[llvm-bugs] [Bug 36586] New: [LoopInterchange] Assert triggered: "Branch leaving loop latch must have 2 successors"

[via llvm-bugs]

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

            Bug ID: 36586
           Summary: [LoopInterchange] Assert triggered: "Branch leaving
                    loop latch must have 2 successors"
           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 19991
  --> https://bugs.llvm.org/attachment.cgi?id=19991&action=edit
reduced test case

bin/opt -mtriple=s390x-linux-gnu -mcpu=z13 tc_loopinterch_reduced.ll -S -o
out.opt -enable-gvn-sink -enable-loopinterchange -instcombine -inline -sroa
-early-cse-memssa -simplifycfg -jump-threading -instcombine -simplifycfg
-loop-rotate -simplifycfg -indvars -loop-interchange

opt: lib/Transforms/Scalar/LoopInterchange.cpp:758: llvm::BasicBlock*
getLoopLatchExitBlock(llvm::BasicBlock*, llvm::BasicBlock*): Assertion
`BI->getNumSuccessors() == 2 && "Branch leaving loop latch must have 2
successors"' failed.
...
#10 0x000002aa1bf23700 (anonymous
namespace)::LoopInterchange::runOnFunction(llvm::Function&)

-- 
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/20180303/b92b2425/attachment-0001.html>