[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
https://bugs.llvm.org/show_bug.cgi?id=51471
Bug ID: 51471
Summary: LICM incorrect load/store promotion in presence of
poison
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
runtime.
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