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