https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110780
rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rsandifo at gcc dot gnu.org --- Comment #2 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- I guess the problem is that we can only remove the “redundant” loads once we've added the versioning check between pBE and pCSI2. We could remove the redundancy after vectorisation, but it would be nice to do it during, not least because it might improve costing. Richard, do you remember an earlier PR for something similar? We do remove the redundancy if the pointers are marked restrict.