https://bugs.llvm.org/show_bug.cgi?id=49859
Alina Sbirlea <alina.sbir...@gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|NEW |RESOLVED
--- Comment #7 from Alina Sbirlea <alina.sbir...@gmail.com> ---
Committed as f6bff8d15778. I ran through a few scenarios to check the solution
is the right general one.
The verification will not catch this. Verification only catches malformed
MemorySSA, it no longer verifies incorrectly optimized accesses (see comment in
MemorySSA.cpp:1870). In short, it's possible optimizations are correct but for
an updated IR, an AA result may no longer see the optimization.
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
