Hiroshi Inoue ebab95406f [InstSimplify] fold extracting from std::pair (2/2) ...

This is the second patch of the series which intends to enable jump threading for an inlined method whose return type is std::pair<int, bool> or std::pair<bool, int>. 
The first patch is https://reviews.llvm.org/rL338485.

This patch handles code sequences that merges two values using `shl` and `or`, then extracts one value using `and`.

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



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

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

..

2010-12-20-Boolean.ll

[InstSimplify] regenerate checks using a script

2016-03-25 20:12:25 +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

InstructionSimplify: 'extractelement' with an undef index is undef

2017-12-06 17:51:46 +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

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

[ConstantFold] Improve the bitcast folding logic for constant vectors.

2016-09-13 14:50:47 +00:00

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

[InstSimplify] regenerate checks using a script

2016-03-25 20:12:25 +00:00

call.ll

[InstSimplify] fold funnel shifts with 0-shift amount

2018-07-29 16:36:38 +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

[InstSimplify] Fold gep (gep V, C), (xor V, -1) to C-1

2016-08-16 06:13:46 +00:00

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

RecursivelyDeleteTriviallyDeadInstructions() could remove

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

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

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

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

fast-math.ll

[PatternMatch] allow undef elements when matching vector FP +0.0

2018-03-25 21:16:33 +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

[InstSimplify] move minnum/maxnum with undef fold from instcombine

2018-08-02 14:33:40 +00:00

floating-point-compare.ll

[ValueTracking] fix maxnum miscompile for cannotBeOrderedLessThanZero (PR37776)

2018-08-02 13:46:20 +00:00

fold-builtin-fma.ll

Revert "r216914 - Revert: [APFloat] Fixed a bug in method 'fusedMultiplyAdd'"

2014-10-14 19:23:07 +00:00

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] fp_binop X, undef --> NaN

2018-03-10 16:51:28 +00:00

gep.ll

[InstSimplify] regenerate checks, move tests; NFC

2018-03-23 15:31:31 +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

[ValueTracking] Correct lit test comments. NFC.

2016-04-18 19:11:45 +00:00

insertelement.ll

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

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

load-relative-32.ll

Introduce llvm.load.relative intrinsic.

2016-04-22 21:18:02 +00:00

load-relative.ll

Introduce llvm.load.relative intrinsic.

2016-04-22 21:18:02 +00:00

load.ll

[ConstantFolding] Extend FoldReinterpretLoadFromConstPtr to handle negative offsets

2016-07-13 23:33:07 +00:00

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

[InstSimplify] regenerate checks using a script

2016-03-25 20:12:25 +00:00

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

[opaque pointer type] Add textual IR support for explicit type parameter to getelementptr instruction

2015-02-27 19:29:02 +00:00

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

[InstSimplify] regenerate checks using a script

2016-03-25 20:12:25 +00:00

phi.ll

[InstSimplify] regenerate checks using a script

2016-03-25 20:12:25 +00:00

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

[InstSimplify] regenerate checks using a script

2016-03-25 20:12:25 +00:00

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

Add unittest for r280760

2016-09-08 16:53:40 +00:00

returned.ll

Pointer-comparison folding should look through returned-argument functions

2016-07-11 03:37:59 +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-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

[InstSimplify] regenerate checks using a script

2016-03-25 20:12:25 +00:00

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

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

undef.ll

[InstCombine] replace divide-by-constant checks with asserts; NFC

2016-08-30 17:31:34 +00:00

vec-cmp.ll

[ValueTracking, InstSimplify] extend isKnownNonZero() to handle vector constants

2016-05-24 14:18:49 +00:00

vector_gep.ll

[ConstantFolding, InstSimplify] Handle more vector GEPs

2018-03-15 16:00:29 +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