[llvm-bugs] [Bug 40037] New: [Loop unswitch + MSSA Loop Dep] Assertion fails: "Incoming phi block not a block predecessor"

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=40037

            Bug ID: 40037
           Summary: [Loop unswitch + MSSA Loop Dep] Assertion fails:
                    "Incoming phi block not a block predecessor"
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Loop Optimizer
          Assignee: unassignedbugs at nondot.org
          Reporter: paulsson at linux.vnet.ibm.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 21231
  --> https://bugs.llvm.org/attachment.cgi?id=21231&action=edit
reduced testcase

bin/opt -march=z13 -S -O3 -o out.opt.ll tc_IncomingPhiBlock.ll
-enable-simple-loop-unswitch -enable-mssa-loop-dependency

lib/Analysis/MemorySSA.cpp:1891: void
llvm::MemorySSA::verifyDefUses(llvm::Function&) const: Assertion
`find(predecessors(&B), Phi->getIncomingBlock(I)) != pred_end(&B) && "Incoming
phi block not a block predecessor"' failed.

-- 
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/20181215/b5f1e9d5/attachment.html>