OSDN Git Service

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)
commitb5d3effb0749826b507d9dbf81529983ad92749d
treeb24a5a8786d39d2ce346f466553bf4082f1dc6dd
parentee0854c79c1c2496c966114382bf677e98477ab7
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]