|
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, llvmorg-18.1.0-rc3, llvmorg-18.1.0-rc2, llvmorg-18.1.0-rc1, llvmorg-19-init, llvmorg-17.0.6, llvmorg-17.0.5, llvmorg-17.0.4, llvmorg-17.0.3, llvmorg-17.0.2 |
|
| #
2dd52b45 |
| 29-Sep-2023 |
Noah Goldstein <goldstein.w.n@gmail.com> |
[InstCombine] Improve logic for adding flags to shift instructions.
Instead of relying on constant operands, use known bits to do the
computation.
Proofs: https://alive2.llvm.org/ce/z/M-aBnw
Diffe
[InstCombine] Improve logic for adding flags to shift instructions.
Instead of relying on constant operands, use known bits to do the
computation.
Proofs: https://alive2.llvm.org/ce/z/M-aBnw
Differential Revision: https://reviews.llvm.org/D157532
show more ...
|
|
Revision tags: llvmorg-17.0.1, llvmorg-17.0.0, llvmorg-17.0.0-rc4, llvmorg-17.0.0-rc3, llvmorg-17.0.0-rc2 |
|
| #
eb9fce09 |
| 01-Aug-2023 |
Nikita Popov <npopov@redhat.com> |
Revert "[InstSimplify] Remove the remainder loop if we know the mask is always true"
This reverts commit 3e386b227886e2fb77b0c1e9182026c4e049f346.
Next to the original fold, this also implements an
Revert "[InstSimplify] Remove the remainder loop if we know the mask is always true"
This reverts commit 3e386b227886e2fb77b0c1e9182026c4e049f346.
Next to the original fold, this also implements an unnecessary and
inappropriate simplifyICmpWithDominatingAssume() based fold.
show more ...
|
| #
3e386b22 |
| 01-Aug-2023 |
Zhongyunde <zhongyunde@huawei.com> |
[InstSimplify] Remove the remainder loop if we know the mask is always true
We check the loop trip count is known a power of 2 to determine
whether the tail loop can be eliminated in D146199.
Howeve
[InstSimplify] Remove the remainder loop if we know the mask is always true
We check the loop trip count is known a power of 2 to determine
whether the tail loop can be eliminated in D146199.
However, the remainder loop of mask scalable loop can also be removed
If we know the mask is always going to be true for every vector iteration.
Depend on the assume of power-of-two vscale on D155350
proofs： https://alive2.llvm.org/ce/z/FkTMoy
Fix https://github.com/llvm/llvm-project/issues/63616.
Reviewed By: goldstein.w.n, nikic, david-arm, paulwalker-arm
Differential Revision: https://reviews.llvm.org/D154953
show more ...
|
| #
44d14a13 |
| 01-Aug-2023 |
Zhongyunde <zhongyunde@huawei.com> |
[tests] precommit tests for D154953
Differential Revision: https://reviews.llvm.org/D156591
|