daily update
[binutils.git] / gas / config / tc-m32r.c
blob7b01516c71f455955781b58c8770e296607df090
1 /* tc-m32r.c -- Assembler for the Renesas M32R.
2 Copyright 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004
3 Free Software Foundation, Inc.
5 This file is part of GAS, the GNU Assembler.
7 GAS is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
12 GAS is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
22 #include <stdio.h>
23 #include "as.h"
24 #include "safe-ctype.h"
25 #include "subsegs.h"
26 #include "symcat.h"
27 #include "opcodes/m32r-desc.h"
28 #include "opcodes/m32r-opc.h"
29 #include "cgen.h"
30 #include "elf/m32r.h"
32 /* Linked list of symbols that are debugging symbols to be defined as the
33 beginning of the current instruction. */
34 typedef struct sym_link
36 struct sym_link *next;
37 symbolS *symbol;
38 } sym_linkS;
40 static sym_linkS *debug_sym_link = (sym_linkS *) 0;
42 /* Structure to hold all of the different components describing
43 an individual instruction. */
44 typedef struct
46 const CGEN_INSN *insn;
47 const CGEN_INSN *orig_insn;
48 CGEN_FIELDS fields;
49 #if CGEN_INT_INSN_P
50 CGEN_INSN_INT buffer[1];
51 #define INSN_VALUE(buf) (*(buf))
52 #else
53 unsigned char buffer[CGEN_MAX_INSN_SIZE];
54 #define INSN_VALUE(buf) (buf)
55 #endif
56 char *addr;
57 fragS *frag;
58 int num_fixups;
59 fixS *fixups[GAS_CGEN_MAX_FIXUPS];
60 int indices[MAX_OPERAND_INSTANCES];
61 sym_linkS *debug_sym_link;
63 m32r_insn;
65 /* prev_insn.insn is non-null if last insn was a 16 bit insn on a 32 bit
66 boundary (i.e. was the first of two 16 bit insns). */
67 static m32r_insn prev_insn;
69 /* Non-zero if we've seen a relaxable insn since the last 32 bit
70 alignment request. */
71 static int seen_relaxable_p = 0;
73 /* Non-zero if we are generating PIC code. */
74 int pic_code;
76 /* Non-zero if -relax specified, in which case sufficient relocs are output
77 for the linker to do relaxing.
78 We do simple forms of relaxing internally, but they are always done.
79 This flag does not apply to them. */
80 static int m32r_relax;
82 #if 0
83 /* Not supported yet. */
84 /* If non-NULL, pointer to cpu description file to read.
85 This allows runtime additions to the assembler. */
86 static const char *m32r_cpu_desc;
87 #endif
89 /* Non-zero if warn when a high/shigh reloc has no matching low reloc.
90 Each high/shigh reloc must be paired with it's low cousin in order to
91 properly calculate the addend in a relocatable link (since there is a
92 potential carry from the low to the high/shigh).
93 This option is off by default though for user-written assembler code it
94 might make sense to make the default be on (i.e. have gcc pass a flag
95 to turn it off). This warning must not be on for GCC created code as
96 optimization may delete the low but not the high/shigh (at least we
97 shouldn't assume or require it to). */
98 static int warn_unmatched_high = 0;
100 /* 1 if -m32rx has been specified, in which case support for
101 the extended M32RX instruction set should be enabled.
102 2 if -m32r2 has been specified, in which case support for
103 the extended M32R2 instruction set should be enabled. */
104 static int enable_m32rx = 0; /* Default to M32R. */
106 /* Non-zero if -m32rx -hidden has been specified, in which case support for
107 the special M32RX instruction set should be enabled. */
108 static int enable_special = 0;
110 /* Non-zero if -bitinst has been specified, in which case support
111 for extended M32R bit-field instruction set should be enabled. */
112 static int enable_special_m32r = 1;
114 /* Non-zero if -float has been specified, in which case support for
115 extended M32R floating point instruction set should be enabled. */
116 static int enable_special_float = 0;
118 /* Non-zero if the programmer should be warned when an explicit parallel
119 instruction might have constraint violations. */
120 static int warn_explicit_parallel_conflicts = 1;
122 /* Non-zero if the programmer should not receive any messages about
123 parallel instruction with potential or real constraint violations.
124 The ability to suppress these messages is intended only for hardware
125 vendors testing the chip. It superceedes
126 warn_explicit_parallel_conflicts. */
127 static int ignore_parallel_conflicts = 0;
129 /* Non-zero if insns can be made parallel. */
130 static int use_parallel = 1;
132 /* Non-zero if optimizations should be performed. */
133 static int optimize;
135 /* m32r er_flags. */
136 static int m32r_flags = 0;
138 /* Stuff for .scomm symbols. */
139 static segT sbss_section;
140 static asection scom_section;
141 static asymbol scom_symbol;
143 const char comment_chars[] = ";";
144 const char line_comment_chars[] = "#";
145 const char line_separator_chars[] = "!";
146 const char EXP_CHARS[] = "eE";
147 const char FLT_CHARS[] = "dD";
149 /* Relocations against symbols are done in two
150 parts, with a HI relocation and a LO relocation. Each relocation
151 has only 16 bits of space to store an addend. This means that in
152 order for the linker to handle carries correctly, it must be able
153 to locate both the HI and the LO relocation. This means that the
154 relocations must appear in order in the relocation table.
156 In order to implement this, we keep track of each unmatched HI
157 relocation. We then sort them so that they immediately precede the
158 corresponding LO relocation. */
160 struct m32r_hi_fixup
162 /* Next HI fixup. */
163 struct m32r_hi_fixup *next;
165 /* This fixup. */
166 fixS *fixp;
168 /* The section this fixup is in. */
169 segT seg;
172 /* The list of unmatched HI relocs. */
174 static struct m32r_hi_fixup *m32r_hi_fixup_list;
176 struct {
177 enum bfd_architecture bfd_mach;
178 int mach_flags;
179 } mach_table[] =
181 { bfd_mach_m32r, (1<<MACH_M32R) },
182 { bfd_mach_m32rx, (1<<MACH_M32RX) },
183 { bfd_mach_m32r2, (1<<MACH_M32R2) }
186 static void allow_m32rx (int);
188 static void
189 allow_m32rx (int on)
191 enable_m32rx = on;
193 if (stdoutput != NULL)
194 bfd_set_arch_mach (stdoutput, TARGET_ARCH, mach_table[on].bfd_mach);
196 if (gas_cgen_cpu_desc != NULL)
197 gas_cgen_cpu_desc->machs = mach_table[on].mach_flags;
200 #define M32R_SHORTOPTS "O::K:"
202 const char *md_shortopts = M32R_SHORTOPTS;
204 struct option md_longopts[] =
206 #define OPTION_M32R (OPTION_MD_BASE)
207 #define OPTION_M32RX (OPTION_M32R + 1)
208 #define OPTION_M32R2 (OPTION_M32RX + 1)
209 #define OPTION_BIG (OPTION_M32R2 + 1)
210 #define OPTION_LITTLE (OPTION_BIG + 1)
211 #define OPTION_PARALLEL (OPTION_LITTLE + 1)
212 #define OPTION_NO_PARALLEL (OPTION_PARALLEL + 1)
213 #define OPTION_WARN_PARALLEL (OPTION_NO_PARALLEL + 1)
214 #define OPTION_NO_WARN_PARALLEL (OPTION_WARN_PARALLEL + 1)
215 #define OPTION_IGNORE_PARALLEL (OPTION_NO_WARN_PARALLEL + 1)
216 #define OPTION_NO_IGNORE_PARALLEL (OPTION_IGNORE_PARALLEL + 1)
217 #define OPTION_SPECIAL (OPTION_NO_IGNORE_PARALLEL + 1)
218 #define OPTION_SPECIAL_M32R (OPTION_SPECIAL + 1)
219 #define OPTION_NO_SPECIAL_M32R (OPTION_SPECIAL_M32R + 1)
220 #define OPTION_SPECIAL_FLOAT (OPTION_NO_SPECIAL_M32R + 1)
221 #define OPTION_WARN_UNMATCHED (OPTION_SPECIAL_FLOAT + 1)
222 #define OPTION_NO_WARN_UNMATCHED (OPTION_WARN_UNMATCHED + 1)
223 {"m32r", no_argument, NULL, OPTION_M32R},
224 {"m32rx", no_argument, NULL, OPTION_M32RX},
225 {"m32r2", no_argument, NULL, OPTION_M32R2},
226 {"big", no_argument, NULL, OPTION_BIG},
227 {"little", no_argument, NULL, OPTION_LITTLE},
228 {"EB", no_argument, NULL, OPTION_BIG},
229 {"EL", no_argument, NULL, OPTION_LITTLE},
230 {"parallel", no_argument, NULL, OPTION_PARALLEL},
231 {"no-parallel", no_argument, NULL, OPTION_NO_PARALLEL},
232 {"warn-explicit-parallel-conflicts", no_argument, NULL, OPTION_WARN_PARALLEL},
233 {"Wp", no_argument, NULL, OPTION_WARN_PARALLEL},
234 {"no-warn-explicit-parallel-conflicts", no_argument, NULL, OPTION_NO_WARN_PARALLEL},
235 {"Wnp", no_argument, NULL, OPTION_NO_WARN_PARALLEL},
236 {"ignore-parallel-conflicts", no_argument, NULL, OPTION_IGNORE_PARALLEL},
237 {"Ip", no_argument, NULL, OPTION_IGNORE_PARALLEL},
238 {"no-ignore-parallel-conflicts", no_argument, NULL, OPTION_NO_IGNORE_PARALLEL},
239 {"nIp", no_argument, NULL, OPTION_NO_IGNORE_PARALLEL},
240 {"hidden", no_argument, NULL, OPTION_SPECIAL},
241 {"bitinst", no_argument, NULL, OPTION_SPECIAL_M32R},
242 {"no-bitinst", no_argument, NULL, OPTION_NO_SPECIAL_M32R},
243 {"float", no_argument, NULL, OPTION_SPECIAL_FLOAT},
244 /* Sigh. I guess all warnings must now have both variants. */
245 {"warn-unmatched-high", no_argument, NULL, OPTION_WARN_UNMATCHED},
246 {"Wuh", no_argument, NULL, OPTION_WARN_UNMATCHED},
247 {"no-warn-unmatched-high", no_argument, NULL, OPTION_NO_WARN_UNMATCHED},
248 {"Wnuh", no_argument, NULL, OPTION_NO_WARN_UNMATCHED},
250 #if 0
251 /* Not supported yet. */
252 #define OPTION_RELAX (OPTION_NO_WARN_UNMATCHED + 1)
253 #define OPTION_CPU_DESC (OPTION_RELAX + 1)
254 {"relax", no_argument, NULL, OPTION_RELAX},
255 {"cpu-desc", required_argument, NULL, OPTION_CPU_DESC},
256 #endif
257 {NULL, no_argument, NULL, 0}
260 size_t md_longopts_size = sizeof (md_longopts);
262 static void little (int);
263 static int parallel (void);
265 static void
266 little (int on)
268 target_big_endian = ! on;
271 /* Use parallel execution. */
273 static int
274 parallel (void)
276 if (! enable_m32rx)
277 return 0;
279 if (use_parallel == 1)
280 return 1;
282 return 0;
286 md_parse_option (c, arg)
287 int c;
288 char *arg ATTRIBUTE_UNUSED;
290 switch (c)
292 case 'O':
293 optimize = 1;
294 use_parallel = 1;
295 break;
297 case OPTION_M32R:
298 allow_m32rx (0);
299 break;
301 case OPTION_M32RX:
302 allow_m32rx (1);
303 break;
305 case OPTION_M32R2:
306 allow_m32rx (2);
307 enable_special = 1;
308 enable_special_m32r = 1;
309 break;
311 case OPTION_BIG:
312 target_big_endian = 1;
313 break;
315 case OPTION_LITTLE:
316 target_big_endian = 0;
317 break;
319 case OPTION_PARALLEL:
320 use_parallel = 1;
321 break;
323 case OPTION_NO_PARALLEL:
324 use_parallel = 0;
325 break;
327 case OPTION_WARN_PARALLEL:
328 warn_explicit_parallel_conflicts = 1;
329 break;
331 case OPTION_NO_WARN_PARALLEL:
332 warn_explicit_parallel_conflicts = 0;
333 break;
335 case OPTION_IGNORE_PARALLEL:
336 ignore_parallel_conflicts = 1;
337 break;
339 case OPTION_NO_IGNORE_PARALLEL:
340 ignore_parallel_conflicts = 0;
341 break;
343 case OPTION_SPECIAL:
344 if (enable_m32rx)
345 enable_special = 1;
346 else
348 /* Pretend that we do not recognise this option. */
349 as_bad (_("Unrecognised option: -hidden"));
350 return 0;
352 break;
354 case OPTION_SPECIAL_M32R:
355 enable_special_m32r = 1;
356 break;
358 case OPTION_NO_SPECIAL_M32R:
359 enable_special_m32r = 0;
360 break;
362 case OPTION_SPECIAL_FLOAT:
363 enable_special_float = 1;
364 break;
366 case OPTION_WARN_UNMATCHED:
367 warn_unmatched_high = 1;
368 break;
370 case OPTION_NO_WARN_UNMATCHED:
371 warn_unmatched_high = 0;
372 break;
374 case 'K':
375 if (strcmp (arg, "PIC") != 0)
376 as_warn (_("Unrecognized option following -K"));
377 else
378 pic_code = 1;
379 break;
381 #if 0
382 /* Not supported yet. */
383 case OPTION_RELAX:
384 m32r_relax = 1;
385 break;
386 case OPTION_CPU_DESC:
387 m32r_cpu_desc = arg;
388 break;
389 #endif
391 default:
392 return 0;
395 return 1;
398 void
399 md_show_usage (stream)
400 FILE *stream;
402 fprintf (stream, _(" M32R specific command line options:\n"));
404 fprintf (stream, _("\
405 -m32r disable support for the m32rx instruction set\n"));
406 fprintf (stream, _("\
407 -m32rx support the extended m32rx instruction set\n"));
408 fprintf (stream, _("\
409 -m32r2 support the extended m32r2 instruction set\n"));
410 fprintf (stream, _("\
411 -EL,-little produce little endian code and data\n"));
412 fprintf (stream, _("\
413 -EB,-big produce big endian code and data\n"));
414 fprintf (stream, _("\
415 -parallel try to combine instructions in parallel\n"));
416 fprintf (stream, _("\
417 -no-parallel disable -parallel\n"));
418 fprintf (stream, _("\
419 -no-bitinst disallow the M32R2's extended bit-field instructions\n"));
420 fprintf (stream, _("\
421 -O try to optimize code. Implies -parallel\n"));
423 fprintf (stream, _("\
424 -warn-explicit-parallel-conflicts warn when parallel instructions\n"));
425 fprintf (stream, _("\
426 might violate contraints\n"));
427 fprintf (stream, _("\
428 -no-warn-explicit-parallel-conflicts do not warn when parallel\n"));
429 fprintf (stream, _("\
430 instructions might violate contraints\n"));
431 fprintf (stream, _("\
432 -Wp synonym for -warn-explicit-parallel-conflicts\n"));
433 fprintf (stream, _("\
434 -Wnp synonym for -no-warn-explicit-parallel-conflicts\n"));
435 fprintf (stream, _("\
436 -ignore-parallel-conflicts do not check parallel instructions\n"));
437 fprintf (stream, _("\
438 fo contraint violations\n"));
439 fprintf (stream, _("\
440 -no-ignore-parallel-conflicts check parallel instructions for\n"));
441 fprintf (stream, _("\
442 contraint violations\n"));
443 fprintf (stream, _("\
444 -Ip synonym for -ignore-parallel-conflicts\n"));
445 fprintf (stream, _("\
446 -nIp synonym for -no-ignore-parallel-conflicts\n"));
448 fprintf (stream, _("\
449 -warn-unmatched-high warn when an (s)high reloc has no matching low reloc\n"));
450 fprintf (stream, _("\
451 -no-warn-unmatched-high do not warn about missing low relocs\n"));
452 fprintf (stream, _("\
453 -Wuh synonym for -warn-unmatched-high\n"));
454 fprintf (stream, _("\
455 -Wnuh synonym for -no-warn-unmatched-high\n"));
457 fprintf (stream, _("\
458 -KPIC generate PIC\n"));
460 #if 0
461 fprintf (stream, _("\
462 -relax create linker relaxable code\n"));
463 fprintf (stream, _("\
464 -cpu-desc provide runtime cpu description file\n"));
465 #endif
468 static void fill_insn PARAMS ((int));
469 static void m32r_scomm PARAMS ((int));
470 static void debug_sym PARAMS ((int));
471 static void expand_debug_syms PARAMS ((sym_linkS *, int));
473 /* Set by md_assemble for use by m32r_fill_insn. */
474 static subsegT prev_subseg;
475 static segT prev_seg;
477 /* The target specific pseudo-ops which we support. */
478 const pseudo_typeS md_pseudo_table[] =
480 { "word", cons, 4 },
481 { "fillinsn", fill_insn, 0 },
482 { "scomm", m32r_scomm, 0 },
483 { "debugsym", debug_sym, 0 },
484 { "m32r", allow_m32rx, 0 },
485 { "m32rx", allow_m32rx, 1 },
486 { "m32r2", allow_m32rx, 2 },
487 { "little", little, 1 },
488 { "big", little, 0 },
489 { NULL, NULL, 0 }
492 /* FIXME: Should be machine generated. */
493 #define NOP_INSN 0x7000
494 #define PAR_NOP_INSN 0xf000 /* Can only be used in 2nd slot. */
496 /* This is called from HANDLE_ALIGN in write.c. Fill in the contents
497 of an rs_align_code fragment. */
499 void
500 m32r_handle_align (fragp)
501 fragS *fragp;
503 static const unsigned char nop_pattern[] = { 0xf0, 0x00 };
504 static const unsigned char multi_nop_pattern[] = { 0x70, 0x00, 0xf0, 0x00 };
506 int bytes, fix;
507 char *p;
509 if (fragp->fr_type != rs_align_code)
510 return;
512 bytes = fragp->fr_next->fr_address - fragp->fr_address - fragp->fr_fix;
513 p = fragp->fr_literal + fragp->fr_fix;
514 fix = 0;
516 if (bytes & 1)
518 fix = 1;
519 *p++ = 0;
520 bytes--;
523 if (bytes & 2)
525 memcpy (p, nop_pattern, 2);
526 p += 2;
527 bytes -= 2;
528 fix += 2;
531 memcpy (p, multi_nop_pattern, 4);
533 fragp->fr_fix += fix;
534 fragp->fr_var = 4;
537 /* If the last instruction was the first of 2 16 bit insns,
538 output a nop to move the PC to a 32 bit boundary.
540 This is done via an alignment specification since branch relaxing
541 may make it unnecessary.
543 Internally, we need to output one of these each time a 32 bit insn is
544 seen after an insn that is relaxable. */
546 static void
547 fill_insn (ignore)
548 int ignore ATTRIBUTE_UNUSED;
550 frag_align_code (2, 0);
551 prev_insn.insn = NULL;
552 seen_relaxable_p = 0;
555 /* Record the symbol so that when we output the insn, we can create
556 a symbol that is at the start of the instruction. This is used
557 to emit the label for the start of a breakpoint without causing
558 the assembler to emit a NOP if the previous instruction was a
559 16 bit instruction. */
561 static void
562 debug_sym (ignore)
563 int ignore ATTRIBUTE_UNUSED;
565 register char *name;
566 register char delim;
567 register char *end_name;
568 register symbolS *symbolP;
569 register sym_linkS *link;
571 name = input_line_pointer;
572 delim = get_symbol_end ();
573 end_name = input_line_pointer;
575 if ((symbolP = symbol_find (name)) == NULL
576 && (symbolP = md_undefined_symbol (name)) == NULL)
578 symbolP = symbol_new (name, undefined_section, 0, &zero_address_frag);
581 symbol_table_insert (symbolP);
582 if (S_IS_DEFINED (symbolP) && (S_GET_SEGMENT (symbolP) != reg_section
583 || S_IS_EXTERNAL (symbolP)
584 || S_IS_WEAK (symbolP)))
585 /* xgettext:c-format */
586 as_bad (_("symbol `%s' already defined"), S_GET_NAME (symbolP));
588 else
590 link = (sym_linkS *) xmalloc (sizeof (sym_linkS));
591 link->symbol = symbolP;
592 link->next = debug_sym_link;
593 debug_sym_link = link;
594 symbol_get_obj (symbolP)->local = 1;
597 *end_name = delim;
598 demand_empty_rest_of_line ();
601 /* Second pass to expanding the debug symbols, go through linked
602 list of symbols and reassign the address. */
604 static void
605 expand_debug_syms (syms, align)
606 sym_linkS *syms;
607 int align;
609 char *save_input_line = input_line_pointer;
610 sym_linkS *next_syms;
612 if (!syms)
613 return;
615 (void) frag_align_code (align, 0);
616 for (; syms != (sym_linkS *) 0; syms = next_syms)
618 symbolS *symbolP = syms->symbol;
619 next_syms = syms->next;
620 input_line_pointer = ".\n";
621 pseudo_set (symbolP);
622 free ((char *) syms);
625 input_line_pointer = save_input_line;
628 void
629 m32r_flush_pending_output()
631 if (debug_sym_link)
633 expand_debug_syms (debug_sym_link, 1);
634 debug_sym_link = (sym_linkS *) 0;
638 /* Cover function to fill_insn called after a label and at end of assembly.
639 The result is always 1: we're called in a conditional to see if the
640 current line is a label. */
643 m32r_fill_insn (done)
644 int done;
646 if (prev_seg != NULL)
648 segT seg = now_seg;
649 subsegT subseg = now_subseg;
651 subseg_set (prev_seg, prev_subseg);
653 fill_insn (0);
655 subseg_set (seg, subseg);
658 if (done && debug_sym_link)
660 expand_debug_syms (debug_sym_link, 1);
661 debug_sym_link = (sym_linkS *) 0;
664 return 1;
667 /* The default target format to use. */
669 const char *
670 m32r_target_format ()
672 #ifdef TE_LINUX
673 if (target_big_endian)
674 return "elf32-m32r-linux";
675 else
676 return "elf32-m32rle-linux";
677 #else
678 if (target_big_endian)
679 return "elf32-m32r";
680 else
681 return "elf32-m32rle";
682 #endif
685 void
686 md_begin ()
688 flagword applicable;
689 segT seg;
690 subsegT subseg;
692 /* Initialize the `cgen' interface. */
694 /* Set the machine number and endian. */
695 gas_cgen_cpu_desc = m32r_cgen_cpu_open (CGEN_CPU_OPEN_MACHS, 0,
696 CGEN_CPU_OPEN_ENDIAN,
697 (target_big_endian ?
698 CGEN_ENDIAN_BIG : CGEN_ENDIAN_LITTLE),
699 CGEN_CPU_OPEN_END);
700 m32r_cgen_init_asm (gas_cgen_cpu_desc);
702 /* The operand instance table is used during optimization to determine
703 which insns can be executed in parallel. It is also used to give
704 warnings regarding operand interference in parallel insns. */
705 m32r_cgen_init_opinst_table (gas_cgen_cpu_desc);
707 /* This is a callback from cgen to gas to parse operands. */
708 cgen_set_parse_operand_fn (gas_cgen_cpu_desc, gas_cgen_parse_operand);
710 #if 0
711 /* Not supported yet. */
712 /* If a runtime cpu description file was provided, parse it. */
713 if (m32r_cpu_desc != NULL)
715 const char *errmsg;
717 errmsg = cgen_read_cpu_file (gas_cgen_cpu_desc, m32r_cpu_desc);
718 if (errmsg != NULL)
719 as_bad ("%s: %s", m32r_cpu_desc, errmsg);
721 #endif
723 /* Save the current subseg so we can restore it [it's the default one and
724 we don't want the initial section to be .sbss]. */
725 seg = now_seg;
726 subseg = now_subseg;
728 /* The sbss section is for local .scomm symbols. */
729 sbss_section = subseg_new (".sbss", 0);
731 /* This is copied from perform_an_assembly_pass. */
732 applicable = bfd_applicable_section_flags (stdoutput);
733 bfd_set_section_flags (stdoutput, sbss_section, applicable & SEC_ALLOC);
735 #if 0
736 /* What does this do? [see perform_an_assembly_pass] */
737 seg_info (bss_section)->bss = 1;
738 #endif
740 subseg_set (seg, subseg);
742 /* We must construct a fake section similar to bfd_com_section
743 but with the name .scommon. */
744 scom_section = bfd_com_section;
745 scom_section.name = ".scommon";
746 scom_section.output_section = &scom_section;
747 scom_section.symbol = &scom_symbol;
748 scom_section.symbol_ptr_ptr = &scom_section.symbol;
749 scom_symbol = *bfd_com_section.symbol;
750 scom_symbol.name = ".scommon";
751 scom_symbol.section = &scom_section;
753 allow_m32rx (enable_m32rx);
755 gas_cgen_initialize_saved_fixups_array ();
758 #define OPERAND_IS_COND_BIT(operand, indices, index) \
759 ((operand)->hw_type == HW_H_COND \
760 || ((operand)->hw_type == HW_H_PSW) \
761 || ((operand)->hw_type == HW_H_CR \
762 && (indices [index] == 0 || indices [index] == 1)))
764 /* Returns true if an output of instruction 'a' is referenced by an operand
765 of instruction 'b'. If 'check_outputs' is true then b's outputs are
766 checked, otherwise its inputs are examined. */
768 static int first_writes_to_seconds_operands
769 PARAMS ((m32r_insn *, m32r_insn *, const int));
771 static int
772 first_writes_to_seconds_operands (a, b, check_outputs)
773 m32r_insn *a;
774 m32r_insn *b;
775 const int check_outputs;
777 const CGEN_OPINST *a_operands = CGEN_INSN_OPERANDS (a->insn);
778 const CGEN_OPINST *b_ops = CGEN_INSN_OPERANDS (b->insn);
779 int a_index;
781 if (ignore_parallel_conflicts)
782 return 0;
784 /* If at least one of the instructions takes no operands, then there is
785 nothing to check. There really are instructions without operands,
786 eg 'nop'. */
787 if (a_operands == NULL || b_ops == NULL)
788 return 0;
790 /* Scan the operand list of 'a' looking for an output operand. */
791 for (a_index = 0;
792 a_operands->type != CGEN_OPINST_END;
793 a_index ++, a_operands ++)
795 if (a_operands->type == CGEN_OPINST_OUTPUT)
797 int b_index;
798 const CGEN_OPINST *b_operands = b_ops;
800 /* Special Case:
801 The Condition bit 'C' is a shadow of the CBR register (control
802 register 1) and also a shadow of bit 31 of the program status
803 word (control register 0). For now this is handled here, rather
804 than by cgen.... */
806 if (OPERAND_IS_COND_BIT (a_operands, a->indices, a_index))
808 /* Scan operand list of 'b' looking for another reference to the
809 condition bit, which goes in the right direction. */
810 for (b_index = 0;
811 b_operands->type != CGEN_OPINST_END;
812 b_index++, b_operands++)
814 if ((b_operands->type
815 == (check_outputs
816 ? CGEN_OPINST_OUTPUT
817 : CGEN_OPINST_INPUT))
818 && OPERAND_IS_COND_BIT (b_operands, b->indices, b_index))
819 return 1;
822 else
824 /* Scan operand list of 'b' looking for an operand that
825 references the same hardware element, and which goes in the
826 right direction. */
827 for (b_index = 0;
828 b_operands->type != CGEN_OPINST_END;
829 b_index++, b_operands++)
831 if ((b_operands->type
832 == (check_outputs
833 ? CGEN_OPINST_OUTPUT
834 : CGEN_OPINST_INPUT))
835 && (b_operands->hw_type == a_operands->hw_type)
836 && (a->indices[a_index] == b->indices[b_index]))
837 return 1;
843 return 0;
846 /* Returns true if the insn can (potentially) alter the program counter. */
848 static int writes_to_pc PARAMS ((m32r_insn *));
850 static int
851 writes_to_pc (a)
852 m32r_insn *a;
854 #if 0
855 /* Once PC operands are working.... */
856 const CGEN_OPINST *a_operands == CGEN_INSN_OPERANDS (gas_cgen_cpu_desc,
857 a->insn);
859 if (a_operands == NULL)
860 return 0;
862 while (a_operands->type != CGEN_OPINST_END)
864 if (a_operands->operand != NULL
865 && CGEN_OPERAND_INDEX (gas_cgen_cpu_desc,
866 a_operands->operand) == M32R_OPERAND_PC)
867 return 1;
869 a_operands++;
871 #else
872 if (CGEN_INSN_ATTR_VALUE (a->insn, CGEN_INSN_UNCOND_CTI)
873 || CGEN_INSN_ATTR_VALUE (a->insn, CGEN_INSN_COND_CTI))
874 return 1;
875 #endif
876 return 0;
879 /* Return NULL if the two 16 bit insns can be executed in parallel.
880 Otherwise return a pointer to an error message explaining why not. */
882 static const char *can_make_parallel PARAMS ((m32r_insn *, m32r_insn *));
884 static const char *
885 can_make_parallel (a, b)
886 m32r_insn *a;
887 m32r_insn *b;
889 PIPE_ATTR a_pipe;
890 PIPE_ATTR b_pipe;
892 /* Make sure the instructions are the right length. */
893 if (CGEN_FIELDS_BITSIZE (&a->fields) != 16
894 || CGEN_FIELDS_BITSIZE (&b->fields) != 16)
895 abort ();
897 if (first_writes_to_seconds_operands (a, b, TRUE))
898 return _("instructions write to the same destination register.");
900 a_pipe = CGEN_INSN_ATTR_VALUE (a->insn, CGEN_INSN_PIPE);
901 b_pipe = CGEN_INSN_ATTR_VALUE (b->insn, CGEN_INSN_PIPE);
903 /* Make sure that the instructions use the correct execution pipelines. */
904 if (a_pipe == PIPE_NONE
905 || b_pipe == PIPE_NONE)
906 return _("Instructions do not use parallel execution pipelines.");
908 /* Leave this test for last, since it is the only test that can
909 go away if the instructions are swapped, and we want to make
910 sure that any other errors are detected before this happens. */
911 if (a_pipe == PIPE_S
912 || b_pipe == PIPE_O
913 || (b_pipe == PIPE_O_OS && (enable_m32rx != 2)))
914 return _("Instructions share the same execution pipeline");
916 return NULL;
919 /* Force the top bit of the second 16-bit insn to be set. */
921 static void make_parallel PARAMS ((CGEN_INSN_BYTES_PTR));
923 static void
924 make_parallel (buffer)
925 CGEN_INSN_BYTES_PTR buffer;
927 #if CGEN_INT_INSN_P
928 *buffer |= 0x8000;
929 #else
930 buffer[CGEN_CPU_ENDIAN (gas_cgen_cpu_desc) == CGEN_ENDIAN_BIG ? 0 : 1]
931 |= 0x80;
932 #endif
935 /* Same as make_parallel except buffer contains the bytes in target order. */
937 static void target_make_parallel PARAMS ((char *));
939 static void
940 target_make_parallel (buffer)
941 char *buffer;
943 buffer[CGEN_CPU_ENDIAN (gas_cgen_cpu_desc) == CGEN_ENDIAN_BIG ? 0 : 1]
944 |= 0x80;
947 /* Assemble two instructions with an explicit parallel operation (||) or
948 sequential operation (->). */
950 static void assemble_two_insns PARAMS ((char *, char *, int));
952 static void
953 assemble_two_insns (str, str2, parallel_p)
954 char *str;
955 char *str2;
956 int parallel_p;
958 char *str3;
959 m32r_insn first;
960 m32r_insn second;
961 char *errmsg;
962 char save_str2 = *str2;
964 /* Separate the two instructions. */
965 *str2 = 0;
967 /* Make sure the two insns begin on a 32 bit boundary.
968 This is also done for the serial case (foo -> bar), relaxing doesn't
969 affect insns written like this.
970 Note that we must always do this as we can't assume anything about
971 whether we're currently on a 32 bit boundary or not. Relaxing may
972 change this. */
973 fill_insn (0);
975 first.debug_sym_link = debug_sym_link;
976 debug_sym_link = (sym_linkS *) 0;
978 /* Parse the first instruction. */
979 if (! (first.insn = m32r_cgen_assemble_insn
980 (gas_cgen_cpu_desc, str, & first.fields, first.buffer, & errmsg)))
982 as_bad (errmsg);
983 return;
986 /* Check it. */
987 if (CGEN_FIELDS_BITSIZE (&first.fields) != 16)
989 /* xgettext:c-format */
990 as_bad (_("not a 16 bit instruction '%s'"), str);
991 return;
993 #ifdef E_M32R2_ARCH
994 else if ((enable_m32rx == 1)
995 /* FIXME: Need standard macro to perform this test. */
996 && ((CGEN_INSN_ATTR_VALUE (first.insn, CGEN_INSN_MACH)
997 & (1 << MACH_M32R2))
998 && !((CGEN_INSN_ATTR_VALUE (first.insn, CGEN_INSN_MACH)
999 & (1 << MACH_M32RX)))))
1001 /* xgettext:c-format */
1002 as_bad (_("instruction '%s' is for the M32R2 only"), str);
1003 return;
1005 else if ((! enable_special
1006 && CGEN_INSN_ATTR_VALUE (first.insn, CGEN_INSN_SPECIAL))
1007 || (! enable_special_m32r
1008 && CGEN_INSN_ATTR_VALUE (first.insn, CGEN_INSN_SPECIAL_M32R)))
1009 #else
1010 else if (! enable_special
1011 && CGEN_INSN_ATTR_VALUE (first.insn, CGEN_INSN_SPECIAL))
1012 #endif
1014 /* xgettext:c-format */
1015 as_bad (_("unknown instruction '%s'"), str);
1016 return;
1018 else if (! enable_m32rx
1019 /* FIXME: Need standard macro to perform this test. */
1020 && (CGEN_INSN_ATTR_VALUE (first.insn, CGEN_INSN_MACH)
1021 == (1 << MACH_M32RX)))
1023 /* xgettext:c-format */
1024 as_bad (_("instruction '%s' is for the M32RX only"), str);
1025 return;
1028 /* Check to see if this is an allowable parallel insn. */
1029 if (parallel_p
1030 && CGEN_INSN_ATTR_VALUE (first.insn, CGEN_INSN_PIPE) == PIPE_NONE)
1032 /* xgettext:c-format */
1033 as_bad (_("instruction '%s' cannot be executed in parallel."), str);
1034 return;
1037 /* Restore the original assembly text, just in case it is needed. */
1038 *str2 = save_str2;
1040 /* Save the original string pointer. */
1041 str3 = str;
1043 /* Advanced past the parsed string. */
1044 str = str2 + 2;
1046 /* Remember the entire string in case it is needed for error
1047 messages. */
1048 str2 = str3;
1050 /* Convert the opcode to lower case. */
1052 char *s2 = str;
1054 while (ISSPACE (*s2++))
1055 continue;
1057 --s2;
1059 while (ISALNUM (*s2))
1061 *s2 = TOLOWER (*s2);
1062 s2++;
1066 /* Preserve any fixups that have been generated and reset the list
1067 to empty. */
1068 gas_cgen_save_fixups (0);
1070 /* Get the indices of the operands of the instruction. */
1071 /* FIXME: CGEN_FIELDS is already recorded, but relying on that fact
1072 doesn't seem right. Perhaps allow passing fields like we do insn. */
1073 /* FIXME: ALIAS insns do not have operands, so we use this function
1074 to find the equivalent insn and overwrite the value stored in our
1075 structure. We still need the original insn, however, since this
1076 may have certain attributes that are not present in the unaliased
1077 version (eg relaxability). When aliases behave differently this
1078 may have to change. */
1079 first.orig_insn = first.insn;
1081 CGEN_FIELDS tmp_fields;
1082 first.insn = cgen_lookup_get_insn_operands
1083 (gas_cgen_cpu_desc, NULL, INSN_VALUE (first.buffer), NULL, 16,
1084 first.indices, &tmp_fields);
1087 if (first.insn == NULL)
1088 as_fatal (_("internal error: lookup/get operands failed"));
1090 second.debug_sym_link = NULL;
1092 /* Parse the second instruction. */
1093 if (! (second.insn = m32r_cgen_assemble_insn
1094 (gas_cgen_cpu_desc, str, & second.fields, second.buffer, & errmsg)))
1096 as_bad (errmsg);
1097 return;
1100 /* Check it. */
1101 if (CGEN_FIELDS_BITSIZE (&second.fields) != 16)
1103 /* xgettext:c-format */
1104 as_bad (_("not a 16 bit instruction '%s'"), str);
1105 return;
1107 #ifdef E_M32R2_ARCH
1108 else if ((enable_m32rx == 1)
1109 /* FIXME: Need standard macro to perform this test. */
1110 && ((CGEN_INSN_ATTR_VALUE (first.insn, CGEN_INSN_MACH)
1111 & (1 << MACH_M32R2))
1112 && !((CGEN_INSN_ATTR_VALUE (first.insn, CGEN_INSN_MACH)
1113 & (1 << MACH_M32RX)))))
1115 /* xgettext:c-format */
1116 as_bad (_("instruction '%s' is for the M32R2 only"), str);
1117 return;
1119 else if ((! enable_special
1120 && CGEN_INSN_ATTR_VALUE (second.insn, CGEN_INSN_SPECIAL))
1121 || (! enable_special_m32r
1122 && CGEN_INSN_ATTR_VALUE (second.insn, CGEN_INSN_SPECIAL_M32R)))
1123 #else
1124 else if (! enable_special
1125 && CGEN_INSN_ATTR_VALUE (second.insn, CGEN_INSN_SPECIAL))
1126 #endif
1128 /* xgettext:c-format */
1129 as_bad (_("unknown instruction '%s'"), str);
1130 return;
1132 else if (! enable_m32rx
1133 && CGEN_INSN_ATTR_VALUE (second.insn, CGEN_INSN_MACH) == (1 << MACH_M32RX))
1135 /* xgettext:c-format */
1136 as_bad (_("instruction '%s' is for the M32RX only"), str);
1137 return;
1140 /* Check to see if this is an allowable parallel insn. */
1141 if (parallel_p
1142 && CGEN_INSN_ATTR_VALUE (second.insn, CGEN_INSN_PIPE) == PIPE_NONE)
1144 /* xgettext:c-format */
1145 as_bad (_("instruction '%s' cannot be executed in parallel."), str);
1146 return;
1149 if (parallel_p && ! enable_m32rx)
1151 if (CGEN_INSN_NUM (first.insn) != M32R_INSN_NOP
1152 && CGEN_INSN_NUM (second.insn) != M32R_INSN_NOP)
1154 /* xgettext:c-format */
1155 as_bad (_("'%s': only the NOP instruction can be issued in parallel on the m32r"), str2);
1156 return;
1160 /* Get the indices of the operands of the instruction. */
1161 second.orig_insn = second.insn;
1163 CGEN_FIELDS tmp_fields;
1164 second.insn = cgen_lookup_get_insn_operands
1165 (gas_cgen_cpu_desc, NULL, INSN_VALUE (second.buffer), NULL, 16,
1166 second.indices, &tmp_fields);
1169 if (second.insn == NULL)
1170 as_fatal (_("internal error: lookup/get operands failed"));
1172 /* We assume that if the first instruction writes to a register that is
1173 read by the second instruction it is because the programmer intended
1174 this to happen, (after all they have explicitly requested that these
1175 two instructions be executed in parallel). Although if the global
1176 variable warn_explicit_parallel_conflicts is true then we do generate
1177 a warning message. Similarly we assume that parallel branch and jump
1178 instructions are deliberate and should not produce errors. */
1180 if (parallel_p && warn_explicit_parallel_conflicts)
1182 if (first_writes_to_seconds_operands (&first, &second, FALSE))
1183 /* xgettext:c-format */
1184 as_warn (_("%s: output of 1st instruction is the same as an input to 2nd instruction - is this intentional ?"), str2);
1186 if (first_writes_to_seconds_operands (&second, &first, FALSE))
1187 /* xgettext:c-format */
1188 as_warn (_("%s: output of 2nd instruction is the same as an input to 1st instruction - is this intentional ?"), str2);
1191 if (!parallel_p
1192 || (errmsg = (char *) can_make_parallel (&first, &second)) == NULL)
1194 /* Get the fixups for the first instruction. */
1195 gas_cgen_swap_fixups (0);
1197 /* Write it out. */
1198 expand_debug_syms (first.debug_sym_link, 1);
1199 gas_cgen_finish_insn (first.orig_insn, first.buffer,
1200 CGEN_FIELDS_BITSIZE (&first.fields), 0, NULL);
1202 /* Force the top bit of the second insn to be set. */
1203 if (parallel_p)
1204 make_parallel (second.buffer);
1206 /* Get its fixups. */
1207 gas_cgen_restore_fixups (0);
1209 /* Write it out. */
1210 expand_debug_syms (second.debug_sym_link, 1);
1211 gas_cgen_finish_insn (second.orig_insn, second.buffer,
1212 CGEN_FIELDS_BITSIZE (&second.fields), 0, NULL);
1214 /* Try swapping the instructions to see if they work that way. */
1215 else if (can_make_parallel (&second, &first) == NULL)
1217 /* Write out the second instruction first. */
1218 expand_debug_syms (second.debug_sym_link, 1);
1219 gas_cgen_finish_insn (second.orig_insn, second.buffer,
1220 CGEN_FIELDS_BITSIZE (&second.fields), 0, NULL);
1222 /* Force the top bit of the first instruction to be set. */
1223 make_parallel (first.buffer);
1225 /* Get the fixups for the first instruction. */
1226 gas_cgen_restore_fixups (0);
1228 /* Write out the first instruction. */
1229 expand_debug_syms (first.debug_sym_link, 1);
1230 gas_cgen_finish_insn (first.orig_insn, first.buffer,
1231 CGEN_FIELDS_BITSIZE (&first.fields), 0, NULL);
1233 else
1235 as_bad ("'%s': %s", str2, errmsg);
1236 return;
1239 if (CGEN_INSN_ATTR_VALUE (first.insn, CGEN_INSN_SPECIAL)
1240 || CGEN_INSN_ATTR_VALUE (second.insn, CGEN_INSN_SPECIAL))
1241 m32r_flags |= E_M32R_HAS_HIDDEN_INST;
1242 if (CGEN_INSN_ATTR_VALUE (first.insn, CGEN_INSN_SPECIAL_M32R)
1243 || CGEN_INSN_ATTR_VALUE (second.insn, CGEN_INSN_SPECIAL_M32R))
1244 m32r_flags |= E_M32R_HAS_BIT_INST;
1245 if (CGEN_INSN_ATTR_VALUE (first.insn, CGEN_INSN_SPECIAL_FLOAT)
1246 || CGEN_INSN_ATTR_VALUE (second.insn, CGEN_INSN_SPECIAL_FLOAT))
1247 m32r_flags |= E_M32R_HAS_FLOAT_INST;
1249 /* Set these so m32r_fill_insn can use them. */
1250 prev_seg = now_seg;
1251 prev_subseg = now_subseg;
1254 void
1255 md_assemble (str)
1256 char *str;
1258 m32r_insn insn;
1259 char *errmsg;
1260 char *str2 = NULL;
1262 /* Initialize GAS's cgen interface for a new instruction. */
1263 gas_cgen_init_parse ();
1265 /* Look for a parallel instruction separator. */
1266 if ((str2 = strstr (str, "||")) != NULL)
1268 assemble_two_insns (str, str2, 1);
1269 m32r_flags |= E_M32R_HAS_PARALLEL;
1270 return;
1273 /* Also look for a sequential instruction separator. */
1274 if ((str2 = strstr (str, "->")) != NULL)
1276 assemble_two_insns (str, str2, 0);
1277 return;
1280 insn.debug_sym_link = debug_sym_link;
1281 debug_sym_link = (sym_linkS *) 0;
1283 insn.insn = m32r_cgen_assemble_insn
1284 (gas_cgen_cpu_desc, str, &insn.fields, insn.buffer, & errmsg);
1286 if (!insn.insn)
1288 as_bad (errmsg);
1289 return;
1292 #ifdef E_M32R2_ARCH
1293 if ((enable_m32rx == 1)
1294 /* FIXME: Need standard macro to perform this test. */
1295 && ((CGEN_INSN_ATTR_VALUE (insn.insn, CGEN_INSN_MACH)
1296 & (1 << MACH_M32R2))
1297 && !((CGEN_INSN_ATTR_VALUE (insn.insn, CGEN_INSN_MACH)
1298 & (1 << MACH_M32RX)))))
1300 /* xgettext:c-format */
1301 as_bad (_("instruction '%s' is for the M32R2 only"), str);
1302 return;
1304 else if ((! enable_special
1305 && CGEN_INSN_ATTR_VALUE (insn.insn, CGEN_INSN_SPECIAL))
1306 || (! enable_special_m32r
1307 && CGEN_INSN_ATTR_VALUE (insn.insn, CGEN_INSN_SPECIAL_M32R)))
1308 #else
1309 if (! enable_special
1310 && CGEN_INSN_ATTR_VALUE (insn.insn, CGEN_INSN_SPECIAL))
1311 #endif
1313 /* xgettext:c-format */
1314 as_bad (_("unknown instruction '%s'"), str);
1315 return;
1317 else if (! enable_m32rx
1318 && CGEN_INSN_ATTR_VALUE (insn.insn, CGEN_INSN_MACH) == (1 << MACH_M32RX))
1320 /* xgettext:c-format */
1321 as_bad (_("instruction '%s' is for the M32RX only"), str);
1322 return;
1325 if (CGEN_INSN_ATTR_VALUE (insn.insn, CGEN_INSN_SPECIAL))
1326 m32r_flags |= E_M32R_HAS_HIDDEN_INST;
1327 if (CGEN_INSN_ATTR_VALUE (insn.insn, CGEN_INSN_SPECIAL_M32R))
1328 m32r_flags |= E_M32R_HAS_BIT_INST;
1329 if (CGEN_INSN_ATTR_VALUE (insn.insn, CGEN_INSN_SPECIAL_FLOAT))
1330 m32r_flags |= E_M32R_HAS_FLOAT_INST;
1332 if (CGEN_INSN_BITSIZE (insn.insn) == 32)
1334 /* 32 bit insns must live on 32 bit boundaries. */
1335 if (prev_insn.insn || seen_relaxable_p)
1337 /* ??? If calling fill_insn too many times turns us into a memory
1338 pig, can we call a fn to assemble a nop instead of
1339 !seen_relaxable_p? */
1340 fill_insn (0);
1343 expand_debug_syms (insn.debug_sym_link, 2);
1345 /* Doesn't really matter what we pass for RELAX_P here. */
1346 gas_cgen_finish_insn (insn.insn, insn.buffer,
1347 CGEN_FIELDS_BITSIZE (&insn.fields), 1, NULL);
1349 else
1351 int on_32bit_boundary_p;
1352 int swap = FALSE;
1354 if (CGEN_INSN_BITSIZE (insn.insn) != 16)
1355 abort ();
1357 insn.orig_insn = insn.insn;
1359 /* If the previous insn was relaxable, then it may be expanded
1360 to fill the current 16 bit slot. Emit a NOP here to occupy
1361 this slot, so that we can start at optimizing at a 32 bit
1362 boundary. */
1363 if (prev_insn.insn && seen_relaxable_p && optimize)
1364 fill_insn (0);
1366 if (enable_m32rx)
1368 /* Get the indices of the operands of the instruction.
1369 FIXME: See assemble_parallel for notes on orig_insn. */
1371 CGEN_FIELDS tmp_fields;
1372 insn.insn = cgen_lookup_get_insn_operands
1373 (gas_cgen_cpu_desc, NULL, INSN_VALUE (insn.buffer), NULL,
1374 16, insn.indices, &tmp_fields);
1377 if (insn.insn == NULL)
1378 as_fatal (_("internal error: lookup/get operands failed"));
1381 /* Compute whether we're on a 32 bit boundary or not.
1382 prev_insn.insn is NULL when we're on a 32 bit boundary. */
1383 on_32bit_boundary_p = prev_insn.insn == NULL;
1385 /* Look to see if this instruction can be combined with the
1386 previous instruction to make one, parallel, 32 bit instruction.
1387 If the previous instruction (potentially) changed the flow of
1388 program control, then it cannot be combined with the current
1389 instruction. If the current instruction is relaxable, then it
1390 might be replaced with a longer version, so we cannot combine it.
1391 Also if the output of the previous instruction is used as an
1392 input to the current instruction then it cannot be combined.
1393 Otherwise call can_make_parallel() with both orderings of the
1394 instructions to see if they can be combined. */
1395 if (! on_32bit_boundary_p
1396 && parallel ()
1397 && CGEN_INSN_ATTR_VALUE (insn.orig_insn, CGEN_INSN_RELAXABLE) == 0
1398 && ! writes_to_pc (&prev_insn)
1399 && ! first_writes_to_seconds_operands (&prev_insn, &insn, FALSE))
1401 if (can_make_parallel (&prev_insn, &insn) == NULL)
1402 make_parallel (insn.buffer);
1403 else if (can_make_parallel (&insn, &prev_insn) == NULL)
1404 swap = TRUE;
1407 expand_debug_syms (insn.debug_sym_link, 1);
1410 int i;
1411 finished_insnS fi;
1413 /* Ensure each pair of 16 bit insns is in the same frag. */
1414 frag_grow (4);
1416 gas_cgen_finish_insn (insn.orig_insn, insn.buffer,
1417 CGEN_FIELDS_BITSIZE (&insn.fields),
1418 1 /* relax_p */, &fi);
1419 insn.addr = fi.addr;
1420 insn.frag = fi.frag;
1421 insn.num_fixups = fi.num_fixups;
1422 for (i = 0; i < fi.num_fixups; ++i)
1423 insn.fixups[i] = fi.fixups[i];
1426 if (swap)
1428 int i, tmp;
1430 #define SWAP_BYTES(a,b) tmp = a; a = b; b = tmp
1432 /* Swap the two insns */
1433 SWAP_BYTES (prev_insn.addr[0], insn.addr[0]);
1434 SWAP_BYTES (prev_insn.addr[1], insn.addr[1]);
1436 target_make_parallel (insn.addr);
1438 /* Swap any relaxable frags recorded for the two insns. */
1439 /* FIXME: Clarify. relaxation precludes parallel insns */
1440 if (prev_insn.frag->fr_opcode == prev_insn.addr)
1441 prev_insn.frag->fr_opcode = insn.addr;
1442 else if (insn.frag->fr_opcode == insn.addr)
1443 insn.frag->fr_opcode = prev_insn.addr;
1445 /* Update the addresses in any fixups.
1446 Note that we don't have to handle the case where each insn is in
1447 a different frag as we ensure they're in the same frag above. */
1448 for (i = 0; i < prev_insn.num_fixups; ++i)
1449 prev_insn.fixups[i]->fx_where += 2;
1450 for (i = 0; i < insn.num_fixups; ++i)
1451 insn.fixups[i]->fx_where -= 2;
1454 /* Keep track of whether we've seen a pair of 16 bit insns.
1455 prev_insn.insn is NULL when we're on a 32 bit boundary. */
1456 if (on_32bit_boundary_p)
1457 prev_insn = insn;
1458 else
1459 prev_insn.insn = NULL;
1461 /* If the insn needs the following one to be on a 32 bit boundary
1462 (e.g. subroutine calls), fill this insn's slot. */
1463 if (on_32bit_boundary_p
1464 && CGEN_INSN_ATTR_VALUE (insn.orig_insn, CGEN_INSN_FILL_SLOT) != 0)
1465 fill_insn (0);
1467 /* If this is a relaxable insn (can be replaced with a larger version)
1468 mark the fact so that we can emit an alignment directive for a
1469 following 32 bit insn if we see one. */
1470 if (CGEN_INSN_ATTR_VALUE (insn.orig_insn, CGEN_INSN_RELAXABLE) != 0)
1471 seen_relaxable_p = 1;
1474 /* Set these so m32r_fill_insn can use them. */
1475 prev_seg = now_seg;
1476 prev_subseg = now_subseg;
1479 /* The syntax in the manual says constants begin with '#'.
1480 We just ignore it. */
1482 void
1483 md_operand (expressionP)
1484 expressionS *expressionP;
1486 if (*input_line_pointer == '#')
1488 input_line_pointer++;
1489 expression (expressionP);
1493 valueT
1494 md_section_align (segment, size)
1495 segT segment;
1496 valueT size;
1498 int align = bfd_get_section_alignment (stdoutput, segment);
1499 return ((size + (1 << align) - 1) & (-1 << align));
1502 symbolS *
1503 md_undefined_symbol (name)
1504 char *name ATTRIBUTE_UNUSED;
1506 return 0;
1509 /* .scomm pseudo-op handler.
1511 This is a new pseudo-op to handle putting objects in .scommon.
1512 By doing this the linker won't need to do any work,
1513 and more importantly it removes the implicit -G arg necessary to
1514 correctly link the object file. */
1516 static void
1517 m32r_scomm (ignore)
1518 int ignore ATTRIBUTE_UNUSED;
1520 register char *name;
1521 register char c;
1522 register char *p;
1523 offsetT size;
1524 register symbolS *symbolP;
1525 offsetT align;
1526 int align2;
1528 name = input_line_pointer;
1529 c = get_symbol_end ();
1531 /* Just after name is now '\0'. */
1532 p = input_line_pointer;
1533 *p = c;
1534 SKIP_WHITESPACE ();
1535 if (*input_line_pointer != ',')
1537 as_bad (_("Expected comma after symbol-name: rest of line ignored."));
1538 ignore_rest_of_line ();
1539 return;
1542 /* Skip ','. */
1543 input_line_pointer++;
1544 if ((size = get_absolute_expression ()) < 0)
1546 /* xgettext:c-format */
1547 as_warn (_(".SCOMMon length (%ld.) <0! Ignored."), (long) size);
1548 ignore_rest_of_line ();
1549 return;
1552 /* The third argument to .scomm is the alignment. */
1553 if (*input_line_pointer != ',')
1554 align = 8;
1555 else
1557 ++input_line_pointer;
1558 align = get_absolute_expression ();
1559 if (align <= 0)
1561 as_warn (_("ignoring bad alignment"));
1562 align = 8;
1566 /* Convert to a power of 2 alignment. */
1567 if (align)
1569 for (align2 = 0; (align & 1) == 0; align >>= 1, ++align2)
1570 continue;
1571 if (align != 1)
1573 as_bad (_("Common alignment not a power of 2"));
1574 ignore_rest_of_line ();
1575 return;
1578 else
1579 align2 = 0;
1581 *p = 0;
1582 symbolP = symbol_find_or_make (name);
1583 *p = c;
1585 if (S_IS_DEFINED (symbolP))
1587 /* xgettext:c-format */
1588 as_bad (_("Ignoring attempt to re-define symbol `%s'."),
1589 S_GET_NAME (symbolP));
1590 ignore_rest_of_line ();
1591 return;
1594 if (S_GET_VALUE (symbolP) && S_GET_VALUE (symbolP) != (valueT) size)
1596 /* xgettext:c-format */
1597 as_bad (_("Length of .scomm \"%s\" is already %ld. Not changed to %ld."),
1598 S_GET_NAME (symbolP),
1599 (long) S_GET_VALUE (symbolP),
1600 (long) size);
1602 ignore_rest_of_line ();
1603 return;
1606 if (symbol_get_obj (symbolP)->local)
1608 segT old_sec = now_seg;
1609 int old_subsec = now_subseg;
1610 char *pfrag;
1612 record_alignment (sbss_section, align2);
1613 subseg_set (sbss_section, 0);
1615 if (align2)
1616 frag_align (align2, 0, 0);
1618 if (S_GET_SEGMENT (symbolP) == sbss_section)
1619 symbol_get_frag (symbolP)->fr_symbol = 0;
1621 symbol_set_frag (symbolP, frag_now);
1623 pfrag = frag_var (rs_org, 1, 1, (relax_substateT) 0, symbolP, size,
1624 (char *) 0);
1625 *pfrag = 0;
1626 S_SET_SIZE (symbolP, size);
1627 S_SET_SEGMENT (symbolP, sbss_section);
1628 S_CLEAR_EXTERNAL (symbolP);
1629 subseg_set (old_sec, old_subsec);
1631 else
1633 S_SET_VALUE (symbolP, (valueT) size);
1634 S_SET_ALIGN (symbolP, align2);
1635 S_SET_EXTERNAL (symbolP);
1636 S_SET_SEGMENT (symbolP, &scom_section);
1639 demand_empty_rest_of_line ();
1642 /* Interface to relax_segment. */
1644 /* FIXME: Build table by hand, get it working, then machine generate. */
1646 const relax_typeS md_relax_table[] =
1648 /* The fields are:
1649 1) most positive reach of this state,
1650 2) most negative reach of this state,
1651 3) how many bytes this mode will add to the size of the current frag
1652 4) which index into the table to try if we can't fit into this one. */
1654 /* The first entry must be unused because an `rlx_more' value of zero ends
1655 each list. */
1656 {1, 1, 0, 0},
1658 /* The displacement used by GAS is from the end of the 2 byte insn,
1659 so we subtract 2 from the following. */
1660 /* 16 bit insn, 8 bit disp -> 10 bit range.
1661 This doesn't handle a branch in the right slot at the border:
1662 the "& -4" isn't taken into account. It's not important enough to
1663 complicate things over it, so we subtract an extra 2 (or + 2 in -ve
1664 case). */
1665 {511 - 2 - 2, -512 - 2 + 2, 0, 2 },
1666 /* 32 bit insn, 24 bit disp -> 26 bit range. */
1667 {0x2000000 - 1 - 2, -0x2000000 - 2, 2, 0 },
1668 /* Same thing, but with leading nop for alignment. */
1669 {0x2000000 - 1 - 2, -0x2000000 - 2, 4, 0 }
1672 long
1673 m32r_relax_frag (segment, fragP, stretch)
1674 segT segment;
1675 fragS *fragP;
1676 long stretch;
1678 /* Address of branch insn. */
1679 long address = fragP->fr_address + fragP->fr_fix - 2;
1680 long growth = 0;
1682 /* Keep 32 bit insns aligned on 32 bit boundaries. */
1683 if (fragP->fr_subtype == 2)
1685 if ((address & 3) != 0)
1687 fragP->fr_subtype = 3;
1688 growth = 2;
1691 else if (fragP->fr_subtype == 3)
1693 if ((address & 3) == 0)
1695 fragP->fr_subtype = 2;
1696 growth = -2;
1699 else
1701 growth = relax_frag (segment, fragP, stretch);
1703 /* Long jump on odd halfword boundary? */
1704 if (fragP->fr_subtype == 2 && (address & 3) != 0)
1706 fragP->fr_subtype = 3;
1707 growth += 2;
1711 return growth;
1714 /* Return an initial guess of the length by which a fragment must grow to
1715 hold a branch to reach its destination.
1716 Also updates fr_type/fr_subtype as necessary.
1718 Called just before doing relaxation.
1719 Any symbol that is now undefined will not become defined.
1720 The guess for fr_var is ACTUALLY the growth beyond fr_fix.
1721 Whatever we do to grow fr_fix or fr_var contributes to our returned value.
1722 Although it may not be explicit in the frag, pretend fr_var starts
1723 with a 0 value. */
1726 md_estimate_size_before_relax (fragP, segment)
1727 fragS *fragP;
1728 segT segment;
1730 /* The only thing we have to handle here are symbols outside of the
1731 current segment. They may be undefined or in a different segment in
1732 which case linker scripts may place them anywhere.
1733 However, we can't finish the fragment here and emit the reloc as insn
1734 alignment requirements may move the insn about. */
1736 if (S_GET_SEGMENT (fragP->fr_symbol) != segment
1737 || S_IS_EXTERNAL (fragP->fr_symbol)
1738 || S_IS_WEAK (fragP->fr_symbol))
1740 #if 0
1741 int old_fr_fix = fragP->fr_fix;
1742 #endif
1744 /* The symbol is undefined in this segment.
1745 Change the relaxation subtype to the max allowable and leave
1746 all further handling to md_convert_frag. */
1747 fragP->fr_subtype = 2;
1749 #if 0
1750 /* Can't use this, but leave in for illustration. */
1751 /* Change 16 bit insn to 32 bit insn. */
1752 fragP->fr_opcode[0] |= 0x80;
1754 /* Increase known (fixed) size of fragment. */
1755 fragP->fr_fix += 2;
1757 /* Create a relocation for it. */
1758 fix_new (fragP, old_fr_fix, 4,
1759 fragP->fr_symbol,
1760 fragP->fr_offset, 1 /* pcrel */,
1761 /* FIXME: Can't use a real BFD reloc here.
1762 gas_cgen_md_apply_fix3 can't handle it. */
1763 BFD_RELOC_M32R_26_PCREL);
1765 /* Mark this fragment as finished. */
1766 frag_wane (fragP);
1767 return fragP->fr_fix - old_fr_fix;
1768 #else
1770 const CGEN_INSN *insn;
1771 int i;
1773 /* Update the recorded insn.
1774 Fortunately we don't have to look very far.
1775 FIXME: Change this to record in the instruction the next higher
1776 relaxable insn to use. */
1777 for (i = 0, insn = fragP->fr_cgen.insn; i < 4; i++, insn++)
1779 if ((strcmp (CGEN_INSN_MNEMONIC (insn),
1780 CGEN_INSN_MNEMONIC (fragP->fr_cgen.insn))
1781 == 0)
1782 && CGEN_INSN_ATTR_VALUE (insn, CGEN_INSN_RELAXED))
1783 break;
1785 if (i == 4)
1786 abort ();
1788 fragP->fr_cgen.insn = insn;
1789 return 2;
1791 #endif
1794 return md_relax_table[fragP->fr_subtype].rlx_length;
1797 /* *FRAGP has been relaxed to its final size, and now needs to have
1798 the bytes inside it modified to conform to the new size.
1800 Called after relaxation is finished.
1801 fragP->fr_type == rs_machine_dependent.
1802 fragP->fr_subtype is the subtype of what the address relaxed to. */
1804 void
1805 md_convert_frag (abfd, sec, fragP)
1806 bfd *abfd ATTRIBUTE_UNUSED;
1807 segT sec;
1808 fragS *fragP;
1810 char *opcode;
1811 char *displacement;
1812 int target_address;
1813 int opcode_address;
1814 int extension;
1815 int addend;
1817 opcode = fragP->fr_opcode;
1819 /* Address opcode resides at in file space. */
1820 opcode_address = fragP->fr_address + fragP->fr_fix - 2;
1822 switch (fragP->fr_subtype)
1824 case 1:
1825 extension = 0;
1826 displacement = &opcode[1];
1827 break;
1828 case 2:
1829 opcode[0] |= 0x80;
1830 extension = 2;
1831 displacement = &opcode[1];
1832 break;
1833 case 3:
1834 opcode[2] = opcode[0] | 0x80;
1835 md_number_to_chars (opcode, PAR_NOP_INSN, 2);
1836 opcode_address += 2;
1837 extension = 4;
1838 displacement = &opcode[3];
1839 break;
1840 default:
1841 abort ();
1844 if (S_GET_SEGMENT (fragP->fr_symbol) != sec
1845 || S_IS_EXTERNAL (fragP->fr_symbol)
1846 || S_IS_WEAK (fragP->fr_symbol))
1848 /* Symbol must be resolved by linker. */
1849 if (fragP->fr_offset & 3)
1850 as_warn (_("Addend to unresolved symbol not on word boundary."));
1851 #ifdef USE_M32R_OLD_RELOC
1852 addend = fragP->fr_offset >> 2; /* Old M32R used USE_REL. */
1853 #else
1854 addend = 0;
1855 #endif
1857 else
1859 /* Address we want to reach in file space. */
1860 target_address = S_GET_VALUE (fragP->fr_symbol) + fragP->fr_offset;
1861 addend = (target_address - (opcode_address & -4)) >> 2;
1864 /* Create a relocation for symbols that must be resolved by the linker.
1865 Otherwise output the completed insn. */
1867 if (S_GET_SEGMENT (fragP->fr_symbol) != sec
1868 || S_IS_EXTERNAL (fragP->fr_symbol)
1869 || S_IS_WEAK (fragP->fr_symbol))
1871 assert (fragP->fr_subtype != 1);
1872 assert (fragP->fr_cgen.insn != 0);
1873 gas_cgen_record_fixup (fragP,
1874 /* Offset of branch insn in frag. */
1875 fragP->fr_fix + extension - 4,
1876 fragP->fr_cgen.insn,
1877 4 /* Length. */,
1878 /* FIXME: quick hack. */
1879 #if 0
1880 cgen_operand_lookup_by_num (gas_cgen_cpu_desc,
1881 fragP->fr_cgen.opindex),
1882 #else
1883 cgen_operand_lookup_by_num (gas_cgen_cpu_desc,
1884 M32R_OPERAND_DISP24),
1885 #endif
1886 fragP->fr_cgen.opinfo,
1887 fragP->fr_symbol, fragP->fr_offset);
1890 #define SIZE_FROM_RELAX_STATE(n) ((n) == 1 ? 1 : 3)
1892 md_number_to_chars (displacement, (valueT) addend,
1893 SIZE_FROM_RELAX_STATE (fragP->fr_subtype));
1895 fragP->fr_fix += extension;
1898 /* Functions concerning relocs. */
1900 /* The location from which a PC relative jump should be calculated,
1901 given a PC relative reloc. */
1903 long
1904 md_pcrel_from_section (fixP, sec)
1905 fixS *fixP;
1906 segT sec;
1908 if (fixP->fx_addsy != (symbolS *) NULL
1909 && (! S_IS_DEFINED (fixP->fx_addsy)
1910 || S_GET_SEGMENT (fixP->fx_addsy) != sec
1911 || S_IS_EXTERNAL (fixP->fx_addsy)
1912 || S_IS_WEAK (fixP->fx_addsy)))
1914 /* The symbol is undefined (or is defined but not in this section).
1915 Let the linker figure it out. */
1916 return 0;
1919 return (fixP->fx_frag->fr_address + fixP->fx_where) & -4L;
1922 /* Return the bfd reloc type for OPERAND of INSN at fixup FIXP.
1923 Returns BFD_RELOC_NONE if no reloc type can be found.
1924 *FIXP may be modified if desired. */
1926 bfd_reloc_code_real_type
1927 md_cgen_lookup_reloc (insn, operand, fixP)
1928 const CGEN_INSN *insn ATTRIBUTE_UNUSED;
1929 const CGEN_OPERAND *operand;
1930 fixS *fixP;
1932 switch (operand->type)
1934 case M32R_OPERAND_DISP8: return BFD_RELOC_M32R_10_PCREL;
1935 case M32R_OPERAND_DISP16: return BFD_RELOC_M32R_18_PCREL;
1936 case M32R_OPERAND_DISP24: return BFD_RELOC_M32R_26_PCREL;
1937 case M32R_OPERAND_UIMM24: return BFD_RELOC_M32R_24;
1938 case M32R_OPERAND_HI16:
1939 case M32R_OPERAND_SLO16:
1940 case M32R_OPERAND_ULO16:
1941 /* If low/high/shigh/sda was used, it is recorded in `opinfo'. */
1942 if (fixP->fx_cgen.opinfo != 0)
1943 return fixP->fx_cgen.opinfo;
1944 break;
1945 default:
1946 /* Avoid -Wall warning. */
1947 break;
1949 return BFD_RELOC_NONE;
1952 /* Record a HI16 reloc for later matching with its LO16 cousin. */
1954 static void m32r_record_hi16 PARAMS ((int, fixS *, segT));
1956 static void
1957 m32r_record_hi16 (reloc_type, fixP, seg)
1958 int reloc_type;
1959 fixS *fixP;
1960 segT seg ATTRIBUTE_UNUSED;
1962 struct m32r_hi_fixup *hi_fixup;
1964 assert (reloc_type == BFD_RELOC_M32R_HI16_SLO
1965 || reloc_type == BFD_RELOC_M32R_HI16_ULO);
1967 hi_fixup = ((struct m32r_hi_fixup *)
1968 xmalloc (sizeof (struct m32r_hi_fixup)));
1969 hi_fixup->fixp = fixP;
1970 hi_fixup->seg = now_seg;
1971 hi_fixup->next = m32r_hi_fixup_list;
1973 m32r_hi_fixup_list = hi_fixup;
1976 /* Called while parsing an instruction to create a fixup.
1977 We need to check for HI16 relocs and queue them up for later sorting. */
1979 fixS *
1980 m32r_cgen_record_fixup_exp (frag, where, insn, length, operand, opinfo, exp)
1981 fragS *frag;
1982 int where;
1983 const CGEN_INSN *insn;
1984 int length;
1985 const CGEN_OPERAND *operand;
1986 int opinfo;
1987 expressionS *exp;
1989 fixS *fixP = gas_cgen_record_fixup_exp (frag, where, insn, length,
1990 operand, opinfo, exp);
1992 switch (operand->type)
1994 case M32R_OPERAND_HI16:
1995 /* If low/high/shigh/sda was used, it is recorded in `opinfo'. */
1996 if (fixP->fx_cgen.opinfo == BFD_RELOC_M32R_HI16_SLO
1997 || fixP->fx_cgen.opinfo == BFD_RELOC_M32R_HI16_ULO)
1998 m32r_record_hi16 (fixP->fx_cgen.opinfo, fixP, now_seg);
1999 break;
2000 default:
2001 /* Avoid -Wall warning */
2002 break;
2005 return fixP;
2008 /* Return BFD reloc type from opinfo field in a fixS.
2009 It's tricky using fx_r_type in m32r_frob_file because the values
2010 are BFD_RELOC_UNUSED + operand number. */
2011 #define FX_OPINFO_R_TYPE(f) ((f)->fx_cgen.opinfo)
2013 /* Sort any unmatched HI16 relocs so that they immediately precede
2014 the corresponding LO16 reloc. This is called before md_apply_fix3 and
2015 tc_gen_reloc. */
2017 void
2018 m32r_frob_file ()
2020 struct m32r_hi_fixup *l;
2022 for (l = m32r_hi_fixup_list; l != NULL; l = l->next)
2024 segment_info_type *seginfo;
2025 int pass;
2027 assert (FX_OPINFO_R_TYPE (l->fixp) == BFD_RELOC_M32R_HI16_SLO
2028 || FX_OPINFO_R_TYPE (l->fixp) == BFD_RELOC_M32R_HI16_ULO);
2030 /* Check quickly whether the next fixup happens to be a matching low. */
2031 if (l->fixp->fx_next != NULL
2032 && FX_OPINFO_R_TYPE (l->fixp->fx_next) == BFD_RELOC_M32R_LO16
2033 && l->fixp->fx_addsy == l->fixp->fx_next->fx_addsy
2034 && l->fixp->fx_offset == l->fixp->fx_next->fx_offset)
2035 continue;
2037 /* Look through the fixups for this segment for a matching `low'.
2038 When we find one, move the high/shigh just in front of it. We do
2039 this in two passes. In the first pass, we try to find a
2040 unique `low'. In the second pass, we permit multiple high's
2041 relocs for a single `low'. */
2042 seginfo = seg_info (l->seg);
2043 for (pass = 0; pass < 2; pass++)
2045 fixS *f;
2046 fixS *prev;
2048 prev = NULL;
2049 for (f = seginfo->fix_root; f != NULL; f = f->fx_next)
2051 /* Check whether this is a `low' fixup which matches l->fixp. */
2052 if (FX_OPINFO_R_TYPE (f) == BFD_RELOC_M32R_LO16
2053 && f->fx_addsy == l->fixp->fx_addsy
2054 && f->fx_offset == l->fixp->fx_offset
2055 && (pass == 1
2056 || prev == NULL
2057 || (FX_OPINFO_R_TYPE (prev) != BFD_RELOC_M32R_HI16_SLO
2058 && FX_OPINFO_R_TYPE (prev) != BFD_RELOC_M32R_HI16_ULO)
2059 || prev->fx_addsy != f->fx_addsy
2060 || prev->fx_offset != f->fx_offset))
2062 fixS **pf;
2064 /* Move l->fixp before f. */
2065 for (pf = &seginfo->fix_root;
2066 *pf != l->fixp;
2067 pf = & (*pf)->fx_next)
2068 assert (*pf != NULL);
2070 *pf = l->fixp->fx_next;
2072 l->fixp->fx_next = f;
2073 if (prev == NULL)
2074 seginfo->fix_root = l->fixp;
2075 else
2076 prev->fx_next = l->fixp;
2078 break;
2081 prev = f;
2084 if (f != NULL)
2085 break;
2087 if (pass == 1
2088 && warn_unmatched_high)
2089 as_warn_where (l->fixp->fx_file, l->fixp->fx_line,
2090 _("Unmatched high/shigh reloc"));
2095 /* See whether we need to force a relocation into the output file.
2096 This is used to force out switch and PC relative relocations when
2097 relaxing. */
2100 m32r_force_relocation (fix)
2101 fixS *fix;
2103 if (generic_force_reloc (fix))
2104 return 1;
2106 if (! m32r_relax)
2107 return 0;
2109 return fix->fx_pcrel;
2112 /* Write a value out to the object file, using the appropriate endianness. */
2114 void
2115 md_number_to_chars (buf, val, n)
2116 char *buf;
2117 valueT val;
2118 int n;
2120 if (target_big_endian)
2121 number_to_chars_bigendian (buf, val, n);
2122 else
2123 number_to_chars_littleendian (buf, val, n);
2126 /* Turn a string in input_line_pointer into a floating point constant
2127 of type TYPE, and store the appropriate bytes in *LITP. The number
2128 of LITTLENUMS emitted is stored in *SIZEP. An error message is
2129 returned, or NULL on OK. */
2131 /* Equal to MAX_PRECISION in atof-ieee.c. */
2132 #define MAX_LITTLENUMS 6
2134 char *
2135 md_atof (type, litP, sizeP)
2136 char type;
2137 char *litP;
2138 int *sizeP;
2140 int i;
2141 int prec;
2142 LITTLENUM_TYPE words[MAX_LITTLENUMS];
2143 char *t;
2145 switch (type)
2147 case 'f':
2148 case 'F':
2149 case 's':
2150 case 'S':
2151 prec = 2;
2152 break;
2154 case 'd':
2155 case 'D':
2156 case 'r':
2157 case 'R':
2158 prec = 4;
2159 break;
2161 /* FIXME: Some targets allow other format chars for bigger sizes
2162 here. */
2164 default:
2165 *sizeP = 0;
2166 return _("Bad call to md_atof()");
2169 t = atof_ieee (input_line_pointer, type, words);
2170 if (t)
2171 input_line_pointer = t;
2172 *sizeP = prec * sizeof (LITTLENUM_TYPE);
2174 if (target_big_endian)
2176 for (i = 0; i < prec; i++)
2178 md_number_to_chars (litP, (valueT) words[i],
2179 sizeof (LITTLENUM_TYPE));
2180 litP += sizeof (LITTLENUM_TYPE);
2183 else
2185 for (i = prec - 1; i >= 0; i--)
2187 md_number_to_chars (litP, (valueT) words[i],
2188 sizeof (LITTLENUM_TYPE));
2189 litP += sizeof (LITTLENUM_TYPE);
2193 return 0;
2196 void
2197 m32r_elf_section_change_hook ()
2199 /* If we have reached the end of a section and we have just emitted a
2200 16 bit insn, then emit a nop to make sure that the section ends on
2201 a 32 bit boundary. */
2203 if (prev_insn.insn || seen_relaxable_p)
2204 (void) m32r_fill_insn (0);
2207 /* Return true if can adjust the reloc to be relative to its section
2208 (such as .data) instead of relative to some symbol. */
2210 bfd_boolean
2211 m32r_fix_adjustable (fixP)
2212 fixS *fixP;
2214 bfd_reloc_code_real_type reloc_type;
2216 if ((int) fixP->fx_r_type >= (int) BFD_RELOC_UNUSED)
2218 const CGEN_INSN *insn = NULL;
2219 int opindex = (int) fixP->fx_r_type - (int) BFD_RELOC_UNUSED;
2220 const CGEN_OPERAND *operand =
2221 cgen_operand_lookup_by_num(gas_cgen_cpu_desc, opindex);
2222 reloc_type = md_cgen_lookup_reloc (insn, operand, fixP);
2224 else
2225 reloc_type = fixP->fx_r_type;
2227 if (fixP->fx_addsy == NULL)
2228 return 1;
2230 /* Prevent all adjustments to global symbols. */
2231 if (S_IS_EXTERN (fixP->fx_addsy))
2232 return 0;
2233 if (S_IS_WEAK (fixP->fx_addsy))
2234 return 0;
2236 if (pic_code
2237 && (reloc_type == BFD_RELOC_M32R_24
2238 || reloc_type == BFD_RELOC_M32R_26_PCREL
2239 || reloc_type == BFD_RELOC_M32R_HI16_SLO
2240 || reloc_type == BFD_RELOC_M32R_HI16_ULO
2241 || reloc_type == BFD_RELOC_M32R_LO16))
2242 return 0;
2244 /* We need the symbol name for the VTABLE entries. */
2245 if (reloc_type == BFD_RELOC_VTABLE_INHERIT
2246 || reloc_type == BFD_RELOC_VTABLE_ENTRY)
2247 return 0;
2249 return 1;
2252 void
2253 m32r_elf_final_processing ()
2255 if (use_parallel)
2256 m32r_flags |= E_M32R_HAS_PARALLEL;
2257 elf_elfheader (stdoutput)->e_flags |= m32r_flags;
2260 #define GOT_NAME "_GLOBAL_OFFSET_TABLE_"
2262 /* Translate internal representation of relocation info to BFD target
2263 format. */
2264 arelent *
2265 tc_gen_reloc (section, fixP)
2266 asection * section;
2267 fixS * fixP;
2269 arelent * reloc;
2270 bfd_reloc_code_real_type code;
2272 reloc = (arelent *) xmalloc (sizeof (arelent));
2274 reloc->sym_ptr_ptr = (asymbol **) xmalloc (sizeof (asymbol *));
2275 *reloc->sym_ptr_ptr = symbol_get_bfdsym (fixP->fx_addsy);
2276 reloc->address = fixP->fx_frag->fr_address + fixP->fx_where;
2278 code = fixP->fx_r_type;
2279 if (pic_code)
2281 #ifdef DEBUG_PIC
2282 printf("%s",bfd_get_reloc_code_name(code));
2283 #endif
2284 switch (code)
2286 case BFD_RELOC_M32R_26_PCREL:
2287 code = BFD_RELOC_M32R_26_PLTREL;
2288 break;
2289 case BFD_RELOC_M32R_24:
2290 if (fixP->fx_addsy != NULL
2291 && strcmp (S_GET_NAME (fixP->fx_addsy), GOT_NAME) == 0)
2292 code = BFD_RELOC_M32R_GOTPC24;
2293 else
2294 code = BFD_RELOC_M32R_GOT24;
2295 break;
2296 case BFD_RELOC_M32R_HI16_ULO:
2297 if (fixP->fx_addsy != NULL
2298 && strcmp (S_GET_NAME (fixP->fx_addsy), GOT_NAME) == 0)
2299 code = BFD_RELOC_M32R_GOTPC_HI_ULO;
2300 else
2301 code = BFD_RELOC_M32R_GOT16_HI_ULO;
2302 break;
2303 case BFD_RELOC_M32R_HI16_SLO:
2304 if (fixP->fx_addsy != NULL
2305 && strcmp (S_GET_NAME (fixP->fx_addsy), GOT_NAME) == 0)
2306 code = BFD_RELOC_M32R_GOTPC_HI_SLO;
2307 else
2308 code = BFD_RELOC_M32R_GOT16_HI_SLO;
2309 break;
2310 case BFD_RELOC_M32R_LO16:
2311 if (fixP->fx_addsy != NULL
2312 && strcmp (S_GET_NAME (fixP->fx_addsy), GOT_NAME) == 0)
2313 code = BFD_RELOC_M32R_GOTPC_LO;
2314 else
2315 code = BFD_RELOC_M32R_GOT16_LO;
2316 break;
2317 default:
2318 break;
2320 #ifdef DEBUG_PIC
2321 printf(" => %s",bfd_get_reloc_code_name(code));
2322 #endif
2325 reloc->howto = bfd_reloc_type_lookup (stdoutput, code);
2326 #ifdef DEBUG_PIC
2327 printf(" => %s\n",reloc->howto->name);
2328 #endif
2329 if (reloc->howto == (reloc_howto_type *) NULL)
2331 as_bad_where (fixP->fx_file, fixP->fx_line,
2332 _("internal error: can't export reloc type %d (`%s')"),
2333 fixP->fx_r_type, bfd_get_reloc_code_name (code));
2334 return NULL;
2337 /* Use fx_offset for these cases */
2338 if ( fixP->fx_r_type == BFD_RELOC_VTABLE_ENTRY
2339 || fixP->fx_r_type == BFD_RELOC_VTABLE_INHERIT)
2340 reloc->addend = fixP->fx_offset;
2341 else if (!pic_code
2342 && fixP->fx_pcrel
2343 && fixP->fx_addsy != NULL
2344 && (S_GET_SEGMENT(fixP->fx_addsy) != section)
2345 && S_IS_DEFINED (fixP->fx_addsy)
2346 && ! S_IS_EXTERNAL(fixP->fx_addsy)
2347 && ! S_IS_WEAK(fixP->fx_addsy))
2348 /* already used fx_offset in the opcode field itseld. */
2349 reloc->addend = 0;
2350 else
2351 reloc->addend = fixP->fx_addnumber;
2353 return reloc;