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