gas/
[binutils-gdb.git] / gas / config / tc-ppc.c
blobd0340dffc2901b2bbd1ba3356ecf65accbb954ed
1 /* tc-ppc.c -- Assemble for the PowerPC or POWER (RS/6000)
2 Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
3 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
4 Written by Ian Lance Taylor, Cygnus Support.
6 This file is part of GAS, the GNU Assembler.
8 GAS is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
11 any later version.
13 GAS is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GAS; see the file COPYING. If not, write to the Free
20 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
21 02110-1301, USA. */
23 #include "as.h"
24 #include "safe-ctype.h"
25 #include "subsegs.h"
26 #include "dw2gencfi.h"
27 #include "opcode/ppc.h"
29 #ifdef OBJ_ELF
30 #include "elf/ppc.h"
31 #include "dwarf2dbg.h"
32 #endif
34 #ifdef TE_PE
35 #include "coff/pe.h"
36 #endif
38 /* This is the assembler for the PowerPC or POWER (RS/6000) chips. */
40 /* Tell the main code what the endianness is. */
41 extern int target_big_endian;
43 /* Whether or not, we've set target_big_endian. */
44 static int set_target_endian = 0;
46 /* Whether to use user friendly register names. */
47 #ifndef TARGET_REG_NAMES_P
48 #ifdef TE_PE
49 #define TARGET_REG_NAMES_P TRUE
50 #else
51 #define TARGET_REG_NAMES_P FALSE
52 #endif
53 #endif
55 /* Macros for calculating LO, HI, HA, HIGHER, HIGHERA, HIGHEST,
56 HIGHESTA. */
58 /* #lo(value) denotes the least significant 16 bits of the indicated. */
59 #define PPC_LO(v) ((v) & 0xffff)
61 /* #hi(value) denotes bits 16 through 31 of the indicated value. */
62 #define PPC_HI(v) (((v) >> 16) & 0xffff)
64 /* #ha(value) denotes the high adjusted value: bits 16 through 31 of
65 the indicated value, compensating for #lo() being treated as a
66 signed number. */
67 #define PPC_HA(v) PPC_HI ((v) + 0x8000)
69 /* #higher(value) denotes bits 32 through 47 of the indicated value. */
70 #define PPC_HIGHER(v) (((v) >> 16 >> 16) & 0xffff)
72 /* #highera(value) denotes bits 32 through 47 of the indicated value,
73 compensating for #lo() being treated as a signed number. */
74 #define PPC_HIGHERA(v) PPC_HIGHER ((v) + 0x8000)
76 /* #highest(value) denotes bits 48 through 63 of the indicated value. */
77 #define PPC_HIGHEST(v) (((v) >> 24 >> 24) & 0xffff)
79 /* #highesta(value) denotes bits 48 through 63 of the indicated value,
80 compensating for #lo being treated as a signed number. */
81 #define PPC_HIGHESTA(v) PPC_HIGHEST ((v) + 0x8000)
83 #define SEX16(val) ((((val) & 0xffff) ^ 0x8000) - 0x8000)
85 static bfd_boolean reg_names_p = TARGET_REG_NAMES_P;
87 static void ppc_macro (char *, const struct powerpc_macro *);
88 static void ppc_byte (int);
90 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
91 static void ppc_tc (int);
92 static void ppc_machine (int);
93 #endif
95 #ifdef OBJ_XCOFF
96 static void ppc_comm (int);
97 static void ppc_bb (int);
98 static void ppc_bc (int);
99 static void ppc_bf (int);
100 static void ppc_biei (int);
101 static void ppc_bs (int);
102 static void ppc_eb (int);
103 static void ppc_ec (int);
104 static void ppc_ef (int);
105 static void ppc_es (int);
106 static void ppc_csect (int);
107 static void ppc_change_csect (symbolS *, offsetT);
108 static void ppc_function (int);
109 static void ppc_extern (int);
110 static void ppc_lglobl (int);
111 static void ppc_section (int);
112 static void ppc_named_section (int);
113 static void ppc_stabx (int);
114 static void ppc_rename (int);
115 static void ppc_toc (int);
116 static void ppc_xcoff_cons (int);
117 static void ppc_vbyte (int);
118 #endif
120 #ifdef OBJ_ELF
121 static void ppc_elf_cons (int);
122 static void ppc_elf_rdata (int);
123 static void ppc_elf_lcomm (int);
124 #endif
126 #ifdef TE_PE
127 static void ppc_previous (int);
128 static void ppc_pdata (int);
129 static void ppc_ydata (int);
130 static void ppc_reldata (int);
131 static void ppc_rdata (int);
132 static void ppc_ualong (int);
133 static void ppc_znop (int);
134 static void ppc_pe_comm (int);
135 static void ppc_pe_section (int);
136 static void ppc_pe_function (int);
137 static void ppc_pe_tocd (int);
138 #endif
140 /* Generic assembler global variables which must be defined by all
141 targets. */
143 #ifdef OBJ_ELF
144 /* This string holds the chars that always start a comment. If the
145 pre-processor is disabled, these aren't very useful. The macro
146 tc_comment_chars points to this. We use this, rather than the
147 usual comment_chars, so that we can switch for Solaris conventions. */
148 static const char ppc_solaris_comment_chars[] = "#!";
149 static const char ppc_eabi_comment_chars[] = "#";
151 #ifdef TARGET_SOLARIS_COMMENT
152 const char *ppc_comment_chars = ppc_solaris_comment_chars;
153 #else
154 const char *ppc_comment_chars = ppc_eabi_comment_chars;
155 #endif
156 #else
157 const char comment_chars[] = "#";
158 #endif
160 /* Characters which start a comment at the beginning of a line. */
161 const char line_comment_chars[] = "#";
163 /* Characters which may be used to separate multiple commands on a
164 single line. */
165 const char line_separator_chars[] = ";";
167 /* Characters which are used to indicate an exponent in a floating
168 point number. */
169 const char EXP_CHARS[] = "eE";
171 /* Characters which mean that a number is a floating point constant,
172 as in 0d1.0. */
173 const char FLT_CHARS[] = "dD";
175 /* Anything that can start an operand needs to be mentioned here,
176 to stop the input scrubber eating whitespace. */
177 const char ppc_symbol_chars[] = "%[";
179 /* The dwarf2 data alignment, adjusted for 32 or 64 bit. */
180 int ppc_cie_data_alignment;
182 /* The type of processor we are assembling for. This is one or more
183 of the PPC_OPCODE flags defined in opcode/ppc.h. */
184 ppc_cpu_t ppc_cpu = 0;
186 /* The target specific pseudo-ops which we support. */
188 const pseudo_typeS md_pseudo_table[] =
190 /* Pseudo-ops which must be overridden. */
191 { "byte", ppc_byte, 0 },
193 #ifdef OBJ_XCOFF
194 /* Pseudo-ops specific to the RS/6000 XCOFF format. Some of these
195 legitimately belong in the obj-*.c file. However, XCOFF is based
196 on COFF, and is only implemented for the RS/6000. We just use
197 obj-coff.c, and add what we need here. */
198 { "comm", ppc_comm, 0 },
199 { "lcomm", ppc_comm, 1 },
200 { "bb", ppc_bb, 0 },
201 { "bc", ppc_bc, 0 },
202 { "bf", ppc_bf, 0 },
203 { "bi", ppc_biei, 0 },
204 { "bs", ppc_bs, 0 },
205 { "csect", ppc_csect, 0 },
206 { "data", ppc_section, 'd' },
207 { "eb", ppc_eb, 0 },
208 { "ec", ppc_ec, 0 },
209 { "ef", ppc_ef, 0 },
210 { "ei", ppc_biei, 1 },
211 { "es", ppc_es, 0 },
212 { "extern", ppc_extern, 0 },
213 { "function", ppc_function, 0 },
214 { "lglobl", ppc_lglobl, 0 },
215 { "rename", ppc_rename, 0 },
216 { "section", ppc_named_section, 0 },
217 { "stabx", ppc_stabx, 0 },
218 { "text", ppc_section, 't' },
219 { "toc", ppc_toc, 0 },
220 { "long", ppc_xcoff_cons, 2 },
221 { "llong", ppc_xcoff_cons, 3 },
222 { "word", ppc_xcoff_cons, 1 },
223 { "short", ppc_xcoff_cons, 1 },
224 { "vbyte", ppc_vbyte, 0 },
225 #endif
227 #ifdef OBJ_ELF
228 { "llong", ppc_elf_cons, 8 },
229 { "quad", ppc_elf_cons, 8 },
230 { "long", ppc_elf_cons, 4 },
231 { "word", ppc_elf_cons, 2 },
232 { "short", ppc_elf_cons, 2 },
233 { "rdata", ppc_elf_rdata, 0 },
234 { "rodata", ppc_elf_rdata, 0 },
235 { "lcomm", ppc_elf_lcomm, 0 },
236 #endif
238 #ifdef TE_PE
239 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
240 { "previous", ppc_previous, 0 },
241 { "pdata", ppc_pdata, 0 },
242 { "ydata", ppc_ydata, 0 },
243 { "reldata", ppc_reldata, 0 },
244 { "rdata", ppc_rdata, 0 },
245 { "ualong", ppc_ualong, 0 },
246 { "znop", ppc_znop, 0 },
247 { "comm", ppc_pe_comm, 0 },
248 { "lcomm", ppc_pe_comm, 1 },
249 { "section", ppc_pe_section, 0 },
250 { "function", ppc_pe_function,0 },
251 { "tocd", ppc_pe_tocd, 0 },
252 #endif
254 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
255 { "tc", ppc_tc, 0 },
256 { "machine", ppc_machine, 0 },
257 #endif
259 { NULL, NULL, 0 }
263 /* Predefined register names if -mregnames (or default for Windows NT).
264 In general, there are lots of them, in an attempt to be compatible
265 with a number of other Windows NT assemblers. */
267 /* Structure to hold information about predefined registers. */
268 struct pd_reg
270 char *name;
271 int value;
274 /* List of registers that are pre-defined:
276 Each general register has predefined names of the form:
277 1. r<reg_num> which has the value <reg_num>.
278 2. r.<reg_num> which has the value <reg_num>.
280 Each floating point register has predefined names of the form:
281 1. f<reg_num> which has the value <reg_num>.
282 2. f.<reg_num> which has the value <reg_num>.
284 Each vector unit register has predefined names of the form:
285 1. v<reg_num> which has the value <reg_num>.
286 2. v.<reg_num> which has the value <reg_num>.
288 Each condition register has predefined names of the form:
289 1. cr<reg_num> which has the value <reg_num>.
290 2. cr.<reg_num> which has the value <reg_num>.
292 There are individual registers as well:
293 sp or r.sp has the value 1
294 rtoc or r.toc has the value 2
295 fpscr has the value 0
296 xer has the value 1
297 lr has the value 8
298 ctr has the value 9
299 pmr has the value 0
300 dar has the value 19
301 dsisr has the value 18
302 dec has the value 22
303 sdr1 has the value 25
304 srr0 has the value 26
305 srr1 has the value 27
307 The table is sorted. Suitable for searching by a binary search. */
309 static const struct pd_reg pre_defined_registers[] =
311 { "cr.0", 0 }, /* Condition Registers */
312 { "cr.1", 1 },
313 { "cr.2", 2 },
314 { "cr.3", 3 },
315 { "cr.4", 4 },
316 { "cr.5", 5 },
317 { "cr.6", 6 },
318 { "cr.7", 7 },
320 { "cr0", 0 },
321 { "cr1", 1 },
322 { "cr2", 2 },
323 { "cr3", 3 },
324 { "cr4", 4 },
325 { "cr5", 5 },
326 { "cr6", 6 },
327 { "cr7", 7 },
329 { "ctr", 9 },
331 { "dar", 19 }, /* Data Access Register */
332 { "dec", 22 }, /* Decrementer */
333 { "dsisr", 18 }, /* Data Storage Interrupt Status Register */
335 { "f.0", 0 }, /* Floating point registers */
336 { "f.1", 1 },
337 { "f.10", 10 },
338 { "f.11", 11 },
339 { "f.12", 12 },
340 { "f.13", 13 },
341 { "f.14", 14 },
342 { "f.15", 15 },
343 { "f.16", 16 },
344 { "f.17", 17 },
345 { "f.18", 18 },
346 { "f.19", 19 },
347 { "f.2", 2 },
348 { "f.20", 20 },
349 { "f.21", 21 },
350 { "f.22", 22 },
351 { "f.23", 23 },
352 { "f.24", 24 },
353 { "f.25", 25 },
354 { "f.26", 26 },
355 { "f.27", 27 },
356 { "f.28", 28 },
357 { "f.29", 29 },
358 { "f.3", 3 },
359 { "f.30", 30 },
360 { "f.31", 31 },
362 { "f.32", 32 }, /* Extended floating point scalar registers (ISA 2.06). */
363 { "f.33", 33 },
364 { "f.34", 34 },
365 { "f.35", 35 },
366 { "f.36", 36 },
367 { "f.37", 37 },
368 { "f.38", 38 },
369 { "f.39", 39 },
370 { "f.4", 4 },
371 { "f.40", 40 },
372 { "f.41", 41 },
373 { "f.42", 42 },
374 { "f.43", 43 },
375 { "f.44", 44 },
376 { "f.45", 45 },
377 { "f.46", 46 },
378 { "f.47", 47 },
379 { "f.48", 48 },
380 { "f.49", 49 },
381 { "f.5", 5 },
382 { "f.50", 50 },
383 { "f.51", 51 },
384 { "f.52", 52 },
385 { "f.53", 53 },
386 { "f.54", 54 },
387 { "f.55", 55 },
388 { "f.56", 56 },
389 { "f.57", 57 },
390 { "f.58", 58 },
391 { "f.59", 59 },
392 { "f.6", 6 },
393 { "f.60", 60 },
394 { "f.61", 61 },
395 { "f.62", 62 },
396 { "f.63", 63 },
397 { "f.7", 7 },
398 { "f.8", 8 },
399 { "f.9", 9 },
401 { "f0", 0 },
402 { "f1", 1 },
403 { "f10", 10 },
404 { "f11", 11 },
405 { "f12", 12 },
406 { "f13", 13 },
407 { "f14", 14 },
408 { "f15", 15 },
409 { "f16", 16 },
410 { "f17", 17 },
411 { "f18", 18 },
412 { "f19", 19 },
413 { "f2", 2 },
414 { "f20", 20 },
415 { "f21", 21 },
416 { "f22", 22 },
417 { "f23", 23 },
418 { "f24", 24 },
419 { "f25", 25 },
420 { "f26", 26 },
421 { "f27", 27 },
422 { "f28", 28 },
423 { "f29", 29 },
424 { "f3", 3 },
425 { "f30", 30 },
426 { "f31", 31 },
428 { "f32", 32 }, /* Extended floating point scalar registers (ISA 2.06). */
429 { "f33", 33 },
430 { "f34", 34 },
431 { "f35", 35 },
432 { "f36", 36 },
433 { "f37", 37 },
434 { "f38", 38 },
435 { "f39", 39 },
436 { "f4", 4 },
437 { "f40", 40 },
438 { "f41", 41 },
439 { "f42", 42 },
440 { "f43", 43 },
441 { "f44", 44 },
442 { "f45", 45 },
443 { "f46", 46 },
444 { "f47", 47 },
445 { "f48", 48 },
446 { "f49", 49 },
447 { "f5", 5 },
448 { "f50", 50 },
449 { "f51", 51 },
450 { "f52", 52 },
451 { "f53", 53 },
452 { "f54", 54 },
453 { "f55", 55 },
454 { "f56", 56 },
455 { "f57", 57 },
456 { "f58", 58 },
457 { "f59", 59 },
458 { "f6", 6 },
459 { "f60", 60 },
460 { "f61", 61 },
461 { "f62", 62 },
462 { "f63", 63 },
463 { "f7", 7 },
464 { "f8", 8 },
465 { "f9", 9 },
467 { "fpscr", 0 },
469 /* Quantization registers used with pair single instructions. */
470 { "gqr.0", 0 },
471 { "gqr.1", 1 },
472 { "gqr.2", 2 },
473 { "gqr.3", 3 },
474 { "gqr.4", 4 },
475 { "gqr.5", 5 },
476 { "gqr.6", 6 },
477 { "gqr.7", 7 },
478 { "gqr0", 0 },
479 { "gqr1", 1 },
480 { "gqr2", 2 },
481 { "gqr3", 3 },
482 { "gqr4", 4 },
483 { "gqr5", 5 },
484 { "gqr6", 6 },
485 { "gqr7", 7 },
487 { "lr", 8 }, /* Link Register */
489 { "pmr", 0 },
491 { "r.0", 0 }, /* General Purpose Registers */
492 { "r.1", 1 },
493 { "r.10", 10 },
494 { "r.11", 11 },
495 { "r.12", 12 },
496 { "r.13", 13 },
497 { "r.14", 14 },
498 { "r.15", 15 },
499 { "r.16", 16 },
500 { "r.17", 17 },
501 { "r.18", 18 },
502 { "r.19", 19 },
503 { "r.2", 2 },
504 { "r.20", 20 },
505 { "r.21", 21 },
506 { "r.22", 22 },
507 { "r.23", 23 },
508 { "r.24", 24 },
509 { "r.25", 25 },
510 { "r.26", 26 },
511 { "r.27", 27 },
512 { "r.28", 28 },
513 { "r.29", 29 },
514 { "r.3", 3 },
515 { "r.30", 30 },
516 { "r.31", 31 },
517 { "r.4", 4 },
518 { "r.5", 5 },
519 { "r.6", 6 },
520 { "r.7", 7 },
521 { "r.8", 8 },
522 { "r.9", 9 },
524 { "r.sp", 1 }, /* Stack Pointer */
526 { "r.toc", 2 }, /* Pointer to the table of contents */
528 { "r0", 0 }, /* More general purpose registers */
529 { "r1", 1 },
530 { "r10", 10 },
531 { "r11", 11 },
532 { "r12", 12 },
533 { "r13", 13 },
534 { "r14", 14 },
535 { "r15", 15 },
536 { "r16", 16 },
537 { "r17", 17 },
538 { "r18", 18 },
539 { "r19", 19 },
540 { "r2", 2 },
541 { "r20", 20 },
542 { "r21", 21 },
543 { "r22", 22 },
544 { "r23", 23 },
545 { "r24", 24 },
546 { "r25", 25 },
547 { "r26", 26 },
548 { "r27", 27 },
549 { "r28", 28 },
550 { "r29", 29 },
551 { "r3", 3 },
552 { "r30", 30 },
553 { "r31", 31 },
554 { "r4", 4 },
555 { "r5", 5 },
556 { "r6", 6 },
557 { "r7", 7 },
558 { "r8", 8 },
559 { "r9", 9 },
561 { "rtoc", 2 }, /* Table of contents */
563 { "sdr1", 25 }, /* Storage Description Register 1 */
565 { "sp", 1 },
567 { "srr0", 26 }, /* Machine Status Save/Restore Register 0 */
568 { "srr1", 27 }, /* Machine Status Save/Restore Register 1 */
570 { "v.0", 0 }, /* Vector (Altivec/VMX) registers */
571 { "v.1", 1 },
572 { "v.10", 10 },
573 { "v.11", 11 },
574 { "v.12", 12 },
575 { "v.13", 13 },
576 { "v.14", 14 },
577 { "v.15", 15 },
578 { "v.16", 16 },
579 { "v.17", 17 },
580 { "v.18", 18 },
581 { "v.19", 19 },
582 { "v.2", 2 },
583 { "v.20", 20 },
584 { "v.21", 21 },
585 { "v.22", 22 },
586 { "v.23", 23 },
587 { "v.24", 24 },
588 { "v.25", 25 },
589 { "v.26", 26 },
590 { "v.27", 27 },
591 { "v.28", 28 },
592 { "v.29", 29 },
593 { "v.3", 3 },
594 { "v.30", 30 },
595 { "v.31", 31 },
596 { "v.4", 4 },
597 { "v.5", 5 },
598 { "v.6", 6 },
599 { "v.7", 7 },
600 { "v.8", 8 },
601 { "v.9", 9 },
603 { "v0", 0 },
604 { "v1", 1 },
605 { "v10", 10 },
606 { "v11", 11 },
607 { "v12", 12 },
608 { "v13", 13 },
609 { "v14", 14 },
610 { "v15", 15 },
611 { "v16", 16 },
612 { "v17", 17 },
613 { "v18", 18 },
614 { "v19", 19 },
615 { "v2", 2 },
616 { "v20", 20 },
617 { "v21", 21 },
618 { "v22", 22 },
619 { "v23", 23 },
620 { "v24", 24 },
621 { "v25", 25 },
622 { "v26", 26 },
623 { "v27", 27 },
624 { "v28", 28 },
625 { "v29", 29 },
626 { "v3", 3 },
627 { "v30", 30 },
628 { "v31", 31 },
629 { "v4", 4 },
630 { "v5", 5 },
631 { "v6", 6 },
632 { "v7", 7 },
633 { "v8", 8 },
634 { "v9", 9 },
636 { "vs.0", 0 }, /* Vector Scalar (VSX) registers (ISA 2.06). */
637 { "vs.1", 1 },
638 { "vs.10", 10 },
639 { "vs.11", 11 },
640 { "vs.12", 12 },
641 { "vs.13", 13 },
642 { "vs.14", 14 },
643 { "vs.15", 15 },
644 { "vs.16", 16 },
645 { "vs.17", 17 },
646 { "vs.18", 18 },
647 { "vs.19", 19 },
648 { "vs.2", 2 },
649 { "vs.20", 20 },
650 { "vs.21", 21 },
651 { "vs.22", 22 },
652 { "vs.23", 23 },
653 { "vs.24", 24 },
654 { "vs.25", 25 },
655 { "vs.26", 26 },
656 { "vs.27", 27 },
657 { "vs.28", 28 },
658 { "vs.29", 29 },
659 { "vs.3", 3 },
660 { "vs.30", 30 },
661 { "vs.31", 31 },
662 { "vs.32", 32 },
663 { "vs.33", 33 },
664 { "vs.34", 34 },
665 { "vs.35", 35 },
666 { "vs.36", 36 },
667 { "vs.37", 37 },
668 { "vs.38", 38 },
669 { "vs.39", 39 },
670 { "vs.4", 4 },
671 { "vs.40", 40 },
672 { "vs.41", 41 },
673 { "vs.42", 42 },
674 { "vs.43", 43 },
675 { "vs.44", 44 },
676 { "vs.45", 45 },
677 { "vs.46", 46 },
678 { "vs.47", 47 },
679 { "vs.48", 48 },
680 { "vs.49", 49 },
681 { "vs.5", 5 },
682 { "vs.50", 50 },
683 { "vs.51", 51 },
684 { "vs.52", 52 },
685 { "vs.53", 53 },
686 { "vs.54", 54 },
687 { "vs.55", 55 },
688 { "vs.56", 56 },
689 { "vs.57", 57 },
690 { "vs.58", 58 },
691 { "vs.59", 59 },
692 { "vs.6", 6 },
693 { "vs.60", 60 },
694 { "vs.61", 61 },
695 { "vs.62", 62 },
696 { "vs.63", 63 },
697 { "vs.7", 7 },
698 { "vs.8", 8 },
699 { "vs.9", 9 },
701 { "vs0", 0 },
702 { "vs1", 1 },
703 { "vs10", 10 },
704 { "vs11", 11 },
705 { "vs12", 12 },
706 { "vs13", 13 },
707 { "vs14", 14 },
708 { "vs15", 15 },
709 { "vs16", 16 },
710 { "vs17", 17 },
711 { "vs18", 18 },
712 { "vs19", 19 },
713 { "vs2", 2 },
714 { "vs20", 20 },
715 { "vs21", 21 },
716 { "vs22", 22 },
717 { "vs23", 23 },
718 { "vs24", 24 },
719 { "vs25", 25 },
720 { "vs26", 26 },
721 { "vs27", 27 },
722 { "vs28", 28 },
723 { "vs29", 29 },
724 { "vs3", 3 },
725 { "vs30", 30 },
726 { "vs31", 31 },
727 { "vs32", 32 },
728 { "vs33", 33 },
729 { "vs34", 34 },
730 { "vs35", 35 },
731 { "vs36", 36 },
732 { "vs37", 37 },
733 { "vs38", 38 },
734 { "vs39", 39 },
735 { "vs4", 4 },
736 { "vs40", 40 },
737 { "vs41", 41 },
738 { "vs42", 42 },
739 { "vs43", 43 },
740 { "vs44", 44 },
741 { "vs45", 45 },
742 { "vs46", 46 },
743 { "vs47", 47 },
744 { "vs48", 48 },
745 { "vs49", 49 },
746 { "vs5", 5 },
747 { "vs50", 50 },
748 { "vs51", 51 },
749 { "vs52", 52 },
750 { "vs53", 53 },
751 { "vs54", 54 },
752 { "vs55", 55 },
753 { "vs56", 56 },
754 { "vs57", 57 },
755 { "vs58", 58 },
756 { "vs59", 59 },
757 { "vs6", 6 },
758 { "vs60", 60 },
759 { "vs61", 61 },
760 { "vs62", 62 },
761 { "vs63", 63 },
762 { "vs7", 7 },
763 { "vs8", 8 },
764 { "vs9", 9 },
766 { "xer", 1 },
770 #define REG_NAME_CNT (sizeof (pre_defined_registers) / sizeof (struct pd_reg))
772 /* Given NAME, find the register number associated with that name, return
773 the integer value associated with the given name or -1 on failure. */
775 static int
776 reg_name_search (const struct pd_reg *regs, int regcount, const char *name)
778 int middle, low, high;
779 int cmp;
781 low = 0;
782 high = regcount - 1;
786 middle = (low + high) / 2;
787 cmp = strcasecmp (name, regs[middle].name);
788 if (cmp < 0)
789 high = middle - 1;
790 else if (cmp > 0)
791 low = middle + 1;
792 else
793 return regs[middle].value;
795 while (low <= high);
797 return -1;
801 * Summary of register_name.
803 * in: Input_line_pointer points to 1st char of operand.
805 * out: A expressionS.
806 * The operand may have been a register: in this case, X_op == O_register,
807 * X_add_number is set to the register number, and truth is returned.
808 * Input_line_pointer->(next non-blank) char after operand, or is in its
809 * original state.
812 static bfd_boolean
813 register_name (expressionS *expressionP)
815 int reg_number;
816 char *name;
817 char *start;
818 char c;
820 /* Find the spelling of the operand. */
821 start = name = input_line_pointer;
822 if (name[0] == '%' && ISALPHA (name[1]))
823 name = ++input_line_pointer;
825 else if (!reg_names_p || !ISALPHA (name[0]))
826 return FALSE;
828 c = get_symbol_end ();
829 reg_number = reg_name_search (pre_defined_registers, REG_NAME_CNT, name);
831 /* Put back the delimiting char. */
832 *input_line_pointer = c;
834 /* Look to see if it's in the register table. */
835 if (reg_number >= 0)
837 expressionP->X_op = O_register;
838 expressionP->X_add_number = reg_number;
840 /* Make the rest nice. */
841 expressionP->X_add_symbol = NULL;
842 expressionP->X_op_symbol = NULL;
843 return TRUE;
846 /* Reset the line as if we had not done anything. */
847 input_line_pointer = start;
848 return FALSE;
851 /* This function is called for each symbol seen in an expression. It
852 handles the special parsing which PowerPC assemblers are supposed
853 to use for condition codes. */
855 /* Whether to do the special parsing. */
856 static bfd_boolean cr_operand;
858 /* Names to recognize in a condition code. This table is sorted. */
859 static const struct pd_reg cr_names[] =
861 { "cr0", 0 },
862 { "cr1", 1 },
863 { "cr2", 2 },
864 { "cr3", 3 },
865 { "cr4", 4 },
866 { "cr5", 5 },
867 { "cr6", 6 },
868 { "cr7", 7 },
869 { "eq", 2 },
870 { "gt", 1 },
871 { "lt", 0 },
872 { "so", 3 },
873 { "un", 3 }
876 /* Parsing function. This returns non-zero if it recognized an
877 expression. */
880 ppc_parse_name (const char *name, expressionS *expr)
882 int val;
884 if (! cr_operand)
885 return 0;
887 if (*name == '%')
888 ++name;
889 val = reg_name_search (cr_names, sizeof cr_names / sizeof cr_names[0],
890 name);
891 if (val < 0)
892 return 0;
894 expr->X_op = O_constant;
895 expr->X_add_number = val;
897 return 1;
900 /* Local variables. */
902 /* Whether to target xcoff64/elf64. */
903 static unsigned int ppc_obj64 = BFD_DEFAULT_TARGET_SIZE == 64;
905 /* Opcode hash table. */
906 static struct hash_control *ppc_hash;
908 /* Macro hash table. */
909 static struct hash_control *ppc_macro_hash;
911 #ifdef OBJ_ELF
912 /* What type of shared library support to use. */
913 static enum { SHLIB_NONE, SHLIB_PIC, SHLIB_MRELOCATABLE } shlib = SHLIB_NONE;
915 /* Flags to set in the elf header. */
916 static flagword ppc_flags = 0;
918 /* Whether this is Solaris or not. */
919 #ifdef TARGET_SOLARIS_COMMENT
920 #define SOLARIS_P TRUE
921 #else
922 #define SOLARIS_P FALSE
923 #endif
925 static bfd_boolean msolaris = SOLARIS_P;
926 #endif
928 #ifdef OBJ_XCOFF
930 /* The RS/6000 assembler uses the .csect pseudo-op to generate code
931 using a bunch of different sections. These assembler sections,
932 however, are all encompassed within the .text or .data sections of
933 the final output file. We handle this by using different
934 subsegments within these main segments. */
936 /* Next subsegment to allocate within the .text segment. */
937 static subsegT ppc_text_subsegment = 2;
939 /* Linked list of csects in the text section. */
940 static symbolS *ppc_text_csects;
942 /* Next subsegment to allocate within the .data segment. */
943 static subsegT ppc_data_subsegment = 2;
945 /* Linked list of csects in the data section. */
946 static symbolS *ppc_data_csects;
948 /* The current csect. */
949 static symbolS *ppc_current_csect;
951 /* The RS/6000 assembler uses a TOC which holds addresses of functions
952 and variables. Symbols are put in the TOC with the .tc pseudo-op.
953 A special relocation is used when accessing TOC entries. We handle
954 the TOC as a subsegment within the .data segment. We set it up if
955 we see a .toc pseudo-op, and save the csect symbol here. */
956 static symbolS *ppc_toc_csect;
958 /* The first frag in the TOC subsegment. */
959 static fragS *ppc_toc_frag;
961 /* The first frag in the first subsegment after the TOC in the .data
962 segment. NULL if there are no subsegments after the TOC. */
963 static fragS *ppc_after_toc_frag;
965 /* The current static block. */
966 static symbolS *ppc_current_block;
968 /* The COFF debugging section; set by md_begin. This is not the
969 .debug section, but is instead the secret BFD section which will
970 cause BFD to set the section number of a symbol to N_DEBUG. */
971 static asection *ppc_coff_debug_section;
973 #endif /* OBJ_XCOFF */
975 #ifdef TE_PE
977 /* Various sections that we need for PE coff support. */
978 static segT ydata_section;
979 static segT pdata_section;
980 static segT reldata_section;
981 static segT rdata_section;
982 static segT tocdata_section;
984 /* The current section and the previous section. See ppc_previous. */
985 static segT ppc_previous_section;
986 static segT ppc_current_section;
988 #endif /* TE_PE */
990 #ifdef OBJ_ELF
991 symbolS *GOT_symbol; /* Pre-defined "_GLOBAL_OFFSET_TABLE" */
992 #define PPC_APUINFO_ISEL 0x40
993 #define PPC_APUINFO_PMR 0x41
994 #define PPC_APUINFO_RFMCI 0x42
995 #define PPC_APUINFO_CACHELCK 0x43
996 #define PPC_APUINFO_SPE 0x100
997 #define PPC_APUINFO_EFS 0x101
998 #define PPC_APUINFO_BRLOCK 0x102
1001 * We keep a list of APUinfo
1003 unsigned long *ppc_apuinfo_list;
1004 unsigned int ppc_apuinfo_num;
1005 unsigned int ppc_apuinfo_num_alloc;
1006 #endif /* OBJ_ELF */
1008 #ifdef OBJ_ELF
1009 const char *const md_shortopts = "b:l:usm:K:VQ:";
1010 #else
1011 const char *const md_shortopts = "um:";
1012 #endif
1013 const struct option md_longopts[] = {
1014 {NULL, no_argument, NULL, 0}
1016 const size_t md_longopts_size = sizeof (md_longopts);
1019 /* Handle -m options that set cpu type, and .machine arg. */
1021 static int
1022 parse_cpu (const char *arg)
1024 ppc_cpu_t retain_flags =
1025 ppc_cpu & (PPC_OPCODE_ALTIVEC | PPC_OPCODE_VSX | PPC_OPCODE_SPE);
1027 /* -mpwrx and -mpwr2 mean to assemble for the IBM POWER/2
1028 (RIOS2). */
1029 if (strcmp (arg, "pwrx") == 0 || strcmp (arg, "pwr2") == 0)
1030 ppc_cpu = PPC_OPCODE_POWER | PPC_OPCODE_POWER2 | PPC_OPCODE_32;
1031 /* -mpwr means to assemble for the IBM POWER (RIOS1). */
1032 else if (strcmp (arg, "pwr") == 0)
1033 ppc_cpu = PPC_OPCODE_POWER | PPC_OPCODE_32;
1034 /* -m601 means to assemble for the PowerPC 601, which includes
1035 instructions that are holdovers from the Power. */
1036 else if (strcmp (arg, "601") == 0)
1037 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
1038 | PPC_OPCODE_601 | PPC_OPCODE_32);
1039 /* -mppc, -mppc32, -m603, and -m604 mean to assemble for the
1040 PowerPC 603/604. */
1041 else if (strcmp (arg, "ppc") == 0
1042 || strcmp (arg, "ppc32") == 0
1043 || strcmp (arg, "603") == 0
1044 || strcmp (arg, "604") == 0)
1045 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_32;
1046 /* Do all PPC750s have paired single ops? */
1047 else if (strcmp (arg, "750cl") == 0)
1048 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_PPCPS;
1049 else if (strcmp (arg, "403") == 0)
1050 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
1051 | PPC_OPCODE_403 | PPC_OPCODE_32);
1052 else if (strcmp (arg, "405") == 0)
1053 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
1054 | PPC_OPCODE_403 | PPC_OPCODE_405 | PPC_OPCODE_32);
1055 else if (strcmp (arg, "440") == 0
1056 || strcmp (arg, "464") == 0)
1057 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_32
1058 | PPC_OPCODE_440 | PPC_OPCODE_ISEL | PPC_OPCODE_RFMCI);
1059 else if (strcmp (arg, "7400") == 0
1060 || strcmp (arg, "7410") == 0
1061 || strcmp (arg, "7450") == 0
1062 || strcmp (arg, "7455") == 0)
1063 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
1064 | PPC_OPCODE_ALTIVEC | PPC_OPCODE_32);
1065 else if (strcmp (arg, "e300") == 0)
1066 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_32
1067 | PPC_OPCODE_E300);
1068 else if (strcmp (arg, "altivec") == 0)
1070 if (ppc_cpu == 0)
1071 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC;
1073 retain_flags |= PPC_OPCODE_ALTIVEC;
1075 else if (strcmp (arg, "vsx") == 0)
1077 if (ppc_cpu == 0)
1078 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC;
1080 retain_flags |= PPC_OPCODE_VSX;
1082 else if (strcmp (arg, "e500") == 0 || strcmp (arg, "e500x2") == 0)
1084 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_SPE
1085 | PPC_OPCODE_ISEL | PPC_OPCODE_EFS | PPC_OPCODE_BRLOCK
1086 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
1087 | PPC_OPCODE_RFMCI | PPC_OPCODE_E500MC);
1089 else if (strcmp (arg, "e500mc") == 0)
1091 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_ISEL
1092 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
1093 | PPC_OPCODE_RFMCI | PPC_OPCODE_E500MC);
1095 else if (strcmp (arg, "spe") == 0)
1097 if (ppc_cpu == 0)
1098 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_EFS;
1100 retain_flags |= PPC_OPCODE_SPE;
1102 /* -mppc64 and -m620 mean to assemble for the 64-bit PowerPC
1103 620. */
1104 else if (strcmp (arg, "ppc64") == 0 || strcmp (arg, "620") == 0)
1106 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_64;
1108 else if (strcmp (arg, "ppc64bridge") == 0)
1110 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
1111 | PPC_OPCODE_64_BRIDGE | PPC_OPCODE_64);
1113 /* -mbooke/-mbooke32 mean enable 32-bit BookE support. */
1114 else if (strcmp (arg, "booke") == 0 || strcmp (arg, "booke32") == 0)
1116 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_32;
1118 else if (strcmp (arg, "power4") == 0)
1120 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
1121 | PPC_OPCODE_64 | PPC_OPCODE_POWER4);
1123 else if (strcmp (arg, "power5") == 0)
1125 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
1126 | PPC_OPCODE_64 | PPC_OPCODE_POWER4
1127 | PPC_OPCODE_POWER5);
1129 else if (strcmp (arg, "power6") == 0)
1131 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
1132 | PPC_OPCODE_64 | PPC_OPCODE_POWER4
1133 | PPC_OPCODE_POWER5 | PPC_OPCODE_POWER6
1134 | PPC_OPCODE_ALTIVEC);
1136 else if (strcmp (arg, "power7") == 0)
1138 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
1139 | PPC_OPCODE_ISEL | PPC_OPCODE_64
1140 | PPC_OPCODE_POWER4 | PPC_OPCODE_POWER5
1141 | PPC_OPCODE_POWER6 | PPC_OPCODE_POWER7
1142 | PPC_OPCODE_ALTIVEC | PPC_OPCODE_VSX);
1144 else if (strcmp (arg, "cell") == 0)
1146 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
1147 | PPC_OPCODE_64 | PPC_OPCODE_POWER4
1148 | PPC_OPCODE_CELL | PPC_OPCODE_ALTIVEC);
1150 /* -mcom means assemble for the common intersection between Power
1151 and PowerPC. At present, we just allow the union, rather
1152 than the intersection. */
1153 else if (strcmp (arg, "com") == 0)
1154 ppc_cpu = PPC_OPCODE_COMMON | PPC_OPCODE_32;
1155 /* -many means to assemble for any architecture (PWR/PWRX/PPC). */
1156 else if (strcmp (arg, "any") == 0)
1157 ppc_cpu |= PPC_OPCODE_ANY;
1158 else
1159 return 0;
1161 /* Make sure the the Altivec, VSX and SPE bits are not lost. */
1162 ppc_cpu |= retain_flags;
1163 return 1;
1167 md_parse_option (int c, char *arg)
1169 switch (c)
1171 case 'u':
1172 /* -u means that any undefined symbols should be treated as
1173 external, which is the default for gas anyhow. */
1174 break;
1176 #ifdef OBJ_ELF
1177 case 'l':
1178 /* Solaris as takes -le (presumably for little endian). For completeness
1179 sake, recognize -be also. */
1180 if (strcmp (arg, "e") == 0)
1182 target_big_endian = 0;
1183 set_target_endian = 1;
1185 else
1186 return 0;
1188 break;
1190 case 'b':
1191 if (strcmp (arg, "e") == 0)
1193 target_big_endian = 1;
1194 set_target_endian = 1;
1196 else
1197 return 0;
1199 break;
1201 case 'K':
1202 /* Recognize -K PIC. */
1203 if (strcmp (arg, "PIC") == 0 || strcmp (arg, "pic") == 0)
1205 shlib = SHLIB_PIC;
1206 ppc_flags |= EF_PPC_RELOCATABLE_LIB;
1208 else
1209 return 0;
1211 break;
1212 #endif
1214 /* a64 and a32 determine whether to use XCOFF64 or XCOFF32. */
1215 case 'a':
1216 if (strcmp (arg, "64") == 0)
1218 #ifdef BFD64
1219 ppc_obj64 = 1;
1220 #else
1221 as_fatal (_("%s unsupported"), "-a64");
1222 #endif
1224 else if (strcmp (arg, "32") == 0)
1225 ppc_obj64 = 0;
1226 else
1227 return 0;
1228 break;
1230 case 'm':
1231 if (parse_cpu (arg))
1234 else if (strcmp (arg, "regnames") == 0)
1235 reg_names_p = TRUE;
1237 else if (strcmp (arg, "no-regnames") == 0)
1238 reg_names_p = FALSE;
1240 #ifdef OBJ_ELF
1241 /* -mrelocatable/-mrelocatable-lib -- warn about initializations
1242 that require relocation. */
1243 else if (strcmp (arg, "relocatable") == 0)
1245 shlib = SHLIB_MRELOCATABLE;
1246 ppc_flags |= EF_PPC_RELOCATABLE;
1249 else if (strcmp (arg, "relocatable-lib") == 0)
1251 shlib = SHLIB_MRELOCATABLE;
1252 ppc_flags |= EF_PPC_RELOCATABLE_LIB;
1255 /* -memb, set embedded bit. */
1256 else if (strcmp (arg, "emb") == 0)
1257 ppc_flags |= EF_PPC_EMB;
1259 /* -mlittle/-mbig set the endianess. */
1260 else if (strcmp (arg, "little") == 0
1261 || strcmp (arg, "little-endian") == 0)
1263 target_big_endian = 0;
1264 set_target_endian = 1;
1267 else if (strcmp (arg, "big") == 0 || strcmp (arg, "big-endian") == 0)
1269 target_big_endian = 1;
1270 set_target_endian = 1;
1273 else if (strcmp (arg, "solaris") == 0)
1275 msolaris = TRUE;
1276 ppc_comment_chars = ppc_solaris_comment_chars;
1279 else if (strcmp (arg, "no-solaris") == 0)
1281 msolaris = FALSE;
1282 ppc_comment_chars = ppc_eabi_comment_chars;
1284 #endif
1285 else
1287 as_bad (_("invalid switch -m%s"), arg);
1288 return 0;
1290 break;
1292 #ifdef OBJ_ELF
1293 /* -V: SVR4 argument to print version ID. */
1294 case 'V':
1295 print_version_id ();
1296 break;
1298 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
1299 should be emitted or not. FIXME: Not implemented. */
1300 case 'Q':
1301 break;
1303 /* Solaris takes -s to specify that .stabs go in a .stabs section,
1304 rather than .stabs.excl, which is ignored by the linker.
1305 FIXME: Not implemented. */
1306 case 's':
1307 if (arg)
1308 return 0;
1310 break;
1311 #endif
1313 default:
1314 return 0;
1317 return 1;
1320 void
1321 md_show_usage (FILE *stream)
1323 fprintf (stream, _("\
1324 PowerPC options:\n\
1325 -a32 generate ELF32/XCOFF32\n\
1326 -a64 generate ELF64/XCOFF64\n\
1327 -u ignored\n\
1328 -mpwrx, -mpwr2 generate code for POWER/2 (RIOS2)\n\
1329 -mpwr generate code for POWER (RIOS1)\n\
1330 -m601 generate code for PowerPC 601\n\
1331 -mppc, -mppc32, -m603, -m604\n\
1332 generate code for PowerPC 603/604\n\
1333 -m403 generate code for PowerPC 403\n\
1334 -m405 generate code for PowerPC 405\n\
1335 -m440 generate code for PowerPC 440\n\
1336 -m464 generate code for PowerPC 464\n\
1337 -m7400, -m7410, -m7450, -m7455\n\
1338 generate code for PowerPC 7400/7410/7450/7455\n\
1339 -m750cl generate code for PowerPC 750cl\n"));
1340 fprintf (stream, _("\
1341 -mppc64, -m620 generate code for PowerPC 620/625/630\n\
1342 -mppc64bridge generate code for PowerPC 64, including bridge insns\n\
1343 -mbooke generate code for 32-bit PowerPC BookE\n\
1344 -mpower4 generate code for Power4 architecture\n\
1345 -mpower5 generate code for Power5 architecture\n\
1346 -mpower6 generate code for Power6 architecture\n\
1347 -mpower7 generate code for Power7 architecture\n\
1348 -mcell generate code for Cell Broadband Engine architecture\n\
1349 -mcom generate code Power/PowerPC common instructions\n\
1350 -many generate code for any architecture (PWR/PWRX/PPC)\n"));
1351 fprintf (stream, _("\
1352 -maltivec generate code for AltiVec\n\
1353 -mvsx generate code for Vector-Scalar (VSX) instructions\n\
1354 -me300 generate code for PowerPC e300 family\n\
1355 -me500, -me500x2 generate code for Motorola e500 core complex\n\
1356 -me500mc, generate code for Freescale e500mc core complex\n\
1357 -mspe generate code for Motorola SPE instructions\n\
1358 -mregnames Allow symbolic names for registers\n\
1359 -mno-regnames Do not allow symbolic names for registers\n"));
1360 #ifdef OBJ_ELF
1361 fprintf (stream, _("\
1362 -mrelocatable support for GCC's -mrelocatble option\n\
1363 -mrelocatable-lib support for GCC's -mrelocatble-lib option\n\
1364 -memb set PPC_EMB bit in ELF flags\n\
1365 -mlittle, -mlittle-endian, -l, -le\n\
1366 generate code for a little endian machine\n\
1367 -mbig, -mbig-endian, -b, -be\n\
1368 generate code for a big endian machine\n\
1369 -msolaris generate code for Solaris\n\
1370 -mno-solaris do not generate code for Solaris\n\
1371 -V print assembler version number\n\
1372 -Qy, -Qn ignored\n"));
1373 #endif
1376 /* Set ppc_cpu if it is not already set. */
1378 static void
1379 ppc_set_cpu (void)
1381 const char *default_os = TARGET_OS;
1382 const char *default_cpu = TARGET_CPU;
1384 if ((ppc_cpu & ~PPC_OPCODE_ANY) == 0)
1386 if (ppc_obj64)
1387 ppc_cpu |= PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_64;
1388 else if (strncmp (default_os, "aix", 3) == 0
1389 && default_os[3] >= '4' && default_os[3] <= '9')
1390 ppc_cpu |= PPC_OPCODE_COMMON | PPC_OPCODE_32;
1391 else if (strncmp (default_os, "aix3", 4) == 0)
1392 ppc_cpu |= PPC_OPCODE_POWER | PPC_OPCODE_32;
1393 else if (strcmp (default_cpu, "rs6000") == 0)
1394 ppc_cpu |= PPC_OPCODE_POWER | PPC_OPCODE_32;
1395 else if (strncmp (default_cpu, "powerpc", 7) == 0)
1396 ppc_cpu |= PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_32;
1397 else
1398 as_fatal (_("Unknown default cpu = %s, os = %s"),
1399 default_cpu, default_os);
1403 /* Figure out the BFD architecture to use. This function and ppc_mach
1404 are called well before md_begin, when the output file is opened. */
1406 enum bfd_architecture
1407 ppc_arch (void)
1409 const char *default_cpu = TARGET_CPU;
1410 ppc_set_cpu ();
1412 if ((ppc_cpu & PPC_OPCODE_PPC) != 0)
1413 return bfd_arch_powerpc;
1414 else if ((ppc_cpu & PPC_OPCODE_POWER) != 0)
1415 return bfd_arch_rs6000;
1416 else if ((ppc_cpu & (PPC_OPCODE_COMMON | PPC_OPCODE_ANY)) != 0)
1418 if (strcmp (default_cpu, "rs6000") == 0)
1419 return bfd_arch_rs6000;
1420 else if (strncmp (default_cpu, "powerpc", 7) == 0)
1421 return bfd_arch_powerpc;
1424 as_fatal (_("Neither Power nor PowerPC opcodes were selected."));
1425 return bfd_arch_unknown;
1428 unsigned long
1429 ppc_mach (void)
1431 if (ppc_obj64)
1432 return bfd_mach_ppc64;
1433 else if (ppc_arch () == bfd_arch_rs6000)
1434 return bfd_mach_rs6k;
1435 else
1436 return bfd_mach_ppc;
1439 extern char*
1440 ppc_target_format (void)
1442 #ifdef OBJ_COFF
1443 #ifdef TE_PE
1444 return target_big_endian ? "pe-powerpc" : "pe-powerpcle";
1445 #elif TE_POWERMAC
1446 return "xcoff-powermac";
1447 #else
1448 # ifdef TE_AIX5
1449 return (ppc_obj64 ? "aix5coff64-rs6000" : "aixcoff-rs6000");
1450 # else
1451 return (ppc_obj64 ? "aixcoff64-rs6000" : "aixcoff-rs6000");
1452 # endif
1453 #endif
1454 #endif
1455 #ifdef OBJ_ELF
1456 # ifdef TE_VXWORKS
1457 return "elf32-powerpc-vxworks";
1458 # else
1459 return (target_big_endian
1460 ? (ppc_obj64 ? "elf64-powerpc" : "elf32-powerpc")
1461 : (ppc_obj64 ? "elf64-powerpcle" : "elf32-powerpcle"));
1462 # endif
1463 #endif
1466 /* Insert opcodes and macros into hash tables. Called at startup and
1467 for .cpu pseudo. */
1469 static void
1470 ppc_setup_opcodes (void)
1472 const struct powerpc_opcode *op;
1473 const struct powerpc_opcode *op_end;
1474 const struct powerpc_macro *macro;
1475 const struct powerpc_macro *macro_end;
1476 bfd_boolean bad_insn = FALSE;
1478 if (ppc_hash != NULL)
1479 hash_die (ppc_hash);
1480 if (ppc_macro_hash != NULL)
1481 hash_die (ppc_macro_hash);
1483 /* Insert the opcodes into a hash table. */
1484 ppc_hash = hash_new ();
1486 if (ENABLE_CHECKING)
1488 unsigned int i;
1490 /* Check operand masks. Code here and in the disassembler assumes
1491 all the 1's in the mask are contiguous. */
1492 for (i = 0; i < num_powerpc_operands; ++i)
1494 unsigned long mask = powerpc_operands[i].bitm;
1495 unsigned long right_bit;
1496 unsigned int j;
1498 right_bit = mask & -mask;
1499 mask += right_bit;
1500 right_bit = mask & -mask;
1501 if (mask != right_bit)
1503 as_bad (_("powerpc_operands[%d].bitm invalid"), i);
1504 bad_insn = TRUE;
1506 for (j = i + 1; j < num_powerpc_operands; ++j)
1507 if (memcmp (&powerpc_operands[i], &powerpc_operands[j],
1508 sizeof (powerpc_operands[0])) == 0)
1510 as_bad (_("powerpc_operands[%d] duplicates powerpc_operands[%d]"),
1511 j, i);
1512 bad_insn = TRUE;
1517 op_end = powerpc_opcodes + powerpc_num_opcodes;
1518 for (op = powerpc_opcodes; op < op_end; op++)
1520 if (ENABLE_CHECKING)
1522 const unsigned char *o;
1523 unsigned long omask = op->mask;
1525 if (op != powerpc_opcodes)
1527 /* The major opcodes had better be sorted. Code in the
1528 disassembler assumes the insns are sorted according to
1529 major opcode. */
1530 if (PPC_OP (op[0].opcode) < PPC_OP (op[-1].opcode))
1532 as_bad (_("major opcode is not sorted for %s"),
1533 op->name);
1534 bad_insn = TRUE;
1537 /* Warn if the table isn't more strictly ordered.
1538 Unfortunately it doesn't seem possible to order the
1539 table on much more than the major opcode, which makes
1540 it difficult to implement a binary search in the
1541 disassembler. The problem is that we have multiple
1542 ways to disassemble instructions, and we usually want
1543 to choose a more specific form (with more bits set in
1544 the opcode) than a more general form. eg. all of the
1545 following are equivalent:
1546 bne label # opcode = 0x40820000, mask = 0xff830003
1547 bf 2,label # opcode = 0x40800000, mask = 0xff800003
1548 bc 4,2,label # opcode = 0x40000000, mask = 0xfc000003
1550 There are also cases where the table needs to be out
1551 of order to disassemble the correct instruction for
1552 processor variants. */
1553 else if (0)
1555 unsigned long t1 = op[0].opcode;
1556 unsigned long t2 = op[-1].opcode;
1558 if (((t1 ^ t2) & 0xfc0007ff) == 0
1559 && (t1 & 0xfc0006df) == 0x7c000286)
1561 /* spr field is split. */
1562 t1 = ((t1 & ~0x1ff800)
1563 | ((t1 & 0xf800) << 5) | ((t1 & 0x1f0000) >> 5));
1564 t2 = ((t2 & ~0x1ff800)
1565 | ((t2 & 0xf800) << 5) | ((t2 & 0x1f0000) >> 5));
1567 if (t1 < t2)
1568 as_warn (_("%s (%08lx %08lx) after %s (%08lx %08lx)"),
1569 op[0].name, op[0].opcode, op[0].mask,
1570 op[-1].name, op[-1].opcode, op[-1].mask);
1574 /* The mask had better not trim off opcode bits. */
1575 if ((op->opcode & omask) != op->opcode)
1577 as_bad (_("mask trims opcode bits for %s"),
1578 op->name);
1579 bad_insn = TRUE;
1582 /* The operands must not overlap the opcode or each other. */
1583 for (o = op->operands; *o; ++o)
1584 if (*o >= num_powerpc_operands)
1586 as_bad (_("operand index error for %s"),
1587 op->name);
1588 bad_insn = TRUE;
1590 else
1592 const struct powerpc_operand *operand = &powerpc_operands[*o];
1593 if (operand->shift >= 0)
1595 unsigned long mask = operand->bitm << operand->shift;
1596 if (omask & mask)
1598 as_bad (_("operand %d overlap in %s"),
1599 (int) (o - op->operands), op->name);
1600 bad_insn = TRUE;
1602 omask |= mask;
1607 if ((op->flags & ppc_cpu & ~(PPC_OPCODE_32 | PPC_OPCODE_64)) != 0
1608 && ((op->flags & (PPC_OPCODE_32 | PPC_OPCODE_64)) == 0
1609 || ((op->flags & (PPC_OPCODE_32 | PPC_OPCODE_64))
1610 == (ppc_cpu & (PPC_OPCODE_32 | PPC_OPCODE_64)))
1611 || (ppc_cpu & PPC_OPCODE_64_BRIDGE) != 0)
1612 && !(ppc_cpu & op->deprecated))
1614 const char *retval;
1616 retval = hash_insert (ppc_hash, op->name, (void *) op);
1617 if (retval != NULL)
1619 /* Ignore Power duplicates for -m601. */
1620 if ((ppc_cpu & PPC_OPCODE_601) != 0
1621 && (op->flags & PPC_OPCODE_POWER) != 0)
1622 continue;
1624 as_bad (_("duplicate instruction %s"),
1625 op->name);
1626 bad_insn = TRUE;
1631 if ((ppc_cpu & PPC_OPCODE_ANY) != 0)
1632 for (op = powerpc_opcodes; op < op_end; op++)
1633 hash_insert (ppc_hash, op->name, (void *) op);
1635 /* Insert the macros into a hash table. */
1636 ppc_macro_hash = hash_new ();
1638 macro_end = powerpc_macros + powerpc_num_macros;
1639 for (macro = powerpc_macros; macro < macro_end; macro++)
1641 if ((macro->flags & ppc_cpu) != 0)
1643 const char *retval;
1645 retval = hash_insert (ppc_macro_hash, macro->name, (void *) macro);
1646 if (retval != (const char *) NULL)
1648 as_bad (_("duplicate macro %s"), macro->name);
1649 bad_insn = TRUE;
1654 if (bad_insn)
1655 abort ();
1658 /* This function is called when the assembler starts up. It is called
1659 after the options have been parsed and the output file has been
1660 opened. */
1662 void
1663 md_begin (void)
1665 ppc_set_cpu ();
1667 ppc_cie_data_alignment = ppc_obj64 ? -8 : -4;
1669 #ifdef OBJ_ELF
1670 /* Set the ELF flags if desired. */
1671 if (ppc_flags && !msolaris)
1672 bfd_set_private_flags (stdoutput, ppc_flags);
1673 #endif
1675 ppc_setup_opcodes ();
1677 /* Tell the main code what the endianness is if it is not overridden
1678 by the user. */
1679 if (!set_target_endian)
1681 set_target_endian = 1;
1682 target_big_endian = PPC_BIG_ENDIAN;
1685 #ifdef OBJ_XCOFF
1686 ppc_coff_debug_section = coff_section_from_bfd_index (stdoutput, N_DEBUG);
1688 /* Create dummy symbols to serve as initial csects. This forces the
1689 text csects to precede the data csects. These symbols will not
1690 be output. */
1691 ppc_text_csects = symbol_make ("dummy\001");
1692 symbol_get_tc (ppc_text_csects)->within = ppc_text_csects;
1693 ppc_data_csects = symbol_make ("dummy\001");
1694 symbol_get_tc (ppc_data_csects)->within = ppc_data_csects;
1695 #endif
1697 #ifdef TE_PE
1699 ppc_current_section = text_section;
1700 ppc_previous_section = 0;
1702 #endif
1705 void
1706 ppc_cleanup (void)
1708 #ifdef OBJ_ELF
1709 if (ppc_apuinfo_list == NULL)
1710 return;
1712 /* Ok, so write the section info out. We have this layout:
1714 byte data what
1715 ---- ---- ----
1716 0 8 length of "APUinfo\0"
1717 4 (n*4) number of APU's (4 bytes each)
1718 8 2 note type 2
1719 12 "APUinfo\0" name
1720 20 APU#1 first APU's info
1721 24 APU#2 second APU's info
1722 ... ...
1725 char *p;
1726 asection *seg = now_seg;
1727 subsegT subseg = now_subseg;
1728 asection *apuinfo_secp = (asection *) NULL;
1729 unsigned int i;
1731 /* Create the .PPC.EMB.apuinfo section. */
1732 apuinfo_secp = subseg_new (".PPC.EMB.apuinfo", 0);
1733 bfd_set_section_flags (stdoutput,
1734 apuinfo_secp,
1735 SEC_HAS_CONTENTS | SEC_READONLY);
1737 p = frag_more (4);
1738 md_number_to_chars (p, (valueT) 8, 4);
1740 p = frag_more (4);
1741 md_number_to_chars (p, (valueT) ppc_apuinfo_num * 4, 4);
1743 p = frag_more (4);
1744 md_number_to_chars (p, (valueT) 2, 4);
1746 p = frag_more (8);
1747 strcpy (p, "APUinfo");
1749 for (i = 0; i < ppc_apuinfo_num; i++)
1751 p = frag_more (4);
1752 md_number_to_chars (p, (valueT) ppc_apuinfo_list[i], 4);
1755 frag_align (2, 0, 0);
1757 /* We probably can't restore the current segment, for there likely
1758 isn't one yet... */
1759 if (seg && subseg)
1760 subseg_set (seg, subseg);
1762 #endif
1765 /* Insert an operand value into an instruction. */
1767 static unsigned long
1768 ppc_insert_operand (unsigned long insn,
1769 const struct powerpc_operand *operand,
1770 offsetT val,
1771 ppc_cpu_t ppc_cpu,
1772 char *file,
1773 unsigned int line)
1775 long min, max, right;
1777 max = operand->bitm;
1778 right = max & -max;
1779 min = 0;
1781 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
1783 if ((operand->flags & PPC_OPERAND_SIGNOPT) == 0)
1784 max = (max >> 1) & -right;
1785 min = ~max & -right;
1788 if ((operand->flags & PPC_OPERAND_PLUS1) != 0)
1789 max++;
1791 if ((operand->flags & PPC_OPERAND_NEGATIVE) != 0)
1793 long tmp = min;
1794 min = -max;
1795 max = -tmp;
1798 if (min <= max)
1800 /* Some people write constants with the sign extension done by
1801 hand but only up to 32 bits. This shouldn't really be valid,
1802 but, to permit this code to assemble on a 64-bit host, we
1803 sign extend the 32-bit value to 64 bits if so doing makes the
1804 value valid. */
1805 if (val > max
1806 && (offsetT) (val - 0x80000000 - 0x80000000) >= min
1807 && (offsetT) (val - 0x80000000 - 0x80000000) <= max
1808 && ((val - 0x80000000 - 0x80000000) & (right - 1)) == 0)
1809 val = val - 0x80000000 - 0x80000000;
1811 /* Similarly, people write expressions like ~(1<<15), and expect
1812 this to be OK for a 32-bit unsigned value. */
1813 else if (val < min
1814 && (offsetT) (val + 0x80000000 + 0x80000000) >= min
1815 && (offsetT) (val + 0x80000000 + 0x80000000) <= max
1816 && ((val + 0x80000000 + 0x80000000) & (right - 1)) == 0)
1817 val = val + 0x80000000 + 0x80000000;
1819 else if (val < min
1820 || val > max
1821 || (val & (right - 1)) != 0)
1822 as_bad_value_out_of_range (_("operand"), val, min, max, file, line);
1825 if (operand->insert)
1827 const char *errmsg;
1829 errmsg = NULL;
1830 insn = (*operand->insert) (insn, (long) val, ppc_cpu, &errmsg);
1831 if (errmsg != (const char *) NULL)
1832 as_bad_where (file, line, "%s", errmsg);
1834 else
1835 insn |= ((long) val & operand->bitm) << operand->shift;
1837 return insn;
1841 #ifdef OBJ_ELF
1842 /* Parse @got, etc. and return the desired relocation. */
1843 static bfd_reloc_code_real_type
1844 ppc_elf_suffix (char **str_p, expressionS *exp_p)
1846 struct map_bfd {
1847 char *string;
1848 unsigned int length : 8;
1849 unsigned int valid32 : 1;
1850 unsigned int valid64 : 1;
1851 unsigned int reloc;
1854 char ident[20];
1855 char *str = *str_p;
1856 char *str2;
1857 int ch;
1858 int len;
1859 const struct map_bfd *ptr;
1861 #define MAP(str, reloc) { str, sizeof (str) - 1, 1, 1, reloc }
1862 #define MAP32(str, reloc) { str, sizeof (str) - 1, 1, 0, reloc }
1863 #define MAP64(str, reloc) { str, sizeof (str) - 1, 0, 1, reloc }
1865 static const struct map_bfd mapping[] = {
1866 MAP ("l", BFD_RELOC_LO16),
1867 MAP ("h", BFD_RELOC_HI16),
1868 MAP ("ha", BFD_RELOC_HI16_S),
1869 MAP ("brtaken", BFD_RELOC_PPC_B16_BRTAKEN),
1870 MAP ("brntaken", BFD_RELOC_PPC_B16_BRNTAKEN),
1871 MAP ("got", BFD_RELOC_16_GOTOFF),
1872 MAP ("got@l", BFD_RELOC_LO16_GOTOFF),
1873 MAP ("got@h", BFD_RELOC_HI16_GOTOFF),
1874 MAP ("got@ha", BFD_RELOC_HI16_S_GOTOFF),
1875 MAP ("plt@l", BFD_RELOC_LO16_PLTOFF),
1876 MAP ("plt@h", BFD_RELOC_HI16_PLTOFF),
1877 MAP ("plt@ha", BFD_RELOC_HI16_S_PLTOFF),
1878 MAP ("copy", BFD_RELOC_PPC_COPY),
1879 MAP ("globdat", BFD_RELOC_PPC_GLOB_DAT),
1880 MAP ("sectoff", BFD_RELOC_16_BASEREL),
1881 MAP ("sectoff@l", BFD_RELOC_LO16_BASEREL),
1882 MAP ("sectoff@h", BFD_RELOC_HI16_BASEREL),
1883 MAP ("sectoff@ha", BFD_RELOC_HI16_S_BASEREL),
1884 MAP ("tls", BFD_RELOC_PPC_TLS),
1885 MAP ("dtpmod", BFD_RELOC_PPC_DTPMOD),
1886 MAP ("dtprel", BFD_RELOC_PPC_DTPREL),
1887 MAP ("dtprel@l", BFD_RELOC_PPC_DTPREL16_LO),
1888 MAP ("dtprel@h", BFD_RELOC_PPC_DTPREL16_HI),
1889 MAP ("dtprel@ha", BFD_RELOC_PPC_DTPREL16_HA),
1890 MAP ("tprel", BFD_RELOC_PPC_TPREL),
1891 MAP ("tprel@l", BFD_RELOC_PPC_TPREL16_LO),
1892 MAP ("tprel@h", BFD_RELOC_PPC_TPREL16_HI),
1893 MAP ("tprel@ha", BFD_RELOC_PPC_TPREL16_HA),
1894 MAP ("got@tlsgd", BFD_RELOC_PPC_GOT_TLSGD16),
1895 MAP ("got@tlsgd@l", BFD_RELOC_PPC_GOT_TLSGD16_LO),
1896 MAP ("got@tlsgd@h", BFD_RELOC_PPC_GOT_TLSGD16_HI),
1897 MAP ("got@tlsgd@ha", BFD_RELOC_PPC_GOT_TLSGD16_HA),
1898 MAP ("got@tlsld", BFD_RELOC_PPC_GOT_TLSLD16),
1899 MAP ("got@tlsld@l", BFD_RELOC_PPC_GOT_TLSLD16_LO),
1900 MAP ("got@tlsld@h", BFD_RELOC_PPC_GOT_TLSLD16_HI),
1901 MAP ("got@tlsld@ha", BFD_RELOC_PPC_GOT_TLSLD16_HA),
1902 MAP ("got@dtprel", BFD_RELOC_PPC_GOT_DTPREL16),
1903 MAP ("got@dtprel@l", BFD_RELOC_PPC_GOT_DTPREL16_LO),
1904 MAP ("got@dtprel@h", BFD_RELOC_PPC_GOT_DTPREL16_HI),
1905 MAP ("got@dtprel@ha", BFD_RELOC_PPC_GOT_DTPREL16_HA),
1906 MAP ("got@tprel", BFD_RELOC_PPC_GOT_TPREL16),
1907 MAP ("got@tprel@l", BFD_RELOC_PPC_GOT_TPREL16_LO),
1908 MAP ("got@tprel@h", BFD_RELOC_PPC_GOT_TPREL16_HI),
1909 MAP ("got@tprel@ha", BFD_RELOC_PPC_GOT_TPREL16_HA),
1910 MAP32 ("fixup", BFD_RELOC_CTOR),
1911 MAP32 ("plt", BFD_RELOC_24_PLT_PCREL),
1912 MAP32 ("pltrel24", BFD_RELOC_24_PLT_PCREL),
1913 MAP32 ("local24pc", BFD_RELOC_PPC_LOCAL24PC),
1914 MAP32 ("local", BFD_RELOC_PPC_LOCAL24PC),
1915 MAP32 ("pltrel", BFD_RELOC_32_PLT_PCREL),
1916 MAP32 ("sdarel", BFD_RELOC_GPREL16),
1917 MAP32 ("naddr", BFD_RELOC_PPC_EMB_NADDR32),
1918 MAP32 ("naddr16", BFD_RELOC_PPC_EMB_NADDR16),
1919 MAP32 ("naddr@l", BFD_RELOC_PPC_EMB_NADDR16_LO),
1920 MAP32 ("naddr@h", BFD_RELOC_PPC_EMB_NADDR16_HI),
1921 MAP32 ("naddr@ha", BFD_RELOC_PPC_EMB_NADDR16_HA),
1922 MAP32 ("sdai16", BFD_RELOC_PPC_EMB_SDAI16),
1923 MAP32 ("sda2rel", BFD_RELOC_PPC_EMB_SDA2REL),
1924 MAP32 ("sda2i16", BFD_RELOC_PPC_EMB_SDA2I16),
1925 MAP32 ("sda21", BFD_RELOC_PPC_EMB_SDA21),
1926 MAP32 ("mrkref", BFD_RELOC_PPC_EMB_MRKREF),
1927 MAP32 ("relsect", BFD_RELOC_PPC_EMB_RELSEC16),
1928 MAP32 ("relsect@l", BFD_RELOC_PPC_EMB_RELST_LO),
1929 MAP32 ("relsect@h", BFD_RELOC_PPC_EMB_RELST_HI),
1930 MAP32 ("relsect@ha", BFD_RELOC_PPC_EMB_RELST_HA),
1931 MAP32 ("bitfld", BFD_RELOC_PPC_EMB_BIT_FLD),
1932 MAP32 ("relsda", BFD_RELOC_PPC_EMB_RELSDA),
1933 MAP32 ("xgot", BFD_RELOC_PPC_TOC16),
1934 MAP64 ("higher", BFD_RELOC_PPC64_HIGHER),
1935 MAP64 ("highera", BFD_RELOC_PPC64_HIGHER_S),
1936 MAP64 ("highest", BFD_RELOC_PPC64_HIGHEST),
1937 MAP64 ("highesta", BFD_RELOC_PPC64_HIGHEST_S),
1938 MAP64 ("tocbase", BFD_RELOC_PPC64_TOC),
1939 MAP64 ("toc", BFD_RELOC_PPC_TOC16),
1940 MAP64 ("toc@l", BFD_RELOC_PPC64_TOC16_LO),
1941 MAP64 ("toc@h", BFD_RELOC_PPC64_TOC16_HI),
1942 MAP64 ("toc@ha", BFD_RELOC_PPC64_TOC16_HA),
1943 MAP64 ("dtprel@higher", BFD_RELOC_PPC64_DTPREL16_HIGHER),
1944 MAP64 ("dtprel@highera", BFD_RELOC_PPC64_DTPREL16_HIGHERA),
1945 MAP64 ("dtprel@highest", BFD_RELOC_PPC64_DTPREL16_HIGHEST),
1946 MAP64 ("dtprel@highesta", BFD_RELOC_PPC64_DTPREL16_HIGHESTA),
1947 MAP64 ("tprel@higher", BFD_RELOC_PPC64_TPREL16_HIGHER),
1948 MAP64 ("tprel@highera", BFD_RELOC_PPC64_TPREL16_HIGHERA),
1949 MAP64 ("tprel@highest", BFD_RELOC_PPC64_TPREL16_HIGHEST),
1950 MAP64 ("tprel@highesta", BFD_RELOC_PPC64_TPREL16_HIGHESTA),
1951 { (char *) 0, 0, 0, 0, BFD_RELOC_UNUSED }
1954 if (*str++ != '@')
1955 return BFD_RELOC_UNUSED;
1957 for (ch = *str, str2 = ident;
1958 (str2 < ident + sizeof (ident) - 1
1959 && (ISALNUM (ch) || ch == '@'));
1960 ch = *++str)
1962 *str2++ = TOLOWER (ch);
1965 *str2 = '\0';
1966 len = str2 - ident;
1968 ch = ident[0];
1969 for (ptr = &mapping[0]; ptr->length > 0; ptr++)
1970 if (ch == ptr->string[0]
1971 && len == ptr->length
1972 && memcmp (ident, ptr->string, ptr->length) == 0
1973 && (ppc_obj64 ? ptr->valid64 : ptr->valid32))
1975 int reloc = ptr->reloc;
1977 if (!ppc_obj64)
1978 if (exp_p->X_add_number != 0
1979 && (reloc == (int) BFD_RELOC_16_GOTOFF
1980 || reloc == (int) BFD_RELOC_LO16_GOTOFF
1981 || reloc == (int) BFD_RELOC_HI16_GOTOFF
1982 || reloc == (int) BFD_RELOC_HI16_S_GOTOFF))
1983 as_warn (_("identifier+constant@got means identifier@got+constant"));
1985 /* Now check for identifier@suffix+constant. */
1986 if (*str == '-' || *str == '+')
1988 char *orig_line = input_line_pointer;
1989 expressionS new_exp;
1991 input_line_pointer = str;
1992 expression (&new_exp);
1993 if (new_exp.X_op == O_constant)
1995 exp_p->X_add_number += new_exp.X_add_number;
1996 str = input_line_pointer;
1999 if (&input_line_pointer != str_p)
2000 input_line_pointer = orig_line;
2002 *str_p = str;
2004 if (reloc == (int) BFD_RELOC_PPC64_TOC
2005 && exp_p->X_op == O_symbol
2006 && strcmp (S_GET_NAME (exp_p->X_add_symbol), ".TOC.") == 0)
2008 /* Change the symbol so that the dummy .TOC. symbol can be
2009 omitted from the object file. */
2010 exp_p->X_add_symbol = &abs_symbol;
2013 return (bfd_reloc_code_real_type) reloc;
2016 return BFD_RELOC_UNUSED;
2019 /* Like normal .long/.short/.word, except support @got, etc.
2020 Clobbers input_line_pointer, checks end-of-line. */
2021 static void
2022 ppc_elf_cons (int nbytes /* 1=.byte, 2=.word, 4=.long, 8=.llong */)
2024 expressionS exp;
2025 bfd_reloc_code_real_type reloc;
2027 if (is_it_end_of_statement ())
2029 demand_empty_rest_of_line ();
2030 return;
2035 expression (&exp);
2036 if (exp.X_op == O_symbol
2037 && *input_line_pointer == '@'
2038 && (reloc = ppc_elf_suffix (&input_line_pointer,
2039 &exp)) != BFD_RELOC_UNUSED)
2041 reloc_howto_type *reloc_howto;
2042 int size;
2044 reloc_howto = bfd_reloc_type_lookup (stdoutput, reloc);
2045 size = bfd_get_reloc_size (reloc_howto);
2047 if (size > nbytes)
2049 as_bad (_("%s relocations do not fit in %d bytes\n"),
2050 reloc_howto->name, nbytes);
2052 else
2054 char *p;
2055 int offset;
2057 p = frag_more (nbytes);
2058 offset = 0;
2059 if (target_big_endian)
2060 offset = nbytes - size;
2061 fix_new_exp (frag_now, p - frag_now->fr_literal + offset, size,
2062 &exp, 0, reloc);
2065 else
2066 emit_expr (&exp, (unsigned int) nbytes);
2068 while (*input_line_pointer++ == ',');
2070 /* Put terminator back into stream. */
2071 input_line_pointer--;
2072 demand_empty_rest_of_line ();
2075 /* Solaris pseduo op to change to the .rodata section. */
2076 static void
2077 ppc_elf_rdata (int xxx)
2079 char *save_line = input_line_pointer;
2080 static char section[] = ".rodata\n";
2082 /* Just pretend this is .section .rodata */
2083 input_line_pointer = section;
2084 obj_elf_section (xxx);
2086 input_line_pointer = save_line;
2089 /* Pseudo op to make file scope bss items. */
2090 static void
2091 ppc_elf_lcomm (int xxx ATTRIBUTE_UNUSED)
2093 char *name;
2094 char c;
2095 char *p;
2096 offsetT size;
2097 symbolS *symbolP;
2098 offsetT align;
2099 segT old_sec;
2100 int old_subsec;
2101 char *pfrag;
2102 int align2;
2104 name = input_line_pointer;
2105 c = get_symbol_end ();
2107 /* just after name is now '\0'. */
2108 p = input_line_pointer;
2109 *p = c;
2110 SKIP_WHITESPACE ();
2111 if (*input_line_pointer != ',')
2113 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
2114 ignore_rest_of_line ();
2115 return;
2118 input_line_pointer++; /* skip ',' */
2119 if ((size = get_absolute_expression ()) < 0)
2121 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) size);
2122 ignore_rest_of_line ();
2123 return;
2126 /* The third argument to .lcomm is the alignment. */
2127 if (*input_line_pointer != ',')
2128 align = 8;
2129 else
2131 ++input_line_pointer;
2132 align = get_absolute_expression ();
2133 if (align <= 0)
2135 as_warn (_("ignoring bad alignment"));
2136 align = 8;
2140 *p = 0;
2141 symbolP = symbol_find_or_make (name);
2142 *p = c;
2144 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
2146 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
2147 S_GET_NAME (symbolP));
2148 ignore_rest_of_line ();
2149 return;
2152 if (S_GET_VALUE (symbolP) && S_GET_VALUE (symbolP) != (valueT) size)
2154 as_bad (_("Length of .lcomm \"%s\" is already %ld. Not changed to %ld."),
2155 S_GET_NAME (symbolP),
2156 (long) S_GET_VALUE (symbolP),
2157 (long) size);
2159 ignore_rest_of_line ();
2160 return;
2163 /* Allocate_bss. */
2164 old_sec = now_seg;
2165 old_subsec = now_subseg;
2166 if (align)
2168 /* Convert to a power of 2 alignment. */
2169 for (align2 = 0; (align & 1) == 0; align >>= 1, ++align2);
2170 if (align != 1)
2172 as_bad (_("Common alignment not a power of 2"));
2173 ignore_rest_of_line ();
2174 return;
2177 else
2178 align2 = 0;
2180 record_alignment (bss_section, align2);
2181 subseg_set (bss_section, 0);
2182 if (align2)
2183 frag_align (align2, 0, 0);
2184 if (S_GET_SEGMENT (symbolP) == bss_section)
2185 symbol_get_frag (symbolP)->fr_symbol = 0;
2186 symbol_set_frag (symbolP, frag_now);
2187 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP, size,
2188 (char *) 0);
2189 *pfrag = 0;
2190 S_SET_SIZE (symbolP, size);
2191 S_SET_SEGMENT (symbolP, bss_section);
2192 subseg_set (old_sec, old_subsec);
2193 demand_empty_rest_of_line ();
2196 /* Validate any relocations emitted for -mrelocatable, possibly adding
2197 fixups for word relocations in writable segments, so we can adjust
2198 them at runtime. */
2199 static void
2200 ppc_elf_validate_fix (fixS *fixp, segT seg)
2202 if (fixp->fx_done || fixp->fx_pcrel)
2203 return;
2205 switch (shlib)
2207 case SHLIB_NONE:
2208 case SHLIB_PIC:
2209 return;
2211 case SHLIB_MRELOCATABLE:
2212 if (fixp->fx_r_type <= BFD_RELOC_UNUSED
2213 && fixp->fx_r_type != BFD_RELOC_16_GOTOFF
2214 && fixp->fx_r_type != BFD_RELOC_HI16_GOTOFF
2215 && fixp->fx_r_type != BFD_RELOC_LO16_GOTOFF
2216 && fixp->fx_r_type != BFD_RELOC_HI16_S_GOTOFF
2217 && fixp->fx_r_type != BFD_RELOC_16_BASEREL
2218 && fixp->fx_r_type != BFD_RELOC_LO16_BASEREL
2219 && fixp->fx_r_type != BFD_RELOC_HI16_BASEREL
2220 && fixp->fx_r_type != BFD_RELOC_HI16_S_BASEREL
2221 && (seg->flags & SEC_LOAD) != 0
2222 && strcmp (segment_name (seg), ".got2") != 0
2223 && strcmp (segment_name (seg), ".dtors") != 0
2224 && strcmp (segment_name (seg), ".ctors") != 0
2225 && strcmp (segment_name (seg), ".fixup") != 0
2226 && strcmp (segment_name (seg), ".gcc_except_table") != 0
2227 && strcmp (segment_name (seg), ".eh_frame") != 0
2228 && strcmp (segment_name (seg), ".ex_shared") != 0)
2230 if ((seg->flags & (SEC_READONLY | SEC_CODE)) != 0
2231 || fixp->fx_r_type != BFD_RELOC_CTOR)
2233 as_bad_where (fixp->fx_file, fixp->fx_line,
2234 _("Relocation cannot be done when using -mrelocatable"));
2237 return;
2241 /* Prevent elf_frob_file_before_adjust removing a weak undefined
2242 function descriptor sym if the corresponding code sym is used. */
2244 void
2245 ppc_frob_file_before_adjust (void)
2247 symbolS *symp;
2248 asection *toc;
2250 if (!ppc_obj64)
2251 return;
2253 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
2255 const char *name;
2256 char *dotname;
2257 symbolS *dotsym;
2258 size_t len;
2260 name = S_GET_NAME (symp);
2261 if (name[0] == '.')
2262 continue;
2264 if (! S_IS_WEAK (symp)
2265 || S_IS_DEFINED (symp))
2266 continue;
2268 len = strlen (name) + 1;
2269 dotname = xmalloc (len + 1);
2270 dotname[0] = '.';
2271 memcpy (dotname + 1, name, len);
2272 dotsym = symbol_find_noref (dotname, 1);
2273 free (dotname);
2274 if (dotsym != NULL && (symbol_used_p (dotsym)
2275 || symbol_used_in_reloc_p (dotsym)))
2276 symbol_mark_used (symp);
2280 toc = bfd_get_section_by_name (stdoutput, ".toc");
2281 if (toc != NULL
2282 && bfd_section_size (stdoutput, toc) > 0x10000)
2283 as_warn (_("TOC section size exceeds 64k"));
2285 /* Don't emit .TOC. symbol. */
2286 symp = symbol_find (".TOC.");
2287 if (symp != NULL)
2288 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
2290 #endif /* OBJ_ELF */
2292 #ifdef TE_PE
2295 * Summary of parse_toc_entry.
2297 * in: Input_line_pointer points to the '[' in one of:
2299 * [toc] [tocv] [toc32] [toc64]
2301 * Anything else is an error of one kind or another.
2303 * out:
2304 * return value: success or failure
2305 * toc_kind: kind of toc reference
2306 * input_line_pointer:
2307 * success: first char after the ']'
2308 * failure: unchanged
2310 * settings:
2312 * [toc] - rv == success, toc_kind = default_toc
2313 * [tocv] - rv == success, toc_kind = data_in_toc
2314 * [toc32] - rv == success, toc_kind = must_be_32
2315 * [toc64] - rv == success, toc_kind = must_be_64
2319 enum toc_size_qualifier
2321 default_toc, /* The toc cell constructed should be the system default size */
2322 data_in_toc, /* This is a direct reference to a toc cell */
2323 must_be_32, /* The toc cell constructed must be 32 bits wide */
2324 must_be_64 /* The toc cell constructed must be 64 bits wide */
2327 static int
2328 parse_toc_entry (enum toc_size_qualifier *toc_kind)
2330 char *start;
2331 char *toc_spec;
2332 char c;
2333 enum toc_size_qualifier t;
2335 /* Save the input_line_pointer. */
2336 start = input_line_pointer;
2338 /* Skip over the '[' , and whitespace. */
2339 ++input_line_pointer;
2340 SKIP_WHITESPACE ();
2342 /* Find the spelling of the operand. */
2343 toc_spec = input_line_pointer;
2344 c = get_symbol_end ();
2346 if (strcmp (toc_spec, "toc") == 0)
2348 t = default_toc;
2350 else if (strcmp (toc_spec, "tocv") == 0)
2352 t = data_in_toc;
2354 else if (strcmp (toc_spec, "toc32") == 0)
2356 t = must_be_32;
2358 else if (strcmp (toc_spec, "toc64") == 0)
2360 t = must_be_64;
2362 else
2364 as_bad (_("syntax error: invalid toc specifier `%s'"), toc_spec);
2365 *input_line_pointer = c;
2366 input_line_pointer = start;
2367 return 0;
2370 /* Now find the ']'. */
2371 *input_line_pointer = c;
2373 SKIP_WHITESPACE (); /* leading whitespace could be there. */
2374 c = *input_line_pointer++; /* input_line_pointer->past char in c. */
2376 if (c != ']')
2378 as_bad (_("syntax error: expected `]', found `%c'"), c);
2379 input_line_pointer = start;
2380 return 0;
2383 *toc_kind = t;
2384 return 1;
2386 #endif
2389 #ifdef OBJ_ELF
2390 #define APUID(a,v) ((((a) & 0xffff) << 16) | ((v) & 0xffff))
2391 static void
2392 ppc_apuinfo_section_add (unsigned int apu, unsigned int version)
2394 unsigned int i;
2396 /* Check we don't already exist. */
2397 for (i = 0; i < ppc_apuinfo_num; i++)
2398 if (ppc_apuinfo_list[i] == APUID (apu, version))
2399 return;
2401 if (ppc_apuinfo_num == ppc_apuinfo_num_alloc)
2403 if (ppc_apuinfo_num_alloc == 0)
2405 ppc_apuinfo_num_alloc = 4;
2406 ppc_apuinfo_list = (unsigned long *)
2407 xmalloc (sizeof (unsigned long) * ppc_apuinfo_num_alloc);
2409 else
2411 ppc_apuinfo_num_alloc += 4;
2412 ppc_apuinfo_list = (unsigned long *) xrealloc (ppc_apuinfo_list,
2413 sizeof (unsigned long) * ppc_apuinfo_num_alloc);
2416 ppc_apuinfo_list[ppc_apuinfo_num++] = APUID (apu, version);
2418 #undef APUID
2419 #endif
2422 /* We need to keep a list of fixups. We can't simply generate them as
2423 we go, because that would require us to first create the frag, and
2424 that would screw up references to ``.''. */
2426 struct ppc_fixup
2428 expressionS exp;
2429 int opindex;
2430 bfd_reloc_code_real_type reloc;
2433 #define MAX_INSN_FIXUPS (5)
2435 /* This routine is called for each instruction to be assembled. */
2437 void
2438 md_assemble (char *str)
2440 char *s;
2441 const struct powerpc_opcode *opcode;
2442 unsigned long insn;
2443 const unsigned char *opindex_ptr;
2444 int skip_optional;
2445 int need_paren;
2446 int next_opindex;
2447 struct ppc_fixup fixups[MAX_INSN_FIXUPS];
2448 int fc;
2449 char *f;
2450 int addr_mod;
2451 int i;
2452 #ifdef OBJ_ELF
2453 bfd_reloc_code_real_type reloc;
2454 #endif
2456 /* Get the opcode. */
2457 for (s = str; *s != '\0' && ! ISSPACE (*s); s++)
2459 if (*s != '\0')
2460 *s++ = '\0';
2462 /* Look up the opcode in the hash table. */
2463 opcode = (const struct powerpc_opcode *) hash_find (ppc_hash, str);
2464 if (opcode == (const struct powerpc_opcode *) NULL)
2466 const struct powerpc_macro *macro;
2468 macro = (const struct powerpc_macro *) hash_find (ppc_macro_hash, str);
2469 if (macro == (const struct powerpc_macro *) NULL)
2470 as_bad (_("Unrecognized opcode: `%s'"), str);
2471 else
2472 ppc_macro (s, macro);
2474 return;
2477 insn = opcode->opcode;
2479 str = s;
2480 while (ISSPACE (*str))
2481 ++str;
2483 /* PowerPC operands are just expressions. The only real issue is
2484 that a few operand types are optional. All cases which might use
2485 an optional operand separate the operands only with commas (in some
2486 cases parentheses are used, as in ``lwz 1,0(1)'' but such cases never
2487 have optional operands). Most instructions with optional operands
2488 have only one. Those that have more than one optional operand can
2489 take either all their operands or none. So, before we start seriously
2490 parsing the operands, we check to see if we have optional operands,
2491 and if we do, we count the number of commas to see which operands
2492 have been omitted. */
2493 skip_optional = 0;
2494 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
2496 const struct powerpc_operand *operand;
2498 operand = &powerpc_operands[*opindex_ptr];
2499 if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0)
2501 unsigned int opcount;
2502 unsigned int num_operands_expected;
2503 unsigned int i;
2505 /* There is an optional operand. Count the number of
2506 commas in the input line. */
2507 if (*str == '\0')
2508 opcount = 0;
2509 else
2511 opcount = 1;
2512 s = str;
2513 while ((s = strchr (s, ',')) != (char *) NULL)
2515 ++opcount;
2516 ++s;
2520 /* Compute the number of expected operands.
2521 Do not count fake operands. */
2522 for (num_operands_expected = 0, i = 0; opcode->operands[i]; i ++)
2523 if ((powerpc_operands [opcode->operands[i]].flags & PPC_OPERAND_FAKE) == 0)
2524 ++ num_operands_expected;
2526 /* If there are fewer operands in the line then are called
2527 for by the instruction, we want to skip the optional
2528 operands. */
2529 if (opcount < num_operands_expected)
2530 skip_optional = 1;
2532 break;
2536 /* Gather the operands. */
2537 need_paren = 0;
2538 next_opindex = 0;
2539 fc = 0;
2540 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
2542 const struct powerpc_operand *operand;
2543 const char *errmsg;
2544 char *hold;
2545 expressionS ex;
2546 char endc;
2548 if (next_opindex == 0)
2549 operand = &powerpc_operands[*opindex_ptr];
2550 else
2552 operand = &powerpc_operands[next_opindex];
2553 next_opindex = 0;
2555 errmsg = NULL;
2557 /* If this is a fake operand, then we do not expect anything
2558 from the input. */
2559 if ((operand->flags & PPC_OPERAND_FAKE) != 0)
2561 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2562 if (errmsg != (const char *) NULL)
2563 as_bad ("%s", errmsg);
2564 continue;
2567 /* If this is an optional operand, and we are skipping it, just
2568 insert a zero. */
2569 if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0
2570 && skip_optional)
2572 if (operand->insert)
2574 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2575 if (errmsg != (const char *) NULL)
2576 as_bad ("%s", errmsg);
2578 if ((operand->flags & PPC_OPERAND_NEXT) != 0)
2579 next_opindex = *opindex_ptr + 1;
2580 continue;
2583 /* Gather the operand. */
2584 hold = input_line_pointer;
2585 input_line_pointer = str;
2587 #ifdef TE_PE
2588 if (*input_line_pointer == '[')
2590 /* We are expecting something like the second argument here:
2592 * lwz r4,[toc].GS.0.static_int(rtoc)
2593 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^
2594 * The argument following the `]' must be a symbol name, and the
2595 * register must be the toc register: 'rtoc' or '2'
2597 * The effect is to 0 as the displacement field
2598 * in the instruction, and issue an IMAGE_REL_PPC_TOCREL16 (or
2599 * the appropriate variation) reloc against it based on the symbol.
2600 * The linker will build the toc, and insert the resolved toc offset.
2602 * Note:
2603 * o The size of the toc entry is currently assumed to be
2604 * 32 bits. This should not be assumed to be a hard coded
2605 * number.
2606 * o In an effort to cope with a change from 32 to 64 bits,
2607 * there are also toc entries that are specified to be
2608 * either 32 or 64 bits:
2609 * lwz r4,[toc32].GS.0.static_int(rtoc)
2610 * lwz r4,[toc64].GS.0.static_int(rtoc)
2611 * These demand toc entries of the specified size, and the
2612 * instruction probably requires it.
2615 int valid_toc;
2616 enum toc_size_qualifier toc_kind;
2617 bfd_reloc_code_real_type toc_reloc;
2619 /* Go parse off the [tocXX] part. */
2620 valid_toc = parse_toc_entry (&toc_kind);
2622 if (!valid_toc)
2624 /* Note: message has already been issued.
2625 FIXME: what sort of recovery should we do?
2626 demand_rest_of_line (); return; ? */
2629 /* Now get the symbol following the ']'. */
2630 expression (&ex);
2632 switch (toc_kind)
2634 case default_toc:
2635 /* In this case, we may not have seen the symbol yet,
2636 since it is allowed to appear on a .extern or .globl
2637 or just be a label in the .data section. */
2638 toc_reloc = BFD_RELOC_PPC_TOC16;
2639 break;
2640 case data_in_toc:
2641 /* 1. The symbol must be defined and either in the toc
2642 section, or a global.
2643 2. The reloc generated must have the TOCDEFN flag set
2644 in upper bit mess of the reloc type.
2645 FIXME: It's a little confusing what the tocv
2646 qualifier can be used for. At the very least, I've
2647 seen three uses, only one of which I'm sure I can
2648 explain. */
2649 if (ex.X_op == O_symbol)
2651 assert (ex.X_add_symbol != NULL);
2652 if (symbol_get_bfdsym (ex.X_add_symbol)->section
2653 != tocdata_section)
2655 as_bad (_("[tocv] symbol is not a toc symbol"));
2659 toc_reloc = BFD_RELOC_PPC_TOC16;
2660 break;
2661 case must_be_32:
2662 /* FIXME: these next two specifically specify 32/64 bit
2663 toc entries. We don't support them today. Is this
2664 the right way to say that? */
2665 toc_reloc = BFD_RELOC_UNUSED;
2666 as_bad (_("Unimplemented toc32 expression modifier"));
2667 break;
2668 case must_be_64:
2669 /* FIXME: see above. */
2670 toc_reloc = BFD_RELOC_UNUSED;
2671 as_bad (_("Unimplemented toc64 expression modifier"));
2672 break;
2673 default:
2674 fprintf (stderr,
2675 _("Unexpected return value [%d] from parse_toc_entry!\n"),
2676 toc_kind);
2677 abort ();
2678 break;
2681 /* We need to generate a fixup for this expression. */
2682 if (fc >= MAX_INSN_FIXUPS)
2683 as_fatal (_("too many fixups"));
2685 fixups[fc].reloc = toc_reloc;
2686 fixups[fc].exp = ex;
2687 fixups[fc].opindex = *opindex_ptr;
2688 ++fc;
2690 /* Ok. We've set up the fixup for the instruction. Now make it
2691 look like the constant 0 was found here. */
2692 ex.X_unsigned = 1;
2693 ex.X_op = O_constant;
2694 ex.X_add_number = 0;
2695 ex.X_add_symbol = NULL;
2696 ex.X_op_symbol = NULL;
2699 else
2700 #endif /* TE_PE */
2702 if ((reg_names_p && (operand->flags & PPC_OPERAND_CR) != 0)
2703 || !register_name (&ex))
2705 char save_lex = lex_type['%'];
2707 if ((operand->flags & PPC_OPERAND_CR) != 0)
2709 cr_operand = TRUE;
2710 lex_type['%'] |= LEX_BEGIN_NAME;
2712 expression (&ex);
2713 cr_operand = FALSE;
2714 lex_type['%'] = save_lex;
2718 str = input_line_pointer;
2719 input_line_pointer = hold;
2721 if (ex.X_op == O_illegal)
2722 as_bad (_("illegal operand"));
2723 else if (ex.X_op == O_absent)
2724 as_bad (_("missing operand"));
2725 else if (ex.X_op == O_register)
2727 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2728 ppc_cpu, (char *) NULL, 0);
2730 else if (ex.X_op == O_constant)
2732 #ifdef OBJ_ELF
2733 /* Allow @HA, @L, @H on constants. */
2734 char *orig_str = str;
2736 if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2737 switch (reloc)
2739 default:
2740 str = orig_str;
2741 break;
2743 case BFD_RELOC_LO16:
2744 /* X_unsigned is the default, so if the user has done
2745 something which cleared it, we always produce a
2746 signed value. */
2747 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2748 ex.X_add_number &= 0xffff;
2749 else
2750 ex.X_add_number = SEX16 (ex.X_add_number);
2751 break;
2753 case BFD_RELOC_HI16:
2754 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2755 ex.X_add_number = PPC_HI (ex.X_add_number);
2756 else
2757 ex.X_add_number = SEX16 (PPC_HI (ex.X_add_number));
2758 break;
2760 case BFD_RELOC_HI16_S:
2761 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2762 ex.X_add_number = PPC_HA (ex.X_add_number);
2763 else
2764 ex.X_add_number = SEX16 (PPC_HA (ex.X_add_number));
2765 break;
2767 case BFD_RELOC_PPC64_HIGHER:
2768 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2769 ex.X_add_number = PPC_HIGHER (ex.X_add_number);
2770 else
2771 ex.X_add_number = SEX16 (PPC_HIGHER (ex.X_add_number));
2772 break;
2774 case BFD_RELOC_PPC64_HIGHER_S:
2775 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2776 ex.X_add_number = PPC_HIGHERA (ex.X_add_number);
2777 else
2778 ex.X_add_number = SEX16 (PPC_HIGHERA (ex.X_add_number));
2779 break;
2781 case BFD_RELOC_PPC64_HIGHEST:
2782 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2783 ex.X_add_number = PPC_HIGHEST (ex.X_add_number);
2784 else
2785 ex.X_add_number = SEX16 (PPC_HIGHEST (ex.X_add_number));
2786 break;
2788 case BFD_RELOC_PPC64_HIGHEST_S:
2789 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2790 ex.X_add_number = PPC_HIGHESTA (ex.X_add_number);
2791 else
2792 ex.X_add_number = SEX16 (PPC_HIGHESTA (ex.X_add_number));
2793 break;
2795 #endif /* OBJ_ELF */
2796 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2797 ppc_cpu, (char *) NULL, 0);
2799 #ifdef OBJ_ELF
2800 else if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2802 /* Some TLS tweaks. */
2803 switch (reloc)
2805 default:
2806 break;
2807 case BFD_RELOC_PPC_TLS:
2808 insn = ppc_insert_operand (insn, operand, ppc_obj64 ? 13 : 2,
2809 ppc_cpu, (char *) NULL, 0);
2810 break;
2811 /* We'll only use the 32 (or 64) bit form of these relocations
2812 in constants. Instructions get the 16 bit form. */
2813 case BFD_RELOC_PPC_DTPREL:
2814 reloc = BFD_RELOC_PPC_DTPREL16;
2815 break;
2816 case BFD_RELOC_PPC_TPREL:
2817 reloc = BFD_RELOC_PPC_TPREL16;
2818 break;
2821 /* For the absolute forms of branches, convert the PC
2822 relative form back into the absolute. */
2823 if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0)
2825 switch (reloc)
2827 case BFD_RELOC_PPC_B26:
2828 reloc = BFD_RELOC_PPC_BA26;
2829 break;
2830 case BFD_RELOC_PPC_B16:
2831 reloc = BFD_RELOC_PPC_BA16;
2832 break;
2833 case BFD_RELOC_PPC_B16_BRTAKEN:
2834 reloc = BFD_RELOC_PPC_BA16_BRTAKEN;
2835 break;
2836 case BFD_RELOC_PPC_B16_BRNTAKEN:
2837 reloc = BFD_RELOC_PPC_BA16_BRNTAKEN;
2838 break;
2839 default:
2840 break;
2844 if (ppc_obj64
2845 && (operand->flags & (PPC_OPERAND_DS | PPC_OPERAND_DQ)) != 0)
2847 switch (reloc)
2849 case BFD_RELOC_16:
2850 reloc = BFD_RELOC_PPC64_ADDR16_DS;
2851 break;
2852 case BFD_RELOC_LO16:
2853 reloc = BFD_RELOC_PPC64_ADDR16_LO_DS;
2854 break;
2855 case BFD_RELOC_16_GOTOFF:
2856 reloc = BFD_RELOC_PPC64_GOT16_DS;
2857 break;
2858 case BFD_RELOC_LO16_GOTOFF:
2859 reloc = BFD_RELOC_PPC64_GOT16_LO_DS;
2860 break;
2861 case BFD_RELOC_LO16_PLTOFF:
2862 reloc = BFD_RELOC_PPC64_PLT16_LO_DS;
2863 break;
2864 case BFD_RELOC_16_BASEREL:
2865 reloc = BFD_RELOC_PPC64_SECTOFF_DS;
2866 break;
2867 case BFD_RELOC_LO16_BASEREL:
2868 reloc = BFD_RELOC_PPC64_SECTOFF_LO_DS;
2869 break;
2870 case BFD_RELOC_PPC_TOC16:
2871 reloc = BFD_RELOC_PPC64_TOC16_DS;
2872 break;
2873 case BFD_RELOC_PPC64_TOC16_LO:
2874 reloc = BFD_RELOC_PPC64_TOC16_LO_DS;
2875 break;
2876 case BFD_RELOC_PPC64_PLTGOT16:
2877 reloc = BFD_RELOC_PPC64_PLTGOT16_DS;
2878 break;
2879 case BFD_RELOC_PPC64_PLTGOT16_LO:
2880 reloc = BFD_RELOC_PPC64_PLTGOT16_LO_DS;
2881 break;
2882 case BFD_RELOC_PPC_DTPREL16:
2883 reloc = BFD_RELOC_PPC64_DTPREL16_DS;
2884 break;
2885 case BFD_RELOC_PPC_DTPREL16_LO:
2886 reloc = BFD_RELOC_PPC64_DTPREL16_LO_DS;
2887 break;
2888 case BFD_RELOC_PPC_TPREL16:
2889 reloc = BFD_RELOC_PPC64_TPREL16_DS;
2890 break;
2891 case BFD_RELOC_PPC_TPREL16_LO:
2892 reloc = BFD_RELOC_PPC64_TPREL16_LO_DS;
2893 break;
2894 case BFD_RELOC_PPC_GOT_DTPREL16:
2895 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
2896 case BFD_RELOC_PPC_GOT_TPREL16:
2897 case BFD_RELOC_PPC_GOT_TPREL16_LO:
2898 break;
2899 default:
2900 as_bad (_("unsupported relocation for DS offset field"));
2901 break;
2905 /* We need to generate a fixup for this expression. */
2906 if (fc >= MAX_INSN_FIXUPS)
2907 as_fatal (_("too many fixups"));
2908 fixups[fc].exp = ex;
2909 fixups[fc].opindex = 0;
2910 fixups[fc].reloc = reloc;
2911 ++fc;
2913 #endif /* OBJ_ELF */
2915 else
2917 /* We need to generate a fixup for this expression. */
2918 if (fc >= MAX_INSN_FIXUPS)
2919 as_fatal (_("too many fixups"));
2920 fixups[fc].exp = ex;
2921 fixups[fc].opindex = *opindex_ptr;
2922 fixups[fc].reloc = BFD_RELOC_UNUSED;
2923 ++fc;
2926 if (need_paren)
2928 endc = ')';
2929 need_paren = 0;
2930 /* If expecting more operands, then we want to see "),". */
2931 if (*str == endc && opindex_ptr[1] != 0)
2934 ++str;
2935 while (ISSPACE (*str));
2936 endc = ',';
2939 else if ((operand->flags & PPC_OPERAND_PARENS) != 0)
2941 endc = '(';
2942 need_paren = 1;
2944 else
2945 endc = ',';
2947 /* The call to expression should have advanced str past any
2948 whitespace. */
2949 if (*str != endc
2950 && (endc != ',' || *str != '\0'))
2952 as_bad (_("syntax error; found `%c' but expected `%c'"), *str, endc);
2953 break;
2956 if (*str != '\0')
2957 ++str;
2960 while (ISSPACE (*str))
2961 ++str;
2963 if (*str != '\0')
2964 as_bad (_("junk at end of line: `%s'"), str);
2966 #ifdef OBJ_ELF
2967 /* Do we need/want a APUinfo section? */
2968 if (ppc_cpu & (PPC_OPCODE_SPE
2969 | PPC_OPCODE_ISEL | PPC_OPCODE_EFS
2970 | PPC_OPCODE_BRLOCK | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
2971 | PPC_OPCODE_RFMCI))
2973 /* These are all version "1". */
2974 if (opcode->flags & PPC_OPCODE_SPE)
2975 ppc_apuinfo_section_add (PPC_APUINFO_SPE, 1);
2976 if (opcode->flags & PPC_OPCODE_ISEL)
2977 ppc_apuinfo_section_add (PPC_APUINFO_ISEL, 1);
2978 if (opcode->flags & PPC_OPCODE_EFS)
2979 ppc_apuinfo_section_add (PPC_APUINFO_EFS, 1);
2980 if (opcode->flags & PPC_OPCODE_BRLOCK)
2981 ppc_apuinfo_section_add (PPC_APUINFO_BRLOCK, 1);
2982 if (opcode->flags & PPC_OPCODE_PMR)
2983 ppc_apuinfo_section_add (PPC_APUINFO_PMR, 1);
2984 if (opcode->flags & PPC_OPCODE_CACHELCK)
2985 ppc_apuinfo_section_add (PPC_APUINFO_CACHELCK, 1);
2986 if (opcode->flags & PPC_OPCODE_RFMCI)
2987 ppc_apuinfo_section_add (PPC_APUINFO_RFMCI, 1);
2989 #endif
2991 /* Write out the instruction. */
2992 f = frag_more (4);
2993 addr_mod = frag_now_fix () & 3;
2994 if (frag_now->has_code && frag_now->insn_addr != addr_mod)
2995 as_bad (_("instruction address is not a multiple of 4"));
2996 frag_now->insn_addr = addr_mod;
2997 frag_now->has_code = 1;
2998 md_number_to_chars (f, insn, 4);
3000 #ifdef OBJ_ELF
3001 dwarf2_emit_insn (4);
3002 #endif
3004 /* Create any fixups. At this point we do not use a
3005 bfd_reloc_code_real_type, but instead just use the
3006 BFD_RELOC_UNUSED plus the operand index. This lets us easily
3007 handle fixups for any operand type, although that is admittedly
3008 not a very exciting feature. We pick a BFD reloc type in
3009 md_apply_fix. */
3010 for (i = 0; i < fc; i++)
3012 const struct powerpc_operand *operand;
3014 operand = &powerpc_operands[fixups[i].opindex];
3015 if (fixups[i].reloc != BFD_RELOC_UNUSED)
3017 reloc_howto_type *reloc_howto;
3018 int size;
3019 int offset;
3020 fixS *fixP;
3022 reloc_howto = bfd_reloc_type_lookup (stdoutput, fixups[i].reloc);
3023 if (!reloc_howto)
3024 abort ();
3026 size = bfd_get_reloc_size (reloc_howto);
3027 offset = target_big_endian ? (4 - size) : 0;
3029 if (size < 1 || size > 4)
3030 abort ();
3032 fixP = fix_new_exp (frag_now,
3033 f - frag_now->fr_literal + offset,
3034 size,
3035 &fixups[i].exp,
3036 reloc_howto->pc_relative,
3037 fixups[i].reloc);
3039 /* Turn off complaints that the addend is too large for things like
3040 foo+100000@ha. */
3041 switch (fixups[i].reloc)
3043 case BFD_RELOC_16_GOTOFF:
3044 case BFD_RELOC_PPC_TOC16:
3045 case BFD_RELOC_LO16:
3046 case BFD_RELOC_HI16:
3047 case BFD_RELOC_HI16_S:
3048 #ifdef OBJ_ELF
3049 case BFD_RELOC_PPC64_HIGHER:
3050 case BFD_RELOC_PPC64_HIGHER_S:
3051 case BFD_RELOC_PPC64_HIGHEST:
3052 case BFD_RELOC_PPC64_HIGHEST_S:
3053 #endif
3054 fixP->fx_no_overflow = 1;
3055 break;
3056 default:
3057 break;
3060 else
3061 fix_new_exp (frag_now,
3062 f - frag_now->fr_literal,
3064 &fixups[i].exp,
3065 (operand->flags & PPC_OPERAND_RELATIVE) != 0,
3066 ((bfd_reloc_code_real_type)
3067 (fixups[i].opindex + (int) BFD_RELOC_UNUSED)));
3071 /* Handle a macro. Gather all the operands, transform them as
3072 described by the macro, and call md_assemble recursively. All the
3073 operands are separated by commas; we don't accept parentheses
3074 around operands here. */
3076 static void
3077 ppc_macro (char *str, const struct powerpc_macro *macro)
3079 char *operands[10];
3080 unsigned int count;
3081 char *s;
3082 unsigned int len;
3083 const char *format;
3084 unsigned int arg;
3085 char *send;
3086 char *complete;
3088 /* Gather the users operands into the operands array. */
3089 count = 0;
3090 s = str;
3091 while (1)
3093 if (count >= sizeof operands / sizeof operands[0])
3094 break;
3095 operands[count++] = s;
3096 s = strchr (s, ',');
3097 if (s == (char *) NULL)
3098 break;
3099 *s++ = '\0';
3102 if (count != macro->operands)
3104 as_bad (_("wrong number of operands"));
3105 return;
3108 /* Work out how large the string must be (the size is unbounded
3109 because it includes user input). */
3110 len = 0;
3111 format = macro->format;
3112 while (*format != '\0')
3114 if (*format != '%')
3116 ++len;
3117 ++format;
3119 else
3121 arg = strtol (format + 1, &send, 10);
3122 know (send != format && arg < count);
3123 len += strlen (operands[arg]);
3124 format = send;
3128 /* Put the string together. */
3129 complete = s = (char *) alloca (len + 1);
3130 format = macro->format;
3131 while (*format != '\0')
3133 if (*format != '%')
3134 *s++ = *format++;
3135 else
3137 arg = strtol (format + 1, &send, 10);
3138 strcpy (s, operands[arg]);
3139 s += strlen (s);
3140 format = send;
3143 *s = '\0';
3145 /* Assemble the constructed instruction. */
3146 md_assemble (complete);
3149 #ifdef OBJ_ELF
3150 /* For ELF, add support for SHF_EXCLUDE and SHT_ORDERED. */
3152 bfd_vma
3153 ppc_section_letter (int letter, char **ptr_msg)
3155 if (letter == 'e')
3156 return SHF_EXCLUDE;
3158 *ptr_msg = _("Bad .section directive: want a,e,w,x,M,S,G,T in string");
3159 return -1;
3162 bfd_vma
3163 ppc_section_word (char *str, size_t len)
3165 if (len == 7 && strncmp (str, "exclude", 7) == 0)
3166 return SHF_EXCLUDE;
3168 return -1;
3172 ppc_section_type (char *str, size_t len)
3174 if (len == 7 && strncmp (str, "ordered", 7) == 0)
3175 return SHT_ORDERED;
3177 return -1;
3181 ppc_section_flags (flagword flags, bfd_vma attr, int type)
3183 if (type == SHT_ORDERED)
3184 flags |= SEC_ALLOC | SEC_LOAD | SEC_SORT_ENTRIES;
3186 if (attr & SHF_EXCLUDE)
3187 flags |= SEC_EXCLUDE;
3189 return flags;
3191 #endif /* OBJ_ELF */
3194 /* Pseudo-op handling. */
3196 /* The .byte pseudo-op. This is similar to the normal .byte
3197 pseudo-op, but it can also take a single ASCII string. */
3199 static void
3200 ppc_byte (int ignore ATTRIBUTE_UNUSED)
3202 if (*input_line_pointer != '\"')
3204 cons (1);
3205 return;
3208 /* Gather characters. A real double quote is doubled. Unusual
3209 characters are not permitted. */
3210 ++input_line_pointer;
3211 while (1)
3213 char c;
3215 c = *input_line_pointer++;
3217 if (c == '\"')
3219 if (*input_line_pointer != '\"')
3220 break;
3221 ++input_line_pointer;
3224 FRAG_APPEND_1_CHAR (c);
3227 demand_empty_rest_of_line ();
3230 #ifdef OBJ_XCOFF
3232 /* XCOFF specific pseudo-op handling. */
3234 /* This is set if we are creating a .stabx symbol, since we don't want
3235 to handle symbol suffixes for such symbols. */
3236 static bfd_boolean ppc_stab_symbol;
3238 /* The .comm and .lcomm pseudo-ops for XCOFF. XCOFF puts common
3239 symbols in the .bss segment as though they were local common
3240 symbols, and uses a different smclas. The native Aix 4.3.3 assembler
3241 aligns .comm and .lcomm to 4 bytes. */
3243 static void
3244 ppc_comm (int lcomm)
3246 asection *current_seg = now_seg;
3247 subsegT current_subseg = now_subseg;
3248 char *name;
3249 char endc;
3250 char *end_name;
3251 offsetT size;
3252 offsetT align;
3253 symbolS *lcomm_sym = NULL;
3254 symbolS *sym;
3255 char *pfrag;
3257 name = input_line_pointer;
3258 endc = get_symbol_end ();
3259 end_name = input_line_pointer;
3260 *end_name = endc;
3262 if (*input_line_pointer != ',')
3264 as_bad (_("missing size"));
3265 ignore_rest_of_line ();
3266 return;
3268 ++input_line_pointer;
3270 size = get_absolute_expression ();
3271 if (size < 0)
3273 as_bad (_("negative size"));
3274 ignore_rest_of_line ();
3275 return;
3278 if (! lcomm)
3280 /* The third argument to .comm is the alignment. */
3281 if (*input_line_pointer != ',')
3282 align = 2;
3283 else
3285 ++input_line_pointer;
3286 align = get_absolute_expression ();
3287 if (align <= 0)
3289 as_warn (_("ignoring bad alignment"));
3290 align = 2;
3294 else
3296 char *lcomm_name;
3297 char lcomm_endc;
3299 if (size <= 4)
3300 align = 2;
3301 else
3302 align = 3;
3304 /* The third argument to .lcomm appears to be the real local
3305 common symbol to create. References to the symbol named in
3306 the first argument are turned into references to the third
3307 argument. */
3308 if (*input_line_pointer != ',')
3310 as_bad (_("missing real symbol name"));
3311 ignore_rest_of_line ();
3312 return;
3314 ++input_line_pointer;
3316 lcomm_name = input_line_pointer;
3317 lcomm_endc = get_symbol_end ();
3319 lcomm_sym = symbol_find_or_make (lcomm_name);
3321 *input_line_pointer = lcomm_endc;
3324 *end_name = '\0';
3325 sym = symbol_find_or_make (name);
3326 *end_name = endc;
3328 if (S_IS_DEFINED (sym)
3329 || S_GET_VALUE (sym) != 0)
3331 as_bad (_("attempt to redefine symbol"));
3332 ignore_rest_of_line ();
3333 return;
3336 record_alignment (bss_section, align);
3338 if (! lcomm
3339 || ! S_IS_DEFINED (lcomm_sym))
3341 symbolS *def_sym;
3342 offsetT def_size;
3344 if (! lcomm)
3346 def_sym = sym;
3347 def_size = size;
3348 S_SET_EXTERNAL (sym);
3350 else
3352 symbol_get_tc (lcomm_sym)->output = 1;
3353 def_sym = lcomm_sym;
3354 def_size = 0;
3357 subseg_set (bss_section, 1);
3358 frag_align (align, 0, 0);
3360 symbol_set_frag (def_sym, frag_now);
3361 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, def_sym,
3362 def_size, (char *) NULL);
3363 *pfrag = 0;
3364 S_SET_SEGMENT (def_sym, bss_section);
3365 symbol_get_tc (def_sym)->align = align;
3367 else if (lcomm)
3369 /* Align the size of lcomm_sym. */
3370 symbol_get_frag (lcomm_sym)->fr_offset =
3371 ((symbol_get_frag (lcomm_sym)->fr_offset + (1 << align) - 1)
3372 &~ ((1 << align) - 1));
3373 if (align > symbol_get_tc (lcomm_sym)->align)
3374 symbol_get_tc (lcomm_sym)->align = align;
3377 if (lcomm)
3379 /* Make sym an offset from lcomm_sym. */
3380 S_SET_SEGMENT (sym, bss_section);
3381 symbol_set_frag (sym, symbol_get_frag (lcomm_sym));
3382 S_SET_VALUE (sym, symbol_get_frag (lcomm_sym)->fr_offset);
3383 symbol_get_frag (lcomm_sym)->fr_offset += size;
3386 subseg_set (current_seg, current_subseg);
3388 demand_empty_rest_of_line ();
3391 /* The .csect pseudo-op. This switches us into a different
3392 subsegment. The first argument is a symbol whose value is the
3393 start of the .csect. In COFF, csect symbols get special aux
3394 entries defined by the x_csect field of union internal_auxent. The
3395 optional second argument is the alignment (the default is 2). */
3397 static void
3398 ppc_csect (int ignore ATTRIBUTE_UNUSED)
3400 char *name;
3401 char endc;
3402 symbolS *sym;
3403 offsetT align;
3405 name = input_line_pointer;
3406 endc = get_symbol_end ();
3408 sym = symbol_find_or_make (name);
3410 *input_line_pointer = endc;
3412 if (S_GET_NAME (sym)[0] == '\0')
3414 /* An unnamed csect is assumed to be [PR]. */
3415 symbol_get_tc (sym)->class = XMC_PR;
3418 align = 2;
3419 if (*input_line_pointer == ',')
3421 ++input_line_pointer;
3422 align = get_absolute_expression ();
3425 ppc_change_csect (sym, align);
3427 demand_empty_rest_of_line ();
3430 /* Change to a different csect. */
3432 static void
3433 ppc_change_csect (symbolS *sym, offsetT align)
3435 if (S_IS_DEFINED (sym))
3436 subseg_set (S_GET_SEGMENT (sym), symbol_get_tc (sym)->subseg);
3437 else
3439 symbolS **list_ptr;
3440 int after_toc;
3441 int hold_chunksize;
3442 symbolS *list;
3443 int is_code;
3444 segT sec;
3446 /* This is a new csect. We need to look at the symbol class to
3447 figure out whether it should go in the text section or the
3448 data section. */
3449 after_toc = 0;
3450 is_code = 0;
3451 switch (symbol_get_tc (sym)->class)
3453 case XMC_PR:
3454 case XMC_RO:
3455 case XMC_DB:
3456 case XMC_GL:
3457 case XMC_XO:
3458 case XMC_SV:
3459 case XMC_TI:
3460 case XMC_TB:
3461 S_SET_SEGMENT (sym, text_section);
3462 symbol_get_tc (sym)->subseg = ppc_text_subsegment;
3463 ++ppc_text_subsegment;
3464 list_ptr = &ppc_text_csects;
3465 is_code = 1;
3466 break;
3467 case XMC_RW:
3468 case XMC_TC0:
3469 case XMC_TC:
3470 case XMC_DS:
3471 case XMC_UA:
3472 case XMC_BS:
3473 case XMC_UC:
3474 if (ppc_toc_csect != NULL
3475 && (symbol_get_tc (ppc_toc_csect)->subseg + 1
3476 == ppc_data_subsegment))
3477 after_toc = 1;
3478 S_SET_SEGMENT (sym, data_section);
3479 symbol_get_tc (sym)->subseg = ppc_data_subsegment;
3480 ++ppc_data_subsegment;
3481 list_ptr = &ppc_data_csects;
3482 break;
3483 default:
3484 abort ();
3487 /* We set the obstack chunk size to a small value before
3488 changing subsegments, so that we don't use a lot of memory
3489 space for what may be a small section. */
3490 hold_chunksize = chunksize;
3491 chunksize = 64;
3493 sec = subseg_new (segment_name (S_GET_SEGMENT (sym)),
3494 symbol_get_tc (sym)->subseg);
3496 chunksize = hold_chunksize;
3498 if (after_toc)
3499 ppc_after_toc_frag = frag_now;
3501 record_alignment (sec, align);
3502 if (is_code)
3503 frag_align_code (align, 0);
3504 else
3505 frag_align (align, 0, 0);
3507 symbol_set_frag (sym, frag_now);
3508 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3510 symbol_get_tc (sym)->align = align;
3511 symbol_get_tc (sym)->output = 1;
3512 symbol_get_tc (sym)->within = sym;
3514 for (list = *list_ptr;
3515 symbol_get_tc (list)->next != (symbolS *) NULL;
3516 list = symbol_get_tc (list)->next)
3518 symbol_get_tc (list)->next = sym;
3520 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3521 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
3522 &symbol_lastP);
3525 ppc_current_csect = sym;
3528 /* This function handles the .text and .data pseudo-ops. These
3529 pseudo-ops aren't really used by XCOFF; we implement them for the
3530 convenience of people who aren't used to XCOFF. */
3532 static void
3533 ppc_section (int type)
3535 const char *name;
3536 symbolS *sym;
3538 if (type == 't')
3539 name = ".text[PR]";
3540 else if (type == 'd')
3541 name = ".data[RW]";
3542 else
3543 abort ();
3545 sym = symbol_find_or_make (name);
3547 ppc_change_csect (sym, 2);
3549 demand_empty_rest_of_line ();
3552 /* This function handles the .section pseudo-op. This is mostly to
3553 give an error, since XCOFF only supports .text, .data and .bss, but
3554 we do permit the user to name the text or data section. */
3556 static void
3557 ppc_named_section (int ignore ATTRIBUTE_UNUSED)
3559 char *user_name;
3560 const char *real_name;
3561 char c;
3562 symbolS *sym;
3564 user_name = input_line_pointer;
3565 c = get_symbol_end ();
3567 if (strcmp (user_name, ".text") == 0)
3568 real_name = ".text[PR]";
3569 else if (strcmp (user_name, ".data") == 0)
3570 real_name = ".data[RW]";
3571 else
3573 as_bad (_("The XCOFF file format does not support arbitrary sections"));
3574 *input_line_pointer = c;
3575 ignore_rest_of_line ();
3576 return;
3579 *input_line_pointer = c;
3581 sym = symbol_find_or_make (real_name);
3583 ppc_change_csect (sym, 2);
3585 demand_empty_rest_of_line ();
3588 /* The .extern pseudo-op. We create an undefined symbol. */
3590 static void
3591 ppc_extern (int ignore ATTRIBUTE_UNUSED)
3593 char *name;
3594 char endc;
3596 name = input_line_pointer;
3597 endc = get_symbol_end ();
3599 (void) symbol_find_or_make (name);
3601 *input_line_pointer = endc;
3603 demand_empty_rest_of_line ();
3606 /* The .lglobl pseudo-op. Keep the symbol in the symbol table. */
3608 static void
3609 ppc_lglobl (int ignore ATTRIBUTE_UNUSED)
3611 char *name;
3612 char endc;
3613 symbolS *sym;
3615 name = input_line_pointer;
3616 endc = get_symbol_end ();
3618 sym = symbol_find_or_make (name);
3620 *input_line_pointer = endc;
3622 symbol_get_tc (sym)->output = 1;
3624 demand_empty_rest_of_line ();
3627 /* The .rename pseudo-op. The RS/6000 assembler can rename symbols,
3628 although I don't know why it bothers. */
3630 static void
3631 ppc_rename (int ignore ATTRIBUTE_UNUSED)
3633 char *name;
3634 char endc;
3635 symbolS *sym;
3636 int len;
3638 name = input_line_pointer;
3639 endc = get_symbol_end ();
3641 sym = symbol_find_or_make (name);
3643 *input_line_pointer = endc;
3645 if (*input_line_pointer != ',')
3647 as_bad (_("missing rename string"));
3648 ignore_rest_of_line ();
3649 return;
3651 ++input_line_pointer;
3653 symbol_get_tc (sym)->real_name = demand_copy_C_string (&len);
3655 demand_empty_rest_of_line ();
3658 /* The .stabx pseudo-op. This is similar to a normal .stabs
3659 pseudo-op, but slightly different. A sample is
3660 .stabx "main:F-1",.main,142,0
3661 The first argument is the symbol name to create. The second is the
3662 value, and the third is the storage class. The fourth seems to be
3663 always zero, and I am assuming it is the type. */
3665 static void
3666 ppc_stabx (int ignore ATTRIBUTE_UNUSED)
3668 char *name;
3669 int len;
3670 symbolS *sym;
3671 expressionS exp;
3673 name = demand_copy_C_string (&len);
3675 if (*input_line_pointer != ',')
3677 as_bad (_("missing value"));
3678 return;
3680 ++input_line_pointer;
3682 ppc_stab_symbol = TRUE;
3683 sym = symbol_make (name);
3684 ppc_stab_symbol = FALSE;
3686 symbol_get_tc (sym)->real_name = name;
3688 (void) expression (&exp);
3690 switch (exp.X_op)
3692 case O_illegal:
3693 case O_absent:
3694 case O_big:
3695 as_bad (_("illegal .stabx expression; zero assumed"));
3696 exp.X_add_number = 0;
3697 /* Fall through. */
3698 case O_constant:
3699 S_SET_VALUE (sym, (valueT) exp.X_add_number);
3700 symbol_set_frag (sym, &zero_address_frag);
3701 break;
3703 case O_symbol:
3704 if (S_GET_SEGMENT (exp.X_add_symbol) == undefined_section)
3705 symbol_set_value_expression (sym, &exp);
3706 else
3708 S_SET_VALUE (sym,
3709 exp.X_add_number + S_GET_VALUE (exp.X_add_symbol));
3710 symbol_set_frag (sym, symbol_get_frag (exp.X_add_symbol));
3712 break;
3714 default:
3715 /* The value is some complex expression. This will probably
3716 fail at some later point, but this is probably the right
3717 thing to do here. */
3718 symbol_set_value_expression (sym, &exp);
3719 break;
3722 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3723 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3725 if (*input_line_pointer != ',')
3727 as_bad (_("missing class"));
3728 return;
3730 ++input_line_pointer;
3732 S_SET_STORAGE_CLASS (sym, get_absolute_expression ());
3734 if (*input_line_pointer != ',')
3736 as_bad (_("missing type"));
3737 return;
3739 ++input_line_pointer;
3741 S_SET_DATA_TYPE (sym, get_absolute_expression ());
3743 symbol_get_tc (sym)->output = 1;
3745 if (S_GET_STORAGE_CLASS (sym) == C_STSYM) {
3747 symbol_get_tc (sym)->within = ppc_current_block;
3749 /* In this case :
3751 .bs name
3752 .stabx "z",arrays_,133,0
3755 .comm arrays_,13768,3
3757 resolve_symbol_value will copy the exp's "within" into sym's when the
3758 offset is 0. Since this seems to be corner case problem,
3759 only do the correction for storage class C_STSYM. A better solution
3760 would be to have the tc field updated in ppc_symbol_new_hook. */
3762 if (exp.X_op == O_symbol)
3764 symbol_get_tc (exp.X_add_symbol)->within = ppc_current_block;
3768 if (exp.X_op != O_symbol
3769 || ! S_IS_EXTERNAL (exp.X_add_symbol)
3770 || S_GET_SEGMENT (exp.X_add_symbol) != bss_section)
3771 ppc_frob_label (sym);
3772 else
3774 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3775 symbol_append (sym, exp.X_add_symbol, &symbol_rootP, &symbol_lastP);
3776 if (symbol_get_tc (ppc_current_csect)->within == exp.X_add_symbol)
3777 symbol_get_tc (ppc_current_csect)->within = sym;
3780 demand_empty_rest_of_line ();
3783 /* The .function pseudo-op. This takes several arguments. The first
3784 argument seems to be the external name of the symbol. The second
3785 argument seems to be the label for the start of the function. gcc
3786 uses the same name for both. I have no idea what the third and
3787 fourth arguments are meant to be. The optional fifth argument is
3788 an expression for the size of the function. In COFF this symbol
3789 gets an aux entry like that used for a csect. */
3791 static void
3792 ppc_function (int ignore ATTRIBUTE_UNUSED)
3794 char *name;
3795 char endc;
3796 char *s;
3797 symbolS *ext_sym;
3798 symbolS *lab_sym;
3800 name = input_line_pointer;
3801 endc = get_symbol_end ();
3803 /* Ignore any [PR] suffix. */
3804 name = ppc_canonicalize_symbol_name (name);
3805 s = strchr (name, '[');
3806 if (s != (char *) NULL
3807 && strcmp (s + 1, "PR]") == 0)
3808 *s = '\0';
3810 ext_sym = symbol_find_or_make (name);
3812 *input_line_pointer = endc;
3814 if (*input_line_pointer != ',')
3816 as_bad (_("missing symbol name"));
3817 ignore_rest_of_line ();
3818 return;
3820 ++input_line_pointer;
3822 name = input_line_pointer;
3823 endc = get_symbol_end ();
3825 lab_sym = symbol_find_or_make (name);
3827 *input_line_pointer = endc;
3829 if (ext_sym != lab_sym)
3831 expressionS exp;
3833 exp.X_op = O_symbol;
3834 exp.X_add_symbol = lab_sym;
3835 exp.X_op_symbol = NULL;
3836 exp.X_add_number = 0;
3837 exp.X_unsigned = 0;
3838 symbol_set_value_expression (ext_sym, &exp);
3841 if (symbol_get_tc (ext_sym)->class == -1)
3842 symbol_get_tc (ext_sym)->class = XMC_PR;
3843 symbol_get_tc (ext_sym)->output = 1;
3845 if (*input_line_pointer == ',')
3847 expressionS ignore;
3849 /* Ignore the third argument. */
3850 ++input_line_pointer;
3851 expression (&ignore);
3852 if (*input_line_pointer == ',')
3854 /* Ignore the fourth argument. */
3855 ++input_line_pointer;
3856 expression (&ignore);
3857 if (*input_line_pointer == ',')
3859 /* The fifth argument is the function size. */
3860 ++input_line_pointer;
3861 symbol_get_tc (ext_sym)->size = symbol_new ("L0\001",
3862 absolute_section,
3863 (valueT) 0,
3864 &zero_address_frag);
3865 pseudo_set (symbol_get_tc (ext_sym)->size);
3870 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
3871 SF_SET_FUNCTION (ext_sym);
3872 SF_SET_PROCESS (ext_sym);
3873 coff_add_linesym (ext_sym);
3875 demand_empty_rest_of_line ();
3878 /* The .bf pseudo-op. This is just like a COFF C_FCN symbol named
3879 ".bf". If the pseudo op .bi was seen before .bf, patch the .bi sym
3880 with the correct line number */
3882 static symbolS *saved_bi_sym = 0;
3884 static void
3885 ppc_bf (int ignore ATTRIBUTE_UNUSED)
3887 symbolS *sym;
3889 sym = symbol_make (".bf");
3890 S_SET_SEGMENT (sym, text_section);
3891 symbol_set_frag (sym, frag_now);
3892 S_SET_VALUE (sym, frag_now_fix ());
3893 S_SET_STORAGE_CLASS (sym, C_FCN);
3895 coff_line_base = get_absolute_expression ();
3897 S_SET_NUMBER_AUXILIARY (sym, 1);
3898 SA_SET_SYM_LNNO (sym, coff_line_base);
3900 /* Line number for bi. */
3901 if (saved_bi_sym)
3903 S_SET_VALUE (saved_bi_sym, coff_n_line_nos);
3904 saved_bi_sym = 0;
3908 symbol_get_tc (sym)->output = 1;
3910 ppc_frob_label (sym);
3912 demand_empty_rest_of_line ();
3915 /* The .ef pseudo-op. This is just like a COFF C_FCN symbol named
3916 ".ef", except that the line number is absolute, not relative to the
3917 most recent ".bf" symbol. */
3919 static void
3920 ppc_ef (int ignore ATTRIBUTE_UNUSED)
3922 symbolS *sym;
3924 sym = symbol_make (".ef");
3925 S_SET_SEGMENT (sym, text_section);
3926 symbol_set_frag (sym, frag_now);
3927 S_SET_VALUE (sym, frag_now_fix ());
3928 S_SET_STORAGE_CLASS (sym, C_FCN);
3929 S_SET_NUMBER_AUXILIARY (sym, 1);
3930 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3931 symbol_get_tc (sym)->output = 1;
3933 ppc_frob_label (sym);
3935 demand_empty_rest_of_line ();
3938 /* The .bi and .ei pseudo-ops. These take a string argument and
3939 generates a C_BINCL or C_EINCL symbol, which goes at the start of
3940 the symbol list. The value of .bi will be know when the next .bf
3941 is encountered. */
3943 static void
3944 ppc_biei (int ei)
3946 static symbolS *last_biei;
3948 char *name;
3949 int len;
3950 symbolS *sym;
3951 symbolS *look;
3953 name = demand_copy_C_string (&len);
3955 /* The value of these symbols is actually file offset. Here we set
3956 the value to the index into the line number entries. In
3957 ppc_frob_symbols we set the fix_line field, which will cause BFD
3958 to do the right thing. */
3960 sym = symbol_make (name);
3961 /* obj-coff.c currently only handles line numbers correctly in the
3962 .text section. */
3963 S_SET_SEGMENT (sym, text_section);
3964 S_SET_VALUE (sym, coff_n_line_nos);
3965 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3967 S_SET_STORAGE_CLASS (sym, ei ? C_EINCL : C_BINCL);
3968 symbol_get_tc (sym)->output = 1;
3970 /* Save bi. */
3971 if (ei)
3972 saved_bi_sym = 0;
3973 else
3974 saved_bi_sym = sym;
3976 for (look = last_biei ? last_biei : symbol_rootP;
3977 (look != (symbolS *) NULL
3978 && (S_GET_STORAGE_CLASS (look) == C_FILE
3979 || S_GET_STORAGE_CLASS (look) == C_BINCL
3980 || S_GET_STORAGE_CLASS (look) == C_EINCL));
3981 look = symbol_next (look))
3983 if (look != (symbolS *) NULL)
3985 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3986 symbol_insert (sym, look, &symbol_rootP, &symbol_lastP);
3987 last_biei = sym;
3990 demand_empty_rest_of_line ();
3993 /* The .bs pseudo-op. This generates a C_BSTAT symbol named ".bs".
3994 There is one argument, which is a csect symbol. The value of the
3995 .bs symbol is the index of this csect symbol. */
3997 static void
3998 ppc_bs (int ignore ATTRIBUTE_UNUSED)
4000 char *name;
4001 char endc;
4002 symbolS *csect;
4003 symbolS *sym;
4005 if (ppc_current_block != NULL)
4006 as_bad (_("nested .bs blocks"));
4008 name = input_line_pointer;
4009 endc = get_symbol_end ();
4011 csect = symbol_find_or_make (name);
4013 *input_line_pointer = endc;
4015 sym = symbol_make (".bs");
4016 S_SET_SEGMENT (sym, now_seg);
4017 S_SET_STORAGE_CLASS (sym, C_BSTAT);
4018 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
4019 symbol_get_tc (sym)->output = 1;
4021 symbol_get_tc (sym)->within = csect;
4023 ppc_frob_label (sym);
4025 ppc_current_block = sym;
4027 demand_empty_rest_of_line ();
4030 /* The .es pseudo-op. Generate a C_ESTART symbol named .es. */
4032 static void
4033 ppc_es (int ignore ATTRIBUTE_UNUSED)
4035 symbolS *sym;
4037 if (ppc_current_block == NULL)
4038 as_bad (_(".es without preceding .bs"));
4040 sym = symbol_make (".es");
4041 S_SET_SEGMENT (sym, now_seg);
4042 S_SET_STORAGE_CLASS (sym, C_ESTAT);
4043 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
4044 symbol_get_tc (sym)->output = 1;
4046 ppc_frob_label (sym);
4048 ppc_current_block = NULL;
4050 demand_empty_rest_of_line ();
4053 /* The .bb pseudo-op. Generate a C_BLOCK symbol named .bb, with a
4054 line number. */
4056 static void
4057 ppc_bb (int ignore ATTRIBUTE_UNUSED)
4059 symbolS *sym;
4061 sym = symbol_make (".bb");
4062 S_SET_SEGMENT (sym, text_section);
4063 symbol_set_frag (sym, frag_now);
4064 S_SET_VALUE (sym, frag_now_fix ());
4065 S_SET_STORAGE_CLASS (sym, C_BLOCK);
4067 S_SET_NUMBER_AUXILIARY (sym, 1);
4068 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
4070 symbol_get_tc (sym)->output = 1;
4072 SF_SET_PROCESS (sym);
4074 ppc_frob_label (sym);
4076 demand_empty_rest_of_line ();
4079 /* The .eb pseudo-op. Generate a C_BLOCK symbol named .eb, with a
4080 line number. */
4082 static void
4083 ppc_eb (int ignore ATTRIBUTE_UNUSED)
4085 symbolS *sym;
4087 sym = symbol_make (".eb");
4088 S_SET_SEGMENT (sym, text_section);
4089 symbol_set_frag (sym, frag_now);
4090 S_SET_VALUE (sym, frag_now_fix ());
4091 S_SET_STORAGE_CLASS (sym, C_BLOCK);
4092 S_SET_NUMBER_AUXILIARY (sym, 1);
4093 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
4094 symbol_get_tc (sym)->output = 1;
4096 SF_SET_PROCESS (sym);
4098 ppc_frob_label (sym);
4100 demand_empty_rest_of_line ();
4103 /* The .bc pseudo-op. This just creates a C_BCOMM symbol with a
4104 specified name. */
4106 static void
4107 ppc_bc (int ignore ATTRIBUTE_UNUSED)
4109 char *name;
4110 int len;
4111 symbolS *sym;
4113 name = demand_copy_C_string (&len);
4114 sym = symbol_make (name);
4115 S_SET_SEGMENT (sym, ppc_coff_debug_section);
4116 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
4117 S_SET_STORAGE_CLASS (sym, C_BCOMM);
4118 S_SET_VALUE (sym, 0);
4119 symbol_get_tc (sym)->output = 1;
4121 ppc_frob_label (sym);
4123 demand_empty_rest_of_line ();
4126 /* The .ec pseudo-op. This just creates a C_ECOMM symbol. */
4128 static void
4129 ppc_ec (int ignore ATTRIBUTE_UNUSED)
4131 symbolS *sym;
4133 sym = symbol_make (".ec");
4134 S_SET_SEGMENT (sym, ppc_coff_debug_section);
4135 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
4136 S_SET_STORAGE_CLASS (sym, C_ECOMM);
4137 S_SET_VALUE (sym, 0);
4138 symbol_get_tc (sym)->output = 1;
4140 ppc_frob_label (sym);
4142 demand_empty_rest_of_line ();
4145 /* The .toc pseudo-op. Switch to the .toc subsegment. */
4147 static void
4148 ppc_toc (int ignore ATTRIBUTE_UNUSED)
4150 if (ppc_toc_csect != (symbolS *) NULL)
4151 subseg_set (data_section, symbol_get_tc (ppc_toc_csect)->subseg);
4152 else
4154 subsegT subseg;
4155 symbolS *sym;
4156 symbolS *list;
4158 subseg = ppc_data_subsegment;
4159 ++ppc_data_subsegment;
4161 subseg_new (segment_name (data_section), subseg);
4162 ppc_toc_frag = frag_now;
4164 sym = symbol_find_or_make ("TOC[TC0]");
4165 symbol_set_frag (sym, frag_now);
4166 S_SET_SEGMENT (sym, data_section);
4167 S_SET_VALUE (sym, (valueT) frag_now_fix ());
4168 symbol_get_tc (sym)->subseg = subseg;
4169 symbol_get_tc (sym)->output = 1;
4170 symbol_get_tc (sym)->within = sym;
4172 ppc_toc_csect = sym;
4174 for (list = ppc_data_csects;
4175 symbol_get_tc (list)->next != (symbolS *) NULL;
4176 list = symbol_get_tc (list)->next)
4178 symbol_get_tc (list)->next = sym;
4180 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
4181 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
4182 &symbol_lastP);
4185 ppc_current_csect = ppc_toc_csect;
4187 demand_empty_rest_of_line ();
4190 /* The AIX assembler automatically aligns the operands of a .long or
4191 .short pseudo-op, and we want to be compatible. */
4193 static void
4194 ppc_xcoff_cons (int log_size)
4196 frag_align (log_size, 0, 0);
4197 record_alignment (now_seg, log_size);
4198 cons (1 << log_size);
4201 static void
4202 ppc_vbyte (int dummy ATTRIBUTE_UNUSED)
4204 expressionS exp;
4205 int byte_count;
4207 (void) expression (&exp);
4209 if (exp.X_op != O_constant)
4211 as_bad (_("non-constant byte count"));
4212 return;
4215 byte_count = exp.X_add_number;
4217 if (*input_line_pointer != ',')
4219 as_bad (_("missing value"));
4220 return;
4223 ++input_line_pointer;
4224 cons (byte_count);
4227 #endif /* OBJ_XCOFF */
4228 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
4230 /* The .tc pseudo-op. This is used when generating either XCOFF or
4231 ELF. This takes two or more arguments.
4233 When generating XCOFF output, the first argument is the name to
4234 give to this location in the toc; this will be a symbol with class
4235 TC. The rest of the arguments are N-byte values to actually put at
4236 this location in the TOC; often there is just one more argument, a
4237 relocatable symbol reference. The size of the value to store
4238 depends on target word size. A 32-bit target uses 4-byte values, a
4239 64-bit target uses 8-byte values.
4241 When not generating XCOFF output, the arguments are the same, but
4242 the first argument is simply ignored. */
4244 static void
4245 ppc_tc (int ignore ATTRIBUTE_UNUSED)
4247 #ifdef OBJ_XCOFF
4249 /* Define the TOC symbol name. */
4251 char *name;
4252 char endc;
4253 symbolS *sym;
4255 if (ppc_toc_csect == (symbolS *) NULL
4256 || ppc_toc_csect != ppc_current_csect)
4258 as_bad (_(".tc not in .toc section"));
4259 ignore_rest_of_line ();
4260 return;
4263 name = input_line_pointer;
4264 endc = get_symbol_end ();
4266 sym = symbol_find_or_make (name);
4268 *input_line_pointer = endc;
4270 if (S_IS_DEFINED (sym))
4272 symbolS *label;
4274 label = symbol_get_tc (ppc_current_csect)->within;
4275 if (symbol_get_tc (label)->class != XMC_TC0)
4277 as_bad (_(".tc with no label"));
4278 ignore_rest_of_line ();
4279 return;
4282 S_SET_SEGMENT (label, S_GET_SEGMENT (sym));
4283 symbol_set_frag (label, symbol_get_frag (sym));
4284 S_SET_VALUE (label, S_GET_VALUE (sym));
4286 while (! is_end_of_line[(unsigned char) *input_line_pointer])
4287 ++input_line_pointer;
4289 return;
4292 S_SET_SEGMENT (sym, now_seg);
4293 symbol_set_frag (sym, frag_now);
4294 S_SET_VALUE (sym, (valueT) frag_now_fix ());
4295 symbol_get_tc (sym)->class = XMC_TC;
4296 symbol_get_tc (sym)->output = 1;
4298 ppc_frob_label (sym);
4301 #endif /* OBJ_XCOFF */
4302 #ifdef OBJ_ELF
4303 int align;
4305 /* Skip the TOC symbol name. */
4306 while (is_part_of_name (*input_line_pointer)
4307 || *input_line_pointer == ' '
4308 || *input_line_pointer == '['
4309 || *input_line_pointer == ']'
4310 || *input_line_pointer == '{'
4311 || *input_line_pointer == '}')
4312 ++input_line_pointer;
4314 /* Align to a four/eight byte boundary. */
4315 align = ppc_obj64 ? 3 : 2;
4316 frag_align (align, 0, 0);
4317 record_alignment (now_seg, align);
4318 #endif /* OBJ_ELF */
4320 if (*input_line_pointer != ',')
4321 demand_empty_rest_of_line ();
4322 else
4324 ++input_line_pointer;
4325 cons (ppc_obj64 ? 8 : 4);
4329 /* Pseudo-op .machine. */
4331 static void
4332 ppc_machine (int ignore ATTRIBUTE_UNUSED)
4334 char *cpu_string;
4335 #define MAX_HISTORY 100
4336 static ppc_cpu_t *cpu_history;
4337 static int curr_hist;
4339 SKIP_WHITESPACE ();
4341 if (*input_line_pointer == '"')
4343 int len;
4344 cpu_string = demand_copy_C_string (&len);
4346 else
4348 char c;
4349 cpu_string = input_line_pointer;
4350 c = get_symbol_end ();
4351 cpu_string = xstrdup (cpu_string);
4352 *input_line_pointer = c;
4355 if (cpu_string != NULL)
4357 ppc_cpu_t old_cpu = ppc_cpu;
4358 char *p;
4360 for (p = cpu_string; *p != 0; p++)
4361 *p = TOLOWER (*p);
4363 if (strcmp (cpu_string, "push") == 0)
4365 if (cpu_history == NULL)
4366 cpu_history = xmalloc (MAX_HISTORY * sizeof (*cpu_history));
4368 if (curr_hist >= MAX_HISTORY)
4369 as_bad (_(".machine stack overflow"));
4370 else
4371 cpu_history[curr_hist++] = ppc_cpu;
4373 else if (strcmp (cpu_string, "pop") == 0)
4375 if (curr_hist <= 0)
4376 as_bad (_(".machine stack underflow"));
4377 else
4378 ppc_cpu = cpu_history[--curr_hist];
4380 else if (parse_cpu (cpu_string))
4382 else
4383 as_bad (_("invalid machine `%s'"), cpu_string);
4385 if (ppc_cpu != old_cpu)
4386 ppc_setup_opcodes ();
4389 demand_empty_rest_of_line ();
4392 /* See whether a symbol is in the TOC section. */
4394 static int
4395 ppc_is_toc_sym (symbolS *sym)
4397 #ifdef OBJ_XCOFF
4398 return symbol_get_tc (sym)->class == XMC_TC;
4399 #endif
4400 #ifdef OBJ_ELF
4401 const char *sname = segment_name (S_GET_SEGMENT (sym));
4402 if (ppc_obj64)
4403 return strcmp (sname, ".toc") == 0;
4404 else
4405 return strcmp (sname, ".got") == 0;
4406 #endif
4408 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
4410 #ifdef TE_PE
4412 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
4414 /* Set the current section. */
4415 static void
4416 ppc_set_current_section (segT new)
4418 ppc_previous_section = ppc_current_section;
4419 ppc_current_section = new;
4422 /* pseudo-op: .previous
4423 behaviour: toggles the current section with the previous section.
4424 errors: None
4425 warnings: "No previous section" */
4427 static void
4428 ppc_previous (int ignore ATTRIBUTE_UNUSED)
4430 symbolS *tmp;
4432 if (ppc_previous_section == NULL)
4434 as_warn (_("No previous section to return to. Directive ignored."));
4435 return;
4438 subseg_set (ppc_previous_section, 0);
4440 ppc_set_current_section (ppc_previous_section);
4443 /* pseudo-op: .pdata
4444 behaviour: predefined read only data section
4445 double word aligned
4446 errors: None
4447 warnings: None
4448 initial: .section .pdata "adr3"
4449 a - don't know -- maybe a misprint
4450 d - initialized data
4451 r - readable
4452 3 - double word aligned (that would be 4 byte boundary)
4454 commentary:
4455 Tag index tables (also known as the function table) for exception
4456 handling, debugging, etc. */
4458 static void
4459 ppc_pdata (int ignore ATTRIBUTE_UNUSED)
4461 if (pdata_section == 0)
4463 pdata_section = subseg_new (".pdata", 0);
4465 bfd_set_section_flags (stdoutput, pdata_section,
4466 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4467 | SEC_READONLY | SEC_DATA ));
4469 bfd_set_section_alignment (stdoutput, pdata_section, 2);
4471 else
4473 pdata_section = subseg_new (".pdata", 0);
4475 ppc_set_current_section (pdata_section);
4478 /* pseudo-op: .ydata
4479 behaviour: predefined read only data section
4480 double word aligned
4481 errors: None
4482 warnings: None
4483 initial: .section .ydata "drw3"
4484 a - don't know -- maybe a misprint
4485 d - initialized data
4486 r - readable
4487 3 - double word aligned (that would be 4 byte boundary)
4488 commentary:
4489 Tag tables (also known as the scope table) for exception handling,
4490 debugging, etc. */
4492 static void
4493 ppc_ydata (int ignore ATTRIBUTE_UNUSED)
4495 if (ydata_section == 0)
4497 ydata_section = subseg_new (".ydata", 0);
4498 bfd_set_section_flags (stdoutput, ydata_section,
4499 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4500 | SEC_READONLY | SEC_DATA ));
4502 bfd_set_section_alignment (stdoutput, ydata_section, 3);
4504 else
4506 ydata_section = subseg_new (".ydata", 0);
4508 ppc_set_current_section (ydata_section);
4511 /* pseudo-op: .reldata
4512 behaviour: predefined read write data section
4513 double word aligned (4-byte)
4514 FIXME: relocation is applied to it
4515 FIXME: what's the difference between this and .data?
4516 errors: None
4517 warnings: None
4518 initial: .section .reldata "drw3"
4519 d - initialized data
4520 r - readable
4521 w - writeable
4522 3 - double word aligned (that would be 8 byte boundary)
4524 commentary:
4525 Like .data, but intended to hold data subject to relocation, such as
4526 function descriptors, etc. */
4528 static void
4529 ppc_reldata (int ignore ATTRIBUTE_UNUSED)
4531 if (reldata_section == 0)
4533 reldata_section = subseg_new (".reldata", 0);
4535 bfd_set_section_flags (stdoutput, reldata_section,
4536 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4537 | SEC_DATA));
4539 bfd_set_section_alignment (stdoutput, reldata_section, 2);
4541 else
4543 reldata_section = subseg_new (".reldata", 0);
4545 ppc_set_current_section (reldata_section);
4548 /* pseudo-op: .rdata
4549 behaviour: predefined read only data section
4550 double word aligned
4551 errors: None
4552 warnings: None
4553 initial: .section .rdata "dr3"
4554 d - initialized data
4555 r - readable
4556 3 - double word aligned (that would be 4 byte boundary) */
4558 static void
4559 ppc_rdata (int ignore ATTRIBUTE_UNUSED)
4561 if (rdata_section == 0)
4563 rdata_section = subseg_new (".rdata", 0);
4564 bfd_set_section_flags (stdoutput, rdata_section,
4565 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4566 | SEC_READONLY | SEC_DATA ));
4568 bfd_set_section_alignment (stdoutput, rdata_section, 2);
4570 else
4572 rdata_section = subseg_new (".rdata", 0);
4574 ppc_set_current_section (rdata_section);
4577 /* pseudo-op: .ualong
4578 behaviour: much like .int, with the exception that no alignment is
4579 performed.
4580 FIXME: test the alignment statement
4581 errors: None
4582 warnings: None */
4584 static void
4585 ppc_ualong (int ignore ATTRIBUTE_UNUSED)
4587 /* Try for long. */
4588 cons (4);
4591 /* pseudo-op: .znop <symbol name>
4592 behaviour: Issue a nop instruction
4593 Issue a IMAGE_REL_PPC_IFGLUE relocation against it, using
4594 the supplied symbol name.
4595 errors: None
4596 warnings: Missing symbol name */
4598 static void
4599 ppc_znop (int ignore ATTRIBUTE_UNUSED)
4601 unsigned long insn;
4602 const struct powerpc_opcode *opcode;
4603 expressionS ex;
4604 char *f;
4605 symbolS *sym;
4606 char *symbol_name;
4607 char c;
4608 char *name;
4609 unsigned int exp;
4610 flagword flags;
4611 asection *sec;
4613 /* Strip out the symbol name. */
4614 symbol_name = input_line_pointer;
4615 c = get_symbol_end ();
4617 name = xmalloc (input_line_pointer - symbol_name + 1);
4618 strcpy (name, symbol_name);
4620 sym = symbol_find_or_make (name);
4622 *input_line_pointer = c;
4624 SKIP_WHITESPACE ();
4626 /* Look up the opcode in the hash table. */
4627 opcode = (const struct powerpc_opcode *) hash_find (ppc_hash, "nop");
4629 /* Stick in the nop. */
4630 insn = opcode->opcode;
4632 /* Write out the instruction. */
4633 f = frag_more (4);
4634 md_number_to_chars (f, insn, 4);
4635 fix_new (frag_now,
4636 f - frag_now->fr_literal,
4638 sym,
4641 BFD_RELOC_16_GOT_PCREL);
4645 /* pseudo-op:
4646 behaviour:
4647 errors:
4648 warnings: */
4650 static void
4651 ppc_pe_comm (int lcomm)
4653 char *name;
4654 char c;
4655 char *p;
4656 offsetT temp;
4657 symbolS *symbolP;
4658 offsetT align;
4660 name = input_line_pointer;
4661 c = get_symbol_end ();
4663 /* just after name is now '\0'. */
4664 p = input_line_pointer;
4665 *p = c;
4666 SKIP_WHITESPACE ();
4667 if (*input_line_pointer != ',')
4669 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
4670 ignore_rest_of_line ();
4671 return;
4674 input_line_pointer++; /* skip ',' */
4675 if ((temp = get_absolute_expression ()) < 0)
4677 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp);
4678 ignore_rest_of_line ();
4679 return;
4682 if (! lcomm)
4684 /* The third argument to .comm is the alignment. */
4685 if (*input_line_pointer != ',')
4686 align = 3;
4687 else
4689 ++input_line_pointer;
4690 align = get_absolute_expression ();
4691 if (align <= 0)
4693 as_warn (_("ignoring bad alignment"));
4694 align = 3;
4699 *p = 0;
4700 symbolP = symbol_find_or_make (name);
4702 *p = c;
4703 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
4705 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
4706 S_GET_NAME (symbolP));
4707 ignore_rest_of_line ();
4708 return;
4711 if (S_GET_VALUE (symbolP))
4713 if (S_GET_VALUE (symbolP) != (valueT) temp)
4714 as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
4715 S_GET_NAME (symbolP),
4716 (long) S_GET_VALUE (symbolP),
4717 (long) temp);
4719 else
4721 S_SET_VALUE (symbolP, (valueT) temp);
4722 S_SET_EXTERNAL (symbolP);
4723 S_SET_SEGMENT (symbolP, bfd_com_section_ptr);
4726 demand_empty_rest_of_line ();
4730 * implement the .section pseudo op:
4731 * .section name {, "flags"}
4732 * ^ ^
4733 * | +--- optional flags: 'b' for bss
4734 * | 'i' for info
4735 * +-- section name 'l' for lib
4736 * 'n' for noload
4737 * 'o' for over
4738 * 'w' for data
4739 * 'd' (apparently m88k for data)
4740 * 'x' for text
4741 * But if the argument is not a quoted string, treat it as a
4742 * subsegment number.
4744 * FIXME: this is a copy of the section processing from obj-coff.c, with
4745 * additions/changes for the moto-pas assembler support. There are three
4746 * categories:
4748 * FIXME: I just noticed this. This doesn't work at all really. It it
4749 * setting bits that bfd probably neither understands or uses. The
4750 * correct approach (?) will have to incorporate extra fields attached
4751 * to the section to hold the system specific stuff. (krk)
4753 * Section Contents:
4754 * 'a' - unknown - referred to in documentation, but no definition supplied
4755 * 'c' - section has code
4756 * 'd' - section has initialized data
4757 * 'u' - section has uninitialized data
4758 * 'i' - section contains directives (info)
4759 * 'n' - section can be discarded
4760 * 'R' - remove section at link time
4762 * Section Protection:
4763 * 'r' - section is readable
4764 * 'w' - section is writeable
4765 * 'x' - section is executable
4766 * 's' - section is sharable
4768 * Section Alignment:
4769 * '0' - align to byte boundary
4770 * '1' - align to halfword undary
4771 * '2' - align to word boundary
4772 * '3' - align to doubleword boundary
4773 * '4' - align to quadword boundary
4774 * '5' - align to 32 byte boundary
4775 * '6' - align to 64 byte boundary
4779 void
4780 ppc_pe_section (int ignore ATTRIBUTE_UNUSED)
4782 /* Strip out the section name. */
4783 char *section_name;
4784 char c;
4785 char *name;
4786 unsigned int exp;
4787 flagword flags;
4788 segT sec;
4789 int align;
4791 section_name = input_line_pointer;
4792 c = get_symbol_end ();
4794 name = xmalloc (input_line_pointer - section_name + 1);
4795 strcpy (name, section_name);
4797 *input_line_pointer = c;
4799 SKIP_WHITESPACE ();
4801 exp = 0;
4802 flags = SEC_NO_FLAGS;
4804 if (strcmp (name, ".idata$2") == 0)
4806 align = 0;
4808 else if (strcmp (name, ".idata$3") == 0)
4810 align = 0;
4812 else if (strcmp (name, ".idata$4") == 0)
4814 align = 2;
4816 else if (strcmp (name, ".idata$5") == 0)
4818 align = 2;
4820 else if (strcmp (name, ".idata$6") == 0)
4822 align = 1;
4824 else
4825 /* Default alignment to 16 byte boundary. */
4826 align = 4;
4828 if (*input_line_pointer == ',')
4830 ++input_line_pointer;
4831 SKIP_WHITESPACE ();
4832 if (*input_line_pointer != '"')
4833 exp = get_absolute_expression ();
4834 else
4836 ++input_line_pointer;
4837 while (*input_line_pointer != '"'
4838 && ! is_end_of_line[(unsigned char) *input_line_pointer])
4840 switch (*input_line_pointer)
4842 /* Section Contents */
4843 case 'a': /* unknown */
4844 as_bad (_("Unsupported section attribute -- 'a'"));
4845 break;
4846 case 'c': /* code section */
4847 flags |= SEC_CODE;
4848 break;
4849 case 'd': /* section has initialized data */
4850 flags |= SEC_DATA;
4851 break;
4852 case 'u': /* section has uninitialized data */
4853 /* FIXME: This is IMAGE_SCN_CNT_UNINITIALIZED_DATA
4854 in winnt.h */
4855 flags |= SEC_ROM;
4856 break;
4857 case 'i': /* section contains directives (info) */
4858 /* FIXME: This is IMAGE_SCN_LNK_INFO
4859 in winnt.h */
4860 flags |= SEC_HAS_CONTENTS;
4861 break;
4862 case 'n': /* section can be discarded */
4863 flags &=~ SEC_LOAD;
4864 break;
4865 case 'R': /* Remove section at link time */
4866 flags |= SEC_NEVER_LOAD;
4867 break;
4868 #if IFLICT_BRAIN_DAMAGE
4869 /* Section Protection */
4870 case 'r': /* section is readable */
4871 flags |= IMAGE_SCN_MEM_READ;
4872 break;
4873 case 'w': /* section is writeable */
4874 flags |= IMAGE_SCN_MEM_WRITE;
4875 break;
4876 case 'x': /* section is executable */
4877 flags |= IMAGE_SCN_MEM_EXECUTE;
4878 break;
4879 case 's': /* section is sharable */
4880 flags |= IMAGE_SCN_MEM_SHARED;
4881 break;
4883 /* Section Alignment */
4884 case '0': /* align to byte boundary */
4885 flags |= IMAGE_SCN_ALIGN_1BYTES;
4886 align = 0;
4887 break;
4888 case '1': /* align to halfword boundary */
4889 flags |= IMAGE_SCN_ALIGN_2BYTES;
4890 align = 1;
4891 break;
4892 case '2': /* align to word boundary */
4893 flags |= IMAGE_SCN_ALIGN_4BYTES;
4894 align = 2;
4895 break;
4896 case '3': /* align to doubleword boundary */
4897 flags |= IMAGE_SCN_ALIGN_8BYTES;
4898 align = 3;
4899 break;
4900 case '4': /* align to quadword boundary */
4901 flags |= IMAGE_SCN_ALIGN_16BYTES;
4902 align = 4;
4903 break;
4904 case '5': /* align to 32 byte boundary */
4905 flags |= IMAGE_SCN_ALIGN_32BYTES;
4906 align = 5;
4907 break;
4908 case '6': /* align to 64 byte boundary */
4909 flags |= IMAGE_SCN_ALIGN_64BYTES;
4910 align = 6;
4911 break;
4912 #endif
4913 default:
4914 as_bad (_("unknown section attribute '%c'"),
4915 *input_line_pointer);
4916 break;
4918 ++input_line_pointer;
4920 if (*input_line_pointer == '"')
4921 ++input_line_pointer;
4925 sec = subseg_new (name, (subsegT) exp);
4927 ppc_set_current_section (sec);
4929 if (flags != SEC_NO_FLAGS)
4931 if (! bfd_set_section_flags (stdoutput, sec, flags))
4932 as_bad (_("error setting flags for \"%s\": %s"),
4933 bfd_section_name (stdoutput, sec),
4934 bfd_errmsg (bfd_get_error ()));
4937 bfd_set_section_alignment (stdoutput, sec, align);
4940 static void
4941 ppc_pe_function (int ignore ATTRIBUTE_UNUSED)
4943 char *name;
4944 char endc;
4945 symbolS *ext_sym;
4947 name = input_line_pointer;
4948 endc = get_symbol_end ();
4950 ext_sym = symbol_find_or_make (name);
4952 *input_line_pointer = endc;
4954 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
4955 SF_SET_FUNCTION (ext_sym);
4956 SF_SET_PROCESS (ext_sym);
4957 coff_add_linesym (ext_sym);
4959 demand_empty_rest_of_line ();
4962 static void
4963 ppc_pe_tocd (int ignore ATTRIBUTE_UNUSED)
4965 if (tocdata_section == 0)
4967 tocdata_section = subseg_new (".tocd", 0);
4968 /* FIXME: section flags won't work. */
4969 bfd_set_section_flags (stdoutput, tocdata_section,
4970 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4971 | SEC_READONLY | SEC_DATA));
4973 bfd_set_section_alignment (stdoutput, tocdata_section, 2);
4975 else
4977 rdata_section = subseg_new (".tocd", 0);
4980 ppc_set_current_section (tocdata_section);
4982 demand_empty_rest_of_line ();
4985 /* Don't adjust TOC relocs to use the section symbol. */
4988 ppc_pe_fix_adjustable (fixS *fix)
4990 return fix->fx_r_type != BFD_RELOC_PPC_TOC16;
4993 #endif
4995 #ifdef OBJ_XCOFF
4997 /* XCOFF specific symbol and file handling. */
4999 /* Canonicalize the symbol name. We use the to force the suffix, if
5000 any, to use square brackets, and to be in upper case. */
5002 char *
5003 ppc_canonicalize_symbol_name (char *name)
5005 char *s;
5007 if (ppc_stab_symbol)
5008 return name;
5010 for (s = name; *s != '\0' && *s != '{' && *s != '['; s++)
5012 if (*s != '\0')
5014 char brac;
5016 if (*s == '[')
5017 brac = ']';
5018 else
5020 *s = '[';
5021 brac = '}';
5024 for (s++; *s != '\0' && *s != brac; s++)
5025 *s = TOUPPER (*s);
5027 if (*s == '\0' || s[1] != '\0')
5028 as_bad (_("bad symbol suffix"));
5030 *s = ']';
5033 return name;
5036 /* Set the class of a symbol based on the suffix, if any. This is
5037 called whenever a new symbol is created. */
5039 void
5040 ppc_symbol_new_hook (symbolS *sym)
5042 struct ppc_tc_sy *tc;
5043 const char *s;
5045 tc = symbol_get_tc (sym);
5046 tc->next = NULL;
5047 tc->output = 0;
5048 tc->class = -1;
5049 tc->real_name = NULL;
5050 tc->subseg = 0;
5051 tc->align = 0;
5052 tc->size = NULL;
5053 tc->within = NULL;
5055 if (ppc_stab_symbol)
5056 return;
5058 s = strchr (S_GET_NAME (sym), '[');
5059 if (s == (const char *) NULL)
5061 /* There is no suffix. */
5062 return;
5065 ++s;
5067 switch (s[0])
5069 case 'B':
5070 if (strcmp (s, "BS]") == 0)
5071 tc->class = XMC_BS;
5072 break;
5073 case 'D':
5074 if (strcmp (s, "DB]") == 0)
5075 tc->class = XMC_DB;
5076 else if (strcmp (s, "DS]") == 0)
5077 tc->class = XMC_DS;
5078 break;
5079 case 'G':
5080 if (strcmp (s, "GL]") == 0)
5081 tc->class = XMC_GL;
5082 break;
5083 case 'P':
5084 if (strcmp (s, "PR]") == 0)
5085 tc->class = XMC_PR;
5086 break;
5087 case 'R':
5088 if (strcmp (s, "RO]") == 0)
5089 tc->class = XMC_RO;
5090 else if (strcmp (s, "RW]") == 0)
5091 tc->class = XMC_RW;
5092 break;
5093 case 'S':
5094 if (strcmp (s, "SV]") == 0)
5095 tc->class = XMC_SV;
5096 break;
5097 case 'T':
5098 if (strcmp (s, "TC]") == 0)
5099 tc->class = XMC_TC;
5100 else if (strcmp (s, "TI]") == 0)
5101 tc->class = XMC_TI;
5102 else if (strcmp (s, "TB]") == 0)
5103 tc->class = XMC_TB;
5104 else if (strcmp (s, "TC0]") == 0 || strcmp (s, "T0]") == 0)
5105 tc->class = XMC_TC0;
5106 break;
5107 case 'U':
5108 if (strcmp (s, "UA]") == 0)
5109 tc->class = XMC_UA;
5110 else if (strcmp (s, "UC]") == 0)
5111 tc->class = XMC_UC;
5112 break;
5113 case 'X':
5114 if (strcmp (s, "XO]") == 0)
5115 tc->class = XMC_XO;
5116 break;
5119 if (tc->class == -1)
5120 as_bad (_("Unrecognized symbol suffix"));
5123 /* Set the class of a label based on where it is defined. This
5124 handles symbols without suffixes. Also, move the symbol so that it
5125 follows the csect symbol. */
5127 void
5128 ppc_frob_label (symbolS *sym)
5130 if (ppc_current_csect != (symbolS *) NULL)
5132 if (symbol_get_tc (sym)->class == -1)
5133 symbol_get_tc (sym)->class = symbol_get_tc (ppc_current_csect)->class;
5135 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
5136 symbol_append (sym, symbol_get_tc (ppc_current_csect)->within,
5137 &symbol_rootP, &symbol_lastP);
5138 symbol_get_tc (ppc_current_csect)->within = sym;
5141 #ifdef OBJ_ELF
5142 dwarf2_emit_label (sym);
5143 #endif
5146 /* This variable is set by ppc_frob_symbol if any absolute symbols are
5147 seen. It tells ppc_adjust_symtab whether it needs to look through
5148 the symbols. */
5150 static bfd_boolean ppc_saw_abs;
5152 /* Change the name of a symbol just before writing it out. Set the
5153 real name if the .rename pseudo-op was used. Otherwise, remove any
5154 class suffix. Return 1 if the symbol should not be included in the
5155 symbol table. */
5158 ppc_frob_symbol (symbolS *sym)
5160 static symbolS *ppc_last_function;
5161 static symbolS *set_end;
5163 /* Discard symbols that should not be included in the output symbol
5164 table. */
5165 if (! symbol_used_in_reloc_p (sym)
5166 && ((symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) != 0
5167 || (! (S_IS_EXTERNAL (sym) || S_IS_WEAK (sym))
5168 && ! symbol_get_tc (sym)->output
5169 && S_GET_STORAGE_CLASS (sym) != C_FILE)))
5170 return 1;
5172 /* This one will disappear anyway. Don't make a csect sym for it. */
5173 if (sym == abs_section_sym)
5174 return 1;
5176 if (symbol_get_tc (sym)->real_name != (char *) NULL)
5177 S_SET_NAME (sym, symbol_get_tc (sym)->real_name);
5178 else
5180 const char *name;
5181 const char *s;
5183 name = S_GET_NAME (sym);
5184 s = strchr (name, '[');
5185 if (s != (char *) NULL)
5187 unsigned int len;
5188 char *snew;
5190 len = s - name;
5191 snew = xmalloc (len + 1);
5192 memcpy (snew, name, len);
5193 snew[len] = '\0';
5195 S_SET_NAME (sym, snew);
5199 if (set_end != (symbolS *) NULL)
5201 SA_SET_SYM_ENDNDX (set_end, sym);
5202 set_end = NULL;
5205 if (SF_GET_FUNCTION (sym))
5207 if (ppc_last_function != (symbolS *) NULL)
5208 as_bad (_("two .function pseudo-ops with no intervening .ef"));
5209 ppc_last_function = sym;
5210 if (symbol_get_tc (sym)->size != (symbolS *) NULL)
5212 resolve_symbol_value (symbol_get_tc (sym)->size);
5213 SA_SET_SYM_FSIZE (sym,
5214 (long) S_GET_VALUE (symbol_get_tc (sym)->size));
5217 else if (S_GET_STORAGE_CLASS (sym) == C_FCN
5218 && strcmp (S_GET_NAME (sym), ".ef") == 0)
5220 if (ppc_last_function == (symbolS *) NULL)
5221 as_bad (_(".ef with no preceding .function"));
5222 else
5224 set_end = ppc_last_function;
5225 ppc_last_function = NULL;
5227 /* We don't have a C_EFCN symbol, but we need to force the
5228 COFF backend to believe that it has seen one. */
5229 coff_last_function = NULL;
5233 if (! (S_IS_EXTERNAL (sym) || S_IS_WEAK (sym))
5234 && (symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) == 0
5235 && S_GET_STORAGE_CLASS (sym) != C_FILE
5236 && S_GET_STORAGE_CLASS (sym) != C_FCN
5237 && S_GET_STORAGE_CLASS (sym) != C_BLOCK
5238 && S_GET_STORAGE_CLASS (sym) != C_BSTAT
5239 && S_GET_STORAGE_CLASS (sym) != C_ESTAT
5240 && S_GET_STORAGE_CLASS (sym) != C_BINCL
5241 && S_GET_STORAGE_CLASS (sym) != C_EINCL
5242 && S_GET_SEGMENT (sym) != ppc_coff_debug_section)
5243 S_SET_STORAGE_CLASS (sym, C_HIDEXT);
5245 if (S_GET_STORAGE_CLASS (sym) == C_EXT
5246 || S_GET_STORAGE_CLASS (sym) == C_HIDEXT)
5248 int i;
5249 union internal_auxent *a;
5251 /* Create a csect aux. */
5252 i = S_GET_NUMBER_AUXILIARY (sym);
5253 S_SET_NUMBER_AUXILIARY (sym, i + 1);
5254 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].u.auxent;
5255 if (symbol_get_tc (sym)->class == XMC_TC0)
5257 /* This is the TOC table. */
5258 know (strcmp (S_GET_NAME (sym), "TOC") == 0);
5259 a->x_csect.x_scnlen.l = 0;
5260 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
5262 else if (symbol_get_tc (sym)->subseg != 0)
5264 /* This is a csect symbol. x_scnlen is the size of the
5265 csect. */
5266 if (symbol_get_tc (sym)->next == (symbolS *) NULL)
5267 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
5268 S_GET_SEGMENT (sym))
5269 - S_GET_VALUE (sym));
5270 else
5272 resolve_symbol_value (symbol_get_tc (sym)->next);
5273 a->x_csect.x_scnlen.l = (S_GET_VALUE (symbol_get_tc (sym)->next)
5274 - S_GET_VALUE (sym));
5276 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_SD;
5278 else if (S_GET_SEGMENT (sym) == bss_section)
5280 /* This is a common symbol. */
5281 a->x_csect.x_scnlen.l = symbol_get_frag (sym)->fr_offset;
5282 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_CM;
5283 if (S_IS_EXTERNAL (sym))
5284 symbol_get_tc (sym)->class = XMC_RW;
5285 else
5286 symbol_get_tc (sym)->class = XMC_BS;
5288 else if (S_GET_SEGMENT (sym) == absolute_section)
5290 /* This is an absolute symbol. The csect will be created by
5291 ppc_adjust_symtab. */
5292 ppc_saw_abs = TRUE;
5293 a->x_csect.x_smtyp = XTY_LD;
5294 if (symbol_get_tc (sym)->class == -1)
5295 symbol_get_tc (sym)->class = XMC_XO;
5297 else if (! S_IS_DEFINED (sym))
5299 /* This is an external symbol. */
5300 a->x_csect.x_scnlen.l = 0;
5301 a->x_csect.x_smtyp = XTY_ER;
5303 else if (symbol_get_tc (sym)->class == XMC_TC)
5305 symbolS *next;
5307 /* This is a TOC definition. x_scnlen is the size of the
5308 TOC entry. */
5309 next = symbol_next (sym);
5310 while (symbol_get_tc (next)->class == XMC_TC0)
5311 next = symbol_next (next);
5312 if (next == (symbolS *) NULL
5313 || symbol_get_tc (next)->class != XMC_TC)
5315 if (ppc_after_toc_frag == (fragS *) NULL)
5316 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
5317 data_section)
5318 - S_GET_VALUE (sym));
5319 else
5320 a->x_csect.x_scnlen.l = (ppc_after_toc_frag->fr_address
5321 - S_GET_VALUE (sym));
5323 else
5325 resolve_symbol_value (next);
5326 a->x_csect.x_scnlen.l = (S_GET_VALUE (next)
5327 - S_GET_VALUE (sym));
5329 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
5331 else
5333 symbolS *csect;
5335 /* This is a normal symbol definition. x_scnlen is the
5336 symbol index of the containing csect. */
5337 if (S_GET_SEGMENT (sym) == text_section)
5338 csect = ppc_text_csects;
5339 else if (S_GET_SEGMENT (sym) == data_section)
5340 csect = ppc_data_csects;
5341 else
5342 abort ();
5344 /* Skip the initial dummy symbol. */
5345 csect = symbol_get_tc (csect)->next;
5347 if (csect == (symbolS *) NULL)
5349 as_warn (_("warning: symbol %s has no csect"), S_GET_NAME (sym));
5350 a->x_csect.x_scnlen.l = 0;
5352 else
5354 while (symbol_get_tc (csect)->next != (symbolS *) NULL)
5356 resolve_symbol_value (symbol_get_tc (csect)->next);
5357 if (S_GET_VALUE (symbol_get_tc (csect)->next)
5358 > S_GET_VALUE (sym))
5359 break;
5360 csect = symbol_get_tc (csect)->next;
5363 a->x_csect.x_scnlen.p =
5364 coffsymbol (symbol_get_bfdsym (csect))->native;
5365 coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].fix_scnlen =
5368 a->x_csect.x_smtyp = XTY_LD;
5371 a->x_csect.x_parmhash = 0;
5372 a->x_csect.x_snhash = 0;
5373 if (symbol_get_tc (sym)->class == -1)
5374 a->x_csect.x_smclas = XMC_PR;
5375 else
5376 a->x_csect.x_smclas = symbol_get_tc (sym)->class;
5377 a->x_csect.x_stab = 0;
5378 a->x_csect.x_snstab = 0;
5380 /* Don't let the COFF backend resort these symbols. */
5381 symbol_get_bfdsym (sym)->flags |= BSF_NOT_AT_END;
5383 else if (S_GET_STORAGE_CLASS (sym) == C_BSTAT)
5385 /* We want the value to be the symbol index of the referenced
5386 csect symbol. BFD will do that for us if we set the right
5387 flags. */
5388 asymbol *bsym = symbol_get_bfdsym (symbol_get_tc (sym)->within);
5389 combined_entry_type *c = coffsymbol (bsym)->native;
5391 S_SET_VALUE (sym, (valueT) (size_t) c);
5392 coffsymbol (symbol_get_bfdsym (sym))->native->fix_value = 1;
5394 else if (S_GET_STORAGE_CLASS (sym) == C_STSYM)
5396 symbolS *block;
5397 symbolS *csect;
5399 /* The value is the offset from the enclosing csect. */
5400 block = symbol_get_tc (sym)->within;
5401 csect = symbol_get_tc (block)->within;
5402 resolve_symbol_value (csect);
5403 S_SET_VALUE (sym, S_GET_VALUE (sym) - S_GET_VALUE (csect));
5405 else if (S_GET_STORAGE_CLASS (sym) == C_BINCL
5406 || S_GET_STORAGE_CLASS (sym) == C_EINCL)
5408 /* We want the value to be a file offset into the line numbers.
5409 BFD will do that for us if we set the right flags. We have
5410 already set the value correctly. */
5411 coffsymbol (symbol_get_bfdsym (sym))->native->fix_line = 1;
5414 return 0;
5417 /* Adjust the symbol table. This creates csect symbols for all
5418 absolute symbols. */
5420 void
5421 ppc_adjust_symtab (void)
5423 symbolS *sym;
5425 if (! ppc_saw_abs)
5426 return;
5428 for (sym = symbol_rootP; sym != NULL; sym = symbol_next (sym))
5430 symbolS *csect;
5431 int i;
5432 union internal_auxent *a;
5434 if (S_GET_SEGMENT (sym) != absolute_section)
5435 continue;
5437 csect = symbol_create (".abs[XO]", absolute_section,
5438 S_GET_VALUE (sym), &zero_address_frag);
5439 symbol_get_bfdsym (csect)->value = S_GET_VALUE (sym);
5440 S_SET_STORAGE_CLASS (csect, C_HIDEXT);
5441 i = S_GET_NUMBER_AUXILIARY (csect);
5442 S_SET_NUMBER_AUXILIARY (csect, i + 1);
5443 a = &coffsymbol (symbol_get_bfdsym (csect))->native[i + 1].u.auxent;
5444 a->x_csect.x_scnlen.l = 0;
5445 a->x_csect.x_smtyp = XTY_SD;
5446 a->x_csect.x_parmhash = 0;
5447 a->x_csect.x_snhash = 0;
5448 a->x_csect.x_smclas = XMC_XO;
5449 a->x_csect.x_stab = 0;
5450 a->x_csect.x_snstab = 0;
5452 symbol_insert (csect, sym, &symbol_rootP, &symbol_lastP);
5454 i = S_GET_NUMBER_AUXILIARY (sym);
5455 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i].u.auxent;
5456 a->x_csect.x_scnlen.p = coffsymbol (symbol_get_bfdsym (csect))->native;
5457 coffsymbol (symbol_get_bfdsym (sym))->native[i].fix_scnlen = 1;
5460 ppc_saw_abs = FALSE;
5463 /* Set the VMA for a section. This is called on all the sections in
5464 turn. */
5466 void
5467 ppc_frob_section (asection *sec)
5469 static bfd_vma vma = 0;
5471 vma = md_section_align (sec, vma);
5472 bfd_set_section_vma (stdoutput, sec, vma);
5473 vma += bfd_section_size (stdoutput, sec);
5476 #endif /* OBJ_XCOFF */
5478 char *
5479 md_atof (int type, char *litp, int *sizep)
5481 return ieee_md_atof (type, litp, sizep, target_big_endian);
5484 /* Write a value out to the object file, using the appropriate
5485 endianness. */
5487 void
5488 md_number_to_chars (char *buf, valueT val, int n)
5490 if (target_big_endian)
5491 number_to_chars_bigendian (buf, val, n);
5492 else
5493 number_to_chars_littleendian (buf, val, n);
5496 /* Align a section (I don't know why this is machine dependent). */
5498 valueT
5499 md_section_align (asection *seg ATTRIBUTE_UNUSED, valueT addr)
5501 #ifdef OBJ_ELF
5502 return addr;
5503 #else
5504 int align = bfd_get_section_alignment (stdoutput, seg);
5506 return ((addr + (1 << align) - 1) & (-1 << align));
5507 #endif
5510 /* We don't have any form of relaxing. */
5513 md_estimate_size_before_relax (fragS *fragp ATTRIBUTE_UNUSED,
5514 asection *seg ATTRIBUTE_UNUSED)
5516 abort ();
5517 return 0;
5520 /* Convert a machine dependent frag. We never generate these. */
5522 void
5523 md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED,
5524 asection *sec ATTRIBUTE_UNUSED,
5525 fragS *fragp ATTRIBUTE_UNUSED)
5527 abort ();
5530 /* We have no need to default values of symbols. */
5532 symbolS *
5533 md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
5535 return 0;
5538 /* Functions concerning relocs. */
5540 /* The location from which a PC relative jump should be calculated,
5541 given a PC relative reloc. */
5543 long
5544 md_pcrel_from_section (fixS *fixp, segT sec ATTRIBUTE_UNUSED)
5546 return fixp->fx_frag->fr_address + fixp->fx_where;
5549 #ifdef OBJ_XCOFF
5551 /* This is called to see whether a fixup should be adjusted to use a
5552 section symbol. We take the opportunity to change a fixup against
5553 a symbol in the TOC subsegment into a reloc against the
5554 corresponding .tc symbol. */
5557 ppc_fix_adjustable (fixS *fix)
5559 valueT val = resolve_symbol_value (fix->fx_addsy);
5560 segT symseg = S_GET_SEGMENT (fix->fx_addsy);
5561 TC_SYMFIELD_TYPE *tc;
5563 if (symseg == absolute_section)
5564 return 0;
5566 if (ppc_toc_csect != (symbolS *) NULL
5567 && fix->fx_addsy != ppc_toc_csect
5568 && symseg == data_section
5569 && val >= ppc_toc_frag->fr_address
5570 && (ppc_after_toc_frag == (fragS *) NULL
5571 || val < ppc_after_toc_frag->fr_address))
5573 symbolS *sy;
5575 for (sy = symbol_next (ppc_toc_csect);
5576 sy != (symbolS *) NULL;
5577 sy = symbol_next (sy))
5579 TC_SYMFIELD_TYPE *sy_tc = symbol_get_tc (sy);
5581 if (sy_tc->class == XMC_TC0)
5582 continue;
5583 if (sy_tc->class != XMC_TC)
5584 break;
5585 if (val == resolve_symbol_value (sy))
5587 fix->fx_addsy = sy;
5588 fix->fx_addnumber = val - ppc_toc_frag->fr_address;
5589 return 0;
5593 as_bad_where (fix->fx_file, fix->fx_line,
5594 _("symbol in .toc does not match any .tc"));
5597 /* Possibly adjust the reloc to be against the csect. */
5598 tc = symbol_get_tc (fix->fx_addsy);
5599 if (tc->subseg == 0
5600 && tc->class != XMC_TC0
5601 && tc->class != XMC_TC
5602 && symseg != bss_section
5603 /* Don't adjust if this is a reloc in the toc section. */
5604 && (symseg != data_section
5605 || ppc_toc_csect == NULL
5606 || val < ppc_toc_frag->fr_address
5607 || (ppc_after_toc_frag != NULL
5608 && val >= ppc_after_toc_frag->fr_address)))
5610 symbolS *csect;
5611 symbolS *next_csect;
5613 if (symseg == text_section)
5614 csect = ppc_text_csects;
5615 else if (symseg == data_section)
5616 csect = ppc_data_csects;
5617 else
5618 abort ();
5620 /* Skip the initial dummy symbol. */
5621 csect = symbol_get_tc (csect)->next;
5623 if (csect != (symbolS *) NULL)
5625 while ((next_csect = symbol_get_tc (csect)->next) != (symbolS *) NULL
5626 && (symbol_get_frag (next_csect)->fr_address <= val))
5628 /* If the csect address equals the symbol value, then we
5629 have to look through the full symbol table to see
5630 whether this is the csect we want. Note that we will
5631 only get here if the csect has zero length. */
5632 if (symbol_get_frag (csect)->fr_address == val
5633 && S_GET_VALUE (csect) == val)
5635 symbolS *scan;
5637 for (scan = symbol_next (csect);
5638 scan != NULL;
5639 scan = symbol_next (scan))
5641 if (symbol_get_tc (scan)->subseg != 0)
5642 break;
5643 if (scan == fix->fx_addsy)
5644 break;
5647 /* If we found the symbol before the next csect
5648 symbol, then this is the csect we want. */
5649 if (scan == fix->fx_addsy)
5650 break;
5653 csect = next_csect;
5656 fix->fx_offset += val - symbol_get_frag (csect)->fr_address;
5657 fix->fx_addsy = csect;
5659 return 0;
5662 /* Adjust a reloc against a .lcomm symbol to be against the base
5663 .lcomm. */
5664 if (symseg == bss_section
5665 && ! S_IS_EXTERNAL (fix->fx_addsy))
5667 symbolS *sy = symbol_get_frag (fix->fx_addsy)->fr_symbol;
5669 fix->fx_offset += val - resolve_symbol_value (sy);
5670 fix->fx_addsy = sy;
5673 return 0;
5676 /* A reloc from one csect to another must be kept. The assembler
5677 will, of course, keep relocs between sections, and it will keep
5678 absolute relocs, but we need to force it to keep PC relative relocs
5679 between two csects in the same section. */
5682 ppc_force_relocation (fixS *fix)
5684 /* At this point fix->fx_addsy should already have been converted to
5685 a csect symbol. If the csect does not include the fragment, then
5686 we need to force the relocation. */
5687 if (fix->fx_pcrel
5688 && fix->fx_addsy != NULL
5689 && symbol_get_tc (fix->fx_addsy)->subseg != 0
5690 && ((symbol_get_frag (fix->fx_addsy)->fr_address
5691 > fix->fx_frag->fr_address)
5692 || (symbol_get_tc (fix->fx_addsy)->next != NULL
5693 && (symbol_get_frag (symbol_get_tc (fix->fx_addsy)->next)->fr_address
5694 <= fix->fx_frag->fr_address))))
5695 return 1;
5697 return generic_force_reloc (fix);
5700 #endif /* OBJ_XCOFF */
5702 #ifdef OBJ_ELF
5703 /* If this function returns non-zero, it guarantees that a relocation
5704 will be emitted for a fixup. */
5707 ppc_force_relocation (fixS *fix)
5709 /* Branch prediction relocations must force a relocation, as must
5710 the vtable description relocs. */
5711 switch (fix->fx_r_type)
5713 case BFD_RELOC_PPC_B16_BRTAKEN:
5714 case BFD_RELOC_PPC_B16_BRNTAKEN:
5715 case BFD_RELOC_PPC_BA16_BRTAKEN:
5716 case BFD_RELOC_PPC_BA16_BRNTAKEN:
5717 case BFD_RELOC_24_PLT_PCREL:
5718 case BFD_RELOC_PPC64_TOC:
5719 return 1;
5720 default:
5721 break;
5724 if (fix->fx_r_type >= BFD_RELOC_PPC_TLS
5725 && fix->fx_r_type <= BFD_RELOC_PPC64_DTPREL16_HIGHESTA)
5726 return 1;
5728 return generic_force_reloc (fix);
5732 ppc_fix_adjustable (fixS *fix)
5734 return (fix->fx_r_type != BFD_RELOC_16_GOTOFF
5735 && fix->fx_r_type != BFD_RELOC_LO16_GOTOFF
5736 && fix->fx_r_type != BFD_RELOC_HI16_GOTOFF
5737 && fix->fx_r_type != BFD_RELOC_HI16_S_GOTOFF
5738 && fix->fx_r_type != BFD_RELOC_GPREL16
5739 && fix->fx_r_type != BFD_RELOC_VTABLE_INHERIT
5740 && fix->fx_r_type != BFD_RELOC_VTABLE_ENTRY
5741 && !(fix->fx_r_type >= BFD_RELOC_PPC_TLS
5742 && fix->fx_r_type <= BFD_RELOC_PPC64_DTPREL16_HIGHESTA));
5744 #endif
5746 /* Implement HANDLE_ALIGN. This writes the NOP pattern into an
5747 rs_align_code frag. */
5749 void
5750 ppc_handle_align (struct frag *fragP)
5752 valueT count = (fragP->fr_next->fr_address
5753 - (fragP->fr_address + fragP->fr_fix));
5755 if (count != 0 && (count & 3) == 0)
5757 char *dest = fragP->fr_literal + fragP->fr_fix;
5759 fragP->fr_var = 4;
5760 md_number_to_chars (dest, 0x60000000, 4);
5762 if ((ppc_cpu & PPC_OPCODE_POWER6) != 0)
5764 /* For power6, we want the last nop to be a group terminating
5765 one, "ori 1,1,0". Do this by inserting an rs_fill frag
5766 immediately after this one, with its address set to the last
5767 nop location. This will automatically reduce the number of
5768 nops in the current frag by one. */
5769 if (count > 4)
5771 struct frag *group_nop = xmalloc (SIZEOF_STRUCT_FRAG + 4);
5773 memcpy (group_nop, fragP, SIZEOF_STRUCT_FRAG);
5774 group_nop->fr_address = group_nop->fr_next->fr_address - 4;
5775 group_nop->fr_fix = 0;
5776 group_nop->fr_offset = 1;
5777 group_nop->fr_type = rs_fill;
5778 fragP->fr_next = group_nop;
5779 dest = group_nop->fr_literal;
5782 md_number_to_chars (dest, 0x60210000, 4);
5787 /* Apply a fixup to the object code. This is called for all the
5788 fixups we generated by the call to fix_new_exp, above. In the call
5789 above we used a reloc code which was the largest legal reloc code
5790 plus the operand index. Here we undo that to recover the operand
5791 index. At this point all symbol values should be fully resolved,
5792 and we attempt to completely resolve the reloc. If we can not do
5793 that, we determine the correct reloc code and put it back in the
5794 fixup. */
5796 void
5797 md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED)
5799 valueT value = * valP;
5801 #ifdef OBJ_ELF
5802 if (fixP->fx_addsy != NULL)
5804 /* Hack around bfd_install_relocation brain damage. */
5805 if (fixP->fx_pcrel)
5806 value += fixP->fx_frag->fr_address + fixP->fx_where;
5808 else
5809 fixP->fx_done = 1;
5810 #else
5811 /* FIXME FIXME FIXME: The value we are passed in *valP includes
5812 the symbol values. If we are doing this relocation the code in
5813 write.c is going to call bfd_install_relocation, which is also
5814 going to use the symbol value. That means that if the reloc is
5815 fully resolved we want to use *valP since bfd_install_relocation is
5816 not being used.
5817 However, if the reloc is not fully resolved we do not want to use
5818 *valP, and must use fx_offset instead. However, if the reloc
5819 is PC relative, we do want to use *valP since it includes the
5820 result of md_pcrel_from. This is confusing. */
5821 if (fixP->fx_addsy == (symbolS *) NULL)
5822 fixP->fx_done = 1;
5824 else if (fixP->fx_pcrel)
5827 else
5828 value = fixP->fx_offset;
5829 #endif
5831 if (fixP->fx_subsy != (symbolS *) NULL)
5833 /* We can't actually support subtracting a symbol. */
5834 as_bad_where (fixP->fx_file, fixP->fx_line, _("expression too complex"));
5837 if ((int) fixP->fx_r_type >= (int) BFD_RELOC_UNUSED)
5839 int opindex;
5840 const struct powerpc_operand *operand;
5841 char *where;
5842 unsigned long insn;
5844 opindex = (int) fixP->fx_r_type - (int) BFD_RELOC_UNUSED;
5846 operand = &powerpc_operands[opindex];
5848 #ifdef OBJ_XCOFF
5849 /* An instruction like `lwz 9,sym(30)' when `sym' is not a TOC symbol
5850 does not generate a reloc. It uses the offset of `sym' within its
5851 csect. Other usages, such as `.long sym', generate relocs. This
5852 is the documented behaviour of non-TOC symbols. */
5853 if ((operand->flags & PPC_OPERAND_PARENS) != 0
5854 && (operand->bitm & 0xfff0) == 0xfff0
5855 && operand->shift == 0
5856 && (operand->insert == NULL || ppc_obj64)
5857 && fixP->fx_addsy != NULL
5858 && symbol_get_tc (fixP->fx_addsy)->subseg != 0
5859 && symbol_get_tc (fixP->fx_addsy)->class != XMC_TC
5860 && symbol_get_tc (fixP->fx_addsy)->class != XMC_TC0
5861 && S_GET_SEGMENT (fixP->fx_addsy) != bss_section)
5863 value = fixP->fx_offset;
5864 fixP->fx_done = 1;
5866 #endif
5868 /* Fetch the instruction, insert the fully resolved operand
5869 value, and stuff the instruction back again. */
5870 where = fixP->fx_frag->fr_literal + fixP->fx_where;
5871 if (target_big_endian)
5872 insn = bfd_getb32 ((unsigned char *) where);
5873 else
5874 insn = bfd_getl32 ((unsigned char *) where);
5875 insn = ppc_insert_operand (insn, operand, (offsetT) value,
5876 fixP->tc_fix_data.ppc_cpu,
5877 fixP->fx_file, fixP->fx_line);
5878 if (target_big_endian)
5879 bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
5880 else
5881 bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
5883 if (fixP->fx_done)
5884 /* Nothing else to do here. */
5885 return;
5887 assert (fixP->fx_addsy != NULL);
5889 /* Determine a BFD reloc value based on the operand information.
5890 We are only prepared to turn a few of the operands into
5891 relocs. */
5892 if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
5893 && operand->bitm == 0x3fffffc
5894 && operand->shift == 0)
5895 fixP->fx_r_type = BFD_RELOC_PPC_B26;
5896 else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
5897 && operand->bitm == 0xfffc
5898 && operand->shift == 0)
5900 fixP->fx_r_type = BFD_RELOC_PPC_B16;
5901 #ifdef OBJ_XCOFF
5902 fixP->fx_size = 2;
5903 if (target_big_endian)
5904 fixP->fx_where += 2;
5905 #endif
5907 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
5908 && operand->bitm == 0x3fffffc
5909 && operand->shift == 0)
5910 fixP->fx_r_type = BFD_RELOC_PPC_BA26;
5911 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
5912 && operand->bitm == 0xfffc
5913 && operand->shift == 0)
5915 fixP->fx_r_type = BFD_RELOC_PPC_BA16;
5916 #ifdef OBJ_XCOFF
5917 fixP->fx_size = 2;
5918 if (target_big_endian)
5919 fixP->fx_where += 2;
5920 #endif
5922 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
5923 else if ((operand->flags & PPC_OPERAND_PARENS) != 0
5924 && (operand->bitm & 0xfff0) == 0xfff0
5925 && operand->shift == 0)
5927 if (ppc_is_toc_sym (fixP->fx_addsy))
5929 fixP->fx_r_type = BFD_RELOC_PPC_TOC16;
5930 #ifdef OBJ_ELF
5931 if (ppc_obj64
5932 && (operand->flags & PPC_OPERAND_DS) != 0)
5933 fixP->fx_r_type = BFD_RELOC_PPC64_TOC16_DS;
5934 #endif
5936 else
5938 fixP->fx_r_type = BFD_RELOC_16;
5939 #ifdef OBJ_ELF
5940 if (ppc_obj64
5941 && (operand->flags & PPC_OPERAND_DS) != 0)
5942 fixP->fx_r_type = BFD_RELOC_PPC64_ADDR16_DS;
5943 #endif
5945 fixP->fx_size = 2;
5946 if (target_big_endian)
5947 fixP->fx_where += 2;
5949 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
5950 else
5952 char *sfile;
5953 unsigned int sline;
5955 /* Use expr_symbol_where to see if this is an expression
5956 symbol. */
5957 if (expr_symbol_where (fixP->fx_addsy, &sfile, &sline))
5958 as_bad_where (fixP->fx_file, fixP->fx_line,
5959 _("unresolved expression that must be resolved"));
5960 else
5961 as_bad_where (fixP->fx_file, fixP->fx_line,
5962 _("unsupported relocation against %s"),
5963 S_GET_NAME (fixP->fx_addsy));
5964 fixP->fx_done = 1;
5965 return;
5968 else
5970 #ifdef OBJ_ELF
5971 ppc_elf_validate_fix (fixP, seg);
5972 #endif
5973 switch (fixP->fx_r_type)
5975 case BFD_RELOC_CTOR:
5976 if (ppc_obj64)
5977 goto ctor64;
5978 /* fall through */
5980 case BFD_RELOC_32:
5981 if (fixP->fx_pcrel)
5982 fixP->fx_r_type = BFD_RELOC_32_PCREL;
5983 /* fall through */
5985 case BFD_RELOC_RVA:
5986 case BFD_RELOC_32_PCREL:
5987 case BFD_RELOC_PPC_EMB_NADDR32:
5988 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5989 value, 4);
5990 break;
5992 case BFD_RELOC_64:
5993 ctor64:
5994 if (fixP->fx_pcrel)
5995 fixP->fx_r_type = BFD_RELOC_64_PCREL;
5996 /* fall through */
5998 case BFD_RELOC_64_PCREL:
5999 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6000 value, 8);
6001 break;
6003 case BFD_RELOC_GPREL16:
6004 case BFD_RELOC_16_GOT_PCREL:
6005 case BFD_RELOC_16_GOTOFF:
6006 case BFD_RELOC_LO16_GOTOFF:
6007 case BFD_RELOC_HI16_GOTOFF:
6008 case BFD_RELOC_HI16_S_GOTOFF:
6009 case BFD_RELOC_16_BASEREL:
6010 case BFD_RELOC_LO16_BASEREL:
6011 case BFD_RELOC_HI16_BASEREL:
6012 case BFD_RELOC_HI16_S_BASEREL:
6013 case BFD_RELOC_PPC_EMB_NADDR16:
6014 case BFD_RELOC_PPC_EMB_NADDR16_LO:
6015 case BFD_RELOC_PPC_EMB_NADDR16_HI:
6016 case BFD_RELOC_PPC_EMB_NADDR16_HA:
6017 case BFD_RELOC_PPC_EMB_SDAI16:
6018 case BFD_RELOC_PPC_EMB_SDA2REL:
6019 case BFD_RELOC_PPC_EMB_SDA2I16:
6020 case BFD_RELOC_PPC_EMB_RELSEC16:
6021 case BFD_RELOC_PPC_EMB_RELST_LO:
6022 case BFD_RELOC_PPC_EMB_RELST_HI:
6023 case BFD_RELOC_PPC_EMB_RELST_HA:
6024 case BFD_RELOC_PPC_EMB_RELSDA:
6025 case BFD_RELOC_PPC_TOC16:
6026 #ifdef OBJ_ELF
6027 case BFD_RELOC_PPC64_TOC16_LO:
6028 case BFD_RELOC_PPC64_TOC16_HI:
6029 case BFD_RELOC_PPC64_TOC16_HA:
6030 #endif
6031 if (fixP->fx_pcrel)
6033 if (fixP->fx_addsy != NULL)
6034 as_bad_where (fixP->fx_file, fixP->fx_line,
6035 _("cannot emit PC relative %s relocation against %s"),
6036 bfd_get_reloc_code_name (fixP->fx_r_type),
6037 S_GET_NAME (fixP->fx_addsy));
6038 else
6039 as_bad_where (fixP->fx_file, fixP->fx_line,
6040 _("cannot emit PC relative %s relocation"),
6041 bfd_get_reloc_code_name (fixP->fx_r_type));
6044 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6045 value, 2);
6046 break;
6048 case BFD_RELOC_16:
6049 if (fixP->fx_pcrel)
6050 fixP->fx_r_type = BFD_RELOC_16_PCREL;
6051 /* fall through */
6053 case BFD_RELOC_16_PCREL:
6054 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6055 value, 2);
6056 break;
6058 case BFD_RELOC_LO16:
6059 if (fixP->fx_pcrel)
6060 fixP->fx_r_type = BFD_RELOC_LO16_PCREL;
6061 /* fall through */
6063 case BFD_RELOC_LO16_PCREL:
6064 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6065 value, 2);
6066 break;
6068 /* This case happens when you write, for example,
6069 lis %r3,(L1-L2)@ha
6070 where L1 and L2 are defined later. */
6071 case BFD_RELOC_HI16:
6072 if (fixP->fx_pcrel)
6073 fixP->fx_r_type = BFD_RELOC_HI16_PCREL;
6074 /* fall through */
6076 case BFD_RELOC_HI16_PCREL:
6077 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6078 PPC_HI (value), 2);
6079 break;
6081 case BFD_RELOC_HI16_S:
6082 if (fixP->fx_pcrel)
6083 fixP->fx_r_type = BFD_RELOC_HI16_S_PCREL;
6084 /* fall through */
6086 case BFD_RELOC_HI16_S_PCREL:
6087 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6088 PPC_HA (value), 2);
6089 break;
6091 #ifdef OBJ_ELF
6092 case BFD_RELOC_PPC64_HIGHER:
6093 if (fixP->fx_pcrel)
6094 abort ();
6095 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6096 PPC_HIGHER (value), 2);
6097 break;
6099 case BFD_RELOC_PPC64_HIGHER_S:
6100 if (fixP->fx_pcrel)
6101 abort ();
6102 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6103 PPC_HIGHERA (value), 2);
6104 break;
6106 case BFD_RELOC_PPC64_HIGHEST:
6107 if (fixP->fx_pcrel)
6108 abort ();
6109 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6110 PPC_HIGHEST (value), 2);
6111 break;
6113 case BFD_RELOC_PPC64_HIGHEST_S:
6114 if (fixP->fx_pcrel)
6115 abort ();
6116 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6117 PPC_HIGHESTA (value), 2);
6118 break;
6120 case BFD_RELOC_PPC64_ADDR16_DS:
6121 case BFD_RELOC_PPC64_ADDR16_LO_DS:
6122 case BFD_RELOC_PPC64_GOT16_DS:
6123 case BFD_RELOC_PPC64_GOT16_LO_DS:
6124 case BFD_RELOC_PPC64_PLT16_LO_DS:
6125 case BFD_RELOC_PPC64_SECTOFF_DS:
6126 case BFD_RELOC_PPC64_SECTOFF_LO_DS:
6127 case BFD_RELOC_PPC64_TOC16_DS:
6128 case BFD_RELOC_PPC64_TOC16_LO_DS:
6129 case BFD_RELOC_PPC64_PLTGOT16_DS:
6130 case BFD_RELOC_PPC64_PLTGOT16_LO_DS:
6131 if (fixP->fx_pcrel)
6132 abort ();
6134 char *where = fixP->fx_frag->fr_literal + fixP->fx_where;
6135 unsigned long val, mask;
6137 if (target_big_endian)
6138 val = bfd_getb32 (where - 2);
6139 else
6140 val = bfd_getl32 (where);
6141 mask = 0xfffc;
6142 /* lq insns reserve the four lsbs. */
6143 if ((ppc_cpu & PPC_OPCODE_POWER4) != 0
6144 && (val & (0x3f << 26)) == (56u << 26))
6145 mask = 0xfff0;
6146 val |= value & mask;
6147 if (target_big_endian)
6148 bfd_putb16 ((bfd_vma) val, where);
6149 else
6150 bfd_putl16 ((bfd_vma) val, where);
6152 break;
6154 case BFD_RELOC_PPC_B16_BRTAKEN:
6155 case BFD_RELOC_PPC_B16_BRNTAKEN:
6156 case BFD_RELOC_PPC_BA16_BRTAKEN:
6157 case BFD_RELOC_PPC_BA16_BRNTAKEN:
6158 break;
6160 case BFD_RELOC_PPC_TLS:
6161 break;
6163 case BFD_RELOC_PPC_DTPMOD:
6164 case BFD_RELOC_PPC_TPREL16:
6165 case BFD_RELOC_PPC_TPREL16_LO:
6166 case BFD_RELOC_PPC_TPREL16_HI:
6167 case BFD_RELOC_PPC_TPREL16_HA:
6168 case BFD_RELOC_PPC_TPREL:
6169 case BFD_RELOC_PPC_DTPREL16:
6170 case BFD_RELOC_PPC_DTPREL16_LO:
6171 case BFD_RELOC_PPC_DTPREL16_HI:
6172 case BFD_RELOC_PPC_DTPREL16_HA:
6173 case BFD_RELOC_PPC_DTPREL:
6174 case BFD_RELOC_PPC_GOT_TLSGD16:
6175 case BFD_RELOC_PPC_GOT_TLSGD16_LO:
6176 case BFD_RELOC_PPC_GOT_TLSGD16_HI:
6177 case BFD_RELOC_PPC_GOT_TLSGD16_HA:
6178 case BFD_RELOC_PPC_GOT_TLSLD16:
6179 case BFD_RELOC_PPC_GOT_TLSLD16_LO:
6180 case BFD_RELOC_PPC_GOT_TLSLD16_HI:
6181 case BFD_RELOC_PPC_GOT_TLSLD16_HA:
6182 case BFD_RELOC_PPC_GOT_TPREL16:
6183 case BFD_RELOC_PPC_GOT_TPREL16_LO:
6184 case BFD_RELOC_PPC_GOT_TPREL16_HI:
6185 case BFD_RELOC_PPC_GOT_TPREL16_HA:
6186 case BFD_RELOC_PPC_GOT_DTPREL16:
6187 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
6188 case BFD_RELOC_PPC_GOT_DTPREL16_HI:
6189 case BFD_RELOC_PPC_GOT_DTPREL16_HA:
6190 case BFD_RELOC_PPC64_TPREL16_DS:
6191 case BFD_RELOC_PPC64_TPREL16_LO_DS:
6192 case BFD_RELOC_PPC64_TPREL16_HIGHER:
6193 case BFD_RELOC_PPC64_TPREL16_HIGHERA:
6194 case BFD_RELOC_PPC64_TPREL16_HIGHEST:
6195 case BFD_RELOC_PPC64_TPREL16_HIGHESTA:
6196 case BFD_RELOC_PPC64_DTPREL16_DS:
6197 case BFD_RELOC_PPC64_DTPREL16_LO_DS:
6198 case BFD_RELOC_PPC64_DTPREL16_HIGHER:
6199 case BFD_RELOC_PPC64_DTPREL16_HIGHERA:
6200 case BFD_RELOC_PPC64_DTPREL16_HIGHEST:
6201 case BFD_RELOC_PPC64_DTPREL16_HIGHESTA:
6202 S_SET_THREAD_LOCAL (fixP->fx_addsy);
6203 break;
6204 #endif
6205 /* Because SDA21 modifies the register field, the size is set to 4
6206 bytes, rather than 2, so offset it here appropriately. */
6207 case BFD_RELOC_PPC_EMB_SDA21:
6208 if (fixP->fx_pcrel)
6209 abort ();
6211 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where
6212 + ((target_big_endian) ? 2 : 0),
6213 value, 2);
6214 break;
6216 case BFD_RELOC_8:
6217 if (fixP->fx_pcrel)
6219 /* This can occur if there is a bug in the input assembler, eg:
6220 ".byte <undefined_symbol> - ." */
6221 if (fixP->fx_addsy)
6222 as_bad (_("Unable to handle reference to symbol %s"),
6223 S_GET_NAME (fixP->fx_addsy));
6224 else
6225 as_bad (_("Unable to resolve expression"));
6226 fixP->fx_done = 1;
6228 else
6229 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6230 value, 1);
6231 break;
6233 case BFD_RELOC_24_PLT_PCREL:
6234 case BFD_RELOC_PPC_LOCAL24PC:
6235 if (!fixP->fx_pcrel && !fixP->fx_done)
6236 abort ();
6238 if (fixP->fx_done)
6240 char *where;
6241 unsigned long insn;
6243 /* Fetch the instruction, insert the fully resolved operand
6244 value, and stuff the instruction back again. */
6245 where = fixP->fx_frag->fr_literal + fixP->fx_where;
6246 if (target_big_endian)
6247 insn = bfd_getb32 ((unsigned char *) where);
6248 else
6249 insn = bfd_getl32 ((unsigned char *) where);
6250 if ((value & 3) != 0)
6251 as_bad_where (fixP->fx_file, fixP->fx_line,
6252 _("must branch to an address a multiple of 4"));
6253 if ((offsetT) value < -0x40000000
6254 || (offsetT) value >= 0x40000000)
6255 as_bad_where (fixP->fx_file, fixP->fx_line,
6256 _("@local or @plt branch destination is too far away, %ld bytes"),
6257 (long) value);
6258 insn = insn | (value & 0x03fffffc);
6259 if (target_big_endian)
6260 bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
6261 else
6262 bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
6264 break;
6266 case BFD_RELOC_VTABLE_INHERIT:
6267 fixP->fx_done = 0;
6268 if (fixP->fx_addsy
6269 && !S_IS_DEFINED (fixP->fx_addsy)
6270 && !S_IS_WEAK (fixP->fx_addsy))
6271 S_SET_WEAK (fixP->fx_addsy);
6272 break;
6274 case BFD_RELOC_VTABLE_ENTRY:
6275 fixP->fx_done = 0;
6276 break;
6278 #ifdef OBJ_ELF
6279 /* Generated by reference to `sym@tocbase'. The sym is
6280 ignored by the linker. */
6281 case BFD_RELOC_PPC64_TOC:
6282 fixP->fx_done = 0;
6283 break;
6284 #endif
6285 default:
6286 fprintf (stderr,
6287 _("Gas failure, reloc value %d\n"), fixP->fx_r_type);
6288 fflush (stderr);
6289 abort ();
6293 #ifdef OBJ_ELF
6294 fixP->fx_addnumber = value;
6296 /* PowerPC uses RELA relocs, ie. the reloc addend is stored separately
6297 from the section contents. If we are going to be emitting a reloc
6298 then the section contents are immaterial, so don't warn if they
6299 happen to overflow. Leave such warnings to ld. */
6300 if (!fixP->fx_done)
6301 fixP->fx_no_overflow = 1;
6302 #else
6303 if (fixP->fx_r_type != BFD_RELOC_PPC_TOC16)
6304 fixP->fx_addnumber = 0;
6305 else
6307 #ifdef TE_PE
6308 fixP->fx_addnumber = 0;
6309 #else
6310 /* We want to use the offset within the toc, not the actual VMA
6311 of the symbol. */
6312 fixP->fx_addnumber =
6313 - bfd_get_section_vma (stdoutput, S_GET_SEGMENT (fixP->fx_addsy))
6314 - S_GET_VALUE (ppc_toc_csect);
6315 #endif
6317 #endif
6320 /* Generate a reloc for a fixup. */
6322 arelent *
6323 tc_gen_reloc (asection *seg ATTRIBUTE_UNUSED, fixS *fixp)
6325 arelent *reloc;
6327 reloc = (arelent *) xmalloc (sizeof (arelent));
6329 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
6330 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
6331 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
6332 reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
6333 if (reloc->howto == (reloc_howto_type *) NULL)
6335 as_bad_where (fixp->fx_file, fixp->fx_line,
6336 _("reloc %d not supported by object file format"),
6337 (int) fixp->fx_r_type);
6338 return NULL;
6340 reloc->addend = fixp->fx_addnumber;
6342 return reloc;
6345 void
6346 ppc_cfi_frame_initial_instructions (void)
6348 cfi_add_CFA_def_cfa (1, 0);
6352 tc_ppc_regname_to_dw2regnum (char *regname)
6354 unsigned int regnum = -1;
6355 unsigned int i;
6356 const char *p;
6357 char *q;
6358 static struct { char *name; int dw2regnum; } regnames[] =
6360 { "sp", 1 }, { "r.sp", 1 }, { "rtoc", 2 }, { "r.toc", 2 },
6361 { "mq", 64 }, { "lr", 65 }, { "ctr", 66 }, { "ap", 67 },
6362 { "cr", 70 }, { "xer", 76 }, { "vrsave", 109 }, { "vscr", 110 },
6363 { "spe_acc", 111 }, { "spefscr", 112 }
6366 for (i = 0; i < ARRAY_SIZE (regnames); ++i)
6367 if (strcmp (regnames[i].name, regname) == 0)
6368 return regnames[i].dw2regnum;
6370 if (regname[0] == 'r' || regname[0] == 'f' || regname[0] == 'v')
6372 p = regname + 1 + (regname[1] == '.');
6373 regnum = strtoul (p, &q, 10);
6374 if (p == q || *q || regnum >= 32)
6375 return -1;
6376 if (regname[0] == 'f')
6377 regnum += 32;
6378 else if (regname[0] == 'v')
6379 regnum += 77;
6381 else if (regname[0] == 'c' && regname[1] == 'r')
6383 p = regname + 2 + (regname[2] == '.');
6384 if (p[0] < '0' || p[0] > '7' || p[1])
6385 return -1;
6386 regnum = p[0] - '0' + 68;
6388 return regnum;