[all-commits] [llvm/llvm-project] 73f5f1: [ValueTracking] Add some additional tests for `isK...
goldsteinn via All-commits
all-commits at lists.llvm.org
Wed Apr 26 21:49:01 PDT 2023
Branch: refs/heads/main
Home: https://github.com/llvm/llvm-project
Commit: 73f5f1a8fa1325a2f29724e29dc331aa8e8b01d1
https://github.com/llvm/llvm-project/commit/73f5f1a8fa1325a2f29724e29dc331aa8e8b01d1
Author: Noah Goldstein <goldstein.w.n at gmail.com>
Date: 2023-04-26 (Wed, 26 Apr 2023)
Changed paths:
M llvm/test/Analysis/ValueTracking/known-non-zero.ll
Log Message:
-----------
[ValueTracking] Add some additional tests for `isKnownNonZero`; NFC
Differential Revision: https://reviews.llvm.org/D149201
Commit: 9b3c865d32d84f13a19fe3b45cc66fcef910a368
https://github.com/llvm/llvm-project/commit/9b3c865d32d84f13a19fe3b45cc66fcef910a368
Author: Noah Goldstein <goldstein.w.n at gmail.com>
Date: 2023-04-26 (Wed, 26 Apr 2023)
Changed paths:
M llvm/lib/Analysis/ValueTracking.cpp
M llvm/test/Analysis/ValueTracking/known-non-zero.ll
Log Message:
-----------
[ValueTracking] Add logic for `(sub x, y) != 0` if we know `KnownX != KnownY`
Alive2 Link:
https://alive2.llvm.org/ce/z/TAFcjF
Differential Revision: https://reviews.llvm.org/D149202
Commit: 75b48b40771ae8124f8624fff8f1fb422a5d1fc7
https://github.com/llvm/llvm-project/commit/75b48b40771ae8124f8624fff8f1fb422a5d1fc7
Author: Noah Goldstein <goldstein.w.n at gmail.com>
Date: 2023-04-26 (Wed, 26 Apr 2023)
Changed paths:
M llvm/lib/Analysis/ValueTracking.cpp
M llvm/test/Analysis/ValueTracking/known-non-zero.ll
Log Message:
-----------
[ValueTracking] Add logic for `add nuw x,y != 0` -> `x != 0 || y != 0`
Alive2 Link:
https://alive2.llvm.org/ce/z/TKpqxc
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D149204
Commit: ddfee6d0b6979fc6e61fa5ac7424096c358746fb
https://github.com/llvm/llvm-project/commit/ddfee6d0b6979fc6e61fa5ac7424096c358746fb
Author: Noah Goldstein <goldstein.w.n at gmail.com>
Date: 2023-04-26 (Wed, 26 Apr 2023)
Changed paths:
M llvm/lib/Target/X86/X86ISelLowering.cpp
M llvm/test/CodeGen/X86/combine-srl.ll
M llvm/test/CodeGen/X86/fpclamptosat_vec.ll
M llvm/test/CodeGen/X86/masked_store_trunc_usat.ll
M llvm/test/CodeGen/X86/psubus.ll
M llvm/test/CodeGen/X86/sat-add.ll
M llvm/test/CodeGen/X86/vec_setcc-2.ll
M llvm/test/CodeGen/X86/vector-popcnt-128-ult-ugt.ll
M llvm/test/CodeGen/X86/vector-trunc-usat.ll
Log Message:
-----------
[X86] Support `X86ISD::PCMPEQ` and `X86ISD::PCMPGT` in ComputeKnownBits
These functions where missing support but are used enough that it
makes sense to track them.
Reviewed By: RKSimon
Differential Revision: https://reviews.llvm.org/D148963
Compare: https://github.com/llvm/llvm-project/compare/faf8407aecd1...ddfee6d0b697
More information about the All-commits
mailing list