1 /* tc-xstormy16.c -- Assembler for the Sanyo XSTORMY16.
2 Copyright 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2009, 2010
3 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 3, 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, 51 Franklin Street - Fifth Floor,
20 Boston, MA 02110-1301, USA. */
25 #include "opcodes/xstormy16-desc.h"
26 #include "opcodes/xstormy16-opc.h"
29 /* Structure to hold all of the different components describing
30 an individual instruction. */
33 const CGEN_INSN
* insn
;
34 const CGEN_INSN
* orig_insn
;
37 CGEN_INSN_INT buffer
[1];
38 #define INSN_VALUE(buf) (*(buf))
40 unsigned char buffer
[CGEN_MAX_INSN_SIZE
];
41 #define INSN_VALUE(buf) (buf)
46 fixS
* fixups
[GAS_CGEN_MAX_FIXUPS
];
47 int indices
[MAX_OPERAND_INSTANCES
];
51 const char comment_chars
[] = ";";
52 const char line_comment_chars
[] = "#";
53 const char line_separator_chars
[] = "|";
54 const char EXP_CHARS
[] = "eE";
55 const char FLT_CHARS
[] = "dD";
57 #define O_fptr_symbol (O_max + 1)
59 #define XSTORMY16_SHORTOPTS ""
60 const char * md_shortopts
= XSTORMY16_SHORTOPTS
;
62 struct option md_longopts
[] =
64 {NULL
, no_argument
, NULL
, 0}
66 size_t md_longopts_size
= sizeof (md_longopts
);
69 md_parse_option (int c ATTRIBUTE_UNUSED
,
70 char * arg ATTRIBUTE_UNUSED
)
76 md_show_usage (FILE * stream
)
78 fprintf (stream
, _(" XSTORMY16 specific command line options:\n"));
81 /* The target specific pseudo-ops which we support. */
82 const pseudo_typeS md_pseudo_table
[] =
92 /* Initialize the `cgen' interface. */
94 /* Set the machine number and endian. */
95 gas_cgen_cpu_desc
= xstormy16_cgen_cpu_open (CGEN_CPU_OPEN_MACHS
, 0,
99 xstormy16_cgen_init_asm (gas_cgen_cpu_desc
);
101 /* This is a callback from cgen to gas to parse operands. */
102 cgen_set_parse_operand_fn (gas_cgen_cpu_desc
, gas_cgen_parse_operand
);
105 static bfd_boolean skipping_fptr
= FALSE
;
108 md_assemble (char * str
)
113 /* Make sure that if we had an erroneous input line which triggered
114 the skipping_fptr boolean that it does not affect following lines. */
115 skipping_fptr
= FALSE
;
117 /* Initialize GAS's cgen interface for a new instruction. */
118 gas_cgen_init_parse ();
120 insn
.insn
= xstormy16_cgen_assemble_insn
121 (gas_cgen_cpu_desc
, str
, & insn
.fields
, insn
.buffer
, & errmsg
);
125 as_bad ("%s", errmsg
);
129 /* Doesn't really matter what we pass for RELAX_P here. */
130 gas_cgen_finish_insn (insn
.insn
, insn
.buffer
,
131 CGEN_FIELDS_BITSIZE (& insn
.fields
), 0, NULL
);
135 md_operand (expressionS
* e
)
137 if (*input_line_pointer
!= '@')
140 if (strncmp (input_line_pointer
+ 1, "fptr", 4) == 0)
142 input_line_pointer
+= 5;
144 if (*input_line_pointer
!= '(')
146 as_bad (_("Expected '('"));
149 input_line_pointer
++;
153 if (*input_line_pointer
!= ')')
155 as_bad (_("Missing ')'"));
158 input_line_pointer
++;
161 if (e
->X_op
!= O_symbol
)
162 as_bad (_("Not a symbolic expression"));
163 else if (* input_line_pointer
== '-')
164 /* We are computing the difference of two function pointers
167 .hword @fptr (foo) - @fptr (bar)
169 In this situation we do not want to generate O_fptr_symbol
170 operands because the result is an absolute value, not a
173 We need to make the check here, rather than when the fixup
174 is generated as the function names (foo & bar in the above
175 example) might be local symbols and we want the expression
176 to be evaluated now. This kind of thing can happen when
177 gcc is generating computed gotos. */
178 skipping_fptr
= TRUE
;
179 else if (skipping_fptr
)
180 skipping_fptr
= FALSE
;
182 e
->X_op
= O_fptr_symbol
;
187 ignore_rest_of_line ();
190 /* Called while parsing data to create a fixup.
191 Create BFD_RELOC_XSTORMY16_FPTR16 relocations. */
194 xstormy16_cons_fix_new (fragS
*f
,
199 bfd_reloc_code_real_type code
;
201 if (exp
->X_op
== O_fptr_symbol
)
206 /* This can happen when gcc is generating debug output.
207 For example it can create a stab with the address of
210 .stabs "foo:F(0,21)",36,0,0,@fptr(foo)
212 Since this does not involve switching code pages, we
213 just allow the reloc to be generated without any
215 exp
->X_op
= O_symbol
;
220 exp
->X_op
= O_symbol
;
221 code
= BFD_RELOC_XSTORMY16_FPTR16
;
225 as_bad (_("unsupported fptr fixup size %d"), nbytes
);
229 else if (nbytes
== 1)
231 else if (nbytes
== 2)
233 else if (nbytes
== 4)
237 as_bad (_("unsupported fixup size %d"), nbytes
);
241 fix_new_exp (f
, where
, nbytes
, exp
, 0, code
);
244 /* Called while parsing an instruction to create a fixup.
245 Create BFD_RELOC_XSTORMY16_FPTR16 relocations. */
248 xstormy16_cgen_record_fixup_exp (fragS
* frag
,
250 const CGEN_INSN
* insn
,
252 const CGEN_OPERAND
* operand
,
257 operatorT op
= exp
->X_op
;
259 if (op
== O_fptr_symbol
)
260 exp
->X_op
= O_symbol
;
262 fixP
= gas_cgen_record_fixup_exp (frag
, where
, insn
, length
,
263 operand
, opinfo
, exp
);
265 if (op
== O_fptr_symbol
)
267 if (operand
->type
!= XSTORMY16_OPERAND_IMM16
)
268 as_bad (_("unsupported fptr fixup"));
271 fixP
->fx_r_type
= BFD_RELOC_XSTORMY16_FPTR16
;
280 md_section_align (segT segment
, valueT size
)
282 int align
= bfd_get_section_alignment (stdoutput
, segment
);
284 return ((size
+ (1 << align
) - 1) & (-1 << align
));
288 md_undefined_symbol (char * name ATTRIBUTE_UNUSED
)
293 /* Return an initial guess of the length by which a fragment must grow to
294 hold a branch to reach its destination.
295 Also updates fr_type/fr_subtype as necessary.
297 Called just before doing relaxation.
298 Any symbol that is now undefined will not become defined.
299 The guess for fr_var is ACTUALLY the growth beyond fr_fix.
300 Whatever we do to grow fr_fix or fr_var contributes to our returned value.
301 Although it may not be explicit in the frag, pretend fr_var starts with a
305 md_estimate_size_before_relax (fragS
* fragP ATTRIBUTE_UNUSED
,
306 segT segment ATTRIBUTE_UNUSED
)
308 /* No assembler relaxation is defined (or necessary) for this port. */
312 /* *fragP has been relaxed to its final size, and now needs to have
313 the bytes inside it modified to conform to the new size.
315 Called after relaxation is finished.
316 fragP->fr_type == rs_machine_dependent.
317 fragP->fr_subtype is the subtype of what the address relaxed to. */
320 md_convert_frag (bfd
* abfd ATTRIBUTE_UNUSED
,
321 segT sec ATTRIBUTE_UNUSED
,
322 fragS
* fragP ATTRIBUTE_UNUSED
)
324 /* No assembler relaxation is defined (or necessary) for this port. */
328 /* Functions concerning relocs. */
330 /* The location from which a PC relative jump should be calculated,
331 given a PC relative reloc. */
334 md_pcrel_from_section (fixS
* fixP
, segT sec
)
336 if ((fixP
->fx_addsy
!= (symbolS
*) NULL
337 && (! S_IS_DEFINED (fixP
->fx_addsy
)
338 || S_GET_SEGMENT (fixP
->fx_addsy
) != sec
))
339 || xstormy16_force_relocation (fixP
))
340 /* The symbol is undefined,
341 or it is defined but not in this section,
342 or the relocation will be relative to this symbol not the section symbol.
343 Let the linker figure it out. */
346 return fixP
->fx_frag
->fr_address
+ fixP
->fx_where
;
349 /* Return the bfd reloc type for OPERAND of INSN at fixup FIXP.
350 Returns BFD_RELOC_NONE if no reloc type can be found.
351 *FIXP may be modified if desired. */
353 bfd_reloc_code_real_type
354 md_cgen_lookup_reloc (const CGEN_INSN
* insn ATTRIBUTE_UNUSED
,
355 const CGEN_OPERAND
* operand
,
358 switch (operand
->type
)
360 case XSTORMY16_OPERAND_IMM2
:
361 case XSTORMY16_OPERAND_IMM3
:
362 case XSTORMY16_OPERAND_IMM3B
:
363 case XSTORMY16_OPERAND_IMM4
:
364 case XSTORMY16_OPERAND_HMEM8
:
365 return BFD_RELOC_NONE
;
367 case XSTORMY16_OPERAND_IMM12
:
369 return BFD_RELOC_XSTORMY16_12
;
371 case XSTORMY16_OPERAND_IMM8
:
372 case XSTORMY16_OPERAND_LMEM8
:
373 return fixP
->fx_pcrel
? BFD_RELOC_8_PCREL
: BFD_RELOC_8
;
375 case XSTORMY16_OPERAND_IMM16
:
376 /* This might have been processed at parse time. */
378 if (fixP
->fx_cgen
.opinfo
&& fixP
->fx_cgen
.opinfo
!= BFD_RELOC_NONE
)
379 return fixP
->fx_cgen
.opinfo
;
380 return fixP
->fx_pcrel
? BFD_RELOC_16_PCREL
: BFD_RELOC_16
;
382 case XSTORMY16_OPERAND_ABS24
:
383 return BFD_RELOC_XSTORMY16_24
;
385 case XSTORMY16_OPERAND_REL8_4
:
386 fixP
->fx_addnumber
-= 2;
387 case XSTORMY16_OPERAND_REL8_2
:
388 fixP
->fx_addnumber
-= 2;
390 return BFD_RELOC_8_PCREL
;
392 case XSTORMY16_OPERAND_REL12
:
394 /* Fall through... */
395 case XSTORMY16_OPERAND_REL12A
:
396 fixP
->fx_addnumber
-= 2;
398 return BFD_RELOC_XSTORMY16_REL_12
;
400 default : /* avoid -Wall warning */
405 /* See whether we need to force a relocation into the output file.
406 This is used to force out switch and PC relative relocations when
410 xstormy16_force_relocation (fixS
* fix
)
412 if (fix
->fx_r_type
== BFD_RELOC_XSTORMY16_FPTR16
)
415 return generic_force_reloc (fix
);
418 /* Return true if a relocation against a symbol may be replaced with
419 a relocation against section+offset. */
422 xstormy16_fix_adjustable (fixS
* fixP
)
424 /* We need the symbol name for the VTABLE entries. */
425 if (fixP
->fx_r_type
== BFD_RELOC_VTABLE_INHERIT
426 || fixP
->fx_r_type
== BFD_RELOC_VTABLE_ENTRY
)
429 if (fixP
->fx_r_type
== BFD_RELOC_XSTORMY16_FPTR16
)
435 /* This is a copy of gas_cgen_md_apply_fix, with some enhancements to
436 do various things that would not be valid for all ports. */
439 xstormy16_md_apply_fix (fixS
* fixP
,
441 segT seg ATTRIBUTE_UNUSED
)
443 char *where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
444 valueT value
= *valueP
;
445 /* Canonical name, since used a lot. */
446 CGEN_CPU_DESC cd
= gas_cgen_cpu_desc
;
448 /* md_cgen_lookup_reloc() will adjust this to compensate for where
449 in the opcode the relocation happens, for pcrel relocations. We
450 have no other way of keeping track of what this offset needs to
452 fixP
->fx_addnumber
= 0;
454 /* This port has pc-relative relocs and DIFF_EXPR_OK defined, so
455 it must deal with turning a BFD_RELOC_{8,16,32,64} into a
456 BFD_RELOC_*_PCREL for the case of
460 switch (fixP
->fx_r_type
)
463 fixP
->fx_r_type
= BFD_RELOC_8_PCREL
;
466 fixP
->fx_r_type
= BFD_RELOC_16_PCREL
;
469 fixP
->fx_r_type
= BFD_RELOC_32_PCREL
;
472 fixP
->fx_r_type
= BFD_RELOC_64_PCREL
;
478 if (fixP
->fx_addsy
== (symbolS
*) NULL
)
481 /* We don't actually support subtracting a symbol. */
482 if (fixP
->fx_subsy
!= (symbolS
*) NULL
)
483 as_bad_where (fixP
->fx_file
, fixP
->fx_line
, _("expression too complex"));
485 if ((int) fixP
->fx_r_type
>= (int) BFD_RELOC_UNUSED
)
487 int opindex
= (int) fixP
->fx_r_type
- (int) BFD_RELOC_UNUSED
;
488 const CGEN_OPERAND
*operand
= cgen_operand_lookup_by_num (cd
, opindex
);
490 bfd_reloc_code_real_type reloc_type
;
491 CGEN_FIELDS
*fields
= alloca (CGEN_CPU_SIZEOF_FIELDS (cd
));
492 const CGEN_INSN
*insn
= fixP
->fx_cgen
.insn
;
494 /* If the reloc has been fully resolved finish the operand here. */
495 /* FIXME: This duplicates the capabilities of code in BFD. */
498 CGEN_CPU_SET_FIELDS_BITSIZE (cd
) (fields
, CGEN_INSN_BITSIZE (insn
));
499 CGEN_CPU_SET_VMA_OPERAND (cd
) (cd
, opindex
, fields
, (bfd_vma
) value
);
503 CGEN_INSN_INT insn_value
=
504 cgen_get_insn_value (cd
, (unsigned char *) where
,
505 CGEN_INSN_BITSIZE (insn
));
507 /* ??? 0 is passed for `pc'. */
508 errmsg
= CGEN_CPU_INSERT_OPERAND (cd
) (cd
, opindex
, fields
,
509 &insn_value
, (bfd_vma
) 0);
510 cgen_put_insn_value (cd
, (unsigned char *) where
,
511 CGEN_INSN_BITSIZE (insn
), insn_value
);
514 /* ??? 0 is passed for `pc'. */
515 errmsg
= CGEN_CPU_INSERT_OPERAND (cd
) (cd
, opindex
, fields
,
516 (unsigned char *) where
,
520 as_bad_where (fixP
->fx_file
, fixP
->fx_line
, "%s", errmsg
);
526 /* The operand isn't fully resolved. Determine a BFD reloc value
527 based on the operand information and leave it to
528 bfd_install_relocation. Note that this doesn't work when
531 reloc_type
= md_cgen_lookup_reloc (insn
, operand
, fixP
);
532 if (reloc_type
!= BFD_RELOC_NONE
)
533 fixP
->fx_r_type
= reloc_type
;
536 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
537 _("unresolved expression that must be resolved"));
542 else if (fixP
->fx_done
)
544 /* We're finished with this fixup. Install it because
545 bfd_install_relocation won't be called to do it. */
546 switch (fixP
->fx_r_type
)
549 md_number_to_chars (where
, value
, 1);
552 md_number_to_chars (where
, value
, 2);
555 md_number_to_chars (where
, value
, 4);
558 md_number_to_chars (where
, value
, 8);
561 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
562 _("internal error: can't install fix for reloc type %d (`%s')"),
563 fixP
->fx_r_type
, bfd_get_reloc_code_name (fixP
->fx_r_type
));
569 /* bfd_install_relocation will be called to finish things up. */
572 /* This is a RELA port. Thus, it does not need to store a
573 value if it is going to make a reloc. What's more, when
574 assembling a line like
578 we'll get a spurious error message if we try to stuff 0x7f00 into
583 /* Tuck `value' away for use by tc_gen_reloc.
584 See the comment describing fx_addnumber in write.h.
585 This field is misnamed (or misused :-). */
586 fixP
->fx_addnumber
+= value
;
590 /* Write a value out to the object file, using the appropriate endianness. */
593 md_number_to_chars (char * buf
, valueT val
, int n
)
595 number_to_chars_littleendian (buf
, val
, n
);
599 md_atof (int type
, char * litP
, int * sizeP
)
601 return ieee_md_atof (type
, litP
, sizeP
, FALSE
);