ValueTracking: Figure out more bits when looking at add/sub
authorDavid Majnemer <david.majnemer@gmail.com>
Fri, 22 Aug 2014 00:40:43 +0000 (00:40 +0000)
committerDavid Majnemer <david.majnemer@gmail.com>
Fri, 22 Aug 2014 00:40:43 +0000 (00:40 +0000)
commit54056f1760015f75156f344bf3b4766954d91b99
tree22a0ab118b0c26e71769e0f2619592398c5d63cf
parent2c0e02e21bd99a4467576d39adcba76fc417b384
ValueTracking: Figure out more bits when looking at add/sub

Given something like X01XX + X01XX, we know that the result must look
like X1XXX.

Adapted from a patch by Richard Smith, test-case written by me.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@216250 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ValueTracking.cpp
test/Transforms/InstSimplify/compare.ll