| Issue |
104772
|
| Summary |
Regression in instCombine Pass: Incorrect Simplification of icmp with Bitwise AND and llvm.assume Condition
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
RonDahan101
|
In LLVM 18.1.0, instCombine considered the llvm.assume condition and managed to prove that the branch is always false.
https://godbolt.org/z/181GG7vvE
Now, instCombine fails to simplify the branch's condition.
https://godbolt.org/z/z4xMT533G
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
