[llvm] 893ad30 - [InstCombine] Add test for add of zext and sext (NFC)

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2023-07-14T14:52:13+02:00
New Revision: 893ad30d117b7af2416a022485ecb74793cd00f1

URL: https://github.com/llvm/llvm-project/commit/893ad30d117b7af2416a022485ecb74793cd00f1
DIFF: https://github.com/llvm/llvm-project/commit/893ad30d117b7af2416a022485ecb74793cd00f1.diff

LOG: [InstCombine] Add test for add of zext and sext (NFC)

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/add.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/add.ll b/llvm/test/Transforms/InstCombine/add.ll
index f8b3c84ea713ba..27243d5f4aa489 100644
--- a/llvm/test/Transforms/InstCombine/add.ll
+++ b/llvm/test/Transforms/InstCombine/add.ll
@@ -3019,4 +3019,90 @@ define <2 x i32> @dec_zext_add_nonzero_vec_poison2(<2 x i8> %x) {
   ret <2 x i32> %c
 }
 
+define i32 @add_zext_sext_i1(i1 %a) {
+; CHECK-LABEL: @add_zext_sext_i1(
+; CHECK-NEXT:    [[ZEXT:%.*]] = zext i1 [[A:%.*]] to i32
+; CHECK-NEXT:    [[SEXT:%.*]] = sext i1 [[A]] to i32
+; CHECK-NEXT:    [[ADD:%.*]] = add nsw i32 [[ZEXT]], [[SEXT]]
+; CHECK-NEXT:    ret i32 [[ADD]]
+;
+  %zext = zext i1 %a to i32
+  %sext = sext i1 %a to i32
+  %add = add i32 %zext, %sext
+  ret i32 %add
+}
+
+define i32 @add_sext_zext_i1(i1 %a) {
+; CHECK-LABEL: @add_sext_zext_i1(
+; CHECK-NEXT:    [[ZEXT:%.*]] = zext i1 [[A:%.*]] to i32
+; CHECK-NEXT:    [[SEXT:%.*]] = sext i1 [[A]] to i32
+; CHECK-NEXT:    [[ADD:%.*]] = add nsw i32 [[SEXT]], [[ZEXT]]
+; CHECK-NEXT:    ret i32 [[ADD]]
+;
+  %zext = zext i1 %a to i32
+  %sext = sext i1 %a to i32
+  %add = add i32 %sext, %zext
+  ret i32 %add
+}
+
+define <2 x i32> @add_zext_sext_i1_vec(<2 x i1> %a) {
+; CHECK-LABEL: @add_zext_sext_i1_vec(
+; CHECK-NEXT:    [[ZEXT:%.*]] = zext <2 x i1> [[A:%.*]] to <2 x i32>
+; CHECK-NEXT:    [[SEXT:%.*]] = sext <2 x i1> [[A]] to <2 x i32>
+; CHECK-NEXT:    [[ADD:%.*]] = add nsw <2 x i32> [[ZEXT]], [[SEXT]]
+; CHECK-NEXT:    ret <2 x i32> [[ADD]]
+;
+  %zext = zext <2 x i1> %a to <2 x i32>
+  %sext = sext <2 x i1> %a to <2 x i32>
+  %add = add <2 x i32> %zext, %sext
+  ret <2 x i32> %add
+}
+
+define i32 @add_zext_zext_i1(i1 %a) {
+; CHECK-LABEL: @add_zext_zext_i1(
+; CHECK-NEXT:    [[ADD:%.*]] = select i1 [[A:%.*]], i32 2, i32 0
+; CHECK-NEXT:    ret i32 [[ADD]]
+;
+  %zext = zext i1 %a to i32
+  %add = add i32 %zext, %zext
+  ret i32 %add
+}
+
+define i32 @add_sext_sext_i1(i1 %a) {
+; CHECK-LABEL: @add_sext_sext_i1(
+; CHECK-NEXT:    [[SEXT:%.*]] = sext i1 [[A:%.*]] to i32
+; CHECK-NEXT:    [[ADD:%.*]] = shl nsw i32 [[SEXT]], 1
+; CHECK-NEXT:    ret i32 [[ADD]]
+;
+  %sext = sext i1 %a to i32
+  %add = add i32 %sext, %sext
+  ret i32 %add
+}
+
+define i32 @add_zext_sext_not_i1(i8 %a) {
+; CHECK-LABEL: @add_zext_sext_not_i1(
+; CHECK-NEXT:    [[ZEXT:%.*]] = zext i8 [[A:%.*]] to i32
+; CHECK-NEXT:    [[SEXT:%.*]] = sext i8 [[A]] to i32
+; CHECK-NEXT:    [[ADD:%.*]] = add nsw i32 [[ZEXT]], [[SEXT]]
+; CHECK-NEXT:    ret i32 [[ADD]]
+;
+  %zext = zext i8 %a to i32
+  %sext = sext i8 %a to i32
+  %add = add i32 %zext, %sext
+  ret i32 %add
+}
+
+define i32 @add_zext_sext_i1_
diff erent_values(i1 %a, i1 %b) {
+; CHECK-LABEL: @add_zext_sext_i1_
diff erent_values(
+; CHECK-NEXT:    [[ZEXT:%.*]] = zext i1 [[A:%.*]] to i32
+; CHECK-NEXT:    [[SEXT:%.*]] = sext i1 [[B:%.*]] to i32
+; CHECK-NEXT:    [[ADD:%.*]] = add nsw i32 [[ZEXT]], [[SEXT]]
+; CHECK-NEXT:    ret i32 [[ADD]]
+;
+  %zext = zext i1 %a to i32
+  %sext = sext i1 %b to i32
+  %add = add i32 %zext, %sext
+  ret i32 %add
+}
+
 declare void @llvm.assume(i1)