| Issue |
98926
|
| Summary |
LLVM is not considering X u > C, a, b to be the same as X <= C, b, a.
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
AtariDreams
|
LLVM is not considering X u > C, a, b to be the same as X <= C, b, a.
To fix this, let's move the folds to after the canonicalization of -1 to TrueVal.
Alive2 Proof:
https://alive2.llvm.org/ce/z/8QbZfx
_Originally posted by @AtariDreams in https://github.com/llvm/llvm-project/pull/97973_
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
