1 /* tc-s390.c -- Assemble for the S390
2 Copyright 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
5 This file is part of GAS, the GNU Assembler.
7 GAS is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GAS is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
24 #include "safe-ctype.h"
26 #include "struc-symbol.h"
27 #include "dwarf2dbg.h"
29 #include "opcode/s390.h"
32 /* The default architecture. */
34 #define DEFAULT_ARCH "s390"
36 static char *default_arch = DEFAULT_ARCH;
37 /* Either 32 or 64, selects file format. */
38 static int s390_arch_size = 0;
40 static unsigned int current_mode_mask = 0;
41 static unsigned int current_cpu = -1U;
43 /* Whether to use user friendly register names. Default is TRUE. */
44 #ifndef TARGET_REG_NAMES_P
45 #define TARGET_REG_NAMES_P TRUE
48 static bfd_boolean reg_names_p = TARGET_REG_NAMES_P;
50 /* Set to TRUE if we want to warn about zero base/index registers. */
51 static bfd_boolean warn_areg_zero = FALSE;
53 /* Generic assembler global variables which must be defined by all
56 const char comment_chars[] = "#";
58 /* Characters which start a comment at the beginning of a line. */
59 const char line_comment_chars[] = "#";
61 /* Characters which may be used to separate multiple commands on a
63 const char line_separator_chars[] = ";";
65 /* Characters which are used to indicate an exponent in a floating
67 const char EXP_CHARS[] = "eE";
69 /* Characters which mean that a number is a floating point constant,
71 const char FLT_CHARS[] = "dD";
73 /* The target specific pseudo-ops which we support. */
75 /* Define the prototypes for the pseudo-ops */
76 static void s390_byte PARAMS ((int));
77 static void s390_elf_cons PARAMS ((int));
78 static void s390_bss PARAMS ((int));
79 static void s390_insn PARAMS ((int));
80 static void s390_literals PARAMS ((int));
82 const pseudo_typeS md_pseudo_table[] =
84 { "align", s_align_bytes, 0 },
85 /* Pseudo-ops which must be defined. */
86 { "bss", s390_bss, 0 },
87 { "insn", s390_insn, 0 },
88 /* Pseudo-ops which must be overridden. */
89 { "byte", s390_byte, 0 },
90 { "short", s390_elf_cons, 2 },
91 { "long", s390_elf_cons, 4 },
92 { "quad", s390_elf_cons, 8 },
93 { "ltorg", s390_literals, 0 },
94 { "string", stringer, 2 },
99 /* Structure to hold information about predefined registers. */
106 /* List of registers that are pre-defined:
108 Each access register has a predefined name of the form:
109 a<reg_num> which has the value <reg_num>.
111 Each control register has a predefined name of the form:
112 c<reg_num> which has the value <reg_num>.
114 Each general register has a predefined name of the form:
115 r<reg_num> which has the value <reg_num>.
117 Each floating point register a has predefined name of the form:
118 f<reg_num> which has the value <reg_num>.
120 There are individual registers as well:
124 The table is sorted. Suitable for searching by a binary search. */
126 static const struct pd_reg pre_defined_registers[] =
128 { "a0", 0 }, /* Access registers */
145 { "c0", 0 }, /* Control registers */
162 { "f0", 0 }, /* Floating point registers */
179 { "lit", 13 }, /* Pointer to literal pool */
181 { "r0", 0 }, /* General purpose registers */
198 { "sp", 15 }, /* Stack pointer */
202 #define REG_NAME_CNT (sizeof (pre_defined_registers) / sizeof (struct pd_reg))
204 static int reg_name_search
205 PARAMS ((const struct pd_reg *, int, const char *));
206 static bfd_boolean register_name PARAMS ((expressionS *));
207 static void init_default_arch PARAMS ((void));
208 static void s390_insert_operand
209 PARAMS ((unsigned char *, const struct s390_operand *, offsetT, char *,
211 static char *md_gather_operands
212 PARAMS ((char *, unsigned char *, const struct s390_opcode *));
214 /* Given NAME, find the register number associated with that name, return
215 the integer value associated with the given name or -1 on failure. */
218 reg_name_search (regs, regcount, name)
219 const struct pd_reg *regs;
223 int middle, low, high;
231 middle = (low + high) / 2;
232 cmp = strcasecmp (name, regs[middle].name);
238 return regs[middle].value;
247 * Summary of register_name().
249 * in: Input_line_pointer points to 1st char of operand.
251 * out: A expressionS.
252 * The operand may have been a register: in this case, X_op == O_register,
253 * X_add_number is set to the register number, and truth is returned.
254 * Input_line_pointer->(next non-blank) char after operand, or is in its
259 register_name (expressionP)
260 expressionS *expressionP;
267 /* Find the spelling of the operand. */
268 start = name = input_line_pointer;
269 if (name[0] == '%' && ISALPHA (name[1]))
270 name = ++input_line_pointer;
274 c = get_symbol_end ();
275 reg_number = reg_name_search (pre_defined_registers, REG_NAME_CNT, name);
277 /* Put back the delimiting char. */
278 *input_line_pointer = c;
280 /* Look to see if it's in the register table. */
283 expressionP->X_op = O_register;
284 expressionP->X_add_number = reg_number;
286 /* Make the rest nice. */
287 expressionP->X_add_symbol = NULL;
288 expressionP->X_op_symbol = NULL;
292 /* Reset the line as if we had not done anything. */
293 input_line_pointer = start;
297 /* Local variables. */
299 /* Opformat hash table. */
300 static struct hash_control *s390_opformat_hash;
302 /* Opcode hash table. */
303 static struct hash_control *s390_opcode_hash;
305 /* Flags to set in the elf header */
306 static flagword s390_flags = 0;
308 symbolS *GOT_symbol; /* Pre-defined "_GLOBAL_OFFSET_TABLE_" */
310 #ifndef WORKING_DOT_WORD
311 const int md_short_jump_size = 4;
312 const int md_long_jump_size = 4;
315 const char *md_shortopts = "A:m:kVQ:";
316 struct option md_longopts[] = {
317 {NULL, no_argument, NULL, 0}
319 size_t md_longopts_size = sizeof (md_longopts);
321 /* Initialize the default opcode arch and word size from the default
322 architecture name if not specified by an option. */
326 if (strcmp (default_arch, "s390") == 0)
328 if (s390_arch_size == 0)
331 else if (strcmp (default_arch, "s390x") == 0)
333 if (s390_arch_size == 0)
337 as_fatal ("Invalid default architecture, broken assembler.");
339 if (current_mode_mask == 0)
341 if (s390_arch_size == 32)
342 current_mode_mask = 1 << S390_OPCODE_ESA;
344 current_mode_mask = 1 << S390_OPCODE_ZARCH;
346 if (current_cpu == -1U)
348 if (current_mode_mask == (1 << S390_OPCODE_ESA))
349 current_cpu = S390_OPCODE_G5;
351 current_cpu = S390_OPCODE_Z900;
355 /* Called by TARGET_FORMAT. */
357 s390_target_format ()
359 /* We don't get a chance to initialize anything before we're called,
360 so handle that now. */
361 init_default_arch ();
363 return s390_arch_size == 64 ? "elf64-s390" : "elf32-s390";
367 md_parse_option (c, arg)
373 /* -k: Ignore for FreeBSD compatibility. */
377 if (arg != NULL && strcmp (arg, "regnames") == 0)
380 else if (arg != NULL && strcmp (arg, "no-regnames") == 0)
383 else if (arg != NULL && strcmp (arg, "warn-areg-zero") == 0)
384 warn_areg_zero = TRUE;
386 else if (arg != NULL && strcmp (arg, "31") == 0)
389 else if (arg != NULL && strcmp (arg, "64") == 0)
392 else if (arg != NULL && strcmp (arg, "esa") == 0)
393 current_mode_mask = 1 << S390_OPCODE_ESA;
395 else if (arg != NULL && strcmp (arg, "zarch") == 0)
396 current_mode_mask = 1 << S390_OPCODE_ZARCH;
398 else if (arg != NULL && strncmp (arg, "arch=", 5) == 0)
400 if (strcmp (arg + 5, "g5") == 0)
401 current_cpu = S390_OPCODE_G5;
402 else if (strcmp (arg + 5, "g6") == 0)
403 current_cpu = S390_OPCODE_G6;
404 else if (strcmp (arg + 5, "z900") == 0)
405 current_cpu = S390_OPCODE_Z900;
408 as_bad (_("invalid switch -m%s"), arg);
415 as_bad (_("invalid switch -m%s"), arg);
421 /* Option -A is deprecated. Still available for compatability. */
422 if (arg != NULL && strcmp (arg, "esa") == 0)
423 current_cpu = S390_OPCODE_G5;
424 else if (arg != NULL && strcmp (arg, "esame") == 0)
425 current_cpu = S390_OPCODE_Z900;
427 as_bad ("invalid architecture -A%s", arg);
430 /* -V: SVR4 argument to print version ID. */
435 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
436 should be emitted or not. FIXME: Not implemented. */
448 md_show_usage (stream)
451 fprintf (stream, _("\
453 -mregnames Allow symbolic names for registers\n\
454 -mwarn-areg-zero Warn about zero base/index registers\n\
455 -mno-regnames Do not allow symbolic names for registers\n\
456 -m31 Set file format to 31 bit format\n\
457 -m64 Set file format to 64 bit format\n"));
458 fprintf (stream, _("\
459 -V print assembler version number\n\
460 -Qy, -Qn ignored\n"));
463 /* This function is called when the assembler starts up. It is called
464 after the options have been parsed and the output file has been
470 register const struct s390_opcode *op;
471 const struct s390_opcode *op_end;
472 bfd_boolean dup_insn = FALSE;
475 /* Give a warning if the combination -m64-bit and -Aesa is used. */
476 if (s390_arch_size == 64 && current_cpu < S390_OPCODE_Z900)
477 as_warn ("The 64 bit file format is used without esame instructions.");
479 /* Set the ELF flags if desired. */
481 bfd_set_private_flags (stdoutput, s390_flags);
483 /* Insert the opcode formats into a hash table. */
484 s390_opformat_hash = hash_new ();
486 op_end = s390_opformats + s390_num_opformats;
487 for (op = s390_opformats; op < op_end; op++)
489 retval = hash_insert (s390_opformat_hash, op->name, (PTR) op);
490 if (retval != (const char *) NULL)
492 as_bad (_("Internal assembler error for instruction format %s"),
498 /* Insert the opcodes into a hash table. */
499 s390_opcode_hash = hash_new ();
501 op_end = s390_opcodes + s390_num_opcodes;
502 for (op = s390_opcodes; op < op_end; op++)
504 retval = hash_insert (s390_opcode_hash, op->name, (PTR) op);
505 if (retval != (const char *) NULL)
507 as_bad (_("Internal assembler error for instruction %s"), op->name);
515 record_alignment (text_section, 2);
516 record_alignment (data_section, 2);
517 record_alignment (bss_section, 2);
521 /* Called after all assembly has been done. */
525 if (s390_arch_size == 64)
526 bfd_set_arch_mach (stdoutput, bfd_arch_s390, bfd_mach_s390_64);
528 bfd_set_arch_mach (stdoutput, bfd_arch_s390, bfd_mach_s390_31);
532 s390_align_code (fragP, count)
536 /* We use nop pattern 0x0707. */
539 memset (fragP->fr_literal + fragP->fr_fix, 0x07, count);
540 fragP->fr_var = count;
544 /* Insert an operand value into an instruction. */
547 s390_insert_operand (insn, operand, val, file, line)
549 const struct s390_operand *operand;
557 if (operand->flags & (S390_OPERAND_SIGNED|S390_OPERAND_PCREL))
561 max = ((offsetT) 1 << (operand->bits - 1)) - 1;
562 min = - ((offsetT) 1 << (operand->bits - 1));
563 /* Halve PCREL operands. */
564 if (operand->flags & S390_OPERAND_PCREL)
566 /* Check for underflow / overflow. */
567 if (val < min || val > max)
570 "operand out of range (%s not between %ld and %ld)";
573 if (operand->flags & S390_OPERAND_PCREL)
579 sprint_value (buf, val);
580 if (file == (char *) NULL)
581 as_bad (err, buf, (int) min, (int) max);
583 as_bad_where (file, line, err, buf, (int) min, (int) max);
586 /* val is ok, now restrict it to operand->bits bits. */
587 uval = (addressT) val & ((((addressT) 1 << (operand->bits-1)) << 1) - 1);
593 max = (((addressT) 1 << (operand->bits - 1)) << 1) - 1;
595 uval = (addressT) val;
596 /* Length x in an instructions has real length x+1. */
597 if (operand->flags & S390_OPERAND_LENGTH)
599 /* Check for underflow / overflow. */
600 if (uval < min || uval > max)
603 "operand out of range (%s not between %ld and %ld)";
606 if (operand->flags & S390_OPERAND_LENGTH)
612 sprint_value (buf, uval);
613 if (file == (char *) NULL)
614 as_bad (err, buf, (int) min, (int) max);
616 as_bad_where (file, line, err, buf, (int) min, (int) max);
621 /* Insert fragments of the operand byte for byte. */
622 offset = operand->shift + operand->bits;
623 uval <<= (-offset) & 7;
624 insn += (offset - 1) / 8;
636 bfd_reloc_code_real_type reloc;
639 static bfd_reloc_code_real_type s390_tls_suffix
640 PARAMS ((char **, expressionS *));
642 /* Parse tls marker and return the desired relocation. */
643 static bfd_reloc_code_real_type
644 s390_tls_suffix (str_p, exp_p)
648 static struct map_tls mapping[] =
650 { "tls_load", 8, BFD_RELOC_390_TLS_LOAD },
651 { "tls_gdcall", 10, BFD_RELOC_390_TLS_GDCALL },
652 { "tls_ldcall", 10, BFD_RELOC_390_TLS_LDCALL },
653 { NULL, 0, BFD_RELOC_UNUSED }
663 return BFD_RELOC_UNUSED;
666 while (ISIDNUM (*str))
670 return BFD_RELOC_UNUSED;
672 orig_line = input_line_pointer;
673 input_line_pointer = str;
675 str = input_line_pointer;
676 if (&input_line_pointer != str_p)
677 input_line_pointer = orig_line;
679 if (exp_p->X_op != O_symbol)
680 return BFD_RELOC_UNUSED;
682 for (ptr = &mapping[0]; ptr->length > 0; ptr++)
683 if (len == ptr->length
684 && strncasecmp (ident, ptr->string, ptr->length) == 0)
686 /* Found a matching tls suffix. */
690 return BFD_RELOC_UNUSED;
693 /* Structure used to hold suffixes. */
704 ELF_SUFFIX_TLS_GOTIE,
716 elf_suffix_type suffix;
719 static elf_suffix_type s390_elf_suffix PARAMS ((char **, expressionS *));
720 static int s390_exp_compare PARAMS ((expressionS *exp1, expressionS *exp2));
721 static elf_suffix_type s390_lit_suffix
722 PARAMS ((char **, expressionS *, elf_suffix_type));
725 /* Parse @got/@plt/@gotoff. and return the desired relocation. */
726 static elf_suffix_type
727 s390_elf_suffix (str_p, exp_p)
731 static struct map_bfd mapping[] =
733 { "got", 3, ELF_SUFFIX_GOT },
734 { "got12", 5, ELF_SUFFIX_GOT },
735 { "plt", 3, ELF_SUFFIX_PLT },
736 { "gotent", 6, ELF_SUFFIX_GOTENT },
737 { "gotoff", 6, ELF_SUFFIX_GOTOFF },
738 { "gotplt", 6, ELF_SUFFIX_GOTPLT },
739 { "pltoff", 6, ELF_SUFFIX_PLTOFF },
740 { "tlsgd", 5, ELF_SUFFIX_TLS_GD },
741 { "gotntpoff", 9, ELF_SUFFIX_TLS_GOTIE },
742 { "indntpoff", 9, ELF_SUFFIX_TLS_IE },
743 { "tlsldm", 6, ELF_SUFFIX_TLS_LDM },
744 { "dtpoff", 6, ELF_SUFFIX_TLS_LDO },
745 { "ntpoff", 6, ELF_SUFFIX_TLS_LE },
746 { NULL, 0, ELF_SUFFIX_NONE }
755 return ELF_SUFFIX_NONE;
758 while (ISALNUM (*str))
762 for (ptr = &mapping[0]; ptr->length > 0; ptr++)
763 if (len == ptr->length
764 && strncasecmp (ident, ptr->string, ptr->length) == 0)
766 if (exp_p->X_add_number != 0)
767 as_warn (_("identifier+constant@%s means identifier@%s+constant"),
768 ptr->string, ptr->string);
769 /* Now check for identifier@suffix+constant. */
770 if (*str == '-' || *str == '+')
772 char *orig_line = input_line_pointer;
775 input_line_pointer = str;
776 expression (&new_exp);
778 switch (new_exp.X_op)
780 case O_constant: /* X_add_number (a constant expression). */
781 exp_p->X_add_number += new_exp.X_add_number;
782 str = input_line_pointer;
784 case O_symbol: /* X_add_symbol + X_add_number. */
785 /* this case is used for e.g. xyz@PLT+.Label. */
786 exp_p->X_add_number += new_exp.X_add_number;
787 exp_p->X_op_symbol = new_exp.X_add_symbol;
789 str = input_line_pointer;
791 case O_uminus: /* (- X_add_symbol) + X_add_number. */
793 exp_p->X_add_number += new_exp.X_add_number;
794 exp_p->X_op_symbol = new_exp.X_add_symbol;
795 exp_p->X_op = O_subtract;
796 str = input_line_pointer;
802 /* If s390_elf_suffix has not been called with
803 &input_line_pointer as first parameter, we have
804 clobbered the input_line_pointer. We have to
806 if (&input_line_pointer != str_p)
807 input_line_pointer = orig_line;
813 return BFD_RELOC_UNUSED;
816 /* Structure used to hold a literal pool entry. */
819 struct s390_lpe *next;
821 FLONUM_TYPE floatnum; /* used if X_op == O_big && X_add_number <= 0 */
822 LITTLENUM_TYPE bignum[4]; /* used if X_op == O_big && X_add_number > 0 */
824 bfd_reloc_code_real_type reloc;
828 static struct s390_lpe *lpe_free_list = NULL;
829 static struct s390_lpe *lpe_list = NULL;
830 static struct s390_lpe *lpe_list_tail = NULL;
831 static symbolS *lp_sym = NULL;
832 static int lp_count = 0;
833 static int lpe_count = 0;
836 s390_exp_compare (exp1, exp2)
840 if (exp1->X_op != exp2->X_op)
845 case O_constant: /* X_add_number must be equal. */
847 return exp1->X_add_number == exp2->X_add_number;
850 as_bad (_("Can't handle O_big in s390_exp_compare"));
852 case O_symbol: /* X_add_symbol & X_add_number must be equal. */
857 return (exp1->X_add_symbol == exp2->X_add_symbol)
858 && (exp1->X_add_number == exp2->X_add_number);
860 case O_multiply: /* X_add_symbol,X_op_symbol&X_add_number must be equal. */
865 case O_bit_inclusive_or:
867 case O_bit_exclusive_or:
879 return (exp1->X_add_symbol == exp2->X_add_symbol)
880 && (exp1->X_op_symbol == exp2->X_op_symbol)
881 && (exp1->X_add_number == exp2->X_add_number);
887 /* Test for @lit and if its present make an entry in the literal pool and
888 modify the current expression to be an offset into the literal pool. */
889 static elf_suffix_type
890 s390_lit_suffix (str_p, exp_p, suffix)
893 elf_suffix_type suffix;
895 bfd_reloc_code_real_type reloc;
899 struct s390_lpe *lpe;
903 return suffix; /* No modification. */
905 /* We look for a suffix of the form "@lit1", "@lit2", "@lit4" or "@lit8". */
907 while (ISALNUM (*str))
910 if (len != 4 || strncasecmp (ident, "lit", 3) != 0
911 || (ident[3]!='1' && ident[3]!='2' && ident[3]!='4' && ident[3]!='8'))
912 return suffix; /* no modification */
913 nbytes = ident[3] - '0';
915 reloc = BFD_RELOC_UNUSED;
916 if (suffix == ELF_SUFFIX_GOT)
919 reloc = BFD_RELOC_390_GOT16;
920 else if (nbytes == 4)
921 reloc = BFD_RELOC_32_GOT_PCREL;
922 else if (nbytes == 8)
923 reloc = BFD_RELOC_390_GOT64;
925 else if (suffix == ELF_SUFFIX_PLT)
928 reloc = BFD_RELOC_390_PLT32;
929 else if (nbytes == 8)
930 reloc = BFD_RELOC_390_PLT64;
933 if (suffix != ELF_SUFFIX_NONE && reloc == BFD_RELOC_UNUSED)
934 as_bad (_("Invalid suffix for literal pool entry"));
936 /* Search the pool if the new entry is a duplicate. */
937 if (exp_p->X_op == O_big)
939 /* Special processing for big numbers. */
940 for (lpe = lpe_list; lpe != NULL; lpe = lpe->next)
942 if (lpe->ex.X_op == O_big)
944 if (exp_p->X_add_number <= 0 && lpe->ex.X_add_number <= 0)
946 if (memcmp (&generic_floating_point_number, &lpe->floatnum,
947 sizeof (FLONUM_TYPE)) == 0)
950 else if (exp_p->X_add_number == lpe->ex.X_add_number)
952 if (memcmp (generic_bignum, lpe->bignum,
953 sizeof (LITTLENUM_TYPE)*exp_p->X_add_number) == 0)
961 /* Processing for 'normal' data types. */
962 for (lpe = lpe_list; lpe != NULL; lpe = lpe->next)
963 if (lpe->nbytes == nbytes && lpe->reloc == reloc
964 && s390_exp_compare (exp_p, &lpe->ex) != 0)
971 if (lpe_free_list != NULL)
974 lpe_free_list = lpe_free_list->next;
978 lpe = (struct s390_lpe *) xmalloc (sizeof (struct s390_lpe));
983 if (exp_p->X_op == O_big)
985 if (exp_p->X_add_number <= 0)
986 lpe->floatnum = generic_floating_point_number;
987 else if (exp_p->X_add_number <= 4)
988 memcpy (lpe->bignum, generic_bignum,
989 exp_p->X_add_number * sizeof (LITTLENUM_TYPE));
991 as_bad (_("Big number is too big"));
994 lpe->nbytes = nbytes;
996 /* Literal pool name defined ? */
999 sprintf (tmp_name, ".L\001%i", lp_count);
1000 lp_sym = symbol_make (tmp_name);
1003 /* Make name for literal pool entry. */
1004 sprintf (tmp_name, ".L\001%i\002%i", lp_count, lpe_count);
1006 lpe->sym = symbol_make (tmp_name);
1008 /* Add to literal pool list. */
1010 if (lpe_list_tail != NULL)
1012 lpe_list_tail->next = lpe;
1013 lpe_list_tail = lpe;
1016 lpe_list = lpe_list_tail = lpe;
1019 /* Now change exp_p to the offset into the literal pool.
1020 Thats the expression: .L^Ax^By-.L^Ax */
1021 exp_p->X_add_symbol = lpe->sym;
1022 exp_p->X_op_symbol = lp_sym;
1023 exp_p->X_op = O_subtract;
1024 exp_p->X_add_number = 0;
1028 /* We change the suffix type to ELF_SUFFIX_NONE, because
1029 the difference of two local labels is just a number. */
1030 return ELF_SUFFIX_NONE;
1033 /* Like normal .long/.short/.word, except support @got, etc.
1034 clobbers input_line_pointer, checks end-of-line. */
1036 s390_elf_cons (nbytes)
1037 register int nbytes; /* 1=.byte, 2=.word, 4=.long */
1040 elf_suffix_type suffix;
1042 if (is_it_end_of_statement ())
1044 demand_empty_rest_of_line ();
1052 if (exp.X_op == O_symbol
1053 && *input_line_pointer == '@'
1054 && (suffix = s390_elf_suffix (&input_line_pointer, &exp)) != ELF_SUFFIX_NONE)
1056 bfd_reloc_code_real_type reloc;
1057 reloc_howto_type *reloc_howto;
1063 static bfd_reloc_code_real_type tab2[] =
1065 BFD_RELOC_UNUSED, /* ELF_SUFFIX_NONE */
1066 BFD_RELOC_390_GOT16, /* ELF_SUFFIX_GOT */
1067 BFD_RELOC_UNUSED, /* ELF_SUFFIX_PLT */
1068 BFD_RELOC_UNUSED, /* ELF_SUFFIX_GOTENT */
1069 BFD_RELOC_16_GOTOFF, /* ELF_SUFFIX_GOTOFF */
1070 BFD_RELOC_UNUSED, /* ELF_SUFFIX_GOTPLT */
1071 BFD_RELOC_390_PLTOFF16, /* ELF_SUFFIX_PLTOFF */
1072 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_GD */
1073 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_GOTIE */
1074 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_IE */
1075 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_LDM */
1076 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_LDO */
1077 BFD_RELOC_UNUSED /* ELF_SUFFIX_TLS_LE */
1079 reloc = tab2[suffix];
1081 else if (nbytes == 4)
1083 static bfd_reloc_code_real_type tab4[] =
1085 BFD_RELOC_UNUSED, /* ELF_SUFFIX_NONE */
1086 BFD_RELOC_32_GOT_PCREL, /* ELF_SUFFIX_GOT */
1087 BFD_RELOC_390_PLT32, /* ELF_SUFFIX_PLT */
1088 BFD_RELOC_UNUSED, /* ELF_SUFFIX_GOTENT */
1089 BFD_RELOC_32_GOTOFF, /* ELF_SUFFIX_GOTOFF */
1090 BFD_RELOC_390_GOTPLT32, /* ELF_SUFFIX_GOTPLT */
1091 BFD_RELOC_390_PLTOFF32, /* ELF_SUFFIX_PLTOFF */
1092 BFD_RELOC_390_TLS_GD32, /* ELF_SUFFIX_TLS_GD */
1093 BFD_RELOC_390_TLS_GOTIE32, /* ELF_SUFFIX_TLS_GOTIE */
1094 BFD_RELOC_390_TLS_IE32, /* ELF_SUFFIX_TLS_IE */
1095 BFD_RELOC_390_TLS_LDM32, /* ELF_SUFFIX_TLS_LDM */
1096 BFD_RELOC_390_TLS_LDO32, /* ELF_SUFFIX_TLS_LDO */
1097 BFD_RELOC_390_TLS_LE32 /* ELF_SUFFIX_TLS_LE */
1099 reloc = tab4[suffix];
1101 else if (nbytes == 8)
1103 static bfd_reloc_code_real_type tab8[] =
1105 BFD_RELOC_UNUSED, /* ELF_SUFFIX_NONE */
1106 BFD_RELOC_390_GOT64, /* ELF_SUFFIX_GOT */
1107 BFD_RELOC_390_PLT64, /* ELF_SUFFIX_PLT */
1108 BFD_RELOC_UNUSED, /* ELF_SUFFIX_GOTENT */
1109 BFD_RELOC_390_GOTOFF64, /* ELF_SUFFIX_GOTOFF */
1110 BFD_RELOC_390_GOTPLT64, /* ELF_SUFFIX_GOTPLT */
1111 BFD_RELOC_390_PLTOFF64, /* ELF_SUFFIX_PLTOFF */
1112 BFD_RELOC_390_TLS_GD64, /* ELF_SUFFIX_TLS_GD */
1113 BFD_RELOC_390_TLS_GOTIE64, /* ELF_SUFFIX_TLS_GOTIE */
1114 BFD_RELOC_390_TLS_IE64, /* ELF_SUFFIX_TLS_IE */
1115 BFD_RELOC_390_TLS_LDM64, /* ELF_SUFFIX_TLS_LDM */
1116 BFD_RELOC_390_TLS_LDO64, /* ELF_SUFFIX_TLS_LDO */
1117 BFD_RELOC_390_TLS_LE64 /* ELF_SUFFIX_TLS_LE */
1119 reloc = tab8[suffix];
1122 reloc = BFD_RELOC_UNUSED;
1124 if (reloc != BFD_RELOC_UNUSED
1125 && (reloc_howto = bfd_reloc_type_lookup (stdoutput, reloc)))
1127 size = bfd_get_reloc_size (reloc_howto);
1129 as_bad (_("%s relocations do not fit in %d bytes"),
1130 reloc_howto->name, nbytes);
1131 where = frag_more (nbytes);
1132 md_number_to_chars (where, 0, size);
1133 /* To make fixup_segment do the pc relative conversion the
1134 pcrel parameter on the fix_new_exp call needs to be FALSE. */
1135 fix_new_exp (frag_now, where - frag_now->fr_literal,
1136 size, &exp, FALSE, reloc);
1139 as_bad (_("relocation not applicable"));
1142 emit_expr (&exp, (unsigned int) nbytes);
1144 while (*input_line_pointer++ == ',');
1146 input_line_pointer--; /* Put terminator back into stream. */
1147 demand_empty_rest_of_line ();
1150 /* We need to keep a list of fixups. We can't simply generate them as
1151 we go, because that would require us to first create the frag, and
1152 that would screw up references to ``.''. */
1158 bfd_reloc_code_real_type reloc;
1161 #define MAX_INSN_FIXUPS (4)
1163 /* This routine is called for each instruction to be assembled. */
1166 md_gather_operands (str, insn, opcode)
1168 unsigned char *insn;
1169 const struct s390_opcode *opcode;
1171 struct s390_fixup fixups[MAX_INSN_FIXUPS];
1172 const struct s390_operand *operand;
1173 const unsigned char *opindex_ptr;
1175 elf_suffix_type suffix;
1176 bfd_reloc_code_real_type reloc;
1182 while (ISSPACE (*str))
1188 /* Gather the operands. */
1190 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
1194 operand = s390_operands + *opindex_ptr;
1196 if (skip_optional && (operand->flags & S390_OPERAND_INDEX))
1198 /* We do an early skip. For D(X,B) constructions the index
1199 register is skipped (X is optional). For D(L,B) the base
1200 register will be the skipped operand, because L is NOT
1206 /* Gather the operand. */
1207 hold = input_line_pointer;
1208 input_line_pointer = str;
1210 /* Parse the operand. */
1211 if (! register_name (&ex))
1214 str = input_line_pointer;
1215 input_line_pointer = hold;
1217 /* Write the operand to the insn. */
1218 if (ex.X_op == O_illegal)
1219 as_bad (_("illegal operand"));
1220 else if (ex.X_op == O_absent)
1221 as_bad (_("missing operand"));
1222 else if (ex.X_op == O_register || ex.X_op == O_constant)
1224 s390_lit_suffix (&str, &ex, ELF_SUFFIX_NONE);
1226 if (ex.X_op != O_register && ex.X_op != O_constant)
1228 /* We need to generate a fixup for the
1229 expression returned by s390_lit_suffix. */
1230 if (fc >= MAX_INSN_FIXUPS)
1231 as_fatal (_("too many fixups"));
1232 fixups[fc].exp = ex;
1233 fixups[fc].opindex = *opindex_ptr;
1234 fixups[fc].reloc = BFD_RELOC_UNUSED;
1239 if ((operand->flags & S390_OPERAND_INDEX)
1240 && ex.X_add_number == 0
1242 as_warn ("index register specified but zero");
1243 if ((operand->flags & S390_OPERAND_BASE)
1244 && ex.X_add_number == 0
1246 as_warn ("base register specified but zero");
1247 s390_insert_operand (insn, operand, ex.X_add_number, NULL, 0);
1252 suffix = s390_elf_suffix (&str, &ex);
1253 suffix = s390_lit_suffix (&str, &ex, suffix);
1254 reloc = BFD_RELOC_UNUSED;
1256 if (suffix == ELF_SUFFIX_GOT)
1258 if (operand->flags & S390_OPERAND_DISP)
1259 reloc = BFD_RELOC_390_GOT12;
1260 else if ((operand->flags & S390_OPERAND_SIGNED)
1261 && (operand->bits == 16))
1262 reloc = BFD_RELOC_390_GOT16;
1263 else if ((operand->flags & S390_OPERAND_PCREL)
1264 && (operand->bits == 32))
1265 reloc = BFD_RELOC_390_GOTENT;
1267 else if (suffix == ELF_SUFFIX_PLT)
1269 if ((operand->flags & S390_OPERAND_PCREL)
1270 && (operand->bits == 16))
1271 reloc = BFD_RELOC_390_PLT16DBL;
1272 else if ((operand->flags & S390_OPERAND_PCREL)
1273 && (operand->bits == 32))
1274 reloc = BFD_RELOC_390_PLT32DBL;
1276 else if (suffix == ELF_SUFFIX_GOTENT)
1278 if ((operand->flags & S390_OPERAND_PCREL)
1279 && (operand->bits == 32))
1280 reloc = BFD_RELOC_390_GOTENT;
1282 else if (suffix == ELF_SUFFIX_GOTOFF)
1284 if ((operand->flags & S390_OPERAND_SIGNED)
1285 && (operand->bits == 16))
1286 reloc = BFD_RELOC_16_GOTOFF;
1288 else if (suffix == ELF_SUFFIX_PLTOFF)
1290 if ((operand->flags & S390_OPERAND_SIGNED)
1291 && (operand->bits == 16))
1292 reloc = BFD_RELOC_390_PLTOFF16;
1294 else if (suffix == ELF_SUFFIX_GOTPLT)
1296 if ((operand->flags & S390_OPERAND_DISP)
1297 && (operand->bits == 12))
1298 reloc = BFD_RELOC_390_GOTPLT12;
1299 else if ((operand->flags & S390_OPERAND_SIGNED)
1300 && (operand->bits == 16))
1301 reloc = BFD_RELOC_390_GOTPLT16;
1302 else if ((operand->flags & S390_OPERAND_PCREL)
1303 && (operand->bits == 32))
1304 reloc = BFD_RELOC_390_GOTPLTENT;
1306 else if (suffix == ELF_SUFFIX_TLS_GOTIE)
1308 if ((operand->flags & S390_OPERAND_DISP)
1309 && (operand->bits == 12))
1310 reloc = BFD_RELOC_390_TLS_GOTIE12;
1312 else if (suffix == ELF_SUFFIX_TLS_IE)
1314 if ((operand->flags & S390_OPERAND_PCREL)
1315 && (operand->bits == 32))
1316 reloc = BFD_RELOC_390_TLS_IEENT;
1319 if (suffix != ELF_SUFFIX_NONE && reloc == BFD_RELOC_UNUSED)
1320 as_bad (_("invalid operand suffix"));
1321 /* We need to generate a fixup of type 'reloc' for this
1323 if (fc >= MAX_INSN_FIXUPS)
1324 as_fatal (_("too many fixups"));
1325 fixups[fc].exp = ex;
1326 fixups[fc].opindex = *opindex_ptr;
1327 fixups[fc].reloc = reloc;
1331 /* Check the next character. The call to expression has advanced
1332 str past any whitespace. */
1333 if (operand->flags & S390_OPERAND_DISP)
1335 /* After a displacement a block in parentheses can start. */
1338 /* Check if parethesed block can be skipped. If the next
1339 operand is neiter an optional operand nor a base register
1340 then we have a syntax error. */
1341 operand = s390_operands + *(++opindex_ptr);
1342 if (!(operand->flags & (S390_OPERAND_INDEX|S390_OPERAND_BASE)))
1343 as_bad (_("syntax error; missing '(' after displacement"));
1345 /* Ok, skip all operands until S390_OPERAND_BASE. */
1346 while (!(operand->flags & S390_OPERAND_BASE))
1347 operand = s390_operands + *(++opindex_ptr);
1349 /* If there is a next operand it must be seperated by a comma. */
1350 if (opindex_ptr[1] != '\0')
1353 as_bad (_("syntax error; expected ,"));
1358 /* We found an opening parentheses. */
1360 for (f = str; *f != '\0'; f++)
1361 if (*f == ',' || *f == ')')
1363 /* If there is no comma until the closing parentheses OR
1364 there is a comma right after the opening parentheses,
1365 we have to skip optional operands. */
1366 if (*f == ',' && f == str)
1368 /* comma directly after '(' ? */
1373 skip_optional = (*f != ',');
1376 else if (operand->flags & S390_OPERAND_BASE)
1378 /* After the base register the parenthesed block ends. */
1380 as_bad (_("syntax error; missing ')' after base register"));
1382 /* If there is a next operand it must be seperated by a comma. */
1383 if (opindex_ptr[1] != '\0')
1386 as_bad (_("syntax error; expected ,"));
1391 /* We can find an 'early' closing parentheses in e.g. D(L) instead
1392 of D(L,B). In this case the base register has to be skipped. */
1395 operand = s390_operands + *(++opindex_ptr);
1397 if (!(operand->flags & S390_OPERAND_BASE))
1398 as_bad (_("syntax error; ')' not allowed here"));
1401 /* If there is a next operand it must be seperated by a comma. */
1402 if (opindex_ptr[1] != '\0')
1405 as_bad (_("syntax error; expected ,"));
1410 while (ISSPACE (*str))
1413 /* Check for tls instruction marker. */
1414 reloc = s390_tls_suffix (&str, &ex);
1415 if (reloc != BFD_RELOC_UNUSED)
1417 /* We need to generate a fixup of type 'reloc' for this
1419 if (fc >= MAX_INSN_FIXUPS)
1420 as_fatal (_("too many fixups"));
1421 fixups[fc].exp = ex;
1422 fixups[fc].opindex = -1;
1423 fixups[fc].reloc = reloc;
1431 if ((linefeed = strchr (str, '\n')) != NULL)
1433 as_bad (_("junk at end of line: `%s'"), str);
1434 if (linefeed != NULL)
1438 /* Write out the instruction. */
1439 f = frag_more (opcode->oplen);
1440 memcpy (f, insn, opcode->oplen);
1441 dwarf2_emit_insn (opcode->oplen);
1443 /* Create any fixups. At this point we do not use a
1444 bfd_reloc_code_real_type, but instead just use the
1445 BFD_RELOC_UNUSED plus the operand index. This lets us easily
1446 handle fixups for any operand type, although that is admittedly
1447 not a very exciting feature. We pick a BFD reloc type in
1449 for (i = 0; i < fc; i++)
1452 if (fixups[i].opindex < 0)
1454 /* Create tls instruction marker relocation. */
1455 fix_new_exp (frag_now, f - frag_now->fr_literal, opcode->oplen,
1456 &fixups[i].exp, 0, fixups[i].reloc);
1460 operand = s390_operands + fixups[i].opindex;
1462 if (fixups[i].reloc != BFD_RELOC_UNUSED)
1464 reloc_howto_type *reloc_howto;
1468 reloc_howto = bfd_reloc_type_lookup (stdoutput, fixups[i].reloc);
1472 size = bfd_get_reloc_size (reloc_howto);
1474 if (size < 1 || size > 4)
1477 fixP = fix_new_exp (frag_now,
1478 f - frag_now->fr_literal + (operand->shift/8),
1479 size, &fixups[i].exp, reloc_howto->pc_relative,
1481 /* Turn off overflow checking in fixup_segment. This is necessary
1482 because fixup_segment will signal an overflow for large 4 byte
1483 quantities for GOT12 relocations. */
1484 if ( fixups[i].reloc == BFD_RELOC_390_GOT12
1485 || fixups[i].reloc == BFD_RELOC_390_GOT16)
1486 fixP->fx_no_overflow = 1;
1489 fix_new_exp (frag_now, f - frag_now->fr_literal, 4, &fixups[i].exp,
1490 (operand->flags & S390_OPERAND_PCREL) != 0,
1491 ((bfd_reloc_code_real_type)
1492 (fixups[i].opindex + (int) BFD_RELOC_UNUSED)));
1497 /* This routine is called for each instruction to be assembled. */
1503 const struct s390_opcode *opcode;
1504 unsigned char insn[6];
1507 /* Get the opcode. */
1508 for (s = str; *s != '\0' && ! ISSPACE (*s); s++)
1513 /* Look up the opcode in the hash table. */
1514 opcode = (struct s390_opcode *) hash_find (s390_opcode_hash, str);
1515 if (opcode == (const struct s390_opcode *) NULL)
1517 as_bad (_("Unrecognized opcode: `%s'"), str);
1520 else if (!(opcode->modes & current_mode_mask))
1522 as_bad ("Opcode %s not available in this mode", str);
1525 else if (opcode->min_cpu > current_cpu)
1527 as_bad ("Opcode %s not available for this cpu", str);
1531 memcpy (insn, opcode->opcode, sizeof (insn));
1532 md_gather_operands (s, insn, opcode);
1535 #ifndef WORKING_DOT_WORD
1536 /* Handle long and short jumps. We don't support these */
1538 md_create_short_jump (ptr, from_addr, to_addr, frag, to_symbol)
1540 addressT from_addr, to_addr;
1548 md_create_long_jump (ptr, from_addr, to_addr, frag, to_symbol)
1550 addressT from_addr, to_addr;
1560 int ignore ATTRIBUTE_UNUSED;
1562 /* We don't support putting frags in the BSS segment, we fake it
1563 by marking in_bss, then looking at s_skip for clues. */
1565 subseg_set (bss_section, 0);
1566 demand_empty_rest_of_line ();
1569 /* Pseudo-op handling. */
1573 int ignore ATTRIBUTE_UNUSED;
1576 const struct s390_opcode *opformat;
1577 unsigned char insn[6];
1580 /* Get the opcode format. */
1581 s = input_line_pointer;
1582 while (*s != '\0' && *s != ',' && ! ISSPACE (*s))
1585 as_bad (_("Invalid .insn format\n"));
1588 /* Look up the opcode in the hash table. */
1589 opformat = (struct s390_opcode *)
1590 hash_find (s390_opformat_hash, input_line_pointer);
1591 if (opformat == (const struct s390_opcode *) NULL)
1593 as_bad (_("Unrecognized opcode format: `%s'"), input_line_pointer);
1596 input_line_pointer = s;
1598 if (exp.X_op == O_constant)
1600 if ( (opformat->oplen == 6 && exp.X_op > 0 && exp.X_op < (1ULL << 48))
1601 || (opformat->oplen == 4 && exp.X_op > 0 && exp.X_op < (1ULL << 32))
1602 || (opformat->oplen == 2 && exp.X_op > 0 && exp.X_op < (1ULL << 16)))
1603 md_number_to_chars (insn, exp.X_add_number, opformat->oplen);
1605 as_bad (_("Invalid .insn format\n"));
1607 else if (exp.X_op == O_big)
1609 if (exp.X_add_number > 0
1610 && opformat->oplen == 6
1611 && generic_bignum[3] == 0)
1613 md_number_to_chars (insn, generic_bignum[2], 2);
1614 md_number_to_chars (&insn[2], generic_bignum[1], 2);
1615 md_number_to_chars (&insn[4], generic_bignum[0], 2);
1618 as_bad (_("Invalid .insn format\n"));
1621 as_bad (_("second operand of .insn not a constant\n"));
1623 if (strcmp (opformat->name, "e") != 0 && *input_line_pointer++ != ',')
1624 as_bad (_("missing comma after insn constant\n"));
1626 if ((s = strchr (input_line_pointer, '\n')) != NULL)
1628 input_line_pointer = md_gather_operands (input_line_pointer, insn,
1632 demand_empty_rest_of_line ();
1635 /* The .byte pseudo-op. This is similar to the normal .byte
1636 pseudo-op, but it can also take a single ASCII string. */
1640 int ignore ATTRIBUTE_UNUSED;
1642 if (*input_line_pointer != '\"')
1648 /* Gather characters. A real double quote is doubled. Unusual
1649 characters are not permitted. */
1650 ++input_line_pointer;
1655 c = *input_line_pointer++;
1659 if (*input_line_pointer != '\"')
1661 ++input_line_pointer;
1664 FRAG_APPEND_1_CHAR (c);
1667 demand_empty_rest_of_line ();
1670 /* The .ltorg pseudo-op.This emits all literals defined since the last
1671 .ltorg or the invocation of gas. Literals are defined with the
1675 s390_literals (ignore)
1676 int ignore ATTRIBUTE_UNUSED;
1678 struct s390_lpe *lpe;
1680 if (lp_sym == NULL || lpe_count == 0)
1681 return; /* Nothing to be done. */
1683 /* Emit symbol for start of literal pool. */
1684 S_SET_SEGMENT (lp_sym, now_seg);
1685 S_SET_VALUE (lp_sym, (valueT) frag_now_fix ());
1686 lp_sym->sy_frag = frag_now;
1691 lpe_list = lpe_list->next;
1692 S_SET_SEGMENT (lpe->sym, now_seg);
1693 S_SET_VALUE (lpe->sym, (valueT) frag_now_fix ());
1694 lpe->sym->sy_frag = frag_now;
1696 /* Emit literal pool entry. */
1697 if (lpe->reloc != BFD_RELOC_UNUSED)
1699 reloc_howto_type *reloc_howto =
1700 bfd_reloc_type_lookup (stdoutput, lpe->reloc);
1701 int size = bfd_get_reloc_size (reloc_howto);
1704 if (size > lpe->nbytes)
1705 as_bad (_("%s relocations do not fit in %d bytes"),
1706 reloc_howto->name, lpe->nbytes);
1707 where = frag_more (lpe->nbytes);
1708 md_number_to_chars (where, 0, size);
1709 fix_new_exp (frag_now, where - frag_now->fr_literal,
1710 size, &lpe->ex, reloc_howto->pc_relative, lpe->reloc);
1714 if (lpe->ex.X_op == O_big)
1716 if (lpe->ex.X_add_number <= 0)
1717 generic_floating_point_number = lpe->floatnum;
1719 memcpy (generic_bignum, lpe->bignum,
1720 lpe->ex.X_add_number * sizeof (LITTLENUM_TYPE));
1722 emit_expr (&lpe->ex, lpe->nbytes);
1725 lpe->next = lpe_free_list;
1726 lpe_free_list = lpe;
1728 lpe_list_tail = NULL;
1734 /* Turn a string in input_line_pointer into a floating point constant
1735 of type type, and store the appropriate bytes in *litp. The number
1736 of LITTLENUMS emitted is stored in *sizep . An error message is
1737 returned, or NULL on OK. */
1740 md_atof (type, litp, sizep)
1746 LITTLENUM_TYPE words[4];
1762 return "bad call to md_atof";
1765 t = atof_ieee (input_line_pointer, type, words);
1767 input_line_pointer = t;
1771 for (i = 0; i < prec; i++)
1773 md_number_to_chars (litp, (valueT) words[i], 2);
1780 /* Align a section (I don't know why this is machine dependent). */
1783 md_section_align (seg, addr)
1787 int align = bfd_get_section_alignment (stdoutput, seg);
1789 return ((addr + (1 << align) - 1) & (-1 << align));
1792 /* We don't have any form of relaxing. */
1795 md_estimate_size_before_relax (fragp, seg)
1796 fragS *fragp ATTRIBUTE_UNUSED;
1797 asection *seg ATTRIBUTE_UNUSED;
1803 /* Convert a machine dependent frag. We never generate these. */
1806 md_convert_frag (abfd, sec, fragp)
1807 bfd *abfd ATTRIBUTE_UNUSED;
1808 asection *sec ATTRIBUTE_UNUSED;
1809 fragS *fragp ATTRIBUTE_UNUSED;
1815 md_undefined_symbol (name)
1818 if (*name == '_' && *(name + 1) == 'G'
1819 && strcmp (name, "_GLOBAL_OFFSET_TABLE_") == 0)
1823 if (symbol_find (name))
1824 as_bad (_("GOT already in symbol table"));
1825 GOT_symbol = symbol_new (name, undefined_section,
1826 (valueT) 0, &zero_address_frag);
1833 /* Functions concerning relocs. */
1835 /* The location from which a PC relative jump should be calculated,
1836 given a PC relative reloc. */
1839 md_pcrel_from_section (fixp, sec)
1841 segT sec ATTRIBUTE_UNUSED;
1843 return fixp->fx_frag->fr_address + fixp->fx_where;
1846 /* Here we decide which fixups can be adjusted to make them relative to
1847 the beginning of the section instead of the symbol. Basically we need
1848 to make sure that the dynamic relocations are done correctly, so in
1849 some cases we force the original symbol to be used. */
1851 tc_s390_fix_adjustable (fixP)
1854 /* Don't adjust references to merge sections. */
1855 if ((S_GET_SEGMENT (fixP->fx_addsy)->flags & SEC_MERGE) != 0)
1857 /* adjust_reloc_syms doesn't know about the GOT. */
1858 if ( fixP->fx_r_type == BFD_RELOC_16_GOTOFF
1859 || fixP->fx_r_type == BFD_RELOC_32_GOTOFF
1860 || fixP->fx_r_type == BFD_RELOC_390_GOTOFF64
1861 || fixP->fx_r_type == BFD_RELOC_390_PLTOFF16
1862 || fixP->fx_r_type == BFD_RELOC_390_PLTOFF32
1863 || fixP->fx_r_type == BFD_RELOC_390_PLTOFF64
1864 || fixP->fx_r_type == BFD_RELOC_390_PLT16DBL
1865 || fixP->fx_r_type == BFD_RELOC_390_PLT32
1866 || fixP->fx_r_type == BFD_RELOC_390_PLT32DBL
1867 || fixP->fx_r_type == BFD_RELOC_390_PLT64
1868 || fixP->fx_r_type == BFD_RELOC_390_GOT12
1869 || fixP->fx_r_type == BFD_RELOC_390_GOT16
1870 || fixP->fx_r_type == BFD_RELOC_32_GOT_PCREL
1871 || fixP->fx_r_type == BFD_RELOC_390_GOT64
1872 || fixP->fx_r_type == BFD_RELOC_390_GOTENT
1873 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT12
1874 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT16
1875 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT32
1876 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT64
1877 || fixP->fx_r_type == BFD_RELOC_390_GOTPLTENT
1878 || fixP->fx_r_type == BFD_RELOC_390_TLS_LOAD
1879 || fixP->fx_r_type == BFD_RELOC_390_TLS_GDCALL
1880 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDCALL
1881 || fixP->fx_r_type == BFD_RELOC_390_TLS_GD32
1882 || fixP->fx_r_type == BFD_RELOC_390_TLS_GD64
1883 || fixP->fx_r_type == BFD_RELOC_390_TLS_GOTIE12
1884 || fixP->fx_r_type == BFD_RELOC_390_TLS_GOTIE32
1885 || fixP->fx_r_type == BFD_RELOC_390_TLS_GOTIE64
1886 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDM32
1887 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDM64
1888 || fixP->fx_r_type == BFD_RELOC_390_TLS_IE32
1889 || fixP->fx_r_type == BFD_RELOC_390_TLS_IE64
1890 || fixP->fx_r_type == BFD_RELOC_390_TLS_IEENT
1891 || fixP->fx_r_type == BFD_RELOC_390_TLS_LE32
1892 || fixP->fx_r_type == BFD_RELOC_390_TLS_LE64
1893 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDO32
1894 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDO64
1895 || fixP->fx_r_type == BFD_RELOC_390_TLS_DTPMOD
1896 || fixP->fx_r_type == BFD_RELOC_390_TLS_DTPOFF
1897 || fixP->fx_r_type == BFD_RELOC_390_TLS_TPOFF
1898 || fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT
1899 || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
1904 /* Return true if we must always emit a reloc for a type and false if
1905 there is some hope of resolving it at assembly time. */
1907 tc_s390_force_relocation (fixp)
1910 /* Ensure we emit a relocation for every reference to the global
1911 offset table or to the procedure link table. */
1912 switch (fixp->fx_r_type)
1914 case BFD_RELOC_390_GOT12:
1915 case BFD_RELOC_32_GOT_PCREL:
1916 case BFD_RELOC_32_GOTOFF:
1917 case BFD_RELOC_390_GOTOFF64:
1918 case BFD_RELOC_390_PLTOFF16:
1919 case BFD_RELOC_390_PLTOFF32:
1920 case BFD_RELOC_390_PLTOFF64:
1921 case BFD_RELOC_390_GOTPC:
1922 case BFD_RELOC_390_GOT16:
1923 case BFD_RELOC_390_GOTPCDBL:
1924 case BFD_RELOC_390_GOT64:
1925 case BFD_RELOC_390_GOTENT:
1926 case BFD_RELOC_390_PLT32:
1927 case BFD_RELOC_390_PLT16DBL:
1928 case BFD_RELOC_390_PLT32DBL:
1929 case BFD_RELOC_390_PLT64:
1930 case BFD_RELOC_390_GOTPLT12:
1931 case BFD_RELOC_390_GOTPLT16:
1932 case BFD_RELOC_390_GOTPLT32:
1933 case BFD_RELOC_390_GOTPLT64:
1934 case BFD_RELOC_390_GOTPLTENT:
1940 return generic_force_reloc (fixp);
1943 /* Apply a fixup to the object code. This is called for all the
1944 fixups we generated by the call to fix_new_exp, above. In the call
1945 above we used a reloc code which was the largest legal reloc code
1946 plus the operand index. Here we undo that to recover the operand
1947 index. At this point all symbol values should be fully resolved,
1948 and we attempt to completely resolve the reloc. If we can not do
1949 that, we determine the correct reloc code and put it back in the
1953 md_apply_fix3 (fixP, valP, seg)
1956 segT seg ATTRIBUTE_UNUSED;
1959 valueT value = *valP;
1961 where = fixP->fx_frag->fr_literal + fixP->fx_where;
1963 if (fixP->fx_subsy != NULL)
1964 as_bad_where (fixP->fx_file, fixP->fx_line,
1965 "cannot emit relocation %s against subsy symbol %s",
1966 bfd_get_reloc_code_name (fixP->fx_r_type),
1967 S_GET_NAME (fixP->fx_subsy));
1969 if (fixP->fx_addsy != NULL)
1972 value += fixP->fx_frag->fr_address + fixP->fx_where;
1977 if ((int) fixP->fx_r_type >= (int) BFD_RELOC_UNUSED)
1979 const struct s390_operand *operand;
1982 opindex = (int) fixP->fx_r_type - (int) BFD_RELOC_UNUSED;
1983 operand = &s390_operands[opindex];
1987 /* Insert the fully resolved operand value. */
1988 s390_insert_operand (where, operand, (offsetT) value,
1989 fixP->fx_file, fixP->fx_line);
1993 /* Determine a BFD reloc value based on the operand information.
1994 We are only prepared to turn a few of the operands into
1996 fixP->fx_offset = value;
1997 if (operand->bits == 12 && operand->shift == 20)
2000 fixP->fx_where += 2;
2001 fixP->fx_r_type = BFD_RELOC_390_12;
2003 else if (operand->bits == 12 && operand->shift == 36)
2006 fixP->fx_where += 4;
2007 fixP->fx_r_type = BFD_RELOC_390_12;
2009 else if (operand->bits == 8 && operand->shift == 8)
2012 fixP->fx_where += 1;
2013 fixP->fx_r_type = BFD_RELOC_8;
2015 else if (operand->bits == 16 && operand->shift == 16)
2018 fixP->fx_where += 2;
2019 if (operand->flags & S390_OPERAND_PCREL)
2021 fixP->fx_r_type = BFD_RELOC_390_PC16DBL;
2022 fixP->fx_offset += 2;
2025 fixP->fx_r_type = BFD_RELOC_16;
2027 else if (operand->bits == 32 && operand->shift == 16
2028 && (operand->flags & S390_OPERAND_PCREL))
2031 fixP->fx_where += 2;
2032 fixP->fx_offset += 2;
2033 fixP->fx_r_type = BFD_RELOC_390_PC32DBL;
2040 /* Use expr_symbol_where to see if this is an expression
2042 if (expr_symbol_where (fixP->fx_addsy, &sfile, &sline))
2043 as_bad_where (fixP->fx_file, fixP->fx_line,
2044 _("unresolved expression that must be resolved"));
2046 as_bad_where (fixP->fx_file, fixP->fx_line,
2047 _("unsupported relocation type"));
2054 switch (fixP->fx_r_type)
2060 md_number_to_chars (where, value, 1);
2062 case BFD_RELOC_390_12:
2063 case BFD_RELOC_390_GOT12:
2064 case BFD_RELOC_390_GOTPLT12:
2069 mop = bfd_getb16 ((unsigned char *) where);
2070 mop |= (unsigned short) (value & 0xfff);
2071 bfd_putb16 ((bfd_vma) mop, (unsigned char *) where);
2076 case BFD_RELOC_GPREL16:
2077 case BFD_RELOC_16_GOT_PCREL:
2078 case BFD_RELOC_16_GOTOFF:
2080 as_bad_where (fixP->fx_file, fixP->fx_line,
2081 "cannot emit PC relative %s relocation%s%s",
2082 bfd_get_reloc_code_name (fixP->fx_r_type),
2083 fixP->fx_addsy != NULL ? " against " : "",
2084 (fixP->fx_addsy != NULL
2085 ? S_GET_NAME (fixP->fx_addsy)
2088 md_number_to_chars (where, value, 2);
2090 case BFD_RELOC_390_GOT16:
2091 case BFD_RELOC_390_PLTOFF16:
2092 case BFD_RELOC_390_GOTPLT16:
2094 md_number_to_chars (where, value, 2);
2096 case BFD_RELOC_390_PC16DBL:
2097 case BFD_RELOC_390_PLT16DBL:
2100 md_number_to_chars (where, (offsetT) value >> 1, 2);
2105 fixP->fx_r_type = BFD_RELOC_32_PCREL;
2107 fixP->fx_r_type = BFD_RELOC_32;
2109 md_number_to_chars (where, value, 4);
2111 case BFD_RELOC_32_PCREL:
2112 case BFD_RELOC_32_BASEREL:
2113 fixP->fx_r_type = BFD_RELOC_32_PCREL;
2115 md_number_to_chars (where, value, 4);
2117 case BFD_RELOC_32_GOT_PCREL:
2118 case BFD_RELOC_390_PLTOFF32:
2119 case BFD_RELOC_390_PLT32:
2120 case BFD_RELOC_390_GOTPLT32:
2122 md_number_to_chars (where, value, 4);
2124 case BFD_RELOC_390_PC32DBL:
2125 case BFD_RELOC_390_PLT32DBL:
2126 case BFD_RELOC_390_GOTPCDBL:
2127 case BFD_RELOC_390_GOTENT:
2128 case BFD_RELOC_390_GOTPLTENT:
2131 md_number_to_chars (where, (offsetT) value >> 1, 4);
2134 case BFD_RELOC_32_GOTOFF:
2136 md_number_to_chars (where, value, sizeof (int));
2139 case BFD_RELOC_390_GOTOFF64:
2141 md_number_to_chars (where, value, 8);
2144 case BFD_RELOC_390_GOT64:
2145 case BFD_RELOC_390_PLTOFF64:
2146 case BFD_RELOC_390_PLT64:
2147 case BFD_RELOC_390_GOTPLT64:
2149 md_number_to_chars (where, value, 8);
2154 fixP->fx_r_type = BFD_RELOC_64_PCREL;
2156 fixP->fx_r_type = BFD_RELOC_64;
2158 md_number_to_chars (where, value, 8);
2161 case BFD_RELOC_64_PCREL:
2162 fixP->fx_r_type = BFD_RELOC_64_PCREL;
2164 md_number_to_chars (where, value, 8);
2167 case BFD_RELOC_VTABLE_INHERIT:
2168 case BFD_RELOC_VTABLE_ENTRY:
2172 case BFD_RELOC_390_TLS_LOAD:
2173 case BFD_RELOC_390_TLS_GDCALL:
2174 case BFD_RELOC_390_TLS_LDCALL:
2175 case BFD_RELOC_390_TLS_GD32:
2176 case BFD_RELOC_390_TLS_GD64:
2177 case BFD_RELOC_390_TLS_GOTIE12:
2178 case BFD_RELOC_390_TLS_GOTIE32:
2179 case BFD_RELOC_390_TLS_GOTIE64:
2180 case BFD_RELOC_390_TLS_LDM32:
2181 case BFD_RELOC_390_TLS_LDM64:
2182 case BFD_RELOC_390_TLS_IE32:
2183 case BFD_RELOC_390_TLS_IE64:
2184 case BFD_RELOC_390_TLS_LE32:
2185 case BFD_RELOC_390_TLS_LE64:
2186 case BFD_RELOC_390_TLS_LDO32:
2187 case BFD_RELOC_390_TLS_LDO64:
2188 case BFD_RELOC_390_TLS_DTPMOD:
2189 case BFD_RELOC_390_TLS_DTPOFF:
2190 case BFD_RELOC_390_TLS_TPOFF:
2191 /* Fully resolved at link time. */
2193 case BFD_RELOC_390_TLS_IEENT:
2194 /* Fully resolved at link time. */
2200 const char *reloc_name = bfd_get_reloc_code_name (fixP->fx_r_type);
2202 if (reloc_name != NULL)
2203 fprintf (stderr, "Gas failure, reloc type %s\n", reloc_name);
2205 fprintf (stderr, "Gas failure, reloc type #%i\n", fixP->fx_r_type);
2211 fixP->fx_offset = value;
2215 /* Generate a reloc for a fixup. */
2218 tc_gen_reloc (seg, fixp)
2219 asection *seg ATTRIBUTE_UNUSED;
2222 bfd_reloc_code_real_type code;
2225 code = fixp->fx_r_type;
2226 if (GOT_symbol && fixp->fx_addsy == GOT_symbol)
2228 if ( (s390_arch_size == 32 && code == BFD_RELOC_32_PCREL)
2229 || (s390_arch_size == 64 && code == BFD_RELOC_64_PCREL))
2230 code = BFD_RELOC_390_GOTPC;
2231 if (code == BFD_RELOC_390_PC32DBL)
2232 code = BFD_RELOC_390_GOTPCDBL;
2235 reloc = (arelent *) xmalloc (sizeof (arelent));
2236 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
2237 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
2238 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
2239 reloc->howto = bfd_reloc_type_lookup (stdoutput, code);
2240 if (reloc->howto == NULL)
2242 as_bad_where (fixp->fx_file, fixp->fx_line,
2243 _("cannot represent relocation type %s"),
2244 bfd_get_reloc_code_name (code));
2245 /* Set howto to a garbage value so that we can keep going. */
2246 reloc->howto = bfd_reloc_type_lookup (stdoutput, BFD_RELOC_32);
2247 assert (reloc->howto != NULL);
2249 reloc->addend = fixp->fx_offset;