]> git.ipfire.org Git - thirdparty/binutils-gdb.git/blob - gas/config/tc-ppc.c
2002-10-04 Michael Snyder <msnyder@redhat.com>
[thirdparty/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 unsigned int num_operands_expected;
2073 unsigned int i;
2074
2075 /* There is an optional operand. Count the number of
2076 commas in the input line. */
2077 if (*str == '\0')
2078 opcount = 0;
2079 else
2080 {
2081 opcount = 1;
2082 s = str;
2083 while ((s = strchr (s, ',')) != (char *) NULL)
2084 {
2085 ++opcount;
2086 ++s;
2087 }
2088 }
2089
2090 /* Compute the number of expected operands.
2091 Do not count fake operands. */
2092 for (num_operands_expected = 0, i = 0; opcode->operands[i]; i ++)
2093 if ((powerpc_operands [opcode->operands[i]].flags & PPC_OPERAND_FAKE) == 0)
2094 ++ num_operands_expected;
2095
2096 /* If there are fewer operands in the line then are called
2097 for by the instruction, we want to skip the optional
2098 operand. */
2099 if (opcount < num_operands_expected)
2100 skip_optional = 1;
2101
2102 break;
2103 }
2104 }
2105
2106 /* Gather the operands. */
2107 need_paren = 0;
2108 next_opindex = 0;
2109 fc = 0;
2110 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
2111 {
2112 const struct powerpc_operand *operand;
2113 const char *errmsg;
2114 char *hold;
2115 expressionS ex;
2116 char endc;
2117
2118 if (next_opindex == 0)
2119 operand = &powerpc_operands[*opindex_ptr];
2120 else
2121 {
2122 operand = &powerpc_operands[next_opindex];
2123 next_opindex = 0;
2124 }
2125 errmsg = NULL;
2126
2127 /* If this is a fake operand, then we do not expect anything
2128 from the input. */
2129 if ((operand->flags & PPC_OPERAND_FAKE) != 0)
2130 {
2131 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2132 if (errmsg != (const char *) NULL)
2133 as_bad (errmsg);
2134 continue;
2135 }
2136
2137 /* If this is an optional operand, and we are skipping it, just
2138 insert a zero. */
2139 if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0
2140 && skip_optional)
2141 {
2142 if (operand->insert)
2143 {
2144 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2145 if (errmsg != (const char *) NULL)
2146 as_bad (errmsg);
2147 }
2148 if ((operand->flags & PPC_OPERAND_NEXT) != 0)
2149 next_opindex = *opindex_ptr + 1;
2150 continue;
2151 }
2152
2153 /* Gather the operand. */
2154 hold = input_line_pointer;
2155 input_line_pointer = str;
2156
2157 #ifdef TE_PE
2158 if (*input_line_pointer == '[')
2159 {
2160 /* We are expecting something like the second argument here:
2161 *
2162 * lwz r4,[toc].GS.0.static_int(rtoc)
2163 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^
2164 * The argument following the `]' must be a symbol name, and the
2165 * register must be the toc register: 'rtoc' or '2'
2166 *
2167 * The effect is to 0 as the displacement field
2168 * in the instruction, and issue an IMAGE_REL_PPC_TOCREL16 (or
2169 * the appropriate variation) reloc against it based on the symbol.
2170 * The linker will build the toc, and insert the resolved toc offset.
2171 *
2172 * Note:
2173 * o The size of the toc entry is currently assumed to be
2174 * 32 bits. This should not be assumed to be a hard coded
2175 * number.
2176 * o In an effort to cope with a change from 32 to 64 bits,
2177 * there are also toc entries that are specified to be
2178 * either 32 or 64 bits:
2179 * lwz r4,[toc32].GS.0.static_int(rtoc)
2180 * lwz r4,[toc64].GS.0.static_int(rtoc)
2181 * These demand toc entries of the specified size, and the
2182 * instruction probably requires it.
2183 */
2184
2185 int valid_toc;
2186 enum toc_size_qualifier toc_kind;
2187 bfd_reloc_code_real_type toc_reloc;
2188
2189 /* Go parse off the [tocXX] part. */
2190 valid_toc = parse_toc_entry (&toc_kind);
2191
2192 if (!valid_toc)
2193 {
2194 /* Note: message has already been issued.
2195 FIXME: what sort of recovery should we do?
2196 demand_rest_of_line (); return; ? */
2197 }
2198
2199 /* Now get the symbol following the ']'. */
2200 expression (&ex);
2201
2202 switch (toc_kind)
2203 {
2204 case default_toc:
2205 /* In this case, we may not have seen the symbol yet,
2206 since it is allowed to appear on a .extern or .globl
2207 or just be a label in the .data section. */
2208 toc_reloc = BFD_RELOC_PPC_TOC16;
2209 break;
2210 case data_in_toc:
2211 /* 1. The symbol must be defined and either in the toc
2212 section, or a global.
2213 2. The reloc generated must have the TOCDEFN flag set
2214 in upper bit mess of the reloc type.
2215 FIXME: It's a little confusing what the tocv
2216 qualifier can be used for. At the very least, I've
2217 seen three uses, only one of which I'm sure I can
2218 explain. */
2219 if (ex.X_op == O_symbol)
2220 {
2221 assert (ex.X_add_symbol != NULL);
2222 if (symbol_get_bfdsym (ex.X_add_symbol)->section
2223 != tocdata_section)
2224 {
2225 as_bad (_("[tocv] symbol is not a toc symbol"));
2226 }
2227 }
2228
2229 toc_reloc = BFD_RELOC_PPC_TOC16;
2230 break;
2231 case must_be_32:
2232 /* FIXME: these next two specifically specify 32/64 bit
2233 toc entries. We don't support them today. Is this
2234 the right way to say that? */
2235 toc_reloc = BFD_RELOC_UNUSED;
2236 as_bad (_("Unimplemented toc32 expression modifier"));
2237 break;
2238 case must_be_64:
2239 /* FIXME: see above. */
2240 toc_reloc = BFD_RELOC_UNUSED;
2241 as_bad (_("Unimplemented toc64 expression modifier"));
2242 break;
2243 default:
2244 fprintf (stderr,
2245 _("Unexpected return value [%d] from parse_toc_entry!\n"),
2246 toc_kind);
2247 abort ();
2248 break;
2249 }
2250
2251 /* We need to generate a fixup for this expression. */
2252 if (fc >= MAX_INSN_FIXUPS)
2253 as_fatal (_("too many fixups"));
2254
2255 fixups[fc].reloc = toc_reloc;
2256 fixups[fc].exp = ex;
2257 fixups[fc].opindex = *opindex_ptr;
2258 ++fc;
2259
2260 /* Ok. We've set up the fixup for the instruction. Now make it
2261 look like the constant 0 was found here. */
2262 ex.X_unsigned = 1;
2263 ex.X_op = O_constant;
2264 ex.X_add_number = 0;
2265 ex.X_add_symbol = NULL;
2266 ex.X_op_symbol = NULL;
2267 }
2268
2269 else
2270 #endif /* TE_PE */
2271 {
2272 if (! register_name (&ex))
2273 {
2274 if ((operand->flags & PPC_OPERAND_CR) != 0)
2275 cr_operand = true;
2276 expression (&ex);
2277 cr_operand = false;
2278 }
2279 }
2280
2281 str = input_line_pointer;
2282 input_line_pointer = hold;
2283
2284 if (ex.X_op == O_illegal)
2285 as_bad (_("illegal operand"));
2286 else if (ex.X_op == O_absent)
2287 as_bad (_("missing operand"));
2288 else if (ex.X_op == O_register)
2289 {
2290 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2291 (char *) NULL, 0);
2292 }
2293 else if (ex.X_op == O_constant)
2294 {
2295 #ifdef OBJ_ELF
2296 /* Allow @HA, @L, @H on constants. */
2297 char *orig_str = str;
2298
2299 if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2300 switch (reloc)
2301 {
2302 default:
2303 str = orig_str;
2304 break;
2305
2306 case BFD_RELOC_LO16:
2307 /* X_unsigned is the default, so if the user has done
2308 something which cleared it, we always produce a
2309 signed value. */
2310 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2311 ex.X_add_number &= 0xffff;
2312 else
2313 ex.X_add_number = SEX16 (ex.X_add_number);
2314 break;
2315
2316 case BFD_RELOC_HI16:
2317 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2318 ex.X_add_number = PPC_HI (ex.X_add_number);
2319 else
2320 ex.X_add_number = SEX16 (PPC_HI (ex.X_add_number));
2321 break;
2322
2323 case BFD_RELOC_HI16_S:
2324 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2325 ex.X_add_number = PPC_HA (ex.X_add_number);
2326 else
2327 ex.X_add_number = SEX16 (PPC_HA (ex.X_add_number));
2328 break;
2329
2330 case BFD_RELOC_PPC64_HIGHER:
2331 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2332 ex.X_add_number = PPC_HIGHER (ex.X_add_number);
2333 else
2334 ex.X_add_number = SEX16 (PPC_HIGHER (ex.X_add_number));
2335 break;
2336
2337 case BFD_RELOC_PPC64_HIGHER_S:
2338 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2339 ex.X_add_number = PPC_HIGHERA (ex.X_add_number);
2340 else
2341 ex.X_add_number = SEX16 (PPC_HIGHERA (ex.X_add_number));
2342 break;
2343
2344 case BFD_RELOC_PPC64_HIGHEST:
2345 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2346 ex.X_add_number = PPC_HIGHEST (ex.X_add_number);
2347 else
2348 ex.X_add_number = SEX16 (PPC_HIGHEST (ex.X_add_number));
2349 break;
2350
2351 case BFD_RELOC_PPC64_HIGHEST_S:
2352 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2353 ex.X_add_number = PPC_HIGHESTA (ex.X_add_number);
2354 else
2355 ex.X_add_number = SEX16 (PPC_HIGHESTA (ex.X_add_number));
2356 break;
2357 }
2358 #endif /* OBJ_ELF */
2359 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2360 (char *) NULL, 0);
2361 }
2362 #ifdef OBJ_ELF
2363 else if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2364 {
2365 /* For the absolute forms of branches, convert the PC
2366 relative form back into the absolute. */
2367 if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0)
2368 {
2369 switch (reloc)
2370 {
2371 case BFD_RELOC_PPC_B26:
2372 reloc = BFD_RELOC_PPC_BA26;
2373 break;
2374 case BFD_RELOC_PPC_B16:
2375 reloc = BFD_RELOC_PPC_BA16;
2376 break;
2377 case BFD_RELOC_PPC_B16_BRTAKEN:
2378 reloc = BFD_RELOC_PPC_BA16_BRTAKEN;
2379 break;
2380 case BFD_RELOC_PPC_B16_BRNTAKEN:
2381 reloc = BFD_RELOC_PPC_BA16_BRNTAKEN;
2382 break;
2383 default:
2384 break;
2385 }
2386 }
2387
2388 if (ppc_obj64
2389 && (operand->flags & PPC_OPERAND_DS) != 0)
2390 {
2391 switch (reloc)
2392 {
2393 case BFD_RELOC_16:
2394 reloc = BFD_RELOC_PPC64_ADDR16_DS;
2395 break;
2396 case BFD_RELOC_LO16:
2397 reloc = BFD_RELOC_PPC64_ADDR16_LO_DS;
2398 break;
2399 case BFD_RELOC_16_GOTOFF:
2400 reloc = BFD_RELOC_PPC64_GOT16_DS;
2401 break;
2402 case BFD_RELOC_LO16_GOTOFF:
2403 reloc = BFD_RELOC_PPC64_GOT16_LO_DS;
2404 break;
2405 case BFD_RELOC_LO16_PLTOFF:
2406 reloc = BFD_RELOC_PPC64_PLT16_LO_DS;
2407 break;
2408 case BFD_RELOC_16_BASEREL:
2409 reloc = BFD_RELOC_PPC64_SECTOFF_DS;
2410 break;
2411 case BFD_RELOC_LO16_BASEREL:
2412 reloc = BFD_RELOC_PPC64_SECTOFF_LO_DS;
2413 break;
2414 case BFD_RELOC_PPC_TOC16:
2415 reloc = BFD_RELOC_PPC64_TOC16_DS;
2416 break;
2417 case BFD_RELOC_PPC64_TOC16_LO:
2418 reloc = BFD_RELOC_PPC64_TOC16_LO_DS;
2419 break;
2420 case BFD_RELOC_PPC64_PLTGOT16:
2421 reloc = BFD_RELOC_PPC64_PLTGOT16_DS;
2422 break;
2423 case BFD_RELOC_PPC64_PLTGOT16_LO:
2424 reloc = BFD_RELOC_PPC64_PLTGOT16_LO_DS;
2425 break;
2426 default:
2427 as_bad (_("unsupported relocation for DS offset field"));
2428 break;
2429 }
2430 }
2431
2432 /* We need to generate a fixup for this expression. */
2433 if (fc >= MAX_INSN_FIXUPS)
2434 as_fatal (_("too many fixups"));
2435 fixups[fc].exp = ex;
2436 fixups[fc].opindex = 0;
2437 fixups[fc].reloc = reloc;
2438 ++fc;
2439 }
2440 #endif /* OBJ_ELF */
2441
2442 else
2443 {
2444 /* We need to generate a fixup for this expression. */
2445 if (fc >= MAX_INSN_FIXUPS)
2446 as_fatal (_("too many fixups"));
2447 fixups[fc].exp = ex;
2448 fixups[fc].opindex = *opindex_ptr;
2449 fixups[fc].reloc = BFD_RELOC_UNUSED;
2450 ++fc;
2451 }
2452
2453 if (need_paren)
2454 {
2455 endc = ')';
2456 need_paren = 0;
2457 }
2458 else if ((operand->flags & PPC_OPERAND_PARENS) != 0)
2459 {
2460 endc = '(';
2461 need_paren = 1;
2462 }
2463 else
2464 endc = ',';
2465
2466 /* The call to expression should have advanced str past any
2467 whitespace. */
2468 if (*str != endc
2469 && (endc != ',' || *str != '\0'))
2470 {
2471 as_bad (_("syntax error; found `%c' but expected `%c'"), *str, endc);
2472 break;
2473 }
2474
2475 if (*str != '\0')
2476 ++str;
2477 }
2478
2479 while (ISSPACE (*str))
2480 ++str;
2481
2482 if (*str != '\0')
2483 as_bad (_("junk at end of line: `%s'"), str);
2484
2485 #ifdef OBJ_ELF
2486 /* Do we need/want a APUinfo section? */
2487 if (ppc_cpu & (PPC_OPCODE_SPE
2488 | PPC_OPCODE_ISEL | PPC_OPCODE_EFS
2489 | PPC_OPCODE_BRLOCK | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
2490 | PPC_OPCODE_RFMCI))
2491 {
2492 /* These are all version "1". */
2493 if (opcode->flags & PPC_OPCODE_SPE)
2494 ppc_apuinfo_section_add (PPC_APUINFO_SPE, 1);
2495 if (opcode->flags & PPC_OPCODE_ISEL)
2496 ppc_apuinfo_section_add (PPC_APUINFO_ISEL, 1);
2497 if (opcode->flags & PPC_OPCODE_EFS)
2498 ppc_apuinfo_section_add (PPC_APUINFO_EFS, 1);
2499 if (opcode->flags & PPC_OPCODE_BRLOCK)
2500 ppc_apuinfo_section_add (PPC_APUINFO_BRLOCK, 1);
2501 if (opcode->flags & PPC_OPCODE_PMR)
2502 ppc_apuinfo_section_add (PPC_APUINFO_PMR, 1);
2503 if (opcode->flags & PPC_OPCODE_CACHELCK)
2504 ppc_apuinfo_section_add (PPC_APUINFO_CACHELCK, 1);
2505 if (opcode->flags & PPC_OPCODE_RFMCI)
2506 ppc_apuinfo_section_add (PPC_APUINFO_RFMCI, 1);
2507 }
2508 #endif
2509
2510 /* Write out the instruction. */
2511 f = frag_more (4);
2512 md_number_to_chars (f, insn, 4);
2513
2514 #ifdef OBJ_ELF
2515 dwarf2_emit_insn (4);
2516 #endif
2517
2518 /* Create any fixups. At this point we do not use a
2519 bfd_reloc_code_real_type, but instead just use the
2520 BFD_RELOC_UNUSED plus the operand index. This lets us easily
2521 handle fixups for any operand type, although that is admittedly
2522 not a very exciting feature. We pick a BFD reloc type in
2523 md_apply_fix3. */
2524 for (i = 0; i < fc; i++)
2525 {
2526 const struct powerpc_operand *operand;
2527
2528 operand = &powerpc_operands[fixups[i].opindex];
2529 if (fixups[i].reloc != BFD_RELOC_UNUSED)
2530 {
2531 reloc_howto_type *reloc_howto;
2532 int size;
2533 int offset;
2534 fixS *fixP;
2535
2536 reloc_howto = bfd_reloc_type_lookup (stdoutput, fixups[i].reloc);
2537 if (!reloc_howto)
2538 abort ();
2539
2540 size = bfd_get_reloc_size (reloc_howto);
2541 offset = target_big_endian ? (4 - size) : 0;
2542
2543 if (size < 1 || size > 4)
2544 abort ();
2545
2546 fixP = fix_new_exp (frag_now,
2547 f - frag_now->fr_literal + offset,
2548 size,
2549 &fixups[i].exp,
2550 reloc_howto->pc_relative,
2551 fixups[i].reloc);
2552
2553 /* Turn off complaints that the addend is too large for things like
2554 foo+100000@ha. */
2555 switch (fixups[i].reloc)
2556 {
2557 case BFD_RELOC_16_GOTOFF:
2558 case BFD_RELOC_PPC_TOC16:
2559 case BFD_RELOC_LO16:
2560 case BFD_RELOC_HI16:
2561 case BFD_RELOC_HI16_S:
2562 #ifdef OBJ_ELF
2563 case BFD_RELOC_PPC64_HIGHER:
2564 case BFD_RELOC_PPC64_HIGHER_S:
2565 case BFD_RELOC_PPC64_HIGHEST:
2566 case BFD_RELOC_PPC64_HIGHEST_S:
2567 #endif
2568 fixP->fx_no_overflow = 1;
2569 break;
2570 default:
2571 break;
2572 }
2573 }
2574 else
2575 fix_new_exp (frag_now,
2576 f - frag_now->fr_literal,
2577 4,
2578 &fixups[i].exp,
2579 (operand->flags & PPC_OPERAND_RELATIVE) != 0,
2580 ((bfd_reloc_code_real_type)
2581 (fixups[i].opindex + (int) BFD_RELOC_UNUSED)));
2582 }
2583 }
2584
2585 /* Handle a macro. Gather all the operands, transform them as
2586 described by the macro, and call md_assemble recursively. All the
2587 operands are separated by commas; we don't accept parentheses
2588 around operands here. */
2589
2590 static void
2591 ppc_macro (str, macro)
2592 char *str;
2593 const struct powerpc_macro *macro;
2594 {
2595 char *operands[10];
2596 unsigned int count;
2597 char *s;
2598 unsigned int len;
2599 const char *format;
2600 int arg;
2601 char *send;
2602 char *complete;
2603
2604 /* Gather the users operands into the operands array. */
2605 count = 0;
2606 s = str;
2607 while (1)
2608 {
2609 if (count >= sizeof operands / sizeof operands[0])
2610 break;
2611 operands[count++] = s;
2612 s = strchr (s, ',');
2613 if (s == (char *) NULL)
2614 break;
2615 *s++ = '\0';
2616 }
2617
2618 if (count != macro->operands)
2619 {
2620 as_bad (_("wrong number of operands"));
2621 return;
2622 }
2623
2624 /* Work out how large the string must be (the size is unbounded
2625 because it includes user input). */
2626 len = 0;
2627 format = macro->format;
2628 while (*format != '\0')
2629 {
2630 if (*format != '%')
2631 {
2632 ++len;
2633 ++format;
2634 }
2635 else
2636 {
2637 arg = strtol (format + 1, &send, 10);
2638 know (send != format && arg >= 0 && arg < count);
2639 len += strlen (operands[arg]);
2640 format = send;
2641 }
2642 }
2643
2644 /* Put the string together. */
2645 complete = s = (char *) alloca (len + 1);
2646 format = macro->format;
2647 while (*format != '\0')
2648 {
2649 if (*format != '%')
2650 *s++ = *format++;
2651 else
2652 {
2653 arg = strtol (format + 1, &send, 10);
2654 strcpy (s, operands[arg]);
2655 s += strlen (s);
2656 format = send;
2657 }
2658 }
2659 *s = '\0';
2660
2661 /* Assemble the constructed instruction. */
2662 md_assemble (complete);
2663 }
2664 \f
2665 #ifdef OBJ_ELF
2666 /* For ELF, add support for SHF_EXCLUDE and SHT_ORDERED. */
2667
2668 int
2669 ppc_section_letter (letter, ptr_msg)
2670 int letter;
2671 char **ptr_msg;
2672 {
2673 if (letter == 'e')
2674 return SHF_EXCLUDE;
2675
2676 *ptr_msg = _("Bad .section directive: want a,e,w,x,M,S,G,T in string");
2677 return 0;
2678 }
2679
2680 int
2681 ppc_section_word (str, len)
2682 char *str;
2683 size_t len;
2684 {
2685 if (len == 7 && strncmp (str, "exclude", 7) == 0)
2686 return SHF_EXCLUDE;
2687
2688 return -1;
2689 }
2690
2691 int
2692 ppc_section_type (str, len)
2693 char *str;
2694 size_t len;
2695 {
2696 if (len == 7 && strncmp (str, "ordered", 7) == 0)
2697 return SHT_ORDERED;
2698
2699 return -1;
2700 }
2701
2702 int
2703 ppc_section_flags (flags, attr, type)
2704 int flags;
2705 int attr;
2706 int type;
2707 {
2708 if (type == SHT_ORDERED)
2709 flags |= SEC_ALLOC | SEC_LOAD | SEC_SORT_ENTRIES;
2710
2711 if (attr & SHF_EXCLUDE)
2712 flags |= SEC_EXCLUDE;
2713
2714 return flags;
2715 }
2716 #endif /* OBJ_ELF */
2717
2718 \f
2719 /* Pseudo-op handling. */
2720
2721 /* The .byte pseudo-op. This is similar to the normal .byte
2722 pseudo-op, but it can also take a single ASCII string. */
2723
2724 static void
2725 ppc_byte (ignore)
2726 int ignore ATTRIBUTE_UNUSED;
2727 {
2728 if (*input_line_pointer != '\"')
2729 {
2730 cons (1);
2731 return;
2732 }
2733
2734 /* Gather characters. A real double quote is doubled. Unusual
2735 characters are not permitted. */
2736 ++input_line_pointer;
2737 while (1)
2738 {
2739 char c;
2740
2741 c = *input_line_pointer++;
2742
2743 if (c == '\"')
2744 {
2745 if (*input_line_pointer != '\"')
2746 break;
2747 ++input_line_pointer;
2748 }
2749
2750 FRAG_APPEND_1_CHAR (c);
2751 }
2752
2753 demand_empty_rest_of_line ();
2754 }
2755 \f
2756 #ifdef OBJ_XCOFF
2757
2758 /* XCOFF specific pseudo-op handling. */
2759
2760 /* This is set if we are creating a .stabx symbol, since we don't want
2761 to handle symbol suffixes for such symbols. */
2762 static boolean ppc_stab_symbol;
2763
2764 /* The .comm and .lcomm pseudo-ops for XCOFF. XCOFF puts common
2765 symbols in the .bss segment as though they were local common
2766 symbols, and uses a different smclas. The native Aix 4.3.3 assember
2767 aligns .comm and .lcomm to 4 bytes. */
2768
2769 static void
2770 ppc_comm (lcomm)
2771 int lcomm;
2772 {
2773 asection *current_seg = now_seg;
2774 subsegT current_subseg = now_subseg;
2775 char *name;
2776 char endc;
2777 char *end_name;
2778 offsetT size;
2779 offsetT align;
2780 symbolS *lcomm_sym = NULL;
2781 symbolS *sym;
2782 char *pfrag;
2783
2784 name = input_line_pointer;
2785 endc = get_symbol_end ();
2786 end_name = input_line_pointer;
2787 *end_name = endc;
2788
2789 if (*input_line_pointer != ',')
2790 {
2791 as_bad (_("missing size"));
2792 ignore_rest_of_line ();
2793 return;
2794 }
2795 ++input_line_pointer;
2796
2797 size = get_absolute_expression ();
2798 if (size < 0)
2799 {
2800 as_bad (_("negative size"));
2801 ignore_rest_of_line ();
2802 return;
2803 }
2804
2805 if (! lcomm)
2806 {
2807 /* The third argument to .comm is the alignment. */
2808 if (*input_line_pointer != ',')
2809 align = 2;
2810 else
2811 {
2812 ++input_line_pointer;
2813 align = get_absolute_expression ();
2814 if (align <= 0)
2815 {
2816 as_warn (_("ignoring bad alignment"));
2817 align = 2;
2818 }
2819 }
2820 }
2821 else
2822 {
2823 char *lcomm_name;
2824 char lcomm_endc;
2825
2826 if (size <= 4)
2827 align = 2;
2828 else
2829 align = 3;
2830
2831 /* The third argument to .lcomm appears to be the real local
2832 common symbol to create. References to the symbol named in
2833 the first argument are turned into references to the third
2834 argument. */
2835 if (*input_line_pointer != ',')
2836 {
2837 as_bad (_("missing real symbol name"));
2838 ignore_rest_of_line ();
2839 return;
2840 }
2841 ++input_line_pointer;
2842
2843 lcomm_name = input_line_pointer;
2844 lcomm_endc = get_symbol_end ();
2845
2846 lcomm_sym = symbol_find_or_make (lcomm_name);
2847
2848 *input_line_pointer = lcomm_endc;
2849 }
2850
2851 *end_name = '\0';
2852 sym = symbol_find_or_make (name);
2853 *end_name = endc;
2854
2855 if (S_IS_DEFINED (sym)
2856 || S_GET_VALUE (sym) != 0)
2857 {
2858 as_bad (_("attempt to redefine symbol"));
2859 ignore_rest_of_line ();
2860 return;
2861 }
2862
2863 record_alignment (bss_section, align);
2864
2865 if (! lcomm
2866 || ! S_IS_DEFINED (lcomm_sym))
2867 {
2868 symbolS *def_sym;
2869 offsetT def_size;
2870
2871 if (! lcomm)
2872 {
2873 def_sym = sym;
2874 def_size = size;
2875 S_SET_EXTERNAL (sym);
2876 }
2877 else
2878 {
2879 symbol_get_tc (lcomm_sym)->output = 1;
2880 def_sym = lcomm_sym;
2881 def_size = 0;
2882 }
2883
2884 subseg_set (bss_section, 1);
2885 frag_align (align, 0, 0);
2886
2887 symbol_set_frag (def_sym, frag_now);
2888 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, def_sym,
2889 def_size, (char *) NULL);
2890 *pfrag = 0;
2891 S_SET_SEGMENT (def_sym, bss_section);
2892 symbol_get_tc (def_sym)->align = align;
2893 }
2894 else if (lcomm)
2895 {
2896 /* Align the size of lcomm_sym. */
2897 symbol_get_frag (lcomm_sym)->fr_offset =
2898 ((symbol_get_frag (lcomm_sym)->fr_offset + (1 << align) - 1)
2899 &~ ((1 << align) - 1));
2900 if (align > symbol_get_tc (lcomm_sym)->align)
2901 symbol_get_tc (lcomm_sym)->align = align;
2902 }
2903
2904 if (lcomm)
2905 {
2906 /* Make sym an offset from lcomm_sym. */
2907 S_SET_SEGMENT (sym, bss_section);
2908 symbol_set_frag (sym, symbol_get_frag (lcomm_sym));
2909 S_SET_VALUE (sym, symbol_get_frag (lcomm_sym)->fr_offset);
2910 symbol_get_frag (lcomm_sym)->fr_offset += size;
2911 }
2912
2913 subseg_set (current_seg, current_subseg);
2914
2915 demand_empty_rest_of_line ();
2916 }
2917
2918 /* The .csect pseudo-op. This switches us into a different
2919 subsegment. The first argument is a symbol whose value is the
2920 start of the .csect. In COFF, csect symbols get special aux
2921 entries defined by the x_csect field of union internal_auxent. The
2922 optional second argument is the alignment (the default is 2). */
2923
2924 static void
2925 ppc_csect (ignore)
2926 int ignore ATTRIBUTE_UNUSED;
2927 {
2928 char *name;
2929 char endc;
2930 symbolS *sym;
2931
2932 name = input_line_pointer;
2933 endc = get_symbol_end ();
2934
2935 sym = symbol_find_or_make (name);
2936
2937 *input_line_pointer = endc;
2938
2939 if (S_GET_NAME (sym)[0] == '\0')
2940 {
2941 /* An unnamed csect is assumed to be [PR]. */
2942 symbol_get_tc (sym)->class = XMC_PR;
2943 }
2944
2945 ppc_change_csect (sym);
2946
2947 if (*input_line_pointer == ',')
2948 {
2949 ++input_line_pointer;
2950 symbol_get_tc (sym)->align = get_absolute_expression ();
2951 }
2952
2953 demand_empty_rest_of_line ();
2954 }
2955
2956 /* Change to a different csect. */
2957
2958 static void
2959 ppc_change_csect (sym)
2960 symbolS *sym;
2961 {
2962 if (S_IS_DEFINED (sym))
2963 subseg_set (S_GET_SEGMENT (sym), symbol_get_tc (sym)->subseg);
2964 else
2965 {
2966 symbolS **list_ptr;
2967 int after_toc;
2968 int hold_chunksize;
2969 symbolS *list;
2970
2971 /* This is a new csect. We need to look at the symbol class to
2972 figure out whether it should go in the text section or the
2973 data section. */
2974 after_toc = 0;
2975 switch (symbol_get_tc (sym)->class)
2976 {
2977 case XMC_PR:
2978 case XMC_RO:
2979 case XMC_DB:
2980 case XMC_GL:
2981 case XMC_XO:
2982 case XMC_SV:
2983 case XMC_TI:
2984 case XMC_TB:
2985 S_SET_SEGMENT (sym, text_section);
2986 symbol_get_tc (sym)->subseg = ppc_text_subsegment;
2987 ++ppc_text_subsegment;
2988 list_ptr = &ppc_text_csects;
2989 break;
2990 case XMC_RW:
2991 case XMC_TC0:
2992 case XMC_TC:
2993 case XMC_DS:
2994 case XMC_UA:
2995 case XMC_BS:
2996 case XMC_UC:
2997 if (ppc_toc_csect != NULL
2998 && (symbol_get_tc (ppc_toc_csect)->subseg + 1
2999 == ppc_data_subsegment))
3000 after_toc = 1;
3001 S_SET_SEGMENT (sym, data_section);
3002 symbol_get_tc (sym)->subseg = ppc_data_subsegment;
3003 ++ppc_data_subsegment;
3004 list_ptr = &ppc_data_csects;
3005 break;
3006 default:
3007 abort ();
3008 }
3009
3010 /* We set the obstack chunk size to a small value before
3011 changing subsegments, so that we don't use a lot of memory
3012 space for what may be a small section. */
3013 hold_chunksize = chunksize;
3014 chunksize = 64;
3015
3016 subseg_new (segment_name (S_GET_SEGMENT (sym)),
3017 symbol_get_tc (sym)->subseg);
3018
3019 chunksize = hold_chunksize;
3020
3021 if (after_toc)
3022 ppc_after_toc_frag = frag_now;
3023
3024 symbol_set_frag (sym, frag_now);
3025 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3026
3027 symbol_get_tc (sym)->align = 2;
3028 symbol_get_tc (sym)->output = 1;
3029 symbol_get_tc (sym)->within = sym;
3030
3031 for (list = *list_ptr;
3032 symbol_get_tc (list)->next != (symbolS *) NULL;
3033 list = symbol_get_tc (list)->next)
3034 ;
3035 symbol_get_tc (list)->next = sym;
3036
3037 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3038 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
3039 &symbol_lastP);
3040 }
3041
3042 ppc_current_csect = sym;
3043 }
3044
3045 /* This function handles the .text and .data pseudo-ops. These
3046 pseudo-ops aren't really used by XCOFF; we implement them for the
3047 convenience of people who aren't used to XCOFF. */
3048
3049 static void
3050 ppc_section (type)
3051 int type;
3052 {
3053 const char *name;
3054 symbolS *sym;
3055
3056 if (type == 't')
3057 name = ".text[PR]";
3058 else if (type == 'd')
3059 name = ".data[RW]";
3060 else
3061 abort ();
3062
3063 sym = symbol_find_or_make (name);
3064
3065 ppc_change_csect (sym);
3066
3067 demand_empty_rest_of_line ();
3068 }
3069
3070 /* This function handles the .section pseudo-op. This is mostly to
3071 give an error, since XCOFF only supports .text, .data and .bss, but
3072 we do permit the user to name the text or data section. */
3073
3074 static void
3075 ppc_named_section (ignore)
3076 int ignore ATTRIBUTE_UNUSED;
3077 {
3078 char *user_name;
3079 const char *real_name;
3080 char c;
3081 symbolS *sym;
3082
3083 user_name = input_line_pointer;
3084 c = get_symbol_end ();
3085
3086 if (strcmp (user_name, ".text") == 0)
3087 real_name = ".text[PR]";
3088 else if (strcmp (user_name, ".data") == 0)
3089 real_name = ".data[RW]";
3090 else
3091 {
3092 as_bad (_("The XCOFF file format does not support arbitrary sections"));
3093 *input_line_pointer = c;
3094 ignore_rest_of_line ();
3095 return;
3096 }
3097
3098 *input_line_pointer = c;
3099
3100 sym = symbol_find_or_make (real_name);
3101
3102 ppc_change_csect (sym);
3103
3104 demand_empty_rest_of_line ();
3105 }
3106
3107 /* The .extern pseudo-op. We create an undefined symbol. */
3108
3109 static void
3110 ppc_extern (ignore)
3111 int ignore ATTRIBUTE_UNUSED;
3112 {
3113 char *name;
3114 char endc;
3115
3116 name = input_line_pointer;
3117 endc = get_symbol_end ();
3118
3119 (void) symbol_find_or_make (name);
3120
3121 *input_line_pointer = endc;
3122
3123 demand_empty_rest_of_line ();
3124 }
3125
3126 /* The .lglobl pseudo-op. Keep the symbol in the symbol table. */
3127
3128 static void
3129 ppc_lglobl (ignore)
3130 int ignore ATTRIBUTE_UNUSED;
3131 {
3132 char *name;
3133 char endc;
3134 symbolS *sym;
3135
3136 name = input_line_pointer;
3137 endc = get_symbol_end ();
3138
3139 sym = symbol_find_or_make (name);
3140
3141 *input_line_pointer = endc;
3142
3143 symbol_get_tc (sym)->output = 1;
3144
3145 demand_empty_rest_of_line ();
3146 }
3147
3148 /* The .rename pseudo-op. The RS/6000 assembler can rename symbols,
3149 although I don't know why it bothers. */
3150
3151 static void
3152 ppc_rename (ignore)
3153 int ignore ATTRIBUTE_UNUSED;
3154 {
3155 char *name;
3156 char endc;
3157 symbolS *sym;
3158 int len;
3159
3160 name = input_line_pointer;
3161 endc = get_symbol_end ();
3162
3163 sym = symbol_find_or_make (name);
3164
3165 *input_line_pointer = endc;
3166
3167 if (*input_line_pointer != ',')
3168 {
3169 as_bad (_("missing rename string"));
3170 ignore_rest_of_line ();
3171 return;
3172 }
3173 ++input_line_pointer;
3174
3175 symbol_get_tc (sym)->real_name = demand_copy_C_string (&len);
3176
3177 demand_empty_rest_of_line ();
3178 }
3179
3180 /* The .stabx pseudo-op. This is similar to a normal .stabs
3181 pseudo-op, but slightly different. A sample is
3182 .stabx "main:F-1",.main,142,0
3183 The first argument is the symbol name to create. The second is the
3184 value, and the third is the storage class. The fourth seems to be
3185 always zero, and I am assuming it is the type. */
3186
3187 static void
3188 ppc_stabx (ignore)
3189 int ignore ATTRIBUTE_UNUSED;
3190 {
3191 char *name;
3192 int len;
3193 symbolS *sym;
3194 expressionS exp;
3195
3196 name = demand_copy_C_string (&len);
3197
3198 if (*input_line_pointer != ',')
3199 {
3200 as_bad (_("missing value"));
3201 return;
3202 }
3203 ++input_line_pointer;
3204
3205 ppc_stab_symbol = true;
3206 sym = symbol_make (name);
3207 ppc_stab_symbol = false;
3208
3209 symbol_get_tc (sym)->real_name = name;
3210
3211 (void) expression (&exp);
3212
3213 switch (exp.X_op)
3214 {
3215 case O_illegal:
3216 case O_absent:
3217 case O_big:
3218 as_bad (_("illegal .stabx expression; zero assumed"));
3219 exp.X_add_number = 0;
3220 /* Fall through. */
3221 case O_constant:
3222 S_SET_VALUE (sym, (valueT) exp.X_add_number);
3223 symbol_set_frag (sym, &zero_address_frag);
3224 break;
3225
3226 case O_symbol:
3227 if (S_GET_SEGMENT (exp.X_add_symbol) == undefined_section)
3228 symbol_set_value_expression (sym, &exp);
3229 else
3230 {
3231 S_SET_VALUE (sym,
3232 exp.X_add_number + S_GET_VALUE (exp.X_add_symbol));
3233 symbol_set_frag (sym, symbol_get_frag (exp.X_add_symbol));
3234 }
3235 break;
3236
3237 default:
3238 /* The value is some complex expression. This will probably
3239 fail at some later point, but this is probably the right
3240 thing to do here. */
3241 symbol_set_value_expression (sym, &exp);
3242 break;
3243 }
3244
3245 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3246 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3247
3248 if (*input_line_pointer != ',')
3249 {
3250 as_bad (_("missing class"));
3251 return;
3252 }
3253 ++input_line_pointer;
3254
3255 S_SET_STORAGE_CLASS (sym, get_absolute_expression ());
3256
3257 if (*input_line_pointer != ',')
3258 {
3259 as_bad (_("missing type"));
3260 return;
3261 }
3262 ++input_line_pointer;
3263
3264 S_SET_DATA_TYPE (sym, get_absolute_expression ());
3265
3266 symbol_get_tc (sym)->output = 1;
3267
3268 if (S_GET_STORAGE_CLASS (sym) == C_STSYM) {
3269
3270 symbol_get_tc (sym)->within = ppc_current_block;
3271
3272 /* In this case :
3273
3274 .bs name
3275 .stabx "z",arrays_,133,0
3276 .es
3277
3278 .comm arrays_,13768,3
3279
3280 resolve_symbol_value will copy the exp's "within" into sym's when the
3281 offset is 0. Since this seems to be corner case problem,
3282 only do the correction for storage class C_STSYM. A better solution
3283 would be to have the tc field updated in ppc_symbol_new_hook. */
3284
3285 if (exp.X_op == O_symbol)
3286 {
3287 symbol_get_tc (exp.X_add_symbol)->within = ppc_current_block;
3288 }
3289 }
3290
3291 if (exp.X_op != O_symbol
3292 || ! S_IS_EXTERNAL (exp.X_add_symbol)
3293 || S_GET_SEGMENT (exp.X_add_symbol) != bss_section)
3294 ppc_frob_label (sym);
3295 else
3296 {
3297 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3298 symbol_append (sym, exp.X_add_symbol, &symbol_rootP, &symbol_lastP);
3299 if (symbol_get_tc (ppc_current_csect)->within == exp.X_add_symbol)
3300 symbol_get_tc (ppc_current_csect)->within = sym;
3301 }
3302
3303 demand_empty_rest_of_line ();
3304 }
3305
3306 /* The .function pseudo-op. This takes several arguments. The first
3307 argument seems to be the external name of the symbol. The second
3308 argment seems to be the label for the start of the function. gcc
3309 uses the same name for both. I have no idea what the third and
3310 fourth arguments are meant to be. The optional fifth argument is
3311 an expression for the size of the function. In COFF this symbol
3312 gets an aux entry like that used for a csect. */
3313
3314 static void
3315 ppc_function (ignore)
3316 int ignore ATTRIBUTE_UNUSED;
3317 {
3318 char *name;
3319 char endc;
3320 char *s;
3321 symbolS *ext_sym;
3322 symbolS *lab_sym;
3323
3324 name = input_line_pointer;
3325 endc = get_symbol_end ();
3326
3327 /* Ignore any [PR] suffix. */
3328 name = ppc_canonicalize_symbol_name (name);
3329 s = strchr (name, '[');
3330 if (s != (char *) NULL
3331 && strcmp (s + 1, "PR]") == 0)
3332 *s = '\0';
3333
3334 ext_sym = symbol_find_or_make (name);
3335
3336 *input_line_pointer = endc;
3337
3338 if (*input_line_pointer != ',')
3339 {
3340 as_bad (_("missing symbol name"));
3341 ignore_rest_of_line ();
3342 return;
3343 }
3344 ++input_line_pointer;
3345
3346 name = input_line_pointer;
3347 endc = get_symbol_end ();
3348
3349 lab_sym = symbol_find_or_make (name);
3350
3351 *input_line_pointer = endc;
3352
3353 if (ext_sym != lab_sym)
3354 {
3355 expressionS exp;
3356
3357 exp.X_op = O_symbol;
3358 exp.X_add_symbol = lab_sym;
3359 exp.X_op_symbol = NULL;
3360 exp.X_add_number = 0;
3361 exp.X_unsigned = 0;
3362 symbol_set_value_expression (ext_sym, &exp);
3363 }
3364
3365 if (symbol_get_tc (ext_sym)->class == -1)
3366 symbol_get_tc (ext_sym)->class = XMC_PR;
3367 symbol_get_tc (ext_sym)->output = 1;
3368
3369 if (*input_line_pointer == ',')
3370 {
3371 expressionS ignore;
3372
3373 /* Ignore the third argument. */
3374 ++input_line_pointer;
3375 expression (&ignore);
3376 if (*input_line_pointer == ',')
3377 {
3378 /* Ignore the fourth argument. */
3379 ++input_line_pointer;
3380 expression (&ignore);
3381 if (*input_line_pointer == ',')
3382 {
3383 /* The fifth argument is the function size. */
3384 ++input_line_pointer;
3385 symbol_get_tc (ext_sym)->size = symbol_new ("L0\001",
3386 absolute_section,
3387 (valueT) 0,
3388 &zero_address_frag);
3389 pseudo_set (symbol_get_tc (ext_sym)->size);
3390 }
3391 }
3392 }
3393
3394 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
3395 SF_SET_FUNCTION (ext_sym);
3396 SF_SET_PROCESS (ext_sym);
3397 coff_add_linesym (ext_sym);
3398
3399 demand_empty_rest_of_line ();
3400 }
3401
3402 /* The .bf pseudo-op. This is just like a COFF C_FCN symbol named
3403 ".bf". If the pseudo op .bi was seen before .bf, patch the .bi sym
3404 with the correct line number */
3405
3406 static symbolS *saved_bi_sym = 0;
3407
3408 static void
3409 ppc_bf (ignore)
3410 int ignore ATTRIBUTE_UNUSED;
3411 {
3412 symbolS *sym;
3413
3414 sym = symbol_make (".bf");
3415 S_SET_SEGMENT (sym, text_section);
3416 symbol_set_frag (sym, frag_now);
3417 S_SET_VALUE (sym, frag_now_fix ());
3418 S_SET_STORAGE_CLASS (sym, C_FCN);
3419
3420 coff_line_base = get_absolute_expression ();
3421
3422 S_SET_NUMBER_AUXILIARY (sym, 1);
3423 SA_SET_SYM_LNNO (sym, coff_line_base);
3424
3425 /* Line number for bi. */
3426 if (saved_bi_sym)
3427 {
3428 S_SET_VALUE (saved_bi_sym, coff_n_line_nos);
3429 saved_bi_sym = 0;
3430 }
3431
3432
3433 symbol_get_tc (sym)->output = 1;
3434
3435 ppc_frob_label (sym);
3436
3437 demand_empty_rest_of_line ();
3438 }
3439
3440 /* The .ef pseudo-op. This is just like a COFF C_FCN symbol named
3441 ".ef", except that the line number is absolute, not relative to the
3442 most recent ".bf" symbol. */
3443
3444 static void
3445 ppc_ef (ignore)
3446 int ignore ATTRIBUTE_UNUSED;
3447 {
3448 symbolS *sym;
3449
3450 sym = symbol_make (".ef");
3451 S_SET_SEGMENT (sym, text_section);
3452 symbol_set_frag (sym, frag_now);
3453 S_SET_VALUE (sym, frag_now_fix ());
3454 S_SET_STORAGE_CLASS (sym, C_FCN);
3455 S_SET_NUMBER_AUXILIARY (sym, 1);
3456 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3457 symbol_get_tc (sym)->output = 1;
3458
3459 ppc_frob_label (sym);
3460
3461 demand_empty_rest_of_line ();
3462 }
3463
3464 /* The .bi and .ei pseudo-ops. These take a string argument and
3465 generates a C_BINCL or C_EINCL symbol, which goes at the start of
3466 the symbol list. The value of .bi will be know when the next .bf
3467 is encountered. */
3468
3469 static void
3470 ppc_biei (ei)
3471 int ei;
3472 {
3473 static symbolS *last_biei;
3474
3475 char *name;
3476 int len;
3477 symbolS *sym;
3478 symbolS *look;
3479
3480 name = demand_copy_C_string (&len);
3481
3482 /* The value of these symbols is actually file offset. Here we set
3483 the value to the index into the line number entries. In
3484 ppc_frob_symbols we set the fix_line field, which will cause BFD
3485 to do the right thing. */
3486
3487 sym = symbol_make (name);
3488 /* obj-coff.c currently only handles line numbers correctly in the
3489 .text section. */
3490 S_SET_SEGMENT (sym, text_section);
3491 S_SET_VALUE (sym, coff_n_line_nos);
3492 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3493
3494 S_SET_STORAGE_CLASS (sym, ei ? C_EINCL : C_BINCL);
3495 symbol_get_tc (sym)->output = 1;
3496
3497 /* Save bi. */
3498 if (ei)
3499 saved_bi_sym = 0;
3500 else
3501 saved_bi_sym = sym;
3502
3503 for (look = last_biei ? last_biei : symbol_rootP;
3504 (look != (symbolS *) NULL
3505 && (S_GET_STORAGE_CLASS (look) == C_FILE
3506 || S_GET_STORAGE_CLASS (look) == C_BINCL
3507 || S_GET_STORAGE_CLASS (look) == C_EINCL));
3508 look = symbol_next (look))
3509 ;
3510 if (look != (symbolS *) NULL)
3511 {
3512 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3513 symbol_insert (sym, look, &symbol_rootP, &symbol_lastP);
3514 last_biei = sym;
3515 }
3516
3517 demand_empty_rest_of_line ();
3518 }
3519
3520 /* The .bs pseudo-op. This generates a C_BSTAT symbol named ".bs".
3521 There is one argument, which is a csect symbol. The value of the
3522 .bs symbol is the index of this csect symbol. */
3523
3524 static void
3525 ppc_bs (ignore)
3526 int ignore ATTRIBUTE_UNUSED;
3527 {
3528 char *name;
3529 char endc;
3530 symbolS *csect;
3531 symbolS *sym;
3532
3533 if (ppc_current_block != NULL)
3534 as_bad (_("nested .bs blocks"));
3535
3536 name = input_line_pointer;
3537 endc = get_symbol_end ();
3538
3539 csect = symbol_find_or_make (name);
3540
3541 *input_line_pointer = endc;
3542
3543 sym = symbol_make (".bs");
3544 S_SET_SEGMENT (sym, now_seg);
3545 S_SET_STORAGE_CLASS (sym, C_BSTAT);
3546 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3547 symbol_get_tc (sym)->output = 1;
3548
3549 symbol_get_tc (sym)->within = csect;
3550
3551 ppc_frob_label (sym);
3552
3553 ppc_current_block = sym;
3554
3555 demand_empty_rest_of_line ();
3556 }
3557
3558 /* The .es pseudo-op. Generate a C_ESTART symbol named .es. */
3559
3560 static void
3561 ppc_es (ignore)
3562 int ignore ATTRIBUTE_UNUSED;
3563 {
3564 symbolS *sym;
3565
3566 if (ppc_current_block == NULL)
3567 as_bad (_(".es without preceding .bs"));
3568
3569 sym = symbol_make (".es");
3570 S_SET_SEGMENT (sym, now_seg);
3571 S_SET_STORAGE_CLASS (sym, C_ESTAT);
3572 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3573 symbol_get_tc (sym)->output = 1;
3574
3575 ppc_frob_label (sym);
3576
3577 ppc_current_block = NULL;
3578
3579 demand_empty_rest_of_line ();
3580 }
3581
3582 /* The .bb pseudo-op. Generate a C_BLOCK symbol named .bb, with a
3583 line number. */
3584
3585 static void
3586 ppc_bb (ignore)
3587 int ignore ATTRIBUTE_UNUSED;
3588 {
3589 symbolS *sym;
3590
3591 sym = symbol_make (".bb");
3592 S_SET_SEGMENT (sym, text_section);
3593 symbol_set_frag (sym, frag_now);
3594 S_SET_VALUE (sym, frag_now_fix ());
3595 S_SET_STORAGE_CLASS (sym, C_BLOCK);
3596
3597 S_SET_NUMBER_AUXILIARY (sym, 1);
3598 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3599
3600 symbol_get_tc (sym)->output = 1;
3601
3602 SF_SET_PROCESS (sym);
3603
3604 ppc_frob_label (sym);
3605
3606 demand_empty_rest_of_line ();
3607 }
3608
3609 /* The .eb pseudo-op. Generate a C_BLOCK symbol named .eb, with a
3610 line number. */
3611
3612 static void
3613 ppc_eb (ignore)
3614 int ignore ATTRIBUTE_UNUSED;
3615 {
3616 symbolS *sym;
3617
3618 sym = symbol_make (".eb");
3619 S_SET_SEGMENT (sym, text_section);
3620 symbol_set_frag (sym, frag_now);
3621 S_SET_VALUE (sym, frag_now_fix ());
3622 S_SET_STORAGE_CLASS (sym, C_BLOCK);
3623 S_SET_NUMBER_AUXILIARY (sym, 1);
3624 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3625 symbol_get_tc (sym)->output = 1;
3626
3627 SF_SET_PROCESS (sym);
3628
3629 ppc_frob_label (sym);
3630
3631 demand_empty_rest_of_line ();
3632 }
3633
3634 /* The .bc pseudo-op. This just creates a C_BCOMM symbol with a
3635 specified name. */
3636
3637 static void
3638 ppc_bc (ignore)
3639 int ignore ATTRIBUTE_UNUSED;
3640 {
3641 char *name;
3642 int len;
3643 symbolS *sym;
3644
3645 name = demand_copy_C_string (&len);
3646 sym = symbol_make (name);
3647 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3648 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3649 S_SET_STORAGE_CLASS (sym, C_BCOMM);
3650 S_SET_VALUE (sym, 0);
3651 symbol_get_tc (sym)->output = 1;
3652
3653 ppc_frob_label (sym);
3654
3655 demand_empty_rest_of_line ();
3656 }
3657
3658 /* The .ec pseudo-op. This just creates a C_ECOMM symbol. */
3659
3660 static void
3661 ppc_ec (ignore)
3662 int ignore ATTRIBUTE_UNUSED;
3663 {
3664 symbolS *sym;
3665
3666 sym = symbol_make (".ec");
3667 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3668 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3669 S_SET_STORAGE_CLASS (sym, C_ECOMM);
3670 S_SET_VALUE (sym, 0);
3671 symbol_get_tc (sym)->output = 1;
3672
3673 ppc_frob_label (sym);
3674
3675 demand_empty_rest_of_line ();
3676 }
3677
3678 /* The .toc pseudo-op. Switch to the .toc subsegment. */
3679
3680 static void
3681 ppc_toc (ignore)
3682 int ignore ATTRIBUTE_UNUSED;
3683 {
3684 if (ppc_toc_csect != (symbolS *) NULL)
3685 subseg_set (data_section, symbol_get_tc (ppc_toc_csect)->subseg);
3686 else
3687 {
3688 subsegT subseg;
3689 symbolS *sym;
3690 symbolS *list;
3691
3692 subseg = ppc_data_subsegment;
3693 ++ppc_data_subsegment;
3694
3695 subseg_new (segment_name (data_section), subseg);
3696 ppc_toc_frag = frag_now;
3697
3698 sym = symbol_find_or_make ("TOC[TC0]");
3699 symbol_set_frag (sym, frag_now);
3700 S_SET_SEGMENT (sym, data_section);
3701 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3702 symbol_get_tc (sym)->subseg = subseg;
3703 symbol_get_tc (sym)->output = 1;
3704 symbol_get_tc (sym)->within = sym;
3705
3706 ppc_toc_csect = sym;
3707
3708 for (list = ppc_data_csects;
3709 symbol_get_tc (list)->next != (symbolS *) NULL;
3710 list = symbol_get_tc (list)->next)
3711 ;
3712 symbol_get_tc (list)->next = sym;
3713
3714 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3715 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
3716 &symbol_lastP);
3717 }
3718
3719 ppc_current_csect = ppc_toc_csect;
3720
3721 demand_empty_rest_of_line ();
3722 }
3723
3724 /* The AIX assembler automatically aligns the operands of a .long or
3725 .short pseudo-op, and we want to be compatible. */
3726
3727 static void
3728 ppc_xcoff_cons (log_size)
3729 int log_size;
3730 {
3731 frag_align (log_size, 0, 0);
3732 record_alignment (now_seg, log_size);
3733 cons (1 << log_size);
3734 }
3735
3736 static void
3737 ppc_vbyte (dummy)
3738 int dummy ATTRIBUTE_UNUSED;
3739 {
3740 expressionS exp;
3741 int byte_count;
3742
3743 (void) expression (&exp);
3744
3745 if (exp.X_op != O_constant)
3746 {
3747 as_bad (_("non-constant byte count"));
3748 return;
3749 }
3750
3751 byte_count = exp.X_add_number;
3752
3753 if (*input_line_pointer != ',')
3754 {
3755 as_bad (_("missing value"));
3756 return;
3757 }
3758
3759 ++input_line_pointer;
3760 cons (byte_count);
3761 }
3762
3763 #endif /* OBJ_XCOFF */
3764 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
3765 \f
3766 /* The .tc pseudo-op. This is used when generating either XCOFF or
3767 ELF. This takes two or more arguments.
3768
3769 When generating XCOFF output, the first argument is the name to
3770 give to this location in the toc; this will be a symbol with class
3771 TC. The rest of the arguments are N-byte values to actually put at
3772 this location in the TOC; often there is just one more argument, a
3773 relocateable symbol reference. The size of the value to store
3774 depends on target word size. A 32-bit target uses 4-byte values, a
3775 64-bit target uses 8-byte values.
3776
3777 When not generating XCOFF output, the arguments are the same, but
3778 the first argument is simply ignored. */
3779
3780 static void
3781 ppc_tc (ignore)
3782 int ignore ATTRIBUTE_UNUSED;
3783 {
3784 #ifdef OBJ_XCOFF
3785
3786 /* Define the TOC symbol name. */
3787 {
3788 char *name;
3789 char endc;
3790 symbolS *sym;
3791
3792 if (ppc_toc_csect == (symbolS *) NULL
3793 || ppc_toc_csect != ppc_current_csect)
3794 {
3795 as_bad (_(".tc not in .toc section"));
3796 ignore_rest_of_line ();
3797 return;
3798 }
3799
3800 name = input_line_pointer;
3801 endc = get_symbol_end ();
3802
3803 sym = symbol_find_or_make (name);
3804
3805 *input_line_pointer = endc;
3806
3807 if (S_IS_DEFINED (sym))
3808 {
3809 symbolS *label;
3810
3811 label = symbol_get_tc (ppc_current_csect)->within;
3812 if (symbol_get_tc (label)->class != XMC_TC0)
3813 {
3814 as_bad (_(".tc with no label"));
3815 ignore_rest_of_line ();
3816 return;
3817 }
3818
3819 S_SET_SEGMENT (label, S_GET_SEGMENT (sym));
3820 symbol_set_frag (label, symbol_get_frag (sym));
3821 S_SET_VALUE (label, S_GET_VALUE (sym));
3822
3823 while (! is_end_of_line[(unsigned char) *input_line_pointer])
3824 ++input_line_pointer;
3825
3826 return;
3827 }
3828
3829 S_SET_SEGMENT (sym, now_seg);
3830 symbol_set_frag (sym, frag_now);
3831 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3832 symbol_get_tc (sym)->class = XMC_TC;
3833 symbol_get_tc (sym)->output = 1;
3834
3835 ppc_frob_label (sym);
3836 }
3837
3838 #endif /* OBJ_XCOFF */
3839 #ifdef OBJ_ELF
3840 int align;
3841
3842 /* Skip the TOC symbol name. */
3843 while (is_part_of_name (*input_line_pointer)
3844 || *input_line_pointer == '['
3845 || *input_line_pointer == ']'
3846 || *input_line_pointer == '{'
3847 || *input_line_pointer == '}')
3848 ++input_line_pointer;
3849
3850 /* Align to a four/eight byte boundary. */
3851 align = ppc_obj64 ? 3 : 2;
3852 frag_align (align, 0, 0);
3853 record_alignment (now_seg, align);
3854 #endif /* OBJ_ELF */
3855
3856 if (*input_line_pointer != ',')
3857 demand_empty_rest_of_line ();
3858 else
3859 {
3860 ++input_line_pointer;
3861 cons (ppc_obj64 ? 8 : 4);
3862 }
3863 }
3864
3865 /* Pseudo-op .machine. */
3866 /* FIXME: `.machine' is a nop for the moment. It would be nice to
3867 accept this directive on the first line of input and set ppc_obj64
3868 and the target format accordingly. Unfortunately, the target
3869 format is selected in output-file.c:output_file_create before we
3870 even get to md_begin, so it's not possible without changing
3871 as.c:main. */
3872
3873 static void
3874 ppc_machine (ignore)
3875 int ignore ATTRIBUTE_UNUSED;
3876 {
3877 discard_rest_of_line ();
3878 }
3879
3880 /* See whether a symbol is in the TOC section. */
3881
3882 static int
3883 ppc_is_toc_sym (sym)
3884 symbolS *sym;
3885 {
3886 #ifdef OBJ_XCOFF
3887 return symbol_get_tc (sym)->class == XMC_TC;
3888 #endif
3889 #ifdef OBJ_ELF
3890 const char *sname = segment_name (S_GET_SEGMENT (sym));
3891 if (ppc_obj64)
3892 return strcmp (sname, ".toc") == 0;
3893 else
3894 return strcmp (sname, ".got") == 0;
3895 #endif
3896 }
3897 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
3898 \f
3899 #ifdef TE_PE
3900
3901 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
3902
3903 /* Set the current section. */
3904 static void
3905 ppc_set_current_section (new)
3906 segT new;
3907 {
3908 ppc_previous_section = ppc_current_section;
3909 ppc_current_section = new;
3910 }
3911
3912 /* pseudo-op: .previous
3913 behaviour: toggles the current section with the previous section.
3914 errors: None
3915 warnings: "No previous section" */
3916
3917 static void
3918 ppc_previous (ignore)
3919 int ignore ATTRIBUTE_UNUSED;
3920 {
3921 symbolS *tmp;
3922
3923 if (ppc_previous_section == NULL)
3924 {
3925 as_warn (_("No previous section to return to. Directive ignored."));
3926 return;
3927 }
3928
3929 subseg_set (ppc_previous_section, 0);
3930
3931 ppc_set_current_section (ppc_previous_section);
3932 }
3933
3934 /* pseudo-op: .pdata
3935 behaviour: predefined read only data section
3936 double word aligned
3937 errors: None
3938 warnings: None
3939 initial: .section .pdata "adr3"
3940 a - don't know -- maybe a misprint
3941 d - initialized data
3942 r - readable
3943 3 - double word aligned (that would be 4 byte boundary)
3944
3945 commentary:
3946 Tag index tables (also known as the function table) for exception
3947 handling, debugging, etc. */
3948
3949 static void
3950 ppc_pdata (ignore)
3951 int ignore ATTRIBUTE_UNUSED;
3952 {
3953 if (pdata_section == 0)
3954 {
3955 pdata_section = subseg_new (".pdata", 0);
3956
3957 bfd_set_section_flags (stdoutput, pdata_section,
3958 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
3959 | SEC_READONLY | SEC_DATA ));
3960
3961 bfd_set_section_alignment (stdoutput, pdata_section, 2);
3962 }
3963 else
3964 {
3965 pdata_section = subseg_new (".pdata", 0);
3966 }
3967 ppc_set_current_section (pdata_section);
3968 }
3969
3970 /* pseudo-op: .ydata
3971 behaviour: predefined read only data section
3972 double word aligned
3973 errors: None
3974 warnings: None
3975 initial: .section .ydata "drw3"
3976 a - don't know -- maybe a misprint
3977 d - initialized data
3978 r - readable
3979 3 - double word aligned (that would be 4 byte boundary)
3980 commentary:
3981 Tag tables (also known as the scope table) for exception handling,
3982 debugging, etc. */
3983
3984 static void
3985 ppc_ydata (ignore)
3986 int ignore ATTRIBUTE_UNUSED;
3987 {
3988 if (ydata_section == 0)
3989 {
3990 ydata_section = subseg_new (".ydata", 0);
3991 bfd_set_section_flags (stdoutput, ydata_section,
3992 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
3993 | SEC_READONLY | SEC_DATA ));
3994
3995 bfd_set_section_alignment (stdoutput, ydata_section, 3);
3996 }
3997 else
3998 {
3999 ydata_section = subseg_new (".ydata", 0);
4000 }
4001 ppc_set_current_section (ydata_section);
4002 }
4003
4004 /* pseudo-op: .reldata
4005 behaviour: predefined read write data section
4006 double word aligned (4-byte)
4007 FIXME: relocation is applied to it
4008 FIXME: what's the difference between this and .data?
4009 errors: None
4010 warnings: None
4011 initial: .section .reldata "drw3"
4012 d - initialized data
4013 r - readable
4014 w - writeable
4015 3 - double word aligned (that would be 8 byte boundary)
4016
4017 commentary:
4018 Like .data, but intended to hold data subject to relocation, such as
4019 function descriptors, etc. */
4020
4021 static void
4022 ppc_reldata (ignore)
4023 int ignore ATTRIBUTE_UNUSED;
4024 {
4025 if (reldata_section == 0)
4026 {
4027 reldata_section = subseg_new (".reldata", 0);
4028
4029 bfd_set_section_flags (stdoutput, reldata_section,
4030 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4031 | SEC_DATA));
4032
4033 bfd_set_section_alignment (stdoutput, reldata_section, 2);
4034 }
4035 else
4036 {
4037 reldata_section = subseg_new (".reldata", 0);
4038 }
4039 ppc_set_current_section (reldata_section);
4040 }
4041
4042 /* pseudo-op: .rdata
4043 behaviour: predefined read only data section
4044 double word aligned
4045 errors: None
4046 warnings: None
4047 initial: .section .rdata "dr3"
4048 d - initialized data
4049 r - readable
4050 3 - double word aligned (that would be 4 byte boundary) */
4051
4052 static void
4053 ppc_rdata (ignore)
4054 int ignore ATTRIBUTE_UNUSED;
4055 {
4056 if (rdata_section == 0)
4057 {
4058 rdata_section = subseg_new (".rdata", 0);
4059 bfd_set_section_flags (stdoutput, rdata_section,
4060 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4061 | SEC_READONLY | SEC_DATA ));
4062
4063 bfd_set_section_alignment (stdoutput, rdata_section, 2);
4064 }
4065 else
4066 {
4067 rdata_section = subseg_new (".rdata", 0);
4068 }
4069 ppc_set_current_section (rdata_section);
4070 }
4071
4072 /* pseudo-op: .ualong
4073 behaviour: much like .int, with the exception that no alignment is
4074 performed.
4075 FIXME: test the alignment statement
4076 errors: None
4077 warnings: None */
4078
4079 static void
4080 ppc_ualong (ignore)
4081 int ignore ATTRIBUTE_UNUSED;
4082 {
4083 /* Try for long. */
4084 cons (4);
4085 }
4086
4087 /* pseudo-op: .znop <symbol name>
4088 behaviour: Issue a nop instruction
4089 Issue a IMAGE_REL_PPC_IFGLUE relocation against it, using
4090 the supplied symbol name.
4091 errors: None
4092 warnings: Missing symbol name */
4093
4094 static void
4095 ppc_znop (ignore)
4096 int ignore ATTRIBUTE_UNUSED;
4097 {
4098 unsigned long insn;
4099 const struct powerpc_opcode *opcode;
4100 expressionS ex;
4101 char *f;
4102 symbolS *sym;
4103 char *symbol_name;
4104 char c;
4105 char *name;
4106 unsigned int exp;
4107 flagword flags;
4108 asection *sec;
4109
4110 /* Strip out the symbol name. */
4111 symbol_name = input_line_pointer;
4112 c = get_symbol_end ();
4113
4114 name = xmalloc (input_line_pointer - symbol_name + 1);
4115 strcpy (name, symbol_name);
4116
4117 sym = symbol_find_or_make (name);
4118
4119 *input_line_pointer = c;
4120
4121 SKIP_WHITESPACE ();
4122
4123 /* Look up the opcode in the hash table. */
4124 opcode = (const struct powerpc_opcode *) hash_find (ppc_hash, "nop");
4125
4126 /* Stick in the nop. */
4127 insn = opcode->opcode;
4128
4129 /* Write out the instruction. */
4130 f = frag_more (4);
4131 md_number_to_chars (f, insn, 4);
4132 fix_new (frag_now,
4133 f - frag_now->fr_literal,
4134 4,
4135 sym,
4136 0,
4137 0,
4138 BFD_RELOC_16_GOT_PCREL);
4139
4140 }
4141
4142 /* pseudo-op:
4143 behaviour:
4144 errors:
4145 warnings: */
4146
4147 static void
4148 ppc_pe_comm (lcomm)
4149 int lcomm;
4150 {
4151 register char *name;
4152 register char c;
4153 register char *p;
4154 offsetT temp;
4155 register symbolS *symbolP;
4156 offsetT align;
4157
4158 name = input_line_pointer;
4159 c = get_symbol_end ();
4160
4161 /* just after name is now '\0'. */
4162 p = input_line_pointer;
4163 *p = c;
4164 SKIP_WHITESPACE ();
4165 if (*input_line_pointer != ',')
4166 {
4167 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
4168 ignore_rest_of_line ();
4169 return;
4170 }
4171
4172 input_line_pointer++; /* skip ',' */
4173 if ((temp = get_absolute_expression ()) < 0)
4174 {
4175 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp);
4176 ignore_rest_of_line ();
4177 return;
4178 }
4179
4180 if (! lcomm)
4181 {
4182 /* The third argument to .comm is the alignment. */
4183 if (*input_line_pointer != ',')
4184 align = 3;
4185 else
4186 {
4187 ++input_line_pointer;
4188 align = get_absolute_expression ();
4189 if (align <= 0)
4190 {
4191 as_warn (_("ignoring bad alignment"));
4192 align = 3;
4193 }
4194 }
4195 }
4196
4197 *p = 0;
4198 symbolP = symbol_find_or_make (name);
4199
4200 *p = c;
4201 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
4202 {
4203 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
4204 S_GET_NAME (symbolP));
4205 ignore_rest_of_line ();
4206 return;
4207 }
4208
4209 if (S_GET_VALUE (symbolP))
4210 {
4211 if (S_GET_VALUE (symbolP) != (valueT) temp)
4212 as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
4213 S_GET_NAME (symbolP),
4214 (long) S_GET_VALUE (symbolP),
4215 (long) temp);
4216 }
4217 else
4218 {
4219 S_SET_VALUE (symbolP, (valueT) temp);
4220 S_SET_EXTERNAL (symbolP);
4221 }
4222
4223 demand_empty_rest_of_line ();
4224 }
4225
4226 /*
4227 * implement the .section pseudo op:
4228 * .section name {, "flags"}
4229 * ^ ^
4230 * | +--- optional flags: 'b' for bss
4231 * | 'i' for info
4232 * +-- section name 'l' for lib
4233 * 'n' for noload
4234 * 'o' for over
4235 * 'w' for data
4236 * 'd' (apparently m88k for data)
4237 * 'x' for text
4238 * But if the argument is not a quoted string, treat it as a
4239 * subsegment number.
4240 *
4241 * FIXME: this is a copy of the section processing from obj-coff.c, with
4242 * additions/changes for the moto-pas assembler support. There are three
4243 * categories:
4244 *
4245 * FIXME: I just noticed this. This doesn't work at all really. It it
4246 * setting bits that bfd probably neither understands or uses. The
4247 * correct approach (?) will have to incorporate extra fields attached
4248 * to the section to hold the system specific stuff. (krk)
4249 *
4250 * Section Contents:
4251 * 'a' - unknown - referred to in documentation, but no definition supplied
4252 * 'c' - section has code
4253 * 'd' - section has initialized data
4254 * 'u' - section has uninitialized data
4255 * 'i' - section contains directives (info)
4256 * 'n' - section can be discarded
4257 * 'R' - remove section at link time
4258 *
4259 * Section Protection:
4260 * 'r' - section is readable
4261 * 'w' - section is writeable
4262 * 'x' - section is executable
4263 * 's' - section is sharable
4264 *
4265 * Section Alignment:
4266 * '0' - align to byte boundary
4267 * '1' - align to halfword undary
4268 * '2' - align to word boundary
4269 * '3' - align to doubleword boundary
4270 * '4' - align to quadword boundary
4271 * '5' - align to 32 byte boundary
4272 * '6' - align to 64 byte boundary
4273 *
4274 */
4275
4276 void
4277 ppc_pe_section (ignore)
4278 int ignore ATTRIBUTE_UNUSED;
4279 {
4280 /* Strip out the section name. */
4281 char *section_name;
4282 char c;
4283 char *name;
4284 unsigned int exp;
4285 flagword flags;
4286 segT sec;
4287 int align;
4288
4289 section_name = input_line_pointer;
4290 c = get_symbol_end ();
4291
4292 name = xmalloc (input_line_pointer - section_name + 1);
4293 strcpy (name, section_name);
4294
4295 *input_line_pointer = c;
4296
4297 SKIP_WHITESPACE ();
4298
4299 exp = 0;
4300 flags = SEC_NO_FLAGS;
4301
4302 if (strcmp (name, ".idata$2") == 0)
4303 {
4304 align = 0;
4305 }
4306 else if (strcmp (name, ".idata$3") == 0)
4307 {
4308 align = 0;
4309 }
4310 else if (strcmp (name, ".idata$4") == 0)
4311 {
4312 align = 2;
4313 }
4314 else if (strcmp (name, ".idata$5") == 0)
4315 {
4316 align = 2;
4317 }
4318 else if (strcmp (name, ".idata$6") == 0)
4319 {
4320 align = 1;
4321 }
4322 else
4323 /* Default alignment to 16 byte boundary. */
4324 align = 4;
4325
4326 if (*input_line_pointer == ',')
4327 {
4328 ++input_line_pointer;
4329 SKIP_WHITESPACE ();
4330 if (*input_line_pointer != '"')
4331 exp = get_absolute_expression ();
4332 else
4333 {
4334 ++input_line_pointer;
4335 while (*input_line_pointer != '"'
4336 && ! is_end_of_line[(unsigned char) *input_line_pointer])
4337 {
4338 switch (*input_line_pointer)
4339 {
4340 /* Section Contents */
4341 case 'a': /* unknown */
4342 as_bad (_("Unsupported section attribute -- 'a'"));
4343 break;
4344 case 'c': /* code section */
4345 flags |= SEC_CODE;
4346 break;
4347 case 'd': /* section has initialized data */
4348 flags |= SEC_DATA;
4349 break;
4350 case 'u': /* section has uninitialized data */
4351 /* FIXME: This is IMAGE_SCN_CNT_UNINITIALIZED_DATA
4352 in winnt.h */
4353 flags |= SEC_ROM;
4354 break;
4355 case 'i': /* section contains directives (info) */
4356 /* FIXME: This is IMAGE_SCN_LNK_INFO
4357 in winnt.h */
4358 flags |= SEC_HAS_CONTENTS;
4359 break;
4360 case 'n': /* section can be discarded */
4361 flags &=~ SEC_LOAD;
4362 break;
4363 case 'R': /* Remove section at link time */
4364 flags |= SEC_NEVER_LOAD;
4365 break;
4366
4367 /* Section Protection */
4368 case 'r': /* section is readable */
4369 flags |= IMAGE_SCN_MEM_READ;
4370 break;
4371 case 'w': /* section is writeable */
4372 flags |= IMAGE_SCN_MEM_WRITE;
4373 break;
4374 case 'x': /* section is executable */
4375 flags |= IMAGE_SCN_MEM_EXECUTE;
4376 break;
4377 case 's': /* section is sharable */
4378 flags |= IMAGE_SCN_MEM_SHARED;
4379 break;
4380
4381 /* Section Alignment */
4382 case '0': /* align to byte boundary */
4383 flags |= IMAGE_SCN_ALIGN_1BYTES;
4384 align = 0;
4385 break;
4386 case '1': /* align to halfword boundary */
4387 flags |= IMAGE_SCN_ALIGN_2BYTES;
4388 align = 1;
4389 break;
4390 case '2': /* align to word boundary */
4391 flags |= IMAGE_SCN_ALIGN_4BYTES;
4392 align = 2;
4393 break;
4394 case '3': /* align to doubleword boundary */
4395 flags |= IMAGE_SCN_ALIGN_8BYTES;
4396 align = 3;
4397 break;
4398 case '4': /* align to quadword boundary */
4399 flags |= IMAGE_SCN_ALIGN_16BYTES;
4400 align = 4;
4401 break;
4402 case '5': /* align to 32 byte boundary */
4403 flags |= IMAGE_SCN_ALIGN_32BYTES;
4404 align = 5;
4405 break;
4406 case '6': /* align to 64 byte boundary */
4407 flags |= IMAGE_SCN_ALIGN_64BYTES;
4408 align = 6;
4409 break;
4410
4411 default:
4412 as_bad (_("unknown section attribute '%c'"),
4413 *input_line_pointer);
4414 break;
4415 }
4416 ++input_line_pointer;
4417 }
4418 if (*input_line_pointer == '"')
4419 ++input_line_pointer;
4420 }
4421 }
4422
4423 sec = subseg_new (name, (subsegT) exp);
4424
4425 ppc_set_current_section (sec);
4426
4427 if (flags != SEC_NO_FLAGS)
4428 {
4429 if (! bfd_set_section_flags (stdoutput, sec, flags))
4430 as_bad (_("error setting flags for \"%s\": %s"),
4431 bfd_section_name (stdoutput, sec),
4432 bfd_errmsg (bfd_get_error ()));
4433 }
4434
4435 bfd_set_section_alignment (stdoutput, sec, align);
4436
4437 }
4438
4439 static void
4440 ppc_pe_function (ignore)
4441 int ignore ATTRIBUTE_UNUSED;
4442 {
4443 char *name;
4444 char endc;
4445 symbolS *ext_sym;
4446
4447 name = input_line_pointer;
4448 endc = get_symbol_end ();
4449
4450 ext_sym = symbol_find_or_make (name);
4451
4452 *input_line_pointer = endc;
4453
4454 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
4455 SF_SET_FUNCTION (ext_sym);
4456 SF_SET_PROCESS (ext_sym);
4457 coff_add_linesym (ext_sym);
4458
4459 demand_empty_rest_of_line ();
4460 }
4461
4462 static void
4463 ppc_pe_tocd (ignore)
4464 int ignore ATTRIBUTE_UNUSED;
4465 {
4466 if (tocdata_section == 0)
4467 {
4468 tocdata_section = subseg_new (".tocd", 0);
4469 /* FIXME: section flags won't work. */
4470 bfd_set_section_flags (stdoutput, tocdata_section,
4471 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4472 | SEC_READONLY | SEC_DATA));
4473
4474 bfd_set_section_alignment (stdoutput, tocdata_section, 2);
4475 }
4476 else
4477 {
4478 rdata_section = subseg_new (".tocd", 0);
4479 }
4480
4481 ppc_set_current_section (tocdata_section);
4482
4483 demand_empty_rest_of_line ();
4484 }
4485
4486 /* Don't adjust TOC relocs to use the section symbol. */
4487
4488 int
4489 ppc_pe_fix_adjustable (fix)
4490 fixS *fix;
4491 {
4492 return fix->fx_r_type != BFD_RELOC_PPC_TOC16;
4493 }
4494
4495 #endif
4496 \f
4497 #ifdef OBJ_XCOFF
4498
4499 /* XCOFF specific symbol and file handling. */
4500
4501 /* Canonicalize the symbol name. We use the to force the suffix, if
4502 any, to use square brackets, and to be in upper case. */
4503
4504 char *
4505 ppc_canonicalize_symbol_name (name)
4506 char *name;
4507 {
4508 char *s;
4509
4510 if (ppc_stab_symbol)
4511 return name;
4512
4513 for (s = name; *s != '\0' && *s != '{' && *s != '['; s++)
4514 ;
4515 if (*s != '\0')
4516 {
4517 char brac;
4518
4519 if (*s == '[')
4520 brac = ']';
4521 else
4522 {
4523 *s = '[';
4524 brac = '}';
4525 }
4526
4527 for (s++; *s != '\0' && *s != brac; s++)
4528 *s = TOUPPER (*s);
4529
4530 if (*s == '\0' || s[1] != '\0')
4531 as_bad (_("bad symbol suffix"));
4532
4533 *s = ']';
4534 }
4535
4536 return name;
4537 }
4538
4539 /* Set the class of a symbol based on the suffix, if any. This is
4540 called whenever a new symbol is created. */
4541
4542 void
4543 ppc_symbol_new_hook (sym)
4544 symbolS *sym;
4545 {
4546 struct ppc_tc_sy *tc;
4547 const char *s;
4548
4549 tc = symbol_get_tc (sym);
4550 tc->next = NULL;
4551 tc->output = 0;
4552 tc->class = -1;
4553 tc->real_name = NULL;
4554 tc->subseg = 0;
4555 tc->align = 0;
4556 tc->size = NULL;
4557 tc->within = NULL;
4558
4559 if (ppc_stab_symbol)
4560 return;
4561
4562 s = strchr (S_GET_NAME (sym), '[');
4563 if (s == (const char *) NULL)
4564 {
4565 /* There is no suffix. */
4566 return;
4567 }
4568
4569 ++s;
4570
4571 switch (s[0])
4572 {
4573 case 'B':
4574 if (strcmp (s, "BS]") == 0)
4575 tc->class = XMC_BS;
4576 break;
4577 case 'D':
4578 if (strcmp (s, "DB]") == 0)
4579 tc->class = XMC_DB;
4580 else if (strcmp (s, "DS]") == 0)
4581 tc->class = XMC_DS;
4582 break;
4583 case 'G':
4584 if (strcmp (s, "GL]") == 0)
4585 tc->class = XMC_GL;
4586 break;
4587 case 'P':
4588 if (strcmp (s, "PR]") == 0)
4589 tc->class = XMC_PR;
4590 break;
4591 case 'R':
4592 if (strcmp (s, "RO]") == 0)
4593 tc->class = XMC_RO;
4594 else if (strcmp (s, "RW]") == 0)
4595 tc->class = XMC_RW;
4596 break;
4597 case 'S':
4598 if (strcmp (s, "SV]") == 0)
4599 tc->class = XMC_SV;
4600 break;
4601 case 'T':
4602 if (strcmp (s, "TC]") == 0)
4603 tc->class = XMC_TC;
4604 else if (strcmp (s, "TI]") == 0)
4605 tc->class = XMC_TI;
4606 else if (strcmp (s, "TB]") == 0)
4607 tc->class = XMC_TB;
4608 else if (strcmp (s, "TC0]") == 0 || strcmp (s, "T0]") == 0)
4609 tc->class = XMC_TC0;
4610 break;
4611 case 'U':
4612 if (strcmp (s, "UA]") == 0)
4613 tc->class = XMC_UA;
4614 else if (strcmp (s, "UC]") == 0)
4615 tc->class = XMC_UC;
4616 break;
4617 case 'X':
4618 if (strcmp (s, "XO]") == 0)
4619 tc->class = XMC_XO;
4620 break;
4621 }
4622
4623 if (tc->class == -1)
4624 as_bad (_("Unrecognized symbol suffix"));
4625 }
4626
4627 /* Set the class of a label based on where it is defined. This
4628 handles symbols without suffixes. Also, move the symbol so that it
4629 follows the csect symbol. */
4630
4631 void
4632 ppc_frob_label (sym)
4633 symbolS *sym;
4634 {
4635 if (ppc_current_csect != (symbolS *) NULL)
4636 {
4637 if (symbol_get_tc (sym)->class == -1)
4638 symbol_get_tc (sym)->class = symbol_get_tc (ppc_current_csect)->class;
4639
4640 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
4641 symbol_append (sym, symbol_get_tc (ppc_current_csect)->within,
4642 &symbol_rootP, &symbol_lastP);
4643 symbol_get_tc (ppc_current_csect)->within = sym;
4644 }
4645 }
4646
4647 /* This variable is set by ppc_frob_symbol if any absolute symbols are
4648 seen. It tells ppc_adjust_symtab whether it needs to look through
4649 the symbols. */
4650
4651 static boolean ppc_saw_abs;
4652
4653 /* Change the name of a symbol just before writing it out. Set the
4654 real name if the .rename pseudo-op was used. Otherwise, remove any
4655 class suffix. Return 1 if the symbol should not be included in the
4656 symbol table. */
4657
4658 int
4659 ppc_frob_symbol (sym)
4660 symbolS *sym;
4661 {
4662 static symbolS *ppc_last_function;
4663 static symbolS *set_end;
4664
4665 /* Discard symbols that should not be included in the output symbol
4666 table. */
4667 if (! symbol_used_in_reloc_p (sym)
4668 && ((symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) != 0
4669 || (! S_IS_EXTERNAL (sym)
4670 && ! symbol_get_tc (sym)->output
4671 && S_GET_STORAGE_CLASS (sym) != C_FILE)))
4672 return 1;
4673
4674 /* This one will disappear anyway. Don't make a csect sym for it. */
4675 if (sym == abs_section_sym)
4676 return 1;
4677
4678 if (symbol_get_tc (sym)->real_name != (char *) NULL)
4679 S_SET_NAME (sym, symbol_get_tc (sym)->real_name);
4680 else
4681 {
4682 const char *name;
4683 const char *s;
4684
4685 name = S_GET_NAME (sym);
4686 s = strchr (name, '[');
4687 if (s != (char *) NULL)
4688 {
4689 unsigned int len;
4690 char *snew;
4691
4692 len = s - name;
4693 snew = xmalloc (len + 1);
4694 memcpy (snew, name, len);
4695 snew[len] = '\0';
4696
4697 S_SET_NAME (sym, snew);
4698 }
4699 }
4700
4701 if (set_end != (symbolS *) NULL)
4702 {
4703 SA_SET_SYM_ENDNDX (set_end, sym);
4704 set_end = NULL;
4705 }
4706
4707 if (SF_GET_FUNCTION (sym))
4708 {
4709 if (ppc_last_function != (symbolS *) NULL)
4710 as_bad (_("two .function pseudo-ops with no intervening .ef"));
4711 ppc_last_function = sym;
4712 if (symbol_get_tc (sym)->size != (symbolS *) NULL)
4713 {
4714 resolve_symbol_value (symbol_get_tc (sym)->size);
4715 SA_SET_SYM_FSIZE (sym,
4716 (long) S_GET_VALUE (symbol_get_tc (sym)->size));
4717 }
4718 }
4719 else if (S_GET_STORAGE_CLASS (sym) == C_FCN
4720 && strcmp (S_GET_NAME (sym), ".ef") == 0)
4721 {
4722 if (ppc_last_function == (symbolS *) NULL)
4723 as_bad (_(".ef with no preceding .function"));
4724 else
4725 {
4726 set_end = ppc_last_function;
4727 ppc_last_function = NULL;
4728
4729 /* We don't have a C_EFCN symbol, but we need to force the
4730 COFF backend to believe that it has seen one. */
4731 coff_last_function = NULL;
4732 }
4733 }
4734
4735 if (! S_IS_EXTERNAL (sym)
4736 && (symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) == 0
4737 && S_GET_STORAGE_CLASS (sym) != C_FILE
4738 && S_GET_STORAGE_CLASS (sym) != C_FCN
4739 && S_GET_STORAGE_CLASS (sym) != C_BLOCK
4740 && S_GET_STORAGE_CLASS (sym) != C_BSTAT
4741 && S_GET_STORAGE_CLASS (sym) != C_ESTAT
4742 && S_GET_STORAGE_CLASS (sym) != C_BINCL
4743 && S_GET_STORAGE_CLASS (sym) != C_EINCL
4744 && S_GET_SEGMENT (sym) != ppc_coff_debug_section)
4745 S_SET_STORAGE_CLASS (sym, C_HIDEXT);
4746
4747 if (S_GET_STORAGE_CLASS (sym) == C_EXT
4748 || S_GET_STORAGE_CLASS (sym) == C_HIDEXT)
4749 {
4750 int i;
4751 union internal_auxent *a;
4752
4753 /* Create a csect aux. */
4754 i = S_GET_NUMBER_AUXILIARY (sym);
4755 S_SET_NUMBER_AUXILIARY (sym, i + 1);
4756 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].u.auxent;
4757 if (symbol_get_tc (sym)->class == XMC_TC0)
4758 {
4759 /* This is the TOC table. */
4760 know (strcmp (S_GET_NAME (sym), "TOC") == 0);
4761 a->x_csect.x_scnlen.l = 0;
4762 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
4763 }
4764 else if (symbol_get_tc (sym)->subseg != 0)
4765 {
4766 /* This is a csect symbol. x_scnlen is the size of the
4767 csect. */
4768 if (symbol_get_tc (sym)->next == (symbolS *) NULL)
4769 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
4770 S_GET_SEGMENT (sym))
4771 - S_GET_VALUE (sym));
4772 else
4773 {
4774 resolve_symbol_value (symbol_get_tc (sym)->next);
4775 a->x_csect.x_scnlen.l = (S_GET_VALUE (symbol_get_tc (sym)->next)
4776 - S_GET_VALUE (sym));
4777 }
4778 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_SD;
4779 }
4780 else if (S_GET_SEGMENT (sym) == bss_section)
4781 {
4782 /* This is a common symbol. */
4783 a->x_csect.x_scnlen.l = symbol_get_frag (sym)->fr_offset;
4784 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_CM;
4785 if (S_IS_EXTERNAL (sym))
4786 symbol_get_tc (sym)->class = XMC_RW;
4787 else
4788 symbol_get_tc (sym)->class = XMC_BS;
4789 }
4790 else if (S_GET_SEGMENT (sym) == absolute_section)
4791 {
4792 /* This is an absolute symbol. The csect will be created by
4793 ppc_adjust_symtab. */
4794 ppc_saw_abs = true;
4795 a->x_csect.x_smtyp = XTY_LD;
4796 if (symbol_get_tc (sym)->class == -1)
4797 symbol_get_tc (sym)->class = XMC_XO;
4798 }
4799 else if (! S_IS_DEFINED (sym))
4800 {
4801 /* This is an external symbol. */
4802 a->x_csect.x_scnlen.l = 0;
4803 a->x_csect.x_smtyp = XTY_ER;
4804 }
4805 else if (symbol_get_tc (sym)->class == XMC_TC)
4806 {
4807 symbolS *next;
4808
4809 /* This is a TOC definition. x_scnlen is the size of the
4810 TOC entry. */
4811 next = symbol_next (sym);
4812 while (symbol_get_tc (next)->class == XMC_TC0)
4813 next = symbol_next (next);
4814 if (next == (symbolS *) NULL
4815 || symbol_get_tc (next)->class != XMC_TC)
4816 {
4817 if (ppc_after_toc_frag == (fragS *) NULL)
4818 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
4819 data_section)
4820 - S_GET_VALUE (sym));
4821 else
4822 a->x_csect.x_scnlen.l = (ppc_after_toc_frag->fr_address
4823 - S_GET_VALUE (sym));
4824 }
4825 else
4826 {
4827 resolve_symbol_value (next);
4828 a->x_csect.x_scnlen.l = (S_GET_VALUE (next)
4829 - S_GET_VALUE (sym));
4830 }
4831 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
4832 }
4833 else
4834 {
4835 symbolS *csect;
4836
4837 /* This is a normal symbol definition. x_scnlen is the
4838 symbol index of the containing csect. */
4839 if (S_GET_SEGMENT (sym) == text_section)
4840 csect = ppc_text_csects;
4841 else if (S_GET_SEGMENT (sym) == data_section)
4842 csect = ppc_data_csects;
4843 else
4844 abort ();
4845
4846 /* Skip the initial dummy symbol. */
4847 csect = symbol_get_tc (csect)->next;
4848
4849 if (csect == (symbolS *) NULL)
4850 {
4851 as_warn (_("warning: symbol %s has no csect"), S_GET_NAME (sym));
4852 a->x_csect.x_scnlen.l = 0;
4853 }
4854 else
4855 {
4856 while (symbol_get_tc (csect)->next != (symbolS *) NULL)
4857 {
4858 resolve_symbol_value (symbol_get_tc (csect)->next);
4859 if (S_GET_VALUE (symbol_get_tc (csect)->next)
4860 > S_GET_VALUE (sym))
4861 break;
4862 csect = symbol_get_tc (csect)->next;
4863 }
4864
4865 a->x_csect.x_scnlen.p =
4866 coffsymbol (symbol_get_bfdsym (csect))->native;
4867 coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].fix_scnlen =
4868 1;
4869 }
4870 a->x_csect.x_smtyp = XTY_LD;
4871 }
4872
4873 a->x_csect.x_parmhash = 0;
4874 a->x_csect.x_snhash = 0;
4875 if (symbol_get_tc (sym)->class == -1)
4876 a->x_csect.x_smclas = XMC_PR;
4877 else
4878 a->x_csect.x_smclas = symbol_get_tc (sym)->class;
4879 a->x_csect.x_stab = 0;
4880 a->x_csect.x_snstab = 0;
4881
4882 /* Don't let the COFF backend resort these symbols. */
4883 symbol_get_bfdsym (sym)->flags |= BSF_NOT_AT_END;
4884 }
4885 else if (S_GET_STORAGE_CLASS (sym) == C_BSTAT)
4886 {
4887 /* We want the value to be the symbol index of the referenced
4888 csect symbol. BFD will do that for us if we set the right
4889 flags. */
4890 asymbol *bsym = symbol_get_bfdsym (symbol_get_tc (sym)->within);
4891 combined_entry_type *c = coffsymbol (bsym)->native;
4892
4893 S_SET_VALUE (sym, (valueT) (size_t) c);
4894 coffsymbol (symbol_get_bfdsym (sym))->native->fix_value = 1;
4895 }
4896 else if (S_GET_STORAGE_CLASS (sym) == C_STSYM)
4897 {
4898 symbolS *block;
4899 symbolS *csect;
4900
4901 /* The value is the offset from the enclosing csect. */
4902 block = symbol_get_tc (sym)->within;
4903 csect = symbol_get_tc (block)->within;
4904 resolve_symbol_value (csect);
4905 S_SET_VALUE (sym, S_GET_VALUE (sym) - S_GET_VALUE (csect));
4906 }
4907 else if (S_GET_STORAGE_CLASS (sym) == C_BINCL
4908 || S_GET_STORAGE_CLASS (sym) == C_EINCL)
4909 {
4910 /* We want the value to be a file offset into the line numbers.
4911 BFD will do that for us if we set the right flags. We have
4912 already set the value correctly. */
4913 coffsymbol (symbol_get_bfdsym (sym))->native->fix_line = 1;
4914 }
4915
4916 return 0;
4917 }
4918
4919 /* Adjust the symbol table. This creates csect symbols for all
4920 absolute symbols. */
4921
4922 void
4923 ppc_adjust_symtab ()
4924 {
4925 symbolS *sym;
4926
4927 if (! ppc_saw_abs)
4928 return;
4929
4930 for (sym = symbol_rootP; sym != NULL; sym = symbol_next (sym))
4931 {
4932 symbolS *csect;
4933 int i;
4934 union internal_auxent *a;
4935
4936 if (S_GET_SEGMENT (sym) != absolute_section)
4937 continue;
4938
4939 csect = symbol_create (".abs[XO]", absolute_section,
4940 S_GET_VALUE (sym), &zero_address_frag);
4941 symbol_get_bfdsym (csect)->value = S_GET_VALUE (sym);
4942 S_SET_STORAGE_CLASS (csect, C_HIDEXT);
4943 i = S_GET_NUMBER_AUXILIARY (csect);
4944 S_SET_NUMBER_AUXILIARY (csect, i + 1);
4945 a = &coffsymbol (symbol_get_bfdsym (csect))->native[i + 1].u.auxent;
4946 a->x_csect.x_scnlen.l = 0;
4947 a->x_csect.x_smtyp = XTY_SD;
4948 a->x_csect.x_parmhash = 0;
4949 a->x_csect.x_snhash = 0;
4950 a->x_csect.x_smclas = XMC_XO;
4951 a->x_csect.x_stab = 0;
4952 a->x_csect.x_snstab = 0;
4953
4954 symbol_insert (csect, sym, &symbol_rootP, &symbol_lastP);
4955
4956 i = S_GET_NUMBER_AUXILIARY (sym);
4957 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i].u.auxent;
4958 a->x_csect.x_scnlen.p = coffsymbol (symbol_get_bfdsym (csect))->native;
4959 coffsymbol (symbol_get_bfdsym (sym))->native[i].fix_scnlen = 1;
4960 }
4961
4962 ppc_saw_abs = false;
4963 }
4964
4965 /* Set the VMA for a section. This is called on all the sections in
4966 turn. */
4967
4968 void
4969 ppc_frob_section (sec)
4970 asection *sec;
4971 {
4972 static bfd_size_type vma = 0;
4973
4974 bfd_set_section_vma (stdoutput, sec, vma);
4975 vma += bfd_section_size (stdoutput, sec);
4976 }
4977
4978 #endif /* OBJ_XCOFF */
4979 \f
4980 /* Turn a string in input_line_pointer into a floating point constant
4981 of type TYPE, and store the appropriate bytes in *LITP. The number
4982 of LITTLENUMS emitted is stored in *SIZEP. An error message is
4983 returned, or NULL on OK. */
4984
4985 char *
4986 md_atof (type, litp, sizep)
4987 int type;
4988 char *litp;
4989 int *sizep;
4990 {
4991 int prec;
4992 LITTLENUM_TYPE words[4];
4993 char *t;
4994 int i;
4995
4996 switch (type)
4997 {
4998 case 'f':
4999 prec = 2;
5000 break;
5001
5002 case 'd':
5003 prec = 4;
5004 break;
5005
5006 default:
5007 *sizep = 0;
5008 return _("bad call to md_atof");
5009 }
5010
5011 t = atof_ieee (input_line_pointer, type, words);
5012 if (t)
5013 input_line_pointer = t;
5014
5015 *sizep = prec * 2;
5016
5017 if (target_big_endian)
5018 {
5019 for (i = 0; i < prec; i++)
5020 {
5021 md_number_to_chars (litp, (valueT) words[i], 2);
5022 litp += 2;
5023 }
5024 }
5025 else
5026 {
5027 for (i = prec - 1; i >= 0; i--)
5028 {
5029 md_number_to_chars (litp, (valueT) words[i], 2);
5030 litp += 2;
5031 }
5032 }
5033
5034 return NULL;
5035 }
5036
5037 /* Write a value out to the object file, using the appropriate
5038 endianness. */
5039
5040 void
5041 md_number_to_chars (buf, val, n)
5042 char *buf;
5043 valueT val;
5044 int n;
5045 {
5046 if (target_big_endian)
5047 number_to_chars_bigendian (buf, val, n);
5048 else
5049 number_to_chars_littleendian (buf, val, n);
5050 }
5051
5052 /* Align a section (I don't know why this is machine dependent). */
5053
5054 valueT
5055 md_section_align (seg, addr)
5056 asection *seg;
5057 valueT addr;
5058 {
5059 int align = bfd_get_section_alignment (stdoutput, seg);
5060
5061 return ((addr + (1 << align) - 1) & (-1 << align));
5062 }
5063
5064 /* We don't have any form of relaxing. */
5065
5066 int
5067 md_estimate_size_before_relax (fragp, seg)
5068 fragS *fragp ATTRIBUTE_UNUSED;
5069 asection *seg ATTRIBUTE_UNUSED;
5070 {
5071 abort ();
5072 return 0;
5073 }
5074
5075 /* Convert a machine dependent frag. We never generate these. */
5076
5077 void
5078 md_convert_frag (abfd, sec, fragp)
5079 bfd *abfd ATTRIBUTE_UNUSED;
5080 asection *sec ATTRIBUTE_UNUSED;
5081 fragS *fragp ATTRIBUTE_UNUSED;
5082 {
5083 abort ();
5084 }
5085
5086 /* We have no need to default values of symbols. */
5087
5088 symbolS *
5089 md_undefined_symbol (name)
5090 char *name ATTRIBUTE_UNUSED;
5091 {
5092 return 0;
5093 }
5094 \f
5095 /* Functions concerning relocs. */
5096
5097 /* The location from which a PC relative jump should be calculated,
5098 given a PC relative reloc. */
5099
5100 long
5101 md_pcrel_from_section (fixp, sec)
5102 fixS *fixp;
5103 segT sec ATTRIBUTE_UNUSED;
5104 {
5105 return fixp->fx_frag->fr_address + fixp->fx_where;
5106 }
5107
5108 #ifdef OBJ_XCOFF
5109
5110 /* This is called to see whether a fixup should be adjusted to use a
5111 section symbol. We take the opportunity to change a fixup against
5112 a symbol in the TOC subsegment into a reloc against the
5113 corresponding .tc symbol. */
5114
5115 int
5116 ppc_fix_adjustable (fix)
5117 fixS *fix;
5118 {
5119 valueT val = resolve_symbol_value (fix->fx_addsy);
5120 segT symseg = S_GET_SEGMENT (fix->fx_addsy);
5121 TC_SYMFIELD_TYPE *tc;
5122
5123 if (symseg == absolute_section)
5124 return 0;
5125
5126 if (ppc_toc_csect != (symbolS *) NULL
5127 && fix->fx_addsy != ppc_toc_csect
5128 && symseg == data_section
5129 && val >= ppc_toc_frag->fr_address
5130 && (ppc_after_toc_frag == (fragS *) NULL
5131 || val < ppc_after_toc_frag->fr_address))
5132 {
5133 symbolS *sy;
5134
5135 for (sy = symbol_next (ppc_toc_csect);
5136 sy != (symbolS *) NULL;
5137 sy = symbol_next (sy))
5138 {
5139 TC_SYMFIELD_TYPE *sy_tc = symbol_get_tc (sy);
5140
5141 if (sy_tc->class == XMC_TC0)
5142 continue;
5143 if (sy_tc->class != XMC_TC)
5144 break;
5145 if (val == resolve_symbol_value (sy))
5146 {
5147 fix->fx_addsy = sy;
5148 fix->fx_addnumber = val - ppc_toc_frag->fr_address;
5149 return 0;
5150 }
5151 }
5152
5153 as_bad_where (fix->fx_file, fix->fx_line,
5154 _("symbol in .toc does not match any .tc"));
5155 }
5156
5157 /* Possibly adjust the reloc to be against the csect. */
5158 tc = symbol_get_tc (fix->fx_addsy);
5159 if (tc->subseg == 0
5160 && tc->class != XMC_TC0
5161 && tc->class != XMC_TC
5162 && symseg != bss_section
5163 /* Don't adjust if this is a reloc in the toc section. */
5164 && (symseg != data_section
5165 || ppc_toc_csect == NULL
5166 || val < ppc_toc_frag->fr_address
5167 || (ppc_after_toc_frag != NULL
5168 && val >= ppc_after_toc_frag->fr_address)))
5169 {
5170 symbolS *csect;
5171 symbolS *next_csect;
5172
5173 if (symseg == text_section)
5174 csect = ppc_text_csects;
5175 else if (symseg == data_section)
5176 csect = ppc_data_csects;
5177 else
5178 abort ();
5179
5180 /* Skip the initial dummy symbol. */
5181 csect = symbol_get_tc (csect)->next;
5182
5183 if (csect != (symbolS *) NULL)
5184 {
5185 while ((next_csect = symbol_get_tc (csect)->next) != (symbolS *) NULL
5186 && (symbol_get_frag (next_csect)->fr_address <= val))
5187 {
5188 /* If the csect address equals the symbol value, then we
5189 have to look through the full symbol table to see
5190 whether this is the csect we want. Note that we will
5191 only get here if the csect has zero length. */
5192 if (symbol_get_frag (csect)->fr_address == val
5193 && S_GET_VALUE (csect) == val)
5194 {
5195 symbolS *scan;
5196
5197 for (scan = symbol_next (csect);
5198 scan != NULL;
5199 scan = symbol_next (scan))
5200 {
5201 if (symbol_get_tc (scan)->subseg != 0)
5202 break;
5203 if (scan == fix->fx_addsy)
5204 break;
5205 }
5206
5207 /* If we found the symbol before the next csect
5208 symbol, then this is the csect we want. */
5209 if (scan == fix->fx_addsy)
5210 break;
5211 }
5212
5213 csect = next_csect;
5214 }
5215
5216 fix->fx_offset += val - symbol_get_frag (csect)->fr_address;
5217 fix->fx_addsy = csect;
5218 }
5219 return 0;
5220 }
5221
5222 /* Adjust a reloc against a .lcomm symbol to be against the base
5223 .lcomm. */
5224 if (symseg == bss_section
5225 && ! S_IS_EXTERNAL (fix->fx_addsy))
5226 {
5227 symbolS *sy = symbol_get_frag (fix->fx_addsy)->fr_symbol;
5228
5229 fix->fx_offset += val - resolve_symbol_value (sy);
5230 fix->fx_addsy = sy;
5231 }
5232
5233 return 0;
5234 }
5235
5236 /* A reloc from one csect to another must be kept. The assembler
5237 will, of course, keep relocs between sections, and it will keep
5238 absolute relocs, but we need to force it to keep PC relative relocs
5239 between two csects in the same section. */
5240
5241 int
5242 ppc_force_relocation (fix)
5243 fixS *fix;
5244 {
5245 /* At this point fix->fx_addsy should already have been converted to
5246 a csect symbol. If the csect does not include the fragment, then
5247 we need to force the relocation. */
5248 if (fix->fx_pcrel
5249 && fix->fx_addsy != NULL
5250 && symbol_get_tc (fix->fx_addsy)->subseg != 0
5251 && ((symbol_get_frag (fix->fx_addsy)->fr_address
5252 > fix->fx_frag->fr_address)
5253 || (symbol_get_tc (fix->fx_addsy)->next != NULL
5254 && (symbol_get_frag (symbol_get_tc (fix->fx_addsy)->next)->fr_address
5255 <= fix->fx_frag->fr_address))))
5256 return 1;
5257
5258 return S_FORCE_RELOC (fix->fx_addsy);
5259 }
5260
5261 #endif /* OBJ_XCOFF */
5262
5263 #ifdef OBJ_ELF
5264 /* If this function returns non-zero, it guarantees that a relocation
5265 will be emitted for a fixup. */
5266
5267 int
5268 ppc_force_relocation (fix)
5269 fixS *fix;
5270 {
5271 /* Branch prediction relocations must force a relocation, as must
5272 the vtable description relocs. */
5273 switch (fix->fx_r_type)
5274 {
5275 case BFD_RELOC_PPC_B16_BRTAKEN:
5276 case BFD_RELOC_PPC_B16_BRNTAKEN:
5277 case BFD_RELOC_PPC_BA16_BRTAKEN:
5278 case BFD_RELOC_PPC_BA16_BRNTAKEN:
5279 case BFD_RELOC_PPC64_TOC:
5280 case BFD_RELOC_VTABLE_INHERIT:
5281 case BFD_RELOC_VTABLE_ENTRY:
5282 return 1;
5283 default:
5284 break;
5285 }
5286
5287 return S_FORCE_RELOC (fix->fx_addsy);
5288 }
5289
5290 int
5291 ppc_fix_adjustable (fix)
5292 fixS *fix;
5293 {
5294 return (fix->fx_r_type != BFD_RELOC_16_GOTOFF
5295 && fix->fx_r_type != BFD_RELOC_LO16_GOTOFF
5296 && fix->fx_r_type != BFD_RELOC_HI16_GOTOFF
5297 && fix->fx_r_type != BFD_RELOC_HI16_S_GOTOFF
5298 && fix->fx_r_type != BFD_RELOC_GPREL16
5299 && fix->fx_r_type != BFD_RELOC_VTABLE_INHERIT
5300 && fix->fx_r_type != BFD_RELOC_VTABLE_ENTRY
5301 && (fix->fx_pcrel
5302 || (fix->fx_subsy != NULL
5303 && (S_GET_SEGMENT (fix->fx_subsy)
5304 == S_GET_SEGMENT (fix->fx_addsy)))
5305 || S_IS_LOCAL (fix->fx_addsy)));
5306 }
5307 #endif
5308
5309 /* Apply a fixup to the object code. This is called for all the
5310 fixups we generated by the call to fix_new_exp, above. In the call
5311 above we used a reloc code which was the largest legal reloc code
5312 plus the operand index. Here we undo that to recover the operand
5313 index. At this point all symbol values should be fully resolved,
5314 and we attempt to completely resolve the reloc. If we can not do
5315 that, we determine the correct reloc code and put it back in the
5316 fixup. */
5317
5318 void
5319 md_apply_fix3 (fixP, valP, seg)
5320 fixS *fixP;
5321 valueT * valP;
5322 segT seg ATTRIBUTE_UNUSED;
5323 {
5324 valueT value = * valP;
5325
5326 #ifdef OBJ_ELF
5327 if (fixP->fx_addsy != NULL)
5328 {
5329 /* Hack around bfd_install_relocation brain damage. */
5330 if (fixP->fx_pcrel)
5331 value += fixP->fx_frag->fr_address + fixP->fx_where;
5332 }
5333 else
5334 fixP->fx_done = 1;
5335 #else
5336 /* FIXME FIXME FIXME: The value we are passed in *valP includes
5337 the symbol values. Since we are using BFD_ASSEMBLER, if we are
5338 doing this relocation the code in write.c is going to call
5339 bfd_install_relocation, which is also going to use the symbol
5340 value. That means that if the reloc is fully resolved we want to
5341 use *valP since bfd_install_relocation is not being used.
5342 However, if the reloc is not fully resolved we do not want to use
5343 *valP, and must use fx_offset instead. However, if the reloc
5344 is PC relative, we do want to use *valP since it includes the
5345 result of md_pcrel_from. This is confusing. */
5346 if (fixP->fx_addsy == (symbolS *) NULL)
5347 fixP->fx_done = 1;
5348
5349 else if (fixP->fx_pcrel)
5350 ;
5351
5352 else
5353 value = fixP->fx_offset;
5354 #endif
5355
5356 if (fixP->fx_subsy != (symbolS *) NULL)
5357 {
5358 /* We can't actually support subtracting a symbol. */
5359 as_bad_where (fixP->fx_file, fixP->fx_line, _("expression too complex"));
5360 }
5361
5362 if ((int) fixP->fx_r_type >= (int) BFD_RELOC_UNUSED)
5363 {
5364 int opindex;
5365 const struct powerpc_operand *operand;
5366 char *where;
5367 unsigned long insn;
5368
5369 opindex = (int) fixP->fx_r_type - (int) BFD_RELOC_UNUSED;
5370
5371 operand = &powerpc_operands[opindex];
5372
5373 #ifdef OBJ_XCOFF
5374 /* An instruction like `lwz 9,sym(30)' when `sym' is not a TOC symbol
5375 does not generate a reloc. It uses the offset of `sym' within its
5376 csect. Other usages, such as `.long sym', generate relocs. This
5377 is the documented behaviour of non-TOC symbols. */
5378 if ((operand->flags & PPC_OPERAND_PARENS) != 0
5379 && operand->bits == 16
5380 && operand->shift == 0
5381 && (operand->insert == NULL || ppc_obj64)
5382 && fixP->fx_addsy != NULL
5383 && symbol_get_tc (fixP->fx_addsy)->subseg != 0
5384 && symbol_get_tc (fixP->fx_addsy)->class != XMC_TC
5385 && symbol_get_tc (fixP->fx_addsy)->class != XMC_TC0
5386 && S_GET_SEGMENT (fixP->fx_addsy) != bss_section)
5387 {
5388 value = fixP->fx_offset;
5389 fixP->fx_done = 1;
5390 }
5391 #endif
5392
5393 /* Fetch the instruction, insert the fully resolved operand
5394 value, and stuff the instruction back again. */
5395 where = fixP->fx_frag->fr_literal + fixP->fx_where;
5396 if (target_big_endian)
5397 insn = bfd_getb32 ((unsigned char *) where);
5398 else
5399 insn = bfd_getl32 ((unsigned char *) where);
5400 insn = ppc_insert_operand (insn, operand, (offsetT) value,
5401 fixP->fx_file, fixP->fx_line);
5402 if (target_big_endian)
5403 bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
5404 else
5405 bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
5406
5407 if (fixP->fx_done)
5408 /* Nothing else to do here. */
5409 return;
5410
5411 assert (fixP->fx_addsy != NULL);
5412
5413 /* Determine a BFD reloc value based on the operand information.
5414 We are only prepared to turn a few of the operands into
5415 relocs. */
5416 if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
5417 && operand->bits == 26
5418 && operand->shift == 0)
5419 fixP->fx_r_type = BFD_RELOC_PPC_B26;
5420 else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
5421 && operand->bits == 16
5422 && operand->shift == 0)
5423 {
5424 fixP->fx_r_type = BFD_RELOC_PPC_B16;
5425 #ifdef OBJ_XCOFF
5426 fixP->fx_size = 2;
5427 if (target_big_endian)
5428 fixP->fx_where += 2;
5429 #endif
5430 }
5431 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
5432 && operand->bits == 26
5433 && operand->shift == 0)
5434 fixP->fx_r_type = BFD_RELOC_PPC_BA26;
5435 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
5436 && operand->bits == 16
5437 && operand->shift == 0)
5438 {
5439 fixP->fx_r_type = BFD_RELOC_PPC_BA16;
5440 #ifdef OBJ_XCOFF
5441 fixP->fx_size = 2;
5442 if (target_big_endian)
5443 fixP->fx_where += 2;
5444 #endif
5445 }
5446 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
5447 else if ((operand->flags & PPC_OPERAND_PARENS) != 0
5448 && operand->bits == 16
5449 && operand->shift == 0
5450 && ppc_is_toc_sym (fixP->fx_addsy))
5451 {
5452 fixP->fx_r_type = BFD_RELOC_PPC_TOC16;
5453 #ifdef OBJ_ELF
5454 if (ppc_obj64
5455 && (operand->flags & PPC_OPERAND_DS) != 0)
5456 fixP->fx_r_type = BFD_RELOC_PPC64_TOC16_DS;
5457 #endif
5458 fixP->fx_size = 2;
5459 if (target_big_endian)
5460 fixP->fx_where += 2;
5461 }
5462 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
5463 else
5464 {
5465 char *sfile;
5466 unsigned int sline;
5467
5468 /* Use expr_symbol_where to see if this is an expression
5469 symbol. */
5470 if (expr_symbol_where (fixP->fx_addsy, &sfile, &sline))
5471 as_bad_where (fixP->fx_file, fixP->fx_line,
5472 _("unresolved expression that must be resolved"));
5473 else
5474 as_bad_where (fixP->fx_file, fixP->fx_line,
5475 _("unsupported relocation against %s"),
5476 S_GET_NAME (fixP->fx_addsy));
5477 fixP->fx_done = 1;
5478 return;
5479 }
5480 }
5481 else
5482 {
5483 #ifdef OBJ_ELF
5484 ppc_elf_validate_fix (fixP, seg);
5485 #endif
5486 switch (fixP->fx_r_type)
5487 {
5488 case BFD_RELOC_CTOR:
5489 if (ppc_obj64)
5490 goto ctor64;
5491 /* fall through */
5492
5493 case BFD_RELOC_32:
5494 if (fixP->fx_pcrel)
5495 fixP->fx_r_type = BFD_RELOC_32_PCREL;
5496 /* fall through */
5497
5498 case BFD_RELOC_RVA:
5499 case BFD_RELOC_32_PCREL:
5500 case BFD_RELOC_PPC_EMB_NADDR32:
5501 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5502 value, 4);
5503 break;
5504
5505 case BFD_RELOC_64:
5506 ctor64:
5507 if (fixP->fx_pcrel)
5508 fixP->fx_r_type = BFD_RELOC_64_PCREL;
5509 /* fall through */
5510
5511 case BFD_RELOC_64_PCREL:
5512 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5513 value, 8);
5514 break;
5515
5516 case BFD_RELOC_LO16:
5517 case BFD_RELOC_16:
5518 case BFD_RELOC_GPREL16:
5519 case BFD_RELOC_16_GOT_PCREL:
5520 case BFD_RELOC_16_GOTOFF:
5521 case BFD_RELOC_LO16_GOTOFF:
5522 case BFD_RELOC_HI16_GOTOFF:
5523 case BFD_RELOC_HI16_S_GOTOFF:
5524 case BFD_RELOC_16_BASEREL:
5525 case BFD_RELOC_LO16_BASEREL:
5526 case BFD_RELOC_HI16_BASEREL:
5527 case BFD_RELOC_HI16_S_BASEREL:
5528 case BFD_RELOC_PPC_EMB_NADDR16:
5529 case BFD_RELOC_PPC_EMB_NADDR16_LO:
5530 case BFD_RELOC_PPC_EMB_NADDR16_HI:
5531 case BFD_RELOC_PPC_EMB_NADDR16_HA:
5532 case BFD_RELOC_PPC_EMB_SDAI16:
5533 case BFD_RELOC_PPC_EMB_SDA2REL:
5534 case BFD_RELOC_PPC_EMB_SDA2I16:
5535 case BFD_RELOC_PPC_EMB_RELSEC16:
5536 case BFD_RELOC_PPC_EMB_RELST_LO:
5537 case BFD_RELOC_PPC_EMB_RELST_HI:
5538 case BFD_RELOC_PPC_EMB_RELST_HA:
5539 case BFD_RELOC_PPC_EMB_RELSDA:
5540 case BFD_RELOC_PPC_TOC16:
5541 #ifdef OBJ_ELF
5542 case BFD_RELOC_PPC64_TOC16_LO:
5543 case BFD_RELOC_PPC64_TOC16_HI:
5544 case BFD_RELOC_PPC64_TOC16_HA:
5545 #endif
5546 if (fixP->fx_pcrel)
5547 {
5548 if (fixP->fx_addsy != NULL)
5549 as_bad_where (fixP->fx_file, fixP->fx_line,
5550 _("cannot emit PC relative %s relocation against %s"),
5551 bfd_get_reloc_code_name (fixP->fx_r_type),
5552 S_GET_NAME (fixP->fx_addsy));
5553 else
5554 as_bad_where (fixP->fx_file, fixP->fx_line,
5555 _("cannot emit PC relative %s relocation"),
5556 bfd_get_reloc_code_name (fixP->fx_r_type));
5557 }
5558
5559 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5560 value, 2);
5561 break;
5562
5563 /* This case happens when you write, for example,
5564 lis %r3,(L1-L2)@ha
5565 where L1 and L2 are defined later. */
5566 case BFD_RELOC_HI16:
5567 if (fixP->fx_pcrel)
5568 abort ();
5569 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5570 PPC_HI (value), 2);
5571 break;
5572
5573 case BFD_RELOC_HI16_S:
5574 if (fixP->fx_pcrel)
5575 abort ();
5576 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5577 PPC_HA (value), 2);
5578 break;
5579
5580 #ifdef OBJ_ELF
5581 case BFD_RELOC_PPC64_HIGHER:
5582 if (fixP->fx_pcrel)
5583 abort ();
5584 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5585 PPC_HIGHER (value), 2);
5586 break;
5587
5588 case BFD_RELOC_PPC64_HIGHER_S:
5589 if (fixP->fx_pcrel)
5590 abort ();
5591 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5592 PPC_HIGHERA (value), 2);
5593 break;
5594
5595 case BFD_RELOC_PPC64_HIGHEST:
5596 if (fixP->fx_pcrel)
5597 abort ();
5598 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5599 PPC_HIGHEST (value), 2);
5600 break;
5601
5602 case BFD_RELOC_PPC64_HIGHEST_S:
5603 if (fixP->fx_pcrel)
5604 abort ();
5605 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5606 PPC_HIGHESTA (value), 2);
5607 break;
5608
5609 case BFD_RELOC_PPC64_ADDR16_DS:
5610 case BFD_RELOC_PPC64_ADDR16_LO_DS:
5611 case BFD_RELOC_PPC64_GOT16_DS:
5612 case BFD_RELOC_PPC64_GOT16_LO_DS:
5613 case BFD_RELOC_PPC64_PLT16_LO_DS:
5614 case BFD_RELOC_PPC64_SECTOFF_DS:
5615 case BFD_RELOC_PPC64_SECTOFF_LO_DS:
5616 case BFD_RELOC_PPC64_TOC16_DS:
5617 case BFD_RELOC_PPC64_TOC16_LO_DS:
5618 case BFD_RELOC_PPC64_PLTGOT16_DS:
5619 case BFD_RELOC_PPC64_PLTGOT16_LO_DS:
5620 if (fixP->fx_pcrel)
5621 abort ();
5622 {
5623 unsigned char *where = fixP->fx_frag->fr_literal + fixP->fx_where;
5624 unsigned long val;
5625
5626 if (target_big_endian)
5627 val = bfd_getb16 (where);
5628 else
5629 val = bfd_getl16 (where);
5630 val |= (value & 0xfffc);
5631 if (target_big_endian)
5632 bfd_putb16 ((bfd_vma) val, where);
5633 else
5634 bfd_putl16 ((bfd_vma) val, where);
5635 }
5636 break;
5637 #endif
5638 /* Because SDA21 modifies the register field, the size is set to 4
5639 bytes, rather than 2, so offset it here appropriately. */
5640 case BFD_RELOC_PPC_EMB_SDA21:
5641 if (fixP->fx_pcrel)
5642 abort ();
5643
5644 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where
5645 + ((target_big_endian) ? 2 : 0),
5646 value, 2);
5647 break;
5648
5649 case BFD_RELOC_8:
5650 if (fixP->fx_pcrel)
5651 abort ();
5652
5653 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5654 value, 1);
5655 break;
5656
5657 case BFD_RELOC_24_PLT_PCREL:
5658 case BFD_RELOC_PPC_LOCAL24PC:
5659 if (!fixP->fx_pcrel && !fixP->fx_done)
5660 abort ();
5661
5662 if (fixP->fx_done)
5663 {
5664 char *where;
5665 unsigned long insn;
5666
5667 /* Fetch the instruction, insert the fully resolved operand
5668 value, and stuff the instruction back again. */
5669 where = fixP->fx_frag->fr_literal + fixP->fx_where;
5670 if (target_big_endian)
5671 insn = bfd_getb32 ((unsigned char *) where);
5672 else
5673 insn = bfd_getl32 ((unsigned char *) where);
5674 if ((value & 3) != 0)
5675 as_bad_where (fixP->fx_file, fixP->fx_line,
5676 _("must branch to an address a multiple of 4"));
5677 if ((offsetT) value < -0x40000000
5678 || (offsetT) value >= 0x40000000)
5679 as_bad_where (fixP->fx_file, fixP->fx_line,
5680 _("@local or @plt branch destination is too far away, %ld bytes"),
5681 (long) value);
5682 insn = insn | (value & 0x03fffffc);
5683 if (target_big_endian)
5684 bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
5685 else
5686 bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
5687 }
5688 break;
5689
5690 case BFD_RELOC_VTABLE_INHERIT:
5691 fixP->fx_done = 0;
5692 if (fixP->fx_addsy
5693 && !S_IS_DEFINED (fixP->fx_addsy)
5694 && !S_IS_WEAK (fixP->fx_addsy))
5695 S_SET_WEAK (fixP->fx_addsy);
5696 break;
5697
5698 case BFD_RELOC_VTABLE_ENTRY:
5699 fixP->fx_done = 0;
5700 break;
5701
5702 #ifdef OBJ_ELF
5703 /* Generated by reference to `sym@tocbase'. The sym is
5704 ignored by the linker. */
5705 case BFD_RELOC_PPC64_TOC:
5706 fixP->fx_done = 0;
5707 break;
5708 #endif
5709 default:
5710 fprintf (stderr,
5711 _("Gas failure, reloc value %d\n"), fixP->fx_r_type);
5712 fflush (stderr);
5713 abort ();
5714 }
5715 }
5716
5717 #ifdef OBJ_ELF
5718 fixP->fx_addnumber = value;
5719 #else
5720 if (fixP->fx_r_type != BFD_RELOC_PPC_TOC16)
5721 fixP->fx_addnumber = 0;
5722 else
5723 {
5724 #ifdef TE_PE
5725 fixP->fx_addnumber = 0;
5726 #else
5727 /* We want to use the offset within the data segment of the
5728 symbol, not the actual VMA of the symbol. */
5729 fixP->fx_addnumber =
5730 - bfd_get_section_vma (stdoutput, S_GET_SEGMENT (fixP->fx_addsy));
5731 #endif
5732 }
5733 #endif
5734 }
5735
5736 /* Generate a reloc for a fixup. */
5737
5738 arelent *
5739 tc_gen_reloc (seg, fixp)
5740 asection *seg ATTRIBUTE_UNUSED;
5741 fixS *fixp;
5742 {
5743 arelent *reloc;
5744
5745 reloc = (arelent *) xmalloc (sizeof (arelent));
5746
5747 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
5748 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
5749 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
5750 reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
5751 if (reloc->howto == (reloc_howto_type *) NULL)
5752 {
5753 as_bad_where (fixp->fx_file, fixp->fx_line,
5754 _("reloc %d not supported by object file format"),
5755 (int) fixp->fx_r_type);
5756 return NULL;
5757 }
5758 reloc->addend = fixp->fx_addnumber;
5759
5760 return reloc;
5761 }