[llvm] 823fc8a - [InstSimplify] add tests for xor logic; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Wed Nov 24 05:15:57 PST 2021
Author: Sanjay Patel
Date: 2021-11-24T08:15:47-05:00
New Revision: 823fc8aa0681a861d1b74790ba77fd1f591c90b5
URL: https://github.com/llvm/llvm-project/commit/823fc8aa0681a861d1b74790ba77fd1f591c90b5
DIFF: https://github.com/llvm/llvm-project/commit/823fc8aa0681a861d1b74790ba77fd1f591c90b5.diff
LOG: [InstSimplify] add tests for xor logic; NFC
Added:
Modified:
llvm/test/Transforms/InstSimplify/xor.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstSimplify/xor.ll b/llvm/test/Transforms/InstSimplify/xor.ll
index 481096b9a9ba5..615e02d94506f 100644
--- a/llvm/test/Transforms/InstSimplify/xor.ll
+++ b/llvm/test/Transforms/InstSimplify/xor.ll
@@ -155,3 +155,171 @@ define <2 x i4> @xor_and_or_not_undef_elt(<2 x i4> %a, <2 x i4> %b) {
%r = xor <2 x i4> %or, %and
ret <2 x i4> %r
}
+
+define i4 @xor_or_and_not_commute0(i4 %a, i4 %b) {
+; CHECK-LABEL: @xor_or_and_not_commute0(
+; CHECK-NEXT: [[NOT:%.*]] = xor i4 [[A:%.*]], -1
+; CHECK-NEXT: [[AND:%.*]] = and i4 [[NOT]], [[B:%.*]]
+; CHECK-NEXT: [[OR:%.*]] = or i4 [[A]], [[B]]
+; CHECK-NEXT: [[R:%.*]] = xor i4 [[AND]], [[OR]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %not = xor i4 %a, -1
+ %and = and i4 %not, %b
+ %or = or i4 %a, %b
+ %r = xor i4 %and, %or
+ ret i4 %r
+}
+
+define <2 x i4> @xor_or_and_not_commute1(<2 x i4> %a, <2 x i4> %b) {
+; CHECK-LABEL: @xor_or_and_not_commute1(
+; CHECK-NEXT: [[NOT:%.*]] = xor <2 x i4> [[A:%.*]], <i4 -1, i4 -1>
+; CHECK-NEXT: [[AND:%.*]] = and <2 x i4> [[NOT]], [[B:%.*]]
+; CHECK-NEXT: [[OR:%.*]] = or <2 x i4> [[A]], [[B]]
+; CHECK-NEXT: [[R:%.*]] = xor <2 x i4> [[OR]], [[AND]]
+; CHECK-NEXT: ret <2 x i4> [[R]]
+;
+ %not = xor <2 x i4> %a, <i4 -1, i4 -1>
+ %and = and <2 x i4> %not, %b
+ %or = or <2 x i4> %a, %b
+ %r = xor <2 x i4> %or, %and
+ ret <2 x i4> %r
+}
+
+define i74 @xor_or_and_not_commute2(i74 %a, i74 %b) {
+; CHECK-LABEL: @xor_or_and_not_commute2(
+; CHECK-NEXT: [[NOT:%.*]] = xor i74 [[A:%.*]], -1
+; CHECK-NEXT: [[AND:%.*]] = and i74 [[B:%.*]], [[NOT]]
+; CHECK-NEXT: [[OR:%.*]] = or i74 [[A]], [[B]]
+; CHECK-NEXT: [[R:%.*]] = xor i74 [[AND]], [[OR]]
+; CHECK-NEXT: ret i74 [[R]]
+;
+ %not = xor i74 %a, -1
+ %and = and i74 %b, %not
+ %or = or i74 %a, %b
+ %r = xor i74 %and, %or
+ ret i74 %r
+}
+
+define <2 x i4> @xor_or_and_not_commute3(<2 x i4> %a, <2 x i4> %b) {
+; CHECK-LABEL: @xor_or_and_not_commute3(
+; CHECK-NEXT: [[NOT:%.*]] = xor <2 x i4> [[A:%.*]], <i4 -1, i4 -1>
+; CHECK-NEXT: [[AND:%.*]] = and <2 x i4> [[B:%.*]], [[NOT]]
+; CHECK-NEXT: [[OR:%.*]] = or <2 x i4> [[A]], [[B]]
+; CHECK-NEXT: [[R:%.*]] = xor <2 x i4> [[OR]], [[AND]]
+; CHECK-NEXT: ret <2 x i4> [[R]]
+;
+ %not = xor <2 x i4> %a, <i4 -1, i4 -1>
+ %and = and <2 x i4> %b, %not
+ %or = or <2 x i4> %a, %b
+ %r = xor <2 x i4> %or, %and
+ ret <2 x i4> %r
+}
+
+define i8 @xor_or_and_not_commute4(i8 %a, i8 %b) {
+; CHECK-LABEL: @xor_or_and_not_commute4(
+; CHECK-NEXT: [[NOT:%.*]] = xor i8 [[A:%.*]], -1
+; CHECK-NEXT: [[AND:%.*]] = and i8 [[NOT]], [[B:%.*]]
+; CHECK-NEXT: [[OR:%.*]] = or i8 [[B]], [[A]]
+; CHECK-NEXT: [[R:%.*]] = xor i8 [[AND]], [[OR]]
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %not = xor i8 %a, -1
+ %and = and i8 %not, %b
+ %or = or i8 %b, %a
+ %r = xor i8 %and, %or
+ ret i8 %r
+}
+
+define i8 @xor_or_and_not_commute5(i8 %a, i8 %b) {
+; CHECK-LABEL: @xor_or_and_not_commute5(
+; CHECK-NEXT: [[NOT:%.*]] = xor i8 [[A:%.*]], -1
+; CHECK-NEXT: [[AND:%.*]] = and i8 [[NOT]], [[B:%.*]]
+; CHECK-NEXT: [[OR:%.*]] = or i8 [[B]], [[A]]
+; CHECK-NEXT: [[R:%.*]] = xor i8 [[OR]], [[AND]]
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %not = xor i8 %a, -1
+ %and = and i8 %not, %b
+ %or = or i8 %b, %a
+ %r = xor i8 %or, %and
+ ret i8 %r
+}
+
+define i8 @xor_or_and_not_commute6(i8 %a, i8 %b) {
+; CHECK-LABEL: @xor_or_and_not_commute6(
+; CHECK-NEXT: [[NOT:%.*]] = xor i8 [[A:%.*]], -1
+; CHECK-NEXT: [[AND:%.*]] = and i8 [[B:%.*]], [[NOT]]
+; CHECK-NEXT: [[OR:%.*]] = or i8 [[B]], [[A]]
+; CHECK-NEXT: [[R:%.*]] = xor i8 [[AND]], [[OR]]
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %not = xor i8 %a, -1
+ %and = and i8 %b, %not
+ %or = or i8 %b, %a
+ %r = xor i8 %and, %or
+ ret i8 %r
+}
+
+define i8 @xor_or_and_not_commute7(i8 %a, i8 %b) {
+; CHECK-LABEL: @xor_or_and_not_commute7(
+; CHECK-NEXT: [[NOT:%.*]] = xor i8 [[A:%.*]], -1
+; CHECK-NEXT: [[AND:%.*]] = and i8 [[B:%.*]], [[NOT]]
+; CHECK-NEXT: [[OR:%.*]] = or i8 [[B]], [[A]]
+; CHECK-NEXT: [[R:%.*]] = xor i8 [[OR]], [[AND]]
+; CHECK-NEXT: ret i8 [[R]]
+;
+ %not = xor i8 %a, -1
+ %and = and i8 %b, %not
+ %or = or i8 %b, %a
+ %r = xor i8 %or, %and
+ ret i8 %r
+}
+
+; negative test - must match specific values
+
+define i4 @xor_or_and_not_wrong_val1(i4 %a, i4 %b, i4 %c) {
+; CHECK-LABEL: @xor_or_and_not_wrong_val1(
+; CHECK-NEXT: [[NOT:%.*]] = xor i4 [[A:%.*]], -1
+; CHECK-NEXT: [[AND:%.*]] = and i4 [[NOT]], [[C:%.*]]
+; CHECK-NEXT: [[OR:%.*]] = or i4 [[A]], [[B:%.*]]
+; CHECK-NEXT: [[R:%.*]] = xor i4 [[AND]], [[OR]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %not = xor i4 %a, -1
+ %and = and i4 %not, %c
+ %or = or i4 %a, %b
+ %r = xor i4 %and, %or
+ ret i4 %r
+}
+
+; negative test - must match specific values
+
+define i4 @xor_or_and_not_wrong_val2(i4 %a, i4 %b, i4 %c) {
+; CHECK-LABEL: @xor_or_and_not_wrong_val2(
+; CHECK-NEXT: [[AND:%.*]] = and i4 [[C:%.*]], [[B:%.*]]
+; CHECK-NEXT: [[OR:%.*]] = or i4 [[A:%.*]], [[B]]
+; CHECK-NEXT: [[R:%.*]] = xor i4 [[AND]], [[OR]]
+; CHECK-NEXT: ret i4 [[R]]
+;
+ %not = xor i4 %a, -1
+ %and = and i4 %c, %b
+ %or = or i4 %a, %b
+ %r = xor i4 %and, %or
+ ret i4 %r
+}
+
+define <2 x i4> @xor_or_and_not_undef_elt(<2 x i4> %a, <2 x i4> %b) {
+; CHECK-LABEL: @xor_or_and_not_undef_elt(
+; CHECK-NEXT: [[NOT:%.*]] = xor <2 x i4> [[A:%.*]], <i4 -1, i4 undef>
+; CHECK-NEXT: [[AND:%.*]] = and <2 x i4> [[B:%.*]], [[NOT]]
+; CHECK-NEXT: [[OR:%.*]] = or <2 x i4> [[A]], [[B]]
+; CHECK-NEXT: [[R:%.*]] = xor <2 x i4> [[OR]], [[AND]]
+; CHECK-NEXT: ret <2 x i4> [[R]]
+;
+ %not = xor <2 x i4> %a, <i4 -1, i4 undef>
+ %and = and <2 x i4> %b, %not
+ %or = or <2 x i4> %a, %b
+ %r = xor <2 x i4> %or, %and
+ ret <2 x i4> %r
+}
More information about the llvm-commits
mailing list