James Molloy 94327af5e1 [ValueTracking] Add a new predicate: isKnownNonEqual() ...

isKnownNonEqual(A, B) returns true if it can be determined that A != B.

At the moment it only knows two facts, that a non-wrapping add of nonzero to a value cannot be that value:

A + B != A [where B != 0, addition is nsw or nuw]

and that contradictory known bits imply two values are not equal.

This patch also hooks this up to InstSimplify; InstSimplify had a peephole for the first fact but not the second so this teaches InstSimplify a new trick too (alas no measured performance impact!)

llvm-svn: 251012

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

..

assume.ll

[ValueTracking] do not overwrite analysis results already computed

2015-06-15 05:46:29 +00:00

dom-cond.ll

[ValueTracking] do not overwrite analysis results already computed

2015-06-15 05:46:29 +00:00

known-non-equal.ll

[ValueTracking] Add a new predicate: isKnownNonEqual()

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

knownzero-shift.ll

[ValueTracking] Teach isKnownNonZero a new trick

2015-09-24 16:06:32 +00:00

memory-dereferenceable.ll

Introduce !align metadata for load instruction

2015-09-28 17:41:08 +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

pr24866.ll

Fix for pr24866

2015-09-21 22:04:10 +00:00