public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r12-5665] [Ada] Add query for extended precision floating-point types
@ 2021-12-01 10:26 Pierre-Marie de Rodat
0 siblings, 0 replies; only message in thread
From: Pierre-Marie de Rodat @ 2021-12-01 10:26 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:be8de8e127b06017f2c3602c81de99ad5937ef9d
commit r12-5665-gbe8de8e127b06017f2c3602c81de99ad5937ef9d
Author: Yannick Moy <moy@adacore.com>
Date: Mon Nov 8 11:53:42 2021 +0100
[Ada] Add query for extended precision floating-point types
gcc/ada/
* sem_util.adb (Is_Extended_Precision_Floating_Point_Type): New
function.
* sem_util.ads (Is_Extended_Precision_Floating_Point_Type): New
function.
Diff:
---
gcc/ada/sem_util.adb | 14 ++++++++++++++
gcc/ada/sem_util.ads | 9 +++++++++
2 files changed, 23 insertions(+)
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index f8e9888fdd6..77302924e11 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -17541,6 +17541,20 @@ package body Sem_Util is
end if;
end Is_Expression_Function_Or_Completion;
+ -----------------------------------------------
+ -- Is_Extended_Precision_Floating_Point_Type --
+ -----------------------------------------------
+
+ function Is_Extended_Precision_Floating_Point_Type
+ (E : Entity_Id) return Boolean is
+ begin
+ return Is_Floating_Point_Type (E)
+ and then Machine_Radix_Value (E) = Uint_2
+ and then Machine_Mantissa_Value (E) = Uint_64
+ and then Machine_Emax_Value (E) = Uint_2 ** Uint_14
+ and then Machine_Emin_Value (E) = Uint_3 - (Uint_2 ** Uint_14);
+ end Is_Extended_Precision_Floating_Point_Type;
+
-----------------------
-- Is_EVF_Expression --
-----------------------
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 8b74ab6fe68..e251f1ad9fc 100644
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -2045,6 +2045,15 @@ package Sem_Util is
-- Determine whether subprogram [body] Subp denotes an expression function
-- or is completed by an expression function body.
+ function Is_Extended_Precision_Floating_Point_Type
+ (E : Entity_Id) return Boolean;
+ -- Return whether E is an extended precision floating point type,
+ -- characterized by:
+ -- . machine_radix = 2
+ -- . machine_mantissa = 64
+ -- . machine_emax = 2**14
+ -- . machine_emin = 3 - machine_emax
+
function Is_EVF_Expression (N : Node_Id) return Boolean;
-- Determine whether node N denotes a reference to a formal parameter of
-- a specific tagged type whose related subprogram is subject to pragma
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-12-01 10:26 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-12-01 10:26 [gcc r12-5665] [Ada] Add query for extended precision floating-point types Pierre-Marie de Rodat
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).