* elf32-ppc.c (LWZU_0_X_11): Delete.
[binutils.git] / gas / config / tc-ppc.c
blobd7eb9f690f0aff3d50cd330be67f626149ad2d85
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 Free Software Foundation, Inc.
4 Written by Ian Lance Taylor, Cygnus Support.
6 This file is part of GAS, the GNU Assembler.
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.
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.
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. */
23 #include <stdio.h>
24 #include "as.h"
25 #include "safe-ctype.h"
26 #include "subsegs.h"
27 #include "dw2gencfi.h"
28 #include "opcode/ppc.h"
30 #ifdef OBJ_ELF
31 #include "elf/ppc.h"
32 #include "dwarf2dbg.h"
33 #endif
35 #ifdef TE_PE
36 #include "coff/pe.h"
37 #endif
39 /* This is the assembler for the PowerPC or POWER (RS/6000) chips. */
41 /* Tell the main code what the endianness is. */
42 extern int target_big_endian;
44 /* Whether or not, we've set target_big_endian. */
45 static int set_target_endian = 0;
47 /* Whether to use user friendly register names. */
48 #ifndef TARGET_REG_NAMES_P
49 #ifdef TE_PE
50 #define TARGET_REG_NAMES_P TRUE
51 #else
52 #define TARGET_REG_NAMES_P FALSE
53 #endif
54 #endif
56 /* Macros for calculating LO, HI, HA, HIGHER, HIGHERA, HIGHEST,
57 HIGHESTA. */
59 /* #lo(value) denotes the least significant 16 bits of the indicated. */
60 #define PPC_LO(v) ((v) & 0xffff)
62 /* #hi(value) denotes bits 16 through 31 of the indicated value. */
63 #define PPC_HI(v) (((v) >> 16) & 0xffff)
65 /* #ha(value) denotes the high adjusted value: bits 16 through 31 of
66 the indicated value, compensating for #lo() being treated as a
67 signed number. */
68 #define PPC_HA(v) PPC_HI ((v) + 0x8000)
70 /* #higher(value) denotes bits 32 through 47 of the indicated value. */
71 #define PPC_HIGHER(v) (((v) >> 16 >> 16) & 0xffff)
73 /* #highera(value) denotes bits 32 through 47 of the indicated value,
74 compensating for #lo() being treated as a signed number. */
75 #define PPC_HIGHERA(v) PPC_HIGHER ((v) + 0x8000)
77 /* #highest(value) denotes bits 48 through 63 of the indicated value. */
78 #define PPC_HIGHEST(v) (((v) >> 24 >> 24) & 0xffff)
80 /* #highesta(value) denotes bits 48 through 63 of the indicated value,
81 compensating for #lo being treated as a signed number. */
82 #define PPC_HIGHESTA(v) PPC_HIGHEST ((v) + 0x8000)
84 #define SEX16(val) ((((val) & 0xffff) ^ 0x8000) - 0x8000)
86 static bfd_boolean reg_names_p = TARGET_REG_NAMES_P;
88 static bfd_boolean register_name PARAMS ((expressionS *));
89 static void ppc_set_cpu PARAMS ((void));
90 static unsigned long ppc_insert_operand
91 PARAMS ((unsigned long insn, const struct powerpc_operand *operand,
92 offsetT val, char *file, unsigned int line));
93 static void ppc_macro PARAMS ((char *str, const struct powerpc_macro *macro));
94 static void ppc_byte PARAMS ((int));
96 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
97 static int ppc_is_toc_sym PARAMS ((symbolS *sym));
98 static void ppc_tc PARAMS ((int));
99 static void ppc_machine PARAMS ((int));
100 #endif
102 #ifdef OBJ_XCOFF
103 static void ppc_comm PARAMS ((int));
104 static void ppc_bb PARAMS ((int));
105 static void ppc_bc PARAMS ((int));
106 static void ppc_bf PARAMS ((int));
107 static void ppc_biei PARAMS ((int));
108 static void ppc_bs PARAMS ((int));
109 static void ppc_eb PARAMS ((int));
110 static void ppc_ec PARAMS ((int));
111 static void ppc_ef PARAMS ((int));
112 static void ppc_es PARAMS ((int));
113 static void ppc_csect PARAMS ((int));
114 static void ppc_change_csect PARAMS ((symbolS *, offsetT));
115 static void ppc_function PARAMS ((int));
116 static void ppc_extern PARAMS ((int));
117 static void ppc_lglobl PARAMS ((int));
118 static void ppc_section PARAMS ((int));
119 static void ppc_named_section PARAMS ((int));
120 static void ppc_stabx PARAMS ((int));
121 static void ppc_rename PARAMS ((int));
122 static void ppc_toc PARAMS ((int));
123 static void ppc_xcoff_cons PARAMS ((int));
124 static void ppc_vbyte PARAMS ((int));
125 #endif
127 #ifdef OBJ_ELF
128 static bfd_reloc_code_real_type ppc_elf_suffix PARAMS ((char **, expressionS *));
129 static void ppc_elf_cons PARAMS ((int));
130 static void ppc_elf_rdata PARAMS ((int));
131 static void ppc_elf_lcomm PARAMS ((int));
132 static void ppc_elf_validate_fix PARAMS ((fixS *, segT));
133 static void ppc_apuinfo_section_add PARAMS ((unsigned int apu, unsigned int version));
134 #endif
136 #ifdef TE_PE
137 static void ppc_set_current_section PARAMS ((segT));
138 static void ppc_previous PARAMS ((int));
139 static void ppc_pdata PARAMS ((int));
140 static void ppc_ydata PARAMS ((int));
141 static void ppc_reldata PARAMS ((int));
142 static void ppc_rdata PARAMS ((int));
143 static void ppc_ualong PARAMS ((int));
144 static void ppc_znop PARAMS ((int));
145 static void ppc_pe_comm PARAMS ((int));
146 static void ppc_pe_section PARAMS ((int));
147 static void ppc_pe_function PARAMS ((int));
148 static void ppc_pe_tocd PARAMS ((int));
149 #endif
151 /* Generic assembler global variables which must be defined by all
152 targets. */
154 #ifdef OBJ_ELF
155 /* This string holds the chars that always start a comment. If the
156 pre-processor is disabled, these aren't very useful. The macro
157 tc_comment_chars points to this. We use this, rather than the
158 usual comment_chars, so that we can switch for Solaris conventions. */
159 static const char ppc_solaris_comment_chars[] = "#!";
160 static const char ppc_eabi_comment_chars[] = "#";
162 #ifdef TARGET_SOLARIS_COMMENT
163 const char *ppc_comment_chars = ppc_solaris_comment_chars;
164 #else
165 const char *ppc_comment_chars = ppc_eabi_comment_chars;
166 #endif
167 #else
168 const char comment_chars[] = "#";
169 #endif
171 /* Characters which start a comment at the beginning of a line. */
172 const char line_comment_chars[] = "#";
174 /* Characters which may be used to separate multiple commands on a
175 single line. */
176 const char line_separator_chars[] = ";";
178 /* Characters which are used to indicate an exponent in a floating
179 point number. */
180 const char EXP_CHARS[] = "eE";
182 /* Characters which mean that a number is a floating point constant,
183 as in 0d1.0. */
184 const char FLT_CHARS[] = "dD";
186 /* '+' and '-' can be used as postfix predicate predictors for conditional
187 branches. So they need to be accepted as symbol characters. */
188 const char ppc_symbol_chars[] = "+-";
190 /* The dwarf2 data alignment, adjusted for 32 or 64 bit. */
191 int ppc_cie_data_alignment;
193 /* The target specific pseudo-ops which we support. */
195 const pseudo_typeS md_pseudo_table[] =
197 /* Pseudo-ops which must be overridden. */
198 { "byte", ppc_byte, 0 },
200 #ifdef OBJ_XCOFF
201 /* Pseudo-ops specific to the RS/6000 XCOFF format. Some of these
202 legitimately belong in the obj-*.c file. However, XCOFF is based
203 on COFF, and is only implemented for the RS/6000. We just use
204 obj-coff.c, and add what we need here. */
205 { "comm", ppc_comm, 0 },
206 { "lcomm", ppc_comm, 1 },
207 { "bb", ppc_bb, 0 },
208 { "bc", ppc_bc, 0 },
209 { "bf", ppc_bf, 0 },
210 { "bi", ppc_biei, 0 },
211 { "bs", ppc_bs, 0 },
212 { "csect", ppc_csect, 0 },
213 { "data", ppc_section, 'd' },
214 { "eb", ppc_eb, 0 },
215 { "ec", ppc_ec, 0 },
216 { "ef", ppc_ef, 0 },
217 { "ei", ppc_biei, 1 },
218 { "es", ppc_es, 0 },
219 { "extern", ppc_extern, 0 },
220 { "function", ppc_function, 0 },
221 { "lglobl", ppc_lglobl, 0 },
222 { "rename", ppc_rename, 0 },
223 { "section", ppc_named_section, 0 },
224 { "stabx", ppc_stabx, 0 },
225 { "text", ppc_section, 't' },
226 { "toc", ppc_toc, 0 },
227 { "long", ppc_xcoff_cons, 2 },
228 { "llong", ppc_xcoff_cons, 3 },
229 { "word", ppc_xcoff_cons, 1 },
230 { "short", ppc_xcoff_cons, 1 },
231 { "vbyte", ppc_vbyte, 0 },
232 #endif
234 #ifdef OBJ_ELF
235 { "llong", ppc_elf_cons, 8 },
236 { "quad", ppc_elf_cons, 8 },
237 { "long", ppc_elf_cons, 4 },
238 { "word", ppc_elf_cons, 2 },
239 { "short", ppc_elf_cons, 2 },
240 { "rdata", ppc_elf_rdata, 0 },
241 { "rodata", ppc_elf_rdata, 0 },
242 { "lcomm", ppc_elf_lcomm, 0 },
243 #endif
245 #ifdef TE_PE
246 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
247 { "previous", ppc_previous, 0 },
248 { "pdata", ppc_pdata, 0 },
249 { "ydata", ppc_ydata, 0 },
250 { "reldata", ppc_reldata, 0 },
251 { "rdata", ppc_rdata, 0 },
252 { "ualong", ppc_ualong, 0 },
253 { "znop", ppc_znop, 0 },
254 { "comm", ppc_pe_comm, 0 },
255 { "lcomm", ppc_pe_comm, 1 },
256 { "section", ppc_pe_section, 0 },
257 { "function", ppc_pe_function,0 },
258 { "tocd", ppc_pe_tocd, 0 },
259 #endif
261 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
262 { "tc", ppc_tc, 0 },
263 { "machine", ppc_machine, 0 },
264 #endif
266 { NULL, NULL, 0 }
270 /* Predefined register names if -mregnames (or default for Windows NT).
271 In general, there are lots of them, in an attempt to be compatible
272 with a number of other Windows NT assemblers. */
274 /* Structure to hold information about predefined registers. */
275 struct pd_reg
277 char *name;
278 int value;
281 /* List of registers that are pre-defined:
283 Each general register has predefined names of the form:
284 1. r<reg_num> which has the value <reg_num>.
285 2. r.<reg_num> which has the value <reg_num>.
287 Each floating point register has predefined names of the form:
288 1. f<reg_num> which has the value <reg_num>.
289 2. f.<reg_num> which has the value <reg_num>.
291 Each vector unit register has predefined names of the form:
292 1. v<reg_num> which has the value <reg_num>.
293 2. v.<reg_num> which has the value <reg_num>.
295 Each condition register has predefined names of the form:
296 1. cr<reg_num> which has the value <reg_num>.
297 2. cr.<reg_num> which has the value <reg_num>.
299 There are individual registers as well:
300 sp or r.sp has the value 1
301 rtoc or r.toc has the value 2
302 fpscr has the value 0
303 xer has the value 1
304 lr has the value 8
305 ctr has the value 9
306 pmr has the value 0
307 dar has the value 19
308 dsisr has the value 18
309 dec has the value 22
310 sdr1 has the value 25
311 srr0 has the value 26
312 srr1 has the value 27
314 The table is sorted. Suitable for searching by a binary search. */
316 static const struct pd_reg pre_defined_registers[] =
318 { "cr.0", 0 }, /* Condition Registers */
319 { "cr.1", 1 },
320 { "cr.2", 2 },
321 { "cr.3", 3 },
322 { "cr.4", 4 },
323 { "cr.5", 5 },
324 { "cr.6", 6 },
325 { "cr.7", 7 },
327 { "cr0", 0 },
328 { "cr1", 1 },
329 { "cr2", 2 },
330 { "cr3", 3 },
331 { "cr4", 4 },
332 { "cr5", 5 },
333 { "cr6", 6 },
334 { "cr7", 7 },
336 { "ctr", 9 },
338 { "dar", 19 }, /* Data Access Register */
339 { "dec", 22 }, /* Decrementer */
340 { "dsisr", 18 }, /* Data Storage Interrupt Status Register */
342 { "f.0", 0 }, /* Floating point registers */
343 { "f.1", 1 },
344 { "f.10", 10 },
345 { "f.11", 11 },
346 { "f.12", 12 },
347 { "f.13", 13 },
348 { "f.14", 14 },
349 { "f.15", 15 },
350 { "f.16", 16 },
351 { "f.17", 17 },
352 { "f.18", 18 },
353 { "f.19", 19 },
354 { "f.2", 2 },
355 { "f.20", 20 },
356 { "f.21", 21 },
357 { "f.22", 22 },
358 { "f.23", 23 },
359 { "f.24", 24 },
360 { "f.25", 25 },
361 { "f.26", 26 },
362 { "f.27", 27 },
363 { "f.28", 28 },
364 { "f.29", 29 },
365 { "f.3", 3 },
366 { "f.30", 30 },
367 { "f.31", 31 },
368 { "f.4", 4 },
369 { "f.5", 5 },
370 { "f.6", 6 },
371 { "f.7", 7 },
372 { "f.8", 8 },
373 { "f.9", 9 },
375 { "f0", 0 },
376 { "f1", 1 },
377 { "f10", 10 },
378 { "f11", 11 },
379 { "f12", 12 },
380 { "f13", 13 },
381 { "f14", 14 },
382 { "f15", 15 },
383 { "f16", 16 },
384 { "f17", 17 },
385 { "f18", 18 },
386 { "f19", 19 },
387 { "f2", 2 },
388 { "f20", 20 },
389 { "f21", 21 },
390 { "f22", 22 },
391 { "f23", 23 },
392 { "f24", 24 },
393 { "f25", 25 },
394 { "f26", 26 },
395 { "f27", 27 },
396 { "f28", 28 },
397 { "f29", 29 },
398 { "f3", 3 },
399 { "f30", 30 },
400 { "f31", 31 },
401 { "f4", 4 },
402 { "f5", 5 },
403 { "f6", 6 },
404 { "f7", 7 },
405 { "f8", 8 },
406 { "f9", 9 },
408 { "fpscr", 0 },
410 { "lr", 8 }, /* Link Register */
412 { "pmr", 0 },
414 { "r.0", 0 }, /* General Purpose Registers */
415 { "r.1", 1 },
416 { "r.10", 10 },
417 { "r.11", 11 },
418 { "r.12", 12 },
419 { "r.13", 13 },
420 { "r.14", 14 },
421 { "r.15", 15 },
422 { "r.16", 16 },
423 { "r.17", 17 },
424 { "r.18", 18 },
425 { "r.19", 19 },
426 { "r.2", 2 },
427 { "r.20", 20 },
428 { "r.21", 21 },
429 { "r.22", 22 },
430 { "r.23", 23 },
431 { "r.24", 24 },
432 { "r.25", 25 },
433 { "r.26", 26 },
434 { "r.27", 27 },
435 { "r.28", 28 },
436 { "r.29", 29 },
437 { "r.3", 3 },
438 { "r.30", 30 },
439 { "r.31", 31 },
440 { "r.4", 4 },
441 { "r.5", 5 },
442 { "r.6", 6 },
443 { "r.7", 7 },
444 { "r.8", 8 },
445 { "r.9", 9 },
447 { "r.sp", 1 }, /* Stack Pointer */
449 { "r.toc", 2 }, /* Pointer to the table of contents */
451 { "r0", 0 }, /* More general purpose registers */
452 { "r1", 1 },
453 { "r10", 10 },
454 { "r11", 11 },
455 { "r12", 12 },
456 { "r13", 13 },
457 { "r14", 14 },
458 { "r15", 15 },
459 { "r16", 16 },
460 { "r17", 17 },
461 { "r18", 18 },
462 { "r19", 19 },
463 { "r2", 2 },
464 { "r20", 20 },
465 { "r21", 21 },
466 { "r22", 22 },
467 { "r23", 23 },
468 { "r24", 24 },
469 { "r25", 25 },
470 { "r26", 26 },
471 { "r27", 27 },
472 { "r28", 28 },
473 { "r29", 29 },
474 { "r3", 3 },
475 { "r30", 30 },
476 { "r31", 31 },
477 { "r4", 4 },
478 { "r5", 5 },
479 { "r6", 6 },
480 { "r7", 7 },
481 { "r8", 8 },
482 { "r9", 9 },
484 { "rtoc", 2 }, /* Table of contents */
486 { "sdr1", 25 }, /* Storage Description Register 1 */
488 { "sp", 1 },
490 { "srr0", 26 }, /* Machine Status Save/Restore Register 0 */
491 { "srr1", 27 }, /* Machine Status Save/Restore Register 1 */
493 { "v.0", 0 }, /* Vector registers */
494 { "v.1", 1 },
495 { "v.10", 10 },
496 { "v.11", 11 },
497 { "v.12", 12 },
498 { "v.13", 13 },
499 { "v.14", 14 },
500 { "v.15", 15 },
501 { "v.16", 16 },
502 { "v.17", 17 },
503 { "v.18", 18 },
504 { "v.19", 19 },
505 { "v.2", 2 },
506 { "v.20", 20 },
507 { "v.21", 21 },
508 { "v.22", 22 },
509 { "v.23", 23 },
510 { "v.24", 24 },
511 { "v.25", 25 },
512 { "v.26", 26 },
513 { "v.27", 27 },
514 { "v.28", 28 },
515 { "v.29", 29 },
516 { "v.3", 3 },
517 { "v.30", 30 },
518 { "v.31", 31 },
519 { "v.4", 4 },
520 { "v.5", 5 },
521 { "v.6", 6 },
522 { "v.7", 7 },
523 { "v.8", 8 },
524 { "v.9", 9 },
526 { "v0", 0 },
527 { "v1", 1 },
528 { "v10", 10 },
529 { "v11", 11 },
530 { "v12", 12 },
531 { "v13", 13 },
532 { "v14", 14 },
533 { "v15", 15 },
534 { "v16", 16 },
535 { "v17", 17 },
536 { "v18", 18 },
537 { "v19", 19 },
538 { "v2", 2 },
539 { "v20", 20 },
540 { "v21", 21 },
541 { "v22", 22 },
542 { "v23", 23 },
543 { "v24", 24 },
544 { "v25", 25 },
545 { "v26", 26 },
546 { "v27", 27 },
547 { "v28", 28 },
548 { "v29", 29 },
549 { "v3", 3 },
550 { "v30", 30 },
551 { "v31", 31 },
552 { "v4", 4 },
553 { "v5", 5 },
554 { "v6", 6 },
555 { "v7", 7 },
556 { "v8", 8 },
557 { "v9", 9 },
559 { "xer", 1 },
563 #define REG_NAME_CNT (sizeof (pre_defined_registers) / sizeof (struct pd_reg))
565 /* Given NAME, find the register number associated with that name, return
566 the integer value associated with the given name or -1 on failure. */
568 static int reg_name_search
569 PARAMS ((const struct pd_reg *, int, const char * name));
571 static int
572 reg_name_search (regs, regcount, name)
573 const struct pd_reg *regs;
574 int regcount;
575 const char *name;
577 int middle, low, high;
578 int cmp;
580 low = 0;
581 high = regcount - 1;
585 middle = (low + high) / 2;
586 cmp = strcasecmp (name, regs[middle].name);
587 if (cmp < 0)
588 high = middle - 1;
589 else if (cmp > 0)
590 low = middle + 1;
591 else
592 return regs[middle].value;
594 while (low <= high);
596 return -1;
600 * Summary of register_name.
602 * in: Input_line_pointer points to 1st char of operand.
604 * out: A expressionS.
605 * The operand may have been a register: in this case, X_op == O_register,
606 * X_add_number is set to the register number, and truth is returned.
607 * Input_line_pointer->(next non-blank) char after operand, or is in its
608 * original state.
611 static bfd_boolean
612 register_name (expressionP)
613 expressionS *expressionP;
615 int reg_number;
616 char *name;
617 char *start;
618 char c;
620 /* Find the spelling of the operand. */
621 start = name = input_line_pointer;
622 if (name[0] == '%' && ISALPHA (name[1]))
623 name = ++input_line_pointer;
625 else if (!reg_names_p || !ISALPHA (name[0]))
626 return FALSE;
628 c = get_symbol_end ();
629 reg_number = reg_name_search (pre_defined_registers, REG_NAME_CNT, name);
631 /* Put back the delimiting char. */
632 *input_line_pointer = c;
634 /* Look to see if it's in the register table. */
635 if (reg_number >= 0)
637 expressionP->X_op = O_register;
638 expressionP->X_add_number = reg_number;
640 /* Make the rest nice. */
641 expressionP->X_add_symbol = NULL;
642 expressionP->X_op_symbol = NULL;
643 return TRUE;
646 /* Reset the line as if we had not done anything. */
647 input_line_pointer = start;
648 return FALSE;
651 /* This function is called for each symbol seen in an expression. It
652 handles the special parsing which PowerPC assemblers are supposed
653 to use for condition codes. */
655 /* Whether to do the special parsing. */
656 static bfd_boolean cr_operand;
658 /* Names to recognize in a condition code. This table is sorted. */
659 static const struct pd_reg cr_names[] =
661 { "cr0", 0 },
662 { "cr1", 1 },
663 { "cr2", 2 },
664 { "cr3", 3 },
665 { "cr4", 4 },
666 { "cr5", 5 },
667 { "cr6", 6 },
668 { "cr7", 7 },
669 { "eq", 2 },
670 { "gt", 1 },
671 { "lt", 0 },
672 { "so", 3 },
673 { "un", 3 }
676 /* Parsing function. This returns non-zero if it recognized an
677 expression. */
680 ppc_parse_name (name, expr)
681 const char *name;
682 expressionS *expr;
684 int val;
686 if (! cr_operand)
687 return 0;
689 val = reg_name_search (cr_names, sizeof cr_names / sizeof cr_names[0],
690 name);
691 if (val < 0)
692 return 0;
694 expr->X_op = O_constant;
695 expr->X_add_number = val;
697 return 1;
700 /* Local variables. */
702 /* The type of processor we are assembling for. This is one or more
703 of the PPC_OPCODE flags defined in opcode/ppc.h. */
704 static unsigned long ppc_cpu = 0;
706 /* Whether to target xcoff64/elf64. */
707 static unsigned int ppc_obj64 = BFD_DEFAULT_TARGET_SIZE == 64;
709 /* Opcode hash table. */
710 static struct hash_control *ppc_hash;
712 /* Macro hash table. */
713 static struct hash_control *ppc_macro_hash;
715 #ifdef OBJ_ELF
716 /* What type of shared library support to use. */
717 static enum { SHLIB_NONE, SHLIB_PIC, SHLIB_MRELOCATABLE } shlib = SHLIB_NONE;
719 /* Flags to set in the elf header. */
720 static flagword ppc_flags = 0;
722 /* Whether this is Solaris or not. */
723 #ifdef TARGET_SOLARIS_COMMENT
724 #define SOLARIS_P TRUE
725 #else
726 #define SOLARIS_P FALSE
727 #endif
729 static bfd_boolean msolaris = SOLARIS_P;
730 #endif
732 #ifdef OBJ_XCOFF
734 /* The RS/6000 assembler uses the .csect pseudo-op to generate code
735 using a bunch of different sections. These assembler sections,
736 however, are all encompassed within the .text or .data sections of
737 the final output file. We handle this by using different
738 subsegments within these main segments. */
740 /* Next subsegment to allocate within the .text segment. */
741 static subsegT ppc_text_subsegment = 2;
743 /* Linked list of csects in the text section. */
744 static symbolS *ppc_text_csects;
746 /* Next subsegment to allocate within the .data segment. */
747 static subsegT ppc_data_subsegment = 2;
749 /* Linked list of csects in the data section. */
750 static symbolS *ppc_data_csects;
752 /* The current csect. */
753 static symbolS *ppc_current_csect;
755 /* The RS/6000 assembler uses a TOC which holds addresses of functions
756 and variables. Symbols are put in the TOC with the .tc pseudo-op.
757 A special relocation is used when accessing TOC entries. We handle
758 the TOC as a subsegment within the .data segment. We set it up if
759 we see a .toc pseudo-op, and save the csect symbol here. */
760 static symbolS *ppc_toc_csect;
762 /* The first frag in the TOC subsegment. */
763 static fragS *ppc_toc_frag;
765 /* The first frag in the first subsegment after the TOC in the .data
766 segment. NULL if there are no subsegments after the TOC. */
767 static fragS *ppc_after_toc_frag;
769 /* The current static block. */
770 static symbolS *ppc_current_block;
772 /* The COFF debugging section; set by md_begin. This is not the
773 .debug section, but is instead the secret BFD section which will
774 cause BFD to set the section number of a symbol to N_DEBUG. */
775 static asection *ppc_coff_debug_section;
777 #endif /* OBJ_XCOFF */
779 #ifdef TE_PE
781 /* Various sections that we need for PE coff support. */
782 static segT ydata_section;
783 static segT pdata_section;
784 static segT reldata_section;
785 static segT rdata_section;
786 static segT tocdata_section;
788 /* The current section and the previous section. See ppc_previous. */
789 static segT ppc_previous_section;
790 static segT ppc_current_section;
792 #endif /* TE_PE */
794 #ifdef OBJ_ELF
795 symbolS *GOT_symbol; /* Pre-defined "_GLOBAL_OFFSET_TABLE" */
796 #define PPC_APUINFO_ISEL 0x40
797 #define PPC_APUINFO_PMR 0x41
798 #define PPC_APUINFO_RFMCI 0x42
799 #define PPC_APUINFO_CACHELCK 0x43
800 #define PPC_APUINFO_SPE 0x100
801 #define PPC_APUINFO_EFS 0x101
802 #define PPC_APUINFO_BRLOCK 0x102
805 * We keep a list of APUinfo
807 unsigned long *ppc_apuinfo_list;
808 unsigned int ppc_apuinfo_num;
809 unsigned int ppc_apuinfo_num_alloc;
810 #endif /* OBJ_ELF */
812 #ifdef OBJ_ELF
813 const char *const md_shortopts = "b:l:usm:K:VQ:";
814 #else
815 const char *const md_shortopts = "um:";
816 #endif
817 const struct option md_longopts[] = {
818 {NULL, no_argument, NULL, 0}
820 const size_t md_longopts_size = sizeof (md_longopts);
823 /* Handle -m options that set cpu type, and .machine arg. */
825 static int
826 parse_cpu (const char *arg)
828 /* -mpwrx and -mpwr2 mean to assemble for the IBM POWER/2
829 (RIOS2). */
830 if (strcmp (arg, "pwrx") == 0 || strcmp (arg, "pwr2") == 0)
831 ppc_cpu = PPC_OPCODE_POWER | PPC_OPCODE_POWER2 | PPC_OPCODE_32;
832 /* -mpwr means to assemble for the IBM POWER (RIOS1). */
833 else if (strcmp (arg, "pwr") == 0)
834 ppc_cpu = PPC_OPCODE_POWER | PPC_OPCODE_32;
835 /* -m601 means to assemble for the PowerPC 601, which includes
836 instructions that are holdovers from the Power. */
837 else if (strcmp (arg, "601") == 0)
838 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
839 | PPC_OPCODE_601 | PPC_OPCODE_32);
840 /* -mppc, -mppc32, -m603, and -m604 mean to assemble for the
841 PowerPC 603/604. */
842 else if (strcmp (arg, "ppc") == 0
843 || strcmp (arg, "ppc32") == 0
844 || strcmp (arg, "603") == 0
845 || strcmp (arg, "604") == 0)
846 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_32;
847 /* -m403 and -m405 mean to assemble for the PowerPC 403/405. */
848 else if (strcmp (arg, "403") == 0
849 || strcmp (arg, "405") == 0)
850 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
851 | PPC_OPCODE_403 | PPC_OPCODE_32);
852 else if (strcmp (arg, "440") == 0)
853 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_32
854 | PPC_OPCODE_440 | PPC_OPCODE_ISEL | PPC_OPCODE_RFMCI);
855 else if (strcmp (arg, "7400") == 0
856 || strcmp (arg, "7410") == 0
857 || strcmp (arg, "7450") == 0
858 || strcmp (arg, "7455") == 0)
859 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
860 | PPC_OPCODE_ALTIVEC | PPC_OPCODE_32);
861 else if (strcmp (arg, "altivec") == 0)
863 if (ppc_cpu == 0)
864 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_ALTIVEC;
865 else
866 ppc_cpu |= PPC_OPCODE_ALTIVEC;
868 else if (strcmp (arg, "e500") == 0 || strcmp (arg, "e500x2") == 0)
870 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_SPE
871 | PPC_OPCODE_ISEL | PPC_OPCODE_EFS | PPC_OPCODE_BRLOCK
872 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
873 | PPC_OPCODE_RFMCI);
875 else if (strcmp (arg, "spe") == 0)
877 if (ppc_cpu == 0)
878 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_SPE | PPC_OPCODE_EFS;
879 else
880 ppc_cpu |= PPC_OPCODE_SPE;
882 /* -mppc64 and -m620 mean to assemble for the 64-bit PowerPC
883 620. */
884 else if (strcmp (arg, "ppc64") == 0 || strcmp (arg, "620") == 0)
886 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_64;
888 else if (strcmp (arg, "ppc64bridge") == 0)
890 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
891 | PPC_OPCODE_64_BRIDGE | PPC_OPCODE_64);
893 /* -mbooke/-mbooke32 mean enable 32-bit BookE support. */
894 else if (strcmp (arg, "booke") == 0 || strcmp (arg, "booke32") == 0)
896 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_32;
898 /* -mbooke64 means enable 64-bit BookE support. */
899 else if (strcmp (arg, "booke64") == 0)
901 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE
902 | PPC_OPCODE_BOOKE64 | PPC_OPCODE_64);
904 else if (strcmp (arg, "power4") == 0)
906 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
907 | PPC_OPCODE_64 | PPC_OPCODE_POWER4);
909 /* -mcom means assemble for the common intersection between Power
910 and PowerPC. At present, we just allow the union, rather
911 than the intersection. */
912 else if (strcmp (arg, "com") == 0)
913 ppc_cpu = PPC_OPCODE_COMMON | PPC_OPCODE_32;
914 /* -many means to assemble for any architecture (PWR/PWRX/PPC). */
915 else if (strcmp (arg, "any") == 0)
916 ppc_cpu |= PPC_OPCODE_ANY;
917 else
918 return 0;
920 return 1;
924 md_parse_option (c, arg)
925 int c;
926 char *arg;
928 switch (c)
930 case 'u':
931 /* -u means that any undefined symbols should be treated as
932 external, which is the default for gas anyhow. */
933 break;
935 #ifdef OBJ_ELF
936 case 'l':
937 /* Solaris as takes -le (presumably for little endian). For completeness
938 sake, recognize -be also. */
939 if (strcmp (arg, "e") == 0)
941 target_big_endian = 0;
942 set_target_endian = 1;
944 else
945 return 0;
947 break;
949 case 'b':
950 if (strcmp (arg, "e") == 0)
952 target_big_endian = 1;
953 set_target_endian = 1;
955 else
956 return 0;
958 break;
960 case 'K':
961 /* Recognize -K PIC. */
962 if (strcmp (arg, "PIC") == 0 || strcmp (arg, "pic") == 0)
964 shlib = SHLIB_PIC;
965 ppc_flags |= EF_PPC_RELOCATABLE_LIB;
967 else
968 return 0;
970 break;
971 #endif
973 /* a64 and a32 determine whether to use XCOFF64 or XCOFF32. */
974 case 'a':
975 if (strcmp (arg, "64") == 0)
977 #ifdef BFD64
978 ppc_obj64 = 1;
979 #else
980 as_fatal (_("%s unsupported"), "-a64");
981 #endif
983 else if (strcmp (arg, "32") == 0)
984 ppc_obj64 = 0;
985 else
986 return 0;
987 break;
989 case 'm':
990 if (parse_cpu (arg))
993 else if (strcmp (arg, "regnames") == 0)
994 reg_names_p = TRUE;
996 else if (strcmp (arg, "no-regnames") == 0)
997 reg_names_p = FALSE;
999 #ifdef OBJ_ELF
1000 /* -mrelocatable/-mrelocatable-lib -- warn about initializations
1001 that require relocation. */
1002 else if (strcmp (arg, "relocatable") == 0)
1004 shlib = SHLIB_MRELOCATABLE;
1005 ppc_flags |= EF_PPC_RELOCATABLE;
1008 else if (strcmp (arg, "relocatable-lib") == 0)
1010 shlib = SHLIB_MRELOCATABLE;
1011 ppc_flags |= EF_PPC_RELOCATABLE_LIB;
1014 /* -memb, set embedded bit. */
1015 else if (strcmp (arg, "emb") == 0)
1016 ppc_flags |= EF_PPC_EMB;
1018 /* -mlittle/-mbig set the endianess. */
1019 else if (strcmp (arg, "little") == 0
1020 || strcmp (arg, "little-endian") == 0)
1022 target_big_endian = 0;
1023 set_target_endian = 1;
1026 else if (strcmp (arg, "big") == 0 || strcmp (arg, "big-endian") == 0)
1028 target_big_endian = 1;
1029 set_target_endian = 1;
1032 else if (strcmp (arg, "solaris") == 0)
1034 msolaris = TRUE;
1035 ppc_comment_chars = ppc_solaris_comment_chars;
1038 else if (strcmp (arg, "no-solaris") == 0)
1040 msolaris = FALSE;
1041 ppc_comment_chars = ppc_eabi_comment_chars;
1043 #endif
1044 else
1046 as_bad (_("invalid switch -m%s"), arg);
1047 return 0;
1049 break;
1051 #ifdef OBJ_ELF
1052 /* -V: SVR4 argument to print version ID. */
1053 case 'V':
1054 print_version_id ();
1055 break;
1057 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
1058 should be emitted or not. FIXME: Not implemented. */
1059 case 'Q':
1060 break;
1062 /* Solaris takes -s to specify that .stabs go in a .stabs section,
1063 rather than .stabs.excl, which is ignored by the linker.
1064 FIXME: Not implemented. */
1065 case 's':
1066 if (arg)
1067 return 0;
1069 break;
1070 #endif
1072 default:
1073 return 0;
1076 return 1;
1079 void
1080 md_show_usage (stream)
1081 FILE *stream;
1083 fprintf (stream, _("\
1084 PowerPC options:\n\
1085 -a32 generate ELF32/XCOFF32\n\
1086 -a64 generate ELF64/XCOFF64\n\
1087 -u ignored\n\
1088 -mpwrx, -mpwr2 generate code for POWER/2 (RIOS2)\n\
1089 -mpwr generate code for POWER (RIOS1)\n\
1090 -m601 generate code for PowerPC 601\n\
1091 -mppc, -mppc32, -m603, -m604\n\
1092 generate code for PowerPC 603/604\n\
1093 -m403, -m405 generate code for PowerPC 403/405\n\
1094 -m440 generate code for PowerPC 440\n\
1095 -m7400, -m7410, -m7450, -m7455\n\
1096 generate code For PowerPC 7400/7410/7450/7455\n"));
1097 fprintf (stream, _("\
1098 -mppc64, -m620 generate code for PowerPC 620/625/630\n\
1099 -mppc64bridge generate code for PowerPC 64, including bridge insns\n\
1100 -mbooke64 generate code for 64-bit PowerPC BookE\n\
1101 -mbooke, mbooke32 generate code for 32-bit PowerPC BookE\n\
1102 -mpower4 generate code for Power4 architecture\n\
1103 -mcom generate code Power/PowerPC common instructions\n\
1104 -many generate code for any architecture (PWR/PWRX/PPC)\n"));
1105 fprintf (stream, _("\
1106 -maltivec generate code for AltiVec\n\
1107 -me500, -me500x2 generate code for Motorola e500 core complex\n\
1108 -mspe generate code for Motorola SPE instructions\n\
1109 -mregnames Allow symbolic names for registers\n\
1110 -mno-regnames Do not allow symbolic names for registers\n"));
1111 #ifdef OBJ_ELF
1112 fprintf (stream, _("\
1113 -mrelocatable support for GCC's -mrelocatble option\n\
1114 -mrelocatable-lib support for GCC's -mrelocatble-lib option\n\
1115 -memb set PPC_EMB bit in ELF flags\n\
1116 -mlittle, -mlittle-endian, -l, -le\n\
1117 generate code for a little endian machine\n\
1118 -mbig, -mbig-endian, -b, -be\n\
1119 generate code for a big endian machine\n\
1120 -msolaris generate code for Solaris\n\
1121 -mno-solaris do not generate code for Solaris\n\
1122 -V print assembler version number\n\
1123 -Qy, -Qn ignored\n"));
1124 #endif
1127 /* Set ppc_cpu if it is not already set. */
1129 static void
1130 ppc_set_cpu ()
1132 const char *default_os = TARGET_OS;
1133 const char *default_cpu = TARGET_CPU;
1135 if ((ppc_cpu & ~PPC_OPCODE_ANY) == 0)
1137 if (ppc_obj64)
1138 ppc_cpu |= PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_64;
1139 else if (strncmp (default_os, "aix", 3) == 0
1140 && default_os[3] >= '4' && default_os[3] <= '9')
1141 ppc_cpu |= PPC_OPCODE_COMMON | PPC_OPCODE_32;
1142 else if (strncmp (default_os, "aix3", 4) == 0)
1143 ppc_cpu |= PPC_OPCODE_POWER | PPC_OPCODE_32;
1144 else if (strcmp (default_cpu, "rs6000") == 0)
1145 ppc_cpu |= PPC_OPCODE_POWER | PPC_OPCODE_32;
1146 else if (strncmp (default_cpu, "powerpc", 7) == 0)
1148 if (default_cpu[7] == '6' && default_cpu[8] == '4')
1149 ppc_cpu |= PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_64;
1150 else
1151 ppc_cpu |= PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_32;
1153 else
1154 as_fatal (_("Unknown default cpu = %s, os = %s"),
1155 default_cpu, default_os);
1159 /* Figure out the BFD architecture to use. This function and ppc_mach
1160 are called well before md_begin, when the output file is opened. */
1162 enum bfd_architecture
1163 ppc_arch ()
1165 const char *default_cpu = TARGET_CPU;
1166 ppc_set_cpu ();
1168 if ((ppc_cpu & PPC_OPCODE_PPC) != 0)
1169 return bfd_arch_powerpc;
1170 else if ((ppc_cpu & PPC_OPCODE_POWER) != 0)
1171 return bfd_arch_rs6000;
1172 else if ((ppc_cpu & (PPC_OPCODE_COMMON | PPC_OPCODE_ANY)) != 0)
1174 if (strcmp (default_cpu, "rs6000") == 0)
1175 return bfd_arch_rs6000;
1176 else if (strncmp (default_cpu, "powerpc", 7) == 0)
1177 return bfd_arch_powerpc;
1180 as_fatal (_("Neither Power nor PowerPC opcodes were selected."));
1181 return bfd_arch_unknown;
1184 unsigned long
1185 ppc_mach ()
1187 if (ppc_obj64)
1188 return bfd_mach_ppc64;
1189 else if (ppc_arch () == bfd_arch_rs6000)
1190 return bfd_mach_rs6k;
1191 else
1192 return bfd_mach_ppc;
1195 extern char*
1196 ppc_target_format ()
1198 #ifdef OBJ_COFF
1199 #ifdef TE_PE
1200 return target_big_endian ? "pe-powerpc" : "pe-powerpcle";
1201 #elif TE_POWERMAC
1202 return "xcoff-powermac";
1203 #else
1204 # ifdef TE_AIX5
1205 return (ppc_obj64 ? "aix5coff64-rs6000" : "aixcoff-rs6000");
1206 # else
1207 return (ppc_obj64 ? "aixcoff64-rs6000" : "aixcoff-rs6000");
1208 # endif
1209 #endif
1210 #endif
1211 #ifdef OBJ_ELF
1212 return (target_big_endian
1213 ? (ppc_obj64 ? "elf64-powerpc" : "elf32-powerpc")
1214 : (ppc_obj64 ? "elf64-powerpcle" : "elf32-powerpcle"));
1215 #endif
1218 /* Insert opcodes and macros into hash tables. Called at startup and
1219 for .cpu pseudo. */
1221 static void
1222 ppc_setup_opcodes (void)
1224 register const struct powerpc_opcode *op;
1225 const struct powerpc_opcode *op_end;
1226 const struct powerpc_macro *macro;
1227 const struct powerpc_macro *macro_end;
1228 bfd_boolean dup_insn = FALSE;
1230 if (ppc_hash != NULL)
1231 hash_die (ppc_hash);
1232 if (ppc_macro_hash != NULL)
1233 hash_die (ppc_macro_hash);
1235 /* Insert the opcodes into a hash table. */
1236 ppc_hash = hash_new ();
1238 op_end = powerpc_opcodes + powerpc_num_opcodes;
1239 for (op = powerpc_opcodes; op < op_end; op++)
1241 know ((op->opcode & op->mask) == op->opcode);
1243 if ((op->flags & ppc_cpu & ~(PPC_OPCODE_32 | PPC_OPCODE_64)) != 0
1244 && ((op->flags & (PPC_OPCODE_32 | PPC_OPCODE_64)) == 0
1245 || ((op->flags & (PPC_OPCODE_32 | PPC_OPCODE_64))
1246 == (ppc_cpu & (PPC_OPCODE_32 | PPC_OPCODE_64)))
1247 || (ppc_cpu & PPC_OPCODE_64_BRIDGE) != 0)
1248 /* Certain instructions (eg: extsw) do not exist in the
1249 32-bit BookE instruction set, but they do exist in the
1250 64-bit BookE instruction set, and other PPC instruction
1251 sets. Check to see if the opcode has the BOOKE64 flag set.
1252 If it does make sure that the target CPU is not the BookE32. */
1253 && ((op->flags & PPC_OPCODE_BOOKE64) == 0
1254 || (ppc_cpu & PPC_OPCODE_BOOKE64) == PPC_OPCODE_BOOKE64
1255 || (ppc_cpu & PPC_OPCODE_BOOKE) == 0)
1256 && ((op->flags & (PPC_OPCODE_POWER4 | PPC_OPCODE_NOPOWER4)) == 0
1257 || ((op->flags & PPC_OPCODE_POWER4)
1258 == (ppc_cpu & PPC_OPCODE_POWER4))))
1260 const char *retval;
1262 retval = hash_insert (ppc_hash, op->name, (PTR) op);
1263 if (retval != NULL)
1265 /* Ignore Power duplicates for -m601. */
1266 if ((ppc_cpu & PPC_OPCODE_601) != 0
1267 && (op->flags & PPC_OPCODE_POWER) != 0)
1268 continue;
1270 as_bad (_("Internal assembler error for instruction %s"),
1271 op->name);
1272 dup_insn = TRUE;
1277 if ((ppc_cpu & PPC_OPCODE_ANY) != 0)
1278 for (op = powerpc_opcodes; op < op_end; op++)
1279 hash_insert (ppc_hash, op->name, (PTR) op);
1281 /* Insert the macros into a hash table. */
1282 ppc_macro_hash = hash_new ();
1284 macro_end = powerpc_macros + powerpc_num_macros;
1285 for (macro = powerpc_macros; macro < macro_end; macro++)
1287 if ((macro->flags & ppc_cpu) != 0)
1289 const char *retval;
1291 retval = hash_insert (ppc_macro_hash, macro->name, (PTR) macro);
1292 if (retval != (const char *) NULL)
1294 as_bad (_("Internal assembler error for macro %s"), macro->name);
1295 dup_insn = TRUE;
1300 if (dup_insn)
1301 abort ();
1304 /* This function is called when the assembler starts up. It is called
1305 after the options have been parsed and the output file has been
1306 opened. */
1308 void
1309 md_begin ()
1311 ppc_set_cpu ();
1313 ppc_cie_data_alignment = ppc_obj64 ? -8 : -4;
1315 #ifdef OBJ_ELF
1316 /* Set the ELF flags if desired. */
1317 if (ppc_flags && !msolaris)
1318 bfd_set_private_flags (stdoutput, ppc_flags);
1319 #endif
1321 ppc_setup_opcodes ();
1323 /* Tell the main code what the endianness is if it is not overridden
1324 by the user. */
1325 if (!set_target_endian)
1327 set_target_endian = 1;
1328 target_big_endian = PPC_BIG_ENDIAN;
1331 #ifdef OBJ_XCOFF
1332 ppc_coff_debug_section = coff_section_from_bfd_index (stdoutput, N_DEBUG);
1334 /* Create dummy symbols to serve as initial csects. This forces the
1335 text csects to precede the data csects. These symbols will not
1336 be output. */
1337 ppc_text_csects = symbol_make ("dummy\001");
1338 symbol_get_tc (ppc_text_csects)->within = ppc_text_csects;
1339 ppc_data_csects = symbol_make ("dummy\001");
1340 symbol_get_tc (ppc_data_csects)->within = ppc_data_csects;
1341 #endif
1343 #ifdef TE_PE
1345 ppc_current_section = text_section;
1346 ppc_previous_section = 0;
1348 #endif
1351 void
1352 ppc_cleanup ()
1354 #ifdef OBJ_ELF
1355 if (ppc_apuinfo_list == NULL)
1356 return;
1358 /* Ok, so write the section info out. We have this layout:
1360 byte data what
1361 ---- ---- ----
1362 0 8 length of "APUinfo\0"
1363 4 (n*4) number of APU's (4 bytes each)
1364 8 2 note type 2
1365 12 "APUinfo\0" name
1366 20 APU#1 first APU's info
1367 24 APU#2 second APU's info
1368 ... ...
1371 char *p;
1372 asection *seg = now_seg;
1373 subsegT subseg = now_subseg;
1374 asection *apuinfo_secp = (asection *) NULL;
1375 unsigned int i;
1377 /* Create the .PPC.EMB.apuinfo section. */
1378 apuinfo_secp = subseg_new (".PPC.EMB.apuinfo", 0);
1379 bfd_set_section_flags (stdoutput,
1380 apuinfo_secp,
1381 SEC_HAS_CONTENTS | SEC_READONLY);
1383 p = frag_more (4);
1384 md_number_to_chars (p, (valueT) 8, 4);
1386 p = frag_more (4);
1387 md_number_to_chars (p, (valueT) ppc_apuinfo_num * 4, 4);
1389 p = frag_more (4);
1390 md_number_to_chars (p, (valueT) 2, 4);
1392 p = frag_more (8);
1393 strcpy (p, "APUinfo");
1395 for (i = 0; i < ppc_apuinfo_num; i++)
1397 p = frag_more (4);
1398 md_number_to_chars (p, (valueT) ppc_apuinfo_list[i], 4);
1401 frag_align (2, 0, 0);
1403 /* We probably can't restore the current segment, for there likely
1404 isn't one yet... */
1405 if (seg && subseg)
1406 subseg_set (seg, subseg);
1408 #endif
1411 /* Insert an operand value into an instruction. */
1413 static unsigned long
1414 ppc_insert_operand (insn, operand, val, file, line)
1415 unsigned long insn;
1416 const struct powerpc_operand *operand;
1417 offsetT val;
1418 char *file;
1419 unsigned int line;
1421 if (operand->bits != 32)
1423 long min, max;
1424 offsetT test;
1426 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
1428 if ((operand->flags & PPC_OPERAND_SIGNOPT) != 0)
1429 max = (1 << operand->bits) - 1;
1430 else
1431 max = (1 << (operand->bits - 1)) - 1;
1432 min = - (1 << (operand->bits - 1));
1434 if (!ppc_obj64)
1436 /* Some people write 32 bit hex constants with the sign
1437 extension done by hand. This shouldn't really be
1438 valid, but, to permit this code to assemble on a 64
1439 bit host, we sign extend the 32 bit value. */
1440 if (val > 0
1441 && (val & (offsetT) 0x80000000) != 0
1442 && (val & (offsetT) 0xffffffff) == val)
1444 val -= 0x80000000;
1445 val -= 0x80000000;
1449 else
1451 max = (1 << operand->bits) - 1;
1452 min = 0;
1455 if ((operand->flags & PPC_OPERAND_NEGATIVE) != 0)
1456 test = - val;
1457 else
1458 test = val;
1460 if (test < (offsetT) min || test > (offsetT) max)
1461 as_bad_value_out_of_range (_("operand"), test, (offsetT) min, (offsetT) max, file, line);
1464 if (operand->insert)
1466 const char *errmsg;
1468 errmsg = NULL;
1469 insn = (*operand->insert) (insn, (long) val, ppc_cpu, &errmsg);
1470 if (errmsg != (const char *) NULL)
1471 as_bad_where (file, line, errmsg);
1473 else
1474 insn |= (((long) val & ((1 << operand->bits) - 1))
1475 << operand->shift);
1477 return insn;
1481 #ifdef OBJ_ELF
1482 /* Parse @got, etc. and return the desired relocation. */
1483 static bfd_reloc_code_real_type
1484 ppc_elf_suffix (str_p, exp_p)
1485 char **str_p;
1486 expressionS *exp_p;
1488 struct map_bfd {
1489 char *string;
1490 unsigned int length : 8;
1491 unsigned int valid32 : 1;
1492 unsigned int valid64 : 1;
1493 unsigned int reloc;
1496 char ident[20];
1497 char *str = *str_p;
1498 char *str2;
1499 int ch;
1500 int len;
1501 const struct map_bfd *ptr;
1503 #define MAP(str, reloc) { str, sizeof (str) - 1, 1, 1, reloc }
1504 #define MAP32(str, reloc) { str, sizeof (str) - 1, 1, 0, reloc }
1505 #define MAP64(str, reloc) { str, sizeof (str) - 1, 0, 1, reloc }
1507 static const struct map_bfd mapping[] = {
1508 MAP ("l", BFD_RELOC_LO16),
1509 MAP ("h", BFD_RELOC_HI16),
1510 MAP ("ha", BFD_RELOC_HI16_S),
1511 MAP ("brtaken", BFD_RELOC_PPC_B16_BRTAKEN),
1512 MAP ("brntaken", BFD_RELOC_PPC_B16_BRNTAKEN),
1513 MAP ("got", BFD_RELOC_16_GOTOFF),
1514 MAP ("got@l", BFD_RELOC_LO16_GOTOFF),
1515 MAP ("got@h", BFD_RELOC_HI16_GOTOFF),
1516 MAP ("got@ha", BFD_RELOC_HI16_S_GOTOFF),
1517 MAP ("plt@l", BFD_RELOC_LO16_PLTOFF),
1518 MAP ("plt@h", BFD_RELOC_HI16_PLTOFF),
1519 MAP ("plt@ha", BFD_RELOC_HI16_S_PLTOFF),
1520 MAP ("copy", BFD_RELOC_PPC_COPY),
1521 MAP ("globdat", BFD_RELOC_PPC_GLOB_DAT),
1522 MAP ("sectoff", BFD_RELOC_16_BASEREL),
1523 MAP ("sectoff@l", BFD_RELOC_LO16_BASEREL),
1524 MAP ("sectoff@h", BFD_RELOC_HI16_BASEREL),
1525 MAP ("sectoff@ha", BFD_RELOC_HI16_S_BASEREL),
1526 MAP ("tls", BFD_RELOC_PPC_TLS),
1527 MAP ("dtpmod", BFD_RELOC_PPC_DTPMOD),
1528 MAP ("dtprel", BFD_RELOC_PPC_DTPREL),
1529 MAP ("dtprel@l", BFD_RELOC_PPC_DTPREL16_LO),
1530 MAP ("dtprel@h", BFD_RELOC_PPC_DTPREL16_HI),
1531 MAP ("dtprel@ha", BFD_RELOC_PPC_DTPREL16_HA),
1532 MAP ("tprel", BFD_RELOC_PPC_TPREL),
1533 MAP ("tprel@l", BFD_RELOC_PPC_TPREL16_LO),
1534 MAP ("tprel@h", BFD_RELOC_PPC_TPREL16_HI),
1535 MAP ("tprel@ha", BFD_RELOC_PPC_TPREL16_HA),
1536 MAP ("got@tlsgd", BFD_RELOC_PPC_GOT_TLSGD16),
1537 MAP ("got@tlsgd@l", BFD_RELOC_PPC_GOT_TLSGD16_LO),
1538 MAP ("got@tlsgd@h", BFD_RELOC_PPC_GOT_TLSGD16_HI),
1539 MAP ("got@tlsgd@ha", BFD_RELOC_PPC_GOT_TLSGD16_HA),
1540 MAP ("got@tlsld", BFD_RELOC_PPC_GOT_TLSLD16),
1541 MAP ("got@tlsld@l", BFD_RELOC_PPC_GOT_TLSLD16_LO),
1542 MAP ("got@tlsld@h", BFD_RELOC_PPC_GOT_TLSLD16_HI),
1543 MAP ("got@tlsld@ha", BFD_RELOC_PPC_GOT_TLSLD16_HA),
1544 MAP ("got@dtprel", BFD_RELOC_PPC_GOT_DTPREL16),
1545 MAP ("got@dtprel@l", BFD_RELOC_PPC_GOT_DTPREL16_LO),
1546 MAP ("got@dtprel@h", BFD_RELOC_PPC_GOT_DTPREL16_HI),
1547 MAP ("got@dtprel@ha", BFD_RELOC_PPC_GOT_DTPREL16_HA),
1548 MAP ("got@tprel", BFD_RELOC_PPC_GOT_TPREL16),
1549 MAP ("got@tprel@l", BFD_RELOC_PPC_GOT_TPREL16_LO),
1550 MAP ("got@tprel@h", BFD_RELOC_PPC_GOT_TPREL16_HI),
1551 MAP ("got@tprel@ha", BFD_RELOC_PPC_GOT_TPREL16_HA),
1552 MAP32 ("fixup", BFD_RELOC_CTOR),
1553 MAP32 ("plt", BFD_RELOC_24_PLT_PCREL),
1554 MAP32 ("pltrel24", BFD_RELOC_24_PLT_PCREL),
1555 MAP32 ("local24pc", BFD_RELOC_PPC_LOCAL24PC),
1556 MAP32 ("local", BFD_RELOC_PPC_LOCAL24PC),
1557 MAP32 ("pltrel", BFD_RELOC_32_PLT_PCREL),
1558 MAP32 ("sdarel", BFD_RELOC_GPREL16),
1559 MAP32 ("naddr", BFD_RELOC_PPC_EMB_NADDR32),
1560 MAP32 ("naddr16", BFD_RELOC_PPC_EMB_NADDR16),
1561 MAP32 ("naddr@l", BFD_RELOC_PPC_EMB_NADDR16_LO),
1562 MAP32 ("naddr@h", BFD_RELOC_PPC_EMB_NADDR16_HI),
1563 MAP32 ("naddr@ha", BFD_RELOC_PPC_EMB_NADDR16_HA),
1564 MAP32 ("sdai16", BFD_RELOC_PPC_EMB_SDAI16),
1565 MAP32 ("sda2rel", BFD_RELOC_PPC_EMB_SDA2REL),
1566 MAP32 ("sda2i16", BFD_RELOC_PPC_EMB_SDA2I16),
1567 MAP32 ("sda21", BFD_RELOC_PPC_EMB_SDA21),
1568 MAP32 ("mrkref", BFD_RELOC_PPC_EMB_MRKREF),
1569 MAP32 ("relsect", BFD_RELOC_PPC_EMB_RELSEC16),
1570 MAP32 ("relsect@l", BFD_RELOC_PPC_EMB_RELST_LO),
1571 MAP32 ("relsect@h", BFD_RELOC_PPC_EMB_RELST_HI),
1572 MAP32 ("relsect@ha", BFD_RELOC_PPC_EMB_RELST_HA),
1573 MAP32 ("bitfld", BFD_RELOC_PPC_EMB_BIT_FLD),
1574 MAP32 ("relsda", BFD_RELOC_PPC_EMB_RELSDA),
1575 MAP32 ("xgot", BFD_RELOC_PPC_TOC16),
1576 MAP64 ("higher", BFD_RELOC_PPC64_HIGHER),
1577 MAP64 ("highera", BFD_RELOC_PPC64_HIGHER_S),
1578 MAP64 ("highest", BFD_RELOC_PPC64_HIGHEST),
1579 MAP64 ("highesta", BFD_RELOC_PPC64_HIGHEST_S),
1580 MAP64 ("tocbase", BFD_RELOC_PPC64_TOC),
1581 MAP64 ("toc", BFD_RELOC_PPC_TOC16),
1582 MAP64 ("toc@l", BFD_RELOC_PPC64_TOC16_LO),
1583 MAP64 ("toc@h", BFD_RELOC_PPC64_TOC16_HI),
1584 MAP64 ("toc@ha", BFD_RELOC_PPC64_TOC16_HA),
1585 MAP64 ("dtprel@higher", BFD_RELOC_PPC64_DTPREL16_HIGHER),
1586 MAP64 ("dtprel@highera", BFD_RELOC_PPC64_DTPREL16_HIGHERA),
1587 MAP64 ("dtprel@highest", BFD_RELOC_PPC64_DTPREL16_HIGHEST),
1588 MAP64 ("dtprel@highesta", BFD_RELOC_PPC64_DTPREL16_HIGHESTA),
1589 MAP64 ("tprel@higher", BFD_RELOC_PPC64_TPREL16_HIGHER),
1590 MAP64 ("tprel@highera", BFD_RELOC_PPC64_TPREL16_HIGHERA),
1591 MAP64 ("tprel@highest", BFD_RELOC_PPC64_TPREL16_HIGHEST),
1592 MAP64 ("tprel@highesta", BFD_RELOC_PPC64_TPREL16_HIGHESTA),
1593 { (char *) 0, 0, 0, 0, BFD_RELOC_UNUSED }
1596 if (*str++ != '@')
1597 return BFD_RELOC_UNUSED;
1599 for (ch = *str, str2 = ident;
1600 (str2 < ident + sizeof (ident) - 1
1601 && (ISALNUM (ch) || ch == '@'));
1602 ch = *++str)
1604 *str2++ = TOLOWER (ch);
1607 *str2 = '\0';
1608 len = str2 - ident;
1610 ch = ident[0];
1611 for (ptr = &mapping[0]; ptr->length > 0; ptr++)
1612 if (ch == ptr->string[0]
1613 && len == ptr->length
1614 && memcmp (ident, ptr->string, ptr->length) == 0
1615 && (ppc_obj64 ? ptr->valid64 : ptr->valid32))
1617 int reloc = ptr->reloc;
1619 if (!ppc_obj64)
1620 if (exp_p->X_add_number != 0
1621 && (reloc == (int) BFD_RELOC_16_GOTOFF
1622 || reloc == (int) BFD_RELOC_LO16_GOTOFF
1623 || reloc == (int) BFD_RELOC_HI16_GOTOFF
1624 || reloc == (int) BFD_RELOC_HI16_S_GOTOFF))
1625 as_warn (_("identifier+constant@got means identifier@got+constant"));
1627 /* Now check for identifier@suffix+constant. */
1628 if (*str == '-' || *str == '+')
1630 char *orig_line = input_line_pointer;
1631 expressionS new_exp;
1633 input_line_pointer = str;
1634 expression (&new_exp);
1635 if (new_exp.X_op == O_constant)
1637 exp_p->X_add_number += new_exp.X_add_number;
1638 str = input_line_pointer;
1641 if (&input_line_pointer != str_p)
1642 input_line_pointer = orig_line;
1644 *str_p = str;
1646 if (reloc == (int) BFD_RELOC_PPC64_TOC
1647 && exp_p->X_op == O_symbol
1648 && strcmp (S_GET_NAME (exp_p->X_add_symbol), ".TOC.") == 0)
1650 /* Change the symbol so that the dummy .TOC. symbol can be
1651 omitted from the object file. */
1652 exp_p->X_add_symbol = &abs_symbol;
1655 return (bfd_reloc_code_real_type) reloc;
1658 return BFD_RELOC_UNUSED;
1661 /* Like normal .long/.short/.word, except support @got, etc.
1662 Clobbers input_line_pointer, checks end-of-line. */
1663 static void
1664 ppc_elf_cons (nbytes)
1665 register int nbytes; /* 1=.byte, 2=.word, 4=.long, 8=.llong. */
1667 expressionS exp;
1668 bfd_reloc_code_real_type reloc;
1670 if (is_it_end_of_statement ())
1672 demand_empty_rest_of_line ();
1673 return;
1678 expression (&exp);
1679 if (exp.X_op == O_symbol
1680 && *input_line_pointer == '@'
1681 && (reloc = ppc_elf_suffix (&input_line_pointer,
1682 &exp)) != BFD_RELOC_UNUSED)
1684 reloc_howto_type *reloc_howto;
1685 int size;
1687 reloc_howto = bfd_reloc_type_lookup (stdoutput, reloc);
1688 size = bfd_get_reloc_size (reloc_howto);
1690 if (size > nbytes)
1692 as_bad (_("%s relocations do not fit in %d bytes\n"),
1693 reloc_howto->name, nbytes);
1695 else
1697 char *p;
1698 int offset;
1700 p = frag_more (nbytes);
1701 offset = 0;
1702 if (target_big_endian)
1703 offset = nbytes - size;
1704 fix_new_exp (frag_now, p - frag_now->fr_literal + offset, size,
1705 &exp, 0, reloc);
1708 else
1709 emit_expr (&exp, (unsigned int) nbytes);
1711 while (*input_line_pointer++ == ',');
1713 /* Put terminator back into stream. */
1714 input_line_pointer--;
1715 demand_empty_rest_of_line ();
1718 /* Solaris pseduo op to change to the .rodata section. */
1719 static void
1720 ppc_elf_rdata (xxx)
1721 int xxx;
1723 char *save_line = input_line_pointer;
1724 static char section[] = ".rodata\n";
1726 /* Just pretend this is .section .rodata */
1727 input_line_pointer = section;
1728 obj_elf_section (xxx);
1730 input_line_pointer = save_line;
1733 /* Pseudo op to make file scope bss items. */
1734 static void
1735 ppc_elf_lcomm (xxx)
1736 int xxx ATTRIBUTE_UNUSED;
1738 register char *name;
1739 register char c;
1740 register char *p;
1741 offsetT size;
1742 register symbolS *symbolP;
1743 offsetT align;
1744 segT old_sec;
1745 int old_subsec;
1746 char *pfrag;
1747 int align2;
1749 name = input_line_pointer;
1750 c = get_symbol_end ();
1752 /* just after name is now '\0'. */
1753 p = input_line_pointer;
1754 *p = c;
1755 SKIP_WHITESPACE ();
1756 if (*input_line_pointer != ',')
1758 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
1759 ignore_rest_of_line ();
1760 return;
1763 input_line_pointer++; /* skip ',' */
1764 if ((size = get_absolute_expression ()) < 0)
1766 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) size);
1767 ignore_rest_of_line ();
1768 return;
1771 /* The third argument to .lcomm is the alignment. */
1772 if (*input_line_pointer != ',')
1773 align = 8;
1774 else
1776 ++input_line_pointer;
1777 align = get_absolute_expression ();
1778 if (align <= 0)
1780 as_warn (_("ignoring bad alignment"));
1781 align = 8;
1785 *p = 0;
1786 symbolP = symbol_find_or_make (name);
1787 *p = c;
1789 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
1791 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
1792 S_GET_NAME (symbolP));
1793 ignore_rest_of_line ();
1794 return;
1797 if (S_GET_VALUE (symbolP) && S_GET_VALUE (symbolP) != (valueT) size)
1799 as_bad (_("Length of .lcomm \"%s\" is already %ld. Not changed to %ld."),
1800 S_GET_NAME (symbolP),
1801 (long) S_GET_VALUE (symbolP),
1802 (long) size);
1804 ignore_rest_of_line ();
1805 return;
1808 /* Allocate_bss. */
1809 old_sec = now_seg;
1810 old_subsec = now_subseg;
1811 if (align)
1813 /* Convert to a power of 2 alignment. */
1814 for (align2 = 0; (align & 1) == 0; align >>= 1, ++align2);
1815 if (align != 1)
1817 as_bad (_("Common alignment not a power of 2"));
1818 ignore_rest_of_line ();
1819 return;
1822 else
1823 align2 = 0;
1825 record_alignment (bss_section, align2);
1826 subseg_set (bss_section, 0);
1827 if (align2)
1828 frag_align (align2, 0, 0);
1829 if (S_GET_SEGMENT (symbolP) == bss_section)
1830 symbol_get_frag (symbolP)->fr_symbol = 0;
1831 symbol_set_frag (symbolP, frag_now);
1832 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP, size,
1833 (char *) 0);
1834 *pfrag = 0;
1835 S_SET_SIZE (symbolP, size);
1836 S_SET_SEGMENT (symbolP, bss_section);
1837 subseg_set (old_sec, old_subsec);
1838 demand_empty_rest_of_line ();
1841 /* Validate any relocations emitted for -mrelocatable, possibly adding
1842 fixups for word relocations in writable segments, so we can adjust
1843 them at runtime. */
1844 static void
1845 ppc_elf_validate_fix (fixp, seg)
1846 fixS *fixp;
1847 segT seg;
1849 if (fixp->fx_done || fixp->fx_pcrel)
1850 return;
1852 switch (shlib)
1854 case SHLIB_NONE:
1855 case SHLIB_PIC:
1856 return;
1858 case SHLIB_MRELOCATABLE:
1859 if (fixp->fx_r_type <= BFD_RELOC_UNUSED
1860 && fixp->fx_r_type != BFD_RELOC_16_GOTOFF
1861 && fixp->fx_r_type != BFD_RELOC_HI16_GOTOFF
1862 && fixp->fx_r_type != BFD_RELOC_LO16_GOTOFF
1863 && fixp->fx_r_type != BFD_RELOC_HI16_S_GOTOFF
1864 && fixp->fx_r_type != BFD_RELOC_16_BASEREL
1865 && fixp->fx_r_type != BFD_RELOC_LO16_BASEREL
1866 && fixp->fx_r_type != BFD_RELOC_HI16_BASEREL
1867 && fixp->fx_r_type != BFD_RELOC_HI16_S_BASEREL
1868 && (seg->flags & SEC_LOAD) != 0
1869 && strcmp (segment_name (seg), ".got2") != 0
1870 && strcmp (segment_name (seg), ".dtors") != 0
1871 && strcmp (segment_name (seg), ".ctors") != 0
1872 && strcmp (segment_name (seg), ".fixup") != 0
1873 && strcmp (segment_name (seg), ".gcc_except_table") != 0
1874 && strcmp (segment_name (seg), ".eh_frame") != 0
1875 && strcmp (segment_name (seg), ".ex_shared") != 0)
1877 if ((seg->flags & (SEC_READONLY | SEC_CODE)) != 0
1878 || fixp->fx_r_type != BFD_RELOC_CTOR)
1880 as_bad_where (fixp->fx_file, fixp->fx_line,
1881 _("Relocation cannot be done when using -mrelocatable"));
1884 return;
1888 /* Prevent elf_frob_file_before_adjust removing a weak undefined
1889 function descriptor sym if the corresponding code sym is used. */
1891 void
1892 ppc_frob_file_before_adjust ()
1894 symbolS *symp;
1895 asection *toc;
1897 if (!ppc_obj64)
1898 return;
1900 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
1902 const char *name;
1903 char *dotname;
1904 symbolS *dotsym;
1905 size_t len;
1907 name = S_GET_NAME (symp);
1908 if (name[0] == '.')
1909 continue;
1911 if (! S_IS_WEAK (symp)
1912 || S_IS_DEFINED (symp))
1913 continue;
1915 len = strlen (name) + 1;
1916 dotname = xmalloc (len + 1);
1917 dotname[0] = '.';
1918 memcpy (dotname + 1, name, len);
1919 dotsym = symbol_find (dotname);
1920 free (dotname);
1921 if (dotsym != NULL && (symbol_used_p (dotsym)
1922 || symbol_used_in_reloc_p (dotsym)))
1923 symbol_mark_used (symp);
1927 toc = bfd_get_section_by_name (stdoutput, ".toc");
1928 if (toc != NULL
1929 && bfd_section_size (stdoutput, toc) > 0x10000)
1930 as_warn (_("TOC section size exceeds 64k"));
1932 /* Don't emit .TOC. symbol. */
1933 symp = symbol_find (".TOC.");
1934 if (symp != NULL)
1935 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
1937 #endif /* OBJ_ELF */
1939 #ifdef TE_PE
1942 * Summary of parse_toc_entry.
1944 * in: Input_line_pointer points to the '[' in one of:
1946 * [toc] [tocv] [toc32] [toc64]
1948 * Anything else is an error of one kind or another.
1950 * out:
1951 * return value: success or failure
1952 * toc_kind: kind of toc reference
1953 * input_line_pointer:
1954 * success: first char after the ']'
1955 * failure: unchanged
1957 * settings:
1959 * [toc] - rv == success, toc_kind = default_toc
1960 * [tocv] - rv == success, toc_kind = data_in_toc
1961 * [toc32] - rv == success, toc_kind = must_be_32
1962 * [toc64] - rv == success, toc_kind = must_be_64
1966 enum toc_size_qualifier
1968 default_toc, /* The toc cell constructed should be the system default size */
1969 data_in_toc, /* This is a direct reference to a toc cell */
1970 must_be_32, /* The toc cell constructed must be 32 bits wide */
1971 must_be_64 /* The toc cell constructed must be 64 bits wide */
1974 static int
1975 parse_toc_entry (toc_kind)
1976 enum toc_size_qualifier *toc_kind;
1978 char *start;
1979 char *toc_spec;
1980 char c;
1981 enum toc_size_qualifier t;
1983 /* Save the input_line_pointer. */
1984 start = input_line_pointer;
1986 /* Skip over the '[' , and whitespace. */
1987 ++input_line_pointer;
1988 SKIP_WHITESPACE ();
1990 /* Find the spelling of the operand. */
1991 toc_spec = input_line_pointer;
1992 c = get_symbol_end ();
1994 if (strcmp (toc_spec, "toc") == 0)
1996 t = default_toc;
1998 else if (strcmp (toc_spec, "tocv") == 0)
2000 t = data_in_toc;
2002 else if (strcmp (toc_spec, "toc32") == 0)
2004 t = must_be_32;
2006 else if (strcmp (toc_spec, "toc64") == 0)
2008 t = must_be_64;
2010 else
2012 as_bad (_("syntax error: invalid toc specifier `%s'"), toc_spec);
2013 *input_line_pointer = c;
2014 input_line_pointer = start;
2015 return 0;
2018 /* Now find the ']'. */
2019 *input_line_pointer = c;
2021 SKIP_WHITESPACE (); /* leading whitespace could be there. */
2022 c = *input_line_pointer++; /* input_line_pointer->past char in c. */
2024 if (c != ']')
2026 as_bad (_("syntax error: expected `]', found `%c'"), c);
2027 input_line_pointer = start;
2028 return 0;
2031 *toc_kind = t;
2032 return 1;
2034 #endif
2037 #ifdef OBJ_ELF
2038 #define APUID(a,v) ((((a) & 0xffff) << 16) | ((v) & 0xffff))
2039 static void
2040 ppc_apuinfo_section_add (apu, version)
2041 unsigned int apu, version;
2043 unsigned int i;
2045 /* Check we don't already exist. */
2046 for (i = 0; i < ppc_apuinfo_num; i++)
2047 if (ppc_apuinfo_list[i] == APUID (apu, version))
2048 return;
2050 if (ppc_apuinfo_num == ppc_apuinfo_num_alloc)
2052 if (ppc_apuinfo_num_alloc == 0)
2054 ppc_apuinfo_num_alloc = 4;
2055 ppc_apuinfo_list = (unsigned long *)
2056 xmalloc (sizeof (unsigned long) * ppc_apuinfo_num_alloc);
2058 else
2060 ppc_apuinfo_num_alloc += 4;
2061 ppc_apuinfo_list = (unsigned long *) xrealloc (ppc_apuinfo_list,
2062 sizeof (unsigned long) * ppc_apuinfo_num_alloc);
2065 ppc_apuinfo_list[ppc_apuinfo_num++] = APUID (apu, version);
2067 #undef APUID
2068 #endif
2071 /* We need to keep a list of fixups. We can't simply generate them as
2072 we go, because that would require us to first create the frag, and
2073 that would screw up references to ``.''. */
2075 struct ppc_fixup
2077 expressionS exp;
2078 int opindex;
2079 bfd_reloc_code_real_type reloc;
2082 #define MAX_INSN_FIXUPS (5)
2084 /* This routine is called for each instruction to be assembled. */
2086 void
2087 md_assemble (str)
2088 char *str;
2090 char *s;
2091 const struct powerpc_opcode *opcode;
2092 unsigned long insn;
2093 const unsigned char *opindex_ptr;
2094 int skip_optional;
2095 int need_paren;
2096 int next_opindex;
2097 struct ppc_fixup fixups[MAX_INSN_FIXUPS];
2098 int fc;
2099 char *f;
2100 int addr_mod;
2101 int i;
2102 #ifdef OBJ_ELF
2103 bfd_reloc_code_real_type reloc;
2104 #endif
2106 /* Get the opcode. */
2107 for (s = str; *s != '\0' && ! ISSPACE (*s); s++)
2109 if (*s != '\0')
2110 *s++ = '\0';
2112 /* Look up the opcode in the hash table. */
2113 opcode = (const struct powerpc_opcode *) hash_find (ppc_hash, str);
2114 if (opcode == (const struct powerpc_opcode *) NULL)
2116 const struct powerpc_macro *macro;
2118 macro = (const struct powerpc_macro *) hash_find (ppc_macro_hash, str);
2119 if (macro == (const struct powerpc_macro *) NULL)
2120 as_bad (_("Unrecognized opcode: `%s'"), str);
2121 else
2122 ppc_macro (s, macro);
2124 return;
2127 insn = opcode->opcode;
2129 str = s;
2130 while (ISSPACE (*str))
2131 ++str;
2133 /* PowerPC operands are just expressions. The only real issue is
2134 that a few operand types are optional. All cases which might use
2135 an optional operand separate the operands only with commas (in some
2136 cases parentheses are used, as in ``lwz 1,0(1)'' but such cases never
2137 have optional operands). Most instructions with optional operands
2138 have only one. Those that have more than one optional operand can
2139 take either all their operands or none. So, before we start seriously
2140 parsing the operands, we check to see if we have optional operands,
2141 and if we do, we count the number of commas to see which operands
2142 have been omitted. */
2143 skip_optional = 0;
2144 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
2146 const struct powerpc_operand *operand;
2148 operand = &powerpc_operands[*opindex_ptr];
2149 if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0)
2151 unsigned int opcount;
2152 unsigned int num_operands_expected;
2153 unsigned int i;
2155 /* There is an optional operand. Count the number of
2156 commas in the input line. */
2157 if (*str == '\0')
2158 opcount = 0;
2159 else
2161 opcount = 1;
2162 s = str;
2163 while ((s = strchr (s, ',')) != (char *) NULL)
2165 ++opcount;
2166 ++s;
2170 /* Compute the number of expected operands.
2171 Do not count fake operands. */
2172 for (num_operands_expected = 0, i = 0; opcode->operands[i]; i ++)
2173 if ((powerpc_operands [opcode->operands[i]].flags & PPC_OPERAND_FAKE) == 0)
2174 ++ num_operands_expected;
2176 /* If there are fewer operands in the line then are called
2177 for by the instruction, we want to skip the optional
2178 operands. */
2179 if (opcount < num_operands_expected)
2180 skip_optional = 1;
2182 break;
2186 /* Gather the operands. */
2187 need_paren = 0;
2188 next_opindex = 0;
2189 fc = 0;
2190 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
2192 const struct powerpc_operand *operand;
2193 const char *errmsg;
2194 char *hold;
2195 expressionS ex;
2196 char endc;
2198 if (next_opindex == 0)
2199 operand = &powerpc_operands[*opindex_ptr];
2200 else
2202 operand = &powerpc_operands[next_opindex];
2203 next_opindex = 0;
2205 errmsg = NULL;
2207 /* If this is a fake operand, then we do not expect anything
2208 from the input. */
2209 if ((operand->flags & PPC_OPERAND_FAKE) != 0)
2211 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2212 if (errmsg != (const char *) NULL)
2213 as_bad (errmsg);
2214 continue;
2217 /* If this is an optional operand, and we are skipping it, just
2218 insert a zero. */
2219 if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0
2220 && skip_optional)
2222 if (operand->insert)
2224 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2225 if (errmsg != (const char *) NULL)
2226 as_bad (errmsg);
2228 if ((operand->flags & PPC_OPERAND_NEXT) != 0)
2229 next_opindex = *opindex_ptr + 1;
2230 continue;
2233 /* Gather the operand. */
2234 hold = input_line_pointer;
2235 input_line_pointer = str;
2237 #ifdef TE_PE
2238 if (*input_line_pointer == '[')
2240 /* We are expecting something like the second argument here:
2242 * lwz r4,[toc].GS.0.static_int(rtoc)
2243 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^
2244 * The argument following the `]' must be a symbol name, and the
2245 * register must be the toc register: 'rtoc' or '2'
2247 * The effect is to 0 as the displacement field
2248 * in the instruction, and issue an IMAGE_REL_PPC_TOCREL16 (or
2249 * the appropriate variation) reloc against it based on the symbol.
2250 * The linker will build the toc, and insert the resolved toc offset.
2252 * Note:
2253 * o The size of the toc entry is currently assumed to be
2254 * 32 bits. This should not be assumed to be a hard coded
2255 * number.
2256 * o In an effort to cope with a change from 32 to 64 bits,
2257 * there are also toc entries that are specified to be
2258 * either 32 or 64 bits:
2259 * lwz r4,[toc32].GS.0.static_int(rtoc)
2260 * lwz r4,[toc64].GS.0.static_int(rtoc)
2261 * These demand toc entries of the specified size, and the
2262 * instruction probably requires it.
2265 int valid_toc;
2266 enum toc_size_qualifier toc_kind;
2267 bfd_reloc_code_real_type toc_reloc;
2269 /* Go parse off the [tocXX] part. */
2270 valid_toc = parse_toc_entry (&toc_kind);
2272 if (!valid_toc)
2274 /* Note: message has already been issued.
2275 FIXME: what sort of recovery should we do?
2276 demand_rest_of_line (); return; ? */
2279 /* Now get the symbol following the ']'. */
2280 expression (&ex);
2282 switch (toc_kind)
2284 case default_toc:
2285 /* In this case, we may not have seen the symbol yet,
2286 since it is allowed to appear on a .extern or .globl
2287 or just be a label in the .data section. */
2288 toc_reloc = BFD_RELOC_PPC_TOC16;
2289 break;
2290 case data_in_toc:
2291 /* 1. The symbol must be defined and either in the toc
2292 section, or a global.
2293 2. The reloc generated must have the TOCDEFN flag set
2294 in upper bit mess of the reloc type.
2295 FIXME: It's a little confusing what the tocv
2296 qualifier can be used for. At the very least, I've
2297 seen three uses, only one of which I'm sure I can
2298 explain. */
2299 if (ex.X_op == O_symbol)
2301 assert (ex.X_add_symbol != NULL);
2302 if (symbol_get_bfdsym (ex.X_add_symbol)->section
2303 != tocdata_section)
2305 as_bad (_("[tocv] symbol is not a toc symbol"));
2309 toc_reloc = BFD_RELOC_PPC_TOC16;
2310 break;
2311 case must_be_32:
2312 /* FIXME: these next two specifically specify 32/64 bit
2313 toc entries. We don't support them today. Is this
2314 the right way to say that? */
2315 toc_reloc = BFD_RELOC_UNUSED;
2316 as_bad (_("Unimplemented toc32 expression modifier"));
2317 break;
2318 case must_be_64:
2319 /* FIXME: see above. */
2320 toc_reloc = BFD_RELOC_UNUSED;
2321 as_bad (_("Unimplemented toc64 expression modifier"));
2322 break;
2323 default:
2324 fprintf (stderr,
2325 _("Unexpected return value [%d] from parse_toc_entry!\n"),
2326 toc_kind);
2327 abort ();
2328 break;
2331 /* We need to generate a fixup for this expression. */
2332 if (fc >= MAX_INSN_FIXUPS)
2333 as_fatal (_("too many fixups"));
2335 fixups[fc].reloc = toc_reloc;
2336 fixups[fc].exp = ex;
2337 fixups[fc].opindex = *opindex_ptr;
2338 ++fc;
2340 /* Ok. We've set up the fixup for the instruction. Now make it
2341 look like the constant 0 was found here. */
2342 ex.X_unsigned = 1;
2343 ex.X_op = O_constant;
2344 ex.X_add_number = 0;
2345 ex.X_add_symbol = NULL;
2346 ex.X_op_symbol = NULL;
2349 else
2350 #endif /* TE_PE */
2352 if (! register_name (&ex))
2354 if ((operand->flags & PPC_OPERAND_CR) != 0)
2355 cr_operand = TRUE;
2356 expression (&ex);
2357 cr_operand = FALSE;
2361 str = input_line_pointer;
2362 input_line_pointer = hold;
2364 if (ex.X_op == O_illegal)
2365 as_bad (_("illegal operand"));
2366 else if (ex.X_op == O_absent)
2367 as_bad (_("missing operand"));
2368 else if (ex.X_op == O_register)
2370 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2371 (char *) NULL, 0);
2373 else if (ex.X_op == O_constant)
2375 #ifdef OBJ_ELF
2376 /* Allow @HA, @L, @H on constants. */
2377 char *orig_str = str;
2379 if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2380 switch (reloc)
2382 default:
2383 str = orig_str;
2384 break;
2386 case BFD_RELOC_LO16:
2387 /* X_unsigned is the default, so if the user has done
2388 something which cleared it, we always produce a
2389 signed value. */
2390 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2391 ex.X_add_number &= 0xffff;
2392 else
2393 ex.X_add_number = SEX16 (ex.X_add_number);
2394 break;
2396 case BFD_RELOC_HI16:
2397 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2398 ex.X_add_number = PPC_HI (ex.X_add_number);
2399 else
2400 ex.X_add_number = SEX16 (PPC_HI (ex.X_add_number));
2401 break;
2403 case BFD_RELOC_HI16_S:
2404 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2405 ex.X_add_number = PPC_HA (ex.X_add_number);
2406 else
2407 ex.X_add_number = SEX16 (PPC_HA (ex.X_add_number));
2408 break;
2410 case BFD_RELOC_PPC64_HIGHER:
2411 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2412 ex.X_add_number = PPC_HIGHER (ex.X_add_number);
2413 else
2414 ex.X_add_number = SEX16 (PPC_HIGHER (ex.X_add_number));
2415 break;
2417 case BFD_RELOC_PPC64_HIGHER_S:
2418 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2419 ex.X_add_number = PPC_HIGHERA (ex.X_add_number);
2420 else
2421 ex.X_add_number = SEX16 (PPC_HIGHERA (ex.X_add_number));
2422 break;
2424 case BFD_RELOC_PPC64_HIGHEST:
2425 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2426 ex.X_add_number = PPC_HIGHEST (ex.X_add_number);
2427 else
2428 ex.X_add_number = SEX16 (PPC_HIGHEST (ex.X_add_number));
2429 break;
2431 case BFD_RELOC_PPC64_HIGHEST_S:
2432 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2433 ex.X_add_number = PPC_HIGHESTA (ex.X_add_number);
2434 else
2435 ex.X_add_number = SEX16 (PPC_HIGHESTA (ex.X_add_number));
2436 break;
2438 #endif /* OBJ_ELF */
2439 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2440 (char *) NULL, 0);
2442 #ifdef OBJ_ELF
2443 else if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2445 /* Some TLS tweaks. */
2446 switch (reloc)
2448 default:
2449 break;
2450 case BFD_RELOC_PPC_TLS:
2451 insn = ppc_insert_operand (insn, operand, ppc_obj64 ? 13 : 2,
2452 (char *) NULL, 0);
2453 break;
2454 /* We'll only use the 32 (or 64) bit form of these relocations
2455 in constants. Instructions get the 16 bit form. */
2456 case BFD_RELOC_PPC_DTPREL:
2457 reloc = BFD_RELOC_PPC_DTPREL16;
2458 break;
2459 case BFD_RELOC_PPC_TPREL:
2460 reloc = BFD_RELOC_PPC_TPREL16;
2461 break;
2464 /* For the absolute forms of branches, convert the PC
2465 relative form back into the absolute. */
2466 if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0)
2468 switch (reloc)
2470 case BFD_RELOC_PPC_B26:
2471 reloc = BFD_RELOC_PPC_BA26;
2472 break;
2473 case BFD_RELOC_PPC_B16:
2474 reloc = BFD_RELOC_PPC_BA16;
2475 break;
2476 case BFD_RELOC_PPC_B16_BRTAKEN:
2477 reloc = BFD_RELOC_PPC_BA16_BRTAKEN;
2478 break;
2479 case BFD_RELOC_PPC_B16_BRNTAKEN:
2480 reloc = BFD_RELOC_PPC_BA16_BRNTAKEN;
2481 break;
2482 default:
2483 break;
2487 if (ppc_obj64
2488 && (operand->flags & (PPC_OPERAND_DS | PPC_OPERAND_DQ)) != 0)
2490 switch (reloc)
2492 case BFD_RELOC_16:
2493 reloc = BFD_RELOC_PPC64_ADDR16_DS;
2494 break;
2495 case BFD_RELOC_LO16:
2496 reloc = BFD_RELOC_PPC64_ADDR16_LO_DS;
2497 break;
2498 case BFD_RELOC_16_GOTOFF:
2499 reloc = BFD_RELOC_PPC64_GOT16_DS;
2500 break;
2501 case BFD_RELOC_LO16_GOTOFF:
2502 reloc = BFD_RELOC_PPC64_GOT16_LO_DS;
2503 break;
2504 case BFD_RELOC_LO16_PLTOFF:
2505 reloc = BFD_RELOC_PPC64_PLT16_LO_DS;
2506 break;
2507 case BFD_RELOC_16_BASEREL:
2508 reloc = BFD_RELOC_PPC64_SECTOFF_DS;
2509 break;
2510 case BFD_RELOC_LO16_BASEREL:
2511 reloc = BFD_RELOC_PPC64_SECTOFF_LO_DS;
2512 break;
2513 case BFD_RELOC_PPC_TOC16:
2514 reloc = BFD_RELOC_PPC64_TOC16_DS;
2515 break;
2516 case BFD_RELOC_PPC64_TOC16_LO:
2517 reloc = BFD_RELOC_PPC64_TOC16_LO_DS;
2518 break;
2519 case BFD_RELOC_PPC64_PLTGOT16:
2520 reloc = BFD_RELOC_PPC64_PLTGOT16_DS;
2521 break;
2522 case BFD_RELOC_PPC64_PLTGOT16_LO:
2523 reloc = BFD_RELOC_PPC64_PLTGOT16_LO_DS;
2524 break;
2525 case BFD_RELOC_PPC_DTPREL16:
2526 reloc = BFD_RELOC_PPC64_DTPREL16_DS;
2527 break;
2528 case BFD_RELOC_PPC_DTPREL16_LO:
2529 reloc = BFD_RELOC_PPC64_DTPREL16_LO_DS;
2530 break;
2531 case BFD_RELOC_PPC_TPREL16:
2532 reloc = BFD_RELOC_PPC64_TPREL16_DS;
2533 break;
2534 case BFD_RELOC_PPC_TPREL16_LO:
2535 reloc = BFD_RELOC_PPC64_TPREL16_LO_DS;
2536 break;
2537 case BFD_RELOC_PPC_GOT_DTPREL16:
2538 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
2539 case BFD_RELOC_PPC_GOT_TPREL16:
2540 case BFD_RELOC_PPC_GOT_TPREL16_LO:
2541 break;
2542 default:
2543 as_bad (_("unsupported relocation for DS offset field"));
2544 break;
2548 /* We need to generate a fixup for this expression. */
2549 if (fc >= MAX_INSN_FIXUPS)
2550 as_fatal (_("too many fixups"));
2551 fixups[fc].exp = ex;
2552 fixups[fc].opindex = 0;
2553 fixups[fc].reloc = reloc;
2554 ++fc;
2556 #endif /* OBJ_ELF */
2558 else
2560 /* We need to generate a fixup for this expression. */
2561 if (fc >= MAX_INSN_FIXUPS)
2562 as_fatal (_("too many fixups"));
2563 fixups[fc].exp = ex;
2564 fixups[fc].opindex = *opindex_ptr;
2565 fixups[fc].reloc = BFD_RELOC_UNUSED;
2566 ++fc;
2569 if (need_paren)
2571 endc = ')';
2572 need_paren = 0;
2574 else if ((operand->flags & PPC_OPERAND_PARENS) != 0)
2576 endc = '(';
2577 need_paren = 1;
2579 else
2580 endc = ',';
2582 /* The call to expression should have advanced str past any
2583 whitespace. */
2584 if (*str != endc
2585 && (endc != ',' || *str != '\0'))
2587 as_bad (_("syntax error; found `%c' but expected `%c'"), *str, endc);
2588 break;
2591 if (*str != '\0')
2592 ++str;
2595 while (ISSPACE (*str))
2596 ++str;
2598 if (*str != '\0')
2599 as_bad (_("junk at end of line: `%s'"), str);
2601 #ifdef OBJ_ELF
2602 /* Do we need/want a APUinfo section? */
2603 if (ppc_cpu & (PPC_OPCODE_SPE
2604 | PPC_OPCODE_ISEL | PPC_OPCODE_EFS
2605 | PPC_OPCODE_BRLOCK | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
2606 | PPC_OPCODE_RFMCI))
2608 /* These are all version "1". */
2609 if (opcode->flags & PPC_OPCODE_SPE)
2610 ppc_apuinfo_section_add (PPC_APUINFO_SPE, 1);
2611 if (opcode->flags & PPC_OPCODE_ISEL)
2612 ppc_apuinfo_section_add (PPC_APUINFO_ISEL, 1);
2613 if (opcode->flags & PPC_OPCODE_EFS)
2614 ppc_apuinfo_section_add (PPC_APUINFO_EFS, 1);
2615 if (opcode->flags & PPC_OPCODE_BRLOCK)
2616 ppc_apuinfo_section_add (PPC_APUINFO_BRLOCK, 1);
2617 if (opcode->flags & PPC_OPCODE_PMR)
2618 ppc_apuinfo_section_add (PPC_APUINFO_PMR, 1);
2619 if (opcode->flags & PPC_OPCODE_CACHELCK)
2620 ppc_apuinfo_section_add (PPC_APUINFO_CACHELCK, 1);
2621 if (opcode->flags & PPC_OPCODE_RFMCI)
2622 ppc_apuinfo_section_add (PPC_APUINFO_RFMCI, 1);
2624 #endif
2626 /* Write out the instruction. */
2627 f = frag_more (4);
2628 addr_mod = frag_now_fix () & 3;
2629 if (frag_now->has_code && frag_now->insn_addr != addr_mod)
2630 as_bad (_("instruction address is not a multiple of 4"));
2631 frag_now->insn_addr = addr_mod;
2632 frag_now->has_code = 1;
2633 md_number_to_chars (f, insn, 4);
2635 #ifdef OBJ_ELF
2636 dwarf2_emit_insn (4);
2637 #endif
2639 /* Create any fixups. At this point we do not use a
2640 bfd_reloc_code_real_type, but instead just use the
2641 BFD_RELOC_UNUSED plus the operand index. This lets us easily
2642 handle fixups for any operand type, although that is admittedly
2643 not a very exciting feature. We pick a BFD reloc type in
2644 md_apply_fix3. */
2645 for (i = 0; i < fc; i++)
2647 const struct powerpc_operand *operand;
2649 operand = &powerpc_operands[fixups[i].opindex];
2650 if (fixups[i].reloc != BFD_RELOC_UNUSED)
2652 reloc_howto_type *reloc_howto;
2653 int size;
2654 int offset;
2655 fixS *fixP;
2657 reloc_howto = bfd_reloc_type_lookup (stdoutput, fixups[i].reloc);
2658 if (!reloc_howto)
2659 abort ();
2661 size = bfd_get_reloc_size (reloc_howto);
2662 offset = target_big_endian ? (4 - size) : 0;
2664 if (size < 1 || size > 4)
2665 abort ();
2667 fixP = fix_new_exp (frag_now,
2668 f - frag_now->fr_literal + offset,
2669 size,
2670 &fixups[i].exp,
2671 reloc_howto->pc_relative,
2672 fixups[i].reloc);
2674 /* Turn off complaints that the addend is too large for things like
2675 foo+100000@ha. */
2676 switch (fixups[i].reloc)
2678 case BFD_RELOC_16_GOTOFF:
2679 case BFD_RELOC_PPC_TOC16:
2680 case BFD_RELOC_LO16:
2681 case BFD_RELOC_HI16:
2682 case BFD_RELOC_HI16_S:
2683 #ifdef OBJ_ELF
2684 case BFD_RELOC_PPC64_HIGHER:
2685 case BFD_RELOC_PPC64_HIGHER_S:
2686 case BFD_RELOC_PPC64_HIGHEST:
2687 case BFD_RELOC_PPC64_HIGHEST_S:
2688 #endif
2689 fixP->fx_no_overflow = 1;
2690 break;
2691 default:
2692 break;
2695 else
2696 fix_new_exp (frag_now,
2697 f - frag_now->fr_literal,
2699 &fixups[i].exp,
2700 (operand->flags & PPC_OPERAND_RELATIVE) != 0,
2701 ((bfd_reloc_code_real_type)
2702 (fixups[i].opindex + (int) BFD_RELOC_UNUSED)));
2706 /* Handle a macro. Gather all the operands, transform them as
2707 described by the macro, and call md_assemble recursively. All the
2708 operands are separated by commas; we don't accept parentheses
2709 around operands here. */
2711 static void
2712 ppc_macro (str, macro)
2713 char *str;
2714 const struct powerpc_macro *macro;
2716 char *operands[10];
2717 unsigned int count;
2718 char *s;
2719 unsigned int len;
2720 const char *format;
2721 int arg;
2722 char *send;
2723 char *complete;
2725 /* Gather the users operands into the operands array. */
2726 count = 0;
2727 s = str;
2728 while (1)
2730 if (count >= sizeof operands / sizeof operands[0])
2731 break;
2732 operands[count++] = s;
2733 s = strchr (s, ',');
2734 if (s == (char *) NULL)
2735 break;
2736 *s++ = '\0';
2739 if (count != macro->operands)
2741 as_bad (_("wrong number of operands"));
2742 return;
2745 /* Work out how large the string must be (the size is unbounded
2746 because it includes user input). */
2747 len = 0;
2748 format = macro->format;
2749 while (*format != '\0')
2751 if (*format != '%')
2753 ++len;
2754 ++format;
2756 else
2758 arg = strtol (format + 1, &send, 10);
2759 know (send != format && arg >= 0 && arg < count);
2760 len += strlen (operands[arg]);
2761 format = send;
2765 /* Put the string together. */
2766 complete = s = (char *) alloca (len + 1);
2767 format = macro->format;
2768 while (*format != '\0')
2770 if (*format != '%')
2771 *s++ = *format++;
2772 else
2774 arg = strtol (format + 1, &send, 10);
2775 strcpy (s, operands[arg]);
2776 s += strlen (s);
2777 format = send;
2780 *s = '\0';
2782 /* Assemble the constructed instruction. */
2783 md_assemble (complete);
2786 #ifdef OBJ_ELF
2787 /* For ELF, add support for SHF_EXCLUDE and SHT_ORDERED. */
2790 ppc_section_letter (letter, ptr_msg)
2791 int letter;
2792 char **ptr_msg;
2794 if (letter == 'e')
2795 return SHF_EXCLUDE;
2797 *ptr_msg = _("Bad .section directive: want a,e,w,x,M,S,G,T in string");
2798 return -1;
2802 ppc_section_word (str, len)
2803 char *str;
2804 size_t len;
2806 if (len == 7 && strncmp (str, "exclude", 7) == 0)
2807 return SHF_EXCLUDE;
2809 return -1;
2813 ppc_section_type (str, len)
2814 char *str;
2815 size_t len;
2817 if (len == 7 && strncmp (str, "ordered", 7) == 0)
2818 return SHT_ORDERED;
2820 return -1;
2824 ppc_section_flags (flags, attr, type)
2825 int flags;
2826 int attr;
2827 int type;
2829 if (type == SHT_ORDERED)
2830 flags |= SEC_ALLOC | SEC_LOAD | SEC_SORT_ENTRIES;
2832 if (attr & SHF_EXCLUDE)
2833 flags |= SEC_EXCLUDE;
2835 return flags;
2837 #endif /* OBJ_ELF */
2840 /* Pseudo-op handling. */
2842 /* The .byte pseudo-op. This is similar to the normal .byte
2843 pseudo-op, but it can also take a single ASCII string. */
2845 static void
2846 ppc_byte (ignore)
2847 int ignore ATTRIBUTE_UNUSED;
2849 if (*input_line_pointer != '\"')
2851 cons (1);
2852 return;
2855 /* Gather characters. A real double quote is doubled. Unusual
2856 characters are not permitted. */
2857 ++input_line_pointer;
2858 while (1)
2860 char c;
2862 c = *input_line_pointer++;
2864 if (c == '\"')
2866 if (*input_line_pointer != '\"')
2867 break;
2868 ++input_line_pointer;
2871 FRAG_APPEND_1_CHAR (c);
2874 demand_empty_rest_of_line ();
2877 #ifdef OBJ_XCOFF
2879 /* XCOFF specific pseudo-op handling. */
2881 /* This is set if we are creating a .stabx symbol, since we don't want
2882 to handle symbol suffixes for such symbols. */
2883 static bfd_boolean ppc_stab_symbol;
2885 /* The .comm and .lcomm pseudo-ops for XCOFF. XCOFF puts common
2886 symbols in the .bss segment as though they were local common
2887 symbols, and uses a different smclas. The native Aix 4.3.3 assembler
2888 aligns .comm and .lcomm to 4 bytes. */
2890 static void
2891 ppc_comm (lcomm)
2892 int lcomm;
2894 asection *current_seg = now_seg;
2895 subsegT current_subseg = now_subseg;
2896 char *name;
2897 char endc;
2898 char *end_name;
2899 offsetT size;
2900 offsetT align;
2901 symbolS *lcomm_sym = NULL;
2902 symbolS *sym;
2903 char *pfrag;
2905 name = input_line_pointer;
2906 endc = get_symbol_end ();
2907 end_name = input_line_pointer;
2908 *end_name = endc;
2910 if (*input_line_pointer != ',')
2912 as_bad (_("missing size"));
2913 ignore_rest_of_line ();
2914 return;
2916 ++input_line_pointer;
2918 size = get_absolute_expression ();
2919 if (size < 0)
2921 as_bad (_("negative size"));
2922 ignore_rest_of_line ();
2923 return;
2926 if (! lcomm)
2928 /* The third argument to .comm is the alignment. */
2929 if (*input_line_pointer != ',')
2930 align = 2;
2931 else
2933 ++input_line_pointer;
2934 align = get_absolute_expression ();
2935 if (align <= 0)
2937 as_warn (_("ignoring bad alignment"));
2938 align = 2;
2942 else
2944 char *lcomm_name;
2945 char lcomm_endc;
2947 if (size <= 4)
2948 align = 2;
2949 else
2950 align = 3;
2952 /* The third argument to .lcomm appears to be the real local
2953 common symbol to create. References to the symbol named in
2954 the first argument are turned into references to the third
2955 argument. */
2956 if (*input_line_pointer != ',')
2958 as_bad (_("missing real symbol name"));
2959 ignore_rest_of_line ();
2960 return;
2962 ++input_line_pointer;
2964 lcomm_name = input_line_pointer;
2965 lcomm_endc = get_symbol_end ();
2967 lcomm_sym = symbol_find_or_make (lcomm_name);
2969 *input_line_pointer = lcomm_endc;
2972 *end_name = '\0';
2973 sym = symbol_find_or_make (name);
2974 *end_name = endc;
2976 if (S_IS_DEFINED (sym)
2977 || S_GET_VALUE (sym) != 0)
2979 as_bad (_("attempt to redefine symbol"));
2980 ignore_rest_of_line ();
2981 return;
2984 record_alignment (bss_section, align);
2986 if (! lcomm
2987 || ! S_IS_DEFINED (lcomm_sym))
2989 symbolS *def_sym;
2990 offsetT def_size;
2992 if (! lcomm)
2994 def_sym = sym;
2995 def_size = size;
2996 S_SET_EXTERNAL (sym);
2998 else
3000 symbol_get_tc (lcomm_sym)->output = 1;
3001 def_sym = lcomm_sym;
3002 def_size = 0;
3005 subseg_set (bss_section, 1);
3006 frag_align (align, 0, 0);
3008 symbol_set_frag (def_sym, frag_now);
3009 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, def_sym,
3010 def_size, (char *) NULL);
3011 *pfrag = 0;
3012 S_SET_SEGMENT (def_sym, bss_section);
3013 symbol_get_tc (def_sym)->align = align;
3015 else if (lcomm)
3017 /* Align the size of lcomm_sym. */
3018 symbol_get_frag (lcomm_sym)->fr_offset =
3019 ((symbol_get_frag (lcomm_sym)->fr_offset + (1 << align) - 1)
3020 &~ ((1 << align) - 1));
3021 if (align > symbol_get_tc (lcomm_sym)->align)
3022 symbol_get_tc (lcomm_sym)->align = align;
3025 if (lcomm)
3027 /* Make sym an offset from lcomm_sym. */
3028 S_SET_SEGMENT (sym, bss_section);
3029 symbol_set_frag (sym, symbol_get_frag (lcomm_sym));
3030 S_SET_VALUE (sym, symbol_get_frag (lcomm_sym)->fr_offset);
3031 symbol_get_frag (lcomm_sym)->fr_offset += size;
3034 subseg_set (current_seg, current_subseg);
3036 demand_empty_rest_of_line ();
3039 /* The .csect pseudo-op. This switches us into a different
3040 subsegment. The first argument is a symbol whose value is the
3041 start of the .csect. In COFF, csect symbols get special aux
3042 entries defined by the x_csect field of union internal_auxent. The
3043 optional second argument is the alignment (the default is 2). */
3045 static void
3046 ppc_csect (ignore)
3047 int ignore ATTRIBUTE_UNUSED;
3049 char *name;
3050 char endc;
3051 symbolS *sym;
3052 offsetT align;
3054 name = input_line_pointer;
3055 endc = get_symbol_end ();
3057 sym = symbol_find_or_make (name);
3059 *input_line_pointer = endc;
3061 if (S_GET_NAME (sym)[0] == '\0')
3063 /* An unnamed csect is assumed to be [PR]. */
3064 symbol_get_tc (sym)->class = XMC_PR;
3067 align = 2;
3068 if (*input_line_pointer == ',')
3070 ++input_line_pointer;
3071 align = get_absolute_expression ();
3074 ppc_change_csect (sym, align);
3076 demand_empty_rest_of_line ();
3079 /* Change to a different csect. */
3081 static void
3082 ppc_change_csect (sym, align)
3083 symbolS *sym;
3084 offsetT align;
3086 if (S_IS_DEFINED (sym))
3087 subseg_set (S_GET_SEGMENT (sym), symbol_get_tc (sym)->subseg);
3088 else
3090 symbolS **list_ptr;
3091 int after_toc;
3092 int hold_chunksize;
3093 symbolS *list;
3094 int is_code;
3095 segT sec;
3097 /* This is a new csect. We need to look at the symbol class to
3098 figure out whether it should go in the text section or the
3099 data section. */
3100 after_toc = 0;
3101 is_code = 0;
3102 switch (symbol_get_tc (sym)->class)
3104 case XMC_PR:
3105 case XMC_RO:
3106 case XMC_DB:
3107 case XMC_GL:
3108 case XMC_XO:
3109 case XMC_SV:
3110 case XMC_TI:
3111 case XMC_TB:
3112 S_SET_SEGMENT (sym, text_section);
3113 symbol_get_tc (sym)->subseg = ppc_text_subsegment;
3114 ++ppc_text_subsegment;
3115 list_ptr = &ppc_text_csects;
3116 is_code = 1;
3117 break;
3118 case XMC_RW:
3119 case XMC_TC0:
3120 case XMC_TC:
3121 case XMC_DS:
3122 case XMC_UA:
3123 case XMC_BS:
3124 case XMC_UC:
3125 if (ppc_toc_csect != NULL
3126 && (symbol_get_tc (ppc_toc_csect)->subseg + 1
3127 == ppc_data_subsegment))
3128 after_toc = 1;
3129 S_SET_SEGMENT (sym, data_section);
3130 symbol_get_tc (sym)->subseg = ppc_data_subsegment;
3131 ++ppc_data_subsegment;
3132 list_ptr = &ppc_data_csects;
3133 break;
3134 default:
3135 abort ();
3138 /* We set the obstack chunk size to a small value before
3139 changing subsegments, so that we don't use a lot of memory
3140 space for what may be a small section. */
3141 hold_chunksize = chunksize;
3142 chunksize = 64;
3144 sec = subseg_new (segment_name (S_GET_SEGMENT (sym)),
3145 symbol_get_tc (sym)->subseg);
3147 chunksize = hold_chunksize;
3149 if (after_toc)
3150 ppc_after_toc_frag = frag_now;
3152 record_alignment (sec, align);
3153 if (is_code)
3154 frag_align_code (align, 0);
3155 else
3156 frag_align (align, 0, 0);
3158 symbol_set_frag (sym, frag_now);
3159 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3161 symbol_get_tc (sym)->align = align;
3162 symbol_get_tc (sym)->output = 1;
3163 symbol_get_tc (sym)->within = sym;
3165 for (list = *list_ptr;
3166 symbol_get_tc (list)->next != (symbolS *) NULL;
3167 list = symbol_get_tc (list)->next)
3169 symbol_get_tc (list)->next = sym;
3171 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3172 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
3173 &symbol_lastP);
3176 ppc_current_csect = sym;
3179 /* This function handles the .text and .data pseudo-ops. These
3180 pseudo-ops aren't really used by XCOFF; we implement them for the
3181 convenience of people who aren't used to XCOFF. */
3183 static void
3184 ppc_section (type)
3185 int type;
3187 const char *name;
3188 symbolS *sym;
3190 if (type == 't')
3191 name = ".text[PR]";
3192 else if (type == 'd')
3193 name = ".data[RW]";
3194 else
3195 abort ();
3197 sym = symbol_find_or_make (name);
3199 ppc_change_csect (sym, 2);
3201 demand_empty_rest_of_line ();
3204 /* This function handles the .section pseudo-op. This is mostly to
3205 give an error, since XCOFF only supports .text, .data and .bss, but
3206 we do permit the user to name the text or data section. */
3208 static void
3209 ppc_named_section (ignore)
3210 int ignore ATTRIBUTE_UNUSED;
3212 char *user_name;
3213 const char *real_name;
3214 char c;
3215 symbolS *sym;
3217 user_name = input_line_pointer;
3218 c = get_symbol_end ();
3220 if (strcmp (user_name, ".text") == 0)
3221 real_name = ".text[PR]";
3222 else if (strcmp (user_name, ".data") == 0)
3223 real_name = ".data[RW]";
3224 else
3226 as_bad (_("The XCOFF file format does not support arbitrary sections"));
3227 *input_line_pointer = c;
3228 ignore_rest_of_line ();
3229 return;
3232 *input_line_pointer = c;
3234 sym = symbol_find_or_make (real_name);
3236 ppc_change_csect (sym, 2);
3238 demand_empty_rest_of_line ();
3241 /* The .extern pseudo-op. We create an undefined symbol. */
3243 static void
3244 ppc_extern (ignore)
3245 int ignore ATTRIBUTE_UNUSED;
3247 char *name;
3248 char endc;
3250 name = input_line_pointer;
3251 endc = get_symbol_end ();
3253 (void) symbol_find_or_make (name);
3255 *input_line_pointer = endc;
3257 demand_empty_rest_of_line ();
3260 /* The .lglobl pseudo-op. Keep the symbol in the symbol table. */
3262 static void
3263 ppc_lglobl (ignore)
3264 int ignore ATTRIBUTE_UNUSED;
3266 char *name;
3267 char endc;
3268 symbolS *sym;
3270 name = input_line_pointer;
3271 endc = get_symbol_end ();
3273 sym = symbol_find_or_make (name);
3275 *input_line_pointer = endc;
3277 symbol_get_tc (sym)->output = 1;
3279 demand_empty_rest_of_line ();
3282 /* The .rename pseudo-op. The RS/6000 assembler can rename symbols,
3283 although I don't know why it bothers. */
3285 static void
3286 ppc_rename (ignore)
3287 int ignore ATTRIBUTE_UNUSED;
3289 char *name;
3290 char endc;
3291 symbolS *sym;
3292 int len;
3294 name = input_line_pointer;
3295 endc = get_symbol_end ();
3297 sym = symbol_find_or_make (name);
3299 *input_line_pointer = endc;
3301 if (*input_line_pointer != ',')
3303 as_bad (_("missing rename string"));
3304 ignore_rest_of_line ();
3305 return;
3307 ++input_line_pointer;
3309 symbol_get_tc (sym)->real_name = demand_copy_C_string (&len);
3311 demand_empty_rest_of_line ();
3314 /* The .stabx pseudo-op. This is similar to a normal .stabs
3315 pseudo-op, but slightly different. A sample is
3316 .stabx "main:F-1",.main,142,0
3317 The first argument is the symbol name to create. The second is the
3318 value, and the third is the storage class. The fourth seems to be
3319 always zero, and I am assuming it is the type. */
3321 static void
3322 ppc_stabx (ignore)
3323 int ignore ATTRIBUTE_UNUSED;
3325 char *name;
3326 int len;
3327 symbolS *sym;
3328 expressionS exp;
3330 name = demand_copy_C_string (&len);
3332 if (*input_line_pointer != ',')
3334 as_bad (_("missing value"));
3335 return;
3337 ++input_line_pointer;
3339 ppc_stab_symbol = TRUE;
3340 sym = symbol_make (name);
3341 ppc_stab_symbol = FALSE;
3343 symbol_get_tc (sym)->real_name = name;
3345 (void) expression (&exp);
3347 switch (exp.X_op)
3349 case O_illegal:
3350 case O_absent:
3351 case O_big:
3352 as_bad (_("illegal .stabx expression; zero assumed"));
3353 exp.X_add_number = 0;
3354 /* Fall through. */
3355 case O_constant:
3356 S_SET_VALUE (sym, (valueT) exp.X_add_number);
3357 symbol_set_frag (sym, &zero_address_frag);
3358 break;
3360 case O_symbol:
3361 if (S_GET_SEGMENT (exp.X_add_symbol) == undefined_section)
3362 symbol_set_value_expression (sym, &exp);
3363 else
3365 S_SET_VALUE (sym,
3366 exp.X_add_number + S_GET_VALUE (exp.X_add_symbol));
3367 symbol_set_frag (sym, symbol_get_frag (exp.X_add_symbol));
3369 break;
3371 default:
3372 /* The value is some complex expression. This will probably
3373 fail at some later point, but this is probably the right
3374 thing to do here. */
3375 symbol_set_value_expression (sym, &exp);
3376 break;
3379 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3380 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3382 if (*input_line_pointer != ',')
3384 as_bad (_("missing class"));
3385 return;
3387 ++input_line_pointer;
3389 S_SET_STORAGE_CLASS (sym, get_absolute_expression ());
3391 if (*input_line_pointer != ',')
3393 as_bad (_("missing type"));
3394 return;
3396 ++input_line_pointer;
3398 S_SET_DATA_TYPE (sym, get_absolute_expression ());
3400 symbol_get_tc (sym)->output = 1;
3402 if (S_GET_STORAGE_CLASS (sym) == C_STSYM) {
3404 symbol_get_tc (sym)->within = ppc_current_block;
3406 /* In this case :
3408 .bs name
3409 .stabx "z",arrays_,133,0
3412 .comm arrays_,13768,3
3414 resolve_symbol_value will copy the exp's "within" into sym's when the
3415 offset is 0. Since this seems to be corner case problem,
3416 only do the correction for storage class C_STSYM. A better solution
3417 would be to have the tc field updated in ppc_symbol_new_hook. */
3419 if (exp.X_op == O_symbol)
3421 symbol_get_tc (exp.X_add_symbol)->within = ppc_current_block;
3425 if (exp.X_op != O_symbol
3426 || ! S_IS_EXTERNAL (exp.X_add_symbol)
3427 || S_GET_SEGMENT (exp.X_add_symbol) != bss_section)
3428 ppc_frob_label (sym);
3429 else
3431 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3432 symbol_append (sym, exp.X_add_symbol, &symbol_rootP, &symbol_lastP);
3433 if (symbol_get_tc (ppc_current_csect)->within == exp.X_add_symbol)
3434 symbol_get_tc (ppc_current_csect)->within = sym;
3437 demand_empty_rest_of_line ();
3440 /* The .function pseudo-op. This takes several arguments. The first
3441 argument seems to be the external name of the symbol. The second
3442 argument seems to be the label for the start of the function. gcc
3443 uses the same name for both. I have no idea what the third and
3444 fourth arguments are meant to be. The optional fifth argument is
3445 an expression for the size of the function. In COFF this symbol
3446 gets an aux entry like that used for a csect. */
3448 static void
3449 ppc_function (ignore)
3450 int ignore ATTRIBUTE_UNUSED;
3452 char *name;
3453 char endc;
3454 char *s;
3455 symbolS *ext_sym;
3456 symbolS *lab_sym;
3458 name = input_line_pointer;
3459 endc = get_symbol_end ();
3461 /* Ignore any [PR] suffix. */
3462 name = ppc_canonicalize_symbol_name (name);
3463 s = strchr (name, '[');
3464 if (s != (char *) NULL
3465 && strcmp (s + 1, "PR]") == 0)
3466 *s = '\0';
3468 ext_sym = symbol_find_or_make (name);
3470 *input_line_pointer = endc;
3472 if (*input_line_pointer != ',')
3474 as_bad (_("missing symbol name"));
3475 ignore_rest_of_line ();
3476 return;
3478 ++input_line_pointer;
3480 name = input_line_pointer;
3481 endc = get_symbol_end ();
3483 lab_sym = symbol_find_or_make (name);
3485 *input_line_pointer = endc;
3487 if (ext_sym != lab_sym)
3489 expressionS exp;
3491 exp.X_op = O_symbol;
3492 exp.X_add_symbol = lab_sym;
3493 exp.X_op_symbol = NULL;
3494 exp.X_add_number = 0;
3495 exp.X_unsigned = 0;
3496 symbol_set_value_expression (ext_sym, &exp);
3499 if (symbol_get_tc (ext_sym)->class == -1)
3500 symbol_get_tc (ext_sym)->class = XMC_PR;
3501 symbol_get_tc (ext_sym)->output = 1;
3503 if (*input_line_pointer == ',')
3505 expressionS ignore;
3507 /* Ignore the third argument. */
3508 ++input_line_pointer;
3509 expression (&ignore);
3510 if (*input_line_pointer == ',')
3512 /* Ignore the fourth argument. */
3513 ++input_line_pointer;
3514 expression (&ignore);
3515 if (*input_line_pointer == ',')
3517 /* The fifth argument is the function size. */
3518 ++input_line_pointer;
3519 symbol_get_tc (ext_sym)->size = symbol_new ("L0\001",
3520 absolute_section,
3521 (valueT) 0,
3522 &zero_address_frag);
3523 pseudo_set (symbol_get_tc (ext_sym)->size);
3528 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
3529 SF_SET_FUNCTION (ext_sym);
3530 SF_SET_PROCESS (ext_sym);
3531 coff_add_linesym (ext_sym);
3533 demand_empty_rest_of_line ();
3536 /* The .bf pseudo-op. This is just like a COFF C_FCN symbol named
3537 ".bf". If the pseudo op .bi was seen before .bf, patch the .bi sym
3538 with the correct line number */
3540 static symbolS *saved_bi_sym = 0;
3542 static void
3543 ppc_bf (ignore)
3544 int ignore ATTRIBUTE_UNUSED;
3546 symbolS *sym;
3548 sym = symbol_make (".bf");
3549 S_SET_SEGMENT (sym, text_section);
3550 symbol_set_frag (sym, frag_now);
3551 S_SET_VALUE (sym, frag_now_fix ());
3552 S_SET_STORAGE_CLASS (sym, C_FCN);
3554 coff_line_base = get_absolute_expression ();
3556 S_SET_NUMBER_AUXILIARY (sym, 1);
3557 SA_SET_SYM_LNNO (sym, coff_line_base);
3559 /* Line number for bi. */
3560 if (saved_bi_sym)
3562 S_SET_VALUE (saved_bi_sym, coff_n_line_nos);
3563 saved_bi_sym = 0;
3567 symbol_get_tc (sym)->output = 1;
3569 ppc_frob_label (sym);
3571 demand_empty_rest_of_line ();
3574 /* The .ef pseudo-op. This is just like a COFF C_FCN symbol named
3575 ".ef", except that the line number is absolute, not relative to the
3576 most recent ".bf" symbol. */
3578 static void
3579 ppc_ef (ignore)
3580 int ignore ATTRIBUTE_UNUSED;
3582 symbolS *sym;
3584 sym = symbol_make (".ef");
3585 S_SET_SEGMENT (sym, text_section);
3586 symbol_set_frag (sym, frag_now);
3587 S_SET_VALUE (sym, frag_now_fix ());
3588 S_SET_STORAGE_CLASS (sym, C_FCN);
3589 S_SET_NUMBER_AUXILIARY (sym, 1);
3590 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3591 symbol_get_tc (sym)->output = 1;
3593 ppc_frob_label (sym);
3595 demand_empty_rest_of_line ();
3598 /* The .bi and .ei pseudo-ops. These take a string argument and
3599 generates a C_BINCL or C_EINCL symbol, which goes at the start of
3600 the symbol list. The value of .bi will be know when the next .bf
3601 is encountered. */
3603 static void
3604 ppc_biei (ei)
3605 int ei;
3607 static symbolS *last_biei;
3609 char *name;
3610 int len;
3611 symbolS *sym;
3612 symbolS *look;
3614 name = demand_copy_C_string (&len);
3616 /* The value of these symbols is actually file offset. Here we set
3617 the value to the index into the line number entries. In
3618 ppc_frob_symbols we set the fix_line field, which will cause BFD
3619 to do the right thing. */
3621 sym = symbol_make (name);
3622 /* obj-coff.c currently only handles line numbers correctly in the
3623 .text section. */
3624 S_SET_SEGMENT (sym, text_section);
3625 S_SET_VALUE (sym, coff_n_line_nos);
3626 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3628 S_SET_STORAGE_CLASS (sym, ei ? C_EINCL : C_BINCL);
3629 symbol_get_tc (sym)->output = 1;
3631 /* Save bi. */
3632 if (ei)
3633 saved_bi_sym = 0;
3634 else
3635 saved_bi_sym = sym;
3637 for (look = last_biei ? last_biei : symbol_rootP;
3638 (look != (symbolS *) NULL
3639 && (S_GET_STORAGE_CLASS (look) == C_FILE
3640 || S_GET_STORAGE_CLASS (look) == C_BINCL
3641 || S_GET_STORAGE_CLASS (look) == C_EINCL));
3642 look = symbol_next (look))
3644 if (look != (symbolS *) NULL)
3646 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3647 symbol_insert (sym, look, &symbol_rootP, &symbol_lastP);
3648 last_biei = sym;
3651 demand_empty_rest_of_line ();
3654 /* The .bs pseudo-op. This generates a C_BSTAT symbol named ".bs".
3655 There is one argument, which is a csect symbol. The value of the
3656 .bs symbol is the index of this csect symbol. */
3658 static void
3659 ppc_bs (ignore)
3660 int ignore ATTRIBUTE_UNUSED;
3662 char *name;
3663 char endc;
3664 symbolS *csect;
3665 symbolS *sym;
3667 if (ppc_current_block != NULL)
3668 as_bad (_("nested .bs blocks"));
3670 name = input_line_pointer;
3671 endc = get_symbol_end ();
3673 csect = symbol_find_or_make (name);
3675 *input_line_pointer = endc;
3677 sym = symbol_make (".bs");
3678 S_SET_SEGMENT (sym, now_seg);
3679 S_SET_STORAGE_CLASS (sym, C_BSTAT);
3680 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3681 symbol_get_tc (sym)->output = 1;
3683 symbol_get_tc (sym)->within = csect;
3685 ppc_frob_label (sym);
3687 ppc_current_block = sym;
3689 demand_empty_rest_of_line ();
3692 /* The .es pseudo-op. Generate a C_ESTART symbol named .es. */
3694 static void
3695 ppc_es (ignore)
3696 int ignore ATTRIBUTE_UNUSED;
3698 symbolS *sym;
3700 if (ppc_current_block == NULL)
3701 as_bad (_(".es without preceding .bs"));
3703 sym = symbol_make (".es");
3704 S_SET_SEGMENT (sym, now_seg);
3705 S_SET_STORAGE_CLASS (sym, C_ESTAT);
3706 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3707 symbol_get_tc (sym)->output = 1;
3709 ppc_frob_label (sym);
3711 ppc_current_block = NULL;
3713 demand_empty_rest_of_line ();
3716 /* The .bb pseudo-op. Generate a C_BLOCK symbol named .bb, with a
3717 line number. */
3719 static void
3720 ppc_bb (ignore)
3721 int ignore ATTRIBUTE_UNUSED;
3723 symbolS *sym;
3725 sym = symbol_make (".bb");
3726 S_SET_SEGMENT (sym, text_section);
3727 symbol_set_frag (sym, frag_now);
3728 S_SET_VALUE (sym, frag_now_fix ());
3729 S_SET_STORAGE_CLASS (sym, C_BLOCK);
3731 S_SET_NUMBER_AUXILIARY (sym, 1);
3732 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3734 symbol_get_tc (sym)->output = 1;
3736 SF_SET_PROCESS (sym);
3738 ppc_frob_label (sym);
3740 demand_empty_rest_of_line ();
3743 /* The .eb pseudo-op. Generate a C_BLOCK symbol named .eb, with a
3744 line number. */
3746 static void
3747 ppc_eb (ignore)
3748 int ignore ATTRIBUTE_UNUSED;
3750 symbolS *sym;
3752 sym = symbol_make (".eb");
3753 S_SET_SEGMENT (sym, text_section);
3754 symbol_set_frag (sym, frag_now);
3755 S_SET_VALUE (sym, frag_now_fix ());
3756 S_SET_STORAGE_CLASS (sym, C_BLOCK);
3757 S_SET_NUMBER_AUXILIARY (sym, 1);
3758 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3759 symbol_get_tc (sym)->output = 1;
3761 SF_SET_PROCESS (sym);
3763 ppc_frob_label (sym);
3765 demand_empty_rest_of_line ();
3768 /* The .bc pseudo-op. This just creates a C_BCOMM symbol with a
3769 specified name. */
3771 static void
3772 ppc_bc (ignore)
3773 int ignore ATTRIBUTE_UNUSED;
3775 char *name;
3776 int len;
3777 symbolS *sym;
3779 name = demand_copy_C_string (&len);
3780 sym = symbol_make (name);
3781 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3782 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3783 S_SET_STORAGE_CLASS (sym, C_BCOMM);
3784 S_SET_VALUE (sym, 0);
3785 symbol_get_tc (sym)->output = 1;
3787 ppc_frob_label (sym);
3789 demand_empty_rest_of_line ();
3792 /* The .ec pseudo-op. This just creates a C_ECOMM symbol. */
3794 static void
3795 ppc_ec (ignore)
3796 int ignore ATTRIBUTE_UNUSED;
3798 symbolS *sym;
3800 sym = symbol_make (".ec");
3801 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3802 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3803 S_SET_STORAGE_CLASS (sym, C_ECOMM);
3804 S_SET_VALUE (sym, 0);
3805 symbol_get_tc (sym)->output = 1;
3807 ppc_frob_label (sym);
3809 demand_empty_rest_of_line ();
3812 /* The .toc pseudo-op. Switch to the .toc subsegment. */
3814 static void
3815 ppc_toc (ignore)
3816 int ignore ATTRIBUTE_UNUSED;
3818 if (ppc_toc_csect != (symbolS *) NULL)
3819 subseg_set (data_section, symbol_get_tc (ppc_toc_csect)->subseg);
3820 else
3822 subsegT subseg;
3823 symbolS *sym;
3824 symbolS *list;
3826 subseg = ppc_data_subsegment;
3827 ++ppc_data_subsegment;
3829 subseg_new (segment_name (data_section), subseg);
3830 ppc_toc_frag = frag_now;
3832 sym = symbol_find_or_make ("TOC[TC0]");
3833 symbol_set_frag (sym, frag_now);
3834 S_SET_SEGMENT (sym, data_section);
3835 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3836 symbol_get_tc (sym)->subseg = subseg;
3837 symbol_get_tc (sym)->output = 1;
3838 symbol_get_tc (sym)->within = sym;
3840 ppc_toc_csect = sym;
3842 for (list = ppc_data_csects;
3843 symbol_get_tc (list)->next != (symbolS *) NULL;
3844 list = symbol_get_tc (list)->next)
3846 symbol_get_tc (list)->next = sym;
3848 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3849 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
3850 &symbol_lastP);
3853 ppc_current_csect = ppc_toc_csect;
3855 demand_empty_rest_of_line ();
3858 /* The AIX assembler automatically aligns the operands of a .long or
3859 .short pseudo-op, and we want to be compatible. */
3861 static void
3862 ppc_xcoff_cons (log_size)
3863 int log_size;
3865 frag_align (log_size, 0, 0);
3866 record_alignment (now_seg, log_size);
3867 cons (1 << log_size);
3870 static void
3871 ppc_vbyte (dummy)
3872 int dummy ATTRIBUTE_UNUSED;
3874 expressionS exp;
3875 int byte_count;
3877 (void) expression (&exp);
3879 if (exp.X_op != O_constant)
3881 as_bad (_("non-constant byte count"));
3882 return;
3885 byte_count = exp.X_add_number;
3887 if (*input_line_pointer != ',')
3889 as_bad (_("missing value"));
3890 return;
3893 ++input_line_pointer;
3894 cons (byte_count);
3897 #endif /* OBJ_XCOFF */
3898 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
3900 /* The .tc pseudo-op. This is used when generating either XCOFF or
3901 ELF. This takes two or more arguments.
3903 When generating XCOFF output, the first argument is the name to
3904 give to this location in the toc; this will be a symbol with class
3905 TC. The rest of the arguments are N-byte values to actually put at
3906 this location in the TOC; often there is just one more argument, a
3907 relocatable symbol reference. The size of the value to store
3908 depends on target word size. A 32-bit target uses 4-byte values, a
3909 64-bit target uses 8-byte values.
3911 When not generating XCOFF output, the arguments are the same, but
3912 the first argument is simply ignored. */
3914 static void
3915 ppc_tc (ignore)
3916 int ignore ATTRIBUTE_UNUSED;
3918 #ifdef OBJ_XCOFF
3920 /* Define the TOC symbol name. */
3922 char *name;
3923 char endc;
3924 symbolS *sym;
3926 if (ppc_toc_csect == (symbolS *) NULL
3927 || ppc_toc_csect != ppc_current_csect)
3929 as_bad (_(".tc not in .toc section"));
3930 ignore_rest_of_line ();
3931 return;
3934 name = input_line_pointer;
3935 endc = get_symbol_end ();
3937 sym = symbol_find_or_make (name);
3939 *input_line_pointer = endc;
3941 if (S_IS_DEFINED (sym))
3943 symbolS *label;
3945 label = symbol_get_tc (ppc_current_csect)->within;
3946 if (symbol_get_tc (label)->class != XMC_TC0)
3948 as_bad (_(".tc with no label"));
3949 ignore_rest_of_line ();
3950 return;
3953 S_SET_SEGMENT (label, S_GET_SEGMENT (sym));
3954 symbol_set_frag (label, symbol_get_frag (sym));
3955 S_SET_VALUE (label, S_GET_VALUE (sym));
3957 while (! is_end_of_line[(unsigned char) *input_line_pointer])
3958 ++input_line_pointer;
3960 return;
3963 S_SET_SEGMENT (sym, now_seg);
3964 symbol_set_frag (sym, frag_now);
3965 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3966 symbol_get_tc (sym)->class = XMC_TC;
3967 symbol_get_tc (sym)->output = 1;
3969 ppc_frob_label (sym);
3972 #endif /* OBJ_XCOFF */
3973 #ifdef OBJ_ELF
3974 int align;
3976 /* Skip the TOC symbol name. */
3977 while (is_part_of_name (*input_line_pointer)
3978 || *input_line_pointer == '['
3979 || *input_line_pointer == ']'
3980 || *input_line_pointer == '{'
3981 || *input_line_pointer == '}')
3982 ++input_line_pointer;
3984 /* Align to a four/eight byte boundary. */
3985 align = ppc_obj64 ? 3 : 2;
3986 frag_align (align, 0, 0);
3987 record_alignment (now_seg, align);
3988 #endif /* OBJ_ELF */
3990 if (*input_line_pointer != ',')
3991 demand_empty_rest_of_line ();
3992 else
3994 ++input_line_pointer;
3995 cons (ppc_obj64 ? 8 : 4);
3999 /* Pseudo-op .machine. */
4001 static void
4002 ppc_machine (ignore)
4003 int ignore ATTRIBUTE_UNUSED;
4005 char *cpu_string;
4006 #define MAX_HISTORY 100
4007 static unsigned long *cpu_history;
4008 static int curr_hist;
4010 SKIP_WHITESPACE ();
4012 if (*input_line_pointer == '"')
4014 int len;
4015 cpu_string = demand_copy_C_string (&len);
4017 else
4019 char c;
4020 cpu_string = input_line_pointer;
4021 c = get_symbol_end ();
4022 cpu_string = xstrdup (cpu_string);
4023 *input_line_pointer = c;
4026 if (cpu_string != NULL)
4028 unsigned long old_cpu = ppc_cpu;
4029 char *p;
4031 for (p = cpu_string; *p != 0; p++)
4032 *p = TOLOWER (*p);
4034 if (strcmp (cpu_string, "push") == 0)
4036 if (cpu_history == NULL)
4037 cpu_history = xmalloc (MAX_HISTORY * sizeof (*cpu_history));
4039 if (curr_hist >= MAX_HISTORY)
4040 as_bad (_(".machine stack overflow"));
4041 else
4042 cpu_history[curr_hist++] = ppc_cpu;
4044 else if (strcmp (cpu_string, "pop") == 0)
4046 if (curr_hist <= 0)
4047 as_bad (_(".machine stack underflow"));
4048 else
4049 ppc_cpu = cpu_history[--curr_hist];
4051 else if (parse_cpu (cpu_string))
4053 else
4054 as_bad (_("invalid machine `%s'"), cpu_string);
4056 if (ppc_cpu != old_cpu)
4057 ppc_setup_opcodes ();
4060 demand_empty_rest_of_line ();
4063 /* See whether a symbol is in the TOC section. */
4065 static int
4066 ppc_is_toc_sym (sym)
4067 symbolS *sym;
4069 #ifdef OBJ_XCOFF
4070 return symbol_get_tc (sym)->class == XMC_TC;
4071 #endif
4072 #ifdef OBJ_ELF
4073 const char *sname = segment_name (S_GET_SEGMENT (sym));
4074 if (ppc_obj64)
4075 return strcmp (sname, ".toc") == 0;
4076 else
4077 return strcmp (sname, ".got") == 0;
4078 #endif
4080 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
4082 #ifdef TE_PE
4084 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
4086 /* Set the current section. */
4087 static void
4088 ppc_set_current_section (new)
4089 segT new;
4091 ppc_previous_section = ppc_current_section;
4092 ppc_current_section = new;
4095 /* pseudo-op: .previous
4096 behaviour: toggles the current section with the previous section.
4097 errors: None
4098 warnings: "No previous section" */
4100 static void
4101 ppc_previous (ignore)
4102 int ignore ATTRIBUTE_UNUSED;
4104 symbolS *tmp;
4106 if (ppc_previous_section == NULL)
4108 as_warn (_("No previous section to return to. Directive ignored."));
4109 return;
4112 subseg_set (ppc_previous_section, 0);
4114 ppc_set_current_section (ppc_previous_section);
4117 /* pseudo-op: .pdata
4118 behaviour: predefined read only data section
4119 double word aligned
4120 errors: None
4121 warnings: None
4122 initial: .section .pdata "adr3"
4123 a - don't know -- maybe a misprint
4124 d - initialized data
4125 r - readable
4126 3 - double word aligned (that would be 4 byte boundary)
4128 commentary:
4129 Tag index tables (also known as the function table) for exception
4130 handling, debugging, etc. */
4132 static void
4133 ppc_pdata (ignore)
4134 int ignore ATTRIBUTE_UNUSED;
4136 if (pdata_section == 0)
4138 pdata_section = subseg_new (".pdata", 0);
4140 bfd_set_section_flags (stdoutput, pdata_section,
4141 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4142 | SEC_READONLY | SEC_DATA ));
4144 bfd_set_section_alignment (stdoutput, pdata_section, 2);
4146 else
4148 pdata_section = subseg_new (".pdata", 0);
4150 ppc_set_current_section (pdata_section);
4153 /* pseudo-op: .ydata
4154 behaviour: predefined read only data section
4155 double word aligned
4156 errors: None
4157 warnings: None
4158 initial: .section .ydata "drw3"
4159 a - don't know -- maybe a misprint
4160 d - initialized data
4161 r - readable
4162 3 - double word aligned (that would be 4 byte boundary)
4163 commentary:
4164 Tag tables (also known as the scope table) for exception handling,
4165 debugging, etc. */
4167 static void
4168 ppc_ydata (ignore)
4169 int ignore ATTRIBUTE_UNUSED;
4171 if (ydata_section == 0)
4173 ydata_section = subseg_new (".ydata", 0);
4174 bfd_set_section_flags (stdoutput, ydata_section,
4175 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4176 | SEC_READONLY | SEC_DATA ));
4178 bfd_set_section_alignment (stdoutput, ydata_section, 3);
4180 else
4182 ydata_section = subseg_new (".ydata", 0);
4184 ppc_set_current_section (ydata_section);
4187 /* pseudo-op: .reldata
4188 behaviour: predefined read write data section
4189 double word aligned (4-byte)
4190 FIXME: relocation is applied to it
4191 FIXME: what's the difference between this and .data?
4192 errors: None
4193 warnings: None
4194 initial: .section .reldata "drw3"
4195 d - initialized data
4196 r - readable
4197 w - writeable
4198 3 - double word aligned (that would be 8 byte boundary)
4200 commentary:
4201 Like .data, but intended to hold data subject to relocation, such as
4202 function descriptors, etc. */
4204 static void
4205 ppc_reldata (ignore)
4206 int ignore ATTRIBUTE_UNUSED;
4208 if (reldata_section == 0)
4210 reldata_section = subseg_new (".reldata", 0);
4212 bfd_set_section_flags (stdoutput, reldata_section,
4213 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4214 | SEC_DATA));
4216 bfd_set_section_alignment (stdoutput, reldata_section, 2);
4218 else
4220 reldata_section = subseg_new (".reldata", 0);
4222 ppc_set_current_section (reldata_section);
4225 /* pseudo-op: .rdata
4226 behaviour: predefined read only data section
4227 double word aligned
4228 errors: None
4229 warnings: None
4230 initial: .section .rdata "dr3"
4231 d - initialized data
4232 r - readable
4233 3 - double word aligned (that would be 4 byte boundary) */
4235 static void
4236 ppc_rdata (ignore)
4237 int ignore ATTRIBUTE_UNUSED;
4239 if (rdata_section == 0)
4241 rdata_section = subseg_new (".rdata", 0);
4242 bfd_set_section_flags (stdoutput, rdata_section,
4243 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4244 | SEC_READONLY | SEC_DATA ));
4246 bfd_set_section_alignment (stdoutput, rdata_section, 2);
4248 else
4250 rdata_section = subseg_new (".rdata", 0);
4252 ppc_set_current_section (rdata_section);
4255 /* pseudo-op: .ualong
4256 behaviour: much like .int, with the exception that no alignment is
4257 performed.
4258 FIXME: test the alignment statement
4259 errors: None
4260 warnings: None */
4262 static void
4263 ppc_ualong (ignore)
4264 int ignore ATTRIBUTE_UNUSED;
4266 /* Try for long. */
4267 cons (4);
4270 /* pseudo-op: .znop <symbol name>
4271 behaviour: Issue a nop instruction
4272 Issue a IMAGE_REL_PPC_IFGLUE relocation against it, using
4273 the supplied symbol name.
4274 errors: None
4275 warnings: Missing symbol name */
4277 static void
4278 ppc_znop (ignore)
4279 int ignore ATTRIBUTE_UNUSED;
4281 unsigned long insn;
4282 const struct powerpc_opcode *opcode;
4283 expressionS ex;
4284 char *f;
4285 symbolS *sym;
4286 char *symbol_name;
4287 char c;
4288 char *name;
4289 unsigned int exp;
4290 flagword flags;
4291 asection *sec;
4293 /* Strip out the symbol name. */
4294 symbol_name = input_line_pointer;
4295 c = get_symbol_end ();
4297 name = xmalloc (input_line_pointer - symbol_name + 1);
4298 strcpy (name, symbol_name);
4300 sym = symbol_find_or_make (name);
4302 *input_line_pointer = c;
4304 SKIP_WHITESPACE ();
4306 /* Look up the opcode in the hash table. */
4307 opcode = (const struct powerpc_opcode *) hash_find (ppc_hash, "nop");
4309 /* Stick in the nop. */
4310 insn = opcode->opcode;
4312 /* Write out the instruction. */
4313 f = frag_more (4);
4314 md_number_to_chars (f, insn, 4);
4315 fix_new (frag_now,
4316 f - frag_now->fr_literal,
4318 sym,
4321 BFD_RELOC_16_GOT_PCREL);
4325 /* pseudo-op:
4326 behaviour:
4327 errors:
4328 warnings: */
4330 static void
4331 ppc_pe_comm (lcomm)
4332 int lcomm;
4334 register char *name;
4335 register char c;
4336 register char *p;
4337 offsetT temp;
4338 register symbolS *symbolP;
4339 offsetT align;
4341 name = input_line_pointer;
4342 c = get_symbol_end ();
4344 /* just after name is now '\0'. */
4345 p = input_line_pointer;
4346 *p = c;
4347 SKIP_WHITESPACE ();
4348 if (*input_line_pointer != ',')
4350 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
4351 ignore_rest_of_line ();
4352 return;
4355 input_line_pointer++; /* skip ',' */
4356 if ((temp = get_absolute_expression ()) < 0)
4358 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp);
4359 ignore_rest_of_line ();
4360 return;
4363 if (! lcomm)
4365 /* The third argument to .comm is the alignment. */
4366 if (*input_line_pointer != ',')
4367 align = 3;
4368 else
4370 ++input_line_pointer;
4371 align = get_absolute_expression ();
4372 if (align <= 0)
4374 as_warn (_("ignoring bad alignment"));
4375 align = 3;
4380 *p = 0;
4381 symbolP = symbol_find_or_make (name);
4383 *p = c;
4384 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
4386 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
4387 S_GET_NAME (symbolP));
4388 ignore_rest_of_line ();
4389 return;
4392 if (S_GET_VALUE (symbolP))
4394 if (S_GET_VALUE (symbolP) != (valueT) temp)
4395 as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
4396 S_GET_NAME (symbolP),
4397 (long) S_GET_VALUE (symbolP),
4398 (long) temp);
4400 else
4402 S_SET_VALUE (symbolP, (valueT) temp);
4403 S_SET_EXTERNAL (symbolP);
4406 demand_empty_rest_of_line ();
4410 * implement the .section pseudo op:
4411 * .section name {, "flags"}
4412 * ^ ^
4413 * | +--- optional flags: 'b' for bss
4414 * | 'i' for info
4415 * +-- section name 'l' for lib
4416 * 'n' for noload
4417 * 'o' for over
4418 * 'w' for data
4419 * 'd' (apparently m88k for data)
4420 * 'x' for text
4421 * But if the argument is not a quoted string, treat it as a
4422 * subsegment number.
4424 * FIXME: this is a copy of the section processing from obj-coff.c, with
4425 * additions/changes for the moto-pas assembler support. There are three
4426 * categories:
4428 * FIXME: I just noticed this. This doesn't work at all really. It it
4429 * setting bits that bfd probably neither understands or uses. The
4430 * correct approach (?) will have to incorporate extra fields attached
4431 * to the section to hold the system specific stuff. (krk)
4433 * Section Contents:
4434 * 'a' - unknown - referred to in documentation, but no definition supplied
4435 * 'c' - section has code
4436 * 'd' - section has initialized data
4437 * 'u' - section has uninitialized data
4438 * 'i' - section contains directives (info)
4439 * 'n' - section can be discarded
4440 * 'R' - remove section at link time
4442 * Section Protection:
4443 * 'r' - section is readable
4444 * 'w' - section is writeable
4445 * 'x' - section is executable
4446 * 's' - section is sharable
4448 * Section Alignment:
4449 * '0' - align to byte boundary
4450 * '1' - align to halfword undary
4451 * '2' - align to word boundary
4452 * '3' - align to doubleword boundary
4453 * '4' - align to quadword boundary
4454 * '5' - align to 32 byte boundary
4455 * '6' - align to 64 byte boundary
4459 void
4460 ppc_pe_section (ignore)
4461 int ignore ATTRIBUTE_UNUSED;
4463 /* Strip out the section name. */
4464 char *section_name;
4465 char c;
4466 char *name;
4467 unsigned int exp;
4468 flagword flags;
4469 segT sec;
4470 int align;
4472 section_name = input_line_pointer;
4473 c = get_symbol_end ();
4475 name = xmalloc (input_line_pointer - section_name + 1);
4476 strcpy (name, section_name);
4478 *input_line_pointer = c;
4480 SKIP_WHITESPACE ();
4482 exp = 0;
4483 flags = SEC_NO_FLAGS;
4485 if (strcmp (name, ".idata$2") == 0)
4487 align = 0;
4489 else if (strcmp (name, ".idata$3") == 0)
4491 align = 0;
4493 else if (strcmp (name, ".idata$4") == 0)
4495 align = 2;
4497 else if (strcmp (name, ".idata$5") == 0)
4499 align = 2;
4501 else if (strcmp (name, ".idata$6") == 0)
4503 align = 1;
4505 else
4506 /* Default alignment to 16 byte boundary. */
4507 align = 4;
4509 if (*input_line_pointer == ',')
4511 ++input_line_pointer;
4512 SKIP_WHITESPACE ();
4513 if (*input_line_pointer != '"')
4514 exp = get_absolute_expression ();
4515 else
4517 ++input_line_pointer;
4518 while (*input_line_pointer != '"'
4519 && ! is_end_of_line[(unsigned char) *input_line_pointer])
4521 switch (*input_line_pointer)
4523 /* Section Contents */
4524 case 'a': /* unknown */
4525 as_bad (_("Unsupported section attribute -- 'a'"));
4526 break;
4527 case 'c': /* code section */
4528 flags |= SEC_CODE;
4529 break;
4530 case 'd': /* section has initialized data */
4531 flags |= SEC_DATA;
4532 break;
4533 case 'u': /* section has uninitialized data */
4534 /* FIXME: This is IMAGE_SCN_CNT_UNINITIALIZED_DATA
4535 in winnt.h */
4536 flags |= SEC_ROM;
4537 break;
4538 case 'i': /* section contains directives (info) */
4539 /* FIXME: This is IMAGE_SCN_LNK_INFO
4540 in winnt.h */
4541 flags |= SEC_HAS_CONTENTS;
4542 break;
4543 case 'n': /* section can be discarded */
4544 flags &=~ SEC_LOAD;
4545 break;
4546 case 'R': /* Remove section at link time */
4547 flags |= SEC_NEVER_LOAD;
4548 break;
4550 /* Section Protection */
4551 case 'r': /* section is readable */
4552 flags |= IMAGE_SCN_MEM_READ;
4553 break;
4554 case 'w': /* section is writeable */
4555 flags |= IMAGE_SCN_MEM_WRITE;
4556 break;
4557 case 'x': /* section is executable */
4558 flags |= IMAGE_SCN_MEM_EXECUTE;
4559 break;
4560 case 's': /* section is sharable */
4561 flags |= IMAGE_SCN_MEM_SHARED;
4562 break;
4564 /* Section Alignment */
4565 case '0': /* align to byte boundary */
4566 flags |= IMAGE_SCN_ALIGN_1BYTES;
4567 align = 0;
4568 break;
4569 case '1': /* align to halfword boundary */
4570 flags |= IMAGE_SCN_ALIGN_2BYTES;
4571 align = 1;
4572 break;
4573 case '2': /* align to word boundary */
4574 flags |= IMAGE_SCN_ALIGN_4BYTES;
4575 align = 2;
4576 break;
4577 case '3': /* align to doubleword boundary */
4578 flags |= IMAGE_SCN_ALIGN_8BYTES;
4579 align = 3;
4580 break;
4581 case '4': /* align to quadword boundary */
4582 flags |= IMAGE_SCN_ALIGN_16BYTES;
4583 align = 4;
4584 break;
4585 case '5': /* align to 32 byte boundary */
4586 flags |= IMAGE_SCN_ALIGN_32BYTES;
4587 align = 5;
4588 break;
4589 case '6': /* align to 64 byte boundary */
4590 flags |= IMAGE_SCN_ALIGN_64BYTES;
4591 align = 6;
4592 break;
4594 default:
4595 as_bad (_("unknown section attribute '%c'"),
4596 *input_line_pointer);
4597 break;
4599 ++input_line_pointer;
4601 if (*input_line_pointer == '"')
4602 ++input_line_pointer;
4606 sec = subseg_new (name, (subsegT) exp);
4608 ppc_set_current_section (sec);
4610 if (flags != SEC_NO_FLAGS)
4612 if (! bfd_set_section_flags (stdoutput, sec, flags))
4613 as_bad (_("error setting flags for \"%s\": %s"),
4614 bfd_section_name (stdoutput, sec),
4615 bfd_errmsg (bfd_get_error ()));
4618 bfd_set_section_alignment (stdoutput, sec, align);
4622 static void
4623 ppc_pe_function (ignore)
4624 int ignore ATTRIBUTE_UNUSED;
4626 char *name;
4627 char endc;
4628 symbolS *ext_sym;
4630 name = input_line_pointer;
4631 endc = get_symbol_end ();
4633 ext_sym = symbol_find_or_make (name);
4635 *input_line_pointer = endc;
4637 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
4638 SF_SET_FUNCTION (ext_sym);
4639 SF_SET_PROCESS (ext_sym);
4640 coff_add_linesym (ext_sym);
4642 demand_empty_rest_of_line ();
4645 static void
4646 ppc_pe_tocd (ignore)
4647 int ignore ATTRIBUTE_UNUSED;
4649 if (tocdata_section == 0)
4651 tocdata_section = subseg_new (".tocd", 0);
4652 /* FIXME: section flags won't work. */
4653 bfd_set_section_flags (stdoutput, tocdata_section,
4654 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4655 | SEC_READONLY | SEC_DATA));
4657 bfd_set_section_alignment (stdoutput, tocdata_section, 2);
4659 else
4661 rdata_section = subseg_new (".tocd", 0);
4664 ppc_set_current_section (tocdata_section);
4666 demand_empty_rest_of_line ();
4669 /* Don't adjust TOC relocs to use the section symbol. */
4672 ppc_pe_fix_adjustable (fix)
4673 fixS *fix;
4675 return fix->fx_r_type != BFD_RELOC_PPC_TOC16;
4678 #endif
4680 #ifdef OBJ_XCOFF
4682 /* XCOFF specific symbol and file handling. */
4684 /* Canonicalize the symbol name. We use the to force the suffix, if
4685 any, to use square brackets, and to be in upper case. */
4687 char *
4688 ppc_canonicalize_symbol_name (name)
4689 char *name;
4691 char *s;
4693 if (ppc_stab_symbol)
4694 return name;
4696 for (s = name; *s != '\0' && *s != '{' && *s != '['; s++)
4698 if (*s != '\0')
4700 char brac;
4702 if (*s == '[')
4703 brac = ']';
4704 else
4706 *s = '[';
4707 brac = '}';
4710 for (s++; *s != '\0' && *s != brac; s++)
4711 *s = TOUPPER (*s);
4713 if (*s == '\0' || s[1] != '\0')
4714 as_bad (_("bad symbol suffix"));
4716 *s = ']';
4719 return name;
4722 /* Set the class of a symbol based on the suffix, if any. This is
4723 called whenever a new symbol is created. */
4725 void
4726 ppc_symbol_new_hook (sym)
4727 symbolS *sym;
4729 struct ppc_tc_sy *tc;
4730 const char *s;
4732 tc = symbol_get_tc (sym);
4733 tc->next = NULL;
4734 tc->output = 0;
4735 tc->class = -1;
4736 tc->real_name = NULL;
4737 tc->subseg = 0;
4738 tc->align = 0;
4739 tc->size = NULL;
4740 tc->within = NULL;
4742 if (ppc_stab_symbol)
4743 return;
4745 s = strchr (S_GET_NAME (sym), '[');
4746 if (s == (const char *) NULL)
4748 /* There is no suffix. */
4749 return;
4752 ++s;
4754 switch (s[0])
4756 case 'B':
4757 if (strcmp (s, "BS]") == 0)
4758 tc->class = XMC_BS;
4759 break;
4760 case 'D':
4761 if (strcmp (s, "DB]") == 0)
4762 tc->class = XMC_DB;
4763 else if (strcmp (s, "DS]") == 0)
4764 tc->class = XMC_DS;
4765 break;
4766 case 'G':
4767 if (strcmp (s, "GL]") == 0)
4768 tc->class = XMC_GL;
4769 break;
4770 case 'P':
4771 if (strcmp (s, "PR]") == 0)
4772 tc->class = XMC_PR;
4773 break;
4774 case 'R':
4775 if (strcmp (s, "RO]") == 0)
4776 tc->class = XMC_RO;
4777 else if (strcmp (s, "RW]") == 0)
4778 tc->class = XMC_RW;
4779 break;
4780 case 'S':
4781 if (strcmp (s, "SV]") == 0)
4782 tc->class = XMC_SV;
4783 break;
4784 case 'T':
4785 if (strcmp (s, "TC]") == 0)
4786 tc->class = XMC_TC;
4787 else if (strcmp (s, "TI]") == 0)
4788 tc->class = XMC_TI;
4789 else if (strcmp (s, "TB]") == 0)
4790 tc->class = XMC_TB;
4791 else if (strcmp (s, "TC0]") == 0 || strcmp (s, "T0]") == 0)
4792 tc->class = XMC_TC0;
4793 break;
4794 case 'U':
4795 if (strcmp (s, "UA]") == 0)
4796 tc->class = XMC_UA;
4797 else if (strcmp (s, "UC]") == 0)
4798 tc->class = XMC_UC;
4799 break;
4800 case 'X':
4801 if (strcmp (s, "XO]") == 0)
4802 tc->class = XMC_XO;
4803 break;
4806 if (tc->class == -1)
4807 as_bad (_("Unrecognized symbol suffix"));
4810 /* Set the class of a label based on where it is defined. This
4811 handles symbols without suffixes. Also, move the symbol so that it
4812 follows the csect symbol. */
4814 void
4815 ppc_frob_label (sym)
4816 symbolS *sym;
4818 if (ppc_current_csect != (symbolS *) NULL)
4820 if (symbol_get_tc (sym)->class == -1)
4821 symbol_get_tc (sym)->class = symbol_get_tc (ppc_current_csect)->class;
4823 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
4824 symbol_append (sym, symbol_get_tc (ppc_current_csect)->within,
4825 &symbol_rootP, &symbol_lastP);
4826 symbol_get_tc (ppc_current_csect)->within = sym;
4830 /* This variable is set by ppc_frob_symbol if any absolute symbols are
4831 seen. It tells ppc_adjust_symtab whether it needs to look through
4832 the symbols. */
4834 static bfd_boolean ppc_saw_abs;
4836 /* Change the name of a symbol just before writing it out. Set the
4837 real name if the .rename pseudo-op was used. Otherwise, remove any
4838 class suffix. Return 1 if the symbol should not be included in the
4839 symbol table. */
4842 ppc_frob_symbol (sym)
4843 symbolS *sym;
4845 static symbolS *ppc_last_function;
4846 static symbolS *set_end;
4848 /* Discard symbols that should not be included in the output symbol
4849 table. */
4850 if (! symbol_used_in_reloc_p (sym)
4851 && ((symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) != 0
4852 || (! (S_IS_EXTERNAL (sym) || S_IS_WEAK (sym))
4853 && ! symbol_get_tc (sym)->output
4854 && S_GET_STORAGE_CLASS (sym) != C_FILE)))
4855 return 1;
4857 /* This one will disappear anyway. Don't make a csect sym for it. */
4858 if (sym == abs_section_sym)
4859 return 1;
4861 if (symbol_get_tc (sym)->real_name != (char *) NULL)
4862 S_SET_NAME (sym, symbol_get_tc (sym)->real_name);
4863 else
4865 const char *name;
4866 const char *s;
4868 name = S_GET_NAME (sym);
4869 s = strchr (name, '[');
4870 if (s != (char *) NULL)
4872 unsigned int len;
4873 char *snew;
4875 len = s - name;
4876 snew = xmalloc (len + 1);
4877 memcpy (snew, name, len);
4878 snew[len] = '\0';
4880 S_SET_NAME (sym, snew);
4884 if (set_end != (symbolS *) NULL)
4886 SA_SET_SYM_ENDNDX (set_end, sym);
4887 set_end = NULL;
4890 if (SF_GET_FUNCTION (sym))
4892 if (ppc_last_function != (symbolS *) NULL)
4893 as_bad (_("two .function pseudo-ops with no intervening .ef"));
4894 ppc_last_function = sym;
4895 if (symbol_get_tc (sym)->size != (symbolS *) NULL)
4897 resolve_symbol_value (symbol_get_tc (sym)->size);
4898 SA_SET_SYM_FSIZE (sym,
4899 (long) S_GET_VALUE (symbol_get_tc (sym)->size));
4902 else if (S_GET_STORAGE_CLASS (sym) == C_FCN
4903 && strcmp (S_GET_NAME (sym), ".ef") == 0)
4905 if (ppc_last_function == (symbolS *) NULL)
4906 as_bad (_(".ef with no preceding .function"));
4907 else
4909 set_end = ppc_last_function;
4910 ppc_last_function = NULL;
4912 /* We don't have a C_EFCN symbol, but we need to force the
4913 COFF backend to believe that it has seen one. */
4914 coff_last_function = NULL;
4918 if (! (S_IS_EXTERNAL (sym) || S_IS_WEAK (sym))
4919 && (symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) == 0
4920 && S_GET_STORAGE_CLASS (sym) != C_FILE
4921 && S_GET_STORAGE_CLASS (sym) != C_FCN
4922 && S_GET_STORAGE_CLASS (sym) != C_BLOCK
4923 && S_GET_STORAGE_CLASS (sym) != C_BSTAT
4924 && S_GET_STORAGE_CLASS (sym) != C_ESTAT
4925 && S_GET_STORAGE_CLASS (sym) != C_BINCL
4926 && S_GET_STORAGE_CLASS (sym) != C_EINCL
4927 && S_GET_SEGMENT (sym) != ppc_coff_debug_section)
4928 S_SET_STORAGE_CLASS (sym, C_HIDEXT);
4930 if (S_GET_STORAGE_CLASS (sym) == C_EXT
4931 || S_GET_STORAGE_CLASS (sym) == C_HIDEXT)
4933 int i;
4934 union internal_auxent *a;
4936 /* Create a csect aux. */
4937 i = S_GET_NUMBER_AUXILIARY (sym);
4938 S_SET_NUMBER_AUXILIARY (sym, i + 1);
4939 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].u.auxent;
4940 if (symbol_get_tc (sym)->class == XMC_TC0)
4942 /* This is the TOC table. */
4943 know (strcmp (S_GET_NAME (sym), "TOC") == 0);
4944 a->x_csect.x_scnlen.l = 0;
4945 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
4947 else if (symbol_get_tc (sym)->subseg != 0)
4949 /* This is a csect symbol. x_scnlen is the size of the
4950 csect. */
4951 if (symbol_get_tc (sym)->next == (symbolS *) NULL)
4952 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
4953 S_GET_SEGMENT (sym))
4954 - S_GET_VALUE (sym));
4955 else
4957 resolve_symbol_value (symbol_get_tc (sym)->next);
4958 a->x_csect.x_scnlen.l = (S_GET_VALUE (symbol_get_tc (sym)->next)
4959 - S_GET_VALUE (sym));
4961 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_SD;
4963 else if (S_GET_SEGMENT (sym) == bss_section)
4965 /* This is a common symbol. */
4966 a->x_csect.x_scnlen.l = symbol_get_frag (sym)->fr_offset;
4967 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_CM;
4968 if (S_IS_EXTERNAL (sym))
4969 symbol_get_tc (sym)->class = XMC_RW;
4970 else
4971 symbol_get_tc (sym)->class = XMC_BS;
4973 else if (S_GET_SEGMENT (sym) == absolute_section)
4975 /* This is an absolute symbol. The csect will be created by
4976 ppc_adjust_symtab. */
4977 ppc_saw_abs = TRUE;
4978 a->x_csect.x_smtyp = XTY_LD;
4979 if (symbol_get_tc (sym)->class == -1)
4980 symbol_get_tc (sym)->class = XMC_XO;
4982 else if (! S_IS_DEFINED (sym))
4984 /* This is an external symbol. */
4985 a->x_csect.x_scnlen.l = 0;
4986 a->x_csect.x_smtyp = XTY_ER;
4988 else if (symbol_get_tc (sym)->class == XMC_TC)
4990 symbolS *next;
4992 /* This is a TOC definition. x_scnlen is the size of the
4993 TOC entry. */
4994 next = symbol_next (sym);
4995 while (symbol_get_tc (next)->class == XMC_TC0)
4996 next = symbol_next (next);
4997 if (next == (symbolS *) NULL
4998 || symbol_get_tc (next)->class != XMC_TC)
5000 if (ppc_after_toc_frag == (fragS *) NULL)
5001 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
5002 data_section)
5003 - S_GET_VALUE (sym));
5004 else
5005 a->x_csect.x_scnlen.l = (ppc_after_toc_frag->fr_address
5006 - S_GET_VALUE (sym));
5008 else
5010 resolve_symbol_value (next);
5011 a->x_csect.x_scnlen.l = (S_GET_VALUE (next)
5012 - S_GET_VALUE (sym));
5014 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
5016 else
5018 symbolS *csect;
5020 /* This is a normal symbol definition. x_scnlen is the
5021 symbol index of the containing csect. */
5022 if (S_GET_SEGMENT (sym) == text_section)
5023 csect = ppc_text_csects;
5024 else if (S_GET_SEGMENT (sym) == data_section)
5025 csect = ppc_data_csects;
5026 else
5027 abort ();
5029 /* Skip the initial dummy symbol. */
5030 csect = symbol_get_tc (csect)->next;
5032 if (csect == (symbolS *) NULL)
5034 as_warn (_("warning: symbol %s has no csect"), S_GET_NAME (sym));
5035 a->x_csect.x_scnlen.l = 0;
5037 else
5039 while (symbol_get_tc (csect)->next != (symbolS *) NULL)
5041 resolve_symbol_value (symbol_get_tc (csect)->next);
5042 if (S_GET_VALUE (symbol_get_tc (csect)->next)
5043 > S_GET_VALUE (sym))
5044 break;
5045 csect = symbol_get_tc (csect)->next;
5048 a->x_csect.x_scnlen.p =
5049 coffsymbol (symbol_get_bfdsym (csect))->native;
5050 coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].fix_scnlen =
5053 a->x_csect.x_smtyp = XTY_LD;
5056 a->x_csect.x_parmhash = 0;
5057 a->x_csect.x_snhash = 0;
5058 if (symbol_get_tc (sym)->class == -1)
5059 a->x_csect.x_smclas = XMC_PR;
5060 else
5061 a->x_csect.x_smclas = symbol_get_tc (sym)->class;
5062 a->x_csect.x_stab = 0;
5063 a->x_csect.x_snstab = 0;
5065 /* Don't let the COFF backend resort these symbols. */
5066 symbol_get_bfdsym (sym)->flags |= BSF_NOT_AT_END;
5068 else if (S_GET_STORAGE_CLASS (sym) == C_BSTAT)
5070 /* We want the value to be the symbol index of the referenced
5071 csect symbol. BFD will do that for us if we set the right
5072 flags. */
5073 asymbol *bsym = symbol_get_bfdsym (symbol_get_tc (sym)->within);
5074 combined_entry_type *c = coffsymbol (bsym)->native;
5076 S_SET_VALUE (sym, (valueT) (size_t) c);
5077 coffsymbol (symbol_get_bfdsym (sym))->native->fix_value = 1;
5079 else if (S_GET_STORAGE_CLASS (sym) == C_STSYM)
5081 symbolS *block;
5082 symbolS *csect;
5084 /* The value is the offset from the enclosing csect. */
5085 block = symbol_get_tc (sym)->within;
5086 csect = symbol_get_tc (block)->within;
5087 resolve_symbol_value (csect);
5088 S_SET_VALUE (sym, S_GET_VALUE (sym) - S_GET_VALUE (csect));
5090 else if (S_GET_STORAGE_CLASS (sym) == C_BINCL
5091 || S_GET_STORAGE_CLASS (sym) == C_EINCL)
5093 /* We want the value to be a file offset into the line numbers.
5094 BFD will do that for us if we set the right flags. We have
5095 already set the value correctly. */
5096 coffsymbol (symbol_get_bfdsym (sym))->native->fix_line = 1;
5099 return 0;
5102 /* Adjust the symbol table. This creates csect symbols for all
5103 absolute symbols. */
5105 void
5106 ppc_adjust_symtab ()
5108 symbolS *sym;
5110 if (! ppc_saw_abs)
5111 return;
5113 for (sym = symbol_rootP; sym != NULL; sym = symbol_next (sym))
5115 symbolS *csect;
5116 int i;
5117 union internal_auxent *a;
5119 if (S_GET_SEGMENT (sym) != absolute_section)
5120 continue;
5122 csect = symbol_create (".abs[XO]", absolute_section,
5123 S_GET_VALUE (sym), &zero_address_frag);
5124 symbol_get_bfdsym (csect)->value = S_GET_VALUE (sym);
5125 S_SET_STORAGE_CLASS (csect, C_HIDEXT);
5126 i = S_GET_NUMBER_AUXILIARY (csect);
5127 S_SET_NUMBER_AUXILIARY (csect, i + 1);
5128 a = &coffsymbol (symbol_get_bfdsym (csect))->native[i + 1].u.auxent;
5129 a->x_csect.x_scnlen.l = 0;
5130 a->x_csect.x_smtyp = XTY_SD;
5131 a->x_csect.x_parmhash = 0;
5132 a->x_csect.x_snhash = 0;
5133 a->x_csect.x_smclas = XMC_XO;
5134 a->x_csect.x_stab = 0;
5135 a->x_csect.x_snstab = 0;
5137 symbol_insert (csect, sym, &symbol_rootP, &symbol_lastP);
5139 i = S_GET_NUMBER_AUXILIARY (sym);
5140 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i].u.auxent;
5141 a->x_csect.x_scnlen.p = coffsymbol (symbol_get_bfdsym (csect))->native;
5142 coffsymbol (symbol_get_bfdsym (sym))->native[i].fix_scnlen = 1;
5145 ppc_saw_abs = FALSE;
5148 /* Set the VMA for a section. This is called on all the sections in
5149 turn. */
5151 void
5152 ppc_frob_section (sec)
5153 asection *sec;
5155 static bfd_vma vma = 0;
5157 vma = md_section_align (sec, vma);
5158 bfd_set_section_vma (stdoutput, sec, vma);
5159 vma += bfd_section_size (stdoutput, sec);
5162 #endif /* OBJ_XCOFF */
5164 /* Turn a string in input_line_pointer into a floating point constant
5165 of type TYPE, and store the appropriate bytes in *LITP. The number
5166 of LITTLENUMS emitted is stored in *SIZEP. An error message is
5167 returned, or NULL on OK. */
5169 char *
5170 md_atof (type, litp, sizep)
5171 int type;
5172 char *litp;
5173 int *sizep;
5175 int prec;
5176 LITTLENUM_TYPE words[4];
5177 char *t;
5178 int i;
5180 switch (type)
5182 case 'f':
5183 prec = 2;
5184 break;
5186 case 'd':
5187 prec = 4;
5188 break;
5190 default:
5191 *sizep = 0;
5192 return _("bad call to md_atof");
5195 t = atof_ieee (input_line_pointer, type, words);
5196 if (t)
5197 input_line_pointer = t;
5199 *sizep = prec * 2;
5201 if (target_big_endian)
5203 for (i = 0; i < prec; i++)
5205 md_number_to_chars (litp, (valueT) words[i], 2);
5206 litp += 2;
5209 else
5211 for (i = prec - 1; i >= 0; i--)
5213 md_number_to_chars (litp, (valueT) words[i], 2);
5214 litp += 2;
5218 return NULL;
5221 /* Write a value out to the object file, using the appropriate
5222 endianness. */
5224 void
5225 md_number_to_chars (buf, val, n)
5226 char *buf;
5227 valueT val;
5228 int n;
5230 if (target_big_endian)
5231 number_to_chars_bigendian (buf, val, n);
5232 else
5233 number_to_chars_littleendian (buf, val, n);
5236 /* Align a section (I don't know why this is machine dependent). */
5238 valueT
5239 md_section_align (seg, addr)
5240 asection *seg;
5241 valueT addr;
5243 int align = bfd_get_section_alignment (stdoutput, seg);
5245 return ((addr + (1 << align) - 1) & (-1 << align));
5248 /* We don't have any form of relaxing. */
5251 md_estimate_size_before_relax (fragp, seg)
5252 fragS *fragp ATTRIBUTE_UNUSED;
5253 asection *seg ATTRIBUTE_UNUSED;
5255 abort ();
5256 return 0;
5259 /* Convert a machine dependent frag. We never generate these. */
5261 void
5262 md_convert_frag (abfd, sec, fragp)
5263 bfd *abfd ATTRIBUTE_UNUSED;
5264 asection *sec ATTRIBUTE_UNUSED;
5265 fragS *fragp ATTRIBUTE_UNUSED;
5267 abort ();
5270 /* We have no need to default values of symbols. */
5272 symbolS *
5273 md_undefined_symbol (name)
5274 char *name ATTRIBUTE_UNUSED;
5276 return 0;
5279 /* Functions concerning relocs. */
5281 /* The location from which a PC relative jump should be calculated,
5282 given a PC relative reloc. */
5284 long
5285 md_pcrel_from_section (fixp, sec)
5286 fixS *fixp;
5287 segT sec ATTRIBUTE_UNUSED;
5289 return fixp->fx_frag->fr_address + fixp->fx_where;
5292 #ifdef OBJ_XCOFF
5294 /* This is called to see whether a fixup should be adjusted to use a
5295 section symbol. We take the opportunity to change a fixup against
5296 a symbol in the TOC subsegment into a reloc against the
5297 corresponding .tc symbol. */
5300 ppc_fix_adjustable (fix)
5301 fixS *fix;
5303 valueT val = resolve_symbol_value (fix->fx_addsy);
5304 segT symseg = S_GET_SEGMENT (fix->fx_addsy);
5305 TC_SYMFIELD_TYPE *tc;
5307 if (symseg == absolute_section)
5308 return 0;
5310 if (ppc_toc_csect != (symbolS *) NULL
5311 && fix->fx_addsy != ppc_toc_csect
5312 && symseg == data_section
5313 && val >= ppc_toc_frag->fr_address
5314 && (ppc_after_toc_frag == (fragS *) NULL
5315 || val < ppc_after_toc_frag->fr_address))
5317 symbolS *sy;
5319 for (sy = symbol_next (ppc_toc_csect);
5320 sy != (symbolS *) NULL;
5321 sy = symbol_next (sy))
5323 TC_SYMFIELD_TYPE *sy_tc = symbol_get_tc (sy);
5325 if (sy_tc->class == XMC_TC0)
5326 continue;
5327 if (sy_tc->class != XMC_TC)
5328 break;
5329 if (val == resolve_symbol_value (sy))
5331 fix->fx_addsy = sy;
5332 fix->fx_addnumber = val - ppc_toc_frag->fr_address;
5333 return 0;
5337 as_bad_where (fix->fx_file, fix->fx_line,
5338 _("symbol in .toc does not match any .tc"));
5341 /* Possibly adjust the reloc to be against the csect. */
5342 tc = symbol_get_tc (fix->fx_addsy);
5343 if (tc->subseg == 0
5344 && tc->class != XMC_TC0
5345 && tc->class != XMC_TC
5346 && symseg != bss_section
5347 /* Don't adjust if this is a reloc in the toc section. */
5348 && (symseg != data_section
5349 || ppc_toc_csect == NULL
5350 || val < ppc_toc_frag->fr_address
5351 || (ppc_after_toc_frag != NULL
5352 && val >= ppc_after_toc_frag->fr_address)))
5354 symbolS *csect;
5355 symbolS *next_csect;
5357 if (symseg == text_section)
5358 csect = ppc_text_csects;
5359 else if (symseg == data_section)
5360 csect = ppc_data_csects;
5361 else
5362 abort ();
5364 /* Skip the initial dummy symbol. */
5365 csect = symbol_get_tc (csect)->next;
5367 if (csect != (symbolS *) NULL)
5369 while ((next_csect = symbol_get_tc (csect)->next) != (symbolS *) NULL
5370 && (symbol_get_frag (next_csect)->fr_address <= val))
5372 /* If the csect address equals the symbol value, then we
5373 have to look through the full symbol table to see
5374 whether this is the csect we want. Note that we will
5375 only get here if the csect has zero length. */
5376 if (symbol_get_frag (csect)->fr_address == val
5377 && S_GET_VALUE (csect) == val)
5379 symbolS *scan;
5381 for (scan = symbol_next (csect);
5382 scan != NULL;
5383 scan = symbol_next (scan))
5385 if (symbol_get_tc (scan)->subseg != 0)
5386 break;
5387 if (scan == fix->fx_addsy)
5388 break;
5391 /* If we found the symbol before the next csect
5392 symbol, then this is the csect we want. */
5393 if (scan == fix->fx_addsy)
5394 break;
5397 csect = next_csect;
5400 fix->fx_offset += val - symbol_get_frag (csect)->fr_address;
5401 fix->fx_addsy = csect;
5403 return 0;
5406 /* Adjust a reloc against a .lcomm symbol to be against the base
5407 .lcomm. */
5408 if (symseg == bss_section
5409 && ! S_IS_EXTERNAL (fix->fx_addsy))
5411 symbolS *sy = symbol_get_frag (fix->fx_addsy)->fr_symbol;
5413 fix->fx_offset += val - resolve_symbol_value (sy);
5414 fix->fx_addsy = sy;
5417 return 0;
5420 /* A reloc from one csect to another must be kept. The assembler
5421 will, of course, keep relocs between sections, and it will keep
5422 absolute relocs, but we need to force it to keep PC relative relocs
5423 between two csects in the same section. */
5426 ppc_force_relocation (fix)
5427 fixS *fix;
5429 /* At this point fix->fx_addsy should already have been converted to
5430 a csect symbol. If the csect does not include the fragment, then
5431 we need to force the relocation. */
5432 if (fix->fx_pcrel
5433 && fix->fx_addsy != NULL
5434 && symbol_get_tc (fix->fx_addsy)->subseg != 0
5435 && ((symbol_get_frag (fix->fx_addsy)->fr_address
5436 > fix->fx_frag->fr_address)
5437 || (symbol_get_tc (fix->fx_addsy)->next != NULL
5438 && (symbol_get_frag (symbol_get_tc (fix->fx_addsy)->next)->fr_address
5439 <= fix->fx_frag->fr_address))))
5440 return 1;
5442 return generic_force_reloc (fix);
5445 #endif /* OBJ_XCOFF */
5447 #ifdef OBJ_ELF
5448 /* If this function returns non-zero, it guarantees that a relocation
5449 will be emitted for a fixup. */
5452 ppc_force_relocation (fix)
5453 fixS *fix;
5455 /* Branch prediction relocations must force a relocation, as must
5456 the vtable description relocs. */
5457 switch (fix->fx_r_type)
5459 case BFD_RELOC_PPC_B16_BRTAKEN:
5460 case BFD_RELOC_PPC_B16_BRNTAKEN:
5461 case BFD_RELOC_PPC_BA16_BRTAKEN:
5462 case BFD_RELOC_PPC_BA16_BRNTAKEN:
5463 case BFD_RELOC_PPC64_TOC:
5464 return 1;
5465 default:
5466 break;
5469 if (fix->fx_r_type >= BFD_RELOC_PPC_TLS
5470 && fix->fx_r_type <= BFD_RELOC_PPC64_DTPREL16_HIGHESTA)
5471 return 1;
5473 return generic_force_reloc (fix);
5477 ppc_fix_adjustable (fix)
5478 fixS *fix;
5480 return (fix->fx_r_type != BFD_RELOC_16_GOTOFF
5481 && fix->fx_r_type != BFD_RELOC_LO16_GOTOFF
5482 && fix->fx_r_type != BFD_RELOC_HI16_GOTOFF
5483 && fix->fx_r_type != BFD_RELOC_HI16_S_GOTOFF
5484 && fix->fx_r_type != BFD_RELOC_GPREL16
5485 && fix->fx_r_type != BFD_RELOC_VTABLE_INHERIT
5486 && fix->fx_r_type != BFD_RELOC_VTABLE_ENTRY
5487 && !(fix->fx_r_type >= BFD_RELOC_PPC_TLS
5488 && fix->fx_r_type <= BFD_RELOC_PPC64_DTPREL16_HIGHESTA));
5490 #endif
5492 /* Apply a fixup to the object code. This is called for all the
5493 fixups we generated by the call to fix_new_exp, above. In the call
5494 above we used a reloc code which was the largest legal reloc code
5495 plus the operand index. Here we undo that to recover the operand
5496 index. At this point all symbol values should be fully resolved,
5497 and we attempt to completely resolve the reloc. If we can not do
5498 that, we determine the correct reloc code and put it back in the
5499 fixup. */
5501 void
5502 md_apply_fix3 (fixP, valP, seg)
5503 fixS *fixP;
5504 valueT * valP;
5505 segT seg ATTRIBUTE_UNUSED;
5507 valueT value = * valP;
5509 #ifdef OBJ_ELF
5510 if (fixP->fx_addsy != NULL)
5512 /* Hack around bfd_install_relocation brain damage. */
5513 if (fixP->fx_pcrel)
5514 value += fixP->fx_frag->fr_address + fixP->fx_where;
5516 else
5517 fixP->fx_done = 1;
5518 #else
5519 /* FIXME FIXME FIXME: The value we are passed in *valP includes
5520 the symbol values. Since we are using BFD_ASSEMBLER, if we are
5521 doing this relocation the code in write.c is going to call
5522 bfd_install_relocation, which is also going to use the symbol
5523 value. That means that if the reloc is fully resolved we want to
5524 use *valP since bfd_install_relocation is not being used.
5525 However, if the reloc is not fully resolved we do not want to use
5526 *valP, and must use fx_offset instead. However, if the reloc
5527 is PC relative, we do want to use *valP since it includes the
5528 result of md_pcrel_from. This is confusing. */
5529 if (fixP->fx_addsy == (symbolS *) NULL)
5530 fixP->fx_done = 1;
5532 else if (fixP->fx_pcrel)
5535 else
5536 value = fixP->fx_offset;
5537 #endif
5539 if (fixP->fx_subsy != (symbolS *) NULL)
5541 /* We can't actually support subtracting a symbol. */
5542 as_bad_where (fixP->fx_file, fixP->fx_line, _("expression too complex"));
5545 if ((int) fixP->fx_r_type >= (int) BFD_RELOC_UNUSED)
5547 int opindex;
5548 const struct powerpc_operand *operand;
5549 char *where;
5550 unsigned long insn;
5552 opindex = (int) fixP->fx_r_type - (int) BFD_RELOC_UNUSED;
5554 operand = &powerpc_operands[opindex];
5556 #ifdef OBJ_XCOFF
5557 /* An instruction like `lwz 9,sym(30)' when `sym' is not a TOC symbol
5558 does not generate a reloc. It uses the offset of `sym' within its
5559 csect. Other usages, such as `.long sym', generate relocs. This
5560 is the documented behaviour of non-TOC symbols. */
5561 if ((operand->flags & PPC_OPERAND_PARENS) != 0
5562 && operand->bits == 16
5563 && operand->shift == 0
5564 && (operand->insert == NULL || ppc_obj64)
5565 && fixP->fx_addsy != NULL
5566 && symbol_get_tc (fixP->fx_addsy)->subseg != 0
5567 && symbol_get_tc (fixP->fx_addsy)->class != XMC_TC
5568 && symbol_get_tc (fixP->fx_addsy)->class != XMC_TC0
5569 && S_GET_SEGMENT (fixP->fx_addsy) != bss_section)
5571 value = fixP->fx_offset;
5572 fixP->fx_done = 1;
5574 #endif
5576 /* Fetch the instruction, insert the fully resolved operand
5577 value, and stuff the instruction back again. */
5578 where = fixP->fx_frag->fr_literal + fixP->fx_where;
5579 if (target_big_endian)
5580 insn = bfd_getb32 ((unsigned char *) where);
5581 else
5582 insn = bfd_getl32 ((unsigned char *) where);
5583 insn = ppc_insert_operand (insn, operand, (offsetT) value,
5584 fixP->fx_file, fixP->fx_line);
5585 if (target_big_endian)
5586 bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
5587 else
5588 bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
5590 if (fixP->fx_done)
5591 /* Nothing else to do here. */
5592 return;
5594 assert (fixP->fx_addsy != NULL);
5596 /* Determine a BFD reloc value based on the operand information.
5597 We are only prepared to turn a few of the operands into
5598 relocs. */
5599 if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
5600 && operand->bits == 26
5601 && operand->shift == 0)
5602 fixP->fx_r_type = BFD_RELOC_PPC_B26;
5603 else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
5604 && operand->bits == 16
5605 && operand->shift == 0)
5607 fixP->fx_r_type = BFD_RELOC_PPC_B16;
5608 #ifdef OBJ_XCOFF
5609 fixP->fx_size = 2;
5610 if (target_big_endian)
5611 fixP->fx_where += 2;
5612 #endif
5614 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
5615 && operand->bits == 26
5616 && operand->shift == 0)
5617 fixP->fx_r_type = BFD_RELOC_PPC_BA26;
5618 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
5619 && operand->bits == 16
5620 && operand->shift == 0)
5622 fixP->fx_r_type = BFD_RELOC_PPC_BA16;
5623 #ifdef OBJ_XCOFF
5624 fixP->fx_size = 2;
5625 if (target_big_endian)
5626 fixP->fx_where += 2;
5627 #endif
5629 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
5630 else if ((operand->flags & PPC_OPERAND_PARENS) != 0
5631 && operand->bits == 16
5632 && operand->shift == 0)
5634 if (ppc_is_toc_sym (fixP->fx_addsy))
5636 fixP->fx_r_type = BFD_RELOC_PPC_TOC16;
5637 #ifdef OBJ_ELF
5638 if (ppc_obj64
5639 && (operand->flags & PPC_OPERAND_DS) != 0)
5640 fixP->fx_r_type = BFD_RELOC_PPC64_TOC16_DS;
5641 #endif
5643 else
5645 fixP->fx_r_type = BFD_RELOC_16;
5646 #ifdef OBJ_ELF
5647 if (ppc_obj64
5648 && (operand->flags & PPC_OPERAND_DS) != 0)
5649 fixP->fx_r_type = BFD_RELOC_PPC64_ADDR16_DS;
5650 #endif
5652 fixP->fx_size = 2;
5653 if (target_big_endian)
5654 fixP->fx_where += 2;
5656 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
5657 else
5659 char *sfile;
5660 unsigned int sline;
5662 /* Use expr_symbol_where to see if this is an expression
5663 symbol. */
5664 if (expr_symbol_where (fixP->fx_addsy, &sfile, &sline))
5665 as_bad_where (fixP->fx_file, fixP->fx_line,
5666 _("unresolved expression that must be resolved"));
5667 else
5668 as_bad_where (fixP->fx_file, fixP->fx_line,
5669 _("unsupported relocation against %s"),
5670 S_GET_NAME (fixP->fx_addsy));
5671 fixP->fx_done = 1;
5672 return;
5675 else
5677 #ifdef OBJ_ELF
5678 ppc_elf_validate_fix (fixP, seg);
5679 #endif
5680 switch (fixP->fx_r_type)
5682 case BFD_RELOC_CTOR:
5683 if (ppc_obj64)
5684 goto ctor64;
5685 /* fall through */
5687 case BFD_RELOC_32:
5688 if (fixP->fx_pcrel)
5689 fixP->fx_r_type = BFD_RELOC_32_PCREL;
5690 /* fall through */
5692 case BFD_RELOC_RVA:
5693 case BFD_RELOC_32_PCREL:
5694 case BFD_RELOC_PPC_EMB_NADDR32:
5695 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5696 value, 4);
5697 break;
5699 case BFD_RELOC_64:
5700 ctor64:
5701 if (fixP->fx_pcrel)
5702 fixP->fx_r_type = BFD_RELOC_64_PCREL;
5703 /* fall through */
5705 case BFD_RELOC_64_PCREL:
5706 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5707 value, 8);
5708 break;
5710 case BFD_RELOC_GPREL16:
5711 case BFD_RELOC_16_GOT_PCREL:
5712 case BFD_RELOC_16_GOTOFF:
5713 case BFD_RELOC_LO16_GOTOFF:
5714 case BFD_RELOC_HI16_GOTOFF:
5715 case BFD_RELOC_HI16_S_GOTOFF:
5716 case BFD_RELOC_16_BASEREL:
5717 case BFD_RELOC_LO16_BASEREL:
5718 case BFD_RELOC_HI16_BASEREL:
5719 case BFD_RELOC_HI16_S_BASEREL:
5720 case BFD_RELOC_PPC_EMB_NADDR16:
5721 case BFD_RELOC_PPC_EMB_NADDR16_LO:
5722 case BFD_RELOC_PPC_EMB_NADDR16_HI:
5723 case BFD_RELOC_PPC_EMB_NADDR16_HA:
5724 case BFD_RELOC_PPC_EMB_SDAI16:
5725 case BFD_RELOC_PPC_EMB_SDA2REL:
5726 case BFD_RELOC_PPC_EMB_SDA2I16:
5727 case BFD_RELOC_PPC_EMB_RELSEC16:
5728 case BFD_RELOC_PPC_EMB_RELST_LO:
5729 case BFD_RELOC_PPC_EMB_RELST_HI:
5730 case BFD_RELOC_PPC_EMB_RELST_HA:
5731 case BFD_RELOC_PPC_EMB_RELSDA:
5732 case BFD_RELOC_PPC_TOC16:
5733 #ifdef OBJ_ELF
5734 case BFD_RELOC_PPC64_TOC16_LO:
5735 case BFD_RELOC_PPC64_TOC16_HI:
5736 case BFD_RELOC_PPC64_TOC16_HA:
5737 #endif
5738 if (fixP->fx_pcrel)
5740 if (fixP->fx_addsy != NULL)
5741 as_bad_where (fixP->fx_file, fixP->fx_line,
5742 _("cannot emit PC relative %s relocation against %s"),
5743 bfd_get_reloc_code_name (fixP->fx_r_type),
5744 S_GET_NAME (fixP->fx_addsy));
5745 else
5746 as_bad_where (fixP->fx_file, fixP->fx_line,
5747 _("cannot emit PC relative %s relocation"),
5748 bfd_get_reloc_code_name (fixP->fx_r_type));
5751 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5752 value, 2);
5753 break;
5755 case BFD_RELOC_16:
5756 if (fixP->fx_pcrel)
5757 fixP->fx_r_type = BFD_RELOC_16_PCREL;
5758 /* fall through */
5760 case BFD_RELOC_16_PCREL:
5761 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5762 value, 2);
5763 break;
5765 case BFD_RELOC_LO16:
5766 if (fixP->fx_pcrel)
5767 fixP->fx_r_type = BFD_RELOC_LO16_PCREL;
5768 /* fall through */
5770 case BFD_RELOC_LO16_PCREL:
5771 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5772 value, 2);
5773 break;
5775 /* This case happens when you write, for example,
5776 lis %r3,(L1-L2)@ha
5777 where L1 and L2 are defined later. */
5778 case BFD_RELOC_HI16:
5779 if (fixP->fx_pcrel)
5780 fixP->fx_r_type = BFD_RELOC_HI16_PCREL;
5781 /* fall through */
5783 case BFD_RELOC_HI16_PCREL:
5784 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5785 PPC_HI (value), 2);
5786 break;
5788 case BFD_RELOC_HI16_S:
5789 if (fixP->fx_pcrel)
5790 fixP->fx_r_type = BFD_RELOC_HI16_S_PCREL;
5791 /* fall through */
5793 case BFD_RELOC_HI16_S_PCREL:
5794 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5795 PPC_HA (value), 2);
5796 break;
5798 #ifdef OBJ_ELF
5799 case BFD_RELOC_PPC64_HIGHER:
5800 if (fixP->fx_pcrel)
5801 abort ();
5802 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5803 PPC_HIGHER (value), 2);
5804 break;
5806 case BFD_RELOC_PPC64_HIGHER_S:
5807 if (fixP->fx_pcrel)
5808 abort ();
5809 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5810 PPC_HIGHERA (value), 2);
5811 break;
5813 case BFD_RELOC_PPC64_HIGHEST:
5814 if (fixP->fx_pcrel)
5815 abort ();
5816 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5817 PPC_HIGHEST (value), 2);
5818 break;
5820 case BFD_RELOC_PPC64_HIGHEST_S:
5821 if (fixP->fx_pcrel)
5822 abort ();
5823 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5824 PPC_HIGHESTA (value), 2);
5825 break;
5827 case BFD_RELOC_PPC64_ADDR16_DS:
5828 case BFD_RELOC_PPC64_ADDR16_LO_DS:
5829 case BFD_RELOC_PPC64_GOT16_DS:
5830 case BFD_RELOC_PPC64_GOT16_LO_DS:
5831 case BFD_RELOC_PPC64_PLT16_LO_DS:
5832 case BFD_RELOC_PPC64_SECTOFF_DS:
5833 case BFD_RELOC_PPC64_SECTOFF_LO_DS:
5834 case BFD_RELOC_PPC64_TOC16_DS:
5835 case BFD_RELOC_PPC64_TOC16_LO_DS:
5836 case BFD_RELOC_PPC64_PLTGOT16_DS:
5837 case BFD_RELOC_PPC64_PLTGOT16_LO_DS:
5838 if (fixP->fx_pcrel)
5839 abort ();
5841 char *where = fixP->fx_frag->fr_literal + fixP->fx_where;
5842 unsigned long val, mask;
5844 if (target_big_endian)
5845 val = bfd_getb32 (where - 2);
5846 else
5847 val = bfd_getl32 (where);
5848 mask = 0xfffc;
5849 /* lq insns reserve the four lsbs. */
5850 if ((ppc_cpu & PPC_OPCODE_POWER4) != 0
5851 && (val & (0x3f << 26)) == (56u << 26))
5852 mask = 0xfff0;
5853 val |= value & mask;
5854 if (target_big_endian)
5855 bfd_putb16 ((bfd_vma) val, where);
5856 else
5857 bfd_putl16 ((bfd_vma) val, where);
5859 break;
5861 case BFD_RELOC_PPC_B16_BRTAKEN:
5862 case BFD_RELOC_PPC_B16_BRNTAKEN:
5863 case BFD_RELOC_PPC_BA16_BRTAKEN:
5864 case BFD_RELOC_PPC_BA16_BRNTAKEN:
5865 break;
5867 case BFD_RELOC_PPC_TLS:
5868 break;
5870 case BFD_RELOC_PPC_DTPMOD:
5871 case BFD_RELOC_PPC_TPREL16:
5872 case BFD_RELOC_PPC_TPREL16_LO:
5873 case BFD_RELOC_PPC_TPREL16_HI:
5874 case BFD_RELOC_PPC_TPREL16_HA:
5875 case BFD_RELOC_PPC_TPREL:
5876 case BFD_RELOC_PPC_DTPREL16:
5877 case BFD_RELOC_PPC_DTPREL16_LO:
5878 case BFD_RELOC_PPC_DTPREL16_HI:
5879 case BFD_RELOC_PPC_DTPREL16_HA:
5880 case BFD_RELOC_PPC_DTPREL:
5881 case BFD_RELOC_PPC_GOT_TLSGD16:
5882 case BFD_RELOC_PPC_GOT_TLSGD16_LO:
5883 case BFD_RELOC_PPC_GOT_TLSGD16_HI:
5884 case BFD_RELOC_PPC_GOT_TLSGD16_HA:
5885 case BFD_RELOC_PPC_GOT_TLSLD16:
5886 case BFD_RELOC_PPC_GOT_TLSLD16_LO:
5887 case BFD_RELOC_PPC_GOT_TLSLD16_HI:
5888 case BFD_RELOC_PPC_GOT_TLSLD16_HA:
5889 case BFD_RELOC_PPC_GOT_TPREL16:
5890 case BFD_RELOC_PPC_GOT_TPREL16_LO:
5891 case BFD_RELOC_PPC_GOT_TPREL16_HI:
5892 case BFD_RELOC_PPC_GOT_TPREL16_HA:
5893 case BFD_RELOC_PPC_GOT_DTPREL16:
5894 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
5895 case BFD_RELOC_PPC_GOT_DTPREL16_HI:
5896 case BFD_RELOC_PPC_GOT_DTPREL16_HA:
5897 case BFD_RELOC_PPC64_TPREL16_DS:
5898 case BFD_RELOC_PPC64_TPREL16_LO_DS:
5899 case BFD_RELOC_PPC64_TPREL16_HIGHER:
5900 case BFD_RELOC_PPC64_TPREL16_HIGHERA:
5901 case BFD_RELOC_PPC64_TPREL16_HIGHEST:
5902 case BFD_RELOC_PPC64_TPREL16_HIGHESTA:
5903 case BFD_RELOC_PPC64_DTPREL16_DS:
5904 case BFD_RELOC_PPC64_DTPREL16_LO_DS:
5905 case BFD_RELOC_PPC64_DTPREL16_HIGHER:
5906 case BFD_RELOC_PPC64_DTPREL16_HIGHERA:
5907 case BFD_RELOC_PPC64_DTPREL16_HIGHEST:
5908 case BFD_RELOC_PPC64_DTPREL16_HIGHESTA:
5909 S_SET_THREAD_LOCAL (fixP->fx_addsy);
5910 break;
5911 #endif
5912 /* Because SDA21 modifies the register field, the size is set to 4
5913 bytes, rather than 2, so offset it here appropriately. */
5914 case BFD_RELOC_PPC_EMB_SDA21:
5915 if (fixP->fx_pcrel)
5916 abort ();
5918 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where
5919 + ((target_big_endian) ? 2 : 0),
5920 value, 2);
5921 break;
5923 case BFD_RELOC_8:
5924 if (fixP->fx_pcrel)
5926 /* This can occur if there is a bug in the input assembler, eg:
5927 ".byte <undefined_symbol> - ." */
5928 if (fixP->fx_addsy)
5929 as_bad (_("Unable to handle reference to symbol %s"),
5930 S_GET_NAME (fixP->fx_addsy));
5931 else
5932 as_bad (_("Unable to resolve expression"));
5933 fixP->fx_done = 1;
5935 else
5936 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5937 value, 1);
5938 break;
5940 case BFD_RELOC_24_PLT_PCREL:
5941 case BFD_RELOC_PPC_LOCAL24PC:
5942 if (!fixP->fx_pcrel && !fixP->fx_done)
5943 abort ();
5945 if (fixP->fx_done)
5947 char *where;
5948 unsigned long insn;
5950 /* Fetch the instruction, insert the fully resolved operand
5951 value, and stuff the instruction back again. */
5952 where = fixP->fx_frag->fr_literal + fixP->fx_where;
5953 if (target_big_endian)
5954 insn = bfd_getb32 ((unsigned char *) where);
5955 else
5956 insn = bfd_getl32 ((unsigned char *) where);
5957 if ((value & 3) != 0)
5958 as_bad_where (fixP->fx_file, fixP->fx_line,
5959 _("must branch to an address a multiple of 4"));
5960 if ((offsetT) value < -0x40000000
5961 || (offsetT) value >= 0x40000000)
5962 as_bad_where (fixP->fx_file, fixP->fx_line,
5963 _("@local or @plt branch destination is too far away, %ld bytes"),
5964 (long) value);
5965 insn = insn | (value & 0x03fffffc);
5966 if (target_big_endian)
5967 bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
5968 else
5969 bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
5971 break;
5973 case BFD_RELOC_VTABLE_INHERIT:
5974 fixP->fx_done = 0;
5975 if (fixP->fx_addsy
5976 && !S_IS_DEFINED (fixP->fx_addsy)
5977 && !S_IS_WEAK (fixP->fx_addsy))
5978 S_SET_WEAK (fixP->fx_addsy);
5979 break;
5981 case BFD_RELOC_VTABLE_ENTRY:
5982 fixP->fx_done = 0;
5983 break;
5985 #ifdef OBJ_ELF
5986 /* Generated by reference to `sym@tocbase'. The sym is
5987 ignored by the linker. */
5988 case BFD_RELOC_PPC64_TOC:
5989 fixP->fx_done = 0;
5990 break;
5991 #endif
5992 default:
5993 fprintf (stderr,
5994 _("Gas failure, reloc value %d\n"), fixP->fx_r_type);
5995 fflush (stderr);
5996 abort ();
6000 #ifdef OBJ_ELF
6001 fixP->fx_addnumber = value;
6002 #else
6003 if (fixP->fx_r_type != BFD_RELOC_PPC_TOC16)
6004 fixP->fx_addnumber = 0;
6005 else
6007 #ifdef TE_PE
6008 fixP->fx_addnumber = 0;
6009 #else
6010 /* We want to use the offset within the data segment of the
6011 symbol, not the actual VMA of the symbol. */
6012 fixP->fx_addnumber =
6013 - bfd_get_section_vma (stdoutput, S_GET_SEGMENT (fixP->fx_addsy));
6014 #endif
6016 #endif
6019 /* Generate a reloc for a fixup. */
6021 arelent *
6022 tc_gen_reloc (seg, fixp)
6023 asection *seg ATTRIBUTE_UNUSED;
6024 fixS *fixp;
6026 arelent *reloc;
6028 reloc = (arelent *) xmalloc (sizeof (arelent));
6030 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
6031 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
6032 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
6033 reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
6034 if (reloc->howto == (reloc_howto_type *) NULL)
6036 as_bad_where (fixp->fx_file, fixp->fx_line,
6037 _("reloc %d not supported by object file format"),
6038 (int) fixp->fx_r_type);
6039 return NULL;
6041 reloc->addend = fixp->fx_addnumber;
6043 return reloc;
6046 void
6047 ppc_cfi_frame_initial_instructions ()
6049 cfi_add_CFA_def_cfa (1, 0);
6053 tc_ppc_regname_to_dw2regnum (const char *regname)
6055 unsigned int regnum = -1;
6056 unsigned int i;
6057 const char *p;
6058 char *q;
6059 static struct { char *name; int dw2regnum; } regnames[] =
6061 { "sp", 1 }, { "r.sp", 1 }, { "rtoc", 2 }, { "r.toc", 2 },
6062 { "mq", 64 }, { "lr", 65 }, { "ctr", 66 }, { "ap", 67 },
6063 { "cr", 70 }, { "xer", 76 }, { "vrsave", 109 }, { "vscr", 110 },
6064 { "spe_acc", 111 }, { "spefscr", 112 }
6067 for (i = 0; i < ARRAY_SIZE (regnames); ++i)
6068 if (strcmp (regnames[i].name, regname) == 0)
6069 return regnames[i].dw2regnum;
6071 if (regname[0] == 'r' || regname[0] == 'f' || regname[0] == 'v')
6073 p = regname + 1 + (regname[1] == '.');
6074 regnum = strtoul (p, &q, 10);
6075 if (p == q || *q || regnum >= 32)
6076 return -1;
6077 if (regname[0] == 'f')
6078 regnum += 32;
6079 else if (regname[0] == 'v')
6080 regnum += 77;
6082 else if (regname[0] == 'c' && regname[1] == 'r')
6084 p = regname + 2 + (regname[2] == '.');
6085 if (p[0] < '0' || p[0] > '7' || p[1])
6086 return -1;
6087 regnum = p[0] - '0' + 68;
6089 return regnum;