Obsolete harris 88k target.
[deliverable/binutils-gdb.git] / gdb / ch-lang.c
1 /* Chill language support routines for GDB, the GNU debugger.
2 Copyright 1992, 1993, 1994, 1995, 1996, 2000
3 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 2 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, write to the Free Software
19 Foundation, Inc., 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
21
22 #include "defs.h"
23 #include "symtab.h"
24 #include "gdbtypes.h"
25 #include "value.h"
26 #include "expression.h"
27 #include "parser-defs.h"
28 #include "language.h"
29 #include "ch-lang.h"
30 #include "valprint.h"
31
32 extern void _initialize_chill_language (void);
33
34 static value_ptr
35 evaluate_subexp_chill (struct type *, struct expression *, int *,
36 enum noside);
37
38 static value_ptr value_chill_max_min (enum exp_opcode, value_ptr);
39
40 static value_ptr value_chill_card (value_ptr);
41
42 static value_ptr value_chill_length (value_ptr);
43
44 static struct type *chill_create_fundamental_type (struct objfile *, int);
45
46 static void chill_printstr (struct ui_file * stream, char *string,
47 unsigned int length, int width,
48 int force_ellipses);
49
50 static void chill_printchar (int, struct ui_file *);
51
52 /* For now, Chill uses a simple mangling algorithm whereby you simply
53 discard everything after the occurance of two successive CPLUS_MARKER
54 characters to derive the demangled form. */
55
56 char *
57 chill_demangle (const char *mangled)
58 {
59 const char *joiner = NULL;
60 char *demangled;
61 const char *cp = mangled;
62
63 while (*cp)
64 {
65 if (is_cplus_marker (*cp))
66 {
67 joiner = cp;
68 break;
69 }
70 cp++;
71 }
72 if (joiner != NULL && *(joiner + 1) == *joiner)
73 {
74 demangled = savestring (mangled, joiner - mangled);
75 }
76 else
77 {
78 demangled = NULL;
79 }
80 return (demangled);
81 }
82
83 static void
84 chill_printchar (register int c, struct ui_file *stream)
85 {
86 c &= 0xFF; /* Avoid sign bit follies */
87
88 if (PRINT_LITERAL_FORM (c))
89 {
90 if (c == '\'' || c == '^')
91 fprintf_filtered (stream, "'%c%c'", c, c);
92 else
93 fprintf_filtered (stream, "'%c'", c);
94 }
95 else
96 {
97 fprintf_filtered (stream, "'^(%u)'", (unsigned int) c);
98 }
99 }
100
101 /* Print the character string STRING, printing at most LENGTH characters.
102 Printing stops early if the number hits print_max; repeat counts
103 are printed as appropriate. Print ellipses at the end if we
104 had to stop before printing LENGTH characters, or if FORCE_ELLIPSES.
105 Note that gdb maintains the length of strings without counting the
106 terminating null byte, while chill strings are typically written with
107 an explicit null byte. So we always assume an implied null byte
108 until gdb is able to maintain non-null terminated strings as well
109 as null terminated strings (FIXME).
110 */
111
112 static void
113 chill_printstr (struct ui_file *stream, char *string, unsigned int length,
114 int width, int force_ellipses)
115 {
116 register unsigned int i;
117 unsigned int things_printed = 0;
118 int in_literal_form = 0;
119 int in_control_form = 0;
120 int need_slashslash = 0;
121 unsigned int c;
122
123 if (length == 0)
124 {
125 fputs_filtered ("\"\"", stream);
126 return;
127 }
128
129 for (i = 0; i < length && things_printed < print_max; ++i)
130 {
131 /* Position of the character we are examining
132 to see whether it is repeated. */
133 unsigned int rep1;
134 /* Number of repetitions we have detected so far. */
135 unsigned int reps;
136
137 QUIT;
138
139 if (need_slashslash)
140 {
141 fputs_filtered ("//", stream);
142 need_slashslash = 0;
143 }
144
145 rep1 = i + 1;
146 reps = 1;
147 while (rep1 < length && string[rep1] == string[i])
148 {
149 ++rep1;
150 ++reps;
151 }
152
153 c = string[i];
154 if (reps > repeat_count_threshold)
155 {
156 if (in_control_form || in_literal_form)
157 {
158 if (in_control_form)
159 fputs_filtered (")", stream);
160 fputs_filtered ("\"//", stream);
161 in_control_form = in_literal_form = 0;
162 }
163 chill_printchar (c, stream);
164 fprintf_filtered (stream, "<repeats %u times>", reps);
165 i = rep1 - 1;
166 things_printed += repeat_count_threshold;
167 need_slashslash = 1;
168 }
169 else
170 {
171 if (!in_literal_form && !in_control_form)
172 fputs_filtered ("\"", stream);
173 if (PRINT_LITERAL_FORM (c))
174 {
175 if (!in_literal_form)
176 {
177 if (in_control_form)
178 {
179 fputs_filtered (")", stream);
180 in_control_form = 0;
181 }
182 in_literal_form = 1;
183 }
184 fprintf_filtered (stream, "%c", c);
185 if (c == '"' || c == '^')
186 /* duplicate this one as must be done at input */
187 fprintf_filtered (stream, "%c", c);
188 }
189 else
190 {
191 if (!in_control_form)
192 {
193 if (in_literal_form)
194 {
195 in_literal_form = 0;
196 }
197 fputs_filtered ("^(", stream);
198 in_control_form = 1;
199 }
200 else
201 fprintf_filtered (stream, ",");
202 c = c & 0xff;
203 fprintf_filtered (stream, "%u", (unsigned int) c);
204 }
205 ++things_printed;
206 }
207 }
208
209 /* Terminate the quotes if necessary. */
210 if (in_control_form)
211 {
212 fputs_filtered (")", stream);
213 }
214 if (in_literal_form || in_control_form)
215 {
216 fputs_filtered ("\"", stream);
217 }
218 if (force_ellipses || (i < length))
219 {
220 fputs_filtered ("...", stream);
221 }
222 }
223
224 static struct type *
225 chill_create_fundamental_type (struct objfile *objfile, int typeid)
226 {
227 register struct type *type = NULL;
228
229 switch (typeid)
230 {
231 default:
232 /* FIXME: For now, if we are asked to produce a type not in this
233 language, create the equivalent of a C integer type with the
234 name "<?type?>". When all the dust settles from the type
235 reconstruction work, this should probably become an error. */
236 type = init_type (TYPE_CODE_INT, 2, 0, "<?type?>", objfile);
237 warning ("internal error: no chill fundamental type %d", typeid);
238 break;
239 case FT_VOID:
240 /* FIXME: Currently the GNU Chill compiler emits some DWARF entries for
241 typedefs, unrelated to anything directly in the code being compiled,
242 that have some FT_VOID types. Just fake it for now. */
243 type = init_type (TYPE_CODE_VOID, 0, 0, "<?VOID?>", objfile);
244 break;
245 case FT_BOOLEAN:
246 type = init_type (TYPE_CODE_BOOL, 1, TYPE_FLAG_UNSIGNED, "BOOL", objfile);
247 break;
248 case FT_CHAR:
249 type = init_type (TYPE_CODE_CHAR, 1, TYPE_FLAG_UNSIGNED, "CHAR", objfile);
250 break;
251 case FT_SIGNED_CHAR:
252 type = init_type (TYPE_CODE_INT, 1, 0, "BYTE", objfile);
253 break;
254 case FT_UNSIGNED_CHAR:
255 type = init_type (TYPE_CODE_INT, 1, TYPE_FLAG_UNSIGNED, "UBYTE", objfile);
256 break;
257 case FT_SHORT: /* Chill ints are 2 bytes */
258 type = init_type (TYPE_CODE_INT, 2, 0, "INT", objfile);
259 break;
260 case FT_UNSIGNED_SHORT: /* Chill ints are 2 bytes */
261 type = init_type (TYPE_CODE_INT, 2, TYPE_FLAG_UNSIGNED, "UINT", objfile);
262 break;
263 case FT_INTEGER: /* FIXME? */
264 case FT_SIGNED_INTEGER: /* FIXME? */
265 case FT_LONG: /* Chill longs are 4 bytes */
266 case FT_SIGNED_LONG: /* Chill longs are 4 bytes */
267 type = init_type (TYPE_CODE_INT, 4, 0, "LONG", objfile);
268 break;
269 case FT_UNSIGNED_INTEGER: /* FIXME? */
270 case FT_UNSIGNED_LONG: /* Chill longs are 4 bytes */
271 type = init_type (TYPE_CODE_INT, 4, TYPE_FLAG_UNSIGNED, "ULONG", objfile);
272 break;
273 case FT_FLOAT:
274 type = init_type (TYPE_CODE_FLT, 4, 0, "REAL", objfile);
275 break;
276 case FT_DBL_PREC_FLOAT:
277 type = init_type (TYPE_CODE_FLT, 8, 0, "LONG_REAL", objfile);
278 break;
279 }
280 return (type);
281 }
282 \f
283
284 /* Table of operators and their precedences for printing expressions. */
285
286 static const struct op_print chill_op_print_tab[] =
287 {
288 {"AND", BINOP_LOGICAL_AND, PREC_LOGICAL_AND, 0},
289 {"OR", BINOP_LOGICAL_OR, PREC_LOGICAL_OR, 0},
290 {"NOT", UNOP_LOGICAL_NOT, PREC_PREFIX, 0},
291 {"MOD", BINOP_MOD, PREC_MUL, 0},
292 {"REM", BINOP_REM, PREC_MUL, 0},
293 {"SIZE", UNOP_SIZEOF, PREC_BUILTIN_FUNCTION, 0},
294 {"LOWER", UNOP_LOWER, PREC_BUILTIN_FUNCTION, 0},
295 {"UPPER", UNOP_UPPER, PREC_BUILTIN_FUNCTION, 0},
296 {"CARD", UNOP_CARD, PREC_BUILTIN_FUNCTION, 0},
297 {"MAX", UNOP_CHMAX, PREC_BUILTIN_FUNCTION, 0},
298 {"MIN", UNOP_CHMIN, PREC_BUILTIN_FUNCTION, 0},
299 {":=", BINOP_ASSIGN, PREC_ASSIGN, 1},
300 {"=", BINOP_EQUAL, PREC_EQUAL, 0},
301 {"/=", BINOP_NOTEQUAL, PREC_EQUAL, 0},
302 {"<=", BINOP_LEQ, PREC_ORDER, 0},
303 {">=", BINOP_GEQ, PREC_ORDER, 0},
304 {">", BINOP_GTR, PREC_ORDER, 0},
305 {"<", BINOP_LESS, PREC_ORDER, 0},
306 {"+", BINOP_ADD, PREC_ADD, 0},
307 {"-", BINOP_SUB, PREC_ADD, 0},
308 {"*", BINOP_MUL, PREC_MUL, 0},
309 {"/", BINOP_DIV, PREC_MUL, 0},
310 {"//", BINOP_CONCAT, PREC_PREFIX, 0}, /* FIXME: precedence? */
311 {"-", UNOP_NEG, PREC_PREFIX, 0},
312 {"->", UNOP_IND, PREC_SUFFIX, 1},
313 {"->", UNOP_ADDR, PREC_PREFIX, 0},
314 {":", BINOP_RANGE, PREC_ASSIGN, 0},
315 {NULL, 0, 0, 0}
316 };
317 \f
318 /* The built-in types of Chill. */
319
320 struct type *builtin_type_chill_bool;
321 struct type *builtin_type_chill_char;
322 struct type *builtin_type_chill_long;
323 struct type *builtin_type_chill_ulong;
324 struct type *builtin_type_chill_real;
325
326 struct type **CONST_PTR (chill_builtin_types[]) =
327 {
328 &builtin_type_chill_bool,
329 &builtin_type_chill_char,
330 &builtin_type_chill_long,
331 &builtin_type_chill_ulong,
332 &builtin_type_chill_real,
333 0
334 };
335
336 /* Calculate LOWER or UPPER of TYPE.
337 Returns the result as an integer.
338 *RESULT_TYPE is the appropriate type for the result. */
339
340 LONGEST
341 type_lower_upper (enum exp_opcode op, /* Either UNOP_LOWER or UNOP_UPPER */
342 struct type *type, struct type **result_type)
343 {
344 LONGEST low, high;
345 *result_type = type;
346 CHECK_TYPEDEF (type);
347 switch (TYPE_CODE (type))
348 {
349 case TYPE_CODE_STRUCT:
350 *result_type = builtin_type_int;
351 if (chill_varying_type (type))
352 return type_lower_upper (op, TYPE_FIELD_TYPE (type, 1), result_type);
353 break;
354 case TYPE_CODE_ARRAY:
355 case TYPE_CODE_BITSTRING:
356 case TYPE_CODE_STRING:
357 type = TYPE_FIELD_TYPE (type, 0); /* Get index type */
358
359 /* ... fall through ... */
360 case TYPE_CODE_RANGE:
361 *result_type = TYPE_TARGET_TYPE (type);
362 return op == UNOP_LOWER ? TYPE_LOW_BOUND (type) : TYPE_HIGH_BOUND (type);
363
364 case TYPE_CODE_ENUM:
365 case TYPE_CODE_BOOL:
366 case TYPE_CODE_INT:
367 case TYPE_CODE_CHAR:
368 if (get_discrete_bounds (type, &low, &high) >= 0)
369 {
370 *result_type = type;
371 return op == UNOP_LOWER ? low : high;
372 }
373 break;
374 case TYPE_CODE_UNDEF:
375 case TYPE_CODE_PTR:
376 case TYPE_CODE_UNION:
377 case TYPE_CODE_FUNC:
378 case TYPE_CODE_FLT:
379 case TYPE_CODE_VOID:
380 case TYPE_CODE_SET:
381 case TYPE_CODE_ERROR:
382 case TYPE_CODE_MEMBER:
383 case TYPE_CODE_METHOD:
384 case TYPE_CODE_REF:
385 case TYPE_CODE_COMPLEX:
386 default:
387 break;
388 }
389 error ("unknown mode for LOWER/UPPER builtin");
390 }
391
392 static value_ptr
393 value_chill_length (value_ptr val)
394 {
395 LONGEST tmp;
396 struct type *type = VALUE_TYPE (val);
397 struct type *ttype;
398 CHECK_TYPEDEF (type);
399 switch (TYPE_CODE (type))
400 {
401 case TYPE_CODE_ARRAY:
402 case TYPE_CODE_BITSTRING:
403 case TYPE_CODE_STRING:
404 tmp = type_lower_upper (UNOP_UPPER, type, &ttype)
405 - type_lower_upper (UNOP_LOWER, type, &ttype) + 1;
406 break;
407 case TYPE_CODE_STRUCT:
408 if (chill_varying_type (type))
409 {
410 tmp = unpack_long (TYPE_FIELD_TYPE (type, 0), VALUE_CONTENTS (val));
411 break;
412 }
413 /* ... else fall through ... */
414 default:
415 error ("bad argument to LENGTH builtin");
416 }
417 return value_from_longest (builtin_type_int, tmp);
418 }
419
420 static value_ptr
421 value_chill_card (value_ptr val)
422 {
423 LONGEST tmp = 0;
424 struct type *type = VALUE_TYPE (val);
425 CHECK_TYPEDEF (type);
426
427 if (TYPE_CODE (type) == TYPE_CODE_SET)
428 {
429 struct type *range_type = TYPE_INDEX_TYPE (type);
430 LONGEST lower_bound, upper_bound;
431 int i;
432
433 get_discrete_bounds (range_type, &lower_bound, &upper_bound);
434 for (i = lower_bound; i <= upper_bound; i++)
435 if (value_bit_index (type, VALUE_CONTENTS (val), i) > 0)
436 tmp++;
437 }
438 else
439 error ("bad argument to CARD builtin");
440
441 return value_from_longest (builtin_type_int, tmp);
442 }
443
444 static value_ptr
445 value_chill_max_min (enum exp_opcode op, value_ptr val)
446 {
447 LONGEST tmp = 0;
448 struct type *type = VALUE_TYPE (val);
449 struct type *elttype;
450 CHECK_TYPEDEF (type);
451
452 if (TYPE_CODE (type) == TYPE_CODE_SET)
453 {
454 LONGEST lower_bound, upper_bound;
455 int i, empty = 1;
456
457 elttype = TYPE_INDEX_TYPE (type);
458 CHECK_TYPEDEF (elttype);
459 get_discrete_bounds (elttype, &lower_bound, &upper_bound);
460
461 if (op == UNOP_CHMAX)
462 {
463 for (i = upper_bound; i >= lower_bound; i--)
464 {
465 if (value_bit_index (type, VALUE_CONTENTS (val), i) > 0)
466 {
467 tmp = i;
468 empty = 0;
469 break;
470 }
471 }
472 }
473 else
474 {
475 for (i = lower_bound; i <= upper_bound; i++)
476 {
477 if (value_bit_index (type, VALUE_CONTENTS (val), i) > 0)
478 {
479 tmp = i;
480 empty = 0;
481 break;
482 }
483 }
484 }
485 if (empty)
486 error ("%s for empty powerset", op == UNOP_CHMAX ? "MAX" : "MIN");
487 }
488 else
489 error ("bad argument to %s builtin", op == UNOP_CHMAX ? "MAX" : "MIN");
490
491 return value_from_longest (TYPE_CODE (elttype) == TYPE_CODE_RANGE
492 ? TYPE_TARGET_TYPE (elttype)
493 : elttype,
494 tmp);
495 }
496
497 static value_ptr
498 evaluate_subexp_chill (struct type *expect_type,
499 register struct expression *exp, register int *pos,
500 enum noside noside)
501 {
502 int pc = *pos;
503 struct type *type;
504 int tem, nargs;
505 value_ptr arg1;
506 value_ptr *argvec;
507 enum exp_opcode op = exp->elts[*pos].opcode;
508 switch (op)
509 {
510 case MULTI_SUBSCRIPT:
511 if (noside == EVAL_SKIP)
512 break;
513 (*pos) += 3;
514 nargs = longest_to_int (exp->elts[pc + 1].longconst);
515 arg1 = evaluate_subexp_with_coercion (exp, pos, noside);
516 type = check_typedef (VALUE_TYPE (arg1));
517
518 if (nargs == 1 && TYPE_CODE (type) == TYPE_CODE_INT)
519 {
520 /* Looks like string repetition. */
521 value_ptr string = evaluate_subexp_with_coercion (exp, pos, noside);
522 return value_concat (arg1, string);
523 }
524
525 switch (TYPE_CODE (type))
526 {
527 case TYPE_CODE_PTR:
528 type = check_typedef (TYPE_TARGET_TYPE (type));
529 if (!type || TYPE_CODE (type) != TYPE_CODE_FUNC)
530 error ("reference value used as function");
531 /* ... fall through ... */
532 case TYPE_CODE_FUNC:
533 /* It's a function call. */
534 if (noside == EVAL_AVOID_SIDE_EFFECTS)
535 break;
536
537 /* Allocate arg vector, including space for the function to be
538 called in argvec[0] and a terminating NULL */
539 argvec = (value_ptr *) alloca (sizeof (value_ptr) * (nargs + 2));
540 argvec[0] = arg1;
541 tem = 1;
542 for (; tem <= nargs && tem <= TYPE_NFIELDS (type); tem++)
543 {
544 argvec[tem]
545 = evaluate_subexp_chill (TYPE_FIELD_TYPE (type, tem - 1),
546 exp, pos, noside);
547 }
548 for (; tem <= nargs; tem++)
549 argvec[tem] = evaluate_subexp_with_coercion (exp, pos, noside);
550 argvec[tem] = 0; /* signal end of arglist */
551
552 return call_function_by_hand (argvec[0], nargs, argvec + 1);
553 default:
554 break;
555 }
556
557 while (nargs-- > 0)
558 {
559 value_ptr index = evaluate_subexp_with_coercion (exp, pos, noside);
560 arg1 = value_subscript (arg1, index);
561 }
562 return (arg1);
563
564 case UNOP_LOWER:
565 case UNOP_UPPER:
566 (*pos)++;
567 if (noside == EVAL_SKIP)
568 {
569 (*exp->language_defn->evaluate_exp) (NULL_TYPE, exp, pos, EVAL_SKIP);
570 goto nosideret;
571 }
572 arg1 = (*exp->language_defn->evaluate_exp) (NULL_TYPE, exp, pos,
573 EVAL_AVOID_SIDE_EFFECTS);
574 tem = type_lower_upper (op, VALUE_TYPE (arg1), &type);
575 return value_from_longest (type, tem);
576
577 case UNOP_LENGTH:
578 (*pos)++;
579 arg1 = (*exp->language_defn->evaluate_exp) (NULL_TYPE, exp, pos, noside);
580 return value_chill_length (arg1);
581
582 case UNOP_CARD:
583 (*pos)++;
584 arg1 = (*exp->language_defn->evaluate_exp) (NULL_TYPE, exp, pos, noside);
585 return value_chill_card (arg1);
586
587 case UNOP_CHMAX:
588 case UNOP_CHMIN:
589 (*pos)++;
590 arg1 = (*exp->language_defn->evaluate_exp) (NULL_TYPE, exp, pos, noside);
591 return value_chill_max_min (op, arg1);
592
593 case BINOP_COMMA:
594 error ("',' operator used in invalid context");
595
596 default:
597 break;
598 }
599
600 return evaluate_subexp_standard (expect_type, exp, pos, noside);
601 nosideret:
602 return value_from_longest (builtin_type_long, (LONGEST) 1);
603 }
604
605 const struct language_defn chill_language_defn =
606 {
607 "chill",
608 language_chill,
609 chill_builtin_types,
610 range_check_on,
611 type_check_on,
612 case_sensitive_on,
613 chill_parse, /* parser */
614 chill_error, /* parser error function */
615 evaluate_subexp_chill,
616 chill_printchar, /* print a character constant */
617 chill_printstr, /* function to print a string constant */
618 NULL, /* Function to print a single char */
619 chill_create_fundamental_type, /* Create fundamental type in this language */
620 chill_print_type, /* Print a type using appropriate syntax */
621 chill_val_print, /* Print a value using appropriate syntax */
622 chill_value_print, /* Print a top-levl value */
623 {"", "B'", "", ""}, /* Binary format info */
624 {"O'%lo", "O'", "o", ""}, /* Octal format info */
625 {"D'%ld", "D'", "d", ""}, /* Decimal format info */
626 {"H'%lx", "H'", "x", ""}, /* Hex format info */
627 chill_op_print_tab, /* expression operators for printing */
628 0, /* arrays are first-class (not c-style) */
629 0, /* String lower bound */
630 &builtin_type_chill_char, /* Type of string elements */
631 LANG_MAGIC
632 };
633
634 /* Initialization for Chill */
635
636 void
637 _initialize_chill_language (void)
638 {
639 builtin_type_chill_bool =
640 init_type (TYPE_CODE_BOOL, TARGET_CHAR_BIT / TARGET_CHAR_BIT,
641 TYPE_FLAG_UNSIGNED,
642 "BOOL", (struct objfile *) NULL);
643 builtin_type_chill_char =
644 init_type (TYPE_CODE_CHAR, TARGET_CHAR_BIT / TARGET_CHAR_BIT,
645 TYPE_FLAG_UNSIGNED,
646 "CHAR", (struct objfile *) NULL);
647 builtin_type_chill_long =
648 init_type (TYPE_CODE_INT, TARGET_LONG_BIT / TARGET_CHAR_BIT,
649 0,
650 "LONG", (struct objfile *) NULL);
651 builtin_type_chill_ulong =
652 init_type (TYPE_CODE_INT, TARGET_LONG_BIT / TARGET_CHAR_BIT,
653 TYPE_FLAG_UNSIGNED,
654 "ULONG", (struct objfile *) NULL);
655 builtin_type_chill_real =
656 init_type (TYPE_CODE_FLT, TARGET_DOUBLE_BIT / TARGET_CHAR_BIT,
657 0,
658 "LONG_REAL", (struct objfile *) NULL);
659
660 add_language (&chill_language_defn);
661 }
This page took 0.059248 seconds and 4 git commands to generate.