[llvm-bugs] [Bug 37205] New: Assertion `SE->DT.dominates(ENT.ExitingBlock, Latch) && "We should only have known counts for exiting blocks that dominate " "latch!"' failed.

[via llvm-bugs]

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

            Bug ID: 37205
           Summary: Assertion `SE->DT.dominates(ENT.ExitingBlock, Latch)
                    && "We should only have known counts for exiting
                    blocks that dominate " "latch!"' failed.
           Product: new-bugs
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: mikael.holmen at ericsson.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 20210
  --> https://bugs.llvm.org/attachment.cgi?id=20210&action=edit
reproducer

Running
 opt -S -o - tr15910.ll -indvars -verify -loop-rotate -loop-idiom

gives

opt: ../lib/Analysis/ScalarEvolution.cpp:6675: const llvm::SCEV
*llvm::ScalarEvolution::BackedgeTakenInfo::getExact(const llvm::Loop *,
llvm::ScalarEvolution *, llvm::SCEVUnionPredicate *) const: Assertion
`SE->DT.dominates(ENT.ExitingBlock, Latch) && "We should only have known counts
for exiting blocks that dominate " "latch!"' failed.
Stack dump:
0.      Program arguments: opt -S -o - tr15910.ll -indvars -verify -loop-rotate
-loop-idiom 
1.      Running pass 'Function Pass Manager' on module 'tr15910.ll'.
2.      Running pass 'Loop Pass Manager' on function '@f1'
3.      Running pass 'Recognize loop idioms' on basic block '%lbl1'

Note that the "-verify" is indeed needed for it to crash (in loop-idiom).

-- 
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/20180423/b4c4a1e0/attachment.html>