public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc(refs/users/meissner/heads/work093)] Overload IEEE 128-bit scalar eq, gt, lt, and unordered built-ins.
@ 2022-06-30 19:17 Michael Meissner
0 siblings, 0 replies; 2+ messages in thread
From: Michael Meissner @ 2022-06-30 19:17 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:3355d960a1d182f358d7a9d4bc01d65398df8b3b
commit 3355d960a1d182f358d7a9d4bc01d65398df8b3b
Author: Michael Meissner <meissner@linux.ibm.com>
Date: Thu Jun 30 15:17:08 2022 -0400
Overload IEEE 128-bit scalar eq, gt, lt, and unordered built-ins.
2022-06-30 Michael Meissner <meissner@linux.ibm.com>
gcc/
* config/rs6000/rs6000-builtins.def
(__builtin_vsx_scalar_cmp_exp_qp_eq_kf): Rename KFmode comparison
built-in functions to have a KF suffix to allow overloading.
(__builtin_vsx_scalar_cmp_exp_qp_gt_kf): Likewise.
(__builtin_vsx_scalar_cmp_exp_qp_lt_kf): Likewise.
(__builtin_vsx_scalar_cmp_exp_qp_unordered_kf): Likewise.
(__builtin_vsx_scalar_cmp_exp_qp_eq_tf): Add TFmode comparison
built-in functions.
(__builtin_vsx_scalar_cmp_exp_qp_gt_tf): Likewise.
(__builtin_vsx_scalar_cmp_exp_qp_lt_tf): Likewise.
(__builtin_vsx_scalar_cmp_exp_qp_unordered_tf): Likewise.
* config/rs6000/rs6000-overload.def
(__builtin_vec_scalar_cmp_exp_eq): Add TFmode overloaded
functions.
(__builtin_vec_scalar_cmp_exp_gt): Likewise.
(__builtin_vec_scalar_cmp_exp_lt): Likewise.
(__builtin_vec_scalar_cmp_exp_unordered): Likewise.
Diff:
---
gcc/config/rs6000/rs6000-builtins.def | 32 ++++++++++++++++++++++++--------
gcc/config/rs6000/rs6000-overload.def | 16 ++++++++++++----
2 files changed, 36 insertions(+), 12 deletions(-)
diff --git a/gcc/config/rs6000/rs6000-builtins.def b/gcc/config/rs6000/rs6000-builtins.def
index d72ff8cb7fe..e96b89c449b 100644
--- a/gcc/config/rs6000/rs6000-builtins.def
+++ b/gcc/config/rs6000/rs6000-builtins.def
@@ -2880,18 +2880,18 @@
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);
- VSCEQPEQ xscmpexpqp_eq_kf {}
+ const signed int __builtin_vsx_scalar_cmp_exp_qp_eq_kf (_Float128, _Float128);
+ VSCEQPEQ_KF xscmpexpqp_eq_kf {}
- const signed int __builtin_vsx_scalar_cmp_exp_qp_gt (_Float128, _Float128);
- VSCEQPGT xscmpexpqp_gt_kf {}
+ const signed int __builtin_vsx_scalar_cmp_exp_qp_gt_kf (_Float128, _Float128);
+ VSCEQPGT_KF xscmpexpqp_gt_kf {}
- const signed int __builtin_vsx_scalar_cmp_exp_qp_lt (_Float128, _Float128);
- VSCEQPLT xscmpexpqp_lt_kf {}
+ const signed int __builtin_vsx_scalar_cmp_exp_qp_lt_kf (_Float128, _Float128);
+ VSCEQPLT_KF xscmpexpqp_lt_kf {}
const signed int \
- __builtin_vsx_scalar_cmp_exp_qp_unordered (_Float128, _Float128);
- VSCEQPUO xscmpexpqp_unordered_kf {}
+ __builtin_vsx_scalar_cmp_exp_qp_unordered_kf (_Float128, _Float128);
+ VSCEQPUO_KF xscmpexpqp_unordered_kf {}
fpmath _Float128 __builtin_sqrtf128_round_to_odd_kf (_Float128);
SQRTF128_ODD_KF sqrtkf2_odd {}
@@ -2942,6 +2942,22 @@
long double);
MULF128_ODD_TF multf3_odd {ieeeld}
+ const signed int __builtin_vsx_scalar_cmp_exp_qp_eq_tf (long double, \
+ long double);
+ VSCEQPEQ_TF xscmpexpqp_eq_tf {ieeeld}
+
+ const signed int __builtin_vsx_scalar_cmp_exp_qp_gt_tf (long double, \
+ long double);
+ VSCEQPGT_TF xscmpexpqp_gt_kf {ieeeld}
+
+ const signed int __builtin_vsx_scalar_cmp_exp_qp_lt_tf (long double, \
+ long double);
+ VSCEQPLT_TF xscmpexpqp_lt_tf {ieeeld}
+
+ const signed int \
+ __builtin_vsx_scalar_cmp_exp_qp_unordered_tf (_Float128, _Float128);
+ VSCEQPUO_TF xscmpexpqp_unordered_tf {ieeeld}
+
fpmath long double __builtin_sqrtf128_round_to_odd_tf (long double);
SQRTF128_ODD_TF sqrttf2_odd {ieeeld}
diff --git a/gcc/config/rs6000/rs6000-overload.def b/gcc/config/rs6000/rs6000-overload.def
index f406a16a882..511a3821d5b 100644
--- a/gcc/config/rs6000/rs6000-overload.def
+++ b/gcc/config/rs6000/rs6000-overload.def
@@ -4474,25 +4474,33 @@
signed int __builtin_vec_scalar_cmp_exp_eq (double, double);
VSCEDPEQ
signed int __builtin_vec_scalar_cmp_exp_eq (_Float128, _Float128);
- VSCEQPEQ
+ VSCEQPEQ_KF
+ signed int __builtin_vec_scalar_cmp_exp_eq (long double, long double);
+ VSCEQPEQ_TF
[VEC_VSCEGT, scalar_cmp_exp_gt, __builtin_vec_scalar_cmp_exp_gt]
signed int __builtin_vec_scalar_cmp_exp_gt (double, double);
VSCEDPGT
signed int __builtin_vec_scalar_cmp_exp_gt (_Float128, _Float128);
- VSCEQPGT
+ VSCEQPGT_KF
+ signed int __builtin_vec_scalar_cmp_exp_gt (long double, long double);
+ VSCEQPGT_TF
[VEC_VSCELT, scalar_cmp_exp_lt, __builtin_vec_scalar_cmp_exp_lt]
signed int __builtin_vec_scalar_cmp_exp_lt (double, double);
VSCEDPLT
signed int __builtin_vec_scalar_cmp_exp_lt (_Float128, _Float128);
- VSCEQPLT
+ VSCEQPLT_KF
+ signed int __builtin_vec_scalar_cmp_exp_lt (long double, long double);
+ VSCEQPLT_TF
[VEC_VSCEUO, scalar_cmp_exp_unordered, __builtin_vec_scalar_cmp_exp_unordered]
signed int __builtin_vec_scalar_cmp_exp_unordered (double, double);
VSCEDPUO
signed int __builtin_vec_scalar_cmp_exp_unordered (_Float128, _Float128);
- VSCEQPUO
+ VSCEQPUO_KF
+ signed int __builtin_vec_scalar_cmp_exp_unordered (long double, long double);
+ VSCEQPUO_TF
[VEC_VSEE, scalar_extract_exp, __builtin_vec_scalar_extract_exp]
unsigned int __builtin_vec_scalar_extract_exp (double);
^ permalink raw reply [flat|nested] 2+ messages in thread
* [gcc(refs/users/meissner/heads/work093)] Overload IEEE 128-bit scalar eq, gt, lt, and unordered built-ins.
@ 2022-06-30 17:42 Michael Meissner
0 siblings, 0 replies; 2+ messages in thread
From: Michael Meissner @ 2022-06-30 17:42 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:c88fd23d80a230f92cbcd99020fc93bc492bdbc2
commit c88fd23d80a230f92cbcd99020fc93bc492bdbc2
Author: Michael Meissner <meissner@linux.ibm.com>
Date: Thu Jun 30 13:42:11 2022 -0400
Overload IEEE 128-bit scalar eq, gt, lt, and unordered built-ins.
2022-06-30 Michael Meissner <meissner@linux.ibm.com>
gcc/
* config/rs6000/rs6000-builtin.cc (rs6000_expand_builtin): Remove
converting KFmode comparison built-in functions to TFmode
comparison built-in functions when long double is IEEE 128-bit.
* config/rs6000/rs6000-builtins.def
(__builtin_vsx_scalar_cmp_exp_qp_eq_kf): Rename KFmode comparison
built-in functions to have a KF suffix to allow overloading.
(__builtin_vsx_scalar_cmp_exp_qp_gt_kf): Likewise.
(__builtin_vsx_scalar_cmp_exp_qp_lt_kf): Likewise.
(__builtin_vsx_scalar_cmp_exp_qp_unordered_kf): Likewise.
(__builtin_vsx_scalar_cmp_exp_qp_eq_tf): Add TFmode comparison
built-in functions.
(__builtin_vsx_scalar_cmp_exp_qp_gt_tf): Likewise.
(__builtin_vsx_scalar_cmp_exp_qp_lt_tf): Likewise.
(__builtin_vsx_scalar_cmp_exp_qp_unordered_tf): Likewise.
* config/rs6000/rs6000-overload.def
(__builtin_vec_scalar_cmp_exp_eq): Add TFmode overloaded
functions.
(__builtin_vec_scalar_cmp_exp_gt): Likewise.
(__builtin_vec_scalar_cmp_exp_lt): Likewise.
(__builtin_vec_scalar_cmp_exp_unordered): Likewise.
Diff:
---
gcc/config/rs6000/rs6000-builtin.cc | 12 ------------
gcc/config/rs6000/rs6000-builtins.def | 32 ++++++++++++++++++++++++--------
gcc/config/rs6000/rs6000-overload.def | 16 ++++++++++++----
3 files changed, 36 insertions(+), 24 deletions(-)
diff --git a/gcc/config/rs6000/rs6000-builtin.cc b/gcc/config/rs6000/rs6000-builtin.cc
index 2e346d24db6..3c30b3290a5 100644
--- a/gcc/config/rs6000/rs6000-builtin.cc
+++ b/gcc/config/rs6000/rs6000-builtin.cc
@@ -3336,18 +3336,6 @@ rs6000_expand_builtin (tree exp, rtx target, rtx /* subtarget */,
case CODE_FOR_xststdcqp_kf:
icode = CODE_FOR_xststdcqp_tf;
break;
- case CODE_FOR_xscmpexpqp_eq_kf:
- icode = CODE_FOR_xscmpexpqp_eq_tf;
- break;
- case CODE_FOR_xscmpexpqp_lt_kf:
- icode = CODE_FOR_xscmpexpqp_lt_tf;
- break;
- case CODE_FOR_xscmpexpqp_gt_kf:
- icode = CODE_FOR_xscmpexpqp_gt_tf;
- break;
- case CODE_FOR_xscmpexpqp_unordered_kf:
- icode = CODE_FOR_xscmpexpqp_unordered_tf;
- break;
default:
break;
}
diff --git a/gcc/config/rs6000/rs6000-builtins.def b/gcc/config/rs6000/rs6000-builtins.def
index d72ff8cb7fe..e96b89c449b 100644
--- a/gcc/config/rs6000/rs6000-builtins.def
+++ b/gcc/config/rs6000/rs6000-builtins.def
@@ -2880,18 +2880,18 @@
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);
- VSCEQPEQ xscmpexpqp_eq_kf {}
+ const signed int __builtin_vsx_scalar_cmp_exp_qp_eq_kf (_Float128, _Float128);
+ VSCEQPEQ_KF xscmpexpqp_eq_kf {}
- const signed int __builtin_vsx_scalar_cmp_exp_qp_gt (_Float128, _Float128);
- VSCEQPGT xscmpexpqp_gt_kf {}
+ const signed int __builtin_vsx_scalar_cmp_exp_qp_gt_kf (_Float128, _Float128);
+ VSCEQPGT_KF xscmpexpqp_gt_kf {}
- const signed int __builtin_vsx_scalar_cmp_exp_qp_lt (_Float128, _Float128);
- VSCEQPLT xscmpexpqp_lt_kf {}
+ const signed int __builtin_vsx_scalar_cmp_exp_qp_lt_kf (_Float128, _Float128);
+ VSCEQPLT_KF xscmpexpqp_lt_kf {}
const signed int \
- __builtin_vsx_scalar_cmp_exp_qp_unordered (_Float128, _Float128);
- VSCEQPUO xscmpexpqp_unordered_kf {}
+ __builtin_vsx_scalar_cmp_exp_qp_unordered_kf (_Float128, _Float128);
+ VSCEQPUO_KF xscmpexpqp_unordered_kf {}
fpmath _Float128 __builtin_sqrtf128_round_to_odd_kf (_Float128);
SQRTF128_ODD_KF sqrtkf2_odd {}
@@ -2942,6 +2942,22 @@
long double);
MULF128_ODD_TF multf3_odd {ieeeld}
+ const signed int __builtin_vsx_scalar_cmp_exp_qp_eq_tf (long double, \
+ long double);
+ VSCEQPEQ_TF xscmpexpqp_eq_tf {ieeeld}
+
+ const signed int __builtin_vsx_scalar_cmp_exp_qp_gt_tf (long double, \
+ long double);
+ VSCEQPGT_TF xscmpexpqp_gt_kf {ieeeld}
+
+ const signed int __builtin_vsx_scalar_cmp_exp_qp_lt_tf (long double, \
+ long double);
+ VSCEQPLT_TF xscmpexpqp_lt_tf {ieeeld}
+
+ const signed int \
+ __builtin_vsx_scalar_cmp_exp_qp_unordered_tf (_Float128, _Float128);
+ VSCEQPUO_TF xscmpexpqp_unordered_tf {ieeeld}
+
fpmath long double __builtin_sqrtf128_round_to_odd_tf (long double);
SQRTF128_ODD_TF sqrttf2_odd {ieeeld}
diff --git a/gcc/config/rs6000/rs6000-overload.def b/gcc/config/rs6000/rs6000-overload.def
index f406a16a882..511a3821d5b 100644
--- a/gcc/config/rs6000/rs6000-overload.def
+++ b/gcc/config/rs6000/rs6000-overload.def
@@ -4474,25 +4474,33 @@
signed int __builtin_vec_scalar_cmp_exp_eq (double, double);
VSCEDPEQ
signed int __builtin_vec_scalar_cmp_exp_eq (_Float128, _Float128);
- VSCEQPEQ
+ VSCEQPEQ_KF
+ signed int __builtin_vec_scalar_cmp_exp_eq (long double, long double);
+ VSCEQPEQ_TF
[VEC_VSCEGT, scalar_cmp_exp_gt, __builtin_vec_scalar_cmp_exp_gt]
signed int __builtin_vec_scalar_cmp_exp_gt (double, double);
VSCEDPGT
signed int __builtin_vec_scalar_cmp_exp_gt (_Float128, _Float128);
- VSCEQPGT
+ VSCEQPGT_KF
+ signed int __builtin_vec_scalar_cmp_exp_gt (long double, long double);
+ VSCEQPGT_TF
[VEC_VSCELT, scalar_cmp_exp_lt, __builtin_vec_scalar_cmp_exp_lt]
signed int __builtin_vec_scalar_cmp_exp_lt (double, double);
VSCEDPLT
signed int __builtin_vec_scalar_cmp_exp_lt (_Float128, _Float128);
- VSCEQPLT
+ VSCEQPLT_KF
+ signed int __builtin_vec_scalar_cmp_exp_lt (long double, long double);
+ VSCEQPLT_TF
[VEC_VSCEUO, scalar_cmp_exp_unordered, __builtin_vec_scalar_cmp_exp_unordered]
signed int __builtin_vec_scalar_cmp_exp_unordered (double, double);
VSCEDPUO
signed int __builtin_vec_scalar_cmp_exp_unordered (_Float128, _Float128);
- VSCEQPUO
+ VSCEQPUO_KF
+ signed int __builtin_vec_scalar_cmp_exp_unordered (long double, long double);
+ VSCEQPUO_TF
[VEC_VSEE, scalar_extract_exp, __builtin_vec_scalar_extract_exp]
unsigned int __builtin_vec_scalar_extract_exp (double);
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2022-06-30 19:17 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-30 19:17 [gcc(refs/users/meissner/heads/work093)] Overload IEEE 128-bit scalar eq, gt, lt, and unordered built-ins Michael Meissner
-- strict thread matches above, loose matches on Subject: below --
2022-06-30 17:42 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).