1 /* tc-xstormy16.c -- Assembler for the Sanyo XSTORMY16.
2 Copyright (C) 2000-2019 Free Software Foundation, Inc.
4 This file is part of GAS, the GNU Assembler.
6 GAS is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3, or (at your option)
11 GAS is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GAS; see the file COPYING. If not, write to
18 the Free Software Foundation, 51 Franklin Street - Fifth Floor,
19 Boston, MA 02110-1301, USA. */
24 #include "opcodes/xstormy16-desc.h"
25 #include "opcodes/xstormy16-opc.h"
28 /* Structure to hold all of the different components describing
29 an individual instruction. */
32 const CGEN_INSN
* insn
;
33 const CGEN_INSN
* orig_insn
;
36 CGEN_INSN_INT buffer
[1];
37 #define INSN_VALUE(buf) (*(buf))
39 unsigned char buffer
[CGEN_MAX_INSN_SIZE
];
40 #define INSN_VALUE(buf) (buf)
45 fixS
* fixups
[GAS_CGEN_MAX_FIXUPS
];
46 int indices
[MAX_OPERAND_INSTANCES
];
50 const char comment_chars
[] = ";";
51 const char line_comment_chars
[] = "#";
52 const char line_separator_chars
[] = "|";
53 const char EXP_CHARS
[] = "eE";
54 const char FLT_CHARS
[] = "dD";
56 #define O_fptr_symbol (O_max + 1)
58 #define XSTORMY16_SHORTOPTS ""
59 const char * md_shortopts
= XSTORMY16_SHORTOPTS
;
61 struct option md_longopts
[] =
63 {NULL
, no_argument
, NULL
, 0}
65 size_t md_longopts_size
= sizeof (md_longopts
);
68 md_parse_option (int c ATTRIBUTE_UNUSED
,
69 const char * arg ATTRIBUTE_UNUSED
)
75 md_show_usage (FILE * stream
)
77 fprintf (stream
, _(" XSTORMY16 specific command line options:\n"));
80 /* The target specific pseudo-ops which we support. */
81 const pseudo_typeS md_pseudo_table
[] =
91 /* Initialize the `cgen' interface. */
93 /* Set the machine number and endian. */
94 gas_cgen_cpu_desc
= xstormy16_cgen_cpu_open (CGEN_CPU_OPEN_MACHS
, 0,
98 xstormy16_cgen_init_asm (gas_cgen_cpu_desc
);
100 /* This is a callback from cgen to gas to parse operands. */
101 cgen_set_parse_operand_fn (gas_cgen_cpu_desc
, gas_cgen_parse_operand
);
104 static bfd_boolean skipping_fptr
= FALSE
;
107 md_assemble (char * str
)
112 /* Make sure that if we had an erroneous input line which triggered
113 the skipping_fptr boolean that it does not affect following lines. */
114 skipping_fptr
= FALSE
;
116 /* Initialize GAS's cgen interface for a new instruction. */
117 gas_cgen_init_parse ();
119 insn
.insn
= xstormy16_cgen_assemble_insn
120 (gas_cgen_cpu_desc
, str
, & insn
.fields
, insn
.buffer
, & errmsg
);
124 as_bad ("%s", errmsg
);
128 /* Doesn't really matter what we pass for RELAX_P here. */
129 gas_cgen_finish_insn (insn
.insn
, insn
.buffer
,
130 CGEN_FIELDS_BITSIZE (& insn
.fields
), 0, NULL
);
134 md_operand (expressionS
* e
)
136 if (*input_line_pointer
!= '@')
139 if (strncmp (input_line_pointer
+ 1, "fptr", 4) == 0)
141 input_line_pointer
+= 5;
143 if (*input_line_pointer
!= '(')
145 as_bad (_("Expected '('"));
148 input_line_pointer
++;
152 if (*input_line_pointer
!= ')')
154 as_bad (_("Missing ')'"));
157 input_line_pointer
++;
160 if (e
->X_op
!= O_symbol
)
161 as_bad (_("Not a symbolic expression"));
162 else if (* input_line_pointer
== '-')
163 /* We are computing the difference of two function pointers
166 .hword @fptr (foo) - @fptr (bar)
168 In this situation we do not want to generate O_fptr_symbol
169 operands because the result is an absolute value, not a
172 We need to make the check here, rather than when the fixup
173 is generated as the function names (foo & bar in the above
174 example) might be local symbols and we want the expression
175 to be evaluated now. This kind of thing can happen when
176 gcc is generating computed gotos. */
177 skipping_fptr
= TRUE
;
178 else if (skipping_fptr
)
179 skipping_fptr
= FALSE
;
181 e
->X_op
= O_fptr_symbol
;
186 ignore_rest_of_line ();
189 /* Called while parsing data to create a fixup.
190 Create BFD_RELOC_XSTORMY16_FPTR16 relocations. */
193 xstormy16_cons_fix_new (fragS
*f
,
197 bfd_reloc_code_real_type code
)
199 if (exp
->X_op
== O_fptr_symbol
)
204 /* This can happen when gcc is generating debug output.
205 For example it can create a stab with the address of
208 .stabs "foo:F(0,21)",36,0,0,@fptr(foo)
210 Since this does not involve switching code pages, we
211 just allow the reloc to be generated without any
213 exp
->X_op
= O_symbol
;
218 exp
->X_op
= O_symbol
;
219 code
= BFD_RELOC_XSTORMY16_FPTR16
;
223 as_bad (_("unsupported fptr fixup size %d"), nbytes
);
227 else if (nbytes
== 1)
229 else if (nbytes
== 2)
231 else if (nbytes
== 4)
235 as_bad (_("unsupported fixup size %d"), nbytes
);
239 fix_new_exp (f
, where
, nbytes
, exp
, 0, code
);
242 /* Called while parsing an instruction to create a fixup.
243 Create BFD_RELOC_XSTORMY16_FPTR16 relocations. */
246 xstormy16_cgen_record_fixup_exp (fragS
* frag
,
248 const CGEN_INSN
* insn
,
250 const CGEN_OPERAND
* operand
,
255 operatorT op
= exp
->X_op
;
257 if (op
== O_fptr_symbol
)
258 exp
->X_op
= O_symbol
;
260 fixP
= gas_cgen_record_fixup_exp (frag
, where
, insn
, length
,
261 operand
, opinfo
, exp
);
263 if (op
== O_fptr_symbol
)
265 if (operand
->type
!= XSTORMY16_OPERAND_IMM16
)
266 as_bad (_("unsupported fptr fixup"));
269 fixP
->fx_r_type
= BFD_RELOC_XSTORMY16_FPTR16
;
278 md_section_align (segT segment
, valueT size
)
280 int align
= bfd_get_section_alignment (stdoutput
, segment
);
282 return ((size
+ (1 << align
) - 1) & -(1 << align
));
286 md_undefined_symbol (char * name ATTRIBUTE_UNUSED
)
291 /* Return an initial guess of the length by which a fragment must grow to
292 hold a branch to reach its destination.
293 Also updates fr_type/fr_subtype as necessary.
295 Called just before doing relaxation.
296 Any symbol that is now undefined will not become defined.
297 The guess for fr_var is ACTUALLY the growth beyond fr_fix.
298 Whatever we do to grow fr_fix or fr_var contributes to our returned value.
299 Although it may not be explicit in the frag, pretend fr_var starts with a
303 md_estimate_size_before_relax (fragS
* fragP ATTRIBUTE_UNUSED
,
304 segT segment ATTRIBUTE_UNUSED
)
306 /* No assembler relaxation is defined (or necessary) for this port. */
310 /* *fragP has been relaxed to its final size, and now needs to have
311 the bytes inside it modified to conform to the new size.
313 Called after relaxation is finished.
314 fragP->fr_type == rs_machine_dependent.
315 fragP->fr_subtype is the subtype of what the address relaxed to. */
318 md_convert_frag (bfd
* abfd ATTRIBUTE_UNUSED
,
319 segT sec ATTRIBUTE_UNUSED
,
320 fragS
* fragP ATTRIBUTE_UNUSED
)
322 /* No assembler relaxation is defined (or necessary) for this port. */
326 /* Functions concerning relocs. */
328 /* The location from which a PC relative jump should be calculated,
329 given a PC relative reloc. */
332 md_pcrel_from_section (fixS
* fixP
, segT sec
)
334 if ((fixP
->fx_addsy
!= (symbolS
*) NULL
335 && (! S_IS_DEFINED (fixP
->fx_addsy
)
336 || S_GET_SEGMENT (fixP
->fx_addsy
) != sec
))
337 || xstormy16_force_relocation (fixP
))
338 /* The symbol is undefined,
339 or it is defined but not in this section,
340 or the relocation will be relative to this symbol not the section symbol.
341 Let the linker figure it out. */
344 return fixP
->fx_frag
->fr_address
+ fixP
->fx_where
;
347 /* Return the bfd reloc type for OPERAND of INSN at fixup FIXP.
348 Returns BFD_RELOC_NONE if no reloc type can be found.
349 *FIXP may be modified if desired. */
351 bfd_reloc_code_real_type
352 md_cgen_lookup_reloc (const CGEN_INSN
* insn ATTRIBUTE_UNUSED
,
353 const CGEN_OPERAND
* operand
,
356 switch (operand
->type
)
358 case XSTORMY16_OPERAND_IMM2
:
359 case XSTORMY16_OPERAND_IMM3
:
360 case XSTORMY16_OPERAND_IMM3B
:
361 case XSTORMY16_OPERAND_IMM4
:
362 case XSTORMY16_OPERAND_HMEM8
:
363 return BFD_RELOC_NONE
;
365 case XSTORMY16_OPERAND_IMM12
:
367 return BFD_RELOC_XSTORMY16_12
;
369 case XSTORMY16_OPERAND_IMM8
:
370 case XSTORMY16_OPERAND_LMEM8
:
371 return fixP
->fx_pcrel
? BFD_RELOC_8_PCREL
: BFD_RELOC_8
;
373 case XSTORMY16_OPERAND_IMM16
:
374 /* This might have been processed at parse time. */
376 if (fixP
->fx_cgen
.opinfo
&& fixP
->fx_cgen
.opinfo
!= BFD_RELOC_NONE
)
377 return fixP
->fx_cgen
.opinfo
;
378 return fixP
->fx_pcrel
? BFD_RELOC_16_PCREL
: BFD_RELOC_16
;
380 case XSTORMY16_OPERAND_ABS24
:
381 return BFD_RELOC_XSTORMY16_24
;
383 case XSTORMY16_OPERAND_REL8_4
:
384 fixP
->fx_addnumber
-= 2;
386 case XSTORMY16_OPERAND_REL8_2
:
387 fixP
->fx_addnumber
-= 2;
389 return BFD_RELOC_8_PCREL
;
391 case XSTORMY16_OPERAND_REL12
:
394 case XSTORMY16_OPERAND_REL12A
:
395 fixP
->fx_addnumber
-= 2;
397 return BFD_RELOC_XSTORMY16_REL_12
;
399 default : /* avoid -Wall warning */
404 /* See whether we need to force a relocation into the output file.
405 This is used to force out switch and PC relative relocations when
409 xstormy16_force_relocation (fixS
* fix
)
411 if (fix
->fx_r_type
== BFD_RELOC_XSTORMY16_FPTR16
)
414 return generic_force_reloc (fix
);
417 /* Return true if a relocation against a symbol may be replaced with
418 a relocation against section+offset. */
421 xstormy16_fix_adjustable (fixS
* fixP
)
423 /* We need the symbol name for the VTABLE entries. */
424 if (fixP
->fx_r_type
== BFD_RELOC_VTABLE_INHERIT
425 || fixP
->fx_r_type
== BFD_RELOC_VTABLE_ENTRY
)
428 if (fixP
->fx_r_type
== BFD_RELOC_XSTORMY16_FPTR16
)
434 /* This is a copy of gas_cgen_md_apply_fix, with some enhancements to
435 do various things that would not be valid for all ports. */
438 xstormy16_md_apply_fix (fixS
* fixP
,
440 segT seg ATTRIBUTE_UNUSED
)
442 char *where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
443 valueT value
= *valueP
;
444 /* Canonical name, since used a lot. */
445 CGEN_CPU_DESC cd
= gas_cgen_cpu_desc
;
447 /* md_cgen_lookup_reloc() will adjust this to compensate for where
448 in the opcode the relocation happens, for pcrel relocations. We
449 have no other way of keeping track of what this offset needs to
451 fixP
->fx_addnumber
= 0;
453 /* This port has pc-relative relocs and DIFF_EXPR_OK defined, so
454 it must deal with turning a BFD_RELOC_{8,16,32,64} into a
455 BFD_RELOC_*_PCREL for the case of
459 switch (fixP
->fx_r_type
)
462 fixP
->fx_r_type
= BFD_RELOC_8_PCREL
;
465 fixP
->fx_r_type
= BFD_RELOC_16_PCREL
;
468 fixP
->fx_r_type
= BFD_RELOC_32_PCREL
;
471 fixP
->fx_r_type
= BFD_RELOC_64_PCREL
;
477 if (fixP
->fx_addsy
== (symbolS
*) NULL
)
480 /* We don't actually support subtracting a symbol. */
481 if (fixP
->fx_subsy
!= (symbolS
*) NULL
)
482 as_bad_where (fixP
->fx_file
, fixP
->fx_line
, _("expression too complex"));
484 if ((int) fixP
->fx_r_type
>= (int) BFD_RELOC_UNUSED
)
486 int opindex
= (int) fixP
->fx_r_type
- (int) BFD_RELOC_UNUSED
;
487 const CGEN_OPERAND
*operand
= cgen_operand_lookup_by_num (cd
, opindex
);
489 bfd_reloc_code_real_type reloc_type
;
490 const CGEN_INSN
*insn
= fixP
->fx_cgen
.insn
;
492 /* If the reloc has been fully resolved finish the operand here. */
493 /* FIXME: This duplicates the capabilities of code in BFD. */
496 CGEN_FIELDS
*fields
= xmalloc (CGEN_CPU_SIZEOF_FIELDS (cd
));
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
);
528 /* The operand isn't fully resolved. Determine a BFD reloc value
529 based on the operand information and leave it to
530 bfd_install_relocation. Note that this doesn't work when
533 reloc_type
= md_cgen_lookup_reloc (insn
, operand
, fixP
);
534 if (reloc_type
!= BFD_RELOC_NONE
)
535 fixP
->fx_r_type
= reloc_type
;
538 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
539 _("unresolved expression that must be resolved"));
544 else if (fixP
->fx_done
)
546 /* We're finished with this fixup. Install it because
547 bfd_install_relocation won't be called to do it. */
548 switch (fixP
->fx_r_type
)
551 md_number_to_chars (where
, value
, 1);
554 md_number_to_chars (where
, value
, 2);
557 md_number_to_chars (where
, value
, 4);
560 md_number_to_chars (where
, value
, 8);
563 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
564 _("internal error: can't install fix for reloc type %d (`%s')"),
565 fixP
->fx_r_type
, bfd_get_reloc_code_name (fixP
->fx_r_type
));
571 /* bfd_install_relocation will be called to finish things up. */
574 /* This is a RELA port. Thus, it does not need to store a
575 value if it is going to make a reloc. What's more, when
576 assembling a line like
580 we'll get a spurious error message if we try to stuff 0x7f00 into
585 /* Tuck `value' away for use by tc_gen_reloc.
586 See the comment describing fx_addnumber in write.h.
587 This field is misnamed (or misused :-). */
588 fixP
->fx_addnumber
+= value
;
592 /* Write a value out to the object file, using the appropriate endianness. */
595 md_number_to_chars (char * buf
, valueT val
, int n
)
597 number_to_chars_littleendian (buf
, val
, n
);
601 md_atof (int type
, char * litP
, int * sizeP
)
603 return ieee_md_atof (type
, litP
, sizeP
, FALSE
);