[llvm-bugs] [Bug 51471] New: LICM incorrect load/store promotion in presence of poison

via llvm-bugs llvm-bugs at lists.llvm.org
Fri Aug 13 04:43:20 PDT 2021


            Bug ID: 51471
           Summary: LICM incorrect load/store promotion in presence of
           Product: libraries
           Version: trunk
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Loop Optimizer
          Assignee: unassignedbugs at nondot.org
          Reporter: d.maljutin at yandex.ru
                CC: llvm-bugs at lists.llvm.org

Created attachment 25131
  --> https://bugs.llvm.org/attachment.cgi?id=25131&action=edit
reproducer, run with opt -licm

If there are two groups of memory accesses in the loop all to the same memory
but one is done via "poisoned" pointer, basic-aa can just place them into two
non-aliasing sets. LICM would then promote both of these groups leading to a
miscompile: https://llvm.godbolt.org/z/KKxdb5e9v
The load/store with a poison pointer is a dead code and would never execute at
Similar IR was produced on an actual example after value propagation through a
switch case.

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/20210813/6fb5df10/attachment.html>

More information about the llvm-bugs mailing list