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: [email protected]
Reporter: [email protected]
CC: [email protected]
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._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
