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