Sanjoy Das 925681053d [ValueTracking] Teach isImpliedCondition a new bitwise trick ...

Summary:
This change teaches isImpliedCondition to prove things like

  (A | 15) < L  ==>  (A | 14) < L

if the low 4 bits of A are known to be zero.

Depends on D14391

Reviewers: majnemer, reames, hfinkel

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D14392

llvm-svn: 252673

2015-11-10 23:56:20 +00:00

..

2010-12-20-Boolean.ll

…

2011-01-14-Thread.ll

…

2011-02-01-Vector.ll

…

2011-09-05-InsertExtractValue.ll

[InstSimplify] Don't assume getAggregateElement will succeed

2015-08-18 22:07:25 +00:00

2011-10-27-BinOpCrash.ll

…

2011-11-23-MaskedBitsCrash.ll

…

2013-04-19-ConstantFoldingCrash.ll

…

add-mask.ll

[ValueTracking] Recognize that and(x, add (x, -1)) clears the low bit

2015-11-10 18:46:14 +00:00

AndOrXor.ll

…

apint-or.ll

Merge or combine tests and convert to FileCheck.

2015-09-08 18:36:56 +00:00

assume.ll

…

bswap.ll

Extend known bits to understand @llvm.bswap

2015-10-06 20:20:45 +00:00

call-callconv.ll

…

call.ll

…

compare.ll

[InstSimplify] add nuw %x, C2 must be at least C2

2015-08-20 23:01:41 +00:00

dead-code-removal.ll

…

exact-nsw-nuw.ll

…

fast-math.ll

[InstSimplify] Allow folding of fdiv X, X with just NaNs ignored

2015-06-16 14:57:29 +00:00

fdiv.ll

…

floating-point-arithmetic.ll

…

floating-point-compare.ll

[InstSimplify] Fold away ord/uno fcmps when nnan is present.

2015-07-10 14:02:02 +00:00

fold-builtin-fma.ll

…

gep.ll

…

implies.ll

[ValueTracking] Teach isImpliedCondition a new bitwise trick

2015-11-10 23:56:20 +00:00

load.ll

…

maxmin.ll

…

noalias-ptr.ll

…

past-the-end.ll

…

phi.ll

…

ptr_diff.ll

…

reassociate.ll

…

rem.ll

…

select.ll

…

shift-128-kb.ll

Handle non-constant shifts in computeKnownBits, and use computeKnownBits for constant folding in InstCombine/Simplify

2015-10-23 20:37:08 +00:00

shr-nop.ll

Fix CHECK directives that weren't checking.

2015-08-31 21:10:35 +00:00

undef.ll

[InstSimplify] Teach InstSimplify how to simplify extractelement

2015-07-13 01:15:53 +00:00

vector_gep.ll

…

vector_ptr_bitcast.ll

…