]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blame - gas/config/tc-sparc.c
xtensa: implement NPTL helpers
[thirdparty/binutils-gdb.git] / gas / config / tc-sparc.c
CommitLineData
252b5132 1/* tc-sparc.c -- Assemble for the SPARC
b90efa5b 2 Copyright (C) 1989-2015 Free Software Foundation, Inc.
252b5132
RH
3 This file is part of GAS, the GNU Assembler.
4
5 GAS is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
ec2655a6 7 the Free Software Foundation; either version 3, or (at your option)
252b5132
RH
8 any later version.
9
10 GAS is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
14
15 You should have received a copy of the GNU General Public
16 License along with GAS; see the file COPYING. If not, write
4b4da160
NC
17 to the Free Software Foundation, 51 Franklin Street - Fifth Floor,
18 Boston, MA 02110-1301, USA. */
252b5132 19
252b5132 20#include "as.h"
3882b010 21#include "safe-ctype.h"
252b5132
RH
22#include "subsegs.h"
23
24#include "opcode/sparc.h"
364b6d8b 25#include "dw2gencfi.h"
252b5132
RH
26
27#ifdef OBJ_ELF
28#include "elf/sparc.h"
732d96b6 29#include "dwarf2dbg.h"
252b5132
RH
30#endif
31
6c1b24e4
AO
32/* Some ancient Sun C compilers would not take such hex constants as
33 unsigned, and would end up sign-extending them to form an offsetT,
34 so use these constants instead. */
35#define U0xffffffff ((((unsigned long) 1 << 16) << 16) - 1)
36#define U0x80000000 ((((unsigned long) 1 << 16) << 15))
37
5a49b8ac
AM
38static int sparc_ip (char *, const struct sparc_opcode **);
39static int parse_keyword_arg (int (*) (const char *), char **, int *);
40static int parse_const_expr_arg (char **, int *);
41static int get_expression (char *);
252b5132
RH
42
43/* Default architecture. */
44/* ??? The default value should be V8, but sparclite support was added
45 by making it the default. GCC now passes -Asparclite, so maybe sometime in
46 the future we can set this to V8. */
47#ifndef DEFAULT_ARCH
48#define DEFAULT_ARCH "sparclite"
49#endif
50static char *default_arch = DEFAULT_ARCH;
51
52/* Non-zero if the initial values of `max_architecture' and `sparc_arch_size'
53 have been set. */
54static int default_init_p;
55
56/* Current architecture. We don't bump up unless necessary. */
57static enum sparc_opcode_arch_val current_architecture = SPARC_OPCODE_ARCH_V6;
58
59/* The maximum architecture level we can bump up to.
60 In a 32 bit environment, don't allow bumping up to v9 by default.
61 The native assembler works this way. The user is required to pass
62 an explicit argument before we'll create v9 object files. However, if
63 we don't see any v9 insns, a v8plus object file is not created. */
64static enum sparc_opcode_arch_val max_architecture;
65
66/* Either 32 or 64, selects file format. */
67static int sparc_arch_size;
68/* Initial (default) value, recorded separately in case a user option
69 changes the value before md_show_usage is called. */
70static int default_arch_size;
71
72#ifdef OBJ_ELF
73/* The currently selected v9 memory model. Currently only used for
74 ELF. */
75static enum { MM_TSO, MM_PSO, MM_RMO } sparc_memory_model = MM_RMO;
9e8c70f9
DM
76
77#ifndef TE_SOLARIS
78/* Bitmask of instruction types seen so far, used to populate the
79 GNU attributes section with hwcap information. */
3d68f91c 80static bfd_uint64_t hwcap_seen;
9e8c70f9 81#endif
252b5132
RH
82#endif
83
3d68f91c 84static bfd_uint64_t hwcap_allowed;
4bafe00e 85
252b5132
RH
86static int architecture_requested;
87static int warn_on_bump;
88
89/* If warn_on_bump and the needed architecture is higher than this
90 architecture, issue a warning. */
91static enum sparc_opcode_arch_val warn_after_architecture;
92
6d8809aa
RH
93/* Non-zero if as should generate error if an undeclared g[23] register
94 has been used in -64. */
95static int no_undeclared_regs;
96
6faf3d66
JJ
97/* Non-zero if we should try to relax jumps and calls. */
98static int sparc_relax;
99
252b5132
RH
100/* Non-zero if we are generating PIC code. */
101int sparc_pic_code;
102
103/* Non-zero if we should give an error when misaligned data is seen. */
104static int enforce_aligned_data;
105
106extern int target_big_endian;
107
108static int target_little_endian_data;
109
6d8809aa
RH
110/* Symbols for global registers on v9. */
111static symbolS *globals[8];
112
364b6d8b
JJ
113/* The dwarf2 data alignment, adjusted for 32 or 64 bit. */
114int sparc_cie_data_alignment;
115
252b5132
RH
116/* V9 and 86x have big and little endian data, but instructions are always big
117 endian. The sparclet has bi-endian support but both data and insns have
118 the same endianness. Global `target_big_endian' is used for data.
119 The following macro is used for instructions. */
120#ifndef INSN_BIG_ENDIAN
121#define INSN_BIG_ENDIAN (target_big_endian \
122 || default_arch_type == sparc86x \
123 || SPARC_OPCODE_ARCH_V9_P (max_architecture))
124#endif
125
e0c6ed95 126/* Handle of the OPCODE hash table. */
252b5132
RH
127static struct hash_control *op_hash;
128
5a49b8ac
AM
129static void s_data1 (void);
130static void s_seg (int);
131static void s_proc (int);
132static void s_reserve (int);
133static void s_common (int);
134static void s_empty (int);
135static void s_uacons (int);
136static void s_ncons (int);
a7982600 137#ifdef OBJ_ELF
5a49b8ac 138static void s_register (int);
a7982600 139#endif
252b5132
RH
140
141const pseudo_typeS md_pseudo_table[] =
142{
e0c6ed95 143 {"align", s_align_bytes, 0}, /* Defaulting is invalid (0). */
252b5132
RH
144 {"common", s_common, 0},
145 {"empty", s_empty, 0},
146 {"global", s_globl, 0},
147 {"half", cons, 2},
cf9a1301 148 {"nword", s_ncons, 0},
252b5132
RH
149 {"optim", s_ignore, 0},
150 {"proc", s_proc, 0},
151 {"reserve", s_reserve, 0},
152 {"seg", s_seg, 0},
153 {"skip", s_space, 0},
154 {"word", cons, 4},
155 {"xword", cons, 8},
156 {"uahalf", s_uacons, 2},
157 {"uaword", s_uacons, 4},
158 {"uaxword", s_uacons, 8},
159#ifdef OBJ_ELF
e0c6ed95 160 /* These are specific to sparc/svr4. */
252b5132
RH
161 {"2byte", s_uacons, 2},
162 {"4byte", s_uacons, 4},
163 {"8byte", s_uacons, 8},
6d8809aa 164 {"register", s_register, 0},
252b5132
RH
165#endif
166 {NULL, 0, 0},
167};
168
252b5132 169/* This array holds the chars that always start a comment. If the
e0c6ed95
AM
170 pre-processor is disabled, these aren't very useful. */
171const char comment_chars[] = "!"; /* JF removed '|' from
172 comment_chars. */
252b5132
RH
173
174/* This array holds the chars that only start a comment at the beginning of
175 a line. If the line seems to have the form '# 123 filename'
e0c6ed95 176 .line and .file directives will appear in the pre-processed output. */
252b5132
RH
177/* Note that input_file.c hand checks for '#' at the beginning of the
178 first line of the input file. This is because the compiler outputs
e0c6ed95 179 #NO_APP at the beginning of its output. */
252b5132 180/* Also note that comments started like this one will always
e0c6ed95 181 work if '/' isn't otherwise defined. */
252b5132
RH
182const char line_comment_chars[] = "#";
183
63a0b638 184const char line_separator_chars[] = ";";
252b5132 185
e0c6ed95
AM
186/* Chars that can be used to separate mant from exp in floating point
187 nums. */
252b5132
RH
188const char EXP_CHARS[] = "eE";
189
e0c6ed95
AM
190/* Chars that mean this number is a floating point constant.
191 As in 0f12.456
192 or 0d1.2345e12 */
252b5132
RH
193const char FLT_CHARS[] = "rRsSfFdDxXpP";
194
195/* Also be aware that MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT may have to be
196 changed in read.c. Ideally it shouldn't have to know about it at all,
197 but nothing is ideal around here. */
198
74b56d1f 199#define isoctal(c) ((unsigned) ((c) - '0') < 8)
252b5132
RH
200
201struct sparc_it
202 {
203 char *error;
204 unsigned long opcode;
205 struct nlist *nlistp;
206 expressionS exp;
cf9a1301 207 expressionS exp2;
252b5132
RH
208 int pcrel;
209 bfd_reloc_code_real_type reloc;
210 };
211
212struct sparc_it the_insn, set_insn;
213
5a49b8ac 214static void output_insn (const struct sparc_opcode *, struct sparc_it *);
252b5132
RH
215\f
216/* Table of arguments to -A.
217 The sparc_opcode_arch table in sparc-opc.c is insufficient and incorrect
218 for this use. That table is for opcodes only. This table is for opcodes
219 and file formats. */
220
d6787ef9 221enum sparc_arch_types {v6, v7, v8, leon, sparclet, sparclite, sparc86x, v8plus,
19f7b010 222 v8plusa, v9, v9a, v9b, v9_64};
252b5132 223
3d68f91c
JM
224/* Hardware capability sets, used to keep sparc_arch_table easy to
225 read. */
226#define HWS_V8 HWCAP_MUL32 | HWCAP_DIV32 | HWCAP_FSMULD
227#define HWS_V9 HWS_V8 | HWCAP_POPC
228#define HWS_VA HWS_V9 | HWCAP_VIS
229#define HWS_VB HWS_VA | HWCAP_VIS2
230#define HWS_VC HWS_VB | HWCAP_ASI_BLK_INIT
231#define HWS_VD HWS_VC | HWCAP_FMAF | HWCAP_VIS3 | HWCAP_HPC
232#define HWS_VE HWS_VD \
233 | HWCAP_AES | HWCAP_DES | HWCAP_KASUMI | HWCAP_CAMELLIA \
234 | HWCAP_MD5 | HWCAP_SHA1 | HWCAP_SHA256 |HWCAP_SHA512 | HWCAP_MPMUL \
235 | HWCAP_MONT | HWCAP_CRC32C | HWCAP_CBCOND | HWCAP_PAUSE
236#define HWS_VV HWS_VE | HWCAP_FJFMAU | HWCAP_IMA
237#define HWS_VM HWS_VV
238
239#define HWS2_VM \
240 HWCAP2_VIS3B | HWCAP2_ADP | HWCAP2_SPARC5 | HWCAP2_MWAIT \
241 | HWCAP2_XMPMUL | HWCAP2_XMONT
242
252b5132
RH
243static struct sparc_arch {
244 char *name;
245 char *opcode_arch;
246 enum sparc_arch_types arch_type;
247 /* Default word size, as specified during configuration.
248 A value of zero means can't be used to specify default architecture. */
249 int default_arch_size;
250 /* Allowable arg to -A? */
251 int user_option_p;
4bafe00e 252 int hwcap_allowed;
3d68f91c 253 int hwcap2_allowed;
252b5132 254} sparc_arch_table[] = {
3d68f91c
JM
255 { "v6", "v6", v6, 0, 1, 0, 0 },
256 { "v7", "v7", v7, 0, 1, 0, 0 },
257 { "v8", "v8", v8, 32, 1, HWS_V8, 0 },
258 { "v8a", "v8", v8, 32, 1, HWS_V8, 0 },
259 { "sparc", "v9", v9, 0, 1, HWCAP_V8PLUS|HWS_V9, 0 },
260 { "sparcvis", "v9a", v9, 0, 1, HWS_VA, 0 },
261 { "sparcvis2", "v9b", v9, 0, 1, HWS_VB, 0 },
262 { "sparcfmaf", "v9b", v9, 0, 1, HWS_VB|HWCAP_FMAF, 0 },
263 { "sparcima", "v9b", v9, 0, 1, HWS_VB|HWCAP_FMAF|HWCAP_IMA, 0 },
264 { "sparcvis3", "v9b", v9, 0, 1, HWS_VB|HWCAP_FMAF|HWCAP_VIS3|HWCAP_HPC, 0 },
265 { "sparcvis3r", "v9b", v9, 0, 1, HWS_VB|HWCAP_FMAF|HWCAP_VIS3|HWCAP_HPC|HWCAP_FJFMAU, 0 },
266
267 { "sparc4", "v9b", v9, 0, 1, HWS_VV, 0 },
268 { "sparc5", "v9b", v9, 0, 1, HWS_VM, HWS2_VM },
269
270 { "leon", "leon", leon, 32, 1, HWS_V8, 0 },
271 { "sparclet", "sparclet", sparclet, 32, 1, HWS_V8, 0 },
272 { "sparclite", "sparclite", sparclite, 32, 1, HWS_V8, 0 },
273 { "sparc86x", "sparclite", sparc86x, 32, 1, HWS_V8, 0 },
274
275 { "v8plus", "v9", v9, 0, 1, HWCAP_V8PLUS|HWS_V9, 0 },
276 { "v8plusa", "v9a", v9, 0, 1, HWCAP_V8PLUS|HWS_VA, 0 },
277 { "v8plusb", "v9b", v9, 0, 1, HWCAP_V8PLUS|HWS_VB, 0 },
278 { "v8plusc", "v9b", v9, 0, 1, HWCAP_V8PLUS|HWS_VC, 0 },
279 { "v8plusd", "v9b", v9, 0, 1, HWCAP_V8PLUS|HWS_VD, 0 },
280 { "v8pluse", "v9b", v9, 0, 1, HWCAP_V8PLUS|HWS_VE, 0 },
281 { "v8plusv", "v9b", v9, 0, 1, HWCAP_V8PLUS|HWS_VV, 0 },
282 { "v8plusm", "v9b", v9, 0, 1, HWCAP_V8PLUS|HWS_VM, 0 },
3739860c 283
3d68f91c
JM
284 { "v9", "v9", v9, 0, 1, HWS_V9, 0 },
285 { "v9a", "v9a", v9, 0, 1, HWS_VA, 0 },
286 { "v9b", "v9b", v9, 0, 1, HWS_VB, 0 },
287 { "v9c", "v9b", v9, 0, 1, HWS_VC, 0 },
288 { "v9d", "v9b", v9, 0, 1, HWS_VD, 0 },
289 { "v9e", "v9b", v9, 0, 1, HWS_VE, 0 },
290 { "v9v", "v9b", v9, 0, 1, HWS_VV, 0 },
291 { "v9m", "v9b", v9, 0, 1, HWS_VM, HWS2_VM },
292
1110793a 293 /* This exists to allow configure.tgt to pass one
252b5132 294 value to specify both the default machine and default word size. */
3d68f91c
JM
295 { "v9-64", "v9", v9, 64, 0, HWS_V9, 0 },
296 { NULL, NULL, v8, 0, 0, 0, 0 }
252b5132
RH
297};
298
299/* Variant of default_arch */
300static enum sparc_arch_types default_arch_type;
301
302static struct sparc_arch *
5a49b8ac 303lookup_arch (char *name)
252b5132
RH
304{
305 struct sparc_arch *sa;
306
307 for (sa = &sparc_arch_table[0]; sa->name != NULL; sa++)
308 if (strcmp (sa->name, name) == 0)
309 break;
310 if (sa->name == NULL)
311 return NULL;
312 return sa;
313}
314
315/* Initialize the default opcode arch and word size from the default
316 architecture name. */
317
318static void
5a49b8ac 319init_default_arch (void)
252b5132
RH
320{
321 struct sparc_arch *sa = lookup_arch (default_arch);
322
323 if (sa == NULL
324 || sa->default_arch_size == 0)
325 as_fatal (_("Invalid default architecture, broken assembler."));
326
327 max_architecture = sparc_opcode_lookup_arch (sa->opcode_arch);
328 if (max_architecture == SPARC_OPCODE_ARCH_BAD)
329 as_fatal (_("Bad opcode table, broken assembler."));
330 default_arch_size = sparc_arch_size = sa->default_arch_size;
331 default_init_p = 1;
332 default_arch_type = sa->arch_type;
333}
334
335/* Called by TARGET_FORMAT. */
336
337const char *
5a49b8ac 338sparc_target_format (void)
252b5132
RH
339{
340 /* We don't get a chance to initialize anything before we're called,
341 so handle that now. */
342 if (! default_init_p)
343 init_default_arch ();
344
345#ifdef OBJ_AOUT
346#ifdef TE_NetBSD
347 return "a.out-sparc-netbsd";
348#else
349#ifdef TE_SPARCAOUT
350 if (target_big_endian)
351 return "a.out-sunos-big";
352 else if (default_arch_type == sparc86x && target_little_endian_data)
353 return "a.out-sunos-big";
ab3e48dc
KH
354 else
355 return "a.out-sparc-little";
252b5132
RH
356#else
357 return "a.out-sunos-big";
358#endif
359#endif
360#endif
361
362#ifdef OBJ_BOUT
363 return "b.out.big";
364#endif
365
366#ifdef OBJ_COFF
367#ifdef TE_LYNX
368 return "coff-sparc-lynx";
369#else
370 return "coff-sparc";
371#endif
372#endif
373
910600e9
RS
374#ifdef TE_VXWORKS
375 return "elf32-sparc-vxworks";
376#endif
377
252b5132 378#ifdef OBJ_ELF
71a75f6f 379 return sparc_arch_size == 64 ? ELF64_TARGET_FORMAT : ELF_TARGET_FORMAT;
252b5132
RH
380#endif
381
382 abort ();
383}
384\f
e0c6ed95 385/* md_parse_option
252b5132
RH
386 * Invocation line includes a switch not recognized by the base assembler.
387 * See if it's a processor-specific option. These are:
388 *
389 * -bump
390 * Warn on architecture bumps. See also -A.
391 *
d6787ef9 392 * -Av6, -Av7, -Av8, -Aleon, -Asparclite, -Asparclet
252b5132 393 * Standard 32 bit architectures.
19f7b010 394 * -Av9, -Av9a, -Av9b
252b5132
RH
395 * Sparc64 in either a 32 or 64 bit world (-32/-64 says which).
396 * This used to only mean 64 bits, but properly specifying it
397 * complicated gcc's ASM_SPECs, so now opcode selection is
398 * specified orthogonally to word size (except when specifying
399 * the default, but that is an internal implementation detail).
19f7b010
JJ
400 * -Av8plus, -Av8plusa, -Av8plusb
401 * Same as -Av9{,a,b}.
402 * -xarch=v8plus, -xarch=v8plusa, -xarch=v8plusb
403 * Same as -Av8plus{,a,b} -32, for compatibility with Sun's
404 * assembler.
405 * -xarch=v9, -xarch=v9a, -xarch=v9b
406 * Same as -Av9{,a,b} -64, for compatibility with Sun's
c2158c24 407 * assembler.
252b5132
RH
408 *
409 * Select the architecture and possibly the file format.
410 * Instructions or features not supported by the selected
411 * architecture cause fatal errors.
412 *
413 * The default is to start at v6, and bump the architecture up
414 * whenever an instruction is seen at a higher level. In 32 bit
415 * environments, v9 is not bumped up to, the user must pass
19f7b010 416 * -Av8plus{,a,b}.
252b5132
RH
417 *
418 * If -bump is specified, a warning is printing when bumping to
419 * higher levels.
420 *
421 * If an architecture is specified, all instructions must match
422 * that architecture. Any higher level instructions are flagged
423 * as errors. Note that in the 32 bit environment specifying
424 * -Av8plus does not automatically create a v8plus object file, a
425 * v9 insn must be seen.
426 *
427 * If both an architecture and -bump are specified, the
428 * architecture starts at the specified level, but bumps are
429 * warnings. Note that we can't set `current_architecture' to
430 * the requested level in this case: in the 32 bit environment,
431 * we still must avoid creating v8plus object files unless v9
432 * insns are seen.
433 *
434 * Note:
435 * Bumping between incompatible architectures is always an
436 * error. For example, from sparclite to v9.
437 */
438
439#ifdef OBJ_ELF
5a38dc70 440const char *md_shortopts = "A:K:VQ:sq";
252b5132
RH
441#else
442#ifdef OBJ_AOUT
5a38dc70 443const char *md_shortopts = "A:k";
252b5132 444#else
5a38dc70 445const char *md_shortopts = "A:";
252b5132
RH
446#endif
447#endif
448struct option md_longopts[] = {
449#define OPTION_BUMP (OPTION_MD_BASE)
450 {"bump", no_argument, NULL, OPTION_BUMP},
451#define OPTION_SPARC (OPTION_MD_BASE + 1)
452 {"sparc", no_argument, NULL, OPTION_SPARC},
453#define OPTION_XARCH (OPTION_MD_BASE + 2)
454 {"xarch", required_argument, NULL, OPTION_XARCH},
455#ifdef OBJ_ELF
456#define OPTION_32 (OPTION_MD_BASE + 3)
457 {"32", no_argument, NULL, OPTION_32},
458#define OPTION_64 (OPTION_MD_BASE + 4)
459 {"64", no_argument, NULL, OPTION_64},
460#define OPTION_TSO (OPTION_MD_BASE + 5)
461 {"TSO", no_argument, NULL, OPTION_TSO},
462#define OPTION_PSO (OPTION_MD_BASE + 6)
463 {"PSO", no_argument, NULL, OPTION_PSO},
464#define OPTION_RMO (OPTION_MD_BASE + 7)
465 {"RMO", no_argument, NULL, OPTION_RMO},
466#endif
467#ifdef SPARC_BIENDIAN
468#define OPTION_LITTLE_ENDIAN (OPTION_MD_BASE + 8)
469 {"EL", no_argument, NULL, OPTION_LITTLE_ENDIAN},
470#define OPTION_BIG_ENDIAN (OPTION_MD_BASE + 9)
471 {"EB", no_argument, NULL, OPTION_BIG_ENDIAN},
472#endif
473#define OPTION_ENFORCE_ALIGNED_DATA (OPTION_MD_BASE + 10)
474 {"enforce-aligned-data", no_argument, NULL, OPTION_ENFORCE_ALIGNED_DATA},
475#define OPTION_LITTLE_ENDIAN_DATA (OPTION_MD_BASE + 11)
476 {"little-endian-data", no_argument, NULL, OPTION_LITTLE_ENDIAN_DATA},
6d8809aa
RH
477#ifdef OBJ_ELF
478#define OPTION_NO_UNDECLARED_REGS (OPTION_MD_BASE + 12)
479 {"no-undeclared-regs", no_argument, NULL, OPTION_NO_UNDECLARED_REGS},
a25fe906
ILT
480#define OPTION_UNDECLARED_REGS (OPTION_MD_BASE + 13)
481 {"undeclared-regs", no_argument, NULL, OPTION_UNDECLARED_REGS},
6d8809aa 482#endif
6faf3d66
JJ
483#define OPTION_RELAX (OPTION_MD_BASE + 14)
484 {"relax", no_argument, NULL, OPTION_RELAX},
485#define OPTION_NO_RELAX (OPTION_MD_BASE + 15)
486 {"no-relax", no_argument, NULL, OPTION_NO_RELAX},
252b5132
RH
487 {NULL, no_argument, NULL, 0}
488};
e0c6ed95
AM
489
490size_t md_longopts_size = sizeof (md_longopts);
252b5132
RH
491
492int
5a49b8ac 493md_parse_option (int c, char *arg)
252b5132
RH
494{
495 /* We don't get a chance to initialize anything before we're called,
496 so handle that now. */
497 if (! default_init_p)
498 init_default_arch ();
499
500 switch (c)
501 {
502 case OPTION_BUMP:
503 warn_on_bump = 1;
504 warn_after_architecture = SPARC_OPCODE_ARCH_V6;
505 break;
506
507 case OPTION_XARCH:
c2158c24 508#ifdef OBJ_ELF
668b27ea 509 if (!strncmp (arg, "v9", 2))
c2158c24 510 md_parse_option (OPTION_64, NULL);
668b27ea
DM
511 else
512 {
513 if (!strncmp (arg, "v8", 2)
514 || !strncmp (arg, "v7", 2)
515 || !strncmp (arg, "v6", 2)
516 || !strcmp (arg, "sparclet")
517 || !strcmp (arg, "sparclite")
518 || !strcmp (arg, "sparc86x"))
519 md_parse_option (OPTION_32, NULL);
520 }
c2158c24 521#endif
e0c6ed95 522 /* Fall through. */
252b5132
RH
523
524 case 'A':
525 {
526 struct sparc_arch *sa;
527 enum sparc_opcode_arch_val opcode_arch;
528
529 sa = lookup_arch (arg);
530 if (sa == NULL
531 || ! sa->user_option_p)
532 {
c2158c24
JJ
533 if (c == OPTION_XARCH)
534 as_bad (_("invalid architecture -xarch=%s"), arg);
535 else
536 as_bad (_("invalid architecture -A%s"), arg);
252b5132
RH
537 return 0;
538 }
539
540 opcode_arch = sparc_opcode_lookup_arch (sa->opcode_arch);
541 if (opcode_arch == SPARC_OPCODE_ARCH_BAD)
542 as_fatal (_("Bad opcode table, broken assembler."));
543
4bafe00e
DM
544 if (!architecture_requested
545 || opcode_arch > max_architecture)
546 max_architecture = opcode_arch;
3d68f91c
JM
547 hwcap_allowed
548 |= (((bfd_uint64_t) sa->hwcap2_allowed) << 32) | sa->hwcap_allowed;
252b5132
RH
549 architecture_requested = 1;
550 }
551 break;
552
553 case OPTION_SPARC:
554 /* Ignore -sparc, used by SunOS make default .s.o rule. */
555 break;
556
557 case OPTION_ENFORCE_ALIGNED_DATA:
558 enforce_aligned_data = 1;
559 break;
560
561#ifdef SPARC_BIENDIAN
562 case OPTION_LITTLE_ENDIAN:
563 target_big_endian = 0;
564 if (default_arch_type != sparclet)
565 as_fatal ("This target does not support -EL");
566 break;
567 case OPTION_LITTLE_ENDIAN_DATA:
568 target_little_endian_data = 1;
569 target_big_endian = 0;
570 if (default_arch_type != sparc86x
571 && default_arch_type != v9)
572 as_fatal ("This target does not support --little-endian-data");
573 break;
574 case OPTION_BIG_ENDIAN:
575 target_big_endian = 1;
576 break;
577#endif
578
579#ifdef OBJ_AOUT
580 case 'k':
581 sparc_pic_code = 1;
582 break;
583#endif
584
585#ifdef OBJ_ELF
586 case OPTION_32:
587 case OPTION_64:
588 {
589 const char **list, **l;
590
591 sparc_arch_size = c == OPTION_32 ? 32 : 64;
592 list = bfd_target_list ();
593 for (l = list; *l != NULL; l++)
594 {
595 if (sparc_arch_size == 32)
596 {
71a75f6f 597 if (CONST_STRNEQ (*l, "elf32-sparc"))
252b5132
RH
598 break;
599 }
600 else
601 {
71a75f6f 602 if (CONST_STRNEQ (*l, "elf64-sparc"))
252b5132
RH
603 break;
604 }
605 }
606 if (*l == NULL)
607 as_fatal (_("No compiled in support for %d bit object file format"),
608 sparc_arch_size);
609 free (list);
b7cac25f
DM
610
611 if (sparc_arch_size == 64
612 && max_architecture < SPARC_OPCODE_ARCH_V9)
613 max_architecture = SPARC_OPCODE_ARCH_V9;
252b5132
RH
614 }
615 break;
616
617 case OPTION_TSO:
618 sparc_memory_model = MM_TSO;
619 break;
620
621 case OPTION_PSO:
622 sparc_memory_model = MM_PSO;
623 break;
624
625 case OPTION_RMO:
626 sparc_memory_model = MM_RMO;
627 break;
628
629 case 'V':
630 print_version_id ();
631 break;
632
633 case 'Q':
634 /* Qy - do emit .comment
e0c6ed95 635 Qn - do not emit .comment. */
252b5132
RH
636 break;
637
638 case 's':
e0c6ed95 639 /* Use .stab instead of .stab.excl. */
252b5132
RH
640 break;
641
642 case 'q':
e0c6ed95 643 /* quick -- Native assembler does fewer checks. */
252b5132
RH
644 break;
645
646 case 'K':
647 if (strcmp (arg, "PIC") != 0)
648 as_warn (_("Unrecognized option following -K"));
649 else
650 sparc_pic_code = 1;
651 break;
6d8809aa
RH
652
653 case OPTION_NO_UNDECLARED_REGS:
654 no_undeclared_regs = 1;
655 break;
a25fe906
ILT
656
657 case OPTION_UNDECLARED_REGS:
658 no_undeclared_regs = 0;
659 break;
252b5132
RH
660#endif
661
6faf3d66
JJ
662 case OPTION_RELAX:
663 sparc_relax = 1;
664 break;
665
666 case OPTION_NO_RELAX:
667 sparc_relax = 0;
668 break;
669
252b5132
RH
670 default:
671 return 0;
672 }
673
674 return 1;
675}
676
677void
5a49b8ac 678md_show_usage (FILE *stream)
252b5132
RH
679{
680 const struct sparc_arch *arch;
c2158c24 681 int column;
252b5132
RH
682
683 /* We don't get a chance to initialize anything before we're called,
684 so handle that now. */
685 if (! default_init_p)
686 init_default_arch ();
687
e0c6ed95 688 fprintf (stream, _("SPARC options:\n"));
c2158c24 689 column = 0;
252b5132
RH
690 for (arch = &sparc_arch_table[0]; arch->name; arch++)
691 {
c2158c24
JJ
692 if (!arch->user_option_p)
693 continue;
252b5132
RH
694 if (arch != &sparc_arch_table[0])
695 fprintf (stream, " | ");
07726851 696 if (column + strlen (arch->name) > 70)
c2158c24
JJ
697 {
698 column = 0;
699 fputc ('\n', stream);
700 }
07726851 701 column += 5 + 2 + strlen (arch->name);
c2158c24 702 fprintf (stream, "-A%s", arch->name);
252b5132 703 }
c2158c24
JJ
704 for (arch = &sparc_arch_table[0]; arch->name; arch++)
705 {
706 if (!arch->user_option_p)
707 continue;
708 fprintf (stream, " | ");
07726851 709 if (column + strlen (arch->name) > 65)
c2158c24
JJ
710 {
711 column = 0;
712 fputc ('\n', stream);
713 }
07726851 714 column += 5 + 7 + strlen (arch->name);
c2158c24
JJ
715 fprintf (stream, "-xarch=%s", arch->name);
716 }
717 fprintf (stream, _("\n\
252b5132
RH
718 specify variant of SPARC architecture\n\
719-bump warn when assembler switches architectures\n\
720-sparc ignored\n\
6faf3d66
JJ
721--enforce-aligned-data force .long, etc., to be aligned correctly\n\
722-relax relax jumps and branches (default)\n\
723-no-relax avoid changing any jumps and branches\n"));
252b5132
RH
724#ifdef OBJ_AOUT
725 fprintf (stream, _("\
726-k generate PIC\n"));
727#endif
728#ifdef OBJ_ELF
729 fprintf (stream, _("\
730-32 create 32 bit object file\n\
731-64 create 64 bit object file\n"));
732 fprintf (stream, _("\
733 [default is %d]\n"), default_arch_size);
734 fprintf (stream, _("\
735-TSO use Total Store Ordering\n\
736-PSO use Partial Store Ordering\n\
737-RMO use Relaxed Memory Ordering\n"));
738 fprintf (stream, _("\
739 [default is %s]\n"), (default_arch_size == 64) ? "RMO" : "TSO");
740 fprintf (stream, _("\
741-KPIC generate PIC\n\
742-V print assembler version number\n\
a25fe906
ILT
743-undeclared-regs ignore application global register usage without\n\
744 appropriate .register directive (default)\n\
745-no-undeclared-regs force error on application global register usage\n\
746 without appropriate .register directive\n\
252b5132
RH
747-q ignored\n\
748-Qy, -Qn ignored\n\
749-s ignored\n"));
750#endif
751#ifdef SPARC_BIENDIAN
752 fprintf (stream, _("\
753-EL generate code for a little endian machine\n\
754-EB generate code for a big endian machine\n\
755--little-endian-data generate code for a machine having big endian\n\
c20f4f8c 756 instructions and little endian data.\n"));
252b5132
RH
757#endif
758}
759\f
e0c6ed95 760/* Native operand size opcode translation. */
cf9a1301
RH
761struct
762 {
763 char *name;
764 char *name32;
765 char *name64;
766 } native_op_table[] =
767{
768 {"ldn", "ld", "ldx"},
769 {"ldna", "lda", "ldxa"},
770 {"stn", "st", "stx"},
771 {"stna", "sta", "stxa"},
772 {"slln", "sll", "sllx"},
773 {"srln", "srl", "srlx"},
774 {"sran", "sra", "srax"},
775 {"casn", "cas", "casx"},
776 {"casna", "casa", "casxa"},
777 {"clrn", "clr", "clrx"},
778 {NULL, NULL, NULL},
779};
780\f
10156f83 781/* sparc64 privileged and hyperprivileged registers. */
252b5132
RH
782
783struct priv_reg_entry
ab3e48dc
KH
784{
785 char *name;
786 int regnum;
787};
252b5132
RH
788
789struct priv_reg_entry priv_reg_table[] =
790{
791 {"tpc", 0},
792 {"tnpc", 1},
793 {"tstate", 2},
794 {"tt", 3},
795 {"tick", 4},
796 {"tba", 5},
797 {"pstate", 6},
798 {"tl", 7},
799 {"pil", 8},
800 {"cwp", 9},
801 {"cansave", 10},
802 {"canrestore", 11},
803 {"cleanwin", 12},
804 {"otherwin", 13},
805 {"wstate", 14},
806 {"fq", 15},
10156f83 807 {"gl", 16},
252b5132 808 {"ver", 31},
e0c6ed95 809 {"", -1}, /* End marker. */
252b5132
RH
810};
811
10156f83
DM
812struct priv_reg_entry hpriv_reg_table[] =
813{
814 {"hpstate", 0},
815 {"htstate", 1},
816 {"hintp", 3},
817 {"htba", 5},
818 {"hver", 6},
ec92c392
JM
819 {"hstick_offset", 28},
820 {"hstick_enable", 29},
10156f83
DM
821 {"hstick_cmpr", 31},
822 {"", -1}, /* End marker. */
823};
824
1a6b486f
DM
825/* v9a specific asrs. This table is ordered by initial
826 letter, in reverse. */
252b5132
RH
827
828struct priv_reg_entry v9a_asr_table[] =
829{
830 {"tick_cmpr", 23},
19f7b010
JJ
831 {"sys_tick_cmpr", 25},
832 {"sys_tick", 24},
1a6b486f
DM
833 {"stick_cmpr", 25},
834 {"stick", 24},
f04d18b7
DM
835 {"softint_clear", 21},
836 {"softint_set", 20},
2b661f3d 837 {"softint", 22},
252b5132 838 {"set_softint", 20},
58004e23 839 {"pause", 27},
252b5132
RH
840 {"pic", 17},
841 {"pcr", 16},
3d68f91c 842 {"mwait", 28},
252b5132
RH
843 {"gsr", 19},
844 {"dcr", 18},
2e52845b 845 {"cfr", 26},
252b5132 846 {"clear_softint", 21},
e0c6ed95 847 {"", -1}, /* End marker. */
252b5132
RH
848};
849
850static int
5a49b8ac 851cmp_reg_entry (const void *parg, const void *qarg)
252b5132
RH
852{
853 const struct priv_reg_entry *p = (const struct priv_reg_entry *) parg;
854 const struct priv_reg_entry *q = (const struct priv_reg_entry *) qarg;
855
856 return strcmp (q->name, p->name);
857}
858\f
859/* This function is called once, at assembler startup time. It should
e0c6ed95
AM
860 set up all the tables, etc. that the MD part of the assembler will
861 need. */
252b5132
RH
862
863void
5a49b8ac 864md_begin (void)
252b5132 865{
ed9e98c2 866 const char *retval = NULL;
252b5132 867 int lose = 0;
ed9e98c2 868 unsigned int i = 0;
252b5132
RH
869
870 /* We don't get a chance to initialize anything before md_parse_option
871 is called, and it may not be called, so handle default initialization
872 now if not already done. */
873 if (! default_init_p)
874 init_default_arch ();
875
364b6d8b 876 sparc_cie_data_alignment = sparc_arch_size == 64 ? -8 : -4;
252b5132
RH
877 op_hash = hash_new ();
878
879 while (i < (unsigned int) sparc_num_opcodes)
880 {
881 const char *name = sparc_opcodes[i].name;
5a49b8ac 882 retval = hash_insert (op_hash, name, (void *) &sparc_opcodes[i]);
252b5132
RH
883 if (retval != NULL)
884 {
cf9a1301
RH
885 as_bad (_("Internal error: can't hash `%s': %s\n"),
886 sparc_opcodes[i].name, retval);
252b5132
RH
887 lose = 1;
888 }
889 do
890 {
891 if (sparc_opcodes[i].match & sparc_opcodes[i].lose)
892 {
cf9a1301
RH
893 as_bad (_("Internal error: losing opcode: `%s' \"%s\"\n"),
894 sparc_opcodes[i].name, sparc_opcodes[i].args);
252b5132
RH
895 lose = 1;
896 }
897 ++i;
898 }
899 while (i < (unsigned int) sparc_num_opcodes
900 && !strcmp (sparc_opcodes[i].name, name));
901 }
902
cf9a1301
RH
903 for (i = 0; native_op_table[i].name; i++)
904 {
905 const struct sparc_opcode *insn;
3d4ae3c0
NC
906 char *name = ((sparc_arch_size == 32)
907 ? native_op_table[i].name32
908 : native_op_table[i].name64);
e0c6ed95 909 insn = (struct sparc_opcode *) hash_find (op_hash, name);
cf9a1301 910 if (insn == NULL)
e0c6ed95
AM
911 {
912 as_bad (_("Internal error: can't find opcode `%s' for `%s'\n"),
913 name, native_op_table[i].name);
914 lose = 1;
915 }
cf9a1301
RH
916 else
917 {
5a49b8ac
AM
918 retval = hash_insert (op_hash, native_op_table[i].name,
919 (void *) insn);
cf9a1301
RH
920 if (retval != NULL)
921 {
922 as_bad (_("Internal error: can't hash `%s': %s\n"),
923 sparc_opcodes[i].name, retval);
924 lose = 1;
925 }
926 }
927 }
928
252b5132
RH
929 if (lose)
930 as_fatal (_("Broken assembler. No assembly attempted."));
931
252b5132
RH
932 qsort (priv_reg_table, sizeof (priv_reg_table) / sizeof (priv_reg_table[0]),
933 sizeof (priv_reg_table[0]), cmp_reg_entry);
934
935 /* If -bump, record the architecture level at which we start issuing
936 warnings. The behaviour is different depending upon whether an
937 architecture was explicitly specified. If it wasn't, we issue warnings
938 for all upwards bumps. If it was, we don't start issuing warnings until
939 we need to bump beyond the requested architecture or when we bump between
940 conflicting architectures. */
941
942 if (warn_on_bump
943 && architecture_requested)
944 {
945 /* `max_architecture' records the requested architecture.
946 Issue warnings if we go above it. */
947 warn_after_architecture = max_architecture;
252b5132 948 }
75ac3a7f
JM
949
950 /* Find the highest architecture level that doesn't conflict with
951 the requested one. */
952
953 if (warn_on_bump
954 || !architecture_requested)
955 {
956 enum sparc_opcode_arch_val current_max_architecture
957 = max_architecture;
958
959 for (max_architecture = SPARC_OPCODE_ARCH_MAX;
960 max_architecture > warn_after_architecture;
961 --max_architecture)
962 if (! SPARC_OPCODE_CONFLICT_P (max_architecture,
963 current_max_architecture))
964 break;
965 }
252b5132
RH
966}
967
968/* Called after all assembly has been done. */
969
970void
5a49b8ac 971sparc_md_end (void)
252b5132 972{
19f7b010 973 unsigned long mach = bfd_mach_sparc;
daf5e10e 974#if defined(OBJ_ELF) && !defined(TE_SOLARIS)
3d68f91c 975 int hwcaps, hwcaps2;
daf5e10e 976#endif
19f7b010 977
252b5132 978 if (sparc_arch_size == 64)
19f7b010
JJ
979 switch (current_architecture)
980 {
981 case SPARC_OPCODE_ARCH_V9A: mach = bfd_mach_sparc_v9a; break;
982 case SPARC_OPCODE_ARCH_V9B: mach = bfd_mach_sparc_v9b; break;
983 default: mach = bfd_mach_sparc_v9; break;
984 }
252b5132 985 else
19f7b010
JJ
986 switch (current_architecture)
987 {
988 case SPARC_OPCODE_ARCH_SPARCLET: mach = bfd_mach_sparc_sparclet; break;
989 case SPARC_OPCODE_ARCH_V9: mach = bfd_mach_sparc_v8plus; break;
990 case SPARC_OPCODE_ARCH_V9A: mach = bfd_mach_sparc_v8plusa; break;
991 case SPARC_OPCODE_ARCH_V9B: mach = bfd_mach_sparc_v8plusb; break;
992 /* The sparclite is treated like a normal sparc. Perhaps it shouldn't
993 be but for now it is (since that's the way it's always been
994 treated). */
995 default: break;
996 }
997 bfd_set_arch_mach (stdoutput, bfd_arch_sparc, mach);
9e8c70f9
DM
998
999#if defined(OBJ_ELF) && !defined(TE_SOLARIS)
3d68f91c
JM
1000 hwcaps = hwcap_seen & U0xffffffff;
1001 hwcaps2 = hwcap_seen >> 32;
1002
1003 if (hwcaps)
1004 bfd_elf_add_obj_attr_int (stdoutput, OBJ_ATTR_GNU, Tag_GNU_Sparc_HWCAPS, hwcaps);
1005 if (hwcaps2)
1006 bfd_elf_add_obj_attr_int (stdoutput, OBJ_ATTR_GNU, Tag_GNU_Sparc_HWCAPS2, hwcaps2);
9e8c70f9 1007#endif
252b5132
RH
1008}
1009\f
1010/* Return non-zero if VAL is in the range -(MAX+1) to MAX. */
1011
5a49b8ac
AM
1012static inline int
1013in_signed_range (bfd_signed_vma val, bfd_signed_vma max)
252b5132
RH
1014{
1015 if (max <= 0)
1016 abort ();
1017 /* Sign-extend the value from the architecture word size, so that
1018 0xffffffff is always considered -1 on sparc32. */
1019 if (sparc_arch_size == 32)
1020 {
e0c6ed95 1021 bfd_signed_vma sign = (bfd_signed_vma) 1 << 31;
6c1b24e4 1022 val = ((val & U0xffffffff) ^ sign) - sign;
252b5132
RH
1023 }
1024 if (val > max)
1025 return 0;
1026 if (val < ~max)
1027 return 0;
1028 return 1;
1029}
1030
1031/* Return non-zero if VAL is in the range 0 to MAX. */
1032
5a49b8ac
AM
1033static inline int
1034in_unsigned_range (bfd_vma val, bfd_vma max)
252b5132
RH
1035{
1036 if (val > max)
1037 return 0;
1038 return 1;
1039}
1040
1041/* Return non-zero if VAL is in the range -(MAX/2+1) to MAX.
1042 (e.g. -15 to +31). */
1043
5a49b8ac
AM
1044static inline int
1045in_bitfield_range (bfd_signed_vma val, bfd_signed_vma max)
252b5132
RH
1046{
1047 if (max <= 0)
1048 abort ();
1049 if (val > max)
1050 return 0;
1051 if (val < ~(max >> 1))
1052 return 0;
1053 return 1;
1054}
1055
1056static int
5a49b8ac 1057sparc_ffs (unsigned int mask)
252b5132
RH
1058{
1059 int i;
1060
1061 if (mask == 0)
1062 return -1;
1063
1064 for (i = 0; (mask & 1) == 0; ++i)
1065 mask >>= 1;
1066 return i;
1067}
1068
1069/* Implement big shift right. */
1070static bfd_vma
5a49b8ac 1071BSR (bfd_vma val, int amount)
252b5132
RH
1072{
1073 if (sizeof (bfd_vma) <= 4 && amount >= 32)
1074 as_fatal (_("Support for 64-bit arithmetic not compiled in."));
1075 return val >> amount;
1076}
1077\f
1078/* For communication between sparc_ip and get_expression. */
1079static char *expr_end;
1080
252b5132
RH
1081/* Values for `special_case'.
1082 Instructions that require wierd handling because they're longer than
1083 4 bytes. */
1084#define SPECIAL_CASE_NONE 0
1085#define SPECIAL_CASE_SET 1
1086#define SPECIAL_CASE_SETSW 2
1087#define SPECIAL_CASE_SETX 3
1088/* FIXME: sparc-opc.c doesn't have necessary "S" trigger to enable this. */
1089#define SPECIAL_CASE_FDIV 4
1090
1091/* Bit masks of various insns. */
1092#define NOP_INSN 0x01000000
1093#define OR_INSN 0x80100000
63fab58c 1094#define XOR_INSN 0x80180000
252b5132
RH
1095#define FMOVS_INSN 0x81A00020
1096#define SETHI_INSN 0x01000000
1097#define SLLX_INSN 0x81281000
1098#define SRA_INSN 0x81380000
1099
1100/* The last instruction to be assembled. */
1101static const struct sparc_opcode *last_insn;
1102/* The assembled opcode of `last_insn'. */
1103static unsigned long last_opcode;
1104\f
a22b281c 1105/* Handle the set and setuw synthetic instructions. */
e0c6ed95 1106
a22b281c 1107static void
5a49b8ac 1108synthetize_setuw (const struct sparc_opcode *insn)
a22b281c
RH
1109{
1110 int need_hi22_p = 0;
1111 int rd = (the_insn.opcode & RD (~0)) >> 25;
1112
1113 if (the_insn.exp.X_op == O_constant)
1114 {
1115 if (SPARC_OPCODE_ARCH_V9_P (max_architecture))
1116 {
e0c6ed95 1117 if (sizeof (offsetT) > 4
a22b281c 1118 && (the_insn.exp.X_add_number < 0
6c1b24e4 1119 || the_insn.exp.X_add_number > (offsetT) U0xffffffff))
a22b281c
RH
1120 as_warn (_("set: number not in 0..4294967295 range"));
1121 }
1122 else
1123 {
e0c6ed95 1124 if (sizeof (offsetT) > 4
6c1b24e4
AO
1125 && (the_insn.exp.X_add_number < -(offsetT) U0x80000000
1126 || the_insn.exp.X_add_number > (offsetT) U0xffffffff))
a22b281c 1127 as_warn (_("set: number not in -2147483648..4294967295 range"));
e0c6ed95 1128 the_insn.exp.X_add_number = (int) the_insn.exp.X_add_number;
a22b281c
RH
1129 }
1130 }
1131
1132 /* See if operand is absolute and small; skip sethi if so. */
1133 if (the_insn.exp.X_op != O_constant
1134 || the_insn.exp.X_add_number >= (1 << 12)
1135 || the_insn.exp.X_add_number < -(1 << 12))
1136 {
1137 the_insn.opcode = (SETHI_INSN | RD (rd)
1138 | ((the_insn.exp.X_add_number >> 10)
ab3e48dc
KH
1139 & (the_insn.exp.X_op == O_constant
1140 ? 0x3fffff : 0)));
a22b281c 1141 the_insn.reloc = (the_insn.exp.X_op != O_constant
ab3e48dc 1142 ? BFD_RELOC_HI22 : BFD_RELOC_NONE);
a22b281c
RH
1143 output_insn (insn, &the_insn);
1144 need_hi22_p = 1;
1145 }
1146
1147 /* See if operand has no low-order bits; skip OR if so. */
1148 if (the_insn.exp.X_op != O_constant
1149 || (need_hi22_p && (the_insn.exp.X_add_number & 0x3FF) != 0)
1150 || ! need_hi22_p)
1151 {
1152 the_insn.opcode = (OR_INSN | (need_hi22_p ? RS1 (rd) : 0)
1153 | RD (rd) | IMMED
1154 | (the_insn.exp.X_add_number
ab3e48dc
KH
1155 & (the_insn.exp.X_op != O_constant
1156 ? 0 : need_hi22_p ? 0x3ff : 0x1fff)));
a22b281c 1157 the_insn.reloc = (the_insn.exp.X_op != O_constant
ab3e48dc 1158 ? BFD_RELOC_LO10 : BFD_RELOC_NONE);
a22b281c
RH
1159 output_insn (insn, &the_insn);
1160 }
1161}
e0c6ed95 1162
a22b281c 1163/* Handle the setsw synthetic instruction. */
e0c6ed95 1164
a22b281c 1165static void
5a49b8ac 1166synthetize_setsw (const struct sparc_opcode *insn)
a22b281c
RH
1167{
1168 int low32, rd, opc;
1169
1170 rd = (the_insn.opcode & RD (~0)) >> 25;
1171
1172 if (the_insn.exp.X_op != O_constant)
1173 {
1174 synthetize_setuw (insn);
1175
1176 /* Need to sign extend it. */
1177 the_insn.opcode = (SRA_INSN | RS1 (rd) | RD (rd));
1178 the_insn.reloc = BFD_RELOC_NONE;
1179 output_insn (insn, &the_insn);
1180 return;
1181 }
1182
e0c6ed95 1183 if (sizeof (offsetT) > 4
6c1b24e4
AO
1184 && (the_insn.exp.X_add_number < -(offsetT) U0x80000000
1185 || the_insn.exp.X_add_number > (offsetT) U0xffffffff))
a22b281c
RH
1186 as_warn (_("setsw: number not in -2147483648..4294967295 range"));
1187
e0c6ed95
AM
1188 low32 = the_insn.exp.X_add_number;
1189
a22b281c
RH
1190 if (low32 >= 0)
1191 {
1192 synthetize_setuw (insn);
1193 return;
1194 }
1195
1196 opc = OR_INSN;
e0c6ed95 1197
a22b281c
RH
1198 the_insn.reloc = BFD_RELOC_NONE;
1199 /* See if operand is absolute and small; skip sethi if so. */
1200 if (low32 < -(1 << 12))
1201 {
1202 the_insn.opcode = (SETHI_INSN | RD (rd)
1203 | (((~the_insn.exp.X_add_number) >> 10) & 0x3fffff));
1204 output_insn (insn, &the_insn);
1205 low32 = 0x1c00 | (low32 & 0x3ff);
1206 opc = RS1 (rd) | XOR_INSN;
1207 }
1208
1209 the_insn.opcode = (opc | RD (rd) | IMMED
1210 | (low32 & 0x1fff));
1211 output_insn (insn, &the_insn);
1212}
1213
0d495746 1214/* Handle the setx synthetic instruction. */
e0c6ed95 1215
a22b281c 1216static void
5a49b8ac 1217synthetize_setx (const struct sparc_opcode *insn)
a22b281c
RH
1218{
1219 int upper32, lower32;
1220 int tmpreg = (the_insn.opcode & RS1 (~0)) >> 14;
1221 int dstreg = (the_insn.opcode & RD (~0)) >> 25;
1222 int upper_dstreg;
1223 int need_hh22_p = 0, need_hm10_p = 0, need_hi22_p = 0, need_lo10_p = 0;
1224 int need_xor10_p = 0;
e0c6ed95 1225
6c1b24e4 1226#define SIGNEXT32(x) ((((x) & U0xffffffff) ^ U0x80000000) - U0x80000000)
a22b281c
RH
1227 lower32 = SIGNEXT32 (the_insn.exp.X_add_number);
1228 upper32 = SIGNEXT32 (BSR (the_insn.exp.X_add_number, 32));
1229#undef SIGNEXT32
1230
1231 upper_dstreg = tmpreg;
1232 /* The tmp reg should not be the dst reg. */
1233 if (tmpreg == dstreg)
1234 as_warn (_("setx: temporary register same as destination register"));
1235
1236 /* ??? Obviously there are other optimizations we can do
1237 (e.g. sethi+shift for 0x1f0000000) and perhaps we shouldn't be
1238 doing some of these. Later. If you do change things, try to
1239 change all of this to be table driven as well. */
1240 /* What to output depends on the number if it's constant.
1241 Compute that first, then output what we've decided upon. */
1242 if (the_insn.exp.X_op != O_constant)
1243 {
1244 if (sparc_arch_size == 32)
1245 {
1246 /* When arch size is 32, we want setx to be equivalent
1247 to setuw for anything but constants. */
1248 the_insn.exp.X_add_number &= 0xffffffff;
1249 synthetize_setuw (insn);
1250 return;
1251 }
1252 need_hh22_p = need_hm10_p = need_hi22_p = need_lo10_p = 1;
ab3e48dc
KH
1253 lower32 = 0;
1254 upper32 = 0;
a22b281c
RH
1255 }
1256 else
1257 {
1258 /* Reset X_add_number, we've extracted it as upper32/lower32.
1259 Otherwise fixup_segment will complain about not being able to
1260 write an 8 byte number in a 4 byte field. */
1261 the_insn.exp.X_add_number = 0;
e0c6ed95 1262
a22b281c
RH
1263 /* Only need hh22 if `or' insn can't handle constant. */
1264 if (upper32 < -(1 << 12) || upper32 >= (1 << 12))
1265 need_hh22_p = 1;
e0c6ed95 1266
a22b281c
RH
1267 /* Does bottom part (after sethi) have bits? */
1268 if ((need_hh22_p && (upper32 & 0x3ff) != 0)
1269 /* No hh22, but does upper32 still have bits we can't set
1270 from lower32? */
1271 || (! need_hh22_p && upper32 != 0 && upper32 != -1))
1272 need_hm10_p = 1;
e0c6ed95 1273
a22b281c
RH
1274 /* If the lower half is all zero, we build the upper half directly
1275 into the dst reg. */
1276 if (lower32 != 0
1277 /* Need lower half if number is zero or 0xffffffff00000000. */
1278 || (! need_hh22_p && ! need_hm10_p))
1279 {
1280 /* No need for sethi if `or' insn can handle constant. */
1281 if (lower32 < -(1 << 12) || lower32 >= (1 << 12)
1282 /* Note that we can't use a negative constant in the `or'
1283 insn unless the upper 32 bits are all ones. */
1284 || (lower32 < 0 && upper32 != -1)
1285 || (lower32 >= 0 && upper32 == -1))
1286 need_hi22_p = 1;
e0c6ed95 1287
a22b281c
RH
1288 if (need_hi22_p && upper32 == -1)
1289 need_xor10_p = 1;
1290
1291 /* Does bottom part (after sethi) have bits? */
1292 else if ((need_hi22_p && (lower32 & 0x3ff) != 0)
1293 /* No sethi. */
1294 || (! need_hi22_p && (lower32 & 0x1fff) != 0)
1295 /* Need `or' if we didn't set anything else. */
1296 || (! need_hi22_p && ! need_hh22_p && ! need_hm10_p))
1297 need_lo10_p = 1;
1298 }
1299 else
1300 /* Output directly to dst reg if lower 32 bits are all zero. */
1301 upper_dstreg = dstreg;
1302 }
e0c6ed95 1303
a22b281c
RH
1304 if (!upper_dstreg && dstreg)
1305 as_warn (_("setx: illegal temporary register g0"));
1306
1307 if (need_hh22_p)
1308 {
1309 the_insn.opcode = (SETHI_INSN | RD (upper_dstreg)
1310 | ((upper32 >> 10) & 0x3fffff));
1311 the_insn.reloc = (the_insn.exp.X_op != O_constant
1312 ? BFD_RELOC_SPARC_HH22 : BFD_RELOC_NONE);
1313 output_insn (insn, &the_insn);
1314 }
e0c6ed95 1315
a22b281c
RH
1316 if (need_hi22_p)
1317 {
1318 the_insn.opcode = (SETHI_INSN | RD (dstreg)
1319 | (((need_xor10_p ? ~lower32 : lower32)
ab3e48dc 1320 >> 10) & 0x3fffff));
a22b281c
RH
1321 the_insn.reloc = (the_insn.exp.X_op != O_constant
1322 ? BFD_RELOC_SPARC_LM22 : BFD_RELOC_NONE);
1323 output_insn (insn, &the_insn);
1324 }
1325
1326 if (need_hm10_p)
1327 {
1328 the_insn.opcode = (OR_INSN
1329 | (need_hh22_p ? RS1 (upper_dstreg) : 0)
1330 | RD (upper_dstreg)
1331 | IMMED
1332 | (upper32 & (need_hh22_p ? 0x3ff : 0x1fff)));
1333 the_insn.reloc = (the_insn.exp.X_op != O_constant
1334 ? BFD_RELOC_SPARC_HM10 : BFD_RELOC_NONE);
1335 output_insn (insn, &the_insn);
1336 }
e0c6ed95 1337
a22b281c
RH
1338 if (need_lo10_p)
1339 {
1340 /* FIXME: One nice optimization to do here is to OR the low part
1341 with the highpart if hi22 isn't needed and the low part is
1342 positive. */
1343 the_insn.opcode = (OR_INSN | (need_hi22_p ? RS1 (dstreg) : 0)
1344 | RD (dstreg)
1345 | IMMED
1346 | (lower32 & (need_hi22_p ? 0x3ff : 0x1fff)));
1347 the_insn.reloc = (the_insn.exp.X_op != O_constant
1348 ? BFD_RELOC_LO10 : BFD_RELOC_NONE);
1349 output_insn (insn, &the_insn);
1350 }
e0c6ed95 1351
a22b281c
RH
1352 /* If we needed to build the upper part, shift it into place. */
1353 if (need_hh22_p || need_hm10_p)
1354 {
1355 the_insn.opcode = (SLLX_INSN | RS1 (upper_dstreg) | RD (upper_dstreg)
1356 | IMMED | 32);
1357 the_insn.reloc = BFD_RELOC_NONE;
1358 output_insn (insn, &the_insn);
1359 }
e0c6ed95 1360
a22b281c
RH
1361 /* To get -1 in upper32, we do sethi %hi(~x), r; xor r, -0x400 | x, r. */
1362 if (need_xor10_p)
1363 {
1364 the_insn.opcode = (XOR_INSN | RS1 (dstreg) | RD (dstreg) | IMMED
1365 | 0x1c00 | (lower32 & 0x3ff));
1366 the_insn.reloc = BFD_RELOC_NONE;
1367 output_insn (insn, &the_insn);
1368 }
1369
1370 /* If we needed to build both upper and lower parts, OR them together. */
1371 else if ((need_hh22_p || need_hm10_p) && (need_hi22_p || need_lo10_p))
1372 {
1373 the_insn.opcode = (OR_INSN | RS1 (dstreg) | RS2 (upper_dstreg)
1374 | RD (dstreg));
1375 the_insn.reloc = BFD_RELOC_NONE;
1376 output_insn (insn, &the_insn);
1377 }
1378}
1379\f
252b5132
RH
1380/* Main entry point to assemble one instruction. */
1381
1382void
5a49b8ac 1383md_assemble (char *str)
252b5132
RH
1384{
1385 const struct sparc_opcode *insn;
a22b281c 1386 int special_case;
252b5132
RH
1387
1388 know (str);
a22b281c 1389 special_case = sparc_ip (str, &insn);
b0825cc2
DM
1390 if (insn == NULL)
1391 return;
252b5132
RH
1392
1393 /* We warn about attempts to put a floating point branch in a delay slot,
1394 unless the delay slot has been annulled. */
b0825cc2 1395 if (last_insn != NULL
252b5132
RH
1396 && (insn->flags & F_FBR) != 0
1397 && (last_insn->flags & F_DELAYED) != 0
1398 /* ??? This test isn't completely accurate. We assume anything with
1399 F_{UNBR,CONDBR,FBR} set is annullable. */
1400 && ((last_insn->flags & (F_UNBR | F_CONDBR | F_FBR)) == 0
1401 || (last_opcode & ANNUL) == 0))
1402 as_warn (_("FP branch in delay slot"));
1403
1404 /* SPARC before v9 requires a nop instruction between a floating
1405 point instruction and a floating point branch. We insert one
1406 automatically, with a warning. */
1407 if (max_architecture < SPARC_OPCODE_ARCH_V9
252b5132
RH
1408 && last_insn != NULL
1409 && (insn->flags & F_FBR) != 0
1410 && (last_insn->flags & F_FLOAT) != 0)
1411 {
1412 struct sparc_it nop_insn;
1413
1414 nop_insn.opcode = NOP_INSN;
1415 nop_insn.reloc = BFD_RELOC_NONE;
1416 output_insn (insn, &nop_insn);
1417 as_warn (_("FP branch preceded by FP instruction; NOP inserted"));
1418 }
1419
a22b281c
RH
1420 switch (special_case)
1421 {
1422 case SPECIAL_CASE_NONE:
e0c6ed95 1423 /* Normal insn. */
a22b281c
RH
1424 output_insn (insn, &the_insn);
1425 break;
252b5132 1426
a22b281c
RH
1427 case SPECIAL_CASE_SETSW:
1428 synthetize_setsw (insn);
1429 break;
e0c6ed95 1430
a22b281c
RH
1431 case SPECIAL_CASE_SET:
1432 synthetize_setuw (insn);
1433 break;
252b5132 1434
a22b281c
RH
1435 case SPECIAL_CASE_SETX:
1436 synthetize_setx (insn);
1437 break;
e0c6ed95 1438
a22b281c
RH
1439 case SPECIAL_CASE_FDIV:
1440 {
1441 int rd = (the_insn.opcode >> 25) & 0x1f;
e0c6ed95 1442
a22b281c 1443 output_insn (insn, &the_insn);
e0c6ed95 1444
a22b281c
RH
1445 /* According to information leaked from Sun, the "fdiv" instructions
1446 on early SPARC machines would produce incorrect results sometimes.
1447 The workaround is to add an fmovs of the destination register to
1448 itself just after the instruction. This was true on machines
e0c6ed95 1449 with Weitek 1165 float chips, such as the Sun-4/260 and /280. */
9c2799c2 1450 gas_assert (the_insn.reloc == BFD_RELOC_NONE);
a22b281c
RH
1451 the_insn.opcode = FMOVS_INSN | rd | RD (rd);
1452 output_insn (insn, &the_insn);
1453 return;
1454 }
e0c6ed95 1455
a22b281c
RH
1456 default:
1457 as_fatal (_("failed special case insn sanity check"));
252b5132
RH
1458 }
1459}
1460
4bafe00e 1461static const char *
3d68f91c 1462get_hwcap_name (bfd_uint64_t mask)
4bafe00e 1463{
ec668d69 1464 if (mask & HWCAP_MUL32)
4bafe00e 1465 return "mul32";
ec668d69 1466 if (mask & HWCAP_DIV32)
4bafe00e 1467 return "div32";
ec668d69 1468 if (mask & HWCAP_FSMULD)
4bafe00e 1469 return "fsmuld";
ec668d69 1470 if (mask & HWCAP_V8PLUS)
4bafe00e 1471 return "v8plus";
ec668d69 1472 if (mask & HWCAP_POPC)
4bafe00e 1473 return "popc";
ec668d69 1474 if (mask & HWCAP_VIS)
4bafe00e 1475 return "vis";
ec668d69 1476 if (mask & HWCAP_VIS2)
4bafe00e 1477 return "vis2";
ec668d69 1478 if (mask & HWCAP_ASI_BLK_INIT)
4bafe00e 1479 return "ASIBlkInit";
ec668d69 1480 if (mask & HWCAP_FMAF)
4bafe00e 1481 return "fmaf";
ec668d69 1482 if (mask & HWCAP_VIS3)
4bafe00e 1483 return "vis3";
ec668d69 1484 if (mask & HWCAP_HPC)
4bafe00e 1485 return "hpc";
ec668d69 1486 if (mask & HWCAP_RANDOM)
4bafe00e 1487 return "random";
ec668d69 1488 if (mask & HWCAP_TRANS)
4bafe00e 1489 return "trans";
ec668d69 1490 if (mask & HWCAP_FJFMAU)
4bafe00e 1491 return "fjfmau";
ec668d69 1492 if (mask & HWCAP_IMA)
4bafe00e 1493 return "ima";
ec668d69 1494 if (mask & HWCAP_ASI_CACHE_SPARING)
4bafe00e 1495 return "cspare";
ec668d69
DM
1496 if (mask & HWCAP_AES)
1497 return "aes";
1498 if (mask & HWCAP_DES)
1499 return "des";
1500 if (mask & HWCAP_KASUMI)
1501 return "kasumi";
1502 if (mask & HWCAP_CAMELLIA)
1503 return "camellia";
1504 if (mask & HWCAP_MD5)
1505 return "md5";
1506 if (mask & HWCAP_SHA1)
1507 return "sha1";
1508 if (mask & HWCAP_SHA256)
1509 return "sha256";
1510 if (mask & HWCAP_SHA512)
1511 return "sha512";
1512 if (mask & HWCAP_MPMUL)
1513 return "mpmul";
1514 if (mask & HWCAP_MONT)
1515 return "mont";
1516 if (mask & HWCAP_PAUSE)
1517 return "pause";
1518 if (mask & HWCAP_CBCOND)
1519 return "cbcond";
1520 if (mask & HWCAP_CRC32C)
1521 return "crc32c";
3d68f91c
JM
1522
1523 mask = mask >> 32;
1524 if (mask & HWCAP2_FJATHPLUS)
1525 return "fjathplus";
1526 if (mask & HWCAP2_VIS3B)
1527 return "vis3b";
1528 if (mask & HWCAP2_ADP)
1529 return "adp";
1530 if (mask & HWCAP2_SPARC5)
1531 return "sparc5";
1532 if (mask & HWCAP2_MWAIT)
1533 return "mwait";
1534 if (mask & HWCAP2_XMPMUL)
1535 return "xmpmul";
1536 if (mask & HWCAP2_XMONT)
1537 return "xmont";
1538 if (mask & HWCAP2_NSEC)
1539 return "nsec";
1540
4bafe00e
DM
1541 return "UNKNOWN";
1542}
1543
252b5132
RH
1544/* Subroutine of md_assemble to do the actual parsing. */
1545
a22b281c 1546static int
5a49b8ac 1547sparc_ip (char *str, const struct sparc_opcode **pinsn)
252b5132
RH
1548{
1549 char *error_message = "";
1550 char *s;
1551 const char *args;
1552 char c;
1553 const struct sparc_opcode *insn;
1554 char *argsStart;
1555 unsigned long opcode;
1556 unsigned int mask = 0;
1557 int match = 0;
1558 int comma = 0;
1559 int v9_arg_p;
a22b281c 1560 int special_case = SPECIAL_CASE_NONE;
252b5132
RH
1561
1562 s = str;
3882b010 1563 if (ISLOWER (*s))
252b5132
RH
1564 {
1565 do
1566 ++s;
6cda1326 1567 while (ISLOWER (*s) || ISDIGIT (*s) || *s == '_');
252b5132
RH
1568 }
1569
1570 switch (*s)
1571 {
1572 case '\0':
1573 break;
1574
1575 case ',':
1576 comma = 1;
e0c6ed95 1577 /* Fall through. */
252b5132
RH
1578
1579 case ' ':
1580 *s++ = '\0';
1581 break;
1582
1583 default:
b0825cc2
DM
1584 as_bad (_("Unknown opcode: `%s'"), str);
1585 *pinsn = NULL;
1586 return special_case;
252b5132
RH
1587 }
1588 insn = (struct sparc_opcode *) hash_find (op_hash, str);
1589 *pinsn = insn;
1590 if (insn == NULL)
1591 {
1592 as_bad (_("Unknown opcode: `%s'"), str);
a22b281c 1593 return special_case;
252b5132
RH
1594 }
1595 if (comma)
1596 {
1597 *--s = ',';
1598 }
1599
1600 argsStart = s;
1601 for (;;)
1602 {
1603 opcode = insn->match;
1604 memset (&the_insn, '\0', sizeof (the_insn));
1605 the_insn.reloc = BFD_RELOC_NONE;
1606 v9_arg_p = 0;
1607
e0c6ed95
AM
1608 /* Build the opcode, checking as we go to make sure that the
1609 operands match. */
252b5132
RH
1610 for (args = insn->args;; ++args)
1611 {
1612 switch (*args)
1613 {
1614 case 'K':
1615 {
1616 int kmask = 0;
1617
1618 /* Parse a series of masks. */
1619 if (*s == '#')
1620 {
1621 while (*s == '#')
1622 {
91d6fa6a 1623 int jmask;
252b5132
RH
1624
1625 if (! parse_keyword_arg (sparc_encode_membar, &s,
91d6fa6a 1626 &jmask))
252b5132
RH
1627 {
1628 error_message = _(": invalid membar mask name");
1629 goto error;
1630 }
91d6fa6a 1631 kmask |= jmask;
47926f60
KH
1632 while (*s == ' ')
1633 ++s;
252b5132
RH
1634 if (*s == '|' || *s == '+')
1635 ++s;
47926f60
KH
1636 while (*s == ' ')
1637 ++s;
252b5132
RH
1638 }
1639 }
1640 else
1641 {
1642 if (! parse_const_expr_arg (&s, &kmask))
1643 {
1644 error_message = _(": invalid membar mask expression");
1645 goto error;
1646 }
1647 if (kmask < 0 || kmask > 127)
1648 {
1649 error_message = _(": invalid membar mask number");
1650 goto error;
1651 }
1652 }
1653
1654 opcode |= MEMBAR (kmask);
1655 continue;
1656 }
1657
19f7b010
JJ
1658 case '3':
1659 {
1660 int smask = 0;
1661
1662 if (! parse_const_expr_arg (&s, &smask))
1663 {
1664 error_message = _(": invalid siam mode expression");
1665 goto error;
1666 }
1667 if (smask < 0 || smask > 7)
1668 {
1669 error_message = _(": invalid siam mode number");
1670 goto error;
1671 }
1672 opcode |= smask;
1673 continue;
1674 }
1675
252b5132
RH
1676 case '*':
1677 {
1678 int fcn = 0;
1679
1680 /* Parse a prefetch function. */
1681 if (*s == '#')
1682 {
1683 if (! parse_keyword_arg (sparc_encode_prefetch, &s, &fcn))
1684 {
1685 error_message = _(": invalid prefetch function name");
1686 goto error;
1687 }
1688 }
1689 else
1690 {
1691 if (! parse_const_expr_arg (&s, &fcn))
1692 {
1693 error_message = _(": invalid prefetch function expression");
1694 goto error;
1695 }
1696 if (fcn < 0 || fcn > 31)
1697 {
1698 error_message = _(": invalid prefetch function number");
1699 goto error;
1700 }
1701 }
1702 opcode |= RD (fcn);
1703 continue;
1704 }
1705
1706 case '!':
1707 case '?':
1708 /* Parse a sparc64 privileged register. */
1709 if (*s == '%')
1710 {
1711 struct priv_reg_entry *p = priv_reg_table;
e0c6ed95 1712 unsigned int len = 9999999; /* Init to make gcc happy. */
252b5132
RH
1713
1714 s += 1;
1715 while (p->name[0] > s[0])
1716 p++;
1717 while (p->name[0] == s[0])
1718 {
1719 len = strlen (p->name);
1720 if (strncmp (p->name, s, len) == 0)
1721 break;
1722 p++;
1723 }
1724 if (p->name[0] != s[0])
1725 {
1726 error_message = _(": unrecognizable privileged register");
1727 goto error;
1728 }
1729 if (*args == '?')
1730 opcode |= (p->regnum << 14);
1731 else
1732 opcode |= (p->regnum << 25);
1733 s += len;
1734 continue;
1735 }
1736 else
1737 {
1738 error_message = _(": unrecognizable privileged register");
1739 goto error;
1740 }
1741
10156f83
DM
1742 case '$':
1743 case '%':
1744 /* Parse a sparc64 hyperprivileged register. */
1745 if (*s == '%')
1746 {
1747 struct priv_reg_entry *p = hpriv_reg_table;
1748 unsigned int len = 9999999; /* Init to make gcc happy. */
1749
1750 s += 1;
1751 while (p->name[0] > s[0])
1752 p++;
1753 while (p->name[0] == s[0])
1754 {
1755 len = strlen (p->name);
1756 if (strncmp (p->name, s, len) == 0)
1757 break;
1758 p++;
1759 }
1760 if (p->name[0] != s[0])
1761 {
1762 error_message = _(": unrecognizable hyperprivileged register");
1763 goto error;
1764 }
1765 if (*args == '$')
1766 opcode |= (p->regnum << 14);
1767 else
1768 opcode |= (p->regnum << 25);
1769 s += len;
1770 continue;
1771 }
1772 else
1773 {
1774 error_message = _(": unrecognizable hyperprivileged register");
1775 goto error;
1776 }
1777
252b5132
RH
1778 case '_':
1779 case '/':
19f7b010 1780 /* Parse a v9a/v9b ancillary state register. */
252b5132
RH
1781 if (*s == '%')
1782 {
1783 struct priv_reg_entry *p = v9a_asr_table;
e0c6ed95 1784 unsigned int len = 9999999; /* Init to make gcc happy. */
252b5132
RH
1785
1786 s += 1;
1787 while (p->name[0] > s[0])
1788 p++;
1789 while (p->name[0] == s[0])
1790 {
1791 len = strlen (p->name);
1792 if (strncmp (p->name, s, len) == 0)
1793 break;
1794 p++;
1795 }
1796 if (p->name[0] != s[0])
1797 {
19f7b010 1798 error_message = _(": unrecognizable v9a or v9b ancillary state register");
252b5132
RH
1799 goto error;
1800 }
1801 if (*args == '/' && (p->regnum == 20 || p->regnum == 21))
1802 {
1803 error_message = _(": rd on write only ancillary state register");
1804 goto error;
e0c6ed95 1805 }
19f7b010
JJ
1806 if (p->regnum >= 24
1807 && (insn->architecture
1808 & SPARC_OPCODE_ARCH_MASK (SPARC_OPCODE_ARCH_V9A)))
1809 {
1810 /* %sys_tick and %sys_tick_cmpr are v9bnotv9a */
1811 error_message = _(": unrecognizable v9a ancillary state register");
1812 goto error;
1813 }
252b5132
RH
1814 if (*args == '/')
1815 opcode |= (p->regnum << 14);
1816 else
1817 opcode |= (p->regnum << 25);
1818 s += len;
1819 continue;
1820 }
1821 else
1822 {
19f7b010 1823 error_message = _(": unrecognizable v9a or v9b ancillary state register");
252b5132
RH
1824 goto error;
1825 }
1826
1827 case 'M':
1828 case 'm':
1829 if (strncmp (s, "%asr", 4) == 0)
1830 {
1831 s += 4;
1832
3882b010 1833 if (ISDIGIT (*s))
252b5132
RH
1834 {
1835 long num = 0;
1836
3882b010 1837 while (ISDIGIT (*s))
252b5132
RH
1838 {
1839 num = num * 10 + *s - '0';
1840 ++s;
1841 }
1842
1843 if (current_architecture >= SPARC_OPCODE_ARCH_V9)
1844 {
1845 if (num < 16 || 31 < num)
1846 {
1847 error_message = _(": asr number must be between 16 and 31");
1848 goto error;
1849 }
1850 }
1851 else
1852 {
1853 if (num < 0 || 31 < num)
1854 {
1855 error_message = _(": asr number must be between 0 and 31");
1856 goto error;
1857 }
1858 }
1859
1860 opcode |= (*args == 'M' ? RS1 (num) : RD (num));
1861 continue;
1862 }
1863 else
1864 {
1865 error_message = _(": expecting %asrN");
1866 goto error;
1867 }
e0c6ed95 1868 } /* if %asr */
252b5132
RH
1869 break;
1870
1871 case 'I':
1872 the_insn.reloc = BFD_RELOC_SPARC_11;
1873 goto immediate;
1874
1875 case 'j':
1876 the_insn.reloc = BFD_RELOC_SPARC_10;
1877 goto immediate;
1878
6cda1326
DM
1879 case ')':
1880 if (*s == ' ')
1881 s++;
1882 if ((s[0] == '0' && s[1] == 'x' && ISXDIGIT (s[2]))
1883 || ISDIGIT (*s))
1884 {
1885 long num = 0;
1886
1887 if (s[0] == '0' && s[1] == 'x')
1888 {
1889 s += 2;
1890 while (ISXDIGIT (*s))
1891 {
1892 num <<= 4;
1893 num |= hex_value (*s);
1894 ++s;
1895 }
1896 }
1897 else
1898 {
1899 while (ISDIGIT (*s))
1900 {
1901 num = num * 10 + *s - '0';
1902 ++s;
1903 }
1904 }
1905 if (num < 0 || num > 31)
1906 {
1907 error_message = _(": crypto immediate must be between 0 and 31");
1908 goto error;
1909 }
1910
1911 opcode |= RS3 (num);
1912 continue;
1913 }
1914 else
1915 {
1916 error_message = _(": expecting crypto immediate");
1917 goto error;
1918 }
1919
252b5132
RH
1920 case 'X':
1921 /* V8 systems don't understand BFD_RELOC_SPARC_5. */
1922 if (SPARC_OPCODE_ARCH_V9_P (max_architecture))
1923 the_insn.reloc = BFD_RELOC_SPARC_5;
1924 else
1925 the_insn.reloc = BFD_RELOC_SPARC13;
1926 /* These fields are unsigned, but for upward compatibility,
1927 allow negative values as well. */
1928 goto immediate;
1929
1930 case 'Y':
1931 /* V8 systems don't understand BFD_RELOC_SPARC_6. */
1932 if (SPARC_OPCODE_ARCH_V9_P (max_architecture))
1933 the_insn.reloc = BFD_RELOC_SPARC_6;
1934 else
1935 the_insn.reloc = BFD_RELOC_SPARC13;
1936 /* These fields are unsigned, but for upward compatibility,
1937 allow negative values as well. */
1938 goto immediate;
1939
1940 case 'k':
1941 the_insn.reloc = /* RELOC_WDISP2_14 */ BFD_RELOC_SPARC_WDISP16;
1942 the_insn.pcrel = 1;
1943 goto immediate;
1944
2615994e
DM
1945 case '=':
1946 the_insn.reloc = /* RELOC_WDISP2_8 */ BFD_RELOC_SPARC_WDISP10;
1947 the_insn.pcrel = 1;
1948 goto immediate;
1949
252b5132
RH
1950 case 'G':
1951 the_insn.reloc = BFD_RELOC_SPARC_WDISP19;
1952 the_insn.pcrel = 1;
1953 goto immediate;
1954
1955 case 'N':
1956 if (*s == 'p' && s[1] == 'n')
1957 {
1958 s += 2;
1959 continue;
1960 }
1961 break;
1962
1963 case 'T':
1964 if (*s == 'p' && s[1] == 't')
1965 {
1966 s += 2;
1967 continue;
1968 }
1969 break;
1970
1971 case 'z':
1972 if (*s == ' ')
1973 {
1974 ++s;
1975 }
f9911beb
JM
1976 if ((strncmp (s, "%icc", 4) == 0)
1977 || (sparc_arch_size == 32 && strncmp (s, "%ncc", 4) == 0))
252b5132
RH
1978 {
1979 s += 4;
1980 continue;
1981 }
1982 break;
1983
1984 case 'Z':
1985 if (*s == ' ')
1986 {
1987 ++s;
1988 }
f9911beb
JM
1989 if ((strncmp (s, "%xcc", 4) == 0)
1990 || (sparc_arch_size == 64 && strncmp (s, "%ncc", 4) == 0))
252b5132
RH
1991 {
1992 s += 4;
1993 continue;
1994 }
1995 break;
1996
1997 case '6':
1998 if (*s == ' ')
1999 {
2000 ++s;
2001 }
2002 if (strncmp (s, "%fcc0", 5) == 0)
2003 {
2004 s += 5;
2005 continue;
2006 }
2007 break;
2008
2009 case '7':
2010 if (*s == ' ')
2011 {
2012 ++s;
2013 }
2014 if (strncmp (s, "%fcc1", 5) == 0)
2015 {
2016 s += 5;
2017 continue;
2018 }
2019 break;
2020
2021 case '8':
2022 if (*s == ' ')
2023 {
2024 ++s;
2025 }
2026 if (strncmp (s, "%fcc2", 5) == 0)
2027 {
2028 s += 5;
2029 continue;
2030 }
2031 break;
2032
2033 case '9':
2034 if (*s == ' ')
2035 {
2036 ++s;
2037 }
2038 if (strncmp (s, "%fcc3", 5) == 0)
2039 {
2040 s += 5;
2041 continue;
2042 }
2043 break;
2044
2045 case 'P':
2046 if (strncmp (s, "%pc", 3) == 0)
2047 {
2048 s += 3;
2049 continue;
2050 }
2051 break;
2052
2053 case 'W':
2054 if (strncmp (s, "%tick", 5) == 0)
2055 {
2056 s += 5;
2057 continue;
2058 }
2059 break;
2060
e0c6ed95 2061 case '\0': /* End of args. */
b9734f35 2062 if (s[0] == ',' && s[1] == '%')
252b5132 2063 {
739f7f82 2064 static const struct ops
dfeb0666 2065 {
b9734f35
JJ
2066 /* The name as it appears in assembler. */
2067 char *name;
2068 /* strlen (name), precomputed for speed */
2069 int len;
2070 /* The reloc this pseudo-op translates to. */
2071 int reloc;
739f7f82
DM
2072 /* 1 if tls call. */
2073 int tls_call;
dfeb0666 2074 }
739f7f82 2075 ops[] =
dfeb0666 2076 {
b9734f35
JJ
2077 { "tgd_add", 7, BFD_RELOC_SPARC_TLS_GD_ADD, 0 },
2078 { "tgd_call", 8, BFD_RELOC_SPARC_TLS_GD_CALL, 1 },
2079 { "tldm_add", 8, BFD_RELOC_SPARC_TLS_LDM_ADD, 0 },
2080 { "tldm_call", 9, BFD_RELOC_SPARC_TLS_LDM_CALL, 1 },
2081 { "tldo_add", 8, BFD_RELOC_SPARC_TLS_LDO_ADD, 0 },
2082 { "tie_ldx", 7, BFD_RELOC_SPARC_TLS_IE_LDX, 0 },
2083 { "tie_ld", 6, BFD_RELOC_SPARC_TLS_IE_LD, 0 },
dfeb0666 2084 { "tie_add", 7, BFD_RELOC_SPARC_TLS_IE_ADD, 0 },
739f7f82 2085 { "gdop", 4, BFD_RELOC_SPARC_GOTDATA_OP, 0 },
dfeb0666 2086 { NULL, 0, 0, 0 }
b9734f35 2087 };
739f7f82 2088 const struct ops *o;
b9734f35
JJ
2089 char *s1;
2090 int npar = 0;
2091
739f7f82 2092 for (o = ops; o->name; o++)
b9734f35
JJ
2093 if (strncmp (s + 2, o->name, o->len) == 0)
2094 break;
2095 if (o->name == NULL)
2096 break;
2097
2098 if (s[o->len + 2] != '(')
2099 {
2100 as_bad (_("Illegal operands: %%%s requires arguments in ()"), o->name);
2101 return special_case;
2102 }
2103
739f7f82 2104 if (! o->tls_call && the_insn.reloc != BFD_RELOC_NONE)
b9734f35
JJ
2105 {
2106 as_bad (_("Illegal operands: %%%s cannot be used together with other relocs in the insn ()"),
2107 o->name);
2108 return special_case;
2109 }
2110
739f7f82 2111 if (o->tls_call
b9734f35
JJ
2112 && (the_insn.reloc != BFD_RELOC_32_PCREL_S2
2113 || the_insn.exp.X_add_number != 0
2114 || the_insn.exp.X_add_symbol
2115 != symbol_find_or_make ("__tls_get_addr")))
2116 {
2117 as_bad (_("Illegal operands: %%%s can be only used with call __tls_get_addr"),
2118 o->name);
2119 return special_case;
2120 }
2121
2122 the_insn.reloc = o->reloc;
2123 memset (&the_insn.exp, 0, sizeof (the_insn.exp));
2124 s += o->len + 3;
2125
2126 for (s1 = s; *s1 && *s1 != ',' && *s1 != ']'; s1++)
2127 if (*s1 == '(')
2128 npar++;
2129 else if (*s1 == ')')
2130 {
2131 if (!npar)
2132 break;
2133 npar--;
2134 }
2135
2136 if (*s1 != ')')
2137 {
2138 as_bad (_("Illegal operands: %%%s requires arguments in ()"), o->name);
2139 return special_case;
2140 }
2141
2142 *s1 = '\0';
2143 (void) get_expression (s);
2144 *s1 = ')';
2145 s = s1 + 1;
252b5132 2146 }
b9734f35
JJ
2147 if (*s == '\0')
2148 match = 1;
252b5132
RH
2149 break;
2150
2151 case '+':
2152 if (*s == '+')
2153 {
2154 ++s;
2155 continue;
2156 }
2157 if (*s == '-')
2158 {
2159 continue;
2160 }
2161 break;
2162
e0c6ed95 2163 case '[': /* These must match exactly. */
252b5132
RH
2164 case ']':
2165 case ',':
2166 case ' ':
2167 if (*s++ == *args)
2168 continue;
2169 break;
2170
e0c6ed95 2171 case '#': /* Must be at least one digit. */
3882b010 2172 if (ISDIGIT (*s++))
252b5132 2173 {
3882b010 2174 while (ISDIGIT (*s))
252b5132
RH
2175 {
2176 ++s;
2177 }
2178 continue;
2179 }
2180 break;
2181
e0c6ed95 2182 case 'C': /* Coprocessor state register. */
252b5132
RH
2183 if (strncmp (s, "%csr", 4) == 0)
2184 {
2185 s += 4;
2186 continue;
2187 }
2188 break;
2189
e0c6ed95 2190 case 'b': /* Next operand is a coprocessor register. */
252b5132
RH
2191 case 'c':
2192 case 'D':
3882b010 2193 if (*s++ == '%' && *s++ == 'c' && ISDIGIT (*s))
252b5132
RH
2194 {
2195 mask = *s++;
3882b010 2196 if (ISDIGIT (*s))
252b5132
RH
2197 {
2198 mask = 10 * (mask - '0') + (*s++ - '0');
2199 if (mask >= 32)
2200 {
2201 break;
2202 }
2203 }
2204 else
2205 {
2206 mask -= '0';
2207 }
2208 switch (*args)
2209 {
2210
2211 case 'b':
2212 opcode |= mask << 14;
2213 continue;
2214
2215 case 'c':
2216 opcode |= mask;
2217 continue;
2218
2219 case 'D':
2220 opcode |= mask << 25;
2221 continue;
2222 }
2223 }
2224 break;
2225
2226 case 'r': /* next operand must be a register */
2227 case 'O':
2228 case '1':
2229 case '2':
2230 case 'd':
2231 if (*s++ == '%')
2232 {
2233 switch (c = *s++)
2234 {
2235
2236 case 'f': /* frame pointer */
2237 if (*s++ == 'p')
2238 {
2239 mask = 0x1e;
2240 break;
2241 }
2242 goto error;
2243
2244 case 'g': /* global register */
a22b281c
RH
2245 c = *s++;
2246 if (isoctal (c))
252b5132
RH
2247 {
2248 mask = c - '0';
2249 break;
2250 }
2251 goto error;
2252
2253 case 'i': /* in register */
a22b281c
RH
2254 c = *s++;
2255 if (isoctal (c))
252b5132
RH
2256 {
2257 mask = c - '0' + 24;
2258 break;
2259 }
2260 goto error;
2261
2262 case 'l': /* local register */
a22b281c
RH
2263 c = *s++;
2264 if (isoctal (c))
252b5132
RH
2265 {
2266 mask = (c - '0' + 16);
2267 break;
2268 }
2269 goto error;
2270
2271 case 'o': /* out register */
a22b281c
RH
2272 c = *s++;
2273 if (isoctal (c))
252b5132
RH
2274 {
2275 mask = (c - '0' + 8);
2276 break;
2277 }
2278 goto error;
2279
2280 case 's': /* stack pointer */
2281 if (*s++ == 'p')
2282 {
2283 mask = 0xe;
2284 break;
2285 }
2286 goto error;
2287
2288 case 'r': /* any register */
3882b010 2289 if (!ISDIGIT ((c = *s++)))
252b5132
RH
2290 {
2291 goto error;
2292 }
2293 /* FALLTHROUGH */
2294 case '0':
2295 case '1':
2296 case '2':
2297 case '3':
2298 case '4':
2299 case '5':
2300 case '6':
2301 case '7':
2302 case '8':
2303 case '9':
3882b010 2304 if (ISDIGIT (*s))
252b5132
RH
2305 {
2306 if ((c = 10 * (c - '0') + (*s++ - '0')) >= 32)
2307 {
2308 goto error;
2309 }
2310 }
2311 else
2312 {
2313 c -= '0';
2314 }
2315 mask = c;
2316 break;
2317
2318 default:
2319 goto error;
2320 }
2321
6d8809aa 2322 if ((mask & ~1) == 2 && sparc_arch_size == 64
e0c6ed95 2323 && no_undeclared_regs && ! globals[mask])
79bd78be 2324 as_bad (_("detected global register use not covered by .register pseudo-op"));
6d8809aa 2325
252b5132
RH
2326 /* Got the register, now figure out where
2327 it goes in the opcode. */
2328 switch (*args)
2329 {
2330 case '1':
2331 opcode |= mask << 14;
2332 continue;
2333
2334 case '2':
2335 opcode |= mask;
2336 continue;
2337
2338 case 'd':
2339 opcode |= mask << 25;
2340 continue;
2341
2342 case 'r':
2343 opcode |= (mask << 25) | (mask << 14);
2344 continue;
2345
2346 case 'O':
2347 opcode |= (mask << 25) | (mask << 0);
2348 continue;
2349 }
2350 }
2351 break;
2352
2353 case 'e': /* next operand is a floating point register */
2354 case 'v':
2355 case 'V':
2356
2357 case 'f':
2358 case 'B':
2359 case 'R':
2360
ea783ef3
DM
2361 case '4':
2362 case '5':
2363
252b5132
RH
2364 case 'g':
2365 case 'H':
2366 case 'J':
3d68f91c 2367 case '}':
252b5132
RH
2368 {
2369 char format;
2370
2371 if (*s++ == '%'
2372 && ((format = *s) == 'f')
3882b010 2373 && ISDIGIT (*++s))
252b5132 2374 {
3882b010 2375 for (mask = 0; ISDIGIT (*s); ++s)
252b5132
RH
2376 {
2377 mask = 10 * mask + (*s - '0');
2378 } /* read the number */
2379
2380 if ((*args == 'v'
2381 || *args == 'B'
ea783ef3 2382 || *args == '5'
252b5132
RH
2383 || *args == 'H')
2384 && (mask & 1))
2385 {
2386 break;
2387 } /* register must be even numbered */
2388
2389 if ((*args == 'V'
2390 || *args == 'R'
2391 || *args == 'J')
2392 && (mask & 3))
2393 {
2394 break;
2395 } /* register must be multiple of 4 */
2396
2397 if (mask >= 64)
2398 {
2399 if (SPARC_OPCODE_ARCH_V9_P (max_architecture))
2400 error_message = _(": There are only 64 f registers; [0-63]");
2401 else
2402 error_message = _(": There are only 32 f registers; [0-31]");
2403 goto error;
2404 } /* on error */
2405 else if (mask >= 32)
2406 {
2407 if (SPARC_OPCODE_ARCH_V9_P (max_architecture))
2408 {
26664553
JJ
2409 if (*args == 'e' || *args == 'f' || *args == 'g')
2410 {
2411 error_message
2412 = _(": There are only 32 single precision f registers; [0-31]");
2413 goto error;
2414 }
252b5132
RH
2415 v9_arg_p = 1;
2416 mask -= 31; /* wrap high bit */
2417 }
2418 else
2419 {
2420 error_message = _(": There are only 32 f registers; [0-31]");
2421 goto error;
2422 }
2423 }
2424 }
2425 else
2426 {
2427 break;
ab3e48dc 2428 } /* if not an 'f' register. */
252b5132 2429
3d68f91c
JM
2430 if (*args == '}' && mask != RS2 (opcode))
2431 {
2432 error_message
2433 = _(": Instruction requires frs2 and frsd must be the same register");
2434 goto error;
2435 }
2436
252b5132
RH
2437 switch (*args)
2438 {
2439 case 'v':
2440 case 'V':
2441 case 'e':
2442 opcode |= RS1 (mask);
2443 continue;
2444
252b5132
RH
2445 case 'f':
2446 case 'B':
2447 case 'R':
2448 opcode |= RS2 (mask);
2449 continue;
2450
ea783ef3
DM
2451 case '4':
2452 case '5':
2453 opcode |= RS3 (mask);
2454 continue;
2455
252b5132
RH
2456 case 'g':
2457 case 'H':
2458 case 'J':
3d68f91c 2459 case '}':
252b5132
RH
2460 opcode |= RD (mask);
2461 continue;
ab3e48dc 2462 } /* Pack it in. */
252b5132
RH
2463
2464 know (0);
2465 break;
ab3e48dc 2466 } /* float arg */
252b5132
RH
2467
2468 case 'F':
2469 if (strncmp (s, "%fsr", 4) == 0)
2470 {
2471 s += 4;
2472 continue;
2473 }
2474 break;
2475
ea783ef3
DM
2476 case '(':
2477 if (strncmp (s, "%efsr", 5) == 0)
2478 {
2479 s += 5;
2480 continue;
2481 }
2482 break;
2483
ab3e48dc
KH
2484 case '0': /* 64 bit immediate (set, setsw, setx insn) */
2485 the_insn.reloc = BFD_RELOC_NONE; /* reloc handled elsewhere */
252b5132
RH
2486 goto immediate;
2487
ab3e48dc 2488 case 'l': /* 22 bit PC relative immediate */
252b5132
RH
2489 the_insn.reloc = BFD_RELOC_SPARC_WDISP22;
2490 the_insn.pcrel = 1;
2491 goto immediate;
2492
ab3e48dc 2493 case 'L': /* 30 bit immediate */
252b5132
RH
2494 the_insn.reloc = BFD_RELOC_32_PCREL_S2;
2495 the_insn.pcrel = 1;
2496 goto immediate;
2497
63fab58c 2498 case 'h':
ab3e48dc 2499 case 'n': /* 22 bit immediate */
252b5132
RH
2500 the_insn.reloc = BFD_RELOC_SPARC22;
2501 goto immediate;
2502
ab3e48dc 2503 case 'i': /* 13 bit immediate */
252b5132
RH
2504 the_insn.reloc = BFD_RELOC_SPARC13;
2505
2506 /* fallthrough */
2507
2508 immediate:
2509 if (*s == ' ')
2510 s++;
2511
cf9a1301
RH
2512 {
2513 char *s1;
2514 char *op_arg = NULL;
30eb9c17 2515 static expressionS op_exp;
cf9a1301
RH
2516 bfd_reloc_code_real_type old_reloc = the_insn.reloc;
2517
2518 /* Check for %hi, etc. */
2519 if (*s == '%')
2520 {
2521 static const struct ops {
2522 /* The name as it appears in assembler. */
2523 char *name;
2524 /* strlen (name), precomputed for speed */
2525 int len;
2526 /* The reloc this pseudo-op translates to. */
2527 int reloc;
2528 /* Non-zero if for v9 only. */
2529 int v9_p;
2530 /* Non-zero if can be used in pc-relative contexts. */
2531 int pcrel_p;/*FIXME:wip*/
2532 } ops[] = {
2533 /* hix/lox must appear before hi/lo so %hix won't be
2534 mistaken for %hi. */
2535 { "hix", 3, BFD_RELOC_SPARC_HIX22, 1, 0 },
2536 { "lox", 3, BFD_RELOC_SPARC_LOX10, 1, 0 },
2537 { "hi", 2, BFD_RELOC_HI22, 0, 1 },
2538 { "lo", 2, BFD_RELOC_LO10, 0, 1 },
14865d76
DM
2539 { "pc22", 4, BFD_RELOC_SPARC_PC22, 0, 1 },
2540 { "pc10", 4, BFD_RELOC_SPARC_PC10, 0, 1 },
cf9a1301
RH
2541 { "hh", 2, BFD_RELOC_SPARC_HH22, 1, 1 },
2542 { "hm", 2, BFD_RELOC_SPARC_HM10, 1, 1 },
2543 { "lm", 2, BFD_RELOC_SPARC_LM22, 1, 1 },
2615994e
DM
2544 { "h34", 3, BFD_RELOC_SPARC_H34, 1, 0 },
2545 { "l34", 3, BFD_RELOC_SPARC_L44, 1, 0 },
cf9a1301
RH
2546 { "h44", 3, BFD_RELOC_SPARC_H44, 1, 0 },
2547 { "m44", 3, BFD_RELOC_SPARC_M44, 1, 0 },
2548 { "l44", 3, BFD_RELOC_SPARC_L44, 1, 0 },
2549 { "uhi", 3, BFD_RELOC_SPARC_HH22, 1, 0 },
2550 { "ulo", 3, BFD_RELOC_SPARC_HM10, 1, 0 },
b9734f35
JJ
2551 { "tgd_hi22", 8, BFD_RELOC_SPARC_TLS_GD_HI22, 0, 0 },
2552 { "tgd_lo10", 8, BFD_RELOC_SPARC_TLS_GD_LO10, 0, 0 },
2553 { "tldm_hi22", 9, BFD_RELOC_SPARC_TLS_LDM_HI22, 0, 0 },
2554 { "tldm_lo10", 9, BFD_RELOC_SPARC_TLS_LDM_LO10, 0, 0 },
2555 { "tldo_hix22", 10, BFD_RELOC_SPARC_TLS_LDO_HIX22, 0,
2556 0 },
2557 { "tldo_lox10", 10, BFD_RELOC_SPARC_TLS_LDO_LOX10, 0,
2558 0 },
2559 { "tie_hi22", 8, BFD_RELOC_SPARC_TLS_IE_HI22, 0, 0 },
2560 { "tie_lo10", 8, BFD_RELOC_SPARC_TLS_IE_LO10, 0, 0 },
2561 { "tle_hix22", 9, BFD_RELOC_SPARC_TLS_LE_HIX22, 0, 0 },
2562 { "tle_lox10", 9, BFD_RELOC_SPARC_TLS_LE_LOX10, 0, 0 },
739f7f82
DM
2563 { "gdop_hix22", 10, BFD_RELOC_SPARC_GOTDATA_OP_HIX22,
2564 0, 0 },
2565 { "gdop_lox10", 10, BFD_RELOC_SPARC_GOTDATA_OP_LOX10,
2566 0, 0 },
c2158c24 2567 { NULL, 0, 0, 0, 0 }
cf9a1301
RH
2568 };
2569 const struct ops *o;
e0c6ed95 2570
cf9a1301
RH
2571 for (o = ops; o->name; o++)
2572 if (strncmp (s + 1, o->name, o->len) == 0)
2573 break;
2574 if (o->name == NULL)
252b5132 2575 break;
e0c6ed95 2576
cf9a1301
RH
2577 if (s[o->len + 1] != '(')
2578 {
2579 as_bad (_("Illegal operands: %%%s requires arguments in ()"), o->name);
a22b281c 2580 return special_case;
cf9a1301 2581 }
252b5132 2582
cf9a1301
RH
2583 op_arg = o->name;
2584 the_insn.reloc = o->reloc;
2585 s += o->len + 2;
2586 v9_arg_p = o->v9_p;
2587 }
2588
2589 /* Note that if the get_expression() fails, we will still
2590 have created U entries in the symbol table for the
2591 'symbols' in the input string. Try not to create U
2592 symbols for registers, etc. */
252b5132 2593
252b5132
RH
2594 /* This stuff checks to see if the expression ends in
2595 +%reg. If it does, it removes the register from
2596 the expression, and re-sets 's' to point to the
2597 right place. */
2598
cf9a1301
RH
2599 if (op_arg)
2600 {
2601 int npar = 0;
2602
2603 for (s1 = s; *s1 && *s1 != ',' && *s1 != ']'; s1++)
2604 if (*s1 == '(')
2605 npar++;
2606 else if (*s1 == ')')
2607 {
2608 if (!npar)
2609 break;
2610 npar--;
2611 }
2612
2613 if (*s1 != ')')
2614 {
2615 as_bad (_("Illegal operands: %%%s requires arguments in ()"), op_arg);
a22b281c 2616 return special_case;
cf9a1301 2617 }
e0c6ed95 2618
cf9a1301
RH
2619 *s1 = '\0';
2620 (void) get_expression (s);
2621 *s1 = ')';
2622 s = s1 + 1;
2623 if (*s == ',' || *s == ']' || !*s)
2624 continue;
2625 if (*s != '+' && *s != '-')
2626 {
2627 as_bad (_("Illegal operands: Can't do arithmetics other than + and - involving %%%s()"), op_arg);
a22b281c 2628 return special_case;
cf9a1301
RH
2629 }
2630 *s1 = '0';
2631 s = s1;
2632 op_exp = the_insn.exp;
e0c6ed95 2633 memset (&the_insn.exp, 0, sizeof (the_insn.exp));
cf9a1301 2634 }
252b5132 2635
e0c6ed95
AM
2636 for (s1 = s; *s1 && *s1 != ',' && *s1 != ']'; s1++)
2637 ;
252b5132 2638
3882b010 2639 if (s1 != s && ISDIGIT (s1[-1]))
252b5132
RH
2640 {
2641 if (s1[-2] == '%' && s1[-3] == '+')
cf9a1301 2642 s1 -= 3;
f124dd4f 2643 else if (strchr ("golir0123456789", s1[-2]) && s1[-3] == '%' && s1[-4] == '+')
cf9a1301 2644 s1 -= 4;
f124dd4f
DM
2645 else if (s1[-3] == 'r' && s1[-4] == '%' && s1[-5] == '+')
2646 s1 -= 5;
cf9a1301
RH
2647 else
2648 s1 = NULL;
2649 if (s1)
252b5132 2650 {
252b5132 2651 *s1 = '\0';
1eb7027c
RH
2652 if (op_arg && s1 == s + 1)
2653 the_insn.exp.X_op = O_absent;
2654 else
2655 (void) get_expression (s);
252b5132 2656 *s1 = '+';
cf9a1301
RH
2657 if (op_arg)
2658 *s = ')';
252b5132 2659 s = s1;
252b5132 2660 }
cf9a1301
RH
2661 }
2662 else
2663 s1 = NULL;
2664
2665 if (!s1)
2666 {
2667 (void) get_expression (s);
2668 if (op_arg)
2669 *s = ')';
2670 s = expr_end;
2671 }
2672
2673 if (op_arg)
2674 {
2675 the_insn.exp2 = the_insn.exp;
2676 the_insn.exp = op_exp;
2677 if (the_insn.exp2.X_op == O_absent)
2678 the_insn.exp2.X_op = O_illegal;
2679 else if (the_insn.exp.X_op == O_absent)
252b5132 2680 {
cf9a1301
RH
2681 the_insn.exp = the_insn.exp2;
2682 the_insn.exp2.X_op = O_illegal;
2683 }
2684 else if (the_insn.exp.X_op == O_constant)
2685 {
2686 valueT val = the_insn.exp.X_add_number;
2687 switch (the_insn.reloc)
2688 {
1b50c718
ILT
2689 default:
2690 break;
2691
cf9a1301
RH
2692 case BFD_RELOC_SPARC_HH22:
2693 val = BSR (val, 32);
e0c6ed95 2694 /* Fall through. */
cf9a1301
RH
2695
2696 case BFD_RELOC_SPARC_LM22:
2697 case BFD_RELOC_HI22:
2698 val = (val >> 10) & 0x3fffff;
2699 break;
2700
2701 case BFD_RELOC_SPARC_HM10:
2702 val = BSR (val, 32);
e0c6ed95 2703 /* Fall through. */
cf9a1301
RH
2704
2705 case BFD_RELOC_LO10:
2706 val &= 0x3ff;
2707 break;
2708
2615994e
DM
2709 case BFD_RELOC_SPARC_H34:
2710 val >>= 12;
2711 val &= 0x3fffff;
2712 break;
2713
cf9a1301
RH
2714 case BFD_RELOC_SPARC_H44:
2715 val >>= 22;
2716 val &= 0x3fffff;
2717 break;
2718
2719 case BFD_RELOC_SPARC_M44:
2720 val >>= 12;
2721 val &= 0x3ff;
2722 break;
2723
2724 case BFD_RELOC_SPARC_L44:
2725 val &= 0xfff;
2726 break;
2727
2728 case BFD_RELOC_SPARC_HIX22:
ab3e48dc 2729 val = ~val;
cf9a1301
RH
2730 val = (val >> 10) & 0x3fffff;
2731 break;
2732
2733 case BFD_RELOC_SPARC_LOX10:
2734 val = (val & 0x3ff) | 0x1c00;
2735 break;
2736 }
2737 the_insn.exp = the_insn.exp2;
2738 the_insn.exp.X_add_number += val;
2739 the_insn.exp2.X_op = O_illegal;
2740 the_insn.reloc = old_reloc;
2741 }
2742 else if (the_insn.exp2.X_op != O_constant)
2743 {
2744 as_bad (_("Illegal operands: Can't add non-constant expression to %%%s()"), op_arg);
a22b281c 2745 return special_case;
cf9a1301
RH
2746 }
2747 else
2748 {
dabe3bbc 2749 if (old_reloc != BFD_RELOC_SPARC13
cf9a1301
RH
2750 || the_insn.reloc != BFD_RELOC_LO10
2751 || sparc_arch_size != 64
2752 || sparc_pic_code)
2753 {
2754 as_bad (_("Illegal operands: Can't do arithmetics involving %%%s() of a relocatable symbol"), op_arg);
a22b281c 2755 return special_case;
cf9a1301
RH
2756 }
2757 the_insn.reloc = BFD_RELOC_SPARC_OLO10;
252b5132
RH
2758 }
2759 }
2760 }
252b5132
RH
2761 /* Check for constants that don't require emitting a reloc. */
2762 if (the_insn.exp.X_op == O_constant
2763 && the_insn.exp.X_add_symbol == 0
2764 && the_insn.exp.X_op_symbol == 0)
2765 {
2766 /* For pc-relative call instructions, we reject
2767 constants to get better code. */
2768 if (the_insn.pcrel
2769 && the_insn.reloc == BFD_RELOC_32_PCREL_S2
2770 && in_signed_range (the_insn.exp.X_add_number, 0x3fff))
2771 {
2772 error_message = _(": PC-relative operand can't be a constant");
2773 goto error;
2774 }
2775
b9734f35
JJ
2776 if (the_insn.reloc >= BFD_RELOC_SPARC_TLS_GD_HI22
2777 && the_insn.reloc <= BFD_RELOC_SPARC_TLS_TPOFF64)
2778 {
2779 error_message = _(": TLS operand can't be a constant");
2780 goto error;
2781 }
2782
55cf6793 2783 /* Constants that won't fit are checked in md_apply_fix
252b5132
RH
2784 and bfd_install_relocation.
2785 ??? It would be preferable to install the constants
2786 into the insn here and save having to create a fixS
2787 for each one. There already exists code to handle
55cf6793 2788 all the various cases (e.g. in md_apply_fix and
252b5132
RH
2789 bfd_install_relocation) so duplicating all that code
2790 here isn't right. */
698544e1
DM
2791
2792 /* This is a special case to handle cbcond instructions
2793 properly, which can need two relocations. The first
2794 one is for the 5-bit immediate field and the latter
2795 is going to be for the WDISP10 branch part. We
2796 handle the R_SPARC_5 immediate directly here so that
2797 we don't need to add support for multiple relocations
2798 in one instruction just yet. */
2799 if (the_insn.reloc == BFD_RELOC_SPARC_5)
2800 {
2801 valueT val = the_insn.exp.X_add_number;
2802
2803 if (! in_bitfield_range (val, 0x1f))
2804 {
2805 error_message = _(": Immediate value in cbcond is out of range.");
2806 goto error;
2807 }
2808 opcode |= val & 0x1f;
2809 the_insn.reloc = BFD_RELOC_NONE;
2810 }
252b5132
RH
2811 }
2812
2813 continue;
2814
2815 case 'a':
2816 if (*s++ == 'a')
2817 {
2818 opcode |= ANNUL;
2819 continue;
2820 }
2821 break;
2822
2823 case 'A':
2824 {
2825 int asi = 0;
2826
2827 /* Parse an asi. */
2828 if (*s == '#')
2829 {
2830 if (! parse_keyword_arg (sparc_encode_asi, &s, &asi))
2831 {
2832 error_message = _(": invalid ASI name");
2833 goto error;
2834 }
2835 }
2836 else
2837 {
2838 if (! parse_const_expr_arg (&s, &asi))
2839 {
2840 error_message = _(": invalid ASI expression");
2841 goto error;
2842 }
2843 if (asi < 0 || asi > 255)
2844 {
2845 error_message = _(": invalid ASI number");
2846 goto error;
2847 }
2848 }
2849 opcode |= ASI (asi);
2850 continue;
e0c6ed95 2851 } /* Alternate space. */
252b5132
RH
2852
2853 case 'p':
2854 if (strncmp (s, "%psr", 4) == 0)
2855 {
2856 s += 4;
2857 continue;
2858 }
2859 break;
2860
e0c6ed95 2861 case 'q': /* Floating point queue. */
252b5132
RH
2862 if (strncmp (s, "%fq", 3) == 0)
2863 {
2864 s += 3;
2865 continue;
2866 }
2867 break;
2868
e0c6ed95 2869 case 'Q': /* Coprocessor queue. */
252b5132
RH
2870 if (strncmp (s, "%cq", 3) == 0)
2871 {
2872 s += 3;
2873 continue;
2874 }
2875 break;
2876
2877 case 'S':
2878 if (strcmp (str, "set") == 0
2879 || strcmp (str, "setuw") == 0)
2880 {
2881 special_case = SPECIAL_CASE_SET;
2882 continue;
2883 }
2884 else if (strcmp (str, "setsw") == 0)
2885 {
2886 special_case = SPECIAL_CASE_SETSW;
2887 continue;
2888 }
2889 else if (strcmp (str, "setx") == 0)
2890 {
2891 special_case = SPECIAL_CASE_SETX;
2892 continue;
2893 }
2894 else if (strncmp (str, "fdiv", 4) == 0)
2895 {
2896 special_case = SPECIAL_CASE_FDIV;
2897 continue;
2898 }
2899 break;
2900
2901 case 'o':
2902 if (strncmp (s, "%asi", 4) != 0)
2903 break;
2904 s += 4;
2905 continue;
2906
2907 case 's':
2908 if (strncmp (s, "%fprs", 5) != 0)
2909 break;
2910 s += 5;
2911 continue;
2912
3d68f91c
JM
2913 case '{':
2914 if (strncmp (s, "%mcdper",7) != 0)
2915 break;
2916 s += 7;
2917 continue;
2918
252b5132
RH
2919 case 'E':
2920 if (strncmp (s, "%ccr", 4) != 0)
2921 break;
2922 s += 4;
2923 continue;
2924
2925 case 't':
2926 if (strncmp (s, "%tbr", 4) != 0)
2927 break;
2928 s += 4;
2929 continue;
2930
2931 case 'w':
2932 if (strncmp (s, "%wim", 4) != 0)
2933 break;
2934 s += 4;
2935 continue;
2936
2937 case 'x':
2938 {
2939 char *push = input_line_pointer;
2940 expressionS e;
2941
2942 input_line_pointer = s;
2943 expression (&e);
2944 if (e.X_op == O_constant)
2945 {
2946 int n = e.X_add_number;
2947 if (n != e.X_add_number || (n & ~0x1ff) != 0)
2948 as_bad (_("OPF immediate operand out of range (0-0x1ff)"));
2949 else
2950 opcode |= e.X_add_number << 5;
2951 }
2952 else
2953 as_bad (_("non-immediate OPF operand, ignored"));
2954 s = input_line_pointer;
2955 input_line_pointer = push;
2956 continue;
2957 }
2958
2959 case 'y':
2960 if (strncmp (s, "%y", 2) != 0)
2961 break;
2962 s += 2;
2963 continue;
2964
2965 case 'u':
2966 case 'U':
2967 {
2968 /* Parse a sparclet cpreg. */
2969 int cpreg;
2970 if (! parse_keyword_arg (sparc_encode_sparclet_cpreg, &s, &cpreg))
2971 {
2972 error_message = _(": invalid cpreg name");
2973 goto error;
2974 }
2975 opcode |= (*args == 'U' ? RS1 (cpreg) : RD (cpreg));
2976 continue;
2977 }
2978
2979 default:
2980 as_fatal (_("failed sanity check."));
e0c6ed95 2981 } /* switch on arg code. */
252b5132
RH
2982
2983 /* Break out of for() loop. */
2984 break;
e0c6ed95 2985 } /* For each arg that we expect. */
252b5132
RH
2986
2987 error:
2988 if (match == 0)
2989 {
e0c6ed95 2990 /* Args don't match. */
252b5132
RH
2991 if (&insn[1] - sparc_opcodes < sparc_num_opcodes
2992 && (insn->name == insn[1].name
2993 || !strcmp (insn->name, insn[1].name)))
2994 {
2995 ++insn;
2996 s = argsStart;
2997 continue;
2998 }
2999 else
3000 {
3001 as_bad (_("Illegal operands%s"), error_message);
a22b281c 3002 return special_case;
252b5132
RH
3003 }
3004 }
3005 else
3006 {
e0c6ed95 3007 /* We have a match. Now see if the architecture is OK. */
252b5132 3008 int needed_arch_mask = insn->architecture;
3d68f91c
JM
3009 bfd_uint64_t hwcaps
3010 = (((bfd_uint64_t) insn->hwcaps2) << 32) | insn->hwcaps;
252b5132 3011
4bafe00e 3012#if defined(OBJ_ELF) && !defined(TE_SOLARIS)
9e8c70f9
DM
3013 if (hwcaps)
3014 hwcap_seen |= hwcaps;
3015#endif
252b5132
RH
3016 if (v9_arg_p)
3017 {
19f7b010
JJ
3018 needed_arch_mask &=
3019 ~(SPARC_OPCODE_ARCH_MASK (SPARC_OPCODE_ARCH_V9) - 1);
3020 if (! needed_arch_mask)
3021 needed_arch_mask =
3022 SPARC_OPCODE_ARCH_MASK (SPARC_OPCODE_ARCH_V9);
252b5132
RH
3023 }
3024
e0c6ed95
AM
3025 if (needed_arch_mask
3026 & SPARC_OPCODE_SUPPORTED (current_architecture))
3027 /* OK. */
3028 ;
252b5132 3029 /* Can we bump up the architecture? */
e0c6ed95
AM
3030 else if (needed_arch_mask
3031 & SPARC_OPCODE_SUPPORTED (max_architecture))
252b5132
RH
3032 {
3033 enum sparc_opcode_arch_val needed_architecture =
3034 sparc_ffs (SPARC_OPCODE_SUPPORTED (max_architecture)
3035 & needed_arch_mask);
3036
9c2799c2 3037 gas_assert (needed_architecture <= SPARC_OPCODE_ARCH_MAX);
252b5132
RH
3038 if (warn_on_bump
3039 && needed_architecture > warn_after_architecture)
3040 {
3041 as_warn (_("architecture bumped from \"%s\" to \"%s\" on \"%s\""),
3042 sparc_opcode_archs[current_architecture].name,
3043 sparc_opcode_archs[needed_architecture].name,
3044 str);
3045 warn_after_architecture = needed_architecture;
3046 }
3047 current_architecture = needed_architecture;
75ac3a7f 3048 hwcap_allowed |= hwcaps;
252b5132
RH
3049 }
3050 /* Conflict. */
3051 /* ??? This seems to be a bit fragile. What if the next entry in
3052 the opcode table is the one we want and it is supported?
3053 It is possible to arrange the table today so that this can't
3054 happen but what about tomorrow? */
3055 else
3056 {
e0c6ed95 3057 int arch, printed_one_p = 0;
252b5132
RH
3058 char *p;
3059 char required_archs[SPARC_OPCODE_ARCH_MAX * 16];
3060
3061 /* Create a list of the architectures that support the insn. */
e0c6ed95 3062 needed_arch_mask &= ~SPARC_OPCODE_SUPPORTED (max_architecture);
252b5132
RH
3063 p = required_archs;
3064 arch = sparc_ffs (needed_arch_mask);
3065 while ((1 << arch) <= needed_arch_mask)
3066 {
3067 if ((1 << arch) & needed_arch_mask)
3068 {
3069 if (printed_one_p)
3070 *p++ = '|';
3071 strcpy (p, sparc_opcode_archs[arch].name);
3072 p += strlen (p);
3073 printed_one_p = 1;
3074 }
3075 ++arch;
3076 }
3077
3078 as_bad (_("Architecture mismatch on \"%s\"."), str);
3079 as_tsktsk (_(" (Requires %s; requested architecture is %s.)"),
3080 required_archs,
3081 sparc_opcode_archs[max_architecture].name);
a22b281c 3082 return special_case;
252b5132 3083 }
4bafe00e 3084
9aff4b7a 3085 /* Make sure the hwcaps used by the instruction are
4bafe00e
DM
3086 currently enabled. */
3087 if (hwcaps & ~hwcap_allowed)
3088 {
3089 const char *hwcap_name = get_hwcap_name(hwcaps & ~hwcap_allowed);
3090
3091 as_bad (_("Hardware capability \"%s\" not enabled for \"%s\"."),
3092 hwcap_name, str);
3093 return special_case;
3094 }
e0c6ed95 3095 } /* If no match. */
252b5132
RH
3096
3097 break;
e0c6ed95 3098 } /* Forever looking for a match. */
252b5132
RH
3099
3100 the_insn.opcode = opcode;
a22b281c 3101 return special_case;
252b5132
RH
3102}
3103
3104/* Parse an argument that can be expressed as a keyword.
3105 (eg: #StoreStore or %ccfr).
3106 The result is a boolean indicating success.
3107 If successful, INPUT_POINTER is updated. */
3108
3109static int
5a49b8ac
AM
3110parse_keyword_arg (int (*lookup_fn) (const char *),
3111 char **input_pointerP,
3112 int *valueP)
252b5132
RH
3113{
3114 int value;
3115 char c, *p, *q;
3116
3117 p = *input_pointerP;
3118 for (q = p + (*p == '#' || *p == '%');
3882b010 3119 ISALNUM (*q) || *q == '_';
252b5132
RH
3120 ++q)
3121 continue;
3122 c = *q;
3123 *q = 0;
3124 value = (*lookup_fn) (p);
3125 *q = c;
3126 if (value == -1)
3127 return 0;
3128 *valueP = value;
3129 *input_pointerP = q;
3130 return 1;
3131}
3132
3133/* Parse an argument that is a constant expression.
3134 The result is a boolean indicating success. */
3135
3136static int
5a49b8ac 3137parse_const_expr_arg (char **input_pointerP, int *valueP)
252b5132
RH
3138{
3139 char *save = input_line_pointer;
3140 expressionS exp;
3141
3142 input_line_pointer = *input_pointerP;
3143 /* The next expression may be something other than a constant
3144 (say if we're not processing the right variant of the insn).
3145 Don't call expression unless we're sure it will succeed as it will
3146 signal an error (which we want to defer until later). */
3147 /* FIXME: It might be better to define md_operand and have it recognize
3148 things like %asi, etc. but continuing that route through to the end
3149 is a lot of work. */
3150 if (*input_line_pointer == '%')
3151 {
3152 input_line_pointer = save;
3153 return 0;
3154 }
3155 expression (&exp);
3156 *input_pointerP = input_line_pointer;
3157 input_line_pointer = save;
3158 if (exp.X_op != O_constant)
3159 return 0;
3160 *valueP = exp.X_add_number;
3161 return 1;
3162}
3163
3164/* Subroutine of sparc_ip to parse an expression. */
3165
3166static int
5a49b8ac 3167get_expression (char *str)
252b5132
RH
3168{
3169 char *save_in;
3170 segT seg;
3171
3172 save_in = input_line_pointer;
3173 input_line_pointer = str;
3174 seg = expression (&the_insn.exp);
3175 if (seg != absolute_section
3176 && seg != text_section
3177 && seg != data_section
3178 && seg != bss_section
3179 && seg != undefined_section)
3180 {
3181 the_insn.error = _("bad segment");
3182 expr_end = input_line_pointer;
3183 input_line_pointer = save_in;
3184 return 1;
3185 }
3186 expr_end = input_line_pointer;
3187 input_line_pointer = save_in;
3188 return 0;
3189}
3190
3191/* Subroutine of md_assemble to output one insn. */
3192
3193static void
91d6fa6a 3194output_insn (const struct sparc_opcode *insn, struct sparc_it *theinsn)
252b5132
RH
3195{
3196 char *toP = frag_more (4);
3197
e0c6ed95 3198 /* Put out the opcode. */
252b5132 3199 if (INSN_BIG_ENDIAN)
91d6fa6a 3200 number_to_chars_bigendian (toP, (valueT) theinsn->opcode, 4);
252b5132 3201 else
91d6fa6a 3202 number_to_chars_littleendian (toP, (valueT) theinsn->opcode, 4);
252b5132 3203
e0c6ed95 3204 /* Put out the symbol-dependent stuff. */
91d6fa6a 3205 if (theinsn->reloc != BFD_RELOC_NONE)
252b5132 3206 {
e0c6ed95
AM
3207 fixS *fixP = fix_new_exp (frag_now, /* Which frag. */
3208 (toP - frag_now->fr_literal), /* Where. */
3209 4, /* Size. */
91d6fa6a
NC
3210 &theinsn->exp,
3211 theinsn->pcrel,
3212 theinsn->reloc);
252b5132 3213 /* Turn off overflow checking in fixup_segment. We'll do our
55cf6793 3214 own overflow checking in md_apply_fix. This is necessary because
252b5132
RH
3215 the insn size is 4 and fixup_segment will signal an overflow for
3216 large 8 byte quantities. */
3217 fixP->fx_no_overflow = 1;
91d6fa6a
NC
3218 if (theinsn->reloc == BFD_RELOC_SPARC_OLO10)
3219 fixP->tc_fix_data = theinsn->exp2.X_add_number;
252b5132
RH
3220 }
3221
3222 last_insn = insn;
91d6fa6a 3223 last_opcode = theinsn->opcode;
732d96b6
JJ
3224
3225#ifdef OBJ_ELF
3226 dwarf2_emit_insn (4);
3227#endif
252b5132
RH
3228}
3229\f
252b5132 3230char *
499ac353 3231md_atof (int type, char *litP, int *sizeP)
252b5132 3232{
499ac353 3233 return ieee_md_atof (type, litP, sizeP, target_big_endian);
252b5132
RH
3234}
3235
3236/* Write a value out to the object file, using the appropriate
3237 endianness. */
3238
3239void
5a49b8ac 3240md_number_to_chars (char *buf, valueT val, int n)
252b5132
RH
3241{
3242 if (target_big_endian)
3243 number_to_chars_bigendian (buf, val, n);
3244 else if (target_little_endian_data
3245 && ((n == 4 || n == 2) && ~now_seg->flags & SEC_ALLOC))
e0c6ed95
AM
3246 /* Output debug words, which are not in allocated sections, as big
3247 endian. */
252b5132
RH
3248 number_to_chars_bigendian (buf, val, n);
3249 else if (target_little_endian_data || ! target_big_endian)
3250 number_to_chars_littleendian (buf, val, n);
3251}
3252\f
3253/* Apply a fixS to the frags, now that we know the value it ought to
81d4177b 3254 hold. */
252b5132 3255
94f592af 3256void
5a49b8ac 3257md_apply_fix (fixS *fixP, valueT *valP, segT segment ATTRIBUTE_UNUSED)
252b5132
RH
3258{
3259 char *buf = fixP->fx_where + fixP->fx_frag->fr_literal;
94f592af 3260 offsetT val = * (offsetT *) valP;
252b5132
RH
3261 long insn;
3262
9c2799c2 3263 gas_assert (fixP->fx_r_type < BFD_RELOC_UNUSED);
252b5132 3264
e0c6ed95 3265 fixP->fx_addnumber = val; /* Remember value for emit_reloc. */
252b5132
RH
3266
3267#ifdef OBJ_ELF
a161fe53 3268 /* SPARC ELF relocations don't use an addend in the data field. */
252b5132 3269 if (fixP->fx_addsy != NULL)
7c1d0959
L
3270 {
3271 switch (fixP->fx_r_type)
3272 {
3273 case BFD_RELOC_SPARC_TLS_GD_HI22:
3274 case BFD_RELOC_SPARC_TLS_GD_LO10:
3275 case BFD_RELOC_SPARC_TLS_GD_ADD:
3276 case BFD_RELOC_SPARC_TLS_GD_CALL:
3277 case BFD_RELOC_SPARC_TLS_LDM_HI22:
3278 case BFD_RELOC_SPARC_TLS_LDM_LO10:
3279 case BFD_RELOC_SPARC_TLS_LDM_ADD:
3280 case BFD_RELOC_SPARC_TLS_LDM_CALL:
3281 case BFD_RELOC_SPARC_TLS_LDO_HIX22:
3282 case BFD_RELOC_SPARC_TLS_LDO_LOX10:
3283 case BFD_RELOC_SPARC_TLS_LDO_ADD:
3284 case BFD_RELOC_SPARC_TLS_IE_HI22:
3285 case BFD_RELOC_SPARC_TLS_IE_LO10:
3286 case BFD_RELOC_SPARC_TLS_IE_LD:
3287 case BFD_RELOC_SPARC_TLS_IE_LDX:
3288 case BFD_RELOC_SPARC_TLS_IE_ADD:
3289 case BFD_RELOC_SPARC_TLS_LE_HIX22:
3290 case BFD_RELOC_SPARC_TLS_LE_LOX10:
3291 case BFD_RELOC_SPARC_TLS_DTPMOD32:
3292 case BFD_RELOC_SPARC_TLS_DTPMOD64:
3293 case BFD_RELOC_SPARC_TLS_DTPOFF32:
3294 case BFD_RELOC_SPARC_TLS_DTPOFF64:
3295 case BFD_RELOC_SPARC_TLS_TPOFF32:
3296 case BFD_RELOC_SPARC_TLS_TPOFF64:
3297 S_SET_THREAD_LOCAL (fixP->fx_addsy);
3298
3299 default:
3300 break;
3301 }
3302
3303 return;
3304 }
252b5132
RH
3305#endif
3306
3307 /* This is a hack. There should be a better way to
3308 handle this. Probably in terms of howto fields, once
3309 we can look at these fixups in terms of howtos. */
3310 if (fixP->fx_r_type == BFD_RELOC_32_PCREL_S2 && fixP->fx_addsy)
3311 val += fixP->fx_where + fixP->fx_frag->fr_address;
3312
3313#ifdef OBJ_AOUT
3314 /* FIXME: More ridiculous gas reloc hacking. If we are going to
3315 generate a reloc, then we just want to let the reloc addend set
3316 the value. We do not want to also stuff the addend into the
3317 object file. Including the addend in the object file works when
3318 doing a static link, because the linker will ignore the object
3319 file contents. However, the dynamic linker does not ignore the
3320 object file contents. */
3321 if (fixP->fx_addsy != NULL
3322 && fixP->fx_r_type != BFD_RELOC_32_PCREL_S2)
3323 val = 0;
3324
3325 /* When generating PIC code, we do not want an addend for a reloc
3326 against a local symbol. We adjust fx_addnumber to cancel out the
3327 value already included in val, and to also cancel out the
3328 adjustment which bfd_install_relocation will create. */
3329 if (sparc_pic_code
3330 && fixP->fx_r_type != BFD_RELOC_32_PCREL_S2
3331 && fixP->fx_addsy != NULL
3332 && ! S_IS_COMMON (fixP->fx_addsy)
49309057 3333 && symbol_section_p (fixP->fx_addsy))
252b5132
RH
3334 fixP->fx_addnumber -= 2 * S_GET_VALUE (fixP->fx_addsy);
3335
3336 /* When generating PIC code, we need to fiddle to get
3337 bfd_install_relocation to do the right thing for a PC relative
3338 reloc against a local symbol which we are going to keep. */
3339 if (sparc_pic_code
3340 && fixP->fx_r_type == BFD_RELOC_32_PCREL_S2
3341 && fixP->fx_addsy != NULL
3342 && (S_IS_EXTERNAL (fixP->fx_addsy)
3343 || S_IS_WEAK (fixP->fx_addsy))
3344 && S_IS_DEFINED (fixP->fx_addsy)
3345 && ! S_IS_COMMON (fixP->fx_addsy))
3346 {
3347 val = 0;
3348 fixP->fx_addnumber -= 2 * S_GET_VALUE (fixP->fx_addsy);
3349 }
3350#endif
3351
3352 /* If this is a data relocation, just output VAL. */
3353
a7bbf4e9
DM
3354 if (fixP->fx_r_type == BFD_RELOC_8)
3355 {
3356 md_number_to_chars (buf, val, 1);
3357 }
3358 else if (fixP->fx_r_type == BFD_RELOC_16
3359 || fixP->fx_r_type == BFD_RELOC_SPARC_UA16)
252b5132
RH
3360 {
3361 md_number_to_chars (buf, val, 2);
3362 }
3363 else if (fixP->fx_r_type == BFD_RELOC_32
0f2712ed 3364 || fixP->fx_r_type == BFD_RELOC_SPARC_UA32
252b5132
RH
3365 || fixP->fx_r_type == BFD_RELOC_SPARC_REV32)
3366 {
3367 md_number_to_chars (buf, val, 4);
3368 }
0f2712ed
NC
3369 else if (fixP->fx_r_type == BFD_RELOC_64
3370 || fixP->fx_r_type == BFD_RELOC_SPARC_UA64)
252b5132
RH
3371 {
3372 md_number_to_chars (buf, val, 8);
3373 }
e0c6ed95 3374 else if (fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT
252b5132
RH
3375 || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
3376 {
3377 fixP->fx_done = 0;
94f592af 3378 return;
252b5132
RH
3379 }
3380 else
3381 {
3382 /* It's a relocation against an instruction. */
3383
3384 if (INSN_BIG_ENDIAN)
3385 insn = bfd_getb32 ((unsigned char *) buf);
3386 else
3387 insn = bfd_getl32 ((unsigned char *) buf);
e0c6ed95 3388
252b5132
RH
3389 switch (fixP->fx_r_type)
3390 {
3391 case BFD_RELOC_32_PCREL_S2:
3392 val = val >> 2;
3393 /* FIXME: This increment-by-one deserves a comment of why it's
3394 being done! */
3395 if (! sparc_pic_code
3396 || fixP->fx_addsy == NULL
49309057 3397 || symbol_section_p (fixP->fx_addsy))
252b5132 3398 ++val;
6faf3d66 3399
252b5132 3400 insn |= val & 0x3fffffff;
6faf3d66 3401
e0c6ed95 3402 /* See if we have a delay slot. */
6faf3d66
JJ
3403 if (sparc_relax && fixP->fx_where + 8 <= fixP->fx_frag->fr_fix)
3404 {
3405#define G0 0
3406#define O7 15
3407#define XCC (2 << 20)
3408#define COND(x) (((x)&0xf)<<25)
3409#define CONDA COND(0x8)
3410#define INSN_BPA (F2(0,1) | CONDA | BPRED | XCC)
3411#define INSN_BA (F2(0,2) | CONDA)
3412#define INSN_OR F3(2, 0x2, 0)
3413#define INSN_NOP F2(0,4)
3414
3415 long delay;
3416
3417 /* If the instruction is a call with either:
3418 restore
3419 arithmetic instruction with rd == %o7
3420 where rs1 != %o7 and rs2 if it is register != %o7
3421 then we can optimize if the call destination is near
3422 by changing the call into a branch always. */
3423 if (INSN_BIG_ENDIAN)
3424 delay = bfd_getb32 ((unsigned char *) buf + 4);
3425 else
3426 delay = bfd_getl32 ((unsigned char *) buf + 4);
e0c6ed95 3427 if ((insn & OP (~0)) != OP (1) || (delay & OP (~0)) != OP (2))
6faf3d66 3428 break;
e0c6ed95
AM
3429 if ((delay & OP3 (~0)) != OP3 (0x3d) /* Restore. */
3430 && ((delay & OP3 (0x28)) != 0 /* Arithmetic. */
3431 || ((delay & RD (~0)) != RD (O7))))
6faf3d66 3432 break;
e0c6ed95
AM
3433 if ((delay & RS1 (~0)) == RS1 (O7)
3434 || ((delay & F3I (~0)) == 0
3435 && (delay & RS2 (~0)) == RS2 (O7)))
6faf3d66
JJ
3436 break;
3437 /* Ensure the branch will fit into simm22. */
3438 if ((val & 0x3fe00000)
3439 && (val & 0x3fe00000) != 0x3fe00000)
3440 break;
3441 /* Check if the arch is v9 and branch will fit
3442 into simm19. */
3443 if (((val & 0x3c0000) == 0
3444 || (val & 0x3c0000) == 0x3c0000)
3445 && (sparc_arch_size == 64
3446 || current_architecture >= SPARC_OPCODE_ARCH_V9))
e0c6ed95 3447 /* ba,pt %xcc */
6faf3d66
JJ
3448 insn = INSN_BPA | (val & 0x7ffff);
3449 else
e0c6ed95 3450 /* ba */
6faf3d66
JJ
3451 insn = INSN_BA | (val & 0x3fffff);
3452 if (fixP->fx_where >= 4
e0c6ed95
AM
3453 && ((delay & (0xffffffff ^ RS1 (~0)))
3454 == (INSN_OR | RD (O7) | RS2 (G0))))
6faf3d66
JJ
3455 {
3456 long setter;
3457 int reg;
3458
3459 if (INSN_BIG_ENDIAN)
3460 setter = bfd_getb32 ((unsigned char *) buf - 4);
3461 else
3462 setter = bfd_getl32 ((unsigned char *) buf - 4);
e0c6ed95 3463 if ((setter & (0xffffffff ^ RD (~0)))
ab3e48dc 3464 != (INSN_OR | RS1 (O7) | RS2 (G0)))
6faf3d66
JJ
3465 break;
3466 /* The sequence was
3467 or %o7, %g0, %rN
3468 call foo
3469 or %rN, %g0, %o7
3470
3471 If call foo was replaced with ba, replace
3472 or %rN, %g0, %o7 with nop. */
e0c6ed95
AM
3473 reg = (delay & RS1 (~0)) >> 14;
3474 if (reg != ((setter & RD (~0)) >> 25)
6faf3d66
JJ
3475 || reg == G0 || reg == O7)
3476 break;
3477
3478 if (INSN_BIG_ENDIAN)
3479 bfd_putb32 (INSN_NOP, (unsigned char *) buf + 4);
3480 else
3481 bfd_putl32 (INSN_NOP, (unsigned char *) buf + 4);
3482 }
3483 }
252b5132
RH
3484 break;
3485
3486 case BFD_RELOC_SPARC_11:
3487 if (! in_signed_range (val, 0x7ff))
3488 as_bad_where (fixP->fx_file, fixP->fx_line,
3489 _("relocation overflow"));
3490 insn |= val & 0x7ff;
3491 break;
3492
3493 case BFD_RELOC_SPARC_10:
3494 if (! in_signed_range (val, 0x3ff))
3495 as_bad_where (fixP->fx_file, fixP->fx_line,
3496 _("relocation overflow"));
3497 insn |= val & 0x3ff;
3498 break;
3499
3500 case BFD_RELOC_SPARC_7:
3501 if (! in_bitfield_range (val, 0x7f))
3502 as_bad_where (fixP->fx_file, fixP->fx_line,
3503 _("relocation overflow"));
3504 insn |= val & 0x7f;
3505 break;
3506
3507 case BFD_RELOC_SPARC_6:
3508 if (! in_bitfield_range (val, 0x3f))
3509 as_bad_where (fixP->fx_file, fixP->fx_line,
3510 _("relocation overflow"));
3511 insn |= val & 0x3f;
3512 break;
3513
3514 case BFD_RELOC_SPARC_5:
3515 if (! in_bitfield_range (val, 0x1f))
3516 as_bad_where (fixP->fx_file, fixP->fx_line,
3517 _("relocation overflow"));
3518 insn |= val & 0x1f;
3519 break;
3520
2615994e
DM
3521 case BFD_RELOC_SPARC_WDISP10:
3522 if ((val & 3)
3523 || val >= 0x007fc
3524 || val <= -(offsetT) 0x808)
3525 as_bad_where (fixP->fx_file, fixP->fx_line,
3526 _("relocation overflow"));
3527 /* FIXME: The +1 deserves a comment. */
3528 val = (val >> 2) + 1;
3529 insn |= ((val & 0x300) << 11)
3530 | ((val & 0xff) << 5);
3531 break;
3532
252b5132 3533 case BFD_RELOC_SPARC_WDISP16:
c699f087
JJ
3534 if ((val & 3)
3535 || val >= 0x1fffc
3536 || val <= -(offsetT) 0x20008)
252b5132
RH
3537 as_bad_where (fixP->fx_file, fixP->fx_line,
3538 _("relocation overflow"));
3539 /* FIXME: The +1 deserves a comment. */
3540 val = (val >> 2) + 1;
3541 insn |= ((val & 0xc000) << 6) | (val & 0x3fff);
3542 break;
3543
3544 case BFD_RELOC_SPARC_WDISP19:
c699f087
JJ
3545 if ((val & 3)
3546 || val >= 0xffffc
3547 || val <= -(offsetT) 0x100008)
252b5132
RH
3548 as_bad_where (fixP->fx_file, fixP->fx_line,
3549 _("relocation overflow"));
3550 /* FIXME: The +1 deserves a comment. */
3551 val = (val >> 2) + 1;
3552 insn |= val & 0x7ffff;
3553 break;
3554
3555 case BFD_RELOC_SPARC_HH22:
3556 val = BSR (val, 32);
e0c6ed95 3557 /* Fall through. */
252b5132
RH
3558
3559 case BFD_RELOC_SPARC_LM22:
3560 case BFD_RELOC_HI22:
3561 if (!fixP->fx_addsy)
94f592af 3562 insn |= (val >> 10) & 0x3fffff;
252b5132 3563 else
94f592af
NC
3564 /* FIXME: Need comment explaining why we do this. */
3565 insn &= ~0xffff;
252b5132
RH
3566 break;
3567
3568 case BFD_RELOC_SPARC22:
3569 if (val & ~0x003fffff)
3570 as_bad_where (fixP->fx_file, fixP->fx_line,
3571 _("relocation overflow"));
3572 insn |= (val & 0x3fffff);
3573 break;
3574
3575 case BFD_RELOC_SPARC_HM10:
3576 val = BSR (val, 32);
e0c6ed95 3577 /* Fall through. */
252b5132
RH
3578
3579 case BFD_RELOC_LO10:
3580 if (!fixP->fx_addsy)
94f592af 3581 insn |= val & 0x3ff;
252b5132 3582 else
94f592af
NC
3583 /* FIXME: Need comment explaining why we do this. */
3584 insn &= ~0xff;
252b5132
RH
3585 break;
3586
dabe3bbc
RH
3587 case BFD_RELOC_SPARC_OLO10:
3588 val &= 0x3ff;
3589 val += fixP->tc_fix_data;
e0c6ed95 3590 /* Fall through. */
dabe3bbc 3591
252b5132
RH
3592 case BFD_RELOC_SPARC13:
3593 if (! in_signed_range (val, 0x1fff))
3594 as_bad_where (fixP->fx_file, fixP->fx_line,
3595 _("relocation overflow"));
3596 insn |= val & 0x1fff;
3597 break;
3598
3599 case BFD_RELOC_SPARC_WDISP22:
3600 val = (val >> 2) + 1;
e0c6ed95 3601 /* Fall through. */
252b5132
RH
3602 case BFD_RELOC_SPARC_BASE22:
3603 insn |= val & 0x3fffff;
3604 break;
3605
2615994e
DM
3606 case BFD_RELOC_SPARC_H34:
3607 if (!fixP->fx_addsy)
3608 {
3609 bfd_vma tval = val;
3610 tval >>= 12;
3611 insn |= tval & 0x3fffff;
3612 }
3613 break;
3614
252b5132
RH
3615 case BFD_RELOC_SPARC_H44:
3616 if (!fixP->fx_addsy)
3617 {
3618 bfd_vma tval = val;
3619 tval >>= 22;
3620 insn |= tval & 0x3fffff;
3621 }
3622 break;
3623
3624 case BFD_RELOC_SPARC_M44:
3625 if (!fixP->fx_addsy)
3626 insn |= (val >> 12) & 0x3ff;
3627 break;
3628
3629 case BFD_RELOC_SPARC_L44:
3630 if (!fixP->fx_addsy)
3631 insn |= val & 0xfff;
3632 break;
3633
3634 case BFD_RELOC_SPARC_HIX22:
3635 if (!fixP->fx_addsy)
3636 {
ab3e48dc 3637 val ^= ~(offsetT) 0;
252b5132
RH
3638 insn |= (val >> 10) & 0x3fffff;
3639 }
3640 break;
3641
3642 case BFD_RELOC_SPARC_LOX10:
3643 if (!fixP->fx_addsy)
3644 insn |= 0x1c00 | (val & 0x3ff);
3645 break;
3646
3647 case BFD_RELOC_NONE:
3648 default:
3649 as_bad_where (fixP->fx_file, fixP->fx_line,
3650 _("bad or unhandled relocation type: 0x%02x"),
3651 fixP->fx_r_type);
3652 break;
3653 }
3654
3655 if (INSN_BIG_ENDIAN)
3656 bfd_putb32 (insn, (unsigned char *) buf);
3657 else
3658 bfd_putl32 (insn, (unsigned char *) buf);
3659 }
3660
3661 /* Are we finished with this relocation now? */
3662 if (fixP->fx_addsy == 0 && !fixP->fx_pcrel)
3663 fixP->fx_done = 1;
252b5132
RH
3664}
3665
3666/* Translate internal representation of relocation info to BFD target
3667 format. */
e0c6ed95 3668
dabe3bbc 3669arelent **
5a49b8ac 3670tc_gen_reloc (asection *section, fixS *fixp)
252b5132 3671{
dabe3bbc 3672 static arelent *relocs[3];
252b5132
RH
3673 arelent *reloc;
3674 bfd_reloc_code_real_type code;
3675
dabe3bbc
RH
3676 relocs[0] = reloc = (arelent *) xmalloc (sizeof (arelent));
3677 relocs[1] = NULL;
252b5132 3678
49309057
ILT
3679 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
3680 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
252b5132
RH
3681 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
3682
3683 switch (fixp->fx_r_type)
3684 {
3685 case BFD_RELOC_16:
3686 case BFD_RELOC_32:
3687 case BFD_RELOC_HI22:
3688 case BFD_RELOC_LO10:
3689 case BFD_RELOC_32_PCREL_S2:
3690 case BFD_RELOC_SPARC13:
63fab58c 3691 case BFD_RELOC_SPARC22:
1a6b486f
DM
3692 case BFD_RELOC_SPARC_PC22:
3693 case BFD_RELOC_SPARC_PC10:
252b5132 3694 case BFD_RELOC_SPARC_BASE13:
2615994e 3695 case BFD_RELOC_SPARC_WDISP10:
252b5132
RH
3696 case BFD_RELOC_SPARC_WDISP16:
3697 case BFD_RELOC_SPARC_WDISP19:
3698 case BFD_RELOC_SPARC_WDISP22:
3699 case BFD_RELOC_64:
3700 case BFD_RELOC_SPARC_5:
3701 case BFD_RELOC_SPARC_6:
3702 case BFD_RELOC_SPARC_7:
3703 case BFD_RELOC_SPARC_10:
3704 case BFD_RELOC_SPARC_11:
3705 case BFD_RELOC_SPARC_HH22:
3706 case BFD_RELOC_SPARC_HM10:
3707 case BFD_RELOC_SPARC_LM22:
3708 case BFD_RELOC_SPARC_PC_HH22:
3709 case BFD_RELOC_SPARC_PC_HM10:
3710 case BFD_RELOC_SPARC_PC_LM22:
2615994e 3711 case BFD_RELOC_SPARC_H34:
252b5132
RH
3712 case BFD_RELOC_SPARC_H44:
3713 case BFD_RELOC_SPARC_M44:
3714 case BFD_RELOC_SPARC_L44:
3715 case BFD_RELOC_SPARC_HIX22:
3716 case BFD_RELOC_SPARC_LOX10:
3717 case BFD_RELOC_SPARC_REV32:
dabe3bbc 3718 case BFD_RELOC_SPARC_OLO10:
0f2712ed
NC
3719 case BFD_RELOC_SPARC_UA16:
3720 case BFD_RELOC_SPARC_UA32:
3721 case BFD_RELOC_SPARC_UA64:
bd5e6e7e
JJ
3722 case BFD_RELOC_8_PCREL:
3723 case BFD_RELOC_16_PCREL:
3724 case BFD_RELOC_32_PCREL:
3725 case BFD_RELOC_64_PCREL:
3726 case BFD_RELOC_SPARC_PLT32:
3727 case BFD_RELOC_SPARC_PLT64:
252b5132
RH
3728 case BFD_RELOC_VTABLE_ENTRY:
3729 case BFD_RELOC_VTABLE_INHERIT:
b9734f35
JJ
3730 case BFD_RELOC_SPARC_TLS_GD_HI22:
3731 case BFD_RELOC_SPARC_TLS_GD_LO10:
3732 case BFD_RELOC_SPARC_TLS_GD_ADD:
3733 case BFD_RELOC_SPARC_TLS_GD_CALL:
3734 case BFD_RELOC_SPARC_TLS_LDM_HI22:
3735 case BFD_RELOC_SPARC_TLS_LDM_LO10:
3736 case BFD_RELOC_SPARC_TLS_LDM_ADD:
3737 case BFD_RELOC_SPARC_TLS_LDM_CALL:
3738 case BFD_RELOC_SPARC_TLS_LDO_HIX22:
3739 case BFD_RELOC_SPARC_TLS_LDO_LOX10:
3740 case BFD_RELOC_SPARC_TLS_LDO_ADD:
3741 case BFD_RELOC_SPARC_TLS_IE_HI22:
3742 case BFD_RELOC_SPARC_TLS_IE_LO10:
3743 case BFD_RELOC_SPARC_TLS_IE_LD:
3744 case BFD_RELOC_SPARC_TLS_IE_LDX:
3745 case BFD_RELOC_SPARC_TLS_IE_ADD:
3746 case BFD_RELOC_SPARC_TLS_LE_HIX22:
3747 case BFD_RELOC_SPARC_TLS_LE_LOX10:
3748 case BFD_RELOC_SPARC_TLS_DTPOFF32:
3749 case BFD_RELOC_SPARC_TLS_DTPOFF64:
739f7f82
DM
3750 case BFD_RELOC_SPARC_GOTDATA_OP_HIX22:
3751 case BFD_RELOC_SPARC_GOTDATA_OP_LOX10:
3752 case BFD_RELOC_SPARC_GOTDATA_OP:
252b5132
RH
3753 code = fixp->fx_r_type;
3754 break;
3755 default:
3756 abort ();
3757 return NULL;
3758 }
3759
3760#if defined (OBJ_ELF) || defined (OBJ_AOUT)
3761 /* If we are generating PIC code, we need to generate a different
3762 set of relocs. */
3763
3764#ifdef OBJ_ELF
3765#define GOT_NAME "_GLOBAL_OFFSET_TABLE_"
3766#else
3767#define GOT_NAME "__GLOBAL_OFFSET_TABLE_"
910600e9
RS
3768#endif
3769#ifdef TE_VXWORKS
3770#define GOTT_BASE "__GOTT_BASE__"
3771#define GOTT_INDEX "__GOTT_INDEX__"
252b5132
RH
3772#endif
3773
153b546a
ILT
3774 /* This code must be parallel to the OBJ_ELF tc_fix_adjustable. */
3775
252b5132
RH
3776 if (sparc_pic_code)
3777 {
3778 switch (code)
3779 {
3780 case BFD_RELOC_32_PCREL_S2:
ae6063d4 3781 if (generic_force_reloc (fixp))
252b5132
RH
3782 code = BFD_RELOC_SPARC_WPLT30;
3783 break;
3784 case BFD_RELOC_HI22:
910600e9
RS
3785 code = BFD_RELOC_SPARC_GOT22;
3786 if (fixp->fx_addsy != NULL)
3787 {
3788 if (strcmp (S_GET_NAME (fixp->fx_addsy), GOT_NAME) == 0)
3789 code = BFD_RELOC_SPARC_PC22;
3790#ifdef TE_VXWORKS
3791 if (strcmp (S_GET_NAME (fixp->fx_addsy), GOTT_BASE) == 0
3792 || strcmp (S_GET_NAME (fixp->fx_addsy), GOTT_INDEX) == 0)
3793 code = BFD_RELOC_HI22; /* Unchanged. */
3794#endif
3795 }
252b5132
RH
3796 break;
3797 case BFD_RELOC_LO10:
910600e9
RS
3798 code = BFD_RELOC_SPARC_GOT10;
3799 if (fixp->fx_addsy != NULL)
3800 {
3801 if (strcmp (S_GET_NAME (fixp->fx_addsy), GOT_NAME) == 0)
3802 code = BFD_RELOC_SPARC_PC10;
3803#ifdef TE_VXWORKS
3804 if (strcmp (S_GET_NAME (fixp->fx_addsy), GOTT_BASE) == 0
3805 || strcmp (S_GET_NAME (fixp->fx_addsy), GOTT_INDEX) == 0)
3806 code = BFD_RELOC_LO10; /* Unchanged. */
3807#endif
3808 }
252b5132
RH
3809 break;
3810 case BFD_RELOC_SPARC13:
3811 code = BFD_RELOC_SPARC_GOT13;
3812 break;
3813 default:
3814 break;
3815 }
3816 }
e0c6ed95 3817#endif /* defined (OBJ_ELF) || defined (OBJ_AOUT) */
252b5132 3818
062cf837
EB
3819 /* Nothing is aligned in DWARF debugging sections. */
3820 if (bfd_get_section_flags (stdoutput, section) & SEC_DEBUGGING)
3821 switch (code)
3822 {
3823 case BFD_RELOC_16: code = BFD_RELOC_SPARC_UA16; break;
3824 case BFD_RELOC_32: code = BFD_RELOC_SPARC_UA32; break;
3825 case BFD_RELOC_64: code = BFD_RELOC_SPARC_UA64; break;
3826 default: break;
3827 }
3828
dabe3bbc
RH
3829 if (code == BFD_RELOC_SPARC_OLO10)
3830 reloc->howto = bfd_reloc_type_lookup (stdoutput, BFD_RELOC_LO10);
3831 else
3832 reloc->howto = bfd_reloc_type_lookup (stdoutput, code);
252b5132
RH
3833 if (reloc->howto == 0)
3834 {
3835 as_bad_where (fixp->fx_file, fixp->fx_line,
3836 _("internal error: can't export reloc type %d (`%s')"),
3837 fixp->fx_r_type, bfd_get_reloc_code_name (code));
dabe3bbc
RH
3838 xfree (reloc);
3839 relocs[0] = NULL;
3840 return relocs;
252b5132
RH
3841 }
3842
3843 /* @@ Why fx_addnumber sometimes and fx_offset other times? */
3844#ifdef OBJ_AOUT
3845
3846 if (reloc->howto->pc_relative == 0
3847 || code == BFD_RELOC_SPARC_PC10
3848 || code == BFD_RELOC_SPARC_PC22)
3849 reloc->addend = fixp->fx_addnumber;
3850 else if (sparc_pic_code
3851 && fixp->fx_r_type == BFD_RELOC_32_PCREL_S2
3852 && fixp->fx_addsy != NULL
3853 && (S_IS_EXTERNAL (fixp->fx_addsy)
3854 || S_IS_WEAK (fixp->fx_addsy))
3855 && S_IS_DEFINED (fixp->fx_addsy)
3856 && ! S_IS_COMMON (fixp->fx_addsy))
3857 reloc->addend = fixp->fx_addnumber;
3858 else
3859 reloc->addend = fixp->fx_offset - reloc->address;
3860
e0c6ed95 3861#else /* elf or coff */
252b5132 3862
bd5e6e7e
JJ
3863 if (code != BFD_RELOC_32_PCREL_S2
3864 && code != BFD_RELOC_SPARC_WDISP22
3865 && code != BFD_RELOC_SPARC_WDISP16
3866 && code != BFD_RELOC_SPARC_WDISP19
2615994e 3867 && code != BFD_RELOC_SPARC_WDISP10
b9734f35
JJ
3868 && code != BFD_RELOC_SPARC_WPLT30
3869 && code != BFD_RELOC_SPARC_TLS_GD_CALL
3870 && code != BFD_RELOC_SPARC_TLS_LDM_CALL)
252b5132 3871 reloc->addend = fixp->fx_addnumber;
49309057 3872 else if (symbol_section_p (fixp->fx_addsy))
252b5132
RH
3873 reloc->addend = (section->vma
3874 + fixp->fx_addnumber
3875 + md_pcrel_from (fixp));
3876 else
3877 reloc->addend = fixp->fx_offset;
3878#endif
3879
dabe3bbc
RH
3880 /* We expand R_SPARC_OLO10 to R_SPARC_LO10 and R_SPARC_13
3881 on the same location. */
3882 if (code == BFD_RELOC_SPARC_OLO10)
3883 {
3884 relocs[1] = reloc = (arelent *) xmalloc (sizeof (arelent));
3885 relocs[2] = NULL;
3886
3887 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
ab3e48dc
KH
3888 *reloc->sym_ptr_ptr
3889 = symbol_get_bfdsym (section_symbol (absolute_section));
dabe3bbc
RH
3890 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
3891 reloc->howto = bfd_reloc_type_lookup (stdoutput, BFD_RELOC_SPARC13);
3892 reloc->addend = fixp->tc_fix_data;
3893 }
3894
3895 return relocs;
252b5132
RH
3896}
3897\f
e0c6ed95 3898/* We have no need to default values of symbols. */
252b5132 3899
252b5132 3900symbolS *
5a49b8ac 3901md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
252b5132
RH
3902{
3903 return 0;
e0c6ed95
AM
3904}
3905
3906/* Round up a section size to the appropriate boundary. */
252b5132 3907
252b5132 3908valueT
5a49b8ac 3909md_section_align (segT segment ATTRIBUTE_UNUSED, valueT size)
252b5132
RH
3910{
3911#ifndef OBJ_ELF
3912 /* This is not right for ELF; a.out wants it, and COFF will force
3913 the alignment anyways. */
3914 valueT align = ((valueT) 1
3915 << (valueT) bfd_get_section_alignment (stdoutput, segment));
3916 valueT newsize;
e0c6ed95
AM
3917
3918 /* Turn alignment value into a mask. */
252b5132
RH
3919 align--;
3920 newsize = (size + align) & ~align;
3921 return newsize;
3922#else
3923 return size;
3924#endif
3925}
3926
3927/* Exactly what point is a PC-relative offset relative TO?
3928 On the sparc, they're relative to the address of the offset, plus
3929 its size. This gets us to the following instruction.
e0c6ed95
AM
3930 (??? Is this right? FIXME-SOON) */
3931long
5a49b8ac 3932md_pcrel_from (fixS *fixP)
252b5132
RH
3933{
3934 long ret;
3935
3936 ret = fixP->fx_where + fixP->fx_frag->fr_address;
3937 if (! sparc_pic_code
3938 || fixP->fx_addsy == NULL
49309057 3939 || symbol_section_p (fixP->fx_addsy))
252b5132
RH
3940 ret += fixP->fx_size;
3941 return ret;
3942}
3943\f
3944/* Return log2 (VALUE), or -1 if VALUE is not an exact positive power
3945 of two. */
3946
3947static int
5a49b8ac 3948mylog2 (int value)
252b5132
RH
3949{
3950 int shift;
3951
3952 if (value <= 0)
3953 return -1;
3954
3955 for (shift = 0; (value & 1) == 0; value >>= 1)
3956 ++shift;
3957
3958 return (value == 1) ? shift : -1;
3959}
3960
e0c6ed95 3961/* Sort of like s_lcomm. */
252b5132
RH
3962
3963#ifndef OBJ_ELF
3964static int max_alignment = 15;
3965#endif
3966
3967static void
5a49b8ac 3968s_reserve (int ignore ATTRIBUTE_UNUSED)
252b5132
RH
3969{
3970 char *name;
3971 char *p;
3972 char c;
3973 int align;
3974 int size;
3975 int temp;
3976 symbolS *symbolP;
3977
3978 name = input_line_pointer;
3979 c = get_symbol_end ();
3980 p = input_line_pointer;
3981 *p = c;
3982 SKIP_WHITESPACE ();
3983
3984 if (*input_line_pointer != ',')
3985 {
3986 as_bad (_("Expected comma after name"));
3987 ignore_rest_of_line ();
3988 return;
3989 }
3990
3991 ++input_line_pointer;
3992
3993 if ((size = get_absolute_expression ()) < 0)
3994 {
3995 as_bad (_("BSS length (%d.) <0! Ignored."), size);
3996 ignore_rest_of_line ();
3997 return;
e0c6ed95 3998 } /* Bad length. */
252b5132
RH
3999
4000 *p = 0;
4001 symbolP = symbol_find_or_make (name);
4002 *p = c;
4003
4004 if (strncmp (input_line_pointer, ",\"bss\"", 6) != 0
4005 && strncmp (input_line_pointer, ",\".bss\"", 7) != 0)
4006 {
4007 as_bad (_("bad .reserve segment -- expected BSS segment"));
4008 return;
4009 }
4010
4011 if (input_line_pointer[2] == '.')
4012 input_line_pointer += 7;
4013 else
4014 input_line_pointer += 6;
4015 SKIP_WHITESPACE ();
4016
4017 if (*input_line_pointer == ',')
4018 {
4019 ++input_line_pointer;
4020
4021 SKIP_WHITESPACE ();
4022 if (*input_line_pointer == '\n')
4023 {
4024 as_bad (_("missing alignment"));
4025 ignore_rest_of_line ();
4026 return;
4027 }
4028
4029 align = (int) get_absolute_expression ();
4030
4031#ifndef OBJ_ELF
4032 if (align > max_alignment)
4033 {
4034 align = max_alignment;
4035 as_warn (_("alignment too large; assuming %d"), align);
4036 }
4037#endif
4038
4039 if (align < 0)
4040 {
4041 as_bad (_("negative alignment"));
4042 ignore_rest_of_line ();
4043 return;
4044 }
4045
4046 if (align != 0)
4047 {
f17c130b 4048 temp = mylog2 (align);
252b5132
RH
4049 if (temp < 0)
4050 {
4051 as_bad (_("alignment not a power of 2"));
4052 ignore_rest_of_line ();
4053 return;
4054 }
4055
4056 align = temp;
4057 }
4058
4059 record_alignment (bss_section, align);
4060 }
4061 else
4062 align = 0;
4063
4064 if (!S_IS_DEFINED (symbolP)
4065#ifdef OBJ_AOUT
4066 && S_GET_OTHER (symbolP) == 0
4067 && S_GET_DESC (symbolP) == 0
4068#endif
4069 )
4070 {
4071 if (! need_pass_2)
4072 {
4073 char *pfrag;
4074 segT current_seg = now_seg;
4075 subsegT current_subseg = now_subseg;
4076
e0c6ed95
AM
4077 /* Switch to bss. */
4078 subseg_set (bss_section, 1);
252b5132
RH
4079
4080 if (align)
e0c6ed95
AM
4081 /* Do alignment. */
4082 frag_align (align, 0, 0);
252b5132 4083
e0c6ed95 4084 /* Detach from old frag. */
ab3e48dc 4085 if (S_GET_SEGMENT (symbolP) == bss_section)
49309057 4086 symbol_get_frag (symbolP)->fr_symbol = NULL;
252b5132 4087
49309057 4088 symbol_set_frag (symbolP, frag_now);
e0c6ed95
AM
4089 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP,
4090 (offsetT) size, (char *) 0);
252b5132
RH
4091 *pfrag = 0;
4092
4093 S_SET_SEGMENT (symbolP, bss_section);
4094
4095 subseg_set (current_seg, current_subseg);
4096
4097#ifdef OBJ_ELF
4098 S_SET_SIZE (symbolP, size);
4099#endif
4100 }
4101 }
4102 else
4103 {
20203fb9 4104 as_warn (_("Ignoring attempt to re-define symbol %s"),
ab3e48dc 4105 S_GET_NAME (symbolP));
20203fb9 4106 }
252b5132
RH
4107
4108 demand_empty_rest_of_line ();
4109}
4110
4111static void
5a49b8ac 4112s_common (int ignore ATTRIBUTE_UNUSED)
252b5132
RH
4113{
4114 char *name;
4115 char c;
4116 char *p;
685736be 4117 offsetT temp, size;
252b5132
RH
4118 symbolS *symbolP;
4119
4120 name = input_line_pointer;
4121 c = get_symbol_end ();
e0c6ed95 4122 /* Just after name is now '\0'. */
252b5132
RH
4123 p = input_line_pointer;
4124 *p = c;
4125 SKIP_WHITESPACE ();
4126 if (*input_line_pointer != ',')
4127 {
4128 as_bad (_("Expected comma after symbol-name"));
4129 ignore_rest_of_line ();
4130 return;
4131 }
e0c6ed95
AM
4132
4133 /* Skip ','. */
4134 input_line_pointer++;
4135
252b5132
RH
4136 if ((temp = get_absolute_expression ()) < 0)
4137 {
685736be
NC
4138 as_bad (_(".COMMon length (%lu) out of range ignored"),
4139 (unsigned long) temp);
252b5132
RH
4140 ignore_rest_of_line ();
4141 return;
4142 }
4143 size = temp;
4144 *p = 0;
4145 symbolP = symbol_find_or_make (name);
4146 *p = c;
4147 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
4148 {
4149 as_bad (_("Ignoring attempt to re-define symbol"));
4150 ignore_rest_of_line ();
4151 return;
4152 }
4153 if (S_GET_VALUE (symbolP) != 0)
4154 {
4155 if (S_GET_VALUE (symbolP) != (valueT) size)
4156 {
364b6d8b
JJ
4157 as_warn (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
4158 S_GET_NAME (symbolP), (long) S_GET_VALUE (symbolP), (long) size);
252b5132
RH
4159 }
4160 }
4161 else
4162 {
4163#ifndef OBJ_ELF
4164 S_SET_VALUE (symbolP, (valueT) size);
4165 S_SET_EXTERNAL (symbolP);
4166#endif
4167 }
7dcc9865 4168 know (symbol_get_frag (symbolP) == &zero_address_frag);
252b5132
RH
4169 if (*input_line_pointer != ',')
4170 {
4171 as_bad (_("Expected comma after common length"));
4172 ignore_rest_of_line ();
4173 return;
4174 }
4175 input_line_pointer++;
4176 SKIP_WHITESPACE ();
4177 if (*input_line_pointer != '"')
4178 {
4179 temp = get_absolute_expression ();
4180
4181#ifndef OBJ_ELF
4182 if (temp > max_alignment)
4183 {
4184 temp = max_alignment;
f17c130b 4185 as_warn (_("alignment too large; assuming %ld"), (long) temp);
252b5132
RH
4186 }
4187#endif
4188
4189 if (temp < 0)
4190 {
4191 as_bad (_("negative alignment"));
4192 ignore_rest_of_line ();
4193 return;
4194 }
4195
4196#ifdef OBJ_ELF
49309057 4197 if (symbol_get_obj (symbolP)->local)
252b5132
RH
4198 {
4199 segT old_sec;
4200 int old_subsec;
252b5132
RH
4201 int align;
4202
4203 old_sec = now_seg;
4204 old_subsec = now_subseg;
4205
4206 if (temp == 0)
4207 align = 0;
4208 else
f17c130b 4209 align = mylog2 (temp);
252b5132
RH
4210
4211 if (align < 0)
4212 {
4213 as_bad (_("alignment not a power of 2"));
4214 ignore_rest_of_line ();
4215 return;
4216 }
4217
4218 record_alignment (bss_section, align);
4219 subseg_set (bss_section, 0);
4220 if (align)
4221 frag_align (align, 0, 0);
4222 if (S_GET_SEGMENT (symbolP) == bss_section)
49309057
ILT
4223 symbol_get_frag (symbolP)->fr_symbol = 0;
4224 symbol_set_frag (symbolP, frag_now);
252b5132
RH
4225 p = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP,
4226 (offsetT) size, (char *) 0);
4227 *p = 0;
4228 S_SET_SEGMENT (symbolP, bss_section);
4229 S_CLEAR_EXTERNAL (symbolP);
4230 S_SET_SIZE (symbolP, size);
4231 subseg_set (old_sec, old_subsec);
4232 }
4233 else
e0c6ed95 4234#endif /* OBJ_ELF */
252b5132
RH
4235 {
4236 allocate_common:
4237 S_SET_VALUE (symbolP, (valueT) size);
4238#ifdef OBJ_ELF
4239 S_SET_ALIGN (symbolP, temp);
4240 S_SET_SIZE (symbolP, size);
4241#endif
4242 S_SET_EXTERNAL (symbolP);
4243 S_SET_SEGMENT (symbolP, bfd_com_section_ptr);
4244 }
4245 }
4246 else
4247 {
4248 input_line_pointer++;
4249 /* @@ Some use the dot, some don't. Can we get some consistency?? */
4250 if (*input_line_pointer == '.')
4251 input_line_pointer++;
4252 /* @@ Some say data, some say bss. */
4253 if (strncmp (input_line_pointer, "bss\"", 4)
4254 && strncmp (input_line_pointer, "data\"", 5))
4255 {
4256 while (*--input_line_pointer != '"')
4257 ;
4258 input_line_pointer--;
4259 goto bad_common_segment;
4260 }
4261 while (*input_line_pointer++ != '"')
4262 ;
4263 goto allocate_common;
4264 }
4265
49309057 4266 symbol_get_bfdsym (symbolP)->flags |= BSF_OBJECT;
252b5132
RH
4267
4268 demand_empty_rest_of_line ();
4269 return;
4270
4271 {
4272 bad_common_segment:
4273 p = input_line_pointer;
4274 while (*p && *p != '\n')
4275 p++;
4276 c = *p;
4277 *p = '\0';
4278 as_bad (_("bad .common segment %s"), input_line_pointer + 1);
4279 *p = c;
4280 input_line_pointer = p;
4281 ignore_rest_of_line ();
4282 return;
4283 }
4284}
4285
67c1ffbe 4286/* Handle the .empty pseudo-op. This suppresses the warnings about
252b5132
RH
4287 invalid delay slot usage. */
4288
4289static void
5a49b8ac 4290s_empty (int ignore ATTRIBUTE_UNUSED)
252b5132
RH
4291{
4292 /* The easy way to implement is to just forget about the last
4293 instruction. */
4294 last_insn = NULL;
4295}
4296
4297static void
5a49b8ac 4298s_seg (int ignore ATTRIBUTE_UNUSED)
252b5132
RH
4299{
4300
4301 if (strncmp (input_line_pointer, "\"text\"", 6) == 0)
4302 {
4303 input_line_pointer += 6;
4304 s_text (0);
4305 return;
4306 }
4307 if (strncmp (input_line_pointer, "\"data\"", 6) == 0)
4308 {
4309 input_line_pointer += 6;
4310 s_data (0);
4311 return;
4312 }
4313 if (strncmp (input_line_pointer, "\"data1\"", 7) == 0)
4314 {
4315 input_line_pointer += 7;
4316 s_data1 ();
4317 return;
4318 }
4319 if (strncmp (input_line_pointer, "\"bss\"", 5) == 0)
4320 {
4321 input_line_pointer += 5;
4322 /* We only support 2 segments -- text and data -- for now, so
4323 things in the "bss segment" will have to go into data for now.
e0c6ed95
AM
4324 You can still allocate SEG_BSS stuff with .lcomm or .reserve. */
4325 subseg_set (data_section, 255); /* FIXME-SOMEDAY. */
252b5132
RH
4326 return;
4327 }
4328 as_bad (_("Unknown segment type"));
4329 demand_empty_rest_of_line ();
4330}
4331
4332static void
5a49b8ac 4333s_data1 (void)
252b5132
RH
4334{
4335 subseg_set (data_section, 1);
4336 demand_empty_rest_of_line ();
4337}
4338
4339static void
5a49b8ac 4340s_proc (int ignore ATTRIBUTE_UNUSED)
252b5132
RH
4341{
4342 while (!is_end_of_line[(unsigned char) *input_line_pointer])
4343 {
4344 ++input_line_pointer;
4345 }
4346 ++input_line_pointer;
4347}
4348
4349/* This static variable is set by s_uacons to tell sparc_cons_align
67c1ffbe 4350 that the expression does not need to be aligned. */
252b5132
RH
4351
4352static int sparc_no_align_cons = 0;
4353
4354/* This handles the unaligned space allocation pseudo-ops, such as
4355 .uaword. .uaword is just like .word, but the value does not need
4356 to be aligned. */
4357
4358static void
5a49b8ac 4359s_uacons (int bytes)
252b5132
RH
4360{
4361 /* Tell sparc_cons_align not to align this value. */
4362 sparc_no_align_cons = 1;
4363 cons (bytes);
4ffadb11 4364 sparc_no_align_cons = 0;
252b5132
RH
4365}
4366
cf9a1301
RH
4367/* This handles the native word allocation pseudo-op .nword.
4368 For sparc_arch_size 32 it is equivalent to .word, for
4369 sparc_arch_size 64 it is equivalent to .xword. */
4370
4371static void
5a49b8ac 4372s_ncons (int bytes ATTRIBUTE_UNUSED)
cf9a1301
RH
4373{
4374 cons (sparc_arch_size == 32 ? 4 : 8);
4375}
4376
6d8809aa
RH
4377#ifdef OBJ_ELF
4378/* Handle the SPARC ELF .register pseudo-op. This sets the binding of a
4379 global register.
4380 The syntax is:
e0c6ed95 4381
6d8809aa 4382 .register %g[2367],{#scratch|symbolname|#ignore}
e0c6ed95 4383*/
6d8809aa
RH
4384
4385static void
5a49b8ac 4386s_register (int ignore ATTRIBUTE_UNUSED)
6d8809aa
RH
4387{
4388 char c;
4389 int reg;
4390 int flags;
4391 const char *regname;
4392
4393 if (input_line_pointer[0] != '%'
4394 || input_line_pointer[1] != 'g'
4395 || ((input_line_pointer[2] & ~1) != '2'
4396 && (input_line_pointer[2] & ~1) != '6')
4397 || input_line_pointer[3] != ',')
4398 as_bad (_("register syntax is .register %%g[2367],{#scratch|symbolname|#ignore}"));
4399 reg = input_line_pointer[2] - '0';
4400 input_line_pointer += 4;
4401
4402 if (*input_line_pointer == '#')
4403 {
4404 ++input_line_pointer;
4405 regname = input_line_pointer;
4406 c = get_symbol_end ();
4407 if (strcmp (regname, "scratch") && strcmp (regname, "ignore"))
4408 as_bad (_("register syntax is .register %%g[2367],{#scratch|symbolname|#ignore}"));
ab3e48dc 4409 if (regname[0] == 'i')
6d8809aa
RH
4410 regname = NULL;
4411 else
4412 regname = "";
4413 }
4414 else
4415 {
4416 regname = input_line_pointer;
4417 c = get_symbol_end ();
4418 }
4419 if (sparc_arch_size == 64)
4420 {
e0c6ed95 4421 if (globals[reg])
6d8809aa 4422 {
e0c6ed95
AM
4423 if ((regname && globals[reg] != (symbolS *) 1
4424 && strcmp (S_GET_NAME (globals[reg]), regname))
4425 || ((regname != NULL) ^ (globals[reg] != (symbolS *) 1)))
6d8809aa
RH
4426 as_bad (_("redefinition of global register"));
4427 }
4428 else
4429 {
4430 if (regname == NULL)
e0c6ed95 4431 globals[reg] = (symbolS *) 1;
6d8809aa
RH
4432 else
4433 {
4434 if (*regname)
4435 {
4436 if (symbol_find (regname))
4437 as_bad (_("Register symbol %s already defined."),
4438 regname);
4439 }
e0c6ed95
AM
4440 globals[reg] = symbol_make (regname);
4441 flags = symbol_get_bfdsym (globals[reg])->flags;
6d8809aa
RH
4442 if (! *regname)
4443 flags = flags & ~(BSF_GLOBAL|BSF_LOCAL|BSF_WEAK);
4444 if (! (flags & (BSF_GLOBAL|BSF_LOCAL|BSF_WEAK)))
4445 flags |= BSF_GLOBAL;
e0c6ed95
AM
4446 symbol_get_bfdsym (globals[reg])->flags = flags;
4447 S_SET_VALUE (globals[reg], (valueT) reg);
4448 S_SET_ALIGN (globals[reg], reg);
4449 S_SET_SIZE (globals[reg], 0);
6d8809aa
RH
4450 /* Although we actually want undefined_section here,
4451 we have to use absolute_section, because otherwise
4452 generic as code will make it a COM section.
4453 We fix this up in sparc_adjust_symtab. */
e0c6ed95
AM
4454 S_SET_SEGMENT (globals[reg], absolute_section);
4455 S_SET_OTHER (globals[reg], 0);
4456 elf_symbol (symbol_get_bfdsym (globals[reg]))
6d8809aa
RH
4457 ->internal_elf_sym.st_info =
4458 ELF_ST_INFO(STB_GLOBAL, STT_REGISTER);
e0c6ed95 4459 elf_symbol (symbol_get_bfdsym (globals[reg]))
6d8809aa
RH
4460 ->internal_elf_sym.st_shndx = SHN_UNDEF;
4461 }
4462 }
4463 }
4464
4465 *input_line_pointer = c;
4466
4467 demand_empty_rest_of_line ();
4468}
4469
4470/* Adjust the symbol table. We set undefined sections for STT_REGISTER
4471 symbols which need it. */
e0c6ed95 4472
6d8809aa 4473void
5a49b8ac 4474sparc_adjust_symtab (void)
6d8809aa
RH
4475{
4476 symbolS *sym;
e0c6ed95 4477
6d8809aa
RH
4478 for (sym = symbol_rootP; sym != NULL; sym = symbol_next (sym))
4479 {
4480 if (ELF_ST_TYPE (elf_symbol (symbol_get_bfdsym (sym))
4481 ->internal_elf_sym.st_info) != STT_REGISTER)
4482 continue;
4483
4484 if (ELF_ST_TYPE (elf_symbol (symbol_get_bfdsym (sym))
4485 ->internal_elf_sym.st_shndx != SHN_UNDEF))
4486 continue;
4487
4488 S_SET_SEGMENT (sym, undefined_section);
4489 }
4490}
4491#endif
4492
252b5132
RH
4493/* If the --enforce-aligned-data option is used, we require .word,
4494 et. al., to be aligned correctly. We do it by setting up an
4495 rs_align_code frag, and checking in HANDLE_ALIGN to make sure that
4496 no unexpected alignment was introduced.
4497
4498 The SunOS and Solaris native assemblers enforce aligned data by
4499 default. We don't want to do that, because gcc can deliberately
4500 generate misaligned data if the packed attribute is used. Instead,
4501 we permit misaligned data by default, and permit the user to set an
4502 option to check for it. */
4503
4504void
5a49b8ac 4505sparc_cons_align (int nbytes)
252b5132
RH
4506{
4507 int nalign;
252b5132
RH
4508
4509 /* Only do this if we are enforcing aligned data. */
4510 if (! enforce_aligned_data)
4511 return;
4512
0f2712ed 4513 /* Don't align if this is an unaligned pseudo-op. */
252b5132 4514 if (sparc_no_align_cons)
0f2712ed 4515 return;
252b5132 4516
f17c130b 4517 nalign = mylog2 (nbytes);
252b5132
RH
4518 if (nalign == 0)
4519 return;
4520
9c2799c2 4521 gas_assert (nalign > 0);
252b5132
RH
4522
4523 if (now_seg == absolute_section)
4524 {
4525 if ((abs_section_offset & ((1 << nalign) - 1)) != 0)
4526 as_bad (_("misaligned data"));
4527 return;
4528 }
4529
87975d2a
AM
4530 frag_var (rs_align_test, 1, 1, (relax_substateT) 0,
4531 (symbolS *) NULL, (offsetT) nalign, (char *) NULL);
252b5132
RH
4532
4533 record_alignment (now_seg, nalign);
4534}
4535
0a9ef439 4536/* This is called from HANDLE_ALIGN in tc-sparc.h. */
252b5132
RH
4537
4538void
5a49b8ac 4539sparc_handle_align (fragS *fragp)
252b5132 4540{
0a9ef439
RH
4541 int count, fix;
4542 char *p;
4543
4544 count = fragp->fr_next->fr_address - fragp->fr_address - fragp->fr_fix;
bfb32b52 4545
0a9ef439 4546 switch (fragp->fr_type)
252b5132 4547 {
0a9ef439
RH
4548 case rs_align_test:
4549 if (count != 0)
4550 as_bad_where (fragp->fr_file, fragp->fr_line, _("misaligned data"));
4551 break;
e0c6ed95 4552
0a9ef439
RH
4553 case rs_align_code:
4554 p = fragp->fr_literal + fragp->fr_fix;
4555 fix = 0;
e0c6ed95 4556
0a9ef439
RH
4557 if (count & 3)
4558 {
4559 fix = count & 3;
4560 memset (p, 0, fix);
4561 p += fix;
4562 count -= fix;
4563 }
e0c6ed95 4564
0a9ef439
RH
4565 if (SPARC_OPCODE_ARCH_V9_P (max_architecture) && count > 8)
4566 {
4567 unsigned wval = (0x30680000 | count >> 2); /* ba,a,pt %xcc, 1f */
4568 if (INSN_BIG_ENDIAN)
4569 number_to_chars_bigendian (p, wval, 4);
4570 else
4571 number_to_chars_littleendian (p, wval, 4);
4572 p += 4;
4573 count -= 4;
4574 fix += 4;
e0c6ed95 4575 }
0a9ef439
RH
4576
4577 if (INSN_BIG_ENDIAN)
4578 number_to_chars_bigendian (p, 0x01000000, 4);
4579 else
4580 number_to_chars_littleendian (p, 0x01000000, 4);
4581
4582 fragp->fr_fix += fix;
4583 fragp->fr_var = 4;
4584 break;
4585
4586 default:
4587 break;
252b5132
RH
4588 }
4589}
4590
4591#ifdef OBJ_ELF
4592/* Some special processing for a Sparc ELF file. */
4593
4594void
5a49b8ac 4595sparc_elf_final_processing (void)
252b5132
RH
4596{
4597 /* Set the Sparc ELF flag bits. FIXME: There should probably be some
4598 sort of BFD interface for this. */
4599 if (sparc_arch_size == 64)
4600 {
4601 switch (sparc_memory_model)
4602 {
4603 case MM_RMO:
4604 elf_elfheader (stdoutput)->e_flags |= EF_SPARCV9_RMO;
4605 break;
4606 case MM_PSO:
4607 elf_elfheader (stdoutput)->e_flags |= EF_SPARCV9_PSO;
4608 break;
4609 default:
4610 break;
4611 }
4612 }
4613 else if (current_architecture >= SPARC_OPCODE_ARCH_V9)
4614 elf_elfheader (stdoutput)->e_flags |= EF_SPARC_32PLUS;
4615 if (current_architecture == SPARC_OPCODE_ARCH_V9A)
4616 elf_elfheader (stdoutput)->e_flags |= EF_SPARC_SUN_US1;
19f7b010
JJ
4617 else if (current_architecture == SPARC_OPCODE_ARCH_V9B)
4618 elf_elfheader (stdoutput)->e_flags |= EF_SPARC_SUN_US1|EF_SPARC_SUN_US3;
252b5132 4619}
bd5e6e7e 4620
62ebcb5c 4621const char *
5a49b8ac 4622sparc_cons (expressionS *exp, int size)
bd5e6e7e
JJ
4623{
4624 char *save;
62ebcb5c 4625 const char *sparc_cons_special_reloc = NULL;
bd5e6e7e
JJ
4626
4627 SKIP_WHITESPACE ();
bd5e6e7e
JJ
4628 save = input_line_pointer;
4629 if (input_line_pointer[0] == '%'
4630 && input_line_pointer[1] == 'r'
4631 && input_line_pointer[2] == '_')
4632 {
4633 if (strncmp (input_line_pointer + 3, "disp", 4) == 0)
4634 {
4635 input_line_pointer += 7;
4636 sparc_cons_special_reloc = "disp";
4637 }
4638 else if (strncmp (input_line_pointer + 3, "plt", 3) == 0)
4639 {
4640 if (size != 4 && size != 8)
4641 as_bad (_("Illegal operands: %%r_plt in %d-byte data field"), size);
4642 else
4643 {
4644 input_line_pointer += 6;
4645 sparc_cons_special_reloc = "plt";
4646 }
4647 }
b9734f35
JJ
4648 else if (strncmp (input_line_pointer + 3, "tls_dtpoff", 10) == 0)
4649 {
4650 if (size != 4 && size != 8)
4651 as_bad (_("Illegal operands: %%r_tls_dtpoff in %d-byte data field"), size);
4652 else
4653 {
4654 input_line_pointer += 13;
4655 sparc_cons_special_reloc = "tls_dtpoff";
4656 }
4657 }
bd5e6e7e
JJ
4658 if (sparc_cons_special_reloc)
4659 {
4660 int bad = 0;
4661
4662 switch (size)
4663 {
4664 case 1:
4665 if (*input_line_pointer != '8')
4666 bad = 1;
4667 input_line_pointer--;
4668 break;
4669 case 2:
4670 if (input_line_pointer[0] != '1' || input_line_pointer[1] != '6')
4671 bad = 1;
4672 break;
4673 case 4:
4674 if (input_line_pointer[0] != '3' || input_line_pointer[1] != '2')
4675 bad = 1;
4676 break;
4677 case 8:
4678 if (input_line_pointer[0] != '6' || input_line_pointer[1] != '4')
4679 bad = 1;
4680 break;
4681 default:
4682 bad = 1;
4683 break;
4684 }
4685
4686 if (bad)
4687 {
4688 as_bad (_("Illegal operands: Only %%r_%s%d allowed in %d-byte data fields"),
4689 sparc_cons_special_reloc, size * 8, size);
4690 }
4691 else
4692 {
4693 input_line_pointer += 2;
4694 if (*input_line_pointer != '(')
4695 {
4696 as_bad (_("Illegal operands: %%r_%s%d requires arguments in ()"),
4697 sparc_cons_special_reloc, size * 8);
4698 bad = 1;
4699 }
4700 }
4701
4702 if (bad)
4703 {
4704 input_line_pointer = save;
4705 sparc_cons_special_reloc = NULL;
4706 }
4707 else
4708 {
4709 int c;
4710 char *end = ++input_line_pointer;
4711 int npar = 0;
4712
4713 while (! is_end_of_line[(c = *end)])
4714 {
4715 if (c == '(')
4716 npar++;
4717 else if (c == ')')
4718 {
4719 if (!npar)
4720 break;
4721 npar--;
4722 }
4723 end++;
4724 }
4725
4726 if (c != ')')
4727 as_bad (_("Illegal operands: %%r_%s%d requires arguments in ()"),
4728 sparc_cons_special_reloc, size * 8);
4729 else
4730 {
4731 *end = '\0';
4732 expression (exp);
4733 *end = c;
4734 if (input_line_pointer != end)
4735 {
4736 as_bad (_("Illegal operands: %%r_%s%d requires arguments in ()"),
4737 sparc_cons_special_reloc, size * 8);
4738 }
4739 else
4740 {
4741 input_line_pointer++;
4742 SKIP_WHITESPACE ();
4743 c = *input_line_pointer;
4744 if (! is_end_of_line[c] && c != ',')
4745 as_bad (_("Illegal operands: garbage after %%r_%s%d()"),
4746 sparc_cons_special_reloc, size * 8);
4747 }
4748 }
4749 }
4750 }
4751 }
4752 if (sparc_cons_special_reloc == NULL)
4753 expression (exp);
62ebcb5c 4754 return sparc_cons_special_reloc;
bd5e6e7e
JJ
4755}
4756
252b5132
RH
4757#endif
4758
4759/* This is called by emit_expr via TC_CONS_FIX_NEW when creating a
4760 reloc for a cons. We could use the definition there, except that
4761 we want to handle little endian relocs specially. */
4762
4763void
5a49b8ac
AM
4764cons_fix_new_sparc (fragS *frag,
4765 int where,
4766 unsigned int nbytes,
62ebcb5c
AM
4767 expressionS *exp,
4768 const char *sparc_cons_special_reloc)
252b5132
RH
4769{
4770 bfd_reloc_code_real_type r;
4771
4772 r = (nbytes == 1 ? BFD_RELOC_8 :
4773 (nbytes == 2 ? BFD_RELOC_16 :
4774 (nbytes == 4 ? BFD_RELOC_32 : BFD_RELOC_64)));
4775
0f2712ed
NC
4776 if (target_little_endian_data
4777 && nbytes == 4
e0c6ed95 4778 && now_seg->flags & SEC_ALLOC)
252b5132 4779 r = BFD_RELOC_SPARC_REV32;
0f2712ed 4780
bd5e6e7e
JJ
4781 if (sparc_cons_special_reloc)
4782 {
4783 if (*sparc_cons_special_reloc == 'd')
4784 switch (nbytes)
4785 {
4786 case 1: r = BFD_RELOC_8_PCREL; break;
4787 case 2: r = BFD_RELOC_16_PCREL; break;
4788 case 4: r = BFD_RELOC_32_PCREL; break;
4789 case 8: r = BFD_RELOC_64_PCREL; break;
4790 default: abort ();
4791 }
b9734f35 4792 else if (*sparc_cons_special_reloc == 'p')
bd5e6e7e
JJ
4793 switch (nbytes)
4794 {
4795 case 4: r = BFD_RELOC_SPARC_PLT32; break;
4796 case 8: r = BFD_RELOC_SPARC_PLT64; break;
4797 }
b9734f35
JJ
4798 else
4799 switch (nbytes)
4800 {
4801 case 4: r = BFD_RELOC_SPARC_TLS_DTPOFF32; break;
4802 case 8: r = BFD_RELOC_SPARC_TLS_DTPOFF64; break;
4803 }
bd5e6e7e
JJ
4804 }
4805 else if (sparc_no_align_cons)
0f2712ed
NC
4806 {
4807 switch (nbytes)
4808 {
4809 case 2: r = BFD_RELOC_SPARC_UA16; break;
4810 case 4: r = BFD_RELOC_SPARC_UA32; break;
4811 case 8: r = BFD_RELOC_SPARC_UA64; break;
4812 default: abort ();
4813 }
4ffadb11 4814 }
0f2712ed 4815
252b5132 4816 fix_new_exp (frag, where, (int) nbytes, exp, 0, r);
364b6d8b
JJ
4817}
4818
4819void
5a49b8ac 4820sparc_cfi_frame_initial_instructions (void)
364b6d8b
JJ
4821{
4822 cfi_add_CFA_def_cfa (14, sparc_arch_size == 64 ? 0x7ff : 0);
4823}
4824
4825int
1df69f4f 4826sparc_regname_to_dw2regnum (char *regname)
364b6d8b
JJ
4827{
4828 char *p, *q;
4829
4830 if (!regname[0])
4831 return -1;
4832
4833 q = "goli";
4834 p = strchr (q, regname[0]);
4835 if (p)
4836 {
4837 if (regname[1] < '0' || regname[1] > '8' || regname[2])
4838 return -1;
4839 return (p - q) * 8 + regname[1] - '0';
4840 }
4841 if (regname[0] == 's' && regname[1] == 'p' && !regname[2])
4842 return 14;
4843 if (regname[0] == 'f' && regname[1] == 'p' && !regname[2])
4844 return 30;
4845 if (regname[0] == 'f' || regname[0] == 'r')
4846 {
4847 unsigned int regnum;
4848
4849 regnum = strtoul (regname + 1, &q, 10);
4850 if (p == q || *q)
4851 return -1;
4852 if (regnum >= ((regname[0] == 'f'
4853 && SPARC_OPCODE_ARCH_V9_P (max_architecture))
4854 ? 64 : 32))
4855 return -1;
4856 if (regname[0] == 'f')
4857 {
4858 regnum += 32;
4859 if (regnum >= 64 && (regnum & 1))
4860 return -1;
4861 }
4862 return regnum;
4863 }
4864 return -1;
4865}
4866
4867void
4868sparc_cfi_emit_pcrel_expr (expressionS *exp, unsigned int nbytes)
4869{
364b6d8b 4870 sparc_no_align_cons = 1;
62ebcb5c 4871 emit_expr_with_reloc (exp, nbytes, "disp");
364b6d8b 4872 sparc_no_align_cons = 0;
252b5132 4873}