diff options
Diffstat (limited to 'test/Transforms/InstCombine/and-xor-or.ll')
-rw-r--r-- | test/Transforms/InstCombine/and-xor-or.ll | 95 |
1 files changed, 95 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/and-xor-or.ll b/test/Transforms/InstCombine/and-xor-or.ll index e4495fa5b0ae..1eb871e594cc 100644 --- a/test/Transforms/InstCombine/and-xor-or.ll +++ b/test/Transforms/InstCombine/and-xor-or.ll @@ -1,6 +1,101 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt < %s -instcombine -S | FileCheck %s +; a & (a ^ b) --> a & ~b + +define i32 @and_xor_common_op(i32 %pa, i32 %pb) { +; CHECK-LABEL: @and_xor_common_op( +; CHECK-NEXT: [[A:%.*]] = udiv i32 42, [[PA:%.*]] +; CHECK-NEXT: [[B:%.*]] = udiv i32 43, [[PB:%.*]] +; CHECK-NEXT: [[TMP1:%.*]] = xor i32 [[B]], -1 +; CHECK-NEXT: [[R:%.*]] = and i32 [[A]], [[TMP1]] +; CHECK-NEXT: ret i32 [[R]] +; + %a = udiv i32 42, %pa ; thwart complexity-based canonicalization + %b = udiv i32 43, %pb ; thwart complexity-based canonicalization + %xor = xor i32 %a, %b + %r = and i32 %a, %xor + ret i32 %r +} + +; a & (b ^ a) --> a & ~b + +define i32 @and_xor_common_op_commute1(i32 %pa, i32 %pb) { +; CHECK-LABEL: @and_xor_common_op_commute1( +; CHECK-NEXT: [[A:%.*]] = udiv i32 42, [[PA:%.*]] +; CHECK-NEXT: [[B:%.*]] = udiv i32 43, [[PB:%.*]] +; CHECK-NEXT: [[TMP1:%.*]] = xor i32 [[B]], -1 +; CHECK-NEXT: [[R:%.*]] = and i32 [[A]], [[TMP1]] +; CHECK-NEXT: ret i32 [[R]] +; + %a = udiv i32 42, %pa ; thwart complexity-based canonicalization + %b = udiv i32 43, %pb ; thwart complexity-based canonicalization + %xor = xor i32 %b, %a + %r = and i32 %a, %xor + ret i32 %r +} + +; (b ^ a) & a --> a & ~b + +define i32 @and_xor_common_op_commute2(i32 %pa, i32 %pb) { +; CHECK-LABEL: @and_xor_common_op_commute2( +; CHECK-NEXT: [[A:%.*]] = udiv i32 42, [[PA:%.*]] +; CHECK-NEXT: [[B:%.*]] = udiv i32 43, [[PB:%.*]] +; CHECK-NEXT: [[TMP1:%.*]] = xor i32 [[B]], -1 +; CHECK-NEXT: [[R:%.*]] = and i32 [[A]], [[TMP1]] +; CHECK-NEXT: ret i32 [[R]] +; + %a = udiv i32 42, %pa ; thwart complexity-based canonicalization + %b = udiv i32 43, %pb ; thwart complexity-based canonicalization + %xor = xor i32 %b, %a + %r = and i32 %xor, %a + ret i32 %r +} + +; (a ^ b) & a --> a & ~b + +define <2 x i32> @and_xor_common_op_commute3(<2 x i32> %pa, <2 x i32> %pb) { +; CHECK-LABEL: @and_xor_common_op_commute3( +; CHECK-NEXT: [[A:%.*]] = udiv <2 x i32> <i32 42, i32 43>, [[PA:%.*]] +; CHECK-NEXT: [[B:%.*]] = udiv <2 x i32> <i32 43, i32 42>, [[PB:%.*]] +; CHECK-NEXT: [[TMP1:%.*]] = xor <2 x i32> [[B]], <i32 -1, i32 -1> +; CHECK-NEXT: [[R:%.*]] = and <2 x i32> [[A]], [[TMP1]] +; CHECK-NEXT: ret <2 x i32> [[R]] +; + %a = udiv <2 x i32> <i32 42, i32 43>, %pa ; thwart complexity-based canonicalization + %b = udiv <2 x i32> <i32 43, i32 42>, %pb ; thwart complexity-based canonicalization + %xor = xor <2 x i32> %a, %b + %r = and <2 x i32> %xor, %a + ret <2 x i32> %r +} + +; It's ok to match a common constant. +; TODO: The xor should be a 'not' op (-1 constant), but demanded bits shrinks it. + +define <4 x i32> @and_xor_common_op_constant(<4 x i32> %A) { +; CHECK-LABEL: @and_xor_common_op_constant( +; CHECK-NEXT: [[TMP1:%.*]] = xor <4 x i32> [[A:%.*]], <i32 7, i32 7, i32 7, i32 7> +; CHECK-NEXT: [[TMP2:%.*]] = and <4 x i32> [[TMP1]], <i32 1, i32 2, i32 3, i32 4> +; CHECK-NEXT: ret <4 x i32> [[TMP2]] +; + %1 = xor <4 x i32> %A, <i32 1, i32 2, i32 3, i32 4> + %2 = and <4 x i32> <i32 1, i32 2, i32 3, i32 4>, %1 + ret <4 x i32> %2 +} + +; a & (a ^ ~b) --> a & b + +define i32 @and_xor_not_common_op(i32 %a, i32 %b) { +; CHECK-LABEL: @and_xor_not_common_op( +; CHECK-NEXT: [[T4:%.*]] = and i32 [[B:%.*]], [[A:%.*]] +; CHECK-NEXT: ret i32 [[T4]] +; + %b2 = xor i32 %b, -1 + %t2 = xor i32 %a, %b2 + %t4 = and i32 %t2, %a + ret i32 %t4 +} + ; rdar://10770603 ; (x & y) | (x ^ y) -> x | y |