| ; RUN: opt -instcombine -S < %s | FileCheck %s | |
| ; PR12541 | |
| define i32 @foo(i32 %x) { | |
| %y = xor i32 %x, 3 | |
| %z = srem i32 1656690544, %y | |
| %sext = shl i32 %z, 24 | |
| %s = ashr exact i32 %sext, 24 | |
| ret i32 %s | |
| ; CHECK-NOT: and | |
| ; The shifts were wrongly being turned into an and with 112 | |
| } |