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