1 /* D language support routines for GDB, the GNU debugger. 2 3 Copyright (C) 2005-2017 Free Software Foundation, Inc. 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" 21 #include "symtab.h" 22 #include "language.h" 23 #include "varobj.h" 24 #include "d-lang.h" 25 #include "c-lang.h" 26 #include "demangle.h" 27 #include "cp-support.h" 28 29 /* The name of the symbol to use to get the name of the main subprogram. */ 30 static const char D_MAIN[] = "D main"; 31 32 /* Function returning the special symbol name used by D for the main 33 procedure in the main program if it is found in minimal symbol list. 34 This function tries to find minimal symbols so that it finds them even 35 if the program was compiled without debugging information. */ 36 37 const char * 38 d_main_name (void) 39 { 40 struct bound_minimal_symbol msym; 41 42 msym = lookup_minimal_symbol (D_MAIN, NULL, NULL); 43 if (msym.minsym != NULL) 44 return D_MAIN; 45 46 /* No known entry procedure found, the main program is probably not D. */ 47 return NULL; 48 } 49 50 /* Implements the la_demangle language_defn routine for language D. */ 51 52 char * 53 d_demangle (const char *symbol, int options) 54 { 55 return gdb_demangle (symbol, options | DMGL_DLANG); 56 } 57 58 /* la_sniff_from_mangled_name implementation for D. */ 59 60 static int 61 d_sniff_from_mangled_name (const char *mangled, char **demangled) 62 { 63 *demangled = d_demangle (mangled, 0); 64 return *demangled != NULL; 65 } 66 67 /* Table mapping opcodes into strings for printing operators 68 and precedences of the operators. */ 69 static const struct op_print d_op_print_tab[] = 70 { 71 {",", BINOP_COMMA, PREC_COMMA, 0}, 72 {"=", BINOP_ASSIGN, PREC_ASSIGN, 1}, 73 {"||", BINOP_LOGICAL_OR, PREC_LOGICAL_OR, 0}, 74 {"&&", BINOP_LOGICAL_AND, PREC_LOGICAL_AND, 0}, 75 {"|", BINOP_BITWISE_IOR, PREC_BITWISE_IOR, 0}, 76 {"^", BINOP_BITWISE_XOR, PREC_BITWISE_XOR, 0}, 77 {"&", BINOP_BITWISE_AND, PREC_BITWISE_AND, 0}, 78 {"==", BINOP_EQUAL, PREC_ORDER, 0}, 79 {"!=", BINOP_NOTEQUAL, PREC_ORDER, 0}, 80 {"<=", BINOP_LEQ, PREC_ORDER, 0}, 81 {">=", BINOP_GEQ, PREC_ORDER, 0}, 82 {">", BINOP_GTR, PREC_ORDER, 0}, 83 {"<", BINOP_LESS, PREC_ORDER, 0}, 84 {">>", BINOP_RSH, PREC_SHIFT, 0}, 85 {"<<", BINOP_LSH, PREC_SHIFT, 0}, 86 {"+", BINOP_ADD, PREC_ADD, 0}, 87 {"-", BINOP_SUB, PREC_ADD, 0}, 88 {"~", BINOP_CONCAT, PREC_ADD, 0}, 89 {"*", BINOP_MUL, PREC_MUL, 0}, 90 {"/", BINOP_DIV, PREC_MUL, 0}, 91 {"%", BINOP_REM, PREC_MUL, 0}, 92 {"^^", BINOP_EXP, PREC_REPEAT, 0}, 93 {"@", BINOP_REPEAT, PREC_REPEAT, 0}, 94 {"-", UNOP_NEG, PREC_PREFIX, 0}, 95 {"!", UNOP_LOGICAL_NOT, PREC_PREFIX, 0}, 96 {"~", UNOP_COMPLEMENT, PREC_PREFIX, 0}, 97 {"*", UNOP_IND, PREC_PREFIX, 0}, 98 {"&", UNOP_ADDR, PREC_PREFIX, 0}, 99 {"sizeof ", UNOP_SIZEOF, PREC_PREFIX, 0}, 100 {"++", UNOP_PREINCREMENT, PREC_PREFIX, 0}, 101 {"--", UNOP_PREDECREMENT, PREC_PREFIX, 0}, 102 {NULL, OP_NULL, PREC_PREFIX, 0} 103 }; 104 105 /* Mapping of all D basic data types into the language vector. */ 106 107 enum d_primitive_types { 108 d_primitive_type_void, 109 d_primitive_type_bool, 110 d_primitive_type_byte, 111 d_primitive_type_ubyte, 112 d_primitive_type_short, 113 d_primitive_type_ushort, 114 d_primitive_type_int, 115 d_primitive_type_uint, 116 d_primitive_type_long, 117 d_primitive_type_ulong, 118 d_primitive_type_cent, /* Signed 128 bit integer. */ 119 d_primitive_type_ucent, /* Unsigned 128 bit integer. */ 120 d_primitive_type_float, 121 d_primitive_type_double, 122 d_primitive_type_real, 123 d_primitive_type_ifloat, /* Imaginary float types. */ 124 d_primitive_type_idouble, 125 d_primitive_type_ireal, 126 d_primitive_type_cfloat, /* Complex number of two float values. */ 127 d_primitive_type_cdouble, 128 d_primitive_type_creal, 129 d_primitive_type_char, /* Unsigned character types. */ 130 d_primitive_type_wchar, 131 d_primitive_type_dchar, 132 nr_d_primitive_types 133 }; 134 135 /* Implements the la_language_arch_info language_defn routine 136 for language D. */ 137 138 static void 139 d_language_arch_info (struct gdbarch *gdbarch, 140 struct language_arch_info *lai) 141 { 142 const struct builtin_d_type *builtin = builtin_d_type (gdbarch); 143 144 lai->string_char_type = builtin->builtin_char; 145 lai->primitive_type_vector 146 = GDBARCH_OBSTACK_CALLOC (gdbarch, nr_d_primitive_types + 1, 147 struct type *); 148 149 lai->primitive_type_vector [d_primitive_type_void] 150 = builtin->builtin_void; 151 lai->primitive_type_vector [d_primitive_type_bool] 152 = builtin->builtin_bool; 153 lai->primitive_type_vector [d_primitive_type_byte] 154 = builtin->builtin_byte; 155 lai->primitive_type_vector [d_primitive_type_ubyte] 156 = builtin->builtin_ubyte; 157 lai->primitive_type_vector [d_primitive_type_short] 158 = builtin->builtin_short; 159 lai->primitive_type_vector [d_primitive_type_ushort] 160 = builtin->builtin_ushort; 161 lai->primitive_type_vector [d_primitive_type_int] 162 = builtin->builtin_int; 163 lai->primitive_type_vector [d_primitive_type_uint] 164 = builtin->builtin_uint; 165 lai->primitive_type_vector [d_primitive_type_long] 166 = builtin->builtin_long; 167 lai->primitive_type_vector [d_primitive_type_ulong] 168 = builtin->builtin_ulong; 169 lai->primitive_type_vector [d_primitive_type_cent] 170 = builtin->builtin_cent; 171 lai->primitive_type_vector [d_primitive_type_ucent] 172 = builtin->builtin_ucent; 173 lai->primitive_type_vector [d_primitive_type_float] 174 = builtin->builtin_float; 175 lai->primitive_type_vector [d_primitive_type_double] 176 = builtin->builtin_double; 177 lai->primitive_type_vector [d_primitive_type_real] 178 = builtin->builtin_real; 179 lai->primitive_type_vector [d_primitive_type_ifloat] 180 = builtin->builtin_ifloat; 181 lai->primitive_type_vector [d_primitive_type_idouble] 182 = builtin->builtin_idouble; 183 lai->primitive_type_vector [d_primitive_type_ireal] 184 = builtin->builtin_ireal; 185 lai->primitive_type_vector [d_primitive_type_cfloat] 186 = builtin->builtin_cfloat; 187 lai->primitive_type_vector [d_primitive_type_cdouble] 188 = builtin->builtin_cdouble; 189 lai->primitive_type_vector [d_primitive_type_creal] 190 = builtin->builtin_creal; 191 lai->primitive_type_vector [d_primitive_type_char] 192 = builtin->builtin_char; 193 lai->primitive_type_vector [d_primitive_type_wchar] 194 = builtin->builtin_wchar; 195 lai->primitive_type_vector [d_primitive_type_dchar] 196 = builtin->builtin_dchar; 197 198 lai->bool_type_symbol = "bool"; 199 lai->bool_type_default = builtin->builtin_bool; 200 } 201 202 static const char *d_extensions[] = 203 { 204 ".d", NULL 205 }; 206 207 static const struct language_defn d_language_defn = 208 { 209 "d", 210 "D", 211 language_d, 212 range_check_off, 213 case_sensitive_on, 214 array_row_major, 215 macro_expansion_no, 216 d_extensions, 217 &exp_descriptor_c, 218 d_parse, 219 d_yyerror, 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. */ 225 c_print_typedef, /* Print a typedef using appropriate 226 syntax. */ 227 d_val_print, /* Print a value using appropriate syntax. */ 228 c_value_print, /* Print a top-level value. */ 229 default_read_var_value, /* la_read_var_value */ 230 NULL, /* Language specific skip_trampoline. */ 231 "this", 232 d_lookup_symbol_nonlocal, 233 basic_lookup_transparent_type, 234 d_demangle, /* Language specific symbol demangler. */ 235 d_sniff_from_mangled_name, 236 NULL, /* Language specific 237 class_name_from_physname. */ 238 d_op_print_tab, /* Expression operators for printing. */ 239 1, /* C-style arrays. */ 240 0, /* String lower bound. */ 241 default_word_break_characters, 242 default_make_symbol_completion_list, 243 d_language_arch_info, 244 default_print_array_index, 245 default_pass_by_reference, 246 c_get_string, 247 NULL, /* la_get_symbol_name_cmp */ 248 iterate_over_symbols, 249 &default_varobj_ops, 250 NULL, 251 NULL, 252 LANG_MAGIC 253 }; 254 255 /* Build all D language types for the specified architecture. */ 256 257 static void * 258 build_d_types (struct gdbarch *gdbarch) 259 { 260 struct builtin_d_type *builtin_d_type 261 = GDBARCH_OBSTACK_ZALLOC (gdbarch, struct builtin_d_type); 262 263 /* Basic types. */ 264 builtin_d_type->builtin_void 265 = arch_type (gdbarch, TYPE_CODE_VOID, 1, "void"); 266 builtin_d_type->builtin_bool 267 = arch_boolean_type (gdbarch, 8, 1, "bool"); 268 builtin_d_type->builtin_byte 269 = arch_integer_type (gdbarch, 8, 0, "byte"); 270 builtin_d_type->builtin_ubyte 271 = arch_integer_type (gdbarch, 8, 1, "ubyte"); 272 builtin_d_type->builtin_short 273 = arch_integer_type (gdbarch, 16, 0, "short"); 274 builtin_d_type->builtin_ushort 275 = arch_integer_type (gdbarch, 16, 1, "ushort"); 276 builtin_d_type->builtin_int 277 = arch_integer_type (gdbarch, 32, 0, "int"); 278 builtin_d_type->builtin_uint 279 = arch_integer_type (gdbarch, 32, 1, "uint"); 280 builtin_d_type->builtin_long 281 = arch_integer_type (gdbarch, 64, 0, "long"); 282 builtin_d_type->builtin_ulong 283 = arch_integer_type (gdbarch, 64, 1, "ulong"); 284 builtin_d_type->builtin_cent 285 = arch_integer_type (gdbarch, 128, 0, "cent"); 286 builtin_d_type->builtin_ucent 287 = arch_integer_type (gdbarch, 128, 1, "ucent"); 288 builtin_d_type->builtin_float 289 = arch_float_type (gdbarch, gdbarch_float_bit (gdbarch), 290 "float", gdbarch_float_format (gdbarch)); 291 builtin_d_type->builtin_double 292 = arch_float_type (gdbarch, gdbarch_double_bit (gdbarch), 293 "double", gdbarch_double_format (gdbarch)); 294 builtin_d_type->builtin_real 295 = arch_float_type (gdbarch, gdbarch_long_double_bit (gdbarch), 296 "real", gdbarch_long_double_format (gdbarch)); 297 298 TYPE_INSTANCE_FLAGS (builtin_d_type->builtin_byte) 299 |= TYPE_INSTANCE_FLAG_NOTTEXT; 300 TYPE_INSTANCE_FLAGS (builtin_d_type->builtin_ubyte) 301 |= TYPE_INSTANCE_FLAG_NOTTEXT; 302 303 /* Imaginary and complex types. */ 304 builtin_d_type->builtin_ifloat 305 = arch_float_type (gdbarch, gdbarch_float_bit (gdbarch), 306 "ifloat", gdbarch_float_format (gdbarch)); 307 builtin_d_type->builtin_idouble 308 = arch_float_type (gdbarch, gdbarch_double_bit (gdbarch), 309 "idouble", gdbarch_double_format (gdbarch)); 310 builtin_d_type->builtin_ireal 311 = arch_float_type (gdbarch, gdbarch_long_double_bit (gdbarch), 312 "ireal", gdbarch_long_double_format (gdbarch)); 313 builtin_d_type->builtin_cfloat 314 = arch_complex_type (gdbarch, "cfloat", 315 builtin_d_type->builtin_float); 316 builtin_d_type->builtin_cdouble 317 = arch_complex_type (gdbarch, "cdouble", 318 builtin_d_type->builtin_double); 319 builtin_d_type->builtin_creal 320 = arch_complex_type (gdbarch, "creal", 321 builtin_d_type->builtin_real); 322 323 /* Character types. */ 324 builtin_d_type->builtin_char 325 = arch_character_type (gdbarch, 8, 1, "char"); 326 builtin_d_type->builtin_wchar 327 = arch_character_type (gdbarch, 16, 1, "wchar"); 328 builtin_d_type->builtin_dchar 329 = arch_character_type (gdbarch, 32, 1, "dchar"); 330 331 return builtin_d_type; 332 } 333 334 static struct gdbarch_data *d_type_data; 335 336 /* Return the D type table for the specified architecture. */ 337 338 const struct builtin_d_type * 339 builtin_d_type (struct gdbarch *gdbarch) 340 { 341 return (const struct builtin_d_type *) gdbarch_data (gdbarch, d_type_data); 342 } 343 344 /* Provide a prototype to silence -Wmissing-prototypes. */ 345 extern initialize_file_ftype _initialize_d_language; 346 347 void 348 _initialize_d_language (void) 349 { 350 d_type_data = gdbarch_data_register_post_init (build_d_types); 351 352 add_language (&d_language_defn); 353 } 354