1 /* tc-ppc.c -- Assemble for the PowerPC or POWER (RS/6000)
2 Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003,
3 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
4 Written by Ian Lance Taylor, Cygnus Support.
6 This file is part of GAS, the GNU Assembler.
8 GAS is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 3, or (at your option)
13 GAS is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GAS; see the file COPYING. If not, write to the Free
20 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
24 #include "safe-ctype.h"
26 #include "dw2gencfi.h"
27 #include "opcode/ppc.h"
31 #include "dwarf2dbg.h"
38 /* This is the assembler for the PowerPC or POWER (RS/6000) chips. */
40 /* Tell the main code what the endianness is. */
41 extern int target_big_endian
;
43 /* Whether or not, we've set target_big_endian. */
44 static int set_target_endian
= 0;
46 /* Whether to use user friendly register names. */
47 #ifndef TARGET_REG_NAMES_P
49 #define TARGET_REG_NAMES_P TRUE
51 #define TARGET_REG_NAMES_P FALSE
55 /* Macros for calculating LO, HI, HA, HIGHER, HIGHERA, HIGHEST,
58 /* #lo(value) denotes the least significant 16 bits of the indicated. */
59 #define PPC_LO(v) ((v) & 0xffff)
61 /* #hi(value) denotes bits 16 through 31 of the indicated value. */
62 #define PPC_HI(v) (((v) >> 16) & 0xffff)
64 /* #ha(value) denotes the high adjusted value: bits 16 through 31 of
65 the indicated value, compensating for #lo() being treated as a
67 #define PPC_HA(v) PPC_HI ((v) + 0x8000)
69 /* #higher(value) denotes bits 32 through 47 of the indicated value. */
70 #define PPC_HIGHER(v) (((v) >> 16 >> 16) & 0xffff)
72 /* #highera(value) denotes bits 32 through 47 of the indicated value,
73 compensating for #lo() being treated as a signed number. */
74 #define PPC_HIGHERA(v) PPC_HIGHER ((v) + 0x8000)
76 /* #highest(value) denotes bits 48 through 63 of the indicated value. */
77 #define PPC_HIGHEST(v) (((v) >> 24 >> 24) & 0xffff)
79 /* #highesta(value) denotes bits 48 through 63 of the indicated value,
80 compensating for #lo being treated as a signed number. */
81 #define PPC_HIGHESTA(v) PPC_HIGHEST ((v) + 0x8000)
83 #define SEX16(val) ((((val) & 0xffff) ^ 0x8000) - 0x8000)
85 static bfd_boolean reg_names_p
= TARGET_REG_NAMES_P
;
87 static void ppc_macro (char *, const struct powerpc_macro
*);
88 static void ppc_byte (int);
90 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
91 static void ppc_tc (int);
92 static void ppc_machine (int);
96 static void ppc_comm (int);
97 static void ppc_bb (int);
98 static void ppc_bc (int);
99 static void ppc_bf (int);
100 static void ppc_biei (int);
101 static void ppc_bs (int);
102 static void ppc_eb (int);
103 static void ppc_ec (int);
104 static void ppc_ef (int);
105 static void ppc_es (int);
106 static void ppc_csect (int);
107 static void ppc_change_csect (symbolS
*, offsetT
);
108 static void ppc_function (int);
109 static void ppc_extern (int);
110 static void ppc_lglobl (int);
111 static void ppc_section (int);
112 static void ppc_named_section (int);
113 static void ppc_stabx (int);
114 static void ppc_rename (int);
115 static void ppc_toc (int);
116 static void ppc_xcoff_cons (int);
117 static void ppc_vbyte (int);
121 static void ppc_elf_cons (int);
122 static void ppc_elf_rdata (int);
123 static void ppc_elf_lcomm (int);
127 static void ppc_previous (int);
128 static void ppc_pdata (int);
129 static void ppc_ydata (int);
130 static void ppc_reldata (int);
131 static void ppc_rdata (int);
132 static void ppc_ualong (int);
133 static void ppc_znop (int);
134 static void ppc_pe_comm (int);
135 static void ppc_pe_section (int);
136 static void ppc_pe_function (int);
137 static void ppc_pe_tocd (int);
140 /* Generic assembler global variables which must be defined by all
144 /* This string holds the chars that always start a comment. If the
145 pre-processor is disabled, these aren't very useful. The macro
146 tc_comment_chars points to this. We use this, rather than the
147 usual comment_chars, so that we can switch for Solaris conventions. */
148 static const char ppc_solaris_comment_chars
[] = "#!";
149 static const char ppc_eabi_comment_chars
[] = "#";
151 #ifdef TARGET_SOLARIS_COMMENT
152 const char *ppc_comment_chars
= ppc_solaris_comment_chars
;
154 const char *ppc_comment_chars
= ppc_eabi_comment_chars
;
157 const char comment_chars
[] = "#";
160 /* Characters which start a comment at the beginning of a line. */
161 const char line_comment_chars
[] = "#";
163 /* Characters which may be used to separate multiple commands on a
165 const char line_separator_chars
[] = ";";
167 /* Characters which are used to indicate an exponent in a floating
169 const char EXP_CHARS
[] = "eE";
171 /* Characters which mean that a number is a floating point constant,
173 const char FLT_CHARS
[] = "dD";
175 /* Anything that can start an operand needs to be mentioned here,
176 to stop the input scrubber eating whitespace. */
177 const char ppc_symbol_chars
[] = "%[";
179 /* The dwarf2 data alignment, adjusted for 32 or 64 bit. */
180 int ppc_cie_data_alignment
;
182 /* The type of processor we are assembling for. This is one or more
183 of the PPC_OPCODE flags defined in opcode/ppc.h. */
184 ppc_cpu_t ppc_cpu
= 0;
186 /* The target specific pseudo-ops which we support. */
188 const pseudo_typeS md_pseudo_table
[] =
190 /* Pseudo-ops which must be overridden. */
191 { "byte", ppc_byte
, 0 },
194 /* Pseudo-ops specific to the RS/6000 XCOFF format. Some of these
195 legitimately belong in the obj-*.c file. However, XCOFF is based
196 on COFF, and is only implemented for the RS/6000. We just use
197 obj-coff.c, and add what we need here. */
198 { "comm", ppc_comm
, 0 },
199 { "lcomm", ppc_comm
, 1 },
203 { "bi", ppc_biei
, 0 },
205 { "csect", ppc_csect
, 0 },
206 { "data", ppc_section
, 'd' },
210 { "ei", ppc_biei
, 1 },
212 { "extern", ppc_extern
, 0 },
213 { "function", ppc_function
, 0 },
214 { "lglobl", ppc_lglobl
, 0 },
215 { "rename", ppc_rename
, 0 },
216 { "section", ppc_named_section
, 0 },
217 { "stabx", ppc_stabx
, 0 },
218 { "text", ppc_section
, 't' },
219 { "toc", ppc_toc
, 0 },
220 { "long", ppc_xcoff_cons
, 2 },
221 { "llong", ppc_xcoff_cons
, 3 },
222 { "word", ppc_xcoff_cons
, 1 },
223 { "short", ppc_xcoff_cons
, 1 },
224 { "vbyte", ppc_vbyte
, 0 },
228 { "llong", ppc_elf_cons
, 8 },
229 { "quad", ppc_elf_cons
, 8 },
230 { "long", ppc_elf_cons
, 4 },
231 { "word", ppc_elf_cons
, 2 },
232 { "short", ppc_elf_cons
, 2 },
233 { "rdata", ppc_elf_rdata
, 0 },
234 { "rodata", ppc_elf_rdata
, 0 },
235 { "lcomm", ppc_elf_lcomm
, 0 },
239 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
240 { "previous", ppc_previous
, 0 },
241 { "pdata", ppc_pdata
, 0 },
242 { "ydata", ppc_ydata
, 0 },
243 { "reldata", ppc_reldata
, 0 },
244 { "rdata", ppc_rdata
, 0 },
245 { "ualong", ppc_ualong
, 0 },
246 { "znop", ppc_znop
, 0 },
247 { "comm", ppc_pe_comm
, 0 },
248 { "lcomm", ppc_pe_comm
, 1 },
249 { "section", ppc_pe_section
, 0 },
250 { "function", ppc_pe_function
,0 },
251 { "tocd", ppc_pe_tocd
, 0 },
254 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
256 { "machine", ppc_machine
, 0 },
263 /* Predefined register names if -mregnames (or default for Windows NT).
264 In general, there are lots of them, in an attempt to be compatible
265 with a number of other Windows NT assemblers. */
267 /* Structure to hold information about predefined registers. */
274 /* List of registers that are pre-defined:
276 Each general register has predefined names of the form:
277 1. r<reg_num> which has the value <reg_num>.
278 2. r.<reg_num> which has the value <reg_num>.
280 Each floating point register has predefined names of the form:
281 1. f<reg_num> which has the value <reg_num>.
282 2. f.<reg_num> which has the value <reg_num>.
284 Each vector unit register has predefined names of the form:
285 1. v<reg_num> which has the value <reg_num>.
286 2. v.<reg_num> which has the value <reg_num>.
288 Each condition register has predefined names of the form:
289 1. cr<reg_num> which has the value <reg_num>.
290 2. cr.<reg_num> which has the value <reg_num>.
292 There are individual registers as well:
293 sp or r.sp has the value 1
294 rtoc or r.toc has the value 2
295 fpscr has the value 0
301 dsisr has the value 18
303 sdr1 has the value 25
304 srr0 has the value 26
305 srr1 has the value 27
307 The table is sorted. Suitable for searching by a binary search. */
309 static const struct pd_reg pre_defined_registers
[] =
311 { "cr.0", 0 }, /* Condition Registers */
331 { "dar", 19 }, /* Data Access Register */
332 { "dec", 22 }, /* Decrementer */
333 { "dsisr", 18 }, /* Data Storage Interrupt Status Register */
335 { "f.0", 0 }, /* Floating point registers */
403 /* Quantization registers used with pair single instructions. */
421 { "lr", 8 }, /* Link Register */
425 { "r.0", 0 }, /* General Purpose Registers */
458 { "r.sp", 1 }, /* Stack Pointer */
460 { "r.toc", 2 }, /* Pointer to the table of contents */
462 { "r0", 0 }, /* More general purpose registers */
495 { "rtoc", 2 }, /* Table of contents */
497 { "sdr1", 25 }, /* Storage Description Register 1 */
501 { "srr0", 26 }, /* Machine Status Save/Restore Register 0 */
502 { "srr1", 27 }, /* Machine Status Save/Restore Register 1 */
504 { "v.0", 0 }, /* Vector registers */
574 #define REG_NAME_CNT (sizeof (pre_defined_registers) / sizeof (struct pd_reg))
576 /* Given NAME, find the register number associated with that name, return
577 the integer value associated with the given name or -1 on failure. */
580 reg_name_search (const struct pd_reg
*regs
, int regcount
, const char *name
)
582 int middle
, low
, high
;
590 middle
= (low
+ high
) / 2;
591 cmp
= strcasecmp (name
, regs
[middle
].name
);
597 return regs
[middle
].value
;
605 * Summary of register_name.
607 * in: Input_line_pointer points to 1st char of operand.
609 * out: A expressionS.
610 * The operand may have been a register: in this case, X_op == O_register,
611 * X_add_number is set to the register number, and truth is returned.
612 * Input_line_pointer->(next non-blank) char after operand, or is in its
617 register_name (expressionS
*expressionP
)
624 /* Find the spelling of the operand. */
625 start
= name
= input_line_pointer
;
626 if (name
[0] == '%' && ISALPHA (name
[1]))
627 name
= ++input_line_pointer
;
629 else if (!reg_names_p
|| !ISALPHA (name
[0]))
632 c
= get_symbol_end ();
633 reg_number
= reg_name_search (pre_defined_registers
, REG_NAME_CNT
, name
);
635 /* Put back the delimiting char. */
636 *input_line_pointer
= c
;
638 /* Look to see if it's in the register table. */
641 expressionP
->X_op
= O_register
;
642 expressionP
->X_add_number
= reg_number
;
644 /* Make the rest nice. */
645 expressionP
->X_add_symbol
= NULL
;
646 expressionP
->X_op_symbol
= NULL
;
650 /* Reset the line as if we had not done anything. */
651 input_line_pointer
= start
;
655 /* This function is called for each symbol seen in an expression. It
656 handles the special parsing which PowerPC assemblers are supposed
657 to use for condition codes. */
659 /* Whether to do the special parsing. */
660 static bfd_boolean cr_operand
;
662 /* Names to recognize in a condition code. This table is sorted. */
663 static const struct pd_reg cr_names
[] =
680 /* Parsing function. This returns non-zero if it recognized an
684 ppc_parse_name (const char *name
, expressionS
*expr
)
693 val
= reg_name_search (cr_names
, sizeof cr_names
/ sizeof cr_names
[0],
698 expr
->X_op
= O_constant
;
699 expr
->X_add_number
= val
;
704 /* Local variables. */
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 ppc_cpu_t retain_flags
=
829 ppc_cpu
& (PPC_OPCODE_ALTIVEC
| PPC_OPCODE_VSX
| PPC_OPCODE_SPE
);
831 /* -mpwrx and -mpwr2 mean to assemble for the IBM POWER/2
833 if (strcmp (arg
, "pwrx") == 0 || strcmp (arg
, "pwr2") == 0)
834 ppc_cpu
= PPC_OPCODE_POWER
| PPC_OPCODE_POWER2
| PPC_OPCODE_32
;
835 /* -mpwr means to assemble for the IBM POWER (RIOS1). */
836 else if (strcmp (arg
, "pwr") == 0)
837 ppc_cpu
= PPC_OPCODE_POWER
| PPC_OPCODE_32
;
838 /* -m601 means to assemble for the PowerPC 601, which includes
839 instructions that are holdovers from the Power. */
840 else if (strcmp (arg
, "601") == 0)
841 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
842 | PPC_OPCODE_601
| PPC_OPCODE_32
);
843 /* -mppc, -mppc32, -m603, and -m604 mean to assemble for the
845 else if (strcmp (arg
, "ppc") == 0
846 || strcmp (arg
, "ppc32") == 0
847 || strcmp (arg
, "603") == 0
848 || strcmp (arg
, "604") == 0)
849 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
| PPC_OPCODE_32
;
850 /* Do all PPC750s have paired single ops? */
851 else if (strcmp (arg
, "750cl") == 0)
852 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_PPCPS
;
853 else if (strcmp (arg
, "403") == 0)
854 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
855 | PPC_OPCODE_403
| PPC_OPCODE_32
);
856 else if (strcmp (arg
, "405") == 0)
857 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
858 | PPC_OPCODE_403
| PPC_OPCODE_405
| PPC_OPCODE_32
);
859 else if (strcmp (arg
, "440") == 0
860 || strcmp (arg
, "464") == 0)
861 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_BOOKE
| PPC_OPCODE_32
862 | PPC_OPCODE_440
| PPC_OPCODE_ISEL
| PPC_OPCODE_RFMCI
);
863 else if (strcmp (arg
, "7400") == 0
864 || strcmp (arg
, "7410") == 0
865 || strcmp (arg
, "7450") == 0
866 || strcmp (arg
, "7455") == 0)
867 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
868 | PPC_OPCODE_ALTIVEC
| PPC_OPCODE_32
);
869 else if (strcmp (arg
, "e300") == 0)
870 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
| PPC_OPCODE_32
872 else if (strcmp (arg
, "altivec") == 0)
875 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
;
877 retain_flags
|= PPC_OPCODE_ALTIVEC
;
879 else if (strcmp (arg
, "vsx") == 0)
882 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
;
884 retain_flags
|= PPC_OPCODE_VSX
;
886 else if (strcmp (arg
, "e500") == 0 || strcmp (arg
, "e500x2") == 0)
888 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_BOOKE
| PPC_OPCODE_SPE
889 | PPC_OPCODE_ISEL
| PPC_OPCODE_EFS
| PPC_OPCODE_BRLOCK
890 | PPC_OPCODE_PMR
| PPC_OPCODE_CACHELCK
891 | PPC_OPCODE_RFMCI
| PPC_OPCODE_E500MC
);
893 else if (strcmp (arg
, "e500mc") == 0)
895 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_BOOKE
| PPC_OPCODE_ISEL
896 | PPC_OPCODE_PMR
| PPC_OPCODE_CACHELCK
897 | PPC_OPCODE_RFMCI
| PPC_OPCODE_E500MC
);
899 else if (strcmp (arg
, "spe") == 0)
902 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_EFS
;
904 retain_flags
|= PPC_OPCODE_SPE
;
906 /* -mppc64 and -m620 mean to assemble for the 64-bit PowerPC
908 else if (strcmp (arg
, "ppc64") == 0 || strcmp (arg
, "620") == 0)
910 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
| PPC_OPCODE_64
;
912 else if (strcmp (arg
, "ppc64bridge") == 0)
914 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
915 | PPC_OPCODE_64_BRIDGE
| PPC_OPCODE_64
);
917 /* -mbooke/-mbooke32 mean enable 32-bit BookE support. */
918 else if (strcmp (arg
, "booke") == 0 || strcmp (arg
, "booke32") == 0)
920 ppc_cpu
= PPC_OPCODE_PPC
| PPC_OPCODE_BOOKE
| PPC_OPCODE_32
;
922 /* -mbooke64 means enable 64-bit BookE support. */
923 else if (strcmp (arg
, "booke64") == 0)
925 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_BOOKE
926 | PPC_OPCODE_BOOKE64
| PPC_OPCODE_64
);
928 else if (strcmp (arg
, "power4") == 0)
930 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
931 | PPC_OPCODE_64
| PPC_OPCODE_POWER4
);
933 else if (strcmp (arg
, "power5") == 0)
935 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
936 | PPC_OPCODE_64
| PPC_OPCODE_POWER4
937 | PPC_OPCODE_POWER5
);
939 else if (strcmp (arg
, "power6") == 0)
941 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
942 | PPC_OPCODE_64
| PPC_OPCODE_POWER4
943 | PPC_OPCODE_POWER5
| PPC_OPCODE_POWER6
944 | PPC_OPCODE_ALTIVEC
);
946 else if (strcmp (arg
, "power7") == 0)
948 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
949 | PPC_OPCODE_64
| PPC_OPCODE_POWER4
950 | PPC_OPCODE_POWER5
| PPC_OPCODE_POWER6
951 | PPC_OPCODE_ALTIVEC
| PPC_OPCODE_VSX
);
953 else if (strcmp (arg
, "cell") == 0)
955 ppc_cpu
= (PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
956 | PPC_OPCODE_64
| PPC_OPCODE_POWER4
957 | PPC_OPCODE_CELL
| PPC_OPCODE_ALTIVEC
);
959 /* -mcom means assemble for the common intersection between Power
960 and PowerPC. At present, we just allow the union, rather
961 than the intersection. */
962 else if (strcmp (arg
, "com") == 0)
963 ppc_cpu
= PPC_OPCODE_COMMON
| PPC_OPCODE_32
;
964 /* -many means to assemble for any architecture (PWR/PWRX/PPC). */
965 else if (strcmp (arg
, "any") == 0)
966 ppc_cpu
|= PPC_OPCODE_ANY
;
970 /* Make sure the the Altivec, VSX and SPE bits are not lost. */
971 ppc_cpu
|= retain_flags
;
976 md_parse_option (int c
, char *arg
)
981 /* -u means that any undefined symbols should be treated as
982 external, which is the default for gas anyhow. */
987 /* Solaris as takes -le (presumably for little endian). For completeness
988 sake, recognize -be also. */
989 if (strcmp (arg
, "e") == 0)
991 target_big_endian
= 0;
992 set_target_endian
= 1;
1000 if (strcmp (arg
, "e") == 0)
1002 target_big_endian
= 1;
1003 set_target_endian
= 1;
1011 /* Recognize -K PIC. */
1012 if (strcmp (arg
, "PIC") == 0 || strcmp (arg
, "pic") == 0)
1015 ppc_flags
|= EF_PPC_RELOCATABLE_LIB
;
1023 /* a64 and a32 determine whether to use XCOFF64 or XCOFF32. */
1025 if (strcmp (arg
, "64") == 0)
1030 as_fatal (_("%s unsupported"), "-a64");
1033 else if (strcmp (arg
, "32") == 0)
1040 if (parse_cpu (arg
))
1043 else if (strcmp (arg
, "regnames") == 0)
1046 else if (strcmp (arg
, "no-regnames") == 0)
1047 reg_names_p
= FALSE
;
1050 /* -mrelocatable/-mrelocatable-lib -- warn about initializations
1051 that require relocation. */
1052 else if (strcmp (arg
, "relocatable") == 0)
1054 shlib
= SHLIB_MRELOCATABLE
;
1055 ppc_flags
|= EF_PPC_RELOCATABLE
;
1058 else if (strcmp (arg
, "relocatable-lib") == 0)
1060 shlib
= SHLIB_MRELOCATABLE
;
1061 ppc_flags
|= EF_PPC_RELOCATABLE_LIB
;
1064 /* -memb, set embedded bit. */
1065 else if (strcmp (arg
, "emb") == 0)
1066 ppc_flags
|= EF_PPC_EMB
;
1068 /* -mlittle/-mbig set the endianess. */
1069 else if (strcmp (arg
, "little") == 0
1070 || strcmp (arg
, "little-endian") == 0)
1072 target_big_endian
= 0;
1073 set_target_endian
= 1;
1076 else if (strcmp (arg
, "big") == 0 || strcmp (arg
, "big-endian") == 0)
1078 target_big_endian
= 1;
1079 set_target_endian
= 1;
1082 else if (strcmp (arg
, "solaris") == 0)
1085 ppc_comment_chars
= ppc_solaris_comment_chars
;
1088 else if (strcmp (arg
, "no-solaris") == 0)
1091 ppc_comment_chars
= ppc_eabi_comment_chars
;
1096 as_bad (_("invalid switch -m%s"), arg
);
1102 /* -V: SVR4 argument to print version ID. */
1104 print_version_id ();
1107 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
1108 should be emitted or not. FIXME: Not implemented. */
1112 /* Solaris takes -s to specify that .stabs go in a .stabs section,
1113 rather than .stabs.excl, which is ignored by the linker.
1114 FIXME: Not implemented. */
1130 md_show_usage (FILE *stream
)
1132 fprintf (stream
, _("\
1134 -a32 generate ELF32/XCOFF32\n\
1135 -a64 generate ELF64/XCOFF64\n\
1137 -mpwrx, -mpwr2 generate code for POWER/2 (RIOS2)\n\
1138 -mpwr generate code for POWER (RIOS1)\n\
1139 -m601 generate code for PowerPC 601\n\
1140 -mppc, -mppc32, -m603, -m604\n\
1141 generate code for PowerPC 603/604\n\
1142 -m403 generate code for PowerPC 403\n\
1143 -m405 generate code for PowerPC 405\n\
1144 -m440 generate code for PowerPC 440\n\
1145 -m464 generate code for PowerPC 464\n\
1146 -m7400, -m7410, -m7450, -m7455\n\
1147 generate code for PowerPC 7400/7410/7450/7455\n\
1148 -m750cl generate code for PowerPC 750cl\n"));
1149 fprintf (stream
, _("\
1150 -mppc64, -m620 generate code for PowerPC 620/625/630\n\
1151 -mppc64bridge generate code for PowerPC 64, including bridge insns\n\
1152 -mbooke64 generate code for 64-bit PowerPC BookE\n\
1153 -mbooke, mbooke32 generate code for 32-bit PowerPC BookE\n\
1154 -mpower4 generate code for Power4 architecture\n\
1155 -mpower5 generate code for Power5 architecture\n\
1156 -mpower6 generate code for Power6 architecture\n\
1157 -mpower7 generate code for Power7 architecture\n\
1158 -mcell generate code for Cell Broadband Engine architecture\n\
1159 -mcom generate code Power/PowerPC common instructions\n\
1160 -many generate code for any architecture (PWR/PWRX/PPC)\n"));
1161 fprintf (stream
, _("\
1162 -maltivec generate code for AltiVec\n\
1163 -mvsx generate code for Vector-Scalar (VSX) instructions\n\
1164 -me300 generate code for PowerPC e300 family\n\
1165 -me500, -me500x2 generate code for Motorola e500 core complex\n\
1166 -me500mc, generate code for Freescale e500mc core complex\n\
1167 -mspe generate code for Motorola SPE instructions\n\
1168 -mregnames Allow symbolic names for registers\n\
1169 -mno-regnames Do not allow symbolic names for registers\n"));
1171 fprintf (stream
, _("\
1172 -mrelocatable support for GCC's -mrelocatble option\n\
1173 -mrelocatable-lib support for GCC's -mrelocatble-lib option\n\
1174 -memb set PPC_EMB bit in ELF flags\n\
1175 -mlittle, -mlittle-endian, -l, -le\n\
1176 generate code for a little endian machine\n\
1177 -mbig, -mbig-endian, -b, -be\n\
1178 generate code for a big endian machine\n\
1179 -msolaris generate code for Solaris\n\
1180 -mno-solaris do not generate code for Solaris\n\
1181 -V print assembler version number\n\
1182 -Qy, -Qn ignored\n"));
1186 /* Set ppc_cpu if it is not already set. */
1191 const char *default_os
= TARGET_OS
;
1192 const char *default_cpu
= TARGET_CPU
;
1194 if ((ppc_cpu
& ~PPC_OPCODE_ANY
) == 0)
1197 ppc_cpu
|= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
| PPC_OPCODE_64
;
1198 else if (strncmp (default_os
, "aix", 3) == 0
1199 && default_os
[3] >= '4' && default_os
[3] <= '9')
1200 ppc_cpu
|= PPC_OPCODE_COMMON
| PPC_OPCODE_32
;
1201 else if (strncmp (default_os
, "aix3", 4) == 0)
1202 ppc_cpu
|= PPC_OPCODE_POWER
| PPC_OPCODE_32
;
1203 else if (strcmp (default_cpu
, "rs6000") == 0)
1204 ppc_cpu
|= PPC_OPCODE_POWER
| PPC_OPCODE_32
;
1205 else if (strncmp (default_cpu
, "powerpc", 7) == 0)
1206 ppc_cpu
|= PPC_OPCODE_PPC
| PPC_OPCODE_CLASSIC
| PPC_OPCODE_32
;
1208 as_fatal (_("Unknown default cpu = %s, os = %s"),
1209 default_cpu
, default_os
);
1213 /* Figure out the BFD architecture to use. This function and ppc_mach
1214 are called well before md_begin, when the output file is opened. */
1216 enum bfd_architecture
1219 const char *default_cpu
= TARGET_CPU
;
1222 if ((ppc_cpu
& PPC_OPCODE_PPC
) != 0)
1223 return bfd_arch_powerpc
;
1224 else if ((ppc_cpu
& PPC_OPCODE_POWER
) != 0)
1225 return bfd_arch_rs6000
;
1226 else if ((ppc_cpu
& (PPC_OPCODE_COMMON
| PPC_OPCODE_ANY
)) != 0)
1228 if (strcmp (default_cpu
, "rs6000") == 0)
1229 return bfd_arch_rs6000
;
1230 else if (strncmp (default_cpu
, "powerpc", 7) == 0)
1231 return bfd_arch_powerpc
;
1234 as_fatal (_("Neither Power nor PowerPC opcodes were selected."));
1235 return bfd_arch_unknown
;
1242 return bfd_mach_ppc64
;
1243 else if (ppc_arch () == bfd_arch_rs6000
)
1244 return bfd_mach_rs6k
;
1246 return bfd_mach_ppc
;
1250 ppc_target_format (void)
1254 return target_big_endian
? "pe-powerpc" : "pe-powerpcle";
1256 return "xcoff-powermac";
1259 return (ppc_obj64
? "aix5coff64-rs6000" : "aixcoff-rs6000");
1261 return (ppc_obj64
? "aixcoff64-rs6000" : "aixcoff-rs6000");
1267 return "elf32-powerpc-vxworks";
1269 return (target_big_endian
1270 ? (ppc_obj64
? "elf64-powerpc" : "elf32-powerpc")
1271 : (ppc_obj64
? "elf64-powerpcle" : "elf32-powerpcle"));
1276 /* Insert opcodes and macros into hash tables. Called at startup and
1280 ppc_setup_opcodes (void)
1282 const struct powerpc_opcode
*op
;
1283 const struct powerpc_opcode
*op_end
;
1284 const struct powerpc_macro
*macro
;
1285 const struct powerpc_macro
*macro_end
;
1286 bfd_boolean bad_insn
= FALSE
;
1288 if (ppc_hash
!= NULL
)
1289 hash_die (ppc_hash
);
1290 if (ppc_macro_hash
!= NULL
)
1291 hash_die (ppc_macro_hash
);
1293 /* Insert the opcodes into a hash table. */
1294 ppc_hash
= hash_new ();
1296 if (ENABLE_CHECKING
)
1300 /* Check operand masks. Code here and in the disassembler assumes
1301 all the 1's in the mask are contiguous. */
1302 for (i
= 0; i
< num_powerpc_operands
; ++i
)
1304 unsigned long mask
= powerpc_operands
[i
].bitm
;
1305 unsigned long right_bit
;
1308 right_bit
= mask
& -mask
;
1310 right_bit
= mask
& -mask
;
1311 if (mask
!= right_bit
)
1313 as_bad (_("powerpc_operands[%d].bitm invalid"), i
);
1316 for (j
= i
+ 1; j
< num_powerpc_operands
; ++j
)
1317 if (memcmp (&powerpc_operands
[i
], &powerpc_operands
[j
],
1318 sizeof (powerpc_operands
[0])) == 0)
1320 as_bad (_("powerpc_operands[%d] duplicates powerpc_operands[%d]"),
1327 op_end
= powerpc_opcodes
+ powerpc_num_opcodes
;
1328 for (op
= powerpc_opcodes
; op
< op_end
; op
++)
1330 if (ENABLE_CHECKING
)
1332 const unsigned char *o
;
1333 unsigned long omask
= op
->mask
;
1335 if (op
!= powerpc_opcodes
)
1337 /* The major opcodes had better be sorted. Code in the
1338 disassembler assumes the insns are sorted according to
1340 if (PPC_OP (op
[0].opcode
) < PPC_OP (op
[-1].opcode
))
1342 as_bad (_("major opcode is not sorted for %s"),
1347 /* Warn if the table isn't more strictly ordered.
1348 Unfortunately it doesn't seem possible to order the
1349 table on much more than the major opcode, which makes
1350 it difficult to implement a binary search in the
1351 disassembler. The problem is that we have multiple
1352 ways to disassemble instructions, and we usually want
1353 to choose a more specific form (with more bits set in
1354 the opcode) than a more general form. eg. all of the
1355 following are equivalent:
1356 bne label # opcode = 0x40820000, mask = 0xff830003
1357 bf 2,label # opcode = 0x40800000, mask = 0xff800003
1358 bc 4,2,label # opcode = 0x40000000, mask = 0xfc000003
1360 There are also cases where the table needs to be out
1361 of order to disassemble the correct instruction for
1362 processor variants. eg. "lhae" booke64 insn must be
1363 found before "ld" ppc64 insn. */
1366 unsigned long t1
= op
[0].opcode
;
1367 unsigned long t2
= op
[-1].opcode
;
1369 if (((t1
^ t2
) & 0xfc0007ff) == 0
1370 && (t1
& 0xfc0006df) == 0x7c000286)
1372 /* spr field is split. */
1373 t1
= ((t1
& ~0x1ff800)
1374 | ((t1
& 0xf800) << 5) | ((t1
& 0x1f0000) >> 5));
1375 t2
= ((t2
& ~0x1ff800)
1376 | ((t2
& 0xf800) << 5) | ((t2
& 0x1f0000) >> 5));
1379 as_warn (_("%s (%08lx %08lx) after %s (%08lx %08lx)"),
1380 op
[0].name
, op
[0].opcode
, op
[0].mask
,
1381 op
[-1].name
, op
[-1].opcode
, op
[-1].mask
);
1385 /* The mask had better not trim off opcode bits. */
1386 if ((op
->opcode
& omask
) != op
->opcode
)
1388 as_bad (_("mask trims opcode bits for %s"),
1393 /* The operands must not overlap the opcode or each other. */
1394 for (o
= op
->operands
; *o
; ++o
)
1395 if (*o
>= num_powerpc_operands
)
1397 as_bad (_("operand index error for %s"),
1403 const struct powerpc_operand
*operand
= &powerpc_operands
[*o
];
1404 if (operand
->shift
>= 0)
1406 unsigned long mask
= operand
->bitm
<< operand
->shift
;
1409 as_bad (_("operand %d overlap in %s"),
1410 (int) (o
- op
->operands
), op
->name
);
1418 if ((op
->flags
& ppc_cpu
& ~(PPC_OPCODE_32
| PPC_OPCODE_64
)) != 0
1419 && ((op
->flags
& (PPC_OPCODE_32
| PPC_OPCODE_64
)) == 0
1420 || ((op
->flags
& (PPC_OPCODE_32
| PPC_OPCODE_64
))
1421 == (ppc_cpu
& (PPC_OPCODE_32
| PPC_OPCODE_64
)))
1422 || (ppc_cpu
& PPC_OPCODE_64_BRIDGE
) != 0)
1423 /* Certain instructions (eg: extsw) do not exist in the
1424 32-bit BookE instruction set, but they do exist in the
1425 64-bit BookE instruction set, and other PPC instruction
1426 sets. Check to see if the opcode has the BOOKE64 flag set.
1427 If it does make sure that the target CPU is not the BookE32. */
1428 && ((op
->flags
& PPC_OPCODE_BOOKE64
) == 0
1429 || (ppc_cpu
& PPC_OPCODE_BOOKE64
) == PPC_OPCODE_BOOKE64
1430 || (ppc_cpu
& PPC_OPCODE_BOOKE
) == 0)
1431 && ((op
->flags
& (PPC_OPCODE_POWER4
| PPC_OPCODE_NOPOWER4
)) == 0
1432 || ((op
->flags
& PPC_OPCODE_POWER4
)
1433 == (ppc_cpu
& PPC_OPCODE_POWER4
)))
1434 && ((op
->flags
& PPC_OPCODE_POWER5
) == 0
1435 || ((op
->flags
& PPC_OPCODE_POWER5
)
1436 == (ppc_cpu
& PPC_OPCODE_POWER5
)))
1437 && ((op
->flags
& PPC_OPCODE_POWER6
) == 0
1438 || ((op
->flags
& PPC_OPCODE_POWER6
)
1439 == (ppc_cpu
& PPC_OPCODE_POWER6
))))
1443 retval
= hash_insert (ppc_hash
, op
->name
, (void *) op
);
1446 /* Ignore Power duplicates for -m601. */
1447 if ((ppc_cpu
& PPC_OPCODE_601
) != 0
1448 && (op
->flags
& PPC_OPCODE_POWER
) != 0)
1451 as_bad (_("duplicate instruction %s"),
1458 if ((ppc_cpu
& PPC_OPCODE_ANY
) != 0)
1459 for (op
= powerpc_opcodes
; op
< op_end
; op
++)
1460 hash_insert (ppc_hash
, op
->name
, (void *) op
);
1462 /* Insert the macros into a hash table. */
1463 ppc_macro_hash
= hash_new ();
1465 macro_end
= powerpc_macros
+ powerpc_num_macros
;
1466 for (macro
= powerpc_macros
; macro
< macro_end
; macro
++)
1468 if ((macro
->flags
& ppc_cpu
) != 0)
1472 retval
= hash_insert (ppc_macro_hash
, macro
->name
, (void *) macro
);
1473 if (retval
!= (const char *) NULL
)
1475 as_bad (_("duplicate macro %s"), macro
->name
);
1485 /* This function is called when the assembler starts up. It is called
1486 after the options have been parsed and the output file has been
1494 ppc_cie_data_alignment
= ppc_obj64
? -8 : -4;
1497 /* Set the ELF flags if desired. */
1498 if (ppc_flags
&& !msolaris
)
1499 bfd_set_private_flags (stdoutput
, ppc_flags
);
1502 ppc_setup_opcodes ();
1504 /* Tell the main code what the endianness is if it is not overridden
1506 if (!set_target_endian
)
1508 set_target_endian
= 1;
1509 target_big_endian
= PPC_BIG_ENDIAN
;
1513 ppc_coff_debug_section
= coff_section_from_bfd_index (stdoutput
, N_DEBUG
);
1515 /* Create dummy symbols to serve as initial csects. This forces the
1516 text csects to precede the data csects. These symbols will not
1518 ppc_text_csects
= symbol_make ("dummy\001");
1519 symbol_get_tc (ppc_text_csects
)->within
= ppc_text_csects
;
1520 ppc_data_csects
= symbol_make ("dummy\001");
1521 symbol_get_tc (ppc_data_csects
)->within
= ppc_data_csects
;
1526 ppc_current_section
= text_section
;
1527 ppc_previous_section
= 0;
1536 if (ppc_apuinfo_list
== NULL
)
1539 /* Ok, so write the section info out. We have this layout:
1543 0 8 length of "APUinfo\0"
1544 4 (n*4) number of APU's (4 bytes each)
1547 20 APU#1 first APU's info
1548 24 APU#2 second APU's info
1553 asection
*seg
= now_seg
;
1554 subsegT subseg
= now_subseg
;
1555 asection
*apuinfo_secp
= (asection
*) NULL
;
1558 /* Create the .PPC.EMB.apuinfo section. */
1559 apuinfo_secp
= subseg_new (".PPC.EMB.apuinfo", 0);
1560 bfd_set_section_flags (stdoutput
,
1562 SEC_HAS_CONTENTS
| SEC_READONLY
);
1565 md_number_to_chars (p
, (valueT
) 8, 4);
1568 md_number_to_chars (p
, (valueT
) ppc_apuinfo_num
* 4, 4);
1571 md_number_to_chars (p
, (valueT
) 2, 4);
1574 strcpy (p
, "APUinfo");
1576 for (i
= 0; i
< ppc_apuinfo_num
; i
++)
1579 md_number_to_chars (p
, (valueT
) ppc_apuinfo_list
[i
], 4);
1582 frag_align (2, 0, 0);
1584 /* We probably can't restore the current segment, for there likely
1587 subseg_set (seg
, subseg
);
1592 /* Insert an operand value into an instruction. */
1594 static unsigned long
1595 ppc_insert_operand (unsigned long insn
,
1596 const struct powerpc_operand
*operand
,
1602 long min
, max
, right
;
1604 max
= operand
->bitm
;
1608 if ((operand
->flags
& PPC_OPERAND_SIGNED
) != 0)
1610 if ((operand
->flags
& PPC_OPERAND_SIGNOPT
) == 0)
1611 max
= (max
>> 1) & -right
;
1612 min
= ~max
& -right
;
1615 if ((operand
->flags
& PPC_OPERAND_PLUS1
) != 0)
1618 if ((operand
->flags
& PPC_OPERAND_NEGATIVE
) != 0)
1627 /* Some people write constants with the sign extension done by
1628 hand but only up to 32 bits. This shouldn't really be valid,
1629 but, to permit this code to assemble on a 64-bit host, we
1630 sign extend the 32-bit value to 64 bits if so doing makes the
1633 && (offsetT
) (val
- 0x80000000 - 0x80000000) >= min
1634 && (offsetT
) (val
- 0x80000000 - 0x80000000) <= max
1635 && ((val
- 0x80000000 - 0x80000000) & (right
- 1)) == 0)
1636 val
= val
- 0x80000000 - 0x80000000;
1638 /* Similarly, people write expressions like ~(1<<15), and expect
1639 this to be OK for a 32-bit unsigned value. */
1641 && (offsetT
) (val
+ 0x80000000 + 0x80000000) >= min
1642 && (offsetT
) (val
+ 0x80000000 + 0x80000000) <= max
1643 && ((val
+ 0x80000000 + 0x80000000) & (right
- 1)) == 0)
1644 val
= val
+ 0x80000000 + 0x80000000;
1648 || (val
& (right
- 1)) != 0)
1649 as_bad_value_out_of_range (_("operand"), val
, min
, max
, file
, line
);
1652 if (operand
->insert
)
1657 insn
= (*operand
->insert
) (insn
, (long) val
, ppc_cpu
, &errmsg
);
1658 if (errmsg
!= (const char *) NULL
)
1659 as_bad_where (file
, line
, errmsg
);
1662 insn
|= ((long) val
& operand
->bitm
) << operand
->shift
;
1669 /* Parse @got, etc. and return the desired relocation. */
1670 static bfd_reloc_code_real_type
1671 ppc_elf_suffix (char **str_p
, expressionS
*exp_p
)
1675 unsigned int length
: 8;
1676 unsigned int valid32
: 1;
1677 unsigned int valid64
: 1;
1686 const struct map_bfd
*ptr
;
1688 #define MAP(str, reloc) { str, sizeof (str) - 1, 1, 1, reloc }
1689 #define MAP32(str, reloc) { str, sizeof (str) - 1, 1, 0, reloc }
1690 #define MAP64(str, reloc) { str, sizeof (str) - 1, 0, 1, reloc }
1692 static const struct map_bfd mapping
[] = {
1693 MAP ("l", BFD_RELOC_LO16
),
1694 MAP ("h", BFD_RELOC_HI16
),
1695 MAP ("ha", BFD_RELOC_HI16_S
),
1696 MAP ("brtaken", BFD_RELOC_PPC_B16_BRTAKEN
),
1697 MAP ("brntaken", BFD_RELOC_PPC_B16_BRNTAKEN
),
1698 MAP ("got", BFD_RELOC_16_GOTOFF
),
1699 MAP ("got@l", BFD_RELOC_LO16_GOTOFF
),
1700 MAP ("got@h", BFD_RELOC_HI16_GOTOFF
),
1701 MAP ("got@ha", BFD_RELOC_HI16_S_GOTOFF
),
1702 MAP ("plt@l", BFD_RELOC_LO16_PLTOFF
),
1703 MAP ("plt@h", BFD_RELOC_HI16_PLTOFF
),
1704 MAP ("plt@ha", BFD_RELOC_HI16_S_PLTOFF
),
1705 MAP ("copy", BFD_RELOC_PPC_COPY
),
1706 MAP ("globdat", BFD_RELOC_PPC_GLOB_DAT
),
1707 MAP ("sectoff", BFD_RELOC_16_BASEREL
),
1708 MAP ("sectoff@l", BFD_RELOC_LO16_BASEREL
),
1709 MAP ("sectoff@h", BFD_RELOC_HI16_BASEREL
),
1710 MAP ("sectoff@ha", BFD_RELOC_HI16_S_BASEREL
),
1711 MAP ("tls", BFD_RELOC_PPC_TLS
),
1712 MAP ("dtpmod", BFD_RELOC_PPC_DTPMOD
),
1713 MAP ("dtprel", BFD_RELOC_PPC_DTPREL
),
1714 MAP ("dtprel@l", BFD_RELOC_PPC_DTPREL16_LO
),
1715 MAP ("dtprel@h", BFD_RELOC_PPC_DTPREL16_HI
),
1716 MAP ("dtprel@ha", BFD_RELOC_PPC_DTPREL16_HA
),
1717 MAP ("tprel", BFD_RELOC_PPC_TPREL
),
1718 MAP ("tprel@l", BFD_RELOC_PPC_TPREL16_LO
),
1719 MAP ("tprel@h", BFD_RELOC_PPC_TPREL16_HI
),
1720 MAP ("tprel@ha", BFD_RELOC_PPC_TPREL16_HA
),
1721 MAP ("got@tlsgd", BFD_RELOC_PPC_GOT_TLSGD16
),
1722 MAP ("got@tlsgd@l", BFD_RELOC_PPC_GOT_TLSGD16_LO
),
1723 MAP ("got@tlsgd@h", BFD_RELOC_PPC_GOT_TLSGD16_HI
),
1724 MAP ("got@tlsgd@ha", BFD_RELOC_PPC_GOT_TLSGD16_HA
),
1725 MAP ("got@tlsld", BFD_RELOC_PPC_GOT_TLSLD16
),
1726 MAP ("got@tlsld@l", BFD_RELOC_PPC_GOT_TLSLD16_LO
),
1727 MAP ("got@tlsld@h", BFD_RELOC_PPC_GOT_TLSLD16_HI
),
1728 MAP ("got@tlsld@ha", BFD_RELOC_PPC_GOT_TLSLD16_HA
),
1729 MAP ("got@dtprel", BFD_RELOC_PPC_GOT_DTPREL16
),
1730 MAP ("got@dtprel@l", BFD_RELOC_PPC_GOT_DTPREL16_LO
),
1731 MAP ("got@dtprel@h", BFD_RELOC_PPC_GOT_DTPREL16_HI
),
1732 MAP ("got@dtprel@ha", BFD_RELOC_PPC_GOT_DTPREL16_HA
),
1733 MAP ("got@tprel", BFD_RELOC_PPC_GOT_TPREL16
),
1734 MAP ("got@tprel@l", BFD_RELOC_PPC_GOT_TPREL16_LO
),
1735 MAP ("got@tprel@h", BFD_RELOC_PPC_GOT_TPREL16_HI
),
1736 MAP ("got@tprel@ha", BFD_RELOC_PPC_GOT_TPREL16_HA
),
1737 MAP32 ("fixup", BFD_RELOC_CTOR
),
1738 MAP32 ("plt", BFD_RELOC_24_PLT_PCREL
),
1739 MAP32 ("pltrel24", BFD_RELOC_24_PLT_PCREL
),
1740 MAP32 ("local24pc", BFD_RELOC_PPC_LOCAL24PC
),
1741 MAP32 ("local", BFD_RELOC_PPC_LOCAL24PC
),
1742 MAP32 ("pltrel", BFD_RELOC_32_PLT_PCREL
),
1743 MAP32 ("sdarel", BFD_RELOC_GPREL16
),
1744 MAP32 ("naddr", BFD_RELOC_PPC_EMB_NADDR32
),
1745 MAP32 ("naddr16", BFD_RELOC_PPC_EMB_NADDR16
),
1746 MAP32 ("naddr@l", BFD_RELOC_PPC_EMB_NADDR16_LO
),
1747 MAP32 ("naddr@h", BFD_RELOC_PPC_EMB_NADDR16_HI
),
1748 MAP32 ("naddr@ha", BFD_RELOC_PPC_EMB_NADDR16_HA
),
1749 MAP32 ("sdai16", BFD_RELOC_PPC_EMB_SDAI16
),
1750 MAP32 ("sda2rel", BFD_RELOC_PPC_EMB_SDA2REL
),
1751 MAP32 ("sda2i16", BFD_RELOC_PPC_EMB_SDA2I16
),
1752 MAP32 ("sda21", BFD_RELOC_PPC_EMB_SDA21
),
1753 MAP32 ("mrkref", BFD_RELOC_PPC_EMB_MRKREF
),
1754 MAP32 ("relsect", BFD_RELOC_PPC_EMB_RELSEC16
),
1755 MAP32 ("relsect@l", BFD_RELOC_PPC_EMB_RELST_LO
),
1756 MAP32 ("relsect@h", BFD_RELOC_PPC_EMB_RELST_HI
),
1757 MAP32 ("relsect@ha", BFD_RELOC_PPC_EMB_RELST_HA
),
1758 MAP32 ("bitfld", BFD_RELOC_PPC_EMB_BIT_FLD
),
1759 MAP32 ("relsda", BFD_RELOC_PPC_EMB_RELSDA
),
1760 MAP32 ("xgot", BFD_RELOC_PPC_TOC16
),
1761 MAP64 ("higher", BFD_RELOC_PPC64_HIGHER
),
1762 MAP64 ("highera", BFD_RELOC_PPC64_HIGHER_S
),
1763 MAP64 ("highest", BFD_RELOC_PPC64_HIGHEST
),
1764 MAP64 ("highesta", BFD_RELOC_PPC64_HIGHEST_S
),
1765 MAP64 ("tocbase", BFD_RELOC_PPC64_TOC
),
1766 MAP64 ("toc", BFD_RELOC_PPC_TOC16
),
1767 MAP64 ("toc@l", BFD_RELOC_PPC64_TOC16_LO
),
1768 MAP64 ("toc@h", BFD_RELOC_PPC64_TOC16_HI
),
1769 MAP64 ("toc@ha", BFD_RELOC_PPC64_TOC16_HA
),
1770 MAP64 ("dtprel@higher", BFD_RELOC_PPC64_DTPREL16_HIGHER
),
1771 MAP64 ("dtprel@highera", BFD_RELOC_PPC64_DTPREL16_HIGHERA
),
1772 MAP64 ("dtprel@highest", BFD_RELOC_PPC64_DTPREL16_HIGHEST
),
1773 MAP64 ("dtprel@highesta", BFD_RELOC_PPC64_DTPREL16_HIGHESTA
),
1774 MAP64 ("tprel@higher", BFD_RELOC_PPC64_TPREL16_HIGHER
),
1775 MAP64 ("tprel@highera", BFD_RELOC_PPC64_TPREL16_HIGHERA
),
1776 MAP64 ("tprel@highest", BFD_RELOC_PPC64_TPREL16_HIGHEST
),
1777 MAP64 ("tprel@highesta", BFD_RELOC_PPC64_TPREL16_HIGHESTA
),
1778 { (char *) 0, 0, 0, 0, BFD_RELOC_UNUSED
}
1782 return BFD_RELOC_UNUSED
;
1784 for (ch
= *str
, str2
= ident
;
1785 (str2
< ident
+ sizeof (ident
) - 1
1786 && (ISALNUM (ch
) || ch
== '@'));
1789 *str2
++ = TOLOWER (ch
);
1796 for (ptr
= &mapping
[0]; ptr
->length
> 0; ptr
++)
1797 if (ch
== ptr
->string
[0]
1798 && len
== ptr
->length
1799 && memcmp (ident
, ptr
->string
, ptr
->length
) == 0
1800 && (ppc_obj64
? ptr
->valid64
: ptr
->valid32
))
1802 int reloc
= ptr
->reloc
;
1805 if (exp_p
->X_add_number
!= 0
1806 && (reloc
== (int) BFD_RELOC_16_GOTOFF
1807 || reloc
== (int) BFD_RELOC_LO16_GOTOFF
1808 || reloc
== (int) BFD_RELOC_HI16_GOTOFF
1809 || reloc
== (int) BFD_RELOC_HI16_S_GOTOFF
))
1810 as_warn (_("identifier+constant@got means identifier@got+constant"));
1812 /* Now check for identifier@suffix+constant. */
1813 if (*str
== '-' || *str
== '+')
1815 char *orig_line
= input_line_pointer
;
1816 expressionS new_exp
;
1818 input_line_pointer
= str
;
1819 expression (&new_exp
);
1820 if (new_exp
.X_op
== O_constant
)
1822 exp_p
->X_add_number
+= new_exp
.X_add_number
;
1823 str
= input_line_pointer
;
1826 if (&input_line_pointer
!= str_p
)
1827 input_line_pointer
= orig_line
;
1831 if (reloc
== (int) BFD_RELOC_PPC64_TOC
1832 && exp_p
->X_op
== O_symbol
1833 && strcmp (S_GET_NAME (exp_p
->X_add_symbol
), ".TOC.") == 0)
1835 /* Change the symbol so that the dummy .TOC. symbol can be
1836 omitted from the object file. */
1837 exp_p
->X_add_symbol
= &abs_symbol
;
1840 return (bfd_reloc_code_real_type
) reloc
;
1843 return BFD_RELOC_UNUSED
;
1846 /* Like normal .long/.short/.word, except support @got, etc.
1847 Clobbers input_line_pointer, checks end-of-line. */
1849 ppc_elf_cons (int nbytes
/* 1=.byte, 2=.word, 4=.long, 8=.llong */)
1852 bfd_reloc_code_real_type reloc
;
1854 if (is_it_end_of_statement ())
1856 demand_empty_rest_of_line ();
1863 if (exp
.X_op
== O_symbol
1864 && *input_line_pointer
== '@'
1865 && (reloc
= ppc_elf_suffix (&input_line_pointer
,
1866 &exp
)) != BFD_RELOC_UNUSED
)
1868 reloc_howto_type
*reloc_howto
;
1871 reloc_howto
= bfd_reloc_type_lookup (stdoutput
, reloc
);
1872 size
= bfd_get_reloc_size (reloc_howto
);
1876 as_bad (_("%s relocations do not fit in %d bytes\n"),
1877 reloc_howto
->name
, nbytes
);
1884 p
= frag_more (nbytes
);
1886 if (target_big_endian
)
1887 offset
= nbytes
- size
;
1888 fix_new_exp (frag_now
, p
- frag_now
->fr_literal
+ offset
, size
,
1893 emit_expr (&exp
, (unsigned int) nbytes
);
1895 while (*input_line_pointer
++ == ',');
1897 /* Put terminator back into stream. */
1898 input_line_pointer
--;
1899 demand_empty_rest_of_line ();
1902 /* Solaris pseduo op to change to the .rodata section. */
1904 ppc_elf_rdata (int xxx
)
1906 char *save_line
= input_line_pointer
;
1907 static char section
[] = ".rodata\n";
1909 /* Just pretend this is .section .rodata */
1910 input_line_pointer
= section
;
1911 obj_elf_section (xxx
);
1913 input_line_pointer
= save_line
;
1916 /* Pseudo op to make file scope bss items. */
1918 ppc_elf_lcomm (int xxx ATTRIBUTE_UNUSED
)
1931 name
= input_line_pointer
;
1932 c
= get_symbol_end ();
1934 /* just after name is now '\0'. */
1935 p
= input_line_pointer
;
1938 if (*input_line_pointer
!= ',')
1940 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
1941 ignore_rest_of_line ();
1945 input_line_pointer
++; /* skip ',' */
1946 if ((size
= get_absolute_expression ()) < 0)
1948 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) size
);
1949 ignore_rest_of_line ();
1953 /* The third argument to .lcomm is the alignment. */
1954 if (*input_line_pointer
!= ',')
1958 ++input_line_pointer
;
1959 align
= get_absolute_expression ();
1962 as_warn (_("ignoring bad alignment"));
1968 symbolP
= symbol_find_or_make (name
);
1971 if (S_IS_DEFINED (symbolP
) && ! S_IS_COMMON (symbolP
))
1973 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
1974 S_GET_NAME (symbolP
));
1975 ignore_rest_of_line ();
1979 if (S_GET_VALUE (symbolP
) && S_GET_VALUE (symbolP
) != (valueT
) size
)
1981 as_bad (_("Length of .lcomm \"%s\" is already %ld. Not changed to %ld."),
1982 S_GET_NAME (symbolP
),
1983 (long) S_GET_VALUE (symbolP
),
1986 ignore_rest_of_line ();
1992 old_subsec
= now_subseg
;
1995 /* Convert to a power of 2 alignment. */
1996 for (align2
= 0; (align
& 1) == 0; align
>>= 1, ++align2
);
1999 as_bad (_("Common alignment not a power of 2"));
2000 ignore_rest_of_line ();
2007 record_alignment (bss_section
, align2
);
2008 subseg_set (bss_section
, 0);
2010 frag_align (align2
, 0, 0);
2011 if (S_GET_SEGMENT (symbolP
) == bss_section
)
2012 symbol_get_frag (symbolP
)->fr_symbol
= 0;
2013 symbol_set_frag (symbolP
, frag_now
);
2014 pfrag
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, symbolP
, size
,
2017 S_SET_SIZE (symbolP
, size
);
2018 S_SET_SEGMENT (symbolP
, bss_section
);
2019 subseg_set (old_sec
, old_subsec
);
2020 demand_empty_rest_of_line ();
2023 /* Validate any relocations emitted for -mrelocatable, possibly adding
2024 fixups for word relocations in writable segments, so we can adjust
2027 ppc_elf_validate_fix (fixS
*fixp
, segT seg
)
2029 if (fixp
->fx_done
|| fixp
->fx_pcrel
)
2038 case SHLIB_MRELOCATABLE
:
2039 if (fixp
->fx_r_type
<= BFD_RELOC_UNUSED
2040 && fixp
->fx_r_type
!= BFD_RELOC_16_GOTOFF
2041 && fixp
->fx_r_type
!= BFD_RELOC_HI16_GOTOFF
2042 && fixp
->fx_r_type
!= BFD_RELOC_LO16_GOTOFF
2043 && fixp
->fx_r_type
!= BFD_RELOC_HI16_S_GOTOFF
2044 && fixp
->fx_r_type
!= BFD_RELOC_16_BASEREL
2045 && fixp
->fx_r_type
!= BFD_RELOC_LO16_BASEREL
2046 && fixp
->fx_r_type
!= BFD_RELOC_HI16_BASEREL
2047 && fixp
->fx_r_type
!= BFD_RELOC_HI16_S_BASEREL
2048 && (seg
->flags
& SEC_LOAD
) != 0
2049 && strcmp (segment_name (seg
), ".got2") != 0
2050 && strcmp (segment_name (seg
), ".dtors") != 0
2051 && strcmp (segment_name (seg
), ".ctors") != 0
2052 && strcmp (segment_name (seg
), ".fixup") != 0
2053 && strcmp (segment_name (seg
), ".gcc_except_table") != 0
2054 && strcmp (segment_name (seg
), ".eh_frame") != 0
2055 && strcmp (segment_name (seg
), ".ex_shared") != 0)
2057 if ((seg
->flags
& (SEC_READONLY
| SEC_CODE
)) != 0
2058 || fixp
->fx_r_type
!= BFD_RELOC_CTOR
)
2060 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
2061 _("Relocation cannot be done when using -mrelocatable"));
2068 /* Prevent elf_frob_file_before_adjust removing a weak undefined
2069 function descriptor sym if the corresponding code sym is used. */
2072 ppc_frob_file_before_adjust (void)
2080 for (symp
= symbol_rootP
; symp
; symp
= symbol_next (symp
))
2087 name
= S_GET_NAME (symp
);
2091 if (! S_IS_WEAK (symp
)
2092 || S_IS_DEFINED (symp
))
2095 len
= strlen (name
) + 1;
2096 dotname
= xmalloc (len
+ 1);
2098 memcpy (dotname
+ 1, name
, len
);
2099 dotsym
= symbol_find_noref (dotname
, 1);
2101 if (dotsym
!= NULL
&& (symbol_used_p (dotsym
)
2102 || symbol_used_in_reloc_p (dotsym
)))
2103 symbol_mark_used (symp
);
2107 toc
= bfd_get_section_by_name (stdoutput
, ".toc");
2109 && bfd_section_size (stdoutput
, toc
) > 0x10000)
2110 as_warn (_("TOC section size exceeds 64k"));
2112 /* Don't emit .TOC. symbol. */
2113 symp
= symbol_find (".TOC.");
2115 symbol_remove (symp
, &symbol_rootP
, &symbol_lastP
);
2117 #endif /* OBJ_ELF */
2122 * Summary of parse_toc_entry.
2124 * in: Input_line_pointer points to the '[' in one of:
2126 * [toc] [tocv] [toc32] [toc64]
2128 * Anything else is an error of one kind or another.
2131 * return value: success or failure
2132 * toc_kind: kind of toc reference
2133 * input_line_pointer:
2134 * success: first char after the ']'
2135 * failure: unchanged
2139 * [toc] - rv == success, toc_kind = default_toc
2140 * [tocv] - rv == success, toc_kind = data_in_toc
2141 * [toc32] - rv == success, toc_kind = must_be_32
2142 * [toc64] - rv == success, toc_kind = must_be_64
2146 enum toc_size_qualifier
2148 default_toc
, /* The toc cell constructed should be the system default size */
2149 data_in_toc
, /* This is a direct reference to a toc cell */
2150 must_be_32
, /* The toc cell constructed must be 32 bits wide */
2151 must_be_64
/* The toc cell constructed must be 64 bits wide */
2155 parse_toc_entry (enum toc_size_qualifier
*toc_kind
)
2160 enum toc_size_qualifier t
;
2162 /* Save the input_line_pointer. */
2163 start
= input_line_pointer
;
2165 /* Skip over the '[' , and whitespace. */
2166 ++input_line_pointer
;
2169 /* Find the spelling of the operand. */
2170 toc_spec
= input_line_pointer
;
2171 c
= get_symbol_end ();
2173 if (strcmp (toc_spec
, "toc") == 0)
2177 else if (strcmp (toc_spec
, "tocv") == 0)
2181 else if (strcmp (toc_spec
, "toc32") == 0)
2185 else if (strcmp (toc_spec
, "toc64") == 0)
2191 as_bad (_("syntax error: invalid toc specifier `%s'"), toc_spec
);
2192 *input_line_pointer
= c
;
2193 input_line_pointer
= start
;
2197 /* Now find the ']'. */
2198 *input_line_pointer
= c
;
2200 SKIP_WHITESPACE (); /* leading whitespace could be there. */
2201 c
= *input_line_pointer
++; /* input_line_pointer->past char in c. */
2205 as_bad (_("syntax error: expected `]', found `%c'"), c
);
2206 input_line_pointer
= start
;
2217 #define APUID(a,v) ((((a) & 0xffff) << 16) | ((v) & 0xffff))
2219 ppc_apuinfo_section_add (unsigned int apu
, unsigned int version
)
2223 /* Check we don't already exist. */
2224 for (i
= 0; i
< ppc_apuinfo_num
; i
++)
2225 if (ppc_apuinfo_list
[i
] == APUID (apu
, version
))
2228 if (ppc_apuinfo_num
== ppc_apuinfo_num_alloc
)
2230 if (ppc_apuinfo_num_alloc
== 0)
2232 ppc_apuinfo_num_alloc
= 4;
2233 ppc_apuinfo_list
= (unsigned long *)
2234 xmalloc (sizeof (unsigned long) * ppc_apuinfo_num_alloc
);
2238 ppc_apuinfo_num_alloc
+= 4;
2239 ppc_apuinfo_list
= (unsigned long *) xrealloc (ppc_apuinfo_list
,
2240 sizeof (unsigned long) * ppc_apuinfo_num_alloc
);
2243 ppc_apuinfo_list
[ppc_apuinfo_num
++] = APUID (apu
, version
);
2249 /* We need to keep a list of fixups. We can't simply generate them as
2250 we go, because that would require us to first create the frag, and
2251 that would screw up references to ``.''. */
2257 bfd_reloc_code_real_type reloc
;
2260 #define MAX_INSN_FIXUPS (5)
2262 /* This routine is called for each instruction to be assembled. */
2265 md_assemble (char *str
)
2268 const struct powerpc_opcode
*opcode
;
2270 const unsigned char *opindex_ptr
;
2274 struct ppc_fixup fixups
[MAX_INSN_FIXUPS
];
2280 bfd_reloc_code_real_type reloc
;
2283 /* Get the opcode. */
2284 for (s
= str
; *s
!= '\0' && ! ISSPACE (*s
); s
++)
2289 /* Look up the opcode in the hash table. */
2290 opcode
= (const struct powerpc_opcode
*) hash_find (ppc_hash
, str
);
2291 if (opcode
== (const struct powerpc_opcode
*) NULL
)
2293 const struct powerpc_macro
*macro
;
2295 macro
= (const struct powerpc_macro
*) hash_find (ppc_macro_hash
, str
);
2296 if (macro
== (const struct powerpc_macro
*) NULL
)
2297 as_bad (_("Unrecognized opcode: `%s'"), str
);
2299 ppc_macro (s
, macro
);
2304 insn
= opcode
->opcode
;
2307 while (ISSPACE (*str
))
2310 /* PowerPC operands are just expressions. The only real issue is
2311 that a few operand types are optional. All cases which might use
2312 an optional operand separate the operands only with commas (in some
2313 cases parentheses are used, as in ``lwz 1,0(1)'' but such cases never
2314 have optional operands). Most instructions with optional operands
2315 have only one. Those that have more than one optional operand can
2316 take either all their operands or none. So, before we start seriously
2317 parsing the operands, we check to see if we have optional operands,
2318 and if we do, we count the number of commas to see which operands
2319 have been omitted. */
2321 for (opindex_ptr
= opcode
->operands
; *opindex_ptr
!= 0; opindex_ptr
++)
2323 const struct powerpc_operand
*operand
;
2325 operand
= &powerpc_operands
[*opindex_ptr
];
2326 if ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0)
2328 unsigned int opcount
;
2329 unsigned int num_operands_expected
;
2332 /* There is an optional operand. Count the number of
2333 commas in the input line. */
2340 while ((s
= strchr (s
, ',')) != (char *) NULL
)
2347 /* Compute the number of expected operands.
2348 Do not count fake operands. */
2349 for (num_operands_expected
= 0, i
= 0; opcode
->operands
[i
]; i
++)
2350 if ((powerpc_operands
[opcode
->operands
[i
]].flags
& PPC_OPERAND_FAKE
) == 0)
2351 ++ num_operands_expected
;
2353 /* If there are fewer operands in the line then are called
2354 for by the instruction, we want to skip the optional
2356 if (opcount
< num_operands_expected
)
2363 /* Gather the operands. */
2367 for (opindex_ptr
= opcode
->operands
; *opindex_ptr
!= 0; opindex_ptr
++)
2369 const struct powerpc_operand
*operand
;
2375 if (next_opindex
== 0)
2376 operand
= &powerpc_operands
[*opindex_ptr
];
2379 operand
= &powerpc_operands
[next_opindex
];
2384 /* If this is a fake operand, then we do not expect anything
2386 if ((operand
->flags
& PPC_OPERAND_FAKE
) != 0)
2388 insn
= (*operand
->insert
) (insn
, 0L, ppc_cpu
, &errmsg
);
2389 if (errmsg
!= (const char *) NULL
)
2394 /* If this is an optional operand, and we are skipping it, just
2396 if ((operand
->flags
& PPC_OPERAND_OPTIONAL
) != 0
2399 if (operand
->insert
)
2401 insn
= (*operand
->insert
) (insn
, 0L, ppc_cpu
, &errmsg
);
2402 if (errmsg
!= (const char *) NULL
)
2405 if ((operand
->flags
& PPC_OPERAND_NEXT
) != 0)
2406 next_opindex
= *opindex_ptr
+ 1;
2410 /* Gather the operand. */
2411 hold
= input_line_pointer
;
2412 input_line_pointer
= str
;
2415 if (*input_line_pointer
== '[')
2417 /* We are expecting something like the second argument here:
2419 * lwz r4,[toc].GS.0.static_int(rtoc)
2420 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^
2421 * The argument following the `]' must be a symbol name, and the
2422 * register must be the toc register: 'rtoc' or '2'
2424 * The effect is to 0 as the displacement field
2425 * in the instruction, and issue an IMAGE_REL_PPC_TOCREL16 (or
2426 * the appropriate variation) reloc against it based on the symbol.
2427 * The linker will build the toc, and insert the resolved toc offset.
2430 * o The size of the toc entry is currently assumed to be
2431 * 32 bits. This should not be assumed to be a hard coded
2433 * o In an effort to cope with a change from 32 to 64 bits,
2434 * there are also toc entries that are specified to be
2435 * either 32 or 64 bits:
2436 * lwz r4,[toc32].GS.0.static_int(rtoc)
2437 * lwz r4,[toc64].GS.0.static_int(rtoc)
2438 * These demand toc entries of the specified size, and the
2439 * instruction probably requires it.
2443 enum toc_size_qualifier toc_kind
;
2444 bfd_reloc_code_real_type toc_reloc
;
2446 /* Go parse off the [tocXX] part. */
2447 valid_toc
= parse_toc_entry (&toc_kind
);
2451 /* Note: message has already been issued.
2452 FIXME: what sort of recovery should we do?
2453 demand_rest_of_line (); return; ? */
2456 /* Now get the symbol following the ']'. */
2462 /* In this case, we may not have seen the symbol yet,
2463 since it is allowed to appear on a .extern or .globl
2464 or just be a label in the .data section. */
2465 toc_reloc
= BFD_RELOC_PPC_TOC16
;
2468 /* 1. The symbol must be defined and either in the toc
2469 section, or a global.
2470 2. The reloc generated must have the TOCDEFN flag set
2471 in upper bit mess of the reloc type.
2472 FIXME: It's a little confusing what the tocv
2473 qualifier can be used for. At the very least, I've
2474 seen three uses, only one of which I'm sure I can
2476 if (ex
.X_op
== O_symbol
)
2478 assert (ex
.X_add_symbol
!= NULL
);
2479 if (symbol_get_bfdsym (ex
.X_add_symbol
)->section
2482 as_bad (_("[tocv] symbol is not a toc symbol"));
2486 toc_reloc
= BFD_RELOC_PPC_TOC16
;
2489 /* FIXME: these next two specifically specify 32/64 bit
2490 toc entries. We don't support them today. Is this
2491 the right way to say that? */
2492 toc_reloc
= BFD_RELOC_UNUSED
;
2493 as_bad (_("Unimplemented toc32 expression modifier"));
2496 /* FIXME: see above. */
2497 toc_reloc
= BFD_RELOC_UNUSED
;
2498 as_bad (_("Unimplemented toc64 expression modifier"));
2502 _("Unexpected return value [%d] from parse_toc_entry!\n"),
2508 /* We need to generate a fixup for this expression. */
2509 if (fc
>= MAX_INSN_FIXUPS
)
2510 as_fatal (_("too many fixups"));
2512 fixups
[fc
].reloc
= toc_reloc
;
2513 fixups
[fc
].exp
= ex
;
2514 fixups
[fc
].opindex
= *opindex_ptr
;
2517 /* Ok. We've set up the fixup for the instruction. Now make it
2518 look like the constant 0 was found here. */
2520 ex
.X_op
= O_constant
;
2521 ex
.X_add_number
= 0;
2522 ex
.X_add_symbol
= NULL
;
2523 ex
.X_op_symbol
= NULL
;
2529 if ((reg_names_p
&& (operand
->flags
& PPC_OPERAND_CR
) != 0)
2530 || !register_name (&ex
))
2532 char save_lex
= lex_type
['%'];
2534 if ((operand
->flags
& PPC_OPERAND_CR
) != 0)
2537 lex_type
['%'] |= LEX_BEGIN_NAME
;
2541 lex_type
['%'] = save_lex
;
2545 str
= input_line_pointer
;
2546 input_line_pointer
= hold
;
2548 if (ex
.X_op
== O_illegal
)
2549 as_bad (_("illegal operand"));
2550 else if (ex
.X_op
== O_absent
)
2551 as_bad (_("missing operand"));
2552 else if (ex
.X_op
== O_register
)
2554 insn
= ppc_insert_operand (insn
, operand
, ex
.X_add_number
,
2555 ppc_cpu
, (char *) NULL
, 0);
2557 else if (ex
.X_op
== O_constant
)
2560 /* Allow @HA, @L, @H on constants. */
2561 char *orig_str
= str
;
2563 if ((reloc
= ppc_elf_suffix (&str
, &ex
)) != BFD_RELOC_UNUSED
)
2570 case BFD_RELOC_LO16
:
2571 /* X_unsigned is the default, so if the user has done
2572 something which cleared it, we always produce a
2574 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2575 ex
.X_add_number
&= 0xffff;
2577 ex
.X_add_number
= SEX16 (ex
.X_add_number
);
2580 case BFD_RELOC_HI16
:
2581 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2582 ex
.X_add_number
= PPC_HI (ex
.X_add_number
);
2584 ex
.X_add_number
= SEX16 (PPC_HI (ex
.X_add_number
));
2587 case BFD_RELOC_HI16_S
:
2588 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2589 ex
.X_add_number
= PPC_HA (ex
.X_add_number
);
2591 ex
.X_add_number
= SEX16 (PPC_HA (ex
.X_add_number
));
2594 case BFD_RELOC_PPC64_HIGHER
:
2595 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2596 ex
.X_add_number
= PPC_HIGHER (ex
.X_add_number
);
2598 ex
.X_add_number
= SEX16 (PPC_HIGHER (ex
.X_add_number
));
2601 case BFD_RELOC_PPC64_HIGHER_S
:
2602 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2603 ex
.X_add_number
= PPC_HIGHERA (ex
.X_add_number
);
2605 ex
.X_add_number
= SEX16 (PPC_HIGHERA (ex
.X_add_number
));
2608 case BFD_RELOC_PPC64_HIGHEST
:
2609 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2610 ex
.X_add_number
= PPC_HIGHEST (ex
.X_add_number
);
2612 ex
.X_add_number
= SEX16 (PPC_HIGHEST (ex
.X_add_number
));
2615 case BFD_RELOC_PPC64_HIGHEST_S
:
2616 if (ex
.X_unsigned
&& ! (operand
->flags
& PPC_OPERAND_SIGNED
))
2617 ex
.X_add_number
= PPC_HIGHESTA (ex
.X_add_number
);
2619 ex
.X_add_number
= SEX16 (PPC_HIGHESTA (ex
.X_add_number
));
2622 #endif /* OBJ_ELF */
2623 insn
= ppc_insert_operand (insn
, operand
, ex
.X_add_number
,
2624 ppc_cpu
, (char *) NULL
, 0);
2627 else if ((reloc
= ppc_elf_suffix (&str
, &ex
)) != BFD_RELOC_UNUSED
)
2629 /* Some TLS tweaks. */
2634 case BFD_RELOC_PPC_TLS
:
2635 insn
= ppc_insert_operand (insn
, operand
, ppc_obj64
? 13 : 2,
2636 ppc_cpu
, (char *) NULL
, 0);
2638 /* We'll only use the 32 (or 64) bit form of these relocations
2639 in constants. Instructions get the 16 bit form. */
2640 case BFD_RELOC_PPC_DTPREL
:
2641 reloc
= BFD_RELOC_PPC_DTPREL16
;
2643 case BFD_RELOC_PPC_TPREL
:
2644 reloc
= BFD_RELOC_PPC_TPREL16
;
2648 /* For the absolute forms of branches, convert the PC
2649 relative form back into the absolute. */
2650 if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0)
2654 case BFD_RELOC_PPC_B26
:
2655 reloc
= BFD_RELOC_PPC_BA26
;
2657 case BFD_RELOC_PPC_B16
:
2658 reloc
= BFD_RELOC_PPC_BA16
;
2660 case BFD_RELOC_PPC_B16_BRTAKEN
:
2661 reloc
= BFD_RELOC_PPC_BA16_BRTAKEN
;
2663 case BFD_RELOC_PPC_B16_BRNTAKEN
:
2664 reloc
= BFD_RELOC_PPC_BA16_BRNTAKEN
;
2672 && (operand
->flags
& (PPC_OPERAND_DS
| PPC_OPERAND_DQ
)) != 0)
2677 reloc
= BFD_RELOC_PPC64_ADDR16_DS
;
2679 case BFD_RELOC_LO16
:
2680 reloc
= BFD_RELOC_PPC64_ADDR16_LO_DS
;
2682 case BFD_RELOC_16_GOTOFF
:
2683 reloc
= BFD_RELOC_PPC64_GOT16_DS
;
2685 case BFD_RELOC_LO16_GOTOFF
:
2686 reloc
= BFD_RELOC_PPC64_GOT16_LO_DS
;
2688 case BFD_RELOC_LO16_PLTOFF
:
2689 reloc
= BFD_RELOC_PPC64_PLT16_LO_DS
;
2691 case BFD_RELOC_16_BASEREL
:
2692 reloc
= BFD_RELOC_PPC64_SECTOFF_DS
;
2694 case BFD_RELOC_LO16_BASEREL
:
2695 reloc
= BFD_RELOC_PPC64_SECTOFF_LO_DS
;
2697 case BFD_RELOC_PPC_TOC16
:
2698 reloc
= BFD_RELOC_PPC64_TOC16_DS
;
2700 case BFD_RELOC_PPC64_TOC16_LO
:
2701 reloc
= BFD_RELOC_PPC64_TOC16_LO_DS
;
2703 case BFD_RELOC_PPC64_PLTGOT16
:
2704 reloc
= BFD_RELOC_PPC64_PLTGOT16_DS
;
2706 case BFD_RELOC_PPC64_PLTGOT16_LO
:
2707 reloc
= BFD_RELOC_PPC64_PLTGOT16_LO_DS
;
2709 case BFD_RELOC_PPC_DTPREL16
:
2710 reloc
= BFD_RELOC_PPC64_DTPREL16_DS
;
2712 case BFD_RELOC_PPC_DTPREL16_LO
:
2713 reloc
= BFD_RELOC_PPC64_DTPREL16_LO_DS
;
2715 case BFD_RELOC_PPC_TPREL16
:
2716 reloc
= BFD_RELOC_PPC64_TPREL16_DS
;
2718 case BFD_RELOC_PPC_TPREL16_LO
:
2719 reloc
= BFD_RELOC_PPC64_TPREL16_LO_DS
;
2721 case BFD_RELOC_PPC_GOT_DTPREL16
:
2722 case BFD_RELOC_PPC_GOT_DTPREL16_LO
:
2723 case BFD_RELOC_PPC_GOT_TPREL16
:
2724 case BFD_RELOC_PPC_GOT_TPREL16_LO
:
2727 as_bad (_("unsupported relocation for DS offset field"));
2732 /* We need to generate a fixup for this expression. */
2733 if (fc
>= MAX_INSN_FIXUPS
)
2734 as_fatal (_("too many fixups"));
2735 fixups
[fc
].exp
= ex
;
2736 fixups
[fc
].opindex
= 0;
2737 fixups
[fc
].reloc
= reloc
;
2740 #endif /* OBJ_ELF */
2744 /* We need to generate a fixup for this expression. */
2745 if (fc
>= MAX_INSN_FIXUPS
)
2746 as_fatal (_("too many fixups"));
2747 fixups
[fc
].exp
= ex
;
2748 fixups
[fc
].opindex
= *opindex_ptr
;
2749 fixups
[fc
].reloc
= BFD_RELOC_UNUSED
;
2757 /* If expecting more operands, then we want to see "),". */
2758 if (*str
== endc
&& opindex_ptr
[1] != 0)
2762 while (ISSPACE (*str
));
2766 else if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0)
2774 /* The call to expression should have advanced str past any
2777 && (endc
!= ',' || *str
!= '\0'))
2779 as_bad (_("syntax error; found `%c' but expected `%c'"), *str
, endc
);
2787 while (ISSPACE (*str
))
2791 as_bad (_("junk at end of line: `%s'"), str
);
2794 /* Do we need/want a APUinfo section? */
2795 if (ppc_cpu
& (PPC_OPCODE_SPE
2796 | PPC_OPCODE_ISEL
| PPC_OPCODE_EFS
2797 | PPC_OPCODE_BRLOCK
| PPC_OPCODE_PMR
| PPC_OPCODE_CACHELCK
2798 | PPC_OPCODE_RFMCI
))
2800 /* These are all version "1". */
2801 if (opcode
->flags
& PPC_OPCODE_SPE
)
2802 ppc_apuinfo_section_add (PPC_APUINFO_SPE
, 1);
2803 if (opcode
->flags
& PPC_OPCODE_ISEL
)
2804 ppc_apuinfo_section_add (PPC_APUINFO_ISEL
, 1);
2805 if (opcode
->flags
& PPC_OPCODE_EFS
)
2806 ppc_apuinfo_section_add (PPC_APUINFO_EFS
, 1);
2807 if (opcode
->flags
& PPC_OPCODE_BRLOCK
)
2808 ppc_apuinfo_section_add (PPC_APUINFO_BRLOCK
, 1);
2809 if (opcode
->flags
& PPC_OPCODE_PMR
)
2810 ppc_apuinfo_section_add (PPC_APUINFO_PMR
, 1);
2811 if (opcode
->flags
& PPC_OPCODE_CACHELCK
)
2812 ppc_apuinfo_section_add (PPC_APUINFO_CACHELCK
, 1);
2813 if (opcode
->flags
& PPC_OPCODE_RFMCI
)
2814 ppc_apuinfo_section_add (PPC_APUINFO_RFMCI
, 1);
2818 /* Write out the instruction. */
2820 addr_mod
= frag_now_fix () & 3;
2821 if (frag_now
->has_code
&& frag_now
->insn_addr
!= addr_mod
)
2822 as_bad (_("instruction address is not a multiple of 4"));
2823 frag_now
->insn_addr
= addr_mod
;
2824 frag_now
->has_code
= 1;
2825 md_number_to_chars (f
, insn
, 4);
2828 dwarf2_emit_insn (4);
2831 /* Create any fixups. At this point we do not use a
2832 bfd_reloc_code_real_type, but instead just use the
2833 BFD_RELOC_UNUSED plus the operand index. This lets us easily
2834 handle fixups for any operand type, although that is admittedly
2835 not a very exciting feature. We pick a BFD reloc type in
2837 for (i
= 0; i
< fc
; i
++)
2839 const struct powerpc_operand
*operand
;
2841 operand
= &powerpc_operands
[fixups
[i
].opindex
];
2842 if (fixups
[i
].reloc
!= BFD_RELOC_UNUSED
)
2844 reloc_howto_type
*reloc_howto
;
2849 reloc_howto
= bfd_reloc_type_lookup (stdoutput
, fixups
[i
].reloc
);
2853 size
= bfd_get_reloc_size (reloc_howto
);
2854 offset
= target_big_endian
? (4 - size
) : 0;
2856 if (size
< 1 || size
> 4)
2859 fixP
= fix_new_exp (frag_now
,
2860 f
- frag_now
->fr_literal
+ offset
,
2863 reloc_howto
->pc_relative
,
2866 /* Turn off complaints that the addend is too large for things like
2868 switch (fixups
[i
].reloc
)
2870 case BFD_RELOC_16_GOTOFF
:
2871 case BFD_RELOC_PPC_TOC16
:
2872 case BFD_RELOC_LO16
:
2873 case BFD_RELOC_HI16
:
2874 case BFD_RELOC_HI16_S
:
2876 case BFD_RELOC_PPC64_HIGHER
:
2877 case BFD_RELOC_PPC64_HIGHER_S
:
2878 case BFD_RELOC_PPC64_HIGHEST
:
2879 case BFD_RELOC_PPC64_HIGHEST_S
:
2881 fixP
->fx_no_overflow
= 1;
2888 fix_new_exp (frag_now
,
2889 f
- frag_now
->fr_literal
,
2892 (operand
->flags
& PPC_OPERAND_RELATIVE
) != 0,
2893 ((bfd_reloc_code_real_type
)
2894 (fixups
[i
].opindex
+ (int) BFD_RELOC_UNUSED
)));
2898 /* Handle a macro. Gather all the operands, transform them as
2899 described by the macro, and call md_assemble recursively. All the
2900 operands are separated by commas; we don't accept parentheses
2901 around operands here. */
2904 ppc_macro (char *str
, const struct powerpc_macro
*macro
)
2915 /* Gather the users operands into the operands array. */
2920 if (count
>= sizeof operands
/ sizeof operands
[0])
2922 operands
[count
++] = s
;
2923 s
= strchr (s
, ',');
2924 if (s
== (char *) NULL
)
2929 if (count
!= macro
->operands
)
2931 as_bad (_("wrong number of operands"));
2935 /* Work out how large the string must be (the size is unbounded
2936 because it includes user input). */
2938 format
= macro
->format
;
2939 while (*format
!= '\0')
2948 arg
= strtol (format
+ 1, &send
, 10);
2949 know (send
!= format
&& arg
< count
);
2950 len
+= strlen (operands
[arg
]);
2955 /* Put the string together. */
2956 complete
= s
= (char *) alloca (len
+ 1);
2957 format
= macro
->format
;
2958 while (*format
!= '\0')
2964 arg
= strtol (format
+ 1, &send
, 10);
2965 strcpy (s
, operands
[arg
]);
2972 /* Assemble the constructed instruction. */
2973 md_assemble (complete
);
2977 /* For ELF, add support for SHF_EXCLUDE and SHT_ORDERED. */
2980 ppc_section_letter (int letter
, char **ptr_msg
)
2985 *ptr_msg
= _("Bad .section directive: want a,e,w,x,M,S,G,T in string");
2990 ppc_section_word (char *str
, size_t len
)
2992 if (len
== 7 && strncmp (str
, "exclude", 7) == 0)
2999 ppc_section_type (char *str
, size_t len
)
3001 if (len
== 7 && strncmp (str
, "ordered", 7) == 0)
3008 ppc_section_flags (int flags
, int attr
, int type
)
3010 if (type
== SHT_ORDERED
)
3011 flags
|= SEC_ALLOC
| SEC_LOAD
| SEC_SORT_ENTRIES
;
3013 if (attr
& SHF_EXCLUDE
)
3014 flags
|= SEC_EXCLUDE
;
3018 #endif /* OBJ_ELF */
3021 /* Pseudo-op handling. */
3023 /* The .byte pseudo-op. This is similar to the normal .byte
3024 pseudo-op, but it can also take a single ASCII string. */
3027 ppc_byte (int ignore ATTRIBUTE_UNUSED
)
3029 if (*input_line_pointer
!= '\"')
3035 /* Gather characters. A real double quote is doubled. Unusual
3036 characters are not permitted. */
3037 ++input_line_pointer
;
3042 c
= *input_line_pointer
++;
3046 if (*input_line_pointer
!= '\"')
3048 ++input_line_pointer
;
3051 FRAG_APPEND_1_CHAR (c
);
3054 demand_empty_rest_of_line ();
3059 /* XCOFF specific pseudo-op handling. */
3061 /* This is set if we are creating a .stabx symbol, since we don't want
3062 to handle symbol suffixes for such symbols. */
3063 static bfd_boolean ppc_stab_symbol
;
3065 /* The .comm and .lcomm pseudo-ops for XCOFF. XCOFF puts common
3066 symbols in the .bss segment as though they were local common
3067 symbols, and uses a different smclas. The native Aix 4.3.3 assembler
3068 aligns .comm and .lcomm to 4 bytes. */
3071 ppc_comm (int lcomm
)
3073 asection
*current_seg
= now_seg
;
3074 subsegT current_subseg
= now_subseg
;
3080 symbolS
*lcomm_sym
= NULL
;
3084 name
= input_line_pointer
;
3085 endc
= get_symbol_end ();
3086 end_name
= input_line_pointer
;
3089 if (*input_line_pointer
!= ',')
3091 as_bad (_("missing size"));
3092 ignore_rest_of_line ();
3095 ++input_line_pointer
;
3097 size
= get_absolute_expression ();
3100 as_bad (_("negative size"));
3101 ignore_rest_of_line ();
3107 /* The third argument to .comm is the alignment. */
3108 if (*input_line_pointer
!= ',')
3112 ++input_line_pointer
;
3113 align
= get_absolute_expression ();
3116 as_warn (_("ignoring bad alignment"));
3131 /* The third argument to .lcomm appears to be the real local
3132 common symbol to create. References to the symbol named in
3133 the first argument are turned into references to the third
3135 if (*input_line_pointer
!= ',')
3137 as_bad (_("missing real symbol name"));
3138 ignore_rest_of_line ();
3141 ++input_line_pointer
;
3143 lcomm_name
= input_line_pointer
;
3144 lcomm_endc
= get_symbol_end ();
3146 lcomm_sym
= symbol_find_or_make (lcomm_name
);
3148 *input_line_pointer
= lcomm_endc
;
3152 sym
= symbol_find_or_make (name
);
3155 if (S_IS_DEFINED (sym
)
3156 || S_GET_VALUE (sym
) != 0)
3158 as_bad (_("attempt to redefine symbol"));
3159 ignore_rest_of_line ();
3163 record_alignment (bss_section
, align
);
3166 || ! S_IS_DEFINED (lcomm_sym
))
3175 S_SET_EXTERNAL (sym
);
3179 symbol_get_tc (lcomm_sym
)->output
= 1;
3180 def_sym
= lcomm_sym
;
3184 subseg_set (bss_section
, 1);
3185 frag_align (align
, 0, 0);
3187 symbol_set_frag (def_sym
, frag_now
);
3188 pfrag
= frag_var (rs_org
, 1, 1, (relax_substateT
) 0, def_sym
,
3189 def_size
, (char *) NULL
);
3191 S_SET_SEGMENT (def_sym
, bss_section
);
3192 symbol_get_tc (def_sym
)->align
= align
;
3196 /* Align the size of lcomm_sym. */
3197 symbol_get_frag (lcomm_sym
)->fr_offset
=
3198 ((symbol_get_frag (lcomm_sym
)->fr_offset
+ (1 << align
) - 1)
3199 &~ ((1 << align
) - 1));
3200 if (align
> symbol_get_tc (lcomm_sym
)->align
)
3201 symbol_get_tc (lcomm_sym
)->align
= align
;
3206 /* Make sym an offset from lcomm_sym. */
3207 S_SET_SEGMENT (sym
, bss_section
);
3208 symbol_set_frag (sym
, symbol_get_frag (lcomm_sym
));
3209 S_SET_VALUE (sym
, symbol_get_frag (lcomm_sym
)->fr_offset
);
3210 symbol_get_frag (lcomm_sym
)->fr_offset
+= size
;
3213 subseg_set (current_seg
, current_subseg
);
3215 demand_empty_rest_of_line ();
3218 /* The .csect pseudo-op. This switches us into a different
3219 subsegment. The first argument is a symbol whose value is the
3220 start of the .csect. In COFF, csect symbols get special aux
3221 entries defined by the x_csect field of union internal_auxent. The
3222 optional second argument is the alignment (the default is 2). */
3225 ppc_csect (int ignore ATTRIBUTE_UNUSED
)
3232 name
= input_line_pointer
;
3233 endc
= get_symbol_end ();
3235 sym
= symbol_find_or_make (name
);
3237 *input_line_pointer
= endc
;
3239 if (S_GET_NAME (sym
)[0] == '\0')
3241 /* An unnamed csect is assumed to be [PR]. */
3242 symbol_get_tc (sym
)->class = XMC_PR
;
3246 if (*input_line_pointer
== ',')
3248 ++input_line_pointer
;
3249 align
= get_absolute_expression ();
3252 ppc_change_csect (sym
, align
);
3254 demand_empty_rest_of_line ();
3257 /* Change to a different csect. */
3260 ppc_change_csect (symbolS
*sym
, offsetT align
)
3262 if (S_IS_DEFINED (sym
))
3263 subseg_set (S_GET_SEGMENT (sym
), symbol_get_tc (sym
)->subseg
);
3273 /* This is a new csect. We need to look at the symbol class to
3274 figure out whether it should go in the text section or the
3278 switch (symbol_get_tc (sym
)->class)
3288 S_SET_SEGMENT (sym
, text_section
);
3289 symbol_get_tc (sym
)->subseg
= ppc_text_subsegment
;
3290 ++ppc_text_subsegment
;
3291 list_ptr
= &ppc_text_csects
;
3301 if (ppc_toc_csect
!= NULL
3302 && (symbol_get_tc (ppc_toc_csect
)->subseg
+ 1
3303 == ppc_data_subsegment
))
3305 S_SET_SEGMENT (sym
, data_section
);
3306 symbol_get_tc (sym
)->subseg
= ppc_data_subsegment
;
3307 ++ppc_data_subsegment
;
3308 list_ptr
= &ppc_data_csects
;
3314 /* We set the obstack chunk size to a small value before
3315 changing subsegments, so that we don't use a lot of memory
3316 space for what may be a small section. */
3317 hold_chunksize
= chunksize
;
3320 sec
= subseg_new (segment_name (S_GET_SEGMENT (sym
)),
3321 symbol_get_tc (sym
)->subseg
);
3323 chunksize
= hold_chunksize
;
3326 ppc_after_toc_frag
= frag_now
;
3328 record_alignment (sec
, align
);
3330 frag_align_code (align
, 0);
3332 frag_align (align
, 0, 0);
3334 symbol_set_frag (sym
, frag_now
);
3335 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
3337 symbol_get_tc (sym
)->align
= align
;
3338 symbol_get_tc (sym
)->output
= 1;
3339 symbol_get_tc (sym
)->within
= sym
;
3341 for (list
= *list_ptr
;
3342 symbol_get_tc (list
)->next
!= (symbolS
*) NULL
;
3343 list
= symbol_get_tc (list
)->next
)
3345 symbol_get_tc (list
)->next
= sym
;
3347 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3348 symbol_append (sym
, symbol_get_tc (list
)->within
, &symbol_rootP
,
3352 ppc_current_csect
= sym
;
3355 /* This function handles the .text and .data pseudo-ops. These
3356 pseudo-ops aren't really used by XCOFF; we implement them for the
3357 convenience of people who aren't used to XCOFF. */
3360 ppc_section (int type
)
3367 else if (type
== 'd')
3372 sym
= symbol_find_or_make (name
);
3374 ppc_change_csect (sym
, 2);
3376 demand_empty_rest_of_line ();
3379 /* This function handles the .section pseudo-op. This is mostly to
3380 give an error, since XCOFF only supports .text, .data and .bss, but
3381 we do permit the user to name the text or data section. */
3384 ppc_named_section (int ignore ATTRIBUTE_UNUSED
)
3387 const char *real_name
;
3391 user_name
= input_line_pointer
;
3392 c
= get_symbol_end ();
3394 if (strcmp (user_name
, ".text") == 0)
3395 real_name
= ".text[PR]";
3396 else if (strcmp (user_name
, ".data") == 0)
3397 real_name
= ".data[RW]";
3400 as_bad (_("The XCOFF file format does not support arbitrary sections"));
3401 *input_line_pointer
= c
;
3402 ignore_rest_of_line ();
3406 *input_line_pointer
= c
;
3408 sym
= symbol_find_or_make (real_name
);
3410 ppc_change_csect (sym
, 2);
3412 demand_empty_rest_of_line ();
3415 /* The .extern pseudo-op. We create an undefined symbol. */
3418 ppc_extern (int ignore ATTRIBUTE_UNUSED
)
3423 name
= input_line_pointer
;
3424 endc
= get_symbol_end ();
3426 (void) symbol_find_or_make (name
);
3428 *input_line_pointer
= endc
;
3430 demand_empty_rest_of_line ();
3433 /* The .lglobl pseudo-op. Keep the symbol in the symbol table. */
3436 ppc_lglobl (int ignore ATTRIBUTE_UNUSED
)
3442 name
= input_line_pointer
;
3443 endc
= get_symbol_end ();
3445 sym
= symbol_find_or_make (name
);
3447 *input_line_pointer
= endc
;
3449 symbol_get_tc (sym
)->output
= 1;
3451 demand_empty_rest_of_line ();
3454 /* The .rename pseudo-op. The RS/6000 assembler can rename symbols,
3455 although I don't know why it bothers. */
3458 ppc_rename (int ignore ATTRIBUTE_UNUSED
)
3465 name
= input_line_pointer
;
3466 endc
= get_symbol_end ();
3468 sym
= symbol_find_or_make (name
);
3470 *input_line_pointer
= endc
;
3472 if (*input_line_pointer
!= ',')
3474 as_bad (_("missing rename string"));
3475 ignore_rest_of_line ();
3478 ++input_line_pointer
;
3480 symbol_get_tc (sym
)->real_name
= demand_copy_C_string (&len
);
3482 demand_empty_rest_of_line ();
3485 /* The .stabx pseudo-op. This is similar to a normal .stabs
3486 pseudo-op, but slightly different. A sample is
3487 .stabx "main:F-1",.main,142,0
3488 The first argument is the symbol name to create. The second is the
3489 value, and the third is the storage class. The fourth seems to be
3490 always zero, and I am assuming it is the type. */
3493 ppc_stabx (int ignore ATTRIBUTE_UNUSED
)
3500 name
= demand_copy_C_string (&len
);
3502 if (*input_line_pointer
!= ',')
3504 as_bad (_("missing value"));
3507 ++input_line_pointer
;
3509 ppc_stab_symbol
= TRUE
;
3510 sym
= symbol_make (name
);
3511 ppc_stab_symbol
= FALSE
;
3513 symbol_get_tc (sym
)->real_name
= name
;
3515 (void) expression (&exp
);
3522 as_bad (_("illegal .stabx expression; zero assumed"));
3523 exp
.X_add_number
= 0;
3526 S_SET_VALUE (sym
, (valueT
) exp
.X_add_number
);
3527 symbol_set_frag (sym
, &zero_address_frag
);
3531 if (S_GET_SEGMENT (exp
.X_add_symbol
) == undefined_section
)
3532 symbol_set_value_expression (sym
, &exp
);
3536 exp
.X_add_number
+ S_GET_VALUE (exp
.X_add_symbol
));
3537 symbol_set_frag (sym
, symbol_get_frag (exp
.X_add_symbol
));
3542 /* The value is some complex expression. This will probably
3543 fail at some later point, but this is probably the right
3544 thing to do here. */
3545 symbol_set_value_expression (sym
, &exp
);
3549 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
3550 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3552 if (*input_line_pointer
!= ',')
3554 as_bad (_("missing class"));
3557 ++input_line_pointer
;
3559 S_SET_STORAGE_CLASS (sym
, get_absolute_expression ());
3561 if (*input_line_pointer
!= ',')
3563 as_bad (_("missing type"));
3566 ++input_line_pointer
;
3568 S_SET_DATA_TYPE (sym
, get_absolute_expression ());
3570 symbol_get_tc (sym
)->output
= 1;
3572 if (S_GET_STORAGE_CLASS (sym
) == C_STSYM
) {
3574 symbol_get_tc (sym
)->within
= ppc_current_block
;
3579 .stabx "z",arrays_,133,0
3582 .comm arrays_,13768,3
3584 resolve_symbol_value will copy the exp's "within" into sym's when the
3585 offset is 0. Since this seems to be corner case problem,
3586 only do the correction for storage class C_STSYM. A better solution
3587 would be to have the tc field updated in ppc_symbol_new_hook. */
3589 if (exp
.X_op
== O_symbol
)
3591 symbol_get_tc (exp
.X_add_symbol
)->within
= ppc_current_block
;
3595 if (exp
.X_op
!= O_symbol
3596 || ! S_IS_EXTERNAL (exp
.X_add_symbol
)
3597 || S_GET_SEGMENT (exp
.X_add_symbol
) != bss_section
)
3598 ppc_frob_label (sym
);
3601 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3602 symbol_append (sym
, exp
.X_add_symbol
, &symbol_rootP
, &symbol_lastP
);
3603 if (symbol_get_tc (ppc_current_csect
)->within
== exp
.X_add_symbol
)
3604 symbol_get_tc (ppc_current_csect
)->within
= sym
;
3607 demand_empty_rest_of_line ();
3610 /* The .function pseudo-op. This takes several arguments. The first
3611 argument seems to be the external name of the symbol. The second
3612 argument seems to be the label for the start of the function. gcc
3613 uses the same name for both. I have no idea what the third and
3614 fourth arguments are meant to be. The optional fifth argument is
3615 an expression for the size of the function. In COFF this symbol
3616 gets an aux entry like that used for a csect. */
3619 ppc_function (int ignore ATTRIBUTE_UNUSED
)
3627 name
= input_line_pointer
;
3628 endc
= get_symbol_end ();
3630 /* Ignore any [PR] suffix. */
3631 name
= ppc_canonicalize_symbol_name (name
);
3632 s
= strchr (name
, '[');
3633 if (s
!= (char *) NULL
3634 && strcmp (s
+ 1, "PR]") == 0)
3637 ext_sym
= symbol_find_or_make (name
);
3639 *input_line_pointer
= endc
;
3641 if (*input_line_pointer
!= ',')
3643 as_bad (_("missing symbol name"));
3644 ignore_rest_of_line ();
3647 ++input_line_pointer
;
3649 name
= input_line_pointer
;
3650 endc
= get_symbol_end ();
3652 lab_sym
= symbol_find_or_make (name
);
3654 *input_line_pointer
= endc
;
3656 if (ext_sym
!= lab_sym
)
3660 exp
.X_op
= O_symbol
;
3661 exp
.X_add_symbol
= lab_sym
;
3662 exp
.X_op_symbol
= NULL
;
3663 exp
.X_add_number
= 0;
3665 symbol_set_value_expression (ext_sym
, &exp
);
3668 if (symbol_get_tc (ext_sym
)->class == -1)
3669 symbol_get_tc (ext_sym
)->class = XMC_PR
;
3670 symbol_get_tc (ext_sym
)->output
= 1;
3672 if (*input_line_pointer
== ',')
3676 /* Ignore the third argument. */
3677 ++input_line_pointer
;
3678 expression (&ignore
);
3679 if (*input_line_pointer
== ',')
3681 /* Ignore the fourth argument. */
3682 ++input_line_pointer
;
3683 expression (&ignore
);
3684 if (*input_line_pointer
== ',')
3686 /* The fifth argument is the function size. */
3687 ++input_line_pointer
;
3688 symbol_get_tc (ext_sym
)->size
= symbol_new ("L0\001",
3691 &zero_address_frag
);
3692 pseudo_set (symbol_get_tc (ext_sym
)->size
);
3697 S_SET_DATA_TYPE (ext_sym
, DT_FCN
<< N_BTSHFT
);
3698 SF_SET_FUNCTION (ext_sym
);
3699 SF_SET_PROCESS (ext_sym
);
3700 coff_add_linesym (ext_sym
);
3702 demand_empty_rest_of_line ();
3705 /* The .bf pseudo-op. This is just like a COFF C_FCN symbol named
3706 ".bf". If the pseudo op .bi was seen before .bf, patch the .bi sym
3707 with the correct line number */
3709 static symbolS
*saved_bi_sym
= 0;
3712 ppc_bf (int ignore ATTRIBUTE_UNUSED
)
3716 sym
= symbol_make (".bf");
3717 S_SET_SEGMENT (sym
, text_section
);
3718 symbol_set_frag (sym
, frag_now
);
3719 S_SET_VALUE (sym
, frag_now_fix ());
3720 S_SET_STORAGE_CLASS (sym
, C_FCN
);
3722 coff_line_base
= get_absolute_expression ();
3724 S_SET_NUMBER_AUXILIARY (sym
, 1);
3725 SA_SET_SYM_LNNO (sym
, coff_line_base
);
3727 /* Line number for bi. */
3730 S_SET_VALUE (saved_bi_sym
, coff_n_line_nos
);
3735 symbol_get_tc (sym
)->output
= 1;
3737 ppc_frob_label (sym
);
3739 demand_empty_rest_of_line ();
3742 /* The .ef pseudo-op. This is just like a COFF C_FCN symbol named
3743 ".ef", except that the line number is absolute, not relative to the
3744 most recent ".bf" symbol. */
3747 ppc_ef (int ignore ATTRIBUTE_UNUSED
)
3751 sym
= symbol_make (".ef");
3752 S_SET_SEGMENT (sym
, text_section
);
3753 symbol_set_frag (sym
, frag_now
);
3754 S_SET_VALUE (sym
, frag_now_fix ());
3755 S_SET_STORAGE_CLASS (sym
, C_FCN
);
3756 S_SET_NUMBER_AUXILIARY (sym
, 1);
3757 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
3758 symbol_get_tc (sym
)->output
= 1;
3760 ppc_frob_label (sym
);
3762 demand_empty_rest_of_line ();
3765 /* The .bi and .ei pseudo-ops. These take a string argument and
3766 generates a C_BINCL or C_EINCL symbol, which goes at the start of
3767 the symbol list. The value of .bi will be know when the next .bf
3773 static symbolS
*last_biei
;
3780 name
= demand_copy_C_string (&len
);
3782 /* The value of these symbols is actually file offset. Here we set
3783 the value to the index into the line number entries. In
3784 ppc_frob_symbols we set the fix_line field, which will cause BFD
3785 to do the right thing. */
3787 sym
= symbol_make (name
);
3788 /* obj-coff.c currently only handles line numbers correctly in the
3790 S_SET_SEGMENT (sym
, text_section
);
3791 S_SET_VALUE (sym
, coff_n_line_nos
);
3792 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3794 S_SET_STORAGE_CLASS (sym
, ei
? C_EINCL
: C_BINCL
);
3795 symbol_get_tc (sym
)->output
= 1;
3803 for (look
= last_biei
? last_biei
: symbol_rootP
;
3804 (look
!= (symbolS
*) NULL
3805 && (S_GET_STORAGE_CLASS (look
) == C_FILE
3806 || S_GET_STORAGE_CLASS (look
) == C_BINCL
3807 || S_GET_STORAGE_CLASS (look
) == C_EINCL
));
3808 look
= symbol_next (look
))
3810 if (look
!= (symbolS
*) NULL
)
3812 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
3813 symbol_insert (sym
, look
, &symbol_rootP
, &symbol_lastP
);
3817 demand_empty_rest_of_line ();
3820 /* The .bs pseudo-op. This generates a C_BSTAT symbol named ".bs".
3821 There is one argument, which is a csect symbol. The value of the
3822 .bs symbol is the index of this csect symbol. */
3825 ppc_bs (int ignore ATTRIBUTE_UNUSED
)
3832 if (ppc_current_block
!= NULL
)
3833 as_bad (_("nested .bs blocks"));
3835 name
= input_line_pointer
;
3836 endc
= get_symbol_end ();
3838 csect
= symbol_find_or_make (name
);
3840 *input_line_pointer
= endc
;
3842 sym
= symbol_make (".bs");
3843 S_SET_SEGMENT (sym
, now_seg
);
3844 S_SET_STORAGE_CLASS (sym
, C_BSTAT
);
3845 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3846 symbol_get_tc (sym
)->output
= 1;
3848 symbol_get_tc (sym
)->within
= csect
;
3850 ppc_frob_label (sym
);
3852 ppc_current_block
= sym
;
3854 demand_empty_rest_of_line ();
3857 /* The .es pseudo-op. Generate a C_ESTART symbol named .es. */
3860 ppc_es (int ignore ATTRIBUTE_UNUSED
)
3864 if (ppc_current_block
== NULL
)
3865 as_bad (_(".es without preceding .bs"));
3867 sym
= symbol_make (".es");
3868 S_SET_SEGMENT (sym
, now_seg
);
3869 S_SET_STORAGE_CLASS (sym
, C_ESTAT
);
3870 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3871 symbol_get_tc (sym
)->output
= 1;
3873 ppc_frob_label (sym
);
3875 ppc_current_block
= NULL
;
3877 demand_empty_rest_of_line ();
3880 /* The .bb pseudo-op. Generate a C_BLOCK symbol named .bb, with a
3884 ppc_bb (int ignore ATTRIBUTE_UNUSED
)
3888 sym
= symbol_make (".bb");
3889 S_SET_SEGMENT (sym
, text_section
);
3890 symbol_set_frag (sym
, frag_now
);
3891 S_SET_VALUE (sym
, frag_now_fix ());
3892 S_SET_STORAGE_CLASS (sym
, C_BLOCK
);
3894 S_SET_NUMBER_AUXILIARY (sym
, 1);
3895 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
3897 symbol_get_tc (sym
)->output
= 1;
3899 SF_SET_PROCESS (sym
);
3901 ppc_frob_label (sym
);
3903 demand_empty_rest_of_line ();
3906 /* The .eb pseudo-op. Generate a C_BLOCK symbol named .eb, with a
3910 ppc_eb (int ignore ATTRIBUTE_UNUSED
)
3914 sym
= symbol_make (".eb");
3915 S_SET_SEGMENT (sym
, text_section
);
3916 symbol_set_frag (sym
, frag_now
);
3917 S_SET_VALUE (sym
, frag_now_fix ());
3918 S_SET_STORAGE_CLASS (sym
, C_BLOCK
);
3919 S_SET_NUMBER_AUXILIARY (sym
, 1);
3920 SA_SET_SYM_LNNO (sym
, get_absolute_expression ());
3921 symbol_get_tc (sym
)->output
= 1;
3923 SF_SET_PROCESS (sym
);
3925 ppc_frob_label (sym
);
3927 demand_empty_rest_of_line ();
3930 /* The .bc pseudo-op. This just creates a C_BCOMM symbol with a
3934 ppc_bc (int ignore ATTRIBUTE_UNUSED
)
3940 name
= demand_copy_C_string (&len
);
3941 sym
= symbol_make (name
);
3942 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
3943 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3944 S_SET_STORAGE_CLASS (sym
, C_BCOMM
);
3945 S_SET_VALUE (sym
, 0);
3946 symbol_get_tc (sym
)->output
= 1;
3948 ppc_frob_label (sym
);
3950 demand_empty_rest_of_line ();
3953 /* The .ec pseudo-op. This just creates a C_ECOMM symbol. */
3956 ppc_ec (int ignore ATTRIBUTE_UNUSED
)
3960 sym
= symbol_make (".ec");
3961 S_SET_SEGMENT (sym
, ppc_coff_debug_section
);
3962 symbol_get_bfdsym (sym
)->flags
|= BSF_DEBUGGING
;
3963 S_SET_STORAGE_CLASS (sym
, C_ECOMM
);
3964 S_SET_VALUE (sym
, 0);
3965 symbol_get_tc (sym
)->output
= 1;
3967 ppc_frob_label (sym
);
3969 demand_empty_rest_of_line ();
3972 /* The .toc pseudo-op. Switch to the .toc subsegment. */
3975 ppc_toc (int ignore ATTRIBUTE_UNUSED
)
3977 if (ppc_toc_csect
!= (symbolS
*) NULL
)
3978 subseg_set (data_section
, symbol_get_tc (ppc_toc_csect
)->subseg
);
3985 subseg
= ppc_data_subsegment
;
3986 ++ppc_data_subsegment
;
3988 subseg_new (segment_name (data_section
), subseg
);
3989 ppc_toc_frag
= frag_now
;
3991 sym
= symbol_find_or_make ("TOC[TC0]");
3992 symbol_set_frag (sym
, frag_now
);
3993 S_SET_SEGMENT (sym
, data_section
);
3994 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
3995 symbol_get_tc (sym
)->subseg
= subseg
;
3996 symbol_get_tc (sym
)->output
= 1;
3997 symbol_get_tc (sym
)->within
= sym
;
3999 ppc_toc_csect
= sym
;
4001 for (list
= ppc_data_csects
;
4002 symbol_get_tc (list
)->next
!= (symbolS
*) NULL
;
4003 list
= symbol_get_tc (list
)->next
)
4005 symbol_get_tc (list
)->next
= sym
;
4007 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
4008 symbol_append (sym
, symbol_get_tc (list
)->within
, &symbol_rootP
,
4012 ppc_current_csect
= ppc_toc_csect
;
4014 demand_empty_rest_of_line ();
4017 /* The AIX assembler automatically aligns the operands of a .long or
4018 .short pseudo-op, and we want to be compatible. */
4021 ppc_xcoff_cons (int log_size
)
4023 frag_align (log_size
, 0, 0);
4024 record_alignment (now_seg
, log_size
);
4025 cons (1 << log_size
);
4029 ppc_vbyte (int dummy ATTRIBUTE_UNUSED
)
4034 (void) expression (&exp
);
4036 if (exp
.X_op
!= O_constant
)
4038 as_bad (_("non-constant byte count"));
4042 byte_count
= exp
.X_add_number
;
4044 if (*input_line_pointer
!= ',')
4046 as_bad (_("missing value"));
4050 ++input_line_pointer
;
4054 #endif /* OBJ_XCOFF */
4055 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
4057 /* The .tc pseudo-op. This is used when generating either XCOFF or
4058 ELF. This takes two or more arguments.
4060 When generating XCOFF output, the first argument is the name to
4061 give to this location in the toc; this will be a symbol with class
4062 TC. The rest of the arguments are N-byte values to actually put at
4063 this location in the TOC; often there is just one more argument, a
4064 relocatable symbol reference. The size of the value to store
4065 depends on target word size. A 32-bit target uses 4-byte values, a
4066 64-bit target uses 8-byte values.
4068 When not generating XCOFF output, the arguments are the same, but
4069 the first argument is simply ignored. */
4072 ppc_tc (int ignore ATTRIBUTE_UNUSED
)
4076 /* Define the TOC symbol name. */
4082 if (ppc_toc_csect
== (symbolS
*) NULL
4083 || ppc_toc_csect
!= ppc_current_csect
)
4085 as_bad (_(".tc not in .toc section"));
4086 ignore_rest_of_line ();
4090 name
= input_line_pointer
;
4091 endc
= get_symbol_end ();
4093 sym
= symbol_find_or_make (name
);
4095 *input_line_pointer
= endc
;
4097 if (S_IS_DEFINED (sym
))
4101 label
= symbol_get_tc (ppc_current_csect
)->within
;
4102 if (symbol_get_tc (label
)->class != XMC_TC0
)
4104 as_bad (_(".tc with no label"));
4105 ignore_rest_of_line ();
4109 S_SET_SEGMENT (label
, S_GET_SEGMENT (sym
));
4110 symbol_set_frag (label
, symbol_get_frag (sym
));
4111 S_SET_VALUE (label
, S_GET_VALUE (sym
));
4113 while (! is_end_of_line
[(unsigned char) *input_line_pointer
])
4114 ++input_line_pointer
;
4119 S_SET_SEGMENT (sym
, now_seg
);
4120 symbol_set_frag (sym
, frag_now
);
4121 S_SET_VALUE (sym
, (valueT
) frag_now_fix ());
4122 symbol_get_tc (sym
)->class = XMC_TC
;
4123 symbol_get_tc (sym
)->output
= 1;
4125 ppc_frob_label (sym
);
4128 #endif /* OBJ_XCOFF */
4132 /* Skip the TOC symbol name. */
4133 while (is_part_of_name (*input_line_pointer
)
4134 || *input_line_pointer
== ' '
4135 || *input_line_pointer
== '['
4136 || *input_line_pointer
== ']'
4137 || *input_line_pointer
== '{'
4138 || *input_line_pointer
== '}')
4139 ++input_line_pointer
;
4141 /* Align to a four/eight byte boundary. */
4142 align
= ppc_obj64
? 3 : 2;
4143 frag_align (align
, 0, 0);
4144 record_alignment (now_seg
, align
);
4145 #endif /* OBJ_ELF */
4147 if (*input_line_pointer
!= ',')
4148 demand_empty_rest_of_line ();
4151 ++input_line_pointer
;
4152 cons (ppc_obj64
? 8 : 4);
4156 /* Pseudo-op .machine. */
4159 ppc_machine (int ignore ATTRIBUTE_UNUSED
)
4162 #define MAX_HISTORY 100
4163 static ppc_cpu_t
*cpu_history
;
4164 static int curr_hist
;
4168 if (*input_line_pointer
== '"')
4171 cpu_string
= demand_copy_C_string (&len
);
4176 cpu_string
= input_line_pointer
;
4177 c
= get_symbol_end ();
4178 cpu_string
= xstrdup (cpu_string
);
4179 *input_line_pointer
= c
;
4182 if (cpu_string
!= NULL
)
4184 ppc_cpu_t old_cpu
= ppc_cpu
;
4187 for (p
= cpu_string
; *p
!= 0; p
++)
4190 if (strcmp (cpu_string
, "push") == 0)
4192 if (cpu_history
== NULL
)
4193 cpu_history
= xmalloc (MAX_HISTORY
* sizeof (*cpu_history
));
4195 if (curr_hist
>= MAX_HISTORY
)
4196 as_bad (_(".machine stack overflow"));
4198 cpu_history
[curr_hist
++] = ppc_cpu
;
4200 else if (strcmp (cpu_string
, "pop") == 0)
4203 as_bad (_(".machine stack underflow"));
4205 ppc_cpu
= cpu_history
[--curr_hist
];
4207 else if (parse_cpu (cpu_string
))
4210 as_bad (_("invalid machine `%s'"), cpu_string
);
4212 if (ppc_cpu
!= old_cpu
)
4213 ppc_setup_opcodes ();
4216 demand_empty_rest_of_line ();
4219 /* See whether a symbol is in the TOC section. */
4222 ppc_is_toc_sym (symbolS
*sym
)
4225 return symbol_get_tc (sym
)->class == XMC_TC
;
4228 const char *sname
= segment_name (S_GET_SEGMENT (sym
));
4230 return strcmp (sname
, ".toc") == 0;
4232 return strcmp (sname
, ".got") == 0;
4235 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
4239 /* Pseudo-ops specific to the Windows NT PowerPC PE (coff) format. */
4241 /* Set the current section. */
4243 ppc_set_current_section (segT
new)
4245 ppc_previous_section
= ppc_current_section
;
4246 ppc_current_section
= new;
4249 /* pseudo-op: .previous
4250 behaviour: toggles the current section with the previous section.
4252 warnings: "No previous section" */
4255 ppc_previous (int ignore ATTRIBUTE_UNUSED
)
4259 if (ppc_previous_section
== NULL
)
4261 as_warn (_("No previous section to return to. Directive ignored."));
4265 subseg_set (ppc_previous_section
, 0);
4267 ppc_set_current_section (ppc_previous_section
);
4270 /* pseudo-op: .pdata
4271 behaviour: predefined read only data section
4275 initial: .section .pdata "adr3"
4276 a - don't know -- maybe a misprint
4277 d - initialized data
4279 3 - double word aligned (that would be 4 byte boundary)
4282 Tag index tables (also known as the function table) for exception
4283 handling, debugging, etc. */
4286 ppc_pdata (int ignore ATTRIBUTE_UNUSED
)
4288 if (pdata_section
== 0)
4290 pdata_section
= subseg_new (".pdata", 0);
4292 bfd_set_section_flags (stdoutput
, pdata_section
,
4293 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4294 | SEC_READONLY
| SEC_DATA
));
4296 bfd_set_section_alignment (stdoutput
, pdata_section
, 2);
4300 pdata_section
= subseg_new (".pdata", 0);
4302 ppc_set_current_section (pdata_section
);
4305 /* pseudo-op: .ydata
4306 behaviour: predefined read only data section
4310 initial: .section .ydata "drw3"
4311 a - don't know -- maybe a misprint
4312 d - initialized data
4314 3 - double word aligned (that would be 4 byte boundary)
4316 Tag tables (also known as the scope table) for exception handling,
4320 ppc_ydata (int ignore ATTRIBUTE_UNUSED
)
4322 if (ydata_section
== 0)
4324 ydata_section
= subseg_new (".ydata", 0);
4325 bfd_set_section_flags (stdoutput
, ydata_section
,
4326 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4327 | SEC_READONLY
| SEC_DATA
));
4329 bfd_set_section_alignment (stdoutput
, ydata_section
, 3);
4333 ydata_section
= subseg_new (".ydata", 0);
4335 ppc_set_current_section (ydata_section
);
4338 /* pseudo-op: .reldata
4339 behaviour: predefined read write data section
4340 double word aligned (4-byte)
4341 FIXME: relocation is applied to it
4342 FIXME: what's the difference between this and .data?
4345 initial: .section .reldata "drw3"
4346 d - initialized data
4349 3 - double word aligned (that would be 8 byte boundary)
4352 Like .data, but intended to hold data subject to relocation, such as
4353 function descriptors, etc. */
4356 ppc_reldata (int ignore ATTRIBUTE_UNUSED
)
4358 if (reldata_section
== 0)
4360 reldata_section
= subseg_new (".reldata", 0);
4362 bfd_set_section_flags (stdoutput
, reldata_section
,
4363 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4366 bfd_set_section_alignment (stdoutput
, reldata_section
, 2);
4370 reldata_section
= subseg_new (".reldata", 0);
4372 ppc_set_current_section (reldata_section
);
4375 /* pseudo-op: .rdata
4376 behaviour: predefined read only data section
4380 initial: .section .rdata "dr3"
4381 d - initialized data
4383 3 - double word aligned (that would be 4 byte boundary) */
4386 ppc_rdata (int ignore ATTRIBUTE_UNUSED
)
4388 if (rdata_section
== 0)
4390 rdata_section
= subseg_new (".rdata", 0);
4391 bfd_set_section_flags (stdoutput
, rdata_section
,
4392 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4393 | SEC_READONLY
| SEC_DATA
));
4395 bfd_set_section_alignment (stdoutput
, rdata_section
, 2);
4399 rdata_section
= subseg_new (".rdata", 0);
4401 ppc_set_current_section (rdata_section
);
4404 /* pseudo-op: .ualong
4405 behaviour: much like .int, with the exception that no alignment is
4407 FIXME: test the alignment statement
4412 ppc_ualong (int ignore ATTRIBUTE_UNUSED
)
4418 /* pseudo-op: .znop <symbol name>
4419 behaviour: Issue a nop instruction
4420 Issue a IMAGE_REL_PPC_IFGLUE relocation against it, using
4421 the supplied symbol name.
4423 warnings: Missing symbol name */
4426 ppc_znop (int ignore ATTRIBUTE_UNUSED
)
4429 const struct powerpc_opcode
*opcode
;
4440 /* Strip out the symbol name. */
4441 symbol_name
= input_line_pointer
;
4442 c
= get_symbol_end ();
4444 name
= xmalloc (input_line_pointer
- symbol_name
+ 1);
4445 strcpy (name
, symbol_name
);
4447 sym
= symbol_find_or_make (name
);
4449 *input_line_pointer
= c
;
4453 /* Look up the opcode in the hash table. */
4454 opcode
= (const struct powerpc_opcode
*) hash_find (ppc_hash
, "nop");
4456 /* Stick in the nop. */
4457 insn
= opcode
->opcode
;
4459 /* Write out the instruction. */
4461 md_number_to_chars (f
, insn
, 4);
4463 f
- frag_now
->fr_literal
,
4468 BFD_RELOC_16_GOT_PCREL
);
4478 ppc_pe_comm (int lcomm
)
4487 name
= input_line_pointer
;
4488 c
= get_symbol_end ();
4490 /* just after name is now '\0'. */
4491 p
= input_line_pointer
;
4494 if (*input_line_pointer
!= ',')
4496 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
4497 ignore_rest_of_line ();
4501 input_line_pointer
++; /* skip ',' */
4502 if ((temp
= get_absolute_expression ()) < 0)
4504 as_warn (_(".COMMon length (%ld.) <0! Ignored."), (long) temp
);
4505 ignore_rest_of_line ();
4511 /* The third argument to .comm is the alignment. */
4512 if (*input_line_pointer
!= ',')
4516 ++input_line_pointer
;
4517 align
= get_absolute_expression ();
4520 as_warn (_("ignoring bad alignment"));
4527 symbolP
= symbol_find_or_make (name
);
4530 if (S_IS_DEFINED (symbolP
) && ! S_IS_COMMON (symbolP
))
4532 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
4533 S_GET_NAME (symbolP
));
4534 ignore_rest_of_line ();
4538 if (S_GET_VALUE (symbolP
))
4540 if (S_GET_VALUE (symbolP
) != (valueT
) temp
)
4541 as_bad (_("Length of .comm \"%s\" is already %ld. Not changed to %ld."),
4542 S_GET_NAME (symbolP
),
4543 (long) S_GET_VALUE (symbolP
),
4548 S_SET_VALUE (symbolP
, (valueT
) temp
);
4549 S_SET_EXTERNAL (symbolP
);
4550 S_SET_SEGMENT (symbolP
, bfd_com_section_ptr
);
4553 demand_empty_rest_of_line ();
4557 * implement the .section pseudo op:
4558 * .section name {, "flags"}
4560 * | +--- optional flags: 'b' for bss
4562 * +-- section name 'l' for lib
4566 * 'd' (apparently m88k for data)
4568 * But if the argument is not a quoted string, treat it as a
4569 * subsegment number.
4571 * FIXME: this is a copy of the section processing from obj-coff.c, with
4572 * additions/changes for the moto-pas assembler support. There are three
4575 * FIXME: I just noticed this. This doesn't work at all really. It it
4576 * setting bits that bfd probably neither understands or uses. The
4577 * correct approach (?) will have to incorporate extra fields attached
4578 * to the section to hold the system specific stuff. (krk)
4581 * 'a' - unknown - referred to in documentation, but no definition supplied
4582 * 'c' - section has code
4583 * 'd' - section has initialized data
4584 * 'u' - section has uninitialized data
4585 * 'i' - section contains directives (info)
4586 * 'n' - section can be discarded
4587 * 'R' - remove section at link time
4589 * Section Protection:
4590 * 'r' - section is readable
4591 * 'w' - section is writeable
4592 * 'x' - section is executable
4593 * 's' - section is sharable
4595 * Section Alignment:
4596 * '0' - align to byte boundary
4597 * '1' - align to halfword undary
4598 * '2' - align to word boundary
4599 * '3' - align to doubleword boundary
4600 * '4' - align to quadword boundary
4601 * '5' - align to 32 byte boundary
4602 * '6' - align to 64 byte boundary
4607 ppc_pe_section (int ignore ATTRIBUTE_UNUSED
)
4609 /* Strip out the section name. */
4618 section_name
= input_line_pointer
;
4619 c
= get_symbol_end ();
4621 name
= xmalloc (input_line_pointer
- section_name
+ 1);
4622 strcpy (name
, section_name
);
4624 *input_line_pointer
= c
;
4629 flags
= SEC_NO_FLAGS
;
4631 if (strcmp (name
, ".idata$2") == 0)
4635 else if (strcmp (name
, ".idata$3") == 0)
4639 else if (strcmp (name
, ".idata$4") == 0)
4643 else if (strcmp (name
, ".idata$5") == 0)
4647 else if (strcmp (name
, ".idata$6") == 0)
4652 /* Default alignment to 16 byte boundary. */
4655 if (*input_line_pointer
== ',')
4657 ++input_line_pointer
;
4659 if (*input_line_pointer
!= '"')
4660 exp
= get_absolute_expression ();
4663 ++input_line_pointer
;
4664 while (*input_line_pointer
!= '"'
4665 && ! is_end_of_line
[(unsigned char) *input_line_pointer
])
4667 switch (*input_line_pointer
)
4669 /* Section Contents */
4670 case 'a': /* unknown */
4671 as_bad (_("Unsupported section attribute -- 'a'"));
4673 case 'c': /* code section */
4676 case 'd': /* section has initialized data */
4679 case 'u': /* section has uninitialized data */
4680 /* FIXME: This is IMAGE_SCN_CNT_UNINITIALIZED_DATA
4684 case 'i': /* section contains directives (info) */
4685 /* FIXME: This is IMAGE_SCN_LNK_INFO
4687 flags
|= SEC_HAS_CONTENTS
;
4689 case 'n': /* section can be discarded */
4692 case 'R': /* Remove section at link time */
4693 flags
|= SEC_NEVER_LOAD
;
4695 #if IFLICT_BRAIN_DAMAGE
4696 /* Section Protection */
4697 case 'r': /* section is readable */
4698 flags
|= IMAGE_SCN_MEM_READ
;
4700 case 'w': /* section is writeable */
4701 flags
|= IMAGE_SCN_MEM_WRITE
;
4703 case 'x': /* section is executable */
4704 flags
|= IMAGE_SCN_MEM_EXECUTE
;
4706 case 's': /* section is sharable */
4707 flags
|= IMAGE_SCN_MEM_SHARED
;
4710 /* Section Alignment */
4711 case '0': /* align to byte boundary */
4712 flags
|= IMAGE_SCN_ALIGN_1BYTES
;
4715 case '1': /* align to halfword boundary */
4716 flags
|= IMAGE_SCN_ALIGN_2BYTES
;
4719 case '2': /* align to word boundary */
4720 flags
|= IMAGE_SCN_ALIGN_4BYTES
;
4723 case '3': /* align to doubleword boundary */
4724 flags
|= IMAGE_SCN_ALIGN_8BYTES
;
4727 case '4': /* align to quadword boundary */
4728 flags
|= IMAGE_SCN_ALIGN_16BYTES
;
4731 case '5': /* align to 32 byte boundary */
4732 flags
|= IMAGE_SCN_ALIGN_32BYTES
;
4735 case '6': /* align to 64 byte boundary */
4736 flags
|= IMAGE_SCN_ALIGN_64BYTES
;
4741 as_bad (_("unknown section attribute '%c'"),
4742 *input_line_pointer
);
4745 ++input_line_pointer
;
4747 if (*input_line_pointer
== '"')
4748 ++input_line_pointer
;
4752 sec
= subseg_new (name
, (subsegT
) exp
);
4754 ppc_set_current_section (sec
);
4756 if (flags
!= SEC_NO_FLAGS
)
4758 if (! bfd_set_section_flags (stdoutput
, sec
, flags
))
4759 as_bad (_("error setting flags for \"%s\": %s"),
4760 bfd_section_name (stdoutput
, sec
),
4761 bfd_errmsg (bfd_get_error ()));
4764 bfd_set_section_alignment (stdoutput
, sec
, align
);
4768 ppc_pe_function (int ignore ATTRIBUTE_UNUSED
)
4774 name
= input_line_pointer
;
4775 endc
= get_symbol_end ();
4777 ext_sym
= symbol_find_or_make (name
);
4779 *input_line_pointer
= endc
;
4781 S_SET_DATA_TYPE (ext_sym
, DT_FCN
<< N_BTSHFT
);
4782 SF_SET_FUNCTION (ext_sym
);
4783 SF_SET_PROCESS (ext_sym
);
4784 coff_add_linesym (ext_sym
);
4786 demand_empty_rest_of_line ();
4790 ppc_pe_tocd (int ignore ATTRIBUTE_UNUSED
)
4792 if (tocdata_section
== 0)
4794 tocdata_section
= subseg_new (".tocd", 0);
4795 /* FIXME: section flags won't work. */
4796 bfd_set_section_flags (stdoutput
, tocdata_section
,
4797 (SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
4798 | SEC_READONLY
| SEC_DATA
));
4800 bfd_set_section_alignment (stdoutput
, tocdata_section
, 2);
4804 rdata_section
= subseg_new (".tocd", 0);
4807 ppc_set_current_section (tocdata_section
);
4809 demand_empty_rest_of_line ();
4812 /* Don't adjust TOC relocs to use the section symbol. */
4815 ppc_pe_fix_adjustable (fixS
*fix
)
4817 return fix
->fx_r_type
!= BFD_RELOC_PPC_TOC16
;
4824 /* XCOFF specific symbol and file handling. */
4826 /* Canonicalize the symbol name. We use the to force the suffix, if
4827 any, to use square brackets, and to be in upper case. */
4830 ppc_canonicalize_symbol_name (char *name
)
4834 if (ppc_stab_symbol
)
4837 for (s
= name
; *s
!= '\0' && *s
!= '{' && *s
!= '['; s
++)
4851 for (s
++; *s
!= '\0' && *s
!= brac
; s
++)
4854 if (*s
== '\0' || s
[1] != '\0')
4855 as_bad (_("bad symbol suffix"));
4863 /* Set the class of a symbol based on the suffix, if any. This is
4864 called whenever a new symbol is created. */
4867 ppc_symbol_new_hook (symbolS
*sym
)
4869 struct ppc_tc_sy
*tc
;
4872 tc
= symbol_get_tc (sym
);
4876 tc
->real_name
= NULL
;
4882 if (ppc_stab_symbol
)
4885 s
= strchr (S_GET_NAME (sym
), '[');
4886 if (s
== (const char *) NULL
)
4888 /* There is no suffix. */
4897 if (strcmp (s
, "BS]") == 0)
4901 if (strcmp (s
, "DB]") == 0)
4903 else if (strcmp (s
, "DS]") == 0)
4907 if (strcmp (s
, "GL]") == 0)
4911 if (strcmp (s
, "PR]") == 0)
4915 if (strcmp (s
, "RO]") == 0)
4917 else if (strcmp (s
, "RW]") == 0)
4921 if (strcmp (s
, "SV]") == 0)
4925 if (strcmp (s
, "TC]") == 0)
4927 else if (strcmp (s
, "TI]") == 0)
4929 else if (strcmp (s
, "TB]") == 0)
4931 else if (strcmp (s
, "TC0]") == 0 || strcmp (s
, "T0]") == 0)
4932 tc
->class = XMC_TC0
;
4935 if (strcmp (s
, "UA]") == 0)
4937 else if (strcmp (s
, "UC]") == 0)
4941 if (strcmp (s
, "XO]") == 0)
4946 if (tc
->class == -1)
4947 as_bad (_("Unrecognized symbol suffix"));
4950 /* Set the class of a label based on where it is defined. This
4951 handles symbols without suffixes. Also, move the symbol so that it
4952 follows the csect symbol. */
4955 ppc_frob_label (symbolS
*sym
)
4957 if (ppc_current_csect
!= (symbolS
*) NULL
)
4959 if (symbol_get_tc (sym
)->class == -1)
4960 symbol_get_tc (sym
)->class = symbol_get_tc (ppc_current_csect
)->class;
4962 symbol_remove (sym
, &symbol_rootP
, &symbol_lastP
);
4963 symbol_append (sym
, symbol_get_tc (ppc_current_csect
)->within
,
4964 &symbol_rootP
, &symbol_lastP
);
4965 symbol_get_tc (ppc_current_csect
)->within
= sym
;
4969 dwarf2_emit_label (sym
);
4973 /* This variable is set by ppc_frob_symbol if any absolute symbols are
4974 seen. It tells ppc_adjust_symtab whether it needs to look through
4977 static bfd_boolean ppc_saw_abs
;
4979 /* Change the name of a symbol just before writing it out. Set the
4980 real name if the .rename pseudo-op was used. Otherwise, remove any
4981 class suffix. Return 1 if the symbol should not be included in the
4985 ppc_frob_symbol (symbolS
*sym
)
4987 static symbolS
*ppc_last_function
;
4988 static symbolS
*set_end
;
4990 /* Discard symbols that should not be included in the output symbol
4992 if (! symbol_used_in_reloc_p (sym
)
4993 && ((symbol_get_bfdsym (sym
)->flags
& BSF_SECTION_SYM
) != 0
4994 || (! (S_IS_EXTERNAL (sym
) || S_IS_WEAK (sym
))
4995 && ! symbol_get_tc (sym
)->output
4996 && S_GET_STORAGE_CLASS (sym
) != C_FILE
)))
4999 /* This one will disappear anyway. Don't make a csect sym for it. */
5000 if (sym
== abs_section_sym
)
5003 if (symbol_get_tc (sym
)->real_name
!= (char *) NULL
)
5004 S_SET_NAME (sym
, symbol_get_tc (sym
)->real_name
);
5010 name
= S_GET_NAME (sym
);
5011 s
= strchr (name
, '[');
5012 if (s
!= (char *) NULL
)
5018 snew
= xmalloc (len
+ 1);
5019 memcpy (snew
, name
, len
);
5022 S_SET_NAME (sym
, snew
);
5026 if (set_end
!= (symbolS
*) NULL
)
5028 SA_SET_SYM_ENDNDX (set_end
, sym
);
5032 if (SF_GET_FUNCTION (sym
))
5034 if (ppc_last_function
!= (symbolS
*) NULL
)
5035 as_bad (_("two .function pseudo-ops with no intervening .ef"));
5036 ppc_last_function
= sym
;
5037 if (symbol_get_tc (sym
)->size
!= (symbolS
*) NULL
)
5039 resolve_symbol_value (symbol_get_tc (sym
)->size
);
5040 SA_SET_SYM_FSIZE (sym
,
5041 (long) S_GET_VALUE (symbol_get_tc (sym
)->size
));
5044 else if (S_GET_STORAGE_CLASS (sym
) == C_FCN
5045 && strcmp (S_GET_NAME (sym
), ".ef") == 0)
5047 if (ppc_last_function
== (symbolS
*) NULL
)
5048 as_bad (_(".ef with no preceding .function"));
5051 set_end
= ppc_last_function
;
5052 ppc_last_function
= NULL
;
5054 /* We don't have a C_EFCN symbol, but we need to force the
5055 COFF backend to believe that it has seen one. */
5056 coff_last_function
= NULL
;
5060 if (! (S_IS_EXTERNAL (sym
) || S_IS_WEAK (sym
))
5061 && (symbol_get_bfdsym (sym
)->flags
& BSF_SECTION_SYM
) == 0
5062 && S_GET_STORAGE_CLASS (sym
) != C_FILE
5063 && S_GET_STORAGE_CLASS (sym
) != C_FCN
5064 && S_GET_STORAGE_CLASS (sym
) != C_BLOCK
5065 && S_GET_STORAGE_CLASS (sym
) != C_BSTAT
5066 && S_GET_STORAGE_CLASS (sym
) != C_ESTAT
5067 && S_GET_STORAGE_CLASS (sym
) != C_BINCL
5068 && S_GET_STORAGE_CLASS (sym
) != C_EINCL
5069 && S_GET_SEGMENT (sym
) != ppc_coff_debug_section
)
5070 S_SET_STORAGE_CLASS (sym
, C_HIDEXT
);
5072 if (S_GET_STORAGE_CLASS (sym
) == C_EXT
5073 || S_GET_STORAGE_CLASS (sym
) == C_HIDEXT
)
5076 union internal_auxent
*a
;
5078 /* Create a csect aux. */
5079 i
= S_GET_NUMBER_AUXILIARY (sym
);
5080 S_SET_NUMBER_AUXILIARY (sym
, i
+ 1);
5081 a
= &coffsymbol (symbol_get_bfdsym (sym
))->native
[i
+ 1].u
.auxent
;
5082 if (symbol_get_tc (sym
)->class == XMC_TC0
)
5084 /* This is the TOC table. */
5085 know (strcmp (S_GET_NAME (sym
), "TOC") == 0);
5086 a
->x_csect
.x_scnlen
.l
= 0;
5087 a
->x_csect
.x_smtyp
= (2 << 3) | XTY_SD
;
5089 else if (symbol_get_tc (sym
)->subseg
!= 0)
5091 /* This is a csect symbol. x_scnlen is the size of the
5093 if (symbol_get_tc (sym
)->next
== (symbolS
*) NULL
)
5094 a
->x_csect
.x_scnlen
.l
= (bfd_section_size (stdoutput
,
5095 S_GET_SEGMENT (sym
))
5096 - S_GET_VALUE (sym
));
5099 resolve_symbol_value (symbol_get_tc (sym
)->next
);
5100 a
->x_csect
.x_scnlen
.l
= (S_GET_VALUE (symbol_get_tc (sym
)->next
)
5101 - S_GET_VALUE (sym
));
5103 a
->x_csect
.x_smtyp
= (symbol_get_tc (sym
)->align
<< 3) | XTY_SD
;
5105 else if (S_GET_SEGMENT (sym
) == bss_section
)
5107 /* This is a common symbol. */
5108 a
->x_csect
.x_scnlen
.l
= symbol_get_frag (sym
)->fr_offset
;
5109 a
->x_csect
.x_smtyp
= (symbol_get_tc (sym
)->align
<< 3) | XTY_CM
;
5110 if (S_IS_EXTERNAL (sym
))
5111 symbol_get_tc (sym
)->class = XMC_RW
;
5113 symbol_get_tc (sym
)->class = XMC_BS
;
5115 else if (S_GET_SEGMENT (sym
) == absolute_section
)
5117 /* This is an absolute symbol. The csect will be created by
5118 ppc_adjust_symtab. */
5120 a
->x_csect
.x_smtyp
= XTY_LD
;
5121 if (symbol_get_tc (sym
)->class == -1)
5122 symbol_get_tc (sym
)->class = XMC_XO
;
5124 else if (! S_IS_DEFINED (sym
))
5126 /* This is an external symbol. */
5127 a
->x_csect
.x_scnlen
.l
= 0;
5128 a
->x_csect
.x_smtyp
= XTY_ER
;
5130 else if (symbol_get_tc (sym
)->class == XMC_TC
)
5134 /* This is a TOC definition. x_scnlen is the size of the
5136 next
= symbol_next (sym
);
5137 while (symbol_get_tc (next
)->class == XMC_TC0
)
5138 next
= symbol_next (next
);
5139 if (next
== (symbolS
*) NULL
5140 || symbol_get_tc (next
)->class != XMC_TC
)
5142 if (ppc_after_toc_frag
== (fragS
*) NULL
)
5143 a
->x_csect
.x_scnlen
.l
= (bfd_section_size (stdoutput
,
5145 - S_GET_VALUE (sym
));
5147 a
->x_csect
.x_scnlen
.l
= (ppc_after_toc_frag
->fr_address
5148 - S_GET_VALUE (sym
));
5152 resolve_symbol_value (next
);
5153 a
->x_csect
.x_scnlen
.l
= (S_GET_VALUE (next
)
5154 - S_GET_VALUE (sym
));
5156 a
->x_csect
.x_smtyp
= (2 << 3) | XTY_SD
;
5162 /* This is a normal symbol definition. x_scnlen is the
5163 symbol index of the containing csect. */
5164 if (S_GET_SEGMENT (sym
) == text_section
)
5165 csect
= ppc_text_csects
;
5166 else if (S_GET_SEGMENT (sym
) == data_section
)
5167 csect
= ppc_data_csects
;
5171 /* Skip the initial dummy symbol. */
5172 csect
= symbol_get_tc (csect
)->next
;
5174 if (csect
== (symbolS
*) NULL
)
5176 as_warn (_("warning: symbol %s has no csect"), S_GET_NAME (sym
));
5177 a
->x_csect
.x_scnlen
.l
= 0;
5181 while (symbol_get_tc (csect
)->next
!= (symbolS
*) NULL
)
5183 resolve_symbol_value (symbol_get_tc (csect
)->next
);
5184 if (S_GET_VALUE (symbol_get_tc (csect
)->next
)
5185 > S_GET_VALUE (sym
))
5187 csect
= symbol_get_tc (csect
)->next
;
5190 a
->x_csect
.x_scnlen
.p
=
5191 coffsymbol (symbol_get_bfdsym (csect
))->native
;
5192 coffsymbol (symbol_get_bfdsym (sym
))->native
[i
+ 1].fix_scnlen
=
5195 a
->x_csect
.x_smtyp
= XTY_LD
;
5198 a
->x_csect
.x_parmhash
= 0;
5199 a
->x_csect
.x_snhash
= 0;
5200 if (symbol_get_tc (sym
)->class == -1)
5201 a
->x_csect
.x_smclas
= XMC_PR
;
5203 a
->x_csect
.x_smclas
= symbol_get_tc (sym
)->class;
5204 a
->x_csect
.x_stab
= 0;
5205 a
->x_csect
.x_snstab
= 0;
5207 /* Don't let the COFF backend resort these symbols. */
5208 symbol_get_bfdsym (sym
)->flags
|= BSF_NOT_AT_END
;
5210 else if (S_GET_STORAGE_CLASS (sym
) == C_BSTAT
)
5212 /* We want the value to be the symbol index of the referenced
5213 csect symbol. BFD will do that for us if we set the right
5215 asymbol
*bsym
= symbol_get_bfdsym (symbol_get_tc (sym
)->within
);
5216 combined_entry_type
*c
= coffsymbol (bsym
)->native
;
5218 S_SET_VALUE (sym
, (valueT
) (size_t) c
);
5219 coffsymbol (symbol_get_bfdsym (sym
))->native
->fix_value
= 1;
5221 else if (S_GET_STORAGE_CLASS (sym
) == C_STSYM
)
5226 /* The value is the offset from the enclosing csect. */
5227 block
= symbol_get_tc (sym
)->within
;
5228 csect
= symbol_get_tc (block
)->within
;
5229 resolve_symbol_value (csect
);
5230 S_SET_VALUE (sym
, S_GET_VALUE (sym
) - S_GET_VALUE (csect
));
5232 else if (S_GET_STORAGE_CLASS (sym
) == C_BINCL
5233 || S_GET_STORAGE_CLASS (sym
) == C_EINCL
)
5235 /* We want the value to be a file offset into the line numbers.
5236 BFD will do that for us if we set the right flags. We have
5237 already set the value correctly. */
5238 coffsymbol (symbol_get_bfdsym (sym
))->native
->fix_line
= 1;
5244 /* Adjust the symbol table. This creates csect symbols for all
5245 absolute symbols. */
5248 ppc_adjust_symtab (void)
5255 for (sym
= symbol_rootP
; sym
!= NULL
; sym
= symbol_next (sym
))
5259 union internal_auxent
*a
;
5261 if (S_GET_SEGMENT (sym
) != absolute_section
)
5264 csect
= symbol_create (".abs[XO]", absolute_section
,
5265 S_GET_VALUE (sym
), &zero_address_frag
);
5266 symbol_get_bfdsym (csect
)->value
= S_GET_VALUE (sym
);
5267 S_SET_STORAGE_CLASS (csect
, C_HIDEXT
);
5268 i
= S_GET_NUMBER_AUXILIARY (csect
);
5269 S_SET_NUMBER_AUXILIARY (csect
, i
+ 1);
5270 a
= &coffsymbol (symbol_get_bfdsym (csect
))->native
[i
+ 1].u
.auxent
;
5271 a
->x_csect
.x_scnlen
.l
= 0;
5272 a
->x_csect
.x_smtyp
= XTY_SD
;
5273 a
->x_csect
.x_parmhash
= 0;
5274 a
->x_csect
.x_snhash
= 0;
5275 a
->x_csect
.x_smclas
= XMC_XO
;
5276 a
->x_csect
.x_stab
= 0;
5277 a
->x_csect
.x_snstab
= 0;
5279 symbol_insert (csect
, sym
, &symbol_rootP
, &symbol_lastP
);
5281 i
= S_GET_NUMBER_AUXILIARY (sym
);
5282 a
= &coffsymbol (symbol_get_bfdsym (sym
))->native
[i
].u
.auxent
;
5283 a
->x_csect
.x_scnlen
.p
= coffsymbol (symbol_get_bfdsym (csect
))->native
;
5284 coffsymbol (symbol_get_bfdsym (sym
))->native
[i
].fix_scnlen
= 1;
5287 ppc_saw_abs
= FALSE
;
5290 /* Set the VMA for a section. This is called on all the sections in
5294 ppc_frob_section (asection
*sec
)
5296 static bfd_vma vma
= 0;
5298 vma
= md_section_align (sec
, vma
);
5299 bfd_set_section_vma (stdoutput
, sec
, vma
);
5300 vma
+= bfd_section_size (stdoutput
, sec
);
5303 #endif /* OBJ_XCOFF */
5306 md_atof (int type
, char *litp
, int *sizep
)
5308 return ieee_md_atof (type
, litp
, sizep
, target_big_endian
);
5311 /* Write a value out to the object file, using the appropriate
5315 md_number_to_chars (char *buf
, valueT val
, int n
)
5317 if (target_big_endian
)
5318 number_to_chars_bigendian (buf
, val
, n
);
5320 number_to_chars_littleendian (buf
, val
, n
);
5323 /* Align a section (I don't know why this is machine dependent). */
5326 md_section_align (asection
*seg ATTRIBUTE_UNUSED
, valueT addr
)
5331 int align
= bfd_get_section_alignment (stdoutput
, seg
);
5333 return ((addr
+ (1 << align
) - 1) & (-1 << align
));
5337 /* We don't have any form of relaxing. */
5340 md_estimate_size_before_relax (fragS
*fragp ATTRIBUTE_UNUSED
,
5341 asection
*seg ATTRIBUTE_UNUSED
)
5347 /* Convert a machine dependent frag. We never generate these. */
5350 md_convert_frag (bfd
*abfd ATTRIBUTE_UNUSED
,
5351 asection
*sec ATTRIBUTE_UNUSED
,
5352 fragS
*fragp ATTRIBUTE_UNUSED
)
5357 /* We have no need to default values of symbols. */
5360 md_undefined_symbol (char *name ATTRIBUTE_UNUSED
)
5365 /* Functions concerning relocs. */
5367 /* The location from which a PC relative jump should be calculated,
5368 given a PC relative reloc. */
5371 md_pcrel_from_section (fixS
*fixp
, segT sec ATTRIBUTE_UNUSED
)
5373 return fixp
->fx_frag
->fr_address
+ fixp
->fx_where
;
5378 /* This is called to see whether a fixup should be adjusted to use a
5379 section symbol. We take the opportunity to change a fixup against
5380 a symbol in the TOC subsegment into a reloc against the
5381 corresponding .tc symbol. */
5384 ppc_fix_adjustable (fixS
*fix
)
5386 valueT val
= resolve_symbol_value (fix
->fx_addsy
);
5387 segT symseg
= S_GET_SEGMENT (fix
->fx_addsy
);
5388 TC_SYMFIELD_TYPE
*tc
;
5390 if (symseg
== absolute_section
)
5393 if (ppc_toc_csect
!= (symbolS
*) NULL
5394 && fix
->fx_addsy
!= ppc_toc_csect
5395 && symseg
== data_section
5396 && val
>= ppc_toc_frag
->fr_address
5397 && (ppc_after_toc_frag
== (fragS
*) NULL
5398 || val
< ppc_after_toc_frag
->fr_address
))
5402 for (sy
= symbol_next (ppc_toc_csect
);
5403 sy
!= (symbolS
*) NULL
;
5404 sy
= symbol_next (sy
))
5406 TC_SYMFIELD_TYPE
*sy_tc
= symbol_get_tc (sy
);
5408 if (sy_tc
->class == XMC_TC0
)
5410 if (sy_tc
->class != XMC_TC
)
5412 if (val
== resolve_symbol_value (sy
))
5415 fix
->fx_addnumber
= val
- ppc_toc_frag
->fr_address
;
5420 as_bad_where (fix
->fx_file
, fix
->fx_line
,
5421 _("symbol in .toc does not match any .tc"));
5424 /* Possibly adjust the reloc to be against the csect. */
5425 tc
= symbol_get_tc (fix
->fx_addsy
);
5427 && tc
->class != XMC_TC0
5428 && tc
->class != XMC_TC
5429 && symseg
!= bss_section
5430 /* Don't adjust if this is a reloc in the toc section. */
5431 && (symseg
!= data_section
5432 || ppc_toc_csect
== NULL
5433 || val
< ppc_toc_frag
->fr_address
5434 || (ppc_after_toc_frag
!= NULL
5435 && val
>= ppc_after_toc_frag
->fr_address
)))
5438 symbolS
*next_csect
;
5440 if (symseg
== text_section
)
5441 csect
= ppc_text_csects
;
5442 else if (symseg
== data_section
)
5443 csect
= ppc_data_csects
;
5447 /* Skip the initial dummy symbol. */
5448 csect
= symbol_get_tc (csect
)->next
;
5450 if (csect
!= (symbolS
*) NULL
)
5452 while ((next_csect
= symbol_get_tc (csect
)->next
) != (symbolS
*) NULL
5453 && (symbol_get_frag (next_csect
)->fr_address
<= val
))
5455 /* If the csect address equals the symbol value, then we
5456 have to look through the full symbol table to see
5457 whether this is the csect we want. Note that we will
5458 only get here if the csect has zero length. */
5459 if (symbol_get_frag (csect
)->fr_address
== val
5460 && S_GET_VALUE (csect
) == val
)
5464 for (scan
= symbol_next (csect
);
5466 scan
= symbol_next (scan
))
5468 if (symbol_get_tc (scan
)->subseg
!= 0)
5470 if (scan
== fix
->fx_addsy
)
5474 /* If we found the symbol before the next csect
5475 symbol, then this is the csect we want. */
5476 if (scan
== fix
->fx_addsy
)
5483 fix
->fx_offset
+= val
- symbol_get_frag (csect
)->fr_address
;
5484 fix
->fx_addsy
= csect
;
5489 /* Adjust a reloc against a .lcomm symbol to be against the base
5491 if (symseg
== bss_section
5492 && ! S_IS_EXTERNAL (fix
->fx_addsy
))
5494 symbolS
*sy
= symbol_get_frag (fix
->fx_addsy
)->fr_symbol
;
5496 fix
->fx_offset
+= val
- resolve_symbol_value (sy
);
5503 /* A reloc from one csect to another must be kept. The assembler
5504 will, of course, keep relocs between sections, and it will keep
5505 absolute relocs, but we need to force it to keep PC relative relocs
5506 between two csects in the same section. */
5509 ppc_force_relocation (fixS
*fix
)
5511 /* At this point fix->fx_addsy should already have been converted to
5512 a csect symbol. If the csect does not include the fragment, then
5513 we need to force the relocation. */
5515 && fix
->fx_addsy
!= NULL
5516 && symbol_get_tc (fix
->fx_addsy
)->subseg
!= 0
5517 && ((symbol_get_frag (fix
->fx_addsy
)->fr_address
5518 > fix
->fx_frag
->fr_address
)
5519 || (symbol_get_tc (fix
->fx_addsy
)->next
!= NULL
5520 && (symbol_get_frag (symbol_get_tc (fix
->fx_addsy
)->next
)->fr_address
5521 <= fix
->fx_frag
->fr_address
))))
5524 return generic_force_reloc (fix
);
5527 #endif /* OBJ_XCOFF */
5530 /* If this function returns non-zero, it guarantees that a relocation
5531 will be emitted for a fixup. */
5534 ppc_force_relocation (fixS
*fix
)
5536 /* Branch prediction relocations must force a relocation, as must
5537 the vtable description relocs. */
5538 switch (fix
->fx_r_type
)
5540 case BFD_RELOC_PPC_B16_BRTAKEN
:
5541 case BFD_RELOC_PPC_B16_BRNTAKEN
:
5542 case BFD_RELOC_PPC_BA16_BRTAKEN
:
5543 case BFD_RELOC_PPC_BA16_BRNTAKEN
:
5544 case BFD_RELOC_24_PLT_PCREL
:
5545 case BFD_RELOC_PPC64_TOC
:
5551 if (fix
->fx_r_type
>= BFD_RELOC_PPC_TLS
5552 && fix
->fx_r_type
<= BFD_RELOC_PPC64_DTPREL16_HIGHESTA
)
5555 return generic_force_reloc (fix
);
5559 ppc_fix_adjustable (fixS
*fix
)
5561 return (fix
->fx_r_type
!= BFD_RELOC_16_GOTOFF
5562 && fix
->fx_r_type
!= BFD_RELOC_LO16_GOTOFF
5563 && fix
->fx_r_type
!= BFD_RELOC_HI16_GOTOFF
5564 && fix
->fx_r_type
!= BFD_RELOC_HI16_S_GOTOFF
5565 && fix
->fx_r_type
!= BFD_RELOC_GPREL16
5566 && fix
->fx_r_type
!= BFD_RELOC_VTABLE_INHERIT
5567 && fix
->fx_r_type
!= BFD_RELOC_VTABLE_ENTRY
5568 && !(fix
->fx_r_type
>= BFD_RELOC_PPC_TLS
5569 && fix
->fx_r_type
<= BFD_RELOC_PPC64_DTPREL16_HIGHESTA
));
5573 /* Implement HANDLE_ALIGN. This writes the NOP pattern into an
5574 rs_align_code frag. */
5577 ppc_handle_align (struct frag
*fragP
)
5579 valueT count
= (fragP
->fr_next
->fr_address
5580 - (fragP
->fr_address
+ fragP
->fr_fix
));
5582 if (count
!= 0 && (count
& 3) == 0)
5584 char *dest
= fragP
->fr_literal
+ fragP
->fr_fix
;
5587 md_number_to_chars (dest
, 0x60000000, 4);
5589 if ((ppc_cpu
& PPC_OPCODE_POWER6
) != 0)
5591 /* For power6, we want the last nop to be a group terminating
5592 one, "ori 1,1,0". Do this by inserting an rs_fill frag
5593 immediately after this one, with its address set to the last
5594 nop location. This will automatically reduce the number of
5595 nops in the current frag by one. */
5598 struct frag
*group_nop
= xmalloc (SIZEOF_STRUCT_FRAG
+ 4);
5600 memcpy (group_nop
, fragP
, SIZEOF_STRUCT_FRAG
);
5601 group_nop
->fr_address
= group_nop
->fr_next
->fr_address
- 4;
5602 group_nop
->fr_fix
= 0;
5603 group_nop
->fr_offset
= 1;
5604 group_nop
->fr_type
= rs_fill
;
5605 fragP
->fr_next
= group_nop
;
5606 dest
= group_nop
->fr_literal
;
5609 md_number_to_chars (dest
, 0x60210000, 4);
5614 /* Apply a fixup to the object code. This is called for all the
5615 fixups we generated by the call to fix_new_exp, above. In the call
5616 above we used a reloc code which was the largest legal reloc code
5617 plus the operand index. Here we undo that to recover the operand
5618 index. At this point all symbol values should be fully resolved,
5619 and we attempt to completely resolve the reloc. If we can not do
5620 that, we determine the correct reloc code and put it back in the
5624 md_apply_fix (fixS
*fixP
, valueT
*valP
, segT seg ATTRIBUTE_UNUSED
)
5626 valueT value
= * valP
;
5629 if (fixP
->fx_addsy
!= NULL
)
5631 /* Hack around bfd_install_relocation brain damage. */
5633 value
+= fixP
->fx_frag
->fr_address
+ fixP
->fx_where
;
5638 /* FIXME FIXME FIXME: The value we are passed in *valP includes
5639 the symbol values. If we are doing this relocation the code in
5640 write.c is going to call bfd_install_relocation, which is also
5641 going to use the symbol value. That means that if the reloc is
5642 fully resolved we want to use *valP since bfd_install_relocation is
5644 However, if the reloc is not fully resolved we do not want to use
5645 *valP, and must use fx_offset instead. However, if the reloc
5646 is PC relative, we do want to use *valP since it includes the
5647 result of md_pcrel_from. This is confusing. */
5648 if (fixP
->fx_addsy
== (symbolS
*) NULL
)
5651 else if (fixP
->fx_pcrel
)
5655 value
= fixP
->fx_offset
;
5658 if (fixP
->fx_subsy
!= (symbolS
*) NULL
)
5660 /* We can't actually support subtracting a symbol. */
5661 as_bad_where (fixP
->fx_file
, fixP
->fx_line
, _("expression too complex"));
5664 if ((int) fixP
->fx_r_type
>= (int) BFD_RELOC_UNUSED
)
5667 const struct powerpc_operand
*operand
;
5671 opindex
= (int) fixP
->fx_r_type
- (int) BFD_RELOC_UNUSED
;
5673 operand
= &powerpc_operands
[opindex
];
5676 /* An instruction like `lwz 9,sym(30)' when `sym' is not a TOC symbol
5677 does not generate a reloc. It uses the offset of `sym' within its
5678 csect. Other usages, such as `.long sym', generate relocs. This
5679 is the documented behaviour of non-TOC symbols. */
5680 if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0
5681 && (operand
->bitm
& 0xfff0) == 0xfff0
5682 && operand
->shift
== 0
5683 && (operand
->insert
== NULL
|| ppc_obj64
)
5684 && fixP
->fx_addsy
!= NULL
5685 && symbol_get_tc (fixP
->fx_addsy
)->subseg
!= 0
5686 && symbol_get_tc (fixP
->fx_addsy
)->class != XMC_TC
5687 && symbol_get_tc (fixP
->fx_addsy
)->class != XMC_TC0
5688 && S_GET_SEGMENT (fixP
->fx_addsy
) != bss_section
)
5690 value
= fixP
->fx_offset
;
5695 /* Fetch the instruction, insert the fully resolved operand
5696 value, and stuff the instruction back again. */
5697 where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
5698 if (target_big_endian
)
5699 insn
= bfd_getb32 ((unsigned char *) where
);
5701 insn
= bfd_getl32 ((unsigned char *) where
);
5702 insn
= ppc_insert_operand (insn
, operand
, (offsetT
) value
,
5703 fixP
->tc_fix_data
.ppc_cpu
,
5704 fixP
->fx_file
, fixP
->fx_line
);
5705 if (target_big_endian
)
5706 bfd_putb32 ((bfd_vma
) insn
, (unsigned char *) where
);
5708 bfd_putl32 ((bfd_vma
) insn
, (unsigned char *) where
);
5711 /* Nothing else to do here. */
5714 assert (fixP
->fx_addsy
!= NULL
);
5716 /* Determine a BFD reloc value based on the operand information.
5717 We are only prepared to turn a few of the operands into
5719 if ((operand
->flags
& PPC_OPERAND_RELATIVE
) != 0
5720 && operand
->bitm
== 0x3fffffc
5721 && operand
->shift
== 0)
5722 fixP
->fx_r_type
= BFD_RELOC_PPC_B26
;
5723 else if ((operand
->flags
& PPC_OPERAND_RELATIVE
) != 0
5724 && operand
->bitm
== 0xfffc
5725 && operand
->shift
== 0)
5727 fixP
->fx_r_type
= BFD_RELOC_PPC_B16
;
5730 if (target_big_endian
)
5731 fixP
->fx_where
+= 2;
5734 else if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0
5735 && operand
->bitm
== 0x3fffffc
5736 && operand
->shift
== 0)
5737 fixP
->fx_r_type
= BFD_RELOC_PPC_BA26
;
5738 else if ((operand
->flags
& PPC_OPERAND_ABSOLUTE
) != 0
5739 && operand
->bitm
== 0xfffc
5740 && operand
->shift
== 0)
5742 fixP
->fx_r_type
= BFD_RELOC_PPC_BA16
;
5745 if (target_big_endian
)
5746 fixP
->fx_where
+= 2;
5749 #if defined (OBJ_XCOFF) || defined (OBJ_ELF)
5750 else if ((operand
->flags
& PPC_OPERAND_PARENS
) != 0
5751 && (operand
->bitm
& 0xfff0) == 0xfff0
5752 && operand
->shift
== 0)
5754 if (ppc_is_toc_sym (fixP
->fx_addsy
))
5756 fixP
->fx_r_type
= BFD_RELOC_PPC_TOC16
;
5759 && (operand
->flags
& PPC_OPERAND_DS
) != 0)
5760 fixP
->fx_r_type
= BFD_RELOC_PPC64_TOC16_DS
;
5765 fixP
->fx_r_type
= BFD_RELOC_16
;
5768 && (operand
->flags
& PPC_OPERAND_DS
) != 0)
5769 fixP
->fx_r_type
= BFD_RELOC_PPC64_ADDR16_DS
;
5773 if (target_big_endian
)
5774 fixP
->fx_where
+= 2;
5776 #endif /* defined (OBJ_XCOFF) || defined (OBJ_ELF) */
5782 /* Use expr_symbol_where to see if this is an expression
5784 if (expr_symbol_where (fixP
->fx_addsy
, &sfile
, &sline
))
5785 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
5786 _("unresolved expression that must be resolved"));
5788 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
5789 _("unsupported relocation against %s"),
5790 S_GET_NAME (fixP
->fx_addsy
));
5798 ppc_elf_validate_fix (fixP
, seg
);
5800 switch (fixP
->fx_r_type
)
5802 case BFD_RELOC_CTOR
:
5809 fixP
->fx_r_type
= BFD_RELOC_32_PCREL
;
5813 case BFD_RELOC_32_PCREL
:
5814 case BFD_RELOC_PPC_EMB_NADDR32
:
5815 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5822 fixP
->fx_r_type
= BFD_RELOC_64_PCREL
;
5825 case BFD_RELOC_64_PCREL
:
5826 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5830 case BFD_RELOC_GPREL16
:
5831 case BFD_RELOC_16_GOT_PCREL
:
5832 case BFD_RELOC_16_GOTOFF
:
5833 case BFD_RELOC_LO16_GOTOFF
:
5834 case BFD_RELOC_HI16_GOTOFF
:
5835 case BFD_RELOC_HI16_S_GOTOFF
:
5836 case BFD_RELOC_16_BASEREL
:
5837 case BFD_RELOC_LO16_BASEREL
:
5838 case BFD_RELOC_HI16_BASEREL
:
5839 case BFD_RELOC_HI16_S_BASEREL
:
5840 case BFD_RELOC_PPC_EMB_NADDR16
:
5841 case BFD_RELOC_PPC_EMB_NADDR16_LO
:
5842 case BFD_RELOC_PPC_EMB_NADDR16_HI
:
5843 case BFD_RELOC_PPC_EMB_NADDR16_HA
:
5844 case BFD_RELOC_PPC_EMB_SDAI16
:
5845 case BFD_RELOC_PPC_EMB_SDA2REL
:
5846 case BFD_RELOC_PPC_EMB_SDA2I16
:
5847 case BFD_RELOC_PPC_EMB_RELSEC16
:
5848 case BFD_RELOC_PPC_EMB_RELST_LO
:
5849 case BFD_RELOC_PPC_EMB_RELST_HI
:
5850 case BFD_RELOC_PPC_EMB_RELST_HA
:
5851 case BFD_RELOC_PPC_EMB_RELSDA
:
5852 case BFD_RELOC_PPC_TOC16
:
5854 case BFD_RELOC_PPC64_TOC16_LO
:
5855 case BFD_RELOC_PPC64_TOC16_HI
:
5856 case BFD_RELOC_PPC64_TOC16_HA
:
5860 if (fixP
->fx_addsy
!= NULL
)
5861 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
5862 _("cannot emit PC relative %s relocation against %s"),
5863 bfd_get_reloc_code_name (fixP
->fx_r_type
),
5864 S_GET_NAME (fixP
->fx_addsy
));
5866 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
5867 _("cannot emit PC relative %s relocation"),
5868 bfd_get_reloc_code_name (fixP
->fx_r_type
));
5871 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5877 fixP
->fx_r_type
= BFD_RELOC_16_PCREL
;
5880 case BFD_RELOC_16_PCREL
:
5881 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5885 case BFD_RELOC_LO16
:
5887 fixP
->fx_r_type
= BFD_RELOC_LO16_PCREL
;
5890 case BFD_RELOC_LO16_PCREL
:
5891 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5895 /* This case happens when you write, for example,
5897 where L1 and L2 are defined later. */
5898 case BFD_RELOC_HI16
:
5900 fixP
->fx_r_type
= BFD_RELOC_HI16_PCREL
;
5903 case BFD_RELOC_HI16_PCREL
:
5904 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5908 case BFD_RELOC_HI16_S
:
5910 fixP
->fx_r_type
= BFD_RELOC_HI16_S_PCREL
;
5913 case BFD_RELOC_HI16_S_PCREL
:
5914 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5919 case BFD_RELOC_PPC64_HIGHER
:
5922 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5923 PPC_HIGHER (value
), 2);
5926 case BFD_RELOC_PPC64_HIGHER_S
:
5929 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5930 PPC_HIGHERA (value
), 2);
5933 case BFD_RELOC_PPC64_HIGHEST
:
5936 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5937 PPC_HIGHEST (value
), 2);
5940 case BFD_RELOC_PPC64_HIGHEST_S
:
5943 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
5944 PPC_HIGHESTA (value
), 2);
5947 case BFD_RELOC_PPC64_ADDR16_DS
:
5948 case BFD_RELOC_PPC64_ADDR16_LO_DS
:
5949 case BFD_RELOC_PPC64_GOT16_DS
:
5950 case BFD_RELOC_PPC64_GOT16_LO_DS
:
5951 case BFD_RELOC_PPC64_PLT16_LO_DS
:
5952 case BFD_RELOC_PPC64_SECTOFF_DS
:
5953 case BFD_RELOC_PPC64_SECTOFF_LO_DS
:
5954 case BFD_RELOC_PPC64_TOC16_DS
:
5955 case BFD_RELOC_PPC64_TOC16_LO_DS
:
5956 case BFD_RELOC_PPC64_PLTGOT16_DS
:
5957 case BFD_RELOC_PPC64_PLTGOT16_LO_DS
:
5961 char *where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
5962 unsigned long val
, mask
;
5964 if (target_big_endian
)
5965 val
= bfd_getb32 (where
- 2);
5967 val
= bfd_getl32 (where
);
5969 /* lq insns reserve the four lsbs. */
5970 if ((ppc_cpu
& PPC_OPCODE_POWER4
) != 0
5971 && (val
& (0x3f << 26)) == (56u << 26))
5973 val
|= value
& mask
;
5974 if (target_big_endian
)
5975 bfd_putb16 ((bfd_vma
) val
, where
);
5977 bfd_putl16 ((bfd_vma
) val
, where
);
5981 case BFD_RELOC_PPC_B16_BRTAKEN
:
5982 case BFD_RELOC_PPC_B16_BRNTAKEN
:
5983 case BFD_RELOC_PPC_BA16_BRTAKEN
:
5984 case BFD_RELOC_PPC_BA16_BRNTAKEN
:
5987 case BFD_RELOC_PPC_TLS
:
5990 case BFD_RELOC_PPC_DTPMOD
:
5991 case BFD_RELOC_PPC_TPREL16
:
5992 case BFD_RELOC_PPC_TPREL16_LO
:
5993 case BFD_RELOC_PPC_TPREL16_HI
:
5994 case BFD_RELOC_PPC_TPREL16_HA
:
5995 case BFD_RELOC_PPC_TPREL
:
5996 case BFD_RELOC_PPC_DTPREL16
:
5997 case BFD_RELOC_PPC_DTPREL16_LO
:
5998 case BFD_RELOC_PPC_DTPREL16_HI
:
5999 case BFD_RELOC_PPC_DTPREL16_HA
:
6000 case BFD_RELOC_PPC_DTPREL
:
6001 case BFD_RELOC_PPC_GOT_TLSGD16
:
6002 case BFD_RELOC_PPC_GOT_TLSGD16_LO
:
6003 case BFD_RELOC_PPC_GOT_TLSGD16_HI
:
6004 case BFD_RELOC_PPC_GOT_TLSGD16_HA
:
6005 case BFD_RELOC_PPC_GOT_TLSLD16
:
6006 case BFD_RELOC_PPC_GOT_TLSLD16_LO
:
6007 case BFD_RELOC_PPC_GOT_TLSLD16_HI
:
6008 case BFD_RELOC_PPC_GOT_TLSLD16_HA
:
6009 case BFD_RELOC_PPC_GOT_TPREL16
:
6010 case BFD_RELOC_PPC_GOT_TPREL16_LO
:
6011 case BFD_RELOC_PPC_GOT_TPREL16_HI
:
6012 case BFD_RELOC_PPC_GOT_TPREL16_HA
:
6013 case BFD_RELOC_PPC_GOT_DTPREL16
:
6014 case BFD_RELOC_PPC_GOT_DTPREL16_LO
:
6015 case BFD_RELOC_PPC_GOT_DTPREL16_HI
:
6016 case BFD_RELOC_PPC_GOT_DTPREL16_HA
:
6017 case BFD_RELOC_PPC64_TPREL16_DS
:
6018 case BFD_RELOC_PPC64_TPREL16_LO_DS
:
6019 case BFD_RELOC_PPC64_TPREL16_HIGHER
:
6020 case BFD_RELOC_PPC64_TPREL16_HIGHERA
:
6021 case BFD_RELOC_PPC64_TPREL16_HIGHEST
:
6022 case BFD_RELOC_PPC64_TPREL16_HIGHESTA
:
6023 case BFD_RELOC_PPC64_DTPREL16_DS
:
6024 case BFD_RELOC_PPC64_DTPREL16_LO_DS
:
6025 case BFD_RELOC_PPC64_DTPREL16_HIGHER
:
6026 case BFD_RELOC_PPC64_DTPREL16_HIGHERA
:
6027 case BFD_RELOC_PPC64_DTPREL16_HIGHEST
:
6028 case BFD_RELOC_PPC64_DTPREL16_HIGHESTA
:
6029 S_SET_THREAD_LOCAL (fixP
->fx_addsy
);
6032 /* Because SDA21 modifies the register field, the size is set to 4
6033 bytes, rather than 2, so offset it here appropriately. */
6034 case BFD_RELOC_PPC_EMB_SDA21
:
6038 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
6039 + ((target_big_endian
) ? 2 : 0),
6046 /* This can occur if there is a bug in the input assembler, eg:
6047 ".byte <undefined_symbol> - ." */
6049 as_bad (_("Unable to handle reference to symbol %s"),
6050 S_GET_NAME (fixP
->fx_addsy
));
6052 as_bad (_("Unable to resolve expression"));
6056 md_number_to_chars (fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
,
6060 case BFD_RELOC_24_PLT_PCREL
:
6061 case BFD_RELOC_PPC_LOCAL24PC
:
6062 if (!fixP
->fx_pcrel
&& !fixP
->fx_done
)
6070 /* Fetch the instruction, insert the fully resolved operand
6071 value, and stuff the instruction back again. */
6072 where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
6073 if (target_big_endian
)
6074 insn
= bfd_getb32 ((unsigned char *) where
);
6076 insn
= bfd_getl32 ((unsigned char *) where
);
6077 if ((value
& 3) != 0)
6078 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6079 _("must branch to an address a multiple of 4"));
6080 if ((offsetT
) value
< -0x40000000
6081 || (offsetT
) value
>= 0x40000000)
6082 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
6083 _("@local or @plt branch destination is too far away, %ld bytes"),
6085 insn
= insn
| (value
& 0x03fffffc);
6086 if (target_big_endian
)
6087 bfd_putb32 ((bfd_vma
) insn
, (unsigned char *) where
);
6089 bfd_putl32 ((bfd_vma
) insn
, (unsigned char *) where
);
6093 case BFD_RELOC_VTABLE_INHERIT
:
6096 && !S_IS_DEFINED (fixP
->fx_addsy
)
6097 && !S_IS_WEAK (fixP
->fx_addsy
))
6098 S_SET_WEAK (fixP
->fx_addsy
);
6101 case BFD_RELOC_VTABLE_ENTRY
:
6106 /* Generated by reference to `sym@tocbase'. The sym is
6107 ignored by the linker. */
6108 case BFD_RELOC_PPC64_TOC
:
6114 _("Gas failure, reloc value %d\n"), fixP
->fx_r_type
);
6121 fixP
->fx_addnumber
= value
;
6123 /* PowerPC uses RELA relocs, ie. the reloc addend is stored separately
6124 from the section contents. If we are going to be emitting a reloc
6125 then the section contents are immaterial, so don't warn if they
6126 happen to overflow. Leave such warnings to ld. */
6128 fixP
->fx_no_overflow
= 1;
6130 if (fixP
->fx_r_type
!= BFD_RELOC_PPC_TOC16
)
6131 fixP
->fx_addnumber
= 0;
6135 fixP
->fx_addnumber
= 0;
6137 /* We want to use the offset within the toc, not the actual VMA
6139 fixP
->fx_addnumber
=
6140 - bfd_get_section_vma (stdoutput
, S_GET_SEGMENT (fixP
->fx_addsy
))
6141 - S_GET_VALUE (ppc_toc_csect
);
6147 /* Generate a reloc for a fixup. */
6150 tc_gen_reloc (asection
*seg ATTRIBUTE_UNUSED
, fixS
*fixp
)
6154 reloc
= (arelent
*) xmalloc (sizeof (arelent
));
6156 reloc
->sym_ptr_ptr
= (asymbol
**) xmalloc (sizeof (asymbol
*));
6157 *reloc
->sym_ptr_ptr
= symbol_get_bfdsym (fixp
->fx_addsy
);
6158 reloc
->address
= fixp
->fx_frag
->fr_address
+ fixp
->fx_where
;
6159 reloc
->howto
= bfd_reloc_type_lookup (stdoutput
, fixp
->fx_r_type
);
6160 if (reloc
->howto
== (reloc_howto_type
*) NULL
)
6162 as_bad_where (fixp
->fx_file
, fixp
->fx_line
,
6163 _("reloc %d not supported by object file format"),
6164 (int) fixp
->fx_r_type
);
6167 reloc
->addend
= fixp
->fx_addnumber
;
6173 ppc_cfi_frame_initial_instructions (void)
6175 cfi_add_CFA_def_cfa (1, 0);
6179 tc_ppc_regname_to_dw2regnum (char *regname
)
6181 unsigned int regnum
= -1;
6185 static struct { char *name
; int dw2regnum
; } regnames
[] =
6187 { "sp", 1 }, { "r.sp", 1 }, { "rtoc", 2 }, { "r.toc", 2 },
6188 { "mq", 64 }, { "lr", 65 }, { "ctr", 66 }, { "ap", 67 },
6189 { "cr", 70 }, { "xer", 76 }, { "vrsave", 109 }, { "vscr", 110 },
6190 { "spe_acc", 111 }, { "spefscr", 112 }
6193 for (i
= 0; i
< ARRAY_SIZE (regnames
); ++i
)
6194 if (strcmp (regnames
[i
].name
, regname
) == 0)
6195 return regnames
[i
].dw2regnum
;
6197 if (regname
[0] == 'r' || regname
[0] == 'f' || regname
[0] == 'v')
6199 p
= regname
+ 1 + (regname
[1] == '.');
6200 regnum
= strtoul (p
, &q
, 10);
6201 if (p
== q
|| *q
|| regnum
>= 32)
6203 if (regname
[0] == 'f')
6205 else if (regname
[0] == 'v')
6208 else if (regname
[0] == 'c' && regname
[1] == 'r')
6210 p
= regname
+ 2 + (regname
[2] == '.');
6211 if (p
[0] < '0' || p
[0] > '7' || p
[1])
6213 regnum
= p
[0] - '0' + 68;