1 /* tc-ppc.c -- Assemble for the PowerPC or POWER (RS/6000)
2 Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
3 2004, 2005, 2006, 2007, 2008, 2009, 2010 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 3, 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
24 #include "safe-ctype.h"
26 #include "dw2gencfi.h"
27 #include "opcode/ppc.h"
31 #include "dwarf2dbg.h"
38 /* This is the assembler for the PowerPC or POWER (RS/6000) chips. */
40 /* Tell the main code what the endianness is. */
41 extern int target_big_endian
;
43 /* Whether or not, we've set target_big_endian. */
44 static int set_target_endian
= 0;
46 /* Whether to use user friendly register names. */
47 #ifndef TARGET_REG_NAMES_P
49 #define TARGET_REG_NAMES_P TRUE
51 #define TARGET_REG_NAMES_P FALSE
55 /* Macros for calculating LO, HI, HA, HIGHER, HIGHERA, HIGHEST,
58 /* #lo(value) denotes the least significant 16 bits of the indicated. */
59 #define PPC_LO(v) ((v) & 0xffff)
61 /* #hi(value) denotes bits 16 through 31 of the indicated value. */
62 #define PPC_HI(v) (((v) >> 16) & 0xffff)
64 /* #ha(value) denotes the high adjusted value: bits 16 through 31 of
65 the indicated value, compensating for #lo() being treated as a
67 #define PPC_HA(v) PPC_HI ((v) + 0x8000)
69 /* #higher(value) denotes bits 32 through 47 of the indicated value. */
70 #define PPC_HIGHER(v) (((v) >> 16 >> 16) & 0xffff)
72 /* #highera(value) denotes bits 32 through 47 of the indicated value,
73 compensating for #lo() being treated as a signed number. */
74 #define PPC_HIGHERA(v) PPC_HIGHER ((v) + 0x8000)
76 /* #highest(value) denotes bits 48 through 63 of the indicated value. */
77 #define PPC_HIGHEST(v) (((v) >> 24 >> 24) & 0xffff)
79 /* #highesta(value) denotes bits 48 through 63 of the indicated value,
80 compensating for #lo being treated as a signed number. */
81 #define PPC_HIGHESTA(v) PPC_HIGHEST ((v) + 0x8000)
83 #define SEX16(val) ((((val) & 0xffff) ^ 0x8000) - 0x8000)
85 static bfd_boolean reg_names_p
= TARGET_REG_NAMES_P
;
87 static void ppc_macro (char *, const struct powerpc_macro
*);
88 static void ppc_byte (int);
90 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
91 static void ppc_tc (int);
92 static void ppc_machine (int);
96 static void ppc_comm (int);
97 static void ppc_bb (int);
98 static void ppc_bc (int);
99 static void ppc_bf (int);
100 static void ppc_biei (int);
101 static void ppc_bs (int);
102 static void ppc_eb (int);
103 static void ppc_ec (int);
104 static void ppc_ef (int);
105 static void ppc_es (int);
106 static void ppc_csect (int);
107 static void ppc_change_csect (symbolS
*, offsetT
);
108 static void ppc_function (int);
109 static void ppc_extern (int);
110 static void ppc_lglobl (int);
111 static void ppc_ref (int);
112 static void ppc_section (int);
113 static void ppc_named_section (int);
114 static void ppc_stabx (int);
115 static void ppc_rename (int);
116 static void ppc_toc (int);
117 static void ppc_xcoff_cons (int);
118 static void ppc_vbyte (int);
122 static void ppc_elf_cons (int);
123 static void ppc_elf_rdata (int);
124 static void ppc_elf_lcomm (int);
128 static void ppc_previous (int);
129 static void ppc_pdata (int);
130 static void ppc_ydata (int);
131 static void ppc_reldata (int);
132 static void ppc_rdata (int);
133 static void ppc_ualong (int);
134 static void ppc_znop (int);
135 static void ppc_pe_comm (int);
136 static void ppc_pe_section (int);
137 static void ppc_pe_function (int);
138 static void ppc_pe_tocd (int);
141 /* Generic assembler global variables which must be defined by all
145 /* This string holds the chars that always start a comment. If the
146 pre-processor is disabled, these aren't very useful. The macro
147 tc_comment_chars points to this. We use this, rather than the
148 usual comment_chars, so that we can switch for Solaris conventions. */
149 static const char ppc_solaris_comment_chars
[] = "#!";
150 static const char ppc_eabi_comment_chars
[] = "#";
152 #ifdef TARGET_SOLARIS_COMMENT
153 const char *ppc_comment_chars
= ppc_solaris_comment_chars
;
155 const char *ppc_comment_chars
= ppc_eabi_comment_chars
;
158 const char comment_chars
[] = "#";
161 /* Characters which start a comment at the beginning of a line. */
162 const char line_comment_chars
[] = "#";
164 /* Characters which may be used to separate multiple commands on a
166 const char line_separator_chars
[] = ";";
168 /* Characters which are used to indicate an exponent in a floating
170 const char EXP_CHARS
[] = "eE";
172 /* Characters which mean that a number is a floating point constant,
174 const char FLT_CHARS
[] = "dD";
176 /* Anything that can start an operand needs to be mentioned here,
177 to stop the input scrubber eating whitespace. */
178 const char ppc_symbol_chars
[] = "%[";
180 /* The dwarf2 data alignment, adjusted for 32 or 64 bit. */
181 int ppc_cie_data_alignment
;
183 /* The type of processor we are assembling for. This is one or more
184 of the PPC_OPCODE flags defined in opcode/ppc.h. */
185 ppc_cpu_t ppc_cpu
= 0;
187 /* The target specific pseudo-ops which we support. */
189 const pseudo_typeS md_pseudo_table
[] =
191 /* Pseudo-ops which must be overridden. */
192 { "byte", ppc_byte
, 0 },
195 /* Pseudo-ops specific to the RS/6000 XCOFF format. Some of these
196 legitimately belong in the obj-*.c file. However, XCOFF is based
197 on COFF, and is only implemented for the RS/6000. We just use
198 obj-coff.c, and add what we need here. */
199 { "comm", ppc_comm
, 0 },
200 { "lcomm", ppc_comm
, 1 },
204 { "bi", ppc_biei
, 0 },
206 { "csect", ppc_csect
, 0 },
207 { "data", ppc_section
, 'd' },
211 { "ei", ppc_biei
, 1 },
213 { "extern", ppc_extern
, 0 },
214 { "function", ppc_function
, 0 },
215 { "lglobl", ppc_lglobl
, 0 },
216 { "ref", ppc_ref
, 0 },
217 { "rename", ppc_rename
, 0 },
218 { "section", ppc_named_section
, 0 },
219 { "stabx", ppc_stabx
, 0 },
220 { "text", ppc_section
, 't' },
221 { "toc", ppc_toc
, 0 },
222 { "long", ppc_xcoff_cons
, 2 },
223 { "llong", ppc_xcoff_cons
, 3 },
224 { "word", ppc_xcoff_cons
, 1 },
225 { "short", ppc_xcoff_cons
, 1 },
226 { "vbyte", ppc_vbyte
, 0 },
230 { "llong", ppc_elf_cons
, 8 },
231 { "quad", ppc_elf_cons
, 8 },
232 { "long", ppc_elf_cons
, 4 },
233 { "word", ppc_elf_cons
, 2 },
234 { "short", ppc_elf_cons
, 2 },
235 { "rdata", ppc_elf_rdata
, 0 },
236 { "rodata", ppc_elf_rdata
, 0 },
237 { "lcomm", ppc_elf_lcomm
, 0 },
241 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
242 { "previous", ppc_previous
, 0 },
243 { "pdata", ppc_pdata
, 0 },
244 { "ydata", ppc_ydata
, 0 },
245 { "reldata", ppc_reldata
, 0 },
246 { "rdata", ppc_rdata
, 0 },
247 { "ualong", ppc_ualong
, 0 },
248 { "znop", ppc_znop
, 0 },
249 { "comm", ppc_pe_comm
, 0 },
250 { "lcomm", ppc_pe_comm
, 1 },
251 { "section", ppc_pe_section
, 0 },
252 { "function", ppc_pe_function
,0 },
253 { "tocd", ppc_pe_tocd
, 0 },
256 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
258 { "machine", ppc_machine
, 0 },
265 /* Predefined register names if -mregnames (or default for Windows NT).
266 In general, there are lots of them, in an attempt to be compatible
267 with a number of other Windows NT assemblers. */
269 /* Structure to hold information about predefined registers. */
276 /* List of registers that are pre-defined:
278 Each general register has predefined names of the form:
279 1. r<reg_num> which has the value <reg_num>.
280 2. r.<reg_num> which has the value <reg_num>.
282 Each floating point register has predefined names of the form:
283 1. f<reg_num> which has the value <reg_num>.
284 2. f.<reg_num> which has the value <reg_num>.
286 Each vector unit register has predefined names of the form:
287 1. v<reg_num> which has the value <reg_num>.
288 2. v.<reg_num> which has the value <reg_num>.
290 Each condition register has predefined names of the form:
291 1. cr<reg_num> which has the value <reg_num>.
292 2. cr.<reg_num> which has the value <reg_num>.
294 There are individual registers as well:
295 sp or r.sp has the value 1
296 rtoc or r.toc has the value 2
297 fpscr has the value 0
303 dsisr has the value 18
305 sdr1 has the value 25
306 srr0 has the value 26
307 srr1 has the value 27
309 The table is sorted. Suitable for searching by a binary search. */
311 static const struct pd_reg pre_defined_registers
[] =
313 { "cr.0", 0 }, /* Condition Registers */
333 { "dar", 19 }, /* Data Access Register */
334 { "dec", 22 }, /* Decrementer */
335 { "dsisr", 18 }, /* Data Storage Interrupt Status Register */
337 { "f.0", 0 }, /* Floating point registers */
364 { "f.32", 32 }, /* Extended floating point scalar registers (ISA 2.06). */
430 { "f32", 32 }, /* Extended floating point scalar registers (ISA 2.06). */
471 /* Quantization registers used with pair single instructions. */
489 { "lr", 8 }, /* Link Register */
493 { "r.0", 0 }, /* General Purpose Registers */
526 { "r.sp", 1 }, /* Stack Pointer */
528 { "r.toc", 2 }, /* Pointer to the table of contents */
530 { "r0", 0 }, /* More general purpose registers */
563 { "rtoc", 2 }, /* Table of contents */
565 { "sdr1", 25 }, /* Storage Description Register 1 */
569 { "srr0", 26 }, /* Machine Status Save/Restore Register 0 */
570 { "srr1", 27 }, /* Machine Status Save/Restore Register 1 */
572 { "v.0", 0 }, /* Vector (Altivec/VMX) registers */
638 { "vs.0", 0 }, /* Vector Scalar (VSX) registers (ISA 2.06). */
772 #define REG_NAME_CNT (sizeof (pre_defined_registers) / sizeof (struct pd_reg))
774 /* Given NAME, find the register number associated with that name, return
775 the integer value associated with the given name or -1 on failure. */
778 reg_name_search (const struct pd_reg
*regs
, int regcount
, const char *name
)
780 int middle
, low
, high
;
788 middle
= (low
+ high
) / 2;
789 cmp
= strcasecmp (name
, regs
[middle
].name
);
795 return regs
[middle
].value
;
803 * Summary of register_name.
805 * in: Input_line_pointer points to 1st char of operand.
807 * out: A expressionS.
808 * The operand may have been a register: in this case, X_op == O_register,
809 * X_add_number is set to the register number, and truth is returned.
810 * Input_line_pointer->(next non-blank) char after operand, or is in its
815 register_name (expressionS
*expressionP
)
822 /* Find the spelling of the operand. */
823 start
= name
= input_line_pointer
;
824 if (name
[0] == '%' && ISALPHA (name
[1]))
825 name
= ++input_line_pointer
;
827 else if (!reg_names_p
|| !ISALPHA (name
[0]))
830 c
= get_symbol_end ();
831 reg_number
= reg_name_search (pre_defined_registers
, REG_NAME_CNT
, name
);
833 /* Put back the delimiting char. */
834 *input_line_pointer
= c
;
836 /* Look to see if it's in the register table. */
839 expressionP
->X_op
= O_register
;
840 expressionP
->X_add_number
= reg_number
;
842 /* Make the rest nice. */
843 expressionP
->X_add_symbol
= NULL
;
844 expressionP
->X_op_symbol
= NULL
;
848 /* Reset the line as if we had not done anything. */
849 input_line_pointer
= start
;
853 /* This function is called for each symbol seen in an expression. It
854 handles the special parsing which PowerPC assemblers are supposed
855 to use for condition codes. */
857 /* Whether to do the special parsing. */
858 static bfd_boolean cr_operand
;
860 /* Names to recognize in a condition code. This table is sorted. */
861 static const struct pd_reg cr_names
[] =
878 /* Parsing function. This returns non-zero if it recognized an
882 ppc_parse_name (const char *name
, expressionS
*exp
)
891 val
= reg_name_search (cr_names
, sizeof cr_names
/ sizeof cr_names
[0],
896 exp
->X_op
= O_constant
;
897 exp
->X_add_number
= val
;
902 /* Local variables. */
904 /* Whether to target xcoff64/elf64. */
905 static unsigned int ppc_obj64
= BFD_DEFAULT_TARGET_SIZE
== 64;
907 /* Opcode hash table. */
908 static struct hash_control
*ppc_hash
;
910 /* Macro hash table. */
911 static struct hash_control
*ppc_macro_hash
;
914 /* What type of shared library support to use. */
915 static enum { SHLIB_NONE
, SHLIB_PIC
, SHLIB_MRELOCATABLE
} shlib
= SHLIB_NONE
;
917 /* Flags to set in the elf header. */
918 static flagword ppc_flags
= 0;
920 /* Whether this is Solaris or not. */
921 #ifdef TARGET_SOLARIS_COMMENT
922 #define SOLARIS_P TRUE
924 #define SOLARIS_P FALSE
927 static bfd_boolean msolaris
= SOLARIS_P
;
932 /* The RS/6000 assembler uses the .csect pseudo-op to generate code
933 using a bunch of different sections. These assembler sections,
934 however, are all encompassed within the .text or .data sections of
935 the final output file. We handle this by using different
936 subsegments within these main segments. */
938 /* Next subsegment to allocate within the .text segment. */
939 static subsegT ppc_text_subsegment
= 2;
941 /* Linked list of csects in the text section. */
942 static symbolS
*ppc_text_csects
;
944 /* Next subsegment to allocate within the .data segment. */
945 static subsegT ppc_data_subsegment
= 2;
947 /* Linked list of csects in the data section. */
948 static symbolS
*ppc_data_csects
;
950 /* The current csect. */
951 static symbolS
*ppc_current_csect
;
953 /* The RS/6000 assembler uses a TOC which holds addresses of functions
954 and variables. Symbols are put in the TOC with the .tc pseudo-op.
955 A special relocation is used when accessing TOC entries. We handle
956 the TOC as a subsegment within the .data segment. We set it up if
957 we see a .toc pseudo-op, and save the csect symbol here. */
958 static symbolS
*ppc_toc_csect
;
960 /* The first frag in the TOC subsegment. */
961 static fragS
*ppc_toc_frag
;
963 /* The first frag in the first subsegment after the TOC in the .data
964 segment. NULL if there are no subsegments after the TOC. */
965 static fragS
*ppc_after_toc_frag
;
967 /* The current static block. */
968 static symbolS
*ppc_current_block
;
970 /* The COFF debugging section; set by md_begin. This is not the
971 .debug section, but is instead the secret BFD section which will
972 cause BFD to set the section number of a symbol to N_DEBUG. */
973 static asection
*ppc_coff_debug_section
;
975 #endif /* OBJ_XCOFF */
979 /* Various sections that we need for PE coff support. */
980 static segT ydata_section
;
981 static segT pdata_section
;
982 static segT reldata_section
;
983 static segT rdata_section
;
984 static segT tocdata_section
;
986 /* The current section and the previous section. See ppc_previous. */
987 static segT ppc_previous_section
;
988 static segT ppc_current_section
;
993 symbolS
*GOT_symbol
; /* Pre-defined "_GLOBAL_OFFSET_TABLE" */
994 #define PPC_APUINFO_ISEL 0x40
995 #define PPC_APUINFO_PMR 0x41
996 #define PPC_APUINFO_RFMCI 0x42
997 #define PPC_APUINFO_CACHELCK 0x43
998 #define PPC_APUINFO_SPE 0x100
999 #define PPC_APUINFO_EFS 0x101
1000 #define PPC_APUINFO_BRLOCK 0x102
1003 * We keep a list of APUinfo
1005 unsigned long *ppc_apuinfo_list
;
1006 unsigned int ppc_apuinfo_num
;
1007 unsigned int ppc_apuinfo_num_alloc
;
1008 #endif /* OBJ_ELF */
1011 const char *const md_shortopts
= "b:l:usm:K:VQ:";
1013 const char *const md_shortopts
= "um:";
1015 const struct option md_longopts
[] = {
1016 {NULL
, no_argument
, NULL
, 0}
1018 const size_t md_longopts_size
= sizeof (md_longopts
);
1021 md_parse_option (int c
, char *arg
)
1028 /* -u means that any undefined symbols should be treated as
1029 external, which is the default for gas anyhow. */
1034 /* Solaris as takes -le (presumably for little endian). For completeness
1035 sake, recognize -be also. */
1036 if (strcmp (arg
, "e") == 0)
1038 target_big_endian
= 0;
1039 set_target_endian
= 1;
1047 if (strcmp (arg
, "e") == 0)
1049 target_big_endian
= 1;
1050 set_target_endian
= 1;
1058 /* Recognize -K PIC. */
1059 if (strcmp (arg
, "PIC") == 0 || strcmp (arg
, "pic") == 0)
1062 ppc_flags
|= EF_PPC_RELOCATABLE_LIB
;
1070 /* a64 and a32 determine whether to use XCOFF64 or XCOFF32. */
1072 if (strcmp (arg
, "64") == 0)
1077 as_fatal (_("%s unsupported"), "-a64");
1080 else if (strcmp (arg
, "32") == 0)
1087 if ((new_cpu
= ppc_parse_cpu (ppc_cpu
, arg
)) != 0)
1090 else if (strcmp (arg
, "regnames") == 0)
1093 else if (strcmp (arg
, "no-regnames") == 0)
1094 reg_names_p
= FALSE
;
1097 /* -mrelocatable/-mrelocatable-lib -- warn about initializations
1098 that require relocation. */
1099 else if (strcmp (arg
, "relocatable") == 0)
1101 shlib
= SHLIB_MRELOCATABLE
;
1102 ppc_flags
|= EF_PPC_RELOCATABLE
;
1105 else if (strcmp (arg
, "relocatable-lib") == 0)
1107 shlib
= SHLIB_MRELOCATABLE
;
1108 ppc_flags
|= EF_PPC_RELOCATABLE_LIB
;
1111 /* -memb, set embedded bit. */
1112 else if (strcmp (arg
, "emb") == 0)
1113 ppc_flags
|= EF_PPC_EMB
;
1115 /* -mlittle/-mbig set the endianess. */
1116 else if (strcmp (arg
, "little") == 0
1117 || strcmp (arg
, "little-endian") == 0)
1119 target_big_endian
= 0;
1120 set_target_endian
= 1;
1123 else if (strcmp (arg
, "big") == 0 || strcmp (arg
, "big-endian") == 0)
1125 target_big_endian
= 1;
1126 set_target_endian
= 1;
1129 else if (strcmp (arg
, "solaris") == 0)
1132 ppc_comment_chars
= ppc_solaris_comment_chars
;
1135 else if (strcmp (arg
, "no-solaris") == 0)
1138 ppc_comment_chars
= ppc_eabi_comment_chars
;
1143 as_bad (_("invalid switch -m%s"), arg
);
1149 /* -V: SVR4 argument to print version ID. */
1151 print_version_id ();
1154 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
1155 should be emitted or not. FIXME: Not implemented. */
1159 /* Solaris takes -s to specify that .stabs go in a .stabs section,
1160 rather than .stabs.excl, which is ignored by the linker.
1161 FIXME: Not implemented. */
1177 md_show_usage (FILE *stream
)
1179 fprintf (stream
, _("\
1181 -a32 generate ELF32/XCOFF32\n\
1182 -a64 generate ELF64/XCOFF64\n\
1184 -mpwrx, -mpwr2 generate code for POWER/2 (RIOS2)\n\
1185 -mpwr generate code for POWER (RIOS1)\n\
1186 -m601 generate code for PowerPC 601\n\
1187 -mppc, -mppc32, -m603, -m604\n\
1188 generate code for PowerPC 603/604\n\
1189 -m403 generate code for PowerPC 403\n\
1190 -m405 generate code for PowerPC 405\n\
1191 -m440 generate code for PowerPC 440\n\
1192 -m464 generate code for PowerPC 464\n\
1193 -m476 generate code for PowerPC 476\n\
1194 -m7400, -m7410, -m7450, -m7455\n\
1195 generate code for PowerPC 7400/7410/7450/7455\n\
1196 -m750cl generate code for PowerPC 750cl\n"));
1197 fprintf (stream
, _("\
1198 -mppc64, -m620 generate code for PowerPC 620/625/630\n\
1199 -mppc64bridge generate code for PowerPC 64, including bridge insns\n\
1200 -mbooke generate code for 32-bit PowerPC BookE\n\
1201 -ma2 generate code for A2 architecture\n\
1202 -mpower4, -mpwr4 generate code for Power4 architecture\n\
1203 -mpower5, -mpwr5, -mpwr5x\n\
1204 generate code for Power5 architecture\n\
1205 -mpower6, -mpwr6 generate code for Power6 architecture\n\
1206 -mpower7, -mpwr7 generate code for Power7 architecture\n\
1207 -mcell generate code for Cell Broadband Engine architecture\n\
1208 -mcom generate code Power/PowerPC common instructions\n\
1209 -many generate code for any architecture (PWR/PWRX/PPC)\n"));
1210 fprintf (stream
, _("\
1211 -maltivec generate code for AltiVec\n\
1212 -mvsx generate code for Vector-Scalar (VSX) instructions\n\
1213 -me300 generate code for PowerPC e300 family\n\
1214 -me500, -me500x2 generate code for Motorola e500 core complex\n\
1215 -me500mc, generate code for Freescale e500mc core complex\n\
1216 -me500mc64, generate code for Freescale e500mc64 core complex\n\
1217 -mspe generate code for Motorola SPE instructions\n\
1218 -mtitan generate code for AppliedMicro Titan core complex\n\
1219 -mregnames Allow symbolic names for registers\n\
1220 -mno-regnames Do not allow symbolic names for registers\n"));
1222 fprintf (stream
, _("\
1223 -mrelocatable support for GCC's -mrelocatble option\n\
1224 -mrelocatable-lib support for GCC's -mrelocatble-lib option\n\
1225 -memb set PPC_EMB bit in ELF flags\n\
1226 -mlittle, -mlittle-endian, -l, -le\n\
1227 generate code for a little endian machine\n\
1228 -mbig, -mbig-endian, -b, -be\n\
1229 generate code for a big endian machine\n\
1230 -msolaris generate code for Solaris\n\
1231 -mno-solaris do not generate code for Solaris\n\
1232 -V print assembler version number\n\
1233 -Qy, -Qn ignored\n"));
1237 /* Set ppc_cpu if it is not already set. */
1242 const char *default_os
= TARGET_OS
;
1243 const char *default_cpu
= TARGET_CPU
;
1245 if ((ppc_cpu
& ~PPC_OPCODE_ANY
) == 0)
1248 ppc_cpu
|= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
| PPC_OPCODE_64
;
1249 else if (strncmp (default_os
, "aix", 3) == 0
1250 && default_os
[3] >= '4' && default_os
[3] <= '9')
1251 ppc_cpu
|= PPC_OPCODE_COMMON
| PPC_OPCODE_32
;
1252 else if (strncmp (default_os
, "aix3", 4) == 0)
1253 ppc_cpu
|= PPC_OPCODE_POWER
| PPC_OPCODE_32
;
1254 else if (strcmp (default_cpu
, "rs6000") == 0)
1255 ppc_cpu
|= PPC_OPCODE_POWER
| PPC_OPCODE_32
;
1256 else if (strncmp (default_cpu
, "powerpc", 7) == 0)
1257 ppc_cpu
|= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
| PPC_OPCODE_32
;
1259 as_fatal (_("Unknown default cpu = %s, os = %s"),
1260 default_cpu
, default_os
);
1264 /* Figure out the BFD architecture to use. This function and ppc_mach
1265 are called well before md_begin, when the output file is opened. */
1267 enum bfd_architecture
1270 const char *default_cpu
= TARGET_CPU
;
1273 if ((ppc_cpu
& PPC_OPCODE_PPC
) != 0)
1274 return bfd_arch_powerpc
;
1275 else if ((ppc_cpu
& PPC_OPCODE_POWER
) != 0)
1276 return bfd_arch_rs6000
;
1277 else if ((ppc_cpu
& (PPC_OPCODE_COMMON
| PPC_OPCODE_ANY
)) != 0)
1279 if (strcmp (default_cpu
, "rs6000") == 0)
1280 return bfd_arch_rs6000
;
1281 else if (strncmp (default_cpu
, "powerpc", 7) == 0)
1282 return bfd_arch_powerpc
;
1285 as_fatal (_("Neither Power nor PowerPC opcodes were selected."));
1286 return bfd_arch_unknown
;
1293 return bfd_mach_ppc64
;
1294 else if (ppc_arch () == bfd_arch_rs6000
)
1295 return bfd_mach_rs6k
;
1296 else if (ppc_cpu
& PPC_OPCODE_TITAN
)
1297 return bfd_mach_ppc_titan
;
1299 return bfd_mach_ppc
;
1303 ppc_target_format (void)
1307 return target_big_endian
? "pe-powerpc" : "pe-powerpcle";
1309 return "xcoff-powermac";
1312 return (ppc_obj64
? "aix5coff64-rs6000" : "aixcoff-rs6000");
1314 return (ppc_obj64
? "aixcoff64-rs6000" : "aixcoff-rs6000");
1320 return "elf32-powerpc-vxworks";
1322 return (target_big_endian
1323 ? (ppc_obj64
? "elf64-powerpc" : "elf32-powerpc")
1324 : (ppc_obj64
? "elf64-powerpcle" : "elf32-powerpcle"));
1329 /* Insert opcodes and macros into hash tables. Called at startup and
1333 ppc_setup_opcodes (void)
1335 const struct powerpc_opcode
*op
;
1336 const struct powerpc_opcode
*op_end
;
1337 const struct powerpc_macro
*macro
;
1338 const struct powerpc_macro
*macro_end
;
1339 bfd_boolean bad_insn
= FALSE
;
1341 if (ppc_hash
!= NULL
)
1342 hash_die (ppc_hash
);
1343 if (ppc_macro_hash
!= NULL
)
1344 hash_die (ppc_macro_hash
);
1346 /* Insert the opcodes into a hash table. */
1347 ppc_hash
= hash_new ();
1349 if (ENABLE_CHECKING
)
1353 /* Check operand masks. Code here and in the disassembler assumes
1354 all the 1's in the mask are contiguous. */
1355 for (i
= 0; i
< num_powerpc_operands
; ++i
)
1357 unsigned long mask
= powerpc_operands
[i
].bitm
;
1358 unsigned long right_bit
;
1361 right_bit
= mask
& -mask
;
1363 right_bit
= mask
& -mask
;
1364 if (mask
!= right_bit
)
1366 as_bad (_("powerpc_operands[%d].bitm invalid"), i
);
1369 for (j
= i
+ 1; j
< num_powerpc_operands
; ++j
)
1370 if (memcmp (&powerpc_operands
[i
], &powerpc_operands
[j
],
1371 sizeof (powerpc_operands
[0])) == 0)
1373 as_bad (_("powerpc_operands[%d] duplicates powerpc_operands[%d]"),
1380 op_end
= powerpc_opcodes
+ powerpc_num_opcodes
;
1381 for (op
= powerpc_opcodes
; op
< op_end
; op
++)
1383 if (ENABLE_CHECKING
)
1385 const unsigned char *o
;
1386 unsigned long omask
= op
->mask
;
1388 if (op
!= powerpc_opcodes
)
1390 /* The major opcodes had better be sorted. Code in the
1391 disassembler assumes the insns are sorted according to
1393 if (PPC_OP (op
[0].opcode
) < PPC_OP (op
[-1].opcode
))
1395 as_bad (_("major opcode is not sorted for %s"),
1400 /* Warn if the table isn't more strictly ordered.
1401 Unfortunately it doesn't seem possible to order the
1402 table on much more than the major opcode, which makes
1403 it difficult to implement a binary search in the
1404 disassembler. The problem is that we have multiple
1405 ways to disassemble instructions, and we usually want
1406 to choose a more specific form (with more bits set in
1407 the opcode) than a more general form. eg. all of the
1408 following are equivalent:
1409 bne label # opcode = 0x40820000, mask = 0xff830003
1410 bf 2,label # opcode = 0x40800000, mask = 0xff800003
1411 bc 4,2,label # opcode = 0x40000000, mask = 0xfc000003
1413 There are also cases where the table needs to be out
1414 of order to disassemble the correct instruction for
1415 processor variants. */
1418 unsigned long t1
= op
[0].opcode
;
1419 unsigned long t2
= op
[-1].opcode
;
1421 if (((t1
^ t2
) & 0xfc0007ff) == 0
1422 && (t1
& 0xfc0006df) == 0x7c000286)
1424 /* spr field is split. */
1425 t1
= ((t1
& ~0x1ff800)
1426 | ((t1
& 0xf800) << 5) | ((t1
& 0x1f0000) >> 5));
1427 t2
= ((t2
& ~0x1ff800)
1428 | ((t2
& 0xf800) << 5) | ((t2
& 0x1f0000) >> 5));
1431 as_warn (_("%s (%08lx %08lx) after %s (%08lx %08lx)"),
1432 op
[0].name
, op
[0].opcode
, op
[0].mask
,
1433 op
[-1].name
, op
[-1].opcode
, op
[-1].mask
);
1437 /* The mask had better not trim off opcode bits. */
1438 if ((op
->opcode
& omask
) != op
->opcode
)
1440 as_bad (_("mask trims opcode bits for %s"),
1445 /* The operands must not overlap the opcode or each other. */
1446 for (o
= op
->operands
; *o
; ++o
)
1447 if (*o
>= num_powerpc_operands
)
1449 as_bad (_("operand index error for %s"),
1455 const struct powerpc_operand
*operand
= &powerpc_operands
[*o
];
1456 if (operand
->shift
>= 0)
1458 unsigned long mask
= operand
->bitm
<< operand
->shift
;
1461 as_bad (_("operand %d overlap in %s"),
1462 (int) (o
- op
->operands
), op
->name
);
1470 if ((op
->flags
& ppc_cpu
& ~(PPC_OPCODE_32
| PPC_OPCODE_64
)) != 0
1471 && ((op
->flags
& (PPC_OPCODE_32
| PPC_OPCODE_64
)) == 0
1472 || ((op
->flags
& (PPC_OPCODE_32
| PPC_OPCODE_64
))
1473 == (ppc_cpu
& (PPC_OPCODE_32
| PPC_OPCODE_64
)))
1474 || (ppc_cpu
& PPC_OPCODE_64_BRIDGE
) != 0)
1475 && !(ppc_cpu
& op
->deprecated
))
1479 retval
= hash_insert (ppc_hash
, op
->name
, (void *) op
);
1482 /* Ignore Power duplicates for -m601. */
1483 if ((ppc_cpu
& PPC_OPCODE_601
) != 0
1484 && (op
->flags
& PPC_OPCODE_POWER
) != 0)
1487 as_bad (_("duplicate instruction %s"),
1494 if ((ppc_cpu
& PPC_OPCODE_ANY
) != 0)
1495 for (op
= powerpc_opcodes
; op
< op_end
; op
++)
1496 hash_insert (ppc_hash
, op
->name
, (void *) op
);
1498 /* Insert the macros into a hash table. */
1499 ppc_macro_hash
= hash_new ();
1501 macro_end
= powerpc_macros
+ powerpc_num_macros
;
1502 for (macro
= powerpc_macros
; macro
< macro_end
; macro
++)
1504 if ((macro
->flags
& ppc_cpu
) != 0)
1508 retval
= hash_insert (ppc_macro_hash
, macro
->name
, (void *) macro
);
1509 if (retval
!= (const char *) NULL
)
1511 as_bad (_("duplicate macro %s"), macro
->name
);
1521 /* This function is called when the assembler starts up. It is called
1522 after the options have been parsed and the output file has been
1530 ppc_cie_data_alignment
= ppc_obj64
? -8 : -4;
1533 /* Set the ELF flags if desired. */
1534 if (ppc_flags
&& !msolaris
)
1535 bfd_set_private_flags (stdoutput
, ppc_flags
);
1538 ppc_setup_opcodes ();
1540 /* Tell the main code what the endianness is if it is not overridden
1542 if (!set_target_endian
)
1544 set_target_endian
= 1;
1545 target_big_endian
= PPC_BIG_ENDIAN
;
1549 ppc_coff_debug_section
= coff_section_from_bfd_index (stdoutput
, N_DEBUG
);
1551 /* Create dummy symbols to serve as initial csects. This forces the
1552 text csects to precede the data csects. These symbols will not
1554 ppc_text_csects
= symbol_make ("dummy\001");
1555 symbol_get_tc (ppc_text_csects
)->within
= ppc_text_csects
;
1556 ppc_data_csects
= symbol_make ("dummy\001");
1557 symbol_get_tc (ppc_data_csects
)->within
= ppc_data_csects
;
1562 ppc_current_section
= text_section
;
1563 ppc_previous_section
= 0;
1572 if (ppc_apuinfo_list
== NULL
)
1575 /* Ok, so write the section info out. We have this layout:
1579 0 8 length of "APUinfo\0"
1580 4 (n*4) number of APU's (4 bytes each)
1583 20 APU#1 first APU's info
1584 24 APU#2 second APU's info
1589 asection
*seg
= now_seg
;
1590 subsegT subseg
= now_subseg
;
1591 asection
*apuinfo_secp
= (asection
*) NULL
;
1594 /* Create the .PPC.EMB.apuinfo section. */
1595 apuinfo_secp
= subseg_new (".PPC.EMB.apuinfo", 0);
1596 bfd_set_section_flags (stdoutput
,
1598 SEC_HAS_CONTENTS
| SEC_READONLY
);
1601 md_number_to_chars (p
, (valueT
) 8, 4);
1604 md_number_to_chars (p
, (valueT
) ppc_apuinfo_num
* 4, 4);
1607 md_number_to_chars (p
, (valueT
) 2, 4);
1610 strcpy (p
, "APUinfo");
1612 for (i
= 0; i
< ppc_apuinfo_num
; i
++)
1615 md_number_to_chars (p
, (valueT
) ppc_apuinfo_list
[i
], 4);
1618 frag_align (2, 0, 0);
1620 /* We probably can't restore the current segment, for there likely
1623 subseg_set (seg
, subseg
);
1628 /* Insert an operand value into an instruction. */
1630 static unsigned long
1631 ppc_insert_operand (unsigned long insn
,
1632 const struct powerpc_operand
*operand
,
1638 long min
, max
, right
;
1640 max
= operand
->bitm
;
1644 if ((operand
->flags
& PPC_OPERAND_SIGNED
) != 0)
1646 if ((operand
->flags
& PPC_OPERAND_SIGNOPT
) == 0)
1647 max
= (max
>> 1) & -right
;
1648 min
= ~max
& -right
;
1651 if ((operand
->flags
& PPC_OPERAND_PLUS1
) != 0)
1654 if ((operand
->flags
& PPC_OPERAND_NEGATIVE
) != 0)
1663 /* Some people write constants with the sign extension done by
1664 hand but only up to 32 bits. This shouldn't really be valid,
1665 but, to permit this code to assemble on a 64-bit host, we
1666 sign extend the 32-bit value to 64 bits if so doing makes the
1669 && (offsetT
) (val
- 0x80000000 - 0x80000000) >= min
1670 && (offsetT
) (val
- 0x80000000 - 0x80000000) <= max
1671 && ((val
- 0x80000000 - 0x80000000) & (right
- 1)) == 0)
1672 val
= val
- 0x80000000 - 0x80000000;
1674 /* Similarly, people write expressions like ~(1<<15), and expect
1675 this to be OK for a 32-bit unsigned value. */
1677 && (offsetT
) (val
+ 0x80000000 + 0x80000000) >= min
1678 && (offsetT
) (val
+ 0x80000000 + 0x80000000) <= max
1679 && ((val
+ 0x80000000 + 0x80000000) & (right
- 1)) == 0)
1680 val
= val
+ 0x80000000 + 0x80000000;
1684 || (val
& (right
- 1)) != 0)
1685 as_bad_value_out_of_range (_("operand"), val
, min
, max
, file
, line
);
1688 if (operand
->insert
)
1693 insn
= (*operand
->insert
) (insn
, (long) val
, cpu
, &errmsg
);
1694 if (errmsg
!= (const char *) NULL
)
1695 as_bad_where (file
, line
, "%s", errmsg
);
1698 insn
|= ((long) val
& operand
->bitm
) << operand
->shift
;
1705 /* Parse @got, etc. and return the desired relocation. */
1706 static bfd_reloc_code_real_type
1707 ppc_elf_suffix (char **str_p
, expressionS
*exp_p
)
1711 unsigned int length
: 8;
1712 unsigned int valid32
: 1;
1713 unsigned int valid64
: 1;
1722 const struct map_bfd
*ptr
;
1724 #define MAP(str, reloc) { str, sizeof (str) - 1, 1, 1, reloc }
1725 #define MAP32(str, reloc) { str, sizeof (str) - 1, 1, 0, reloc }
1726 #define MAP64(str, reloc) { str, sizeof (str) - 1, 0, 1, reloc }
1728 static const struct map_bfd mapping
[] = {
1729 MAP ("l", BFD_RELOC_LO16
),
1730 MAP ("h", BFD_RELOC_HI16
),
1731 MAP ("ha", BFD_RELOC_HI16_S
),
1732 MAP ("brtaken", BFD_RELOC_PPC_B16_BRTAKEN
),
1733 MAP ("brntaken", BFD_RELOC_PPC_B16_BRNTAKEN
),
1734 MAP ("got", BFD_RELOC_16_GOTOFF
),
1735 MAP ("got@l", BFD_RELOC_LO16_GOTOFF
),
1736 MAP ("got@h", BFD_RELOC_HI16_GOTOFF
),
1737 MAP ("got@ha", BFD_RELOC_HI16_S_GOTOFF
),
1738 MAP ("plt@l", BFD_RELOC_LO16_PLTOFF
),
1739 MAP ("plt@h", BFD_RELOC_HI16_PLTOFF
),
1740 MAP ("plt@ha", BFD_RELOC_HI16_S_PLTOFF
),
1741 MAP ("copy", BFD_RELOC_PPC_COPY
),
1742 MAP ("globdat", BFD_RELOC_PPC_GLOB_DAT
),
1743 MAP ("sectoff", BFD_RELOC_16_BASEREL
),
1744 MAP ("sectoff@l", BFD_RELOC_LO16_BASEREL
),
1745 MAP ("sectoff@h", BFD_RELOC_HI16_BASEREL
),
1746 MAP ("sectoff@ha", BFD_RELOC_HI16_S_BASEREL
),
1747 MAP ("tls", BFD_RELOC_PPC_TLS
),
1748 MAP ("dtpmod", BFD_RELOC_PPC_DTPMOD
),
1749 MAP ("dtprel", BFD_RELOC_PPC_DTPREL
),
1750 MAP ("dtprel@l", BFD_RELOC_PPC_DTPREL16_LO
),
1751 MAP ("dtprel@h", BFD_RELOC_PPC_DTPREL16_HI
),
1752 MAP ("dtprel@ha", BFD_RELOC_PPC_DTPREL16_HA
),
1753 MAP ("tprel", BFD_RELOC_PPC_TPREL
),
1754 MAP ("tprel@l", BFD_RELOC_PPC_TPREL16_LO
),
1755 MAP ("tprel@h", BFD_RELOC_PPC_TPREL16_HI
),
1756 MAP ("tprel@ha", BFD_RELOC_PPC_TPREL16_HA
),
1757 MAP ("got@tlsgd", BFD_RELOC_PPC_GOT_TLSGD16
),
1758 MAP ("got@tlsgd@l", BFD_RELOC_PPC_GOT_TLSGD16_LO
),
1759 MAP ("got@tlsgd@h", BFD_RELOC_PPC_GOT_TLSGD16_HI
),
1760 MAP ("got@tlsgd@ha", BFD_RELOC_PPC_GOT_TLSGD16_HA
),
1761 MAP ("got@tlsld", BFD_RELOC_PPC_GOT_TLSLD16
),
1762 MAP ("got@tlsld@l", BFD_RELOC_PPC_GOT_TLSLD16_LO
),
1763 MAP ("got@tlsld@h", BFD_RELOC_PPC_GOT_TLSLD16_HI
),
1764 MAP ("got@tlsld@ha", BFD_RELOC_PPC_GOT_TLSLD16_HA
),
1765 MAP ("got@dtprel", BFD_RELOC_PPC_GOT_DTPREL16
),
1766 MAP ("got@dtprel@l", BFD_RELOC_PPC_GOT_DTPREL16_LO
),
1767 MAP ("got@dtprel@h", BFD_RELOC_PPC_GOT_DTPREL16_HI
),
1768 MAP ("got@dtprel@ha", BFD_RELOC_PPC_GOT_DTPREL16_HA
),
1769 MAP ("got@tprel", BFD_RELOC_PPC_GOT_TPREL16
),
1770 MAP ("got@tprel@l", BFD_RELOC_PPC_GOT_TPREL16_LO
),
1771 MAP ("got@tprel@h", BFD_RELOC_PPC_GOT_TPREL16_HI
),
1772 MAP ("got@tprel@ha", BFD_RELOC_PPC_GOT_TPREL16_HA
),
1773 MAP32 ("fixup", BFD_RELOC_CTOR
),
1774 MAP32 ("plt", BFD_RELOC_24_PLT_PCREL
),
1775 MAP32 ("pltrel24", BFD_RELOC_24_PLT_PCREL
),
1776 MAP32 ("local24pc", BFD_RELOC_PPC_LOCAL24PC
),
1777 MAP32 ("local", BFD_RELOC_PPC_LOCAL24PC
),
1778 MAP32 ("pltrel", BFD_RELOC_32_PLT_PCREL
),
1779 MAP32 ("sdarel", BFD_RELOC_GPREL16
),
1780 MAP32 ("naddr", BFD_RELOC_PPC_EMB_NADDR32
),
1781 MAP32 ("naddr16", BFD_RELOC_PPC_EMB_NADDR16
),
1782 MAP32 ("naddr@l", BFD_RELOC_PPC_EMB_NADDR16_LO
),
1783 MAP32 ("naddr@h", BFD_RELOC_PPC_EMB_NADDR16_HI
),
1784 MAP32 ("naddr@ha", BFD_RELOC_PPC_EMB_NADDR16_HA
),
1785 MAP32 ("sdai16", BFD_RELOC_PPC_EMB_SDAI16
),
1786 MAP32 ("sda2rel", BFD_RELOC_PPC_EMB_SDA2REL
),
1787 MAP32 ("sda2i16", BFD_RELOC_PPC_EMB_SDA2I16
),
1788 MAP32 ("sda21", BFD_RELOC_PPC_EMB_SDA21
),
1789 MAP32 ("mrkref", BFD_RELOC_PPC_EMB_MRKREF
),
1790 MAP32 ("relsect", BFD_RELOC_PPC_EMB_RELSEC16
),
1791 MAP32 ("relsect@l", BFD_RELOC_PPC_EMB_RELST_LO
),
1792 MAP32 ("relsect@h", BFD_RELOC_PPC_EMB_RELST_HI
),
1793 MAP32 ("relsect@ha", BFD_RELOC_PPC_EMB_RELST_HA
),
1794 MAP32 ("bitfld", BFD_RELOC_PPC_EMB_BIT_FLD
),
1795 MAP32 ("relsda", BFD_RELOC_PPC_EMB_RELSDA
),
1796 MAP32 ("xgot", BFD_RELOC_PPC_TOC16
),
1797 MAP64 ("higher", BFD_RELOC_PPC64_HIGHER
),
1798 MAP64 ("highera", BFD_RELOC_PPC64_HIGHER_S
),
1799 MAP64 ("highest", BFD_RELOC_PPC64_HIGHEST
),
1800 MAP64 ("highesta", BFD_RELOC_PPC64_HIGHEST_S
),
1801 MAP64 ("tocbase", BFD_RELOC_PPC64_TOC
),
1802 MAP64 ("toc", BFD_RELOC_PPC_TOC16
),
1803 MAP64 ("toc@l", BFD_RELOC_PPC64_TOC16_LO
),
1804 MAP64 ("toc@h", BFD_RELOC_PPC64_TOC16_HI
),
1805 MAP64 ("toc@ha", BFD_RELOC_PPC64_TOC16_HA
),
1806 MAP64 ("dtprel@higher", BFD_RELOC_PPC64_DTPREL16_HIGHER
),
1807 MAP64 ("dtprel@highera", BFD_RELOC_PPC64_DTPREL16_HIGHERA
),
1808 MAP64 ("dtprel@highest", BFD_RELOC_PPC64_DTPREL16_HIGHEST
),
1809 MAP64 ("dtprel@highesta", BFD_RELOC_PPC64_DTPREL16_HIGHESTA
),
1810 MAP64 ("tprel@higher", BFD_RELOC_PPC64_TPREL16_HIGHER
),
1811 MAP64 ("tprel@highera", BFD_RELOC_PPC64_TPREL16_HIGHERA
),
1812 MAP64 ("tprel@highest", BFD_RELOC_PPC64_TPREL16_HIGHEST
),
1813 MAP64 ("tprel@highesta", BFD_RELOC_PPC64_TPREL16_HIGHESTA
),
1814 { (char *) 0, 0, 0, 0, BFD_RELOC_UNUSED
}
1818 return BFD_RELOC_UNUSED
;
1820 for (ch
= *str
, str2
= ident
;
1821 (str2
< ident
+ sizeof (ident
) - 1
1822 && (ISALNUM (ch
) || ch
== '@'));
1825 *str2
++ = TOLOWER (ch
);
1832 for (ptr
= &mapping
[0]; ptr
->length
> 0; ptr
++)
1833 if (ch
== ptr
->string
[0]
1834 && len
== ptr
->length
1835 && memcmp (ident
, ptr
->string
, ptr
->length
) == 0
1836 && (ppc_obj64
? ptr
->valid64
: ptr
->valid32
))
1838 int reloc
= ptr
->reloc
;
1840 if (!ppc_obj64
&& exp_p
->X_add_number
!= 0)
1844 case BFD_RELOC_16_GOTOFF
:
1845 case BFD_RELOC_LO16_GOTOFF
:
1846 case BFD_RELOC_HI16_GOTOFF
:
1847 case BFD_RELOC_HI16_S_GOTOFF
:
1848 as_warn (_("identifier+constant@got means "
1849 "identifier@got+constant"));
1852 case BFD_RELOC_PPC_GOT_TLSGD16
:
1853 case BFD_RELOC_PPC_GOT_TLSGD16_LO
:
1854 case BFD_RELOC_PPC_GOT_TLSGD16_HI
:
1855 case BFD_RELOC_PPC_GOT_TLSGD16_HA
:
1856 case BFD_RELOC_PPC_GOT_TLSLD16
:
1857 case BFD_RELOC_PPC_GOT_TLSLD16_LO
:
1858 case BFD_RELOC_PPC_GOT_TLSLD16_HI
:
1859 case BFD_RELOC_PPC_GOT_TLSLD16_HA
:
1860 case BFD_RELOC_PPC_GOT_DTPREL16
:
1861 case BFD_RELOC_PPC_GOT_DTPREL16_LO
:
1862 case BFD_RELOC_PPC_GOT_DTPREL16_HI
:
1863 case BFD_RELOC_PPC_GOT_DTPREL16_HA
:
1864 case BFD_RELOC_PPC_GOT_TPREL16
:
1865 case BFD_RELOC_PPC_GOT_TPREL16_LO
:
1866 case BFD_RELOC_PPC_GOT_TPREL16_HI
:
1867 case BFD_RELOC_PPC_GOT_TPREL16_HA
:
1868 as_bad (_("symbol+offset not supported for got tls"));
1873 /* Now check for identifier@suffix+constant. */
1874 if (*str
== '-' || *str
== '+')
1876 char *orig_line
= input_line_pointer
;
1877 expressionS new_exp
;
1879 input_line_pointer
= str
;
1880 expression (&new_exp
);
1881 if (new_exp
.X_op
== O_constant
)
1883 exp_p
->X_add_number
+= new_exp
.X_add_number
;
1884 str
= input_line_pointer
;
1887 if (&input_line_pointer
!= str_p
)
1888 input_line_pointer
= orig_line
;
1892 if (reloc
== (int) BFD_RELOC_PPC64_TOC
1893 && exp_p
->X_op
== O_symbol
1894 && strcmp (S_GET_NAME (exp_p
->X_add_symbol
), ".TOC.") == 0)
1896 /* Change the symbol so that the dummy .TOC. symbol can be
1897 omitted from the object file. */
1898 exp_p
->X_add_symbol
= &abs_symbol
;
1901 return (bfd_reloc_code_real_type
) reloc
;
1904 return BFD_RELOC_UNUSED
;
1907 /* Like normal .long/.short/.word, except support @got, etc.
1908 Clobbers input_line_pointer, checks end-of-line. */
1910 ppc_elf_cons (int nbytes
/* 1=.byte, 2=.word, 4=.long, 8=.llong */)
1913 bfd_reloc_code_real_type reloc
;
1915 if (is_it_end_of_statement ())
1917 demand_empty_rest_of_line ();
1924 if (exp
.X_op
== O_symbol
1925 && *input_line_pointer
== '@'
1926 && (reloc
= ppc_elf_suffix (&input_line_pointer
,
1927 &exp
)) != BFD_RELOC_UNUSED
)
1929 reloc_howto_type
*reloc_howto
;
1932 reloc_howto
= bfd_reloc_type_lookup (stdoutput
, reloc
);
1933 size
= bfd_get_reloc_size (reloc_howto
);
1937 as_bad (_("%s relocations do not fit in %d bytes\n"),
1938 reloc_howto
->name
, nbytes
);
1945 p
= frag_more (nbytes
);
1946 memset (p
, 0, nbytes
);
1948 if (target_big_endian
)
1949 offset
= nbytes
- size
;
1950 fix_new_exp (frag_now
, p
- frag_now
->fr_literal
+ offset
, size
,
1955 emit_expr (&exp
, (unsigned int) nbytes
);
1957 while (*input_line_pointer
++ == ',');
1959 /* Put terminator back into stream. */
1960 input_line_pointer
--;
1961 demand_empty_rest_of_line ();
1964 /* Solaris pseduo op to change to the .rodata section. */
1966 ppc_elf_rdata (int xxx
)
1968 char *save_line
= input_line_pointer
;
1969 static char section
[] = ".rodata\n";
1971 /* Just pretend this is .section .rodata */
1972 input_line_pointer
= section
;
1973 obj_elf_section (xxx
);
1975 input_line_pointer
= save_line
;
1978 /* Pseudo op to make file scope bss items. */
1980 ppc_elf_lcomm (int xxx ATTRIBUTE_UNUSED
)
1993 name
= input_line_pointer
;
1994 c
= get_symbol_end ();
1996 /* just after name is now '\0'. */
1997 p
= input_line_pointer
;
2000 if (*input_line_pointer
!= ',')
2002 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
2003 ignore_rest_of_line ();
2007 input_line_pointer
++; /* skip ',' */
2008 if ((size
= get_absolute_expression ()) < 0)
2010 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) size
);
2011 ignore_rest_of_line ();
2015 /* The third argument to .lcomm is the alignment. */
2016 if (*input_line_pointer
!= ',')
2020 ++input_line_pointer
;
2021 align
= get_absolute_expression ();
2024 as_warn (_("ignoring bad alignment"));
2030 symbolP
= symbol_find_or_make (name
);
2033 if (S_IS_DEFINED (symbolP
) && ! S_IS_COMMON (symbolP
))
2035 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
2036 S_GET_NAME (symbolP
));
2037 ignore_rest_of_line ();
2041 if (S_GET_VALUE (symbolP
) && S_GET_VALUE (symbolP
) != (valueT
) size
)
2043 as_bad (_("Length of .lcomm \"%s\" is already %ld. Not changed to %ld."),
2044 S_GET_NAME (symbolP
),
2045 (long) S_GET_VALUE (symbolP
),
2048 ignore_rest_of_line ();
2054 old_subsec
= now_subseg
;
2057 /* Convert to a power of 2 alignment. */
2058 for (align2
= 0; (align
& 1) == 0; align
>>= 1, ++align2
);
2061 as_bad (_("Common alignment not a power of 2"));
2062 ignore_rest_of_line ();
2069 record_alignment (bss_section
, align2
);
2070 subseg_set (bss_section
, 0);
2072 frag_align (align2
, 0, 0);
2073 if (S_GET_SEGMENT (symbolP
) == bss_section
)
2074 symbol_get_frag (symbolP
)->fr_symbol
= 0;
2075 symbol_set_frag (symbolP
, frag_now
);
2076 pfrag
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, symbolP
, size
,
2079 S_SET_SIZE (symbolP
, size
);
2080 S_SET_SEGMENT (symbolP
, bss_section
);
2081 subseg_set (old_sec
, old_subsec
);
2082 demand_empty_rest_of_line ();
2085 /* Validate any relocations emitted for -mrelocatable, possibly adding
2086 fixups for word relocations in writable segments, so we can adjust
2089 ppc_elf_validate_fix (fixS
*fixp
, segT seg
)
2091 if (fixp
->fx_done
|| fixp
->fx_pcrel
)
2100 case SHLIB_MRELOCATABLE
:
2101 if (fixp
->fx_r_type
<= BFD_RELOC_UNUSED
2102 && fixp
->fx_r_type
!= BFD_RELOC_16_GOTOFF
2103 && fixp
->fx_r_type
!= BFD_RELOC_HI16_GOTOFF
2104 && fixp
->fx_r_type
!= BFD_RELOC_LO16_GOTOFF
2105 && fixp
->fx_r_type
!= BFD_RELOC_HI16_S_GOTOFF
2106 && fixp
->fx_r_type
!= BFD_RELOC_16_BASEREL
2107 && fixp
->fx_r_type
!= BFD_RELOC_LO16_BASEREL
2108 && fixp
->fx_r_type
!= BFD_RELOC_HI16_BASEREL
2109 && fixp
->fx_r_type
!= BFD_RELOC_HI16_S_BASEREL
2110 && (seg
->flags
& SEC_LOAD
) != 0
2111 && strcmp (segment_name (seg
), ".got2") != 0
2112 && strcmp (segment_name (seg
), ".dtors") != 0
2113 && strcmp (segment_name (seg
), ".ctors") != 0
2114 && strcmp (segment_name (seg
), ".fixup") != 0
2115 && strcmp (segment_name (seg
), ".gcc_except_table") != 0
2116 && strcmp (segment_name (seg
), ".eh_frame") != 0
2117 && strcmp (segment_name (seg
), ".ex_shared") != 0)
2119 if ((seg
->flags
& (SEC_READONLY
| SEC_CODE
)) != 0
2120 || fixp
->fx_r_type
!= BFD_RELOC_CTOR
)
2122 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
2123 _("Relocation cannot be done when using -mrelocatable"));
2130 /* Prevent elf_frob_file_before_adjust removing a weak undefined
2131 function descriptor sym if the corresponding code sym is used. */
2134 ppc_frob_file_before_adjust (void)
2142 for (symp
= symbol_rootP
; symp
; symp
= symbol_next (symp
))
2149 name
= S_GET_NAME (symp
);
2153 if (! S_IS_WEAK (symp
)
2154 || S_IS_DEFINED (symp
))
2157 len
= strlen (name
) + 1;
2158 dotname
= xmalloc (len
+ 1);
2160 memcpy (dotname
+ 1, name
, len
);
2161 dotsym
= symbol_find_noref (dotname
, 1);
2163 if (dotsym
!= NULL
&& (symbol_used_p (dotsym
)
2164 || symbol_used_in_reloc_p (dotsym
)))
2165 symbol_mark_used (symp
);
2169 toc
= bfd_get_section_by_name (stdoutput
, ".toc");
2171 && bfd_section_size (stdoutput
, toc
) > 0x10000)
2172 as_warn (_("TOC section size exceeds 64k"));
2174 /* Don't emit .TOC. symbol. */
2175 symp
= symbol_find (".TOC.");
2177 symbol_remove (symp
, &symbol_rootP
, &symbol_lastP
);
2179 #endif /* OBJ_ELF */
2184 * Summary of parse_toc_entry.
2186 * in: Input_line_pointer points to the '[' in one of:
2188 * [toc] [tocv] [toc32] [toc64]
2190 * Anything else is an error of one kind or another.
2193 * return value: success or failure
2194 * toc_kind: kind of toc reference
2195 * input_line_pointer:
2196 * success: first char after the ']'
2197 * failure: unchanged
2201 * [toc] - rv == success, toc_kind = default_toc
2202 * [tocv] - rv == success, toc_kind = data_in_toc
2203 * [toc32] - rv == success, toc_kind = must_be_32
2204 * [toc64] - rv == success, toc_kind = must_be_64
2208 enum toc_size_qualifier
2210 default_toc
, /* The toc cell constructed should be the system default size */
2211 data_in_toc
, /* This is a direct reference to a toc cell */
2212 must_be_32
, /* The toc cell constructed must be 32 bits wide */
2213 must_be_64
/* The toc cell constructed must be 64 bits wide */
2217 parse_toc_entry (enum toc_size_qualifier
*toc_kind
)
2222 enum toc_size_qualifier t
;
2224 /* Save the input_line_pointer. */
2225 start
= input_line_pointer
;
2227 /* Skip over the '[' , and whitespace. */
2228 ++input_line_pointer
;
2231 /* Find the spelling of the operand. */
2232 toc_spec
= input_line_pointer
;
2233 c
= get_symbol_end ();
2235 if (strcmp (toc_spec
, "toc") == 0)
2239 else if (strcmp (toc_spec
, "tocv") == 0)
2243 else if (strcmp (toc_spec
, "toc32") == 0)
2247 else if (strcmp (toc_spec
, "toc64") == 0)
2253 as_bad (_("syntax error: invalid toc specifier `%s'"), toc_spec
);
2254 *input_line_pointer
= c
;
2255 input_line_pointer
= start
;
2259 /* Now find the ']'. */
2260 *input_line_pointer
= c
;
2262 SKIP_WHITESPACE (); /* leading whitespace could be there. */
2263 c
= *input_line_pointer
++; /* input_line_pointer->past char in c. */
2267 as_bad (_("syntax error: expected `]', found `%c'"), c
);
2268 input_line_pointer
= start
;
2279 #define APUID(a,v) ((((a) & 0xffff) << 16) | ((v) & 0xffff))
2281 ppc_apuinfo_section_add (unsigned int apu
, unsigned int version
)
2285 /* Check we don't already exist. */
2286 for (i
= 0; i
< ppc_apuinfo_num
; i
++)
2287 if (ppc_apuinfo_list
[i
] == APUID (apu
, version
))
2290 if (ppc_apuinfo_num
== ppc_apuinfo_num_alloc
)
2292 if (ppc_apuinfo_num_alloc
== 0)
2294 ppc_apuinfo_num_alloc
= 4;
2295 ppc_apuinfo_list
= (unsigned long *)
2296 xmalloc (sizeof (unsigned long) * ppc_apuinfo_num_alloc
);
2300 ppc_apuinfo_num_alloc
+= 4;
2301 ppc_apuinfo_list
= (unsigned long *) xrealloc (ppc_apuinfo_list
,
2302 sizeof (unsigned long) * ppc_apuinfo_num_alloc
);
2305 ppc_apuinfo_list
[ppc_apuinfo_num
++] = APUID (apu
, version
);
2311 /* We need to keep a list of fixups. We can't simply generate them as
2312 we go, because that would require us to first create the frag, and
2313 that would screw up references to ``.''. */
2319 bfd_reloc_code_real_type reloc
;
2322 #define MAX_INSN_FIXUPS (5)
2324 /* This routine is called for each instruction to be assembled. */
2327 md_assemble (char *str
)
2330 const struct powerpc_opcode
*opcode
;
2332 const unsigned char *opindex_ptr
;
2336 struct ppc_fixup fixups
[MAX_INSN_FIXUPS
];
2342 bfd_reloc_code_real_type reloc
;
2345 /* Get the opcode. */
2346 for (s
= str
; *s
!= '\0' && ! ISSPACE (*s
); s
++)
2351 /* Look up the opcode in the hash table. */
2352 opcode
= (const struct powerpc_opcode
*) hash_find (ppc_hash
, str
);
2353 if (opcode
== (const struct powerpc_opcode
*) NULL
)
2355 const struct powerpc_macro
*macro
;
2357 macro
= (const struct powerpc_macro
*) hash_find (ppc_macro_hash
, str
);
2358 if (macro
== (const struct powerpc_macro
*) NULL
)
2359 as_bad (_("Unrecognized opcode: `%s'"), str
);
2361 ppc_macro (s
, macro
);
2366 insn
= opcode
->opcode
;
2369 while (ISSPACE (*str
))
2372 /* PowerPC operands are just expressions. The only real issue is
2373 that a few operand types are optional. All cases which might use
2374 an optional operand separate the operands only with commas (in some
2375 cases parentheses are used, as in ``lwz 1,0(1)'' but such cases never
2376 have optional operands). Most instructions with optional operands
2377 have only one. Those that have more than one optional operand can
2378 take either all their operands or none. So, before we start seriously
2379 parsing the operands, we check to see if we have optional operands,
2380 and if we do, we count the number of commas to see which operands
2381 have been omitted. */
2383 for (opindex_ptr
= opcode
->operands
; *opindex_ptr
!= 0; opindex_ptr
++)
2385 const struct powerpc_operand
*operand
;
2387 operand
= &powerpc_operands
[*opindex_ptr
];
2388 if ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0)
2390 unsigned int opcount
;
2391 unsigned int num_operands_expected
;
2393 /* There is an optional operand. Count the number of
2394 commas in the input line. */
2401 while ((s
= strchr (s
, ',')) != (char *) NULL
)
2408 /* Compute the number of expected operands.
2409 Do not count fake operands. */
2410 for (num_operands_expected
= 0, i
= 0; opcode
->operands
[i
]; i
++)
2411 if ((powerpc_operands
[opcode
->operands
[i
]].flags
& PPC_OPERAND_FAKE
) == 0)
2412 ++ num_operands_expected
;
2414 /* If there are fewer operands in the line then are called
2415 for by the instruction, we want to skip the optional
2417 if (opcount
< num_operands_expected
)
2424 /* Gather the operands. */
2428 for (opindex_ptr
= opcode
->operands
; *opindex_ptr
!= 0; opindex_ptr
++)
2430 const struct powerpc_operand
*operand
;
2436 if (next_opindex
== 0)
2437 operand
= &powerpc_operands
[*opindex_ptr
];
2440 operand
= &powerpc_operands
[next_opindex
];
2445 /* If this is a fake operand, then we do not expect anything
2447 if ((operand
->flags
& PPC_OPERAND_FAKE
) != 0)
2449 insn
= (*operand
->insert
) (insn
, 0L, ppc_cpu
, &errmsg
);
2450 if (errmsg
!= (const char *) NULL
)
2451 as_bad ("%s", errmsg
);
2455 /* If this is an optional operand, and we are skipping it, just
2457 if ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0
2460 if (operand
->insert
)
2462 insn
= (*operand
->insert
) (insn
, 0L, ppc_cpu
, &errmsg
);
2463 if (errmsg
!= (const char *) NULL
)
2464 as_bad ("%s", errmsg
);
2466 if ((operand
->flags
& PPC_OPERAND_NEXT
) != 0)
2467 next_opindex
= *opindex_ptr
+ 1;
2471 /* Gather the operand. */
2472 hold
= input_line_pointer
;
2473 input_line_pointer
= str
;
2476 if (*input_line_pointer
== '[')
2478 /* We are expecting something like the second argument here:
2480 * lwz r4,[toc].GS.0.static_int(rtoc)
2481 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^
2482 * The argument following the `]' must be a symbol name, and the
2483 * register must be the toc register: 'rtoc' or '2'
2485 * The effect is to 0 as the displacement field
2486 * in the instruction, and issue an IMAGE_REL_PPC_TOCREL16 (or
2487 * the appropriate variation) reloc against it based on the symbol.
2488 * The linker will build the toc, and insert the resolved toc offset.
2491 * o The size of the toc entry is currently assumed to be
2492 * 32 bits. This should not be assumed to be a hard coded
2494 * o In an effort to cope with a change from 32 to 64 bits,
2495 * there are also toc entries that are specified to be
2496 * either 32 or 64 bits:
2497 * lwz r4,[toc32].GS.0.static_int(rtoc)
2498 * lwz r4,[toc64].GS.0.static_int(rtoc)
2499 * These demand toc entries of the specified size, and the
2500 * instruction probably requires it.
2504 enum toc_size_qualifier toc_kind
;
2505 bfd_reloc_code_real_type toc_reloc
;
2507 /* Go parse off the [tocXX] part. */
2508 valid_toc
= parse_toc_entry (&toc_kind
);
2512 /* Note: message has already been issued.
2513 FIXME: what sort of recovery should we do?
2514 demand_rest_of_line (); return; ? */
2517 /* Now get the symbol following the ']'. */
2523 /* In this case, we may not have seen the symbol yet,
2524 since it is allowed to appear on a .extern or .globl
2525 or just be a label in the .data section. */
2526 toc_reloc
= BFD_RELOC_PPC_TOC16
;
2529 /* 1. The symbol must be defined and either in the toc
2530 section, or a global.
2531 2. The reloc generated must have the TOCDEFN flag set
2532 in upper bit mess of the reloc type.
2533 FIXME: It's a little confusing what the tocv
2534 qualifier can be used for. At the very least, I've
2535 seen three uses, only one of which I'm sure I can
2537 if (ex
.X_op
== O_symbol
)
2539 gas_assert (ex
.X_add_symbol
!= NULL
);
2540 if (symbol_get_bfdsym (ex
.X_add_symbol
)->section
2543 as_bad (_("[tocv] symbol is not a toc symbol"));
2547 toc_reloc
= BFD_RELOC_PPC_TOC16
;
2550 /* FIXME: these next two specifically specify 32/64 bit
2551 toc entries. We don't support them today. Is this
2552 the right way to say that? */
2553 toc_reloc
= BFD_RELOC_UNUSED
;
2554 as_bad (_("Unimplemented toc32 expression modifier"));
2557 /* FIXME: see above. */
2558 toc_reloc
= BFD_RELOC_UNUSED
;
2559 as_bad (_("Unimplemented toc64 expression modifier"));
2563 _("Unexpected return value [%d] from parse_toc_entry!\n"),
2569 /* We need to generate a fixup for this expression. */
2570 if (fc
>= MAX_INSN_FIXUPS
)
2571 as_fatal (_("too many fixups"));
2573 fixups
[fc
].reloc
= toc_reloc
;
2574 fixups
[fc
].exp
= ex
;
2575 fixups
[fc
].opindex
= *opindex_ptr
;
2578 /* Ok. We've set up the fixup for the instruction. Now make it
2579 look like the constant 0 was found here. */
2581 ex
.X_op
= O_constant
;
2582 ex
.X_add_number
= 0;
2583 ex
.X_add_symbol
= NULL
;
2584 ex
.X_op_symbol
= NULL
;
2590 if ((reg_names_p
&& (operand
->flags
& PPC_OPERAND_CR
) != 0)
2591 || !register_name (&ex
))
2593 char save_lex
= lex_type
['%'];
2595 if ((operand
->flags
& PPC_OPERAND_CR
) != 0)
2598 lex_type
['%'] |= LEX_BEGIN_NAME
;
2602 lex_type
['%'] = save_lex
;
2606 str
= input_line_pointer
;
2607 input_line_pointer
= hold
;
2609 if (ex
.X_op
== O_illegal
)
2610 as_bad (_("illegal operand"));
2611 else if (ex
.X_op
== O_absent
)
2612 as_bad (_("missing operand"));
2613 else if (ex
.X_op
== O_register
)
2615 insn
= ppc_insert_operand (insn
, operand
, ex
.X_add_number
,
2616 ppc_cpu
, (char *) NULL
, 0);
2618 else if (ex
.X_op
== O_constant
)
2621 /* Allow @HA, @L, @H on constants. */
2622 char *orig_str
= str
;
2624 if ((reloc
= ppc_elf_suffix (&str
, &ex
)) != BFD_RELOC_UNUSED
)
2631 case BFD_RELOC_LO16
:
2632 /* X_unsigned is the default, so if the user has done
2633 something which cleared it, we always produce a
2635 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2636 ex
.X_add_number
&= 0xffff;
2638 ex
.X_add_number
= SEX16 (ex
.X_add_number
);
2641 case BFD_RELOC_HI16
:
2642 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2643 ex
.X_add_number
= PPC_HI (ex
.X_add_number
);
2645 ex
.X_add_number
= SEX16 (PPC_HI (ex
.X_add_number
));
2648 case BFD_RELOC_HI16_S
:
2649 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2650 ex
.X_add_number
= PPC_HA (ex
.X_add_number
);
2652 ex
.X_add_number
= SEX16 (PPC_HA (ex
.X_add_number
));
2655 case BFD_RELOC_PPC64_HIGHER
:
2656 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2657 ex
.X_add_number
= PPC_HIGHER (ex
.X_add_number
);
2659 ex
.X_add_number
= SEX16 (PPC_HIGHER (ex
.X_add_number
));
2662 case BFD_RELOC_PPC64_HIGHER_S
:
2663 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2664 ex
.X_add_number
= PPC_HIGHERA (ex
.X_add_number
);
2666 ex
.X_add_number
= SEX16 (PPC_HIGHERA (ex
.X_add_number
));
2669 case BFD_RELOC_PPC64_HIGHEST
:
2670 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2671 ex
.X_add_number
= PPC_HIGHEST (ex
.X_add_number
);
2673 ex
.X_add_number
= SEX16 (PPC_HIGHEST (ex
.X_add_number
));
2676 case BFD_RELOC_PPC64_HIGHEST_S
:
2677 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2678 ex
.X_add_number
= PPC_HIGHESTA (ex
.X_add_number
);
2680 ex
.X_add_number
= SEX16 (PPC_HIGHESTA (ex
.X_add_number
));
2683 #endif /* OBJ_ELF */
2684 insn
= ppc_insert_operand (insn
, operand
, ex
.X_add_number
,
2685 ppc_cpu
, (char *) NULL
, 0);
2690 if (ex
.X_op
== O_symbol
&& str
[0] == '(')
2692 const char *sym_name
= S_GET_NAME (ex
.X_add_symbol
);
2693 if (sym_name
[0] == '.')
2696 if (strcasecmp (sym_name
, "__tls_get_addr") == 0)
2698 expressionS tls_exp
;
2700 hold
= input_line_pointer
;
2701 input_line_pointer
= str
+ 1;
2702 expression (&tls_exp
);
2703 if (tls_exp
.X_op
== O_symbol
)
2705 reloc
= BFD_RELOC_UNUSED
;
2706 if (strncasecmp (input_line_pointer
, "@tlsgd)", 7) == 0)
2708 reloc
= BFD_RELOC_PPC_TLSGD
;
2709 input_line_pointer
+= 7;
2711 else if (strncasecmp (input_line_pointer
, "@tlsld)", 7) == 0)
2713 reloc
= BFD_RELOC_PPC_TLSLD
;
2714 input_line_pointer
+= 7;
2716 if (reloc
!= BFD_RELOC_UNUSED
)
2719 str
= input_line_pointer
;
2721 if (fc
>= MAX_INSN_FIXUPS
)
2722 as_fatal (_("too many fixups"));
2723 fixups
[fc
].exp
= tls_exp
;
2724 fixups
[fc
].opindex
= *opindex_ptr
;
2725 fixups
[fc
].reloc
= reloc
;
2729 input_line_pointer
= hold
;
2733 if ((reloc
= ppc_elf_suffix (&str
, &ex
)) != BFD_RELOC_UNUSED
)
2735 /* Some TLS tweaks. */
2741 case BFD_RELOC_PPC_TLS
:
2742 if (!_bfd_elf_ppc_at_tls_transform (opcode
->opcode
, 0))
2743 as_bad (_("@tls may not be used with \"%s\" operands"),
2745 else if (operand
->shift
!= 11)
2746 as_bad (_("@tls may only be used in last operand"));
2748 insn
= ppc_insert_operand (insn
, operand
,
2750 ppc_cpu
, (char *) NULL
, 0);
2753 /* We'll only use the 32 (or 64) bit form of these relocations
2754 in constants. Instructions get the 16 bit form. */
2755 case BFD_RELOC_PPC_DTPREL
:
2756 reloc
= BFD_RELOC_PPC_DTPREL16
;
2758 case BFD_RELOC_PPC_TPREL
:
2759 reloc
= BFD_RELOC_PPC_TPREL16
;
2763 /* For the absolute forms of branches, convert the PC
2764 relative form back into the absolute. */
2765 if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0)
2769 case BFD_RELOC_PPC_B26
:
2770 reloc
= BFD_RELOC_PPC_BA26
;
2772 case BFD_RELOC_PPC_B16
:
2773 reloc
= BFD_RELOC_PPC_BA16
;
2775 case BFD_RELOC_PPC_B16_BRTAKEN
:
2776 reloc
= BFD_RELOC_PPC_BA16_BRTAKEN
;
2778 case BFD_RELOC_PPC_B16_BRNTAKEN
:
2779 reloc
= BFD_RELOC_PPC_BA16_BRNTAKEN
;
2787 && (operand
->flags
& (PPC_OPERAND_DS
| PPC_OPERAND_DQ
)) != 0)
2792 reloc
= BFD_RELOC_PPC64_ADDR16_DS
;
2794 case BFD_RELOC_LO16
:
2795 reloc
= BFD_RELOC_PPC64_ADDR16_LO_DS
;
2797 case BFD_RELOC_16_GOTOFF
:
2798 reloc
= BFD_RELOC_PPC64_GOT16_DS
;
2800 case BFD_RELOC_LO16_GOTOFF
:
2801 reloc
= BFD_RELOC_PPC64_GOT16_LO_DS
;
2803 case BFD_RELOC_LO16_PLTOFF
:
2804 reloc
= BFD_RELOC_PPC64_PLT16_LO_DS
;
2806 case BFD_RELOC_16_BASEREL
:
2807 reloc
= BFD_RELOC_PPC64_SECTOFF_DS
;
2809 case BFD_RELOC_LO16_BASEREL
:
2810 reloc
= BFD_RELOC_PPC64_SECTOFF_LO_DS
;
2812 case BFD_RELOC_PPC_TOC16
:
2813 reloc
= BFD_RELOC_PPC64_TOC16_DS
;
2815 case BFD_RELOC_PPC64_TOC16_LO
:
2816 reloc
= BFD_RELOC_PPC64_TOC16_LO_DS
;
2818 case BFD_RELOC_PPC64_PLTGOT16
:
2819 reloc
= BFD_RELOC_PPC64_PLTGOT16_DS
;
2821 case BFD_RELOC_PPC64_PLTGOT16_LO
:
2822 reloc
= BFD_RELOC_PPC64_PLTGOT16_LO_DS
;
2824 case BFD_RELOC_PPC_DTPREL16
:
2825 reloc
= BFD_RELOC_PPC64_DTPREL16_DS
;
2827 case BFD_RELOC_PPC_DTPREL16_LO
:
2828 reloc
= BFD_RELOC_PPC64_DTPREL16_LO_DS
;
2830 case BFD_RELOC_PPC_TPREL16
:
2831 reloc
= BFD_RELOC_PPC64_TPREL16_DS
;
2833 case BFD_RELOC_PPC_TPREL16_LO
:
2834 reloc
= BFD_RELOC_PPC64_TPREL16_LO_DS
;
2836 case BFD_RELOC_PPC_GOT_DTPREL16
:
2837 case BFD_RELOC_PPC_GOT_DTPREL16_LO
:
2838 case BFD_RELOC_PPC_GOT_TPREL16
:
2839 case BFD_RELOC_PPC_GOT_TPREL16_LO
:
2842 as_bad (_("unsupported relocation for DS offset field"));
2848 /* We need to generate a fixup for this expression. */
2849 if (fc
>= MAX_INSN_FIXUPS
)
2850 as_fatal (_("too many fixups"));
2851 fixups
[fc
].exp
= ex
;
2852 fixups
[fc
].opindex
= *opindex_ptr
;
2853 fixups
[fc
].reloc
= reloc
;
2859 /* We need to generate a fixup for this expression. */
2860 if (fc
>= MAX_INSN_FIXUPS
)
2861 as_fatal (_("too many fixups"));
2862 fixups
[fc
].exp
= ex
;
2863 fixups
[fc
].opindex
= *opindex_ptr
;
2864 fixups
[fc
].reloc
= BFD_RELOC_UNUSED
;
2867 #endif /* OBJ_ELF */
2873 /* If expecting more operands, then we want to see "),". */
2874 if (*str
== endc
&& opindex_ptr
[1] != 0)
2878 while (ISSPACE (*str
));
2882 else if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0)
2890 /* The call to expression should have advanced str past any
2893 && (endc
!= ',' || *str
!= '\0'))
2895 as_bad (_("syntax error; found `%c' but expected `%c'"), *str
, endc
);
2903 while (ISSPACE (*str
))
2907 as_bad (_("junk at end of line: `%s'"), str
);
2910 /* Do we need/want a APUinfo section? */
2911 if ((ppc_cpu
& PPC_OPCODE_E500MC
) != 0)
2913 /* These are all version "1". */
2914 if (opcode
->flags
& PPC_OPCODE_SPE
)
2915 ppc_apuinfo_section_add (PPC_APUINFO_SPE
, 1);
2916 if (opcode
->flags
& PPC_OPCODE_ISEL
)
2917 ppc_apuinfo_section_add (PPC_APUINFO_ISEL
, 1);
2918 if (opcode
->flags
& PPC_OPCODE_EFS
)
2919 ppc_apuinfo_section_add (PPC_APUINFO_EFS
, 1);
2920 if (opcode
->flags
& PPC_OPCODE_BRLOCK
)
2921 ppc_apuinfo_section_add (PPC_APUINFO_BRLOCK
, 1);
2922 if (opcode
->flags
& PPC_OPCODE_PMR
)
2923 ppc_apuinfo_section_add (PPC_APUINFO_PMR
, 1);
2924 if (opcode
->flags
& PPC_OPCODE_CACHELCK
)
2925 ppc_apuinfo_section_add (PPC_APUINFO_CACHELCK
, 1);
2926 if (opcode
->flags
& PPC_OPCODE_RFMCI
)
2927 ppc_apuinfo_section_add (PPC_APUINFO_RFMCI
, 1);
2931 /* Write out the instruction. */
2933 addr_mod
= frag_now_fix () & 3;
2934 if (frag_now
->has_code
&& frag_now
->insn_addr
!= addr_mod
)
2935 as_bad (_("instruction address is not a multiple of 4"));
2936 frag_now
->insn_addr
= addr_mod
;
2937 frag_now
->has_code
= 1;
2938 md_number_to_chars (f
, insn
, 4);
2941 dwarf2_emit_insn (4);
2944 /* Create any fixups. At this point we do not use a
2945 bfd_reloc_code_real_type, but instead just use the
2946 BFD_RELOC_UNUSED plus the operand index. This lets us easily
2947 handle fixups for any operand type, although that is admittedly
2948 not a very exciting feature. We pick a BFD reloc type in
2950 for (i
= 0; i
< fc
; i
++)
2952 if (fixups
[i
].reloc
!= BFD_RELOC_UNUSED
)
2954 reloc_howto_type
*reloc_howto
;
2959 reloc_howto
= bfd_reloc_type_lookup (stdoutput
, fixups
[i
].reloc
);
2963 size
= bfd_get_reloc_size (reloc_howto
);
2964 offset
= target_big_endian
? (4 - size
) : 0;
2966 if (size
< 1 || size
> 4)
2969 fixP
= fix_new_exp (frag_now
,
2970 f
- frag_now
->fr_literal
+ offset
,
2973 reloc_howto
->pc_relative
,
2976 /* Turn off complaints that the addend is too large for things like
2978 switch (fixups
[i
].reloc
)
2980 case BFD_RELOC_16_GOTOFF
:
2981 case BFD_RELOC_PPC_TOC16
:
2982 case BFD_RELOC_LO16
:
2983 case BFD_RELOC_HI16
:
2984 case BFD_RELOC_HI16_S
:
2986 case BFD_RELOC_PPC64_HIGHER
:
2987 case BFD_RELOC_PPC64_HIGHER_S
:
2988 case BFD_RELOC_PPC64_HIGHEST
:
2989 case BFD_RELOC_PPC64_HIGHEST_S
:
2991 fixP
->fx_no_overflow
= 1;
2999 const struct powerpc_operand
*operand
;
3001 operand
= &powerpc_operands
[fixups
[i
].opindex
];
3002 fix_new_exp (frag_now
,
3003 f
- frag_now
->fr_literal
,
3006 (operand
->flags
& PPC_OPERAND_RELATIVE
) != 0,
3007 ((bfd_reloc_code_real_type
)
3008 (fixups
[i
].opindex
+ (int) BFD_RELOC_UNUSED
)));
3013 /* Handle a macro. Gather all the operands, transform them as
3014 described by the macro, and call md_assemble recursively. All the
3015 operands are separated by commas; we don't accept parentheses
3016 around operands here. */
3019 ppc_macro (char *str
, const struct powerpc_macro
*macro
)
3030 /* Gather the users operands into the operands array. */
3035 if (count
>= sizeof operands
/ sizeof operands
[0])
3037 operands
[count
++] = s
;
3038 s
= strchr (s
, ',');
3039 if (s
== (char *) NULL
)
3044 if (count
!= macro
->operands
)
3046 as_bad (_("wrong number of operands"));
3050 /* Work out how large the string must be (the size is unbounded
3051 because it includes user input). */
3053 format
= macro
->format
;
3054 while (*format
!= '\0')
3063 arg
= strtol (format
+ 1, &send
, 10);
3064 know (send
!= format
&& arg
< count
);
3065 len
+= strlen (operands
[arg
]);
3070 /* Put the string together. */
3071 complete
= s
= (char *) alloca (len
+ 1);
3072 format
= macro
->format
;
3073 while (*format
!= '\0')
3079 arg
= strtol (format
+ 1, &send
, 10);
3080 strcpy (s
, operands
[arg
]);
3087 /* Assemble the constructed instruction. */
3088 md_assemble (complete
);
3092 /* For ELF, add support for SHF_EXCLUDE and SHT_ORDERED. */
3095 ppc_section_letter (int letter
, char **ptr_msg
)
3100 *ptr_msg
= _("Bad .section directive: want a,e,w,x,M,S,G,T in string");
3105 ppc_section_word (char *str
, size_t len
)
3107 if (len
== 7 && strncmp (str
, "exclude", 7) == 0)
3114 ppc_section_type (char *str
, size_t len
)
3116 if (len
== 7 && strncmp (str
, "ordered", 7) == 0)
3123 ppc_section_flags (flagword flags
, bfd_vma attr
, int type
)
3125 if (type
== SHT_ORDERED
)
3126 flags
|= SEC_ALLOC
| SEC_LOAD
| SEC_SORT_ENTRIES
;
3128 if (attr
& SHF_EXCLUDE
)
3129 flags
|= SEC_EXCLUDE
;
3133 #endif /* OBJ_ELF */
3136 /* Pseudo-op handling. */
3138 /* The .byte pseudo-op. This is similar to the normal .byte
3139 pseudo-op, but it can also take a single ASCII string. */
3142 ppc_byte (int ignore ATTRIBUTE_UNUSED
)
3144 if (*input_line_pointer
!= '\"')
3150 /* Gather characters. A real double quote is doubled. Unusual
3151 characters are not permitted. */
3152 ++input_line_pointer
;
3157 c
= *input_line_pointer
++;
3161 if (*input_line_pointer
!= '\"')
3163 ++input_line_pointer
;
3166 FRAG_APPEND_1_CHAR (c
);
3169 demand_empty_rest_of_line ();
3174 /* XCOFF specific pseudo-op handling. */
3176 /* This is set if we are creating a .stabx symbol, since we don't want
3177 to handle symbol suffixes for such symbols. */
3178 static bfd_boolean ppc_stab_symbol
;
3180 /* The .comm and .lcomm pseudo-ops for XCOFF. XCOFF puts common
3181 symbols in the .bss segment as though they were local common
3182 symbols, and uses a different smclas. The native Aix 4.3.3 assembler
3183 aligns .comm and .lcomm to 4 bytes. */
3186 ppc_comm (int lcomm
)
3188 asection
*current_seg
= now_seg
;
3189 subsegT current_subseg
= now_subseg
;
3195 symbolS
*lcomm_sym
= NULL
;
3199 name
= input_line_pointer
;
3200 endc
= get_symbol_end ();
3201 end_name
= input_line_pointer
;
3204 if (*input_line_pointer
!= ',')
3206 as_bad (_("missing size"));
3207 ignore_rest_of_line ();
3210 ++input_line_pointer
;
3212 size
= get_absolute_expression ();
3215 as_bad (_("negative size"));
3216 ignore_rest_of_line ();
3222 /* The third argument to .comm is the alignment. */
3223 if (*input_line_pointer
!= ',')
3227 ++input_line_pointer
;
3228 align
= get_absolute_expression ();
3231 as_warn (_("ignoring bad alignment"));
3246 /* The third argument to .lcomm appears to be the real local
3247 common symbol to create. References to the symbol named in
3248 the first argument are turned into references to the third
3250 if (*input_line_pointer
!= ',')
3252 as_bad (_("missing real symbol name"));
3253 ignore_rest_of_line ();
3256 ++input_line_pointer
;
3258 lcomm_name
= input_line_pointer
;
3259 lcomm_endc
= get_symbol_end ();
3261 lcomm_sym
= symbol_find_or_make (lcomm_name
);
3263 *input_line_pointer
= lcomm_endc
;
3267 sym
= symbol_find_or_make (name
);
3270 if (S_IS_DEFINED (sym
)
3271 || S_GET_VALUE (sym
) != 0)
3273 as_bad (_("attempt to redefine symbol"));
3274 ignore_rest_of_line ();
3278 record_alignment (bss_section
, align
);
3281 || ! S_IS_DEFINED (lcomm_sym
))
3290 S_SET_EXTERNAL (sym
);
3294 symbol_get_tc (lcomm_sym
)->output
= 1;
3295 def_sym
= lcomm_sym
;
3299 subseg_set (bss_section
, 1);
3300 frag_align (align
, 0, 0);
3302 symbol_set_frag (def_sym
, frag_now
);
3303 pfrag
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, def_sym
,
3304 def_size
, (char *) NULL
);
3306 S_SET_SEGMENT (def_sym
, bss_section
);
3307 symbol_get_tc (def_sym
)->align
= align
;
3311 /* Align the size of lcomm_sym. */
3312 symbol_get_frag (lcomm_sym
)->fr_offset
=
3313 ((symbol_get_frag (lcomm_sym
)->fr_offset
+ (1 << align
) - 1)
3314 &~ ((1 << align
) - 1));
3315 if (align
> symbol_get_tc (lcomm_sym
)->align
)
3316 symbol_get_tc (lcomm_sym
)->align
= align
;
3321 /* Make sym an offset from lcomm_sym. */
3322 S_SET_SEGMENT (sym
, bss_section
);
3323 symbol_set_frag (sym
, symbol_get_frag (lcomm_sym
));
3324 S_SET_VALUE (sym
, symbol_get_frag (lcomm_sym
)->fr_offset
);
3325 symbol_get_frag (lcomm_sym
)->fr_offset
+= size
;
3328 subseg_set (current_seg
, current_subseg
);
3330 demand_empty_rest_of_line ();
3333 /* The .csect pseudo-op. This switches us into a different
3334 subsegment. The first argument is a symbol whose value is the
3335 start of the .csect. In COFF, csect symbols get special aux
3336 entries defined by the x_csect field of union internal_auxent. The
3337 optional second argument is the alignment (the default is 2). */
3340 ppc_csect (int ignore ATTRIBUTE_UNUSED
)
3347 name
= input_line_pointer
;
3348 endc
= get_symbol_end ();
3350 sym
= symbol_find_or_make (name
);
3352 *input_line_pointer
= endc
;
3354 if (S_GET_NAME (sym
)[0] == '\0')
3356 /* An unnamed csect is assumed to be [PR]. */
3357 symbol_get_tc (sym
)->symbol_class
= XMC_PR
;
3361 if (*input_line_pointer
== ',')
3363 ++input_line_pointer
;
3364 align
= get_absolute_expression ();
3367 ppc_change_csect (sym
, align
);
3369 demand_empty_rest_of_line ();
3372 /* Change to a different csect. */
3375 ppc_change_csect (symbolS
*sym
, offsetT align
)
3377 if (S_IS_DEFINED (sym
))
3378 subseg_set (S_GET_SEGMENT (sym
), symbol_get_tc (sym
)->subseg
);
3388 /* This is a new csect. We need to look at the symbol class to
3389 figure out whether it should go in the text section or the
3393 switch (symbol_get_tc (sym
)->symbol_class
)
3403 S_SET_SEGMENT (sym
, text_section
);
3404 symbol_get_tc (sym
)->subseg
= ppc_text_subsegment
;
3405 ++ppc_text_subsegment
;
3406 list_ptr
= &ppc_text_csects
;
3416 if (ppc_toc_csect
!= NULL
3417 && (symbol_get_tc (ppc_toc_csect
)->subseg
+ 1
3418 == ppc_data_subsegment
))
3420 S_SET_SEGMENT (sym
, data_section
);
3421 symbol_get_tc (sym
)->subseg
= ppc_data_subsegment
;
3422 ++ppc_data_subsegment
;
3423 list_ptr
= &ppc_data_csects
;
3429 /* We set the obstack chunk size to a small value before
3430 changing subsegments, so that we don't use a lot of memory
3431 space for what may be a small section. */
3432 hold_chunksize
= chunksize
;
3435 sec
= subseg_new (segment_name (S_GET_SEGMENT (sym
)),
3436 symbol_get_tc (sym
)->subseg
);
3438 chunksize
= hold_chunksize
;
3441 ppc_after_toc_frag
= frag_now
;
3443 record_alignment (sec
, align
);
3445 frag_align_code (align
, 0);
3447 frag_align (align
, 0, 0);
3449 symbol_set_frag (sym
, frag_now
);
3450 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
3452 symbol_get_tc (sym
)->align
= align
;
3453 symbol_get_tc (sym
)->output
= 1;
3454 symbol_get_tc (sym
)->within
= sym
;
3456 for (list
= *list_ptr
;
3457 symbol_get_tc (list
)->next
!= (symbolS
*) NULL
;
3458 list
= symbol_get_tc (list
)->next
)
3460 symbol_get_tc (list
)->next
= sym
;
3462 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3463 symbol_append (sym
, symbol_get_tc (list
)->within
, &symbol_rootP
,
3467 ppc_current_csect
= sym
;
3470 /* This function handles the .text and .data pseudo-ops. These
3471 pseudo-ops aren't really used by XCOFF; we implement them for the
3472 convenience of people who aren't used to XCOFF. */
3475 ppc_section (int type
)
3482 else if (type
== 'd')
3487 sym
= symbol_find_or_make (name
);
3489 ppc_change_csect (sym
, 2);
3491 demand_empty_rest_of_line ();
3494 /* This function handles the .section pseudo-op. This is mostly to
3495 give an error, since XCOFF only supports .text, .data and .bss, but
3496 we do permit the user to name the text or data section. */
3499 ppc_named_section (int ignore ATTRIBUTE_UNUSED
)
3502 const char *real_name
;
3506 user_name
= input_line_pointer
;
3507 c
= get_symbol_end ();
3509 if (strcmp (user_name
, ".text") == 0)
3510 real_name
= ".text[PR]";
3511 else if (strcmp (user_name
, ".data") == 0)
3512 real_name
= ".data[RW]";
3515 as_bad (_("The XCOFF file format does not support arbitrary sections"));
3516 *input_line_pointer
= c
;
3517 ignore_rest_of_line ();
3521 *input_line_pointer
= c
;
3523 sym
= symbol_find_or_make (real_name
);
3525 ppc_change_csect (sym
, 2);
3527 demand_empty_rest_of_line ();
3530 /* The .extern pseudo-op. We create an undefined symbol. */
3533 ppc_extern (int ignore ATTRIBUTE_UNUSED
)
3538 name
= input_line_pointer
;
3539 endc
= get_symbol_end ();
3541 (void) symbol_find_or_make (name
);
3543 *input_line_pointer
= endc
;
3545 demand_empty_rest_of_line ();
3548 /* The .lglobl pseudo-op. Keep the symbol in the symbol table. */
3551 ppc_lglobl (int ignore ATTRIBUTE_UNUSED
)
3557 name
= input_line_pointer
;
3558 endc
= get_symbol_end ();
3560 sym
= symbol_find_or_make (name
);
3562 *input_line_pointer
= endc
;
3564 symbol_get_tc (sym
)->output
= 1;
3566 demand_empty_rest_of_line ();
3569 /* The .ref pseudo-op. It takes a list of symbol names and inserts R_REF
3570 relocations at the beginning of the current csect.
3572 (In principle, there's no reason why the relocations _have_ to be at
3573 the beginning. Anywhere in the csect would do. However, inserting
3574 at the beginning is what the native assmebler does, and it helps to
3575 deal with cases where the .ref statements follow the section contents.)
3577 ??? .refs don't work for empty .csects. However, the native assembler
3578 doesn't report an error in this case, and neither yet do we. */
3581 ppc_ref (int ignore ATTRIBUTE_UNUSED
)
3586 if (ppc_current_csect
== NULL
)
3588 as_bad (_(".ref outside .csect"));
3589 ignore_rest_of_line ();
3595 name
= input_line_pointer
;
3596 c
= get_symbol_end ();
3598 fix_at_start (symbol_get_frag (ppc_current_csect
), 0,
3599 symbol_find_or_make (name
), 0, FALSE
, BFD_RELOC_NONE
);
3601 *input_line_pointer
= c
;
3603 c
= *input_line_pointer
;
3606 input_line_pointer
++;
3608 if (is_end_of_line
[(unsigned char) *input_line_pointer
])
3610 as_bad (_("missing symbol name"));
3611 ignore_rest_of_line ();
3618 demand_empty_rest_of_line ();
3621 /* The .rename pseudo-op. The RS/6000 assembler can rename symbols,
3622 although I don't know why it bothers. */
3625 ppc_rename (int ignore ATTRIBUTE_UNUSED
)
3632 name
= input_line_pointer
;
3633 endc
= get_symbol_end ();
3635 sym
= symbol_find_or_make (name
);
3637 *input_line_pointer
= endc
;
3639 if (*input_line_pointer
!= ',')
3641 as_bad (_("missing rename string"));
3642 ignore_rest_of_line ();
3645 ++input_line_pointer
;
3647 symbol_get_tc (sym
)->real_name
= demand_copy_C_string (&len
);
3649 demand_empty_rest_of_line ();
3652 /* The .stabx pseudo-op. This is similar to a normal .stabs
3653 pseudo-op, but slightly different. A sample is
3654 .stabx "main:F-1",.main,142,0
3655 The first argument is the symbol name to create. The second is the
3656 value, and the third is the storage class. The fourth seems to be
3657 always zero, and I am assuming it is the type. */
3660 ppc_stabx (int ignore ATTRIBUTE_UNUSED
)
3667 name
= demand_copy_C_string (&len
);
3669 if (*input_line_pointer
!= ',')
3671 as_bad (_("missing value"));
3674 ++input_line_pointer
;
3676 ppc_stab_symbol
= TRUE
;
3677 sym
= symbol_make (name
);
3678 ppc_stab_symbol
= FALSE
;
3680 symbol_get_tc (sym
)->real_name
= name
;
3682 (void) expression (&exp
);
3689 as_bad (_("illegal .stabx expression; zero assumed"));
3690 exp
.X_add_number
= 0;
3693 S_SET_VALUE (sym
, (valueT
) exp
.X_add_number
);
3694 symbol_set_frag (sym
, &zero_address_frag
);
3698 if (S_GET_SEGMENT (exp
.X_add_symbol
) == undefined_section
)
3699 symbol_set_value_expression (sym
, &exp
);
3703 exp
.X_add_number
+ S_GET_VALUE (exp
.X_add_symbol
));
3704 symbol_set_frag (sym
, symbol_get_frag (exp
.X_add_symbol
));
3709 /* The value is some complex expression. This will probably
3710 fail at some later point, but this is probably the right
3711 thing to do here. */
3712 symbol_set_value_expression (sym
, &exp
);
3716 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
3717 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3719 if (*input_line_pointer
!= ',')
3721 as_bad (_("missing class"));
3724 ++input_line_pointer
;
3726 S_SET_STORAGE_CLASS (sym
, get_absolute_expression ());
3728 if (*input_line_pointer
!= ',')
3730 as_bad (_("missing type"));
3733 ++input_line_pointer
;
3735 S_SET_DATA_TYPE (sym
, get_absolute_expression ());
3737 symbol_get_tc (sym
)->output
= 1;
3739 if (S_GET_STORAGE_CLASS (sym
) == C_STSYM
) {
3741 symbol_get_tc (sym
)->within
= ppc_current_block
;
3746 .stabx "z",arrays_,133,0
3749 .comm arrays_,13768,3
3751 resolve_symbol_value will copy the exp's "within" into sym's when the
3752 offset is 0. Since this seems to be corner case problem,
3753 only do the correction for storage class C_STSYM. A better solution
3754 would be to have the tc field updated in ppc_symbol_new_hook. */
3756 if (exp
.X_op
== O_symbol
)
3758 symbol_get_tc (exp
.X_add_symbol
)->within
= ppc_current_block
;
3762 if (exp
.X_op
!= O_symbol
3763 || ! S_IS_EXTERNAL (exp
.X_add_symbol
)
3764 || S_GET_SEGMENT (exp
.X_add_symbol
) != bss_section
)
3765 ppc_frob_label (sym
);
3768 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3769 symbol_append (sym
, exp
.X_add_symbol
, &symbol_rootP
, &symbol_lastP
);
3770 if (symbol_get_tc (ppc_current_csect
)->within
== exp
.X_add_symbol
)
3771 symbol_get_tc (ppc_current_csect
)->within
= sym
;
3774 demand_empty_rest_of_line ();
3777 /* The .function pseudo-op. This takes several arguments. The first
3778 argument seems to be the external name of the symbol. The second
3779 argument seems to be the label for the start of the function. gcc
3780 uses the same name for both. I have no idea what the third and
3781 fourth arguments are meant to be. The optional fifth argument is
3782 an expression for the size of the function. In COFF this symbol
3783 gets an aux entry like that used for a csect. */
3786 ppc_function (int ignore ATTRIBUTE_UNUSED
)
3794 name
= input_line_pointer
;
3795 endc
= get_symbol_end ();
3797 /* Ignore any [PR] suffix. */
3798 name
= ppc_canonicalize_symbol_name (name
);
3799 s
= strchr (name
, '[');
3800 if (s
!= (char *) NULL
3801 && strcmp (s
+ 1, "PR]") == 0)
3804 ext_sym
= symbol_find_or_make (name
);
3806 *input_line_pointer
= endc
;
3808 if (*input_line_pointer
!= ',')
3810 as_bad (_("missing symbol name"));
3811 ignore_rest_of_line ();
3814 ++input_line_pointer
;
3816 name
= input_line_pointer
;
3817 endc
= get_symbol_end ();
3819 lab_sym
= symbol_find_or_make (name
);
3821 *input_line_pointer
= endc
;
3823 if (ext_sym
!= lab_sym
)
3827 exp
.X_op
= O_symbol
;
3828 exp
.X_add_symbol
= lab_sym
;
3829 exp
.X_op_symbol
= NULL
;
3830 exp
.X_add_number
= 0;
3832 symbol_set_value_expression (ext_sym
, &exp
);
3835 if (symbol_get_tc (ext_sym
)->symbol_class
== -1)
3836 symbol_get_tc (ext_sym
)->symbol_class
= XMC_PR
;
3837 symbol_get_tc (ext_sym
)->output
= 1;
3839 if (*input_line_pointer
== ',')
3843 /* Ignore the third argument. */
3844 ++input_line_pointer
;
3846 if (*input_line_pointer
== ',')
3848 /* Ignore the fourth argument. */
3849 ++input_line_pointer
;
3851 if (*input_line_pointer
== ',')
3853 /* The fifth argument is the function size. */
3854 ++input_line_pointer
;
3855 symbol_get_tc (ext_sym
)->size
= symbol_new ("L0\001",
3858 &zero_address_frag
);
3859 pseudo_set (symbol_get_tc (ext_sym
)->size
);
3864 S_SET_DATA_TYPE (ext_sym
, DT_FCN
<< N_BTSHFT
);
3865 SF_SET_FUNCTION (ext_sym
);
3866 SF_SET_PROCESS (ext_sym
);
3867 coff_add_linesym (ext_sym
);
3869 demand_empty_rest_of_line ();
3872 /* The .bf pseudo-op. This is just like a COFF C_FCN symbol named
3873 ".bf". If the pseudo op .bi was seen before .bf, patch the .bi sym
3874 with the correct line number */
3876 static symbolS
*saved_bi_sym
= 0;
3879 ppc_bf (int ignore ATTRIBUTE_UNUSED
)
3883 sym
= symbol_make (".bf");
3884 S_SET_SEGMENT (sym
, text_section
);
3885 symbol_set_frag (sym
, frag_now
);
3886 S_SET_VALUE (sym
, frag_now_fix ());
3887 S_SET_STORAGE_CLASS (sym
, C_FCN
);
3889 coff_line_base
= get_absolute_expression ();
3891 S_SET_NUMBER_AUXILIARY (sym
, 1);
3892 SA_SET_SYM_LNNO (sym
, coff_line_base
);
3894 /* Line number for bi. */
3897 S_SET_VALUE (saved_bi_sym
, coff_n_line_nos
);
3902 symbol_get_tc (sym
)->output
= 1;
3904 ppc_frob_label (sym
);
3906 demand_empty_rest_of_line ();
3909 /* The .ef pseudo-op. This is just like a COFF C_FCN symbol named
3910 ".ef", except that the line number is absolute, not relative to the
3911 most recent ".bf" symbol. */
3914 ppc_ef (int ignore ATTRIBUTE_UNUSED
)
3918 sym
= symbol_make (".ef");
3919 S_SET_SEGMENT (sym
, text_section
);
3920 symbol_set_frag (sym
, frag_now
);
3921 S_SET_VALUE (sym
, frag_now_fix ());
3922 S_SET_STORAGE_CLASS (sym
, C_FCN
);
3923 S_SET_NUMBER_AUXILIARY (sym
, 1);
3924 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
3925 symbol_get_tc (sym
)->output
= 1;
3927 ppc_frob_label (sym
);
3929 demand_empty_rest_of_line ();
3932 /* The .bi and .ei pseudo-ops. These take a string argument and
3933 generates a C_BINCL or C_EINCL symbol, which goes at the start of
3934 the symbol list. The value of .bi will be know when the next .bf
3940 static symbolS
*last_biei
;
3947 name
= demand_copy_C_string (&len
);
3949 /* The value of these symbols is actually file offset. Here we set
3950 the value to the index into the line number entries. In
3951 ppc_frob_symbols we set the fix_line field, which will cause BFD
3952 to do the right thing. */
3954 sym
= symbol_make (name
);
3955 /* obj-coff.c currently only handles line numbers correctly in the
3957 S_SET_SEGMENT (sym
, text_section
);
3958 S_SET_VALUE (sym
, coff_n_line_nos
);
3959 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3961 S_SET_STORAGE_CLASS (sym
, ei
? C_EINCL
: C_BINCL
);
3962 symbol_get_tc (sym
)->output
= 1;
3970 for (look
= last_biei
? last_biei
: symbol_rootP
;
3971 (look
!= (symbolS
*) NULL
3972 && (S_GET_STORAGE_CLASS (look
) == C_FILE
3973 || S_GET_STORAGE_CLASS (look
) == C_BINCL
3974 || S_GET_STORAGE_CLASS (look
) == C_EINCL
));
3975 look
= symbol_next (look
))
3977 if (look
!= (symbolS
*) NULL
)
3979 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3980 symbol_insert (sym
, look
, &symbol_rootP
, &symbol_lastP
);
3984 demand_empty_rest_of_line ();
3987 /* The .bs pseudo-op. This generates a C_BSTAT symbol named ".bs".
3988 There is one argument, which is a csect symbol. The value of the
3989 .bs symbol is the index of this csect symbol. */
3992 ppc_bs (int ignore ATTRIBUTE_UNUSED
)
3999 if (ppc_current_block
!= NULL
)
4000 as_bad (_("nested .bs blocks"));
4002 name
= input_line_pointer
;
4003 endc
= get_symbol_end ();
4005 csect
= symbol_find_or_make (name
);
4007 *input_line_pointer
= endc
;
4009 sym
= symbol_make (".bs");
4010 S_SET_SEGMENT (sym
, now_seg
);
4011 S_SET_STORAGE_CLASS (sym
, C_BSTAT
);
4012 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4013 symbol_get_tc (sym
)->output
= 1;
4015 symbol_get_tc (sym
)->within
= csect
;
4017 ppc_frob_label (sym
);
4019 ppc_current_block
= sym
;
4021 demand_empty_rest_of_line ();
4024 /* The .es pseudo-op. Generate a C_ESTART symbol named .es. */
4027 ppc_es (int ignore ATTRIBUTE_UNUSED
)
4031 if (ppc_current_block
== NULL
)
4032 as_bad (_(".es without preceding .bs"));
4034 sym
= symbol_make (".es");
4035 S_SET_SEGMENT (sym
, now_seg
);
4036 S_SET_STORAGE_CLASS (sym
, C_ESTAT
);
4037 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4038 symbol_get_tc (sym
)->output
= 1;
4040 ppc_frob_label (sym
);
4042 ppc_current_block
= NULL
;
4044 demand_empty_rest_of_line ();
4047 /* The .bb pseudo-op. Generate a C_BLOCK symbol named .bb, with a
4051 ppc_bb (int ignore ATTRIBUTE_UNUSED
)
4055 sym
= symbol_make (".bb");
4056 S_SET_SEGMENT (sym
, text_section
);
4057 symbol_set_frag (sym
, frag_now
);
4058 S_SET_VALUE (sym
, frag_now_fix ());
4059 S_SET_STORAGE_CLASS (sym
, C_BLOCK
);
4061 S_SET_NUMBER_AUXILIARY (sym
, 1);
4062 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
4064 symbol_get_tc (sym
)->output
= 1;
4066 SF_SET_PROCESS (sym
);
4068 ppc_frob_label (sym
);
4070 demand_empty_rest_of_line ();
4073 /* The .eb pseudo-op. Generate a C_BLOCK symbol named .eb, with a
4077 ppc_eb (int ignore ATTRIBUTE_UNUSED
)
4081 sym
= symbol_make (".eb");
4082 S_SET_SEGMENT (sym
, text_section
);
4083 symbol_set_frag (sym
, frag_now
);
4084 S_SET_VALUE (sym
, frag_now_fix ());
4085 S_SET_STORAGE_CLASS (sym
, C_BLOCK
);
4086 S_SET_NUMBER_AUXILIARY (sym
, 1);
4087 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
4088 symbol_get_tc (sym
)->output
= 1;
4090 SF_SET_PROCESS (sym
);
4092 ppc_frob_label (sym
);
4094 demand_empty_rest_of_line ();
4097 /* The .bc pseudo-op. This just creates a C_BCOMM symbol with a
4101 ppc_bc (int ignore ATTRIBUTE_UNUSED
)
4107 name
= demand_copy_C_string (&len
);
4108 sym
= symbol_make (name
);
4109 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
4110 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4111 S_SET_STORAGE_CLASS (sym
, C_BCOMM
);
4112 S_SET_VALUE (sym
, 0);
4113 symbol_get_tc (sym
)->output
= 1;
4115 ppc_frob_label (sym
);
4117 demand_empty_rest_of_line ();
4120 /* The .ec pseudo-op. This just creates a C_ECOMM symbol. */
4123 ppc_ec (int ignore ATTRIBUTE_UNUSED
)
4127 sym
= symbol_make (".ec");
4128 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
4129 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4130 S_SET_STORAGE_CLASS (sym
, C_ECOMM
);
4131 S_SET_VALUE (sym
, 0);
4132 symbol_get_tc (sym
)->output
= 1;
4134 ppc_frob_label (sym
);
4136 demand_empty_rest_of_line ();
4139 /* The .toc pseudo-op. Switch to the .toc subsegment. */
4142 ppc_toc (int ignore ATTRIBUTE_UNUSED
)
4144 if (ppc_toc_csect
!= (symbolS
*) NULL
)
4145 subseg_set (data_section
, symbol_get_tc (ppc_toc_csect
)->subseg
);
4152 subseg
= ppc_data_subsegment
;
4153 ++ppc_data_subsegment
;
4155 subseg_new (segment_name (data_section
), subseg
);
4156 ppc_toc_frag
= frag_now
;
4158 sym
= symbol_find_or_make ("TOC[TC0]");
4159 symbol_set_frag (sym
, frag_now
);
4160 S_SET_SEGMENT (sym
, data_section
);
4161 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
4162 symbol_get_tc (sym
)->subseg
= subseg
;
4163 symbol_get_tc (sym
)->output
= 1;
4164 symbol_get_tc (sym
)->within
= sym
;
4166 ppc_toc_csect
= sym
;
4168 for (list
= ppc_data_csects
;
4169 symbol_get_tc (list
)->next
!= (symbolS
*) NULL
;
4170 list
= symbol_get_tc (list
)->next
)
4172 symbol_get_tc (list
)->next
= sym
;
4174 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
4175 symbol_append (sym
, symbol_get_tc (list
)->within
, &symbol_rootP
,
4179 ppc_current_csect
= ppc_toc_csect
;
4181 demand_empty_rest_of_line ();
4184 /* The AIX assembler automatically aligns the operands of a .long or
4185 .short pseudo-op, and we want to be compatible. */
4188 ppc_xcoff_cons (int log_size
)
4190 frag_align (log_size
, 0, 0);
4191 record_alignment (now_seg
, log_size
);
4192 cons (1 << log_size
);
4196 ppc_vbyte (int dummy ATTRIBUTE_UNUSED
)
4201 (void) expression (&exp
);
4203 if (exp
.X_op
!= O_constant
)
4205 as_bad (_("non-constant byte count"));
4209 byte_count
= exp
.X_add_number
;
4211 if (*input_line_pointer
!= ',')
4213 as_bad (_("missing value"));
4217 ++input_line_pointer
;
4221 #endif /* OBJ_XCOFF */
4222 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
4224 /* The .tc pseudo-op. This is used when generating either XCOFF or
4225 ELF. This takes two or more arguments.
4227 When generating XCOFF output, the first argument is the name to
4228 give to this location in the toc; this will be a symbol with class
4229 TC. The rest of the arguments are N-byte values to actually put at
4230 this location in the TOC; often there is just one more argument, a
4231 relocatable symbol reference. The size of the value to store
4232 depends on target word size. A 32-bit target uses 4-byte values, a
4233 64-bit target uses 8-byte values.
4235 When not generating XCOFF output, the arguments are the same, but
4236 the first argument is simply ignored. */
4239 ppc_tc (int ignore ATTRIBUTE_UNUSED
)
4243 /* Define the TOC symbol name. */
4249 if (ppc_toc_csect
== (symbolS
*) NULL
4250 || ppc_toc_csect
!= ppc_current_csect
)
4252 as_bad (_(".tc not in .toc section"));
4253 ignore_rest_of_line ();
4257 name
= input_line_pointer
;
4258 endc
= get_symbol_end ();
4260 sym
= symbol_find_or_make (name
);
4262 *input_line_pointer
= endc
;
4264 if (S_IS_DEFINED (sym
))
4268 label
= symbol_get_tc (ppc_current_csect
)->within
;
4269 if (symbol_get_tc (label
)->symbol_class
!= XMC_TC0
)
4271 as_bad (_(".tc with no label"));
4272 ignore_rest_of_line ();
4276 S_SET_SEGMENT (label
, S_GET_SEGMENT (sym
));
4277 symbol_set_frag (label
, symbol_get_frag (sym
));
4278 S_SET_VALUE (label
, S_GET_VALUE (sym
));
4280 while (! is_end_of_line
[(unsigned char) *input_line_pointer
])
4281 ++input_line_pointer
;
4286 S_SET_SEGMENT (sym
, now_seg
);
4287 symbol_set_frag (sym
, frag_now
);
4288 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
4289 symbol_get_tc (sym
)->symbol_class
= XMC_TC
;
4290 symbol_get_tc (sym
)->output
= 1;
4292 ppc_frob_label (sym
);
4295 #endif /* OBJ_XCOFF */
4299 /* Skip the TOC symbol name. */
4300 while (is_part_of_name (*input_line_pointer
)
4301 || *input_line_pointer
== ' '
4302 || *input_line_pointer
== '['
4303 || *input_line_pointer
== ']'
4304 || *input_line_pointer
== '{'
4305 || *input_line_pointer
== '}')
4306 ++input_line_pointer
;
4308 /* Align to a four/eight byte boundary. */
4309 align
= ppc_obj64
? 3 : 2;
4310 frag_align (align
, 0, 0);
4311 record_alignment (now_seg
, align
);
4312 #endif /* OBJ_ELF */
4314 if (*input_line_pointer
!= ',')
4315 demand_empty_rest_of_line ();
4318 ++input_line_pointer
;
4319 cons (ppc_obj64
? 8 : 4);
4323 /* Pseudo-op .machine. */
4326 ppc_machine (int ignore ATTRIBUTE_UNUSED
)
4329 #define MAX_HISTORY 100
4330 static ppc_cpu_t
*cpu_history
;
4331 static int curr_hist
;
4335 if (*input_line_pointer
== '"')
4338 cpu_string
= demand_copy_C_string (&len
);
4343 cpu_string
= input_line_pointer
;
4344 c
= get_symbol_end ();
4345 cpu_string
= xstrdup (cpu_string
);
4346 *input_line_pointer
= c
;
4349 if (cpu_string
!= NULL
)
4351 ppc_cpu_t old_cpu
= ppc_cpu
;
4355 for (p
= cpu_string
; *p
!= 0; p
++)
4358 if (strcmp (cpu_string
, "push") == 0)
4360 if (cpu_history
== NULL
)
4361 cpu_history
= xmalloc (MAX_HISTORY
* sizeof (*cpu_history
));
4363 if (curr_hist
>= MAX_HISTORY
)
4364 as_bad (_(".machine stack overflow"));
4366 cpu_history
[curr_hist
++] = ppc_cpu
;
4368 else if (strcmp (cpu_string
, "pop") == 0)
4371 as_bad (_(".machine stack underflow"));
4373 ppc_cpu
= cpu_history
[--curr_hist
];
4375 else if ((new_cpu
= ppc_parse_cpu (ppc_cpu
, cpu_string
)) != 0)
4378 as_bad (_("invalid machine `%s'"), cpu_string
);
4380 if (ppc_cpu
!= old_cpu
)
4381 ppc_setup_opcodes ();
4384 demand_empty_rest_of_line ();
4387 /* See whether a symbol is in the TOC section. */
4390 ppc_is_toc_sym (symbolS
*sym
)
4393 return symbol_get_tc (sym
)->symbol_class
== XMC_TC
;
4396 const char *sname
= segment_name (S_GET_SEGMENT (sym
));
4398 return strcmp (sname
, ".toc") == 0;
4400 return strcmp (sname
, ".got") == 0;
4403 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
4407 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
4409 /* Set the current section. */
4411 ppc_set_current_section (segT
new)
4413 ppc_previous_section
= ppc_current_section
;
4414 ppc_current_section
= new;
4417 /* pseudo-op: .previous
4418 behaviour: toggles the current section with the previous section.
4420 warnings: "No previous section" */
4423 ppc_previous (int ignore ATTRIBUTE_UNUSED
)
4427 if (ppc_previous_section
== NULL
)
4429 as_warn (_("No previous section to return to. Directive ignored."));
4433 subseg_set (ppc_previous_section
, 0);
4435 ppc_set_current_section (ppc_previous_section
);
4438 /* pseudo-op: .pdata
4439 behaviour: predefined read only data section
4443 initial: .section .pdata "adr3"
4444 a - don't know -- maybe a misprint
4445 d - initialized data
4447 3 - double word aligned (that would be 4 byte boundary)
4450 Tag index tables (also known as the function table) for exception
4451 handling, debugging, etc. */
4454 ppc_pdata (int ignore ATTRIBUTE_UNUSED
)
4456 if (pdata_section
== 0)
4458 pdata_section
= subseg_new (".pdata", 0);
4460 bfd_set_section_flags (stdoutput
, pdata_section
,
4461 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4462 | SEC_READONLY
| SEC_DATA
));
4464 bfd_set_section_alignment (stdoutput
, pdata_section
, 2);
4468 pdata_section
= subseg_new (".pdata", 0);
4470 ppc_set_current_section (pdata_section
);
4473 /* pseudo-op: .ydata
4474 behaviour: predefined read only data section
4478 initial: .section .ydata "drw3"
4479 a - don't know -- maybe a misprint
4480 d - initialized data
4482 3 - double word aligned (that would be 4 byte boundary)
4484 Tag tables (also known as the scope table) for exception handling,
4488 ppc_ydata (int ignore ATTRIBUTE_UNUSED
)
4490 if (ydata_section
== 0)
4492 ydata_section
= subseg_new (".ydata", 0);
4493 bfd_set_section_flags (stdoutput
, ydata_section
,
4494 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4495 | SEC_READONLY
| SEC_DATA
));
4497 bfd_set_section_alignment (stdoutput
, ydata_section
, 3);
4501 ydata_section
= subseg_new (".ydata", 0);
4503 ppc_set_current_section (ydata_section
);
4506 /* pseudo-op: .reldata
4507 behaviour: predefined read write data section
4508 double word aligned (4-byte)
4509 FIXME: relocation is applied to it
4510 FIXME: what's the difference between this and .data?
4513 initial: .section .reldata "drw3"
4514 d - initialized data
4517 3 - double word aligned (that would be 8 byte boundary)
4520 Like .data, but intended to hold data subject to relocation, such as
4521 function descriptors, etc. */
4524 ppc_reldata (int ignore ATTRIBUTE_UNUSED
)
4526 if (reldata_section
== 0)
4528 reldata_section
= subseg_new (".reldata", 0);
4530 bfd_set_section_flags (stdoutput
, reldata_section
,
4531 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4534 bfd_set_section_alignment (stdoutput
, reldata_section
, 2);
4538 reldata_section
= subseg_new (".reldata", 0);
4540 ppc_set_current_section (reldata_section
);
4543 /* pseudo-op: .rdata
4544 behaviour: predefined read only data section
4548 initial: .section .rdata "dr3"
4549 d - initialized data
4551 3 - double word aligned (that would be 4 byte boundary) */
4554 ppc_rdata (int ignore ATTRIBUTE_UNUSED
)
4556 if (rdata_section
== 0)
4558 rdata_section
= subseg_new (".rdata", 0);
4559 bfd_set_section_flags (stdoutput
, rdata_section
,
4560 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4561 | SEC_READONLY
| SEC_DATA
));
4563 bfd_set_section_alignment (stdoutput
, rdata_section
, 2);
4567 rdata_section
= subseg_new (".rdata", 0);
4569 ppc_set_current_section (rdata_section
);
4572 /* pseudo-op: .ualong
4573 behaviour: much like .int, with the exception that no alignment is
4575 FIXME: test the alignment statement
4580 ppc_ualong (int ignore ATTRIBUTE_UNUSED
)
4586 /* pseudo-op: .znop <symbol name>
4587 behaviour: Issue a nop instruction
4588 Issue a IMAGE_REL_PPC_IFGLUE relocation against it, using
4589 the supplied symbol name.
4591 warnings: Missing symbol name */
4594 ppc_znop (int ignore ATTRIBUTE_UNUSED
)
4597 const struct powerpc_opcode
*opcode
;
4608 /* Strip out the symbol name. */
4609 symbol_name
= input_line_pointer
;
4610 c
= get_symbol_end ();
4612 name
= xmalloc (input_line_pointer
- symbol_name
+ 1);
4613 strcpy (name
, symbol_name
);
4615 sym
= symbol_find_or_make (name
);
4617 *input_line_pointer
= c
;
4621 /* Look up the opcode in the hash table. */
4622 opcode
= (const struct powerpc_opcode
*) hash_find (ppc_hash
, "nop");
4624 /* Stick in the nop. */
4625 insn
= opcode
->opcode
;
4627 /* Write out the instruction. */
4629 md_number_to_chars (f
, insn
, 4);
4631 f
- frag_now
->fr_literal
,
4636 BFD_RELOC_16_GOT_PCREL
);
4646 ppc_pe_comm (int lcomm
)
4655 name
= input_line_pointer
;
4656 c
= get_symbol_end ();
4658 /* just after name is now '\0'. */
4659 p
= input_line_pointer
;
4662 if (*input_line_pointer
!= ',')
4664 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
4665 ignore_rest_of_line ();
4669 input_line_pointer
++; /* skip ',' */
4670 if ((temp
= get_absolute_expression ()) < 0)
4672 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp
);
4673 ignore_rest_of_line ();
4679 /* The third argument to .comm is the alignment. */
4680 if (*input_line_pointer
!= ',')
4684 ++input_line_pointer
;
4685 align
= get_absolute_expression ();
4688 as_warn (_("ignoring bad alignment"));
4695 symbolP
= symbol_find_or_make (name
);
4698 if (S_IS_DEFINED (symbolP
) && ! S_IS_COMMON (symbolP
))
4700 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
4701 S_GET_NAME (symbolP
));
4702 ignore_rest_of_line ();
4706 if (S_GET_VALUE (symbolP
))
4708 if (S_GET_VALUE (symbolP
) != (valueT
) temp
)
4709 as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
4710 S_GET_NAME (symbolP
),
4711 (long) S_GET_VALUE (symbolP
),
4716 S_SET_VALUE (symbolP
, (valueT
) temp
);
4717 S_SET_EXTERNAL (symbolP
);
4718 S_SET_SEGMENT (symbolP
, bfd_com_section_ptr
);
4721 demand_empty_rest_of_line ();
4725 * implement the .section pseudo op:
4726 * .section name {, "flags"}
4728 * | +--- optional flags: 'b' for bss
4730 * +-- section name 'l' for lib
4734 * 'd' (apparently m88k for data)
4736 * But if the argument is not a quoted string, treat it as a
4737 * subsegment number.
4739 * FIXME: this is a copy of the section processing from obj-coff.c, with
4740 * additions/changes for the moto-pas assembler support. There are three
4743 * FIXME: I just noticed this. This doesn't work at all really. It it
4744 * setting bits that bfd probably neither understands or uses. The
4745 * correct approach (?) will have to incorporate extra fields attached
4746 * to the section to hold the system specific stuff. (krk)
4749 * 'a' - unknown - referred to in documentation, but no definition supplied
4750 * 'c' - section has code
4751 * 'd' - section has initialized data
4752 * 'u' - section has uninitialized data
4753 * 'i' - section contains directives (info)
4754 * 'n' - section can be discarded
4755 * 'R' - remove section at link time
4757 * Section Protection:
4758 * 'r' - section is readable
4759 * 'w' - section is writeable
4760 * 'x' - section is executable
4761 * 's' - section is sharable
4763 * Section Alignment:
4764 * '0' - align to byte boundary
4765 * '1' - align to halfword undary
4766 * '2' - align to word boundary
4767 * '3' - align to doubleword boundary
4768 * '4' - align to quadword boundary
4769 * '5' - align to 32 byte boundary
4770 * '6' - align to 64 byte boundary
4775 ppc_pe_section (int ignore ATTRIBUTE_UNUSED
)
4777 /* Strip out the section name. */
4786 section_name
= input_line_pointer
;
4787 c
= get_symbol_end ();
4789 name
= xmalloc (input_line_pointer
- section_name
+ 1);
4790 strcpy (name
, section_name
);
4792 *input_line_pointer
= c
;
4797 flags
= SEC_NO_FLAGS
;
4799 if (strcmp (name
, ".idata$2") == 0)
4803 else if (strcmp (name
, ".idata$3") == 0)
4807 else if (strcmp (name
, ".idata$4") == 0)
4811 else if (strcmp (name
, ".idata$5") == 0)
4815 else if (strcmp (name
, ".idata$6") == 0)
4820 /* Default alignment to 16 byte boundary. */
4823 if (*input_line_pointer
== ',')
4825 ++input_line_pointer
;
4827 if (*input_line_pointer
!= '"')
4828 exp
= get_absolute_expression ();
4831 ++input_line_pointer
;
4832 while (*input_line_pointer
!= '"'
4833 && ! is_end_of_line
[(unsigned char) *input_line_pointer
])
4835 switch (*input_line_pointer
)
4837 /* Section Contents */
4838 case 'a': /* unknown */
4839 as_bad (_("Unsupported section attribute -- 'a'"));
4841 case 'c': /* code section */
4844 case 'd': /* section has initialized data */
4847 case 'u': /* section has uninitialized data */
4848 /* FIXME: This is IMAGE_SCN_CNT_UNINITIALIZED_DATA
4852 case 'i': /* section contains directives (info) */
4853 /* FIXME: This is IMAGE_SCN_LNK_INFO
4855 flags
|= SEC_HAS_CONTENTS
;
4857 case 'n': /* section can be discarded */
4860 case 'R': /* Remove section at link time */
4861 flags
|= SEC_NEVER_LOAD
;
4863 #if IFLICT_BRAIN_DAMAGE
4864 /* Section Protection */
4865 case 'r': /* section is readable */
4866 flags
|= IMAGE_SCN_MEM_READ
;
4868 case 'w': /* section is writeable */
4869 flags
|= IMAGE_SCN_MEM_WRITE
;
4871 case 'x': /* section is executable */
4872 flags
|= IMAGE_SCN_MEM_EXECUTE
;
4874 case 's': /* section is sharable */
4875 flags
|= IMAGE_SCN_MEM_SHARED
;
4878 /* Section Alignment */
4879 case '0': /* align to byte boundary */
4880 flags
|= IMAGE_SCN_ALIGN_1BYTES
;
4883 case '1': /* align to halfword boundary */
4884 flags
|= IMAGE_SCN_ALIGN_2BYTES
;
4887 case '2': /* align to word boundary */
4888 flags
|= IMAGE_SCN_ALIGN_4BYTES
;
4891 case '3': /* align to doubleword boundary */
4892 flags
|= IMAGE_SCN_ALIGN_8BYTES
;
4895 case '4': /* align to quadword boundary */
4896 flags
|= IMAGE_SCN_ALIGN_16BYTES
;
4899 case '5': /* align to 32 byte boundary */
4900 flags
|= IMAGE_SCN_ALIGN_32BYTES
;
4903 case '6': /* align to 64 byte boundary */
4904 flags
|= IMAGE_SCN_ALIGN_64BYTES
;
4909 as_bad (_("unknown section attribute '%c'"),
4910 *input_line_pointer
);
4913 ++input_line_pointer
;
4915 if (*input_line_pointer
== '"')
4916 ++input_line_pointer
;
4920 sec
= subseg_new (name
, (subsegT
) exp
);
4922 ppc_set_current_section (sec
);
4924 if (flags
!= SEC_NO_FLAGS
)
4926 if (! bfd_set_section_flags (stdoutput
, sec
, flags
))
4927 as_bad (_("error setting flags for \"%s\": %s"),
4928 bfd_section_name (stdoutput
, sec
),
4929 bfd_errmsg (bfd_get_error ()));
4932 bfd_set_section_alignment (stdoutput
, sec
, align
);
4936 ppc_pe_function (int ignore ATTRIBUTE_UNUSED
)
4942 name
= input_line_pointer
;
4943 endc
= get_symbol_end ();
4945 ext_sym
= symbol_find_or_make (name
);
4947 *input_line_pointer
= endc
;
4949 S_SET_DATA_TYPE (ext_sym
, DT_FCN
<< N_BTSHFT
);
4950 SF_SET_FUNCTION (ext_sym
);
4951 SF_SET_PROCESS (ext_sym
);
4952 coff_add_linesym (ext_sym
);
4954 demand_empty_rest_of_line ();
4958 ppc_pe_tocd (int ignore ATTRIBUTE_UNUSED
)
4960 if (tocdata_section
== 0)
4962 tocdata_section
= subseg_new (".tocd", 0);
4963 /* FIXME: section flags won't work. */
4964 bfd_set_section_flags (stdoutput
, tocdata_section
,
4965 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4966 | SEC_READONLY
| SEC_DATA
));
4968 bfd_set_section_alignment (stdoutput
, tocdata_section
, 2);
4972 rdata_section
= subseg_new (".tocd", 0);
4975 ppc_set_current_section (tocdata_section
);
4977 demand_empty_rest_of_line ();
4980 /* Don't adjust TOC relocs to use the section symbol. */
4983 ppc_pe_fix_adjustable (fixS
*fix
)
4985 return fix
->fx_r_type
!= BFD_RELOC_PPC_TOC16
;
4992 /* XCOFF specific symbol and file handling. */
4994 /* Canonicalize the symbol name. We use the to force the suffix, if
4995 any, to use square brackets, and to be in upper case. */
4998 ppc_canonicalize_symbol_name (char *name
)
5002 if (ppc_stab_symbol
)
5005 for (s
= name
; *s
!= '\0' && *s
!= '{' && *s
!= '['; s
++)
5019 for (s
++; *s
!= '\0' && *s
!= brac
; s
++)
5022 if (*s
== '\0' || s
[1] != '\0')
5023 as_bad (_("bad symbol suffix"));
5031 /* Set the class of a symbol based on the suffix, if any. This is
5032 called whenever a new symbol is created. */
5035 ppc_symbol_new_hook (symbolS
*sym
)
5037 struct ppc_tc_sy
*tc
;
5040 tc
= symbol_get_tc (sym
);
5043 tc
->symbol_class
= -1;
5044 tc
->real_name
= NULL
;
5050 if (ppc_stab_symbol
)
5053 s
= strchr (S_GET_NAME (sym
), '[');
5054 if (s
== (const char *) NULL
)
5056 /* There is no suffix. */
5065 if (strcmp (s
, "BS]") == 0)
5066 tc
->symbol_class
= XMC_BS
;
5069 if (strcmp (s
, "DB]") == 0)
5070 tc
->symbol_class
= XMC_DB
;
5071 else if (strcmp (s
, "DS]") == 0)
5072 tc
->symbol_class
= XMC_DS
;
5075 if (strcmp (s
, "GL]") == 0)
5076 tc
->symbol_class
= XMC_GL
;
5079 if (strcmp (s
, "PR]") == 0)
5080 tc
->symbol_class
= XMC_PR
;
5083 if (strcmp (s
, "RO]") == 0)
5084 tc
->symbol_class
= XMC_RO
;
5085 else if (strcmp (s
, "RW]") == 0)
5086 tc
->symbol_class
= XMC_RW
;
5089 if (strcmp (s
, "SV]") == 0)
5090 tc
->symbol_class
= XMC_SV
;
5093 if (strcmp (s
, "TC]") == 0)
5094 tc
->symbol_class
= XMC_TC
;
5095 else if (strcmp (s
, "TI]") == 0)
5096 tc
->symbol_class
= XMC_TI
;
5097 else if (strcmp (s
, "TB]") == 0)
5098 tc
->symbol_class
= XMC_TB
;
5099 else if (strcmp (s
, "TC0]") == 0 || strcmp (s
, "T0]") == 0)
5100 tc
->symbol_class
= XMC_TC0
;
5103 if (strcmp (s
, "UA]") == 0)
5104 tc
->symbol_class
= XMC_UA
;
5105 else if (strcmp (s
, "UC]") == 0)
5106 tc
->symbol_class
= XMC_UC
;
5109 if (strcmp (s
, "XO]") == 0)
5110 tc
->symbol_class
= XMC_XO
;
5114 if (tc
->symbol_class
== -1)
5115 as_bad (_("Unrecognized symbol suffix"));
5118 /* Set the class of a label based on where it is defined. This
5119 handles symbols without suffixes. Also, move the symbol so that it
5120 follows the csect symbol. */
5123 ppc_frob_label (symbolS
*sym
)
5125 if (ppc_current_csect
!= (symbolS
*) NULL
)
5127 if (symbol_get_tc (sym
)->symbol_class
== -1)
5128 symbol_get_tc (sym
)->symbol_class
= symbol_get_tc (ppc_current_csect
)->symbol_class
;
5130 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
5131 symbol_append (sym
, symbol_get_tc (ppc_current_csect
)->within
,
5132 &symbol_rootP
, &symbol_lastP
);
5133 symbol_get_tc (ppc_current_csect
)->within
= sym
;
5137 dwarf2_emit_label (sym
);
5141 /* This variable is set by ppc_frob_symbol if any absolute symbols are
5142 seen. It tells ppc_adjust_symtab whether it needs to look through
5145 static bfd_boolean ppc_saw_abs
;
5147 /* Change the name of a symbol just before writing it out. Set the
5148 real name if the .rename pseudo-op was used. Otherwise, remove any
5149 class suffix. Return 1 if the symbol should not be included in the
5153 ppc_frob_symbol (symbolS
*sym
)
5155 static symbolS
*ppc_last_function
;
5156 static symbolS
*set_end
;
5158 /* Discard symbols that should not be included in the output symbol
5160 if (! symbol_used_in_reloc_p (sym
)
5161 && ((symbol_get_bfdsym (sym
)->flags
& BSF_SECTION_SYM
) != 0
5162 || (! (S_IS_EXTERNAL (sym
) || S_IS_WEAK (sym
))
5163 && ! symbol_get_tc (sym
)->output
5164 && S_GET_STORAGE_CLASS (sym
) != C_FILE
)))
5167 /* This one will disappear anyway. Don't make a csect sym for it. */
5168 if (sym
== abs_section_sym
)
5171 if (symbol_get_tc (sym
)->real_name
!= (char *) NULL
)
5172 S_SET_NAME (sym
, symbol_get_tc (sym
)->real_name
);
5178 name
= S_GET_NAME (sym
);
5179 s
= strchr (name
, '[');
5180 if (s
!= (char *) NULL
)
5186 snew
= xmalloc (len
+ 1);
5187 memcpy (snew
, name
, len
);
5190 S_SET_NAME (sym
, snew
);
5194 if (set_end
!= (symbolS
*) NULL
)
5196 SA_SET_SYM_ENDNDX (set_end
, sym
);
5200 if (SF_GET_FUNCTION (sym
))
5202 if (ppc_last_function
!= (symbolS
*) NULL
)
5203 as_bad (_("two .function pseudo-ops with no intervening .ef"));
5204 ppc_last_function
= sym
;
5205 if (symbol_get_tc (sym
)->size
!= (symbolS
*) NULL
)
5207 resolve_symbol_value (symbol_get_tc (sym
)->size
);
5208 SA_SET_SYM_FSIZE (sym
,
5209 (long) S_GET_VALUE (symbol_get_tc (sym
)->size
));
5212 else if (S_GET_STORAGE_CLASS (sym
) == C_FCN
5213 && strcmp (S_GET_NAME (sym
), ".ef") == 0)
5215 if (ppc_last_function
== (symbolS
*) NULL
)
5216 as_bad (_(".ef with no preceding .function"));
5219 set_end
= ppc_last_function
;
5220 ppc_last_function
= NULL
;
5222 /* We don't have a C_EFCN symbol, but we need to force the
5223 COFF backend to believe that it has seen one. */
5224 coff_last_function
= NULL
;
5228 if (! (S_IS_EXTERNAL (sym
) || S_IS_WEAK (sym
))
5229 && (symbol_get_bfdsym (sym
)->flags
& BSF_SECTION_SYM
) == 0
5230 && S_GET_STORAGE_CLASS (sym
) != C_FILE
5231 && S_GET_STORAGE_CLASS (sym
) != C_FCN
5232 && S_GET_STORAGE_CLASS (sym
) != C_BLOCK
5233 && S_GET_STORAGE_CLASS (sym
) != C_BSTAT
5234 && S_GET_STORAGE_CLASS (sym
) != C_ESTAT
5235 && S_GET_STORAGE_CLASS (sym
) != C_BINCL
5236 && S_GET_STORAGE_CLASS (sym
) != C_EINCL
5237 && S_GET_SEGMENT (sym
) != ppc_coff_debug_section
)
5238 S_SET_STORAGE_CLASS (sym
, C_HIDEXT
);
5240 if (S_GET_STORAGE_CLASS (sym
) == C_EXT
5241 || S_GET_STORAGE_CLASS (sym
) == C_AIX_WEAKEXT
5242 || S_GET_STORAGE_CLASS (sym
) == C_HIDEXT
)
5245 union internal_auxent
*a
;
5247 /* Create a csect aux. */
5248 i
= S_GET_NUMBER_AUXILIARY (sym
);
5249 S_SET_NUMBER_AUXILIARY (sym
, i
+ 1);
5250 a
= &coffsymbol (symbol_get_bfdsym (sym
))->native
[i
+ 1].u
.auxent
;
5251 if (symbol_get_tc (sym
)->symbol_class
== XMC_TC0
)
5253 /* This is the TOC table. */
5254 know (strcmp (S_GET_NAME (sym
), "TOC") == 0);
5255 a
->x_csect
.x_scnlen
.l
= 0;
5256 a
->x_csect
.x_smtyp
= (2 << 3) | XTY_SD
;
5258 else if (symbol_get_tc (sym
)->subseg
!= 0)
5260 /* This is a csect symbol. x_scnlen is the size of the
5262 if (symbol_get_tc (sym
)->next
== (symbolS
*) NULL
)
5263 a
->x_csect
.x_scnlen
.l
= (bfd_section_size (stdoutput
,
5264 S_GET_SEGMENT (sym
))
5265 - S_GET_VALUE (sym
));
5268 resolve_symbol_value (symbol_get_tc (sym
)->next
);
5269 a
->x_csect
.x_scnlen
.l
= (S_GET_VALUE (symbol_get_tc (sym
)->next
)
5270 - S_GET_VALUE (sym
));
5272 a
->x_csect
.x_smtyp
= (symbol_get_tc (sym
)->align
<< 3) | XTY_SD
;
5274 else if (S_GET_SEGMENT (sym
) == bss_section
)
5276 /* This is a common symbol. */
5277 a
->x_csect
.x_scnlen
.l
= symbol_get_frag (sym
)->fr_offset
;
5278 a
->x_csect
.x_smtyp
= (symbol_get_tc (sym
)->align
<< 3) | XTY_CM
;
5279 if (S_IS_EXTERNAL (sym
))
5280 symbol_get_tc (sym
)->symbol_class
= XMC_RW
;
5282 symbol_get_tc (sym
)->symbol_class
= XMC_BS
;
5284 else if (S_GET_SEGMENT (sym
) == absolute_section
)
5286 /* This is an absolute symbol. The csect will be created by
5287 ppc_adjust_symtab. */
5289 a
->x_csect
.x_smtyp
= XTY_LD
;
5290 if (symbol_get_tc (sym
)->symbol_class
== -1)
5291 symbol_get_tc (sym
)->symbol_class
= XMC_XO
;
5293 else if (! S_IS_DEFINED (sym
))
5295 /* This is an external symbol. */
5296 a
->x_csect
.x_scnlen
.l
= 0;
5297 a
->x_csect
.x_smtyp
= XTY_ER
;
5299 else if (symbol_get_tc (sym
)->symbol_class
== XMC_TC
)
5303 /* This is a TOC definition. x_scnlen is the size of the
5305 next
= symbol_next (sym
);
5306 while (symbol_get_tc (next
)->symbol_class
== XMC_TC0
)
5307 next
= symbol_next (next
);
5308 if (next
== (symbolS
*) NULL
5309 || symbol_get_tc (next
)->symbol_class
!= XMC_TC
)
5311 if (ppc_after_toc_frag
== (fragS
*) NULL
)
5312 a
->x_csect
.x_scnlen
.l
= (bfd_section_size (stdoutput
,
5314 - S_GET_VALUE (sym
));
5316 a
->x_csect
.x_scnlen
.l
= (ppc_after_toc_frag
->fr_address
5317 - S_GET_VALUE (sym
));
5321 resolve_symbol_value (next
);
5322 a
->x_csect
.x_scnlen
.l
= (S_GET_VALUE (next
)
5323 - S_GET_VALUE (sym
));
5325 a
->x_csect
.x_smtyp
= (2 << 3) | XTY_SD
;
5331 /* This is a normal symbol definition. x_scnlen is the
5332 symbol index of the containing csect. */
5333 if (S_GET_SEGMENT (sym
) == text_section
)
5334 csect
= ppc_text_csects
;
5335 else if (S_GET_SEGMENT (sym
) == data_section
)
5336 csect
= ppc_data_csects
;
5340 /* Skip the initial dummy symbol. */
5341 csect
= symbol_get_tc (csect
)->next
;
5343 if (csect
== (symbolS
*) NULL
)
5345 as_warn (_("warning: symbol %s has no csect"), S_GET_NAME (sym
));
5346 a
->x_csect
.x_scnlen
.l
= 0;
5350 while (symbol_get_tc (csect
)->next
!= (symbolS
*) NULL
)
5352 resolve_symbol_value (symbol_get_tc (csect
)->next
);
5353 if (S_GET_VALUE (symbol_get_tc (csect
)->next
)
5354 > S_GET_VALUE (sym
))
5356 csect
= symbol_get_tc (csect
)->next
;
5359 a
->x_csect
.x_scnlen
.p
=
5360 coffsymbol (symbol_get_bfdsym (csect
))->native
;
5361 coffsymbol (symbol_get_bfdsym (sym
))->native
[i
+ 1].fix_scnlen
=
5364 a
->x_csect
.x_smtyp
= XTY_LD
;
5367 a
->x_csect
.x_parmhash
= 0;
5368 a
->x_csect
.x_snhash
= 0;
5369 if (symbol_get_tc (sym
)->symbol_class
== -1)
5370 a
->x_csect
.x_smclas
= XMC_PR
;
5372 a
->x_csect
.x_smclas
= symbol_get_tc (sym
)->symbol_class
;
5373 a
->x_csect
.x_stab
= 0;
5374 a
->x_csect
.x_snstab
= 0;
5376 /* Don't let the COFF backend resort these symbols. */
5377 symbol_get_bfdsym (sym
)->flags
|= BSF_NOT_AT_END
;
5379 else if (S_GET_STORAGE_CLASS (sym
) == C_BSTAT
)
5381 /* We want the value to be the symbol index of the referenced
5382 csect symbol. BFD will do that for us if we set the right
5384 asymbol
*bsym
= symbol_get_bfdsym (symbol_get_tc (sym
)->within
);
5385 combined_entry_type
*c
= coffsymbol (bsym
)->native
;
5387 S_SET_VALUE (sym
, (valueT
) (size_t) c
);
5388 coffsymbol (symbol_get_bfdsym (sym
))->native
->fix_value
= 1;
5390 else if (S_GET_STORAGE_CLASS (sym
) == C_STSYM
)
5395 /* The value is the offset from the enclosing csect. */
5396 block
= symbol_get_tc (sym
)->within
;
5397 csect
= symbol_get_tc (block
)->within
;
5398 resolve_symbol_value (csect
);
5399 S_SET_VALUE (sym
, S_GET_VALUE (sym
) - S_GET_VALUE (csect
));
5401 else if (S_GET_STORAGE_CLASS (sym
) == C_BINCL
5402 || S_GET_STORAGE_CLASS (sym
) == C_EINCL
)
5404 /* We want the value to be a file offset into the line numbers.
5405 BFD will do that for us if we set the right flags. We have
5406 already set the value correctly. */
5407 coffsymbol (symbol_get_bfdsym (sym
))->native
->fix_line
= 1;
5413 /* Adjust the symbol table. This creates csect symbols for all
5414 absolute symbols. */
5417 ppc_adjust_symtab (void)
5424 for (sym
= symbol_rootP
; sym
!= NULL
; sym
= symbol_next (sym
))
5428 union internal_auxent
*a
;
5430 if (S_GET_SEGMENT (sym
) != absolute_section
)
5433 csect
= symbol_create (".abs[XO]", absolute_section
,
5434 S_GET_VALUE (sym
), &zero_address_frag
);
5435 symbol_get_bfdsym (csect
)->value
= S_GET_VALUE (sym
);
5436 S_SET_STORAGE_CLASS (csect
, C_HIDEXT
);
5437 i
= S_GET_NUMBER_AUXILIARY (csect
);
5438 S_SET_NUMBER_AUXILIARY (csect
, i
+ 1);
5439 a
= &coffsymbol (symbol_get_bfdsym (csect
))->native
[i
+ 1].u
.auxent
;
5440 a
->x_csect
.x_scnlen
.l
= 0;
5441 a
->x_csect
.x_smtyp
= XTY_SD
;
5442 a
->x_csect
.x_parmhash
= 0;
5443 a
->x_csect
.x_snhash
= 0;
5444 a
->x_csect
.x_smclas
= XMC_XO
;
5445 a
->x_csect
.x_stab
= 0;
5446 a
->x_csect
.x_snstab
= 0;
5448 symbol_insert (csect
, sym
, &symbol_rootP
, &symbol_lastP
);
5450 i
= S_GET_NUMBER_AUXILIARY (sym
);
5451 a
= &coffsymbol (symbol_get_bfdsym (sym
))->native
[i
].u
.auxent
;
5452 a
->x_csect
.x_scnlen
.p
= coffsymbol (symbol_get_bfdsym (csect
))->native
;
5453 coffsymbol (symbol_get_bfdsym (sym
))->native
[i
].fix_scnlen
= 1;
5456 ppc_saw_abs
= FALSE
;
5459 /* Set the VMA for a section. This is called on all the sections in
5463 ppc_frob_section (asection
*sec
)
5465 static bfd_vma vma
= 0;
5467 vma
= md_section_align (sec
, vma
);
5468 bfd_set_section_vma (stdoutput
, sec
, vma
);
5469 vma
+= bfd_section_size (stdoutput
, sec
);
5472 #endif /* OBJ_XCOFF */
5475 md_atof (int type
, char *litp
, int *sizep
)
5477 return ieee_md_atof (type
, litp
, sizep
, target_big_endian
);
5480 /* Write a value out to the object file, using the appropriate
5484 md_number_to_chars (char *buf
, valueT val
, int n
)
5486 if (target_big_endian
)
5487 number_to_chars_bigendian (buf
, val
, n
);
5489 number_to_chars_littleendian (buf
, val
, n
);
5492 /* Align a section (I don't know why this is machine dependent). */
5495 md_section_align (asection
*seg ATTRIBUTE_UNUSED
, valueT addr
)
5500 int align
= bfd_get_section_alignment (stdoutput
, seg
);
5502 return ((addr
+ (1 << align
) - 1) & (-1 << align
));
5506 /* We don't have any form of relaxing. */
5509 md_estimate_size_before_relax (fragS
*fragp ATTRIBUTE_UNUSED
,
5510 asection
*seg ATTRIBUTE_UNUSED
)
5516 /* Convert a machine dependent frag. We never generate these. */
5519 md_convert_frag (bfd
*abfd ATTRIBUTE_UNUSED
,
5520 asection
*sec ATTRIBUTE_UNUSED
,
5521 fragS
*fragp ATTRIBUTE_UNUSED
)
5526 /* We have no need to default values of symbols. */
5529 md_undefined_symbol (char *name ATTRIBUTE_UNUSED
)
5534 /* Functions concerning relocs. */
5536 /* The location from which a PC relative jump should be calculated,
5537 given a PC relative reloc. */
5540 md_pcrel_from_section (fixS
*fixp
, segT sec ATTRIBUTE_UNUSED
)
5542 return fixp
->fx_frag
->fr_address
+ fixp
->fx_where
;
5547 /* This is called to see whether a fixup should be adjusted to use a
5548 section symbol. We take the opportunity to change a fixup against
5549 a symbol in the TOC subsegment into a reloc against the
5550 corresponding .tc symbol. */
5553 ppc_fix_adjustable (fixS
*fix
)
5555 valueT val
= resolve_symbol_value (fix
->fx_addsy
);
5556 segT symseg
= S_GET_SEGMENT (fix
->fx_addsy
);
5557 TC_SYMFIELD_TYPE
*tc
;
5559 if (symseg
== absolute_section
)
5562 if (ppc_toc_csect
!= (symbolS
*) NULL
5563 && fix
->fx_addsy
!= ppc_toc_csect
5564 && symseg
== data_section
5565 && val
>= ppc_toc_frag
->fr_address
5566 && (ppc_after_toc_frag
== (fragS
*) NULL
5567 || val
< ppc_after_toc_frag
->fr_address
))
5571 for (sy
= symbol_next (ppc_toc_csect
);
5572 sy
!= (symbolS
*) NULL
;
5573 sy
= symbol_next (sy
))
5575 TC_SYMFIELD_TYPE
*sy_tc
= symbol_get_tc (sy
);
5577 if (sy_tc
->symbol_class
== XMC_TC0
)
5579 if (sy_tc
->symbol_class
!= XMC_TC
)
5581 if (val
== resolve_symbol_value (sy
))
5584 fix
->fx_addnumber
= val
- ppc_toc_frag
->fr_address
;
5589 as_bad_where (fix
->fx_file
, fix
->fx_line
,
5590 _("symbol in .toc does not match any .tc"));
5593 /* Possibly adjust the reloc to be against the csect. */
5594 tc
= symbol_get_tc (fix
->fx_addsy
);
5596 && tc
->symbol_class
!= XMC_TC0
5597 && tc
->symbol_class
!= XMC_TC
5598 && symseg
!= bss_section
5599 /* Don't adjust if this is a reloc in the toc section. */
5600 && (symseg
!= data_section
5601 || ppc_toc_csect
== NULL
5602 || val
< ppc_toc_frag
->fr_address
5603 || (ppc_after_toc_frag
!= NULL
5604 && val
>= ppc_after_toc_frag
->fr_address
)))
5607 symbolS
*next_csect
;
5609 if (symseg
== text_section
)
5610 csect
= ppc_text_csects
;
5611 else if (symseg
== data_section
)
5612 csect
= ppc_data_csects
;
5616 /* Skip the initial dummy symbol. */
5617 csect
= symbol_get_tc (csect
)->next
;
5619 if (csect
!= (symbolS
*) NULL
)
5621 while ((next_csect
= symbol_get_tc (csect
)->next
) != (symbolS
*) NULL
5622 && (symbol_get_frag (next_csect
)->fr_address
<= val
))
5624 /* If the csect address equals the symbol value, then we
5625 have to look through the full symbol table to see
5626 whether this is the csect we want. Note that we will
5627 only get here if the csect has zero length. */
5628 if (symbol_get_frag (csect
)->fr_address
== val
5629 && S_GET_VALUE (csect
) == val
)
5633 for (scan
= symbol_next (csect
);
5635 scan
= symbol_next (scan
))
5637 if (symbol_get_tc (scan
)->subseg
!= 0)
5639 if (scan
== fix
->fx_addsy
)
5643 /* If we found the symbol before the next csect
5644 symbol, then this is the csect we want. */
5645 if (scan
== fix
->fx_addsy
)
5652 fix
->fx_offset
+= val
- symbol_get_frag (csect
)->fr_address
;
5653 fix
->fx_addsy
= csect
;
5658 /* Adjust a reloc against a .lcomm symbol to be against the base
5660 if (symseg
== bss_section
5661 && ! S_IS_EXTERNAL (fix
->fx_addsy
))
5663 symbolS
*sy
= symbol_get_frag (fix
->fx_addsy
)->fr_symbol
;
5665 fix
->fx_offset
+= val
- resolve_symbol_value (sy
);
5672 /* A reloc from one csect to another must be kept. The assembler
5673 will, of course, keep relocs between sections, and it will keep
5674 absolute relocs, but we need to force it to keep PC relative relocs
5675 between two csects in the same section. */
5678 ppc_force_relocation (fixS
*fix
)
5680 /* At this point fix->fx_addsy should already have been converted to
5681 a csect symbol. If the csect does not include the fragment, then
5682 we need to force the relocation. */
5684 && fix
->fx_addsy
!= NULL
5685 && symbol_get_tc (fix
->fx_addsy
)->subseg
!= 0
5686 && ((symbol_get_frag (fix
->fx_addsy
)->fr_address
5687 > fix
->fx_frag
->fr_address
)
5688 || (symbol_get_tc (fix
->fx_addsy
)->next
!= NULL
5689 && (symbol_get_frag (symbol_get_tc (fix
->fx_addsy
)->next
)->fr_address
5690 <= fix
->fx_frag
->fr_address
))))
5693 return generic_force_reloc (fix
);
5696 #endif /* OBJ_XCOFF */
5699 /* If this function returns non-zero, it guarantees that a relocation
5700 will be emitted for a fixup. */
5703 ppc_force_relocation (fixS
*fix
)
5705 /* Branch prediction relocations must force a relocation, as must
5706 the vtable description relocs. */
5707 switch (fix
->fx_r_type
)
5709 case BFD_RELOC_PPC_B16_BRTAKEN
:
5710 case BFD_RELOC_PPC_B16_BRNTAKEN
:
5711 case BFD_RELOC_PPC_BA16_BRTAKEN
:
5712 case BFD_RELOC_PPC_BA16_BRNTAKEN
:
5713 case BFD_RELOC_24_PLT_PCREL
:
5714 case BFD_RELOC_PPC64_TOC
:
5720 if (fix
->fx_r_type
>= BFD_RELOC_PPC_TLS
5721 && fix
->fx_r_type
<= BFD_RELOC_PPC64_DTPREL16_HIGHESTA
)
5724 return generic_force_reloc (fix
);
5728 ppc_fix_adjustable (fixS
*fix
)
5730 return (fix
->fx_r_type
!= BFD_RELOC_16_GOTOFF
5731 && fix
->fx_r_type
!= BFD_RELOC_LO16_GOTOFF
5732 && fix
->fx_r_type
!= BFD_RELOC_HI16_GOTOFF
5733 && fix
->fx_r_type
!= BFD_RELOC_HI16_S_GOTOFF
5734 && fix
->fx_r_type
!= BFD_RELOC_GPREL16
5735 && fix
->fx_r_type
!= BFD_RELOC_VTABLE_INHERIT
5736 && fix
->fx_r_type
!= BFD_RELOC_VTABLE_ENTRY
5737 && !(fix
->fx_r_type
>= BFD_RELOC_PPC_TLS
5738 && fix
->fx_r_type
<= BFD_RELOC_PPC64_DTPREL16_HIGHESTA
));
5742 /* Implement HANDLE_ALIGN. This writes the NOP pattern into an
5743 rs_align_code frag. */
5746 ppc_handle_align (struct frag
*fragP
)
5748 valueT count
= (fragP
->fr_next
->fr_address
5749 - (fragP
->fr_address
+ fragP
->fr_fix
));
5751 if (count
!= 0 && (count
& 3) == 0)
5753 char *dest
= fragP
->fr_literal
+ fragP
->fr_fix
;
5756 md_number_to_chars (dest
, 0x60000000, 4);
5758 if ((ppc_cpu
& PPC_OPCODE_POWER6
) != 0
5759 || (ppc_cpu
& PPC_OPCODE_POWER7
) != 0)
5761 /* For power6 and power7, we want the last nop to be a group
5762 terminating one. Do this by inserting an rs_fill frag immediately
5763 after this one, with its address set to the last nop location.
5764 This will automatically reduce the number of nops in the current
5768 struct frag
*group_nop
= xmalloc (SIZEOF_STRUCT_FRAG
+ 4);
5770 memcpy (group_nop
, fragP
, SIZEOF_STRUCT_FRAG
);
5771 group_nop
->fr_address
= group_nop
->fr_next
->fr_address
- 4;
5772 group_nop
->fr_fix
= 0;
5773 group_nop
->fr_offset
= 1;
5774 group_nop
->fr_type
= rs_fill
;
5775 fragP
->fr_next
= group_nop
;
5776 dest
= group_nop
->fr_literal
;
5779 if ((ppc_cpu
& PPC_OPCODE_POWER7
) != 0)
5780 /* power7 group terminating nop: "ori 2,2,0". */
5781 md_number_to_chars (dest
, 0x60420000, 4);
5783 /* power6 group terminating nop: "ori 1,1,0". */
5784 md_number_to_chars (dest
, 0x60210000, 4);
5789 /* Apply a fixup to the object code. This is called for all the
5790 fixups we generated by the call to fix_new_exp, above. In the call
5791 above we used a reloc code which was the largest legal reloc code
5792 plus the operand index. Here we undo that to recover the operand
5793 index. At this point all symbol values should be fully resolved,
5794 and we attempt to completely resolve the reloc. If we can not do
5795 that, we determine the correct reloc code and put it back in the
5799 md_apply_fix (fixS
*fixP
, valueT
*valP
, segT seg ATTRIBUTE_UNUSED
)
5801 valueT value
= * valP
;
5804 if (fixP
->fx_addsy
!= NULL
)
5806 /* Hack around bfd_install_relocation brain damage. */
5808 value
+= fixP
->fx_frag
->fr_address
+ fixP
->fx_where
;
5813 /* FIXME FIXME FIXME: The value we are passed in *valP includes
5814 the symbol values. If we are doing this relocation the code in
5815 write.c is going to call bfd_install_relocation, which is also
5816 going to use the symbol value. That means that if the reloc is
5817 fully resolved we want to use *valP since bfd_install_relocation is
5819 However, if the reloc is not fully resolved we do not want to
5820 use *valP, and must use fx_offset instead. If the relocation
5821 is PC-relative, we then need to re-apply md_pcrel_from_section
5822 to this new relocation value. */
5823 if (fixP
->fx_addsy
== (symbolS
*) NULL
)
5828 value
= fixP
->fx_offset
;
5830 value
-= md_pcrel_from_section (fixP
, seg
);
5834 if (fixP
->fx_subsy
!= (symbolS
*) NULL
)
5836 /* We can't actually support subtracting a symbol. */
5837 as_bad_where (fixP
->fx_file
, fixP
->fx_line
, _("expression too complex"));
5840 if ((int) fixP
->fx_r_type
>= (int) BFD_RELOC_UNUSED
)
5843 const struct powerpc_operand
*operand
;
5847 opindex
= (int) fixP
->fx_r_type
- (int) BFD_RELOC_UNUSED
;
5849 operand
= &powerpc_operands
[opindex
];
5852 /* An instruction like `lwz 9,sym(30)' when `sym' is not a TOC symbol
5853 does not generate a reloc. It uses the offset of `sym' within its
5854 csect. Other usages, such as `.long sym', generate relocs. This
5855 is the documented behaviour of non-TOC symbols. */
5856 if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0
5857 && (operand
->bitm
& 0xfff0) == 0xfff0
5858 && operand
->shift
== 0
5859 && (operand
->insert
== NULL
|| ppc_obj64
)
5860 && fixP
->fx_addsy
!= NULL
5861 && symbol_get_tc (fixP
->fx_addsy
)->subseg
!= 0
5862 && symbol_get_tc (fixP
->fx_addsy
)->symbol_class
!= XMC_TC
5863 && symbol_get_tc (fixP
->fx_addsy
)->symbol_class
!= XMC_TC0
5864 && S_GET_SEGMENT (fixP
->fx_addsy
) != bss_section
)
5866 value
= fixP
->fx_offset
;
5871 /* Fetch the instruction, insert the fully resolved operand
5872 value, and stuff the instruction back again. */
5873 where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
5874 if (target_big_endian
)
5875 insn
= bfd_getb32 ((unsigned char *) where
);
5877 insn
= bfd_getl32 ((unsigned char *) where
);
5878 insn
= ppc_insert_operand (insn
, operand
, (offsetT
) value
,
5879 fixP
->tc_fix_data
.ppc_cpu
,
5880 fixP
->fx_file
, fixP
->fx_line
);
5881 if (target_big_endian
)
5882 bfd_putb32 ((bfd_vma
) insn
, (unsigned char *) where
);
5884 bfd_putl32 ((bfd_vma
) insn
, (unsigned char *) where
);
5887 /* Nothing else to do here. */
5890 gas_assert (fixP
->fx_addsy
!= NULL
);
5892 /* Determine a BFD reloc value based on the operand information.
5893 We are only prepared to turn a few of the operands into
5895 if ((operand
->flags
& PPC_OPERAND_RELATIVE
) != 0
5896 && operand
->bitm
== 0x3fffffc
5897 && operand
->shift
== 0)
5898 fixP
->fx_r_type
= BFD_RELOC_PPC_B26
;
5899 else if ((operand
->flags
& PPC_OPERAND_RELATIVE
) != 0
5900 && operand
->bitm
== 0xfffc
5901 && operand
->shift
== 0)
5903 fixP
->fx_r_type
= BFD_RELOC_PPC_B16
;
5906 if (target_big_endian
)
5907 fixP
->fx_where
+= 2;
5910 else if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0
5911 && operand
->bitm
== 0x3fffffc
5912 && operand
->shift
== 0)
5913 fixP
->fx_r_type
= BFD_RELOC_PPC_BA26
;
5914 else if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0
5915 && operand
->bitm
== 0xfffc
5916 && operand
->shift
== 0)
5918 fixP
->fx_r_type
= BFD_RELOC_PPC_BA16
;
5921 if (target_big_endian
)
5922 fixP
->fx_where
+= 2;
5925 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
5926 else if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0
5927 && (operand
->bitm
& 0xfff0) == 0xfff0
5928 && operand
->shift
== 0)
5930 if (ppc_is_toc_sym (fixP
->fx_addsy
))
5932 fixP
->fx_r_type
= BFD_RELOC_PPC_TOC16
;
5935 && (operand
->flags
& PPC_OPERAND_DS
) != 0)
5936 fixP
->fx_r_type
= BFD_RELOC_PPC64_TOC16_DS
;
5941 fixP
->fx_r_type
= BFD_RELOC_16
;
5944 && (operand
->flags
& PPC_OPERAND_DS
) != 0)
5945 fixP
->fx_r_type
= BFD_RELOC_PPC64_ADDR16_DS
;
5949 if (target_big_endian
)
5950 fixP
->fx_where
+= 2;
5952 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
5958 /* Use expr_symbol_where to see if this is an expression
5960 if (expr_symbol_where (fixP
->fx_addsy
, &sfile
, &sline
))
5961 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
5962 _("unresolved expression that must be resolved"));
5964 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
5965 _("unsupported relocation against %s"),
5966 S_GET_NAME (fixP
->fx_addsy
));
5974 ppc_elf_validate_fix (fixP
, seg
);
5976 switch (fixP
->fx_r_type
)
5978 case BFD_RELOC_CTOR
:
5985 fixP
->fx_r_type
= BFD_RELOC_32_PCREL
;
5989 case BFD_RELOC_32_PCREL
:
5990 case BFD_RELOC_PPC_EMB_NADDR32
:
5991 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5998 fixP
->fx_r_type
= BFD_RELOC_64_PCREL
;
6001 case BFD_RELOC_64_PCREL
:
6002 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6006 case BFD_RELOC_GPREL16
:
6007 case BFD_RELOC_16_GOT_PCREL
:
6008 case BFD_RELOC_16_GOTOFF
:
6009 case BFD_RELOC_LO16_GOTOFF
:
6010 case BFD_RELOC_HI16_GOTOFF
:
6011 case BFD_RELOC_HI16_S_GOTOFF
:
6012 case BFD_RELOC_16_BASEREL
:
6013 case BFD_RELOC_LO16_BASEREL
:
6014 case BFD_RELOC_HI16_BASEREL
:
6015 case BFD_RELOC_HI16_S_BASEREL
:
6016 case BFD_RELOC_PPC_EMB_NADDR16
:
6017 case BFD_RELOC_PPC_EMB_NADDR16_LO
:
6018 case BFD_RELOC_PPC_EMB_NADDR16_HI
:
6019 case BFD_RELOC_PPC_EMB_NADDR16_HA
:
6020 case BFD_RELOC_PPC_EMB_SDAI16
:
6021 case BFD_RELOC_PPC_EMB_SDA2REL
:
6022 case BFD_RELOC_PPC_EMB_SDA2I16
:
6023 case BFD_RELOC_PPC_EMB_RELSEC16
:
6024 case BFD_RELOC_PPC_EMB_RELST_LO
:
6025 case BFD_RELOC_PPC_EMB_RELST_HI
:
6026 case BFD_RELOC_PPC_EMB_RELST_HA
:
6027 case BFD_RELOC_PPC_EMB_RELSDA
:
6028 case BFD_RELOC_PPC_TOC16
:
6030 case BFD_RELOC_PPC64_TOC16_LO
:
6031 case BFD_RELOC_PPC64_TOC16_HI
:
6032 case BFD_RELOC_PPC64_TOC16_HA
:
6036 if (fixP
->fx_addsy
!= NULL
)
6037 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6038 _("cannot emit PC relative %s relocation against %s"),
6039 bfd_get_reloc_code_name (fixP
->fx_r_type
),
6040 S_GET_NAME (fixP
->fx_addsy
));
6042 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6043 _("cannot emit PC relative %s relocation"),
6044 bfd_get_reloc_code_name (fixP
->fx_r_type
));
6047 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6053 fixP
->fx_r_type
= BFD_RELOC_16_PCREL
;
6056 case BFD_RELOC_16_PCREL
:
6057 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6061 case BFD_RELOC_LO16
:
6063 fixP
->fx_r_type
= BFD_RELOC_LO16_PCREL
;
6066 case BFD_RELOC_LO16_PCREL
:
6067 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6071 /* This case happens when you write, for example,
6073 where L1 and L2 are defined later. */
6074 case BFD_RELOC_HI16
:
6076 fixP
->fx_r_type
= BFD_RELOC_HI16_PCREL
;
6079 case BFD_RELOC_HI16_PCREL
:
6080 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6084 case BFD_RELOC_HI16_S
:
6086 fixP
->fx_r_type
= BFD_RELOC_HI16_S_PCREL
;
6089 case BFD_RELOC_HI16_S_PCREL
:
6090 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6095 case BFD_RELOC_NONE
:
6100 case BFD_RELOC_PPC64_HIGHER
:
6103 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6104 PPC_HIGHER (value
), 2);
6107 case BFD_RELOC_PPC64_HIGHER_S
:
6110 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6111 PPC_HIGHERA (value
), 2);
6114 case BFD_RELOC_PPC64_HIGHEST
:
6117 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6118 PPC_HIGHEST (value
), 2);
6121 case BFD_RELOC_PPC64_HIGHEST_S
:
6124 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6125 PPC_HIGHESTA (value
), 2);
6128 case BFD_RELOC_PPC64_ADDR16_DS
:
6129 case BFD_RELOC_PPC64_ADDR16_LO_DS
:
6130 case BFD_RELOC_PPC64_GOT16_DS
:
6131 case BFD_RELOC_PPC64_GOT16_LO_DS
:
6132 case BFD_RELOC_PPC64_PLT16_LO_DS
:
6133 case BFD_RELOC_PPC64_SECTOFF_DS
:
6134 case BFD_RELOC_PPC64_SECTOFF_LO_DS
:
6135 case BFD_RELOC_PPC64_TOC16_DS
:
6136 case BFD_RELOC_PPC64_TOC16_LO_DS
:
6137 case BFD_RELOC_PPC64_PLTGOT16_DS
:
6138 case BFD_RELOC_PPC64_PLTGOT16_LO_DS
:
6142 char *where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
6143 unsigned long val
, mask
;
6145 if (target_big_endian
)
6146 val
= bfd_getb32 (where
- 2);
6148 val
= bfd_getl32 (where
);
6150 /* lq insns reserve the four lsbs. */
6151 if ((ppc_cpu
& PPC_OPCODE_POWER4
) != 0
6152 && (val
& (0x3f << 26)) == (56u << 26))
6154 val
|= value
& mask
;
6155 if (target_big_endian
)
6156 bfd_putb16 ((bfd_vma
) val
, where
);
6158 bfd_putl16 ((bfd_vma
) val
, where
);
6162 case BFD_RELOC_PPC_B16_BRTAKEN
:
6163 case BFD_RELOC_PPC_B16_BRNTAKEN
:
6164 case BFD_RELOC_PPC_BA16_BRTAKEN
:
6165 case BFD_RELOC_PPC_BA16_BRNTAKEN
:
6168 case BFD_RELOC_PPC_TLS
:
6169 case BFD_RELOC_PPC_TLSGD
:
6170 case BFD_RELOC_PPC_TLSLD
:
6173 case BFD_RELOC_PPC_DTPMOD
:
6174 case BFD_RELOC_PPC_TPREL16
:
6175 case BFD_RELOC_PPC_TPREL16_LO
:
6176 case BFD_RELOC_PPC_TPREL16_HI
:
6177 case BFD_RELOC_PPC_TPREL16_HA
:
6178 case BFD_RELOC_PPC_TPREL
:
6179 case BFD_RELOC_PPC_DTPREL16
:
6180 case BFD_RELOC_PPC_DTPREL16_LO
:
6181 case BFD_RELOC_PPC_DTPREL16_HI
:
6182 case BFD_RELOC_PPC_DTPREL16_HA
:
6183 case BFD_RELOC_PPC_DTPREL
:
6184 case BFD_RELOC_PPC_GOT_TLSGD16
:
6185 case BFD_RELOC_PPC_GOT_TLSGD16_LO
:
6186 case BFD_RELOC_PPC_GOT_TLSGD16_HI
:
6187 case BFD_RELOC_PPC_GOT_TLSGD16_HA
:
6188 case BFD_RELOC_PPC_GOT_TLSLD16
:
6189 case BFD_RELOC_PPC_GOT_TLSLD16_LO
:
6190 case BFD_RELOC_PPC_GOT_TLSLD16_HI
:
6191 case BFD_RELOC_PPC_GOT_TLSLD16_HA
:
6192 case BFD_RELOC_PPC_GOT_TPREL16
:
6193 case BFD_RELOC_PPC_GOT_TPREL16_LO
:
6194 case BFD_RELOC_PPC_GOT_TPREL16_HI
:
6195 case BFD_RELOC_PPC_GOT_TPREL16_HA
:
6196 case BFD_RELOC_PPC_GOT_DTPREL16
:
6197 case BFD_RELOC_PPC_GOT_DTPREL16_LO
:
6198 case BFD_RELOC_PPC_GOT_DTPREL16_HI
:
6199 case BFD_RELOC_PPC_GOT_DTPREL16_HA
:
6200 case BFD_RELOC_PPC64_TPREL16_DS
:
6201 case BFD_RELOC_PPC64_TPREL16_LO_DS
:
6202 case BFD_RELOC_PPC64_TPREL16_HIGHER
:
6203 case BFD_RELOC_PPC64_TPREL16_HIGHERA
:
6204 case BFD_RELOC_PPC64_TPREL16_HIGHEST
:
6205 case BFD_RELOC_PPC64_TPREL16_HIGHESTA
:
6206 case BFD_RELOC_PPC64_DTPREL16_DS
:
6207 case BFD_RELOC_PPC64_DTPREL16_LO_DS
:
6208 case BFD_RELOC_PPC64_DTPREL16_HIGHER
:
6209 case BFD_RELOC_PPC64_DTPREL16_HIGHERA
:
6210 case BFD_RELOC_PPC64_DTPREL16_HIGHEST
:
6211 case BFD_RELOC_PPC64_DTPREL16_HIGHESTA
:
6212 S_SET_THREAD_LOCAL (fixP
->fx_addsy
);
6215 /* Because SDA21 modifies the register field, the size is set to 4
6216 bytes, rather than 2, so offset it here appropriately. */
6217 case BFD_RELOC_PPC_EMB_SDA21
:
6221 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
6222 + ((target_big_endian
) ? 2 : 0),
6229 /* This can occur if there is a bug in the input assembler, eg:
6230 ".byte <undefined_symbol> - ." */
6232 as_bad (_("Unable to handle reference to symbol %s"),
6233 S_GET_NAME (fixP
->fx_addsy
));
6235 as_bad (_("Unable to resolve expression"));
6239 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6243 case BFD_RELOC_24_PLT_PCREL
:
6244 case BFD_RELOC_PPC_LOCAL24PC
:
6245 if (!fixP
->fx_pcrel
&& !fixP
->fx_done
)
6253 /* Fetch the instruction, insert the fully resolved operand
6254 value, and stuff the instruction back again. */
6255 where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
6256 if (target_big_endian
)
6257 insn
= bfd_getb32 ((unsigned char *) where
);
6259 insn
= bfd_getl32 ((unsigned char *) where
);
6260 if ((value
& 3) != 0)
6261 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6262 _("must branch to an address a multiple of 4"));
6263 if ((offsetT
) value
< -0x40000000
6264 || (offsetT
) value
>= 0x40000000)
6265 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6266 _("@local or @plt branch destination is too far away, %ld bytes"),
6268 insn
= insn
| (value
& 0x03fffffc);
6269 if (target_big_endian
)
6270 bfd_putb32 ((bfd_vma
) insn
, (unsigned char *) where
);
6272 bfd_putl32 ((bfd_vma
) insn
, (unsigned char *) where
);
6276 case BFD_RELOC_VTABLE_INHERIT
:
6279 && !S_IS_DEFINED (fixP
->fx_addsy
)
6280 && !S_IS_WEAK (fixP
->fx_addsy
))
6281 S_SET_WEAK (fixP
->fx_addsy
);
6284 case BFD_RELOC_VTABLE_ENTRY
:
6289 /* Generated by reference to `sym@tocbase'. The sym is
6290 ignored by the linker. */
6291 case BFD_RELOC_PPC64_TOC
:
6297 _("Gas failure, reloc value %d\n"), fixP
->fx_r_type
);
6304 fixP
->fx_addnumber
= value
;
6306 /* PowerPC uses RELA relocs, ie. the reloc addend is stored separately
6307 from the section contents. If we are going to be emitting a reloc
6308 then the section contents are immaterial, so don't warn if they
6309 happen to overflow. Leave such warnings to ld. */
6311 fixP
->fx_no_overflow
= 1;
6313 if (fixP
->fx_r_type
!= BFD_RELOC_PPC_TOC16
)
6314 fixP
->fx_addnumber
= 0;
6318 fixP
->fx_addnumber
= 0;
6320 /* We want to use the offset within the toc, not the actual VMA
6322 fixP
->fx_addnumber
=
6323 - bfd_get_section_vma (stdoutput
, S_GET_SEGMENT (fixP
->fx_addsy
))
6324 - S_GET_VALUE (ppc_toc_csect
);
6330 /* Generate a reloc for a fixup. */
6333 tc_gen_reloc (asection
*seg ATTRIBUTE_UNUSED
, fixS
*fixp
)
6337 reloc
= (arelent
*) xmalloc (sizeof (arelent
));
6339 reloc
->sym_ptr_ptr
= (asymbol
**) xmalloc (sizeof (asymbol
*));
6340 *reloc
->sym_ptr_ptr
= symbol_get_bfdsym (fixp
->fx_addsy
);
6341 reloc
->address
= fixp
->fx_frag
->fr_address
+ fixp
->fx_where
;
6342 reloc
->howto
= bfd_reloc_type_lookup (stdoutput
, fixp
->fx_r_type
);
6343 if (reloc
->howto
== (reloc_howto_type
*) NULL
)
6345 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
6346 _("reloc %d not supported by object file format"),
6347 (int) fixp
->fx_r_type
);
6350 reloc
->addend
= fixp
->fx_addnumber
;
6356 ppc_cfi_frame_initial_instructions (void)
6358 cfi_add_CFA_def_cfa (1, 0);
6362 tc_ppc_regname_to_dw2regnum (char *regname
)
6364 unsigned int regnum
= -1;
6368 static struct { char *name
; int dw2regnum
; } regnames
[] =
6370 { "sp", 1 }, { "r.sp", 1 }, { "rtoc", 2 }, { "r.toc", 2 },
6371 { "mq", 64 }, { "lr", 65 }, { "ctr", 66 }, { "ap", 67 },
6372 { "cr", 70 }, { "xer", 76 }, { "vrsave", 109 }, { "vscr", 110 },
6373 { "spe_acc", 111 }, { "spefscr", 112 }
6376 for (i
= 0; i
< ARRAY_SIZE (regnames
); ++i
)
6377 if (strcmp (regnames
[i
].name
, regname
) == 0)
6378 return regnames
[i
].dw2regnum
;
6380 if (regname
[0] == 'r' || regname
[0] == 'f' || regname
[0] == 'v')
6382 p
= regname
+ 1 + (regname
[1] == '.');
6383 regnum
= strtoul (p
, &q
, 10);
6384 if (p
== q
|| *q
|| regnum
>= 32)
6386 if (regname
[0] == 'f')
6388 else if (regname
[0] == 'v')
6391 else if (regname
[0] == 'c' && regname
[1] == 'r')
6393 p
= regname
+ 2 + (regname
[2] == '.');
6394 if (p
[0] < '0' || p
[0] > '7' || p
[1])
6396 regnum
= p
[0] - '0' + 68;