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 /* More than this number of nops in an alignment op gets a branch
185 unsigned long nop_limit
= 4;
187 /* The type of processor we are assembling for. This is one or more
188 of the PPC_OPCODE flags defined in opcode/ppc.h. */
189 ppc_cpu_t ppc_cpu
= 0;
191 /* Flags set on encountering toc relocs. */
193 has_large_toc_reloc
= 1,
194 has_small_toc_reloc
= 2
197 /* The target specific pseudo-ops which we support. */
199 const pseudo_typeS md_pseudo_table
[] =
201 /* Pseudo-ops which must be overridden. */
202 { "byte", ppc_byte
, 0 },
205 /* Pseudo-ops specific to the RS/6000 XCOFF format. Some of these
206 legitimately belong in the obj-*.c file. However, XCOFF is based
207 on COFF, and is only implemented for the RS/6000. We just use
208 obj-coff.c, and add what we need here. */
209 { "comm", ppc_comm
, 0 },
210 { "lcomm", ppc_comm
, 1 },
214 { "bi", ppc_biei
, 0 },
216 { "csect", ppc_csect
, 0 },
217 { "data", ppc_section
, 'd' },
221 { "ei", ppc_biei
, 1 },
223 { "extern", ppc_extern
, 0 },
224 { "function", ppc_function
, 0 },
225 { "lglobl", ppc_lglobl
, 0 },
226 { "ref", ppc_ref
, 0 },
227 { "rename", ppc_rename
, 0 },
228 { "section", ppc_named_section
, 0 },
229 { "stabx", ppc_stabx
, 0 },
230 { "text", ppc_section
, 't' },
231 { "toc", ppc_toc
, 0 },
232 { "long", ppc_xcoff_cons
, 2 },
233 { "llong", ppc_xcoff_cons
, 3 },
234 { "word", ppc_xcoff_cons
, 1 },
235 { "short", ppc_xcoff_cons
, 1 },
236 { "vbyte", ppc_vbyte
, 0 },
240 { "llong", ppc_elf_cons
, 8 },
241 { "quad", ppc_elf_cons
, 8 },
242 { "long", ppc_elf_cons
, 4 },
243 { "word", ppc_elf_cons
, 2 },
244 { "short", ppc_elf_cons
, 2 },
245 { "rdata", ppc_elf_rdata
, 0 },
246 { "rodata", ppc_elf_rdata
, 0 },
247 { "lcomm", ppc_elf_lcomm
, 0 },
251 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
252 { "previous", ppc_previous
, 0 },
253 { "pdata", ppc_pdata
, 0 },
254 { "ydata", ppc_ydata
, 0 },
255 { "reldata", ppc_reldata
, 0 },
256 { "rdata", ppc_rdata
, 0 },
257 { "ualong", ppc_ualong
, 0 },
258 { "znop", ppc_znop
, 0 },
259 { "comm", ppc_pe_comm
, 0 },
260 { "lcomm", ppc_pe_comm
, 1 },
261 { "section", ppc_pe_section
, 0 },
262 { "function", ppc_pe_function
,0 },
263 { "tocd", ppc_pe_tocd
, 0 },
266 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
268 { "machine", ppc_machine
, 0 },
275 /* Predefined register names if -mregnames (or default for Windows NT).
276 In general, there are lots of them, in an attempt to be compatible
277 with a number of other Windows NT assemblers. */
279 /* Structure to hold information about predefined registers. */
286 /* List of registers that are pre-defined:
288 Each general register has predefined names of the form:
289 1. r<reg_num> which has the value <reg_num>.
290 2. r.<reg_num> which has the value <reg_num>.
292 Each floating point register has predefined names of the form:
293 1. f<reg_num> which has the value <reg_num>.
294 2. f.<reg_num> which has the value <reg_num>.
296 Each vector unit register has predefined names of the form:
297 1. v<reg_num> which has the value <reg_num>.
298 2. v.<reg_num> which has the value <reg_num>.
300 Each condition register has predefined names of the form:
301 1. cr<reg_num> which has the value <reg_num>.
302 2. cr.<reg_num> which has the value <reg_num>.
304 There are individual registers as well:
305 sp or r.sp has the value 1
306 rtoc or r.toc has the value 2
307 fpscr has the value 0
313 dsisr has the value 18
315 sdr1 has the value 25
316 srr0 has the value 26
317 srr1 has the value 27
319 The table is sorted. Suitable for searching by a binary search. */
321 static const struct pd_reg pre_defined_registers
[] =
323 { "cr.0", 0 }, /* Condition Registers */
343 { "dar", 19 }, /* Data Access Register */
344 { "dec", 22 }, /* Decrementer */
345 { "dsisr", 18 }, /* Data Storage Interrupt Status Register */
347 { "f.0", 0 }, /* Floating point registers */
374 { "f.32", 32 }, /* Extended floating point scalar registers (ISA 2.06). */
440 { "f32", 32 }, /* Extended floating point scalar registers (ISA 2.06). */
481 /* Quantization registers used with pair single instructions. */
499 { "lr", 8 }, /* Link Register */
503 { "r.0", 0 }, /* General Purpose Registers */
536 { "r.sp", 1 }, /* Stack Pointer */
538 { "r.toc", 2 }, /* Pointer to the table of contents */
540 { "r0", 0 }, /* More general purpose registers */
573 { "rtoc", 2 }, /* Table of contents */
575 { "sdr1", 25 }, /* Storage Description Register 1 */
579 { "srr0", 26 }, /* Machine Status Save/Restore Register 0 */
580 { "srr1", 27 }, /* Machine Status Save/Restore Register 1 */
582 { "v.0", 0 }, /* Vector (Altivec/VMX) registers */
648 { "vs.0", 0 }, /* Vector Scalar (VSX) registers (ISA 2.06). */
782 #define REG_NAME_CNT (sizeof (pre_defined_registers) / sizeof (struct pd_reg))
784 /* Given NAME, find the register number associated with that name, return
785 the integer value associated with the given name or -1 on failure. */
788 reg_name_search (const struct pd_reg
*regs
, int regcount
, const char *name
)
790 int middle
, low
, high
;
798 middle
= (low
+ high
) / 2;
799 cmp
= strcasecmp (name
, regs
[middle
].name
);
805 return regs
[middle
].value
;
813 * Summary of register_name.
815 * in: Input_line_pointer points to 1st char of operand.
817 * out: A expressionS.
818 * The operand may have been a register: in this case, X_op == O_register,
819 * X_add_number is set to the register number, and truth is returned.
820 * Input_line_pointer->(next non-blank) char after operand, or is in its
825 register_name (expressionS
*expressionP
)
832 /* Find the spelling of the operand. */
833 start
= name
= input_line_pointer
;
834 if (name
[0] == '%' && ISALPHA (name
[1]))
835 name
= ++input_line_pointer
;
837 else if (!reg_names_p
|| !ISALPHA (name
[0]))
840 c
= get_symbol_end ();
841 reg_number
= reg_name_search (pre_defined_registers
, REG_NAME_CNT
, name
);
843 /* Put back the delimiting char. */
844 *input_line_pointer
= c
;
846 /* Look to see if it's in the register table. */
849 expressionP
->X_op
= O_register
;
850 expressionP
->X_add_number
= reg_number
;
852 /* Make the rest nice. */
853 expressionP
->X_add_symbol
= NULL
;
854 expressionP
->X_op_symbol
= NULL
;
858 /* Reset the line as if we had not done anything. */
859 input_line_pointer
= start
;
863 /* This function is called for each symbol seen in an expression. It
864 handles the special parsing which PowerPC assemblers are supposed
865 to use for condition codes. */
867 /* Whether to do the special parsing. */
868 static bfd_boolean cr_operand
;
870 /* Names to recognize in a condition code. This table is sorted. */
871 static const struct pd_reg cr_names
[] =
888 /* Parsing function. This returns non-zero if it recognized an
892 ppc_parse_name (const char *name
, expressionS
*exp
)
901 val
= reg_name_search (cr_names
, sizeof cr_names
/ sizeof cr_names
[0],
906 exp
->X_op
= O_constant
;
907 exp
->X_add_number
= val
;
912 /* Local variables. */
914 /* Whether to target xcoff64/elf64. */
915 static unsigned int ppc_obj64
= BFD_DEFAULT_TARGET_SIZE
== 64;
917 /* Opcode hash table. */
918 static struct hash_control
*ppc_hash
;
920 /* Macro hash table. */
921 static struct hash_control
*ppc_macro_hash
;
924 /* What type of shared library support to use. */
925 static enum { SHLIB_NONE
, SHLIB_PIC
, SHLIB_MRELOCATABLE
} shlib
= SHLIB_NONE
;
927 /* Flags to set in the elf header. */
928 static flagword ppc_flags
= 0;
930 /* Whether this is Solaris or not. */
931 #ifdef TARGET_SOLARIS_COMMENT
932 #define SOLARIS_P TRUE
934 #define SOLARIS_P FALSE
937 static bfd_boolean msolaris
= SOLARIS_P
;
942 /* The RS/6000 assembler uses the .csect pseudo-op to generate code
943 using a bunch of different sections. These assembler sections,
944 however, are all encompassed within the .text or .data sections of
945 the final output file. We handle this by using different
946 subsegments within these main segments. */
948 /* Next subsegment to allocate within the .text segment. */
949 static subsegT ppc_text_subsegment
= 2;
951 /* Linked list of csects in the text section. */
952 static symbolS
*ppc_text_csects
;
954 /* Next subsegment to allocate within the .data segment. */
955 static subsegT ppc_data_subsegment
= 2;
957 /* Linked list of csects in the data section. */
958 static symbolS
*ppc_data_csects
;
960 /* The current csect. */
961 static symbolS
*ppc_current_csect
;
963 /* The RS/6000 assembler uses a TOC which holds addresses of functions
964 and variables. Symbols are put in the TOC with the .tc pseudo-op.
965 A special relocation is used when accessing TOC entries. We handle
966 the TOC as a subsegment within the .data segment. We set it up if
967 we see a .toc pseudo-op, and save the csect symbol here. */
968 static symbolS
*ppc_toc_csect
;
970 /* The first frag in the TOC subsegment. */
971 static fragS
*ppc_toc_frag
;
973 /* The first frag in the first subsegment after the TOC in the .data
974 segment. NULL if there are no subsegments after the TOC. */
975 static fragS
*ppc_after_toc_frag
;
977 /* The current static block. */
978 static symbolS
*ppc_current_block
;
980 /* The COFF debugging section; set by md_begin. This is not the
981 .debug section, but is instead the secret BFD section which will
982 cause BFD to set the section number of a symbol to N_DEBUG. */
983 static asection
*ppc_coff_debug_section
;
985 #endif /* OBJ_XCOFF */
989 /* Various sections that we need for PE coff support. */
990 static segT ydata_section
;
991 static segT pdata_section
;
992 static segT reldata_section
;
993 static segT rdata_section
;
994 static segT tocdata_section
;
996 /* The current section and the previous section. See ppc_previous. */
997 static segT ppc_previous_section
;
998 static segT ppc_current_section
;
1003 symbolS
*GOT_symbol
; /* Pre-defined "_GLOBAL_OFFSET_TABLE" */
1004 #define PPC_APUINFO_ISEL 0x40
1005 #define PPC_APUINFO_PMR 0x41
1006 #define PPC_APUINFO_RFMCI 0x42
1007 #define PPC_APUINFO_CACHELCK 0x43
1008 #define PPC_APUINFO_SPE 0x100
1009 #define PPC_APUINFO_EFS 0x101
1010 #define PPC_APUINFO_BRLOCK 0x102
1013 * We keep a list of APUinfo
1015 unsigned long *ppc_apuinfo_list
;
1016 unsigned int ppc_apuinfo_num
;
1017 unsigned int ppc_apuinfo_num_alloc
;
1018 #endif /* OBJ_ELF */
1021 const char *const md_shortopts
= "b:l:usm:K:VQ:";
1023 const char *const md_shortopts
= "um:";
1025 #define OPTION_NOPS (OPTION_MD_BASE + 0)
1026 const struct option md_longopts
[] = {
1027 {"nops", required_argument
, NULL
, OPTION_NOPS
},
1028 {NULL
, no_argument
, NULL
, 0}
1030 const size_t md_longopts_size
= sizeof (md_longopts
);
1033 md_parse_option (int c
, char *arg
)
1040 /* -u means that any undefined symbols should be treated as
1041 external, which is the default for gas anyhow. */
1046 /* Solaris as takes -le (presumably for little endian). For completeness
1047 sake, recognize -be also. */
1048 if (strcmp (arg
, "e") == 0)
1050 target_big_endian
= 0;
1051 set_target_endian
= 1;
1059 if (strcmp (arg
, "e") == 0)
1061 target_big_endian
= 1;
1062 set_target_endian
= 1;
1070 /* Recognize -K PIC. */
1071 if (strcmp (arg
, "PIC") == 0 || strcmp (arg
, "pic") == 0)
1074 ppc_flags
|= EF_PPC_RELOCATABLE_LIB
;
1082 /* a64 and a32 determine whether to use XCOFF64 or XCOFF32. */
1084 if (strcmp (arg
, "64") == 0)
1089 as_fatal (_("%s unsupported"), "-a64");
1092 else if (strcmp (arg
, "32") == 0)
1099 if ((new_cpu
= ppc_parse_cpu (ppc_cpu
, arg
)) != 0)
1102 else if (strcmp (arg
, "regnames") == 0)
1105 else if (strcmp (arg
, "no-regnames") == 0)
1106 reg_names_p
= FALSE
;
1109 /* -mrelocatable/-mrelocatable-lib -- warn about initializations
1110 that require relocation. */
1111 else if (strcmp (arg
, "relocatable") == 0)
1113 shlib
= SHLIB_MRELOCATABLE
;
1114 ppc_flags
|= EF_PPC_RELOCATABLE
;
1117 else if (strcmp (arg
, "relocatable-lib") == 0)
1119 shlib
= SHLIB_MRELOCATABLE
;
1120 ppc_flags
|= EF_PPC_RELOCATABLE_LIB
;
1123 /* -memb, set embedded bit. */
1124 else if (strcmp (arg
, "emb") == 0)
1125 ppc_flags
|= EF_PPC_EMB
;
1127 /* -mlittle/-mbig set the endianess. */
1128 else if (strcmp (arg
, "little") == 0
1129 || strcmp (arg
, "little-endian") == 0)
1131 target_big_endian
= 0;
1132 set_target_endian
= 1;
1135 else if (strcmp (arg
, "big") == 0 || strcmp (arg
, "big-endian") == 0)
1137 target_big_endian
= 1;
1138 set_target_endian
= 1;
1141 else if (strcmp (arg
, "solaris") == 0)
1144 ppc_comment_chars
= ppc_solaris_comment_chars
;
1147 else if (strcmp (arg
, "no-solaris") == 0)
1150 ppc_comment_chars
= ppc_eabi_comment_chars
;
1155 as_bad (_("invalid switch -m%s"), arg
);
1161 /* -V: SVR4 argument to print version ID. */
1163 print_version_id ();
1166 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
1167 should be emitted or not. FIXME: Not implemented. */
1171 /* Solaris takes -s to specify that .stabs go in a .stabs section,
1172 rather than .stabs.excl, which is ignored by the linker.
1173 FIXME: Not implemented. */
1184 nop_limit
= strtoul (optarg
, &end
, 0);
1186 as_bad (_("--nops needs a numeric argument"));
1198 md_show_usage (FILE *stream
)
1200 fprintf (stream
, _("\
1202 -a32 generate ELF32/XCOFF32\n\
1203 -a64 generate ELF64/XCOFF64\n\
1205 -mpwrx, -mpwr2 generate code for POWER/2 (RIOS2)\n\
1206 -mpwr generate code for POWER (RIOS1)\n\
1207 -m601 generate code for PowerPC 601\n\
1208 -mppc, -mppc32, -m603, -m604\n\
1209 generate code for PowerPC 603/604\n\
1210 -m403 generate code for PowerPC 403\n\
1211 -m405 generate code for PowerPC 405\n\
1212 -m440 generate code for PowerPC 440\n\
1213 -m464 generate code for PowerPC 464\n\
1214 -m476 generate code for PowerPC 476\n\
1215 -m7400, -m7410, -m7450, -m7455\n\
1216 generate code for PowerPC 7400/7410/7450/7455\n\
1217 -m750cl generate code for PowerPC 750cl\n"));
1218 fprintf (stream
, _("\
1219 -mppc64, -m620 generate code for PowerPC 620/625/630\n\
1220 -mppc64bridge generate code for PowerPC 64, including bridge insns\n\
1221 -mbooke generate code for 32-bit PowerPC BookE\n\
1222 -ma2 generate code for A2 architecture\n\
1223 -mpower4, -mpwr4 generate code for Power4 architecture\n\
1224 -mpower5, -mpwr5, -mpwr5x\n\
1225 generate code for Power5 architecture\n\
1226 -mpower6, -mpwr6 generate code for Power6 architecture\n\
1227 -mpower7, -mpwr7 generate code for Power7 architecture\n\
1228 -mcell generate code for Cell Broadband Engine architecture\n\
1229 -mcom generate code Power/PowerPC common instructions\n\
1230 -many generate code for any architecture (PWR/PWRX/PPC)\n"));
1231 fprintf (stream
, _("\
1232 -maltivec generate code for AltiVec\n\
1233 -mvsx generate code for Vector-Scalar (VSX) instructions\n\
1234 -me300 generate code for PowerPC e300 family\n\
1235 -me500, -me500x2 generate code for Motorola e500 core complex\n\
1236 -me500mc, generate code for Freescale e500mc core complex\n\
1237 -me500mc64, generate code for Freescale e500mc64 core complex\n\
1238 -mspe generate code for Motorola SPE instructions\n\
1239 -mtitan generate code for AppliedMicro Titan core complex\n\
1240 -mregnames Allow symbolic names for registers\n\
1241 -mno-regnames Do not allow symbolic names for registers\n"));
1243 fprintf (stream
, _("\
1244 -mrelocatable support for GCC's -mrelocatble option\n\
1245 -mrelocatable-lib support for GCC's -mrelocatble-lib option\n\
1246 -memb set PPC_EMB bit in ELF flags\n\
1247 -mlittle, -mlittle-endian, -le\n\
1248 generate code for a little endian machine\n\
1249 -mbig, -mbig-endian, -be\n\
1250 generate code for a big endian machine\n\
1251 -msolaris generate code for Solaris\n\
1252 -mno-solaris do not generate code for Solaris\n\
1253 -K PIC set EF_PPC_RELOCATABLE_LIB in ELF flags\n\
1254 -V print assembler version number\n\
1255 -Qy, -Qn ignored\n"));
1257 fprintf (stream
, _("\
1258 -nops=count when aligning, more than COUNT nops uses a branch\n"));
1261 /* Set ppc_cpu if it is not already set. */
1266 const char *default_os
= TARGET_OS
;
1267 const char *default_cpu
= TARGET_CPU
;
1269 if ((ppc_cpu
& ~(ppc_cpu_t
) PPC_OPCODE_ANY
) == 0)
1272 ppc_cpu
|= PPC_OPCODE_PPC
| PPC_OPCODE_64
;
1273 else if (strncmp (default_os
, "aix", 3) == 0
1274 && default_os
[3] >= '4' && default_os
[3] <= '9')
1275 ppc_cpu
|= PPC_OPCODE_COMMON
;
1276 else if (strncmp (default_os
, "aix3", 4) == 0)
1277 ppc_cpu
|= PPC_OPCODE_POWER
;
1278 else if (strcmp (default_cpu
, "rs6000") == 0)
1279 ppc_cpu
|= PPC_OPCODE_POWER
;
1280 else if (strncmp (default_cpu
, "powerpc", 7) == 0)
1281 ppc_cpu
|= PPC_OPCODE_PPC
;
1283 as_fatal (_("Unknown default cpu = %s, os = %s"),
1284 default_cpu
, default_os
);
1288 /* Figure out the BFD architecture to use. This function and ppc_mach
1289 are called well before md_begin, when the output file is opened. */
1291 enum bfd_architecture
1294 const char *default_cpu
= TARGET_CPU
;
1297 if ((ppc_cpu
& PPC_OPCODE_PPC
) != 0)
1298 return bfd_arch_powerpc
;
1299 else if ((ppc_cpu
& PPC_OPCODE_POWER
) != 0)
1300 return bfd_arch_rs6000
;
1301 else if ((ppc_cpu
& (PPC_OPCODE_COMMON
| PPC_OPCODE_ANY
)) != 0)
1303 if (strcmp (default_cpu
, "rs6000") == 0)
1304 return bfd_arch_rs6000
;
1305 else if (strncmp (default_cpu
, "powerpc", 7) == 0)
1306 return bfd_arch_powerpc
;
1309 as_fatal (_("Neither Power nor PowerPC opcodes were selected."));
1310 return bfd_arch_unknown
;
1317 return bfd_mach_ppc64
;
1318 else if (ppc_arch () == bfd_arch_rs6000
)
1319 return bfd_mach_rs6k
;
1320 else if (ppc_cpu
& PPC_OPCODE_TITAN
)
1321 return bfd_mach_ppc_titan
;
1323 return bfd_mach_ppc
;
1327 ppc_target_format (void)
1331 return target_big_endian
? "pe-powerpc" : "pe-powerpcle";
1333 return "xcoff-powermac";
1336 return (ppc_obj64
? "aix5coff64-rs6000" : "aixcoff-rs6000");
1338 return (ppc_obj64
? "aixcoff64-rs6000" : "aixcoff-rs6000");
1344 return "elf32-powerpc-vxworks";
1346 return (target_big_endian
1347 ? (ppc_obj64
? "elf64-powerpc" : "elf32-powerpc")
1348 : (ppc_obj64
? "elf64-powerpcle" : "elf32-powerpcle"));
1353 /* Insert opcodes and macros into hash tables. Called at startup and
1357 ppc_setup_opcodes (void)
1359 const struct powerpc_opcode
*op
;
1360 const struct powerpc_opcode
*op_end
;
1361 const struct powerpc_macro
*macro
;
1362 const struct powerpc_macro
*macro_end
;
1363 bfd_boolean bad_insn
= FALSE
;
1365 if (ppc_hash
!= NULL
)
1366 hash_die (ppc_hash
);
1367 if (ppc_macro_hash
!= NULL
)
1368 hash_die (ppc_macro_hash
);
1370 /* Insert the opcodes into a hash table. */
1371 ppc_hash
= hash_new ();
1373 if (ENABLE_CHECKING
)
1377 /* Check operand masks. Code here and in the disassembler assumes
1378 all the 1's in the mask are contiguous. */
1379 for (i
= 0; i
< num_powerpc_operands
; ++i
)
1381 unsigned long mask
= powerpc_operands
[i
].bitm
;
1382 unsigned long right_bit
;
1385 right_bit
= mask
& -mask
;
1387 right_bit
= mask
& -mask
;
1388 if (mask
!= right_bit
)
1390 as_bad (_("powerpc_operands[%d].bitm invalid"), i
);
1393 for (j
= i
+ 1; j
< num_powerpc_operands
; ++j
)
1394 if (memcmp (&powerpc_operands
[i
], &powerpc_operands
[j
],
1395 sizeof (powerpc_operands
[0])) == 0)
1397 as_bad (_("powerpc_operands[%d] duplicates powerpc_operands[%d]"),
1404 op_end
= powerpc_opcodes
+ powerpc_num_opcodes
;
1405 for (op
= powerpc_opcodes
; op
< op_end
; op
++)
1407 if (ENABLE_CHECKING
)
1409 const unsigned char *o
;
1410 unsigned long omask
= op
->mask
;
1412 if (op
!= powerpc_opcodes
)
1414 /* The major opcodes had better be sorted. Code in the
1415 disassembler assumes the insns are sorted according to
1417 if (PPC_OP (op
[0].opcode
) < PPC_OP (op
[-1].opcode
))
1419 as_bad (_("major opcode is not sorted for %s"),
1424 /* Warn if the table isn't more strictly ordered.
1425 Unfortunately it doesn't seem possible to order the
1426 table on much more than the major opcode, which makes
1427 it difficult to implement a binary search in the
1428 disassembler. The problem is that we have multiple
1429 ways to disassemble instructions, and we usually want
1430 to choose a more specific form (with more bits set in
1431 the opcode) than a more general form. eg. all of the
1432 following are equivalent:
1433 bne label # opcode = 0x40820000, mask = 0xff830003
1434 bf 2,label # opcode = 0x40800000, mask = 0xff800003
1435 bc 4,2,label # opcode = 0x40000000, mask = 0xfc000003
1437 There are also cases where the table needs to be out
1438 of order to disassemble the correct instruction for
1439 processor variants. */
1442 unsigned long t1
= op
[0].opcode
;
1443 unsigned long t2
= op
[-1].opcode
;
1445 if (((t1
^ t2
) & 0xfc0007ff) == 0
1446 && (t1
& 0xfc0006df) == 0x7c000286)
1448 /* spr field is split. */
1449 t1
= ((t1
& ~0x1ff800)
1450 | ((t1
& 0xf800) << 5) | ((t1
& 0x1f0000) >> 5));
1451 t2
= ((t2
& ~0x1ff800)
1452 | ((t2
& 0xf800) << 5) | ((t2
& 0x1f0000) >> 5));
1455 as_warn (_("%s (%08lx %08lx) after %s (%08lx %08lx)"),
1456 op
[0].name
, op
[0].opcode
, op
[0].mask
,
1457 op
[-1].name
, op
[-1].opcode
, op
[-1].mask
);
1461 /* The mask had better not trim off opcode bits. */
1462 if ((op
->opcode
& omask
) != op
->opcode
)
1464 as_bad (_("mask trims opcode bits for %s"),
1469 /* The operands must not overlap the opcode or each other. */
1470 for (o
= op
->operands
; *o
; ++o
)
1471 if (*o
>= num_powerpc_operands
)
1473 as_bad (_("operand index error for %s"),
1479 const struct powerpc_operand
*operand
= &powerpc_operands
[*o
];
1480 if (operand
->shift
>= 0)
1482 unsigned long mask
= operand
->bitm
<< operand
->shift
;
1485 as_bad (_("operand %d overlap in %s"),
1486 (int) (o
- op
->operands
), op
->name
);
1494 if ((ppc_cpu
& op
->flags
) != 0
1495 && !(ppc_cpu
& op
->deprecated
))
1499 retval
= hash_insert (ppc_hash
, op
->name
, (void *) op
);
1502 as_bad (_("duplicate instruction %s"),
1509 if ((ppc_cpu
& PPC_OPCODE_ANY
) != 0)
1510 for (op
= powerpc_opcodes
; op
< op_end
; op
++)
1511 hash_insert (ppc_hash
, op
->name
, (void *) op
);
1513 /* Insert the macros into a hash table. */
1514 ppc_macro_hash
= hash_new ();
1516 macro_end
= powerpc_macros
+ powerpc_num_macros
;
1517 for (macro
= powerpc_macros
; macro
< macro_end
; macro
++)
1519 if ((macro
->flags
& ppc_cpu
) != 0 || (ppc_cpu
& PPC_OPCODE_ANY
) != 0)
1523 retval
= hash_insert (ppc_macro_hash
, macro
->name
, (void *) macro
);
1524 if (retval
!= (const char *) NULL
)
1526 as_bad (_("duplicate macro %s"), macro
->name
);
1536 /* This function is called when the assembler starts up. It is called
1537 after the options have been parsed and the output file has been
1545 ppc_cie_data_alignment
= ppc_obj64
? -8 : -4;
1548 /* Set the ELF flags if desired. */
1549 if (ppc_flags
&& !msolaris
)
1550 bfd_set_private_flags (stdoutput
, ppc_flags
);
1553 ppc_setup_opcodes ();
1555 /* Tell the main code what the endianness is if it is not overridden
1557 if (!set_target_endian
)
1559 set_target_endian
= 1;
1560 target_big_endian
= PPC_BIG_ENDIAN
;
1564 ppc_coff_debug_section
= coff_section_from_bfd_index (stdoutput
, N_DEBUG
);
1566 /* Create dummy symbols to serve as initial csects. This forces the
1567 text csects to precede the data csects. These symbols will not
1569 ppc_text_csects
= symbol_make ("dummy\001");
1570 symbol_get_tc (ppc_text_csects
)->within
= ppc_text_csects
;
1571 ppc_data_csects
= symbol_make ("dummy\001");
1572 symbol_get_tc (ppc_data_csects
)->within
= ppc_data_csects
;
1577 ppc_current_section
= text_section
;
1578 ppc_previous_section
= 0;
1587 if (ppc_apuinfo_list
== NULL
)
1590 /* Ok, so write the section info out. We have this layout:
1594 0 8 length of "APUinfo\0"
1595 4 (n*4) number of APU's (4 bytes each)
1598 20 APU#1 first APU's info
1599 24 APU#2 second APU's info
1604 asection
*seg
= now_seg
;
1605 subsegT subseg
= now_subseg
;
1606 asection
*apuinfo_secp
= (asection
*) NULL
;
1609 /* Create the .PPC.EMB.apuinfo section. */
1610 apuinfo_secp
= subseg_new (".PPC.EMB.apuinfo", 0);
1611 bfd_set_section_flags (stdoutput
,
1613 SEC_HAS_CONTENTS
| SEC_READONLY
);
1616 md_number_to_chars (p
, (valueT
) 8, 4);
1619 md_number_to_chars (p
, (valueT
) ppc_apuinfo_num
* 4, 4);
1622 md_number_to_chars (p
, (valueT
) 2, 4);
1625 strcpy (p
, "APUinfo");
1627 for (i
= 0; i
< ppc_apuinfo_num
; i
++)
1630 md_number_to_chars (p
, (valueT
) ppc_apuinfo_list
[i
], 4);
1633 frag_align (2, 0, 0);
1635 /* We probably can't restore the current segment, for there likely
1638 subseg_set (seg
, subseg
);
1643 /* Insert an operand value into an instruction. */
1645 static unsigned long
1646 ppc_insert_operand (unsigned long insn
,
1647 const struct powerpc_operand
*operand
,
1653 long min
, max
, right
;
1655 max
= operand
->bitm
;
1659 if ((operand
->flags
& PPC_OPERAND_SIGNED
) != 0)
1661 if ((operand
->flags
& PPC_OPERAND_SIGNOPT
) == 0)
1662 max
= (max
>> 1) & -right
;
1663 min
= ~max
& -right
;
1666 if ((operand
->flags
& PPC_OPERAND_PLUS1
) != 0)
1669 if ((operand
->flags
& PPC_OPERAND_NEGATIVE
) != 0)
1678 /* Some people write constants with the sign extension done by
1679 hand but only up to 32 bits. This shouldn't really be valid,
1680 but, to permit this code to assemble on a 64-bit host, we
1681 sign extend the 32-bit value to 64 bits if so doing makes the
1684 && (offsetT
) (val
- 0x80000000 - 0x80000000) >= min
1685 && (offsetT
) (val
- 0x80000000 - 0x80000000) <= max
1686 && ((val
- 0x80000000 - 0x80000000) & (right
- 1)) == 0)
1687 val
= val
- 0x80000000 - 0x80000000;
1689 /* Similarly, people write expressions like ~(1<<15), and expect
1690 this to be OK for a 32-bit unsigned value. */
1692 && (offsetT
) (val
+ 0x80000000 + 0x80000000) >= min
1693 && (offsetT
) (val
+ 0x80000000 + 0x80000000) <= max
1694 && ((val
+ 0x80000000 + 0x80000000) & (right
- 1)) == 0)
1695 val
= val
+ 0x80000000 + 0x80000000;
1699 || (val
& (right
- 1)) != 0)
1700 as_bad_value_out_of_range (_("operand"), val
, min
, max
, file
, line
);
1703 if (operand
->insert
)
1708 insn
= (*operand
->insert
) (insn
, (long) val
, cpu
, &errmsg
);
1709 if (errmsg
!= (const char *) NULL
)
1710 as_bad_where (file
, line
, "%s", errmsg
);
1713 insn
|= ((long) val
& operand
->bitm
) << operand
->shift
;
1720 /* Parse @got, etc. and return the desired relocation. */
1721 static bfd_reloc_code_real_type
1722 ppc_elf_suffix (char **str_p
, expressionS
*exp_p
)
1726 unsigned int length
: 8;
1727 unsigned int valid32
: 1;
1728 unsigned int valid64
: 1;
1737 const struct map_bfd
*ptr
;
1739 #define MAP(str, reloc) { str, sizeof (str) - 1, 1, 1, reloc }
1740 #define MAP32(str, reloc) { str, sizeof (str) - 1, 1, 0, reloc }
1741 #define MAP64(str, reloc) { str, sizeof (str) - 1, 0, 1, reloc }
1743 static const struct map_bfd mapping
[] = {
1744 MAP ("l", BFD_RELOC_LO16
),
1745 MAP ("h", BFD_RELOC_HI16
),
1746 MAP ("ha", BFD_RELOC_HI16_S
),
1747 MAP ("brtaken", BFD_RELOC_PPC_B16_BRTAKEN
),
1748 MAP ("brntaken", BFD_RELOC_PPC_B16_BRNTAKEN
),
1749 MAP ("got", BFD_RELOC_16_GOTOFF
),
1750 MAP ("got@l", BFD_RELOC_LO16_GOTOFF
),
1751 MAP ("got@h", BFD_RELOC_HI16_GOTOFF
),
1752 MAP ("got@ha", BFD_RELOC_HI16_S_GOTOFF
),
1753 MAP ("plt@l", BFD_RELOC_LO16_PLTOFF
),
1754 MAP ("plt@h", BFD_RELOC_HI16_PLTOFF
),
1755 MAP ("plt@ha", BFD_RELOC_HI16_S_PLTOFF
),
1756 MAP ("copy", BFD_RELOC_PPC_COPY
),
1757 MAP ("globdat", BFD_RELOC_PPC_GLOB_DAT
),
1758 MAP ("sectoff", BFD_RELOC_16_BASEREL
),
1759 MAP ("sectoff@l", BFD_RELOC_LO16_BASEREL
),
1760 MAP ("sectoff@h", BFD_RELOC_HI16_BASEREL
),
1761 MAP ("sectoff@ha", BFD_RELOC_HI16_S_BASEREL
),
1762 MAP ("tls", BFD_RELOC_PPC_TLS
),
1763 MAP ("dtpmod", BFD_RELOC_PPC_DTPMOD
),
1764 MAP ("dtprel", BFD_RELOC_PPC_DTPREL
),
1765 MAP ("dtprel@l", BFD_RELOC_PPC_DTPREL16_LO
),
1766 MAP ("dtprel@h", BFD_RELOC_PPC_DTPREL16_HI
),
1767 MAP ("dtprel@ha", BFD_RELOC_PPC_DTPREL16_HA
),
1768 MAP ("tprel", BFD_RELOC_PPC_TPREL
),
1769 MAP ("tprel@l", BFD_RELOC_PPC_TPREL16_LO
),
1770 MAP ("tprel@h", BFD_RELOC_PPC_TPREL16_HI
),
1771 MAP ("tprel@ha", BFD_RELOC_PPC_TPREL16_HA
),
1772 MAP ("got@tlsgd", BFD_RELOC_PPC_GOT_TLSGD16
),
1773 MAP ("got@tlsgd@l", BFD_RELOC_PPC_GOT_TLSGD16_LO
),
1774 MAP ("got@tlsgd@h", BFD_RELOC_PPC_GOT_TLSGD16_HI
),
1775 MAP ("got@tlsgd@ha", BFD_RELOC_PPC_GOT_TLSGD16_HA
),
1776 MAP ("got@tlsld", BFD_RELOC_PPC_GOT_TLSLD16
),
1777 MAP ("got@tlsld@l", BFD_RELOC_PPC_GOT_TLSLD16_LO
),
1778 MAP ("got@tlsld@h", BFD_RELOC_PPC_GOT_TLSLD16_HI
),
1779 MAP ("got@tlsld@ha", BFD_RELOC_PPC_GOT_TLSLD16_HA
),
1780 MAP ("got@dtprel", BFD_RELOC_PPC_GOT_DTPREL16
),
1781 MAP ("got@dtprel@l", BFD_RELOC_PPC_GOT_DTPREL16_LO
),
1782 MAP ("got@dtprel@h", BFD_RELOC_PPC_GOT_DTPREL16_HI
),
1783 MAP ("got@dtprel@ha", BFD_RELOC_PPC_GOT_DTPREL16_HA
),
1784 MAP ("got@tprel", BFD_RELOC_PPC_GOT_TPREL16
),
1785 MAP ("got@tprel@l", BFD_RELOC_PPC_GOT_TPREL16_LO
),
1786 MAP ("got@tprel@h", BFD_RELOC_PPC_GOT_TPREL16_HI
),
1787 MAP ("got@tprel@ha", BFD_RELOC_PPC_GOT_TPREL16_HA
),
1788 MAP32 ("fixup", BFD_RELOC_CTOR
),
1789 MAP32 ("plt", BFD_RELOC_24_PLT_PCREL
),
1790 MAP32 ("pltrel24", BFD_RELOC_24_PLT_PCREL
),
1791 MAP32 ("local24pc", BFD_RELOC_PPC_LOCAL24PC
),
1792 MAP32 ("local", BFD_RELOC_PPC_LOCAL24PC
),
1793 MAP32 ("pltrel", BFD_RELOC_32_PLT_PCREL
),
1794 MAP32 ("sdarel", BFD_RELOC_GPREL16
),
1795 MAP32 ("naddr", BFD_RELOC_PPC_EMB_NADDR32
),
1796 MAP32 ("naddr16", BFD_RELOC_PPC_EMB_NADDR16
),
1797 MAP32 ("naddr@l", BFD_RELOC_PPC_EMB_NADDR16_LO
),
1798 MAP32 ("naddr@h", BFD_RELOC_PPC_EMB_NADDR16_HI
),
1799 MAP32 ("naddr@ha", BFD_RELOC_PPC_EMB_NADDR16_HA
),
1800 MAP32 ("sdai16", BFD_RELOC_PPC_EMB_SDAI16
),
1801 MAP32 ("sda2rel", BFD_RELOC_PPC_EMB_SDA2REL
),
1802 MAP32 ("sda2i16", BFD_RELOC_PPC_EMB_SDA2I16
),
1803 MAP32 ("sda21", BFD_RELOC_PPC_EMB_SDA21
),
1804 MAP32 ("mrkref", BFD_RELOC_PPC_EMB_MRKREF
),
1805 MAP32 ("relsect", BFD_RELOC_PPC_EMB_RELSEC16
),
1806 MAP32 ("relsect@l", BFD_RELOC_PPC_EMB_RELST_LO
),
1807 MAP32 ("relsect@h", BFD_RELOC_PPC_EMB_RELST_HI
),
1808 MAP32 ("relsect@ha", BFD_RELOC_PPC_EMB_RELST_HA
),
1809 MAP32 ("bitfld", BFD_RELOC_PPC_EMB_BIT_FLD
),
1810 MAP32 ("relsda", BFD_RELOC_PPC_EMB_RELSDA
),
1811 MAP32 ("xgot", BFD_RELOC_PPC_TOC16
),
1812 MAP64 ("higher", BFD_RELOC_PPC64_HIGHER
),
1813 MAP64 ("highera", BFD_RELOC_PPC64_HIGHER_S
),
1814 MAP64 ("highest", BFD_RELOC_PPC64_HIGHEST
),
1815 MAP64 ("highesta", BFD_RELOC_PPC64_HIGHEST_S
),
1816 MAP64 ("tocbase", BFD_RELOC_PPC64_TOC
),
1817 MAP64 ("toc", BFD_RELOC_PPC_TOC16
),
1818 MAP64 ("toc@l", BFD_RELOC_PPC64_TOC16_LO
),
1819 MAP64 ("toc@h", BFD_RELOC_PPC64_TOC16_HI
),
1820 MAP64 ("toc@ha", BFD_RELOC_PPC64_TOC16_HA
),
1821 MAP64 ("dtprel@higher", BFD_RELOC_PPC64_DTPREL16_HIGHER
),
1822 MAP64 ("dtprel@highera", BFD_RELOC_PPC64_DTPREL16_HIGHERA
),
1823 MAP64 ("dtprel@highest", BFD_RELOC_PPC64_DTPREL16_HIGHEST
),
1824 MAP64 ("dtprel@highesta", BFD_RELOC_PPC64_DTPREL16_HIGHESTA
),
1825 MAP64 ("tprel@higher", BFD_RELOC_PPC64_TPREL16_HIGHER
),
1826 MAP64 ("tprel@highera", BFD_RELOC_PPC64_TPREL16_HIGHERA
),
1827 MAP64 ("tprel@highest", BFD_RELOC_PPC64_TPREL16_HIGHEST
),
1828 MAP64 ("tprel@highesta", BFD_RELOC_PPC64_TPREL16_HIGHESTA
),
1829 { (char *) 0, 0, 0, 0, BFD_RELOC_UNUSED
}
1833 return BFD_RELOC_UNUSED
;
1835 for (ch
= *str
, str2
= ident
;
1836 (str2
< ident
+ sizeof (ident
) - 1
1837 && (ISALNUM (ch
) || ch
== '@'));
1840 *str2
++ = TOLOWER (ch
);
1847 for (ptr
= &mapping
[0]; ptr
->length
> 0; ptr
++)
1848 if (ch
== ptr
->string
[0]
1849 && len
== ptr
->length
1850 && memcmp (ident
, ptr
->string
, ptr
->length
) == 0
1851 && (ppc_obj64
? ptr
->valid64
: ptr
->valid32
))
1853 int reloc
= ptr
->reloc
;
1855 if (!ppc_obj64
&& exp_p
->X_add_number
!= 0)
1859 case BFD_RELOC_16_GOTOFF
:
1860 case BFD_RELOC_LO16_GOTOFF
:
1861 case BFD_RELOC_HI16_GOTOFF
:
1862 case BFD_RELOC_HI16_S_GOTOFF
:
1863 as_warn (_("identifier+constant@got means "
1864 "identifier@got+constant"));
1867 case BFD_RELOC_PPC_GOT_TLSGD16
:
1868 case BFD_RELOC_PPC_GOT_TLSGD16_LO
:
1869 case BFD_RELOC_PPC_GOT_TLSGD16_HI
:
1870 case BFD_RELOC_PPC_GOT_TLSGD16_HA
:
1871 case BFD_RELOC_PPC_GOT_TLSLD16
:
1872 case BFD_RELOC_PPC_GOT_TLSLD16_LO
:
1873 case BFD_RELOC_PPC_GOT_TLSLD16_HI
:
1874 case BFD_RELOC_PPC_GOT_TLSLD16_HA
:
1875 case BFD_RELOC_PPC_GOT_DTPREL16
:
1876 case BFD_RELOC_PPC_GOT_DTPREL16_LO
:
1877 case BFD_RELOC_PPC_GOT_DTPREL16_HI
:
1878 case BFD_RELOC_PPC_GOT_DTPREL16_HA
:
1879 case BFD_RELOC_PPC_GOT_TPREL16
:
1880 case BFD_RELOC_PPC_GOT_TPREL16_LO
:
1881 case BFD_RELOC_PPC_GOT_TPREL16_HI
:
1882 case BFD_RELOC_PPC_GOT_TPREL16_HA
:
1883 as_bad (_("symbol+offset not supported for got tls"));
1888 /* Now check for identifier@suffix+constant. */
1889 if (*str
== '-' || *str
== '+')
1891 char *orig_line
= input_line_pointer
;
1892 expressionS new_exp
;
1894 input_line_pointer
= str
;
1895 expression (&new_exp
);
1896 if (new_exp
.X_op
== O_constant
)
1898 exp_p
->X_add_number
+= new_exp
.X_add_number
;
1899 str
= input_line_pointer
;
1902 if (&input_line_pointer
!= str_p
)
1903 input_line_pointer
= orig_line
;
1907 if (reloc
== (int) BFD_RELOC_PPC64_TOC
1908 && exp_p
->X_op
== O_symbol
1909 && strcmp (S_GET_NAME (exp_p
->X_add_symbol
), ".TOC.") == 0)
1911 /* Change the symbol so that the dummy .TOC. symbol can be
1912 omitted from the object file. */
1913 exp_p
->X_add_symbol
= &abs_symbol
;
1916 return (bfd_reloc_code_real_type
) reloc
;
1919 return BFD_RELOC_UNUSED
;
1922 /* Like normal .long/.short/.word, except support @got, etc.
1923 Clobbers input_line_pointer, checks end-of-line. */
1925 ppc_elf_cons (int nbytes
/* 1=.byte, 2=.word, 4=.long, 8=.llong */)
1928 bfd_reloc_code_real_type reloc
;
1930 if (is_it_end_of_statement ())
1932 demand_empty_rest_of_line ();
1939 if (exp
.X_op
== O_symbol
1940 && *input_line_pointer
== '@'
1941 && (reloc
= ppc_elf_suffix (&input_line_pointer
,
1942 &exp
)) != BFD_RELOC_UNUSED
)
1944 reloc_howto_type
*reloc_howto
;
1947 reloc_howto
= bfd_reloc_type_lookup (stdoutput
, reloc
);
1948 size
= bfd_get_reloc_size (reloc_howto
);
1952 as_bad (_("%s relocations do not fit in %d bytes\n"),
1953 reloc_howto
->name
, nbytes
);
1960 p
= frag_more (nbytes
);
1961 memset (p
, 0, nbytes
);
1963 if (target_big_endian
)
1964 offset
= nbytes
- size
;
1965 fix_new_exp (frag_now
, p
- frag_now
->fr_literal
+ offset
, size
,
1970 emit_expr (&exp
, (unsigned int) nbytes
);
1972 while (*input_line_pointer
++ == ',');
1974 /* Put terminator back into stream. */
1975 input_line_pointer
--;
1976 demand_empty_rest_of_line ();
1979 /* Solaris pseduo op to change to the .rodata section. */
1981 ppc_elf_rdata (int xxx
)
1983 char *save_line
= input_line_pointer
;
1984 static char section
[] = ".rodata\n";
1986 /* Just pretend this is .section .rodata */
1987 input_line_pointer
= section
;
1988 obj_elf_section (xxx
);
1990 input_line_pointer
= save_line
;
1993 /* Pseudo op to make file scope bss items. */
1995 ppc_elf_lcomm (int xxx ATTRIBUTE_UNUSED
)
2008 name
= input_line_pointer
;
2009 c
= get_symbol_end ();
2011 /* just after name is now '\0'. */
2012 p
= input_line_pointer
;
2015 if (*input_line_pointer
!= ',')
2017 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
2018 ignore_rest_of_line ();
2022 input_line_pointer
++; /* skip ',' */
2023 if ((size
= get_absolute_expression ()) < 0)
2025 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) size
);
2026 ignore_rest_of_line ();
2030 /* The third argument to .lcomm is the alignment. */
2031 if (*input_line_pointer
!= ',')
2035 ++input_line_pointer
;
2036 align
= get_absolute_expression ();
2039 as_warn (_("ignoring bad alignment"));
2045 symbolP
= symbol_find_or_make (name
);
2048 if (S_IS_DEFINED (symbolP
) && ! S_IS_COMMON (symbolP
))
2050 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
2051 S_GET_NAME (symbolP
));
2052 ignore_rest_of_line ();
2056 if (S_GET_VALUE (symbolP
) && S_GET_VALUE (symbolP
) != (valueT
) size
)
2058 as_bad (_("Length of .lcomm \"%s\" is already %ld. Not changed to %ld."),
2059 S_GET_NAME (symbolP
),
2060 (long) S_GET_VALUE (symbolP
),
2063 ignore_rest_of_line ();
2069 old_subsec
= now_subseg
;
2072 /* Convert to a power of 2 alignment. */
2073 for (align2
= 0; (align
& 1) == 0; align
>>= 1, ++align2
);
2076 as_bad (_("Common alignment not a power of 2"));
2077 ignore_rest_of_line ();
2084 record_alignment (bss_section
, align2
);
2085 subseg_set (bss_section
, 0);
2087 frag_align (align2
, 0, 0);
2088 if (S_GET_SEGMENT (symbolP
) == bss_section
)
2089 symbol_get_frag (symbolP
)->fr_symbol
= 0;
2090 symbol_set_frag (symbolP
, frag_now
);
2091 pfrag
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, symbolP
, size
,
2094 S_SET_SIZE (symbolP
, size
);
2095 S_SET_SEGMENT (symbolP
, bss_section
);
2096 subseg_set (old_sec
, old_subsec
);
2097 demand_empty_rest_of_line ();
2100 /* Validate any relocations emitted for -mrelocatable, possibly adding
2101 fixups for word relocations in writable segments, so we can adjust
2104 ppc_elf_validate_fix (fixS
*fixp
, segT seg
)
2106 if (fixp
->fx_done
|| fixp
->fx_pcrel
)
2115 case SHLIB_MRELOCATABLE
:
2116 if (fixp
->fx_r_type
<= BFD_RELOC_UNUSED
2117 && fixp
->fx_r_type
!= BFD_RELOC_16_GOTOFF
2118 && fixp
->fx_r_type
!= BFD_RELOC_HI16_GOTOFF
2119 && fixp
->fx_r_type
!= BFD_RELOC_LO16_GOTOFF
2120 && fixp
->fx_r_type
!= BFD_RELOC_HI16_S_GOTOFF
2121 && fixp
->fx_r_type
!= BFD_RELOC_16_BASEREL
2122 && fixp
->fx_r_type
!= BFD_RELOC_LO16_BASEREL
2123 && fixp
->fx_r_type
!= BFD_RELOC_HI16_BASEREL
2124 && fixp
->fx_r_type
!= BFD_RELOC_HI16_S_BASEREL
2125 && (seg
->flags
& SEC_LOAD
) != 0
2126 && strcmp (segment_name (seg
), ".got2") != 0
2127 && strcmp (segment_name (seg
), ".dtors") != 0
2128 && strcmp (segment_name (seg
), ".ctors") != 0
2129 && strcmp (segment_name (seg
), ".fixup") != 0
2130 && strcmp (segment_name (seg
), ".gcc_except_table") != 0
2131 && strcmp (segment_name (seg
), ".eh_frame") != 0
2132 && strcmp (segment_name (seg
), ".ex_shared") != 0)
2134 if ((seg
->flags
& (SEC_READONLY
| SEC_CODE
)) != 0
2135 || fixp
->fx_r_type
!= BFD_RELOC_CTOR
)
2137 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
2138 _("Relocation cannot be done when using -mrelocatable"));
2145 /* Prevent elf_frob_file_before_adjust removing a weak undefined
2146 function descriptor sym if the corresponding code sym is used. */
2149 ppc_frob_file_before_adjust (void)
2157 for (symp
= symbol_rootP
; symp
; symp
= symbol_next (symp
))
2164 name
= S_GET_NAME (symp
);
2168 if (! S_IS_WEAK (symp
)
2169 || S_IS_DEFINED (symp
))
2172 len
= strlen (name
) + 1;
2173 dotname
= xmalloc (len
+ 1);
2175 memcpy (dotname
+ 1, name
, len
);
2176 dotsym
= symbol_find_noref (dotname
, 1);
2178 if (dotsym
!= NULL
&& (symbol_used_p (dotsym
)
2179 || symbol_used_in_reloc_p (dotsym
)))
2180 symbol_mark_used (symp
);
2184 toc
= bfd_get_section_by_name (stdoutput
, ".toc");
2186 && toc_reloc_types
!= has_large_toc_reloc
2187 && bfd_section_size (stdoutput
, toc
) > 0x10000)
2188 as_warn (_("TOC section size exceeds 64k"));
2190 /* Don't emit .TOC. symbol. */
2191 symp
= symbol_find (".TOC.");
2193 symbol_remove (symp
, &symbol_rootP
, &symbol_lastP
);
2195 #endif /* OBJ_ELF */
2200 * Summary of parse_toc_entry.
2202 * in: Input_line_pointer points to the '[' in one of:
2204 * [toc] [tocv] [toc32] [toc64]
2206 * Anything else is an error of one kind or another.
2209 * return value: success or failure
2210 * toc_kind: kind of toc reference
2211 * input_line_pointer:
2212 * success: first char after the ']'
2213 * failure: unchanged
2217 * [toc] - rv == success, toc_kind = default_toc
2218 * [tocv] - rv == success, toc_kind = data_in_toc
2219 * [toc32] - rv == success, toc_kind = must_be_32
2220 * [toc64] - rv == success, toc_kind = must_be_64
2224 enum toc_size_qualifier
2226 default_toc
, /* The toc cell constructed should be the system default size */
2227 data_in_toc
, /* This is a direct reference to a toc cell */
2228 must_be_32
, /* The toc cell constructed must be 32 bits wide */
2229 must_be_64
/* The toc cell constructed must be 64 bits wide */
2233 parse_toc_entry (enum toc_size_qualifier
*toc_kind
)
2238 enum toc_size_qualifier t
;
2240 /* Save the input_line_pointer. */
2241 start
= input_line_pointer
;
2243 /* Skip over the '[' , and whitespace. */
2244 ++input_line_pointer
;
2247 /* Find the spelling of the operand. */
2248 toc_spec
= input_line_pointer
;
2249 c
= get_symbol_end ();
2251 if (strcmp (toc_spec
, "toc") == 0)
2255 else if (strcmp (toc_spec
, "tocv") == 0)
2259 else if (strcmp (toc_spec
, "toc32") == 0)
2263 else if (strcmp (toc_spec
, "toc64") == 0)
2269 as_bad (_("syntax error: invalid toc specifier `%s'"), toc_spec
);
2270 *input_line_pointer
= c
;
2271 input_line_pointer
= start
;
2275 /* Now find the ']'. */
2276 *input_line_pointer
= c
;
2278 SKIP_WHITESPACE (); /* leading whitespace could be there. */
2279 c
= *input_line_pointer
++; /* input_line_pointer->past char in c. */
2283 as_bad (_("syntax error: expected `]', found `%c'"), c
);
2284 input_line_pointer
= start
;
2295 #define APUID(a,v) ((((a) & 0xffff) << 16) | ((v) & 0xffff))
2297 ppc_apuinfo_section_add (unsigned int apu
, unsigned int version
)
2301 /* Check we don't already exist. */
2302 for (i
= 0; i
< ppc_apuinfo_num
; i
++)
2303 if (ppc_apuinfo_list
[i
] == APUID (apu
, version
))
2306 if (ppc_apuinfo_num
== ppc_apuinfo_num_alloc
)
2308 if (ppc_apuinfo_num_alloc
== 0)
2310 ppc_apuinfo_num_alloc
= 4;
2311 ppc_apuinfo_list
= (unsigned long *)
2312 xmalloc (sizeof (unsigned long) * ppc_apuinfo_num_alloc
);
2316 ppc_apuinfo_num_alloc
+= 4;
2317 ppc_apuinfo_list
= (unsigned long *) xrealloc (ppc_apuinfo_list
,
2318 sizeof (unsigned long) * ppc_apuinfo_num_alloc
);
2321 ppc_apuinfo_list
[ppc_apuinfo_num
++] = APUID (apu
, version
);
2327 /* We need to keep a list of fixups. We can't simply generate them as
2328 we go, because that would require us to first create the frag, and
2329 that would screw up references to ``.''. */
2335 bfd_reloc_code_real_type reloc
;
2338 #define MAX_INSN_FIXUPS (5)
2340 /* This routine is called for each instruction to be assembled. */
2343 md_assemble (char *str
)
2346 const struct powerpc_opcode
*opcode
;
2348 const unsigned char *opindex_ptr
;
2352 struct ppc_fixup fixups
[MAX_INSN_FIXUPS
];
2358 bfd_reloc_code_real_type reloc
;
2361 /* Get the opcode. */
2362 for (s
= str
; *s
!= '\0' && ! ISSPACE (*s
); s
++)
2367 /* Look up the opcode in the hash table. */
2368 opcode
= (const struct powerpc_opcode
*) hash_find (ppc_hash
, str
);
2369 if (opcode
== (const struct powerpc_opcode
*) NULL
)
2371 const struct powerpc_macro
*macro
;
2373 macro
= (const struct powerpc_macro
*) hash_find (ppc_macro_hash
, str
);
2374 if (macro
== (const struct powerpc_macro
*) NULL
)
2375 as_bad (_("Unrecognized opcode: `%s'"), str
);
2377 ppc_macro (s
, macro
);
2382 insn
= opcode
->opcode
;
2385 while (ISSPACE (*str
))
2388 /* PowerPC operands are just expressions. The only real issue is
2389 that a few operand types are optional. All cases which might use
2390 an optional operand separate the operands only with commas (in some
2391 cases parentheses are used, as in ``lwz 1,0(1)'' but such cases never
2392 have optional operands). Most instructions with optional operands
2393 have only one. Those that have more than one optional operand can
2394 take either all their operands or none. So, before we start seriously
2395 parsing the operands, we check to see if we have optional operands,
2396 and if we do, we count the number of commas to see which operands
2397 have been omitted. */
2399 for (opindex_ptr
= opcode
->operands
; *opindex_ptr
!= 0; opindex_ptr
++)
2401 const struct powerpc_operand
*operand
;
2403 operand
= &powerpc_operands
[*opindex_ptr
];
2404 if ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0)
2406 unsigned int opcount
;
2407 unsigned int num_operands_expected
;
2409 /* There is an optional operand. Count the number of
2410 commas in the input line. */
2417 while ((s
= strchr (s
, ',')) != (char *) NULL
)
2424 /* Compute the number of expected operands.
2425 Do not count fake operands. */
2426 for (num_operands_expected
= 0, i
= 0; opcode
->operands
[i
]; i
++)
2427 if ((powerpc_operands
[opcode
->operands
[i
]].flags
& PPC_OPERAND_FAKE
) == 0)
2428 ++ num_operands_expected
;
2430 /* If there are fewer operands in the line then are called
2431 for by the instruction, we want to skip the optional
2433 if (opcount
< num_operands_expected
)
2440 /* Gather the operands. */
2444 for (opindex_ptr
= opcode
->operands
; *opindex_ptr
!= 0; opindex_ptr
++)
2446 const struct powerpc_operand
*operand
;
2452 if (next_opindex
== 0)
2453 operand
= &powerpc_operands
[*opindex_ptr
];
2456 operand
= &powerpc_operands
[next_opindex
];
2461 /* If this is a fake operand, then we do not expect anything
2463 if ((operand
->flags
& PPC_OPERAND_FAKE
) != 0)
2465 insn
= (*operand
->insert
) (insn
, 0L, ppc_cpu
, &errmsg
);
2466 if (errmsg
!= (const char *) NULL
)
2467 as_bad ("%s", errmsg
);
2471 /* If this is an optional operand, and we are skipping it, just
2473 if ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0
2476 if (operand
->insert
)
2478 insn
= (*operand
->insert
) (insn
, 0L, ppc_cpu
, &errmsg
);
2479 if (errmsg
!= (const char *) NULL
)
2480 as_bad ("%s", errmsg
);
2482 if ((operand
->flags
& PPC_OPERAND_NEXT
) != 0)
2483 next_opindex
= *opindex_ptr
+ 1;
2487 /* Gather the operand. */
2488 hold
= input_line_pointer
;
2489 input_line_pointer
= str
;
2492 if (*input_line_pointer
== '[')
2494 /* We are expecting something like the second argument here:
2496 * lwz r4,[toc].GS.0.static_int(rtoc)
2497 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^
2498 * The argument following the `]' must be a symbol name, and the
2499 * register must be the toc register: 'rtoc' or '2'
2501 * The effect is to 0 as the displacement field
2502 * in the instruction, and issue an IMAGE_REL_PPC_TOCREL16 (or
2503 * the appropriate variation) reloc against it based on the symbol.
2504 * The linker will build the toc, and insert the resolved toc offset.
2507 * o The size of the toc entry is currently assumed to be
2508 * 32 bits. This should not be assumed to be a hard coded
2510 * o In an effort to cope with a change from 32 to 64 bits,
2511 * there are also toc entries that are specified to be
2512 * either 32 or 64 bits:
2513 * lwz r4,[toc32].GS.0.static_int(rtoc)
2514 * lwz r4,[toc64].GS.0.static_int(rtoc)
2515 * These demand toc entries of the specified size, and the
2516 * instruction probably requires it.
2520 enum toc_size_qualifier toc_kind
;
2521 bfd_reloc_code_real_type toc_reloc
;
2523 /* Go parse off the [tocXX] part. */
2524 valid_toc
= parse_toc_entry (&toc_kind
);
2528 /* Note: message has already been issued.
2529 FIXME: what sort of recovery should we do?
2530 demand_rest_of_line (); return; ? */
2533 /* Now get the symbol following the ']'. */
2539 /* In this case, we may not have seen the symbol yet,
2540 since it is allowed to appear on a .extern or .globl
2541 or just be a label in the .data section. */
2542 toc_reloc
= BFD_RELOC_PPC_TOC16
;
2545 /* 1. The symbol must be defined and either in the toc
2546 section, or a global.
2547 2. The reloc generated must have the TOCDEFN flag set
2548 in upper bit mess of the reloc type.
2549 FIXME: It's a little confusing what the tocv
2550 qualifier can be used for. At the very least, I've
2551 seen three uses, only one of which I'm sure I can
2553 if (ex
.X_op
== O_symbol
)
2555 gas_assert (ex
.X_add_symbol
!= NULL
);
2556 if (symbol_get_bfdsym (ex
.X_add_symbol
)->section
2559 as_bad (_("[tocv] symbol is not a toc symbol"));
2563 toc_reloc
= BFD_RELOC_PPC_TOC16
;
2566 /* FIXME: these next two specifically specify 32/64 bit
2567 toc entries. We don't support them today. Is this
2568 the right way to say that? */
2569 toc_reloc
= BFD_RELOC_UNUSED
;
2570 as_bad (_("Unimplemented toc32 expression modifier"));
2573 /* FIXME: see above. */
2574 toc_reloc
= BFD_RELOC_UNUSED
;
2575 as_bad (_("Unimplemented toc64 expression modifier"));
2579 _("Unexpected return value [%d] from parse_toc_entry!\n"),
2585 /* We need to generate a fixup for this expression. */
2586 if (fc
>= MAX_INSN_FIXUPS
)
2587 as_fatal (_("too many fixups"));
2589 fixups
[fc
].reloc
= toc_reloc
;
2590 fixups
[fc
].exp
= ex
;
2591 fixups
[fc
].opindex
= *opindex_ptr
;
2594 /* Ok. We've set up the fixup for the instruction. Now make it
2595 look like the constant 0 was found here. */
2597 ex
.X_op
= O_constant
;
2598 ex
.X_add_number
= 0;
2599 ex
.X_add_symbol
= NULL
;
2600 ex
.X_op_symbol
= NULL
;
2606 if ((reg_names_p
&& (operand
->flags
& PPC_OPERAND_CR
) != 0)
2607 || !register_name (&ex
))
2609 char save_lex
= lex_type
['%'];
2611 if ((operand
->flags
& PPC_OPERAND_CR
) != 0)
2614 lex_type
['%'] |= LEX_BEGIN_NAME
;
2618 lex_type
['%'] = save_lex
;
2622 str
= input_line_pointer
;
2623 input_line_pointer
= hold
;
2625 if (ex
.X_op
== O_illegal
)
2626 as_bad (_("illegal operand"));
2627 else if (ex
.X_op
== O_absent
)
2628 as_bad (_("missing operand"));
2629 else if (ex
.X_op
== O_register
)
2631 insn
= ppc_insert_operand (insn
, operand
, ex
.X_add_number
,
2632 ppc_cpu
, (char *) NULL
, 0);
2634 else if (ex
.X_op
== O_constant
)
2637 /* Allow @HA, @L, @H on constants. */
2638 char *orig_str
= str
;
2640 if ((reloc
= ppc_elf_suffix (&str
, &ex
)) != BFD_RELOC_UNUSED
)
2647 case BFD_RELOC_LO16
:
2648 /* X_unsigned is the default, so if the user has done
2649 something which cleared it, we always produce a
2651 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2652 ex
.X_add_number
&= 0xffff;
2654 ex
.X_add_number
= SEX16 (ex
.X_add_number
);
2657 case BFD_RELOC_HI16
:
2658 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2659 ex
.X_add_number
= PPC_HI (ex
.X_add_number
);
2661 ex
.X_add_number
= SEX16 (PPC_HI (ex
.X_add_number
));
2664 case BFD_RELOC_HI16_S
:
2665 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2666 ex
.X_add_number
= PPC_HA (ex
.X_add_number
);
2668 ex
.X_add_number
= SEX16 (PPC_HA (ex
.X_add_number
));
2671 case BFD_RELOC_PPC64_HIGHER
:
2672 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2673 ex
.X_add_number
= PPC_HIGHER (ex
.X_add_number
);
2675 ex
.X_add_number
= SEX16 (PPC_HIGHER (ex
.X_add_number
));
2678 case BFD_RELOC_PPC64_HIGHER_S
:
2679 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2680 ex
.X_add_number
= PPC_HIGHERA (ex
.X_add_number
);
2682 ex
.X_add_number
= SEX16 (PPC_HIGHERA (ex
.X_add_number
));
2685 case BFD_RELOC_PPC64_HIGHEST
:
2686 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2687 ex
.X_add_number
= PPC_HIGHEST (ex
.X_add_number
);
2689 ex
.X_add_number
= SEX16 (PPC_HIGHEST (ex
.X_add_number
));
2692 case BFD_RELOC_PPC64_HIGHEST_S
:
2693 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2694 ex
.X_add_number
= PPC_HIGHESTA (ex
.X_add_number
);
2696 ex
.X_add_number
= SEX16 (PPC_HIGHESTA (ex
.X_add_number
));
2699 #endif /* OBJ_ELF */
2700 insn
= ppc_insert_operand (insn
, operand
, ex
.X_add_number
,
2701 ppc_cpu
, (char *) NULL
, 0);
2706 if (ex
.X_op
== O_symbol
&& str
[0] == '(')
2708 const char *sym_name
= S_GET_NAME (ex
.X_add_symbol
);
2709 if (sym_name
[0] == '.')
2712 if (strcasecmp (sym_name
, "__tls_get_addr") == 0)
2714 expressionS tls_exp
;
2716 hold
= input_line_pointer
;
2717 input_line_pointer
= str
+ 1;
2718 expression (&tls_exp
);
2719 if (tls_exp
.X_op
== O_symbol
)
2721 reloc
= BFD_RELOC_UNUSED
;
2722 if (strncasecmp (input_line_pointer
, "@tlsgd)", 7) == 0)
2724 reloc
= BFD_RELOC_PPC_TLSGD
;
2725 input_line_pointer
+= 7;
2727 else if (strncasecmp (input_line_pointer
, "@tlsld)", 7) == 0)
2729 reloc
= BFD_RELOC_PPC_TLSLD
;
2730 input_line_pointer
+= 7;
2732 if (reloc
!= BFD_RELOC_UNUSED
)
2735 str
= input_line_pointer
;
2737 if (fc
>= MAX_INSN_FIXUPS
)
2738 as_fatal (_("too many fixups"));
2739 fixups
[fc
].exp
= tls_exp
;
2740 fixups
[fc
].opindex
= *opindex_ptr
;
2741 fixups
[fc
].reloc
= reloc
;
2745 input_line_pointer
= hold
;
2749 if ((reloc
= ppc_elf_suffix (&str
, &ex
)) != BFD_RELOC_UNUSED
)
2751 /* Some TLS tweaks. */
2757 case BFD_RELOC_PPC_TLS
:
2758 if (!_bfd_elf_ppc_at_tls_transform (opcode
->opcode
, 0))
2759 as_bad (_("@tls may not be used with \"%s\" operands"),
2761 else if (operand
->shift
!= 11)
2762 as_bad (_("@tls may only be used in last operand"));
2764 insn
= ppc_insert_operand (insn
, operand
,
2766 ppc_cpu
, (char *) NULL
, 0);
2769 /* We'll only use the 32 (or 64) bit form of these relocations
2770 in constants. Instructions get the 16 bit form. */
2771 case BFD_RELOC_PPC_DTPREL
:
2772 reloc
= BFD_RELOC_PPC_DTPREL16
;
2774 case BFD_RELOC_PPC_TPREL
:
2775 reloc
= BFD_RELOC_PPC_TPREL16
;
2779 /* For the absolute forms of branches, convert the PC
2780 relative form back into the absolute. */
2781 if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0)
2785 case BFD_RELOC_PPC_B26
:
2786 reloc
= BFD_RELOC_PPC_BA26
;
2788 case BFD_RELOC_PPC_B16
:
2789 reloc
= BFD_RELOC_PPC_BA16
;
2791 case BFD_RELOC_PPC_B16_BRTAKEN
:
2792 reloc
= BFD_RELOC_PPC_BA16_BRTAKEN
;
2794 case BFD_RELOC_PPC_B16_BRNTAKEN
:
2795 reloc
= BFD_RELOC_PPC_BA16_BRNTAKEN
;
2804 case BFD_RELOC_PPC_TOC16
:
2805 toc_reloc_types
|= has_small_toc_reloc
;
2807 case BFD_RELOC_PPC64_TOC16_LO
:
2808 case BFD_RELOC_PPC64_TOC16_HI
:
2809 case BFD_RELOC_PPC64_TOC16_HA
:
2810 toc_reloc_types
|= has_large_toc_reloc
;
2817 && (operand
->flags
& (PPC_OPERAND_DS
| PPC_OPERAND_DQ
)) != 0)
2822 reloc
= BFD_RELOC_PPC64_ADDR16_DS
;
2824 case BFD_RELOC_LO16
:
2825 reloc
= BFD_RELOC_PPC64_ADDR16_LO_DS
;
2827 case BFD_RELOC_16_GOTOFF
:
2828 reloc
= BFD_RELOC_PPC64_GOT16_DS
;
2830 case BFD_RELOC_LO16_GOTOFF
:
2831 reloc
= BFD_RELOC_PPC64_GOT16_LO_DS
;
2833 case BFD_RELOC_LO16_PLTOFF
:
2834 reloc
= BFD_RELOC_PPC64_PLT16_LO_DS
;
2836 case BFD_RELOC_16_BASEREL
:
2837 reloc
= BFD_RELOC_PPC64_SECTOFF_DS
;
2839 case BFD_RELOC_LO16_BASEREL
:
2840 reloc
= BFD_RELOC_PPC64_SECTOFF_LO_DS
;
2842 case BFD_RELOC_PPC_TOC16
:
2843 reloc
= BFD_RELOC_PPC64_TOC16_DS
;
2845 case BFD_RELOC_PPC64_TOC16_LO
:
2846 reloc
= BFD_RELOC_PPC64_TOC16_LO_DS
;
2848 case BFD_RELOC_PPC64_PLTGOT16
:
2849 reloc
= BFD_RELOC_PPC64_PLTGOT16_DS
;
2851 case BFD_RELOC_PPC64_PLTGOT16_LO
:
2852 reloc
= BFD_RELOC_PPC64_PLTGOT16_LO_DS
;
2854 case BFD_RELOC_PPC_DTPREL16
:
2855 reloc
= BFD_RELOC_PPC64_DTPREL16_DS
;
2857 case BFD_RELOC_PPC_DTPREL16_LO
:
2858 reloc
= BFD_RELOC_PPC64_DTPREL16_LO_DS
;
2860 case BFD_RELOC_PPC_TPREL16
:
2861 reloc
= BFD_RELOC_PPC64_TPREL16_DS
;
2863 case BFD_RELOC_PPC_TPREL16_LO
:
2864 reloc
= BFD_RELOC_PPC64_TPREL16_LO_DS
;
2866 case BFD_RELOC_PPC_GOT_DTPREL16
:
2867 case BFD_RELOC_PPC_GOT_DTPREL16_LO
:
2868 case BFD_RELOC_PPC_GOT_TPREL16
:
2869 case BFD_RELOC_PPC_GOT_TPREL16_LO
:
2872 as_bad (_("unsupported relocation for DS offset field"));
2878 /* We need to generate a fixup for this expression. */
2879 if (fc
>= MAX_INSN_FIXUPS
)
2880 as_fatal (_("too many fixups"));
2881 fixups
[fc
].exp
= ex
;
2882 fixups
[fc
].opindex
= *opindex_ptr
;
2883 fixups
[fc
].reloc
= reloc
;
2889 /* We need to generate a fixup for this expression. */
2890 if (fc
>= MAX_INSN_FIXUPS
)
2891 as_fatal (_("too many fixups"));
2892 fixups
[fc
].exp
= ex
;
2893 fixups
[fc
].opindex
= *opindex_ptr
;
2894 fixups
[fc
].reloc
= BFD_RELOC_UNUSED
;
2897 #endif /* OBJ_ELF */
2903 /* If expecting more operands, then we want to see "),". */
2904 if (*str
== endc
&& opindex_ptr
[1] != 0)
2908 while (ISSPACE (*str
));
2912 else if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0)
2920 /* The call to expression should have advanced str past any
2923 && (endc
!= ',' || *str
!= '\0'))
2926 as_bad (_("syntax error; end of line, expected `%c'"), endc
);
2928 as_bad (_("syntax error; found `%c', expected `%c'"), *str
, endc
);
2936 while (ISSPACE (*str
))
2940 as_bad (_("junk at end of line: `%s'"), str
);
2943 /* Do we need/want a APUinfo section? */
2944 if ((ppc_cpu
& (PPC_OPCODE_E500
| PPC_OPCODE_E500MC
)) != 0)
2946 /* These are all version "1". */
2947 if (opcode
->flags
& PPC_OPCODE_SPE
)
2948 ppc_apuinfo_section_add (PPC_APUINFO_SPE
, 1);
2949 if (opcode
->flags
& PPC_OPCODE_ISEL
)
2950 ppc_apuinfo_section_add (PPC_APUINFO_ISEL
, 1);
2951 if (opcode
->flags
& PPC_OPCODE_EFS
)
2952 ppc_apuinfo_section_add (PPC_APUINFO_EFS
, 1);
2953 if (opcode
->flags
& PPC_OPCODE_BRLOCK
)
2954 ppc_apuinfo_section_add (PPC_APUINFO_BRLOCK
, 1);
2955 if (opcode
->flags
& PPC_OPCODE_PMR
)
2956 ppc_apuinfo_section_add (PPC_APUINFO_PMR
, 1);
2957 if (opcode
->flags
& PPC_OPCODE_CACHELCK
)
2958 ppc_apuinfo_section_add (PPC_APUINFO_CACHELCK
, 1);
2959 if (opcode
->flags
& PPC_OPCODE_RFMCI
)
2960 ppc_apuinfo_section_add (PPC_APUINFO_RFMCI
, 1);
2964 /* Write out the instruction. */
2966 addr_mod
= frag_now_fix () & 3;
2967 if (frag_now
->has_code
&& frag_now
->insn_addr
!= addr_mod
)
2968 as_bad (_("instruction address is not a multiple of 4"));
2969 frag_now
->insn_addr
= addr_mod
;
2970 frag_now
->has_code
= 1;
2971 md_number_to_chars (f
, insn
, 4);
2974 dwarf2_emit_insn (4);
2977 /* Create any fixups. At this point we do not use a
2978 bfd_reloc_code_real_type, but instead just use the
2979 BFD_RELOC_UNUSED plus the operand index. This lets us easily
2980 handle fixups for any operand type, although that is admittedly
2981 not a very exciting feature. We pick a BFD reloc type in
2983 for (i
= 0; i
< fc
; i
++)
2985 if (fixups
[i
].reloc
!= BFD_RELOC_UNUSED
)
2987 reloc_howto_type
*reloc_howto
;
2992 reloc_howto
= bfd_reloc_type_lookup (stdoutput
, fixups
[i
].reloc
);
2996 size
= bfd_get_reloc_size (reloc_howto
);
2997 offset
= target_big_endian
? (4 - size
) : 0;
2999 if (size
< 1 || size
> 4)
3002 fixP
= fix_new_exp (frag_now
,
3003 f
- frag_now
->fr_literal
+ offset
,
3006 reloc_howto
->pc_relative
,
3009 /* Turn off complaints that the addend is too large for things like
3011 switch (fixups
[i
].reloc
)
3013 case BFD_RELOC_16_GOTOFF
:
3014 case BFD_RELOC_PPC_TOC16
:
3015 case BFD_RELOC_LO16
:
3016 case BFD_RELOC_HI16
:
3017 case BFD_RELOC_HI16_S
:
3019 case BFD_RELOC_PPC64_HIGHER
:
3020 case BFD_RELOC_PPC64_HIGHER_S
:
3021 case BFD_RELOC_PPC64_HIGHEST
:
3022 case BFD_RELOC_PPC64_HIGHEST_S
:
3024 fixP
->fx_no_overflow
= 1;
3032 const struct powerpc_operand
*operand
;
3034 operand
= &powerpc_operands
[fixups
[i
].opindex
];
3035 fix_new_exp (frag_now
,
3036 f
- frag_now
->fr_literal
,
3039 (operand
->flags
& PPC_OPERAND_RELATIVE
) != 0,
3040 ((bfd_reloc_code_real_type
)
3041 (fixups
[i
].opindex
+ (int) BFD_RELOC_UNUSED
)));
3046 /* Handle a macro. Gather all the operands, transform them as
3047 described by the macro, and call md_assemble recursively. All the
3048 operands are separated by commas; we don't accept parentheses
3049 around operands here. */
3052 ppc_macro (char *str
, const struct powerpc_macro
*macro
)
3063 /* Gather the users operands into the operands array. */
3068 if (count
>= sizeof operands
/ sizeof operands
[0])
3070 operands
[count
++] = s
;
3071 s
= strchr (s
, ',');
3072 if (s
== (char *) NULL
)
3077 if (count
!= macro
->operands
)
3079 as_bad (_("wrong number of operands"));
3083 /* Work out how large the string must be (the size is unbounded
3084 because it includes user input). */
3086 format
= macro
->format
;
3087 while (*format
!= '\0')
3096 arg
= strtol (format
+ 1, &send
, 10);
3097 know (send
!= format
&& arg
< count
);
3098 len
+= strlen (operands
[arg
]);
3103 /* Put the string together. */
3104 complete
= s
= (char *) alloca (len
+ 1);
3105 format
= macro
->format
;
3106 while (*format
!= '\0')
3112 arg
= strtol (format
+ 1, &send
, 10);
3113 strcpy (s
, operands
[arg
]);
3120 /* Assemble the constructed instruction. */
3121 md_assemble (complete
);
3125 /* For ELF, add support for SHT_ORDERED. */
3128 ppc_section_type (char *str
, size_t len
)
3130 if (len
== 7 && strncmp (str
, "ordered", 7) == 0)
3137 ppc_section_flags (flagword flags
, bfd_vma attr ATTRIBUTE_UNUSED
, int type
)
3139 if (type
== SHT_ORDERED
)
3140 flags
|= SEC_ALLOC
| SEC_LOAD
| SEC_SORT_ENTRIES
;
3144 #endif /* OBJ_ELF */
3147 /* Pseudo-op handling. */
3149 /* The .byte pseudo-op. This is similar to the normal .byte
3150 pseudo-op, but it can also take a single ASCII string. */
3153 ppc_byte (int ignore ATTRIBUTE_UNUSED
)
3155 if (*input_line_pointer
!= '\"')
3161 /* Gather characters. A real double quote is doubled. Unusual
3162 characters are not permitted. */
3163 ++input_line_pointer
;
3168 c
= *input_line_pointer
++;
3172 if (*input_line_pointer
!= '\"')
3174 ++input_line_pointer
;
3177 FRAG_APPEND_1_CHAR (c
);
3180 demand_empty_rest_of_line ();
3185 /* XCOFF specific pseudo-op handling. */
3187 /* This is set if we are creating a .stabx symbol, since we don't want
3188 to handle symbol suffixes for such symbols. */
3189 static bfd_boolean ppc_stab_symbol
;
3191 /* The .comm and .lcomm pseudo-ops for XCOFF. XCOFF puts common
3192 symbols in the .bss segment as though they were local common
3193 symbols, and uses a different smclas. The native Aix 4.3.3 assembler
3194 aligns .comm and .lcomm to 4 bytes. */
3197 ppc_comm (int lcomm
)
3199 asection
*current_seg
= now_seg
;
3200 subsegT current_subseg
= now_subseg
;
3206 symbolS
*lcomm_sym
= NULL
;
3210 name
= input_line_pointer
;
3211 endc
= get_symbol_end ();
3212 end_name
= input_line_pointer
;
3215 if (*input_line_pointer
!= ',')
3217 as_bad (_("missing size"));
3218 ignore_rest_of_line ();
3221 ++input_line_pointer
;
3223 size
= get_absolute_expression ();
3226 as_bad (_("negative size"));
3227 ignore_rest_of_line ();
3233 /* The third argument to .comm is the alignment. */
3234 if (*input_line_pointer
!= ',')
3238 ++input_line_pointer
;
3239 align
= get_absolute_expression ();
3242 as_warn (_("ignoring bad alignment"));
3257 /* The third argument to .lcomm appears to be the real local
3258 common symbol to create. References to the symbol named in
3259 the first argument are turned into references to the third
3261 if (*input_line_pointer
!= ',')
3263 as_bad (_("missing real symbol name"));
3264 ignore_rest_of_line ();
3267 ++input_line_pointer
;
3269 lcomm_name
= input_line_pointer
;
3270 lcomm_endc
= get_symbol_end ();
3272 lcomm_sym
= symbol_find_or_make (lcomm_name
);
3274 *input_line_pointer
= lcomm_endc
;
3278 sym
= symbol_find_or_make (name
);
3281 if (S_IS_DEFINED (sym
)
3282 || S_GET_VALUE (sym
) != 0)
3284 as_bad (_("attempt to redefine symbol"));
3285 ignore_rest_of_line ();
3289 record_alignment (bss_section
, align
);
3292 || ! S_IS_DEFINED (lcomm_sym
))
3301 S_SET_EXTERNAL (sym
);
3305 symbol_get_tc (lcomm_sym
)->output
= 1;
3306 def_sym
= lcomm_sym
;
3310 subseg_set (bss_section
, 1);
3311 frag_align (align
, 0, 0);
3313 symbol_set_frag (def_sym
, frag_now
);
3314 pfrag
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, def_sym
,
3315 def_size
, (char *) NULL
);
3317 S_SET_SEGMENT (def_sym
, bss_section
);
3318 symbol_get_tc (def_sym
)->align
= align
;
3322 /* Align the size of lcomm_sym. */
3323 symbol_get_frag (lcomm_sym
)->fr_offset
=
3324 ((symbol_get_frag (lcomm_sym
)->fr_offset
+ (1 << align
) - 1)
3325 &~ ((1 << align
) - 1));
3326 if (align
> symbol_get_tc (lcomm_sym
)->align
)
3327 symbol_get_tc (lcomm_sym
)->align
= align
;
3332 /* Make sym an offset from lcomm_sym. */
3333 S_SET_SEGMENT (sym
, bss_section
);
3334 symbol_set_frag (sym
, symbol_get_frag (lcomm_sym
));
3335 S_SET_VALUE (sym
, symbol_get_frag (lcomm_sym
)->fr_offset
);
3336 symbol_get_frag (lcomm_sym
)->fr_offset
+= size
;
3339 subseg_set (current_seg
, current_subseg
);
3341 demand_empty_rest_of_line ();
3344 /* The .csect pseudo-op. This switches us into a different
3345 subsegment. The first argument is a symbol whose value is the
3346 start of the .csect. In COFF, csect symbols get special aux
3347 entries defined by the x_csect field of union internal_auxent. The
3348 optional second argument is the alignment (the default is 2). */
3351 ppc_csect (int ignore ATTRIBUTE_UNUSED
)
3358 name
= input_line_pointer
;
3359 endc
= get_symbol_end ();
3361 sym
= symbol_find_or_make (name
);
3363 *input_line_pointer
= endc
;
3365 if (S_GET_NAME (sym
)[0] == '\0')
3367 /* An unnamed csect is assumed to be [PR]. */
3368 symbol_get_tc (sym
)->symbol_class
= XMC_PR
;
3372 if (*input_line_pointer
== ',')
3374 ++input_line_pointer
;
3375 align
= get_absolute_expression ();
3378 ppc_change_csect (sym
, align
);
3380 demand_empty_rest_of_line ();
3383 /* Change to a different csect. */
3386 ppc_change_csect (symbolS
*sym
, offsetT align
)
3388 if (S_IS_DEFINED (sym
))
3389 subseg_set (S_GET_SEGMENT (sym
), symbol_get_tc (sym
)->subseg
);
3399 /* This is a new csect. We need to look at the symbol class to
3400 figure out whether it should go in the text section or the
3404 switch (symbol_get_tc (sym
)->symbol_class
)
3414 S_SET_SEGMENT (sym
, text_section
);
3415 symbol_get_tc (sym
)->subseg
= ppc_text_subsegment
;
3416 ++ppc_text_subsegment
;
3417 list_ptr
= &ppc_text_csects
;
3427 if (ppc_toc_csect
!= NULL
3428 && (symbol_get_tc (ppc_toc_csect
)->subseg
+ 1
3429 == ppc_data_subsegment
))
3431 S_SET_SEGMENT (sym
, data_section
);
3432 symbol_get_tc (sym
)->subseg
= ppc_data_subsegment
;
3433 ++ppc_data_subsegment
;
3434 list_ptr
= &ppc_data_csects
;
3440 /* We set the obstack chunk size to a small value before
3441 changing subsegments, so that we don't use a lot of memory
3442 space for what may be a small section. */
3443 hold_chunksize
= chunksize
;
3446 sec
= subseg_new (segment_name (S_GET_SEGMENT (sym
)),
3447 symbol_get_tc (sym
)->subseg
);
3449 chunksize
= hold_chunksize
;
3452 ppc_after_toc_frag
= frag_now
;
3454 record_alignment (sec
, align
);
3456 frag_align_code (align
, 0);
3458 frag_align (align
, 0, 0);
3460 symbol_set_frag (sym
, frag_now
);
3461 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
3463 symbol_get_tc (sym
)->align
= align
;
3464 symbol_get_tc (sym
)->output
= 1;
3465 symbol_get_tc (sym
)->within
= sym
;
3467 for (list
= *list_ptr
;
3468 symbol_get_tc (list
)->next
!= (symbolS
*) NULL
;
3469 list
= symbol_get_tc (list
)->next
)
3471 symbol_get_tc (list
)->next
= sym
;
3473 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3474 symbol_append (sym
, symbol_get_tc (list
)->within
, &symbol_rootP
,
3478 ppc_current_csect
= sym
;
3481 /* This function handles the .text and .data pseudo-ops. These
3482 pseudo-ops aren't really used by XCOFF; we implement them for the
3483 convenience of people who aren't used to XCOFF. */
3486 ppc_section (int type
)
3493 else if (type
== 'd')
3498 sym
= symbol_find_or_make (name
);
3500 ppc_change_csect (sym
, 2);
3502 demand_empty_rest_of_line ();
3505 /* This function handles the .section pseudo-op. This is mostly to
3506 give an error, since XCOFF only supports .text, .data and .bss, but
3507 we do permit the user to name the text or data section. */
3510 ppc_named_section (int ignore ATTRIBUTE_UNUSED
)
3513 const char *real_name
;
3517 user_name
= input_line_pointer
;
3518 c
= get_symbol_end ();
3520 if (strcmp (user_name
, ".text") == 0)
3521 real_name
= ".text[PR]";
3522 else if (strcmp (user_name
, ".data") == 0)
3523 real_name
= ".data[RW]";
3526 as_bad (_("The XCOFF file format does not support arbitrary sections"));
3527 *input_line_pointer
= c
;
3528 ignore_rest_of_line ();
3532 *input_line_pointer
= c
;
3534 sym
= symbol_find_or_make (real_name
);
3536 ppc_change_csect (sym
, 2);
3538 demand_empty_rest_of_line ();
3541 /* The .extern pseudo-op. We create an undefined symbol. */
3544 ppc_extern (int ignore ATTRIBUTE_UNUSED
)
3549 name
= input_line_pointer
;
3550 endc
= get_symbol_end ();
3552 (void) symbol_find_or_make (name
);
3554 *input_line_pointer
= endc
;
3556 demand_empty_rest_of_line ();
3559 /* The .lglobl pseudo-op. Keep the symbol in the symbol table. */
3562 ppc_lglobl (int ignore ATTRIBUTE_UNUSED
)
3568 name
= input_line_pointer
;
3569 endc
= get_symbol_end ();
3571 sym
= symbol_find_or_make (name
);
3573 *input_line_pointer
= endc
;
3575 symbol_get_tc (sym
)->output
= 1;
3577 demand_empty_rest_of_line ();
3580 /* The .ref pseudo-op. It takes a list of symbol names and inserts R_REF
3581 relocations at the beginning of the current csect.
3583 (In principle, there's no reason why the relocations _have_ to be at
3584 the beginning. Anywhere in the csect would do. However, inserting
3585 at the beginning is what the native assmebler does, and it helps to
3586 deal with cases where the .ref statements follow the section contents.)
3588 ??? .refs don't work for empty .csects. However, the native assembler
3589 doesn't report an error in this case, and neither yet do we. */
3592 ppc_ref (int ignore ATTRIBUTE_UNUSED
)
3597 if (ppc_current_csect
== NULL
)
3599 as_bad (_(".ref outside .csect"));
3600 ignore_rest_of_line ();
3606 name
= input_line_pointer
;
3607 c
= get_symbol_end ();
3609 fix_at_start (symbol_get_frag (ppc_current_csect
), 0,
3610 symbol_find_or_make (name
), 0, FALSE
, BFD_RELOC_NONE
);
3612 *input_line_pointer
= c
;
3614 c
= *input_line_pointer
;
3617 input_line_pointer
++;
3619 if (is_end_of_line
[(unsigned char) *input_line_pointer
])
3621 as_bad (_("missing symbol name"));
3622 ignore_rest_of_line ();
3629 demand_empty_rest_of_line ();
3632 /* The .rename pseudo-op. The RS/6000 assembler can rename symbols,
3633 although I don't know why it bothers. */
3636 ppc_rename (int ignore ATTRIBUTE_UNUSED
)
3643 name
= input_line_pointer
;
3644 endc
= get_symbol_end ();
3646 sym
= symbol_find_or_make (name
);
3648 *input_line_pointer
= endc
;
3650 if (*input_line_pointer
!= ',')
3652 as_bad (_("missing rename string"));
3653 ignore_rest_of_line ();
3656 ++input_line_pointer
;
3658 symbol_get_tc (sym
)->real_name
= demand_copy_C_string (&len
);
3660 demand_empty_rest_of_line ();
3663 /* The .stabx pseudo-op. This is similar to a normal .stabs
3664 pseudo-op, but slightly different. A sample is
3665 .stabx "main:F-1",.main,142,0
3666 The first argument is the symbol name to create. The second is the
3667 value, and the third is the storage class. The fourth seems to be
3668 always zero, and I am assuming it is the type. */
3671 ppc_stabx (int ignore ATTRIBUTE_UNUSED
)
3678 name
= demand_copy_C_string (&len
);
3680 if (*input_line_pointer
!= ',')
3682 as_bad (_("missing value"));
3685 ++input_line_pointer
;
3687 ppc_stab_symbol
= TRUE
;
3688 sym
= symbol_make (name
);
3689 ppc_stab_symbol
= FALSE
;
3691 symbol_get_tc (sym
)->real_name
= name
;
3693 (void) expression (&exp
);
3700 as_bad (_("illegal .stabx expression; zero assumed"));
3701 exp
.X_add_number
= 0;
3704 S_SET_VALUE (sym
, (valueT
) exp
.X_add_number
);
3705 symbol_set_frag (sym
, &zero_address_frag
);
3709 if (S_GET_SEGMENT (exp
.X_add_symbol
) == undefined_section
)
3710 symbol_set_value_expression (sym
, &exp
);
3714 exp
.X_add_number
+ S_GET_VALUE (exp
.X_add_symbol
));
3715 symbol_set_frag (sym
, symbol_get_frag (exp
.X_add_symbol
));
3720 /* The value is some complex expression. This will probably
3721 fail at some later point, but this is probably the right
3722 thing to do here. */
3723 symbol_set_value_expression (sym
, &exp
);
3727 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
3728 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3730 if (*input_line_pointer
!= ',')
3732 as_bad (_("missing class"));
3735 ++input_line_pointer
;
3737 S_SET_STORAGE_CLASS (sym
, get_absolute_expression ());
3739 if (*input_line_pointer
!= ',')
3741 as_bad (_("missing type"));
3744 ++input_line_pointer
;
3746 S_SET_DATA_TYPE (sym
, get_absolute_expression ());
3748 symbol_get_tc (sym
)->output
= 1;
3750 if (S_GET_STORAGE_CLASS (sym
) == C_STSYM
)
3755 .stabx "z",arrays_,133,0
3758 .comm arrays_,13768,3
3760 resolve_symbol_value will copy the exp's "within" into sym's when the
3761 offset is 0. Since this seems to be corner case problem,
3762 only do the correction for storage class C_STSYM. A better solution
3763 would be to have the tc field updated in ppc_symbol_new_hook. */
3765 if (exp
.X_op
== O_symbol
)
3767 if (ppc_current_block
== NULL
)
3768 as_bad (_(".stabx of storage class stsym must be within .bs/.es"));
3770 symbol_get_tc (sym
)->within
= ppc_current_block
;
3771 symbol_get_tc (exp
.X_add_symbol
)->within
= ppc_current_block
;
3775 if (exp
.X_op
!= O_symbol
3776 || ! S_IS_EXTERNAL (exp
.X_add_symbol
)
3777 || S_GET_SEGMENT (exp
.X_add_symbol
) != bss_section
)
3778 ppc_frob_label (sym
);
3781 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3782 symbol_append (sym
, exp
.X_add_symbol
, &symbol_rootP
, &symbol_lastP
);
3783 if (symbol_get_tc (ppc_current_csect
)->within
== exp
.X_add_symbol
)
3784 symbol_get_tc (ppc_current_csect
)->within
= sym
;
3787 demand_empty_rest_of_line ();
3790 /* The .function pseudo-op. This takes several arguments. The first
3791 argument seems to be the external name of the symbol. The second
3792 argument seems to be the label for the start of the function. gcc
3793 uses the same name for both. I have no idea what the third and
3794 fourth arguments are meant to be. The optional fifth argument is
3795 an expression for the size of the function. In COFF this symbol
3796 gets an aux entry like that used for a csect. */
3799 ppc_function (int ignore ATTRIBUTE_UNUSED
)
3807 name
= input_line_pointer
;
3808 endc
= get_symbol_end ();
3810 /* Ignore any [PR] suffix. */
3811 name
= ppc_canonicalize_symbol_name (name
);
3812 s
= strchr (name
, '[');
3813 if (s
!= (char *) NULL
3814 && strcmp (s
+ 1, "PR]") == 0)
3817 ext_sym
= symbol_find_or_make (name
);
3819 *input_line_pointer
= endc
;
3821 if (*input_line_pointer
!= ',')
3823 as_bad (_("missing symbol name"));
3824 ignore_rest_of_line ();
3827 ++input_line_pointer
;
3829 name
= input_line_pointer
;
3830 endc
= get_symbol_end ();
3832 lab_sym
= symbol_find_or_make (name
);
3834 *input_line_pointer
= endc
;
3836 if (ext_sym
!= lab_sym
)
3840 exp
.X_op
= O_symbol
;
3841 exp
.X_add_symbol
= lab_sym
;
3842 exp
.X_op_symbol
= NULL
;
3843 exp
.X_add_number
= 0;
3845 symbol_set_value_expression (ext_sym
, &exp
);
3848 if (symbol_get_tc (ext_sym
)->symbol_class
== -1)
3849 symbol_get_tc (ext_sym
)->symbol_class
= XMC_PR
;
3850 symbol_get_tc (ext_sym
)->output
= 1;
3852 if (*input_line_pointer
== ',')
3856 /* Ignore the third argument. */
3857 ++input_line_pointer
;
3859 if (*input_line_pointer
== ',')
3861 /* Ignore the fourth argument. */
3862 ++input_line_pointer
;
3864 if (*input_line_pointer
== ',')
3866 /* The fifth argument is the function size. */
3867 ++input_line_pointer
;
3868 symbol_get_tc (ext_sym
)->size
= symbol_new ("L0\001",
3871 &zero_address_frag
);
3872 pseudo_set (symbol_get_tc (ext_sym
)->size
);
3877 S_SET_DATA_TYPE (ext_sym
, DT_FCN
<< N_BTSHFT
);
3878 SF_SET_FUNCTION (ext_sym
);
3879 SF_SET_PROCESS (ext_sym
);
3880 coff_add_linesym (ext_sym
);
3882 demand_empty_rest_of_line ();
3885 /* The .bf pseudo-op. This is just like a COFF C_FCN symbol named
3886 ".bf". If the pseudo op .bi was seen before .bf, patch the .bi sym
3887 with the correct line number */
3889 static symbolS
*saved_bi_sym
= 0;
3892 ppc_bf (int ignore ATTRIBUTE_UNUSED
)
3896 sym
= symbol_make (".bf");
3897 S_SET_SEGMENT (sym
, text_section
);
3898 symbol_set_frag (sym
, frag_now
);
3899 S_SET_VALUE (sym
, frag_now_fix ());
3900 S_SET_STORAGE_CLASS (sym
, C_FCN
);
3902 coff_line_base
= get_absolute_expression ();
3904 S_SET_NUMBER_AUXILIARY (sym
, 1);
3905 SA_SET_SYM_LNNO (sym
, coff_line_base
);
3907 /* Line number for bi. */
3910 S_SET_VALUE (saved_bi_sym
, coff_n_line_nos
);
3915 symbol_get_tc (sym
)->output
= 1;
3917 ppc_frob_label (sym
);
3919 demand_empty_rest_of_line ();
3922 /* The .ef pseudo-op. This is just like a COFF C_FCN symbol named
3923 ".ef", except that the line number is absolute, not relative to the
3924 most recent ".bf" symbol. */
3927 ppc_ef (int ignore ATTRIBUTE_UNUSED
)
3931 sym
= symbol_make (".ef");
3932 S_SET_SEGMENT (sym
, text_section
);
3933 symbol_set_frag (sym
, frag_now
);
3934 S_SET_VALUE (sym
, frag_now_fix ());
3935 S_SET_STORAGE_CLASS (sym
, C_FCN
);
3936 S_SET_NUMBER_AUXILIARY (sym
, 1);
3937 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
3938 symbol_get_tc (sym
)->output
= 1;
3940 ppc_frob_label (sym
);
3942 demand_empty_rest_of_line ();
3945 /* The .bi and .ei pseudo-ops. These take a string argument and
3946 generates a C_BINCL or C_EINCL symbol, which goes at the start of
3947 the symbol list. The value of .bi will be know when the next .bf
3953 static symbolS
*last_biei
;
3960 name
= demand_copy_C_string (&len
);
3962 /* The value of these symbols is actually file offset. Here we set
3963 the value to the index into the line number entries. In
3964 ppc_frob_symbols we set the fix_line field, which will cause BFD
3965 to do the right thing. */
3967 sym
= symbol_make (name
);
3968 /* obj-coff.c currently only handles line numbers correctly in the
3970 S_SET_SEGMENT (sym
, text_section
);
3971 S_SET_VALUE (sym
, coff_n_line_nos
);
3972 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3974 S_SET_STORAGE_CLASS (sym
, ei
? C_EINCL
: C_BINCL
);
3975 symbol_get_tc (sym
)->output
= 1;
3983 for (look
= last_biei
? last_biei
: symbol_rootP
;
3984 (look
!= (symbolS
*) NULL
3985 && (S_GET_STORAGE_CLASS (look
) == C_FILE
3986 || S_GET_STORAGE_CLASS (look
) == C_BINCL
3987 || S_GET_STORAGE_CLASS (look
) == C_EINCL
));
3988 look
= symbol_next (look
))
3990 if (look
!= (symbolS
*) NULL
)
3992 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3993 symbol_insert (sym
, look
, &symbol_rootP
, &symbol_lastP
);
3997 demand_empty_rest_of_line ();
4000 /* The .bs pseudo-op. This generates a C_BSTAT symbol named ".bs".
4001 There is one argument, which is a csect symbol. The value of the
4002 .bs symbol is the index of this csect symbol. */
4005 ppc_bs (int ignore ATTRIBUTE_UNUSED
)
4012 if (ppc_current_block
!= NULL
)
4013 as_bad (_("nested .bs blocks"));
4015 name
= input_line_pointer
;
4016 endc
= get_symbol_end ();
4018 csect
= symbol_find_or_make (name
);
4020 *input_line_pointer
= endc
;
4022 sym
= symbol_make (".bs");
4023 S_SET_SEGMENT (sym
, now_seg
);
4024 S_SET_STORAGE_CLASS (sym
, C_BSTAT
);
4025 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4026 symbol_get_tc (sym
)->output
= 1;
4028 symbol_get_tc (sym
)->within
= csect
;
4030 ppc_frob_label (sym
);
4032 ppc_current_block
= sym
;
4034 demand_empty_rest_of_line ();
4037 /* The .es pseudo-op. Generate a C_ESTART symbol named .es. */
4040 ppc_es (int ignore ATTRIBUTE_UNUSED
)
4044 if (ppc_current_block
== NULL
)
4045 as_bad (_(".es without preceding .bs"));
4047 sym
= symbol_make (".es");
4048 S_SET_SEGMENT (sym
, now_seg
);
4049 S_SET_STORAGE_CLASS (sym
, C_ESTAT
);
4050 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4051 symbol_get_tc (sym
)->output
= 1;
4053 ppc_frob_label (sym
);
4055 ppc_current_block
= NULL
;
4057 demand_empty_rest_of_line ();
4060 /* The .bb pseudo-op. Generate a C_BLOCK symbol named .bb, with a
4064 ppc_bb (int ignore ATTRIBUTE_UNUSED
)
4068 sym
= symbol_make (".bb");
4069 S_SET_SEGMENT (sym
, text_section
);
4070 symbol_set_frag (sym
, frag_now
);
4071 S_SET_VALUE (sym
, frag_now_fix ());
4072 S_SET_STORAGE_CLASS (sym
, C_BLOCK
);
4074 S_SET_NUMBER_AUXILIARY (sym
, 1);
4075 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
4077 symbol_get_tc (sym
)->output
= 1;
4079 SF_SET_PROCESS (sym
);
4081 ppc_frob_label (sym
);
4083 demand_empty_rest_of_line ();
4086 /* The .eb pseudo-op. Generate a C_BLOCK symbol named .eb, with a
4090 ppc_eb (int ignore ATTRIBUTE_UNUSED
)
4094 sym
= symbol_make (".eb");
4095 S_SET_SEGMENT (sym
, text_section
);
4096 symbol_set_frag (sym
, frag_now
);
4097 S_SET_VALUE (sym
, frag_now_fix ());
4098 S_SET_STORAGE_CLASS (sym
, C_BLOCK
);
4099 S_SET_NUMBER_AUXILIARY (sym
, 1);
4100 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
4101 symbol_get_tc (sym
)->output
= 1;
4103 SF_SET_PROCESS (sym
);
4105 ppc_frob_label (sym
);
4107 demand_empty_rest_of_line ();
4110 /* The .bc pseudo-op. This just creates a C_BCOMM symbol with a
4114 ppc_bc (int ignore ATTRIBUTE_UNUSED
)
4120 name
= demand_copy_C_string (&len
);
4121 sym
= symbol_make (name
);
4122 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
4123 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4124 S_SET_STORAGE_CLASS (sym
, C_BCOMM
);
4125 S_SET_VALUE (sym
, 0);
4126 symbol_get_tc (sym
)->output
= 1;
4128 ppc_frob_label (sym
);
4130 demand_empty_rest_of_line ();
4133 /* The .ec pseudo-op. This just creates a C_ECOMM symbol. */
4136 ppc_ec (int ignore ATTRIBUTE_UNUSED
)
4140 sym
= symbol_make (".ec");
4141 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
4142 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4143 S_SET_STORAGE_CLASS (sym
, C_ECOMM
);
4144 S_SET_VALUE (sym
, 0);
4145 symbol_get_tc (sym
)->output
= 1;
4147 ppc_frob_label (sym
);
4149 demand_empty_rest_of_line ();
4152 /* The .toc pseudo-op. Switch to the .toc subsegment. */
4155 ppc_toc (int ignore ATTRIBUTE_UNUSED
)
4157 if (ppc_toc_csect
!= (symbolS
*) NULL
)
4158 subseg_set (data_section
, symbol_get_tc (ppc_toc_csect
)->subseg
);
4165 subseg
= ppc_data_subsegment
;
4166 ++ppc_data_subsegment
;
4168 subseg_new (segment_name (data_section
), subseg
);
4169 ppc_toc_frag
= frag_now
;
4171 sym
= symbol_find_or_make ("TOC[TC0]");
4172 symbol_set_frag (sym
, frag_now
);
4173 S_SET_SEGMENT (sym
, data_section
);
4174 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
4175 symbol_get_tc (sym
)->subseg
= subseg
;
4176 symbol_get_tc (sym
)->output
= 1;
4177 symbol_get_tc (sym
)->within
= sym
;
4179 ppc_toc_csect
= sym
;
4181 for (list
= ppc_data_csects
;
4182 symbol_get_tc (list
)->next
!= (symbolS
*) NULL
;
4183 list
= symbol_get_tc (list
)->next
)
4185 symbol_get_tc (list
)->next
= sym
;
4187 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
4188 symbol_append (sym
, symbol_get_tc (list
)->within
, &symbol_rootP
,
4192 ppc_current_csect
= ppc_toc_csect
;
4194 demand_empty_rest_of_line ();
4197 /* The AIX assembler automatically aligns the operands of a .long or
4198 .short pseudo-op, and we want to be compatible. */
4201 ppc_xcoff_cons (int log_size
)
4203 frag_align (log_size
, 0, 0);
4204 record_alignment (now_seg
, log_size
);
4205 cons (1 << log_size
);
4209 ppc_vbyte (int dummy ATTRIBUTE_UNUSED
)
4214 (void) expression (&exp
);
4216 if (exp
.X_op
!= O_constant
)
4218 as_bad (_("non-constant byte count"));
4222 byte_count
= exp
.X_add_number
;
4224 if (*input_line_pointer
!= ',')
4226 as_bad (_("missing value"));
4230 ++input_line_pointer
;
4234 #endif /* OBJ_XCOFF */
4235 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
4237 /* The .tc pseudo-op. This is used when generating either XCOFF or
4238 ELF. This takes two or more arguments.
4240 When generating XCOFF output, the first argument is the name to
4241 give to this location in the toc; this will be a symbol with class
4242 TC. The rest of the arguments are N-byte values to actually put at
4243 this location in the TOC; often there is just one more argument, a
4244 relocatable symbol reference. The size of the value to store
4245 depends on target word size. A 32-bit target uses 4-byte values, a
4246 64-bit target uses 8-byte values.
4248 When not generating XCOFF output, the arguments are the same, but
4249 the first argument is simply ignored. */
4252 ppc_tc (int ignore ATTRIBUTE_UNUSED
)
4256 /* Define the TOC symbol name. */
4262 if (ppc_toc_csect
== (symbolS
*) NULL
4263 || ppc_toc_csect
!= ppc_current_csect
)
4265 as_bad (_(".tc not in .toc section"));
4266 ignore_rest_of_line ();
4270 name
= input_line_pointer
;
4271 endc
= get_symbol_end ();
4273 sym
= symbol_find_or_make (name
);
4275 *input_line_pointer
= endc
;
4277 if (S_IS_DEFINED (sym
))
4281 label
= symbol_get_tc (ppc_current_csect
)->within
;
4282 if (symbol_get_tc (label
)->symbol_class
!= XMC_TC0
)
4284 as_bad (_(".tc with no label"));
4285 ignore_rest_of_line ();
4289 S_SET_SEGMENT (label
, S_GET_SEGMENT (sym
));
4290 symbol_set_frag (label
, symbol_get_frag (sym
));
4291 S_SET_VALUE (label
, S_GET_VALUE (sym
));
4293 while (! is_end_of_line
[(unsigned char) *input_line_pointer
])
4294 ++input_line_pointer
;
4299 S_SET_SEGMENT (sym
, now_seg
);
4300 symbol_set_frag (sym
, frag_now
);
4301 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
4302 symbol_get_tc (sym
)->symbol_class
= XMC_TC
;
4303 symbol_get_tc (sym
)->output
= 1;
4305 ppc_frob_label (sym
);
4308 #endif /* OBJ_XCOFF */
4312 /* Skip the TOC symbol name. */
4313 while (is_part_of_name (*input_line_pointer
)
4314 || *input_line_pointer
== ' '
4315 || *input_line_pointer
== '['
4316 || *input_line_pointer
== ']'
4317 || *input_line_pointer
== '{'
4318 || *input_line_pointer
== '}')
4319 ++input_line_pointer
;
4321 /* Align to a four/eight byte boundary. */
4322 align
= ppc_obj64
? 3 : 2;
4323 frag_align (align
, 0, 0);
4324 record_alignment (now_seg
, align
);
4325 #endif /* OBJ_ELF */
4327 if (*input_line_pointer
!= ',')
4328 demand_empty_rest_of_line ();
4331 ++input_line_pointer
;
4332 cons (ppc_obj64
? 8 : 4);
4336 /* Pseudo-op .machine. */
4339 ppc_machine (int ignore ATTRIBUTE_UNUSED
)
4342 #define MAX_HISTORY 100
4343 static ppc_cpu_t
*cpu_history
;
4344 static int curr_hist
;
4348 if (*input_line_pointer
== '"')
4351 cpu_string
= demand_copy_C_string (&len
);
4356 cpu_string
= input_line_pointer
;
4357 c
= get_symbol_end ();
4358 cpu_string
= xstrdup (cpu_string
);
4359 *input_line_pointer
= c
;
4362 if (cpu_string
!= NULL
)
4364 ppc_cpu_t old_cpu
= ppc_cpu
;
4368 for (p
= cpu_string
; *p
!= 0; p
++)
4371 if (strcmp (cpu_string
, "push") == 0)
4373 if (cpu_history
== NULL
)
4374 cpu_history
= xmalloc (MAX_HISTORY
* sizeof (*cpu_history
));
4376 if (curr_hist
>= MAX_HISTORY
)
4377 as_bad (_(".machine stack overflow"));
4379 cpu_history
[curr_hist
++] = ppc_cpu
;
4381 else if (strcmp (cpu_string
, "pop") == 0)
4384 as_bad (_(".machine stack underflow"));
4386 ppc_cpu
= cpu_history
[--curr_hist
];
4388 else if ((new_cpu
= ppc_parse_cpu (ppc_cpu
, cpu_string
)) != 0)
4391 as_bad (_("invalid machine `%s'"), cpu_string
);
4393 if (ppc_cpu
!= old_cpu
)
4394 ppc_setup_opcodes ();
4397 demand_empty_rest_of_line ();
4400 /* See whether a symbol is in the TOC section. */
4403 ppc_is_toc_sym (symbolS
*sym
)
4406 return symbol_get_tc (sym
)->symbol_class
== XMC_TC
;
4409 const char *sname
= segment_name (S_GET_SEGMENT (sym
));
4411 return strcmp (sname
, ".toc") == 0;
4413 return strcmp (sname
, ".got") == 0;
4416 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
4420 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
4422 /* Set the current section. */
4424 ppc_set_current_section (segT
new)
4426 ppc_previous_section
= ppc_current_section
;
4427 ppc_current_section
= new;
4430 /* pseudo-op: .previous
4431 behaviour: toggles the current section with the previous section.
4433 warnings: "No previous section" */
4436 ppc_previous (int ignore ATTRIBUTE_UNUSED
)
4440 if (ppc_previous_section
== NULL
)
4442 as_warn (_("No previous section to return to. Directive ignored."));
4446 subseg_set (ppc_previous_section
, 0);
4448 ppc_set_current_section (ppc_previous_section
);
4451 /* pseudo-op: .pdata
4452 behaviour: predefined read only data section
4456 initial: .section .pdata "adr3"
4457 a - don't know -- maybe a misprint
4458 d - initialized data
4460 3 - double word aligned (that would be 4 byte boundary)
4463 Tag index tables (also known as the function table) for exception
4464 handling, debugging, etc. */
4467 ppc_pdata (int ignore ATTRIBUTE_UNUSED
)
4469 if (pdata_section
== 0)
4471 pdata_section
= subseg_new (".pdata", 0);
4473 bfd_set_section_flags (stdoutput
, pdata_section
,
4474 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4475 | SEC_READONLY
| SEC_DATA
));
4477 bfd_set_section_alignment (stdoutput
, pdata_section
, 2);
4481 pdata_section
= subseg_new (".pdata", 0);
4483 ppc_set_current_section (pdata_section
);
4486 /* pseudo-op: .ydata
4487 behaviour: predefined read only data section
4491 initial: .section .ydata "drw3"
4492 a - don't know -- maybe a misprint
4493 d - initialized data
4495 3 - double word aligned (that would be 4 byte boundary)
4497 Tag tables (also known as the scope table) for exception handling,
4501 ppc_ydata (int ignore ATTRIBUTE_UNUSED
)
4503 if (ydata_section
== 0)
4505 ydata_section
= subseg_new (".ydata", 0);
4506 bfd_set_section_flags (stdoutput
, ydata_section
,
4507 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4508 | SEC_READONLY
| SEC_DATA
));
4510 bfd_set_section_alignment (stdoutput
, ydata_section
, 3);
4514 ydata_section
= subseg_new (".ydata", 0);
4516 ppc_set_current_section (ydata_section
);
4519 /* pseudo-op: .reldata
4520 behaviour: predefined read write data section
4521 double word aligned (4-byte)
4522 FIXME: relocation is applied to it
4523 FIXME: what's the difference between this and .data?
4526 initial: .section .reldata "drw3"
4527 d - initialized data
4530 3 - double word aligned (that would be 8 byte boundary)
4533 Like .data, but intended to hold data subject to relocation, such as
4534 function descriptors, etc. */
4537 ppc_reldata (int ignore ATTRIBUTE_UNUSED
)
4539 if (reldata_section
== 0)
4541 reldata_section
= subseg_new (".reldata", 0);
4543 bfd_set_section_flags (stdoutput
, reldata_section
,
4544 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4547 bfd_set_section_alignment (stdoutput
, reldata_section
, 2);
4551 reldata_section
= subseg_new (".reldata", 0);
4553 ppc_set_current_section (reldata_section
);
4556 /* pseudo-op: .rdata
4557 behaviour: predefined read only data section
4561 initial: .section .rdata "dr3"
4562 d - initialized data
4564 3 - double word aligned (that would be 4 byte boundary) */
4567 ppc_rdata (int ignore ATTRIBUTE_UNUSED
)
4569 if (rdata_section
== 0)
4571 rdata_section
= subseg_new (".rdata", 0);
4572 bfd_set_section_flags (stdoutput
, rdata_section
,
4573 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4574 | SEC_READONLY
| SEC_DATA
));
4576 bfd_set_section_alignment (stdoutput
, rdata_section
, 2);
4580 rdata_section
= subseg_new (".rdata", 0);
4582 ppc_set_current_section (rdata_section
);
4585 /* pseudo-op: .ualong
4586 behaviour: much like .int, with the exception that no alignment is
4588 FIXME: test the alignment statement
4593 ppc_ualong (int ignore ATTRIBUTE_UNUSED
)
4599 /* pseudo-op: .znop <symbol name>
4600 behaviour: Issue a nop instruction
4601 Issue a IMAGE_REL_PPC_IFGLUE relocation against it, using
4602 the supplied symbol name.
4604 warnings: Missing symbol name */
4607 ppc_znop (int ignore ATTRIBUTE_UNUSED
)
4610 const struct powerpc_opcode
*opcode
;
4621 /* Strip out the symbol name. */
4622 symbol_name
= input_line_pointer
;
4623 c
= get_symbol_end ();
4625 name
= xmalloc (input_line_pointer
- symbol_name
+ 1);
4626 strcpy (name
, symbol_name
);
4628 sym
= symbol_find_or_make (name
);
4630 *input_line_pointer
= c
;
4634 /* Look up the opcode in the hash table. */
4635 opcode
= (const struct powerpc_opcode
*) hash_find (ppc_hash
, "nop");
4637 /* Stick in the nop. */
4638 insn
= opcode
->opcode
;
4640 /* Write out the instruction. */
4642 md_number_to_chars (f
, insn
, 4);
4644 f
- frag_now
->fr_literal
,
4649 BFD_RELOC_16_GOT_PCREL
);
4659 ppc_pe_comm (int lcomm
)
4668 name
= input_line_pointer
;
4669 c
= get_symbol_end ();
4671 /* just after name is now '\0'. */
4672 p
= input_line_pointer
;
4675 if (*input_line_pointer
!= ',')
4677 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
4678 ignore_rest_of_line ();
4682 input_line_pointer
++; /* skip ',' */
4683 if ((temp
= get_absolute_expression ()) < 0)
4685 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp
);
4686 ignore_rest_of_line ();
4692 /* The third argument to .comm is the alignment. */
4693 if (*input_line_pointer
!= ',')
4697 ++input_line_pointer
;
4698 align
= get_absolute_expression ();
4701 as_warn (_("ignoring bad alignment"));
4708 symbolP
= symbol_find_or_make (name
);
4711 if (S_IS_DEFINED (symbolP
) && ! S_IS_COMMON (symbolP
))
4713 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
4714 S_GET_NAME (symbolP
));
4715 ignore_rest_of_line ();
4719 if (S_GET_VALUE (symbolP
))
4721 if (S_GET_VALUE (symbolP
) != (valueT
) temp
)
4722 as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
4723 S_GET_NAME (symbolP
),
4724 (long) S_GET_VALUE (symbolP
),
4729 S_SET_VALUE (symbolP
, (valueT
) temp
);
4730 S_SET_EXTERNAL (symbolP
);
4731 S_SET_SEGMENT (symbolP
, bfd_com_section_ptr
);
4734 demand_empty_rest_of_line ();
4738 * implement the .section pseudo op:
4739 * .section name {, "flags"}
4741 * | +--- optional flags: 'b' for bss
4743 * +-- section name 'l' for lib
4747 * 'd' (apparently m88k for data)
4749 * But if the argument is not a quoted string, treat it as a
4750 * subsegment number.
4752 * FIXME: this is a copy of the section processing from obj-coff.c, with
4753 * additions/changes for the moto-pas assembler support. There are three
4756 * FIXME: I just noticed this. This doesn't work at all really. It it
4757 * setting bits that bfd probably neither understands or uses. The
4758 * correct approach (?) will have to incorporate extra fields attached
4759 * to the section to hold the system specific stuff. (krk)
4762 * 'a' - unknown - referred to in documentation, but no definition supplied
4763 * 'c' - section has code
4764 * 'd' - section has initialized data
4765 * 'u' - section has uninitialized data
4766 * 'i' - section contains directives (info)
4767 * 'n' - section can be discarded
4768 * 'R' - remove section at link time
4770 * Section Protection:
4771 * 'r' - section is readable
4772 * 'w' - section is writeable
4773 * 'x' - section is executable
4774 * 's' - section is sharable
4776 * Section Alignment:
4777 * '0' - align to byte boundary
4778 * '1' - align to halfword undary
4779 * '2' - align to word boundary
4780 * '3' - align to doubleword boundary
4781 * '4' - align to quadword boundary
4782 * '5' - align to 32 byte boundary
4783 * '6' - align to 64 byte boundary
4788 ppc_pe_section (int ignore ATTRIBUTE_UNUSED
)
4790 /* Strip out the section name. */
4799 section_name
= input_line_pointer
;
4800 c
= get_symbol_end ();
4802 name
= xmalloc (input_line_pointer
- section_name
+ 1);
4803 strcpy (name
, section_name
);
4805 *input_line_pointer
= c
;
4810 flags
= SEC_NO_FLAGS
;
4812 if (strcmp (name
, ".idata$2") == 0)
4816 else if (strcmp (name
, ".idata$3") == 0)
4820 else if (strcmp (name
, ".idata$4") == 0)
4824 else if (strcmp (name
, ".idata$5") == 0)
4828 else if (strcmp (name
, ".idata$6") == 0)
4833 /* Default alignment to 16 byte boundary. */
4836 if (*input_line_pointer
== ',')
4838 ++input_line_pointer
;
4840 if (*input_line_pointer
!= '"')
4841 exp
= get_absolute_expression ();
4844 ++input_line_pointer
;
4845 while (*input_line_pointer
!= '"'
4846 && ! is_end_of_line
[(unsigned char) *input_line_pointer
])
4848 switch (*input_line_pointer
)
4850 /* Section Contents */
4851 case 'a': /* unknown */
4852 as_bad (_("Unsupported section attribute -- 'a'"));
4854 case 'c': /* code section */
4857 case 'd': /* section has initialized data */
4860 case 'u': /* section has uninitialized data */
4861 /* FIXME: This is IMAGE_SCN_CNT_UNINITIALIZED_DATA
4865 case 'i': /* section contains directives (info) */
4866 /* FIXME: This is IMAGE_SCN_LNK_INFO
4868 flags
|= SEC_HAS_CONTENTS
;
4870 case 'n': /* section can be discarded */
4873 case 'R': /* Remove section at link time */
4874 flags
|= SEC_NEVER_LOAD
;
4876 #if IFLICT_BRAIN_DAMAGE
4877 /* Section Protection */
4878 case 'r': /* section is readable */
4879 flags
|= IMAGE_SCN_MEM_READ
;
4881 case 'w': /* section is writeable */
4882 flags
|= IMAGE_SCN_MEM_WRITE
;
4884 case 'x': /* section is executable */
4885 flags
|= IMAGE_SCN_MEM_EXECUTE
;
4887 case 's': /* section is sharable */
4888 flags
|= IMAGE_SCN_MEM_SHARED
;
4891 /* Section Alignment */
4892 case '0': /* align to byte boundary */
4893 flags
|= IMAGE_SCN_ALIGN_1BYTES
;
4896 case '1': /* align to halfword boundary */
4897 flags
|= IMAGE_SCN_ALIGN_2BYTES
;
4900 case '2': /* align to word boundary */
4901 flags
|= IMAGE_SCN_ALIGN_4BYTES
;
4904 case '3': /* align to doubleword boundary */
4905 flags
|= IMAGE_SCN_ALIGN_8BYTES
;
4908 case '4': /* align to quadword boundary */
4909 flags
|= IMAGE_SCN_ALIGN_16BYTES
;
4912 case '5': /* align to 32 byte boundary */
4913 flags
|= IMAGE_SCN_ALIGN_32BYTES
;
4916 case '6': /* align to 64 byte boundary */
4917 flags
|= IMAGE_SCN_ALIGN_64BYTES
;
4922 as_bad (_("unknown section attribute '%c'"),
4923 *input_line_pointer
);
4926 ++input_line_pointer
;
4928 if (*input_line_pointer
== '"')
4929 ++input_line_pointer
;
4933 sec
= subseg_new (name
, (subsegT
) exp
);
4935 ppc_set_current_section (sec
);
4937 if (flags
!= SEC_NO_FLAGS
)
4939 if (! bfd_set_section_flags (stdoutput
, sec
, flags
))
4940 as_bad (_("error setting flags for \"%s\": %s"),
4941 bfd_section_name (stdoutput
, sec
),
4942 bfd_errmsg (bfd_get_error ()));
4945 bfd_set_section_alignment (stdoutput
, sec
, align
);
4949 ppc_pe_function (int ignore ATTRIBUTE_UNUSED
)
4955 name
= input_line_pointer
;
4956 endc
= get_symbol_end ();
4958 ext_sym
= symbol_find_or_make (name
);
4960 *input_line_pointer
= endc
;
4962 S_SET_DATA_TYPE (ext_sym
, DT_FCN
<< N_BTSHFT
);
4963 SF_SET_FUNCTION (ext_sym
);
4964 SF_SET_PROCESS (ext_sym
);
4965 coff_add_linesym (ext_sym
);
4967 demand_empty_rest_of_line ();
4971 ppc_pe_tocd (int ignore ATTRIBUTE_UNUSED
)
4973 if (tocdata_section
== 0)
4975 tocdata_section
= subseg_new (".tocd", 0);
4976 /* FIXME: section flags won't work. */
4977 bfd_set_section_flags (stdoutput
, tocdata_section
,
4978 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4979 | SEC_READONLY
| SEC_DATA
));
4981 bfd_set_section_alignment (stdoutput
, tocdata_section
, 2);
4985 rdata_section
= subseg_new (".tocd", 0);
4988 ppc_set_current_section (tocdata_section
);
4990 demand_empty_rest_of_line ();
4993 /* Don't adjust TOC relocs to use the section symbol. */
4996 ppc_pe_fix_adjustable (fixS
*fix
)
4998 return fix
->fx_r_type
!= BFD_RELOC_PPC_TOC16
;
5005 /* XCOFF specific symbol and file handling. */
5007 /* Canonicalize the symbol name. We use the to force the suffix, if
5008 any, to use square brackets, and to be in upper case. */
5011 ppc_canonicalize_symbol_name (char *name
)
5015 if (ppc_stab_symbol
)
5018 for (s
= name
; *s
!= '\0' && *s
!= '{' && *s
!= '['; s
++)
5032 for (s
++; *s
!= '\0' && *s
!= brac
; s
++)
5035 if (*s
== '\0' || s
[1] != '\0')
5036 as_bad (_("bad symbol suffix"));
5044 /* Set the class of a symbol based on the suffix, if any. This is
5045 called whenever a new symbol is created. */
5048 ppc_symbol_new_hook (symbolS
*sym
)
5050 struct ppc_tc_sy
*tc
;
5053 tc
= symbol_get_tc (sym
);
5056 tc
->symbol_class
= -1;
5057 tc
->real_name
= NULL
;
5063 if (ppc_stab_symbol
)
5066 s
= strchr (S_GET_NAME (sym
), '[');
5067 if (s
== (const char *) NULL
)
5069 /* There is no suffix. */
5078 if (strcmp (s
, "BS]") == 0)
5079 tc
->symbol_class
= XMC_BS
;
5082 if (strcmp (s
, "DB]") == 0)
5083 tc
->symbol_class
= XMC_DB
;
5084 else if (strcmp (s
, "DS]") == 0)
5085 tc
->symbol_class
= XMC_DS
;
5088 if (strcmp (s
, "GL]") == 0)
5089 tc
->symbol_class
= XMC_GL
;
5092 if (strcmp (s
, "PR]") == 0)
5093 tc
->symbol_class
= XMC_PR
;
5096 if (strcmp (s
, "RO]") == 0)
5097 tc
->symbol_class
= XMC_RO
;
5098 else if (strcmp (s
, "RW]") == 0)
5099 tc
->symbol_class
= XMC_RW
;
5102 if (strcmp (s
, "SV]") == 0)
5103 tc
->symbol_class
= XMC_SV
;
5106 if (strcmp (s
, "TC]") == 0)
5107 tc
->symbol_class
= XMC_TC
;
5108 else if (strcmp (s
, "TI]") == 0)
5109 tc
->symbol_class
= XMC_TI
;
5110 else if (strcmp (s
, "TB]") == 0)
5111 tc
->symbol_class
= XMC_TB
;
5112 else if (strcmp (s
, "TC0]") == 0 || strcmp (s
, "T0]") == 0)
5113 tc
->symbol_class
= XMC_TC0
;
5116 if (strcmp (s
, "UA]") == 0)
5117 tc
->symbol_class
= XMC_UA
;
5118 else if (strcmp (s
, "UC]") == 0)
5119 tc
->symbol_class
= XMC_UC
;
5122 if (strcmp (s
, "XO]") == 0)
5123 tc
->symbol_class
= XMC_XO
;
5127 if (tc
->symbol_class
== -1)
5128 as_bad (_("Unrecognized symbol suffix"));
5131 /* Set the class of a label based on where it is defined. This
5132 handles symbols without suffixes. Also, move the symbol so that it
5133 follows the csect symbol. */
5136 ppc_frob_label (symbolS
*sym
)
5138 if (ppc_current_csect
!= (symbolS
*) NULL
)
5140 if (symbol_get_tc (sym
)->symbol_class
== -1)
5141 symbol_get_tc (sym
)->symbol_class
= symbol_get_tc (ppc_current_csect
)->symbol_class
;
5143 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
5144 symbol_append (sym
, symbol_get_tc (ppc_current_csect
)->within
,
5145 &symbol_rootP
, &symbol_lastP
);
5146 symbol_get_tc (ppc_current_csect
)->within
= sym
;
5150 dwarf2_emit_label (sym
);
5154 /* This variable is set by ppc_frob_symbol if any absolute symbols are
5155 seen. It tells ppc_adjust_symtab whether it needs to look through
5158 static bfd_boolean ppc_saw_abs
;
5160 /* Change the name of a symbol just before writing it out. Set the
5161 real name if the .rename pseudo-op was used. Otherwise, remove any
5162 class suffix. Return 1 if the symbol should not be included in the
5166 ppc_frob_symbol (symbolS
*sym
)
5168 static symbolS
*ppc_last_function
;
5169 static symbolS
*set_end
;
5171 /* Discard symbols that should not be included in the output symbol
5173 if (! symbol_used_in_reloc_p (sym
)
5174 && ((symbol_get_bfdsym (sym
)->flags
& BSF_SECTION_SYM
) != 0
5175 || (! (S_IS_EXTERNAL (sym
) || S_IS_WEAK (sym
))
5176 && ! symbol_get_tc (sym
)->output
5177 && S_GET_STORAGE_CLASS (sym
) != C_FILE
)))
5180 /* This one will disappear anyway. Don't make a csect sym for it. */
5181 if (sym
== abs_section_sym
)
5184 if (symbol_get_tc (sym
)->real_name
!= (char *) NULL
)
5185 S_SET_NAME (sym
, symbol_get_tc (sym
)->real_name
);
5191 name
= S_GET_NAME (sym
);
5192 s
= strchr (name
, '[');
5193 if (s
!= (char *) NULL
)
5199 snew
= xmalloc (len
+ 1);
5200 memcpy (snew
, name
, len
);
5203 S_SET_NAME (sym
, snew
);
5207 if (set_end
!= (symbolS
*) NULL
)
5209 SA_SET_SYM_ENDNDX (set_end
, sym
);
5213 if (SF_GET_FUNCTION (sym
))
5215 if (ppc_last_function
!= (symbolS
*) NULL
)
5216 as_bad (_("two .function pseudo-ops with no intervening .ef"));
5217 ppc_last_function
= sym
;
5218 if (symbol_get_tc (sym
)->size
!= (symbolS
*) NULL
)
5220 resolve_symbol_value (symbol_get_tc (sym
)->size
);
5221 SA_SET_SYM_FSIZE (sym
,
5222 (long) S_GET_VALUE (symbol_get_tc (sym
)->size
));
5225 else if (S_GET_STORAGE_CLASS (sym
) == C_FCN
5226 && strcmp (S_GET_NAME (sym
), ".ef") == 0)
5228 if (ppc_last_function
== (symbolS
*) NULL
)
5229 as_bad (_(".ef with no preceding .function"));
5232 set_end
= ppc_last_function
;
5233 ppc_last_function
= NULL
;
5235 /* We don't have a C_EFCN symbol, but we need to force the
5236 COFF backend to believe that it has seen one. */
5237 coff_last_function
= NULL
;
5241 if (! (S_IS_EXTERNAL (sym
) || S_IS_WEAK (sym
))
5242 && (symbol_get_bfdsym (sym
)->flags
& BSF_SECTION_SYM
) == 0
5243 && S_GET_STORAGE_CLASS (sym
) != C_FILE
5244 && S_GET_STORAGE_CLASS (sym
) != C_FCN
5245 && S_GET_STORAGE_CLASS (sym
) != C_BLOCK
5246 && S_GET_STORAGE_CLASS (sym
) != C_BSTAT
5247 && S_GET_STORAGE_CLASS (sym
) != C_ESTAT
5248 && S_GET_STORAGE_CLASS (sym
) != C_BINCL
5249 && S_GET_STORAGE_CLASS (sym
) != C_EINCL
5250 && S_GET_SEGMENT (sym
) != ppc_coff_debug_section
)
5251 S_SET_STORAGE_CLASS (sym
, C_HIDEXT
);
5253 if (S_GET_STORAGE_CLASS (sym
) == C_EXT
5254 || S_GET_STORAGE_CLASS (sym
) == C_AIX_WEAKEXT
5255 || S_GET_STORAGE_CLASS (sym
) == C_HIDEXT
)
5258 union internal_auxent
*a
;
5260 /* Create a csect aux. */
5261 i
= S_GET_NUMBER_AUXILIARY (sym
);
5262 S_SET_NUMBER_AUXILIARY (sym
, i
+ 1);
5263 a
= &coffsymbol (symbol_get_bfdsym (sym
))->native
[i
+ 1].u
.auxent
;
5264 if (symbol_get_tc (sym
)->symbol_class
== XMC_TC0
)
5266 /* This is the TOC table. */
5267 know (strcmp (S_GET_NAME (sym
), "TOC") == 0);
5268 a
->x_csect
.x_scnlen
.l
= 0;
5269 a
->x_csect
.x_smtyp
= (2 << 3) | XTY_SD
;
5271 else if (symbol_get_tc (sym
)->subseg
!= 0)
5273 /* This is a csect symbol. x_scnlen is the size of the
5275 if (symbol_get_tc (sym
)->next
== (symbolS
*) NULL
)
5276 a
->x_csect
.x_scnlen
.l
= (bfd_section_size (stdoutput
,
5277 S_GET_SEGMENT (sym
))
5278 - S_GET_VALUE (sym
));
5281 resolve_symbol_value (symbol_get_tc (sym
)->next
);
5282 a
->x_csect
.x_scnlen
.l
= (S_GET_VALUE (symbol_get_tc (sym
)->next
)
5283 - S_GET_VALUE (sym
));
5285 a
->x_csect
.x_smtyp
= (symbol_get_tc (sym
)->align
<< 3) | XTY_SD
;
5287 else if (S_GET_SEGMENT (sym
) == bss_section
)
5289 /* This is a common symbol. */
5290 a
->x_csect
.x_scnlen
.l
= symbol_get_frag (sym
)->fr_offset
;
5291 a
->x_csect
.x_smtyp
= (symbol_get_tc (sym
)->align
<< 3) | XTY_CM
;
5292 if (S_IS_EXTERNAL (sym
))
5293 symbol_get_tc (sym
)->symbol_class
= XMC_RW
;
5295 symbol_get_tc (sym
)->symbol_class
= XMC_BS
;
5297 else if (S_GET_SEGMENT (sym
) == absolute_section
)
5299 /* This is an absolute symbol. The csect will be created by
5300 ppc_adjust_symtab. */
5302 a
->x_csect
.x_smtyp
= XTY_LD
;
5303 if (symbol_get_tc (sym
)->symbol_class
== -1)
5304 symbol_get_tc (sym
)->symbol_class
= XMC_XO
;
5306 else if (! S_IS_DEFINED (sym
))
5308 /* This is an external symbol. */
5309 a
->x_csect
.x_scnlen
.l
= 0;
5310 a
->x_csect
.x_smtyp
= XTY_ER
;
5312 else if (symbol_get_tc (sym
)->symbol_class
== XMC_TC
)
5316 /* This is a TOC definition. x_scnlen is the size of the
5318 next
= symbol_next (sym
);
5319 while (symbol_get_tc (next
)->symbol_class
== XMC_TC0
)
5320 next
= symbol_next (next
);
5321 if (next
== (symbolS
*) NULL
5322 || symbol_get_tc (next
)->symbol_class
!= XMC_TC
)
5324 if (ppc_after_toc_frag
== (fragS
*) NULL
)
5325 a
->x_csect
.x_scnlen
.l
= (bfd_section_size (stdoutput
,
5327 - S_GET_VALUE (sym
));
5329 a
->x_csect
.x_scnlen
.l
= (ppc_after_toc_frag
->fr_address
5330 - S_GET_VALUE (sym
));
5334 resolve_symbol_value (next
);
5335 a
->x_csect
.x_scnlen
.l
= (S_GET_VALUE (next
)
5336 - S_GET_VALUE (sym
));
5338 a
->x_csect
.x_smtyp
= (2 << 3) | XTY_SD
;
5344 /* This is a normal symbol definition. x_scnlen is the
5345 symbol index of the containing csect. */
5346 if (S_GET_SEGMENT (sym
) == text_section
)
5347 csect
= ppc_text_csects
;
5348 else if (S_GET_SEGMENT (sym
) == data_section
)
5349 csect
= ppc_data_csects
;
5353 /* Skip the initial dummy symbol. */
5354 csect
= symbol_get_tc (csect
)->next
;
5356 if (csect
== (symbolS
*) NULL
)
5358 as_warn (_("warning: symbol %s has no csect"), S_GET_NAME (sym
));
5359 a
->x_csect
.x_scnlen
.l
= 0;
5363 while (symbol_get_tc (csect
)->next
!= (symbolS
*) NULL
)
5365 resolve_symbol_value (symbol_get_tc (csect
)->next
);
5366 if (S_GET_VALUE (symbol_get_tc (csect
)->next
)
5367 > S_GET_VALUE (sym
))
5369 csect
= symbol_get_tc (csect
)->next
;
5372 a
->x_csect
.x_scnlen
.p
=
5373 coffsymbol (symbol_get_bfdsym (csect
))->native
;
5374 coffsymbol (symbol_get_bfdsym (sym
))->native
[i
+ 1].fix_scnlen
=
5377 a
->x_csect
.x_smtyp
= XTY_LD
;
5380 a
->x_csect
.x_parmhash
= 0;
5381 a
->x_csect
.x_snhash
= 0;
5382 if (symbol_get_tc (sym
)->symbol_class
== -1)
5383 a
->x_csect
.x_smclas
= XMC_PR
;
5385 a
->x_csect
.x_smclas
= symbol_get_tc (sym
)->symbol_class
;
5386 a
->x_csect
.x_stab
= 0;
5387 a
->x_csect
.x_snstab
= 0;
5389 /* Don't let the COFF backend resort these symbols. */
5390 symbol_get_bfdsym (sym
)->flags
|= BSF_NOT_AT_END
;
5392 else if (S_GET_STORAGE_CLASS (sym
) == C_BSTAT
)
5394 /* We want the value to be the symbol index of the referenced
5395 csect symbol. BFD will do that for us if we set the right
5397 asymbol
*bsym
= symbol_get_bfdsym (symbol_get_tc (sym
)->within
);
5398 combined_entry_type
*c
= coffsymbol (bsym
)->native
;
5400 S_SET_VALUE (sym
, (valueT
) (size_t) c
);
5401 coffsymbol (symbol_get_bfdsym (sym
))->native
->fix_value
= 1;
5403 else if (S_GET_STORAGE_CLASS (sym
) == C_STSYM
)
5408 block
= symbol_get_tc (sym
)->within
;
5411 /* The value is the offset from the enclosing csect. */
5414 csect
= symbol_get_tc (block
)->within
;
5415 resolve_symbol_value (csect
);
5416 base
= S_GET_VALUE (csect
);
5421 S_SET_VALUE (sym
, S_GET_VALUE (sym
) - base
);
5423 else if (S_GET_STORAGE_CLASS (sym
) == C_BINCL
5424 || S_GET_STORAGE_CLASS (sym
) == C_EINCL
)
5426 /* We want the value to be a file offset into the line numbers.
5427 BFD will do that for us if we set the right flags. We have
5428 already set the value correctly. */
5429 coffsymbol (symbol_get_bfdsym (sym
))->native
->fix_line
= 1;
5435 /* Adjust the symbol table. This creates csect symbols for all
5436 absolute symbols. */
5439 ppc_adjust_symtab (void)
5446 for (sym
= symbol_rootP
; sym
!= NULL
; sym
= symbol_next (sym
))
5450 union internal_auxent
*a
;
5452 if (S_GET_SEGMENT (sym
) != absolute_section
)
5455 csect
= symbol_create (".abs[XO]", absolute_section
,
5456 S_GET_VALUE (sym
), &zero_address_frag
);
5457 symbol_get_bfdsym (csect
)->value
= S_GET_VALUE (sym
);
5458 S_SET_STORAGE_CLASS (csect
, C_HIDEXT
);
5459 i
= S_GET_NUMBER_AUXILIARY (csect
);
5460 S_SET_NUMBER_AUXILIARY (csect
, i
+ 1);
5461 a
= &coffsymbol (symbol_get_bfdsym (csect
))->native
[i
+ 1].u
.auxent
;
5462 a
->x_csect
.x_scnlen
.l
= 0;
5463 a
->x_csect
.x_smtyp
= XTY_SD
;
5464 a
->x_csect
.x_parmhash
= 0;
5465 a
->x_csect
.x_snhash
= 0;
5466 a
->x_csect
.x_smclas
= XMC_XO
;
5467 a
->x_csect
.x_stab
= 0;
5468 a
->x_csect
.x_snstab
= 0;
5470 symbol_insert (csect
, sym
, &symbol_rootP
, &symbol_lastP
);
5472 i
= S_GET_NUMBER_AUXILIARY (sym
);
5473 a
= &coffsymbol (symbol_get_bfdsym (sym
))->native
[i
].u
.auxent
;
5474 a
->x_csect
.x_scnlen
.p
= coffsymbol (symbol_get_bfdsym (csect
))->native
;
5475 coffsymbol (symbol_get_bfdsym (sym
))->native
[i
].fix_scnlen
= 1;
5478 ppc_saw_abs
= FALSE
;
5481 /* Set the VMA for a section. This is called on all the sections in
5485 ppc_frob_section (asection
*sec
)
5487 static bfd_vma vma
= 0;
5489 vma
= md_section_align (sec
, vma
);
5490 bfd_set_section_vma (stdoutput
, sec
, vma
);
5491 vma
+= bfd_section_size (stdoutput
, sec
);
5494 #endif /* OBJ_XCOFF */
5497 md_atof (int type
, char *litp
, int *sizep
)
5499 return ieee_md_atof (type
, litp
, sizep
, target_big_endian
);
5502 /* Write a value out to the object file, using the appropriate
5506 md_number_to_chars (char *buf
, valueT val
, int n
)
5508 if (target_big_endian
)
5509 number_to_chars_bigendian (buf
, val
, n
);
5511 number_to_chars_littleendian (buf
, val
, n
);
5514 /* Align a section (I don't know why this is machine dependent). */
5517 md_section_align (asection
*seg ATTRIBUTE_UNUSED
, valueT addr
)
5522 int align
= bfd_get_section_alignment (stdoutput
, seg
);
5524 return ((addr
+ (1 << align
) - 1) & (-1 << align
));
5528 /* We don't have any form of relaxing. */
5531 md_estimate_size_before_relax (fragS
*fragp ATTRIBUTE_UNUSED
,
5532 asection
*seg ATTRIBUTE_UNUSED
)
5538 /* Convert a machine dependent frag. We never generate these. */
5541 md_convert_frag (bfd
*abfd ATTRIBUTE_UNUSED
,
5542 asection
*sec ATTRIBUTE_UNUSED
,
5543 fragS
*fragp ATTRIBUTE_UNUSED
)
5548 /* We have no need to default values of symbols. */
5551 md_undefined_symbol (char *name ATTRIBUTE_UNUSED
)
5556 /* Functions concerning relocs. */
5558 /* The location from which a PC relative jump should be calculated,
5559 given a PC relative reloc. */
5562 md_pcrel_from_section (fixS
*fixp
, segT sec ATTRIBUTE_UNUSED
)
5564 return fixp
->fx_frag
->fr_address
+ fixp
->fx_where
;
5569 /* This is called to see whether a fixup should be adjusted to use a
5570 section symbol. We take the opportunity to change a fixup against
5571 a symbol in the TOC subsegment into a reloc against the
5572 corresponding .tc symbol. */
5575 ppc_fix_adjustable (fixS
*fix
)
5577 valueT val
= resolve_symbol_value (fix
->fx_addsy
);
5578 segT symseg
= S_GET_SEGMENT (fix
->fx_addsy
);
5579 TC_SYMFIELD_TYPE
*tc
;
5581 if (symseg
== absolute_section
)
5584 if (ppc_toc_csect
!= (symbolS
*) NULL
5585 && fix
->fx_addsy
!= ppc_toc_csect
5586 && symseg
== data_section
5587 && val
>= ppc_toc_frag
->fr_address
5588 && (ppc_after_toc_frag
== (fragS
*) NULL
5589 || val
< ppc_after_toc_frag
->fr_address
))
5593 for (sy
= symbol_next (ppc_toc_csect
);
5594 sy
!= (symbolS
*) NULL
;
5595 sy
= symbol_next (sy
))
5597 TC_SYMFIELD_TYPE
*sy_tc
= symbol_get_tc (sy
);
5599 if (sy_tc
->symbol_class
== XMC_TC0
)
5601 if (sy_tc
->symbol_class
!= XMC_TC
)
5603 if (val
== resolve_symbol_value (sy
))
5606 fix
->fx_addnumber
= val
- ppc_toc_frag
->fr_address
;
5611 as_bad_where (fix
->fx_file
, fix
->fx_line
,
5612 _("symbol in .toc does not match any .tc"));
5615 /* Possibly adjust the reloc to be against the csect. */
5616 tc
= symbol_get_tc (fix
->fx_addsy
);
5618 && tc
->symbol_class
!= XMC_TC0
5619 && tc
->symbol_class
!= XMC_TC
5620 && symseg
!= bss_section
5621 /* Don't adjust if this is a reloc in the toc section. */
5622 && (symseg
!= data_section
5623 || ppc_toc_csect
== NULL
5624 || val
< ppc_toc_frag
->fr_address
5625 || (ppc_after_toc_frag
!= NULL
5626 && val
>= ppc_after_toc_frag
->fr_address
)))
5629 symbolS
*next_csect
;
5631 if (symseg
== text_section
)
5632 csect
= ppc_text_csects
;
5633 else if (symseg
== data_section
)
5634 csect
= ppc_data_csects
;
5638 /* Skip the initial dummy symbol. */
5639 csect
= symbol_get_tc (csect
)->next
;
5641 if (csect
!= (symbolS
*) NULL
)
5643 while ((next_csect
= symbol_get_tc (csect
)->next
) != (symbolS
*) NULL
5644 && (symbol_get_frag (next_csect
)->fr_address
<= val
))
5646 /* If the csect address equals the symbol value, then we
5647 have to look through the full symbol table to see
5648 whether this is the csect we want. Note that we will
5649 only get here if the csect has zero length. */
5650 if (symbol_get_frag (csect
)->fr_address
== val
5651 && S_GET_VALUE (csect
) == val
)
5655 for (scan
= symbol_next (csect
);
5657 scan
= symbol_next (scan
))
5659 if (symbol_get_tc (scan
)->subseg
!= 0)
5661 if (scan
== fix
->fx_addsy
)
5665 /* If we found the symbol before the next csect
5666 symbol, then this is the csect we want. */
5667 if (scan
== fix
->fx_addsy
)
5674 fix
->fx_offset
+= val
- symbol_get_frag (csect
)->fr_address
;
5675 fix
->fx_addsy
= csect
;
5680 /* Adjust a reloc against a .lcomm symbol to be against the base
5682 if (symseg
== bss_section
5683 && ! S_IS_EXTERNAL (fix
->fx_addsy
))
5685 symbolS
*sy
= symbol_get_frag (fix
->fx_addsy
)->fr_symbol
;
5687 fix
->fx_offset
+= val
- resolve_symbol_value (sy
);
5694 /* A reloc from one csect to another must be kept. The assembler
5695 will, of course, keep relocs between sections, and it will keep
5696 absolute relocs, but we need to force it to keep PC relative relocs
5697 between two csects in the same section. */
5700 ppc_force_relocation (fixS
*fix
)
5702 /* At this point fix->fx_addsy should already have been converted to
5703 a csect symbol. If the csect does not include the fragment, then
5704 we need to force the relocation. */
5706 && fix
->fx_addsy
!= NULL
5707 && symbol_get_tc (fix
->fx_addsy
)->subseg
!= 0
5708 && ((symbol_get_frag (fix
->fx_addsy
)->fr_address
5709 > fix
->fx_frag
->fr_address
)
5710 || (symbol_get_tc (fix
->fx_addsy
)->next
!= NULL
5711 && (symbol_get_frag (symbol_get_tc (fix
->fx_addsy
)->next
)->fr_address
5712 <= fix
->fx_frag
->fr_address
))))
5715 return generic_force_reloc (fix
);
5718 #endif /* OBJ_XCOFF */
5721 /* If this function returns non-zero, it guarantees that a relocation
5722 will be emitted for a fixup. */
5725 ppc_force_relocation (fixS
*fix
)
5727 /* Branch prediction relocations must force a relocation, as must
5728 the vtable description relocs. */
5729 switch (fix
->fx_r_type
)
5731 case BFD_RELOC_PPC_B16_BRTAKEN
:
5732 case BFD_RELOC_PPC_B16_BRNTAKEN
:
5733 case BFD_RELOC_PPC_BA16_BRTAKEN
:
5734 case BFD_RELOC_PPC_BA16_BRNTAKEN
:
5735 case BFD_RELOC_24_PLT_PCREL
:
5736 case BFD_RELOC_PPC64_TOC
:
5742 if (fix
->fx_r_type
>= BFD_RELOC_PPC_TLS
5743 && fix
->fx_r_type
<= BFD_RELOC_PPC64_DTPREL16_HIGHESTA
)
5746 return generic_force_reloc (fix
);
5750 ppc_fix_adjustable (fixS
*fix
)
5752 return (fix
->fx_r_type
!= BFD_RELOC_16_GOTOFF
5753 && fix
->fx_r_type
!= BFD_RELOC_LO16_GOTOFF
5754 && fix
->fx_r_type
!= BFD_RELOC_HI16_GOTOFF
5755 && fix
->fx_r_type
!= BFD_RELOC_HI16_S_GOTOFF
5756 && fix
->fx_r_type
!= BFD_RELOC_PPC64_GOT16_DS
5757 && fix
->fx_r_type
!= BFD_RELOC_PPC64_GOT16_LO_DS
5758 && fix
->fx_r_type
!= BFD_RELOC_GPREL16
5759 && fix
->fx_r_type
!= BFD_RELOC_VTABLE_INHERIT
5760 && fix
->fx_r_type
!= BFD_RELOC_VTABLE_ENTRY
5761 && !(fix
->fx_r_type
>= BFD_RELOC_PPC_TLS
5762 && fix
->fx_r_type
<= BFD_RELOC_PPC64_DTPREL16_HIGHESTA
));
5766 /* Implement HANDLE_ALIGN. This writes the NOP pattern into an
5767 rs_align_code frag. */
5770 ppc_handle_align (struct frag
*fragP
)
5772 valueT count
= (fragP
->fr_next
->fr_address
5773 - (fragP
->fr_address
+ fragP
->fr_fix
));
5775 if (count
!= 0 && (count
& 3) == 0)
5777 char *dest
= fragP
->fr_literal
+ fragP
->fr_fix
;
5781 if (count
> 4 * nop_limit
&& count
< 0x2000000)
5785 /* Make a branch, then follow with nops. Insert another
5786 frag to handle the nops. */
5787 md_number_to_chars (dest
, 0x48000000 + count
, 4);
5792 rest
= xmalloc (SIZEOF_STRUCT_FRAG
+ 4);
5793 memcpy (rest
, fragP
, SIZEOF_STRUCT_FRAG
);
5794 fragP
->fr_next
= rest
;
5796 rest
->fr_address
+= rest
->fr_fix
+ 4;
5798 /* If we leave the next frag as rs_align_code we'll come here
5799 again, resulting in a bunch of branches rather than a
5800 branch followed by nops. */
5801 rest
->fr_type
= rs_align
;
5802 dest
= rest
->fr_literal
;
5805 md_number_to_chars (dest
, 0x60000000, 4);
5807 if ((ppc_cpu
& PPC_OPCODE_POWER6
) != 0
5808 || (ppc_cpu
& PPC_OPCODE_POWER7
) != 0)
5810 /* For power6 and power7, we want the last nop to be a group
5811 terminating one. Do this by inserting an rs_fill frag immediately
5812 after this one, with its address set to the last nop location.
5813 This will automatically reduce the number of nops in the current
5817 struct frag
*group_nop
= xmalloc (SIZEOF_STRUCT_FRAG
+ 4);
5819 memcpy (group_nop
, fragP
, SIZEOF_STRUCT_FRAG
);
5820 group_nop
->fr_address
= group_nop
->fr_next
->fr_address
- 4;
5821 group_nop
->fr_fix
= 0;
5822 group_nop
->fr_offset
= 1;
5823 group_nop
->fr_type
= rs_fill
;
5824 fragP
->fr_next
= group_nop
;
5825 dest
= group_nop
->fr_literal
;
5828 if ((ppc_cpu
& PPC_OPCODE_POWER7
) != 0)
5829 /* power7 group terminating nop: "ori 2,2,0". */
5830 md_number_to_chars (dest
, 0x60420000, 4);
5832 /* power6 group terminating nop: "ori 1,1,0". */
5833 md_number_to_chars (dest
, 0x60210000, 4);
5838 /* Apply a fixup to the object code. This is called for all the
5839 fixups we generated by the call to fix_new_exp, above. In the call
5840 above we used a reloc code which was the largest legal reloc code
5841 plus the operand index. Here we undo that to recover the operand
5842 index. At this point all symbol values should be fully resolved,
5843 and we attempt to completely resolve the reloc. If we can not do
5844 that, we determine the correct reloc code and put it back in the
5848 md_apply_fix (fixS
*fixP
, valueT
*valP
, segT seg ATTRIBUTE_UNUSED
)
5850 valueT value
= * valP
;
5853 if (fixP
->fx_addsy
!= NULL
)
5855 /* Hack around bfd_install_relocation brain damage. */
5857 value
+= fixP
->fx_frag
->fr_address
+ fixP
->fx_where
;
5862 /* FIXME FIXME FIXME: The value we are passed in *valP includes
5863 the symbol values. If we are doing this relocation the code in
5864 write.c is going to call bfd_install_relocation, which is also
5865 going to use the symbol value. That means that if the reloc is
5866 fully resolved we want to use *valP since bfd_install_relocation is
5868 However, if the reloc is not fully resolved we do not want to
5869 use *valP, and must use fx_offset instead. If the relocation
5870 is PC-relative, we then need to re-apply md_pcrel_from_section
5871 to this new relocation value. */
5872 if (fixP
->fx_addsy
== (symbolS
*) NULL
)
5877 value
= fixP
->fx_offset
;
5879 value
-= md_pcrel_from_section (fixP
, seg
);
5883 if (fixP
->fx_subsy
!= (symbolS
*) NULL
)
5885 /* We can't actually support subtracting a symbol. */
5886 as_bad_where (fixP
->fx_file
, fixP
->fx_line
, _("expression too complex"));
5889 if ((int) fixP
->fx_r_type
>= (int) BFD_RELOC_UNUSED
)
5892 const struct powerpc_operand
*operand
;
5896 opindex
= (int) fixP
->fx_r_type
- (int) BFD_RELOC_UNUSED
;
5898 operand
= &powerpc_operands
[opindex
];
5901 /* An instruction like `lwz 9,sym(30)' when `sym' is not a TOC symbol
5902 does not generate a reloc. It uses the offset of `sym' within its
5903 csect. Other usages, such as `.long sym', generate relocs. This
5904 is the documented behaviour of non-TOC symbols. */
5905 if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0
5906 && (operand
->bitm
& 0xfff0) == 0xfff0
5907 && operand
->shift
== 0
5908 && (operand
->insert
== NULL
|| ppc_obj64
)
5909 && fixP
->fx_addsy
!= NULL
5910 && symbol_get_tc (fixP
->fx_addsy
)->subseg
!= 0
5911 && symbol_get_tc (fixP
->fx_addsy
)->symbol_class
!= XMC_TC
5912 && symbol_get_tc (fixP
->fx_addsy
)->symbol_class
!= XMC_TC0
5913 && S_GET_SEGMENT (fixP
->fx_addsy
) != bss_section
)
5915 value
= fixP
->fx_offset
;
5920 /* Fetch the instruction, insert the fully resolved operand
5921 value, and stuff the instruction back again. */
5922 where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
5923 if (target_big_endian
)
5924 insn
= bfd_getb32 ((unsigned char *) where
);
5926 insn
= bfd_getl32 ((unsigned char *) where
);
5927 insn
= ppc_insert_operand (insn
, operand
, (offsetT
) value
,
5928 fixP
->tc_fix_data
.ppc_cpu
,
5929 fixP
->fx_file
, fixP
->fx_line
);
5930 if (target_big_endian
)
5931 bfd_putb32 ((bfd_vma
) insn
, (unsigned char *) where
);
5933 bfd_putl32 ((bfd_vma
) insn
, (unsigned char *) where
);
5936 /* Nothing else to do here. */
5939 gas_assert (fixP
->fx_addsy
!= NULL
);
5941 /* Determine a BFD reloc value based on the operand information.
5942 We are only prepared to turn a few of the operands into
5944 if ((operand
->flags
& PPC_OPERAND_RELATIVE
) != 0
5945 && operand
->bitm
== 0x3fffffc
5946 && operand
->shift
== 0)
5947 fixP
->fx_r_type
= BFD_RELOC_PPC_B26
;
5948 else if ((operand
->flags
& PPC_OPERAND_RELATIVE
) != 0
5949 && operand
->bitm
== 0xfffc
5950 && operand
->shift
== 0)
5952 fixP
->fx_r_type
= BFD_RELOC_PPC_B16
;
5955 if (target_big_endian
)
5956 fixP
->fx_where
+= 2;
5959 else if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0
5960 && operand
->bitm
== 0x3fffffc
5961 && operand
->shift
== 0)
5962 fixP
->fx_r_type
= BFD_RELOC_PPC_BA26
;
5963 else if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0
5964 && operand
->bitm
== 0xfffc
5965 && operand
->shift
== 0)
5967 fixP
->fx_r_type
= BFD_RELOC_PPC_BA16
;
5970 if (target_big_endian
)
5971 fixP
->fx_where
+= 2;
5974 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
5975 else if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0
5976 && (operand
->bitm
& 0xfff0) == 0xfff0
5977 && operand
->shift
== 0)
5979 if (ppc_is_toc_sym (fixP
->fx_addsy
))
5981 fixP
->fx_r_type
= BFD_RELOC_PPC_TOC16
;
5984 && (operand
->flags
& PPC_OPERAND_DS
) != 0)
5985 fixP
->fx_r_type
= BFD_RELOC_PPC64_TOC16_DS
;
5990 fixP
->fx_r_type
= BFD_RELOC_16
;
5993 && (operand
->flags
& PPC_OPERAND_DS
) != 0)
5994 fixP
->fx_r_type
= BFD_RELOC_PPC64_ADDR16_DS
;
5998 if (target_big_endian
)
5999 fixP
->fx_where
+= 2;
6001 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
6007 /* Use expr_symbol_where to see if this is an expression
6009 if (expr_symbol_where (fixP
->fx_addsy
, &sfile
, &sline
))
6010 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6011 _("unresolved expression that must be resolved"));
6013 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6014 _("unsupported relocation against %s"),
6015 S_GET_NAME (fixP
->fx_addsy
));
6023 ppc_elf_validate_fix (fixP
, seg
);
6025 switch (fixP
->fx_r_type
)
6027 case BFD_RELOC_CTOR
:
6034 fixP
->fx_r_type
= BFD_RELOC_32_PCREL
;
6038 case BFD_RELOC_32_PCREL
:
6039 case BFD_RELOC_PPC_EMB_NADDR32
:
6040 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6047 fixP
->fx_r_type
= BFD_RELOC_64_PCREL
;
6050 case BFD_RELOC_64_PCREL
:
6051 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6055 case BFD_RELOC_GPREL16
:
6056 case BFD_RELOC_16_GOT_PCREL
:
6057 case BFD_RELOC_16_GOTOFF
:
6058 case BFD_RELOC_LO16_GOTOFF
:
6059 case BFD_RELOC_HI16_GOTOFF
:
6060 case BFD_RELOC_HI16_S_GOTOFF
:
6061 case BFD_RELOC_16_BASEREL
:
6062 case BFD_RELOC_LO16_BASEREL
:
6063 case BFD_RELOC_HI16_BASEREL
:
6064 case BFD_RELOC_HI16_S_BASEREL
:
6065 case BFD_RELOC_PPC_EMB_NADDR16
:
6066 case BFD_RELOC_PPC_EMB_NADDR16_LO
:
6067 case BFD_RELOC_PPC_EMB_NADDR16_HI
:
6068 case BFD_RELOC_PPC_EMB_NADDR16_HA
:
6069 case BFD_RELOC_PPC_EMB_SDAI16
:
6070 case BFD_RELOC_PPC_EMB_SDA2REL
:
6071 case BFD_RELOC_PPC_EMB_SDA2I16
:
6072 case BFD_RELOC_PPC_EMB_RELSEC16
:
6073 case BFD_RELOC_PPC_EMB_RELST_LO
:
6074 case BFD_RELOC_PPC_EMB_RELST_HI
:
6075 case BFD_RELOC_PPC_EMB_RELST_HA
:
6076 case BFD_RELOC_PPC_EMB_RELSDA
:
6077 case BFD_RELOC_PPC_TOC16
:
6079 case BFD_RELOC_PPC64_TOC16_LO
:
6080 case BFD_RELOC_PPC64_TOC16_HI
:
6081 case BFD_RELOC_PPC64_TOC16_HA
:
6085 if (fixP
->fx_addsy
!= NULL
)
6086 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6087 _("cannot emit PC relative %s relocation against %s"),
6088 bfd_get_reloc_code_name (fixP
->fx_r_type
),
6089 S_GET_NAME (fixP
->fx_addsy
));
6091 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6092 _("cannot emit PC relative %s relocation"),
6093 bfd_get_reloc_code_name (fixP
->fx_r_type
));
6096 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6102 fixP
->fx_r_type
= BFD_RELOC_16_PCREL
;
6105 case BFD_RELOC_16_PCREL
:
6106 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6110 case BFD_RELOC_LO16
:
6112 fixP
->fx_r_type
= BFD_RELOC_LO16_PCREL
;
6115 case BFD_RELOC_LO16_PCREL
:
6116 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6120 /* This case happens when you write, for example,
6122 where L1 and L2 are defined later. */
6123 case BFD_RELOC_HI16
:
6125 fixP
->fx_r_type
= BFD_RELOC_HI16_PCREL
;
6128 case BFD_RELOC_HI16_PCREL
:
6129 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6133 case BFD_RELOC_HI16_S
:
6135 fixP
->fx_r_type
= BFD_RELOC_HI16_S_PCREL
;
6138 case BFD_RELOC_HI16_S_PCREL
:
6139 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6144 case BFD_RELOC_NONE
:
6149 case BFD_RELOC_PPC64_HIGHER
:
6152 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6153 PPC_HIGHER (value
), 2);
6156 case BFD_RELOC_PPC64_HIGHER_S
:
6159 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6160 PPC_HIGHERA (value
), 2);
6163 case BFD_RELOC_PPC64_HIGHEST
:
6166 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6167 PPC_HIGHEST (value
), 2);
6170 case BFD_RELOC_PPC64_HIGHEST_S
:
6173 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6174 PPC_HIGHESTA (value
), 2);
6177 case BFD_RELOC_PPC64_ADDR16_DS
:
6178 case BFD_RELOC_PPC64_ADDR16_LO_DS
:
6179 case BFD_RELOC_PPC64_GOT16_DS
:
6180 case BFD_RELOC_PPC64_GOT16_LO_DS
:
6181 case BFD_RELOC_PPC64_PLT16_LO_DS
:
6182 case BFD_RELOC_PPC64_SECTOFF_DS
:
6183 case BFD_RELOC_PPC64_SECTOFF_LO_DS
:
6184 case BFD_RELOC_PPC64_TOC16_DS
:
6185 case BFD_RELOC_PPC64_TOC16_LO_DS
:
6186 case BFD_RELOC_PPC64_PLTGOT16_DS
:
6187 case BFD_RELOC_PPC64_PLTGOT16_LO_DS
:
6191 char *where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
6192 unsigned long val
, mask
;
6194 if (target_big_endian
)
6195 val
= bfd_getb32 (where
- 2);
6197 val
= bfd_getl32 (where
);
6199 /* lq insns reserve the four lsbs. */
6200 if ((ppc_cpu
& PPC_OPCODE_POWER4
) != 0
6201 && (val
& (0x3f << 26)) == (56u << 26))
6203 val
|= value
& mask
;
6204 if (target_big_endian
)
6205 bfd_putb16 ((bfd_vma
) val
, where
);
6207 bfd_putl16 ((bfd_vma
) val
, where
);
6211 case BFD_RELOC_PPC_B16_BRTAKEN
:
6212 case BFD_RELOC_PPC_B16_BRNTAKEN
:
6213 case BFD_RELOC_PPC_BA16_BRTAKEN
:
6214 case BFD_RELOC_PPC_BA16_BRNTAKEN
:
6217 case BFD_RELOC_PPC_TLS
:
6218 case BFD_RELOC_PPC_TLSGD
:
6219 case BFD_RELOC_PPC_TLSLD
:
6222 case BFD_RELOC_PPC_DTPMOD
:
6223 case BFD_RELOC_PPC_TPREL16
:
6224 case BFD_RELOC_PPC_TPREL16_LO
:
6225 case BFD_RELOC_PPC_TPREL16_HI
:
6226 case BFD_RELOC_PPC_TPREL16_HA
:
6227 case BFD_RELOC_PPC_TPREL
:
6228 case BFD_RELOC_PPC_DTPREL16
:
6229 case BFD_RELOC_PPC_DTPREL16_LO
:
6230 case BFD_RELOC_PPC_DTPREL16_HI
:
6231 case BFD_RELOC_PPC_DTPREL16_HA
:
6232 case BFD_RELOC_PPC_DTPREL
:
6233 case BFD_RELOC_PPC_GOT_TLSGD16
:
6234 case BFD_RELOC_PPC_GOT_TLSGD16_LO
:
6235 case BFD_RELOC_PPC_GOT_TLSGD16_HI
:
6236 case BFD_RELOC_PPC_GOT_TLSGD16_HA
:
6237 case BFD_RELOC_PPC_GOT_TLSLD16
:
6238 case BFD_RELOC_PPC_GOT_TLSLD16_LO
:
6239 case BFD_RELOC_PPC_GOT_TLSLD16_HI
:
6240 case BFD_RELOC_PPC_GOT_TLSLD16_HA
:
6241 case BFD_RELOC_PPC_GOT_TPREL16
:
6242 case BFD_RELOC_PPC_GOT_TPREL16_LO
:
6243 case BFD_RELOC_PPC_GOT_TPREL16_HI
:
6244 case BFD_RELOC_PPC_GOT_TPREL16_HA
:
6245 case BFD_RELOC_PPC_GOT_DTPREL16
:
6246 case BFD_RELOC_PPC_GOT_DTPREL16_LO
:
6247 case BFD_RELOC_PPC_GOT_DTPREL16_HI
:
6248 case BFD_RELOC_PPC_GOT_DTPREL16_HA
:
6249 case BFD_RELOC_PPC64_TPREL16_DS
:
6250 case BFD_RELOC_PPC64_TPREL16_LO_DS
:
6251 case BFD_RELOC_PPC64_TPREL16_HIGHER
:
6252 case BFD_RELOC_PPC64_TPREL16_HIGHERA
:
6253 case BFD_RELOC_PPC64_TPREL16_HIGHEST
:
6254 case BFD_RELOC_PPC64_TPREL16_HIGHESTA
:
6255 case BFD_RELOC_PPC64_DTPREL16_DS
:
6256 case BFD_RELOC_PPC64_DTPREL16_LO_DS
:
6257 case BFD_RELOC_PPC64_DTPREL16_HIGHER
:
6258 case BFD_RELOC_PPC64_DTPREL16_HIGHERA
:
6259 case BFD_RELOC_PPC64_DTPREL16_HIGHEST
:
6260 case BFD_RELOC_PPC64_DTPREL16_HIGHESTA
:
6261 S_SET_THREAD_LOCAL (fixP
->fx_addsy
);
6264 /* Because SDA21 modifies the register field, the size is set to 4
6265 bytes, rather than 2, so offset it here appropriately. */
6266 case BFD_RELOC_PPC_EMB_SDA21
:
6270 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
6271 + ((target_big_endian
) ? 2 : 0),
6278 /* This can occur if there is a bug in the input assembler, eg:
6279 ".byte <undefined_symbol> - ." */
6281 as_bad (_("Unable to handle reference to symbol %s"),
6282 S_GET_NAME (fixP
->fx_addsy
));
6284 as_bad (_("Unable to resolve expression"));
6288 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6292 case BFD_RELOC_24_PLT_PCREL
:
6293 case BFD_RELOC_PPC_LOCAL24PC
:
6294 if (!fixP
->fx_pcrel
&& !fixP
->fx_done
)
6302 /* Fetch the instruction, insert the fully resolved operand
6303 value, and stuff the instruction back again. */
6304 where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
6305 if (target_big_endian
)
6306 insn
= bfd_getb32 ((unsigned char *) where
);
6308 insn
= bfd_getl32 ((unsigned char *) where
);
6309 if ((value
& 3) != 0)
6310 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6311 _("must branch to an address a multiple of 4"));
6312 if ((offsetT
) value
< -0x40000000
6313 || (offsetT
) value
>= 0x40000000)
6314 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6315 _("@local or @plt branch destination is too far away, %ld bytes"),
6317 insn
= insn
| (value
& 0x03fffffc);
6318 if (target_big_endian
)
6319 bfd_putb32 ((bfd_vma
) insn
, (unsigned char *) where
);
6321 bfd_putl32 ((bfd_vma
) insn
, (unsigned char *) where
);
6325 case BFD_RELOC_VTABLE_INHERIT
:
6328 && !S_IS_DEFINED (fixP
->fx_addsy
)
6329 && !S_IS_WEAK (fixP
->fx_addsy
))
6330 S_SET_WEAK (fixP
->fx_addsy
);
6333 case BFD_RELOC_VTABLE_ENTRY
:
6338 /* Generated by reference to `sym@tocbase'. The sym is
6339 ignored by the linker. */
6340 case BFD_RELOC_PPC64_TOC
:
6346 _("Gas failure, reloc value %d\n"), fixP
->fx_r_type
);
6353 fixP
->fx_addnumber
= value
;
6355 /* PowerPC uses RELA relocs, ie. the reloc addend is stored separately
6356 from the section contents. If we are going to be emitting a reloc
6357 then the section contents are immaterial, so don't warn if they
6358 happen to overflow. Leave such warnings to ld. */
6360 fixP
->fx_no_overflow
= 1;
6362 if (fixP
->fx_r_type
!= BFD_RELOC_PPC_TOC16
)
6363 fixP
->fx_addnumber
= 0;
6367 fixP
->fx_addnumber
= 0;
6369 /* We want to use the offset within the toc, not the actual VMA
6371 fixP
->fx_addnumber
=
6372 - bfd_get_section_vma (stdoutput
, S_GET_SEGMENT (fixP
->fx_addsy
))
6373 - S_GET_VALUE (ppc_toc_csect
);
6379 /* Generate a reloc for a fixup. */
6382 tc_gen_reloc (asection
*seg ATTRIBUTE_UNUSED
, fixS
*fixp
)
6386 reloc
= (arelent
*) xmalloc (sizeof (arelent
));
6388 reloc
->sym_ptr_ptr
= (asymbol
**) xmalloc (sizeof (asymbol
*));
6389 *reloc
->sym_ptr_ptr
= symbol_get_bfdsym (fixp
->fx_addsy
);
6390 reloc
->address
= fixp
->fx_frag
->fr_address
+ fixp
->fx_where
;
6391 reloc
->howto
= bfd_reloc_type_lookup (stdoutput
, fixp
->fx_r_type
);
6392 if (reloc
->howto
== (reloc_howto_type
*) NULL
)
6394 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
6395 _("reloc %d not supported by object file format"),
6396 (int) fixp
->fx_r_type
);
6399 reloc
->addend
= fixp
->fx_addnumber
;
6405 ppc_cfi_frame_initial_instructions (void)
6407 cfi_add_CFA_def_cfa (1, 0);
6411 tc_ppc_regname_to_dw2regnum (char *regname
)
6413 unsigned int regnum
= -1;
6417 static struct { char *name
; int dw2regnum
; } regnames
[] =
6419 { "sp", 1 }, { "r.sp", 1 }, { "rtoc", 2 }, { "r.toc", 2 },
6420 { "mq", 64 }, { "lr", 65 }, { "ctr", 66 }, { "ap", 67 },
6421 { "cr", 70 }, { "xer", 76 }, { "vrsave", 109 }, { "vscr", 110 },
6422 { "spe_acc", 111 }, { "spefscr", 112 }
6425 for (i
= 0; i
< ARRAY_SIZE (regnames
); ++i
)
6426 if (strcmp (regnames
[i
].name
, regname
) == 0)
6427 return regnames
[i
].dw2regnum
;
6429 if (regname
[0] == 'r' || regname
[0] == 'f' || regname
[0] == 'v')
6431 p
= regname
+ 1 + (regname
[1] == '.');
6432 regnum
= strtoul (p
, &q
, 10);
6433 if (p
== q
|| *q
|| regnum
>= 32)
6435 if (regname
[0] == 'f')
6437 else if (regname
[0] == 'v')
6440 else if (regname
[0] == 'c' && regname
[1] == 'r')
6442 p
= regname
+ 2 + (regname
[2] == '.');
6443 if (p
[0] < '0' || p
[0] > '7' || p
[1])
6445 regnum
= p
[0] - '0' + 68;