[llvm-bugs] [Bug 49859] LICM does not properly preserve MemorySSA during store promotion (was Miscompile with opt -licm -dse (due to bad memoryssa?))

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=49859

Alina Sbirlea <alina.sbirlea at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #7 from Alina Sbirlea <alina.sbirlea at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20210409/7bec3a8c/attachment.html>