https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109443
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Xi Ruoyao from comment #2) > Does not Richard's response still apply here? > > > Sorry, but the vector v is potentially clobbered by the call to f, so the > > load > > of the array pointer you index into with i is not loop invariant. Yes and no the v here is local and is only represented as a reference in the ir.