[llvm] 2843a1d - [InstCombine] add tests for bitwise logic; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Sun Aug 7 10:50:25 PDT 2022
Author: Sanjay Patel
Date: 2022-08-07T13:34:51-04:00
New Revision: 2843a1d87d95f09d2960b17f33b9ce57c6f878a3
URL: https://github.com/llvm/llvm-project/commit/2843a1d87d95f09d2960b17f33b9ce57c6f878a3
DIFF: https://github.com/llvm/llvm-project/commit/2843a1d87d95f09d2960b17f33b9ce57c6f878a3.diff
LOG: [InstCombine] add tests for bitwise logic; NFC
Added:
Modified:
llvm/test/Transforms/InstCombine/and-or-not.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstCombine/and-or-not.ll b/llvm/test/Transforms/InstCombine/and-or-not.ll
index de21466a0e8fc..4ee3bd81ddf8f 100644
--- a/llvm/test/Transforms/InstCombine/and-or-not.ll
+++ b/llvm/test/Transforms/InstCombine/and-or-not.ll
@@ -1,6 +1,8 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=instcombine -S | FileCheck %s
+declare void @use(i4)
+
; PR1510
; (a | b) & ~(a & b) --> a ^ b
@@ -640,3 +642,229 @@ define i32 @xor_to_xnor4(float %fa, float %fb) {
%xor = xor i32 %or1, %or2
ret i32 %xor
}
+
+define i4 @simplify_or_common_op_commute0(i4 %x, i4 %y, i4 %z) {
+; CHECK-LABEL: @simplify_or_common_op_commute0(
+; CHECK-NEXT: [[XY:%.*]] = and i4 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: [[XYZ:%.*]] = and i4 [[XY]], [[Z:%.*]]
+; CHECK-NEXT: [[NOT_XYZ:%.*]] = xor i4 [[XYZ]], -1
+; CHECK-NEXT: [[R:%.*]] = or i4 [[NOT_XYZ]], [[X]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %xy = and i4 %x, %y
+ %xyz = and i4 %xy, %z
+ %not_xyz = xor i4 %xyz, -1
+ %r = or i4 %not_xyz, %x
+ ret i4 %r
+}
+
+define i4 @simplify_or_common_op_commute1(i4 %x, i4 %y, i4 %z) {
+; CHECK-LABEL: @simplify_or_common_op_commute1(
+; CHECK-NEXT: [[XY:%.*]] = and i4 [[Y:%.*]], [[X:%.*]]
+; CHECK-NEXT: [[XYZ:%.*]] = and i4 [[XY]], [[Z:%.*]]
+; CHECK-NEXT: [[NOT_XYZ:%.*]] = xor i4 [[XYZ]], -1
+; CHECK-NEXT: [[R:%.*]] = or i4 [[NOT_XYZ]], [[X]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %xy = and i4 %y, %x
+ %xyz = and i4 %xy, %z
+ %not_xyz = xor i4 %xyz, -1
+ %r = or i4 %not_xyz, %x
+ ret i4 %r
+}
+
+define i4 @simplify_or_common_op_commute2(i4 %x, i4 %y, i4 %p, i4 %q) {
+; CHECK-LABEL: @simplify_or_common_op_commute2(
+; CHECK-NEXT: [[Z:%.*]] = mul i4 [[P:%.*]], [[P]]
+; CHECK-NEXT: [[XY:%.*]] = and i4 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: [[XYZ:%.*]] = and i4 [[Z]], [[XY]]
+; CHECK-NEXT: [[XYZQ:%.*]] = and i4 [[XYZ]], [[Q:%.*]]
+; CHECK-NEXT: [[NOT_XYZQ:%.*]] = xor i4 [[XYZQ]], -1
+; CHECK-NEXT: [[R:%.*]] = or i4 [[NOT_XYZQ]], [[X]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %z = mul i4 %p, %p ; thwart complexity-based canonicalization
+ %xy = and i4 %x, %y
+ %xyz = and i4 %z, %xy
+ %xyzq = and i4 %xyz, %q
+ %not_xyzq = xor i4 %xyzq, -1
+ %r = or i4 %not_xyzq, %x
+ ret i4 %r
+}
+
+define <2 x i4> @simplify_or_common_op_commute3(<2 x i4> %x, <2 x i4> %y, <2 x i4> %p) {
+; CHECK-LABEL: @simplify_or_common_op_commute3(
+; CHECK-NEXT: [[Z:%.*]] = mul <2 x i4> [[P:%.*]], [[P]]
+; CHECK-NEXT: [[XY:%.*]] = and <2 x i4> [[Y:%.*]], [[X:%.*]]
+; CHECK-NEXT: [[XYZ:%.*]] = and <2 x i4> [[Z]], [[XY]]
+; CHECK-NEXT: [[NOT_XYZ:%.*]] = xor <2 x i4> [[XYZ]], <i4 -1, i4 -1>
+; CHECK-NEXT: [[R:%.*]] = or <2 x i4> [[NOT_XYZ]], [[X]]
+; CHECK-NEXT: ret <2 x i4> [[R]]
+;
+ %z = mul <2 x i4> %p, %p ; thwart complexity-based canonicalization
+ %xy = and <2 x i4> %y, %x
+ %xyz = and <2 x i4> %z, %xy
+ %not_xyz = xor <2 x i4> %xyz, <i4 -1, i4 -1>
+ %r = or <2 x i4> %x, %not_xyz
+ ret <2 x i4> %r
+}
+
+define i4 @simplify_and_common_op_commute0(i4 %x, i4 %y, i4 %z) {
+; CHECK-LABEL: @simplify_and_common_op_commute0(
+; CHECK-NEXT: [[XY:%.*]] = or i4 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @use(i4 [[X]])
+; CHECK-NEXT: [[XYZ:%.*]] = or i4 [[XY]], [[Z:%.*]]
+; CHECK-NEXT: [[NOT_XYZ:%.*]] = xor i4 [[XYZ]], -1
+; CHECK-NEXT: [[R:%.*]] = and i4 [[NOT_XYZ]], [[X]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %xy = or i4 %x, %y
+ call void @use(i4 %x)
+ %xyz = or i4 %xy, %z
+ %not_xyz = xor i4 %xyz, -1
+ %r = and i4 %not_xyz, %x
+ ret i4 %r
+}
+
+define i4 @simplify_and_common_op_commute1(i4 %x, i4 %y, i4 %z) {
+; CHECK-LABEL: @simplify_and_common_op_commute1(
+; CHECK-NEXT: [[XY:%.*]] = or i4 [[Y:%.*]], [[X:%.*]]
+; CHECK-NEXT: [[XYZ:%.*]] = or i4 [[XY]], [[Z:%.*]]
+; CHECK-NEXT: [[NOT_XYZ:%.*]] = xor i4 [[XYZ]], -1
+; CHECK-NEXT: [[R:%.*]] = and i4 [[NOT_XYZ]], [[X]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %xy = or i4 %y, %x
+ %xyz = or i4 %xy, %z
+ %not_xyz = xor i4 %xyz, -1
+ %r = and i4 %not_xyz, %x
+ ret i4 %r
+}
+
+define i4 @simplify_and_common_op_commute2(i4 %x, i4 %y, i4 %p, i4 %q) {
+; CHECK-LABEL: @simplify_and_common_op_commute2(
+; CHECK-NEXT: [[Z:%.*]] = mul i4 [[P:%.*]], [[P]]
+; CHECK-NEXT: [[XY:%.*]] = or i4 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: [[XYZ:%.*]] = or i4 [[Z]], [[XY]]
+; CHECK-NEXT: [[XYZQ:%.*]] = or i4 [[XYZ]], [[Q:%.*]]
+; CHECK-NEXT: [[NOT_XYZQ:%.*]] = xor i4 [[XYZQ]], -1
+; CHECK-NEXT: [[R:%.*]] = and i4 [[NOT_XYZQ]], [[X]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %z = mul i4 %p, %p ; thwart complexity-based canonicalization
+ %xy = or i4 %x, %y
+ %xyz = or i4 %z, %xy
+ %xyzq = or i4 %xyz, %q
+ %not_xyzq = xor i4 %xyzq, -1
+ %r = and i4 %not_xyzq, %x
+ ret i4 %r
+}
+
+define <2 x i4> @simplify_and_common_op_commute3(<2 x i4> %x, <2 x i4> %y, <2 x i4> %p) {
+; CHECK-LABEL: @simplify_and_common_op_commute3(
+; CHECK-NEXT: [[Z:%.*]] = mul <2 x i4> [[P:%.*]], [[P]]
+; CHECK-NEXT: [[XY:%.*]] = or <2 x i4> [[Y:%.*]], [[X:%.*]]
+; CHECK-NEXT: [[XYZ:%.*]] = or <2 x i4> [[Z]], [[XY]]
+; CHECK-NEXT: [[NOT_XYZ:%.*]] = xor <2 x i4> [[XYZ]], <i4 -1, i4 -1>
+; CHECK-NEXT: [[R:%.*]] = and <2 x i4> [[NOT_XYZ]], [[X]]
+; CHECK-NEXT: ret <2 x i4> [[R]]
+;
+ %z = mul <2 x i4> %p, %p ; thwart complexity-based canonicalization
+ %xy = or <2 x i4> %y, %x
+ %xyz = or <2 x i4> %z, %xy
+ %not_xyz = xor <2 x i4> %xyz, <i4 -1, i4 -1>
+ %r = and <2 x i4> %x, %not_xyz
+ ret <2 x i4> %r
+}
+
+define i4 @simplify_and_common_op_use1(i4 %x, i4 %y, i4 %z) {
+; CHECK-LABEL: @simplify_and_common_op_use1(
+; CHECK-NEXT: [[XY:%.*]] = or i4 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: call void @use(i4 [[Y]])
+; CHECK-NEXT: [[XYZ:%.*]] = or i4 [[XY]], [[Z:%.*]]
+; CHECK-NEXT: [[NOT_XYZ:%.*]] = xor i4 [[XYZ]], -1
+; CHECK-NEXT: [[R:%.*]] = and i4 [[NOT_XYZ]], [[X]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %xy = or i4 %x, %y
+ call void @use(i4 %y)
+ %xyz = or i4 %xy, %z
+ %not_xyz = xor i4 %xyz, -1
+ %r = and i4 %not_xyz, %x
+ ret i4 %r
+}
+
+define i4 @simplify_and_common_op_use2(i4 %x, i4 %y, i4 %z) {
+; CHECK-LABEL: @simplify_and_common_op_use2(
+; CHECK-NEXT: [[XY:%.*]] = or i4 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: [[XYZ:%.*]] = or i4 [[XY]], [[Z:%.*]]
+; CHECK-NEXT: call void @use(i4 [[Z]])
+; CHECK-NEXT: [[NOT_XYZ:%.*]] = xor i4 [[XYZ]], -1
+; CHECK-NEXT: [[R:%.*]] = and i4 [[NOT_XYZ]], [[X]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %xy = or i4 %x, %y
+ %xyz = or i4 %xy, %z
+ call void @use(i4 %z)
+ %not_xyz = xor i4 %xyz, -1
+ %r = and i4 %not_xyz, %x
+ ret i4 %r
+}
+
+define i4 @reduce_xor_common_op_commute0(i4 %x, i4 %y, i4 %z) {
+; CHECK-LABEL: @reduce_xor_common_op_commute0(
+; CHECK-NEXT: [[XY:%.*]] = xor i4 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: [[XYZ:%.*]] = xor i4 [[XY]], [[Z:%.*]]
+; CHECK-NEXT: [[R:%.*]] = or i4 [[XYZ]], [[X]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %xy = xor i4 %x, %y
+ %xyz = xor i4 %xy, %z
+ %r = or i4 %xyz, %x
+ ret i4 %r
+}
+
+define i4 @reduce_xor_common_op_commute1(i4 %x, i4 %y, i4 %z) {
+; CHECK-LABEL: @reduce_xor_common_op_commute1(
+; CHECK-NEXT: [[XY:%.*]] = xor i4 [[Y:%.*]], [[X:%.*]]
+; CHECK-NEXT: [[XYZ:%.*]] = xor i4 [[XY]], [[Z:%.*]]
+; CHECK-NEXT: [[R:%.*]] = or i4 [[XYZ]], [[X]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %xy = xor i4 %y, %x
+ %xyz = xor i4 %xy, %z
+ %r = or i4 %xyz, %x
+ ret i4 %r
+}
+
+define i4 @annihilate_xor_common_op_commute2(i4 %x, i4 %y, i4 %p, i4 %q) {
+; CHECK-LABEL: @annihilate_xor_common_op_commute2(
+; CHECK-NEXT: [[Z:%.*]] = mul i4 [[P:%.*]], [[P]]
+; CHECK-NEXT: [[XY:%.*]] = xor i4 [[X:%.*]], [[Y:%.*]]
+; CHECK-NEXT: [[XYZ:%.*]] = xor i4 [[Z]], [[XY]]
+; CHECK-NEXT: [[XYZQ:%.*]] = xor i4 [[XYZ]], [[Q:%.*]]
+; CHECK-NEXT: [[R:%.*]] = xor i4 [[XYZQ]], [[X]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %z = mul i4 %p, %p ; thwart complexity-based canonicalization
+ %xy = xor i4 %x, %y
+ %xyz = xor i4 %z, %xy
+ %xyzq = xor i4 %xyz, %q
+ %r = xor i4 %xyzq, %x
+ ret i4 %r
+}
+
+define <2 x i4> @reduce_xor_common_op_commute3(<2 x i4> %x, <2 x i4> %y, <2 x i4> %p) {
+; CHECK-LABEL: @reduce_xor_common_op_commute3(
+; CHECK-NEXT: [[Z:%.*]] = mul <2 x i4> [[P:%.*]], [[P]]
+; CHECK-NEXT: [[XY:%.*]] = xor <2 x i4> [[Y:%.*]], [[X:%.*]]
+; CHECK-NEXT: [[XYZ:%.*]] = xor <2 x i4> [[Z]], [[XY]]
+; CHECK-NEXT: [[R:%.*]] = or <2 x i4> [[XYZ]], [[X]]
+; CHECK-NEXT: ret <2 x i4> [[R]]
+;
+ %z = mul <2 x i4> %p, %p ; thwart complexity-based canonicalization
+ %xy = xor <2 x i4> %y, %x
+ %xyz = xor <2 x i4> %z, %xy
+ %r = or <2 x i4> %x, %xyz
+ ret <2 x i4> %r
+}
More information about the llvm-commits
mailing list