aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/config/rs6000/rs6000.c6
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.target/powerpc/p9-minmax-3.c17
4 files changed, 33 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c525661..5b67b79 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2020-03-10 Jiufu Guo <guojiufu@linux.ibm.com>
+
+ PR target/93709
+ * gcc/config/rs6000/rs6000.c (rs6000_emit_p9_fp_minmax): Check
+ NAN and SIGNED_ZEROR for smax/smin.
+
2020-03-10 Will Schmidt <will_schmidt@vnet.ibm.com>
PR target/90763
diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c
index 848a4ef..46b7dec 100644
--- a/gcc/config/rs6000/rs6000.c
+++ b/gcc/config/rs6000/rs6000.c
@@ -14831,7 +14831,11 @@ rs6000_emit_p9_fp_minmax (rtx dest, rtx op, rtx true_cond, rtx false_cond)
if (rtx_equal_p (op0, true_cond) && rtx_equal_p (op1, false_cond))
;
- else if (rtx_equal_p (op1, true_cond) && rtx_equal_p (op0, false_cond))
+ /* Only when NaNs and signed-zeros are not in effect, smax could be
+ used for `op0 < op1 ? op1 : op0`, and smin could be used for
+ `op0 > op1 ? op1 : op0`. */
+ else if (rtx_equal_p (op1, true_cond) && rtx_equal_p (op0, false_cond)
+ && !HONOR_NANS (compare_mode) && !HONOR_SIGNED_ZEROS (compare_mode))
max_p = !max_p;
else
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index da525a3..c76d891 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2020-03-10 Jiufu Guo <guojiufu@linux.ibm.com>
+
+ PR target/93709
+ * gcc.target/powerpc/p9-minmax-3.c: New test.
+
2020-03-10 Will Schmidt <will_schmidt@vnet.ibm.com>
PR target/90763
diff --git a/gcc/testsuite/gcc.target/powerpc/p9-minmax-3.c b/gcc/testsuite/gcc.target/powerpc/p9-minmax-3.c
new file mode 100644
index 0000000..141603e
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/p9-minmax-3.c
@@ -0,0 +1,17 @@
+/* { dg-do compile { target { powerpc*-*-* } } } */
+/* { dg-require-effective-target powerpc_p9vector_ok } */
+/* { dg-options "-mdejagnu-cpu=power9 -O2 -mpower9-minmax" } */
+/* { dg-final { scan-assembler-not "xsmaxcdp" } } */
+/* { dg-final { scan-assembler-not "xsmincdp" } } */
+
+double
+dbl_max1 (double a, double b)
+{
+ return a < b ? b : a;
+}
+
+double
+dbl_min1 (double a, double b)
+{
+ return a > b ? b : a;
+}