Juneyoung Lee f5677fe700 [ValueTracking] Let isGuaranteedNotToBeUndefOrPoison look into more constants/instructions ...

Summary:
This patch helps isGuaranteedNotToBeUndefOrPoison look into more constants and instructions (bitcast/alloca/gep/fcmp).

To deal with bitcast, Depth is added to isGuaranteedNotToBeUndefOrPoison.

This patch is splitted from https://reviews.llvm.org/D75808.

Checked with Alive2

Reviewers: reames, jdoerfert

Reviewed By: jdoerfert

Subscribers: sanwou01, spatel, llvm-commits, hiraditya

Tags: #llvm

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

2020-04-25 23:29:54 +09:00

..

2010-12-20-Boolean.ll

…

2011-01-14-Thread.ll

…

2011-02-01-Vector.ll

…

2011-09-05-InsertExtractValue.ll

…

2011-10-27-BinOpCrash.ll

…

2011-11-23-MaskedBitsCrash.ll

…

2013-04-19-ConstantFoldingCrash.ll

…

add-mask.ll

[ValueTracking] Add computeKnownBits DemandedElts support to masked add instructions (PR36319)

2020-03-18 21:50:56 +00:00

add.ll

…

addsub.ll

…

and-icmps-same-ops.ll

…

and-or-icmp-min-max.ll

[InstSimplify] fold and/or of compares with equality to min/max constant

2020-04-23 09:16:10 -04:00

and-or-icmp-nullptr.ll

[InstSimplify] fold and/or of compares with equality to min/max constant

2020-04-23 09:16:10 -04:00

and-or-icmp-zero.ll

…

AndOrXor.ll

[InstSimplify] add tests for logic-of-icmp with min/max constant; NFC

2020-04-19 08:24:38 -04:00

assume-non-zero.ll

[ValueTracking] isKnownNonZero() should take non-null-ness assumptions into consideration (PR43267)

2019-12-20 01:47:57 +03:00

assume.ll

[Tests] Regenerate some test checks; NFC

2020-03-20 12:06:53 +01:00

bitcast-vector-fold.ll

…

bitreverse-fold.ll

…

bitreverse.ll

[ValueTracking] Add computeKnownBits DemandedElts support to EXTRACTELEMENT/OR/BSWAP/BITREVERSE instructions (PR36319)

2020-03-18 18:49:58 +00:00

bswap.ll

[ValueTracking] Add computeKnownBits DemandedElts support to EXTRACTELEMENT/OR/BSWAP/BITREVERSE instructions (PR36319)

2020-03-18 18:49:58 +00:00

call.ll

[InstCombine] Simplify calls with "returned" attribute

2020-03-20 10:23:39 +01:00

cast-unsigned-icmp-cmp-0.ll

…

cast.ll

…

cmp_of_min_max.ll

…

compare.ll

[InstSimplify] Regenerate compares tests to fix issue reported on D77354

2020-04-03 17:34:56 +01:00

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

…

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

…

constfold-constrained.ll

[FEnv] Constfold some unary constrained operations

2020-03-28 12:28:33 +07:00

dead-code-removal.ll

…

div-by-0-guard-before-smul_ov-not.ll

[InstSimplify] Drop leftover "division-by-zero guard" around @llvm.umul.with.overflow inverted overflow bit

2019-08-29 12:48:04 +00:00

div-by-0-guard-before-smul_ov.ll

[InstSimplify] Drop leftover "division-by-zero guard" around @llvm.umul.with.overflow overflow bit

2019-08-29 12:47:50 +00:00

div-by-0-guard-before-umul_ov-not.ll

[InstSimplify] Drop leftover "division-by-zero guard" around @llvm.umul.with.overflow inverted overflow bit

2019-08-29 12:48:04 +00:00

div-by-0-guard-before-umul_ov.ll

[InstSimplify] Drop leftover "division-by-zero guard" around @llvm.umul.with.overflow overflow bit

2019-08-29 12:47:50 +00:00

div.ll

…

exact-nsw-nuw.ll

…

extract-element.ll

…

fast-math.ll

[InstSimplify] Add unary fneg to fsub 0.0, (fneg X) ==> X transform

2019-05-17 16:47:00 +00:00

fcmp-select.ll

[InstSimplify] use FMF to improve fcmp+select fold

2019-11-04 08:29:56 -05:00

fdiv.ll

…

floating-point-arithmetic.ll

[InstSimplify] Teach fsub -0.0, (fneg X) ==> X about unary fneg

2019-05-20 13:13:35 +00:00

floating-point-compare.ll

[InstSimplify] enhance fcmp fold with never-nan operand

2019-06-09 13:48:59 +00:00

fold-intrinsics.ll

…

fp-nan.ll

[InstSimplify] simplify FP ops harder with FMF

2020-03-12 09:13:28 -04:00

fp-undef.ll

[InstSimplify] simplify FP ops harder with FMF (part 2)

2020-03-12 09:53:20 -04:00

freeze.ll

[ValueTracking] Let isGuaranteedNotToBeUndefOrPoison look into more constants/instructions

2020-04-25 23:29:54 +09:00

gep.ll

[SVE] Update API ConstantVector::getSplat() to use ElementCount.

2020-03-12 13:22:41 -07:00

icmp-abs-nabs.ll

[ValueTracking] When calculating known bits for integer abs, make sure we're looking at a negate and not just any instruction with the nsw flag set.

2019-08-07 18:28:16 +00:00

icmp-bool-constant.ll

…

icmp-constant.ll

…

icmp-ranges.ll

…

implies.ll

…

insertelement.ll

[InstSimplify] guard against unreachable code (PR43218)

2019-09-04 15:12:55 +00:00

known-never-nan.ll

[ValueTracking] Add a basic version of isKnownNonInfinity and use it to detect more NoNaNs

2019-11-19 22:24:46 +01:00

known-non-zero.ll

[ValueTracking] Allow context-sensitive nullness check for non-pointers

2019-12-09 15:15:52 -06:00

load-relative-32.ll

…

load-relative.ll

…

load.ll

[ConstantFolding] Fix assertion failure on non-power-of-two vector load.

2019-06-19 10:28:48 +00:00

log2-pow2-intrinsic.ll

…

log10-pow10-intrinsic.ll

…

log-exp-intrinsic.ll

…

logic-of-fcmps.ll

…

maxmin.ll

…

mul.ll

…

negate.ll

…

noalias-ptr.ll

…

or-icmps-same-ops.ll

…

or.ll

[ValueTracking] Add computeKnownBits DemandedElts support to XOR instructions (PR36319)

2020-03-18 20:24:14 +00:00

past-the-end.ll

…

phi.ll

[InstSimplify] add a phi test with 1 incoming value; NFC

2019-06-19 17:23:29 +00:00

pr28725.ll

…

pr33957.ll

…

ptr_diff.ll

…

reassociate.ll

…

redundant-null-check-in-uadd_with_overflow-of-nonnull-ptr.ll

[InstSimplify] Pass SimplifyQuery into simplifyUnsignedRangeCheck() and use it for isKnownNonZero()

2019-09-11 15:32:46 +00:00

rem.ll

…

remove-dead-call.ll

[InstSimplify] Report "Changed" also when only deleting dead instructions

2019-08-09 07:08:25 +00:00

require-dominator.ll

…

result-of-add-of-negative-is-non-zero-and-no-underflow.ll

[NFC][InstSimplify] Add some more tests for D67498/D67502

2019-09-13 17:58:24 +00:00

result-of-usub-by-nonzero-is-non-zero-and-no-overflow.ll

[InstSimplify] simplifyUnsignedRangeCheck(): handle more cases (PR43251)

2019-09-12 09:26:17 +00:00

result-of-usub-is-non-zero-and-no-overflow.ll

[InstSimplify] Handle more 'A </>/>=/<= B &&/|| (A - B) !=/== 0' patterns (PR43251)

2019-09-25 22:59:41 +00:00

returned.ll

…

round-intrinsics.ll

…

saturating-add-sub.ll

…

sdiv.ll

…

select-and-cmp.ll

…

select-implied.ll

…

select-or-cmp.ll

…

select.ll

[InstSimplify] add test for select that should not be simplified; NFC

2020-04-14 13:57:30 -04:00

shift-128-kb.ll

…

shift-knownbits.ll

[ValueTracking] Add computeKnownBits DemandedElts support to shift instructions (PR36319)

2020-03-20 11:08:08 +00:00

shift.ll

…

shr-nop.ll

…

shr-scalar-vector-consistency.ll

…

shufflevector.ll

[InstSimplify] fold splat of inserted constant to vector constant

2019-12-15 09:32:03 -05:00

signed-div-rem.ll

…

simplify-nested-bitcast.ll

…

srem.ll

…

sub.ll

…

undef.ll

…

vec-cmp.ll

…

vector_gep.ll

…

vector_ptr_bitcast.ll

…

vscale.ll

[ValueTracking][SVE] Fix isGEPKnownNonNull for scalable vector.

2020-03-17 11:31:30 -07:00