Add .abiversion related support for ELFv2
[deliverable/binutils-gdb.git] / gas / config / tc-ppc.c
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, 2010, 2011, 2012
4 Free Software Foundation, Inc.
5 Written by Ian Lance Taylor, Cygnus Support.
6
7 This file is part of GAS, the GNU Assembler.
8
9 GAS is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3, or (at your option)
12 any later version.
13
14 GAS is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
20 along with GAS; see the file COPYING. If not, write to the Free
21 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
22 02110-1301, USA. */
23
24 #include "as.h"
25 #include "safe-ctype.h"
26 #include "subsegs.h"
27 #include "dw2gencfi.h"
28 #include "opcode/ppc.h"
29
30 #ifdef OBJ_ELF
31 #include "elf/ppc.h"
32 #include "elf/ppc64.h"
33 #include "dwarf2dbg.h"
34 #endif
35
36 #ifdef TE_PE
37 #include "coff/pe.h"
38 #endif
39
40 #ifdef OBJ_XCOFF
41 #include "coff/xcoff.h"
42 #include "libxcoff.h"
43 #endif
44
45 /* This is the assembler for the PowerPC or POWER (RS/6000) chips. */
46
47 /* Tell the main code what the endianness is. */
48 extern int target_big_endian;
49
50 /* Whether or not, we've set target_big_endian. */
51 static int set_target_endian = 0;
52
53 /* Whether to use user friendly register names. */
54 #ifndef TARGET_REG_NAMES_P
55 #ifdef TE_PE
56 #define TARGET_REG_NAMES_P TRUE
57 #else
58 #define TARGET_REG_NAMES_P FALSE
59 #endif
60 #endif
61
62 /* Macros for calculating LO, HI, HA, HIGHER, HIGHERA, HIGHEST,
63 HIGHESTA. */
64
65 /* #lo(value) denotes the least significant 16 bits of the indicated. */
66 #define PPC_LO(v) ((v) & 0xffff)
67
68 /* #hi(value) denotes bits 16 through 31 of the indicated value. */
69 #define PPC_HI(v) (((v) >> 16) & 0xffff)
70
71 /* #ha(value) denotes the high adjusted value: bits 16 through 31 of
72 the indicated value, compensating for #lo() being treated as a
73 signed number. */
74 #define PPC_HA(v) PPC_HI ((v) + 0x8000)
75
76 /* #higher(value) denotes bits 32 through 47 of the indicated value. */
77 #define PPC_HIGHER(v) (((v) >> 16 >> 16) & 0xffff)
78
79 /* #highera(value) denotes bits 32 through 47 of the indicated value,
80 compensating for #lo() being treated as a signed number. */
81 #define PPC_HIGHERA(v) PPC_HIGHER ((v) + 0x8000)
82
83 /* #highest(value) denotes bits 48 through 63 of the indicated value. */
84 #define PPC_HIGHEST(v) (((v) >> 24 >> 24) & 0xffff)
85
86 /* #highesta(value) denotes bits 48 through 63 of the indicated value,
87 compensating for #lo being treated as a signed number. */
88 #define PPC_HIGHESTA(v) PPC_HIGHEST ((v) + 0x8000)
89
90 #define SEX16(val) (((val) ^ 0x8000) - 0x8000)
91
92 /* For the time being on ppc64, don't report overflow on @h and @ha
93 applied to constants. */
94 #define REPORT_OVERFLOW_HI 0
95
96 static bfd_boolean reg_names_p = TARGET_REG_NAMES_P;
97
98 static void ppc_macro (char *, const struct powerpc_macro *);
99 static void ppc_byte (int);
100
101 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
102 static void ppc_tc (int);
103 static void ppc_machine (int);
104 #endif
105
106 #ifdef OBJ_XCOFF
107 static void ppc_comm (int);
108 static void ppc_bb (int);
109 static void ppc_bc (int);
110 static void ppc_bf (int);
111 static void ppc_biei (int);
112 static void ppc_bs (int);
113 static void ppc_eb (int);
114 static void ppc_ec (int);
115 static void ppc_ef (int);
116 static void ppc_es (int);
117 static void ppc_csect (int);
118 static void ppc_dwsect (int);
119 static void ppc_change_csect (symbolS *, offsetT);
120 static void ppc_function (int);
121 static void ppc_extern (int);
122 static void ppc_lglobl (int);
123 static void ppc_ref (int);
124 static void ppc_section (int);
125 static void ppc_named_section (int);
126 static void ppc_stabx (int);
127 static void ppc_rename (int);
128 static void ppc_toc (int);
129 static void ppc_xcoff_cons (int);
130 static void ppc_vbyte (int);
131 #endif
132
133 #ifdef OBJ_ELF
134 static void ppc_elf_cons (int);
135 static void ppc_elf_rdata (int);
136 static void ppc_elf_lcomm (int);
137 static void ppc_elf_abiversion (int);
138 #endif
139
140 #ifdef TE_PE
141 static void ppc_previous (int);
142 static void ppc_pdata (int);
143 static void ppc_ydata (int);
144 static void ppc_reldata (int);
145 static void ppc_rdata (int);
146 static void ppc_ualong (int);
147 static void ppc_znop (int);
148 static void ppc_pe_comm (int);
149 static void ppc_pe_section (int);
150 static void ppc_pe_function (int);
151 static void ppc_pe_tocd (int);
152 #endif
153 \f
154 /* Generic assembler global variables which must be defined by all
155 targets. */
156
157 #ifdef OBJ_ELF
158 /* This string holds the chars that always start a comment. If the
159 pre-processor is disabled, these aren't very useful. The macro
160 tc_comment_chars points to this. We use this, rather than the
161 usual comment_chars, so that we can switch for Solaris conventions. */
162 static const char ppc_solaris_comment_chars[] = "#!";
163 static const char ppc_eabi_comment_chars[] = "#";
164
165 #ifdef TARGET_SOLARIS_COMMENT
166 const char *ppc_comment_chars = ppc_solaris_comment_chars;
167 #else
168 const char *ppc_comment_chars = ppc_eabi_comment_chars;
169 #endif
170 #else
171 const char comment_chars[] = "#";
172 #endif
173
174 /* Characters which start a comment at the beginning of a line. */
175 const char line_comment_chars[] = "#";
176
177 /* Characters which may be used to separate multiple commands on a
178 single line. */
179 const char line_separator_chars[] = ";";
180
181 /* Characters which are used to indicate an exponent in a floating
182 point number. */
183 const char EXP_CHARS[] = "eE";
184
185 /* Characters which mean that a number is a floating point constant,
186 as in 0d1.0. */
187 const char FLT_CHARS[] = "dD";
188
189 /* Anything that can start an operand needs to be mentioned here,
190 to stop the input scrubber eating whitespace. */
191 const char ppc_symbol_chars[] = "%[";
192
193 /* The dwarf2 data alignment, adjusted for 32 or 64 bit. */
194 int ppc_cie_data_alignment;
195
196 /* The dwarf2 minimum instruction length. */
197 int ppc_dwarf2_line_min_insn_length;
198
199 /* More than this number of nops in an alignment op gets a branch
200 instead. */
201 unsigned long nop_limit = 4;
202
203 /* The type of processor we are assembling for. This is one or more
204 of the PPC_OPCODE flags defined in opcode/ppc.h. */
205 ppc_cpu_t ppc_cpu = 0;
206 ppc_cpu_t sticky = 0;
207
208 /* Value for ELF e_flags EF_PPC64_ABI. */
209 unsigned int ppc_abiversion = 0;
210
211 /* Flags set on encountering toc relocs. */
212 enum {
213 has_large_toc_reloc = 1,
214 has_small_toc_reloc = 2
215 } toc_reloc_types;
216 \f
217 /* The target specific pseudo-ops which we support. */
218
219 const pseudo_typeS md_pseudo_table[] =
220 {
221 /* Pseudo-ops which must be overridden. */
222 { "byte", ppc_byte, 0 },
223
224 #ifdef OBJ_XCOFF
225 /* Pseudo-ops specific to the RS/6000 XCOFF format. Some of these
226 legitimately belong in the obj-*.c file. However, XCOFF is based
227 on COFF, and is only implemented for the RS/6000. We just use
228 obj-coff.c, and add what we need here. */
229 { "comm", ppc_comm, 0 },
230 { "lcomm", ppc_comm, 1 },
231 { "bb", ppc_bb, 0 },
232 { "bc", ppc_bc, 0 },
233 { "bf", ppc_bf, 0 },
234 { "bi", ppc_biei, 0 },
235 { "bs", ppc_bs, 0 },
236 { "csect", ppc_csect, 0 },
237 { "dwsect", ppc_dwsect, 0 },
238 { "data", ppc_section, 'd' },
239 { "eb", ppc_eb, 0 },
240 { "ec", ppc_ec, 0 },
241 { "ef", ppc_ef, 0 },
242 { "ei", ppc_biei, 1 },
243 { "es", ppc_es, 0 },
244 { "extern", ppc_extern, 0 },
245 { "function", ppc_function, 0 },
246 { "lglobl", ppc_lglobl, 0 },
247 { "ref", ppc_ref, 0 },
248 { "rename", ppc_rename, 0 },
249 { "section", ppc_named_section, 0 },
250 { "stabx", ppc_stabx, 0 },
251 { "text", ppc_section, 't' },
252 { "toc", ppc_toc, 0 },
253 { "long", ppc_xcoff_cons, 2 },
254 { "llong", ppc_xcoff_cons, 3 },
255 { "word", ppc_xcoff_cons, 1 },
256 { "short", ppc_xcoff_cons, 1 },
257 { "vbyte", ppc_vbyte, 0 },
258 #endif
259
260 #ifdef OBJ_ELF
261 { "llong", ppc_elf_cons, 8 },
262 { "quad", ppc_elf_cons, 8 },
263 { "long", ppc_elf_cons, 4 },
264 { "word", ppc_elf_cons, 2 },
265 { "short", ppc_elf_cons, 2 },
266 { "rdata", ppc_elf_rdata, 0 },
267 { "rodata", ppc_elf_rdata, 0 },
268 { "lcomm", ppc_elf_lcomm, 0 },
269 { "abiversion", ppc_elf_abiversion, 0 },
270 #endif
271
272 #ifdef TE_PE
273 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
274 { "previous", ppc_previous, 0 },
275 { "pdata", ppc_pdata, 0 },
276 { "ydata", ppc_ydata, 0 },
277 { "reldata", ppc_reldata, 0 },
278 { "rdata", ppc_rdata, 0 },
279 { "ualong", ppc_ualong, 0 },
280 { "znop", ppc_znop, 0 },
281 { "comm", ppc_pe_comm, 0 },
282 { "lcomm", ppc_pe_comm, 1 },
283 { "section", ppc_pe_section, 0 },
284 { "function", ppc_pe_function,0 },
285 { "tocd", ppc_pe_tocd, 0 },
286 #endif
287
288 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
289 { "tc", ppc_tc, 0 },
290 { "machine", ppc_machine, 0 },
291 #endif
292
293 { NULL, NULL, 0 }
294 };
295
296 \f
297 /* Predefined register names if -mregnames (or default for Windows NT).
298 In general, there are lots of them, in an attempt to be compatible
299 with a number of other Windows NT assemblers. */
300
301 /* Structure to hold information about predefined registers. */
302 struct pd_reg
303 {
304 char *name;
305 int value;
306 };
307
308 /* List of registers that are pre-defined:
309
310 Each general register has predefined names of the form:
311 1. r<reg_num> which has the value <reg_num>.
312 2. r.<reg_num> which has the value <reg_num>.
313
314 Each floating point register has predefined names of the form:
315 1. f<reg_num> which has the value <reg_num>.
316 2. f.<reg_num> which has the value <reg_num>.
317
318 Each vector unit register has predefined names of the form:
319 1. v<reg_num> which has the value <reg_num>.
320 2. v.<reg_num> which has the value <reg_num>.
321
322 Each condition register has predefined names of the form:
323 1. cr<reg_num> which has the value <reg_num>.
324 2. cr.<reg_num> which has the value <reg_num>.
325
326 There are individual registers as well:
327 sp or r.sp has the value 1
328 rtoc or r.toc has the value 2
329 fpscr has the value 0
330 xer has the value 1
331 lr has the value 8
332 ctr has the value 9
333 pmr has the value 0
334 dar has the value 19
335 dsisr has the value 18
336 dec has the value 22
337 sdr1 has the value 25
338 srr0 has the value 26
339 srr1 has the value 27
340
341 The table is sorted. Suitable for searching by a binary search. */
342
343 static const struct pd_reg pre_defined_registers[] =
344 {
345 { "cr.0", 0 }, /* Condition Registers */
346 { "cr.1", 1 },
347 { "cr.2", 2 },
348 { "cr.3", 3 },
349 { "cr.4", 4 },
350 { "cr.5", 5 },
351 { "cr.6", 6 },
352 { "cr.7", 7 },
353
354 { "cr0", 0 },
355 { "cr1", 1 },
356 { "cr2", 2 },
357 { "cr3", 3 },
358 { "cr4", 4 },
359 { "cr5", 5 },
360 { "cr6", 6 },
361 { "cr7", 7 },
362
363 { "ctr", 9 },
364
365 { "dar", 19 }, /* Data Access Register */
366 { "dec", 22 }, /* Decrementer */
367 { "dsisr", 18 }, /* Data Storage Interrupt Status Register */
368
369 { "f.0", 0 }, /* Floating point registers */
370 { "f.1", 1 },
371 { "f.10", 10 },
372 { "f.11", 11 },
373 { "f.12", 12 },
374 { "f.13", 13 },
375 { "f.14", 14 },
376 { "f.15", 15 },
377 { "f.16", 16 },
378 { "f.17", 17 },
379 { "f.18", 18 },
380 { "f.19", 19 },
381 { "f.2", 2 },
382 { "f.20", 20 },
383 { "f.21", 21 },
384 { "f.22", 22 },
385 { "f.23", 23 },
386 { "f.24", 24 },
387 { "f.25", 25 },
388 { "f.26", 26 },
389 { "f.27", 27 },
390 { "f.28", 28 },
391 { "f.29", 29 },
392 { "f.3", 3 },
393 { "f.30", 30 },
394 { "f.31", 31 },
395
396 { "f.32", 32 }, /* Extended floating point scalar registers (ISA 2.06). */
397 { "f.33", 33 },
398 { "f.34", 34 },
399 { "f.35", 35 },
400 { "f.36", 36 },
401 { "f.37", 37 },
402 { "f.38", 38 },
403 { "f.39", 39 },
404 { "f.4", 4 },
405 { "f.40", 40 },
406 { "f.41", 41 },
407 { "f.42", 42 },
408 { "f.43", 43 },
409 { "f.44", 44 },
410 { "f.45", 45 },
411 { "f.46", 46 },
412 { "f.47", 47 },
413 { "f.48", 48 },
414 { "f.49", 49 },
415 { "f.5", 5 },
416 { "f.50", 50 },
417 { "f.51", 51 },
418 { "f.52", 52 },
419 { "f.53", 53 },
420 { "f.54", 54 },
421 { "f.55", 55 },
422 { "f.56", 56 },
423 { "f.57", 57 },
424 { "f.58", 58 },
425 { "f.59", 59 },
426 { "f.6", 6 },
427 { "f.60", 60 },
428 { "f.61", 61 },
429 { "f.62", 62 },
430 { "f.63", 63 },
431 { "f.7", 7 },
432 { "f.8", 8 },
433 { "f.9", 9 },
434
435 { "f0", 0 },
436 { "f1", 1 },
437 { "f10", 10 },
438 { "f11", 11 },
439 { "f12", 12 },
440 { "f13", 13 },
441 { "f14", 14 },
442 { "f15", 15 },
443 { "f16", 16 },
444 { "f17", 17 },
445 { "f18", 18 },
446 { "f19", 19 },
447 { "f2", 2 },
448 { "f20", 20 },
449 { "f21", 21 },
450 { "f22", 22 },
451 { "f23", 23 },
452 { "f24", 24 },
453 { "f25", 25 },
454 { "f26", 26 },
455 { "f27", 27 },
456 { "f28", 28 },
457 { "f29", 29 },
458 { "f3", 3 },
459 { "f30", 30 },
460 { "f31", 31 },
461
462 { "f32", 32 }, /* Extended floating point scalar registers (ISA 2.06). */
463 { "f33", 33 },
464 { "f34", 34 },
465 { "f35", 35 },
466 { "f36", 36 },
467 { "f37", 37 },
468 { "f38", 38 },
469 { "f39", 39 },
470 { "f4", 4 },
471 { "f40", 40 },
472 { "f41", 41 },
473 { "f42", 42 },
474 { "f43", 43 },
475 { "f44", 44 },
476 { "f45", 45 },
477 { "f46", 46 },
478 { "f47", 47 },
479 { "f48", 48 },
480 { "f49", 49 },
481 { "f5", 5 },
482 { "f50", 50 },
483 { "f51", 51 },
484 { "f52", 52 },
485 { "f53", 53 },
486 { "f54", 54 },
487 { "f55", 55 },
488 { "f56", 56 },
489 { "f57", 57 },
490 { "f58", 58 },
491 { "f59", 59 },
492 { "f6", 6 },
493 { "f60", 60 },
494 { "f61", 61 },
495 { "f62", 62 },
496 { "f63", 63 },
497 { "f7", 7 },
498 { "f8", 8 },
499 { "f9", 9 },
500
501 { "fpscr", 0 },
502
503 /* Quantization registers used with pair single instructions. */
504 { "gqr.0", 0 },
505 { "gqr.1", 1 },
506 { "gqr.2", 2 },
507 { "gqr.3", 3 },
508 { "gqr.4", 4 },
509 { "gqr.5", 5 },
510 { "gqr.6", 6 },
511 { "gqr.7", 7 },
512 { "gqr0", 0 },
513 { "gqr1", 1 },
514 { "gqr2", 2 },
515 { "gqr3", 3 },
516 { "gqr4", 4 },
517 { "gqr5", 5 },
518 { "gqr6", 6 },
519 { "gqr7", 7 },
520
521 { "lr", 8 }, /* Link Register */
522
523 { "pmr", 0 },
524
525 { "r.0", 0 }, /* General Purpose Registers */
526 { "r.1", 1 },
527 { "r.10", 10 },
528 { "r.11", 11 },
529 { "r.12", 12 },
530 { "r.13", 13 },
531 { "r.14", 14 },
532 { "r.15", 15 },
533 { "r.16", 16 },
534 { "r.17", 17 },
535 { "r.18", 18 },
536 { "r.19", 19 },
537 { "r.2", 2 },
538 { "r.20", 20 },
539 { "r.21", 21 },
540 { "r.22", 22 },
541 { "r.23", 23 },
542 { "r.24", 24 },
543 { "r.25", 25 },
544 { "r.26", 26 },
545 { "r.27", 27 },
546 { "r.28", 28 },
547 { "r.29", 29 },
548 { "r.3", 3 },
549 { "r.30", 30 },
550 { "r.31", 31 },
551 { "r.4", 4 },
552 { "r.5", 5 },
553 { "r.6", 6 },
554 { "r.7", 7 },
555 { "r.8", 8 },
556 { "r.9", 9 },
557
558 { "r.sp", 1 }, /* Stack Pointer */
559
560 { "r.toc", 2 }, /* Pointer to the table of contents */
561
562 { "r0", 0 }, /* More general purpose registers */
563 { "r1", 1 },
564 { "r10", 10 },
565 { "r11", 11 },
566 { "r12", 12 },
567 { "r13", 13 },
568 { "r14", 14 },
569 { "r15", 15 },
570 { "r16", 16 },
571 { "r17", 17 },
572 { "r18", 18 },
573 { "r19", 19 },
574 { "r2", 2 },
575 { "r20", 20 },
576 { "r21", 21 },
577 { "r22", 22 },
578 { "r23", 23 },
579 { "r24", 24 },
580 { "r25", 25 },
581 { "r26", 26 },
582 { "r27", 27 },
583 { "r28", 28 },
584 { "r29", 29 },
585 { "r3", 3 },
586 { "r30", 30 },
587 { "r31", 31 },
588 { "r4", 4 },
589 { "r5", 5 },
590 { "r6", 6 },
591 { "r7", 7 },
592 { "r8", 8 },
593 { "r9", 9 },
594
595 { "rtoc", 2 }, /* Table of contents */
596
597 { "sdr1", 25 }, /* Storage Description Register 1 */
598
599 { "sp", 1 },
600
601 { "srr0", 26 }, /* Machine Status Save/Restore Register 0 */
602 { "srr1", 27 }, /* Machine Status Save/Restore Register 1 */
603
604 { "v.0", 0 }, /* Vector (Altivec/VMX) registers */
605 { "v.1", 1 },
606 { "v.10", 10 },
607 { "v.11", 11 },
608 { "v.12", 12 },
609 { "v.13", 13 },
610 { "v.14", 14 },
611 { "v.15", 15 },
612 { "v.16", 16 },
613 { "v.17", 17 },
614 { "v.18", 18 },
615 { "v.19", 19 },
616 { "v.2", 2 },
617 { "v.20", 20 },
618 { "v.21", 21 },
619 { "v.22", 22 },
620 { "v.23", 23 },
621 { "v.24", 24 },
622 { "v.25", 25 },
623 { "v.26", 26 },
624 { "v.27", 27 },
625 { "v.28", 28 },
626 { "v.29", 29 },
627 { "v.3", 3 },
628 { "v.30", 30 },
629 { "v.31", 31 },
630 { "v.4", 4 },
631 { "v.5", 5 },
632 { "v.6", 6 },
633 { "v.7", 7 },
634 { "v.8", 8 },
635 { "v.9", 9 },
636
637 { "v0", 0 },
638 { "v1", 1 },
639 { "v10", 10 },
640 { "v11", 11 },
641 { "v12", 12 },
642 { "v13", 13 },
643 { "v14", 14 },
644 { "v15", 15 },
645 { "v16", 16 },
646 { "v17", 17 },
647 { "v18", 18 },
648 { "v19", 19 },
649 { "v2", 2 },
650 { "v20", 20 },
651 { "v21", 21 },
652 { "v22", 22 },
653 { "v23", 23 },
654 { "v24", 24 },
655 { "v25", 25 },
656 { "v26", 26 },
657 { "v27", 27 },
658 { "v28", 28 },
659 { "v29", 29 },
660 { "v3", 3 },
661 { "v30", 30 },
662 { "v31", 31 },
663 { "v4", 4 },
664 { "v5", 5 },
665 { "v6", 6 },
666 { "v7", 7 },
667 { "v8", 8 },
668 { "v9", 9 },
669
670 { "vs.0", 0 }, /* Vector Scalar (VSX) registers (ISA 2.06). */
671 { "vs.1", 1 },
672 { "vs.10", 10 },
673 { "vs.11", 11 },
674 { "vs.12", 12 },
675 { "vs.13", 13 },
676 { "vs.14", 14 },
677 { "vs.15", 15 },
678 { "vs.16", 16 },
679 { "vs.17", 17 },
680 { "vs.18", 18 },
681 { "vs.19", 19 },
682 { "vs.2", 2 },
683 { "vs.20", 20 },
684 { "vs.21", 21 },
685 { "vs.22", 22 },
686 { "vs.23", 23 },
687 { "vs.24", 24 },
688 { "vs.25", 25 },
689 { "vs.26", 26 },
690 { "vs.27", 27 },
691 { "vs.28", 28 },
692 { "vs.29", 29 },
693 { "vs.3", 3 },
694 { "vs.30", 30 },
695 { "vs.31", 31 },
696 { "vs.32", 32 },
697 { "vs.33", 33 },
698 { "vs.34", 34 },
699 { "vs.35", 35 },
700 { "vs.36", 36 },
701 { "vs.37", 37 },
702 { "vs.38", 38 },
703 { "vs.39", 39 },
704 { "vs.4", 4 },
705 { "vs.40", 40 },
706 { "vs.41", 41 },
707 { "vs.42", 42 },
708 { "vs.43", 43 },
709 { "vs.44", 44 },
710 { "vs.45", 45 },
711 { "vs.46", 46 },
712 { "vs.47", 47 },
713 { "vs.48", 48 },
714 { "vs.49", 49 },
715 { "vs.5", 5 },
716 { "vs.50", 50 },
717 { "vs.51", 51 },
718 { "vs.52", 52 },
719 { "vs.53", 53 },
720 { "vs.54", 54 },
721 { "vs.55", 55 },
722 { "vs.56", 56 },
723 { "vs.57", 57 },
724 { "vs.58", 58 },
725 { "vs.59", 59 },
726 { "vs.6", 6 },
727 { "vs.60", 60 },
728 { "vs.61", 61 },
729 { "vs.62", 62 },
730 { "vs.63", 63 },
731 { "vs.7", 7 },
732 { "vs.8", 8 },
733 { "vs.9", 9 },
734
735 { "vs0", 0 },
736 { "vs1", 1 },
737 { "vs10", 10 },
738 { "vs11", 11 },
739 { "vs12", 12 },
740 { "vs13", 13 },
741 { "vs14", 14 },
742 { "vs15", 15 },
743 { "vs16", 16 },
744 { "vs17", 17 },
745 { "vs18", 18 },
746 { "vs19", 19 },
747 { "vs2", 2 },
748 { "vs20", 20 },
749 { "vs21", 21 },
750 { "vs22", 22 },
751 { "vs23", 23 },
752 { "vs24", 24 },
753 { "vs25", 25 },
754 { "vs26", 26 },
755 { "vs27", 27 },
756 { "vs28", 28 },
757 { "vs29", 29 },
758 { "vs3", 3 },
759 { "vs30", 30 },
760 { "vs31", 31 },
761 { "vs32", 32 },
762 { "vs33", 33 },
763 { "vs34", 34 },
764 { "vs35", 35 },
765 { "vs36", 36 },
766 { "vs37", 37 },
767 { "vs38", 38 },
768 { "vs39", 39 },
769 { "vs4", 4 },
770 { "vs40", 40 },
771 { "vs41", 41 },
772 { "vs42", 42 },
773 { "vs43", 43 },
774 { "vs44", 44 },
775 { "vs45", 45 },
776 { "vs46", 46 },
777 { "vs47", 47 },
778 { "vs48", 48 },
779 { "vs49", 49 },
780 { "vs5", 5 },
781 { "vs50", 50 },
782 { "vs51", 51 },
783 { "vs52", 52 },
784 { "vs53", 53 },
785 { "vs54", 54 },
786 { "vs55", 55 },
787 { "vs56", 56 },
788 { "vs57", 57 },
789 { "vs58", 58 },
790 { "vs59", 59 },
791 { "vs6", 6 },
792 { "vs60", 60 },
793 { "vs61", 61 },
794 { "vs62", 62 },
795 { "vs63", 63 },
796 { "vs7", 7 },
797 { "vs8", 8 },
798 { "vs9", 9 },
799
800 { "xer", 1 },
801
802 };
803
804 #define REG_NAME_CNT (sizeof (pre_defined_registers) / sizeof (struct pd_reg))
805
806 /* Given NAME, find the register number associated with that name, return
807 the integer value associated with the given name or -1 on failure. */
808
809 static int
810 reg_name_search (const struct pd_reg *regs, int regcount, const char *name)
811 {
812 int middle, low, high;
813 int cmp;
814
815 low = 0;
816 high = regcount - 1;
817
818 do
819 {
820 middle = (low + high) / 2;
821 cmp = strcasecmp (name, regs[middle].name);
822 if (cmp < 0)
823 high = middle - 1;
824 else if (cmp > 0)
825 low = middle + 1;
826 else
827 return regs[middle].value;
828 }
829 while (low <= high);
830
831 return -1;
832 }
833
834 /*
835 * Summary of register_name.
836 *
837 * in: Input_line_pointer points to 1st char of operand.
838 *
839 * out: A expressionS.
840 * The operand may have been a register: in this case, X_op == O_register,
841 * X_add_number is set to the register number, and truth is returned.
842 * Input_line_pointer->(next non-blank) char after operand, or is in its
843 * original state.
844 */
845
846 static bfd_boolean
847 register_name (expressionS *expressionP)
848 {
849 int reg_number;
850 char *name;
851 char *start;
852 char c;
853
854 /* Find the spelling of the operand. */
855 start = name = input_line_pointer;
856 if (name[0] == '%' && ISALPHA (name[1]))
857 name = ++input_line_pointer;
858
859 else if (!reg_names_p || !ISALPHA (name[0]))
860 return FALSE;
861
862 c = get_symbol_end ();
863 reg_number = reg_name_search (pre_defined_registers, REG_NAME_CNT, name);
864
865 /* Put back the delimiting char. */
866 *input_line_pointer = c;
867
868 /* Look to see if it's in the register table. */
869 if (reg_number >= 0)
870 {
871 expressionP->X_op = O_register;
872 expressionP->X_add_number = reg_number;
873
874 /* Make the rest nice. */
875 expressionP->X_add_symbol = NULL;
876 expressionP->X_op_symbol = NULL;
877 return TRUE;
878 }
879
880 /* Reset the line as if we had not done anything. */
881 input_line_pointer = start;
882 return FALSE;
883 }
884 \f
885 /* This function is called for each symbol seen in an expression. It
886 handles the special parsing which PowerPC assemblers are supposed
887 to use for condition codes. */
888
889 /* Whether to do the special parsing. */
890 static bfd_boolean cr_operand;
891
892 /* Names to recognize in a condition code. This table is sorted. */
893 static const struct pd_reg cr_names[] =
894 {
895 { "cr0", 0 },
896 { "cr1", 1 },
897 { "cr2", 2 },
898 { "cr3", 3 },
899 { "cr4", 4 },
900 { "cr5", 5 },
901 { "cr6", 6 },
902 { "cr7", 7 },
903 { "eq", 2 },
904 { "gt", 1 },
905 { "lt", 0 },
906 { "so", 3 },
907 { "un", 3 }
908 };
909
910 /* Parsing function. This returns non-zero if it recognized an
911 expression. */
912
913 int
914 ppc_parse_name (const char *name, expressionS *exp)
915 {
916 int val;
917
918 if (! cr_operand)
919 return 0;
920
921 if (*name == '%')
922 ++name;
923 val = reg_name_search (cr_names, sizeof cr_names / sizeof cr_names[0],
924 name);
925 if (val < 0)
926 return 0;
927
928 exp->X_op = O_constant;
929 exp->X_add_number = val;
930
931 return 1;
932 }
933 \f
934 /* Local variables. */
935
936 /* Whether to target xcoff64/elf64. */
937 static unsigned int ppc_obj64 = BFD_DEFAULT_TARGET_SIZE == 64;
938
939 /* Opcode hash table. */
940 static struct hash_control *ppc_hash;
941
942 /* Macro hash table. */
943 static struct hash_control *ppc_macro_hash;
944
945 #ifdef OBJ_ELF
946 /* What type of shared library support to use. */
947 static enum { SHLIB_NONE, SHLIB_PIC, SHLIB_MRELOCATABLE } shlib = SHLIB_NONE;
948
949 /* Flags to set in the elf header. */
950 static flagword ppc_flags = 0;
951
952 /* Whether this is Solaris or not. */
953 #ifdef TARGET_SOLARIS_COMMENT
954 #define SOLARIS_P TRUE
955 #else
956 #define SOLARIS_P FALSE
957 #endif
958
959 static bfd_boolean msolaris = SOLARIS_P;
960 #endif
961
962 #ifdef OBJ_XCOFF
963
964 /* The RS/6000 assembler uses the .csect pseudo-op to generate code
965 using a bunch of different sections. These assembler sections,
966 however, are all encompassed within the .text or .data sections of
967 the final output file. We handle this by using different
968 subsegments within these main segments. */
969
970 /* Next subsegment to allocate within the .text segment. */
971 static subsegT ppc_text_subsegment = 2;
972
973 /* Linked list of csects in the text section. */
974 static symbolS *ppc_text_csects;
975
976 /* Next subsegment to allocate within the .data segment. */
977 static subsegT ppc_data_subsegment = 2;
978
979 /* Linked list of csects in the data section. */
980 static symbolS *ppc_data_csects;
981
982 /* The current csect. */
983 static symbolS *ppc_current_csect;
984
985 /* The RS/6000 assembler uses a TOC which holds addresses of functions
986 and variables. Symbols are put in the TOC with the .tc pseudo-op.
987 A special relocation is used when accessing TOC entries. We handle
988 the TOC as a subsegment within the .data segment. We set it up if
989 we see a .toc pseudo-op, and save the csect symbol here. */
990 static symbolS *ppc_toc_csect;
991
992 /* The first frag in the TOC subsegment. */
993 static fragS *ppc_toc_frag;
994
995 /* The first frag in the first subsegment after the TOC in the .data
996 segment. NULL if there are no subsegments after the TOC. */
997 static fragS *ppc_after_toc_frag;
998
999 /* The current static block. */
1000 static symbolS *ppc_current_block;
1001
1002 /* The COFF debugging section; set by md_begin. This is not the
1003 .debug section, but is instead the secret BFD section which will
1004 cause BFD to set the section number of a symbol to N_DEBUG. */
1005 static asection *ppc_coff_debug_section;
1006
1007 /* Structure to set the length field of the dwarf sections. */
1008 struct dw_subsection {
1009 /* Subsections are simply linked. */
1010 struct dw_subsection *link;
1011
1012 /* The subsection number. */
1013 subsegT subseg;
1014
1015 /* Expression to compute the length of the section. */
1016 expressionS end_exp;
1017 };
1018
1019 static struct dw_section {
1020 /* Corresponding section. */
1021 segT sect;
1022
1023 /* Simply linked list of subsections with a label. */
1024 struct dw_subsection *list_subseg;
1025
1026 /* The anonymous subsection. */
1027 struct dw_subsection *anon_subseg;
1028 } dw_sections[XCOFF_DWSECT_NBR_NAMES];
1029 #endif /* OBJ_XCOFF */
1030
1031 #ifdef TE_PE
1032
1033 /* Various sections that we need for PE coff support. */
1034 static segT ydata_section;
1035 static segT pdata_section;
1036 static segT reldata_section;
1037 static segT rdata_section;
1038 static segT tocdata_section;
1039
1040 /* The current section and the previous section. See ppc_previous. */
1041 static segT ppc_previous_section;
1042 static segT ppc_current_section;
1043
1044 #endif /* TE_PE */
1045
1046 #ifdef OBJ_ELF
1047 symbolS *GOT_symbol; /* Pre-defined "_GLOBAL_OFFSET_TABLE" */
1048 #define PPC_APUINFO_ISEL 0x40
1049 #define PPC_APUINFO_PMR 0x41
1050 #define PPC_APUINFO_RFMCI 0x42
1051 #define PPC_APUINFO_CACHELCK 0x43
1052 #define PPC_APUINFO_SPE 0x100
1053 #define PPC_APUINFO_EFS 0x101
1054 #define PPC_APUINFO_BRLOCK 0x102
1055 #define PPC_APUINFO_VLE 0x104
1056
1057 /*
1058 * We keep a list of APUinfo
1059 */
1060 unsigned long *ppc_apuinfo_list;
1061 unsigned int ppc_apuinfo_num;
1062 unsigned int ppc_apuinfo_num_alloc;
1063 #endif /* OBJ_ELF */
1064 \f
1065 #ifdef OBJ_ELF
1066 const char *const md_shortopts = "b:l:usm:K:VQ:";
1067 #else
1068 const char *const md_shortopts = "um:";
1069 #endif
1070 #define OPTION_NOPS (OPTION_MD_BASE + 0)
1071 const struct option md_longopts[] = {
1072 {"nops", required_argument, NULL, OPTION_NOPS},
1073 {NULL, no_argument, NULL, 0}
1074 };
1075 const size_t md_longopts_size = sizeof (md_longopts);
1076
1077 int
1078 md_parse_option (int c, char *arg)
1079 {
1080 ppc_cpu_t new_cpu;
1081
1082 switch (c)
1083 {
1084 case 'u':
1085 /* -u means that any undefined symbols should be treated as
1086 external, which is the default for gas anyhow. */
1087 break;
1088
1089 #ifdef OBJ_ELF
1090 case 'l':
1091 /* Solaris as takes -le (presumably for little endian). For completeness
1092 sake, recognize -be also. */
1093 if (strcmp (arg, "e") == 0)
1094 {
1095 target_big_endian = 0;
1096 set_target_endian = 1;
1097 if (ppc_cpu & PPC_OPCODE_VLE)
1098 as_bad (_("the use of -mvle requires big endian."));
1099 }
1100 else
1101 return 0;
1102
1103 break;
1104
1105 case 'b':
1106 if (strcmp (arg, "e") == 0)
1107 {
1108 target_big_endian = 1;
1109 set_target_endian = 1;
1110 }
1111 else
1112 return 0;
1113
1114 break;
1115
1116 case 'K':
1117 /* Recognize -K PIC. */
1118 if (strcmp (arg, "PIC") == 0 || strcmp (arg, "pic") == 0)
1119 {
1120 shlib = SHLIB_PIC;
1121 ppc_flags |= EF_PPC_RELOCATABLE_LIB;
1122 }
1123 else
1124 return 0;
1125
1126 break;
1127 #endif
1128
1129 /* a64 and a32 determine whether to use XCOFF64 or XCOFF32. */
1130 case 'a':
1131 if (strcmp (arg, "64") == 0)
1132 {
1133 #ifdef BFD64
1134 ppc_obj64 = 1;
1135 if (ppc_cpu & PPC_OPCODE_VLE)
1136 as_bad (_("the use of -mvle requires -a32."));
1137 #else
1138 as_fatal (_("%s unsupported"), "-a64");
1139 #endif
1140 }
1141 else if (strcmp (arg, "32") == 0)
1142 ppc_obj64 = 0;
1143 else
1144 return 0;
1145 break;
1146
1147 case 'm':
1148 new_cpu = ppc_parse_cpu (ppc_cpu, &sticky, arg);
1149 if (new_cpu != 0)
1150 {
1151 ppc_cpu = new_cpu;
1152 if (strcmp (arg, "vle") == 0)
1153 {
1154 if (set_target_endian && target_big_endian == 0)
1155 as_bad (_("the use of -mvle requires big endian."));
1156 if (ppc_obj64)
1157 as_bad (_("the use of -mvle requires -a32."));
1158 }
1159 }
1160
1161 else if (strcmp (arg, "regnames") == 0)
1162 reg_names_p = TRUE;
1163
1164 else if (strcmp (arg, "no-regnames") == 0)
1165 reg_names_p = FALSE;
1166
1167 #ifdef OBJ_ELF
1168 /* -mrelocatable/-mrelocatable-lib -- warn about initializations
1169 that require relocation. */
1170 else if (strcmp (arg, "relocatable") == 0)
1171 {
1172 shlib = SHLIB_MRELOCATABLE;
1173 ppc_flags |= EF_PPC_RELOCATABLE;
1174 }
1175
1176 else if (strcmp (arg, "relocatable-lib") == 0)
1177 {
1178 shlib = SHLIB_MRELOCATABLE;
1179 ppc_flags |= EF_PPC_RELOCATABLE_LIB;
1180 }
1181
1182 /* -memb, set embedded bit. */
1183 else if (strcmp (arg, "emb") == 0)
1184 ppc_flags |= EF_PPC_EMB;
1185
1186 /* -mlittle/-mbig set the endianness. */
1187 else if (strcmp (arg, "little") == 0
1188 || strcmp (arg, "little-endian") == 0)
1189 {
1190 target_big_endian = 0;
1191 set_target_endian = 1;
1192 if (ppc_cpu & PPC_OPCODE_VLE)
1193 as_bad (_("the use of -mvle requires big endian."));
1194 }
1195
1196 else if (strcmp (arg, "big") == 0 || strcmp (arg, "big-endian") == 0)
1197 {
1198 target_big_endian = 1;
1199 set_target_endian = 1;
1200 }
1201
1202 else if (strcmp (arg, "solaris") == 0)
1203 {
1204 msolaris = TRUE;
1205 ppc_comment_chars = ppc_solaris_comment_chars;
1206 }
1207
1208 else if (strcmp (arg, "no-solaris") == 0)
1209 {
1210 msolaris = FALSE;
1211 ppc_comment_chars = ppc_eabi_comment_chars;
1212 }
1213 #endif
1214 else
1215 {
1216 as_bad (_("invalid switch -m%s"), arg);
1217 return 0;
1218 }
1219 break;
1220
1221 #ifdef OBJ_ELF
1222 /* -V: SVR4 argument to print version ID. */
1223 case 'V':
1224 print_version_id ();
1225 break;
1226
1227 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
1228 should be emitted or not. FIXME: Not implemented. */
1229 case 'Q':
1230 break;
1231
1232 /* Solaris takes -s to specify that .stabs go in a .stabs section,
1233 rather than .stabs.excl, which is ignored by the linker.
1234 FIXME: Not implemented. */
1235 case 's':
1236 if (arg)
1237 return 0;
1238
1239 break;
1240 #endif
1241
1242 case OPTION_NOPS:
1243 {
1244 char *end;
1245 nop_limit = strtoul (optarg, &end, 0);
1246 if (*end)
1247 as_bad (_("--nops needs a numeric argument"));
1248 }
1249 break;
1250
1251 default:
1252 return 0;
1253 }
1254
1255 return 1;
1256 }
1257
1258 void
1259 md_show_usage (FILE *stream)
1260 {
1261 fprintf (stream, _("\
1262 PowerPC options:\n\
1263 -a32 generate ELF32/XCOFF32\n\
1264 -a64 generate ELF64/XCOFF64\n\
1265 -u ignored\n\
1266 -mpwrx, -mpwr2 generate code for POWER/2 (RIOS2)\n\
1267 -mpwr generate code for POWER (RIOS1)\n\
1268 -m601 generate code for PowerPC 601\n\
1269 -mppc, -mppc32, -m603, -m604\n\
1270 generate code for PowerPC 603/604\n\
1271 -m403 generate code for PowerPC 403\n\
1272 -m405 generate code for PowerPC 405\n\
1273 -m440 generate code for PowerPC 440\n\
1274 -m464 generate code for PowerPC 464\n\
1275 -m476 generate code for PowerPC 476\n\
1276 -m7400, -m7410, -m7450, -m7455\n\
1277 generate code for PowerPC 7400/7410/7450/7455\n\
1278 -m750cl generate code for PowerPC 750cl\n"));
1279 fprintf (stream, _("\
1280 -mppc64, -m620 generate code for PowerPC 620/625/630\n\
1281 -mppc64bridge generate code for PowerPC 64, including bridge insns\n\
1282 -mbooke generate code for 32-bit PowerPC BookE\n\
1283 -ma2 generate code for A2 architecture\n\
1284 -mpower4, -mpwr4 generate code for Power4 architecture\n\
1285 -mpower5, -mpwr5, -mpwr5x\n\
1286 generate code for Power5 architecture\n\
1287 -mpower6, -mpwr6 generate code for Power6 architecture\n\
1288 -mpower7, -mpwr7 generate code for Power7 architecture\n\
1289 -mpower8, -mpwr8 generate code for Power8 architecture\n\
1290 -mcell generate code for Cell Broadband Engine architecture\n\
1291 -mcom generate code Power/PowerPC common instructions\n\
1292 -many generate code for any architecture (PWR/PWRX/PPC)\n"));
1293 fprintf (stream, _("\
1294 -maltivec generate code for AltiVec\n\
1295 -mvsx generate code for Vector-Scalar (VSX) instructions\n\
1296 -mhtm generate code for Hardware Transactional Memory\n\
1297 -me300 generate code for PowerPC e300 family\n\
1298 -me500, -me500x2 generate code for Motorola e500 core complex\n\
1299 -me500mc, generate code for Freescale e500mc core complex\n\
1300 -me500mc64, generate code for Freescale e500mc64 core complex\n\
1301 -me5500, generate code for Freescale e5500 core complex\n\
1302 -me6500, generate code for Freescale e6500 core complex\n\
1303 -mspe generate code for Motorola SPE instructions\n\
1304 -mvle generate code for Freescale VLE instructions\n\
1305 -mtitan generate code for AppliedMicro Titan core complex\n\
1306 -mregnames Allow symbolic names for registers\n\
1307 -mno-regnames Do not allow symbolic names for registers\n"));
1308 #ifdef OBJ_ELF
1309 fprintf (stream, _("\
1310 -mrelocatable support for GCC's -mrelocatble option\n\
1311 -mrelocatable-lib support for GCC's -mrelocatble-lib option\n\
1312 -memb set PPC_EMB bit in ELF flags\n\
1313 -mlittle, -mlittle-endian, -le\n\
1314 generate code for a little endian machine\n\
1315 -mbig, -mbig-endian, -be\n\
1316 generate code for a big endian machine\n\
1317 -msolaris generate code for Solaris\n\
1318 -mno-solaris do not generate code for Solaris\n\
1319 -K PIC set EF_PPC_RELOCATABLE_LIB in ELF flags\n\
1320 -V print assembler version number\n\
1321 -Qy, -Qn ignored\n"));
1322 #endif
1323 fprintf (stream, _("\
1324 -nops=count when aligning, more than COUNT nops uses a branch\n"));
1325 }
1326 \f
1327 /* Set ppc_cpu if it is not already set. */
1328
1329 static void
1330 ppc_set_cpu (void)
1331 {
1332 const char *default_os = TARGET_OS;
1333 const char *default_cpu = TARGET_CPU;
1334
1335 if ((ppc_cpu & ~(ppc_cpu_t) PPC_OPCODE_ANY) == 0)
1336 {
1337 if (ppc_obj64)
1338 ppc_cpu |= PPC_OPCODE_PPC | PPC_OPCODE_64;
1339 else if (strncmp (default_os, "aix", 3) == 0
1340 && default_os[3] >= '4' && default_os[3] <= '9')
1341 ppc_cpu |= PPC_OPCODE_COMMON;
1342 else if (strncmp (default_os, "aix3", 4) == 0)
1343 ppc_cpu |= PPC_OPCODE_POWER;
1344 else if (strcmp (default_cpu, "rs6000") == 0)
1345 ppc_cpu |= PPC_OPCODE_POWER;
1346 else if (strncmp (default_cpu, "powerpc", 7) == 0)
1347 ppc_cpu |= PPC_OPCODE_PPC;
1348 else
1349 as_fatal (_("unknown default cpu = %s, os = %s"),
1350 default_cpu, default_os);
1351 }
1352 }
1353
1354 /* Figure out the BFD architecture to use. This function and ppc_mach
1355 are called well before md_begin, when the output file is opened. */
1356
1357 enum bfd_architecture
1358 ppc_arch (void)
1359 {
1360 const char *default_cpu = TARGET_CPU;
1361 ppc_set_cpu ();
1362
1363 if ((ppc_cpu & PPC_OPCODE_PPC) != 0)
1364 return bfd_arch_powerpc;
1365 if ((ppc_cpu & PPC_OPCODE_VLE) != 0)
1366 return bfd_arch_powerpc;
1367 if ((ppc_cpu & PPC_OPCODE_POWER) != 0)
1368 return bfd_arch_rs6000;
1369 if ((ppc_cpu & (PPC_OPCODE_COMMON | PPC_OPCODE_ANY)) != 0)
1370 {
1371 if (strcmp (default_cpu, "rs6000") == 0)
1372 return bfd_arch_rs6000;
1373 else if (strncmp (default_cpu, "powerpc", 7) == 0)
1374 return bfd_arch_powerpc;
1375 }
1376
1377 as_fatal (_("neither Power nor PowerPC opcodes were selected."));
1378 return bfd_arch_unknown;
1379 }
1380
1381 unsigned long
1382 ppc_mach (void)
1383 {
1384 if (ppc_obj64)
1385 return bfd_mach_ppc64;
1386 else if (ppc_arch () == bfd_arch_rs6000)
1387 return bfd_mach_rs6k;
1388 else if (ppc_cpu & PPC_OPCODE_TITAN)
1389 return bfd_mach_ppc_titan;
1390 else if (ppc_cpu & PPC_OPCODE_VLE)
1391 return bfd_mach_ppc_vle;
1392 else
1393 return bfd_mach_ppc;
1394 }
1395
1396 extern char*
1397 ppc_target_format (void)
1398 {
1399 #ifdef OBJ_COFF
1400 #ifdef TE_PE
1401 return target_big_endian ? "pe-powerpc" : "pe-powerpcle";
1402 #elif TE_POWERMAC
1403 return "xcoff-powermac";
1404 #else
1405 # ifdef TE_AIX5
1406 return (ppc_obj64 ? "aix5coff64-rs6000" : "aixcoff-rs6000");
1407 # else
1408 return (ppc_obj64 ? "aixcoff64-rs6000" : "aixcoff-rs6000");
1409 # endif
1410 #endif
1411 #endif
1412 #ifdef OBJ_ELF
1413 # ifdef TE_FreeBSD
1414 return (ppc_obj64 ? "elf64-powerpc-freebsd" : "elf32-powerpc-freebsd");
1415 # elif defined (TE_VXWORKS)
1416 return "elf32-powerpc-vxworks";
1417 # else
1418 return (target_big_endian
1419 ? (ppc_obj64 ? "elf64-powerpc" : "elf32-powerpc")
1420 : (ppc_obj64 ? "elf64-powerpcle" : "elf32-powerpcle"));
1421 # endif
1422 #endif
1423 }
1424
1425 /* Validate one entry in powerpc_opcodes[] or vle_opcodes[].
1426 Return TRUE if there's a problem, otherwise FALSE. */
1427
1428 static bfd_boolean
1429 insn_validate (const struct powerpc_opcode *op)
1430 {
1431 const unsigned char *o;
1432 unsigned long omask = op->mask;
1433
1434 /* The mask had better not trim off opcode bits. */
1435 if ((op->opcode & omask) != op->opcode)
1436 {
1437 as_bad (_("mask trims opcode bits for %s"), op->name);
1438 return TRUE;
1439 }
1440
1441 /* The operands must not overlap the opcode or each other. */
1442 for (o = op->operands; *o; ++o)
1443 {
1444 if (*o >= num_powerpc_operands)
1445 {
1446 as_bad (_("operand index error for %s"), op->name);
1447 return TRUE;
1448 }
1449 else
1450 {
1451 const struct powerpc_operand *operand = &powerpc_operands[*o];
1452 if (operand->shift != PPC_OPSHIFT_INV)
1453 {
1454 unsigned long mask;
1455
1456 if (operand->shift >= 0)
1457 mask = operand->bitm << operand->shift;
1458 else
1459 mask = operand->bitm >> -operand->shift;
1460 if (omask & mask)
1461 {
1462 as_bad (_("operand %d overlap in %s"),
1463 (int) (o - op->operands), op->name);
1464 return TRUE;
1465 }
1466 omask |= mask;
1467 }
1468 }
1469 }
1470 return FALSE;
1471 }
1472
1473 /* Insert opcodes and macros into hash tables. Called at startup and
1474 for .machine pseudo. */
1475
1476 static void
1477 ppc_setup_opcodes (void)
1478 {
1479 const struct powerpc_opcode *op;
1480 const struct powerpc_opcode *op_end;
1481 const struct powerpc_macro *macro;
1482 const struct powerpc_macro *macro_end;
1483 bfd_boolean bad_insn = FALSE;
1484
1485 if (ppc_hash != NULL)
1486 hash_die (ppc_hash);
1487 if (ppc_macro_hash != NULL)
1488 hash_die (ppc_macro_hash);
1489
1490 /* Insert the opcodes into a hash table. */
1491 ppc_hash = hash_new ();
1492
1493 if (ENABLE_CHECKING)
1494 {
1495 unsigned int i;
1496
1497 /* An index into powerpc_operands is stored in struct fix
1498 fx_pcrel_adjust which is 8 bits wide. */
1499 gas_assert (num_powerpc_operands < 256);
1500
1501 /* Check operand masks. Code here and in the disassembler assumes
1502 all the 1's in the mask are contiguous. */
1503 for (i = 0; i < num_powerpc_operands; ++i)
1504 {
1505 unsigned long mask = powerpc_operands[i].bitm;
1506 unsigned long right_bit;
1507 unsigned int j;
1508
1509 right_bit = mask & -mask;
1510 mask += right_bit;
1511 right_bit = mask & -mask;
1512 if (mask != right_bit)
1513 {
1514 as_bad (_("powerpc_operands[%d].bitm invalid"), i);
1515 bad_insn = TRUE;
1516 }
1517 for (j = i + 1; j < num_powerpc_operands; ++j)
1518 if (memcmp (&powerpc_operands[i], &powerpc_operands[j],
1519 sizeof (powerpc_operands[0])) == 0)
1520 {
1521 as_bad (_("powerpc_operands[%d] duplicates powerpc_operands[%d]"),
1522 j, i);
1523 bad_insn = TRUE;
1524 }
1525 }
1526 }
1527
1528 op_end = powerpc_opcodes + powerpc_num_opcodes;
1529 for (op = powerpc_opcodes; op < op_end; op++)
1530 {
1531 if (ENABLE_CHECKING)
1532 {
1533 if (op != powerpc_opcodes)
1534 {
1535 int old_opcode = PPC_OP (op[-1].opcode);
1536 int new_opcode = PPC_OP (op[0].opcode);
1537
1538 #ifdef PRINT_OPCODE_TABLE
1539 printf ("%-14s\t#%04u\tmajor op: 0x%x\top: 0x%x\tmask: 0x%x\tflags: 0x%llx\n",
1540 op->name, (unsigned int) (op - powerpc_opcodes),
1541 (unsigned int) new_opcode, (unsigned int) op->opcode,
1542 (unsigned int) op->mask, (unsigned long long) op->flags);
1543 #endif
1544
1545 /* The major opcodes had better be sorted. Code in the
1546 disassembler assumes the insns are sorted according to
1547 major opcode. */
1548 if (new_opcode < old_opcode)
1549 {
1550 as_bad (_("major opcode is not sorted for %s"),
1551 op->name);
1552 bad_insn = TRUE;
1553 }
1554 }
1555 bad_insn |= insn_validate (op);
1556 }
1557
1558 if ((ppc_cpu & op->flags) != 0
1559 && !(ppc_cpu & op->deprecated))
1560 {
1561 const char *retval;
1562
1563 retval = hash_insert (ppc_hash, op->name, (void *) op);
1564 if (retval != NULL)
1565 {
1566 as_bad (_("duplicate instruction %s"),
1567 op->name);
1568 bad_insn = TRUE;
1569 }
1570 }
1571 }
1572
1573 if ((ppc_cpu & PPC_OPCODE_ANY) != 0)
1574 for (op = powerpc_opcodes; op < op_end; op++)
1575 hash_insert (ppc_hash, op->name, (void *) op);
1576
1577 op_end = vle_opcodes + vle_num_opcodes;
1578 for (op = vle_opcodes; op < op_end; op++)
1579 {
1580 if (ENABLE_CHECKING)
1581 {
1582 if (op != vle_opcodes)
1583 {
1584 unsigned old_seg, new_seg;
1585
1586 old_seg = VLE_OP (op[-1].opcode, op[-1].mask);
1587 old_seg = VLE_OP_TO_SEG (old_seg);
1588 new_seg = VLE_OP (op[0].opcode, op[0].mask);
1589 new_seg = VLE_OP_TO_SEG (new_seg);
1590
1591 #ifdef PRINT_OPCODE_TABLE
1592 printf ("%-14s\t#%04u\tmajor op: 0x%x\top: 0x%x\tmask: 0x%x\tflags: 0x%llx\n",
1593 op->name, (unsigned int) (op - powerpc_opcodes),
1594 (unsigned int) new_seg, (unsigned int) op->opcode,
1595 (unsigned int) op->mask, (unsigned long long) op->flags);
1596 #endif
1597 /* The major opcodes had better be sorted. Code in the
1598 disassembler assumes the insns are sorted according to
1599 major opcode. */
1600 if (new_seg < old_seg)
1601 {
1602 as_bad (_("major opcode is not sorted for %s"),
1603 op->name);
1604 bad_insn = TRUE;
1605 }
1606 }
1607
1608 bad_insn |= insn_validate (op);
1609 }
1610
1611 if ((ppc_cpu & op->flags) != 0
1612 && !(ppc_cpu & op->deprecated))
1613 {
1614 const char *retval;
1615
1616 retval = hash_insert (ppc_hash, op->name, (void *) op);
1617 if (retval != NULL)
1618 {
1619 as_bad (_("duplicate instruction %s"),
1620 op->name);
1621 bad_insn = TRUE;
1622 }
1623 }
1624 }
1625
1626 if ((ppc_cpu & PPC_OPCODE_VLE) != 0)
1627 for (op = vle_opcodes; op < op_end; op++)
1628 hash_insert (ppc_hash, op->name, (void *) op);
1629
1630 /* Insert the macros into a hash table. */
1631 ppc_macro_hash = hash_new ();
1632
1633 macro_end = powerpc_macros + powerpc_num_macros;
1634 for (macro = powerpc_macros; macro < macro_end; macro++)
1635 {
1636 if ((macro->flags & ppc_cpu) != 0 || (ppc_cpu & PPC_OPCODE_ANY) != 0)
1637 {
1638 const char *retval;
1639
1640 retval = hash_insert (ppc_macro_hash, macro->name, (void *) macro);
1641 if (retval != (const char *) NULL)
1642 {
1643 as_bad (_("duplicate macro %s"), macro->name);
1644 bad_insn = TRUE;
1645 }
1646 }
1647 }
1648
1649 if (bad_insn)
1650 abort ();
1651 }
1652
1653 /* This function is called when the assembler starts up. It is called
1654 after the options have been parsed and the output file has been
1655 opened. */
1656
1657 void
1658 md_begin (void)
1659 {
1660 ppc_set_cpu ();
1661
1662 ppc_cie_data_alignment = ppc_obj64 ? -8 : -4;
1663 ppc_dwarf2_line_min_insn_length = (ppc_cpu & PPC_OPCODE_VLE) ? 2 : 4;
1664
1665 #ifdef OBJ_ELF
1666 /* Set the ELF flags if desired. */
1667 if (ppc_flags && !msolaris)
1668 bfd_set_private_flags (stdoutput, ppc_flags);
1669 #endif
1670
1671 ppc_setup_opcodes ();
1672
1673 /* Tell the main code what the endianness is if it is not overridden
1674 by the user. */
1675 if (!set_target_endian)
1676 {
1677 set_target_endian = 1;
1678 target_big_endian = PPC_BIG_ENDIAN;
1679 }
1680
1681 #ifdef OBJ_XCOFF
1682 ppc_coff_debug_section = coff_section_from_bfd_index (stdoutput, N_DEBUG);
1683
1684 /* Create dummy symbols to serve as initial csects. This forces the
1685 text csects to precede the data csects. These symbols will not
1686 be output. */
1687 ppc_text_csects = symbol_make ("dummy\001");
1688 symbol_get_tc (ppc_text_csects)->within = ppc_text_csects;
1689 ppc_data_csects = symbol_make ("dummy\001");
1690 symbol_get_tc (ppc_data_csects)->within = ppc_data_csects;
1691 #endif
1692
1693 #ifdef TE_PE
1694
1695 ppc_current_section = text_section;
1696 ppc_previous_section = 0;
1697
1698 #endif
1699 }
1700
1701 void
1702 ppc_cleanup (void)
1703 {
1704 #ifdef OBJ_ELF
1705 if (ppc_apuinfo_list == NULL)
1706 return;
1707
1708 /* Ok, so write the section info out. We have this layout:
1709
1710 byte data what
1711 ---- ---- ----
1712 0 8 length of "APUinfo\0"
1713 4 (n*4) number of APU's (4 bytes each)
1714 8 2 note type 2
1715 12 "APUinfo\0" name
1716 20 APU#1 first APU's info
1717 24 APU#2 second APU's info
1718 ... ...
1719 */
1720 {
1721 char *p;
1722 asection *seg = now_seg;
1723 subsegT subseg = now_subseg;
1724 asection *apuinfo_secp = (asection *) NULL;
1725 unsigned int i;
1726
1727 /* Create the .PPC.EMB.apuinfo section. */
1728 apuinfo_secp = subseg_new (".PPC.EMB.apuinfo", 0);
1729 bfd_set_section_flags (stdoutput,
1730 apuinfo_secp,
1731 SEC_HAS_CONTENTS | SEC_READONLY);
1732
1733 p = frag_more (4);
1734 md_number_to_chars (p, (valueT) 8, 4);
1735
1736 p = frag_more (4);
1737 md_number_to_chars (p, (valueT) ppc_apuinfo_num * 4, 4);
1738
1739 p = frag_more (4);
1740 md_number_to_chars (p, (valueT) 2, 4);
1741
1742 p = frag_more (8);
1743 strcpy (p, "APUinfo");
1744
1745 for (i = 0; i < ppc_apuinfo_num; i++)
1746 {
1747 p = frag_more (4);
1748 md_number_to_chars (p, (valueT) ppc_apuinfo_list[i], 4);
1749 }
1750
1751 frag_align (2, 0, 0);
1752
1753 /* We probably can't restore the current segment, for there likely
1754 isn't one yet... */
1755 if (seg && subseg)
1756 subseg_set (seg, subseg);
1757 }
1758 #endif
1759 }
1760
1761 /* Insert an operand value into an instruction. */
1762
1763 static unsigned long
1764 ppc_insert_operand (unsigned long insn,
1765 const struct powerpc_operand *operand,
1766 offsetT val,
1767 ppc_cpu_t cpu,
1768 char *file,
1769 unsigned int line)
1770 {
1771 long min, max, right;
1772
1773 max = operand->bitm;
1774 right = max & -max;
1775 min = 0;
1776
1777 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
1778 {
1779 if ((operand->flags & PPC_OPERAND_SIGNOPT) == 0)
1780 max = (max >> 1) & -right;
1781 min = ~max & -right;
1782 }
1783
1784 if ((operand->flags & PPC_OPERAND_PLUS1) != 0)
1785 max++;
1786
1787 if ((operand->flags & PPC_OPERAND_NEGATIVE) != 0)
1788 {
1789 long tmp = min;
1790 min = -max;
1791 max = -tmp;
1792 }
1793
1794 if (min <= max)
1795 {
1796 /* Some people write constants with the sign extension done by
1797 hand but only up to 32 bits. This shouldn't really be valid,
1798 but, to permit this code to assemble on a 64-bit host, we
1799 sign extend the 32-bit value to 64 bits if so doing makes the
1800 value valid. */
1801 if (val > max
1802 && (offsetT) (val - 0x80000000 - 0x80000000) >= min
1803 && (offsetT) (val - 0x80000000 - 0x80000000) <= max
1804 && ((val - 0x80000000 - 0x80000000) & (right - 1)) == 0)
1805 val = val - 0x80000000 - 0x80000000;
1806
1807 /* Similarly, people write expressions like ~(1<<15), and expect
1808 this to be OK for a 32-bit unsigned value. */
1809 else if (val < min
1810 && (offsetT) (val + 0x80000000 + 0x80000000) >= min
1811 && (offsetT) (val + 0x80000000 + 0x80000000) <= max
1812 && ((val + 0x80000000 + 0x80000000) & (right - 1)) == 0)
1813 val = val + 0x80000000 + 0x80000000;
1814
1815 else if (val < min
1816 || val > max
1817 || (val & (right - 1)) != 0)
1818 as_bad_value_out_of_range (_("operand"), val, min, max, file, line);
1819 }
1820
1821 if (operand->insert)
1822 {
1823 const char *errmsg;
1824
1825 errmsg = NULL;
1826 insn = (*operand->insert) (insn, (long) val, cpu, &errmsg);
1827 if (errmsg != (const char *) NULL)
1828 as_bad_where (file, line, "%s", errmsg);
1829 }
1830 else if (operand->shift >= 0)
1831 insn |= ((long) val & operand->bitm) << operand->shift;
1832 else
1833 insn |= ((long) val & operand->bitm) >> -operand->shift;
1834
1835 return insn;
1836 }
1837
1838 \f
1839 #ifdef OBJ_ELF
1840 /* Parse @got, etc. and return the desired relocation. */
1841 static bfd_reloc_code_real_type
1842 ppc_elf_suffix (char **str_p, expressionS *exp_p)
1843 {
1844 struct map_bfd {
1845 char *string;
1846 unsigned int length : 8;
1847 unsigned int valid32 : 1;
1848 unsigned int valid64 : 1;
1849 unsigned int reloc;
1850 };
1851
1852 char ident[20];
1853 char *str = *str_p;
1854 char *str2;
1855 int ch;
1856 int len;
1857 const struct map_bfd *ptr;
1858
1859 #define MAP(str, reloc) { str, sizeof (str) - 1, 1, 1, reloc }
1860 #define MAP32(str, reloc) { str, sizeof (str) - 1, 1, 0, reloc }
1861 #define MAP64(str, reloc) { str, sizeof (str) - 1, 0, 1, reloc }
1862
1863 static const struct map_bfd mapping[] = {
1864 MAP ("l", BFD_RELOC_LO16),
1865 MAP ("h", BFD_RELOC_HI16),
1866 MAP ("ha", BFD_RELOC_HI16_S),
1867 MAP ("brtaken", BFD_RELOC_PPC_B16_BRTAKEN),
1868 MAP ("brntaken", BFD_RELOC_PPC_B16_BRNTAKEN),
1869 MAP ("got", BFD_RELOC_16_GOTOFF),
1870 MAP ("got@l", BFD_RELOC_LO16_GOTOFF),
1871 MAP ("got@h", BFD_RELOC_HI16_GOTOFF),
1872 MAP ("got@ha", BFD_RELOC_HI16_S_GOTOFF),
1873 MAP ("plt@l", BFD_RELOC_LO16_PLTOFF),
1874 MAP ("plt@h", BFD_RELOC_HI16_PLTOFF),
1875 MAP ("plt@ha", BFD_RELOC_HI16_S_PLTOFF),
1876 MAP ("copy", BFD_RELOC_PPC_COPY),
1877 MAP ("globdat", BFD_RELOC_PPC_GLOB_DAT),
1878 MAP ("sectoff", BFD_RELOC_16_BASEREL),
1879 MAP ("sectoff@l", BFD_RELOC_LO16_BASEREL),
1880 MAP ("sectoff@h", BFD_RELOC_HI16_BASEREL),
1881 MAP ("sectoff@ha", BFD_RELOC_HI16_S_BASEREL),
1882 MAP ("tls", BFD_RELOC_PPC_TLS),
1883 MAP ("dtpmod", BFD_RELOC_PPC_DTPMOD),
1884 MAP ("dtprel", BFD_RELOC_PPC_DTPREL),
1885 MAP ("dtprel@l", BFD_RELOC_PPC_DTPREL16_LO),
1886 MAP ("dtprel@h", BFD_RELOC_PPC_DTPREL16_HI),
1887 MAP ("dtprel@ha", BFD_RELOC_PPC_DTPREL16_HA),
1888 MAP ("tprel", BFD_RELOC_PPC_TPREL),
1889 MAP ("tprel@l", BFD_RELOC_PPC_TPREL16_LO),
1890 MAP ("tprel@h", BFD_RELOC_PPC_TPREL16_HI),
1891 MAP ("tprel@ha", BFD_RELOC_PPC_TPREL16_HA),
1892 MAP ("got@tlsgd", BFD_RELOC_PPC_GOT_TLSGD16),
1893 MAP ("got@tlsgd@l", BFD_RELOC_PPC_GOT_TLSGD16_LO),
1894 MAP ("got@tlsgd@h", BFD_RELOC_PPC_GOT_TLSGD16_HI),
1895 MAP ("got@tlsgd@ha", BFD_RELOC_PPC_GOT_TLSGD16_HA),
1896 MAP ("got@tlsld", BFD_RELOC_PPC_GOT_TLSLD16),
1897 MAP ("got@tlsld@l", BFD_RELOC_PPC_GOT_TLSLD16_LO),
1898 MAP ("got@tlsld@h", BFD_RELOC_PPC_GOT_TLSLD16_HI),
1899 MAP ("got@tlsld@ha", BFD_RELOC_PPC_GOT_TLSLD16_HA),
1900 MAP ("got@dtprel", BFD_RELOC_PPC_GOT_DTPREL16),
1901 MAP ("got@dtprel@l", BFD_RELOC_PPC_GOT_DTPREL16_LO),
1902 MAP ("got@dtprel@h", BFD_RELOC_PPC_GOT_DTPREL16_HI),
1903 MAP ("got@dtprel@ha", BFD_RELOC_PPC_GOT_DTPREL16_HA),
1904 MAP ("got@tprel", BFD_RELOC_PPC_GOT_TPREL16),
1905 MAP ("got@tprel@l", BFD_RELOC_PPC_GOT_TPREL16_LO),
1906 MAP ("got@tprel@h", BFD_RELOC_PPC_GOT_TPREL16_HI),
1907 MAP ("got@tprel@ha", BFD_RELOC_PPC_GOT_TPREL16_HA),
1908 MAP32 ("fixup", BFD_RELOC_CTOR),
1909 MAP32 ("plt", BFD_RELOC_24_PLT_PCREL),
1910 MAP32 ("pltrel24", BFD_RELOC_24_PLT_PCREL),
1911 MAP32 ("local24pc", BFD_RELOC_PPC_LOCAL24PC),
1912 MAP32 ("local", BFD_RELOC_PPC_LOCAL24PC),
1913 MAP32 ("pltrel", BFD_RELOC_32_PLT_PCREL),
1914 MAP32 ("sdarel", BFD_RELOC_GPREL16),
1915 MAP32 ("sdarel@l", BFD_RELOC_PPC_VLE_SDAREL_LO16A),
1916 MAP32 ("sdarel@h", BFD_RELOC_PPC_VLE_SDAREL_HI16A),
1917 MAP32 ("sdarel@ha", BFD_RELOC_PPC_VLE_SDAREL_HA16A),
1918 MAP32 ("naddr", BFD_RELOC_PPC_EMB_NADDR32),
1919 MAP32 ("naddr16", BFD_RELOC_PPC_EMB_NADDR16),
1920 MAP32 ("naddr@l", BFD_RELOC_PPC_EMB_NADDR16_LO),
1921 MAP32 ("naddr@h", BFD_RELOC_PPC_EMB_NADDR16_HI),
1922 MAP32 ("naddr@ha", BFD_RELOC_PPC_EMB_NADDR16_HA),
1923 MAP32 ("sdai16", BFD_RELOC_PPC_EMB_SDAI16),
1924 MAP32 ("sda2rel", BFD_RELOC_PPC_EMB_SDA2REL),
1925 MAP32 ("sda2i16", BFD_RELOC_PPC_EMB_SDA2I16),
1926 MAP32 ("sda21", BFD_RELOC_PPC_EMB_SDA21),
1927 MAP32 ("sda21@l", BFD_RELOC_PPC_VLE_SDA21_LO),
1928 MAP32 ("mrkref", BFD_RELOC_PPC_EMB_MRKREF),
1929 MAP32 ("relsect", BFD_RELOC_PPC_EMB_RELSEC16),
1930 MAP32 ("relsect@l", BFD_RELOC_PPC_EMB_RELST_LO),
1931 MAP32 ("relsect@h", BFD_RELOC_PPC_EMB_RELST_HI),
1932 MAP32 ("relsect@ha", BFD_RELOC_PPC_EMB_RELST_HA),
1933 MAP32 ("bitfld", BFD_RELOC_PPC_EMB_BIT_FLD),
1934 MAP32 ("relsda", BFD_RELOC_PPC_EMB_RELSDA),
1935 MAP32 ("xgot", BFD_RELOC_PPC_TOC16),
1936 MAP64 ("high", BFD_RELOC_PPC64_ADDR16_HIGH),
1937 MAP64 ("higha", BFD_RELOC_PPC64_ADDR16_HIGHA),
1938 MAP64 ("higher", BFD_RELOC_PPC64_HIGHER),
1939 MAP64 ("highera", BFD_RELOC_PPC64_HIGHER_S),
1940 MAP64 ("highest", BFD_RELOC_PPC64_HIGHEST),
1941 MAP64 ("highesta", BFD_RELOC_PPC64_HIGHEST_S),
1942 MAP64 ("tocbase", BFD_RELOC_PPC64_TOC),
1943 MAP64 ("toc", BFD_RELOC_PPC_TOC16),
1944 MAP64 ("toc@l", BFD_RELOC_PPC64_TOC16_LO),
1945 MAP64 ("toc@h", BFD_RELOC_PPC64_TOC16_HI),
1946 MAP64 ("toc@ha", BFD_RELOC_PPC64_TOC16_HA),
1947 MAP64 ("dtprel@high", BFD_RELOC_PPC64_DTPREL16_HIGH),
1948 MAP64 ("dtprel@higha", BFD_RELOC_PPC64_DTPREL16_HIGHA),
1949 MAP64 ("dtprel@higher", BFD_RELOC_PPC64_DTPREL16_HIGHER),
1950 MAP64 ("dtprel@highera", BFD_RELOC_PPC64_DTPREL16_HIGHERA),
1951 MAP64 ("dtprel@highest", BFD_RELOC_PPC64_DTPREL16_HIGHEST),
1952 MAP64 ("dtprel@highesta", BFD_RELOC_PPC64_DTPREL16_HIGHESTA),
1953 MAP64 ("tprel@high", BFD_RELOC_PPC64_TPREL16_HIGH),
1954 MAP64 ("tprel@higha", BFD_RELOC_PPC64_TPREL16_HIGHA),
1955 MAP64 ("tprel@higher", BFD_RELOC_PPC64_TPREL16_HIGHER),
1956 MAP64 ("tprel@highera", BFD_RELOC_PPC64_TPREL16_HIGHERA),
1957 MAP64 ("tprel@highest", BFD_RELOC_PPC64_TPREL16_HIGHEST),
1958 MAP64 ("tprel@highesta", BFD_RELOC_PPC64_TPREL16_HIGHESTA),
1959 { (char *) 0, 0, 0, 0, BFD_RELOC_UNUSED }
1960 };
1961
1962 if (*str++ != '@')
1963 return BFD_RELOC_UNUSED;
1964
1965 for (ch = *str, str2 = ident;
1966 (str2 < ident + sizeof (ident) - 1
1967 && (ISALNUM (ch) || ch == '@'));
1968 ch = *++str)
1969 {
1970 *str2++ = TOLOWER (ch);
1971 }
1972
1973 *str2 = '\0';
1974 len = str2 - ident;
1975
1976 ch = ident[0];
1977 for (ptr = &mapping[0]; ptr->length > 0; ptr++)
1978 if (ch == ptr->string[0]
1979 && len == ptr->length
1980 && memcmp (ident, ptr->string, ptr->length) == 0
1981 && (ppc_obj64 ? ptr->valid64 : ptr->valid32))
1982 {
1983 int reloc = ptr->reloc;
1984
1985 if (!ppc_obj64 && exp_p->X_add_number != 0)
1986 {
1987 switch (reloc)
1988 {
1989 case BFD_RELOC_16_GOTOFF:
1990 case BFD_RELOC_LO16_GOTOFF:
1991 case BFD_RELOC_HI16_GOTOFF:
1992 case BFD_RELOC_HI16_S_GOTOFF:
1993 as_warn (_("identifier+constant@got means "
1994 "identifier@got+constant"));
1995 break;
1996
1997 case BFD_RELOC_PPC_GOT_TLSGD16:
1998 case BFD_RELOC_PPC_GOT_TLSGD16_LO:
1999 case BFD_RELOC_PPC_GOT_TLSGD16_HI:
2000 case BFD_RELOC_PPC_GOT_TLSGD16_HA:
2001 case BFD_RELOC_PPC_GOT_TLSLD16:
2002 case BFD_RELOC_PPC_GOT_TLSLD16_LO:
2003 case BFD_RELOC_PPC_GOT_TLSLD16_HI:
2004 case BFD_RELOC_PPC_GOT_TLSLD16_HA:
2005 case BFD_RELOC_PPC_GOT_DTPREL16:
2006 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
2007 case BFD_RELOC_PPC_GOT_DTPREL16_HI:
2008 case BFD_RELOC_PPC_GOT_DTPREL16_HA:
2009 case BFD_RELOC_PPC_GOT_TPREL16:
2010 case BFD_RELOC_PPC_GOT_TPREL16_LO:
2011 case BFD_RELOC_PPC_GOT_TPREL16_HI:
2012 case BFD_RELOC_PPC_GOT_TPREL16_HA:
2013 as_bad (_("symbol+offset not supported for got tls"));
2014 break;
2015 }
2016 }
2017
2018 /* Now check for identifier@suffix+constant. */
2019 if (*str == '-' || *str == '+')
2020 {
2021 char *orig_line = input_line_pointer;
2022 expressionS new_exp;
2023
2024 input_line_pointer = str;
2025 expression (&new_exp);
2026 if (new_exp.X_op == O_constant)
2027 {
2028 exp_p->X_add_number += new_exp.X_add_number;
2029 str = input_line_pointer;
2030 }
2031
2032 if (&input_line_pointer != str_p)
2033 input_line_pointer = orig_line;
2034 }
2035 *str_p = str;
2036
2037 if (reloc == (int) BFD_RELOC_PPC64_TOC
2038 && exp_p->X_op == O_symbol
2039 && strcmp (S_GET_NAME (exp_p->X_add_symbol), ".TOC.") == 0)
2040 {
2041 /* Change the symbol so that the dummy .TOC. symbol can be
2042 omitted from the object file. */
2043 exp_p->X_add_symbol = &abs_symbol;
2044 }
2045
2046 return (bfd_reloc_code_real_type) reloc;
2047 }
2048
2049 return BFD_RELOC_UNUSED;
2050 }
2051
2052 /* Like normal .long/.short/.word, except support @got, etc.
2053 Clobbers input_line_pointer, checks end-of-line. */
2054 static void
2055 ppc_elf_cons (int nbytes /* 1=.byte, 2=.word, 4=.long, 8=.llong */)
2056 {
2057 expressionS exp;
2058 bfd_reloc_code_real_type reloc;
2059
2060 if (is_it_end_of_statement ())
2061 {
2062 demand_empty_rest_of_line ();
2063 return;
2064 }
2065
2066 do
2067 {
2068 expression (&exp);
2069 if (*input_line_pointer == '@'
2070 && (reloc = ppc_elf_suffix (&input_line_pointer,
2071 &exp)) != BFD_RELOC_UNUSED)
2072 {
2073 reloc_howto_type *reloc_howto;
2074 int size;
2075
2076 reloc_howto = bfd_reloc_type_lookup (stdoutput, reloc);
2077 size = bfd_get_reloc_size (reloc_howto);
2078
2079 if (size > nbytes)
2080 {
2081 as_bad (_("%s relocations do not fit in %d bytes\n"),
2082 reloc_howto->name, nbytes);
2083 }
2084 else
2085 {
2086 char *p;
2087 int offset;
2088
2089 p = frag_more (nbytes);
2090 memset (p, 0, nbytes);
2091 offset = 0;
2092 if (target_big_endian)
2093 offset = nbytes - size;
2094 fix_new_exp (frag_now, p - frag_now->fr_literal + offset, size,
2095 &exp, 0, reloc);
2096 }
2097 }
2098 else
2099 emit_expr (&exp, (unsigned int) nbytes);
2100 }
2101 while (*input_line_pointer++ == ',');
2102
2103 /* Put terminator back into stream. */
2104 input_line_pointer--;
2105 demand_empty_rest_of_line ();
2106 }
2107
2108 /* Solaris pseduo op to change to the .rodata section. */
2109 static void
2110 ppc_elf_rdata (int xxx)
2111 {
2112 char *save_line = input_line_pointer;
2113 static char section[] = ".rodata\n";
2114
2115 /* Just pretend this is .section .rodata */
2116 input_line_pointer = section;
2117 obj_elf_section (xxx);
2118
2119 input_line_pointer = save_line;
2120 }
2121
2122 /* Pseudo op to make file scope bss items. */
2123 static void
2124 ppc_elf_lcomm (int xxx ATTRIBUTE_UNUSED)
2125 {
2126 char *name;
2127 char c;
2128 char *p;
2129 offsetT size;
2130 symbolS *symbolP;
2131 offsetT align;
2132 segT old_sec;
2133 int old_subsec;
2134 char *pfrag;
2135 int align2;
2136
2137 name = input_line_pointer;
2138 c = get_symbol_end ();
2139
2140 /* just after name is now '\0'. */
2141 p = input_line_pointer;
2142 *p = c;
2143 SKIP_WHITESPACE ();
2144 if (*input_line_pointer != ',')
2145 {
2146 as_bad (_("expected comma after symbol-name: rest of line ignored."));
2147 ignore_rest_of_line ();
2148 return;
2149 }
2150
2151 input_line_pointer++; /* skip ',' */
2152 if ((size = get_absolute_expression ()) < 0)
2153 {
2154 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) size);
2155 ignore_rest_of_line ();
2156 return;
2157 }
2158
2159 /* The third argument to .lcomm is the alignment. */
2160 if (*input_line_pointer != ',')
2161 align = 8;
2162 else
2163 {
2164 ++input_line_pointer;
2165 align = get_absolute_expression ();
2166 if (align <= 0)
2167 {
2168 as_warn (_("ignoring bad alignment"));
2169 align = 8;
2170 }
2171 }
2172
2173 *p = 0;
2174 symbolP = symbol_find_or_make (name);
2175 *p = c;
2176
2177 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
2178 {
2179 as_bad (_("ignoring attempt to re-define symbol `%s'."),
2180 S_GET_NAME (symbolP));
2181 ignore_rest_of_line ();
2182 return;
2183 }
2184
2185 if (S_GET_VALUE (symbolP) && S_GET_VALUE (symbolP) != (valueT) size)
2186 {
2187 as_bad (_("length of .lcomm \"%s\" is already %ld. Not changed to %ld."),
2188 S_GET_NAME (symbolP),
2189 (long) S_GET_VALUE (symbolP),
2190 (long) size);
2191
2192 ignore_rest_of_line ();
2193 return;
2194 }
2195
2196 /* Allocate_bss. */
2197 old_sec = now_seg;
2198 old_subsec = now_subseg;
2199 if (align)
2200 {
2201 /* Convert to a power of 2 alignment. */
2202 for (align2 = 0; (align & 1) == 0; align >>= 1, ++align2);
2203 if (align != 1)
2204 {
2205 as_bad (_("common alignment not a power of 2"));
2206 ignore_rest_of_line ();
2207 return;
2208 }
2209 }
2210 else
2211 align2 = 0;
2212
2213 record_alignment (bss_section, align2);
2214 subseg_set (bss_section, 1);
2215 if (align2)
2216 frag_align (align2, 0, 0);
2217 if (S_GET_SEGMENT (symbolP) == bss_section)
2218 symbol_get_frag (symbolP)->fr_symbol = 0;
2219 symbol_set_frag (symbolP, frag_now);
2220 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP, size,
2221 (char *) 0);
2222 *pfrag = 0;
2223 S_SET_SIZE (symbolP, size);
2224 S_SET_SEGMENT (symbolP, bss_section);
2225 subseg_set (old_sec, old_subsec);
2226 demand_empty_rest_of_line ();
2227 }
2228
2229 /* Pseudo op to set ABI version. */
2230 static void
2231 ppc_elf_abiversion (int ignore ATTRIBUTE_UNUSED)
2232 {
2233 expressionS exp;
2234
2235 expression (&exp);
2236 if (exp.X_op == O_absent)
2237 {
2238 as_bad (_("missing expression in .abiversion directive"));
2239 exp.X_op = O_constant;
2240 exp.X_add_number = 0;
2241 }
2242
2243 if (resolve_expression (&exp)
2244 && exp.X_op == O_constant)
2245 ppc_abiversion = exp.X_add_number;
2246 else
2247 as_bad (_(".abiversion expression does not evaluate to a constant"));
2248 demand_empty_rest_of_line ();
2249 }
2250
2251 /* Set ABI version in output file. */
2252 void
2253 ppc_elf_end (void)
2254 {
2255 if (ppc_obj64 && ppc_abiversion != 0)
2256 {
2257 elf_elfheader (stdoutput)->e_flags &= ~EF_PPC64_ABI;
2258 elf_elfheader (stdoutput)->e_flags |= ppc_abiversion & EF_PPC64_ABI;
2259 }
2260 }
2261
2262 /* Validate any relocations emitted for -mrelocatable, possibly adding
2263 fixups for word relocations in writable segments, so we can adjust
2264 them at runtime. */
2265 static void
2266 ppc_elf_validate_fix (fixS *fixp, segT seg)
2267 {
2268 if (fixp->fx_done || fixp->fx_pcrel)
2269 return;
2270
2271 switch (shlib)
2272 {
2273 case SHLIB_NONE:
2274 case SHLIB_PIC:
2275 return;
2276
2277 case SHLIB_MRELOCATABLE:
2278 if (fixp->fx_r_type <= BFD_RELOC_UNUSED
2279 && fixp->fx_r_type != BFD_RELOC_16_GOTOFF
2280 && fixp->fx_r_type != BFD_RELOC_HI16_GOTOFF
2281 && fixp->fx_r_type != BFD_RELOC_LO16_GOTOFF
2282 && fixp->fx_r_type != BFD_RELOC_HI16_S_GOTOFF
2283 && fixp->fx_r_type != BFD_RELOC_16_BASEREL
2284 && fixp->fx_r_type != BFD_RELOC_LO16_BASEREL
2285 && fixp->fx_r_type != BFD_RELOC_HI16_BASEREL
2286 && fixp->fx_r_type != BFD_RELOC_HI16_S_BASEREL
2287 && (seg->flags & SEC_LOAD) != 0
2288 && strcmp (segment_name (seg), ".got2") != 0
2289 && strcmp (segment_name (seg), ".dtors") != 0
2290 && strcmp (segment_name (seg), ".ctors") != 0
2291 && strcmp (segment_name (seg), ".fixup") != 0
2292 && strcmp (segment_name (seg), ".gcc_except_table") != 0
2293 && strcmp (segment_name (seg), ".eh_frame") != 0
2294 && strcmp (segment_name (seg), ".ex_shared") != 0)
2295 {
2296 if ((seg->flags & (SEC_READONLY | SEC_CODE)) != 0
2297 || fixp->fx_r_type != BFD_RELOC_CTOR)
2298 {
2299 as_bad_where (fixp->fx_file, fixp->fx_line,
2300 _("relocation cannot be done when using -mrelocatable"));
2301 }
2302 }
2303 return;
2304 }
2305 }
2306
2307 /* Prevent elf_frob_file_before_adjust removing a weak undefined
2308 function descriptor sym if the corresponding code sym is used. */
2309
2310 void
2311 ppc_frob_file_before_adjust (void)
2312 {
2313 symbolS *symp;
2314 asection *toc;
2315
2316 if (!ppc_obj64)
2317 return;
2318
2319 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
2320 {
2321 const char *name;
2322 char *dotname;
2323 symbolS *dotsym;
2324 size_t len;
2325
2326 name = S_GET_NAME (symp);
2327 if (name[0] == '.')
2328 continue;
2329
2330 if (! S_IS_WEAK (symp)
2331 || S_IS_DEFINED (symp))
2332 continue;
2333
2334 len = strlen (name) + 1;
2335 dotname = xmalloc (len + 1);
2336 dotname[0] = '.';
2337 memcpy (dotname + 1, name, len);
2338 dotsym = symbol_find_noref (dotname, 1);
2339 free (dotname);
2340 if (dotsym != NULL && (symbol_used_p (dotsym)
2341 || symbol_used_in_reloc_p (dotsym)))
2342 symbol_mark_used (symp);
2343
2344 }
2345
2346 toc = bfd_get_section_by_name (stdoutput, ".toc");
2347 if (toc != NULL
2348 && toc_reloc_types != has_large_toc_reloc
2349 && bfd_section_size (stdoutput, toc) > 0x10000)
2350 as_warn (_("TOC section size exceeds 64k"));
2351 }
2352
2353 /* .TOC. used in an opd entry as .TOC.@tocbase doesn't need to be
2354 emitted. Other uses of .TOC. will cause the symbol to be marked
2355 with BSF_KEEP in md_apply_fix. */
2356
2357 void
2358 ppc_elf_adjust_symtab (void)
2359 {
2360 if (ppc_obj64)
2361 {
2362 symbolS *symp;
2363 symp = symbol_find (".TOC.");
2364 if (symp != NULL)
2365 {
2366 asymbol *bsym = symbol_get_bfdsym (symp);
2367 if ((bsym->flags & BSF_KEEP) == 0)
2368 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
2369 }
2370 }
2371 }
2372 #endif /* OBJ_ELF */
2373 \f
2374 #ifdef TE_PE
2375
2376 /*
2377 * Summary of parse_toc_entry.
2378 *
2379 * in: Input_line_pointer points to the '[' in one of:
2380 *
2381 * [toc] [tocv] [toc32] [toc64]
2382 *
2383 * Anything else is an error of one kind or another.
2384 *
2385 * out:
2386 * return value: success or failure
2387 * toc_kind: kind of toc reference
2388 * input_line_pointer:
2389 * success: first char after the ']'
2390 * failure: unchanged
2391 *
2392 * settings:
2393 *
2394 * [toc] - rv == success, toc_kind = default_toc
2395 * [tocv] - rv == success, toc_kind = data_in_toc
2396 * [toc32] - rv == success, toc_kind = must_be_32
2397 * [toc64] - rv == success, toc_kind = must_be_64
2398 *
2399 */
2400
2401 enum toc_size_qualifier
2402 {
2403 default_toc, /* The toc cell constructed should be the system default size */
2404 data_in_toc, /* This is a direct reference to a toc cell */
2405 must_be_32, /* The toc cell constructed must be 32 bits wide */
2406 must_be_64 /* The toc cell constructed must be 64 bits wide */
2407 };
2408
2409 static int
2410 parse_toc_entry (enum toc_size_qualifier *toc_kind)
2411 {
2412 char *start;
2413 char *toc_spec;
2414 char c;
2415 enum toc_size_qualifier t;
2416
2417 /* Save the input_line_pointer. */
2418 start = input_line_pointer;
2419
2420 /* Skip over the '[' , and whitespace. */
2421 ++input_line_pointer;
2422 SKIP_WHITESPACE ();
2423
2424 /* Find the spelling of the operand. */
2425 toc_spec = input_line_pointer;
2426 c = get_symbol_end ();
2427
2428 if (strcmp (toc_spec, "toc") == 0)
2429 {
2430 t = default_toc;
2431 }
2432 else if (strcmp (toc_spec, "tocv") == 0)
2433 {
2434 t = data_in_toc;
2435 }
2436 else if (strcmp (toc_spec, "toc32") == 0)
2437 {
2438 t = must_be_32;
2439 }
2440 else if (strcmp (toc_spec, "toc64") == 0)
2441 {
2442 t = must_be_64;
2443 }
2444 else
2445 {
2446 as_bad (_("syntax error: invalid toc specifier `%s'"), toc_spec);
2447 *input_line_pointer = c;
2448 input_line_pointer = start;
2449 return 0;
2450 }
2451
2452 /* Now find the ']'. */
2453 *input_line_pointer = c;
2454
2455 SKIP_WHITESPACE (); /* leading whitespace could be there. */
2456 c = *input_line_pointer++; /* input_line_pointer->past char in c. */
2457
2458 if (c != ']')
2459 {
2460 as_bad (_("syntax error: expected `]', found `%c'"), c);
2461 input_line_pointer = start;
2462 return 0;
2463 }
2464
2465 *toc_kind = t;
2466 return 1;
2467 }
2468 #endif
2469
2470 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
2471 /* See whether a symbol is in the TOC section. */
2472
2473 static int
2474 ppc_is_toc_sym (symbolS *sym)
2475 {
2476 #ifdef OBJ_XCOFF
2477 return (symbol_get_tc (sym)->symbol_class == XMC_TC
2478 || symbol_get_tc (sym)->symbol_class == XMC_TC0);
2479 #endif
2480 #ifdef OBJ_ELF
2481 const char *sname = segment_name (S_GET_SEGMENT (sym));
2482 if (ppc_obj64)
2483 return strcmp (sname, ".toc") == 0;
2484 else
2485 return strcmp (sname, ".got") == 0;
2486 #endif
2487 }
2488 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
2489 \f
2490
2491 #ifdef OBJ_ELF
2492 #define APUID(a,v) ((((a) & 0xffff) << 16) | ((v) & 0xffff))
2493 static void
2494 ppc_apuinfo_section_add (unsigned int apu, unsigned int version)
2495 {
2496 unsigned int i;
2497
2498 /* Check we don't already exist. */
2499 for (i = 0; i < ppc_apuinfo_num; i++)
2500 if (ppc_apuinfo_list[i] == APUID (apu, version))
2501 return;
2502
2503 if (ppc_apuinfo_num == ppc_apuinfo_num_alloc)
2504 {
2505 if (ppc_apuinfo_num_alloc == 0)
2506 {
2507 ppc_apuinfo_num_alloc = 4;
2508 ppc_apuinfo_list = (unsigned long *)
2509 xmalloc (sizeof (unsigned long) * ppc_apuinfo_num_alloc);
2510 }
2511 else
2512 {
2513 ppc_apuinfo_num_alloc += 4;
2514 ppc_apuinfo_list = (unsigned long *) xrealloc (ppc_apuinfo_list,
2515 sizeof (unsigned long) * ppc_apuinfo_num_alloc);
2516 }
2517 }
2518 ppc_apuinfo_list[ppc_apuinfo_num++] = APUID (apu, version);
2519 }
2520 #undef APUID
2521 #endif
2522 \f
2523
2524 /* We need to keep a list of fixups. We can't simply generate them as
2525 we go, because that would require us to first create the frag, and
2526 that would screw up references to ``.''. */
2527
2528 struct ppc_fixup
2529 {
2530 expressionS exp;
2531 int opindex;
2532 bfd_reloc_code_real_type reloc;
2533 };
2534
2535 #define MAX_INSN_FIXUPS (5)
2536
2537 /* Form I16L. */
2538 #define E_OR2I_INSN 0x7000C000
2539 #define E_AND2I_DOT_INSN 0x7000C800
2540 #define E_OR2IS_INSN 0x7000D000
2541 #define E_LIS_INSN 0x7000E000
2542 #define E_AND2IS_DOT_INSN 0x7000E800
2543
2544 /* Form I16A. */
2545 #define E_ADD2I_DOT_INSN 0x70008800
2546 #define E_ADD2IS_INSN 0x70009000
2547 #define E_CMP16I_INSN 0x70009800
2548 #define E_MULL2I_INSN 0x7000A000
2549 #define E_CMPL16I_INSN 0x7000A800
2550 #define E_CMPH16I_INSN 0x7000B000
2551 #define E_CMPHL16I_INSN 0x7000B800
2552
2553 /* This routine is called for each instruction to be assembled. */
2554
2555 void
2556 md_assemble (char *str)
2557 {
2558 char *s;
2559 const struct powerpc_opcode *opcode;
2560 unsigned long insn;
2561 const unsigned char *opindex_ptr;
2562 int skip_optional;
2563 int need_paren;
2564 int next_opindex;
2565 struct ppc_fixup fixups[MAX_INSN_FIXUPS];
2566 int fc;
2567 char *f;
2568 int addr_mod;
2569 int i;
2570 unsigned int insn_length;
2571
2572 /* Get the opcode. */
2573 for (s = str; *s != '\0' && ! ISSPACE (*s); s++)
2574 ;
2575 if (*s != '\0')
2576 *s++ = '\0';
2577
2578 /* Look up the opcode in the hash table. */
2579 opcode = (const struct powerpc_opcode *) hash_find (ppc_hash, str);
2580 if (opcode == (const struct powerpc_opcode *) NULL)
2581 {
2582 const struct powerpc_macro *macro;
2583
2584 macro = (const struct powerpc_macro *) hash_find (ppc_macro_hash, str);
2585 if (macro == (const struct powerpc_macro *) NULL)
2586 as_bad (_("unrecognized opcode: `%s'"), str);
2587 else
2588 ppc_macro (s, macro);
2589
2590 return;
2591 }
2592
2593 insn = opcode->opcode;
2594
2595 str = s;
2596 while (ISSPACE (*str))
2597 ++str;
2598
2599 /* PowerPC operands are just expressions. The only real issue is
2600 that a few operand types are optional. All cases which might use
2601 an optional operand separate the operands only with commas (in some
2602 cases parentheses are used, as in ``lwz 1,0(1)'' but such cases never
2603 have optional operands). Most instructions with optional operands
2604 have only one. Those that have more than one optional operand can
2605 take either all their operands or none. So, before we start seriously
2606 parsing the operands, we check to see if we have optional operands,
2607 and if we do, we count the number of commas to see which operands
2608 have been omitted. */
2609 skip_optional = 0;
2610 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
2611 {
2612 const struct powerpc_operand *operand;
2613
2614 operand = &powerpc_operands[*opindex_ptr];
2615 if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0)
2616 {
2617 unsigned int opcount;
2618 unsigned int num_operands_expected;
2619
2620 /* There is an optional operand. Count the number of
2621 commas in the input line. */
2622 if (*str == '\0')
2623 opcount = 0;
2624 else
2625 {
2626 opcount = 1;
2627 s = str;
2628 while ((s = strchr (s, ',')) != (char *) NULL)
2629 {
2630 ++opcount;
2631 ++s;
2632 }
2633 }
2634
2635 /* Compute the number of expected operands.
2636 Do not count fake operands. */
2637 for (num_operands_expected = 0, i = 0; opcode->operands[i]; i ++)
2638 if ((powerpc_operands [opcode->operands[i]].flags & PPC_OPERAND_FAKE) == 0)
2639 ++ num_operands_expected;
2640
2641 /* If there are fewer operands in the line then are called
2642 for by the instruction, we want to skip the optional
2643 operands. */
2644 if (opcount < num_operands_expected)
2645 skip_optional = 1;
2646
2647 break;
2648 }
2649 }
2650
2651 /* Gather the operands. */
2652 need_paren = 0;
2653 next_opindex = 0;
2654 fc = 0;
2655 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
2656 {
2657 const struct powerpc_operand *operand;
2658 const char *errmsg;
2659 char *hold;
2660 expressionS ex;
2661 char endc;
2662
2663 if (next_opindex == 0)
2664 operand = &powerpc_operands[*opindex_ptr];
2665 else
2666 {
2667 operand = &powerpc_operands[next_opindex];
2668 next_opindex = 0;
2669 }
2670 errmsg = NULL;
2671
2672 /* If this is a fake operand, then we do not expect anything
2673 from the input. */
2674 if ((operand->flags & PPC_OPERAND_FAKE) != 0)
2675 {
2676 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2677 if (errmsg != (const char *) NULL)
2678 as_bad ("%s", errmsg);
2679 continue;
2680 }
2681
2682 /* If this is an optional operand, and we are skipping it, just
2683 insert a zero. */
2684 if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0
2685 && skip_optional)
2686 {
2687 if (operand->insert)
2688 {
2689 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2690 if (errmsg != (const char *) NULL)
2691 as_bad ("%s", errmsg);
2692 }
2693 if ((operand->flags & PPC_OPERAND_NEXT) != 0)
2694 next_opindex = *opindex_ptr + 1;
2695 continue;
2696 }
2697
2698 /* Gather the operand. */
2699 hold = input_line_pointer;
2700 input_line_pointer = str;
2701
2702 #ifdef TE_PE
2703 if (*input_line_pointer == '[')
2704 {
2705 /* We are expecting something like the second argument here:
2706 *
2707 * lwz r4,[toc].GS.0.static_int(rtoc)
2708 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^
2709 * The argument following the `]' must be a symbol name, and the
2710 * register must be the toc register: 'rtoc' or '2'
2711 *
2712 * The effect is to 0 as the displacement field
2713 * in the instruction, and issue an IMAGE_REL_PPC_TOCREL16 (or
2714 * the appropriate variation) reloc against it based on the symbol.
2715 * The linker will build the toc, and insert the resolved toc offset.
2716 *
2717 * Note:
2718 * o The size of the toc entry is currently assumed to be
2719 * 32 bits. This should not be assumed to be a hard coded
2720 * number.
2721 * o In an effort to cope with a change from 32 to 64 bits,
2722 * there are also toc entries that are specified to be
2723 * either 32 or 64 bits:
2724 * lwz r4,[toc32].GS.0.static_int(rtoc)
2725 * lwz r4,[toc64].GS.0.static_int(rtoc)
2726 * These demand toc entries of the specified size, and the
2727 * instruction probably requires it.
2728 */
2729
2730 int valid_toc;
2731 enum toc_size_qualifier toc_kind;
2732 bfd_reloc_code_real_type toc_reloc;
2733
2734 /* Go parse off the [tocXX] part. */
2735 valid_toc = parse_toc_entry (&toc_kind);
2736
2737 if (!valid_toc)
2738 {
2739 ignore_rest_of_line ();
2740 break;
2741 }
2742
2743 /* Now get the symbol following the ']'. */
2744 expression (&ex);
2745
2746 switch (toc_kind)
2747 {
2748 case default_toc:
2749 /* In this case, we may not have seen the symbol yet,
2750 since it is allowed to appear on a .extern or .globl
2751 or just be a label in the .data section. */
2752 toc_reloc = BFD_RELOC_PPC_TOC16;
2753 break;
2754 case data_in_toc:
2755 /* 1. The symbol must be defined and either in the toc
2756 section, or a global.
2757 2. The reloc generated must have the TOCDEFN flag set
2758 in upper bit mess of the reloc type.
2759 FIXME: It's a little confusing what the tocv
2760 qualifier can be used for. At the very least, I've
2761 seen three uses, only one of which I'm sure I can
2762 explain. */
2763 if (ex.X_op == O_symbol)
2764 {
2765 gas_assert (ex.X_add_symbol != NULL);
2766 if (symbol_get_bfdsym (ex.X_add_symbol)->section
2767 != tocdata_section)
2768 {
2769 as_bad (_("[tocv] symbol is not a toc symbol"));
2770 }
2771 }
2772
2773 toc_reloc = BFD_RELOC_PPC_TOC16;
2774 break;
2775 case must_be_32:
2776 /* FIXME: these next two specifically specify 32/64 bit
2777 toc entries. We don't support them today. Is this
2778 the right way to say that? */
2779 toc_reloc = BFD_RELOC_UNUSED;
2780 as_bad (_("unimplemented toc32 expression modifier"));
2781 break;
2782 case must_be_64:
2783 /* FIXME: see above. */
2784 toc_reloc = BFD_RELOC_UNUSED;
2785 as_bad (_("unimplemented toc64 expression modifier"));
2786 break;
2787 default:
2788 fprintf (stderr,
2789 _("Unexpected return value [%d] from parse_toc_entry!\n"),
2790 toc_kind);
2791 abort ();
2792 break;
2793 }
2794
2795 /* We need to generate a fixup for this expression. */
2796 if (fc >= MAX_INSN_FIXUPS)
2797 as_fatal (_("too many fixups"));
2798
2799 fixups[fc].reloc = toc_reloc;
2800 fixups[fc].exp = ex;
2801 fixups[fc].opindex = *opindex_ptr;
2802 ++fc;
2803
2804 /* Ok. We've set up the fixup for the instruction. Now make it
2805 look like the constant 0 was found here. */
2806 ex.X_unsigned = 1;
2807 ex.X_op = O_constant;
2808 ex.X_add_number = 0;
2809 ex.X_add_symbol = NULL;
2810 ex.X_op_symbol = NULL;
2811 }
2812
2813 else
2814 #endif /* TE_PE */
2815 {
2816 if ((reg_names_p
2817 && (((operand->flags & PPC_OPERAND_CR_BIT) != 0)
2818 || ((operand->flags & PPC_OPERAND_CR_REG) != 0)))
2819 || !register_name (&ex))
2820 {
2821 char save_lex = lex_type['%'];
2822
2823 if (((operand->flags & PPC_OPERAND_CR_REG) != 0)
2824 || (operand->flags & PPC_OPERAND_CR_BIT) != 0)
2825 {
2826 cr_operand = TRUE;
2827 lex_type['%'] |= LEX_BEGIN_NAME;
2828 }
2829 expression (&ex);
2830 cr_operand = FALSE;
2831 lex_type['%'] = save_lex;
2832 }
2833 }
2834
2835 str = input_line_pointer;
2836 input_line_pointer = hold;
2837
2838 if (ex.X_op == O_illegal)
2839 as_bad (_("illegal operand"));
2840 else if (ex.X_op == O_absent)
2841 as_bad (_("missing operand"));
2842 else if (ex.X_op == O_register)
2843 {
2844 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2845 ppc_cpu, (char *) NULL, 0);
2846 }
2847 else if (ex.X_op == O_constant)
2848 {
2849 #ifdef OBJ_ELF
2850 /* Allow @HA, @L, @H on constants. */
2851 bfd_reloc_code_real_type reloc;
2852 char *orig_str = str;
2853
2854 if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2855 switch (reloc)
2856 {
2857 default:
2858 str = orig_str;
2859 break;
2860
2861 case BFD_RELOC_LO16:
2862 ex.X_add_number &= 0xffff;
2863 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
2864 ex.X_add_number = SEX16 (ex.X_add_number);
2865 break;
2866
2867 case BFD_RELOC_HI16:
2868 if (REPORT_OVERFLOW_HI && ppc_obj64)
2869 {
2870 /* PowerPC64 @h is tested for overflow. */
2871 ex.X_add_number = (addressT) ex.X_add_number >> 16;
2872 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
2873 {
2874 addressT sign = (((addressT) -1 >> 16) + 1) >> 1;
2875 ex.X_add_number
2876 = ((addressT) ex.X_add_number ^ sign) - sign;
2877 }
2878 break;
2879 }
2880 /* Fall thru */
2881
2882 case BFD_RELOC_PPC64_ADDR16_HIGH:
2883 ex.X_add_number = PPC_HI (ex.X_add_number);
2884 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
2885 ex.X_add_number = SEX16 (ex.X_add_number);
2886 break;
2887
2888 case BFD_RELOC_HI16_S:
2889 if (REPORT_OVERFLOW_HI && ppc_obj64)
2890 {
2891 /* PowerPC64 @ha is tested for overflow. */
2892 ex.X_add_number
2893 = ((addressT) ex.X_add_number + 0x8000) >> 16;
2894 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
2895 {
2896 addressT sign = (((addressT) -1 >> 16) + 1) >> 1;
2897 ex.X_add_number
2898 = ((addressT) ex.X_add_number ^ sign) - sign;
2899 }
2900 break;
2901 }
2902 /* Fall thru */
2903
2904 case BFD_RELOC_PPC64_ADDR16_HIGHA:
2905 ex.X_add_number = PPC_HA (ex.X_add_number);
2906 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
2907 ex.X_add_number = SEX16 (ex.X_add_number);
2908 break;
2909
2910 case BFD_RELOC_PPC64_HIGHER:
2911 ex.X_add_number = PPC_HIGHER (ex.X_add_number);
2912 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
2913 ex.X_add_number = SEX16 (ex.X_add_number);
2914 break;
2915
2916 case BFD_RELOC_PPC64_HIGHER_S:
2917 ex.X_add_number = PPC_HIGHERA (ex.X_add_number);
2918 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
2919 ex.X_add_number = SEX16 (ex.X_add_number);
2920 break;
2921
2922 case BFD_RELOC_PPC64_HIGHEST:
2923 ex.X_add_number = PPC_HIGHEST (ex.X_add_number);
2924 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
2925 ex.X_add_number = SEX16 (ex.X_add_number);
2926 break;
2927
2928 case BFD_RELOC_PPC64_HIGHEST_S:
2929 ex.X_add_number = PPC_HIGHESTA (ex.X_add_number);
2930 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
2931 ex.X_add_number = SEX16 (ex.X_add_number);
2932 break;
2933 }
2934 #endif /* OBJ_ELF */
2935 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2936 ppc_cpu, (char *) NULL, 0);
2937 }
2938 else
2939 {
2940 bfd_reloc_code_real_type reloc = BFD_RELOC_UNUSED;
2941 #ifdef OBJ_ELF
2942 if (ex.X_op == O_symbol && str[0] == '(')
2943 {
2944 const char *sym_name = S_GET_NAME (ex.X_add_symbol);
2945 if (sym_name[0] == '.')
2946 ++sym_name;
2947
2948 if (strcasecmp (sym_name, "__tls_get_addr") == 0)
2949 {
2950 expressionS tls_exp;
2951
2952 hold = input_line_pointer;
2953 input_line_pointer = str + 1;
2954 expression (&tls_exp);
2955 if (tls_exp.X_op == O_symbol)
2956 {
2957 reloc = BFD_RELOC_UNUSED;
2958 if (strncasecmp (input_line_pointer, "@tlsgd)", 7) == 0)
2959 {
2960 reloc = BFD_RELOC_PPC_TLSGD;
2961 input_line_pointer += 7;
2962 }
2963 else if (strncasecmp (input_line_pointer, "@tlsld)", 7) == 0)
2964 {
2965 reloc = BFD_RELOC_PPC_TLSLD;
2966 input_line_pointer += 7;
2967 }
2968 if (reloc != BFD_RELOC_UNUSED)
2969 {
2970 SKIP_WHITESPACE ();
2971 str = input_line_pointer;
2972
2973 if (fc >= MAX_INSN_FIXUPS)
2974 as_fatal (_("too many fixups"));
2975 fixups[fc].exp = tls_exp;
2976 fixups[fc].opindex = *opindex_ptr;
2977 fixups[fc].reloc = reloc;
2978 ++fc;
2979 }
2980 }
2981 input_line_pointer = hold;
2982 }
2983 }
2984
2985 if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2986 {
2987 /* Some TLS tweaks. */
2988 switch (reloc)
2989 {
2990 default:
2991 break;
2992
2993 case BFD_RELOC_PPC_TLS:
2994 if (!_bfd_elf_ppc_at_tls_transform (opcode->opcode, 0))
2995 as_bad (_("@tls may not be used with \"%s\" operands"),
2996 opcode->name);
2997 else if (operand->shift != 11)
2998 as_bad (_("@tls may only be used in last operand"));
2999 else
3000 insn = ppc_insert_operand (insn, operand,
3001 ppc_obj64 ? 13 : 2,
3002 ppc_cpu, (char *) NULL, 0);
3003 break;
3004
3005 /* We'll only use the 32 (or 64) bit form of these relocations
3006 in constants. Instructions get the 16 bit form. */
3007 case BFD_RELOC_PPC_DTPREL:
3008 reloc = BFD_RELOC_PPC_DTPREL16;
3009 break;
3010 case BFD_RELOC_PPC_TPREL:
3011 reloc = BFD_RELOC_PPC_TPREL16;
3012 break;
3013 }
3014
3015 /* If VLE-mode convert LO/HI/HA relocations. */
3016 if (opcode->flags & PPC_OPCODE_VLE)
3017 {
3018 int tmp_insn = insn & opcode->mask;
3019
3020 int use_d_reloc = (tmp_insn == E_OR2I_INSN
3021 || tmp_insn == E_AND2I_DOT_INSN
3022 || tmp_insn == E_OR2IS_INSN
3023 || tmp_insn == E_LIS_INSN
3024 || tmp_insn == E_AND2IS_DOT_INSN);
3025
3026
3027 int use_a_reloc = (tmp_insn == E_ADD2I_DOT_INSN
3028 || tmp_insn == E_ADD2IS_INSN
3029 || tmp_insn == E_CMP16I_INSN
3030 || tmp_insn == E_MULL2I_INSN
3031 || tmp_insn == E_CMPL16I_INSN
3032 || tmp_insn == E_CMPH16I_INSN
3033 || tmp_insn == E_CMPHL16I_INSN);
3034
3035 switch (reloc)
3036 {
3037 default:
3038 break;
3039
3040 case BFD_RELOC_PPC_EMB_SDA21:
3041 reloc = BFD_RELOC_PPC_VLE_SDA21;
3042 break;
3043
3044 case BFD_RELOC_LO16:
3045 if (use_d_reloc)
3046 reloc = BFD_RELOC_PPC_VLE_LO16D;
3047 else if (use_a_reloc)
3048 reloc = BFD_RELOC_PPC_VLE_LO16A;
3049 break;
3050
3051 case BFD_RELOC_HI16:
3052 if (use_d_reloc)
3053 reloc = BFD_RELOC_PPC_VLE_HI16D;
3054 else if (use_a_reloc)
3055 reloc = BFD_RELOC_PPC_VLE_HI16A;
3056 break;
3057
3058 case BFD_RELOC_HI16_S:
3059 if (use_d_reloc)
3060 reloc = BFD_RELOC_PPC_VLE_HA16D;
3061 else if (use_a_reloc)
3062 reloc = BFD_RELOC_PPC_VLE_HA16A;
3063 break;
3064
3065 case BFD_RELOC_PPC_VLE_SDAREL_LO16A:
3066 if (use_d_reloc)
3067 reloc = BFD_RELOC_PPC_VLE_SDAREL_LO16D;
3068 break;
3069
3070 case BFD_RELOC_PPC_VLE_SDAREL_HI16A:
3071 if (use_d_reloc)
3072 reloc = BFD_RELOC_PPC_VLE_SDAREL_HI16D;
3073 break;
3074
3075 case BFD_RELOC_PPC_VLE_SDAREL_HA16A:
3076 if (use_d_reloc)
3077 reloc = BFD_RELOC_PPC_VLE_SDAREL_HA16D;
3078 break;
3079 }
3080 }
3081
3082 /* For the absolute forms of branches, convert the PC
3083 relative form back into the absolute. */
3084 if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0)
3085 {
3086 switch (reloc)
3087 {
3088 case BFD_RELOC_PPC_B26:
3089 reloc = BFD_RELOC_PPC_BA26;
3090 break;
3091 case BFD_RELOC_PPC_B16:
3092 reloc = BFD_RELOC_PPC_BA16;
3093 break;
3094 case BFD_RELOC_PPC_B16_BRTAKEN:
3095 reloc = BFD_RELOC_PPC_BA16_BRTAKEN;
3096 break;
3097 case BFD_RELOC_PPC_B16_BRNTAKEN:
3098 reloc = BFD_RELOC_PPC_BA16_BRNTAKEN;
3099 break;
3100 default:
3101 break;
3102 }
3103 }
3104
3105 switch (reloc)
3106 {
3107 case BFD_RELOC_PPC_TOC16:
3108 toc_reloc_types |= has_small_toc_reloc;
3109 break;
3110 case BFD_RELOC_PPC64_TOC16_LO:
3111 case BFD_RELOC_PPC64_TOC16_HI:
3112 case BFD_RELOC_PPC64_TOC16_HA:
3113 toc_reloc_types |= has_large_toc_reloc;
3114 break;
3115 default:
3116 break;
3117 }
3118
3119 if ((operand->flags & (PPC_OPERAND_DS | PPC_OPERAND_DQ)) != 0)
3120 {
3121 switch (reloc)
3122 {
3123 case BFD_RELOC_16:
3124 reloc = BFD_RELOC_PPC64_ADDR16_DS;
3125 break;
3126 case BFD_RELOC_LO16:
3127 reloc = BFD_RELOC_PPC64_ADDR16_LO_DS;
3128 break;
3129 case BFD_RELOC_16_GOTOFF:
3130 reloc = BFD_RELOC_PPC64_GOT16_DS;
3131 break;
3132 case BFD_RELOC_LO16_GOTOFF:
3133 reloc = BFD_RELOC_PPC64_GOT16_LO_DS;
3134 break;
3135 case BFD_RELOC_LO16_PLTOFF:
3136 reloc = BFD_RELOC_PPC64_PLT16_LO_DS;
3137 break;
3138 case BFD_RELOC_16_BASEREL:
3139 reloc = BFD_RELOC_PPC64_SECTOFF_DS;
3140 break;
3141 case BFD_RELOC_LO16_BASEREL:
3142 reloc = BFD_RELOC_PPC64_SECTOFF_LO_DS;
3143 break;
3144 case BFD_RELOC_PPC_TOC16:
3145 reloc = BFD_RELOC_PPC64_TOC16_DS;
3146 break;
3147 case BFD_RELOC_PPC64_TOC16_LO:
3148 reloc = BFD_RELOC_PPC64_TOC16_LO_DS;
3149 break;
3150 case BFD_RELOC_PPC64_PLTGOT16:
3151 reloc = BFD_RELOC_PPC64_PLTGOT16_DS;
3152 break;
3153 case BFD_RELOC_PPC64_PLTGOT16_LO:
3154 reloc = BFD_RELOC_PPC64_PLTGOT16_LO_DS;
3155 break;
3156 case BFD_RELOC_PPC_DTPREL16:
3157 reloc = BFD_RELOC_PPC64_DTPREL16_DS;
3158 break;
3159 case BFD_RELOC_PPC_DTPREL16_LO:
3160 reloc = BFD_RELOC_PPC64_DTPREL16_LO_DS;
3161 break;
3162 case BFD_RELOC_PPC_TPREL16:
3163 reloc = BFD_RELOC_PPC64_TPREL16_DS;
3164 break;
3165 case BFD_RELOC_PPC_TPREL16_LO:
3166 reloc = BFD_RELOC_PPC64_TPREL16_LO_DS;
3167 break;
3168 case BFD_RELOC_PPC_GOT_DTPREL16:
3169 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
3170 case BFD_RELOC_PPC_GOT_TPREL16:
3171 case BFD_RELOC_PPC_GOT_TPREL16_LO:
3172 break;
3173 default:
3174 as_bad (_("unsupported relocation for DS offset field"));
3175 break;
3176 }
3177 }
3178 }
3179 #endif /* OBJ_ELF */
3180
3181 if (reloc != BFD_RELOC_UNUSED)
3182 ;
3183 /* Determine a BFD reloc value based on the operand information.
3184 We are only prepared to turn a few of the operands into
3185 relocs. */
3186 else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
3187 && operand->bitm == 0x3fffffc
3188 && operand->shift == 0)
3189 reloc = BFD_RELOC_PPC_B26;
3190 else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
3191 && operand->bitm == 0xfffc
3192 && operand->shift == 0)
3193 reloc = BFD_RELOC_PPC_B16;
3194 else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
3195 && operand->bitm == 0x1fe
3196 && operand->shift == -1)
3197 reloc = BFD_RELOC_PPC_VLE_REL8;
3198 else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
3199 && operand->bitm == 0xfffe
3200 && operand->shift == 0)
3201 reloc = BFD_RELOC_PPC_VLE_REL15;
3202 else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
3203 && operand->bitm == 0x1fffffe
3204 && operand->shift == 0)
3205 reloc = BFD_RELOC_PPC_VLE_REL24;
3206 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
3207 && operand->bitm == 0x3fffffc
3208 && operand->shift == 0)
3209 reloc = BFD_RELOC_PPC_BA26;
3210 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
3211 && operand->bitm == 0xfffc
3212 && operand->shift == 0)
3213 reloc = BFD_RELOC_PPC_BA16;
3214 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
3215 else if ((operand->flags & PPC_OPERAND_PARENS) != 0
3216 && (operand->bitm & 0xfff0) == 0xfff0
3217 && operand->shift == 0)
3218 {
3219 /* Note: the symbol may be not yet defined. */
3220 if (ppc_is_toc_sym (ex.X_add_symbol))
3221 {
3222 reloc = BFD_RELOC_PPC_TOC16;
3223 #ifdef OBJ_ELF
3224 if (ppc_obj64
3225 && (operand->flags & PPC_OPERAND_DS) != 0)
3226 reloc = BFD_RELOC_PPC64_TOC16_DS;
3227 #endif
3228 }
3229 else
3230 {
3231 reloc = BFD_RELOC_16;
3232 #ifdef OBJ_ELF
3233 if (ppc_obj64
3234 && (operand->flags & PPC_OPERAND_DS) != 0)
3235 reloc = BFD_RELOC_PPC64_ADDR16_DS;
3236 #endif
3237 }
3238 }
3239 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
3240
3241 /* We need to generate a fixup for this expression. */
3242 if (fc >= MAX_INSN_FIXUPS)
3243 as_fatal (_("too many fixups"));
3244 fixups[fc].exp = ex;
3245 fixups[fc].opindex = *opindex_ptr;
3246 fixups[fc].reloc = reloc;
3247 ++fc;
3248 }
3249
3250 if (need_paren)
3251 {
3252 endc = ')';
3253 need_paren = 0;
3254 /* If expecting more operands, then we want to see "),". */
3255 if (*str == endc && opindex_ptr[1] != 0)
3256 {
3257 do
3258 ++str;
3259 while (ISSPACE (*str));
3260 endc = ',';
3261 }
3262 }
3263 else if ((operand->flags & PPC_OPERAND_PARENS) != 0)
3264 {
3265 endc = '(';
3266 need_paren = 1;
3267 }
3268 else
3269 endc = ',';
3270
3271 /* The call to expression should have advanced str past any
3272 whitespace. */
3273 if (*str != endc
3274 && (endc != ',' || *str != '\0'))
3275 {
3276 if (*str == '\0')
3277 as_bad (_("syntax error; end of line, expected `%c'"), endc);
3278 else
3279 as_bad (_("syntax error; found `%c', expected `%c'"), *str, endc);
3280 break;
3281 }
3282
3283 if (*str != '\0')
3284 ++str;
3285 }
3286
3287 while (ISSPACE (*str))
3288 ++str;
3289
3290 if (*str != '\0')
3291 as_bad (_("junk at end of line: `%s'"), str);
3292
3293 #ifdef OBJ_ELF
3294 /* Do we need/want an APUinfo section? */
3295 if ((ppc_cpu & (PPC_OPCODE_E500 | PPC_OPCODE_E500MC | PPC_OPCODE_VLE)) != 0
3296 && !ppc_obj64)
3297 {
3298 /* These are all version "1". */
3299 if (opcode->flags & PPC_OPCODE_SPE)
3300 ppc_apuinfo_section_add (PPC_APUINFO_SPE, 1);
3301 if (opcode->flags & PPC_OPCODE_ISEL)
3302 ppc_apuinfo_section_add (PPC_APUINFO_ISEL, 1);
3303 if (opcode->flags & PPC_OPCODE_EFS)
3304 ppc_apuinfo_section_add (PPC_APUINFO_EFS, 1);
3305 if (opcode->flags & PPC_OPCODE_BRLOCK)
3306 ppc_apuinfo_section_add (PPC_APUINFO_BRLOCK, 1);
3307 if (opcode->flags & PPC_OPCODE_PMR)
3308 ppc_apuinfo_section_add (PPC_APUINFO_PMR, 1);
3309 if (opcode->flags & PPC_OPCODE_CACHELCK)
3310 ppc_apuinfo_section_add (PPC_APUINFO_CACHELCK, 1);
3311 if (opcode->flags & PPC_OPCODE_RFMCI)
3312 ppc_apuinfo_section_add (PPC_APUINFO_RFMCI, 1);
3313 if (opcode->flags & PPC_OPCODE_VLE)
3314 ppc_apuinfo_section_add (PPC_APUINFO_VLE, 1);
3315 }
3316 #endif
3317
3318 /* Write out the instruction. */
3319 /* Differentiate between two and four byte insns. */
3320 if (ppc_mach () == bfd_mach_ppc_vle)
3321 {
3322 if (PPC_OP_SE_VLE (insn))
3323 insn_length = 2;
3324 else
3325 insn_length = 4;
3326 addr_mod = frag_now_fix () & 1;
3327 }
3328 else
3329 {
3330 insn_length = 4;
3331 addr_mod = frag_now_fix () & 3;
3332 }
3333 /* All instructions can start on a 2 byte boundary for VLE. */
3334 f = frag_more (insn_length);
3335 if (frag_now->has_code && frag_now->insn_addr != addr_mod)
3336 {
3337 if (ppc_mach() == bfd_mach_ppc_vle)
3338 as_bad (_("instruction address is not a multiple of 2"));
3339 else
3340 as_bad (_("instruction address is not a multiple of 4"));
3341 }
3342 frag_now->insn_addr = addr_mod;
3343 frag_now->has_code = 1;
3344 md_number_to_chars (f, insn, insn_length);
3345
3346 #ifdef OBJ_ELF
3347 dwarf2_emit_insn (insn_length);
3348 #endif
3349
3350 /* Create any fixups. */
3351 for (i = 0; i < fc; i++)
3352 {
3353 fixS *fixP;
3354 if (fixups[i].reloc != BFD_RELOC_UNUSED)
3355 {
3356 reloc_howto_type *reloc_howto;
3357 int size;
3358 int offset;
3359
3360 reloc_howto = bfd_reloc_type_lookup (stdoutput, fixups[i].reloc);
3361 if (!reloc_howto)
3362 abort ();
3363
3364 size = bfd_get_reloc_size (reloc_howto);
3365 offset = target_big_endian ? (insn_length - size) : 0;
3366
3367 if (size < 1 || size > 4)
3368 abort ();
3369
3370 fixP = fix_new_exp (frag_now,
3371 f - frag_now->fr_literal + offset,
3372 size,
3373 &fixups[i].exp,
3374 reloc_howto->pc_relative,
3375 fixups[i].reloc);
3376 }
3377 else
3378 {
3379 const struct powerpc_operand *operand;
3380
3381 operand = &powerpc_operands[fixups[i].opindex];
3382 fixP = fix_new_exp (frag_now,
3383 f - frag_now->fr_literal,
3384 insn_length,
3385 &fixups[i].exp,
3386 (operand->flags & PPC_OPERAND_RELATIVE) != 0,
3387 BFD_RELOC_UNUSED);
3388 }
3389 fixP->fx_pcrel_adjust = fixups[i].opindex;
3390 }
3391 }
3392
3393 /* Handle a macro. Gather all the operands, transform them as
3394 described by the macro, and call md_assemble recursively. All the
3395 operands are separated by commas; we don't accept parentheses
3396 around operands here. */
3397
3398 static void
3399 ppc_macro (char *str, const struct powerpc_macro *macro)
3400 {
3401 char *operands[10];
3402 unsigned int count;
3403 char *s;
3404 unsigned int len;
3405 const char *format;
3406 unsigned int arg;
3407 char *send;
3408 char *complete;
3409
3410 /* Gather the users operands into the operands array. */
3411 count = 0;
3412 s = str;
3413 while (1)
3414 {
3415 if (count >= sizeof operands / sizeof operands[0])
3416 break;
3417 operands[count++] = s;
3418 s = strchr (s, ',');
3419 if (s == (char *) NULL)
3420 break;
3421 *s++ = '\0';
3422 }
3423
3424 if (count != macro->operands)
3425 {
3426 as_bad (_("wrong number of operands"));
3427 return;
3428 }
3429
3430 /* Work out how large the string must be (the size is unbounded
3431 because it includes user input). */
3432 len = 0;
3433 format = macro->format;
3434 while (*format != '\0')
3435 {
3436 if (*format != '%')
3437 {
3438 ++len;
3439 ++format;
3440 }
3441 else
3442 {
3443 arg = strtol (format + 1, &send, 10);
3444 know (send != format && arg < count);
3445 len += strlen (operands[arg]);
3446 format = send;
3447 }
3448 }
3449
3450 /* Put the string together. */
3451 complete = s = (char *) alloca (len + 1);
3452 format = macro->format;
3453 while (*format != '\0')
3454 {
3455 if (*format != '%')
3456 *s++ = *format++;
3457 else
3458 {
3459 arg = strtol (format + 1, &send, 10);
3460 strcpy (s, operands[arg]);
3461 s += strlen (s);
3462 format = send;
3463 }
3464 }
3465 *s = '\0';
3466
3467 /* Assemble the constructed instruction. */
3468 md_assemble (complete);
3469 }
3470 \f
3471 #ifdef OBJ_ELF
3472 /* For ELF, add support for SHT_ORDERED. */
3473
3474 int
3475 ppc_section_type (char *str, size_t len)
3476 {
3477 if (len == 7 && strncmp (str, "ordered", 7) == 0)
3478 return SHT_ORDERED;
3479
3480 return -1;
3481 }
3482
3483 int
3484 ppc_section_flags (flagword flags, bfd_vma attr ATTRIBUTE_UNUSED, int type)
3485 {
3486 if (type == SHT_ORDERED)
3487 flags |= SEC_ALLOC | SEC_LOAD | SEC_SORT_ENTRIES;
3488
3489 return flags;
3490 }
3491 #endif /* OBJ_ELF */
3492
3493 \f
3494 /* Pseudo-op handling. */
3495
3496 /* The .byte pseudo-op. This is similar to the normal .byte
3497 pseudo-op, but it can also take a single ASCII string. */
3498
3499 static void
3500 ppc_byte (int ignore ATTRIBUTE_UNUSED)
3501 {
3502 if (*input_line_pointer != '\"')
3503 {
3504 cons (1);
3505 return;
3506 }
3507
3508 /* Gather characters. A real double quote is doubled. Unusual
3509 characters are not permitted. */
3510 ++input_line_pointer;
3511 while (1)
3512 {
3513 char c;
3514
3515 c = *input_line_pointer++;
3516
3517 if (c == '\"')
3518 {
3519 if (*input_line_pointer != '\"')
3520 break;
3521 ++input_line_pointer;
3522 }
3523
3524 FRAG_APPEND_1_CHAR (c);
3525 }
3526
3527 demand_empty_rest_of_line ();
3528 }
3529 \f
3530 #ifdef OBJ_XCOFF
3531
3532 /* XCOFF specific pseudo-op handling. */
3533
3534 /* This is set if we are creating a .stabx symbol, since we don't want
3535 to handle symbol suffixes for such symbols. */
3536 static bfd_boolean ppc_stab_symbol;
3537
3538 /* The .comm and .lcomm pseudo-ops for XCOFF. XCOFF puts common
3539 symbols in the .bss segment as though they were local common
3540 symbols, and uses a different smclas. The native Aix 4.3.3 assembler
3541 aligns .comm and .lcomm to 4 bytes. */
3542
3543 static void
3544 ppc_comm (int lcomm)
3545 {
3546 asection *current_seg = now_seg;
3547 subsegT current_subseg = now_subseg;
3548 char *name;
3549 char endc;
3550 char *end_name;
3551 offsetT size;
3552 offsetT align;
3553 symbolS *lcomm_sym = NULL;
3554 symbolS *sym;
3555 char *pfrag;
3556
3557 name = input_line_pointer;
3558 endc = get_symbol_end ();
3559 end_name = input_line_pointer;
3560 *end_name = endc;
3561
3562 if (*input_line_pointer != ',')
3563 {
3564 as_bad (_("missing size"));
3565 ignore_rest_of_line ();
3566 return;
3567 }
3568 ++input_line_pointer;
3569
3570 size = get_absolute_expression ();
3571 if (size < 0)
3572 {
3573 as_bad (_("negative size"));
3574 ignore_rest_of_line ();
3575 return;
3576 }
3577
3578 if (! lcomm)
3579 {
3580 /* The third argument to .comm is the alignment. */
3581 if (*input_line_pointer != ',')
3582 align = 2;
3583 else
3584 {
3585 ++input_line_pointer;
3586 align = get_absolute_expression ();
3587 if (align <= 0)
3588 {
3589 as_warn (_("ignoring bad alignment"));
3590 align = 2;
3591 }
3592 }
3593 }
3594 else
3595 {
3596 char *lcomm_name;
3597 char lcomm_endc;
3598
3599 /* The third argument to .lcomm appears to be the real local
3600 common symbol to create. References to the symbol named in
3601 the first argument are turned into references to the third
3602 argument. */
3603 if (*input_line_pointer != ',')
3604 {
3605 as_bad (_("missing real symbol name"));
3606 ignore_rest_of_line ();
3607 return;
3608 }
3609 ++input_line_pointer;
3610
3611 lcomm_name = input_line_pointer;
3612 lcomm_endc = get_symbol_end ();
3613
3614 lcomm_sym = symbol_find_or_make (lcomm_name);
3615
3616 *input_line_pointer = lcomm_endc;
3617
3618 /* The fourth argument to .lcomm is the alignment. */
3619 if (*input_line_pointer != ',')
3620 {
3621 if (size <= 4)
3622 align = 2;
3623 else
3624 align = 3;
3625 }
3626 else
3627 {
3628 ++input_line_pointer;
3629 align = get_absolute_expression ();
3630 if (align <= 0)
3631 {
3632 as_warn (_("ignoring bad alignment"));
3633 align = 2;
3634 }
3635 }
3636 }
3637
3638 *end_name = '\0';
3639 sym = symbol_find_or_make (name);
3640 *end_name = endc;
3641
3642 if (S_IS_DEFINED (sym)
3643 || S_GET_VALUE (sym) != 0)
3644 {
3645 as_bad (_("attempt to redefine symbol"));
3646 ignore_rest_of_line ();
3647 return;
3648 }
3649
3650 record_alignment (bss_section, align);
3651
3652 if (! lcomm
3653 || ! S_IS_DEFINED (lcomm_sym))
3654 {
3655 symbolS *def_sym;
3656 offsetT def_size;
3657
3658 if (! lcomm)
3659 {
3660 def_sym = sym;
3661 def_size = size;
3662 S_SET_EXTERNAL (sym);
3663 }
3664 else
3665 {
3666 symbol_get_tc (lcomm_sym)->output = 1;
3667 def_sym = lcomm_sym;
3668 def_size = 0;
3669 }
3670
3671 subseg_set (bss_section, 1);
3672 frag_align (align, 0, 0);
3673
3674 symbol_set_frag (def_sym, frag_now);
3675 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, def_sym,
3676 def_size, (char *) NULL);
3677 *pfrag = 0;
3678 S_SET_SEGMENT (def_sym, bss_section);
3679 symbol_get_tc (def_sym)->align = align;
3680 }
3681 else if (lcomm)
3682 {
3683 /* Align the size of lcomm_sym. */
3684 symbol_get_frag (lcomm_sym)->fr_offset =
3685 ((symbol_get_frag (lcomm_sym)->fr_offset + (1 << align) - 1)
3686 &~ ((1 << align) - 1));
3687 if (align > symbol_get_tc (lcomm_sym)->align)
3688 symbol_get_tc (lcomm_sym)->align = align;
3689 }
3690
3691 if (lcomm)
3692 {
3693 /* Make sym an offset from lcomm_sym. */
3694 S_SET_SEGMENT (sym, bss_section);
3695 symbol_set_frag (sym, symbol_get_frag (lcomm_sym));
3696 S_SET_VALUE (sym, symbol_get_frag (lcomm_sym)->fr_offset);
3697 symbol_get_frag (lcomm_sym)->fr_offset += size;
3698 }
3699
3700 subseg_set (current_seg, current_subseg);
3701
3702 demand_empty_rest_of_line ();
3703 }
3704
3705 /* The .csect pseudo-op. This switches us into a different
3706 subsegment. The first argument is a symbol whose value is the
3707 start of the .csect. In COFF, csect symbols get special aux
3708 entries defined by the x_csect field of union internal_auxent. The
3709 optional second argument is the alignment (the default is 2). */
3710
3711 static void
3712 ppc_csect (int ignore ATTRIBUTE_UNUSED)
3713 {
3714 char *name;
3715 char endc;
3716 symbolS *sym;
3717 offsetT align;
3718
3719 name = input_line_pointer;
3720 endc = get_symbol_end ();
3721
3722 sym = symbol_find_or_make (name);
3723
3724 *input_line_pointer = endc;
3725
3726 if (S_GET_NAME (sym)[0] == '\0')
3727 {
3728 /* An unnamed csect is assumed to be [PR]. */
3729 symbol_get_tc (sym)->symbol_class = XMC_PR;
3730 }
3731
3732 align = 2;
3733 if (*input_line_pointer == ',')
3734 {
3735 ++input_line_pointer;
3736 align = get_absolute_expression ();
3737 }
3738
3739 ppc_change_csect (sym, align);
3740
3741 demand_empty_rest_of_line ();
3742 }
3743
3744 /* Change to a different csect. */
3745
3746 static void
3747 ppc_change_csect (symbolS *sym, offsetT align)
3748 {
3749 if (S_IS_DEFINED (sym))
3750 subseg_set (S_GET_SEGMENT (sym), symbol_get_tc (sym)->subseg);
3751 else
3752 {
3753 symbolS **list_ptr;
3754 int after_toc;
3755 int hold_chunksize;
3756 symbolS *list;
3757 int is_code;
3758 segT sec;
3759
3760 /* This is a new csect. We need to look at the symbol class to
3761 figure out whether it should go in the text section or the
3762 data section. */
3763 after_toc = 0;
3764 is_code = 0;
3765 switch (symbol_get_tc (sym)->symbol_class)
3766 {
3767 case XMC_PR:
3768 case XMC_RO:
3769 case XMC_DB:
3770 case XMC_GL:
3771 case XMC_XO:
3772 case XMC_SV:
3773 case XMC_TI:
3774 case XMC_TB:
3775 S_SET_SEGMENT (sym, text_section);
3776 symbol_get_tc (sym)->subseg = ppc_text_subsegment;
3777 ++ppc_text_subsegment;
3778 list_ptr = &ppc_text_csects;
3779 is_code = 1;
3780 break;
3781 case XMC_RW:
3782 case XMC_TC0:
3783 case XMC_TC:
3784 case XMC_DS:
3785 case XMC_UA:
3786 case XMC_BS:
3787 case XMC_UC:
3788 if (ppc_toc_csect != NULL
3789 && (symbol_get_tc (ppc_toc_csect)->subseg + 1
3790 == ppc_data_subsegment))
3791 after_toc = 1;
3792 S_SET_SEGMENT (sym, data_section);
3793 symbol_get_tc (sym)->subseg = ppc_data_subsegment;
3794 ++ppc_data_subsegment;
3795 list_ptr = &ppc_data_csects;
3796 break;
3797 default:
3798 abort ();
3799 }
3800
3801 /* We set the obstack chunk size to a small value before
3802 changing subsegments, so that we don't use a lot of memory
3803 space for what may be a small section. */
3804 hold_chunksize = chunksize;
3805 chunksize = 64;
3806
3807 sec = subseg_new (segment_name (S_GET_SEGMENT (sym)),
3808 symbol_get_tc (sym)->subseg);
3809
3810 chunksize = hold_chunksize;
3811
3812 if (after_toc)
3813 ppc_after_toc_frag = frag_now;
3814
3815 record_alignment (sec, align);
3816 if (is_code)
3817 frag_align_code (align, 0);
3818 else
3819 frag_align (align, 0, 0);
3820
3821 symbol_set_frag (sym, frag_now);
3822 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3823
3824 symbol_get_tc (sym)->align = align;
3825 symbol_get_tc (sym)->output = 1;
3826 symbol_get_tc (sym)->within = sym;
3827
3828 for (list = *list_ptr;
3829 symbol_get_tc (list)->next != (symbolS *) NULL;
3830 list = symbol_get_tc (list)->next)
3831 ;
3832 symbol_get_tc (list)->next = sym;
3833
3834 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3835 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
3836 &symbol_lastP);
3837 }
3838
3839 ppc_current_csect = sym;
3840 }
3841
3842 static void
3843 ppc_change_debug_section (unsigned int idx, subsegT subseg)
3844 {
3845 segT sec;
3846 flagword oldflags;
3847 const struct xcoff_dwsect_name *dw = &xcoff_dwsect_names[idx];
3848
3849 sec = subseg_new (dw->name, subseg);
3850 oldflags = bfd_get_section_flags (stdoutput, sec);
3851 if (oldflags == SEC_NO_FLAGS)
3852 {
3853 /* Just created section. */
3854 gas_assert (dw_sections[idx].sect == NULL);
3855
3856 bfd_set_section_flags (stdoutput, sec, SEC_DEBUGGING);
3857 bfd_set_section_alignment (stdoutput, sec, 0);
3858 dw_sections[idx].sect = sec;
3859 }
3860
3861 /* Not anymore in a csect. */
3862 ppc_current_csect = NULL;
3863 }
3864
3865 /* The .dwsect pseudo-op. Defines a DWARF section. Syntax is:
3866 .dwsect flag [, opt-label ]
3867 */
3868
3869 static void
3870 ppc_dwsect (int ignore ATTRIBUTE_UNUSED)
3871 {
3872 offsetT flag;
3873 symbolS *opt_label;
3874 const struct xcoff_dwsect_name *dw;
3875 struct dw_subsection *subseg;
3876 struct dw_section *dws;
3877 int i;
3878
3879 /* Find section. */
3880 flag = get_absolute_expression ();
3881 dw = NULL;
3882 for (i = 0; i < XCOFF_DWSECT_NBR_NAMES; i++)
3883 if (xcoff_dwsect_names[i].flag == flag)
3884 {
3885 dw = &xcoff_dwsect_names[i];
3886 break;
3887 }
3888
3889 /* Parse opt-label. */
3890 if (*input_line_pointer == ',')
3891 {
3892 const char *label;
3893 char c;
3894
3895 ++input_line_pointer;
3896
3897 label = input_line_pointer;
3898 c = get_symbol_end ();
3899 opt_label = symbol_find_or_make (label);
3900 *input_line_pointer = c;
3901 }
3902 else
3903 opt_label = NULL;
3904
3905 demand_empty_rest_of_line ();
3906
3907 /* Return now in case of unknown subsection. */
3908 if (dw == NULL)
3909 {
3910 as_bad (_("no known dwarf XCOFF section for flag 0x%08x\n"),
3911 (unsigned)flag);
3912 return;
3913 }
3914
3915 /* Find the subsection. */
3916 dws = &dw_sections[i];
3917 subseg = NULL;
3918 if (opt_label != NULL && S_IS_DEFINED (opt_label))
3919 {
3920 /* Sanity check (note that in theory S_GET_SEGMENT mustn't be null). */
3921 if (dws->sect == NULL || S_GET_SEGMENT (opt_label) != dws->sect)
3922 {
3923 as_bad (_("label %s was not defined in this dwarf section"),
3924 S_GET_NAME (opt_label));
3925 subseg = dws->anon_subseg;
3926 opt_label = NULL;
3927 }
3928 else
3929 subseg = symbol_get_tc (opt_label)->u.dw;
3930 }
3931
3932 if (subseg != NULL)
3933 {
3934 /* Switch to the subsection. */
3935 ppc_change_debug_section (i, subseg->subseg);
3936 }
3937 else
3938 {
3939 /* Create a new dw subsection. */
3940 subseg = (struct dw_subsection *)
3941 xmalloc (sizeof (struct dw_subsection));
3942
3943 if (opt_label == NULL)
3944 {
3945 /* The anonymous one. */
3946 subseg->subseg = 0;
3947 subseg->link = NULL;
3948 dws->anon_subseg = subseg;
3949 }
3950 else
3951 {
3952 /* A named one. */
3953 if (dws->list_subseg != NULL)
3954 subseg->subseg = dws->list_subseg->subseg + 1;
3955 else
3956 subseg->subseg = 1;
3957
3958 subseg->link = dws->list_subseg;
3959 dws->list_subseg = subseg;
3960 symbol_get_tc (opt_label)->u.dw = subseg;
3961 }
3962
3963 ppc_change_debug_section (i, subseg->subseg);
3964
3965 if (dw->def_size)
3966 {
3967 /* Add the length field. */
3968 expressionS *exp = &subseg->end_exp;
3969 int sz;
3970
3971 if (opt_label != NULL)
3972 symbol_set_value_now (opt_label);
3973
3974 /* Add the length field. Note that according to the AIX assembler
3975 manual, the size of the length field is 4 for powerpc32 but
3976 12 for powerpc64. */
3977 if (ppc_obj64)
3978 {
3979 /* Write the 64bit marker. */
3980 md_number_to_chars (frag_more (4), -1, 4);
3981 }
3982
3983 exp->X_op = O_subtract;
3984 exp->X_op_symbol = symbol_temp_new_now ();
3985 exp->X_add_symbol = symbol_temp_make ();
3986
3987 sz = ppc_obj64 ? 8 : 4;
3988 exp->X_add_number = -sz;
3989 emit_expr (exp, sz);
3990 }
3991 }
3992 }
3993
3994 /* This function handles the .text and .data pseudo-ops. These
3995 pseudo-ops aren't really used by XCOFF; we implement them for the
3996 convenience of people who aren't used to XCOFF. */
3997
3998 static void
3999 ppc_section (int type)
4000 {
4001 const char *name;
4002 symbolS *sym;
4003
4004 if (type == 't')
4005 name = ".text[PR]";
4006 else if (type == 'd')
4007 name = ".data[RW]";
4008 else
4009 abort ();
4010
4011 sym = symbol_find_or_make (name);
4012
4013 ppc_change_csect (sym, 2);
4014
4015 demand_empty_rest_of_line ();
4016 }
4017
4018 /* This function handles the .section pseudo-op. This is mostly to
4019 give an error, since XCOFF only supports .text, .data and .bss, but
4020 we do permit the user to name the text or data section. */
4021
4022 static void
4023 ppc_named_section (int ignore ATTRIBUTE_UNUSED)
4024 {
4025 char *user_name;
4026 const char *real_name;
4027 char c;
4028 symbolS *sym;
4029
4030 user_name = input_line_pointer;
4031 c = get_symbol_end ();
4032
4033 if (strcmp (user_name, ".text") == 0)
4034 real_name = ".text[PR]";
4035 else if (strcmp (user_name, ".data") == 0)
4036 real_name = ".data[RW]";
4037 else
4038 {
4039 as_bad (_("the XCOFF file format does not support arbitrary sections"));
4040 *input_line_pointer = c;
4041 ignore_rest_of_line ();
4042 return;
4043 }
4044
4045 *input_line_pointer = c;
4046
4047 sym = symbol_find_or_make (real_name);
4048
4049 ppc_change_csect (sym, 2);
4050
4051 demand_empty_rest_of_line ();
4052 }
4053
4054 /* The .extern pseudo-op. We create an undefined symbol. */
4055
4056 static void
4057 ppc_extern (int ignore ATTRIBUTE_UNUSED)
4058 {
4059 char *name;
4060 char endc;
4061
4062 name = input_line_pointer;
4063 endc = get_symbol_end ();
4064
4065 (void) symbol_find_or_make (name);
4066
4067 *input_line_pointer = endc;
4068
4069 demand_empty_rest_of_line ();
4070 }
4071
4072 /* The .lglobl pseudo-op. Keep the symbol in the symbol table. */
4073
4074 static void
4075 ppc_lglobl (int ignore ATTRIBUTE_UNUSED)
4076 {
4077 char *name;
4078 char endc;
4079 symbolS *sym;
4080
4081 name = input_line_pointer;
4082 endc = get_symbol_end ();
4083
4084 sym = symbol_find_or_make (name);
4085
4086 *input_line_pointer = endc;
4087
4088 symbol_get_tc (sym)->output = 1;
4089
4090 demand_empty_rest_of_line ();
4091 }
4092
4093 /* The .ref pseudo-op. It takes a list of symbol names and inserts R_REF
4094 relocations at the beginning of the current csect.
4095
4096 (In principle, there's no reason why the relocations _have_ to be at
4097 the beginning. Anywhere in the csect would do. However, inserting
4098 at the beginning is what the native assmebler does, and it helps to
4099 deal with cases where the .ref statements follow the section contents.)
4100
4101 ??? .refs don't work for empty .csects. However, the native assembler
4102 doesn't report an error in this case, and neither yet do we. */
4103
4104 static void
4105 ppc_ref (int ignore ATTRIBUTE_UNUSED)
4106 {
4107 char *name;
4108 char c;
4109
4110 if (ppc_current_csect == NULL)
4111 {
4112 as_bad (_(".ref outside .csect"));
4113 ignore_rest_of_line ();
4114 return;
4115 }
4116
4117 do
4118 {
4119 name = input_line_pointer;
4120 c = get_symbol_end ();
4121
4122 fix_at_start (symbol_get_frag (ppc_current_csect), 0,
4123 symbol_find_or_make (name), 0, FALSE, BFD_RELOC_NONE);
4124
4125 *input_line_pointer = c;
4126 SKIP_WHITESPACE ();
4127 c = *input_line_pointer;
4128 if (c == ',')
4129 {
4130 input_line_pointer++;
4131 SKIP_WHITESPACE ();
4132 if (is_end_of_line[(unsigned char) *input_line_pointer])
4133 {
4134 as_bad (_("missing symbol name"));
4135 ignore_rest_of_line ();
4136 return;
4137 }
4138 }
4139 }
4140 while (c == ',');
4141
4142 demand_empty_rest_of_line ();
4143 }
4144
4145 /* The .rename pseudo-op. The RS/6000 assembler can rename symbols,
4146 although I don't know why it bothers. */
4147
4148 static void
4149 ppc_rename (int ignore ATTRIBUTE_UNUSED)
4150 {
4151 char *name;
4152 char endc;
4153 symbolS *sym;
4154 int len;
4155
4156 name = input_line_pointer;
4157 endc = get_symbol_end ();
4158
4159 sym = symbol_find_or_make (name);
4160
4161 *input_line_pointer = endc;
4162
4163 if (*input_line_pointer != ',')
4164 {
4165 as_bad (_("missing rename string"));
4166 ignore_rest_of_line ();
4167 return;
4168 }
4169 ++input_line_pointer;
4170
4171 symbol_get_tc (sym)->real_name = demand_copy_C_string (&len);
4172
4173 demand_empty_rest_of_line ();
4174 }
4175
4176 /* The .stabx pseudo-op. This is similar to a normal .stabs
4177 pseudo-op, but slightly different. A sample is
4178 .stabx "main:F-1",.main,142,0
4179 The first argument is the symbol name to create. The second is the
4180 value, and the third is the storage class. The fourth seems to be
4181 always zero, and I am assuming it is the type. */
4182
4183 static void
4184 ppc_stabx (int ignore ATTRIBUTE_UNUSED)
4185 {
4186 char *name;
4187 int len;
4188 symbolS *sym;
4189 expressionS exp;
4190
4191 name = demand_copy_C_string (&len);
4192
4193 if (*input_line_pointer != ',')
4194 {
4195 as_bad (_("missing value"));
4196 return;
4197 }
4198 ++input_line_pointer;
4199
4200 ppc_stab_symbol = TRUE;
4201 sym = symbol_make (name);
4202 ppc_stab_symbol = FALSE;
4203
4204 symbol_get_tc (sym)->real_name = name;
4205
4206 (void) expression (&exp);
4207
4208 switch (exp.X_op)
4209 {
4210 case O_illegal:
4211 case O_absent:
4212 case O_big:
4213 as_bad (_("illegal .stabx expression; zero assumed"));
4214 exp.X_add_number = 0;
4215 /* Fall through. */
4216 case O_constant:
4217 S_SET_VALUE (sym, (valueT) exp.X_add_number);
4218 symbol_set_frag (sym, &zero_address_frag);
4219 break;
4220
4221 case O_symbol:
4222 if (S_GET_SEGMENT (exp.X_add_symbol) == undefined_section)
4223 symbol_set_value_expression (sym, &exp);
4224 else
4225 {
4226 S_SET_VALUE (sym,
4227 exp.X_add_number + S_GET_VALUE (exp.X_add_symbol));
4228 symbol_set_frag (sym, symbol_get_frag (exp.X_add_symbol));
4229 }
4230 break;
4231
4232 default:
4233 /* The value is some complex expression. This will probably
4234 fail at some later point, but this is probably the right
4235 thing to do here. */
4236 symbol_set_value_expression (sym, &exp);
4237 break;
4238 }
4239
4240 S_SET_SEGMENT (sym, ppc_coff_debug_section);
4241 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
4242
4243 if (*input_line_pointer != ',')
4244 {
4245 as_bad (_("missing class"));
4246 return;
4247 }
4248 ++input_line_pointer;
4249
4250 S_SET_STORAGE_CLASS (sym, get_absolute_expression ());
4251
4252 if (*input_line_pointer != ',')
4253 {
4254 as_bad (_("missing type"));
4255 return;
4256 }
4257 ++input_line_pointer;
4258
4259 S_SET_DATA_TYPE (sym, get_absolute_expression ());
4260
4261 symbol_get_tc (sym)->output = 1;
4262
4263 if (S_GET_STORAGE_CLASS (sym) == C_STSYM)
4264 {
4265 /* In this case :
4266
4267 .bs name
4268 .stabx "z",arrays_,133,0
4269 .es
4270
4271 .comm arrays_,13768,3
4272
4273 resolve_symbol_value will copy the exp's "within" into sym's when the
4274 offset is 0. Since this seems to be corner case problem,
4275 only do the correction for storage class C_STSYM. A better solution
4276 would be to have the tc field updated in ppc_symbol_new_hook. */
4277
4278 if (exp.X_op == O_symbol)
4279 {
4280 if (ppc_current_block == NULL)
4281 as_bad (_(".stabx of storage class stsym must be within .bs/.es"));
4282
4283 symbol_get_tc (sym)->within = ppc_current_block;
4284 symbol_get_tc (exp.X_add_symbol)->within = ppc_current_block;
4285 }
4286 }
4287
4288 if (exp.X_op != O_symbol
4289 || ! S_IS_EXTERNAL (exp.X_add_symbol)
4290 || S_GET_SEGMENT (exp.X_add_symbol) != bss_section)
4291 ppc_frob_label (sym);
4292 else
4293 {
4294 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
4295 symbol_append (sym, exp.X_add_symbol, &symbol_rootP, &symbol_lastP);
4296 if (symbol_get_tc (ppc_current_csect)->within == exp.X_add_symbol)
4297 symbol_get_tc (ppc_current_csect)->within = sym;
4298 }
4299
4300 demand_empty_rest_of_line ();
4301 }
4302
4303 /* The .function pseudo-op. This takes several arguments. The first
4304 argument seems to be the external name of the symbol. The second
4305 argument seems to be the label for the start of the function. gcc
4306 uses the same name for both. I have no idea what the third and
4307 fourth arguments are meant to be. The optional fifth argument is
4308 an expression for the size of the function. In COFF this symbol
4309 gets an aux entry like that used for a csect. */
4310
4311 static void
4312 ppc_function (int ignore ATTRIBUTE_UNUSED)
4313 {
4314 char *name;
4315 char endc;
4316 char *s;
4317 symbolS *ext_sym;
4318 symbolS *lab_sym;
4319
4320 name = input_line_pointer;
4321 endc = get_symbol_end ();
4322
4323 /* Ignore any [PR] suffix. */
4324 name = ppc_canonicalize_symbol_name (name);
4325 s = strchr (name, '[');
4326 if (s != (char *) NULL
4327 && strcmp (s + 1, "PR]") == 0)
4328 *s = '\0';
4329
4330 ext_sym = symbol_find_or_make (name);
4331
4332 *input_line_pointer = endc;
4333
4334 if (*input_line_pointer != ',')
4335 {
4336 as_bad (_("missing symbol name"));
4337 ignore_rest_of_line ();
4338 return;
4339 }
4340 ++input_line_pointer;
4341
4342 name = input_line_pointer;
4343 endc = get_symbol_end ();
4344
4345 lab_sym = symbol_find_or_make (name);
4346
4347 *input_line_pointer = endc;
4348
4349 if (ext_sym != lab_sym)
4350 {
4351 expressionS exp;
4352
4353 exp.X_op = O_symbol;
4354 exp.X_add_symbol = lab_sym;
4355 exp.X_op_symbol = NULL;
4356 exp.X_add_number = 0;
4357 exp.X_unsigned = 0;
4358 symbol_set_value_expression (ext_sym, &exp);
4359 }
4360
4361 if (symbol_get_tc (ext_sym)->symbol_class == -1)
4362 symbol_get_tc (ext_sym)->symbol_class = XMC_PR;
4363 symbol_get_tc (ext_sym)->output = 1;
4364
4365 if (*input_line_pointer == ',')
4366 {
4367 expressionS exp;
4368
4369 /* Ignore the third argument. */
4370 ++input_line_pointer;
4371 expression (& exp);
4372 if (*input_line_pointer == ',')
4373 {
4374 /* Ignore the fourth argument. */
4375 ++input_line_pointer;
4376 expression (& exp);
4377 if (*input_line_pointer == ',')
4378 {
4379 /* The fifth argument is the function size. */
4380 ++input_line_pointer;
4381 symbol_get_tc (ext_sym)->u.size = symbol_new
4382 ("L0\001", absolute_section,(valueT) 0, &zero_address_frag);
4383 pseudo_set (symbol_get_tc (ext_sym)->u.size);
4384 }
4385 }
4386 }
4387
4388 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
4389 SF_SET_FUNCTION (ext_sym);
4390 SF_SET_PROCESS (ext_sym);
4391 coff_add_linesym (ext_sym);
4392
4393 demand_empty_rest_of_line ();
4394 }
4395
4396 /* The .bf pseudo-op. This is just like a COFF C_FCN symbol named
4397 ".bf". If the pseudo op .bi was seen before .bf, patch the .bi sym
4398 with the correct line number */
4399
4400 static symbolS *saved_bi_sym = 0;
4401
4402 static void
4403 ppc_bf (int ignore ATTRIBUTE_UNUSED)
4404 {
4405 symbolS *sym;
4406
4407 sym = symbol_make (".bf");
4408 S_SET_SEGMENT (sym, text_section);
4409 symbol_set_frag (sym, frag_now);
4410 S_SET_VALUE (sym, frag_now_fix ());
4411 S_SET_STORAGE_CLASS (sym, C_FCN);
4412
4413 coff_line_base = get_absolute_expression ();
4414
4415 S_SET_NUMBER_AUXILIARY (sym, 1);
4416 SA_SET_SYM_LNNO (sym, coff_line_base);
4417
4418 /* Line number for bi. */
4419 if (saved_bi_sym)
4420 {
4421 S_SET_VALUE (saved_bi_sym, coff_n_line_nos);
4422 saved_bi_sym = 0;
4423 }
4424
4425
4426 symbol_get_tc (sym)->output = 1;
4427
4428 ppc_frob_label (sym);
4429
4430 demand_empty_rest_of_line ();
4431 }
4432
4433 /* The .ef pseudo-op. This is just like a COFF C_FCN symbol named
4434 ".ef", except that the line number is absolute, not relative to the
4435 most recent ".bf" symbol. */
4436
4437 static void
4438 ppc_ef (int ignore ATTRIBUTE_UNUSED)
4439 {
4440 symbolS *sym;
4441
4442 sym = symbol_make (".ef");
4443 S_SET_SEGMENT (sym, text_section);
4444 symbol_set_frag (sym, frag_now);
4445 S_SET_VALUE (sym, frag_now_fix ());
4446 S_SET_STORAGE_CLASS (sym, C_FCN);
4447 S_SET_NUMBER_AUXILIARY (sym, 1);
4448 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
4449 symbol_get_tc (sym)->output = 1;
4450
4451 ppc_frob_label (sym);
4452
4453 demand_empty_rest_of_line ();
4454 }
4455
4456 /* The .bi and .ei pseudo-ops. These take a string argument and
4457 generates a C_BINCL or C_EINCL symbol, which goes at the start of
4458 the symbol list. The value of .bi will be know when the next .bf
4459 is encountered. */
4460
4461 static void
4462 ppc_biei (int ei)
4463 {
4464 static symbolS *last_biei;
4465
4466 char *name;
4467 int len;
4468 symbolS *sym;
4469 symbolS *look;
4470
4471 name = demand_copy_C_string (&len);
4472
4473 /* The value of these symbols is actually file offset. Here we set
4474 the value to the index into the line number entries. In
4475 ppc_frob_symbols we set the fix_line field, which will cause BFD
4476 to do the right thing. */
4477
4478 sym = symbol_make (name);
4479 /* obj-coff.c currently only handles line numbers correctly in the
4480 .text section. */
4481 S_SET_SEGMENT (sym, text_section);
4482 S_SET_VALUE (sym, coff_n_line_nos);
4483 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
4484
4485 S_SET_STORAGE_CLASS (sym, ei ? C_EINCL : C_BINCL);
4486 symbol_get_tc (sym)->output = 1;
4487
4488 /* Save bi. */
4489 if (ei)
4490 saved_bi_sym = 0;
4491 else
4492 saved_bi_sym = sym;
4493
4494 for (look = last_biei ? last_biei : symbol_rootP;
4495 (look != (symbolS *) NULL
4496 && (S_GET_STORAGE_CLASS (look) == C_FILE
4497 || S_GET_STORAGE_CLASS (look) == C_BINCL
4498 || S_GET_STORAGE_CLASS (look) == C_EINCL));
4499 look = symbol_next (look))
4500 ;
4501 if (look != (symbolS *) NULL)
4502 {
4503 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
4504 symbol_insert (sym, look, &symbol_rootP, &symbol_lastP);
4505 last_biei = sym;
4506 }
4507
4508 demand_empty_rest_of_line ();
4509 }
4510
4511 /* The .bs pseudo-op. This generates a C_BSTAT symbol named ".bs".
4512 There is one argument, which is a csect symbol. The value of the
4513 .bs symbol is the index of this csect symbol. */
4514
4515 static void
4516 ppc_bs (int ignore ATTRIBUTE_UNUSED)
4517 {
4518 char *name;
4519 char endc;
4520 symbolS *csect;
4521 symbolS *sym;
4522
4523 if (ppc_current_block != NULL)
4524 as_bad (_("nested .bs blocks"));
4525
4526 name = input_line_pointer;
4527 endc = get_symbol_end ();
4528
4529 csect = symbol_find_or_make (name);
4530
4531 *input_line_pointer = endc;
4532
4533 sym = symbol_make (".bs");
4534 S_SET_SEGMENT (sym, now_seg);
4535 S_SET_STORAGE_CLASS (sym, C_BSTAT);
4536 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
4537 symbol_get_tc (sym)->output = 1;
4538
4539 symbol_get_tc (sym)->within = csect;
4540
4541 ppc_frob_label (sym);
4542
4543 ppc_current_block = sym;
4544
4545 demand_empty_rest_of_line ();
4546 }
4547
4548 /* The .es pseudo-op. Generate a C_ESTART symbol named .es. */
4549
4550 static void
4551 ppc_es (int ignore ATTRIBUTE_UNUSED)
4552 {
4553 symbolS *sym;
4554
4555 if (ppc_current_block == NULL)
4556 as_bad (_(".es without preceding .bs"));
4557
4558 sym = symbol_make (".es");
4559 S_SET_SEGMENT (sym, now_seg);
4560 S_SET_STORAGE_CLASS (sym, C_ESTAT);
4561 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
4562 symbol_get_tc (sym)->output = 1;
4563
4564 ppc_frob_label (sym);
4565
4566 ppc_current_block = NULL;
4567
4568 demand_empty_rest_of_line ();
4569 }
4570
4571 /* The .bb pseudo-op. Generate a C_BLOCK symbol named .bb, with a
4572 line number. */
4573
4574 static void
4575 ppc_bb (int ignore ATTRIBUTE_UNUSED)
4576 {
4577 symbolS *sym;
4578
4579 sym = symbol_make (".bb");
4580 S_SET_SEGMENT (sym, text_section);
4581 symbol_set_frag (sym, frag_now);
4582 S_SET_VALUE (sym, frag_now_fix ());
4583 S_SET_STORAGE_CLASS (sym, C_BLOCK);
4584
4585 S_SET_NUMBER_AUXILIARY (sym, 1);
4586 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
4587
4588 symbol_get_tc (sym)->output = 1;
4589
4590 SF_SET_PROCESS (sym);
4591
4592 ppc_frob_label (sym);
4593
4594 demand_empty_rest_of_line ();
4595 }
4596
4597 /* The .eb pseudo-op. Generate a C_BLOCK symbol named .eb, with a
4598 line number. */
4599
4600 static void
4601 ppc_eb (int ignore ATTRIBUTE_UNUSED)
4602 {
4603 symbolS *sym;
4604
4605 sym = symbol_make (".eb");
4606 S_SET_SEGMENT (sym, text_section);
4607 symbol_set_frag (sym, frag_now);
4608 S_SET_VALUE (sym, frag_now_fix ());
4609 S_SET_STORAGE_CLASS (sym, C_BLOCK);
4610 S_SET_NUMBER_AUXILIARY (sym, 1);
4611 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
4612 symbol_get_tc (sym)->output = 1;
4613
4614 SF_SET_PROCESS (sym);
4615
4616 ppc_frob_label (sym);
4617
4618 demand_empty_rest_of_line ();
4619 }
4620
4621 /* The .bc pseudo-op. This just creates a C_BCOMM symbol with a
4622 specified name. */
4623
4624 static void
4625 ppc_bc (int ignore ATTRIBUTE_UNUSED)
4626 {
4627 char *name;
4628 int len;
4629 symbolS *sym;
4630
4631 name = demand_copy_C_string (&len);
4632 sym = symbol_make (name);
4633 S_SET_SEGMENT (sym, ppc_coff_debug_section);
4634 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
4635 S_SET_STORAGE_CLASS (sym, C_BCOMM);
4636 S_SET_VALUE (sym, 0);
4637 symbol_get_tc (sym)->output = 1;
4638
4639 ppc_frob_label (sym);
4640
4641 demand_empty_rest_of_line ();
4642 }
4643
4644 /* The .ec pseudo-op. This just creates a C_ECOMM symbol. */
4645
4646 static void
4647 ppc_ec (int ignore ATTRIBUTE_UNUSED)
4648 {
4649 symbolS *sym;
4650
4651 sym = symbol_make (".ec");
4652 S_SET_SEGMENT (sym, ppc_coff_debug_section);
4653 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
4654 S_SET_STORAGE_CLASS (sym, C_ECOMM);
4655 S_SET_VALUE (sym, 0);
4656 symbol_get_tc (sym)->output = 1;
4657
4658 ppc_frob_label (sym);
4659
4660 demand_empty_rest_of_line ();
4661 }
4662
4663 /* The .toc pseudo-op. Switch to the .toc subsegment. */
4664
4665 static void
4666 ppc_toc (int ignore ATTRIBUTE_UNUSED)
4667 {
4668 if (ppc_toc_csect != (symbolS *) NULL)
4669 subseg_set (data_section, symbol_get_tc (ppc_toc_csect)->subseg);
4670 else
4671 {
4672 subsegT subseg;
4673 symbolS *sym;
4674 symbolS *list;
4675
4676 subseg = ppc_data_subsegment;
4677 ++ppc_data_subsegment;
4678
4679 subseg_new (segment_name (data_section), subseg);
4680 ppc_toc_frag = frag_now;
4681
4682 sym = symbol_find_or_make ("TOC[TC0]");
4683 symbol_set_frag (sym, frag_now);
4684 S_SET_SEGMENT (sym, data_section);
4685 S_SET_VALUE (sym, (valueT) frag_now_fix ());
4686 symbol_get_tc (sym)->subseg = subseg;
4687 symbol_get_tc (sym)->output = 1;
4688 symbol_get_tc (sym)->within = sym;
4689
4690 ppc_toc_csect = sym;
4691
4692 for (list = ppc_data_csects;
4693 symbol_get_tc (list)->next != (symbolS *) NULL;
4694 list = symbol_get_tc (list)->next)
4695 ;
4696 symbol_get_tc (list)->next = sym;
4697
4698 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
4699 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
4700 &symbol_lastP);
4701 }
4702
4703 ppc_current_csect = ppc_toc_csect;
4704
4705 demand_empty_rest_of_line ();
4706 }
4707
4708 /* The AIX assembler automatically aligns the operands of a .long or
4709 .short pseudo-op, and we want to be compatible. */
4710
4711 static void
4712 ppc_xcoff_cons (int log_size)
4713 {
4714 frag_align (log_size, 0, 0);
4715 record_alignment (now_seg, log_size);
4716 cons (1 << log_size);
4717 }
4718
4719 static void
4720 ppc_vbyte (int dummy ATTRIBUTE_UNUSED)
4721 {
4722 expressionS exp;
4723 int byte_count;
4724
4725 (void) expression (&exp);
4726
4727 if (exp.X_op != O_constant)
4728 {
4729 as_bad (_("non-constant byte count"));
4730 return;
4731 }
4732
4733 byte_count = exp.X_add_number;
4734
4735 if (*input_line_pointer != ',')
4736 {
4737 as_bad (_("missing value"));
4738 return;
4739 }
4740
4741 ++input_line_pointer;
4742 cons (byte_count);
4743 }
4744
4745 void
4746 ppc_xcoff_end (void)
4747 {
4748 int i;
4749
4750 for (i = 0; i < XCOFF_DWSECT_NBR_NAMES; i++)
4751 {
4752 struct dw_section *dws = &dw_sections[i];
4753 struct dw_subsection *dwss;
4754
4755 if (dws->anon_subseg)
4756 {
4757 dwss = dws->anon_subseg;
4758 dwss->link = dws->list_subseg;
4759 }
4760 else
4761 dwss = dws->list_subseg;
4762
4763 for (; dwss != NULL; dwss = dwss->link)
4764 if (dwss->end_exp.X_add_symbol != NULL)
4765 {
4766 subseg_set (dws->sect, dwss->subseg);
4767 symbol_set_value_now (dwss->end_exp.X_add_symbol);
4768 }
4769 }
4770 }
4771
4772 #endif /* OBJ_XCOFF */
4773 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
4774 \f
4775 /* The .tc pseudo-op. This is used when generating either XCOFF or
4776 ELF. This takes two or more arguments.
4777
4778 When generating XCOFF output, the first argument is the name to
4779 give to this location in the toc; this will be a symbol with class
4780 TC. The rest of the arguments are N-byte values to actually put at
4781 this location in the TOC; often there is just one more argument, a
4782 relocatable symbol reference. The size of the value to store
4783 depends on target word size. A 32-bit target uses 4-byte values, a
4784 64-bit target uses 8-byte values.
4785
4786 When not generating XCOFF output, the arguments are the same, but
4787 the first argument is simply ignored. */
4788
4789 static void
4790 ppc_tc (int ignore ATTRIBUTE_UNUSED)
4791 {
4792 #ifdef OBJ_XCOFF
4793
4794 /* Define the TOC symbol name. */
4795 {
4796 char *name;
4797 char endc;
4798 symbolS *sym;
4799
4800 if (ppc_toc_csect == (symbolS *) NULL
4801 || ppc_toc_csect != ppc_current_csect)
4802 {
4803 as_bad (_(".tc not in .toc section"));
4804 ignore_rest_of_line ();
4805 return;
4806 }
4807
4808 name = input_line_pointer;
4809 endc = get_symbol_end ();
4810
4811 sym = symbol_find_or_make (name);
4812
4813 *input_line_pointer = endc;
4814
4815 if (S_IS_DEFINED (sym))
4816 {
4817 symbolS *label;
4818
4819 label = symbol_get_tc (ppc_current_csect)->within;
4820 if (symbol_get_tc (label)->symbol_class != XMC_TC0)
4821 {
4822 as_bad (_(".tc with no label"));
4823 ignore_rest_of_line ();
4824 return;
4825 }
4826
4827 S_SET_SEGMENT (label, S_GET_SEGMENT (sym));
4828 symbol_set_frag (label, symbol_get_frag (sym));
4829 S_SET_VALUE (label, S_GET_VALUE (sym));
4830
4831 while (! is_end_of_line[(unsigned char) *input_line_pointer])
4832 ++input_line_pointer;
4833
4834 return;
4835 }
4836
4837 S_SET_SEGMENT (sym, now_seg);
4838 symbol_set_frag (sym, frag_now);
4839 S_SET_VALUE (sym, (valueT) frag_now_fix ());
4840 symbol_get_tc (sym)->symbol_class = XMC_TC;
4841 symbol_get_tc (sym)->output = 1;
4842
4843 ppc_frob_label (sym);
4844 }
4845
4846 #endif /* OBJ_XCOFF */
4847 #ifdef OBJ_ELF
4848 int align;
4849
4850 /* Skip the TOC symbol name. */
4851 while (is_part_of_name (*input_line_pointer)
4852 || *input_line_pointer == ' '
4853 || *input_line_pointer == '['
4854 || *input_line_pointer == ']'
4855 || *input_line_pointer == '{'
4856 || *input_line_pointer == '}')
4857 ++input_line_pointer;
4858
4859 /* Align to a four/eight byte boundary. */
4860 align = ppc_obj64 ? 3 : 2;
4861 frag_align (align, 0, 0);
4862 record_alignment (now_seg, align);
4863 #endif /* OBJ_ELF */
4864
4865 if (*input_line_pointer != ',')
4866 demand_empty_rest_of_line ();
4867 else
4868 {
4869 ++input_line_pointer;
4870 cons (ppc_obj64 ? 8 : 4);
4871 }
4872 }
4873
4874 /* Pseudo-op .machine. */
4875
4876 static void
4877 ppc_machine (int ignore ATTRIBUTE_UNUSED)
4878 {
4879 char *cpu_string;
4880 #define MAX_HISTORY 100
4881 static ppc_cpu_t *cpu_history;
4882 static int curr_hist;
4883
4884 SKIP_WHITESPACE ();
4885
4886 if (*input_line_pointer == '"')
4887 {
4888 int len;
4889 cpu_string = demand_copy_C_string (&len);
4890 }
4891 else
4892 {
4893 char c;
4894 cpu_string = input_line_pointer;
4895 c = get_symbol_end ();
4896 cpu_string = xstrdup (cpu_string);
4897 *input_line_pointer = c;
4898 }
4899
4900 if (cpu_string != NULL)
4901 {
4902 ppc_cpu_t old_cpu = ppc_cpu;
4903 ppc_cpu_t new_cpu;
4904 char *p;
4905
4906 for (p = cpu_string; *p != 0; p++)
4907 *p = TOLOWER (*p);
4908
4909 if (strcmp (cpu_string, "push") == 0)
4910 {
4911 if (cpu_history == NULL)
4912 cpu_history = xmalloc (MAX_HISTORY * sizeof (*cpu_history));
4913
4914 if (curr_hist >= MAX_HISTORY)
4915 as_bad (_(".machine stack overflow"));
4916 else
4917 cpu_history[curr_hist++] = ppc_cpu;
4918 }
4919 else if (strcmp (cpu_string, "pop") == 0)
4920 {
4921 if (curr_hist <= 0)
4922 as_bad (_(".machine stack underflow"));
4923 else
4924 ppc_cpu = cpu_history[--curr_hist];
4925 }
4926 else if ((new_cpu = ppc_parse_cpu (ppc_cpu, &sticky, cpu_string)) != 0)
4927 ppc_cpu = new_cpu;
4928 else
4929 as_bad (_("invalid machine `%s'"), cpu_string);
4930
4931 if (ppc_cpu != old_cpu)
4932 ppc_setup_opcodes ();
4933 }
4934
4935 demand_empty_rest_of_line ();
4936 }
4937 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
4938 \f
4939 #ifdef TE_PE
4940
4941 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
4942
4943 /* Set the current section. */
4944 static void
4945 ppc_set_current_section (segT new)
4946 {
4947 ppc_previous_section = ppc_current_section;
4948 ppc_current_section = new;
4949 }
4950
4951 /* pseudo-op: .previous
4952 behaviour: toggles the current section with the previous section.
4953 errors: None
4954 warnings: "No previous section" */
4955
4956 static void
4957 ppc_previous (int ignore ATTRIBUTE_UNUSED)
4958 {
4959 if (ppc_previous_section == NULL)
4960 {
4961 as_warn (_("no previous section to return to, ignored."));
4962 return;
4963 }
4964
4965 subseg_set (ppc_previous_section, 0);
4966
4967 ppc_set_current_section (ppc_previous_section);
4968 }
4969
4970 /* pseudo-op: .pdata
4971 behaviour: predefined read only data section
4972 double word aligned
4973 errors: None
4974 warnings: None
4975 initial: .section .pdata "adr3"
4976 a - don't know -- maybe a misprint
4977 d - initialized data
4978 r - readable
4979 3 - double word aligned (that would be 4 byte boundary)
4980
4981 commentary:
4982 Tag index tables (also known as the function table) for exception
4983 handling, debugging, etc. */
4984
4985 static void
4986 ppc_pdata (int ignore ATTRIBUTE_UNUSED)
4987 {
4988 if (pdata_section == 0)
4989 {
4990 pdata_section = subseg_new (".pdata", 0);
4991
4992 bfd_set_section_flags (stdoutput, pdata_section,
4993 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4994 | SEC_READONLY | SEC_DATA ));
4995
4996 bfd_set_section_alignment (stdoutput, pdata_section, 2);
4997 }
4998 else
4999 {
5000 pdata_section = subseg_new (".pdata", 0);
5001 }
5002 ppc_set_current_section (pdata_section);
5003 }
5004
5005 /* pseudo-op: .ydata
5006 behaviour: predefined read only data section
5007 double word aligned
5008 errors: None
5009 warnings: None
5010 initial: .section .ydata "drw3"
5011 a - don't know -- maybe a misprint
5012 d - initialized data
5013 r - readable
5014 3 - double word aligned (that would be 4 byte boundary)
5015 commentary:
5016 Tag tables (also known as the scope table) for exception handling,
5017 debugging, etc. */
5018
5019 static void
5020 ppc_ydata (int ignore ATTRIBUTE_UNUSED)
5021 {
5022 if (ydata_section == 0)
5023 {
5024 ydata_section = subseg_new (".ydata", 0);
5025 bfd_set_section_flags (stdoutput, ydata_section,
5026 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
5027 | SEC_READONLY | SEC_DATA ));
5028
5029 bfd_set_section_alignment (stdoutput, ydata_section, 3);
5030 }
5031 else
5032 {
5033 ydata_section = subseg_new (".ydata", 0);
5034 }
5035 ppc_set_current_section (ydata_section);
5036 }
5037
5038 /* pseudo-op: .reldata
5039 behaviour: predefined read write data section
5040 double word aligned (4-byte)
5041 FIXME: relocation is applied to it
5042 FIXME: what's the difference between this and .data?
5043 errors: None
5044 warnings: None
5045 initial: .section .reldata "drw3"
5046 d - initialized data
5047 r - readable
5048 w - writeable
5049 3 - double word aligned (that would be 8 byte boundary)
5050
5051 commentary:
5052 Like .data, but intended to hold data subject to relocation, such as
5053 function descriptors, etc. */
5054
5055 static void
5056 ppc_reldata (int ignore ATTRIBUTE_UNUSED)
5057 {
5058 if (reldata_section == 0)
5059 {
5060 reldata_section = subseg_new (".reldata", 0);
5061
5062 bfd_set_section_flags (stdoutput, reldata_section,
5063 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
5064 | SEC_DATA));
5065
5066 bfd_set_section_alignment (stdoutput, reldata_section, 2);
5067 }
5068 else
5069 {
5070 reldata_section = subseg_new (".reldata", 0);
5071 }
5072 ppc_set_current_section (reldata_section);
5073 }
5074
5075 /* pseudo-op: .rdata
5076 behaviour: predefined read only data section
5077 double word aligned
5078 errors: None
5079 warnings: None
5080 initial: .section .rdata "dr3"
5081 d - initialized data
5082 r - readable
5083 3 - double word aligned (that would be 4 byte boundary) */
5084
5085 static void
5086 ppc_rdata (int ignore ATTRIBUTE_UNUSED)
5087 {
5088 if (rdata_section == 0)
5089 {
5090 rdata_section = subseg_new (".rdata", 0);
5091 bfd_set_section_flags (stdoutput, rdata_section,
5092 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
5093 | SEC_READONLY | SEC_DATA ));
5094
5095 bfd_set_section_alignment (stdoutput, rdata_section, 2);
5096 }
5097 else
5098 {
5099 rdata_section = subseg_new (".rdata", 0);
5100 }
5101 ppc_set_current_section (rdata_section);
5102 }
5103
5104 /* pseudo-op: .ualong
5105 behaviour: much like .int, with the exception that no alignment is
5106 performed.
5107 FIXME: test the alignment statement
5108 errors: None
5109 warnings: None */
5110
5111 static void
5112 ppc_ualong (int ignore ATTRIBUTE_UNUSED)
5113 {
5114 /* Try for long. */
5115 cons (4);
5116 }
5117
5118 /* pseudo-op: .znop <symbol name>
5119 behaviour: Issue a nop instruction
5120 Issue a IMAGE_REL_PPC_IFGLUE relocation against it, using
5121 the supplied symbol name.
5122 errors: None
5123 warnings: Missing symbol name */
5124
5125 static void
5126 ppc_znop (int ignore ATTRIBUTE_UNUSED)
5127 {
5128 unsigned long insn;
5129 const struct powerpc_opcode *opcode;
5130 char *f;
5131 symbolS *sym;
5132 char *symbol_name;
5133 char c;
5134 char *name;
5135
5136 /* Strip out the symbol name. */
5137 symbol_name = input_line_pointer;
5138 c = get_symbol_end ();
5139
5140 name = xmalloc (input_line_pointer - symbol_name + 1);
5141 strcpy (name, symbol_name);
5142
5143 sym = symbol_find_or_make (name);
5144
5145 *input_line_pointer = c;
5146
5147 SKIP_WHITESPACE ();
5148
5149 /* Look up the opcode in the hash table. */
5150 opcode = (const struct powerpc_opcode *) hash_find (ppc_hash, "nop");
5151
5152 /* Stick in the nop. */
5153 insn = opcode->opcode;
5154
5155 /* Write out the instruction. */
5156 f = frag_more (4);
5157 md_number_to_chars (f, insn, 4);
5158 fix_new (frag_now,
5159 f - frag_now->fr_literal,
5160 4,
5161 sym,
5162 0,
5163 0,
5164 BFD_RELOC_16_GOT_PCREL);
5165
5166 }
5167
5168 /* pseudo-op:
5169 behaviour:
5170 errors:
5171 warnings: */
5172
5173 static void
5174 ppc_pe_comm (int lcomm)
5175 {
5176 char *name;
5177 char c;
5178 char *p;
5179 offsetT temp;
5180 symbolS *symbolP;
5181 offsetT align;
5182
5183 name = input_line_pointer;
5184 c = get_symbol_end ();
5185
5186 /* just after name is now '\0'. */
5187 p = input_line_pointer;
5188 *p = c;
5189 SKIP_WHITESPACE ();
5190 if (*input_line_pointer != ',')
5191 {
5192 as_bad (_("expected comma after symbol-name: rest of line ignored."));
5193 ignore_rest_of_line ();
5194 return;
5195 }
5196
5197 input_line_pointer++; /* skip ',' */
5198 if ((temp = get_absolute_expression ()) < 0)
5199 {
5200 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp);
5201 ignore_rest_of_line ();
5202 return;
5203 }
5204
5205 if (! lcomm)
5206 {
5207 /* The third argument to .comm is the alignment. */
5208 if (*input_line_pointer != ',')
5209 align = 3;
5210 else
5211 {
5212 ++input_line_pointer;
5213 align = get_absolute_expression ();
5214 if (align <= 0)
5215 {
5216 as_warn (_("ignoring bad alignment"));
5217 align = 3;
5218 }
5219 }
5220 }
5221
5222 *p = 0;
5223 symbolP = symbol_find_or_make (name);
5224
5225 *p = c;
5226 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
5227 {
5228 as_bad (_("ignoring attempt to re-define symbol `%s'."),
5229 S_GET_NAME (symbolP));
5230 ignore_rest_of_line ();
5231 return;
5232 }
5233
5234 if (S_GET_VALUE (symbolP))
5235 {
5236 if (S_GET_VALUE (symbolP) != (valueT) temp)
5237 as_bad (_("length of .comm \"%s\" is already %ld. Not changed to %ld."),
5238 S_GET_NAME (symbolP),
5239 (long) S_GET_VALUE (symbolP),
5240 (long) temp);
5241 }
5242 else
5243 {
5244 S_SET_VALUE (symbolP, (valueT) temp);
5245 S_SET_EXTERNAL (symbolP);
5246 S_SET_SEGMENT (symbolP, bfd_com_section_ptr);
5247 }
5248
5249 demand_empty_rest_of_line ();
5250 }
5251
5252 /*
5253 * implement the .section pseudo op:
5254 * .section name {, "flags"}
5255 * ^ ^
5256 * | +--- optional flags: 'b' for bss
5257 * | 'i' for info
5258 * +-- section name 'l' for lib
5259 * 'n' for noload
5260 * 'o' for over
5261 * 'w' for data
5262 * 'd' (apparently m88k for data)
5263 * 'x' for text
5264 * But if the argument is not a quoted string, treat it as a
5265 * subsegment number.
5266 *
5267 * FIXME: this is a copy of the section processing from obj-coff.c, with
5268 * additions/changes for the moto-pas assembler support. There are three
5269 * categories:
5270 *
5271 * FIXME: I just noticed this. This doesn't work at all really. It it
5272 * setting bits that bfd probably neither understands or uses. The
5273 * correct approach (?) will have to incorporate extra fields attached
5274 * to the section to hold the system specific stuff. (krk)
5275 *
5276 * Section Contents:
5277 * 'a' - unknown - referred to in documentation, but no definition supplied
5278 * 'c' - section has code
5279 * 'd' - section has initialized data
5280 * 'u' - section has uninitialized data
5281 * 'i' - section contains directives (info)
5282 * 'n' - section can be discarded
5283 * 'R' - remove section at link time
5284 *
5285 * Section Protection:
5286 * 'r' - section is readable
5287 * 'w' - section is writeable
5288 * 'x' - section is executable
5289 * 's' - section is sharable
5290 *
5291 * Section Alignment:
5292 * '0' - align to byte boundary
5293 * '1' - align to halfword undary
5294 * '2' - align to word boundary
5295 * '3' - align to doubleword boundary
5296 * '4' - align to quadword boundary
5297 * '5' - align to 32 byte boundary
5298 * '6' - align to 64 byte boundary
5299 *
5300 */
5301
5302 void
5303 ppc_pe_section (int ignore ATTRIBUTE_UNUSED)
5304 {
5305 /* Strip out the section name. */
5306 char *section_name;
5307 char c;
5308 char *name;
5309 unsigned int exp;
5310 flagword flags;
5311 segT sec;
5312 int align;
5313
5314 section_name = input_line_pointer;
5315 c = get_symbol_end ();
5316
5317 name = xmalloc (input_line_pointer - section_name + 1);
5318 strcpy (name, section_name);
5319
5320 *input_line_pointer = c;
5321
5322 SKIP_WHITESPACE ();
5323
5324 exp = 0;
5325 flags = SEC_NO_FLAGS;
5326
5327 if (strcmp (name, ".idata$2") == 0)
5328 {
5329 align = 0;
5330 }
5331 else if (strcmp (name, ".idata$3") == 0)
5332 {
5333 align = 0;
5334 }
5335 else if (strcmp (name, ".idata$4") == 0)
5336 {
5337 align = 2;
5338 }
5339 else if (strcmp (name, ".idata$5") == 0)
5340 {
5341 align = 2;
5342 }
5343 else if (strcmp (name, ".idata$6") == 0)
5344 {
5345 align = 1;
5346 }
5347 else
5348 /* Default alignment to 16 byte boundary. */
5349 align = 4;
5350
5351 if (*input_line_pointer == ',')
5352 {
5353 ++input_line_pointer;
5354 SKIP_WHITESPACE ();
5355 if (*input_line_pointer != '"')
5356 exp = get_absolute_expression ();
5357 else
5358 {
5359 ++input_line_pointer;
5360 while (*input_line_pointer != '"'
5361 && ! is_end_of_line[(unsigned char) *input_line_pointer])
5362 {
5363 switch (*input_line_pointer)
5364 {
5365 /* Section Contents */
5366 case 'a': /* unknown */
5367 as_bad (_("unsupported section attribute -- 'a'"));
5368 break;
5369 case 'c': /* code section */
5370 flags |= SEC_CODE;
5371 break;
5372 case 'd': /* section has initialized data */
5373 flags |= SEC_DATA;
5374 break;
5375 case 'u': /* section has uninitialized data */
5376 /* FIXME: This is IMAGE_SCN_CNT_UNINITIALIZED_DATA
5377 in winnt.h */
5378 flags |= SEC_ROM;
5379 break;
5380 case 'i': /* section contains directives (info) */
5381 /* FIXME: This is IMAGE_SCN_LNK_INFO
5382 in winnt.h */
5383 flags |= SEC_HAS_CONTENTS;
5384 break;
5385 case 'n': /* section can be discarded */
5386 flags &=~ SEC_LOAD;
5387 break;
5388 case 'R': /* Remove section at link time */
5389 flags |= SEC_NEVER_LOAD;
5390 break;
5391 #if IFLICT_BRAIN_DAMAGE
5392 /* Section Protection */
5393 case 'r': /* section is readable */
5394 flags |= IMAGE_SCN_MEM_READ;
5395 break;
5396 case 'w': /* section is writeable */
5397 flags |= IMAGE_SCN_MEM_WRITE;
5398 break;
5399 case 'x': /* section is executable */
5400 flags |= IMAGE_SCN_MEM_EXECUTE;
5401 break;
5402 case 's': /* section is sharable */
5403 flags |= IMAGE_SCN_MEM_SHARED;
5404 break;
5405
5406 /* Section Alignment */
5407 case '0': /* align to byte boundary */
5408 flags |= IMAGE_SCN_ALIGN_1BYTES;
5409 align = 0;
5410 break;
5411 case '1': /* align to halfword boundary */
5412 flags |= IMAGE_SCN_ALIGN_2BYTES;
5413 align = 1;
5414 break;
5415 case '2': /* align to word boundary */
5416 flags |= IMAGE_SCN_ALIGN_4BYTES;
5417 align = 2;
5418 break;
5419 case '3': /* align to doubleword boundary */
5420 flags |= IMAGE_SCN_ALIGN_8BYTES;
5421 align = 3;
5422 break;
5423 case '4': /* align to quadword boundary */
5424 flags |= IMAGE_SCN_ALIGN_16BYTES;
5425 align = 4;
5426 break;
5427 case '5': /* align to 32 byte boundary */
5428 flags |= IMAGE_SCN_ALIGN_32BYTES;
5429 align = 5;
5430 break;
5431 case '6': /* align to 64 byte boundary */
5432 flags |= IMAGE_SCN_ALIGN_64BYTES;
5433 align = 6;
5434 break;
5435 #endif
5436 default:
5437 as_bad (_("unknown section attribute '%c'"),
5438 *input_line_pointer);
5439 break;
5440 }
5441 ++input_line_pointer;
5442 }
5443 if (*input_line_pointer == '"')
5444 ++input_line_pointer;
5445 }
5446 }
5447
5448 sec = subseg_new (name, (subsegT) exp);
5449
5450 ppc_set_current_section (sec);
5451
5452 if (flags != SEC_NO_FLAGS)
5453 {
5454 if (! bfd_set_section_flags (stdoutput, sec, flags))
5455 as_bad (_("error setting flags for \"%s\": %s"),
5456 bfd_section_name (stdoutput, sec),
5457 bfd_errmsg (bfd_get_error ()));
5458 }
5459
5460 bfd_set_section_alignment (stdoutput, sec, align);
5461 }
5462
5463 static void
5464 ppc_pe_function (int ignore ATTRIBUTE_UNUSED)
5465 {
5466 char *name;
5467 char endc;
5468 symbolS *ext_sym;
5469
5470 name = input_line_pointer;
5471 endc = get_symbol_end ();
5472
5473 ext_sym = symbol_find_or_make (name);
5474
5475 *input_line_pointer = endc;
5476
5477 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
5478 SF_SET_FUNCTION (ext_sym);
5479 SF_SET_PROCESS (ext_sym);
5480 coff_add_linesym (ext_sym);
5481
5482 demand_empty_rest_of_line ();
5483 }
5484
5485 static void
5486 ppc_pe_tocd (int ignore ATTRIBUTE_UNUSED)
5487 {
5488 if (tocdata_section == 0)
5489 {
5490 tocdata_section = subseg_new (".tocd", 0);
5491 /* FIXME: section flags won't work. */
5492 bfd_set_section_flags (stdoutput, tocdata_section,
5493 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
5494 | SEC_READONLY | SEC_DATA));
5495
5496 bfd_set_section_alignment (stdoutput, tocdata_section, 2);
5497 }
5498 else
5499 {
5500 rdata_section = subseg_new (".tocd", 0);
5501 }
5502
5503 ppc_set_current_section (tocdata_section);
5504
5505 demand_empty_rest_of_line ();
5506 }
5507
5508 /* Don't adjust TOC relocs to use the section symbol. */
5509
5510 int
5511 ppc_pe_fix_adjustable (fixS *fix)
5512 {
5513 return fix->fx_r_type != BFD_RELOC_PPC_TOC16;
5514 }
5515
5516 #endif
5517 \f
5518 #ifdef OBJ_XCOFF
5519
5520 /* XCOFF specific symbol and file handling. */
5521
5522 /* Canonicalize the symbol name. We use the to force the suffix, if
5523 any, to use square brackets, and to be in upper case. */
5524
5525 char *
5526 ppc_canonicalize_symbol_name (char *name)
5527 {
5528 char *s;
5529
5530 if (ppc_stab_symbol)
5531 return name;
5532
5533 for (s = name; *s != '\0' && *s != '{' && *s != '['; s++)
5534 ;
5535 if (*s != '\0')
5536 {
5537 char brac;
5538
5539 if (*s == '[')
5540 brac = ']';
5541 else
5542 {
5543 *s = '[';
5544 brac = '}';
5545 }
5546
5547 for (s++; *s != '\0' && *s != brac; s++)
5548 *s = TOUPPER (*s);
5549
5550 if (*s == '\0' || s[1] != '\0')
5551 as_bad (_("bad symbol suffix"));
5552
5553 *s = ']';
5554 }
5555
5556 return name;
5557 }
5558
5559 /* Set the class of a symbol based on the suffix, if any. This is
5560 called whenever a new symbol is created. */
5561
5562 void
5563 ppc_symbol_new_hook (symbolS *sym)
5564 {
5565 struct ppc_tc_sy *tc;
5566 const char *s;
5567
5568 tc = symbol_get_tc (sym);
5569 tc->next = NULL;
5570 tc->output = 0;
5571 tc->symbol_class = -1;
5572 tc->real_name = NULL;
5573 tc->subseg = 0;
5574 tc->align = 0;
5575 tc->u.size = NULL;
5576 tc->u.dw = NULL;
5577 tc->within = NULL;
5578
5579 if (ppc_stab_symbol)
5580 return;
5581
5582 s = strchr (S_GET_NAME (sym), '[');
5583 if (s == (const char *) NULL)
5584 {
5585 /* There is no suffix. */
5586 return;
5587 }
5588
5589 ++s;
5590
5591 switch (s[0])
5592 {
5593 case 'B':
5594 if (strcmp (s, "BS]") == 0)
5595 tc->symbol_class = XMC_BS;
5596 break;
5597 case 'D':
5598 if (strcmp (s, "DB]") == 0)
5599 tc->symbol_class = XMC_DB;
5600 else if (strcmp (s, "DS]") == 0)
5601 tc->symbol_class = XMC_DS;
5602 break;
5603 case 'G':
5604 if (strcmp (s, "GL]") == 0)
5605 tc->symbol_class = XMC_GL;
5606 break;
5607 case 'P':
5608 if (strcmp (s, "PR]") == 0)
5609 tc->symbol_class = XMC_PR;
5610 break;
5611 case 'R':
5612 if (strcmp (s, "RO]") == 0)
5613 tc->symbol_class = XMC_RO;
5614 else if (strcmp (s, "RW]") == 0)
5615 tc->symbol_class = XMC_RW;
5616 break;
5617 case 'S':
5618 if (strcmp (s, "SV]") == 0)
5619 tc->symbol_class = XMC_SV;
5620 break;
5621 case 'T':
5622 if (strcmp (s, "TC]") == 0)
5623 tc->symbol_class = XMC_TC;
5624 else if (strcmp (s, "TI]") == 0)
5625 tc->symbol_class = XMC_TI;
5626 else if (strcmp (s, "TB]") == 0)
5627 tc->symbol_class = XMC_TB;
5628 else if (strcmp (s, "TC0]") == 0 || strcmp (s, "T0]") == 0)
5629 tc->symbol_class = XMC_TC0;
5630 break;
5631 case 'U':
5632 if (strcmp (s, "UA]") == 0)
5633 tc->symbol_class = XMC_UA;
5634 else if (strcmp (s, "UC]") == 0)
5635 tc->symbol_class = XMC_UC;
5636 break;
5637 case 'X':
5638 if (strcmp (s, "XO]") == 0)
5639 tc->symbol_class = XMC_XO;
5640 break;
5641 }
5642
5643 if (tc->symbol_class == -1)
5644 as_bad (_("unrecognized symbol suffix"));
5645 }
5646
5647 /* Set the class of a label based on where it is defined. This
5648 handles symbols without suffixes. Also, move the symbol so that it
5649 follows the csect symbol. */
5650
5651 void
5652 ppc_frob_label (symbolS *sym)
5653 {
5654 if (ppc_current_csect != (symbolS *) NULL)
5655 {
5656 if (symbol_get_tc (sym)->symbol_class == -1)
5657 symbol_get_tc (sym)->symbol_class = symbol_get_tc (ppc_current_csect)->symbol_class;
5658
5659 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
5660 symbol_append (sym, symbol_get_tc (ppc_current_csect)->within,
5661 &symbol_rootP, &symbol_lastP);
5662 symbol_get_tc (ppc_current_csect)->within = sym;
5663 symbol_get_tc (sym)->within = ppc_current_csect;
5664 }
5665
5666 #ifdef OBJ_ELF
5667 dwarf2_emit_label (sym);
5668 #endif
5669 }
5670
5671 /* This variable is set by ppc_frob_symbol if any absolute symbols are
5672 seen. It tells ppc_adjust_symtab whether it needs to look through
5673 the symbols. */
5674
5675 static bfd_boolean ppc_saw_abs;
5676
5677 /* Change the name of a symbol just before writing it out. Set the
5678 real name if the .rename pseudo-op was used. Otherwise, remove any
5679 class suffix. Return 1 if the symbol should not be included in the
5680 symbol table. */
5681
5682 int
5683 ppc_frob_symbol (symbolS *sym)
5684 {
5685 static symbolS *ppc_last_function;
5686 static symbolS *set_end;
5687
5688 /* Discard symbols that should not be included in the output symbol
5689 table. */
5690 if (! symbol_used_in_reloc_p (sym)
5691 && ((symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) != 0
5692 || (! (S_IS_EXTERNAL (sym) || S_IS_WEAK (sym))
5693 && ! symbol_get_tc (sym)->output
5694 && S_GET_STORAGE_CLASS (sym) != C_FILE)))
5695 return 1;
5696
5697 /* This one will disappear anyway. Don't make a csect sym for it. */
5698 if (sym == abs_section_sym)
5699 return 1;
5700
5701 if (symbol_get_tc (sym)->real_name != (char *) NULL)
5702 S_SET_NAME (sym, symbol_get_tc (sym)->real_name);
5703 else
5704 {
5705 const char *name;
5706 const char *s;
5707
5708 name = S_GET_NAME (sym);
5709 s = strchr (name, '[');
5710 if (s != (char *) NULL)
5711 {
5712 unsigned int len;
5713 char *snew;
5714
5715 len = s - name;
5716 snew = xmalloc (len + 1);
5717 memcpy (snew, name, len);
5718 snew[len] = '\0';
5719
5720 S_SET_NAME (sym, snew);
5721 }
5722 }
5723
5724 if (set_end != (symbolS *) NULL)
5725 {
5726 SA_SET_SYM_ENDNDX (set_end, sym);
5727 set_end = NULL;
5728 }
5729
5730 if (SF_GET_FUNCTION (sym))
5731 {
5732 if (ppc_last_function != (symbolS *) NULL)
5733 as_bad (_("two .function pseudo-ops with no intervening .ef"));
5734 ppc_last_function = sym;
5735 if (symbol_get_tc (sym)->u.size != (symbolS *) NULL)
5736 {
5737 resolve_symbol_value (symbol_get_tc (sym)->u.size);
5738 SA_SET_SYM_FSIZE (sym,
5739 (long) S_GET_VALUE (symbol_get_tc (sym)->u.size));
5740 }
5741 }
5742 else if (S_GET_STORAGE_CLASS (sym) == C_FCN
5743 && strcmp (S_GET_NAME (sym), ".ef") == 0)
5744 {
5745 if (ppc_last_function == (symbolS *) NULL)
5746 as_bad (_(".ef with no preceding .function"));
5747 else
5748 {
5749 set_end = ppc_last_function;
5750 ppc_last_function = NULL;
5751
5752 /* We don't have a C_EFCN symbol, but we need to force the
5753 COFF backend to believe that it has seen one. */
5754 coff_last_function = NULL;
5755 }
5756 }
5757
5758 if (! (S_IS_EXTERNAL (sym) || S_IS_WEAK (sym))
5759 && (symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) == 0
5760 && S_GET_STORAGE_CLASS (sym) != C_FILE
5761 && S_GET_STORAGE_CLASS (sym) != C_FCN
5762 && S_GET_STORAGE_CLASS (sym) != C_BLOCK
5763 && S_GET_STORAGE_CLASS (sym) != C_BSTAT
5764 && S_GET_STORAGE_CLASS (sym) != C_ESTAT
5765 && S_GET_STORAGE_CLASS (sym) != C_BINCL
5766 && S_GET_STORAGE_CLASS (sym) != C_EINCL
5767 && S_GET_SEGMENT (sym) != ppc_coff_debug_section)
5768 S_SET_STORAGE_CLASS (sym, C_HIDEXT);
5769
5770 if (S_GET_STORAGE_CLASS (sym) == C_EXT
5771 || S_GET_STORAGE_CLASS (sym) == C_AIX_WEAKEXT
5772 || S_GET_STORAGE_CLASS (sym) == C_HIDEXT)
5773 {
5774 int i;
5775 union internal_auxent *a;
5776
5777 /* Create a csect aux. */
5778 i = S_GET_NUMBER_AUXILIARY (sym);
5779 S_SET_NUMBER_AUXILIARY (sym, i + 1);
5780 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].u.auxent;
5781 if (symbol_get_tc (sym)->symbol_class == XMC_TC0)
5782 {
5783 /* This is the TOC table. */
5784 know (strcmp (S_GET_NAME (sym), "TOC") == 0);
5785 a->x_csect.x_scnlen.l = 0;
5786 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
5787 }
5788 else if (symbol_get_tc (sym)->subseg != 0)
5789 {
5790 /* This is a csect symbol. x_scnlen is the size of the
5791 csect. */
5792 if (symbol_get_tc (sym)->next == (symbolS *) NULL)
5793 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
5794 S_GET_SEGMENT (sym))
5795 - S_GET_VALUE (sym));
5796 else
5797 {
5798 resolve_symbol_value (symbol_get_tc (sym)->next);
5799 a->x_csect.x_scnlen.l = (S_GET_VALUE (symbol_get_tc (sym)->next)
5800 - S_GET_VALUE (sym));
5801 }
5802 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_SD;
5803 }
5804 else if (S_GET_SEGMENT (sym) == bss_section)
5805 {
5806 /* This is a common symbol. */
5807 a->x_csect.x_scnlen.l = symbol_get_frag (sym)->fr_offset;
5808 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_CM;
5809 if (S_IS_EXTERNAL (sym))
5810 symbol_get_tc (sym)->symbol_class = XMC_RW;
5811 else
5812 symbol_get_tc (sym)->symbol_class = XMC_BS;
5813 }
5814 else if (S_GET_SEGMENT (sym) == absolute_section)
5815 {
5816 /* This is an absolute symbol. The csect will be created by
5817 ppc_adjust_symtab. */
5818 ppc_saw_abs = TRUE;
5819 a->x_csect.x_smtyp = XTY_LD;
5820 if (symbol_get_tc (sym)->symbol_class == -1)
5821 symbol_get_tc (sym)->symbol_class = XMC_XO;
5822 }
5823 else if (! S_IS_DEFINED (sym))
5824 {
5825 /* This is an external symbol. */
5826 a->x_csect.x_scnlen.l = 0;
5827 a->x_csect.x_smtyp = XTY_ER;
5828 }
5829 else if (symbol_get_tc (sym)->symbol_class == XMC_TC)
5830 {
5831 symbolS *next;
5832
5833 /* This is a TOC definition. x_scnlen is the size of the
5834 TOC entry. */
5835 next = symbol_next (sym);
5836 while (symbol_get_tc (next)->symbol_class == XMC_TC0)
5837 next = symbol_next (next);
5838 if (next == (symbolS *) NULL
5839 || symbol_get_tc (next)->symbol_class != XMC_TC)
5840 {
5841 if (ppc_after_toc_frag == (fragS *) NULL)
5842 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
5843 data_section)
5844 - S_GET_VALUE (sym));
5845 else
5846 a->x_csect.x_scnlen.l = (ppc_after_toc_frag->fr_address
5847 - S_GET_VALUE (sym));
5848 }
5849 else
5850 {
5851 resolve_symbol_value (next);
5852 a->x_csect.x_scnlen.l = (S_GET_VALUE (next)
5853 - S_GET_VALUE (sym));
5854 }
5855 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
5856 }
5857 else
5858 {
5859 symbolS *csect;
5860
5861 /* This is a normal symbol definition. x_scnlen is the
5862 symbol index of the containing csect. */
5863 if (S_GET_SEGMENT (sym) == text_section)
5864 csect = ppc_text_csects;
5865 else if (S_GET_SEGMENT (sym) == data_section)
5866 csect = ppc_data_csects;
5867 else
5868 abort ();
5869
5870 /* Skip the initial dummy symbol. */
5871 csect = symbol_get_tc (csect)->next;
5872
5873 if (csect == (symbolS *) NULL)
5874 {
5875 as_warn (_("warning: symbol %s has no csect"), S_GET_NAME (sym));
5876 a->x_csect.x_scnlen.l = 0;
5877 }
5878 else
5879 {
5880 while (symbol_get_tc (csect)->next != (symbolS *) NULL)
5881 {
5882 resolve_symbol_value (symbol_get_tc (csect)->next);
5883 if (S_GET_VALUE (symbol_get_tc (csect)->next)
5884 > S_GET_VALUE (sym))
5885 break;
5886 csect = symbol_get_tc (csect)->next;
5887 }
5888
5889 a->x_csect.x_scnlen.p =
5890 coffsymbol (symbol_get_bfdsym (csect))->native;
5891 coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].fix_scnlen =
5892 1;
5893 }
5894 a->x_csect.x_smtyp = XTY_LD;
5895 }
5896
5897 a->x_csect.x_parmhash = 0;
5898 a->x_csect.x_snhash = 0;
5899 if (symbol_get_tc (sym)->symbol_class == -1)
5900 a->x_csect.x_smclas = XMC_PR;
5901 else
5902 a->x_csect.x_smclas = symbol_get_tc (sym)->symbol_class;
5903 a->x_csect.x_stab = 0;
5904 a->x_csect.x_snstab = 0;
5905
5906 /* Don't let the COFF backend resort these symbols. */
5907 symbol_get_bfdsym (sym)->flags |= BSF_NOT_AT_END;
5908 }
5909 else if (S_GET_STORAGE_CLASS (sym) == C_BSTAT)
5910 {
5911 /* We want the value to be the symbol index of the referenced
5912 csect symbol. BFD will do that for us if we set the right
5913 flags. */
5914 asymbol *bsym = symbol_get_bfdsym (symbol_get_tc (sym)->within);
5915 combined_entry_type *c = coffsymbol (bsym)->native;
5916
5917 S_SET_VALUE (sym, (valueT) (size_t) c);
5918 coffsymbol (symbol_get_bfdsym (sym))->native->fix_value = 1;
5919 }
5920 else if (S_GET_STORAGE_CLASS (sym) == C_STSYM)
5921 {
5922 symbolS *block;
5923 valueT base;
5924
5925 block = symbol_get_tc (sym)->within;
5926 if (block)
5927 {
5928 /* The value is the offset from the enclosing csect. */
5929 symbolS *csect;
5930
5931 csect = symbol_get_tc (block)->within;
5932 resolve_symbol_value (csect);
5933 base = S_GET_VALUE (csect);
5934 }
5935 else
5936 base = 0;
5937
5938 S_SET_VALUE (sym, S_GET_VALUE (sym) - base);
5939 }
5940 else if (S_GET_STORAGE_CLASS (sym) == C_BINCL
5941 || S_GET_STORAGE_CLASS (sym) == C_EINCL)
5942 {
5943 /* We want the value to be a file offset into the line numbers.
5944 BFD will do that for us if we set the right flags. We have
5945 already set the value correctly. */
5946 coffsymbol (symbol_get_bfdsym (sym))->native->fix_line = 1;
5947 }
5948
5949 return 0;
5950 }
5951
5952 /* Adjust the symbol table. This creates csect symbols for all
5953 absolute symbols. */
5954
5955 void
5956 ppc_adjust_symtab (void)
5957 {
5958 symbolS *sym;
5959
5960 if (! ppc_saw_abs)
5961 return;
5962
5963 for (sym = symbol_rootP; sym != NULL; sym = symbol_next (sym))
5964 {
5965 symbolS *csect;
5966 int i;
5967 union internal_auxent *a;
5968
5969 if (S_GET_SEGMENT (sym) != absolute_section)
5970 continue;
5971
5972 csect = symbol_create (".abs[XO]", absolute_section,
5973 S_GET_VALUE (sym), &zero_address_frag);
5974 symbol_get_bfdsym (csect)->value = S_GET_VALUE (sym);
5975 S_SET_STORAGE_CLASS (csect, C_HIDEXT);
5976 i = S_GET_NUMBER_AUXILIARY (csect);
5977 S_SET_NUMBER_AUXILIARY (csect, i + 1);
5978 a = &coffsymbol (symbol_get_bfdsym (csect))->native[i + 1].u.auxent;
5979 a->x_csect.x_scnlen.l = 0;
5980 a->x_csect.x_smtyp = XTY_SD;
5981 a->x_csect.x_parmhash = 0;
5982 a->x_csect.x_snhash = 0;
5983 a->x_csect.x_smclas = XMC_XO;
5984 a->x_csect.x_stab = 0;
5985 a->x_csect.x_snstab = 0;
5986
5987 symbol_insert (csect, sym, &symbol_rootP, &symbol_lastP);
5988
5989 i = S_GET_NUMBER_AUXILIARY (sym);
5990 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i].u.auxent;
5991 a->x_csect.x_scnlen.p = coffsymbol (symbol_get_bfdsym (csect))->native;
5992 coffsymbol (symbol_get_bfdsym (sym))->native[i].fix_scnlen = 1;
5993 }
5994
5995 ppc_saw_abs = FALSE;
5996 }
5997
5998 /* Set the VMA for a section. This is called on all the sections in
5999 turn. */
6000
6001 void
6002 ppc_frob_section (asection *sec)
6003 {
6004 static bfd_vma vma = 0;
6005
6006 /* Dwarf sections start at 0. */
6007 if (bfd_get_section_flags (NULL, sec) & SEC_DEBUGGING)
6008 return;
6009
6010 vma = md_section_align (sec, vma);
6011 bfd_set_section_vma (stdoutput, sec, vma);
6012 vma += bfd_section_size (stdoutput, sec);
6013 }
6014
6015 #endif /* OBJ_XCOFF */
6016 \f
6017 char *
6018 md_atof (int type, char *litp, int *sizep)
6019 {
6020 return ieee_md_atof (type, litp, sizep, target_big_endian);
6021 }
6022
6023 /* Write a value out to the object file, using the appropriate
6024 endianness. */
6025
6026 void
6027 md_number_to_chars (char *buf, valueT val, int n)
6028 {
6029 if (target_big_endian)
6030 number_to_chars_bigendian (buf, val, n);
6031 else
6032 number_to_chars_littleendian (buf, val, n);
6033 }
6034
6035 /* Align a section (I don't know why this is machine dependent). */
6036
6037 valueT
6038 md_section_align (asection *seg ATTRIBUTE_UNUSED, valueT addr)
6039 {
6040 #ifdef OBJ_ELF
6041 return addr;
6042 #else
6043 int align = bfd_get_section_alignment (stdoutput, seg);
6044
6045 return ((addr + (1 << align) - 1) & (-1 << align));
6046 #endif
6047 }
6048
6049 /* We don't have any form of relaxing. */
6050
6051 int
6052 md_estimate_size_before_relax (fragS *fragp ATTRIBUTE_UNUSED,
6053 asection *seg ATTRIBUTE_UNUSED)
6054 {
6055 abort ();
6056 return 0;
6057 }
6058
6059 /* Convert a machine dependent frag. We never generate these. */
6060
6061 void
6062 md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED,
6063 asection *sec ATTRIBUTE_UNUSED,
6064 fragS *fragp ATTRIBUTE_UNUSED)
6065 {
6066 abort ();
6067 }
6068
6069 /* We have no need to default values of symbols. */
6070
6071 symbolS *
6072 md_undefined_symbol (char *name ATTRIBUTE_UNUSED)
6073 {
6074 return 0;
6075 }
6076 \f
6077 /* Functions concerning relocs. */
6078
6079 /* The location from which a PC relative jump should be calculated,
6080 given a PC relative reloc. */
6081
6082 long
6083 md_pcrel_from_section (fixS *fixp, segT sec ATTRIBUTE_UNUSED)
6084 {
6085 return fixp->fx_frag->fr_address + fixp->fx_where;
6086 }
6087
6088 #ifdef OBJ_XCOFF
6089
6090 /* This is called to see whether a fixup should be adjusted to use a
6091 section symbol. We take the opportunity to change a fixup against
6092 a symbol in the TOC subsegment into a reloc against the
6093 corresponding .tc symbol. */
6094
6095 int
6096 ppc_fix_adjustable (fixS *fix)
6097 {
6098 valueT val = resolve_symbol_value (fix->fx_addsy);
6099 segT symseg = S_GET_SEGMENT (fix->fx_addsy);
6100 TC_SYMFIELD_TYPE *tc;
6101
6102 if (symseg == absolute_section)
6103 return 0;
6104
6105 /* Always adjust symbols in debugging sections. */
6106 if (bfd_get_section_flags (stdoutput, symseg) & SEC_DEBUGGING)
6107 return 1;
6108
6109 if (ppc_toc_csect != (symbolS *) NULL
6110 && fix->fx_addsy != ppc_toc_csect
6111 && symseg == data_section
6112 && val >= ppc_toc_frag->fr_address
6113 && (ppc_after_toc_frag == (fragS *) NULL
6114 || val < ppc_after_toc_frag->fr_address))
6115 {
6116 symbolS *sy;
6117
6118 for (sy = symbol_next (ppc_toc_csect);
6119 sy != (symbolS *) NULL;
6120 sy = symbol_next (sy))
6121 {
6122 TC_SYMFIELD_TYPE *sy_tc = symbol_get_tc (sy);
6123
6124 if (sy_tc->symbol_class == XMC_TC0)
6125 continue;
6126 if (sy_tc->symbol_class != XMC_TC)
6127 break;
6128 if (val == resolve_symbol_value (sy))
6129 {
6130 fix->fx_addsy = sy;
6131 fix->fx_addnumber = val - ppc_toc_frag->fr_address;
6132 return 0;
6133 }
6134 }
6135
6136 as_bad_where (fix->fx_file, fix->fx_line,
6137 _("symbol in .toc does not match any .tc"));
6138 }
6139
6140 /* Possibly adjust the reloc to be against the csect. */
6141 tc = symbol_get_tc (fix->fx_addsy);
6142 if (tc->subseg == 0
6143 && tc->symbol_class != XMC_TC0
6144 && tc->symbol_class != XMC_TC
6145 && symseg != bss_section
6146 /* Don't adjust if this is a reloc in the toc section. */
6147 && (symseg != data_section
6148 || ppc_toc_csect == NULL
6149 || val < ppc_toc_frag->fr_address
6150 || (ppc_after_toc_frag != NULL
6151 && val >= ppc_after_toc_frag->fr_address)))
6152 {
6153 symbolS *csect = tc->within;
6154
6155 /* If the symbol was not declared by a label (eg: a section symbol),
6156 use the section instead of the csect. This doesn't happen in
6157 normal AIX assembly code. */
6158 if (csect == NULL)
6159 csect = seg_info (symseg)->sym;
6160
6161 fix->fx_offset += val - symbol_get_frag (csect)->fr_address;
6162 fix->fx_addsy = csect;
6163
6164 return 0;
6165 }
6166
6167 /* Adjust a reloc against a .lcomm symbol to be against the base
6168 .lcomm. */
6169 if (symseg == bss_section
6170 && ! S_IS_EXTERNAL (fix->fx_addsy))
6171 {
6172 symbolS *sy = symbol_get_frag (fix->fx_addsy)->fr_symbol;
6173
6174 fix->fx_offset += val - resolve_symbol_value (sy);
6175 fix->fx_addsy = sy;
6176 }
6177
6178 return 0;
6179 }
6180
6181 /* A reloc from one csect to another must be kept. The assembler
6182 will, of course, keep relocs between sections, and it will keep
6183 absolute relocs, but we need to force it to keep PC relative relocs
6184 between two csects in the same section. */
6185
6186 int
6187 ppc_force_relocation (fixS *fix)
6188 {
6189 /* At this point fix->fx_addsy should already have been converted to
6190 a csect symbol. If the csect does not include the fragment, then
6191 we need to force the relocation. */
6192 if (fix->fx_pcrel
6193 && fix->fx_addsy != NULL
6194 && symbol_get_tc (fix->fx_addsy)->subseg != 0
6195 && ((symbol_get_frag (fix->fx_addsy)->fr_address
6196 > fix->fx_frag->fr_address)
6197 || (symbol_get_tc (fix->fx_addsy)->next != NULL
6198 && (symbol_get_frag (symbol_get_tc (fix->fx_addsy)->next)->fr_address
6199 <= fix->fx_frag->fr_address))))
6200 return 1;
6201
6202 return generic_force_reloc (fix);
6203 }
6204
6205 void
6206 ppc_new_dot_label (symbolS *sym)
6207 {
6208 /* Anchor this label to the current csect for relocations. */
6209 symbol_get_tc (sym)->within = ppc_current_csect;
6210 }
6211
6212 #endif /* OBJ_XCOFF */
6213
6214 #ifdef OBJ_ELF
6215 /* If this function returns non-zero, it guarantees that a relocation
6216 will be emitted for a fixup. */
6217
6218 int
6219 ppc_force_relocation (fixS *fix)
6220 {
6221 /* Branch prediction relocations must force a relocation, as must
6222 the vtable description relocs. */
6223 switch (fix->fx_r_type)
6224 {
6225 case BFD_RELOC_PPC_B16_BRTAKEN:
6226 case BFD_RELOC_PPC_B16_BRNTAKEN:
6227 case BFD_RELOC_PPC_BA16_BRTAKEN:
6228 case BFD_RELOC_PPC_BA16_BRNTAKEN:
6229 case BFD_RELOC_24_PLT_PCREL:
6230 case BFD_RELOC_PPC64_TOC:
6231 return 1;
6232 default:
6233 break;
6234 }
6235
6236 if (fix->fx_r_type >= BFD_RELOC_PPC_TLS
6237 && fix->fx_r_type <= BFD_RELOC_PPC64_DTPREL16_HIGHESTA)
6238 return 1;
6239
6240 return generic_force_reloc (fix);
6241 }
6242
6243 int
6244 ppc_fix_adjustable (fixS *fix)
6245 {
6246 return (fix->fx_r_type != BFD_RELOC_16_GOTOFF
6247 && fix->fx_r_type != BFD_RELOC_LO16_GOTOFF
6248 && fix->fx_r_type != BFD_RELOC_HI16_GOTOFF
6249 && fix->fx_r_type != BFD_RELOC_HI16_S_GOTOFF
6250 && fix->fx_r_type != BFD_RELOC_PPC64_GOT16_DS
6251 && fix->fx_r_type != BFD_RELOC_PPC64_GOT16_LO_DS
6252 && fix->fx_r_type != BFD_RELOC_GPREL16
6253 && fix->fx_r_type != BFD_RELOC_VTABLE_INHERIT
6254 && fix->fx_r_type != BFD_RELOC_VTABLE_ENTRY
6255 && !(fix->fx_r_type >= BFD_RELOC_PPC_TLS
6256 && fix->fx_r_type <= BFD_RELOC_PPC64_DTPREL16_HIGHESTA));
6257 }
6258 #endif
6259
6260 void
6261 ppc_frag_check (struct frag *fragP)
6262 {
6263 if (!fragP->has_code)
6264 return;
6265
6266 if (ppc_mach() == bfd_mach_ppc_vle)
6267 {
6268 if (((fragP->fr_address + fragP->insn_addr) & 1) != 0)
6269 as_bad (_("instruction address is not a multiple of 2"));
6270 }
6271 else
6272 {
6273 if (((fragP->fr_address + fragP->insn_addr) & 3) != 0)
6274 as_bad (_("instruction address is not a multiple of 4"));
6275 }
6276 }
6277
6278 /* Implement HANDLE_ALIGN. This writes the NOP pattern into an
6279 rs_align_code frag. */
6280
6281 void
6282 ppc_handle_align (struct frag *fragP)
6283 {
6284 valueT count = (fragP->fr_next->fr_address
6285 - (fragP->fr_address + fragP->fr_fix));
6286
6287 if (ppc_mach() == bfd_mach_ppc_vle && count != 0 && (count & 1) == 0)
6288 {
6289 char *dest = fragP->fr_literal + fragP->fr_fix;
6290
6291 fragP->fr_var = 2;
6292 md_number_to_chars (dest, 0x4400, 2);
6293 }
6294 else if (count != 0 && (count & 3) == 0)
6295 {
6296 char *dest = fragP->fr_literal + fragP->fr_fix;
6297
6298 fragP->fr_var = 4;
6299
6300 if (count > 4 * nop_limit && count < 0x2000000)
6301 {
6302 struct frag *rest;
6303
6304 /* Make a branch, then follow with nops. Insert another
6305 frag to handle the nops. */
6306 md_number_to_chars (dest, 0x48000000 + count, 4);
6307 count -= 4;
6308 if (count == 0)
6309 return;
6310
6311 rest = xmalloc (SIZEOF_STRUCT_FRAG + 4);
6312 memcpy (rest, fragP, SIZEOF_STRUCT_FRAG);
6313 fragP->fr_next = rest;
6314 fragP = rest;
6315 rest->fr_address += rest->fr_fix + 4;
6316 rest->fr_fix = 0;
6317 /* If we leave the next frag as rs_align_code we'll come here
6318 again, resulting in a bunch of branches rather than a
6319 branch followed by nops. */
6320 rest->fr_type = rs_align;
6321 dest = rest->fr_literal;
6322 }
6323
6324 md_number_to_chars (dest, 0x60000000, 4);
6325
6326 if ((ppc_cpu & PPC_OPCODE_POWER6) != 0
6327 || (ppc_cpu & PPC_OPCODE_POWER7) != 0
6328 || (ppc_cpu & PPC_OPCODE_POWER8) != 0)
6329 {
6330 /* For power6, power7 and power8, we want the last nop to be a group
6331 terminating one. Do this by inserting an rs_fill frag immediately
6332 after this one, with its address set to the last nop location.
6333 This will automatically reduce the number of nops in the current
6334 frag by one. */
6335 if (count > 4)
6336 {
6337 struct frag *group_nop = xmalloc (SIZEOF_STRUCT_FRAG + 4);
6338
6339 memcpy (group_nop, fragP, SIZEOF_STRUCT_FRAG);
6340 group_nop->fr_address = group_nop->fr_next->fr_address - 4;
6341 group_nop->fr_fix = 0;
6342 group_nop->fr_offset = 1;
6343 group_nop->fr_type = rs_fill;
6344 fragP->fr_next = group_nop;
6345 dest = group_nop->fr_literal;
6346 }
6347
6348 if ((ppc_cpu & PPC_OPCODE_POWER7) != 0
6349 || (ppc_cpu & PPC_OPCODE_POWER8) != 0)
6350 {
6351 if (ppc_cpu & PPC_OPCODE_E500MC)
6352 /* e500mc group terminating nop: "ori 0,0,0". */
6353 md_number_to_chars (dest, 0x60000000, 4);
6354 else
6355 /* power7/power8 group terminating nop: "ori 2,2,0". */
6356 md_number_to_chars (dest, 0x60420000, 4);
6357 }
6358 else
6359 /* power6 group terminating nop: "ori 1,1,0". */
6360 md_number_to_chars (dest, 0x60210000, 4);
6361 }
6362 }
6363 }
6364
6365 /* Apply a fixup to the object code. This is called for all the
6366 fixups we generated by the calls to fix_new_exp, above. */
6367
6368 void
6369 md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED)
6370 {
6371 valueT value = * valP;
6372 offsetT fieldval;
6373 const struct powerpc_operand *operand;
6374
6375 #ifdef OBJ_ELF
6376 if (fixP->fx_addsy != NULL)
6377 {
6378 /* Hack around bfd_install_relocation brain damage. */
6379 if (fixP->fx_pcrel)
6380 value += fixP->fx_frag->fr_address + fixP->fx_where;
6381 }
6382 else
6383 fixP->fx_done = 1;
6384 #else
6385 /* FIXME FIXME FIXME: The value we are passed in *valP includes
6386 the symbol values. If we are doing this relocation the code in
6387 write.c is going to call bfd_install_relocation, which is also
6388 going to use the symbol value. That means that if the reloc is
6389 fully resolved we want to use *valP since bfd_install_relocation is
6390 not being used.
6391 However, if the reloc is not fully resolved we do not want to
6392 use *valP, and must use fx_offset instead. If the relocation
6393 is PC-relative, we then need to re-apply md_pcrel_from_section
6394 to this new relocation value. */
6395 if (fixP->fx_addsy == (symbolS *) NULL)
6396 fixP->fx_done = 1;
6397
6398 else
6399 {
6400 value = fixP->fx_offset;
6401 if (fixP->fx_pcrel)
6402 value -= md_pcrel_from_section (fixP, seg);
6403 }
6404 #endif
6405
6406 if (fixP->fx_subsy != (symbolS *) NULL)
6407 {
6408 /* We can't actually support subtracting a symbol. */
6409 as_bad_where (fixP->fx_file, fixP->fx_line, _("expression too complex"));
6410 }
6411
6412 operand = NULL;
6413 if (fixP->fx_pcrel_adjust != 0)
6414 {
6415 /* This is a fixup on an instruction. */
6416 int opindex = fixP->fx_pcrel_adjust & 0xff;
6417
6418 operand = &powerpc_operands[opindex];
6419 #ifdef OBJ_XCOFF
6420 /* An instruction like `lwz 9,sym(30)' when `sym' is not a TOC symbol
6421 does not generate a reloc. It uses the offset of `sym' within its
6422 csect. Other usages, such as `.long sym', generate relocs. This
6423 is the documented behaviour of non-TOC symbols. */
6424 if ((operand->flags & PPC_OPERAND_PARENS) != 0
6425 && (operand->bitm & 0xfff0) == 0xfff0
6426 && operand->shift == 0
6427 && (operand->insert == NULL || ppc_obj64)
6428 && fixP->fx_addsy != NULL
6429 && symbol_get_tc (fixP->fx_addsy)->subseg != 0
6430 && symbol_get_tc (fixP->fx_addsy)->symbol_class != XMC_TC
6431 && symbol_get_tc (fixP->fx_addsy)->symbol_class != XMC_TC0
6432 && S_GET_SEGMENT (fixP->fx_addsy) != bss_section)
6433 {
6434 value = fixP->fx_offset;
6435 fixP->fx_done = 1;
6436 }
6437
6438 /* During parsing of instructions, a TOC16 reloc is generated for
6439 instructions such as 'lwz RT,SYM(RB)' if SYM is a symbol defined
6440 in the toc. But at parse time, SYM may be not yet defined, so
6441 check again here. */
6442 if (fixP->fx_r_type == BFD_RELOC_16
6443 && fixP->fx_addsy != NULL
6444 && ppc_is_toc_sym (fixP->fx_addsy))
6445 fixP->fx_r_type = BFD_RELOC_PPC_TOC16;
6446 #endif
6447 }
6448
6449 /* Calculate value to be stored in field. */
6450 fieldval = value;
6451 switch (fixP->fx_r_type)
6452 {
6453 #ifdef OBJ_ELF
6454 case BFD_RELOC_PPC64_ADDR16_LO_DS:
6455 case BFD_RELOC_PPC_VLE_LO16A:
6456 case BFD_RELOC_PPC_VLE_LO16D:
6457 #endif
6458 case BFD_RELOC_LO16:
6459 case BFD_RELOC_LO16_PCREL:
6460 fieldval = value & 0xffff;
6461 sign_extend_16:
6462 if (operand != NULL && (operand->flags & PPC_OPERAND_SIGNED) != 0)
6463 fieldval = SEX16 (fieldval);
6464 fixP->fx_no_overflow = 1;
6465 break;
6466
6467 case BFD_RELOC_HI16:
6468 case BFD_RELOC_HI16_PCREL:
6469 #ifdef OBJ_ELF
6470 if (REPORT_OVERFLOW_HI && ppc_obj64)
6471 {
6472 fieldval = value >> 16;
6473 if (operand != NULL && (operand->flags & PPC_OPERAND_SIGNED) != 0)
6474 {
6475 valueT sign = (((valueT) -1 >> 16) + 1) >> 1;
6476 fieldval = ((valueT) fieldval ^ sign) - sign;
6477 }
6478 break;
6479 }
6480 /* Fall thru */
6481
6482 case BFD_RELOC_PPC_VLE_HI16A:
6483 case BFD_RELOC_PPC_VLE_HI16D:
6484 case BFD_RELOC_PPC64_ADDR16_HIGH:
6485 #endif
6486 fieldval = PPC_HI (value);
6487 goto sign_extend_16;
6488
6489 case BFD_RELOC_HI16_S:
6490 case BFD_RELOC_HI16_S_PCREL:
6491 #ifdef OBJ_ELF
6492 if (REPORT_OVERFLOW_HI && ppc_obj64)
6493 {
6494 fieldval = (value + 0x8000) >> 16;
6495 if (operand != NULL && (operand->flags & PPC_OPERAND_SIGNED) != 0)
6496 {
6497 valueT sign = (((valueT) -1 >> 16) + 1) >> 1;
6498 fieldval = ((valueT) fieldval ^ sign) - sign;
6499 }
6500 break;
6501 }
6502 /* Fall thru */
6503
6504 case BFD_RELOC_PPC_VLE_HA16A:
6505 case BFD_RELOC_PPC_VLE_HA16D:
6506 case BFD_RELOC_PPC64_ADDR16_HIGHA:
6507 #endif
6508 fieldval = PPC_HA (value);
6509 goto sign_extend_16;
6510
6511 #ifdef OBJ_ELF
6512 case BFD_RELOC_PPC64_HIGHER:
6513 fieldval = PPC_HIGHER (value);
6514 goto sign_extend_16;
6515
6516 case BFD_RELOC_PPC64_HIGHER_S:
6517 fieldval = PPC_HIGHERA (value);
6518 goto sign_extend_16;
6519
6520 case BFD_RELOC_PPC64_HIGHEST:
6521 fieldval = PPC_HIGHEST (value);
6522 goto sign_extend_16;
6523
6524 case BFD_RELOC_PPC64_HIGHEST_S:
6525 fieldval = PPC_HIGHESTA (value);
6526 goto sign_extend_16;
6527 #endif
6528
6529 default:
6530 break;
6531 }
6532
6533 if (operand != NULL)
6534 {
6535 /* Handle relocs in an insn. */
6536 char *where;
6537 unsigned long insn;
6538
6539 switch (fixP->fx_r_type)
6540 {
6541 #ifdef OBJ_ELF
6542 /* The following relocs can't be calculated by the assembler.
6543 Leave the field zero. */
6544 case BFD_RELOC_PPC_TPREL16:
6545 case BFD_RELOC_PPC_TPREL16_LO:
6546 case BFD_RELOC_PPC_TPREL16_HI:
6547 case BFD_RELOC_PPC_TPREL16_HA:
6548 case BFD_RELOC_PPC_DTPREL16:
6549 case BFD_RELOC_PPC_DTPREL16_LO:
6550 case BFD_RELOC_PPC_DTPREL16_HI:
6551 case BFD_RELOC_PPC_DTPREL16_HA:
6552 case BFD_RELOC_PPC_GOT_TLSGD16:
6553 case BFD_RELOC_PPC_GOT_TLSGD16_LO:
6554 case BFD_RELOC_PPC_GOT_TLSGD16_HI:
6555 case BFD_RELOC_PPC_GOT_TLSGD16_HA:
6556 case BFD_RELOC_PPC_GOT_TLSLD16:
6557 case BFD_RELOC_PPC_GOT_TLSLD16_LO:
6558 case BFD_RELOC_PPC_GOT_TLSLD16_HI:
6559 case BFD_RELOC_PPC_GOT_TLSLD16_HA:
6560 case BFD_RELOC_PPC_GOT_TPREL16:
6561 case BFD_RELOC_PPC_GOT_TPREL16_LO:
6562 case BFD_RELOC_PPC_GOT_TPREL16_HI:
6563 case BFD_RELOC_PPC_GOT_TPREL16_HA:
6564 case BFD_RELOC_PPC_GOT_DTPREL16:
6565 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
6566 case BFD_RELOC_PPC_GOT_DTPREL16_HI:
6567 case BFD_RELOC_PPC_GOT_DTPREL16_HA:
6568 case BFD_RELOC_PPC64_TPREL16_DS:
6569 case BFD_RELOC_PPC64_TPREL16_LO_DS:
6570 case BFD_RELOC_PPC64_TPREL16_HIGH:
6571 case BFD_RELOC_PPC64_TPREL16_HIGHA:
6572 case BFD_RELOC_PPC64_TPREL16_HIGHER:
6573 case BFD_RELOC_PPC64_TPREL16_HIGHERA:
6574 case BFD_RELOC_PPC64_TPREL16_HIGHEST:
6575 case BFD_RELOC_PPC64_TPREL16_HIGHESTA:
6576 case BFD_RELOC_PPC64_DTPREL16_HIGH:
6577 case BFD_RELOC_PPC64_DTPREL16_HIGHA:
6578 case BFD_RELOC_PPC64_DTPREL16_DS:
6579 case BFD_RELOC_PPC64_DTPREL16_LO_DS:
6580 case BFD_RELOC_PPC64_DTPREL16_HIGHER:
6581 case BFD_RELOC_PPC64_DTPREL16_HIGHERA:
6582 case BFD_RELOC_PPC64_DTPREL16_HIGHEST:
6583 case BFD_RELOC_PPC64_DTPREL16_HIGHESTA:
6584 gas_assert (fixP->fx_addsy != NULL);
6585 S_SET_THREAD_LOCAL (fixP->fx_addsy);
6586 fieldval = 0;
6587 break;
6588
6589 /* These also should leave the field zero for the same
6590 reason. Note that older versions of gas wrote values
6591 here. If we want to go back to the old behaviour, then
6592 all _LO and _LO_DS cases will need to be treated like
6593 BFD_RELOC_LO16_PCREL above. Similarly for _HI etc. */
6594 case BFD_RELOC_16_GOTOFF:
6595 case BFD_RELOC_LO16_GOTOFF:
6596 case BFD_RELOC_HI16_GOTOFF:
6597 case BFD_RELOC_HI16_S_GOTOFF:
6598 case BFD_RELOC_LO16_PLTOFF:
6599 case BFD_RELOC_HI16_PLTOFF:
6600 case BFD_RELOC_HI16_S_PLTOFF:
6601 case BFD_RELOC_GPREL16:
6602 case BFD_RELOC_16_BASEREL:
6603 case BFD_RELOC_LO16_BASEREL:
6604 case BFD_RELOC_HI16_BASEREL:
6605 case BFD_RELOC_HI16_S_BASEREL:
6606 case BFD_RELOC_PPC_TOC16:
6607 case BFD_RELOC_PPC64_TOC16_LO:
6608 case BFD_RELOC_PPC64_TOC16_HI:
6609 case BFD_RELOC_PPC64_TOC16_HA:
6610 case BFD_RELOC_PPC64_PLTGOT16:
6611 case BFD_RELOC_PPC64_PLTGOT16_LO:
6612 case BFD_RELOC_PPC64_PLTGOT16_HI:
6613 case BFD_RELOC_PPC64_PLTGOT16_HA:
6614 case BFD_RELOC_PPC64_GOT16_DS:
6615 case BFD_RELOC_PPC64_GOT16_LO_DS:
6616 case BFD_RELOC_PPC64_PLT16_LO_DS:
6617 case BFD_RELOC_PPC64_SECTOFF_DS:
6618 case BFD_RELOC_PPC64_SECTOFF_LO_DS:
6619 case BFD_RELOC_PPC64_TOC16_DS:
6620 case BFD_RELOC_PPC64_TOC16_LO_DS:
6621 case BFD_RELOC_PPC64_PLTGOT16_DS:
6622 case BFD_RELOC_PPC64_PLTGOT16_LO_DS:
6623 case BFD_RELOC_PPC_EMB_NADDR16:
6624 case BFD_RELOC_PPC_EMB_NADDR16_LO:
6625 case BFD_RELOC_PPC_EMB_NADDR16_HI:
6626 case BFD_RELOC_PPC_EMB_NADDR16_HA:
6627 case BFD_RELOC_PPC_EMB_SDAI16:
6628 case BFD_RELOC_PPC_EMB_SDA2I16:
6629 case BFD_RELOC_PPC_EMB_SDA2REL:
6630 case BFD_RELOC_PPC_EMB_SDA21:
6631 case BFD_RELOC_PPC_EMB_MRKREF:
6632 case BFD_RELOC_PPC_EMB_RELSEC16:
6633 case BFD_RELOC_PPC_EMB_RELST_LO:
6634 case BFD_RELOC_PPC_EMB_RELST_HI:
6635 case BFD_RELOC_PPC_EMB_RELST_HA:
6636 case BFD_RELOC_PPC_EMB_BIT_FLD:
6637 case BFD_RELOC_PPC_EMB_RELSDA:
6638 case BFD_RELOC_PPC_VLE_SDA21:
6639 case BFD_RELOC_PPC_VLE_SDA21_LO:
6640 case BFD_RELOC_PPC_VLE_SDAREL_LO16A:
6641 case BFD_RELOC_PPC_VLE_SDAREL_LO16D:
6642 case BFD_RELOC_PPC_VLE_SDAREL_HI16A:
6643 case BFD_RELOC_PPC_VLE_SDAREL_HI16D:
6644 case BFD_RELOC_PPC_VLE_SDAREL_HA16A:
6645 case BFD_RELOC_PPC_VLE_SDAREL_HA16D:
6646 gas_assert (fixP->fx_addsy != NULL);
6647 /* Fall thru */
6648
6649 case BFD_RELOC_PPC_TLS:
6650 case BFD_RELOC_PPC_TLSGD:
6651 case BFD_RELOC_PPC_TLSLD:
6652 fieldval = 0;
6653 break;
6654 #endif
6655
6656 #ifdef OBJ_XCOFF
6657 case BFD_RELOC_PPC_B16:
6658 /* Adjust the offset to the instruction boundary. */
6659 fieldval += 2;
6660 break;
6661 #endif
6662
6663 default:
6664 break;
6665 }
6666
6667 #ifdef OBJ_ELF
6668 /* powerpc uses RELA style relocs, so if emitting a reloc the field
6669 contents can stay at zero. */
6670 #define APPLY_RELOC fixP->fx_done
6671 #else
6672 #define APPLY_RELOC 1
6673 #endif
6674 if ((fieldval != 0 && APPLY_RELOC) || operand->insert != NULL)
6675 {
6676 /* Fetch the instruction, insert the fully resolved operand
6677 value, and stuff the instruction back again. */
6678 where = fixP->fx_frag->fr_literal + fixP->fx_where;
6679 if (target_big_endian)
6680 {
6681 if (fixP->fx_size == 4)
6682 insn = bfd_getb32 ((unsigned char *) where);
6683 else
6684 insn = bfd_getb16 ((unsigned char *) where);
6685 }
6686 else
6687 {
6688 if (fixP->fx_size == 4)
6689 insn = bfd_getl32 ((unsigned char *) where);
6690 else
6691 insn = bfd_getl16 ((unsigned char *) where);
6692 }
6693 insn = ppc_insert_operand (insn, operand, fieldval,
6694 fixP->tc_fix_data.ppc_cpu,
6695 fixP->fx_file, fixP->fx_line);
6696 if (target_big_endian)
6697 {
6698 if (fixP->fx_size == 4)
6699 bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
6700 else
6701 bfd_putb16 ((bfd_vma) insn, (unsigned char *) where);
6702 }
6703 else
6704 {
6705 if (fixP->fx_size == 4)
6706 bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
6707 else
6708 bfd_putl16 ((bfd_vma) insn, (unsigned char *) where);
6709 }
6710 }
6711
6712 if (fixP->fx_done)
6713 /* Nothing else to do here. */
6714 return;
6715
6716 gas_assert (fixP->fx_addsy != NULL);
6717 if (fixP->fx_r_type == BFD_RELOC_UNUSED)
6718 {
6719 char *sfile;
6720 unsigned int sline;
6721
6722 /* Use expr_symbol_where to see if this is an expression
6723 symbol. */
6724 if (expr_symbol_where (fixP->fx_addsy, &sfile, &sline))
6725 as_bad_where (fixP->fx_file, fixP->fx_line,
6726 _("unresolved expression that must be resolved"));
6727 else
6728 as_bad_where (fixP->fx_file, fixP->fx_line,
6729 _("unsupported relocation against %s"),
6730 S_GET_NAME (fixP->fx_addsy));
6731 fixP->fx_done = 1;
6732 return;
6733 }
6734 }
6735 else
6736 {
6737 /* Handle relocs in data. */
6738 switch (fixP->fx_r_type)
6739 {
6740 case BFD_RELOC_VTABLE_INHERIT:
6741 if (fixP->fx_addsy
6742 && !S_IS_DEFINED (fixP->fx_addsy)
6743 && !S_IS_WEAK (fixP->fx_addsy))
6744 S_SET_WEAK (fixP->fx_addsy);
6745 /* Fall thru */
6746
6747 case BFD_RELOC_VTABLE_ENTRY:
6748 fixP->fx_done = 0;
6749 break;
6750
6751 #ifdef OBJ_ELF
6752 /* These can appear with @l etc. in data. */
6753 case BFD_RELOC_LO16:
6754 case BFD_RELOC_LO16_PCREL:
6755 case BFD_RELOC_HI16:
6756 case BFD_RELOC_HI16_PCREL:
6757 case BFD_RELOC_HI16_S:
6758 case BFD_RELOC_HI16_S_PCREL:
6759 case BFD_RELOC_PPC64_HIGHER:
6760 case BFD_RELOC_PPC64_HIGHER_S:
6761 case BFD_RELOC_PPC64_HIGHEST:
6762 case BFD_RELOC_PPC64_HIGHEST_S:
6763 case BFD_RELOC_PPC64_ADDR16_HIGH:
6764 case BFD_RELOC_PPC64_ADDR16_HIGHA:
6765 break;
6766
6767 case BFD_RELOC_PPC_DTPMOD:
6768 case BFD_RELOC_PPC_TPREL:
6769 case BFD_RELOC_PPC_DTPREL:
6770 S_SET_THREAD_LOCAL (fixP->fx_addsy);
6771 break;
6772
6773 /* Just punt all of these to the linker. */
6774 case BFD_RELOC_PPC_B16_BRTAKEN:
6775 case BFD_RELOC_PPC_B16_BRNTAKEN:
6776 case BFD_RELOC_16_GOTOFF:
6777 case BFD_RELOC_LO16_GOTOFF:
6778 case BFD_RELOC_HI16_GOTOFF:
6779 case BFD_RELOC_HI16_S_GOTOFF:
6780 case BFD_RELOC_LO16_PLTOFF:
6781 case BFD_RELOC_HI16_PLTOFF:
6782 case BFD_RELOC_HI16_S_PLTOFF:
6783 case BFD_RELOC_PPC_COPY:
6784 case BFD_RELOC_PPC_GLOB_DAT:
6785 case BFD_RELOC_16_BASEREL:
6786 case BFD_RELOC_LO16_BASEREL:
6787 case BFD_RELOC_HI16_BASEREL:
6788 case BFD_RELOC_HI16_S_BASEREL:
6789 case BFD_RELOC_PPC_TLS:
6790 case BFD_RELOC_PPC_DTPREL16_LO:
6791 case BFD_RELOC_PPC_DTPREL16_HI:
6792 case BFD_RELOC_PPC_DTPREL16_HA:
6793 case BFD_RELOC_PPC_TPREL16_LO:
6794 case BFD_RELOC_PPC_TPREL16_HI:
6795 case BFD_RELOC_PPC_TPREL16_HA:
6796 case BFD_RELOC_PPC_GOT_TLSGD16:
6797 case BFD_RELOC_PPC_GOT_TLSGD16_LO:
6798 case BFD_RELOC_PPC_GOT_TLSGD16_HI:
6799 case BFD_RELOC_PPC_GOT_TLSGD16_HA:
6800 case BFD_RELOC_PPC_GOT_TLSLD16:
6801 case BFD_RELOC_PPC_GOT_TLSLD16_LO:
6802 case BFD_RELOC_PPC_GOT_TLSLD16_HI:
6803 case BFD_RELOC_PPC_GOT_TLSLD16_HA:
6804 case BFD_RELOC_PPC_GOT_DTPREL16:
6805 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
6806 case BFD_RELOC_PPC_GOT_DTPREL16_HI:
6807 case BFD_RELOC_PPC_GOT_DTPREL16_HA:
6808 case BFD_RELOC_PPC_GOT_TPREL16:
6809 case BFD_RELOC_PPC_GOT_TPREL16_LO:
6810 case BFD_RELOC_PPC_GOT_TPREL16_HI:
6811 case BFD_RELOC_PPC_GOT_TPREL16_HA:
6812 case BFD_RELOC_24_PLT_PCREL:
6813 case BFD_RELOC_PPC_LOCAL24PC:
6814 case BFD_RELOC_32_PLT_PCREL:
6815 case BFD_RELOC_GPREL16:
6816 case BFD_RELOC_PPC_VLE_SDAREL_LO16A:
6817 case BFD_RELOC_PPC_VLE_SDAREL_HI16A:
6818 case BFD_RELOC_PPC_VLE_SDAREL_HA16A:
6819 case BFD_RELOC_PPC_EMB_NADDR32:
6820 case BFD_RELOC_PPC_EMB_NADDR16:
6821 case BFD_RELOC_PPC_EMB_NADDR16_LO:
6822 case BFD_RELOC_PPC_EMB_NADDR16_HI:
6823 case BFD_RELOC_PPC_EMB_NADDR16_HA:
6824 case BFD_RELOC_PPC_EMB_SDAI16:
6825 case BFD_RELOC_PPC_EMB_SDA2REL:
6826 case BFD_RELOC_PPC_EMB_SDA2I16:
6827 case BFD_RELOC_PPC_EMB_SDA21:
6828 case BFD_RELOC_PPC_VLE_SDA21_LO:
6829 case BFD_RELOC_PPC_EMB_MRKREF:
6830 case BFD_RELOC_PPC_EMB_RELSEC16:
6831 case BFD_RELOC_PPC_EMB_RELST_LO:
6832 case BFD_RELOC_PPC_EMB_RELST_HI:
6833 case BFD_RELOC_PPC_EMB_RELST_HA:
6834 case BFD_RELOC_PPC_EMB_BIT_FLD:
6835 case BFD_RELOC_PPC_EMB_RELSDA:
6836 case BFD_RELOC_PPC64_TOC:
6837 case BFD_RELOC_PPC_TOC16:
6838 case BFD_RELOC_PPC64_TOC16_LO:
6839 case BFD_RELOC_PPC64_TOC16_HI:
6840 case BFD_RELOC_PPC64_TOC16_HA:
6841 case BFD_RELOC_PPC64_DTPREL16_HIGH:
6842 case BFD_RELOC_PPC64_DTPREL16_HIGHA:
6843 case BFD_RELOC_PPC64_DTPREL16_HIGHER:
6844 case BFD_RELOC_PPC64_DTPREL16_HIGHERA:
6845 case BFD_RELOC_PPC64_DTPREL16_HIGHEST:
6846 case BFD_RELOC_PPC64_DTPREL16_HIGHESTA:
6847 case BFD_RELOC_PPC64_TPREL16_HIGH:
6848 case BFD_RELOC_PPC64_TPREL16_HIGHA:
6849 case BFD_RELOC_PPC64_TPREL16_HIGHER:
6850 case BFD_RELOC_PPC64_TPREL16_HIGHERA:
6851 case BFD_RELOC_PPC64_TPREL16_HIGHEST:
6852 case BFD_RELOC_PPC64_TPREL16_HIGHESTA:
6853 fixP->fx_done = 0;
6854 break;
6855 #endif
6856
6857 #ifdef OBJ_XCOFF
6858 case BFD_RELOC_NONE:
6859 #endif
6860 case BFD_RELOC_CTOR:
6861 case BFD_RELOC_32:
6862 case BFD_RELOC_32_PCREL:
6863 case BFD_RELOC_RVA:
6864 case BFD_RELOC_64:
6865 case BFD_RELOC_64_PCREL:
6866 case BFD_RELOC_16:
6867 case BFD_RELOC_16_PCREL:
6868 case BFD_RELOC_8:
6869 break;
6870
6871 default:
6872 fprintf (stderr,
6873 _("Gas failure, reloc value %d\n"), fixP->fx_r_type);
6874 fflush (stderr);
6875 abort ();
6876 }
6877
6878 if (fixP->fx_size && APPLY_RELOC)
6879 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
6880 fieldval, fixP->fx_size);
6881 }
6882
6883 /* We are only able to convert some relocs to pc-relative. */
6884 if (!fixP->fx_done && fixP->fx_pcrel)
6885 {
6886 switch (fixP->fx_r_type)
6887 {
6888 case BFD_RELOC_LO16:
6889 fixP->fx_r_type = BFD_RELOC_LO16_PCREL;
6890 break;
6891
6892 case BFD_RELOC_HI16:
6893 fixP->fx_r_type = BFD_RELOC_HI16_PCREL;
6894 break;
6895
6896 case BFD_RELOC_HI16_S:
6897 fixP->fx_r_type = BFD_RELOC_HI16_S_PCREL;
6898 break;
6899
6900 case BFD_RELOC_64:
6901 fixP->fx_r_type = BFD_RELOC_64_PCREL;
6902 break;
6903
6904 case BFD_RELOC_32:
6905 fixP->fx_r_type = BFD_RELOC_32_PCREL;
6906 break;
6907
6908 case BFD_RELOC_16:
6909 fixP->fx_r_type = BFD_RELOC_16_PCREL;
6910 break;
6911
6912 /* Some of course are already pc-relative. */
6913 case BFD_RELOC_LO16_PCREL:
6914 case BFD_RELOC_HI16_PCREL:
6915 case BFD_RELOC_HI16_S_PCREL:
6916 case BFD_RELOC_64_PCREL:
6917 case BFD_RELOC_32_PCREL:
6918 case BFD_RELOC_16_PCREL:
6919 case BFD_RELOC_PPC_B16:
6920 case BFD_RELOC_PPC_B16_BRTAKEN:
6921 case BFD_RELOC_PPC_B16_BRNTAKEN:
6922 case BFD_RELOC_PPC_B26:
6923 case BFD_RELOC_PPC_LOCAL24PC:
6924 case BFD_RELOC_24_PLT_PCREL:
6925 case BFD_RELOC_32_PLT_PCREL:
6926 case BFD_RELOC_64_PLT_PCREL:
6927 case BFD_RELOC_PPC_VLE_REL8:
6928 case BFD_RELOC_PPC_VLE_REL15:
6929 case BFD_RELOC_PPC_VLE_REL24:
6930 break;
6931
6932 default:
6933 if (fixP->fx_addsy)
6934 {
6935 char *sfile;
6936 unsigned int sline;
6937
6938 /* Use expr_symbol_where to see if this is an
6939 expression symbol. */
6940 if (expr_symbol_where (fixP->fx_addsy, &sfile, &sline))
6941 as_bad_where (fixP->fx_file, fixP->fx_line,
6942 _("unresolved expression that must"
6943 " be resolved"));
6944 else
6945 as_bad_where (fixP->fx_file, fixP->fx_line,
6946 _("cannot emit PC relative %s relocation"
6947 " against %s"),
6948 bfd_get_reloc_code_name (fixP->fx_r_type),
6949 S_GET_NAME (fixP->fx_addsy));
6950 }
6951 else
6952 as_bad_where (fixP->fx_file, fixP->fx_line,
6953 _("unable to resolve expression"));
6954 fixP->fx_done = 1;
6955 break;
6956 }
6957 }
6958
6959 #ifdef OBJ_ELF
6960 ppc_elf_validate_fix (fixP, seg);
6961 fixP->fx_addnumber = value;
6962
6963 /* PowerPC uses RELA relocs, ie. the reloc addend is stored separately
6964 from the section contents. If we are going to be emitting a reloc
6965 then the section contents are immaterial, so don't warn if they
6966 happen to overflow. Leave such warnings to ld. */
6967 if (!fixP->fx_done)
6968 {
6969 fixP->fx_no_overflow = 1;
6970
6971 /* Arrange to emit .TOC. as a normal symbol if used in anything
6972 but .TOC.@tocbase. */
6973 if (ppc_obj64
6974 && fixP->fx_r_type != BFD_RELOC_PPC64_TOC
6975 && fixP->fx_addsy != NULL
6976 && strcmp (S_GET_NAME (fixP->fx_addsy), ".TOC.") == 0)
6977 symbol_get_bfdsym (fixP->fx_addsy)->flags |= BSF_KEEP;
6978 }
6979 #else
6980 if (fixP->fx_r_type != BFD_RELOC_PPC_TOC16)
6981 fixP->fx_addnumber = 0;
6982 else
6983 {
6984 #ifdef TE_PE
6985 fixP->fx_addnumber = 0;
6986 #else
6987 /* We want to use the offset within the toc, not the actual VMA
6988 of the symbol. */
6989 fixP->fx_addnumber =
6990 - bfd_get_section_vma (stdoutput, S_GET_SEGMENT (fixP->fx_addsy))
6991 - S_GET_VALUE (ppc_toc_csect);
6992 /* Set *valP to avoid errors. */
6993 *valP = value;
6994 #endif
6995 }
6996 #endif
6997 }
6998
6999 /* Generate a reloc for a fixup. */
7000
7001 arelent *
7002 tc_gen_reloc (asection *seg ATTRIBUTE_UNUSED, fixS *fixp)
7003 {
7004 arelent *reloc;
7005
7006 reloc = (arelent *) xmalloc (sizeof (arelent));
7007
7008 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
7009 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
7010 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
7011 reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
7012 if (reloc->howto == (reloc_howto_type *) NULL)
7013 {
7014 as_bad_where (fixp->fx_file, fixp->fx_line,
7015 _("reloc %d not supported by object file format"),
7016 (int) fixp->fx_r_type);
7017 return NULL;
7018 }
7019 reloc->addend = fixp->fx_addnumber;
7020
7021 return reloc;
7022 }
7023
7024 void
7025 ppc_cfi_frame_initial_instructions (void)
7026 {
7027 cfi_add_CFA_def_cfa (1, 0);
7028 }
7029
7030 int
7031 tc_ppc_regname_to_dw2regnum (char *regname)
7032 {
7033 unsigned int regnum = -1;
7034 unsigned int i;
7035 const char *p;
7036 char *q;
7037 static struct { char *name; int dw2regnum; } regnames[] =
7038 {
7039 { "sp", 1 }, { "r.sp", 1 }, { "rtoc", 2 }, { "r.toc", 2 },
7040 { "mq", 64 }, { "lr", 65 }, { "ctr", 66 }, { "ap", 67 },
7041 { "cr", 70 }, { "xer", 76 }, { "vrsave", 109 }, { "vscr", 110 },
7042 { "spe_acc", 111 }, { "spefscr", 112 }
7043 };
7044
7045 for (i = 0; i < ARRAY_SIZE (regnames); ++i)
7046 if (strcmp (regnames[i].name, regname) == 0)
7047 return regnames[i].dw2regnum;
7048
7049 if (regname[0] == 'r' || regname[0] == 'f' || regname[0] == 'v')
7050 {
7051 p = regname + 1 + (regname[1] == '.');
7052 regnum = strtoul (p, &q, 10);
7053 if (p == q || *q || regnum >= 32)
7054 return -1;
7055 if (regname[0] == 'f')
7056 regnum += 32;
7057 else if (regname[0] == 'v')
7058 regnum += 77;
7059 }
7060 else if (regname[0] == 'c' && regname[1] == 'r')
7061 {
7062 p = regname + 2 + (regname[2] == '.');
7063 if (p[0] < '0' || p[0] > '7' || p[1])
7064 return -1;
7065 regnum = p[0] - '0' + 68;
7066 }
7067 return regnum;
7068 }
This page took 0.243503 seconds and 5 git commands to generate.