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