1 /* tc-sparc.c -- Assemble for the SPARC
2 Copyright (C) 1989, 1990, 1991, 1992 Free Software Foundation, Inc.
4 This file is part of GAS, the GNU Assembler.
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)
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.
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. */
27 /* careful, this file includes data *declarations* */
28 #include "opcode/sparc.h"
32 void md_number_to_chars();
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();
43 static enum sparc_architecture current_architecture
= v6
;
44 static int architecture_requested
= 0;
45 static int warn_on_bump
= 0;
47 const relax_typeS md_relax_table
[] = {
50 /* handle of the OPCODE hash table */
51 static struct hash_control
*op_hash
= NULL
;
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();
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 },
62 { "optim", s_ignore
, 0 },
63 { "proc", s_proc
, 0 },
64 { "reserve", s_reserve
, 0 },
66 { "skip", s_space
, 0 },
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 */
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 */
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
[] = "#";
89 /* Chars that can be used to separate mant from exp in floating point nums */
90 const char EXP_CHARS
[] = "eE";
92 /* Chars that mean this number is a floating point constant */
95 const char FLT_CHARS
[] = "rRsSfFdDxXpP";
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.
102 static unsigned char octal
[256];
103 #define isoctal(c) octal[c]
104 static unsigned char toHex
[256];
108 unsigned long opcode
;
109 struct nlist
*nlistp
;
112 enum reloc_type reloc
;
113 } the_insn
, set_insn
;
117 static void print_insn(struct sparc_it
*insn
);
119 static int getExpression(char *str
);
120 #else /* not __STDC__ */
122 static void print_insn();
124 static int getExpression();
125 #endif /* not __STDC__ */
127 static char *expr_end
;
128 static int special_case
;
131 * Instructions that require wierd handling because they're longer than
134 #define SPECIAL_CASE_SET 1
135 #define SPECIAL_CASE_FDIV 2
138 * sort of like s_lcomm
141 static int max_alignment
= 15;
143 static void s_reserve() {
152 name
= input_line_pointer
;
153 c
= get_symbol_end();
154 p
= input_line_pointer
;
158 if (*input_line_pointer
!= ',') {
159 as_bad("Expected comma after name");
160 ignore_rest_of_line();
164 ++input_line_pointer
;
166 if ((size
= get_absolute_expression()) < 0) {
167 as_bad("BSS length (%d.) <0! Ignored.", size
);
168 ignore_rest_of_line();
173 symbolP
= symbol_find_or_make(name
);
176 if (strncmp(input_line_pointer
, ",\"bss\"", 6) != 0) {
177 as_bad("bad .reserve segment: `%s'", input_line_pointer
);
181 input_line_pointer
+= 6;
184 if (*input_line_pointer
== ',') {
185 ++input_line_pointer
;
188 if (*input_line_pointer
== '\n') {
189 as_bad("Missing alignment");
193 align
= get_absolute_expression();
194 if (align
> max_alignment
){
195 align
= max_alignment
;
196 as_warn("Alignment too large: %d. assumed.", align
);
197 } else if (align
< 0) {
199 as_warn("Alignment negative. 0 assumed.");
202 #define SEG_BSS SEG_E2
203 record_alignment(SEG_E2
, align
);
205 record_alignment(SEG_BSS
, align
);
208 /* convert to a power of 2 alignment */
209 for (temp
= 0; (align
& 1) == 0; align
>>= 1, ++temp
) ;;
212 as_bad("Alignment not a power of 2");
213 ignore_rest_of_line();
215 } /* not a power of two */
220 align
= ~((~0) << align
); /* Convert to a mask */
221 local_bss_counter
= (local_bss_counter
+ align
) & (~align
);
222 } /* if has optional alignment */
224 if (S_GET_OTHER(symbolP
) == 0
225 && S_GET_DESC(symbolP
) == 0
226 && ((S_GET_SEGMENT(symbolP
) == SEG_BSS
227 && S_GET_VALUE(symbolP
) == local_bss_counter
)
228 || !S_IS_DEFINED(symbolP
))) {
229 S_SET_VALUE(symbolP
, local_bss_counter
);
230 S_SET_SEGMENT(symbolP
, SEG_BSS
);
231 symbolP
->sy_frag
= &bss_address_frag
;
232 local_bss_counter
+= size
;
234 as_warn("Ignoring attempt to re-define symbol from %d. to %d.",
235 S_GET_VALUE(symbolP
), local_bss_counter
);
236 } /* if not redefining */
238 demand_empty_rest_of_line();
242 static void s_common() {
247 register symbolS
* symbolP
;
249 name
= input_line_pointer
;
250 c
= get_symbol_end();
251 /* just after name is now '\0' */
252 p
= input_line_pointer
;
255 if (* input_line_pointer
!= ',') {
256 as_bad("Expected comma after symbol-name");
257 ignore_rest_of_line();
260 input_line_pointer
++; /* skip ',' */
261 if ((temp
= get_absolute_expression ()) < 0) {
262 as_bad(".COMMon length (%d.) <0! Ignored.", temp
);
263 ignore_rest_of_line();
267 symbolP
= symbol_find_or_make(name
);
269 if (S_IS_DEFINED(symbolP
)) {
270 as_bad("Ignoring attempt to re-define symbol");
271 ignore_rest_of_line();
274 if (S_GET_VALUE(symbolP
) != 0) {
275 if (S_GET_VALUE(symbolP
) != temp
) {
276 as_warn("Length of .comm \"%s\" is already %d. Not changed to %d.",
277 S_GET_NAME(symbolP
), S_GET_VALUE(symbolP
), temp
);
280 S_SET_VALUE(symbolP
, temp
);
281 S_SET_EXTERNAL(symbolP
);
283 know(symbolP
->sy_frag
== &zero_address_frag
);
284 if (strncmp(input_line_pointer
, ",\"bss\"", 6) != 0
285 && strncmp(input_line_pointer
, ",\"data\"", 7) != 0) {
286 p
=input_line_pointer
;
287 while(*p
&& *p
!='\n')
291 as_bad("bad .common segment: `%s'", input_line_pointer
);
295 input_line_pointer
+= 6 + (input_line_pointer
[2] == 'd'); /* Skip either */
296 demand_empty_rest_of_line();
300 static void s_seg() {
302 if (strncmp(input_line_pointer
, "\"text\"", 6) == 0) {
303 input_line_pointer
+= 6;
307 if (strncmp(input_line_pointer
, "\"data\"", 6) == 0) {
308 input_line_pointer
+= 6;
312 if (strncmp(input_line_pointer
, "\"data1\"", 7) == 0) {
313 input_line_pointer
+= 7;
317 if (strncmp(input_line_pointer
, "\"bss\"", 5) == 0) {
318 input_line_pointer
+= 5;
319 /* We only support 2 segments -- text and data -- for now, so
320 things in the "bss segment" will have to go into data for now.
321 You can still allocate SEG_BSS stuff with .lcomm or .reserve. */
322 subseg_new(SEG_DATA
, 255); /* FIXME-SOMEDAY */
325 as_bad("Unknown segment type");
326 demand_empty_rest_of_line();
330 static void s_data1() {
331 subseg_new(SEG_DATA
, 1);
332 demand_empty_rest_of_line();
336 static void s_proc() {
337 extern char is_end_of_line
[];
339 while (!is_end_of_line
[*input_line_pointer
]) {
340 ++input_line_pointer
;
342 ++input_line_pointer
;
346 /* start-sanitize-v9 */
348 struct priv_reg_entry
{ char *name
; int regnum
; };
349 struct priv_reg_entry priv_reg_table
[] =
362 { "canrestore", 11 },
368 { "", -1 }, /* end marker */
371 static int cmp_reg_entry (p
, q
)
372 struct priv_reg_entry
*p
, *q
;
374 return strcmp (q
->name
, p
->name
);
377 /* end-sanitize-v9 */
379 /* This function is called once, at assembler startup time. It should
380 set up all the tables, etc. that the MD part of the assembler will need. */
382 register char *retval
= NULL
;
384 register unsigned int i
= 0;
386 op_hash
= hash_new();
388 as_fatal("Virtual memory exhausted");
390 while (i
< NUMOPCODES
) {
391 const char *name
= sparc_opcodes
[i
].name
;
392 retval
= hash_insert(op_hash
, name
, &sparc_opcodes
[i
]);
393 if(retval
!= NULL
&& *retval
!= '\0') {
394 fprintf (stderr
, "internal error: can't hash `%s': %s\n",
395 sparc_opcodes
[i
].name
, retval
);
400 if (sparc_opcodes
[i
].match
& sparc_opcodes
[i
].lose
) {
401 fprintf (stderr
, "internal error: losing opcode: `%s' \"%s\"\n",
402 sparc_opcodes
[i
].name
, sparc_opcodes
[i
].args
);
406 } while (i
< NUMOPCODES
407 && !strcmp(sparc_opcodes
[i
].name
, name
));
411 as_fatal("Broken assembler. No assembly attempted.");
413 for (i
= '0'; i
< '8'; ++i
)
415 for (i
= '0'; i
<= '9'; ++i
)
417 for (i
= 'a'; i
<= 'f'; ++i
)
418 toHex
[i
] = i
+ 10 - 'a';
419 for (i
= 'A'; i
<= 'F'; ++i
)
420 toHex
[i
] = i
+ 10 - 'A';
422 /* start-sanitize-v9 */
424 qsort (priv_reg_table
, sizeof (priv_reg_table
) / sizeof (priv_reg_table
[0]),
425 sizeof (priv_reg_table
[0]), cmp_reg_entry
);
427 /* end-sanitize-v9 */
434 void md_assemble(str
)
443 /* See if "set" operand is absolute and small; skip sethi if so. */
444 if (special_case
== SPECIAL_CASE_SET
&& the_insn
.exp
.X_seg
== SEG_ABSOLUTE
) {
445 if (the_insn
.exp
.X_add_number
>= -(1<<12)
446 && the_insn
.exp
.X_add_number
< (1<<12)) {
447 the_insn
.opcode
= 0x80102000 /* or %g0,imm,... */
448 | (the_insn
.opcode
& 0x3E000000) /* dest reg */
449 | (the_insn
.exp
.X_add_number
& 0x1FFF); /* imm */
450 special_case
= 0; /* No longer special */
451 the_insn
.reloc
= NO_RELOC
; /* No longer relocated */
456 /* put out the opcode */
457 md_number_to_chars(toP
, the_insn
.opcode
, 4);
459 /* put out the symbol-dependent stuff */
460 if (the_insn
.reloc
!= NO_RELOC
) {
461 fix_new(frag_now
, /* which frag */
462 (toP
- frag_now
->fr_literal
), /* where */
464 the_insn
.exp
.X_add_symbol
,
465 the_insn
.exp
.X_subtract_symbol
,
466 the_insn
.exp
.X_add_number
,
470 switch (special_case
) {
472 case SPECIAL_CASE_SET
:
474 assert(the_insn
.reloc
== RELOC_HI22
);
475 /* See if "set" operand has no low-order bits; skip OR if so. */
476 if (the_insn
.exp
.X_seg
== SEG_ABSOLUTE
477 && ((the_insn
.exp
.X_add_number
& 0x3FF) == 0))
480 rsd
= (the_insn
.opcode
>> 25) & 0x1f;
481 the_insn
.opcode
= 0x80102000 | (rsd
<< 25) | (rsd
<< 14);
482 md_number_to_chars(toP
, the_insn
.opcode
, 4);
483 fix_new(frag_now
, /* which frag */
484 (toP
- frag_now
->fr_literal
), /* where */
486 the_insn
.exp
.X_add_symbol
,
487 the_insn
.exp
.X_subtract_symbol
,
488 the_insn
.exp
.X_add_number
,
493 case SPECIAL_CASE_FDIV
:
494 /* According to information leaked from Sun, the "fdiv" instructions
495 on early SPARC machines would produce incorrect results sometimes.
496 The workaround is to add an fmovs of the destination register to
497 itself just after the instruction. This was true on machines
498 with Weitek 1165 float chips, such as the Sun-4/260 and /280. */
500 assert(the_insn
.reloc
== NO_RELOC
);
502 rsd
= (the_insn
.opcode
>> 25) & 0x1f;
503 the_insn
.opcode
= 0x81A00020 | (rsd
<< 25) | rsd
; /* fmovs dest,dest */
504 md_number_to_chars(toP
, the_insn
.opcode
, 4);
511 as_fatal("failed sanity check.");
513 } /* md_assemble() */
515 static void sparc_ip(str
)
518 char *error_message
= "";
522 struct sparc_opcode
*insn
;
524 unsigned long opcode
;
525 unsigned int mask
= 0;
529 for (s
= str
; islower(*s
) || (*s
>= '0' && *s
<= '3'); ++s
)
546 as_bad("Unknown opcode: `%s'", str
);
549 if ((insn
= (struct sparc_opcode
*) hash_find(op_hash
, str
)) == NULL
) {
550 as_bad("Unknown opcode: `%s'", str
);
558 opcode
= insn
->match
;
559 memset(&the_insn
, '\0', sizeof(the_insn
));
560 the_insn
.reloc
= NO_RELOC
;
563 * Build the opcode, checking as we go to make
564 * sure that the operands match
566 for (args
= insn
->args
; ; ++args
) {
569 /* start-sanitize-v9 */
573 /* Load is 0; Store is 1.
574 We compute the mask based on the values
575 we find in S. OK is set set
576 if we see something we don't like. */
585 if (! (lo
= (s
[0] == 'S')))
587 if (! (hi
= (s
[1] == 'S')))
589 mask
|= (1 << ((hi
<<1) | lo
));
594 /* Parse a number, somehow. */
602 error_message
= "unrecognizable mmask";
605 opcode
|= SIMM13(mask
);
610 /* Parse a prefetch function. */
613 int prefetch_fcn
= 0;
616 if (! strncmp (s
, "n_reads", 7))
617 prefetch_fcn
= 0, s
+= 7;
618 else if (! strncmp (s
, "one_read", 8))
619 prefetch_fcn
= 1, s
+= 8;
620 else if (! strncmp (s
, "n_writes", 8))
621 prefetch_fcn
= 2, s
+= 8;
622 else if (! strncmp (s
, "one_write", 9))
623 prefetch_fcn
= 3, s
+= 9;
624 else if (! strncmp (s
, "page", 4))
625 prefetch_fcn
= 4, s
+= 4;
628 error_message
= "unrecognizable prefetch fucntion";
634 /* Parse a number, somehow. */
635 error_message
= "unrecognizable prefetch fucntion";
642 /* Parse a privileged register. */
645 struct priv_reg_entry
*p
= priv_reg_table
;
649 while (p
->name
[0] > s
[0])
651 while (p
->name
[0] == s
[0])
653 len
= strlen (p
->name
);
654 if (strncmp (p
->name
, s
, len
) == 0)
658 if (p
->name
[0] != s
[0])
660 error_message
= "unrecognizable privileged register";
664 opcode
|= (p
->regnum
<< 14);
666 opcode
|= (p
->regnum
<< 25);
672 error_message
= "unrecognizable privileged register";
676 /* end-sanitize-v9 */
680 if (strncmp(s
, "%asr", 4) == 0) {
686 while (isdigit(*s
)) {
687 num
= num
*10 + *s
-'0';
691 if (num
< 16 || 31 < num
) {
692 error_message
= ": asr number must be between 15 and 31";
696 opcode
|= (*args
== 'M' ? RS1(num
) : RD(num
));
699 error_message
= ": expecting %asrN";
701 } /* if %asr followed by a number. */
706 /* start-sanitize-v9 */
709 the_insn
.reloc
= RELOC_11
;
713 the_insn
.reloc
= RELOC_10
;
717 the_insn
.reloc
= RELOC_WDISP2_14
;
722 the_insn
.reloc
= RELOC_WDISP19
;
727 if (*s
== 'p' && s
[1] == 'n') {
734 if (*s
== 'p' && s
[1] == 't') {
744 if (strncmp(s
, "icc", 3) == 0) {
754 if (strncmp(s
, "xcc", 3) == 0) {
764 if (strncmp(s
, "fcc0", 4) == 0) {
774 if (strncmp(s
, "fcc1", 4) == 0) {
784 if (strncmp(s
, "fcc2", 4) == 0) {
794 if (strncmp(s
, "fcc3", 4) == 0) {
801 if (strncmp(s
, "%pc", 3) == 0) {
808 if (strncmp(s
, "%tick", 5) == 0) {
814 /* end-sanitize-v9 */
816 case '\0': /* end of args */
832 case '[': /* these must match exactly */
840 case '#': /* must be at least one digit */
842 while (isdigit(*s
)) {
849 case 'C': /* coprocessor state register */
850 if (strncmp(s
, "%csr", 4) == 0) {
856 case 'b': /* next operand is a coprocessor register */
859 if (*s
++ == '%' && *s
++ == 'c' && isdigit(*s
)) {
862 mask
= 10 * (mask
- '0') + (*s
++ - '0');
872 opcode
|= mask
<< 14;
880 opcode
|= mask
<< 25;
886 case 'r': /* next operand must be a register */
893 case 'f': /* frame pointer */
900 case 'g': /* global register */
901 if (isoctal(c
= *s
++)) {
907 case 'i': /* in register */
908 if (isoctal(c
= *s
++)) {
914 case 'l': /* local register */
915 if (isoctal(c
= *s
++)) {
916 mask
= (c
- '0' + 16) ;
921 case 'o': /* out register */
922 if (isoctal(c
= *s
++)) {
923 mask
= (c
- '0' + 8) ;
928 case 's': /* stack pointer */
935 case 'r': /* any register */
936 if (!isdigit(c
= *s
++)) {
940 case '0': case '1': case '2': case '3': case '4':
941 case '5': case '6': case '7': case '8': case '9':
943 if ((c
= 10 * (c
- '0') + (*s
++ - '0')) >= 32) {
956 * Got the register, now figure out where
957 * it goes in the opcode.
962 opcode
|= mask
<< 14;
970 opcode
|= mask
<< 25;
974 opcode
|= (mask
<< 25) | (mask
<< 14);
980 case 'e': /* next operand is a floating point register */
995 /* start-sanitize-v9 */
997 && ((format
= *s
) == 'f'
1001 /* end-sanitize-v9 */
1002 && ((format
= *s
) == 'f')
1004 /* start-sanitize-v9 */
1006 /* end-sanitize-v9 */
1011 for (mask
= 0; isdigit(*s
); ++s
) {
1012 mask
= 10 * mask
+ (*s
- '0');
1013 } /* read the number */
1020 } /* register must be even numbered */
1027 } /* register must be multiple of 4 */
1029 if (format
== 'f') {
1031 error_message
= ": There are only 32 f registers; [0-31]";
1034 /* start-sanitize-v9 */
1037 if (format
== 'd') {
1039 error_message
= ": There are only 32 d registers [0, 2, ... 62].";
1041 } else if (mask
& 1) {
1042 error_message
= ": Only even numbered d registers exist.";
1046 } else if (format
== 'q') {
1049 ": There are only 16 q registers [0, 4, ... 60].";
1051 } else if (mask
& 3) {
1053 ": Only q registers evenly divisible by four exist.";
1058 } /* depending on format */
1062 } /* wrap high bit */
1064 /* end-sanitize-v9 */
1065 } /* if not an 'f' register. */
1073 opcode
|= RS1(mask
);
1080 opcode
|= RS2(mask
);
1095 if (strncmp(s
, "%fsr", 4) == 0) {
1101 case 'h': /* high 22 bits */
1102 the_insn
.reloc
= RELOC_HI22
;
1105 case 'l': /* 22 bit PC relative immediate */
1106 the_insn
.reloc
= RELOC_WDISP22
;
1110 case 'L': /* 30 bit immediate */
1111 the_insn
.reloc
= RELOC_WDISP30
;
1115 case 'n': /* 22 bit immediate */
1116 the_insn
.reloc
= RELOC_22
;
1119 case 'i': /* 13 bit immediate */
1120 the_insn
.reloc
= RELOC_BASE13
;
1128 if ((c
= s
[1]) == 'h' && s
[2] == 'i') {
1129 the_insn
.reloc
= RELOC_HI22
;
1131 } else if (c
== 'l' && s
[2] == 'o') {
1132 the_insn
.reloc
= RELOC_LO10
;
1134 /* start-sanitize-v9 */
1139 the_insn
.reloc
= RELOC_HHI22
;
1145 the_insn
.reloc
= RELOC_HLO10
;
1148 /* end-sanitize-v9 */
1152 /* Note that if the getExpression() fails, we
1153 will still have created U entries in the
1154 symbol table for the 'symbols' in the input
1155 string. Try not to create U symbols for
1158 /* This stuff checks to see if the
1159 expression ends in +%reg If it does,
1160 it removes the register from the
1161 expression, and re-sets 's' to point
1162 to the right place */
1166 for (s1
= s
; *s1
&& *s1
!= ',' && *s1
!= ']'; s1
++) ;;
1168 if (s1
!= s
&& isdigit(s1
[-1])) {
1169 if(s1
[-2] == '%' && s1
[-3] == '+') {
1172 (void) getExpression(s
);
1176 } else if (strchr("goli0123456789", s1
[-2]) && s1
[-3] == '%' && s1
[-4] == '+') {
1179 (void) getExpression(s
);
1186 (void)getExpression(s
);
1198 char *push
= input_line_pointer
;
1201 input_line_pointer
= s
;
1203 if (expression(&e
) == SEG_ABSOLUTE
) {
1204 opcode
|= e
.X_add_number
<< 5;
1205 s
= input_line_pointer
;
1206 input_line_pointer
= push
;
1211 } /* alternate space */
1214 if (strncmp(s
, "%psr", 4) == 0) {
1220 case 'q': /* floating point queue */
1221 if (strncmp(s
, "%fq", 3) == 0) {
1227 case 'Q': /* coprocessor queue */
1228 if (strncmp(s
, "%cq", 3) == 0) {
1235 if (strcmp(str
, "set") == 0) {
1236 special_case
= SPECIAL_CASE_SET
;
1238 } else if (strncmp(str
, "fdiv", 4) == 0) {
1239 special_case
= SPECIAL_CASE_FDIV
;
1244 /* start-sanitize-v9 */
1247 if (strncmp (s
, "%asi", 4) != 0)
1253 if (strncmp (s
, "%fprs", 5) != 0)
1259 if (strncmp (s
, "%ccr", 4) != 0)
1264 /* end-sanitize-v9 */
1267 if (strncmp(s
, "%tbr", 4) != 0)
1273 if (strncmp(s
, "%wim", 4) != 0)
1279 if (strncmp(s
, "%y", 2) != 0)
1285 as_fatal("failed sanity check.");
1286 } /* switch on arg code */
1288 } /* for each arg that we expect */
1291 /* Args don't match. */
1292 if (((unsigned) (&insn
[1] - sparc_opcodes
)) < NUMOPCODES
1293 && !strcmp(insn
->name
, insn
[1].name
)) {
1298 as_bad("Illegal operands%s", error_message
);
1302 if (insn
->architecture
> current_architecture
) {
1303 if ((!architecture_requested
|| warn_on_bump
)
1305 /* start-sanitize-v9 */
1307 ! ARCHITECTURES_CONFLICT_P (current_architecture
,
1310 /* end-sanitize-v9 */
1312 /* start-sanitize-v9 */
1314 /* end-sanitize-v9 */
1317 as_warn("architecture bumped from \"%s\" to \"%s\" on \"%s\"",
1318 architecture_pname
[current_architecture
],
1319 architecture_pname
[insn
->architecture
],
1323 current_architecture
= insn
->architecture
;
1325 as_bad("architecture mismatch on \"%s\" (\"%s\"). current architecture is \"%s\"",
1327 architecture_pname
[insn
->architecture
],
1328 architecture_pname
[current_architecture
]);
1330 } /* if bump ok else error */
1331 } /* if architecture higher */
1335 } /* forever looking for a match */
1337 the_insn
.opcode
= opcode
;
1341 static int getExpression(str
)
1347 save_in
= input_line_pointer
;
1348 input_line_pointer
= str
;
1349 switch (seg
= expression(&the_insn
.exp
)) {
1356 case SEG_DIFFERENCE
:
1362 the_insn
.error
= "bad segment";
1363 expr_end
= input_line_pointer
;
1364 input_line_pointer
=save_in
;
1367 expr_end
= input_line_pointer
;
1368 input_line_pointer
= save_in
;
1370 } /* getExpression() */
1374 This is identical to the md_atof in m68k.c. I think this is right,
1377 Turn a string in input_line_pointer into a floating point constant of type
1378 type, and store the appropriate bytes in *litP. The number of LITTLENUMS
1379 emitted is stored in *sizeP . An error message is returned, or NULL on OK.
1382 /* Equal to MAX_PRECISION in atof-ieee.c */
1383 #define MAX_LITTLENUMS 6
1385 char *md_atof(type
,litP
,sizeP
)
1391 LITTLENUM_TYPE words
[MAX_LITTLENUMS
];
1392 LITTLENUM_TYPE
*wordP
;
1424 return "Bad call to MD_ATOF()";
1426 t
=atof_ieee(input_line_pointer
,type
,words
);
1428 input_line_pointer
=t
;
1429 *sizeP
=prec
* sizeof(LITTLENUM_TYPE
);
1430 for(wordP
=words
;prec
--;) {
1431 md_number_to_chars(litP
,(long)(*wordP
++),sizeof(LITTLENUM_TYPE
));
1432 litP
+=sizeof(LITTLENUM_TYPE
);
1434 return ""; /* Someone should teach Dean about null pointers */
1438 * Write out big-endian.
1440 void md_number_to_chars(buf
,val
,n
)
1458 as_fatal("failed sanity check.");
1461 } /* md_number_to_chars() */
1463 /* Apply a fixS to the frags, now that we know the value it ought to
1466 void md_apply_fix(fixP
, val
)
1470 char *buf
= fixP
->fx_where
+ fixP
->fx_frag
->fr_literal
;
1472 assert(fixP
->fx_size
== 4);
1473 assert(fixP
->fx_r_type
< NO_RELOC
);
1475 fixP
->fx_addnumber
= val
; /* Remember value for emit_reloc */
1478 * This is a hack. There should be a better way to
1481 if (fixP
->fx_r_type
== RELOC_WDISP30
&& fixP
->fx_addsy
) {
1482 val
+= fixP
->fx_where
+ fixP
->fx_frag
->fr_address
;
1485 switch (fixP
->fx_r_type
) {
1488 buf
[0] = 0; /* val >> 24; */
1489 buf
[1] = 0; /* val >> 16; */
1490 buf
[2] = 0; /* val >> 8; */
1491 buf
[3] = 0; /* val; */
1495 case RELOC_8
: /* These don't seem to ever be needed. */
1502 val
= (val
>>= 2) + 1;
1503 buf
[0] |= (val
>> 24) & 0x3f;
1504 buf
[1]= (val
>> 16);
1509 /* start-sanitize-v9 */
1512 if (((val
> 0) && (val
& ~0x7ff))
1513 || ((val
< 0) && (~(val
- 1) & ~0x7ff))) {
1514 as_bad("relocation overflow.");
1517 buf
[2] = (val
>> 8) & 0x7;
1518 buf
[3] = val
& 0xff;
1522 if (((val
> 0) && (val
& ~0x3ff))
1523 || ((val
< 0) && (~(val
- 1) & ~0x3ff))) {
1524 as_bad("relocation overflow.");
1527 buf
[2] = (val
>> 8) & 0x3;
1528 buf
[3] = val
& 0xff;
1531 case RELOC_WDISP2_14
:
1532 if (((val
> 0) && (val
& ~0x3fffc))
1533 || ((val
< 0) && (~(val
- 1) & ~0x3fffc))) {
1534 as_bad("relocation overflow.");
1537 val
= (val
>>= 2) + 1;
1538 buf
[1] |= ((val
>> 14) & 0x3) << 3;
1539 buf
[2] |= (val
>> 8) & 0x3f ;
1540 buf
[3] = val
& 0xff;
1544 if (((val
> 0) && (val
& ~0x1ffffc))
1545 || ((val
< 0) && (~(val
- 1) & ~0x1ffffc))) {
1546 as_bad("relocation overflow.");
1549 val
= (val
>>= 2) + 1;
1550 buf
[1] |= (val
>> 16) & 0x7;
1551 buf
[2] = (val
>> 8) & 0xff;
1552 buf
[3] = val
& 0xff;
1557 /* intentional fallthrough */
1559 /* end-sanitize-v9 */
1562 if(!fixP
->fx_addsy
) {
1563 buf
[1] |= (val
>> 26) & 0x3f;
1573 if (val
& ~0x003fffff) {
1574 as_bad("relocation overflow");
1576 buf
[1] |= (val
>> 16) & 0x3f;
1578 buf
[3] = val
& 0xff;
1582 if (val
& ~0x00001fff) {
1583 as_bad("relocation overflow");
1585 buf
[2] = (val
>> 8) & 0x1f;
1586 buf
[3] = val
& 0xff;
1589 /* start-sanitize-v9 */
1593 /* intentional fallthrough */
1595 /* end-sanitize-v9 */
1598 if(!fixP
->fx_addsy
) {
1599 buf
[2] |= (val
>> 8) & 0x03;
1605 case RELOC_SFA_BASE
:
1606 case RELOC_SFA_OFF13
:
1610 buf
[2] |= (val
>> 8) & 0x1f;
1615 val
= (val
>>= 2) + 1;
1618 buf
[1] |= (val
>> 16) & 0x3f;
1627 case RELOC_SEGOFF16
:
1628 case RELOC_GLOB_DAT
:
1629 case RELOC_JMP_SLOT
:
1630 case RELOC_RELATIVE
:
1635 as_bad("bad relocation type: 0x%02x", fixP
->fx_r_type
);
1638 } /* md_apply_fix() */
1640 /* should never be called for sparc */
1641 void md_create_short_jump(ptr
, from_addr
, to_addr
, frag
, to_symbol
)
1648 as_fatal("sparc_create_short_jmp\n");
1649 } /* md_create_short_jump() */
1651 /* Translate internal representation of relocation info to target format.
1653 On sparc: first 4 bytes are normal unsigned long address, next three
1654 bytes are index, most sig. byte first. Byte 7 is broken up with
1655 bit 7 as external, bits 6 & 5 unused, and the lower
1656 five bits as relocation type. Next 4 bytes are long addend. */
1657 /* Thanx and a tip of the hat to Michael Bloom, mb@ttidca.tti.com */
1659 tc_aout_fix_to_chars(where
, fixP
, segment_address_in_file
)
1662 relax_addressT segment_address_in_file
;
1669 know(fixP
->fx_addsy
);
1671 if (!S_IS_DEFINED(fixP
->fx_addsy
)) {
1673 r_index
= fixP
->fx_addsy
->sy_number
;
1676 r_index
= S_GET_TYPE(fixP
->fx_addsy
);
1680 md_number_to_chars(where
,
1681 r_address
= fixP
->fx_frag
->fr_address
+ fixP
->fx_where
- segment_address_in_file
,
1684 /* now the fun stuff */
1685 where
[4] = (r_index
>> 16) & 0x0ff;
1686 where
[5] = (r_index
>> 8) & 0x0ff;
1687 where
[6] = r_index
& 0x0ff;
1688 where
[7] = ((r_extern
<< 7) & 0x80) | (0 & 0x60) | (fixP
->fx_r_type
& 0x1F);
1691 if (fixP
->fx_addsy
->sy_frag
) {
1692 r_addend
= fixP
->fx_addsy
->sy_frag
->fr_address
;
1695 if (fixP
->fx_pcrel
) {
1696 r_addend
+= fixP
->fx_offset
- r_address
;
1698 r_addend
= fixP
->fx_addnumber
;
1701 md_number_to_chars(&where
[8], r_addend
, 4);
1704 } /* tc_aout_fix_to_chars() */
1706 /* should never be called for sparc */
1707 void md_convert_frag(headers
, fragP
)
1708 object_headers
*headers
;
1709 register fragS
*fragP
;
1711 as_fatal("sparc_convert_frag\n");
1712 } /* md_convert_frag() */
1714 /* should never be called for sparc */
1715 void md_create_long_jump(ptr
, from_addr
, to_addr
, frag
, to_symbol
)
1717 long from_addr
, to_addr
;
1721 as_fatal("sparc_create_long_jump\n");
1722 } /* md_create_long_jump() */
1724 /* should never be called for sparc */
1725 int md_estimate_size_before_relax(fragP
, segtype
)
1729 as_fatal("sparc_estimate_size_before_relax\n");
1731 } /* md_estimate_size_before_relax() */
1734 /* for debugging only */
1735 static void print_insn(insn
)
1736 struct sparc_it
*insn
;
1767 fprintf(stderr
, "ERROR: %s\n");
1769 fprintf(stderr
, "opcode=0x%08x\n", insn
->opcode
);
1770 fprintf(stderr
, "reloc = %s\n", Reloc
[insn
->reloc
]);
1771 fprintf(stderr
, "exp = {
1773 fprintf(stderr
, "\t\tX_add_symbol = %s\n",
1774 ((insn
->exp
.X_add_symbol
!= NULL
)
1775 ? ((S_GET_NAME(insn
->exp
.X_add_symbol
) != NULL
)
1776 ? S_GET_NAME(insn
->exp
.X_add_symbol
)
1779 fprintf(stderr
, "\t\tX_sub_symbol = %s\n",
1780 ((insn
->exp
.X_subtract_symbol
!= NULL
)
1781 ? (S_GET_NAME(insn
->exp
.X_subtract_symbol
)
1782 ? S_GET_NAME(insn
->exp
.X_subtract_symbol
)
1785 fprintf(stderr
, "\t\tX_add_number = %d\n",
1786 insn
->exp
.X_add_number
);
1787 fprintf(stderr
, "}\n");
1789 } /* print_insn() */
1792 /* Set the hook... */
1794 /* void emit_sparc_reloc();
1795 void (*md_emit_relocations)() = emit_sparc_reloc; */
1800 * Sparc/AM29K relocations are completely different, so it needs
1801 * this machine dependent routine to emit them.
1803 #if defined(OBJ_AOUT) || defined(OBJ_BOUT)
1804 void emit_sparc_reloc(fixP
, segment_address_in_file
)
1805 register fixS
*fixP
;
1806 relax_addressT segment_address_in_file
;
1808 struct reloc_info_generic ri
;
1809 register symbolS
*symbolP
;
1810 extern char *next_object_file_charP
;
1811 /* long add_number; */
1813 memset((char *) &ri
, '\0', sizeof(ri
));
1814 for (; fixP
; fixP
= fixP
->fx_next
) {
1816 if (fixP
->fx_r_type
>= NO_RELOC
) {
1817 as_fatal("fixP->fx_r_type = %d\n", fixP
->fx_r_type
);
1820 if ((symbolP
= fixP
->fx_addsy
) != NULL
) {
1821 ri
.r_address
= fixP
->fx_frag
->fr_address
+
1822 fixP
->fx_where
- segment_address_in_file
;
1823 if ((S_GET_TYPE(symbolP
)) == N_UNDF
) {
1825 ri
.r_index
= symbolP
->sy_number
;
1828 ri
.r_index
= S_GET_TYPE(symbolP
);
1830 if (symbolP
&& symbolP
->sy_frag
) {
1831 ri
.r_addend
= symbolP
->sy_frag
->fr_address
;
1833 ri
.r_type
= fixP
->fx_r_type
;
1834 if (fixP
->fx_pcrel
) {
1835 /* ri.r_addend -= fixP->fx_where; */
1836 ri
.r_addend
-= ri
.r_address
;
1838 ri
.r_addend
= fixP
->fx_addnumber
;
1841 md_ri_to_chars(next_object_file_charP
, &ri
);
1842 next_object_file_charP
+= md_reloc_size
;
1846 } /* emit_sparc_reloc() */
1847 #endif /* aout or bout */
1848 #endif /* comment */
1852 * Invocation line includes a switch not recognized by the base assembler.
1853 * See if it's a processor-specific option. These are:
1856 * Warn on architecture bumps. See also -A.
1858 * -Av6, -Av7, -Av8, -Asparclite
1859 * Select the architecture. Instructions or features not
1860 * supported by the selected architecture cause fatal errors.
1862 * The default is to start at v6, and bump the architecture up
1863 * whenever an instruction is seen at a higher level.
1865 * If -bump is specified, a warning is printing when bumping to
1868 * If an architecture is specified, all instructions must match
1869 * that architecture. Any higher level instructions are flagged
1872 * if both an architecture and -bump are specified, the
1873 * architecture starts at the specified level, but bumps are
1877 * Bumping between incompatible architectures is always an
1878 * error. For example, from sparclite to v9.
1881 /* start-sanitize-v9 */
1882 /* There is also a -Av9 architecture option. xoxorich. */
1883 /* end-sanitize-v9 */
1884 int md_parse_option(argP
, cntP
, vecP
)
1892 if (!strcmp(*argP
,"bump")){
1895 } else if (**argP
== 'A'){
1898 for (arch
= architecture_pname
; *arch
!= NULL
; ++arch
){
1899 if (strcmp(p
, *arch
) == 0){
1901 } /* found a match */
1902 } /* walk the pname table */
1905 as_bad("unknown architecture: %s", p
);
1907 current_architecture
= (enum sparc_architecture
) (arch
- architecture_pname
);
1908 architecture_requested
= 1;
1911 /* Unknown option */
1915 **argP
= '\0'; /* Done parsing this switch */
1917 } /* md_parse_option() */
1919 /* We have no need to default values of symbols. */
1922 symbolS
*md_undefined_symbol(name
)
1926 } /* md_undefined_symbol() */
1928 /* Parse an operand that is machine-specific.
1929 We just return without modifying the expression if we have nothing
1933 void md_operand(expressionP
)
1934 expressionS
*expressionP
;
1936 } /* md_operand() */
1938 /* Round up a section size to the appropriate boundary. */
1939 long md_section_align (segment
, size
)
1943 return (size
+ 7) & ~7; /* Round all sects to multiple of 8 */
1944 } /* md_section_align() */
1946 /* Exactly what point is a PC-relative offset relative TO?
1947 On the sparc, they're relative to the address of the offset, plus
1948 its size. This gets us to the following instruction.
1949 (??? Is this right? FIXME-SOON) */
1950 long md_pcrel_from(fixP
)
1953 return fixP
->fx_size
+ fixP
->fx_where
+ fixP
->fx_frag
->fr_address
;
1954 } /* md_pcrel_from() */
1956 void tc_aout_pre_write_hook(headers
)
1957 object_headers
*headers
;
1959 H_SET_VERSION(headers
, 1);
1961 } /* tc_aout_pre_write_hook() */
1970 /* end of tc-sparc.c */