llvm-project/llvm/test/Analysis/ValueTracking
Sanjay Patel 97e4b98749 [ValueTracking] use nonnull argument attribute to eliminate null checks
Enhancing value tracking's analysis of null-ness was suggested in D27855, so here's a first attempt at that.

This is part of solving:
https://llvm.org/bugs/show_bug.cgi?id=28430

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

llvm-svn: 294897
2017-02-12 15:35:34 +00:00
..
assume.ll [ValueTracking] regenerate checks; NFC 2017-01-09 19:31:20 +00:00
deref-bitcast-of-gep.ll Reduce dependence on pointee types when deducing dereferenceability 2016-06-01 16:47:45 +00:00
dereferenceable-and-aligned.ll [Loads] Fix crash in is isDereferenceableAndAlignedPointer() 2016-10-28 15:32:28 +00:00
get-pointer-base-with-const-off.ll [ValueTracking] Fix crash in GetPointerBaseWithConstantOffset() 2016-10-07 14:23:29 +00:00
known-bits-from-range-md.ll InstCombine: Restrict computeKnownBits() on all Values to OptLevel > 2 2016-03-09 18:47:11 +00:00
known-non-equal.ll
known-nonnull-at.ll [ValueTracking] use nonnull argument attribute to eliminate null checks 2017-02-12 15:35:34 +00:00
known-power-of-two.ll [ValueTracking] fix bug computing isKnownToBeAPowerOfTwo() with arithmetic shift right (PR25900) 2015-12-30 22:40:52 +00:00
known-signbit-shift.ll The patch improves ValueTracking on left shift with nsw flag. 2016-08-24 23:01:33 +00:00
knownnonzero-shift.ll
knownzero-addrspacecast.ll Fix known zero bits for addrspacecast. 2016-11-21 15:42:31 +00:00
knownzero-shift.ll [InstSimplify] allow integer vector types to use computeKnownBits 2016-11-27 21:07:28 +00:00
memory-dereferenceable.ll Teach isDereferenceablePointer to look through returned-argument functions 2016-07-11 03:08:49 +00:00
monotonic-phi.ll
pr23011.ll
signbits-extract-elt.ll [ValueTracking] Teach computeKnownBits and ComputeNumSignBits to look through ExtractElement. 2016-10-06 09:56:21 +00:00