test/Transforms/InstCombine/2012-04-30-SRem.ll

   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 }