[SimplifyCFG] Add test coverage for llvm#80122

Author: RKSimon

llvm/test/Transforms/SimplifyCFG/X86/PR80122.ll

@@ -0,0 +1,195 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
+; RUN: opt < %s -S -passes=simplifycfg -mtriple=x86_64-- -mcpu=x86-64    | FileCheck %s --check-prefixes=SSE,SSE2
+; RUN: opt < %s -S -passes=simplifycfg -mtriple=x86_64-- -mcpu=x86-64-v2 | FileCheck %s --check-prefixes=SSE,SSE4
+; RUN: opt < %s -S -passes=simplifycfg -mtriple=x86_64-- -mcpu=x86-64-v3 | FileCheck %s --check-prefixes=AVX,AVX2
+; RUN: opt < %s -S -passes=simplifycfg -mtriple=x86_64-- -mcpu=x86-64-v4 | FileCheck %s --check-prefixes=AVX,AVX512
+
+define zeroext i1 @cmp128(<2 x i64> %x, <2 x i64> %y) {
+; SSE-LABEL: define zeroext i1 @cmp128(
+; SSE-SAME: <2 x i64> [[X:%.*]], <2 x i64> [[Y:%.*]]) #[[ATTR0:[0-9]+]] {
+; SSE-NEXT:  entry:
+; SSE-NEXT:    [[CMP:%.*]] = icmp ne <2 x i64> [[X]], zeroinitializer
+; SSE-NEXT:    [[TMP0:%.*]] = bitcast <2 x i1> [[CMP]] to i2
+; SSE-NEXT:    [[DOTNOT:%.*]] = icmp eq i2 [[TMP0]], 0
+; SSE-NEXT:    br i1 [[DOTNOT]], label [[LAND_RHS:%.*]], label [[LAND_END:%.*]]
+; SSE:       land.rhs:
+; SSE-NEXT:    [[CMP2:%.*]] = icmp ne <2 x i64> [[Y]], zeroinitializer
+; SSE-NEXT:    [[TMP1:%.*]] = bitcast <2 x i1> [[CMP2]] to i2
+; SSE-NEXT:    [[DOTNOT9:%.*]] = icmp eq i2 [[TMP1]], 0
+; SSE-NEXT:    br label [[LAND_END]]
+; SSE:       land.end:
+; SSE-NEXT:    [[TMP2:%.*]] = phi i1 [ false, [[ENTRY:%.*]] ], [ [[DOTNOT9]], [[LAND_RHS]] ]
+; SSE-NEXT:    ret i1 [[TMP2]]
+;
+; AVX2-LABEL: define zeroext i1 @cmp128(
+; AVX2-SAME: <2 x i64> [[X:%.*]], <2 x i64> [[Y:%.*]]) #[[ATTR0:[0-9]+]] {
+; AVX2-NEXT:  entry:
+; AVX2-NEXT:    [[CMP:%.*]] = icmp ne <2 x i64> [[X]], zeroinitializer
+; AVX2-NEXT:    [[TMP0:%.*]] = bitcast <2 x i1> [[CMP]] to i2
+; AVX2-NEXT:    [[DOTNOT:%.*]] = icmp eq i2 [[TMP0]], 0
+; AVX2-NEXT:    br i1 [[DOTNOT]], label [[LAND_RHS:%.*]], label [[LAND_END:%.*]]
+; AVX2:       land.rhs:
+; AVX2-NEXT:    [[CMP2:%.*]] = icmp ne <2 x i64> [[Y]], zeroinitializer
+; AVX2-NEXT:    [[TMP1:%.*]] = bitcast <2 x i1> [[CMP2]] to i2
+; AVX2-NEXT:    [[DOTNOT9:%.*]] = icmp eq i2 [[TMP1]], 0
+; AVX2-NEXT:    br label [[LAND_END]]
+; AVX2:       land.end:
+; AVX2-NEXT:    [[TMP2:%.*]] = phi i1 [ false, [[ENTRY:%.*]] ], [ [[DOTNOT9]], [[LAND_RHS]] ]
+; AVX2-NEXT:    ret i1 [[TMP2]]
+;
+; AVX512-LABEL: define zeroext i1 @cmp128(
+; AVX512-SAME: <2 x i64> [[X:%.*]], <2 x i64> [[Y:%.*]]) #[[ATTR0:[0-9]+]] {
+; AVX512-NEXT:  entry:
+; AVX512-NEXT:    [[CMP:%.*]] = icmp ne <2 x i64> [[X]], zeroinitializer
+; AVX512-NEXT:    [[TMP0:%.*]] = bitcast <2 x i1> [[CMP]] to i2
+; AVX512-NEXT:    [[DOTNOT:%.*]] = icmp eq i2 [[TMP0]], 0
+; AVX512-NEXT:    [[CMP2:%.*]] = icmp ne <2 x i64> [[Y]], zeroinitializer
+; AVX512-NEXT:    [[TMP1:%.*]] = bitcast <2 x i1> [[CMP2]] to i2
+; AVX512-NEXT:    [[DOTNOT9:%.*]] = icmp eq i2 [[TMP1]], 0
+; AVX512-NEXT:    [[TMP2:%.*]] = select i1 [[DOTNOT]], i1 [[DOTNOT9]], i1 false
+; AVX512-NEXT:    ret i1 [[TMP2]]
+;
+entry:
+  %cmp = icmp ne <2 x i64> %x, zeroinitializer
+  %0 = bitcast <2 x i1> %cmp to i2
+  %.not = icmp eq i2 %0, 0
+  br i1 %.not, label %land.rhs, label %land.end
+
+land.rhs:
+  %cmp2 = icmp ne <2 x i64> %y, zeroinitializer
+  %1 = bitcast <2 x i1> %cmp2 to i2
+  %.not9 = icmp eq i2 %1, 0
+  br label %land.end
+
+land.end:
+  %2 = phi i1 [ false, %entry ], [ %.not9, %land.rhs ]
+  ret i1 %2
+}
+
+define zeroext i1 @cmp256(<4 x i64> %x, <4 x i64> %y) {
+; SSE-LABEL: define zeroext i1 @cmp256(
+; SSE-SAME: <4 x i64> [[X:%.*]], <4 x i64> [[Y:%.*]]) #[[ATTR0]] {
+; SSE-NEXT:  entry:
+; SSE-NEXT:    [[CMP:%.*]] = icmp ne <4 x i64> [[X]], zeroinitializer
+; SSE-NEXT:    [[TMP0:%.*]] = bitcast <4 x i1> [[CMP]] to i4
+; SSE-NEXT:    [[DOTNOT:%.*]] = icmp eq i4 [[TMP0]], 0
+; SSE-NEXT:    br i1 [[DOTNOT]], label [[LAND_RHS:%.*]], label [[LAND_END:%.*]]
+; SSE:       land.rhs:
+; SSE-NEXT:    [[CMP2:%.*]] = icmp ne <4 x i64> [[Y]], zeroinitializer
+; SSE-NEXT:    [[TMP1:%.*]] = bitcast <4 x i1> [[CMP2]] to i4
+; SSE-NEXT:    [[DOTNOT9:%.*]] = icmp eq i4 [[TMP1]], 0
+; SSE-NEXT:    br label [[LAND_END]]
+; SSE:       land.end:
+; SSE-NEXT:    [[TMP2:%.*]] = phi i1 [ false, [[ENTRY:%.*]] ], [ [[DOTNOT9]], [[LAND_RHS]] ]
+; SSE-NEXT:    ret i1 [[TMP2]]
+;
+; AVX2-LABEL: define zeroext i1 @cmp256(
+; AVX2-SAME: <4 x i64> [[X:%.*]], <4 x i64> [[Y:%.*]]) #[[ATTR0]] {
+; AVX2-NEXT:  entry:
+; AVX2-NEXT:    [[CMP:%.*]] = icmp ne <4 x i64> [[X]], zeroinitializer
+; AVX2-NEXT:    [[TMP0:%.*]] = bitcast <4 x i1> [[CMP]] to i4
+; AVX2-NEXT:    [[DOTNOT:%.*]] = icmp eq i4 [[TMP0]], 0
+; AVX2-NEXT:    br i1 [[DOTNOT]], label [[LAND_RHS:%.*]], label [[LAND_END:%.*]]
+; AVX2:       land.rhs:
+; AVX2-NEXT:    [[CMP2:%.*]] = icmp ne <4 x i64> [[Y]], zeroinitializer
+; AVX2-NEXT:    [[TMP1:%.*]] = bitcast <4 x i1> [[CMP2]] to i4
+; AVX2-NEXT:    [[DOTNOT9:%.*]] = icmp eq i4 [[TMP1]], 0
+; AVX2-NEXT:    br label [[LAND_END]]
+; AVX2:       land.end:
+; AVX2-NEXT:    [[TMP2:%.*]] = phi i1 [ false, [[ENTRY:%.*]] ], [ [[DOTNOT9]], [[LAND_RHS]] ]
+; AVX2-NEXT:    ret i1 [[TMP2]]
+;
+; AVX512-LABEL: define zeroext i1 @cmp256(
+; AVX512-SAME: <4 x i64> [[X:%.*]], <4 x i64> [[Y:%.*]]) #[[ATTR0]] {
+; AVX512-NEXT:  entry:
+; AVX512-NEXT:    [[CMP:%.*]] = icmp ne <4 x i64> [[X]], zeroinitializer
+; AVX512-NEXT:    [[TMP0:%.*]] = bitcast <4 x i1> [[CMP]] to i4
+; AVX512-NEXT:    [[DOTNOT:%.*]] = icmp eq i4 [[TMP0]], 0
+; AVX512-NEXT:    [[CMP2:%.*]] = icmp ne <4 x i64> [[Y]], zeroinitializer
+; AVX512-NEXT:    [[TMP1:%.*]] = bitcast <4 x i1> [[CMP2]] to i4
+; AVX512-NEXT:    [[DOTNOT9:%.*]] = icmp eq i4 [[TMP1]], 0
+; AVX512-NEXT:    [[TMP2:%.*]] = select i1 [[DOTNOT]], i1 [[DOTNOT9]], i1 false
+; AVX512-NEXT:    ret i1 [[TMP2]]
+;
+entry:
+  %cmp = icmp ne <4 x i64> %x, zeroinitializer
+  %0 = bitcast <4 x i1> %cmp to i4
+  %.not = icmp eq i4 %0, 0
+  br i1 %.not, label %land.rhs, label %land.end
+
+land.rhs:
+  %cmp2 = icmp ne <4 x i64> %y, zeroinitializer
+  %1 = bitcast <4 x i1> %cmp2 to i4
+  %.not9 = icmp eq i4 %1, 0
+  br label %land.end
+
+land.end:
+  %2 = phi i1 [ false, %entry ], [ %.not9, %land.rhs ]
+  ret i1 %2
+}
+
+define zeroext i1 @cmp512(<8 x i64> %x, <8 x i64> %y) {
+; SSE-LABEL: define zeroext i1 @cmp512(
+; SSE-SAME: <8 x i64> [[X:%.*]], <8 x i64> [[Y:%.*]]) #[[ATTR0]] {
+; SSE-NEXT:  entry:
+; SSE-NEXT:    [[CMP:%.*]] = icmp ne <8 x i64> [[X]], zeroinitializer
+; SSE-NEXT:    [[TMP0:%.*]] = bitcast <8 x i1> [[CMP]] to i8
+; SSE-NEXT:    [[DOTNOT:%.*]] = icmp eq i8 [[TMP0]], 0
+; SSE-NEXT:    br i1 [[DOTNOT]], label [[LAND_RHS:%.*]], label [[LAND_END:%.*]]
+; SSE:       land.rhs:
+; SSE-NEXT:    [[CMP2:%.*]] = icmp ne <8 x i64> [[Y]], zeroinitializer
+; SSE-NEXT:    [[TMP1:%.*]] = bitcast <8 x i1> [[CMP2]] to i8
+; SSE-NEXT:    [[DOTNOT9:%.*]] = icmp eq i8 [[TMP1]], 0
+; SSE-NEXT:    br label [[LAND_END]]
+; SSE:       land.end:
+; SSE-NEXT:    [[TMP2:%.*]] = phi i1 [ false, [[ENTRY:%.*]] ], [ [[DOTNOT9]], [[LAND_RHS]] ]
+; SSE-NEXT:    ret i1 [[TMP2]]
+;
+; AVX2-LABEL: define zeroext i1 @cmp512(
+; AVX2-SAME: <8 x i64> [[X:%.*]], <8 x i64> [[Y:%.*]]) #[[ATTR0]] {
+; AVX2-NEXT:  entry:
+; AVX2-NEXT:    [[CMP:%.*]] = icmp ne <8 x i64> [[X]], zeroinitializer
+; AVX2-NEXT:    [[TMP0:%.*]] = bitcast <8 x i1> [[CMP]] to i8
+; AVX2-NEXT:    [[DOTNOT:%.*]] = icmp eq i8 [[TMP0]], 0
+; AVX2-NEXT:    br i1 [[DOTNOT]], label [[LAND_RHS:%.*]], label [[LAND_END:%.*]]
+; AVX2:       land.rhs:
+; AVX2-NEXT:    [[CMP2:%.*]] = icmp ne <8 x i64> [[Y]], zeroinitializer
+; AVX2-NEXT:    [[TMP1:%.*]] = bitcast <8 x i1> [[CMP2]] to i8
+; AVX2-NEXT:    [[DOTNOT9:%.*]] = icmp eq i8 [[TMP1]], 0
+; AVX2-NEXT:    br label [[LAND_END]]
+; AVX2:       land.end:
+; AVX2-NEXT:    [[TMP2:%.*]] = phi i1 [ false, [[ENTRY:%.*]] ], [ [[DOTNOT9]], [[LAND_RHS]] ]
+; AVX2-NEXT:    ret i1 [[TMP2]]
+;
+; AVX512-LABEL: define zeroext i1 @cmp512(
+; AVX512-SAME: <8 x i64> [[X:%.*]], <8 x i64> [[Y:%.*]]) #[[ATTR0]] {
+; AVX512-NEXT:  entry:
+; AVX512-NEXT:    [[CMP:%.*]] = icmp ne <8 x i64> [[X]], zeroinitializer
+; AVX512-NEXT:    [[TMP0:%.*]] = bitcast <8 x i1> [[CMP]] to i8
+; AVX512-NEXT:    [[DOTNOT:%.*]] = icmp eq i8 [[TMP0]], 0
+; AVX512-NEXT:    [[CMP2:%.*]] = icmp ne <8 x i64> [[Y]], zeroinitializer
+; AVX512-NEXT:    [[TMP1:%.*]] = bitcast <8 x i1> [[CMP2]] to i8
+; AVX512-NEXT:    [[DOTNOT9:%.*]] = icmp eq i8 [[TMP1]], 0
+; AVX512-NEXT:    [[TMP2:%.*]] = select i1 [[DOTNOT]], i1 [[DOTNOT9]], i1 false
+; AVX512-NEXT:    ret i1 [[TMP2]]
+;
+entry:
+  %cmp = icmp ne <8 x i64> %x, zeroinitializer
+  %0 = bitcast <8 x i1> %cmp to i8
+  %.not = icmp eq i8 %0, 0
+  br i1 %.not, label %land.rhs, label %land.end
+
+land.rhs:
+  %cmp2 = icmp ne <8 x i64> %y, zeroinitializer
+  %1 = bitcast <8 x i1> %cmp2 to i8
+  %.not9 = icmp eq i8 %1, 0
+  br label %land.end
+
+land.end:
+  %2 = phi i1 [ false, %entry ], [ %.not9, %land.rhs ]
+  ret i1 %2
+}
+;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
+; AVX: {{.*}}
+; SSE2: {{.*}}
+; SSE4: {{.*}}