[llvm] a56257e - [InstCombine] add tests for logical nand/nor; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Tue Oct 5 15:37:48 PDT 2021
Author: Sanjay Patel
Date: 2021-10-05T18:31:19-04:00
New Revision: a56257e45ef658bb946d9c607d0bbb6d9b820368
URL: https://github.com/llvm/llvm-project/commit/a56257e45ef658bb946d9c607d0bbb6d9b820368
DIFF: https://github.com/llvm/llvm-project/commit/a56257e45ef658bb946d9c607d0bbb6d9b820368.diff
LOG: [InstCombine] add tests for logical nand/nor; NFC
Added:
Modified:
llvm/test/Transforms/InstCombine/not.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstCombine/not.ll b/llvm/test/Transforms/InstCombine/not.ll
index f84bd844b2ab..21f6507bdba5 100644
--- a/llvm/test/Transforms/InstCombine/not.ll
+++ b/llvm/test/Transforms/InstCombine/not.ll
@@ -524,3 +524,113 @@ define i1 @not_select_bool_const4(i1 %x, i1 %y) {
%r = xor i1 %sel, true
ret i1 %r
}
+
+define <2 x i1> @not_logicalAnd_not_op0(<2 x i1> %x, <2 x i1> %y) {
+; CHECK-LABEL: @not_logicalAnd_not_op0(
+; CHECK-NEXT: [[NOTX:%.*]] = xor <2 x i1> [[X:%.*]], <i1 true, i1 true>
+; CHECK-NEXT: [[AND:%.*]] = select <2 x i1> [[NOTX]], <2 x i1> [[Y:%.*]], <2 x i1> zeroinitializer
+; CHECK-NEXT: [[NOTAND:%.*]] = xor <2 x i1> [[AND]], <i1 true, i1 true>
+; CHECK-NEXT: ret <2 x i1> [[NOTAND]]
+;
+ %notx = xor <2 x i1> %x, <i1 true, i1 true>
+ %and = select <2 x i1> %notx, <2 x i1> %y, <2 x i1> zeroinitializer
+ %notand = xor <2 x i1> %and, <i1 true, i1 true>
+ ret <2 x i1> %notand
+}
+
+define i1 @not_logicalAnd_not_op1(i1 %x, i1 %y) {
+; CHECK-LABEL: @not_logicalAnd_not_op1(
+; CHECK-NEXT: [[NOT_X:%.*]] = xor i1 [[X:%.*]], true
+; CHECK-NEXT: [[NOTAND:%.*]] = select i1 [[NOT_X]], i1 true, i1 [[Y:%.*]]
+; CHECK-NEXT: ret i1 [[NOTAND]]
+;
+ %noty = xor i1 %y, true
+ %and = select i1 %x, i1 %noty, i1 false
+ %notand = xor i1 %and, true
+ ret i1 %notand
+}
+
+define i1 @not_logicalAnd_not_op0_use1(i1 %x, i1 %y) {
+; CHECK-LABEL: @not_logicalAnd_not_op0_use1(
+; CHECK-NEXT: [[NOTX:%.*]] = xor i1 [[X:%.*]], true
+; CHECK-NEXT: call void @use1(i1 [[NOTX]])
+; CHECK-NEXT: [[AND:%.*]] = select i1 [[NOTX]], i1 [[Y:%.*]], i1 false
+; CHECK-NEXT: [[NOTAND:%.*]] = xor i1 [[AND]], true
+; CHECK-NEXT: ret i1 [[NOTAND]]
+;
+ %notx = xor i1 %x, true
+ call void @use1(i1 %notx)
+ %and = select i1 %notx, i1 %y, i1 false
+ %notand = xor i1 %and, true
+ ret i1 %notand
+}
+
+define i1 @not_logicalAnd_not_op0_use2(i1 %x, i1 %y) {
+; CHECK-LABEL: @not_logicalAnd_not_op0_use2(
+; CHECK-NEXT: [[NOTX:%.*]] = xor i1 [[X:%.*]], true
+; CHECK-NEXT: [[AND:%.*]] = select i1 [[NOTX]], i1 [[Y:%.*]], i1 false
+; CHECK-NEXT: call void @use1(i1 [[AND]])
+; CHECK-NEXT: [[NOTAND:%.*]] = xor i1 [[AND]], true
+; CHECK-NEXT: ret i1 [[NOTAND]]
+;
+ %notx = xor i1 %x, true
+ %and = select i1 %notx, i1 %y, i1 false
+ call void @use1(i1 %and)
+ %notand = xor i1 %and, true
+ ret i1 %notand
+}
+
+define <2 x i1> @not_logicalOr_not_op0(<2 x i1> %x, <2 x i1> %y) {
+; CHECK-LABEL: @not_logicalOr_not_op0(
+; CHECK-NEXT: [[NOTX:%.*]] = xor <2 x i1> [[X:%.*]], <i1 true, i1 true>
+; CHECK-NEXT: [[OR:%.*]] = select <2 x i1> [[NOTX]], <2 x i1> <i1 true, i1 true>, <2 x i1> [[Y:%.*]]
+; CHECK-NEXT: [[NOTOR:%.*]] = xor <2 x i1> [[OR]], <i1 true, i1 true>
+; CHECK-NEXT: ret <2 x i1> [[NOTOR]]
+;
+ %notx = xor <2 x i1> %x, <i1 true, i1 true>
+ %or = select <2 x i1> %notx, <2 x i1> <i1 true, i1 true>, <2 x i1> %y
+ %notor = xor <2 x i1> %or, <i1 true, i1 true>
+ ret <2 x i1> %notor
+}
+
+define i1 @not_logicalOr_not_op1(i1 %x, i1 %y) {
+; CHECK-LABEL: @not_logicalOr_not_op1(
+; CHECK-NEXT: [[NOT_X:%.*]] = xor i1 [[X:%.*]], true
+; CHECK-NEXT: [[NOTOR:%.*]] = select i1 [[NOT_X]], i1 [[Y:%.*]], i1 false
+; CHECK-NEXT: ret i1 [[NOTOR]]
+;
+ %noty = xor i1 %y, true
+ %or = select i1 %x, i1 true, i1 %noty
+ %notor = xor i1 %or, true
+ ret i1 %notor
+}
+
+define i1 @not_logicalOr_not_op0_use1(i1 %x, i1 %y) {
+; CHECK-LABEL: @not_logicalOr_not_op0_use1(
+; CHECK-NEXT: [[NOTX:%.*]] = xor i1 [[X:%.*]], true
+; CHECK-NEXT: call void @use1(i1 [[NOTX]])
+; CHECK-NEXT: [[OR:%.*]] = select i1 [[NOTX]], i1 true, i1 [[Y:%.*]]
+; CHECK-NEXT: [[NOTOR:%.*]] = xor i1 [[OR]], true
+; CHECK-NEXT: ret i1 [[NOTOR]]
+;
+ %notx = xor i1 %x, true
+ call void @use1(i1 %notx)
+ %or = select i1 %notx, i1 true, i1 %y
+ %notor = xor i1 %or, true
+ ret i1 %notor
+}
+
+define i1 @not_logicalOr_not_op0_use2(i1 %x, i1 %y) {
+; CHECK-LABEL: @not_logicalOr_not_op0_use2(
+; CHECK-NEXT: [[NOTX:%.*]] = xor i1 [[X:%.*]], true
+; CHECK-NEXT: [[OR:%.*]] = select i1 [[NOTX]], i1 true, i1 [[Y:%.*]]
+; CHECK-NEXT: call void @use1(i1 [[OR]])
+; CHECK-NEXT: [[NOTOR:%.*]] = xor i1 [[OR]], true
+; CHECK-NEXT: ret i1 [[NOTOR]]
+;
+ %notx = xor i1 %x, true
+ %or = select i1 %notx, i1 true, i1 %y
+ call void @use1(i1 %or)
+ %notor = xor i1 %or, true
+ ret i1 %notor
+}
More information about the llvm-commits
mailing list