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