1 /* tc-s390.c -- Assemble for the S390
2 Copyright 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
3 2009, 2010 Free Software Foundation, Inc.
4 Contributed by Martin Schwidefsky (schwidefsky@de.ibm.com).
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 "struc-symbol.h"
27 #include "dwarf2dbg.h"
28 #include "dw2gencfi.h"
30 #include "opcode/s390.h"
33 /* The default architecture. */
35 #define DEFAULT_ARCH "s390"
37 static char *default_arch = DEFAULT_ARCH;
38 /* Either 32 or 64, selects file format. */
39 static int s390_arch_size = 0;
41 /* If no -march option was given default to the highest available CPU.
42 Since with S/390 a newer CPU always supports everything from its
43 predecessors this will accept every valid asm input. */
44 static unsigned int current_cpu = S390_OPCODE_MAXCPU - 1;
45 static unsigned int current_mode_mask = 0;
47 /* Whether to use user friendly register names. Default is TRUE. */
48 #ifndef TARGET_REG_NAMES_P
49 #define TARGET_REG_NAMES_P TRUE
52 static bfd_boolean reg_names_p = TARGET_REG_NAMES_P;
54 /* Set to TRUE if we want to warn about zero base/index registers. */
55 static bfd_boolean warn_areg_zero = FALSE;
57 /* Generic assembler global variables which must be defined by all
60 const char comment_chars[] = "#";
62 /* Characters which start a comment at the beginning of a line. */
63 const char line_comment_chars[] = "#";
65 /* Characters which may be used to separate multiple commands on a
67 const char line_separator_chars[] = ";";
69 /* Characters which are used to indicate an exponent in a floating
71 const char EXP_CHARS[] = "eE";
73 /* Characters which mean that a number is a floating point constant,
75 const char FLT_CHARS[] = "dD";
77 /* The dwarf2 data alignment, adjusted for 32 or 64 bit. */
78 int s390_cie_data_alignment;
80 /* The target specific pseudo-ops which we support. */
82 /* Define the prototypes for the pseudo-ops */
83 static void s390_byte (int);
84 static void s390_elf_cons (int);
85 static void s390_bss (int);
86 static void s390_insn (int);
87 static void s390_literals (int);
88 static void s390_machine (int);
90 const pseudo_typeS md_pseudo_table[] =
92 { "align", s_align_bytes, 0 },
93 /* Pseudo-ops which must be defined. */
94 { "bss", s390_bss, 0 },
95 { "insn", s390_insn, 0 },
96 /* Pseudo-ops which must be overridden. */
97 { "byte", s390_byte, 0 },
98 { "short", s390_elf_cons, 2 },
99 { "long", s390_elf_cons, 4 },
100 { "quad", s390_elf_cons, 8 },
101 { "ltorg", s390_literals, 0 },
102 { "string", stringer, 8 + 1 },
103 { "machine", s390_machine, 0 },
108 /* Structure to hold information about predefined registers. */
115 /* List of registers that are pre-defined:
117 Each access register has a predefined name of the form:
118 a<reg_num> which has the value <reg_num>.
120 Each control register has a predefined name of the form:
121 c<reg_num> which has the value <reg_num>.
123 Each general register has a predefined name of the form:
124 r<reg_num> which has the value <reg_num>.
126 Each floating point register a has predefined name of the form:
127 f<reg_num> which has the value <reg_num>.
129 There are individual registers as well:
133 The table is sorted. Suitable for searching by a binary search. */
135 static const struct pd_reg pre_defined_registers[] =
137 { "a0", 0 }, /* Access registers */
154 { "c0", 0 }, /* Control registers */
171 { "f0", 0 }, /* Floating point registers */
188 { "lit", 13 }, /* Pointer to literal pool */
190 { "r0", 0 }, /* General purpose registers */
207 { "sp", 15 }, /* Stack pointer */
211 #define REG_NAME_CNT (sizeof (pre_defined_registers) / sizeof (struct pd_reg))
213 /* Given NAME, find the register number associated with that name, return
214 the integer value associated with the given name or -1 on failure. */
217 reg_name_search (const struct pd_reg *regs, int regcount, const char *name)
219 int middle, low, high;
227 middle = (low + high) / 2;
228 cmp = strcasecmp (name, regs[middle].name);
234 return regs[middle].value;
243 * Summary of register_name().
245 * in: Input_line_pointer points to 1st char of operand.
247 * out: A expressionS.
248 * The operand may have been a register: in this case, X_op == O_register,
249 * X_add_number is set to the register number, and truth is returned.
250 * Input_line_pointer->(next non-blank) char after operand, or is in its
255 register_name (expressionS *expressionP)
262 /* Find the spelling of the operand. */
263 start = name = input_line_pointer;
264 if (name[0] == '%' && ISALPHA (name[1]))
265 name = ++input_line_pointer;
269 c = get_symbol_end ();
270 reg_number = reg_name_search (pre_defined_registers, REG_NAME_CNT, name);
272 /* Put back the delimiting char. */
273 *input_line_pointer = c;
275 /* Look to see if it's in the register table. */
278 expressionP->X_op = O_register;
279 expressionP->X_add_number = reg_number;
281 /* Make the rest nice. */
282 expressionP->X_add_symbol = NULL;
283 expressionP->X_op_symbol = NULL;
287 /* Reset the line as if we had not done anything. */
288 input_line_pointer = start;
292 /* Local variables. */
294 /* Opformat hash table. */
295 static struct hash_control *s390_opformat_hash;
297 /* Opcode hash table. */
298 static struct hash_control *s390_opcode_hash = NULL;
300 /* Flags to set in the elf header */
301 static flagword s390_flags = 0;
303 symbolS *GOT_symbol; /* Pre-defined "_GLOBAL_OFFSET_TABLE_" */
305 #ifndef WORKING_DOT_WORD
306 int md_short_jump_size = 4;
307 int md_long_jump_size = 4;
310 const char *md_shortopts = "A:m:kVQ:";
311 struct option md_longopts[] = {
312 {NULL, no_argument, NULL, 0}
314 size_t md_longopts_size = sizeof (md_longopts);
316 /* Initialize the default opcode arch and word size from the default
317 architecture name if not specified by an option. */
319 init_default_arch (void)
321 if (strcmp (default_arch, "s390") == 0)
323 if (s390_arch_size == 0)
326 else if (strcmp (default_arch, "s390x") == 0)
328 if (s390_arch_size == 0)
332 as_fatal (_("Invalid default architecture, broken assembler."));
334 if (current_mode_mask == 0)
336 /* Default to z/Architecture mode if the CPU supports it. */
337 if (current_cpu < S390_OPCODE_Z900)
338 current_mode_mask = 1 << S390_OPCODE_ESA;
340 current_mode_mask = 1 << S390_OPCODE_ZARCH;
344 /* Called by TARGET_FORMAT. */
346 s390_target_format (void)
348 /* We don't get a chance to initialize anything before we're called,
349 so handle that now. */
350 init_default_arch ();
352 return s390_arch_size == 64 ? "elf64-s390" : "elf32-s390";
355 /* Map a CPU string as given with -march= or .machine to the
356 respective enum s390_opcode_cpu_val value. 0xffffffff is returned
357 in case of an error. */
360 s390_parse_cpu (char *arg)
362 if (strcmp (arg, "g5") == 0)
363 return S390_OPCODE_G5;
364 else if (strcmp (arg, "g6") == 0)
365 return S390_OPCODE_G6;
366 else if (strcmp (arg, "z900") == 0)
367 return S390_OPCODE_Z900;
368 else if (strcmp (arg, "z990") == 0)
369 return S390_OPCODE_Z990;
370 else if (strcmp (arg, "z9-109") == 0)
371 return S390_OPCODE_Z9_109;
372 else if (strcmp (arg, "z9-ec") == 0)
373 return S390_OPCODE_Z9_EC;
374 else if (strcmp (arg, "z10") == 0)
375 return S390_OPCODE_Z10;
376 else if (strcmp (arg, "z196") == 0)
377 return S390_OPCODE_Z196;
378 else if (strcmp (arg, "all") == 0)
379 return S390_OPCODE_MAXCPU - 1;
385 md_parse_option (int c, char *arg)
389 /* -k: Ignore for FreeBSD compatibility. */
393 if (arg != NULL && strcmp (arg, "regnames") == 0)
396 else if (arg != NULL && strcmp (arg, "no-regnames") == 0)
399 else if (arg != NULL && strcmp (arg, "warn-areg-zero") == 0)
400 warn_areg_zero = TRUE;
402 else if (arg != NULL && strcmp (arg, "31") == 0)
405 else if (arg != NULL && strcmp (arg, "64") == 0)
408 else if (arg != NULL && strcmp (arg, "esa") == 0)
409 current_mode_mask = 1 << S390_OPCODE_ESA;
411 else if (arg != NULL && strcmp (arg, "zarch") == 0)
412 current_mode_mask = 1 << S390_OPCODE_ZARCH;
414 else if (arg != NULL && strncmp (arg, "arch=", 5) == 0)
416 current_cpu = s390_parse_cpu (arg + 5);
418 if (current_cpu == (unsigned int)-1)
420 as_bad (_("invalid switch -m%s"), arg);
427 as_bad (_("invalid switch -m%s"), arg);
433 /* Option -A is deprecated. Still available for compatibility. */
434 if (arg != NULL && strcmp (arg, "esa") == 0)
435 current_cpu = S390_OPCODE_G5;
436 else if (arg != NULL && strcmp (arg, "esame") == 0)
437 current_cpu = S390_OPCODE_Z900;
439 as_bad (_("invalid architecture -A%s"), arg);
442 /* -V: SVR4 argument to print version ID. */
447 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
448 should be emitted or not. FIXME: Not implemented. */
460 md_show_usage (FILE *stream)
462 fprintf (stream, _("\
464 -mregnames Allow symbolic names for registers\n\
465 -mwarn-areg-zero Warn about zero base/index registers\n\
466 -mno-regnames Do not allow symbolic names for registers\n\
467 -m31 Set file format to 31 bit format\n\
468 -m64 Set file format to 64 bit format\n"));
469 fprintf (stream, _("\
470 -V print assembler version number\n\
471 -Qy, -Qn ignored\n"));
474 /* Generate the hash table mapping mnemonics to struct s390_opcode.
475 This table is built at startup and whenever the CPU level is
476 changed using .machine. */
479 s390_setup_opcodes (void)
481 register const struct s390_opcode *op;
482 const struct s390_opcode *op_end;
483 bfd_boolean dup_insn = FALSE;
486 if (s390_opcode_hash != NULL)
487 hash_die (s390_opcode_hash);
489 /* Insert the opcodes into a hash table. */
490 s390_opcode_hash = hash_new ();
492 op_end = s390_opcodes + s390_num_opcodes;
493 for (op = s390_opcodes; op < op_end; op++)
495 while (op < op_end - 1 && strcmp(op->name, op[1].name) == 0)
497 if (op->min_cpu <= current_cpu && (op->modes & current_mode_mask))
502 if (op->min_cpu <= current_cpu && (op->modes & current_mode_mask))
504 retval = hash_insert (s390_opcode_hash, op->name, (void *) op);
505 if (retval != (const char *) NULL)
507 as_bad (_("Internal assembler error for instruction %s"),
513 while (op < op_end - 1 && strcmp (op->name, op[1].name) == 0)
521 /* This function is called when the assembler starts up. It is called
522 after the options have been parsed and the output file has been
528 register const struct s390_opcode *op;
529 const struct s390_opcode *op_end;
530 bfd_boolean dup_insn = FALSE;
533 /* Give a warning if the combination -m64-bit and -Aesa is used. */
534 if (s390_arch_size == 64 && current_cpu < S390_OPCODE_Z900)
535 as_warn (_("The 64 bit file format is used without esame instructions."));
537 s390_cie_data_alignment = -s390_arch_size / 8;
539 /* Set the ELF flags if desired. */
541 bfd_set_private_flags (stdoutput, s390_flags);
543 /* Insert the opcode formats into a hash table. */
544 s390_opformat_hash = hash_new ();
546 op_end = s390_opformats + s390_num_opformats;
547 for (op = s390_opformats; op < op_end; op++)
549 retval = hash_insert (s390_opformat_hash, op->name, (void *) op);
550 if (retval != (const char *) NULL)
552 as_bad (_("Internal assembler error for instruction format %s"),
558 s390_setup_opcodes ();
560 record_alignment (text_section, 2);
561 record_alignment (data_section, 2);
562 record_alignment (bss_section, 2);
565 /* Called after all assembly has been done. */
569 if (s390_arch_size == 64)
570 bfd_set_arch_mach (stdoutput, bfd_arch_s390, bfd_mach_s390_64);
572 bfd_set_arch_mach (stdoutput, bfd_arch_s390, bfd_mach_s390_31);
575 /* Insert an operand value into an instruction. */
578 s390_insert_operand (unsigned char *insn,
579 const struct s390_operand *operand,
587 if (operand->flags & (S390_OPERAND_SIGNED|S390_OPERAND_PCREL))
591 max = ((offsetT) 1 << (operand->bits - 1)) - 1;
592 min = - ((offsetT) 1 << (operand->bits - 1));
593 /* Halve PCREL operands. */
594 if (operand->flags & S390_OPERAND_PCREL)
596 /* Check for underflow / overflow. */
597 if (val < min || val > max)
600 _("operand out of range (%s not between %ld and %ld)");
603 if (operand->flags & S390_OPERAND_PCREL)
609 sprint_value (buf, val);
610 if (file == (char *) NULL)
611 as_bad (err, buf, (int) min, (int) max);
613 as_bad_where (file, line, err, buf, (int) min, (int) max);
616 /* val is ok, now restrict it to operand->bits bits. */
617 uval = (addressT) val & ((((addressT) 1 << (operand->bits-1)) << 1) - 1);
618 /* val is restrict, now check for special case. */
619 if (operand->bits == 20 && operand->shift == 20)
620 uval = (uval >> 12) | ((uval & 0xfff) << 8);
626 max = (((addressT) 1 << (operand->bits - 1)) << 1) - 1;
628 uval = (addressT) val;
629 /* Length x in an instructions has real length x+1. */
630 if (operand->flags & S390_OPERAND_LENGTH)
632 /* Check for underflow / overflow. */
633 if (uval < min || uval > max)
635 if (operand->flags & S390_OPERAND_LENGTH)
642 as_bad_value_out_of_range (_("operand"), uval, (offsetT) min, (offsetT) max, file, line);
648 /* Insert fragments of the operand byte for byte. */
649 offset = operand->shift + operand->bits;
650 uval <<= (-offset) & 7;
651 insn += (offset - 1) / 8;
663 bfd_reloc_code_real_type reloc;
666 /* Parse tls marker and return the desired relocation. */
667 static bfd_reloc_code_real_type
668 s390_tls_suffix (char **str_p, expressionS *exp_p)
670 static struct map_tls mapping[] =
672 { "tls_load", 8, BFD_RELOC_390_TLS_LOAD },
673 { "tls_gdcall", 10, BFD_RELOC_390_TLS_GDCALL },
674 { "tls_ldcall", 10, BFD_RELOC_390_TLS_LDCALL },
675 { NULL, 0, BFD_RELOC_UNUSED }
685 return BFD_RELOC_UNUSED;
688 while (ISIDNUM (*str))
692 return BFD_RELOC_UNUSED;
694 orig_line = input_line_pointer;
695 input_line_pointer = str;
697 str = input_line_pointer;
698 if (&input_line_pointer != str_p)
699 input_line_pointer = orig_line;
701 if (exp_p->X_op != O_symbol)
702 return BFD_RELOC_UNUSED;
704 for (ptr = &mapping[0]; ptr->length > 0; ptr++)
705 if (len == ptr->length
706 && strncasecmp (ident, ptr->string, ptr->length) == 0)
708 /* Found a matching tls suffix. */
712 return BFD_RELOC_UNUSED;
715 /* Structure used to hold suffixes. */
726 ELF_SUFFIX_TLS_GOTIE,
738 elf_suffix_type suffix;
742 /* Parse @got/@plt/@gotoff. and return the desired relocation. */
743 static elf_suffix_type
744 s390_elf_suffix (char **str_p, expressionS *exp_p)
746 static struct map_bfd mapping[] =
748 { "got", 3, ELF_SUFFIX_GOT },
749 { "got12", 5, ELF_SUFFIX_GOT },
750 { "plt", 3, ELF_SUFFIX_PLT },
751 { "gotent", 6, ELF_SUFFIX_GOTENT },
752 { "gotoff", 6, ELF_SUFFIX_GOTOFF },
753 { "gotplt", 6, ELF_SUFFIX_GOTPLT },
754 { "pltoff", 6, ELF_SUFFIX_PLTOFF },
755 { "tlsgd", 5, ELF_SUFFIX_TLS_GD },
756 { "gotntpoff", 9, ELF_SUFFIX_TLS_GOTIE },
757 { "indntpoff", 9, ELF_SUFFIX_TLS_IE },
758 { "tlsldm", 6, ELF_SUFFIX_TLS_LDM },
759 { "dtpoff", 6, ELF_SUFFIX_TLS_LDO },
760 { "ntpoff", 6, ELF_SUFFIX_TLS_LE },
761 { NULL, 0, ELF_SUFFIX_NONE }
770 return ELF_SUFFIX_NONE;
773 while (ISALNUM (*str))
777 for (ptr = &mapping[0]; ptr->length > 0; ptr++)
778 if (len == ptr->length
779 && strncasecmp (ident, ptr->string, ptr->length) == 0)
781 if (exp_p->X_add_number != 0)
782 as_warn (_("identifier+constant@%s means identifier@%s+constant"),
783 ptr->string, ptr->string);
784 /* Now check for identifier@suffix+constant. */
785 if (*str == '-' || *str == '+')
787 char *orig_line = input_line_pointer;
790 input_line_pointer = str;
791 expression (&new_exp);
793 switch (new_exp.X_op)
795 case O_constant: /* X_add_number (a constant expression). */
796 exp_p->X_add_number += new_exp.X_add_number;
797 str = input_line_pointer;
799 case O_symbol: /* X_add_symbol + X_add_number. */
800 /* this case is used for e.g. xyz@PLT+.Label. */
801 exp_p->X_add_number += new_exp.X_add_number;
802 exp_p->X_op_symbol = new_exp.X_add_symbol;
804 str = input_line_pointer;
806 case O_uminus: /* (- X_add_symbol) + X_add_number. */
807 /* this case is used for e.g. xyz@PLT-.Label. */
808 exp_p->X_add_number += new_exp.X_add_number;
809 exp_p->X_op_symbol = new_exp.X_add_symbol;
810 exp_p->X_op = O_subtract;
811 str = input_line_pointer;
817 /* If s390_elf_suffix has not been called with
818 &input_line_pointer as first parameter, we have
819 clobbered the input_line_pointer. We have to
821 if (&input_line_pointer != str_p)
822 input_line_pointer = orig_line;
828 return BFD_RELOC_UNUSED;
831 /* Structure used to hold a literal pool entry. */
834 struct s390_lpe *next;
836 FLONUM_TYPE floatnum; /* used if X_op == O_big && X_add_number <= 0 */
837 LITTLENUM_TYPE bignum[4]; /* used if X_op == O_big && X_add_number > 0 */
839 bfd_reloc_code_real_type reloc;
843 static struct s390_lpe *lpe_free_list = NULL;
844 static struct s390_lpe *lpe_list = NULL;
845 static struct s390_lpe *lpe_list_tail = NULL;
846 static symbolS *lp_sym = NULL;
847 static int lp_count = 0;
848 static int lpe_count = 0;
851 s390_exp_compare (expressionS *exp1, expressionS *exp2)
853 if (exp1->X_op != exp2->X_op)
858 case O_constant: /* X_add_number must be equal. */
860 return exp1->X_add_number == exp2->X_add_number;
863 as_bad (_("Can't handle O_big in s390_exp_compare"));
865 case O_symbol: /* X_add_symbol & X_add_number must be equal. */
870 return (exp1->X_add_symbol == exp2->X_add_symbol)
871 && (exp1->X_add_number == exp2->X_add_number);
873 case O_multiply: /* X_add_symbol,X_op_symbol&X_add_number must be equal. */
878 case O_bit_inclusive_or:
880 case O_bit_exclusive_or:
892 return (exp1->X_add_symbol == exp2->X_add_symbol)
893 && (exp1->X_op_symbol == exp2->X_op_symbol)
894 && (exp1->X_add_number == exp2->X_add_number);
900 /* Test for @lit and if its present make an entry in the literal pool and
901 modify the current expression to be an offset into the literal pool. */
902 static elf_suffix_type
903 s390_lit_suffix (char **str_p, expressionS *exp_p, elf_suffix_type suffix)
905 bfd_reloc_code_real_type reloc;
909 struct s390_lpe *lpe;
913 return suffix; /* No modification. */
915 /* We look for a suffix of the form "@lit1", "@lit2", "@lit4" or "@lit8". */
917 while (ISALNUM (*str))
920 if (len != 4 || strncasecmp (ident, "lit", 3) != 0
921 || (ident[3]!='1' && ident[3]!='2' && ident[3]!='4' && ident[3]!='8'))
922 return suffix; /* no modification */
923 nbytes = ident[3] - '0';
925 reloc = BFD_RELOC_UNUSED;
926 if (suffix == ELF_SUFFIX_GOT)
929 reloc = BFD_RELOC_390_GOT16;
930 else if (nbytes == 4)
931 reloc = BFD_RELOC_32_GOT_PCREL;
932 else if (nbytes == 8)
933 reloc = BFD_RELOC_390_GOT64;
935 else if (suffix == ELF_SUFFIX_PLT)
938 reloc = BFD_RELOC_390_PLT32;
939 else if (nbytes == 8)
940 reloc = BFD_RELOC_390_PLT64;
943 if (suffix != ELF_SUFFIX_NONE && reloc == BFD_RELOC_UNUSED)
944 as_bad (_("Invalid suffix for literal pool entry"));
946 /* Search the pool if the new entry is a duplicate. */
947 if (exp_p->X_op == O_big)
949 /* Special processing for big numbers. */
950 for (lpe = lpe_list; lpe != NULL; lpe = lpe->next)
952 if (lpe->ex.X_op == O_big)
954 if (exp_p->X_add_number <= 0 && lpe->ex.X_add_number <= 0)
956 if (memcmp (&generic_floating_point_number, &lpe->floatnum,
957 sizeof (FLONUM_TYPE)) == 0)
960 else if (exp_p->X_add_number == lpe->ex.X_add_number)
962 if (memcmp (generic_bignum, lpe->bignum,
963 sizeof (LITTLENUM_TYPE)*exp_p->X_add_number) == 0)
971 /* Processing for 'normal' data types. */
972 for (lpe = lpe_list; lpe != NULL; lpe = lpe->next)
973 if (lpe->nbytes == nbytes && lpe->reloc == reloc
974 && s390_exp_compare (exp_p, &lpe->ex) != 0)
981 if (lpe_free_list != NULL)
984 lpe_free_list = lpe_free_list->next;
988 lpe = (struct s390_lpe *) xmalloc (sizeof (struct s390_lpe));
993 if (exp_p->X_op == O_big)
995 if (exp_p->X_add_number <= 0)
996 lpe->floatnum = generic_floating_point_number;
997 else if (exp_p->X_add_number <= 4)
998 memcpy (lpe->bignum, generic_bignum,
999 exp_p->X_add_number * sizeof (LITTLENUM_TYPE));
1001 as_bad (_("Big number is too big"));
1004 lpe->nbytes = nbytes;
1006 /* Literal pool name defined ? */
1009 sprintf (tmp_name, ".L\001%i", lp_count);
1010 lp_sym = symbol_make (tmp_name);
1013 /* Make name for literal pool entry. */
1014 sprintf (tmp_name, ".L\001%i\002%i", lp_count, lpe_count);
1016 lpe->sym = symbol_make (tmp_name);
1018 /* Add to literal pool list. */
1020 if (lpe_list_tail != NULL)
1022 lpe_list_tail->next = lpe;
1023 lpe_list_tail = lpe;
1026 lpe_list = lpe_list_tail = lpe;
1029 /* Now change exp_p to the offset into the literal pool.
1030 Thats the expression: .L^Ax^By-.L^Ax */
1031 exp_p->X_add_symbol = lpe->sym;
1032 exp_p->X_op_symbol = lp_sym;
1033 exp_p->X_op = O_subtract;
1034 exp_p->X_add_number = 0;
1038 /* We change the suffix type to ELF_SUFFIX_NONE, because
1039 the difference of two local labels is just a number. */
1040 return ELF_SUFFIX_NONE;
1043 /* Like normal .long/.short/.word, except support @got, etc.
1044 clobbers input_line_pointer, checks end-of-line. */
1046 s390_elf_cons (int nbytes /* 1=.byte, 2=.word, 4=.long */)
1049 elf_suffix_type suffix;
1051 if (is_it_end_of_statement ())
1053 demand_empty_rest_of_line ();
1061 if (exp.X_op == O_symbol
1062 && *input_line_pointer == '@'
1063 && (suffix = s390_elf_suffix (&input_line_pointer, &exp)) != ELF_SUFFIX_NONE)
1065 bfd_reloc_code_real_type reloc;
1066 reloc_howto_type *reloc_howto;
1072 static bfd_reloc_code_real_type tab2[] =
1074 BFD_RELOC_UNUSED, /* ELF_SUFFIX_NONE */
1075 BFD_RELOC_390_GOT16, /* ELF_SUFFIX_GOT */
1076 BFD_RELOC_UNUSED, /* ELF_SUFFIX_PLT */
1077 BFD_RELOC_UNUSED, /* ELF_SUFFIX_GOTENT */
1078 BFD_RELOC_16_GOTOFF, /* ELF_SUFFIX_GOTOFF */
1079 BFD_RELOC_UNUSED, /* ELF_SUFFIX_GOTPLT */
1080 BFD_RELOC_390_PLTOFF16, /* ELF_SUFFIX_PLTOFF */
1081 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_GD */
1082 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_GOTIE */
1083 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_IE */
1084 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_LDM */
1085 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_LDO */
1086 BFD_RELOC_UNUSED /* ELF_SUFFIX_TLS_LE */
1088 reloc = tab2[suffix];
1090 else if (nbytes == 4)
1092 static bfd_reloc_code_real_type tab4[] =
1094 BFD_RELOC_UNUSED, /* ELF_SUFFIX_NONE */
1095 BFD_RELOC_32_GOT_PCREL, /* ELF_SUFFIX_GOT */
1096 BFD_RELOC_390_PLT32, /* ELF_SUFFIX_PLT */
1097 BFD_RELOC_UNUSED, /* ELF_SUFFIX_GOTENT */
1098 BFD_RELOC_32_GOTOFF, /* ELF_SUFFIX_GOTOFF */
1099 BFD_RELOC_390_GOTPLT32, /* ELF_SUFFIX_GOTPLT */
1100 BFD_RELOC_390_PLTOFF32, /* ELF_SUFFIX_PLTOFF */
1101 BFD_RELOC_390_TLS_GD32, /* ELF_SUFFIX_TLS_GD */
1102 BFD_RELOC_390_TLS_GOTIE32, /* ELF_SUFFIX_TLS_GOTIE */
1103 BFD_RELOC_390_TLS_IE32, /* ELF_SUFFIX_TLS_IE */
1104 BFD_RELOC_390_TLS_LDM32, /* ELF_SUFFIX_TLS_LDM */
1105 BFD_RELOC_390_TLS_LDO32, /* ELF_SUFFIX_TLS_LDO */
1106 BFD_RELOC_390_TLS_LE32 /* ELF_SUFFIX_TLS_LE */
1108 reloc = tab4[suffix];
1110 else if (nbytes == 8)
1112 static bfd_reloc_code_real_type tab8[] =
1114 BFD_RELOC_UNUSED, /* ELF_SUFFIX_NONE */
1115 BFD_RELOC_390_GOT64, /* ELF_SUFFIX_GOT */
1116 BFD_RELOC_390_PLT64, /* ELF_SUFFIX_PLT */
1117 BFD_RELOC_UNUSED, /* ELF_SUFFIX_GOTENT */
1118 BFD_RELOC_390_GOTOFF64, /* ELF_SUFFIX_GOTOFF */
1119 BFD_RELOC_390_GOTPLT64, /* ELF_SUFFIX_GOTPLT */
1120 BFD_RELOC_390_PLTOFF64, /* ELF_SUFFIX_PLTOFF */
1121 BFD_RELOC_390_TLS_GD64, /* ELF_SUFFIX_TLS_GD */
1122 BFD_RELOC_390_TLS_GOTIE64, /* ELF_SUFFIX_TLS_GOTIE */
1123 BFD_RELOC_390_TLS_IE64, /* ELF_SUFFIX_TLS_IE */
1124 BFD_RELOC_390_TLS_LDM64, /* ELF_SUFFIX_TLS_LDM */
1125 BFD_RELOC_390_TLS_LDO64, /* ELF_SUFFIX_TLS_LDO */
1126 BFD_RELOC_390_TLS_LE64 /* ELF_SUFFIX_TLS_LE */
1128 reloc = tab8[suffix];
1131 reloc = BFD_RELOC_UNUSED;
1133 if (reloc != BFD_RELOC_UNUSED
1134 && (reloc_howto = bfd_reloc_type_lookup (stdoutput, reloc)))
1136 size = bfd_get_reloc_size (reloc_howto);
1138 as_bad (_("%s relocations do not fit in %d bytes"),
1139 reloc_howto->name, nbytes);
1140 where = frag_more (nbytes);
1141 md_number_to_chars (where, 0, size);
1142 /* To make fixup_segment do the pc relative conversion the
1143 pcrel parameter on the fix_new_exp call needs to be FALSE. */
1144 fix_new_exp (frag_now, where - frag_now->fr_literal,
1145 size, &exp, FALSE, reloc);
1148 as_bad (_("relocation not applicable"));
1151 emit_expr (&exp, (unsigned int) nbytes);
1153 while (*input_line_pointer++ == ',');
1155 input_line_pointer--; /* Put terminator back into stream. */
1156 demand_empty_rest_of_line ();
1159 /* We need to keep a list of fixups. We can't simply generate them as
1160 we go, because that would require us to first create the frag, and
1161 that would screw up references to ``.''. */
1167 bfd_reloc_code_real_type reloc;
1170 #define MAX_INSN_FIXUPS (4)
1172 /* This routine is called for each instruction to be assembled. */
1175 md_gather_operands (char *str,
1176 unsigned char *insn,
1177 const struct s390_opcode *opcode)
1179 struct s390_fixup fixups[MAX_INSN_FIXUPS];
1180 const struct s390_operand *operand;
1181 const unsigned char *opindex_ptr;
1183 elf_suffix_type suffix;
1184 bfd_reloc_code_real_type reloc;
1189 while (ISSPACE (*str))
1194 /* Gather the operands. */
1196 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
1200 operand = s390_operands + *opindex_ptr;
1202 if (skip_optional && (operand->flags & S390_OPERAND_INDEX))
1204 /* We do an early skip. For D(X,B) constructions the index
1205 register is skipped (X is optional). For D(L,B) the base
1206 register will be the skipped operand, because L is NOT
1212 /* Gather the operand. */
1213 hold = input_line_pointer;
1214 input_line_pointer = str;
1216 /* Parse the operand. */
1217 if (! register_name (&ex))
1220 str = input_line_pointer;
1221 input_line_pointer = hold;
1223 /* Write the operand to the insn. */
1224 if (ex.X_op == O_illegal)
1225 as_bad (_("illegal operand"));
1226 else if (ex.X_op == O_absent)
1228 /* No operands, check if all operands can be skipped. */
1229 while (*opindex_ptr != 0 && operand->flags & S390_OPERAND_OPTIONAL)
1231 if (operand->flags & S390_OPERAND_DISP)
1233 /* An optional displacement makes the whole D(X,B)
1234 D(L,B) or D(B) block optional. */
1236 operand = s390_operands + *(++opindex_ptr);
1237 } while (!(operand->flags & S390_OPERAND_BASE));
1239 operand = s390_operands + *(++opindex_ptr);
1241 if (opindex_ptr[0] == '\0')
1243 as_bad (_("missing operand"));
1245 else if (ex.X_op == O_register || ex.X_op == O_constant)
1247 s390_lit_suffix (&str, &ex, ELF_SUFFIX_NONE);
1249 if (ex.X_op != O_register && ex.X_op != O_constant)
1251 /* We need to generate a fixup for the
1252 expression returned by s390_lit_suffix. */
1253 if (fc >= MAX_INSN_FIXUPS)
1254 as_fatal (_("too many fixups"));
1255 fixups[fc].exp = ex;
1256 fixups[fc].opindex = *opindex_ptr;
1257 fixups[fc].reloc = BFD_RELOC_UNUSED;
1262 if ((operand->flags & S390_OPERAND_INDEX)
1263 && ex.X_add_number == 0
1265 as_warn (_("index register specified but zero"));
1266 if ((operand->flags & S390_OPERAND_BASE)
1267 && ex.X_add_number == 0
1269 as_warn (_("base register specified but zero"));
1270 if ((operand->flags & S390_OPERAND_REG_EVEN)
1271 && (ex.X_add_number & 1))
1272 as_fatal (_("odd numbered register specified as register pair"));
1273 s390_insert_operand (insn, operand, ex.X_add_number, NULL, 0);
1278 suffix = s390_elf_suffix (&str, &ex);
1279 suffix = s390_lit_suffix (&str, &ex, suffix);
1280 reloc = BFD_RELOC_UNUSED;
1282 if (suffix == ELF_SUFFIX_GOT)
1284 if ((operand->flags & S390_OPERAND_DISP) &&
1285 (operand->bits == 12))
1286 reloc = BFD_RELOC_390_GOT12;
1287 else if ((operand->flags & S390_OPERAND_DISP) &&
1288 (operand->bits == 20))
1289 reloc = BFD_RELOC_390_GOT20;
1290 else if ((operand->flags & S390_OPERAND_SIGNED)
1291 && (operand->bits == 16))
1292 reloc = BFD_RELOC_390_GOT16;
1293 else if ((operand->flags & S390_OPERAND_PCREL)
1294 && (operand->bits == 32))
1295 reloc = BFD_RELOC_390_GOTENT;
1297 else if (suffix == ELF_SUFFIX_PLT)
1299 if ((operand->flags & S390_OPERAND_PCREL)
1300 && (operand->bits == 16))
1301 reloc = BFD_RELOC_390_PLT16DBL;
1302 else if ((operand->flags & S390_OPERAND_PCREL)
1303 && (operand->bits == 32))
1304 reloc = BFD_RELOC_390_PLT32DBL;
1306 else if (suffix == ELF_SUFFIX_GOTENT)
1308 if ((operand->flags & S390_OPERAND_PCREL)
1309 && (operand->bits == 32))
1310 reloc = BFD_RELOC_390_GOTENT;
1312 else if (suffix == ELF_SUFFIX_GOTOFF)
1314 if ((operand->flags & S390_OPERAND_SIGNED)
1315 && (operand->bits == 16))
1316 reloc = BFD_RELOC_16_GOTOFF;
1318 else if (suffix == ELF_SUFFIX_PLTOFF)
1320 if ((operand->flags & S390_OPERAND_SIGNED)
1321 && (operand->bits == 16))
1322 reloc = BFD_RELOC_390_PLTOFF16;
1324 else if (suffix == ELF_SUFFIX_GOTPLT)
1326 if ((operand->flags & S390_OPERAND_DISP)
1327 && (operand->bits == 12))
1328 reloc = BFD_RELOC_390_GOTPLT12;
1329 else if ((operand->flags & S390_OPERAND_SIGNED)
1330 && (operand->bits == 16))
1331 reloc = BFD_RELOC_390_GOTPLT16;
1332 else if ((operand->flags & S390_OPERAND_PCREL)
1333 && (operand->bits == 32))
1334 reloc = BFD_RELOC_390_GOTPLTENT;
1336 else if (suffix == ELF_SUFFIX_TLS_GOTIE)
1338 if ((operand->flags & S390_OPERAND_DISP)
1339 && (operand->bits == 12))
1340 reloc = BFD_RELOC_390_TLS_GOTIE12;
1341 else if ((operand->flags & S390_OPERAND_DISP)
1342 && (operand->bits == 20))
1343 reloc = BFD_RELOC_390_TLS_GOTIE20;
1345 else if (suffix == ELF_SUFFIX_TLS_IE)
1347 if ((operand->flags & S390_OPERAND_PCREL)
1348 && (operand->bits == 32))
1349 reloc = BFD_RELOC_390_TLS_IEENT;
1352 if (suffix != ELF_SUFFIX_NONE && reloc == BFD_RELOC_UNUSED)
1353 as_bad (_("invalid operand suffix"));
1354 /* We need to generate a fixup of type 'reloc' for this
1356 if (fc >= MAX_INSN_FIXUPS)
1357 as_fatal (_("too many fixups"));
1358 fixups[fc].exp = ex;
1359 fixups[fc].opindex = *opindex_ptr;
1360 fixups[fc].reloc = reloc;
1364 /* Check the next character. The call to expression has advanced
1365 str past any whitespace. */
1366 if (operand->flags & S390_OPERAND_DISP)
1368 /* After a displacement a block in parentheses can start. */
1371 /* Check if parenthesized block can be skipped. If the next
1372 operand is neiter an optional operand nor a base register
1373 then we have a syntax error. */
1374 operand = s390_operands + *(++opindex_ptr);
1375 if (!(operand->flags & (S390_OPERAND_INDEX|S390_OPERAND_BASE)))
1376 as_bad (_("syntax error; missing '(' after displacement"));
1378 /* Ok, skip all operands until S390_OPERAND_BASE. */
1379 while (!(operand->flags & S390_OPERAND_BASE))
1380 operand = s390_operands + *(++opindex_ptr);
1382 /* If there is a next operand it must be separated by a comma. */
1383 if (opindex_ptr[1] != '\0')
1387 while (opindex_ptr[1] != '\0')
1389 operand = s390_operands + *(++opindex_ptr);
1390 if (operand->flags & S390_OPERAND_OPTIONAL)
1392 as_bad (_("syntax error; expected ,"));
1402 /* We found an opening parentheses. */
1404 for (f = str; *f != '\0'; f++)
1405 if (*f == ',' || *f == ')')
1407 /* If there is no comma until the closing parentheses OR
1408 there is a comma right after the opening parentheses,
1409 we have to skip optional operands. */
1410 if (*f == ',' && f == str)
1412 /* comma directly after '(' ? */
1417 skip_optional = (*f != ',');
1420 else if (operand->flags & S390_OPERAND_BASE)
1422 /* After the base register the parenthesed block ends. */
1424 as_bad (_("syntax error; missing ')' after base register"));
1426 /* If there is a next operand it must be separated by a comma. */
1427 if (opindex_ptr[1] != '\0')
1431 while (opindex_ptr[1] != '\0')
1433 operand = s390_operands + *(++opindex_ptr);
1434 if (operand->flags & S390_OPERAND_OPTIONAL)
1436 as_bad (_("syntax error; expected ,"));
1446 /* We can find an 'early' closing parentheses in e.g. D(L) instead
1447 of D(L,B). In this case the base register has to be skipped. */
1450 operand = s390_operands + *(++opindex_ptr);
1452 if (!(operand->flags & S390_OPERAND_BASE))
1453 as_bad (_("syntax error; ')' not allowed here"));
1456 /* If there is a next operand it must be separated by a comma. */
1457 if (opindex_ptr[1] != '\0')
1461 while (opindex_ptr[1] != '\0')
1463 operand = s390_operands + *(++opindex_ptr);
1464 if (operand->flags & S390_OPERAND_OPTIONAL)
1466 as_bad (_("syntax error; expected ,"));
1476 while (ISSPACE (*str))
1479 /* Check for tls instruction marker. */
1480 reloc = s390_tls_suffix (&str, &ex);
1481 if (reloc != BFD_RELOC_UNUSED)
1483 /* We need to generate a fixup of type 'reloc' for this
1485 if (fc >= MAX_INSN_FIXUPS)
1486 as_fatal (_("too many fixups"));
1487 fixups[fc].exp = ex;
1488 fixups[fc].opindex = -1;
1489 fixups[fc].reloc = reloc;
1497 if ((linefeed = strchr (str, '\n')) != NULL)
1499 as_bad (_("junk at end of line: `%s'"), str);
1500 if (linefeed != NULL)
1504 /* Write out the instruction. */
1505 f = frag_more (opcode->oplen);
1506 memcpy (f, insn, opcode->oplen);
1507 dwarf2_emit_insn (opcode->oplen);
1509 /* Create any fixups. At this point we do not use a
1510 bfd_reloc_code_real_type, but instead just use the
1511 BFD_RELOC_UNUSED plus the operand index. This lets us easily
1512 handle fixups for any operand type, although that is admittedly
1513 not a very exciting feature. We pick a BFD reloc type in
1515 for (i = 0; i < fc; i++)
1518 if (fixups[i].opindex < 0)
1520 /* Create tls instruction marker relocation. */
1521 fix_new_exp (frag_now, f - frag_now->fr_literal, opcode->oplen,
1522 &fixups[i].exp, 0, fixups[i].reloc);
1526 operand = s390_operands + fixups[i].opindex;
1528 if (fixups[i].reloc != BFD_RELOC_UNUSED)
1530 reloc_howto_type *reloc_howto;
1534 reloc_howto = bfd_reloc_type_lookup (stdoutput, fixups[i].reloc);
1538 size = bfd_get_reloc_size (reloc_howto);
1540 if (size < 1 || size > 4)
1543 fixP = fix_new_exp (frag_now,
1544 f - frag_now->fr_literal + (operand->shift/8),
1545 size, &fixups[i].exp, reloc_howto->pc_relative,
1547 /* Turn off overflow checking in fixup_segment. This is necessary
1548 because fixup_segment will signal an overflow for large 4 byte
1549 quantities for GOT12 relocations. */
1550 if ( fixups[i].reloc == BFD_RELOC_390_GOT12
1551 || fixups[i].reloc == BFD_RELOC_390_GOT20
1552 || fixups[i].reloc == BFD_RELOC_390_GOT16)
1553 fixP->fx_no_overflow = 1;
1556 fix_new_exp (frag_now, f - frag_now->fr_literal, 4, &fixups[i].exp,
1557 (operand->flags & S390_OPERAND_PCREL) != 0,
1558 ((bfd_reloc_code_real_type)
1559 (fixups[i].opindex + (int) BFD_RELOC_UNUSED)));
1564 /* This routine is called for each instruction to be assembled. */
1567 md_assemble (char *str)
1569 const struct s390_opcode *opcode;
1570 unsigned char insn[6];
1573 /* Get the opcode. */
1574 for (s = str; *s != '\0' && ! ISSPACE (*s); s++)
1579 /* Look up the opcode in the hash table. */
1580 opcode = (struct s390_opcode *) hash_find (s390_opcode_hash, str);
1581 if (opcode == (const struct s390_opcode *) NULL)
1583 as_bad (_("Unrecognized opcode: `%s'"), str);
1586 else if (!(opcode->modes & current_mode_mask))
1588 as_bad (_("Opcode %s not available in this mode"), str);
1591 memcpy (insn, opcode->opcode, sizeof (insn));
1592 md_gather_operands (s, insn, opcode);
1595 #ifndef WORKING_DOT_WORD
1596 /* Handle long and short jumps. We don't support these */
1598 md_create_short_jump (ptr, from_addr, to_addr, frag, to_symbol)
1600 addressT from_addr, to_addr;
1608 md_create_long_jump (ptr, from_addr, to_addr, frag, to_symbol)
1610 addressT from_addr, to_addr;
1619 s390_bss (int ignore ATTRIBUTE_UNUSED)
1621 /* We don't support putting frags in the BSS segment, we fake it
1622 by marking in_bss, then looking at s_skip for clues. */
1624 subseg_set (bss_section, 0);
1625 demand_empty_rest_of_line ();
1628 /* Pseudo-op handling. */
1631 s390_insn (int ignore ATTRIBUTE_UNUSED)
1634 const struct s390_opcode *opformat;
1635 unsigned char insn[6];
1638 /* Get the opcode format. */
1639 s = input_line_pointer;
1640 while (*s != '\0' && *s != ',' && ! ISSPACE (*s))
1643 as_bad (_("Invalid .insn format\n"));
1646 /* Look up the opcode in the hash table. */
1647 opformat = (struct s390_opcode *)
1648 hash_find (s390_opformat_hash, input_line_pointer);
1649 if (opformat == (const struct s390_opcode *) NULL)
1651 as_bad (_("Unrecognized opcode format: `%s'"), input_line_pointer);
1654 input_line_pointer = s;
1656 if (exp.X_op == O_constant)
1658 if ( ( opformat->oplen == 6
1659 && (addressT) exp.X_add_number < (1ULL << 48))
1660 || ( opformat->oplen == 4
1661 && (addressT) exp.X_add_number < (1ULL << 32))
1662 || ( opformat->oplen == 2
1663 && (addressT) exp.X_add_number < (1ULL << 16)))
1664 md_number_to_chars ((char *) insn, exp.X_add_number, opformat->oplen);
1666 as_bad (_("Invalid .insn format\n"));
1668 else if (exp.X_op == O_big)
1670 if (exp.X_add_number > 0
1671 && opformat->oplen == 6
1672 && generic_bignum[3] == 0)
1674 md_number_to_chars ((char *) insn, generic_bignum[2], 2);
1675 md_number_to_chars ((char *) &insn[2], generic_bignum[1], 2);
1676 md_number_to_chars ((char *) &insn[4], generic_bignum[0], 2);
1679 as_bad (_("Invalid .insn format\n"));
1682 as_bad (_("second operand of .insn not a constant\n"));
1684 if (strcmp (opformat->name, "e") != 0 && *input_line_pointer++ != ',')
1685 as_bad (_("missing comma after insn constant\n"));
1687 if ((s = strchr (input_line_pointer, '\n')) != NULL)
1689 input_line_pointer = md_gather_operands (input_line_pointer, insn,
1693 demand_empty_rest_of_line ();
1696 /* The .byte pseudo-op. This is similar to the normal .byte
1697 pseudo-op, but it can also take a single ASCII string. */
1700 s390_byte (int ignore ATTRIBUTE_UNUSED)
1702 if (*input_line_pointer != '\"')
1708 /* Gather characters. A real double quote is doubled. Unusual
1709 characters are not permitted. */
1710 ++input_line_pointer;
1715 c = *input_line_pointer++;
1719 if (*input_line_pointer != '\"')
1721 ++input_line_pointer;
1724 FRAG_APPEND_1_CHAR (c);
1727 demand_empty_rest_of_line ();
1730 /* The .ltorg pseudo-op.This emits all literals defined since the last
1731 .ltorg or the invocation of gas. Literals are defined with the
1735 s390_literals (int ignore ATTRIBUTE_UNUSED)
1737 struct s390_lpe *lpe;
1739 if (lp_sym == NULL || lpe_count == 0)
1740 return; /* Nothing to be done. */
1742 /* Emit symbol for start of literal pool. */
1743 S_SET_SEGMENT (lp_sym, now_seg);
1744 S_SET_VALUE (lp_sym, (valueT) frag_now_fix ());
1745 lp_sym->sy_frag = frag_now;
1750 lpe_list = lpe_list->next;
1751 S_SET_SEGMENT (lpe->sym, now_seg);
1752 S_SET_VALUE (lpe->sym, (valueT) frag_now_fix ());
1753 lpe->sym->sy_frag = frag_now;
1755 /* Emit literal pool entry. */
1756 if (lpe->reloc != BFD_RELOC_UNUSED)
1758 reloc_howto_type *reloc_howto =
1759 bfd_reloc_type_lookup (stdoutput, lpe->reloc);
1760 int size = bfd_get_reloc_size (reloc_howto);
1763 if (size > lpe->nbytes)
1764 as_bad (_("%s relocations do not fit in %d bytes"),
1765 reloc_howto->name, lpe->nbytes);
1766 where = frag_more (lpe->nbytes);
1767 md_number_to_chars (where, 0, size);
1768 fix_new_exp (frag_now, where - frag_now->fr_literal,
1769 size, &lpe->ex, reloc_howto->pc_relative, lpe->reloc);
1773 if (lpe->ex.X_op == O_big)
1775 if (lpe->ex.X_add_number <= 0)
1776 generic_floating_point_number = lpe->floatnum;
1778 memcpy (generic_bignum, lpe->bignum,
1779 lpe->ex.X_add_number * sizeof (LITTLENUM_TYPE));
1781 emit_expr (&lpe->ex, lpe->nbytes);
1784 lpe->next = lpe_free_list;
1785 lpe_free_list = lpe;
1787 lpe_list_tail = NULL;
1793 /* The .machine pseudo op allows to switch to a different CPU level in
1794 the asm listing. The current CPU setting can be stored on a stack
1795 with .machine push and restored with .machined pop. */
1798 s390_machine (int ignore ATTRIBUTE_UNUSED)
1801 #define MAX_HISTORY 100
1802 static unsigned int *cpu_history;
1803 static int curr_hist;
1807 if (*input_line_pointer == '"')
1810 cpu_string = demand_copy_C_string (&len);
1815 cpu_string = input_line_pointer;
1816 c = get_symbol_end ();
1817 cpu_string = xstrdup (cpu_string);
1818 *input_line_pointer = c;
1821 if (cpu_string != NULL)
1823 unsigned int old_cpu = current_cpu;
1824 unsigned int new_cpu;
1827 for (p = cpu_string; *p != 0; p++)
1830 if (strcmp (cpu_string, "push") == 0)
1832 if (cpu_history == NULL)
1833 cpu_history = xmalloc (MAX_HISTORY * sizeof (*cpu_history));
1835 if (curr_hist >= MAX_HISTORY)
1836 as_bad (_(".machine stack overflow"));
1838 cpu_history[curr_hist++] = current_cpu;
1840 else if (strcmp (cpu_string, "pop") == 0)
1843 as_bad (_(".machine stack underflow"));
1845 current_cpu = cpu_history[--curr_hist];
1847 else if ((new_cpu = s390_parse_cpu (cpu_string)) != (unsigned int)-1)
1848 current_cpu = new_cpu;
1850 as_bad (_("invalid machine `%s'"), cpu_string);
1852 if (current_cpu != old_cpu)
1853 s390_setup_opcodes ();
1856 demand_empty_rest_of_line ();
1860 md_atof (int type, char *litp, int *sizep)
1862 return ieee_md_atof (type, litp, sizep, TRUE);
1865 /* Align a section (I don't know why this is machine dependent). */
1868 md_section_align (asection *seg, valueT addr)
1870 int align = bfd_get_section_alignment (stdoutput, seg);
1872 return ((addr + (1 << align) - 1) & (-1 << align));
1875 /* We don't have any form of relaxing. */
1878 md_estimate_size_before_relax (fragS *fragp ATTRIBUTE_UNUSED,
1879 asection *seg ATTRIBUTE_UNUSED)
1885 /* Convert a machine dependent frag. We never generate these. */
1888 md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED,
1889 asection *sec ATTRIBUTE_UNUSED,
1890 fragS *fragp ATTRIBUTE_UNUSED)
1896 md_undefined_symbol (char *name)
1898 if (*name == '_' && *(name + 1) == 'G'
1899 && strcmp (name, "_GLOBAL_OFFSET_TABLE_") == 0)
1903 if (symbol_find (name))
1904 as_bad (_("GOT already in symbol table"));
1905 GOT_symbol = symbol_new (name, undefined_section,
1906 (valueT) 0, &zero_address_frag);
1913 /* Functions concerning relocs. */
1915 /* The location from which a PC relative jump should be calculated,
1916 given a PC relative reloc. */
1919 md_pcrel_from_section (fixS *fixp, segT sec ATTRIBUTE_UNUSED)
1921 return fixp->fx_frag->fr_address + fixp->fx_where;
1924 /* Here we decide which fixups can be adjusted to make them relative to
1925 the beginning of the section instead of the symbol. Basically we need
1926 to make sure that the dynamic relocations are done correctly, so in
1927 some cases we force the original symbol to be used. */
1929 tc_s390_fix_adjustable (fixS *fixP)
1931 /* Don't adjust references to merge sections. */
1932 if ((S_GET_SEGMENT (fixP->fx_addsy)->flags & SEC_MERGE) != 0)
1934 /* adjust_reloc_syms doesn't know about the GOT. */
1935 if ( fixP->fx_r_type == BFD_RELOC_16_GOTOFF
1936 || fixP->fx_r_type == BFD_RELOC_32_GOTOFF
1937 || fixP->fx_r_type == BFD_RELOC_390_GOTOFF64
1938 || fixP->fx_r_type == BFD_RELOC_390_PLTOFF16
1939 || fixP->fx_r_type == BFD_RELOC_390_PLTOFF32
1940 || fixP->fx_r_type == BFD_RELOC_390_PLTOFF64
1941 || fixP->fx_r_type == BFD_RELOC_390_PLT16DBL
1942 || fixP->fx_r_type == BFD_RELOC_390_PLT32
1943 || fixP->fx_r_type == BFD_RELOC_390_PLT32DBL
1944 || fixP->fx_r_type == BFD_RELOC_390_PLT64
1945 || fixP->fx_r_type == BFD_RELOC_390_GOT12
1946 || fixP->fx_r_type == BFD_RELOC_390_GOT20
1947 || fixP->fx_r_type == BFD_RELOC_390_GOT16
1948 || fixP->fx_r_type == BFD_RELOC_32_GOT_PCREL
1949 || fixP->fx_r_type == BFD_RELOC_390_GOT64
1950 || fixP->fx_r_type == BFD_RELOC_390_GOTENT
1951 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT12
1952 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT16
1953 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT20
1954 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT32
1955 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT64
1956 || fixP->fx_r_type == BFD_RELOC_390_GOTPLTENT
1957 || fixP->fx_r_type == BFD_RELOC_390_TLS_LOAD
1958 || fixP->fx_r_type == BFD_RELOC_390_TLS_GDCALL
1959 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDCALL
1960 || fixP->fx_r_type == BFD_RELOC_390_TLS_GD32
1961 || fixP->fx_r_type == BFD_RELOC_390_TLS_GD64
1962 || fixP->fx_r_type == BFD_RELOC_390_TLS_GOTIE12
1963 || fixP->fx_r_type == BFD_RELOC_390_TLS_GOTIE20
1964 || fixP->fx_r_type == BFD_RELOC_390_TLS_GOTIE32
1965 || fixP->fx_r_type == BFD_RELOC_390_TLS_GOTIE64
1966 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDM32
1967 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDM64
1968 || fixP->fx_r_type == BFD_RELOC_390_TLS_IE32
1969 || fixP->fx_r_type == BFD_RELOC_390_TLS_IE64
1970 || fixP->fx_r_type == BFD_RELOC_390_TLS_IEENT
1971 || fixP->fx_r_type == BFD_RELOC_390_TLS_LE32
1972 || fixP->fx_r_type == BFD_RELOC_390_TLS_LE64
1973 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDO32
1974 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDO64
1975 || fixP->fx_r_type == BFD_RELOC_390_TLS_DTPMOD
1976 || fixP->fx_r_type == BFD_RELOC_390_TLS_DTPOFF
1977 || fixP->fx_r_type == BFD_RELOC_390_TLS_TPOFF
1978 || fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT
1979 || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
1984 /* Return true if we must always emit a reloc for a type and false if
1985 there is some hope of resolving it at assembly time. */
1987 tc_s390_force_relocation (struct fix *fixp)
1989 /* Ensure we emit a relocation for every reference to the global
1990 offset table or to the procedure link table. */
1991 switch (fixp->fx_r_type)
1993 case BFD_RELOC_390_GOT12:
1994 case BFD_RELOC_390_GOT20:
1995 case BFD_RELOC_32_GOT_PCREL:
1996 case BFD_RELOC_32_GOTOFF:
1997 case BFD_RELOC_390_GOTOFF64:
1998 case BFD_RELOC_390_PLTOFF16:
1999 case BFD_RELOC_390_PLTOFF32:
2000 case BFD_RELOC_390_PLTOFF64:
2001 case BFD_RELOC_390_GOTPC:
2002 case BFD_RELOC_390_GOT16:
2003 case BFD_RELOC_390_GOTPCDBL:
2004 case BFD_RELOC_390_GOT64:
2005 case BFD_RELOC_390_GOTENT:
2006 case BFD_RELOC_390_PLT32:
2007 case BFD_RELOC_390_PLT16DBL:
2008 case BFD_RELOC_390_PLT32DBL:
2009 case BFD_RELOC_390_PLT64:
2010 case BFD_RELOC_390_GOTPLT12:
2011 case BFD_RELOC_390_GOTPLT16:
2012 case BFD_RELOC_390_GOTPLT20:
2013 case BFD_RELOC_390_GOTPLT32:
2014 case BFD_RELOC_390_GOTPLT64:
2015 case BFD_RELOC_390_GOTPLTENT:
2021 return generic_force_reloc (fixp);
2024 /* Apply a fixup to the object code. This is called for all the
2025 fixups we generated by the call to fix_new_exp, above. In the call
2026 above we used a reloc code which was the largest legal reloc code
2027 plus the operand index. Here we undo that to recover the operand
2028 index. At this point all symbol values should be fully resolved,
2029 and we attempt to completely resolve the reloc. If we can not do
2030 that, we determine the correct reloc code and put it back in the
2034 md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED)
2037 valueT value = *valP;
2039 where = fixP->fx_frag->fr_literal + fixP->fx_where;
2041 if (fixP->fx_subsy != NULL)
2042 as_bad_where (fixP->fx_file, fixP->fx_line,
2043 _("cannot emit relocation %s against subsy symbol %s"),
2044 bfd_get_reloc_code_name (fixP->fx_r_type),
2045 S_GET_NAME (fixP->fx_subsy));
2047 if (fixP->fx_addsy != NULL)
2050 value += fixP->fx_frag->fr_address + fixP->fx_where;
2055 if ((int) fixP->fx_r_type >= (int) BFD_RELOC_UNUSED)
2057 const struct s390_operand *operand;
2060 opindex = (int) fixP->fx_r_type - (int) BFD_RELOC_UNUSED;
2061 operand = &s390_operands[opindex];
2065 /* Insert the fully resolved operand value. */
2066 s390_insert_operand ((unsigned char *) where, operand,
2067 (offsetT) value, fixP->fx_file, fixP->fx_line);
2071 /* Determine a BFD reloc value based on the operand information.
2072 We are only prepared to turn a few of the operands into
2074 fixP->fx_offset = value;
2075 if (operand->bits == 12 && operand->shift == 20)
2078 fixP->fx_where += 2;
2079 fixP->fx_r_type = BFD_RELOC_390_12;
2081 else if (operand->bits == 12 && operand->shift == 36)
2084 fixP->fx_where += 4;
2085 fixP->fx_r_type = BFD_RELOC_390_12;
2087 else if (operand->bits == 20 && operand->shift == 20)
2090 fixP->fx_where += 2;
2091 fixP->fx_r_type = BFD_RELOC_390_20;
2093 else if (operand->bits == 8 && operand->shift == 8)
2096 fixP->fx_where += 1;
2097 fixP->fx_r_type = BFD_RELOC_8;
2099 else if (operand->bits == 16 && operand->shift == 16)
2102 fixP->fx_where += 2;
2103 if (operand->flags & S390_OPERAND_PCREL)
2105 fixP->fx_r_type = BFD_RELOC_390_PC16DBL;
2106 fixP->fx_offset += 2;
2109 fixP->fx_r_type = BFD_RELOC_16;
2111 else if (operand->bits == 32 && operand->shift == 16
2112 && (operand->flags & S390_OPERAND_PCREL))
2115 fixP->fx_where += 2;
2116 fixP->fx_offset += 2;
2117 fixP->fx_r_type = BFD_RELOC_390_PC32DBL;
2124 /* Use expr_symbol_where to see if this is an expression
2126 if (expr_symbol_where (fixP->fx_addsy, &sfile, &sline))
2127 as_bad_where (fixP->fx_file, fixP->fx_line,
2128 _("unresolved expression that must be resolved"));
2130 as_bad_where (fixP->fx_file, fixP->fx_line,
2131 _("unsupported relocation type"));
2138 switch (fixP->fx_r_type)
2144 md_number_to_chars (where, value, 1);
2146 case BFD_RELOC_390_12:
2147 case BFD_RELOC_390_GOT12:
2148 case BFD_RELOC_390_GOTPLT12:
2153 mop = bfd_getb16 ((unsigned char *) where);
2154 mop |= (unsigned short) (value & 0xfff);
2155 bfd_putb16 ((bfd_vma) mop, (unsigned char *) where);
2159 case BFD_RELOC_390_20:
2160 case BFD_RELOC_390_GOT20:
2161 case BFD_RELOC_390_GOTPLT20:
2165 mop = bfd_getb32 ((unsigned char *) where);
2166 mop |= (unsigned int) ((value & 0xfff) << 8 |
2167 (value & 0xff000) >> 12);
2168 bfd_putb32 ((bfd_vma) mop, (unsigned char *) where);
2173 case BFD_RELOC_GPREL16:
2174 case BFD_RELOC_16_GOT_PCREL:
2175 case BFD_RELOC_16_GOTOFF:
2177 as_bad_where (fixP->fx_file, fixP->fx_line,
2178 _("cannot emit PC relative %s relocation%s%s"),
2179 bfd_get_reloc_code_name (fixP->fx_r_type),
2180 fixP->fx_addsy != NULL ? " against " : "",
2181 (fixP->fx_addsy != NULL
2182 ? S_GET_NAME (fixP->fx_addsy)
2185 md_number_to_chars (where, value, 2);
2187 case BFD_RELOC_390_GOT16:
2188 case BFD_RELOC_390_PLTOFF16:
2189 case BFD_RELOC_390_GOTPLT16:
2191 md_number_to_chars (where, value, 2);
2193 case BFD_RELOC_390_PC16DBL:
2194 case BFD_RELOC_390_PLT16DBL:
2197 md_number_to_chars (where, (offsetT) value >> 1, 2);
2202 fixP->fx_r_type = BFD_RELOC_32_PCREL;
2204 fixP->fx_r_type = BFD_RELOC_32;
2206 md_number_to_chars (where, value, 4);
2208 case BFD_RELOC_32_PCREL:
2209 case BFD_RELOC_32_BASEREL:
2210 fixP->fx_r_type = BFD_RELOC_32_PCREL;
2212 md_number_to_chars (where, value, 4);
2214 case BFD_RELOC_32_GOT_PCREL:
2215 case BFD_RELOC_390_PLTOFF32:
2216 case BFD_RELOC_390_PLT32:
2217 case BFD_RELOC_390_GOTPLT32:
2219 md_number_to_chars (where, value, 4);
2221 case BFD_RELOC_390_PC32DBL:
2222 case BFD_RELOC_390_PLT32DBL:
2223 case BFD_RELOC_390_GOTPCDBL:
2224 case BFD_RELOC_390_GOTENT:
2225 case BFD_RELOC_390_GOTPLTENT:
2228 md_number_to_chars (where, (offsetT) value >> 1, 4);
2231 case BFD_RELOC_32_GOTOFF:
2233 md_number_to_chars (where, value, sizeof (int));
2236 case BFD_RELOC_390_GOTOFF64:
2238 md_number_to_chars (where, value, 8);
2241 case BFD_RELOC_390_GOT64:
2242 case BFD_RELOC_390_PLTOFF64:
2243 case BFD_RELOC_390_PLT64:
2244 case BFD_RELOC_390_GOTPLT64:
2246 md_number_to_chars (where, value, 8);
2251 fixP->fx_r_type = BFD_RELOC_64_PCREL;
2253 fixP->fx_r_type = BFD_RELOC_64;
2255 md_number_to_chars (where, value, 8);
2258 case BFD_RELOC_64_PCREL:
2259 fixP->fx_r_type = BFD_RELOC_64_PCREL;
2261 md_number_to_chars (where, value, 8);
2264 case BFD_RELOC_VTABLE_INHERIT:
2265 case BFD_RELOC_VTABLE_ENTRY:
2269 case BFD_RELOC_390_TLS_LOAD:
2270 case BFD_RELOC_390_TLS_GDCALL:
2271 case BFD_RELOC_390_TLS_LDCALL:
2272 case BFD_RELOC_390_TLS_GD32:
2273 case BFD_RELOC_390_TLS_GD64:
2274 case BFD_RELOC_390_TLS_GOTIE12:
2275 case BFD_RELOC_390_TLS_GOTIE20:
2276 case BFD_RELOC_390_TLS_GOTIE32:
2277 case BFD_RELOC_390_TLS_GOTIE64:
2278 case BFD_RELOC_390_TLS_LDM32:
2279 case BFD_RELOC_390_TLS_LDM64:
2280 case BFD_RELOC_390_TLS_IE32:
2281 case BFD_RELOC_390_TLS_IE64:
2282 case BFD_RELOC_390_TLS_LE32:
2283 case BFD_RELOC_390_TLS_LE64:
2284 case BFD_RELOC_390_TLS_LDO32:
2285 case BFD_RELOC_390_TLS_LDO64:
2286 case BFD_RELOC_390_TLS_DTPMOD:
2287 case BFD_RELOC_390_TLS_DTPOFF:
2288 case BFD_RELOC_390_TLS_TPOFF:
2289 S_SET_THREAD_LOCAL (fixP->fx_addsy);
2290 /* Fully resolved at link time. */
2292 case BFD_RELOC_390_TLS_IEENT:
2293 /* Fully resolved at link time. */
2294 S_SET_THREAD_LOCAL (fixP->fx_addsy);
2300 const char *reloc_name = bfd_get_reloc_code_name (fixP->fx_r_type);
2302 if (reloc_name != NULL)
2303 as_fatal (_("Gas failure, reloc type %s\n"), reloc_name);
2305 as_fatal (_("Gas failure, reloc type #%i\n"), fixP->fx_r_type);
2309 fixP->fx_offset = value;
2313 /* Generate a reloc for a fixup. */
2316 tc_gen_reloc (asection *seg ATTRIBUTE_UNUSED, fixS *fixp)
2318 bfd_reloc_code_real_type code;
2321 code = fixp->fx_r_type;
2322 if (GOT_symbol && fixp->fx_addsy == GOT_symbol)
2324 if ( (s390_arch_size == 32 && code == BFD_RELOC_32_PCREL)
2325 || (s390_arch_size == 64 && code == BFD_RELOC_64_PCREL))
2326 code = BFD_RELOC_390_GOTPC;
2327 if (code == BFD_RELOC_390_PC32DBL)
2328 code = BFD_RELOC_390_GOTPCDBL;
2331 reloc = (arelent *) xmalloc (sizeof (arelent));
2332 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
2333 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
2334 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
2335 reloc->howto = bfd_reloc_type_lookup (stdoutput, code);
2336 if (reloc->howto == NULL)
2338 as_bad_where (fixp->fx_file, fixp->fx_line,
2339 _("cannot represent relocation type %s"),
2340 bfd_get_reloc_code_name (code));
2341 /* Set howto to a garbage value so that we can keep going. */
2342 reloc->howto = bfd_reloc_type_lookup (stdoutput, BFD_RELOC_32);
2343 gas_assert (reloc->howto != NULL);
2345 reloc->addend = fixp->fx_offset;
2351 s390_cfi_frame_initial_instructions (void)
2353 cfi_add_CFA_def_cfa (15, s390_arch_size == 64 ? 160 : 96);
2357 tc_s390_regname_to_dw2regnum (char *regname)
2361 if (regname[0] != 'c' && regname[0] != 'a')
2363 regnum = reg_name_search (pre_defined_registers, REG_NAME_CNT, regname);
2364 if (regname[0] == 'f' && regnum != -1)
2367 else if (strcmp (regname, "ap") == 0)
2369 else if (strcmp (regname, "cc") == 0)
2375 s390_elf_final_processing (void)
2377 if (s390_arch_size == 32 && (current_mode_mask & (1 << S390_OPCODE_ZARCH)))
2378 elf_elfheader (stdoutput)->e_flags |= EF_S390_HIGH_GPRS;