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 Free Software Foundation, Inc.
4 Written by Ian Lance Taylor, Cygnus Support.
6 This file is part of GAS, the GNU Assembler.
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)
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.
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
25 #include "safe-ctype.h"
27 #include "dw2gencfi.h"
28 #include "opcode/ppc.h"
32 #include "dwarf2dbg.h"
39 /* This is the assembler for the PowerPC or POWER (RS/6000) chips. */
41 /* Tell the main code what the endianness is. */
42 extern int target_big_endian;
44 /* Whether or not, we've set target_big_endian. */
45 static int set_target_endian = 0;
47 /* Whether to use user friendly register names. */
48 #ifndef TARGET_REG_NAMES_P
50 #define TARGET_REG_NAMES_P TRUE
52 #define TARGET_REG_NAMES_P FALSE
56 /* Macros for calculating LO, HI, HA, HIGHER, HIGHERA, HIGHEST,
59 /* #lo(value) denotes the least significant 16 bits of the indicated. */
60 #define PPC_LO(v) ((v) & 0xffff)
62 /* #hi(value) denotes bits 16 through 31 of the indicated value. */
63 #define PPC_HI(v) (((v) >> 16) & 0xffff)
65 /* #ha(value) denotes the high adjusted value: bits 16 through 31 of
66 the indicated value, compensating for #lo() being treated as a
68 #define PPC_HA(v) PPC_HI ((v) + 0x8000)
70 /* #higher(value) denotes bits 32 through 47 of the indicated value. */
71 #define PPC_HIGHER(v) (((v) >> 16 >> 16) & 0xffff)
73 /* #highera(value) denotes bits 32 through 47 of the indicated value,
74 compensating for #lo() being treated as a signed number. */
75 #define PPC_HIGHERA(v) PPC_HIGHER ((v) + 0x8000)
77 /* #highest(value) denotes bits 48 through 63 of the indicated value. */
78 #define PPC_HIGHEST(v) (((v) >> 24 >> 24) & 0xffff)
80 /* #highesta(value) denotes bits 48 through 63 of the indicated value,
81 compensating for #lo being treated as a signed number. */
82 #define PPC_HIGHESTA(v) PPC_HIGHEST ((v) + 0x8000)
84 #define SEX16(val) ((((val) & 0xffff) ^ 0x8000) - 0x8000)
86 static bfd_boolean reg_names_p = TARGET_REG_NAMES_P;
88 static bfd_boolean register_name PARAMS ((expressionS *));
89 static void ppc_set_cpu PARAMS ((void));
90 static unsigned long ppc_insert_operand
91 PARAMS ((unsigned long insn, const struct powerpc_operand *operand,
92 offsetT val, char *file, unsigned int line));
93 static void ppc_macro PARAMS ((char *str, const struct powerpc_macro *macro));
94 static void ppc_byte PARAMS ((int));
96 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
97 static int ppc_is_toc_sym PARAMS ((symbolS *sym));
98 static void ppc_tc PARAMS ((int));
99 static void ppc_machine PARAMS ((int));
103 static void ppc_comm PARAMS ((int));
104 static void ppc_bb PARAMS ((int));
105 static void ppc_bc PARAMS ((int));
106 static void ppc_bf PARAMS ((int));
107 static void ppc_biei PARAMS ((int));
108 static void ppc_bs PARAMS ((int));
109 static void ppc_eb PARAMS ((int));
110 static void ppc_ec PARAMS ((int));
111 static void ppc_ef PARAMS ((int));
112 static void ppc_es PARAMS ((int));
113 static void ppc_csect PARAMS ((int));
114 static void ppc_change_csect PARAMS ((symbolS *, offsetT));
115 static void ppc_function PARAMS ((int));
116 static void ppc_extern PARAMS ((int));
117 static void ppc_lglobl PARAMS ((int));
118 static void ppc_section PARAMS ((int));
119 static void ppc_named_section PARAMS ((int));
120 static void ppc_stabx PARAMS ((int));
121 static void ppc_rename PARAMS ((int));
122 static void ppc_toc PARAMS ((int));
123 static void ppc_xcoff_cons PARAMS ((int));
124 static void ppc_vbyte PARAMS ((int));
128 static bfd_reloc_code_real_type ppc_elf_suffix PARAMS ((char **, expressionS *));
129 static void ppc_elf_cons PARAMS ((int));
130 static void ppc_elf_rdata PARAMS ((int));
131 static void ppc_elf_lcomm PARAMS ((int));
132 static void ppc_elf_validate_fix PARAMS ((fixS *, segT));
133 static void ppc_apuinfo_section_add PARAMS ((unsigned int apu, unsigned int version));
137 static void ppc_set_current_section PARAMS ((segT));
138 static void ppc_previous PARAMS ((int));
139 static void ppc_pdata PARAMS ((int));
140 static void ppc_ydata PARAMS ((int));
141 static void ppc_reldata PARAMS ((int));
142 static void ppc_rdata PARAMS ((int));
143 static void ppc_ualong PARAMS ((int));
144 static void ppc_znop PARAMS ((int));
145 static void ppc_pe_comm PARAMS ((int));
146 static void ppc_pe_section PARAMS ((int));
147 static void ppc_pe_function PARAMS ((int));
148 static void ppc_pe_tocd PARAMS ((int));
151 /* Generic assembler global variables which must be defined by all
155 /* This string holds the chars that always start a comment. If the
156 pre-processor is disabled, these aren't very useful. The macro
157 tc_comment_chars points to this. We use this, rather than the
158 usual comment_chars, so that we can switch for Solaris conventions. */
159 static const char ppc_solaris_comment_chars[] = "#!";
160 static const char ppc_eabi_comment_chars[] = "#";
162 #ifdef TARGET_SOLARIS_COMMENT
163 const char *ppc_comment_chars = ppc_solaris_comment_chars;
165 const char *ppc_comment_chars = ppc_eabi_comment_chars;
168 const char comment_chars[] = "#";
171 /* Characters which start a comment at the beginning of a line. */
172 const char line_comment_chars[] = "#";
174 /* Characters which may be used to separate multiple commands on a
176 const char line_separator_chars[] = ";";
178 /* Characters which are used to indicate an exponent in a floating
180 const char EXP_CHARS[] = "eE";
182 /* Characters which mean that a number is a floating point constant,
184 const char FLT_CHARS[] = "dD";
186 /* '+' and '-' can be used as postfix predicate predictors for conditional
187 branches. So they need to be accepted as symbol characters.
188 Also, anything that can start an operand needs to be mentioned here,
189 to stop the input scrubber eating whitespace. */
190 const char ppc_symbol_chars[] = "+-%[";
192 /* The dwarf2 data alignment, adjusted for 32 or 64 bit. */
193 int ppc_cie_data_alignment;
195 /* The target specific pseudo-ops which we support. */
197 const pseudo_typeS md_pseudo_table[] =
199 /* Pseudo-ops which must be overridden. */
200 { "byte", ppc_byte, 0 },
203 /* Pseudo-ops specific to the RS/6000 XCOFF format. Some of these
204 legitimately belong in the obj-*.c file. However, XCOFF is based
205 on COFF, and is only implemented for the RS/6000. We just use
206 obj-coff.c, and add what we need here. */
207 { "comm", ppc_comm, 0 },
208 { "lcomm", ppc_comm, 1 },
212 { "bi", ppc_biei, 0 },
214 { "csect", ppc_csect, 0 },
215 { "data", ppc_section, 'd' },
219 { "ei", ppc_biei, 1 },
221 { "extern", ppc_extern, 0 },
222 { "function", ppc_function, 0 },
223 { "lglobl", ppc_lglobl, 0 },
224 { "rename", ppc_rename, 0 },
225 { "section", ppc_named_section, 0 },
226 { "stabx", ppc_stabx, 0 },
227 { "text", ppc_section, 't' },
228 { "toc", ppc_toc, 0 },
229 { "long", ppc_xcoff_cons, 2 },
230 { "llong", ppc_xcoff_cons, 3 },
231 { "word", ppc_xcoff_cons, 1 },
232 { "short", ppc_xcoff_cons, 1 },
233 { "vbyte", ppc_vbyte, 0 },
237 { "llong", ppc_elf_cons, 8 },
238 { "quad", ppc_elf_cons, 8 },
239 { "long", ppc_elf_cons, 4 },
240 { "word", ppc_elf_cons, 2 },
241 { "short", ppc_elf_cons, 2 },
242 { "rdata", ppc_elf_rdata, 0 },
243 { "rodata", ppc_elf_rdata, 0 },
244 { "lcomm", ppc_elf_lcomm, 0 },
248 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
249 { "previous", ppc_previous, 0 },
250 { "pdata", ppc_pdata, 0 },
251 { "ydata", ppc_ydata, 0 },
252 { "reldata", ppc_reldata, 0 },
253 { "rdata", ppc_rdata, 0 },
254 { "ualong", ppc_ualong, 0 },
255 { "znop", ppc_znop, 0 },
256 { "comm", ppc_pe_comm, 0 },
257 { "lcomm", ppc_pe_comm, 1 },
258 { "section", ppc_pe_section, 0 },
259 { "function", ppc_pe_function,0 },
260 { "tocd", ppc_pe_tocd, 0 },
263 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
265 { "machine", ppc_machine, 0 },
272 /* Predefined register names if -mregnames (or default for Windows NT).
273 In general, there are lots of them, in an attempt to be compatible
274 with a number of other Windows NT assemblers. */
276 /* Structure to hold information about predefined registers. */
283 /* List of registers that are pre-defined:
285 Each general register has predefined names of the form:
286 1. r<reg_num> which has the value <reg_num>.
287 2. r.<reg_num> which has the value <reg_num>.
289 Each floating point register has predefined names of the form:
290 1. f<reg_num> which has the value <reg_num>.
291 2. f.<reg_num> which has the value <reg_num>.
293 Each vector unit register has predefined names of the form:
294 1. v<reg_num> which has the value <reg_num>.
295 2. v.<reg_num> which has the value <reg_num>.
297 Each condition register has predefined names of the form:
298 1. cr<reg_num> which has the value <reg_num>.
299 2. cr.<reg_num> which has the value <reg_num>.
301 There are individual registers as well:
302 sp or r.sp has the value 1
303 rtoc or r.toc has the value 2
304 fpscr has the value 0
310 dsisr has the value 18
312 sdr1 has the value 25
313 srr0 has the value 26
314 srr1 has the value 27
316 The table is sorted. Suitable for searching by a binary search. */
318 static const struct pd_reg pre_defined_registers[] =
320 { "cr.0", 0 }, /* Condition Registers */
340 { "dar", 19 }, /* Data Access Register */
341 { "dec", 22 }, /* Decrementer */
342 { "dsisr", 18 }, /* Data Storage Interrupt Status Register */
344 { "f.0", 0 }, /* Floating point registers */
412 { "lr", 8 }, /* Link Register */
416 { "r.0", 0 }, /* General Purpose Registers */
449 { "r.sp", 1 }, /* Stack Pointer */
451 { "r.toc", 2 }, /* Pointer to the table of contents */
453 { "r0", 0 }, /* More general purpose registers */
486 { "rtoc", 2 }, /* Table of contents */
488 { "sdr1", 25 }, /* Storage Description Register 1 */
492 { "srr0", 26 }, /* Machine Status Save/Restore Register 0 */
493 { "srr1", 27 }, /* Machine Status Save/Restore Register 1 */
495 { "v.0", 0 }, /* Vector registers */
565 #define REG_NAME_CNT (sizeof (pre_defined_registers) / sizeof (struct pd_reg))
567 /* Given NAME, find the register number associated with that name, return
568 the integer value associated with the given name or -1 on failure. */
570 static int reg_name_search
571 PARAMS ((const struct pd_reg *, int, const char * name));
574 reg_name_search (regs, regcount, name)
575 const struct pd_reg *regs;
579 int middle, low, high;
587 middle = (low + high) / 2;
588 cmp = strcasecmp (name, regs[middle].name);
594 return regs[middle].value;
602 * Summary of register_name.
604 * in: Input_line_pointer points to 1st char of operand.
606 * out: A expressionS.
607 * The operand may have been a register: in this case, X_op == O_register,
608 * X_add_number is set to the register number, and truth is returned.
609 * Input_line_pointer->(next non-blank) char after operand, or is in its
614 register_name (expressionP)
615 expressionS *expressionP;
622 /* Find the spelling of the operand. */
623 start = name = input_line_pointer;
624 if (name[0] == '%' && ISALPHA (name[1]))
625 name = ++input_line_pointer;
627 else if (!reg_names_p || !ISALPHA (name[0]))
630 c = get_symbol_end ();
631 reg_number = reg_name_search (pre_defined_registers, REG_NAME_CNT, name);
633 /* Put back the delimiting char. */
634 *input_line_pointer = c;
636 /* Look to see if it's in the register table. */
639 expressionP->X_op = O_register;
640 expressionP->X_add_number = reg_number;
642 /* Make the rest nice. */
643 expressionP->X_add_symbol = NULL;
644 expressionP->X_op_symbol = NULL;
648 /* Reset the line as if we had not done anything. */
649 input_line_pointer = start;
653 /* This function is called for each symbol seen in an expression. It
654 handles the special parsing which PowerPC assemblers are supposed
655 to use for condition codes. */
657 /* Whether to do the special parsing. */
658 static bfd_boolean cr_operand;
660 /* Names to recognize in a condition code. This table is sorted. */
661 static const struct pd_reg cr_names[] =
678 /* Parsing function. This returns non-zero if it recognized an
682 ppc_parse_name (name, expr)
691 val = reg_name_search (cr_names, sizeof cr_names / sizeof cr_names[0],
696 expr->X_op = O_constant;
697 expr->X_add_number = val;
702 /* Local variables. */
704 /* The type of processor we are assembling for. This is one or more
705 of the PPC_OPCODE flags defined in opcode/ppc.h. */
706 static unsigned long ppc_cpu = 0;
708 /* Whether to target xcoff64/elf64. */
709 static unsigned int ppc_obj64 = BFD_DEFAULT_TARGET_SIZE == 64;
711 /* Opcode hash table. */
712 static struct hash_control *ppc_hash;
714 /* Macro hash table. */
715 static struct hash_control *ppc_macro_hash;
718 /* What type of shared library support to use. */
719 static enum { SHLIB_NONE, SHLIB_PIC, SHLIB_MRELOCATABLE } shlib = SHLIB_NONE;
721 /* Flags to set in the elf header. */
722 static flagword ppc_flags = 0;
724 /* Whether this is Solaris or not. */
725 #ifdef TARGET_SOLARIS_COMMENT
726 #define SOLARIS_P TRUE
728 #define SOLARIS_P FALSE
731 static bfd_boolean msolaris = SOLARIS_P;
736 /* The RS/6000 assembler uses the .csect pseudo-op to generate code
737 using a bunch of different sections. These assembler sections,
738 however, are all encompassed within the .text or .data sections of
739 the final output file. We handle this by using different
740 subsegments within these main segments. */
742 /* Next subsegment to allocate within the .text segment. */
743 static subsegT ppc_text_subsegment = 2;
745 /* Linked list of csects in the text section. */
746 static symbolS *ppc_text_csects;
748 /* Next subsegment to allocate within the .data segment. */
749 static subsegT ppc_data_subsegment = 2;
751 /* Linked list of csects in the data section. */
752 static symbolS *ppc_data_csects;
754 /* The current csect. */
755 static symbolS *ppc_current_csect;
757 /* The RS/6000 assembler uses a TOC which holds addresses of functions
758 and variables. Symbols are put in the TOC with the .tc pseudo-op.
759 A special relocation is used when accessing TOC entries. We handle
760 the TOC as a subsegment within the .data segment. We set it up if
761 we see a .toc pseudo-op, and save the csect symbol here. */
762 static symbolS *ppc_toc_csect;
764 /* The first frag in the TOC subsegment. */
765 static fragS *ppc_toc_frag;
767 /* The first frag in the first subsegment after the TOC in the .data
768 segment. NULL if there are no subsegments after the TOC. */
769 static fragS *ppc_after_toc_frag;
771 /* The current static block. */
772 static symbolS *ppc_current_block;
774 /* The COFF debugging section; set by md_begin. This is not the
775 .debug section, but is instead the secret BFD section which will
776 cause BFD to set the section number of a symbol to N_DEBUG. */
777 static asection *ppc_coff_debug_section;
779 #endif /* OBJ_XCOFF */
783 /* Various sections that we need for PE coff support. */
784 static segT ydata_section;
785 static segT pdata_section;
786 static segT reldata_section;
787 static segT rdata_section;
788 static segT tocdata_section;
790 /* The current section and the previous section. See ppc_previous. */
791 static segT ppc_previous_section;
792 static segT ppc_current_section;
797 symbolS *GOT_symbol; /* Pre-defined "_GLOBAL_OFFSET_TABLE" */
798 #define PPC_APUINFO_ISEL 0x40
799 #define PPC_APUINFO_PMR 0x41
800 #define PPC_APUINFO_RFMCI 0x42
801 #define PPC_APUINFO_CACHELCK 0x43
802 #define PPC_APUINFO_SPE 0x100
803 #define PPC_APUINFO_EFS 0x101
804 #define PPC_APUINFO_BRLOCK 0x102
807 * We keep a list of APUinfo
809 unsigned long *ppc_apuinfo_list;
810 unsigned int ppc_apuinfo_num;
811 unsigned int ppc_apuinfo_num_alloc;
815 const char *const md_shortopts = "b:l:usm:K:VQ:";
817 const char *const md_shortopts = "um:";
819 const struct option md_longopts[] = {
820 {NULL, no_argument, NULL, 0}
822 const size_t md_longopts_size = sizeof (md_longopts);
825 /* Handle -m options that set cpu type, and .machine arg. */
828 parse_cpu (const char *arg)
830 /* -mpwrx and -mpwr2 mean to assemble for the IBM POWER/2
832 if (strcmp (arg, "pwrx") == 0 || strcmp (arg, "pwr2") == 0)
833 ppc_cpu = PPC_OPCODE_POWER | PPC_OPCODE_POWER2 | PPC_OPCODE_32;
834 /* -mpwr means to assemble for the IBM POWER (RIOS1). */
835 else if (strcmp (arg, "pwr") == 0)
836 ppc_cpu = PPC_OPCODE_POWER | PPC_OPCODE_32;
837 /* -m601 means to assemble for the PowerPC 601, which includes
838 instructions that are holdovers from the Power. */
839 else if (strcmp (arg, "601") == 0)
840 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
841 | PPC_OPCODE_601 | PPC_OPCODE_32);
842 /* -mppc, -mppc32, -m603, and -m604 mean to assemble for the
844 else if (strcmp (arg, "ppc") == 0
845 || strcmp (arg, "ppc32") == 0
846 || strcmp (arg, "603") == 0
847 || strcmp (arg, "604") == 0)
848 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_32;
849 /* -m403 and -m405 mean to assemble for the PowerPC 403/405. */
850 else if (strcmp (arg, "403") == 0
851 || strcmp (arg, "405") == 0)
852 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
853 | PPC_OPCODE_403 | PPC_OPCODE_32);
854 else if (strcmp (arg, "440") == 0)
855 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_32
856 | PPC_OPCODE_440 | PPC_OPCODE_ISEL | PPC_OPCODE_RFMCI);
857 else if (strcmp (arg, "7400") == 0
858 || strcmp (arg, "7410") == 0
859 || strcmp (arg, "7450") == 0
860 || strcmp (arg, "7455") == 0)
861 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
862 | PPC_OPCODE_ALTIVEC | PPC_OPCODE_32);
863 else if (strcmp (arg, "e300") == 0)
864 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_32
866 else if (strcmp (arg, "altivec") == 0)
869 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_ALTIVEC;
871 ppc_cpu |= PPC_OPCODE_ALTIVEC;
873 else if (strcmp (arg, "e500") == 0 || strcmp (arg, "e500x2") == 0)
875 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_SPE
876 | PPC_OPCODE_ISEL | PPC_OPCODE_EFS | PPC_OPCODE_BRLOCK
877 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
880 else if (strcmp (arg, "spe") == 0)
883 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_SPE | PPC_OPCODE_EFS;
885 ppc_cpu |= PPC_OPCODE_SPE;
887 /* -mppc64 and -m620 mean to assemble for the 64-bit PowerPC
889 else if (strcmp (arg, "ppc64") == 0 || strcmp (arg, "620") == 0)
891 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_64;
893 else if (strcmp (arg, "ppc64bridge") == 0)
895 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
896 | PPC_OPCODE_64_BRIDGE | PPC_OPCODE_64);
898 /* -mbooke/-mbooke32 mean enable 32-bit BookE support. */
899 else if (strcmp (arg, "booke") == 0 || strcmp (arg, "booke32") == 0)
901 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_32;
903 /* -mbooke64 means enable 64-bit BookE support. */
904 else if (strcmp (arg, "booke64") == 0)
906 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE
907 | PPC_OPCODE_BOOKE64 | PPC_OPCODE_64);
909 else if (strcmp (arg, "power4") == 0)
911 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
912 | PPC_OPCODE_64 | PPC_OPCODE_POWER4);
914 else if (strcmp (arg, "power5") == 0)
916 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
917 | PPC_OPCODE_64 | PPC_OPCODE_POWER4
918 | PPC_OPCODE_POWER5);
920 /* -mcom means assemble for the common intersection between Power
921 and PowerPC. At present, we just allow the union, rather
922 than the intersection. */
923 else if (strcmp (arg, "com") == 0)
924 ppc_cpu = PPC_OPCODE_COMMON | PPC_OPCODE_32;
925 /* -many means to assemble for any architecture (PWR/PWRX/PPC). */
926 else if (strcmp (arg, "any") == 0)
927 ppc_cpu |= PPC_OPCODE_ANY;
935 md_parse_option (c, arg)
942 /* -u means that any undefined symbols should be treated as
943 external, which is the default for gas anyhow. */
948 /* Solaris as takes -le (presumably for little endian). For completeness
949 sake, recognize -be also. */
950 if (strcmp (arg, "e") == 0)
952 target_big_endian = 0;
953 set_target_endian = 1;
961 if (strcmp (arg, "e") == 0)
963 target_big_endian = 1;
964 set_target_endian = 1;
972 /* Recognize -K PIC. */
973 if (strcmp (arg, "PIC") == 0 || strcmp (arg, "pic") == 0)
976 ppc_flags |= EF_PPC_RELOCATABLE_LIB;
984 /* a64 and a32 determine whether to use XCOFF64 or XCOFF32. */
986 if (strcmp (arg, "64") == 0)
991 as_fatal (_("%s unsupported"), "-a64");
994 else if (strcmp (arg, "32") == 0)
1001 if (parse_cpu (arg))
1004 else if (strcmp (arg, "regnames") == 0)
1007 else if (strcmp (arg, "no-regnames") == 0)
1008 reg_names_p = FALSE;
1011 /* -mrelocatable/-mrelocatable-lib -- warn about initializations
1012 that require relocation. */
1013 else if (strcmp (arg, "relocatable") == 0)
1015 shlib = SHLIB_MRELOCATABLE;
1016 ppc_flags |= EF_PPC_RELOCATABLE;
1019 else if (strcmp (arg, "relocatable-lib") == 0)
1021 shlib = SHLIB_MRELOCATABLE;
1022 ppc_flags |= EF_PPC_RELOCATABLE_LIB;
1025 /* -memb, set embedded bit. */
1026 else if (strcmp (arg, "emb") == 0)
1027 ppc_flags |= EF_PPC_EMB;
1029 /* -mlittle/-mbig set the endianess. */
1030 else if (strcmp (arg, "little") == 0
1031 || strcmp (arg, "little-endian") == 0)
1033 target_big_endian = 0;
1034 set_target_endian = 1;
1037 else if (strcmp (arg, "big") == 0 || strcmp (arg, "big-endian") == 0)
1039 target_big_endian = 1;
1040 set_target_endian = 1;
1043 else if (strcmp (arg, "solaris") == 0)
1046 ppc_comment_chars = ppc_solaris_comment_chars;
1049 else if (strcmp (arg, "no-solaris") == 0)
1052 ppc_comment_chars = ppc_eabi_comment_chars;
1057 as_bad (_("invalid switch -m%s"), arg);
1063 /* -V: SVR4 argument to print version ID. */
1065 print_version_id ();
1068 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
1069 should be emitted or not. FIXME: Not implemented. */
1073 /* Solaris takes -s to specify that .stabs go in a .stabs section,
1074 rather than .stabs.excl, which is ignored by the linker.
1075 FIXME: Not implemented. */
1091 md_show_usage (stream)
1094 fprintf (stream, _("\
1096 -a32 generate ELF32/XCOFF32\n\
1097 -a64 generate ELF64/XCOFF64\n\
1099 -mpwrx, -mpwr2 generate code for POWER/2 (RIOS2)\n\
1100 -mpwr generate code for POWER (RIOS1)\n\
1101 -m601 generate code for PowerPC 601\n\
1102 -mppc, -mppc32, -m603, -m604\n\
1103 generate code for PowerPC 603/604\n\
1104 -m403, -m405 generate code for PowerPC 403/405\n\
1105 -m440 generate code for PowerPC 440\n\
1106 -m7400, -m7410, -m7450, -m7455\n\
1107 generate code For PowerPC 7400/7410/7450/7455\n"));
1108 fprintf (stream, _("\
1109 -mppc64, -m620 generate code for PowerPC 620/625/630\n\
1110 -mppc64bridge generate code for PowerPC 64, including bridge insns\n\
1111 -mbooke64 generate code for 64-bit PowerPC BookE\n\
1112 -mbooke, mbooke32 generate code for 32-bit PowerPC BookE\n\
1113 -mpower4 generate code for Power4 architecture\n\
1114 -mpower5 generate code for Power5 architecture\n\
1115 -mcom generate code Power/PowerPC common instructions\n\
1116 -many generate code for any architecture (PWR/PWRX/PPC)\n"));
1117 fprintf (stream, _("\
1118 -maltivec generate code for AltiVec\n\
1119 -me300 generate code for PowerPC e300 family\n\
1120 -me500, -me500x2 generate code for Motorola e500 core complex\n\
1121 -mspe generate code for Motorola SPE instructions\n\
1122 -mregnames Allow symbolic names for registers\n\
1123 -mno-regnames Do not allow symbolic names for registers\n"));
1125 fprintf (stream, _("\
1126 -mrelocatable support for GCC's -mrelocatble option\n\
1127 -mrelocatable-lib support for GCC's -mrelocatble-lib option\n\
1128 -memb set PPC_EMB bit in ELF flags\n\
1129 -mlittle, -mlittle-endian, -l, -le\n\
1130 generate code for a little endian machine\n\
1131 -mbig, -mbig-endian, -b, -be\n\
1132 generate code for a big endian machine\n\
1133 -msolaris generate code for Solaris\n\
1134 -mno-solaris do not generate code for Solaris\n\
1135 -V print assembler version number\n\
1136 -Qy, -Qn ignored\n"));
1140 /* Set ppc_cpu if it is not already set. */
1145 const char *default_os = TARGET_OS;
1146 const char *default_cpu = TARGET_CPU;
1148 if ((ppc_cpu & ~PPC_OPCODE_ANY) == 0)
1151 ppc_cpu |= PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_64;
1152 else if (strncmp (default_os, "aix", 3) == 0
1153 && default_os[3] >= '4' && default_os[3] <= '9')
1154 ppc_cpu |= PPC_OPCODE_COMMON | PPC_OPCODE_32;
1155 else if (strncmp (default_os, "aix3", 4) == 0)
1156 ppc_cpu |= PPC_OPCODE_POWER | PPC_OPCODE_32;
1157 else if (strcmp (default_cpu, "rs6000") == 0)
1158 ppc_cpu |= PPC_OPCODE_POWER | PPC_OPCODE_32;
1159 else if (strncmp (default_cpu, "powerpc", 7) == 0)
1160 ppc_cpu |= PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_32;
1162 as_fatal (_("Unknown default cpu = %s, os = %s"),
1163 default_cpu, default_os);
1167 /* Figure out the BFD architecture to use. This function and ppc_mach
1168 are called well before md_begin, when the output file is opened. */
1170 enum bfd_architecture
1173 const char *default_cpu = TARGET_CPU;
1176 if ((ppc_cpu & PPC_OPCODE_PPC) != 0)
1177 return bfd_arch_powerpc;
1178 else if ((ppc_cpu & PPC_OPCODE_POWER) != 0)
1179 return bfd_arch_rs6000;
1180 else if ((ppc_cpu & (PPC_OPCODE_COMMON | PPC_OPCODE_ANY)) != 0)
1182 if (strcmp (default_cpu, "rs6000") == 0)
1183 return bfd_arch_rs6000;
1184 else if (strncmp (default_cpu, "powerpc", 7) == 0)
1185 return bfd_arch_powerpc;
1188 as_fatal (_("Neither Power nor PowerPC opcodes were selected."));
1189 return bfd_arch_unknown;
1196 return bfd_mach_ppc64;
1197 else if (ppc_arch () == bfd_arch_rs6000)
1198 return bfd_mach_rs6k;
1200 return bfd_mach_ppc;
1204 ppc_target_format ()
1208 return target_big_endian ? "pe-powerpc" : "pe-powerpcle";
1210 return "xcoff-powermac";
1213 return (ppc_obj64 ? "aix5coff64-rs6000" : "aixcoff-rs6000");
1215 return (ppc_obj64 ? "aixcoff64-rs6000" : "aixcoff-rs6000");
1221 return "elf32-powerpc-vxworks";
1223 return (target_big_endian
1224 ? (ppc_obj64 ? "elf64-powerpc" : "elf32-powerpc")
1225 : (ppc_obj64 ? "elf64-powerpcle" : "elf32-powerpcle"));
1230 /* Insert opcodes and macros into hash tables. Called at startup and
1234 ppc_setup_opcodes (void)
1236 register const struct powerpc_opcode *op;
1237 const struct powerpc_opcode *op_end;
1238 const struct powerpc_macro *macro;
1239 const struct powerpc_macro *macro_end;
1240 bfd_boolean dup_insn = FALSE;
1242 if (ppc_hash != NULL)
1243 hash_die (ppc_hash);
1244 if (ppc_macro_hash != NULL)
1245 hash_die (ppc_macro_hash);
1247 /* Insert the opcodes into a hash table. */
1248 ppc_hash = hash_new ();
1250 op_end = powerpc_opcodes + powerpc_num_opcodes;
1251 for (op = powerpc_opcodes; op < op_end; op++)
1253 know ((op->opcode & op->mask) == op->opcode);
1255 if ((op->flags & ppc_cpu & ~(PPC_OPCODE_32 | PPC_OPCODE_64)) != 0
1256 && ((op->flags & (PPC_OPCODE_32 | PPC_OPCODE_64)) == 0
1257 || ((op->flags & (PPC_OPCODE_32 | PPC_OPCODE_64))
1258 == (ppc_cpu & (PPC_OPCODE_32 | PPC_OPCODE_64)))
1259 || (ppc_cpu & PPC_OPCODE_64_BRIDGE) != 0)
1260 /* Certain instructions (eg: extsw) do not exist in the
1261 32-bit BookE instruction set, but they do exist in the
1262 64-bit BookE instruction set, and other PPC instruction
1263 sets. Check to see if the opcode has the BOOKE64 flag set.
1264 If it does make sure that the target CPU is not the BookE32. */
1265 && ((op->flags & PPC_OPCODE_BOOKE64) == 0
1266 || (ppc_cpu & PPC_OPCODE_BOOKE64) == PPC_OPCODE_BOOKE64
1267 || (ppc_cpu & PPC_OPCODE_BOOKE) == 0)
1268 && ((op->flags & (PPC_OPCODE_POWER4 | PPC_OPCODE_NOPOWER4)) == 0
1269 || ((op->flags & PPC_OPCODE_POWER4)
1270 == (ppc_cpu & PPC_OPCODE_POWER4)))
1271 && ((op->flags & PPC_OPCODE_POWER5) == 0
1272 || ((op->flags & PPC_OPCODE_POWER5)
1273 == (ppc_cpu & PPC_OPCODE_POWER5))))
1277 retval = hash_insert (ppc_hash, op->name, (PTR) op);
1280 /* Ignore Power duplicates for -m601. */
1281 if ((ppc_cpu & PPC_OPCODE_601) != 0
1282 && (op->flags & PPC_OPCODE_POWER) != 0)
1285 as_bad (_("Internal assembler error for instruction %s"),
1292 if ((ppc_cpu & PPC_OPCODE_ANY) != 0)
1293 for (op = powerpc_opcodes; op < op_end; op++)
1294 hash_insert (ppc_hash, op->name, (PTR) op);
1296 /* Insert the macros into a hash table. */
1297 ppc_macro_hash = hash_new ();
1299 macro_end = powerpc_macros + powerpc_num_macros;
1300 for (macro = powerpc_macros; macro < macro_end; macro++)
1302 if ((macro->flags & ppc_cpu) != 0)
1306 retval = hash_insert (ppc_macro_hash, macro->name, (PTR) macro);
1307 if (retval != (const char *) NULL)
1309 as_bad (_("Internal assembler error for macro %s"), macro->name);
1319 /* This function is called when the assembler starts up. It is called
1320 after the options have been parsed and the output file has been
1328 ppc_cie_data_alignment = ppc_obj64 ? -8 : -4;
1331 /* Set the ELF flags if desired. */
1332 if (ppc_flags && !msolaris)
1333 bfd_set_private_flags (stdoutput, ppc_flags);
1336 ppc_setup_opcodes ();
1338 /* Tell the main code what the endianness is if it is not overridden
1340 if (!set_target_endian)
1342 set_target_endian = 1;
1343 target_big_endian = PPC_BIG_ENDIAN;
1347 ppc_coff_debug_section = coff_section_from_bfd_index (stdoutput, N_DEBUG);
1349 /* Create dummy symbols to serve as initial csects. This forces the
1350 text csects to precede the data csects. These symbols will not
1352 ppc_text_csects = symbol_make ("dummy\001");
1353 symbol_get_tc (ppc_text_csects)->within = ppc_text_csects;
1354 ppc_data_csects = symbol_make ("dummy\001");
1355 symbol_get_tc (ppc_data_csects)->within = ppc_data_csects;
1360 ppc_current_section = text_section;
1361 ppc_previous_section = 0;
1370 if (ppc_apuinfo_list == NULL)
1373 /* Ok, so write the section info out. We have this layout:
1377 0 8 length of "APUinfo\0"
1378 4 (n*4) number of APU's (4 bytes each)
1381 20 APU#1 first APU's info
1382 24 APU#2 second APU's info
1387 asection *seg = now_seg;
1388 subsegT subseg = now_subseg;
1389 asection *apuinfo_secp = (asection *) NULL;
1392 /* Create the .PPC.EMB.apuinfo section. */
1393 apuinfo_secp = subseg_new (".PPC.EMB.apuinfo", 0);
1394 bfd_set_section_flags (stdoutput,
1396 SEC_HAS_CONTENTS | SEC_READONLY);
1399 md_number_to_chars (p, (valueT) 8, 4);
1402 md_number_to_chars (p, (valueT) ppc_apuinfo_num * 4, 4);
1405 md_number_to_chars (p, (valueT) 2, 4);
1408 strcpy (p, "APUinfo");
1410 for (i = 0; i < ppc_apuinfo_num; i++)
1413 md_number_to_chars (p, (valueT) ppc_apuinfo_list[i], 4);
1416 frag_align (2, 0, 0);
1418 /* We probably can't restore the current segment, for there likely
1421 subseg_set (seg, subseg);
1426 /* Insert an operand value into an instruction. */
1428 static unsigned long
1429 ppc_insert_operand (insn, operand, val, file, line)
1431 const struct powerpc_operand *operand;
1436 if (operand->bits != 32)
1441 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
1443 if ((operand->flags & PPC_OPERAND_SIGNOPT) != 0)
1444 max = (1 << operand->bits) - 1;
1446 max = (1 << (operand->bits - 1)) - 1;
1447 min = - (1 << (operand->bits - 1));
1451 /* Some people write 32 bit hex constants with the sign
1452 extension done by hand. This shouldn't really be
1453 valid, but, to permit this code to assemble on a 64
1454 bit host, we sign extend the 32 bit value. */
1456 && (val & (offsetT) 0x80000000) != 0
1457 && (val & (offsetT) 0xffffffff) == val)
1466 max = (1 << operand->bits) - 1;
1470 if ((operand->flags & PPC_OPERAND_NEGATIVE) != 0)
1475 if (test < (offsetT) min || test > (offsetT) max)
1476 as_bad_value_out_of_range (_("operand"), test, (offsetT) min, (offsetT) max, file, line);
1479 if (operand->insert)
1484 insn = (*operand->insert) (insn, (long) val, ppc_cpu, &errmsg);
1485 if (errmsg != (const char *) NULL)
1486 as_bad_where (file, line, errmsg);
1489 insn |= (((long) val & ((1 << operand->bits) - 1))
1497 /* Parse @got, etc. and return the desired relocation. */
1498 static bfd_reloc_code_real_type
1499 ppc_elf_suffix (str_p, exp_p)
1505 unsigned int length : 8;
1506 unsigned int valid32 : 1;
1507 unsigned int valid64 : 1;
1516 const struct map_bfd *ptr;
1518 #define MAP(str, reloc) { str, sizeof (str) - 1, 1, 1, reloc }
1519 #define MAP32(str, reloc) { str, sizeof (str) - 1, 1, 0, reloc }
1520 #define MAP64(str, reloc) { str, sizeof (str) - 1, 0, 1, reloc }
1522 static const struct map_bfd mapping[] = {
1523 MAP ("l", BFD_RELOC_LO16),
1524 MAP ("h", BFD_RELOC_HI16),
1525 MAP ("ha", BFD_RELOC_HI16_S),
1526 MAP ("brtaken", BFD_RELOC_PPC_B16_BRTAKEN),
1527 MAP ("brntaken", BFD_RELOC_PPC_B16_BRNTAKEN),
1528 MAP ("got", BFD_RELOC_16_GOTOFF),
1529 MAP ("got@l", BFD_RELOC_LO16_GOTOFF),
1530 MAP ("got@h", BFD_RELOC_HI16_GOTOFF),
1531 MAP ("got@ha", BFD_RELOC_HI16_S_GOTOFF),
1532 MAP ("plt@l", BFD_RELOC_LO16_PLTOFF),
1533 MAP ("plt@h", BFD_RELOC_HI16_PLTOFF),
1534 MAP ("plt@ha", BFD_RELOC_HI16_S_PLTOFF),
1535 MAP ("copy", BFD_RELOC_PPC_COPY),
1536 MAP ("globdat", BFD_RELOC_PPC_GLOB_DAT),
1537 MAP ("sectoff", BFD_RELOC_16_BASEREL),
1538 MAP ("sectoff@l", BFD_RELOC_LO16_BASEREL),
1539 MAP ("sectoff@h", BFD_RELOC_HI16_BASEREL),
1540 MAP ("sectoff@ha", BFD_RELOC_HI16_S_BASEREL),
1541 MAP ("tls", BFD_RELOC_PPC_TLS),
1542 MAP ("dtpmod", BFD_RELOC_PPC_DTPMOD),
1543 MAP ("dtprel", BFD_RELOC_PPC_DTPREL),
1544 MAP ("dtprel@l", BFD_RELOC_PPC_DTPREL16_LO),
1545 MAP ("dtprel@h", BFD_RELOC_PPC_DTPREL16_HI),
1546 MAP ("dtprel@ha", BFD_RELOC_PPC_DTPREL16_HA),
1547 MAP ("tprel", BFD_RELOC_PPC_TPREL),
1548 MAP ("tprel@l", BFD_RELOC_PPC_TPREL16_LO),
1549 MAP ("tprel@h", BFD_RELOC_PPC_TPREL16_HI),
1550 MAP ("tprel@ha", BFD_RELOC_PPC_TPREL16_HA),
1551 MAP ("got@tlsgd", BFD_RELOC_PPC_GOT_TLSGD16),
1552 MAP ("got@tlsgd@l", BFD_RELOC_PPC_GOT_TLSGD16_LO),
1553 MAP ("got@tlsgd@h", BFD_RELOC_PPC_GOT_TLSGD16_HI),
1554 MAP ("got@tlsgd@ha", BFD_RELOC_PPC_GOT_TLSGD16_HA),
1555 MAP ("got@tlsld", BFD_RELOC_PPC_GOT_TLSLD16),
1556 MAP ("got@tlsld@l", BFD_RELOC_PPC_GOT_TLSLD16_LO),
1557 MAP ("got@tlsld@h", BFD_RELOC_PPC_GOT_TLSLD16_HI),
1558 MAP ("got@tlsld@ha", BFD_RELOC_PPC_GOT_TLSLD16_HA),
1559 MAP ("got@dtprel", BFD_RELOC_PPC_GOT_DTPREL16),
1560 MAP ("got@dtprel@l", BFD_RELOC_PPC_GOT_DTPREL16_LO),
1561 MAP ("got@dtprel@h", BFD_RELOC_PPC_GOT_DTPREL16_HI),
1562 MAP ("got@dtprel@ha", BFD_RELOC_PPC_GOT_DTPREL16_HA),
1563 MAP ("got@tprel", BFD_RELOC_PPC_GOT_TPREL16),
1564 MAP ("got@tprel@l", BFD_RELOC_PPC_GOT_TPREL16_LO),
1565 MAP ("got@tprel@h", BFD_RELOC_PPC_GOT_TPREL16_HI),
1566 MAP ("got@tprel@ha", BFD_RELOC_PPC_GOT_TPREL16_HA),
1567 MAP32 ("fixup", BFD_RELOC_CTOR),
1568 MAP32 ("plt", BFD_RELOC_24_PLT_PCREL),
1569 MAP32 ("pltrel24", BFD_RELOC_24_PLT_PCREL),
1570 MAP32 ("local24pc", BFD_RELOC_PPC_LOCAL24PC),
1571 MAP32 ("local", BFD_RELOC_PPC_LOCAL24PC),
1572 MAP32 ("pltrel", BFD_RELOC_32_PLT_PCREL),
1573 MAP32 ("sdarel", BFD_RELOC_GPREL16),
1574 MAP32 ("naddr", BFD_RELOC_PPC_EMB_NADDR32),
1575 MAP32 ("naddr16", BFD_RELOC_PPC_EMB_NADDR16),
1576 MAP32 ("naddr@l", BFD_RELOC_PPC_EMB_NADDR16_LO),
1577 MAP32 ("naddr@h", BFD_RELOC_PPC_EMB_NADDR16_HI),
1578 MAP32 ("naddr@ha", BFD_RELOC_PPC_EMB_NADDR16_HA),
1579 MAP32 ("sdai16", BFD_RELOC_PPC_EMB_SDAI16),
1580 MAP32 ("sda2rel", BFD_RELOC_PPC_EMB_SDA2REL),
1581 MAP32 ("sda2i16", BFD_RELOC_PPC_EMB_SDA2I16),
1582 MAP32 ("sda21", BFD_RELOC_PPC_EMB_SDA21),
1583 MAP32 ("mrkref", BFD_RELOC_PPC_EMB_MRKREF),
1584 MAP32 ("relsect", BFD_RELOC_PPC_EMB_RELSEC16),
1585 MAP32 ("relsect@l", BFD_RELOC_PPC_EMB_RELST_LO),
1586 MAP32 ("relsect@h", BFD_RELOC_PPC_EMB_RELST_HI),
1587 MAP32 ("relsect@ha", BFD_RELOC_PPC_EMB_RELST_HA),
1588 MAP32 ("bitfld", BFD_RELOC_PPC_EMB_BIT_FLD),
1589 MAP32 ("relsda", BFD_RELOC_PPC_EMB_RELSDA),
1590 MAP32 ("xgot", BFD_RELOC_PPC_TOC16),
1591 MAP64 ("higher", BFD_RELOC_PPC64_HIGHER),
1592 MAP64 ("highera", BFD_RELOC_PPC64_HIGHER_S),
1593 MAP64 ("highest", BFD_RELOC_PPC64_HIGHEST),
1594 MAP64 ("highesta", BFD_RELOC_PPC64_HIGHEST_S),
1595 MAP64 ("tocbase", BFD_RELOC_PPC64_TOC),
1596 MAP64 ("toc", BFD_RELOC_PPC_TOC16),
1597 MAP64 ("toc@l", BFD_RELOC_PPC64_TOC16_LO),
1598 MAP64 ("toc@h", BFD_RELOC_PPC64_TOC16_HI),
1599 MAP64 ("toc@ha", BFD_RELOC_PPC64_TOC16_HA),
1600 MAP64 ("dtprel@higher", BFD_RELOC_PPC64_DTPREL16_HIGHER),
1601 MAP64 ("dtprel@highera", BFD_RELOC_PPC64_DTPREL16_HIGHERA),
1602 MAP64 ("dtprel@highest", BFD_RELOC_PPC64_DTPREL16_HIGHEST),
1603 MAP64 ("dtprel@highesta", BFD_RELOC_PPC64_DTPREL16_HIGHESTA),
1604 MAP64 ("tprel@higher", BFD_RELOC_PPC64_TPREL16_HIGHER),
1605 MAP64 ("tprel@highera", BFD_RELOC_PPC64_TPREL16_HIGHERA),
1606 MAP64 ("tprel@highest", BFD_RELOC_PPC64_TPREL16_HIGHEST),
1607 MAP64 ("tprel@highesta", BFD_RELOC_PPC64_TPREL16_HIGHESTA),
1608 { (char *) 0, 0, 0, 0, BFD_RELOC_UNUSED }
1612 return BFD_RELOC_UNUSED;
1614 for (ch = *str, str2 = ident;
1615 (str2 < ident + sizeof (ident) - 1
1616 && (ISALNUM (ch) || ch == '@'));
1619 *str2++ = TOLOWER (ch);
1626 for (ptr = &mapping[0]; ptr->length > 0; ptr++)
1627 if (ch == ptr->string[0]
1628 && len == ptr->length
1629 && memcmp (ident, ptr->string, ptr->length) == 0
1630 && (ppc_obj64 ? ptr->valid64 : ptr->valid32))
1632 int reloc = ptr->reloc;
1635 if (exp_p->X_add_number != 0
1636 && (reloc == (int) BFD_RELOC_16_GOTOFF
1637 || reloc == (int) BFD_RELOC_LO16_GOTOFF
1638 || reloc == (int) BFD_RELOC_HI16_GOTOFF
1639 || reloc == (int) BFD_RELOC_HI16_S_GOTOFF))
1640 as_warn (_("identifier+constant@got means identifier@got+constant"));
1642 /* Now check for identifier@suffix+constant. */
1643 if (*str == '-' || *str == '+')
1645 char *orig_line = input_line_pointer;
1646 expressionS new_exp;
1648 input_line_pointer = str;
1649 expression (&new_exp);
1650 if (new_exp.X_op == O_constant)
1652 exp_p->X_add_number += new_exp.X_add_number;
1653 str = input_line_pointer;
1656 if (&input_line_pointer != str_p)
1657 input_line_pointer = orig_line;
1661 if (reloc == (int) BFD_RELOC_PPC64_TOC
1662 && exp_p->X_op == O_symbol
1663 && strcmp (S_GET_NAME (exp_p->X_add_symbol), ".TOC.") == 0)
1665 /* Change the symbol so that the dummy .TOC. symbol can be
1666 omitted from the object file. */
1667 exp_p->X_add_symbol = &abs_symbol;
1670 return (bfd_reloc_code_real_type) reloc;
1673 return BFD_RELOC_UNUSED;
1676 /* Like normal .long/.short/.word, except support @got, etc.
1677 Clobbers input_line_pointer, checks end-of-line. */
1679 ppc_elf_cons (nbytes)
1680 register int nbytes; /* 1=.byte, 2=.word, 4=.long, 8=.llong. */
1683 bfd_reloc_code_real_type reloc;
1685 if (is_it_end_of_statement ())
1687 demand_empty_rest_of_line ();
1694 if (exp.X_op == O_symbol
1695 && *input_line_pointer == '@'
1696 && (reloc = ppc_elf_suffix (&input_line_pointer,
1697 &exp)) != BFD_RELOC_UNUSED)
1699 reloc_howto_type *reloc_howto;
1702 reloc_howto = bfd_reloc_type_lookup (stdoutput, reloc);
1703 size = bfd_get_reloc_size (reloc_howto);
1707 as_bad (_("%s relocations do not fit in %d bytes\n"),
1708 reloc_howto->name, nbytes);
1715 p = frag_more (nbytes);
1717 if (target_big_endian)
1718 offset = nbytes - size;
1719 fix_new_exp (frag_now, p - frag_now->fr_literal + offset, size,
1724 emit_expr (&exp, (unsigned int) nbytes);
1726 while (*input_line_pointer++ == ',');
1728 /* Put terminator back into stream. */
1729 input_line_pointer--;
1730 demand_empty_rest_of_line ();
1733 /* Solaris pseduo op to change to the .rodata section. */
1738 char *save_line = input_line_pointer;
1739 static char section[] = ".rodata\n";
1741 /* Just pretend this is .section .rodata */
1742 input_line_pointer = section;
1743 obj_elf_section (xxx);
1745 input_line_pointer = save_line;
1748 /* Pseudo op to make file scope bss items. */
1751 int xxx ATTRIBUTE_UNUSED;
1753 register char *name;
1757 register symbolS *symbolP;
1764 name = input_line_pointer;
1765 c = get_symbol_end ();
1767 /* just after name is now '\0'. */
1768 p = input_line_pointer;
1771 if (*input_line_pointer != ',')
1773 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
1774 ignore_rest_of_line ();
1778 input_line_pointer++; /* skip ',' */
1779 if ((size = get_absolute_expression ()) < 0)
1781 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) size);
1782 ignore_rest_of_line ();
1786 /* The third argument to .lcomm is the alignment. */
1787 if (*input_line_pointer != ',')
1791 ++input_line_pointer;
1792 align = get_absolute_expression ();
1795 as_warn (_("ignoring bad alignment"));
1801 symbolP = symbol_find_or_make (name);
1804 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
1806 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
1807 S_GET_NAME (symbolP));
1808 ignore_rest_of_line ();
1812 if (S_GET_VALUE (symbolP) && S_GET_VALUE (symbolP) != (valueT) size)
1814 as_bad (_("Length of .lcomm \"%s\" is already %ld. Not changed to %ld."),
1815 S_GET_NAME (symbolP),
1816 (long) S_GET_VALUE (symbolP),
1819 ignore_rest_of_line ();
1825 old_subsec = now_subseg;
1828 /* Convert to a power of 2 alignment. */
1829 for (align2 = 0; (align & 1) == 0; align >>= 1, ++align2);
1832 as_bad (_("Common alignment not a power of 2"));
1833 ignore_rest_of_line ();
1840 record_alignment (bss_section, align2);
1841 subseg_set (bss_section, 0);
1843 frag_align (align2, 0, 0);
1844 if (S_GET_SEGMENT (symbolP) == bss_section)
1845 symbol_get_frag (symbolP)->fr_symbol = 0;
1846 symbol_set_frag (symbolP, frag_now);
1847 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP, size,
1850 S_SET_SIZE (symbolP, size);
1851 S_SET_SEGMENT (symbolP, bss_section);
1852 subseg_set (old_sec, old_subsec);
1853 demand_empty_rest_of_line ();
1856 /* Validate any relocations emitted for -mrelocatable, possibly adding
1857 fixups for word relocations in writable segments, so we can adjust
1860 ppc_elf_validate_fix (fixp, seg)
1864 if (fixp->fx_done || fixp->fx_pcrel)
1873 case SHLIB_MRELOCATABLE:
1874 if (fixp->fx_r_type <= BFD_RELOC_UNUSED
1875 && fixp->fx_r_type != BFD_RELOC_16_GOTOFF
1876 && fixp->fx_r_type != BFD_RELOC_HI16_GOTOFF
1877 && fixp->fx_r_type != BFD_RELOC_LO16_GOTOFF
1878 && fixp->fx_r_type != BFD_RELOC_HI16_S_GOTOFF
1879 && fixp->fx_r_type != BFD_RELOC_16_BASEREL
1880 && fixp->fx_r_type != BFD_RELOC_LO16_BASEREL
1881 && fixp->fx_r_type != BFD_RELOC_HI16_BASEREL
1882 && fixp->fx_r_type != BFD_RELOC_HI16_S_BASEREL
1883 && (seg->flags & SEC_LOAD) != 0
1884 && strcmp (segment_name (seg), ".got2") != 0
1885 && strcmp (segment_name (seg), ".dtors") != 0
1886 && strcmp (segment_name (seg), ".ctors") != 0
1887 && strcmp (segment_name (seg), ".fixup") != 0
1888 && strcmp (segment_name (seg), ".gcc_except_table") != 0
1889 && strcmp (segment_name (seg), ".eh_frame") != 0
1890 && strcmp (segment_name (seg), ".ex_shared") != 0)
1892 if ((seg->flags & (SEC_READONLY | SEC_CODE)) != 0
1893 || fixp->fx_r_type != BFD_RELOC_CTOR)
1895 as_bad_where (fixp->fx_file, fixp->fx_line,
1896 _("Relocation cannot be done when using -mrelocatable"));
1903 /* Prevent elf_frob_file_before_adjust removing a weak undefined
1904 function descriptor sym if the corresponding code sym is used. */
1907 ppc_frob_file_before_adjust ()
1915 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
1922 name = S_GET_NAME (symp);
1926 if (! S_IS_WEAK (symp)
1927 || S_IS_DEFINED (symp))
1930 len = strlen (name) + 1;
1931 dotname = xmalloc (len + 1);
1933 memcpy (dotname + 1, name, len);
1934 dotsym = symbol_find (dotname);
1936 if (dotsym != NULL && (symbol_used_p (dotsym)
1937 || symbol_used_in_reloc_p (dotsym)))
1938 symbol_mark_used (symp);
1942 toc = bfd_get_section_by_name (stdoutput, ".toc");
1944 && bfd_section_size (stdoutput, toc) > 0x10000)
1945 as_warn (_("TOC section size exceeds 64k"));
1947 /* Don't emit .TOC. symbol. */
1948 symp = symbol_find (".TOC.");
1950 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
1952 #endif /* OBJ_ELF */
1957 * Summary of parse_toc_entry.
1959 * in: Input_line_pointer points to the '[' in one of:
1961 * [toc] [tocv] [toc32] [toc64]
1963 * Anything else is an error of one kind or another.
1966 * return value: success or failure
1967 * toc_kind: kind of toc reference
1968 * input_line_pointer:
1969 * success: first char after the ']'
1970 * failure: unchanged
1974 * [toc] - rv == success, toc_kind = default_toc
1975 * [tocv] - rv == success, toc_kind = data_in_toc
1976 * [toc32] - rv == success, toc_kind = must_be_32
1977 * [toc64] - rv == success, toc_kind = must_be_64
1981 enum toc_size_qualifier
1983 default_toc, /* The toc cell constructed should be the system default size */
1984 data_in_toc, /* This is a direct reference to a toc cell */
1985 must_be_32, /* The toc cell constructed must be 32 bits wide */
1986 must_be_64 /* The toc cell constructed must be 64 bits wide */
1990 parse_toc_entry (toc_kind)
1991 enum toc_size_qualifier *toc_kind;
1996 enum toc_size_qualifier t;
1998 /* Save the input_line_pointer. */
1999 start = input_line_pointer;
2001 /* Skip over the '[' , and whitespace. */
2002 ++input_line_pointer;
2005 /* Find the spelling of the operand. */
2006 toc_spec = input_line_pointer;
2007 c = get_symbol_end ();
2009 if (strcmp (toc_spec, "toc") == 0)
2013 else if (strcmp (toc_spec, "tocv") == 0)
2017 else if (strcmp (toc_spec, "toc32") == 0)
2021 else if (strcmp (toc_spec, "toc64") == 0)
2027 as_bad (_("syntax error: invalid toc specifier `%s'"), toc_spec);
2028 *input_line_pointer = c;
2029 input_line_pointer = start;
2033 /* Now find the ']'. */
2034 *input_line_pointer = c;
2036 SKIP_WHITESPACE (); /* leading whitespace could be there. */
2037 c = *input_line_pointer++; /* input_line_pointer->past char in c. */
2041 as_bad (_("syntax error: expected `]', found `%c'"), c);
2042 input_line_pointer = start;
2053 #define APUID(a,v) ((((a) & 0xffff) << 16) | ((v) & 0xffff))
2055 ppc_apuinfo_section_add (apu, version)
2056 unsigned int apu, version;
2060 /* Check we don't already exist. */
2061 for (i = 0; i < ppc_apuinfo_num; i++)
2062 if (ppc_apuinfo_list[i] == APUID (apu, version))
2065 if (ppc_apuinfo_num == ppc_apuinfo_num_alloc)
2067 if (ppc_apuinfo_num_alloc == 0)
2069 ppc_apuinfo_num_alloc = 4;
2070 ppc_apuinfo_list = (unsigned long *)
2071 xmalloc (sizeof (unsigned long) * ppc_apuinfo_num_alloc);
2075 ppc_apuinfo_num_alloc += 4;
2076 ppc_apuinfo_list = (unsigned long *) xrealloc (ppc_apuinfo_list,
2077 sizeof (unsigned long) * ppc_apuinfo_num_alloc);
2080 ppc_apuinfo_list[ppc_apuinfo_num++] = APUID (apu, version);
2086 /* We need to keep a list of fixups. We can't simply generate them as
2087 we go, because that would require us to first create the frag, and
2088 that would screw up references to ``.''. */
2094 bfd_reloc_code_real_type reloc;
2097 #define MAX_INSN_FIXUPS (5)
2099 /* This routine is called for each instruction to be assembled. */
2106 const struct powerpc_opcode *opcode;
2108 const unsigned char *opindex_ptr;
2112 struct ppc_fixup fixups[MAX_INSN_FIXUPS];
2118 bfd_reloc_code_real_type reloc;
2121 /* Get the opcode. */
2122 for (s = str; *s != '\0' && ! ISSPACE (*s); s++)
2127 /* Look up the opcode in the hash table. */
2128 opcode = (const struct powerpc_opcode *) hash_find (ppc_hash, str);
2129 if (opcode == (const struct powerpc_opcode *) NULL)
2131 const struct powerpc_macro *macro;
2133 macro = (const struct powerpc_macro *) hash_find (ppc_macro_hash, str);
2134 if (macro == (const struct powerpc_macro *) NULL)
2135 as_bad (_("Unrecognized opcode: `%s'"), str);
2137 ppc_macro (s, macro);
2142 insn = opcode->opcode;
2145 while (ISSPACE (*str))
2148 /* PowerPC operands are just expressions. The only real issue is
2149 that a few operand types are optional. All cases which might use
2150 an optional operand separate the operands only with commas (in some
2151 cases parentheses are used, as in ``lwz 1,0(1)'' but such cases never
2152 have optional operands). Most instructions with optional operands
2153 have only one. Those that have more than one optional operand can
2154 take either all their operands or none. So, before we start seriously
2155 parsing the operands, we check to see if we have optional operands,
2156 and if we do, we count the number of commas to see which operands
2157 have been omitted. */
2159 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
2161 const struct powerpc_operand *operand;
2163 operand = &powerpc_operands[*opindex_ptr];
2164 if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0)
2166 unsigned int opcount;
2167 unsigned int num_operands_expected;
2170 /* There is an optional operand. Count the number of
2171 commas in the input line. */
2178 while ((s = strchr (s, ',')) != (char *) NULL)
2185 /* Compute the number of expected operands.
2186 Do not count fake operands. */
2187 for (num_operands_expected = 0, i = 0; opcode->operands[i]; i ++)
2188 if ((powerpc_operands [opcode->operands[i]].flags & PPC_OPERAND_FAKE) == 0)
2189 ++ num_operands_expected;
2191 /* If there are fewer operands in the line then are called
2192 for by the instruction, we want to skip the optional
2194 if (opcount < num_operands_expected)
2201 /* Gather the operands. */
2205 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
2207 const struct powerpc_operand *operand;
2213 if (next_opindex == 0)
2214 operand = &powerpc_operands[*opindex_ptr];
2217 operand = &powerpc_operands[next_opindex];
2222 /* If this is a fake operand, then we do not expect anything
2224 if ((operand->flags & PPC_OPERAND_FAKE) != 0)
2226 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2227 if (errmsg != (const char *) NULL)
2232 /* If this is an optional operand, and we are skipping it, just
2234 if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0
2237 if (operand->insert)
2239 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2240 if (errmsg != (const char *) NULL)
2243 if ((operand->flags & PPC_OPERAND_NEXT) != 0)
2244 next_opindex = *opindex_ptr + 1;
2248 /* Gather the operand. */
2249 hold = input_line_pointer;
2250 input_line_pointer = str;
2253 if (*input_line_pointer == '[')
2255 /* We are expecting something like the second argument here:
2257 * lwz r4,[toc].GS.0.static_int(rtoc)
2258 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^
2259 * The argument following the `]' must be a symbol name, and the
2260 * register must be the toc register: 'rtoc' or '2'
2262 * The effect is to 0 as the displacement field
2263 * in the instruction, and issue an IMAGE_REL_PPC_TOCREL16 (or
2264 * the appropriate variation) reloc against it based on the symbol.
2265 * The linker will build the toc, and insert the resolved toc offset.
2268 * o The size of the toc entry is currently assumed to be
2269 * 32 bits. This should not be assumed to be a hard coded
2271 * o In an effort to cope with a change from 32 to 64 bits,
2272 * there are also toc entries that are specified to be
2273 * either 32 or 64 bits:
2274 * lwz r4,[toc32].GS.0.static_int(rtoc)
2275 * lwz r4,[toc64].GS.0.static_int(rtoc)
2276 * These demand toc entries of the specified size, and the
2277 * instruction probably requires it.
2281 enum toc_size_qualifier toc_kind;
2282 bfd_reloc_code_real_type toc_reloc;
2284 /* Go parse off the [tocXX] part. */
2285 valid_toc = parse_toc_entry (&toc_kind);
2289 /* Note: message has already been issued.
2290 FIXME: what sort of recovery should we do?
2291 demand_rest_of_line (); return; ? */
2294 /* Now get the symbol following the ']'. */
2300 /* In this case, we may not have seen the symbol yet,
2301 since it is allowed to appear on a .extern or .globl
2302 or just be a label in the .data section. */
2303 toc_reloc = BFD_RELOC_PPC_TOC16;
2306 /* 1. The symbol must be defined and either in the toc
2307 section, or a global.
2308 2. The reloc generated must have the TOCDEFN flag set
2309 in upper bit mess of the reloc type.
2310 FIXME: It's a little confusing what the tocv
2311 qualifier can be used for. At the very least, I've
2312 seen three uses, only one of which I'm sure I can
2314 if (ex.X_op == O_symbol)
2316 assert (ex.X_add_symbol != NULL);
2317 if (symbol_get_bfdsym (ex.X_add_symbol)->section
2320 as_bad (_("[tocv] symbol is not a toc symbol"));
2324 toc_reloc = BFD_RELOC_PPC_TOC16;
2327 /* FIXME: these next two specifically specify 32/64 bit
2328 toc entries. We don't support them today. Is this
2329 the right way to say that? */
2330 toc_reloc = BFD_RELOC_UNUSED;
2331 as_bad (_("Unimplemented toc32 expression modifier"));
2334 /* FIXME: see above. */
2335 toc_reloc = BFD_RELOC_UNUSED;
2336 as_bad (_("Unimplemented toc64 expression modifier"));
2340 _("Unexpected return value [%d] from parse_toc_entry!\n"),
2346 /* We need to generate a fixup for this expression. */
2347 if (fc >= MAX_INSN_FIXUPS)
2348 as_fatal (_("too many fixups"));
2350 fixups[fc].reloc = toc_reloc;
2351 fixups[fc].exp = ex;
2352 fixups[fc].opindex = *opindex_ptr;
2355 /* Ok. We've set up the fixup for the instruction. Now make it
2356 look like the constant 0 was found here. */
2358 ex.X_op = O_constant;
2359 ex.X_add_number = 0;
2360 ex.X_add_symbol = NULL;
2361 ex.X_op_symbol = NULL;
2367 if (! register_name (&ex))
2369 if ((operand->flags & PPC_OPERAND_CR) != 0)
2376 str = input_line_pointer;
2377 input_line_pointer = hold;
2379 if (ex.X_op == O_illegal)
2380 as_bad (_("illegal operand"));
2381 else if (ex.X_op == O_absent)
2382 as_bad (_("missing operand"));
2383 else if (ex.X_op == O_register)
2385 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2388 else if (ex.X_op == O_constant)
2391 /* Allow @HA, @L, @H on constants. */
2392 char *orig_str = str;
2394 if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2401 case BFD_RELOC_LO16:
2402 /* X_unsigned is the default, so if the user has done
2403 something which cleared it, we always produce a
2405 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2406 ex.X_add_number &= 0xffff;
2408 ex.X_add_number = SEX16 (ex.X_add_number);
2411 case BFD_RELOC_HI16:
2412 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2413 ex.X_add_number = PPC_HI (ex.X_add_number);
2415 ex.X_add_number = SEX16 (PPC_HI (ex.X_add_number));
2418 case BFD_RELOC_HI16_S:
2419 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2420 ex.X_add_number = PPC_HA (ex.X_add_number);
2422 ex.X_add_number = SEX16 (PPC_HA (ex.X_add_number));
2425 case BFD_RELOC_PPC64_HIGHER:
2426 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2427 ex.X_add_number = PPC_HIGHER (ex.X_add_number);
2429 ex.X_add_number = SEX16 (PPC_HIGHER (ex.X_add_number));
2432 case BFD_RELOC_PPC64_HIGHER_S:
2433 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2434 ex.X_add_number = PPC_HIGHERA (ex.X_add_number);
2436 ex.X_add_number = SEX16 (PPC_HIGHERA (ex.X_add_number));
2439 case BFD_RELOC_PPC64_HIGHEST:
2440 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2441 ex.X_add_number = PPC_HIGHEST (ex.X_add_number);
2443 ex.X_add_number = SEX16 (PPC_HIGHEST (ex.X_add_number));
2446 case BFD_RELOC_PPC64_HIGHEST_S:
2447 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2448 ex.X_add_number = PPC_HIGHESTA (ex.X_add_number);
2450 ex.X_add_number = SEX16 (PPC_HIGHESTA (ex.X_add_number));
2453 #endif /* OBJ_ELF */
2454 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2458 else if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2460 /* Some TLS tweaks. */
2465 case BFD_RELOC_PPC_TLS:
2466 insn = ppc_insert_operand (insn, operand, ppc_obj64 ? 13 : 2,
2469 /* We'll only use the 32 (or 64) bit form of these relocations
2470 in constants. Instructions get the 16 bit form. */
2471 case BFD_RELOC_PPC_DTPREL:
2472 reloc = BFD_RELOC_PPC_DTPREL16;
2474 case BFD_RELOC_PPC_TPREL:
2475 reloc = BFD_RELOC_PPC_TPREL16;
2479 /* For the absolute forms of branches, convert the PC
2480 relative form back into the absolute. */
2481 if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0)
2485 case BFD_RELOC_PPC_B26:
2486 reloc = BFD_RELOC_PPC_BA26;
2488 case BFD_RELOC_PPC_B16:
2489 reloc = BFD_RELOC_PPC_BA16;
2491 case BFD_RELOC_PPC_B16_BRTAKEN:
2492 reloc = BFD_RELOC_PPC_BA16_BRTAKEN;
2494 case BFD_RELOC_PPC_B16_BRNTAKEN:
2495 reloc = BFD_RELOC_PPC_BA16_BRNTAKEN;
2503 && (operand->flags & (PPC_OPERAND_DS | PPC_OPERAND_DQ)) != 0)
2508 reloc = BFD_RELOC_PPC64_ADDR16_DS;
2510 case BFD_RELOC_LO16:
2511 reloc = BFD_RELOC_PPC64_ADDR16_LO_DS;
2513 case BFD_RELOC_16_GOTOFF:
2514 reloc = BFD_RELOC_PPC64_GOT16_DS;
2516 case BFD_RELOC_LO16_GOTOFF:
2517 reloc = BFD_RELOC_PPC64_GOT16_LO_DS;
2519 case BFD_RELOC_LO16_PLTOFF:
2520 reloc = BFD_RELOC_PPC64_PLT16_LO_DS;
2522 case BFD_RELOC_16_BASEREL:
2523 reloc = BFD_RELOC_PPC64_SECTOFF_DS;
2525 case BFD_RELOC_LO16_BASEREL:
2526 reloc = BFD_RELOC_PPC64_SECTOFF_LO_DS;
2528 case BFD_RELOC_PPC_TOC16:
2529 reloc = BFD_RELOC_PPC64_TOC16_DS;
2531 case BFD_RELOC_PPC64_TOC16_LO:
2532 reloc = BFD_RELOC_PPC64_TOC16_LO_DS;
2534 case BFD_RELOC_PPC64_PLTGOT16:
2535 reloc = BFD_RELOC_PPC64_PLTGOT16_DS;
2537 case BFD_RELOC_PPC64_PLTGOT16_LO:
2538 reloc = BFD_RELOC_PPC64_PLTGOT16_LO_DS;
2540 case BFD_RELOC_PPC_DTPREL16:
2541 reloc = BFD_RELOC_PPC64_DTPREL16_DS;
2543 case BFD_RELOC_PPC_DTPREL16_LO:
2544 reloc = BFD_RELOC_PPC64_DTPREL16_LO_DS;
2546 case BFD_RELOC_PPC_TPREL16:
2547 reloc = BFD_RELOC_PPC64_TPREL16_DS;
2549 case BFD_RELOC_PPC_TPREL16_LO:
2550 reloc = BFD_RELOC_PPC64_TPREL16_LO_DS;
2552 case BFD_RELOC_PPC_GOT_DTPREL16:
2553 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
2554 case BFD_RELOC_PPC_GOT_TPREL16:
2555 case BFD_RELOC_PPC_GOT_TPREL16_LO:
2558 as_bad (_("unsupported relocation for DS offset field"));
2563 /* We need to generate a fixup for this expression. */
2564 if (fc >= MAX_INSN_FIXUPS)
2565 as_fatal (_("too many fixups"));
2566 fixups[fc].exp = ex;
2567 fixups[fc].opindex = 0;
2568 fixups[fc].reloc = reloc;
2571 #endif /* OBJ_ELF */
2575 /* We need to generate a fixup for this expression. */
2576 if (fc >= MAX_INSN_FIXUPS)
2577 as_fatal (_("too many fixups"));
2578 fixups[fc].exp = ex;
2579 fixups[fc].opindex = *opindex_ptr;
2580 fixups[fc].reloc = BFD_RELOC_UNUSED;
2589 else if ((operand->flags & PPC_OPERAND_PARENS) != 0)
2597 /* The call to expression should have advanced str past any
2600 && (endc != ',' || *str != '\0'))
2602 as_bad (_("syntax error; found `%c' but expected `%c'"), *str, endc);
2610 while (ISSPACE (*str))
2614 as_bad (_("junk at end of line: `%s'"), str);
2617 /* Do we need/want a APUinfo section? */
2618 if (ppc_cpu & (PPC_OPCODE_SPE
2619 | PPC_OPCODE_ISEL | PPC_OPCODE_EFS
2620 | PPC_OPCODE_BRLOCK | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
2621 | PPC_OPCODE_RFMCI))
2623 /* These are all version "1". */
2624 if (opcode->flags & PPC_OPCODE_SPE)
2625 ppc_apuinfo_section_add (PPC_APUINFO_SPE, 1);
2626 if (opcode->flags & PPC_OPCODE_ISEL)
2627 ppc_apuinfo_section_add (PPC_APUINFO_ISEL, 1);
2628 if (opcode->flags & PPC_OPCODE_EFS)
2629 ppc_apuinfo_section_add (PPC_APUINFO_EFS, 1);
2630 if (opcode->flags & PPC_OPCODE_BRLOCK)
2631 ppc_apuinfo_section_add (PPC_APUINFO_BRLOCK, 1);
2632 if (opcode->flags & PPC_OPCODE_PMR)
2633 ppc_apuinfo_section_add (PPC_APUINFO_PMR, 1);
2634 if (opcode->flags & PPC_OPCODE_CACHELCK)
2635 ppc_apuinfo_section_add (PPC_APUINFO_CACHELCK, 1);
2636 if (opcode->flags & PPC_OPCODE_RFMCI)
2637 ppc_apuinfo_section_add (PPC_APUINFO_RFMCI, 1);
2641 /* Write out the instruction. */
2643 addr_mod = frag_now_fix () & 3;
2644 if (frag_now->has_code && frag_now->insn_addr != addr_mod)
2645 as_bad (_("instruction address is not a multiple of 4"));
2646 frag_now->insn_addr = addr_mod;
2647 frag_now->has_code = 1;
2648 md_number_to_chars (f, insn, 4);
2651 dwarf2_emit_insn (4);
2654 /* Create any fixups. At this point we do not use a
2655 bfd_reloc_code_real_type, but instead just use the
2656 BFD_RELOC_UNUSED plus the operand index. This lets us easily
2657 handle fixups for any operand type, although that is admittedly
2658 not a very exciting feature. We pick a BFD reloc type in
2660 for (i = 0; i < fc; i++)
2662 const struct powerpc_operand *operand;
2664 operand = &powerpc_operands[fixups[i].opindex];
2665 if (fixups[i].reloc != BFD_RELOC_UNUSED)
2667 reloc_howto_type *reloc_howto;
2672 reloc_howto = bfd_reloc_type_lookup (stdoutput, fixups[i].reloc);
2676 size = bfd_get_reloc_size (reloc_howto);
2677 offset = target_big_endian ? (4 - size) : 0;
2679 if (size < 1 || size > 4)
2682 fixP = fix_new_exp (frag_now,
2683 f - frag_now->fr_literal + offset,
2686 reloc_howto->pc_relative,
2689 /* Turn off complaints that the addend is too large for things like
2691 switch (fixups[i].reloc)
2693 case BFD_RELOC_16_GOTOFF:
2694 case BFD_RELOC_PPC_TOC16:
2695 case BFD_RELOC_LO16:
2696 case BFD_RELOC_HI16:
2697 case BFD_RELOC_HI16_S:
2699 case BFD_RELOC_PPC64_HIGHER:
2700 case BFD_RELOC_PPC64_HIGHER_S:
2701 case BFD_RELOC_PPC64_HIGHEST:
2702 case BFD_RELOC_PPC64_HIGHEST_S:
2704 fixP->fx_no_overflow = 1;
2711 fix_new_exp (frag_now,
2712 f - frag_now->fr_literal,
2715 (operand->flags & PPC_OPERAND_RELATIVE) != 0,
2716 ((bfd_reloc_code_real_type)
2717 (fixups[i].opindex + (int) BFD_RELOC_UNUSED)));
2721 /* Handle a macro. Gather all the operands, transform them as
2722 described by the macro, and call md_assemble recursively. All the
2723 operands are separated by commas; we don't accept parentheses
2724 around operands here. */
2727 ppc_macro (str, macro)
2729 const struct powerpc_macro *macro;
2740 /* Gather the users operands into the operands array. */
2745 if (count >= sizeof operands / sizeof operands[0])
2747 operands[count++] = s;
2748 s = strchr (s, ',');
2749 if (s == (char *) NULL)
2754 if (count != macro->operands)
2756 as_bad (_("wrong number of operands"));
2760 /* Work out how large the string must be (the size is unbounded
2761 because it includes user input). */
2763 format = macro->format;
2764 while (*format != '\0')
2773 arg = strtol (format + 1, &send, 10);
2774 know (send != format && arg >= 0 && arg < count);
2775 len += strlen (operands[arg]);
2780 /* Put the string together. */
2781 complete = s = (char *) alloca (len + 1);
2782 format = macro->format;
2783 while (*format != '\0')
2789 arg = strtol (format + 1, &send, 10);
2790 strcpy (s, operands[arg]);
2797 /* Assemble the constructed instruction. */
2798 md_assemble (complete);
2802 /* For ELF, add support for SHF_EXCLUDE and SHT_ORDERED. */
2805 ppc_section_letter (letter, ptr_msg)
2812 *ptr_msg = _("Bad .section directive: want a,e,w,x,M,S,G,T in string");
2817 ppc_section_word (str, len)
2821 if (len == 7 && strncmp (str, "exclude", 7) == 0)
2828 ppc_section_type (str, len)
2832 if (len == 7 && strncmp (str, "ordered", 7) == 0)
2839 ppc_section_flags (flags, attr, type)
2844 if (type == SHT_ORDERED)
2845 flags |= SEC_ALLOC | SEC_LOAD | SEC_SORT_ENTRIES;
2847 if (attr & SHF_EXCLUDE)
2848 flags |= SEC_EXCLUDE;
2852 #endif /* OBJ_ELF */
2855 /* Pseudo-op handling. */
2857 /* The .byte pseudo-op. This is similar to the normal .byte
2858 pseudo-op, but it can also take a single ASCII string. */
2862 int ignore ATTRIBUTE_UNUSED;
2864 if (*input_line_pointer != '\"')
2870 /* Gather characters. A real double quote is doubled. Unusual
2871 characters are not permitted. */
2872 ++input_line_pointer;
2877 c = *input_line_pointer++;
2881 if (*input_line_pointer != '\"')
2883 ++input_line_pointer;
2886 FRAG_APPEND_1_CHAR (c);
2889 demand_empty_rest_of_line ();
2894 /* XCOFF specific pseudo-op handling. */
2896 /* This is set if we are creating a .stabx symbol, since we don't want
2897 to handle symbol suffixes for such symbols. */
2898 static bfd_boolean ppc_stab_symbol;
2900 /* The .comm and .lcomm pseudo-ops for XCOFF. XCOFF puts common
2901 symbols in the .bss segment as though they were local common
2902 symbols, and uses a different smclas. The native Aix 4.3.3 assembler
2903 aligns .comm and .lcomm to 4 bytes. */
2909 asection *current_seg = now_seg;
2910 subsegT current_subseg = now_subseg;
2916 symbolS *lcomm_sym = NULL;
2920 name = input_line_pointer;
2921 endc = get_symbol_end ();
2922 end_name = input_line_pointer;
2925 if (*input_line_pointer != ',')
2927 as_bad (_("missing size"));
2928 ignore_rest_of_line ();
2931 ++input_line_pointer;
2933 size = get_absolute_expression ();
2936 as_bad (_("negative size"));
2937 ignore_rest_of_line ();
2943 /* The third argument to .comm is the alignment. */
2944 if (*input_line_pointer != ',')
2948 ++input_line_pointer;
2949 align = get_absolute_expression ();
2952 as_warn (_("ignoring bad alignment"));
2967 /* The third argument to .lcomm appears to be the real local
2968 common symbol to create. References to the symbol named in
2969 the first argument are turned into references to the third
2971 if (*input_line_pointer != ',')
2973 as_bad (_("missing real symbol name"));
2974 ignore_rest_of_line ();
2977 ++input_line_pointer;
2979 lcomm_name = input_line_pointer;
2980 lcomm_endc = get_symbol_end ();
2982 lcomm_sym = symbol_find_or_make (lcomm_name);
2984 *input_line_pointer = lcomm_endc;
2988 sym = symbol_find_or_make (name);
2991 if (S_IS_DEFINED (sym)
2992 || S_GET_VALUE (sym) != 0)
2994 as_bad (_("attempt to redefine symbol"));
2995 ignore_rest_of_line ();
2999 record_alignment (bss_section, align);
3002 || ! S_IS_DEFINED (lcomm_sym))
3011 S_SET_EXTERNAL (sym);
3015 symbol_get_tc (lcomm_sym)->output = 1;
3016 def_sym = lcomm_sym;
3020 subseg_set (bss_section, 1);
3021 frag_align (align, 0, 0);
3023 symbol_set_frag (def_sym, frag_now);
3024 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, def_sym,
3025 def_size, (char *) NULL);
3027 S_SET_SEGMENT (def_sym, bss_section);
3028 symbol_get_tc (def_sym)->align = align;
3032 /* Align the size of lcomm_sym. */
3033 symbol_get_frag (lcomm_sym)->fr_offset =
3034 ((symbol_get_frag (lcomm_sym)->fr_offset + (1 << align) - 1)
3035 &~ ((1 << align) - 1));
3036 if (align > symbol_get_tc (lcomm_sym)->align)
3037 symbol_get_tc (lcomm_sym)->align = align;
3042 /* Make sym an offset from lcomm_sym. */
3043 S_SET_SEGMENT (sym, bss_section);
3044 symbol_set_frag (sym, symbol_get_frag (lcomm_sym));
3045 S_SET_VALUE (sym, symbol_get_frag (lcomm_sym)->fr_offset);
3046 symbol_get_frag (lcomm_sym)->fr_offset += size;
3049 subseg_set (current_seg, current_subseg);
3051 demand_empty_rest_of_line ();
3054 /* The .csect pseudo-op. This switches us into a different
3055 subsegment. The first argument is a symbol whose value is the
3056 start of the .csect. In COFF, csect symbols get special aux
3057 entries defined by the x_csect field of union internal_auxent. The
3058 optional second argument is the alignment (the default is 2). */
3062 int ignore ATTRIBUTE_UNUSED;
3069 name = input_line_pointer;
3070 endc = get_symbol_end ();
3072 sym = symbol_find_or_make (name);
3074 *input_line_pointer = endc;
3076 if (S_GET_NAME (sym)[0] == '\0')
3078 /* An unnamed csect is assumed to be [PR]. */
3079 symbol_get_tc (sym)->class = XMC_PR;
3083 if (*input_line_pointer == ',')
3085 ++input_line_pointer;
3086 align = get_absolute_expression ();
3089 ppc_change_csect (sym, align);
3091 demand_empty_rest_of_line ();
3094 /* Change to a different csect. */
3097 ppc_change_csect (sym, align)
3101 if (S_IS_DEFINED (sym))
3102 subseg_set (S_GET_SEGMENT (sym), symbol_get_tc (sym)->subseg);
3112 /* This is a new csect. We need to look at the symbol class to
3113 figure out whether it should go in the text section or the
3117 switch (symbol_get_tc (sym)->class)
3127 S_SET_SEGMENT (sym, text_section);
3128 symbol_get_tc (sym)->subseg = ppc_text_subsegment;
3129 ++ppc_text_subsegment;
3130 list_ptr = &ppc_text_csects;
3140 if (ppc_toc_csect != NULL
3141 && (symbol_get_tc (ppc_toc_csect)->subseg + 1
3142 == ppc_data_subsegment))
3144 S_SET_SEGMENT (sym, data_section);
3145 symbol_get_tc (sym)->subseg = ppc_data_subsegment;
3146 ++ppc_data_subsegment;
3147 list_ptr = &ppc_data_csects;
3153 /* We set the obstack chunk size to a small value before
3154 changing subsegments, so that we don't use a lot of memory
3155 space for what may be a small section. */
3156 hold_chunksize = chunksize;
3159 sec = subseg_new (segment_name (S_GET_SEGMENT (sym)),
3160 symbol_get_tc (sym)->subseg);
3162 chunksize = hold_chunksize;
3165 ppc_after_toc_frag = frag_now;
3167 record_alignment (sec, align);
3169 frag_align_code (align, 0);
3171 frag_align (align, 0, 0);
3173 symbol_set_frag (sym, frag_now);
3174 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3176 symbol_get_tc (sym)->align = align;
3177 symbol_get_tc (sym)->output = 1;
3178 symbol_get_tc (sym)->within = sym;
3180 for (list = *list_ptr;
3181 symbol_get_tc (list)->next != (symbolS *) NULL;
3182 list = symbol_get_tc (list)->next)
3184 symbol_get_tc (list)->next = sym;
3186 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3187 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
3191 ppc_current_csect = sym;
3194 /* This function handles the .text and .data pseudo-ops. These
3195 pseudo-ops aren't really used by XCOFF; we implement them for the
3196 convenience of people who aren't used to XCOFF. */
3207 else if (type == 'd')
3212 sym = symbol_find_or_make (name);
3214 ppc_change_csect (sym, 2);
3216 demand_empty_rest_of_line ();
3219 /* This function handles the .section pseudo-op. This is mostly to
3220 give an error, since XCOFF only supports .text, .data and .bss, but
3221 we do permit the user to name the text or data section. */
3224 ppc_named_section (ignore)
3225 int ignore ATTRIBUTE_UNUSED;
3228 const char *real_name;
3232 user_name = input_line_pointer;
3233 c = get_symbol_end ();
3235 if (strcmp (user_name, ".text") == 0)
3236 real_name = ".text[PR]";
3237 else if (strcmp (user_name, ".data") == 0)
3238 real_name = ".data[RW]";
3241 as_bad (_("The XCOFF file format does not support arbitrary sections"));
3242 *input_line_pointer = c;
3243 ignore_rest_of_line ();
3247 *input_line_pointer = c;
3249 sym = symbol_find_or_make (real_name);
3251 ppc_change_csect (sym, 2);
3253 demand_empty_rest_of_line ();
3256 /* The .extern pseudo-op. We create an undefined symbol. */
3260 int ignore ATTRIBUTE_UNUSED;
3265 name = input_line_pointer;
3266 endc = get_symbol_end ();
3268 (void) symbol_find_or_make (name);
3270 *input_line_pointer = endc;
3272 demand_empty_rest_of_line ();
3275 /* The .lglobl pseudo-op. Keep the symbol in the symbol table. */
3279 int ignore ATTRIBUTE_UNUSED;
3285 name = input_line_pointer;
3286 endc = get_symbol_end ();
3288 sym = symbol_find_or_make (name);
3290 *input_line_pointer = endc;
3292 symbol_get_tc (sym)->output = 1;
3294 demand_empty_rest_of_line ();
3297 /* The .rename pseudo-op. The RS/6000 assembler can rename symbols,
3298 although I don't know why it bothers. */
3302 int ignore ATTRIBUTE_UNUSED;
3309 name = input_line_pointer;
3310 endc = get_symbol_end ();
3312 sym = symbol_find_or_make (name);
3314 *input_line_pointer = endc;
3316 if (*input_line_pointer != ',')
3318 as_bad (_("missing rename string"));
3319 ignore_rest_of_line ();
3322 ++input_line_pointer;
3324 symbol_get_tc (sym)->real_name = demand_copy_C_string (&len);
3326 demand_empty_rest_of_line ();
3329 /* The .stabx pseudo-op. This is similar to a normal .stabs
3330 pseudo-op, but slightly different. A sample is
3331 .stabx "main:F-1",.main,142,0
3332 The first argument is the symbol name to create. The second is the
3333 value, and the third is the storage class. The fourth seems to be
3334 always zero, and I am assuming it is the type. */
3338 int ignore ATTRIBUTE_UNUSED;
3345 name = demand_copy_C_string (&len);
3347 if (*input_line_pointer != ',')
3349 as_bad (_("missing value"));
3352 ++input_line_pointer;
3354 ppc_stab_symbol = TRUE;
3355 sym = symbol_make (name);
3356 ppc_stab_symbol = FALSE;
3358 symbol_get_tc (sym)->real_name = name;
3360 (void) expression (&exp);
3367 as_bad (_("illegal .stabx expression; zero assumed"));
3368 exp.X_add_number = 0;
3371 S_SET_VALUE (sym, (valueT) exp.X_add_number);
3372 symbol_set_frag (sym, &zero_address_frag);
3376 if (S_GET_SEGMENT (exp.X_add_symbol) == undefined_section)
3377 symbol_set_value_expression (sym, &exp);
3381 exp.X_add_number + S_GET_VALUE (exp.X_add_symbol));
3382 symbol_set_frag (sym, symbol_get_frag (exp.X_add_symbol));
3387 /* The value is some complex expression. This will probably
3388 fail at some later point, but this is probably the right
3389 thing to do here. */
3390 symbol_set_value_expression (sym, &exp);
3394 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3395 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3397 if (*input_line_pointer != ',')
3399 as_bad (_("missing class"));
3402 ++input_line_pointer;
3404 S_SET_STORAGE_CLASS (sym, get_absolute_expression ());
3406 if (*input_line_pointer != ',')
3408 as_bad (_("missing type"));
3411 ++input_line_pointer;
3413 S_SET_DATA_TYPE (sym, get_absolute_expression ());
3415 symbol_get_tc (sym)->output = 1;
3417 if (S_GET_STORAGE_CLASS (sym) == C_STSYM) {
3419 symbol_get_tc (sym)->within = ppc_current_block;
3424 .stabx "z",arrays_,133,0
3427 .comm arrays_,13768,3
3429 resolve_symbol_value will copy the exp's "within" into sym's when the
3430 offset is 0. Since this seems to be corner case problem,
3431 only do the correction for storage class C_STSYM. A better solution
3432 would be to have the tc field updated in ppc_symbol_new_hook. */
3434 if (exp.X_op == O_symbol)
3436 symbol_get_tc (exp.X_add_symbol)->within = ppc_current_block;
3440 if (exp.X_op != O_symbol
3441 || ! S_IS_EXTERNAL (exp.X_add_symbol)
3442 || S_GET_SEGMENT (exp.X_add_symbol) != bss_section)
3443 ppc_frob_label (sym);
3446 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3447 symbol_append (sym, exp.X_add_symbol, &symbol_rootP, &symbol_lastP);
3448 if (symbol_get_tc (ppc_current_csect)->within == exp.X_add_symbol)
3449 symbol_get_tc (ppc_current_csect)->within = sym;
3452 demand_empty_rest_of_line ();
3455 /* The .function pseudo-op. This takes several arguments. The first
3456 argument seems to be the external name of the symbol. The second
3457 argument seems to be the label for the start of the function. gcc
3458 uses the same name for both. I have no idea what the third and
3459 fourth arguments are meant to be. The optional fifth argument is
3460 an expression for the size of the function. In COFF this symbol
3461 gets an aux entry like that used for a csect. */
3464 ppc_function (ignore)
3465 int ignore ATTRIBUTE_UNUSED;
3473 name = input_line_pointer;
3474 endc = get_symbol_end ();
3476 /* Ignore any [PR] suffix. */
3477 name = ppc_canonicalize_symbol_name (name);
3478 s = strchr (name, '[');
3479 if (s != (char *) NULL
3480 && strcmp (s + 1, "PR]") == 0)
3483 ext_sym = symbol_find_or_make (name);
3485 *input_line_pointer = endc;
3487 if (*input_line_pointer != ',')
3489 as_bad (_("missing symbol name"));
3490 ignore_rest_of_line ();
3493 ++input_line_pointer;
3495 name = input_line_pointer;
3496 endc = get_symbol_end ();
3498 lab_sym = symbol_find_or_make (name);
3500 *input_line_pointer = endc;
3502 if (ext_sym != lab_sym)
3506 exp.X_op = O_symbol;
3507 exp.X_add_symbol = lab_sym;
3508 exp.X_op_symbol = NULL;
3509 exp.X_add_number = 0;
3511 symbol_set_value_expression (ext_sym, &exp);
3514 if (symbol_get_tc (ext_sym)->class == -1)
3515 symbol_get_tc (ext_sym)->class = XMC_PR;
3516 symbol_get_tc (ext_sym)->output = 1;
3518 if (*input_line_pointer == ',')
3522 /* Ignore the third argument. */
3523 ++input_line_pointer;
3524 expression (&ignore);
3525 if (*input_line_pointer == ',')
3527 /* Ignore the fourth argument. */
3528 ++input_line_pointer;
3529 expression (&ignore);
3530 if (*input_line_pointer == ',')
3532 /* The fifth argument is the function size. */
3533 ++input_line_pointer;
3534 symbol_get_tc (ext_sym)->size = symbol_new ("L0\001",
3537 &zero_address_frag);
3538 pseudo_set (symbol_get_tc (ext_sym)->size);
3543 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
3544 SF_SET_FUNCTION (ext_sym);
3545 SF_SET_PROCESS (ext_sym);
3546 coff_add_linesym (ext_sym);
3548 demand_empty_rest_of_line ();
3551 /* The .bf pseudo-op. This is just like a COFF C_FCN symbol named
3552 ".bf". If the pseudo op .bi was seen before .bf, patch the .bi sym
3553 with the correct line number */
3555 static symbolS *saved_bi_sym = 0;
3559 int ignore ATTRIBUTE_UNUSED;
3563 sym = symbol_make (".bf");
3564 S_SET_SEGMENT (sym, text_section);
3565 symbol_set_frag (sym, frag_now);
3566 S_SET_VALUE (sym, frag_now_fix ());
3567 S_SET_STORAGE_CLASS (sym, C_FCN);
3569 coff_line_base = get_absolute_expression ();
3571 S_SET_NUMBER_AUXILIARY (sym, 1);
3572 SA_SET_SYM_LNNO (sym, coff_line_base);
3574 /* Line number for bi. */
3577 S_SET_VALUE (saved_bi_sym, coff_n_line_nos);
3582 symbol_get_tc (sym)->output = 1;
3584 ppc_frob_label (sym);
3586 demand_empty_rest_of_line ();
3589 /* The .ef pseudo-op. This is just like a COFF C_FCN symbol named
3590 ".ef", except that the line number is absolute, not relative to the
3591 most recent ".bf" symbol. */
3595 int ignore ATTRIBUTE_UNUSED;
3599 sym = symbol_make (".ef");
3600 S_SET_SEGMENT (sym, text_section);
3601 symbol_set_frag (sym, frag_now);
3602 S_SET_VALUE (sym, frag_now_fix ());
3603 S_SET_STORAGE_CLASS (sym, C_FCN);
3604 S_SET_NUMBER_AUXILIARY (sym, 1);
3605 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3606 symbol_get_tc (sym)->output = 1;
3608 ppc_frob_label (sym);
3610 demand_empty_rest_of_line ();
3613 /* The .bi and .ei pseudo-ops. These take a string argument and
3614 generates a C_BINCL or C_EINCL symbol, which goes at the start of
3615 the symbol list. The value of .bi will be know when the next .bf
3622 static symbolS *last_biei;
3629 name = demand_copy_C_string (&len);
3631 /* The value of these symbols is actually file offset. Here we set
3632 the value to the index into the line number entries. In
3633 ppc_frob_symbols we set the fix_line field, which will cause BFD
3634 to do the right thing. */
3636 sym = symbol_make (name);
3637 /* obj-coff.c currently only handles line numbers correctly in the
3639 S_SET_SEGMENT (sym, text_section);
3640 S_SET_VALUE (sym, coff_n_line_nos);
3641 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3643 S_SET_STORAGE_CLASS (sym, ei ? C_EINCL : C_BINCL);
3644 symbol_get_tc (sym)->output = 1;
3652 for (look = last_biei ? last_biei : symbol_rootP;
3653 (look != (symbolS *) NULL
3654 && (S_GET_STORAGE_CLASS (look) == C_FILE
3655 || S_GET_STORAGE_CLASS (look) == C_BINCL
3656 || S_GET_STORAGE_CLASS (look) == C_EINCL));
3657 look = symbol_next (look))
3659 if (look != (symbolS *) NULL)
3661 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3662 symbol_insert (sym, look, &symbol_rootP, &symbol_lastP);
3666 demand_empty_rest_of_line ();
3669 /* The .bs pseudo-op. This generates a C_BSTAT symbol named ".bs".
3670 There is one argument, which is a csect symbol. The value of the
3671 .bs symbol is the index of this csect symbol. */
3675 int ignore ATTRIBUTE_UNUSED;
3682 if (ppc_current_block != NULL)
3683 as_bad (_("nested .bs blocks"));
3685 name = input_line_pointer;
3686 endc = get_symbol_end ();
3688 csect = symbol_find_or_make (name);
3690 *input_line_pointer = endc;
3692 sym = symbol_make (".bs");
3693 S_SET_SEGMENT (sym, now_seg);
3694 S_SET_STORAGE_CLASS (sym, C_BSTAT);
3695 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3696 symbol_get_tc (sym)->output = 1;
3698 symbol_get_tc (sym)->within = csect;
3700 ppc_frob_label (sym);
3702 ppc_current_block = sym;
3704 demand_empty_rest_of_line ();
3707 /* The .es pseudo-op. Generate a C_ESTART symbol named .es. */
3711 int ignore ATTRIBUTE_UNUSED;
3715 if (ppc_current_block == NULL)
3716 as_bad (_(".es without preceding .bs"));
3718 sym = symbol_make (".es");
3719 S_SET_SEGMENT (sym, now_seg);
3720 S_SET_STORAGE_CLASS (sym, C_ESTAT);
3721 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3722 symbol_get_tc (sym)->output = 1;
3724 ppc_frob_label (sym);
3726 ppc_current_block = NULL;
3728 demand_empty_rest_of_line ();
3731 /* The .bb pseudo-op. Generate a C_BLOCK symbol named .bb, with a
3736 int ignore ATTRIBUTE_UNUSED;
3740 sym = symbol_make (".bb");
3741 S_SET_SEGMENT (sym, text_section);
3742 symbol_set_frag (sym, frag_now);
3743 S_SET_VALUE (sym, frag_now_fix ());
3744 S_SET_STORAGE_CLASS (sym, C_BLOCK);
3746 S_SET_NUMBER_AUXILIARY (sym, 1);
3747 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3749 symbol_get_tc (sym)->output = 1;
3751 SF_SET_PROCESS (sym);
3753 ppc_frob_label (sym);
3755 demand_empty_rest_of_line ();
3758 /* The .eb pseudo-op. Generate a C_BLOCK symbol named .eb, with a
3763 int ignore ATTRIBUTE_UNUSED;
3767 sym = symbol_make (".eb");
3768 S_SET_SEGMENT (sym, text_section);
3769 symbol_set_frag (sym, frag_now);
3770 S_SET_VALUE (sym, frag_now_fix ());
3771 S_SET_STORAGE_CLASS (sym, C_BLOCK);
3772 S_SET_NUMBER_AUXILIARY (sym, 1);
3773 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3774 symbol_get_tc (sym)->output = 1;
3776 SF_SET_PROCESS (sym);
3778 ppc_frob_label (sym);
3780 demand_empty_rest_of_line ();
3783 /* The .bc pseudo-op. This just creates a C_BCOMM symbol with a
3788 int ignore ATTRIBUTE_UNUSED;
3794 name = demand_copy_C_string (&len);
3795 sym = symbol_make (name);
3796 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3797 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3798 S_SET_STORAGE_CLASS (sym, C_BCOMM);
3799 S_SET_VALUE (sym, 0);
3800 symbol_get_tc (sym)->output = 1;
3802 ppc_frob_label (sym);
3804 demand_empty_rest_of_line ();
3807 /* The .ec pseudo-op. This just creates a C_ECOMM symbol. */
3811 int ignore ATTRIBUTE_UNUSED;
3815 sym = symbol_make (".ec");
3816 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3817 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3818 S_SET_STORAGE_CLASS (sym, C_ECOMM);
3819 S_SET_VALUE (sym, 0);
3820 symbol_get_tc (sym)->output = 1;
3822 ppc_frob_label (sym);
3824 demand_empty_rest_of_line ();
3827 /* The .toc pseudo-op. Switch to the .toc subsegment. */
3831 int ignore ATTRIBUTE_UNUSED;
3833 if (ppc_toc_csect != (symbolS *) NULL)
3834 subseg_set (data_section, symbol_get_tc (ppc_toc_csect)->subseg);
3841 subseg = ppc_data_subsegment;
3842 ++ppc_data_subsegment;
3844 subseg_new (segment_name (data_section), subseg);
3845 ppc_toc_frag = frag_now;
3847 sym = symbol_find_or_make ("TOC[TC0]");
3848 symbol_set_frag (sym, frag_now);
3849 S_SET_SEGMENT (sym, data_section);
3850 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3851 symbol_get_tc (sym)->subseg = subseg;
3852 symbol_get_tc (sym)->output = 1;
3853 symbol_get_tc (sym)->within = sym;
3855 ppc_toc_csect = sym;
3857 for (list = ppc_data_csects;
3858 symbol_get_tc (list)->next != (symbolS *) NULL;
3859 list = symbol_get_tc (list)->next)
3861 symbol_get_tc (list)->next = sym;
3863 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3864 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
3868 ppc_current_csect = ppc_toc_csect;
3870 demand_empty_rest_of_line ();
3873 /* The AIX assembler automatically aligns the operands of a .long or
3874 .short pseudo-op, and we want to be compatible. */
3877 ppc_xcoff_cons (log_size)
3880 frag_align (log_size, 0, 0);
3881 record_alignment (now_seg, log_size);
3882 cons (1 << log_size);
3887 int dummy ATTRIBUTE_UNUSED;
3892 (void) expression (&exp);
3894 if (exp.X_op != O_constant)
3896 as_bad (_("non-constant byte count"));
3900 byte_count = exp.X_add_number;
3902 if (*input_line_pointer != ',')
3904 as_bad (_("missing value"));
3908 ++input_line_pointer;
3912 #endif /* OBJ_XCOFF */
3913 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
3915 /* The .tc pseudo-op. This is used when generating either XCOFF or
3916 ELF. This takes two or more arguments.
3918 When generating XCOFF output, the first argument is the name to
3919 give to this location in the toc; this will be a symbol with class
3920 TC. The rest of the arguments are N-byte values to actually put at
3921 this location in the TOC; often there is just one more argument, a
3922 relocatable symbol reference. The size of the value to store
3923 depends on target word size. A 32-bit target uses 4-byte values, a
3924 64-bit target uses 8-byte values.
3926 When not generating XCOFF output, the arguments are the same, but
3927 the first argument is simply ignored. */
3931 int ignore ATTRIBUTE_UNUSED;
3935 /* Define the TOC symbol name. */
3941 if (ppc_toc_csect == (symbolS *) NULL
3942 || ppc_toc_csect != ppc_current_csect)
3944 as_bad (_(".tc not in .toc section"));
3945 ignore_rest_of_line ();
3949 name = input_line_pointer;
3950 endc = get_symbol_end ();
3952 sym = symbol_find_or_make (name);
3954 *input_line_pointer = endc;
3956 if (S_IS_DEFINED (sym))
3960 label = symbol_get_tc (ppc_current_csect)->within;
3961 if (symbol_get_tc (label)->class != XMC_TC0)
3963 as_bad (_(".tc with no label"));
3964 ignore_rest_of_line ();
3968 S_SET_SEGMENT (label, S_GET_SEGMENT (sym));
3969 symbol_set_frag (label, symbol_get_frag (sym));
3970 S_SET_VALUE (label, S_GET_VALUE (sym));
3972 while (! is_end_of_line[(unsigned char) *input_line_pointer])
3973 ++input_line_pointer;
3978 S_SET_SEGMENT (sym, now_seg);
3979 symbol_set_frag (sym, frag_now);
3980 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3981 symbol_get_tc (sym)->class = XMC_TC;
3982 symbol_get_tc (sym)->output = 1;
3984 ppc_frob_label (sym);
3987 #endif /* OBJ_XCOFF */
3991 /* Skip the TOC symbol name. */
3992 while (is_part_of_name (*input_line_pointer)
3993 || *input_line_pointer == '['
3994 || *input_line_pointer == ']'
3995 || *input_line_pointer == '{'
3996 || *input_line_pointer == '}')
3997 ++input_line_pointer;
3999 /* Align to a four/eight byte boundary. */
4000 align = ppc_obj64 ? 3 : 2;
4001 frag_align (align, 0, 0);
4002 record_alignment (now_seg, align);
4003 #endif /* OBJ_ELF */
4005 if (*input_line_pointer != ',')
4006 demand_empty_rest_of_line ();
4009 ++input_line_pointer;
4010 cons (ppc_obj64 ? 8 : 4);
4014 /* Pseudo-op .machine. */
4017 ppc_machine (ignore)
4018 int ignore ATTRIBUTE_UNUSED;
4021 #define MAX_HISTORY 100
4022 static unsigned long *cpu_history;
4023 static int curr_hist;
4027 if (*input_line_pointer == '"')
4030 cpu_string = demand_copy_C_string (&len);
4035 cpu_string = input_line_pointer;
4036 c = get_symbol_end ();
4037 cpu_string = xstrdup (cpu_string);
4038 *input_line_pointer = c;
4041 if (cpu_string != NULL)
4043 unsigned long old_cpu = ppc_cpu;
4046 for (p = cpu_string; *p != 0; p++)
4049 if (strcmp (cpu_string, "push") == 0)
4051 if (cpu_history == NULL)
4052 cpu_history = xmalloc (MAX_HISTORY * sizeof (*cpu_history));
4054 if (curr_hist >= MAX_HISTORY)
4055 as_bad (_(".machine stack overflow"));
4057 cpu_history[curr_hist++] = ppc_cpu;
4059 else if (strcmp (cpu_string, "pop") == 0)
4062 as_bad (_(".machine stack underflow"));
4064 ppc_cpu = cpu_history[--curr_hist];
4066 else if (parse_cpu (cpu_string))
4069 as_bad (_("invalid machine `%s'"), cpu_string);
4071 if (ppc_cpu != old_cpu)
4072 ppc_setup_opcodes ();
4075 demand_empty_rest_of_line ();
4078 /* See whether a symbol is in the TOC section. */
4081 ppc_is_toc_sym (sym)
4085 return symbol_get_tc (sym)->class == XMC_TC;
4088 const char *sname = segment_name (S_GET_SEGMENT (sym));
4090 return strcmp (sname, ".toc") == 0;
4092 return strcmp (sname, ".got") == 0;
4095 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
4099 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
4101 /* Set the current section. */
4103 ppc_set_current_section (new)
4106 ppc_previous_section = ppc_current_section;
4107 ppc_current_section = new;
4110 /* pseudo-op: .previous
4111 behaviour: toggles the current section with the previous section.
4113 warnings: "No previous section" */
4116 ppc_previous (ignore)
4117 int ignore ATTRIBUTE_UNUSED;
4121 if (ppc_previous_section == NULL)
4123 as_warn (_("No previous section to return to. Directive ignored."));
4127 subseg_set (ppc_previous_section, 0);
4129 ppc_set_current_section (ppc_previous_section);
4132 /* pseudo-op: .pdata
4133 behaviour: predefined read only data section
4137 initial: .section .pdata "adr3"
4138 a - don't know -- maybe a misprint
4139 d - initialized data
4141 3 - double word aligned (that would be 4 byte boundary)
4144 Tag index tables (also known as the function table) for exception
4145 handling, debugging, etc. */
4149 int ignore ATTRIBUTE_UNUSED;
4151 if (pdata_section == 0)
4153 pdata_section = subseg_new (".pdata", 0);
4155 bfd_set_section_flags (stdoutput, pdata_section,
4156 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4157 | SEC_READONLY | SEC_DATA ));
4159 bfd_set_section_alignment (stdoutput, pdata_section, 2);
4163 pdata_section = subseg_new (".pdata", 0);
4165 ppc_set_current_section (pdata_section);
4168 /* pseudo-op: .ydata
4169 behaviour: predefined read only data section
4173 initial: .section .ydata "drw3"
4174 a - don't know -- maybe a misprint
4175 d - initialized data
4177 3 - double word aligned (that would be 4 byte boundary)
4179 Tag tables (also known as the scope table) for exception handling,
4184 int ignore ATTRIBUTE_UNUSED;
4186 if (ydata_section == 0)
4188 ydata_section = subseg_new (".ydata", 0);
4189 bfd_set_section_flags (stdoutput, ydata_section,
4190 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4191 | SEC_READONLY | SEC_DATA ));
4193 bfd_set_section_alignment (stdoutput, ydata_section, 3);
4197 ydata_section = subseg_new (".ydata", 0);
4199 ppc_set_current_section (ydata_section);
4202 /* pseudo-op: .reldata
4203 behaviour: predefined read write data section
4204 double word aligned (4-byte)
4205 FIXME: relocation is applied to it
4206 FIXME: what's the difference between this and .data?
4209 initial: .section .reldata "drw3"
4210 d - initialized data
4213 3 - double word aligned (that would be 8 byte boundary)
4216 Like .data, but intended to hold data subject to relocation, such as
4217 function descriptors, etc. */
4220 ppc_reldata (ignore)
4221 int ignore ATTRIBUTE_UNUSED;
4223 if (reldata_section == 0)
4225 reldata_section = subseg_new (".reldata", 0);
4227 bfd_set_section_flags (stdoutput, reldata_section,
4228 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4231 bfd_set_section_alignment (stdoutput, reldata_section, 2);
4235 reldata_section = subseg_new (".reldata", 0);
4237 ppc_set_current_section (reldata_section);
4240 /* pseudo-op: .rdata
4241 behaviour: predefined read only data section
4245 initial: .section .rdata "dr3"
4246 d - initialized data
4248 3 - double word aligned (that would be 4 byte boundary) */
4252 int ignore ATTRIBUTE_UNUSED;
4254 if (rdata_section == 0)
4256 rdata_section = subseg_new (".rdata", 0);
4257 bfd_set_section_flags (stdoutput, rdata_section,
4258 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4259 | SEC_READONLY | SEC_DATA ));
4261 bfd_set_section_alignment (stdoutput, rdata_section, 2);
4265 rdata_section = subseg_new (".rdata", 0);
4267 ppc_set_current_section (rdata_section);
4270 /* pseudo-op: .ualong
4271 behaviour: much like .int, with the exception that no alignment is
4273 FIXME: test the alignment statement
4279 int ignore ATTRIBUTE_UNUSED;
4285 /* pseudo-op: .znop <symbol name>
4286 behaviour: Issue a nop instruction
4287 Issue a IMAGE_REL_PPC_IFGLUE relocation against it, using
4288 the supplied symbol name.
4290 warnings: Missing symbol name */
4294 int ignore ATTRIBUTE_UNUSED;
4297 const struct powerpc_opcode *opcode;
4308 /* Strip out the symbol name. */
4309 symbol_name = input_line_pointer;
4310 c = get_symbol_end ();
4312 name = xmalloc (input_line_pointer - symbol_name + 1);
4313 strcpy (name, symbol_name);
4315 sym = symbol_find_or_make (name);
4317 *input_line_pointer = c;
4321 /* Look up the opcode in the hash table. */
4322 opcode = (const struct powerpc_opcode *) hash_find (ppc_hash, "nop");
4324 /* Stick in the nop. */
4325 insn = opcode->opcode;
4327 /* Write out the instruction. */
4329 md_number_to_chars (f, insn, 4);
4331 f - frag_now->fr_literal,
4336 BFD_RELOC_16_GOT_PCREL);
4349 register char *name;
4353 register symbolS *symbolP;
4356 name = input_line_pointer;
4357 c = get_symbol_end ();
4359 /* just after name is now '\0'. */
4360 p = input_line_pointer;
4363 if (*input_line_pointer != ',')
4365 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
4366 ignore_rest_of_line ();
4370 input_line_pointer++; /* skip ',' */
4371 if ((temp = get_absolute_expression ()) < 0)
4373 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp);
4374 ignore_rest_of_line ();
4380 /* The third argument to .comm is the alignment. */
4381 if (*input_line_pointer != ',')
4385 ++input_line_pointer;
4386 align = get_absolute_expression ();
4389 as_warn (_("ignoring bad alignment"));
4396 symbolP = symbol_find_or_make (name);
4399 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
4401 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
4402 S_GET_NAME (symbolP));
4403 ignore_rest_of_line ();
4407 if (S_GET_VALUE (symbolP))
4409 if (S_GET_VALUE (symbolP) != (valueT) temp)
4410 as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
4411 S_GET_NAME (symbolP),
4412 (long) S_GET_VALUE (symbolP),
4417 S_SET_VALUE (symbolP, (valueT) temp);
4418 S_SET_EXTERNAL (symbolP);
4421 demand_empty_rest_of_line ();
4425 * implement the .section pseudo op:
4426 * .section name {, "flags"}
4428 * | +--- optional flags: 'b' for bss
4430 * +-- section name 'l' for lib
4434 * 'd' (apparently m88k for data)
4436 * But if the argument is not a quoted string, treat it as a
4437 * subsegment number.
4439 * FIXME: this is a copy of the section processing from obj-coff.c, with
4440 * additions/changes for the moto-pas assembler support. There are three
4443 * FIXME: I just noticed this. This doesn't work at all really. It it
4444 * setting bits that bfd probably neither understands or uses. The
4445 * correct approach (?) will have to incorporate extra fields attached
4446 * to the section to hold the system specific stuff. (krk)
4449 * 'a' - unknown - referred to in documentation, but no definition supplied
4450 * 'c' - section has code
4451 * 'd' - section has initialized data
4452 * 'u' - section has uninitialized data
4453 * 'i' - section contains directives (info)
4454 * 'n' - section can be discarded
4455 * 'R' - remove section at link time
4457 * Section Protection:
4458 * 'r' - section is readable
4459 * 'w' - section is writeable
4460 * 'x' - section is executable
4461 * 's' - section is sharable
4463 * Section Alignment:
4464 * '0' - align to byte boundary
4465 * '1' - align to halfword undary
4466 * '2' - align to word boundary
4467 * '3' - align to doubleword boundary
4468 * '4' - align to quadword boundary
4469 * '5' - align to 32 byte boundary
4470 * '6' - align to 64 byte boundary
4475 ppc_pe_section (ignore)
4476 int ignore ATTRIBUTE_UNUSED;
4478 /* Strip out the section name. */
4487 section_name = input_line_pointer;
4488 c = get_symbol_end ();
4490 name = xmalloc (input_line_pointer - section_name + 1);
4491 strcpy (name, section_name);
4493 *input_line_pointer = c;
4498 flags = SEC_NO_FLAGS;
4500 if (strcmp (name, ".idata$2") == 0)
4504 else if (strcmp (name, ".idata$3") == 0)
4508 else if (strcmp (name, ".idata$4") == 0)
4512 else if (strcmp (name, ".idata$5") == 0)
4516 else if (strcmp (name, ".idata$6") == 0)
4521 /* Default alignment to 16 byte boundary. */
4524 if (*input_line_pointer == ',')
4526 ++input_line_pointer;
4528 if (*input_line_pointer != '"')
4529 exp = get_absolute_expression ();
4532 ++input_line_pointer;
4533 while (*input_line_pointer != '"'
4534 && ! is_end_of_line[(unsigned char) *input_line_pointer])
4536 switch (*input_line_pointer)
4538 /* Section Contents */
4539 case 'a': /* unknown */
4540 as_bad (_("Unsupported section attribute -- 'a'"));
4542 case 'c': /* code section */
4545 case 'd': /* section has initialized data */
4548 case 'u': /* section has uninitialized data */
4549 /* FIXME: This is IMAGE_SCN_CNT_UNINITIALIZED_DATA
4553 case 'i': /* section contains directives (info) */
4554 /* FIXME: This is IMAGE_SCN_LNK_INFO
4556 flags |= SEC_HAS_CONTENTS;
4558 case 'n': /* section can be discarded */
4561 case 'R': /* Remove section at link time */
4562 flags |= SEC_NEVER_LOAD;
4565 /* Section Protection */
4566 case 'r': /* section is readable */
4567 flags |= IMAGE_SCN_MEM_READ;
4569 case 'w': /* section is writeable */
4570 flags |= IMAGE_SCN_MEM_WRITE;
4572 case 'x': /* section is executable */
4573 flags |= IMAGE_SCN_MEM_EXECUTE;
4575 case 's': /* section is sharable */
4576 flags |= IMAGE_SCN_MEM_SHARED;
4579 /* Section Alignment */
4580 case '0': /* align to byte boundary */
4581 flags |= IMAGE_SCN_ALIGN_1BYTES;
4584 case '1': /* align to halfword boundary */
4585 flags |= IMAGE_SCN_ALIGN_2BYTES;
4588 case '2': /* align to word boundary */
4589 flags |= IMAGE_SCN_ALIGN_4BYTES;
4592 case '3': /* align to doubleword boundary */
4593 flags |= IMAGE_SCN_ALIGN_8BYTES;
4596 case '4': /* align to quadword boundary */
4597 flags |= IMAGE_SCN_ALIGN_16BYTES;
4600 case '5': /* align to 32 byte boundary */
4601 flags |= IMAGE_SCN_ALIGN_32BYTES;
4604 case '6': /* align to 64 byte boundary */
4605 flags |= IMAGE_SCN_ALIGN_64BYTES;
4610 as_bad (_("unknown section attribute '%c'"),
4611 *input_line_pointer);
4614 ++input_line_pointer;
4616 if (*input_line_pointer == '"')
4617 ++input_line_pointer;
4621 sec = subseg_new (name, (subsegT) exp);
4623 ppc_set_current_section (sec);
4625 if (flags != SEC_NO_FLAGS)
4627 if (! bfd_set_section_flags (stdoutput, sec, flags))
4628 as_bad (_("error setting flags for \"%s\": %s"),
4629 bfd_section_name (stdoutput, sec),
4630 bfd_errmsg (bfd_get_error ()));
4633 bfd_set_section_alignment (stdoutput, sec, align);
4638 ppc_pe_function (ignore)
4639 int ignore ATTRIBUTE_UNUSED;
4645 name = input_line_pointer;
4646 endc = get_symbol_end ();
4648 ext_sym = symbol_find_or_make (name);
4650 *input_line_pointer = endc;
4652 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
4653 SF_SET_FUNCTION (ext_sym);
4654 SF_SET_PROCESS (ext_sym);
4655 coff_add_linesym (ext_sym);
4657 demand_empty_rest_of_line ();
4661 ppc_pe_tocd (ignore)
4662 int ignore ATTRIBUTE_UNUSED;
4664 if (tocdata_section == 0)
4666 tocdata_section = subseg_new (".tocd", 0);
4667 /* FIXME: section flags won't work. */
4668 bfd_set_section_flags (stdoutput, tocdata_section,
4669 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4670 | SEC_READONLY | SEC_DATA));
4672 bfd_set_section_alignment (stdoutput, tocdata_section, 2);
4676 rdata_section = subseg_new (".tocd", 0);
4679 ppc_set_current_section (tocdata_section);
4681 demand_empty_rest_of_line ();
4684 /* Don't adjust TOC relocs to use the section symbol. */
4687 ppc_pe_fix_adjustable (fix)
4690 return fix->fx_r_type != BFD_RELOC_PPC_TOC16;
4697 /* XCOFF specific symbol and file handling. */
4699 /* Canonicalize the symbol name. We use the to force the suffix, if
4700 any, to use square brackets, and to be in upper case. */
4703 ppc_canonicalize_symbol_name (name)
4708 if (ppc_stab_symbol)
4711 for (s = name; *s != '\0' && *s != '{' && *s != '['; s++)
4725 for (s++; *s != '\0' && *s != brac; s++)
4728 if (*s == '\0' || s[1] != '\0')
4729 as_bad (_("bad symbol suffix"));
4737 /* Set the class of a symbol based on the suffix, if any. This is
4738 called whenever a new symbol is created. */
4741 ppc_symbol_new_hook (sym)
4744 struct ppc_tc_sy *tc;
4747 tc = symbol_get_tc (sym);
4751 tc->real_name = NULL;
4757 if (ppc_stab_symbol)
4760 s = strchr (S_GET_NAME (sym), '[');
4761 if (s == (const char *) NULL)
4763 /* There is no suffix. */
4772 if (strcmp (s, "BS]") == 0)
4776 if (strcmp (s, "DB]") == 0)
4778 else if (strcmp (s, "DS]") == 0)
4782 if (strcmp (s, "GL]") == 0)
4786 if (strcmp (s, "PR]") == 0)
4790 if (strcmp (s, "RO]") == 0)
4792 else if (strcmp (s, "RW]") == 0)
4796 if (strcmp (s, "SV]") == 0)
4800 if (strcmp (s, "TC]") == 0)
4802 else if (strcmp (s, "TI]") == 0)
4804 else if (strcmp (s, "TB]") == 0)
4806 else if (strcmp (s, "TC0]") == 0 || strcmp (s, "T0]") == 0)
4807 tc->class = XMC_TC0;
4810 if (strcmp (s, "UA]") == 0)
4812 else if (strcmp (s, "UC]") == 0)
4816 if (strcmp (s, "XO]") == 0)
4821 if (tc->class == -1)
4822 as_bad (_("Unrecognized symbol suffix"));
4825 /* Set the class of a label based on where it is defined. This
4826 handles symbols without suffixes. Also, move the symbol so that it
4827 follows the csect symbol. */
4830 ppc_frob_label (sym)
4833 if (ppc_current_csect != (symbolS *) NULL)
4835 if (symbol_get_tc (sym)->class == -1)
4836 symbol_get_tc (sym)->class = symbol_get_tc (ppc_current_csect)->class;
4838 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
4839 symbol_append (sym, symbol_get_tc (ppc_current_csect)->within,
4840 &symbol_rootP, &symbol_lastP);
4841 symbol_get_tc (ppc_current_csect)->within = sym;
4845 /* This variable is set by ppc_frob_symbol if any absolute symbols are
4846 seen. It tells ppc_adjust_symtab whether it needs to look through
4849 static bfd_boolean ppc_saw_abs;
4851 /* Change the name of a symbol just before writing it out. Set the
4852 real name if the .rename pseudo-op was used. Otherwise, remove any
4853 class suffix. Return 1 if the symbol should not be included in the
4857 ppc_frob_symbol (sym)
4860 static symbolS *ppc_last_function;
4861 static symbolS *set_end;
4863 /* Discard symbols that should not be included in the output symbol
4865 if (! symbol_used_in_reloc_p (sym)
4866 && ((symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) != 0
4867 || (! (S_IS_EXTERNAL (sym) || S_IS_WEAK (sym))
4868 && ! symbol_get_tc (sym)->output
4869 && S_GET_STORAGE_CLASS (sym) != C_FILE)))
4872 /* This one will disappear anyway. Don't make a csect sym for it. */
4873 if (sym == abs_section_sym)
4876 if (symbol_get_tc (sym)->real_name != (char *) NULL)
4877 S_SET_NAME (sym, symbol_get_tc (sym)->real_name);
4883 name = S_GET_NAME (sym);
4884 s = strchr (name, '[');
4885 if (s != (char *) NULL)
4891 snew = xmalloc (len + 1);
4892 memcpy (snew, name, len);
4895 S_SET_NAME (sym, snew);
4899 if (set_end != (symbolS *) NULL)
4901 SA_SET_SYM_ENDNDX (set_end, sym);
4905 if (SF_GET_FUNCTION (sym))
4907 if (ppc_last_function != (symbolS *) NULL)
4908 as_bad (_("two .function pseudo-ops with no intervening .ef"));
4909 ppc_last_function = sym;
4910 if (symbol_get_tc (sym)->size != (symbolS *) NULL)
4912 resolve_symbol_value (symbol_get_tc (sym)->size);
4913 SA_SET_SYM_FSIZE (sym,
4914 (long) S_GET_VALUE (symbol_get_tc (sym)->size));
4917 else if (S_GET_STORAGE_CLASS (sym) == C_FCN
4918 && strcmp (S_GET_NAME (sym), ".ef") == 0)
4920 if (ppc_last_function == (symbolS *) NULL)
4921 as_bad (_(".ef with no preceding .function"));
4924 set_end = ppc_last_function;
4925 ppc_last_function = NULL;
4927 /* We don't have a C_EFCN symbol, but we need to force the
4928 COFF backend to believe that it has seen one. */
4929 coff_last_function = NULL;
4933 if (! (S_IS_EXTERNAL (sym) || S_IS_WEAK (sym))
4934 && (symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) == 0
4935 && S_GET_STORAGE_CLASS (sym) != C_FILE
4936 && S_GET_STORAGE_CLASS (sym) != C_FCN
4937 && S_GET_STORAGE_CLASS (sym) != C_BLOCK
4938 && S_GET_STORAGE_CLASS (sym) != C_BSTAT
4939 && S_GET_STORAGE_CLASS (sym) != C_ESTAT
4940 && S_GET_STORAGE_CLASS (sym) != C_BINCL
4941 && S_GET_STORAGE_CLASS (sym) != C_EINCL
4942 && S_GET_SEGMENT (sym) != ppc_coff_debug_section)
4943 S_SET_STORAGE_CLASS (sym, C_HIDEXT);
4945 if (S_GET_STORAGE_CLASS (sym) == C_EXT
4946 || S_GET_STORAGE_CLASS (sym) == C_HIDEXT)
4949 union internal_auxent *a;
4951 /* Create a csect aux. */
4952 i = S_GET_NUMBER_AUXILIARY (sym);
4953 S_SET_NUMBER_AUXILIARY (sym, i + 1);
4954 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].u.auxent;
4955 if (symbol_get_tc (sym)->class == XMC_TC0)
4957 /* This is the TOC table. */
4958 know (strcmp (S_GET_NAME (sym), "TOC") == 0);
4959 a->x_csect.x_scnlen.l = 0;
4960 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
4962 else if (symbol_get_tc (sym)->subseg != 0)
4964 /* This is a csect symbol. x_scnlen is the size of the
4966 if (symbol_get_tc (sym)->next == (symbolS *) NULL)
4967 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
4968 S_GET_SEGMENT (sym))
4969 - S_GET_VALUE (sym));
4972 resolve_symbol_value (symbol_get_tc (sym)->next);
4973 a->x_csect.x_scnlen.l = (S_GET_VALUE (symbol_get_tc (sym)->next)
4974 - S_GET_VALUE (sym));
4976 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_SD;
4978 else if (S_GET_SEGMENT (sym) == bss_section)
4980 /* This is a common symbol. */
4981 a->x_csect.x_scnlen.l = symbol_get_frag (sym)->fr_offset;
4982 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_CM;
4983 if (S_IS_EXTERNAL (sym))
4984 symbol_get_tc (sym)->class = XMC_RW;
4986 symbol_get_tc (sym)->class = XMC_BS;
4988 else if (S_GET_SEGMENT (sym) == absolute_section)
4990 /* This is an absolute symbol. The csect will be created by
4991 ppc_adjust_symtab. */
4993 a->x_csect.x_smtyp = XTY_LD;
4994 if (symbol_get_tc (sym)->class == -1)
4995 symbol_get_tc (sym)->class = XMC_XO;
4997 else if (! S_IS_DEFINED (sym))
4999 /* This is an external symbol. */
5000 a->x_csect.x_scnlen.l = 0;
5001 a->x_csect.x_smtyp = XTY_ER;
5003 else if (symbol_get_tc (sym)->class == XMC_TC)
5007 /* This is a TOC definition. x_scnlen is the size of the
5009 next = symbol_next (sym);
5010 while (symbol_get_tc (next)->class == XMC_TC0)
5011 next = symbol_next (next);
5012 if (next == (symbolS *) NULL
5013 || symbol_get_tc (next)->class != XMC_TC)
5015 if (ppc_after_toc_frag == (fragS *) NULL)
5016 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
5018 - S_GET_VALUE (sym));
5020 a->x_csect.x_scnlen.l = (ppc_after_toc_frag->fr_address
5021 - S_GET_VALUE (sym));
5025 resolve_symbol_value (next);
5026 a->x_csect.x_scnlen.l = (S_GET_VALUE (next)
5027 - S_GET_VALUE (sym));
5029 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
5035 /* This is a normal symbol definition. x_scnlen is the
5036 symbol index of the containing csect. */
5037 if (S_GET_SEGMENT (sym) == text_section)
5038 csect = ppc_text_csects;
5039 else if (S_GET_SEGMENT (sym) == data_section)
5040 csect = ppc_data_csects;
5044 /* Skip the initial dummy symbol. */
5045 csect = symbol_get_tc (csect)->next;
5047 if (csect == (symbolS *) NULL)
5049 as_warn (_("warning: symbol %s has no csect"), S_GET_NAME (sym));
5050 a->x_csect.x_scnlen.l = 0;
5054 while (symbol_get_tc (csect)->next != (symbolS *) NULL)
5056 resolve_symbol_value (symbol_get_tc (csect)->next);
5057 if (S_GET_VALUE (symbol_get_tc (csect)->next)
5058 > S_GET_VALUE (sym))
5060 csect = symbol_get_tc (csect)->next;
5063 a->x_csect.x_scnlen.p =
5064 coffsymbol (symbol_get_bfdsym (csect))->native;
5065 coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].fix_scnlen =
5068 a->x_csect.x_smtyp = XTY_LD;
5071 a->x_csect.x_parmhash = 0;
5072 a->x_csect.x_snhash = 0;
5073 if (symbol_get_tc (sym)->class == -1)
5074 a->x_csect.x_smclas = XMC_PR;
5076 a->x_csect.x_smclas = symbol_get_tc (sym)->class;
5077 a->x_csect.x_stab = 0;
5078 a->x_csect.x_snstab = 0;
5080 /* Don't let the COFF backend resort these symbols. */
5081 symbol_get_bfdsym (sym)->flags |= BSF_NOT_AT_END;
5083 else if (S_GET_STORAGE_CLASS (sym) == C_BSTAT)
5085 /* We want the value to be the symbol index of the referenced
5086 csect symbol. BFD will do that for us if we set the right
5088 asymbol *bsym = symbol_get_bfdsym (symbol_get_tc (sym)->within);
5089 combined_entry_type *c = coffsymbol (bsym)->native;
5091 S_SET_VALUE (sym, (valueT) (size_t) c);
5092 coffsymbol (symbol_get_bfdsym (sym))->native->fix_value = 1;
5094 else if (S_GET_STORAGE_CLASS (sym) == C_STSYM)
5099 /* The value is the offset from the enclosing csect. */
5100 block = symbol_get_tc (sym)->within;
5101 csect = symbol_get_tc (block)->within;
5102 resolve_symbol_value (csect);
5103 S_SET_VALUE (sym, S_GET_VALUE (sym) - S_GET_VALUE (csect));
5105 else if (S_GET_STORAGE_CLASS (sym) == C_BINCL
5106 || S_GET_STORAGE_CLASS (sym) == C_EINCL)
5108 /* We want the value to be a file offset into the line numbers.
5109 BFD will do that for us if we set the right flags. We have
5110 already set the value correctly. */
5111 coffsymbol (symbol_get_bfdsym (sym))->native->fix_line = 1;
5117 /* Adjust the symbol table. This creates csect symbols for all
5118 absolute symbols. */
5121 ppc_adjust_symtab ()
5128 for (sym = symbol_rootP; sym != NULL; sym = symbol_next (sym))
5132 union internal_auxent *a;
5134 if (S_GET_SEGMENT (sym) != absolute_section)
5137 csect = symbol_create (".abs[XO]", absolute_section,
5138 S_GET_VALUE (sym), &zero_address_frag);
5139 symbol_get_bfdsym (csect)->value = S_GET_VALUE (sym);
5140 S_SET_STORAGE_CLASS (csect, C_HIDEXT);
5141 i = S_GET_NUMBER_AUXILIARY (csect);
5142 S_SET_NUMBER_AUXILIARY (csect, i + 1);
5143 a = &coffsymbol (symbol_get_bfdsym (csect))->native[i + 1].u.auxent;
5144 a->x_csect.x_scnlen.l = 0;
5145 a->x_csect.x_smtyp = XTY_SD;
5146 a->x_csect.x_parmhash = 0;
5147 a->x_csect.x_snhash = 0;
5148 a->x_csect.x_smclas = XMC_XO;
5149 a->x_csect.x_stab = 0;
5150 a->x_csect.x_snstab = 0;
5152 symbol_insert (csect, sym, &symbol_rootP, &symbol_lastP);
5154 i = S_GET_NUMBER_AUXILIARY (sym);
5155 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i].u.auxent;
5156 a->x_csect.x_scnlen.p = coffsymbol (symbol_get_bfdsym (csect))->native;
5157 coffsymbol (symbol_get_bfdsym (sym))->native[i].fix_scnlen = 1;
5160 ppc_saw_abs = FALSE;
5163 /* Set the VMA for a section. This is called on all the sections in
5167 ppc_frob_section (sec)
5170 static bfd_vma vma = 0;
5172 vma = md_section_align (sec, vma);
5173 bfd_set_section_vma (stdoutput, sec, vma);
5174 vma += bfd_section_size (stdoutput, sec);
5177 #endif /* OBJ_XCOFF */
5179 /* Turn a string in input_line_pointer into a floating point constant
5180 of type TYPE, and store the appropriate bytes in *LITP. The number
5181 of LITTLENUMS emitted is stored in *SIZEP. An error message is
5182 returned, or NULL on OK. */
5185 md_atof (type, litp, sizep)
5191 LITTLENUM_TYPE words[4];
5207 return _("bad call to md_atof");
5210 t = atof_ieee (input_line_pointer, type, words);
5212 input_line_pointer = t;
5216 if (target_big_endian)
5218 for (i = 0; i < prec; i++)
5220 md_number_to_chars (litp, (valueT) words[i], 2);
5226 for (i = prec - 1; i >= 0; i--)
5228 md_number_to_chars (litp, (valueT) words[i], 2);
5236 /* Write a value out to the object file, using the appropriate
5240 md_number_to_chars (buf, val, n)
5245 if (target_big_endian)
5246 number_to_chars_bigendian (buf, val, n);
5248 number_to_chars_littleendian (buf, val, n);
5251 /* Align a section (I don't know why this is machine dependent). */
5254 md_section_align (seg, addr)
5258 int align = bfd_get_section_alignment (stdoutput, seg);
5260 return ((addr + (1 << align) - 1) & (-1 << align));
5263 /* We don't have any form of relaxing. */
5266 md_estimate_size_before_relax (fragp, seg)
5267 fragS *fragp ATTRIBUTE_UNUSED;
5268 asection *seg ATTRIBUTE_UNUSED;
5274 /* Convert a machine dependent frag. We never generate these. */
5277 md_convert_frag (abfd, sec, fragp)
5278 bfd *abfd ATTRIBUTE_UNUSED;
5279 asection *sec ATTRIBUTE_UNUSED;
5280 fragS *fragp ATTRIBUTE_UNUSED;
5285 /* We have no need to default values of symbols. */
5288 md_undefined_symbol (name)
5289 char *name ATTRIBUTE_UNUSED;
5294 /* Functions concerning relocs. */
5296 /* The location from which a PC relative jump should be calculated,
5297 given a PC relative reloc. */
5300 md_pcrel_from_section (fixp, sec)
5302 segT sec ATTRIBUTE_UNUSED;
5304 return fixp->fx_frag->fr_address + fixp->fx_where;
5309 /* This is called to see whether a fixup should be adjusted to use a
5310 section symbol. We take the opportunity to change a fixup against
5311 a symbol in the TOC subsegment into a reloc against the
5312 corresponding .tc symbol. */
5315 ppc_fix_adjustable (fix)
5318 valueT val = resolve_symbol_value (fix->fx_addsy);
5319 segT symseg = S_GET_SEGMENT (fix->fx_addsy);
5320 TC_SYMFIELD_TYPE *tc;
5322 if (symseg == absolute_section)
5325 if (ppc_toc_csect != (symbolS *) NULL
5326 && fix->fx_addsy != ppc_toc_csect
5327 && symseg == data_section
5328 && val >= ppc_toc_frag->fr_address
5329 && (ppc_after_toc_frag == (fragS *) NULL
5330 || val < ppc_after_toc_frag->fr_address))
5334 for (sy = symbol_next (ppc_toc_csect);
5335 sy != (symbolS *) NULL;
5336 sy = symbol_next (sy))
5338 TC_SYMFIELD_TYPE *sy_tc = symbol_get_tc (sy);
5340 if (sy_tc->class == XMC_TC0)
5342 if (sy_tc->class != XMC_TC)
5344 if (val == resolve_symbol_value (sy))
5347 fix->fx_addnumber = val - ppc_toc_frag->fr_address;
5352 as_bad_where (fix->fx_file, fix->fx_line,
5353 _("symbol in .toc does not match any .tc"));
5356 /* Possibly adjust the reloc to be against the csect. */
5357 tc = symbol_get_tc (fix->fx_addsy);
5359 && tc->class != XMC_TC0
5360 && tc->class != XMC_TC
5361 && symseg != bss_section
5362 /* Don't adjust if this is a reloc in the toc section. */
5363 && (symseg != data_section
5364 || ppc_toc_csect == NULL
5365 || val < ppc_toc_frag->fr_address
5366 || (ppc_after_toc_frag != NULL
5367 && val >= ppc_after_toc_frag->fr_address)))
5370 symbolS *next_csect;
5372 if (symseg == text_section)
5373 csect = ppc_text_csects;
5374 else if (symseg == data_section)
5375 csect = ppc_data_csects;
5379 /* Skip the initial dummy symbol. */
5380 csect = symbol_get_tc (csect)->next;
5382 if (csect != (symbolS *) NULL)
5384 while ((next_csect = symbol_get_tc (csect)->next) != (symbolS *) NULL
5385 && (symbol_get_frag (next_csect)->fr_address <= val))
5387 /* If the csect address equals the symbol value, then we
5388 have to look through the full symbol table to see
5389 whether this is the csect we want. Note that we will
5390 only get here if the csect has zero length. */
5391 if (symbol_get_frag (csect)->fr_address == val
5392 && S_GET_VALUE (csect) == val)
5396 for (scan = symbol_next (csect);
5398 scan = symbol_next (scan))
5400 if (symbol_get_tc (scan)->subseg != 0)
5402 if (scan == fix->fx_addsy)
5406 /* If we found the symbol before the next csect
5407 symbol, then this is the csect we want. */
5408 if (scan == fix->fx_addsy)
5415 fix->fx_offset += val - symbol_get_frag (csect)->fr_address;
5416 fix->fx_addsy = csect;
5421 /* Adjust a reloc against a .lcomm symbol to be against the base
5423 if (symseg == bss_section
5424 && ! S_IS_EXTERNAL (fix->fx_addsy))
5426 symbolS *sy = symbol_get_frag (fix->fx_addsy)->fr_symbol;
5428 fix->fx_offset += val - resolve_symbol_value (sy);
5435 /* A reloc from one csect to another must be kept. The assembler
5436 will, of course, keep relocs between sections, and it will keep
5437 absolute relocs, but we need to force it to keep PC relative relocs
5438 between two csects in the same section. */
5441 ppc_force_relocation (fix)
5444 /* At this point fix->fx_addsy should already have been converted to
5445 a csect symbol. If the csect does not include the fragment, then
5446 we need to force the relocation. */
5448 && fix->fx_addsy != NULL
5449 && symbol_get_tc (fix->fx_addsy)->subseg != 0
5450 && ((symbol_get_frag (fix->fx_addsy)->fr_address
5451 > fix->fx_frag->fr_address)
5452 || (symbol_get_tc (fix->fx_addsy)->next != NULL
5453 && (symbol_get_frag (symbol_get_tc (fix->fx_addsy)->next)->fr_address
5454 <= fix->fx_frag->fr_address))))
5457 return generic_force_reloc (fix);
5460 #endif /* OBJ_XCOFF */
5463 /* If this function returns non-zero, it guarantees that a relocation
5464 will be emitted for a fixup. */
5467 ppc_force_relocation (fix)
5470 /* Branch prediction relocations must force a relocation, as must
5471 the vtable description relocs. */
5472 switch (fix->fx_r_type)
5474 case BFD_RELOC_PPC_B16_BRTAKEN:
5475 case BFD_RELOC_PPC_B16_BRNTAKEN:
5476 case BFD_RELOC_PPC_BA16_BRTAKEN:
5477 case BFD_RELOC_PPC_BA16_BRNTAKEN:
5478 case BFD_RELOC_24_PLT_PCREL:
5479 case BFD_RELOC_PPC64_TOC:
5485 if (fix->fx_r_type >= BFD_RELOC_PPC_TLS
5486 && fix->fx_r_type <= BFD_RELOC_PPC64_DTPREL16_HIGHESTA)
5489 return generic_force_reloc (fix);
5493 ppc_fix_adjustable (fix)
5496 return (fix->fx_r_type != BFD_RELOC_16_GOTOFF
5497 && fix->fx_r_type != BFD_RELOC_LO16_GOTOFF
5498 && fix->fx_r_type != BFD_RELOC_HI16_GOTOFF
5499 && fix->fx_r_type != BFD_RELOC_HI16_S_GOTOFF
5500 && fix->fx_r_type != BFD_RELOC_GPREL16
5501 && fix->fx_r_type != BFD_RELOC_VTABLE_INHERIT
5502 && fix->fx_r_type != BFD_RELOC_VTABLE_ENTRY
5503 && !(fix->fx_r_type >= BFD_RELOC_PPC_TLS
5504 && fix->fx_r_type <= BFD_RELOC_PPC64_DTPREL16_HIGHESTA));
5508 /* Apply a fixup to the object code. This is called for all the
5509 fixups we generated by the call to fix_new_exp, above. In the call
5510 above we used a reloc code which was the largest legal reloc code
5511 plus the operand index. Here we undo that to recover the operand
5512 index. At this point all symbol values should be fully resolved,
5513 and we attempt to completely resolve the reloc. If we can not do
5514 that, we determine the correct reloc code and put it back in the
5518 md_apply_fix (fixP, valP, seg)
5521 segT seg ATTRIBUTE_UNUSED;
5523 valueT value = * valP;
5526 if (fixP->fx_addsy != NULL)
5528 /* Hack around bfd_install_relocation brain damage. */
5530 value += fixP->fx_frag->fr_address + fixP->fx_where;
5535 /* FIXME FIXME FIXME: The value we are passed in *valP includes
5536 the symbol values. If we are doing this relocation the code in
5537 write.c is going to call bfd_install_relocation, which is also
5538 going to use the symbol value. That means that if the reloc is
5539 fully resolved we want to use *valP since bfd_install_relocation is
5541 However, if the reloc is not fully resolved we do not want to use
5542 *valP, and must use fx_offset instead. However, if the reloc
5543 is PC relative, we do want to use *valP since it includes the
5544 result of md_pcrel_from. This is confusing. */
5545 if (fixP->fx_addsy == (symbolS *) NULL)
5548 else if (fixP->fx_pcrel)
5552 value = fixP->fx_offset;
5555 if (fixP->fx_subsy != (symbolS *) NULL)
5557 /* We can't actually support subtracting a symbol. */
5558 as_bad_where (fixP->fx_file, fixP->fx_line, _("expression too complex"));
5561 if ((int) fixP->fx_r_type >= (int) BFD_RELOC_UNUSED)
5564 const struct powerpc_operand *operand;
5568 opindex = (int) fixP->fx_r_type - (int) BFD_RELOC_UNUSED;
5570 operand = &powerpc_operands[opindex];
5573 /* An instruction like `lwz 9,sym(30)' when `sym' is not a TOC symbol
5574 does not generate a reloc. It uses the offset of `sym' within its
5575 csect. Other usages, such as `.long sym', generate relocs. This
5576 is the documented behaviour of non-TOC symbols. */
5577 if ((operand->flags & PPC_OPERAND_PARENS) != 0
5578 && operand->bits == 16
5579 && operand->shift == 0
5580 && (operand->insert == NULL || ppc_obj64)
5581 && fixP->fx_addsy != NULL
5582 && symbol_get_tc (fixP->fx_addsy)->subseg != 0
5583 && symbol_get_tc (fixP->fx_addsy)->class != XMC_TC
5584 && symbol_get_tc (fixP->fx_addsy)->class != XMC_TC0
5585 && S_GET_SEGMENT (fixP->fx_addsy) != bss_section)
5587 value = fixP->fx_offset;
5592 /* Fetch the instruction, insert the fully resolved operand
5593 value, and stuff the instruction back again. */
5594 where = fixP->fx_frag->fr_literal + fixP->fx_where;
5595 if (target_big_endian)
5596 insn = bfd_getb32 ((unsigned char *) where);
5598 insn = bfd_getl32 ((unsigned char *) where);
5599 insn = ppc_insert_operand (insn, operand, (offsetT) value,
5600 fixP->fx_file, fixP->fx_line);
5601 if (target_big_endian)
5602 bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
5604 bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
5607 /* Nothing else to do here. */
5610 assert (fixP->fx_addsy != NULL);
5612 /* Determine a BFD reloc value based on the operand information.
5613 We are only prepared to turn a few of the operands into
5615 if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
5616 && operand->bits == 26
5617 && operand->shift == 0)
5618 fixP->fx_r_type = BFD_RELOC_PPC_B26;
5619 else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
5620 && operand->bits == 16
5621 && operand->shift == 0)
5623 fixP->fx_r_type = BFD_RELOC_PPC_B16;
5626 if (target_big_endian)
5627 fixP->fx_where += 2;
5630 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
5631 && operand->bits == 26
5632 && operand->shift == 0)
5633 fixP->fx_r_type = BFD_RELOC_PPC_BA26;
5634 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
5635 && operand->bits == 16
5636 && operand->shift == 0)
5638 fixP->fx_r_type = BFD_RELOC_PPC_BA16;
5641 if (target_big_endian)
5642 fixP->fx_where += 2;
5645 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
5646 else if ((operand->flags & PPC_OPERAND_PARENS) != 0
5647 && operand->bits == 16
5648 && operand->shift == 0)
5650 if (ppc_is_toc_sym (fixP->fx_addsy))
5652 fixP->fx_r_type = BFD_RELOC_PPC_TOC16;
5655 && (operand->flags & PPC_OPERAND_DS) != 0)
5656 fixP->fx_r_type = BFD_RELOC_PPC64_TOC16_DS;
5661 fixP->fx_r_type = BFD_RELOC_16;
5664 && (operand->flags & PPC_OPERAND_DS) != 0)
5665 fixP->fx_r_type = BFD_RELOC_PPC64_ADDR16_DS;
5669 if (target_big_endian)
5670 fixP->fx_where += 2;
5672 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
5678 /* Use expr_symbol_where to see if this is an expression
5680 if (expr_symbol_where (fixP->fx_addsy, &sfile, &sline))
5681 as_bad_where (fixP->fx_file, fixP->fx_line,
5682 _("unresolved expression that must be resolved"));
5684 as_bad_where (fixP->fx_file, fixP->fx_line,
5685 _("unsupported relocation against %s"),
5686 S_GET_NAME (fixP->fx_addsy));
5694 ppc_elf_validate_fix (fixP, seg);
5696 switch (fixP->fx_r_type)
5698 case BFD_RELOC_CTOR:
5705 fixP->fx_r_type = BFD_RELOC_32_PCREL;
5709 case BFD_RELOC_32_PCREL:
5710 case BFD_RELOC_PPC_EMB_NADDR32:
5711 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5718 fixP->fx_r_type = BFD_RELOC_64_PCREL;
5721 case BFD_RELOC_64_PCREL:
5722 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5726 case BFD_RELOC_GPREL16:
5727 case BFD_RELOC_16_GOT_PCREL:
5728 case BFD_RELOC_16_GOTOFF:
5729 case BFD_RELOC_LO16_GOTOFF:
5730 case BFD_RELOC_HI16_GOTOFF:
5731 case BFD_RELOC_HI16_S_GOTOFF:
5732 case BFD_RELOC_16_BASEREL:
5733 case BFD_RELOC_LO16_BASEREL:
5734 case BFD_RELOC_HI16_BASEREL:
5735 case BFD_RELOC_HI16_S_BASEREL:
5736 case BFD_RELOC_PPC_EMB_NADDR16:
5737 case BFD_RELOC_PPC_EMB_NADDR16_LO:
5738 case BFD_RELOC_PPC_EMB_NADDR16_HI:
5739 case BFD_RELOC_PPC_EMB_NADDR16_HA:
5740 case BFD_RELOC_PPC_EMB_SDAI16:
5741 case BFD_RELOC_PPC_EMB_SDA2REL:
5742 case BFD_RELOC_PPC_EMB_SDA2I16:
5743 case BFD_RELOC_PPC_EMB_RELSEC16:
5744 case BFD_RELOC_PPC_EMB_RELST_LO:
5745 case BFD_RELOC_PPC_EMB_RELST_HI:
5746 case BFD_RELOC_PPC_EMB_RELST_HA:
5747 case BFD_RELOC_PPC_EMB_RELSDA:
5748 case BFD_RELOC_PPC_TOC16:
5750 case BFD_RELOC_PPC64_TOC16_LO:
5751 case BFD_RELOC_PPC64_TOC16_HI:
5752 case BFD_RELOC_PPC64_TOC16_HA:
5756 if (fixP->fx_addsy != NULL)
5757 as_bad_where (fixP->fx_file, fixP->fx_line,
5758 _("cannot emit PC relative %s relocation against %s"),
5759 bfd_get_reloc_code_name (fixP->fx_r_type),
5760 S_GET_NAME (fixP->fx_addsy));
5762 as_bad_where (fixP->fx_file, fixP->fx_line,
5763 _("cannot emit PC relative %s relocation"),
5764 bfd_get_reloc_code_name (fixP->fx_r_type));
5767 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5773 fixP->fx_r_type = BFD_RELOC_16_PCREL;
5776 case BFD_RELOC_16_PCREL:
5777 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5781 case BFD_RELOC_LO16:
5783 fixP->fx_r_type = BFD_RELOC_LO16_PCREL;
5786 case BFD_RELOC_LO16_PCREL:
5787 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5791 /* This case happens when you write, for example,
5793 where L1 and L2 are defined later. */
5794 case BFD_RELOC_HI16:
5796 fixP->fx_r_type = BFD_RELOC_HI16_PCREL;
5799 case BFD_RELOC_HI16_PCREL:
5800 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5804 case BFD_RELOC_HI16_S:
5806 fixP->fx_r_type = BFD_RELOC_HI16_S_PCREL;
5809 case BFD_RELOC_HI16_S_PCREL:
5810 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5815 case BFD_RELOC_PPC64_HIGHER:
5818 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5819 PPC_HIGHER (value), 2);
5822 case BFD_RELOC_PPC64_HIGHER_S:
5825 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5826 PPC_HIGHERA (value), 2);
5829 case BFD_RELOC_PPC64_HIGHEST:
5832 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5833 PPC_HIGHEST (value), 2);
5836 case BFD_RELOC_PPC64_HIGHEST_S:
5839 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5840 PPC_HIGHESTA (value), 2);
5843 case BFD_RELOC_PPC64_ADDR16_DS:
5844 case BFD_RELOC_PPC64_ADDR16_LO_DS:
5845 case BFD_RELOC_PPC64_GOT16_DS:
5846 case BFD_RELOC_PPC64_GOT16_LO_DS:
5847 case BFD_RELOC_PPC64_PLT16_LO_DS:
5848 case BFD_RELOC_PPC64_SECTOFF_DS:
5849 case BFD_RELOC_PPC64_SECTOFF_LO_DS:
5850 case BFD_RELOC_PPC64_TOC16_DS:
5851 case BFD_RELOC_PPC64_TOC16_LO_DS:
5852 case BFD_RELOC_PPC64_PLTGOT16_DS:
5853 case BFD_RELOC_PPC64_PLTGOT16_LO_DS:
5857 char *where = fixP->fx_frag->fr_literal + fixP->fx_where;
5858 unsigned long val, mask;
5860 if (target_big_endian)
5861 val = bfd_getb32 (where - 2);
5863 val = bfd_getl32 (where);
5865 /* lq insns reserve the four lsbs. */
5866 if ((ppc_cpu & PPC_OPCODE_POWER4) != 0
5867 && (val & (0x3f << 26)) == (56u << 26))
5869 val |= value & mask;
5870 if (target_big_endian)
5871 bfd_putb16 ((bfd_vma) val, where);
5873 bfd_putl16 ((bfd_vma) val, where);
5877 case BFD_RELOC_PPC_B16_BRTAKEN:
5878 case BFD_RELOC_PPC_B16_BRNTAKEN:
5879 case BFD_RELOC_PPC_BA16_BRTAKEN:
5880 case BFD_RELOC_PPC_BA16_BRNTAKEN:
5883 case BFD_RELOC_PPC_TLS:
5886 case BFD_RELOC_PPC_DTPMOD:
5887 case BFD_RELOC_PPC_TPREL16:
5888 case BFD_RELOC_PPC_TPREL16_LO:
5889 case BFD_RELOC_PPC_TPREL16_HI:
5890 case BFD_RELOC_PPC_TPREL16_HA:
5891 case BFD_RELOC_PPC_TPREL:
5892 case BFD_RELOC_PPC_DTPREL16:
5893 case BFD_RELOC_PPC_DTPREL16_LO:
5894 case BFD_RELOC_PPC_DTPREL16_HI:
5895 case BFD_RELOC_PPC_DTPREL16_HA:
5896 case BFD_RELOC_PPC_DTPREL:
5897 case BFD_RELOC_PPC_GOT_TLSGD16:
5898 case BFD_RELOC_PPC_GOT_TLSGD16_LO:
5899 case BFD_RELOC_PPC_GOT_TLSGD16_HI:
5900 case BFD_RELOC_PPC_GOT_TLSGD16_HA:
5901 case BFD_RELOC_PPC_GOT_TLSLD16:
5902 case BFD_RELOC_PPC_GOT_TLSLD16_LO:
5903 case BFD_RELOC_PPC_GOT_TLSLD16_HI:
5904 case BFD_RELOC_PPC_GOT_TLSLD16_HA:
5905 case BFD_RELOC_PPC_GOT_TPREL16:
5906 case BFD_RELOC_PPC_GOT_TPREL16_LO:
5907 case BFD_RELOC_PPC_GOT_TPREL16_HI:
5908 case BFD_RELOC_PPC_GOT_TPREL16_HA:
5909 case BFD_RELOC_PPC_GOT_DTPREL16:
5910 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
5911 case BFD_RELOC_PPC_GOT_DTPREL16_HI:
5912 case BFD_RELOC_PPC_GOT_DTPREL16_HA:
5913 case BFD_RELOC_PPC64_TPREL16_DS:
5914 case BFD_RELOC_PPC64_TPREL16_LO_DS:
5915 case BFD_RELOC_PPC64_TPREL16_HIGHER:
5916 case BFD_RELOC_PPC64_TPREL16_HIGHERA:
5917 case BFD_RELOC_PPC64_TPREL16_HIGHEST:
5918 case BFD_RELOC_PPC64_TPREL16_HIGHESTA:
5919 case BFD_RELOC_PPC64_DTPREL16_DS:
5920 case BFD_RELOC_PPC64_DTPREL16_LO_DS:
5921 case BFD_RELOC_PPC64_DTPREL16_HIGHER:
5922 case BFD_RELOC_PPC64_DTPREL16_HIGHERA:
5923 case BFD_RELOC_PPC64_DTPREL16_HIGHEST:
5924 case BFD_RELOC_PPC64_DTPREL16_HIGHESTA:
5925 S_SET_THREAD_LOCAL (fixP->fx_addsy);
5928 /* Because SDA21 modifies the register field, the size is set to 4
5929 bytes, rather than 2, so offset it here appropriately. */
5930 case BFD_RELOC_PPC_EMB_SDA21:
5934 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where
5935 + ((target_big_endian) ? 2 : 0),
5942 /* This can occur if there is a bug in the input assembler, eg:
5943 ".byte <undefined_symbol> - ." */
5945 as_bad (_("Unable to handle reference to symbol %s"),
5946 S_GET_NAME (fixP->fx_addsy));
5948 as_bad (_("Unable to resolve expression"));
5952 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5956 case BFD_RELOC_24_PLT_PCREL:
5957 case BFD_RELOC_PPC_LOCAL24PC:
5958 if (!fixP->fx_pcrel && !fixP->fx_done)
5966 /* Fetch the instruction, insert the fully resolved operand
5967 value, and stuff the instruction back again. */
5968 where = fixP->fx_frag->fr_literal + fixP->fx_where;
5969 if (target_big_endian)
5970 insn = bfd_getb32 ((unsigned char *) where);
5972 insn = bfd_getl32 ((unsigned char *) where);
5973 if ((value & 3) != 0)
5974 as_bad_where (fixP->fx_file, fixP->fx_line,
5975 _("must branch to an address a multiple of 4"));
5976 if ((offsetT) value < -0x40000000
5977 || (offsetT) value >= 0x40000000)
5978 as_bad_where (fixP->fx_file, fixP->fx_line,
5979 _("@local or @plt branch destination is too far away, %ld bytes"),
5981 insn = insn | (value & 0x03fffffc);
5982 if (target_big_endian)
5983 bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
5985 bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
5989 case BFD_RELOC_VTABLE_INHERIT:
5992 && !S_IS_DEFINED (fixP->fx_addsy)
5993 && !S_IS_WEAK (fixP->fx_addsy))
5994 S_SET_WEAK (fixP->fx_addsy);
5997 case BFD_RELOC_VTABLE_ENTRY:
6002 /* Generated by reference to `sym@tocbase'. The sym is
6003 ignored by the linker. */
6004 case BFD_RELOC_PPC64_TOC:
6010 _("Gas failure, reloc value %d\n"), fixP->fx_r_type);
6017 fixP->fx_addnumber = value;
6019 /* PowerPC uses RELA relocs, ie. the reloc addend is stored separately
6020 from the section contents. If we are going to be emitting a reloc
6021 then the section contents are immaterial, so don't warn if they
6022 happen to overflow. Leave such warnings to ld. */
6024 fixP->fx_no_overflow = 1;
6026 if (fixP->fx_r_type != BFD_RELOC_PPC_TOC16)
6027 fixP->fx_addnumber = 0;
6031 fixP->fx_addnumber = 0;
6033 /* We want to use the offset within the data segment of the
6034 symbol, not the actual VMA of the symbol. */
6035 fixP->fx_addnumber =
6036 - bfd_get_section_vma (stdoutput, S_GET_SEGMENT (fixP->fx_addsy));
6042 /* Generate a reloc for a fixup. */
6045 tc_gen_reloc (seg, fixp)
6046 asection *seg ATTRIBUTE_UNUSED;
6051 reloc = (arelent *) xmalloc (sizeof (arelent));
6053 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
6054 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
6055 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
6056 reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
6057 if (reloc->howto == (reloc_howto_type *) NULL)
6059 as_bad_where (fixp->fx_file, fixp->fx_line,
6060 _("reloc %d not supported by object file format"),
6061 (int) fixp->fx_r_type);
6064 reloc->addend = fixp->fx_addnumber;
6070 ppc_cfi_frame_initial_instructions ()
6072 cfi_add_CFA_def_cfa (1, 0);
6076 tc_ppc_regname_to_dw2regnum (const char *regname)
6078 unsigned int regnum = -1;
6082 static struct { char *name; int dw2regnum; } regnames[] =
6084 { "sp", 1 }, { "r.sp", 1 }, { "rtoc", 2 }, { "r.toc", 2 },
6085 { "mq", 64 }, { "lr", 65 }, { "ctr", 66 }, { "ap", 67 },
6086 { "cr", 70 }, { "xer", 76 }, { "vrsave", 109 }, { "vscr", 110 },
6087 { "spe_acc", 111 }, { "spefscr", 112 }
6090 for (i = 0; i < ARRAY_SIZE (regnames); ++i)
6091 if (strcmp (regnames[i].name, regname) == 0)
6092 return regnames[i].dw2regnum;
6094 if (regname[0] == 'r' || regname[0] == 'f' || regname[0] == 'v')
6096 p = regname + 1 + (regname[1] == '.');
6097 regnum = strtoul (p, &q, 10);
6098 if (p == q || *q || regnum >= 32)
6100 if (regname[0] == 'f')
6102 else if (regname[0] == 'v')
6105 else if (regname[0] == 'c' && regname[1] == 'r')
6107 p = regname + 2 + (regname[2] == '.');
6108 if (p[0] < '0' || p[0] > '7' || p[1])
6110 regnum = p[0] - '0' + 68;