[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