llvm-project/llvm/test/Analysis/ValueTracking
Tyker 42431da895 [AssumeBundles] Use assume bundles in isKnownNonZero
Summary: Use nonnull and dereferenceable from an assume bundle in isKnownNonZero

Reviewers: jdoerfert, nikic, lebedev.ri, reames, fhahn, sstefan1

Reviewed By: jdoerfert

Subscribers: fhahn, hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D76149
2020-04-24 20:41:51 +02:00
..
aarch64.irg.ll Basic codegen for MTE stack tagging. 2019-07-17 19:24:02 +00:00
assume.ll [AssumeBundles] Use assume bundles in isKnownNonZero 2020-04-24 20:41:51 +02: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
invariant.group.ll
known-bits-from-operator-constexpr.ll [ValueTracking] Avoid blind cast from Operator to Instruction 2020-03-22 14:45:31 +01:00
known-bits-from-range-md.ll
known-non-equal.ll
known-nonnull-at.ll [llvm] Fix missing FileCheck directive colons 2020-04-06 09:59:08 -06:00
known-power-of-two.ll
knownnonzero-shift.ll [Tests] Regenerate some test checks; NFC 2020-03-20 12:06:53 +01:00
knownzero-addrspacecast.ll
knownzero-shift.ll
memory-dereferenceable.ll [IR][Verifier] Allow IntToPtrInst to be !dereferenceable 2019-07-23 17:19:56 +00:00
monotonic-phi.ll
non-negative-phi-bits.ll Autogenerate test/Analysis/ValueTracking/non-negative-phi-bits.ll test 2019-12-02 18:28:41 +03:00
numsignbits-from-assume.ll
pr23011.ll
select-pattern.ll
signbits-extract-elt.ll