define i32 @test1(i8 %x, i8 %y, i8 %z) nounwind readnone {
  %A = lshr i8 %x, 5
  %B = zext i8 %A to i32
  %C = shl nuw nsw i32 %B, 5
  ret i32 %C
}

define i32 @test2(i8 %x, i8 %y, i8 %z) nounwind readnone {
  %A = zext i8 %x to i32
  %B = and i32 %A, 224
  ret i32 %B
}

define i32 @test3(i8 %x, i8 %y, i8 %z) nounwind readnone {
  %A = and i8 %x, -32
  %C = zext i8 %A to i32
  ret i32 %C
}