Philip Reames 49a006cd8d [InstSimplify] sgt on i1s also encodes implication ...

Follow on to http://reviews.llvm.org/D13074, implementing something pointed out by Sanjoy. His truth table from his comment on that bug summarizes things well:
LHS | RHS | LHS >=s RHS | LHS implies RHS
0 | 0 | 1 (0 >= 0) | 1
0 | 1 | 1 (0 >= -1) | 1
1 | 0 | 0 (-1 >= 0) | 0
1 | 1 | 1 (-1 >= -1) | 1

The key point is that an "i1 1" is the value "-1", not "1".

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



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@251597 91177308-0d34-0410-b5e6-96231b3b80d8

2015-10-29 03:19:10 +00:00

..

2010-12-20-Boolean.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

2011-01-14-Thread.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

2011-02-01-Vector.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

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

Fix a crash in which a multiplication was being reported as being both negative

2011-11-23 16:26:47 +00:00

2013-04-19-ConstantFoldingCrash.ll

ConstantFolding: ComputeMaskedBits wants the scalar size for vectors.

2013-04-19 16:56:24 +00:00

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

Add @llvm.assume, lowering, and some basic properties

2014-07-25 21:13:35 +00:00

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

RecursivelyDeleteTriviallyDeadInstructions() could remove

2014-04-26 05:58:11 +00:00

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

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

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

[InstSimplify] sgt on i1s also encodes implication

2015-10-29 03:19:10 +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

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

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

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

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

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

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