public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc(refs/users/meissner/heads/work092)] Use overloading for ODD KF/TF functions.
@ 2022-06-28 5:17 Michael Meissner
0 siblings, 0 replies; only message in thread
From: Michael Meissner @ 2022-06-28 5:17 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:855dc677f3e56128485957df4cfe0e138bcb8193
commit 855dc677f3e56128485957df4cfe0e138bcb8193
Author: Michael Meissner <meissner@linux.ibm.com>
Date: Tue Jun 28 01:17:36 2022 -0400
Use overloading for ODD KF/TF functions.
2022-06-28 Michael Meissner <meissner@linux.ibm.com>
gcc/
* config/rs6000/rs6000-builtin.cc (rs6000_invalid_builtin): Add
support for ieee128-hw-ld.
(rs6000_builtin_is_supported): Likewise.
(rs6000_init_builtins): Fix comment from previous change. Add
support of ieee128-hd-ld.
(rs6000_expand_builtin): Add support for ieee128-hw-ld.
* config/rs6000/rs6000-builtins.def (IEEE 128-bit odd builtins):
Move the IEEE 128-bit odd builtins to being overloaded.
* config/rs6000/rs6000-gen-builtins.cc (bif_stanza): Add
stanza for IEEE 128-bit floating point where long double is IEEE
128-bit.
(stanza_map): Likewise.
(enable_string): Likewise.
(write_decls): Likewise.
* config/rs6000/rs6000-overload.def (IEEE 128-bit odd builtins):
Add the various IEEE 128-bit odd built-in functions for both
KFmode and TFmode.
Diff:
---
gcc/config/rs6000/rs6000-builtin.cc | 15 ++++++--
gcc/config/rs6000/rs6000-builtins.def | 62 +++++++++++++++++++++++---------
gcc/config/rs6000/rs6000-gen-builtins.cc | 4 +++
gcc/config/rs6000/rs6000-overload.def | 44 +++++++++++++++++++++++
4 files changed, 105 insertions(+), 20 deletions(-)
diff --git a/gcc/config/rs6000/rs6000-builtin.cc b/gcc/config/rs6000/rs6000-builtin.cc
index 474f771e403..7e027bed7a1 100644
--- a/gcc/config/rs6000/rs6000-builtin.cc
+++ b/gcc/config/rs6000/rs6000-builtin.cc
@@ -123,6 +123,10 @@ rs6000_invalid_builtin (enum rs6000_gen_builtins fncode)
case ENB_IEEE128_HW:
error ("%qs requires quad-precision floating-point arithmetic", name);
break;
+ case ENB_IEEE128_HW_LD:
+ error ("%qs requires %qs to use IEEE quad-precision floating-point "
+ "arithmetic", name, "long double");
+ break;
case ENB_DFP:
error ("%qs requires the %qs option", name, "-mhard-dfp");
break;
@@ -189,6 +193,8 @@ rs6000_builtin_is_supported (enum rs6000_gen_builtins fncode)
return TARGET_ALTIVEC && rs6000_cpu == PROCESSOR_CELL;
case ENB_IEEE128_HW:
return TARGET_FLOAT128_HW;
+ case ENB_IEEE128_HW_LD:
+ return TARGET_FLOAT128_HW && FLOAT128_IEEE_P (TFmode);
case ENB_DFP:
return TARGET_DFP;
case ENB_CRYPTO:
@@ -710,9 +716,7 @@ rs6000_init_builtins (void)
Always create __ibm128 as a separate type, even if the current long double
format is IBM extended double.
- For IEEE 128-bit floating point, always create the type __ieee128. If the
- user used -mfloat128, rs6000-c.cc will create a define from __float128 to
- __ieee128. */
+ For IEEE 128-bit floating point, always create the type __float128. */
if (TARGET_LONG_DOUBLE_128 || TARGET_FLOAT128_TYPE)
{
ibm128_float_type_node = make_node (REAL_TYPE);
@@ -847,6 +851,9 @@ rs6000_init_builtins (void)
continue;
if (e == ENB_IEEE128_HW && !TARGET_FLOAT128_HW)
continue;
+ if (e == ENB_IEEE128_HW_LD && (!TARGET_FLOAT128_HW
+ || !FLOAT128_IEEE_P (TFmode)))
+ continue;
if (e == ENB_DFP && !TARGET_DFP)
continue;
if (e == ENB_CRYPTO && !TARGET_CRYPTO)
@@ -3373,6 +3380,8 @@ rs6000_expand_builtin (tree exp, rtx target, rtx /* subtarget */,
|| (e == ENB_P9_64 && TARGET_MODULO && TARGET_POWERPC64)
|| (e == ENB_P9V && TARGET_P9_VECTOR)
|| (e == ENB_IEEE128_HW && TARGET_FLOAT128_HW)
+ || (e == ENB_IEEE128_HW_LD && TARGET_FLOAT128_HW
+ && FLOAT128_IEEE_P (TFmode))
|| (e == ENB_DFP && TARGET_DFP)
|| (e == ENB_CRYPTO && TARGET_CRYPTO)
|| (e == ENB_HTM && TARGET_HTM)
diff --git a/gcc/config/rs6000/rs6000-builtins.def b/gcc/config/rs6000/rs6000-builtins.def
index f76f54793d7..1be2bcd1ff0 100644
--- a/gcc/config/rs6000/rs6000-builtins.def
+++ b/gcc/config/rs6000/rs6000-builtins.def
@@ -2866,20 +2866,20 @@
; Builtins requiring hardware support for IEEE-128 floating-point.
[ieee128-hw]
- fpmath _Float128 __builtin_addf128_round_to_odd (_Float128, _Float128);
- ADDF128_ODD addkf3_odd {}
+ fpmath _Float128 __builtin_addf128_round_to_odd_kf (_Float128, _Float128);
+ ADDF128_ODD_KF addkf3_odd {}
- fpmath _Float128 __builtin_divf128_round_to_odd (_Float128, _Float128);
- DIVF128_ODD divkf3_odd {}
+ fpmath _Float128 __builtin_divf128_round_to_odd_kf (_Float128, _Float128);
+ DIVF128_ODD_KF divkf3_odd {}
- fpmath _Float128 __builtin_fmaf128_round_to_odd (_Float128, _Float128, \
- _Float128);
- FMAF128_ODD fmakf4_odd {}
+ fpmath _Float128 __builtin_fmaf128_round_to_odd_kf (_Float128, _Float128, \
+ _Float128);
+ FMAF128_ODD_KF fmakf4_odd {}
- fpmath _Float128 __builtin_mulf128_round_to_odd (_Float128, _Float128);
- MULF128_ODD mulkf3_odd {}
+ fpmath _Float128 __builtin_mulf128_round_to_odd_kf (_Float128, _Float128);
+ MULF128_ODD_KF mulkf3_odd {}
- const signed int __builtin_vsx_scalar_cmp_exp_qp_eq (_Float128, _Float128);
+ const signed int __builtin_vsx_scalar_cmp_exp_qp_eq_kf (_Float128, _Float128);
VSCEQPEQ xscmpexpqp_eq_kf {}
const signed int __builtin_vsx_scalar_cmp_exp_qp_gt (_Float128, _Float128);
@@ -2889,17 +2889,17 @@
VSCEQPLT xscmpexpqp_lt_kf {}
const signed int \
- __builtin_vsx_scalar_cmp_exp_qp_unordered (_Float128, _Float128);
+ __builtin_vsx_scalar_cmp_exp_qp_unordered_kf (_Float128, _Float128);
VSCEQPUO xscmpexpqp_unordered_kf {}
- fpmath _Float128 __builtin_sqrtf128_round_to_odd (_Float128);
- SQRTF128_ODD sqrtkf2_odd {}
+ fpmath _Float128 __builtin_sqrtf128_round_to_odd_kf (_Float128);
+ SQRTF128_ODD_KF sqrtkf2_odd {}
- fpmath _Float128 __builtin_subf128_round_to_odd (_Float128, _Float128);
- SUBF128_ODD subkf3_odd {}
+ fpmath _Float128 __builtin_subf128_round_to_odd_kf (_Float128, _Float128);
+ SUBF128_ODD_KF subkf3_odd {}
- fpmath double __builtin_truncf128_round_to_odd (_Float128);
- TRUNCF128_ODD trunckfdf2_odd {}
+ fpmath double __builtin_truncf128_round_to_odd_kf (_Float128);
+ TRUNCF128_ODD_KF trunckfdf2_odd {}
const signed long long __builtin_vsx_scalar_extract_expq (_Float128);
VSEEQP xsxexpqp_kf {}
@@ -2922,6 +2922,34 @@
const signed int __builtin_vsx_scalar_test_neg_qp (_Float128);
VSTDCNQP xststdcnegqp_kf {}
+; Builtins requiring hardware support for IEEE-128 floating-point. Long double
+; must use the IEEE 128-bit encoding.
+[ieee128-hw-ld]
+ fpmath long double __builtin_addf128_round_to_odd_tf (long double, long double);
+ ADDF128_ODD_TF addtf3_odd {}
+
+ fpmath long double __builtin_divf128_round_to_odd_tf (long double,long double);
+ DIVF128_ODD_TF divtf3_odd {}
+
+ fpmath long double __builtin_fmaf128_round_to_odd_tf (long double, \
+ long double, \
+ long double);
+ FMAF128_ODD_TF fmatf4_odd {}
+
+ fpmath long double __builtin_mulf128_round_to_odd_tf (long double, \
+ long double);
+ MULF128_ODD_TF multf3_odd {}
+
+ fpmath long double __builtin_sqrtf128_round_to_odd_tf (long double);
+ SQRTF128_ODD_TF sqrttf2_odd {}
+
+ fpmath long double __builtin_subf128_round_to_odd_tf (long double, \
+ long double);
+ SUBF128_ODD_TF subtf3_odd {}
+
+ fpmath double __builtin_truncf128_round_to_odd_tf (long double);
+ TRUNCF128_ODD_TF trunctfdf2_odd {}
+
; Decimal floating-point builtins.
diff --git a/gcc/config/rs6000/rs6000-gen-builtins.cc b/gcc/config/rs6000/rs6000-gen-builtins.cc
index 0bd7a535e5f..be1dc86ceb4 100644
--- a/gcc/config/rs6000/rs6000-gen-builtins.cc
+++ b/gcc/config/rs6000/rs6000-gen-builtins.cc
@@ -227,6 +227,7 @@ enum bif_stanza
BSTZ_P9_64,
BSTZ_P9V,
BSTZ_IEEE128_HW,
+ BSTZ_IEEE128_HW_LD,
BSTZ_DFP,
BSTZ_CRYPTO,
BSTZ_HTM,
@@ -261,6 +262,7 @@ static stanza_entry stanza_map[NUMBIFSTANZAS] =
{ "power9-64", BSTZ_P9_64 },
{ "power9-vector", BSTZ_P9V },
{ "ieee128-hw", BSTZ_IEEE128_HW },
+ { "ieee128-hw-ld", BSTZ_IEEE128_HW_LD },
{ "dfp", BSTZ_DFP },
{ "crypto", BSTZ_CRYPTO },
{ "htm", BSTZ_HTM },
@@ -286,6 +288,7 @@ static const char *enable_string[NUMBIFSTANZAS] =
"ENB_P9_64",
"ENB_P9V",
"ENB_IEEE128_HW",
+ "ENB_IEEE128_HW_LD",
"ENB_DFP",
"ENB_CRYPTO",
"ENB_HTM",
@@ -2252,6 +2255,7 @@ write_decls (void)
fprintf (header_file, " ENB_P9_64,\n");
fprintf (header_file, " ENB_P9V,\n");
fprintf (header_file, " ENB_IEEE128_HW,\n");
+ fprintf (header_file, " ENB_IEEE128_HW_LD,\n");
fprintf (header_file, " ENB_DFP,\n");
fprintf (header_file, " ENB_CRYPTO,\n");
fprintf (header_file, " ENB_HTM,\n");
diff --git a/gcc/config/rs6000/rs6000-overload.def b/gcc/config/rs6000/rs6000-overload.def
index 44e2945aaa0..f406a16a882 100644
--- a/gcc/config/rs6000/rs6000-overload.def
+++ b/gcc/config/rs6000/rs6000-overload.def
@@ -6175,3 +6175,47 @@
VUPKLSW VUPKLSW_DEPR1
vbll __builtin_vec_vupklsw (vbi);
VUPKLSW VUPKLSW_DEPR2
+
+[ADDF128_ODD, SKIP, __builtin_addf128_round_to_odd]
+ long double __builtin_addf128_round_to_odd (long double, long double);
+ ADDF128_ODD_TF
+ _Float128 __builtin_addf128_round_to_odd (_Float128, _Float128);
+ ADDF128_ODD_KF
+
+[DIVF128_ODD, SKIP, __builtin_divf128_round_to_odd]
+ long double __builtin_divf128_round_to_odd (long double, long double);
+ DIVF128_ODD_TF
+ _Float128 __builtin_divf128_round_to_odd (_Float128, _Float128);
+ DIVF128_ODD_KF
+
+[FMAF128_ODD, SKIP, __builtin_fmaf128_round_to_odd]
+ long double __builtin_fmaf128_round_to_odd (long double, long double, \
+ long double);
+ FMAF128_ODD_TF
+ _Float128 __builtin_fmaf128_round_to_odd (_Float128, _Float128, \
+ _Float128);
+ FMAF128_ODD_KF
+
+[MULF128_ODD, SKIP, __builtin_mulf128_round_to_odd]
+ long double __builtin_mulf128_round_to_odd (long double, long double);
+ MULF128_ODD_TF
+ _Float128 __builtin_mulf128_round_to_odd (_Float128, _Float128);
+ MULF128_ODD_KF
+
+[SQRTF128_ODD, SKIP, __builtin_sqrtf128_round_to_odd]
+ long double __builtin_sqrtf128_round_to_odd (long double);
+ SQRTF128_ODD_TF
+ _Float128 __builtin_sqrtf128_round_to_odd (_Float128);
+ SQRTF128_ODD_KF
+
+[SUBF128_ODD, SKIP, __builtin_subf128_round_to_odd]
+ long double __builtin_subf128_round_to_odd (long double, long double);
+ SUBF128_ODD_TF
+ _Float128 __builtin_subf128_round_to_odd (_Float128, _Float128);
+ SUBF128_ODD_KF
+
+[TRUNCF128_ODD, SKIP, __builtin_truncf128_round_to_odd]
+ long double __builtin_truncf128_round_to_odd (long double);
+ TRUNCF128_ODD_TF
+ _Float128 __builtin_truncf128_round_to_odd (_Float128);
+ TRUNCF128_ODD_KF
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-06-28 5:17 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-28 5:17 [gcc(refs/users/meissner/heads/work092)] Use overloading for ODD KF/TF functions Michael Meissner
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).