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 /* Flags set on encountering toc relocs. */
189 has_large_toc_reloc
= 1,
190 has_small_toc_reloc
= 2
193 /* The target specific pseudo-ops which we support. */
195 const pseudo_typeS md_pseudo_table
[] =
197 /* Pseudo-ops which must be overridden. */
198 { "byte", ppc_byte
, 0 },
201 /* Pseudo-ops specific to the RS/6000 XCOFF format. Some of these
202 legitimately belong in the obj-*.c file. However, XCOFF is based
203 on COFF, and is only implemented for the RS/6000. We just use
204 obj-coff.c, and add what we need here. */
205 { "comm", ppc_comm
, 0 },
206 { "lcomm", ppc_comm
, 1 },
210 { "bi", ppc_biei
, 0 },
212 { "csect", ppc_csect
, 0 },
213 { "data", ppc_section
, 'd' },
217 { "ei", ppc_biei
, 1 },
219 { "extern", ppc_extern
, 0 },
220 { "function", ppc_function
, 0 },
221 { "lglobl", ppc_lglobl
, 0 },
222 { "ref", ppc_ref
, 0 },
223 { "rename", ppc_rename
, 0 },
224 { "section", ppc_named_section
, 0 },
225 { "stabx", ppc_stabx
, 0 },
226 { "text", ppc_section
, 't' },
227 { "toc", ppc_toc
, 0 },
228 { "long", ppc_xcoff_cons
, 2 },
229 { "llong", ppc_xcoff_cons
, 3 },
230 { "word", ppc_xcoff_cons
, 1 },
231 { "short", ppc_xcoff_cons
, 1 },
232 { "vbyte", ppc_vbyte
, 0 },
236 { "llong", ppc_elf_cons
, 8 },
237 { "quad", ppc_elf_cons
, 8 },
238 { "long", ppc_elf_cons
, 4 },
239 { "word", ppc_elf_cons
, 2 },
240 { "short", ppc_elf_cons
, 2 },
241 { "rdata", ppc_elf_rdata
, 0 },
242 { "rodata", ppc_elf_rdata
, 0 },
243 { "lcomm", ppc_elf_lcomm
, 0 },
247 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
248 { "previous", ppc_previous
, 0 },
249 { "pdata", ppc_pdata
, 0 },
250 { "ydata", ppc_ydata
, 0 },
251 { "reldata", ppc_reldata
, 0 },
252 { "rdata", ppc_rdata
, 0 },
253 { "ualong", ppc_ualong
, 0 },
254 { "znop", ppc_znop
, 0 },
255 { "comm", ppc_pe_comm
, 0 },
256 { "lcomm", ppc_pe_comm
, 1 },
257 { "section", ppc_pe_section
, 0 },
258 { "function", ppc_pe_function
,0 },
259 { "tocd", ppc_pe_tocd
, 0 },
262 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
264 { "machine", ppc_machine
, 0 },
271 /* Predefined register names if -mregnames (or default for Windows NT).
272 In general, there are lots of them, in an attempt to be compatible
273 with a number of other Windows NT assemblers. */
275 /* Structure to hold information about predefined registers. */
282 /* List of registers that are pre-defined:
284 Each general register has predefined names of the form:
285 1. r<reg_num> which has the value <reg_num>.
286 2. r.<reg_num> which has the value <reg_num>.
288 Each floating point register has predefined names of the form:
289 1. f<reg_num> which has the value <reg_num>.
290 2. f.<reg_num> which has the value <reg_num>.
292 Each vector unit register has predefined names of the form:
293 1. v<reg_num> which has the value <reg_num>.
294 2. v.<reg_num> which has the value <reg_num>.
296 Each condition register has predefined names of the form:
297 1. cr<reg_num> which has the value <reg_num>.
298 2. cr.<reg_num> which has the value <reg_num>.
300 There are individual registers as well:
301 sp or r.sp has the value 1
302 rtoc or r.toc has the value 2
303 fpscr has the value 0
309 dsisr has the value 18
311 sdr1 has the value 25
312 srr0 has the value 26
313 srr1 has the value 27
315 The table is sorted. Suitable for searching by a binary search. */
317 static const struct pd_reg pre_defined_registers
[] =
319 { "cr.0", 0 }, /* Condition Registers */
339 { "dar", 19 }, /* Data Access Register */
340 { "dec", 22 }, /* Decrementer */
341 { "dsisr", 18 }, /* Data Storage Interrupt Status Register */
343 { "f.0", 0 }, /* Floating point registers */
370 { "f.32", 32 }, /* Extended floating point scalar registers (ISA 2.06). */
436 { "f32", 32 }, /* Extended floating point scalar registers (ISA 2.06). */
477 /* Quantization registers used with pair single instructions. */
495 { "lr", 8 }, /* Link Register */
499 { "r.0", 0 }, /* General Purpose Registers */
532 { "r.sp", 1 }, /* Stack Pointer */
534 { "r.toc", 2 }, /* Pointer to the table of contents */
536 { "r0", 0 }, /* More general purpose registers */
569 { "rtoc", 2 }, /* Table of contents */
571 { "sdr1", 25 }, /* Storage Description Register 1 */
575 { "srr0", 26 }, /* Machine Status Save/Restore Register 0 */
576 { "srr1", 27 }, /* Machine Status Save/Restore Register 1 */
578 { "v.0", 0 }, /* Vector (Altivec/VMX) registers */
644 { "vs.0", 0 }, /* Vector Scalar (VSX) registers (ISA 2.06). */
778 #define REG_NAME_CNT (sizeof (pre_defined_registers) / sizeof (struct pd_reg))
780 /* Given NAME, find the register number associated with that name, return
781 the integer value associated with the given name or -1 on failure. */
784 reg_name_search (const struct pd_reg
*regs
, int regcount
, const char *name
)
786 int middle
, low
, high
;
794 middle
= (low
+ high
) / 2;
795 cmp
= strcasecmp (name
, regs
[middle
].name
);
801 return regs
[middle
].value
;
809 * Summary of register_name.
811 * in: Input_line_pointer points to 1st char of operand.
813 * out: A expressionS.
814 * The operand may have been a register: in this case, X_op == O_register,
815 * X_add_number is set to the register number, and truth is returned.
816 * Input_line_pointer->(next non-blank) char after operand, or is in its
821 register_name (expressionS
*expressionP
)
828 /* Find the spelling of the operand. */
829 start
= name
= input_line_pointer
;
830 if (name
[0] == '%' && ISALPHA (name
[1]))
831 name
= ++input_line_pointer
;
833 else if (!reg_names_p
|| !ISALPHA (name
[0]))
836 c
= get_symbol_end ();
837 reg_number
= reg_name_search (pre_defined_registers
, REG_NAME_CNT
, name
);
839 /* Put back the delimiting char. */
840 *input_line_pointer
= c
;
842 /* Look to see if it's in the register table. */
845 expressionP
->X_op
= O_register
;
846 expressionP
->X_add_number
= reg_number
;
848 /* Make the rest nice. */
849 expressionP
->X_add_symbol
= NULL
;
850 expressionP
->X_op_symbol
= NULL
;
854 /* Reset the line as if we had not done anything. */
855 input_line_pointer
= start
;
859 /* This function is called for each symbol seen in an expression. It
860 handles the special parsing which PowerPC assemblers are supposed
861 to use for condition codes. */
863 /* Whether to do the special parsing. */
864 static bfd_boolean cr_operand
;
866 /* Names to recognize in a condition code. This table is sorted. */
867 static const struct pd_reg cr_names
[] =
884 /* Parsing function. This returns non-zero if it recognized an
888 ppc_parse_name (const char *name
, expressionS
*exp
)
897 val
= reg_name_search (cr_names
, sizeof cr_names
/ sizeof cr_names
[0],
902 exp
->X_op
= O_constant
;
903 exp
->X_add_number
= val
;
908 /* Local variables. */
910 /* Whether to target xcoff64/elf64. */
911 static unsigned int ppc_obj64
= BFD_DEFAULT_TARGET_SIZE
== 64;
913 /* Opcode hash table. */
914 static struct hash_control
*ppc_hash
;
916 /* Macro hash table. */
917 static struct hash_control
*ppc_macro_hash
;
920 /* What type of shared library support to use. */
921 static enum { SHLIB_NONE
, SHLIB_PIC
, SHLIB_MRELOCATABLE
} shlib
= SHLIB_NONE
;
923 /* Flags to set in the elf header. */
924 static flagword ppc_flags
= 0;
926 /* Whether this is Solaris or not. */
927 #ifdef TARGET_SOLARIS_COMMENT
928 #define SOLARIS_P TRUE
930 #define SOLARIS_P FALSE
933 static bfd_boolean msolaris
= SOLARIS_P
;
938 /* The RS/6000 assembler uses the .csect pseudo-op to generate code
939 using a bunch of different sections. These assembler sections,
940 however, are all encompassed within the .text or .data sections of
941 the final output file. We handle this by using different
942 subsegments within these main segments. */
944 /* Next subsegment to allocate within the .text segment. */
945 static subsegT ppc_text_subsegment
= 2;
947 /* Linked list of csects in the text section. */
948 static symbolS
*ppc_text_csects
;
950 /* Next subsegment to allocate within the .data segment. */
951 static subsegT ppc_data_subsegment
= 2;
953 /* Linked list of csects in the data section. */
954 static symbolS
*ppc_data_csects
;
956 /* The current csect. */
957 static symbolS
*ppc_current_csect
;
959 /* The RS/6000 assembler uses a TOC which holds addresses of functions
960 and variables. Symbols are put in the TOC with the .tc pseudo-op.
961 A special relocation is used when accessing TOC entries. We handle
962 the TOC as a subsegment within the .data segment. We set it up if
963 we see a .toc pseudo-op, and save the csect symbol here. */
964 static symbolS
*ppc_toc_csect
;
966 /* The first frag in the TOC subsegment. */
967 static fragS
*ppc_toc_frag
;
969 /* The first frag in the first subsegment after the TOC in the .data
970 segment. NULL if there are no subsegments after the TOC. */
971 static fragS
*ppc_after_toc_frag
;
973 /* The current static block. */
974 static symbolS
*ppc_current_block
;
976 /* The COFF debugging section; set by md_begin. This is not the
977 .debug section, but is instead the secret BFD section which will
978 cause BFD to set the section number of a symbol to N_DEBUG. */
979 static asection
*ppc_coff_debug_section
;
981 #endif /* OBJ_XCOFF */
985 /* Various sections that we need for PE coff support. */
986 static segT ydata_section
;
987 static segT pdata_section
;
988 static segT reldata_section
;
989 static segT rdata_section
;
990 static segT tocdata_section
;
992 /* The current section and the previous section. See ppc_previous. */
993 static segT ppc_previous_section
;
994 static segT ppc_current_section
;
999 symbolS
*GOT_symbol
; /* Pre-defined "_GLOBAL_OFFSET_TABLE" */
1000 #define PPC_APUINFO_ISEL 0x40
1001 #define PPC_APUINFO_PMR 0x41
1002 #define PPC_APUINFO_RFMCI 0x42
1003 #define PPC_APUINFO_CACHELCK 0x43
1004 #define PPC_APUINFO_SPE 0x100
1005 #define PPC_APUINFO_EFS 0x101
1006 #define PPC_APUINFO_BRLOCK 0x102
1009 * We keep a list of APUinfo
1011 unsigned long *ppc_apuinfo_list
;
1012 unsigned int ppc_apuinfo_num
;
1013 unsigned int ppc_apuinfo_num_alloc
;
1014 #endif /* OBJ_ELF */
1017 const char *const md_shortopts
= "b:l:usm:K:VQ:";
1019 const char *const md_shortopts
= "um:";
1021 const struct option md_longopts
[] = {
1022 {NULL
, no_argument
, NULL
, 0}
1024 const size_t md_longopts_size
= sizeof (md_longopts
);
1027 md_parse_option (int c
, char *arg
)
1034 /* -u means that any undefined symbols should be treated as
1035 external, which is the default for gas anyhow. */
1040 /* Solaris as takes -le (presumably for little endian). For completeness
1041 sake, recognize -be also. */
1042 if (strcmp (arg
, "e") == 0)
1044 target_big_endian
= 0;
1045 set_target_endian
= 1;
1053 if (strcmp (arg
, "e") == 0)
1055 target_big_endian
= 1;
1056 set_target_endian
= 1;
1064 /* Recognize -K PIC. */
1065 if (strcmp (arg
, "PIC") == 0 || strcmp (arg
, "pic") == 0)
1068 ppc_flags
|= EF_PPC_RELOCATABLE_LIB
;
1076 /* a64 and a32 determine whether to use XCOFF64 or XCOFF32. */
1078 if (strcmp (arg
, "64") == 0)
1083 as_fatal (_("%s unsupported"), "-a64");
1086 else if (strcmp (arg
, "32") == 0)
1093 if ((new_cpu
= ppc_parse_cpu (ppc_cpu
, arg
)) != 0)
1096 else if (strcmp (arg
, "regnames") == 0)
1099 else if (strcmp (arg
, "no-regnames") == 0)
1100 reg_names_p
= FALSE
;
1103 /* -mrelocatable/-mrelocatable-lib -- warn about initializations
1104 that require relocation. */
1105 else if (strcmp (arg
, "relocatable") == 0)
1107 shlib
= SHLIB_MRELOCATABLE
;
1108 ppc_flags
|= EF_PPC_RELOCATABLE
;
1111 else if (strcmp (arg
, "relocatable-lib") == 0)
1113 shlib
= SHLIB_MRELOCATABLE
;
1114 ppc_flags
|= EF_PPC_RELOCATABLE_LIB
;
1117 /* -memb, set embedded bit. */
1118 else if (strcmp (arg
, "emb") == 0)
1119 ppc_flags
|= EF_PPC_EMB
;
1121 /* -mlittle/-mbig set the endianess. */
1122 else if (strcmp (arg
, "little") == 0
1123 || strcmp (arg
, "little-endian") == 0)
1125 target_big_endian
= 0;
1126 set_target_endian
= 1;
1129 else if (strcmp (arg
, "big") == 0 || strcmp (arg
, "big-endian") == 0)
1131 target_big_endian
= 1;
1132 set_target_endian
= 1;
1135 else if (strcmp (arg
, "solaris") == 0)
1138 ppc_comment_chars
= ppc_solaris_comment_chars
;
1141 else if (strcmp (arg
, "no-solaris") == 0)
1144 ppc_comment_chars
= ppc_eabi_comment_chars
;
1149 as_bad (_("invalid switch -m%s"), arg
);
1155 /* -V: SVR4 argument to print version ID. */
1157 print_version_id ();
1160 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
1161 should be emitted or not. FIXME: Not implemented. */
1165 /* Solaris takes -s to specify that .stabs go in a .stabs section,
1166 rather than .stabs.excl, which is ignored by the linker.
1167 FIXME: Not implemented. */
1183 md_show_usage (FILE *stream
)
1185 fprintf (stream
, _("\
1187 -a32 generate ELF32/XCOFF32\n\
1188 -a64 generate ELF64/XCOFF64\n\
1190 -mpwrx, -mpwr2 generate code for POWER/2 (RIOS2)\n\
1191 -mpwr generate code for POWER (RIOS1)\n\
1192 -m601 generate code for PowerPC 601\n\
1193 -mppc, -mppc32, -m603, -m604\n\
1194 generate code for PowerPC 603/604\n\
1195 -m403 generate code for PowerPC 403\n\
1196 -m405 generate code for PowerPC 405\n\
1197 -m440 generate code for PowerPC 440\n\
1198 -m464 generate code for PowerPC 464\n\
1199 -m476 generate code for PowerPC 476\n\
1200 -m7400, -m7410, -m7450, -m7455\n\
1201 generate code for PowerPC 7400/7410/7450/7455\n\
1202 -m750cl generate code for PowerPC 750cl\n"));
1203 fprintf (stream
, _("\
1204 -mppc64, -m620 generate code for PowerPC 620/625/630\n\
1205 -mppc64bridge generate code for PowerPC 64, including bridge insns\n\
1206 -mbooke generate code for 32-bit PowerPC BookE\n\
1207 -ma2 generate code for A2 architecture\n\
1208 -mpower4, -mpwr4 generate code for Power4 architecture\n\
1209 -mpower5, -mpwr5, -mpwr5x\n\
1210 generate code for Power5 architecture\n\
1211 -mpower6, -mpwr6 generate code for Power6 architecture\n\
1212 -mpower7, -mpwr7 generate code for Power7 architecture\n\
1213 -mcell generate code for Cell Broadband Engine architecture\n\
1214 -mcom generate code Power/PowerPC common instructions\n\
1215 -many generate code for any architecture (PWR/PWRX/PPC)\n"));
1216 fprintf (stream
, _("\
1217 -maltivec generate code for AltiVec\n\
1218 -mvsx generate code for Vector-Scalar (VSX) instructions\n\
1219 -me300 generate code for PowerPC e300 family\n\
1220 -me500, -me500x2 generate code for Motorola e500 core complex\n\
1221 -me500mc, generate code for Freescale e500mc core complex\n\
1222 -me500mc64, generate code for Freescale e500mc64 core complex\n\
1223 -mspe generate code for Motorola SPE instructions\n\
1224 -mtitan generate code for AppliedMicro Titan core complex\n\
1225 -mregnames Allow symbolic names for registers\n\
1226 -mno-regnames Do not allow symbolic names for registers\n"));
1228 fprintf (stream
, _("\
1229 -mrelocatable support for GCC's -mrelocatble option\n\
1230 -mrelocatable-lib support for GCC's -mrelocatble-lib option\n\
1231 -memb set PPC_EMB bit in ELF flags\n\
1232 -mlittle, -mlittle-endian, -l, -le\n\
1233 generate code for a little endian machine\n\
1234 -mbig, -mbig-endian, -b, -be\n\
1235 generate code for a big endian machine\n\
1236 -msolaris generate code for Solaris\n\
1237 -mno-solaris do not generate code for Solaris\n\
1238 -V print assembler version number\n\
1239 -Qy, -Qn ignored\n"));
1243 /* Set ppc_cpu if it is not already set. */
1248 const char *default_os
= TARGET_OS
;
1249 const char *default_cpu
= TARGET_CPU
;
1251 if ((ppc_cpu
& ~(ppc_cpu_t
) PPC_OPCODE_ANY
) == 0)
1254 ppc_cpu
|= PPC_OPCODE_PPC
| PPC_OPCODE_64
;
1255 else if (strncmp (default_os
, "aix", 3) == 0
1256 && default_os
[3] >= '4' && default_os
[3] <= '9')
1257 ppc_cpu
|= PPC_OPCODE_COMMON
;
1258 else if (strncmp (default_os
, "aix3", 4) == 0)
1259 ppc_cpu
|= PPC_OPCODE_POWER
;
1260 else if (strcmp (default_cpu
, "rs6000") == 0)
1261 ppc_cpu
|= PPC_OPCODE_POWER
;
1262 else if (strncmp (default_cpu
, "powerpc", 7) == 0)
1263 ppc_cpu
|= PPC_OPCODE_PPC
;
1265 as_fatal (_("Unknown default cpu = %s, os = %s"),
1266 default_cpu
, default_os
);
1270 /* Figure out the BFD architecture to use. This function and ppc_mach
1271 are called well before md_begin, when the output file is opened. */
1273 enum bfd_architecture
1276 const char *default_cpu
= TARGET_CPU
;
1279 if ((ppc_cpu
& PPC_OPCODE_PPC
) != 0)
1280 return bfd_arch_powerpc
;
1281 else if ((ppc_cpu
& PPC_OPCODE_POWER
) != 0)
1282 return bfd_arch_rs6000
;
1283 else if ((ppc_cpu
& (PPC_OPCODE_COMMON
| PPC_OPCODE_ANY
)) != 0)
1285 if (strcmp (default_cpu
, "rs6000") == 0)
1286 return bfd_arch_rs6000
;
1287 else if (strncmp (default_cpu
, "powerpc", 7) == 0)
1288 return bfd_arch_powerpc
;
1291 as_fatal (_("Neither Power nor PowerPC opcodes were selected."));
1292 return bfd_arch_unknown
;
1299 return bfd_mach_ppc64
;
1300 else if (ppc_arch () == bfd_arch_rs6000
)
1301 return bfd_mach_rs6k
;
1302 else if (ppc_cpu
& PPC_OPCODE_TITAN
)
1303 return bfd_mach_ppc_titan
;
1305 return bfd_mach_ppc
;
1309 ppc_target_format (void)
1313 return target_big_endian
? "pe-powerpc" : "pe-powerpcle";
1315 return "xcoff-powermac";
1318 return (ppc_obj64
? "aix5coff64-rs6000" : "aixcoff-rs6000");
1320 return (ppc_obj64
? "aixcoff64-rs6000" : "aixcoff-rs6000");
1326 return "elf32-powerpc-vxworks";
1328 return (target_big_endian
1329 ? (ppc_obj64
? "elf64-powerpc" : "elf32-powerpc")
1330 : (ppc_obj64
? "elf64-powerpcle" : "elf32-powerpcle"));
1335 /* Insert opcodes and macros into hash tables. Called at startup and
1339 ppc_setup_opcodes (void)
1341 const struct powerpc_opcode
*op
;
1342 const struct powerpc_opcode
*op_end
;
1343 const struct powerpc_macro
*macro
;
1344 const struct powerpc_macro
*macro_end
;
1345 bfd_boolean bad_insn
= FALSE
;
1347 if (ppc_hash
!= NULL
)
1348 hash_die (ppc_hash
);
1349 if (ppc_macro_hash
!= NULL
)
1350 hash_die (ppc_macro_hash
);
1352 /* Insert the opcodes into a hash table. */
1353 ppc_hash
= hash_new ();
1355 if (ENABLE_CHECKING
)
1359 /* Check operand masks. Code here and in the disassembler assumes
1360 all the 1's in the mask are contiguous. */
1361 for (i
= 0; i
< num_powerpc_operands
; ++i
)
1363 unsigned long mask
= powerpc_operands
[i
].bitm
;
1364 unsigned long right_bit
;
1367 right_bit
= mask
& -mask
;
1369 right_bit
= mask
& -mask
;
1370 if (mask
!= right_bit
)
1372 as_bad (_("powerpc_operands[%d].bitm invalid"), i
);
1375 for (j
= i
+ 1; j
< num_powerpc_operands
; ++j
)
1376 if (memcmp (&powerpc_operands
[i
], &powerpc_operands
[j
],
1377 sizeof (powerpc_operands
[0])) == 0)
1379 as_bad (_("powerpc_operands[%d] duplicates powerpc_operands[%d]"),
1386 op_end
= powerpc_opcodes
+ powerpc_num_opcodes
;
1387 for (op
= powerpc_opcodes
; op
< op_end
; op
++)
1389 if (ENABLE_CHECKING
)
1391 const unsigned char *o
;
1392 unsigned long omask
= op
->mask
;
1394 if (op
!= powerpc_opcodes
)
1396 /* The major opcodes had better be sorted. Code in the
1397 disassembler assumes the insns are sorted according to
1399 if (PPC_OP (op
[0].opcode
) < PPC_OP (op
[-1].opcode
))
1401 as_bad (_("major opcode is not sorted for %s"),
1406 /* Warn if the table isn't more strictly ordered.
1407 Unfortunately it doesn't seem possible to order the
1408 table on much more than the major opcode, which makes
1409 it difficult to implement a binary search in the
1410 disassembler. The problem is that we have multiple
1411 ways to disassemble instructions, and we usually want
1412 to choose a more specific form (with more bits set in
1413 the opcode) than a more general form. eg. all of the
1414 following are equivalent:
1415 bne label # opcode = 0x40820000, mask = 0xff830003
1416 bf 2,label # opcode = 0x40800000, mask = 0xff800003
1417 bc 4,2,label # opcode = 0x40000000, mask = 0xfc000003
1419 There are also cases where the table needs to be out
1420 of order to disassemble the correct instruction for
1421 processor variants. */
1424 unsigned long t1
= op
[0].opcode
;
1425 unsigned long t2
= op
[-1].opcode
;
1427 if (((t1
^ t2
) & 0xfc0007ff) == 0
1428 && (t1
& 0xfc0006df) == 0x7c000286)
1430 /* spr field is split. */
1431 t1
= ((t1
& ~0x1ff800)
1432 | ((t1
& 0xf800) << 5) | ((t1
& 0x1f0000) >> 5));
1433 t2
= ((t2
& ~0x1ff800)
1434 | ((t2
& 0xf800) << 5) | ((t2
& 0x1f0000) >> 5));
1437 as_warn (_("%s (%08lx %08lx) after %s (%08lx %08lx)"),
1438 op
[0].name
, op
[0].opcode
, op
[0].mask
,
1439 op
[-1].name
, op
[-1].opcode
, op
[-1].mask
);
1443 /* The mask had better not trim off opcode bits. */
1444 if ((op
->opcode
& omask
) != op
->opcode
)
1446 as_bad (_("mask trims opcode bits for %s"),
1451 /* The operands must not overlap the opcode or each other. */
1452 for (o
= op
->operands
; *o
; ++o
)
1453 if (*o
>= num_powerpc_operands
)
1455 as_bad (_("operand index error for %s"),
1461 const struct powerpc_operand
*operand
= &powerpc_operands
[*o
];
1462 if (operand
->shift
>= 0)
1464 unsigned long mask
= operand
->bitm
<< operand
->shift
;
1467 as_bad (_("operand %d overlap in %s"),
1468 (int) (o
- op
->operands
), op
->name
);
1476 if ((ppc_cpu
& op
->flags
) != 0
1477 && !(ppc_cpu
& op
->deprecated
))
1481 retval
= hash_insert (ppc_hash
, op
->name
, (void *) op
);
1484 as_bad (_("duplicate instruction %s"),
1491 if ((ppc_cpu
& PPC_OPCODE_ANY
) != 0)
1492 for (op
= powerpc_opcodes
; op
< op_end
; op
++)
1493 hash_insert (ppc_hash
, op
->name
, (void *) op
);
1495 /* Insert the macros into a hash table. */
1496 ppc_macro_hash
= hash_new ();
1498 macro_end
= powerpc_macros
+ powerpc_num_macros
;
1499 for (macro
= powerpc_macros
; macro
< macro_end
; macro
++)
1501 if ((macro
->flags
& ppc_cpu
) != 0 || (ppc_cpu
& PPC_OPCODE_ANY
) != 0)
1505 retval
= hash_insert (ppc_macro_hash
, macro
->name
, (void *) macro
);
1506 if (retval
!= (const char *) NULL
)
1508 as_bad (_("duplicate macro %s"), macro
->name
);
1518 /* This function is called when the assembler starts up. It is called
1519 after the options have been parsed and the output file has been
1527 ppc_cie_data_alignment
= ppc_obj64
? -8 : -4;
1530 /* Set the ELF flags if desired. */
1531 if (ppc_flags
&& !msolaris
)
1532 bfd_set_private_flags (stdoutput
, ppc_flags
);
1535 ppc_setup_opcodes ();
1537 /* Tell the main code what the endianness is if it is not overridden
1539 if (!set_target_endian
)
1541 set_target_endian
= 1;
1542 target_big_endian
= PPC_BIG_ENDIAN
;
1546 ppc_coff_debug_section
= coff_section_from_bfd_index (stdoutput
, N_DEBUG
);
1548 /* Create dummy symbols to serve as initial csects. This forces the
1549 text csects to precede the data csects. These symbols will not
1551 ppc_text_csects
= symbol_make ("dummy\001");
1552 symbol_get_tc (ppc_text_csects
)->within
= ppc_text_csects
;
1553 ppc_data_csects
= symbol_make ("dummy\001");
1554 symbol_get_tc (ppc_data_csects
)->within
= ppc_data_csects
;
1559 ppc_current_section
= text_section
;
1560 ppc_previous_section
= 0;
1569 if (ppc_apuinfo_list
== NULL
)
1572 /* Ok, so write the section info out. We have this layout:
1576 0 8 length of "APUinfo\0"
1577 4 (n*4) number of APU's (4 bytes each)
1580 20 APU#1 first APU's info
1581 24 APU#2 second APU's info
1586 asection
*seg
= now_seg
;
1587 subsegT subseg
= now_subseg
;
1588 asection
*apuinfo_secp
= (asection
*) NULL
;
1591 /* Create the .PPC.EMB.apuinfo section. */
1592 apuinfo_secp
= subseg_new (".PPC.EMB.apuinfo", 0);
1593 bfd_set_section_flags (stdoutput
,
1595 SEC_HAS_CONTENTS
| SEC_READONLY
);
1598 md_number_to_chars (p
, (valueT
) 8, 4);
1601 md_number_to_chars (p
, (valueT
) ppc_apuinfo_num
* 4, 4);
1604 md_number_to_chars (p
, (valueT
) 2, 4);
1607 strcpy (p
, "APUinfo");
1609 for (i
= 0; i
< ppc_apuinfo_num
; i
++)
1612 md_number_to_chars (p
, (valueT
) ppc_apuinfo_list
[i
], 4);
1615 frag_align (2, 0, 0);
1617 /* We probably can't restore the current segment, for there likely
1620 subseg_set (seg
, subseg
);
1625 /* Insert an operand value into an instruction. */
1627 static unsigned long
1628 ppc_insert_operand (unsigned long insn
,
1629 const struct powerpc_operand
*operand
,
1635 long min
, max
, right
;
1637 max
= operand
->bitm
;
1641 if ((operand
->flags
& PPC_OPERAND_SIGNED
) != 0)
1643 if ((operand
->flags
& PPC_OPERAND_SIGNOPT
) == 0)
1644 max
= (max
>> 1) & -right
;
1645 min
= ~max
& -right
;
1648 if ((operand
->flags
& PPC_OPERAND_PLUS1
) != 0)
1651 if ((operand
->flags
& PPC_OPERAND_NEGATIVE
) != 0)
1660 /* Some people write constants with the sign extension done by
1661 hand but only up to 32 bits. This shouldn't really be valid,
1662 but, to permit this code to assemble on a 64-bit host, we
1663 sign extend the 32-bit value to 64 bits if so doing makes the
1666 && (offsetT
) (val
- 0x80000000 - 0x80000000) >= min
1667 && (offsetT
) (val
- 0x80000000 - 0x80000000) <= max
1668 && ((val
- 0x80000000 - 0x80000000) & (right
- 1)) == 0)
1669 val
= val
- 0x80000000 - 0x80000000;
1671 /* Similarly, people write expressions like ~(1<<15), and expect
1672 this to be OK for a 32-bit unsigned value. */
1674 && (offsetT
) (val
+ 0x80000000 + 0x80000000) >= min
1675 && (offsetT
) (val
+ 0x80000000 + 0x80000000) <= max
1676 && ((val
+ 0x80000000 + 0x80000000) & (right
- 1)) == 0)
1677 val
= val
+ 0x80000000 + 0x80000000;
1681 || (val
& (right
- 1)) != 0)
1682 as_bad_value_out_of_range (_("operand"), val
, min
, max
, file
, line
);
1685 if (operand
->insert
)
1690 insn
= (*operand
->insert
) (insn
, (long) val
, cpu
, &errmsg
);
1691 if (errmsg
!= (const char *) NULL
)
1692 as_bad_where (file
, line
, "%s", errmsg
);
1695 insn
|= ((long) val
& operand
->bitm
) << operand
->shift
;
1702 /* Parse @got, etc. and return the desired relocation. */
1703 static bfd_reloc_code_real_type
1704 ppc_elf_suffix (char **str_p
, expressionS
*exp_p
)
1708 unsigned int length
: 8;
1709 unsigned int valid32
: 1;
1710 unsigned int valid64
: 1;
1719 const struct map_bfd
*ptr
;
1721 #define MAP(str, reloc) { str, sizeof (str) - 1, 1, 1, reloc }
1722 #define MAP32(str, reloc) { str, sizeof (str) - 1, 1, 0, reloc }
1723 #define MAP64(str, reloc) { str, sizeof (str) - 1, 0, 1, reloc }
1725 static const struct map_bfd mapping
[] = {
1726 MAP ("l", BFD_RELOC_LO16
),
1727 MAP ("h", BFD_RELOC_HI16
),
1728 MAP ("ha", BFD_RELOC_HI16_S
),
1729 MAP ("brtaken", BFD_RELOC_PPC_B16_BRTAKEN
),
1730 MAP ("brntaken", BFD_RELOC_PPC_B16_BRNTAKEN
),
1731 MAP ("got", BFD_RELOC_16_GOTOFF
),
1732 MAP ("got@l", BFD_RELOC_LO16_GOTOFF
),
1733 MAP ("got@h", BFD_RELOC_HI16_GOTOFF
),
1734 MAP ("got@ha", BFD_RELOC_HI16_S_GOTOFF
),
1735 MAP ("plt@l", BFD_RELOC_LO16_PLTOFF
),
1736 MAP ("plt@h", BFD_RELOC_HI16_PLTOFF
),
1737 MAP ("plt@ha", BFD_RELOC_HI16_S_PLTOFF
),
1738 MAP ("copy", BFD_RELOC_PPC_COPY
),
1739 MAP ("globdat", BFD_RELOC_PPC_GLOB_DAT
),
1740 MAP ("sectoff", BFD_RELOC_16_BASEREL
),
1741 MAP ("sectoff@l", BFD_RELOC_LO16_BASEREL
),
1742 MAP ("sectoff@h", BFD_RELOC_HI16_BASEREL
),
1743 MAP ("sectoff@ha", BFD_RELOC_HI16_S_BASEREL
),
1744 MAP ("tls", BFD_RELOC_PPC_TLS
),
1745 MAP ("dtpmod", BFD_RELOC_PPC_DTPMOD
),
1746 MAP ("dtprel", BFD_RELOC_PPC_DTPREL
),
1747 MAP ("dtprel@l", BFD_RELOC_PPC_DTPREL16_LO
),
1748 MAP ("dtprel@h", BFD_RELOC_PPC_DTPREL16_HI
),
1749 MAP ("dtprel@ha", BFD_RELOC_PPC_DTPREL16_HA
),
1750 MAP ("tprel", BFD_RELOC_PPC_TPREL
),
1751 MAP ("tprel@l", BFD_RELOC_PPC_TPREL16_LO
),
1752 MAP ("tprel@h", BFD_RELOC_PPC_TPREL16_HI
),
1753 MAP ("tprel@ha", BFD_RELOC_PPC_TPREL16_HA
),
1754 MAP ("got@tlsgd", BFD_RELOC_PPC_GOT_TLSGD16
),
1755 MAP ("got@tlsgd@l", BFD_RELOC_PPC_GOT_TLSGD16_LO
),
1756 MAP ("got@tlsgd@h", BFD_RELOC_PPC_GOT_TLSGD16_HI
),
1757 MAP ("got@tlsgd@ha", BFD_RELOC_PPC_GOT_TLSGD16_HA
),
1758 MAP ("got@tlsld", BFD_RELOC_PPC_GOT_TLSLD16
),
1759 MAP ("got@tlsld@l", BFD_RELOC_PPC_GOT_TLSLD16_LO
),
1760 MAP ("got@tlsld@h", BFD_RELOC_PPC_GOT_TLSLD16_HI
),
1761 MAP ("got@tlsld@ha", BFD_RELOC_PPC_GOT_TLSLD16_HA
),
1762 MAP ("got@dtprel", BFD_RELOC_PPC_GOT_DTPREL16
),
1763 MAP ("got@dtprel@l", BFD_RELOC_PPC_GOT_DTPREL16_LO
),
1764 MAP ("got@dtprel@h", BFD_RELOC_PPC_GOT_DTPREL16_HI
),
1765 MAP ("got@dtprel@ha", BFD_RELOC_PPC_GOT_DTPREL16_HA
),
1766 MAP ("got@tprel", BFD_RELOC_PPC_GOT_TPREL16
),
1767 MAP ("got@tprel@l", BFD_RELOC_PPC_GOT_TPREL16_LO
),
1768 MAP ("got@tprel@h", BFD_RELOC_PPC_GOT_TPREL16_HI
),
1769 MAP ("got@tprel@ha", BFD_RELOC_PPC_GOT_TPREL16_HA
),
1770 MAP32 ("fixup", BFD_RELOC_CTOR
),
1771 MAP32 ("plt", BFD_RELOC_24_PLT_PCREL
),
1772 MAP32 ("pltrel24", BFD_RELOC_24_PLT_PCREL
),
1773 MAP32 ("local24pc", BFD_RELOC_PPC_LOCAL24PC
),
1774 MAP32 ("local", BFD_RELOC_PPC_LOCAL24PC
),
1775 MAP32 ("pltrel", BFD_RELOC_32_PLT_PCREL
),
1776 MAP32 ("sdarel", BFD_RELOC_GPREL16
),
1777 MAP32 ("naddr", BFD_RELOC_PPC_EMB_NADDR32
),
1778 MAP32 ("naddr16", BFD_RELOC_PPC_EMB_NADDR16
),
1779 MAP32 ("naddr@l", BFD_RELOC_PPC_EMB_NADDR16_LO
),
1780 MAP32 ("naddr@h", BFD_RELOC_PPC_EMB_NADDR16_HI
),
1781 MAP32 ("naddr@ha", BFD_RELOC_PPC_EMB_NADDR16_HA
),
1782 MAP32 ("sdai16", BFD_RELOC_PPC_EMB_SDAI16
),
1783 MAP32 ("sda2rel", BFD_RELOC_PPC_EMB_SDA2REL
),
1784 MAP32 ("sda2i16", BFD_RELOC_PPC_EMB_SDA2I16
),
1785 MAP32 ("sda21", BFD_RELOC_PPC_EMB_SDA21
),
1786 MAP32 ("mrkref", BFD_RELOC_PPC_EMB_MRKREF
),
1787 MAP32 ("relsect", BFD_RELOC_PPC_EMB_RELSEC16
),
1788 MAP32 ("relsect@l", BFD_RELOC_PPC_EMB_RELST_LO
),
1789 MAP32 ("relsect@h", BFD_RELOC_PPC_EMB_RELST_HI
),
1790 MAP32 ("relsect@ha", BFD_RELOC_PPC_EMB_RELST_HA
),
1791 MAP32 ("bitfld", BFD_RELOC_PPC_EMB_BIT_FLD
),
1792 MAP32 ("relsda", BFD_RELOC_PPC_EMB_RELSDA
),
1793 MAP32 ("xgot", BFD_RELOC_PPC_TOC16
),
1794 MAP64 ("higher", BFD_RELOC_PPC64_HIGHER
),
1795 MAP64 ("highera", BFD_RELOC_PPC64_HIGHER_S
),
1796 MAP64 ("highest", BFD_RELOC_PPC64_HIGHEST
),
1797 MAP64 ("highesta", BFD_RELOC_PPC64_HIGHEST_S
),
1798 MAP64 ("tocbase", BFD_RELOC_PPC64_TOC
),
1799 MAP64 ("toc", BFD_RELOC_PPC_TOC16
),
1800 MAP64 ("toc@l", BFD_RELOC_PPC64_TOC16_LO
),
1801 MAP64 ("toc@h", BFD_RELOC_PPC64_TOC16_HI
),
1802 MAP64 ("toc@ha", BFD_RELOC_PPC64_TOC16_HA
),
1803 MAP64 ("dtprel@higher", BFD_RELOC_PPC64_DTPREL16_HIGHER
),
1804 MAP64 ("dtprel@highera", BFD_RELOC_PPC64_DTPREL16_HIGHERA
),
1805 MAP64 ("dtprel@highest", BFD_RELOC_PPC64_DTPREL16_HIGHEST
),
1806 MAP64 ("dtprel@highesta", BFD_RELOC_PPC64_DTPREL16_HIGHESTA
),
1807 MAP64 ("tprel@higher", BFD_RELOC_PPC64_TPREL16_HIGHER
),
1808 MAP64 ("tprel@highera", BFD_RELOC_PPC64_TPREL16_HIGHERA
),
1809 MAP64 ("tprel@highest", BFD_RELOC_PPC64_TPREL16_HIGHEST
),
1810 MAP64 ("tprel@highesta", BFD_RELOC_PPC64_TPREL16_HIGHESTA
),
1811 { (char *) 0, 0, 0, 0, BFD_RELOC_UNUSED
}
1815 return BFD_RELOC_UNUSED
;
1817 for (ch
= *str
, str2
= ident
;
1818 (str2
< ident
+ sizeof (ident
) - 1
1819 && (ISALNUM (ch
) || ch
== '@'));
1822 *str2
++ = TOLOWER (ch
);
1829 for (ptr
= &mapping
[0]; ptr
->length
> 0; ptr
++)
1830 if (ch
== ptr
->string
[0]
1831 && len
== ptr
->length
1832 && memcmp (ident
, ptr
->string
, ptr
->length
) == 0
1833 && (ppc_obj64
? ptr
->valid64
: ptr
->valid32
))
1835 int reloc
= ptr
->reloc
;
1837 if (!ppc_obj64
&& exp_p
->X_add_number
!= 0)
1841 case BFD_RELOC_16_GOTOFF
:
1842 case BFD_RELOC_LO16_GOTOFF
:
1843 case BFD_RELOC_HI16_GOTOFF
:
1844 case BFD_RELOC_HI16_S_GOTOFF
:
1845 as_warn (_("identifier+constant@got means "
1846 "identifier@got+constant"));
1849 case BFD_RELOC_PPC_GOT_TLSGD16
:
1850 case BFD_RELOC_PPC_GOT_TLSGD16_LO
:
1851 case BFD_RELOC_PPC_GOT_TLSGD16_HI
:
1852 case BFD_RELOC_PPC_GOT_TLSGD16_HA
:
1853 case BFD_RELOC_PPC_GOT_TLSLD16
:
1854 case BFD_RELOC_PPC_GOT_TLSLD16_LO
:
1855 case BFD_RELOC_PPC_GOT_TLSLD16_HI
:
1856 case BFD_RELOC_PPC_GOT_TLSLD16_HA
:
1857 case BFD_RELOC_PPC_GOT_DTPREL16
:
1858 case BFD_RELOC_PPC_GOT_DTPREL16_LO
:
1859 case BFD_RELOC_PPC_GOT_DTPREL16_HI
:
1860 case BFD_RELOC_PPC_GOT_DTPREL16_HA
:
1861 case BFD_RELOC_PPC_GOT_TPREL16
:
1862 case BFD_RELOC_PPC_GOT_TPREL16_LO
:
1863 case BFD_RELOC_PPC_GOT_TPREL16_HI
:
1864 case BFD_RELOC_PPC_GOT_TPREL16_HA
:
1865 as_bad (_("symbol+offset not supported for got tls"));
1870 /* Now check for identifier@suffix+constant. */
1871 if (*str
== '-' || *str
== '+')
1873 char *orig_line
= input_line_pointer
;
1874 expressionS new_exp
;
1876 input_line_pointer
= str
;
1877 expression (&new_exp
);
1878 if (new_exp
.X_op
== O_constant
)
1880 exp_p
->X_add_number
+= new_exp
.X_add_number
;
1881 str
= input_line_pointer
;
1884 if (&input_line_pointer
!= str_p
)
1885 input_line_pointer
= orig_line
;
1889 if (reloc
== (int) BFD_RELOC_PPC64_TOC
1890 && exp_p
->X_op
== O_symbol
1891 && strcmp (S_GET_NAME (exp_p
->X_add_symbol
), ".TOC.") == 0)
1893 /* Change the symbol so that the dummy .TOC. symbol can be
1894 omitted from the object file. */
1895 exp_p
->X_add_symbol
= &abs_symbol
;
1898 return (bfd_reloc_code_real_type
) reloc
;
1901 return BFD_RELOC_UNUSED
;
1904 /* Like normal .long/.short/.word, except support @got, etc.
1905 Clobbers input_line_pointer, checks end-of-line. */
1907 ppc_elf_cons (int nbytes
/* 1=.byte, 2=.word, 4=.long, 8=.llong */)
1910 bfd_reloc_code_real_type reloc
;
1912 if (is_it_end_of_statement ())
1914 demand_empty_rest_of_line ();
1921 if (exp
.X_op
== O_symbol
1922 && *input_line_pointer
== '@'
1923 && (reloc
= ppc_elf_suffix (&input_line_pointer
,
1924 &exp
)) != BFD_RELOC_UNUSED
)
1926 reloc_howto_type
*reloc_howto
;
1929 reloc_howto
= bfd_reloc_type_lookup (stdoutput
, reloc
);
1930 size
= bfd_get_reloc_size (reloc_howto
);
1934 as_bad (_("%s relocations do not fit in %d bytes\n"),
1935 reloc_howto
->name
, nbytes
);
1942 p
= frag_more (nbytes
);
1943 memset (p
, 0, nbytes
);
1945 if (target_big_endian
)
1946 offset
= nbytes
- size
;
1947 fix_new_exp (frag_now
, p
- frag_now
->fr_literal
+ offset
, size
,
1952 emit_expr (&exp
, (unsigned int) nbytes
);
1954 while (*input_line_pointer
++ == ',');
1956 /* Put terminator back into stream. */
1957 input_line_pointer
--;
1958 demand_empty_rest_of_line ();
1961 /* Solaris pseduo op to change to the .rodata section. */
1963 ppc_elf_rdata (int xxx
)
1965 char *save_line
= input_line_pointer
;
1966 static char section
[] = ".rodata\n";
1968 /* Just pretend this is .section .rodata */
1969 input_line_pointer
= section
;
1970 obj_elf_section (xxx
);
1972 input_line_pointer
= save_line
;
1975 /* Pseudo op to make file scope bss items. */
1977 ppc_elf_lcomm (int xxx ATTRIBUTE_UNUSED
)
1990 name
= input_line_pointer
;
1991 c
= get_symbol_end ();
1993 /* just after name is now '\0'. */
1994 p
= input_line_pointer
;
1997 if (*input_line_pointer
!= ',')
1999 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
2000 ignore_rest_of_line ();
2004 input_line_pointer
++; /* skip ',' */
2005 if ((size
= get_absolute_expression ()) < 0)
2007 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) size
);
2008 ignore_rest_of_line ();
2012 /* The third argument to .lcomm is the alignment. */
2013 if (*input_line_pointer
!= ',')
2017 ++input_line_pointer
;
2018 align
= get_absolute_expression ();
2021 as_warn (_("ignoring bad alignment"));
2027 symbolP
= symbol_find_or_make (name
);
2030 if (S_IS_DEFINED (symbolP
) && ! S_IS_COMMON (symbolP
))
2032 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
2033 S_GET_NAME (symbolP
));
2034 ignore_rest_of_line ();
2038 if (S_GET_VALUE (symbolP
) && S_GET_VALUE (symbolP
) != (valueT
) size
)
2040 as_bad (_("Length of .lcomm \"%s\" is already %ld. Not changed to %ld."),
2041 S_GET_NAME (symbolP
),
2042 (long) S_GET_VALUE (symbolP
),
2045 ignore_rest_of_line ();
2051 old_subsec
= now_subseg
;
2054 /* Convert to a power of 2 alignment. */
2055 for (align2
= 0; (align
& 1) == 0; align
>>= 1, ++align2
);
2058 as_bad (_("Common alignment not a power of 2"));
2059 ignore_rest_of_line ();
2066 record_alignment (bss_section
, align2
);
2067 subseg_set (bss_section
, 0);
2069 frag_align (align2
, 0, 0);
2070 if (S_GET_SEGMENT (symbolP
) == bss_section
)
2071 symbol_get_frag (symbolP
)->fr_symbol
= 0;
2072 symbol_set_frag (symbolP
, frag_now
);
2073 pfrag
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, symbolP
, size
,
2076 S_SET_SIZE (symbolP
, size
);
2077 S_SET_SEGMENT (symbolP
, bss_section
);
2078 subseg_set (old_sec
, old_subsec
);
2079 demand_empty_rest_of_line ();
2082 /* Validate any relocations emitted for -mrelocatable, possibly adding
2083 fixups for word relocations in writable segments, so we can adjust
2086 ppc_elf_validate_fix (fixS
*fixp
, segT seg
)
2088 if (fixp
->fx_done
|| fixp
->fx_pcrel
)
2097 case SHLIB_MRELOCATABLE
:
2098 if (fixp
->fx_r_type
<= BFD_RELOC_UNUSED
2099 && fixp
->fx_r_type
!= BFD_RELOC_16_GOTOFF
2100 && fixp
->fx_r_type
!= BFD_RELOC_HI16_GOTOFF
2101 && fixp
->fx_r_type
!= BFD_RELOC_LO16_GOTOFF
2102 && fixp
->fx_r_type
!= BFD_RELOC_HI16_S_GOTOFF
2103 && fixp
->fx_r_type
!= BFD_RELOC_16_BASEREL
2104 && fixp
->fx_r_type
!= BFD_RELOC_LO16_BASEREL
2105 && fixp
->fx_r_type
!= BFD_RELOC_HI16_BASEREL
2106 && fixp
->fx_r_type
!= BFD_RELOC_HI16_S_BASEREL
2107 && (seg
->flags
& SEC_LOAD
) != 0
2108 && strcmp (segment_name (seg
), ".got2") != 0
2109 && strcmp (segment_name (seg
), ".dtors") != 0
2110 && strcmp (segment_name (seg
), ".ctors") != 0
2111 && strcmp (segment_name (seg
), ".fixup") != 0
2112 && strcmp (segment_name (seg
), ".gcc_except_table") != 0
2113 && strcmp (segment_name (seg
), ".eh_frame") != 0
2114 && strcmp (segment_name (seg
), ".ex_shared") != 0)
2116 if ((seg
->flags
& (SEC_READONLY
| SEC_CODE
)) != 0
2117 || fixp
->fx_r_type
!= BFD_RELOC_CTOR
)
2119 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
2120 _("Relocation cannot be done when using -mrelocatable"));
2127 /* Prevent elf_frob_file_before_adjust removing a weak undefined
2128 function descriptor sym if the corresponding code sym is used. */
2131 ppc_frob_file_before_adjust (void)
2139 for (symp
= symbol_rootP
; symp
; symp
= symbol_next (symp
))
2146 name
= S_GET_NAME (symp
);
2150 if (! S_IS_WEAK (symp
)
2151 || S_IS_DEFINED (symp
))
2154 len
= strlen (name
) + 1;
2155 dotname
= xmalloc (len
+ 1);
2157 memcpy (dotname
+ 1, name
, len
);
2158 dotsym
= symbol_find_noref (dotname
, 1);
2160 if (dotsym
!= NULL
&& (symbol_used_p (dotsym
)
2161 || symbol_used_in_reloc_p (dotsym
)))
2162 symbol_mark_used (symp
);
2166 toc
= bfd_get_section_by_name (stdoutput
, ".toc");
2168 && toc_reloc_types
!= has_large_toc_reloc
2169 && bfd_section_size (stdoutput
, toc
) > 0x10000)
2170 as_warn (_("TOC section size exceeds 64k"));
2172 /* Don't emit .TOC. symbol. */
2173 symp
= symbol_find (".TOC.");
2175 symbol_remove (symp
, &symbol_rootP
, &symbol_lastP
);
2177 #endif /* OBJ_ELF */
2182 * Summary of parse_toc_entry.
2184 * in: Input_line_pointer points to the '[' in one of:
2186 * [toc] [tocv] [toc32] [toc64]
2188 * Anything else is an error of one kind or another.
2191 * return value: success or failure
2192 * toc_kind: kind of toc reference
2193 * input_line_pointer:
2194 * success: first char after the ']'
2195 * failure: unchanged
2199 * [toc] - rv == success, toc_kind = default_toc
2200 * [tocv] - rv == success, toc_kind = data_in_toc
2201 * [toc32] - rv == success, toc_kind = must_be_32
2202 * [toc64] - rv == success, toc_kind = must_be_64
2206 enum toc_size_qualifier
2208 default_toc
, /* The toc cell constructed should be the system default size */
2209 data_in_toc
, /* This is a direct reference to a toc cell */
2210 must_be_32
, /* The toc cell constructed must be 32 bits wide */
2211 must_be_64
/* The toc cell constructed must be 64 bits wide */
2215 parse_toc_entry (enum toc_size_qualifier
*toc_kind
)
2220 enum toc_size_qualifier t
;
2222 /* Save the input_line_pointer. */
2223 start
= input_line_pointer
;
2225 /* Skip over the '[' , and whitespace. */
2226 ++input_line_pointer
;
2229 /* Find the spelling of the operand. */
2230 toc_spec
= input_line_pointer
;
2231 c
= get_symbol_end ();
2233 if (strcmp (toc_spec
, "toc") == 0)
2237 else if (strcmp (toc_spec
, "tocv") == 0)
2241 else if (strcmp (toc_spec
, "toc32") == 0)
2245 else if (strcmp (toc_spec
, "toc64") == 0)
2251 as_bad (_("syntax error: invalid toc specifier `%s'"), toc_spec
);
2252 *input_line_pointer
= c
;
2253 input_line_pointer
= start
;
2257 /* Now find the ']'. */
2258 *input_line_pointer
= c
;
2260 SKIP_WHITESPACE (); /* leading whitespace could be there. */
2261 c
= *input_line_pointer
++; /* input_line_pointer->past char in c. */
2265 as_bad (_("syntax error: expected `]', found `%c'"), c
);
2266 input_line_pointer
= start
;
2277 #define APUID(a,v) ((((a) & 0xffff) << 16) | ((v) & 0xffff))
2279 ppc_apuinfo_section_add (unsigned int apu
, unsigned int version
)
2283 /* Check we don't already exist. */
2284 for (i
= 0; i
< ppc_apuinfo_num
; i
++)
2285 if (ppc_apuinfo_list
[i
] == APUID (apu
, version
))
2288 if (ppc_apuinfo_num
== ppc_apuinfo_num_alloc
)
2290 if (ppc_apuinfo_num_alloc
== 0)
2292 ppc_apuinfo_num_alloc
= 4;
2293 ppc_apuinfo_list
= (unsigned long *)
2294 xmalloc (sizeof (unsigned long) * ppc_apuinfo_num_alloc
);
2298 ppc_apuinfo_num_alloc
+= 4;
2299 ppc_apuinfo_list
= (unsigned long *) xrealloc (ppc_apuinfo_list
,
2300 sizeof (unsigned long) * ppc_apuinfo_num_alloc
);
2303 ppc_apuinfo_list
[ppc_apuinfo_num
++] = APUID (apu
, version
);
2309 /* We need to keep a list of fixups. We can't simply generate them as
2310 we go, because that would require us to first create the frag, and
2311 that would screw up references to ``.''. */
2317 bfd_reloc_code_real_type reloc
;
2320 #define MAX_INSN_FIXUPS (5)
2322 /* This routine is called for each instruction to be assembled. */
2325 md_assemble (char *str
)
2328 const struct powerpc_opcode
*opcode
;
2330 const unsigned char *opindex_ptr
;
2334 struct ppc_fixup fixups
[MAX_INSN_FIXUPS
];
2340 bfd_reloc_code_real_type reloc
;
2343 /* Get the opcode. */
2344 for (s
= str
; *s
!= '\0' && ! ISSPACE (*s
); s
++)
2349 /* Look up the opcode in the hash table. */
2350 opcode
= (const struct powerpc_opcode
*) hash_find (ppc_hash
, str
);
2351 if (opcode
== (const struct powerpc_opcode
*) NULL
)
2353 const struct powerpc_macro
*macro
;
2355 macro
= (const struct powerpc_macro
*) hash_find (ppc_macro_hash
, str
);
2356 if (macro
== (const struct powerpc_macro
*) NULL
)
2357 as_bad (_("Unrecognized opcode: `%s'"), str
);
2359 ppc_macro (s
, macro
);
2364 insn
= opcode
->opcode
;
2367 while (ISSPACE (*str
))
2370 /* PowerPC operands are just expressions. The only real issue is
2371 that a few operand types are optional. All cases which might use
2372 an optional operand separate the operands only with commas (in some
2373 cases parentheses are used, as in ``lwz 1,0(1)'' but such cases never
2374 have optional operands). Most instructions with optional operands
2375 have only one. Those that have more than one optional operand can
2376 take either all their operands or none. So, before we start seriously
2377 parsing the operands, we check to see if we have optional operands,
2378 and if we do, we count the number of commas to see which operands
2379 have been omitted. */
2381 for (opindex_ptr
= opcode
->operands
; *opindex_ptr
!= 0; opindex_ptr
++)
2383 const struct powerpc_operand
*operand
;
2385 operand
= &powerpc_operands
[*opindex_ptr
];
2386 if ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0)
2388 unsigned int opcount
;
2389 unsigned int num_operands_expected
;
2391 /* There is an optional operand. Count the number of
2392 commas in the input line. */
2399 while ((s
= strchr (s
, ',')) != (char *) NULL
)
2406 /* Compute the number of expected operands.
2407 Do not count fake operands. */
2408 for (num_operands_expected
= 0, i
= 0; opcode
->operands
[i
]; i
++)
2409 if ((powerpc_operands
[opcode
->operands
[i
]].flags
& PPC_OPERAND_FAKE
) == 0)
2410 ++ num_operands_expected
;
2412 /* If there are fewer operands in the line then are called
2413 for by the instruction, we want to skip the optional
2415 if (opcount
< num_operands_expected
)
2422 /* Gather the operands. */
2426 for (opindex_ptr
= opcode
->operands
; *opindex_ptr
!= 0; opindex_ptr
++)
2428 const struct powerpc_operand
*operand
;
2434 if (next_opindex
== 0)
2435 operand
= &powerpc_operands
[*opindex_ptr
];
2438 operand
= &powerpc_operands
[next_opindex
];
2443 /* If this is a fake operand, then we do not expect anything
2445 if ((operand
->flags
& PPC_OPERAND_FAKE
) != 0)
2447 insn
= (*operand
->insert
) (insn
, 0L, ppc_cpu
, &errmsg
);
2448 if (errmsg
!= (const char *) NULL
)
2449 as_bad ("%s", errmsg
);
2453 /* If this is an optional operand, and we are skipping it, just
2455 if ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0
2458 if (operand
->insert
)
2460 insn
= (*operand
->insert
) (insn
, 0L, ppc_cpu
, &errmsg
);
2461 if (errmsg
!= (const char *) NULL
)
2462 as_bad ("%s", errmsg
);
2464 if ((operand
->flags
& PPC_OPERAND_NEXT
) != 0)
2465 next_opindex
= *opindex_ptr
+ 1;
2469 /* Gather the operand. */
2470 hold
= input_line_pointer
;
2471 input_line_pointer
= str
;
2474 if (*input_line_pointer
== '[')
2476 /* We are expecting something like the second argument here:
2478 * lwz r4,[toc].GS.0.static_int(rtoc)
2479 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^
2480 * The argument following the `]' must be a symbol name, and the
2481 * register must be the toc register: 'rtoc' or '2'
2483 * The effect is to 0 as the displacement field
2484 * in the instruction, and issue an IMAGE_REL_PPC_TOCREL16 (or
2485 * the appropriate variation) reloc against it based on the symbol.
2486 * The linker will build the toc, and insert the resolved toc offset.
2489 * o The size of the toc entry is currently assumed to be
2490 * 32 bits. This should not be assumed to be a hard coded
2492 * o In an effort to cope with a change from 32 to 64 bits,
2493 * there are also toc entries that are specified to be
2494 * either 32 or 64 bits:
2495 * lwz r4,[toc32].GS.0.static_int(rtoc)
2496 * lwz r4,[toc64].GS.0.static_int(rtoc)
2497 * These demand toc entries of the specified size, and the
2498 * instruction probably requires it.
2502 enum toc_size_qualifier toc_kind
;
2503 bfd_reloc_code_real_type toc_reloc
;
2505 /* Go parse off the [tocXX] part. */
2506 valid_toc
= parse_toc_entry (&toc_kind
);
2510 /* Note: message has already been issued.
2511 FIXME: what sort of recovery should we do?
2512 demand_rest_of_line (); return; ? */
2515 /* Now get the symbol following the ']'. */
2521 /* In this case, we may not have seen the symbol yet,
2522 since it is allowed to appear on a .extern or .globl
2523 or just be a label in the .data section. */
2524 toc_reloc
= BFD_RELOC_PPC_TOC16
;
2527 /* 1. The symbol must be defined and either in the toc
2528 section, or a global.
2529 2. The reloc generated must have the TOCDEFN flag set
2530 in upper bit mess of the reloc type.
2531 FIXME: It's a little confusing what the tocv
2532 qualifier can be used for. At the very least, I've
2533 seen three uses, only one of which I'm sure I can
2535 if (ex
.X_op
== O_symbol
)
2537 gas_assert (ex
.X_add_symbol
!= NULL
);
2538 if (symbol_get_bfdsym (ex
.X_add_symbol
)->section
2541 as_bad (_("[tocv] symbol is not a toc symbol"));
2545 toc_reloc
= BFD_RELOC_PPC_TOC16
;
2548 /* FIXME: these next two specifically specify 32/64 bit
2549 toc entries. We don't support them today. Is this
2550 the right way to say that? */
2551 toc_reloc
= BFD_RELOC_UNUSED
;
2552 as_bad (_("Unimplemented toc32 expression modifier"));
2555 /* FIXME: see above. */
2556 toc_reloc
= BFD_RELOC_UNUSED
;
2557 as_bad (_("Unimplemented toc64 expression modifier"));
2561 _("Unexpected return value [%d] from parse_toc_entry!\n"),
2567 /* We need to generate a fixup for this expression. */
2568 if (fc
>= MAX_INSN_FIXUPS
)
2569 as_fatal (_("too many fixups"));
2571 fixups
[fc
].reloc
= toc_reloc
;
2572 fixups
[fc
].exp
= ex
;
2573 fixups
[fc
].opindex
= *opindex_ptr
;
2576 /* Ok. We've set up the fixup for the instruction. Now make it
2577 look like the constant 0 was found here. */
2579 ex
.X_op
= O_constant
;
2580 ex
.X_add_number
= 0;
2581 ex
.X_add_symbol
= NULL
;
2582 ex
.X_op_symbol
= NULL
;
2588 if ((reg_names_p
&& (operand
->flags
& PPC_OPERAND_CR
) != 0)
2589 || !register_name (&ex
))
2591 char save_lex
= lex_type
['%'];
2593 if ((operand
->flags
& PPC_OPERAND_CR
) != 0)
2596 lex_type
['%'] |= LEX_BEGIN_NAME
;
2600 lex_type
['%'] = save_lex
;
2604 str
= input_line_pointer
;
2605 input_line_pointer
= hold
;
2607 if (ex
.X_op
== O_illegal
)
2608 as_bad (_("illegal operand"));
2609 else if (ex
.X_op
== O_absent
)
2610 as_bad (_("missing operand"));
2611 else if (ex
.X_op
== O_register
)
2613 insn
= ppc_insert_operand (insn
, operand
, ex
.X_add_number
,
2614 ppc_cpu
, (char *) NULL
, 0);
2616 else if (ex
.X_op
== O_constant
)
2619 /* Allow @HA, @L, @H on constants. */
2620 char *orig_str
= str
;
2622 if ((reloc
= ppc_elf_suffix (&str
, &ex
)) != BFD_RELOC_UNUSED
)
2629 case BFD_RELOC_LO16
:
2630 /* X_unsigned is the default, so if the user has done
2631 something which cleared it, we always produce a
2633 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2634 ex
.X_add_number
&= 0xffff;
2636 ex
.X_add_number
= SEX16 (ex
.X_add_number
);
2639 case BFD_RELOC_HI16
:
2640 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2641 ex
.X_add_number
= PPC_HI (ex
.X_add_number
);
2643 ex
.X_add_number
= SEX16 (PPC_HI (ex
.X_add_number
));
2646 case BFD_RELOC_HI16_S
:
2647 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2648 ex
.X_add_number
= PPC_HA (ex
.X_add_number
);
2650 ex
.X_add_number
= SEX16 (PPC_HA (ex
.X_add_number
));
2653 case BFD_RELOC_PPC64_HIGHER
:
2654 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2655 ex
.X_add_number
= PPC_HIGHER (ex
.X_add_number
);
2657 ex
.X_add_number
= SEX16 (PPC_HIGHER (ex
.X_add_number
));
2660 case BFD_RELOC_PPC64_HIGHER_S
:
2661 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2662 ex
.X_add_number
= PPC_HIGHERA (ex
.X_add_number
);
2664 ex
.X_add_number
= SEX16 (PPC_HIGHERA (ex
.X_add_number
));
2667 case BFD_RELOC_PPC64_HIGHEST
:
2668 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2669 ex
.X_add_number
= PPC_HIGHEST (ex
.X_add_number
);
2671 ex
.X_add_number
= SEX16 (PPC_HIGHEST (ex
.X_add_number
));
2674 case BFD_RELOC_PPC64_HIGHEST_S
:
2675 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2676 ex
.X_add_number
= PPC_HIGHESTA (ex
.X_add_number
);
2678 ex
.X_add_number
= SEX16 (PPC_HIGHESTA (ex
.X_add_number
));
2681 #endif /* OBJ_ELF */
2682 insn
= ppc_insert_operand (insn
, operand
, ex
.X_add_number
,
2683 ppc_cpu
, (char *) NULL
, 0);
2688 if (ex
.X_op
== O_symbol
&& str
[0] == '(')
2690 const char *sym_name
= S_GET_NAME (ex
.X_add_symbol
);
2691 if (sym_name
[0] == '.')
2694 if (strcasecmp (sym_name
, "__tls_get_addr") == 0)
2696 expressionS tls_exp
;
2698 hold
= input_line_pointer
;
2699 input_line_pointer
= str
+ 1;
2700 expression (&tls_exp
);
2701 if (tls_exp
.X_op
== O_symbol
)
2703 reloc
= BFD_RELOC_UNUSED
;
2704 if (strncasecmp (input_line_pointer
, "@tlsgd)", 7) == 0)
2706 reloc
= BFD_RELOC_PPC_TLSGD
;
2707 input_line_pointer
+= 7;
2709 else if (strncasecmp (input_line_pointer
, "@tlsld)", 7) == 0)
2711 reloc
= BFD_RELOC_PPC_TLSLD
;
2712 input_line_pointer
+= 7;
2714 if (reloc
!= BFD_RELOC_UNUSED
)
2717 str
= input_line_pointer
;
2719 if (fc
>= MAX_INSN_FIXUPS
)
2720 as_fatal (_("too many fixups"));
2721 fixups
[fc
].exp
= tls_exp
;
2722 fixups
[fc
].opindex
= *opindex_ptr
;
2723 fixups
[fc
].reloc
= reloc
;
2727 input_line_pointer
= hold
;
2731 if ((reloc
= ppc_elf_suffix (&str
, &ex
)) != BFD_RELOC_UNUSED
)
2733 /* Some TLS tweaks. */
2739 case BFD_RELOC_PPC_TLS
:
2740 if (!_bfd_elf_ppc_at_tls_transform (opcode
->opcode
, 0))
2741 as_bad (_("@tls may not be used with \"%s\" operands"),
2743 else if (operand
->shift
!= 11)
2744 as_bad (_("@tls may only be used in last operand"));
2746 insn
= ppc_insert_operand (insn
, operand
,
2748 ppc_cpu
, (char *) NULL
, 0);
2751 /* We'll only use the 32 (or 64) bit form of these relocations
2752 in constants. Instructions get the 16 bit form. */
2753 case BFD_RELOC_PPC_DTPREL
:
2754 reloc
= BFD_RELOC_PPC_DTPREL16
;
2756 case BFD_RELOC_PPC_TPREL
:
2757 reloc
= BFD_RELOC_PPC_TPREL16
;
2761 /* For the absolute forms of branches, convert the PC
2762 relative form back into the absolute. */
2763 if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0)
2767 case BFD_RELOC_PPC_B26
:
2768 reloc
= BFD_RELOC_PPC_BA26
;
2770 case BFD_RELOC_PPC_B16
:
2771 reloc
= BFD_RELOC_PPC_BA16
;
2773 case BFD_RELOC_PPC_B16_BRTAKEN
:
2774 reloc
= BFD_RELOC_PPC_BA16_BRTAKEN
;
2776 case BFD_RELOC_PPC_B16_BRNTAKEN
:
2777 reloc
= BFD_RELOC_PPC_BA16_BRNTAKEN
;
2786 case BFD_RELOC_PPC_TOC16
:
2787 toc_reloc_types
|= has_small_toc_reloc
;
2789 case BFD_RELOC_PPC64_TOC16_LO
:
2790 case BFD_RELOC_PPC64_TOC16_HI
:
2791 case BFD_RELOC_PPC64_TOC16_HA
:
2792 toc_reloc_types
|= has_large_toc_reloc
;
2799 && (operand
->flags
& (PPC_OPERAND_DS
| PPC_OPERAND_DQ
)) != 0)
2804 reloc
= BFD_RELOC_PPC64_ADDR16_DS
;
2806 case BFD_RELOC_LO16
:
2807 reloc
= BFD_RELOC_PPC64_ADDR16_LO_DS
;
2809 case BFD_RELOC_16_GOTOFF
:
2810 reloc
= BFD_RELOC_PPC64_GOT16_DS
;
2812 case BFD_RELOC_LO16_GOTOFF
:
2813 reloc
= BFD_RELOC_PPC64_GOT16_LO_DS
;
2815 case BFD_RELOC_LO16_PLTOFF
:
2816 reloc
= BFD_RELOC_PPC64_PLT16_LO_DS
;
2818 case BFD_RELOC_16_BASEREL
:
2819 reloc
= BFD_RELOC_PPC64_SECTOFF_DS
;
2821 case BFD_RELOC_LO16_BASEREL
:
2822 reloc
= BFD_RELOC_PPC64_SECTOFF_LO_DS
;
2824 case BFD_RELOC_PPC_TOC16
:
2825 reloc
= BFD_RELOC_PPC64_TOC16_DS
;
2827 case BFD_RELOC_PPC64_TOC16_LO
:
2828 reloc
= BFD_RELOC_PPC64_TOC16_LO_DS
;
2830 case BFD_RELOC_PPC64_PLTGOT16
:
2831 reloc
= BFD_RELOC_PPC64_PLTGOT16_DS
;
2833 case BFD_RELOC_PPC64_PLTGOT16_LO
:
2834 reloc
= BFD_RELOC_PPC64_PLTGOT16_LO_DS
;
2836 case BFD_RELOC_PPC_DTPREL16
:
2837 reloc
= BFD_RELOC_PPC64_DTPREL16_DS
;
2839 case BFD_RELOC_PPC_DTPREL16_LO
:
2840 reloc
= BFD_RELOC_PPC64_DTPREL16_LO_DS
;
2842 case BFD_RELOC_PPC_TPREL16
:
2843 reloc
= BFD_RELOC_PPC64_TPREL16_DS
;
2845 case BFD_RELOC_PPC_TPREL16_LO
:
2846 reloc
= BFD_RELOC_PPC64_TPREL16_LO_DS
;
2848 case BFD_RELOC_PPC_GOT_DTPREL16
:
2849 case BFD_RELOC_PPC_GOT_DTPREL16_LO
:
2850 case BFD_RELOC_PPC_GOT_TPREL16
:
2851 case BFD_RELOC_PPC_GOT_TPREL16_LO
:
2854 as_bad (_("unsupported relocation for DS offset field"));
2860 /* We need to generate a fixup for this expression. */
2861 if (fc
>= MAX_INSN_FIXUPS
)
2862 as_fatal (_("too many fixups"));
2863 fixups
[fc
].exp
= ex
;
2864 fixups
[fc
].opindex
= *opindex_ptr
;
2865 fixups
[fc
].reloc
= reloc
;
2871 /* We need to generate a fixup for this expression. */
2872 if (fc
>= MAX_INSN_FIXUPS
)
2873 as_fatal (_("too many fixups"));
2874 fixups
[fc
].exp
= ex
;
2875 fixups
[fc
].opindex
= *opindex_ptr
;
2876 fixups
[fc
].reloc
= BFD_RELOC_UNUSED
;
2879 #endif /* OBJ_ELF */
2885 /* If expecting more operands, then we want to see "),". */
2886 if (*str
== endc
&& opindex_ptr
[1] != 0)
2890 while (ISSPACE (*str
));
2894 else if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0)
2902 /* The call to expression should have advanced str past any
2905 && (endc
!= ',' || *str
!= '\0'))
2908 as_bad (_("syntax error; end of line, expected `%c'"), endc
);
2910 as_bad (_("syntax error; found `%c', expected `%c'"), *str
, endc
);
2918 while (ISSPACE (*str
))
2922 as_bad (_("junk at end of line: `%s'"), str
);
2925 /* Do we need/want a APUinfo section? */
2926 if ((ppc_cpu
& (PPC_OPCODE_E500
| PPC_OPCODE_E500MC
)) != 0)
2928 /* These are all version "1". */
2929 if (opcode
->flags
& PPC_OPCODE_SPE
)
2930 ppc_apuinfo_section_add (PPC_APUINFO_SPE
, 1);
2931 if (opcode
->flags
& PPC_OPCODE_ISEL
)
2932 ppc_apuinfo_section_add (PPC_APUINFO_ISEL
, 1);
2933 if (opcode
->flags
& PPC_OPCODE_EFS
)
2934 ppc_apuinfo_section_add (PPC_APUINFO_EFS
, 1);
2935 if (opcode
->flags
& PPC_OPCODE_BRLOCK
)
2936 ppc_apuinfo_section_add (PPC_APUINFO_BRLOCK
, 1);
2937 if (opcode
->flags
& PPC_OPCODE_PMR
)
2938 ppc_apuinfo_section_add (PPC_APUINFO_PMR
, 1);
2939 if (opcode
->flags
& PPC_OPCODE_CACHELCK
)
2940 ppc_apuinfo_section_add (PPC_APUINFO_CACHELCK
, 1);
2941 if (opcode
->flags
& PPC_OPCODE_RFMCI
)
2942 ppc_apuinfo_section_add (PPC_APUINFO_RFMCI
, 1);
2946 /* Write out the instruction. */
2948 addr_mod
= frag_now_fix () & 3;
2949 if (frag_now
->has_code
&& frag_now
->insn_addr
!= addr_mod
)
2950 as_bad (_("instruction address is not a multiple of 4"));
2951 frag_now
->insn_addr
= addr_mod
;
2952 frag_now
->has_code
= 1;
2953 md_number_to_chars (f
, insn
, 4);
2956 dwarf2_emit_insn (4);
2959 /* Create any fixups. At this point we do not use a
2960 bfd_reloc_code_real_type, but instead just use the
2961 BFD_RELOC_UNUSED plus the operand index. This lets us easily
2962 handle fixups for any operand type, although that is admittedly
2963 not a very exciting feature. We pick a BFD reloc type in
2965 for (i
= 0; i
< fc
; i
++)
2967 if (fixups
[i
].reloc
!= BFD_RELOC_UNUSED
)
2969 reloc_howto_type
*reloc_howto
;
2974 reloc_howto
= bfd_reloc_type_lookup (stdoutput
, fixups
[i
].reloc
);
2978 size
= bfd_get_reloc_size (reloc_howto
);
2979 offset
= target_big_endian
? (4 - size
) : 0;
2981 if (size
< 1 || size
> 4)
2984 fixP
= fix_new_exp (frag_now
,
2985 f
- frag_now
->fr_literal
+ offset
,
2988 reloc_howto
->pc_relative
,
2991 /* Turn off complaints that the addend is too large for things like
2993 switch (fixups
[i
].reloc
)
2995 case BFD_RELOC_16_GOTOFF
:
2996 case BFD_RELOC_PPC_TOC16
:
2997 case BFD_RELOC_LO16
:
2998 case BFD_RELOC_HI16
:
2999 case BFD_RELOC_HI16_S
:
3001 case BFD_RELOC_PPC64_HIGHER
:
3002 case BFD_RELOC_PPC64_HIGHER_S
:
3003 case BFD_RELOC_PPC64_HIGHEST
:
3004 case BFD_RELOC_PPC64_HIGHEST_S
:
3006 fixP
->fx_no_overflow
= 1;
3014 const struct powerpc_operand
*operand
;
3016 operand
= &powerpc_operands
[fixups
[i
].opindex
];
3017 fix_new_exp (frag_now
,
3018 f
- frag_now
->fr_literal
,
3021 (operand
->flags
& PPC_OPERAND_RELATIVE
) != 0,
3022 ((bfd_reloc_code_real_type
)
3023 (fixups
[i
].opindex
+ (int) BFD_RELOC_UNUSED
)));
3028 /* Handle a macro. Gather all the operands, transform them as
3029 described by the macro, and call md_assemble recursively. All the
3030 operands are separated by commas; we don't accept parentheses
3031 around operands here. */
3034 ppc_macro (char *str
, const struct powerpc_macro
*macro
)
3045 /* Gather the users operands into the operands array. */
3050 if (count
>= sizeof operands
/ sizeof operands
[0])
3052 operands
[count
++] = s
;
3053 s
= strchr (s
, ',');
3054 if (s
== (char *) NULL
)
3059 if (count
!= macro
->operands
)
3061 as_bad (_("wrong number of operands"));
3065 /* Work out how large the string must be (the size is unbounded
3066 because it includes user input). */
3068 format
= macro
->format
;
3069 while (*format
!= '\0')
3078 arg
= strtol (format
+ 1, &send
, 10);
3079 know (send
!= format
&& arg
< count
);
3080 len
+= strlen (operands
[arg
]);
3085 /* Put the string together. */
3086 complete
= s
= (char *) alloca (len
+ 1);
3087 format
= macro
->format
;
3088 while (*format
!= '\0')
3094 arg
= strtol (format
+ 1, &send
, 10);
3095 strcpy (s
, operands
[arg
]);
3102 /* Assemble the constructed instruction. */
3103 md_assemble (complete
);
3107 /* For ELF, add support for SHT_ORDERED. */
3110 ppc_section_type (char *str
, size_t len
)
3112 if (len
== 7 && strncmp (str
, "ordered", 7) == 0)
3119 ppc_section_flags (flagword flags
, bfd_vma attr ATTRIBUTE_UNUSED
, int type
)
3121 if (type
== SHT_ORDERED
)
3122 flags
|= SEC_ALLOC
| SEC_LOAD
| SEC_SORT_ENTRIES
;
3126 #endif /* OBJ_ELF */
3129 /* Pseudo-op handling. */
3131 /* The .byte pseudo-op. This is similar to the normal .byte
3132 pseudo-op, but it can also take a single ASCII string. */
3135 ppc_byte (int ignore ATTRIBUTE_UNUSED
)
3137 if (*input_line_pointer
!= '\"')
3143 /* Gather characters. A real double quote is doubled. Unusual
3144 characters are not permitted. */
3145 ++input_line_pointer
;
3150 c
= *input_line_pointer
++;
3154 if (*input_line_pointer
!= '\"')
3156 ++input_line_pointer
;
3159 FRAG_APPEND_1_CHAR (c
);
3162 demand_empty_rest_of_line ();
3167 /* XCOFF specific pseudo-op handling. */
3169 /* This is set if we are creating a .stabx symbol, since we don't want
3170 to handle symbol suffixes for such symbols. */
3171 static bfd_boolean ppc_stab_symbol
;
3173 /* The .comm and .lcomm pseudo-ops for XCOFF. XCOFF puts common
3174 symbols in the .bss segment as though they were local common
3175 symbols, and uses a different smclas. The native Aix 4.3.3 assembler
3176 aligns .comm and .lcomm to 4 bytes. */
3179 ppc_comm (int lcomm
)
3181 asection
*current_seg
= now_seg
;
3182 subsegT current_subseg
= now_subseg
;
3188 symbolS
*lcomm_sym
= NULL
;
3192 name
= input_line_pointer
;
3193 endc
= get_symbol_end ();
3194 end_name
= input_line_pointer
;
3197 if (*input_line_pointer
!= ',')
3199 as_bad (_("missing size"));
3200 ignore_rest_of_line ();
3203 ++input_line_pointer
;
3205 size
= get_absolute_expression ();
3208 as_bad (_("negative size"));
3209 ignore_rest_of_line ();
3215 /* The third argument to .comm is the alignment. */
3216 if (*input_line_pointer
!= ',')
3220 ++input_line_pointer
;
3221 align
= get_absolute_expression ();
3224 as_warn (_("ignoring bad alignment"));
3239 /* The third argument to .lcomm appears to be the real local
3240 common symbol to create. References to the symbol named in
3241 the first argument are turned into references to the third
3243 if (*input_line_pointer
!= ',')
3245 as_bad (_("missing real symbol name"));
3246 ignore_rest_of_line ();
3249 ++input_line_pointer
;
3251 lcomm_name
= input_line_pointer
;
3252 lcomm_endc
= get_symbol_end ();
3254 lcomm_sym
= symbol_find_or_make (lcomm_name
);
3256 *input_line_pointer
= lcomm_endc
;
3260 sym
= symbol_find_or_make (name
);
3263 if (S_IS_DEFINED (sym
)
3264 || S_GET_VALUE (sym
) != 0)
3266 as_bad (_("attempt to redefine symbol"));
3267 ignore_rest_of_line ();
3271 record_alignment (bss_section
, align
);
3274 || ! S_IS_DEFINED (lcomm_sym
))
3283 S_SET_EXTERNAL (sym
);
3287 symbol_get_tc (lcomm_sym
)->output
= 1;
3288 def_sym
= lcomm_sym
;
3292 subseg_set (bss_section
, 1);
3293 frag_align (align
, 0, 0);
3295 symbol_set_frag (def_sym
, frag_now
);
3296 pfrag
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, def_sym
,
3297 def_size
, (char *) NULL
);
3299 S_SET_SEGMENT (def_sym
, bss_section
);
3300 symbol_get_tc (def_sym
)->align
= align
;
3304 /* Align the size of lcomm_sym. */
3305 symbol_get_frag (lcomm_sym
)->fr_offset
=
3306 ((symbol_get_frag (lcomm_sym
)->fr_offset
+ (1 << align
) - 1)
3307 &~ ((1 << align
) - 1));
3308 if (align
> symbol_get_tc (lcomm_sym
)->align
)
3309 symbol_get_tc (lcomm_sym
)->align
= align
;
3314 /* Make sym an offset from lcomm_sym. */
3315 S_SET_SEGMENT (sym
, bss_section
);
3316 symbol_set_frag (sym
, symbol_get_frag (lcomm_sym
));
3317 S_SET_VALUE (sym
, symbol_get_frag (lcomm_sym
)->fr_offset
);
3318 symbol_get_frag (lcomm_sym
)->fr_offset
+= size
;
3321 subseg_set (current_seg
, current_subseg
);
3323 demand_empty_rest_of_line ();
3326 /* The .csect pseudo-op. This switches us into a different
3327 subsegment. The first argument is a symbol whose value is the
3328 start of the .csect. In COFF, csect symbols get special aux
3329 entries defined by the x_csect field of union internal_auxent. The
3330 optional second argument is the alignment (the default is 2). */
3333 ppc_csect (int ignore ATTRIBUTE_UNUSED
)
3340 name
= input_line_pointer
;
3341 endc
= get_symbol_end ();
3343 sym
= symbol_find_or_make (name
);
3345 *input_line_pointer
= endc
;
3347 if (S_GET_NAME (sym
)[0] == '\0')
3349 /* An unnamed csect is assumed to be [PR]. */
3350 symbol_get_tc (sym
)->symbol_class
= XMC_PR
;
3354 if (*input_line_pointer
== ',')
3356 ++input_line_pointer
;
3357 align
= get_absolute_expression ();
3360 ppc_change_csect (sym
, align
);
3362 demand_empty_rest_of_line ();
3365 /* Change to a different csect. */
3368 ppc_change_csect (symbolS
*sym
, offsetT align
)
3370 if (S_IS_DEFINED (sym
))
3371 subseg_set (S_GET_SEGMENT (sym
), symbol_get_tc (sym
)->subseg
);
3381 /* This is a new csect. We need to look at the symbol class to
3382 figure out whether it should go in the text section or the
3386 switch (symbol_get_tc (sym
)->symbol_class
)
3396 S_SET_SEGMENT (sym
, text_section
);
3397 symbol_get_tc (sym
)->subseg
= ppc_text_subsegment
;
3398 ++ppc_text_subsegment
;
3399 list_ptr
= &ppc_text_csects
;
3409 if (ppc_toc_csect
!= NULL
3410 && (symbol_get_tc (ppc_toc_csect
)->subseg
+ 1
3411 == ppc_data_subsegment
))
3413 S_SET_SEGMENT (sym
, data_section
);
3414 symbol_get_tc (sym
)->subseg
= ppc_data_subsegment
;
3415 ++ppc_data_subsegment
;
3416 list_ptr
= &ppc_data_csects
;
3422 /* We set the obstack chunk size to a small value before
3423 changing subsegments, so that we don't use a lot of memory
3424 space for what may be a small section. */
3425 hold_chunksize
= chunksize
;
3428 sec
= subseg_new (segment_name (S_GET_SEGMENT (sym
)),
3429 symbol_get_tc (sym
)->subseg
);
3431 chunksize
= hold_chunksize
;
3434 ppc_after_toc_frag
= frag_now
;
3436 record_alignment (sec
, align
);
3438 frag_align_code (align
, 0);
3440 frag_align (align
, 0, 0);
3442 symbol_set_frag (sym
, frag_now
);
3443 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
3445 symbol_get_tc (sym
)->align
= align
;
3446 symbol_get_tc (sym
)->output
= 1;
3447 symbol_get_tc (sym
)->within
= sym
;
3449 for (list
= *list_ptr
;
3450 symbol_get_tc (list
)->next
!= (symbolS
*) NULL
;
3451 list
= symbol_get_tc (list
)->next
)
3453 symbol_get_tc (list
)->next
= sym
;
3455 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3456 symbol_append (sym
, symbol_get_tc (list
)->within
, &symbol_rootP
,
3460 ppc_current_csect
= sym
;
3463 /* This function handles the .text and .data pseudo-ops. These
3464 pseudo-ops aren't really used by XCOFF; we implement them for the
3465 convenience of people who aren't used to XCOFF. */
3468 ppc_section (int type
)
3475 else if (type
== 'd')
3480 sym
= symbol_find_or_make (name
);
3482 ppc_change_csect (sym
, 2);
3484 demand_empty_rest_of_line ();
3487 /* This function handles the .section pseudo-op. This is mostly to
3488 give an error, since XCOFF only supports .text, .data and .bss, but
3489 we do permit the user to name the text or data section. */
3492 ppc_named_section (int ignore ATTRIBUTE_UNUSED
)
3495 const char *real_name
;
3499 user_name
= input_line_pointer
;
3500 c
= get_symbol_end ();
3502 if (strcmp (user_name
, ".text") == 0)
3503 real_name
= ".text[PR]";
3504 else if (strcmp (user_name
, ".data") == 0)
3505 real_name
= ".data[RW]";
3508 as_bad (_("The XCOFF file format does not support arbitrary sections"));
3509 *input_line_pointer
= c
;
3510 ignore_rest_of_line ();
3514 *input_line_pointer
= c
;
3516 sym
= symbol_find_or_make (real_name
);
3518 ppc_change_csect (sym
, 2);
3520 demand_empty_rest_of_line ();
3523 /* The .extern pseudo-op. We create an undefined symbol. */
3526 ppc_extern (int ignore ATTRIBUTE_UNUSED
)
3531 name
= input_line_pointer
;
3532 endc
= get_symbol_end ();
3534 (void) symbol_find_or_make (name
);
3536 *input_line_pointer
= endc
;
3538 demand_empty_rest_of_line ();
3541 /* The .lglobl pseudo-op. Keep the symbol in the symbol table. */
3544 ppc_lglobl (int ignore ATTRIBUTE_UNUSED
)
3550 name
= input_line_pointer
;
3551 endc
= get_symbol_end ();
3553 sym
= symbol_find_or_make (name
);
3555 *input_line_pointer
= endc
;
3557 symbol_get_tc (sym
)->output
= 1;
3559 demand_empty_rest_of_line ();
3562 /* The .ref pseudo-op. It takes a list of symbol names and inserts R_REF
3563 relocations at the beginning of the current csect.
3565 (In principle, there's no reason why the relocations _have_ to be at
3566 the beginning. Anywhere in the csect would do. However, inserting
3567 at the beginning is what the native assmebler does, and it helps to
3568 deal with cases where the .ref statements follow the section contents.)
3570 ??? .refs don't work for empty .csects. However, the native assembler
3571 doesn't report an error in this case, and neither yet do we. */
3574 ppc_ref (int ignore ATTRIBUTE_UNUSED
)
3579 if (ppc_current_csect
== NULL
)
3581 as_bad (_(".ref outside .csect"));
3582 ignore_rest_of_line ();
3588 name
= input_line_pointer
;
3589 c
= get_symbol_end ();
3591 fix_at_start (symbol_get_frag (ppc_current_csect
), 0,
3592 symbol_find_or_make (name
), 0, FALSE
, BFD_RELOC_NONE
);
3594 *input_line_pointer
= c
;
3596 c
= *input_line_pointer
;
3599 input_line_pointer
++;
3601 if (is_end_of_line
[(unsigned char) *input_line_pointer
])
3603 as_bad (_("missing symbol name"));
3604 ignore_rest_of_line ();
3611 demand_empty_rest_of_line ();
3614 /* The .rename pseudo-op. The RS/6000 assembler can rename symbols,
3615 although I don't know why it bothers. */
3618 ppc_rename (int ignore ATTRIBUTE_UNUSED
)
3625 name
= input_line_pointer
;
3626 endc
= get_symbol_end ();
3628 sym
= symbol_find_or_make (name
);
3630 *input_line_pointer
= endc
;
3632 if (*input_line_pointer
!= ',')
3634 as_bad (_("missing rename string"));
3635 ignore_rest_of_line ();
3638 ++input_line_pointer
;
3640 symbol_get_tc (sym
)->real_name
= demand_copy_C_string (&len
);
3642 demand_empty_rest_of_line ();
3645 /* The .stabx pseudo-op. This is similar to a normal .stabs
3646 pseudo-op, but slightly different. A sample is
3647 .stabx "main:F-1",.main,142,0
3648 The first argument is the symbol name to create. The second is the
3649 value, and the third is the storage class. The fourth seems to be
3650 always zero, and I am assuming it is the type. */
3653 ppc_stabx (int ignore ATTRIBUTE_UNUSED
)
3660 name
= demand_copy_C_string (&len
);
3662 if (*input_line_pointer
!= ',')
3664 as_bad (_("missing value"));
3667 ++input_line_pointer
;
3669 ppc_stab_symbol
= TRUE
;
3670 sym
= symbol_make (name
);
3671 ppc_stab_symbol
= FALSE
;
3673 symbol_get_tc (sym
)->real_name
= name
;
3675 (void) expression (&exp
);
3682 as_bad (_("illegal .stabx expression; zero assumed"));
3683 exp
.X_add_number
= 0;
3686 S_SET_VALUE (sym
, (valueT
) exp
.X_add_number
);
3687 symbol_set_frag (sym
, &zero_address_frag
);
3691 if (S_GET_SEGMENT (exp
.X_add_symbol
) == undefined_section
)
3692 symbol_set_value_expression (sym
, &exp
);
3696 exp
.X_add_number
+ S_GET_VALUE (exp
.X_add_symbol
));
3697 symbol_set_frag (sym
, symbol_get_frag (exp
.X_add_symbol
));
3702 /* The value is some complex expression. This will probably
3703 fail at some later point, but this is probably the right
3704 thing to do here. */
3705 symbol_set_value_expression (sym
, &exp
);
3709 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
3710 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3712 if (*input_line_pointer
!= ',')
3714 as_bad (_("missing class"));
3717 ++input_line_pointer
;
3719 S_SET_STORAGE_CLASS (sym
, get_absolute_expression ());
3721 if (*input_line_pointer
!= ',')
3723 as_bad (_("missing type"));
3726 ++input_line_pointer
;
3728 S_SET_DATA_TYPE (sym
, get_absolute_expression ());
3730 symbol_get_tc (sym
)->output
= 1;
3732 if (S_GET_STORAGE_CLASS (sym
) == C_STSYM
) {
3734 symbol_get_tc (sym
)->within
= ppc_current_block
;
3739 .stabx "z",arrays_,133,0
3742 .comm arrays_,13768,3
3744 resolve_symbol_value will copy the exp's "within" into sym's when the
3745 offset is 0. Since this seems to be corner case problem,
3746 only do the correction for storage class C_STSYM. A better solution
3747 would be to have the tc field updated in ppc_symbol_new_hook. */
3749 if (exp
.X_op
== O_symbol
)
3751 symbol_get_tc (exp
.X_add_symbol
)->within
= ppc_current_block
;
3755 if (exp
.X_op
!= O_symbol
3756 || ! S_IS_EXTERNAL (exp
.X_add_symbol
)
3757 || S_GET_SEGMENT (exp
.X_add_symbol
) != bss_section
)
3758 ppc_frob_label (sym
);
3761 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3762 symbol_append (sym
, exp
.X_add_symbol
, &symbol_rootP
, &symbol_lastP
);
3763 if (symbol_get_tc (ppc_current_csect
)->within
== exp
.X_add_symbol
)
3764 symbol_get_tc (ppc_current_csect
)->within
= sym
;
3767 demand_empty_rest_of_line ();
3770 /* The .function pseudo-op. This takes several arguments. The first
3771 argument seems to be the external name of the symbol. The second
3772 argument seems to be the label for the start of the function. gcc
3773 uses the same name for both. I have no idea what the third and
3774 fourth arguments are meant to be. The optional fifth argument is
3775 an expression for the size of the function. In COFF this symbol
3776 gets an aux entry like that used for a csect. */
3779 ppc_function (int ignore ATTRIBUTE_UNUSED
)
3787 name
= input_line_pointer
;
3788 endc
= get_symbol_end ();
3790 /* Ignore any [PR] suffix. */
3791 name
= ppc_canonicalize_symbol_name (name
);
3792 s
= strchr (name
, '[');
3793 if (s
!= (char *) NULL
3794 && strcmp (s
+ 1, "PR]") == 0)
3797 ext_sym
= symbol_find_or_make (name
);
3799 *input_line_pointer
= endc
;
3801 if (*input_line_pointer
!= ',')
3803 as_bad (_("missing symbol name"));
3804 ignore_rest_of_line ();
3807 ++input_line_pointer
;
3809 name
= input_line_pointer
;
3810 endc
= get_symbol_end ();
3812 lab_sym
= symbol_find_or_make (name
);
3814 *input_line_pointer
= endc
;
3816 if (ext_sym
!= lab_sym
)
3820 exp
.X_op
= O_symbol
;
3821 exp
.X_add_symbol
= lab_sym
;
3822 exp
.X_op_symbol
= NULL
;
3823 exp
.X_add_number
= 0;
3825 symbol_set_value_expression (ext_sym
, &exp
);
3828 if (symbol_get_tc (ext_sym
)->symbol_class
== -1)
3829 symbol_get_tc (ext_sym
)->symbol_class
= XMC_PR
;
3830 symbol_get_tc (ext_sym
)->output
= 1;
3832 if (*input_line_pointer
== ',')
3836 /* Ignore the third argument. */
3837 ++input_line_pointer
;
3839 if (*input_line_pointer
== ',')
3841 /* Ignore the fourth argument. */
3842 ++input_line_pointer
;
3844 if (*input_line_pointer
== ',')
3846 /* The fifth argument is the function size. */
3847 ++input_line_pointer
;
3848 symbol_get_tc (ext_sym
)->size
= symbol_new ("L0\001",
3851 &zero_address_frag
);
3852 pseudo_set (symbol_get_tc (ext_sym
)->size
);
3857 S_SET_DATA_TYPE (ext_sym
, DT_FCN
<< N_BTSHFT
);
3858 SF_SET_FUNCTION (ext_sym
);
3859 SF_SET_PROCESS (ext_sym
);
3860 coff_add_linesym (ext_sym
);
3862 demand_empty_rest_of_line ();
3865 /* The .bf pseudo-op. This is just like a COFF C_FCN symbol named
3866 ".bf". If the pseudo op .bi was seen before .bf, patch the .bi sym
3867 with the correct line number */
3869 static symbolS
*saved_bi_sym
= 0;
3872 ppc_bf (int ignore ATTRIBUTE_UNUSED
)
3876 sym
= symbol_make (".bf");
3877 S_SET_SEGMENT (sym
, text_section
);
3878 symbol_set_frag (sym
, frag_now
);
3879 S_SET_VALUE (sym
, frag_now_fix ());
3880 S_SET_STORAGE_CLASS (sym
, C_FCN
);
3882 coff_line_base
= get_absolute_expression ();
3884 S_SET_NUMBER_AUXILIARY (sym
, 1);
3885 SA_SET_SYM_LNNO (sym
, coff_line_base
);
3887 /* Line number for bi. */
3890 S_SET_VALUE (saved_bi_sym
, coff_n_line_nos
);
3895 symbol_get_tc (sym
)->output
= 1;
3897 ppc_frob_label (sym
);
3899 demand_empty_rest_of_line ();
3902 /* The .ef pseudo-op. This is just like a COFF C_FCN symbol named
3903 ".ef", except that the line number is absolute, not relative to the
3904 most recent ".bf" symbol. */
3907 ppc_ef (int ignore ATTRIBUTE_UNUSED
)
3911 sym
= symbol_make (".ef");
3912 S_SET_SEGMENT (sym
, text_section
);
3913 symbol_set_frag (sym
, frag_now
);
3914 S_SET_VALUE (sym
, frag_now_fix ());
3915 S_SET_STORAGE_CLASS (sym
, C_FCN
);
3916 S_SET_NUMBER_AUXILIARY (sym
, 1);
3917 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
3918 symbol_get_tc (sym
)->output
= 1;
3920 ppc_frob_label (sym
);
3922 demand_empty_rest_of_line ();
3925 /* The .bi and .ei pseudo-ops. These take a string argument and
3926 generates a C_BINCL or C_EINCL symbol, which goes at the start of
3927 the symbol list. The value of .bi will be know when the next .bf
3933 static symbolS
*last_biei
;
3940 name
= demand_copy_C_string (&len
);
3942 /* The value of these symbols is actually file offset. Here we set
3943 the value to the index into the line number entries. In
3944 ppc_frob_symbols we set the fix_line field, which will cause BFD
3945 to do the right thing. */
3947 sym
= symbol_make (name
);
3948 /* obj-coff.c currently only handles line numbers correctly in the
3950 S_SET_SEGMENT (sym
, text_section
);
3951 S_SET_VALUE (sym
, coff_n_line_nos
);
3952 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3954 S_SET_STORAGE_CLASS (sym
, ei
? C_EINCL
: C_BINCL
);
3955 symbol_get_tc (sym
)->output
= 1;
3963 for (look
= last_biei
? last_biei
: symbol_rootP
;
3964 (look
!= (symbolS
*) NULL
3965 && (S_GET_STORAGE_CLASS (look
) == C_FILE
3966 || S_GET_STORAGE_CLASS (look
) == C_BINCL
3967 || S_GET_STORAGE_CLASS (look
) == C_EINCL
));
3968 look
= symbol_next (look
))
3970 if (look
!= (symbolS
*) NULL
)
3972 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3973 symbol_insert (sym
, look
, &symbol_rootP
, &symbol_lastP
);
3977 demand_empty_rest_of_line ();
3980 /* The .bs pseudo-op. This generates a C_BSTAT symbol named ".bs".
3981 There is one argument, which is a csect symbol. The value of the
3982 .bs symbol is the index of this csect symbol. */
3985 ppc_bs (int ignore ATTRIBUTE_UNUSED
)
3992 if (ppc_current_block
!= NULL
)
3993 as_bad (_("nested .bs blocks"));
3995 name
= input_line_pointer
;
3996 endc
= get_symbol_end ();
3998 csect
= symbol_find_or_make (name
);
4000 *input_line_pointer
= endc
;
4002 sym
= symbol_make (".bs");
4003 S_SET_SEGMENT (sym
, now_seg
);
4004 S_SET_STORAGE_CLASS (sym
, C_BSTAT
);
4005 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4006 symbol_get_tc (sym
)->output
= 1;
4008 symbol_get_tc (sym
)->within
= csect
;
4010 ppc_frob_label (sym
);
4012 ppc_current_block
= sym
;
4014 demand_empty_rest_of_line ();
4017 /* The .es pseudo-op. Generate a C_ESTART symbol named .es. */
4020 ppc_es (int ignore ATTRIBUTE_UNUSED
)
4024 if (ppc_current_block
== NULL
)
4025 as_bad (_(".es without preceding .bs"));
4027 sym
= symbol_make (".es");
4028 S_SET_SEGMENT (sym
, now_seg
);
4029 S_SET_STORAGE_CLASS (sym
, C_ESTAT
);
4030 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4031 symbol_get_tc (sym
)->output
= 1;
4033 ppc_frob_label (sym
);
4035 ppc_current_block
= NULL
;
4037 demand_empty_rest_of_line ();
4040 /* The .bb pseudo-op. Generate a C_BLOCK symbol named .bb, with a
4044 ppc_bb (int ignore ATTRIBUTE_UNUSED
)
4048 sym
= symbol_make (".bb");
4049 S_SET_SEGMENT (sym
, text_section
);
4050 symbol_set_frag (sym
, frag_now
);
4051 S_SET_VALUE (sym
, frag_now_fix ());
4052 S_SET_STORAGE_CLASS (sym
, C_BLOCK
);
4054 S_SET_NUMBER_AUXILIARY (sym
, 1);
4055 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
4057 symbol_get_tc (sym
)->output
= 1;
4059 SF_SET_PROCESS (sym
);
4061 ppc_frob_label (sym
);
4063 demand_empty_rest_of_line ();
4066 /* The .eb pseudo-op. Generate a C_BLOCK symbol named .eb, with a
4070 ppc_eb (int ignore ATTRIBUTE_UNUSED
)
4074 sym
= symbol_make (".eb");
4075 S_SET_SEGMENT (sym
, text_section
);
4076 symbol_set_frag (sym
, frag_now
);
4077 S_SET_VALUE (sym
, frag_now_fix ());
4078 S_SET_STORAGE_CLASS (sym
, C_BLOCK
);
4079 S_SET_NUMBER_AUXILIARY (sym
, 1);
4080 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
4081 symbol_get_tc (sym
)->output
= 1;
4083 SF_SET_PROCESS (sym
);
4085 ppc_frob_label (sym
);
4087 demand_empty_rest_of_line ();
4090 /* The .bc pseudo-op. This just creates a C_BCOMM symbol with a
4094 ppc_bc (int ignore ATTRIBUTE_UNUSED
)
4100 name
= demand_copy_C_string (&len
);
4101 sym
= symbol_make (name
);
4102 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
4103 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4104 S_SET_STORAGE_CLASS (sym
, C_BCOMM
);
4105 S_SET_VALUE (sym
, 0);
4106 symbol_get_tc (sym
)->output
= 1;
4108 ppc_frob_label (sym
);
4110 demand_empty_rest_of_line ();
4113 /* The .ec pseudo-op. This just creates a C_ECOMM symbol. */
4116 ppc_ec (int ignore ATTRIBUTE_UNUSED
)
4120 sym
= symbol_make (".ec");
4121 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
4122 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4123 S_SET_STORAGE_CLASS (sym
, C_ECOMM
);
4124 S_SET_VALUE (sym
, 0);
4125 symbol_get_tc (sym
)->output
= 1;
4127 ppc_frob_label (sym
);
4129 demand_empty_rest_of_line ();
4132 /* The .toc pseudo-op. Switch to the .toc subsegment. */
4135 ppc_toc (int ignore ATTRIBUTE_UNUSED
)
4137 if (ppc_toc_csect
!= (symbolS
*) NULL
)
4138 subseg_set (data_section
, symbol_get_tc (ppc_toc_csect
)->subseg
);
4145 subseg
= ppc_data_subsegment
;
4146 ++ppc_data_subsegment
;
4148 subseg_new (segment_name (data_section
), subseg
);
4149 ppc_toc_frag
= frag_now
;
4151 sym
= symbol_find_or_make ("TOC[TC0]");
4152 symbol_set_frag (sym
, frag_now
);
4153 S_SET_SEGMENT (sym
, data_section
);
4154 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
4155 symbol_get_tc (sym
)->subseg
= subseg
;
4156 symbol_get_tc (sym
)->output
= 1;
4157 symbol_get_tc (sym
)->within
= sym
;
4159 ppc_toc_csect
= sym
;
4161 for (list
= ppc_data_csects
;
4162 symbol_get_tc (list
)->next
!= (symbolS
*) NULL
;
4163 list
= symbol_get_tc (list
)->next
)
4165 symbol_get_tc (list
)->next
= sym
;
4167 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
4168 symbol_append (sym
, symbol_get_tc (list
)->within
, &symbol_rootP
,
4172 ppc_current_csect
= ppc_toc_csect
;
4174 demand_empty_rest_of_line ();
4177 /* The AIX assembler automatically aligns the operands of a .long or
4178 .short pseudo-op, and we want to be compatible. */
4181 ppc_xcoff_cons (int log_size
)
4183 frag_align (log_size
, 0, 0);
4184 record_alignment (now_seg
, log_size
);
4185 cons (1 << log_size
);
4189 ppc_vbyte (int dummy ATTRIBUTE_UNUSED
)
4194 (void) expression (&exp
);
4196 if (exp
.X_op
!= O_constant
)
4198 as_bad (_("non-constant byte count"));
4202 byte_count
= exp
.X_add_number
;
4204 if (*input_line_pointer
!= ',')
4206 as_bad (_("missing value"));
4210 ++input_line_pointer
;
4214 #endif /* OBJ_XCOFF */
4215 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
4217 /* The .tc pseudo-op. This is used when generating either XCOFF or
4218 ELF. This takes two or more arguments.
4220 When generating XCOFF output, the first argument is the name to
4221 give to this location in the toc; this will be a symbol with class
4222 TC. The rest of the arguments are N-byte values to actually put at
4223 this location in the TOC; often there is just one more argument, a
4224 relocatable symbol reference. The size of the value to store
4225 depends on target word size. A 32-bit target uses 4-byte values, a
4226 64-bit target uses 8-byte values.
4228 When not generating XCOFF output, the arguments are the same, but
4229 the first argument is simply ignored. */
4232 ppc_tc (int ignore ATTRIBUTE_UNUSED
)
4236 /* Define the TOC symbol name. */
4242 if (ppc_toc_csect
== (symbolS
*) NULL
4243 || ppc_toc_csect
!= ppc_current_csect
)
4245 as_bad (_(".tc not in .toc section"));
4246 ignore_rest_of_line ();
4250 name
= input_line_pointer
;
4251 endc
= get_symbol_end ();
4253 sym
= symbol_find_or_make (name
);
4255 *input_line_pointer
= endc
;
4257 if (S_IS_DEFINED (sym
))
4261 label
= symbol_get_tc (ppc_current_csect
)->within
;
4262 if (symbol_get_tc (label
)->symbol_class
!= XMC_TC0
)
4264 as_bad (_(".tc with no label"));
4265 ignore_rest_of_line ();
4269 S_SET_SEGMENT (label
, S_GET_SEGMENT (sym
));
4270 symbol_set_frag (label
, symbol_get_frag (sym
));
4271 S_SET_VALUE (label
, S_GET_VALUE (sym
));
4273 while (! is_end_of_line
[(unsigned char) *input_line_pointer
])
4274 ++input_line_pointer
;
4279 S_SET_SEGMENT (sym
, now_seg
);
4280 symbol_set_frag (sym
, frag_now
);
4281 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
4282 symbol_get_tc (sym
)->symbol_class
= XMC_TC
;
4283 symbol_get_tc (sym
)->output
= 1;
4285 ppc_frob_label (sym
);
4288 #endif /* OBJ_XCOFF */
4292 /* Skip the TOC symbol name. */
4293 while (is_part_of_name (*input_line_pointer
)
4294 || *input_line_pointer
== ' '
4295 || *input_line_pointer
== '['
4296 || *input_line_pointer
== ']'
4297 || *input_line_pointer
== '{'
4298 || *input_line_pointer
== '}')
4299 ++input_line_pointer
;
4301 /* Align to a four/eight byte boundary. */
4302 align
= ppc_obj64
? 3 : 2;
4303 frag_align (align
, 0, 0);
4304 record_alignment (now_seg
, align
);
4305 #endif /* OBJ_ELF */
4307 if (*input_line_pointer
!= ',')
4308 demand_empty_rest_of_line ();
4311 ++input_line_pointer
;
4312 cons (ppc_obj64
? 8 : 4);
4316 /* Pseudo-op .machine. */
4319 ppc_machine (int ignore ATTRIBUTE_UNUSED
)
4322 #define MAX_HISTORY 100
4323 static ppc_cpu_t
*cpu_history
;
4324 static int curr_hist
;
4328 if (*input_line_pointer
== '"')
4331 cpu_string
= demand_copy_C_string (&len
);
4336 cpu_string
= input_line_pointer
;
4337 c
= get_symbol_end ();
4338 cpu_string
= xstrdup (cpu_string
);
4339 *input_line_pointer
= c
;
4342 if (cpu_string
!= NULL
)
4344 ppc_cpu_t old_cpu
= ppc_cpu
;
4348 for (p
= cpu_string
; *p
!= 0; p
++)
4351 if (strcmp (cpu_string
, "push") == 0)
4353 if (cpu_history
== NULL
)
4354 cpu_history
= xmalloc (MAX_HISTORY
* sizeof (*cpu_history
));
4356 if (curr_hist
>= MAX_HISTORY
)
4357 as_bad (_(".machine stack overflow"));
4359 cpu_history
[curr_hist
++] = ppc_cpu
;
4361 else if (strcmp (cpu_string
, "pop") == 0)
4364 as_bad (_(".machine stack underflow"));
4366 ppc_cpu
= cpu_history
[--curr_hist
];
4368 else if ((new_cpu
= ppc_parse_cpu (ppc_cpu
, cpu_string
)) != 0)
4371 as_bad (_("invalid machine `%s'"), cpu_string
);
4373 if (ppc_cpu
!= old_cpu
)
4374 ppc_setup_opcodes ();
4377 demand_empty_rest_of_line ();
4380 /* See whether a symbol is in the TOC section. */
4383 ppc_is_toc_sym (symbolS
*sym
)
4386 return symbol_get_tc (sym
)->symbol_class
== XMC_TC
;
4389 const char *sname
= segment_name (S_GET_SEGMENT (sym
));
4391 return strcmp (sname
, ".toc") == 0;
4393 return strcmp (sname
, ".got") == 0;
4396 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
4400 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
4402 /* Set the current section. */
4404 ppc_set_current_section (segT
new)
4406 ppc_previous_section
= ppc_current_section
;
4407 ppc_current_section
= new;
4410 /* pseudo-op: .previous
4411 behaviour: toggles the current section with the previous section.
4413 warnings: "No previous section" */
4416 ppc_previous (int ignore ATTRIBUTE_UNUSED
)
4420 if (ppc_previous_section
== NULL
)
4422 as_warn (_("No previous section to return to. Directive ignored."));
4426 subseg_set (ppc_previous_section
, 0);
4428 ppc_set_current_section (ppc_previous_section
);
4431 /* pseudo-op: .pdata
4432 behaviour: predefined read only data section
4436 initial: .section .pdata "adr3"
4437 a - don't know -- maybe a misprint
4438 d - initialized data
4440 3 - double word aligned (that would be 4 byte boundary)
4443 Tag index tables (also known as the function table) for exception
4444 handling, debugging, etc. */
4447 ppc_pdata (int ignore ATTRIBUTE_UNUSED
)
4449 if (pdata_section
== 0)
4451 pdata_section
= subseg_new (".pdata", 0);
4453 bfd_set_section_flags (stdoutput
, pdata_section
,
4454 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4455 | SEC_READONLY
| SEC_DATA
));
4457 bfd_set_section_alignment (stdoutput
, pdata_section
, 2);
4461 pdata_section
= subseg_new (".pdata", 0);
4463 ppc_set_current_section (pdata_section
);
4466 /* pseudo-op: .ydata
4467 behaviour: predefined read only data section
4471 initial: .section .ydata "drw3"
4472 a - don't know -- maybe a misprint
4473 d - initialized data
4475 3 - double word aligned (that would be 4 byte boundary)
4477 Tag tables (also known as the scope table) for exception handling,
4481 ppc_ydata (int ignore ATTRIBUTE_UNUSED
)
4483 if (ydata_section
== 0)
4485 ydata_section
= subseg_new (".ydata", 0);
4486 bfd_set_section_flags (stdoutput
, ydata_section
,
4487 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4488 | SEC_READONLY
| SEC_DATA
));
4490 bfd_set_section_alignment (stdoutput
, ydata_section
, 3);
4494 ydata_section
= subseg_new (".ydata", 0);
4496 ppc_set_current_section (ydata_section
);
4499 /* pseudo-op: .reldata
4500 behaviour: predefined read write data section
4501 double word aligned (4-byte)
4502 FIXME: relocation is applied to it
4503 FIXME: what's the difference between this and .data?
4506 initial: .section .reldata "drw3"
4507 d - initialized data
4510 3 - double word aligned (that would be 8 byte boundary)
4513 Like .data, but intended to hold data subject to relocation, such as
4514 function descriptors, etc. */
4517 ppc_reldata (int ignore ATTRIBUTE_UNUSED
)
4519 if (reldata_section
== 0)
4521 reldata_section
= subseg_new (".reldata", 0);
4523 bfd_set_section_flags (stdoutput
, reldata_section
,
4524 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4527 bfd_set_section_alignment (stdoutput
, reldata_section
, 2);
4531 reldata_section
= subseg_new (".reldata", 0);
4533 ppc_set_current_section (reldata_section
);
4536 /* pseudo-op: .rdata
4537 behaviour: predefined read only data section
4541 initial: .section .rdata "dr3"
4542 d - initialized data
4544 3 - double word aligned (that would be 4 byte boundary) */
4547 ppc_rdata (int ignore ATTRIBUTE_UNUSED
)
4549 if (rdata_section
== 0)
4551 rdata_section
= subseg_new (".rdata", 0);
4552 bfd_set_section_flags (stdoutput
, rdata_section
,
4553 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4554 | SEC_READONLY
| SEC_DATA
));
4556 bfd_set_section_alignment (stdoutput
, rdata_section
, 2);
4560 rdata_section
= subseg_new (".rdata", 0);
4562 ppc_set_current_section (rdata_section
);
4565 /* pseudo-op: .ualong
4566 behaviour: much like .int, with the exception that no alignment is
4568 FIXME: test the alignment statement
4573 ppc_ualong (int ignore ATTRIBUTE_UNUSED
)
4579 /* pseudo-op: .znop <symbol name>
4580 behaviour: Issue a nop instruction
4581 Issue a IMAGE_REL_PPC_IFGLUE relocation against it, using
4582 the supplied symbol name.
4584 warnings: Missing symbol name */
4587 ppc_znop (int ignore ATTRIBUTE_UNUSED
)
4590 const struct powerpc_opcode
*opcode
;
4601 /* Strip out the symbol name. */
4602 symbol_name
= input_line_pointer
;
4603 c
= get_symbol_end ();
4605 name
= xmalloc (input_line_pointer
- symbol_name
+ 1);
4606 strcpy (name
, symbol_name
);
4608 sym
= symbol_find_or_make (name
);
4610 *input_line_pointer
= c
;
4614 /* Look up the opcode in the hash table. */
4615 opcode
= (const struct powerpc_opcode
*) hash_find (ppc_hash
, "nop");
4617 /* Stick in the nop. */
4618 insn
= opcode
->opcode
;
4620 /* Write out the instruction. */
4622 md_number_to_chars (f
, insn
, 4);
4624 f
- frag_now
->fr_literal
,
4629 BFD_RELOC_16_GOT_PCREL
);
4639 ppc_pe_comm (int lcomm
)
4648 name
= input_line_pointer
;
4649 c
= get_symbol_end ();
4651 /* just after name is now '\0'. */
4652 p
= input_line_pointer
;
4655 if (*input_line_pointer
!= ',')
4657 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
4658 ignore_rest_of_line ();
4662 input_line_pointer
++; /* skip ',' */
4663 if ((temp
= get_absolute_expression ()) < 0)
4665 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp
);
4666 ignore_rest_of_line ();
4672 /* The third argument to .comm is the alignment. */
4673 if (*input_line_pointer
!= ',')
4677 ++input_line_pointer
;
4678 align
= get_absolute_expression ();
4681 as_warn (_("ignoring bad alignment"));
4688 symbolP
= symbol_find_or_make (name
);
4691 if (S_IS_DEFINED (symbolP
) && ! S_IS_COMMON (symbolP
))
4693 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
4694 S_GET_NAME (symbolP
));
4695 ignore_rest_of_line ();
4699 if (S_GET_VALUE (symbolP
))
4701 if (S_GET_VALUE (symbolP
) != (valueT
) temp
)
4702 as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
4703 S_GET_NAME (symbolP
),
4704 (long) S_GET_VALUE (symbolP
),
4709 S_SET_VALUE (symbolP
, (valueT
) temp
);
4710 S_SET_EXTERNAL (symbolP
);
4711 S_SET_SEGMENT (symbolP
, bfd_com_section_ptr
);
4714 demand_empty_rest_of_line ();
4718 * implement the .section pseudo op:
4719 * .section name {, "flags"}
4721 * | +--- optional flags: 'b' for bss
4723 * +-- section name 'l' for lib
4727 * 'd' (apparently m88k for data)
4729 * But if the argument is not a quoted string, treat it as a
4730 * subsegment number.
4732 * FIXME: this is a copy of the section processing from obj-coff.c, with
4733 * additions/changes for the moto-pas assembler support. There are three
4736 * FIXME: I just noticed this. This doesn't work at all really. It it
4737 * setting bits that bfd probably neither understands or uses. The
4738 * correct approach (?) will have to incorporate extra fields attached
4739 * to the section to hold the system specific stuff. (krk)
4742 * 'a' - unknown - referred to in documentation, but no definition supplied
4743 * 'c' - section has code
4744 * 'd' - section has initialized data
4745 * 'u' - section has uninitialized data
4746 * 'i' - section contains directives (info)
4747 * 'n' - section can be discarded
4748 * 'R' - remove section at link time
4750 * Section Protection:
4751 * 'r' - section is readable
4752 * 'w' - section is writeable
4753 * 'x' - section is executable
4754 * 's' - section is sharable
4756 * Section Alignment:
4757 * '0' - align to byte boundary
4758 * '1' - align to halfword undary
4759 * '2' - align to word boundary
4760 * '3' - align to doubleword boundary
4761 * '4' - align to quadword boundary
4762 * '5' - align to 32 byte boundary
4763 * '6' - align to 64 byte boundary
4768 ppc_pe_section (int ignore ATTRIBUTE_UNUSED
)
4770 /* Strip out the section name. */
4779 section_name
= input_line_pointer
;
4780 c
= get_symbol_end ();
4782 name
= xmalloc (input_line_pointer
- section_name
+ 1);
4783 strcpy (name
, section_name
);
4785 *input_line_pointer
= c
;
4790 flags
= SEC_NO_FLAGS
;
4792 if (strcmp (name
, ".idata$2") == 0)
4796 else if (strcmp (name
, ".idata$3") == 0)
4800 else if (strcmp (name
, ".idata$4") == 0)
4804 else if (strcmp (name
, ".idata$5") == 0)
4808 else if (strcmp (name
, ".idata$6") == 0)
4813 /* Default alignment to 16 byte boundary. */
4816 if (*input_line_pointer
== ',')
4818 ++input_line_pointer
;
4820 if (*input_line_pointer
!= '"')
4821 exp
= get_absolute_expression ();
4824 ++input_line_pointer
;
4825 while (*input_line_pointer
!= '"'
4826 && ! is_end_of_line
[(unsigned char) *input_line_pointer
])
4828 switch (*input_line_pointer
)
4830 /* Section Contents */
4831 case 'a': /* unknown */
4832 as_bad (_("Unsupported section attribute -- 'a'"));
4834 case 'c': /* code section */
4837 case 'd': /* section has initialized data */
4840 case 'u': /* section has uninitialized data */
4841 /* FIXME: This is IMAGE_SCN_CNT_UNINITIALIZED_DATA
4845 case 'i': /* section contains directives (info) */
4846 /* FIXME: This is IMAGE_SCN_LNK_INFO
4848 flags
|= SEC_HAS_CONTENTS
;
4850 case 'n': /* section can be discarded */
4853 case 'R': /* Remove section at link time */
4854 flags
|= SEC_NEVER_LOAD
;
4856 #if IFLICT_BRAIN_DAMAGE
4857 /* Section Protection */
4858 case 'r': /* section is readable */
4859 flags
|= IMAGE_SCN_MEM_READ
;
4861 case 'w': /* section is writeable */
4862 flags
|= IMAGE_SCN_MEM_WRITE
;
4864 case 'x': /* section is executable */
4865 flags
|= IMAGE_SCN_MEM_EXECUTE
;
4867 case 's': /* section is sharable */
4868 flags
|= IMAGE_SCN_MEM_SHARED
;
4871 /* Section Alignment */
4872 case '0': /* align to byte boundary */
4873 flags
|= IMAGE_SCN_ALIGN_1BYTES
;
4876 case '1': /* align to halfword boundary */
4877 flags
|= IMAGE_SCN_ALIGN_2BYTES
;
4880 case '2': /* align to word boundary */
4881 flags
|= IMAGE_SCN_ALIGN_4BYTES
;
4884 case '3': /* align to doubleword boundary */
4885 flags
|= IMAGE_SCN_ALIGN_8BYTES
;
4888 case '4': /* align to quadword boundary */
4889 flags
|= IMAGE_SCN_ALIGN_16BYTES
;
4892 case '5': /* align to 32 byte boundary */
4893 flags
|= IMAGE_SCN_ALIGN_32BYTES
;
4896 case '6': /* align to 64 byte boundary */
4897 flags
|= IMAGE_SCN_ALIGN_64BYTES
;
4902 as_bad (_("unknown section attribute '%c'"),
4903 *input_line_pointer
);
4906 ++input_line_pointer
;
4908 if (*input_line_pointer
== '"')
4909 ++input_line_pointer
;
4913 sec
= subseg_new (name
, (subsegT
) exp
);
4915 ppc_set_current_section (sec
);
4917 if (flags
!= SEC_NO_FLAGS
)
4919 if (! bfd_set_section_flags (stdoutput
, sec
, flags
))
4920 as_bad (_("error setting flags for \"%s\": %s"),
4921 bfd_section_name (stdoutput
, sec
),
4922 bfd_errmsg (bfd_get_error ()));
4925 bfd_set_section_alignment (stdoutput
, sec
, align
);
4929 ppc_pe_function (int ignore ATTRIBUTE_UNUSED
)
4935 name
= input_line_pointer
;
4936 endc
= get_symbol_end ();
4938 ext_sym
= symbol_find_or_make (name
);
4940 *input_line_pointer
= endc
;
4942 S_SET_DATA_TYPE (ext_sym
, DT_FCN
<< N_BTSHFT
);
4943 SF_SET_FUNCTION (ext_sym
);
4944 SF_SET_PROCESS (ext_sym
);
4945 coff_add_linesym (ext_sym
);
4947 demand_empty_rest_of_line ();
4951 ppc_pe_tocd (int ignore ATTRIBUTE_UNUSED
)
4953 if (tocdata_section
== 0)
4955 tocdata_section
= subseg_new (".tocd", 0);
4956 /* FIXME: section flags won't work. */
4957 bfd_set_section_flags (stdoutput
, tocdata_section
,
4958 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4959 | SEC_READONLY
| SEC_DATA
));
4961 bfd_set_section_alignment (stdoutput
, tocdata_section
, 2);
4965 rdata_section
= subseg_new (".tocd", 0);
4968 ppc_set_current_section (tocdata_section
);
4970 demand_empty_rest_of_line ();
4973 /* Don't adjust TOC relocs to use the section symbol. */
4976 ppc_pe_fix_adjustable (fixS
*fix
)
4978 return fix
->fx_r_type
!= BFD_RELOC_PPC_TOC16
;
4985 /* XCOFF specific symbol and file handling. */
4987 /* Canonicalize the symbol name. We use the to force the suffix, if
4988 any, to use square brackets, and to be in upper case. */
4991 ppc_canonicalize_symbol_name (char *name
)
4995 if (ppc_stab_symbol
)
4998 for (s
= name
; *s
!= '\0' && *s
!= '{' && *s
!= '['; s
++)
5012 for (s
++; *s
!= '\0' && *s
!= brac
; s
++)
5015 if (*s
== '\0' || s
[1] != '\0')
5016 as_bad (_("bad symbol suffix"));
5024 /* Set the class of a symbol based on the suffix, if any. This is
5025 called whenever a new symbol is created. */
5028 ppc_symbol_new_hook (symbolS
*sym
)
5030 struct ppc_tc_sy
*tc
;
5033 tc
= symbol_get_tc (sym
);
5036 tc
->symbol_class
= -1;
5037 tc
->real_name
= NULL
;
5043 if (ppc_stab_symbol
)
5046 s
= strchr (S_GET_NAME (sym
), '[');
5047 if (s
== (const char *) NULL
)
5049 /* There is no suffix. */
5058 if (strcmp (s
, "BS]") == 0)
5059 tc
->symbol_class
= XMC_BS
;
5062 if (strcmp (s
, "DB]") == 0)
5063 tc
->symbol_class
= XMC_DB
;
5064 else if (strcmp (s
, "DS]") == 0)
5065 tc
->symbol_class
= XMC_DS
;
5068 if (strcmp (s
, "GL]") == 0)
5069 tc
->symbol_class
= XMC_GL
;
5072 if (strcmp (s
, "PR]") == 0)
5073 tc
->symbol_class
= XMC_PR
;
5076 if (strcmp (s
, "RO]") == 0)
5077 tc
->symbol_class
= XMC_RO
;
5078 else if (strcmp (s
, "RW]") == 0)
5079 tc
->symbol_class
= XMC_RW
;
5082 if (strcmp (s
, "SV]") == 0)
5083 tc
->symbol_class
= XMC_SV
;
5086 if (strcmp (s
, "TC]") == 0)
5087 tc
->symbol_class
= XMC_TC
;
5088 else if (strcmp (s
, "TI]") == 0)
5089 tc
->symbol_class
= XMC_TI
;
5090 else if (strcmp (s
, "TB]") == 0)
5091 tc
->symbol_class
= XMC_TB
;
5092 else if (strcmp (s
, "TC0]") == 0 || strcmp (s
, "T0]") == 0)
5093 tc
->symbol_class
= XMC_TC0
;
5096 if (strcmp (s
, "UA]") == 0)
5097 tc
->symbol_class
= XMC_UA
;
5098 else if (strcmp (s
, "UC]") == 0)
5099 tc
->symbol_class
= XMC_UC
;
5102 if (strcmp (s
, "XO]") == 0)
5103 tc
->symbol_class
= XMC_XO
;
5107 if (tc
->symbol_class
== -1)
5108 as_bad (_("Unrecognized symbol suffix"));
5111 /* Set the class of a label based on where it is defined. This
5112 handles symbols without suffixes. Also, move the symbol so that it
5113 follows the csect symbol. */
5116 ppc_frob_label (symbolS
*sym
)
5118 if (ppc_current_csect
!= (symbolS
*) NULL
)
5120 if (symbol_get_tc (sym
)->symbol_class
== -1)
5121 symbol_get_tc (sym
)->symbol_class
= symbol_get_tc (ppc_current_csect
)->symbol_class
;
5123 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
5124 symbol_append (sym
, symbol_get_tc (ppc_current_csect
)->within
,
5125 &symbol_rootP
, &symbol_lastP
);
5126 symbol_get_tc (ppc_current_csect
)->within
= sym
;
5130 dwarf2_emit_label (sym
);
5134 /* This variable is set by ppc_frob_symbol if any absolute symbols are
5135 seen. It tells ppc_adjust_symtab whether it needs to look through
5138 static bfd_boolean ppc_saw_abs
;
5140 /* Change the name of a symbol just before writing it out. Set the
5141 real name if the .rename pseudo-op was used. Otherwise, remove any
5142 class suffix. Return 1 if the symbol should not be included in the
5146 ppc_frob_symbol (symbolS
*sym
)
5148 static symbolS
*ppc_last_function
;
5149 static symbolS
*set_end
;
5151 /* Discard symbols that should not be included in the output symbol
5153 if (! symbol_used_in_reloc_p (sym
)
5154 && ((symbol_get_bfdsym (sym
)->flags
& BSF_SECTION_SYM
) != 0
5155 || (! (S_IS_EXTERNAL (sym
) || S_IS_WEAK (sym
))
5156 && ! symbol_get_tc (sym
)->output
5157 && S_GET_STORAGE_CLASS (sym
) != C_FILE
)))
5160 /* This one will disappear anyway. Don't make a csect sym for it. */
5161 if (sym
== abs_section_sym
)
5164 if (symbol_get_tc (sym
)->real_name
!= (char *) NULL
)
5165 S_SET_NAME (sym
, symbol_get_tc (sym
)->real_name
);
5171 name
= S_GET_NAME (sym
);
5172 s
= strchr (name
, '[');
5173 if (s
!= (char *) NULL
)
5179 snew
= xmalloc (len
+ 1);
5180 memcpy (snew
, name
, len
);
5183 S_SET_NAME (sym
, snew
);
5187 if (set_end
!= (symbolS
*) NULL
)
5189 SA_SET_SYM_ENDNDX (set_end
, sym
);
5193 if (SF_GET_FUNCTION (sym
))
5195 if (ppc_last_function
!= (symbolS
*) NULL
)
5196 as_bad (_("two .function pseudo-ops with no intervening .ef"));
5197 ppc_last_function
= sym
;
5198 if (symbol_get_tc (sym
)->size
!= (symbolS
*) NULL
)
5200 resolve_symbol_value (symbol_get_tc (sym
)->size
);
5201 SA_SET_SYM_FSIZE (sym
,
5202 (long) S_GET_VALUE (symbol_get_tc (sym
)->size
));
5205 else if (S_GET_STORAGE_CLASS (sym
) == C_FCN
5206 && strcmp (S_GET_NAME (sym
), ".ef") == 0)
5208 if (ppc_last_function
== (symbolS
*) NULL
)
5209 as_bad (_(".ef with no preceding .function"));
5212 set_end
= ppc_last_function
;
5213 ppc_last_function
= NULL
;
5215 /* We don't have a C_EFCN symbol, but we need to force the
5216 COFF backend to believe that it has seen one. */
5217 coff_last_function
= NULL
;
5221 if (! (S_IS_EXTERNAL (sym
) || S_IS_WEAK (sym
))
5222 && (symbol_get_bfdsym (sym
)->flags
& BSF_SECTION_SYM
) == 0
5223 && S_GET_STORAGE_CLASS (sym
) != C_FILE
5224 && S_GET_STORAGE_CLASS (sym
) != C_FCN
5225 && S_GET_STORAGE_CLASS (sym
) != C_BLOCK
5226 && S_GET_STORAGE_CLASS (sym
) != C_BSTAT
5227 && S_GET_STORAGE_CLASS (sym
) != C_ESTAT
5228 && S_GET_STORAGE_CLASS (sym
) != C_BINCL
5229 && S_GET_STORAGE_CLASS (sym
) != C_EINCL
5230 && S_GET_SEGMENT (sym
) != ppc_coff_debug_section
)
5231 S_SET_STORAGE_CLASS (sym
, C_HIDEXT
);
5233 if (S_GET_STORAGE_CLASS (sym
) == C_EXT
5234 || S_GET_STORAGE_CLASS (sym
) == C_AIX_WEAKEXT
5235 || S_GET_STORAGE_CLASS (sym
) == C_HIDEXT
)
5238 union internal_auxent
*a
;
5240 /* Create a csect aux. */
5241 i
= S_GET_NUMBER_AUXILIARY (sym
);
5242 S_SET_NUMBER_AUXILIARY (sym
, i
+ 1);
5243 a
= &coffsymbol (symbol_get_bfdsym (sym
))->native
[i
+ 1].u
.auxent
;
5244 if (symbol_get_tc (sym
)->symbol_class
== XMC_TC0
)
5246 /* This is the TOC table. */
5247 know (strcmp (S_GET_NAME (sym
), "TOC") == 0);
5248 a
->x_csect
.x_scnlen
.l
= 0;
5249 a
->x_csect
.x_smtyp
= (2 << 3) | XTY_SD
;
5251 else if (symbol_get_tc (sym
)->subseg
!= 0)
5253 /* This is a csect symbol. x_scnlen is the size of the
5255 if (symbol_get_tc (sym
)->next
== (symbolS
*) NULL
)
5256 a
->x_csect
.x_scnlen
.l
= (bfd_section_size (stdoutput
,
5257 S_GET_SEGMENT (sym
))
5258 - S_GET_VALUE (sym
));
5261 resolve_symbol_value (symbol_get_tc (sym
)->next
);
5262 a
->x_csect
.x_scnlen
.l
= (S_GET_VALUE (symbol_get_tc (sym
)->next
)
5263 - S_GET_VALUE (sym
));
5265 a
->x_csect
.x_smtyp
= (symbol_get_tc (sym
)->align
<< 3) | XTY_SD
;
5267 else if (S_GET_SEGMENT (sym
) == bss_section
)
5269 /* This is a common symbol. */
5270 a
->x_csect
.x_scnlen
.l
= symbol_get_frag (sym
)->fr_offset
;
5271 a
->x_csect
.x_smtyp
= (symbol_get_tc (sym
)->align
<< 3) | XTY_CM
;
5272 if (S_IS_EXTERNAL (sym
))
5273 symbol_get_tc (sym
)->symbol_class
= XMC_RW
;
5275 symbol_get_tc (sym
)->symbol_class
= XMC_BS
;
5277 else if (S_GET_SEGMENT (sym
) == absolute_section
)
5279 /* This is an absolute symbol. The csect will be created by
5280 ppc_adjust_symtab. */
5282 a
->x_csect
.x_smtyp
= XTY_LD
;
5283 if (symbol_get_tc (sym
)->symbol_class
== -1)
5284 symbol_get_tc (sym
)->symbol_class
= XMC_XO
;
5286 else if (! S_IS_DEFINED (sym
))
5288 /* This is an external symbol. */
5289 a
->x_csect
.x_scnlen
.l
= 0;
5290 a
->x_csect
.x_smtyp
= XTY_ER
;
5292 else if (symbol_get_tc (sym
)->symbol_class
== XMC_TC
)
5296 /* This is a TOC definition. x_scnlen is the size of the
5298 next
= symbol_next (sym
);
5299 while (symbol_get_tc (next
)->symbol_class
== XMC_TC0
)
5300 next
= symbol_next (next
);
5301 if (next
== (symbolS
*) NULL
5302 || symbol_get_tc (next
)->symbol_class
!= XMC_TC
)
5304 if (ppc_after_toc_frag
== (fragS
*) NULL
)
5305 a
->x_csect
.x_scnlen
.l
= (bfd_section_size (stdoutput
,
5307 - S_GET_VALUE (sym
));
5309 a
->x_csect
.x_scnlen
.l
= (ppc_after_toc_frag
->fr_address
5310 - S_GET_VALUE (sym
));
5314 resolve_symbol_value (next
);
5315 a
->x_csect
.x_scnlen
.l
= (S_GET_VALUE (next
)
5316 - S_GET_VALUE (sym
));
5318 a
->x_csect
.x_smtyp
= (2 << 3) | XTY_SD
;
5324 /* This is a normal symbol definition. x_scnlen is the
5325 symbol index of the containing csect. */
5326 if (S_GET_SEGMENT (sym
) == text_section
)
5327 csect
= ppc_text_csects
;
5328 else if (S_GET_SEGMENT (sym
) == data_section
)
5329 csect
= ppc_data_csects
;
5333 /* Skip the initial dummy symbol. */
5334 csect
= symbol_get_tc (csect
)->next
;
5336 if (csect
== (symbolS
*) NULL
)
5338 as_warn (_("warning: symbol %s has no csect"), S_GET_NAME (sym
));
5339 a
->x_csect
.x_scnlen
.l
= 0;
5343 while (symbol_get_tc (csect
)->next
!= (symbolS
*) NULL
)
5345 resolve_symbol_value (symbol_get_tc (csect
)->next
);
5346 if (S_GET_VALUE (symbol_get_tc (csect
)->next
)
5347 > S_GET_VALUE (sym
))
5349 csect
= symbol_get_tc (csect
)->next
;
5352 a
->x_csect
.x_scnlen
.p
=
5353 coffsymbol (symbol_get_bfdsym (csect
))->native
;
5354 coffsymbol (symbol_get_bfdsym (sym
))->native
[i
+ 1].fix_scnlen
=
5357 a
->x_csect
.x_smtyp
= XTY_LD
;
5360 a
->x_csect
.x_parmhash
= 0;
5361 a
->x_csect
.x_snhash
= 0;
5362 if (symbol_get_tc (sym
)->symbol_class
== -1)
5363 a
->x_csect
.x_smclas
= XMC_PR
;
5365 a
->x_csect
.x_smclas
= symbol_get_tc (sym
)->symbol_class
;
5366 a
->x_csect
.x_stab
= 0;
5367 a
->x_csect
.x_snstab
= 0;
5369 /* Don't let the COFF backend resort these symbols. */
5370 symbol_get_bfdsym (sym
)->flags
|= BSF_NOT_AT_END
;
5372 else if (S_GET_STORAGE_CLASS (sym
) == C_BSTAT
)
5374 /* We want the value to be the symbol index of the referenced
5375 csect symbol. BFD will do that for us if we set the right
5377 asymbol
*bsym
= symbol_get_bfdsym (symbol_get_tc (sym
)->within
);
5378 combined_entry_type
*c
= coffsymbol (bsym
)->native
;
5380 S_SET_VALUE (sym
, (valueT
) (size_t) c
);
5381 coffsymbol (symbol_get_bfdsym (sym
))->native
->fix_value
= 1;
5383 else if (S_GET_STORAGE_CLASS (sym
) == C_STSYM
)
5388 /* The value is the offset from the enclosing csect. */
5389 block
= symbol_get_tc (sym
)->within
;
5390 csect
= symbol_get_tc (block
)->within
;
5391 resolve_symbol_value (csect
);
5392 S_SET_VALUE (sym
, S_GET_VALUE (sym
) - S_GET_VALUE (csect
));
5394 else if (S_GET_STORAGE_CLASS (sym
) == C_BINCL
5395 || S_GET_STORAGE_CLASS (sym
) == C_EINCL
)
5397 /* We want the value to be a file offset into the line numbers.
5398 BFD will do that for us if we set the right flags. We have
5399 already set the value correctly. */
5400 coffsymbol (symbol_get_bfdsym (sym
))->native
->fix_line
= 1;
5406 /* Adjust the symbol table. This creates csect symbols for all
5407 absolute symbols. */
5410 ppc_adjust_symtab (void)
5417 for (sym
= symbol_rootP
; sym
!= NULL
; sym
= symbol_next (sym
))
5421 union internal_auxent
*a
;
5423 if (S_GET_SEGMENT (sym
) != absolute_section
)
5426 csect
= symbol_create (".abs[XO]", absolute_section
,
5427 S_GET_VALUE (sym
), &zero_address_frag
);
5428 symbol_get_bfdsym (csect
)->value
= S_GET_VALUE (sym
);
5429 S_SET_STORAGE_CLASS (csect
, C_HIDEXT
);
5430 i
= S_GET_NUMBER_AUXILIARY (csect
);
5431 S_SET_NUMBER_AUXILIARY (csect
, i
+ 1);
5432 a
= &coffsymbol (symbol_get_bfdsym (csect
))->native
[i
+ 1].u
.auxent
;
5433 a
->x_csect
.x_scnlen
.l
= 0;
5434 a
->x_csect
.x_smtyp
= XTY_SD
;
5435 a
->x_csect
.x_parmhash
= 0;
5436 a
->x_csect
.x_snhash
= 0;
5437 a
->x_csect
.x_smclas
= XMC_XO
;
5438 a
->x_csect
.x_stab
= 0;
5439 a
->x_csect
.x_snstab
= 0;
5441 symbol_insert (csect
, sym
, &symbol_rootP
, &symbol_lastP
);
5443 i
= S_GET_NUMBER_AUXILIARY (sym
);
5444 a
= &coffsymbol (symbol_get_bfdsym (sym
))->native
[i
].u
.auxent
;
5445 a
->x_csect
.x_scnlen
.p
= coffsymbol (symbol_get_bfdsym (csect
))->native
;
5446 coffsymbol (symbol_get_bfdsym (sym
))->native
[i
].fix_scnlen
= 1;
5449 ppc_saw_abs
= FALSE
;
5452 /* Set the VMA for a section. This is called on all the sections in
5456 ppc_frob_section (asection
*sec
)
5458 static bfd_vma vma
= 0;
5460 vma
= md_section_align (sec
, vma
);
5461 bfd_set_section_vma (stdoutput
, sec
, vma
);
5462 vma
+= bfd_section_size (stdoutput
, sec
);
5465 #endif /* OBJ_XCOFF */
5468 md_atof (int type
, char *litp
, int *sizep
)
5470 return ieee_md_atof (type
, litp
, sizep
, target_big_endian
);
5473 /* Write a value out to the object file, using the appropriate
5477 md_number_to_chars (char *buf
, valueT val
, int n
)
5479 if (target_big_endian
)
5480 number_to_chars_bigendian (buf
, val
, n
);
5482 number_to_chars_littleendian (buf
, val
, n
);
5485 /* Align a section (I don't know why this is machine dependent). */
5488 md_section_align (asection
*seg ATTRIBUTE_UNUSED
, valueT addr
)
5493 int align
= bfd_get_section_alignment (stdoutput
, seg
);
5495 return ((addr
+ (1 << align
) - 1) & (-1 << align
));
5499 /* We don't have any form of relaxing. */
5502 md_estimate_size_before_relax (fragS
*fragp ATTRIBUTE_UNUSED
,
5503 asection
*seg ATTRIBUTE_UNUSED
)
5509 /* Convert a machine dependent frag. We never generate these. */
5512 md_convert_frag (bfd
*abfd ATTRIBUTE_UNUSED
,
5513 asection
*sec ATTRIBUTE_UNUSED
,
5514 fragS
*fragp ATTRIBUTE_UNUSED
)
5519 /* We have no need to default values of symbols. */
5522 md_undefined_symbol (char *name ATTRIBUTE_UNUSED
)
5527 /* Functions concerning relocs. */
5529 /* The location from which a PC relative jump should be calculated,
5530 given a PC relative reloc. */
5533 md_pcrel_from_section (fixS
*fixp
, segT sec ATTRIBUTE_UNUSED
)
5535 return fixp
->fx_frag
->fr_address
+ fixp
->fx_where
;
5540 /* This is called to see whether a fixup should be adjusted to use a
5541 section symbol. We take the opportunity to change a fixup against
5542 a symbol in the TOC subsegment into a reloc against the
5543 corresponding .tc symbol. */
5546 ppc_fix_adjustable (fixS
*fix
)
5548 valueT val
= resolve_symbol_value (fix
->fx_addsy
);
5549 segT symseg
= S_GET_SEGMENT (fix
->fx_addsy
);
5550 TC_SYMFIELD_TYPE
*tc
;
5552 if (symseg
== absolute_section
)
5555 if (ppc_toc_csect
!= (symbolS
*) NULL
5556 && fix
->fx_addsy
!= ppc_toc_csect
5557 && symseg
== data_section
5558 && val
>= ppc_toc_frag
->fr_address
5559 && (ppc_after_toc_frag
== (fragS
*) NULL
5560 || val
< ppc_after_toc_frag
->fr_address
))
5564 for (sy
= symbol_next (ppc_toc_csect
);
5565 sy
!= (symbolS
*) NULL
;
5566 sy
= symbol_next (sy
))
5568 TC_SYMFIELD_TYPE
*sy_tc
= symbol_get_tc (sy
);
5570 if (sy_tc
->symbol_class
== XMC_TC0
)
5572 if (sy_tc
->symbol_class
!= XMC_TC
)
5574 if (val
== resolve_symbol_value (sy
))
5577 fix
->fx_addnumber
= val
- ppc_toc_frag
->fr_address
;
5582 as_bad_where (fix
->fx_file
, fix
->fx_line
,
5583 _("symbol in .toc does not match any .tc"));
5586 /* Possibly adjust the reloc to be against the csect. */
5587 tc
= symbol_get_tc (fix
->fx_addsy
);
5589 && tc
->symbol_class
!= XMC_TC0
5590 && tc
->symbol_class
!= XMC_TC
5591 && symseg
!= bss_section
5592 /* Don't adjust if this is a reloc in the toc section. */
5593 && (symseg
!= data_section
5594 || ppc_toc_csect
== NULL
5595 || val
< ppc_toc_frag
->fr_address
5596 || (ppc_after_toc_frag
!= NULL
5597 && val
>= ppc_after_toc_frag
->fr_address
)))
5600 symbolS
*next_csect
;
5602 if (symseg
== text_section
)
5603 csect
= ppc_text_csects
;
5604 else if (symseg
== data_section
)
5605 csect
= ppc_data_csects
;
5609 /* Skip the initial dummy symbol. */
5610 csect
= symbol_get_tc (csect
)->next
;
5612 if (csect
!= (symbolS
*) NULL
)
5614 while ((next_csect
= symbol_get_tc (csect
)->next
) != (symbolS
*) NULL
5615 && (symbol_get_frag (next_csect
)->fr_address
<= val
))
5617 /* If the csect address equals the symbol value, then we
5618 have to look through the full symbol table to see
5619 whether this is the csect we want. Note that we will
5620 only get here if the csect has zero length. */
5621 if (symbol_get_frag (csect
)->fr_address
== val
5622 && S_GET_VALUE (csect
) == val
)
5626 for (scan
= symbol_next (csect
);
5628 scan
= symbol_next (scan
))
5630 if (symbol_get_tc (scan
)->subseg
!= 0)
5632 if (scan
== fix
->fx_addsy
)
5636 /* If we found the symbol before the next csect
5637 symbol, then this is the csect we want. */
5638 if (scan
== fix
->fx_addsy
)
5645 fix
->fx_offset
+= val
- symbol_get_frag (csect
)->fr_address
;
5646 fix
->fx_addsy
= csect
;
5651 /* Adjust a reloc against a .lcomm symbol to be against the base
5653 if (symseg
== bss_section
5654 && ! S_IS_EXTERNAL (fix
->fx_addsy
))
5656 symbolS
*sy
= symbol_get_frag (fix
->fx_addsy
)->fr_symbol
;
5658 fix
->fx_offset
+= val
- resolve_symbol_value (sy
);
5665 /* A reloc from one csect to another must be kept. The assembler
5666 will, of course, keep relocs between sections, and it will keep
5667 absolute relocs, but we need to force it to keep PC relative relocs
5668 between two csects in the same section. */
5671 ppc_force_relocation (fixS
*fix
)
5673 /* At this point fix->fx_addsy should already have been converted to
5674 a csect symbol. If the csect does not include the fragment, then
5675 we need to force the relocation. */
5677 && fix
->fx_addsy
!= NULL
5678 && symbol_get_tc (fix
->fx_addsy
)->subseg
!= 0
5679 && ((symbol_get_frag (fix
->fx_addsy
)->fr_address
5680 > fix
->fx_frag
->fr_address
)
5681 || (symbol_get_tc (fix
->fx_addsy
)->next
!= NULL
5682 && (symbol_get_frag (symbol_get_tc (fix
->fx_addsy
)->next
)->fr_address
5683 <= fix
->fx_frag
->fr_address
))))
5686 return generic_force_reloc (fix
);
5689 #endif /* OBJ_XCOFF */
5692 /* If this function returns non-zero, it guarantees that a relocation
5693 will be emitted for a fixup. */
5696 ppc_force_relocation (fixS
*fix
)
5698 /* Branch prediction relocations must force a relocation, as must
5699 the vtable description relocs. */
5700 switch (fix
->fx_r_type
)
5702 case BFD_RELOC_PPC_B16_BRTAKEN
:
5703 case BFD_RELOC_PPC_B16_BRNTAKEN
:
5704 case BFD_RELOC_PPC_BA16_BRTAKEN
:
5705 case BFD_RELOC_PPC_BA16_BRNTAKEN
:
5706 case BFD_RELOC_24_PLT_PCREL
:
5707 case BFD_RELOC_PPC64_TOC
:
5713 if (fix
->fx_r_type
>= BFD_RELOC_PPC_TLS
5714 && fix
->fx_r_type
<= BFD_RELOC_PPC64_DTPREL16_HIGHESTA
)
5717 return generic_force_reloc (fix
);
5721 ppc_fix_adjustable (fixS
*fix
)
5723 return (fix
->fx_r_type
!= BFD_RELOC_16_GOTOFF
5724 && fix
->fx_r_type
!= BFD_RELOC_LO16_GOTOFF
5725 && fix
->fx_r_type
!= BFD_RELOC_HI16_GOTOFF
5726 && fix
->fx_r_type
!= BFD_RELOC_HI16_S_GOTOFF
5727 && fix
->fx_r_type
!= BFD_RELOC_PPC64_GOT16_DS
5728 && fix
->fx_r_type
!= BFD_RELOC_PPC64_GOT16_LO_DS
5729 && fix
->fx_r_type
!= BFD_RELOC_GPREL16
5730 && fix
->fx_r_type
!= BFD_RELOC_VTABLE_INHERIT
5731 && fix
->fx_r_type
!= BFD_RELOC_VTABLE_ENTRY
5732 && !(fix
->fx_r_type
>= BFD_RELOC_PPC_TLS
5733 && fix
->fx_r_type
<= BFD_RELOC_PPC64_DTPREL16_HIGHESTA
));
5737 /* Implement HANDLE_ALIGN. This writes the NOP pattern into an
5738 rs_align_code frag. */
5741 ppc_handle_align (struct frag
*fragP
)
5743 valueT count
= (fragP
->fr_next
->fr_address
5744 - (fragP
->fr_address
+ fragP
->fr_fix
));
5746 if (count
!= 0 && (count
& 3) == 0)
5748 char *dest
= fragP
->fr_literal
+ fragP
->fr_fix
;
5751 md_number_to_chars (dest
, 0x60000000, 4);
5753 if ((ppc_cpu
& PPC_OPCODE_POWER6
) != 0
5754 || (ppc_cpu
& PPC_OPCODE_POWER7
) != 0)
5756 /* For power6 and power7, we want the last nop to be a group
5757 terminating one. Do this by inserting an rs_fill frag immediately
5758 after this one, with its address set to the last nop location.
5759 This will automatically reduce the number of nops in the current
5763 struct frag
*group_nop
= xmalloc (SIZEOF_STRUCT_FRAG
+ 4);
5765 memcpy (group_nop
, fragP
, SIZEOF_STRUCT_FRAG
);
5766 group_nop
->fr_address
= group_nop
->fr_next
->fr_address
- 4;
5767 group_nop
->fr_fix
= 0;
5768 group_nop
->fr_offset
= 1;
5769 group_nop
->fr_type
= rs_fill
;
5770 fragP
->fr_next
= group_nop
;
5771 dest
= group_nop
->fr_literal
;
5774 if ((ppc_cpu
& PPC_OPCODE_POWER7
) != 0)
5775 /* power7 group terminating nop: "ori 2,2,0". */
5776 md_number_to_chars (dest
, 0x60420000, 4);
5778 /* power6 group terminating nop: "ori 1,1,0". */
5779 md_number_to_chars (dest
, 0x60210000, 4);
5784 /* Apply a fixup to the object code. This is called for all the
5785 fixups we generated by the call to fix_new_exp, above. In the call
5786 above we used a reloc code which was the largest legal reloc code
5787 plus the operand index. Here we undo that to recover the operand
5788 index. At this point all symbol values should be fully resolved,
5789 and we attempt to completely resolve the reloc. If we can not do
5790 that, we determine the correct reloc code and put it back in the
5794 md_apply_fix (fixS
*fixP
, valueT
*valP
, segT seg ATTRIBUTE_UNUSED
)
5796 valueT value
= * valP
;
5799 if (fixP
->fx_addsy
!= NULL
)
5801 /* Hack around bfd_install_relocation brain damage. */
5803 value
+= fixP
->fx_frag
->fr_address
+ fixP
->fx_where
;
5808 /* FIXME FIXME FIXME: The value we are passed in *valP includes
5809 the symbol values. If we are doing this relocation the code in
5810 write.c is going to call bfd_install_relocation, which is also
5811 going to use the symbol value. That means that if the reloc is
5812 fully resolved we want to use *valP since bfd_install_relocation is
5814 However, if the reloc is not fully resolved we do not want to
5815 use *valP, and must use fx_offset instead. If the relocation
5816 is PC-relative, we then need to re-apply md_pcrel_from_section
5817 to this new relocation value. */
5818 if (fixP
->fx_addsy
== (symbolS
*) NULL
)
5823 value
= fixP
->fx_offset
;
5825 value
-= md_pcrel_from_section (fixP
, seg
);
5829 if (fixP
->fx_subsy
!= (symbolS
*) NULL
)
5831 /* We can't actually support subtracting a symbol. */
5832 as_bad_where (fixP
->fx_file
, fixP
->fx_line
, _("expression too complex"));
5835 if ((int) fixP
->fx_r_type
>= (int) BFD_RELOC_UNUSED
)
5838 const struct powerpc_operand
*operand
;
5842 opindex
= (int) fixP
->fx_r_type
- (int) BFD_RELOC_UNUSED
;
5844 operand
= &powerpc_operands
[opindex
];
5847 /* An instruction like `lwz 9,sym(30)' when `sym' is not a TOC symbol
5848 does not generate a reloc. It uses the offset of `sym' within its
5849 csect. Other usages, such as `.long sym', generate relocs. This
5850 is the documented behaviour of non-TOC symbols. */
5851 if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0
5852 && (operand
->bitm
& 0xfff0) == 0xfff0
5853 && operand
->shift
== 0
5854 && (operand
->insert
== NULL
|| ppc_obj64
)
5855 && fixP
->fx_addsy
!= NULL
5856 && symbol_get_tc (fixP
->fx_addsy
)->subseg
!= 0
5857 && symbol_get_tc (fixP
->fx_addsy
)->symbol_class
!= XMC_TC
5858 && symbol_get_tc (fixP
->fx_addsy
)->symbol_class
!= XMC_TC0
5859 && S_GET_SEGMENT (fixP
->fx_addsy
) != bss_section
)
5861 value
= fixP
->fx_offset
;
5866 /* Fetch the instruction, insert the fully resolved operand
5867 value, and stuff the instruction back again. */
5868 where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
5869 if (target_big_endian
)
5870 insn
= bfd_getb32 ((unsigned char *) where
);
5872 insn
= bfd_getl32 ((unsigned char *) where
);
5873 insn
= ppc_insert_operand (insn
, operand
, (offsetT
) value
,
5874 fixP
->tc_fix_data
.ppc_cpu
,
5875 fixP
->fx_file
, fixP
->fx_line
);
5876 if (target_big_endian
)
5877 bfd_putb32 ((bfd_vma
) insn
, (unsigned char *) where
);
5879 bfd_putl32 ((bfd_vma
) insn
, (unsigned char *) where
);
5882 /* Nothing else to do here. */
5885 gas_assert (fixP
->fx_addsy
!= NULL
);
5887 /* Determine a BFD reloc value based on the operand information.
5888 We are only prepared to turn a few of the operands into
5890 if ((operand
->flags
& PPC_OPERAND_RELATIVE
) != 0
5891 && operand
->bitm
== 0x3fffffc
5892 && operand
->shift
== 0)
5893 fixP
->fx_r_type
= BFD_RELOC_PPC_B26
;
5894 else if ((operand
->flags
& PPC_OPERAND_RELATIVE
) != 0
5895 && operand
->bitm
== 0xfffc
5896 && operand
->shift
== 0)
5898 fixP
->fx_r_type
= BFD_RELOC_PPC_B16
;
5901 if (target_big_endian
)
5902 fixP
->fx_where
+= 2;
5905 else if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0
5906 && operand
->bitm
== 0x3fffffc
5907 && operand
->shift
== 0)
5908 fixP
->fx_r_type
= BFD_RELOC_PPC_BA26
;
5909 else if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0
5910 && operand
->bitm
== 0xfffc
5911 && operand
->shift
== 0)
5913 fixP
->fx_r_type
= BFD_RELOC_PPC_BA16
;
5916 if (target_big_endian
)
5917 fixP
->fx_where
+= 2;
5920 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
5921 else if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0
5922 && (operand
->bitm
& 0xfff0) == 0xfff0
5923 && operand
->shift
== 0)
5925 if (ppc_is_toc_sym (fixP
->fx_addsy
))
5927 fixP
->fx_r_type
= BFD_RELOC_PPC_TOC16
;
5930 && (operand
->flags
& PPC_OPERAND_DS
) != 0)
5931 fixP
->fx_r_type
= BFD_RELOC_PPC64_TOC16_DS
;
5936 fixP
->fx_r_type
= BFD_RELOC_16
;
5939 && (operand
->flags
& PPC_OPERAND_DS
) != 0)
5940 fixP
->fx_r_type
= BFD_RELOC_PPC64_ADDR16_DS
;
5944 if (target_big_endian
)
5945 fixP
->fx_where
+= 2;
5947 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
5953 /* Use expr_symbol_where to see if this is an expression
5955 if (expr_symbol_where (fixP
->fx_addsy
, &sfile
, &sline
))
5956 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
5957 _("unresolved expression that must be resolved"));
5959 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
5960 _("unsupported relocation against %s"),
5961 S_GET_NAME (fixP
->fx_addsy
));
5969 ppc_elf_validate_fix (fixP
, seg
);
5971 switch (fixP
->fx_r_type
)
5973 case BFD_RELOC_CTOR
:
5980 fixP
->fx_r_type
= BFD_RELOC_32_PCREL
;
5984 case BFD_RELOC_32_PCREL
:
5985 case BFD_RELOC_PPC_EMB_NADDR32
:
5986 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5993 fixP
->fx_r_type
= BFD_RELOC_64_PCREL
;
5996 case BFD_RELOC_64_PCREL
:
5997 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6001 case BFD_RELOC_GPREL16
:
6002 case BFD_RELOC_16_GOT_PCREL
:
6003 case BFD_RELOC_16_GOTOFF
:
6004 case BFD_RELOC_LO16_GOTOFF
:
6005 case BFD_RELOC_HI16_GOTOFF
:
6006 case BFD_RELOC_HI16_S_GOTOFF
:
6007 case BFD_RELOC_16_BASEREL
:
6008 case BFD_RELOC_LO16_BASEREL
:
6009 case BFD_RELOC_HI16_BASEREL
:
6010 case BFD_RELOC_HI16_S_BASEREL
:
6011 case BFD_RELOC_PPC_EMB_NADDR16
:
6012 case BFD_RELOC_PPC_EMB_NADDR16_LO
:
6013 case BFD_RELOC_PPC_EMB_NADDR16_HI
:
6014 case BFD_RELOC_PPC_EMB_NADDR16_HA
:
6015 case BFD_RELOC_PPC_EMB_SDAI16
:
6016 case BFD_RELOC_PPC_EMB_SDA2REL
:
6017 case BFD_RELOC_PPC_EMB_SDA2I16
:
6018 case BFD_RELOC_PPC_EMB_RELSEC16
:
6019 case BFD_RELOC_PPC_EMB_RELST_LO
:
6020 case BFD_RELOC_PPC_EMB_RELST_HI
:
6021 case BFD_RELOC_PPC_EMB_RELST_HA
:
6022 case BFD_RELOC_PPC_EMB_RELSDA
:
6023 case BFD_RELOC_PPC_TOC16
:
6025 case BFD_RELOC_PPC64_TOC16_LO
:
6026 case BFD_RELOC_PPC64_TOC16_HI
:
6027 case BFD_RELOC_PPC64_TOC16_HA
:
6031 if (fixP
->fx_addsy
!= NULL
)
6032 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6033 _("cannot emit PC relative %s relocation against %s"),
6034 bfd_get_reloc_code_name (fixP
->fx_r_type
),
6035 S_GET_NAME (fixP
->fx_addsy
));
6037 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6038 _("cannot emit PC relative %s relocation"),
6039 bfd_get_reloc_code_name (fixP
->fx_r_type
));
6042 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6048 fixP
->fx_r_type
= BFD_RELOC_16_PCREL
;
6051 case BFD_RELOC_16_PCREL
:
6052 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6056 case BFD_RELOC_LO16
:
6058 fixP
->fx_r_type
= BFD_RELOC_LO16_PCREL
;
6061 case BFD_RELOC_LO16_PCREL
:
6062 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6066 /* This case happens when you write, for example,
6068 where L1 and L2 are defined later. */
6069 case BFD_RELOC_HI16
:
6071 fixP
->fx_r_type
= BFD_RELOC_HI16_PCREL
;
6074 case BFD_RELOC_HI16_PCREL
:
6075 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6079 case BFD_RELOC_HI16_S
:
6081 fixP
->fx_r_type
= BFD_RELOC_HI16_S_PCREL
;
6084 case BFD_RELOC_HI16_S_PCREL
:
6085 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6090 case BFD_RELOC_NONE
:
6095 case BFD_RELOC_PPC64_HIGHER
:
6098 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6099 PPC_HIGHER (value
), 2);
6102 case BFD_RELOC_PPC64_HIGHER_S
:
6105 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6106 PPC_HIGHERA (value
), 2);
6109 case BFD_RELOC_PPC64_HIGHEST
:
6112 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6113 PPC_HIGHEST (value
), 2);
6116 case BFD_RELOC_PPC64_HIGHEST_S
:
6119 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6120 PPC_HIGHESTA (value
), 2);
6123 case BFD_RELOC_PPC64_ADDR16_DS
:
6124 case BFD_RELOC_PPC64_ADDR16_LO_DS
:
6125 case BFD_RELOC_PPC64_GOT16_DS
:
6126 case BFD_RELOC_PPC64_GOT16_LO_DS
:
6127 case BFD_RELOC_PPC64_PLT16_LO_DS
:
6128 case BFD_RELOC_PPC64_SECTOFF_DS
:
6129 case BFD_RELOC_PPC64_SECTOFF_LO_DS
:
6130 case BFD_RELOC_PPC64_TOC16_DS
:
6131 case BFD_RELOC_PPC64_TOC16_LO_DS
:
6132 case BFD_RELOC_PPC64_PLTGOT16_DS
:
6133 case BFD_RELOC_PPC64_PLTGOT16_LO_DS
:
6137 char *where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
6138 unsigned long val
, mask
;
6140 if (target_big_endian
)
6141 val
= bfd_getb32 (where
- 2);
6143 val
= bfd_getl32 (where
);
6145 /* lq insns reserve the four lsbs. */
6146 if ((ppc_cpu
& PPC_OPCODE_POWER4
) != 0
6147 && (val
& (0x3f << 26)) == (56u << 26))
6149 val
|= value
& mask
;
6150 if (target_big_endian
)
6151 bfd_putb16 ((bfd_vma
) val
, where
);
6153 bfd_putl16 ((bfd_vma
) val
, where
);
6157 case BFD_RELOC_PPC_B16_BRTAKEN
:
6158 case BFD_RELOC_PPC_B16_BRNTAKEN
:
6159 case BFD_RELOC_PPC_BA16_BRTAKEN
:
6160 case BFD_RELOC_PPC_BA16_BRNTAKEN
:
6163 case BFD_RELOC_PPC_TLS
:
6164 case BFD_RELOC_PPC_TLSGD
:
6165 case BFD_RELOC_PPC_TLSLD
:
6168 case BFD_RELOC_PPC_DTPMOD
:
6169 case BFD_RELOC_PPC_TPREL16
:
6170 case BFD_RELOC_PPC_TPREL16_LO
:
6171 case BFD_RELOC_PPC_TPREL16_HI
:
6172 case BFD_RELOC_PPC_TPREL16_HA
:
6173 case BFD_RELOC_PPC_TPREL
:
6174 case BFD_RELOC_PPC_DTPREL16
:
6175 case BFD_RELOC_PPC_DTPREL16_LO
:
6176 case BFD_RELOC_PPC_DTPREL16_HI
:
6177 case BFD_RELOC_PPC_DTPREL16_HA
:
6178 case BFD_RELOC_PPC_DTPREL
:
6179 case BFD_RELOC_PPC_GOT_TLSGD16
:
6180 case BFD_RELOC_PPC_GOT_TLSGD16_LO
:
6181 case BFD_RELOC_PPC_GOT_TLSGD16_HI
:
6182 case BFD_RELOC_PPC_GOT_TLSGD16_HA
:
6183 case BFD_RELOC_PPC_GOT_TLSLD16
:
6184 case BFD_RELOC_PPC_GOT_TLSLD16_LO
:
6185 case BFD_RELOC_PPC_GOT_TLSLD16_HI
:
6186 case BFD_RELOC_PPC_GOT_TLSLD16_HA
:
6187 case BFD_RELOC_PPC_GOT_TPREL16
:
6188 case BFD_RELOC_PPC_GOT_TPREL16_LO
:
6189 case BFD_RELOC_PPC_GOT_TPREL16_HI
:
6190 case BFD_RELOC_PPC_GOT_TPREL16_HA
:
6191 case BFD_RELOC_PPC_GOT_DTPREL16
:
6192 case BFD_RELOC_PPC_GOT_DTPREL16_LO
:
6193 case BFD_RELOC_PPC_GOT_DTPREL16_HI
:
6194 case BFD_RELOC_PPC_GOT_DTPREL16_HA
:
6195 case BFD_RELOC_PPC64_TPREL16_DS
:
6196 case BFD_RELOC_PPC64_TPREL16_LO_DS
:
6197 case BFD_RELOC_PPC64_TPREL16_HIGHER
:
6198 case BFD_RELOC_PPC64_TPREL16_HIGHERA
:
6199 case BFD_RELOC_PPC64_TPREL16_HIGHEST
:
6200 case BFD_RELOC_PPC64_TPREL16_HIGHESTA
:
6201 case BFD_RELOC_PPC64_DTPREL16_DS
:
6202 case BFD_RELOC_PPC64_DTPREL16_LO_DS
:
6203 case BFD_RELOC_PPC64_DTPREL16_HIGHER
:
6204 case BFD_RELOC_PPC64_DTPREL16_HIGHERA
:
6205 case BFD_RELOC_PPC64_DTPREL16_HIGHEST
:
6206 case BFD_RELOC_PPC64_DTPREL16_HIGHESTA
:
6207 S_SET_THREAD_LOCAL (fixP
->fx_addsy
);
6210 /* Because SDA21 modifies the register field, the size is set to 4
6211 bytes, rather than 2, so offset it here appropriately. */
6212 case BFD_RELOC_PPC_EMB_SDA21
:
6216 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
6217 + ((target_big_endian
) ? 2 : 0),
6224 /* This can occur if there is a bug in the input assembler, eg:
6225 ".byte <undefined_symbol> - ." */
6227 as_bad (_("Unable to handle reference to symbol %s"),
6228 S_GET_NAME (fixP
->fx_addsy
));
6230 as_bad (_("Unable to resolve expression"));
6234 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6238 case BFD_RELOC_24_PLT_PCREL
:
6239 case BFD_RELOC_PPC_LOCAL24PC
:
6240 if (!fixP
->fx_pcrel
&& !fixP
->fx_done
)
6248 /* Fetch the instruction, insert the fully resolved operand
6249 value, and stuff the instruction back again. */
6250 where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
6251 if (target_big_endian
)
6252 insn
= bfd_getb32 ((unsigned char *) where
);
6254 insn
= bfd_getl32 ((unsigned char *) where
);
6255 if ((value
& 3) != 0)
6256 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6257 _("must branch to an address a multiple of 4"));
6258 if ((offsetT
) value
< -0x40000000
6259 || (offsetT
) value
>= 0x40000000)
6260 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6261 _("@local or @plt branch destination is too far away, %ld bytes"),
6263 insn
= insn
| (value
& 0x03fffffc);
6264 if (target_big_endian
)
6265 bfd_putb32 ((bfd_vma
) insn
, (unsigned char *) where
);
6267 bfd_putl32 ((bfd_vma
) insn
, (unsigned char *) where
);
6271 case BFD_RELOC_VTABLE_INHERIT
:
6274 && !S_IS_DEFINED (fixP
->fx_addsy
)
6275 && !S_IS_WEAK (fixP
->fx_addsy
))
6276 S_SET_WEAK (fixP
->fx_addsy
);
6279 case BFD_RELOC_VTABLE_ENTRY
:
6284 /* Generated by reference to `sym@tocbase'. The sym is
6285 ignored by the linker. */
6286 case BFD_RELOC_PPC64_TOC
:
6292 _("Gas failure, reloc value %d\n"), fixP
->fx_r_type
);
6299 fixP
->fx_addnumber
= value
;
6301 /* PowerPC uses RELA relocs, ie. the reloc addend is stored separately
6302 from the section contents. If we are going to be emitting a reloc
6303 then the section contents are immaterial, so don't warn if they
6304 happen to overflow. Leave such warnings to ld. */
6306 fixP
->fx_no_overflow
= 1;
6308 if (fixP
->fx_r_type
!= BFD_RELOC_PPC_TOC16
)
6309 fixP
->fx_addnumber
= 0;
6313 fixP
->fx_addnumber
= 0;
6315 /* We want to use the offset within the toc, not the actual VMA
6317 fixP
->fx_addnumber
=
6318 - bfd_get_section_vma (stdoutput
, S_GET_SEGMENT (fixP
->fx_addsy
))
6319 - S_GET_VALUE (ppc_toc_csect
);
6325 /* Generate a reloc for a fixup. */
6328 tc_gen_reloc (asection
*seg ATTRIBUTE_UNUSED
, fixS
*fixp
)
6332 reloc
= (arelent
*) xmalloc (sizeof (arelent
));
6334 reloc
->sym_ptr_ptr
= (asymbol
**) xmalloc (sizeof (asymbol
*));
6335 *reloc
->sym_ptr_ptr
= symbol_get_bfdsym (fixp
->fx_addsy
);
6336 reloc
->address
= fixp
->fx_frag
->fr_address
+ fixp
->fx_where
;
6337 reloc
->howto
= bfd_reloc_type_lookup (stdoutput
, fixp
->fx_r_type
);
6338 if (reloc
->howto
== (reloc_howto_type
*) NULL
)
6340 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
6341 _("reloc %d not supported by object file format"),
6342 (int) fixp
->fx_r_type
);
6345 reloc
->addend
= fixp
->fx_addnumber
;
6351 ppc_cfi_frame_initial_instructions (void)
6353 cfi_add_CFA_def_cfa (1, 0);
6357 tc_ppc_regname_to_dw2regnum (char *regname
)
6359 unsigned int regnum
= -1;
6363 static struct { char *name
; int dw2regnum
; } regnames
[] =
6365 { "sp", 1 }, { "r.sp", 1 }, { "rtoc", 2 }, { "r.toc", 2 },
6366 { "mq", 64 }, { "lr", 65 }, { "ctr", 66 }, { "ap", 67 },
6367 { "cr", 70 }, { "xer", 76 }, { "vrsave", 109 }, { "vscr", 110 },
6368 { "spe_acc", 111 }, { "spefscr", 112 }
6371 for (i
= 0; i
< ARRAY_SIZE (regnames
); ++i
)
6372 if (strcmp (regnames
[i
].name
, regname
) == 0)
6373 return regnames
[i
].dw2regnum
;
6375 if (regname
[0] == 'r' || regname
[0] == 'f' || regname
[0] == 'v')
6377 p
= regname
+ 1 + (regname
[1] == '.');
6378 regnum
= strtoul (p
, &q
, 10);
6379 if (p
== q
|| *q
|| regnum
>= 32)
6381 if (regname
[0] == 'f')
6383 else if (regname
[0] == 'v')
6386 else if (regname
[0] == 'c' && regname
[1] == 'r')
6388 p
= regname
+ 2 + (regname
[2] == '.');
6389 if (p
[0] < '0' || p
[0] > '7' || p
[1])
6391 regnum
= p
[0] - '0' + 68;