Allow symbol and label names to be enclosed in double quotes.
[deliverable/binutils-gdb.git] / gas / config / tc-s390.c
1 /* tc-s390.c -- Assemble for the S390
2 Copyright (C) 2000-2015 Free Software Foundation, Inc.
3 Contributed by Martin Schwidefsky (schwidefsky@de.ibm.com).
4
5 This file is part of GAS, the GNU Assembler.
6
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 3, or (at your option)
10 any later version.
11
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.
16
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, 51 Franklin Street - Fifth Floor, Boston, MA
20 02110-1301, USA. */
21
22 #include "as.h"
23 #include "safe-ctype.h"
24 #include "subsegs.h"
25 #include "struc-symbol.h"
26 #include "dwarf2dbg.h"
27 #include "dw2gencfi.h"
28
29 #include "opcode/s390.h"
30 #include "elf/s390.h"
31
32 /* The default architecture. */
33 #ifndef DEFAULT_ARCH
34 #define DEFAULT_ARCH "s390"
35 #endif
36 static char *default_arch = DEFAULT_ARCH;
37 /* Either 32 or 64, selects file format. */
38 static int s390_arch_size = 0;
39
40 /* If no -march option was given default to the highest available CPU.
41 Since with S/390 a newer CPU always supports everything from its
42 predecessors this will accept every valid asm input. */
43 static unsigned int current_cpu = S390_OPCODE_MAXCPU - 1;
44 static unsigned int current_mode_mask = 0;
45
46 /* Set to TRUE if the highgprs flag in the ELF header needs to be set
47 for the output file. */
48 static bfd_boolean set_highgprs_p = FALSE;
49
50 /* Whether to use user friendly register names. Default is TRUE. */
51 #ifndef TARGET_REG_NAMES_P
52 #define TARGET_REG_NAMES_P TRUE
53 #endif
54
55 static bfd_boolean reg_names_p = TARGET_REG_NAMES_P;
56
57 /* Set to TRUE if we want to warn about zero base/index registers. */
58 static bfd_boolean warn_areg_zero = FALSE;
59
60 /* Generic assembler global variables which must be defined by all
61 targets. */
62
63 const char comment_chars[] = "#";
64
65 /* Characters which start a comment at the beginning of a line. */
66 const char line_comment_chars[] = "#";
67
68 /* Characters which may be used to separate multiple commands on a
69 single line. */
70 const char line_separator_chars[] = ";";
71
72 /* Characters which are used to indicate an exponent in a floating
73 point number. */
74 const char EXP_CHARS[] = "eE";
75
76 /* Characters which mean that a number is a floating point constant,
77 as in 0d1.0. */
78 const char FLT_CHARS[] = "dD";
79
80 /* The dwarf2 data alignment, adjusted for 32 or 64 bit. */
81 int s390_cie_data_alignment;
82
83 /* The target specific pseudo-ops which we support. */
84
85 /* Define the prototypes for the pseudo-ops */
86 static void s390_byte (int);
87 static void s390_elf_cons (int);
88 static void s390_bss (int);
89 static void s390_insn (int);
90 static void s390_literals (int);
91 static void s390_machine (int);
92 static void s390_machinemode (int);
93
94 const pseudo_typeS md_pseudo_table[] =
95 {
96 { "align", s_align_bytes, 0 },
97 /* Pseudo-ops which must be defined. */
98 { "bss", s390_bss, 0 },
99 { "insn", s390_insn, 0 },
100 /* Pseudo-ops which must be overridden. */
101 { "byte", s390_byte, 0 },
102 { "short", s390_elf_cons, 2 },
103 { "long", s390_elf_cons, 4 },
104 { "quad", s390_elf_cons, 8 },
105 { "ltorg", s390_literals, 0 },
106 { "string", stringer, 8 + 1 },
107 { "machine", s390_machine, 0 },
108 { "machinemode", s390_machinemode, 0 },
109 { NULL, NULL, 0 }
110 };
111
112 /* Given NAME, find the register number associated with that name, return
113 the integer value associated with the given name or -1 on failure. */
114
115 static int
116 reg_name_search (const char *name)
117 {
118 int val = -1;
119
120 if (strcasecmp (name, "lit") == 0)
121 return 13;
122
123 if (strcasecmp (name, "sp") == 0)
124 return 15;
125
126 if (name[0] != 'a' && name[0] != 'c' && name[0] != 'f'
127 && name[0] != 'r' && name[0] != 'v')
128 return -1;
129
130 if (ISDIGIT (name[1]))
131 {
132 val = name[1] - '0';
133 if (ISDIGIT (name[2]))
134 val = val * 10 + name[2] - '0';
135 }
136
137 if ((name[0] != 'v' && val > 15) || val > 31)
138 val = -1;
139
140 return val;
141 }
142
143
144 /*
145 * Summary of register_name().
146 *
147 * in: Input_line_pointer points to 1st char of operand.
148 *
149 * out: A expressionS.
150 * The operand may have been a register: in this case, X_op == O_register,
151 * X_add_number is set to the register number, and truth is returned.
152 * Input_line_pointer->(next non-blank) char after operand, or is in its
153 * original state.
154 */
155
156 static bfd_boolean
157 register_name (expressionS *expressionP)
158 {
159 int reg_number;
160 char *name;
161 char *start;
162 char c;
163
164 /* Find the spelling of the operand. */
165 start = name = input_line_pointer;
166 if (name[0] == '%' && ISALPHA (name[1]))
167 name = ++input_line_pointer;
168 else
169 return FALSE;
170
171 c = get_symbol_name (&name);
172 reg_number = reg_name_search (name);
173
174 /* Put back the delimiting char. */
175 (void) restore_line_pointer (c);
176
177 /* Look to see if it's in the register table. */
178 if (reg_number >= 0)
179 {
180 expressionP->X_op = O_register;
181 expressionP->X_add_number = reg_number;
182
183 /* Make the rest nice. */
184 expressionP->X_add_symbol = NULL;
185 expressionP->X_op_symbol = NULL;
186 return TRUE;
187 }
188
189 /* Reset the line as if we had not done anything. */
190 input_line_pointer = start;
191 return FALSE;
192 }
193
194 /* Local variables. */
195
196 /* Opformat hash table. */
197 static struct hash_control *s390_opformat_hash;
198
199 /* Opcode hash table. */
200 static struct hash_control *s390_opcode_hash = NULL;
201
202 /* Flags to set in the elf header */
203 static flagword s390_flags = 0;
204
205 symbolS *GOT_symbol; /* Pre-defined "_GLOBAL_OFFSET_TABLE_" */
206
207 #ifndef WORKING_DOT_WORD
208 int md_short_jump_size = 4;
209 int md_long_jump_size = 4;
210 #endif
211
212 const char *md_shortopts = "A:m:kVQ:";
213 struct option md_longopts[] = {
214 {NULL, no_argument, NULL, 0}
215 };
216 size_t md_longopts_size = sizeof (md_longopts);
217
218 /* Initialize the default opcode arch and word size from the default
219 architecture name if not specified by an option. */
220 static void
221 init_default_arch (void)
222 {
223 if (strcmp (default_arch, "s390") == 0)
224 {
225 if (s390_arch_size == 0)
226 s390_arch_size = 32;
227 }
228 else if (strcmp (default_arch, "s390x") == 0)
229 {
230 if (s390_arch_size == 0)
231 s390_arch_size = 64;
232 }
233 else
234 as_fatal (_("Invalid default architecture, broken assembler."));
235
236 if (current_mode_mask == 0)
237 {
238 /* Default to z/Architecture mode if the CPU supports it. */
239 if (current_cpu < S390_OPCODE_Z900)
240 current_mode_mask = 1 << S390_OPCODE_ESA;
241 else
242 current_mode_mask = 1 << S390_OPCODE_ZARCH;
243 }
244 }
245
246 /* Called by TARGET_FORMAT. */
247 const char *
248 s390_target_format (void)
249 {
250 /* We don't get a chance to initialize anything before we're called,
251 so handle that now. */
252 init_default_arch ();
253
254 return s390_arch_size == 64 ? "elf64-s390" : "elf32-s390";
255 }
256
257 /* Map a CPU string as given with -march= or .machine to the
258 respective enum s390_opcode_cpu_val value. 0xffffffff is returned
259 in case of an error. */
260
261 static unsigned int
262 s390_parse_cpu (char *arg)
263 {
264 if (strcmp (arg, "g5") == 0)
265 return S390_OPCODE_G5;
266 else if (strcmp (arg, "g6") == 0)
267 return S390_OPCODE_G6;
268 else if (strcmp (arg, "z900") == 0)
269 return S390_OPCODE_Z900;
270 else if (strcmp (arg, "z990") == 0)
271 return S390_OPCODE_Z990;
272 else if (strcmp (arg, "z9-109") == 0)
273 return S390_OPCODE_Z9_109;
274 else if (strcmp (arg, "z9-ec") == 0)
275 return S390_OPCODE_Z9_EC;
276 else if (strcmp (arg, "z10") == 0)
277 return S390_OPCODE_Z10;
278 else if (strcmp (arg, "z196") == 0)
279 return S390_OPCODE_Z196;
280 else if (strcmp (arg, "zEC12") == 0)
281 return S390_OPCODE_ZEC12;
282 else if (strcmp (arg, "z13") == 0)
283 return S390_OPCODE_Z13;
284 else if (strcmp (arg, "all") == 0)
285 return S390_OPCODE_MAXCPU - 1;
286 else
287 return -1;
288 }
289
290 int
291 md_parse_option (int c, char *arg)
292 {
293 switch (c)
294 {
295 /* -k: Ignore for FreeBSD compatibility. */
296 case 'k':
297 break;
298 case 'm':
299 if (arg != NULL && strcmp (arg, "regnames") == 0)
300 reg_names_p = TRUE;
301
302 else if (arg != NULL && strcmp (arg, "no-regnames") == 0)
303 reg_names_p = FALSE;
304
305 else if (arg != NULL && strcmp (arg, "warn-areg-zero") == 0)
306 warn_areg_zero = TRUE;
307
308 else if (arg != NULL && strcmp (arg, "31") == 0)
309 s390_arch_size = 32;
310
311 else if (arg != NULL && strcmp (arg, "64") == 0)
312 s390_arch_size = 64;
313
314 else if (arg != NULL && strcmp (arg, "esa") == 0)
315 current_mode_mask = 1 << S390_OPCODE_ESA;
316
317 else if (arg != NULL && strcmp (arg, "zarch") == 0)
318 {
319 if (s390_arch_size == 32)
320 set_highgprs_p = TRUE;
321 current_mode_mask = 1 << S390_OPCODE_ZARCH;
322 }
323
324 else if (arg != NULL && strncmp (arg, "arch=", 5) == 0)
325 {
326 current_cpu = s390_parse_cpu (arg + 5);
327
328 if (current_cpu == (unsigned int)-1)
329 {
330 as_bad (_("invalid switch -m%s"), arg);
331 return 0;
332 }
333 }
334
335 else
336 {
337 as_bad (_("invalid switch -m%s"), arg);
338 return 0;
339 }
340 break;
341
342 case 'A':
343 /* Option -A is deprecated. Still available for compatibility. */
344 if (arg != NULL && strcmp (arg, "esa") == 0)
345 current_cpu = S390_OPCODE_G5;
346 else if (arg != NULL && strcmp (arg, "esame") == 0)
347 current_cpu = S390_OPCODE_Z900;
348 else
349 as_bad (_("invalid architecture -A%s"), arg);
350 break;
351
352 /* -V: SVR4 argument to print version ID. */
353 case 'V':
354 print_version_id ();
355 break;
356
357 /* -Qy, -Qn: SVR4 arguments controlling whether a .comment section
358 should be emitted or not. FIXME: Not implemented. */
359 case 'Q':
360 break;
361
362 default:
363 return 0;
364 }
365
366 return 1;
367 }
368
369 void
370 md_show_usage (FILE *stream)
371 {
372 fprintf (stream, _("\
373 S390 options:\n\
374 -mregnames Allow symbolic names for registers\n\
375 -mwarn-areg-zero Warn about zero base/index registers\n\
376 -mno-regnames Do not allow symbolic names for registers\n\
377 -m31 Set file format to 31 bit format\n\
378 -m64 Set file format to 64 bit format\n"));
379 fprintf (stream, _("\
380 -V print assembler version number\n\
381 -Qy, -Qn ignored\n"));
382 }
383
384 /* Generate the hash table mapping mnemonics to struct s390_opcode.
385 This table is built at startup and whenever the CPU level is
386 changed using .machine. */
387
388 static void
389 s390_setup_opcodes (void)
390 {
391 const struct s390_opcode *op;
392 const struct s390_opcode *op_end;
393 bfd_boolean dup_insn = FALSE;
394 const char *retval;
395
396 if (s390_opcode_hash != NULL)
397 hash_die (s390_opcode_hash);
398
399 /* Insert the opcodes into a hash table. */
400 s390_opcode_hash = hash_new ();
401
402 op_end = s390_opcodes + s390_num_opcodes;
403 for (op = s390_opcodes; op < op_end; op++)
404 {
405 while (op < op_end - 1 && strcmp(op->name, op[1].name) == 0)
406 {
407 if (op->min_cpu <= current_cpu && (op->modes & current_mode_mask))
408 break;
409 op++;
410 }
411
412 if (op->min_cpu <= current_cpu && (op->modes & current_mode_mask))
413 {
414 retval = hash_insert (s390_opcode_hash, op->name, (void *) op);
415 if (retval != (const char *) NULL)
416 {
417 as_bad (_("Internal assembler error for instruction %s"),
418 op->name);
419 dup_insn = TRUE;
420 }
421 }
422
423 while (op < op_end - 1 && strcmp (op->name, op[1].name) == 0)
424 op++;
425 }
426
427 if (dup_insn)
428 abort ();
429 }
430
431 /* This function is called when the assembler starts up. It is called
432 after the options have been parsed and the output file has been
433 opened. */
434
435 void
436 md_begin (void)
437 {
438 const struct s390_opcode *op;
439 const struct s390_opcode *op_end;
440 const char *retval;
441
442 /* Give a warning if the combination -m64-bit and -Aesa is used. */
443 if (s390_arch_size == 64 && current_cpu < S390_OPCODE_Z900)
444 as_warn (_("The 64 bit file format is used without esame instructions."));
445
446 s390_cie_data_alignment = -s390_arch_size / 8;
447
448 /* Set the ELF flags if desired. */
449 if (s390_flags)
450 bfd_set_private_flags (stdoutput, s390_flags);
451
452 /* Insert the opcode formats into a hash table. */
453 s390_opformat_hash = hash_new ();
454
455 op_end = s390_opformats + s390_num_opformats;
456 for (op = s390_opformats; op < op_end; op++)
457 {
458 retval = hash_insert (s390_opformat_hash, op->name, (void *) op);
459 if (retval != (const char *) NULL)
460 as_bad (_("Internal assembler error for instruction format %s"),
461 op->name);
462 }
463
464 s390_setup_opcodes ();
465
466 record_alignment (text_section, 2);
467 record_alignment (data_section, 2);
468 record_alignment (bss_section, 2);
469 }
470
471 /* Called after all assembly has been done. */
472 void
473 s390_md_end (void)
474 {
475 if (s390_arch_size == 64)
476 bfd_set_arch_mach (stdoutput, bfd_arch_s390, bfd_mach_s390_64);
477 else
478 bfd_set_arch_mach (stdoutput, bfd_arch_s390, bfd_mach_s390_31);
479 }
480
481 /* Insert an operand value into an instruction. */
482
483 static void
484 s390_insert_operand (unsigned char *insn,
485 const struct s390_operand *operand,
486 offsetT val,
487 char *file,
488 unsigned int line)
489 {
490 addressT uval;
491 int offset;
492
493 if (operand->flags & (S390_OPERAND_SIGNED|S390_OPERAND_PCREL))
494 {
495 offsetT min, max;
496
497 max = ((offsetT) 1 << (operand->bits - 1)) - 1;
498 min = - ((offsetT) 1 << (operand->bits - 1));
499 /* Halve PCREL operands. */
500 if (operand->flags & S390_OPERAND_PCREL)
501 val >>= 1;
502 /* Check for underflow / overflow. */
503 if (val < min || val > max)
504 {
505 const char *err =
506 _("operand out of range (%s not between %ld and %ld)");
507 char buf[100];
508
509 if (operand->flags & S390_OPERAND_PCREL)
510 {
511 val <<= 1;
512 min <<= 1;
513 max <<= 1;
514 }
515 sprint_value (buf, val);
516 if (file == (char *) NULL)
517 as_bad (err, buf, (int) min, (int) max);
518 else
519 as_bad_where (file, line, err, buf, (int) min, (int) max);
520 return;
521 }
522 /* val is ok, now restrict it to operand->bits bits. */
523 uval = (addressT) val & ((((addressT) 1 << (operand->bits-1)) << 1) - 1);
524 /* val is restrict, now check for special case. */
525 if (operand->bits == 20 && operand->shift == 20)
526 uval = (uval >> 12) | ((uval & 0xfff) << 8);
527 }
528 else
529 {
530 addressT min, max;
531
532 max = (((addressT) 1 << (operand->bits - 1)) << 1) - 1;
533 min = (offsetT) 0;
534 uval = (addressT) val;
535
536 /* Vector register operands have an additional bit in the RXB
537 field. */
538 if (operand->flags & S390_OPERAND_VR)
539 max = (max << 1) | 1;
540
541 /* Length x in an instructions has real length x+1. */
542 if (operand->flags & S390_OPERAND_LENGTH)
543 uval--;
544 /* Check for underflow / overflow. */
545 if (uval < min || uval > max)
546 {
547 if (operand->flags & S390_OPERAND_LENGTH)
548 {
549 uval++;
550 min++;
551 max++;
552 }
553
554 as_bad_value_out_of_range (_("operand"), uval, (offsetT) min, (offsetT) max, file, line);
555
556 return;
557 }
558 }
559
560 if (operand->flags & S390_OPERAND_VR)
561 {
562 /* Insert the extra bit into the RXB field. */
563 switch (operand->shift)
564 {
565 case 8:
566 insn[4] |= (uval & 0x10) >> 1;
567 break;
568 case 12:
569 insn[4] |= (uval & 0x10) >> 2;
570 break;
571 case 16:
572 insn[4] |= (uval & 0x10) >> 3;
573 break;
574 case 32:
575 insn[4] |= (uval & 0x10) >> 4;
576 break;
577 }
578 uval &= 0xf;
579 }
580
581 if (operand->flags & S390_OPERAND_OR1)
582 uval |= 1;
583 if (operand->flags & S390_OPERAND_OR2)
584 uval |= 2;
585 if (operand->flags & S390_OPERAND_OR8)
586 uval |= 8;
587
588 /* Duplicate the operand at bit pos 12 to 16. */
589 if (operand->flags & S390_OPERAND_CP16)
590 {
591 /* Copy VR operand at bit pos 12 to bit pos 16. */
592 insn[2] |= uval << 4;
593 /* Copy the flag in the RXB field. */
594 insn[4] |= (insn[4] & 4) >> 1;
595 }
596
597 /* Insert fragments of the operand byte for byte. */
598 offset = operand->shift + operand->bits;
599 uval <<= (-offset) & 7;
600 insn += (offset - 1) / 8;
601 while (uval != 0)
602 {
603 *insn-- |= uval;
604 uval >>= 8;
605 }
606 }
607
608 struct map_tls
609 {
610 char *string;
611 int length;
612 bfd_reloc_code_real_type reloc;
613 };
614
615 /* Parse tls marker and return the desired relocation. */
616 static bfd_reloc_code_real_type
617 s390_tls_suffix (char **str_p, expressionS *exp_p)
618 {
619 static struct map_tls mapping[] =
620 {
621 { "tls_load", 8, BFD_RELOC_390_TLS_LOAD },
622 { "tls_gdcall", 10, BFD_RELOC_390_TLS_GDCALL },
623 { "tls_ldcall", 10, BFD_RELOC_390_TLS_LDCALL },
624 { NULL, 0, BFD_RELOC_UNUSED }
625 };
626 struct map_tls *ptr;
627 char *orig_line;
628 char *str;
629 char *ident;
630 int len;
631
632 str = *str_p;
633 if (*str++ != ':')
634 return BFD_RELOC_UNUSED;
635
636 ident = str;
637 while (ISIDNUM (*str))
638 str++;
639 len = str - ident;
640 if (*str++ != ':')
641 return BFD_RELOC_UNUSED;
642
643 orig_line = input_line_pointer;
644 input_line_pointer = str;
645 expression (exp_p);
646 str = input_line_pointer;
647 if (&input_line_pointer != str_p)
648 input_line_pointer = orig_line;
649
650 if (exp_p->X_op != O_symbol)
651 return BFD_RELOC_UNUSED;
652
653 for (ptr = &mapping[0]; ptr->length > 0; ptr++)
654 if (len == ptr->length
655 && strncasecmp (ident, ptr->string, ptr->length) == 0)
656 {
657 /* Found a matching tls suffix. */
658 *str_p = str;
659 return ptr->reloc;
660 }
661 return BFD_RELOC_UNUSED;
662 }
663
664 /* Structure used to hold suffixes. */
665 typedef enum
666 {
667 ELF_SUFFIX_NONE = 0,
668 ELF_SUFFIX_GOT,
669 ELF_SUFFIX_PLT,
670 ELF_SUFFIX_GOTENT,
671 ELF_SUFFIX_GOTOFF,
672 ELF_SUFFIX_GOTPLT,
673 ELF_SUFFIX_PLTOFF,
674 ELF_SUFFIX_TLS_GD,
675 ELF_SUFFIX_TLS_GOTIE,
676 ELF_SUFFIX_TLS_IE,
677 ELF_SUFFIX_TLS_LDM,
678 ELF_SUFFIX_TLS_LDO,
679 ELF_SUFFIX_TLS_LE
680 }
681 elf_suffix_type;
682
683 struct map_bfd
684 {
685 char *string;
686 int length;
687 elf_suffix_type suffix;
688 };
689
690
691 /* Parse @got/@plt/@gotoff. and return the desired relocation. */
692 static elf_suffix_type
693 s390_elf_suffix (char **str_p, expressionS *exp_p)
694 {
695 static struct map_bfd mapping[] =
696 {
697 { "got", 3, ELF_SUFFIX_GOT },
698 { "got12", 5, ELF_SUFFIX_GOT },
699 { "plt", 3, ELF_SUFFIX_PLT },
700 { "gotent", 6, ELF_SUFFIX_GOTENT },
701 { "gotoff", 6, ELF_SUFFIX_GOTOFF },
702 { "gotplt", 6, ELF_SUFFIX_GOTPLT },
703 { "pltoff", 6, ELF_SUFFIX_PLTOFF },
704 { "tlsgd", 5, ELF_SUFFIX_TLS_GD },
705 { "gotntpoff", 9, ELF_SUFFIX_TLS_GOTIE },
706 { "indntpoff", 9, ELF_SUFFIX_TLS_IE },
707 { "tlsldm", 6, ELF_SUFFIX_TLS_LDM },
708 { "dtpoff", 6, ELF_SUFFIX_TLS_LDO },
709 { "ntpoff", 6, ELF_SUFFIX_TLS_LE },
710 { NULL, 0, ELF_SUFFIX_NONE }
711 };
712
713 struct map_bfd *ptr;
714 char *str = *str_p;
715 char *ident;
716 int len;
717
718 if (*str++ != '@')
719 return ELF_SUFFIX_NONE;
720
721 ident = str;
722 while (ISALNUM (*str))
723 str++;
724 len = str - ident;
725
726 for (ptr = &mapping[0]; ptr->length > 0; ptr++)
727 if (len == ptr->length
728 && strncasecmp (ident, ptr->string, ptr->length) == 0)
729 {
730 if (exp_p->X_add_number != 0)
731 as_warn (_("identifier+constant@%s means identifier@%s+constant"),
732 ptr->string, ptr->string);
733 /* Now check for identifier@suffix+constant. */
734 if (*str == '-' || *str == '+')
735 {
736 char *orig_line = input_line_pointer;
737 expressionS new_exp;
738
739 input_line_pointer = str;
740 expression (&new_exp);
741
742 switch (new_exp.X_op)
743 {
744 case O_constant: /* X_add_number (a constant expression). */
745 exp_p->X_add_number += new_exp.X_add_number;
746 str = input_line_pointer;
747 break;
748 case O_symbol: /* X_add_symbol + X_add_number. */
749 /* this case is used for e.g. xyz@PLT+.Label. */
750 exp_p->X_add_number += new_exp.X_add_number;
751 exp_p->X_op_symbol = new_exp.X_add_symbol;
752 exp_p->X_op = O_add;
753 str = input_line_pointer;
754 break;
755 case O_uminus: /* (- X_add_symbol) + X_add_number. */
756 /* this case is used for e.g. xyz@PLT-.Label. */
757 exp_p->X_add_number += new_exp.X_add_number;
758 exp_p->X_op_symbol = new_exp.X_add_symbol;
759 exp_p->X_op = O_subtract;
760 str = input_line_pointer;
761 break;
762 default:
763 break;
764 }
765
766 /* If s390_elf_suffix has not been called with
767 &input_line_pointer as first parameter, we have
768 clobbered the input_line_pointer. We have to
769 undo that. */
770 if (&input_line_pointer != str_p)
771 input_line_pointer = orig_line;
772 }
773 *str_p = str;
774 return ptr->suffix;
775 }
776
777 return BFD_RELOC_UNUSED;
778 }
779
780 /* Structure used to hold a literal pool entry. */
781 struct s390_lpe
782 {
783 struct s390_lpe *next;
784 expressionS ex;
785 FLONUM_TYPE floatnum; /* used if X_op == O_big && X_add_number <= 0 */
786 LITTLENUM_TYPE bignum[4]; /* used if X_op == O_big && X_add_number > 0 */
787 int nbytes;
788 bfd_reloc_code_real_type reloc;
789 symbolS *sym;
790 };
791
792 static struct s390_lpe *lpe_free_list = NULL;
793 static struct s390_lpe *lpe_list = NULL;
794 static struct s390_lpe *lpe_list_tail = NULL;
795 static symbolS *lp_sym = NULL;
796 static int lp_count = 0;
797 static int lpe_count = 0;
798
799 static int
800 s390_exp_compare (expressionS *exp1, expressionS *exp2)
801 {
802 if (exp1->X_op != exp2->X_op)
803 return 0;
804
805 switch (exp1->X_op)
806 {
807 case O_constant: /* X_add_number must be equal. */
808 case O_register:
809 return exp1->X_add_number == exp2->X_add_number;
810
811 case O_big:
812 as_bad (_("Can't handle O_big in s390_exp_compare"));
813
814 case O_symbol: /* X_add_symbol & X_add_number must be equal. */
815 case O_symbol_rva:
816 case O_uminus:
817 case O_bit_not:
818 case O_logical_not:
819 return (exp1->X_add_symbol == exp2->X_add_symbol)
820 && (exp1->X_add_number == exp2->X_add_number);
821
822 case O_multiply: /* X_add_symbol,X_op_symbol&X_add_number must be equal. */
823 case O_divide:
824 case O_modulus:
825 case O_left_shift:
826 case O_right_shift:
827 case O_bit_inclusive_or:
828 case O_bit_or_not:
829 case O_bit_exclusive_or:
830 case O_bit_and:
831 case O_add:
832 case O_subtract:
833 case O_eq:
834 case O_ne:
835 case O_lt:
836 case O_le:
837 case O_ge:
838 case O_gt:
839 case O_logical_and:
840 case O_logical_or:
841 return (exp1->X_add_symbol == exp2->X_add_symbol)
842 && (exp1->X_op_symbol == exp2->X_op_symbol)
843 && (exp1->X_add_number == exp2->X_add_number);
844 default:
845 return 0;
846 }
847 }
848
849 /* Test for @lit and if its present make an entry in the literal pool and
850 modify the current expression to be an offset into the literal pool. */
851 static elf_suffix_type
852 s390_lit_suffix (char **str_p, expressionS *exp_p, elf_suffix_type suffix)
853 {
854 bfd_reloc_code_real_type reloc;
855 char tmp_name[64];
856 char *str = *str_p;
857 char *ident;
858 struct s390_lpe *lpe;
859 int nbytes, len;
860
861 if (*str++ != ':')
862 return suffix; /* No modification. */
863
864 /* We look for a suffix of the form "@lit1", "@lit2", "@lit4" or "@lit8". */
865 ident = str;
866 while (ISALNUM (*str))
867 str++;
868 len = str - ident;
869 if (len != 4 || strncasecmp (ident, "lit", 3) != 0
870 || (ident[3]!='1' && ident[3]!='2' && ident[3]!='4' && ident[3]!='8'))
871 return suffix; /* no modification */
872 nbytes = ident[3] - '0';
873
874 reloc = BFD_RELOC_UNUSED;
875 if (suffix == ELF_SUFFIX_GOT)
876 {
877 if (nbytes == 2)
878 reloc = BFD_RELOC_390_GOT16;
879 else if (nbytes == 4)
880 reloc = BFD_RELOC_32_GOT_PCREL;
881 else if (nbytes == 8)
882 reloc = BFD_RELOC_390_GOT64;
883 }
884 else if (suffix == ELF_SUFFIX_PLT)
885 {
886 if (nbytes == 4)
887 reloc = BFD_RELOC_390_PLT32;
888 else if (nbytes == 8)
889 reloc = BFD_RELOC_390_PLT64;
890 }
891
892 if (suffix != ELF_SUFFIX_NONE && reloc == BFD_RELOC_UNUSED)
893 as_bad (_("Invalid suffix for literal pool entry"));
894
895 /* Search the pool if the new entry is a duplicate. */
896 if (exp_p->X_op == O_big)
897 {
898 /* Special processing for big numbers. */
899 for (lpe = lpe_list; lpe != NULL; lpe = lpe->next)
900 {
901 if (lpe->ex.X_op == O_big)
902 {
903 if (exp_p->X_add_number <= 0 && lpe->ex.X_add_number <= 0)
904 {
905 if (memcmp (&generic_floating_point_number, &lpe->floatnum,
906 sizeof (FLONUM_TYPE)) == 0)
907 break;
908 }
909 else if (exp_p->X_add_number == lpe->ex.X_add_number)
910 {
911 if (memcmp (generic_bignum, lpe->bignum,
912 sizeof (LITTLENUM_TYPE)*exp_p->X_add_number) == 0)
913 break;
914 }
915 }
916 }
917 }
918 else
919 {
920 /* Processing for 'normal' data types. */
921 for (lpe = lpe_list; lpe != NULL; lpe = lpe->next)
922 if (lpe->nbytes == nbytes && lpe->reloc == reloc
923 && s390_exp_compare (exp_p, &lpe->ex) != 0)
924 break;
925 }
926
927 if (lpe == NULL)
928 {
929 /* A new literal. */
930 if (lpe_free_list != NULL)
931 {
932 lpe = lpe_free_list;
933 lpe_free_list = lpe_free_list->next;
934 }
935 else
936 {
937 lpe = (struct s390_lpe *) xmalloc (sizeof (struct s390_lpe));
938 }
939
940 lpe->ex = *exp_p;
941
942 if (exp_p->X_op == O_big)
943 {
944 if (exp_p->X_add_number <= 0)
945 lpe->floatnum = generic_floating_point_number;
946 else if (exp_p->X_add_number <= 4)
947 memcpy (lpe->bignum, generic_bignum,
948 exp_p->X_add_number * sizeof (LITTLENUM_TYPE));
949 else
950 as_bad (_("Big number is too big"));
951 }
952
953 lpe->nbytes = nbytes;
954 lpe->reloc = reloc;
955 /* Literal pool name defined ? */
956 if (lp_sym == NULL)
957 {
958 sprintf (tmp_name, ".L\001%i", lp_count);
959 lp_sym = symbol_make (tmp_name);
960 }
961
962 /* Make name for literal pool entry. */
963 sprintf (tmp_name, ".L\001%i\002%i", lp_count, lpe_count);
964 lpe_count++;
965 lpe->sym = symbol_make (tmp_name);
966
967 /* Add to literal pool list. */
968 lpe->next = NULL;
969 if (lpe_list_tail != NULL)
970 {
971 lpe_list_tail->next = lpe;
972 lpe_list_tail = lpe;
973 }
974 else
975 lpe_list = lpe_list_tail = lpe;
976 }
977
978 /* Now change exp_p to the offset into the literal pool.
979 Thats the expression: .L^Ax^By-.L^Ax */
980 exp_p->X_add_symbol = lpe->sym;
981 exp_p->X_op_symbol = lp_sym;
982 exp_p->X_op = O_subtract;
983 exp_p->X_add_number = 0;
984
985 *str_p = str;
986
987 /* We change the suffix type to ELF_SUFFIX_NONE, because
988 the difference of two local labels is just a number. */
989 return ELF_SUFFIX_NONE;
990 }
991
992 /* Like normal .long/.short/.word, except support @got, etc.
993 clobbers input_line_pointer, checks end-of-line. */
994 static void
995 s390_elf_cons (int nbytes /* 1=.byte, 2=.word, 4=.long */)
996 {
997 expressionS exp;
998 elf_suffix_type suffix;
999
1000 if (is_it_end_of_statement ())
1001 {
1002 demand_empty_rest_of_line ();
1003 return;
1004 }
1005
1006 do
1007 {
1008 expression (&exp);
1009
1010 if (exp.X_op == O_symbol
1011 && *input_line_pointer == '@'
1012 && (suffix = s390_elf_suffix (&input_line_pointer, &exp)) != ELF_SUFFIX_NONE)
1013 {
1014 bfd_reloc_code_real_type reloc;
1015 reloc_howto_type *reloc_howto;
1016 int size;
1017 char *where;
1018
1019 if (nbytes == 2)
1020 {
1021 static bfd_reloc_code_real_type tab2[] =
1022 {
1023 BFD_RELOC_UNUSED, /* ELF_SUFFIX_NONE */
1024 BFD_RELOC_390_GOT16, /* ELF_SUFFIX_GOT */
1025 BFD_RELOC_UNUSED, /* ELF_SUFFIX_PLT */
1026 BFD_RELOC_UNUSED, /* ELF_SUFFIX_GOTENT */
1027 BFD_RELOC_16_GOTOFF, /* ELF_SUFFIX_GOTOFF */
1028 BFD_RELOC_UNUSED, /* ELF_SUFFIX_GOTPLT */
1029 BFD_RELOC_390_PLTOFF16, /* ELF_SUFFIX_PLTOFF */
1030 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_GD */
1031 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_GOTIE */
1032 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_IE */
1033 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_LDM */
1034 BFD_RELOC_UNUSED, /* ELF_SUFFIX_TLS_LDO */
1035 BFD_RELOC_UNUSED /* ELF_SUFFIX_TLS_LE */
1036 };
1037 reloc = tab2[suffix];
1038 }
1039 else if (nbytes == 4)
1040 {
1041 static bfd_reloc_code_real_type tab4[] =
1042 {
1043 BFD_RELOC_UNUSED, /* ELF_SUFFIX_NONE */
1044 BFD_RELOC_32_GOT_PCREL, /* ELF_SUFFIX_GOT */
1045 BFD_RELOC_390_PLT32, /* ELF_SUFFIX_PLT */
1046 BFD_RELOC_UNUSED, /* ELF_SUFFIX_GOTENT */
1047 BFD_RELOC_32_GOTOFF, /* ELF_SUFFIX_GOTOFF */
1048 BFD_RELOC_390_GOTPLT32, /* ELF_SUFFIX_GOTPLT */
1049 BFD_RELOC_390_PLTOFF32, /* ELF_SUFFIX_PLTOFF */
1050 BFD_RELOC_390_TLS_GD32, /* ELF_SUFFIX_TLS_GD */
1051 BFD_RELOC_390_TLS_GOTIE32, /* ELF_SUFFIX_TLS_GOTIE */
1052 BFD_RELOC_390_TLS_IE32, /* ELF_SUFFIX_TLS_IE */
1053 BFD_RELOC_390_TLS_LDM32, /* ELF_SUFFIX_TLS_LDM */
1054 BFD_RELOC_390_TLS_LDO32, /* ELF_SUFFIX_TLS_LDO */
1055 BFD_RELOC_390_TLS_LE32 /* ELF_SUFFIX_TLS_LE */
1056 };
1057 reloc = tab4[suffix];
1058 }
1059 else if (nbytes == 8)
1060 {
1061 static bfd_reloc_code_real_type tab8[] =
1062 {
1063 BFD_RELOC_UNUSED, /* ELF_SUFFIX_NONE */
1064 BFD_RELOC_390_GOT64, /* ELF_SUFFIX_GOT */
1065 BFD_RELOC_390_PLT64, /* ELF_SUFFIX_PLT */
1066 BFD_RELOC_UNUSED, /* ELF_SUFFIX_GOTENT */
1067 BFD_RELOC_390_GOTOFF64, /* ELF_SUFFIX_GOTOFF */
1068 BFD_RELOC_390_GOTPLT64, /* ELF_SUFFIX_GOTPLT */
1069 BFD_RELOC_390_PLTOFF64, /* ELF_SUFFIX_PLTOFF */
1070 BFD_RELOC_390_TLS_GD64, /* ELF_SUFFIX_TLS_GD */
1071 BFD_RELOC_390_TLS_GOTIE64, /* ELF_SUFFIX_TLS_GOTIE */
1072 BFD_RELOC_390_TLS_IE64, /* ELF_SUFFIX_TLS_IE */
1073 BFD_RELOC_390_TLS_LDM64, /* ELF_SUFFIX_TLS_LDM */
1074 BFD_RELOC_390_TLS_LDO64, /* ELF_SUFFIX_TLS_LDO */
1075 BFD_RELOC_390_TLS_LE64 /* ELF_SUFFIX_TLS_LE */
1076 };
1077 reloc = tab8[suffix];
1078 }
1079 else
1080 reloc = BFD_RELOC_UNUSED;
1081
1082 if (reloc != BFD_RELOC_UNUSED
1083 && (reloc_howto = bfd_reloc_type_lookup (stdoutput, reloc)))
1084 {
1085 size = bfd_get_reloc_size (reloc_howto);
1086 if (size > nbytes)
1087 as_bad (_("%s relocations do not fit in %d bytes"),
1088 reloc_howto->name, nbytes);
1089 where = frag_more (nbytes);
1090 md_number_to_chars (where, 0, size);
1091 /* To make fixup_segment do the pc relative conversion the
1092 pcrel parameter on the fix_new_exp call needs to be FALSE. */
1093 fix_new_exp (frag_now, where - frag_now->fr_literal,
1094 size, &exp, FALSE, reloc);
1095 }
1096 else
1097 as_bad (_("relocation not applicable"));
1098 }
1099 else
1100 emit_expr (&exp, (unsigned int) nbytes);
1101 }
1102 while (*input_line_pointer++ == ',');
1103
1104 input_line_pointer--; /* Put terminator back into stream. */
1105 demand_empty_rest_of_line ();
1106 }
1107
1108 /* We need to keep a list of fixups. We can't simply generate them as
1109 we go, because that would require us to first create the frag, and
1110 that would screw up references to ``.''. */
1111
1112 struct s390_fixup
1113 {
1114 expressionS exp;
1115 int opindex;
1116 bfd_reloc_code_real_type reloc;
1117 };
1118
1119 #define MAX_INSN_FIXUPS (4)
1120
1121 /* This routine is called for each instruction to be assembled. */
1122
1123 static char *
1124 md_gather_operands (char *str,
1125 unsigned char *insn,
1126 const struct s390_opcode *opcode)
1127 {
1128 struct s390_fixup fixups[MAX_INSN_FIXUPS];
1129 const struct s390_operand *operand;
1130 const unsigned char *opindex_ptr;
1131 expressionS ex;
1132 elf_suffix_type suffix;
1133 bfd_reloc_code_real_type reloc;
1134 int skip_optional;
1135 char *f;
1136 int fc, i;
1137
1138 while (ISSPACE (*str))
1139 str++;
1140
1141 skip_optional = 0;
1142
1143 /* Gather the operands. */
1144 fc = 0;
1145 for (opindex_ptr = opcode->operands; *opindex_ptr != 0; opindex_ptr++)
1146 {
1147 char *hold;
1148
1149 operand = s390_operands + *opindex_ptr;
1150
1151 if ((opcode->flags & S390_INSTR_FLAG_OPTPARM) && *str == '\0')
1152 {
1153 /* Optional parameters might need to be ORed with a
1154 value so calling s390_insert_operand is needed. */
1155 s390_insert_operand (insn, operand, 0, NULL, 0);
1156 break;
1157 }
1158
1159 if (skip_optional && (operand->flags & S390_OPERAND_INDEX))
1160 {
1161 /* We do an early skip. For D(X,B) constructions the index
1162 register is skipped (X is optional). For D(L,B) the base
1163 register will be the skipped operand, because L is NOT
1164 optional. */
1165 skip_optional = 0;
1166 continue;
1167 }
1168
1169 /* Gather the operand. */
1170 hold = input_line_pointer;
1171 input_line_pointer = str;
1172
1173 /* Parse the operand. */
1174 if (! register_name (&ex))
1175 expression (&ex);
1176
1177 str = input_line_pointer;
1178 input_line_pointer = hold;
1179
1180 /* Write the operand to the insn. */
1181 if (ex.X_op == O_illegal)
1182 as_bad (_("illegal operand"));
1183 else if (ex.X_op == O_absent)
1184 {
1185 /* No operands, check if all operands can be skipped. */
1186 while (*opindex_ptr != 0 && operand->flags & S390_OPERAND_OPTIONAL)
1187 {
1188 if (operand->flags & S390_OPERAND_DISP)
1189 {
1190 /* An optional displacement makes the whole D(X,B)
1191 D(L,B) or D(B) block optional. */
1192 do {
1193 operand = s390_operands + *(++opindex_ptr);
1194 } while (!(operand->flags & S390_OPERAND_BASE));
1195 }
1196 operand = s390_operands + *(++opindex_ptr);
1197 }
1198 if (opindex_ptr[0] == '\0')
1199 break;
1200 as_bad (_("missing operand"));
1201 }
1202 else if (ex.X_op == O_register || ex.X_op == O_constant)
1203 {
1204 s390_lit_suffix (&str, &ex, ELF_SUFFIX_NONE);
1205
1206 if (ex.X_op != O_register && ex.X_op != O_constant)
1207 {
1208 /* We need to generate a fixup for the
1209 expression returned by s390_lit_suffix. */
1210 if (fc >= MAX_INSN_FIXUPS)
1211 as_fatal (_("too many fixups"));
1212 fixups[fc].exp = ex;
1213 fixups[fc].opindex = *opindex_ptr;
1214 fixups[fc].reloc = BFD_RELOC_UNUSED;
1215 ++fc;
1216 }
1217 else
1218 {
1219 if ((operand->flags & S390_OPERAND_LENGTH)
1220 && ex.X_op != O_constant)
1221 as_fatal (_("invalid length field specified"));
1222 if ((operand->flags & S390_OPERAND_INDEX)
1223 && ex.X_add_number == 0
1224 && warn_areg_zero)
1225 as_warn (_("index register specified but zero"));
1226 if ((operand->flags & S390_OPERAND_BASE)
1227 && ex.X_add_number == 0
1228 && warn_areg_zero)
1229 as_warn (_("base register specified but zero"));
1230 if ((operand->flags & S390_OPERAND_GPR)
1231 && (operand->flags & S390_OPERAND_REG_PAIR)
1232 && (ex.X_add_number & 1))
1233 as_fatal (_("odd numbered general purpose register specified as "
1234 "register pair"));
1235 if ((operand->flags & S390_OPERAND_FPR)
1236 && (operand->flags & S390_OPERAND_REG_PAIR)
1237 && ex.X_add_number != 0 && ex.X_add_number != 1
1238 && ex.X_add_number != 4 && ex.X_add_number != 5
1239 && ex.X_add_number != 8 && ex.X_add_number != 9
1240 && ex.X_add_number != 12 && ex.X_add_number != 13)
1241 as_fatal (_("invalid floating point register pair. Valid fp "
1242 "register pair operands are 0, 1, 4, 5, 8, 9, "
1243 "12 or 13."));
1244 s390_insert_operand (insn, operand, ex.X_add_number, NULL, 0);
1245 }
1246 }
1247 else
1248 {
1249 suffix = s390_elf_suffix (&str, &ex);
1250 suffix = s390_lit_suffix (&str, &ex, suffix);
1251 reloc = BFD_RELOC_UNUSED;
1252
1253 if (suffix == ELF_SUFFIX_GOT)
1254 {
1255 if ((operand->flags & S390_OPERAND_DISP) &&
1256 (operand->bits == 12))
1257 reloc = BFD_RELOC_390_GOT12;
1258 else if ((operand->flags & S390_OPERAND_DISP) &&
1259 (operand->bits == 20))
1260 reloc = BFD_RELOC_390_GOT20;
1261 else if ((operand->flags & S390_OPERAND_SIGNED)
1262 && (operand->bits == 16))
1263 reloc = BFD_RELOC_390_GOT16;
1264 else if ((operand->flags & S390_OPERAND_PCREL)
1265 && (operand->bits == 32))
1266 reloc = BFD_RELOC_390_GOTENT;
1267 }
1268 else if (suffix == ELF_SUFFIX_PLT)
1269 {
1270 if ((operand->flags & S390_OPERAND_PCREL)
1271 && (operand->bits == 12))
1272 reloc = BFD_RELOC_390_PLT12DBL;
1273 else if ((operand->flags & S390_OPERAND_PCREL)
1274 && (operand->bits == 16))
1275 reloc = BFD_RELOC_390_PLT16DBL;
1276 else if ((operand->flags & S390_OPERAND_PCREL)
1277 && (operand->bits == 24))
1278 reloc = BFD_RELOC_390_PLT24DBL;
1279 else if ((operand->flags & S390_OPERAND_PCREL)
1280 && (operand->bits == 32))
1281 reloc = BFD_RELOC_390_PLT32DBL;
1282 }
1283 else if (suffix == ELF_SUFFIX_GOTENT)
1284 {
1285 if ((operand->flags & S390_OPERAND_PCREL)
1286 && (operand->bits == 32))
1287 reloc = BFD_RELOC_390_GOTENT;
1288 }
1289 else if (suffix == ELF_SUFFIX_GOTOFF)
1290 {
1291 if ((operand->flags & S390_OPERAND_SIGNED)
1292 && (operand->bits == 16))
1293 reloc = BFD_RELOC_16_GOTOFF;
1294 }
1295 else if (suffix == ELF_SUFFIX_PLTOFF)
1296 {
1297 if ((operand->flags & S390_OPERAND_SIGNED)
1298 && (operand->bits == 16))
1299 reloc = BFD_RELOC_390_PLTOFF16;
1300 }
1301 else if (suffix == ELF_SUFFIX_GOTPLT)
1302 {
1303 if ((operand->flags & S390_OPERAND_DISP)
1304 && (operand->bits == 12))
1305 reloc = BFD_RELOC_390_GOTPLT12;
1306 else if ((operand->flags & S390_OPERAND_SIGNED)
1307 && (operand->bits == 16))
1308 reloc = BFD_RELOC_390_GOTPLT16;
1309 else if ((operand->flags & S390_OPERAND_PCREL)
1310 && (operand->bits == 32))
1311 reloc = BFD_RELOC_390_GOTPLTENT;
1312 }
1313 else if (suffix == ELF_SUFFIX_TLS_GOTIE)
1314 {
1315 if ((operand->flags & S390_OPERAND_DISP)
1316 && (operand->bits == 12))
1317 reloc = BFD_RELOC_390_TLS_GOTIE12;
1318 else if ((operand->flags & S390_OPERAND_DISP)
1319 && (operand->bits == 20))
1320 reloc = BFD_RELOC_390_TLS_GOTIE20;
1321 }
1322 else if (suffix == ELF_SUFFIX_TLS_IE)
1323 {
1324 if ((operand->flags & S390_OPERAND_PCREL)
1325 && (operand->bits == 32))
1326 reloc = BFD_RELOC_390_TLS_IEENT;
1327 }
1328
1329 if (suffix != ELF_SUFFIX_NONE && reloc == BFD_RELOC_UNUSED)
1330 as_bad (_("invalid operand suffix"));
1331 /* We need to generate a fixup of type 'reloc' for this
1332 expression. */
1333 if (fc >= MAX_INSN_FIXUPS)
1334 as_fatal (_("too many fixups"));
1335 fixups[fc].exp = ex;
1336 fixups[fc].opindex = *opindex_ptr;
1337 fixups[fc].reloc = reloc;
1338 ++fc;
1339 }
1340
1341 /* Check the next character. The call to expression has advanced
1342 str past any whitespace. */
1343 if (operand->flags & S390_OPERAND_DISP)
1344 {
1345 /* After a displacement a block in parentheses can start. */
1346 if (*str != '(')
1347 {
1348 /* Check if parenthesized block can be skipped. If the next
1349 operand is neiter an optional operand nor a base register
1350 then we have a syntax error. */
1351 operand = s390_operands + *(++opindex_ptr);
1352 if (!(operand->flags & (S390_OPERAND_INDEX|S390_OPERAND_BASE)))
1353 as_bad (_("syntax error; missing '(' after displacement"));
1354
1355 /* Ok, skip all operands until S390_OPERAND_BASE. */
1356 while (!(operand->flags & S390_OPERAND_BASE))
1357 operand = s390_operands + *(++opindex_ptr);
1358
1359 /* If there is a next operand it must be separated by a comma. */
1360 if (opindex_ptr[1] != '\0')
1361 {
1362 if (*str != ',')
1363 {
1364 while (opindex_ptr[1] != '\0')
1365 {
1366 operand = s390_operands + *(++opindex_ptr);
1367 if (operand->flags & S390_OPERAND_OPTIONAL)
1368 continue;
1369 as_bad (_("syntax error; expected ,"));
1370 break;
1371 }
1372 }
1373 else
1374 str++;
1375 }
1376 }
1377 else
1378 {
1379 /* We found an opening parentheses. */
1380 str++;
1381 for (f = str; *f != '\0'; f++)
1382 if (*f == ',' || *f == ')')
1383 break;
1384 /* If there is no comma until the closing parentheses OR
1385 there is a comma right after the opening parentheses,
1386 we have to skip optional operands. */
1387 if (*f == ',' && f == str)
1388 {
1389 /* comma directly after '(' ? */
1390 skip_optional = 1;
1391 str++;
1392 }
1393 else
1394 skip_optional = (*f != ',');
1395 }
1396 }
1397 else if (operand->flags & S390_OPERAND_BASE)
1398 {
1399 /* After the base register the parenthesed block ends. */
1400 if (*str++ != ')')
1401 as_bad (_("syntax error; missing ')' after base register"));
1402 skip_optional = 0;
1403 /* If there is a next operand it must be separated by a comma. */
1404 if (opindex_ptr[1] != '\0')
1405 {
1406 if (*str != ',')
1407 {
1408 while (opindex_ptr[1] != '\0')
1409 {
1410 operand = s390_operands + *(++opindex_ptr);
1411 if (operand->flags & S390_OPERAND_OPTIONAL)
1412 continue;
1413 as_bad (_("syntax error; expected ,"));
1414 break;
1415 }
1416 }
1417 else
1418 str++;
1419 }
1420 }
1421 else
1422 {
1423 /* We can find an 'early' closing parentheses in e.g. D(L) instead
1424 of D(L,B). In this case the base register has to be skipped. */
1425 if (*str == ')')
1426 {
1427 operand = s390_operands + *(++opindex_ptr);
1428
1429 if (!(operand->flags & S390_OPERAND_BASE))
1430 as_bad (_("syntax error; ')' not allowed here"));
1431 str++;
1432 }
1433
1434 if ((opcode->flags & S390_INSTR_FLAG_OPTPARM) && *str == '\0')
1435 continue;
1436
1437 /* If there is a next operand it must be separated by a comma. */
1438 if (opindex_ptr[1] != '\0')
1439 {
1440 if (*str != ',')
1441 {
1442 while (opindex_ptr[1] != '\0')
1443 {
1444 operand = s390_operands + *(++opindex_ptr);
1445 if (operand->flags & S390_OPERAND_OPTIONAL)
1446 continue;
1447 as_bad (_("syntax error; expected ,"));
1448 break;
1449 }
1450 }
1451 else
1452 str++;
1453 }
1454 }
1455 }
1456
1457 while (ISSPACE (*str))
1458 ++str;
1459
1460 /* Check for tls instruction marker. */
1461 reloc = s390_tls_suffix (&str, &ex);
1462 if (reloc != BFD_RELOC_UNUSED)
1463 {
1464 /* We need to generate a fixup of type 'reloc' for this
1465 instruction. */
1466 if (fc >= MAX_INSN_FIXUPS)
1467 as_fatal (_("too many fixups"));
1468 fixups[fc].exp = ex;
1469 fixups[fc].opindex = -1;
1470 fixups[fc].reloc = reloc;
1471 ++fc;
1472 }
1473
1474 if (*str != '\0')
1475 {
1476 char *linefeed;
1477
1478 if ((linefeed = strchr (str, '\n')) != NULL)
1479 *linefeed = '\0';
1480 as_bad (_("junk at end of line: `%s'"), str);
1481 if (linefeed != NULL)
1482 *linefeed = '\n';
1483 }
1484
1485 /* Write out the instruction. */
1486 f = frag_more (opcode->oplen);
1487 memcpy (f, insn, opcode->oplen);
1488 dwarf2_emit_insn (opcode->oplen);
1489
1490 /* Create any fixups. At this point we do not use a
1491 bfd_reloc_code_real_type, but instead just use the
1492 BFD_RELOC_UNUSED plus the operand index. This lets us easily
1493 handle fixups for any operand type, although that is admittedly
1494 not a very exciting feature. We pick a BFD reloc type in
1495 md_apply_fix. */
1496 for (i = 0; i < fc; i++)
1497 {
1498
1499 if (fixups[i].opindex < 0)
1500 {
1501 /* Create tls instruction marker relocation. */
1502 fix_new_exp (frag_now, f - frag_now->fr_literal, opcode->oplen,
1503 &fixups[i].exp, 0, fixups[i].reloc);
1504 continue;
1505 }
1506
1507 operand = s390_operands + fixups[i].opindex;
1508
1509 if (fixups[i].reloc != BFD_RELOC_UNUSED)
1510 {
1511 reloc_howto_type *reloc_howto;
1512 fixS *fixP;
1513 int size;
1514
1515 reloc_howto = bfd_reloc_type_lookup (stdoutput, fixups[i].reloc);
1516 if (!reloc_howto)
1517 abort ();
1518
1519 size = ((reloc_howto->bitsize - 1) / 8) + 1;
1520
1521 if (size < 1 || size > 4)
1522 abort ();
1523
1524 fixP = fix_new_exp (frag_now,
1525 f - frag_now->fr_literal + (operand->shift/8),
1526 size, &fixups[i].exp, reloc_howto->pc_relative,
1527 fixups[i].reloc);
1528 /* Turn off overflow checking in fixup_segment. This is necessary
1529 because fixup_segment will signal an overflow for large 4 byte
1530 quantities for GOT12 relocations. */
1531 if ( fixups[i].reloc == BFD_RELOC_390_GOT12
1532 || fixups[i].reloc == BFD_RELOC_390_GOT20
1533 || fixups[i].reloc == BFD_RELOC_390_GOT16)
1534 fixP->fx_no_overflow = 1;
1535 }
1536 else
1537 fix_new_exp (frag_now, f - frag_now->fr_literal, 4, &fixups[i].exp,
1538 (operand->flags & S390_OPERAND_PCREL) != 0,
1539 ((bfd_reloc_code_real_type)
1540 (fixups[i].opindex + (int) BFD_RELOC_UNUSED)));
1541 }
1542 return str;
1543 }
1544
1545 /* This routine is called for each instruction to be assembled. */
1546
1547 void
1548 md_assemble (char *str)
1549 {
1550 const struct s390_opcode *opcode;
1551 unsigned char insn[6];
1552 char *s;
1553
1554 /* Get the opcode. */
1555 for (s = str; *s != '\0' && ! ISSPACE (*s); s++)
1556 ;
1557 if (*s != '\0')
1558 *s++ = '\0';
1559
1560 /* Look up the opcode in the hash table. */
1561 opcode = (struct s390_opcode *) hash_find (s390_opcode_hash, str);
1562 if (opcode == (const struct s390_opcode *) NULL)
1563 {
1564 as_bad (_("Unrecognized opcode: `%s'"), str);
1565 return;
1566 }
1567 else if (!(opcode->modes & current_mode_mask))
1568 {
1569 as_bad (_("Opcode %s not available in this mode"), str);
1570 return;
1571 }
1572 memcpy (insn, opcode->opcode, sizeof (insn));
1573 md_gather_operands (s, insn, opcode);
1574 }
1575
1576 #ifndef WORKING_DOT_WORD
1577 /* Handle long and short jumps. We don't support these */
1578 void
1579 md_create_short_jump (ptr, from_addr, to_addr, frag, to_symbol)
1580 char *ptr;
1581 addressT from_addr, to_addr;
1582 fragS *frag;
1583 symbolS *to_symbol;
1584 {
1585 abort ();
1586 }
1587
1588 void
1589 md_create_long_jump (ptr, from_addr, to_addr, frag, to_symbol)
1590 char *ptr;
1591 addressT from_addr, to_addr;
1592 fragS *frag;
1593 symbolS *to_symbol;
1594 {
1595 abort ();
1596 }
1597 #endif
1598
1599 void
1600 s390_bss (int ignore ATTRIBUTE_UNUSED)
1601 {
1602 /* We don't support putting frags in the BSS segment, we fake it
1603 by marking in_bss, then looking at s_skip for clues. */
1604
1605 subseg_set (bss_section, 0);
1606 demand_empty_rest_of_line ();
1607 }
1608
1609 /* Pseudo-op handling. */
1610
1611 void
1612 s390_insn (int ignore ATTRIBUTE_UNUSED)
1613 {
1614 expressionS exp;
1615 const struct s390_opcode *opformat;
1616 unsigned char insn[6];
1617 char *s;
1618
1619 /* Get the opcode format. */
1620 s = input_line_pointer;
1621 while (*s != '\0' && *s != ',' && ! ISSPACE (*s))
1622 s++;
1623 if (*s != ',')
1624 as_bad (_("Invalid .insn format\n"));
1625 *s++ = '\0';
1626
1627 /* Look up the opcode in the hash table. */
1628 opformat = (struct s390_opcode *)
1629 hash_find (s390_opformat_hash, input_line_pointer);
1630 if (opformat == (const struct s390_opcode *) NULL)
1631 {
1632 as_bad (_("Unrecognized opcode format: `%s'"), input_line_pointer);
1633 return;
1634 }
1635 input_line_pointer = s;
1636 expression (&exp);
1637 if (exp.X_op == O_constant)
1638 {
1639 if ( ( opformat->oplen == 6
1640 && (addressT) exp.X_add_number < (1ULL << 48))
1641 || ( opformat->oplen == 4
1642 && (addressT) exp.X_add_number < (1ULL << 32))
1643 || ( opformat->oplen == 2
1644 && (addressT) exp.X_add_number < (1ULL << 16)))
1645 md_number_to_chars ((char *) insn, exp.X_add_number, opformat->oplen);
1646 else
1647 as_bad (_("Invalid .insn format\n"));
1648 }
1649 else if (exp.X_op == O_big)
1650 {
1651 if (exp.X_add_number > 0
1652 && opformat->oplen == 6
1653 && generic_bignum[3] == 0)
1654 {
1655 md_number_to_chars ((char *) insn, generic_bignum[2], 2);
1656 md_number_to_chars ((char *) &insn[2], generic_bignum[1], 2);
1657 md_number_to_chars ((char *) &insn[4], generic_bignum[0], 2);
1658 }
1659 else
1660 as_bad (_("Invalid .insn format\n"));
1661 }
1662 else
1663 as_bad (_("second operand of .insn not a constant\n"));
1664
1665 if (strcmp (opformat->name, "e") != 0 && *input_line_pointer++ != ',')
1666 as_bad (_("missing comma after insn constant\n"));
1667
1668 if ((s = strchr (input_line_pointer, '\n')) != NULL)
1669 *s = '\0';
1670 input_line_pointer = md_gather_operands (input_line_pointer, insn,
1671 opformat);
1672 if (s != NULL)
1673 *s = '\n';
1674 demand_empty_rest_of_line ();
1675 }
1676
1677 /* The .byte pseudo-op. This is similar to the normal .byte
1678 pseudo-op, but it can also take a single ASCII string. */
1679
1680 static void
1681 s390_byte (int ignore ATTRIBUTE_UNUSED)
1682 {
1683 if (*input_line_pointer != '\"')
1684 {
1685 cons (1);
1686 return;
1687 }
1688
1689 /* Gather characters. A real double quote is doubled. Unusual
1690 characters are not permitted. */
1691 ++input_line_pointer;
1692 while (1)
1693 {
1694 char c;
1695
1696 c = *input_line_pointer++;
1697
1698 if (c == '\"')
1699 {
1700 if (*input_line_pointer != '\"')
1701 break;
1702 ++input_line_pointer;
1703 }
1704
1705 FRAG_APPEND_1_CHAR (c);
1706 }
1707
1708 demand_empty_rest_of_line ();
1709 }
1710
1711 /* The .ltorg pseudo-op.This emits all literals defined since the last
1712 .ltorg or the invocation of gas. Literals are defined with the
1713 @lit suffix. */
1714
1715 static void
1716 s390_literals (int ignore ATTRIBUTE_UNUSED)
1717 {
1718 struct s390_lpe *lpe;
1719
1720 if (lp_sym == NULL || lpe_count == 0)
1721 return; /* Nothing to be done. */
1722
1723 /* Emit symbol for start of literal pool. */
1724 S_SET_SEGMENT (lp_sym, now_seg);
1725 S_SET_VALUE (lp_sym, (valueT) frag_now_fix ());
1726 lp_sym->sy_frag = frag_now;
1727
1728 while (lpe_list)
1729 {
1730 lpe = lpe_list;
1731 lpe_list = lpe_list->next;
1732 S_SET_SEGMENT (lpe->sym, now_seg);
1733 S_SET_VALUE (lpe->sym, (valueT) frag_now_fix ());
1734 lpe->sym->sy_frag = frag_now;
1735
1736 /* Emit literal pool entry. */
1737 if (lpe->reloc != BFD_RELOC_UNUSED)
1738 {
1739 reloc_howto_type *reloc_howto =
1740 bfd_reloc_type_lookup (stdoutput, lpe->reloc);
1741 int size = bfd_get_reloc_size (reloc_howto);
1742 char *where;
1743
1744 if (size > lpe->nbytes)
1745 as_bad (_("%s relocations do not fit in %d bytes"),
1746 reloc_howto->name, lpe->nbytes);
1747 where = frag_more (lpe->nbytes);
1748 md_number_to_chars (where, 0, size);
1749 fix_new_exp (frag_now, where - frag_now->fr_literal,
1750 size, &lpe->ex, reloc_howto->pc_relative, lpe->reloc);
1751 }
1752 else
1753 {
1754 if (lpe->ex.X_op == O_big)
1755 {
1756 if (lpe->ex.X_add_number <= 0)
1757 generic_floating_point_number = lpe->floatnum;
1758 else
1759 memcpy (generic_bignum, lpe->bignum,
1760 lpe->ex.X_add_number * sizeof (LITTLENUM_TYPE));
1761 }
1762 emit_expr (&lpe->ex, lpe->nbytes);
1763 }
1764
1765 lpe->next = lpe_free_list;
1766 lpe_free_list = lpe;
1767 }
1768 lpe_list_tail = NULL;
1769 lp_sym = NULL;
1770 lp_count++;
1771 lpe_count = 0;
1772 }
1773
1774 /* The .machine pseudo op allows to switch to a different CPU level in
1775 the asm listing. The current CPU setting can be stored on a stack
1776 with .machine push and restored with .machine pop. */
1777
1778 static void
1779 s390_machine (int ignore ATTRIBUTE_UNUSED)
1780 {
1781 char *cpu_string;
1782 #define MAX_HISTORY 100
1783 static unsigned int *cpu_history;
1784 static int curr_hist;
1785
1786 SKIP_WHITESPACE ();
1787
1788 if (*input_line_pointer == '"')
1789 {
1790 int len;
1791 cpu_string = demand_copy_C_string (&len);
1792 }
1793 else
1794 {
1795 char c;
1796 c = get_symbol_name (&cpu_string);
1797 cpu_string = xstrdup (cpu_string);
1798 (void) restore_line_pointer (c);
1799 }
1800
1801 if (cpu_string != NULL)
1802 {
1803 unsigned int old_cpu = current_cpu;
1804 unsigned int new_cpu;
1805
1806 if (strcmp (cpu_string, "push") == 0)
1807 {
1808 if (cpu_history == NULL)
1809 cpu_history = xmalloc (MAX_HISTORY * sizeof (*cpu_history));
1810
1811 if (curr_hist >= MAX_HISTORY)
1812 as_bad (_(".machine stack overflow"));
1813 else
1814 cpu_history[curr_hist++] = current_cpu;
1815 }
1816 else if (strcmp (cpu_string, "pop") == 0)
1817 {
1818 if (curr_hist <= 0)
1819 as_bad (_(".machine stack underflow"));
1820 else
1821 current_cpu = cpu_history[--curr_hist];
1822 }
1823 else if ((new_cpu = s390_parse_cpu (cpu_string)) != (unsigned int)-1)
1824 current_cpu = new_cpu;
1825 else
1826 as_bad (_("invalid machine `%s'"), cpu_string);
1827
1828 if (current_cpu != old_cpu)
1829 s390_setup_opcodes ();
1830 }
1831
1832 demand_empty_rest_of_line ();
1833 }
1834
1835 /* The .machinemode pseudo op allows to switch to a different
1836 architecture mode in the asm listing. The current architecture
1837 mode setting can be stored on a stack with .machinemode push and
1838 restored with .machinemode pop. */
1839
1840 static void
1841 s390_machinemode (int ignore ATTRIBUTE_UNUSED)
1842 {
1843 char *mode_string;
1844 #define MAX_HISTORY 100
1845 static unsigned int *mode_history;
1846 static int curr_hist;
1847
1848 SKIP_WHITESPACE ();
1849
1850 {
1851 char c;
1852
1853 c = get_symbol_name (&mode_string);
1854 mode_string = xstrdup (mode_string);
1855 (void) restore_line_pointer (c);
1856 }
1857
1858 if (mode_string != NULL)
1859 {
1860 unsigned int old_mode_mask = current_mode_mask;
1861 char *p;
1862
1863 for (p = mode_string; *p != 0; p++)
1864 *p = TOLOWER (*p);
1865
1866 if (strcmp (mode_string, "push") == 0)
1867 {
1868 if (mode_history == NULL)
1869 mode_history = xmalloc (MAX_HISTORY * sizeof (*mode_history));
1870
1871 if (curr_hist >= MAX_HISTORY)
1872 as_bad (_(".machinemode stack overflow"));
1873 else
1874 mode_history[curr_hist++] = current_mode_mask;
1875 }
1876 else if (strcmp (mode_string, "pop") == 0)
1877 {
1878 if (curr_hist <= 0)
1879 as_bad (_(".machinemode stack underflow"));
1880 else
1881 current_mode_mask = mode_history[--curr_hist];
1882 }
1883 else
1884 {
1885 if (strcmp (mode_string, "esa") == 0)
1886 current_mode_mask = 1 << S390_OPCODE_ESA;
1887 else if (strcmp (mode_string, "zarch") == 0)
1888 {
1889 if (s390_arch_size == 32)
1890 set_highgprs_p = TRUE;
1891 current_mode_mask = 1 << S390_OPCODE_ZARCH;
1892 }
1893 else if (strcmp (mode_string, "zarch_nohighgprs") == 0)
1894 current_mode_mask = 1 << S390_OPCODE_ZARCH;
1895 else
1896 as_bad (_("invalid machine `%s'"), mode_string);
1897 }
1898
1899 if (current_mode_mask != old_mode_mask)
1900 s390_setup_opcodes ();
1901 }
1902
1903 demand_empty_rest_of_line ();
1904 }
1905
1906 char *
1907 md_atof (int type, char *litp, int *sizep)
1908 {
1909 return ieee_md_atof (type, litp, sizep, TRUE);
1910 }
1911
1912 /* Align a section (I don't know why this is machine dependent). */
1913
1914 valueT
1915 md_section_align (asection *seg, valueT addr)
1916 {
1917 int align = bfd_get_section_alignment (stdoutput, seg);
1918
1919 return ((addr + (1 << align) - 1) & (-1 << align));
1920 }
1921
1922 /* We don't have any form of relaxing. */
1923
1924 int
1925 md_estimate_size_before_relax (fragS *fragp ATTRIBUTE_UNUSED,
1926 asection *seg ATTRIBUTE_UNUSED)
1927 {
1928 abort ();
1929 return 0;
1930 }
1931
1932 /* Convert a machine dependent frag. We never generate these. */
1933
1934 void
1935 md_convert_frag (bfd *abfd ATTRIBUTE_UNUSED,
1936 asection *sec ATTRIBUTE_UNUSED,
1937 fragS *fragp ATTRIBUTE_UNUSED)
1938 {
1939 abort ();
1940 }
1941
1942 symbolS *
1943 md_undefined_symbol (char *name)
1944 {
1945 if (*name == '_' && *(name + 1) == 'G'
1946 && strcmp (name, "_GLOBAL_OFFSET_TABLE_") == 0)
1947 {
1948 if (!GOT_symbol)
1949 {
1950 if (symbol_find (name))
1951 as_bad (_("GOT already in symbol table"));
1952 GOT_symbol = symbol_new (name, undefined_section,
1953 (valueT) 0, &zero_address_frag);
1954 }
1955 return GOT_symbol;
1956 }
1957 return 0;
1958 }
1959
1960 /* Functions concerning relocs. */
1961
1962 /* The location from which a PC relative jump should be calculated,
1963 given a PC relative reloc. */
1964
1965 long
1966 md_pcrel_from_section (fixS *fixp, segT sec ATTRIBUTE_UNUSED)
1967 {
1968 return fixp->fx_frag->fr_address + fixp->fx_where;
1969 }
1970
1971 /* Here we decide which fixups can be adjusted to make them relative to
1972 the beginning of the section instead of the symbol. Basically we need
1973 to make sure that the dynamic relocations are done correctly, so in
1974 some cases we force the original symbol to be used. */
1975 int
1976 tc_s390_fix_adjustable (fixS *fixP)
1977 {
1978 /* Don't adjust references to merge sections. */
1979 if ((S_GET_SEGMENT (fixP->fx_addsy)->flags & SEC_MERGE) != 0)
1980 return 0;
1981 /* adjust_reloc_syms doesn't know about the GOT. */
1982 if ( fixP->fx_r_type == BFD_RELOC_16_GOTOFF
1983 || fixP->fx_r_type == BFD_RELOC_32_GOTOFF
1984 || fixP->fx_r_type == BFD_RELOC_390_GOTOFF64
1985 || fixP->fx_r_type == BFD_RELOC_390_PLTOFF16
1986 || fixP->fx_r_type == BFD_RELOC_390_PLTOFF32
1987 || fixP->fx_r_type == BFD_RELOC_390_PLTOFF64
1988 || fixP->fx_r_type == BFD_RELOC_390_PLT12DBL
1989 || fixP->fx_r_type == BFD_RELOC_390_PLT16DBL
1990 || fixP->fx_r_type == BFD_RELOC_390_PLT24DBL
1991 || fixP->fx_r_type == BFD_RELOC_390_PLT32
1992 || fixP->fx_r_type == BFD_RELOC_390_PLT32DBL
1993 || fixP->fx_r_type == BFD_RELOC_390_PLT64
1994 || fixP->fx_r_type == BFD_RELOC_390_GOT12
1995 || fixP->fx_r_type == BFD_RELOC_390_GOT20
1996 || fixP->fx_r_type == BFD_RELOC_390_GOT16
1997 || fixP->fx_r_type == BFD_RELOC_32_GOT_PCREL
1998 || fixP->fx_r_type == BFD_RELOC_390_GOT64
1999 || fixP->fx_r_type == BFD_RELOC_390_GOTENT
2000 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT12
2001 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT16
2002 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT20
2003 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT32
2004 || fixP->fx_r_type == BFD_RELOC_390_GOTPLT64
2005 || fixP->fx_r_type == BFD_RELOC_390_GOTPLTENT
2006 || fixP->fx_r_type == BFD_RELOC_390_TLS_LOAD
2007 || fixP->fx_r_type == BFD_RELOC_390_TLS_GDCALL
2008 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDCALL
2009 || fixP->fx_r_type == BFD_RELOC_390_TLS_GD32
2010 || fixP->fx_r_type == BFD_RELOC_390_TLS_GD64
2011 || fixP->fx_r_type == BFD_RELOC_390_TLS_GOTIE12
2012 || fixP->fx_r_type == BFD_RELOC_390_TLS_GOTIE20
2013 || fixP->fx_r_type == BFD_RELOC_390_TLS_GOTIE32
2014 || fixP->fx_r_type == BFD_RELOC_390_TLS_GOTIE64
2015 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDM32
2016 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDM64
2017 || fixP->fx_r_type == BFD_RELOC_390_TLS_IE32
2018 || fixP->fx_r_type == BFD_RELOC_390_TLS_IE64
2019 || fixP->fx_r_type == BFD_RELOC_390_TLS_IEENT
2020 || fixP->fx_r_type == BFD_RELOC_390_TLS_LE32
2021 || fixP->fx_r_type == BFD_RELOC_390_TLS_LE64
2022 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDO32
2023 || fixP->fx_r_type == BFD_RELOC_390_TLS_LDO64
2024 || fixP->fx_r_type == BFD_RELOC_390_TLS_DTPMOD
2025 || fixP->fx_r_type == BFD_RELOC_390_TLS_DTPOFF
2026 || fixP->fx_r_type == BFD_RELOC_390_TLS_TPOFF
2027 || fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT
2028 || fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY)
2029 return 0;
2030 return 1;
2031 }
2032
2033 /* Return true if we must always emit a reloc for a type and false if
2034 there is some hope of resolving it at assembly time. */
2035 int
2036 tc_s390_force_relocation (struct fix *fixp)
2037 {
2038 /* Ensure we emit a relocation for every reference to the global
2039 offset table or to the procedure link table. */
2040 switch (fixp->fx_r_type)
2041 {
2042 case BFD_RELOC_390_GOT12:
2043 case BFD_RELOC_390_GOT20:
2044 case BFD_RELOC_32_GOT_PCREL:
2045 case BFD_RELOC_32_GOTOFF:
2046 case BFD_RELOC_390_GOTOFF64:
2047 case BFD_RELOC_390_PLTOFF16:
2048 case BFD_RELOC_390_PLTOFF32:
2049 case BFD_RELOC_390_PLTOFF64:
2050 case BFD_RELOC_390_GOTPC:
2051 case BFD_RELOC_390_GOT16:
2052 case BFD_RELOC_390_GOTPCDBL:
2053 case BFD_RELOC_390_GOT64:
2054 case BFD_RELOC_390_GOTENT:
2055 case BFD_RELOC_390_PLT32:
2056 case BFD_RELOC_390_PLT12DBL:
2057 case BFD_RELOC_390_PLT16DBL:
2058 case BFD_RELOC_390_PLT24DBL:
2059 case BFD_RELOC_390_PLT32DBL:
2060 case BFD_RELOC_390_PLT64:
2061 case BFD_RELOC_390_GOTPLT12:
2062 case BFD_RELOC_390_GOTPLT16:
2063 case BFD_RELOC_390_GOTPLT20:
2064 case BFD_RELOC_390_GOTPLT32:
2065 case BFD_RELOC_390_GOTPLT64:
2066 case BFD_RELOC_390_GOTPLTENT:
2067 return 1;
2068 default:
2069 break;
2070 }
2071
2072 return generic_force_reloc (fixp);
2073 }
2074
2075 /* Apply a fixup to the object code. This is called for all the
2076 fixups we generated by the call to fix_new_exp, above. In the call
2077 above we used a reloc code which was the largest legal reloc code
2078 plus the operand index. Here we undo that to recover the operand
2079 index. At this point all symbol values should be fully resolved,
2080 and we attempt to completely resolve the reloc. If we can not do
2081 that, we determine the correct reloc code and put it back in the
2082 fixup. */
2083
2084 void
2085 md_apply_fix (fixS *fixP, valueT *valP, segT seg ATTRIBUTE_UNUSED)
2086 {
2087 char *where;
2088 valueT value = *valP;
2089
2090 where = fixP->fx_frag->fr_literal + fixP->fx_where;
2091
2092 if (fixP->fx_subsy != NULL)
2093 as_bad_where (fixP->fx_file, fixP->fx_line,
2094 _("cannot emit relocation %s against subsy symbol %s"),
2095 bfd_get_reloc_code_name (fixP->fx_r_type),
2096 S_GET_NAME (fixP->fx_subsy));
2097
2098 if (fixP->fx_addsy != NULL)
2099 {
2100 if (fixP->fx_pcrel)
2101 value += fixP->fx_frag->fr_address + fixP->fx_where;
2102 }
2103 else
2104 fixP->fx_done = 1;
2105
2106 if ((int) fixP->fx_r_type >= (int) BFD_RELOC_UNUSED)
2107 {
2108 const struct s390_operand *operand;
2109 int opindex;
2110
2111 opindex = (int) fixP->fx_r_type - (int) BFD_RELOC_UNUSED;
2112 operand = &s390_operands[opindex];
2113
2114 if (fixP->fx_done)
2115 {
2116 /* Insert the fully resolved operand value. */
2117 s390_insert_operand ((unsigned char *) where, operand,
2118 (offsetT) value, fixP->fx_file, fixP->fx_line);
2119 return;
2120 }
2121
2122 /* Determine a BFD reloc value based on the operand information.
2123 We are only prepared to turn a few of the operands into
2124 relocs. */
2125 fixP->fx_offset = value;
2126 if (operand->bits == 12 && operand->shift == 20)
2127 {
2128 fixP->fx_size = 2;
2129 fixP->fx_where += 2;
2130 fixP->fx_r_type = BFD_RELOC_390_12;
2131 }
2132 else if (operand->bits == 12 && operand->shift == 36)
2133 {
2134 fixP->fx_size = 2;
2135 fixP->fx_where += 4;
2136 fixP->fx_r_type = BFD_RELOC_390_12;
2137 }
2138 else if (operand->bits == 20 && operand->shift == 20)
2139 {
2140 fixP->fx_size = 2;
2141 fixP->fx_where += 2;
2142 fixP->fx_r_type = BFD_RELOC_390_20;
2143 }
2144 else if (operand->bits == 8 && operand->shift == 8)
2145 {
2146 fixP->fx_size = 1;
2147 fixP->fx_where += 1;
2148 fixP->fx_r_type = BFD_RELOC_8;
2149 }
2150 else if (operand->bits == 12 && operand->shift == 12
2151 && (operand->flags & S390_OPERAND_PCREL))
2152 {
2153 fixP->fx_size = 2;
2154 fixP->fx_where += 1;
2155 fixP->fx_offset += 1;
2156 fixP->fx_r_type = BFD_RELOC_390_PC12DBL;
2157 }
2158 else if (operand->bits == 16 && operand->shift == 16)
2159 {
2160 fixP->fx_size = 2;
2161 fixP->fx_where += 2;
2162 if (operand->flags & S390_OPERAND_PCREL)
2163 {
2164 fixP->fx_r_type = BFD_RELOC_390_PC16DBL;
2165 fixP->fx_offset += 2;
2166 }
2167 else
2168 fixP->fx_r_type = BFD_RELOC_16;
2169 }
2170 else if (operand->bits == 24 && operand->shift == 24
2171 && (operand->flags & S390_OPERAND_PCREL))
2172 {
2173 fixP->fx_size = 3;
2174 fixP->fx_where += 3;
2175 fixP->fx_offset += 3;
2176 fixP->fx_r_type = BFD_RELOC_390_PC24DBL;
2177 }
2178 else if (operand->bits == 32 && operand->shift == 16
2179 && (operand->flags & S390_OPERAND_PCREL))
2180 {
2181 fixP->fx_size = 4;
2182 fixP->fx_where += 2;
2183 fixP->fx_offset += 2;
2184 fixP->fx_r_type = BFD_RELOC_390_PC32DBL;
2185 }
2186 else
2187 {
2188 char *sfile;
2189 unsigned int sline;
2190
2191 /* Use expr_symbol_where to see if this is an expression
2192 symbol. */
2193 if (expr_symbol_where (fixP->fx_addsy, &sfile, &sline))
2194 as_bad_where (fixP->fx_file, fixP->fx_line,
2195 _("unresolved expression that must be resolved"));
2196 else
2197 as_bad_where (fixP->fx_file, fixP->fx_line,
2198 _("unsupported relocation type"));
2199 fixP->fx_done = 1;
2200 return;
2201 }
2202 }
2203 else
2204 {
2205 switch (fixP->fx_r_type)
2206 {
2207 case BFD_RELOC_8:
2208 if (fixP->fx_pcrel)
2209 abort ();
2210 if (fixP->fx_done)
2211 md_number_to_chars (where, value, 1);
2212 break;
2213 case BFD_RELOC_390_12:
2214 case BFD_RELOC_390_GOT12:
2215 case BFD_RELOC_390_GOTPLT12:
2216 case BFD_RELOC_390_PC12DBL:
2217 case BFD_RELOC_390_PLT12DBL:
2218 if (fixP->fx_pcrel)
2219 value++;
2220
2221 if (fixP->fx_done)
2222 {
2223 unsigned short mop;
2224
2225 if (fixP->fx_pcrel)
2226 value >>= 1;
2227
2228 mop = bfd_getb16 ((unsigned char *) where);
2229 mop |= (unsigned short) (value & 0xfff);
2230 bfd_putb16 ((bfd_vma) mop, (unsigned char *) where);
2231 }
2232 break;
2233
2234 case BFD_RELOC_390_20:
2235 case BFD_RELOC_390_GOT20:
2236 case BFD_RELOC_390_GOTPLT20:
2237 if (fixP->fx_done)
2238 {
2239 unsigned int mop;
2240 mop = bfd_getb32 ((unsigned char *) where);
2241 mop |= (unsigned int) ((value & 0xfff) << 8 |
2242 (value & 0xff000) >> 12);
2243 bfd_putb32 ((bfd_vma) mop, (unsigned char *) where);
2244 }
2245 break;
2246
2247 case BFD_RELOC_16:
2248 case BFD_RELOC_GPREL16:
2249 case BFD_RELOC_16_GOT_PCREL:
2250 case BFD_RELOC_16_GOTOFF:
2251 if (fixP->fx_pcrel)
2252 as_bad_where (fixP->fx_file, fixP->fx_line,
2253 _("cannot emit PC relative %s relocation%s%s"),
2254 bfd_get_reloc_code_name (fixP->fx_r_type),
2255 fixP->fx_addsy != NULL ? " against " : "",
2256 (fixP->fx_addsy != NULL
2257 ? S_GET_NAME (fixP->fx_addsy)
2258 : ""));
2259 if (fixP->fx_done)
2260 md_number_to_chars (where, value, 2);
2261 break;
2262 case BFD_RELOC_390_GOT16:
2263 case BFD_RELOC_390_PLTOFF16:
2264 case BFD_RELOC_390_GOTPLT16:
2265 if (fixP->fx_done)
2266 md_number_to_chars (where, value, 2);
2267 break;
2268 case BFD_RELOC_390_PC16DBL:
2269 case BFD_RELOC_390_PLT16DBL:
2270 value += 2;
2271 if (fixP->fx_done)
2272 md_number_to_chars (where, (offsetT) value >> 1, 2);
2273 break;
2274
2275 case BFD_RELOC_390_PC24DBL:
2276 case BFD_RELOC_390_PLT24DBL:
2277 value += 3;
2278 if (fixP->fx_done)
2279 {
2280 unsigned int mop;
2281 value >>= 1;
2282
2283 mop = bfd_getb32 ((unsigned char *) where - 1);
2284 mop |= (unsigned int) (value & 0xffffff);
2285 bfd_putb32 ((bfd_vma) mop, (unsigned char *) where - 1);
2286 }
2287 break;
2288
2289 case BFD_RELOC_32:
2290 if (fixP->fx_pcrel)
2291 fixP->fx_r_type = BFD_RELOC_32_PCREL;
2292 else
2293 fixP->fx_r_type = BFD_RELOC_32;
2294 if (fixP->fx_done)
2295 md_number_to_chars (where, value, 4);
2296 break;
2297 case BFD_RELOC_32_PCREL:
2298 case BFD_RELOC_32_BASEREL:
2299 fixP->fx_r_type = BFD_RELOC_32_PCREL;
2300 if (fixP->fx_done)
2301 md_number_to_chars (where, value, 4);
2302 break;
2303 case BFD_RELOC_32_GOT_PCREL:
2304 case BFD_RELOC_390_PLTOFF32:
2305 case BFD_RELOC_390_PLT32:
2306 case BFD_RELOC_390_GOTPLT32:
2307 if (fixP->fx_done)
2308 md_number_to_chars (where, value, 4);
2309 break;
2310 case BFD_RELOC_390_PC32DBL:
2311 case BFD_RELOC_390_PLT32DBL:
2312 case BFD_RELOC_390_GOTPCDBL:
2313 case BFD_RELOC_390_GOTENT:
2314 case BFD_RELOC_390_GOTPLTENT:
2315 value += 2;
2316 if (fixP->fx_done)
2317 md_number_to_chars (where, (offsetT) value >> 1, 4);
2318 break;
2319
2320 case BFD_RELOC_32_GOTOFF:
2321 if (fixP->fx_done)
2322 md_number_to_chars (where, value, sizeof (int));
2323 break;
2324
2325 case BFD_RELOC_390_GOTOFF64:
2326 if (fixP->fx_done)
2327 md_number_to_chars (where, value, 8);
2328 break;
2329
2330 case BFD_RELOC_390_GOT64:
2331 case BFD_RELOC_390_PLTOFF64:
2332 case BFD_RELOC_390_PLT64:
2333 case BFD_RELOC_390_GOTPLT64:
2334 if (fixP->fx_done)
2335 md_number_to_chars (where, value, 8);
2336 break;
2337
2338 case BFD_RELOC_64:
2339 if (fixP->fx_pcrel)
2340 fixP->fx_r_type = BFD_RELOC_64_PCREL;
2341 else
2342 fixP->fx_r_type = BFD_RELOC_64;
2343 if (fixP->fx_done)
2344 md_number_to_chars (where, value, 8);
2345 break;
2346
2347 case BFD_RELOC_64_PCREL:
2348 fixP->fx_r_type = BFD_RELOC_64_PCREL;
2349 if (fixP->fx_done)
2350 md_number_to_chars (where, value, 8);
2351 break;
2352
2353 case BFD_RELOC_VTABLE_INHERIT:
2354 case BFD_RELOC_VTABLE_ENTRY:
2355 fixP->fx_done = 0;
2356 return;
2357
2358 case BFD_RELOC_390_TLS_LOAD:
2359 case BFD_RELOC_390_TLS_GDCALL:
2360 case BFD_RELOC_390_TLS_LDCALL:
2361 case BFD_RELOC_390_TLS_GD32:
2362 case BFD_RELOC_390_TLS_GD64:
2363 case BFD_RELOC_390_TLS_GOTIE12:
2364 case BFD_RELOC_390_TLS_GOTIE20:
2365 case BFD_RELOC_390_TLS_GOTIE32:
2366 case BFD_RELOC_390_TLS_GOTIE64:
2367 case BFD_RELOC_390_TLS_LDM32:
2368 case BFD_RELOC_390_TLS_LDM64:
2369 case BFD_RELOC_390_TLS_IE32:
2370 case BFD_RELOC_390_TLS_IE64:
2371 case BFD_RELOC_390_TLS_LE32:
2372 case BFD_RELOC_390_TLS_LE64:
2373 case BFD_RELOC_390_TLS_LDO32:
2374 case BFD_RELOC_390_TLS_LDO64:
2375 case BFD_RELOC_390_TLS_DTPMOD:
2376 case BFD_RELOC_390_TLS_DTPOFF:
2377 case BFD_RELOC_390_TLS_TPOFF:
2378 S_SET_THREAD_LOCAL (fixP->fx_addsy);
2379 /* Fully resolved at link time. */
2380 break;
2381 case BFD_RELOC_390_TLS_IEENT:
2382 /* Fully resolved at link time. */
2383 S_SET_THREAD_LOCAL (fixP->fx_addsy);
2384 value += 2;
2385 break;
2386
2387 default:
2388 {
2389 const char *reloc_name = bfd_get_reloc_code_name (fixP->fx_r_type);
2390
2391 if (reloc_name != NULL)
2392 as_fatal (_("Gas failure, reloc type %s\n"), reloc_name);
2393 else
2394 as_fatal (_("Gas failure, reloc type #%i\n"), fixP->fx_r_type);
2395 }
2396 }
2397
2398 fixP->fx_offset = value;
2399 }
2400 }
2401
2402 /* Generate a reloc for a fixup. */
2403
2404 arelent *
2405 tc_gen_reloc (asection *seg ATTRIBUTE_UNUSED, fixS *fixp)
2406 {
2407 bfd_reloc_code_real_type code;
2408 arelent *reloc;
2409
2410 code = fixp->fx_r_type;
2411 if (GOT_symbol && fixp->fx_addsy == GOT_symbol)
2412 {
2413 if ( (s390_arch_size == 32 && code == BFD_RELOC_32_PCREL)
2414 || (s390_arch_size == 64 && code == BFD_RELOC_64_PCREL))
2415 code = BFD_RELOC_390_GOTPC;
2416 if (code == BFD_RELOC_390_PC32DBL)
2417 code = BFD_RELOC_390_GOTPCDBL;
2418 }
2419
2420 reloc = (arelent *) xmalloc (sizeof (arelent));
2421 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
2422 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixp->fx_addsy);
2423 reloc->address = fixp->fx_frag->fr_address + fixp->fx_where;
2424 reloc->howto = bfd_reloc_type_lookup (stdoutput, code);
2425 if (reloc->howto == NULL)
2426 {
2427 as_bad_where (fixp->fx_file, fixp->fx_line,
2428 _("cannot represent relocation type %s"),
2429 bfd_get_reloc_code_name (code));
2430 /* Set howto to a garbage value so that we can keep going. */
2431 reloc->howto = bfd_reloc_type_lookup (stdoutput, BFD_RELOC_32);
2432 gas_assert (reloc->howto != NULL);
2433 }
2434 reloc->addend = fixp->fx_offset;
2435
2436 return reloc;
2437 }
2438
2439 void
2440 s390_cfi_frame_initial_instructions (void)
2441 {
2442 cfi_add_CFA_def_cfa (15, s390_arch_size == 64 ? 160 : 96);
2443 }
2444
2445 int
2446 tc_s390_regname_to_dw2regnum (char *regname)
2447 {
2448 int regnum = -1;
2449
2450 if (regname[0] != 'c' && regname[0] != 'a')
2451 {
2452 regnum = reg_name_search (regname);
2453 if (regname[0] == 'f' && regnum != -1)
2454 regnum += 16;
2455 }
2456 else if (strcmp (regname, "ap") == 0)
2457 regnum = 32;
2458 else if (strcmp (regname, "cc") == 0)
2459 regnum = 33;
2460 return regnum;
2461 }
2462
2463 void
2464 s390_elf_final_processing (void)
2465 {
2466 if (set_highgprs_p)
2467 elf_elfheader (stdoutput)->e_flags |= EF_S390_HIGH_GPRS;
2468 }
This page took 0.096176 seconds and 4 git commands to generate.