diff mbox series

Builtin: Fold builtin_isinf on IBM long double to builtin_isinf on double [PR97786]

Message ID b446f094-57f4-40a2-85e4-9056b055ff64@linux.ibm.com
State New
Headers show
Series Builtin: Fold builtin_isinf on IBM long double to builtin_isinf on double [PR97786] | expand

Commit Message

HAO CHEN GUI March 27, 2024, 7:53 a.m. UTC 
Hi,
  This patch folds builtin_isinf on IBM long double to builtin_isinf on
double type. The former patch
https://gcc.gnu.org/pipermail/gcc-patches/2024-March/648304.html
implemented the DFmode isinf_optab.

  Bootstrapped and tested on powerpc64-linux BE and LE with no
regressions. Is it OK for next stage 1?

Thanks
Gui Haochen

ChangeLog
Builtin: Fold builtin_isinf on IBM long double to builtin_isinf on double

For IBM long double, Inf is encoded in the high-order double value only.
So the builtin_isinf on IBM long double can be folded to builtin_isinf on
double type.  As former patch implemented DFmode isinf_optab, this patch
converts builtin_isinf on IBM long double to builtin_isinf on double type
if the DFmode isinf_optab exists.

gcc/
	PR target/97786
	* builtins.cc (fold_builtin_interclass_mathfn): Fold IBM long double
	isinf call to double isinf call when DFmode isinf_optab exists.

gcc/testsuite/
	PR target/97786
	* gcc.target/powerpc/pr97786-3.c: New test.

patch.diff
diff mbox series

Patch

diff --git a/gcc/builtins.cc b/gcc/builtins.cc
index eda8bea9c4b..d2786f207b8 100644
--- a/gcc/builtins.cc
+++ b/gcc/builtins.cc
@@ -9574,6 +9574,12 @@  fold_builtin_interclass_mathfn (location_t loc, tree fndecl, tree arg)
 	    type = double_type_node;
 	    mode = DFmode;
 	    arg = fold_build1_loc (loc, NOP_EXPR, type, arg);
+	    tree const isinf_fn = builtin_decl_explicit (BUILT_IN_ISINF);
+	    if (interclass_mathfn_icode (arg, isinf_fn) != CODE_FOR_nothing)
+	      {
+		result = build_call_expr (isinf_fn, 1, arg);
+		return result;
+	      }
 	  }
 	get_max_float (REAL_MODE_FORMAT (mode), buf, sizeof (buf), false);
 	real_from_string (&r, buf);
diff --git a/gcc/testsuite/gcc.target/powerpc/pr97786-3.c b/gcc/testsuite/gcc.target/powerpc/pr97786-3.c
new file mode 100644
index 00000000000..1c816921e1a
--- /dev/null
+++ b/gcc/testsuite/gcc.target/powerpc/pr97786-3.c
@@ -0,0 +1,17 @@ 
+/* { dg-do compile { target lp64 } } */
+/* { dg-require-effective-target ppc_float128_sw } */
+/* { dg-require-effective-target powerpc_vsx_ok } */
+/* { dg-options "-O2 -mdejagnu-cpu=power9 -mvsx -mabi=ibmlongdouble -Wno-psabi" } */
+
+int test1 (long double x)
+{
+  return __builtin_isinf (x);
+}
+
+int test2 (long double x)
+{
+  return __builtin_isinfl (x);
+}
+
+/* { dg-final { scan-assembler-not {\mfcmpu\M} } } */
+/* { dg-final { scan-assembler-times {\mxststdcdp\M} 2 } } */