|
Revision tags: llvmorg-18.1.8, llvmorg-18.1.7, 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 |
|
| #
87b1e735 |
| 22-Feb-2024 |
Yingwei Zheng <dtcxzyw2333@gmail.com> |
[ConstraintElim] Decompose sext-like insts for signed predicates (#82344)
Alive2: https://alive2.llvm.org/ce/z/A8dtGp
Fixes #82271.
|
|
Revision tags: llvmorg-18.1.0-rc3 |
|
| #
8ca351d3 |
| 20-Feb-2024 |
Yingwei Zheng <dtcxzyw2333@gmail.com> |
[ConstraintElim] Add pre-commit tests for PR82271. NFC. (#82357)
This patch adds some tests for
https://github.com/llvm/llvm-project/pull/82344.
|
|
Revision tags: llvmorg-18.1.0-rc2 |
|
| #
bc9c2be3 |
| 04-Feb-2024 |
Yingwei Zheng <dtcxzyw2333@gmail.com> |
[ConstraintElim] Simplify `MinMaxIntrinsic` (#75306)
This patch replaces min/max intrinsic with one of its operands if
possible.
Alive2: https://alive2.llvm.org/ce/z/LoHfYf
Fixes #75155.
|
|
Revision tags: llvmorg-18.1.0-rc1 |
|
| #
3d91d961 |
| 24-Jan-2024 |
Florian Hahn <flo@fhahn.com> |
[ConstraintElim] Make sure min/max intrinsic results are not poison.
The result of umin may be poison and in that case the added constraints
are not be valid in contexts where poison doesn't cause U
[ConstraintElim] Make sure min/max intrinsic results are not poison.
The result of umin may be poison and in that case the added constraints
are not be valid in contexts where poison doesn't cause UB. Only queue
facts for min/max intrinsics if the result is guaranteed to not be
poison.
This could be improved in the future, by only adding the fact when
solving conditions using the result value.
Fixes https://github.com/llvm/llvm-project/issues/78621.
show more ...
|
|
Revision tags: llvmorg-19-init, llvmorg-17.0.6, llvmorg-17.0.5, llvmorg-17.0.4, llvmorg-17.0.3, llvmorg-17.0.2, llvmorg-17.0.1, llvmorg-17.0.0, llvmorg-17.0.0-rc4 |
|
| #
13ffde31 |
| 24-Aug-2023 |
Florian Hahn <flo@fhahn.com> |
[ConstraintElim] Remove dead compares after simplification.
Remove compares after replacing all uses. Cleaning dead compares can
enable additional simplifications when adjusting the position of the
[ConstraintElim] Remove dead compares after simplification.
Remove compares after replacing all uses. Cleaning dead compares can
enable additional simplifications when adjusting the position of the
pass slightly. In particular, it seems like the additional dead
instructions may prevent SimplifyCFG performing some folds.
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D158760
show more ...
|
|
Revision tags: llvmorg-17.0.0-rc3, llvmorg-17.0.0-rc2, llvmorg-17.0.0-rc1, llvmorg-18-init |
|
| #
92a11eb3 |
| 24-Jul-2023 |
Yingwei Zheng <dtcxzyw2333@gmail.com> |
[ConstraintElim] Add facts implied by MinMaxIntrinsic
Fixes https://github.com/llvm/llvm-project/issues/63896 and https://github.com/rust-lang/rust/issues/113757.
This patch adds facts implied by ll
[ConstraintElim] Add facts implied by MinMaxIntrinsic
Fixes https://github.com/llvm/llvm-project/issues/63896 and https://github.com/rust-lang/rust/issues/113757.
This patch adds facts implied by llvm.smin/smax/umin/umax intrinsics.
Reviewed By: fhahn
Differential Revision: https://reviews.llvm.org/D155412
show more ...
|
| #
de0d27c1 |
| 24-Jul-2023 |
Yingwei Zheng <dtcxzyw2333@gmail.com> |
[ConstraintElim] Add test cases from PR63896. NFC.
This patch adds some test cases from https://github.com/llvm/llvm-project/issues/63896.
Reviewed By: fhahn
Differential Revision: https://reviews
[ConstraintElim] Add test cases from PR63896. NFC.
This patch adds some test cases from https://github.com/llvm/llvm-project/issues/63896.
Reviewed By: fhahn
Differential Revision: https://reviews.llvm.org/D155853
show more ...
|