1 /* tc-xstormy16.c -- Assembler for the Sanyo XSTORMY16.
2 Copyright (C) 2000, 2001 Free Software Foundation.
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 2, 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, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, 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 (c
, arg
)
70 int c ATTRIBUTE_UNUSED
;
71 char * arg ATTRIBUTE_UNUSED
;
77 md_show_usage (stream
)
80 fprintf (stream
, _(" XSTORMY16 specific command line options:\n"));
83 /* The target specific pseudo-ops which we support. */
84 const pseudo_typeS md_pseudo_table
[] =
94 /* Initialize the `cgen' interface. */
96 /* Set the machine number and endian. */
97 gas_cgen_cpu_desc
= xstormy16_cgen_cpu_open (CGEN_CPU_OPEN_MACHS
, 0,
101 xstormy16_cgen_init_asm (gas_cgen_cpu_desc
);
103 /* This is a callback from cgen to gas to parse operands. */
104 cgen_set_parse_operand_fn (gas_cgen_cpu_desc
, gas_cgen_parse_operand
);
114 /* Initialize GAS's cgen interface for a new instruction. */
115 gas_cgen_init_parse ();
117 insn
.insn
= xstormy16_cgen_assemble_insn
118 (gas_cgen_cpu_desc
, str
, & insn
.fields
, insn
.buffer
, & errmsg
);
126 /* Doesn't really matter what we pass for RELAX_P here. */
127 gas_cgen_finish_insn (insn
.insn
, insn
.buffer
,
128 CGEN_FIELDS_BITSIZE (& insn
.fields
), 0, NULL
);
135 if (*input_line_pointer
!= '@')
138 if (strncmp (input_line_pointer
+1, "fptr", 4) == 0)
140 input_line_pointer
+= 5;
142 if (*input_line_pointer
!= '(')
144 as_bad ("Expected '('");
147 input_line_pointer
++;
151 if (*input_line_pointer
!= ')')
153 as_bad ("Missing ')'");
156 input_line_pointer
++;
158 if (e
->X_op
!= O_symbol
)
159 as_bad ("Not a symbolic expression");
161 e
->X_op
= O_fptr_symbol
;
166 ignore_rest_of_line ();
169 /* Called while parsing data to create a fixup.
170 Create BFD_RELOC_XSTORMY16_FPTR16 relocations. */
173 xstormy16_cons_fix_new (f
, where
, nbytes
, exp
)
179 bfd_reloc_code_real_type code
;
182 if (exp
->X_op
== O_fptr_symbol
)
186 as_bad ("unsupported fptr fixup size %d", nbytes
);
189 exp
->X_op
= O_symbol
;
190 code
= BFD_RELOC_XSTORMY16_FPTR16
;
192 else if (nbytes
== 1)
194 else if (nbytes
== 2)
196 else if (nbytes
== 4)
200 as_bad ("unsupported fixup size %d", nbytes
);
204 fix
= fix_new_exp (f
, where
, nbytes
, exp
, 0, code
);
207 /* Called while parsing an instruction to create a fixup.
208 Create BFD_RELOC_XSTORMY16_FPTR16 relocations. */
211 xstormy16_cgen_record_fixup_exp (frag
, where
, insn
, length
, operand
, opinfo
, exp
)
214 const CGEN_INSN
* insn
;
216 const CGEN_OPERAND
* operand
;
221 operatorT op
= exp
->X_op
;
223 if (op
== O_fptr_symbol
)
224 exp
->X_op
= O_symbol
;
226 fixP
= gas_cgen_record_fixup_exp (frag
, where
, insn
, length
,
227 operand
, opinfo
, exp
);
229 if (op
== O_fptr_symbol
)
231 if (operand
->type
!= XSTORMY16_OPERAND_IMM16
)
232 as_bad ("unsupported fptr fixup");
235 fixP
->fx_r_type
= BFD_RELOC_XSTORMY16_FPTR16
;
244 md_section_align (segment
, size
)
248 int align
= bfd_get_section_alignment (stdoutput
, segment
);
249 return ((size
+ (1 << align
) - 1) & (-1 << align
));
253 md_undefined_symbol (name
)
254 char * name ATTRIBUTE_UNUSED
;
259 /* Return an initial guess of the length by which a fragment must grow to
260 hold a branch to reach its destination.
261 Also updates fr_type/fr_subtype as necessary.
263 Called just before doing relaxation.
264 Any symbol that is now undefined will not become defined.
265 The guess for fr_var is ACTUALLY the growth beyond fr_fix.
266 Whatever we do to grow fr_fix or fr_var contributes to our returned value.
267 Although it may not be explicit in the frag, pretend fr_var starts with a
271 md_estimate_size_before_relax (fragP
, segment
)
272 fragS
* fragP ATTRIBUTE_UNUSED
;
273 segT segment ATTRIBUTE_UNUSED
;
275 /* No assembler relaxation is defined (or necessary) for this port. */
279 /* *fragP has been relaxed to its final size, and now needs to have
280 the bytes inside it modified to conform to the new size.
282 Called after relaxation is finished.
283 fragP->fr_type == rs_machine_dependent.
284 fragP->fr_subtype is the subtype of what the address relaxed to. */
287 md_convert_frag (abfd
, sec
, fragP
)
288 bfd
* abfd ATTRIBUTE_UNUSED
;
289 segT sec ATTRIBUTE_UNUSED
;
290 fragS
* fragP ATTRIBUTE_UNUSED
;
292 /* No assembler relaxation is defined (or necessary) for this port. */
296 /* Functions concerning relocs. */
298 /* The location from which a PC relative jump should be calculated,
299 given a PC relative reloc. */
302 md_pcrel_from_section (fixP
, sec
)
306 if (fixP
->fx_addsy
!= (symbolS
*) NULL
307 && (! S_IS_DEFINED (fixP
->fx_addsy
)
308 || S_GET_SEGMENT (fixP
->fx_addsy
) != sec
))
310 /* The symbol is undefined (or is defined but not in this section).
311 Let the linker figure it out. */
315 return fixP
->fx_frag
->fr_address
+ fixP
->fx_where
;
318 /* Return the bfd reloc type for OPERAND of INSN at fixup FIXP.
319 Returns BFD_RELOC_NONE if no reloc type can be found.
320 *FIXP may be modified if desired. */
322 bfd_reloc_code_real_type
323 md_cgen_lookup_reloc (insn
, operand
, fixP
)
324 const CGEN_INSN
* insn ATTRIBUTE_UNUSED
;
325 const CGEN_OPERAND
* operand
;
328 switch (operand
->type
)
330 case XSTORMY16_OPERAND_IMM2
:
331 case XSTORMY16_OPERAND_IMM3
:
332 case XSTORMY16_OPERAND_IMM3B
:
333 case XSTORMY16_OPERAND_IMM4
:
334 case XSTORMY16_OPERAND_IMM12
:
335 case XSTORMY16_OPERAND_HMEM8
:
336 return BFD_RELOC_NONE
;
338 case XSTORMY16_OPERAND_IMM8
:
339 case XSTORMY16_OPERAND_LMEM8
:
340 return fixP
->fx_pcrel
? BFD_RELOC_8_PCREL
: BFD_RELOC_8
;
342 case XSTORMY16_OPERAND_IMM16
:
344 return fixP
->fx_pcrel
? BFD_RELOC_16_PCREL
: BFD_RELOC_16
;
346 case XSTORMY16_OPERAND_ABS24
:
347 return BFD_RELOC_XSTORMY16_24
;
349 case XSTORMY16_OPERAND_REL8_2
:
350 case XSTORMY16_OPERAND_REL8_4
:
352 return BFD_RELOC_8_PCREL
;
354 case XSTORMY16_OPERAND_REL12
:
356 /* Fall through... */
357 case XSTORMY16_OPERAND_REL12A
:
359 return BFD_RELOC_XSTORMY16_REL_12
;
361 default : /* avoid -Wall warning */
366 /* See whether we need to force a relocation into the output file.
367 This is used to force out switch and PC relative relocations when
371 xstormy16_force_relocation (fix
)
374 switch (fix
->fx_r_type
)
376 case BFD_RELOC_XSTORMY16_FPTR16
:
377 case BFD_RELOC_VTABLE_INHERIT
:
378 case BFD_RELOC_VTABLE_ENTRY
:
386 /* Return true if a relocation against a symbol may be replaced with
387 a relocation against section+offset. */
390 xstormy16_fix_adjustable (fixP
)
393 if (fixP
->fx_addsy
== NULL
)
396 /* Prevent all adjustments to global symbols. */
397 if (S_IS_EXTERN (fixP
->fx_addsy
))
400 if (S_IS_WEAK (fixP
->fx_addsy
))
403 return ! xstormy16_force_relocation (fixP
);
406 /* This is a copy of gas_cgen_md_apply_fix3, with some enhancements to
407 do various things that would not be valid for all ports. */
410 xstormy16_md_apply_fix3 (fixP
, valueP
, seg
)
413 segT seg ATTRIBUTE_UNUSED
;
415 char *where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
417 /* Canonical name, since used a lot. */
418 CGEN_CPU_DESC cd
= gas_cgen_cpu_desc
;
420 /* This port has pc-relative relocs and DIFF_EXPR_OK defined, so
421 it must deal with turning a BFD_RELOC_{8,16,32,64} into a
422 BFD_RELOC_*_PCREL for the case of
427 switch (fixP
->fx_r_type
)
430 fixP
->fx_r_type
= BFD_RELOC_8_PCREL
;
433 fixP
->fx_r_type
= BFD_RELOC_16_PCREL
;
436 fixP
->fx_r_type
= BFD_RELOC_32_PCREL
;
439 fixP
->fx_r_type
= BFD_RELOC_64_PCREL
;
445 /* FIXME FIXME FIXME: The value we are passed in *valuep includes
446 the symbol values. Since we are using BFD_ASSEMBLER, if we are
447 doing this relocation the code in write.c is going to call
448 bfd_install_relocation, which is also going to use the symbol
449 value. That means that if the reloc is fully resolved we want to
450 use *valuep since bfd_install_relocation is not being used.
451 However, if the reloc is not fully resolved we do not want to use
452 *valuep, and must use fx_offset instead. However, if the reloc
453 is PC relative, we do want to use *valuep since it includes the
454 result of md_pcrel_from. This is confusing. */
456 if (fixP
->fx_addsy
== (symbolS
*) NULL
)
461 else if (fixP
->fx_pcrel
)
465 value
= fixP
->fx_offset
;
466 if (fixP
->fx_subsy
!= (symbolS
*) NULL
)
468 if (S_GET_SEGMENT (fixP
->fx_subsy
) == absolute_section
)
469 value
-= S_GET_VALUE (fixP
->fx_subsy
);
472 /* We don't actually support subtracting a symbol. */
473 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
474 _("expression too complex"));
479 if ((int) fixP
->fx_r_type
>= (int) BFD_RELOC_UNUSED
)
481 int opindex
= (int) fixP
->fx_r_type
- (int) BFD_RELOC_UNUSED
;
482 const CGEN_OPERAND
*operand
= cgen_operand_lookup_by_num (cd
, opindex
);
484 bfd_reloc_code_real_type reloc_type
;
485 CGEN_FIELDS
*fields
= alloca (CGEN_CPU_SIZEOF_FIELDS (cd
));
486 const CGEN_INSN
*insn
= fixP
->fx_cgen
.insn
;
488 /* If the reloc has been fully resolved finish the operand here. */
489 /* FIXME: This duplicates the capabilities of code in BFD. */
492 CGEN_CPU_SET_FIELDS_BITSIZE (cd
) (fields
, CGEN_INSN_BITSIZE (insn
));
493 CGEN_CPU_SET_VMA_OPERAND (cd
) (cd
, opindex
, fields
, (bfd_vma
) value
);
497 CGEN_INSN_INT insn_value
=
498 cgen_get_insn_value (cd
, where
, CGEN_INSN_BITSIZE (insn
));
500 /* ??? 0 is passed for `pc'. */
501 errmsg
= CGEN_CPU_INSERT_OPERAND (cd
) (cd
, opindex
, fields
,
502 &insn_value
, (bfd_vma
) 0);
503 cgen_put_insn_value (cd
, where
, CGEN_INSN_BITSIZE (insn
),
507 /* ??? 0 is passed for `pc'. */
508 errmsg
= CGEN_CPU_INSERT_OPERAND (cd
) (cd
, opindex
, fields
, where
,
512 as_bad_where (fixP
->fx_file
, fixP
->fx_line
, "%s", errmsg
);
518 /* The operand isn't fully resolved. Determine a BFD reloc value
519 based on the operand information and leave it to
520 bfd_install_relocation. Note that this doesn't work when
521 partial_inplace == false. */
523 reloc_type
= md_cgen_lookup_reloc (insn
, operand
, fixP
);
524 if (reloc_type
!= BFD_RELOC_NONE
)
526 fixP
->fx_r_type
= reloc_type
;
530 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
531 _("unresolved expression that must be resolved"));
536 else if (fixP
->fx_done
)
538 /* We're finished with this fixup. Install it because
539 bfd_install_relocation won't be called to do it. */
540 switch (fixP
->fx_r_type
)
543 md_number_to_chars (where
, value
, 1);
546 md_number_to_chars (where
, value
, 2);
549 md_number_to_chars (where
, value
, 4);
552 md_number_to_chars (where
, value
, 8);
555 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
556 _("internal error: can't install fix for reloc type %d (`%s')"),
557 fixP
->fx_r_type
, bfd_get_reloc_code_name (fixP
->fx_r_type
));
563 /* bfd_install_relocation will be called to finish things up. */
566 /* This is a RELA port. Thus, it does not need to store a
567 value if it is going to make a reloc. What's more, when
568 assembling a line like
572 we'll get a spurious error message if we try to stuff 0x7f00 into
577 /* Tuck `value' away for use by tc_gen_reloc.
578 See the comment describing fx_addnumber in write.h.
579 This field is misnamed (or misused :-). */
580 fixP
->fx_addnumber
= value
;
586 /* Write a value out to the object file, using the appropriate endianness. */
589 md_number_to_chars (buf
, val
, n
)
594 number_to_chars_littleendian (buf
, val
, n
);
597 /* Turn a string in input_line_pointer into a floating point constant of type
598 type, and store the appropriate bytes in *litP. The number of LITTLENUMS
599 emitted is stored in *sizeP . An error message is returned, or NULL on OK.
602 /* Equal to MAX_PRECISION in atof-ieee.c */
603 #define MAX_LITTLENUMS 6
606 md_atof (type
, litP
, sizeP
)
612 LITTLENUM_TYPE words
[MAX_LITTLENUMS
];
613 LITTLENUM_TYPE
*wordP
;
628 /* FIXME: Some targets allow other format chars for bigger sizes here. */
632 return _("Bad call to md_atof()");
635 t
= atof_ieee (input_line_pointer
, type
, words
);
637 input_line_pointer
= t
;
638 * sizeP
= prec
* sizeof (LITTLENUM_TYPE
);
640 *sizeP
= prec
* sizeof (LITTLENUM_TYPE
);
641 /* This loops outputs the LITTLENUMs in REVERSE order; in accord with
642 the littleendianness of the processor. */
643 for (wordP
= words
+ prec
- 1; prec
--;)
645 md_number_to_chars (litP
, (valueT
) (*wordP
--), sizeof (LITTLENUM_TYPE
));
646 litP
+= sizeof (LITTLENUM_TYPE
);