OSDN Git Service

[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)
commit2982845bcce853027f051adcd698e30206ee7ca1
tree819079664898175fc12e6aae57f093753e39163e
parent470962f413eebfc5cb39a709f3976e6c767b3774
[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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@277914 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ValueTracking.cpp
test/Transforms/InstCombine/sext.ll
test/Transforms/LoopVectorize/interleaved-accesses-pred-stores.ll
test/Transforms/LoopVectorize/interleaved-accesses.ll