| Issue |
76713
|
| Summary |
Miscompile with opt -passes="constraint-elimination"
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
mikaelholmen
|
llvm commit: 5842dfe34d89
Reproduce with: ```opt -passes="constraint-elimination" bbi-90501.ll -S -o -```
[bbi-90501.ll.gz](https://github.com/llvm/llvm-project/files/13810077/bbi-90501.ll.gz)
There are two nested loops in the input that should finish and then we should end up at
```
bb.2: ; preds = %bb.1
ret i16 0
```
but with constraint-elimination the condition in bb.5 is changed to
```
%i10 = or i1 true, %i9
br i1 %i10, label %bb.7, label %bb.6
```
so we will go to
```
bb.7: ; preds = %bb.5
ret i16 1
```
instead.
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
