| Duncan Sands | 34c4869 | 2012-04-30 11:56:58 +0000 | [diff] [blame] | 1 | ; RUN: opt -instcombine -S < %s | FileCheck %s |
| 2 | ; PR12541 | ||||
| 3 | |||||
| 4 | define i32 @foo(i32 %x) { | ||||
| 5 | %y = xor i32 %x, 3 | ||||
| 6 | %z = srem i32 1656690544, %y | ||||
| 7 | %sext = shl i32 %z, 24 | ||||
| 8 | %s = ashr exact i32 %sext, 24 | ||||
| 9 | ret i32 %s | ||||
| 10 | ; CHECK-NOT: and | ||||
| 11 | ; The shifts were wrongly being turned into an and with 112 | ||||
| 12 | } | ||||