Sanjoy Das 9d8ff3ae2d [ValueTracking] De-pessimize isImpliedCondition around unsigned compares ... Summary: Currently `isImpliedCondition` will optimize "I +_nuw C < L ==> I < L" only if C is positive. This is an unnecessary restriction -- the implication holds even if `C` is negative. Reviewers: reames, majnemer Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D14369 llvm-svn: 252332		2015-11-06 19:01:03 +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
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] De-pessimize isImpliedCondition around unsigned compares	2015-11-06 19:01:03 +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