projects / deliverable / binutils-gdb.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
more v9 fixes. This time %hhi() and %hlo().
[deliverable/binutils-gdb.git] / gas / config / tc-sparc.c
1 /* tc-sparc.c -- Assemble for the SPARC
2 Copyright (C) 1989, 1990, 1991 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 2, 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
18 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
19
20 /* static const char rcsid[] = "$Id$"; */
21
22 #include <stdio.h>
23 #include <ctype.h>
24
25 #include "as.h"
26
27 /* careful, this file includes data *declarations* */
28 #include "sparc-opcode.h"
29
30 void md_begin();
31 void md_end();
32 void md_number_to_chars();
33 void md_assemble();
34 char *md_atof();
35 void md_convert_frag();
36 void md_create_short_jump();
37 void md_create_long_jump();
38 int md_estimate_size_before_relax();
39 void md_ri_to_chars();
40 symbolS *md_undefined_symbol();
41 static void sparc_ip();
42
43 static enum sparc_architecture current_architecture = v6;
44 static int architecture_requested = 0;
45 static int warn_on_bump = 1;
46
47 const relax_typeS md_relax_table[] = {
48 0 };
49
50 /* handle of the OPCODE hash table */
51 static struct hash_control *op_hash = NULL;
52
53 static void s_seg(), s_proc(), s_data1(), s_reserve(), s_common();
54 extern void s_globl(), s_long(), s_short(), s_space(), cons();
55 extern void s_align_bytes(), s_ignore();
56
57 const pseudo_typeS md_pseudo_table[] = {
58 { "align", s_align_bytes, 0 }, /* Defaulting is invalid (0) */
59 { "common", s_common, 0 },
60 { "global", s_globl, 0 },
61 { "half", cons, 2 },
62 { "optim", s_ignore, 0 },
63 { "proc", s_proc, 0 },
64 { "reserve", s_reserve, 0 },
65 { "seg", s_seg, 0 },
66 { "skip", s_space, 0 },
67 { "word", cons, 4 },
68 { NULL, 0, 0 },
69 };
70
71 const int md_short_jump_size = 4;
72 const int md_long_jump_size = 4;
73 const int md_reloc_size = 12; /* Size of relocation record */
74
75 /* This array holds the chars that always start a comment. If the
76 pre-processor is disabled, these aren't very useful */
77 const char comment_chars[] = "!"; /* JF removed '|' from comment_chars */
78
79 /* This array holds the chars that only start a comment at the beginning of
80 a line. If the line seems to have the form '# 123 filename'
81 .line and .file directives will appear in the pre-processed output */
82 /* Note that input_file.c hand checks for '#' at the beginning of the
83 first line of the input file. This is because the compiler outputs
84 #NO_APP at the beginning of its output. */
85 /* Also note that comments started like this one will always
86 work if '/' isn't otherwise defined. */
87 const char line_comment_chars[] = "#";
88
89 /* Chars that can be used to separate mant from exp in floating point nums */
90 const char EXP_CHARS[] = "eE";
91
92 /* Chars that mean this number is a floating point constant */
93 /* As in 0f12.456 */
94 /* or 0d1.2345e12 */
95 const char FLT_CHARS[] = "rRsSfFdDxXpP";
96
97 /* Also be aware that MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT may have to be
98 changed in read.c . Ideally it shouldn't have to know about it at all,
99 but nothing is ideal around here.
100 */
101
102 static unsigned char octal[256];
103 #define isoctal(c) octal[c]
104 static unsigned char toHex[256];
105
106 struct sparc_it {
107 char *error;
108 unsigned long opcode;
109 struct nlist *nlistp;
110 expressionS exp;
111 int pcrel;
112 enum reloc_type reloc;
113 } the_insn, set_insn;
114
115 #ifdef __STDC__
116 #if 0
117 static void print_insn(struct sparc_it *insn);
118 #endif
119 static int getExpression(char *str);
120 #else
121 #if 0
122 static void print_insn();
123 #endif
124 static int getExpression();
125 #endif
126 static char *expr_end;
127 static int special_case;
128
129 /*
130 * Instructions that require wierd handling because they're longer than
131 * 4 bytes.
132 */
133 #define SPECIAL_CASE_SET 1
134 #define SPECIAL_CASE_FDIV 2
135
136 /*
137 * sort of like s_lcomm
138 *
139 */
140 static void s_reserve() {
141 char *name;
142 char c;
143 char *p;
144 int temp;
145 symbolS *symbolP;
146
147 name = input_line_pointer;
148 c = get_symbol_end();
149 p = input_line_pointer;
150 *p = c;
151 SKIP_WHITESPACE();
152 if (* input_line_pointer != ',') {
153 as_bad("Expected comma after name");
154 ignore_rest_of_line();
155 return;
156 }
157 input_line_pointer ++;
158 if ((temp = get_absolute_expression()) < 0) {
159 as_bad("BSS length (%d.) <0! Ignored.", temp);
160 ignore_rest_of_line();
161 return;
162 }
163 *p = 0;
164 symbolP = symbol_find_or_make(name);
165 *p = c;
166 if (strncmp(input_line_pointer, ",\"bss\"", 6) != 0) {
167 as_bad("bad .reserve segment: `%s'", input_line_pointer);
168 return;
169 }
170 input_line_pointer += 6;
171 if (S_GET_OTHER(symbolP) == 0
172 && S_GET_DESC(symbolP) == 0
173 && ((S_GET_TYPE(symbolP) == N_BSS
174 && S_GET_VALUE(symbolP) == local_bss_counter)
175 || !S_IS_DEFINED(symbolP))) {
176 S_SET_VALUE(symbolP, local_bss_counter);
177 S_SET_SEGMENT(symbolP, SEG_BSS);
178 symbolP->sy_frag = & bss_address_frag;
179 local_bss_counter += temp;
180 } else {
181 as_warn("Ignoring attempt to re-define symbol from %d. to %d.",
182 S_GET_VALUE(symbolP), local_bss_counter);
183 }
184 demand_empty_rest_of_line();
185 return;
186 } /* s_reserve() */
187
188 static void s_common() {
189 register char *name;
190 register char c;
191 register char *p;
192 register int temp;
193 register symbolS * symbolP;
194
195 name = input_line_pointer;
196 c = get_symbol_end();
197 /* just after name is now '\0' */
198 p = input_line_pointer;
199 *p = c;
200 SKIP_WHITESPACE();
201 if (* input_line_pointer != ',') {
202 as_bad("Expected comma after symbol-name");
203 ignore_rest_of_line();
204 return;
205 }
206 input_line_pointer ++; /* skip ',' */
207 if ((temp = get_absolute_expression ()) < 0) {
208 as_bad(".COMMon length (%d.) <0! Ignored.", temp);
209 ignore_rest_of_line();
210 return;
211 }
212 *p = 0;
213 symbolP = symbol_find_or_make(name);
214 *p = c;
215 if (S_IS_DEFINED(symbolP)) {
216 as_bad("Ignoring attempt to re-define symbol");
217 ignore_rest_of_line();
218 return;
219 }
220 if (S_GET_VALUE(symbolP) != 0) {
221 if (S_GET_VALUE(symbolP) != temp) {
222 as_warn("Length of .comm \"%s\" is already %d. Not changed to %d.",
223 S_GET_NAME(symbolP), S_GET_VALUE(symbolP), temp);
224 }
225 } else {
226 S_SET_VALUE(symbolP, temp);
227 S_SET_EXTERNAL(symbolP);
228 }
229 know(symbolP->sy_frag == &zero_address_frag);
230 if (strncmp(input_line_pointer, ",\"bss\"", 6) != 0
231 && strncmp(input_line_pointer, ",\"data\"", 7) != 0) {
232 p=input_line_pointer;
233 while(*p && *p!='\n')
234 p++;
235 c= *p;
236 *p='\0';
237 as_bad("bad .common segment: `%s'", input_line_pointer);
238 *p=c;
239 return;
240 }
241 input_line_pointer += 6 + (input_line_pointer[2] == 'd'); /* Skip either */
242 demand_empty_rest_of_line();
243 return;
244 } /* s_common() */
245
246 static void s_seg() {
247
248 if (strncmp(input_line_pointer, "\"text\"", 6) == 0) {
249 input_line_pointer += 6;
250 s_text();
251 return;
252 }
253 if (strncmp(input_line_pointer, "\"data\"", 6) == 0) {
254 input_line_pointer += 6;
255 s_data();
256 return;
257 }
258 if (strncmp(input_line_pointer, "\"data1\"", 7) == 0) {
259 input_line_pointer += 7;
260 s_data1();
261 return;
262 }
263 if (strncmp(input_line_pointer, "\"bss\"", 5) == 0) {
264 input_line_pointer += 5;
265 /* We only support 2 segments -- text and data -- for now, so
266 things in the "bss segment" will have to go into data for now.
267 You can still allocate SEG_BSS stuff with .lcomm or .reserve. */
268 subseg_new(SEG_DATA, 255); /* FIXME-SOMEDAY */
269 return;
270 }
271 as_bad("Unknown segment type");
272 demand_empty_rest_of_line();
273 return;
274 } /* s_seg() */
275
276 static void s_data1() {
277 subseg_new(SEG_DATA, 1);
278 demand_empty_rest_of_line();
279 return;
280 } /* s_data1() */
281
282 static void s_proc() {
283 extern char is_end_of_line[];
284
285 while (!is_end_of_line[*input_line_pointer]) {
286 ++input_line_pointer;
287 }
288 ++input_line_pointer;
289 return;
290 } /* s_proc() */
291
292 /* This function is called once, at assembler startup time. It should
293 set up all the tables, etc. that the MD part of the assembler will need. */
294 void md_begin() {
295 register char *retval = NULL;
296 int lose = 0;
297 register unsigned int i = 0;
298
299 op_hash = hash_new();
300 if (op_hash == NULL)
301 as_fatal("Virtual memory exhausted");
302
303 while (i < NUMOPCODES) {
304 const char *name = sparc_opcodes[i].name;
305 retval = hash_insert(op_hash, name, &sparc_opcodes[i]);
306 if(retval != NULL && *retval != '\0') {
307 fprintf (stderr, "internal error: can't hash `%s': %s\n",
308 sparc_opcodes[i].name, retval);
309 lose = 1;
310 }
311 do
312 {
313 if (sparc_opcodes[i].match & sparc_opcodes[i].lose) {
314 fprintf (stderr, "internal error: losing opcode: `%s' \"%s\"\n",
315 sparc_opcodes[i].name, sparc_opcodes[i].args);
316 lose = 1;
317 }
318 ++i;
319 } while (i < NUMOPCODES
320 && !strcmp(sparc_opcodes[i].name, name));
321 }
322
323 if (lose)
324 as_fatal("Broken assembler. No assembly attempted.");
325
326 for (i = '0'; i < '8'; ++i)
327 octal[i] = 1;
328 for (i = '0'; i <= '9'; ++i)
329 toHex[i] = i - '0';
330 for (i = 'a'; i <= 'f'; ++i)
331 toHex[i] = i + 10 - 'a';
332 for (i = 'A'; i <= 'F'; ++i)
333 toHex[i] = i + 10 - 'A';
334 } /* md_begin() */
335
336 void md_end() {
337 return;
338 } /* md_end() */
339
340 void md_assemble(str)
341 char *str;
342 {
343 char *toP;
344 int rsd;
345
346 know(str);
347 sparc_ip(str);
348
349 /* See if "set" operand is absolute and small; skip sethi if so. */
350 if (special_case == SPECIAL_CASE_SET && the_insn.exp.X_seg == SEG_ABSOLUTE) {
351 if (the_insn.exp.X_add_number >= -(1<<12)
352 && the_insn.exp.X_add_number < (1<<12)) {
353 the_insn.opcode = 0x80102000 /* or %g0,imm,... */
354 | (the_insn.opcode & 0x3E000000) /* dest reg */
355 | (the_insn.exp.X_add_number & 0x1FFF); /* imm */
356 special_case = 0; /* No longer special */
357 the_insn.reloc = NO_RELOC; /* No longer relocated */
358 }
359 }
360
361 toP = frag_more(4);
362 /* put out the opcode */
363 md_number_to_chars(toP, the_insn.opcode, 4);
364
365 /* put out the symbol-dependent stuff */
366 if (the_insn.reloc != NO_RELOC) {
367 fix_new(frag_now, /* which frag */
368 (toP - frag_now->fr_literal), /* where */
369 4, /* size */
370 the_insn.exp.X_add_symbol,
371 the_insn.exp.X_subtract_symbol,
372 the_insn.exp.X_add_number,
373 the_insn.pcrel,
374 the_insn.reloc);
375 }
376 switch (special_case) {
377
378 case SPECIAL_CASE_SET:
379 special_case = 0;
380 assert(the_insn.reloc == RELOC_HI22);
381 /* See if "set" operand has no low-order bits; skip OR if so. */
382 if (the_insn.exp.X_seg == SEG_ABSOLUTE
383 && ((the_insn.exp.X_add_number & 0x3FF) == 0))
384 return;
385 toP = frag_more(4);
386 rsd = (the_insn.opcode >> 25) & 0x1f;
387 the_insn.opcode = 0x80102000 | (rsd << 25) | (rsd << 14);
388 md_number_to_chars(toP, the_insn.opcode, 4);
389 fix_new(frag_now, /* which frag */
390 (toP - frag_now->fr_literal), /* where */
391 4, /* size */
392 the_insn.exp.X_add_symbol,
393 the_insn.exp.X_subtract_symbol,
394 the_insn.exp.X_add_number,
395 the_insn.pcrel,
396 RELOC_LO10);
397 return;
398
399 case SPECIAL_CASE_FDIV:
400 /* According to information leaked from Sun, the "fdiv" instructions
401 on early SPARC machines would produce incorrect results sometimes.
402 The workaround is to add an fmovs of the destination register to
403 itself just after the instruction. This was true on machines
404 with Weitek 1165 float chips, such as the Sun-4/260 and /280. */
405 special_case = 0;
406 assert(the_insn.reloc == NO_RELOC);
407 toP = frag_more(4);
408 rsd = (the_insn.opcode >> 25) & 0x1f;
409 the_insn.opcode = 0x81A00020 | (rsd << 25) | rsd; /* fmovs dest,dest */
410 md_number_to_chars(toP, the_insn.opcode, 4);
411 return;
412
413 case 0:
414 return;
415
416 default:
417 abort();
418 }
419 } /* md_assemble() */
420
421 static void sparc_ip(str)
422 char *str;
423 {
424 char *error_message = "";
425 char *s;
426 const char *args;
427 char c;
428 struct sparc_opcode *insn;
429 char *argsStart;
430 unsigned long opcode;
431 unsigned int mask;
432 int match = 0;
433 int comma = 0;
434
435 for (s = str; islower(*s) || (*s >= '0' && *s <= '3'); ++s)
436 ;
437 switch (*s) {
438
439 case '\0':
440 break;
441
442 case ',':
443 comma = 1;
444
445 /*FALLTHROUGH */
446
447 case ' ':
448 *s++ = '\0';
449 break;
450
451 default:
452 as_bad("Unknown opcode: `%s'", str);
453 exit(1);
454 }
455 if ((insn = (struct sparc_opcode *) hash_find(op_hash, str)) == NULL) {
456 as_bad("Unknown opcode: `%s'", str);
457 return;
458 }
459 if (comma) {
460 *--s = ',';
461 }
462 argsStart = s;
463 for (;;) {
464 opcode = insn->match;
465 bzero(&the_insn, sizeof(the_insn));
466 the_insn.reloc = NO_RELOC;
467
468 /*
469 * Build the opcode, checking as we go to make
470 * sure that the operands match
471 */
472 for (args = insn->args; ; ++args) {
473 switch (*args) {
474
475 case 'M':
476 case 'm':
477 if (strncmp(s, "%asr", 4) == 0) {
478 s += 4;
479
480 if (isdigit(*s)) {
481 long num = 0;
482
483 while (isdigit(*s)) {
484 num = num*10 + *s-'0';
485 ++s;
486 }
487
488 if (num < 16 || 31 < num) {
489 error_message = ": asr number must be between 15 and 31";
490 goto error;
491 } /* out of range */
492
493 opcode |= (*args == 'M' ? RS1(num) : RD(num));
494 continue;
495 } else {
496 error_message = ": expecting %asrN";
497 goto error;
498 } /* if %asr followed by a number. */
499
500 } /* if %asr */
501 break;
502
503 /* start-sanitize-v9 */
504 #ifndef NO_V9
505 case 'I':
506 the_insn.reloc = RELOC_11;
507 goto immediate;
508
509 case 'k':
510 the_insn.reloc = RELOC_WDISP2_14;
511 the_insn.pcrel = 1;
512 goto immediate;
513
514 case 'G':
515 the_insn.reloc = RELOC_WDISP19;
516 the_insn.pcrel = 1;
517 goto immediate;
518
519 case 'N':
520 if (*s == 'p' && s[1] == 'n') {
521 s += 2;
522 continue;
523 }
524 break;
525
526 case 'T':
527 if (*s == 'p' && s[1] == 't') {
528 s += 2;
529 continue;
530 }
531 break;
532
533 case 'Y':
534 if (strncmp(s, "%amr", 4) == 0) {
535 s += 4;
536 continue;
537 }
538 break;
539
540 case 'z':
541 if (*s == ' ') {
542 ++s;
543 }
544 if (strncmp(s, "icc", 3) == 0) {
545 s += 3;
546 continue;
547 }
548 break;
549
550 case 'Z':
551 if (*s == ' ') {
552 ++s;
553 }
554 if (strncmp(s, "xcc", 3) == 0) {
555 s += 3;
556 continue;
557 }
558 break;
559
560 case '6':
561 if (*s == ' ') {
562 ++s;
563 }
564 if (strncmp(s, "fcc0", 4) == 0) {
565 s += 4;
566 continue;
567 }
568 break;
569
570 case '7':
571 if (*s == ' ') {
572 ++s;
573 }
574 if (strncmp(s, "fcc1", 4) == 0) {
575 s += 4;
576 continue;
577 }
578 break;
579
580 case '8':
581 if (*s == ' ') {
582 ++s;
583 }
584 if (strncmp(s, "fcc2", 4) == 0) {
585 s += 4;
586 continue;
587 }
588 break;
589
590 case '9':
591 if (*s == ' ') {
592 ++s;
593 }
594 if (strncmp(s, "fcc3", 4) == 0) {
595 s += 4;
596 continue;
597 }
598 break;
599
600 case 'P':
601 if (strncmp(s, "%pc", 3) == 0) {
602 s += 3;
603 continue;
604 }
605 break;
606
607 case 'E':
608 if (strncmp(s, "%modes", 6) == 0) {
609 s += 6;
610 continue;
611 }
612 break;
613
614 case 'W':
615 if (strncmp(s, "%tick", 5) == 0) {
616 s += 5;
617 continue;
618 }
619 break;
620 #endif /* NO_V9 */
621 /* end-sanitize-v9 */
622
623 case '\0': /* end of args */
624 if (*s == '\0') {
625 match = 1;
626 }
627 break;
628
629 case '+':
630 if (*s == '+') {
631 ++s;
632 continue;
633 }
634 if (*s == '-') {
635 continue;
636 }
637 break;
638
639 case '[': /* these must match exactly */
640 case ']':
641 case ',':
642 case ' ':
643 if (*s++ == *args)
644 continue;
645 break;
646
647 case '#': /* must be at least one digit */
648 if (isdigit(*s++)) {
649 while (isdigit(*s)) {
650 ++s;
651 }
652 continue;
653 }
654 break;
655
656 case 'C': /* coprocessor state register */
657 if (strncmp(s, "%csr", 4) == 0) {
658 s += 4;
659 continue;
660 }
661 break;
662
663 case 'b': /* next operand is a coprocessor register */
664 case 'c':
665 case 'D':
666 if (*s++ == '%' && *s++ == 'c' && isdigit(*s)) {
667 mask = *s++;
668 if (isdigit(*s)) {
669 mask = 10 * (mask - '0') + (*s++ - '0');
670 if (mask >= 32) {
671 break;
672 }
673 } else {
674 mask -= '0';
675 }
676 switch (*args) {
677
678 case 'b':
679 opcode |= mask << 14;
680 continue;
681
682 case 'c':
683 opcode |= mask;
684 continue;
685
686 case 'D':
687 opcode |= mask << 25;
688 continue;
689 }
690 }
691 break;
692
693 case 'r': /* next operand must be a register */
694 case '1':
695 case '2':
696 case 'd':
697 if (*s++ == '%') {
698 switch (c = *s++) {
699
700 case 'f': /* frame pointer */
701 if (*s++ == 'p') {
702 mask = 0x1e;
703 break;
704 }
705 goto error;
706
707 case 'g': /* global register */
708 if (isoctal(c = *s++)) {
709 mask = c - '0';
710 break;
711 }
712 goto error;
713
714 case 'i': /* in register */
715 if (isoctal(c = *s++)) {
716 mask = c - '0' + 24;
717 break;
718 }
719 goto error;
720
721 case 'l': /* local register */
722 if (isoctal(c = *s++)) {
723 mask= (c - '0' + 16) ;
724 break;
725 }
726 goto error;
727
728 case 'o': /* out register */
729 if (isoctal(c = *s++)) {
730 mask= (c - '0' + 8) ;
731 break;
732 }
733 goto error;
734
735 case 's': /* stack pointer */
736 if (*s++ == 'p') {
737 mask= 0xe;
738 break;
739 }
740 goto error;
741
742 case 'r': /* any register */
743 if (!isdigit(c = *s++)) {
744 goto error;
745 }
746 /* FALLTHROUGH */
747 case '0': case '1': case '2': case '3': case '4':
748 case '5': case '6': case '7': case '8': case '9':
749 if (isdigit(*s)) {
750 if ((c = 10 * (c - '0') + (*s++ - '0')) >= 32) {
751 goto error;
752 }
753 } else {
754 c -= '0';
755 }
756 mask= c;
757 break;
758
759 default:
760 goto error;
761 }
762 /*
763 * Got the register, now figure out where
764 * it goes in the opcode.
765 */
766 switch (*args) {
767
768 case '1':
769 opcode |= mask << 14;
770 continue;
771
772 case '2':
773 opcode |= mask;
774 continue;
775
776 case 'd':
777 opcode |= mask << 25;
778 continue;
779
780 case 'r':
781 opcode |= (mask << 25) | (mask << 14);
782 continue;
783 }
784 }
785 break;
786
787 /* start-sanitize-v9 */
788 #ifndef NO_V9
789 case 'j':
790 #endif /* NO_V9 */
791 /* end-sanitize-v9 */
792 case 'e': /* next operand is a floating point register */
793 case 'f':
794 case 'g':
795 if (*s++ == '%' && *s++ == 'f' && isdigit(*s)) {
796 mask = *s++;
797 if (isdigit(*s)) {
798 mask = 10 * (mask - '0') + (*s++ - '0');
799 if (mask >= 32) {
800 break;
801 }
802 } else {
803 mask -= '0';
804 }
805 switch (*args) {
806
807 case 'e':
808 opcode |= RS1(mask);
809 continue;
810
811 case 'f':
812 opcode |= RS2(mask);
813 continue;
814
815 case 'g':
816 opcode |= RD(mask);
817 continue;
818 /* start-sanitize-v9 */
819 #ifndef NO_V9
820 case 'j':
821 opcode |= (mask & 0x1f) << 9;
822 continue;
823 #endif /* NO_V9 */
824 /* end-sanitize-v9 */
825 }
826 }
827 break;
828
829 case 'F':
830 if (strncmp(s, "%fsr", 4) == 0) {
831 s += 4;
832 continue;
833 }
834 break;
835
836 case 'h': /* high 22 bits */
837 the_insn.reloc = RELOC_HI22;
838 goto immediate;
839
840 case 'l': /* 22 bit PC relative immediate */
841 the_insn.reloc = RELOC_WDISP22;
842 the_insn.pcrel = 1;
843 goto immediate;
844
845 case 'L': /* 30 bit immediate */
846 the_insn.reloc = RELOC_WDISP30;
847 the_insn.pcrel = 1;
848 goto immediate;
849
850 case 'i': /* 13 bit immediate */
851 the_insn.reloc = RELOC_BASE13;
852
853 /*FALLTHROUGH */
854
855 immediate:
856 if(*s==' ')
857 s++;
858 if (*s == '%') {
859 if ((c = s[1]) == 'h' && s[2] == 'i') {
860 the_insn.reloc = RELOC_HI22;
861 s+=3;
862 } else if (c == 'l' && s[2] == 'o') {
863 the_insn.reloc = RELOC_LO10;
864 s+=3;
865 /* start-sanitize-v9 */
866 #ifndef NO_V9
867 } else if (c == 'h'
868 && s[2] == 'h'
869 && s[3] == 'i') {
870 the_insn.reloc = RELOC_HHI22;
871 s += 4;
872
873 } else if (c == 'h'
874 && s[2] == 'l'
875 && s[3] == 'o') {
876 the_insn.reloc = RELOC_HLO10;
877 s += 4;
878 #endif /* NO_V9 */
879 /* end-sanitize-v9 */
880 } else
881 break;
882 }
883 /* Note that if the getExpression() fails, we
884 will still have created U entries in the
885 symbol table for the 'symbols' in the input
886 string. Try not to create U symbols for
887 registers, etc. */
888 {
889 /* This stuff checks to see if the
890 expression ends in +%reg If it does,
891 it removes the register from the
892 expression, and re-sets 's' to point
893 to the right place */
894
895 char *s1;
896
897 for(s1=s;*s1 && *s1!=','&& *s1!=']';s1++)
898 ;
899
900 if(s1!=s && isdigit(s1[-1])) {
901 if(s1[-2]=='%' && s1[-3]=='+') {
902 s1-=3;
903 *s1='\0';
904 (void)getExpression(s);
905 *s1='+';
906 s=s1;
907 continue;
908 } else if(strchr("goli0123456789",s1[-2]) && s1[-3]=='%' && s1[-4]=='+') {
909 s1-=4;
910 *s1='\0';
911 (void)getExpression(s);
912 *s1='+';
913 s=s1;
914 continue;
915 }
916 }
917 }
918 (void)getExpression(s);
919 s = expr_end;
920 continue;
921
922 case 'a':
923 if (*s++ == 'a') {
924 opcode |= ANNUL;
925 continue;
926 }
927 break;
928
929 case 'A': /* alternate space */
930 if (isdigit(*s)) {
931 long num;
932
933 num=0;
934 while (isdigit(*s)) {
935 num= num*10 + *s-'0';
936 ++s;
937 }
938 opcode |= num<<5;
939 continue;
940 }
941 break;
942 /* abort(); */
943
944 case 'p':
945 if (strncmp(s, "%psr", 4) == 0) {
946 s += 4;
947 continue;
948 }
949 break;
950
951 case 'q': /* floating point queue */
952 if (strncmp(s, "%fq", 3) == 0) {
953 s += 3;
954 continue;
955 }
956 break;
957
958 case 'Q': /* coprocessor queue */
959 if (strncmp(s, "%cq", 3) == 0) {
960 s += 3;
961 continue;
962 }
963 break;
964
965 case 'S':
966 if (strcmp(str, "set") == 0) {
967 special_case = SPECIAL_CASE_SET;
968 continue;
969 } else if (strncmp(str, "fdiv", 4) == 0) {
970 special_case = SPECIAL_CASE_FDIV;
971 continue;
972 }
973 break;
974
975 case 't':
976 if (strncmp(s, "%tbr", 4) != 0)
977 break;
978 s += 4;
979 continue;
980
981 case 'w':
982 if (strncmp(s, "%wim", 4) != 0)
983 break;
984 s += 4;
985 continue;
986
987 case 'y':
988 if (strncmp(s, "%y", 2) != 0)
989 break;
990 s += 2;
991 continue;
992
993 default:
994 abort();
995 } /* switch on arg code */
996 break;
997 } /* for each arg that we expect */
998 error:
999 if (match == 0) {
1000 /* Args don't match. */
1001 if (((unsigned) (&insn[1] - sparc_opcodes)) < NUMOPCODES
1002 && !strcmp(insn->name, insn[1].name)) {
1003 ++insn;
1004 s = argsStart;
1005 continue;
1006 } else {
1007 as_bad("Illegal operands%s", error_message);
1008 return;
1009 }
1010 } else {
1011 if (insn->architecture > current_architecture) {
1012 if (current_architecture != cypress
1013 && (!architecture_requested || warn_on_bump)) {
1014
1015 if (warn_on_bump) {
1016 as_warn("architecture bumped from \"%s\" to \"%s\" on \"%s\"",
1017 architecture_pname[current_architecture],
1018 architecture_pname[insn->architecture],
1019 str);
1020 } /* if warning */
1021
1022 current_architecture = insn->architecture;
1023 } else {
1024 as_bad("architecture mismatch on \"%s\" (\"%s\"). current architecture is \"%s\"",
1025 str,
1026 architecture_pname[insn->architecture],
1027 architecture_pname[current_architecture]);
1028 return;
1029 } /* if bump ok else error */
1030 } /* if architecture higher */
1031 } /* if no match */
1032
1033 break;
1034 } /* forever looking for a match */
1035
1036 the_insn.opcode = opcode;
1037 return;
1038 } /* sparc_ip() */
1039
1040 static int getExpression(str)
1041 char *str;
1042 {
1043 char *save_in;
1044 segT seg;
1045
1046 save_in = input_line_pointer;
1047 input_line_pointer = str;
1048 switch (seg = expression(&the_insn.exp)) {
1049
1050 case SEG_ABSOLUTE:
1051 case SEG_TEXT:
1052 case SEG_DATA:
1053 case SEG_BSS:
1054 case SEG_UNKNOWN:
1055 case SEG_DIFFERENCE:
1056 case SEG_BIG:
1057 case SEG_ABSENT:
1058 break;
1059
1060 default:
1061 the_insn.error = "bad segment";
1062 expr_end = input_line_pointer;
1063 input_line_pointer=save_in;
1064 return 1;
1065 }
1066 expr_end = input_line_pointer;
1067 input_line_pointer = save_in;
1068 return 0;
1069 } /* getExpression() */
1070
1071
1072 /*
1073 This is identical to the md_atof in m68k.c. I think this is right,
1074 but I'm not sure.
1075
1076 Turn a string in input_line_pointer into a floating point constant of type
1077 type, and store the appropriate bytes in *litP. The number of LITTLENUMS
1078 emitted is stored in *sizeP . An error message is returned, or NULL on OK.
1079 */
1080
1081 /* Equal to MAX_PRECISION in atof-ieee.c */
1082 #define MAX_LITTLENUMS 6
1083
1084 char *md_atof(type,litP,sizeP)
1085 char type;
1086 char *litP;
1087 int *sizeP;
1088 {
1089 int prec;
1090 LITTLENUM_TYPE words[MAX_LITTLENUMS];
1091 LITTLENUM_TYPE *wordP;
1092 char *t;
1093 char *atof_ieee();
1094
1095 switch(type) {
1096
1097 case 'f':
1098 case 'F':
1099 case 's':
1100 case 'S':
1101 prec = 2;
1102 break;
1103
1104 case 'd':
1105 case 'D':
1106 case 'r':
1107 case 'R':
1108 prec = 4;
1109 break;
1110
1111 case 'x':
1112 case 'X':
1113 prec = 6;
1114 break;
1115
1116 case 'p':
1117 case 'P':
1118 prec = 6;
1119 break;
1120
1121 default:
1122 *sizeP=0;
1123 return "Bad call to MD_ATOF()";
1124 }
1125 t=atof_ieee(input_line_pointer,type,words);
1126 if(t)
1127 input_line_pointer=t;
1128 *sizeP=prec * sizeof(LITTLENUM_TYPE);
1129 for(wordP=words;prec--;) {
1130 md_number_to_chars(litP,(long)(*wordP++),sizeof(LITTLENUM_TYPE));
1131 litP+=sizeof(LITTLENUM_TYPE);
1132 }
1133 return ""; /* Someone should teach Dean about null pointers */
1134 } /* md_atof() */
1135
1136 /*
1137 * Write out big-endian.
1138 */
1139 void md_number_to_chars(buf,val,n)
1140 char *buf;
1141 long val;
1142 int n;
1143 {
1144
1145 switch(n) {
1146
1147 case 4:
1148 *buf++ = val >> 24;
1149 *buf++ = val >> 16;
1150 case 2:
1151 *buf++ = val >> 8;
1152 case 1:
1153 *buf = val;
1154 break;
1155
1156 default:
1157 abort();
1158 }
1159 return;
1160 } /* md_number_to_chars() */
1161
1162 /* Apply a fixS to the frags, now that we know the value it ought to
1163 hold. */
1164
1165 void md_apply_fix(fixP, val)
1166 fixS *fixP;
1167 long val;
1168 {
1169 char *buf = fixP->fx_where + fixP->fx_frag->fr_literal;
1170
1171 assert(fixP->fx_size == 4);
1172 assert(fixP->fx_r_type < NO_RELOC);
1173
1174 fixP->fx_addnumber = val; /* Remember value for emit_reloc */
1175
1176 /*
1177 * This is a hack. There should be a better way to
1178 * handle this.
1179 */
1180 if (fixP->fx_r_type == RELOC_WDISP30 && fixP->fx_addsy) {
1181 val += fixP->fx_where + fixP->fx_frag->fr_address;
1182 }
1183
1184 switch (fixP->fx_r_type) {
1185
1186 case RELOC_32:
1187 buf[0] = 0; /* val >> 24; */
1188 buf[1] = 0; /* val >> 16; */
1189 buf[2] = 0; /* val >> 8; */
1190 buf[3] = 0; /* val; */
1191 break;
1192
1193 #if 0
1194 case RELOC_8: /* These don't seem to ever be needed. */
1195 case RELOC_16:
1196 case RELOC_DISP8:
1197 case RELOC_DISP16:
1198 case RELOC_DISP32:
1199 #endif
1200 case RELOC_WDISP30:
1201 val = (val >>= 2) + 1;
1202 buf[0] |= (val >> 24) & 0x3f;
1203 buf[1]= (val >> 16);
1204 buf[2] = val >> 8;
1205 buf[3] = val;
1206 break;
1207
1208 /* start-sanitize-v9 */
1209 #ifndef NO_V9
1210 case RELOC_11:
1211 if (val & 0x7ff) {
1212 as_bad("relocation overflow");
1213 } /* on overflow */
1214
1215 buf[2] = (val >> 8) & 0x7;
1216 buf[3] = val & 0xff;
1217 break;
1218
1219 case RELOC_WDISP2_14:
1220 if (val & ~0xffff) {
1221 as_bad("relocation overflow.");
1222 } /* on overflow */
1223
1224 val = (val >>= 2) + 1;
1225 buf[1] |= ((val >> 14) & 0x3) << 3;
1226 buf[2] |= (val >> 8) & 0x3f ;
1227 buf[3] = val & 0xff;
1228 break;
1229
1230 case RELOC_WDISP19:
1231 if (val & ~0x7ffff) {
1232 as_bad("relocation overflow.");
1233 } /* on overflow */
1234
1235 val = (val >>= 2) + 1;
1236 buf[1] |= (val >> 16) & 0x7;
1237 buf[2] = (val >> 8) & 0xff;
1238 buf[3] = val & 0xff;
1239 break;
1240
1241 case RELOC_HHI22:
1242 val >> 32;
1243 /* intentional fallthrough */
1244 #endif /* NO_V9 */
1245 /* end-sanitize-v9 */
1246
1247 case RELOC_HI22:
1248 if(!fixP->fx_addsy) {
1249 buf[1] |= (val >> 26) & 0x3f;
1250 buf[2] = val >> 18;
1251 buf[3] = val >> 10;
1252 } else {
1253 buf[2]=0;
1254 buf[3]=0;
1255 }
1256 break;
1257 #if 0
1258 case RELOC_22:
1259 case RELOC_13:
1260 #endif
1261
1262 /* start-sanitize-v9 */
1263 #ifndef NO_V9
1264 case RELOC_HLO10:
1265 val >>= 32;
1266 /* intentional fallthrough */
1267 #endif /* NO_V9 */
1268 /* end-sanitize-v9 */
1269
1270 case RELOC_LO10:
1271 if(!fixP->fx_addsy) {
1272 buf[2] |= (val >> 8) & 0x03;
1273 buf[3] = val;
1274 } else
1275 buf[3]=0;
1276 break;
1277 #if 0
1278 case RELOC_SFA_BASE:
1279 case RELOC_SFA_OFF13:
1280 case RELOC_BASE10:
1281 #endif
1282 case RELOC_BASE13:
1283 buf[2] |= (val >> 8) & 0x1f;
1284 buf[3] = val;
1285 break;
1286
1287 case RELOC_WDISP22:
1288 val = (val >>= 2) + 1;
1289 /* FALLTHROUGH */
1290 case RELOC_BASE22:
1291 buf[1] |= (val >> 16) & 0x3f;
1292 buf[2] = val >> 8;
1293 buf[3] = val;
1294 break;
1295
1296 #if 0
1297 case RELOC_PC10:
1298 case RELOC_PC22:
1299 case RELOC_JMP_TBL:
1300 case RELOC_SEGOFF16:
1301 case RELOC_GLOB_DAT:
1302 case RELOC_JMP_SLOT:
1303 case RELOC_RELATIVE:
1304 #endif
1305
1306 case NO_RELOC:
1307 default:
1308 as_bad("bad relocation type: 0x%02x", fixP->fx_r_type);
1309 break;
1310 }
1311 } /* md_apply_fix() */
1312
1313 /* should never be called for sparc */
1314 void md_create_short_jump(ptr, from_addr, to_addr, frag, to_symbol)
1315 char *ptr;
1316 long from_addr;
1317 long to_addr;
1318 fragS *frag;
1319 symbolS *to_symbol;
1320 {
1321 fprintf(stderr, "sparc_create_short_jmp\n");
1322 abort();
1323 } /* md_create_short_jump() */
1324
1325 /* Translate internal representation of relocation info to target format.
1326
1327 On sparc: first 4 bytes are normal unsigned long address, next three
1328 bytes are index, most sig. byte first. Byte 7 is broken up with
1329 bit 7 as external, bits 6 & 5 unused, and the lower
1330 five bits as relocation type. Next 4 bytes are long addend. */
1331 /* Thanx and a tip of the hat to Michael Bloom, mb@ttidca.tti.com */
1332 void md_ri_to_chars(the_bytes, ri)
1333 char *the_bytes;
1334 struct reloc_info_generic *ri;
1335 {
1336 /* this is easy */
1337 md_number_to_chars(the_bytes, ri->r_address, 4);
1338 /* now the fun stuff */
1339 the_bytes[4] = (ri->r_index >> 16) & 0x0ff;
1340 the_bytes[5] = (ri->r_index >> 8) & 0x0ff;
1341 the_bytes[6] = ri->r_index & 0x0ff;
1342 the_bytes[7] = ((ri->r_extern << 7) & 0x80) | (0 & 0x60) | (ri->r_type & 0x1F);
1343 /* Also easy */
1344 md_number_to_chars(&the_bytes[8], ri->r_addend, 4);
1345 } /* md_ri_to_chars() */
1346
1347 /* should never be called for sparc */
1348 void md_convert_frag(fragP)
1349 register fragS *fragP;
1350 {
1351 fprintf(stderr, "sparc_convert_frag\n");
1352 abort();
1353 } /* md_convert_frag() */
1354
1355 /* should never be called for sparc */
1356 void md_create_long_jump(ptr, from_addr, to_addr, frag, to_symbol)
1357 char *ptr;
1358 long from_addr, to_addr;
1359 fragS *frag;
1360 symbolS *to_symbol;
1361 {
1362 fprintf(stderr, "sparc_create_long_jump\n");
1363 abort();
1364 } /* md_create_long_jump() */
1365
1366 /* should never be called for sparc */
1367 int md_estimate_size_before_relax(fragP, segtype)
1368 fragS *fragP;
1369 segT segtype;
1370 {
1371 fprintf(stderr, "sparc_estimate_size_before_relax\n");
1372 abort();
1373 return 0;
1374 } /* md_estimate_size_before_relax() */
1375
1376 #if 0
1377 /* for debugging only */
1378 static void print_insn(insn)
1379 struct sparc_it *insn;
1380 {
1381 char *Reloc[] = {
1382 "RELOC_8",
1383 "RELOC_16",
1384 "RELOC_32",
1385 "RELOC_DISP8",
1386 "RELOC_DISP16",
1387 "RELOC_DISP32",
1388 "RELOC_WDISP30",
1389 "RELOC_WDISP22",
1390 "RELOC_HI22",
1391 "RELOC_22",
1392 "RELOC_13",
1393 "RELOC_LO10",
1394 "RELOC_SFA_BASE",
1395 "RELOC_SFA_OFF13",
1396 "RELOC_BASE10",
1397 "RELOC_BASE13",
1398 "RELOC_BASE22",
1399 "RELOC_PC10",
1400 "RELOC_PC22",
1401 "RELOC_JMP_TBL",
1402 "RELOC_SEGOFF16",
1403 "RELOC_GLOB_DAT",
1404 "RELOC_JMP_SLOT",
1405 "RELOC_RELATIVE",
1406 "NO_RELOC"
1407 };
1408
1409 if (insn->error) {
1410 fprintf(stderr, "ERROR: %s\n");
1411 }
1412 fprintf(stderr, "opcode=0x%08x\n", insn->opcode);
1413 fprintf(stderr, "reloc = %s\n", Reloc[insn->reloc]);
1414 fprintf(stderr, "exp = {
1415 \n");
1416 fprintf(stderr, "\t\tX_add_symbol = %s\n",
1417 ((insn->exp.X_add_symbol != NULL)
1418 ? ((S_GET_NAME(insn->exp.X_add_symbol) != NULL)
1419 ? S_GET_NAME(insn->exp.X_add_symbol)
1420 : "???")
1421 : "0"));
1422 fprintf(stderr, "\t\tX_sub_symbol = %s\n",
1423 ((insn->exp.X_subtract_symbol != NULL)
1424 ? (S_GET_NAME(insn->exp.X_subtract_symbol)
1425 ? S_GET_NAME(insn->exp.X_subtract_symbol)
1426 : "???")
1427 : "0"));
1428 fprintf(stderr, "\t\tX_add_number = %d\n",
1429 insn->exp.X_add_number);
1430 fprintf(stderr, "}\n");
1431 return;
1432 } /* print_insn() */
1433 #endif
1434
1435 /* Set the hook... */
1436
1437 void emit_sparc_reloc();
1438 void (*md_emit_relocations)() = emit_sparc_reloc;
1439
1440 /*
1441 * Sparc/AM29K relocations are completely different, so it needs
1442 * this machine dependent routine to emit them.
1443 */
1444 #if defined(OBJ_AOUT) || defined(OBJ_BOUT)
1445 void emit_sparc_reloc(fixP, segment_address_in_file)
1446 register fixS *fixP;
1447 relax_addressT segment_address_in_file;
1448 {
1449 struct reloc_info_generic ri;
1450 register symbolS *symbolP;
1451 extern char *next_object_file_charP;
1452 /* long add_number; */
1453
1454 bzero((char *) &ri, sizeof(ri));
1455 for (; fixP; fixP = fixP->fx_next) {
1456
1457 if (fixP->fx_r_type >= NO_RELOC) {
1458 fprintf(stderr, "fixP->fx_r_type = %d\n", fixP->fx_r_type);
1459 abort();
1460 }
1461
1462 if ((symbolP = fixP->fx_addsy) != NULL) {
1463 ri.r_address = fixP->fx_frag->fr_address +
1464 fixP->fx_where - segment_address_in_file;
1465 if ((S_GET_TYPE(symbolP)) == N_UNDF) {
1466 ri.r_extern = 1;
1467 ri.r_index = symbolP->sy_number;
1468 } else {
1469 ri.r_extern = 0;
1470 ri.r_index = S_GET_TYPE(symbolP);
1471 }
1472 if (symbolP && symbolP->sy_frag) {
1473 ri.r_addend = symbolP->sy_frag->fr_address;
1474 }
1475 ri.r_type = fixP->fx_r_type;
1476 if (fixP->fx_pcrel) {
1477 /* ri.r_addend -= fixP->fx_where; */
1478 ri.r_addend -= ri.r_address;
1479 } else {
1480 ri.r_addend = fixP->fx_addnumber;
1481 }
1482
1483 md_ri_to_chars(next_object_file_charP, &ri);
1484 next_object_file_charP += md_reloc_size;
1485 }
1486 }
1487 return;
1488 } /* emit_sparc_reloc() */
1489 #endif /* aout or bout */
1490
1491 /*
1492 * md_parse_option
1493 * Invocation line includes a switch not recognized by the base assembler.
1494 * See if it's a processor-specific option. These are:
1495 *
1496 * -bump
1497 * Warn on architecture bumps. See also -A.
1498 *
1499 * -Av6, -Av7, -Acypress, -Av8
1500 * Select the architecture. Instructions or features not
1501 * supported by the selected architecture cause fatal errors.
1502 *
1503 * The default is to start at v6, and bump the architecture up
1504 * whenever an instruction is seen at a higher level.
1505 *
1506 * If -bump is specified, a warning is printing when bumping to
1507 * higher levels.
1508 *
1509 * If an architecture is specified, all instructions must match
1510 * that architecture. Any higher level instructions are flagged
1511 * as errors.
1512 *
1513 * if both an architecture and -bump are specified, the
1514 * architecture starts at the specified level, but bumps are
1515 * warnings.
1516 *
1517 * Note that where cypress specific instructions conflict with
1518 * other instructions, the other instruction is assumed. Nothing
1519 * is upward compatible with cypress. Thus, to get the cypress
1520 * instruction set you MUST -Acypress.
1521 *
1522 */
1523 /* start-sanitize-v9 */
1524 /* There is also a -Av9 architecture option. xoxorich. */
1525 /* end-sanitize-v9 */
1526 int md_parse_option(argP, cntP, vecP)
1527 char **argP;
1528 int *cntP;
1529 char ***vecP;
1530 {
1531 char *p;
1532 const char **arch;
1533
1534 if (!strcmp(*argP,"bump")){
1535 warn_on_bump = 1;
1536
1537 } else if (**argP == 'A'){
1538 p = (*argP) + 1;
1539
1540 for (arch = architecture_pname; *arch != NULL; ++arch){
1541 if (strcmp(p, *arch) == 0){
1542 break;
1543 } /* found a match */
1544 } /* walk the pname table */
1545
1546 if (*arch == NULL){
1547 as_bad("unknown architecture: %s", p);
1548 } else {
1549 current_architecture = (enum sparc_architecture) (arch - architecture_pname);
1550 architecture_requested = 1;
1551 }
1552 } else {
1553 /* Unknown option */
1554 (*argP)++;
1555 return 0;
1556 }
1557 **argP = '\0'; /* Done parsing this switch */
1558 return 1;
1559 } /* md_parse_option() */
1560
1561 /* We have no need to default values of symbols. */
1562
1563 /* ARGSUSED */
1564 symbolS *md_undefined_symbol(name)
1565 char *name;
1566 {
1567 return 0;
1568 } /* md_undefined_symbol() */
1569
1570 /* Parse an operand that is machine-specific.
1571 We just return without modifying the expression if we have nothing
1572 to do. */
1573
1574 /* ARGSUSED */
1575 void md_operand(expressionP)
1576 expressionS *expressionP;
1577 {
1578 } /* md_operand() */
1579
1580 /* Round up a section size to the appropriate boundary. */
1581 long md_section_align (segment, size)
1582 segT segment;
1583 long size;
1584 {
1585 return (size + 7) & ~7; /* Round all sects to multiple of 8 */
1586 } /* md_section_align() */
1587
1588 /* Exactly what point is a PC-relative offset relative TO?
1589 On the sparc, they're relative to the address of the offset, plus
1590 its size. This gets us to the following instruction.
1591 (??? Is this right? FIXME-SOON) */
1592 long md_pcrel_from(fixP)
1593 fixS *fixP;
1594 {
1595 return fixP->fx_size + fixP->fx_where + fixP->fx_frag->fr_address;
1596 } /* md_pcrel_from() */
1597
1598 /*
1599 * Local Variables:
1600 * comment-column: 0
1601 * fill-column: 131
1602 * End:
1603 */
1604
1605 /* end of tp-sparc.c */
GDB Binutils - Deliverables
This page took 0.063951 seconds and 5 git commands to generate.