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