[PATCH] [ValueTracking] Extend range metadata to call/invoke

[Jingyue Wu]

Hi eliben, hfinkel, meheff, nlewycky, reames,

With this patch, range metadata can be added to call/invoke including
IntrinsicInst. Previously, it could only be added to load.

Rename computeKnownBitsLoad to computeKnownBitsFromRangeMetadata because
range metadata is not only used by load.

Update the language reference to reflect this change.

http://reviews.llvm.org/D4187

Files:
  docs/LangRef.rst
  include/llvm/Analysis/ValueTracking.h
  lib/Analysis/ValueTracking.cpp
  lib/CodeGen/SelectionDAG/SelectionDAG.cpp
  lib/IR/Verifier.cpp
  test/Transforms/InstCombine/AddOverFlow.ll
  test/Verifier/range-1.ll
  test/Verifier/range-2.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D4187.10522.patch
Type: text/x-patch
Size: 8736 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140618/34fa6e6c/attachment.bin>