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