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 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_section (int);
112 static void ppc_named_section (int);
113 static void ppc_stabx (int);
114 static void ppc_rename (int);
115 static void ppc_toc (int);
116 static void ppc_xcoff_cons (int);
117 static void ppc_vbyte (int);
121 static void ppc_elf_cons (int);
122 static void ppc_elf_rdata (int);
123 static void ppc_elf_lcomm (int);
127 static void ppc_previous (int);
128 static void ppc_pdata (int);
129 static void ppc_ydata (int);
130 static void ppc_reldata (int);
131 static void ppc_rdata (int);
132 static void ppc_ualong (int);
133 static void ppc_znop (int);
134 static void ppc_pe_comm (int);
135 static void ppc_pe_section (int);
136 static void ppc_pe_function (int);
137 static void ppc_pe_tocd (int);
140 /* Generic assembler global variables which must be defined by all
144 /* This string holds the chars that always start a comment. If the
145 pre-processor is disabled, these aren't very useful. The macro
146 tc_comment_chars points to this. We use this, rather than the
147 usual comment_chars, so that we can switch for Solaris conventions. */
148 static const char ppc_solaris_comment_chars
[] = "#!";
149 static const char ppc_eabi_comment_chars
[] = "#";
151 #ifdef TARGET_SOLARIS_COMMENT
152 const char *ppc_comment_chars
= ppc_solaris_comment_chars
;
154 const char *ppc_comment_chars
= ppc_eabi_comment_chars
;
157 const char comment_chars
[] = "#";
160 /* Characters which start a comment at the beginning of a line. */
161 const char line_comment_chars
[] = "#";
163 /* Characters which may be used to separate multiple commands on a
165 const char line_separator_chars
[] = ";";
167 /* Characters which are used to indicate an exponent in a floating
169 const char EXP_CHARS
[] = "eE";
171 /* Characters which mean that a number is a floating point constant,
173 const char FLT_CHARS
[] = "dD";
175 /* Anything that can start an operand needs to be mentioned here,
176 to stop the input scrubber eating whitespace. */
177 const char ppc_symbol_chars
[] = "%[";
179 /* The dwarf2 data alignment, adjusted for 32 or 64 bit. */
180 int ppc_cie_data_alignment
;
182 /* The type of processor we are assembling for. This is one or more
183 of the PPC_OPCODE flags defined in opcode/ppc.h. */
184 ppc_cpu_t ppc_cpu
= 0;
186 /* The target specific pseudo-ops which we support. */
188 const pseudo_typeS md_pseudo_table
[] =
190 /* Pseudo-ops which must be overridden. */
191 { "byte", ppc_byte
, 0 },
194 /* Pseudo-ops specific to the RS/6000 XCOFF format. Some of these
195 legitimately belong in the obj-*.c file. However, XCOFF is based
196 on COFF, and is only implemented for the RS/6000. We just use
197 obj-coff.c, and add what we need here. */
198 { "comm", ppc_comm
, 0 },
199 { "lcomm", ppc_comm
, 1 },
203 { "bi", ppc_biei
, 0 },
205 { "csect", ppc_csect
, 0 },
206 { "data", ppc_section
, 'd' },
210 { "ei", ppc_biei
, 1 },
212 { "extern", ppc_extern
, 0 },
213 { "function", ppc_function
, 0 },
214 { "lglobl", ppc_lglobl
, 0 },
215 { "rename", ppc_rename
, 0 },
216 { "section", ppc_named_section
, 0 },
217 { "stabx", ppc_stabx
, 0 },
218 { "text", ppc_section
, 't' },
219 { "toc", ppc_toc
, 0 },
220 { "long", ppc_xcoff_cons
, 2 },
221 { "llong", ppc_xcoff_cons
, 3 },
222 { "word", ppc_xcoff_cons
, 1 },
223 { "short", ppc_xcoff_cons
, 1 },
224 { "vbyte", ppc_vbyte
, 0 },
228 { "llong", ppc_elf_cons
, 8 },
229 { "quad", ppc_elf_cons
, 8 },
230 { "long", ppc_elf_cons
, 4 },
231 { "word", ppc_elf_cons
, 2 },
232 { "short", ppc_elf_cons
, 2 },
233 { "rdata", ppc_elf_rdata
, 0 },
234 { "rodata", ppc_elf_rdata
, 0 },
235 { "lcomm", ppc_elf_lcomm
, 0 },
239 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
240 { "previous", ppc_previous
, 0 },
241 { "pdata", ppc_pdata
, 0 },
242 { "ydata", ppc_ydata
, 0 },
243 { "reldata", ppc_reldata
, 0 },
244 { "rdata", ppc_rdata
, 0 },
245 { "ualong", ppc_ualong
, 0 },
246 { "znop", ppc_znop
, 0 },
247 { "comm", ppc_pe_comm
, 0 },
248 { "lcomm", ppc_pe_comm
, 1 },
249 { "section", ppc_pe_section
, 0 },
250 { "function", ppc_pe_function
,0 },
251 { "tocd", ppc_pe_tocd
, 0 },
254 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
256 { "machine", ppc_machine
, 0 },
263 /* Predefined register names if -mregnames (or default for Windows NT).
264 In general, there are lots of them, in an attempt to be compatible
265 with a number of other Windows NT assemblers. */
267 /* Structure to hold information about predefined registers. */
274 /* List of registers that are pre-defined:
276 Each general register has predefined names of the form:
277 1. r<reg_num> which has the value <reg_num>.
278 2. r.<reg_num> which has the value <reg_num>.
280 Each floating point register has predefined names of the form:
281 1. f<reg_num> which has the value <reg_num>.
282 2. f.<reg_num> which has the value <reg_num>.
284 Each vector unit register has predefined names of the form:
285 1. v<reg_num> which has the value <reg_num>.
286 2. v.<reg_num> which has the value <reg_num>.
288 Each condition register has predefined names of the form:
289 1. cr<reg_num> which has the value <reg_num>.
290 2. cr.<reg_num> which has the value <reg_num>.
292 There are individual registers as well:
293 sp or r.sp has the value 1
294 rtoc or r.toc has the value 2
295 fpscr has the value 0
301 dsisr has the value 18
303 sdr1 has the value 25
304 srr0 has the value 26
305 srr1 has the value 27
307 The table is sorted. Suitable for searching by a binary search. */
309 static const struct pd_reg pre_defined_registers
[] =
311 { "cr.0", 0 }, /* Condition Registers */
331 { "dar", 19 }, /* Data Access Register */
332 { "dec", 22 }, /* Decrementer */
333 { "dsisr", 18 }, /* Data Storage Interrupt Status Register */
335 { "f.0", 0 }, /* Floating point registers */
362 { "f.32", 32 }, /* Extended floating point scalar registers (ISA 2.06). */
428 { "f32", 32 }, /* Extended floating point scalar registers (ISA 2.06). */
469 /* Quantization registers used with pair single instructions. */
487 { "lr", 8 }, /* Link Register */
491 { "r.0", 0 }, /* General Purpose Registers */
524 { "r.sp", 1 }, /* Stack Pointer */
526 { "r.toc", 2 }, /* Pointer to the table of contents */
528 { "r0", 0 }, /* More general purpose registers */
561 { "rtoc", 2 }, /* Table of contents */
563 { "sdr1", 25 }, /* Storage Description Register 1 */
567 { "srr0", 26 }, /* Machine Status Save/Restore Register 0 */
568 { "srr1", 27 }, /* Machine Status Save/Restore Register 1 */
570 { "v.0", 0 }, /* Vector (Altivec/VMX) registers */
636 { "vs.0", 0 }, /* Vector Scalar (VSX) registers (ISA 2.06). */
770 #define REG_NAME_CNT (sizeof (pre_defined_registers) / sizeof (struct pd_reg))
772 /* Given NAME, find the register number associated with that name, return
773 the integer value associated with the given name or -1 on failure. */
776 reg_name_search (const struct pd_reg
*regs
, int regcount
, const char *name
)
778 int middle
, low
, high
;
786 middle
= (low
+ high
) / 2;
787 cmp
= strcasecmp (name
, regs
[middle
].name
);
793 return regs
[middle
].value
;
801 * Summary of register_name.
803 * in: Input_line_pointer points to 1st char of operand.
805 * out: A expressionS.
806 * The operand may have been a register: in this case, X_op == O_register,
807 * X_add_number is set to the register number, and truth is returned.
808 * Input_line_pointer->(next non-blank) char after operand, or is in its
813 register_name (expressionS
*expressionP
)
820 /* Find the spelling of the operand. */
821 start
= name
= input_line_pointer
;
822 if (name
[0] == '%' && ISALPHA (name
[1]))
823 name
= ++input_line_pointer
;
825 else if (!reg_names_p
|| !ISALPHA (name
[0]))
828 c
= get_symbol_end ();
829 reg_number
= reg_name_search (pre_defined_registers
, REG_NAME_CNT
, name
);
831 /* Put back the delimiting char. */
832 *input_line_pointer
= c
;
834 /* Look to see if it's in the register table. */
837 expressionP
->X_op
= O_register
;
838 expressionP
->X_add_number
= reg_number
;
840 /* Make the rest nice. */
841 expressionP
->X_add_symbol
= NULL
;
842 expressionP
->X_op_symbol
= NULL
;
846 /* Reset the line as if we had not done anything. */
847 input_line_pointer
= start
;
851 /* This function is called for each symbol seen in an expression. It
852 handles the special parsing which PowerPC assemblers are supposed
853 to use for condition codes. */
855 /* Whether to do the special parsing. */
856 static bfd_boolean cr_operand
;
858 /* Names to recognize in a condition code. This table is sorted. */
859 static const struct pd_reg cr_names
[] =
876 /* Parsing function. This returns non-zero if it recognized an
880 ppc_parse_name (const char *name
, expressionS
*expr
)
889 val
= reg_name_search (cr_names
, sizeof cr_names
/ sizeof cr_names
[0],
894 expr
->X_op
= O_constant
;
895 expr
->X_add_number
= val
;
900 /* Local variables. */
902 /* Whether to target xcoff64/elf64. */
903 static unsigned int ppc_obj64
= BFD_DEFAULT_TARGET_SIZE
== 64;
905 /* Opcode hash table. */
906 static struct hash_control
*ppc_hash
;
908 /* Macro hash table. */
909 static struct hash_control
*ppc_macro_hash
;
912 /* What type of shared library support to use. */
913 static enum { SHLIB_NONE
, SHLIB_PIC
, SHLIB_MRELOCATABLE
} shlib
= SHLIB_NONE
;
915 /* Flags to set in the elf header. */
916 static flagword ppc_flags
= 0;
918 /* Whether this is Solaris or not. */
919 #ifdef TARGET_SOLARIS_COMMENT
920 #define SOLARIS_P TRUE
922 #define SOLARIS_P FALSE
925 static bfd_boolean msolaris
= SOLARIS_P
;
930 /* The RS/6000 assembler uses the .csect pseudo-op to generate code
931 using a bunch of different sections. These assembler sections,
932 however, are all encompassed within the .text or .data sections of
933 the final output file. We handle this by using different
934 subsegments within these main segments. */
936 /* Next subsegment to allocate within the .text segment. */
937 static subsegT ppc_text_subsegment
= 2;
939 /* Linked list of csects in the text section. */
940 static symbolS
*ppc_text_csects
;
942 /* Next subsegment to allocate within the .data segment. */
943 static subsegT ppc_data_subsegment
= 2;
945 /* Linked list of csects in the data section. */
946 static symbolS
*ppc_data_csects
;
948 /* The current csect. */
949 static symbolS
*ppc_current_csect
;
951 /* The RS/6000 assembler uses a TOC which holds addresses of functions
952 and variables. Symbols are put in the TOC with the .tc pseudo-op.
953 A special relocation is used when accessing TOC entries. We handle
954 the TOC as a subsegment within the .data segment. We set it up if
955 we see a .toc pseudo-op, and save the csect symbol here. */
956 static symbolS
*ppc_toc_csect
;
958 /* The first frag in the TOC subsegment. */
959 static fragS
*ppc_toc_frag
;
961 /* The first frag in the first subsegment after the TOC in the .data
962 segment. NULL if there are no subsegments after the TOC. */
963 static fragS
*ppc_after_toc_frag
;
965 /* The current static block. */
966 static symbolS
*ppc_current_block
;
968 /* The COFF debugging section; set by md_begin. This is not the
969 .debug section, but is instead the secret BFD section which will
970 cause BFD to set the section number of a symbol to N_DEBUG. */
971 static asection
*ppc_coff_debug_section
;
973 #endif /* OBJ_XCOFF */
977 /* Various sections that we need for PE coff support. */
978 static segT ydata_section
;
979 static segT pdata_section
;
980 static segT reldata_section
;
981 static segT rdata_section
;
982 static segT tocdata_section
;
984 /* The current section and the previous section. See ppc_previous. */
985 static segT ppc_previous_section
;
986 static segT ppc_current_section
;
991 symbolS
*GOT_symbol
; /* Pre-defined "_GLOBAL_OFFSET_TABLE" */
992 #define PPC_APUINFO_ISEL 0x40
993 #define PPC_APUINFO_PMR 0x41
994 #define PPC_APUINFO_RFMCI 0x42
995 #define PPC_APUINFO_CACHELCK 0x43
996 #define PPC_APUINFO_SPE 0x100
997 #define PPC_APUINFO_EFS 0x101
998 #define PPC_APUINFO_BRLOCK 0x102
1001 * We keep a list of APUinfo
1003 unsigned long *ppc_apuinfo_list
;
1004 unsigned int ppc_apuinfo_num
;
1005 unsigned int ppc_apuinfo_num_alloc
;
1006 #endif /* OBJ_ELF */
1009 const char *const md_shortopts
= "b:l:usm:K:VQ:";
1011 const char *const md_shortopts
= "um:";
1013 const struct option md_longopts
[] = {
1014 {NULL
, no_argument
, NULL
, 0}
1016 const size_t md_longopts_size
= sizeof (md_longopts
);
1019 /* Handle -m options that set cpu type, and .machine arg. */
1022 parse_cpu (const char *arg
)
1024 ppc_cpu_t retain_flags
=
1025 ppc_cpu
& (PPC_OPCODE_ALTIVEC
| PPC_OPCODE_VSX
| PPC_OPCODE_SPE
);
1027 /* -mpwrx and -mpwr2 mean to assemble for the IBM POWER/2
1029 if (strcmp (arg
, "pwrx") == 0 || strcmp (arg
, "pwr2") == 0)
1030 ppc_cpu
= PPC_OPCODE_POWER
| PPC_OPCODE_POWER2
| PPC_OPCODE_32
;
1031 /* -mpwr means to assemble for the IBM POWER (RIOS1). */
1032 else if (strcmp (arg
, "pwr") == 0)
1033 ppc_cpu
= PPC_OPCODE_POWER
| PPC_OPCODE_32
;
1034 /* -m601 means to assemble for the PowerPC 601, which includes
1035 instructions that are holdovers from the Power. */
1036 else if (strcmp (arg
, "601") == 0)
1037 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
1038 | PPC_OPCODE_601
| PPC_OPCODE_32
);
1039 /* -mppc, -mppc32, -m603, and -m604 mean to assemble for the
1041 else if (strcmp (arg
, "ppc") == 0
1042 || strcmp (arg
, "ppc32") == 0
1043 || strcmp (arg
, "603") == 0
1044 || strcmp (arg
, "604") == 0)
1045 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
| PPC_OPCODE_32
;
1046 /* Do all PPC750s have paired single ops? */
1047 else if (strcmp (arg
, "750cl") == 0)
1048 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_PPCPS
;
1049 else if (strcmp (arg
, "403") == 0)
1050 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
1051 | PPC_OPCODE_403
| PPC_OPCODE_32
);
1052 else if (strcmp (arg
, "405") == 0)
1053 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
1054 | PPC_OPCODE_403
| PPC_OPCODE_405
| PPC_OPCODE_32
);
1055 else if (strcmp (arg
, "440") == 0
1056 || strcmp (arg
, "464") == 0)
1057 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_BOOKE
| PPC_OPCODE_32
1058 | PPC_OPCODE_440
| PPC_OPCODE_ISEL
| PPC_OPCODE_RFMCI
);
1059 else if (strcmp (arg
, "7400") == 0
1060 || strcmp (arg
, "7410") == 0
1061 || strcmp (arg
, "7450") == 0
1062 || strcmp (arg
, "7455") == 0)
1063 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
1064 | PPC_OPCODE_ALTIVEC
| PPC_OPCODE_32
);
1065 else if (strcmp (arg
, "e300") == 0)
1066 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
| PPC_OPCODE_32
1068 else if (strcmp (arg
, "altivec") == 0)
1071 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
;
1073 retain_flags
|= PPC_OPCODE_ALTIVEC
;
1075 else if (strcmp (arg
, "vsx") == 0)
1078 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
;
1080 retain_flags
|= PPC_OPCODE_VSX
;
1082 else if (strcmp (arg
, "e500") == 0 || strcmp (arg
, "e500x2") == 0)
1084 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_BOOKE
| PPC_OPCODE_SPE
1085 | PPC_OPCODE_ISEL
| PPC_OPCODE_EFS
| PPC_OPCODE_BRLOCK
1086 | PPC_OPCODE_PMR
| PPC_OPCODE_CACHELCK
1087 | PPC_OPCODE_RFMCI
| PPC_OPCODE_E500MC
);
1089 else if (strcmp (arg
, "e500mc") == 0)
1091 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_BOOKE
| PPC_OPCODE_ISEL
1092 | PPC_OPCODE_PMR
| PPC_OPCODE_CACHELCK
1093 | PPC_OPCODE_RFMCI
| PPC_OPCODE_E500MC
);
1095 else if (strcmp (arg
, "spe") == 0)
1098 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_EFS
;
1100 retain_flags
|= PPC_OPCODE_SPE
;
1102 /* -mppc64 and -m620 mean to assemble for the 64-bit PowerPC
1104 else if (strcmp (arg
, "ppc64") == 0 || strcmp (arg
, "620") == 0)
1106 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
| PPC_OPCODE_64
;
1108 else if (strcmp (arg
, "ppc64bridge") == 0)
1110 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
1111 | PPC_OPCODE_64_BRIDGE
| PPC_OPCODE_64
);
1113 /* -mbooke/-mbooke32 mean enable 32-bit BookE support. */
1114 else if (strcmp (arg
, "booke") == 0 || strcmp (arg
, "booke32") == 0)
1116 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_BOOKE
| PPC_OPCODE_32
;
1118 else if (strcmp (arg
, "power4") == 0)
1120 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
1121 | PPC_OPCODE_64
| PPC_OPCODE_POWER4
);
1123 else if (strcmp (arg
, "power5") == 0)
1125 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
1126 | PPC_OPCODE_64
| PPC_OPCODE_POWER4
1127 | PPC_OPCODE_POWER5
);
1129 else if (strcmp (arg
, "power6") == 0)
1131 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
1132 | PPC_OPCODE_64
| PPC_OPCODE_POWER4
1133 | PPC_OPCODE_POWER5
| PPC_OPCODE_POWER6
1134 | PPC_OPCODE_ALTIVEC
);
1136 else if (strcmp (arg
, "power7") == 0)
1138 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
1139 | PPC_OPCODE_ISEL
| PPC_OPCODE_64
1140 | PPC_OPCODE_POWER4
| PPC_OPCODE_POWER5
1141 | PPC_OPCODE_POWER6
| PPC_OPCODE_POWER7
1142 | PPC_OPCODE_ALTIVEC
| PPC_OPCODE_VSX
);
1144 else if (strcmp (arg
, "cell") == 0)
1146 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
1147 | PPC_OPCODE_64
| PPC_OPCODE_POWER4
1148 | PPC_OPCODE_CELL
| PPC_OPCODE_ALTIVEC
);
1150 /* -mcom means assemble for the common intersection between Power
1151 and PowerPC. At present, we just allow the union, rather
1152 than the intersection. */
1153 else if (strcmp (arg
, "com") == 0)
1154 ppc_cpu
= PPC_OPCODE_COMMON
| PPC_OPCODE_32
;
1155 /* -many means to assemble for any architecture (PWR/PWRX/PPC). */
1156 else if (strcmp (arg
, "any") == 0)
1157 ppc_cpu
|= PPC_OPCODE_ANY
;
1161 /* Make sure the the Altivec, VSX and SPE bits are not lost. */
1162 ppc_cpu
|= retain_flags
;
1167 md_parse_option (int c
, char *arg
)
1172 /* -u means that any undefined symbols should be treated as
1173 external, which is the default for gas anyhow. */
1178 /* Solaris as takes -le (presumably for little endian). For completeness
1179 sake, recognize -be also. */
1180 if (strcmp (arg
, "e") == 0)
1182 target_big_endian
= 0;
1183 set_target_endian
= 1;
1191 if (strcmp (arg
, "e") == 0)
1193 target_big_endian
= 1;
1194 set_target_endian
= 1;
1202 /* Recognize -K PIC. */
1203 if (strcmp (arg
, "PIC") == 0 || strcmp (arg
, "pic") == 0)
1206 ppc_flags
|= EF_PPC_RELOCATABLE_LIB
;
1214 /* a64 and a32 determine whether to use XCOFF64 or XCOFF32. */
1216 if (strcmp (arg
, "64") == 0)
1221 as_fatal (_("%s unsupported"), "-a64");
1224 else if (strcmp (arg
, "32") == 0)
1231 if (parse_cpu (arg
))
1234 else if (strcmp (arg
, "regnames") == 0)
1237 else if (strcmp (arg
, "no-regnames") == 0)
1238 reg_names_p
= FALSE
;
1241 /* -mrelocatable/-mrelocatable-lib -- warn about initializations
1242 that require relocation. */
1243 else if (strcmp (arg
, "relocatable") == 0)
1245 shlib
= SHLIB_MRELOCATABLE
;
1246 ppc_flags
|= EF_PPC_RELOCATABLE
;
1249 else if (strcmp (arg
, "relocatable-lib") == 0)
1251 shlib
= SHLIB_MRELOCATABLE
;
1252 ppc_flags
|= EF_PPC_RELOCATABLE_LIB
;
1255 /* -memb, set embedded bit. */
1256 else if (strcmp (arg
, "emb") == 0)
1257 ppc_flags
|= EF_PPC_EMB
;
1259 /* -mlittle/-mbig set the endianess. */
1260 else if (strcmp (arg
, "little") == 0
1261 || strcmp (arg
, "little-endian") == 0)
1263 target_big_endian
= 0;
1264 set_target_endian
= 1;
1267 else if (strcmp (arg
, "big") == 0 || strcmp (arg
, "big-endian") == 0)
1269 target_big_endian
= 1;
1270 set_target_endian
= 1;
1273 else if (strcmp (arg
, "solaris") == 0)
1276 ppc_comment_chars
= ppc_solaris_comment_chars
;
1279 else if (strcmp (arg
, "no-solaris") == 0)
1282 ppc_comment_chars
= ppc_eabi_comment_chars
;
1287 as_bad (_("invalid switch -m%s"), arg
);
1293 /* -V: SVR4 argument to print version ID. */
1295 print_version_id ();
1298 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
1299 should be emitted or not. FIXME: Not implemented. */
1303 /* Solaris takes -s to specify that .stabs go in a .stabs section,
1304 rather than .stabs.excl, which is ignored by the linker.
1305 FIXME: Not implemented. */
1321 md_show_usage (FILE *stream
)
1323 fprintf (stream
, _("\
1325 -a32 generate ELF32/XCOFF32\n\
1326 -a64 generate ELF64/XCOFF64\n\
1328 -mpwrx, -mpwr2 generate code for POWER/2 (RIOS2)\n\
1329 -mpwr generate code for POWER (RIOS1)\n\
1330 -m601 generate code for PowerPC 601\n\
1331 -mppc, -mppc32, -m603, -m604\n\
1332 generate code for PowerPC 603/604\n\
1333 -m403 generate code for PowerPC 403\n\
1334 -m405 generate code for PowerPC 405\n\
1335 -m440 generate code for PowerPC 440\n\
1336 -m464 generate code for PowerPC 464\n\
1337 -m7400, -m7410, -m7450, -m7455\n\
1338 generate code for PowerPC 7400/7410/7450/7455\n\
1339 -m750cl generate code for PowerPC 750cl\n"));
1340 fprintf (stream
, _("\
1341 -mppc64, -m620 generate code for PowerPC 620/625/630\n\
1342 -mppc64bridge generate code for PowerPC 64, including bridge insns\n\
1343 -mbooke generate code for 32-bit PowerPC BookE\n\
1344 -mpower4 generate code for Power4 architecture\n\
1345 -mpower5 generate code for Power5 architecture\n\
1346 -mpower6 generate code for Power6 architecture\n\
1347 -mpower7 generate code for Power7 architecture\n\
1348 -mcell generate code for Cell Broadband Engine architecture\n\
1349 -mcom generate code Power/PowerPC common instructions\n\
1350 -many generate code for any architecture (PWR/PWRX/PPC)\n"));
1351 fprintf (stream
, _("\
1352 -maltivec generate code for AltiVec\n\
1353 -mvsx generate code for Vector-Scalar (VSX) instructions\n\
1354 -me300 generate code for PowerPC e300 family\n\
1355 -me500, -me500x2 generate code for Motorola e500 core complex\n\
1356 -me500mc, generate code for Freescale e500mc core complex\n\
1357 -mspe generate code for Motorola SPE instructions\n\
1358 -mregnames Allow symbolic names for registers\n\
1359 -mno-regnames Do not allow symbolic names for registers\n"));
1361 fprintf (stream
, _("\
1362 -mrelocatable support for GCC's -mrelocatble option\n\
1363 -mrelocatable-lib support for GCC's -mrelocatble-lib option\n\
1364 -memb set PPC_EMB bit in ELF flags\n\
1365 -mlittle, -mlittle-endian, -l, -le\n\
1366 generate code for a little endian machine\n\
1367 -mbig, -mbig-endian, -b, -be\n\
1368 generate code for a big endian machine\n\
1369 -msolaris generate code for Solaris\n\
1370 -mno-solaris do not generate code for Solaris\n\
1371 -V print assembler version number\n\
1372 -Qy, -Qn ignored\n"));
1376 /* Set ppc_cpu if it is not already set. */
1381 const char *default_os
= TARGET_OS
;
1382 const char *default_cpu
= TARGET_CPU
;
1384 if ((ppc_cpu
& ~PPC_OPCODE_ANY
) == 0)
1387 ppc_cpu
|= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
| PPC_OPCODE_64
;
1388 else if (strncmp (default_os
, "aix", 3) == 0
1389 && default_os
[3] >= '4' && default_os
[3] <= '9')
1390 ppc_cpu
|= PPC_OPCODE_COMMON
| PPC_OPCODE_32
;
1391 else if (strncmp (default_os
, "aix3", 4) == 0)
1392 ppc_cpu
|= PPC_OPCODE_POWER
| PPC_OPCODE_32
;
1393 else if (strcmp (default_cpu
, "rs6000") == 0)
1394 ppc_cpu
|= PPC_OPCODE_POWER
| PPC_OPCODE_32
;
1395 else if (strncmp (default_cpu
, "powerpc", 7) == 0)
1396 ppc_cpu
|= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
| PPC_OPCODE_32
;
1398 as_fatal (_("Unknown default cpu = %s, os = %s"),
1399 default_cpu
, default_os
);
1403 /* Figure out the BFD architecture to use. This function and ppc_mach
1404 are called well before md_begin, when the output file is opened. */
1406 enum bfd_architecture
1409 const char *default_cpu
= TARGET_CPU
;
1412 if ((ppc_cpu
& PPC_OPCODE_PPC
) != 0)
1413 return bfd_arch_powerpc
;
1414 else if ((ppc_cpu
& PPC_OPCODE_POWER
) != 0)
1415 return bfd_arch_rs6000
;
1416 else if ((ppc_cpu
& (PPC_OPCODE_COMMON
| PPC_OPCODE_ANY
)) != 0)
1418 if (strcmp (default_cpu
, "rs6000") == 0)
1419 return bfd_arch_rs6000
;
1420 else if (strncmp (default_cpu
, "powerpc", 7) == 0)
1421 return bfd_arch_powerpc
;
1424 as_fatal (_("Neither Power nor PowerPC opcodes were selected."));
1425 return bfd_arch_unknown
;
1432 return bfd_mach_ppc64
;
1433 else if (ppc_arch () == bfd_arch_rs6000
)
1434 return bfd_mach_rs6k
;
1436 return bfd_mach_ppc
;
1440 ppc_target_format (void)
1444 return target_big_endian
? "pe-powerpc" : "pe-powerpcle";
1446 return "xcoff-powermac";
1449 return (ppc_obj64
? "aix5coff64-rs6000" : "aixcoff-rs6000");
1451 return (ppc_obj64
? "aixcoff64-rs6000" : "aixcoff-rs6000");
1457 return "elf32-powerpc-vxworks";
1459 return (target_big_endian
1460 ? (ppc_obj64
? "elf64-powerpc" : "elf32-powerpc")
1461 : (ppc_obj64
? "elf64-powerpcle" : "elf32-powerpcle"));
1466 /* Insert opcodes and macros into hash tables. Called at startup and
1470 ppc_setup_opcodes (void)
1472 const struct powerpc_opcode
*op
;
1473 const struct powerpc_opcode
*op_end
;
1474 const struct powerpc_macro
*macro
;
1475 const struct powerpc_macro
*macro_end
;
1476 bfd_boolean bad_insn
= FALSE
;
1478 if (ppc_hash
!= NULL
)
1479 hash_die (ppc_hash
);
1480 if (ppc_macro_hash
!= NULL
)
1481 hash_die (ppc_macro_hash
);
1483 /* Insert the opcodes into a hash table. */
1484 ppc_hash
= hash_new ();
1486 if (ENABLE_CHECKING
)
1490 /* Check operand masks. Code here and in the disassembler assumes
1491 all the 1's in the mask are contiguous. */
1492 for (i
= 0; i
< num_powerpc_operands
; ++i
)
1494 unsigned long mask
= powerpc_operands
[i
].bitm
;
1495 unsigned long right_bit
;
1498 right_bit
= mask
& -mask
;
1500 right_bit
= mask
& -mask
;
1501 if (mask
!= right_bit
)
1503 as_bad (_("powerpc_operands[%d].bitm invalid"), i
);
1506 for (j
= i
+ 1; j
< num_powerpc_operands
; ++j
)
1507 if (memcmp (&powerpc_operands
[i
], &powerpc_operands
[j
],
1508 sizeof (powerpc_operands
[0])) == 0)
1510 as_bad (_("powerpc_operands[%d] duplicates powerpc_operands[%d]"),
1517 op_end
= powerpc_opcodes
+ powerpc_num_opcodes
;
1518 for (op
= powerpc_opcodes
; op
< op_end
; op
++)
1520 if (ENABLE_CHECKING
)
1522 const unsigned char *o
;
1523 unsigned long omask
= op
->mask
;
1525 if (op
!= powerpc_opcodes
)
1527 /* The major opcodes had better be sorted. Code in the
1528 disassembler assumes the insns are sorted according to
1530 if (PPC_OP (op
[0].opcode
) < PPC_OP (op
[-1].opcode
))
1532 as_bad (_("major opcode is not sorted for %s"),
1537 /* Warn if the table isn't more strictly ordered.
1538 Unfortunately it doesn't seem possible to order the
1539 table on much more than the major opcode, which makes
1540 it difficult to implement a binary search in the
1541 disassembler. The problem is that we have multiple
1542 ways to disassemble instructions, and we usually want
1543 to choose a more specific form (with more bits set in
1544 the opcode) than a more general form. eg. all of the
1545 following are equivalent:
1546 bne label # opcode = 0x40820000, mask = 0xff830003
1547 bf 2,label # opcode = 0x40800000, mask = 0xff800003
1548 bc 4,2,label # opcode = 0x40000000, mask = 0xfc000003
1550 There are also cases where the table needs to be out
1551 of order to disassemble the correct instruction for
1552 processor variants. */
1555 unsigned long t1
= op
[0].opcode
;
1556 unsigned long t2
= op
[-1].opcode
;
1558 if (((t1
^ t2
) & 0xfc0007ff) == 0
1559 && (t1
& 0xfc0006df) == 0x7c000286)
1561 /* spr field is split. */
1562 t1
= ((t1
& ~0x1ff800)
1563 | ((t1
& 0xf800) << 5) | ((t1
& 0x1f0000) >> 5));
1564 t2
= ((t2
& ~0x1ff800)
1565 | ((t2
& 0xf800) << 5) | ((t2
& 0x1f0000) >> 5));
1568 as_warn (_("%s (%08lx %08lx) after %s (%08lx %08lx)"),
1569 op
[0].name
, op
[0].opcode
, op
[0].mask
,
1570 op
[-1].name
, op
[-1].opcode
, op
[-1].mask
);
1574 /* The mask had better not trim off opcode bits. */
1575 if ((op
->opcode
& omask
) != op
->opcode
)
1577 as_bad (_("mask trims opcode bits for %s"),
1582 /* The operands must not overlap the opcode or each other. */
1583 for (o
= op
->operands
; *o
; ++o
)
1584 if (*o
>= num_powerpc_operands
)
1586 as_bad (_("operand index error for %s"),
1592 const struct powerpc_operand
*operand
= &powerpc_operands
[*o
];
1593 if (operand
->shift
>= 0)
1595 unsigned long mask
= operand
->bitm
<< operand
->shift
;
1598 as_bad (_("operand %d overlap in %s"),
1599 (int) (o
- op
->operands
), op
->name
);
1607 if ((op
->flags
& ppc_cpu
& ~(PPC_OPCODE_32
| PPC_OPCODE_64
)) != 0
1608 && ((op
->flags
& (PPC_OPCODE_32
| PPC_OPCODE_64
)) == 0
1609 || ((op
->flags
& (PPC_OPCODE_32
| PPC_OPCODE_64
))
1610 == (ppc_cpu
& (PPC_OPCODE_32
| PPC_OPCODE_64
)))
1611 || (ppc_cpu
& PPC_OPCODE_64_BRIDGE
) != 0)
1612 && !(ppc_cpu
& op
->deprecated
))
1616 retval
= hash_insert (ppc_hash
, op
->name
, (void *) op
);
1619 /* Ignore Power duplicates for -m601. */
1620 if ((ppc_cpu
& PPC_OPCODE_601
) != 0
1621 && (op
->flags
& PPC_OPCODE_POWER
) != 0)
1624 as_bad (_("duplicate instruction %s"),
1631 if ((ppc_cpu
& PPC_OPCODE_ANY
) != 0)
1632 for (op
= powerpc_opcodes
; op
< op_end
; op
++)
1633 hash_insert (ppc_hash
, op
->name
, (void *) op
);
1635 /* Insert the macros into a hash table. */
1636 ppc_macro_hash
= hash_new ();
1638 macro_end
= powerpc_macros
+ powerpc_num_macros
;
1639 for (macro
= powerpc_macros
; macro
< macro_end
; macro
++)
1641 if ((macro
->flags
& ppc_cpu
) != 0)
1645 retval
= hash_insert (ppc_macro_hash
, macro
->name
, (void *) macro
);
1646 if (retval
!= (const char *) NULL
)
1648 as_bad (_("duplicate macro %s"), macro
->name
);
1658 /* This function is called when the assembler starts up. It is called
1659 after the options have been parsed and the output file has been
1667 ppc_cie_data_alignment
= ppc_obj64
? -8 : -4;
1670 /* Set the ELF flags if desired. */
1671 if (ppc_flags
&& !msolaris
)
1672 bfd_set_private_flags (stdoutput
, ppc_flags
);
1675 ppc_setup_opcodes ();
1677 /* Tell the main code what the endianness is if it is not overridden
1679 if (!set_target_endian
)
1681 set_target_endian
= 1;
1682 target_big_endian
= PPC_BIG_ENDIAN
;
1686 ppc_coff_debug_section
= coff_section_from_bfd_index (stdoutput
, N_DEBUG
);
1688 /* Create dummy symbols to serve as initial csects. This forces the
1689 text csects to precede the data csects. These symbols will not
1691 ppc_text_csects
= symbol_make ("dummy\001");
1692 symbol_get_tc (ppc_text_csects
)->within
= ppc_text_csects
;
1693 ppc_data_csects
= symbol_make ("dummy\001");
1694 symbol_get_tc (ppc_data_csects
)->within
= ppc_data_csects
;
1699 ppc_current_section
= text_section
;
1700 ppc_previous_section
= 0;
1709 if (ppc_apuinfo_list
== NULL
)
1712 /* Ok, so write the section info out. We have this layout:
1716 0 8 length of "APUinfo\0"
1717 4 (n*4) number of APU's (4 bytes each)
1720 20 APU#1 first APU's info
1721 24 APU#2 second APU's info
1726 asection
*seg
= now_seg
;
1727 subsegT subseg
= now_subseg
;
1728 asection
*apuinfo_secp
= (asection
*) NULL
;
1731 /* Create the .PPC.EMB.apuinfo section. */
1732 apuinfo_secp
= subseg_new (".PPC.EMB.apuinfo", 0);
1733 bfd_set_section_flags (stdoutput
,
1735 SEC_HAS_CONTENTS
| SEC_READONLY
);
1738 md_number_to_chars (p
, (valueT
) 8, 4);
1741 md_number_to_chars (p
, (valueT
) ppc_apuinfo_num
* 4, 4);
1744 md_number_to_chars (p
, (valueT
) 2, 4);
1747 strcpy (p
, "APUinfo");
1749 for (i
= 0; i
< ppc_apuinfo_num
; i
++)
1752 md_number_to_chars (p
, (valueT
) ppc_apuinfo_list
[i
], 4);
1755 frag_align (2, 0, 0);
1757 /* We probably can't restore the current segment, for there likely
1760 subseg_set (seg
, subseg
);
1765 /* Insert an operand value into an instruction. */
1767 static unsigned long
1768 ppc_insert_operand (unsigned long insn
,
1769 const struct powerpc_operand
*operand
,
1775 long min
, max
, right
;
1777 max
= operand
->bitm
;
1781 if ((operand
->flags
& PPC_OPERAND_SIGNED
) != 0)
1783 if ((operand
->flags
& PPC_OPERAND_SIGNOPT
) == 0)
1784 max
= (max
>> 1) & -right
;
1785 min
= ~max
& -right
;
1788 if ((operand
->flags
& PPC_OPERAND_PLUS1
) != 0)
1791 if ((operand
->flags
& PPC_OPERAND_NEGATIVE
) != 0)
1800 /* Some people write constants with the sign extension done by
1801 hand but only up to 32 bits. This shouldn't really be valid,
1802 but, to permit this code to assemble on a 64-bit host, we
1803 sign extend the 32-bit value to 64 bits if so doing makes the
1806 && (offsetT
) (val
- 0x80000000 - 0x80000000) >= min
1807 && (offsetT
) (val
- 0x80000000 - 0x80000000) <= max
1808 && ((val
- 0x80000000 - 0x80000000) & (right
- 1)) == 0)
1809 val
= val
- 0x80000000 - 0x80000000;
1811 /* Similarly, people write expressions like ~(1<<15), and expect
1812 this to be OK for a 32-bit unsigned value. */
1814 && (offsetT
) (val
+ 0x80000000 + 0x80000000) >= min
1815 && (offsetT
) (val
+ 0x80000000 + 0x80000000) <= max
1816 && ((val
+ 0x80000000 + 0x80000000) & (right
- 1)) == 0)
1817 val
= val
+ 0x80000000 + 0x80000000;
1821 || (val
& (right
- 1)) != 0)
1822 as_bad_value_out_of_range (_("operand"), val
, min
, max
, file
, line
);
1825 if (operand
->insert
)
1830 insn
= (*operand
->insert
) (insn
, (long) val
, ppc_cpu
, &errmsg
);
1831 if (errmsg
!= (const char *) NULL
)
1832 as_bad_where (file
, line
, "%s", errmsg
);
1835 insn
|= ((long) val
& operand
->bitm
) << operand
->shift
;
1842 /* Parse @got, etc. and return the desired relocation. */
1843 static bfd_reloc_code_real_type
1844 ppc_elf_suffix (char **str_p
, expressionS
*exp_p
)
1848 unsigned int length
: 8;
1849 unsigned int valid32
: 1;
1850 unsigned int valid64
: 1;
1859 const struct map_bfd
*ptr
;
1861 #define MAP(str, reloc) { str, sizeof (str) - 1, 1, 1, reloc }
1862 #define MAP32(str, reloc) { str, sizeof (str) - 1, 1, 0, reloc }
1863 #define MAP64(str, reloc) { str, sizeof (str) - 1, 0, 1, reloc }
1865 static const struct map_bfd mapping
[] = {
1866 MAP ("l", BFD_RELOC_LO16
),
1867 MAP ("h", BFD_RELOC_HI16
),
1868 MAP ("ha", BFD_RELOC_HI16_S
),
1869 MAP ("brtaken", BFD_RELOC_PPC_B16_BRTAKEN
),
1870 MAP ("brntaken", BFD_RELOC_PPC_B16_BRNTAKEN
),
1871 MAP ("got", BFD_RELOC_16_GOTOFF
),
1872 MAP ("got@l", BFD_RELOC_LO16_GOTOFF
),
1873 MAP ("got@h", BFD_RELOC_HI16_GOTOFF
),
1874 MAP ("got@ha", BFD_RELOC_HI16_S_GOTOFF
),
1875 MAP ("plt@l", BFD_RELOC_LO16_PLTOFF
),
1876 MAP ("plt@h", BFD_RELOC_HI16_PLTOFF
),
1877 MAP ("plt@ha", BFD_RELOC_HI16_S_PLTOFF
),
1878 MAP ("copy", BFD_RELOC_PPC_COPY
),
1879 MAP ("globdat", BFD_RELOC_PPC_GLOB_DAT
),
1880 MAP ("sectoff", BFD_RELOC_16_BASEREL
),
1881 MAP ("sectoff@l", BFD_RELOC_LO16_BASEREL
),
1882 MAP ("sectoff@h", BFD_RELOC_HI16_BASEREL
),
1883 MAP ("sectoff@ha", BFD_RELOC_HI16_S_BASEREL
),
1884 MAP ("tls", BFD_RELOC_PPC_TLS
),
1885 MAP ("dtpmod", BFD_RELOC_PPC_DTPMOD
),
1886 MAP ("dtprel", BFD_RELOC_PPC_DTPREL
),
1887 MAP ("dtprel@l", BFD_RELOC_PPC_DTPREL16_LO
),
1888 MAP ("dtprel@h", BFD_RELOC_PPC_DTPREL16_HI
),
1889 MAP ("dtprel@ha", BFD_RELOC_PPC_DTPREL16_HA
),
1890 MAP ("tprel", BFD_RELOC_PPC_TPREL
),
1891 MAP ("tprel@l", BFD_RELOC_PPC_TPREL16_LO
),
1892 MAP ("tprel@h", BFD_RELOC_PPC_TPREL16_HI
),
1893 MAP ("tprel@ha", BFD_RELOC_PPC_TPREL16_HA
),
1894 MAP ("got@tlsgd", BFD_RELOC_PPC_GOT_TLSGD16
),
1895 MAP ("got@tlsgd@l", BFD_RELOC_PPC_GOT_TLSGD16_LO
),
1896 MAP ("got@tlsgd@h", BFD_RELOC_PPC_GOT_TLSGD16_HI
),
1897 MAP ("got@tlsgd@ha", BFD_RELOC_PPC_GOT_TLSGD16_HA
),
1898 MAP ("got@tlsld", BFD_RELOC_PPC_GOT_TLSLD16
),
1899 MAP ("got@tlsld@l", BFD_RELOC_PPC_GOT_TLSLD16_LO
),
1900 MAP ("got@tlsld@h", BFD_RELOC_PPC_GOT_TLSLD16_HI
),
1901 MAP ("got@tlsld@ha", BFD_RELOC_PPC_GOT_TLSLD16_HA
),
1902 MAP ("got@dtprel", BFD_RELOC_PPC_GOT_DTPREL16
),
1903 MAP ("got@dtprel@l", BFD_RELOC_PPC_GOT_DTPREL16_LO
),
1904 MAP ("got@dtprel@h", BFD_RELOC_PPC_GOT_DTPREL16_HI
),
1905 MAP ("got@dtprel@ha", BFD_RELOC_PPC_GOT_DTPREL16_HA
),
1906 MAP ("got@tprel", BFD_RELOC_PPC_GOT_TPREL16
),
1907 MAP ("got@tprel@l", BFD_RELOC_PPC_GOT_TPREL16_LO
),
1908 MAP ("got@tprel@h", BFD_RELOC_PPC_GOT_TPREL16_HI
),
1909 MAP ("got@tprel@ha", BFD_RELOC_PPC_GOT_TPREL16_HA
),
1910 MAP32 ("fixup", BFD_RELOC_CTOR
),
1911 MAP32 ("plt", BFD_RELOC_24_PLT_PCREL
),
1912 MAP32 ("pltrel24", BFD_RELOC_24_PLT_PCREL
),
1913 MAP32 ("local24pc", BFD_RELOC_PPC_LOCAL24PC
),
1914 MAP32 ("local", BFD_RELOC_PPC_LOCAL24PC
),
1915 MAP32 ("pltrel", BFD_RELOC_32_PLT_PCREL
),
1916 MAP32 ("sdarel", BFD_RELOC_GPREL16
),
1917 MAP32 ("naddr", BFD_RELOC_PPC_EMB_NADDR32
),
1918 MAP32 ("naddr16", BFD_RELOC_PPC_EMB_NADDR16
),
1919 MAP32 ("naddr@l", BFD_RELOC_PPC_EMB_NADDR16_LO
),
1920 MAP32 ("naddr@h", BFD_RELOC_PPC_EMB_NADDR16_HI
),
1921 MAP32 ("naddr@ha", BFD_RELOC_PPC_EMB_NADDR16_HA
),
1922 MAP32 ("sdai16", BFD_RELOC_PPC_EMB_SDAI16
),
1923 MAP32 ("sda2rel", BFD_RELOC_PPC_EMB_SDA2REL
),
1924 MAP32 ("sda2i16", BFD_RELOC_PPC_EMB_SDA2I16
),
1925 MAP32 ("sda21", BFD_RELOC_PPC_EMB_SDA21
),
1926 MAP32 ("mrkref", BFD_RELOC_PPC_EMB_MRKREF
),
1927 MAP32 ("relsect", BFD_RELOC_PPC_EMB_RELSEC16
),
1928 MAP32 ("relsect@l", BFD_RELOC_PPC_EMB_RELST_LO
),
1929 MAP32 ("relsect@h", BFD_RELOC_PPC_EMB_RELST_HI
),
1930 MAP32 ("relsect@ha", BFD_RELOC_PPC_EMB_RELST_HA
),
1931 MAP32 ("bitfld", BFD_RELOC_PPC_EMB_BIT_FLD
),
1932 MAP32 ("relsda", BFD_RELOC_PPC_EMB_RELSDA
),
1933 MAP32 ("xgot", BFD_RELOC_PPC_TOC16
),
1934 MAP64 ("higher", BFD_RELOC_PPC64_HIGHER
),
1935 MAP64 ("highera", BFD_RELOC_PPC64_HIGHER_S
),
1936 MAP64 ("highest", BFD_RELOC_PPC64_HIGHEST
),
1937 MAP64 ("highesta", BFD_RELOC_PPC64_HIGHEST_S
),
1938 MAP64 ("tocbase", BFD_RELOC_PPC64_TOC
),
1939 MAP64 ("toc", BFD_RELOC_PPC_TOC16
),
1940 MAP64 ("toc@l", BFD_RELOC_PPC64_TOC16_LO
),
1941 MAP64 ("toc@h", BFD_RELOC_PPC64_TOC16_HI
),
1942 MAP64 ("toc@ha", BFD_RELOC_PPC64_TOC16_HA
),
1943 MAP64 ("dtprel@higher", BFD_RELOC_PPC64_DTPREL16_HIGHER
),
1944 MAP64 ("dtprel@highera", BFD_RELOC_PPC64_DTPREL16_HIGHERA
),
1945 MAP64 ("dtprel@highest", BFD_RELOC_PPC64_DTPREL16_HIGHEST
),
1946 MAP64 ("dtprel@highesta", BFD_RELOC_PPC64_DTPREL16_HIGHESTA
),
1947 MAP64 ("tprel@higher", BFD_RELOC_PPC64_TPREL16_HIGHER
),
1948 MAP64 ("tprel@highera", BFD_RELOC_PPC64_TPREL16_HIGHERA
),
1949 MAP64 ("tprel@highest", BFD_RELOC_PPC64_TPREL16_HIGHEST
),
1950 MAP64 ("tprel@highesta", BFD_RELOC_PPC64_TPREL16_HIGHESTA
),
1951 { (char *) 0, 0, 0, 0, BFD_RELOC_UNUSED
}
1955 return BFD_RELOC_UNUSED
;
1957 for (ch
= *str
, str2
= ident
;
1958 (str2
< ident
+ sizeof (ident
) - 1
1959 && (ISALNUM (ch
) || ch
== '@'));
1962 *str2
++ = TOLOWER (ch
);
1969 for (ptr
= &mapping
[0]; ptr
->length
> 0; ptr
++)
1970 if (ch
== ptr
->string
[0]
1971 && len
== ptr
->length
1972 && memcmp (ident
, ptr
->string
, ptr
->length
) == 0
1973 && (ppc_obj64
? ptr
->valid64
: ptr
->valid32
))
1975 int reloc
= ptr
->reloc
;
1978 if (exp_p
->X_add_number
!= 0
1979 && (reloc
== (int) BFD_RELOC_16_GOTOFF
1980 || reloc
== (int) BFD_RELOC_LO16_GOTOFF
1981 || reloc
== (int) BFD_RELOC_HI16_GOTOFF
1982 || reloc
== (int) BFD_RELOC_HI16_S_GOTOFF
))
1983 as_warn (_("identifier+constant@got means identifier@got+constant"));
1985 /* Now check for identifier@suffix+constant. */
1986 if (*str
== '-' || *str
== '+')
1988 char *orig_line
= input_line_pointer
;
1989 expressionS new_exp
;
1991 input_line_pointer
= str
;
1992 expression (&new_exp
);
1993 if (new_exp
.X_op
== O_constant
)
1995 exp_p
->X_add_number
+= new_exp
.X_add_number
;
1996 str
= input_line_pointer
;
1999 if (&input_line_pointer
!= str_p
)
2000 input_line_pointer
= orig_line
;
2004 if (reloc
== (int) BFD_RELOC_PPC64_TOC
2005 && exp_p
->X_op
== O_symbol
2006 && strcmp (S_GET_NAME (exp_p
->X_add_symbol
), ".TOC.") == 0)
2008 /* Change the symbol so that the dummy .TOC. symbol can be
2009 omitted from the object file. */
2010 exp_p
->X_add_symbol
= &abs_symbol
;
2013 return (bfd_reloc_code_real_type
) reloc
;
2016 return BFD_RELOC_UNUSED
;
2019 /* Like normal .long/.short/.word, except support @got, etc.
2020 Clobbers input_line_pointer, checks end-of-line. */
2022 ppc_elf_cons (int nbytes
/* 1=.byte, 2=.word, 4=.long, 8=.llong */)
2025 bfd_reloc_code_real_type reloc
;
2027 if (is_it_end_of_statement ())
2029 demand_empty_rest_of_line ();
2036 if (exp
.X_op
== O_symbol
2037 && *input_line_pointer
== '@'
2038 && (reloc
= ppc_elf_suffix (&input_line_pointer
,
2039 &exp
)) != BFD_RELOC_UNUSED
)
2041 reloc_howto_type
*reloc_howto
;
2044 reloc_howto
= bfd_reloc_type_lookup (stdoutput
, reloc
);
2045 size
= bfd_get_reloc_size (reloc_howto
);
2049 as_bad (_("%s relocations do not fit in %d bytes\n"),
2050 reloc_howto
->name
, nbytes
);
2057 p
= frag_more (nbytes
);
2059 if (target_big_endian
)
2060 offset
= nbytes
- size
;
2061 fix_new_exp (frag_now
, p
- frag_now
->fr_literal
+ offset
, size
,
2066 emit_expr (&exp
, (unsigned int) nbytes
);
2068 while (*input_line_pointer
++ == ',');
2070 /* Put terminator back into stream. */
2071 input_line_pointer
--;
2072 demand_empty_rest_of_line ();
2075 /* Solaris pseduo op to change to the .rodata section. */
2077 ppc_elf_rdata (int xxx
)
2079 char *save_line
= input_line_pointer
;
2080 static char section
[] = ".rodata\n";
2082 /* Just pretend this is .section .rodata */
2083 input_line_pointer
= section
;
2084 obj_elf_section (xxx
);
2086 input_line_pointer
= save_line
;
2089 /* Pseudo op to make file scope bss items. */
2091 ppc_elf_lcomm (int xxx ATTRIBUTE_UNUSED
)
2104 name
= input_line_pointer
;
2105 c
= get_symbol_end ();
2107 /* just after name is now '\0'. */
2108 p
= input_line_pointer
;
2111 if (*input_line_pointer
!= ',')
2113 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
2114 ignore_rest_of_line ();
2118 input_line_pointer
++; /* skip ',' */
2119 if ((size
= get_absolute_expression ()) < 0)
2121 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) size
);
2122 ignore_rest_of_line ();
2126 /* The third argument to .lcomm is the alignment. */
2127 if (*input_line_pointer
!= ',')
2131 ++input_line_pointer
;
2132 align
= get_absolute_expression ();
2135 as_warn (_("ignoring bad alignment"));
2141 symbolP
= symbol_find_or_make (name
);
2144 if (S_IS_DEFINED (symbolP
) && ! S_IS_COMMON (symbolP
))
2146 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
2147 S_GET_NAME (symbolP
));
2148 ignore_rest_of_line ();
2152 if (S_GET_VALUE (symbolP
) && S_GET_VALUE (symbolP
) != (valueT
) size
)
2154 as_bad (_("Length of .lcomm \"%s\" is already %ld. Not changed to %ld."),
2155 S_GET_NAME (symbolP
),
2156 (long) S_GET_VALUE (symbolP
),
2159 ignore_rest_of_line ();
2165 old_subsec
= now_subseg
;
2168 /* Convert to a power of 2 alignment. */
2169 for (align2
= 0; (align
& 1) == 0; align
>>= 1, ++align2
);
2172 as_bad (_("Common alignment not a power of 2"));
2173 ignore_rest_of_line ();
2180 record_alignment (bss_section
, align2
);
2181 subseg_set (bss_section
, 0);
2183 frag_align (align2
, 0, 0);
2184 if (S_GET_SEGMENT (symbolP
) == bss_section
)
2185 symbol_get_frag (symbolP
)->fr_symbol
= 0;
2186 symbol_set_frag (symbolP
, frag_now
);
2187 pfrag
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, symbolP
, size
,
2190 S_SET_SIZE (symbolP
, size
);
2191 S_SET_SEGMENT (symbolP
, bss_section
);
2192 subseg_set (old_sec
, old_subsec
);
2193 demand_empty_rest_of_line ();
2196 /* Validate any relocations emitted for -mrelocatable, possibly adding
2197 fixups for word relocations in writable segments, so we can adjust
2200 ppc_elf_validate_fix (fixS
*fixp
, segT seg
)
2202 if (fixp
->fx_done
|| fixp
->fx_pcrel
)
2211 case SHLIB_MRELOCATABLE
:
2212 if (fixp
->fx_r_type
<= BFD_RELOC_UNUSED
2213 && fixp
->fx_r_type
!= BFD_RELOC_16_GOTOFF
2214 && fixp
->fx_r_type
!= BFD_RELOC_HI16_GOTOFF
2215 && fixp
->fx_r_type
!= BFD_RELOC_LO16_GOTOFF
2216 && fixp
->fx_r_type
!= BFD_RELOC_HI16_S_GOTOFF
2217 && fixp
->fx_r_type
!= BFD_RELOC_16_BASEREL
2218 && fixp
->fx_r_type
!= BFD_RELOC_LO16_BASEREL
2219 && fixp
->fx_r_type
!= BFD_RELOC_HI16_BASEREL
2220 && fixp
->fx_r_type
!= BFD_RELOC_HI16_S_BASEREL
2221 && (seg
->flags
& SEC_LOAD
) != 0
2222 && strcmp (segment_name (seg
), ".got2") != 0
2223 && strcmp (segment_name (seg
), ".dtors") != 0
2224 && strcmp (segment_name (seg
), ".ctors") != 0
2225 && strcmp (segment_name (seg
), ".fixup") != 0
2226 && strcmp (segment_name (seg
), ".gcc_except_table") != 0
2227 && strcmp (segment_name (seg
), ".eh_frame") != 0
2228 && strcmp (segment_name (seg
), ".ex_shared") != 0)
2230 if ((seg
->flags
& (SEC_READONLY
| SEC_CODE
)) != 0
2231 || fixp
->fx_r_type
!= BFD_RELOC_CTOR
)
2233 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
2234 _("Relocation cannot be done when using -mrelocatable"));
2241 /* Prevent elf_frob_file_before_adjust removing a weak undefined
2242 function descriptor sym if the corresponding code sym is used. */
2245 ppc_frob_file_before_adjust (void)
2253 for (symp
= symbol_rootP
; symp
; symp
= symbol_next (symp
))
2260 name
= S_GET_NAME (symp
);
2264 if (! S_IS_WEAK (symp
)
2265 || S_IS_DEFINED (symp
))
2268 len
= strlen (name
) + 1;
2269 dotname
= xmalloc (len
+ 1);
2271 memcpy (dotname
+ 1, name
, len
);
2272 dotsym
= symbol_find_noref (dotname
, 1);
2274 if (dotsym
!= NULL
&& (symbol_used_p (dotsym
)
2275 || symbol_used_in_reloc_p (dotsym
)))
2276 symbol_mark_used (symp
);
2280 toc
= bfd_get_section_by_name (stdoutput
, ".toc");
2282 && bfd_section_size (stdoutput
, toc
) > 0x10000)
2283 as_warn (_("TOC section size exceeds 64k"));
2285 /* Don't emit .TOC. symbol. */
2286 symp
= symbol_find (".TOC.");
2288 symbol_remove (symp
, &symbol_rootP
, &symbol_lastP
);
2290 #endif /* OBJ_ELF */
2295 * Summary of parse_toc_entry.
2297 * in: Input_line_pointer points to the '[' in one of:
2299 * [toc] [tocv] [toc32] [toc64]
2301 * Anything else is an error of one kind or another.
2304 * return value: success or failure
2305 * toc_kind: kind of toc reference
2306 * input_line_pointer:
2307 * success: first char after the ']'
2308 * failure: unchanged
2312 * [toc] - rv == success, toc_kind = default_toc
2313 * [tocv] - rv == success, toc_kind = data_in_toc
2314 * [toc32] - rv == success, toc_kind = must_be_32
2315 * [toc64] - rv == success, toc_kind = must_be_64
2319 enum toc_size_qualifier
2321 default_toc
, /* The toc cell constructed should be the system default size */
2322 data_in_toc
, /* This is a direct reference to a toc cell */
2323 must_be_32
, /* The toc cell constructed must be 32 bits wide */
2324 must_be_64
/* The toc cell constructed must be 64 bits wide */
2328 parse_toc_entry (enum toc_size_qualifier
*toc_kind
)
2333 enum toc_size_qualifier t
;
2335 /* Save the input_line_pointer. */
2336 start
= input_line_pointer
;
2338 /* Skip over the '[' , and whitespace. */
2339 ++input_line_pointer
;
2342 /* Find the spelling of the operand. */
2343 toc_spec
= input_line_pointer
;
2344 c
= get_symbol_end ();
2346 if (strcmp (toc_spec
, "toc") == 0)
2350 else if (strcmp (toc_spec
, "tocv") == 0)
2354 else if (strcmp (toc_spec
, "toc32") == 0)
2358 else if (strcmp (toc_spec
, "toc64") == 0)
2364 as_bad (_("syntax error: invalid toc specifier `%s'"), toc_spec
);
2365 *input_line_pointer
= c
;
2366 input_line_pointer
= start
;
2370 /* Now find the ']'. */
2371 *input_line_pointer
= c
;
2373 SKIP_WHITESPACE (); /* leading whitespace could be there. */
2374 c
= *input_line_pointer
++; /* input_line_pointer->past char in c. */
2378 as_bad (_("syntax error: expected `]', found `%c'"), c
);
2379 input_line_pointer
= start
;
2390 #define APUID(a,v) ((((a) & 0xffff) << 16) | ((v) & 0xffff))
2392 ppc_apuinfo_section_add (unsigned int apu
, unsigned int version
)
2396 /* Check we don't already exist. */
2397 for (i
= 0; i
< ppc_apuinfo_num
; i
++)
2398 if (ppc_apuinfo_list
[i
] == APUID (apu
, version
))
2401 if (ppc_apuinfo_num
== ppc_apuinfo_num_alloc
)
2403 if (ppc_apuinfo_num_alloc
== 0)
2405 ppc_apuinfo_num_alloc
= 4;
2406 ppc_apuinfo_list
= (unsigned long *)
2407 xmalloc (sizeof (unsigned long) * ppc_apuinfo_num_alloc
);
2411 ppc_apuinfo_num_alloc
+= 4;
2412 ppc_apuinfo_list
= (unsigned long *) xrealloc (ppc_apuinfo_list
,
2413 sizeof (unsigned long) * ppc_apuinfo_num_alloc
);
2416 ppc_apuinfo_list
[ppc_apuinfo_num
++] = APUID (apu
, version
);
2422 /* We need to keep a list of fixups. We can't simply generate them as
2423 we go, because that would require us to first create the frag, and
2424 that would screw up references to ``.''. */
2430 bfd_reloc_code_real_type reloc
;
2433 #define MAX_INSN_FIXUPS (5)
2435 /* This routine is called for each instruction to be assembled. */
2438 md_assemble (char *str
)
2441 const struct powerpc_opcode
*opcode
;
2443 const unsigned char *opindex_ptr
;
2447 struct ppc_fixup fixups
[MAX_INSN_FIXUPS
];
2453 bfd_reloc_code_real_type reloc
;
2456 /* Get the opcode. */
2457 for (s
= str
; *s
!= '\0' && ! ISSPACE (*s
); s
++)
2462 /* Look up the opcode in the hash table. */
2463 opcode
= (const struct powerpc_opcode
*) hash_find (ppc_hash
, str
);
2464 if (opcode
== (const struct powerpc_opcode
*) NULL
)
2466 const struct powerpc_macro
*macro
;
2468 macro
= (const struct powerpc_macro
*) hash_find (ppc_macro_hash
, str
);
2469 if (macro
== (const struct powerpc_macro
*) NULL
)
2470 as_bad (_("Unrecognized opcode: `%s'"), str
);
2472 ppc_macro (s
, macro
);
2477 insn
= opcode
->opcode
;
2480 while (ISSPACE (*str
))
2483 /* PowerPC operands are just expressions. The only real issue is
2484 that a few operand types are optional. All cases which might use
2485 an optional operand separate the operands only with commas (in some
2486 cases parentheses are used, as in ``lwz 1,0(1)'' but such cases never
2487 have optional operands). Most instructions with optional operands
2488 have only one. Those that have more than one optional operand can
2489 take either all their operands or none. So, before we start seriously
2490 parsing the operands, we check to see if we have optional operands,
2491 and if we do, we count the number of commas to see which operands
2492 have been omitted. */
2494 for (opindex_ptr
= opcode
->operands
; *opindex_ptr
!= 0; opindex_ptr
++)
2496 const struct powerpc_operand
*operand
;
2498 operand
= &powerpc_operands
[*opindex_ptr
];
2499 if ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0)
2501 unsigned int opcount
;
2502 unsigned int num_operands_expected
;
2505 /* There is an optional operand. Count the number of
2506 commas in the input line. */
2513 while ((s
= strchr (s
, ',')) != (char *) NULL
)
2520 /* Compute the number of expected operands.
2521 Do not count fake operands. */
2522 for (num_operands_expected
= 0, i
= 0; opcode
->operands
[i
]; i
++)
2523 if ((powerpc_operands
[opcode
->operands
[i
]].flags
& PPC_OPERAND_FAKE
) == 0)
2524 ++ num_operands_expected
;
2526 /* If there are fewer operands in the line then are called
2527 for by the instruction, we want to skip the optional
2529 if (opcount
< num_operands_expected
)
2536 /* Gather the operands. */
2540 for (opindex_ptr
= opcode
->operands
; *opindex_ptr
!= 0; opindex_ptr
++)
2542 const struct powerpc_operand
*operand
;
2548 if (next_opindex
== 0)
2549 operand
= &powerpc_operands
[*opindex_ptr
];
2552 operand
= &powerpc_operands
[next_opindex
];
2557 /* If this is a fake operand, then we do not expect anything
2559 if ((operand
->flags
& PPC_OPERAND_FAKE
) != 0)
2561 insn
= (*operand
->insert
) (insn
, 0L, ppc_cpu
, &errmsg
);
2562 if (errmsg
!= (const char *) NULL
)
2563 as_bad ("%s", errmsg
);
2567 /* If this is an optional operand, and we are skipping it, just
2569 if ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0
2572 if (operand
->insert
)
2574 insn
= (*operand
->insert
) (insn
, 0L, ppc_cpu
, &errmsg
);
2575 if (errmsg
!= (const char *) NULL
)
2576 as_bad ("%s", errmsg
);
2578 if ((operand
->flags
& PPC_OPERAND_NEXT
) != 0)
2579 next_opindex
= *opindex_ptr
+ 1;
2583 /* Gather the operand. */
2584 hold
= input_line_pointer
;
2585 input_line_pointer
= str
;
2588 if (*input_line_pointer
== '[')
2590 /* We are expecting something like the second argument here:
2592 * lwz r4,[toc].GS.0.static_int(rtoc)
2593 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^
2594 * The argument following the `]' must be a symbol name, and the
2595 * register must be the toc register: 'rtoc' or '2'
2597 * The effect is to 0 as the displacement field
2598 * in the instruction, and issue an IMAGE_REL_PPC_TOCREL16 (or
2599 * the appropriate variation) reloc against it based on the symbol.
2600 * The linker will build the toc, and insert the resolved toc offset.
2603 * o The size of the toc entry is currently assumed to be
2604 * 32 bits. This should not be assumed to be a hard coded
2606 * o In an effort to cope with a change from 32 to 64 bits,
2607 * there are also toc entries that are specified to be
2608 * either 32 or 64 bits:
2609 * lwz r4,[toc32].GS.0.static_int(rtoc)
2610 * lwz r4,[toc64].GS.0.static_int(rtoc)
2611 * These demand toc entries of the specified size, and the
2612 * instruction probably requires it.
2616 enum toc_size_qualifier toc_kind
;
2617 bfd_reloc_code_real_type toc_reloc
;
2619 /* Go parse off the [tocXX] part. */
2620 valid_toc
= parse_toc_entry (&toc_kind
);
2624 /* Note: message has already been issued.
2625 FIXME: what sort of recovery should we do?
2626 demand_rest_of_line (); return; ? */
2629 /* Now get the symbol following the ']'. */
2635 /* In this case, we may not have seen the symbol yet,
2636 since it is allowed to appear on a .extern or .globl
2637 or just be a label in the .data section. */
2638 toc_reloc
= BFD_RELOC_PPC_TOC16
;
2641 /* 1. The symbol must be defined and either in the toc
2642 section, or a global.
2643 2. The reloc generated must have the TOCDEFN flag set
2644 in upper bit mess of the reloc type.
2645 FIXME: It's a little confusing what the tocv
2646 qualifier can be used for. At the very least, I've
2647 seen three uses, only one of which I'm sure I can
2649 if (ex
.X_op
== O_symbol
)
2651 assert (ex
.X_add_symbol
!= NULL
);
2652 if (symbol_get_bfdsym (ex
.X_add_symbol
)->section
2655 as_bad (_("[tocv] symbol is not a toc symbol"));
2659 toc_reloc
= BFD_RELOC_PPC_TOC16
;
2662 /* FIXME: these next two specifically specify 32/64 bit
2663 toc entries. We don't support them today. Is this
2664 the right way to say that? */
2665 toc_reloc
= BFD_RELOC_UNUSED
;
2666 as_bad (_("Unimplemented toc32 expression modifier"));
2669 /* FIXME: see above. */
2670 toc_reloc
= BFD_RELOC_UNUSED
;
2671 as_bad (_("Unimplemented toc64 expression modifier"));
2675 _("Unexpected return value [%d] from parse_toc_entry!\n"),
2681 /* We need to generate a fixup for this expression. */
2682 if (fc
>= MAX_INSN_FIXUPS
)
2683 as_fatal (_("too many fixups"));
2685 fixups
[fc
].reloc
= toc_reloc
;
2686 fixups
[fc
].exp
= ex
;
2687 fixups
[fc
].opindex
= *opindex_ptr
;
2690 /* Ok. We've set up the fixup for the instruction. Now make it
2691 look like the constant 0 was found here. */
2693 ex
.X_op
= O_constant
;
2694 ex
.X_add_number
= 0;
2695 ex
.X_add_symbol
= NULL
;
2696 ex
.X_op_symbol
= NULL
;
2702 if ((reg_names_p
&& (operand
->flags
& PPC_OPERAND_CR
) != 0)
2703 || !register_name (&ex
))
2705 char save_lex
= lex_type
['%'];
2707 if ((operand
->flags
& PPC_OPERAND_CR
) != 0)
2710 lex_type
['%'] |= LEX_BEGIN_NAME
;
2714 lex_type
['%'] = save_lex
;
2718 str
= input_line_pointer
;
2719 input_line_pointer
= hold
;
2721 if (ex
.X_op
== O_illegal
)
2722 as_bad (_("illegal operand"));
2723 else if (ex
.X_op
== O_absent
)
2724 as_bad (_("missing operand"));
2725 else if (ex
.X_op
== O_register
)
2727 insn
= ppc_insert_operand (insn
, operand
, ex
.X_add_number
,
2728 ppc_cpu
, (char *) NULL
, 0);
2730 else if (ex
.X_op
== O_constant
)
2733 /* Allow @HA, @L, @H on constants. */
2734 char *orig_str
= str
;
2736 if ((reloc
= ppc_elf_suffix (&str
, &ex
)) != BFD_RELOC_UNUSED
)
2743 case BFD_RELOC_LO16
:
2744 /* X_unsigned is the default, so if the user has done
2745 something which cleared it, we always produce a
2747 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2748 ex
.X_add_number
&= 0xffff;
2750 ex
.X_add_number
= SEX16 (ex
.X_add_number
);
2753 case BFD_RELOC_HI16
:
2754 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2755 ex
.X_add_number
= PPC_HI (ex
.X_add_number
);
2757 ex
.X_add_number
= SEX16 (PPC_HI (ex
.X_add_number
));
2760 case BFD_RELOC_HI16_S
:
2761 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2762 ex
.X_add_number
= PPC_HA (ex
.X_add_number
);
2764 ex
.X_add_number
= SEX16 (PPC_HA (ex
.X_add_number
));
2767 case BFD_RELOC_PPC64_HIGHER
:
2768 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2769 ex
.X_add_number
= PPC_HIGHER (ex
.X_add_number
);
2771 ex
.X_add_number
= SEX16 (PPC_HIGHER (ex
.X_add_number
));
2774 case BFD_RELOC_PPC64_HIGHER_S
:
2775 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2776 ex
.X_add_number
= PPC_HIGHERA (ex
.X_add_number
);
2778 ex
.X_add_number
= SEX16 (PPC_HIGHERA (ex
.X_add_number
));
2781 case BFD_RELOC_PPC64_HIGHEST
:
2782 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2783 ex
.X_add_number
= PPC_HIGHEST (ex
.X_add_number
);
2785 ex
.X_add_number
= SEX16 (PPC_HIGHEST (ex
.X_add_number
));
2788 case BFD_RELOC_PPC64_HIGHEST_S
:
2789 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2790 ex
.X_add_number
= PPC_HIGHESTA (ex
.X_add_number
);
2792 ex
.X_add_number
= SEX16 (PPC_HIGHESTA (ex
.X_add_number
));
2795 #endif /* OBJ_ELF */
2796 insn
= ppc_insert_operand (insn
, operand
, ex
.X_add_number
,
2797 ppc_cpu
, (char *) NULL
, 0);
2800 else if ((reloc
= ppc_elf_suffix (&str
, &ex
)) != BFD_RELOC_UNUSED
)
2802 /* Some TLS tweaks. */
2807 case BFD_RELOC_PPC_TLS
:
2808 insn
= ppc_insert_operand (insn
, operand
, ppc_obj64
? 13 : 2,
2809 ppc_cpu
, (char *) NULL
, 0);
2811 /* We'll only use the 32 (or 64) bit form of these relocations
2812 in constants. Instructions get the 16 bit form. */
2813 case BFD_RELOC_PPC_DTPREL
:
2814 reloc
= BFD_RELOC_PPC_DTPREL16
;
2816 case BFD_RELOC_PPC_TPREL
:
2817 reloc
= BFD_RELOC_PPC_TPREL16
;
2821 /* For the absolute forms of branches, convert the PC
2822 relative form back into the absolute. */
2823 if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0)
2827 case BFD_RELOC_PPC_B26
:
2828 reloc
= BFD_RELOC_PPC_BA26
;
2830 case BFD_RELOC_PPC_B16
:
2831 reloc
= BFD_RELOC_PPC_BA16
;
2833 case BFD_RELOC_PPC_B16_BRTAKEN
:
2834 reloc
= BFD_RELOC_PPC_BA16_BRTAKEN
;
2836 case BFD_RELOC_PPC_B16_BRNTAKEN
:
2837 reloc
= BFD_RELOC_PPC_BA16_BRNTAKEN
;
2845 && (operand
->flags
& (PPC_OPERAND_DS
| PPC_OPERAND_DQ
)) != 0)
2850 reloc
= BFD_RELOC_PPC64_ADDR16_DS
;
2852 case BFD_RELOC_LO16
:
2853 reloc
= BFD_RELOC_PPC64_ADDR16_LO_DS
;
2855 case BFD_RELOC_16_GOTOFF
:
2856 reloc
= BFD_RELOC_PPC64_GOT16_DS
;
2858 case BFD_RELOC_LO16_GOTOFF
:
2859 reloc
= BFD_RELOC_PPC64_GOT16_LO_DS
;
2861 case BFD_RELOC_LO16_PLTOFF
:
2862 reloc
= BFD_RELOC_PPC64_PLT16_LO_DS
;
2864 case BFD_RELOC_16_BASEREL
:
2865 reloc
= BFD_RELOC_PPC64_SECTOFF_DS
;
2867 case BFD_RELOC_LO16_BASEREL
:
2868 reloc
= BFD_RELOC_PPC64_SECTOFF_LO_DS
;
2870 case BFD_RELOC_PPC_TOC16
:
2871 reloc
= BFD_RELOC_PPC64_TOC16_DS
;
2873 case BFD_RELOC_PPC64_TOC16_LO
:
2874 reloc
= BFD_RELOC_PPC64_TOC16_LO_DS
;
2876 case BFD_RELOC_PPC64_PLTGOT16
:
2877 reloc
= BFD_RELOC_PPC64_PLTGOT16_DS
;
2879 case BFD_RELOC_PPC64_PLTGOT16_LO
:
2880 reloc
= BFD_RELOC_PPC64_PLTGOT16_LO_DS
;
2882 case BFD_RELOC_PPC_DTPREL16
:
2883 reloc
= BFD_RELOC_PPC64_DTPREL16_DS
;
2885 case BFD_RELOC_PPC_DTPREL16_LO
:
2886 reloc
= BFD_RELOC_PPC64_DTPREL16_LO_DS
;
2888 case BFD_RELOC_PPC_TPREL16
:
2889 reloc
= BFD_RELOC_PPC64_TPREL16_DS
;
2891 case BFD_RELOC_PPC_TPREL16_LO
:
2892 reloc
= BFD_RELOC_PPC64_TPREL16_LO_DS
;
2894 case BFD_RELOC_PPC_GOT_DTPREL16
:
2895 case BFD_RELOC_PPC_GOT_DTPREL16_LO
:
2896 case BFD_RELOC_PPC_GOT_TPREL16
:
2897 case BFD_RELOC_PPC_GOT_TPREL16_LO
:
2900 as_bad (_("unsupported relocation for DS offset field"));
2905 /* We need to generate a fixup for this expression. */
2906 if (fc
>= MAX_INSN_FIXUPS
)
2907 as_fatal (_("too many fixups"));
2908 fixups
[fc
].exp
= ex
;
2909 fixups
[fc
].opindex
= 0;
2910 fixups
[fc
].reloc
= reloc
;
2913 #endif /* OBJ_ELF */
2917 /* We need to generate a fixup for this expression. */
2918 if (fc
>= MAX_INSN_FIXUPS
)
2919 as_fatal (_("too many fixups"));
2920 fixups
[fc
].exp
= ex
;
2921 fixups
[fc
].opindex
= *opindex_ptr
;
2922 fixups
[fc
].reloc
= BFD_RELOC_UNUSED
;
2930 /* If expecting more operands, then we want to see "),". */
2931 if (*str
== endc
&& opindex_ptr
[1] != 0)
2935 while (ISSPACE (*str
));
2939 else if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0)
2947 /* The call to expression should have advanced str past any
2950 && (endc
!= ',' || *str
!= '\0'))
2952 as_bad (_("syntax error; found `%c' but expected `%c'"), *str
, endc
);
2960 while (ISSPACE (*str
))
2964 as_bad (_("junk at end of line: `%s'"), str
);
2967 /* Do we need/want a APUinfo section? */
2968 if ((ppc_cpu
& PPC_OPCODE_E500MC
) != 0)
2970 /* These are all version "1". */
2971 if (opcode
->flags
& PPC_OPCODE_SPE
)
2972 ppc_apuinfo_section_add (PPC_APUINFO_SPE
, 1);
2973 if (opcode
->flags
& PPC_OPCODE_ISEL
)
2974 ppc_apuinfo_section_add (PPC_APUINFO_ISEL
, 1);
2975 if (opcode
->flags
& PPC_OPCODE_EFS
)
2976 ppc_apuinfo_section_add (PPC_APUINFO_EFS
, 1);
2977 if (opcode
->flags
& PPC_OPCODE_BRLOCK
)
2978 ppc_apuinfo_section_add (PPC_APUINFO_BRLOCK
, 1);
2979 if (opcode
->flags
& PPC_OPCODE_PMR
)
2980 ppc_apuinfo_section_add (PPC_APUINFO_PMR
, 1);
2981 if (opcode
->flags
& PPC_OPCODE_CACHELCK
)
2982 ppc_apuinfo_section_add (PPC_APUINFO_CACHELCK
, 1);
2983 if (opcode
->flags
& PPC_OPCODE_RFMCI
)
2984 ppc_apuinfo_section_add (PPC_APUINFO_RFMCI
, 1);
2988 /* Write out the instruction. */
2990 addr_mod
= frag_now_fix () & 3;
2991 if (frag_now
->has_code
&& frag_now
->insn_addr
!= addr_mod
)
2992 as_bad (_("instruction address is not a multiple of 4"));
2993 frag_now
->insn_addr
= addr_mod
;
2994 frag_now
->has_code
= 1;
2995 md_number_to_chars (f
, insn
, 4);
2998 dwarf2_emit_insn (4);
3001 /* Create any fixups. At this point we do not use a
3002 bfd_reloc_code_real_type, but instead just use the
3003 BFD_RELOC_UNUSED plus the operand index. This lets us easily
3004 handle fixups for any operand type, although that is admittedly
3005 not a very exciting feature. We pick a BFD reloc type in
3007 for (i
= 0; i
< fc
; i
++)
3009 const struct powerpc_operand
*operand
;
3011 operand
= &powerpc_operands
[fixups
[i
].opindex
];
3012 if (fixups
[i
].reloc
!= BFD_RELOC_UNUSED
)
3014 reloc_howto_type
*reloc_howto
;
3019 reloc_howto
= bfd_reloc_type_lookup (stdoutput
, fixups
[i
].reloc
);
3023 size
= bfd_get_reloc_size (reloc_howto
);
3024 offset
= target_big_endian
? (4 - size
) : 0;
3026 if (size
< 1 || size
> 4)
3029 fixP
= fix_new_exp (frag_now
,
3030 f
- frag_now
->fr_literal
+ offset
,
3033 reloc_howto
->pc_relative
,
3036 /* Turn off complaints that the addend is too large for things like
3038 switch (fixups
[i
].reloc
)
3040 case BFD_RELOC_16_GOTOFF
:
3041 case BFD_RELOC_PPC_TOC16
:
3042 case BFD_RELOC_LO16
:
3043 case BFD_RELOC_HI16
:
3044 case BFD_RELOC_HI16_S
:
3046 case BFD_RELOC_PPC64_HIGHER
:
3047 case BFD_RELOC_PPC64_HIGHER_S
:
3048 case BFD_RELOC_PPC64_HIGHEST
:
3049 case BFD_RELOC_PPC64_HIGHEST_S
:
3051 fixP
->fx_no_overflow
= 1;
3058 fix_new_exp (frag_now
,
3059 f
- frag_now
->fr_literal
,
3062 (operand
->flags
& PPC_OPERAND_RELATIVE
) != 0,
3063 ((bfd_reloc_code_real_type
)
3064 (fixups
[i
].opindex
+ (int) BFD_RELOC_UNUSED
)));
3068 /* Handle a macro. Gather all the operands, transform them as
3069 described by the macro, and call md_assemble recursively. All the
3070 operands are separated by commas; we don't accept parentheses
3071 around operands here. */
3074 ppc_macro (char *str
, const struct powerpc_macro
*macro
)
3085 /* Gather the users operands into the operands array. */
3090 if (count
>= sizeof operands
/ sizeof operands
[0])
3092 operands
[count
++] = s
;
3093 s
= strchr (s
, ',');
3094 if (s
== (char *) NULL
)
3099 if (count
!= macro
->operands
)
3101 as_bad (_("wrong number of operands"));
3105 /* Work out how large the string must be (the size is unbounded
3106 because it includes user input). */
3108 format
= macro
->format
;
3109 while (*format
!= '\0')
3118 arg
= strtol (format
+ 1, &send
, 10);
3119 know (send
!= format
&& arg
< count
);
3120 len
+= strlen (operands
[arg
]);
3125 /* Put the string together. */
3126 complete
= s
= (char *) alloca (len
+ 1);
3127 format
= macro
->format
;
3128 while (*format
!= '\0')
3134 arg
= strtol (format
+ 1, &send
, 10);
3135 strcpy (s
, operands
[arg
]);
3142 /* Assemble the constructed instruction. */
3143 md_assemble (complete
);
3147 /* For ELF, add support for SHF_EXCLUDE and SHT_ORDERED. */
3150 ppc_section_letter (int letter
, char **ptr_msg
)
3155 *ptr_msg
= _("Bad .section directive: want a,e,w,x,M,S,G,T in string");
3160 ppc_section_word (char *str
, size_t len
)
3162 if (len
== 7 && strncmp (str
, "exclude", 7) == 0)
3169 ppc_section_type (char *str
, size_t len
)
3171 if (len
== 7 && strncmp (str
, "ordered", 7) == 0)
3178 ppc_section_flags (int flags
, int attr
, int type
)
3180 if (type
== SHT_ORDERED
)
3181 flags
|= SEC_ALLOC
| SEC_LOAD
| SEC_SORT_ENTRIES
;
3183 if (attr
& SHF_EXCLUDE
)
3184 flags
|= SEC_EXCLUDE
;
3188 #endif /* OBJ_ELF */
3191 /* Pseudo-op handling. */
3193 /* The .byte pseudo-op. This is similar to the normal .byte
3194 pseudo-op, but it can also take a single ASCII string. */
3197 ppc_byte (int ignore ATTRIBUTE_UNUSED
)
3199 if (*input_line_pointer
!= '\"')
3205 /* Gather characters. A real double quote is doubled. Unusual
3206 characters are not permitted. */
3207 ++input_line_pointer
;
3212 c
= *input_line_pointer
++;
3216 if (*input_line_pointer
!= '\"')
3218 ++input_line_pointer
;
3221 FRAG_APPEND_1_CHAR (c
);
3224 demand_empty_rest_of_line ();
3229 /* XCOFF specific pseudo-op handling. */
3231 /* This is set if we are creating a .stabx symbol, since we don't want
3232 to handle symbol suffixes for such symbols. */
3233 static bfd_boolean ppc_stab_symbol
;
3235 /* The .comm and .lcomm pseudo-ops for XCOFF. XCOFF puts common
3236 symbols in the .bss segment as though they were local common
3237 symbols, and uses a different smclas. The native Aix 4.3.3 assembler
3238 aligns .comm and .lcomm to 4 bytes. */
3241 ppc_comm (int lcomm
)
3243 asection
*current_seg
= now_seg
;
3244 subsegT current_subseg
= now_subseg
;
3250 symbolS
*lcomm_sym
= NULL
;
3254 name
= input_line_pointer
;
3255 endc
= get_symbol_end ();
3256 end_name
= input_line_pointer
;
3259 if (*input_line_pointer
!= ',')
3261 as_bad (_("missing size"));
3262 ignore_rest_of_line ();
3265 ++input_line_pointer
;
3267 size
= get_absolute_expression ();
3270 as_bad (_("negative size"));
3271 ignore_rest_of_line ();
3277 /* The third argument to .comm is the alignment. */
3278 if (*input_line_pointer
!= ',')
3282 ++input_line_pointer
;
3283 align
= get_absolute_expression ();
3286 as_warn (_("ignoring bad alignment"));
3301 /* The third argument to .lcomm appears to be the real local
3302 common symbol to create. References to the symbol named in
3303 the first argument are turned into references to the third
3305 if (*input_line_pointer
!= ',')
3307 as_bad (_("missing real symbol name"));
3308 ignore_rest_of_line ();
3311 ++input_line_pointer
;
3313 lcomm_name
= input_line_pointer
;
3314 lcomm_endc
= get_symbol_end ();
3316 lcomm_sym
= symbol_find_or_make (lcomm_name
);
3318 *input_line_pointer
= lcomm_endc
;
3322 sym
= symbol_find_or_make (name
);
3325 if (S_IS_DEFINED (sym
)
3326 || S_GET_VALUE (sym
) != 0)
3328 as_bad (_("attempt to redefine symbol"));
3329 ignore_rest_of_line ();
3333 record_alignment (bss_section
, align
);
3336 || ! S_IS_DEFINED (lcomm_sym
))
3345 S_SET_EXTERNAL (sym
);
3349 symbol_get_tc (lcomm_sym
)->output
= 1;
3350 def_sym
= lcomm_sym
;
3354 subseg_set (bss_section
, 1);
3355 frag_align (align
, 0, 0);
3357 symbol_set_frag (def_sym
, frag_now
);
3358 pfrag
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, def_sym
,
3359 def_size
, (char *) NULL
);
3361 S_SET_SEGMENT (def_sym
, bss_section
);
3362 symbol_get_tc (def_sym
)->align
= align
;
3366 /* Align the size of lcomm_sym. */
3367 symbol_get_frag (lcomm_sym
)->fr_offset
=
3368 ((symbol_get_frag (lcomm_sym
)->fr_offset
+ (1 << align
) - 1)
3369 &~ ((1 << align
) - 1));
3370 if (align
> symbol_get_tc (lcomm_sym
)->align
)
3371 symbol_get_tc (lcomm_sym
)->align
= align
;
3376 /* Make sym an offset from lcomm_sym. */
3377 S_SET_SEGMENT (sym
, bss_section
);
3378 symbol_set_frag (sym
, symbol_get_frag (lcomm_sym
));
3379 S_SET_VALUE (sym
, symbol_get_frag (lcomm_sym
)->fr_offset
);
3380 symbol_get_frag (lcomm_sym
)->fr_offset
+= size
;
3383 subseg_set (current_seg
, current_subseg
);
3385 demand_empty_rest_of_line ();
3388 /* The .csect pseudo-op. This switches us into a different
3389 subsegment. The first argument is a symbol whose value is the
3390 start of the .csect. In COFF, csect symbols get special aux
3391 entries defined by the x_csect field of union internal_auxent. The
3392 optional second argument is the alignment (the default is 2). */
3395 ppc_csect (int ignore ATTRIBUTE_UNUSED
)
3402 name
= input_line_pointer
;
3403 endc
= get_symbol_end ();
3405 sym
= symbol_find_or_make (name
);
3407 *input_line_pointer
= endc
;
3409 if (S_GET_NAME (sym
)[0] == '\0')
3411 /* An unnamed csect is assumed to be [PR]. */
3412 symbol_get_tc (sym
)->class = XMC_PR
;
3416 if (*input_line_pointer
== ',')
3418 ++input_line_pointer
;
3419 align
= get_absolute_expression ();
3422 ppc_change_csect (sym
, align
);
3424 demand_empty_rest_of_line ();
3427 /* Change to a different csect. */
3430 ppc_change_csect (symbolS
*sym
, offsetT align
)
3432 if (S_IS_DEFINED (sym
))
3433 subseg_set (S_GET_SEGMENT (sym
), symbol_get_tc (sym
)->subseg
);
3443 /* This is a new csect. We need to look at the symbol class to
3444 figure out whether it should go in the text section or the
3448 switch (symbol_get_tc (sym
)->class)
3458 S_SET_SEGMENT (sym
, text_section
);
3459 symbol_get_tc (sym
)->subseg
= ppc_text_subsegment
;
3460 ++ppc_text_subsegment
;
3461 list_ptr
= &ppc_text_csects
;
3471 if (ppc_toc_csect
!= NULL
3472 && (symbol_get_tc (ppc_toc_csect
)->subseg
+ 1
3473 == ppc_data_subsegment
))
3475 S_SET_SEGMENT (sym
, data_section
);
3476 symbol_get_tc (sym
)->subseg
= ppc_data_subsegment
;
3477 ++ppc_data_subsegment
;
3478 list_ptr
= &ppc_data_csects
;
3484 /* We set the obstack chunk size to a small value before
3485 changing subsegments, so that we don't use a lot of memory
3486 space for what may be a small section. */
3487 hold_chunksize
= chunksize
;
3490 sec
= subseg_new (segment_name (S_GET_SEGMENT (sym
)),
3491 symbol_get_tc (sym
)->subseg
);
3493 chunksize
= hold_chunksize
;
3496 ppc_after_toc_frag
= frag_now
;
3498 record_alignment (sec
, align
);
3500 frag_align_code (align
, 0);
3502 frag_align (align
, 0, 0);
3504 symbol_set_frag (sym
, frag_now
);
3505 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
3507 symbol_get_tc (sym
)->align
= align
;
3508 symbol_get_tc (sym
)->output
= 1;
3509 symbol_get_tc (sym
)->within
= sym
;
3511 for (list
= *list_ptr
;
3512 symbol_get_tc (list
)->next
!= (symbolS
*) NULL
;
3513 list
= symbol_get_tc (list
)->next
)
3515 symbol_get_tc (list
)->next
= sym
;
3517 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3518 symbol_append (sym
, symbol_get_tc (list
)->within
, &symbol_rootP
,
3522 ppc_current_csect
= sym
;
3525 /* This function handles the .text and .data pseudo-ops. These
3526 pseudo-ops aren't really used by XCOFF; we implement them for the
3527 convenience of people who aren't used to XCOFF. */
3530 ppc_section (int type
)
3537 else if (type
== 'd')
3542 sym
= symbol_find_or_make (name
);
3544 ppc_change_csect (sym
, 2);
3546 demand_empty_rest_of_line ();
3549 /* This function handles the .section pseudo-op. This is mostly to
3550 give an error, since XCOFF only supports .text, .data and .bss, but
3551 we do permit the user to name the text or data section. */
3554 ppc_named_section (int ignore ATTRIBUTE_UNUSED
)
3557 const char *real_name
;
3561 user_name
= input_line_pointer
;
3562 c
= get_symbol_end ();
3564 if (strcmp (user_name
, ".text") == 0)
3565 real_name
= ".text[PR]";
3566 else if (strcmp (user_name
, ".data") == 0)
3567 real_name
= ".data[RW]";
3570 as_bad (_("The XCOFF file format does not support arbitrary sections"));
3571 *input_line_pointer
= c
;
3572 ignore_rest_of_line ();
3576 *input_line_pointer
= c
;
3578 sym
= symbol_find_or_make (real_name
);
3580 ppc_change_csect (sym
, 2);
3582 demand_empty_rest_of_line ();
3585 /* The .extern pseudo-op. We create an undefined symbol. */
3588 ppc_extern (int ignore ATTRIBUTE_UNUSED
)
3593 name
= input_line_pointer
;
3594 endc
= get_symbol_end ();
3596 (void) symbol_find_or_make (name
);
3598 *input_line_pointer
= endc
;
3600 demand_empty_rest_of_line ();
3603 /* The .lglobl pseudo-op. Keep the symbol in the symbol table. */
3606 ppc_lglobl (int ignore ATTRIBUTE_UNUSED
)
3612 name
= input_line_pointer
;
3613 endc
= get_symbol_end ();
3615 sym
= symbol_find_or_make (name
);
3617 *input_line_pointer
= endc
;
3619 symbol_get_tc (sym
)->output
= 1;
3621 demand_empty_rest_of_line ();
3624 /* The .rename pseudo-op. The RS/6000 assembler can rename symbols,
3625 although I don't know why it bothers. */
3628 ppc_rename (int ignore ATTRIBUTE_UNUSED
)
3635 name
= input_line_pointer
;
3636 endc
= get_symbol_end ();
3638 sym
= symbol_find_or_make (name
);
3640 *input_line_pointer
= endc
;
3642 if (*input_line_pointer
!= ',')
3644 as_bad (_("missing rename string"));
3645 ignore_rest_of_line ();
3648 ++input_line_pointer
;
3650 symbol_get_tc (sym
)->real_name
= demand_copy_C_string (&len
);
3652 demand_empty_rest_of_line ();
3655 /* The .stabx pseudo-op. This is similar to a normal .stabs
3656 pseudo-op, but slightly different. A sample is
3657 .stabx "main:F-1",.main,142,0
3658 The first argument is the symbol name to create. The second is the
3659 value, and the third is the storage class. The fourth seems to be
3660 always zero, and I am assuming it is the type. */
3663 ppc_stabx (int ignore ATTRIBUTE_UNUSED
)
3670 name
= demand_copy_C_string (&len
);
3672 if (*input_line_pointer
!= ',')
3674 as_bad (_("missing value"));
3677 ++input_line_pointer
;
3679 ppc_stab_symbol
= TRUE
;
3680 sym
= symbol_make (name
);
3681 ppc_stab_symbol
= FALSE
;
3683 symbol_get_tc (sym
)->real_name
= name
;
3685 (void) expression (&exp
);
3692 as_bad (_("illegal .stabx expression; zero assumed"));
3693 exp
.X_add_number
= 0;
3696 S_SET_VALUE (sym
, (valueT
) exp
.X_add_number
);
3697 symbol_set_frag (sym
, &zero_address_frag
);
3701 if (S_GET_SEGMENT (exp
.X_add_symbol
) == undefined_section
)
3702 symbol_set_value_expression (sym
, &exp
);
3706 exp
.X_add_number
+ S_GET_VALUE (exp
.X_add_symbol
));
3707 symbol_set_frag (sym
, symbol_get_frag (exp
.X_add_symbol
));
3712 /* The value is some complex expression. This will probably
3713 fail at some later point, but this is probably the right
3714 thing to do here. */
3715 symbol_set_value_expression (sym
, &exp
);
3719 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
3720 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3722 if (*input_line_pointer
!= ',')
3724 as_bad (_("missing class"));
3727 ++input_line_pointer
;
3729 S_SET_STORAGE_CLASS (sym
, get_absolute_expression ());
3731 if (*input_line_pointer
!= ',')
3733 as_bad (_("missing type"));
3736 ++input_line_pointer
;
3738 S_SET_DATA_TYPE (sym
, get_absolute_expression ());
3740 symbol_get_tc (sym
)->output
= 1;
3742 if (S_GET_STORAGE_CLASS (sym
) == C_STSYM
) {
3744 symbol_get_tc (sym
)->within
= ppc_current_block
;
3749 .stabx "z",arrays_,133,0
3752 .comm arrays_,13768,3
3754 resolve_symbol_value will copy the exp's "within" into sym's when the
3755 offset is 0. Since this seems to be corner case problem,
3756 only do the correction for storage class C_STSYM. A better solution
3757 would be to have the tc field updated in ppc_symbol_new_hook. */
3759 if (exp
.X_op
== O_symbol
)
3761 symbol_get_tc (exp
.X_add_symbol
)->within
= ppc_current_block
;
3765 if (exp
.X_op
!= O_symbol
3766 || ! S_IS_EXTERNAL (exp
.X_add_symbol
)
3767 || S_GET_SEGMENT (exp
.X_add_symbol
) != bss_section
)
3768 ppc_frob_label (sym
);
3771 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3772 symbol_append (sym
, exp
.X_add_symbol
, &symbol_rootP
, &symbol_lastP
);
3773 if (symbol_get_tc (ppc_current_csect
)->within
== exp
.X_add_symbol
)
3774 symbol_get_tc (ppc_current_csect
)->within
= sym
;
3777 demand_empty_rest_of_line ();
3780 /* The .function pseudo-op. This takes several arguments. The first
3781 argument seems to be the external name of the symbol. The second
3782 argument seems to be the label for the start of the function. gcc
3783 uses the same name for both. I have no idea what the third and
3784 fourth arguments are meant to be. The optional fifth argument is
3785 an expression for the size of the function. In COFF this symbol
3786 gets an aux entry like that used for a csect. */
3789 ppc_function (int ignore ATTRIBUTE_UNUSED
)
3797 name
= input_line_pointer
;
3798 endc
= get_symbol_end ();
3800 /* Ignore any [PR] suffix. */
3801 name
= ppc_canonicalize_symbol_name (name
);
3802 s
= strchr (name
, '[');
3803 if (s
!= (char *) NULL
3804 && strcmp (s
+ 1, "PR]") == 0)
3807 ext_sym
= symbol_find_or_make (name
);
3809 *input_line_pointer
= endc
;
3811 if (*input_line_pointer
!= ',')
3813 as_bad (_("missing symbol name"));
3814 ignore_rest_of_line ();
3817 ++input_line_pointer
;
3819 name
= input_line_pointer
;
3820 endc
= get_symbol_end ();
3822 lab_sym
= symbol_find_or_make (name
);
3824 *input_line_pointer
= endc
;
3826 if (ext_sym
!= lab_sym
)
3830 exp
.X_op
= O_symbol
;
3831 exp
.X_add_symbol
= lab_sym
;
3832 exp
.X_op_symbol
= NULL
;
3833 exp
.X_add_number
= 0;
3835 symbol_set_value_expression (ext_sym
, &exp
);
3838 if (symbol_get_tc (ext_sym
)->class == -1)
3839 symbol_get_tc (ext_sym
)->class = XMC_PR
;
3840 symbol_get_tc (ext_sym
)->output
= 1;
3842 if (*input_line_pointer
== ',')
3846 /* Ignore the third argument. */
3847 ++input_line_pointer
;
3848 expression (&ignore
);
3849 if (*input_line_pointer
== ',')
3851 /* Ignore the fourth argument. */
3852 ++input_line_pointer
;
3853 expression (&ignore
);
3854 if (*input_line_pointer
== ',')
3856 /* The fifth argument is the function size. */
3857 ++input_line_pointer
;
3858 symbol_get_tc (ext_sym
)->size
= symbol_new ("L0\001",
3861 &zero_address_frag
);
3862 pseudo_set (symbol_get_tc (ext_sym
)->size
);
3867 S_SET_DATA_TYPE (ext_sym
, DT_FCN
<< N_BTSHFT
);
3868 SF_SET_FUNCTION (ext_sym
);
3869 SF_SET_PROCESS (ext_sym
);
3870 coff_add_linesym (ext_sym
);
3872 demand_empty_rest_of_line ();
3875 /* The .bf pseudo-op. This is just like a COFF C_FCN symbol named
3876 ".bf". If the pseudo op .bi was seen before .bf, patch the .bi sym
3877 with the correct line number */
3879 static symbolS
*saved_bi_sym
= 0;
3882 ppc_bf (int ignore ATTRIBUTE_UNUSED
)
3886 sym
= symbol_make (".bf");
3887 S_SET_SEGMENT (sym
, text_section
);
3888 symbol_set_frag (sym
, frag_now
);
3889 S_SET_VALUE (sym
, frag_now_fix ());
3890 S_SET_STORAGE_CLASS (sym
, C_FCN
);
3892 coff_line_base
= get_absolute_expression ();
3894 S_SET_NUMBER_AUXILIARY (sym
, 1);
3895 SA_SET_SYM_LNNO (sym
, coff_line_base
);
3897 /* Line number for bi. */
3900 S_SET_VALUE (saved_bi_sym
, coff_n_line_nos
);
3905 symbol_get_tc (sym
)->output
= 1;
3907 ppc_frob_label (sym
);
3909 demand_empty_rest_of_line ();
3912 /* The .ef pseudo-op. This is just like a COFF C_FCN symbol named
3913 ".ef", except that the line number is absolute, not relative to the
3914 most recent ".bf" symbol. */
3917 ppc_ef (int ignore ATTRIBUTE_UNUSED
)
3921 sym
= symbol_make (".ef");
3922 S_SET_SEGMENT (sym
, text_section
);
3923 symbol_set_frag (sym
, frag_now
);
3924 S_SET_VALUE (sym
, frag_now_fix ());
3925 S_SET_STORAGE_CLASS (sym
, C_FCN
);
3926 S_SET_NUMBER_AUXILIARY (sym
, 1);
3927 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
3928 symbol_get_tc (sym
)->output
= 1;
3930 ppc_frob_label (sym
);
3932 demand_empty_rest_of_line ();
3935 /* The .bi and .ei pseudo-ops. These take a string argument and
3936 generates a C_BINCL or C_EINCL symbol, which goes at the start of
3937 the symbol list. The value of .bi will be know when the next .bf
3943 static symbolS
*last_biei
;
3950 name
= demand_copy_C_string (&len
);
3952 /* The value of these symbols is actually file offset. Here we set
3953 the value to the index into the line number entries. In
3954 ppc_frob_symbols we set the fix_line field, which will cause BFD
3955 to do the right thing. */
3957 sym
= symbol_make (name
);
3958 /* obj-coff.c currently only handles line numbers correctly in the
3960 S_SET_SEGMENT (sym
, text_section
);
3961 S_SET_VALUE (sym
, coff_n_line_nos
);
3962 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3964 S_SET_STORAGE_CLASS (sym
, ei
? C_EINCL
: C_BINCL
);
3965 symbol_get_tc (sym
)->output
= 1;
3973 for (look
= last_biei
? last_biei
: symbol_rootP
;
3974 (look
!= (symbolS
*) NULL
3975 && (S_GET_STORAGE_CLASS (look
) == C_FILE
3976 || S_GET_STORAGE_CLASS (look
) == C_BINCL
3977 || S_GET_STORAGE_CLASS (look
) == C_EINCL
));
3978 look
= symbol_next (look
))
3980 if (look
!= (symbolS
*) NULL
)
3982 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3983 symbol_insert (sym
, look
, &symbol_rootP
, &symbol_lastP
);
3987 demand_empty_rest_of_line ();
3990 /* The .bs pseudo-op. This generates a C_BSTAT symbol named ".bs".
3991 There is one argument, which is a csect symbol. The value of the
3992 .bs symbol is the index of this csect symbol. */
3995 ppc_bs (int ignore ATTRIBUTE_UNUSED
)
4002 if (ppc_current_block
!= NULL
)
4003 as_bad (_("nested .bs blocks"));
4005 name
= input_line_pointer
;
4006 endc
= get_symbol_end ();
4008 csect
= symbol_find_or_make (name
);
4010 *input_line_pointer
= endc
;
4012 sym
= symbol_make (".bs");
4013 S_SET_SEGMENT (sym
, now_seg
);
4014 S_SET_STORAGE_CLASS (sym
, C_BSTAT
);
4015 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4016 symbol_get_tc (sym
)->output
= 1;
4018 symbol_get_tc (sym
)->within
= csect
;
4020 ppc_frob_label (sym
);
4022 ppc_current_block
= sym
;
4024 demand_empty_rest_of_line ();
4027 /* The .es pseudo-op. Generate a C_ESTART symbol named .es. */
4030 ppc_es (int ignore ATTRIBUTE_UNUSED
)
4034 if (ppc_current_block
== NULL
)
4035 as_bad (_(".es without preceding .bs"));
4037 sym
= symbol_make (".es");
4038 S_SET_SEGMENT (sym
, now_seg
);
4039 S_SET_STORAGE_CLASS (sym
, C_ESTAT
);
4040 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4041 symbol_get_tc (sym
)->output
= 1;
4043 ppc_frob_label (sym
);
4045 ppc_current_block
= NULL
;
4047 demand_empty_rest_of_line ();
4050 /* The .bb pseudo-op. Generate a C_BLOCK symbol named .bb, with a
4054 ppc_bb (int ignore ATTRIBUTE_UNUSED
)
4058 sym
= symbol_make (".bb");
4059 S_SET_SEGMENT (sym
, text_section
);
4060 symbol_set_frag (sym
, frag_now
);
4061 S_SET_VALUE (sym
, frag_now_fix ());
4062 S_SET_STORAGE_CLASS (sym
, C_BLOCK
);
4064 S_SET_NUMBER_AUXILIARY (sym
, 1);
4065 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
4067 symbol_get_tc (sym
)->output
= 1;
4069 SF_SET_PROCESS (sym
);
4071 ppc_frob_label (sym
);
4073 demand_empty_rest_of_line ();
4076 /* The .eb pseudo-op. Generate a C_BLOCK symbol named .eb, with a
4080 ppc_eb (int ignore ATTRIBUTE_UNUSED
)
4084 sym
= symbol_make (".eb");
4085 S_SET_SEGMENT (sym
, text_section
);
4086 symbol_set_frag (sym
, frag_now
);
4087 S_SET_VALUE (sym
, frag_now_fix ());
4088 S_SET_STORAGE_CLASS (sym
, C_BLOCK
);
4089 S_SET_NUMBER_AUXILIARY (sym
, 1);
4090 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
4091 symbol_get_tc (sym
)->output
= 1;
4093 SF_SET_PROCESS (sym
);
4095 ppc_frob_label (sym
);
4097 demand_empty_rest_of_line ();
4100 /* The .bc pseudo-op. This just creates a C_BCOMM symbol with a
4104 ppc_bc (int ignore ATTRIBUTE_UNUSED
)
4110 name
= demand_copy_C_string (&len
);
4111 sym
= symbol_make (name
);
4112 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
4113 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4114 S_SET_STORAGE_CLASS (sym
, C_BCOMM
);
4115 S_SET_VALUE (sym
, 0);
4116 symbol_get_tc (sym
)->output
= 1;
4118 ppc_frob_label (sym
);
4120 demand_empty_rest_of_line ();
4123 /* The .ec pseudo-op. This just creates a C_ECOMM symbol. */
4126 ppc_ec (int ignore ATTRIBUTE_UNUSED
)
4130 sym
= symbol_make (".ec");
4131 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
4132 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
4133 S_SET_STORAGE_CLASS (sym
, C_ECOMM
);
4134 S_SET_VALUE (sym
, 0);
4135 symbol_get_tc (sym
)->output
= 1;
4137 ppc_frob_label (sym
);
4139 demand_empty_rest_of_line ();
4142 /* The .toc pseudo-op. Switch to the .toc subsegment. */
4145 ppc_toc (int ignore ATTRIBUTE_UNUSED
)
4147 if (ppc_toc_csect
!= (symbolS
*) NULL
)
4148 subseg_set (data_section
, symbol_get_tc (ppc_toc_csect
)->subseg
);
4155 subseg
= ppc_data_subsegment
;
4156 ++ppc_data_subsegment
;
4158 subseg_new (segment_name (data_section
), subseg
);
4159 ppc_toc_frag
= frag_now
;
4161 sym
= symbol_find_or_make ("TOC[TC0]");
4162 symbol_set_frag (sym
, frag_now
);
4163 S_SET_SEGMENT (sym
, data_section
);
4164 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
4165 symbol_get_tc (sym
)->subseg
= subseg
;
4166 symbol_get_tc (sym
)->output
= 1;
4167 symbol_get_tc (sym
)->within
= sym
;
4169 ppc_toc_csect
= sym
;
4171 for (list
= ppc_data_csects
;
4172 symbol_get_tc (list
)->next
!= (symbolS
*) NULL
;
4173 list
= symbol_get_tc (list
)->next
)
4175 symbol_get_tc (list
)->next
= sym
;
4177 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
4178 symbol_append (sym
, symbol_get_tc (list
)->within
, &symbol_rootP
,
4182 ppc_current_csect
= ppc_toc_csect
;
4184 demand_empty_rest_of_line ();
4187 /* The AIX assembler automatically aligns the operands of a .long or
4188 .short pseudo-op, and we want to be compatible. */
4191 ppc_xcoff_cons (int log_size
)
4193 frag_align (log_size
, 0, 0);
4194 record_alignment (now_seg
, log_size
);
4195 cons (1 << log_size
);
4199 ppc_vbyte (int dummy ATTRIBUTE_UNUSED
)
4204 (void) expression (&exp
);
4206 if (exp
.X_op
!= O_constant
)
4208 as_bad (_("non-constant byte count"));
4212 byte_count
= exp
.X_add_number
;
4214 if (*input_line_pointer
!= ',')
4216 as_bad (_("missing value"));
4220 ++input_line_pointer
;
4224 #endif /* OBJ_XCOFF */
4225 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
4227 /* The .tc pseudo-op. This is used when generating either XCOFF or
4228 ELF. This takes two or more arguments.
4230 When generating XCOFF output, the first argument is the name to
4231 give to this location in the toc; this will be a symbol with class
4232 TC. The rest of the arguments are N-byte values to actually put at
4233 this location in the TOC; often there is just one more argument, a
4234 relocatable symbol reference. The size of the value to store
4235 depends on target word size. A 32-bit target uses 4-byte values, a
4236 64-bit target uses 8-byte values.
4238 When not generating XCOFF output, the arguments are the same, but
4239 the first argument is simply ignored. */
4242 ppc_tc (int ignore ATTRIBUTE_UNUSED
)
4246 /* Define the TOC symbol name. */
4252 if (ppc_toc_csect
== (symbolS
*) NULL
4253 || ppc_toc_csect
!= ppc_current_csect
)
4255 as_bad (_(".tc not in .toc section"));
4256 ignore_rest_of_line ();
4260 name
= input_line_pointer
;
4261 endc
= get_symbol_end ();
4263 sym
= symbol_find_or_make (name
);
4265 *input_line_pointer
= endc
;
4267 if (S_IS_DEFINED (sym
))
4271 label
= symbol_get_tc (ppc_current_csect
)->within
;
4272 if (symbol_get_tc (label
)->class != XMC_TC0
)
4274 as_bad (_(".tc with no label"));
4275 ignore_rest_of_line ();
4279 S_SET_SEGMENT (label
, S_GET_SEGMENT (sym
));
4280 symbol_set_frag (label
, symbol_get_frag (sym
));
4281 S_SET_VALUE (label
, S_GET_VALUE (sym
));
4283 while (! is_end_of_line
[(unsigned char) *input_line_pointer
])
4284 ++input_line_pointer
;
4289 S_SET_SEGMENT (sym
, now_seg
);
4290 symbol_set_frag (sym
, frag_now
);
4291 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
4292 symbol_get_tc (sym
)->class = XMC_TC
;
4293 symbol_get_tc (sym
)->output
= 1;
4295 ppc_frob_label (sym
);
4298 #endif /* OBJ_XCOFF */
4302 /* Skip the TOC symbol name. */
4303 while (is_part_of_name (*input_line_pointer
)
4304 || *input_line_pointer
== ' '
4305 || *input_line_pointer
== '['
4306 || *input_line_pointer
== ']'
4307 || *input_line_pointer
== '{'
4308 || *input_line_pointer
== '}')
4309 ++input_line_pointer
;
4311 /* Align to a four/eight byte boundary. */
4312 align
= ppc_obj64
? 3 : 2;
4313 frag_align (align
, 0, 0);
4314 record_alignment (now_seg
, align
);
4315 #endif /* OBJ_ELF */
4317 if (*input_line_pointer
!= ',')
4318 demand_empty_rest_of_line ();
4321 ++input_line_pointer
;
4322 cons (ppc_obj64
? 8 : 4);
4326 /* Pseudo-op .machine. */
4329 ppc_machine (int ignore ATTRIBUTE_UNUSED
)
4332 #define MAX_HISTORY 100
4333 static ppc_cpu_t
*cpu_history
;
4334 static int curr_hist
;
4338 if (*input_line_pointer
== '"')
4341 cpu_string
= demand_copy_C_string (&len
);
4346 cpu_string
= input_line_pointer
;
4347 c
= get_symbol_end ();
4348 cpu_string
= xstrdup (cpu_string
);
4349 *input_line_pointer
= c
;
4352 if (cpu_string
!= NULL
)
4354 ppc_cpu_t old_cpu
= ppc_cpu
;
4357 for (p
= cpu_string
; *p
!= 0; p
++)
4360 if (strcmp (cpu_string
, "push") == 0)
4362 if (cpu_history
== NULL
)
4363 cpu_history
= xmalloc (MAX_HISTORY
* sizeof (*cpu_history
));
4365 if (curr_hist
>= MAX_HISTORY
)
4366 as_bad (_(".machine stack overflow"));
4368 cpu_history
[curr_hist
++] = ppc_cpu
;
4370 else if (strcmp (cpu_string
, "pop") == 0)
4373 as_bad (_(".machine stack underflow"));
4375 ppc_cpu
= cpu_history
[--curr_hist
];
4377 else if (parse_cpu (cpu_string
))
4380 as_bad (_("invalid machine `%s'"), cpu_string
);
4382 if (ppc_cpu
!= old_cpu
)
4383 ppc_setup_opcodes ();
4386 demand_empty_rest_of_line ();
4389 /* See whether a symbol is in the TOC section. */
4392 ppc_is_toc_sym (symbolS
*sym
)
4395 return symbol_get_tc (sym
)->class == XMC_TC
;
4398 const char *sname
= segment_name (S_GET_SEGMENT (sym
));
4400 return strcmp (sname
, ".toc") == 0;
4402 return strcmp (sname
, ".got") == 0;
4405 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
4409 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
4411 /* Set the current section. */
4413 ppc_set_current_section (segT
new)
4415 ppc_previous_section
= ppc_current_section
;
4416 ppc_current_section
= new;
4419 /* pseudo-op: .previous
4420 behaviour: toggles the current section with the previous section.
4422 warnings: "No previous section" */
4425 ppc_previous (int ignore ATTRIBUTE_UNUSED
)
4429 if (ppc_previous_section
== NULL
)
4431 as_warn (_("No previous section to return to. Directive ignored."));
4435 subseg_set (ppc_previous_section
, 0);
4437 ppc_set_current_section (ppc_previous_section
);
4440 /* pseudo-op: .pdata
4441 behaviour: predefined read only data section
4445 initial: .section .pdata "adr3"
4446 a - don't know -- maybe a misprint
4447 d - initialized data
4449 3 - double word aligned (that would be 4 byte boundary)
4452 Tag index tables (also known as the function table) for exception
4453 handling, debugging, etc. */
4456 ppc_pdata (int ignore ATTRIBUTE_UNUSED
)
4458 if (pdata_section
== 0)
4460 pdata_section
= subseg_new (".pdata", 0);
4462 bfd_set_section_flags (stdoutput
, pdata_section
,
4463 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4464 | SEC_READONLY
| SEC_DATA
));
4466 bfd_set_section_alignment (stdoutput
, pdata_section
, 2);
4470 pdata_section
= subseg_new (".pdata", 0);
4472 ppc_set_current_section (pdata_section
);
4475 /* pseudo-op: .ydata
4476 behaviour: predefined read only data section
4480 initial: .section .ydata "drw3"
4481 a - don't know -- maybe a misprint
4482 d - initialized data
4484 3 - double word aligned (that would be 4 byte boundary)
4486 Tag tables (also known as the scope table) for exception handling,
4490 ppc_ydata (int ignore ATTRIBUTE_UNUSED
)
4492 if (ydata_section
== 0)
4494 ydata_section
= subseg_new (".ydata", 0);
4495 bfd_set_section_flags (stdoutput
, ydata_section
,
4496 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4497 | SEC_READONLY
| SEC_DATA
));
4499 bfd_set_section_alignment (stdoutput
, ydata_section
, 3);
4503 ydata_section
= subseg_new (".ydata", 0);
4505 ppc_set_current_section (ydata_section
);
4508 /* pseudo-op: .reldata
4509 behaviour: predefined read write data section
4510 double word aligned (4-byte)
4511 FIXME: relocation is applied to it
4512 FIXME: what's the difference between this and .data?
4515 initial: .section .reldata "drw3"
4516 d - initialized data
4519 3 - double word aligned (that would be 8 byte boundary)
4522 Like .data, but intended to hold data subject to relocation, such as
4523 function descriptors, etc. */
4526 ppc_reldata (int ignore ATTRIBUTE_UNUSED
)
4528 if (reldata_section
== 0)
4530 reldata_section
= subseg_new (".reldata", 0);
4532 bfd_set_section_flags (stdoutput
, reldata_section
,
4533 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4536 bfd_set_section_alignment (stdoutput
, reldata_section
, 2);
4540 reldata_section
= subseg_new (".reldata", 0);
4542 ppc_set_current_section (reldata_section
);
4545 /* pseudo-op: .rdata
4546 behaviour: predefined read only data section
4550 initial: .section .rdata "dr3"
4551 d - initialized data
4553 3 - double word aligned (that would be 4 byte boundary) */
4556 ppc_rdata (int ignore ATTRIBUTE_UNUSED
)
4558 if (rdata_section
== 0)
4560 rdata_section
= subseg_new (".rdata", 0);
4561 bfd_set_section_flags (stdoutput
, rdata_section
,
4562 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4563 | SEC_READONLY
| SEC_DATA
));
4565 bfd_set_section_alignment (stdoutput
, rdata_section
, 2);
4569 rdata_section
= subseg_new (".rdata", 0);
4571 ppc_set_current_section (rdata_section
);
4574 /* pseudo-op: .ualong
4575 behaviour: much like .int, with the exception that no alignment is
4577 FIXME: test the alignment statement
4582 ppc_ualong (int ignore ATTRIBUTE_UNUSED
)
4588 /* pseudo-op: .znop <symbol name>
4589 behaviour: Issue a nop instruction
4590 Issue a IMAGE_REL_PPC_IFGLUE relocation against it, using
4591 the supplied symbol name.
4593 warnings: Missing symbol name */
4596 ppc_znop (int ignore ATTRIBUTE_UNUSED
)
4599 const struct powerpc_opcode
*opcode
;
4610 /* Strip out the symbol name. */
4611 symbol_name
= input_line_pointer
;
4612 c
= get_symbol_end ();
4614 name
= xmalloc (input_line_pointer
- symbol_name
+ 1);
4615 strcpy (name
, symbol_name
);
4617 sym
= symbol_find_or_make (name
);
4619 *input_line_pointer
= c
;
4623 /* Look up the opcode in the hash table. */
4624 opcode
= (const struct powerpc_opcode
*) hash_find (ppc_hash
, "nop");
4626 /* Stick in the nop. */
4627 insn
= opcode
->opcode
;
4629 /* Write out the instruction. */
4631 md_number_to_chars (f
, insn
, 4);
4633 f
- frag_now
->fr_literal
,
4638 BFD_RELOC_16_GOT_PCREL
);
4648 ppc_pe_comm (int lcomm
)
4657 name
= input_line_pointer
;
4658 c
= get_symbol_end ();
4660 /* just after name is now '\0'. */
4661 p
= input_line_pointer
;
4664 if (*input_line_pointer
!= ',')
4666 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
4667 ignore_rest_of_line ();
4671 input_line_pointer
++; /* skip ',' */
4672 if ((temp
= get_absolute_expression ()) < 0)
4674 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp
);
4675 ignore_rest_of_line ();
4681 /* The third argument to .comm is the alignment. */
4682 if (*input_line_pointer
!= ',')
4686 ++input_line_pointer
;
4687 align
= get_absolute_expression ();
4690 as_warn (_("ignoring bad alignment"));
4697 symbolP
= symbol_find_or_make (name
);
4700 if (S_IS_DEFINED (symbolP
) && ! S_IS_COMMON (symbolP
))
4702 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
4703 S_GET_NAME (symbolP
));
4704 ignore_rest_of_line ();
4708 if (S_GET_VALUE (symbolP
))
4710 if (S_GET_VALUE (symbolP
) != (valueT
) temp
)
4711 as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
4712 S_GET_NAME (symbolP
),
4713 (long) S_GET_VALUE (symbolP
),
4718 S_SET_VALUE (symbolP
, (valueT
) temp
);
4719 S_SET_EXTERNAL (symbolP
);
4720 S_SET_SEGMENT (symbolP
, bfd_com_section_ptr
);
4723 demand_empty_rest_of_line ();
4727 * implement the .section pseudo op:
4728 * .section name {, "flags"}
4730 * | +--- optional flags: 'b' for bss
4732 * +-- section name 'l' for lib
4736 * 'd' (apparently m88k for data)
4738 * But if the argument is not a quoted string, treat it as a
4739 * subsegment number.
4741 * FIXME: this is a copy of the section processing from obj-coff.c, with
4742 * additions/changes for the moto-pas assembler support. There are three
4745 * FIXME: I just noticed this. This doesn't work at all really. It it
4746 * setting bits that bfd probably neither understands or uses. The
4747 * correct approach (?) will have to incorporate extra fields attached
4748 * to the section to hold the system specific stuff. (krk)
4751 * 'a' - unknown - referred to in documentation, but no definition supplied
4752 * 'c' - section has code
4753 * 'd' - section has initialized data
4754 * 'u' - section has uninitialized data
4755 * 'i' - section contains directives (info)
4756 * 'n' - section can be discarded
4757 * 'R' - remove section at link time
4759 * Section Protection:
4760 * 'r' - section is readable
4761 * 'w' - section is writeable
4762 * 'x' - section is executable
4763 * 's' - section is sharable
4765 * Section Alignment:
4766 * '0' - align to byte boundary
4767 * '1' - align to halfword undary
4768 * '2' - align to word boundary
4769 * '3' - align to doubleword boundary
4770 * '4' - align to quadword boundary
4771 * '5' - align to 32 byte boundary
4772 * '6' - align to 64 byte boundary
4777 ppc_pe_section (int ignore ATTRIBUTE_UNUSED
)
4779 /* Strip out the section name. */
4788 section_name
= input_line_pointer
;
4789 c
= get_symbol_end ();
4791 name
= xmalloc (input_line_pointer
- section_name
+ 1);
4792 strcpy (name
, section_name
);
4794 *input_line_pointer
= c
;
4799 flags
= SEC_NO_FLAGS
;
4801 if (strcmp (name
, ".idata$2") == 0)
4805 else if (strcmp (name
, ".idata$3") == 0)
4809 else if (strcmp (name
, ".idata$4") == 0)
4813 else if (strcmp (name
, ".idata$5") == 0)
4817 else if (strcmp (name
, ".idata$6") == 0)
4822 /* Default alignment to 16 byte boundary. */
4825 if (*input_line_pointer
== ',')
4827 ++input_line_pointer
;
4829 if (*input_line_pointer
!= '"')
4830 exp
= get_absolute_expression ();
4833 ++input_line_pointer
;
4834 while (*input_line_pointer
!= '"'
4835 && ! is_end_of_line
[(unsigned char) *input_line_pointer
])
4837 switch (*input_line_pointer
)
4839 /* Section Contents */
4840 case 'a': /* unknown */
4841 as_bad (_("Unsupported section attribute -- 'a'"));
4843 case 'c': /* code section */
4846 case 'd': /* section has initialized data */
4849 case 'u': /* section has uninitialized data */
4850 /* FIXME: This is IMAGE_SCN_CNT_UNINITIALIZED_DATA
4854 case 'i': /* section contains directives (info) */
4855 /* FIXME: This is IMAGE_SCN_LNK_INFO
4857 flags
|= SEC_HAS_CONTENTS
;
4859 case 'n': /* section can be discarded */
4862 case 'R': /* Remove section at link time */
4863 flags
|= SEC_NEVER_LOAD
;
4865 #if IFLICT_BRAIN_DAMAGE
4866 /* Section Protection */
4867 case 'r': /* section is readable */
4868 flags
|= IMAGE_SCN_MEM_READ
;
4870 case 'w': /* section is writeable */
4871 flags
|= IMAGE_SCN_MEM_WRITE
;
4873 case 'x': /* section is executable */
4874 flags
|= IMAGE_SCN_MEM_EXECUTE
;
4876 case 's': /* section is sharable */
4877 flags
|= IMAGE_SCN_MEM_SHARED
;
4880 /* Section Alignment */
4881 case '0': /* align to byte boundary */
4882 flags
|= IMAGE_SCN_ALIGN_1BYTES
;
4885 case '1': /* align to halfword boundary */
4886 flags
|= IMAGE_SCN_ALIGN_2BYTES
;
4889 case '2': /* align to word boundary */
4890 flags
|= IMAGE_SCN_ALIGN_4BYTES
;
4893 case '3': /* align to doubleword boundary */
4894 flags
|= IMAGE_SCN_ALIGN_8BYTES
;
4897 case '4': /* align to quadword boundary */
4898 flags
|= IMAGE_SCN_ALIGN_16BYTES
;
4901 case '5': /* align to 32 byte boundary */
4902 flags
|= IMAGE_SCN_ALIGN_32BYTES
;
4905 case '6': /* align to 64 byte boundary */
4906 flags
|= IMAGE_SCN_ALIGN_64BYTES
;
4911 as_bad (_("unknown section attribute '%c'"),
4912 *input_line_pointer
);
4915 ++input_line_pointer
;
4917 if (*input_line_pointer
== '"')
4918 ++input_line_pointer
;
4922 sec
= subseg_new (name
, (subsegT
) exp
);
4924 ppc_set_current_section (sec
);
4926 if (flags
!= SEC_NO_FLAGS
)
4928 if (! bfd_set_section_flags (stdoutput
, sec
, flags
))
4929 as_bad (_("error setting flags for \"%s\": %s"),
4930 bfd_section_name (stdoutput
, sec
),
4931 bfd_errmsg (bfd_get_error ()));
4934 bfd_set_section_alignment (stdoutput
, sec
, align
);
4938 ppc_pe_function (int ignore ATTRIBUTE_UNUSED
)
4944 name
= input_line_pointer
;
4945 endc
= get_symbol_end ();
4947 ext_sym
= symbol_find_or_make (name
);
4949 *input_line_pointer
= endc
;
4951 S_SET_DATA_TYPE (ext_sym
, DT_FCN
<< N_BTSHFT
);
4952 SF_SET_FUNCTION (ext_sym
);
4953 SF_SET_PROCESS (ext_sym
);
4954 coff_add_linesym (ext_sym
);
4956 demand_empty_rest_of_line ();
4960 ppc_pe_tocd (int ignore ATTRIBUTE_UNUSED
)
4962 if (tocdata_section
== 0)
4964 tocdata_section
= subseg_new (".tocd", 0);
4965 /* FIXME: section flags won't work. */
4966 bfd_set_section_flags (stdoutput
, tocdata_section
,
4967 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4968 | SEC_READONLY
| SEC_DATA
));
4970 bfd_set_section_alignment (stdoutput
, tocdata_section
, 2);
4974 rdata_section
= subseg_new (".tocd", 0);
4977 ppc_set_current_section (tocdata_section
);
4979 demand_empty_rest_of_line ();
4982 /* Don't adjust TOC relocs to use the section symbol. */
4985 ppc_pe_fix_adjustable (fixS
*fix
)
4987 return fix
->fx_r_type
!= BFD_RELOC_PPC_TOC16
;
4994 /* XCOFF specific symbol and file handling. */
4996 /* Canonicalize the symbol name. We use the to force the suffix, if
4997 any, to use square brackets, and to be in upper case. */
5000 ppc_canonicalize_symbol_name (char *name
)
5004 if (ppc_stab_symbol
)
5007 for (s
= name
; *s
!= '\0' && *s
!= '{' && *s
!= '['; s
++)
5021 for (s
++; *s
!= '\0' && *s
!= brac
; s
++)
5024 if (*s
== '\0' || s
[1] != '\0')
5025 as_bad (_("bad symbol suffix"));
5033 /* Set the class of a symbol based on the suffix, if any. This is
5034 called whenever a new symbol is created. */
5037 ppc_symbol_new_hook (symbolS
*sym
)
5039 struct ppc_tc_sy
*tc
;
5042 tc
= symbol_get_tc (sym
);
5046 tc
->real_name
= NULL
;
5052 if (ppc_stab_symbol
)
5055 s
= strchr (S_GET_NAME (sym
), '[');
5056 if (s
== (const char *) NULL
)
5058 /* There is no suffix. */
5067 if (strcmp (s
, "BS]") == 0)
5071 if (strcmp (s
, "DB]") == 0)
5073 else if (strcmp (s
, "DS]") == 0)
5077 if (strcmp (s
, "GL]") == 0)
5081 if (strcmp (s
, "PR]") == 0)
5085 if (strcmp (s
, "RO]") == 0)
5087 else if (strcmp (s
, "RW]") == 0)
5091 if (strcmp (s
, "SV]") == 0)
5095 if (strcmp (s
, "TC]") == 0)
5097 else if (strcmp (s
, "TI]") == 0)
5099 else if (strcmp (s
, "TB]") == 0)
5101 else if (strcmp (s
, "TC0]") == 0 || strcmp (s
, "T0]") == 0)
5102 tc
->class = XMC_TC0
;
5105 if (strcmp (s
, "UA]") == 0)
5107 else if (strcmp (s
, "UC]") == 0)
5111 if (strcmp (s
, "XO]") == 0)
5116 if (tc
->class == -1)
5117 as_bad (_("Unrecognized symbol suffix"));
5120 /* Set the class of a label based on where it is defined. This
5121 handles symbols without suffixes. Also, move the symbol so that it
5122 follows the csect symbol. */
5125 ppc_frob_label (symbolS
*sym
)
5127 if (ppc_current_csect
!= (symbolS
*) NULL
)
5129 if (symbol_get_tc (sym
)->class == -1)
5130 symbol_get_tc (sym
)->class = symbol_get_tc (ppc_current_csect
)->class;
5132 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
5133 symbol_append (sym
, symbol_get_tc (ppc_current_csect
)->within
,
5134 &symbol_rootP
, &symbol_lastP
);
5135 symbol_get_tc (ppc_current_csect
)->within
= sym
;
5139 dwarf2_emit_label (sym
);
5143 /* This variable is set by ppc_frob_symbol if any absolute symbols are
5144 seen. It tells ppc_adjust_symtab whether it needs to look through
5147 static bfd_boolean ppc_saw_abs
;
5149 /* Change the name of a symbol just before writing it out. Set the
5150 real name if the .rename pseudo-op was used. Otherwise, remove any
5151 class suffix. Return 1 if the symbol should not be included in the
5155 ppc_frob_symbol (symbolS
*sym
)
5157 static symbolS
*ppc_last_function
;
5158 static symbolS
*set_end
;
5160 /* Discard symbols that should not be included in the output symbol
5162 if (! symbol_used_in_reloc_p (sym
)
5163 && ((symbol_get_bfdsym (sym
)->flags
& BSF_SECTION_SYM
) != 0
5164 || (! (S_IS_EXTERNAL (sym
) || S_IS_WEAK (sym
))
5165 && ! symbol_get_tc (sym
)->output
5166 && S_GET_STORAGE_CLASS (sym
) != C_FILE
)))
5169 /* This one will disappear anyway. Don't make a csect sym for it. */
5170 if (sym
== abs_section_sym
)
5173 if (symbol_get_tc (sym
)->real_name
!= (char *) NULL
)
5174 S_SET_NAME (sym
, symbol_get_tc (sym
)->real_name
);
5180 name
= S_GET_NAME (sym
);
5181 s
= strchr (name
, '[');
5182 if (s
!= (char *) NULL
)
5188 snew
= xmalloc (len
+ 1);
5189 memcpy (snew
, name
, len
);
5192 S_SET_NAME (sym
, snew
);
5196 if (set_end
!= (symbolS
*) NULL
)
5198 SA_SET_SYM_ENDNDX (set_end
, sym
);
5202 if (SF_GET_FUNCTION (sym
))
5204 if (ppc_last_function
!= (symbolS
*) NULL
)
5205 as_bad (_("two .function pseudo-ops with no intervening .ef"));
5206 ppc_last_function
= sym
;
5207 if (symbol_get_tc (sym
)->size
!= (symbolS
*) NULL
)
5209 resolve_symbol_value (symbol_get_tc (sym
)->size
);
5210 SA_SET_SYM_FSIZE (sym
,
5211 (long) S_GET_VALUE (symbol_get_tc (sym
)->size
));
5214 else if (S_GET_STORAGE_CLASS (sym
) == C_FCN
5215 && strcmp (S_GET_NAME (sym
), ".ef") == 0)
5217 if (ppc_last_function
== (symbolS
*) NULL
)
5218 as_bad (_(".ef with no preceding .function"));
5221 set_end
= ppc_last_function
;
5222 ppc_last_function
= NULL
;
5224 /* We don't have a C_EFCN symbol, but we need to force the
5225 COFF backend to believe that it has seen one. */
5226 coff_last_function
= NULL
;
5230 if (! (S_IS_EXTERNAL (sym
) || S_IS_WEAK (sym
))
5231 && (symbol_get_bfdsym (sym
)->flags
& BSF_SECTION_SYM
) == 0
5232 && S_GET_STORAGE_CLASS (sym
) != C_FILE
5233 && S_GET_STORAGE_CLASS (sym
) != C_FCN
5234 && S_GET_STORAGE_CLASS (sym
) != C_BLOCK
5235 && S_GET_STORAGE_CLASS (sym
) != C_BSTAT
5236 && S_GET_STORAGE_CLASS (sym
) != C_ESTAT
5237 && S_GET_STORAGE_CLASS (sym
) != C_BINCL
5238 && S_GET_STORAGE_CLASS (sym
) != C_EINCL
5239 && S_GET_SEGMENT (sym
) != ppc_coff_debug_section
)
5240 S_SET_STORAGE_CLASS (sym
, C_HIDEXT
);
5242 if (S_GET_STORAGE_CLASS (sym
) == C_EXT
5243 || S_GET_STORAGE_CLASS (sym
) == C_HIDEXT
)
5246 union internal_auxent
*a
;
5248 /* Create a csect aux. */
5249 i
= S_GET_NUMBER_AUXILIARY (sym
);
5250 S_SET_NUMBER_AUXILIARY (sym
, i
+ 1);
5251 a
= &coffsymbol (symbol_get_bfdsym (sym
))->native
[i
+ 1].u
.auxent
;
5252 if (symbol_get_tc (sym
)->class == XMC_TC0
)
5254 /* This is the TOC table. */
5255 know (strcmp (S_GET_NAME (sym
), "TOC") == 0);
5256 a
->x_csect
.x_scnlen
.l
= 0;
5257 a
->x_csect
.x_smtyp
= (2 << 3) | XTY_SD
;
5259 else if (symbol_get_tc (sym
)->subseg
!= 0)
5261 /* This is a csect symbol. x_scnlen is the size of the
5263 if (symbol_get_tc (sym
)->next
== (symbolS
*) NULL
)
5264 a
->x_csect
.x_scnlen
.l
= (bfd_section_size (stdoutput
,
5265 S_GET_SEGMENT (sym
))
5266 - S_GET_VALUE (sym
));
5269 resolve_symbol_value (symbol_get_tc (sym
)->next
);
5270 a
->x_csect
.x_scnlen
.l
= (S_GET_VALUE (symbol_get_tc (sym
)->next
)
5271 - S_GET_VALUE (sym
));
5273 a
->x_csect
.x_smtyp
= (symbol_get_tc (sym
)->align
<< 3) | XTY_SD
;
5275 else if (S_GET_SEGMENT (sym
) == bss_section
)
5277 /* This is a common symbol. */
5278 a
->x_csect
.x_scnlen
.l
= symbol_get_frag (sym
)->fr_offset
;
5279 a
->x_csect
.x_smtyp
= (symbol_get_tc (sym
)->align
<< 3) | XTY_CM
;
5280 if (S_IS_EXTERNAL (sym
))
5281 symbol_get_tc (sym
)->class = XMC_RW
;
5283 symbol_get_tc (sym
)->class = XMC_BS
;
5285 else if (S_GET_SEGMENT (sym
) == absolute_section
)
5287 /* This is an absolute symbol. The csect will be created by
5288 ppc_adjust_symtab. */
5290 a
->x_csect
.x_smtyp
= XTY_LD
;
5291 if (symbol_get_tc (sym
)->class == -1)
5292 symbol_get_tc (sym
)->class = XMC_XO
;
5294 else if (! S_IS_DEFINED (sym
))
5296 /* This is an external symbol. */
5297 a
->x_csect
.x_scnlen
.l
= 0;
5298 a
->x_csect
.x_smtyp
= XTY_ER
;
5300 else if (symbol_get_tc (sym
)->class == XMC_TC
)
5304 /* This is a TOC definition. x_scnlen is the size of the
5306 next
= symbol_next (sym
);
5307 while (symbol_get_tc (next
)->class == XMC_TC0
)
5308 next
= symbol_next (next
);
5309 if (next
== (symbolS
*) NULL
5310 || symbol_get_tc (next
)->class != XMC_TC
)
5312 if (ppc_after_toc_frag
== (fragS
*) NULL
)
5313 a
->x_csect
.x_scnlen
.l
= (bfd_section_size (stdoutput
,
5315 - S_GET_VALUE (sym
));
5317 a
->x_csect
.x_scnlen
.l
= (ppc_after_toc_frag
->fr_address
5318 - S_GET_VALUE (sym
));
5322 resolve_symbol_value (next
);
5323 a
->x_csect
.x_scnlen
.l
= (S_GET_VALUE (next
)
5324 - S_GET_VALUE (sym
));
5326 a
->x_csect
.x_smtyp
= (2 << 3) | XTY_SD
;
5332 /* This is a normal symbol definition. x_scnlen is the
5333 symbol index of the containing csect. */
5334 if (S_GET_SEGMENT (sym
) == text_section
)
5335 csect
= ppc_text_csects
;
5336 else if (S_GET_SEGMENT (sym
) == data_section
)
5337 csect
= ppc_data_csects
;
5341 /* Skip the initial dummy symbol. */
5342 csect
= symbol_get_tc (csect
)->next
;
5344 if (csect
== (symbolS
*) NULL
)
5346 as_warn (_("warning: symbol %s has no csect"), S_GET_NAME (sym
));
5347 a
->x_csect
.x_scnlen
.l
= 0;
5351 while (symbol_get_tc (csect
)->next
!= (symbolS
*) NULL
)
5353 resolve_symbol_value (symbol_get_tc (csect
)->next
);
5354 if (S_GET_VALUE (symbol_get_tc (csect
)->next
)
5355 > S_GET_VALUE (sym
))
5357 csect
= symbol_get_tc (csect
)->next
;
5360 a
->x_csect
.x_scnlen
.p
=
5361 coffsymbol (symbol_get_bfdsym (csect
))->native
;
5362 coffsymbol (symbol_get_bfdsym (sym
))->native
[i
+ 1].fix_scnlen
=
5365 a
->x_csect
.x_smtyp
= XTY_LD
;
5368 a
->x_csect
.x_parmhash
= 0;
5369 a
->x_csect
.x_snhash
= 0;
5370 if (symbol_get_tc (sym
)->class == -1)
5371 a
->x_csect
.x_smclas
= XMC_PR
;
5373 a
->x_csect
.x_smclas
= symbol_get_tc (sym
)->class;
5374 a
->x_csect
.x_stab
= 0;
5375 a
->x_csect
.x_snstab
= 0;
5377 /* Don't let the COFF backend resort these symbols. */
5378 symbol_get_bfdsym (sym
)->flags
|= BSF_NOT_AT_END
;
5380 else if (S_GET_STORAGE_CLASS (sym
) == C_BSTAT
)
5382 /* We want the value to be the symbol index of the referenced
5383 csect symbol. BFD will do that for us if we set the right
5385 asymbol
*bsym
= symbol_get_bfdsym (symbol_get_tc (sym
)->within
);
5386 combined_entry_type
*c
= coffsymbol (bsym
)->native
;
5388 S_SET_VALUE (sym
, (valueT
) (size_t) c
);
5389 coffsymbol (symbol_get_bfdsym (sym
))->native
->fix_value
= 1;
5391 else if (S_GET_STORAGE_CLASS (sym
) == C_STSYM
)
5396 /* The value is the offset from the enclosing csect. */
5397 block
= symbol_get_tc (sym
)->within
;
5398 csect
= symbol_get_tc (block
)->within
;
5399 resolve_symbol_value (csect
);
5400 S_SET_VALUE (sym
, S_GET_VALUE (sym
) - S_GET_VALUE (csect
));
5402 else if (S_GET_STORAGE_CLASS (sym
) == C_BINCL
5403 || S_GET_STORAGE_CLASS (sym
) == C_EINCL
)
5405 /* We want the value to be a file offset into the line numbers.
5406 BFD will do that for us if we set the right flags. We have
5407 already set the value correctly. */
5408 coffsymbol (symbol_get_bfdsym (sym
))->native
->fix_line
= 1;
5414 /* Adjust the symbol table. This creates csect symbols for all
5415 absolute symbols. */
5418 ppc_adjust_symtab (void)
5425 for (sym
= symbol_rootP
; sym
!= NULL
; sym
= symbol_next (sym
))
5429 union internal_auxent
*a
;
5431 if (S_GET_SEGMENT (sym
) != absolute_section
)
5434 csect
= symbol_create (".abs[XO]", absolute_section
,
5435 S_GET_VALUE (sym
), &zero_address_frag
);
5436 symbol_get_bfdsym (csect
)->value
= S_GET_VALUE (sym
);
5437 S_SET_STORAGE_CLASS (csect
, C_HIDEXT
);
5438 i
= S_GET_NUMBER_AUXILIARY (csect
);
5439 S_SET_NUMBER_AUXILIARY (csect
, i
+ 1);
5440 a
= &coffsymbol (symbol_get_bfdsym (csect
))->native
[i
+ 1].u
.auxent
;
5441 a
->x_csect
.x_scnlen
.l
= 0;
5442 a
->x_csect
.x_smtyp
= XTY_SD
;
5443 a
->x_csect
.x_parmhash
= 0;
5444 a
->x_csect
.x_snhash
= 0;
5445 a
->x_csect
.x_smclas
= XMC_XO
;
5446 a
->x_csect
.x_stab
= 0;
5447 a
->x_csect
.x_snstab
= 0;
5449 symbol_insert (csect
, sym
, &symbol_rootP
, &symbol_lastP
);
5451 i
= S_GET_NUMBER_AUXILIARY (sym
);
5452 a
= &coffsymbol (symbol_get_bfdsym (sym
))->native
[i
].u
.auxent
;
5453 a
->x_csect
.x_scnlen
.p
= coffsymbol (symbol_get_bfdsym (csect
))->native
;
5454 coffsymbol (symbol_get_bfdsym (sym
))->native
[i
].fix_scnlen
= 1;
5457 ppc_saw_abs
= FALSE
;
5460 /* Set the VMA for a section. This is called on all the sections in
5464 ppc_frob_section (asection
*sec
)
5466 static bfd_vma vma
= 0;
5468 vma
= md_section_align (sec
, vma
);
5469 bfd_set_section_vma (stdoutput
, sec
, vma
);
5470 vma
+= bfd_section_size (stdoutput
, sec
);
5473 #endif /* OBJ_XCOFF */
5476 md_atof (int type
, char *litp
, int *sizep
)
5478 return ieee_md_atof (type
, litp
, sizep
, target_big_endian
);
5481 /* Write a value out to the object file, using the appropriate
5485 md_number_to_chars (char *buf
, valueT val
, int n
)
5487 if (target_big_endian
)
5488 number_to_chars_bigendian (buf
, val
, n
);
5490 number_to_chars_littleendian (buf
, val
, n
);
5493 /* Align a section (I don't know why this is machine dependent). */
5496 md_section_align (asection
*seg ATTRIBUTE_UNUSED
, valueT addr
)
5501 int align
= bfd_get_section_alignment (stdoutput
, seg
);
5503 return ((addr
+ (1 << align
) - 1) & (-1 << align
));
5507 /* We don't have any form of relaxing. */
5510 md_estimate_size_before_relax (fragS
*fragp ATTRIBUTE_UNUSED
,
5511 asection
*seg ATTRIBUTE_UNUSED
)
5517 /* Convert a machine dependent frag. We never generate these. */
5520 md_convert_frag (bfd
*abfd ATTRIBUTE_UNUSED
,
5521 asection
*sec ATTRIBUTE_UNUSED
,
5522 fragS
*fragp ATTRIBUTE_UNUSED
)
5527 /* We have no need to default values of symbols. */
5530 md_undefined_symbol (char *name ATTRIBUTE_UNUSED
)
5535 /* Functions concerning relocs. */
5537 /* The location from which a PC relative jump should be calculated,
5538 given a PC relative reloc. */
5541 md_pcrel_from_section (fixS
*fixp
, segT sec ATTRIBUTE_UNUSED
)
5543 return fixp
->fx_frag
->fr_address
+ fixp
->fx_where
;
5548 /* This is called to see whether a fixup should be adjusted to use a
5549 section symbol. We take the opportunity to change a fixup against
5550 a symbol in the TOC subsegment into a reloc against the
5551 corresponding .tc symbol. */
5554 ppc_fix_adjustable (fixS
*fix
)
5556 valueT val
= resolve_symbol_value (fix
->fx_addsy
);
5557 segT symseg
= S_GET_SEGMENT (fix
->fx_addsy
);
5558 TC_SYMFIELD_TYPE
*tc
;
5560 if (symseg
== absolute_section
)
5563 if (ppc_toc_csect
!= (symbolS
*) NULL
5564 && fix
->fx_addsy
!= ppc_toc_csect
5565 && symseg
== data_section
5566 && val
>= ppc_toc_frag
->fr_address
5567 && (ppc_after_toc_frag
== (fragS
*) NULL
5568 || val
< ppc_after_toc_frag
->fr_address
))
5572 for (sy
= symbol_next (ppc_toc_csect
);
5573 sy
!= (symbolS
*) NULL
;
5574 sy
= symbol_next (sy
))
5576 TC_SYMFIELD_TYPE
*sy_tc
= symbol_get_tc (sy
);
5578 if (sy_tc
->class == XMC_TC0
)
5580 if (sy_tc
->class != XMC_TC
)
5582 if (val
== resolve_symbol_value (sy
))
5585 fix
->fx_addnumber
= val
- ppc_toc_frag
->fr_address
;
5590 as_bad_where (fix
->fx_file
, fix
->fx_line
,
5591 _("symbol in .toc does not match any .tc"));
5594 /* Possibly adjust the reloc to be against the csect. */
5595 tc
= symbol_get_tc (fix
->fx_addsy
);
5597 && tc
->class != XMC_TC0
5598 && tc
->class != XMC_TC
5599 && symseg
!= bss_section
5600 /* Don't adjust if this is a reloc in the toc section. */
5601 && (symseg
!= data_section
5602 || ppc_toc_csect
== NULL
5603 || val
< ppc_toc_frag
->fr_address
5604 || (ppc_after_toc_frag
!= NULL
5605 && val
>= ppc_after_toc_frag
->fr_address
)))
5608 symbolS
*next_csect
;
5610 if (symseg
== text_section
)
5611 csect
= ppc_text_csects
;
5612 else if (symseg
== data_section
)
5613 csect
= ppc_data_csects
;
5617 /* Skip the initial dummy symbol. */
5618 csect
= symbol_get_tc (csect
)->next
;
5620 if (csect
!= (symbolS
*) NULL
)
5622 while ((next_csect
= symbol_get_tc (csect
)->next
) != (symbolS
*) NULL
5623 && (symbol_get_frag (next_csect
)->fr_address
<= val
))
5625 /* If the csect address equals the symbol value, then we
5626 have to look through the full symbol table to see
5627 whether this is the csect we want. Note that we will
5628 only get here if the csect has zero length. */
5629 if (symbol_get_frag (csect
)->fr_address
== val
5630 && S_GET_VALUE (csect
) == val
)
5634 for (scan
= symbol_next (csect
);
5636 scan
= symbol_next (scan
))
5638 if (symbol_get_tc (scan
)->subseg
!= 0)
5640 if (scan
== fix
->fx_addsy
)
5644 /* If we found the symbol before the next csect
5645 symbol, then this is the csect we want. */
5646 if (scan
== fix
->fx_addsy
)
5653 fix
->fx_offset
+= val
- symbol_get_frag (csect
)->fr_address
;
5654 fix
->fx_addsy
= csect
;
5659 /* Adjust a reloc against a .lcomm symbol to be against the base
5661 if (symseg
== bss_section
5662 && ! S_IS_EXTERNAL (fix
->fx_addsy
))
5664 symbolS
*sy
= symbol_get_frag (fix
->fx_addsy
)->fr_symbol
;
5666 fix
->fx_offset
+= val
- resolve_symbol_value (sy
);
5673 /* A reloc from one csect to another must be kept. The assembler
5674 will, of course, keep relocs between sections, and it will keep
5675 absolute relocs, but we need to force it to keep PC relative relocs
5676 between two csects in the same section. */
5679 ppc_force_relocation (fixS
*fix
)
5681 /* At this point fix->fx_addsy should already have been converted to
5682 a csect symbol. If the csect does not include the fragment, then
5683 we need to force the relocation. */
5685 && fix
->fx_addsy
!= NULL
5686 && symbol_get_tc (fix
->fx_addsy
)->subseg
!= 0
5687 && ((symbol_get_frag (fix
->fx_addsy
)->fr_address
5688 > fix
->fx_frag
->fr_address
)
5689 || (symbol_get_tc (fix
->fx_addsy
)->next
!= NULL
5690 && (symbol_get_frag (symbol_get_tc (fix
->fx_addsy
)->next
)->fr_address
5691 <= fix
->fx_frag
->fr_address
))))
5694 return generic_force_reloc (fix
);
5697 #endif /* OBJ_XCOFF */
5700 /* If this function returns non-zero, it guarantees that a relocation
5701 will be emitted for a fixup. */
5704 ppc_force_relocation (fixS
*fix
)
5706 /* Branch prediction relocations must force a relocation, as must
5707 the vtable description relocs. */
5708 switch (fix
->fx_r_type
)
5710 case BFD_RELOC_PPC_B16_BRTAKEN
:
5711 case BFD_RELOC_PPC_B16_BRNTAKEN
:
5712 case BFD_RELOC_PPC_BA16_BRTAKEN
:
5713 case BFD_RELOC_PPC_BA16_BRNTAKEN
:
5714 case BFD_RELOC_24_PLT_PCREL
:
5715 case BFD_RELOC_PPC64_TOC
:
5721 if (fix
->fx_r_type
>= BFD_RELOC_PPC_TLS
5722 && fix
->fx_r_type
<= BFD_RELOC_PPC64_DTPREL16_HIGHESTA
)
5725 return generic_force_reloc (fix
);
5729 ppc_fix_adjustable (fixS
*fix
)
5731 return (fix
->fx_r_type
!= BFD_RELOC_16_GOTOFF
5732 && fix
->fx_r_type
!= BFD_RELOC_LO16_GOTOFF
5733 && fix
->fx_r_type
!= BFD_RELOC_HI16_GOTOFF
5734 && fix
->fx_r_type
!= BFD_RELOC_HI16_S_GOTOFF
5735 && fix
->fx_r_type
!= BFD_RELOC_GPREL16
5736 && fix
->fx_r_type
!= BFD_RELOC_VTABLE_INHERIT
5737 && fix
->fx_r_type
!= BFD_RELOC_VTABLE_ENTRY
5738 && !(fix
->fx_r_type
>= BFD_RELOC_PPC_TLS
5739 && fix
->fx_r_type
<= BFD_RELOC_PPC64_DTPREL16_HIGHESTA
));
5743 /* Implement HANDLE_ALIGN. This writes the NOP pattern into an
5744 rs_align_code frag. */
5747 ppc_handle_align (struct frag
*fragP
)
5749 valueT count
= (fragP
->fr_next
->fr_address
5750 - (fragP
->fr_address
+ fragP
->fr_fix
));
5752 if (count
!= 0 && (count
& 3) == 0)
5754 char *dest
= fragP
->fr_literal
+ fragP
->fr_fix
;
5757 md_number_to_chars (dest
, 0x60000000, 4);
5759 if ((ppc_cpu
& PPC_OPCODE_POWER6
) != 0)
5761 /* For power6, we want the last nop to be a group terminating
5762 one, "ori 1,1,0". Do this by inserting an rs_fill frag
5763 immediately after this one, with its address set to the last
5764 nop location. This will automatically reduce the number of
5765 nops in the current frag by one. */
5768 struct frag
*group_nop
= xmalloc (SIZEOF_STRUCT_FRAG
+ 4);
5770 memcpy (group_nop
, fragP
, SIZEOF_STRUCT_FRAG
);
5771 group_nop
->fr_address
= group_nop
->fr_next
->fr_address
- 4;
5772 group_nop
->fr_fix
= 0;
5773 group_nop
->fr_offset
= 1;
5774 group_nop
->fr_type
= rs_fill
;
5775 fragP
->fr_next
= group_nop
;
5776 dest
= group_nop
->fr_literal
;
5779 md_number_to_chars (dest
, 0x60210000, 4);
5784 /* Apply a fixup to the object code. This is called for all the
5785 fixups we generated by the call to fix_new_exp, above. In the call
5786 above we used a reloc code which was the largest legal reloc code
5787 plus the operand index. Here we undo that to recover the operand
5788 index. At this point all symbol values should be fully resolved,
5789 and we attempt to completely resolve the reloc. If we can not do
5790 that, we determine the correct reloc code and put it back in the
5794 md_apply_fix (fixS
*fixP
, valueT
*valP
, segT seg ATTRIBUTE_UNUSED
)
5796 valueT value
= * valP
;
5799 if (fixP
->fx_addsy
!= NULL
)
5801 /* Hack around bfd_install_relocation brain damage. */
5803 value
+= fixP
->fx_frag
->fr_address
+ fixP
->fx_where
;
5808 /* FIXME FIXME FIXME: The value we are passed in *valP includes
5809 the symbol values. If we are doing this relocation the code in
5810 write.c is going to call bfd_install_relocation, which is also
5811 going to use the symbol value. That means that if the reloc is
5812 fully resolved we want to use *valP since bfd_install_relocation is
5814 However, if the reloc is not fully resolved we do not want to use
5815 *valP, and must use fx_offset instead. However, if the reloc
5816 is PC relative, we do want to use *valP since it includes the
5817 result of md_pcrel_from. This is confusing. */
5818 if (fixP
->fx_addsy
== (symbolS
*) NULL
)
5821 else if (fixP
->fx_pcrel
)
5825 value
= fixP
->fx_offset
;
5828 if (fixP
->fx_subsy
!= (symbolS
*) NULL
)
5830 /* We can't actually support subtracting a symbol. */
5831 as_bad_where (fixP
->fx_file
, fixP
->fx_line
, _("expression too complex"));
5834 if ((int) fixP
->fx_r_type
>= (int) BFD_RELOC_UNUSED
)
5837 const struct powerpc_operand
*operand
;
5841 opindex
= (int) fixP
->fx_r_type
- (int) BFD_RELOC_UNUSED
;
5843 operand
= &powerpc_operands
[opindex
];
5846 /* An instruction like `lwz 9,sym(30)' when `sym' is not a TOC symbol
5847 does not generate a reloc. It uses the offset of `sym' within its
5848 csect. Other usages, such as `.long sym', generate relocs. This
5849 is the documented behaviour of non-TOC symbols. */
5850 if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0
5851 && (operand
->bitm
& 0xfff0) == 0xfff0
5852 && operand
->shift
== 0
5853 && (operand
->insert
== NULL
|| ppc_obj64
)
5854 && fixP
->fx_addsy
!= NULL
5855 && symbol_get_tc (fixP
->fx_addsy
)->subseg
!= 0
5856 && symbol_get_tc (fixP
->fx_addsy
)->class != XMC_TC
5857 && symbol_get_tc (fixP
->fx_addsy
)->class != XMC_TC0
5858 && S_GET_SEGMENT (fixP
->fx_addsy
) != bss_section
)
5860 value
= fixP
->fx_offset
;
5865 /* Fetch the instruction, insert the fully resolved operand
5866 value, and stuff the instruction back again. */
5867 where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
5868 if (target_big_endian
)
5869 insn
= bfd_getb32 ((unsigned char *) where
);
5871 insn
= bfd_getl32 ((unsigned char *) where
);
5872 insn
= ppc_insert_operand (insn
, operand
, (offsetT
) value
,
5873 fixP
->tc_fix_data
.ppc_cpu
,
5874 fixP
->fx_file
, fixP
->fx_line
);
5875 if (target_big_endian
)
5876 bfd_putb32 ((bfd_vma
) insn
, (unsigned char *) where
);
5878 bfd_putl32 ((bfd_vma
) insn
, (unsigned char *) where
);
5881 /* Nothing else to do here. */
5884 assert (fixP
->fx_addsy
!= NULL
);
5886 /* Determine a BFD reloc value based on the operand information.
5887 We are only prepared to turn a few of the operands into
5889 if ((operand
->flags
& PPC_OPERAND_RELATIVE
) != 0
5890 && operand
->bitm
== 0x3fffffc
5891 && operand
->shift
== 0)
5892 fixP
->fx_r_type
= BFD_RELOC_PPC_B26
;
5893 else if ((operand
->flags
& PPC_OPERAND_RELATIVE
) != 0
5894 && operand
->bitm
== 0xfffc
5895 && operand
->shift
== 0)
5897 fixP
->fx_r_type
= BFD_RELOC_PPC_B16
;
5900 if (target_big_endian
)
5901 fixP
->fx_where
+= 2;
5904 else if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0
5905 && operand
->bitm
== 0x3fffffc
5906 && operand
->shift
== 0)
5907 fixP
->fx_r_type
= BFD_RELOC_PPC_BA26
;
5908 else if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0
5909 && operand
->bitm
== 0xfffc
5910 && operand
->shift
== 0)
5912 fixP
->fx_r_type
= BFD_RELOC_PPC_BA16
;
5915 if (target_big_endian
)
5916 fixP
->fx_where
+= 2;
5919 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
5920 else if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0
5921 && (operand
->bitm
& 0xfff0) == 0xfff0
5922 && operand
->shift
== 0)
5924 if (ppc_is_toc_sym (fixP
->fx_addsy
))
5926 fixP
->fx_r_type
= BFD_RELOC_PPC_TOC16
;
5929 && (operand
->flags
& PPC_OPERAND_DS
) != 0)
5930 fixP
->fx_r_type
= BFD_RELOC_PPC64_TOC16_DS
;
5935 fixP
->fx_r_type
= BFD_RELOC_16
;
5938 && (operand
->flags
& PPC_OPERAND_DS
) != 0)
5939 fixP
->fx_r_type
= BFD_RELOC_PPC64_ADDR16_DS
;
5943 if (target_big_endian
)
5944 fixP
->fx_where
+= 2;
5946 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
5952 /* Use expr_symbol_where to see if this is an expression
5954 if (expr_symbol_where (fixP
->fx_addsy
, &sfile
, &sline
))
5955 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
5956 _("unresolved expression that must be resolved"));
5958 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
5959 _("unsupported relocation against %s"),
5960 S_GET_NAME (fixP
->fx_addsy
));
5968 ppc_elf_validate_fix (fixP
, seg
);
5970 switch (fixP
->fx_r_type
)
5972 case BFD_RELOC_CTOR
:
5979 fixP
->fx_r_type
= BFD_RELOC_32_PCREL
;
5983 case BFD_RELOC_32_PCREL
:
5984 case BFD_RELOC_PPC_EMB_NADDR32
:
5985 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5992 fixP
->fx_r_type
= BFD_RELOC_64_PCREL
;
5995 case BFD_RELOC_64_PCREL
:
5996 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6000 case BFD_RELOC_GPREL16
:
6001 case BFD_RELOC_16_GOT_PCREL
:
6002 case BFD_RELOC_16_GOTOFF
:
6003 case BFD_RELOC_LO16_GOTOFF
:
6004 case BFD_RELOC_HI16_GOTOFF
:
6005 case BFD_RELOC_HI16_S_GOTOFF
:
6006 case BFD_RELOC_16_BASEREL
:
6007 case BFD_RELOC_LO16_BASEREL
:
6008 case BFD_RELOC_HI16_BASEREL
:
6009 case BFD_RELOC_HI16_S_BASEREL
:
6010 case BFD_RELOC_PPC_EMB_NADDR16
:
6011 case BFD_RELOC_PPC_EMB_NADDR16_LO
:
6012 case BFD_RELOC_PPC_EMB_NADDR16_HI
:
6013 case BFD_RELOC_PPC_EMB_NADDR16_HA
:
6014 case BFD_RELOC_PPC_EMB_SDAI16
:
6015 case BFD_RELOC_PPC_EMB_SDA2REL
:
6016 case BFD_RELOC_PPC_EMB_SDA2I16
:
6017 case BFD_RELOC_PPC_EMB_RELSEC16
:
6018 case BFD_RELOC_PPC_EMB_RELST_LO
:
6019 case BFD_RELOC_PPC_EMB_RELST_HI
:
6020 case BFD_RELOC_PPC_EMB_RELST_HA
:
6021 case BFD_RELOC_PPC_EMB_RELSDA
:
6022 case BFD_RELOC_PPC_TOC16
:
6024 case BFD_RELOC_PPC64_TOC16_LO
:
6025 case BFD_RELOC_PPC64_TOC16_HI
:
6026 case BFD_RELOC_PPC64_TOC16_HA
:
6030 if (fixP
->fx_addsy
!= NULL
)
6031 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6032 _("cannot emit PC relative %s relocation against %s"),
6033 bfd_get_reloc_code_name (fixP
->fx_r_type
),
6034 S_GET_NAME (fixP
->fx_addsy
));
6036 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6037 _("cannot emit PC relative %s relocation"),
6038 bfd_get_reloc_code_name (fixP
->fx_r_type
));
6041 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6047 fixP
->fx_r_type
= BFD_RELOC_16_PCREL
;
6050 case BFD_RELOC_16_PCREL
:
6051 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6055 case BFD_RELOC_LO16
:
6057 fixP
->fx_r_type
= BFD_RELOC_LO16_PCREL
;
6060 case BFD_RELOC_LO16_PCREL
:
6061 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6065 /* This case happens when you write, for example,
6067 where L1 and L2 are defined later. */
6068 case BFD_RELOC_HI16
:
6070 fixP
->fx_r_type
= BFD_RELOC_HI16_PCREL
;
6073 case BFD_RELOC_HI16_PCREL
:
6074 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6078 case BFD_RELOC_HI16_S
:
6080 fixP
->fx_r_type
= BFD_RELOC_HI16_S_PCREL
;
6083 case BFD_RELOC_HI16_S_PCREL
:
6084 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6089 case BFD_RELOC_PPC64_HIGHER
:
6092 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6093 PPC_HIGHER (value
), 2);
6096 case BFD_RELOC_PPC64_HIGHER_S
:
6099 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6100 PPC_HIGHERA (value
), 2);
6103 case BFD_RELOC_PPC64_HIGHEST
:
6106 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6107 PPC_HIGHEST (value
), 2);
6110 case BFD_RELOC_PPC64_HIGHEST_S
:
6113 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6114 PPC_HIGHESTA (value
), 2);
6117 case BFD_RELOC_PPC64_ADDR16_DS
:
6118 case BFD_RELOC_PPC64_ADDR16_LO_DS
:
6119 case BFD_RELOC_PPC64_GOT16_DS
:
6120 case BFD_RELOC_PPC64_GOT16_LO_DS
:
6121 case BFD_RELOC_PPC64_PLT16_LO_DS
:
6122 case BFD_RELOC_PPC64_SECTOFF_DS
:
6123 case BFD_RELOC_PPC64_SECTOFF_LO_DS
:
6124 case BFD_RELOC_PPC64_TOC16_DS
:
6125 case BFD_RELOC_PPC64_TOC16_LO_DS
:
6126 case BFD_RELOC_PPC64_PLTGOT16_DS
:
6127 case BFD_RELOC_PPC64_PLTGOT16_LO_DS
:
6131 char *where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
6132 unsigned long val
, mask
;
6134 if (target_big_endian
)
6135 val
= bfd_getb32 (where
- 2);
6137 val
= bfd_getl32 (where
);
6139 /* lq insns reserve the four lsbs. */
6140 if ((ppc_cpu
& PPC_OPCODE_POWER4
) != 0
6141 && (val
& (0x3f << 26)) == (56u << 26))
6143 val
|= value
& mask
;
6144 if (target_big_endian
)
6145 bfd_putb16 ((bfd_vma
) val
, where
);
6147 bfd_putl16 ((bfd_vma
) val
, where
);
6151 case BFD_RELOC_PPC_B16_BRTAKEN
:
6152 case BFD_RELOC_PPC_B16_BRNTAKEN
:
6153 case BFD_RELOC_PPC_BA16_BRTAKEN
:
6154 case BFD_RELOC_PPC_BA16_BRNTAKEN
:
6157 case BFD_RELOC_PPC_TLS
:
6160 case BFD_RELOC_PPC_DTPMOD
:
6161 case BFD_RELOC_PPC_TPREL16
:
6162 case BFD_RELOC_PPC_TPREL16_LO
:
6163 case BFD_RELOC_PPC_TPREL16_HI
:
6164 case BFD_RELOC_PPC_TPREL16_HA
:
6165 case BFD_RELOC_PPC_TPREL
:
6166 case BFD_RELOC_PPC_DTPREL16
:
6167 case BFD_RELOC_PPC_DTPREL16_LO
:
6168 case BFD_RELOC_PPC_DTPREL16_HI
:
6169 case BFD_RELOC_PPC_DTPREL16_HA
:
6170 case BFD_RELOC_PPC_DTPREL
:
6171 case BFD_RELOC_PPC_GOT_TLSGD16
:
6172 case BFD_RELOC_PPC_GOT_TLSGD16_LO
:
6173 case BFD_RELOC_PPC_GOT_TLSGD16_HI
:
6174 case BFD_RELOC_PPC_GOT_TLSGD16_HA
:
6175 case BFD_RELOC_PPC_GOT_TLSLD16
:
6176 case BFD_RELOC_PPC_GOT_TLSLD16_LO
:
6177 case BFD_RELOC_PPC_GOT_TLSLD16_HI
:
6178 case BFD_RELOC_PPC_GOT_TLSLD16_HA
:
6179 case BFD_RELOC_PPC_GOT_TPREL16
:
6180 case BFD_RELOC_PPC_GOT_TPREL16_LO
:
6181 case BFD_RELOC_PPC_GOT_TPREL16_HI
:
6182 case BFD_RELOC_PPC_GOT_TPREL16_HA
:
6183 case BFD_RELOC_PPC_GOT_DTPREL16
:
6184 case BFD_RELOC_PPC_GOT_DTPREL16_LO
:
6185 case BFD_RELOC_PPC_GOT_DTPREL16_HI
:
6186 case BFD_RELOC_PPC_GOT_DTPREL16_HA
:
6187 case BFD_RELOC_PPC64_TPREL16_DS
:
6188 case BFD_RELOC_PPC64_TPREL16_LO_DS
:
6189 case BFD_RELOC_PPC64_TPREL16_HIGHER
:
6190 case BFD_RELOC_PPC64_TPREL16_HIGHERA
:
6191 case BFD_RELOC_PPC64_TPREL16_HIGHEST
:
6192 case BFD_RELOC_PPC64_TPREL16_HIGHESTA
:
6193 case BFD_RELOC_PPC64_DTPREL16_DS
:
6194 case BFD_RELOC_PPC64_DTPREL16_LO_DS
:
6195 case BFD_RELOC_PPC64_DTPREL16_HIGHER
:
6196 case BFD_RELOC_PPC64_DTPREL16_HIGHERA
:
6197 case BFD_RELOC_PPC64_DTPREL16_HIGHEST
:
6198 case BFD_RELOC_PPC64_DTPREL16_HIGHESTA
:
6199 S_SET_THREAD_LOCAL (fixP
->fx_addsy
);
6202 /* Because SDA21 modifies the register field, the size is set to 4
6203 bytes, rather than 2, so offset it here appropriately. */
6204 case BFD_RELOC_PPC_EMB_SDA21
:
6208 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
6209 + ((target_big_endian
) ? 2 : 0),
6216 /* This can occur if there is a bug in the input assembler, eg:
6217 ".byte <undefined_symbol> - ." */
6219 as_bad (_("Unable to handle reference to symbol %s"),
6220 S_GET_NAME (fixP
->fx_addsy
));
6222 as_bad (_("Unable to resolve expression"));
6226 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6230 case BFD_RELOC_24_PLT_PCREL
:
6231 case BFD_RELOC_PPC_LOCAL24PC
:
6232 if (!fixP
->fx_pcrel
&& !fixP
->fx_done
)
6240 /* Fetch the instruction, insert the fully resolved operand
6241 value, and stuff the instruction back again. */
6242 where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
6243 if (target_big_endian
)
6244 insn
= bfd_getb32 ((unsigned char *) where
);
6246 insn
= bfd_getl32 ((unsigned char *) where
);
6247 if ((value
& 3) != 0)
6248 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6249 _("must branch to an address a multiple of 4"));
6250 if ((offsetT
) value
< -0x40000000
6251 || (offsetT
) value
>= 0x40000000)
6252 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6253 _("@local or @plt branch destination is too far away, %ld bytes"),
6255 insn
= insn
| (value
& 0x03fffffc);
6256 if (target_big_endian
)
6257 bfd_putb32 ((bfd_vma
) insn
, (unsigned char *) where
);
6259 bfd_putl32 ((bfd_vma
) insn
, (unsigned char *) where
);
6263 case BFD_RELOC_VTABLE_INHERIT
:
6266 && !S_IS_DEFINED (fixP
->fx_addsy
)
6267 && !S_IS_WEAK (fixP
->fx_addsy
))
6268 S_SET_WEAK (fixP
->fx_addsy
);
6271 case BFD_RELOC_VTABLE_ENTRY
:
6276 /* Generated by reference to `sym@tocbase'. The sym is
6277 ignored by the linker. */
6278 case BFD_RELOC_PPC64_TOC
:
6284 _("Gas failure, reloc value %d\n"), fixP
->fx_r_type
);
6291 fixP
->fx_addnumber
= value
;
6293 /* PowerPC uses RELA relocs, ie. the reloc addend is stored separately
6294 from the section contents. If we are going to be emitting a reloc
6295 then the section contents are immaterial, so don't warn if they
6296 happen to overflow. Leave such warnings to ld. */
6298 fixP
->fx_no_overflow
= 1;
6300 if (fixP
->fx_r_type
!= BFD_RELOC_PPC_TOC16
)
6301 fixP
->fx_addnumber
= 0;
6305 fixP
->fx_addnumber
= 0;
6307 /* We want to use the offset within the toc, not the actual VMA
6309 fixP
->fx_addnumber
=
6310 - bfd_get_section_vma (stdoutput
, S_GET_SEGMENT (fixP
->fx_addsy
))
6311 - S_GET_VALUE (ppc_toc_csect
);
6317 /* Generate a reloc for a fixup. */
6320 tc_gen_reloc (asection
*seg ATTRIBUTE_UNUSED
, fixS
*fixp
)
6324 reloc
= (arelent
*) xmalloc (sizeof (arelent
));
6326 reloc
->sym_ptr_ptr
= (asymbol
**) xmalloc (sizeof (asymbol
*));
6327 *reloc
->sym_ptr_ptr
= symbol_get_bfdsym (fixp
->fx_addsy
);
6328 reloc
->address
= fixp
->fx_frag
->fr_address
+ fixp
->fx_where
;
6329 reloc
->howto
= bfd_reloc_type_lookup (stdoutput
, fixp
->fx_r_type
);
6330 if (reloc
->howto
== (reloc_howto_type
*) NULL
)
6332 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
6333 _("reloc %d not supported by object file format"),
6334 (int) fixp
->fx_r_type
);
6337 reloc
->addend
= fixp
->fx_addnumber
;
6343 ppc_cfi_frame_initial_instructions (void)
6345 cfi_add_CFA_def_cfa (1, 0);
6349 tc_ppc_regname_to_dw2regnum (char *regname
)
6351 unsigned int regnum
= -1;
6355 static struct { char *name
; int dw2regnum
; } regnames
[] =
6357 { "sp", 1 }, { "r.sp", 1 }, { "rtoc", 2 }, { "r.toc", 2 },
6358 { "mq", 64 }, { "lr", 65 }, { "ctr", 66 }, { "ap", 67 },
6359 { "cr", 70 }, { "xer", 76 }, { "vrsave", 109 }, { "vscr", 110 },
6360 { "spe_acc", 111 }, { "spefscr", 112 }
6363 for (i
= 0; i
< ARRAY_SIZE (regnames
); ++i
)
6364 if (strcmp (regnames
[i
].name
, regname
) == 0)
6365 return regnames
[i
].dw2regnum
;
6367 if (regname
[0] == 'r' || regname
[0] == 'f' || regname
[0] == 'v')
6369 p
= regname
+ 1 + (regname
[1] == '.');
6370 regnum
= strtoul (p
, &q
, 10);
6371 if (p
== q
|| *q
|| regnum
>= 32)
6373 if (regname
[0] == 'f')
6375 else if (regname
[0] == 'v')
6378 else if (regname
[0] == 'c' && regname
[1] == 'r')
6380 p
= regname
+ 2 + (regname
[2] == '.');
6381 if (p
[0] < '0' || p
[0] > '7' || p
[1])
6383 regnum
= p
[0] - '0' + 68;