[llvm-bugs] [Bug 43641] New: [MemorySSA][SimpleUnswitch] Assertion `dominates(MD, U) && "Memory Def does not dominate it's uses"' failed
via llvm-bugs
llvm-bugs at lists.llvm.org
Thu Oct 10 12:12:27 PDT 2019
https://bugs.llvm.org/show_bug.cgi?id=43641
Bug ID: 43641
Summary: [MemorySSA][SimpleUnswitch] Assertion `dominates(MD,
U) && "Memory Def does not dominate it's uses"' failed
Product: libraries
Version: trunk
Hardware: PC
OS: All
Status: NEW
Severity: enhancement
Priority: P
Component: Scalar Optimizations
Assignee: unassignedbugs at nondot.org
Reporter: jji at us.ibm.com
CC: llvm-bugs at lists.llvm.org
Created attachment 22651
--> https://bugs.llvm.org/attachment.cgi?id=22651&action=edit
Reduced IR file
$ cat t2.c
int a;
long b;
void c(d) {
while (a) {
e();
if ((b < 0 || d && b) == 0)
break;
}
}
$clang -O3 -fexperimental-new-pass-manager -mllvm -enable-nontrivial-unswitch
-emit-llvm -S t2.c
opt: .../llvm-project/llvm/lib/Analysis/MemorySSA.cpp:2041: void
llvm::MemorySSA::verifyDomination(llvm::Function &) const: Assertion
`dominates(MD, U) && "Memory Def does not dominate it's uses"' failed.
---
Reduced IR attached.
opt -passes="default<O3>" -enable-nontrivial-unswitch -S reduced.ll
--
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/20191010/24788236/attachment.html>
More information about the llvm-bugs
mailing list