1 /* tc-m32c.c -- Assembler for the Renesas M32C.
2 Copyright (C) 2005, 2006 Free Software Foundation.
5 This file is part of GAS, the GNU Assembler.
7 GAS is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GAS is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
25 #include "opcodes/m32c-desc.h"
26 #include "opcodes/m32c-opc.h"
28 #include "elf/common.h"
31 #include "safe-ctype.h"
33 /* Structure to hold all of the different components
34 describing an individual instruction. */
37 const CGEN_INSN
* insn
;
38 const CGEN_INSN
* orig_insn
;
41 CGEN_INSN_INT buffer
[1];
42 #define INSN_VALUE(buf) (*(buf))
44 unsigned char buffer
[CGEN_MAX_INSN_SIZE
];
45 #define INSN_VALUE(buf) (buf)
50 fixS
* fixups
[GAS_CGEN_MAX_FIXUPS
];
51 int indices
[MAX_OPERAND_INSTANCES
];
55 #define rl_for(insn) (CGEN_ATTR_CGEN_INSN_RL_TYPE_VALUE (&(insn.insn->base->attrs)))
56 #define relaxable(insn) (CGEN_ATTR_CGEN_INSN_RELAXABLE_VALUE (&(insn.insn->base->attrs)))
58 const char comment_chars
[] = ";";
59 const char line_comment_chars
[] = "#";
60 const char line_separator_chars
[] = "|";
61 const char EXP_CHARS
[] = "eE";
62 const char FLT_CHARS
[] = "dD";
64 #define M32C_SHORTOPTS ""
65 const char * md_shortopts
= M32C_SHORTOPTS
;
67 /* assembler options */
68 #define OPTION_CPU_M16C (OPTION_MD_BASE)
69 #define OPTION_CPU_M32C (OPTION_MD_BASE + 1)
70 #define OPTION_LINKRELAX (OPTION_MD_BASE + 2)
72 struct option md_longopts
[] =
74 { "m16c", no_argument
, NULL
, OPTION_CPU_M16C
},
75 { "m32c", no_argument
, NULL
, OPTION_CPU_M32C
},
76 { "relax", no_argument
, NULL
, OPTION_LINKRELAX
},
77 {NULL
, no_argument
, NULL
, 0}
79 size_t md_longopts_size
= sizeof (md_longopts
);
83 #define DEFAULT_MACHINE bfd_mach_m16c
84 #define DEFAULT_FLAGS EF_M32C_CPU_M16C
86 static unsigned long m32c_mach
= bfd_mach_m16c
;
87 static int cpu_mach
= (1 << MACH_M16C
);
89 static int m32c_relax
= 0;
91 /* Flags to set in the elf header */
92 static flagword m32c_flags
= DEFAULT_FLAGS
;
94 static char default_isa
= 1 << (7 - ISA_M16C
);
95 static CGEN_BITSET m32c_isa
= {1, & default_isa
};
98 set_isa (enum isa_attr isa_num
)
100 cgen_bitset_set (& m32c_isa
, isa_num
);
103 static void s_bss (int);
106 md_parse_option (int c
, char * arg ATTRIBUTE_UNUSED
)
110 case OPTION_CPU_M16C
:
111 m32c_flags
= (m32c_flags
& ~EF_M32C_CPU_MASK
) | EF_M32C_CPU_M16C
;
112 m32c_mach
= bfd_mach_m16c
;
113 cpu_mach
= (1 << MACH_M16C
);
117 case OPTION_CPU_M32C
:
118 m32c_flags
= (m32c_flags
& ~EF_M32C_CPU_MASK
) | EF_M32C_CPU_M32C
;
119 m32c_mach
= bfd_mach_m32c
;
120 cpu_mach
= (1 << MACH_M32C
);
124 case OPTION_LINKRELAX
:
135 md_show_usage (FILE * stream
)
137 fprintf (stream
, _(" M32C specific command line options:\n"));
141 s_bss (int ignore ATTRIBUTE_UNUSED
)
145 temp
= get_absolute_expression ();
146 subseg_set (bss_section
, (subsegT
) temp
);
147 demand_empty_rest_of_line ();
150 /* The target specific pseudo-ops which we support. */
151 const pseudo_typeS md_pseudo_table
[] =
162 /* Initialize the `cgen' interface. */
164 /* Set the machine number and endian. */
165 gas_cgen_cpu_desc
= m32c_cgen_cpu_open (CGEN_CPU_OPEN_MACHS
, cpu_mach
,
166 CGEN_CPU_OPEN_ENDIAN
,
168 CGEN_CPU_OPEN_ISAS
, & m32c_isa
,
171 m32c_cgen_init_asm (gas_cgen_cpu_desc
);
173 /* This is a callback from cgen to gas to parse operands. */
174 cgen_set_parse_operand_fn (gas_cgen_cpu_desc
, gas_cgen_parse_operand
);
176 /* Set the ELF flags if desired. */
178 bfd_set_private_flags (stdoutput
, m32c_flags
);
180 /* Set the machine type */
181 bfd_default_set_arch_mach (stdoutput
, bfd_arch_m32c
, m32c_mach
);
191 if (bfd_get_section_flags (stdoutput
, now_seg
) & SEC_CODE
)
193 /* Pad with nops for objdump. */
194 n_nops
= (32 - ((insn_size
) % 32)) / 8;
195 for (i
= 1; i
<= n_nops
; i
++)
201 m32c_start_line_hook (void)
203 #if 0 /* not necessary....handled in the .cpu file */
204 char *s
= input_line_pointer
;
207 for (s
= input_line_pointer
; s
&& s
[0] != '\n'; s
++)
211 /* Remove :g suffix. Squeeze out blanks. */
214 for (sg
= s
- 1; sg
&& sg
>= input_line_pointer
; sg
--)
220 input_line_pointer
+= 2;
227 /* Process [[indirect-operands]] in instruction str. */
230 m32c_indirect_operand (char *str
)
237 enum indirect_type
{none
, relative
, absolute
} ;
238 enum indirect_type indirection
[3] = { none
, none
, none
};
239 int brace_n
[3] = { 0, 0, 0 };
244 for (s
= str
; *s
; s
++)
248 /* [abs] where abs is not a0 or a1 */
249 if (s
[1] == '[' && ! (s
[2] == 'a' && (s
[3] == '0' || s
[3] == '1'))
250 && (ISBLANK (s
[0]) || s
[0] == ','))
251 indirection
[operand
] = absolute
;
252 if (s
[0] == ']' && s
[1] == ']')
253 indirection
[operand
] = relative
;
254 if (s
[0] == '[' && s
[1] == '[')
255 indirection
[operand
] = relative
;
258 if (indirection
[1] == none
&& indirection
[2] == none
)
262 ns_len
= strlen (str
);
263 new_str
= (char*) xmalloc (ns_len
);
265 ns_end
= ns
+ ns_len
;
267 for (s
= str
; *s
; s
++)
272 if (s
[0] == '[' && ! brace_n
[operand
])
274 brace_n
[operand
] += 1;
275 /* Squeeze [[ to [ if this is an indirect operand. */
276 if (indirection
[operand
] != none
)
280 else if (s
[0] == '[' && brace_n
[operand
])
282 brace_n
[operand
] += 1;
284 else if (s
[0] == ']' && s
[1] == ']' && indirection
[operand
] == relative
)
286 s
+= 1; /* skip one ]. */
287 brace_n
[operand
] -= 2; /* allow for 2 [. */
289 else if (s
[0] == ']' && indirection
[operand
] == absolute
)
291 brace_n
[operand
] -= 1;
292 continue; /* skip closing ]. */
294 else if (s
[0] == ']')
296 brace_n
[operand
] -= 1;
306 for (operand
= 1; operand
<= 2; operand
++)
307 if (brace_n
[operand
])
309 fprintf (stderr
, "Unmatched [[operand-%d]] %d\n", operand
, brace_n
[operand
]);
312 if (indirection
[1] != none
&& indirection
[2] != none
)
313 md_assemble ("src-dest-indirect");
314 else if (indirection
[1] != none
)
315 md_assemble ("src-indirect");
316 else if (indirection
[2] != none
)
317 md_assemble ("dest-indirect");
319 md_assemble (new_str
);
325 md_assemble (char * str
)
327 static int last_insn_had_delay_slot
= 0;
330 finished_insnS results
;
333 if (m32c_mach
== bfd_mach_m32c
&& m32c_indirect_operand (str
))
336 /* Initialize GAS's cgen interface for a new instruction. */
337 gas_cgen_init_parse ();
339 insn
.insn
= m32c_cgen_assemble_insn
340 (gas_cgen_cpu_desc
, str
, & insn
.fields
, insn
.buffer
, & errmsg
);
344 as_bad ("%s", errmsg
);
348 results
.num_fixups
= 0;
349 /* Doesn't really matter what we pass for RELAX_P here. */
350 gas_cgen_finish_insn (insn
.insn
, insn
.buffer
,
351 CGEN_FIELDS_BITSIZE (& insn
.fields
), 1, &results
);
353 last_insn_had_delay_slot
354 = CGEN_INSN_ATTR_VALUE (insn
.insn
, CGEN_INSN_DELAY_SLOT
);
355 insn_size
= CGEN_INSN_BITSIZE(insn
.insn
);
357 rl_type
= rl_for (insn
);
359 /* We have to mark all the jumps, because we need to adjust them
360 when we delete bytes, but we only need to mark the displacements
361 if they're symbolic - if they're not, we've already picked the
362 shortest opcode by now. The linker, however, will still have to
363 check any operands to see if they're the displacement type, since
364 we don't know (nor record) *which* operands are relaxable. */
366 && rl_type
!= RL_TYPE_NONE
367 && (rl_type
== RL_TYPE_JUMP
|| results
.num_fixups
)
368 && !relaxable (insn
))
371 int addend
= results
.num_fixups
+ 16 * insn_size
/8;
373 switch (rl_for (insn
))
375 case RL_TYPE_JUMP
: reloc
= BFD_RELOC_M32C_RL_JUMP
; break;
376 case RL_TYPE_1ADDR
: reloc
= BFD_RELOC_M32C_RL_1ADDR
; break;
377 case RL_TYPE_2ADDR
: reloc
= BFD_RELOC_M32C_RL_2ADDR
; break;
379 if (insn
.insn
->base
->num
== M32C_INSN_JMP16_S
380 || insn
.insn
->base
->num
== M32C_INSN_JMP32_S
)
383 fix_new (results
.frag
,
384 results
.addr
- results
.frag
->fr_literal
,
385 0, abs_section_sym
, addend
, 0,
390 /* The syntax in the manual says constants begin with '#'.
391 We just ignore it. */
394 md_operand (expressionS
* exp
)
396 /* In case of a syntax error, escape back to try next syntax combo. */
397 if (exp
->X_op
== O_absent
)
398 gas_cgen_md_operand (exp
);
402 md_section_align (segT segment
, valueT size
)
404 int align
= bfd_get_section_alignment (stdoutput
, segment
);
405 return ((size
+ (1 << align
) - 1) & (-1 << align
));
409 md_undefined_symbol (char * name ATTRIBUTE_UNUSED
)
414 const relax_typeS md_relax_table
[] =
417 1) most positive reach of this state,
418 2) most negative reach of this state,
419 3) how many bytes this mode will have in the variable part of the frag
420 4) which index into the table to try if we can't fit into this one. */
422 /* 0 */ { 0, 0, 0, 0 }, /* unused */
423 /* 1 */ { 0, 0, 0, 0 }, /* marker for "don't know yet" */
425 /* 2 */ { 127, -128, 2, 3 }, /* jcnd16_5.b */
426 /* 3 */ { 32767, -32768, 5, 4 }, /* jcnd16_5.w */
427 /* 4 */ { 0, 0, 6, 0 }, /* jcnd16_5.a */
429 /* 5 */ { 127, -128, 2, 6 }, /* jcnd16.b */
430 /* 6 */ { 32767, -32768, 5, 7 }, /* jcnd16.w */
431 /* 7 */ { 0, 0, 6, 0 }, /* jcnd16.a */
433 /* 8 */ { 8, 1, 1, 9 }, /* jmp16.s */
434 /* 9 */ { 127, -128, 2, 10 }, /* jmp16.b */
435 /* 10 */ { 32767, -32768, 3, 11 }, /* jmp16.w */
436 /* 11 */ { 0, 0, 4, 0 }, /* jmp16.a */
438 /* 12 */ { 127, -128, 2, 13 }, /* jcnd32.b */
439 /* 13 */ { 32767, -32768, 5, 14 }, /* jcnd32.w */
440 /* 14 */ { 0, 0, 6, 0 }, /* jcnd32.a */
442 /* 15 */ { 8, 1, 1, 16 }, /* jmp32.s */
443 /* 16 */ { 127, -128, 2, 17 }, /* jmp32.b */
444 /* 17 */ { 32767, -32768, 3, 18 }, /* jmp32.w */
445 /* 18 */ { 0, 0, 4, 0 }, /* jmp32.a */
447 /* 19 */ { 32767, -32768, 3, 20 }, /* jsr16.w */
448 /* 20 */ { 0, 0, 4, 0 }, /* jsr16.a */
449 /* 21 */ { 32767, -32768, 3, 11 }, /* jsr32.w */
450 /* 22 */ { 0, 0, 4, 0 } /* jsr32.a */
454 M32C_MACRO_JCND16_5_W
,
455 M32C_MACRO_JCND16_5_A
,
466 int pcrel_aim_offset
;
467 } subtype_mappings
[] = {
468 /* 0 */ { 0, 0, 0, 0 },
469 /* 1 */ { 0, 0, 0, 0 },
471 /* 2 */ { M32C_INSN_JCND16_5
, 2, -M32C_MACRO_JCND16_5_A
, 1 },
472 /* 3 */ { -M32C_MACRO_JCND16_5_W
, 5, -M32C_MACRO_JCND16_5_A
, 4 },
473 /* 4 */ { -M32C_MACRO_JCND16_5_A
, 6, -M32C_MACRO_JCND16_5_A
, 0 },
475 /* 5 */ { M32C_INSN_JCND16
, 3, -M32C_MACRO_JCND16_A
, 1 },
476 /* 6 */ { -M32C_MACRO_JCND16_W
, 6, -M32C_MACRO_JCND16_A
, 4 },
477 /* 7 */ { -M32C_MACRO_JCND16_A
, 7, -M32C_MACRO_JCND16_A
, 0 },
479 /* 8 */ { M32C_INSN_JMP16_S
, 1, M32C_INSN_JMP16_A
, 0 },
480 /* 9 */ { M32C_INSN_JMP16_B
, 2, M32C_INSN_JMP16_A
, 1 },
481 /* 10 */ { M32C_INSN_JMP16_W
, 3, M32C_INSN_JMP16_A
, 2 },
482 /* 11 */ { M32C_INSN_JMP16_A
, 4, M32C_INSN_JMP16_A
, 0 },
484 /* 12 */ { M32C_INSN_JCND32
, 2, -M32C_MACRO_JCND32_A
, 1 },
485 /* 13 */ { -M32C_MACRO_JCND32_W
, 5, -M32C_MACRO_JCND32_A
, 4 },
486 /* 14 */ { -M32C_MACRO_JCND32_A
, 6, -M32C_MACRO_JCND32_A
, 0 },
488 /* 15 */ { M32C_INSN_JMP32_S
, 1, M32C_INSN_JMP32_A
, 0 },
489 /* 16 */ { M32C_INSN_JMP32_B
, 2, M32C_INSN_JMP32_A
, 1 },
490 /* 17 */ { M32C_INSN_JMP32_W
, 3, M32C_INSN_JMP32_A
, 2 },
491 /* 18 */ { M32C_INSN_JMP32_A
, 4, M32C_INSN_JMP32_A
, 0 },
493 /* 19 */ { M32C_INSN_JSR16_W
, 3, M32C_INSN_JSR16_A
, 2 },
494 /* 20 */ { M32C_INSN_JSR16_A
, 4, M32C_INSN_JSR16_A
, 0 },
495 /* 21 */ { M32C_INSN_JSR32_W
, 3, M32C_INSN_JSR32_A
, 2 },
496 /* 22 */ { M32C_INSN_JSR32_A
, 4, M32C_INSN_JSR32_A
, 0 }
498 #define NUM_MAPPINGS (sizeof (subtype_mappings) / sizeof (subtype_mappings[0]))
501 m32c_prepare_relax_scan (fragS
*fragP
, offsetT
*aim
, relax_substateT this_state
)
503 symbolS
*symbolP
= fragP
->fr_symbol
;
504 if (symbolP
&& !S_IS_DEFINED (symbolP
))
506 /* Adjust for m32c pcrel not being relative to the next opcode. */
507 *aim
+= subtype_mappings
[this_state
].pcrel_aim_offset
;
511 insn_to_subtype (int insn
)
514 for (i
=0; i
<NUM_MAPPINGS
; i
++)
515 if (insn
== subtype_mappings
[i
].insn
)
517 /*printf("mapping %d used\n", i);*/
523 /* Return an initial guess of the length by which a fragment must grow to
524 hold a branch to reach its destination.
525 Also updates fr_type/fr_subtype as necessary.
527 Called just before doing relaxation.
528 Any symbol that is now undefined will not become defined.
529 The guess for fr_var is ACTUALLY the growth beyond fr_fix.
530 Whatever we do to grow fr_fix or fr_var contributes to our returned value.
531 Although it may not be explicit in the frag, pretend fr_var starts with a
535 md_estimate_size_before_relax (fragS
* fragP
, segT segment ATTRIBUTE_UNUSED
)
537 int where
= fragP
->fr_opcode
- fragP
->fr_literal
;
539 if (fragP
->fr_subtype
== 1)
540 fragP
->fr_subtype
= insn_to_subtype (fragP
->fr_cgen
.insn
->base
->num
);
542 if (S_GET_SEGMENT (fragP
->fr_symbol
) != segment
)
546 new_insn
= subtype_mappings
[fragP
->fr_subtype
].insn_for_extern
;
547 fragP
->fr_subtype
= insn_to_subtype (new_insn
);
550 if (fragP
->fr_cgen
.insn
->base
551 && fragP
->fr_cgen
.insn
->base
->num
552 != subtype_mappings
[fragP
->fr_subtype
].insn
553 && subtype_mappings
[fragP
->fr_subtype
].insn
> 0)
555 int new_insn
= subtype_mappings
[fragP
->fr_subtype
].insn
;
558 fragP
->fr_cgen
.insn
= (fragP
->fr_cgen
.insn
559 - fragP
->fr_cgen
.insn
->base
->num
564 return subtype_mappings
[fragP
->fr_subtype
].bytes
- (fragP
->fr_fix
- where
);
567 /* *fragP has been relaxed to its final size, and now needs to have
568 the bytes inside it modified to conform to the new size.
570 Called after relaxation is finished.
571 fragP->fr_type == rs_machine_dependent.
572 fragP->fr_subtype is the subtype of what the address relaxed to. */
575 target_address_for (fragS
*frag
)
577 int rv
= frag
->fr_offset
;
578 symbolS
*sym
= frag
->fr_symbol
;
581 rv
+= S_GET_VALUE (sym
);
583 /*printf("target_address_for returns %d\n", rv);*/
588 md_convert_frag (bfd
* abfd ATTRIBUTE_UNUSED
,
589 segT sec ATTRIBUTE_UNUSED
,
590 fragS
* fragP ATTRIBUTE_UNUSED
)
595 int where
= fragP
->fr_opcode
- fragP
->fr_literal
;
596 int rl_where
= fragP
->fr_opcode
- fragP
->fr_literal
;
597 unsigned char *op
= (unsigned char *)fragP
->fr_opcode
;
602 addend
= target_address_for (fragP
) - (fragP
->fr_address
+ where
);
603 new_insn
= subtype_mappings
[fragP
->fr_subtype
].insn
;
605 fragP
->fr_fix
= where
+ subtype_mappings
[fragP
->fr_subtype
].bytes
;
609 switch (subtype_mappings
[fragP
->fr_subtype
].insn
)
611 case M32C_INSN_JCND16_5
:
613 operand
= M32C_OPERAND_LAB_8_8
;
618 case -M32C_MACRO_JCND16_5_W
:
623 op
[4] = (addend
- 3) >> 8;
624 operand
= M32C_OPERAND_LAB_8_16
;
626 new_insn
= M32C_INSN_JMP16_W
;
632 case -M32C_MACRO_JCND16_5_A
:
636 operand
= M32C_OPERAND_LAB_8_24
;
638 new_insn
= M32C_INSN_JMP16_A
;
645 case M32C_INSN_JCND16
:
647 operand
= M32C_OPERAND_LAB_16_8
;
653 case -M32C_MACRO_JCND16_W
:
658 op
[5] = (addend
- 4) >> 8;
659 operand
= M32C_OPERAND_LAB_8_16
;
661 new_insn
= M32C_INSN_JMP16_W
;
667 case -M32C_MACRO_JCND16_A
:
671 operand
= M32C_OPERAND_LAB_8_24
;
673 new_insn
= M32C_INSN_JMP16_A
;
679 case M32C_INSN_JMP16_S
:
680 op
[0] = 0x60 | ((addend
-2) & 0x07);
681 operand
= M32C_OPERAND_LAB_5_3
;
687 case M32C_INSN_JMP16_B
:
690 operand
= M32C_OPERAND_LAB_8_8
;
696 case M32C_INSN_JMP16_W
:
699 op
[2] = (addend
- 1) >> 8;
700 operand
= M32C_OPERAND_LAB_8_16
;
706 case M32C_INSN_JMP16_A
:
711 operand
= M32C_OPERAND_LAB_8_24
;
717 case M32C_INSN_JCND32
:
719 operand
= M32C_OPERAND_LAB_8_8
;
725 case -M32C_MACRO_JCND32_W
:
730 op
[4] = (addend
- 3) >> 8;
731 operand
= M32C_OPERAND_LAB_8_16
;
733 new_insn
= M32C_INSN_JMP32_W
;
739 case -M32C_MACRO_JCND32_A
:
743 operand
= M32C_OPERAND_LAB_8_24
;
745 new_insn
= M32C_INSN_JMP32_A
;
753 case M32C_INSN_JMP32_S
:
754 addend
= ((addend
-2) & 0x07);
755 op
[0] = 0x4a | (addend
& 0x01) | ((addend
<< 3) & 0x30);
756 operand
= M32C_OPERAND_LAB32_JMP_S
;
762 case M32C_INSN_JMP32_B
:
765 operand
= M32C_OPERAND_LAB_8_8
;
771 case M32C_INSN_JMP32_W
:
774 op
[2] = (addend
- 1) >> 8;
775 operand
= M32C_OPERAND_LAB_8_16
;
781 case M32C_INSN_JMP32_A
:
786 operand
= M32C_OPERAND_LAB_8_24
;
793 case M32C_INSN_JSR16_W
:
796 op
[2] = (addend
- 1) >> 8;
797 operand
= M32C_OPERAND_LAB_8_16
;
803 case M32C_INSN_JSR16_A
:
808 operand
= M32C_OPERAND_LAB_8_24
;
814 case M32C_INSN_JSR32_W
:
817 op
[2] = (addend
- 1) >> 8;
818 operand
= M32C_OPERAND_LAB_8_16
;
824 case M32C_INSN_JSR32_A
:
829 operand
= M32C_OPERAND_LAB_8_24
;
838 printf("\nHey! Need more opcode converters! missing: %d %s\n\n",
840 fragP
->fr_cgen
.insn
->base
->name
);
846 if (operand
!= M32C_OPERAND_LAB_8_24
)
847 fragP
->fr_offset
= (fragP
->fr_address
+ where
);
851 0, abs_section_sym
, rl_addend
, 0,
852 BFD_RELOC_M32C_RL_JUMP
);
855 if (S_GET_SEGMENT (fragP
->fr_symbol
) != sec
856 || operand
== M32C_OPERAND_LAB_8_24
857 || (m32c_relax
&& (operand
!= M32C_OPERAND_LAB_5_3
858 && operand
!= M32C_OPERAND_LAB32_JMP_S
)))
860 assert (fragP
->fr_cgen
.insn
!= 0);
861 gas_cgen_record_fixup (fragP
,
864 (fragP
->fr_fix
- where
) * 8,
865 cgen_operand_lookup_by_num (gas_cgen_cpu_desc
,
867 fragP
->fr_cgen
.opinfo
,
868 fragP
->fr_symbol
, fragP
->fr_offset
);
872 /* Functions concerning relocs. */
874 /* The location from which a PC relative jump should be calculated,
875 given a PC relative reloc. */
878 md_pcrel_from_section (fixS
* fixP
, segT sec
)
880 if (fixP
->fx_addsy
!= (symbolS
*) NULL
881 && (! S_IS_DEFINED (fixP
->fx_addsy
)
882 || S_GET_SEGMENT (fixP
->fx_addsy
) != sec
))
883 /* The symbol is undefined (or is defined but not in this section).
884 Let the linker figure it out. */
887 return (fixP
->fx_frag
->fr_address
+ fixP
->fx_where
);
890 /* Return the bfd reloc type for OPERAND of INSN at fixup FIXP.
891 Returns BFD_RELOC_NONE if no reloc type can be found.
892 *FIXP may be modified if desired. */
894 bfd_reloc_code_real_type
895 md_cgen_lookup_reloc (const CGEN_INSN
* insn ATTRIBUTE_UNUSED
,
896 const CGEN_OPERAND
* operand
,
897 fixS
* fixP ATTRIBUTE_UNUSED
)
899 static const struct op_reloc
{
900 /* A CGEN operand type that can be a relocatable expression. */
901 CGEN_OPERAND_TYPE operand
;
903 /* The appropriate BFD reloc type to use for that. */
904 bfd_reloc_code_real_type reloc
;
906 /* The offset from the start of the instruction to the field to be
907 relocated, in bytes. */
909 } op_reloc_table
[] = {
911 /* PC-REL relocs for 8-bit fields. */
912 { M32C_OPERAND_LAB_8_8
, BFD_RELOC_8_PCREL
, 1 },
913 { M32C_OPERAND_LAB_16_8
, BFD_RELOC_8_PCREL
, 2 },
914 { M32C_OPERAND_LAB_24_8
, BFD_RELOC_8_PCREL
, 3 },
915 { M32C_OPERAND_LAB_32_8
, BFD_RELOC_8_PCREL
, 4 },
916 { M32C_OPERAND_LAB_40_8
, BFD_RELOC_8_PCREL
, 5 },
918 /* PC-REL relocs for 16-bit fields. */
919 { M32C_OPERAND_LAB_8_16
, BFD_RELOC_16_PCREL
, 1 },
921 /* Absolute relocs for 8-bit fields. */
922 { M32C_OPERAND_IMM_8_QI
, BFD_RELOC_8
, 1 },
923 { M32C_OPERAND_IMM_16_QI
, BFD_RELOC_8
, 2 },
924 { M32C_OPERAND_IMM_24_QI
, BFD_RELOC_8
, 3 },
925 { M32C_OPERAND_IMM_32_QI
, BFD_RELOC_8
, 4 },
926 { M32C_OPERAND_IMM_40_QI
, BFD_RELOC_8
, 5 },
927 { M32C_OPERAND_IMM_48_QI
, BFD_RELOC_8
, 6 },
928 { M32C_OPERAND_IMM_56_QI
, BFD_RELOC_8
, 7 },
929 { M32C_OPERAND_DSP_8_S8
, BFD_RELOC_8
, 1 },
930 { M32C_OPERAND_DSP_16_S8
, BFD_RELOC_8
, 2 },
931 { M32C_OPERAND_DSP_24_S8
, BFD_RELOC_8
, 3 },
932 { M32C_OPERAND_DSP_32_S8
, BFD_RELOC_8
, 4 },
933 { M32C_OPERAND_DSP_40_S8
, BFD_RELOC_8
, 5 },
934 { M32C_OPERAND_DSP_48_S8
, BFD_RELOC_8
, 6 },
935 { M32C_OPERAND_DSP_8_U8
, BFD_RELOC_8
, 1 },
936 { M32C_OPERAND_DSP_16_U8
, BFD_RELOC_8
, 2 },
937 { M32C_OPERAND_DSP_24_U8
, BFD_RELOC_8
, 3 },
938 { M32C_OPERAND_DSP_32_U8
, BFD_RELOC_8
, 4 },
939 { M32C_OPERAND_DSP_40_U8
, BFD_RELOC_8
, 5 },
940 { M32C_OPERAND_DSP_48_U8
, BFD_RELOC_8
, 6 },
941 { M32C_OPERAND_BITBASE32_16_S11_UNPREFIXED
, BFD_RELOC_8
, 2 },
942 { M32C_OPERAND_BITBASE32_16_U11_UNPREFIXED
, BFD_RELOC_8
, 2 },
943 { M32C_OPERAND_BITBASE32_24_S11_PREFIXED
, BFD_RELOC_8
, 3 },
944 { M32C_OPERAND_BITBASE32_24_U11_PREFIXED
, BFD_RELOC_8
, 3 },
946 /* Absolute relocs for 16-bit fields. */
947 { M32C_OPERAND_IMM_8_HI
, BFD_RELOC_16
, 1 },
948 { M32C_OPERAND_IMM_16_HI
, BFD_RELOC_16
, 2 },
949 { M32C_OPERAND_IMM_24_HI
, BFD_RELOC_16
, 3 },
950 { M32C_OPERAND_IMM_32_HI
, BFD_RELOC_16
, 4 },
951 { M32C_OPERAND_IMM_40_HI
, BFD_RELOC_16
, 5 },
952 { M32C_OPERAND_IMM_48_HI
, BFD_RELOC_16
, 6 },
953 { M32C_OPERAND_IMM_56_HI
, BFD_RELOC_16
, 7 },
954 { M32C_OPERAND_IMM_64_HI
, BFD_RELOC_16
, 8 },
955 { M32C_OPERAND_DSP_16_S16
, BFD_RELOC_16
, 2 },
956 { M32C_OPERAND_DSP_24_S16
, BFD_RELOC_16
, 3 },
957 { M32C_OPERAND_DSP_32_S16
, BFD_RELOC_16
, 4 },
958 { M32C_OPERAND_DSP_40_S16
, BFD_RELOC_16
, 5 },
959 { M32C_OPERAND_DSP_8_U16
, BFD_RELOC_16
, 1 },
960 { M32C_OPERAND_DSP_16_U16
, BFD_RELOC_16
, 2 },
961 { M32C_OPERAND_DSP_24_U16
, BFD_RELOC_16
, 3 },
962 { M32C_OPERAND_DSP_32_U16
, BFD_RELOC_16
, 4 },
963 { M32C_OPERAND_DSP_40_U16
, BFD_RELOC_16
, 5 },
964 { M32C_OPERAND_DSP_48_U16
, BFD_RELOC_16
, 6 },
965 { M32C_OPERAND_BITBASE32_16_S19_UNPREFIXED
, BFD_RELOC_16
, 2 },
966 { M32C_OPERAND_BITBASE32_16_U19_UNPREFIXED
, BFD_RELOC_16
, 2 },
967 { M32C_OPERAND_BITBASE32_24_S19_PREFIXED
, BFD_RELOC_16
, 3 },
968 { M32C_OPERAND_BITBASE32_24_U19_PREFIXED
, BFD_RELOC_16
, 3 },
970 /* Absolute relocs for 24-bit fields. */
971 { M32C_OPERAND_LAB_8_24
, BFD_RELOC_24
, 1 },
972 { M32C_OPERAND_DSP_8_S24
, BFD_RELOC_24
, 1 },
973 { M32C_OPERAND_DSP_8_U24
, BFD_RELOC_24
, 1 },
974 { M32C_OPERAND_DSP_16_U24
, BFD_RELOC_24
, 2 },
975 { M32C_OPERAND_DSP_24_U24
, BFD_RELOC_24
, 3 },
976 { M32C_OPERAND_DSP_32_U24
, BFD_RELOC_24
, 4 },
977 { M32C_OPERAND_DSP_40_U24
, BFD_RELOC_24
, 5 },
978 { M32C_OPERAND_DSP_48_U24
, BFD_RELOC_24
, 6 },
979 { M32C_OPERAND_DSP_16_U20
, BFD_RELOC_24
, 2 },
980 { M32C_OPERAND_DSP_24_U20
, BFD_RELOC_24
, 3 },
981 { M32C_OPERAND_DSP_32_U20
, BFD_RELOC_24
, 4 },
982 { M32C_OPERAND_BITBASE32_16_U27_UNPREFIXED
, BFD_RELOC_24
, 2 },
983 { M32C_OPERAND_BITBASE32_24_U27_PREFIXED
, BFD_RELOC_24
, 3 },
985 /* Absolute relocs for 32-bit fields. */
986 { M32C_OPERAND_IMM_16_SI
, BFD_RELOC_32
, 2 },
987 { M32C_OPERAND_IMM_24_SI
, BFD_RELOC_32
, 3 },
988 { M32C_OPERAND_IMM_32_SI
, BFD_RELOC_32
, 4 },
989 { M32C_OPERAND_IMM_40_SI
, BFD_RELOC_32
, 5 },
995 for (i
= ARRAY_SIZE (op_reloc_table
); --i
>= 0; )
997 const struct op_reloc
*or = &op_reloc_table
[i
];
999 if (or->operand
== operand
->type
)
1001 fixP
->fx_where
+= or->offset
;
1002 fixP
->fx_size
-= or->offset
;
1004 if (fixP
->fx_cgen
.opinfo
1005 && fixP
->fx_cgen
.opinfo
!= BFD_RELOC_NONE
)
1006 return fixP
->fx_cgen
.opinfo
;
1014 "Error: tc-m32c.c:md_cgen_lookup_reloc Unimplemented relocation for operand %s\n",
1017 return BFD_RELOC_NONE
;
1021 m32c_apply_fix (struct fix
*f
, valueT
*t
, segT s
)
1023 if (f
->fx_r_type
== BFD_RELOC_M32C_RL_JUMP
1024 || f
->fx_r_type
== BFD_RELOC_M32C_RL_1ADDR
1025 || f
->fx_r_type
== BFD_RELOC_M32C_RL_2ADDR
)
1027 gas_cgen_md_apply_fix (f
, t
, s
);
1031 tc_gen_reloc (asection
*sec
, fixS
*fx
)
1033 if (fx
->fx_r_type
== BFD_RELOC_M32C_RL_JUMP
1034 || fx
->fx_r_type
== BFD_RELOC_M32C_RL_1ADDR
1035 || fx
->fx_r_type
== BFD_RELOC_M32C_RL_2ADDR
)
1039 reloc
= xmalloc (sizeof (* reloc
));
1041 reloc
->sym_ptr_ptr
= xmalloc (sizeof (asymbol
*));
1042 *reloc
->sym_ptr_ptr
= symbol_get_bfdsym (fx
->fx_addsy
);
1043 reloc
->address
= fx
->fx_frag
->fr_address
+ fx
->fx_where
;
1044 reloc
->howto
= bfd_reloc_type_lookup (stdoutput
, fx
->fx_r_type
);
1045 reloc
->addend
= fx
->fx_offset
;
1049 return gas_cgen_tc_gen_reloc (sec
, fx
);
1052 /* See whether we need to force a relocation into the output file.
1053 This is used to force out switch and PC relative relocations when
1057 m32c_force_relocation (fixS
* fixp
)
1059 int reloc
= fixp
->fx_r_type
;
1061 if (reloc
> (int)BFD_RELOC_UNUSED
)
1063 reloc
-= (int)BFD_RELOC_UNUSED
;
1066 case M32C_OPERAND_DSP_32_S16
:
1067 case M32C_OPERAND_DSP_32_U16
:
1068 case M32C_OPERAND_IMM_32_HI
:
1069 case M32C_OPERAND_DSP_16_S16
:
1070 case M32C_OPERAND_DSP_16_U16
:
1071 case M32C_OPERAND_IMM_16_HI
:
1072 case M32C_OPERAND_DSP_24_S16
:
1073 case M32C_OPERAND_DSP_24_U16
:
1074 case M32C_OPERAND_IMM_24_HI
:
1077 /* If we're doing linker relaxing, we need to keep all the
1078 pc-relative jumps in case we need to fix them due to
1079 deleted bytes between the jump and its destination. */
1080 case M32C_OPERAND_LAB_8_8
:
1081 case M32C_OPERAND_LAB_8_16
:
1082 case M32C_OPERAND_LAB_8_24
:
1083 case M32C_OPERAND_LAB_16_8
:
1084 case M32C_OPERAND_LAB_24_8
:
1085 case M32C_OPERAND_LAB_32_8
:
1086 case M32C_OPERAND_LAB_40_8
:
1095 switch (fixp
->fx_r_type
)
1100 case BFD_RELOC_M32C_RL_JUMP
:
1101 case BFD_RELOC_M32C_RL_1ADDR
:
1102 case BFD_RELOC_M32C_RL_2ADDR
:
1103 case BFD_RELOC_8_PCREL
:
1104 case BFD_RELOC_16_PCREL
:
1112 return generic_force_reloc (fixp
);
1115 /* Write a value out to the object file, using the appropriate endianness. */
1118 md_number_to_chars (char * buf
, valueT val
, int n
)
1120 number_to_chars_littleendian (buf
, val
, n
);
1123 /* Turn a string in input_line_pointer into a floating point constant of type
1124 type, and store the appropriate bytes in *litP. The number of LITTLENUMS
1125 emitted is stored in *sizeP . An error message is returned, or NULL on OK. */
1127 /* Equal to MAX_PRECISION in atof-ieee.c. */
1128 #define MAX_LITTLENUMS 6
1131 md_atof (int type
, char * litP
, int * sizeP
)
1135 LITTLENUM_TYPE words
[MAX_LITTLENUMS
];
1154 /* FIXME: Some targets allow other format chars for bigger sizes here. */
1158 return _("Bad call to md_atof()");
1161 t
= atof_ieee (input_line_pointer
, type
, words
);
1163 input_line_pointer
= t
;
1164 * sizeP
= prec
* sizeof (LITTLENUM_TYPE
);
1166 for (i
= 0; i
< prec
; i
++)
1168 md_number_to_chars (litP
, (valueT
) words
[i
],
1169 sizeof (LITTLENUM_TYPE
));
1170 litP
+= sizeof (LITTLENUM_TYPE
);
1177 m32c_fix_adjustable (fixS
* fixP
)
1180 if (fixP
->fx_addsy
== NULL
)
1183 /* We need the symbol name for the VTABLE entries. */
1184 reloc
= fixP
->fx_r_type
;
1185 if (reloc
> (int)BFD_RELOC_UNUSED
)
1187 reloc
-= (int)BFD_RELOC_UNUSED
;
1190 case M32C_OPERAND_DSP_32_S16
:
1191 case M32C_OPERAND_DSP_32_U16
:
1192 case M32C_OPERAND_IMM_32_HI
:
1193 case M32C_OPERAND_DSP_16_S16
:
1194 case M32C_OPERAND_DSP_16_U16
:
1195 case M32C_OPERAND_IMM_16_HI
:
1196 case M32C_OPERAND_DSP_24_S16
:
1197 case M32C_OPERAND_DSP_24_U16
:
1198 case M32C_OPERAND_IMM_24_HI
:
1204 if (fixP
->fx_r_type
== BFD_RELOC_16
)
1208 /* Do not adjust relocations involving symbols in merged sections.
1210 A reloc patching in the value of some symbol S plus some addend A
1211 can be produced in different ways:
1213 1) It might simply be a reference to the data at S + A. Clearly,
1214 if linker merging shift that data around, the value patched in
1215 by the reloc needs to be adjusted accordingly.
1217 2) Or, it might be a reference to S, with A added in as a constant
1218 bias. For example, given code like this:
1224 it would be reasonable for the compiler to rearrange the array
1225 reference to something like:
1229 and emit assembly code that refers to S - (8 * sizeof (int)),
1230 so the subtraction is done entirely at compile-time. In this
1231 case, the reloc's addend A would be -(8 * sizeof (int)), and
1232 shifting around code or data at S + A should not affect the
1233 reloc: the reloc isn't referring to that code or data at all.
1235 The linker has no way of knowing which case it has in hand. So,
1236 to disambiguate, we have the linker always treat reloc addends as
1237 in case 2): they're constants that should be simply added to the
1238 symbol value, just like the reloc says. And we express case 1)
1239 in different way: we have the compiler place a label at the real
1240 target, and reference that label with an addend of zero. (The
1241 compiler is unlikely to reference code using a label plus an
1242 offset anyway, since it doesn't know the sizes of the
1245 The simplification being done by gas/write.c:adjust_reloc_syms,
1246 however, turns the explicit-label usage into the label-plus-
1247 offset usage, re-introducing the ambiguity the compiler avoided.
1248 So we need to disable that simplification for symbols referring
1251 This only affects object size a little bit. */
1252 if (S_GET_SEGMENT (fixP
->fx_addsy
)->flags
& SEC_MERGE
)
1261 /* Worker function for m32c_is_colon_insn(). */
1262 static char restore_colon
PARAMS ((int));
1265 restore_colon (int advance_i_l_p_by
)
1269 /* Restore the colon, and advance input_line_pointer to
1270 the end of the new symbol. */
1271 * input_line_pointer
= ':';
1272 input_line_pointer
+= advance_i_l_p_by
;
1273 c
= * input_line_pointer
;
1274 * input_line_pointer
= 0;
1279 /* Determines if the symbol starting at START and ending in
1280 a colon that was at the location pointed to by INPUT_LINE_POINTER
1281 (but which has now been replaced bu a NUL) is in fact an
1282 :Z, :S, :Q, or :G suffix.
1283 If it is, then it restores the colon, advances INPUT_LINE_POINTER
1284 to the real end of the instruction/symbol, and returns the character
1285 that really terminated the symbol. Otherwise it returns 0. */
1287 m32c_is_colon_insn (char *start ATTRIBUTE_UNUSED
)
1289 char * i_l_p
= input_line_pointer
;
1291 /* Check to see if the text following the colon is 'G' */
1292 if (TOLOWER (i_l_p
[1]) == 'g' && (i_l_p
[2] == ' ' || i_l_p
[2] == '\t'))
1293 return restore_colon (2);
1295 /* Check to see if the text following the colon is 'Q' */
1296 if (TOLOWER (i_l_p
[1]) == 'q' && (i_l_p
[2] == ' ' || i_l_p
[2] == '\t'))
1297 return restore_colon (2);
1299 /* Check to see if the text following the colon is 'S' */
1300 if (TOLOWER (i_l_p
[1]) == 's' && (i_l_p
[2] == ' ' || i_l_p
[2] == '\t'))
1301 return restore_colon (2);
1303 /* Check to see if the text following the colon is 'Z' */
1304 if (TOLOWER (i_l_p
[1]) == 'z' && (i_l_p
[2] == ' ' || i_l_p
[2] == '\t'))
1305 return restore_colon (2);