History log of /llvm-project/llvm/test/Analysis/ValueTracking/known-bits.ll (Results 1 – 5 of 5)
Revision (<<< Hide revision tags) (Show revision tags >>>) Date Author Comments
Revision tags: llvmorg-21-init, llvmorg-19.1.7, llvmorg-19.1.6, llvmorg-19.1.5, llvmorg-19.1.4
# 38fffa63 06-Nov-2024 Paul Walker <paul.walker@arm.com>

[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)


Revision tags: llvmorg-19.1.3, llvmorg-19.1.2, llvmorg-19.1.1, llvmorg-19.1.0, llvmorg-19.1.0-rc4, llvmorg-19.1.0-rc3, llvmorg-19.1.0-rc2, llvmorg-19.1.0-rc1, llvmorg-20-init
# 6ef970b6 16-Jul-2024 Noah Goldstein <goldstein.w.n@gmail.com>

[ValueTracking] Consistently propagate `DemandedElts` is `computeKnownBits`


# 1dfbd072 17-Jul-2024 Noah Goldstein <goldstein.w.n@gmail.com>

[ValueTracking] Add tests for `llvm.vector.reverse` with `DemandedElts`; NFC


# 769952d7 16-Jul-2024 Noah Goldstein <goldstein.w.n@gmail.com>

[ValueTracking] Implement Known{Bits,NonZero,FPClass} for `llvm.vector.reverse`

`llvm.vector.reverse` preserves each of the elements and thus elements
common to them.

Alive2 doesn't support the int

[ValueTracking] Implement Known{Bits,NonZero,FPClass} for `llvm.vector.reverse`

`llvm.vector.reverse` preserves each of the elements and thus elements
common to them.

Alive2 doesn't support the intrin yet, but the logic seems pretty
self-evident.

Closes #99013

show more ...


# 41b876db 16-Jul-2024 Noah Goldstein <goldstein.w.n@gmail.com>

[ValueTracking] Add tests for Known{Bits,NonZero,FPClass} for `llvm.vector.reverse`; NFC