Nikita Popov 6d62833353 [InstSimplify] Simplify saturating add/sub + icmp ...

If a saturating add/sub has one constant operand, then we can
determine the possible range of outputs it can produce, and simplify
an icmp comparison based on that.

The implementation is based on a similar existing mechanism for
simplifying binary operator + icmps.

Differential Revision: https://reviews.llvm.org/D55735

llvm-svn: 349369

2018-12-17 17:45:18 +00:00

..

2010-12-20-Boolean.ll

…

2011-01-14-Thread.ll

…

2011-02-01-Vector.ll

…

2011-09-05-InsertExtractValue.ll

InstructionSimplify: 'extractelement' with an undef index is undef

2017-12-06 17:51:46 +00:00

2011-10-27-BinOpCrash.ll

…

2011-11-23-MaskedBitsCrash.ll

…

2013-04-19-ConstantFoldingCrash.ll

…

add-mask.ll

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

add.ll

[InstSimplify] simplify add instruction if two operands are negative

2018-07-12 03:06:04 +00:00

addsub.ll

[InstSimplify] Add test cases for mixing add/sub i1 with xor of i1. Seems we can simplify in one direction but not the other.

2017-04-06 05:48:06 +00:00

and-icmps-same-ops.ll

[InstSimplify] fixed (?) to not mutate icmps

2016-12-06 22:09:52 +00:00

and-or-icmp-zero.ll

[InstSimplify] fold implied null ptr check (PR35790)

2018-01-13 15:44:44 +00:00

AndOrXor.ll

[InstSimplify] fold extracting from std::pair (2/2)

2018-08-03 05:39:48 +00:00

assume.ll

[DebugInfo] Add DILabel metadata and intrinsic llvm.dbg.label.

2018-05-09 02:40:45 +00:00

bitcast-vector-fold.ll

…

bitreverse-fold.ll

Move tests associated with transforms moved in r321467

2017-12-30 03:13:00 +00:00

bitreverse.ll

[ValueTracking] Extend known bits to understand @llvm.bitreverse.

2017-01-17 17:23:51 +00:00

bswap.ll

…

call.ll

[InstSimplify] fold funnel shifts with undef operands

2018-11-20 17:34:59 +00:00

cast-unsigned-icmp-cmp-0.ll

[PatternMatch] allow undef elements when matching a vector zero

2018-04-22 17:07:44 +00:00

cast.ll

…

compare.ll

llvm: Add support for "-fno-delete-null-pointer-checks"

2018-07-09 22:27:23 +00:00

constantfold-add-nuw-allones-to-allones.ll

[InstSimplify] add nuw %x, -1 -> -1 fold.

2018-06-08 15:44:47 +00:00

constantfold-shl-nuw-C-to-C.ll

[NFC][InstSimplify] One more negative test for shl nuw C, %x -> C fold.

2018-06-07 21:19:45 +00:00

dead-code-removal.ll

…

div.ll

[InstSimplify] fold div/rem of zexted bool

2018-06-25 18:51:21 +00:00

exact-nsw-nuw.ll

[InstSimplify] fold sdiv/srem based on compare of dividend and divisor

2017-09-14 14:59:07 +00:00

extract-element.ll

[InstCombine] remove dead code from visitExtractElement

2018-12-05 23:09:33 +00:00

fast-math.ll

[FPEnv] PatternMatcher support for checking FNEG ignoring signed zeros

2018-10-09 21:48:00 +00:00

fcmp-select.ll

[InstSimplify] fold select (fcmp X, Y), X, Y

2018-11-05 21:51:39 +00:00

fdiv.ll

[InstSimplify] add tests for FP with undef operand; NFC

2018-02-27 20:17:18 +00:00

floating-point-arithmetic.ll

[InstCombine] InstCombine and InstSimplify for minimum and maximum

2018-10-19 19:01:26 +00:00

floating-point-compare.ll

[InstSimplify] fold 'fcmp nnan ult X, 0.0' when X is not negative

2018-10-31 15:35:46 +00:00

fold-builtin-fma.ll

…

fold-intrinsics.ll

Move tests associated with transforms moved in r321467

2017-12-30 03:13:00 +00:00

fp-nan.ll

[InstSimplify] fp_binop X, NaN --> NaN

2018-03-21 19:31:53 +00:00

fp-undef.ll

[InstSimplify] add tests for undef + partial undef constant folding; NFC

2018-11-30 22:51:34 +00:00

gep.ll

[InstSimplify] regenerate checks, move tests; NFC

2018-03-23 15:31:31 +00:00

icmp-abs-nabs.ll

[InstSimplify] fold icmp based on range of abs/nabs (2nd try)

2018-11-01 14:07:39 +00:00

icmp-bool-constant.ll

[PatternMatch] enhance m_One() to ignore undef elements in vectors

2018-02-17 16:00:42 +00:00

icmp-constant.ll

[ValueTracking] return zero when there's conflict in known bits of a shift (PR34838)

2017-10-12 17:31:46 +00:00

icmp-ranges.ll

[InstSimplify] use ConstantRange to simplify or-of-icmps

2017-05-07 15:11:40 +00:00

implies.ll

…

insertelement.ll

[instsimplify] consistently handle undef and out of bound indices for insertelement and extractelement

2017-12-30 05:54:22 +00:00

known-never-nan.ll

[InstSimplify] use isKnownNeverNaN to fold more fcmp ord/uno

2018-08-21 14:45:13 +00:00

load-relative-32.ll

…

load-relative.ll

…

load.ll

…

log-exp-intrinsic.ll

[InstSimplify] allow exp/log simplifications with only 'reassoc' FMF

2018-02-12 23:51:23 +00:00

logic-of-fcmps.ll

[InstSimplify] fold and/or of fcmp ord/uno when operand is known nnan

2017-11-19 15:34:27 +00:00

maxmin.ll

…

mul.ll

[PatternMatch] allow undef elements when matching a vector zero

2018-04-22 17:07:44 +00:00

negate.ll

[PatternMatch] allow undef elements when matching a vector zero

2018-04-22 17:07:44 +00:00

noalias-ptr.ll

…

or-icmps-same-ops.ll

[InstSimplify] fixed (?) to not mutate icmps

2016-12-06 22:09:52 +00:00

or.ll

[PatternMatch, InstSimplify] enhance m_AllOnes() to ignore undef elements in vectors

2018-02-18 18:05:08 +00:00

past-the-end.ll

…

phi.ll

…

pr28725.ll

Reintroduce r320049, r320014 and r319894.

2017-12-13 11:21:18 +00:00

pr33957.ll

[ConstantFolder] Don't try to fold gep when the idx is a vector.

2017-07-27 22:20:44 +00:00

ptr_diff.ll

…

reassociate.ll

[InstSimplify] regenerate checks and add tests for commutes; NFC

2018-01-18 23:11:24 +00:00

rem.ll

[InstSimplify] fold srem with sext bool divisor

2018-06-26 15:32:54 +00:00

require-dominator.ll

…

returned.ll

…

saturating-add-sub.ll

[InstSimplify] Simplify saturating add/sub + icmp

2018-12-17 17:45:18 +00:00

sdiv.ll

[InstrSimplify] fold sdiv if two operands are negated and non-overflow

2018-07-21 12:27:54 +00:00

select-and-cmp.ll

[InstSimplify] Fold another Select with And/Or pattern

2018-07-31 14:17:15 +00:00

select-implied.ll

[InstSimplify] fold select with implied condition

2018-11-29 18:44:39 +00:00

select-or-cmp.ll

[InstSimplify] Fold another Select with And/Or pattern

2018-07-31 14:17:15 +00:00

select.ll

Reland r301880(!): "[InstSimplify] Handle selects of GEPs with 0 offset"

2018-04-24 00:25:01 +00:00

shift-128-kb.ll

…

shift-knownbits.ll

[InstCombine / InstSimplify] add and move tests for lshr transforms; NFC

2017-01-13 22:54:12 +00:00

shift.ll

[InstSimplify] fold extracting from std::pair (1/2)

2018-08-01 04:40:32 +00:00

shr-nop.ll

[InstSimplify] move tests for shifts; NFC

2018-04-21 16:58:00 +00:00

shr-scalar-vector-consistency.ll

[PatternMatch] Handle undef vectors consistently

2018-11-20 16:08:19 +00:00

shufflevector.ll

InstructionSimplify: Relanding r301766

2017-05-07 18:16:37 +00:00

signed-div-rem.ll

[InstSimplify] fold sdiv/srem based on compare of dividend and divisor

2017-09-14 14:59:07 +00:00

simplify-nested-bitcast.ll

[InstSimplify] Constant fold the new GEP in SimplifyGEPInst.

2017-06-06 10:17:14 +00:00

srem.ll

[InstSimplify] fold srem instruction if its two operands are negated.

2018-07-20 13:00:47 +00:00

sub.ll

[InstCombine] move/add tests for sub/neg; NFC

2018-10-19 17:26:22 +00:00

undef.ll

…

vec-cmp.ll

…

vector_gep.ll

[ConstantFolding, InstSimplify] Handle more vector GEPs

2018-03-15 16:00:29 +00:00

vector_ptr_bitcast.ll

…