Fix copyright notices
[deliverable/binutils-gdb.git] / gas / config / tc-a29k.c
1 /* tc-a29k.c -- Assemble for the AMD 29000.
2 Copyright 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1998, 2000
3 Free Software Foundation, Inc.
4
5 This file is part of GAS, the GNU Assembler.
6
7 GAS 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, or (at your option)
10 any later version.
11
12 GAS 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 GAS; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA. */
21
22 /* John Gilmore has reorganized this module somewhat, to make it easier
23 to convert it to new machines' assemblers as desired. There was too
24 much bloody rewriting required before. There still probably is. */
25
26 #include <ctype.h>
27 #include "as.h"
28
29 #include "opcode/a29k.h"
30
31 /* Make it easier to clone this machine desc into another one. */
32 #define machine_opcode a29k_opcode
33 #define machine_opcodes a29k_opcodes
34 #define machine_ip a29k_ip
35 #define machine_it a29k_it
36
37 #define IMMEDIATE_BIT 0x01000000 /* Turns RB into Immediate */
38 #define ABSOLUTE_BIT 0x01000000 /* Turns PC-relative to Absolute */
39 #define CE_BIT 0x00800000 /* Coprocessor enable in LOAD */
40 #define UI_BIT 0x00000080 /* Unsigned integer in CONVERT */
41
42 /* handle of the OPCODE hash table */
43 static struct hash_control *op_hash = NULL;
44
45 struct machine_it
46 {
47 char *error;
48 unsigned long opcode;
49 struct nlist *nlistp;
50 expressionS exp;
51 int pcrel;
52 int reloc_offset; /* Offset of reloc within insn */
53
54 int reloc;
55 }
56 the_insn;
57
58 static void machine_ip PARAMS ((char *str));
59 /* static void print_insn PARAMS ((struct machine_it *insn)); */
60 #ifndef OBJ_COFF
61 static void s_data1 PARAMS ((void));
62 static void s_use PARAMS ((int));
63 #endif
64
65 const pseudo_typeS
66 md_pseudo_table[] =
67 {
68 {"align", s_align_bytes, 4},
69 {"block", s_space, 0},
70 {"cputype", s_ignore, 0}, /* CPU as 29000 or 29050 */
71 {"reg", s_lsym, 0}, /* Register equate, same as equ */
72 {"space", s_ignore, 0}, /* Listing control */
73 {"sect", s_ignore, 0}, /* Creation of coff sections */
74 #ifndef OBJ_COFF
75 /* We can do this right with coff. */
76 {"use", s_use, 0},
77 #endif
78 {"word", cons, 4},
79 {NULL, 0, 0},
80 };
81
82 #if defined(BFD_HEADERS)
83 #ifdef RELSZ
84 const int md_reloc_size = RELSZ; /* Coff headers */
85 #else
86 const int md_reloc_size = 12; /* something else headers */
87 #endif
88 #else
89 const int md_reloc_size = 12; /* Not bfdized*/
90 #endif
91
92 /* This array holds the chars that always start a comment. If the
93 pre-processor is disabled, these aren't very useful */
94 const char comment_chars[] = ";";
95
96 /* This array holds the chars that only start a comment at the beginning of
97 a line. If the line seems to have the form '# 123 filename'
98 .line and .file directives will appear in the pre-processed output */
99 /* Note that input_file.c hand checks for '#' at the beginning of the
100 first line of the input file. This is because the compiler outputs
101 #NO_APP at the beginning of its output. */
102 /* Also note that comments like this one will always work */
103 const char line_comment_chars[] = "#";
104
105 /* We needed an unused char for line separation to work around the
106 lack of macros, using sed and such. */
107 const char line_separator_chars[] = "@";
108
109 /* Chars that can be used to separate mant from exp in floating point nums */
110 const char EXP_CHARS[] = "eE";
111
112 /* Chars that mean this number is a floating point constant */
113 /* As in 0f12.456 */
114 /* or 0d1.2345e12 */
115 const char FLT_CHARS[] = "rRsSfFdDxXpP";
116
117 /* Also be aware that MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT may have to be
118 changed in read.c. Ideally it shouldn't have to know about it at
119 all, but nothing is ideal around here. */
120
121 /*
122 * anull bit - causes the branch delay slot instructions to not be executed
123 */
124 #define ANNUL (1 << 29)
125
126 #ifndef OBJ_COFF
127
128 static void
129 s_use (ignore)
130 int ignore;
131 {
132 if (strncmp (input_line_pointer, ".text", 5) == 0)
133 {
134 input_line_pointer += 5;
135 s_text (0);
136 return;
137 }
138 if (strncmp (input_line_pointer, ".data", 5) == 0)
139 {
140 input_line_pointer += 5;
141 s_data (0);
142 return;
143 }
144 if (strncmp (input_line_pointer, ".data1", 6) == 0)
145 {
146 input_line_pointer += 6;
147 s_data1 ();
148 return;
149 }
150 /* Literals can't go in the text segment because you can't read from
151 instruction memory on some 29k's. So, into initialized data. */
152 if (strncmp (input_line_pointer, ".lit", 4) == 0)
153 {
154 input_line_pointer += 4;
155 subseg_set (SEG_DATA, 200);
156 demand_empty_rest_of_line ();
157 return;
158 }
159
160 as_bad (_("Unknown segment type"));
161 demand_empty_rest_of_line ();
162 }
163
164 static void
165 s_data1 ()
166 {
167 subseg_set (SEG_DATA, 1);
168 demand_empty_rest_of_line ();
169 }
170
171 #endif /* OBJ_COFF */
172
173 /* Install symbol definition that maps REGNAME to REGNO.
174 FIXME-SOON: These are not recognized in mixed case. */
175
176 static void
177 insert_sreg (regname, regnum)
178 char *regname;
179 int regnum;
180 {
181 /* FIXME-SOON, put something in these syms so they won't be output
182 to the symbol table of the resulting object file. */
183
184 /* Must be large enough to hold the names of the special registers. */
185 char buf[80];
186 int i;
187
188 symbol_table_insert (symbol_new (regname, SEG_REGISTER, (valueT) regnum,
189 &zero_address_frag));
190 for (i = 0; regname[i]; i++)
191 buf[i] = islower (regname[i]) ? toupper (regname[i]) : regname[i];
192 buf[i] = '\0';
193
194 symbol_table_insert (symbol_new (buf, SEG_REGISTER, (valueT) regnum,
195 &zero_address_frag));
196 }
197
198 /* Install symbol definitions for assorted special registers.
199 See ASM29K Ref page 2-9. */
200
201 void
202 define_some_regs ()
203 {
204 #define SREG 256
205
206 /* Protected special-purpose register names */
207 insert_sreg ("vab", SREG + 0);
208 insert_sreg ("ops", SREG + 1);
209 insert_sreg ("cps", SREG + 2);
210 insert_sreg ("cfg", SREG + 3);
211 insert_sreg ("cha", SREG + 4);
212 insert_sreg ("chd", SREG + 5);
213 insert_sreg ("chc", SREG + 6);
214 insert_sreg ("rbp", SREG + 7);
215 insert_sreg ("tmc", SREG + 8);
216 insert_sreg ("tmr", SREG + 9);
217 insert_sreg ("pc0", SREG + 10);
218 insert_sreg ("pc1", SREG + 11);
219 insert_sreg ("pc2", SREG + 12);
220 insert_sreg ("mmu", SREG + 13);
221 insert_sreg ("lru", SREG + 14);
222
223 /* Additional protected special-purpose registers for the 29050 */
224 insert_sreg ("rsn", SREG + 15);
225 insert_sreg ("rma0", SREG + 16);
226 insert_sreg ("rmc0", SREG + 17);
227 insert_sreg ("rma1", SREG + 18);
228 insert_sreg ("rmc1", SREG + 19);
229 insert_sreg ("spc0", SREG + 20);
230 insert_sreg ("spc1", SREG + 21);
231 insert_sreg ("spc2", SREG + 22);
232 insert_sreg ("iba0", SREG + 23);
233 insert_sreg ("ibc0", SREG + 24);
234 insert_sreg ("iba1", SREG + 25);
235 insert_sreg ("ibc1", SREG + 26);
236
237 /* Additional registers for the 29040. */
238 insert_sreg ("dba", SREG + 27);
239 insert_sreg ("dbc", SREG + 28);
240 insert_sreg ("cir", SREG + 29);
241 insert_sreg ("cdr", SREG + 30);
242
243 /* Unprotected special-purpose register names */
244 insert_sreg ("ipc", SREG + 128);
245 insert_sreg ("ipa", SREG + 129);
246 insert_sreg ("ipb", SREG + 130);
247 insert_sreg ("q", SREG + 131);
248 insert_sreg ("alu", SREG + 132);
249 insert_sreg ("bp", SREG + 133);
250 insert_sreg ("fc", SREG + 134);
251 insert_sreg ("cr", SREG + 135);
252 insert_sreg ("fpe", SREG + 160);
253 insert_sreg ("inte", SREG + 161);
254 insert_sreg ("fps", SREG + 162);
255 /* "", SREG+163); Reserved */
256 insert_sreg ("exop", SREG + 164);
257 }
258
259 /* This function is called once, at assembler startup time. It should
260 set up all the tables, etc., that the MD part of the assembler will
261 need. */
262 void
263 md_begin ()
264 {
265 register const char *retval = NULL;
266 int lose = 0;
267 register int skipnext = 0;
268 register unsigned int i;
269 register char *strend, *strend2;
270
271 /* Hash up all the opcodes for fast use later. */
272
273 op_hash = hash_new ();
274
275 for (i = 0; i < num_opcodes; i++)
276 {
277 const char *name = machine_opcodes[i].name;
278
279 if (skipnext)
280 {
281 skipnext = 0;
282 continue;
283 }
284
285 /* Hack to avoid multiple opcode entries. We pre-locate all the
286 variations (b/i field and P/A field) and handle them. */
287
288 if (!strcmp (name, machine_opcodes[i + 1].name))
289 {
290 if ((machine_opcodes[i].opcode & 0x01000000) != 0
291 || (machine_opcodes[i + 1].opcode & 0x01000000) == 0
292 || ((machine_opcodes[i].opcode | 0x01000000)
293 != machine_opcodes[i + 1].opcode))
294 goto bad_table;
295 strend = machine_opcodes[i].args + strlen (machine_opcodes[i].args) - 1;
296 strend2 = machine_opcodes[i + 1].args + strlen (machine_opcodes[i + 1].args) - 1;
297 switch (*strend)
298 {
299 case 'b':
300 if (*strend2 != 'i')
301 goto bad_table;
302 break;
303 case 'P':
304 if (*strend2 != 'A')
305 goto bad_table;
306 break;
307 default:
308 bad_table:
309 fprintf (stderr, "internal error: can't handle opcode %s\n",
310 name);
311 lose = 1;
312 }
313
314 /* OK, this is an i/b or A/P pair. We skip the
315 higher-valued one, and let the code for operand checking
316 handle OR-ing in the bit. */
317 skipnext = 1;
318 }
319
320 retval = hash_insert (op_hash, name, (PTR) &machine_opcodes[i]);
321 if (retval != NULL)
322 {
323 fprintf (stderr, "internal error: can't hash `%s': %s\n",
324 machine_opcodes[i].name, retval);
325 lose = 1;
326 }
327 }
328
329 if (lose)
330 as_fatal (_("Broken assembler. No assembly attempted."));
331
332 define_some_regs ();
333 }
334
335 /* Assemble a single instruction. Its label has already been handled
336 by the generic front end. We just parse opcode and operands, and
337 produce the bytes of data and relocation. */
338
339 void
340 md_assemble (str)
341 char *str;
342 {
343 char *toP;
344
345 know (str);
346 machine_ip (str);
347 toP = frag_more (4);
348 /* put out the opcode */
349 md_number_to_chars (toP, the_insn.opcode, 4);
350
351 /* put out the symbol-dependent stuff */
352 if (the_insn.reloc != NO_RELOC)
353 {
354 fix_new_exp (frag_now,
355 (toP - frag_now->fr_literal + the_insn.reloc_offset),
356 4, /* size */
357 &the_insn.exp,
358 the_insn.pcrel,
359 the_insn.reloc);
360 }
361 }
362
363 char *
364 parse_operand (s, operandp, opt)
365 char *s;
366 expressionS *operandp;
367 int opt;
368 {
369 char *save = input_line_pointer;
370 char *new;
371
372 input_line_pointer = s;
373 expression (operandp);
374 if (operandp->X_op == O_absent && ! opt)
375 as_bad (_("missing operand"));
376 new = input_line_pointer;
377 input_line_pointer = save;
378 return new;
379 }
380
381 /* Instruction parsing. Takes a string containing the opcode.
382 Operands are at input_line_pointer. Output is in the_insn.
383 Warnings or errors are generated. */
384
385 static void
386 machine_ip (str)
387 char *str;
388 {
389 char *s;
390 const char *args;
391 struct machine_opcode *insn;
392 char *argsStart;
393 unsigned long opcode;
394 expressionS the_operand;
395 expressionS *operand = &the_operand;
396 unsigned int reg;
397
398 /* Must handle `div0' opcode. */
399 s = str;
400 if (isalpha (*s))
401 for (; isalnum (*s); ++s)
402 if (isupper (*s))
403 *s = tolower (*s);
404
405 switch (*s)
406 {
407 case '\0':
408 break;
409
410 case ' ': /* FIXME-SOMEDAY more whitespace */
411 *s++ = '\0';
412 break;
413
414 default:
415 as_bad (_("Unknown opcode: `%s'"), str);
416 return;
417 }
418 if ((insn = (struct machine_opcode *) hash_find (op_hash, str)) == NULL)
419 {
420 as_bad (_("Unknown opcode `%s'."), str);
421 return;
422 }
423 argsStart = s;
424 opcode = insn->opcode;
425 memset (&the_insn, '\0', sizeof (the_insn));
426 the_insn.reloc = NO_RELOC;
427
428 /* Build the opcode, checking as we go to make sure that the
429 operands match.
430
431 If an operand matches, we modify the_insn or opcode appropriately,
432 and do a "continue". If an operand fails to match, we "break". */
433
434 if (insn->args[0] != '\0')
435 {
436 /* Prime the pump. */
437 s = parse_operand (s, operand, insn->args[0] == 'I');
438 }
439
440 for (args = insn->args;; ++args)
441 {
442 switch (*args)
443 {
444
445 case '\0': /* end of args */
446 if (*s == '\0')
447 {
448 /* We are truly done. */
449 the_insn.opcode = opcode;
450 return;
451 }
452 as_bad (_("Too many operands: %s"), s);
453 break;
454
455 case ',': /* Must match a comma */
456 if (*s++ == ',')
457 {
458 /* Parse next operand. */
459 s = parse_operand (s, operand, args[1] == 'I');
460 continue;
461 }
462 break;
463
464 case 'v': /* Trap numbers (immediate field) */
465 if (operand->X_op == O_constant)
466 {
467 if (operand->X_add_number < 256)
468 {
469 opcode |= (operand->X_add_number << 16);
470 continue;
471 }
472 else
473 {
474 as_bad (_("Immediate value of %ld is too large"),
475 (long) operand->X_add_number);
476 continue;
477 }
478 }
479 the_insn.reloc = RELOC_8;
480 the_insn.reloc_offset = 1; /* BIG-ENDIAN Byte 1 of insn */
481 the_insn.exp = *operand;
482 continue;
483
484 case 'b': /* A general register or 8-bit immediate */
485 case 'i':
486 /* We treat the two cases identically since we mashed
487 them together in the opcode table. */
488 if (operand->X_op == O_register)
489 goto general_reg;
490
491 /* Make sure the 'i' case really exists. */
492 if ((insn->opcode | IMMEDIATE_BIT) != (insn + 1)->opcode)
493 break;
494
495 opcode |= IMMEDIATE_BIT;
496 if (operand->X_op == O_constant)
497 {
498 if (operand->X_add_number < 256)
499 {
500 opcode |= operand->X_add_number;
501 continue;
502 }
503 else
504 {
505 as_bad (_("Immediate value of %ld is too large"),
506 (long) operand->X_add_number);
507 continue;
508 }
509 }
510 the_insn.reloc = RELOC_8;
511 the_insn.reloc_offset = 3; /* BIG-ENDIAN Byte 3 of insn */
512 the_insn.exp = *operand;
513 continue;
514
515 case 'a': /* next operand must be a register */
516 case 'c':
517 general_reg:
518 /* lrNNN or grNNN or %%expr or a user-def register name */
519 if (operand->X_op != O_register)
520 break; /* Only registers */
521 know (operand->X_add_symbol == 0);
522 know (operand->X_op_symbol == 0);
523 reg = operand->X_add_number;
524 if (reg >= SREG)
525 break; /* No special registers */
526
527 /* Got the register, now figure out where it goes in the
528 opcode. */
529 switch (*args)
530 {
531 case 'a':
532 opcode |= reg << 8;
533 continue;
534
535 case 'b':
536 case 'i':
537 opcode |= reg;
538 continue;
539
540 case 'c':
541 opcode |= reg << 16;
542 continue;
543 }
544 as_fatal (_("failed sanity check."));
545 break;
546
547 case 'x': /* 16 bit constant, zero-extended */
548 case 'X': /* 16 bit constant, one-extended */
549 if (operand->X_op == O_constant)
550 {
551 opcode |= (operand->X_add_number & 0xFF) << 0 |
552 ((operand->X_add_number & 0xFF00) << 8);
553 continue;
554 }
555 the_insn.reloc = RELOC_CONST;
556 the_insn.exp = *operand;
557 continue;
558
559 case 'h':
560 if (operand->X_op == O_constant)
561 {
562 opcode |= (operand->X_add_number & 0x00FF0000) >> 16 |
563 (((unsigned long) operand->X_add_number
564 /* avoid sign ext */ & 0xFF000000) >> 8);
565 continue;
566 }
567 the_insn.reloc = RELOC_CONSTH;
568 the_insn.exp = *operand;
569 continue;
570
571 case 'P': /* PC-relative jump address */
572 case 'A': /* Absolute jump address */
573 /* These two are treated together since we folded the
574 opcode table entries together. */
575 if (operand->X_op == O_constant)
576 {
577 /* Make sure the 'A' case really exists. */
578 if ((insn->opcode | ABSOLUTE_BIT) != (insn + 1)->opcode)
579 break;
580 {
581 bfd_vma v, mask;
582 mask = 0x1ffff;
583 v = operand->X_add_number & ~ mask;
584 if (v)
585 as_bad ("call/jmp target out of range");
586 }
587 opcode |= ABSOLUTE_BIT |
588 (operand->X_add_number & 0x0003FC00) << 6 |
589 ((operand->X_add_number & 0x000003FC) >> 2);
590 continue;
591 }
592 the_insn.reloc = RELOC_JUMPTARG;
593 the_insn.exp = *operand;
594 the_insn.pcrel = 1; /* Assume PC-relative jump */
595 /* FIXME-SOON, Do we figure out whether abs later, after
596 know sym val? */
597 continue;
598
599 case 'e': /* Coprocessor enable bit for LOAD/STORE insn */
600 if (operand->X_op == O_constant)
601 {
602 if (operand->X_add_number == 0)
603 continue;
604 if (operand->X_add_number == 1)
605 {
606 opcode |= CE_BIT;
607 continue;
608 }
609 }
610 break;
611
612 case 'n': /* Control bits for LOAD/STORE instructions */
613 if (operand->X_op == O_constant &&
614 operand->X_add_number < 128)
615 {
616 opcode |= (operand->X_add_number << 16);
617 continue;
618 }
619 break;
620
621 case 's': /* Special register number */
622 if (operand->X_op != O_register)
623 break; /* Only registers */
624 if (operand->X_add_number < SREG)
625 break; /* Not a special register */
626 opcode |= (operand->X_add_number & 0xFF) << 8;
627 continue;
628
629 case 'u': /* UI bit of CONVERT */
630 if (operand->X_op == O_constant)
631 {
632 if (operand->X_add_number == 0)
633 continue;
634 if (operand->X_add_number == 1)
635 {
636 opcode |= UI_BIT;
637 continue;
638 }
639 }
640 break;
641
642 case 'r': /* RND bits of CONVERT */
643 if (operand->X_op == O_constant &&
644 operand->X_add_number < 8)
645 {
646 opcode |= operand->X_add_number << 4;
647 continue;
648 }
649 break;
650
651 case 'I': /* ID bits of INV and IRETINV. */
652 /* This operand is optional. */
653 if (operand->X_op == O_absent)
654 continue;
655 else if (operand->X_op == O_constant
656 && operand->X_add_number < 4)
657 {
658 opcode |= operand->X_add_number << 16;
659 continue;
660 }
661 break;
662
663 case 'd': /* FD bits of CONVERT */
664 if (operand->X_op == O_constant &&
665 operand->X_add_number < 4)
666 {
667 opcode |= operand->X_add_number << 2;
668 continue;
669 }
670 break;
671
672 case 'f': /* FS bits of CONVERT */
673 if (operand->X_op == O_constant &&
674 operand->X_add_number < 4)
675 {
676 opcode |= operand->X_add_number << 0;
677 continue;
678 }
679 break;
680
681 case 'C':
682 if (operand->X_op == O_constant &&
683 operand->X_add_number < 4)
684 {
685 opcode |= operand->X_add_number << 16;
686 continue;
687 }
688 break;
689
690 case 'F':
691 if (operand->X_op == O_constant &&
692 operand->X_add_number < 16)
693 {
694 opcode |= operand->X_add_number << 18;
695 continue;
696 }
697 break;
698
699 default:
700 BAD_CASE (*args);
701 }
702 /* Types or values of args don't match. */
703 as_bad ("Invalid operands");
704 return;
705 }
706 }
707
708 /* This is identical to the md_atof in m68k.c. I think this is right,
709 but I'm not sure.
710
711 Turn a string in input_line_pointer into a floating point constant
712 of type TYPE, and store the appropriate bytes in *LITP. The number
713 of LITTLENUMS emitted is stored in *SIZEP. An error message is
714 returned, or NULL on OK. */
715
716 /* Equal to MAX_PRECISION in atof-ieee.c */
717 #define MAX_LITTLENUMS 6
718
719 char *
720 md_atof (type, litP, sizeP)
721 char type;
722 char *litP;
723 int *sizeP;
724 {
725 int prec;
726 LITTLENUM_TYPE words[MAX_LITTLENUMS];
727 LITTLENUM_TYPE *wordP;
728 char *t;
729
730 switch (type)
731 {
732
733 case 'f':
734 case 'F':
735 case 's':
736 case 'S':
737 prec = 2;
738 break;
739
740 case 'd':
741 case 'D':
742 case 'r':
743 case 'R':
744 prec = 4;
745 break;
746
747 case 'x':
748 case 'X':
749 prec = 6;
750 break;
751
752 case 'p':
753 case 'P':
754 prec = 6;
755 break;
756
757 default:
758 *sizeP = 0;
759 return "Bad call to MD_ATOF()";
760 }
761 t = atof_ieee (input_line_pointer, type, words);
762 if (t)
763 input_line_pointer = t;
764 *sizeP = prec * sizeof (LITTLENUM_TYPE);
765 for (wordP = words; prec--;)
766 {
767 md_number_to_chars (litP, (valueT) (*wordP++), sizeof (LITTLENUM_TYPE));
768 litP += sizeof (LITTLENUM_TYPE);
769 }
770 return 0;
771 }
772
773 /*
774 * Write out big-endian.
775 */
776 void
777 md_number_to_chars (buf, val, n)
778 char *buf;
779 valueT val;
780 int n;
781 {
782 number_to_chars_bigendian (buf, val, n);
783 }
784
785 void
786 md_apply_fix (fixP, val)
787 fixS *fixP;
788 long val;
789 {
790 char *buf = fixP->fx_where + fixP->fx_frag->fr_literal;
791
792 fixP->fx_addnumber = val; /* Remember value for emit_reloc */
793
794 know (fixP->fx_size == 4);
795 know (fixP->fx_r_type < NO_RELOC);
796
797 /* This is a hack. There should be a better way to handle this. */
798 if (fixP->fx_r_type == RELOC_WDISP30 && fixP->fx_addsy)
799 {
800 val += fixP->fx_where + fixP->fx_frag->fr_address;
801 }
802
803 switch (fixP->fx_r_type)
804 {
805
806 case RELOC_32:
807 buf[0] = val >> 24;
808 buf[1] = val >> 16;
809 buf[2] = val >> 8;
810 buf[3] = val;
811 break;
812
813 case RELOC_8:
814 buf[0] = val;
815 break;
816
817 case RELOC_WDISP30:
818 val = (val >>= 2) + 1;
819 buf[0] |= (val >> 24) & 0x3f;
820 buf[1] = (val >> 16);
821 buf[2] = val >> 8;
822 buf[3] = val;
823 break;
824
825 case RELOC_HI22:
826 buf[1] |= (val >> 26) & 0x3f;
827 buf[2] = val >> 18;
828 buf[3] = val >> 10;
829 break;
830
831 case RELOC_LO10:
832 buf[2] |= (val >> 8) & 0x03;
833 buf[3] = val;
834 break;
835
836 case RELOC_BASE13:
837 buf[2] |= (val >> 8) & 0x1f;
838 buf[3] = val;
839 break;
840
841 case RELOC_WDISP22:
842 val = (val >>= 2) + 1;
843 /* FALLTHROUGH */
844 case RELOC_BASE22:
845 buf[1] |= (val >> 16) & 0x3f;
846 buf[2] = val >> 8;
847 buf[3] = val;
848 break;
849
850 case RELOC_JUMPTARG: /* 00XX00XX pattern in a word */
851 if (!fixP->fx_done)
852 {
853 /* The linker tries to support both AMD and old GNU style
854 R_IREL relocs. That means that if the addend is exactly
855 the negative of the address within the section, the
856 linker will not handle it correctly. */
857 if (fixP->fx_pcrel
858 && val != 0
859 && val == - (fixP->fx_frag->fr_address + fixP->fx_where))
860 as_bad_where
861 (fixP->fx_file, fixP->fx_line,
862 "the linker will not handle this relocation correctly");
863 }
864 else if (fixP->fx_pcrel)
865 {
866 long v = val >> 17;
867 if (v != 0 && v != -1)
868 as_bad_where (fixP->fx_file, fixP->fx_line,
869 "call/jmp target out of range");
870 }
871 else
872 /* this case was supposed to be handled in machine_ip */
873 abort ();
874 buf[1] = val >> 10; /* Holds bits 0003FFFC of address */
875 buf[3] = val >> 2;
876 break;
877
878 case RELOC_CONST: /* 00XX00XX pattern in a word */
879 buf[1] = val >> 8; /* Holds bits 0000XXXX */
880 buf[3] = val;
881 break;
882
883 case RELOC_CONSTH: /* 00XX00XX pattern in a word */
884 buf[1] = val >> 24; /* Holds bits XXXX0000 */
885 buf[3] = val >> 16;
886 break;
887
888 case NO_RELOC:
889 default:
890 as_bad (_("bad relocation type: 0x%02x"), fixP->fx_r_type);
891 break;
892 }
893 }
894
895 #ifdef OBJ_COFF
896 short
897 tc_coff_fix2rtype (fixP)
898 fixS *fixP;
899 {
900
901 switch (fixP->fx_r_type)
902 {
903 case RELOC_32:
904 return (R_WORD);
905 case RELOC_8:
906 return (R_BYTE);
907 case RELOC_CONST:
908 return (R_ILOHALF);
909 case RELOC_CONSTH:
910 return (R_IHIHALF);
911 case RELOC_JUMPTARG:
912 return (R_IREL);
913 default:
914 printf (_("need %o3\n"), fixP->fx_r_type);
915 abort ();
916 } /* switch on type */
917
918 return (0);
919 }
920
921 #endif /* OBJ_COFF */
922
923 /* should never be called for 29k */
924 void
925 md_convert_frag (headers, seg, fragP)
926 object_headers *headers;
927 segT seg;
928 register fragS *fragP;
929 {
930 as_fatal (_("a29k_convert_frag\n"));
931 }
932
933 /* should never be called for a29k */
934 int
935 md_estimate_size_before_relax (fragP, segtype)
936 register fragS *fragP;
937 segT segtype;
938 {
939 as_fatal (_("a29k_estimate_size_before_relax\n"));
940 return 0;
941 }
942
943 #if 0
944 /* for debugging only */
945 static void
946 print_insn (insn)
947 struct machine_it *insn;
948 {
949 char *Reloc[] =
950 {
951 "RELOC_8",
952 "RELOC_16",
953 "RELOC_32",
954 "RELOC_DISP8",
955 "RELOC_DISP16",
956 "RELOC_DISP32",
957 "RELOC_WDISP30",
958 "RELOC_WDISP22",
959 "RELOC_HI22",
960 "RELOC_22",
961 "RELOC_13",
962 "RELOC_LO10",
963 "RELOC_SFA_BASE",
964 "RELOC_SFA_OFF13",
965 "RELOC_BASE10",
966 "RELOC_BASE13",
967 "RELOC_BASE22",
968 "RELOC_PC10",
969 "RELOC_PC22",
970 "RELOC_JMP_TBL",
971 "RELOC_SEGOFF16",
972 "RELOC_GLOB_DAT",
973 "RELOC_JMP_SLOT",
974 "RELOC_RELATIVE",
975 "NO_RELOC"
976 };
977
978 if (insn->error)
979 {
980 fprintf (stderr, "ERROR: %s\n");
981 }
982 fprintf (stderr, "opcode=0x%08x\n", insn->opcode);
983 fprintf (stderr, "reloc = %s\n", Reloc[insn->reloc]);
984 fprintf (stderr, "exp = {\n");
985 fprintf (stderr, "\t\tX_add_symbol = %s\n",
986 insn->exp.X_add_symbol ?
987 (S_GET_NAME (insn->exp.X_add_symbol) ?
988 S_GET_NAME (insn->exp.X_add_symbol) : "???") : "0");
989 fprintf (stderr, "\t\tX_op_symbol = %s\n",
990 insn->exp.X_op_symbol ?
991 (S_GET_NAME (insn->exp.X_op_symbol) ?
992 S_GET_NAME (insn->exp.X_op_symbol) : "???") : "0");
993 fprintf (stderr, "\t\tX_add_number = %d\n",
994 insn->exp.X_add_number);
995 fprintf (stderr, "}\n");
996 }
997
998 #endif
999
1000 /* Translate internal representation of relocation info to target format.
1001
1002 On sparc/29k: first 4 bytes are normal unsigned long address, next three
1003 bytes are index, most sig. byte first. Byte 7 is broken up with
1004 bit 7 as external, bits 6 & 5 unused, and the lower
1005 five bits as relocation type. Next 4 bytes are long addend. */
1006 /* Thanx and a tip of the hat to Michael Bloom, mb@ttidca.tti.com */
1007
1008 #ifdef OBJ_AOUT
1009
1010 void
1011 tc_aout_fix_to_chars (where, fixP, segment_address_in_file)
1012 char *where;
1013 fixS *fixP;
1014 relax_addressT segment_address_in_file;
1015 {
1016 long r_symbolnum;
1017
1018 know (fixP->fx_r_type < NO_RELOC);
1019 know (fixP->fx_addsy != NULL);
1020
1021 md_number_to_chars (where,
1022 fixP->fx_frag->fr_address + fixP->fx_where - segment_address_in_file,
1023 4);
1024
1025 r_symbolnum = (S_IS_DEFINED (fixP->fx_addsy)
1026 ? S_GET_TYPE (fixP->fx_addsy)
1027 : fixP->fx_addsy->sy_number);
1028
1029 where[4] = (r_symbolnum >> 16) & 0x0ff;
1030 where[5] = (r_symbolnum >> 8) & 0x0ff;
1031 where[6] = r_symbolnum & 0x0ff;
1032 where[7] = (((!S_IS_DEFINED (fixP->fx_addsy)) << 7) & 0x80) | (0 & 0x60) | (fixP->fx_r_type & 0x1F);
1033 /* Also easy */
1034 md_number_to_chars (&where[8], fixP->fx_addnumber, 4);
1035 }
1036
1037 #endif /* OBJ_AOUT */
1038 \f
1039 CONST char *md_shortopts = "";
1040 struct option md_longopts[] = {
1041 {NULL, no_argument, NULL, 0}
1042 };
1043 size_t md_longopts_size = sizeof (md_longopts);
1044
1045 int
1046 md_parse_option (c, arg)
1047 int c;
1048 char *arg;
1049 {
1050 return 0;
1051 }
1052
1053 void
1054 md_show_usage (stream)
1055 FILE *stream;
1056 {
1057 }
1058 \f
1059 /* This is called when a line is unrecognized. This is used to handle
1060 definitions of a29k style local labels. */
1061
1062 int
1063 a29k_unrecognized_line (c)
1064 int c;
1065 {
1066 int lab;
1067 char *s;
1068
1069 if (c != '$'
1070 || ! isdigit ((unsigned char) input_line_pointer[0]))
1071 return 0;
1072
1073 s = input_line_pointer;
1074
1075 lab = 0;
1076 while (isdigit ((unsigned char) *s))
1077 {
1078 lab = lab * 10 + *s - '0';
1079 ++s;
1080 }
1081
1082 if (*s != ':')
1083 {
1084 /* Not a label definition. */
1085 return 0;
1086 }
1087
1088 if (dollar_label_defined (lab))
1089 {
1090 as_bad (_("label \"$%d\" redefined"), lab);
1091 return 0;
1092 }
1093
1094 define_dollar_label (lab);
1095 colon (dollar_label_name (lab, 0));
1096 input_line_pointer = s + 1;
1097
1098 return 1;
1099 }
1100
1101 /* Default the values of symbols known that should be "predefined". We
1102 don't bother to predefine them unless you actually use one, since there
1103 are a lot of them. */
1104
1105 symbolS *
1106 md_undefined_symbol (name)
1107 char *name;
1108 {
1109 long regnum;
1110 char testbuf[5 + /*SLOP*/ 5];
1111
1112 if (name[0] == 'g' || name[0] == 'G'
1113 || name[0] == 'l' || name[0] == 'L'
1114 || name[0] == 's' || name[0] == 'S')
1115 {
1116 /* Perhaps a global or local register name */
1117 if (name[1] == 'r' || name[1] == 'R')
1118 {
1119 long maxreg;
1120
1121 /* Parse the number, make sure it has no extra zeroes or
1122 trailing chars. */
1123 regnum = atol (&name[2]);
1124
1125 if (name[0] == 's' || name[0] == 'S')
1126 maxreg = 255;
1127 else
1128 maxreg = 127;
1129 if (regnum > maxreg)
1130 return NULL;
1131
1132 sprintf (testbuf, "%ld", regnum);
1133 if (strcmp (testbuf, &name[2]) != 0)
1134 return NULL; /* gr007 or lr7foo or whatever */
1135
1136 /* We have a wiener! Define and return a new symbol for it. */
1137 if (name[0] == 'l' || name[0] == 'L')
1138 regnum += 128;
1139 else if (name[0] == 's' || name[0] == 'S')
1140 regnum += SREG;
1141 return (symbol_new (name, SEG_REGISTER, (valueT) regnum,
1142 &zero_address_frag));
1143 }
1144 }
1145
1146 return NULL;
1147 }
1148
1149 /* Parse an operand that is machine-specific. */
1150
1151 void
1152 md_operand (expressionP)
1153 expressionS *expressionP;
1154 {
1155
1156 if (input_line_pointer[0] == '%' && input_line_pointer[1] == '%')
1157 {
1158 /* We have a numeric register expression. No biggy. */
1159 input_line_pointer += 2; /* Skip %% */
1160 (void) expression (expressionP);
1161 if (expressionP->X_op != O_constant
1162 || expressionP->X_add_number > 255)
1163 as_bad (_("Invalid expression after %%%%\n"));
1164 expressionP->X_op = O_register;
1165 }
1166 else if (input_line_pointer[0] == '&')
1167 {
1168 /* We are taking the 'address' of a register...this one is not
1169 in the manual, but it *is* in traps/fpsymbol.h! What they
1170 seem to want is the register number, as an absolute number. */
1171 input_line_pointer++; /* Skip & */
1172 (void) expression (expressionP);
1173 if (expressionP->X_op != O_register)
1174 as_bad (_("Invalid register in & expression"));
1175 else
1176 expressionP->X_op = O_constant;
1177 }
1178 else if (input_line_pointer[0] == '$'
1179 && isdigit ((unsigned char) input_line_pointer[1]))
1180 {
1181 long lab;
1182 char *name;
1183 symbolS *sym;
1184
1185 /* This is a local label. */
1186 ++input_line_pointer;
1187 lab = (long) get_absolute_expression ();
1188 if (dollar_label_defined (lab))
1189 {
1190 name = dollar_label_name (lab, 0);
1191 sym = symbol_find (name);
1192 }
1193 else
1194 {
1195 name = dollar_label_name (lab, 1);
1196 sym = symbol_find_or_make (name);
1197 }
1198
1199 expressionP->X_op = O_symbol;
1200 expressionP->X_add_symbol = sym;
1201 expressionP->X_add_number = 0;
1202 }
1203 else if (input_line_pointer[0] == '$')
1204 {
1205 char *s;
1206 char type;
1207 int fieldnum, fieldlimit;
1208 LITTLENUM_TYPE floatbuf[8];
1209
1210 /* $float(), $doubleN(), or $extendN() convert floating values
1211 to integers. */
1212
1213 s = input_line_pointer;
1214
1215 ++s;
1216
1217 fieldnum = 0;
1218 if (strncmp (s, "double", sizeof "double" - 1) == 0)
1219 {
1220 s += sizeof "double" - 1;
1221 type = 'd';
1222 fieldlimit = 2;
1223 }
1224 else if (strncmp (s, "float", sizeof "float" - 1) == 0)
1225 {
1226 s += sizeof "float" - 1;
1227 type = 'f';
1228 fieldlimit = 1;
1229 }
1230 else if (strncmp (s, "extend", sizeof "extend" - 1) == 0)
1231 {
1232 s += sizeof "extend" - 1;
1233 type = 'x';
1234 fieldlimit = 4;
1235 }
1236 else
1237 {
1238 return;
1239 }
1240
1241 if (isdigit (*s))
1242 {
1243 fieldnum = *s - '0';
1244 ++s;
1245 }
1246 if (fieldnum >= fieldlimit)
1247 return;
1248
1249 SKIP_WHITESPACE ();
1250 if (*s != '(')
1251 return;
1252 ++s;
1253 SKIP_WHITESPACE ();
1254
1255 s = atof_ieee (s, type, floatbuf);
1256 if (s == NULL)
1257 return;
1258 s = s;
1259
1260 SKIP_WHITESPACE ();
1261 if (*s != ')')
1262 return;
1263 ++s;
1264 SKIP_WHITESPACE ();
1265
1266 input_line_pointer = s;
1267 expressionP->X_op = O_constant;
1268 expressionP->X_unsigned = 1;
1269 expressionP->X_add_number = ((floatbuf[fieldnum * 2]
1270 << LITTLENUM_NUMBER_OF_BITS)
1271 + floatbuf[fieldnum * 2 + 1]);
1272 }
1273 }
1274
1275 /* Round up a section size to the appropriate boundary. */
1276 valueT
1277 md_section_align (segment, size)
1278 segT segment;
1279 valueT size;
1280 {
1281 return size; /* Byte alignment is fine */
1282 }
1283
1284 /* Exactly what point is a PC-relative offset relative TO?
1285 On the 29000, they're relative to the address of the instruction,
1286 which we have set up as the address of the fixup too. */
1287 long
1288 md_pcrel_from (fixP)
1289 fixS *fixP;
1290 {
1291 return fixP->fx_where + fixP->fx_frag->fr_address;
1292 }
This page took 0.071241 seconds and 4 git commands to generate.