Sanjay Patel 8e7e7e2058 [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

[ValueTracking] Add a new predicate: isKnownNonEqual()

2015-10-22 13:18:42 +00:00

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

[ValueTracking] Extend r251146 to catch a fairly common case

2015-10-26 14:10:46 +00:00

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

[ValueTracking] Teach isKnownNonZero about monotonically increasing PHIs

2015-09-29 14:08:45 +00:00

pr23011.ll

[ValueTracking] Fix PR23011.

2015-03-25 22:33:53 +00:00

signbits-extract-elt.ll

[ValueTracking] Teach computeKnownBits and ComputeNumSignBits to look through ExtractElement.

2016-10-06 09:56:21 +00:00