diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2023-01-13 22:11:32 +0100 |
---|---|---|
committer | Eric Botcazou <ebotcazou@adacore.com> | 2023-01-13 22:15:20 +0100 |
commit | 6071e495e5802a8949d2b02df6aa31a5f40f2af9 (patch) | |
tree | 2074c34fca81ecf8e89b522caa96146a2c5ecc3e /gcc | |
parent | 4fa6845b4b29f33cc7ea3d8ff49b61bb1f460561 (diff) | |
download | gcc-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.cc | 50 |
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"); |