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