[PATCH] gcc: add trigonometric pi-based functions as gcc builtins

 This patch adds trigonometric pi-based functions as gcc builtins: acospi, asinpi, atan2pi,
atanpi, cospi, sinpi, and tanpi. Latest glibc already provides support for
these functions, which we plan to leverage in future gfortran implementations.

The patch includes two test cases to verify both correct code generation and
function definition.

If approved, I suggest committing this foundational change first. Constant
folding for these builtins will be addressed in subsequent patches.

Best regards,
Yuao

From 9a9683d250078ce1bc687797c26ca05a9e91b350 Mon Sep 17 00:00:00 2001
From: Yuao Ma <c8ef@outlook.com>
Date: Wed, 14 May 2025 22:14:00 +0800
Subject: [PATCH] gcc: add trigonometric pi-based functions as gcc builtins

Add trigonometric pi-based functions as GCC builtins: acospi, asinpi, atan2pi,
atanpi, cospi, sinpi, and tanpi. Latest glibc already provides support for
these functions, which we plan to leverage in future gfortran implementations.

The patch includes two test cases to verify both correct code generation and
function definition.

If approved, I suggest committing this foundational change first. Constant
folding for these builtins will be addressed in subsequent patches.

gcc/ChangeLog:

	* builtins.def (TRIG_TYPE): New.
	(BUILT_IN_ACOSPI): New.
	(BUILT_IN_ACOSPIF): New.
	(BUILT_IN_ACOSPIL): New.
	(BUILT_IN_ASINPI): New.
	(BUILT_IN_ASINPIF): New.
	(BUILT_IN_ASINPIL): New.
	(BUILT_IN_ATANPI): New.
	(BUILT_IN_ATANPIF): New.
	(BUILT_IN_ATANPIL): New.
	(BUILT_IN_COSPI): New.
	(BUILT_IN_COSPIF): New.
	(BUILT_IN_COSPIL): New.
	(BUILT_IN_SINPI): New.
	(BUILT_IN_SINPIF): New.
	(BUILT_IN_SINPIL): New.
	(BUILT_IN_TANPI): New.
	(BUILT_IN_TANPIF): New.
	(BUILT_IN_TANPIL): New.
	(TRIG2_TYPE): New.
	(BUILT_IN_ATAN2PI): New.
	(BUILT_IN_ATAN2PIF): New.
	(BUILT_IN_ATAN2PIL): New.

gcc/testsuite/ChangeLog:

	* gcc.dg/builtins-1.c: Builtin codegen test.
	* gcc.dg/c23-builtins-1.c: Builtin signature test.

diff --git a/gcc/builtins.def b/gcc/builtins.def
index ff470051e54ebcd5b1ca225c939a9e4ad03c7cce..fdcad54a5d7513ee3c42688e2480a3f0d9447c96 100644 (file)
--- a/gcc/builtins.def
+++ b/gcc/builtins.def
@@ -844,6 +844,38 @@ DEF_EXT_LIB_FLOATN_NX_BUILTINS (BUILT_IN_CTANH, "ctanh", CPROJ_TYPE, ATTR_MATHFN
 DEF_C99_COMPL_BUILTIN        (BUILT_IN_CTANL, "ctanl", BT_FN_COMPLEX_LONGDOUBLE_COMPLEX_LONGDOUBLE, ATTR_MATHFN_FPROUNDING)
 DEF_EXT_LIB_FLOATN_NX_BUILTINS (BUILT_IN_CTAN, "ctan", CPROJ_TYPE, ATTR_MATHFN_FPROUNDING)
 #undef CPROJ_TYPE
+#define TRIG_TYPE(F) BT_FN_##F##_##F
+DEF_C23_BUILTIN (BUILT_IN_ACOSPI, "acospi", BT_FN_DOUBLE_DOUBLE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_ACOSPIF, "acospif", BT_FN_FLOAT_FLOAT, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_ACOSPIL, "acospil", BT_FN_LONGDOUBLE_LONGDOUBLE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_EXT_LIB_FLOATN_NX_BUILTINS (BUILT_IN_ACOSPI, "acospi", TRIG_TYPE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_ASINPI, "asinpi", BT_FN_DOUBLE_DOUBLE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_ASINPIF, "asinpif", BT_FN_FLOAT_FLOAT, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_ASINPIL, "asinpil", BT_FN_LONGDOUBLE_LONGDOUBLE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_EXT_LIB_FLOATN_NX_BUILTINS (BUILT_IN_ASINPI, "asinpi", TRIG_TYPE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_ATANPI, "atanpi", BT_FN_DOUBLE_DOUBLE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_ATANPIF, "atanpif", BT_FN_FLOAT_FLOAT, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_ATANPIL, "atanpil", BT_FN_LONGDOUBLE_LONGDOUBLE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_EXT_LIB_FLOATN_NX_BUILTINS (BUILT_IN_ATANPI, "atanpi", TRIG_TYPE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_COSPI, "cospi", BT_FN_DOUBLE_DOUBLE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_COSPIF, "cospif", BT_FN_FLOAT_FLOAT, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_COSPIL, "cospil", BT_FN_LONGDOUBLE_LONGDOUBLE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_EXT_LIB_FLOATN_NX_BUILTINS (BUILT_IN_COSPI, "cospi", TRIG_TYPE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_SINPI, "sinpi", BT_FN_DOUBLE_DOUBLE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_SINPIF, "sinpif", BT_FN_FLOAT_FLOAT, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_SINPIL, "sinpil", BT_FN_LONGDOUBLE_LONGDOUBLE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_EXT_LIB_FLOATN_NX_BUILTINS (BUILT_IN_SINPI, "sinpi", TRIG_TYPE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_TANPI, "tanpi", BT_FN_DOUBLE_DOUBLE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_TANPIF, "tanpif", BT_FN_FLOAT_FLOAT, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_C23_BUILTIN (BUILT_IN_TANPIL, "tanpil", BT_FN_LONGDOUBLE_LONGDOUBLE, ATTR_MATHFN_FPROUNDING_ERRNO)
+DEF_EXT_LIB_FLOATN_NX_BUILTINS (BUILT_IN_TANPI, "tanpi", TRIG_TYPE, ATTR_MATHFN_FPROUNDING_ERRNO)
+#undef TRIG_TYPE
+#define TRIG2_TYPE(F) BT_FN_##F##_##F##_##F
+DEF_C23_BUILTIN (BUILT_IN_ATAN2PI, "atan2pi", BT_FN_DOUBLE_DOUBLE_DOUBLE, ATTR_CONST_NOTHROW_LEAF_LIST)
+DEF_C23_BUILTIN (BUILT_IN_ATAN2PIF, "atan2pif", BT_FN_FLOAT_FLOAT_FLOAT, ATTR_CONST_NOTHROW_LEAF_LIST)
+DEF_C23_BUILTIN (BUILT_IN_ATAN2PIL, "atan2pil", BT_FN_LONGDOUBLE_LONGDOUBLE_LONGDOUBLE, ATTR_CONST_NOTHROW_LEAF_LIST)
+DEF_EXT_LIB_FLOATN_NX_BUILTINS (BUILT_IN_ATAN2PI, "atan2pi", TRIG2_TYPE, ATTR_CONST_NOTHROW_LEAF_LIST)
+#undef TRIG2_TYPE
 
 /* Category: string/memory builtins.  */
 DEF_EXT_LIB_BUILTIN    (BUILT_IN_BCMP, "bcmp", BT_FN_INT_CONST_PTR_CONST_PTR_SIZE, ATTR_PURE_NOTHROW_NONNULL_IF123_LEAF)

diff --git a/gcc/testsuite/gcc.dg/builtins-1.c b/gcc/testsuite/gcc.dg/builtins-1.c
index 6128642b5b6e0361908e8cfbb6ea64568f8b09ec..8ddf37049cf670972583e5ff6fc8835e12f13087 100644 (file)
--- a/gcc/testsuite/gcc.dg/builtins-1.c
+++ b/gcc/testsuite/gcc.dg/builtins-1.c
@@ -114,16 +114,21 @@ _Complex long double test_##FN##l(_Complex long double x, _Complex long double y
 /* Keep this list sorted alphabetically by function name.  */
 FPTEST1     (acos)
 FPTEST1     (acosh)
+FPTEST1     (acospi)
 FPTEST1     (asin)
 FPTEST1     (asinh)
+FPTEST1     (asinpi)
 FPTEST1     (atan)
 FPTEST2     (atan2)
+FPTEST2     (atan2pi)
 FPTEST1     (atanh)
+FPTEST1     (atanpi)
 FPTEST1     (cbrt)
 FPTEST1     (ceil)
 FPTEST2     (copysign)
 FPTEST1     (cos)
 FPTEST1     (cosh)
+FPTEST1     (cospi)
 FPTEST2     (drem)
 FPTEST1     (erf)
 FPTEST1     (erfc)
@@ -178,9 +183,11 @@ FPTEST1     (significand)
 FPTEST1     (sin)
 FPTEST3FPP23VOID (sincos)
 FPTEST1     (sinh)
+FPTEST1     (sinpi)
 FPTEST1     (sqrt)
 FPTEST1     (tan)
 FPTEST1     (tanh)
+FPTEST1     (tanpi)
 FPTEST1     (tgamma)
 FPTEST1     (trunc)
 FPTEST1     (y0)

diff --git a/gcc/testsuite/gcc.dg/c23-builtins-1.c b/gcc/testsuite/gcc.dg/c23-builtins-1.c
index 39f0ea4bf593ce4de172729343d753228afe0963..fe67964260688b53aaa0057e215a827dc81b201d 100644 (file)
--- a/gcc/testsuite/gcc.dg/c23-builtins-1.c
+++ b/gcc/testsuite/gcc.dg/c23-builtins-1.c
@@ -3,11 +3,33 @@
 /* { dg-do compile } */
 /* { dg-options "-std=c23" } */
 
+/* Keep this list sorted alphabetically by function name.  */
+int acospi (void); /* { dg-warning "conflicting types for built-in function" } */
+int acospif (void); /* { dg-warning "conflicting types for built-in function" } */
+int acospil (void); /* { dg-warning "conflicting types for built-in function" } */
+int asinpi (void); /* { dg-warning "conflicting types for built-in function" } */
+int asinpif (void); /* { dg-warning "conflicting types for built-in function" } */
+int asinpil (void); /* { dg-warning "conflicting types for built-in function" } */
+int atan2pi (void); /* { dg-warning "conflicting types for built-in function" } */
+int atan2pif (void); /* { dg-warning "conflicting types for built-in function" } */
+int atan2pil (void); /* { dg-warning "conflicting types for built-in function" } */
+int atanpi (void); /* { dg-warning "conflicting types for built-in function" } */
+int atanpif (void); /* { dg-warning "conflicting types for built-in function" } */
+int atanpil (void); /* { dg-warning "conflicting types for built-in function" } */
+int cospi (void); /* { dg-warning "conflicting types for built-in function" } */
+int cospif (void); /* { dg-warning "conflicting types for built-in function" } */
+int cospil (void); /* { dg-warning "conflicting types for built-in function" } */
 int exp10 (void); /* { dg-warning "conflicting types for built-in function" } */
 int exp10f (void); /* { dg-warning "conflicting types for built-in function" } */
 int exp10l (void); /* { dg-warning "conflicting types for built-in function" } */
 int roundeven (void); /* { dg-warning "conflicting types for built-in function" } */
 int roundevenf (void); /* { dg-warning "conflicting types for built-in function" } */
 int roundevenl (void); /* { dg-warning "conflicting types for built-in function" } */
+int sinpi (void); /* { dg-warning "conflicting types for built-in function" } */
+int sinpif (void); /* { dg-warning "conflicting types for built-in function" } */
+int sinpil (void); /* { dg-warning "conflicting types for built-in function" } */
 int strdup (void); /* { dg-warning "conflicting types for built-in function" } */
 int strndup (void); /* { dg-warning "conflicting types for built-in function" } */
+int tanpi (void); /* { dg-warning "conflicting types for built-in function" } */
+int tanpif (void); /* { dg-warning "conflicting types for built-in function" } */
+int tanpil (void); /* { dg-warning "conflicting types for built-in function" } */