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