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