[PATCH] Add handling for range metadata in ValueTracking isKnownNonZero

[Philip Reames]

Hi hfinkel,

Teach isKnownNonZero to look at range metadata

If we load from a location with range metadata, we can use information about the ranges of the loaded value for optimization purposes.  This helps to remove redundant checks and canonicalize checks for other optimization passes.

Currently, these tests are against InstCombine.  In theory, all of these should be InstSimplify since we're not inserting any new instructions.  Moving the code may follow in a separate change.

http://reviews.llvm.org/D5947

Files:
  lib/Analysis/ValueTracking.cpp
  test/Transforms/InstCombine/icmp-range.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5947.15359.patch
Type: text/x-patch
Size: 3073 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141023/a8439021/attachment.bin>