[testsuite,arm] cmp-2.c: Move double-precision tests to cmp-3.c

Parts of the cmp-2.c test rely on double-precision support, making the
test fail on targets where the FPU supports single-precision only.

Split the test into single-precision (cmp-2.c) and double-precision
tests (cmp-3.c).

2020-03-24  Christophe Lyon  <christophe.lyon@linaro.org>

	gcc/testsuite/
	* gcc.target/arm/cmp-2.c: Move double-precision tests to...
	* gcc.target/arm/cmp-3.c: ...here (new file)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index adce8ede3b3262a9789dee063c2c9b53fac3d727..149ee02348312335a551b9ecf524d1427f40815b 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2020-03-24  Christophe Lyon  <christophe.lyon@linaro.org>
+
+       * gcc.target/arm/cmp-2.c: Move double-precision tests to...
+       * gcc.target/arm/cmp-3.c: ...here (new file)
+
 2020-03-24  Christophe Lyon  <christophe.lyon@linaro.org>
 
        * lib/target-supports.exp

diff --git a/gcc/testsuite/gcc.target/arm/cmp-2.c b/gcc/testsuite/gcc.target/arm/cmp-2.c
index 70e45091c0c5530760bb0d1e4b91f58249afca57..c61487d70f463c58a7580a7150c1badd85e97e12 100644 (file)
--- a/gcc/testsuite/gcc.target/arm/cmp-2.c
+++ b/gcc/testsuite/gcc.target/arm/cmp-2.c
@@ -30,9 +30,7 @@ int x, y;
   TEST_EXPR (NAME##_cr, (TYPE a1), OPERATOR (100, a1))
 
 #define TEST_OP(NAME, OPERATOR) \
-  TEST (f_##NAME, float, OPERATOR)             \
-  TEST (d_##NAME, double, OPERATOR)            \
-  TEST (ld_##NAME, long double, OPERATOR)
+  TEST (f_##NAME, float, OPERATOR)
 
 TEST_OP (eq, EQ)
 TEST_OP (ne, NE)

diff --git a/gcc/testsuite/gcc.target/arm/cmp-3.c b/gcc/testsuite/gcc.target/arm/cmp-3.c
new file mode 100644 (file)
index 0000000..70a1168
--- /dev/null
+++ b/gcc/testsuite/gcc.target/arm/cmp-3.c
@@ -0,0 +1,49 @@
+/* { dg-do compile } */
+/* { dg-require-effective-target arm_fp_dp_ok } */
+/* { dg-skip-if "need fp instructions" { *-*-* } { "-mfloat-abi=soft" } { "" } } */
+/* { dg-options "-O" } */
+/* { dg-add-options arm_fp_dp } */
+/* { dg-final { scan-assembler-not "\tbl\t" } } */
+/* { dg-final { scan-assembler-not "__aeabi" } } */
+int x, y;
+
+#define EQ(X, Y) ((X) == (Y))
+#define NE(X, Y) ((X) != (Y))
+#define LT(X, Y) ((X) < (Y))
+#define GT(X, Y) ((X) > (Y))
+#define LE(X, Y) ((X) <= (Y))
+#define GE(X, Y) ((X) >= (Y))
+
+#define TEST_EXPR(NAME, ARGS, EXPR)                    \
+  int NAME##1 ARGS { return (EXPR); }                  \
+  int NAME##2 ARGS { return !(EXPR); }                 \
+  int NAME##3 ARGS { return (EXPR) ? x : y; }          \
+  void NAME##4 ARGS { if (EXPR) x++; }                 \
+  void NAME##5 ARGS { if (!(EXPR)) x++; }
+
+#define TEST(NAME, TYPE, OPERATOR) \
+  TEST_EXPR (NAME##_rr, (TYPE a1, TYPE a2), OPERATOR (a1, a2))         \
+  TEST_EXPR (NAME##_rm, (TYPE a1, TYPE *a2), OPERATOR (a1, *a2))       \
+  TEST_EXPR (NAME##_mr, (TYPE *a1, TYPE a2), OPERATOR (*a1, a2))       \
+  TEST_EXPR (NAME##_mm, (TYPE *a1, TYPE *a2), OPERATOR (*a1, *a2))     \
+  TEST_EXPR (NAME##_rc, (TYPE a1), OPERATOR (a1, 100))                 \
+  TEST_EXPR (NAME##_cr, (TYPE a1), OPERATOR (100, a1))
+
+#define TEST_OP(NAME, OPERATOR) \
+  TEST (d_##NAME, double, OPERATOR)            \
+  TEST (ld_##NAME, long double, OPERATOR)
+
+TEST_OP (eq, EQ)
+TEST_OP (ne, NE)
+TEST_OP (lt, LT)
+TEST_OP (gt, GT)
+TEST_OP (le, LE)
+TEST_OP (ge, GE)
+TEST_OP (blt, __builtin_isless)
+TEST_OP (bgt, __builtin_isgreater)
+TEST_OP (ble, __builtin_islessequal)
+TEST_OP (bge, __builtin_isgreaterequal)
+/* This one should be expanded into separate ordered and equality
+   comparisons.  */
+TEST_OP (blg, __builtin_islessgreater)
+TEST_OP (bun, __builtin_isunordered)