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 } 13