|
Revision tags: llvmorg-18.1.8, llvmorg-18.1.7 |
|
| #
ba0e871d |
| 22-May-2024 |
Florian Hahn <flo@fhahn.com> |
[ConstraintElim] Look through SExt with precond Op sge 0.
Look through SExt with a precondition that the operand is signed
positive.
https://alive2.llvm.org/ce/z/zvVVHj
|
|
Revision tags: llvmorg-18.1.6, llvmorg-18.1.5, llvmorg-18.1.4, llvmorg-18.1.3, llvmorg-18.1.2, llvmorg-18.1.1, llvmorg-18.1.0, llvmorg-18.1.0-rc4 |
|
| #
4e9fe860 |
| 27-Feb-2024 |
Florian Hahn <flo@fhahn.com> |
[ConstraintElim] Add additional sext tests with unsigned predicates.
|