| Issue |
58179
|
| Summary |
Assertion `!isInvalid() && "Loop not in a valid state!"' failed. with opt -verify-scev and loop-simplifycfg
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
mikaelholmen
|
llvm commit: a672b7a7d7e894
Reproduce with: ```opt -passes="loop(require<iv-users>),loop-mssa(loop-simplifycfg)" bbi-74411.ll -o /dev/null -verify-scev```
Result:
```
opt: ../include/llvm/Analysis/LoopInfo.h:149: bool llvm::LoopBase<llvm::BasicBlock, llvm::Loop>::contains(const BlockT *) const [BlockT = llvm::BasicBlock, LoopT = llvm::Loop]: Assertion `!isInvalid() && "Loop not in a valid state!"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0. Program arguments: ../../main-github/llvm/build-all/bin/opt -passes=loop(require<iv-users>),loop-mssa(loop-simplifycfg) bbi-74411.ll -o /dev/null -verify-scev
#0 0x0000000002e5b583 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (../../main-github/llvm/build-all/bin/opt+0x2e5b583)
#1 0x0000000002e5929e llvm::sys::RunSignalHandlers() (../../main-github/llvm/build-all/bin/opt+0x2e5929e)
#2 0x0000000002e5b906 SignalHandler(int) (../../main-github/llvm/build-all/bin/opt+0x2e5b906)
#3 0x00007f6901fc6630 __restore_rt (/lib64/libpthread.so.0+0xf630)
#4 0x00007f68ff70d387 raise (/lib64/libc.so.6+0x36387)
#5 0x00007f68ff70ea78 abort (/lib64/libc.so.6+0x37a78)
#6 0x00007f68ff7061a6 __assert_fail_base (/lib64/libc.so.6+0x2f1a6)
#7 0x00007f68ff706252 (/lib64/libc.so.6+0x2f252)
#8 0x0000000001e86e61 (../../main-github/llvm/build-all/bin/opt+0x1e86e61)
#9 0x0000000001e85a71 llvm::ScalarEvolution::getLoopDisposition(llvm::SCEV const*, llvm::Loop const*) (../../main-github/llvm/build-all/bin/opt+0x1e85a71)
#10 0x0000000001e8a469 llvm::ScalarEvolution::verify() const (../../main-github/llvm/build-all/bin/opt+0x1e8a469)
#11 0x00000000037e75eb llvm::FunctionToLoopPassAdaptor::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x37e75eb)
#12 0x00000000031c55fd llvm::detail::PassModel<llvm::Function, llvm::FunctionToLoopPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x31c55fd)
#13 0x000000000263f99c llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0x263f99c)
#14 0x0000000000ae8e1d llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (../../main-github/llvm/build-all/bin/opt+0xae8e1d)
#15 0x0000000002643c7e llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x2643c7e)
#16 0x0000000000ae8bfd llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0xae8bfd)
#17 0x000000000263ec4c llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (../../main-github/llvm/build-all/bin/opt+0x263ec4c)
#18 0x0000000000720180 llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::StringRef>, llvm::ArrayRef<llvm::PassPlugin>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool) (../../main-github/llvm/build-all/bin/opt+0x720180)
#19 0x0000000000732551 main (../../main-github/llvm/build-all/bin/opt+0x732551)
#20 0x00007f68ff6f9555 __libc_start_main (/lib64/libc.so.6+0x22555)
#21 0x0000000000718770 _start (../../main-github/llvm/build-all/bin/opt+0x718770)
Abort
```
[bbi-74411.ll.gz](https://github.com/llvm/llvm-project/files/9721812/bbi-74411.ll.gz)
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
