DianQK f62b50e0e8 [ValueTracking] Skip incoming values that are the same as the phi in isGuaranteedNotToBeUndefOrPoison (#130111) ...

Fixes (keep it open) #130110.

If the incoming value is PHI itself, we can skip this. If we can
guarantee that the other incoming values are neither undef nor poison,
then we can also guarantee that the value isn't either. If we cannot
guarantee that, it makes no sense in calculating it.

(cherry picked from commit 462eb7e28ef4507b16a4b45efb356bc6a3523615)

2025-03-11 17:09:10 -07:00

..

aarch64.irg.ll

…

assume-queries-counter.ll

[DebugCounter] Add support for non-continous ranges. (#89470)

2024-05-28 12:40:39 +02:00

assume.ll

…

constant-ranges.ll

…

deref-abstract-gc.ll

[Options] Use UseDerefAtPointSemantics cl::opt<bool>. (#123192)

2025-01-16 14:07:03 +00:00

deref-bitcast-of-gep.ll

…

dereferenceable-and-aligned.ll

…

func-ptr-lsb.ll

…

gep-negative-issue.ll

…

get-pointer-base-with-const-off.ll

…

implied-condition-samesign.ll

[ValueTracking] Pass changed predicate SignedLPred to isImpliedByMatchingCmp (#124271)

2025-01-24 23:02:50 +08:00

invariant.group.ll

…

known-bits-from-operator-constexpr.ll

…

known-bits-from-range-md.ll

…

known-bits.ll

[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)

2024-11-06 11:53:33 +00:00

known-fpclass.ll

[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)

2024-11-06 11:53:33 +00:00

known-non-equal.ll

ValueTracking/test: cover recur limit in non-equal PHIs (#113205)

2024-11-05 12:45:51 +00:00

known-non-zero.ll

[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)

2024-11-06 11:53:33 +00:00

known-nonnull-at.ll

…

known-power-of-two-urem.ll

[InstCombine] Remove some of the complexity-based canonicalization (#91185)

2024-08-21 12:02:54 +02:00

known-power-of-two.ll

[InstCombine] Remove some of the complexity-based canonicalization (#91185)

2024-08-21 12:02:54 +02:00

knownbits-abs.ll

…

knownbits-and-or-xor-lowbit.ll

[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)

2024-11-06 11:53:33 +00:00

knownbits-bmi-pattern.ll

[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)

2024-11-06 11:53:33 +00:00

knownbits-div.ll

…

knownbits-phi-deadcode.ll

…

knownbits-rem.ll

KnownBits: refine srem for high-bits (#109121)

2024-09-27 12:00:50 +01:00

knownbits-sat-addsub.ll

[KnownBits] Make {s,u}{add,sub}_sat optimal (#113096)

2024-11-05 09:03:37 -06:00

knownbits-select-from-cond.ll

…

knownbits-shift.ll

…

knownbits-trunc-with-min-max-clamp.ll

[ValueTracking] Fix a bug for signed min-max clamping (#121206)

2024-12-28 18:21:47 +01:00

knownbits-x86-hadd-hsub.ll

[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)

2024-11-06 11:53:33 +00:00

knownzero-addrspacecast.ll

…

knownzero-shift.ll

[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)

2024-11-06 11:53:33 +00:00

memory-dereferenceable.ll

[Options] Use UseDerefAtPointSemantics cl::opt<bool>. (#123192)

2025-01-16 14:07:03 +00:00

monotonic-phi.ll

…

non-negative-phi-bits.ll

[InstCombine] Set samesign when converting signed predicates into unsigned (#112642)

2024-10-17 20:43:48 +08:00

numsignbits-from-assume.ll

[InstCombine] Add function attribute instcombine-no-verify-fixpoint (#113822)

2024-10-28 17:45:08 +08:00

numsignbits-shl.ll

[LLVM][IR] Use splat syntax when printing Constant[Data]Vector. (#112548)

2024-11-06 11:53:33 +00:00

phi-known-bits.ll

[ValueTracking] Fix bug of using wrong condition for deducing KnownBits (#124481)

2025-01-28 15:54:00 -06:00

phi-known-nonzero.ll

…

phi-self.ll

[ValueTracking] Skip incoming values that are the same as the phi in isGuaranteedNotToBeUndefOrPoison (#130111)

2025-03-11 17:09:10 -07:00

powi-nneg.ll

…

pr23011.ll

…

pr75505.ll

…

recurrence-knownbits.ll

ValueTracking: simplify udiv/urem recurrences (#108973)

2024-11-07 11:41:35 +00:00

select-known-non-zero-const.ll

…

select-known-non-zero.ll

…

select-pattern.ll

…

signbits-extract-elt.ll

…