[Bug tree-optimization/95199] Remove extra variable created for memory reference in loop vectorization.

[amker at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95199

--- Comment #5 from bin cheng <amker at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #1)
> But IVOPTs is supposed to know how to eliminate equal IVs.  Maybe it's
> confused
> about the IFN uses?

It's an known issue that IVOPTs has difficulty in recognizing equal BASEs.  For
now  it tries to identify/eliminate with limited expanding work which isn't
enough for  complicate cases.  I sent a patch to do IVOPTs a favor in
vectorization, but didn't follow up.

Without digging into the code, I am not sure if this is a similar issue.  Will
have a look this WE.

Thanks