| Issue |
173251
|
| Summary |
SCEV verification fails with incorrect trip count after indvars
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
Hibiscus3000
|
SCEV verification fails on a testcase with dead loop after indvars.
https://godbolt.org/z/989vcjvdq
To reproduce run:
```
opt -passes='loop(indvars),verify<scalar-evolution>' test.ll
```
Error message:
```
Trip Count for Loop at depth 1 containing: %dead_loop<header><latch><exiting>
Changed!
Old: 1
New: 0
Delta: 1
...
#5 0x00007768c90287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
#6 0x000000000487074c llvm::ScalarEvolution::verify() const (/opt/compiler-explorer/clang-21.1.0/bin/opt+0x487074c)
...
```
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
