x86: refine when to trigger optimizations
[deliverable/binutils-gdb.git] / gdb / d-lang.c
CommitLineData
6aecb9c2
JB
1/* D language support routines for GDB, the GNU debugger.
2
b811d2c2 3 Copyright (C) 2005-2020 Free Software Foundation, Inc.
6aecb9c2
JB
4
5 This file is part of GDB.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
19
20#include "defs.h"
d55e5aa6 21#include "symtab.h"
4de283e4 22#include "language.h"
d55e5aa6 23#include "varobj.h"
4de283e4
TT
24#include "d-lang.h"
25#include "c-lang.h"
26#include "demangle.h"
27#include "cp-support.h"
0d12e84c 28#include "gdbarch.h"
6aecb9c2 29
63778547
IB
30/* The name of the symbol to use to get the name of the main subprogram. */
31static const char D_MAIN[] = "D main";
32
33/* Function returning the special symbol name used by D for the main
34 procedure in the main program if it is found in minimal symbol list.
35 This function tries to find minimal symbols so that it finds them even
36 if the program was compiled without debugging information. */
37
38const char *
39d_main_name (void)
40{
3b7344d5 41 struct bound_minimal_symbol msym;
63778547
IB
42
43 msym = lookup_minimal_symbol (D_MAIN, NULL, NULL);
3b7344d5 44 if (msym.minsym != NULL)
63778547
IB
45 return D_MAIN;
46
47 /* No known entry procedure found, the main program is probably not D. */
48 return NULL;
49}
50
6aecb9c2 51/* Implements the la_demangle language_defn routine for language D. */
ec9f644a 52
6aecb9c2
JB
53char *
54d_demangle (const char *symbol, int options)
55{
35a49624 56 return gdb_demangle (symbol, options | DMGL_DLANG);
6aecb9c2
JB
57}
58
8b302db8
TT
59/* la_sniff_from_mangled_name implementation for D. */
60
61static int
62d_sniff_from_mangled_name (const char *mangled, char **demangled)
63{
64 *demangled = d_demangle (mangled, 0);
65 return *demangled != NULL;
66}
67
6aecb9c2
JB
68/* Table mapping opcodes into strings for printing operators
69 and precedences of the operators. */
70static const struct op_print d_op_print_tab[] =
71{
72 {",", BINOP_COMMA, PREC_COMMA, 0},
73 {"=", BINOP_ASSIGN, PREC_ASSIGN, 1},
74 {"||", BINOP_LOGICAL_OR, PREC_LOGICAL_OR, 0},
75 {"&&", BINOP_LOGICAL_AND, PREC_LOGICAL_AND, 0},
76 {"|", BINOP_BITWISE_IOR, PREC_BITWISE_IOR, 0},
77 {"^", BINOP_BITWISE_XOR, PREC_BITWISE_XOR, 0},
78 {"&", BINOP_BITWISE_AND, PREC_BITWISE_AND, 0},
3ed9baed
IB
79 {"==", BINOP_EQUAL, PREC_ORDER, 0},
80 {"!=", BINOP_NOTEQUAL, PREC_ORDER, 0},
6aecb9c2
JB
81 {"<=", BINOP_LEQ, PREC_ORDER, 0},
82 {">=", BINOP_GEQ, PREC_ORDER, 0},
83 {">", BINOP_GTR, PREC_ORDER, 0},
84 {"<", BINOP_LESS, PREC_ORDER, 0},
85 {">>", BINOP_RSH, PREC_SHIFT, 0},
86 {"<<", BINOP_LSH, PREC_SHIFT, 0},
87 {"+", BINOP_ADD, PREC_ADD, 0},
88 {"-", BINOP_SUB, PREC_ADD, 0},
3ed9baed 89 {"~", BINOP_CONCAT, PREC_ADD, 0},
6aecb9c2
JB
90 {"*", BINOP_MUL, PREC_MUL, 0},
91 {"/", BINOP_DIV, PREC_MUL, 0},
92 {"%", BINOP_REM, PREC_MUL, 0},
3ed9baed 93 {"^^", BINOP_EXP, PREC_REPEAT, 0},
6aecb9c2
JB
94 {"@", BINOP_REPEAT, PREC_REPEAT, 0},
95 {"-", UNOP_NEG, PREC_PREFIX, 0},
96 {"!", UNOP_LOGICAL_NOT, PREC_PREFIX, 0},
97 {"~", UNOP_COMPLEMENT, PREC_PREFIX, 0},
98 {"*", UNOP_IND, PREC_PREFIX, 0},
99 {"&", UNOP_ADDR, PREC_PREFIX, 0},
100 {"sizeof ", UNOP_SIZEOF, PREC_PREFIX, 0},
101 {"++", UNOP_PREINCREMENT, PREC_PREFIX, 0},
102 {"--", UNOP_PREDECREMENT, PREC_PREFIX, 0},
f486487f 103 {NULL, OP_NULL, PREC_PREFIX, 0}
6aecb9c2
JB
104};
105
94b1b47e
IB
106/* Mapping of all D basic data types into the language vector. */
107
108enum d_primitive_types {
109 d_primitive_type_void,
110 d_primitive_type_bool,
111 d_primitive_type_byte,
112 d_primitive_type_ubyte,
113 d_primitive_type_short,
114 d_primitive_type_ushort,
115 d_primitive_type_int,
116 d_primitive_type_uint,
117 d_primitive_type_long,
118 d_primitive_type_ulong,
119 d_primitive_type_cent, /* Signed 128 bit integer. */
120 d_primitive_type_ucent, /* Unsigned 128 bit integer. */
121 d_primitive_type_float,
122 d_primitive_type_double,
123 d_primitive_type_real,
124 d_primitive_type_ifloat, /* Imaginary float types. */
125 d_primitive_type_idouble,
126 d_primitive_type_ireal,
127 d_primitive_type_cfloat, /* Complex number of two float values. */
128 d_primitive_type_cdouble,
129 d_primitive_type_creal,
130 d_primitive_type_char, /* Unsigned character types. */
131 d_primitive_type_wchar,
132 d_primitive_type_dchar,
133 nr_d_primitive_types
134};
135
136/* Implements the la_language_arch_info language_defn routine
137 for language D. */
138
139static void
140d_language_arch_info (struct gdbarch *gdbarch,
141 struct language_arch_info *lai)
142{
143 const struct builtin_d_type *builtin = builtin_d_type (gdbarch);
144
145 lai->string_char_type = builtin->builtin_char;
146 lai->primitive_type_vector
147 = GDBARCH_OBSTACK_CALLOC (gdbarch, nr_d_primitive_types + 1,
148 struct type *);
149
150 lai->primitive_type_vector [d_primitive_type_void]
151 = builtin->builtin_void;
152 lai->primitive_type_vector [d_primitive_type_bool]
153 = builtin->builtin_bool;
154 lai->primitive_type_vector [d_primitive_type_byte]
155 = builtin->builtin_byte;
156 lai->primitive_type_vector [d_primitive_type_ubyte]
157 = builtin->builtin_ubyte;
158 lai->primitive_type_vector [d_primitive_type_short]
159 = builtin->builtin_short;
160 lai->primitive_type_vector [d_primitive_type_ushort]
161 = builtin->builtin_ushort;
162 lai->primitive_type_vector [d_primitive_type_int]
163 = builtin->builtin_int;
164 lai->primitive_type_vector [d_primitive_type_uint]
165 = builtin->builtin_uint;
166 lai->primitive_type_vector [d_primitive_type_long]
167 = builtin->builtin_long;
168 lai->primitive_type_vector [d_primitive_type_ulong]
169 = builtin->builtin_ulong;
170 lai->primitive_type_vector [d_primitive_type_cent]
171 = builtin->builtin_cent;
172 lai->primitive_type_vector [d_primitive_type_ucent]
173 = builtin->builtin_ucent;
174 lai->primitive_type_vector [d_primitive_type_float]
175 = builtin->builtin_float;
176 lai->primitive_type_vector [d_primitive_type_double]
177 = builtin->builtin_double;
178 lai->primitive_type_vector [d_primitive_type_real]
179 = builtin->builtin_real;
180 lai->primitive_type_vector [d_primitive_type_ifloat]
181 = builtin->builtin_ifloat;
182 lai->primitive_type_vector [d_primitive_type_idouble]
183 = builtin->builtin_idouble;
184 lai->primitive_type_vector [d_primitive_type_ireal]
185 = builtin->builtin_ireal;
186 lai->primitive_type_vector [d_primitive_type_cfloat]
187 = builtin->builtin_cfloat;
188 lai->primitive_type_vector [d_primitive_type_cdouble]
189 = builtin->builtin_cdouble;
190 lai->primitive_type_vector [d_primitive_type_creal]
191 = builtin->builtin_creal;
192 lai->primitive_type_vector [d_primitive_type_char]
193 = builtin->builtin_char;
194 lai->primitive_type_vector [d_primitive_type_wchar]
195 = builtin->builtin_wchar;
196 lai->primitive_type_vector [d_primitive_type_dchar]
197 = builtin->builtin_dchar;
198
199 lai->bool_type_symbol = "bool";
200 lai->bool_type_default = builtin->builtin_bool;
201}
202
56618e20
TT
203static const char *d_extensions[] =
204{
205 ".d", NULL
206};
207
47e77640 208extern const struct language_defn d_language_defn =
6aecb9c2
JB
209{
210 "d",
6abde28f 211 "D",
6aecb9c2
JB
212 language_d,
213 range_check_off,
6aecb9c2
JB
214 case_sensitive_on,
215 array_row_major,
3271ba66 216 macro_expansion_no,
56618e20 217 d_extensions,
6aecb9c2 218 &exp_descriptor_c,
3ed9baed 219 d_parse,
6aecb9c2
JB
220 null_post_parser,
221 c_printchar, /* Print a character constant. */
222 c_printstr, /* Function to print string constant. */
223 c_emit_char, /* Print a single char. */
224 c_print_type, /* Print a type using appropriate syntax. */
0963b4bd
MS
225 c_print_typedef, /* Print a typedef using appropriate
226 syntax. */
6aecb9c2
JB
227 d_val_print, /* Print a value using appropriate syntax. */
228 c_value_print, /* Print a top-level value. */
a5ee536b 229 default_read_var_value, /* la_read_var_value */
6aecb9c2
JB
230 NULL, /* Language specific skip_trampoline. */
231 "this",
59cc4834 232 false, /* la_store_sym_names_in_linkage_form_p */
bc7c9fab 233 d_lookup_symbol_nonlocal,
6aecb9c2
JB
234 basic_lookup_transparent_type,
235 d_demangle, /* Language specific symbol demangler. */
8b302db8 236 d_sniff_from_mangled_name,
0963b4bd
MS
237 NULL, /* Language specific
238 class_name_from_physname. */
6aecb9c2
JB
239 d_op_print_tab, /* Expression operators for printing. */
240 1, /* C-style arrays. */
241 0, /* String lower bound. */
242 default_word_break_characters,
eb3ff9a5 243 default_collect_symbol_completion_matches,
94b1b47e 244 d_language_arch_info,
6aecb9c2
JB
245 default_print_array_index,
246 default_pass_by_reference,
43cc5389 247 c_watch_location_expression,
b5ec771e 248 NULL, /* la_get_symbol_name_matcher */
95cbceff 249 iterate_over_symbols,
5ffa0793 250 default_search_name_hash,
a53b64ea 251 &default_varobj_ops,
bb2ec1b3 252 NULL,
721b08c6 253 NULL,
4be290b2 254 c_is_string_type_p,
721b08c6 255 "{...}" /* la_struct_too_deep_ellipsis */
6aecb9c2
JB
256};
257
94b1b47e
IB
258/* Build all D language types for the specified architecture. */
259
260static void *
261build_d_types (struct gdbarch *gdbarch)
262{
263 struct builtin_d_type *builtin_d_type
264 = GDBARCH_OBSTACK_ZALLOC (gdbarch, struct builtin_d_type);
265
266 /* Basic types. */
267 builtin_d_type->builtin_void
77b7c781 268 = arch_type (gdbarch, TYPE_CODE_VOID, TARGET_CHAR_BIT, "void");
94b1b47e
IB
269 builtin_d_type->builtin_bool
270 = arch_boolean_type (gdbarch, 8, 1, "bool");
271 builtin_d_type->builtin_byte
272 = arch_integer_type (gdbarch, 8, 0, "byte");
273 builtin_d_type->builtin_ubyte
274 = arch_integer_type (gdbarch, 8, 1, "ubyte");
275 builtin_d_type->builtin_short
276 = arch_integer_type (gdbarch, 16, 0, "short");
277 builtin_d_type->builtin_ushort
278 = arch_integer_type (gdbarch, 16, 1, "ushort");
279 builtin_d_type->builtin_int
280 = arch_integer_type (gdbarch, 32, 0, "int");
281 builtin_d_type->builtin_uint
282 = arch_integer_type (gdbarch, 32, 1, "uint");
283 builtin_d_type->builtin_long
284 = arch_integer_type (gdbarch, 64, 0, "long");
285 builtin_d_type->builtin_ulong
286 = arch_integer_type (gdbarch, 64, 1, "ulong");
287 builtin_d_type->builtin_cent
288 = arch_integer_type (gdbarch, 128, 0, "cent");
289 builtin_d_type->builtin_ucent
290 = arch_integer_type (gdbarch, 128, 1, "ucent");
291 builtin_d_type->builtin_float
292 = arch_float_type (gdbarch, gdbarch_float_bit (gdbarch),
49f190bc 293 "float", gdbarch_float_format (gdbarch));
94b1b47e
IB
294 builtin_d_type->builtin_double
295 = arch_float_type (gdbarch, gdbarch_double_bit (gdbarch),
49f190bc 296 "double", gdbarch_double_format (gdbarch));
94b1b47e
IB
297 builtin_d_type->builtin_real
298 = arch_float_type (gdbarch, gdbarch_long_double_bit (gdbarch),
49f190bc 299 "real", gdbarch_long_double_format (gdbarch));
94b1b47e
IB
300
301 TYPE_INSTANCE_FLAGS (builtin_d_type->builtin_byte)
302 |= TYPE_INSTANCE_FLAG_NOTTEXT;
303 TYPE_INSTANCE_FLAGS (builtin_d_type->builtin_ubyte)
304 |= TYPE_INSTANCE_FLAG_NOTTEXT;
305
306 /* Imaginary and complex types. */
307 builtin_d_type->builtin_ifloat
308 = arch_float_type (gdbarch, gdbarch_float_bit (gdbarch),
49f190bc 309 "ifloat", gdbarch_float_format (gdbarch));
94b1b47e
IB
310 builtin_d_type->builtin_idouble
311 = arch_float_type (gdbarch, gdbarch_double_bit (gdbarch),
49f190bc 312 "idouble", gdbarch_double_format (gdbarch));
94b1b47e
IB
313 builtin_d_type->builtin_ireal
314 = arch_float_type (gdbarch, gdbarch_long_double_bit (gdbarch),
49f190bc 315 "ireal", gdbarch_long_double_format (gdbarch));
94b1b47e
IB
316 builtin_d_type->builtin_cfloat
317 = arch_complex_type (gdbarch, "cfloat",
318 builtin_d_type->builtin_float);
319 builtin_d_type->builtin_cdouble
320 = arch_complex_type (gdbarch, "cdouble",
321 builtin_d_type->builtin_double);
322 builtin_d_type->builtin_creal
323 = arch_complex_type (gdbarch, "creal",
324 builtin_d_type->builtin_real);
325
326 /* Character types. */
327 builtin_d_type->builtin_char
328 = arch_character_type (gdbarch, 8, 1, "char");
329 builtin_d_type->builtin_wchar
330 = arch_character_type (gdbarch, 16, 1, "wchar");
331 builtin_d_type->builtin_dchar
332 = arch_character_type (gdbarch, 32, 1, "dchar");
333
334 return builtin_d_type;
335}
336
337static struct gdbarch_data *d_type_data;
338
339/* Return the D type table for the specified architecture. */
340
341const struct builtin_d_type *
342builtin_d_type (struct gdbarch *gdbarch)
343{
9a3c8263 344 return (const struct builtin_d_type *) gdbarch_data (gdbarch, d_type_data);
94b1b47e
IB
345}
346
6aecb9c2
JB
347void
348_initialize_d_language (void)
349{
94b1b47e 350 d_type_data = gdbarch_data_register_post_init (build_d_types);
6aecb9c2 351}
This page took 0.685697 seconds and 4 git commands to generate.