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