1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 02:52:53 +02:00
llvm-mirror/test/Analysis/ValueTracking
Ryan Taylor d817c75cad [IR][Verifier] Allow IntToPtrInst to be !dereferenceable
Summary:
Allow IntToPtrInst to carry !dereferenceable metadata tag.
This is valid since !dereferenceable can be only be applied to
pointer type values.

Change-Id: If8a6e3c616f073d51eaff52ab74535c29ed497b4

Subscribers: llvm-commits

Tags: #llvm

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

llvm-svn: 366826
2019-07-23 17:19:56 +00:00
..
aarch64.irg.ll Basic codegen for MTE stack tagging. 2019-07-17 19:24:02 +00:00
assume.ll [ValueTracking] Don't delete assumes of side-effectful instructions 2017-08-14 17:11:43 +00:00
deref-bitcast-of-gep.ll Propagate nonnull and dereferenceable throught launder 2018-05-18 23:54:33 +00:00
dereferenceable-and-aligned.ll
func-ptr-lsb.ll [IR] Do not assume that function pointers are aligned 2018-04-27 09:12:12 +00:00
gep-negative-issue.ll [ValueTracking] Adjust comment in test 2019-01-07 21:02:22 +00:00
get-pointer-base-with-const-off.ll
invariant.group.ll Simplify recursive launder.invariant.group and strip 2018-07-12 23:55:20 +00:00
known-bits-from-range-md.ll
known-non-equal.ll
known-nonnull-at.ll Fix aliasing of launder.invariant.group 2018-05-23 09:16:44 +00:00
known-power-of-two.ll
known-signbit-shift.ll [ValueTracking] return zero when there's conflict in known bits of a shift (PR34838) 2017-10-12 17:31:46 +00:00
knownnonzero-shift.ll
knownzero-addrspacecast.ll
knownzero-shift.ll [InstSimplify] allow integer vector types to use computeKnownBits 2016-11-27 21:07:28 +00:00
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 InstCombine: move hasOneUse check to the top of foldICmpAddConstant 2018-09-10 14:26:44 +00:00
numsignbits-from-assume.ll Fix llvm::ComputeNumSignBits with some operations and llvm.assume 2018-07-25 16:39:24 +00:00
pr23011.ll
select-pattern.ll [SimplifyCFG] Added condition assumption for unreachable blocks 2019-05-25 22:34:27 +00:00
signbits-extract-elt.ll