When folding away a (shl (shr)) pair, we need to check that the bits that will BECOME...
authorOwen Anderson <resistor@mac.com>
Mon, 1 Nov 2010 21:08:20 +0000 (21:08 +0000)
committerOwen Anderson <resistor@mac.com>
Mon, 1 Nov 2010 21:08:20 +0000 (21:08 +0000)
commit648b20d5dbc54391f0d38c6ff16cf304bf3cb297
treeb24a5a8786d39d2ce346f466553bf4082f1dc6dd
parent99f535242c71d795c11bf54aa6d30ddbed465e9a
When folding away a (shl (shr)) pair, we need to check that the bits that will BECOME the low
bits are zero, not that the current low bits are zero.  Fixes <rdar://problem/8606771>.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117953 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/InstCombine/InstCombineShifts.cpp
test/Transforms/InstCombine/2010-11-01-lshr-mask.ll [new file with mode: 0644]