diff options
| author | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-03-20 20:15:47 -0500 |
|---|---|---|
| committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2024-04-11 12:27:10 -0500 |
| commit | b8659600c3af6e5f1a5dd51ac59d6ab2554603d8 (patch) | |
| tree | 8c29f0553c8bd740db2af31693f29ff2e02d4a4c /llvm/lib/CodeGen/TargetLoweringObjectFileImpl.cpp | |
| parent | 877ecdf52f40472d31205f107d39097268d3e3e3 (diff) | |
| download | llvm-b8659600c3af6e5f1a5dd51ac59d6ab2554603d8.zip llvm-b8659600c3af6e5f1a5dd51ac59d6ab2554603d8.tar.gz llvm-b8659600c3af6e5f1a5dd51ac59d6ab2554603d8.tar.bz2 | |
[ValueTracking] compute knownbits from `(icmp upred X (and/or X, Y))`; NFC
`(icmp uge/ugt (and X, Y), C)` implies both `(icmp uge/ugt X, C)` and
`(icmp uge/ugt Y, C)`. We can use this to deduce leading ones in `X`.
`(icmp ule/ult (or X, Y), C)` implies both `(icmp ule/ult X, C)` and
`(icmp ule/ult Y, C)`. We can use this to deduce leading zeros in `X`.
Closes #86059
Diffstat (limited to 'llvm/lib/CodeGen/TargetLoweringObjectFileImpl.cpp')
0 files changed, 0 insertions, 0 deletions