[ValueTracking] Use !range metadata more aggressively in KnownBits
authorSanjoy Das <sanjoy@playingwithpointers.com>
Wed, 28 Oct 2015 03:20:15 +0000 (03:20 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Wed, 28 Oct 2015 03:20:15 +0000 (03:20 +0000)
commite06e113689ab0c2628198e8e1459b42f99d2fd59
treec8a4288dea5ac73296972c286fd717db3f272dd7
parent0c67849a499b67fbfdbad4e3a9b2d6f0222371b3
[ValueTracking] Use !range metadata more aggressively in KnownBits

Summary:
Teach `computeKnownBitsFromRangeMetadata` to use `!range` metadata more
aggressively.

Reviewers: majnemer, nlewycky, jingyue

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D14100

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@251487 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/ValueTracking.h
lib/Analysis/ValueTracking.cpp
lib/CodeGen/SelectionDAG/SelectionDAG.cpp
test/Analysis/ValueTracking/known-bits-from-range-md.ll [new file with mode: 0644]