diff options
author | Jingyue Wu <jingyue@google.com> | 2014-06-19 16:50:16 +0000 |
---|---|---|
committer | Jingyue Wu <jingyue@google.com> | 2014-06-19 16:50:16 +0000 |
commit | e4d0a5ec1841ac5a407c3a07b62749923dda74c2 (patch) | |
tree | 80d429db3108098a05f0e90408bcc280446602e8 /lib/CodeGen/SelectionDAG | |
parent | b7509c63e9e5739ce2fec27579648df3ff2ac249 (diff) | |
download | llvm-e4d0a5ec1841ac5a407c3a07b62749923dda74c2.tar.gz llvm-e4d0a5ec1841ac5a407c3a07b62749923dda74c2.tar.bz2 llvm-e4d0a5ec1841ac5a407c3a07b62749923dda74c2.tar.xz |
[ValueTracking] Extend range metadata to call/invoke
Summary:
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.
Test Plan:
Add several tests in range-2.ll to confirm the verifier is happy with
having range metadata on call/invoke.
Add two tests in AddOverFlow.ll to confirm annotating range metadata to
call/invoke can benefit InstCombine.
Reviewers: meheff, nlewycky, reames, hfinkel, eliben
Reviewed By: eliben
Subscribers: llvm-commits
Differential Revision: http://reviews.llvm.org/D4187
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@211281 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/SelectionDAG')
-rw-r--r-- | lib/CodeGen/SelectionDAG/SelectionDAG.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/CodeGen/SelectionDAG/SelectionDAG.cpp b/lib/CodeGen/SelectionDAG/SelectionDAG.cpp index 639eb462e7..5923f0e208 100644 --- a/lib/CodeGen/SelectionDAG/SelectionDAG.cpp +++ b/lib/CodeGen/SelectionDAG/SelectionDAG.cpp @@ -2084,7 +2084,7 @@ void SelectionDAG::computeKnownBits(SDValue Op, APInt &KnownZero, unsigned MemBits = VT.getScalarType().getSizeInBits(); KnownZero |= APInt::getHighBitsSet(BitWidth, BitWidth - MemBits); } else if (const MDNode *Ranges = LD->getRanges()) { - computeKnownBitsLoad(*Ranges, KnownZero); + computeKnownBitsFromRangeMetadata(*Ranges, KnownZero); } break; } |