projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1665d86) | patch
[ValueTracking] Teach computeKnownBits about [su]min/max
authorDavid Majnemer <david.majnemer@gmail.com>
Sat, 6 Aug 2016 08:16:00 +0000 (08:16 +0000)
committerDavid Majnemer <david.majnemer@gmail.com>
Sat, 6 Aug 2016 08:16:00 +0000 (08:16 +0000)
commita19d0f2f3e36d47abd13e2f7ae12256b5c2b1707
treeac935e80b0781b5d78c48226ce04d7293ffd5a30tree | snapshot
parent1665d8635ece94cb98a3806e7c1d10c3c9084097commit | diff
[ValueTracking] Teach computeKnownBits about [su]min/max

Reasoning about a select in terms of a min or max allows us to derive a
tigher bound on the result.

llvm-svn: 277914
llvm/lib/Analysis/ValueTracking.cpp diff | blob | history
llvm/test/Transforms/InstCombine/sext.ll diff | blob | history
llvm/test/Transforms/LoopVectorize/interleaved-accesses-pred-stores.ll diff | blob | history
llvm/test/Transforms/LoopVectorize/interleaved-accesses.ll diff | blob | history
Domain: System / Toolchain;