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 Free Software Foundation, Inc.
4 Written by Ian Lance Taylor, Cygnus Support.
6 This file is part of GAS, the GNU Assembler.
8 GAS is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
13 GAS is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GAS; see the file COPYING. If not, write to the Free
20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
25 #include "safe-ctype.h"
27 #include "dw2gencfi.h"
28 #include "opcode/ppc.h"
32 #include "dwarf2dbg.h"
39 /* This is the assembler for the PowerPC or POWER (RS/6000) chips. */
41 /* Tell the main code what the endianness is. */
42 extern int target_big_endian;
44 /* Whether or not, we've set target_big_endian. */
45 static int set_target_endian = 0;
47 /* Whether to use user friendly register names. */
48 #ifndef TARGET_REG_NAMES_P
50 #define TARGET_REG_NAMES_P TRUE
52 #define TARGET_REG_NAMES_P FALSE
56 /* Macros for calculating LO, HI, HA, HIGHER, HIGHERA, HIGHEST,
59 /* #lo(value) denotes the least significant 16 bits of the indicated. */
60 #define PPC_LO(v) ((v) & 0xffff)
62 /* #hi(value) denotes bits 16 through 31 of the indicated value. */
63 #define PPC_HI(v) (((v) >> 16) & 0xffff)
65 /* #ha(value) denotes the high adjusted value: bits 16 through 31 of
66 the indicated value, compensating for #lo() being treated as a
68 #define PPC_HA(v) PPC_HI ((v) + 0x8000)
70 /* #higher(value) denotes bits 32 through 47 of the indicated value. */
71 #define PPC_HIGHER(v) (((v) >> 16 >> 16) & 0xffff)
73 /* #highera(value) denotes bits 32 through 47 of the indicated value,
74 compensating for #lo() being treated as a signed number. */
75 #define PPC_HIGHERA(v) PPC_HIGHER ((v) + 0x8000)
77 /* #highest(value) denotes bits 48 through 63 of the indicated value. */
78 #define PPC_HIGHEST(v) (((v) >> 24 >> 24) & 0xffff)
80 /* #highesta(value) denotes bits 48 through 63 of the indicated value,
81 compensating for #lo being treated as a signed number. */
82 #define PPC_HIGHESTA(v) PPC_HIGHEST ((v) + 0x8000)
84 #define SEX16(val) ((((val) & 0xffff) ^ 0x8000) - 0x8000)
86 static bfd_boolean reg_names_p = TARGET_REG_NAMES_P;
88 static bfd_boolean register_name PARAMS ((expressionS *));
89 static void ppc_set_cpu PARAMS ((void));
90 static unsigned long ppc_insert_operand
91 PARAMS ((unsigned long insn, const struct powerpc_operand *operand,
92 offsetT val, char *file, unsigned int line));
93 static void ppc_macro PARAMS ((char *str, const struct powerpc_macro *macro));
94 static void ppc_byte PARAMS ((int));
96 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
97 static int ppc_is_toc_sym PARAMS ((symbolS *sym));
98 static void ppc_tc PARAMS ((int));
99 static void ppc_machine PARAMS ((int));
103 static void ppc_comm PARAMS ((int));
104 static void ppc_bb PARAMS ((int));
105 static void ppc_bc PARAMS ((int));
106 static void ppc_bf PARAMS ((int));
107 static void ppc_biei PARAMS ((int));
108 static void ppc_bs PARAMS ((int));
109 static void ppc_eb PARAMS ((int));
110 static void ppc_ec PARAMS ((int));
111 static void ppc_ef PARAMS ((int));
112 static void ppc_es PARAMS ((int));
113 static void ppc_csect PARAMS ((int));
114 static void ppc_change_csect PARAMS ((symbolS *, offsetT));
115 static void ppc_function PARAMS ((int));
116 static void ppc_extern PARAMS ((int));
117 static void ppc_lglobl PARAMS ((int));
118 static void ppc_section PARAMS ((int));
119 static void ppc_named_section PARAMS ((int));
120 static void ppc_stabx PARAMS ((int));
121 static void ppc_rename PARAMS ((int));
122 static void ppc_toc PARAMS ((int));
123 static void ppc_xcoff_cons PARAMS ((int));
124 static void ppc_vbyte PARAMS ((int));
128 static bfd_reloc_code_real_type ppc_elf_suffix PARAMS ((char **, expressionS *));
129 static void ppc_elf_cons PARAMS ((int));
130 static void ppc_elf_rdata PARAMS ((int));
131 static void ppc_elf_lcomm PARAMS ((int));
132 static void ppc_elf_validate_fix PARAMS ((fixS *, segT));
133 static void ppc_apuinfo_section_add PARAMS ((unsigned int apu, unsigned int version));
137 static void ppc_set_current_section PARAMS ((segT));
138 static void ppc_previous PARAMS ((int));
139 static void ppc_pdata PARAMS ((int));
140 static void ppc_ydata PARAMS ((int));
141 static void ppc_reldata PARAMS ((int));
142 static void ppc_rdata PARAMS ((int));
143 static void ppc_ualong PARAMS ((int));
144 static void ppc_znop PARAMS ((int));
145 static void ppc_pe_comm PARAMS ((int));
146 static void ppc_pe_section PARAMS ((int));
147 static void ppc_pe_function PARAMS ((int));
148 static void ppc_pe_tocd PARAMS ((int));
151 /* Generic assembler global variables which must be defined by all
155 /* This string holds the chars that always start a comment. If the
156 pre-processor is disabled, these aren't very useful. The macro
157 tc_comment_chars points to this. We use this, rather than the
158 usual comment_chars, so that we can switch for Solaris conventions. */
159 static const char ppc_solaris_comment_chars[] = "#!";
160 static const char ppc_eabi_comment_chars[] = "#";
162 #ifdef TARGET_SOLARIS_COMMENT
163 const char *ppc_comment_chars = ppc_solaris_comment_chars;
165 const char *ppc_comment_chars = ppc_eabi_comment_chars;
168 const char comment_chars[] = "#";
171 /* Characters which start a comment at the beginning of a line. */
172 const char line_comment_chars[] = "#";
174 /* Characters which may be used to separate multiple commands on a
176 const char line_separator_chars[] = ";";
178 /* Characters which are used to indicate an exponent in a floating
180 const char EXP_CHARS[] = "eE";
182 /* Characters which mean that a number is a floating point constant,
184 const char FLT_CHARS[] = "dD";
186 /* '+' and '-' can be used as postfix predicate predictors for conditional
187 branches. So they need to be accepted as symbol characters. */
188 const char ppc_symbol_chars[] = "+-";
190 /* The dwarf2 data alignment, adjusted for 32 or 64 bit. */
191 int ppc_cie_data_alignment;
193 /* The target specific pseudo-ops which we support. */
195 const pseudo_typeS md_pseudo_table[] =
197 /* Pseudo-ops which must be overridden. */
198 { "byte", ppc_byte, 0 },
201 /* Pseudo-ops specific to the RS/6000 XCOFF format. Some of these
202 legitimately belong in the obj-*.c file. However, XCOFF is based
203 on COFF, and is only implemented for the RS/6000. We just use
204 obj-coff.c, and add what we need here. */
205 { "comm", ppc_comm, 0 },
206 { "lcomm", ppc_comm, 1 },
210 { "bi", ppc_biei, 0 },
212 { "csect", ppc_csect, 0 },
213 { "data", ppc_section, 'd' },
217 { "ei", ppc_biei, 1 },
219 { "extern", ppc_extern, 0 },
220 { "function", ppc_function, 0 },
221 { "lglobl", ppc_lglobl, 0 },
222 { "rename", ppc_rename, 0 },
223 { "section", ppc_named_section, 0 },
224 { "stabx", ppc_stabx, 0 },
225 { "text", ppc_section, 't' },
226 { "toc", ppc_toc, 0 },
227 { "long", ppc_xcoff_cons, 2 },
228 { "llong", ppc_xcoff_cons, 3 },
229 { "word", ppc_xcoff_cons, 1 },
230 { "short", ppc_xcoff_cons, 1 },
231 { "vbyte", ppc_vbyte, 0 },
235 { "llong", ppc_elf_cons, 8 },
236 { "quad", ppc_elf_cons, 8 },
237 { "long", ppc_elf_cons, 4 },
238 { "word", ppc_elf_cons, 2 },
239 { "short", ppc_elf_cons, 2 },
240 { "rdata", ppc_elf_rdata, 0 },
241 { "rodata", ppc_elf_rdata, 0 },
242 { "lcomm", ppc_elf_lcomm, 0 },
246 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
247 { "previous", ppc_previous, 0 },
248 { "pdata", ppc_pdata, 0 },
249 { "ydata", ppc_ydata, 0 },
250 { "reldata", ppc_reldata, 0 },
251 { "rdata", ppc_rdata, 0 },
252 { "ualong", ppc_ualong, 0 },
253 { "znop", ppc_znop, 0 },
254 { "comm", ppc_pe_comm, 0 },
255 { "lcomm", ppc_pe_comm, 1 },
256 { "section", ppc_pe_section, 0 },
257 { "function", ppc_pe_function,0 },
258 { "tocd", ppc_pe_tocd, 0 },
261 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
263 { "machine", ppc_machine, 0 },
270 /* Predefined register names if -mregnames (or default for Windows NT).
271 In general, there are lots of them, in an attempt to be compatible
272 with a number of other Windows NT assemblers. */
274 /* Structure to hold information about predefined registers. */
281 /* List of registers that are pre-defined:
283 Each general register has predefined names of the form:
284 1. r<reg_num> which has the value <reg_num>.
285 2. r.<reg_num> which has the value <reg_num>.
287 Each floating point register has predefined names of the form:
288 1. f<reg_num> which has the value <reg_num>.
289 2. f.<reg_num> which has the value <reg_num>.
291 Each vector unit register has predefined names of the form:
292 1. v<reg_num> which has the value <reg_num>.
293 2. v.<reg_num> which has the value <reg_num>.
295 Each condition register has predefined names of the form:
296 1. cr<reg_num> which has the value <reg_num>.
297 2. cr.<reg_num> which has the value <reg_num>.
299 There are individual registers as well:
300 sp or r.sp has the value 1
301 rtoc or r.toc has the value 2
302 fpscr has the value 0
308 dsisr has the value 18
310 sdr1 has the value 25
311 srr0 has the value 26
312 srr1 has the value 27
314 The table is sorted. Suitable for searching by a binary search. */
316 static const struct pd_reg pre_defined_registers[] =
318 { "cr.0", 0 }, /* Condition Registers */
338 { "dar", 19 }, /* Data Access Register */
339 { "dec", 22 }, /* Decrementer */
340 { "dsisr", 18 }, /* Data Storage Interrupt Status Register */
342 { "f.0", 0 }, /* Floating point registers */
410 { "lr", 8 }, /* Link Register */
414 { "r.0", 0 }, /* General Purpose Registers */
447 { "r.sp", 1 }, /* Stack Pointer */
449 { "r.toc", 2 }, /* Pointer to the table of contents */
451 { "r0", 0 }, /* More general purpose registers */
484 { "rtoc", 2 }, /* Table of contents */
486 { "sdr1", 25 }, /* Storage Description Register 1 */
490 { "srr0", 26 }, /* Machine Status Save/Restore Register 0 */
491 { "srr1", 27 }, /* Machine Status Save/Restore Register 1 */
493 { "v.0", 0 }, /* Vector registers */
563 #define REG_NAME_CNT (sizeof (pre_defined_registers) / sizeof (struct pd_reg))
565 /* Given NAME, find the register number associated with that name, return
566 the integer value associated with the given name or -1 on failure. */
568 static int reg_name_search
569 PARAMS ((const struct pd_reg *, int, const char * name));
572 reg_name_search (regs, regcount, name)
573 const struct pd_reg *regs;
577 int middle, low, high;
585 middle = (low + high) / 2;
586 cmp = strcasecmp (name, regs[middle].name);
592 return regs[middle].value;
600 * Summary of register_name.
602 * in: Input_line_pointer points to 1st char of operand.
604 * out: A expressionS.
605 * The operand may have been a register: in this case, X_op == O_register,
606 * X_add_number is set to the register number, and truth is returned.
607 * Input_line_pointer->(next non-blank) char after operand, or is in its
612 register_name (expressionP)
613 expressionS *expressionP;
620 /* Find the spelling of the operand. */
621 start = name = input_line_pointer;
622 if (name[0] == '%' && ISALPHA (name[1]))
623 name = ++input_line_pointer;
625 else if (!reg_names_p || !ISALPHA (name[0]))
628 c = get_symbol_end ();
629 reg_number = reg_name_search (pre_defined_registers, REG_NAME_CNT, name);
631 /* Put back the delimiting char. */
632 *input_line_pointer = c;
634 /* Look to see if it's in the register table. */
637 expressionP->X_op = O_register;
638 expressionP->X_add_number = reg_number;
640 /* Make the rest nice. */
641 expressionP->X_add_symbol = NULL;
642 expressionP->X_op_symbol = NULL;
646 /* Reset the line as if we had not done anything. */
647 input_line_pointer = start;
651 /* This function is called for each symbol seen in an expression. It
652 handles the special parsing which PowerPC assemblers are supposed
653 to use for condition codes. */
655 /* Whether to do the special parsing. */
656 static bfd_boolean cr_operand;
658 /* Names to recognize in a condition code. This table is sorted. */
659 static const struct pd_reg cr_names[] =
676 /* Parsing function. This returns non-zero if it recognized an
680 ppc_parse_name (name, expr)
689 val = reg_name_search (cr_names, sizeof cr_names / sizeof cr_names[0],
694 expr->X_op = O_constant;
695 expr->X_add_number = val;
700 /* Local variables. */
702 /* The type of processor we are assembling for. This is one or more
703 of the PPC_OPCODE flags defined in opcode/ppc.h. */
704 static unsigned long ppc_cpu = 0;
706 /* Whether to target xcoff64/elf64. */
707 static unsigned int ppc_obj64 = BFD_DEFAULT_TARGET_SIZE == 64;
709 /* Opcode hash table. */
710 static struct hash_control *ppc_hash;
712 /* Macro hash table. */
713 static struct hash_control *ppc_macro_hash;
716 /* What type of shared library support to use. */
717 static enum { SHLIB_NONE, SHLIB_PIC, SHLIB_MRELOCATABLE } shlib = SHLIB_NONE;
719 /* Flags to set in the elf header. */
720 static flagword ppc_flags = 0;
722 /* Whether this is Solaris or not. */
723 #ifdef TARGET_SOLARIS_COMMENT
724 #define SOLARIS_P TRUE
726 #define SOLARIS_P FALSE
729 static bfd_boolean msolaris = SOLARIS_P;
734 /* The RS/6000 assembler uses the .csect pseudo-op to generate code
735 using a bunch of different sections. These assembler sections,
736 however, are all encompassed within the .text or .data sections of
737 the final output file. We handle this by using different
738 subsegments within these main segments. */
740 /* Next subsegment to allocate within the .text segment. */
741 static subsegT ppc_text_subsegment = 2;
743 /* Linked list of csects in the text section. */
744 static symbolS *ppc_text_csects;
746 /* Next subsegment to allocate within the .data segment. */
747 static subsegT ppc_data_subsegment = 2;
749 /* Linked list of csects in the data section. */
750 static symbolS *ppc_data_csects;
752 /* The current csect. */
753 static symbolS *ppc_current_csect;
755 /* The RS/6000 assembler uses a TOC which holds addresses of functions
756 and variables. Symbols are put in the TOC with the .tc pseudo-op.
757 A special relocation is used when accessing TOC entries. We handle
758 the TOC as a subsegment within the .data segment. We set it up if
759 we see a .toc pseudo-op, and save the csect symbol here. */
760 static symbolS *ppc_toc_csect;
762 /* The first frag in the TOC subsegment. */
763 static fragS *ppc_toc_frag;
765 /* The first frag in the first subsegment after the TOC in the .data
766 segment. NULL if there are no subsegments after the TOC. */
767 static fragS *ppc_after_toc_frag;
769 /* The current static block. */
770 static symbolS *ppc_current_block;
772 /* The COFF debugging section; set by md_begin. This is not the
773 .debug section, but is instead the secret BFD section which will
774 cause BFD to set the section number of a symbol to N_DEBUG. */
775 static asection *ppc_coff_debug_section;
777 #endif /* OBJ_XCOFF */
781 /* Various sections that we need for PE coff support. */
782 static segT ydata_section;
783 static segT pdata_section;
784 static segT reldata_section;
785 static segT rdata_section;
786 static segT tocdata_section;
788 /* The current section and the previous section. See ppc_previous. */
789 static segT ppc_previous_section;
790 static segT ppc_current_section;
795 symbolS *GOT_symbol; /* Pre-defined "_GLOBAL_OFFSET_TABLE" */
796 #define PPC_APUINFO_ISEL 0x40
797 #define PPC_APUINFO_PMR 0x41
798 #define PPC_APUINFO_RFMCI 0x42
799 #define PPC_APUINFO_CACHELCK 0x43
800 #define PPC_APUINFO_SPE 0x100
801 #define PPC_APUINFO_EFS 0x101
802 #define PPC_APUINFO_BRLOCK 0x102
805 * We keep a list of APUinfo
807 unsigned long *ppc_apuinfo_list;
808 unsigned int ppc_apuinfo_num;
809 unsigned int ppc_apuinfo_num_alloc;
813 const char *const md_shortopts = "b:l:usm:K:VQ:";
815 const char *const md_shortopts = "um:";
817 const struct option md_longopts[] = {
818 {NULL, no_argument, NULL, 0}
820 const size_t md_longopts_size = sizeof (md_longopts);
823 /* Handle -m options that set cpu type, and .machine arg. */
826 parse_cpu (const char *arg)
828 /* -mpwrx and -mpwr2 mean to assemble for the IBM POWER/2
830 if (strcmp (arg, "pwrx") == 0 || strcmp (arg, "pwr2") == 0)
831 ppc_cpu = PPC_OPCODE_POWER | PPC_OPCODE_POWER2 | PPC_OPCODE_32;
832 /* -mpwr means to assemble for the IBM POWER (RIOS1). */
833 else if (strcmp (arg, "pwr") == 0)
834 ppc_cpu = PPC_OPCODE_POWER | PPC_OPCODE_32;
835 /* -m601 means to assemble for the PowerPC 601, which includes
836 instructions that are holdovers from the Power. */
837 else if (strcmp (arg, "601") == 0)
838 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
839 | PPC_OPCODE_601 | PPC_OPCODE_32);
840 /* -mppc, -mppc32, -m603, and -m604 mean to assemble for the
842 else if (strcmp (arg, "ppc") == 0
843 || strcmp (arg, "ppc32") == 0
844 || strcmp (arg, "603") == 0
845 || strcmp (arg, "604") == 0)
846 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_32;
847 /* -m403 and -m405 mean to assemble for the PowerPC 403/405. */
848 else if (strcmp (arg, "403") == 0
849 || strcmp (arg, "405") == 0)
850 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
851 | PPC_OPCODE_403 | PPC_OPCODE_32);
852 else if (strcmp (arg, "440") == 0)
853 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_32
854 | PPC_OPCODE_440 | PPC_OPCODE_ISEL | PPC_OPCODE_RFMCI);
855 else if (strcmp (arg, "7400") == 0
856 || strcmp (arg, "7410") == 0
857 || strcmp (arg, "7450") == 0
858 || strcmp (arg, "7455") == 0)
859 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
860 | PPC_OPCODE_ALTIVEC | PPC_OPCODE_32);
861 else if (strcmp (arg, "altivec") == 0)
864 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_ALTIVEC;
866 ppc_cpu |= PPC_OPCODE_ALTIVEC;
868 else if (strcmp (arg, "e500") == 0 || strcmp (arg, "e500x2") == 0)
870 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_SPE
871 | PPC_OPCODE_ISEL | PPC_OPCODE_EFS | PPC_OPCODE_BRLOCK
872 | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
875 else if (strcmp (arg, "spe") == 0)
878 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_SPE | PPC_OPCODE_EFS;
880 ppc_cpu |= PPC_OPCODE_SPE;
882 /* -mppc64 and -m620 mean to assemble for the 64-bit PowerPC
884 else if (strcmp (arg, "ppc64") == 0 || strcmp (arg, "620") == 0)
886 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_64;
888 else if (strcmp (arg, "ppc64bridge") == 0)
890 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
891 | PPC_OPCODE_64_BRIDGE | PPC_OPCODE_64);
893 /* -mbooke/-mbooke32 mean enable 32-bit BookE support. */
894 else if (strcmp (arg, "booke") == 0 || strcmp (arg, "booke32") == 0)
896 ppc_cpu = PPC_OPCODE_PPC | PPC_OPCODE_BOOKE | PPC_OPCODE_32;
898 /* -mbooke64 means enable 64-bit BookE support. */
899 else if (strcmp (arg, "booke64") == 0)
901 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_BOOKE
902 | PPC_OPCODE_BOOKE64 | PPC_OPCODE_64);
904 else if (strcmp (arg, "power4") == 0)
906 ppc_cpu = (PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC
907 | PPC_OPCODE_64 | PPC_OPCODE_POWER4);
909 /* -mcom means assemble for the common intersection between Power
910 and PowerPC. At present, we just allow the union, rather
911 than the intersection. */
912 else if (strcmp (arg, "com") == 0)
913 ppc_cpu = PPC_OPCODE_COMMON | PPC_OPCODE_32;
914 /* -many means to assemble for any architecture (PWR/PWRX/PPC). */
915 else if (strcmp (arg, "any") == 0)
916 ppc_cpu |= PPC_OPCODE_ANY;
924 md_parse_option (c, arg)
931 /* -u means that any undefined symbols should be treated as
932 external, which is the default for gas anyhow. */
937 /* Solaris as takes -le (presumably for little endian). For completeness
938 sake, recognize -be also. */
939 if (strcmp (arg, "e") == 0)
941 target_big_endian = 0;
942 set_target_endian = 1;
950 if (strcmp (arg, "e") == 0)
952 target_big_endian = 1;
953 set_target_endian = 1;
961 /* Recognize -K PIC. */
962 if (strcmp (arg, "PIC") == 0 || strcmp (arg, "pic") == 0)
965 ppc_flags |= EF_PPC_RELOCATABLE_LIB;
973 /* a64 and a32 determine whether to use XCOFF64 or XCOFF32. */
975 if (strcmp (arg, "64") == 0)
980 as_fatal (_("%s unsupported"), "-a64");
983 else if (strcmp (arg, "32") == 0)
993 else if (strcmp (arg, "regnames") == 0)
996 else if (strcmp (arg, "no-regnames") == 0)
1000 /* -mrelocatable/-mrelocatable-lib -- warn about initializations
1001 that require relocation. */
1002 else if (strcmp (arg, "relocatable") == 0)
1004 shlib = SHLIB_MRELOCATABLE;
1005 ppc_flags |= EF_PPC_RELOCATABLE;
1008 else if (strcmp (arg, "relocatable-lib") == 0)
1010 shlib = SHLIB_MRELOCATABLE;
1011 ppc_flags |= EF_PPC_RELOCATABLE_LIB;
1014 /* -memb, set embedded bit. */
1015 else if (strcmp (arg, "emb") == 0)
1016 ppc_flags |= EF_PPC_EMB;
1018 /* -mlittle/-mbig set the endianess. */
1019 else if (strcmp (arg, "little") == 0
1020 || strcmp (arg, "little-endian") == 0)
1022 target_big_endian = 0;
1023 set_target_endian = 1;
1026 else if (strcmp (arg, "big") == 0 || strcmp (arg, "big-endian") == 0)
1028 target_big_endian = 1;
1029 set_target_endian = 1;
1032 else if (strcmp (arg, "solaris") == 0)
1035 ppc_comment_chars = ppc_solaris_comment_chars;
1038 else if (strcmp (arg, "no-solaris") == 0)
1041 ppc_comment_chars = ppc_eabi_comment_chars;
1046 as_bad (_("invalid switch -m%s"), arg);
1052 /* -V: SVR4 argument to print version ID. */
1054 print_version_id ();
1057 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
1058 should be emitted or not. FIXME: Not implemented. */
1062 /* Solaris takes -s to specify that .stabs go in a .stabs section,
1063 rather than .stabs.excl, which is ignored by the linker.
1064 FIXME: Not implemented. */
1080 md_show_usage (stream)
1083 fprintf (stream, _("\
1085 -a32 generate ELF32/XCOFF32\n\
1086 -a64 generate ELF64/XCOFF64\n\
1088 -mpwrx, -mpwr2 generate code for POWER/2 (RIOS2)\n\
1089 -mpwr generate code for POWER (RIOS1)\n\
1090 -m601 generate code for PowerPC 601\n\
1091 -mppc, -mppc32, -m603, -m604\n\
1092 generate code for PowerPC 603/604\n\
1093 -m403, -m405 generate code for PowerPC 403/405\n\
1094 -m440 generate code for PowerPC 440\n\
1095 -m7400, -m7410, -m7450, -m7455\n\
1096 generate code For PowerPC 7400/7410/7450/7455\n"));
1097 fprintf (stream, _("\
1098 -mppc64, -m620 generate code for PowerPC 620/625/630\n\
1099 -mppc64bridge generate code for PowerPC 64, including bridge insns\n\
1100 -mbooke64 generate code for 64-bit PowerPC BookE\n\
1101 -mbooke, mbooke32 generate code for 32-bit PowerPC BookE\n\
1102 -mpower4 generate code for Power4 architecture\n\
1103 -mcom generate code Power/PowerPC common instructions\n\
1104 -many generate code for any architecture (PWR/PWRX/PPC)\n"));
1105 fprintf (stream, _("\
1106 -maltivec generate code for AltiVec\n\
1107 -me500, -me500x2 generate code for Motorola e500 core complex\n\
1108 -mspe generate code for Motorola SPE instructions\n\
1109 -mregnames Allow symbolic names for registers\n\
1110 -mno-regnames Do not allow symbolic names for registers\n"));
1112 fprintf (stream, _("\
1113 -mrelocatable support for GCC's -mrelocatble option\n\
1114 -mrelocatable-lib support for GCC's -mrelocatble-lib option\n\
1115 -memb set PPC_EMB bit in ELF flags\n\
1116 -mlittle, -mlittle-endian, -l, -le\n\
1117 generate code for a little endian machine\n\
1118 -mbig, -mbig-endian, -b, -be\n\
1119 generate code for a big endian machine\n\
1120 -msolaris generate code for Solaris\n\
1121 -mno-solaris do not generate code for Solaris\n\
1122 -V print assembler version number\n\
1123 -Qy, -Qn ignored\n"));
1127 /* Set ppc_cpu if it is not already set. */
1132 const char *default_os = TARGET_OS;
1133 const char *default_cpu = TARGET_CPU;
1135 if ((ppc_cpu & ~PPC_OPCODE_ANY) == 0)
1138 ppc_cpu |= PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_64;
1139 else if (strncmp (default_os, "aix", 3) == 0
1140 && default_os[3] >= '4' && default_os[3] <= '9')
1141 ppc_cpu |= PPC_OPCODE_COMMON | PPC_OPCODE_32;
1142 else if (strncmp (default_os, "aix3", 4) == 0)
1143 ppc_cpu |= PPC_OPCODE_POWER | PPC_OPCODE_32;
1144 else if (strcmp (default_cpu, "rs6000") == 0)
1145 ppc_cpu |= PPC_OPCODE_POWER | PPC_OPCODE_32;
1146 else if (strncmp (default_cpu, "powerpc", 7) == 0)
1148 if (default_cpu[7] == '6' && default_cpu[8] == '4')
1149 ppc_cpu |= PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_64;
1151 ppc_cpu |= PPC_OPCODE_PPC | PPC_OPCODE_CLASSIC | PPC_OPCODE_32;
1154 as_fatal (_("Unknown default cpu = %s, os = %s"),
1155 default_cpu, default_os);
1159 /* Figure out the BFD architecture to use. */
1161 enum bfd_architecture
1164 const char *default_cpu = TARGET_CPU;
1167 if ((ppc_cpu & PPC_OPCODE_PPC) != 0)
1168 return bfd_arch_powerpc;
1169 else if ((ppc_cpu & PPC_OPCODE_POWER) != 0)
1170 return bfd_arch_rs6000;
1171 else if ((ppc_cpu & (PPC_OPCODE_COMMON | PPC_OPCODE_ANY)) != 0)
1173 if (strcmp (default_cpu, "rs6000") == 0)
1174 return bfd_arch_rs6000;
1175 else if (strncmp (default_cpu, "powerpc", 7) == 0)
1176 return bfd_arch_powerpc;
1179 as_fatal (_("Neither Power nor PowerPC opcodes were selected."));
1180 return bfd_arch_unknown;
1187 return bfd_mach_ppc64;
1188 else if (ppc_arch () == bfd_arch_rs6000)
1189 return bfd_mach_rs6k;
1191 return bfd_mach_ppc;
1195 ppc_target_format ()
1199 return target_big_endian ? "pe-powerpc" : "pe-powerpcle";
1201 return "xcoff-powermac";
1204 return (ppc_obj64 ? "aix5coff64-rs6000" : "aixcoff-rs6000");
1206 return (ppc_obj64 ? "aixcoff64-rs6000" : "aixcoff-rs6000");
1211 return (target_big_endian
1212 ? (ppc_obj64 ? "elf64-powerpc" : "elf32-powerpc")
1213 : (ppc_obj64 ? "elf64-powerpcle" : "elf32-powerpcle"));
1217 /* Insert opcodes and macros into hash tables. Called at startup and
1221 ppc_setup_opcodes (void)
1223 register const struct powerpc_opcode *op;
1224 const struct powerpc_opcode *op_end;
1225 const struct powerpc_macro *macro;
1226 const struct powerpc_macro *macro_end;
1227 bfd_boolean dup_insn = FALSE;
1229 if (ppc_hash != NULL)
1230 hash_die (ppc_hash);
1231 if (ppc_macro_hash != NULL)
1232 hash_die (ppc_macro_hash);
1234 /* Insert the opcodes into a hash table. */
1235 ppc_hash = hash_new ();
1237 op_end = powerpc_opcodes + powerpc_num_opcodes;
1238 for (op = powerpc_opcodes; op < op_end; op++)
1240 know ((op->opcode & op->mask) == op->opcode);
1242 if ((op->flags & ppc_cpu & ~(PPC_OPCODE_32 | PPC_OPCODE_64)) != 0
1243 && ((op->flags & (PPC_OPCODE_32 | PPC_OPCODE_64)) == 0
1244 || ((op->flags & (PPC_OPCODE_32 | PPC_OPCODE_64))
1245 == (ppc_cpu & (PPC_OPCODE_32 | PPC_OPCODE_64)))
1246 || (ppc_cpu & PPC_OPCODE_64_BRIDGE) != 0)
1247 /* Certain instructions (eg: extsw) do not exist in the
1248 32-bit BookE instruction set, but they do exist in the
1249 64-bit BookE instruction set, and other PPC instruction
1250 sets. Check to see if the opcode has the BOOKE64 flag set.
1251 If it does make sure that the target CPU is not the BookE32. */
1252 && ((op->flags & PPC_OPCODE_BOOKE64) == 0
1253 || (ppc_cpu & PPC_OPCODE_BOOKE64) == PPC_OPCODE_BOOKE64
1254 || (ppc_cpu & PPC_OPCODE_BOOKE) == 0)
1255 && ((op->flags & (PPC_OPCODE_POWER4 | PPC_OPCODE_NOPOWER4)) == 0
1256 || ((op->flags & PPC_OPCODE_POWER4)
1257 == (ppc_cpu & PPC_OPCODE_POWER4))))
1261 retval = hash_insert (ppc_hash, op->name, (PTR) op);
1264 /* Ignore Power duplicates for -m601. */
1265 if ((ppc_cpu & PPC_OPCODE_601) != 0
1266 && (op->flags & PPC_OPCODE_POWER) != 0)
1269 as_bad (_("Internal assembler error for instruction %s"),
1276 if ((ppc_cpu & PPC_OPCODE_ANY) != 0)
1277 for (op = powerpc_opcodes; op < op_end; op++)
1278 hash_insert (ppc_hash, op->name, (PTR) op);
1280 /* Insert the macros into a hash table. */
1281 ppc_macro_hash = hash_new ();
1283 macro_end = powerpc_macros + powerpc_num_macros;
1284 for (macro = powerpc_macros; macro < macro_end; macro++)
1286 if ((macro->flags & ppc_cpu) != 0)
1290 retval = hash_insert (ppc_macro_hash, macro->name, (PTR) macro);
1291 if (retval != (const char *) NULL)
1293 as_bad (_("Internal assembler error for macro %s"), macro->name);
1303 /* This function is called when the assembler starts up. It is called
1304 after the options have been parsed and the output file has been
1312 ppc_cie_data_alignment = ppc_obj64 ? -8 : -4;
1315 /* Set the ELF flags if desired. */
1316 if (ppc_flags && !msolaris)
1317 bfd_set_private_flags (stdoutput, ppc_flags);
1320 ppc_setup_opcodes ();
1322 /* Tell the main code what the endianness is if it is not overridden
1324 if (!set_target_endian)
1326 set_target_endian = 1;
1327 target_big_endian = PPC_BIG_ENDIAN;
1331 ppc_coff_debug_section = coff_section_from_bfd_index (stdoutput, N_DEBUG);
1333 /* Create dummy symbols to serve as initial csects. This forces the
1334 text csects to precede the data csects. These symbols will not
1336 ppc_text_csects = symbol_make ("dummy\001");
1337 symbol_get_tc (ppc_text_csects)->within = ppc_text_csects;
1338 ppc_data_csects = symbol_make ("dummy\001");
1339 symbol_get_tc (ppc_data_csects)->within = ppc_data_csects;
1344 ppc_current_section = text_section;
1345 ppc_previous_section = 0;
1354 if (ppc_apuinfo_list == NULL)
1357 /* Ok, so write the section info out. We have this layout:
1361 0 8 length of "APUinfo\0"
1362 4 (n*4) number of APU's (4 bytes each)
1365 20 APU#1 first APU's info
1366 24 APU#2 second APU's info
1371 asection *seg = now_seg;
1372 subsegT subseg = now_subseg;
1373 asection *apuinfo_secp = (asection *) NULL;
1376 /* Create the .PPC.EMB.apuinfo section. */
1377 apuinfo_secp = subseg_new (".PPC.EMB.apuinfo", 0);
1378 bfd_set_section_flags (stdoutput,
1380 SEC_HAS_CONTENTS | SEC_READONLY);
1383 md_number_to_chars (p, (valueT) 8, 4);
1386 md_number_to_chars (p, (valueT) ppc_apuinfo_num * 4, 4);
1389 md_number_to_chars (p, (valueT) 2, 4);
1392 strcpy (p, "APUinfo");
1394 for (i = 0; i < ppc_apuinfo_num; i++)
1397 md_number_to_chars (p, (valueT) ppc_apuinfo_list[i], 4);
1400 frag_align (2, 0, 0);
1402 /* We probably can't restore the current segment, for there likely
1405 subseg_set (seg, subseg);
1410 /* Insert an operand value into an instruction. */
1412 static unsigned long
1413 ppc_insert_operand (insn, operand, val, file, line)
1415 const struct powerpc_operand *operand;
1420 if (operand->bits != 32)
1425 if ((operand->flags & PPC_OPERAND_SIGNED) != 0)
1427 if ((operand->flags & PPC_OPERAND_SIGNOPT) != 0)
1428 max = (1 << operand->bits) - 1;
1430 max = (1 << (operand->bits - 1)) - 1;
1431 min = - (1 << (operand->bits - 1));
1435 /* Some people write 32 bit hex constants with the sign
1436 extension done by hand. This shouldn't really be
1437 valid, but, to permit this code to assemble on a 64
1438 bit host, we sign extend the 32 bit value. */
1440 && (val & (offsetT) 0x80000000) != 0
1441 && (val & (offsetT) 0xffffffff) == val)
1450 max = (1 << operand->bits) - 1;
1454 if ((operand->flags & PPC_OPERAND_NEGATIVE) != 0)
1459 if (test < (offsetT) min || test > (offsetT) max)
1460 as_bad_value_out_of_range (_("operand"), test, (offsetT) min, (offsetT) max, file, line);
1463 if (operand->insert)
1468 insn = (*operand->insert) (insn, (long) val, ppc_cpu, &errmsg);
1469 if (errmsg != (const char *) NULL)
1470 as_bad_where (file, line, errmsg);
1473 insn |= (((long) val & ((1 << operand->bits) - 1))
1481 /* Parse @got, etc. and return the desired relocation. */
1482 static bfd_reloc_code_real_type
1483 ppc_elf_suffix (str_p, exp_p)
1489 unsigned int length : 8;
1490 unsigned int valid32 : 1;
1491 unsigned int valid64 : 1;
1500 const struct map_bfd *ptr;
1502 #define MAP(str, reloc) { str, sizeof (str) - 1, 1, 1, reloc }
1503 #define MAP32(str, reloc) { str, sizeof (str) - 1, 1, 0, reloc }
1504 #define MAP64(str, reloc) { str, sizeof (str) - 1, 0, 1, reloc }
1506 static const struct map_bfd mapping[] = {
1507 MAP ("l", BFD_RELOC_LO16),
1508 MAP ("h", BFD_RELOC_HI16),
1509 MAP ("ha", BFD_RELOC_HI16_S),
1510 MAP ("brtaken", BFD_RELOC_PPC_B16_BRTAKEN),
1511 MAP ("brntaken", BFD_RELOC_PPC_B16_BRNTAKEN),
1512 MAP ("got", BFD_RELOC_16_GOTOFF),
1513 MAP ("got@l", BFD_RELOC_LO16_GOTOFF),
1514 MAP ("got@h", BFD_RELOC_HI16_GOTOFF),
1515 MAP ("got@ha", BFD_RELOC_HI16_S_GOTOFF),
1516 MAP ("plt@l", BFD_RELOC_LO16_PLTOFF),
1517 MAP ("plt@h", BFD_RELOC_HI16_PLTOFF),
1518 MAP ("plt@ha", BFD_RELOC_HI16_S_PLTOFF),
1519 MAP ("copy", BFD_RELOC_PPC_COPY),
1520 MAP ("globdat", BFD_RELOC_PPC_GLOB_DAT),
1521 MAP ("sectoff", BFD_RELOC_16_BASEREL),
1522 MAP ("sectoff@l", BFD_RELOC_LO16_BASEREL),
1523 MAP ("sectoff@h", BFD_RELOC_HI16_BASEREL),
1524 MAP ("sectoff@ha", BFD_RELOC_HI16_S_BASEREL),
1525 MAP ("tls", BFD_RELOC_PPC_TLS),
1526 MAP ("dtpmod", BFD_RELOC_PPC_DTPMOD),
1527 MAP ("dtprel", BFD_RELOC_PPC_DTPREL),
1528 MAP ("dtprel@l", BFD_RELOC_PPC_DTPREL16_LO),
1529 MAP ("dtprel@h", BFD_RELOC_PPC_DTPREL16_HI),
1530 MAP ("dtprel@ha", BFD_RELOC_PPC_DTPREL16_HA),
1531 MAP ("tprel", BFD_RELOC_PPC_TPREL),
1532 MAP ("tprel@l", BFD_RELOC_PPC_TPREL16_LO),
1533 MAP ("tprel@h", BFD_RELOC_PPC_TPREL16_HI),
1534 MAP ("tprel@ha", BFD_RELOC_PPC_TPREL16_HA),
1535 MAP ("got@tlsgd", BFD_RELOC_PPC_GOT_TLSGD16),
1536 MAP ("got@tlsgd@l", BFD_RELOC_PPC_GOT_TLSGD16_LO),
1537 MAP ("got@tlsgd@h", BFD_RELOC_PPC_GOT_TLSGD16_HI),
1538 MAP ("got@tlsgd@ha", BFD_RELOC_PPC_GOT_TLSGD16_HA),
1539 MAP ("got@tlsld", BFD_RELOC_PPC_GOT_TLSLD16),
1540 MAP ("got@tlsld@l", BFD_RELOC_PPC_GOT_TLSLD16_LO),
1541 MAP ("got@tlsld@h", BFD_RELOC_PPC_GOT_TLSLD16_HI),
1542 MAP ("got@tlsld@ha", BFD_RELOC_PPC_GOT_TLSLD16_HA),
1543 MAP ("got@dtprel", BFD_RELOC_PPC_GOT_DTPREL16),
1544 MAP ("got@dtprel@l", BFD_RELOC_PPC_GOT_DTPREL16_LO),
1545 MAP ("got@dtprel@h", BFD_RELOC_PPC_GOT_DTPREL16_HI),
1546 MAP ("got@dtprel@ha", BFD_RELOC_PPC_GOT_DTPREL16_HA),
1547 MAP ("got@tprel", BFD_RELOC_PPC_GOT_TPREL16),
1548 MAP ("got@tprel@l", BFD_RELOC_PPC_GOT_TPREL16_LO),
1549 MAP ("got@tprel@h", BFD_RELOC_PPC_GOT_TPREL16_HI),
1550 MAP ("got@tprel@ha", BFD_RELOC_PPC_GOT_TPREL16_HA),
1551 MAP32 ("fixup", BFD_RELOC_CTOR),
1552 MAP32 ("plt", BFD_RELOC_24_PLT_PCREL),
1553 MAP32 ("pltrel24", BFD_RELOC_24_PLT_PCREL),
1554 MAP32 ("local24pc", BFD_RELOC_PPC_LOCAL24PC),
1555 MAP32 ("local", BFD_RELOC_PPC_LOCAL24PC),
1556 MAP32 ("pltrel", BFD_RELOC_32_PLT_PCREL),
1557 MAP32 ("sdarel", BFD_RELOC_GPREL16),
1558 MAP32 ("naddr", BFD_RELOC_PPC_EMB_NADDR32),
1559 MAP32 ("naddr16", BFD_RELOC_PPC_EMB_NADDR16),
1560 MAP32 ("naddr@l", BFD_RELOC_PPC_EMB_NADDR16_LO),
1561 MAP32 ("naddr@h", BFD_RELOC_PPC_EMB_NADDR16_HI),
1562 MAP32 ("naddr@ha", BFD_RELOC_PPC_EMB_NADDR16_HA),
1563 MAP32 ("sdai16", BFD_RELOC_PPC_EMB_SDAI16),
1564 MAP32 ("sda2rel", BFD_RELOC_PPC_EMB_SDA2REL),
1565 MAP32 ("sda2i16", BFD_RELOC_PPC_EMB_SDA2I16),
1566 MAP32 ("sda21", BFD_RELOC_PPC_EMB_SDA21),
1567 MAP32 ("mrkref", BFD_RELOC_PPC_EMB_MRKREF),
1568 MAP32 ("relsect", BFD_RELOC_PPC_EMB_RELSEC16),
1569 MAP32 ("relsect@l", BFD_RELOC_PPC_EMB_RELST_LO),
1570 MAP32 ("relsect@h", BFD_RELOC_PPC_EMB_RELST_HI),
1571 MAP32 ("relsect@ha", BFD_RELOC_PPC_EMB_RELST_HA),
1572 MAP32 ("bitfld", BFD_RELOC_PPC_EMB_BIT_FLD),
1573 MAP32 ("relsda", BFD_RELOC_PPC_EMB_RELSDA),
1574 MAP32 ("xgot", BFD_RELOC_PPC_TOC16),
1575 MAP64 ("higher", BFD_RELOC_PPC64_HIGHER),
1576 MAP64 ("highera", BFD_RELOC_PPC64_HIGHER_S),
1577 MAP64 ("highest", BFD_RELOC_PPC64_HIGHEST),
1578 MAP64 ("highesta", BFD_RELOC_PPC64_HIGHEST_S),
1579 MAP64 ("tocbase", BFD_RELOC_PPC64_TOC),
1580 MAP64 ("toc", BFD_RELOC_PPC_TOC16),
1581 MAP64 ("toc@l", BFD_RELOC_PPC64_TOC16_LO),
1582 MAP64 ("toc@h", BFD_RELOC_PPC64_TOC16_HI),
1583 MAP64 ("toc@ha", BFD_RELOC_PPC64_TOC16_HA),
1584 MAP64 ("dtprel@higher", BFD_RELOC_PPC64_DTPREL16_HIGHER),
1585 MAP64 ("dtprel@highera", BFD_RELOC_PPC64_DTPREL16_HIGHERA),
1586 MAP64 ("dtprel@highest", BFD_RELOC_PPC64_DTPREL16_HIGHEST),
1587 MAP64 ("dtprel@highesta", BFD_RELOC_PPC64_DTPREL16_HIGHESTA),
1588 MAP64 ("tprel@higher", BFD_RELOC_PPC64_TPREL16_HIGHER),
1589 MAP64 ("tprel@highera", BFD_RELOC_PPC64_TPREL16_HIGHERA),
1590 MAP64 ("tprel@highest", BFD_RELOC_PPC64_TPREL16_HIGHEST),
1591 MAP64 ("tprel@highesta", BFD_RELOC_PPC64_TPREL16_HIGHESTA),
1592 { (char *) 0, 0, 0, 0, BFD_RELOC_UNUSED }
1596 return BFD_RELOC_UNUSED;
1598 for (ch = *str, str2 = ident;
1599 (str2 < ident + sizeof (ident) - 1
1600 && (ISALNUM (ch) || ch == '@'));
1603 *str2++ = TOLOWER (ch);
1610 for (ptr = &mapping[0]; ptr->length > 0; ptr++)
1611 if (ch == ptr->string[0]
1612 && len == ptr->length
1613 && memcmp (ident, ptr->string, ptr->length) == 0
1614 && (ppc_obj64 ? ptr->valid64 : ptr->valid32))
1616 int reloc = ptr->reloc;
1619 if (exp_p->X_add_number != 0
1620 && (reloc == (int) BFD_RELOC_16_GOTOFF
1621 || reloc == (int) BFD_RELOC_LO16_GOTOFF
1622 || reloc == (int) BFD_RELOC_HI16_GOTOFF
1623 || reloc == (int) BFD_RELOC_HI16_S_GOTOFF))
1624 as_warn (_("identifier+constant@got means identifier@got+constant"));
1626 /* Now check for identifier@suffix+constant. */
1627 if (*str == '-' || *str == '+')
1629 char *orig_line = input_line_pointer;
1630 expressionS new_exp;
1632 input_line_pointer = str;
1633 expression (&new_exp);
1634 if (new_exp.X_op == O_constant)
1636 exp_p->X_add_number += new_exp.X_add_number;
1637 str = input_line_pointer;
1640 if (&input_line_pointer != str_p)
1641 input_line_pointer = orig_line;
1645 if (reloc == (int) BFD_RELOC_PPC64_TOC
1646 && exp_p->X_op == O_symbol
1647 && strcmp (S_GET_NAME (exp_p->X_add_symbol), ".TOC.") == 0)
1649 /* Change the symbol so that the dummy .TOC. symbol can be
1650 omitted from the object file. */
1651 exp_p->X_add_symbol = &abs_symbol;
1654 return (bfd_reloc_code_real_type) reloc;
1657 return BFD_RELOC_UNUSED;
1660 /* Like normal .long/.short/.word, except support @got, etc.
1661 Clobbers input_line_pointer, checks end-of-line. */
1663 ppc_elf_cons (nbytes)
1664 register int nbytes; /* 1=.byte, 2=.word, 4=.long, 8=.llong. */
1667 bfd_reloc_code_real_type reloc;
1669 if (is_it_end_of_statement ())
1671 demand_empty_rest_of_line ();
1678 if (exp.X_op == O_symbol
1679 && *input_line_pointer == '@'
1680 && (reloc = ppc_elf_suffix (&input_line_pointer,
1681 &exp)) != BFD_RELOC_UNUSED)
1683 reloc_howto_type *reloc_howto;
1686 reloc_howto = bfd_reloc_type_lookup (stdoutput, reloc);
1687 size = bfd_get_reloc_size (reloc_howto);
1691 as_bad (_("%s relocations do not fit in %d bytes\n"),
1692 reloc_howto->name, nbytes);
1699 p = frag_more (nbytes);
1701 if (target_big_endian)
1702 offset = nbytes - size;
1703 fix_new_exp (frag_now, p - frag_now->fr_literal + offset, size,
1708 emit_expr (&exp, (unsigned int) nbytes);
1710 while (*input_line_pointer++ == ',');
1712 /* Put terminator back into stream. */
1713 input_line_pointer--;
1714 demand_empty_rest_of_line ();
1717 /* Solaris pseduo op to change to the .rodata section. */
1722 char *save_line = input_line_pointer;
1723 static char section[] = ".rodata\n";
1725 /* Just pretend this is .section .rodata */
1726 input_line_pointer = section;
1727 obj_elf_section (xxx);
1729 input_line_pointer = save_line;
1732 /* Pseudo op to make file scope bss items. */
1735 int xxx ATTRIBUTE_UNUSED;
1737 register char *name;
1741 register symbolS *symbolP;
1748 name = input_line_pointer;
1749 c = get_symbol_end ();
1751 /* just after name is now '\0'. */
1752 p = input_line_pointer;
1755 if (*input_line_pointer != ',')
1757 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
1758 ignore_rest_of_line ();
1762 input_line_pointer++; /* skip ',' */
1763 if ((size = get_absolute_expression ()) < 0)
1765 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) size);
1766 ignore_rest_of_line ();
1770 /* The third argument to .lcomm is the alignment. */
1771 if (*input_line_pointer != ',')
1775 ++input_line_pointer;
1776 align = get_absolute_expression ();
1779 as_warn (_("ignoring bad alignment"));
1785 symbolP = symbol_find_or_make (name);
1788 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
1790 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
1791 S_GET_NAME (symbolP));
1792 ignore_rest_of_line ();
1796 if (S_GET_VALUE (symbolP) && S_GET_VALUE (symbolP) != (valueT) size)
1798 as_bad (_("Length of .lcomm \"%s\" is already %ld. Not changed to %ld."),
1799 S_GET_NAME (symbolP),
1800 (long) S_GET_VALUE (symbolP),
1803 ignore_rest_of_line ();
1809 old_subsec = now_subseg;
1812 /* Convert to a power of 2 alignment. */
1813 for (align2 = 0; (align & 1) == 0; align >>= 1, ++align2);
1816 as_bad (_("Common alignment not a power of 2"));
1817 ignore_rest_of_line ();
1824 record_alignment (bss_section, align2);
1825 subseg_set (bss_section, 0);
1827 frag_align (align2, 0, 0);
1828 if (S_GET_SEGMENT (symbolP) == bss_section)
1829 symbol_get_frag (symbolP)->fr_symbol = 0;
1830 symbol_set_frag (symbolP, frag_now);
1831 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP, size,
1834 S_SET_SIZE (symbolP, size);
1835 S_SET_SEGMENT (symbolP, bss_section);
1836 subseg_set (old_sec, old_subsec);
1837 demand_empty_rest_of_line ();
1840 /* Validate any relocations emitted for -mrelocatable, possibly adding
1841 fixups for word relocations in writable segments, so we can adjust
1844 ppc_elf_validate_fix (fixp, seg)
1848 if (fixp->fx_done || fixp->fx_pcrel)
1857 case SHLIB_MRELOCATABLE:
1858 if (fixp->fx_r_type <= BFD_RELOC_UNUSED
1859 && fixp->fx_r_type != BFD_RELOC_16_GOTOFF
1860 && fixp->fx_r_type != BFD_RELOC_HI16_GOTOFF
1861 && fixp->fx_r_type != BFD_RELOC_LO16_GOTOFF
1862 && fixp->fx_r_type != BFD_RELOC_HI16_S_GOTOFF
1863 && fixp->fx_r_type != BFD_RELOC_16_BASEREL
1864 && fixp->fx_r_type != BFD_RELOC_LO16_BASEREL
1865 && fixp->fx_r_type != BFD_RELOC_HI16_BASEREL
1866 && fixp->fx_r_type != BFD_RELOC_HI16_S_BASEREL
1867 && (seg->flags & SEC_LOAD) != 0
1868 && strcmp (segment_name (seg), ".got2") != 0
1869 && strcmp (segment_name (seg), ".dtors") != 0
1870 && strcmp (segment_name (seg), ".ctors") != 0
1871 && strcmp (segment_name (seg), ".fixup") != 0
1872 && strcmp (segment_name (seg), ".gcc_except_table") != 0
1873 && strcmp (segment_name (seg), ".eh_frame") != 0
1874 && strcmp (segment_name (seg), ".ex_shared") != 0)
1876 if ((seg->flags & (SEC_READONLY | SEC_CODE)) != 0
1877 || fixp->fx_r_type != BFD_RELOC_CTOR)
1879 as_bad_where (fixp->fx_file, fixp->fx_line,
1880 _("Relocation cannot be done when using -mrelocatable"));
1887 /* Prevent elf_frob_file_before_adjust removing a weak undefined
1888 function descriptor sym if the corresponding code sym is used. */
1891 ppc_frob_file_before_adjust ()
1898 for (symp = symbol_rootP; symp; symp = symbol_next (symp))
1905 name = S_GET_NAME (symp);
1909 if (! S_IS_WEAK (symp)
1910 || S_IS_DEFINED (symp))
1913 len = strlen (name) + 1;
1914 dotname = xmalloc (len + 1);
1916 memcpy (dotname + 1, name, len);
1917 dotsym = symbol_find (dotname);
1919 if (dotsym != NULL && (symbol_used_p (dotsym)
1920 || symbol_used_in_reloc_p (dotsym)))
1921 symbol_mark_used (symp);
1925 /* Don't emit .TOC. symbol. */
1926 symp = symbol_find (".TOC.");
1928 symbol_remove (symp, &symbol_rootP, &symbol_lastP);
1930 #endif /* OBJ_ELF */
1935 * Summary of parse_toc_entry.
1937 * in: Input_line_pointer points to the '[' in one of:
1939 * [toc] [tocv] [toc32] [toc64]
1941 * Anything else is an error of one kind or another.
1944 * return value: success or failure
1945 * toc_kind: kind of toc reference
1946 * input_line_pointer:
1947 * success: first char after the ']'
1948 * failure: unchanged
1952 * [toc] - rv == success, toc_kind = default_toc
1953 * [tocv] - rv == success, toc_kind = data_in_toc
1954 * [toc32] - rv == success, toc_kind = must_be_32
1955 * [toc64] - rv == success, toc_kind = must_be_64
1959 enum toc_size_qualifier
1961 default_toc, /* The toc cell constructed should be the system default size */
1962 data_in_toc, /* This is a direct reference to a toc cell */
1963 must_be_32, /* The toc cell constructed must be 32 bits wide */
1964 must_be_64 /* The toc cell constructed must be 64 bits wide */
1968 parse_toc_entry (toc_kind)
1969 enum toc_size_qualifier *toc_kind;
1974 enum toc_size_qualifier t;
1976 /* Save the input_line_pointer. */
1977 start = input_line_pointer;
1979 /* Skip over the '[' , and whitespace. */
1980 ++input_line_pointer;
1983 /* Find the spelling of the operand. */
1984 toc_spec = input_line_pointer;
1985 c = get_symbol_end ();
1987 if (strcmp (toc_spec, "toc") == 0)
1991 else if (strcmp (toc_spec, "tocv") == 0)
1995 else if (strcmp (toc_spec, "toc32") == 0)
1999 else if (strcmp (toc_spec, "toc64") == 0)
2005 as_bad (_("syntax error: invalid toc specifier `%s'"), toc_spec);
2006 *input_line_pointer = c;
2007 input_line_pointer = start;
2011 /* Now find the ']'. */
2012 *input_line_pointer = c;
2014 SKIP_WHITESPACE (); /* leading whitespace could be there. */
2015 c = *input_line_pointer++; /* input_line_pointer->past char in c. */
2019 as_bad (_("syntax error: expected `]', found `%c'"), c);
2020 input_line_pointer = start;
2031 #define APUID(a,v) ((((a) & 0xffff) << 16) | ((v) & 0xffff))
2033 ppc_apuinfo_section_add (apu, version)
2034 unsigned int apu, version;
2038 /* Check we don't already exist. */
2039 for (i = 0; i < ppc_apuinfo_num; i++)
2040 if (ppc_apuinfo_list[i] == APUID (apu, version))
2043 if (ppc_apuinfo_num == ppc_apuinfo_num_alloc)
2045 if (ppc_apuinfo_num_alloc == 0)
2047 ppc_apuinfo_num_alloc = 4;
2048 ppc_apuinfo_list = (unsigned long *)
2049 xmalloc (sizeof (unsigned long) * ppc_apuinfo_num_alloc);
2053 ppc_apuinfo_num_alloc += 4;
2054 ppc_apuinfo_list = (unsigned long *) xrealloc (ppc_apuinfo_list,
2055 sizeof (unsigned long) * ppc_apuinfo_num_alloc);
2058 ppc_apuinfo_list[ppc_apuinfo_num++] = APUID (apu, version);
2064 /* We need to keep a list of fixups. We can't simply generate them as
2065 we go, because that would require us to first create the frag, and
2066 that would screw up references to ``.''. */
2072 bfd_reloc_code_real_type reloc;
2075 #define MAX_INSN_FIXUPS (5)
2077 /* This routine is called for each instruction to be assembled. */
2084 const struct powerpc_opcode *opcode;
2086 const unsigned char *opindex_ptr;
2090 struct ppc_fixup fixups[MAX_INSN_FIXUPS];
2096 bfd_reloc_code_real_type reloc;
2099 /* Get the opcode. */
2100 for (s = str; *s != '\0' && ! ISSPACE (*s); s++)
2105 /* Look up the opcode in the hash table. */
2106 opcode = (const struct powerpc_opcode *) hash_find (ppc_hash, str);
2107 if (opcode == (const struct powerpc_opcode *) NULL)
2109 const struct powerpc_macro *macro;
2111 macro = (const struct powerpc_macro *) hash_find (ppc_macro_hash, str);
2112 if (macro == (const struct powerpc_macro *) NULL)
2113 as_bad (_("Unrecognized opcode: `%s'"), str);
2115 ppc_macro (s, macro);
2120 insn = opcode->opcode;
2123 while (ISSPACE (*str))
2126 /* PowerPC operands are just expressions. The only real issue is
2127 that a few operand types are optional. All cases which might use
2128 an optional operand separate the operands only with commas (in some
2129 cases parentheses are used, as in ``lwz 1,0(1)'' but such cases never
2130 have optional operands). Most instructions with optional operands
2131 have only one. Those that have more than one optional operand can
2132 take either all their operands or none. So, before we start seriously
2133 parsing the operands, we check to see if we have optional operands,
2134 and if we do, we count the number of commas to see which operands
2135 have been omitted. */
2137 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
2139 const struct powerpc_operand *operand;
2141 operand = &powerpc_operands[*opindex_ptr];
2142 if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0)
2144 unsigned int opcount;
2145 unsigned int num_operands_expected;
2148 /* There is an optional operand. Count the number of
2149 commas in the input line. */
2156 while ((s = strchr (s, ',')) != (char *) NULL)
2163 /* Compute the number of expected operands.
2164 Do not count fake operands. */
2165 for (num_operands_expected = 0, i = 0; opcode->operands[i]; i ++)
2166 if ((powerpc_operands [opcode->operands[i]].flags & PPC_OPERAND_FAKE) == 0)
2167 ++ num_operands_expected;
2169 /* If there are fewer operands in the line then are called
2170 for by the instruction, we want to skip the optional
2172 if (opcount < num_operands_expected)
2179 /* Gather the operands. */
2183 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
2185 const struct powerpc_operand *operand;
2191 if (next_opindex == 0)
2192 operand = &powerpc_operands[*opindex_ptr];
2195 operand = &powerpc_operands[next_opindex];
2200 /* If this is a fake operand, then we do not expect anything
2202 if ((operand->flags & PPC_OPERAND_FAKE) != 0)
2204 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2205 if (errmsg != (const char *) NULL)
2210 /* If this is an optional operand, and we are skipping it, just
2212 if ((operand->flags & PPC_OPERAND_OPTIONAL) != 0
2215 if (operand->insert)
2217 insn = (*operand->insert) (insn, 0L, ppc_cpu, &errmsg);
2218 if (errmsg != (const char *) NULL)
2221 if ((operand->flags & PPC_OPERAND_NEXT) != 0)
2222 next_opindex = *opindex_ptr + 1;
2226 /* Gather the operand. */
2227 hold = input_line_pointer;
2228 input_line_pointer = str;
2231 if (*input_line_pointer == '[')
2233 /* We are expecting something like the second argument here:
2235 * lwz r4,[toc].GS.0.static_int(rtoc)
2236 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^
2237 * The argument following the `]' must be a symbol name, and the
2238 * register must be the toc register: 'rtoc' or '2'
2240 * The effect is to 0 as the displacement field
2241 * in the instruction, and issue an IMAGE_REL_PPC_TOCREL16 (or
2242 * the appropriate variation) reloc against it based on the symbol.
2243 * The linker will build the toc, and insert the resolved toc offset.
2246 * o The size of the toc entry is currently assumed to be
2247 * 32 bits. This should not be assumed to be a hard coded
2249 * o In an effort to cope with a change from 32 to 64 bits,
2250 * there are also toc entries that are specified to be
2251 * either 32 or 64 bits:
2252 * lwz r4,[toc32].GS.0.static_int(rtoc)
2253 * lwz r4,[toc64].GS.0.static_int(rtoc)
2254 * These demand toc entries of the specified size, and the
2255 * instruction probably requires it.
2259 enum toc_size_qualifier toc_kind;
2260 bfd_reloc_code_real_type toc_reloc;
2262 /* Go parse off the [tocXX] part. */
2263 valid_toc = parse_toc_entry (&toc_kind);
2267 /* Note: message has already been issued.
2268 FIXME: what sort of recovery should we do?
2269 demand_rest_of_line (); return; ? */
2272 /* Now get the symbol following the ']'. */
2278 /* In this case, we may not have seen the symbol yet,
2279 since it is allowed to appear on a .extern or .globl
2280 or just be a label in the .data section. */
2281 toc_reloc = BFD_RELOC_PPC_TOC16;
2284 /* 1. The symbol must be defined and either in the toc
2285 section, or a global.
2286 2. The reloc generated must have the TOCDEFN flag set
2287 in upper bit mess of the reloc type.
2288 FIXME: It's a little confusing what the tocv
2289 qualifier can be used for. At the very least, I've
2290 seen three uses, only one of which I'm sure I can
2292 if (ex.X_op == O_symbol)
2294 assert (ex.X_add_symbol != NULL);
2295 if (symbol_get_bfdsym (ex.X_add_symbol)->section
2298 as_bad (_("[tocv] symbol is not a toc symbol"));
2302 toc_reloc = BFD_RELOC_PPC_TOC16;
2305 /* FIXME: these next two specifically specify 32/64 bit
2306 toc entries. We don't support them today. Is this
2307 the right way to say that? */
2308 toc_reloc = BFD_RELOC_UNUSED;
2309 as_bad (_("Unimplemented toc32 expression modifier"));
2312 /* FIXME: see above. */
2313 toc_reloc = BFD_RELOC_UNUSED;
2314 as_bad (_("Unimplemented toc64 expression modifier"));
2318 _("Unexpected return value [%d] from parse_toc_entry!\n"),
2324 /* We need to generate a fixup for this expression. */
2325 if (fc >= MAX_INSN_FIXUPS)
2326 as_fatal (_("too many fixups"));
2328 fixups[fc].reloc = toc_reloc;
2329 fixups[fc].exp = ex;
2330 fixups[fc].opindex = *opindex_ptr;
2333 /* Ok. We've set up the fixup for the instruction. Now make it
2334 look like the constant 0 was found here. */
2336 ex.X_op = O_constant;
2337 ex.X_add_number = 0;
2338 ex.X_add_symbol = NULL;
2339 ex.X_op_symbol = NULL;
2345 if (! register_name (&ex))
2347 if ((operand->flags & PPC_OPERAND_CR) != 0)
2354 str = input_line_pointer;
2355 input_line_pointer = hold;
2357 if (ex.X_op == O_illegal)
2358 as_bad (_("illegal operand"));
2359 else if (ex.X_op == O_absent)
2360 as_bad (_("missing operand"));
2361 else if (ex.X_op == O_register)
2363 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2366 else if (ex.X_op == O_constant)
2369 /* Allow @HA, @L, @H on constants. */
2370 char *orig_str = str;
2372 if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2379 case BFD_RELOC_LO16:
2380 /* X_unsigned is the default, so if the user has done
2381 something which cleared it, we always produce a
2383 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2384 ex.X_add_number &= 0xffff;
2386 ex.X_add_number = SEX16 (ex.X_add_number);
2389 case BFD_RELOC_HI16:
2390 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2391 ex.X_add_number = PPC_HI (ex.X_add_number);
2393 ex.X_add_number = SEX16 (PPC_HI (ex.X_add_number));
2396 case BFD_RELOC_HI16_S:
2397 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2398 ex.X_add_number = PPC_HA (ex.X_add_number);
2400 ex.X_add_number = SEX16 (PPC_HA (ex.X_add_number));
2403 case BFD_RELOC_PPC64_HIGHER:
2404 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2405 ex.X_add_number = PPC_HIGHER (ex.X_add_number);
2407 ex.X_add_number = SEX16 (PPC_HIGHER (ex.X_add_number));
2410 case BFD_RELOC_PPC64_HIGHER_S:
2411 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2412 ex.X_add_number = PPC_HIGHERA (ex.X_add_number);
2414 ex.X_add_number = SEX16 (PPC_HIGHERA (ex.X_add_number));
2417 case BFD_RELOC_PPC64_HIGHEST:
2418 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2419 ex.X_add_number = PPC_HIGHEST (ex.X_add_number);
2421 ex.X_add_number = SEX16 (PPC_HIGHEST (ex.X_add_number));
2424 case BFD_RELOC_PPC64_HIGHEST_S:
2425 if (ex.X_unsigned && ! (operand->flags & PPC_OPERAND_SIGNED))
2426 ex.X_add_number = PPC_HIGHESTA (ex.X_add_number);
2428 ex.X_add_number = SEX16 (PPC_HIGHESTA (ex.X_add_number));
2431 #endif /* OBJ_ELF */
2432 insn = ppc_insert_operand (insn, operand, ex.X_add_number,
2436 else if ((reloc = ppc_elf_suffix (&str, &ex)) != BFD_RELOC_UNUSED)
2438 /* Some TLS tweaks. */
2443 case BFD_RELOC_PPC_TLS:
2444 insn = ppc_insert_operand (insn, operand, ppc_obj64 ? 13 : 2,
2447 /* We'll only use the 32 (or 64) bit form of these relocations
2448 in constants. Instructions get the 16 bit form. */
2449 case BFD_RELOC_PPC_DTPREL:
2450 reloc = BFD_RELOC_PPC_DTPREL16;
2452 case BFD_RELOC_PPC_TPREL:
2453 reloc = BFD_RELOC_PPC_TPREL16;
2457 /* For the absolute forms of branches, convert the PC
2458 relative form back into the absolute. */
2459 if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0)
2463 case BFD_RELOC_PPC_B26:
2464 reloc = BFD_RELOC_PPC_BA26;
2466 case BFD_RELOC_PPC_B16:
2467 reloc = BFD_RELOC_PPC_BA16;
2469 case BFD_RELOC_PPC_B16_BRTAKEN:
2470 reloc = BFD_RELOC_PPC_BA16_BRTAKEN;
2472 case BFD_RELOC_PPC_B16_BRNTAKEN:
2473 reloc = BFD_RELOC_PPC_BA16_BRNTAKEN;
2481 && (operand->flags & (PPC_OPERAND_DS | PPC_OPERAND_DQ)) != 0)
2486 reloc = BFD_RELOC_PPC64_ADDR16_DS;
2488 case BFD_RELOC_LO16:
2489 reloc = BFD_RELOC_PPC64_ADDR16_LO_DS;
2491 case BFD_RELOC_16_GOTOFF:
2492 reloc = BFD_RELOC_PPC64_GOT16_DS;
2494 case BFD_RELOC_LO16_GOTOFF:
2495 reloc = BFD_RELOC_PPC64_GOT16_LO_DS;
2497 case BFD_RELOC_LO16_PLTOFF:
2498 reloc = BFD_RELOC_PPC64_PLT16_LO_DS;
2500 case BFD_RELOC_16_BASEREL:
2501 reloc = BFD_RELOC_PPC64_SECTOFF_DS;
2503 case BFD_RELOC_LO16_BASEREL:
2504 reloc = BFD_RELOC_PPC64_SECTOFF_LO_DS;
2506 case BFD_RELOC_PPC_TOC16:
2507 reloc = BFD_RELOC_PPC64_TOC16_DS;
2509 case BFD_RELOC_PPC64_TOC16_LO:
2510 reloc = BFD_RELOC_PPC64_TOC16_LO_DS;
2512 case BFD_RELOC_PPC64_PLTGOT16:
2513 reloc = BFD_RELOC_PPC64_PLTGOT16_DS;
2515 case BFD_RELOC_PPC64_PLTGOT16_LO:
2516 reloc = BFD_RELOC_PPC64_PLTGOT16_LO_DS;
2518 case BFD_RELOC_PPC_DTPREL16:
2519 reloc = BFD_RELOC_PPC64_DTPREL16_DS;
2521 case BFD_RELOC_PPC_DTPREL16_LO:
2522 reloc = BFD_RELOC_PPC64_DTPREL16_LO_DS;
2524 case BFD_RELOC_PPC_TPREL16:
2525 reloc = BFD_RELOC_PPC64_TPREL16_DS;
2527 case BFD_RELOC_PPC_TPREL16_LO:
2528 reloc = BFD_RELOC_PPC64_TPREL16_LO_DS;
2530 case BFD_RELOC_PPC_GOT_DTPREL16:
2531 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
2532 case BFD_RELOC_PPC_GOT_TPREL16:
2533 case BFD_RELOC_PPC_GOT_TPREL16_LO:
2536 as_bad (_("unsupported relocation for DS offset field"));
2541 /* We need to generate a fixup for this expression. */
2542 if (fc >= MAX_INSN_FIXUPS)
2543 as_fatal (_("too many fixups"));
2544 fixups[fc].exp = ex;
2545 fixups[fc].opindex = 0;
2546 fixups[fc].reloc = reloc;
2549 #endif /* OBJ_ELF */
2553 /* We need to generate a fixup for this expression. */
2554 if (fc >= MAX_INSN_FIXUPS)
2555 as_fatal (_("too many fixups"));
2556 fixups[fc].exp = ex;
2557 fixups[fc].opindex = *opindex_ptr;
2558 fixups[fc].reloc = BFD_RELOC_UNUSED;
2567 else if ((operand->flags & PPC_OPERAND_PARENS) != 0)
2575 /* The call to expression should have advanced str past any
2578 && (endc != ',' || *str != '\0'))
2580 as_bad (_("syntax error; found `%c' but expected `%c'"), *str, endc);
2588 while (ISSPACE (*str))
2592 as_bad (_("junk at end of line: `%s'"), str);
2595 /* Do we need/want a APUinfo section? */
2596 if (ppc_cpu & (PPC_OPCODE_SPE
2597 | PPC_OPCODE_ISEL | PPC_OPCODE_EFS
2598 | PPC_OPCODE_BRLOCK | PPC_OPCODE_PMR | PPC_OPCODE_CACHELCK
2599 | PPC_OPCODE_RFMCI))
2601 /* These are all version "1". */
2602 if (opcode->flags & PPC_OPCODE_SPE)
2603 ppc_apuinfo_section_add (PPC_APUINFO_SPE, 1);
2604 if (opcode->flags & PPC_OPCODE_ISEL)
2605 ppc_apuinfo_section_add (PPC_APUINFO_ISEL, 1);
2606 if (opcode->flags & PPC_OPCODE_EFS)
2607 ppc_apuinfo_section_add (PPC_APUINFO_EFS, 1);
2608 if (opcode->flags & PPC_OPCODE_BRLOCK)
2609 ppc_apuinfo_section_add (PPC_APUINFO_BRLOCK, 1);
2610 if (opcode->flags & PPC_OPCODE_PMR)
2611 ppc_apuinfo_section_add (PPC_APUINFO_PMR, 1);
2612 if (opcode->flags & PPC_OPCODE_CACHELCK)
2613 ppc_apuinfo_section_add (PPC_APUINFO_CACHELCK, 1);
2614 if (opcode->flags & PPC_OPCODE_RFMCI)
2615 ppc_apuinfo_section_add (PPC_APUINFO_RFMCI, 1);
2619 /* Write out the instruction. */
2621 addr_mod = frag_now_fix () & 3;
2622 if (frag_now->has_code && frag_now->insn_addr != addr_mod)
2623 as_bad (_("instruction address is not a multiple of 4"));
2624 frag_now->insn_addr = addr_mod;
2625 frag_now->has_code = 1;
2626 md_number_to_chars (f, insn, 4);
2629 dwarf2_emit_insn (4);
2632 /* Create any fixups. At this point we do not use a
2633 bfd_reloc_code_real_type, but instead just use the
2634 BFD_RELOC_UNUSED plus the operand index. This lets us easily
2635 handle fixups for any operand type, although that is admittedly
2636 not a very exciting feature. We pick a BFD reloc type in
2638 for (i = 0; i < fc; i++)
2640 const struct powerpc_operand *operand;
2642 operand = &powerpc_operands[fixups[i].opindex];
2643 if (fixups[i].reloc != BFD_RELOC_UNUSED)
2645 reloc_howto_type *reloc_howto;
2650 reloc_howto = bfd_reloc_type_lookup (stdoutput, fixups[i].reloc);
2654 size = bfd_get_reloc_size (reloc_howto);
2655 offset = target_big_endian ? (4 - size) : 0;
2657 if (size < 1 || size > 4)
2660 fixP = fix_new_exp (frag_now,
2661 f - frag_now->fr_literal + offset,
2664 reloc_howto->pc_relative,
2667 /* Turn off complaints that the addend is too large for things like
2669 switch (fixups[i].reloc)
2671 case BFD_RELOC_16_GOTOFF:
2672 case BFD_RELOC_PPC_TOC16:
2673 case BFD_RELOC_LO16:
2674 case BFD_RELOC_HI16:
2675 case BFD_RELOC_HI16_S:
2677 case BFD_RELOC_PPC64_HIGHER:
2678 case BFD_RELOC_PPC64_HIGHER_S:
2679 case BFD_RELOC_PPC64_HIGHEST:
2680 case BFD_RELOC_PPC64_HIGHEST_S:
2682 fixP->fx_no_overflow = 1;
2689 fix_new_exp (frag_now,
2690 f - frag_now->fr_literal,
2693 (operand->flags & PPC_OPERAND_RELATIVE) != 0,
2694 ((bfd_reloc_code_real_type)
2695 (fixups[i].opindex + (int) BFD_RELOC_UNUSED)));
2699 /* Handle a macro. Gather all the operands, transform them as
2700 described by the macro, and call md_assemble recursively. All the
2701 operands are separated by commas; we don't accept parentheses
2702 around operands here. */
2705 ppc_macro (str, macro)
2707 const struct powerpc_macro *macro;
2718 /* Gather the users operands into the operands array. */
2723 if (count >= sizeof operands / sizeof operands[0])
2725 operands[count++] = s;
2726 s = strchr (s, ',');
2727 if (s == (char *) NULL)
2732 if (count != macro->operands)
2734 as_bad (_("wrong number of operands"));
2738 /* Work out how large the string must be (the size is unbounded
2739 because it includes user input). */
2741 format = macro->format;
2742 while (*format != '\0')
2751 arg = strtol (format + 1, &send, 10);
2752 know (send != format && arg >= 0 && arg < count);
2753 len += strlen (operands[arg]);
2758 /* Put the string together. */
2759 complete = s = (char *) alloca (len + 1);
2760 format = macro->format;
2761 while (*format != '\0')
2767 arg = strtol (format + 1, &send, 10);
2768 strcpy (s, operands[arg]);
2775 /* Assemble the constructed instruction. */
2776 md_assemble (complete);
2780 /* For ELF, add support for SHF_EXCLUDE and SHT_ORDERED. */
2783 ppc_section_letter (letter, ptr_msg)
2790 *ptr_msg = _("Bad .section directive: want a,e,w,x,M,S,G,T in string");
2795 ppc_section_word (str, len)
2799 if (len == 7 && strncmp (str, "exclude", 7) == 0)
2806 ppc_section_type (str, len)
2810 if (len == 7 && strncmp (str, "ordered", 7) == 0)
2817 ppc_section_flags (flags, attr, type)
2822 if (type == SHT_ORDERED)
2823 flags |= SEC_ALLOC | SEC_LOAD | SEC_SORT_ENTRIES;
2825 if (attr & SHF_EXCLUDE)
2826 flags |= SEC_EXCLUDE;
2830 #endif /* OBJ_ELF */
2833 /* Pseudo-op handling. */
2835 /* The .byte pseudo-op. This is similar to the normal .byte
2836 pseudo-op, but it can also take a single ASCII string. */
2840 int ignore ATTRIBUTE_UNUSED;
2842 if (*input_line_pointer != '\"')
2848 /* Gather characters. A real double quote is doubled. Unusual
2849 characters are not permitted. */
2850 ++input_line_pointer;
2855 c = *input_line_pointer++;
2859 if (*input_line_pointer != '\"')
2861 ++input_line_pointer;
2864 FRAG_APPEND_1_CHAR (c);
2867 demand_empty_rest_of_line ();
2872 /* XCOFF specific pseudo-op handling. */
2874 /* This is set if we are creating a .stabx symbol, since we don't want
2875 to handle symbol suffixes for such symbols. */
2876 static bfd_boolean ppc_stab_symbol;
2878 /* The .comm and .lcomm pseudo-ops for XCOFF. XCOFF puts common
2879 symbols in the .bss segment as though they were local common
2880 symbols, and uses a different smclas. The native Aix 4.3.3 assembler
2881 aligns .comm and .lcomm to 4 bytes. */
2887 asection *current_seg = now_seg;
2888 subsegT current_subseg = now_subseg;
2894 symbolS *lcomm_sym = NULL;
2898 name = input_line_pointer;
2899 endc = get_symbol_end ();
2900 end_name = input_line_pointer;
2903 if (*input_line_pointer != ',')
2905 as_bad (_("missing size"));
2906 ignore_rest_of_line ();
2909 ++input_line_pointer;
2911 size = get_absolute_expression ();
2914 as_bad (_("negative size"));
2915 ignore_rest_of_line ();
2921 /* The third argument to .comm is the alignment. */
2922 if (*input_line_pointer != ',')
2926 ++input_line_pointer;
2927 align = get_absolute_expression ();
2930 as_warn (_("ignoring bad alignment"));
2945 /* The third argument to .lcomm appears to be the real local
2946 common symbol to create. References to the symbol named in
2947 the first argument are turned into references to the third
2949 if (*input_line_pointer != ',')
2951 as_bad (_("missing real symbol name"));
2952 ignore_rest_of_line ();
2955 ++input_line_pointer;
2957 lcomm_name = input_line_pointer;
2958 lcomm_endc = get_symbol_end ();
2960 lcomm_sym = symbol_find_or_make (lcomm_name);
2962 *input_line_pointer = lcomm_endc;
2966 sym = symbol_find_or_make (name);
2969 if (S_IS_DEFINED (sym)
2970 || S_GET_VALUE (sym) != 0)
2972 as_bad (_("attempt to redefine symbol"));
2973 ignore_rest_of_line ();
2977 record_alignment (bss_section, align);
2980 || ! S_IS_DEFINED (lcomm_sym))
2989 S_SET_EXTERNAL (sym);
2993 symbol_get_tc (lcomm_sym)->output = 1;
2994 def_sym = lcomm_sym;
2998 subseg_set (bss_section, 1);
2999 frag_align (align, 0, 0);
3001 symbol_set_frag (def_sym, frag_now);
3002 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, def_sym,
3003 def_size, (char *) NULL);
3005 S_SET_SEGMENT (def_sym, bss_section);
3006 symbol_get_tc (def_sym)->align = align;
3010 /* Align the size of lcomm_sym. */
3011 symbol_get_frag (lcomm_sym)->fr_offset =
3012 ((symbol_get_frag (lcomm_sym)->fr_offset + (1 << align) - 1)
3013 &~ ((1 << align) - 1));
3014 if (align > symbol_get_tc (lcomm_sym)->align)
3015 symbol_get_tc (lcomm_sym)->align = align;
3020 /* Make sym an offset from lcomm_sym. */
3021 S_SET_SEGMENT (sym, bss_section);
3022 symbol_set_frag (sym, symbol_get_frag (lcomm_sym));
3023 S_SET_VALUE (sym, symbol_get_frag (lcomm_sym)->fr_offset);
3024 symbol_get_frag (lcomm_sym)->fr_offset += size;
3027 subseg_set (current_seg, current_subseg);
3029 demand_empty_rest_of_line ();
3032 /* The .csect pseudo-op. This switches us into a different
3033 subsegment. The first argument is a symbol whose value is the
3034 start of the .csect. In COFF, csect symbols get special aux
3035 entries defined by the x_csect field of union internal_auxent. The
3036 optional second argument is the alignment (the default is 2). */
3040 int ignore ATTRIBUTE_UNUSED;
3047 name = input_line_pointer;
3048 endc = get_symbol_end ();
3050 sym = symbol_find_or_make (name);
3052 *input_line_pointer = endc;
3054 if (S_GET_NAME (sym)[0] == '\0')
3056 /* An unnamed csect is assumed to be [PR]. */
3057 symbol_get_tc (sym)->class = XMC_PR;
3061 if (*input_line_pointer == ',')
3063 ++input_line_pointer;
3064 align = get_absolute_expression ();
3067 ppc_change_csect (sym, align);
3069 demand_empty_rest_of_line ();
3072 /* Change to a different csect. */
3075 ppc_change_csect (sym, align)
3079 if (S_IS_DEFINED (sym))
3080 subseg_set (S_GET_SEGMENT (sym), symbol_get_tc (sym)->subseg);
3090 /* This is a new csect. We need to look at the symbol class to
3091 figure out whether it should go in the text section or the
3095 switch (symbol_get_tc (sym)->class)
3105 S_SET_SEGMENT (sym, text_section);
3106 symbol_get_tc (sym)->subseg = ppc_text_subsegment;
3107 ++ppc_text_subsegment;
3108 list_ptr = &ppc_text_csects;
3118 if (ppc_toc_csect != NULL
3119 && (symbol_get_tc (ppc_toc_csect)->subseg + 1
3120 == ppc_data_subsegment))
3122 S_SET_SEGMENT (sym, data_section);
3123 symbol_get_tc (sym)->subseg = ppc_data_subsegment;
3124 ++ppc_data_subsegment;
3125 list_ptr = &ppc_data_csects;
3131 /* We set the obstack chunk size to a small value before
3132 changing subsegments, so that we don't use a lot of memory
3133 space for what may be a small section. */
3134 hold_chunksize = chunksize;
3137 sec = subseg_new (segment_name (S_GET_SEGMENT (sym)),
3138 symbol_get_tc (sym)->subseg);
3140 chunksize = hold_chunksize;
3143 ppc_after_toc_frag = frag_now;
3145 record_alignment (sec, align);
3147 frag_align_code (align, 0);
3149 frag_align (align, 0, 0);
3151 symbol_set_frag (sym, frag_now);
3152 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3154 symbol_get_tc (sym)->align = align;
3155 symbol_get_tc (sym)->output = 1;
3156 symbol_get_tc (sym)->within = sym;
3158 for (list = *list_ptr;
3159 symbol_get_tc (list)->next != (symbolS *) NULL;
3160 list = symbol_get_tc (list)->next)
3162 symbol_get_tc (list)->next = sym;
3164 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3165 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
3169 ppc_current_csect = sym;
3172 /* This function handles the .text and .data pseudo-ops. These
3173 pseudo-ops aren't really used by XCOFF; we implement them for the
3174 convenience of people who aren't used to XCOFF. */
3185 else if (type == 'd')
3190 sym = symbol_find_or_make (name);
3192 ppc_change_csect (sym, 2);
3194 demand_empty_rest_of_line ();
3197 /* This function handles the .section pseudo-op. This is mostly to
3198 give an error, since XCOFF only supports .text, .data and .bss, but
3199 we do permit the user to name the text or data section. */
3202 ppc_named_section (ignore)
3203 int ignore ATTRIBUTE_UNUSED;
3206 const char *real_name;
3210 user_name = input_line_pointer;
3211 c = get_symbol_end ();
3213 if (strcmp (user_name, ".text") == 0)
3214 real_name = ".text[PR]";
3215 else if (strcmp (user_name, ".data") == 0)
3216 real_name = ".data[RW]";
3219 as_bad (_("The XCOFF file format does not support arbitrary sections"));
3220 *input_line_pointer = c;
3221 ignore_rest_of_line ();
3225 *input_line_pointer = c;
3227 sym = symbol_find_or_make (real_name);
3229 ppc_change_csect (sym, 2);
3231 demand_empty_rest_of_line ();
3234 /* The .extern pseudo-op. We create an undefined symbol. */
3238 int ignore ATTRIBUTE_UNUSED;
3243 name = input_line_pointer;
3244 endc = get_symbol_end ();
3246 (void) symbol_find_or_make (name);
3248 *input_line_pointer = endc;
3250 demand_empty_rest_of_line ();
3253 /* The .lglobl pseudo-op. Keep the symbol in the symbol table. */
3257 int ignore ATTRIBUTE_UNUSED;
3263 name = input_line_pointer;
3264 endc = get_symbol_end ();
3266 sym = symbol_find_or_make (name);
3268 *input_line_pointer = endc;
3270 symbol_get_tc (sym)->output = 1;
3272 demand_empty_rest_of_line ();
3275 /* The .rename pseudo-op. The RS/6000 assembler can rename symbols,
3276 although I don't know why it bothers. */
3280 int ignore ATTRIBUTE_UNUSED;
3287 name = input_line_pointer;
3288 endc = get_symbol_end ();
3290 sym = symbol_find_or_make (name);
3292 *input_line_pointer = endc;
3294 if (*input_line_pointer != ',')
3296 as_bad (_("missing rename string"));
3297 ignore_rest_of_line ();
3300 ++input_line_pointer;
3302 symbol_get_tc (sym)->real_name = demand_copy_C_string (&len);
3304 demand_empty_rest_of_line ();
3307 /* The .stabx pseudo-op. This is similar to a normal .stabs
3308 pseudo-op, but slightly different. A sample is
3309 .stabx "main:F-1",.main,142,0
3310 The first argument is the symbol name to create. The second is the
3311 value, and the third is the storage class. The fourth seems to be
3312 always zero, and I am assuming it is the type. */
3316 int ignore ATTRIBUTE_UNUSED;
3323 name = demand_copy_C_string (&len);
3325 if (*input_line_pointer != ',')
3327 as_bad (_("missing value"));
3330 ++input_line_pointer;
3332 ppc_stab_symbol = TRUE;
3333 sym = symbol_make (name);
3334 ppc_stab_symbol = FALSE;
3336 symbol_get_tc (sym)->real_name = name;
3338 (void) expression (&exp);
3345 as_bad (_("illegal .stabx expression; zero assumed"));
3346 exp.X_add_number = 0;
3349 S_SET_VALUE (sym, (valueT) exp.X_add_number);
3350 symbol_set_frag (sym, &zero_address_frag);
3354 if (S_GET_SEGMENT (exp.X_add_symbol) == undefined_section)
3355 symbol_set_value_expression (sym, &exp);
3359 exp.X_add_number + S_GET_VALUE (exp.X_add_symbol));
3360 symbol_set_frag (sym, symbol_get_frag (exp.X_add_symbol));
3365 /* The value is some complex expression. This will probably
3366 fail at some later point, but this is probably the right
3367 thing to do here. */
3368 symbol_set_value_expression (sym, &exp);
3372 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3373 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3375 if (*input_line_pointer != ',')
3377 as_bad (_("missing class"));
3380 ++input_line_pointer;
3382 S_SET_STORAGE_CLASS (sym, get_absolute_expression ());
3384 if (*input_line_pointer != ',')
3386 as_bad (_("missing type"));
3389 ++input_line_pointer;
3391 S_SET_DATA_TYPE (sym, get_absolute_expression ());
3393 symbol_get_tc (sym)->output = 1;
3395 if (S_GET_STORAGE_CLASS (sym) == C_STSYM) {
3397 symbol_get_tc (sym)->within = ppc_current_block;
3402 .stabx "z",arrays_,133,0
3405 .comm arrays_,13768,3
3407 resolve_symbol_value will copy the exp's "within" into sym's when the
3408 offset is 0. Since this seems to be corner case problem,
3409 only do the correction for storage class C_STSYM. A better solution
3410 would be to have the tc field updated in ppc_symbol_new_hook. */
3412 if (exp.X_op == O_symbol)
3414 symbol_get_tc (exp.X_add_symbol)->within = ppc_current_block;
3418 if (exp.X_op != O_symbol
3419 || ! S_IS_EXTERNAL (exp.X_add_symbol)
3420 || S_GET_SEGMENT (exp.X_add_symbol) != bss_section)
3421 ppc_frob_label (sym);
3424 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3425 symbol_append (sym, exp.X_add_symbol, &symbol_rootP, &symbol_lastP);
3426 if (symbol_get_tc (ppc_current_csect)->within == exp.X_add_symbol)
3427 symbol_get_tc (ppc_current_csect)->within = sym;
3430 demand_empty_rest_of_line ();
3433 /* The .function pseudo-op. This takes several arguments. The first
3434 argument seems to be the external name of the symbol. The second
3435 argument seems to be the label for the start of the function. gcc
3436 uses the same name for both. I have no idea what the third and
3437 fourth arguments are meant to be. The optional fifth argument is
3438 an expression for the size of the function. In COFF this symbol
3439 gets an aux entry like that used for a csect. */
3442 ppc_function (ignore)
3443 int ignore ATTRIBUTE_UNUSED;
3451 name = input_line_pointer;
3452 endc = get_symbol_end ();
3454 /* Ignore any [PR] suffix. */
3455 name = ppc_canonicalize_symbol_name (name);
3456 s = strchr (name, '[');
3457 if (s != (char *) NULL
3458 && strcmp (s + 1, "PR]") == 0)
3461 ext_sym = symbol_find_or_make (name);
3463 *input_line_pointer = endc;
3465 if (*input_line_pointer != ',')
3467 as_bad (_("missing symbol name"));
3468 ignore_rest_of_line ();
3471 ++input_line_pointer;
3473 name = input_line_pointer;
3474 endc = get_symbol_end ();
3476 lab_sym = symbol_find_or_make (name);
3478 *input_line_pointer = endc;
3480 if (ext_sym != lab_sym)
3484 exp.X_op = O_symbol;
3485 exp.X_add_symbol = lab_sym;
3486 exp.X_op_symbol = NULL;
3487 exp.X_add_number = 0;
3489 symbol_set_value_expression (ext_sym, &exp);
3492 if (symbol_get_tc (ext_sym)->class == -1)
3493 symbol_get_tc (ext_sym)->class = XMC_PR;
3494 symbol_get_tc (ext_sym)->output = 1;
3496 if (*input_line_pointer == ',')
3500 /* Ignore the third argument. */
3501 ++input_line_pointer;
3502 expression (&ignore);
3503 if (*input_line_pointer == ',')
3505 /* Ignore the fourth argument. */
3506 ++input_line_pointer;
3507 expression (&ignore);
3508 if (*input_line_pointer == ',')
3510 /* The fifth argument is the function size. */
3511 ++input_line_pointer;
3512 symbol_get_tc (ext_sym)->size = symbol_new ("L0\001",
3515 &zero_address_frag);
3516 pseudo_set (symbol_get_tc (ext_sym)->size);
3521 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
3522 SF_SET_FUNCTION (ext_sym);
3523 SF_SET_PROCESS (ext_sym);
3524 coff_add_linesym (ext_sym);
3526 demand_empty_rest_of_line ();
3529 /* The .bf pseudo-op. This is just like a COFF C_FCN symbol named
3530 ".bf". If the pseudo op .bi was seen before .bf, patch the .bi sym
3531 with the correct line number */
3533 static symbolS *saved_bi_sym = 0;
3537 int ignore ATTRIBUTE_UNUSED;
3541 sym = symbol_make (".bf");
3542 S_SET_SEGMENT (sym, text_section);
3543 symbol_set_frag (sym, frag_now);
3544 S_SET_VALUE (sym, frag_now_fix ());
3545 S_SET_STORAGE_CLASS (sym, C_FCN);
3547 coff_line_base = get_absolute_expression ();
3549 S_SET_NUMBER_AUXILIARY (sym, 1);
3550 SA_SET_SYM_LNNO (sym, coff_line_base);
3552 /* Line number for bi. */
3555 S_SET_VALUE (saved_bi_sym, coff_n_line_nos);
3560 symbol_get_tc (sym)->output = 1;
3562 ppc_frob_label (sym);
3564 demand_empty_rest_of_line ();
3567 /* The .ef pseudo-op. This is just like a COFF C_FCN symbol named
3568 ".ef", except that the line number is absolute, not relative to the
3569 most recent ".bf" symbol. */
3573 int ignore ATTRIBUTE_UNUSED;
3577 sym = symbol_make (".ef");
3578 S_SET_SEGMENT (sym, text_section);
3579 symbol_set_frag (sym, frag_now);
3580 S_SET_VALUE (sym, frag_now_fix ());
3581 S_SET_STORAGE_CLASS (sym, C_FCN);
3582 S_SET_NUMBER_AUXILIARY (sym, 1);
3583 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3584 symbol_get_tc (sym)->output = 1;
3586 ppc_frob_label (sym);
3588 demand_empty_rest_of_line ();
3591 /* The .bi and .ei pseudo-ops. These take a string argument and
3592 generates a C_BINCL or C_EINCL symbol, which goes at the start of
3593 the symbol list. The value of .bi will be know when the next .bf
3600 static symbolS *last_biei;
3607 name = demand_copy_C_string (&len);
3609 /* The value of these symbols is actually file offset. Here we set
3610 the value to the index into the line number entries. In
3611 ppc_frob_symbols we set the fix_line field, which will cause BFD
3612 to do the right thing. */
3614 sym = symbol_make (name);
3615 /* obj-coff.c currently only handles line numbers correctly in the
3617 S_SET_SEGMENT (sym, text_section);
3618 S_SET_VALUE (sym, coff_n_line_nos);
3619 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3621 S_SET_STORAGE_CLASS (sym, ei ? C_EINCL : C_BINCL);
3622 symbol_get_tc (sym)->output = 1;
3630 for (look = last_biei ? last_biei : symbol_rootP;
3631 (look != (symbolS *) NULL
3632 && (S_GET_STORAGE_CLASS (look) == C_FILE
3633 || S_GET_STORAGE_CLASS (look) == C_BINCL
3634 || S_GET_STORAGE_CLASS (look) == C_EINCL));
3635 look = symbol_next (look))
3637 if (look != (symbolS *) NULL)
3639 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3640 symbol_insert (sym, look, &symbol_rootP, &symbol_lastP);
3644 demand_empty_rest_of_line ();
3647 /* The .bs pseudo-op. This generates a C_BSTAT symbol named ".bs".
3648 There is one argument, which is a csect symbol. The value of the
3649 .bs symbol is the index of this csect symbol. */
3653 int ignore ATTRIBUTE_UNUSED;
3660 if (ppc_current_block != NULL)
3661 as_bad (_("nested .bs blocks"));
3663 name = input_line_pointer;
3664 endc = get_symbol_end ();
3666 csect = symbol_find_or_make (name);
3668 *input_line_pointer = endc;
3670 sym = symbol_make (".bs");
3671 S_SET_SEGMENT (sym, now_seg);
3672 S_SET_STORAGE_CLASS (sym, C_BSTAT);
3673 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3674 symbol_get_tc (sym)->output = 1;
3676 symbol_get_tc (sym)->within = csect;
3678 ppc_frob_label (sym);
3680 ppc_current_block = sym;
3682 demand_empty_rest_of_line ();
3685 /* The .es pseudo-op. Generate a C_ESTART symbol named .es. */
3689 int ignore ATTRIBUTE_UNUSED;
3693 if (ppc_current_block == NULL)
3694 as_bad (_(".es without preceding .bs"));
3696 sym = symbol_make (".es");
3697 S_SET_SEGMENT (sym, now_seg);
3698 S_SET_STORAGE_CLASS (sym, C_ESTAT);
3699 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3700 symbol_get_tc (sym)->output = 1;
3702 ppc_frob_label (sym);
3704 ppc_current_block = NULL;
3706 demand_empty_rest_of_line ();
3709 /* The .bb pseudo-op. Generate a C_BLOCK symbol named .bb, with a
3714 int ignore ATTRIBUTE_UNUSED;
3718 sym = symbol_make (".bb");
3719 S_SET_SEGMENT (sym, text_section);
3720 symbol_set_frag (sym, frag_now);
3721 S_SET_VALUE (sym, frag_now_fix ());
3722 S_SET_STORAGE_CLASS (sym, C_BLOCK);
3724 S_SET_NUMBER_AUXILIARY (sym, 1);
3725 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3727 symbol_get_tc (sym)->output = 1;
3729 SF_SET_PROCESS (sym);
3731 ppc_frob_label (sym);
3733 demand_empty_rest_of_line ();
3736 /* The .eb pseudo-op. Generate a C_BLOCK symbol named .eb, with a
3741 int ignore ATTRIBUTE_UNUSED;
3745 sym = symbol_make (".eb");
3746 S_SET_SEGMENT (sym, text_section);
3747 symbol_set_frag (sym, frag_now);
3748 S_SET_VALUE (sym, frag_now_fix ());
3749 S_SET_STORAGE_CLASS (sym, C_BLOCK);
3750 S_SET_NUMBER_AUXILIARY (sym, 1);
3751 SA_SET_SYM_LNNO (sym, get_absolute_expression ());
3752 symbol_get_tc (sym)->output = 1;
3754 SF_SET_PROCESS (sym);
3756 ppc_frob_label (sym);
3758 demand_empty_rest_of_line ();
3761 /* The .bc pseudo-op. This just creates a C_BCOMM symbol with a
3766 int ignore ATTRIBUTE_UNUSED;
3772 name = demand_copy_C_string (&len);
3773 sym = symbol_make (name);
3774 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3775 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3776 S_SET_STORAGE_CLASS (sym, C_BCOMM);
3777 S_SET_VALUE (sym, 0);
3778 symbol_get_tc (sym)->output = 1;
3780 ppc_frob_label (sym);
3782 demand_empty_rest_of_line ();
3785 /* The .ec pseudo-op. This just creates a C_ECOMM symbol. */
3789 int ignore ATTRIBUTE_UNUSED;
3793 sym = symbol_make (".ec");
3794 S_SET_SEGMENT (sym, ppc_coff_debug_section);
3795 symbol_get_bfdsym (sym)->flags |= BSF_DEBUGGING;
3796 S_SET_STORAGE_CLASS (sym, C_ECOMM);
3797 S_SET_VALUE (sym, 0);
3798 symbol_get_tc (sym)->output = 1;
3800 ppc_frob_label (sym);
3802 demand_empty_rest_of_line ();
3805 /* The .toc pseudo-op. Switch to the .toc subsegment. */
3809 int ignore ATTRIBUTE_UNUSED;
3811 if (ppc_toc_csect != (symbolS *) NULL)
3812 subseg_set (data_section, symbol_get_tc (ppc_toc_csect)->subseg);
3819 subseg = ppc_data_subsegment;
3820 ++ppc_data_subsegment;
3822 subseg_new (segment_name (data_section), subseg);
3823 ppc_toc_frag = frag_now;
3825 sym = symbol_find_or_make ("TOC[TC0]");
3826 symbol_set_frag (sym, frag_now);
3827 S_SET_SEGMENT (sym, data_section);
3828 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3829 symbol_get_tc (sym)->subseg = subseg;
3830 symbol_get_tc (sym)->output = 1;
3831 symbol_get_tc (sym)->within = sym;
3833 ppc_toc_csect = sym;
3835 for (list = ppc_data_csects;
3836 symbol_get_tc (list)->next != (symbolS *) NULL;
3837 list = symbol_get_tc (list)->next)
3839 symbol_get_tc (list)->next = sym;
3841 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
3842 symbol_append (sym, symbol_get_tc (list)->within, &symbol_rootP,
3846 ppc_current_csect = ppc_toc_csect;
3848 demand_empty_rest_of_line ();
3851 /* The AIX assembler automatically aligns the operands of a .long or
3852 .short pseudo-op, and we want to be compatible. */
3855 ppc_xcoff_cons (log_size)
3858 frag_align (log_size, 0, 0);
3859 record_alignment (now_seg, log_size);
3860 cons (1 << log_size);
3865 int dummy ATTRIBUTE_UNUSED;
3870 (void) expression (&exp);
3872 if (exp.X_op != O_constant)
3874 as_bad (_("non-constant byte count"));
3878 byte_count = exp.X_add_number;
3880 if (*input_line_pointer != ',')
3882 as_bad (_("missing value"));
3886 ++input_line_pointer;
3890 #endif /* OBJ_XCOFF */
3891 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
3893 /* The .tc pseudo-op. This is used when generating either XCOFF or
3894 ELF. This takes two or more arguments.
3896 When generating XCOFF output, the first argument is the name to
3897 give to this location in the toc; this will be a symbol with class
3898 TC. The rest of the arguments are N-byte values to actually put at
3899 this location in the TOC; often there is just one more argument, a
3900 relocatable symbol reference. The size of the value to store
3901 depends on target word size. A 32-bit target uses 4-byte values, a
3902 64-bit target uses 8-byte values.
3904 When not generating XCOFF output, the arguments are the same, but
3905 the first argument is simply ignored. */
3909 int ignore ATTRIBUTE_UNUSED;
3913 /* Define the TOC symbol name. */
3919 if (ppc_toc_csect == (symbolS *) NULL
3920 || ppc_toc_csect != ppc_current_csect)
3922 as_bad (_(".tc not in .toc section"));
3923 ignore_rest_of_line ();
3927 name = input_line_pointer;
3928 endc = get_symbol_end ();
3930 sym = symbol_find_or_make (name);
3932 *input_line_pointer = endc;
3934 if (S_IS_DEFINED (sym))
3938 label = symbol_get_tc (ppc_current_csect)->within;
3939 if (symbol_get_tc (label)->class != XMC_TC0)
3941 as_bad (_(".tc with no label"));
3942 ignore_rest_of_line ();
3946 S_SET_SEGMENT (label, S_GET_SEGMENT (sym));
3947 symbol_set_frag (label, symbol_get_frag (sym));
3948 S_SET_VALUE (label, S_GET_VALUE (sym));
3950 while (! is_end_of_line[(unsigned char) *input_line_pointer])
3951 ++input_line_pointer;
3956 S_SET_SEGMENT (sym, now_seg);
3957 symbol_set_frag (sym, frag_now);
3958 S_SET_VALUE (sym, (valueT) frag_now_fix ());
3959 symbol_get_tc (sym)->class = XMC_TC;
3960 symbol_get_tc (sym)->output = 1;
3962 ppc_frob_label (sym);
3965 #endif /* OBJ_XCOFF */
3969 /* Skip the TOC symbol name. */
3970 while (is_part_of_name (*input_line_pointer)
3971 || *input_line_pointer == '['
3972 || *input_line_pointer == ']'
3973 || *input_line_pointer == '{'
3974 || *input_line_pointer == '}')
3975 ++input_line_pointer;
3977 /* Align to a four/eight byte boundary. */
3978 align = ppc_obj64 ? 3 : 2;
3979 frag_align (align, 0, 0);
3980 record_alignment (now_seg, align);
3981 #endif /* OBJ_ELF */
3983 if (*input_line_pointer != ',')
3984 demand_empty_rest_of_line ();
3987 ++input_line_pointer;
3988 cons (ppc_obj64 ? 8 : 4);
3992 /* Pseudo-op .machine. */
3995 ppc_machine (ignore)
3996 int ignore ATTRIBUTE_UNUSED;
3999 #define MAX_HISTORY 100
4000 static unsigned long *cpu_history;
4001 static int curr_hist;
4005 if (*input_line_pointer == '"')
4008 cpu_string = demand_copy_C_string (&len);
4013 cpu_string = input_line_pointer;
4014 c = get_symbol_end ();
4015 cpu_string = xstrdup (cpu_string);
4016 *input_line_pointer = c;
4019 if (cpu_string != NULL)
4021 unsigned long old_cpu = ppc_cpu;
4024 for (p = cpu_string; *p != 0; p++)
4027 if (strcmp (cpu_string, "push") == 0)
4029 if (cpu_history == NULL)
4030 cpu_history = xmalloc (MAX_HISTORY * sizeof (*cpu_history));
4032 if (curr_hist >= MAX_HISTORY)
4033 as_bad (_(".machine stack overflow"));
4035 cpu_history[curr_hist++] = ppc_cpu;
4037 else if (strcmp (cpu_string, "pop") == 0)
4040 as_bad (_(".machine stack underflow"));
4042 ppc_cpu = cpu_history[--curr_hist];
4044 else if (parse_cpu (cpu_string))
4047 as_bad (_("invalid machine `%s'"), cpu_string);
4049 if (ppc_cpu != old_cpu)
4050 ppc_setup_opcodes ();
4053 demand_empty_rest_of_line ();
4056 /* See whether a symbol is in the TOC section. */
4059 ppc_is_toc_sym (sym)
4063 return symbol_get_tc (sym)->class == XMC_TC;
4066 const char *sname = segment_name (S_GET_SEGMENT (sym));
4068 return strcmp (sname, ".toc") == 0;
4070 return strcmp (sname, ".got") == 0;
4073 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
4077 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
4079 /* Set the current section. */
4081 ppc_set_current_section (new)
4084 ppc_previous_section = ppc_current_section;
4085 ppc_current_section = new;
4088 /* pseudo-op: .previous
4089 behaviour: toggles the current section with the previous section.
4091 warnings: "No previous section" */
4094 ppc_previous (ignore)
4095 int ignore ATTRIBUTE_UNUSED;
4099 if (ppc_previous_section == NULL)
4101 as_warn (_("No previous section to return to. Directive ignored."));
4105 subseg_set (ppc_previous_section, 0);
4107 ppc_set_current_section (ppc_previous_section);
4110 /* pseudo-op: .pdata
4111 behaviour: predefined read only data section
4115 initial: .section .pdata "adr3"
4116 a - don't know -- maybe a misprint
4117 d - initialized data
4119 3 - double word aligned (that would be 4 byte boundary)
4122 Tag index tables (also known as the function table) for exception
4123 handling, debugging, etc. */
4127 int ignore ATTRIBUTE_UNUSED;
4129 if (pdata_section == 0)
4131 pdata_section = subseg_new (".pdata", 0);
4133 bfd_set_section_flags (stdoutput, pdata_section,
4134 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4135 | SEC_READONLY | SEC_DATA ));
4137 bfd_set_section_alignment (stdoutput, pdata_section, 2);
4141 pdata_section = subseg_new (".pdata", 0);
4143 ppc_set_current_section (pdata_section);
4146 /* pseudo-op: .ydata
4147 behaviour: predefined read only data section
4151 initial: .section .ydata "drw3"
4152 a - don't know -- maybe a misprint
4153 d - initialized data
4155 3 - double word aligned (that would be 4 byte boundary)
4157 Tag tables (also known as the scope table) for exception handling,
4162 int ignore ATTRIBUTE_UNUSED;
4164 if (ydata_section == 0)
4166 ydata_section = subseg_new (".ydata", 0);
4167 bfd_set_section_flags (stdoutput, ydata_section,
4168 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4169 | SEC_READONLY | SEC_DATA ));
4171 bfd_set_section_alignment (stdoutput, ydata_section, 3);
4175 ydata_section = subseg_new (".ydata", 0);
4177 ppc_set_current_section (ydata_section);
4180 /* pseudo-op: .reldata
4181 behaviour: predefined read write data section
4182 double word aligned (4-byte)
4183 FIXME: relocation is applied to it
4184 FIXME: what's the difference between this and .data?
4187 initial: .section .reldata "drw3"
4188 d - initialized data
4191 3 - double word aligned (that would be 8 byte boundary)
4194 Like .data, but intended to hold data subject to relocation, such as
4195 function descriptors, etc. */
4198 ppc_reldata (ignore)
4199 int ignore ATTRIBUTE_UNUSED;
4201 if (reldata_section == 0)
4203 reldata_section = subseg_new (".reldata", 0);
4205 bfd_set_section_flags (stdoutput, reldata_section,
4206 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4209 bfd_set_section_alignment (stdoutput, reldata_section, 2);
4213 reldata_section = subseg_new (".reldata", 0);
4215 ppc_set_current_section (reldata_section);
4218 /* pseudo-op: .rdata
4219 behaviour: predefined read only data section
4223 initial: .section .rdata "dr3"
4224 d - initialized data
4226 3 - double word aligned (that would be 4 byte boundary) */
4230 int ignore ATTRIBUTE_UNUSED;
4232 if (rdata_section == 0)
4234 rdata_section = subseg_new (".rdata", 0);
4235 bfd_set_section_flags (stdoutput, rdata_section,
4236 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4237 | SEC_READONLY | SEC_DATA ));
4239 bfd_set_section_alignment (stdoutput, rdata_section, 2);
4243 rdata_section = subseg_new (".rdata", 0);
4245 ppc_set_current_section (rdata_section);
4248 /* pseudo-op: .ualong
4249 behaviour: much like .int, with the exception that no alignment is
4251 FIXME: test the alignment statement
4257 int ignore ATTRIBUTE_UNUSED;
4263 /* pseudo-op: .znop <symbol name>
4264 behaviour: Issue a nop instruction
4265 Issue a IMAGE_REL_PPC_IFGLUE relocation against it, using
4266 the supplied symbol name.
4268 warnings: Missing symbol name */
4272 int ignore ATTRIBUTE_UNUSED;
4275 const struct powerpc_opcode *opcode;
4286 /* Strip out the symbol name. */
4287 symbol_name = input_line_pointer;
4288 c = get_symbol_end ();
4290 name = xmalloc (input_line_pointer - symbol_name + 1);
4291 strcpy (name, symbol_name);
4293 sym = symbol_find_or_make (name);
4295 *input_line_pointer = c;
4299 /* Look up the opcode in the hash table. */
4300 opcode = (const struct powerpc_opcode *) hash_find (ppc_hash, "nop");
4302 /* Stick in the nop. */
4303 insn = opcode->opcode;
4305 /* Write out the instruction. */
4307 md_number_to_chars (f, insn, 4);
4309 f - frag_now->fr_literal,
4314 BFD_RELOC_16_GOT_PCREL);
4327 register char *name;
4331 register symbolS *symbolP;
4334 name = input_line_pointer;
4335 c = get_symbol_end ();
4337 /* just after name is now '\0'. */
4338 p = input_line_pointer;
4341 if (*input_line_pointer != ',')
4343 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
4344 ignore_rest_of_line ();
4348 input_line_pointer++; /* skip ',' */
4349 if ((temp = get_absolute_expression ()) < 0)
4351 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp);
4352 ignore_rest_of_line ();
4358 /* The third argument to .comm is the alignment. */
4359 if (*input_line_pointer != ',')
4363 ++input_line_pointer;
4364 align = get_absolute_expression ();
4367 as_warn (_("ignoring bad alignment"));
4374 symbolP = symbol_find_or_make (name);
4377 if (S_IS_DEFINED (symbolP) && ! S_IS_COMMON (symbolP))
4379 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
4380 S_GET_NAME (symbolP));
4381 ignore_rest_of_line ();
4385 if (S_GET_VALUE (symbolP))
4387 if (S_GET_VALUE (symbolP) != (valueT) temp)
4388 as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
4389 S_GET_NAME (symbolP),
4390 (long) S_GET_VALUE (symbolP),
4395 S_SET_VALUE (symbolP, (valueT) temp);
4396 S_SET_EXTERNAL (symbolP);
4399 demand_empty_rest_of_line ();
4403 * implement the .section pseudo op:
4404 * .section name {, "flags"}
4406 * | +--- optional flags: 'b' for bss
4408 * +-- section name 'l' for lib
4412 * 'd' (apparently m88k for data)
4414 * But if the argument is not a quoted string, treat it as a
4415 * subsegment number.
4417 * FIXME: this is a copy of the section processing from obj-coff.c, with
4418 * additions/changes for the moto-pas assembler support. There are three
4421 * FIXME: I just noticed this. This doesn't work at all really. It it
4422 * setting bits that bfd probably neither understands or uses. The
4423 * correct approach (?) will have to incorporate extra fields attached
4424 * to the section to hold the system specific stuff. (krk)
4427 * 'a' - unknown - referred to in documentation, but no definition supplied
4428 * 'c' - section has code
4429 * 'd' - section has initialized data
4430 * 'u' - section has uninitialized data
4431 * 'i' - section contains directives (info)
4432 * 'n' - section can be discarded
4433 * 'R' - remove section at link time
4435 * Section Protection:
4436 * 'r' - section is readable
4437 * 'w' - section is writeable
4438 * 'x' - section is executable
4439 * 's' - section is sharable
4441 * Section Alignment:
4442 * '0' - align to byte boundary
4443 * '1' - align to halfword undary
4444 * '2' - align to word boundary
4445 * '3' - align to doubleword boundary
4446 * '4' - align to quadword boundary
4447 * '5' - align to 32 byte boundary
4448 * '6' - align to 64 byte boundary
4453 ppc_pe_section (ignore)
4454 int ignore ATTRIBUTE_UNUSED;
4456 /* Strip out the section name. */
4465 section_name = input_line_pointer;
4466 c = get_symbol_end ();
4468 name = xmalloc (input_line_pointer - section_name + 1);
4469 strcpy (name, section_name);
4471 *input_line_pointer = c;
4476 flags = SEC_NO_FLAGS;
4478 if (strcmp (name, ".idata$2") == 0)
4482 else if (strcmp (name, ".idata$3") == 0)
4486 else if (strcmp (name, ".idata$4") == 0)
4490 else if (strcmp (name, ".idata$5") == 0)
4494 else if (strcmp (name, ".idata$6") == 0)
4499 /* Default alignment to 16 byte boundary. */
4502 if (*input_line_pointer == ',')
4504 ++input_line_pointer;
4506 if (*input_line_pointer != '"')
4507 exp = get_absolute_expression ();
4510 ++input_line_pointer;
4511 while (*input_line_pointer != '"'
4512 && ! is_end_of_line[(unsigned char) *input_line_pointer])
4514 switch (*input_line_pointer)
4516 /* Section Contents */
4517 case 'a': /* unknown */
4518 as_bad (_("Unsupported section attribute -- 'a'"));
4520 case 'c': /* code section */
4523 case 'd': /* section has initialized data */
4526 case 'u': /* section has uninitialized data */
4527 /* FIXME: This is IMAGE_SCN_CNT_UNINITIALIZED_DATA
4531 case 'i': /* section contains directives (info) */
4532 /* FIXME: This is IMAGE_SCN_LNK_INFO
4534 flags |= SEC_HAS_CONTENTS;
4536 case 'n': /* section can be discarded */
4539 case 'R': /* Remove section at link time */
4540 flags |= SEC_NEVER_LOAD;
4543 /* Section Protection */
4544 case 'r': /* section is readable */
4545 flags |= IMAGE_SCN_MEM_READ;
4547 case 'w': /* section is writeable */
4548 flags |= IMAGE_SCN_MEM_WRITE;
4550 case 'x': /* section is executable */
4551 flags |= IMAGE_SCN_MEM_EXECUTE;
4553 case 's': /* section is sharable */
4554 flags |= IMAGE_SCN_MEM_SHARED;
4557 /* Section Alignment */
4558 case '0': /* align to byte boundary */
4559 flags |= IMAGE_SCN_ALIGN_1BYTES;
4562 case '1': /* align to halfword boundary */
4563 flags |= IMAGE_SCN_ALIGN_2BYTES;
4566 case '2': /* align to word boundary */
4567 flags |= IMAGE_SCN_ALIGN_4BYTES;
4570 case '3': /* align to doubleword boundary */
4571 flags |= IMAGE_SCN_ALIGN_8BYTES;
4574 case '4': /* align to quadword boundary */
4575 flags |= IMAGE_SCN_ALIGN_16BYTES;
4578 case '5': /* align to 32 byte boundary */
4579 flags |= IMAGE_SCN_ALIGN_32BYTES;
4582 case '6': /* align to 64 byte boundary */
4583 flags |= IMAGE_SCN_ALIGN_64BYTES;
4588 as_bad (_("unknown section attribute '%c'"),
4589 *input_line_pointer);
4592 ++input_line_pointer;
4594 if (*input_line_pointer == '"')
4595 ++input_line_pointer;
4599 sec = subseg_new (name, (subsegT) exp);
4601 ppc_set_current_section (sec);
4603 if (flags != SEC_NO_FLAGS)
4605 if (! bfd_set_section_flags (stdoutput, sec, flags))
4606 as_bad (_("error setting flags for \"%s\": %s"),
4607 bfd_section_name (stdoutput, sec),
4608 bfd_errmsg (bfd_get_error ()));
4611 bfd_set_section_alignment (stdoutput, sec, align);
4616 ppc_pe_function (ignore)
4617 int ignore ATTRIBUTE_UNUSED;
4623 name = input_line_pointer;
4624 endc = get_symbol_end ();
4626 ext_sym = symbol_find_or_make (name);
4628 *input_line_pointer = endc;
4630 S_SET_DATA_TYPE (ext_sym, DT_FCN << N_BTSHFT);
4631 SF_SET_FUNCTION (ext_sym);
4632 SF_SET_PROCESS (ext_sym);
4633 coff_add_linesym (ext_sym);
4635 demand_empty_rest_of_line ();
4639 ppc_pe_tocd (ignore)
4640 int ignore ATTRIBUTE_UNUSED;
4642 if (tocdata_section == 0)
4644 tocdata_section = subseg_new (".tocd", 0);
4645 /* FIXME: section flags won't work. */
4646 bfd_set_section_flags (stdoutput, tocdata_section,
4647 (SEC_ALLOC | SEC_LOAD | SEC_RELOC
4648 | SEC_READONLY | SEC_DATA));
4650 bfd_set_section_alignment (stdoutput, tocdata_section, 2);
4654 rdata_section = subseg_new (".tocd", 0);
4657 ppc_set_current_section (tocdata_section);
4659 demand_empty_rest_of_line ();
4662 /* Don't adjust TOC relocs to use the section symbol. */
4665 ppc_pe_fix_adjustable (fix)
4668 return fix->fx_r_type != BFD_RELOC_PPC_TOC16;
4675 /* XCOFF specific symbol and file handling. */
4677 /* Canonicalize the symbol name. We use the to force the suffix, if
4678 any, to use square brackets, and to be in upper case. */
4681 ppc_canonicalize_symbol_name (name)
4686 if (ppc_stab_symbol)
4689 for (s = name; *s != '\0' && *s != '{' && *s != '['; s++)
4703 for (s++; *s != '\0' && *s != brac; s++)
4706 if (*s == '\0' || s[1] != '\0')
4707 as_bad (_("bad symbol suffix"));
4715 /* Set the class of a symbol based on the suffix, if any. This is
4716 called whenever a new symbol is created. */
4719 ppc_symbol_new_hook (sym)
4722 struct ppc_tc_sy *tc;
4725 tc = symbol_get_tc (sym);
4729 tc->real_name = NULL;
4735 if (ppc_stab_symbol)
4738 s = strchr (S_GET_NAME (sym), '[');
4739 if (s == (const char *) NULL)
4741 /* There is no suffix. */
4750 if (strcmp (s, "BS]") == 0)
4754 if (strcmp (s, "DB]") == 0)
4756 else if (strcmp (s, "DS]") == 0)
4760 if (strcmp (s, "GL]") == 0)
4764 if (strcmp (s, "PR]") == 0)
4768 if (strcmp (s, "RO]") == 0)
4770 else if (strcmp (s, "RW]") == 0)
4774 if (strcmp (s, "SV]") == 0)
4778 if (strcmp (s, "TC]") == 0)
4780 else if (strcmp (s, "TI]") == 0)
4782 else if (strcmp (s, "TB]") == 0)
4784 else if (strcmp (s, "TC0]") == 0 || strcmp (s, "T0]") == 0)
4785 tc->class = XMC_TC0;
4788 if (strcmp (s, "UA]") == 0)
4790 else if (strcmp (s, "UC]") == 0)
4794 if (strcmp (s, "XO]") == 0)
4799 if (tc->class == -1)
4800 as_bad (_("Unrecognized symbol suffix"));
4803 /* Set the class of a label based on where it is defined. This
4804 handles symbols without suffixes. Also, move the symbol so that it
4805 follows the csect symbol. */
4808 ppc_frob_label (sym)
4811 if (ppc_current_csect != (symbolS *) NULL)
4813 if (symbol_get_tc (sym)->class == -1)
4814 symbol_get_tc (sym)->class = symbol_get_tc (ppc_current_csect)->class;
4816 symbol_remove (sym, &symbol_rootP, &symbol_lastP);
4817 symbol_append (sym, symbol_get_tc (ppc_current_csect)->within,
4818 &symbol_rootP, &symbol_lastP);
4819 symbol_get_tc (ppc_current_csect)->within = sym;
4823 /* This variable is set by ppc_frob_symbol if any absolute symbols are
4824 seen. It tells ppc_adjust_symtab whether it needs to look through
4827 static bfd_boolean ppc_saw_abs;
4829 /* Change the name of a symbol just before writing it out. Set the
4830 real name if the .rename pseudo-op was used. Otherwise, remove any
4831 class suffix. Return 1 if the symbol should not be included in the
4835 ppc_frob_symbol (sym)
4838 static symbolS *ppc_last_function;
4839 static symbolS *set_end;
4841 /* Discard symbols that should not be included in the output symbol
4843 if (! symbol_used_in_reloc_p (sym)
4844 && ((symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) != 0
4845 || (! (S_IS_EXTERNAL (sym) || S_IS_WEAK (sym))
4846 && ! symbol_get_tc (sym)->output
4847 && S_GET_STORAGE_CLASS (sym) != C_FILE)))
4850 /* This one will disappear anyway. Don't make a csect sym for it. */
4851 if (sym == abs_section_sym)
4854 if (symbol_get_tc (sym)->real_name != (char *) NULL)
4855 S_SET_NAME (sym, symbol_get_tc (sym)->real_name);
4861 name = S_GET_NAME (sym);
4862 s = strchr (name, '[');
4863 if (s != (char *) NULL)
4869 snew = xmalloc (len + 1);
4870 memcpy (snew, name, len);
4873 S_SET_NAME (sym, snew);
4877 if (set_end != (symbolS *) NULL)
4879 SA_SET_SYM_ENDNDX (set_end, sym);
4883 if (SF_GET_FUNCTION (sym))
4885 if (ppc_last_function != (symbolS *) NULL)
4886 as_bad (_("two .function pseudo-ops with no intervening .ef"));
4887 ppc_last_function = sym;
4888 if (symbol_get_tc (sym)->size != (symbolS *) NULL)
4890 resolve_symbol_value (symbol_get_tc (sym)->size);
4891 SA_SET_SYM_FSIZE (sym,
4892 (long) S_GET_VALUE (symbol_get_tc (sym)->size));
4895 else if (S_GET_STORAGE_CLASS (sym) == C_FCN
4896 && strcmp (S_GET_NAME (sym), ".ef") == 0)
4898 if (ppc_last_function == (symbolS *) NULL)
4899 as_bad (_(".ef with no preceding .function"));
4902 set_end = ppc_last_function;
4903 ppc_last_function = NULL;
4905 /* We don't have a C_EFCN symbol, but we need to force the
4906 COFF backend to believe that it has seen one. */
4907 coff_last_function = NULL;
4911 if (! (S_IS_EXTERNAL (sym) || S_IS_WEAK (sym))
4912 && (symbol_get_bfdsym (sym)->flags & BSF_SECTION_SYM) == 0
4913 && S_GET_STORAGE_CLASS (sym) != C_FILE
4914 && S_GET_STORAGE_CLASS (sym) != C_FCN
4915 && S_GET_STORAGE_CLASS (sym) != C_BLOCK
4916 && S_GET_STORAGE_CLASS (sym) != C_BSTAT
4917 && S_GET_STORAGE_CLASS (sym) != C_ESTAT
4918 && S_GET_STORAGE_CLASS (sym) != C_BINCL
4919 && S_GET_STORAGE_CLASS (sym) != C_EINCL
4920 && S_GET_SEGMENT (sym) != ppc_coff_debug_section)
4921 S_SET_STORAGE_CLASS (sym, C_HIDEXT);
4923 if (S_GET_STORAGE_CLASS (sym) == C_EXT
4924 || S_GET_STORAGE_CLASS (sym) == C_HIDEXT)
4927 union internal_auxent *a;
4929 /* Create a csect aux. */
4930 i = S_GET_NUMBER_AUXILIARY (sym);
4931 S_SET_NUMBER_AUXILIARY (sym, i + 1);
4932 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].u.auxent;
4933 if (symbol_get_tc (sym)->class == XMC_TC0)
4935 /* This is the TOC table. */
4936 know (strcmp (S_GET_NAME (sym), "TOC") == 0);
4937 a->x_csect.x_scnlen.l = 0;
4938 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
4940 else if (symbol_get_tc (sym)->subseg != 0)
4942 /* This is a csect symbol. x_scnlen is the size of the
4944 if (symbol_get_tc (sym)->next == (symbolS *) NULL)
4945 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
4946 S_GET_SEGMENT (sym))
4947 - S_GET_VALUE (sym));
4950 resolve_symbol_value (symbol_get_tc (sym)->next);
4951 a->x_csect.x_scnlen.l = (S_GET_VALUE (symbol_get_tc (sym)->next)
4952 - S_GET_VALUE (sym));
4954 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_SD;
4956 else if (S_GET_SEGMENT (sym) == bss_section)
4958 /* This is a common symbol. */
4959 a->x_csect.x_scnlen.l = symbol_get_frag (sym)->fr_offset;
4960 a->x_csect.x_smtyp = (symbol_get_tc (sym)->align << 3) | XTY_CM;
4961 if (S_IS_EXTERNAL (sym))
4962 symbol_get_tc (sym)->class = XMC_RW;
4964 symbol_get_tc (sym)->class = XMC_BS;
4966 else if (S_GET_SEGMENT (sym) == absolute_section)
4968 /* This is an absolute symbol. The csect will be created by
4969 ppc_adjust_symtab. */
4971 a->x_csect.x_smtyp = XTY_LD;
4972 if (symbol_get_tc (sym)->class == -1)
4973 symbol_get_tc (sym)->class = XMC_XO;
4975 else if (! S_IS_DEFINED (sym))
4977 /* This is an external symbol. */
4978 a->x_csect.x_scnlen.l = 0;
4979 a->x_csect.x_smtyp = XTY_ER;
4981 else if (symbol_get_tc (sym)->class == XMC_TC)
4985 /* This is a TOC definition. x_scnlen is the size of the
4987 next = symbol_next (sym);
4988 while (symbol_get_tc (next)->class == XMC_TC0)
4989 next = symbol_next (next);
4990 if (next == (symbolS *) NULL
4991 || symbol_get_tc (next)->class != XMC_TC)
4993 if (ppc_after_toc_frag == (fragS *) NULL)
4994 a->x_csect.x_scnlen.l = (bfd_section_size (stdoutput,
4996 - S_GET_VALUE (sym));
4998 a->x_csect.x_scnlen.l = (ppc_after_toc_frag->fr_address
4999 - S_GET_VALUE (sym));
5003 resolve_symbol_value (next);
5004 a->x_csect.x_scnlen.l = (S_GET_VALUE (next)
5005 - S_GET_VALUE (sym));
5007 a->x_csect.x_smtyp = (2 << 3) | XTY_SD;
5013 /* This is a normal symbol definition. x_scnlen is the
5014 symbol index of the containing csect. */
5015 if (S_GET_SEGMENT (sym) == text_section)
5016 csect = ppc_text_csects;
5017 else if (S_GET_SEGMENT (sym) == data_section)
5018 csect = ppc_data_csects;
5022 /* Skip the initial dummy symbol. */
5023 csect = symbol_get_tc (csect)->next;
5025 if (csect == (symbolS *) NULL)
5027 as_warn (_("warning: symbol %s has no csect"), S_GET_NAME (sym));
5028 a->x_csect.x_scnlen.l = 0;
5032 while (symbol_get_tc (csect)->next != (symbolS *) NULL)
5034 resolve_symbol_value (symbol_get_tc (csect)->next);
5035 if (S_GET_VALUE (symbol_get_tc (csect)->next)
5036 > S_GET_VALUE (sym))
5038 csect = symbol_get_tc (csect)->next;
5041 a->x_csect.x_scnlen.p =
5042 coffsymbol (symbol_get_bfdsym (csect))->native;
5043 coffsymbol (symbol_get_bfdsym (sym))->native[i + 1].fix_scnlen =
5046 a->x_csect.x_smtyp = XTY_LD;
5049 a->x_csect.x_parmhash = 0;
5050 a->x_csect.x_snhash = 0;
5051 if (symbol_get_tc (sym)->class == -1)
5052 a->x_csect.x_smclas = XMC_PR;
5054 a->x_csect.x_smclas = symbol_get_tc (sym)->class;
5055 a->x_csect.x_stab = 0;
5056 a->x_csect.x_snstab = 0;
5058 /* Don't let the COFF backend resort these symbols. */
5059 symbol_get_bfdsym (sym)->flags |= BSF_NOT_AT_END;
5061 else if (S_GET_STORAGE_CLASS (sym) == C_BSTAT)
5063 /* We want the value to be the symbol index of the referenced
5064 csect symbol. BFD will do that for us if we set the right
5066 asymbol *bsym = symbol_get_bfdsym (symbol_get_tc (sym)->within);
5067 combined_entry_type *c = coffsymbol (bsym)->native;
5069 S_SET_VALUE (sym, (valueT) (size_t) c);
5070 coffsymbol (symbol_get_bfdsym (sym))->native->fix_value = 1;
5072 else if (S_GET_STORAGE_CLASS (sym) == C_STSYM)
5077 /* The value is the offset from the enclosing csect. */
5078 block = symbol_get_tc (sym)->within;
5079 csect = symbol_get_tc (block)->within;
5080 resolve_symbol_value (csect);
5081 S_SET_VALUE (sym, S_GET_VALUE (sym) - S_GET_VALUE (csect));
5083 else if (S_GET_STORAGE_CLASS (sym) == C_BINCL
5084 || S_GET_STORAGE_CLASS (sym) == C_EINCL)
5086 /* We want the value to be a file offset into the line numbers.
5087 BFD will do that for us if we set the right flags. We have
5088 already set the value correctly. */
5089 coffsymbol (symbol_get_bfdsym (sym))->native->fix_line = 1;
5095 /* Adjust the symbol table. This creates csect symbols for all
5096 absolute symbols. */
5099 ppc_adjust_symtab ()
5106 for (sym = symbol_rootP; sym != NULL; sym = symbol_next (sym))
5110 union internal_auxent *a;
5112 if (S_GET_SEGMENT (sym) != absolute_section)
5115 csect = symbol_create (".abs[XO]", absolute_section,
5116 S_GET_VALUE (sym), &zero_address_frag);
5117 symbol_get_bfdsym (csect)->value = S_GET_VALUE (sym);
5118 S_SET_STORAGE_CLASS (csect, C_HIDEXT);
5119 i = S_GET_NUMBER_AUXILIARY (csect);
5120 S_SET_NUMBER_AUXILIARY (csect, i + 1);
5121 a = &coffsymbol (symbol_get_bfdsym (csect))->native[i + 1].u.auxent;
5122 a->x_csect.x_scnlen.l = 0;
5123 a->x_csect.x_smtyp = XTY_SD;
5124 a->x_csect.x_parmhash = 0;
5125 a->x_csect.x_snhash = 0;
5126 a->x_csect.x_smclas = XMC_XO;
5127 a->x_csect.x_stab = 0;
5128 a->x_csect.x_snstab = 0;
5130 symbol_insert (csect, sym, &symbol_rootP, &symbol_lastP);
5132 i = S_GET_NUMBER_AUXILIARY (sym);
5133 a = &coffsymbol (symbol_get_bfdsym (sym))->native[i].u.auxent;
5134 a->x_csect.x_scnlen.p = coffsymbol (symbol_get_bfdsym (csect))->native;
5135 coffsymbol (symbol_get_bfdsym (sym))->native[i].fix_scnlen = 1;
5138 ppc_saw_abs = FALSE;
5141 /* Set the VMA for a section. This is called on all the sections in
5145 ppc_frob_section (sec)
5148 static bfd_vma vma = 0;
5150 vma = md_section_align (sec, vma);
5151 bfd_set_section_vma (stdoutput, sec, vma);
5152 vma += bfd_section_size (stdoutput, sec);
5155 #endif /* OBJ_XCOFF */
5157 /* Turn a string in input_line_pointer into a floating point constant
5158 of type TYPE, and store the appropriate bytes in *LITP. The number
5159 of LITTLENUMS emitted is stored in *SIZEP. An error message is
5160 returned, or NULL on OK. */
5163 md_atof (type, litp, sizep)
5169 LITTLENUM_TYPE words[4];
5185 return _("bad call to md_atof");
5188 t = atof_ieee (input_line_pointer, type, words);
5190 input_line_pointer = t;
5194 if (target_big_endian)
5196 for (i = 0; i < prec; i++)
5198 md_number_to_chars (litp, (valueT) words[i], 2);
5204 for (i = prec - 1; i >= 0; i--)
5206 md_number_to_chars (litp, (valueT) words[i], 2);
5214 /* Write a value out to the object file, using the appropriate
5218 md_number_to_chars (buf, val, n)
5223 if (target_big_endian)
5224 number_to_chars_bigendian (buf, val, n);
5226 number_to_chars_littleendian (buf, val, n);
5229 /* Align a section (I don't know why this is machine dependent). */
5232 md_section_align (seg, addr)
5236 int align = bfd_get_section_alignment (stdoutput, seg);
5238 return ((addr + (1 << align) - 1) & (-1 << align));
5241 /* We don't have any form of relaxing. */
5244 md_estimate_size_before_relax (fragp, seg)
5245 fragS *fragp ATTRIBUTE_UNUSED;
5246 asection *seg ATTRIBUTE_UNUSED;
5252 /* Convert a machine dependent frag. We never generate these. */
5255 md_convert_frag (abfd, sec, fragp)
5256 bfd *abfd ATTRIBUTE_UNUSED;
5257 asection *sec ATTRIBUTE_UNUSED;
5258 fragS *fragp ATTRIBUTE_UNUSED;
5263 /* We have no need to default values of symbols. */
5266 md_undefined_symbol (name)
5267 char *name ATTRIBUTE_UNUSED;
5272 /* Functions concerning relocs. */
5274 /* The location from which a PC relative jump should be calculated,
5275 given a PC relative reloc. */
5278 md_pcrel_from_section (fixp, sec)
5280 segT sec ATTRIBUTE_UNUSED;
5282 return fixp->fx_frag->fr_address + fixp->fx_where;
5287 /* This is called to see whether a fixup should be adjusted to use a
5288 section symbol. We take the opportunity to change a fixup against
5289 a symbol in the TOC subsegment into a reloc against the
5290 corresponding .tc symbol. */
5293 ppc_fix_adjustable (fix)
5296 valueT val = resolve_symbol_value (fix->fx_addsy);
5297 segT symseg = S_GET_SEGMENT (fix->fx_addsy);
5298 TC_SYMFIELD_TYPE *tc;
5300 if (symseg == absolute_section)
5303 if (ppc_toc_csect != (symbolS *) NULL
5304 && fix->fx_addsy != ppc_toc_csect
5305 && symseg == data_section
5306 && val >= ppc_toc_frag->fr_address
5307 && (ppc_after_toc_frag == (fragS *) NULL
5308 || val < ppc_after_toc_frag->fr_address))
5312 for (sy = symbol_next (ppc_toc_csect);
5313 sy != (symbolS *) NULL;
5314 sy = symbol_next (sy))
5316 TC_SYMFIELD_TYPE *sy_tc = symbol_get_tc (sy);
5318 if (sy_tc->class == XMC_TC0)
5320 if (sy_tc->class != XMC_TC)
5322 if (val == resolve_symbol_value (sy))
5325 fix->fx_addnumber = val - ppc_toc_frag->fr_address;
5330 as_bad_where (fix->fx_file, fix->fx_line,
5331 _("symbol in .toc does not match any .tc"));
5334 /* Possibly adjust the reloc to be against the csect. */
5335 tc = symbol_get_tc (fix->fx_addsy);
5337 && tc->class != XMC_TC0
5338 && tc->class != XMC_TC
5339 && symseg != bss_section
5340 /* Don't adjust if this is a reloc in the toc section. */
5341 && (symseg != data_section
5342 || ppc_toc_csect == NULL
5343 || val < ppc_toc_frag->fr_address
5344 || (ppc_after_toc_frag != NULL
5345 && val >= ppc_after_toc_frag->fr_address)))
5348 symbolS *next_csect;
5350 if (symseg == text_section)
5351 csect = ppc_text_csects;
5352 else if (symseg == data_section)
5353 csect = ppc_data_csects;
5357 /* Skip the initial dummy symbol. */
5358 csect = symbol_get_tc (csect)->next;
5360 if (csect != (symbolS *) NULL)
5362 while ((next_csect = symbol_get_tc (csect)->next) != (symbolS *) NULL
5363 && (symbol_get_frag (next_csect)->fr_address <= val))
5365 /* If the csect address equals the symbol value, then we
5366 have to look through the full symbol table to see
5367 whether this is the csect we want. Note that we will
5368 only get here if the csect has zero length. */
5369 if (symbol_get_frag (csect)->fr_address == val
5370 && S_GET_VALUE (csect) == val)
5374 for (scan = symbol_next (csect);
5376 scan = symbol_next (scan))
5378 if (symbol_get_tc (scan)->subseg != 0)
5380 if (scan == fix->fx_addsy)
5384 /* If we found the symbol before the next csect
5385 symbol, then this is the csect we want. */
5386 if (scan == fix->fx_addsy)
5393 fix->fx_offset += val - symbol_get_frag (csect)->fr_address;
5394 fix->fx_addsy = csect;
5399 /* Adjust a reloc against a .lcomm symbol to be against the base
5401 if (symseg == bss_section
5402 && ! S_IS_EXTERNAL (fix->fx_addsy))
5404 symbolS *sy = symbol_get_frag (fix->fx_addsy)->fr_symbol;
5406 fix->fx_offset += val - resolve_symbol_value (sy);
5413 /* A reloc from one csect to another must be kept. The assembler
5414 will, of course, keep relocs between sections, and it will keep
5415 absolute relocs, but we need to force it to keep PC relative relocs
5416 between two csects in the same section. */
5419 ppc_force_relocation (fix)
5422 /* At this point fix->fx_addsy should already have been converted to
5423 a csect symbol. If the csect does not include the fragment, then
5424 we need to force the relocation. */
5426 && fix->fx_addsy != NULL
5427 && symbol_get_tc (fix->fx_addsy)->subseg != 0
5428 && ((symbol_get_frag (fix->fx_addsy)->fr_address
5429 > fix->fx_frag->fr_address)
5430 || (symbol_get_tc (fix->fx_addsy)->next != NULL
5431 && (symbol_get_frag (symbol_get_tc (fix->fx_addsy)->next)->fr_address
5432 <= fix->fx_frag->fr_address))))
5435 return generic_force_reloc (fix);
5438 #endif /* OBJ_XCOFF */
5441 /* If this function returns non-zero, it guarantees that a relocation
5442 will be emitted for a fixup. */
5445 ppc_force_relocation (fix)
5448 /* Branch prediction relocations must force a relocation, as must
5449 the vtable description relocs. */
5450 switch (fix->fx_r_type)
5452 case BFD_RELOC_PPC_B16_BRTAKEN:
5453 case BFD_RELOC_PPC_B16_BRNTAKEN:
5454 case BFD_RELOC_PPC_BA16_BRTAKEN:
5455 case BFD_RELOC_PPC_BA16_BRNTAKEN:
5456 case BFD_RELOC_PPC64_TOC:
5462 if (fix->fx_r_type >= BFD_RELOC_PPC_TLS
5463 && fix->fx_r_type <= BFD_RELOC_PPC64_DTPREL16_HIGHESTA)
5466 return generic_force_reloc (fix);
5470 ppc_fix_adjustable (fix)
5473 return (fix->fx_r_type != BFD_RELOC_16_GOTOFF
5474 && fix->fx_r_type != BFD_RELOC_LO16_GOTOFF
5475 && fix->fx_r_type != BFD_RELOC_HI16_GOTOFF
5476 && fix->fx_r_type != BFD_RELOC_HI16_S_GOTOFF
5477 && fix->fx_r_type != BFD_RELOC_GPREL16
5478 && fix->fx_r_type != BFD_RELOC_VTABLE_INHERIT
5479 && fix->fx_r_type != BFD_RELOC_VTABLE_ENTRY
5480 && !(fix->fx_r_type >= BFD_RELOC_PPC_TLS
5481 && fix->fx_r_type <= BFD_RELOC_PPC64_DTPREL16_HIGHESTA)
5483 || (fix->fx_subsy != NULL
5484 && (S_GET_SEGMENT (fix->fx_subsy)
5485 == S_GET_SEGMENT (fix->fx_addsy)))
5486 || S_IS_LOCAL (fix->fx_addsy)));
5490 /* Apply a fixup to the object code. This is called for all the
5491 fixups we generated by the call to fix_new_exp, above. In the call
5492 above we used a reloc code which was the largest legal reloc code
5493 plus the operand index. Here we undo that to recover the operand
5494 index. At this point all symbol values should be fully resolved,
5495 and we attempt to completely resolve the reloc. If we can not do
5496 that, we determine the correct reloc code and put it back in the
5500 md_apply_fix3 (fixP, valP, seg)
5503 segT seg ATTRIBUTE_UNUSED;
5505 valueT value = * valP;
5508 if (fixP->fx_addsy != NULL)
5510 /* Hack around bfd_install_relocation brain damage. */
5512 value += fixP->fx_frag->fr_address + fixP->fx_where;
5517 /* FIXME FIXME FIXME: The value we are passed in *valP includes
5518 the symbol values. Since we are using BFD_ASSEMBLER, if we are
5519 doing this relocation the code in write.c is going to call
5520 bfd_install_relocation, which is also going to use the symbol
5521 value. That means that if the reloc is fully resolved we want to
5522 use *valP since bfd_install_relocation is not being used.
5523 However, if the reloc is not fully resolved we do not want to use
5524 *valP, and must use fx_offset instead. However, if the reloc
5525 is PC relative, we do want to use *valP since it includes the
5526 result of md_pcrel_from. This is confusing. */
5527 if (fixP->fx_addsy == (symbolS *) NULL)
5530 else if (fixP->fx_pcrel)
5534 value = fixP->fx_offset;
5537 if (fixP->fx_subsy != (symbolS *) NULL)
5539 /* We can't actually support subtracting a symbol. */
5540 as_bad_where (fixP->fx_file, fixP->fx_line, _("expression too complex"));
5543 if ((int) fixP->fx_r_type >= (int) BFD_RELOC_UNUSED)
5546 const struct powerpc_operand *operand;
5550 opindex = (int) fixP->fx_r_type - (int) BFD_RELOC_UNUSED;
5552 operand = &powerpc_operands[opindex];
5555 /* An instruction like `lwz 9,sym(30)' when `sym' is not a TOC symbol
5556 does not generate a reloc. It uses the offset of `sym' within its
5557 csect. Other usages, such as `.long sym', generate relocs. This
5558 is the documented behaviour of non-TOC symbols. */
5559 if ((operand->flags & PPC_OPERAND_PARENS) != 0
5560 && operand->bits == 16
5561 && operand->shift == 0
5562 && (operand->insert == NULL || ppc_obj64)
5563 && fixP->fx_addsy != NULL
5564 && symbol_get_tc (fixP->fx_addsy)->subseg != 0
5565 && symbol_get_tc (fixP->fx_addsy)->class != XMC_TC
5566 && symbol_get_tc (fixP->fx_addsy)->class != XMC_TC0
5567 && S_GET_SEGMENT (fixP->fx_addsy) != bss_section)
5569 value = fixP->fx_offset;
5574 /* Fetch the instruction, insert the fully resolved operand
5575 value, and stuff the instruction back again. */
5576 where = fixP->fx_frag->fr_literal + fixP->fx_where;
5577 if (target_big_endian)
5578 insn = bfd_getb32 ((unsigned char *) where);
5580 insn = bfd_getl32 ((unsigned char *) where);
5581 insn = ppc_insert_operand (insn, operand, (offsetT) value,
5582 fixP->fx_file, fixP->fx_line);
5583 if (target_big_endian)
5584 bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
5586 bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
5589 /* Nothing else to do here. */
5592 assert (fixP->fx_addsy != NULL);
5594 /* Determine a BFD reloc value based on the operand information.
5595 We are only prepared to turn a few of the operands into
5597 if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
5598 && operand->bits == 26
5599 && operand->shift == 0)
5600 fixP->fx_r_type = BFD_RELOC_PPC_B26;
5601 else if ((operand->flags & PPC_OPERAND_RELATIVE) != 0
5602 && operand->bits == 16
5603 && operand->shift == 0)
5605 fixP->fx_r_type = BFD_RELOC_PPC_B16;
5608 if (target_big_endian)
5609 fixP->fx_where += 2;
5612 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
5613 && operand->bits == 26
5614 && operand->shift == 0)
5615 fixP->fx_r_type = BFD_RELOC_PPC_BA26;
5616 else if ((operand->flags & PPC_OPERAND_ABSOLUTE) != 0
5617 && operand->bits == 16
5618 && operand->shift == 0)
5620 fixP->fx_r_type = BFD_RELOC_PPC_BA16;
5623 if (target_big_endian)
5624 fixP->fx_where += 2;
5627 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
5628 else if ((operand->flags & PPC_OPERAND_PARENS) != 0
5629 && operand->bits == 16
5630 && operand->shift == 0)
5632 if (ppc_is_toc_sym (fixP->fx_addsy))
5634 fixP->fx_r_type = BFD_RELOC_PPC_TOC16;
5637 && (operand->flags & PPC_OPERAND_DS) != 0)
5638 fixP->fx_r_type = BFD_RELOC_PPC64_TOC16_DS;
5643 fixP->fx_r_type = BFD_RELOC_16;
5646 && (operand->flags & PPC_OPERAND_DS) != 0)
5647 fixP->fx_r_type = BFD_RELOC_PPC64_ADDR16_DS;
5651 if (target_big_endian)
5652 fixP->fx_where += 2;
5654 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
5660 /* Use expr_symbol_where to see if this is an expression
5662 if (expr_symbol_where (fixP->fx_addsy, &sfile, &sline))
5663 as_bad_where (fixP->fx_file, fixP->fx_line,
5664 _("unresolved expression that must be resolved"));
5666 as_bad_where (fixP->fx_file, fixP->fx_line,
5667 _("unsupported relocation against %s"),
5668 S_GET_NAME (fixP->fx_addsy));
5676 ppc_elf_validate_fix (fixP, seg);
5678 switch (fixP->fx_r_type)
5680 case BFD_RELOC_CTOR:
5687 fixP->fx_r_type = BFD_RELOC_32_PCREL;
5691 case BFD_RELOC_32_PCREL:
5692 case BFD_RELOC_PPC_EMB_NADDR32:
5693 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5700 fixP->fx_r_type = BFD_RELOC_64_PCREL;
5703 case BFD_RELOC_64_PCREL:
5704 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5708 case BFD_RELOC_LO16:
5710 case BFD_RELOC_GPREL16:
5711 case BFD_RELOC_16_GOT_PCREL:
5712 case BFD_RELOC_16_GOTOFF:
5713 case BFD_RELOC_LO16_GOTOFF:
5714 case BFD_RELOC_HI16_GOTOFF:
5715 case BFD_RELOC_HI16_S_GOTOFF:
5716 case BFD_RELOC_16_BASEREL:
5717 case BFD_RELOC_LO16_BASEREL:
5718 case BFD_RELOC_HI16_BASEREL:
5719 case BFD_RELOC_HI16_S_BASEREL:
5720 case BFD_RELOC_PPC_EMB_NADDR16:
5721 case BFD_RELOC_PPC_EMB_NADDR16_LO:
5722 case BFD_RELOC_PPC_EMB_NADDR16_HI:
5723 case BFD_RELOC_PPC_EMB_NADDR16_HA:
5724 case BFD_RELOC_PPC_EMB_SDAI16:
5725 case BFD_RELOC_PPC_EMB_SDA2REL:
5726 case BFD_RELOC_PPC_EMB_SDA2I16:
5727 case BFD_RELOC_PPC_EMB_RELSEC16:
5728 case BFD_RELOC_PPC_EMB_RELST_LO:
5729 case BFD_RELOC_PPC_EMB_RELST_HI:
5730 case BFD_RELOC_PPC_EMB_RELST_HA:
5731 case BFD_RELOC_PPC_EMB_RELSDA:
5732 case BFD_RELOC_PPC_TOC16:
5734 case BFD_RELOC_PPC64_TOC16_LO:
5735 case BFD_RELOC_PPC64_TOC16_HI:
5736 case BFD_RELOC_PPC64_TOC16_HA:
5740 if (fixP->fx_addsy != NULL)
5741 as_bad_where (fixP->fx_file, fixP->fx_line,
5742 _("cannot emit PC relative %s relocation against %s"),
5743 bfd_get_reloc_code_name (fixP->fx_r_type),
5744 S_GET_NAME (fixP->fx_addsy));
5746 as_bad_where (fixP->fx_file, fixP->fx_line,
5747 _("cannot emit PC relative %s relocation"),
5748 bfd_get_reloc_code_name (fixP->fx_r_type));
5751 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5755 /* This case happens when you write, for example,
5757 where L1 and L2 are defined later. */
5758 case BFD_RELOC_HI16:
5761 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5765 case BFD_RELOC_HI16_S:
5768 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5773 case BFD_RELOC_PPC64_HIGHER:
5776 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5777 PPC_HIGHER (value), 2);
5780 case BFD_RELOC_PPC64_HIGHER_S:
5783 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5784 PPC_HIGHERA (value), 2);
5787 case BFD_RELOC_PPC64_HIGHEST:
5790 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5791 PPC_HIGHEST (value), 2);
5794 case BFD_RELOC_PPC64_HIGHEST_S:
5797 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5798 PPC_HIGHESTA (value), 2);
5801 case BFD_RELOC_PPC64_ADDR16_DS:
5802 case BFD_RELOC_PPC64_ADDR16_LO_DS:
5803 case BFD_RELOC_PPC64_GOT16_DS:
5804 case BFD_RELOC_PPC64_GOT16_LO_DS:
5805 case BFD_RELOC_PPC64_PLT16_LO_DS:
5806 case BFD_RELOC_PPC64_SECTOFF_DS:
5807 case BFD_RELOC_PPC64_SECTOFF_LO_DS:
5808 case BFD_RELOC_PPC64_TOC16_DS:
5809 case BFD_RELOC_PPC64_TOC16_LO_DS:
5810 case BFD_RELOC_PPC64_PLTGOT16_DS:
5811 case BFD_RELOC_PPC64_PLTGOT16_LO_DS:
5815 unsigned char *where = fixP->fx_frag->fr_literal + fixP->fx_where;
5816 unsigned long val, mask;
5818 if (target_big_endian)
5819 val = bfd_getb32 (where - 2);
5821 val = bfd_getl32 (where);
5823 /* lq insns reserve the four lsbs. */
5824 if ((ppc_cpu & PPC_OPCODE_POWER4) != 0
5825 && (val & (0x3f << 26)) == (56u << 26))
5827 val |= value & mask;
5828 if (target_big_endian)
5829 bfd_putb16 ((bfd_vma) val, where);
5831 bfd_putl16 ((bfd_vma) val, where);
5835 case BFD_RELOC_PPC_B16_BRTAKEN:
5836 case BFD_RELOC_PPC_B16_BRNTAKEN:
5837 case BFD_RELOC_PPC_BA16_BRTAKEN:
5838 case BFD_RELOC_PPC_BA16_BRNTAKEN:
5841 case BFD_RELOC_PPC_TLS:
5842 case BFD_RELOC_PPC_DTPMOD:
5843 case BFD_RELOC_PPC_TPREL16:
5844 case BFD_RELOC_PPC_TPREL16_LO:
5845 case BFD_RELOC_PPC_TPREL16_HI:
5846 case BFD_RELOC_PPC_TPREL16_HA:
5847 case BFD_RELOC_PPC_TPREL:
5848 case BFD_RELOC_PPC_DTPREL16:
5849 case BFD_RELOC_PPC_DTPREL16_LO:
5850 case BFD_RELOC_PPC_DTPREL16_HI:
5851 case BFD_RELOC_PPC_DTPREL16_HA:
5852 case BFD_RELOC_PPC_DTPREL:
5853 case BFD_RELOC_PPC_GOT_TLSGD16:
5854 case BFD_RELOC_PPC_GOT_TLSGD16_LO:
5855 case BFD_RELOC_PPC_GOT_TLSGD16_HI:
5856 case BFD_RELOC_PPC_GOT_TLSGD16_HA:
5857 case BFD_RELOC_PPC_GOT_TLSLD16:
5858 case BFD_RELOC_PPC_GOT_TLSLD16_LO:
5859 case BFD_RELOC_PPC_GOT_TLSLD16_HI:
5860 case BFD_RELOC_PPC_GOT_TLSLD16_HA:
5861 case BFD_RELOC_PPC_GOT_TPREL16:
5862 case BFD_RELOC_PPC_GOT_TPREL16_LO:
5863 case BFD_RELOC_PPC_GOT_TPREL16_HI:
5864 case BFD_RELOC_PPC_GOT_TPREL16_HA:
5865 case BFD_RELOC_PPC_GOT_DTPREL16:
5866 case BFD_RELOC_PPC_GOT_DTPREL16_LO:
5867 case BFD_RELOC_PPC_GOT_DTPREL16_HI:
5868 case BFD_RELOC_PPC_GOT_DTPREL16_HA:
5869 case BFD_RELOC_PPC64_TPREL16_DS:
5870 case BFD_RELOC_PPC64_TPREL16_LO_DS:
5871 case BFD_RELOC_PPC64_TPREL16_HIGHER:
5872 case BFD_RELOC_PPC64_TPREL16_HIGHERA:
5873 case BFD_RELOC_PPC64_TPREL16_HIGHEST:
5874 case BFD_RELOC_PPC64_TPREL16_HIGHESTA:
5875 case BFD_RELOC_PPC64_DTPREL16_DS:
5876 case BFD_RELOC_PPC64_DTPREL16_LO_DS:
5877 case BFD_RELOC_PPC64_DTPREL16_HIGHER:
5878 case BFD_RELOC_PPC64_DTPREL16_HIGHERA:
5879 case BFD_RELOC_PPC64_DTPREL16_HIGHEST:
5880 case BFD_RELOC_PPC64_DTPREL16_HIGHESTA:
5883 /* Because SDA21 modifies the register field, the size is set to 4
5884 bytes, rather than 2, so offset it here appropriately. */
5885 case BFD_RELOC_PPC_EMB_SDA21:
5889 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where
5890 + ((target_big_endian) ? 2 : 0),
5897 /* This can occur if there is a bug in the input assembler, eg:
5898 ".byte <undefined_symbol> - ." */
5900 as_bad (_("Unable to handle reference to symbol %s"),
5901 S_GET_NAME (fixP->fx_addsy));
5903 as_bad (_("Unable to resolve expression"));
5907 md_number_to_chars (fixP->fx_frag->fr_literal + fixP->fx_where,
5911 case BFD_RELOC_24_PLT_PCREL:
5912 case BFD_RELOC_PPC_LOCAL24PC:
5913 if (!fixP->fx_pcrel && !fixP->fx_done)
5921 /* Fetch the instruction, insert the fully resolved operand
5922 value, and stuff the instruction back again. */
5923 where = fixP->fx_frag->fr_literal + fixP->fx_where;
5924 if (target_big_endian)
5925 insn = bfd_getb32 ((unsigned char *) where);
5927 insn = bfd_getl32 ((unsigned char *) where);
5928 if ((value & 3) != 0)
5929 as_bad_where (fixP->fx_file, fixP->fx_line,
5930 _("must branch to an address a multiple of 4"));
5931 if ((offsetT) value < -0x40000000
5932 || (offsetT) value >= 0x40000000)
5933 as_bad_where (fixP->fx_file, fixP->fx_line,
5934 _("@local or @plt branch destination is too far away, %ld bytes"),
5936 insn = insn | (value & 0x03fffffc);
5937 if (target_big_endian)
5938 bfd_putb32 ((bfd_vma) insn, (unsigned char *) where);
5940 bfd_putl32 ((bfd_vma) insn, (unsigned char *) where);
5944 case BFD_RELOC_VTABLE_INHERIT:
5947 && !S_IS_DEFINED (fixP->fx_addsy)
5948 && !S_IS_WEAK (fixP->fx_addsy))
5949 S_SET_WEAK (fixP->fx_addsy);
5952 case BFD_RELOC_VTABLE_ENTRY:
5957 /* Generated by reference to `sym@tocbase'. The sym is
5958 ignored by the linker. */
5959 case BFD_RELOC_PPC64_TOC:
5965 _("Gas failure, reloc value %d\n"), fixP->fx_r_type);
5972 fixP->fx_addnumber = value;
5974 if (fixP->fx_r_type != BFD_RELOC_PPC_TOC16)
5975 fixP->fx_addnumber = 0;
5979 fixP->fx_addnumber = 0;
5981 /* We want to use the offset within the data segment of the
5982 symbol, not the actual VMA of the symbol. */
5983 fixP->fx_addnumber =
5984 - bfd_get_section_vma (stdoutput, S_GET_SEGMENT (fixP->fx_addsy));
5990 /* Generate a reloc for a fixup. */
5993 tc_gen_reloc (seg, fixp)
5994 asection *seg ATTRIBUTE_UNUSED;
5999 reloc = (arelent *) xmalloc (sizeof (arelent));
6001 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
6002 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
6003 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
6004 reloc->howto = bfd_reloc_type_lookup (stdoutput, fixp->fx_r_type);
6005 if (reloc->howto == (reloc_howto_type *) NULL)
6007 as_bad_where (fixp->fx_file, fixp->fx_line,
6008 _("reloc %d not supported by object file format"),
6009 (int) fixp->fx_r_type);
6012 reloc->addend = fixp->fx_addnumber;
6018 ppc_cfi_frame_initial_instructions ()
6020 cfi_add_CFA_def_cfa (1, 0);
6024 tc_ppc_regname_to_dw2regnum (const char *regname)
6026 unsigned int regnum = -1;
6030 static struct { char *name; int dw2regnum; } regnames[] =
6032 { "sp", 1 }, { "r.sp", 1 }, { "rtoc", 2 }, { "r.toc", 2 },
6033 { "mq", 64 }, { "lr", 65 }, { "ctr", 66 }, { "ap", 67 },
6034 { "cc", 68 }, { "xer", 76 }, { "vrsave", 109 }, { "vscr", 110 },
6035 { "spe_acc", 111 }, { "spefscr", 112 }
6038 for (i = 0; i < ARRAY_SIZE (regnames); ++i)
6039 if (strcmp (regnames[i].name, regname) == 0)
6040 return regnames[i].dw2regnum;
6042 if (regname[0] == 'r' || regname[0] == 'f' || regname[0] == 'v')
6044 p = regname + 1 + (regname[1] == '.');
6045 regnum = strtoul (p, &q, 10);
6046 if (p == q || *q || regnum >= 32)
6048 if (regname[0] == 'f')
6050 else if (regname[0] == 'v')
6053 else if (regname[0] == 'c' && regname[1] == 'r')
6055 p = regname + 2 + (regname[2] == '.');
6056 if (p[0] < '0' || p[0] > '7' || p[1])
6058 regnum = p[0] - '0' + 68;