define i1 @test1(i32 %x, i32 %y, i32 %z) nounwind readnone {
  %A = shl i32 %x, %z
  %B = shl i32 %y, %z
  %C = icmp eq i32 %A, %B
  ret i1 %C
}

define i1 @test2(i32 %x, i32 %y, i32 %z) nounwind readnone {
  %A = mul nuw nsw i32 %x, %z
  %B = mul nuw nsw i32 %y, %z
  %C = icmp eq i32 %A, %B
  ret i1 %C
}

define i1 @test3(i32 %x, i32 %y, i32 %z) nounwind readnone {
  %A = lshr exact i32 %x, %z
  %B = lshr exact i32 %y, %z
  %C = icmp eq i32 %A, %B
  ret i1 %C
}

define i1 @test4(i32 %x, i32 %y, i32 %z) nounwind readnone {
  %A = ashr exact i32 %x, %z
  %B = ashr exact i32 %y, %z
  %C = icmp eq i32 %A, %B
  ret i1 %C
}

define i1 @test5(i32 %x, i32 %y, i32 %z) nounwind readnone {
  %A = sdiv exact i32 %x, %z
  %B = sdiv exact i32 %y, %z
  %C = icmp eq i32 %A, %B
  ret i1 %C
}

define i1 @test6(i32 %x, i32 %y, i32 %z) nounwind readnone {
  %A = udiv exact i32 %x, %z
  %B = udiv exact i32 %y, %z
  %C = icmp eq i32 %A, %B
  ret i1 %C
}

define i1 @test7(i32 %x, i32 %y, i32 %z) nounwind readnone {
  %A = xor i32 %x, %z
  %B = xor i32 %y, %z
  %C = icmp eq i32 %A, %B
  ret i1 %C
}