2009-07-02 Tristan Gingold <gingold@adacore.com>
[binutils.git] / gas / config / tc-ppc.c
blob96c40ba710e4e0ee95d3c99170e84ee76dd804cc
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, 2009 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 md_parse_option (int c, char *arg)
1021 ppc_cpu_t new_cpu;
1023 switch (c)
1025 case 'u':
1026 /* -u means that any undefined symbols should be treated as
1027 external, which is the default for gas anyhow. */
1028 break;
1030 #ifdef OBJ_ELF
1031 case 'l':
1032 /* Solaris as takes -le (presumably for little endian). For completeness
1033 sake, recognize -be also. */
1034 if (strcmp (arg, "e") == 0)
1036 target_big_endian = 0;
1037 set_target_endian = 1;
1039 else
1040 return 0;
1042 break;
1044 case 'b':
1045 if (strcmp (arg, "e") == 0)
1047 target_big_endian = 1;
1048 set_target_endian = 1;
1050 else
1051 return 0;
1053 break;
1055 case 'K':
1056 /* Recognize -K PIC. */
1057 if (strcmp (arg, "PIC") == 0 || strcmp (arg, "pic") == 0)
1059 shlib = SHLIB_PIC;
1060 ppc_flags |= EF_PPC_RELOCATABLE_LIB;
1062 else
1063 return 0;
1065 break;
1066 #endif
1068 /* a64 and a32 determine whether to use XCOFF64 or XCOFF32. */
1069 case 'a':
1070 if (strcmp (arg, "64") == 0)
1072 #ifdef BFD64
1073 ppc_obj64 = 1;
1074 #else
1075 as_fatal (_("%s unsupported"), "-a64");
1076 #endif
1078 else if (strcmp (arg, "32") == 0)
1079 ppc_obj64 = 0;
1080 else
1081 return 0;
1082 break;
1084 case 'm':
1085 if ((new_cpu = ppc_parse_cpu (ppc_cpu, arg)) != 0)
1086 ppc_cpu = new_cpu;
1088 else if (strcmp (arg, "regnames") == 0)
1089 reg_names_p = TRUE;
1091 else if (strcmp (arg, "no-regnames") == 0)
1092 reg_names_p = FALSE;
1094 #ifdef OBJ_ELF
1095 /* -mrelocatable/-mrelocatable-lib -- warn about initializations
1096 that require relocation. */
1097 else if (strcmp (arg, "relocatable") == 0)
1099 shlib = SHLIB_MRELOCATABLE;
1100 ppc_flags |= EF_PPC_RELOCATABLE;
1103 else if (strcmp (arg, "relocatable-lib") == 0)
1105 shlib = SHLIB_MRELOCATABLE;
1106 ppc_flags |= EF_PPC_RELOCATABLE_LIB;
1109 /* -memb, set embedded bit. */
1110 else if (strcmp (arg, "emb") == 0)
1111 ppc_flags |= EF_PPC_EMB;
1113 /* -mlittle/-mbig set the endianess. */
1114 else if (strcmp (arg, "little") == 0
1115 || strcmp (arg, "little-endian") == 0)
1117 target_big_endian = 0;
1118 set_target_endian = 1;
1121 else if (strcmp (arg, "big") == 0 || strcmp (arg, "big-endian") == 0)
1123 target_big_endian = 1;
1124 set_target_endian = 1;
1127 else if (strcmp (arg, "solaris") == 0)
1129 msolaris = TRUE;
1130 ppc_comment_chars = ppc_solaris_comment_chars;
1133 else if (strcmp (arg, "no-solaris") == 0)
1135 msolaris = FALSE;
1136 ppc_comment_chars = ppc_eabi_comment_chars;
1138 #endif
1139 else
1141 as_bad (_("invalid switch -m%s"), arg);
1142 return 0;
1144 break;
1146 #ifdef OBJ_ELF
1147 /* -V: SVR4 argument to print version ID. */
1148 case 'V':
1149 print_version_id ();
1150 break;
1152 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
1153 should be emitted or not. FIXME: Not implemented. */
1154 case 'Q':
1155 break;
1157 /* Solaris takes -s to specify that .stabs go in a .stabs section,
1158 rather than .stabs.excl, which is ignored by the linker.
1159 FIXME: Not implemented. */
1160 case 's':
1161 if (arg)
1162 return 0;
1164 break;
1165 #endif
1167 default:
1168 return 0;
1171 return 1;
1174 void
1175 md_show_usage (FILE *stream)
1177 fprintf (stream, _("\
1178 PowerPC options:\n\
1179 -a32 generate ELF32/XCOFF32\n\
1180 -a64 generate ELF64/XCOFF64\n\
1181 -u ignored\n\
1182 -mpwrx, -mpwr2 generate code for POWER/2 (RIOS2)\n\
1183 -mpwr generate code for POWER (RIOS1)\n\
1184 -m601 generate code for PowerPC 601\n\
1185 -mppc, -mppc32, -m603, -m604\n\
1186 generate code for PowerPC 603/604\n\
1187 -m403 generate code for PowerPC 403\n\
1188 -m405 generate code for PowerPC 405\n\
1189 -m440 generate code for PowerPC 440\n\
1190 -m464 generate code for PowerPC 464\n\
1191 -m7400, -m7410, -m7450, -m7455\n\
1192 generate code for PowerPC 7400/7410/7450/7455\n\
1193 -m750cl generate code for PowerPC 750cl\n"));
1194 fprintf (stream, _("\
1195 -mppc64, -m620 generate code for PowerPC 620/625/630\n\
1196 -mppc64bridge generate code for PowerPC 64, including bridge insns\n\
1197 -mbooke generate code for 32-bit PowerPC BookE\n\
1198 -mpower4 generate code for Power4 architecture\n\
1199 -mpower5 generate code for Power5 architecture\n\
1200 -mpower6 generate code for Power6 architecture\n\
1201 -mpower7 generate code for Power7 architecture\n\
1202 -mcell generate code for Cell Broadband Engine architecture\n\
1203 -mcom generate code Power/PowerPC common instructions\n\
1204 -many generate code for any architecture (PWR/PWRX/PPC)\n"));
1205 fprintf (stream, _("\
1206 -maltivec generate code for AltiVec\n\
1207 -mvsx generate code for Vector-Scalar (VSX) instructions\n\
1208 -me300 generate code for PowerPC e300 family\n\
1209 -me500, -me500x2 generate code for Motorola e500 core complex\n\
1210 -me500mc, generate code for Freescale e500mc core complex\n\
1211 -mspe generate code for Motorola SPE instructions\n\
1212 -mregnames Allow symbolic names for registers\n\
1213 -mno-regnames Do not allow symbolic names for registers\n"));
1214 #ifdef OBJ_ELF
1215 fprintf (stream, _("\
1216 -mrelocatable support for GCC's -mrelocatble option\n\
1217 -mrelocatable-lib support for GCC's -mrelocatble-lib option\n\
1218 -memb set PPC_EMB bit in ELF flags\n\
1219 -mlittle, -mlittle-endian, -l, -le\n\
1220 generate code for a little endian machine\n\
1221 -mbig, -mbig-endian, -b, -be\n\
1222 generate code for a big endian machine\n\
1223 -msolaris generate code for Solaris\n\
1224 -mno-solaris do not generate code for Solaris\n\
1225 -V print assembler version number\n\
1226 -Qy, -Qn ignored\n"));
1227 #endif
1230 /* Set ppc_cpu if it is not already set. */
1232 static void
1233 ppc_set_cpu (void)
1235 const char *default_os = TARGET_OS;
1236 const char *default_cpu = TARGET_CPU;
1238 if ((ppc_cpu & ~PPC_OPCODE_ANY) == 0)
1240 if (ppc_obj64)
1241 ppc_cpu |= PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_64;
1242 else if (strncmp (default_os, "aix", 3) == 0
1243 && default_os[3] >= '4' && default_os[3] <= '9')
1244 ppc_cpu |= PPC_OPCODE_COMMON | PPC_OPCODE_32;
1245 else if (strncmp (default_os, "aix3", 4) == 0)
1246 ppc_cpu |= PPC_OPCODE_POWER | PPC_OPCODE_32;
1247 else if (strcmp (default_cpu, "rs6000") == 0)
1248 ppc_cpu |= PPC_OPCODE_POWER | PPC_OPCODE_32;
1249 else if (strncmp (default_cpu, "powerpc", 7) == 0)
1250 ppc_cpu |= PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_32;
1251 else
1252 as_fatal (_("Unknown default cpu = %s, os = %s"),
1253 default_cpu, default_os);
1257 /* Figure out the BFD architecture to use. This function and ppc_mach
1258 are called well before md_begin, when the output file is opened. */
1260 enum bfd_architecture
1261 ppc_arch (void)
1263 const char *default_cpu = TARGET_CPU;
1264 ppc_set_cpu ();
1266 if ((ppc_cpu & PPC_OPCODE_PPC) != 0)
1267 return bfd_arch_powerpc;
1268 else if ((ppc_cpu & PPC_OPCODE_POWER) != 0)
1269 return bfd_arch_rs6000;
1270 else if ((ppc_cpu & (PPC_OPCODE_COMMON | PPC_OPCODE_ANY)) != 0)
1272 if (strcmp (default_cpu, "rs6000") == 0)
1273 return bfd_arch_rs6000;
1274 else if (strncmp (default_cpu, "powerpc", 7) == 0)
1275 return bfd_arch_powerpc;
1278 as_fatal (_("Neither Power nor PowerPC opcodes were selected."));
1279 return bfd_arch_unknown;
1282 unsigned long
1283 ppc_mach (void)
1285 if (ppc_obj64)
1286 return bfd_mach_ppc64;
1287 else if (ppc_arch () == bfd_arch_rs6000)
1288 return bfd_mach_rs6k;
1289 else
1290 return bfd_mach_ppc;
1293 extern char*
1294 ppc_target_format (void)
1296 #ifdef OBJ_COFF
1297 #ifdef TE_PE
1298 return target_big_endian ? "pe-powerpc" : "pe-powerpcle";
1299 #elif TE_POWERMAC
1300 return "xcoff-powermac";
1301 #else
1302 # ifdef TE_AIX5
1303 return (ppc_obj64 ? "aix5coff64-rs6000" : "aixcoff-rs6000");
1304 # else
1305 return (ppc_obj64 ? "aixcoff64-rs6000" : "aixcoff-rs6000");
1306 # endif
1307 #endif
1308 #endif
1309 #ifdef OBJ_ELF
1310 # ifdef TE_VXWORKS
1311 return "elf32-powerpc-vxworks";
1312 # else
1313 return (target_big_endian
1314 ? (ppc_obj64 ? "elf64-powerpc" : "elf32-powerpc")
1315 : (ppc_obj64 ? "elf64-powerpcle" : "elf32-powerpcle"));
1316 # endif
1317 #endif
1320 /* Insert opcodes and macros into hash tables. Called at startup and
1321 for .cpu pseudo. */
1323 static void
1324 ppc_setup_opcodes (void)
1326 const struct powerpc_opcode *op;
1327 const struct powerpc_opcode *op_end;
1328 const struct powerpc_macro *macro;
1329 const struct powerpc_macro *macro_end;
1330 bfd_boolean bad_insn = FALSE;
1332 if (ppc_hash != NULL)
1333 hash_die (ppc_hash);
1334 if (ppc_macro_hash != NULL)
1335 hash_die (ppc_macro_hash);
1337 /* Insert the opcodes into a hash table. */
1338 ppc_hash = hash_new ();
1340 if (ENABLE_CHECKING)
1342 unsigned int i;
1344 /* Check operand masks. Code here and in the disassembler assumes
1345 all the 1's in the mask are contiguous. */
1346 for (i = 0; i < num_powerpc_operands; ++i)
1348 unsigned long mask = powerpc_operands[i].bitm;
1349 unsigned long right_bit;
1350 unsigned int j;
1352 right_bit = mask & -mask;
1353 mask += right_bit;
1354 right_bit = mask & -mask;
1355 if (mask != right_bit)
1357 as_bad (_("powerpc_operands[%d].bitm invalid"), i);
1358 bad_insn = TRUE;
1360 for (j = i + 1; j < num_powerpc_operands; ++j)
1361 if (memcmp (&powerpc_operands[i], &powerpc_operands[j],
1362 sizeof (powerpc_operands[0])) == 0)
1364 as_bad (_("powerpc_operands[%d] duplicates powerpc_operands[%d]"),
1365 j, i);
1366 bad_insn = TRUE;
1371 op_end = powerpc_opcodes + powerpc_num_opcodes;
1372 for (op = powerpc_opcodes; op < op_end; op++)
1374 if (ENABLE_CHECKING)
1376 const unsigned char *o;
1377 unsigned long omask = op->mask;
1379 if (op != powerpc_opcodes)
1381 /* The major opcodes had better be sorted. Code in the
1382 disassembler assumes the insns are sorted according to
1383 major opcode. */
1384 if (PPC_OP (op[0].opcode) < PPC_OP (op[-1].opcode))
1386 as_bad (_("major opcode is not sorted for %s"),
1387 op->name);
1388 bad_insn = TRUE;
1391 /* Warn if the table isn't more strictly ordered.
1392 Unfortunately it doesn't seem possible to order the
1393 table on much more than the major opcode, which makes
1394 it difficult to implement a binary search in the
1395 disassembler. The problem is that we have multiple
1396 ways to disassemble instructions, and we usually want
1397 to choose a more specific form (with more bits set in
1398 the opcode) than a more general form. eg. all of the
1399 following are equivalent:
1400 bne label # opcode = 0x40820000, mask = 0xff830003
1401 bf 2,label # opcode = 0x40800000, mask = 0xff800003
1402 bc 4,2,label # opcode = 0x40000000, mask = 0xfc000003
1404 There are also cases where the table needs to be out
1405 of order to disassemble the correct instruction for
1406 processor variants. */
1407 else if (0)
1409 unsigned long t1 = op[0].opcode;
1410 unsigned long t2 = op[-1].opcode;
1412 if (((t1 ^ t2) & 0xfc0007ff) == 0
1413 && (t1 & 0xfc0006df) == 0x7c000286)
1415 /* spr field is split. */
1416 t1 = ((t1 & ~0x1ff800)
1417 | ((t1 & 0xf800) << 5) | ((t1 & 0x1f0000) >> 5));
1418 t2 = ((t2 & ~0x1ff800)
1419 | ((t2 & 0xf800) << 5) | ((t2 & 0x1f0000) >> 5));
1421 if (t1 < t2)
1422 as_warn (_("%s (%08lx %08lx) after %s (%08lx %08lx)"),
1423 op[0].name, op[0].opcode, op[0].mask,
1424 op[-1].name, op[-1].opcode, op[-1].mask);
1428 /* The mask had better not trim off opcode bits. */
1429 if ((op->opcode & omask) != op->opcode)
1431 as_bad (_("mask trims opcode bits for %s"),
1432 op->name);
1433 bad_insn = TRUE;
1436 /* The operands must not overlap the opcode or each other. */
1437 for (o = op->operands; *o; ++o)
1438 if (*o >= num_powerpc_operands)
1440 as_bad (_("operand index error for %s"),
1441 op->name);
1442 bad_insn = TRUE;
1444 else
1446 const struct powerpc_operand *operand = &powerpc_operands[*o];
1447 if (operand->shift >= 0)
1449 unsigned long mask = operand->bitm << operand->shift;
1450 if (omask & mask)
1452 as_bad (_("operand %d overlap in %s"),
1453 (int) (o - op->operands), op->name);
1454 bad_insn = TRUE;
1456 omask |= mask;
1461 if ((op->flags & ppc_cpu & ~(PPC_OPCODE_32 | PPC_OPCODE_64)) != 0
1462 && ((op->flags & (PPC_OPCODE_32 | PPC_OPCODE_64)) == 0
1463 || ((op->flags & (PPC_OPCODE_32 | PPC_OPCODE_64))
1464 == (ppc_cpu & (PPC_OPCODE_32 | PPC_OPCODE_64)))
1465 || (ppc_cpu & PPC_OPCODE_64_BRIDGE) != 0)
1466 && !(ppc_cpu & op->deprecated))
1468 const char *retval;
1470 retval = hash_insert (ppc_hash, op->name, (void *) op);
1471 if (retval != NULL)
1473 /* Ignore Power duplicates for -m601. */
1474 if ((ppc_cpu & PPC_OPCODE_601) != 0
1475 && (op->flags & PPC_OPCODE_POWER) != 0)
1476 continue;
1478 as_bad (_("duplicate instruction %s"),
1479 op->name);
1480 bad_insn = TRUE;
1485 if ((ppc_cpu & PPC_OPCODE_ANY) != 0)
1486 for (op = powerpc_opcodes; op < op_end; op++)
1487 hash_insert (ppc_hash, op->name, (void *) op);
1489 /* Insert the macros into a hash table. */
1490 ppc_macro_hash = hash_new ();
1492 macro_end = powerpc_macros + powerpc_num_macros;
1493 for (macro = powerpc_macros; macro < macro_end; macro++)
1495 if ((macro->flags & ppc_cpu) != 0)
1497 const char *retval;
1499 retval = hash_insert (ppc_macro_hash, macro->name, (void *) macro);
1500 if (retval != (const char *) NULL)
1502 as_bad (_("duplicate macro %s"), macro->name);
1503 bad_insn = TRUE;
1508 if (bad_insn)
1509 abort ();
1512 /* This function is called when the assembler starts up. It is called
1513 after the options have been parsed and the output file has been
1514 opened. */
1516 void
1517 md_begin (void)
1519 ppc_set_cpu ();
1521 ppc_cie_data_alignment = ppc_obj64 ? -8 : -4;
1523 #ifdef OBJ_ELF
1524 /* Set the ELF flags if desired. */
1525 if (ppc_flags && !msolaris)
1526 bfd_set_private_flags (stdoutput, ppc_flags);
1527 #endif
1529 ppc_setup_opcodes ();
1531 /* Tell the main code what the endianness is if it is not overridden
1532 by the user. */
1533 if (!set_target_endian)
1535 set_target_endian = 1;
1536 target_big_endian = PPC_BIG_ENDIAN;
1539 #ifdef OBJ_XCOFF
1540 ppc_coff_debug_section = coff_section_from_bfd_index (stdoutput, N_DEBUG);
1542 /* Create dummy symbols to serve as initial csects. This forces the
1543 text csects to precede the data csects. These symbols will not
1544 be output. */
1545 ppc_text_csects = symbol_make ("dummy\001");
1546 symbol_get_tc (ppc_text_csects)->within = ppc_text_csects;
1547 ppc_data_csects = symbol_make ("dummy\001");
1548 symbol_get_tc (ppc_data_csects)->within = ppc_data_csects;
1549 #endif
1551 #ifdef TE_PE
1553 ppc_current_section = text_section;
1554 ppc_previous_section = 0;
1556 #endif
1559 void
1560 ppc_cleanup (void)
1562 #ifdef OBJ_ELF
1563 if (ppc_apuinfo_list == NULL)
1564 return;
1566 /* Ok, so write the section info out. We have this layout:
1568 byte data what
1569 ---- ---- ----
1570 0 8 length of "APUinfo\0"
1571 4 (n*4) number of APU's (4 bytes each)
1572 8 2 note type 2
1573 12 "APUinfo\0" name
1574 20 APU#1 first APU's info
1575 24 APU#2 second APU's info
1576 ... ...
1579 char *p;
1580 asection *seg = now_seg;
1581 subsegT subseg = now_subseg;
1582 asection *apuinfo_secp = (asection *) NULL;
1583 unsigned int i;
1585 /* Create the .PPC.EMB.apuinfo section. */
1586 apuinfo_secp = subseg_new (".PPC.EMB.apuinfo", 0);
1587 bfd_set_section_flags (stdoutput,
1588 apuinfo_secp,
1589 SEC_HAS_CONTENTS | SEC_READONLY);
1591 p = frag_more (4);
1592 md_number_to_chars (p, (valueT) 8, 4);
1594 p = frag_more (4);
1595 md_number_to_chars (p, (valueT) ppc_apuinfo_num * 4, 4);
1597 p = frag_more (4);
1598 md_number_to_chars (p, (valueT) 2, 4);
1600 p = frag_more (8);
1601 strcpy (p, "APUinfo");
1603 for (i = 0; i < ppc_apuinfo_num; i++)
1605 p = frag_more (4);
1606 md_number_to_chars (p, (valueT) ppc_apuinfo_list[i], 4);
1609 frag_align (2, 0, 0);
1611 /* We probably can't restore the current segment, for there likely
1612 isn't one yet... */
1613 if (seg && subseg)
1614 subseg_set (seg, subseg);
1616 #endif
1619 /* Insert an operand value into an instruction. */
1621 static unsigned long
1622 ppc_insert_operand (unsigned long insn,
1623 const struct powerpc_operand *operand,
1624 offsetT val,
1625 ppc_cpu_t ppc_cpu,
1626 char *file,
1627 unsigned int line)
1629 long min, max, right;
1631 max = operand->bitm;
1632 right = max & -max;
1633 min = 0;
1635 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
1637 if ((operand->flags & PPC_OPERAND_SIGNOPT) == 0)
1638 max = (max >> 1) & -right;
1639 min = ~max & -right;
1642 if ((operand->flags & PPC_OPERAND_PLUS1) != 0)
1643 max++;
1645 if ((operand->flags & PPC_OPERAND_NEGATIVE) != 0)
1647 long tmp = min;
1648 min = -max;
1649 max = -tmp;
1652 if (min <= max)
1654 /* Some people write constants with the sign extension done by
1655 hand but only up to 32 bits. This shouldn't really be valid,
1656 but, to permit this code to assemble on a 64-bit host, we
1657 sign extend the 32-bit value to 64 bits if so doing makes the
1658 value valid. */
1659 if (val > max
1660 && (offsetT) (val - 0x80000000 - 0x80000000) >= min
1661 && (offsetT) (val - 0x80000000 - 0x80000000) <= max
1662 && ((val - 0x80000000 - 0x80000000) & (right - 1)) == 0)
1663 val = val - 0x80000000 - 0x80000000;
1665 /* Similarly, people write expressions like ~(1<<15), and expect
1666 this to be OK for a 32-bit unsigned value. */
1667 else if (val < min
1668 && (offsetT) (val + 0x80000000 + 0x80000000) >= min
1669 && (offsetT) (val + 0x80000000 + 0x80000000) <= max
1670 && ((val + 0x80000000 + 0x80000000) & (right - 1)) == 0)
1671 val = val + 0x80000000 + 0x80000000;
1673 else if (val < min
1674 || val > max
1675 || (val & (right - 1)) != 0)
1676 as_bad_value_out_of_range (_("operand"), val, min, max, file, line);
1679 if (operand->insert)
1681 const char *errmsg;
1683 errmsg = NULL;
1684 insn = (*operand->insert) (insn, (long) val, ppc_cpu, &errmsg);
1685 if (errmsg != (const char *) NULL)
1686 as_bad_where (file, line, "%s", errmsg);
1688 else
1689 insn |= ((long) val & operand->bitm) << operand->shift;
1691 return insn;
1695 #ifdef OBJ_ELF
1696 /* Parse @got, etc. and return the desired relocation. */
1697 static bfd_reloc_code_real_type
1698 ppc_elf_suffix (char **str_p, expressionS *exp_p)
1700 struct map_bfd {
1701 char *string;
1702 unsigned int length : 8;
1703 unsigned int valid32 : 1;
1704 unsigned int valid64 : 1;
1705 unsigned int reloc;
1708 char ident[20];
1709 char *str = *str_p;
1710 char *str2;
1711 int ch;
1712 int len;
1713 const struct map_bfd *ptr;
1715 #define MAP(str, reloc) { str, sizeof (str) - 1, 1, 1, reloc }
1716 #define MAP32(str, reloc) { str, sizeof (str) - 1, 1, 0, reloc }
1717 #define MAP64(str, reloc) { str, sizeof (str) - 1, 0, 1, reloc }
1719 static const struct map_bfd mapping[] = {
1720 MAP ("l", BFD_RELOC_LO16),
1721 MAP ("h", BFD_RELOC_HI16),
1722 MAP ("ha", BFD_RELOC_HI16_S),
1723 MAP ("brtaken", BFD_RELOC_PPC_B16_BRTAKEN),
1724 MAP ("brntaken", BFD_RELOC_PPC_B16_BRNTAKEN),
1725 MAP ("got", BFD_RELOC_16_GOTOFF),
1726 MAP ("got@l", BFD_RELOC_LO16_GOTOFF),
1727 MAP ("got@h", BFD_RELOC_HI16_GOTOFF),
1728 MAP ("got@ha", BFD_RELOC_HI16_S_GOTOFF),
1729 MAP ("plt@l", BFD_RELOC_LO16_PLTOFF),
1730 MAP ("plt@h", BFD_RELOC_HI16_PLTOFF),
1731 MAP ("plt@ha", BFD_RELOC_HI16_S_PLTOFF),
1732 MAP ("copy", BFD_RELOC_PPC_COPY),
1733 MAP ("globdat", BFD_RELOC_PPC_GLOB_DAT),
1734 MAP ("sectoff", BFD_RELOC_16_BASEREL),
1735 MAP ("sectoff@l", BFD_RELOC_LO16_BASEREL),
1736 MAP ("sectoff@h", BFD_RELOC_HI16_BASEREL),
1737 MAP ("sectoff@ha", BFD_RELOC_HI16_S_BASEREL),
1738 MAP ("tls", BFD_RELOC_PPC_TLS),
1739 MAP ("dtpmod", BFD_RELOC_PPC_DTPMOD),
1740 MAP ("dtprel", BFD_RELOC_PPC_DTPREL),
1741 MAP ("dtprel@l", BFD_RELOC_PPC_DTPREL16_LO),
1742 MAP ("dtprel@h", BFD_RELOC_PPC_DTPREL16_HI),
1743 MAP ("dtprel@ha", BFD_RELOC_PPC_DTPREL16_HA),
1744 MAP ("tprel", BFD_RELOC_PPC_TPREL),
1745 MAP ("tprel@l", BFD_RELOC_PPC_TPREL16_LO),
1746 MAP ("tprel@h", BFD_RELOC_PPC_TPREL16_HI),
1747 MAP ("tprel@ha", BFD_RELOC_PPC_TPREL16_HA),
1748 MAP ("got@tlsgd", BFD_RELOC_PPC_GOT_TLSGD16),
1749 MAP ("got@tlsgd@l", BFD_RELOC_PPC_GOT_TLSGD16_LO),
1750 MAP ("got@tlsgd@h", BFD_RELOC_PPC_GOT_TLSGD16_HI),
1751 MAP ("got@tlsgd@ha", BFD_RELOC_PPC_GOT_TLSGD16_HA),
1752 MAP ("got@tlsld", BFD_RELOC_PPC_GOT_TLSLD16),
1753 MAP ("got@tlsld@l", BFD_RELOC_PPC_GOT_TLSLD16_LO),
1754 MAP ("got@tlsld@h", BFD_RELOC_PPC_GOT_TLSLD16_HI),
1755 MAP ("got@tlsld@ha", BFD_RELOC_PPC_GOT_TLSLD16_HA),
1756 MAP ("got@dtprel", BFD_RELOC_PPC_GOT_DTPREL16),
1757 MAP ("got@dtprel@l", BFD_RELOC_PPC_GOT_DTPREL16_LO),
1758 MAP ("got@dtprel@h", BFD_RELOC_PPC_GOT_DTPREL16_HI),
1759 MAP ("got@dtprel@ha", BFD_RELOC_PPC_GOT_DTPREL16_HA),
1760 MAP ("got@tprel", BFD_RELOC_PPC_GOT_TPREL16),
1761 MAP ("got@tprel@l", BFD_RELOC_PPC_GOT_TPREL16_LO),
1762 MAP ("got@tprel@h", BFD_RELOC_PPC_GOT_TPREL16_HI),
1763 MAP ("got@tprel@ha", BFD_RELOC_PPC_GOT_TPREL16_HA),
1764 MAP32 ("fixup", BFD_RELOC_CTOR),
1765 MAP32 ("plt", BFD_RELOC_24_PLT_PCREL),
1766 MAP32 ("pltrel24", BFD_RELOC_24_PLT_PCREL),
1767 MAP32 ("local24pc", BFD_RELOC_PPC_LOCAL24PC),
1768 MAP32 ("local", BFD_RELOC_PPC_LOCAL24PC),
1769 MAP32 ("pltrel", BFD_RELOC_32_PLT_PCREL),
1770 MAP32 ("sdarel", BFD_RELOC_GPREL16),
1771 MAP32 ("naddr", BFD_RELOC_PPC_EMB_NADDR32),
1772 MAP32 ("naddr16", BFD_RELOC_PPC_EMB_NADDR16),
1773 MAP32 ("naddr@l", BFD_RELOC_PPC_EMB_NADDR16_LO),
1774 MAP32 ("naddr@h", BFD_RELOC_PPC_EMB_NADDR16_HI),
1775 MAP32 ("naddr@ha", BFD_RELOC_PPC_EMB_NADDR16_HA),
1776 MAP32 ("sdai16", BFD_RELOC_PPC_EMB_SDAI16),
1777 MAP32 ("sda2rel", BFD_RELOC_PPC_EMB_SDA2REL),
1778 MAP32 ("sda2i16", BFD_RELOC_PPC_EMB_SDA2I16),
1779 MAP32 ("sda21", BFD_RELOC_PPC_EMB_SDA21),
1780 MAP32 ("mrkref", BFD_RELOC_PPC_EMB_MRKREF),
1781 MAP32 ("relsect", BFD_RELOC_PPC_EMB_RELSEC16),
1782 MAP32 ("relsect@l", BFD_RELOC_PPC_EMB_RELST_LO),
1783 MAP32 ("relsect@h", BFD_RELOC_PPC_EMB_RELST_HI),
1784 MAP32 ("relsect@ha", BFD_RELOC_PPC_EMB_RELST_HA),
1785 MAP32 ("bitfld", BFD_RELOC_PPC_EMB_BIT_FLD),
1786 MAP32 ("relsda", BFD_RELOC_PPC_EMB_RELSDA),
1787 MAP32 ("xgot", BFD_RELOC_PPC_TOC16),
1788 MAP64 ("higher", BFD_RELOC_PPC64_HIGHER),
1789 MAP64 ("highera", BFD_RELOC_PPC64_HIGHER_S),
1790 MAP64 ("highest", BFD_RELOC_PPC64_HIGHEST),
1791 MAP64 ("highesta", BFD_RELOC_PPC64_HIGHEST_S),
1792 MAP64 ("tocbase", BFD_RELOC_PPC64_TOC),
1793 MAP64 ("toc", BFD_RELOC_PPC_TOC16),
1794 MAP64 ("toc@l", BFD_RELOC_PPC64_TOC16_LO),
1795 MAP64 ("toc@h", BFD_RELOC_PPC64_TOC16_HI),
1796 MAP64 ("toc@ha", BFD_RELOC_PPC64_TOC16_HA),
1797 MAP64 ("dtprel@higher", BFD_RELOC_PPC64_DTPREL16_HIGHER),
1798 MAP64 ("dtprel@highera", BFD_RELOC_PPC64_DTPREL16_HIGHERA),
1799 MAP64 ("dtprel@highest", BFD_RELOC_PPC64_DTPREL16_HIGHEST),
1800 MAP64 ("dtprel@highesta", BFD_RELOC_PPC64_DTPREL16_HIGHESTA),
1801 MAP64 ("tprel@higher", BFD_RELOC_PPC64_TPREL16_HIGHER),
1802 MAP64 ("tprel@highera", BFD_RELOC_PPC64_TPREL16_HIGHERA),
1803 MAP64 ("tprel@highest", BFD_RELOC_PPC64_TPREL16_HIGHEST),
1804 MAP64 ("tprel@highesta", BFD_RELOC_PPC64_TPREL16_HIGHESTA),
1805 { (char *) 0, 0, 0, 0, BFD_RELOC_UNUSED }
1808 if (*str++ != '@')
1809 return BFD_RELOC_UNUSED;
1811 for (ch = *str, str2 = ident;
1812 (str2 < ident + sizeof (ident) - 1
1813 && (ISALNUM (ch) || ch == '@'));
1814 ch = *++str)
1816 *str2++ = TOLOWER (ch);
1819 *str2 = '\0';
1820 len = str2 - ident;
1822 ch = ident[0];
1823 for (ptr = &mapping[0]; ptr->length > 0; ptr++)
1824 if (ch == ptr->string[0]
1825 && len == ptr->length
1826 && memcmp (ident, ptr->string, ptr->length) == 0
1827 && (ppc_obj64 ? ptr->valid64 : ptr->valid32))
1829 int reloc = ptr->reloc;
1831 if (!ppc_obj64 && exp_p->X_add_number != 0)
1833 switch (reloc)
1835 case BFD_RELOC_16_GOTOFF:
1836 case BFD_RELOC_LO16_GOTOFF:
1837 case BFD_RELOC_HI16_GOTOFF:
1838 case BFD_RELOC_HI16_S_GOTOFF:
1839 as_warn (_("identifier+constant@got means "
1840 "identifier@got+constant"));
1841 break;
1843 case BFD_RELOC_PPC_GOT_TLSGD16:
1844 case BFD_RELOC_PPC_GOT_TLSGD16_LO:
1845 case BFD_RELOC_PPC_GOT_TLSGD16_HI:
1846 case BFD_RELOC_PPC_GOT_TLSGD16_HA:
1847 case BFD_RELOC_PPC_GOT_TLSLD16:
1848 case BFD_RELOC_PPC_GOT_TLSLD16_LO:
1849 case BFD_RELOC_PPC_GOT_TLSLD16_HI:
1850 case BFD_RELOC_PPC_GOT_TLSLD16_HA:
1851 case BFD_RELOC_PPC_GOT_DTPREL16:
1852 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
1853 case BFD_RELOC_PPC_GOT_DTPREL16_HI:
1854 case BFD_RELOC_PPC_GOT_DTPREL16_HA:
1855 case BFD_RELOC_PPC_GOT_TPREL16:
1856 case BFD_RELOC_PPC_GOT_TPREL16_LO:
1857 case BFD_RELOC_PPC_GOT_TPREL16_HI:
1858 case BFD_RELOC_PPC_GOT_TPREL16_HA:
1859 as_bad (_("symbol+offset not supported for got tls"));
1860 break;
1864 /* Now check for identifier@suffix+constant. */
1865 if (*str == '-' || *str == '+')
1867 char *orig_line = input_line_pointer;
1868 expressionS new_exp;
1870 input_line_pointer = str;
1871 expression (&new_exp);
1872 if (new_exp.X_op == O_constant)
1874 exp_p->X_add_number += new_exp.X_add_number;
1875 str = input_line_pointer;
1878 if (&input_line_pointer != str_p)
1879 input_line_pointer = orig_line;
1881 *str_p = str;
1883 if (reloc == (int) BFD_RELOC_PPC64_TOC
1884 && exp_p->X_op == O_symbol
1885 && strcmp (S_GET_NAME (exp_p->X_add_symbol), ".TOC.") == 0)
1887 /* Change the symbol so that the dummy .TOC. symbol can be
1888 omitted from the object file. */
1889 exp_p->X_add_symbol = &abs_symbol;
1892 return (bfd_reloc_code_real_type) reloc;
1895 return BFD_RELOC_UNUSED;
1898 /* Like normal .long/.short/.word, except support @got, etc.
1899 Clobbers input_line_pointer, checks end-of-line. */
1900 static void
1901 ppc_elf_cons (int nbytes /* 1=.byte, 2=.word, 4=.long, 8=.llong */)
1903 expressionS exp;
1904 bfd_reloc_code_real_type reloc;
1906 if (is_it_end_of_statement ())
1908 demand_empty_rest_of_line ();
1909 return;
1914 expression (&exp);
1915 if (exp.X_op == O_symbol
1916 && *input_line_pointer == '@'
1917 && (reloc = ppc_elf_suffix (&input_line_pointer,
1918 &exp)) != BFD_RELOC_UNUSED)
1920 reloc_howto_type *reloc_howto;
1921 int size;
1923 reloc_howto = bfd_reloc_type_lookup (stdoutput, reloc);
1924 size = bfd_get_reloc_size (reloc_howto);
1926 if (size > nbytes)
1928 as_bad (_("%s relocations do not fit in %d bytes\n"),
1929 reloc_howto->name, nbytes);
1931 else
1933 char *p;
1934 int offset;
1936 p = frag_more (nbytes);
1937 offset = 0;
1938 if (target_big_endian)
1939 offset = nbytes - size;
1940 fix_new_exp (frag_now, p - frag_now->fr_literal + offset, size,
1941 &exp, 0, reloc);
1944 else
1945 emit_expr (&exp, (unsigned int) nbytes);
1947 while (*input_line_pointer++ == ',');
1949 /* Put terminator back into stream. */
1950 input_line_pointer--;
1951 demand_empty_rest_of_line ();
1954 /* Solaris pseduo op to change to the .rodata section. */
1955 static void
1956 ppc_elf_rdata (int xxx)
1958 char *save_line = input_line_pointer;
1959 static char section[] = ".rodata\n";
1961 /* Just pretend this is .section .rodata */
1962 input_line_pointer = section;
1963 obj_elf_section (xxx);
1965 input_line_pointer = save_line;
1968 /* Pseudo op to make file scope bss items. */
1969 static void
1970 ppc_elf_lcomm (int xxx ATTRIBUTE_UNUSED)
1972 char *name;
1973 char c;
1974 char *p;
1975 offsetT size;
1976 symbolS *symbolP;
1977 offsetT align;
1978 segT old_sec;
1979 int old_subsec;
1980 char *pfrag;
1981 int align2;
1983 name = input_line_pointer;
1984 c = get_symbol_end ();
1986 /* just after name is now '\0'. */
1987 p = input_line_pointer;
1988 *p = c;
1989 SKIP_WHITESPACE ();
1990 if (*input_line_pointer != ',')
1992 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
1993 ignore_rest_of_line ();
1994 return;
1997 input_line_pointer++; /* skip ',' */
1998 if ((size = get_absolute_expression ()) < 0)
2000 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) size);
2001 ignore_rest_of_line ();
2002 return;
2005 /* The third argument to .lcomm is the alignment. */
2006 if (*input_line_pointer != ',')
2007 align = 8;
2008 else
2010 ++input_line_pointer;
2011 align = get_absolute_expression ();
2012 if (align <= 0)
2014 as_warn (_("ignoring bad alignment"));
2015 align = 8;
2019 *p = 0;
2020 symbolP = symbol_find_or_make (name);
2021 *p = c;
2023 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
2025 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
2026 S_GET_NAME (symbolP));
2027 ignore_rest_of_line ();
2028 return;
2031 if (S_GET_VALUE (symbolP) && S_GET_VALUE (symbolP) != (valueT) size)
2033 as_bad (_("Length of .lcomm \"%s\" is already %ld. Not changed to %ld."),
2034 S_GET_NAME (symbolP),
2035 (long) S_GET_VALUE (symbolP),
2036 (long) size);
2038 ignore_rest_of_line ();
2039 return;
2042 /* Allocate_bss. */
2043 old_sec = now_seg;
2044 old_subsec = now_subseg;
2045 if (align)
2047 /* Convert to a power of 2 alignment. */
2048 for (align2 = 0; (align & 1) == 0; align >>= 1, ++align2);
2049 if (align != 1)
2051 as_bad (_("Common alignment not a power of 2"));
2052 ignore_rest_of_line ();
2053 return;
2056 else
2057 align2 = 0;
2059 record_alignment (bss_section, align2);
2060 subseg_set (bss_section, 0);
2061 if (align2)
2062 frag_align (align2, 0, 0);
2063 if (S_GET_SEGMENT (symbolP) == bss_section)
2064 symbol_get_frag (symbolP)->fr_symbol = 0;
2065 symbol_set_frag (symbolP, frag_now);
2066 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP, size,
2067 (char *) 0);
2068 *pfrag = 0;
2069 S_SET_SIZE (symbolP, size);
2070 S_SET_SEGMENT (symbolP, bss_section);
2071 subseg_set (old_sec, old_subsec);
2072 demand_empty_rest_of_line ();
2075 /* Validate any relocations emitted for -mrelocatable, possibly adding
2076 fixups for word relocations in writable segments, so we can adjust
2077 them at runtime. */
2078 static void
2079 ppc_elf_validate_fix (fixS *fixp, segT seg)
2081 if (fixp->fx_done || fixp->fx_pcrel)
2082 return;
2084 switch (shlib)
2086 case SHLIB_NONE:
2087 case SHLIB_PIC:
2088 return;
2090 case SHLIB_MRELOCATABLE:
2091 if (fixp->fx_r_type <= BFD_RELOC_UNUSED
2092 && fixp->fx_r_type != BFD_RELOC_16_GOTOFF
2093 && fixp->fx_r_type != BFD_RELOC_HI16_GOTOFF
2094 && fixp->fx_r_type != BFD_RELOC_LO16_GOTOFF
2095 && fixp->fx_r_type != BFD_RELOC_HI16_S_GOTOFF
2096 && fixp->fx_r_type != BFD_RELOC_16_BASEREL
2097 && fixp->fx_r_type != BFD_RELOC_LO16_BASEREL
2098 && fixp->fx_r_type != BFD_RELOC_HI16_BASEREL
2099 && fixp->fx_r_type != BFD_RELOC_HI16_S_BASEREL
2100 && (seg->flags & SEC_LOAD) != 0
2101 && strcmp (segment_name (seg), ".got2") != 0
2102 && strcmp (segment_name (seg), ".dtors") != 0
2103 && strcmp (segment_name (seg), ".ctors") != 0
2104 && strcmp (segment_name (seg), ".fixup") != 0
2105 && strcmp (segment_name (seg), ".gcc_except_table") != 0
2106 && strcmp (segment_name (seg), ".eh_frame") != 0
2107 && strcmp (segment_name (seg), ".ex_shared") != 0)
2109 if ((seg->flags & (SEC_READONLY | SEC_CODE)) != 0
2110 || fixp->fx_r_type != BFD_RELOC_CTOR)
2112 as_bad_where (fixp->fx_file, fixp->fx_line,
2113 _("Relocation cannot be done when using -mrelocatable"));
2116 return;
2120 /* Prevent elf_frob_file_before_adjust removing a weak undefined
2121 function descriptor sym if the corresponding code sym is used. */
2123 void
2124 ppc_frob_file_before_adjust (void)
2126 symbolS *symp;
2127 asection *toc;
2129 if (!ppc_obj64)
2130 return;
2132 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
2134 const char *name;
2135 char *dotname;
2136 symbolS *dotsym;
2137 size_t len;
2139 name = S_GET_NAME (symp);
2140 if (name[0] == '.')
2141 continue;
2143 if (! S_IS_WEAK (symp)
2144 || S_IS_DEFINED (symp))
2145 continue;
2147 len = strlen (name) + 1;
2148 dotname = xmalloc (len + 1);
2149 dotname[0] = '.';
2150 memcpy (dotname + 1, name, len);
2151 dotsym = symbol_find_noref (dotname, 1);
2152 free (dotname);
2153 if (dotsym != NULL && (symbol_used_p (dotsym)
2154 || symbol_used_in_reloc_p (dotsym)))
2155 symbol_mark_used (symp);
2159 toc = bfd_get_section_by_name (stdoutput, ".toc");
2160 if (toc != NULL
2161 && bfd_section_size (stdoutput, toc) > 0x10000)
2162 as_warn (_("TOC section size exceeds 64k"));
2164 /* Don't emit .TOC. symbol. */
2165 symp = symbol_find (".TOC.");
2166 if (symp != NULL)
2167 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
2169 #endif /* OBJ_ELF */
2171 #ifdef TE_PE
2174 * Summary of parse_toc_entry.
2176 * in: Input_line_pointer points to the '[' in one of:
2178 * [toc] [tocv] [toc32] [toc64]
2180 * Anything else is an error of one kind or another.
2182 * out:
2183 * return value: success or failure
2184 * toc_kind: kind of toc reference
2185 * input_line_pointer:
2186 * success: first char after the ']'
2187 * failure: unchanged
2189 * settings:
2191 * [toc] - rv == success, toc_kind = default_toc
2192 * [tocv] - rv == success, toc_kind = data_in_toc
2193 * [toc32] - rv == success, toc_kind = must_be_32
2194 * [toc64] - rv == success, toc_kind = must_be_64
2198 enum toc_size_qualifier
2200 default_toc, /* The toc cell constructed should be the system default size */
2201 data_in_toc, /* This is a direct reference to a toc cell */
2202 must_be_32, /* The toc cell constructed must be 32 bits wide */
2203 must_be_64 /* The toc cell constructed must be 64 bits wide */
2206 static int
2207 parse_toc_entry (enum toc_size_qualifier *toc_kind)
2209 char *start;
2210 char *toc_spec;
2211 char c;
2212 enum toc_size_qualifier t;
2214 /* Save the input_line_pointer. */
2215 start = input_line_pointer;
2217 /* Skip over the '[' , and whitespace. */
2218 ++input_line_pointer;
2219 SKIP_WHITESPACE ();
2221 /* Find the spelling of the operand. */
2222 toc_spec = input_line_pointer;
2223 c = get_symbol_end ();
2225 if (strcmp (toc_spec, "toc") == 0)
2227 t = default_toc;
2229 else if (strcmp (toc_spec, "tocv") == 0)
2231 t = data_in_toc;
2233 else if (strcmp (toc_spec, "toc32") == 0)
2235 t = must_be_32;
2237 else if (strcmp (toc_spec, "toc64") == 0)
2239 t = must_be_64;
2241 else
2243 as_bad (_("syntax error: invalid toc specifier `%s'"), toc_spec);
2244 *input_line_pointer = c;
2245 input_line_pointer = start;
2246 return 0;
2249 /* Now find the ']'. */
2250 *input_line_pointer = c;
2252 SKIP_WHITESPACE (); /* leading whitespace could be there. */
2253 c = *input_line_pointer++; /* input_line_pointer->past char in c. */
2255 if (c != ']')
2257 as_bad (_("syntax error: expected `]', found `%c'"), c);
2258 input_line_pointer = start;
2259 return 0;
2262 *toc_kind = t;
2263 return 1;
2265 #endif
2268 #ifdef OBJ_ELF
2269 #define APUID(a,v) ((((a) & 0xffff) << 16) | ((v) & 0xffff))
2270 static void
2271 ppc_apuinfo_section_add (unsigned int apu, unsigned int version)
2273 unsigned int i;
2275 /* Check we don't already exist. */
2276 for (i = 0; i < ppc_apuinfo_num; i++)
2277 if (ppc_apuinfo_list[i] == APUID (apu, version))
2278 return;
2280 if (ppc_apuinfo_num == ppc_apuinfo_num_alloc)
2282 if (ppc_apuinfo_num_alloc == 0)
2284 ppc_apuinfo_num_alloc = 4;
2285 ppc_apuinfo_list = (unsigned long *)
2286 xmalloc (sizeof (unsigned long) * ppc_apuinfo_num_alloc);
2288 else
2290 ppc_apuinfo_num_alloc += 4;
2291 ppc_apuinfo_list = (unsigned long *) xrealloc (ppc_apuinfo_list,
2292 sizeof (unsigned long) * ppc_apuinfo_num_alloc);
2295 ppc_apuinfo_list[ppc_apuinfo_num++] = APUID (apu, version);
2297 #undef APUID
2298 #endif
2301 /* We need to keep a list of fixups. We can't simply generate them as
2302 we go, because that would require us to first create the frag, and
2303 that would screw up references to ``.''. */
2305 struct ppc_fixup
2307 expressionS exp;
2308 int opindex;
2309 bfd_reloc_code_real_type reloc;
2312 #define MAX_INSN_FIXUPS (5)
2314 /* This routine is called for each instruction to be assembled. */
2316 void
2317 md_assemble (char *str)
2319 char *s;
2320 const struct powerpc_opcode *opcode;
2321 unsigned long insn;
2322 const unsigned char *opindex_ptr;
2323 int skip_optional;
2324 int need_paren;
2325 int next_opindex;
2326 struct ppc_fixup fixups[MAX_INSN_FIXUPS];
2327 int fc;
2328 char *f;
2329 int addr_mod;
2330 int i;
2331 #ifdef OBJ_ELF
2332 bfd_reloc_code_real_type reloc;
2333 #endif
2335 /* Get the opcode. */
2336 for (s = str; *s != '\0' && ! ISSPACE (*s); s++)
2338 if (*s != '\0')
2339 *s++ = '\0';
2341 /* Look up the opcode in the hash table. */
2342 opcode = (const struct powerpc_opcode *) hash_find (ppc_hash, str);
2343 if (opcode == (const struct powerpc_opcode *) NULL)
2345 const struct powerpc_macro *macro;
2347 macro = (const struct powerpc_macro *) hash_find (ppc_macro_hash, str);
2348 if (macro == (const struct powerpc_macro *) NULL)
2349 as_bad (_("Unrecognized opcode: `%s'"), str);
2350 else
2351 ppc_macro (s, macro);
2353 return;
2356 insn = opcode->opcode;
2358 str = s;
2359 while (ISSPACE (*str))
2360 ++str;
2362 /* PowerPC operands are just expressions. The only real issue is
2363 that a few operand types are optional. All cases which might use
2364 an optional operand separate the operands only with commas (in some
2365 cases parentheses are used, as in ``lwz 1,0(1)'' but such cases never
2366 have optional operands). Most instructions with optional operands
2367 have only one. Those that have more than one optional operand can
2368 take either all their operands or none. So, before we start seriously
2369 parsing the operands, we check to see if we have optional operands,
2370 and if we do, we count the number of commas to see which operands
2371 have been omitted. */
2372 skip_optional = 0;
2373 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
2375 const struct powerpc_operand *operand;
2377 operand = &powerpc_operands[*opindex_ptr];
2378 if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0)
2380 unsigned int opcount;
2381 unsigned int num_operands_expected;
2382 unsigned int i;
2384 /* There is an optional operand. Count the number of
2385 commas in the input line. */
2386 if (*str == '\0')
2387 opcount = 0;
2388 else
2390 opcount = 1;
2391 s = str;
2392 while ((s = strchr (s, ',')) != (char *) NULL)
2394 ++opcount;
2395 ++s;
2399 /* Compute the number of expected operands.
2400 Do not count fake operands. */
2401 for (num_operands_expected = 0, i = 0; opcode->operands[i]; i ++)
2402 if ((powerpc_operands [opcode->operands[i]].flags & PPC_OPERAND_FAKE) == 0)
2403 ++ num_operands_expected;
2405 /* If there are fewer operands in the line then are called
2406 for by the instruction, we want to skip the optional
2407 operands. */
2408 if (opcount < num_operands_expected)
2409 skip_optional = 1;
2411 break;
2415 /* Gather the operands. */
2416 need_paren = 0;
2417 next_opindex = 0;
2418 fc = 0;
2419 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
2421 const struct powerpc_operand *operand;
2422 const char *errmsg;
2423 char *hold;
2424 expressionS ex;
2425 char endc;
2427 if (next_opindex == 0)
2428 operand = &powerpc_operands[*opindex_ptr];
2429 else
2431 operand = &powerpc_operands[next_opindex];
2432 next_opindex = 0;
2434 errmsg = NULL;
2436 /* If this is a fake operand, then we do not expect anything
2437 from the input. */
2438 if ((operand->flags & PPC_OPERAND_FAKE) != 0)
2440 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2441 if (errmsg != (const char *) NULL)
2442 as_bad ("%s", errmsg);
2443 continue;
2446 /* If this is an optional operand, and we are skipping it, just
2447 insert a zero. */
2448 if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0
2449 && skip_optional)
2451 if (operand->insert)
2453 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2454 if (errmsg != (const char *) NULL)
2455 as_bad ("%s", errmsg);
2457 if ((operand->flags & PPC_OPERAND_NEXT) != 0)
2458 next_opindex = *opindex_ptr + 1;
2459 continue;
2462 /* Gather the operand. */
2463 hold = input_line_pointer;
2464 input_line_pointer = str;
2466 #ifdef TE_PE
2467 if (*input_line_pointer == '[')
2469 /* We are expecting something like the second argument here:
2471 * lwz r4,[toc].GS.0.static_int(rtoc)
2472 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^
2473 * The argument following the `]' must be a symbol name, and the
2474 * register must be the toc register: 'rtoc' or '2'
2476 * The effect is to 0 as the displacement field
2477 * in the instruction, and issue an IMAGE_REL_PPC_TOCREL16 (or
2478 * the appropriate variation) reloc against it based on the symbol.
2479 * The linker will build the toc, and insert the resolved toc offset.
2481 * Note:
2482 * o The size of the toc entry is currently assumed to be
2483 * 32 bits. This should not be assumed to be a hard coded
2484 * number.
2485 * o In an effort to cope with a change from 32 to 64 bits,
2486 * there are also toc entries that are specified to be
2487 * either 32 or 64 bits:
2488 * lwz r4,[toc32].GS.0.static_int(rtoc)
2489 * lwz r4,[toc64].GS.0.static_int(rtoc)
2490 * These demand toc entries of the specified size, and the
2491 * instruction probably requires it.
2494 int valid_toc;
2495 enum toc_size_qualifier toc_kind;
2496 bfd_reloc_code_real_type toc_reloc;
2498 /* Go parse off the [tocXX] part. */
2499 valid_toc = parse_toc_entry (&toc_kind);
2501 if (!valid_toc)
2503 /* Note: message has already been issued.
2504 FIXME: what sort of recovery should we do?
2505 demand_rest_of_line (); return; ? */
2508 /* Now get the symbol following the ']'. */
2509 expression (&ex);
2511 switch (toc_kind)
2513 case default_toc:
2514 /* In this case, we may not have seen the symbol yet,
2515 since it is allowed to appear on a .extern or .globl
2516 or just be a label in the .data section. */
2517 toc_reloc = BFD_RELOC_PPC_TOC16;
2518 break;
2519 case data_in_toc:
2520 /* 1. The symbol must be defined and either in the toc
2521 section, or a global.
2522 2. The reloc generated must have the TOCDEFN flag set
2523 in upper bit mess of the reloc type.
2524 FIXME: It's a little confusing what the tocv
2525 qualifier can be used for. At the very least, I've
2526 seen three uses, only one of which I'm sure I can
2527 explain. */
2528 if (ex.X_op == O_symbol)
2530 gas_assert (ex.X_add_symbol != NULL);
2531 if (symbol_get_bfdsym (ex.X_add_symbol)->section
2532 != tocdata_section)
2534 as_bad (_("[tocv] symbol is not a toc symbol"));
2538 toc_reloc = BFD_RELOC_PPC_TOC16;
2539 break;
2540 case must_be_32:
2541 /* FIXME: these next two specifically specify 32/64 bit
2542 toc entries. We don't support them today. Is this
2543 the right way to say that? */
2544 toc_reloc = BFD_RELOC_UNUSED;
2545 as_bad (_("Unimplemented toc32 expression modifier"));
2546 break;
2547 case must_be_64:
2548 /* FIXME: see above. */
2549 toc_reloc = BFD_RELOC_UNUSED;
2550 as_bad (_("Unimplemented toc64 expression modifier"));
2551 break;
2552 default:
2553 fprintf (stderr,
2554 _("Unexpected return value [%d] from parse_toc_entry!\n"),
2555 toc_kind);
2556 abort ();
2557 break;
2560 /* We need to generate a fixup for this expression. */
2561 if (fc >= MAX_INSN_FIXUPS)
2562 as_fatal (_("too many fixups"));
2564 fixups[fc].reloc = toc_reloc;
2565 fixups[fc].exp = ex;
2566 fixups[fc].opindex = *opindex_ptr;
2567 ++fc;
2569 /* Ok. We've set up the fixup for the instruction. Now make it
2570 look like the constant 0 was found here. */
2571 ex.X_unsigned = 1;
2572 ex.X_op = O_constant;
2573 ex.X_add_number = 0;
2574 ex.X_add_symbol = NULL;
2575 ex.X_op_symbol = NULL;
2578 else
2579 #endif /* TE_PE */
2581 if ((reg_names_p && (operand->flags & PPC_OPERAND_CR) != 0)
2582 || !register_name (&ex))
2584 char save_lex = lex_type['%'];
2586 if ((operand->flags & PPC_OPERAND_CR) != 0)
2588 cr_operand = TRUE;
2589 lex_type['%'] |= LEX_BEGIN_NAME;
2591 expression (&ex);
2592 cr_operand = FALSE;
2593 lex_type['%'] = save_lex;
2597 str = input_line_pointer;
2598 input_line_pointer = hold;
2600 if (ex.X_op == O_illegal)
2601 as_bad (_("illegal operand"));
2602 else if (ex.X_op == O_absent)
2603 as_bad (_("missing operand"));
2604 else if (ex.X_op == O_register)
2606 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2607 ppc_cpu, (char *) NULL, 0);
2609 else if (ex.X_op == O_constant)
2611 #ifdef OBJ_ELF
2612 /* Allow @HA, @L, @H on constants. */
2613 char *orig_str = str;
2615 if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2616 switch (reloc)
2618 default:
2619 str = orig_str;
2620 break;
2622 case BFD_RELOC_LO16:
2623 /* X_unsigned is the default, so if the user has done
2624 something which cleared it, we always produce a
2625 signed value. */
2626 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2627 ex.X_add_number &= 0xffff;
2628 else
2629 ex.X_add_number = SEX16 (ex.X_add_number);
2630 break;
2632 case BFD_RELOC_HI16:
2633 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2634 ex.X_add_number = PPC_HI (ex.X_add_number);
2635 else
2636 ex.X_add_number = SEX16 (PPC_HI (ex.X_add_number));
2637 break;
2639 case BFD_RELOC_HI16_S:
2640 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2641 ex.X_add_number = PPC_HA (ex.X_add_number);
2642 else
2643 ex.X_add_number = SEX16 (PPC_HA (ex.X_add_number));
2644 break;
2646 case BFD_RELOC_PPC64_HIGHER:
2647 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2648 ex.X_add_number = PPC_HIGHER (ex.X_add_number);
2649 else
2650 ex.X_add_number = SEX16 (PPC_HIGHER (ex.X_add_number));
2651 break;
2653 case BFD_RELOC_PPC64_HIGHER_S:
2654 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2655 ex.X_add_number = PPC_HIGHERA (ex.X_add_number);
2656 else
2657 ex.X_add_number = SEX16 (PPC_HIGHERA (ex.X_add_number));
2658 break;
2660 case BFD_RELOC_PPC64_HIGHEST:
2661 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2662 ex.X_add_number = PPC_HIGHEST (ex.X_add_number);
2663 else
2664 ex.X_add_number = SEX16 (PPC_HIGHEST (ex.X_add_number));
2665 break;
2667 case BFD_RELOC_PPC64_HIGHEST_S:
2668 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2669 ex.X_add_number = PPC_HIGHESTA (ex.X_add_number);
2670 else
2671 ex.X_add_number = SEX16 (PPC_HIGHESTA (ex.X_add_number));
2672 break;
2674 #endif /* OBJ_ELF */
2675 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2676 ppc_cpu, (char *) NULL, 0);
2678 #ifdef OBJ_ELF
2679 else
2681 if (ex.X_op == O_symbol && str[0] == '(')
2683 const char *sym_name = S_GET_NAME (ex.X_add_symbol);
2684 if (sym_name[0] == '.')
2685 ++sym_name;
2687 if (strcasecmp (sym_name, "__tls_get_addr") == 0)
2689 expressionS tls_exp;
2691 hold = input_line_pointer;
2692 input_line_pointer = str + 1;
2693 expression (&tls_exp);
2694 if (tls_exp.X_op == O_symbol)
2696 reloc = BFD_RELOC_UNUSED;
2697 if (strncasecmp (input_line_pointer, "@tlsgd)", 7) == 0)
2699 reloc = BFD_RELOC_PPC_TLSGD;
2700 input_line_pointer += 7;
2702 else if (strncasecmp (input_line_pointer, "@tlsld)", 7) == 0)
2704 reloc = BFD_RELOC_PPC_TLSLD;
2705 input_line_pointer += 7;
2707 if (reloc != BFD_RELOC_UNUSED)
2709 SKIP_WHITESPACE ();
2710 str = input_line_pointer;
2712 if (fc >= MAX_INSN_FIXUPS)
2713 as_fatal (_("too many fixups"));
2714 fixups[fc].exp = tls_exp;
2715 fixups[fc].opindex = *opindex_ptr;
2716 fixups[fc].reloc = reloc;
2717 ++fc;
2720 input_line_pointer = hold;
2724 if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2726 /* Some TLS tweaks. */
2727 switch (reloc)
2729 default:
2730 break;
2732 case BFD_RELOC_PPC_TLS:
2733 insn = ppc_insert_operand (insn, operand, ppc_obj64 ? 13 : 2,
2734 ppc_cpu, (char *) NULL, 0);
2735 break;
2737 /* We'll only use the 32 (or 64) bit form of these relocations
2738 in constants. Instructions get the 16 bit form. */
2739 case BFD_RELOC_PPC_DTPREL:
2740 reloc = BFD_RELOC_PPC_DTPREL16;
2741 break;
2742 case BFD_RELOC_PPC_TPREL:
2743 reloc = BFD_RELOC_PPC_TPREL16;
2744 break;
2747 /* For the absolute forms of branches, convert the PC
2748 relative form back into the absolute. */
2749 if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0)
2751 switch (reloc)
2753 case BFD_RELOC_PPC_B26:
2754 reloc = BFD_RELOC_PPC_BA26;
2755 break;
2756 case BFD_RELOC_PPC_B16:
2757 reloc = BFD_RELOC_PPC_BA16;
2758 break;
2759 case BFD_RELOC_PPC_B16_BRTAKEN:
2760 reloc = BFD_RELOC_PPC_BA16_BRTAKEN;
2761 break;
2762 case BFD_RELOC_PPC_B16_BRNTAKEN:
2763 reloc = BFD_RELOC_PPC_BA16_BRNTAKEN;
2764 break;
2765 default:
2766 break;
2770 if (ppc_obj64
2771 && (operand->flags & (PPC_OPERAND_DS | PPC_OPERAND_DQ)) != 0)
2773 switch (reloc)
2775 case BFD_RELOC_16:
2776 reloc = BFD_RELOC_PPC64_ADDR16_DS;
2777 break;
2778 case BFD_RELOC_LO16:
2779 reloc = BFD_RELOC_PPC64_ADDR16_LO_DS;
2780 break;
2781 case BFD_RELOC_16_GOTOFF:
2782 reloc = BFD_RELOC_PPC64_GOT16_DS;
2783 break;
2784 case BFD_RELOC_LO16_GOTOFF:
2785 reloc = BFD_RELOC_PPC64_GOT16_LO_DS;
2786 break;
2787 case BFD_RELOC_LO16_PLTOFF:
2788 reloc = BFD_RELOC_PPC64_PLT16_LO_DS;
2789 break;
2790 case BFD_RELOC_16_BASEREL:
2791 reloc = BFD_RELOC_PPC64_SECTOFF_DS;
2792 break;
2793 case BFD_RELOC_LO16_BASEREL:
2794 reloc = BFD_RELOC_PPC64_SECTOFF_LO_DS;
2795 break;
2796 case BFD_RELOC_PPC_TOC16:
2797 reloc = BFD_RELOC_PPC64_TOC16_DS;
2798 break;
2799 case BFD_RELOC_PPC64_TOC16_LO:
2800 reloc = BFD_RELOC_PPC64_TOC16_LO_DS;
2801 break;
2802 case BFD_RELOC_PPC64_PLTGOT16:
2803 reloc = BFD_RELOC_PPC64_PLTGOT16_DS;
2804 break;
2805 case BFD_RELOC_PPC64_PLTGOT16_LO:
2806 reloc = BFD_RELOC_PPC64_PLTGOT16_LO_DS;
2807 break;
2808 case BFD_RELOC_PPC_DTPREL16:
2809 reloc = BFD_RELOC_PPC64_DTPREL16_DS;
2810 break;
2811 case BFD_RELOC_PPC_DTPREL16_LO:
2812 reloc = BFD_RELOC_PPC64_DTPREL16_LO_DS;
2813 break;
2814 case BFD_RELOC_PPC_TPREL16:
2815 reloc = BFD_RELOC_PPC64_TPREL16_DS;
2816 break;
2817 case BFD_RELOC_PPC_TPREL16_LO:
2818 reloc = BFD_RELOC_PPC64_TPREL16_LO_DS;
2819 break;
2820 case BFD_RELOC_PPC_GOT_DTPREL16:
2821 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
2822 case BFD_RELOC_PPC_GOT_TPREL16:
2823 case BFD_RELOC_PPC_GOT_TPREL16_LO:
2824 break;
2825 default:
2826 as_bad (_("unsupported relocation for DS offset field"));
2827 break;
2832 /* We need to generate a fixup for this expression. */
2833 if (fc >= MAX_INSN_FIXUPS)
2834 as_fatal (_("too many fixups"));
2835 fixups[fc].exp = ex;
2836 fixups[fc].opindex = *opindex_ptr;
2837 fixups[fc].reloc = reloc;
2838 ++fc;
2840 #else /* OBJ_ELF */
2841 else
2843 /* We need to generate a fixup for this expression. */
2844 if (fc >= MAX_INSN_FIXUPS)
2845 as_fatal (_("too many fixups"));
2846 fixups[fc].exp = ex;
2847 fixups[fc].opindex = *opindex_ptr;
2848 fixups[fc].reloc = BFD_RELOC_UNUSED;
2849 ++fc;
2851 #endif /* OBJ_ELF */
2853 if (need_paren)
2855 endc = ')';
2856 need_paren = 0;
2857 /* If expecting more operands, then we want to see "),". */
2858 if (*str == endc && opindex_ptr[1] != 0)
2861 ++str;
2862 while (ISSPACE (*str));
2863 endc = ',';
2866 else if ((operand->flags & PPC_OPERAND_PARENS) != 0)
2868 endc = '(';
2869 need_paren = 1;
2871 else
2872 endc = ',';
2874 /* The call to expression should have advanced str past any
2875 whitespace. */
2876 if (*str != endc
2877 && (endc != ',' || *str != '\0'))
2879 as_bad (_("syntax error; found `%c' but expected `%c'"), *str, endc);
2880 break;
2883 if (*str != '\0')
2884 ++str;
2887 while (ISSPACE (*str))
2888 ++str;
2890 if (*str != '\0')
2891 as_bad (_("junk at end of line: `%s'"), str);
2893 #ifdef OBJ_ELF
2894 /* Do we need/want a APUinfo section? */
2895 if ((ppc_cpu & PPC_OPCODE_E500MC) != 0)
2897 /* These are all version "1". */
2898 if (opcode->flags & PPC_OPCODE_SPE)
2899 ppc_apuinfo_section_add (PPC_APUINFO_SPE, 1);
2900 if (opcode->flags & PPC_OPCODE_ISEL)
2901 ppc_apuinfo_section_add (PPC_APUINFO_ISEL, 1);
2902 if (opcode->flags & PPC_OPCODE_EFS)
2903 ppc_apuinfo_section_add (PPC_APUINFO_EFS, 1);
2904 if (opcode->flags & PPC_OPCODE_BRLOCK)
2905 ppc_apuinfo_section_add (PPC_APUINFO_BRLOCK, 1);
2906 if (opcode->flags & PPC_OPCODE_PMR)
2907 ppc_apuinfo_section_add (PPC_APUINFO_PMR, 1);
2908 if (opcode->flags & PPC_OPCODE_CACHELCK)
2909 ppc_apuinfo_section_add (PPC_APUINFO_CACHELCK, 1);
2910 if (opcode->flags & PPC_OPCODE_RFMCI)
2911 ppc_apuinfo_section_add (PPC_APUINFO_RFMCI, 1);
2913 #endif
2915 /* Write out the instruction. */
2916 f = frag_more (4);
2917 addr_mod = frag_now_fix () & 3;
2918 if (frag_now->has_code && frag_now->insn_addr != addr_mod)
2919 as_bad (_("instruction address is not a multiple of 4"));
2920 frag_now->insn_addr = addr_mod;
2921 frag_now->has_code = 1;
2922 md_number_to_chars (f, insn, 4);
2924 #ifdef OBJ_ELF
2925 dwarf2_emit_insn (4);
2926 #endif
2928 /* Create any fixups. At this point we do not use a
2929 bfd_reloc_code_real_type, but instead just use the
2930 BFD_RELOC_UNUSED plus the operand index. This lets us easily
2931 handle fixups for any operand type, although that is admittedly
2932 not a very exciting feature. We pick a BFD reloc type in
2933 md_apply_fix. */
2934 for (i = 0; i < fc; i++)
2936 if (fixups[i].reloc != BFD_RELOC_UNUSED)
2938 reloc_howto_type *reloc_howto;
2939 int size;
2940 int offset;
2941 fixS *fixP;
2943 reloc_howto = bfd_reloc_type_lookup (stdoutput, fixups[i].reloc);
2944 if (!reloc_howto)
2945 abort ();
2947 size = bfd_get_reloc_size (reloc_howto);
2948 offset = target_big_endian ? (4 - size) : 0;
2950 if (size < 1 || size > 4)
2951 abort ();
2953 fixP = fix_new_exp (frag_now,
2954 f - frag_now->fr_literal + offset,
2955 size,
2956 &fixups[i].exp,
2957 reloc_howto->pc_relative,
2958 fixups[i].reloc);
2960 /* Turn off complaints that the addend is too large for things like
2961 foo+100000@ha. */
2962 switch (fixups[i].reloc)
2964 case BFD_RELOC_16_GOTOFF:
2965 case BFD_RELOC_PPC_TOC16:
2966 case BFD_RELOC_LO16:
2967 case BFD_RELOC_HI16:
2968 case BFD_RELOC_HI16_S:
2969 #ifdef OBJ_ELF
2970 case BFD_RELOC_PPC64_HIGHER:
2971 case BFD_RELOC_PPC64_HIGHER_S:
2972 case BFD_RELOC_PPC64_HIGHEST:
2973 case BFD_RELOC_PPC64_HIGHEST_S:
2974 #endif
2975 fixP->fx_no_overflow = 1;
2976 break;
2977 default:
2978 break;
2981 else
2983 const struct powerpc_operand *operand;
2985 operand = &powerpc_operands[fixups[i].opindex];
2986 fix_new_exp (frag_now,
2987 f - frag_now->fr_literal,
2989 &fixups[i].exp,
2990 (operand->flags & PPC_OPERAND_RELATIVE) != 0,
2991 ((bfd_reloc_code_real_type)
2992 (fixups[i].opindex + (int) BFD_RELOC_UNUSED)));
2997 /* Handle a macro. Gather all the operands, transform them as
2998 described by the macro, and call md_assemble recursively. All the
2999 operands are separated by commas; we don't accept parentheses
3000 around operands here. */
3002 static void
3003 ppc_macro (char *str, const struct powerpc_macro *macro)
3005 char *operands[10];
3006 unsigned int count;
3007 char *s;
3008 unsigned int len;
3009 const char *format;
3010 unsigned int arg;
3011 char *send;
3012 char *complete;
3014 /* Gather the users operands into the operands array. */
3015 count = 0;
3016 s = str;
3017 while (1)
3019 if (count >= sizeof operands / sizeof operands[0])
3020 break;
3021 operands[count++] = s;
3022 s = strchr (s, ',');
3023 if (s == (char *) NULL)
3024 break;
3025 *s++ = '\0';
3028 if (count != macro->operands)
3030 as_bad (_("wrong number of operands"));
3031 return;
3034 /* Work out how large the string must be (the size is unbounded
3035 because it includes user input). */
3036 len = 0;
3037 format = macro->format;
3038 while (*format != '\0')
3040 if (*format != '%')
3042 ++len;
3043 ++format;
3045 else
3047 arg = strtol (format + 1, &send, 10);
3048 know (send != format && arg < count);
3049 len += strlen (operands[arg]);
3050 format = send;
3054 /* Put the string together. */
3055 complete = s = (char *) alloca (len + 1);
3056 format = macro->format;
3057 while (*format != '\0')
3059 if (*format != '%')
3060 *s++ = *format++;
3061 else
3063 arg = strtol (format + 1, &send, 10);
3064 strcpy (s, operands[arg]);
3065 s += strlen (s);
3066 format = send;
3069 *s = '\0';
3071 /* Assemble the constructed instruction. */
3072 md_assemble (complete);
3075 #ifdef OBJ_ELF
3076 /* For ELF, add support for SHF_EXCLUDE and SHT_ORDERED. */
3078 bfd_vma
3079 ppc_section_letter (int letter, char **ptr_msg)
3081 if (letter == 'e')
3082 return SHF_EXCLUDE;
3084 *ptr_msg = _("Bad .section directive: want a,e,w,x,M,S,G,T in string");
3085 return -1;
3088 bfd_vma
3089 ppc_section_word (char *str, size_t len)
3091 if (len == 7 && strncmp (str, "exclude", 7) == 0)
3092 return SHF_EXCLUDE;
3094 return -1;
3098 ppc_section_type (char *str, size_t len)
3100 if (len == 7 && strncmp (str, "ordered", 7) == 0)
3101 return SHT_ORDERED;
3103 return -1;
3107 ppc_section_flags (flagword flags, bfd_vma attr, int type)
3109 if (type == SHT_ORDERED)
3110 flags |= SEC_ALLOC | SEC_LOAD | SEC_SORT_ENTRIES;
3112 if (attr & SHF_EXCLUDE)
3113 flags |= SEC_EXCLUDE;
3115 return flags;
3117 #endif /* OBJ_ELF */
3120 /* Pseudo-op handling. */
3122 /* The .byte pseudo-op. This is similar to the normal .byte
3123 pseudo-op, but it can also take a single ASCII string. */
3125 static void
3126 ppc_byte (int ignore ATTRIBUTE_UNUSED)
3128 if (*input_line_pointer != '\"')
3130 cons (1);
3131 return;
3134 /* Gather characters. A real double quote is doubled. Unusual
3135 characters are not permitted. */
3136 ++input_line_pointer;
3137 while (1)
3139 char c;
3141 c = *input_line_pointer++;
3143 if (c == '\"')
3145 if (*input_line_pointer != '\"')
3146 break;
3147 ++input_line_pointer;
3150 FRAG_APPEND_1_CHAR (c);
3153 demand_empty_rest_of_line ();
3156 #ifdef OBJ_XCOFF
3158 /* XCOFF specific pseudo-op handling. */
3160 /* This is set if we are creating a .stabx symbol, since we don't want
3161 to handle symbol suffixes for such symbols. */
3162 static bfd_boolean ppc_stab_symbol;
3164 /* The .comm and .lcomm pseudo-ops for XCOFF. XCOFF puts common
3165 symbols in the .bss segment as though they were local common
3166 symbols, and uses a different smclas. The native Aix 4.3.3 assembler
3167 aligns .comm and .lcomm to 4 bytes. */
3169 static void
3170 ppc_comm (int lcomm)
3172 asection *current_seg = now_seg;
3173 subsegT current_subseg = now_subseg;
3174 char *name;
3175 char endc;
3176 char *end_name;
3177 offsetT size;
3178 offsetT align;
3179 symbolS *lcomm_sym = NULL;
3180 symbolS *sym;
3181 char *pfrag;
3183 name = input_line_pointer;
3184 endc = get_symbol_end ();
3185 end_name = input_line_pointer;
3186 *end_name = endc;
3188 if (*input_line_pointer != ',')
3190 as_bad (_("missing size"));
3191 ignore_rest_of_line ();
3192 return;
3194 ++input_line_pointer;
3196 size = get_absolute_expression ();
3197 if (size < 0)
3199 as_bad (_("negative size"));
3200 ignore_rest_of_line ();
3201 return;
3204 if (! lcomm)
3206 /* The third argument to .comm is the alignment. */
3207 if (*input_line_pointer != ',')
3208 align = 2;
3209 else
3211 ++input_line_pointer;
3212 align = get_absolute_expression ();
3213 if (align <= 0)
3215 as_warn (_("ignoring bad alignment"));
3216 align = 2;
3220 else
3222 char *lcomm_name;
3223 char lcomm_endc;
3225 if (size <= 4)
3226 align = 2;
3227 else
3228 align = 3;
3230 /* The third argument to .lcomm appears to be the real local
3231 common symbol to create. References to the symbol named in
3232 the first argument are turned into references to the third
3233 argument. */
3234 if (*input_line_pointer != ',')
3236 as_bad (_("missing real symbol name"));
3237 ignore_rest_of_line ();
3238 return;
3240 ++input_line_pointer;
3242 lcomm_name = input_line_pointer;
3243 lcomm_endc = get_symbol_end ();
3245 lcomm_sym = symbol_find_or_make (lcomm_name);
3247 *input_line_pointer = lcomm_endc;
3250 *end_name = '\0';
3251 sym = symbol_find_or_make (name);
3252 *end_name = endc;
3254 if (S_IS_DEFINED (sym)
3255 || S_GET_VALUE (sym) != 0)
3257 as_bad (_("attempt to redefine symbol"));
3258 ignore_rest_of_line ();
3259 return;
3262 record_alignment (bss_section, align);
3264 if (! lcomm
3265 || ! S_IS_DEFINED (lcomm_sym))
3267 symbolS *def_sym;
3268 offsetT def_size;
3270 if (! lcomm)
3272 def_sym = sym;
3273 def_size = size;
3274 S_SET_EXTERNAL (sym);
3276 else
3278 symbol_get_tc (lcomm_sym)->output = 1;
3279 def_sym = lcomm_sym;
3280 def_size = 0;
3283 subseg_set (bss_section, 1);
3284 frag_align (align, 0, 0);
3286 symbol_set_frag (def_sym, frag_now);
3287 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, def_sym,
3288 def_size, (char *) NULL);
3289 *pfrag = 0;
3290 S_SET_SEGMENT (def_sym, bss_section);
3291 symbol_get_tc (def_sym)->align = align;
3293 else if (lcomm)
3295 /* Align the size of lcomm_sym. */
3296 symbol_get_frag (lcomm_sym)->fr_offset =
3297 ((symbol_get_frag (lcomm_sym)->fr_offset + (1 << align) - 1)
3298 &~ ((1 << align) - 1));
3299 if (align > symbol_get_tc (lcomm_sym)->align)
3300 symbol_get_tc (lcomm_sym)->align = align;
3303 if (lcomm)
3305 /* Make sym an offset from lcomm_sym. */
3306 S_SET_SEGMENT (sym, bss_section);
3307 symbol_set_frag (sym, symbol_get_frag (lcomm_sym));
3308 S_SET_VALUE (sym, symbol_get_frag (lcomm_sym)->fr_offset);
3309 symbol_get_frag (lcomm_sym)->fr_offset += size;
3312 subseg_set (current_seg, current_subseg);
3314 demand_empty_rest_of_line ();
3317 /* The .csect pseudo-op. This switches us into a different
3318 subsegment. The first argument is a symbol whose value is the
3319 start of the .csect. In COFF, csect symbols get special aux
3320 entries defined by the x_csect field of union internal_auxent. The
3321 optional second argument is the alignment (the default is 2). */
3323 static void
3324 ppc_csect (int ignore ATTRIBUTE_UNUSED)
3326 char *name;
3327 char endc;
3328 symbolS *sym;
3329 offsetT align;
3331 name = input_line_pointer;
3332 endc = get_symbol_end ();
3334 sym = symbol_find_or_make (name);
3336 *input_line_pointer = endc;
3338 if (S_GET_NAME (sym)[0] == '\0')
3340 /* An unnamed csect is assumed to be [PR]. */
3341 symbol_get_tc (sym)->class = XMC_PR;
3344 align = 2;
3345 if (*input_line_pointer == ',')
3347 ++input_line_pointer;
3348 align = get_absolute_expression ();
3351 ppc_change_csect (sym, align);
3353 demand_empty_rest_of_line ();
3356 /* Change to a different csect. */
3358 static void
3359 ppc_change_csect (symbolS *sym, offsetT align)
3361 if (S_IS_DEFINED (sym))
3362 subseg_set (S_GET_SEGMENT (sym), symbol_get_tc (sym)->subseg);
3363 else
3365 symbolS **list_ptr;
3366 int after_toc;
3367 int hold_chunksize;
3368 symbolS *list;
3369 int is_code;
3370 segT sec;
3372 /* This is a new csect. We need to look at the symbol class to
3373 figure out whether it should go in the text section or the
3374 data section. */
3375 after_toc = 0;
3376 is_code = 0;
3377 switch (symbol_get_tc (sym)->class)
3379 case XMC_PR:
3380 case XMC_RO:
3381 case XMC_DB:
3382 case XMC_GL:
3383 case XMC_XO:
3384 case XMC_SV:
3385 case XMC_TI:
3386 case XMC_TB:
3387 S_SET_SEGMENT (sym, text_section);
3388 symbol_get_tc (sym)->subseg = ppc_text_subsegment;
3389 ++ppc_text_subsegment;
3390 list_ptr = &ppc_text_csects;
3391 is_code = 1;
3392 break;
3393 case XMC_RW:
3394 case XMC_TC0:
3395 case XMC_TC:
3396 case XMC_DS:
3397 case XMC_UA:
3398 case XMC_BS:
3399 case XMC_UC:
3400 if (ppc_toc_csect != NULL
3401 && (symbol_get_tc (ppc_toc_csect)->subseg + 1
3402 == ppc_data_subsegment))
3403 after_toc = 1;
3404 S_SET_SEGMENT (sym, data_section);
3405 symbol_get_tc (sym)->subseg = ppc_data_subsegment;
3406 ++ppc_data_subsegment;
3407 list_ptr = &ppc_data_csects;
3408 break;
3409 default:
3410 abort ();
3413 /* We set the obstack chunk size to a small value before
3414 changing subsegments, so that we don't use a lot of memory
3415 space for what may be a small section. */
3416 hold_chunksize = chunksize;
3417 chunksize = 64;
3419 sec = subseg_new (segment_name (S_GET_SEGMENT (sym)),
3420 symbol_get_tc (sym)->subseg);
3422 chunksize = hold_chunksize;
3424 if (after_toc)
3425 ppc_after_toc_frag = frag_now;
3427 record_alignment (sec, align);
3428 if (is_code)
3429 frag_align_code (align, 0);
3430 else
3431 frag_align (align, 0, 0);
3433 symbol_set_frag (sym, frag_now);
3434 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3436 symbol_get_tc (sym)->align = align;
3437 symbol_get_tc (sym)->output = 1;
3438 symbol_get_tc (sym)->within = sym;
3440 for (list = *list_ptr;
3441 symbol_get_tc (list)->next != (symbolS *) NULL;
3442 list = symbol_get_tc (list)->next)
3444 symbol_get_tc (list)->next = sym;
3446 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3447 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
3448 &symbol_lastP);
3451 ppc_current_csect = sym;
3454 /* This function handles the .text and .data pseudo-ops. These
3455 pseudo-ops aren't really used by XCOFF; we implement them for the
3456 convenience of people who aren't used to XCOFF. */
3458 static void
3459 ppc_section (int type)
3461 const char *name;
3462 symbolS *sym;
3464 if (type == 't')
3465 name = ".text[PR]";
3466 else if (type == 'd')
3467 name = ".data[RW]";
3468 else
3469 abort ();
3471 sym = symbol_find_or_make (name);
3473 ppc_change_csect (sym, 2);
3475 demand_empty_rest_of_line ();
3478 /* This function handles the .section pseudo-op. This is mostly to
3479 give an error, since XCOFF only supports .text, .data and .bss, but
3480 we do permit the user to name the text or data section. */
3482 static void
3483 ppc_named_section (int ignore ATTRIBUTE_UNUSED)
3485 char *user_name;
3486 const char *real_name;
3487 char c;
3488 symbolS *sym;
3490 user_name = input_line_pointer;
3491 c = get_symbol_end ();
3493 if (strcmp (user_name, ".text") == 0)
3494 real_name = ".text[PR]";
3495 else if (strcmp (user_name, ".data") == 0)
3496 real_name = ".data[RW]";
3497 else
3499 as_bad (_("The XCOFF file format does not support arbitrary sections"));
3500 *input_line_pointer = c;
3501 ignore_rest_of_line ();
3502 return;
3505 *input_line_pointer = c;
3507 sym = symbol_find_or_make (real_name);
3509 ppc_change_csect (sym, 2);
3511 demand_empty_rest_of_line ();
3514 /* The .extern pseudo-op. We create an undefined symbol. */
3516 static void
3517 ppc_extern (int ignore ATTRIBUTE_UNUSED)
3519 char *name;
3520 char endc;
3522 name = input_line_pointer;
3523 endc = get_symbol_end ();
3525 (void) symbol_find_or_make (name);
3527 *input_line_pointer = endc;
3529 demand_empty_rest_of_line ();
3532 /* The .lglobl pseudo-op. Keep the symbol in the symbol table. */
3534 static void
3535 ppc_lglobl (int ignore ATTRIBUTE_UNUSED)
3537 char *name;
3538 char endc;
3539 symbolS *sym;
3541 name = input_line_pointer;
3542 endc = get_symbol_end ();
3544 sym = symbol_find_or_make (name);
3546 *input_line_pointer = endc;
3548 symbol_get_tc (sym)->output = 1;
3550 demand_empty_rest_of_line ();
3553 /* The .rename pseudo-op. The RS/6000 assembler can rename symbols,
3554 although I don't know why it bothers. */
3556 static void
3557 ppc_rename (int ignore ATTRIBUTE_UNUSED)
3559 char *name;
3560 char endc;
3561 symbolS *sym;
3562 int len;
3564 name = input_line_pointer;
3565 endc = get_symbol_end ();
3567 sym = symbol_find_or_make (name);
3569 *input_line_pointer = endc;
3571 if (*input_line_pointer != ',')
3573 as_bad (_("missing rename string"));
3574 ignore_rest_of_line ();
3575 return;
3577 ++input_line_pointer;
3579 symbol_get_tc (sym)->real_name = demand_copy_C_string (&len);
3581 demand_empty_rest_of_line ();
3584 /* The .stabx pseudo-op. This is similar to a normal .stabs
3585 pseudo-op, but slightly different. A sample is
3586 .stabx "main:F-1",.main,142,0
3587 The first argument is the symbol name to create. The second is the
3588 value, and the third is the storage class. The fourth seems to be
3589 always zero, and I am assuming it is the type. */
3591 static void
3592 ppc_stabx (int ignore ATTRIBUTE_UNUSED)
3594 char *name;
3595 int len;
3596 symbolS *sym;
3597 expressionS exp;
3599 name = demand_copy_C_string (&len);
3601 if (*input_line_pointer != ',')
3603 as_bad (_("missing value"));
3604 return;
3606 ++input_line_pointer;
3608 ppc_stab_symbol = TRUE;
3609 sym = symbol_make (name);
3610 ppc_stab_symbol = FALSE;
3612 symbol_get_tc (sym)->real_name = name;
3614 (void) expression (&exp);
3616 switch (exp.X_op)
3618 case O_illegal:
3619 case O_absent:
3620 case O_big:
3621 as_bad (_("illegal .stabx expression; zero assumed"));
3622 exp.X_add_number = 0;
3623 /* Fall through. */
3624 case O_constant:
3625 S_SET_VALUE (sym, (valueT) exp.X_add_number);
3626 symbol_set_frag (sym, &zero_address_frag);
3627 break;
3629 case O_symbol:
3630 if (S_GET_SEGMENT (exp.X_add_symbol) == undefined_section)
3631 symbol_set_value_expression (sym, &exp);
3632 else
3634 S_SET_VALUE (sym,
3635 exp.X_add_number + S_GET_VALUE (exp.X_add_symbol));
3636 symbol_set_frag (sym, symbol_get_frag (exp.X_add_symbol));
3638 break;
3640 default:
3641 /* The value is some complex expression. This will probably
3642 fail at some later point, but this is probably the right
3643 thing to do here. */
3644 symbol_set_value_expression (sym, &exp);
3645 break;
3648 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3649 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3651 if (*input_line_pointer != ',')
3653 as_bad (_("missing class"));
3654 return;
3656 ++input_line_pointer;
3658 S_SET_STORAGE_CLASS (sym, get_absolute_expression ());
3660 if (*input_line_pointer != ',')
3662 as_bad (_("missing type"));
3663 return;
3665 ++input_line_pointer;
3667 S_SET_DATA_TYPE (sym, get_absolute_expression ());
3669 symbol_get_tc (sym)->output = 1;
3671 if (S_GET_STORAGE_CLASS (sym) == C_STSYM) {
3673 symbol_get_tc (sym)->within = ppc_current_block;
3675 /* In this case :
3677 .bs name
3678 .stabx "z",arrays_,133,0
3681 .comm arrays_,13768,3
3683 resolve_symbol_value will copy the exp's "within" into sym's when the
3684 offset is 0. Since this seems to be corner case problem,
3685 only do the correction for storage class C_STSYM. A better solution
3686 would be to have the tc field updated in ppc_symbol_new_hook. */
3688 if (exp.X_op == O_symbol)
3690 symbol_get_tc (exp.X_add_symbol)->within = ppc_current_block;
3694 if (exp.X_op != O_symbol
3695 || ! S_IS_EXTERNAL (exp.X_add_symbol)
3696 || S_GET_SEGMENT (exp.X_add_symbol) != bss_section)
3697 ppc_frob_label (sym);
3698 else
3700 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3701 symbol_append (sym, exp.X_add_symbol, &symbol_rootP, &symbol_lastP);
3702 if (symbol_get_tc (ppc_current_csect)->within == exp.X_add_symbol)
3703 symbol_get_tc (ppc_current_csect)->within = sym;
3706 demand_empty_rest_of_line ();
3709 /* The .function pseudo-op. This takes several arguments. The first
3710 argument seems to be the external name of the symbol. The second
3711 argument seems to be the label for the start of the function. gcc
3712 uses the same name for both. I have no idea what the third and
3713 fourth arguments are meant to be. The optional fifth argument is
3714 an expression for the size of the function. In COFF this symbol
3715 gets an aux entry like that used for a csect. */
3717 static void
3718 ppc_function (int ignore ATTRIBUTE_UNUSED)
3720 char *name;
3721 char endc;
3722 char *s;
3723 symbolS *ext_sym;
3724 symbolS *lab_sym;
3726 name = input_line_pointer;
3727 endc = get_symbol_end ();
3729 /* Ignore any [PR] suffix. */
3730 name = ppc_canonicalize_symbol_name (name);
3731 s = strchr (name, '[');
3732 if (s != (char *) NULL
3733 && strcmp (s + 1, "PR]") == 0)
3734 *s = '\0';
3736 ext_sym = symbol_find_or_make (name);
3738 *input_line_pointer = endc;
3740 if (*input_line_pointer != ',')
3742 as_bad (_("missing symbol name"));
3743 ignore_rest_of_line ();
3744 return;
3746 ++input_line_pointer;
3748 name = input_line_pointer;
3749 endc = get_symbol_end ();
3751 lab_sym = symbol_find_or_make (name);
3753 *input_line_pointer = endc;
3755 if (ext_sym != lab_sym)
3757 expressionS exp;
3759 exp.X_op = O_symbol;
3760 exp.X_add_symbol = lab_sym;
3761 exp.X_op_symbol = NULL;
3762 exp.X_add_number = 0;
3763 exp.X_unsigned = 0;
3764 symbol_set_value_expression (ext_sym, &exp);
3767 if (symbol_get_tc (ext_sym)->class == -1)
3768 symbol_get_tc (ext_sym)->class = XMC_PR;
3769 symbol_get_tc (ext_sym)->output = 1;
3771 if (*input_line_pointer == ',')
3773 expressionS ignore;
3775 /* Ignore the third argument. */
3776 ++input_line_pointer;
3777 expression (&ignore);
3778 if (*input_line_pointer == ',')
3780 /* Ignore the fourth argument. */
3781 ++input_line_pointer;
3782 expression (&ignore);
3783 if (*input_line_pointer == ',')
3785 /* The fifth argument is the function size. */
3786 ++input_line_pointer;
3787 symbol_get_tc (ext_sym)->size = symbol_new ("L0\001",
3788 absolute_section,
3789 (valueT) 0,
3790 &zero_address_frag);
3791 pseudo_set (symbol_get_tc (ext_sym)->size);
3796 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
3797 SF_SET_FUNCTION (ext_sym);
3798 SF_SET_PROCESS (ext_sym);
3799 coff_add_linesym (ext_sym);
3801 demand_empty_rest_of_line ();
3804 /* The .bf pseudo-op. This is just like a COFF C_FCN symbol named
3805 ".bf". If the pseudo op .bi was seen before .bf, patch the .bi sym
3806 with the correct line number */
3808 static symbolS *saved_bi_sym = 0;
3810 static void
3811 ppc_bf (int ignore ATTRIBUTE_UNUSED)
3813 symbolS *sym;
3815 sym = symbol_make (".bf");
3816 S_SET_SEGMENT (sym, text_section);
3817 symbol_set_frag (sym, frag_now);
3818 S_SET_VALUE (sym, frag_now_fix ());
3819 S_SET_STORAGE_CLASS (sym, C_FCN);
3821 coff_line_base = get_absolute_expression ();
3823 S_SET_NUMBER_AUXILIARY (sym, 1);
3824 SA_SET_SYM_LNNO (sym, coff_line_base);
3826 /* Line number for bi. */
3827 if (saved_bi_sym)
3829 S_SET_VALUE (saved_bi_sym, coff_n_line_nos);
3830 saved_bi_sym = 0;
3834 symbol_get_tc (sym)->output = 1;
3836 ppc_frob_label (sym);
3838 demand_empty_rest_of_line ();
3841 /* The .ef pseudo-op. This is just like a COFF C_FCN symbol named
3842 ".ef", except that the line number is absolute, not relative to the
3843 most recent ".bf" symbol. */
3845 static void
3846 ppc_ef (int ignore ATTRIBUTE_UNUSED)
3848 symbolS *sym;
3850 sym = symbol_make (".ef");
3851 S_SET_SEGMENT (sym, text_section);
3852 symbol_set_frag (sym, frag_now);
3853 S_SET_VALUE (sym, frag_now_fix ());
3854 S_SET_STORAGE_CLASS (sym, C_FCN);
3855 S_SET_NUMBER_AUXILIARY (sym, 1);
3856 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3857 symbol_get_tc (sym)->output = 1;
3859 ppc_frob_label (sym);
3861 demand_empty_rest_of_line ();
3864 /* The .bi and .ei pseudo-ops. These take a string argument and
3865 generates a C_BINCL or C_EINCL symbol, which goes at the start of
3866 the symbol list. The value of .bi will be know when the next .bf
3867 is encountered. */
3869 static void
3870 ppc_biei (int ei)
3872 static symbolS *last_biei;
3874 char *name;
3875 int len;
3876 symbolS *sym;
3877 symbolS *look;
3879 name = demand_copy_C_string (&len);
3881 /* The value of these symbols is actually file offset. Here we set
3882 the value to the index into the line number entries. In
3883 ppc_frob_symbols we set the fix_line field, which will cause BFD
3884 to do the right thing. */
3886 sym = symbol_make (name);
3887 /* obj-coff.c currently only handles line numbers correctly in the
3888 .text section. */
3889 S_SET_SEGMENT (sym, text_section);
3890 S_SET_VALUE (sym, coff_n_line_nos);
3891 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3893 S_SET_STORAGE_CLASS (sym, ei ? C_EINCL : C_BINCL);
3894 symbol_get_tc (sym)->output = 1;
3896 /* Save bi. */
3897 if (ei)
3898 saved_bi_sym = 0;
3899 else
3900 saved_bi_sym = sym;
3902 for (look = last_biei ? last_biei : symbol_rootP;
3903 (look != (symbolS *) NULL
3904 && (S_GET_STORAGE_CLASS (look) == C_FILE
3905 || S_GET_STORAGE_CLASS (look) == C_BINCL
3906 || S_GET_STORAGE_CLASS (look) == C_EINCL));
3907 look = symbol_next (look))
3909 if (look != (symbolS *) NULL)
3911 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3912 symbol_insert (sym, look, &symbol_rootP, &symbol_lastP);
3913 last_biei = sym;
3916 demand_empty_rest_of_line ();
3919 /* The .bs pseudo-op. This generates a C_BSTAT symbol named ".bs".
3920 There is one argument, which is a csect symbol. The value of the
3921 .bs symbol is the index of this csect symbol. */
3923 static void
3924 ppc_bs (int ignore ATTRIBUTE_UNUSED)
3926 char *name;
3927 char endc;
3928 symbolS *csect;
3929 symbolS *sym;
3931 if (ppc_current_block != NULL)
3932 as_bad (_("nested .bs blocks"));
3934 name = input_line_pointer;
3935 endc = get_symbol_end ();
3937 csect = symbol_find_or_make (name);
3939 *input_line_pointer = endc;
3941 sym = symbol_make (".bs");
3942 S_SET_SEGMENT (sym, now_seg);
3943 S_SET_STORAGE_CLASS (sym, C_BSTAT);
3944 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3945 symbol_get_tc (sym)->output = 1;
3947 symbol_get_tc (sym)->within = csect;
3949 ppc_frob_label (sym);
3951 ppc_current_block = sym;
3953 demand_empty_rest_of_line ();
3956 /* The .es pseudo-op. Generate a C_ESTART symbol named .es. */
3958 static void
3959 ppc_es (int ignore ATTRIBUTE_UNUSED)
3961 symbolS *sym;
3963 if (ppc_current_block == NULL)
3964 as_bad (_(".es without preceding .bs"));
3966 sym = symbol_make (".es");
3967 S_SET_SEGMENT (sym, now_seg);
3968 S_SET_STORAGE_CLASS (sym, C_ESTAT);
3969 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3970 symbol_get_tc (sym)->output = 1;
3972 ppc_frob_label (sym);
3974 ppc_current_block = NULL;
3976 demand_empty_rest_of_line ();
3979 /* The .bb pseudo-op. Generate a C_BLOCK symbol named .bb, with a
3980 line number. */
3982 static void
3983 ppc_bb (int ignore ATTRIBUTE_UNUSED)
3985 symbolS *sym;
3987 sym = symbol_make (".bb");
3988 S_SET_SEGMENT (sym, text_section);
3989 symbol_set_frag (sym, frag_now);
3990 S_SET_VALUE (sym, frag_now_fix ());
3991 S_SET_STORAGE_CLASS (sym, C_BLOCK);
3993 S_SET_NUMBER_AUXILIARY (sym, 1);
3994 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3996 symbol_get_tc (sym)->output = 1;
3998 SF_SET_PROCESS (sym);
4000 ppc_frob_label (sym);
4002 demand_empty_rest_of_line ();
4005 /* The .eb pseudo-op. Generate a C_BLOCK symbol named .eb, with a
4006 line number. */
4008 static void
4009 ppc_eb (int ignore ATTRIBUTE_UNUSED)
4011 symbolS *sym;
4013 sym = symbol_make (".eb");
4014 S_SET_SEGMENT (sym, text_section);
4015 symbol_set_frag (sym, frag_now);
4016 S_SET_VALUE (sym, frag_now_fix ());
4017 S_SET_STORAGE_CLASS (sym, C_BLOCK);
4018 S_SET_NUMBER_AUXILIARY (sym, 1);
4019 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
4020 symbol_get_tc (sym)->output = 1;
4022 SF_SET_PROCESS (sym);
4024 ppc_frob_label (sym);
4026 demand_empty_rest_of_line ();
4029 /* The .bc pseudo-op. This just creates a C_BCOMM symbol with a
4030 specified name. */
4032 static void
4033 ppc_bc (int ignore ATTRIBUTE_UNUSED)
4035 char *name;
4036 int len;
4037 symbolS *sym;
4039 name = demand_copy_C_string (&len);
4040 sym = symbol_make (name);
4041 S_SET_SEGMENT (sym, ppc_coff_debug_section);
4042 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
4043 S_SET_STORAGE_CLASS (sym, C_BCOMM);
4044 S_SET_VALUE (sym, 0);
4045 symbol_get_tc (sym)->output = 1;
4047 ppc_frob_label (sym);
4049 demand_empty_rest_of_line ();
4052 /* The .ec pseudo-op. This just creates a C_ECOMM symbol. */
4054 static void
4055 ppc_ec (int ignore ATTRIBUTE_UNUSED)
4057 symbolS *sym;
4059 sym = symbol_make (".ec");
4060 S_SET_SEGMENT (sym, ppc_coff_debug_section);
4061 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
4062 S_SET_STORAGE_CLASS (sym, C_ECOMM);
4063 S_SET_VALUE (sym, 0);
4064 symbol_get_tc (sym)->output = 1;
4066 ppc_frob_label (sym);
4068 demand_empty_rest_of_line ();
4071 /* The .toc pseudo-op. Switch to the .toc subsegment. */
4073 static void
4074 ppc_toc (int ignore ATTRIBUTE_UNUSED)
4076 if (ppc_toc_csect != (symbolS *) NULL)
4077 subseg_set (data_section, symbol_get_tc (ppc_toc_csect)->subseg);
4078 else
4080 subsegT subseg;
4081 symbolS *sym;
4082 symbolS *list;
4084 subseg = ppc_data_subsegment;
4085 ++ppc_data_subsegment;
4087 subseg_new (segment_name (data_section), subseg);
4088 ppc_toc_frag = frag_now;
4090 sym = symbol_find_or_make ("TOC[TC0]");
4091 symbol_set_frag (sym, frag_now);
4092 S_SET_SEGMENT (sym, data_section);
4093 S_SET_VALUE (sym, (valueT) frag_now_fix ());
4094 symbol_get_tc (sym)->subseg = subseg;
4095 symbol_get_tc (sym)->output = 1;
4096 symbol_get_tc (sym)->within = sym;
4098 ppc_toc_csect = sym;
4100 for (list = ppc_data_csects;
4101 symbol_get_tc (list)->next != (symbolS *) NULL;
4102 list = symbol_get_tc (list)->next)
4104 symbol_get_tc (list)->next = sym;
4106 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
4107 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
4108 &symbol_lastP);
4111 ppc_current_csect = ppc_toc_csect;
4113 demand_empty_rest_of_line ();
4116 /* The AIX assembler automatically aligns the operands of a .long or
4117 .short pseudo-op, and we want to be compatible. */
4119 static void
4120 ppc_xcoff_cons (int log_size)
4122 frag_align (log_size, 0, 0);
4123 record_alignment (now_seg, log_size);
4124 cons (1 << log_size);
4127 static void
4128 ppc_vbyte (int dummy ATTRIBUTE_UNUSED)
4130 expressionS exp;
4131 int byte_count;
4133 (void) expression (&exp);
4135 if (exp.X_op != O_constant)
4137 as_bad (_("non-constant byte count"));
4138 return;
4141 byte_count = exp.X_add_number;
4143 if (*input_line_pointer != ',')
4145 as_bad (_("missing value"));
4146 return;
4149 ++input_line_pointer;
4150 cons (byte_count);
4153 #endif /* OBJ_XCOFF */
4154 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
4156 /* The .tc pseudo-op. This is used when generating either XCOFF or
4157 ELF. This takes two or more arguments.
4159 When generating XCOFF output, the first argument is the name to
4160 give to this location in the toc; this will be a symbol with class
4161 TC. The rest of the arguments are N-byte values to actually put at
4162 this location in the TOC; often there is just one more argument, a
4163 relocatable symbol reference. The size of the value to store
4164 depends on target word size. A 32-bit target uses 4-byte values, a
4165 64-bit target uses 8-byte values.
4167 When not generating XCOFF output, the arguments are the same, but
4168 the first argument is simply ignored. */
4170 static void
4171 ppc_tc (int ignore ATTRIBUTE_UNUSED)
4173 #ifdef OBJ_XCOFF
4175 /* Define the TOC symbol name. */
4177 char *name;
4178 char endc;
4179 symbolS *sym;
4181 if (ppc_toc_csect == (symbolS *) NULL
4182 || ppc_toc_csect != ppc_current_csect)
4184 as_bad (_(".tc not in .toc section"));
4185 ignore_rest_of_line ();
4186 return;
4189 name = input_line_pointer;
4190 endc = get_symbol_end ();
4192 sym = symbol_find_or_make (name);
4194 *input_line_pointer = endc;
4196 if (S_IS_DEFINED (sym))
4198 symbolS *label;
4200 label = symbol_get_tc (ppc_current_csect)->within;
4201 if (symbol_get_tc (label)->class != XMC_TC0)
4203 as_bad (_(".tc with no label"));
4204 ignore_rest_of_line ();
4205 return;
4208 S_SET_SEGMENT (label, S_GET_SEGMENT (sym));
4209 symbol_set_frag (label, symbol_get_frag (sym));
4210 S_SET_VALUE (label, S_GET_VALUE (sym));
4212 while (! is_end_of_line[(unsigned char) *input_line_pointer])
4213 ++input_line_pointer;
4215 return;
4218 S_SET_SEGMENT (sym, now_seg);
4219 symbol_set_frag (sym, frag_now);
4220 S_SET_VALUE (sym, (valueT) frag_now_fix ());
4221 symbol_get_tc (sym)->class = XMC_TC;
4222 symbol_get_tc (sym)->output = 1;
4224 ppc_frob_label (sym);
4227 #endif /* OBJ_XCOFF */
4228 #ifdef OBJ_ELF
4229 int align;
4231 /* Skip the TOC symbol name. */
4232 while (is_part_of_name (*input_line_pointer)
4233 || *input_line_pointer == ' '
4234 || *input_line_pointer == '['
4235 || *input_line_pointer == ']'
4236 || *input_line_pointer == '{'
4237 || *input_line_pointer == '}')
4238 ++input_line_pointer;
4240 /* Align to a four/eight byte boundary. */
4241 align = ppc_obj64 ? 3 : 2;
4242 frag_align (align, 0, 0);
4243 record_alignment (now_seg, align);
4244 #endif /* OBJ_ELF */
4246 if (*input_line_pointer != ',')
4247 demand_empty_rest_of_line ();
4248 else
4250 ++input_line_pointer;
4251 cons (ppc_obj64 ? 8 : 4);
4255 /* Pseudo-op .machine. */
4257 static void
4258 ppc_machine (int ignore ATTRIBUTE_UNUSED)
4260 char *cpu_string;
4261 #define MAX_HISTORY 100
4262 static ppc_cpu_t *cpu_history;
4263 static int curr_hist;
4265 SKIP_WHITESPACE ();
4267 if (*input_line_pointer == '"')
4269 int len;
4270 cpu_string = demand_copy_C_string (&len);
4272 else
4274 char c;
4275 cpu_string = input_line_pointer;
4276 c = get_symbol_end ();
4277 cpu_string = xstrdup (cpu_string);
4278 *input_line_pointer = c;
4281 if (cpu_string != NULL)
4283 ppc_cpu_t old_cpu = ppc_cpu;
4284 ppc_cpu_t new_cpu;
4285 char *p;
4287 for (p = cpu_string; *p != 0; p++)
4288 *p = TOLOWER (*p);
4290 if (strcmp (cpu_string, "push") == 0)
4292 if (cpu_history == NULL)
4293 cpu_history = xmalloc (MAX_HISTORY * sizeof (*cpu_history));
4295 if (curr_hist >= MAX_HISTORY)
4296 as_bad (_(".machine stack overflow"));
4297 else
4298 cpu_history[curr_hist++] = ppc_cpu;
4300 else if (strcmp (cpu_string, "pop") == 0)
4302 if (curr_hist <= 0)
4303 as_bad (_(".machine stack underflow"));
4304 else
4305 ppc_cpu = cpu_history[--curr_hist];
4307 else if ((new_cpu = ppc_parse_cpu (ppc_cpu, cpu_string)) != 0)
4308 ppc_cpu = new_cpu;
4309 else
4310 as_bad (_("invalid machine `%s'"), cpu_string);
4312 if (ppc_cpu != old_cpu)
4313 ppc_setup_opcodes ();
4316 demand_empty_rest_of_line ();
4319 /* See whether a symbol is in the TOC section. */
4321 static int
4322 ppc_is_toc_sym (symbolS *sym)
4324 #ifdef OBJ_XCOFF
4325 return symbol_get_tc (sym)->class == XMC_TC;
4326 #endif
4327 #ifdef OBJ_ELF
4328 const char *sname = segment_name (S_GET_SEGMENT (sym));
4329 if (ppc_obj64)
4330 return strcmp (sname, ".toc") == 0;
4331 else
4332 return strcmp (sname, ".got") == 0;
4333 #endif
4335 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
4337 #ifdef TE_PE
4339 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
4341 /* Set the current section. */
4342 static void
4343 ppc_set_current_section (segT new)
4345 ppc_previous_section = ppc_current_section;
4346 ppc_current_section = new;
4349 /* pseudo-op: .previous
4350 behaviour: toggles the current section with the previous section.
4351 errors: None
4352 warnings: "No previous section" */
4354 static void
4355 ppc_previous (int ignore ATTRIBUTE_UNUSED)
4357 symbolS *tmp;
4359 if (ppc_previous_section == NULL)
4361 as_warn (_("No previous section to return to. Directive ignored."));
4362 return;
4365 subseg_set (ppc_previous_section, 0);
4367 ppc_set_current_section (ppc_previous_section);
4370 /* pseudo-op: .pdata
4371 behaviour: predefined read only data section
4372 double word aligned
4373 errors: None
4374 warnings: None
4375 initial: .section .pdata "adr3"
4376 a - don't know -- maybe a misprint
4377 d - initialized data
4378 r - readable
4379 3 - double word aligned (that would be 4 byte boundary)
4381 commentary:
4382 Tag index tables (also known as the function table) for exception
4383 handling, debugging, etc. */
4385 static void
4386 ppc_pdata (int ignore ATTRIBUTE_UNUSED)
4388 if (pdata_section == 0)
4390 pdata_section = subseg_new (".pdata", 0);
4392 bfd_set_section_flags (stdoutput, pdata_section,
4393 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4394 | SEC_READONLY | SEC_DATA ));
4396 bfd_set_section_alignment (stdoutput, pdata_section, 2);
4398 else
4400 pdata_section = subseg_new (".pdata", 0);
4402 ppc_set_current_section (pdata_section);
4405 /* pseudo-op: .ydata
4406 behaviour: predefined read only data section
4407 double word aligned
4408 errors: None
4409 warnings: None
4410 initial: .section .ydata "drw3"
4411 a - don't know -- maybe a misprint
4412 d - initialized data
4413 r - readable
4414 3 - double word aligned (that would be 4 byte boundary)
4415 commentary:
4416 Tag tables (also known as the scope table) for exception handling,
4417 debugging, etc. */
4419 static void
4420 ppc_ydata (int ignore ATTRIBUTE_UNUSED)
4422 if (ydata_section == 0)
4424 ydata_section = subseg_new (".ydata", 0);
4425 bfd_set_section_flags (stdoutput, ydata_section,
4426 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4427 | SEC_READONLY | SEC_DATA ));
4429 bfd_set_section_alignment (stdoutput, ydata_section, 3);
4431 else
4433 ydata_section = subseg_new (".ydata", 0);
4435 ppc_set_current_section (ydata_section);
4438 /* pseudo-op: .reldata
4439 behaviour: predefined read write data section
4440 double word aligned (4-byte)
4441 FIXME: relocation is applied to it
4442 FIXME: what's the difference between this and .data?
4443 errors: None
4444 warnings: None
4445 initial: .section .reldata "drw3"
4446 d - initialized data
4447 r - readable
4448 w - writeable
4449 3 - double word aligned (that would be 8 byte boundary)
4451 commentary:
4452 Like .data, but intended to hold data subject to relocation, such as
4453 function descriptors, etc. */
4455 static void
4456 ppc_reldata (int ignore ATTRIBUTE_UNUSED)
4458 if (reldata_section == 0)
4460 reldata_section = subseg_new (".reldata", 0);
4462 bfd_set_section_flags (stdoutput, reldata_section,
4463 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4464 | SEC_DATA));
4466 bfd_set_section_alignment (stdoutput, reldata_section, 2);
4468 else
4470 reldata_section = subseg_new (".reldata", 0);
4472 ppc_set_current_section (reldata_section);
4475 /* pseudo-op: .rdata
4476 behaviour: predefined read only data section
4477 double word aligned
4478 errors: None
4479 warnings: None
4480 initial: .section .rdata "dr3"
4481 d - initialized data
4482 r - readable
4483 3 - double word aligned (that would be 4 byte boundary) */
4485 static void
4486 ppc_rdata (int ignore ATTRIBUTE_UNUSED)
4488 if (rdata_section == 0)
4490 rdata_section = subseg_new (".rdata", 0);
4491 bfd_set_section_flags (stdoutput, rdata_section,
4492 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4493 | SEC_READONLY | SEC_DATA ));
4495 bfd_set_section_alignment (stdoutput, rdata_section, 2);
4497 else
4499 rdata_section = subseg_new (".rdata", 0);
4501 ppc_set_current_section (rdata_section);
4504 /* pseudo-op: .ualong
4505 behaviour: much like .int, with the exception that no alignment is
4506 performed.
4507 FIXME: test the alignment statement
4508 errors: None
4509 warnings: None */
4511 static void
4512 ppc_ualong (int ignore ATTRIBUTE_UNUSED)
4514 /* Try for long. */
4515 cons (4);
4518 /* pseudo-op: .znop <symbol name>
4519 behaviour: Issue a nop instruction
4520 Issue a IMAGE_REL_PPC_IFGLUE relocation against it, using
4521 the supplied symbol name.
4522 errors: None
4523 warnings: Missing symbol name */
4525 static void
4526 ppc_znop (int ignore ATTRIBUTE_UNUSED)
4528 unsigned long insn;
4529 const struct powerpc_opcode *opcode;
4530 expressionS ex;
4531 char *f;
4532 symbolS *sym;
4533 char *symbol_name;
4534 char c;
4535 char *name;
4536 unsigned int exp;
4537 flagword flags;
4538 asection *sec;
4540 /* Strip out the symbol name. */
4541 symbol_name = input_line_pointer;
4542 c = get_symbol_end ();
4544 name = xmalloc (input_line_pointer - symbol_name + 1);
4545 strcpy (name, symbol_name);
4547 sym = symbol_find_or_make (name);
4549 *input_line_pointer = c;
4551 SKIP_WHITESPACE ();
4553 /* Look up the opcode in the hash table. */
4554 opcode = (const struct powerpc_opcode *) hash_find (ppc_hash, "nop");
4556 /* Stick in the nop. */
4557 insn = opcode->opcode;
4559 /* Write out the instruction. */
4560 f = frag_more (4);
4561 md_number_to_chars (f, insn, 4);
4562 fix_new (frag_now,
4563 f - frag_now->fr_literal,
4565 sym,
4568 BFD_RELOC_16_GOT_PCREL);
4572 /* pseudo-op:
4573 behaviour:
4574 errors:
4575 warnings: */
4577 static void
4578 ppc_pe_comm (int lcomm)
4580 char *name;
4581 char c;
4582 char *p;
4583 offsetT temp;
4584 symbolS *symbolP;
4585 offsetT align;
4587 name = input_line_pointer;
4588 c = get_symbol_end ();
4590 /* just after name is now '\0'. */
4591 p = input_line_pointer;
4592 *p = c;
4593 SKIP_WHITESPACE ();
4594 if (*input_line_pointer != ',')
4596 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
4597 ignore_rest_of_line ();
4598 return;
4601 input_line_pointer++; /* skip ',' */
4602 if ((temp = get_absolute_expression ()) < 0)
4604 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp);
4605 ignore_rest_of_line ();
4606 return;
4609 if (! lcomm)
4611 /* The third argument to .comm is the alignment. */
4612 if (*input_line_pointer != ',')
4613 align = 3;
4614 else
4616 ++input_line_pointer;
4617 align = get_absolute_expression ();
4618 if (align <= 0)
4620 as_warn (_("ignoring bad alignment"));
4621 align = 3;
4626 *p = 0;
4627 symbolP = symbol_find_or_make (name);
4629 *p = c;
4630 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
4632 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
4633 S_GET_NAME (symbolP));
4634 ignore_rest_of_line ();
4635 return;
4638 if (S_GET_VALUE (symbolP))
4640 if (S_GET_VALUE (symbolP) != (valueT) temp)
4641 as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
4642 S_GET_NAME (symbolP),
4643 (long) S_GET_VALUE (symbolP),
4644 (long) temp);
4646 else
4648 S_SET_VALUE (symbolP, (valueT) temp);
4649 S_SET_EXTERNAL (symbolP);
4650 S_SET_SEGMENT (symbolP, bfd_com_section_ptr);
4653 demand_empty_rest_of_line ();
4657 * implement the .section pseudo op:
4658 * .section name {, "flags"}
4659 * ^ ^
4660 * | +--- optional flags: 'b' for bss
4661 * | 'i' for info
4662 * +-- section name 'l' for lib
4663 * 'n' for noload
4664 * 'o' for over
4665 * 'w' for data
4666 * 'd' (apparently m88k for data)
4667 * 'x' for text
4668 * But if the argument is not a quoted string, treat it as a
4669 * subsegment number.
4671 * FIXME: this is a copy of the section processing from obj-coff.c, with
4672 * additions/changes for the moto-pas assembler support. There are three
4673 * categories:
4675 * FIXME: I just noticed this. This doesn't work at all really. It it
4676 * setting bits that bfd probably neither understands or uses. The
4677 * correct approach (?) will have to incorporate extra fields attached
4678 * to the section to hold the system specific stuff. (krk)
4680 * Section Contents:
4681 * 'a' - unknown - referred to in documentation, but no definition supplied
4682 * 'c' - section has code
4683 * 'd' - section has initialized data
4684 * 'u' - section has uninitialized data
4685 * 'i' - section contains directives (info)
4686 * 'n' - section can be discarded
4687 * 'R' - remove section at link time
4689 * Section Protection:
4690 * 'r' - section is readable
4691 * 'w' - section is writeable
4692 * 'x' - section is executable
4693 * 's' - section is sharable
4695 * Section Alignment:
4696 * '0' - align to byte boundary
4697 * '1' - align to halfword undary
4698 * '2' - align to word boundary
4699 * '3' - align to doubleword boundary
4700 * '4' - align to quadword boundary
4701 * '5' - align to 32 byte boundary
4702 * '6' - align to 64 byte boundary
4706 void
4707 ppc_pe_section (int ignore ATTRIBUTE_UNUSED)
4709 /* Strip out the section name. */
4710 char *section_name;
4711 char c;
4712 char *name;
4713 unsigned int exp;
4714 flagword flags;
4715 segT sec;
4716 int align;
4718 section_name = input_line_pointer;
4719 c = get_symbol_end ();
4721 name = xmalloc (input_line_pointer - section_name + 1);
4722 strcpy (name, section_name);
4724 *input_line_pointer = c;
4726 SKIP_WHITESPACE ();
4728 exp = 0;
4729 flags = SEC_NO_FLAGS;
4731 if (strcmp (name, ".idata$2") == 0)
4733 align = 0;
4735 else if (strcmp (name, ".idata$3") == 0)
4737 align = 0;
4739 else if (strcmp (name, ".idata$4") == 0)
4741 align = 2;
4743 else if (strcmp (name, ".idata$5") == 0)
4745 align = 2;
4747 else if (strcmp (name, ".idata$6") == 0)
4749 align = 1;
4751 else
4752 /* Default alignment to 16 byte boundary. */
4753 align = 4;
4755 if (*input_line_pointer == ',')
4757 ++input_line_pointer;
4758 SKIP_WHITESPACE ();
4759 if (*input_line_pointer != '"')
4760 exp = get_absolute_expression ();
4761 else
4763 ++input_line_pointer;
4764 while (*input_line_pointer != '"'
4765 && ! is_end_of_line[(unsigned char) *input_line_pointer])
4767 switch (*input_line_pointer)
4769 /* Section Contents */
4770 case 'a': /* unknown */
4771 as_bad (_("Unsupported section attribute -- 'a'"));
4772 break;
4773 case 'c': /* code section */
4774 flags |= SEC_CODE;
4775 break;
4776 case 'd': /* section has initialized data */
4777 flags |= SEC_DATA;
4778 break;
4779 case 'u': /* section has uninitialized data */
4780 /* FIXME: This is IMAGE_SCN_CNT_UNINITIALIZED_DATA
4781 in winnt.h */
4782 flags |= SEC_ROM;
4783 break;
4784 case 'i': /* section contains directives (info) */
4785 /* FIXME: This is IMAGE_SCN_LNK_INFO
4786 in winnt.h */
4787 flags |= SEC_HAS_CONTENTS;
4788 break;
4789 case 'n': /* section can be discarded */
4790 flags &=~ SEC_LOAD;
4791 break;
4792 case 'R': /* Remove section at link time */
4793 flags |= SEC_NEVER_LOAD;
4794 break;
4795 #if IFLICT_BRAIN_DAMAGE
4796 /* Section Protection */
4797 case 'r': /* section is readable */
4798 flags |= IMAGE_SCN_MEM_READ;
4799 break;
4800 case 'w': /* section is writeable */
4801 flags |= IMAGE_SCN_MEM_WRITE;
4802 break;
4803 case 'x': /* section is executable */
4804 flags |= IMAGE_SCN_MEM_EXECUTE;
4805 break;
4806 case 's': /* section is sharable */
4807 flags |= IMAGE_SCN_MEM_SHARED;
4808 break;
4810 /* Section Alignment */
4811 case '0': /* align to byte boundary */
4812 flags |= IMAGE_SCN_ALIGN_1BYTES;
4813 align = 0;
4814 break;
4815 case '1': /* align to halfword boundary */
4816 flags |= IMAGE_SCN_ALIGN_2BYTES;
4817 align = 1;
4818 break;
4819 case '2': /* align to word boundary */
4820 flags |= IMAGE_SCN_ALIGN_4BYTES;
4821 align = 2;
4822 break;
4823 case '3': /* align to doubleword boundary */
4824 flags |= IMAGE_SCN_ALIGN_8BYTES;
4825 align = 3;
4826 break;
4827 case '4': /* align to quadword boundary */
4828 flags |= IMAGE_SCN_ALIGN_16BYTES;
4829 align = 4;
4830 break;
4831 case '5': /* align to 32 byte boundary */
4832 flags |= IMAGE_SCN_ALIGN_32BYTES;
4833 align = 5;
4834 break;
4835 case '6': /* align to 64 byte boundary */
4836 flags |= IMAGE_SCN_ALIGN_64BYTES;
4837 align = 6;
4838 break;
4839 #endif
4840 default:
4841 as_bad (_("unknown section attribute '%c'"),
4842 *input_line_pointer);
4843 break;
4845 ++input_line_pointer;
4847 if (*input_line_pointer == '"')
4848 ++input_line_pointer;
4852 sec = subseg_new (name, (subsegT) exp);
4854 ppc_set_current_section (sec);
4856 if (flags != SEC_NO_FLAGS)
4858 if (! bfd_set_section_flags (stdoutput, sec, flags))
4859 as_bad (_("error setting flags for \"%s\": %s"),
4860 bfd_section_name (stdoutput, sec),
4861 bfd_errmsg (bfd_get_error ()));
4864 bfd_set_section_alignment (stdoutput, sec, align);
4867 static void
4868 ppc_pe_function (int ignore ATTRIBUTE_UNUSED)
4870 char *name;
4871 char endc;
4872 symbolS *ext_sym;
4874 name = input_line_pointer;
4875 endc = get_symbol_end ();
4877 ext_sym = symbol_find_or_make (name);
4879 *input_line_pointer = endc;
4881 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
4882 SF_SET_FUNCTION (ext_sym);
4883 SF_SET_PROCESS (ext_sym);
4884 coff_add_linesym (ext_sym);
4886 demand_empty_rest_of_line ();
4889 static void
4890 ppc_pe_tocd (int ignore ATTRIBUTE_UNUSED)
4892 if (tocdata_section == 0)
4894 tocdata_section = subseg_new (".tocd", 0);
4895 /* FIXME: section flags won't work. */
4896 bfd_set_section_flags (stdoutput, tocdata_section,
4897 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4898 | SEC_READONLY | SEC_DATA));
4900 bfd_set_section_alignment (stdoutput, tocdata_section, 2);
4902 else
4904 rdata_section = subseg_new (".tocd", 0);
4907 ppc_set_current_section (tocdata_section);
4909 demand_empty_rest_of_line ();
4912 /* Don't adjust TOC relocs to use the section symbol. */
4915 ppc_pe_fix_adjustable (fixS *fix)
4917 return fix->fx_r_type != BFD_RELOC_PPC_TOC16;
4920 #endif
4922 #ifdef OBJ_XCOFF
4924 /* XCOFF specific symbol and file handling. */
4926 /* Canonicalize the symbol name. We use the to force the suffix, if
4927 any, to use square brackets, and to be in upper case. */
4929 char *
4930 ppc_canonicalize_symbol_name (char *name)
4932 char *s;
4934 if (ppc_stab_symbol)
4935 return name;
4937 for (s = name; *s != '\0' && *s != '{' && *s != '['; s++)
4939 if (*s != '\0')
4941 char brac;
4943 if (*s == '[')
4944 brac = ']';
4945 else
4947 *s = '[';
4948 brac = '}';
4951 for (s++; *s != '\0' && *s != brac; s++)
4952 *s = TOUPPER (*s);
4954 if (*s == '\0' || s[1] != '\0')
4955 as_bad (_("bad symbol suffix"));
4957 *s = ']';
4960 return name;
4963 /* Set the class of a symbol based on the suffix, if any. This is
4964 called whenever a new symbol is created. */
4966 void
4967 ppc_symbol_new_hook (symbolS *sym)
4969 struct ppc_tc_sy *tc;
4970 const char *s;
4972 tc = symbol_get_tc (sym);
4973 tc->next = NULL;
4974 tc->output = 0;
4975 tc->class = -1;
4976 tc->real_name = NULL;
4977 tc->subseg = 0;
4978 tc->align = 0;
4979 tc->size = NULL;
4980 tc->within = NULL;
4982 if (ppc_stab_symbol)
4983 return;
4985 s = strchr (S_GET_NAME (sym), '[');
4986 if (s == (const char *) NULL)
4988 /* There is no suffix. */
4989 return;
4992 ++s;
4994 switch (s[0])
4996 case 'B':
4997 if (strcmp (s, "BS]") == 0)
4998 tc->class = XMC_BS;
4999 break;
5000 case 'D':
5001 if (strcmp (s, "DB]") == 0)
5002 tc->class = XMC_DB;
5003 else if (strcmp (s, "DS]") == 0)
5004 tc->class = XMC_DS;
5005 break;
5006 case 'G':
5007 if (strcmp (s, "GL]") == 0)
5008 tc->class = XMC_GL;
5009 break;
5010 case 'P':
5011 if (strcmp (s, "PR]") == 0)
5012 tc->class = XMC_PR;
5013 break;
5014 case 'R':
5015 if (strcmp (s, "RO]") == 0)
5016 tc->class = XMC_RO;
5017 else if (strcmp (s, "RW]") == 0)
5018 tc->class = XMC_RW;
5019 break;
5020 case 'S':
5021 if (strcmp (s, "SV]") == 0)
5022 tc->class = XMC_SV;
5023 break;
5024 case 'T':
5025 if (strcmp (s, "TC]") == 0)
5026 tc->class = XMC_TC;
5027 else if (strcmp (s, "TI]") == 0)
5028 tc->class = XMC_TI;
5029 else if (strcmp (s, "TB]") == 0)
5030 tc->class = XMC_TB;
5031 else if (strcmp (s, "TC0]") == 0 || strcmp (s, "T0]") == 0)
5032 tc->class = XMC_TC0;
5033 break;
5034 case 'U':
5035 if (strcmp (s, "UA]") == 0)
5036 tc->class = XMC_UA;
5037 else if (strcmp (s, "UC]") == 0)
5038 tc->class = XMC_UC;
5039 break;
5040 case 'X':
5041 if (strcmp (s, "XO]") == 0)
5042 tc->class = XMC_XO;
5043 break;
5046 if (tc->class == -1)
5047 as_bad (_("Unrecognized symbol suffix"));
5050 /* Set the class of a label based on where it is defined. This
5051 handles symbols without suffixes. Also, move the symbol so that it
5052 follows the csect symbol. */
5054 void
5055 ppc_frob_label (symbolS *sym)
5057 if (ppc_current_csect != (symbolS *) NULL)
5059 if (symbol_get_tc (sym)->class == -1)
5060 symbol_get_tc (sym)->class = symbol_get_tc (ppc_current_csect)->class;
5062 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
5063 symbol_append (sym, symbol_get_tc (ppc_current_csect)->within,
5064 &symbol_rootP, &symbol_lastP);
5065 symbol_get_tc (ppc_current_csect)->within = sym;
5068 #ifdef OBJ_ELF
5069 dwarf2_emit_label (sym);
5070 #endif
5073 /* This variable is set by ppc_frob_symbol if any absolute symbols are
5074 seen. It tells ppc_adjust_symtab whether it needs to look through
5075 the symbols. */
5077 static bfd_boolean ppc_saw_abs;
5079 /* Change the name of a symbol just before writing it out. Set the
5080 real name if the .rename pseudo-op was used. Otherwise, remove any
5081 class suffix. Return 1 if the symbol should not be included in the
5082 symbol table. */
5085 ppc_frob_symbol (symbolS *sym)
5087 static symbolS *ppc_last_function;
5088 static symbolS *set_end;
5090 /* Discard symbols that should not be included in the output symbol
5091 table. */
5092 if (! symbol_used_in_reloc_p (sym)
5093 && ((symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) != 0
5094 || (! (S_IS_EXTERNAL (sym) || S_IS_WEAK (sym))
5095 && ! symbol_get_tc (sym)->output
5096 && S_GET_STORAGE_CLASS (sym) != C_FILE)))
5097 return 1;
5099 /* This one will disappear anyway. Don't make a csect sym for it. */
5100 if (sym == abs_section_sym)
5101 return 1;
5103 if (symbol_get_tc (sym)->real_name != (char *) NULL)
5104 S_SET_NAME (sym, symbol_get_tc (sym)->real_name);
5105 else
5107 const char *name;
5108 const char *s;
5110 name = S_GET_NAME (sym);
5111 s = strchr (name, '[');
5112 if (s != (char *) NULL)
5114 unsigned int len;
5115 char *snew;
5117 len = s - name;
5118 snew = xmalloc (len + 1);
5119 memcpy (snew, name, len);
5120 snew[len] = '\0';
5122 S_SET_NAME (sym, snew);
5126 if (set_end != (symbolS *) NULL)
5128 SA_SET_SYM_ENDNDX (set_end, sym);
5129 set_end = NULL;
5132 if (SF_GET_FUNCTION (sym))
5134 if (ppc_last_function != (symbolS *) NULL)
5135 as_bad (_("two .function pseudo-ops with no intervening .ef"));
5136 ppc_last_function = sym;
5137 if (symbol_get_tc (sym)->size != (symbolS *) NULL)
5139 resolve_symbol_value (symbol_get_tc (sym)->size);
5140 SA_SET_SYM_FSIZE (sym,
5141 (long) S_GET_VALUE (symbol_get_tc (sym)->size));
5144 else if (S_GET_STORAGE_CLASS (sym) == C_FCN
5145 && strcmp (S_GET_NAME (sym), ".ef") == 0)
5147 if (ppc_last_function == (symbolS *) NULL)
5148 as_bad (_(".ef with no preceding .function"));
5149 else
5151 set_end = ppc_last_function;
5152 ppc_last_function = NULL;
5154 /* We don't have a C_EFCN symbol, but we need to force the
5155 COFF backend to believe that it has seen one. */
5156 coff_last_function = NULL;
5160 if (! (S_IS_EXTERNAL (sym) || S_IS_WEAK (sym))
5161 && (symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) == 0
5162 && S_GET_STORAGE_CLASS (sym) != C_FILE
5163 && S_GET_STORAGE_CLASS (sym) != C_FCN
5164 && S_GET_STORAGE_CLASS (sym) != C_BLOCK
5165 && S_GET_STORAGE_CLASS (sym) != C_BSTAT
5166 && S_GET_STORAGE_CLASS (sym) != C_ESTAT
5167 && S_GET_STORAGE_CLASS (sym) != C_BINCL
5168 && S_GET_STORAGE_CLASS (sym) != C_EINCL
5169 && S_GET_SEGMENT (sym) != ppc_coff_debug_section)
5170 S_SET_STORAGE_CLASS (sym, C_HIDEXT);
5172 if (S_GET_STORAGE_CLASS (sym) == C_EXT
5173 || S_GET_STORAGE_CLASS (sym) == C_AIX_WEAKEXT
5174 || S_GET_STORAGE_CLASS (sym) == C_HIDEXT)
5176 int i;
5177 union internal_auxent *a;
5179 /* Create a csect aux. */
5180 i = S_GET_NUMBER_AUXILIARY (sym);
5181 S_SET_NUMBER_AUXILIARY (sym, i + 1);
5182 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].u.auxent;
5183 if (symbol_get_tc (sym)->class == XMC_TC0)
5185 /* This is the TOC table. */
5186 know (strcmp (S_GET_NAME (sym), "TOC") == 0);
5187 a->x_csect.x_scnlen.l = 0;
5188 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
5190 else if (symbol_get_tc (sym)->subseg != 0)
5192 /* This is a csect symbol. x_scnlen is the size of the
5193 csect. */
5194 if (symbol_get_tc (sym)->next == (symbolS *) NULL)
5195 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
5196 S_GET_SEGMENT (sym))
5197 - S_GET_VALUE (sym));
5198 else
5200 resolve_symbol_value (symbol_get_tc (sym)->next);
5201 a->x_csect.x_scnlen.l = (S_GET_VALUE (symbol_get_tc (sym)->next)
5202 - S_GET_VALUE (sym));
5204 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_SD;
5206 else if (S_GET_SEGMENT (sym) == bss_section)
5208 /* This is a common symbol. */
5209 a->x_csect.x_scnlen.l = symbol_get_frag (sym)->fr_offset;
5210 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_CM;
5211 if (S_IS_EXTERNAL (sym))
5212 symbol_get_tc (sym)->class = XMC_RW;
5213 else
5214 symbol_get_tc (sym)->class = XMC_BS;
5216 else if (S_GET_SEGMENT (sym) == absolute_section)
5218 /* This is an absolute symbol. The csect will be created by
5219 ppc_adjust_symtab. */
5220 ppc_saw_abs = TRUE;
5221 a->x_csect.x_smtyp = XTY_LD;
5222 if (symbol_get_tc (sym)->class == -1)
5223 symbol_get_tc (sym)->class = XMC_XO;
5225 else if (! S_IS_DEFINED (sym))
5227 /* This is an external symbol. */
5228 a->x_csect.x_scnlen.l = 0;
5229 a->x_csect.x_smtyp = XTY_ER;
5231 else if (symbol_get_tc (sym)->class == XMC_TC)
5233 symbolS *next;
5235 /* This is a TOC definition. x_scnlen is the size of the
5236 TOC entry. */
5237 next = symbol_next (sym);
5238 while (symbol_get_tc (next)->class == XMC_TC0)
5239 next = symbol_next (next);
5240 if (next == (symbolS *) NULL
5241 || symbol_get_tc (next)->class != XMC_TC)
5243 if (ppc_after_toc_frag == (fragS *) NULL)
5244 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
5245 data_section)
5246 - S_GET_VALUE (sym));
5247 else
5248 a->x_csect.x_scnlen.l = (ppc_after_toc_frag->fr_address
5249 - S_GET_VALUE (sym));
5251 else
5253 resolve_symbol_value (next);
5254 a->x_csect.x_scnlen.l = (S_GET_VALUE (next)
5255 - S_GET_VALUE (sym));
5257 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
5259 else
5261 symbolS *csect;
5263 /* This is a normal symbol definition. x_scnlen is the
5264 symbol index of the containing csect. */
5265 if (S_GET_SEGMENT (sym) == text_section)
5266 csect = ppc_text_csects;
5267 else if (S_GET_SEGMENT (sym) == data_section)
5268 csect = ppc_data_csects;
5269 else
5270 abort ();
5272 /* Skip the initial dummy symbol. */
5273 csect = symbol_get_tc (csect)->next;
5275 if (csect == (symbolS *) NULL)
5277 as_warn (_("warning: symbol %s has no csect"), S_GET_NAME (sym));
5278 a->x_csect.x_scnlen.l = 0;
5280 else
5282 while (symbol_get_tc (csect)->next != (symbolS *) NULL)
5284 resolve_symbol_value (symbol_get_tc (csect)->next);
5285 if (S_GET_VALUE (symbol_get_tc (csect)->next)
5286 > S_GET_VALUE (sym))
5287 break;
5288 csect = symbol_get_tc (csect)->next;
5291 a->x_csect.x_scnlen.p =
5292 coffsymbol (symbol_get_bfdsym (csect))->native;
5293 coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].fix_scnlen =
5296 a->x_csect.x_smtyp = XTY_LD;
5299 a->x_csect.x_parmhash = 0;
5300 a->x_csect.x_snhash = 0;
5301 if (symbol_get_tc (sym)->class == -1)
5302 a->x_csect.x_smclas = XMC_PR;
5303 else
5304 a->x_csect.x_smclas = symbol_get_tc (sym)->class;
5305 a->x_csect.x_stab = 0;
5306 a->x_csect.x_snstab = 0;
5308 /* Don't let the COFF backend resort these symbols. */
5309 symbol_get_bfdsym (sym)->flags |= BSF_NOT_AT_END;
5311 else if (S_GET_STORAGE_CLASS (sym) == C_BSTAT)
5313 /* We want the value to be the symbol index of the referenced
5314 csect symbol. BFD will do that for us if we set the right
5315 flags. */
5316 asymbol *bsym = symbol_get_bfdsym (symbol_get_tc (sym)->within);
5317 combined_entry_type *c = coffsymbol (bsym)->native;
5319 S_SET_VALUE (sym, (valueT) (size_t) c);
5320 coffsymbol (symbol_get_bfdsym (sym))->native->fix_value = 1;
5322 else if (S_GET_STORAGE_CLASS (sym) == C_STSYM)
5324 symbolS *block;
5325 symbolS *csect;
5327 /* The value is the offset from the enclosing csect. */
5328 block = symbol_get_tc (sym)->within;
5329 csect = symbol_get_tc (block)->within;
5330 resolve_symbol_value (csect);
5331 S_SET_VALUE (sym, S_GET_VALUE (sym) - S_GET_VALUE (csect));
5333 else if (S_GET_STORAGE_CLASS (sym) == C_BINCL
5334 || S_GET_STORAGE_CLASS (sym) == C_EINCL)
5336 /* We want the value to be a file offset into the line numbers.
5337 BFD will do that for us if we set the right flags. We have
5338 already set the value correctly. */
5339 coffsymbol (symbol_get_bfdsym (sym))->native->fix_line = 1;
5342 return 0;
5345 /* Adjust the symbol table. This creates csect symbols for all
5346 absolute symbols. */
5348 void
5349 ppc_adjust_symtab (void)
5351 symbolS *sym;
5353 if (! ppc_saw_abs)
5354 return;
5356 for (sym = symbol_rootP; sym != NULL; sym = symbol_next (sym))
5358 symbolS *csect;
5359 int i;
5360 union internal_auxent *a;
5362 if (S_GET_SEGMENT (sym) != absolute_section)
5363 continue;
5365 csect = symbol_create (".abs[XO]", absolute_section,
5366 S_GET_VALUE (sym), &zero_address_frag);
5367 symbol_get_bfdsym (csect)->value = S_GET_VALUE (sym);
5368 S_SET_STORAGE_CLASS (csect, C_HIDEXT);
5369 i = S_GET_NUMBER_AUXILIARY (csect);
5370 S_SET_NUMBER_AUXILIARY (csect, i + 1);
5371 a = &coffsymbol (symbol_get_bfdsym (csect))->native[i + 1].u.auxent;
5372 a->x_csect.x_scnlen.l = 0;
5373 a->x_csect.x_smtyp = XTY_SD;
5374 a->x_csect.x_parmhash = 0;
5375 a->x_csect.x_snhash = 0;
5376 a->x_csect.x_smclas = XMC_XO;
5377 a->x_csect.x_stab = 0;
5378 a->x_csect.x_snstab = 0;
5380 symbol_insert (csect, sym, &symbol_rootP, &symbol_lastP);
5382 i = S_GET_NUMBER_AUXILIARY (sym);
5383 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i].u.auxent;
5384 a->x_csect.x_scnlen.p = coffsymbol (symbol_get_bfdsym (csect))->native;
5385 coffsymbol (symbol_get_bfdsym (sym))->native[i].fix_scnlen = 1;
5388 ppc_saw_abs = FALSE;
5391 /* Set the VMA for a section. This is called on all the sections in
5392 turn. */
5394 void
5395 ppc_frob_section (asection *sec)
5397 static bfd_vma vma = 0;
5399 vma = md_section_align (sec, vma);
5400 bfd_set_section_vma (stdoutput, sec, vma);
5401 vma += bfd_section_size (stdoutput, sec);
5404 #endif /* OBJ_XCOFF */
5406 char *
5407 md_atof (int type, char *litp, int *sizep)
5409 return ieee_md_atof (type, litp, sizep, target_big_endian);
5412 /* Write a value out to the object file, using the appropriate
5413 endianness. */
5415 void
5416 md_number_to_chars (char *buf, valueT val, int n)
5418 if (target_big_endian)
5419 number_to_chars_bigendian (buf, val, n);
5420 else
5421 number_to_chars_littleendian (buf, val, n);
5424 /* Align a section (I don't know why this is machine dependent). */
5426 valueT
5427 md_section_align (asection *seg ATTRIBUTE_UNUSED, valueT addr)
5429 #ifdef OBJ_ELF
5430 return addr;
5431 #else
5432 int align = bfd_get_section_alignment (stdoutput, seg);
5434 return ((addr + (1 << align) - 1) & (-1 << align));
5435 #endif
5438 /* We don't have any form of relaxing. */
5441 md_estimate_size_before_relax (fragS *fragp ATTRIBUTE_UNUSED,
5442 asection *seg ATTRIBUTE_UNUSED)
5444 abort ();
5445 return 0;
5448 /* Convert a machine dependent frag. We never generate these. */
5450 void
5451 md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED,
5452 asection *sec ATTRIBUTE_UNUSED,
5453 fragS *fragp ATTRIBUTE_UNUSED)
5455 abort ();
5458 /* We have no need to default values of symbols. */
5460 symbolS *
5461 md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
5463 return 0;
5466 /* Functions concerning relocs. */
5468 /* The location from which a PC relative jump should be calculated,
5469 given a PC relative reloc. */
5471 long
5472 md_pcrel_from_section (fixS *fixp, segT sec ATTRIBUTE_UNUSED)
5474 return fixp->fx_frag->fr_address + fixp->fx_where;
5477 #ifdef OBJ_XCOFF
5479 /* This is called to see whether a fixup should be adjusted to use a
5480 section symbol. We take the opportunity to change a fixup against
5481 a symbol in the TOC subsegment into a reloc against the
5482 corresponding .tc symbol. */
5485 ppc_fix_adjustable (fixS *fix)
5487 valueT val = resolve_symbol_value (fix->fx_addsy);
5488 segT symseg = S_GET_SEGMENT (fix->fx_addsy);
5489 TC_SYMFIELD_TYPE *tc;
5491 if (symseg == absolute_section)
5492 return 0;
5494 if (ppc_toc_csect != (symbolS *) NULL
5495 && fix->fx_addsy != ppc_toc_csect
5496 && symseg == data_section
5497 && val >= ppc_toc_frag->fr_address
5498 && (ppc_after_toc_frag == (fragS *) NULL
5499 || val < ppc_after_toc_frag->fr_address))
5501 symbolS *sy;
5503 for (sy = symbol_next (ppc_toc_csect);
5504 sy != (symbolS *) NULL;
5505 sy = symbol_next (sy))
5507 TC_SYMFIELD_TYPE *sy_tc = symbol_get_tc (sy);
5509 if (sy_tc->class == XMC_TC0)
5510 continue;
5511 if (sy_tc->class != XMC_TC)
5512 break;
5513 if (val == resolve_symbol_value (sy))
5515 fix->fx_addsy = sy;
5516 fix->fx_addnumber = val - ppc_toc_frag->fr_address;
5517 return 0;
5521 as_bad_where (fix->fx_file, fix->fx_line,
5522 _("symbol in .toc does not match any .tc"));
5525 /* Possibly adjust the reloc to be against the csect. */
5526 tc = symbol_get_tc (fix->fx_addsy);
5527 if (tc->subseg == 0
5528 && tc->class != XMC_TC0
5529 && tc->class != XMC_TC
5530 && symseg != bss_section
5531 /* Don't adjust if this is a reloc in the toc section. */
5532 && (symseg != data_section
5533 || ppc_toc_csect == NULL
5534 || val < ppc_toc_frag->fr_address
5535 || (ppc_after_toc_frag != NULL
5536 && val >= ppc_after_toc_frag->fr_address)))
5538 symbolS *csect;
5539 symbolS *next_csect;
5541 if (symseg == text_section)
5542 csect = ppc_text_csects;
5543 else if (symseg == data_section)
5544 csect = ppc_data_csects;
5545 else
5546 abort ();
5548 /* Skip the initial dummy symbol. */
5549 csect = symbol_get_tc (csect)->next;
5551 if (csect != (symbolS *) NULL)
5553 while ((next_csect = symbol_get_tc (csect)->next) != (symbolS *) NULL
5554 && (symbol_get_frag (next_csect)->fr_address <= val))
5556 /* If the csect address equals the symbol value, then we
5557 have to look through the full symbol table to see
5558 whether this is the csect we want. Note that we will
5559 only get here if the csect has zero length. */
5560 if (symbol_get_frag (csect)->fr_address == val
5561 && S_GET_VALUE (csect) == val)
5563 symbolS *scan;
5565 for (scan = symbol_next (csect);
5566 scan != NULL;
5567 scan = symbol_next (scan))
5569 if (symbol_get_tc (scan)->subseg != 0)
5570 break;
5571 if (scan == fix->fx_addsy)
5572 break;
5575 /* If we found the symbol before the next csect
5576 symbol, then this is the csect we want. */
5577 if (scan == fix->fx_addsy)
5578 break;
5581 csect = next_csect;
5584 fix->fx_offset += val - symbol_get_frag (csect)->fr_address;
5585 fix->fx_addsy = csect;
5587 return 0;
5590 /* Adjust a reloc against a .lcomm symbol to be against the base
5591 .lcomm. */
5592 if (symseg == bss_section
5593 && ! S_IS_EXTERNAL (fix->fx_addsy))
5595 symbolS *sy = symbol_get_frag (fix->fx_addsy)->fr_symbol;
5597 fix->fx_offset += val - resolve_symbol_value (sy);
5598 fix->fx_addsy = sy;
5601 return 0;
5604 /* A reloc from one csect to another must be kept. The assembler
5605 will, of course, keep relocs between sections, and it will keep
5606 absolute relocs, but we need to force it to keep PC relative relocs
5607 between two csects in the same section. */
5610 ppc_force_relocation (fixS *fix)
5612 /* At this point fix->fx_addsy should already have been converted to
5613 a csect symbol. If the csect does not include the fragment, then
5614 we need to force the relocation. */
5615 if (fix->fx_pcrel
5616 && fix->fx_addsy != NULL
5617 && symbol_get_tc (fix->fx_addsy)->subseg != 0
5618 && ((symbol_get_frag (fix->fx_addsy)->fr_address
5619 > fix->fx_frag->fr_address)
5620 || (symbol_get_tc (fix->fx_addsy)->next != NULL
5621 && (symbol_get_frag (symbol_get_tc (fix->fx_addsy)->next)->fr_address
5622 <= fix->fx_frag->fr_address))))
5623 return 1;
5625 return generic_force_reloc (fix);
5628 #endif /* OBJ_XCOFF */
5630 #ifdef OBJ_ELF
5631 /* If this function returns non-zero, it guarantees that a relocation
5632 will be emitted for a fixup. */
5635 ppc_force_relocation (fixS *fix)
5637 /* Branch prediction relocations must force a relocation, as must
5638 the vtable description relocs. */
5639 switch (fix->fx_r_type)
5641 case BFD_RELOC_PPC_B16_BRTAKEN:
5642 case BFD_RELOC_PPC_B16_BRNTAKEN:
5643 case BFD_RELOC_PPC_BA16_BRTAKEN:
5644 case BFD_RELOC_PPC_BA16_BRNTAKEN:
5645 case BFD_RELOC_24_PLT_PCREL:
5646 case BFD_RELOC_PPC64_TOC:
5647 return 1;
5648 default:
5649 break;
5652 if (fix->fx_r_type >= BFD_RELOC_PPC_TLS
5653 && fix->fx_r_type <= BFD_RELOC_PPC64_DTPREL16_HIGHESTA)
5654 return 1;
5656 return generic_force_reloc (fix);
5660 ppc_fix_adjustable (fixS *fix)
5662 return (fix->fx_r_type != BFD_RELOC_16_GOTOFF
5663 && fix->fx_r_type != BFD_RELOC_LO16_GOTOFF
5664 && fix->fx_r_type != BFD_RELOC_HI16_GOTOFF
5665 && fix->fx_r_type != BFD_RELOC_HI16_S_GOTOFF
5666 && fix->fx_r_type != BFD_RELOC_GPREL16
5667 && fix->fx_r_type != BFD_RELOC_VTABLE_INHERIT
5668 && fix->fx_r_type != BFD_RELOC_VTABLE_ENTRY
5669 && !(fix->fx_r_type >= BFD_RELOC_PPC_TLS
5670 && fix->fx_r_type <= BFD_RELOC_PPC64_DTPREL16_HIGHESTA));
5672 #endif
5674 /* Implement HANDLE_ALIGN. This writes the NOP pattern into an
5675 rs_align_code frag. */
5677 void
5678 ppc_handle_align (struct frag *fragP)
5680 valueT count = (fragP->fr_next->fr_address
5681 - (fragP->fr_address + fragP->fr_fix));
5683 if (count != 0 && (count & 3) == 0)
5685 char *dest = fragP->fr_literal + fragP->fr_fix;
5687 fragP->fr_var = 4;
5688 md_number_to_chars (dest, 0x60000000, 4);
5690 if ((ppc_cpu & PPC_OPCODE_POWER6) != 0
5691 || (ppc_cpu & PPC_OPCODE_POWER7) != 0)
5693 /* For power6 and power7, we want the last nop to be a group
5694 terminating one. Do this by inserting an rs_fill frag immediately
5695 after this one, with its address set to the last nop location.
5696 This will automatically reduce the number of nops in the current
5697 frag by one. */
5698 if (count > 4)
5700 struct frag *group_nop = xmalloc (SIZEOF_STRUCT_FRAG + 4);
5702 memcpy (group_nop, fragP, SIZEOF_STRUCT_FRAG);
5703 group_nop->fr_address = group_nop->fr_next->fr_address - 4;
5704 group_nop->fr_fix = 0;
5705 group_nop->fr_offset = 1;
5706 group_nop->fr_type = rs_fill;
5707 fragP->fr_next = group_nop;
5708 dest = group_nop->fr_literal;
5711 if ((ppc_cpu & PPC_OPCODE_POWER7) != 0)
5712 /* power7 group terminating nop: "ori 2,2,0". */
5713 md_number_to_chars (dest, 0x60420000, 4);
5714 else
5715 /* power6 group terminating nop: "ori 1,1,0". */
5716 md_number_to_chars (dest, 0x60210000, 4);
5721 /* Apply a fixup to the object code. This is called for all the
5722 fixups we generated by the call to fix_new_exp, above. In the call
5723 above we used a reloc code which was the largest legal reloc code
5724 plus the operand index. Here we undo that to recover the operand
5725 index. At this point all symbol values should be fully resolved,
5726 and we attempt to completely resolve the reloc. If we can not do
5727 that, we determine the correct reloc code and put it back in the
5728 fixup. */
5730 void
5731 md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED)
5733 valueT value = * valP;
5735 #ifdef OBJ_ELF
5736 if (fixP->fx_addsy != NULL)
5738 /* Hack around bfd_install_relocation brain damage. */
5739 if (fixP->fx_pcrel)
5740 value += fixP->fx_frag->fr_address + fixP->fx_where;
5742 else
5743 fixP->fx_done = 1;
5744 #else
5745 /* FIXME FIXME FIXME: The value we are passed in *valP includes
5746 the symbol values. If we are doing this relocation the code in
5747 write.c is going to call bfd_install_relocation, which is also
5748 going to use the symbol value. That means that if the reloc is
5749 fully resolved we want to use *valP since bfd_install_relocation is
5750 not being used.
5751 However, if the reloc is not fully resolved we do not want to
5752 use *valP, and must use fx_offset instead. If the relocation
5753 is PC-relative, we then need to re-apply md_pcrel_from_section
5754 to this new relocation value. */
5755 if (fixP->fx_addsy == (symbolS *) NULL)
5756 fixP->fx_done = 1;
5758 else
5760 value = fixP->fx_offset;
5761 if (fixP->fx_pcrel)
5762 value -= md_pcrel_from_section (fixP, seg);
5764 #endif
5766 if (fixP->fx_subsy != (symbolS *) NULL)
5768 /* We can't actually support subtracting a symbol. */
5769 as_bad_where (fixP->fx_file, fixP->fx_line, _("expression too complex"));
5772 if ((int) fixP->fx_r_type >= (int) BFD_RELOC_UNUSED)
5774 int opindex;
5775 const struct powerpc_operand *operand;
5776 char *where;
5777 unsigned long insn;
5779 opindex = (int) fixP->fx_r_type - (int) BFD_RELOC_UNUSED;
5781 operand = &powerpc_operands[opindex];
5783 #ifdef OBJ_XCOFF
5784 /* An instruction like `lwz 9,sym(30)' when `sym' is not a TOC symbol
5785 does not generate a reloc. It uses the offset of `sym' within its
5786 csect. Other usages, such as `.long sym', generate relocs. This
5787 is the documented behaviour of non-TOC symbols. */
5788 if ((operand->flags & PPC_OPERAND_PARENS) != 0
5789 && (operand->bitm & 0xfff0) == 0xfff0
5790 && operand->shift == 0
5791 && (operand->insert == NULL || ppc_obj64)
5792 && fixP->fx_addsy != NULL
5793 && symbol_get_tc (fixP->fx_addsy)->subseg != 0
5794 && symbol_get_tc (fixP->fx_addsy)->class != XMC_TC
5795 && symbol_get_tc (fixP->fx_addsy)->class != XMC_TC0
5796 && S_GET_SEGMENT (fixP->fx_addsy) != bss_section)
5798 value = fixP->fx_offset;
5799 fixP->fx_done = 1;
5801 #endif
5803 /* Fetch the instruction, insert the fully resolved operand
5804 value, and stuff the instruction back again. */
5805 where = fixP->fx_frag->fr_literal + fixP->fx_where;
5806 if (target_big_endian)
5807 insn = bfd_getb32 ((unsigned char *) where);
5808 else
5809 insn = bfd_getl32 ((unsigned char *) where);
5810 insn = ppc_insert_operand (insn, operand, (offsetT) value,
5811 fixP->tc_fix_data.ppc_cpu,
5812 fixP->fx_file, fixP->fx_line);
5813 if (target_big_endian)
5814 bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
5815 else
5816 bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
5818 if (fixP->fx_done)
5819 /* Nothing else to do here. */
5820 return;
5822 gas_assert (fixP->fx_addsy != NULL);
5824 /* Determine a BFD reloc value based on the operand information.
5825 We are only prepared to turn a few of the operands into
5826 relocs. */
5827 if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
5828 && operand->bitm == 0x3fffffc
5829 && operand->shift == 0)
5830 fixP->fx_r_type = BFD_RELOC_PPC_B26;
5831 else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
5832 && operand->bitm == 0xfffc
5833 && operand->shift == 0)
5835 fixP->fx_r_type = BFD_RELOC_PPC_B16;
5836 #ifdef OBJ_XCOFF
5837 fixP->fx_size = 2;
5838 if (target_big_endian)
5839 fixP->fx_where += 2;
5840 #endif
5842 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
5843 && operand->bitm == 0x3fffffc
5844 && operand->shift == 0)
5845 fixP->fx_r_type = BFD_RELOC_PPC_BA26;
5846 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
5847 && operand->bitm == 0xfffc
5848 && operand->shift == 0)
5850 fixP->fx_r_type = BFD_RELOC_PPC_BA16;
5851 #ifdef OBJ_XCOFF
5852 fixP->fx_size = 2;
5853 if (target_big_endian)
5854 fixP->fx_where += 2;
5855 #endif
5857 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
5858 else if ((operand->flags & PPC_OPERAND_PARENS) != 0
5859 && (operand->bitm & 0xfff0) == 0xfff0
5860 && operand->shift == 0)
5862 if (ppc_is_toc_sym (fixP->fx_addsy))
5864 fixP->fx_r_type = BFD_RELOC_PPC_TOC16;
5865 #ifdef OBJ_ELF
5866 if (ppc_obj64
5867 && (operand->flags & PPC_OPERAND_DS) != 0)
5868 fixP->fx_r_type = BFD_RELOC_PPC64_TOC16_DS;
5869 #endif
5871 else
5873 fixP->fx_r_type = BFD_RELOC_16;
5874 #ifdef OBJ_ELF
5875 if (ppc_obj64
5876 && (operand->flags & PPC_OPERAND_DS) != 0)
5877 fixP->fx_r_type = BFD_RELOC_PPC64_ADDR16_DS;
5878 #endif
5880 fixP->fx_size = 2;
5881 if (target_big_endian)
5882 fixP->fx_where += 2;
5884 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
5885 else
5887 char *sfile;
5888 unsigned int sline;
5890 /* Use expr_symbol_where to see if this is an expression
5891 symbol. */
5892 if (expr_symbol_where (fixP->fx_addsy, &sfile, &sline))
5893 as_bad_where (fixP->fx_file, fixP->fx_line,
5894 _("unresolved expression that must be resolved"));
5895 else
5896 as_bad_where (fixP->fx_file, fixP->fx_line,
5897 _("unsupported relocation against %s"),
5898 S_GET_NAME (fixP->fx_addsy));
5899 fixP->fx_done = 1;
5900 return;
5903 else
5905 #ifdef OBJ_ELF
5906 ppc_elf_validate_fix (fixP, seg);
5907 #endif
5908 switch (fixP->fx_r_type)
5910 case BFD_RELOC_CTOR:
5911 if (ppc_obj64)
5912 goto ctor64;
5913 /* fall through */
5915 case BFD_RELOC_32:
5916 if (fixP->fx_pcrel)
5917 fixP->fx_r_type = BFD_RELOC_32_PCREL;
5918 /* fall through */
5920 case BFD_RELOC_RVA:
5921 case BFD_RELOC_32_PCREL:
5922 case BFD_RELOC_PPC_EMB_NADDR32:
5923 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5924 value, 4);
5925 break;
5927 case BFD_RELOC_64:
5928 ctor64:
5929 if (fixP->fx_pcrel)
5930 fixP->fx_r_type = BFD_RELOC_64_PCREL;
5931 /* fall through */
5933 case BFD_RELOC_64_PCREL:
5934 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5935 value, 8);
5936 break;
5938 case BFD_RELOC_GPREL16:
5939 case BFD_RELOC_16_GOT_PCREL:
5940 case BFD_RELOC_16_GOTOFF:
5941 case BFD_RELOC_LO16_GOTOFF:
5942 case BFD_RELOC_HI16_GOTOFF:
5943 case BFD_RELOC_HI16_S_GOTOFF:
5944 case BFD_RELOC_16_BASEREL:
5945 case BFD_RELOC_LO16_BASEREL:
5946 case BFD_RELOC_HI16_BASEREL:
5947 case BFD_RELOC_HI16_S_BASEREL:
5948 case BFD_RELOC_PPC_EMB_NADDR16:
5949 case BFD_RELOC_PPC_EMB_NADDR16_LO:
5950 case BFD_RELOC_PPC_EMB_NADDR16_HI:
5951 case BFD_RELOC_PPC_EMB_NADDR16_HA:
5952 case BFD_RELOC_PPC_EMB_SDAI16:
5953 case BFD_RELOC_PPC_EMB_SDA2REL:
5954 case BFD_RELOC_PPC_EMB_SDA2I16:
5955 case BFD_RELOC_PPC_EMB_RELSEC16:
5956 case BFD_RELOC_PPC_EMB_RELST_LO:
5957 case BFD_RELOC_PPC_EMB_RELST_HI:
5958 case BFD_RELOC_PPC_EMB_RELST_HA:
5959 case BFD_RELOC_PPC_EMB_RELSDA:
5960 case BFD_RELOC_PPC_TOC16:
5961 #ifdef OBJ_ELF
5962 case BFD_RELOC_PPC64_TOC16_LO:
5963 case BFD_RELOC_PPC64_TOC16_HI:
5964 case BFD_RELOC_PPC64_TOC16_HA:
5965 #endif
5966 if (fixP->fx_pcrel)
5968 if (fixP->fx_addsy != NULL)
5969 as_bad_where (fixP->fx_file, fixP->fx_line,
5970 _("cannot emit PC relative %s relocation against %s"),
5971 bfd_get_reloc_code_name (fixP->fx_r_type),
5972 S_GET_NAME (fixP->fx_addsy));
5973 else
5974 as_bad_where (fixP->fx_file, fixP->fx_line,
5975 _("cannot emit PC relative %s relocation"),
5976 bfd_get_reloc_code_name (fixP->fx_r_type));
5979 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5980 value, 2);
5981 break;
5983 case BFD_RELOC_16:
5984 if (fixP->fx_pcrel)
5985 fixP->fx_r_type = BFD_RELOC_16_PCREL;
5986 /* fall through */
5988 case BFD_RELOC_16_PCREL:
5989 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5990 value, 2);
5991 break;
5993 case BFD_RELOC_LO16:
5994 if (fixP->fx_pcrel)
5995 fixP->fx_r_type = BFD_RELOC_LO16_PCREL;
5996 /* fall through */
5998 case BFD_RELOC_LO16_PCREL:
5999 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6000 value, 2);
6001 break;
6003 /* This case happens when you write, for example,
6004 lis %r3,(L1-L2)@ha
6005 where L1 and L2 are defined later. */
6006 case BFD_RELOC_HI16:
6007 if (fixP->fx_pcrel)
6008 fixP->fx_r_type = BFD_RELOC_HI16_PCREL;
6009 /* fall through */
6011 case BFD_RELOC_HI16_PCREL:
6012 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6013 PPC_HI (value), 2);
6014 break;
6016 case BFD_RELOC_HI16_S:
6017 if (fixP->fx_pcrel)
6018 fixP->fx_r_type = BFD_RELOC_HI16_S_PCREL;
6019 /* fall through */
6021 case BFD_RELOC_HI16_S_PCREL:
6022 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6023 PPC_HA (value), 2);
6024 break;
6026 #ifdef OBJ_ELF
6027 case BFD_RELOC_PPC64_HIGHER:
6028 if (fixP->fx_pcrel)
6029 abort ();
6030 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6031 PPC_HIGHER (value), 2);
6032 break;
6034 case BFD_RELOC_PPC64_HIGHER_S:
6035 if (fixP->fx_pcrel)
6036 abort ();
6037 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6038 PPC_HIGHERA (value), 2);
6039 break;
6041 case BFD_RELOC_PPC64_HIGHEST:
6042 if (fixP->fx_pcrel)
6043 abort ();
6044 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6045 PPC_HIGHEST (value), 2);
6046 break;
6048 case BFD_RELOC_PPC64_HIGHEST_S:
6049 if (fixP->fx_pcrel)
6050 abort ();
6051 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6052 PPC_HIGHESTA (value), 2);
6053 break;
6055 case BFD_RELOC_PPC64_ADDR16_DS:
6056 case BFD_RELOC_PPC64_ADDR16_LO_DS:
6057 case BFD_RELOC_PPC64_GOT16_DS:
6058 case BFD_RELOC_PPC64_GOT16_LO_DS:
6059 case BFD_RELOC_PPC64_PLT16_LO_DS:
6060 case BFD_RELOC_PPC64_SECTOFF_DS:
6061 case BFD_RELOC_PPC64_SECTOFF_LO_DS:
6062 case BFD_RELOC_PPC64_TOC16_DS:
6063 case BFD_RELOC_PPC64_TOC16_LO_DS:
6064 case BFD_RELOC_PPC64_PLTGOT16_DS:
6065 case BFD_RELOC_PPC64_PLTGOT16_LO_DS:
6066 if (fixP->fx_pcrel)
6067 abort ();
6069 char *where = fixP->fx_frag->fr_literal + fixP->fx_where;
6070 unsigned long val, mask;
6072 if (target_big_endian)
6073 val = bfd_getb32 (where - 2);
6074 else
6075 val = bfd_getl32 (where);
6076 mask = 0xfffc;
6077 /* lq insns reserve the four lsbs. */
6078 if ((ppc_cpu & PPC_OPCODE_POWER4) != 0
6079 && (val & (0x3f << 26)) == (56u << 26))
6080 mask = 0xfff0;
6081 val |= value & mask;
6082 if (target_big_endian)
6083 bfd_putb16 ((bfd_vma) val, where);
6084 else
6085 bfd_putl16 ((bfd_vma) val, where);
6087 break;
6089 case BFD_RELOC_PPC_B16_BRTAKEN:
6090 case BFD_RELOC_PPC_B16_BRNTAKEN:
6091 case BFD_RELOC_PPC_BA16_BRTAKEN:
6092 case BFD_RELOC_PPC_BA16_BRNTAKEN:
6093 break;
6095 case BFD_RELOC_PPC_TLS:
6096 case BFD_RELOC_PPC_TLSGD:
6097 case BFD_RELOC_PPC_TLSLD:
6098 break;
6100 case BFD_RELOC_PPC_DTPMOD:
6101 case BFD_RELOC_PPC_TPREL16:
6102 case BFD_RELOC_PPC_TPREL16_LO:
6103 case BFD_RELOC_PPC_TPREL16_HI:
6104 case BFD_RELOC_PPC_TPREL16_HA:
6105 case BFD_RELOC_PPC_TPREL:
6106 case BFD_RELOC_PPC_DTPREL16:
6107 case BFD_RELOC_PPC_DTPREL16_LO:
6108 case BFD_RELOC_PPC_DTPREL16_HI:
6109 case BFD_RELOC_PPC_DTPREL16_HA:
6110 case BFD_RELOC_PPC_DTPREL:
6111 case BFD_RELOC_PPC_GOT_TLSGD16:
6112 case BFD_RELOC_PPC_GOT_TLSGD16_LO:
6113 case BFD_RELOC_PPC_GOT_TLSGD16_HI:
6114 case BFD_RELOC_PPC_GOT_TLSGD16_HA:
6115 case BFD_RELOC_PPC_GOT_TLSLD16:
6116 case BFD_RELOC_PPC_GOT_TLSLD16_LO:
6117 case BFD_RELOC_PPC_GOT_TLSLD16_HI:
6118 case BFD_RELOC_PPC_GOT_TLSLD16_HA:
6119 case BFD_RELOC_PPC_GOT_TPREL16:
6120 case BFD_RELOC_PPC_GOT_TPREL16_LO:
6121 case BFD_RELOC_PPC_GOT_TPREL16_HI:
6122 case BFD_RELOC_PPC_GOT_TPREL16_HA:
6123 case BFD_RELOC_PPC_GOT_DTPREL16:
6124 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
6125 case BFD_RELOC_PPC_GOT_DTPREL16_HI:
6126 case BFD_RELOC_PPC_GOT_DTPREL16_HA:
6127 case BFD_RELOC_PPC64_TPREL16_DS:
6128 case BFD_RELOC_PPC64_TPREL16_LO_DS:
6129 case BFD_RELOC_PPC64_TPREL16_HIGHER:
6130 case BFD_RELOC_PPC64_TPREL16_HIGHERA:
6131 case BFD_RELOC_PPC64_TPREL16_HIGHEST:
6132 case BFD_RELOC_PPC64_TPREL16_HIGHESTA:
6133 case BFD_RELOC_PPC64_DTPREL16_DS:
6134 case BFD_RELOC_PPC64_DTPREL16_LO_DS:
6135 case BFD_RELOC_PPC64_DTPREL16_HIGHER:
6136 case BFD_RELOC_PPC64_DTPREL16_HIGHERA:
6137 case BFD_RELOC_PPC64_DTPREL16_HIGHEST:
6138 case BFD_RELOC_PPC64_DTPREL16_HIGHESTA:
6139 S_SET_THREAD_LOCAL (fixP->fx_addsy);
6140 break;
6141 #endif
6142 /* Because SDA21 modifies the register field, the size is set to 4
6143 bytes, rather than 2, so offset it here appropriately. */
6144 case BFD_RELOC_PPC_EMB_SDA21:
6145 if (fixP->fx_pcrel)
6146 abort ();
6148 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where
6149 + ((target_big_endian) ? 2 : 0),
6150 value, 2);
6151 break;
6153 case BFD_RELOC_8:
6154 if (fixP->fx_pcrel)
6156 /* This can occur if there is a bug in the input assembler, eg:
6157 ".byte <undefined_symbol> - ." */
6158 if (fixP->fx_addsy)
6159 as_bad (_("Unable to handle reference to symbol %s"),
6160 S_GET_NAME (fixP->fx_addsy));
6161 else
6162 as_bad (_("Unable to resolve expression"));
6163 fixP->fx_done = 1;
6165 else
6166 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6167 value, 1);
6168 break;
6170 case BFD_RELOC_24_PLT_PCREL:
6171 case BFD_RELOC_PPC_LOCAL24PC:
6172 if (!fixP->fx_pcrel && !fixP->fx_done)
6173 abort ();
6175 if (fixP->fx_done)
6177 char *where;
6178 unsigned long insn;
6180 /* Fetch the instruction, insert the fully resolved operand
6181 value, and stuff the instruction back again. */
6182 where = fixP->fx_frag->fr_literal + fixP->fx_where;
6183 if (target_big_endian)
6184 insn = bfd_getb32 ((unsigned char *) where);
6185 else
6186 insn = bfd_getl32 ((unsigned char *) where);
6187 if ((value & 3) != 0)
6188 as_bad_where (fixP->fx_file, fixP->fx_line,
6189 _("must branch to an address a multiple of 4"));
6190 if ((offsetT) value < -0x40000000
6191 || (offsetT) value >= 0x40000000)
6192 as_bad_where (fixP->fx_file, fixP->fx_line,
6193 _("@local or @plt branch destination is too far away, %ld bytes"),
6194 (long) value);
6195 insn = insn | (value & 0x03fffffc);
6196 if (target_big_endian)
6197 bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
6198 else
6199 bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
6201 break;
6203 case BFD_RELOC_VTABLE_INHERIT:
6204 fixP->fx_done = 0;
6205 if (fixP->fx_addsy
6206 && !S_IS_DEFINED (fixP->fx_addsy)
6207 && !S_IS_WEAK (fixP->fx_addsy))
6208 S_SET_WEAK (fixP->fx_addsy);
6209 break;
6211 case BFD_RELOC_VTABLE_ENTRY:
6212 fixP->fx_done = 0;
6213 break;
6215 #ifdef OBJ_ELF
6216 /* Generated by reference to `sym@tocbase'. The sym is
6217 ignored by the linker. */
6218 case BFD_RELOC_PPC64_TOC:
6219 fixP->fx_done = 0;
6220 break;
6221 #endif
6222 default:
6223 fprintf (stderr,
6224 _("Gas failure, reloc value %d\n"), fixP->fx_r_type);
6225 fflush (stderr);
6226 abort ();
6230 #ifdef OBJ_ELF
6231 fixP->fx_addnumber = value;
6233 /* PowerPC uses RELA relocs, ie. the reloc addend is stored separately
6234 from the section contents. If we are going to be emitting a reloc
6235 then the section contents are immaterial, so don't warn if they
6236 happen to overflow. Leave such warnings to ld. */
6237 if (!fixP->fx_done)
6238 fixP->fx_no_overflow = 1;
6239 #else
6240 if (fixP->fx_r_type != BFD_RELOC_PPC_TOC16)
6241 fixP->fx_addnumber = 0;
6242 else
6244 #ifdef TE_PE
6245 fixP->fx_addnumber = 0;
6246 #else
6247 /* We want to use the offset within the toc, not the actual VMA
6248 of the symbol. */
6249 fixP->fx_addnumber =
6250 - bfd_get_section_vma (stdoutput, S_GET_SEGMENT (fixP->fx_addsy))
6251 - S_GET_VALUE (ppc_toc_csect);
6252 #endif
6254 #endif
6257 /* Generate a reloc for a fixup. */
6259 arelent *
6260 tc_gen_reloc (asection *seg ATTRIBUTE_UNUSED, fixS *fixp)
6262 arelent *reloc;
6264 reloc = (arelent *) xmalloc (sizeof (arelent));
6266 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
6267 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
6268 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
6269 reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
6270 if (reloc->howto == (reloc_howto_type *) NULL)
6272 as_bad_where (fixp->fx_file, fixp->fx_line,
6273 _("reloc %d not supported by object file format"),
6274 (int) fixp->fx_r_type);
6275 return NULL;
6277 reloc->addend = fixp->fx_addnumber;
6279 return reloc;
6282 void
6283 ppc_cfi_frame_initial_instructions (void)
6285 cfi_add_CFA_def_cfa (1, 0);
6289 tc_ppc_regname_to_dw2regnum (char *regname)
6291 unsigned int regnum = -1;
6292 unsigned int i;
6293 const char *p;
6294 char *q;
6295 static struct { char *name; int dw2regnum; } regnames[] =
6297 { "sp", 1 }, { "r.sp", 1 }, { "rtoc", 2 }, { "r.toc", 2 },
6298 { "mq", 64 }, { "lr", 65 }, { "ctr", 66 }, { "ap", 67 },
6299 { "cr", 70 }, { "xer", 76 }, { "vrsave", 109 }, { "vscr", 110 },
6300 { "spe_acc", 111 }, { "spefscr", 112 }
6303 for (i = 0; i < ARRAY_SIZE (regnames); ++i)
6304 if (strcmp (regnames[i].name, regname) == 0)
6305 return regnames[i].dw2regnum;
6307 if (regname[0] == 'r' || regname[0] == 'f' || regname[0] == 'v')
6309 p = regname + 1 + (regname[1] == '.');
6310 regnum = strtoul (p, &q, 10);
6311 if (p == q || *q || regnum >= 32)
6312 return -1;
6313 if (regname[0] == 'f')
6314 regnum += 32;
6315 else if (regname[0] == 'v')
6316 regnum += 77;
6318 else if (regname[0] == 'c' && regname[1] == 'r')
6320 p = regname + 2 + (regname[2] == '.');
6321 if (p[0] < '0' || p[0] > '7' || p[1])
6322 return -1;
6323 regnum = p[0] - '0' + 68;
6325 return regnum;