[PATCH] D147596: Add baseline tests for icmp(X * Y + Positive)

[Jun Zhang via Phabricator via llvm-commits]

junaire updated this revision to Diff 511308.
junaire added a comment.

- remove nsw flag
- rename the tests


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D147596/new/

https://reviews.llvm.org/D147596

Files:
  llvm/test/Transforms/InstCombine/icmp.ll


Index: llvm/test/Transforms/InstCombine/icmp.ll
===================================================================
--- llvm/test/Transforms/InstCombine/icmp.ll
+++ llvm/test/Transforms/InstCombine/icmp.ll
@@ -4627,3 +4627,80 @@
   %r = icmp ne i8 %a, 0
   ret i1 %r
 }
+
+define i1 @mul_or_constant_sgt(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_or_constant_sgt(
+; CHECK-NEXT:    [[MUL1:%.*]] = mul i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT:    [[ADD:%.*]] = or i8 [[MUL1]], 24
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[ADD]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul1 = mul i8 %a, %b
+  %add = or i8 %mul1, 24
+  %cmp = icmp sgt i8 %add, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_or_constant_vec_sgt(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_or_constant_vec_sgt(
+; CHECK-NEXT:    [[MUL1:%.*]] = mul <2 x i8> [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT:    [[ADD:%.*]] = or <2 x i8> [[MUL1]], <i8 24, i8 24>
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt <2 x i8> [[ADD]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+
+  %mul1 = mul <2 x i8> %a, %b
+  %add = or <2 x i8> %mul1, <i8 24, i8 24>
+  %cmp = icmp sgt <2 x i8> %add, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_or_constant_sge(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_or_constant_sge(
+; CHECK-NEXT:    [[MUL1:%.*]] = mul i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[MUL1]], -1
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul1 = mul i8 %a, %b
+  %add = or i8 %mul1, 24
+  %cmp = icmp sge i8 %add, 0
+  ret i1 %cmp
+}
+define i1 @mul_or_constant_sle(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_or_constant_sle(
+; CHECK-NEXT:    [[MUL1:%.*]] = mul i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT:    [[ADD:%.*]] = or i8 [[MUL1]], 24
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[ADD]], 1
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul1 = mul i8 %a, %b
+  %add = or i8 %mul1, 24
+  %cmp = icmp sle i8 %add, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_or_constant_vec_sle(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_or_constant_vec_sle(
+; CHECK-NEXT:    [[MUL1:%.*]] = mul <2 x i8> [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT:    [[ADD:%.*]] = or <2 x i8> [[MUL1]], <i8 24, i8 24>
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt <2 x i8> [[ADD]], <i8 1, i8 1>
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+
+  %mul1 = mul <2 x i8> %a, %b
+  %add = or <2 x i8> %mul1, <i8 24, i8 24>
+  %cmp = icmp sle <2 x i8> %add, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_or_constant_slt(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_or_constant_slt(
+; CHECK-NEXT:    [[MUL1:%.*]] = mul i8 [[A:%.*]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[MUL1]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul1 = mul i8 %a, %b
+  %add = or i8 %mul1, 24
+  %cmp = icmp slt i8 %add, 0
+  ret i1 %cmp
+}


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D147596.511308.patch
Type: text/x-patch
Size: 2756 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230406/1b787b2c/attachment.bin>