ChangeLog:
[deliverable/binutils-gdb.git] / gas / config / tc-m32c.c
CommitLineData
49f58d10
JB
1/* tc-m32c.c -- Assembler for the Renesas M32C.
2 Copyright (C) 2005 Free Software Foundation.
3 Contributed by RedHat.
4
5 This file is part of GAS, the GNU Assembler.
6
7 GAS is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
10 any later version.
11
12 GAS is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GAS; see the file COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
21
22#include <stdio.h>
23#include "as.h"
24#include "subsegs.h"
25#include "symcat.h"
26#include "opcodes/m32c-desc.h"
27#include "opcodes/m32c-opc.h"
28#include "cgen.h"
29#include "elf/common.h"
30#include "elf/m32c.h"
31#include "libbfd.h"
32#include "libiberty.h"
33#include "safe-ctype.h"
34
35/* Structure to hold all of the different components
36 describing an individual instruction. */
37typedef struct
38{
39 const CGEN_INSN * insn;
40 const CGEN_INSN * orig_insn;
41 CGEN_FIELDS fields;
42#if CGEN_INT_INSN_P
43 CGEN_INSN_INT buffer [1];
44#define INSN_VALUE(buf) (*(buf))
45#else
46 unsigned char buffer [CGEN_MAX_INSN_SIZE];
47#define INSN_VALUE(buf) (buf)
48#endif
49 char * addr;
50 fragS * frag;
51 int num_fixups;
52 fixS * fixups [GAS_CGEN_MAX_FIXUPS];
53 int indices [MAX_OPERAND_INSTANCES];
54}
55m32c_insn;
56
57const char comment_chars[] = ";";
58const char line_comment_chars[] = "#";
59const char line_separator_chars[] = "|";
60const char EXP_CHARS[] = "eE";
61const char FLT_CHARS[] = "dD";
62\f
63#define M32C_SHORTOPTS ""
64const char * md_shortopts = M32C_SHORTOPTS;
65
66/* assembler options */
67#define OPTION_CPU_M16C (OPTION_MD_BASE)
68#define OPTION_CPU_M32C (OPTION_MD_BASE + 1)
69
70struct option md_longopts[] =
71{
72 { "m16c", no_argument, NULL, OPTION_CPU_M16C },
73 { "m32c", no_argument, NULL, OPTION_CPU_M32C },
74 {NULL, no_argument, NULL, 0}
75};
76size_t md_longopts_size = sizeof (md_longopts);
77
78/* Default machine */
79
80#define DEFAULT_MACHINE bfd_mach_m16c
81#define DEFAULT_FLAGS EF_M32C_CPU_M16C
82
83static unsigned long m32c_mach = bfd_mach_m16c;
84static int cpu_mach = (1 << MACH_M16C);
85static int insn_size;
86
87/* Flags to set in the elf header */
88static flagword m32c_flags = DEFAULT_FLAGS;
89
90static unsigned int m32c_isa = (1 << ISA_M16C);
91
92static void
93set_isa (enum isa_attr isa_num)
94{
95 m32c_isa = (1 << isa_num);
96}
97
98static void s_bss (int);
99
100int
101md_parse_option (int c, char * arg ATTRIBUTE_UNUSED)
102{
103 switch (c)
104 {
105 case OPTION_CPU_M16C:
106 m32c_flags = (m32c_flags & ~EF_M32C_CPU_MASK) | EF_M32C_CPU_M16C;
107 m32c_mach = bfd_mach_m16c;
108 cpu_mach = (1 << MACH_M16C);
109 set_isa (ISA_M16C);
110 break;
111
112 case OPTION_CPU_M32C:
113 m32c_flags = (m32c_flags & ~EF_M32C_CPU_MASK) | EF_M32C_CPU_M32C;
114 m32c_mach = bfd_mach_m32c;
115 cpu_mach = (1 << MACH_M32C);
116 set_isa (ISA_M32C);
117 break;
118
119 default:
120 return 0;
121 }
122 return 1;
123}
124
125void
126md_show_usage (FILE * stream)
127{
128 fprintf (stream, _(" M32C specific command line options:\n"));
129}
130
131static void
132s_bss (int ignore ATTRIBUTE_UNUSED)
133{
134 int temp;
135
136 temp = get_absolute_expression ();
137 subseg_set (bss_section, (subsegT) temp);
138 demand_empty_rest_of_line ();
139}
140
141/* The target specific pseudo-ops which we support. */
142const pseudo_typeS md_pseudo_table[] =
143{
144 { "bss", s_bss, 0},
145 { "word", cons, 4 },
146 { NULL, NULL, 0 }
147};
148
149\f
150void
151md_begin (void)
152{
153 /* Initialize the `cgen' interface. */
154
155 /* Set the machine number and endian. */
156 gas_cgen_cpu_desc = m32c_cgen_cpu_open (CGEN_CPU_OPEN_MACHS, cpu_mach,
157 CGEN_CPU_OPEN_ENDIAN,
158 CGEN_ENDIAN_BIG,
159 CGEN_CPU_OPEN_ISAS, & m32c_isa,
160 CGEN_CPU_OPEN_END);
161
162 m32c_cgen_init_asm (gas_cgen_cpu_desc);
163
164 /* This is a callback from cgen to gas to parse operands. */
165 cgen_set_parse_operand_fn (gas_cgen_cpu_desc, gas_cgen_parse_operand);
166
167 /* Set the ELF flags if desired. */
168 if (m32c_flags)
169 bfd_set_private_flags (stdoutput, m32c_flags);
170
171 /* Set the machine type */
172 bfd_default_set_arch_mach (stdoutput, bfd_arch_m32c, m32c_mach);
173
174 insn_size = 0;
175}
176
177void
178m32c_md_end (void)
179{
180 int i, n_nops;
181
182 /* Pad with nops for objdump. */
183 n_nops = (32 - ((insn_size) % 32)) / 8;
184 for (i = 1; i <= n_nops; i++)
185 md_assemble ("nop");
186}
187
188void
189m32c_start_line_hook (void)
190{
191#if 0 /* not necessary....handled in the .cpu file */
192 char *s = input_line_pointer;
193 char *sg;
194
195 for (s = input_line_pointer ; s && s[0] != '\n'; s++)
196 {
197 if (s[0] == ':')
198 {
199 /* Remove :g suffix. Squeeze out blanks. */
200 if (s[1] == 'g')
201 {
202 for (sg = s - 1; sg && sg >= input_line_pointer; sg--)
203 {
204 sg[2] = sg[0];
205 }
206 sg[1] = ' ';
207 sg[2] = ' ';
208 input_line_pointer += 2;
209 }
210 }
211 }
212#endif
213}
214
215/* Process [[indirect-operands]] in instruction str. */
216
217static bfd_boolean
218m32c_indirect_operand (char *str)
219{
220 char *new_str;
221 char *s;
222 char *ns;
223 int ns_len;
224 char *ns_end;
225 enum indirect_type {none, relative, absolute} ;
226 enum indirect_type indirection [3] = { none, none, none };
227 int brace_n [3] = { 0, 0, 0 };
228 int operand;
229
230 s = str;
231 operand = 1;
232 for (s = str; *s; s++)
233 {
234 if (s[0] == ',')
235 operand = 2;
236 /* [abs] where abs is not a0 or a1 */
237 if (s[1] == '[' && ! (s[2] == 'a' && (s[3] == '0' || s[3] == '1'))
238 && (ISBLANK (s[0]) || s[0] == ','))
239 indirection[operand] = absolute;
240 if (s[0] == ']' && s[1] == ']')
241 indirection[operand] = relative;
242 if (s[0] == '[' && s[1] == '[')
243 indirection[operand] = relative;
244 }
245
246 if (indirection[1] == none && indirection[2] == none)
247 return FALSE;
248
249 operand = 1;
250 ns_len = strlen (str);
251 new_str = (char*) xmalloc (ns_len);
252 ns = new_str;
253 ns_end = ns + ns_len;
254
255 for (s = str; *s; s++)
256 {
257 if (s[0] == ',')
258 operand = 2;
259
260 if (s[0] == '[' && ! brace_n[operand])
261 {
262 brace_n[operand] += 1;
263 /* Squeeze [[ to [ if this is an indirect operand. */
264 if (indirection[operand] != none)
265 continue;
266 }
267
268 else if (s[0] == '[' && brace_n[operand])
269 {
270 brace_n[operand] += 1;
271 }
272 else if (s[0] == ']' && s[1] == ']' && indirection[operand] == relative)
273 {
274 s += 1; /* skip one ]. */
275 brace_n[operand] -= 2; /* allow for 2 [. */
276 }
277 else if (s[0] == ']' && indirection[operand] == absolute)
278 {
279 brace_n[operand] -= 1;
280 continue; /* skip closing ]. */
281 }
282 else if (s[0] == ']')
283 {
284 brace_n[operand] -= 1;
285 }
286 *ns = s[0];
287 ns += 1;
288 if (ns >= ns_end)
289 return FALSE;
290 if (s[0] == 0)
291 break;
292 }
293 *ns = '\0';
294 for (operand = 1; operand <= 2; operand++)
295 if (brace_n[operand])
296 {
297 fprintf (stderr, "Unmatched [[operand-%d]] %d\n", operand, brace_n[operand]);
298 }
299
300 if (indirection[1] != none && indirection[2] != none)
301 md_assemble ("src-dest-indirect");
302 else if (indirection[1] != none)
303 md_assemble ("src-indirect");
304 else if (indirection[2] != none)
305 md_assemble ("dest-indirect");
306
307 md_assemble (new_str);
308 free (new_str);
309 return TRUE;
310}
311
312void
313md_assemble (char * str)
314{
315 static int last_insn_had_delay_slot = 0;
316 m32c_insn insn;
317 char * errmsg;
318
319 if (m32c_mach == bfd_mach_m32c && m32c_indirect_operand (str))
320 return;
321
322 /* Initialize GAS's cgen interface for a new instruction. */
323 gas_cgen_init_parse ();
324
325 insn.insn = m32c_cgen_assemble_insn
326 (gas_cgen_cpu_desc, str, & insn.fields, insn.buffer, & errmsg);
327
328 if (!insn.insn)
329 {
330 as_bad (errmsg);
331 return;
332 }
333
334 /* Doesn't really matter what we pass for RELAX_P here. */
335 gas_cgen_finish_insn (insn.insn, insn.buffer,
336 CGEN_FIELDS_BITSIZE (& insn.fields), 1, NULL);
337
338 last_insn_had_delay_slot
339 = CGEN_INSN_ATTR_VALUE (insn.insn, CGEN_INSN_DELAY_SLOT);
340 insn_size = CGEN_INSN_BITSIZE(insn.insn);
341}
342
343/* The syntax in the manual says constants begin with '#'.
344 We just ignore it. */
345
346void
347md_operand (expressionS * exp)
348{
349 /* In case of a syntax error, escape back to try next syntax combo. */
350 if (exp->X_op == O_absent)
351 gas_cgen_md_operand (exp);
352}
353
354valueT
355md_section_align (segT segment, valueT size)
356{
357 int align = bfd_get_section_alignment (stdoutput, segment);
358 return ((size + (1 << align) - 1) & (-1 << align));
359}
360
361symbolS *
362md_undefined_symbol (char * name ATTRIBUTE_UNUSED)
363{
364 return 0;
365}
366\f
367const relax_typeS md_relax_table[] =
368{
369 /* The fields are:
370 1) most positive reach of this state,
371 2) most negative reach of this state,
372 3) how many bytes this mode will have in the variable part of the frag
373 4) which index into the table to try if we can't fit into this one. */
374
375 /* 0 */ { 0, 0, 0, 0 }, /* unused */
376 /* 1 */ { 0, 0, 0, 0 }, /* marker for "don't know yet" */
377
378 /* 2 */ { 127, -128, 2, 3 }, /* jcnd16_5.b */
379 /* 3 */ { 32767, -32768, 5, 4 }, /* jcnd16_5.w */
380 /* 4 */ { 0, 0, 6, 0 }, /* jcnd16_5.a */
381
382 /* 5 */ { 127, -128, 2, 6 }, /* jcnd16.b */
383 /* 6 */ { 32767, -32768, 5, 7 }, /* jcnd16.w */
384 /* 7 */ { 0, 0, 6, 0 }, /* jcnd16.a */
385
386 /* 8 */ { 8, 1, 1, 9 }, /* jmp16.s */
387 /* 9 */ { 127, -128, 2, 10 }, /* jmp16.b */
388 /* 10 */ { 32767, -32768, 3, 11 }, /* jmp16.w */
389 /* 11 */ { 0, 0, 4, 0 }, /* jmp16.a */
390
391 /* 12 */ { 127, -128, 2, 13 }, /* jcnd32.b */
392 /* 13 */ { 32767, -32768, 5, 14 }, /* jcnd32.w */
393 /* 14 */ { 0, 0, 6, 0 }, /* jcnd32.a */
394
395 /* 15 */ { 8, 1, 1, 16 }, /* jmp32.s */
396 /* 16 */ { 127, -128, 2, 17 }, /* jmp32.b */
397 /* 17 */ { 32767, -32768, 3, 18 }, /* jmp32.w */
398 /* 18 */ { 0, 0, 4, 0 } /* jmp32.a */
399};
400
401enum {
402 M32C_MACRO_JCND16_5_W,
403 M32C_MACRO_JCND16_5_A,
404 M32C_MACRO_JCND16_W,
405 M32C_MACRO_JCND16_A,
406 M32C_MACRO_JCND32_W,
407 M32C_MACRO_JCND32_A,
408} M32C_Macros;
409
410static struct {
411 int insn;
412 int bytes;
413 int insn_for_extern;
414 int pcrel_aim_offset;
415} subtype_mappings[] = {
416 /* 0 */ { 0, 0, 0, 0 },
417 /* 1 */ { 0, 0, 0, 0 },
418
419 /* 2 */ { M32C_INSN_JCND16_5, 2, -M32C_MACRO_JCND16_5_A, 1 },
420 /* 3 */ { -M32C_MACRO_JCND16_5_W, 5, -M32C_MACRO_JCND16_5_A, 4 },
421 /* 4 */ { -M32C_MACRO_JCND16_5_A, 6, -M32C_MACRO_JCND16_5_A, 0 },
422
423 /* 5 */ { M32C_INSN_JCND16, 3, -M32C_MACRO_JCND16_A, 1 },
424 /* 6 */ { -M32C_MACRO_JCND16_W, 6, -M32C_MACRO_JCND16_A, 4 },
425 /* 7 */ { -M32C_MACRO_JCND16_A, 7, -M32C_MACRO_JCND16_A, 0 },
426
427 /* 8 */ { M32C_INSN_JMP16_S, 1, M32C_INSN_JMP16_A, 0 },
428 /* 9 */ { M32C_INSN_JMP16_B, 2, M32C_INSN_JMP16_A, 1 },
429 /* 10 */ { M32C_INSN_JMP16_W, 3, M32C_INSN_JMP16_A, 2 },
430 /* 11 */ { M32C_INSN_JMP16_A, 4, M32C_INSN_JMP16_A, 0 },
431
432 /* 12 */ { M32C_INSN_JCND32, 2, -M32C_MACRO_JCND32_A, 1 },
433 /* 13 */ { -M32C_MACRO_JCND32_W, 5, -M32C_MACRO_JCND32_A, 4 },
434 /* 14 */ { -M32C_MACRO_JCND32_A, 6, -M32C_MACRO_JCND32_A, 0 },
435
436 /* 15 */ { M32C_INSN_JMP32_S, 1, M32C_INSN_JMP32_A, 0 },
437 /* 16 */ { M32C_INSN_JMP32_B, 2, M32C_INSN_JMP32_A, 1 },
438 /* 17 */ { M32C_INSN_JMP32_W, 3, M32C_INSN_JMP32_A, 2 },
439 /* 18 */ { M32C_INSN_JMP32_A, 4, M32C_INSN_JMP32_A, 0 }
440};
441#define NUM_MAPPINGS (sizeof (subtype_mappings) / sizeof (subtype_mappings[0]))
442
443void
444m32c_prepare_relax_scan (fragS *fragP, offsetT *aim, relax_substateT this_state)
445{
446 symbolS *symbolP = fragP->fr_symbol;
447 if (symbolP && !S_IS_DEFINED (symbolP))
448 *aim = 0;
449 /* Adjust for m32c pcrel not being relative to the next opcode. */
450 *aim += subtype_mappings[this_state].pcrel_aim_offset;
451}
452
453static int
454insn_to_subtype (int insn)
455{
456 unsigned int i;
457 for (i=0; i<NUM_MAPPINGS; i++)
458 if (insn == subtype_mappings[i].insn)
459 {
460 /*printf("mapping %d used\n", i);*/
461 return i;
462 }
463 abort ();
464}
465
466/* Return an initial guess of the length by which a fragment must grow to
467 hold a branch to reach its destination.
468 Also updates fr_type/fr_subtype as necessary.
469
470 Called just before doing relaxation.
471 Any symbol that is now undefined will not become defined.
472 The guess for fr_var is ACTUALLY the growth beyond fr_fix.
473 Whatever we do to grow fr_fix or fr_var contributes to our returned value.
474 Although it may not be explicit in the frag, pretend fr_var starts with a
475 0 value. */
476
477int
478md_estimate_size_before_relax (fragS * fragP, segT segment ATTRIBUTE_UNUSED)
479{
480 int where = fragP->fr_opcode - fragP->fr_literal;
481
482 if (fragP->fr_subtype == 1)
483 fragP->fr_subtype = insn_to_subtype (fragP->fr_cgen.insn->base->num);
484
485 if (S_GET_SEGMENT (fragP->fr_symbol) != segment)
486 {
487 int new_insn;
488
489 new_insn = subtype_mappings[fragP->fr_subtype].insn_for_extern;
490 fragP->fr_subtype = insn_to_subtype (new_insn);
491 }
492
493 if (fragP->fr_cgen.insn->base
494 && fragP->fr_cgen.insn->base->num
495 != subtype_mappings[fragP->fr_subtype].insn
496 && subtype_mappings[fragP->fr_subtype].insn > 0)
497 {
498 int new_insn= subtype_mappings[fragP->fr_subtype].insn;
499 if (new_insn >= 0)
500 {
501 fragP->fr_cgen.insn = (fragP->fr_cgen.insn
502 - fragP->fr_cgen.insn->base->num
503 + new_insn);
504 }
505 }
506
507 return subtype_mappings[fragP->fr_subtype].bytes - (fragP->fr_fix - where);
508}
509
510/* *fragP has been relaxed to its final size, and now needs to have
511 the bytes inside it modified to conform to the new size.
512
513 Called after relaxation is finished.
514 fragP->fr_type == rs_machine_dependent.
515 fragP->fr_subtype is the subtype of what the address relaxed to. */
516
517static int
518target_address_for (fragS *frag)
519{
520 int rv = frag->fr_offset;
521 symbolS *sym = frag->fr_symbol;
522
523 if (sym)
524 rv += S_GET_VALUE (sym);
525
526 /*printf("target_address_for returns %d\n", rv);*/
527 return rv;
528}
529
530void
531md_convert_frag (bfd * abfd ATTRIBUTE_UNUSED,
532 segT sec ATTRIBUTE_UNUSED,
533 fragS * fragP ATTRIBUTE_UNUSED)
534{
535 int addend;
536 int operand;
537 int new_insn;
538 int where = fragP->fr_opcode - fragP->fr_literal;
539 unsigned char *op = (unsigned char *)fragP->fr_opcode;
540
541 addend = target_address_for (fragP) - (fragP->fr_address + where);
542 new_insn = subtype_mappings[fragP->fr_subtype].insn;
543
544 fragP->fr_fix = where + subtype_mappings[fragP->fr_subtype].bytes;
545
546 switch (subtype_mappings[fragP->fr_subtype].insn)
547 {
548 case M32C_INSN_JCND16_5:
549 op[1] = addend - 1;
550 operand = M32C_OPERAND_LAB_8_8;
551 break;
552
553 case -M32C_MACRO_JCND16_5_W:
554 op[0] ^= 0x04;
555 op[1] = 4;
556 op[2] = 0xf4;
557 op[3] = addend - 3;
558 op[4] = (addend - 3) >> 8;
559 operand = M32C_OPERAND_LAB_8_16;
560 where += 2;
561 new_insn = M32C_INSN_JMP16_W;
562 break;
563
564 case -M32C_MACRO_JCND16_5_A:
565 op[0] ^= 0x04;
566 op[1] = 5;
567 op[2] = 0xfc;
568 operand = M32C_OPERAND_LAB_8_24;
569 where += 2;
570 new_insn = M32C_INSN_JMP16_A;
571 break;
572
573
574 case M32C_INSN_JCND16:
575 op[2] = addend - 2;
576 operand = M32C_OPERAND_LAB_16_8;
577 break;
578
579 case -M32C_MACRO_JCND16_W:
580 op[1] ^= 0x04;
581 op[2] = 4;
582 op[3] = 0xf4;
583 op[4] = addend - 4;
584 op[5] = (addend - 4) >> 8;
585 operand = M32C_OPERAND_LAB_8_16;
586 where += 3;
587 new_insn = M32C_INSN_JMP16_W;
588 break;
589
590 case -M32C_MACRO_JCND16_A:
591 op[1] ^= 0x04;
592 op[2] = 5;
593 op[3] = 0xfc;
594 operand = M32C_OPERAND_LAB_8_24;
595 where += 3;
596 new_insn = M32C_INSN_JMP16_A;
597 break;
598
599 case M32C_INSN_JMP16_S:
600 op[0] = 0x60 | ((addend-2) & 0x07);
601 operand = M32C_OPERAND_LAB_5_3;
602 break;
603
604 case M32C_INSN_JMP16_B:
605 op[0] = 0xfe;
606 op[1] = addend - 1;
607 operand = M32C_OPERAND_LAB_8_8;
608 break;
609
610 case M32C_INSN_JMP16_W:
611 op[0] = 0xf4;
612 op[1] = addend - 1;
613 op[2] = (addend - 1) >> 8;
614 operand = M32C_OPERAND_LAB_8_16;
615 break;
616
617 case M32C_INSN_JMP16_A:
618 op[0] = 0xfc;
619 op[1] = 0;
620 op[2] = 0;
621 op[3] = 0;
622 operand = M32C_OPERAND_LAB_8_24;
623 break;
624
625 case M32C_INSN_JCND32:
626 op[1] = addend - 1;
627 operand = M32C_OPERAND_LAB_8_8;
628 break;
629
630 case -M32C_MACRO_JCND32_W:
631 op[0] ^= 0x40;
632 op[1] = 4;
633 op[2] = 0xce;
634 op[3] = addend - 3;
635 op[4] = (addend - 3) >> 8;
636 operand = M32C_OPERAND_LAB_8_16;
637 where += 2;
638 new_insn = M32C_INSN_JMP32_W;
639 break;
640
641 case -M32C_MACRO_JCND32_A:
642 op[0] ^= 0x40;
643 op[1] = 5;
644 op[2] = 0xcc;
645 operand = M32C_OPERAND_LAB_8_24;
646 where += 2;
647 new_insn = M32C_INSN_JMP32_A;
648 break;
649
650
651
652 case M32C_INSN_JMP32_S:
653 addend = ((addend-2) & 0x07);
654 op[0] = 0x4a | (addend & 0x01) | ((addend << 3) & 0x30);
655 operand = M32C_OPERAND_LAB32_JMP_S;
656 break;
657
658 case M32C_INSN_JMP32_B:
659 op[0] = 0xbb;
660 op[1] = addend - 1;
661 operand = M32C_OPERAND_LAB_8_8;
662 break;
663
664 case M32C_INSN_JMP32_W:
665 op[0] = 0xce;
666 op[1] = addend - 1;
667 op[2] = (addend - 1) >> 8;
668 operand = M32C_OPERAND_LAB_8_16;
669 break;
670
671 case M32C_INSN_JMP32_A:
672 op[0] = 0xcc;
673 op[1] = 0;
674 op[2] = 0;
675 op[3] = 0;
676 operand = M32C_OPERAND_LAB_8_24;
677 break;
678
679
680 default:
681 printf("\nHey! Need more opcode converters! missing: %d %s\n\n",
682 fragP->fr_subtype,
683 fragP->fr_cgen.insn->base->name);
684 abort();
685 }
686
687 if (S_GET_SEGMENT (fragP->fr_symbol) != sec
688 || operand == M32C_OPERAND_LAB_8_24)
689 {
690 assert (fragP->fr_cgen.insn != 0);
691 gas_cgen_record_fixup (fragP,
692 where,
693 fragP->fr_cgen.insn,
694 (fragP->fr_fix - where) * 8,
695 cgen_operand_lookup_by_num (gas_cgen_cpu_desc,
696 operand),
697 fragP->fr_cgen.opinfo,
698 fragP->fr_symbol, fragP->fr_offset);
699 }
700}
701\f
702/* Functions concerning relocs. */
703
704/* The location from which a PC relative jump should be calculated,
705 given a PC relative reloc. */
706
707long
708md_pcrel_from_section (fixS * fixP, segT sec)
709{
710 if (fixP->fx_addsy != (symbolS *) NULL
711 && (! S_IS_DEFINED (fixP->fx_addsy)
712 || S_GET_SEGMENT (fixP->fx_addsy) != sec))
713 /* The symbol is undefined (or is defined but not in this section).
714 Let the linker figure it out. */
715 return 0;
716
717 return (fixP->fx_frag->fr_address + fixP->fx_where);
718}
719
720/* Return the bfd reloc type for OPERAND of INSN at fixup FIXP.
721 Returns BFD_RELOC_NONE if no reloc type can be found.
722 *FIXP may be modified if desired. */
723
724bfd_reloc_code_real_type
725md_cgen_lookup_reloc (const CGEN_INSN * insn ATTRIBUTE_UNUSED,
726 const CGEN_OPERAND * operand,
727 fixS * fixP ATTRIBUTE_UNUSED)
728{
729 static const struct op_reloc {
730 /* A CGEN operand type that can be a relocatable expression. */
731 CGEN_OPERAND_TYPE operand;
732
733 /* The appropriate BFD reloc type to use for that. */
734 bfd_reloc_code_real_type reloc;
735
736 /* The offset from the start of the instruction to the field to be
737 relocated, in bytes. */
738 int offset;
739 } op_reloc_table[] = {
740
741 /* Absolute relocs for 16-bit fields. */
742 { M32C_OPERAND_IMM_16_HI, BFD_RELOC_16, 2 },
743 { M32C_OPERAND_IMM_24_HI, BFD_RELOC_16, 3 },
744 { M32C_OPERAND_IMM_32_HI, BFD_RELOC_16, 4 },
745 { M32C_OPERAND_DSP_16_S16, BFD_RELOC_16, 2 },
746 { M32C_OPERAND_DSP_24_S16, BFD_RELOC_16, 3 },
747 { M32C_OPERAND_DSP_32_S16, BFD_RELOC_16, 4 },
748 { M32C_OPERAND_DSP_40_S16, BFD_RELOC_16, 5 },
749 { M32C_OPERAND_DSP_8_U16, BFD_RELOC_16, 1 },
750 { M32C_OPERAND_DSP_16_U16, BFD_RELOC_16, 2 },
751 { M32C_OPERAND_DSP_24_U16, BFD_RELOC_16, 3 },
752 { M32C_OPERAND_DSP_32_U16, BFD_RELOC_16, 4 },
753
754 /* Absolute relocs for 24-bit fields. */
755 { M32C_OPERAND_LAB_8_24, BFD_RELOC_24, 1 },
756 { M32C_OPERAND_DSP_16_U24, BFD_RELOC_24, 2 },
757 { M32C_OPERAND_DSP_24_U24, BFD_RELOC_24, 3 },
758 { M32C_OPERAND_DSP_32_U24, BFD_RELOC_24, 4 },
759 { M32C_OPERAND_DSP_40_U24, BFD_RELOC_24, 5 },
760
761 /* Absolute relocs for 32-bit fields. */
762 { M32C_OPERAND_IMM_16_SI, BFD_RELOC_32, 2 },
763 { M32C_OPERAND_IMM_24_SI, BFD_RELOC_32, 3 },
764 { M32C_OPERAND_IMM_32_SI, BFD_RELOC_32, 4 },
765 { M32C_OPERAND_IMM_40_SI, BFD_RELOC_32, 5 },
766
767 };
768
769 int i;
770
771 for (i = ARRAY_SIZE (op_reloc_table); --i >= 0; )
772 {
773 const struct op_reloc *or = &op_reloc_table[i];
774
775 if (or->operand == operand->type)
776 {
777 fixP->fx_where += or->offset;
778 fixP->fx_size -= or->offset;
779 return or->reloc;
780 }
781 }
782
783 fprintf
784 (stderr,
785 "Error: tc-m32c.c:md_cgen_lookup_reloc Unimplemented relocation %d\n",
786 operand->type);
787
788 return BFD_RELOC_NONE;
789}
790
791/* See whether we need to force a relocation into the output file.
792 This is used to force out switch and PC relative relocations when
793 relaxing. */
794
795int
796m32c_force_relocation (fixS * fixp)
797{
798 int reloc = fixp->fx_r_type;
799
800 if (reloc > (int)BFD_RELOC_UNUSED)
801 {
802 reloc -= (int)BFD_RELOC_UNUSED;
803 switch (reloc)
804 {
805 case M32C_OPERAND_DSP_32_S16:
806 case M32C_OPERAND_DSP_32_U16:
807 case M32C_OPERAND_IMM_32_HI:
808 case M32C_OPERAND_DSP_16_S16:
809 case M32C_OPERAND_DSP_16_U16:
810 case M32C_OPERAND_IMM_16_HI:
811 case M32C_OPERAND_DSP_24_S16:
812 case M32C_OPERAND_DSP_24_U16:
813 case M32C_OPERAND_IMM_24_HI:
814 return 1;
815 }
816 }
817 else
818 {
819 if (fixp->fx_r_type == BFD_RELOC_16)
820 return 1;
821 }
822
823 return generic_force_reloc (fixp);
824}
825\f
826/* Write a value out to the object file, using the appropriate endianness. */
827
828void
829md_number_to_chars (char * buf, valueT val, int n)
830{
831 number_to_chars_littleendian (buf, val, n);
832}
833
834/* Turn a string in input_line_pointer into a floating point constant of type
835 type, and store the appropriate bytes in *litP. The number of LITTLENUMS
836 emitted is stored in *sizeP . An error message is returned, or NULL on OK. */
837
838/* Equal to MAX_PRECISION in atof-ieee.c. */
839#define MAX_LITTLENUMS 6
840
841char *
842md_atof (int type, char * litP, int * sizeP)
843{
844 int i;
845 int prec;
846 LITTLENUM_TYPE words [MAX_LITTLENUMS];
847 char * t;
848
849 switch (type)
850 {
851 case 'f':
852 case 'F':
853 case 's':
854 case 'S':
855 prec = 2;
856 break;
857
858 case 'd':
859 case 'D':
860 case 'r':
861 case 'R':
862 prec = 4;
863 break;
864
865 /* FIXME: Some targets allow other format chars for bigger sizes here. */
866
867 default:
868 * sizeP = 0;
869 return _("Bad call to md_atof()");
870 }
871
872 t = atof_ieee (input_line_pointer, type, words);
873 if (t)
874 input_line_pointer = t;
875 * sizeP = prec * sizeof (LITTLENUM_TYPE);
876
877 for (i = 0; i < prec; i++)
878 {
879 md_number_to_chars (litP, (valueT) words[i],
880 sizeof (LITTLENUM_TYPE));
881 litP += sizeof (LITTLENUM_TYPE);
882 }
883
884 return 0;
885}
886
887bfd_boolean
888m32c_fix_adjustable (fixS * fixP)
889{
890 int reloc;
891 if (fixP->fx_addsy == NULL)
892 return 1;
893
894 /* We need the symbol name for the VTABLE entries. */
895 reloc = fixP->fx_r_type;
896 if (reloc > (int)BFD_RELOC_UNUSED)
897 {
898 reloc -= (int)BFD_RELOC_UNUSED;
899 switch (reloc)
900 {
901 case M32C_OPERAND_DSP_32_S16:
902 case M32C_OPERAND_DSP_32_U16:
903 case M32C_OPERAND_IMM_32_HI:
904 case M32C_OPERAND_DSP_16_S16:
905 case M32C_OPERAND_DSP_16_U16:
906 case M32C_OPERAND_IMM_16_HI:
907 case M32C_OPERAND_DSP_24_S16:
908 case M32C_OPERAND_DSP_24_U16:
909 case M32C_OPERAND_IMM_24_HI:
910 return 0;
911 }
912 }
913 else
914 {
915 if (fixP->fx_r_type == BFD_RELOC_16)
916 return 0;
917 }
918
919 /* Do not adjust relocations involving symbols in merged sections.
920
921 A reloc patching in the value of some symbol S plus some addend A
922 can be produced in different ways:
923
924 1) It might simply be a reference to the data at S + A. Clearly,
925 if linker merging shift that data around, the value patched in
926 by the reloc needs to be adjusted accordingly.
927
928 2) Or, it might be a reference to S, with A added in as a constant
929 bias. For example, given code like this:
930
931 static int S[100];
932
933 ... S[i - 8] ...
934
935 it would be reasonable for the compiler to rearrange the array
936 reference to something like:
937
938 ... (S-8)[i] ...
939
940 and emit assembly code that refers to S - (8 * sizeof (int)),
941 so the subtraction is done entirely at compile-time. In this
942 case, the reloc's addend A would be -(8 * sizeof (int)), and
943 shifting around code or data at S + A should not affect the
944 reloc: the reloc isn't referring to that code or data at all.
945
946 The linker has no way of knowing which case it has in hand. So,
947 to disambiguate, we have the linker always treat reloc addends as
948 in case 2): they're constants that should be simply added to the
949 symbol value, just like the reloc says. And we express case 1)
950 in different way: we have the compiler place a label at the real
951 target, and reference that label with an addend of zero. (The
952 compiler is unlikely to reference code using a label plus an
953 offset anyway, since it doesn't know the sizes of the
954 instructions.)
955
956 The simplification being done by gas/write.c:adjust_reloc_syms,
957 however, turns the explicit-label usage into the label-plus-
958 offset usage, re-introducing the ambiguity the compiler avoided.
959 So we need to disable that simplification for symbols referring
960 to merged data.
961
962 This only affects object size a little bit. */
963 if (S_GET_SEGMENT (fixP->fx_addsy)->flags & SEC_MERGE)
964 return 0;
965
966 return 1;
967}
968
969/* Worker function for m32c_is_colon_insn(). */
970static char restore_colon PARAMS ((int));
971
972static char
973restore_colon (int advance_i_l_p_by)
974{
975 char c;
976
977 /* Restore the colon, and advance input_line_pointer to
978 the end of the new symbol. */
979 * input_line_pointer = ':';
980 input_line_pointer += advance_i_l_p_by;
981 c = * input_line_pointer;
982 * input_line_pointer = 0;
983
984 return c;
985}
986
987/* Determines if the symbol starting at START and ending in
988 a colon that was at the location pointed to by INPUT_LINE_POINTER
989 (but which has now been replaced bu a NUL) is in fact an
990 :Z, :S, :Q, or :G suffix.
991 If it is, then it restores the colon, advances INPUT_LINE_POINTER
992 to the real end of the instruction/symbol, and returns the character
993 that really terminated the symbol. Otherwise it returns 0. */
994char
995m32c_is_colon_insn (char *start ATTRIBUTE_UNUSED)
996{
997 char * i_l_p = input_line_pointer;
998
999 /* Check to see if the text following the colon is 'G' */
1000 if (TOLOWER (i_l_p[1]) == 'g' && (i_l_p[2] == ' ' || i_l_p[2] == '\t'))
1001 return restore_colon (2);
1002
1003 /* Check to see if the text following the colon is 'Q' */
1004 if (TOLOWER (i_l_p[1]) == 'q' && (i_l_p[2] == ' ' || i_l_p[2] == '\t'))
1005 return restore_colon (2);
1006
1007 /* Check to see if the text following the colon is 'S' */
1008 if (TOLOWER (i_l_p[1]) == 's' && (i_l_p[2] == ' ' || i_l_p[2] == '\t'))
1009 return restore_colon (2);
1010
1011 /* Check to see if the text following the colon is 'Z' */
1012 if (TOLOWER (i_l_p[1]) == 'z' && (i_l_p[2] == ' ' || i_l_p[2] == '\t'))
1013 return restore_colon (2);
1014
1015 return 0;
1016}
1017
This page took 0.059328 seconds and 4 git commands to generate.