[llvm-bugs] [Bug 26688] New: Assert in LoopUnroll.cpp: Loops should be in LCSSA form after loop-unroll.

[via llvm-bugs]

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

            Bug ID: 26688
           Summary: Assert in LoopUnroll.cpp: Loops should be in LCSSA
                    form after loop-unroll.
           Product: tools
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: opt
          Assignee: unassignedbugs at nondot.org
          Reporter: karl-johan.karlsson at ericsson.com
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 15929
  --> https://llvm.org/bugs/attachment.cgi?id=15929&action=edit
Reproducer: ./opt -S -loop-rotate -licm -instcombine -loop-unroll
./loopunroll.ll -o -

$ ./opt -S -loop-rotate -licm -instcombine -loop-unroll ./loopunroll.ll -o -
opt: ../lib/Transforms/Utils/LoopUnroll.cpp:604: bool
llvm::UnrollLoop(llvm::Loop *, unsigned int, unsigned int, bool, bool, unsigned
int, llvm::LoopInfo *, llvm::ScalarEvolution *, llvm::DominatorTree *,
llvm::AssumptionCache *, bool): Assertion `OuterL->isLCSSAForm(*DT) && "Loops
should be in LCSSA form after loop-unroll."' failed.
0  opt             0x00000000016a1138
llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 40
1  opt             0x000000000169f906 llvm::sys::RunSignalHandlers() + 54
2  opt             0x00000000016a1c6a
3  libpthread.so.0 0x00007f3231779340
4  libc.so.6       0x00007f32309a1cc9 gsignal + 57
5  libc.so.6       0x00007f32309a50d8 abort + 328
6  libc.so.6       0x00007f323099ab86
7  libc.so.6       0x00007f323099ac32
8  opt             0x00000000016f3844
9  opt             0x00000000015848c9
10 opt             0x0000000000f1ad7f
llvm::LPPassManager::runOnFunction(llvm::Function&) + 799
11 opt             0x00000000012cfc78
llvm::FPPassManager::runOnFunction(llvm::Function&) + 344
12 opt             0x00000000012cfebb
llvm::FPPassManager::runOnModule(llvm::Module&) + 43
13 opt             0x00000000012d0375
llvm::legacy::PassManagerImpl::run(llvm::Module&) + 869
14 opt             0x000000000062036e main + 8670
15 libc.so.6       0x00007f323098cec5 __libc_start_main + 245
16 opt             0x000000000060f96c
Stack dump:
0.      Program arguments: ./opt -S -loop-rotate -licm -instcombine
-loop-unroll ./loopunroll.ll -o - 
1.      Running pass 'Function Pass Manager' on module './loopunroll.ll'.
2.      Running pass 'Loop Pass Manager' on function '@fn1'
3.      Running pass 'Unroll loops' on basic block '%bb4'
Aborted (core dumped)

-- 
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/20160222/702db1bc/attachment.html>