aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2023-01-13 22:11:32 +0100
committerEric Botcazou <ebotcazou@adacore.com>2023-01-13 22:15:20 +0100
commit6071e495e5802a8949d2b02df6aa31a5f40f2af9 (patch)
tree2074c34fca81ecf8e89b522caa96146a2c5ecc3e /gcc
parent4fa6845b4b29f33cc7ea3d8ff49b61bb1f460561 (diff)
downloadgcc-6071e495e5802a8949d2b02df6aa31a5f40f2af9.zip
gcc-6071e495e5802a8949d2b02df6aa31a5f40f2af9.tar.gz
gcc-6071e495e5802a8949d2b02df6aa31a5f40f2af9.tar.bz2
Small fix for -fdump-ada-spec
This is needed to support the _Float32 and _Float64 types. gcc/c-family/ * c-ada-spec.cc (is_float32): New function. (is_float64): Likewise. (is_float128): Tweak. (dump_ada_node) <REAL_TYPE>: Call them to recognize more types.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/c-family/c-ada-spec.cc50
1 files changed, 47 insertions, 3 deletions
diff --git a/gcc/c-family/c-ada-spec.cc b/gcc/c-family/c-ada-spec.cc
index faf7174..1e011d5 100644
--- a/gcc/c-family/c-ada-spec.cc
+++ b/gcc/c-family/c-ada-spec.cc
@@ -2030,7 +2030,39 @@ dump_ada_enum_type (pretty_printer *buffer, tree node, tree type, int spc)
}
}
-/* Return true if NODE is the __float128/_Float128 type. */
+/* Return true if NODE is the _Float32/_Float32x type. */
+
+static bool
+is_float32 (tree node)
+{
+ if (!TYPE_NAME (node) || TREE_CODE (TYPE_NAME (node)) != TYPE_DECL)
+ return false;
+
+ tree name = DECL_NAME (TYPE_NAME (node));
+
+ if (IDENTIFIER_POINTER (name) [0] != '_')
+ return false;
+
+ return id_equal (name, "_Float32") || id_equal (name, "_Float32x");
+}
+
+/* Return true if NODE is the _Float64/_Float64x type. */
+
+static bool
+is_float64 (tree node)
+{
+ if (!TYPE_NAME (node) || TREE_CODE (TYPE_NAME (node)) != TYPE_DECL)
+ return false;
+
+ tree name = DECL_NAME (TYPE_NAME (node));
+
+ if (IDENTIFIER_POINTER (name) [0] != '_')
+ return false;
+
+ return id_equal (name, "_Float64") || id_equal (name, "_Float64x");
+}
+
+/* Return true if NODE is the __float128/_Float128/_Float128x type. */
static bool
is_float128 (tree node)
@@ -2043,7 +2075,9 @@ is_float128 (tree node)
if (IDENTIFIER_POINTER (name) [0] != '_')
return false;
- return id_equal (name, "__float128") || id_equal (name, "_Float128");
+ return id_equal (name, "__float128")
+ || id_equal (name, "_Float128")
+ || id_equal (name, "_Float128x");
}
static bool bitfield_used = false;
@@ -2132,7 +2166,17 @@ dump_ada_node (pretty_printer *buffer, tree node, tree type, int spc,
break;
case REAL_TYPE:
- if (is_float128 (node))
+ if (is_float32 (node))
+ {
+ pp_string (buffer, "Float");
+ break;
+ }
+ else if (is_float64 (node))
+ {
+ pp_string (buffer, "Long_Float");
+ break;
+ }
+ else if (is_float128 (node))
{
append_withs ("Interfaces.C.Extensions", false);
pp_string (buffer, "Extensions.Float_128");