]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blob - gas/config/tc-dlx.c
Convert more variables to a constant form.
[thirdparty/binutils-gdb.git] / gas / config / tc-dlx.c
1 /* tc-dlx.c -- Assemble for the DLX
2 Copyright (C) 2002-2016 Free Software Foundation, Inc.
3
4 This file is part of GAS, the GNU Assembler.
5
6 GAS is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3, or (at your option)
9 any later version.
10
11 GAS is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with GAS; see the file COPYING. If not, write to the Free
18 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
19 02110-1301, USA. */
20
21 /* Initially created by Kuang Hwa Lin, 3/20/2002. */
22
23 #include "as.h"
24 #include "safe-ctype.h"
25 #include "tc-dlx.h"
26 #include "opcode/dlx.h"
27
28 /* Make it easier to clone this machine desc into another one. */
29 #define machine_opcode dlx_opcode
30 #define machine_opcodes dlx_opcodes
31 #define machine_ip dlx_ip
32 #define machine_it dlx_it
33
34 #define NO_RELOC BFD_RELOC_NONE
35 #define RELOC_DLX_REL26 BFD_RELOC_DLX_JMP26
36 #define RELOC_DLX_16 BFD_RELOC_16
37 #define RELOC_DLX_REL16 BFD_RELOC_16_PCREL_S2
38 #define RELOC_DLX_HI16 BFD_RELOC_HI16_S
39 #define RELOC_DLX_LO16 BFD_RELOC_LO16
40 #define RELOC_DLX_VTINHERIT BFD_RELOC_VTABLE_INHERIT
41 #define RELOC_DLX_VTENTRY BFD_RELOC_VTABLE_ENTRY
42
43 /* handle of the OPCODE hash table */
44 static struct hash_control *op_hash = NULL;
45
46 struct machine_it
47 {
48 char *error;
49 unsigned long opcode;
50 struct nlist *nlistp;
51 expressionS exp;
52 int pcrel;
53 int size;
54 int reloc_offset; /* Offset of reloc within insn. */
55 int reloc;
56 int HI;
57 int LO;
58 }
59 the_insn;
60
61 /* This array holds the chars that always start a comment. If the
62 pre-processor is disabled, these aren't very useful. */
63 const char comment_chars[] = ";";
64
65 /* This array holds the chars that only start a comment at the beginning of
66 a line. If the line seems to have the form '# 123 filename'
67 .line and .file directives will appear in the pre-processed output. */
68 /* Note that input_file.c hand checks for '#' at the beginning of the
69 first line of the input file. This is because the compiler outputs
70 #NO_APP at the beginning of its output. */
71 /* Also note that comments like this one will always work. */
72 const char line_comment_chars[] = "#";
73
74 /* We needed an unused char for line separation to work around the
75 lack of macros, using sed and such. */
76 const char line_separator_chars[] = "@";
77
78 /* Chars that can be used to separate mant from exp in floating point nums. */
79 const char EXP_CHARS[] = "eE";
80
81 /* Chars that mean this number is a floating point constant.
82 As in 0f12.456
83 or 0d1.2345e12. */
84 const char FLT_CHARS[] = "rRsSfFdDxXpP";
85
86 static void
87 insert_sreg (const char *regname, int regnum)
88 {
89 /* Must be large enough to hold the names of the special registers. */
90 char buf[80];
91 int i;
92
93 symbol_table_insert (symbol_new (regname, reg_section, (valueT) regnum,
94 &zero_address_frag));
95 for (i = 0; regname[i]; i++)
96 buf[i] = ISLOWER (regname[i]) ? TOUPPER (regname[i]) : regname[i];
97 buf[i] = '\0';
98
99 symbol_table_insert (symbol_new (buf, reg_section, (valueT) regnum,
100 &zero_address_frag));
101 }
102
103 /* Install symbol definitions for assorted special registers.
104 See MIPS Assembly Language Programmer's Guide page 1-4 */
105
106 static void
107 define_some_regs (void)
108 {
109 /* Software representation. */
110 insert_sreg ("zero", 0);
111 insert_sreg ("at", 1);
112 insert_sreg ("v0", 2);
113 insert_sreg ("v1", 3);
114 insert_sreg ("a0", 4);
115 insert_sreg ("a1", 5);
116 insert_sreg ("a2", 6);
117 insert_sreg ("a3", 7);
118 insert_sreg ("t0", 8);
119 insert_sreg ("t1", 9);
120 insert_sreg ("t2", 10);
121 insert_sreg ("t3", 11);
122 insert_sreg ("t4", 12);
123 insert_sreg ("t5", 13);
124 insert_sreg ("t6", 14);
125 insert_sreg ("t7", 15);
126 insert_sreg ("s0", 16);
127 insert_sreg ("s1", 17);
128 insert_sreg ("s2", 18);
129 insert_sreg ("s3", 19);
130 insert_sreg ("s4", 20);
131 insert_sreg ("s5", 21);
132 insert_sreg ("s6", 22);
133 insert_sreg ("s7", 23);
134 insert_sreg ("t8", 24);
135 insert_sreg ("t9", 25);
136 insert_sreg ("k0", 26);
137 insert_sreg ("k1", 27);
138 insert_sreg ("gp", 28);
139 insert_sreg ("sp", 29);
140 insert_sreg ("fp", 30);
141 insert_sreg ("ra", 31);
142 /* Special registers. */
143 insert_sreg ("pc", 0);
144 insert_sreg ("npc", 1);
145 insert_sreg ("iad", 2);
146 }
147
148 /* Subroutine check the string to match an register. */
149
150 static int
151 match_sft_register (char *name)
152 {
153 #define MAX_REG_NO 35
154 /* Currently we have 35 software registers defined -
155 we borrowed from MIPS. */
156 static const char *soft_reg[] =
157 {
158 "zero", "at", "v0", "v1", "a0", "a1", "a2", "a3",
159 "t0", "t1", "t2", "t3", "t4", "t5", "t6", "t7", "t8", "t9",
160 "s0", "s1", "s2", "s3", "s4", "s5", "s7", "k0", "k1",
161 "gp", "sp", "fp", "ra", "pc", "npc", "iad",
162 "EndofTab" /* End of the Table indicator */
163 };
164 char low_name[21], *ptr;
165 int idx;
166
167 for (ptr = name,idx = 0; *ptr != '\0'; ptr++)
168 low_name[idx++] = TOLOWER (*ptr);
169
170 low_name[idx] = '\0';
171 idx = 0;
172
173 while (idx < MAX_REG_NO && strcmp (soft_reg[idx], & low_name [0]))
174 idx += 1;
175
176 return idx < MAX_REG_NO;
177 }
178
179 /* Subroutine check the string to match an register. */
180
181 static int
182 is_ldst_registers (char *name)
183 {
184 char *ptr = name;
185
186 /* The first character of the register name got to be either %, $, r of R. */
187 if ((ptr[0] == '%' || ptr[0] == '$' || ptr[0] == 'r' || ptr[0] == 'R')
188 && ISDIGIT ((unsigned char) ptr[1]))
189 return 1;
190
191 /* Now check the software register representation. */
192 return match_sft_register (ptr);
193 }
194
195 /* Subroutine of s_proc so targets can choose a different default prefix.
196 If DEFAULT_PREFIX is NULL, use the target's "leading char". */
197
198 static void
199 s_proc (int end_p)
200 {
201 /* Record the current function so that we can issue an error message for
202 misplaced .func,.endfunc, and also so that .endfunc needs no
203 arguments. */
204 static char *current_name;
205 static char *current_label;
206
207 if (end_p)
208 {
209 if (current_name == NULL)
210 {
211 as_bad (_("missing .proc"));
212 ignore_rest_of_line ();
213 return;
214 }
215
216 current_name = current_label = NULL;
217 SKIP_WHITESPACE ();
218 while (!is_end_of_line[(unsigned char) *input_line_pointer])
219 input_line_pointer++;
220 }
221 else
222 {
223 char *name, *label;
224 char delim1, delim2;
225
226 if (current_name != NULL)
227 {
228 as_bad (_(".endfunc missing for previous .proc"));
229 ignore_rest_of_line ();
230 return;
231 }
232
233 delim1 = get_symbol_name (&name);
234 name = xstrdup (name);
235 *input_line_pointer = delim1;
236 SKIP_WHITESPACE_AFTER_NAME ();
237
238 if (*input_line_pointer != ',')
239 {
240 char leading_char = 0;
241
242 leading_char = bfd_get_symbol_leading_char (stdoutput);
243 /* Missing entry point, use function's name with the leading
244 char prepended. */
245 if (leading_char)
246 {
247 unsigned len = strlen (name) + 1;
248 label = xmalloc (len + 1);
249 label[0] = leading_char;
250 memcpy (label + 1, name, len);
251 }
252 else
253 label = name;
254 }
255 else
256 {
257 ++input_line_pointer;
258 SKIP_WHITESPACE ();
259 delim2 = get_symbol_name (&label);
260 label = xstrdup (label);
261 (void) restore_line_pointer (delim2);
262 }
263
264 current_name = name;
265 current_label = label;
266 }
267 demand_empty_rest_of_line ();
268 }
269
270 /* This function is called once, at assembler startup time. It should
271 set up all the tables, etc., that the MD part of the assembler will
272 need. */
273
274 void
275 md_begin (void)
276 {
277 const char *retval = NULL;
278 int lose = 0;
279 unsigned int i;
280
281 /* Create a new hash table. */
282 op_hash = hash_new ();
283
284 /* Hash up all the opcodes for fast use later. */
285 for (i = 0; i < num_dlx_opcodes; i++)
286 {
287 const char *name = machine_opcodes[i].name;
288
289 retval = hash_insert (op_hash, name, (void *) &machine_opcodes[i]);
290
291 if (retval != NULL)
292 {
293 fprintf (stderr, _("internal error: can't hash `%s': %s\n"),
294 machine_opcodes[i].name, retval);
295 lose = 1;
296 }
297 }
298
299 if (lose)
300 as_fatal (_("Broken assembler. No assembly attempted."));
301
302 define_some_regs ();
303 }
304
305 /* This function will check the opcode and return 1 if the opcode is one
306 of the load/store instruction, and it will fix the operand string to
307 the standard form so we can use the standard parse_operand routine. */
308
309 #define READ_OP 0x100
310 #define WRITE_OP 0x200
311 static char iBuf[81];
312
313 static char *
314 dlx_parse_loadop (char * str)
315 {
316 char *ptr = str;
317 int idx = 0;
318
319 /* The last pair of ()/[] is the register, all other are the
320 reloc displacement, and if there is a register then it ought
321 to have a pair of ()/[]
322 This is not necessarily true, what if the load instruction come
323 without the register and with %hi/%lo modifier? */
324 for (idx = 0; idx < 72 && ptr[idx] != '\0'; idx++)
325 ;
326
327 if (idx == 72)
328 {
329 badoperand_load:
330 as_bad (_("Bad operand for a load instruction: <%s>"), str);
331 return NULL;
332 }
333 else
334 {
335 int i, pb = 0;
336 int m2 = 0;
337 char rs1[7], rd[7], endm, match = '0';
338 char imm[72];
339
340 idx -= 1;
341 switch (str[idx])
342 {
343 case ')':
344 match = '(';
345 endm = ')';
346 break;
347 case ']':
348 match = '[';
349 endm = ']';
350 break;
351 default:
352 /* No register indicated, fill in zero. */
353 rs1[0] = 'r';
354 rs1[1] = '0';
355 rs1[2] = '\0';
356 match = 0;
357 endm = 0;
358 m2 = 1;
359 }
360
361 if (!m2)
362 {
363 /* Searching for (/[ which will match the ]/). */
364 for (pb = idx - 1; str[pb] != match; pb -= 1)
365 /* Match can only be either '[' or '(', if it is
366 '(' then this can be a normal expression, we'll treat
367 it as an operand. */
368 if (str[pb] == endm || pb < (idx - 5))
369 goto load_no_rs1;
370 pb += 1;
371
372 for (i = 0; (pb + i) < idx; i++)
373 rs1[i] = str[pb+i];
374
375 rs1[i] = '\0';
376
377 if (is_ldst_registers (& rs1[0]))
378 /* Point to the last character of the imm. */
379 pb -= 1;
380 else
381 {
382 load_no_rs1:
383 if (match == '[')
384 goto badoperand_load;
385 /* No register indicated, fill in zero and restore the imm. */
386 rs1[0] = 'r';
387 rs1[1] = '0';
388 rs1[2] = '\0';
389 m2 = 1;
390 }
391 }
392
393 /* Duplicate the first register. */
394 for (i = 0; i < 7 && str[i] != ','; i++)
395 rd[i] = ptr[i];
396
397 if (str[i] != ',')
398 goto badoperand_load;
399 else
400 rd[i] = '\0';
401
402 /* Copy the immd. */
403 if (m2)
404 /* Put the '\0' back in. */
405 pb = idx + 1;
406
407 for (i++, m2 = 0; i < pb; m2++,i++)
408 imm[m2] = ptr[i];
409
410 imm[m2] = '\0';
411
412 /* Assemble the instruction to gas internal format. */
413 for (i = 0; rd[i] != '\0'; i++)
414 iBuf[i] = rd[i];
415
416 iBuf[i++] = ',';
417
418 for (pb = 0 ; rs1[pb] != '\0'; i++, pb++)
419 iBuf[i] = rs1[pb];
420
421 iBuf[i++] = ',';
422
423 for (pb = 0; imm[pb] != '\0'; i++, pb++)
424 iBuf[i] = imm[pb];
425
426 iBuf[i] = '\0';
427 return iBuf;
428 }
429 }
430
431 static char *
432 dlx_parse_storeop (char * str)
433 {
434 char *ptr = str;
435 int idx = 0;
436
437 /* Search for the ','. */
438 for (idx = 0; idx < 72 && ptr[idx] != ','; idx++)
439 ;
440
441 if (idx == 72)
442 {
443 badoperand_store:
444 as_bad (_("Bad operand for a store instruction: <%s>"), str);
445 return NULL;
446 }
447 else
448 {
449 /* idx now points to the ','. */
450 int i, pb = 0;
451 int comma = idx;
452 int m2 = 0;
453 char rs1[7], rd[7], endm, match = '0';
454 char imm[72];
455
456 /* Now parse the '(' and ')', and make idx point to ')'. */
457 idx -= 1;
458 switch (str[idx])
459 {
460 case ')':
461 match = '(';
462 endm = ')';
463 break;
464 case ']':
465 match = '[';
466 endm = ']';
467 break;
468 default:
469 /* No register indicated, fill in zero. */
470 rs1[0] = 'r';
471 rs1[1] = '0';
472 rs1[2] = '\0';
473 match = 0;
474 endm = 0;
475 m2 = 1;
476 }
477
478 if (!m2)
479 {
480 /* Searching for (/[ which will match the ]/). */
481 for (pb = idx - 1; str[pb] != match; pb -= 1)
482 if (pb < (idx - 5) || str[pb] == endm)
483 goto store_no_rs1;
484 pb += 1;
485
486 for (i = 0; (pb + i) < idx; i++)
487 rs1[i] = str[pb + i];
488
489 rs1[i] = '\0';
490
491 if (is_ldst_registers (& rs1[0]))
492 /* Point to the last character of the imm. */
493 pb -= 1;
494 else
495 {
496 store_no_rs1:
497 if (match == '[')
498 goto badoperand_store;
499
500 /* No register indicated, fill in zero and restore the imm. */
501 rs1[0] = 'r';
502 rs1[1] = '0';
503 rs1[2] = '\0';
504 pb = comma;
505 }
506 }
507 else
508 /* No register was specified. */
509 pb = comma;
510
511 /* Duplicate the first register. */
512 for (i = comma + 1; (str[i] == ' ' || str[i] == '\t'); i++)
513 ;
514
515 for (m2 = 0; (m2 < 7 && str[i] != '\0'); i++, m2++)
516 {
517 if (str[i] != ' ' && str[i] != '\t')
518 rd[m2] = str[i];
519 else
520 goto badoperand_store;
521 }
522
523 if (str[i] != '\0')
524 goto badoperand_store;
525 else
526 rd[m2] = '\0';
527
528 /* Copy the immd. */
529 for (i = 0; i < pb; i++)
530 imm[i] = ptr[i];
531
532 imm[i] = '\0';
533
534 /* Assemble the instruction to gas internal format. */
535 for (i = 0; rd[i] != '\0'; i++)
536 iBuf[i] = rd[i];
537 iBuf[i++] = ',';
538 for (pb = 0 ; rs1[pb] != '\0'; i++, pb++)
539 iBuf[i] = rs1[pb];
540 iBuf[i++] = ',';
541 for (pb = 0; imm[pb] != '\0'; i++, pb++)
542 iBuf[i] = imm[pb];
543 iBuf[i] = '\0';
544 return iBuf;
545 }
546 }
547
548 static char *
549 fix_ld_st_operand (unsigned long opcode, char* str)
550 {
551 /* Check the opcode. */
552 switch ((int) opcode)
553 {
554 case LBOP:
555 case LBUOP:
556 case LSBUOP:
557 case LHOP:
558 case LHUOP:
559 case LSHUOP:
560 case LWOP:
561 case LSWOP:
562 return dlx_parse_loadop (str);
563 case SBOP:
564 case SHOP:
565 case SWOP:
566 return dlx_parse_storeop (str);
567 default:
568 return str;
569 }
570 }
571
572 static int
573 hilo_modifier_ok (char *s)
574 {
575 char *ptr = s;
576 int idx, count = 1;
577
578 if (*ptr != '(')
579 return 1;
580
581 for (idx = 1; ptr[idx] != '\0' && ptr[idx] != '[' && idx < 73; idx += 1)
582 {
583 if (count == 0)
584 return count;
585
586 if (ptr[idx] == '(')
587 count += 1;
588
589 if (ptr[idx] == ')')
590 count -= 1;
591 }
592
593 return (count == 0) ? 1:0;
594 }
595
596 static char *
597 parse_operand (char *s, expressionS *operandp)
598 {
599 char *save = input_line_pointer;
600 char *new_pos;
601
602 the_insn.HI = the_insn.LO = 0;
603
604 /* Search for %hi and %lo, make a mark and skip it. */
605 if (strncmp (s, "%hi", 3) == 0)
606 {
607 s += 3;
608 the_insn.HI = 1;
609 }
610 else
611 {
612 if (strncmp (s, "%lo", 3) == 0)
613 {
614 s += 3;
615 the_insn.LO = 1;
616 }
617 else
618 the_insn.LO = 0;
619 }
620
621 if (the_insn.HI || the_insn.LO)
622 {
623 if (!hilo_modifier_ok (s))
624 as_bad (_("Expression Error for operand modifier %%hi/%%lo\n"));
625 }
626
627 /* Check for the % and $ register representation */
628 if ((s[0] == '%' || s[0] == '$' || s[0] == 'r' || s[0] == 'R')
629 && ISDIGIT ((unsigned char) s[1]))
630 {
631 /* We have a numeric register expression. No biggy. */
632 s += 1;
633 input_line_pointer = s;
634 (void) expression (operandp);
635 if (operandp->X_op != O_constant
636 || operandp->X_add_number > 31)
637 as_bad (_("Invalid expression after %%%%\n"));
638 operandp->X_op = O_register;
639 }
640 else
641 {
642 /* Normal operand parsing. */
643 input_line_pointer = s;
644 (void) expression (operandp);
645 }
646
647 new_pos = input_line_pointer;
648 input_line_pointer = save;
649 return new_pos;
650 }
651
652 /* Instruction parsing. Takes a string containing the opcode.
653 Operands are at input_line_pointer. Output is in the_insn.
654 Warnings or errors are generated. */
655
656 static void
657 machine_ip (char *str)
658 {
659 char *s;
660 const char *args;
661 struct machine_opcode *insn;
662 unsigned long opcode;
663 expressionS the_operand;
664 expressionS *operand = &the_operand;
665 unsigned int reg, reg_shift = 0;
666
667 memset (&the_insn, '\0', sizeof (the_insn));
668 the_insn.reloc = NO_RELOC;
669
670 /* Fixup the opcode string to all lower cases, and also
671 allow numerical digits. */
672 s = str;
673
674 if (ISALPHA (*s))
675 for (; ISALNUM (*s); ++s)
676 if (ISUPPER (*s))
677 *s = TOLOWER (*s);
678
679 switch (*s)
680 {
681 case '\0':
682 break;
683
684 /* FIXME-SOMEDAY more whitespace. */
685 case ' ':
686 *s++ = '\0';
687 break;
688
689 default:
690 as_bad (_("Unknown opcode: `%s'"), str);
691 return;
692 }
693
694 /* Hash the opcode, insn will have the string from opcode table. */
695 if ((insn = (struct machine_opcode *) hash_find (op_hash, str)) == NULL)
696 {
697 /* Handle the ret and return macro here. */
698 if ((strcmp (str, "ret") == 0) || (strcmp (str, "return") == 0))
699 the_insn.opcode = JROP | 0x03e00000; /* 0x03e00000 = r31 << 21 */
700 else
701 as_bad (_("Unknown opcode `%s'."), str);
702
703 return;
704 }
705
706 opcode = insn->opcode;
707
708 /* Set the sip reloc HI16 flag. */
709 if (!set_dlx_skip_hi16_flag (1))
710 as_bad (_("Can not set dlx_skip_hi16_flag"));
711
712 /* Fix the operand string if it is one of load store instructions. */
713 s = fix_ld_st_operand (opcode, s);
714
715 /* Build the opcode, checking as we go to make sure that the
716 operands match.
717 If an operand matches, we modify the_insn or opcode appropriately,
718 and do a "continue". If an operand fails to match, we "break". */
719 if (insn->args[0] != '\0' && insn->args[0] != 'N')
720 {
721 /* Prime the pump. */
722 if (*s == '\0')
723 {
724 as_bad (_("Missing arguments for opcode <%s>."), str);
725 return;
726 }
727 else
728 s = parse_operand (s, operand);
729 }
730 else if (insn->args[0] == 'N')
731 {
732 /* Clean up the insn and done! */
733 the_insn.opcode = opcode;
734 return;
735 }
736
737 /* Parse through the args (this is from opcode table), *s point to
738 the current character of the instruction stream. */
739 for (args = insn->args;; ++args)
740 {
741 switch (*args)
742 {
743 /* End of Line. */
744 case '\0':
745 /* End of args. */
746 if (*s == '\0')
747 {
748 /* We are truly done. */
749 the_insn.opcode = opcode;
750 /* Clean up the HI and LO mark. */
751 the_insn.HI = 0;
752 the_insn.LO = 0;
753 return;
754 }
755
756 the_insn.HI = 0;
757 the_insn.LO = 0;
758 as_bad (_("Too many operands: %s"), s);
759 break;
760
761 /* ',' Args separator */
762 case ',':
763 /* Must match a comma. */
764 if (*s++ == ',')
765 {
766 /* Parse next operand. */
767 s = parse_operand (s, operand);
768 continue;
769 }
770 break;
771
772 /* It can be a 'a' register or 'i' operand. */
773 case 'P':
774 /* Macro move operand/reg. */
775 if (operand->X_op == O_register)
776 {
777 /* Its a register. */
778 reg_shift = 21;
779 goto general_reg;
780 }
781
782 /* The immediate 16 bits literal, bit 0-15. */
783 case 'i':
784 /* offset, unsigned. */
785 case 'I':
786 /* offset, signed. */
787 if (operand->X_op == O_constant)
788 {
789 if (the_insn.HI)
790 operand->X_add_number >>= 16;
791
792 opcode |= operand->X_add_number & 0xFFFF;
793
794 if (the_insn.HI && the_insn.LO)
795 as_bad (_("Both the_insn.HI and the_insn.LO are set : %s"), s);
796 else
797 {
798 the_insn.HI = 0;
799 the_insn.LO = 0;
800 }
801 continue;
802 }
803
804 the_insn.reloc = (the_insn.HI) ? RELOC_DLX_HI16
805 : (the_insn.LO ? RELOC_DLX_LO16 : RELOC_DLX_16);
806 the_insn.reloc_offset = 2;
807 the_insn.size = 2;
808 the_insn.pcrel = 0;
809 the_insn.exp = * operand;
810 the_insn.HI = 0;
811 the_insn.LO = 0;
812 continue;
813
814 case 'd':
815 /* offset, signed. */
816 if (operand->X_op == O_constant)
817 {
818 opcode |= operand->X_add_number & 0xFFFF;
819 continue;
820 }
821 the_insn.reloc = RELOC_DLX_REL16;
822 the_insn.reloc_offset = 0; /* BIG-ENDIAN Byte 3 of insn. */
823 the_insn.size = 4;
824 the_insn.pcrel = 1;
825 the_insn.exp = *operand;
826 continue;
827
828 /* The immediate 26 bits literal, bit 0-25. */
829 case 'D':
830 /* offset, signed. */
831 if (operand->X_op == O_constant)
832 {
833 opcode |= operand->X_add_number & 0x3FFFFFF;
834 continue;
835 }
836 the_insn.reloc = RELOC_DLX_REL26;
837 the_insn.reloc_offset = 0; /* BIG-ENDIAN Byte 3 of insn. */
838 the_insn.size = 4;
839 the_insn.pcrel = 1;
840 the_insn.exp = *operand;
841 continue;
842
843 /* Type 'a' Register. */
844 case 'a':
845 /* A general register at bits 21-25, rs1. */
846 reg_shift = 21;
847 goto general_reg;
848
849 /* Type 'b' Register. */
850 case 'b':
851 /* A general register at bits 16-20, rs2/rd. */
852 reg_shift = 16;
853 goto general_reg;
854
855 /* Type 'c' Register. */
856 case 'c':
857 /* A general register at bits 11-15, rd. */
858 reg_shift = 11;
859
860 general_reg:
861 know (operand->X_add_symbol == 0);
862 know (operand->X_op_symbol == 0);
863 reg = operand->X_add_number;
864 if (reg & 0xffffffe0)
865 as_fatal (_("failed regnum sanity check."));
866 else
867 /* Got the register, now figure out where it goes in the opcode. */
868 opcode |= reg << reg_shift;
869
870 switch (*args)
871 {
872 case 'a':
873 case 'b':
874 case 'c':
875 case 'P':
876 continue;
877 }
878 as_fatal (_("failed general register sanity check."));
879 break;
880
881 default:
882 BAD_CASE (*args);
883 }
884
885 /* Types or values of args don't match. */
886 as_bad (_("Invalid operands"));
887 return;
888 }
889 }
890
891 /* Assemble a single instruction. Its label has already been handled
892 by the generic front end. We just parse opcode and operands, and
893 produce the bytes of data and relocation. */
894
895 void
896 md_assemble (char *str)
897 {
898 char *toP;
899 fixS *fixP;
900 bit_fixS *bitP;
901
902 know (str);
903 machine_ip (str);
904 toP = frag_more (4);
905 dwarf2_emit_insn (4);
906
907 /* Put out the opcode. */
908 md_number_to_chars (toP, the_insn.opcode, 4);
909
910 /* Put out the symbol-dependent stuff. */
911 if (the_insn.reloc != NO_RELOC)
912 {
913 fixP = fix_new_exp (frag_now,
914 (toP - frag_now->fr_literal + the_insn.reloc_offset),
915 the_insn.size, & the_insn.exp, the_insn.pcrel,
916 the_insn.reloc);
917
918 /* Turn off complaints that the addend is
919 too large for things like foo+100000@ha. */
920 switch (the_insn.reloc)
921 {
922 case RELOC_DLX_HI16:
923 case RELOC_DLX_LO16:
924 fixP->fx_no_overflow = 1;
925 break;
926 default:
927 break;
928 }
929
930 switch (fixP->fx_r_type)
931 {
932 case RELOC_DLX_REL26:
933 bitP = malloc (sizeof (bit_fixS));
934 bitP->fx_bit_size = 26;
935 bitP->fx_bit_offset = 25;
936 bitP->fx_bit_base = the_insn.opcode & 0xFC000000;
937 bitP->fx_bit_base_adj = 0;
938 bitP->fx_bit_max = 0;
939 bitP->fx_bit_min = 0;
940 bitP->fx_bit_add = 0x03FFFFFF;
941 fixP->fx_bit_fixP = bitP;
942 break;
943 case RELOC_DLX_LO16:
944 case RELOC_DLX_REL16:
945 bitP = malloc (sizeof (bit_fixS));
946 bitP->fx_bit_size = 16;
947 bitP->fx_bit_offset = 15;
948 bitP->fx_bit_base = the_insn.opcode & 0xFFFF0000;
949 bitP->fx_bit_base_adj = 0;
950 bitP->fx_bit_max = 0;
951 bitP->fx_bit_min = 0;
952 bitP->fx_bit_add = 0x0000FFFF;
953 fixP->fx_bit_fixP = bitP;
954 break;
955 case RELOC_DLX_HI16:
956 bitP = malloc (sizeof (bit_fixS));
957 bitP->fx_bit_size = 16;
958 bitP->fx_bit_offset = 15;
959 bitP->fx_bit_base = the_insn.opcode & 0xFFFF0000;
960 bitP->fx_bit_base_adj = 0;
961 bitP->fx_bit_max = 0;
962 bitP->fx_bit_min = 0;
963 bitP->fx_bit_add = 0x0000FFFF;
964 fixP->fx_bit_fixP = bitP;
965 break;
966 default:
967 fixP->fx_bit_fixP = NULL;
968 break;
969 }
970 }
971 }
972
973 /* This is identical to the md_atof in m68k.c. I think this is right,
974 but I'm not sure. Dlx will not use it anyway, so I just leave it
975 here for now. */
976
977 char *
978 md_atof (int type, char *litP, int *sizeP)
979 {
980 return ieee_md_atof (type, litP, sizeP, TRUE);
981 }
982
983 /* Write out big-endian. */
984 void
985 md_number_to_chars (char *buf, valueT val, int n)
986 {
987 number_to_chars_bigendian (buf, val, n);
988 }
989
990 bfd_boolean
991 md_dlx_fix_adjustable (fixS *fixP)
992 {
993 /* We need the symbol name for the VTABLE entries. */
994 return (fixP->fx_r_type != BFD_RELOC_VTABLE_INHERIT
995 && fixP->fx_r_type != BFD_RELOC_VTABLE_ENTRY);
996 }
997
998 void
999 md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED)
1000 {
1001 long val = *valP;
1002 char *place = fixP->fx_where + fixP->fx_frag->fr_literal;
1003
1004 switch (fixP->fx_r_type)
1005 {
1006 case RELOC_DLX_LO16:
1007 case RELOC_DLX_REL16:
1008 if (fixP->fx_bit_fixP != NULL)
1009 {
1010 val = (val & 0x0000FFFF) | fixP->fx_bit_fixP->fx_bit_base;
1011 free (fixP->fx_bit_fixP);
1012 fixP->fx_bit_fixP = NULL;
1013 }
1014 #ifdef DEBUG
1015 else
1016 know ((fixP->fx_bit_fixP != NULL));
1017 #endif
1018 break;
1019
1020 case RELOC_DLX_HI16:
1021 if (fixP->fx_bit_fixP != NULL)
1022 {
1023 val = (val >> 16) | fixP->fx_bit_fixP->fx_bit_base;
1024 free (fixP->fx_bit_fixP);
1025 fixP->fx_bit_fixP = NULL;
1026 }
1027 #ifdef DEBUG
1028 else
1029 know ((fixP->fx_bit_fixP != NULL));
1030 #endif
1031 break;
1032
1033 case RELOC_DLX_REL26:
1034 if (fixP->fx_bit_fixP != NULL)
1035 {
1036 val = (val & 0x03FFFFFF) | fixP->fx_bit_fixP->fx_bit_base;
1037 free (fixP->fx_bit_fixP);
1038 fixP->fx_bit_fixP = NULL;
1039 }
1040 #ifdef DEBUG
1041 else
1042 know ((fixP->fx_bit_fixP != NULL));
1043 #endif
1044 break;
1045
1046 case BFD_RELOC_VTABLE_INHERIT:
1047 /* This borrowed from tc-ppc.c on a whim. */
1048 fixP->fx_done = 0;
1049 if (fixP->fx_addsy
1050 && !S_IS_DEFINED (fixP->fx_addsy)
1051 && !S_IS_WEAK (fixP->fx_addsy))
1052 S_SET_WEAK (fixP->fx_addsy);
1053 return;
1054
1055 case BFD_RELOC_VTABLE_ENTRY:
1056 fixP->fx_done = 0;
1057 return;
1058
1059 default:
1060 break;
1061 }
1062
1063 number_to_chars_bigendian (place, val, fixP->fx_size);
1064 if (fixP->fx_addsy == NULL)
1065 fixP->fx_done = 1;
1066 }
1067
1068 const char *md_shortopts = "";
1069
1070 struct option md_longopts[] =
1071 {
1072 {NULL, no_argument, NULL, 0}
1073 };
1074
1075 size_t md_longopts_size = sizeof (md_longopts);
1076
1077 int
1078 md_parse_option (int c ATTRIBUTE_UNUSED,
1079 char *arg ATTRIBUTE_UNUSED)
1080 {
1081 return 0;
1082 }
1083
1084 void
1085 md_show_usage (FILE *stream ATTRIBUTE_UNUSED)
1086 {
1087 }
1088
1089 /* This is called when a line is unrecognized. */
1090
1091 int
1092 dlx_unrecognized_line (int c)
1093 {
1094 int lab;
1095 char *s;
1096
1097 if (c != '$' || ! ISDIGIT ((unsigned char) input_line_pointer[0]))
1098 return 0;
1099
1100 s = input_line_pointer;
1101
1102 lab = 0;
1103 while (ISDIGIT ((unsigned char) *s))
1104 {
1105 lab = lab * 10 + *s - '0';
1106 ++s;
1107 }
1108
1109 if (*s != ':')
1110 /* Not a label definition. */
1111 return 0;
1112
1113 if (dollar_label_defined (lab))
1114 {
1115 as_bad (_("label \"$%d\" redefined"), lab);
1116 return 0;
1117 }
1118
1119 define_dollar_label (lab);
1120 colon (dollar_label_name (lab, 0));
1121 input_line_pointer = s + 1;
1122
1123 return 1;
1124 }
1125
1126 /* Default the values of symbols known that should be "predefined". We
1127 don't bother to predefine them unless you actually use one, since there
1128 are a lot of them. */
1129
1130 symbolS *
1131 md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
1132 {
1133 return NULL;
1134 }
1135
1136 /* Parse an operand that is machine-specific, the function was called
1137 in expr.c by operand() function, when everything failed before it
1138 call a quit. */
1139
1140 void
1141 md_operand (expressionS* expressionP)
1142 {
1143 /* Check for the #number representation */
1144 if (input_line_pointer[0] == '#' &&
1145 ISDIGIT ((unsigned char) input_line_pointer[1]))
1146 {
1147 /* We have a numeric number expression. No biggy. */
1148 input_line_pointer += 1; /* Skip # */
1149
1150 (void) expression (expressionP);
1151
1152 if (expressionP->X_op != O_constant)
1153 as_bad (_("Invalid expression after # number\n"));
1154 }
1155
1156 return;
1157 }
1158
1159 /* Round up a section size to the appropriate boundary. */
1160
1161 valueT
1162 md_section_align (segT segment ATTRIBUTE_UNUSED,
1163 valueT size)
1164 {
1165 /* Byte alignment is fine. */
1166 return size;
1167 }
1168
1169 /* Exactly what point is a PC-relative offset relative TO?
1170 On the 29000, they're relative to the address of the instruction,
1171 which we have set up as the address of the fixup too. */
1172
1173 long
1174 md_pcrel_from (fixS* fixP)
1175 {
1176 return 4 + fixP->fx_where + fixP->fx_frag->fr_address;
1177 }
1178
1179 /* Translate internal representation of relocation info to BFD target
1180 format.
1181 FIXME: To what extent can we get all relevant targets to use this?
1182 The above FIXME is from a29k, but I think it is also needed here. */
1183
1184 arelent *
1185 tc_gen_reloc (asection *section ATTRIBUTE_UNUSED,
1186 fixS *fixP)
1187 {
1188 arelent * reloc;
1189
1190 reloc = xmalloc (sizeof (arelent));
1191 reloc->howto = bfd_reloc_type_lookup (stdoutput, fixP->fx_r_type);
1192
1193 if (reloc->howto == NULL)
1194 {
1195 as_bad_where (fixP->fx_file, fixP->fx_line,
1196 _("internal error: can't export reloc type %d (`%s')"),
1197 fixP->fx_r_type,
1198 bfd_get_reloc_code_name (fixP->fx_r_type));
1199 return NULL;
1200 }
1201
1202 gas_assert (!fixP->fx_pcrel == !reloc->howto->pc_relative);
1203
1204 reloc->sym_ptr_ptr = xmalloc (sizeof (asymbol *));
1205 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixP->fx_addsy);
1206 reloc->address = fixP->fx_frag->fr_address + fixP->fx_where;
1207
1208 if (fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
1209 reloc->address = fixP->fx_offset;
1210 reloc->addend = 0;
1211
1212 return reloc;
1213 }
1214
1215 const pseudo_typeS
1216 dlx_pseudo_table[] =
1217 {
1218 /* Some additional ops that are used by gcc-dlx. */
1219 {"asciiz", stringer, 8 + 1},
1220 {"half", cons, 2},
1221 {"dword", cons, 8},
1222 {"word", cons, 4},
1223 {"proc", s_proc, 0},
1224 {"endproc", s_proc, 1},
1225 {NULL, NULL, 0}
1226 };
1227
1228 void
1229 dlx_pop_insert (void)
1230 {
1231 pop_insert (dlx_pseudo_table);
1232 return ;
1233 }