;CHECK-LABEL: @xor3(
;CHECK: %and.ra = and i32 %x, -436
;CHECK: %xor = xor i32 %y, 123
-;CHECK: %xor1 = xor i32 %xor, %and.ra
+;CHECK: %xor1 = xor i32 %and.ra, %xor
}
; Test rule: (x | c1) ^ c2 = (x & ~c1) ^ (c1 ^ c2)
; CHECK-LABEL: @xor4(
; CHECK: %and = and i32 %x, -124
; CHECK: %xor = xor i32 %y, 435
-; CHECK: %xor1 = xor i32 %xor, %and
+; CHECK: %xor1 = xor i32 %and, %xor
}
; ==========================================================================
ret i32 %xor1
; CHECK-LABEL: @xor_special2(
; CHECK: %xor = xor i32 %y, 123
-; CHECK: %xor1 = xor i32 %xor, %x
+; CHECK: %xor1 = xor i32 %x, %xor
; CHECK: ret i32 %xor1
}