InstCombine: Split aggregate tests for SimplifyDemandedFPClass to new fie (#176702)
This is a workaround; currently alive2 silently errors when trying to
verify transforms on some of these cases.
diff --git a/llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-aggregates.ll b/llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-aggregates.ll
new file mode 100644
index 0000000..0556e7e
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/simplify-demanded-fpclass-aggregates.ll
@@ -0,0 +1,137 @@
+; RUN: opt -S -passes=instcombine < %s | FileCheck %s
+
+; This was separated from simplify-demanded-fpclass.ll to work around
+; alive2 bug.
+
+; Basic aggregate tests to ensure this does not crash.
+define nofpclass(nan) { float } @ret_nofpclass_struct_ty() {
+; CHECK-LABEL: define nofpclass(nan) { float } @ret_nofpclass_struct_ty() {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: ret { float } zeroinitializer
+;
+entry:
+ ret { float } zeroinitializer
+}
+
+define nofpclass(nan) { float, float } @ret_nofpclass_multiple_elems_struct_ty() {
+; CHECK-LABEL: define nofpclass(nan) { float, float } @ret_nofpclass_multiple_elems_struct_ty() {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: ret { float, float } zeroinitializer
+;
+entry:
+ ret { float, float } zeroinitializer
+}
+
+define nofpclass(nan) { <4 x float>, <4 x float> } @ret_nofpclass_vector_elems_struct_ty() {
+; CHECK-LABEL: define nofpclass(nan) { <4 x float>, <4 x float> } @ret_nofpclass_vector_elems_struct_ty() {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: ret { <4 x float>, <4 x float> } zeroinitializer
+;
+entry:
+ ret { <4 x float>, <4 x float> } zeroinitializer
+}
+
+define nofpclass(nan) [ 5 x float ] @ret_nofpclass_array_ty() {
+; CHECK-LABEL: define nofpclass(nan) [5 x float] @ret_nofpclass_array_ty() {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: ret [5 x float] zeroinitializer
+;
+entry:
+ ret [ 5 x float ] zeroinitializer
+}
+
+define nofpclass(nan) [ 2 x [ 5 x float ]] @ret_nofpclass_nested_array_ty() {
+; CHECK-LABEL: define nofpclass(nan) [2 x [5 x float]] @ret_nofpclass_nested_array_ty() {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: ret [2 x [5 x float]] zeroinitializer
+;
+entry:
+ ret [ 2 x [ 5 x float ]] zeroinitializer
+}
+
+define nofpclass(pinf) { float } @ret_nofpclass_struct_ty_pinf__ninf() {
+; CHECK-LABEL: define nofpclass(pinf) { float } @ret_nofpclass_struct_ty_pinf__ninf() {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: ret { float } { float 0xFFF0000000000000 }
+;
+entry:
+ ret { float } { float 0xFFF0000000000000 }
+}
+
+define nofpclass(pinf) { float, float } @ret_nofpclass_multiple_elems_struct_ty_pinf__ninf() {
+; CHECK-LABEL: define nofpclass(pinf) { float, float } @ret_nofpclass_multiple_elems_struct_ty_pinf__ninf() {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: ret { float, float } { float 0xFFF0000000000000, float 0xFFF0000000000000 }
+;
+entry:
+ ret { float, float } { float 0xFFF0000000000000, float 0xFFF0000000000000 }
+}
+
+define nofpclass(pinf) { <2 x float> } @ret_nofpclass_vector_elems_struct_ty_pinf__ninf() {
+; CHECK-LABEL: define nofpclass(pinf) { <2 x float> } @ret_nofpclass_vector_elems_struct_ty_pinf__ninf() {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: ret { <2 x float> } { <2 x float> splat (float 0xFFF0000000000000) }
+;
+entry:
+ ret { <2 x float>} { <2 x float> <float 0xFFF0000000000000, float 0xFFF0000000000000> }
+}
+
+; UTC_ARGS: --disable
+; FileCheck does not like the nested square brackets.
+define nofpclass(pinf) [ 1 x [ 1 x float ]] @ret_nofpclass_nested_array_ty_pinf__ninf() {
+; CHECK-LABEL: @ret_nofpclass_nested_array_ty_pinf__ninf() {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: ret {{.*}}float 0xFFF0000000000000
+;
+entry:
+ ret [ 1 x [ 1 x float ]] [[ 1 x float ] [float 0xFFF0000000000000]]
+}
+; UTC_ARGS: --enable
+
+define nofpclass(pzero) { float, float } @ret_nofpclass_multiple_elems_struct_ty_pzero__nzero() {
+; CHECK-LABEL: define nofpclass(pzero) { float, float } @ret_nofpclass_multiple_elems_struct_ty_pzero__nzero() {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: ret { float, float } { float -0.000000e+00, float -0.000000e+00 }
+;
+entry:
+ ret { float, float } { float -0.0, float -0.0 }
+}
+
+define nofpclass(ninf) { float, float } @ret_nofpclass_multiple_elems_struct_ty_ninf__npinf() {
+; CHECK-LABEL: define nofpclass(ninf) { float, float } @ret_nofpclass_multiple_elems_struct_ty_ninf__npinf() {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: ret { float, float } { float 0x7FF0000000000000, float 0x7FF0000000000000 }
+;
+entry:
+ ret { float, float } { float 0x7FF0000000000000, float 0x7FF0000000000000 }
+}
+
+; FIXME (should be poison): Support computeKnownFPClass() for non-zero aggregates.
+define nofpclass(inf) { float, float } @ret_nofpclass_multiple_elems_struct_ty_inf__npinf() {
+; CHECK-LABEL: define nofpclass(inf) { float, float } @ret_nofpclass_multiple_elems_struct_ty_inf__npinf() {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: ret { float, float } { float 0x7FF0000000000000, float 0x7FF0000000000000 }
+;
+entry:
+ ret { float, float } { float 0x7FF0000000000000, float 0x7FF0000000000000 }
+}
+
+; FIXME (should be poison): Support computeKnownFPClass() for non-zero aggregates.
+define nofpclass(nzero) [ 1 x float ] @ret_nofpclass_multiple_elems_struct_ty_nzero_nzero() {
+; CHECK-LABEL: define nofpclass(nzero) [1 x float] @ret_nofpclass_multiple_elems_struct_ty_nzero_nzero() {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: ret [1 x float] [float -0.000000e+00]
+;
+entry:
+ ret [ 1 x float ] [ float -0.0 ]
+}
+
+; Fold to ret %y
+define nofpclass(inf) [3 x [2 x float]] @ret_float_array(i1 %cond, [3 x [2 x float]] nofpclass(nan norm zero sub) %x, [3 x [2 x float]] %y) {
+; CHECK-LABEL: define nofpclass(inf) [3 x [2 x float]] @ret_float_array
+; CHECK-SAME: (i1 [[COND:%.*]], [3 x [2 x float]] nofpclass(nan zero sub norm) [[X:%.*]], [3 x [2 x float]] [[Y:%.*]]) {
+; CHECK-NEXT: ret [3 x [2 x float]] [[Y]]
+;
+ %select = select i1 %cond, [3 x [2 x float]] %x, [3 x [2 x float]] %y
+ ret [3 x [2 x float ]] %select
+}
diff --git a/llvm/test/Transforms/InstCombine/simplify-demanded-fpclass.ll b/llvm/test/Transforms/InstCombine/simplify-demanded-fpclass.ll
index f505fb5..97d9620 100644
--- a/llvm/test/Transforms/InstCombine/simplify-demanded-fpclass.ll
+++ b/llvm/test/Transforms/InstCombine/simplify-demanded-fpclass.ll
@@ -93,128 +93,6 @@
ret float 0xFFF0000000000000
}
-; Basic aggregate tests to ensure this does not crash.
-define nofpclass(nan) { float } @ret_nofpclass_struct_ty() {
-; CHECK-LABEL: define nofpclass(nan) { float } @ret_nofpclass_struct_ty() {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: ret { float } zeroinitializer
-;
-entry:
- ret { float } zeroinitializer
-}
-
-define nofpclass(nan) { float, float } @ret_nofpclass_multiple_elems_struct_ty() {
-; CHECK-LABEL: define nofpclass(nan) { float, float } @ret_nofpclass_multiple_elems_struct_ty() {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: ret { float, float } zeroinitializer
-;
-entry:
- ret { float, float } zeroinitializer
-}
-
-define nofpclass(nan) { <4 x float>, <4 x float> } @ret_nofpclass_vector_elems_struct_ty() {
-; CHECK-LABEL: define nofpclass(nan) { <4 x float>, <4 x float> } @ret_nofpclass_vector_elems_struct_ty() {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: ret { <4 x float>, <4 x float> } zeroinitializer
-;
-entry:
- ret { <4 x float>, <4 x float> } zeroinitializer
-}
-
-define nofpclass(nan) [ 5 x float ] @ret_nofpclass_array_ty() {
-; CHECK-LABEL: define nofpclass(nan) [5 x float] @ret_nofpclass_array_ty() {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: ret [5 x float] zeroinitializer
-;
-entry:
- ret [ 5 x float ] zeroinitializer
-}
-
-define nofpclass(nan) [ 2 x [ 5 x float ]] @ret_nofpclass_nested_array_ty() {
-; CHECK-LABEL: define nofpclass(nan) [2 x [5 x float]] @ret_nofpclass_nested_array_ty() {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: ret [2 x [5 x float]] zeroinitializer
-;
-entry:
- ret [ 2 x [ 5 x float ]] zeroinitializer
-}
-
-define nofpclass(pinf) { float } @ret_nofpclass_struct_ty_pinf__ninf() {
-; CHECK-LABEL: define nofpclass(pinf) { float } @ret_nofpclass_struct_ty_pinf__ninf() {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: ret { float } { float 0xFFF0000000000000 }
-;
-entry:
- ret { float } { float 0xFFF0000000000000 }
-}
-
-define nofpclass(pinf) { float, float } @ret_nofpclass_multiple_elems_struct_ty_pinf__ninf() {
-; CHECK-LABEL: define nofpclass(pinf) { float, float } @ret_nofpclass_multiple_elems_struct_ty_pinf__ninf() {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: ret { float, float } { float 0xFFF0000000000000, float 0xFFF0000000000000 }
-;
-entry:
- ret { float, float } { float 0xFFF0000000000000, float 0xFFF0000000000000 }
-}
-
-define nofpclass(pinf) { <2 x float> } @ret_nofpclass_vector_elems_struct_ty_pinf__ninf() {
-; CHECK-LABEL: define nofpclass(pinf) { <2 x float> } @ret_nofpclass_vector_elems_struct_ty_pinf__ninf() {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: ret { <2 x float> } { <2 x float> splat (float 0xFFF0000000000000) }
-;
-entry:
- ret { <2 x float>} { <2 x float> <float 0xFFF0000000000000, float 0xFFF0000000000000> }
-}
-
-; UTC_ARGS: --disable
-; FileCheck does not like the nested square brackets.
-define nofpclass(pinf) [ 1 x [ 1 x float ]] @ret_nofpclass_nested_array_ty_pinf__ninf() {
-; CHECK-LABEL: @ret_nofpclass_nested_array_ty_pinf__ninf() {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: ret {{.*}}float 0xFFF0000000000000
-;
-entry:
- ret [ 1 x [ 1 x float ]] [[ 1 x float ] [float 0xFFF0000000000000]]
-}
-; UTC_ARGS: --enable
-
-define nofpclass(pzero) { float, float } @ret_nofpclass_multiple_elems_struct_ty_pzero__nzero() {
-; CHECK-LABEL: define nofpclass(pzero) { float, float } @ret_nofpclass_multiple_elems_struct_ty_pzero__nzero() {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: ret { float, float } { float -0.000000e+00, float -0.000000e+00 }
-;
-entry:
- ret { float, float } { float -0.0, float -0.0 }
-}
-
-define nofpclass(ninf) { float, float } @ret_nofpclass_multiple_elems_struct_ty_ninf__npinf() {
-; CHECK-LABEL: define nofpclass(ninf) { float, float } @ret_nofpclass_multiple_elems_struct_ty_ninf__npinf() {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: ret { float, float } { float 0x7FF0000000000000, float 0x7FF0000000000000 }
-;
-entry:
- ret { float, float } { float 0x7FF0000000000000, float 0x7FF0000000000000 }
-}
-
-; FIXME (should be poison): Support computeKnownFPClass() for non-zero aggregates.
-define nofpclass(inf) { float, float } @ret_nofpclass_multiple_elems_struct_ty_inf__npinf() {
-; CHECK-LABEL: define nofpclass(inf) { float, float } @ret_nofpclass_multiple_elems_struct_ty_inf__npinf() {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: ret { float, float } { float 0x7FF0000000000000, float 0x7FF0000000000000 }
-;
-entry:
- ret { float, float } { float 0x7FF0000000000000, float 0x7FF0000000000000 }
-}
-
-; FIXME (should be poison): Support computeKnownFPClass() for non-zero aggregates.
-define nofpclass(nzero) [ 1 x float ] @ret_nofpclass_multiple_elems_struct_ty_nzero_nzero() {
-; CHECK-LABEL: define nofpclass(nzero) [1 x float] @ret_nofpclass_multiple_elems_struct_ty_nzero_nzero() {
-; CHECK-NEXT: entry:
-; CHECK-NEXT: ret [1 x float] [float -0.000000e+00]
-;
-entry:
- ret [ 1 x float ] [ float -0.0 ]
-}
; Negative test, do nothing
define nofpclass(inf) float @ret_nofpclass_inf__select_nofpclass_inf_lhs(i1 %cond, float nofpclass(inf) %x, float %y) {
@@ -247,16 +125,6 @@
ret float %select
}
-; Fold to ret %y
-define nofpclass(inf) [3 x [2 x float]] @ret_float_array(i1 %cond, [3 x [2 x float]] nofpclass(nan norm zero sub) %x, [3 x [2 x float]] %y) {
-; CHECK-LABEL: define nofpclass(inf) [3 x [2 x float]] @ret_float_array
-; CHECK-SAME: (i1 [[COND:%.*]], [3 x [2 x float]] nofpclass(nan zero sub norm) [[X:%.*]], [3 x [2 x float]] [[Y:%.*]]) {
-; CHECK-NEXT: ret [3 x [2 x float]] [[Y]]
-;
- %select = select i1 %cond, [3 x [2 x float]] %x, [3 x [2 x float]] %y
- ret [3 x [2 x float ]] %select
-}
-
; Fold to ret %x
define nofpclass(inf) float @ret_nofpclass_inf__select_pinf_lhs(i1 %cond, float %x) {
; CHECK-LABEL: define nofpclass(inf) float @ret_nofpclass_inf__select_pinf_lhs
