1 /* tc-sparc.c -- Assemble for the SPARC
2 Copyright 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
4 Free Software Foundation, Inc.
5 This file is part of GAS, the GNU Assembler.
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)
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.
17 You should have received a copy of the GNU General Public
18 License along with GAS; see the file COPYING. If not, write
19 to the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
25 #include "safe-ctype.h"
28 #include "opcode/sparc.h"
31 #include "elf/sparc.h"
32 #include "dwarf2dbg.h"
35 /* Some ancient Sun C compilers would not take such hex constants as
36 unsigned, and would end up sign-extending them to form an offsetT,
37 so use these constants instead. */
38 #define U0xffffffff ((((unsigned long) 1 << 16) << 16) - 1)
39 #define U0x80000000 ((((unsigned long) 1 << 16) << 15))
41 static struct sparc_arch
*lookup_arch
PARAMS ((char *));
42 static void init_default_arch
PARAMS ((void));
43 static int sparc_ip
PARAMS ((char *, const struct sparc_opcode
**));
44 static int in_signed_range
PARAMS ((bfd_signed_vma
, bfd_signed_vma
));
45 static int in_unsigned_range
PARAMS ((bfd_vma
, bfd_vma
));
46 static int in_bitfield_range
PARAMS ((bfd_signed_vma
, bfd_signed_vma
));
47 static int sparc_ffs
PARAMS ((unsigned int));
48 static void synthetize_setuw
PARAMS ((const struct sparc_opcode
*));
49 static void synthetize_setsw
PARAMS ((const struct sparc_opcode
*));
50 static void synthetize_setx
PARAMS ((const struct sparc_opcode
*));
51 static bfd_vma BSR
PARAMS ((bfd_vma
, int));
52 static int cmp_reg_entry
PARAMS ((const PTR
, const PTR
));
53 static int parse_keyword_arg
PARAMS ((int (*) (const char *), char **, int *));
54 static int parse_const_expr_arg
PARAMS ((char **, int *));
55 static int get_expression
PARAMS ((char *str
));
57 /* Default architecture. */
58 /* ??? The default value should be V8, but sparclite support was added
59 by making it the default. GCC now passes -Asparclite, so maybe sometime in
60 the future we can set this to V8. */
62 #define DEFAULT_ARCH "sparclite"
64 static char *default_arch
= DEFAULT_ARCH
;
66 /* Non-zero if the initial values of `max_architecture' and `sparc_arch_size'
68 static int default_init_p
;
70 /* Current architecture. We don't bump up unless necessary. */
71 static enum sparc_opcode_arch_val current_architecture
= SPARC_OPCODE_ARCH_V6
;
73 /* The maximum architecture level we can bump up to.
74 In a 32 bit environment, don't allow bumping up to v9 by default.
75 The native assembler works this way. The user is required to pass
76 an explicit argument before we'll create v9 object files. However, if
77 we don't see any v9 insns, a v8plus object file is not created. */
78 static enum sparc_opcode_arch_val max_architecture
;
80 /* Either 32 or 64, selects file format. */
81 static int sparc_arch_size
;
82 /* Initial (default) value, recorded separately in case a user option
83 changes the value before md_show_usage is called. */
84 static int default_arch_size
;
87 /* The currently selected v9 memory model. Currently only used for
89 static enum { MM_TSO
, MM_PSO
, MM_RMO
} sparc_memory_model
= MM_RMO
;
92 static int architecture_requested
;
93 static int warn_on_bump
;
95 /* If warn_on_bump and the needed architecture is higher than this
96 architecture, issue a warning. */
97 static enum sparc_opcode_arch_val warn_after_architecture
;
99 /* Non-zero if as should generate error if an undeclared g[23] register
100 has been used in -64. */
101 static int no_undeclared_regs
;
103 /* Non-zero if we should try to relax jumps and calls. */
104 static int sparc_relax
;
106 /* Non-zero if we are generating PIC code. */
109 /* Non-zero if we should give an error when misaligned data is seen. */
110 static int enforce_aligned_data
;
112 extern int target_big_endian
;
114 static int target_little_endian_data
;
116 /* Symbols for global registers on v9. */
117 static symbolS
*globals
[8];
119 /* V9 and 86x have big and little endian data, but instructions are always big
120 endian. The sparclet has bi-endian support but both data and insns have
121 the same endianness. Global `target_big_endian' is used for data.
122 The following macro is used for instructions. */
123 #ifndef INSN_BIG_ENDIAN
124 #define INSN_BIG_ENDIAN (target_big_endian \
125 || default_arch_type == sparc86x \
126 || SPARC_OPCODE_ARCH_V9_P (max_architecture))
129 /* Handle of the OPCODE hash table. */
130 static struct hash_control
*op_hash
;
132 static int log2
PARAMS ((int));
133 static void s_data1
PARAMS ((void));
134 static void s_seg
PARAMS ((int));
135 static void s_proc
PARAMS ((int));
136 static void s_reserve
PARAMS ((int));
137 static void s_common
PARAMS ((int));
138 static void s_empty
PARAMS ((int));
139 static void s_uacons
PARAMS ((int));
140 static void s_ncons
PARAMS ((int));
141 static void s_register
PARAMS ((int));
143 const pseudo_typeS md_pseudo_table
[] =
145 {"align", s_align_bytes
, 0}, /* Defaulting is invalid (0). */
146 {"common", s_common
, 0},
147 {"empty", s_empty
, 0},
148 {"global", s_globl
, 0},
150 {"nword", s_ncons
, 0},
151 {"optim", s_ignore
, 0},
153 {"reserve", s_reserve
, 0},
155 {"skip", s_space
, 0},
158 {"uahalf", s_uacons
, 2},
159 {"uaword", s_uacons
, 4},
160 {"uaxword", s_uacons
, 8},
162 {"file", (void (*) PARAMS ((int))) dwarf2_directive_file
, 0},
163 {"loc", dwarf2_directive_loc
, 0},
164 /* These are specific to sparc/svr4. */
165 {"2byte", s_uacons
, 2},
166 {"4byte", s_uacons
, 4},
167 {"8byte", s_uacons
, 8},
168 {"register", s_register
, 0},
173 /* Size of relocation record. */
174 const int md_reloc_size
= 12;
176 /* This array holds the chars that always start a comment. If the
177 pre-processor is disabled, these aren't very useful. */
178 const char comment_chars
[] = "!"; /* JF removed '|' from
181 /* This array holds the chars that only start a comment at the beginning of
182 a line. If the line seems to have the form '# 123 filename'
183 .line and .file directives will appear in the pre-processed output. */
184 /* Note that input_file.c hand checks for '#' at the beginning of the
185 first line of the input file. This is because the compiler outputs
186 #NO_APP at the beginning of its output. */
187 /* Also note that comments started like this one will always
188 work if '/' isn't otherwise defined. */
189 const char line_comment_chars
[] = "#";
191 const char line_separator_chars
[] = ";";
193 /* Chars that can be used to separate mant from exp in floating point
195 const char EXP_CHARS
[] = "eE";
197 /* Chars that mean this number is a floating point constant.
200 const char FLT_CHARS
[] = "rRsSfFdDxXpP";
202 /* Also be aware that MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT may have to be
203 changed in read.c. Ideally it shouldn't have to know about it at all,
204 but nothing is ideal around here. */
206 #define isoctal(c) ((unsigned) ((c) - '0') < '8')
211 unsigned long opcode
;
212 struct nlist
*nlistp
;
216 bfd_reloc_code_real_type reloc
;
219 struct sparc_it the_insn
, set_insn
;
221 static void output_insn
222 PARAMS ((const struct sparc_opcode
*, struct sparc_it
*));
224 /* Table of arguments to -A.
225 The sparc_opcode_arch table in sparc-opc.c is insufficient and incorrect
226 for this use. That table is for opcodes only. This table is for opcodes
229 enum sparc_arch_types
{v6
, v7
, v8
, sparclet
, sparclite
, sparc86x
, v8plus
,
230 v8plusa
, v9
, v9a
, v9b
, v9_64
};
232 static struct sparc_arch
{
235 enum sparc_arch_types arch_type
;
236 /* Default word size, as specified during configuration.
237 A value of zero means can't be used to specify default architecture. */
238 int default_arch_size
;
239 /* Allowable arg to -A? */
241 } sparc_arch_table
[] = {
242 { "v6", "v6", v6
, 0, 1 },
243 { "v7", "v7", v7
, 0, 1 },
244 { "v8", "v8", v8
, 32, 1 },
245 { "sparclet", "sparclet", sparclet
, 32, 1 },
246 { "sparclite", "sparclite", sparclite
, 32, 1 },
247 { "sparc86x", "sparclite", sparc86x
, 32, 1 },
248 { "v8plus", "v9", v9
, 0, 1 },
249 { "v8plusa", "v9a", v9
, 0, 1 },
250 { "v8plusb", "v9b", v9
, 0, 1 },
251 { "v9", "v9", v9
, 0, 1 },
252 { "v9a", "v9a", v9
, 0, 1 },
253 { "v9b", "v9b", v9
, 0, 1 },
254 /* This exists to allow configure.in/Makefile.in to pass one
255 value to specify both the default machine and default word size. */
256 { "v9-64", "v9", v9
, 64, 0 },
257 { NULL
, NULL
, v8
, 0, 0 }
260 /* Variant of default_arch */
261 static enum sparc_arch_types default_arch_type
;
263 static struct sparc_arch
*
267 struct sparc_arch
*sa
;
269 for (sa
= &sparc_arch_table
[0]; sa
->name
!= NULL
; sa
++)
270 if (strcmp (sa
->name
, name
) == 0)
272 if (sa
->name
== NULL
)
277 /* Initialize the default opcode arch and word size from the default
278 architecture name. */
283 struct sparc_arch
*sa
= lookup_arch (default_arch
);
286 || sa
->default_arch_size
== 0)
287 as_fatal (_("Invalid default architecture, broken assembler."));
289 max_architecture
= sparc_opcode_lookup_arch (sa
->opcode_arch
);
290 if (max_architecture
== SPARC_OPCODE_ARCH_BAD
)
291 as_fatal (_("Bad opcode table, broken assembler."));
292 default_arch_size
= sparc_arch_size
= sa
->default_arch_size
;
294 default_arch_type
= sa
->arch_type
;
297 /* Called by TARGET_FORMAT. */
300 sparc_target_format ()
302 /* We don't get a chance to initialize anything before we're called,
303 so handle that now. */
304 if (! default_init_p
)
305 init_default_arch ();
309 return "a.out-sparc-netbsd";
312 if (target_big_endian
)
313 return "a.out-sunos-big";
314 else if (default_arch_type
== sparc86x
&& target_little_endian_data
)
315 return "a.out-sunos-big";
317 return "a.out-sparc-little";
319 return "a.out-sunos-big";
330 return "coff-sparc-lynx";
337 return sparc_arch_size
== 64 ? "elf64-sparc" : "elf32-sparc";
344 * Invocation line includes a switch not recognized by the base assembler.
345 * See if it's a processor-specific option. These are:
348 * Warn on architecture bumps. See also -A.
350 * -Av6, -Av7, -Av8, -Asparclite, -Asparclet
351 * Standard 32 bit architectures.
353 * Sparc64 in either a 32 or 64 bit world (-32/-64 says which).
354 * This used to only mean 64 bits, but properly specifying it
355 * complicated gcc's ASM_SPECs, so now opcode selection is
356 * specified orthogonally to word size (except when specifying
357 * the default, but that is an internal implementation detail).
358 * -Av8plus, -Av8plusa, -Av8plusb
359 * Same as -Av9{,a,b}.
360 * -xarch=v8plus, -xarch=v8plusa, -xarch=v8plusb
361 * Same as -Av8plus{,a,b} -32, for compatibility with Sun's
363 * -xarch=v9, -xarch=v9a, -xarch=v9b
364 * Same as -Av9{,a,b} -64, for compatibility with Sun's
367 * Select the architecture and possibly the file format.
368 * Instructions or features not supported by the selected
369 * architecture cause fatal errors.
371 * The default is to start at v6, and bump the architecture up
372 * whenever an instruction is seen at a higher level. In 32 bit
373 * environments, v9 is not bumped up to, the user must pass
376 * If -bump is specified, a warning is printing when bumping to
379 * If an architecture is specified, all instructions must match
380 * that architecture. Any higher level instructions are flagged
381 * as errors. Note that in the 32 bit environment specifying
382 * -Av8plus does not automatically create a v8plus object file, a
383 * v9 insn must be seen.
385 * If both an architecture and -bump are specified, the
386 * architecture starts at the specified level, but bumps are
387 * warnings. Note that we can't set `current_architecture' to
388 * the requested level in this case: in the 32 bit environment,
389 * we still must avoid creating v8plus object files unless v9
393 * Bumping between incompatible architectures is always an
394 * error. For example, from sparclite to v9.
398 const char *md_shortopts
= "A:K:VQ:sq";
401 const char *md_shortopts
= "A:k";
403 const char *md_shortopts
= "A:";
406 struct option md_longopts
[] = {
407 #define OPTION_BUMP (OPTION_MD_BASE)
408 {"bump", no_argument
, NULL
, OPTION_BUMP
},
409 #define OPTION_SPARC (OPTION_MD_BASE + 1)
410 {"sparc", no_argument
, NULL
, OPTION_SPARC
},
411 #define OPTION_XARCH (OPTION_MD_BASE + 2)
412 {"xarch", required_argument
, NULL
, OPTION_XARCH
},
414 #define OPTION_32 (OPTION_MD_BASE + 3)
415 {"32", no_argument
, NULL
, OPTION_32
},
416 #define OPTION_64 (OPTION_MD_BASE + 4)
417 {"64", no_argument
, NULL
, OPTION_64
},
418 #define OPTION_TSO (OPTION_MD_BASE + 5)
419 {"TSO", no_argument
, NULL
, OPTION_TSO
},
420 #define OPTION_PSO (OPTION_MD_BASE + 6)
421 {"PSO", no_argument
, NULL
, OPTION_PSO
},
422 #define OPTION_RMO (OPTION_MD_BASE + 7)
423 {"RMO", no_argument
, NULL
, OPTION_RMO
},
425 #ifdef SPARC_BIENDIAN
426 #define OPTION_LITTLE_ENDIAN (OPTION_MD_BASE + 8)
427 {"EL", no_argument
, NULL
, OPTION_LITTLE_ENDIAN
},
428 #define OPTION_BIG_ENDIAN (OPTION_MD_BASE + 9)
429 {"EB", no_argument
, NULL
, OPTION_BIG_ENDIAN
},
431 #define OPTION_ENFORCE_ALIGNED_DATA (OPTION_MD_BASE + 10)
432 {"enforce-aligned-data", no_argument
, NULL
, OPTION_ENFORCE_ALIGNED_DATA
},
433 #define OPTION_LITTLE_ENDIAN_DATA (OPTION_MD_BASE + 11)
434 {"little-endian-data", no_argument
, NULL
, OPTION_LITTLE_ENDIAN_DATA
},
436 #define OPTION_NO_UNDECLARED_REGS (OPTION_MD_BASE + 12)
437 {"no-undeclared-regs", no_argument
, NULL
, OPTION_NO_UNDECLARED_REGS
},
438 #define OPTION_UNDECLARED_REGS (OPTION_MD_BASE + 13)
439 {"undeclared-regs", no_argument
, NULL
, OPTION_UNDECLARED_REGS
},
441 #define OPTION_RELAX (OPTION_MD_BASE + 14)
442 {"relax", no_argument
, NULL
, OPTION_RELAX
},
443 #define OPTION_NO_RELAX (OPTION_MD_BASE + 15)
444 {"no-relax", no_argument
, NULL
, OPTION_NO_RELAX
},
445 {NULL
, no_argument
, NULL
, 0}
448 size_t md_longopts_size
= sizeof (md_longopts
);
451 md_parse_option (c
, arg
)
455 /* We don't get a chance to initialize anything before we're called,
456 so handle that now. */
457 if (! default_init_p
)
458 init_default_arch ();
464 warn_after_architecture
= SPARC_OPCODE_ARCH_V6
;
469 if (strncmp (arg
, "v9", 2) != 0)
470 md_parse_option (OPTION_32
, NULL
);
472 md_parse_option (OPTION_64
, NULL
);
478 struct sparc_arch
*sa
;
479 enum sparc_opcode_arch_val opcode_arch
;
481 sa
= lookup_arch (arg
);
483 || ! sa
->user_option_p
)
485 if (c
== OPTION_XARCH
)
486 as_bad (_("invalid architecture -xarch=%s"), arg
);
488 as_bad (_("invalid architecture -A%s"), arg
);
492 opcode_arch
= sparc_opcode_lookup_arch (sa
->opcode_arch
);
493 if (opcode_arch
== SPARC_OPCODE_ARCH_BAD
)
494 as_fatal (_("Bad opcode table, broken assembler."));
496 max_architecture
= opcode_arch
;
497 architecture_requested
= 1;
502 /* Ignore -sparc, used by SunOS make default .s.o rule. */
505 case OPTION_ENFORCE_ALIGNED_DATA
:
506 enforce_aligned_data
= 1;
509 #ifdef SPARC_BIENDIAN
510 case OPTION_LITTLE_ENDIAN
:
511 target_big_endian
= 0;
512 if (default_arch_type
!= sparclet
)
513 as_fatal ("This target does not support -EL");
515 case OPTION_LITTLE_ENDIAN_DATA
:
516 target_little_endian_data
= 1;
517 target_big_endian
= 0;
518 if (default_arch_type
!= sparc86x
519 && default_arch_type
!= v9
)
520 as_fatal ("This target does not support --little-endian-data");
522 case OPTION_BIG_ENDIAN
:
523 target_big_endian
= 1;
537 const char **list
, **l
;
539 sparc_arch_size
= c
== OPTION_32
? 32 : 64;
540 list
= bfd_target_list ();
541 for (l
= list
; *l
!= NULL
; l
++)
543 if (sparc_arch_size
== 32)
545 if (strcmp (*l
, "elf32-sparc") == 0)
550 if (strcmp (*l
, "elf64-sparc") == 0)
555 as_fatal (_("No compiled in support for %d bit object file format"),
562 sparc_memory_model
= MM_TSO
;
566 sparc_memory_model
= MM_PSO
;
570 sparc_memory_model
= MM_RMO
;
578 /* Qy - do emit .comment
579 Qn - do not emit .comment. */
583 /* Use .stab instead of .stab.excl. */
587 /* quick -- Native assembler does fewer checks. */
591 if (strcmp (arg
, "PIC") != 0)
592 as_warn (_("Unrecognized option following -K"));
597 case OPTION_NO_UNDECLARED_REGS
:
598 no_undeclared_regs
= 1;
601 case OPTION_UNDECLARED_REGS
:
602 no_undeclared_regs
= 0;
610 case OPTION_NO_RELAX
:
622 md_show_usage (stream
)
625 const struct sparc_arch
*arch
;
628 /* We don't get a chance to initialize anything before we're called,
629 so handle that now. */
630 if (! default_init_p
)
631 init_default_arch ();
633 fprintf (stream
, _("SPARC options:\n"));
635 for (arch
= &sparc_arch_table
[0]; arch
->name
; arch
++)
637 if (!arch
->user_option_p
)
639 if (arch
!= &sparc_arch_table
[0])
640 fprintf (stream
, " | ");
641 if (column
+ strlen (arch
->name
) > 70)
644 fputc ('\n', stream
);
646 column
+= 5 + 2 + strlen (arch
->name
);
647 fprintf (stream
, "-A%s", arch
->name
);
649 for (arch
= &sparc_arch_table
[0]; arch
->name
; arch
++)
651 if (!arch
->user_option_p
)
653 fprintf (stream
, " | ");
654 if (column
+ strlen (arch
->name
) > 65)
657 fputc ('\n', stream
);
659 column
+= 5 + 7 + strlen (arch
->name
);
660 fprintf (stream
, "-xarch=%s", arch
->name
);
662 fprintf (stream
, _("\n\
663 specify variant of SPARC architecture\n\
664 -bump warn when assembler switches architectures\n\
666 --enforce-aligned-data force .long, etc., to be aligned correctly\n\
667 -relax relax jumps and branches (default)\n\
668 -no-relax avoid changing any jumps and branches\n"));
670 fprintf (stream
, _("\
671 -k generate PIC\n"));
674 fprintf (stream
, _("\
675 -32 create 32 bit object file\n\
676 -64 create 64 bit object file\n"));
677 fprintf (stream
, _("\
678 [default is %d]\n"), default_arch_size
);
679 fprintf (stream
, _("\
680 -TSO use Total Store Ordering\n\
681 -PSO use Partial Store Ordering\n\
682 -RMO use Relaxed Memory Ordering\n"));
683 fprintf (stream
, _("\
684 [default is %s]\n"), (default_arch_size
== 64) ? "RMO" : "TSO");
685 fprintf (stream
, _("\
686 -KPIC generate PIC\n\
687 -V print assembler version number\n\
688 -undeclared-regs ignore application global register usage without\n\
689 appropriate .register directive (default)\n\
690 -no-undeclared-regs force error on application global register usage\n\
691 without appropriate .register directive\n\
696 #ifdef SPARC_BIENDIAN
697 fprintf (stream
, _("\
698 -EL generate code for a little endian machine\n\
699 -EB generate code for a big endian machine\n\
700 --little-endian-data generate code for a machine having big endian\n\
701 instructions and little endian data.\n"));
705 /* Native operand size opcode translation. */
711 } native_op_table
[] =
713 {"ldn", "ld", "ldx"},
714 {"ldna", "lda", "ldxa"},
715 {"stn", "st", "stx"},
716 {"stna", "sta", "stxa"},
717 {"slln", "sll", "sllx"},
718 {"srln", "srl", "srlx"},
719 {"sran", "sra", "srax"},
720 {"casn", "cas", "casx"},
721 {"casna", "casa", "casxa"},
722 {"clrn", "clr", "clrx"},
726 /* sparc64 priviledged registers. */
728 struct priv_reg_entry
734 struct priv_reg_entry priv_reg_table
[] =
753 {"", -1}, /* End marker. */
756 /* v9a specific asrs. */
758 struct priv_reg_entry v9a_asr_table
[] =
761 {"sys_tick_cmpr", 25},
769 {"clear_softint", 21},
770 {"", -1}, /* End marker. */
774 cmp_reg_entry (parg
, qarg
)
778 const struct priv_reg_entry
*p
= (const struct priv_reg_entry
*) parg
;
779 const struct priv_reg_entry
*q
= (const struct priv_reg_entry
*) qarg
;
781 return strcmp (q
->name
, p
->name
);
784 /* This function is called once, at assembler startup time. It should
785 set up all the tables, etc. that the MD part of the assembler will
791 register const char *retval
= NULL
;
793 register unsigned int i
= 0;
795 /* We don't get a chance to initialize anything before md_parse_option
796 is called, and it may not be called, so handle default initialization
797 now if not already done. */
798 if (! default_init_p
)
799 init_default_arch ();
801 op_hash
= hash_new ();
803 while (i
< (unsigned int) sparc_num_opcodes
)
805 const char *name
= sparc_opcodes
[i
].name
;
806 retval
= hash_insert (op_hash
, name
, (PTR
) &sparc_opcodes
[i
]);
809 as_bad (_("Internal error: can't hash `%s': %s\n"),
810 sparc_opcodes
[i
].name
, retval
);
815 if (sparc_opcodes
[i
].match
& sparc_opcodes
[i
].lose
)
817 as_bad (_("Internal error: losing opcode: `%s' \"%s\"\n"),
818 sparc_opcodes
[i
].name
, sparc_opcodes
[i
].args
);
823 while (i
< (unsigned int) sparc_num_opcodes
824 && !strcmp (sparc_opcodes
[i
].name
, name
));
827 for (i
= 0; native_op_table
[i
].name
; i
++)
829 const struct sparc_opcode
*insn
;
830 char *name
= ((sparc_arch_size
== 32)
831 ? native_op_table
[i
].name32
832 : native_op_table
[i
].name64
);
833 insn
= (struct sparc_opcode
*) hash_find (op_hash
, name
);
836 as_bad (_("Internal error: can't find opcode `%s' for `%s'\n"),
837 name
, native_op_table
[i
].name
);
842 retval
= hash_insert (op_hash
, native_op_table
[i
].name
, (PTR
) insn
);
845 as_bad (_("Internal error: can't hash `%s': %s\n"),
846 sparc_opcodes
[i
].name
, retval
);
853 as_fatal (_("Broken assembler. No assembly attempted."));
855 qsort (priv_reg_table
, sizeof (priv_reg_table
) / sizeof (priv_reg_table
[0]),
856 sizeof (priv_reg_table
[0]), cmp_reg_entry
);
858 /* If -bump, record the architecture level at which we start issuing
859 warnings. The behaviour is different depending upon whether an
860 architecture was explicitly specified. If it wasn't, we issue warnings
861 for all upwards bumps. If it was, we don't start issuing warnings until
862 we need to bump beyond the requested architecture or when we bump between
863 conflicting architectures. */
866 && architecture_requested
)
868 /* `max_architecture' records the requested architecture.
869 Issue warnings if we go above it. */
870 warn_after_architecture
= max_architecture
;
872 /* Find the highest architecture level that doesn't conflict with
873 the requested one. */
874 for (max_architecture
= SPARC_OPCODE_ARCH_MAX
;
875 max_architecture
> warn_after_architecture
;
877 if (! SPARC_OPCODE_CONFLICT_P (max_architecture
,
878 warn_after_architecture
))
883 /* Called after all assembly has been done. */
888 unsigned long mach
= bfd_mach_sparc
;
890 if (sparc_arch_size
== 64)
891 switch (current_architecture
)
893 case SPARC_OPCODE_ARCH_V9A
: mach
= bfd_mach_sparc_v9a
; break;
894 case SPARC_OPCODE_ARCH_V9B
: mach
= bfd_mach_sparc_v9b
; break;
895 default: mach
= bfd_mach_sparc_v9
; break;
898 switch (current_architecture
)
900 case SPARC_OPCODE_ARCH_SPARCLET
: mach
= bfd_mach_sparc_sparclet
; break;
901 case SPARC_OPCODE_ARCH_V9
: mach
= bfd_mach_sparc_v8plus
; break;
902 case SPARC_OPCODE_ARCH_V9A
: mach
= bfd_mach_sparc_v8plusa
; break;
903 case SPARC_OPCODE_ARCH_V9B
: mach
= bfd_mach_sparc_v8plusb
; break;
904 /* The sparclite is treated like a normal sparc. Perhaps it shouldn't
905 be but for now it is (since that's the way it's always been
909 bfd_set_arch_mach (stdoutput
, bfd_arch_sparc
, mach
);
912 /* Return non-zero if VAL is in the range -(MAX+1) to MAX. */
915 in_signed_range (val
, max
)
916 bfd_signed_vma val
, max
;
920 /* Sign-extend the value from the architecture word size, so that
921 0xffffffff is always considered -1 on sparc32. */
922 if (sparc_arch_size
== 32)
924 bfd_signed_vma sign
= (bfd_signed_vma
) 1 << 31;
925 val
= ((val
& U0xffffffff
) ^ sign
) - sign
;
934 /* Return non-zero if VAL is in the range 0 to MAX. */
937 in_unsigned_range (val
, max
)
945 /* Return non-zero if VAL is in the range -(MAX/2+1) to MAX.
946 (e.g. -15 to +31). */
949 in_bitfield_range (val
, max
)
950 bfd_signed_vma val
, max
;
956 if (val
< ~(max
>> 1))
970 for (i
= 0; (mask
& 1) == 0; ++i
)
975 /* Implement big shift right. */
981 if (sizeof (bfd_vma
) <= 4 && amount
>= 32)
982 as_fatal (_("Support for 64-bit arithmetic not compiled in."));
983 return val
>> amount
;
986 /* For communication between sparc_ip and get_expression. */
987 static char *expr_end
;
989 /* Values for `special_case'.
990 Instructions that require wierd handling because they're longer than
992 #define SPECIAL_CASE_NONE 0
993 #define SPECIAL_CASE_SET 1
994 #define SPECIAL_CASE_SETSW 2
995 #define SPECIAL_CASE_SETX 3
996 /* FIXME: sparc-opc.c doesn't have necessary "S" trigger to enable this. */
997 #define SPECIAL_CASE_FDIV 4
999 /* Bit masks of various insns. */
1000 #define NOP_INSN 0x01000000
1001 #define OR_INSN 0x80100000
1002 #define XOR_INSN 0x80180000
1003 #define FMOVS_INSN 0x81A00020
1004 #define SETHI_INSN 0x01000000
1005 #define SLLX_INSN 0x81281000
1006 #define SRA_INSN 0x81380000
1008 /* The last instruction to be assembled. */
1009 static const struct sparc_opcode
*last_insn
;
1010 /* The assembled opcode of `last_insn'. */
1011 static unsigned long last_opcode
;
1013 /* Handle the set and setuw synthetic instructions. */
1016 synthetize_setuw (insn
)
1017 const struct sparc_opcode
*insn
;
1019 int need_hi22_p
= 0;
1020 int rd
= (the_insn
.opcode
& RD (~0)) >> 25;
1022 if (the_insn
.exp
.X_op
== O_constant
)
1024 if (SPARC_OPCODE_ARCH_V9_P (max_architecture
))
1026 if (sizeof (offsetT
) > 4
1027 && (the_insn
.exp
.X_add_number
< 0
1028 || the_insn
.exp
.X_add_number
> (offsetT
) U0xffffffff
))
1029 as_warn (_("set: number not in 0..4294967295 range"));
1033 if (sizeof (offsetT
) > 4
1034 && (the_insn
.exp
.X_add_number
< -(offsetT
) U0x80000000
1035 || the_insn
.exp
.X_add_number
> (offsetT
) U0xffffffff
))
1036 as_warn (_("set: number not in -2147483648..4294967295 range"));
1037 the_insn
.exp
.X_add_number
= (int) the_insn
.exp
.X_add_number
;
1041 /* See if operand is absolute and small; skip sethi if so. */
1042 if (the_insn
.exp
.X_op
!= O_constant
1043 || the_insn
.exp
.X_add_number
>= (1 << 12)
1044 || the_insn
.exp
.X_add_number
< -(1 << 12))
1046 the_insn
.opcode
= (SETHI_INSN
| RD (rd
)
1047 | ((the_insn
.exp
.X_add_number
>> 10)
1048 & (the_insn
.exp
.X_op
== O_constant
1050 the_insn
.reloc
= (the_insn
.exp
.X_op
!= O_constant
1051 ? BFD_RELOC_HI22
: BFD_RELOC_NONE
);
1052 output_insn (insn
, &the_insn
);
1056 /* See if operand has no low-order bits; skip OR if so. */
1057 if (the_insn
.exp
.X_op
!= O_constant
1058 || (need_hi22_p
&& (the_insn
.exp
.X_add_number
& 0x3FF) != 0)
1061 the_insn
.opcode
= (OR_INSN
| (need_hi22_p
? RS1 (rd
) : 0)
1063 | (the_insn
.exp
.X_add_number
1064 & (the_insn
.exp
.X_op
!= O_constant
1065 ? 0 : need_hi22_p
? 0x3ff : 0x1fff)));
1066 the_insn
.reloc
= (the_insn
.exp
.X_op
!= O_constant
1067 ? BFD_RELOC_LO10
: BFD_RELOC_NONE
);
1068 output_insn (insn
, &the_insn
);
1072 /* Handle the setsw synthetic instruction. */
1075 synthetize_setsw (insn
)
1076 const struct sparc_opcode
*insn
;
1080 rd
= (the_insn
.opcode
& RD (~0)) >> 25;
1082 if (the_insn
.exp
.X_op
!= O_constant
)
1084 synthetize_setuw (insn
);
1086 /* Need to sign extend it. */
1087 the_insn
.opcode
= (SRA_INSN
| RS1 (rd
) | RD (rd
));
1088 the_insn
.reloc
= BFD_RELOC_NONE
;
1089 output_insn (insn
, &the_insn
);
1093 if (sizeof (offsetT
) > 4
1094 && (the_insn
.exp
.X_add_number
< -(offsetT
) U0x80000000
1095 || the_insn
.exp
.X_add_number
> (offsetT
) U0xffffffff
))
1096 as_warn (_("setsw: number not in -2147483648..4294967295 range"));
1098 low32
= the_insn
.exp
.X_add_number
;
1102 synthetize_setuw (insn
);
1108 the_insn
.reloc
= BFD_RELOC_NONE
;
1109 /* See if operand is absolute and small; skip sethi if so. */
1110 if (low32
< -(1 << 12))
1112 the_insn
.opcode
= (SETHI_INSN
| RD (rd
)
1113 | (((~the_insn
.exp
.X_add_number
) >> 10) & 0x3fffff));
1114 output_insn (insn
, &the_insn
);
1115 low32
= 0x1c00 | (low32
& 0x3ff);
1116 opc
= RS1 (rd
) | XOR_INSN
;
1119 the_insn
.opcode
= (opc
| RD (rd
) | IMMED
1120 | (low32
& 0x1fff));
1121 output_insn (insn
, &the_insn
);
1124 /* Handle the setsw synthetic instruction. */
1127 synthetize_setx (insn
)
1128 const struct sparc_opcode
*insn
;
1130 int upper32
, lower32
;
1131 int tmpreg
= (the_insn
.opcode
& RS1 (~0)) >> 14;
1132 int dstreg
= (the_insn
.opcode
& RD (~0)) >> 25;
1134 int need_hh22_p
= 0, need_hm10_p
= 0, need_hi22_p
= 0, need_lo10_p
= 0;
1135 int need_xor10_p
= 0;
1137 #define SIGNEXT32(x) ((((x) & U0xffffffff) ^ U0x80000000) - U0x80000000)
1138 lower32
= SIGNEXT32 (the_insn
.exp
.X_add_number
);
1139 upper32
= SIGNEXT32 (BSR (the_insn
.exp
.X_add_number
, 32));
1142 upper_dstreg
= tmpreg
;
1143 /* The tmp reg should not be the dst reg. */
1144 if (tmpreg
== dstreg
)
1145 as_warn (_("setx: temporary register same as destination register"));
1147 /* ??? Obviously there are other optimizations we can do
1148 (e.g. sethi+shift for 0x1f0000000) and perhaps we shouldn't be
1149 doing some of these. Later. If you do change things, try to
1150 change all of this to be table driven as well. */
1151 /* What to output depends on the number if it's constant.
1152 Compute that first, then output what we've decided upon. */
1153 if (the_insn
.exp
.X_op
!= O_constant
)
1155 if (sparc_arch_size
== 32)
1157 /* When arch size is 32, we want setx to be equivalent
1158 to setuw for anything but constants. */
1159 the_insn
.exp
.X_add_number
&= 0xffffffff;
1160 synthetize_setuw (insn
);
1163 need_hh22_p
= need_hm10_p
= need_hi22_p
= need_lo10_p
= 1;
1169 /* Reset X_add_number, we've extracted it as upper32/lower32.
1170 Otherwise fixup_segment will complain about not being able to
1171 write an 8 byte number in a 4 byte field. */
1172 the_insn
.exp
.X_add_number
= 0;
1174 /* Only need hh22 if `or' insn can't handle constant. */
1175 if (upper32
< -(1 << 12) || upper32
>= (1 << 12))
1178 /* Does bottom part (after sethi) have bits? */
1179 if ((need_hh22_p
&& (upper32
& 0x3ff) != 0)
1180 /* No hh22, but does upper32 still have bits we can't set
1182 || (! need_hh22_p
&& upper32
!= 0 && upper32
!= -1))
1185 /* If the lower half is all zero, we build the upper half directly
1186 into the dst reg. */
1188 /* Need lower half if number is zero or 0xffffffff00000000. */
1189 || (! need_hh22_p
&& ! need_hm10_p
))
1191 /* No need for sethi if `or' insn can handle constant. */
1192 if (lower32
< -(1 << 12) || lower32
>= (1 << 12)
1193 /* Note that we can't use a negative constant in the `or'
1194 insn unless the upper 32 bits are all ones. */
1195 || (lower32
< 0 && upper32
!= -1)
1196 || (lower32
>= 0 && upper32
== -1))
1199 if (need_hi22_p
&& upper32
== -1)
1202 /* Does bottom part (after sethi) have bits? */
1203 else if ((need_hi22_p
&& (lower32
& 0x3ff) != 0)
1205 || (! need_hi22_p
&& (lower32
& 0x1fff) != 0)
1206 /* Need `or' if we didn't set anything else. */
1207 || (! need_hi22_p
&& ! need_hh22_p
&& ! need_hm10_p
))
1211 /* Output directly to dst reg if lower 32 bits are all zero. */
1212 upper_dstreg
= dstreg
;
1215 if (!upper_dstreg
&& dstreg
)
1216 as_warn (_("setx: illegal temporary register g0"));
1220 the_insn
.opcode
= (SETHI_INSN
| RD (upper_dstreg
)
1221 | ((upper32
>> 10) & 0x3fffff));
1222 the_insn
.reloc
= (the_insn
.exp
.X_op
!= O_constant
1223 ? BFD_RELOC_SPARC_HH22
: BFD_RELOC_NONE
);
1224 output_insn (insn
, &the_insn
);
1229 the_insn
.opcode
= (SETHI_INSN
| RD (dstreg
)
1230 | (((need_xor10_p
? ~lower32
: lower32
)
1231 >> 10) & 0x3fffff));
1232 the_insn
.reloc
= (the_insn
.exp
.X_op
!= O_constant
1233 ? BFD_RELOC_SPARC_LM22
: BFD_RELOC_NONE
);
1234 output_insn (insn
, &the_insn
);
1239 the_insn
.opcode
= (OR_INSN
1240 | (need_hh22_p
? RS1 (upper_dstreg
) : 0)
1243 | (upper32
& (need_hh22_p
? 0x3ff : 0x1fff)));
1244 the_insn
.reloc
= (the_insn
.exp
.X_op
!= O_constant
1245 ? BFD_RELOC_SPARC_HM10
: BFD_RELOC_NONE
);
1246 output_insn (insn
, &the_insn
);
1251 /* FIXME: One nice optimization to do here is to OR the low part
1252 with the highpart if hi22 isn't needed and the low part is
1254 the_insn
.opcode
= (OR_INSN
| (need_hi22_p
? RS1 (dstreg
) : 0)
1257 | (lower32
& (need_hi22_p
? 0x3ff : 0x1fff)));
1258 the_insn
.reloc
= (the_insn
.exp
.X_op
!= O_constant
1259 ? BFD_RELOC_LO10
: BFD_RELOC_NONE
);
1260 output_insn (insn
, &the_insn
);
1263 /* If we needed to build the upper part, shift it into place. */
1264 if (need_hh22_p
|| need_hm10_p
)
1266 the_insn
.opcode
= (SLLX_INSN
| RS1 (upper_dstreg
) | RD (upper_dstreg
)
1268 the_insn
.reloc
= BFD_RELOC_NONE
;
1269 output_insn (insn
, &the_insn
);
1272 /* To get -1 in upper32, we do sethi %hi(~x), r; xor r, -0x400 | x, r. */
1275 the_insn
.opcode
= (XOR_INSN
| RS1 (dstreg
) | RD (dstreg
) | IMMED
1276 | 0x1c00 | (lower32
& 0x3ff));
1277 the_insn
.reloc
= BFD_RELOC_NONE
;
1278 output_insn (insn
, &the_insn
);
1281 /* If we needed to build both upper and lower parts, OR them together. */
1282 else if ((need_hh22_p
|| need_hm10_p
) && (need_hi22_p
|| need_lo10_p
))
1284 the_insn
.opcode
= (OR_INSN
| RS1 (dstreg
) | RS2 (upper_dstreg
)
1286 the_insn
.reloc
= BFD_RELOC_NONE
;
1287 output_insn (insn
, &the_insn
);
1291 /* Main entry point to assemble one instruction. */
1297 const struct sparc_opcode
*insn
;
1301 special_case
= sparc_ip (str
, &insn
);
1303 /* We warn about attempts to put a floating point branch in a delay slot,
1304 unless the delay slot has been annulled. */
1306 && last_insn
!= NULL
1307 && (insn
->flags
& F_FBR
) != 0
1308 && (last_insn
->flags
& F_DELAYED
) != 0
1309 /* ??? This test isn't completely accurate. We assume anything with
1310 F_{UNBR,CONDBR,FBR} set is annullable. */
1311 && ((last_insn
->flags
& (F_UNBR
| F_CONDBR
| F_FBR
)) == 0
1312 || (last_opcode
& ANNUL
) == 0))
1313 as_warn (_("FP branch in delay slot"));
1315 /* SPARC before v9 requires a nop instruction between a floating
1316 point instruction and a floating point branch. We insert one
1317 automatically, with a warning. */
1318 if (max_architecture
< SPARC_OPCODE_ARCH_V9
1320 && last_insn
!= NULL
1321 && (insn
->flags
& F_FBR
) != 0
1322 && (last_insn
->flags
& F_FLOAT
) != 0)
1324 struct sparc_it nop_insn
;
1326 nop_insn
.opcode
= NOP_INSN
;
1327 nop_insn
.reloc
= BFD_RELOC_NONE
;
1328 output_insn (insn
, &nop_insn
);
1329 as_warn (_("FP branch preceded by FP instruction; NOP inserted"));
1332 switch (special_case
)
1334 case SPECIAL_CASE_NONE
:
1336 output_insn (insn
, &the_insn
);
1339 case SPECIAL_CASE_SETSW
:
1340 synthetize_setsw (insn
);
1343 case SPECIAL_CASE_SET
:
1344 synthetize_setuw (insn
);
1347 case SPECIAL_CASE_SETX
:
1348 synthetize_setx (insn
);
1351 case SPECIAL_CASE_FDIV
:
1353 int rd
= (the_insn
.opcode
>> 25) & 0x1f;
1355 output_insn (insn
, &the_insn
);
1357 /* According to information leaked from Sun, the "fdiv" instructions
1358 on early SPARC machines would produce incorrect results sometimes.
1359 The workaround is to add an fmovs of the destination register to
1360 itself just after the instruction. This was true on machines
1361 with Weitek 1165 float chips, such as the Sun-4/260 and /280. */
1362 assert (the_insn
.reloc
== BFD_RELOC_NONE
);
1363 the_insn
.opcode
= FMOVS_INSN
| rd
| RD (rd
);
1364 output_insn (insn
, &the_insn
);
1369 as_fatal (_("failed special case insn sanity check"));
1373 /* Subroutine of md_assemble to do the actual parsing. */
1376 sparc_ip (str
, pinsn
)
1378 const struct sparc_opcode
**pinsn
;
1380 char *error_message
= "";
1384 const struct sparc_opcode
*insn
;
1386 unsigned long opcode
;
1387 unsigned int mask
= 0;
1391 int special_case
= SPECIAL_CASE_NONE
;
1398 while (ISLOWER (*s
) || ISDIGIT (*s
));
1415 as_fatal (_("Unknown opcode: `%s'"), str
);
1417 insn
= (struct sparc_opcode
*) hash_find (op_hash
, str
);
1421 as_bad (_("Unknown opcode: `%s'"), str
);
1422 return special_case
;
1432 opcode
= insn
->match
;
1433 memset (&the_insn
, '\0', sizeof (the_insn
));
1434 the_insn
.reloc
= BFD_RELOC_NONE
;
1437 /* Build the opcode, checking as we go to make sure that the
1439 for (args
= insn
->args
;; ++args
)
1447 /* Parse a series of masks. */
1454 if (! parse_keyword_arg (sparc_encode_membar
, &s
,
1457 error_message
= _(": invalid membar mask name");
1463 if (*s
== '|' || *s
== '+')
1471 if (! parse_const_expr_arg (&s
, &kmask
))
1473 error_message
= _(": invalid membar mask expression");
1476 if (kmask
< 0 || kmask
> 127)
1478 error_message
= _(": invalid membar mask number");
1483 opcode
|= MEMBAR (kmask
);
1491 if (! parse_const_expr_arg (&s
, &smask
))
1493 error_message
= _(": invalid siam mode expression");
1496 if (smask
< 0 || smask
> 7)
1498 error_message
= _(": invalid siam mode number");
1509 /* Parse a prefetch function. */
1512 if (! parse_keyword_arg (sparc_encode_prefetch
, &s
, &fcn
))
1514 error_message
= _(": invalid prefetch function name");
1520 if (! parse_const_expr_arg (&s
, &fcn
))
1522 error_message
= _(": invalid prefetch function expression");
1525 if (fcn
< 0 || fcn
> 31)
1527 error_message
= _(": invalid prefetch function number");
1537 /* Parse a sparc64 privileged register. */
1540 struct priv_reg_entry
*p
= priv_reg_table
;
1541 unsigned int len
= 9999999; /* Init to make gcc happy. */
1544 while (p
->name
[0] > s
[0])
1546 while (p
->name
[0] == s
[0])
1548 len
= strlen (p
->name
);
1549 if (strncmp (p
->name
, s
, len
) == 0)
1553 if (p
->name
[0] != s
[0])
1555 error_message
= _(": unrecognizable privileged register");
1559 opcode
|= (p
->regnum
<< 14);
1561 opcode
|= (p
->regnum
<< 25);
1567 error_message
= _(": unrecognizable privileged register");
1573 /* Parse a v9a/v9b ancillary state register. */
1576 struct priv_reg_entry
*p
= v9a_asr_table
;
1577 unsigned int len
= 9999999; /* Init to make gcc happy. */
1580 while (p
->name
[0] > s
[0])
1582 while (p
->name
[0] == s
[0])
1584 len
= strlen (p
->name
);
1585 if (strncmp (p
->name
, s
, len
) == 0)
1589 if (p
->name
[0] != s
[0])
1591 error_message
= _(": unrecognizable v9a or v9b ancillary state register");
1594 if (*args
== '/' && (p
->regnum
== 20 || p
->regnum
== 21))
1596 error_message
= _(": rd on write only ancillary state register");
1600 && (insn
->architecture
1601 & SPARC_OPCODE_ARCH_MASK (SPARC_OPCODE_ARCH_V9A
)))
1603 /* %sys_tick and %sys_tick_cmpr are v9bnotv9a */
1604 error_message
= _(": unrecognizable v9a ancillary state register");
1608 opcode
|= (p
->regnum
<< 14);
1610 opcode
|= (p
->regnum
<< 25);
1616 error_message
= _(": unrecognizable v9a or v9b ancillary state register");
1622 if (strncmp (s
, "%asr", 4) == 0)
1630 while (ISDIGIT (*s
))
1632 num
= num
* 10 + *s
- '0';
1636 if (current_architecture
>= SPARC_OPCODE_ARCH_V9
)
1638 if (num
< 16 || 31 < num
)
1640 error_message
= _(": asr number must be between 16 and 31");
1646 if (num
< 0 || 31 < num
)
1648 error_message
= _(": asr number must be between 0 and 31");
1653 opcode
|= (*args
== 'M' ? RS1 (num
) : RD (num
));
1658 error_message
= _(": expecting %asrN");
1665 the_insn
.reloc
= BFD_RELOC_SPARC_11
;
1669 the_insn
.reloc
= BFD_RELOC_SPARC_10
;
1673 /* V8 systems don't understand BFD_RELOC_SPARC_5. */
1674 if (SPARC_OPCODE_ARCH_V9_P (max_architecture
))
1675 the_insn
.reloc
= BFD_RELOC_SPARC_5
;
1677 the_insn
.reloc
= BFD_RELOC_SPARC13
;
1678 /* These fields are unsigned, but for upward compatibility,
1679 allow negative values as well. */
1683 /* V8 systems don't understand BFD_RELOC_SPARC_6. */
1684 if (SPARC_OPCODE_ARCH_V9_P (max_architecture
))
1685 the_insn
.reloc
= BFD_RELOC_SPARC_6
;
1687 the_insn
.reloc
= BFD_RELOC_SPARC13
;
1688 /* These fields are unsigned, but for upward compatibility,
1689 allow negative values as well. */
1693 the_insn
.reloc
= /* RELOC_WDISP2_14 */ BFD_RELOC_SPARC_WDISP16
;
1698 the_insn
.reloc
= BFD_RELOC_SPARC_WDISP19
;
1703 if (*s
== 'p' && s
[1] == 'n')
1711 if (*s
== 'p' && s
[1] == 't')
1723 if (strncmp (s
, "%icc", 4) == 0)
1735 if (strncmp (s
, "%xcc", 4) == 0)
1747 if (strncmp (s
, "%fcc0", 5) == 0)
1759 if (strncmp (s
, "%fcc1", 5) == 0)
1771 if (strncmp (s
, "%fcc2", 5) == 0)
1783 if (strncmp (s
, "%fcc3", 5) == 0)
1791 if (strncmp (s
, "%pc", 3) == 0)
1799 if (strncmp (s
, "%tick", 5) == 0)
1806 case '\0': /* End of args. */
1825 case '[': /* These must match exactly. */
1833 case '#': /* Must be at least one digit. */
1836 while (ISDIGIT (*s
))
1844 case 'C': /* Coprocessor state register. */
1845 if (strncmp (s
, "%csr", 4) == 0)
1852 case 'b': /* Next operand is a coprocessor register. */
1855 if (*s
++ == '%' && *s
++ == 'c' && ISDIGIT (*s
))
1860 mask
= 10 * (mask
- '0') + (*s
++ - '0');
1874 opcode
|= mask
<< 14;
1882 opcode
|= mask
<< 25;
1888 case 'r': /* next operand must be a register */
1898 case 'f': /* frame pointer */
1906 case 'g': /* global register */
1915 case 'i': /* in register */
1919 mask
= c
- '0' + 24;
1924 case 'l': /* local register */
1928 mask
= (c
- '0' + 16);
1933 case 'o': /* out register */
1937 mask
= (c
- '0' + 8);
1942 case 's': /* stack pointer */
1950 case 'r': /* any register */
1951 if (!ISDIGIT ((c
= *s
++)))
1968 if ((c
= 10 * (c
- '0') + (*s
++ - '0')) >= 32)
1984 if ((mask
& ~1) == 2 && sparc_arch_size
== 64
1985 && no_undeclared_regs
&& ! globals
[mask
])
1986 as_bad (_("detected global register use not covered by .register pseudo-op"));
1988 /* Got the register, now figure out where
1989 it goes in the opcode. */
1993 opcode
|= mask
<< 14;
2001 opcode
|= mask
<< 25;
2005 opcode
|= (mask
<< 25) | (mask
<< 14);
2009 opcode
|= (mask
<< 25) | (mask
<< 0);
2015 case 'e': /* next operand is a floating point register */
2030 && ((format
= *s
) == 'f')
2033 for (mask
= 0; ISDIGIT (*s
); ++s
)
2035 mask
= 10 * mask
+ (*s
- '0');
2036 } /* read the number */
2044 } /* register must be even numbered */
2052 } /* register must be multiple of 4 */
2056 if (SPARC_OPCODE_ARCH_V9_P (max_architecture
))
2057 error_message
= _(": There are only 64 f registers; [0-63]");
2059 error_message
= _(": There are only 32 f registers; [0-31]");
2062 else if (mask
>= 32)
2064 if (SPARC_OPCODE_ARCH_V9_P (max_architecture
))
2067 mask
-= 31; /* wrap high bit */
2071 error_message
= _(": There are only 32 f registers; [0-31]");
2079 } /* if not an 'f' register. */
2086 opcode
|= RS1 (mask
);
2092 opcode
|= RS2 (mask
);
2098 opcode
|= RD (mask
);
2107 if (strncmp (s
, "%fsr", 4) == 0)
2114 case '0': /* 64 bit immediate (set, setsw, setx insn) */
2115 the_insn
.reloc
= BFD_RELOC_NONE
; /* reloc handled elsewhere */
2118 case 'l': /* 22 bit PC relative immediate */
2119 the_insn
.reloc
= BFD_RELOC_SPARC_WDISP22
;
2123 case 'L': /* 30 bit immediate */
2124 the_insn
.reloc
= BFD_RELOC_32_PCREL_S2
;
2129 case 'n': /* 22 bit immediate */
2130 the_insn
.reloc
= BFD_RELOC_SPARC22
;
2133 case 'i': /* 13 bit immediate */
2134 the_insn
.reloc
= BFD_RELOC_SPARC13
;
2144 char *op_arg
= NULL
;
2146 bfd_reloc_code_real_type old_reloc
= the_insn
.reloc
;
2148 /* Check for %hi, etc. */
2151 static const struct ops
{
2152 /* The name as it appears in assembler. */
2154 /* strlen (name), precomputed for speed */
2156 /* The reloc this pseudo-op translates to. */
2158 /* Non-zero if for v9 only. */
2160 /* Non-zero if can be used in pc-relative contexts. */
2161 int pcrel_p
;/*FIXME:wip*/
2163 /* hix/lox must appear before hi/lo so %hix won't be
2164 mistaken for %hi. */
2165 { "hix", 3, BFD_RELOC_SPARC_HIX22
, 1, 0 },
2166 { "lox", 3, BFD_RELOC_SPARC_LOX10
, 1, 0 },
2167 { "hi", 2, BFD_RELOC_HI22
, 0, 1 },
2168 { "lo", 2, BFD_RELOC_LO10
, 0, 1 },
2169 { "hh", 2, BFD_RELOC_SPARC_HH22
, 1, 1 },
2170 { "hm", 2, BFD_RELOC_SPARC_HM10
, 1, 1 },
2171 { "lm", 2, BFD_RELOC_SPARC_LM22
, 1, 1 },
2172 { "h44", 3, BFD_RELOC_SPARC_H44
, 1, 0 },
2173 { "m44", 3, BFD_RELOC_SPARC_M44
, 1, 0 },
2174 { "l44", 3, BFD_RELOC_SPARC_L44
, 1, 0 },
2175 { "uhi", 3, BFD_RELOC_SPARC_HH22
, 1, 0 },
2176 { "ulo", 3, BFD_RELOC_SPARC_HM10
, 1, 0 },
2177 { NULL
, 0, 0, 0, 0 }
2179 const struct ops
*o
;
2181 for (o
= ops
; o
->name
; o
++)
2182 if (strncmp (s
+ 1, o
->name
, o
->len
) == 0)
2184 if (o
->name
== NULL
)
2187 if (s
[o
->len
+ 1] != '(')
2189 as_bad (_("Illegal operands: %%%s requires arguments in ()"), o
->name
);
2190 return special_case
;
2194 the_insn
.reloc
= o
->reloc
;
2199 /* Note that if the get_expression() fails, we will still
2200 have created U entries in the symbol table for the
2201 'symbols' in the input string. Try not to create U
2202 symbols for registers, etc. */
2204 /* This stuff checks to see if the expression ends in
2205 +%reg. If it does, it removes the register from
2206 the expression, and re-sets 's' to point to the
2213 for (s1
= s
; *s1
&& *s1
!= ',' && *s1
!= ']'; s1
++)
2216 else if (*s1
== ')')
2225 as_bad (_("Illegal operands: %%%s requires arguments in ()"), op_arg
);
2226 return special_case
;
2230 (void) get_expression (s
);
2233 if (*s
== ',' || *s
== ']' || !*s
)
2235 if (*s
!= '+' && *s
!= '-')
2237 as_bad (_("Illegal operands: Can't do arithmetics other than + and - involving %%%s()"), op_arg
);
2238 return special_case
;
2242 op_exp
= the_insn
.exp
;
2243 memset (&the_insn
.exp
, 0, sizeof (the_insn
.exp
));
2246 for (s1
= s
; *s1
&& *s1
!= ',' && *s1
!= ']'; s1
++)
2249 if (s1
!= s
&& ISDIGIT (s1
[-1]))
2251 if (s1
[-2] == '%' && s1
[-3] == '+')
2253 else if (strchr ("goli0123456789", s1
[-2]) && s1
[-3] == '%' && s1
[-4] == '+')
2260 if (op_arg
&& s1
== s
+ 1)
2261 the_insn
.exp
.X_op
= O_absent
;
2263 (void) get_expression (s
);
2275 (void) get_expression (s
);
2283 the_insn
.exp2
= the_insn
.exp
;
2284 the_insn
.exp
= op_exp
;
2285 if (the_insn
.exp2
.X_op
== O_absent
)
2286 the_insn
.exp2
.X_op
= O_illegal
;
2287 else if (the_insn
.exp
.X_op
== O_absent
)
2289 the_insn
.exp
= the_insn
.exp2
;
2290 the_insn
.exp2
.X_op
= O_illegal
;
2292 else if (the_insn
.exp
.X_op
== O_constant
)
2294 valueT val
= the_insn
.exp
.X_add_number
;
2295 switch (the_insn
.reloc
)
2300 case BFD_RELOC_SPARC_HH22
:
2301 val
= BSR (val
, 32);
2304 case BFD_RELOC_SPARC_LM22
:
2305 case BFD_RELOC_HI22
:
2306 val
= (val
>> 10) & 0x3fffff;
2309 case BFD_RELOC_SPARC_HM10
:
2310 val
= BSR (val
, 32);
2313 case BFD_RELOC_LO10
:
2317 case BFD_RELOC_SPARC_H44
:
2322 case BFD_RELOC_SPARC_M44
:
2327 case BFD_RELOC_SPARC_L44
:
2331 case BFD_RELOC_SPARC_HIX22
:
2333 val
= (val
>> 10) & 0x3fffff;
2336 case BFD_RELOC_SPARC_LOX10
:
2337 val
= (val
& 0x3ff) | 0x1c00;
2340 the_insn
.exp
= the_insn
.exp2
;
2341 the_insn
.exp
.X_add_number
+= val
;
2342 the_insn
.exp2
.X_op
= O_illegal
;
2343 the_insn
.reloc
= old_reloc
;
2345 else if (the_insn
.exp2
.X_op
!= O_constant
)
2347 as_bad (_("Illegal operands: Can't add non-constant expression to %%%s()"), op_arg
);
2348 return special_case
;
2352 if (old_reloc
!= BFD_RELOC_SPARC13
2353 || the_insn
.reloc
!= BFD_RELOC_LO10
2354 || sparc_arch_size
!= 64
2357 as_bad (_("Illegal operands: Can't do arithmetics involving %%%s() of a relocatable symbol"), op_arg
);
2358 return special_case
;
2360 the_insn
.reloc
= BFD_RELOC_SPARC_OLO10
;
2364 /* Check for constants that don't require emitting a reloc. */
2365 if (the_insn
.exp
.X_op
== O_constant
2366 && the_insn
.exp
.X_add_symbol
== 0
2367 && the_insn
.exp
.X_op_symbol
== 0)
2369 /* For pc-relative call instructions, we reject
2370 constants to get better code. */
2372 && the_insn
.reloc
== BFD_RELOC_32_PCREL_S2
2373 && in_signed_range (the_insn
.exp
.X_add_number
, 0x3fff))
2375 error_message
= _(": PC-relative operand can't be a constant");
2379 /* Constants that won't fit are checked in md_apply_fix3
2380 and bfd_install_relocation.
2381 ??? It would be preferable to install the constants
2382 into the insn here and save having to create a fixS
2383 for each one. There already exists code to handle
2384 all the various cases (e.g. in md_apply_fix3 and
2385 bfd_install_relocation) so duplicating all that code
2386 here isn't right. */
2406 if (! parse_keyword_arg (sparc_encode_asi
, &s
, &asi
))
2408 error_message
= _(": invalid ASI name");
2414 if (! parse_const_expr_arg (&s
, &asi
))
2416 error_message
= _(": invalid ASI expression");
2419 if (asi
< 0 || asi
> 255)
2421 error_message
= _(": invalid ASI number");
2425 opcode
|= ASI (asi
);
2427 } /* Alternate space. */
2430 if (strncmp (s
, "%psr", 4) == 0)
2437 case 'q': /* Floating point queue. */
2438 if (strncmp (s
, "%fq", 3) == 0)
2445 case 'Q': /* Coprocessor queue. */
2446 if (strncmp (s
, "%cq", 3) == 0)
2454 if (strcmp (str
, "set") == 0
2455 || strcmp (str
, "setuw") == 0)
2457 special_case
= SPECIAL_CASE_SET
;
2460 else if (strcmp (str
, "setsw") == 0)
2462 special_case
= SPECIAL_CASE_SETSW
;
2465 else if (strcmp (str
, "setx") == 0)
2467 special_case
= SPECIAL_CASE_SETX
;
2470 else if (strncmp (str
, "fdiv", 4) == 0)
2472 special_case
= SPECIAL_CASE_FDIV
;
2478 if (strncmp (s
, "%asi", 4) != 0)
2484 if (strncmp (s
, "%fprs", 5) != 0)
2490 if (strncmp (s
, "%ccr", 4) != 0)
2496 if (strncmp (s
, "%tbr", 4) != 0)
2502 if (strncmp (s
, "%wim", 4) != 0)
2509 char *push
= input_line_pointer
;
2512 input_line_pointer
= s
;
2514 if (e
.X_op
== O_constant
)
2516 int n
= e
.X_add_number
;
2517 if (n
!= e
.X_add_number
|| (n
& ~0x1ff) != 0)
2518 as_bad (_("OPF immediate operand out of range (0-0x1ff)"));
2520 opcode
|= e
.X_add_number
<< 5;
2523 as_bad (_("non-immediate OPF operand, ignored"));
2524 s
= input_line_pointer
;
2525 input_line_pointer
= push
;
2530 if (strncmp (s
, "%y", 2) != 0)
2538 /* Parse a sparclet cpreg. */
2540 if (! parse_keyword_arg (sparc_encode_sparclet_cpreg
, &s
, &cpreg
))
2542 error_message
= _(": invalid cpreg name");
2545 opcode
|= (*args
== 'U' ? RS1 (cpreg
) : RD (cpreg
));
2550 as_fatal (_("failed sanity check."));
2551 } /* switch on arg code. */
2553 /* Break out of for() loop. */
2555 } /* For each arg that we expect. */
2560 /* Args don't match. */
2561 if (&insn
[1] - sparc_opcodes
< sparc_num_opcodes
2562 && (insn
->name
== insn
[1].name
2563 || !strcmp (insn
->name
, insn
[1].name
)))
2571 as_bad (_("Illegal operands%s"), error_message
);
2572 return special_case
;
2577 /* We have a match. Now see if the architecture is OK. */
2578 int needed_arch_mask
= insn
->architecture
;
2583 ~(SPARC_OPCODE_ARCH_MASK (SPARC_OPCODE_ARCH_V9
) - 1);
2584 if (! needed_arch_mask
)
2586 SPARC_OPCODE_ARCH_MASK (SPARC_OPCODE_ARCH_V9
);
2589 if (needed_arch_mask
2590 & SPARC_OPCODE_SUPPORTED (current_architecture
))
2593 /* Can we bump up the architecture? */
2594 else if (needed_arch_mask
2595 & SPARC_OPCODE_SUPPORTED (max_architecture
))
2597 enum sparc_opcode_arch_val needed_architecture
=
2598 sparc_ffs (SPARC_OPCODE_SUPPORTED (max_architecture
)
2599 & needed_arch_mask
);
2601 assert (needed_architecture
<= SPARC_OPCODE_ARCH_MAX
);
2603 && needed_architecture
> warn_after_architecture
)
2605 as_warn (_("architecture bumped from \"%s\" to \"%s\" on \"%s\""),
2606 sparc_opcode_archs
[current_architecture
].name
,
2607 sparc_opcode_archs
[needed_architecture
].name
,
2609 warn_after_architecture
= needed_architecture
;
2611 current_architecture
= needed_architecture
;
2614 /* ??? This seems to be a bit fragile. What if the next entry in
2615 the opcode table is the one we want and it is supported?
2616 It is possible to arrange the table today so that this can't
2617 happen but what about tomorrow? */
2620 int arch
, printed_one_p
= 0;
2622 char required_archs
[SPARC_OPCODE_ARCH_MAX
* 16];
2624 /* Create a list of the architectures that support the insn. */
2625 needed_arch_mask
&= ~SPARC_OPCODE_SUPPORTED (max_architecture
);
2627 arch
= sparc_ffs (needed_arch_mask
);
2628 while ((1 << arch
) <= needed_arch_mask
)
2630 if ((1 << arch
) & needed_arch_mask
)
2634 strcpy (p
, sparc_opcode_archs
[arch
].name
);
2641 as_bad (_("Architecture mismatch on \"%s\"."), str
);
2642 as_tsktsk (_(" (Requires %s; requested architecture is %s.)"),
2644 sparc_opcode_archs
[max_architecture
].name
);
2645 return special_case
;
2647 } /* If no match. */
2650 } /* Forever looking for a match. */
2652 the_insn
.opcode
= opcode
;
2653 return special_case
;
2656 /* Parse an argument that can be expressed as a keyword.
2657 (eg: #StoreStore or %ccfr).
2658 The result is a boolean indicating success.
2659 If successful, INPUT_POINTER is updated. */
2662 parse_keyword_arg (lookup_fn
, input_pointerP
, valueP
)
2663 int (*lookup_fn
) PARAMS ((const char *));
2664 char **input_pointerP
;
2670 p
= *input_pointerP
;
2671 for (q
= p
+ (*p
== '#' || *p
== '%');
2672 ISALNUM (*q
) || *q
== '_';
2677 value
= (*lookup_fn
) (p
);
2682 *input_pointerP
= q
;
2686 /* Parse an argument that is a constant expression.
2687 The result is a boolean indicating success. */
2690 parse_const_expr_arg (input_pointerP
, valueP
)
2691 char **input_pointerP
;
2694 char *save
= input_line_pointer
;
2697 input_line_pointer
= *input_pointerP
;
2698 /* The next expression may be something other than a constant
2699 (say if we're not processing the right variant of the insn).
2700 Don't call expression unless we're sure it will succeed as it will
2701 signal an error (which we want to defer until later). */
2702 /* FIXME: It might be better to define md_operand and have it recognize
2703 things like %asi, etc. but continuing that route through to the end
2704 is a lot of work. */
2705 if (*input_line_pointer
== '%')
2707 input_line_pointer
= save
;
2711 *input_pointerP
= input_line_pointer
;
2712 input_line_pointer
= save
;
2713 if (exp
.X_op
!= O_constant
)
2715 *valueP
= exp
.X_add_number
;
2719 /* Subroutine of sparc_ip to parse an expression. */
2722 get_expression (str
)
2728 save_in
= input_line_pointer
;
2729 input_line_pointer
= str
;
2730 seg
= expression (&the_insn
.exp
);
2731 if (seg
!= absolute_section
2732 && seg
!= text_section
2733 && seg
!= data_section
2734 && seg
!= bss_section
2735 && seg
!= undefined_section
)
2737 the_insn
.error
= _("bad segment");
2738 expr_end
= input_line_pointer
;
2739 input_line_pointer
= save_in
;
2742 expr_end
= input_line_pointer
;
2743 input_line_pointer
= save_in
;
2747 /* Subroutine of md_assemble to output one insn. */
2750 output_insn (insn
, the_insn
)
2751 const struct sparc_opcode
*insn
;
2752 struct sparc_it
*the_insn
;
2754 char *toP
= frag_more (4);
2756 /* Put out the opcode. */
2757 if (INSN_BIG_ENDIAN
)
2758 number_to_chars_bigendian (toP
, (valueT
) the_insn
->opcode
, 4);
2760 number_to_chars_littleendian (toP
, (valueT
) the_insn
->opcode
, 4);
2762 /* Put out the symbol-dependent stuff. */
2763 if (the_insn
->reloc
!= BFD_RELOC_NONE
)
2765 fixS
*fixP
= fix_new_exp (frag_now
, /* Which frag. */
2766 (toP
- frag_now
->fr_literal
), /* Where. */
2771 /* Turn off overflow checking in fixup_segment. We'll do our
2772 own overflow checking in md_apply_fix3. This is necessary because
2773 the insn size is 4 and fixup_segment will signal an overflow for
2774 large 8 byte quantities. */
2775 fixP
->fx_no_overflow
= 1;
2776 if (the_insn
->reloc
== BFD_RELOC_SPARC_OLO10
)
2777 fixP
->tc_fix_data
= the_insn
->exp2
.X_add_number
;
2781 last_opcode
= the_insn
->opcode
;
2784 dwarf2_emit_insn (4);
2788 /* This is identical to the md_atof in m68k.c. I think this is right,
2791 Turn a string in input_line_pointer into a floating point constant
2792 of type TYPE, and store the appropriate bytes in *LITP. The number
2793 of LITTLENUMS emitted is stored in *SIZEP. An error message is
2794 returned, or NULL on OK. */
2796 /* Equal to MAX_PRECISION in atof-ieee.c. */
2797 #define MAX_LITTLENUMS 6
2800 md_atof (type
, litP
, sizeP
)
2806 LITTLENUM_TYPE words
[MAX_LITTLENUMS
];
2837 return _("Bad call to MD_ATOF()");
2840 t
= atof_ieee (input_line_pointer
, type
, words
);
2842 input_line_pointer
= t
;
2843 *sizeP
= prec
* sizeof (LITTLENUM_TYPE
);
2845 if (target_big_endian
)
2847 for (i
= 0; i
< prec
; i
++)
2849 md_number_to_chars (litP
, (valueT
) words
[i
],
2850 sizeof (LITTLENUM_TYPE
));
2851 litP
+= sizeof (LITTLENUM_TYPE
);
2856 for (i
= prec
- 1; i
>= 0; i
--)
2858 md_number_to_chars (litP
, (valueT
) words
[i
],
2859 sizeof (LITTLENUM_TYPE
));
2860 litP
+= sizeof (LITTLENUM_TYPE
);
2867 /* Write a value out to the object file, using the appropriate
2871 md_number_to_chars (buf
, val
, n
)
2876 if (target_big_endian
)
2877 number_to_chars_bigendian (buf
, val
, n
);
2878 else if (target_little_endian_data
2879 && ((n
== 4 || n
== 2) && ~now_seg
->flags
& SEC_ALLOC
))
2880 /* Output debug words, which are not in allocated sections, as big
2882 number_to_chars_bigendian (buf
, val
, n
);
2883 else if (target_little_endian_data
|| ! target_big_endian
)
2884 number_to_chars_littleendian (buf
, val
, n
);
2887 /* Apply a fixS to the frags, now that we know the value it ought to
2891 md_apply_fix3 (fixP
, valP
, segment
)
2896 char *buf
= fixP
->fx_where
+ fixP
->fx_frag
->fr_literal
;
2897 offsetT val
= * (offsetT
*) valP
;
2900 assert (fixP
->fx_r_type
< BFD_RELOC_UNUSED
);
2902 fixP
->fx_addnumber
= val
; /* Remember value for emit_reloc. */
2905 /* FIXME: SPARC ELF relocations don't use an addend in the data
2906 field itself. This whole approach should be somehow combined
2907 with the calls to bfd_install_relocation. Also, the value passed
2908 in by fixup_segment includes the value of a defined symbol. We
2909 don't want to include the value of an externally visible symbol. */
2910 if (fixP
->fx_addsy
!= NULL
)
2912 symbolS
* sym
= fixP
->fx_addsy
;
2913 segT seg
= S_GET_SEGMENT (sym
);
2915 if (symbol_used_in_reloc_p (sym
)
2916 && (S_IS_EXTERNAL (sym
)
2918 || (seg
->flags
& SEC_MERGE
)
2919 || (seg
->flags
& SEC_THREAD_LOCAL
)
2920 || (sparc_pic_code
&& ! fixP
->fx_pcrel
)
2922 && (((bfd_get_section_flags (stdoutput
, seg
) & SEC_LINK_ONCE
) != 0)
2923 || (strncmp (segment_name (seg
),
2925 sizeof ".gnu.linkonce" - 1) == 0))))
2926 && seg
!= absolute_section
2927 && seg
!= undefined_section
2928 && ! bfd_is_com_section (seg
))
2929 fixP
->fx_addnumber
-= S_GET_VALUE (sym
);
2935 /* This is a hack. There should be a better way to
2936 handle this. Probably in terms of howto fields, once
2937 we can look at these fixups in terms of howtos. */
2938 if (fixP
->fx_r_type
== BFD_RELOC_32_PCREL_S2
&& fixP
->fx_addsy
)
2939 val
+= fixP
->fx_where
+ fixP
->fx_frag
->fr_address
;
2942 /* FIXME: More ridiculous gas reloc hacking. If we are going to
2943 generate a reloc, then we just want to let the reloc addend set
2944 the value. We do not want to also stuff the addend into the
2945 object file. Including the addend in the object file works when
2946 doing a static link, because the linker will ignore the object
2947 file contents. However, the dynamic linker does not ignore the
2948 object file contents. */
2949 if (fixP
->fx_addsy
!= NULL
2950 && fixP
->fx_r_type
!= BFD_RELOC_32_PCREL_S2
)
2953 /* When generating PIC code, we do not want an addend for a reloc
2954 against a local symbol. We adjust fx_addnumber to cancel out the
2955 value already included in val, and to also cancel out the
2956 adjustment which bfd_install_relocation will create. */
2958 && fixP
->fx_r_type
!= BFD_RELOC_32_PCREL_S2
2959 && fixP
->fx_addsy
!= NULL
2960 && ! S_IS_COMMON (fixP
->fx_addsy
)
2961 && symbol_section_p (fixP
->fx_addsy
))
2962 fixP
->fx_addnumber
-= 2 * S_GET_VALUE (fixP
->fx_addsy
);
2964 /* When generating PIC code, we need to fiddle to get
2965 bfd_install_relocation to do the right thing for a PC relative
2966 reloc against a local symbol which we are going to keep. */
2968 && fixP
->fx_r_type
== BFD_RELOC_32_PCREL_S2
2969 && fixP
->fx_addsy
!= NULL
2970 && (S_IS_EXTERNAL (fixP
->fx_addsy
)
2971 || S_IS_WEAK (fixP
->fx_addsy
))
2972 && S_IS_DEFINED (fixP
->fx_addsy
)
2973 && ! S_IS_COMMON (fixP
->fx_addsy
))
2976 fixP
->fx_addnumber
-= 2 * S_GET_VALUE (fixP
->fx_addsy
);
2980 /* If this is a data relocation, just output VAL. */
2982 if (fixP
->fx_r_type
== BFD_RELOC_16
2983 || fixP
->fx_r_type
== BFD_RELOC_SPARC_UA16
)
2985 md_number_to_chars (buf
, val
, 2);
2987 else if (fixP
->fx_r_type
== BFD_RELOC_32
2988 || fixP
->fx_r_type
== BFD_RELOC_SPARC_UA32
2989 || fixP
->fx_r_type
== BFD_RELOC_SPARC_REV32
)
2991 md_number_to_chars (buf
, val
, 4);
2993 else if (fixP
->fx_r_type
== BFD_RELOC_64
2994 || fixP
->fx_r_type
== BFD_RELOC_SPARC_UA64
)
2996 md_number_to_chars (buf
, val
, 8);
2998 else if (fixP
->fx_r_type
== BFD_RELOC_VTABLE_INHERIT
2999 || fixP
->fx_r_type
== BFD_RELOC_VTABLE_ENTRY
)
3006 /* It's a relocation against an instruction. */
3008 if (INSN_BIG_ENDIAN
)
3009 insn
= bfd_getb32 ((unsigned char *) buf
);
3011 insn
= bfd_getl32 ((unsigned char *) buf
);
3013 switch (fixP
->fx_r_type
)
3015 case BFD_RELOC_32_PCREL_S2
:
3017 /* FIXME: This increment-by-one deserves a comment of why it's
3019 if (! sparc_pic_code
3020 || fixP
->fx_addsy
== NULL
3021 || symbol_section_p (fixP
->fx_addsy
))
3024 insn
|= val
& 0x3fffffff;
3026 /* See if we have a delay slot. */
3027 if (sparc_relax
&& fixP
->fx_where
+ 8 <= fixP
->fx_frag
->fr_fix
)
3031 #define XCC (2 << 20)
3032 #define COND(x) (((x)&0xf)<<25)
3033 #define CONDA COND(0x8)
3034 #define INSN_BPA (F2(0,1) | CONDA | BPRED | XCC)
3035 #define INSN_BA (F2(0,2) | CONDA)
3036 #define INSN_OR F3(2, 0x2, 0)
3037 #define INSN_NOP F2(0,4)
3041 /* If the instruction is a call with either:
3043 arithmetic instruction with rd == %o7
3044 where rs1 != %o7 and rs2 if it is register != %o7
3045 then we can optimize if the call destination is near
3046 by changing the call into a branch always. */
3047 if (INSN_BIG_ENDIAN
)
3048 delay
= bfd_getb32 ((unsigned char *) buf
+ 4);
3050 delay
= bfd_getl32 ((unsigned char *) buf
+ 4);
3051 if ((insn
& OP (~0)) != OP (1) || (delay
& OP (~0)) != OP (2))
3053 if ((delay
& OP3 (~0)) != OP3 (0x3d) /* Restore. */
3054 && ((delay
& OP3 (0x28)) != 0 /* Arithmetic. */
3055 || ((delay
& RD (~0)) != RD (O7
))))
3057 if ((delay
& RS1 (~0)) == RS1 (O7
)
3058 || ((delay
& F3I (~0)) == 0
3059 && (delay
& RS2 (~0)) == RS2 (O7
)))
3061 /* Ensure the branch will fit into simm22. */
3062 if ((val
& 0x3fe00000)
3063 && (val
& 0x3fe00000) != 0x3fe00000)
3065 /* Check if the arch is v9 and branch will fit
3067 if (((val
& 0x3c0000) == 0
3068 || (val
& 0x3c0000) == 0x3c0000)
3069 && (sparc_arch_size
== 64
3070 || current_architecture
>= SPARC_OPCODE_ARCH_V9
))
3072 insn
= INSN_BPA
| (val
& 0x7ffff);
3075 insn
= INSN_BA
| (val
& 0x3fffff);
3076 if (fixP
->fx_where
>= 4
3077 && ((delay
& (0xffffffff ^ RS1 (~0)))
3078 == (INSN_OR
| RD (O7
) | RS2 (G0
))))
3083 if (INSN_BIG_ENDIAN
)
3084 setter
= bfd_getb32 ((unsigned char *) buf
- 4);
3086 setter
= bfd_getl32 ((unsigned char *) buf
- 4);
3087 if ((setter
& (0xffffffff ^ RD (~0)))
3088 != (INSN_OR
| RS1 (O7
) | RS2 (G0
)))
3095 If call foo was replaced with ba, replace
3096 or %rN, %g0, %o7 with nop. */
3097 reg
= (delay
& RS1 (~0)) >> 14;
3098 if (reg
!= ((setter
& RD (~0)) >> 25)
3099 || reg
== G0
|| reg
== O7
)
3102 if (INSN_BIG_ENDIAN
)
3103 bfd_putb32 (INSN_NOP
, (unsigned char *) buf
+ 4);
3105 bfd_putl32 (INSN_NOP
, (unsigned char *) buf
+ 4);
3110 case BFD_RELOC_SPARC_11
:
3111 if (! in_signed_range (val
, 0x7ff))
3112 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
3113 _("relocation overflow"));
3114 insn
|= val
& 0x7ff;
3117 case BFD_RELOC_SPARC_10
:
3118 if (! in_signed_range (val
, 0x3ff))
3119 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
3120 _("relocation overflow"));
3121 insn
|= val
& 0x3ff;
3124 case BFD_RELOC_SPARC_7
:
3125 if (! in_bitfield_range (val
, 0x7f))
3126 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
3127 _("relocation overflow"));
3131 case BFD_RELOC_SPARC_6
:
3132 if (! in_bitfield_range (val
, 0x3f))
3133 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
3134 _("relocation overflow"));
3138 case BFD_RELOC_SPARC_5
:
3139 if (! in_bitfield_range (val
, 0x1f))
3140 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
3141 _("relocation overflow"));
3145 case BFD_RELOC_SPARC_WDISP16
:
3146 /* FIXME: simplify. */
3147 if (((val
> 0) && (val
& ~0x3fffc))
3148 || ((val
< 0) && (~(val
- 1) & ~0x3fffc)))
3149 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
3150 _("relocation overflow"));
3151 /* FIXME: The +1 deserves a comment. */
3152 val
= (val
>> 2) + 1;
3153 insn
|= ((val
& 0xc000) << 6) | (val
& 0x3fff);
3156 case BFD_RELOC_SPARC_WDISP19
:
3157 /* FIXME: simplify. */
3158 if (((val
> 0) && (val
& ~0x1ffffc))
3159 || ((val
< 0) && (~(val
- 1) & ~0x1ffffc)))
3160 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
3161 _("relocation overflow"));
3162 /* FIXME: The +1 deserves a comment. */
3163 val
= (val
>> 2) + 1;
3164 insn
|= val
& 0x7ffff;
3167 case BFD_RELOC_SPARC_HH22
:
3168 val
= BSR (val
, 32);
3171 case BFD_RELOC_SPARC_LM22
:
3172 case BFD_RELOC_HI22
:
3173 if (!fixP
->fx_addsy
)
3174 insn
|= (val
>> 10) & 0x3fffff;
3176 /* FIXME: Need comment explaining why we do this. */
3180 case BFD_RELOC_SPARC22
:
3181 if (val
& ~0x003fffff)
3182 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
3183 _("relocation overflow"));
3184 insn
|= (val
& 0x3fffff);
3187 case BFD_RELOC_SPARC_HM10
:
3188 val
= BSR (val
, 32);
3191 case BFD_RELOC_LO10
:
3192 if (!fixP
->fx_addsy
)
3193 insn
|= val
& 0x3ff;
3195 /* FIXME: Need comment explaining why we do this. */
3199 case BFD_RELOC_SPARC_OLO10
:
3201 val
+= fixP
->tc_fix_data
;
3204 case BFD_RELOC_SPARC13
:
3205 if (! in_signed_range (val
, 0x1fff))
3206 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
3207 _("relocation overflow"));
3208 insn
|= val
& 0x1fff;
3211 case BFD_RELOC_SPARC_WDISP22
:
3212 val
= (val
>> 2) + 1;
3214 case BFD_RELOC_SPARC_BASE22
:
3215 insn
|= val
& 0x3fffff;
3218 case BFD_RELOC_SPARC_H44
:
3219 if (!fixP
->fx_addsy
)
3223 insn
|= tval
& 0x3fffff;
3227 case BFD_RELOC_SPARC_M44
:
3228 if (!fixP
->fx_addsy
)
3229 insn
|= (val
>> 12) & 0x3ff;
3232 case BFD_RELOC_SPARC_L44
:
3233 if (!fixP
->fx_addsy
)
3234 insn
|= val
& 0xfff;
3237 case BFD_RELOC_SPARC_HIX22
:
3238 if (!fixP
->fx_addsy
)
3240 val
^= ~(offsetT
) 0;
3241 insn
|= (val
>> 10) & 0x3fffff;
3245 case BFD_RELOC_SPARC_LOX10
:
3246 if (!fixP
->fx_addsy
)
3247 insn
|= 0x1c00 | (val
& 0x3ff);
3250 case BFD_RELOC_NONE
:
3252 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
3253 _("bad or unhandled relocation type: 0x%02x"),
3258 if (INSN_BIG_ENDIAN
)
3259 bfd_putb32 (insn
, (unsigned char *) buf
);
3261 bfd_putl32 (insn
, (unsigned char *) buf
);
3264 /* Are we finished with this relocation now? */
3265 if (fixP
->fx_addsy
== 0 && !fixP
->fx_pcrel
)
3269 /* Translate internal representation of relocation info to BFD target
3273 tc_gen_reloc (section
, fixp
)
3277 static arelent
*relocs
[3];
3279 bfd_reloc_code_real_type code
;
3281 relocs
[0] = reloc
= (arelent
*) xmalloc (sizeof (arelent
));
3284 reloc
->sym_ptr_ptr
= (asymbol
**) xmalloc (sizeof (asymbol
*));
3285 *reloc
->sym_ptr_ptr
= symbol_get_bfdsym (fixp
->fx_addsy
);
3286 reloc
->address
= fixp
->fx_frag
->fr_address
+ fixp
->fx_where
;
3288 switch (fixp
->fx_r_type
)
3292 case BFD_RELOC_HI22
:
3293 case BFD_RELOC_LO10
:
3294 case BFD_RELOC_32_PCREL_S2
:
3295 case BFD_RELOC_SPARC13
:
3296 case BFD_RELOC_SPARC22
:
3297 case BFD_RELOC_SPARC_BASE13
:
3298 case BFD_RELOC_SPARC_WDISP16
:
3299 case BFD_RELOC_SPARC_WDISP19
:
3300 case BFD_RELOC_SPARC_WDISP22
:
3302 case BFD_RELOC_SPARC_5
:
3303 case BFD_RELOC_SPARC_6
:
3304 case BFD_RELOC_SPARC_7
:
3305 case BFD_RELOC_SPARC_10
:
3306 case BFD_RELOC_SPARC_11
:
3307 case BFD_RELOC_SPARC_HH22
:
3308 case BFD_RELOC_SPARC_HM10
:
3309 case BFD_RELOC_SPARC_LM22
:
3310 case BFD_RELOC_SPARC_PC_HH22
:
3311 case BFD_RELOC_SPARC_PC_HM10
:
3312 case BFD_RELOC_SPARC_PC_LM22
:
3313 case BFD_RELOC_SPARC_H44
:
3314 case BFD_RELOC_SPARC_M44
:
3315 case BFD_RELOC_SPARC_L44
:
3316 case BFD_RELOC_SPARC_HIX22
:
3317 case BFD_RELOC_SPARC_LOX10
:
3318 case BFD_RELOC_SPARC_REV32
:
3319 case BFD_RELOC_SPARC_OLO10
:
3320 case BFD_RELOC_SPARC_UA16
:
3321 case BFD_RELOC_SPARC_UA32
:
3322 case BFD_RELOC_SPARC_UA64
:
3323 case BFD_RELOC_8_PCREL
:
3324 case BFD_RELOC_16_PCREL
:
3325 case BFD_RELOC_32_PCREL
:
3326 case BFD_RELOC_64_PCREL
:
3327 case BFD_RELOC_SPARC_PLT32
:
3328 case BFD_RELOC_SPARC_PLT64
:
3329 case BFD_RELOC_VTABLE_ENTRY
:
3330 case BFD_RELOC_VTABLE_INHERIT
:
3331 code
= fixp
->fx_r_type
;
3338 #if defined (OBJ_ELF) || defined (OBJ_AOUT)
3339 /* If we are generating PIC code, we need to generate a different
3343 #define GOT_NAME "_GLOBAL_OFFSET_TABLE_"
3345 #define GOT_NAME "__GLOBAL_OFFSET_TABLE_"
3348 /* This code must be parallel to the OBJ_ELF tc_fix_adjustable. */
3354 case BFD_RELOC_32_PCREL_S2
:
3355 if (! S_IS_DEFINED (fixp
->fx_addsy
)
3356 || S_IS_COMMON (fixp
->fx_addsy
)
3357 || S_IS_EXTERNAL (fixp
->fx_addsy
)
3358 || S_IS_WEAK (fixp
->fx_addsy
))
3359 code
= BFD_RELOC_SPARC_WPLT30
;
3361 case BFD_RELOC_HI22
:
3362 if (fixp
->fx_addsy
!= NULL
3363 && strcmp (S_GET_NAME (fixp
->fx_addsy
), GOT_NAME
) == 0)
3364 code
= BFD_RELOC_SPARC_PC22
;
3366 code
= BFD_RELOC_SPARC_GOT22
;
3368 case BFD_RELOC_LO10
:
3369 if (fixp
->fx_addsy
!= NULL
3370 && strcmp (S_GET_NAME (fixp
->fx_addsy
), GOT_NAME
) == 0)
3371 code
= BFD_RELOC_SPARC_PC10
;
3373 code
= BFD_RELOC_SPARC_GOT10
;
3375 case BFD_RELOC_SPARC13
:
3376 code
= BFD_RELOC_SPARC_GOT13
;
3382 #endif /* defined (OBJ_ELF) || defined (OBJ_AOUT) */
3384 if (code
== BFD_RELOC_SPARC_OLO10
)
3385 reloc
->howto
= bfd_reloc_type_lookup (stdoutput
, BFD_RELOC_LO10
);
3387 reloc
->howto
= bfd_reloc_type_lookup (stdoutput
, code
);
3388 if (reloc
->howto
== 0)
3390 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
3391 _("internal error: can't export reloc type %d (`%s')"),
3392 fixp
->fx_r_type
, bfd_get_reloc_code_name (code
));
3398 /* @@ Why fx_addnumber sometimes and fx_offset other times? */
3401 if (reloc
->howto
->pc_relative
== 0
3402 || code
== BFD_RELOC_SPARC_PC10
3403 || code
== BFD_RELOC_SPARC_PC22
)
3404 reloc
->addend
= fixp
->fx_addnumber
;
3405 else if (sparc_pic_code
3406 && fixp
->fx_r_type
== BFD_RELOC_32_PCREL_S2
3407 && fixp
->fx_addsy
!= NULL
3408 && (S_IS_EXTERNAL (fixp
->fx_addsy
)
3409 || S_IS_WEAK (fixp
->fx_addsy
))
3410 && S_IS_DEFINED (fixp
->fx_addsy
)
3411 && ! S_IS_COMMON (fixp
->fx_addsy
))
3412 reloc
->addend
= fixp
->fx_addnumber
;
3414 reloc
->addend
= fixp
->fx_offset
- reloc
->address
;
3416 #else /* elf or coff */
3418 if (code
!= BFD_RELOC_32_PCREL_S2
3419 && code
!= BFD_RELOC_SPARC_WDISP22
3420 && code
!= BFD_RELOC_SPARC_WDISP16
3421 && code
!= BFD_RELOC_SPARC_WDISP19
3422 && code
!= BFD_RELOC_SPARC_WPLT30
)
3423 reloc
->addend
= fixp
->fx_addnumber
;
3424 else if (symbol_section_p (fixp
->fx_addsy
))
3425 reloc
->addend
= (section
->vma
3426 + fixp
->fx_addnumber
3427 + md_pcrel_from (fixp
));
3429 reloc
->addend
= fixp
->fx_offset
;
3432 /* We expand R_SPARC_OLO10 to R_SPARC_LO10 and R_SPARC_13
3433 on the same location. */
3434 if (code
== BFD_RELOC_SPARC_OLO10
)
3436 relocs
[1] = reloc
= (arelent
*) xmalloc (sizeof (arelent
));
3439 reloc
->sym_ptr_ptr
= (asymbol
**) xmalloc (sizeof (asymbol
*));
3441 = symbol_get_bfdsym (section_symbol (absolute_section
));
3442 reloc
->address
= fixp
->fx_frag
->fr_address
+ fixp
->fx_where
;
3443 reloc
->howto
= bfd_reloc_type_lookup (stdoutput
, BFD_RELOC_SPARC13
);
3444 reloc
->addend
= fixp
->tc_fix_data
;
3450 /* We have no need to default values of symbols. */
3453 md_undefined_symbol (name
)
3454 char *name ATTRIBUTE_UNUSED
;
3459 /* Round up a section size to the appropriate boundary. */
3462 md_section_align (segment
, size
)
3463 segT segment ATTRIBUTE_UNUSED
;
3467 /* This is not right for ELF; a.out wants it, and COFF will force
3468 the alignment anyways. */
3469 valueT align
= ((valueT
) 1
3470 << (valueT
) bfd_get_section_alignment (stdoutput
, segment
));
3473 /* Turn alignment value into a mask. */
3475 newsize
= (size
+ align
) & ~align
;
3482 /* Exactly what point is a PC-relative offset relative TO?
3483 On the sparc, they're relative to the address of the offset, plus
3484 its size. This gets us to the following instruction.
3485 (??? Is this right? FIXME-SOON) */
3487 md_pcrel_from (fixP
)
3492 ret
= fixP
->fx_where
+ fixP
->fx_frag
->fr_address
;
3493 if (! sparc_pic_code
3494 || fixP
->fx_addsy
== NULL
3495 || symbol_section_p (fixP
->fx_addsy
))
3496 ret
+= fixP
->fx_size
;
3500 /* Return log2 (VALUE), or -1 if VALUE is not an exact positive power
3512 for (shift
= 0; (value
& 1) == 0; value
>>= 1)
3515 return (value
== 1) ? shift
: -1;
3518 /* Sort of like s_lcomm. */
3521 static int max_alignment
= 15;
3526 int ignore ATTRIBUTE_UNUSED
;
3536 name
= input_line_pointer
;
3537 c
= get_symbol_end ();
3538 p
= input_line_pointer
;
3542 if (*input_line_pointer
!= ',')
3544 as_bad (_("Expected comma after name"));
3545 ignore_rest_of_line ();
3549 ++input_line_pointer
;
3551 if ((size
= get_absolute_expression ()) < 0)
3553 as_bad (_("BSS length (%d.) <0! Ignored."), size
);
3554 ignore_rest_of_line ();
3559 symbolP
= symbol_find_or_make (name
);
3562 if (strncmp (input_line_pointer
, ",\"bss\"", 6) != 0
3563 && strncmp (input_line_pointer
, ",\".bss\"", 7) != 0)
3565 as_bad (_("bad .reserve segment -- expected BSS segment"));
3569 if (input_line_pointer
[2] == '.')
3570 input_line_pointer
+= 7;
3572 input_line_pointer
+= 6;
3575 if (*input_line_pointer
== ',')
3577 ++input_line_pointer
;
3580 if (*input_line_pointer
== '\n')
3582 as_bad (_("missing alignment"));
3583 ignore_rest_of_line ();
3587 align
= (int) get_absolute_expression ();
3590 if (align
> max_alignment
)
3592 align
= max_alignment
;
3593 as_warn (_("alignment too large; assuming %d"), align
);
3599 as_bad (_("negative alignment"));
3600 ignore_rest_of_line ();
3606 temp
= log2 (align
);
3609 as_bad (_("alignment not a power of 2"));
3610 ignore_rest_of_line ();
3617 record_alignment (bss_section
, align
);
3622 if (!S_IS_DEFINED (symbolP
)
3624 && S_GET_OTHER (symbolP
) == 0
3625 && S_GET_DESC (symbolP
) == 0
3632 segT current_seg
= now_seg
;
3633 subsegT current_subseg
= now_subseg
;
3635 /* Switch to bss. */
3636 subseg_set (bss_section
, 1);
3640 frag_align (align
, 0, 0);
3642 /* Detach from old frag. */
3643 if (S_GET_SEGMENT (symbolP
) == bss_section
)
3644 symbol_get_frag (symbolP
)->fr_symbol
= NULL
;
3646 symbol_set_frag (symbolP
, frag_now
);
3647 pfrag
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, symbolP
,
3648 (offsetT
) size
, (char *) 0);
3651 S_SET_SEGMENT (symbolP
, bss_section
);
3653 subseg_set (current_seg
, current_subseg
);
3656 S_SET_SIZE (symbolP
, size
);
3662 as_warn ("Ignoring attempt to re-define symbol %s",
3663 S_GET_NAME (symbolP
));
3664 } /* if not redefining. */
3666 demand_empty_rest_of_line ();
3671 int ignore ATTRIBUTE_UNUSED
;
3679 name
= input_line_pointer
;
3680 c
= get_symbol_end ();
3681 /* Just after name is now '\0'. */
3682 p
= input_line_pointer
;
3685 if (*input_line_pointer
!= ',')
3687 as_bad (_("Expected comma after symbol-name"));
3688 ignore_rest_of_line ();
3693 input_line_pointer
++;
3695 if ((temp
= get_absolute_expression ()) < 0)
3697 as_bad (_(".COMMon length (%d.) <0! Ignored."), temp
);
3698 ignore_rest_of_line ();
3703 symbolP
= symbol_find_or_make (name
);
3705 if (S_IS_DEFINED (symbolP
) && ! S_IS_COMMON (symbolP
))
3707 as_bad (_("Ignoring attempt to re-define symbol"));
3708 ignore_rest_of_line ();
3711 if (S_GET_VALUE (symbolP
) != 0)
3713 if (S_GET_VALUE (symbolP
) != (valueT
) size
)
3715 as_warn (_("Length of .comm \"%s\" is already %ld. Not changed to %d."),
3716 S_GET_NAME (symbolP
), (long) S_GET_VALUE (symbolP
), size
);
3722 S_SET_VALUE (symbolP
, (valueT
) size
);
3723 S_SET_EXTERNAL (symbolP
);
3726 know (symbol_get_frag (symbolP
) == &zero_address_frag
);
3727 if (*input_line_pointer
!= ',')
3729 as_bad (_("Expected comma after common length"));
3730 ignore_rest_of_line ();
3733 input_line_pointer
++;
3735 if (*input_line_pointer
!= '"')
3737 temp
= get_absolute_expression ();
3740 if (temp
> max_alignment
)
3742 temp
= max_alignment
;
3743 as_warn (_("alignment too large; assuming %d"), temp
);
3749 as_bad (_("negative alignment"));
3750 ignore_rest_of_line ();
3755 if (symbol_get_obj (symbolP
)->local
)
3763 old_subsec
= now_subseg
;
3768 align
= log2 (temp
);
3772 as_bad (_("alignment not a power of 2"));
3773 ignore_rest_of_line ();
3777 record_alignment (bss_section
, align
);
3778 subseg_set (bss_section
, 0);
3780 frag_align (align
, 0, 0);
3781 if (S_GET_SEGMENT (symbolP
) == bss_section
)
3782 symbol_get_frag (symbolP
)->fr_symbol
= 0;
3783 symbol_set_frag (symbolP
, frag_now
);
3784 p
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, symbolP
,
3785 (offsetT
) size
, (char *) 0);
3787 S_SET_SEGMENT (symbolP
, bss_section
);
3788 S_CLEAR_EXTERNAL (symbolP
);
3789 S_SET_SIZE (symbolP
, size
);
3790 subseg_set (old_sec
, old_subsec
);
3793 #endif /* OBJ_ELF */
3796 S_SET_VALUE (symbolP
, (valueT
) size
);
3798 S_SET_ALIGN (symbolP
, temp
);
3799 S_SET_SIZE (symbolP
, size
);
3801 S_SET_EXTERNAL (symbolP
);
3802 S_SET_SEGMENT (symbolP
, bfd_com_section_ptr
);
3807 input_line_pointer
++;
3808 /* @@ Some use the dot, some don't. Can we get some consistency?? */
3809 if (*input_line_pointer
== '.')
3810 input_line_pointer
++;
3811 /* @@ Some say data, some say bss. */
3812 if (strncmp (input_line_pointer
, "bss\"", 4)
3813 && strncmp (input_line_pointer
, "data\"", 5))
3815 while (*--input_line_pointer
!= '"')
3817 input_line_pointer
--;
3818 goto bad_common_segment
;
3820 while (*input_line_pointer
++ != '"')
3822 goto allocate_common
;
3825 #ifdef BFD_ASSEMBLER
3826 symbol_get_bfdsym (symbolP
)->flags
|= BSF_OBJECT
;
3829 demand_empty_rest_of_line ();
3834 p
= input_line_pointer
;
3835 while (*p
&& *p
!= '\n')
3839 as_bad (_("bad .common segment %s"), input_line_pointer
+ 1);
3841 input_line_pointer
= p
;
3842 ignore_rest_of_line ();
3847 /* Handle the .empty pseudo-op. This supresses the warnings about
3848 invalid delay slot usage. */
3852 int ignore ATTRIBUTE_UNUSED
;
3854 /* The easy way to implement is to just forget about the last
3861 int ignore ATTRIBUTE_UNUSED
;
3864 if (strncmp (input_line_pointer
, "\"text\"", 6) == 0)
3866 input_line_pointer
+= 6;
3870 if (strncmp (input_line_pointer
, "\"data\"", 6) == 0)
3872 input_line_pointer
+= 6;
3876 if (strncmp (input_line_pointer
, "\"data1\"", 7) == 0)
3878 input_line_pointer
+= 7;
3882 if (strncmp (input_line_pointer
, "\"bss\"", 5) == 0)
3884 input_line_pointer
+= 5;
3885 /* We only support 2 segments -- text and data -- for now, so
3886 things in the "bss segment" will have to go into data for now.
3887 You can still allocate SEG_BSS stuff with .lcomm or .reserve. */
3888 subseg_set (data_section
, 255); /* FIXME-SOMEDAY. */
3891 as_bad (_("Unknown segment type"));
3892 demand_empty_rest_of_line ();
3898 subseg_set (data_section
, 1);
3899 demand_empty_rest_of_line ();
3904 int ignore ATTRIBUTE_UNUSED
;
3906 while (!is_end_of_line
[(unsigned char) *input_line_pointer
])
3908 ++input_line_pointer
;
3910 ++input_line_pointer
;
3913 /* This static variable is set by s_uacons to tell sparc_cons_align
3914 that the expession does not need to be aligned. */
3916 static int sparc_no_align_cons
= 0;
3918 /* This static variable is set by sparc_cons to emit requested types
3919 of relocations in cons_fix_new_sparc. */
3921 static const char *sparc_cons_special_reloc
;
3923 /* This handles the unaligned space allocation pseudo-ops, such as
3924 .uaword. .uaword is just like .word, but the value does not need
3931 /* Tell sparc_cons_align not to align this value. */
3932 sparc_no_align_cons
= 1;
3934 sparc_no_align_cons
= 0;
3937 /* This handles the native word allocation pseudo-op .nword.
3938 For sparc_arch_size 32 it is equivalent to .word, for
3939 sparc_arch_size 64 it is equivalent to .xword. */
3943 int bytes ATTRIBUTE_UNUSED
;
3945 cons (sparc_arch_size
== 32 ? 4 : 8);
3949 /* Handle the SPARC ELF .register pseudo-op. This sets the binding of a
3953 .register %g[2367],{#scratch|symbolname|#ignore}
3958 int ignore ATTRIBUTE_UNUSED
;
3963 const char *regname
;
3965 if (input_line_pointer
[0] != '%'
3966 || input_line_pointer
[1] != 'g'
3967 || ((input_line_pointer
[2] & ~1) != '2'
3968 && (input_line_pointer
[2] & ~1) != '6')
3969 || input_line_pointer
[3] != ',')
3970 as_bad (_("register syntax is .register %%g[2367],{#scratch|symbolname|#ignore}"));
3971 reg
= input_line_pointer
[2] - '0';
3972 input_line_pointer
+= 4;
3974 if (*input_line_pointer
== '#')
3976 ++input_line_pointer
;
3977 regname
= input_line_pointer
;
3978 c
= get_symbol_end ();
3979 if (strcmp (regname
, "scratch") && strcmp (regname
, "ignore"))
3980 as_bad (_("register syntax is .register %%g[2367],{#scratch|symbolname|#ignore}"));
3981 if (regname
[0] == 'i')
3988 regname
= input_line_pointer
;
3989 c
= get_symbol_end ();
3991 if (sparc_arch_size
== 64)
3995 if ((regname
&& globals
[reg
] != (symbolS
*) 1
3996 && strcmp (S_GET_NAME (globals
[reg
]), regname
))
3997 || ((regname
!= NULL
) ^ (globals
[reg
] != (symbolS
*) 1)))
3998 as_bad (_("redefinition of global register"));
4002 if (regname
== NULL
)
4003 globals
[reg
] = (symbolS
*) 1;
4008 if (symbol_find (regname
))
4009 as_bad (_("Register symbol %s already defined."),
4012 globals
[reg
] = symbol_make (regname
);
4013 flags
= symbol_get_bfdsym (globals
[reg
])->flags
;
4015 flags
= flags
& ~(BSF_GLOBAL
|BSF_LOCAL
|BSF_WEAK
);
4016 if (! (flags
& (BSF_GLOBAL
|BSF_LOCAL
|BSF_WEAK
)))
4017 flags
|= BSF_GLOBAL
;
4018 symbol_get_bfdsym (globals
[reg
])->flags
= flags
;
4019 S_SET_VALUE (globals
[reg
], (valueT
) reg
);
4020 S_SET_ALIGN (globals
[reg
], reg
);
4021 S_SET_SIZE (globals
[reg
], 0);
4022 /* Although we actually want undefined_section here,
4023 we have to use absolute_section, because otherwise
4024 generic as code will make it a COM section.
4025 We fix this up in sparc_adjust_symtab. */
4026 S_SET_SEGMENT (globals
[reg
], absolute_section
);
4027 S_SET_OTHER (globals
[reg
], 0);
4028 elf_symbol (symbol_get_bfdsym (globals
[reg
]))
4029 ->internal_elf_sym
.st_info
=
4030 ELF_ST_INFO(STB_GLOBAL
, STT_REGISTER
);
4031 elf_symbol (symbol_get_bfdsym (globals
[reg
]))
4032 ->internal_elf_sym
.st_shndx
= SHN_UNDEF
;
4037 *input_line_pointer
= c
;
4039 demand_empty_rest_of_line ();
4042 /* Adjust the symbol table. We set undefined sections for STT_REGISTER
4043 symbols which need it. */
4046 sparc_adjust_symtab ()
4050 for (sym
= symbol_rootP
; sym
!= NULL
; sym
= symbol_next (sym
))
4052 if (ELF_ST_TYPE (elf_symbol (symbol_get_bfdsym (sym
))
4053 ->internal_elf_sym
.st_info
) != STT_REGISTER
)
4056 if (ELF_ST_TYPE (elf_symbol (symbol_get_bfdsym (sym
))
4057 ->internal_elf_sym
.st_shndx
!= SHN_UNDEF
))
4060 S_SET_SEGMENT (sym
, undefined_section
);
4065 /* If the --enforce-aligned-data option is used, we require .word,
4066 et. al., to be aligned correctly. We do it by setting up an
4067 rs_align_code frag, and checking in HANDLE_ALIGN to make sure that
4068 no unexpected alignment was introduced.
4070 The SunOS and Solaris native assemblers enforce aligned data by
4071 default. We don't want to do that, because gcc can deliberately
4072 generate misaligned data if the packed attribute is used. Instead,
4073 we permit misaligned data by default, and permit the user to set an
4074 option to check for it. */
4077 sparc_cons_align (nbytes
)
4083 /* Only do this if we are enforcing aligned data. */
4084 if (! enforce_aligned_data
)
4087 /* Don't align if this is an unaligned pseudo-op. */
4088 if (sparc_no_align_cons
)
4091 nalign
= log2 (nbytes
);
4095 assert (nalign
> 0);
4097 if (now_seg
== absolute_section
)
4099 if ((abs_section_offset
& ((1 << nalign
) - 1)) != 0)
4100 as_bad (_("misaligned data"));
4104 p
= frag_var (rs_align_test
, 1, 1, (relax_substateT
) 0,
4105 (symbolS
*) NULL
, (offsetT
) nalign
, (char *) NULL
);
4107 record_alignment (now_seg
, nalign
);
4110 /* This is called from HANDLE_ALIGN in tc-sparc.h. */
4113 sparc_handle_align (fragp
)
4119 count
= fragp
->fr_next
->fr_address
- fragp
->fr_address
- fragp
->fr_fix
;
4121 switch (fragp
->fr_type
)
4125 as_bad_where (fragp
->fr_file
, fragp
->fr_line
, _("misaligned data"));
4129 p
= fragp
->fr_literal
+ fragp
->fr_fix
;
4140 if (SPARC_OPCODE_ARCH_V9_P (max_architecture
) && count
> 8)
4142 unsigned wval
= (0x30680000 | count
>> 2); /* ba,a,pt %xcc, 1f */
4143 if (INSN_BIG_ENDIAN
)
4144 number_to_chars_bigendian (p
, wval
, 4);
4146 number_to_chars_littleendian (p
, wval
, 4);
4152 if (INSN_BIG_ENDIAN
)
4153 number_to_chars_bigendian (p
, 0x01000000, 4);
4155 number_to_chars_littleendian (p
, 0x01000000, 4);
4157 fragp
->fr_fix
+= fix
;
4167 /* Some special processing for a Sparc ELF file. */
4170 sparc_elf_final_processing ()
4172 /* Set the Sparc ELF flag bits. FIXME: There should probably be some
4173 sort of BFD interface for this. */
4174 if (sparc_arch_size
== 64)
4176 switch (sparc_memory_model
)
4179 elf_elfheader (stdoutput
)->e_flags
|= EF_SPARCV9_RMO
;
4182 elf_elfheader (stdoutput
)->e_flags
|= EF_SPARCV9_PSO
;
4188 else if (current_architecture
>= SPARC_OPCODE_ARCH_V9
)
4189 elf_elfheader (stdoutput
)->e_flags
|= EF_SPARC_32PLUS
;
4190 if (current_architecture
== SPARC_OPCODE_ARCH_V9A
)
4191 elf_elfheader (stdoutput
)->e_flags
|= EF_SPARC_SUN_US1
;
4192 else if (current_architecture
== SPARC_OPCODE_ARCH_V9B
)
4193 elf_elfheader (stdoutput
)->e_flags
|= EF_SPARC_SUN_US1
|EF_SPARC_SUN_US3
;
4197 sparc_cons (exp
, size
)
4204 sparc_cons_special_reloc
= NULL
;
4205 save
= input_line_pointer
;
4206 if (input_line_pointer
[0] == '%'
4207 && input_line_pointer
[1] == 'r'
4208 && input_line_pointer
[2] == '_')
4210 if (strncmp (input_line_pointer
+ 3, "disp", 4) == 0)
4212 input_line_pointer
+= 7;
4213 sparc_cons_special_reloc
= "disp";
4215 else if (strncmp (input_line_pointer
+ 3, "plt", 3) == 0)
4217 if (size
!= 4 && size
!= 8)
4218 as_bad (_("Illegal operands: %%r_plt in %d-byte data field"), size
);
4221 input_line_pointer
+= 6;
4222 sparc_cons_special_reloc
= "plt";
4225 if (sparc_cons_special_reloc
)
4232 if (*input_line_pointer
!= '8')
4234 input_line_pointer
--;
4237 if (input_line_pointer
[0] != '1' || input_line_pointer
[1] != '6')
4241 if (input_line_pointer
[0] != '3' || input_line_pointer
[1] != '2')
4245 if (input_line_pointer
[0] != '6' || input_line_pointer
[1] != '4')
4255 as_bad (_("Illegal operands: Only %%r_%s%d allowed in %d-byte data fields"),
4256 sparc_cons_special_reloc
, size
* 8, size
);
4260 input_line_pointer
+= 2;
4261 if (*input_line_pointer
!= '(')
4263 as_bad (_("Illegal operands: %%r_%s%d requires arguments in ()"),
4264 sparc_cons_special_reloc
, size
* 8);
4271 input_line_pointer
= save
;
4272 sparc_cons_special_reloc
= NULL
;
4277 char *end
= ++input_line_pointer
;
4280 while (! is_end_of_line
[(c
= *end
)])
4294 as_bad (_("Illegal operands: %%r_%s%d requires arguments in ()"),
4295 sparc_cons_special_reloc
, size
* 8);
4301 if (input_line_pointer
!= end
)
4303 as_bad (_("Illegal operands: %%r_%s%d requires arguments in ()"),
4304 sparc_cons_special_reloc
, size
* 8);
4308 input_line_pointer
++;
4310 c
= *input_line_pointer
;
4311 if (! is_end_of_line
[c
] && c
!= ',')
4312 as_bad (_("Illegal operands: garbage after %%r_%s%d()"),
4313 sparc_cons_special_reloc
, size
* 8);
4319 if (sparc_cons_special_reloc
== NULL
)
4325 /* This is called by emit_expr via TC_CONS_FIX_NEW when creating a
4326 reloc for a cons. We could use the definition there, except that
4327 we want to handle little endian relocs specially. */
4330 cons_fix_new_sparc (frag
, where
, nbytes
, exp
)
4333 unsigned int nbytes
;
4336 bfd_reloc_code_real_type r
;
4338 r
= (nbytes
== 1 ? BFD_RELOC_8
:
4339 (nbytes
== 2 ? BFD_RELOC_16
:
4340 (nbytes
== 4 ? BFD_RELOC_32
: BFD_RELOC_64
)));
4342 if (target_little_endian_data
4344 && now_seg
->flags
& SEC_ALLOC
)
4345 r
= BFD_RELOC_SPARC_REV32
;
4347 if (sparc_cons_special_reloc
)
4349 if (*sparc_cons_special_reloc
== 'd')
4352 case 1: r
= BFD_RELOC_8_PCREL
; break;
4353 case 2: r
= BFD_RELOC_16_PCREL
; break;
4354 case 4: r
= BFD_RELOC_32_PCREL
; break;
4355 case 8: r
= BFD_RELOC_64_PCREL
; break;
4361 case 4: r
= BFD_RELOC_SPARC_PLT32
; break;
4362 case 8: r
= BFD_RELOC_SPARC_PLT64
; break;
4365 else if (sparc_no_align_cons
)
4369 case 2: r
= BFD_RELOC_SPARC_UA16
; break;
4370 case 4: r
= BFD_RELOC_SPARC_UA32
; break;
4371 case 8: r
= BFD_RELOC_SPARC_UA64
; break;
4376 fix_new_exp (frag
, where
, (int) nbytes
, exp
, 0, r
);
4381 elf32_sparc_force_relocation (fixp
)
4384 if (fixp
->fx_r_type
== BFD_RELOC_VTABLE_INHERIT
4385 || fixp
->fx_r_type
== BFD_RELOC_VTABLE_ENTRY
)