maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/llvm/test/Transforms/InstSimplify
History
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 [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
2011-11-23-MaskedBitsCrash.ll
…
2013-04-19-ConstantFoldingCrash.ll
…
AndOrXor.ll InstSimplify: Try to bring back the rest of r223583 2014-12-08 18:30:43 +00:00
add-mask.ll [ValueTracking] Recognize that and(x, add (x, -1)) clears the low bit 2015-11-10 18:46:14 +00:00
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 [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
call.ll [InstSimplify] Handle some overflow intrinsics in InstSimplify 2015-05-22 03:56:46 +00:00
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 InstCombine, InstSimplify: (%X /s C1) /s C2 isn't always 0 when C1 * C2 overflow 2014-10-11 10:20:01 +00:00
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 Fix really obscure bug in CannotBeNegativeZero() (PR22688) 2015-02-25 18:00:15 +00:00
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 Revert "r216914 - Revert: [APFloat] Fixed a bug in method 'fusedMultiplyAdd'" 2014-10-14 19:23:07 +00:00
gep.ll [opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction 2015-02-27 19:29:02 +00:00
implies.ll [ValueTracking] Teach isImpliedCondition a new bitwise trick 2015-11-10 23:56:20 +00:00
load.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00
maxmin.ll
…
noalias-ptr.ll [opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction 2015-02-27 19:29:02 +00:00
past-the-end.ll [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
phi.ll
…
ptr_diff.ll [opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction 2015-02-27 19:29:02 +00:00
reassociate.ll
…
rem.ll InstSimplify: Don't allow (x srem y) urem y -> x srem y 2014-09-17 04:16:35 +00:00
select.ll InstSimplify: Optimize away pointless comparisons 2014-12-20 03:04:38 +00:00
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 [opaque pointer type] Add textual IR support for explicit type parameter to gep operator 2015-03-13 18:20:45 +00:00
vector_ptr_bitcast.ll [opaque pointer type] Add textual IR support for explicit type parameter to load instruction 2015-02-27 21:17:42 +00:00