1 /* tc-xstormy16.c -- Assembler for the Sanyo XSTORMY16.
2 Copyright 2000, 2001, 2002, 2003, 2004, 2005 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
);
107 static bfd_boolean skipping_fptr
= FALSE
;
116 /* Make sure that if we had an erroneous input line which triggered
117 the skipping_fptr boolean that it does not affect following lines. */
118 skipping_fptr
= FALSE
;
120 /* Initialize GAS's cgen interface for a new instruction. */
121 gas_cgen_init_parse ();
123 insn
.insn
= xstormy16_cgen_assemble_insn
124 (gas_cgen_cpu_desc
, str
, & insn
.fields
, insn
.buffer
, & errmsg
);
132 /* Doesn't really matter what we pass for RELAX_P here. */
133 gas_cgen_finish_insn (insn
.insn
, insn
.buffer
,
134 CGEN_FIELDS_BITSIZE (& insn
.fields
), 0, NULL
);
141 if (*input_line_pointer
!= '@')
144 if (strncmp (input_line_pointer
+ 1, "fptr", 4) == 0)
146 input_line_pointer
+= 5;
148 if (*input_line_pointer
!= '(')
150 as_bad ("Expected '('");
153 input_line_pointer
++;
157 if (*input_line_pointer
!= ')')
159 as_bad ("Missing ')'");
162 input_line_pointer
++;
165 if (e
->X_op
!= O_symbol
)
166 as_bad ("Not a symbolic expression");
167 else if (* input_line_pointer
== '-')
168 /* We are computing the difference of two function pointers
171 .hword @fptr (foo) - @fptr (bar)
173 In this situation we do not want to generate O_fptr_symbol
174 operands because the result is an absolute value, not a
177 We need to make the check here, rather than when the fixup
178 is generated as the function names (foo & bar in the above
179 example) might be local symbols and we want the expression
180 to be evaluated now. This kind of thing can happen when
181 gcc is generating computed gotos. */
182 skipping_fptr
= TRUE
;
183 else if (skipping_fptr
)
184 skipping_fptr
= FALSE
;
186 e
->X_op
= O_fptr_symbol
;
191 ignore_rest_of_line ();
194 /* Called while parsing data to create a fixup.
195 Create BFD_RELOC_XSTORMY16_FPTR16 relocations. */
198 xstormy16_cons_fix_new (f
, where
, nbytes
, exp
)
204 bfd_reloc_code_real_type code
;
207 if (exp
->X_op
== O_fptr_symbol
)
212 /* This can happen when gcc is generating debug output.
213 For example it can create a stab with the address of
216 .stabs "foo:F(0,21)",36,0,0,@fptr(foo)
218 Since this does not involve switching code pages, we
219 just allow the reloc to be generated without any
221 exp
->X_op
= O_symbol
;
225 exp
->X_op
= O_symbol
;
226 code
= BFD_RELOC_XSTORMY16_FPTR16
;
229 as_bad ("unsupported fptr fixup size %d", nbytes
);
233 else if (nbytes
== 1)
235 else if (nbytes
== 2)
237 else if (nbytes
== 4)
241 as_bad ("unsupported fixup size %d", nbytes
);
245 fix
= fix_new_exp (f
, where
, nbytes
, exp
, 0, code
);
248 /* Called while parsing an instruction to create a fixup.
249 Create BFD_RELOC_XSTORMY16_FPTR16 relocations. */
252 xstormy16_cgen_record_fixup_exp (frag
, where
, insn
, length
, operand
, opinfo
, exp
)
255 const CGEN_INSN
* insn
;
257 const CGEN_OPERAND
* operand
;
262 operatorT op
= exp
->X_op
;
264 if (op
== O_fptr_symbol
)
265 exp
->X_op
= O_symbol
;
267 fixP
= gas_cgen_record_fixup_exp (frag
, where
, insn
, length
,
268 operand
, opinfo
, exp
);
270 if (op
== O_fptr_symbol
)
272 if (operand
->type
!= XSTORMY16_OPERAND_IMM16
)
273 as_bad ("unsupported fptr fixup");
276 fixP
->fx_r_type
= BFD_RELOC_XSTORMY16_FPTR16
;
285 md_section_align (segment
, size
)
289 int align
= bfd_get_section_alignment (stdoutput
, segment
);
290 return ((size
+ (1 << align
) - 1) & (-1 << align
));
294 md_undefined_symbol (name
)
295 char * name ATTRIBUTE_UNUSED
;
300 /* Return an initial guess of the length by which a fragment must grow to
301 hold a branch to reach its destination.
302 Also updates fr_type/fr_subtype as necessary.
304 Called just before doing relaxation.
305 Any symbol that is now undefined will not become defined.
306 The guess for fr_var is ACTUALLY the growth beyond fr_fix.
307 Whatever we do to grow fr_fix or fr_var contributes to our returned value.
308 Although it may not be explicit in the frag, pretend fr_var starts with a
312 md_estimate_size_before_relax (fragP
, segment
)
313 fragS
* fragP ATTRIBUTE_UNUSED
;
314 segT segment ATTRIBUTE_UNUSED
;
316 /* No assembler relaxation is defined (or necessary) for this port. */
320 /* *fragP has been relaxed to its final size, and now needs to have
321 the bytes inside it modified to conform to the new size.
323 Called after relaxation is finished.
324 fragP->fr_type == rs_machine_dependent.
325 fragP->fr_subtype is the subtype of what the address relaxed to. */
328 md_convert_frag (abfd
, sec
, fragP
)
329 bfd
* abfd ATTRIBUTE_UNUSED
;
330 segT sec ATTRIBUTE_UNUSED
;
331 fragS
* fragP ATTRIBUTE_UNUSED
;
333 /* No assembler relaxation is defined (or necessary) for this port. */
337 /* Functions concerning relocs. */
339 /* The location from which a PC relative jump should be calculated,
340 given a PC relative reloc. */
343 md_pcrel_from_section (fixP
, sec
)
347 if ((fixP
->fx_addsy
!= (symbolS
*) NULL
348 && (! S_IS_DEFINED (fixP
->fx_addsy
)
349 || S_GET_SEGMENT (fixP
->fx_addsy
) != sec
))
350 || xstormy16_force_relocation (fixP
))
351 /* The symbol is undefined,
352 or it is defined but not in this section,
353 or the relocation will be relative to this symbol not the section symbol.
354 Let the linker figure it out. */
357 return fixP
->fx_frag
->fr_address
+ fixP
->fx_where
;
360 /* Return the bfd reloc type for OPERAND of INSN at fixup FIXP.
361 Returns BFD_RELOC_NONE if no reloc type can be found.
362 *FIXP may be modified if desired. */
364 bfd_reloc_code_real_type
365 md_cgen_lookup_reloc (insn
, operand
, fixP
)
366 const CGEN_INSN
* insn ATTRIBUTE_UNUSED
;
367 const CGEN_OPERAND
* operand
;
370 switch (operand
->type
)
372 case XSTORMY16_OPERAND_IMM2
:
373 case XSTORMY16_OPERAND_IMM3
:
374 case XSTORMY16_OPERAND_IMM3B
:
375 case XSTORMY16_OPERAND_IMM4
:
376 case XSTORMY16_OPERAND_HMEM8
:
377 return BFD_RELOC_NONE
;
379 case XSTORMY16_OPERAND_IMM12
:
381 return BFD_RELOC_XSTORMY16_12
;
383 case XSTORMY16_OPERAND_IMM8
:
384 case XSTORMY16_OPERAND_LMEM8
:
385 return fixP
->fx_pcrel
? BFD_RELOC_8_PCREL
: BFD_RELOC_8
;
387 case XSTORMY16_OPERAND_IMM16
:
388 /* This might have been processed at parse time. */
390 if (fixP
->fx_cgen
.opinfo
&& fixP
->fx_cgen
.opinfo
!= BFD_RELOC_NONE
)
391 return fixP
->fx_cgen
.opinfo
;
392 return fixP
->fx_pcrel
? BFD_RELOC_16_PCREL
: BFD_RELOC_16
;
394 case XSTORMY16_OPERAND_ABS24
:
395 return BFD_RELOC_XSTORMY16_24
;
397 case XSTORMY16_OPERAND_REL8_4
:
398 fixP
->fx_addnumber
-= 2;
399 case XSTORMY16_OPERAND_REL8_2
:
400 fixP
->fx_addnumber
-= 2;
402 return BFD_RELOC_8_PCREL
;
404 case XSTORMY16_OPERAND_REL12
:
406 /* Fall through... */
407 case XSTORMY16_OPERAND_REL12A
:
408 fixP
->fx_addnumber
-= 2;
410 return BFD_RELOC_XSTORMY16_REL_12
;
412 default : /* avoid -Wall warning */
417 /* See whether we need to force a relocation into the output file.
418 This is used to force out switch and PC relative relocations when
422 xstormy16_force_relocation (fix
)
425 if (fix
->fx_r_type
== BFD_RELOC_XSTORMY16_FPTR16
)
428 return generic_force_reloc (fix
);
431 /* Return true if a relocation against a symbol may be replaced with
432 a relocation against section+offset. */
435 xstormy16_fix_adjustable (fixP
)
438 /* We need the symbol name for the VTABLE entries. */
439 if (fixP
->fx_r_type
== BFD_RELOC_VTABLE_INHERIT
440 || fixP
->fx_r_type
== BFD_RELOC_VTABLE_ENTRY
)
443 if (fixP
->fx_r_type
== BFD_RELOC_XSTORMY16_FPTR16
)
449 /* This is a copy of gas_cgen_md_apply_fix3, with some enhancements to
450 do various things that would not be valid for all ports. */
453 xstormy16_md_apply_fix3 (fixP
, valueP
, seg
)
456 segT seg ATTRIBUTE_UNUSED
;
458 char *where
= fixP
->fx_frag
->fr_literal
+ fixP
->fx_where
;
459 valueT value
= *valueP
;
460 /* Canonical name, since used a lot. */
461 CGEN_CPU_DESC cd
= gas_cgen_cpu_desc
;
463 /* md_cgen_lookup_reloc() will adjust this to compensate for where
464 in the opcode the relocation happens, for pcrel relocations. We
465 have no other way of keeping track of what this offset needs to
467 fixP
->fx_addnumber
= 0;
469 /* This port has pc-relative relocs and DIFF_EXPR_OK defined, so
470 it must deal with turning a BFD_RELOC_{8,16,32,64} into a
471 BFD_RELOC_*_PCREL for the case of
476 switch (fixP
->fx_r_type
)
479 fixP
->fx_r_type
= BFD_RELOC_8_PCREL
;
482 fixP
->fx_r_type
= BFD_RELOC_16_PCREL
;
485 fixP
->fx_r_type
= BFD_RELOC_32_PCREL
;
488 fixP
->fx_r_type
= BFD_RELOC_64_PCREL
;
494 if (fixP
->fx_addsy
== (symbolS
*) NULL
)
497 /* We don't actually support subtracting a symbol. */
498 if (fixP
->fx_subsy
!= (symbolS
*) NULL
)
499 as_bad_where (fixP
->fx_file
, fixP
->fx_line
, _("expression too complex"));
501 if ((int) fixP
->fx_r_type
>= (int) BFD_RELOC_UNUSED
)
503 int opindex
= (int) fixP
->fx_r_type
- (int) BFD_RELOC_UNUSED
;
504 const CGEN_OPERAND
*operand
= cgen_operand_lookup_by_num (cd
, opindex
);
506 bfd_reloc_code_real_type reloc_type
;
507 CGEN_FIELDS
*fields
= alloca (CGEN_CPU_SIZEOF_FIELDS (cd
));
508 const CGEN_INSN
*insn
= fixP
->fx_cgen
.insn
;
510 /* If the reloc has been fully resolved finish the operand here. */
511 /* FIXME: This duplicates the capabilities of code in BFD. */
514 CGEN_CPU_SET_FIELDS_BITSIZE (cd
) (fields
, CGEN_INSN_BITSIZE (insn
));
515 CGEN_CPU_SET_VMA_OPERAND (cd
) (cd
, opindex
, fields
, (bfd_vma
) value
);
519 CGEN_INSN_INT insn_value
=
520 cgen_get_insn_value (cd
, where
, CGEN_INSN_BITSIZE (insn
));
522 /* ??? 0 is passed for `pc'. */
523 errmsg
= CGEN_CPU_INSERT_OPERAND (cd
) (cd
, opindex
, fields
,
524 &insn_value
, (bfd_vma
) 0);
525 cgen_put_insn_value (cd
, where
, CGEN_INSN_BITSIZE (insn
),
529 /* ??? 0 is passed for `pc'. */
530 errmsg
= CGEN_CPU_INSERT_OPERAND (cd
) (cd
, opindex
, fields
, where
,
534 as_bad_where (fixP
->fx_file
, fixP
->fx_line
, "%s", errmsg
);
540 /* The operand isn't fully resolved. Determine a BFD reloc value
541 based on the operand information and leave it to
542 bfd_install_relocation. Note that this doesn't work when
545 reloc_type
= md_cgen_lookup_reloc (insn
, operand
, fixP
);
546 if (reloc_type
!= BFD_RELOC_NONE
)
548 fixP
->fx_r_type
= reloc_type
;
552 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
553 _("unresolved expression that must be resolved"));
558 else if (fixP
->fx_done
)
560 /* We're finished with this fixup. Install it because
561 bfd_install_relocation won't be called to do it. */
562 switch (fixP
->fx_r_type
)
565 md_number_to_chars (where
, value
, 1);
568 md_number_to_chars (where
, value
, 2);
571 md_number_to_chars (where
, value
, 4);
574 md_number_to_chars (where
, value
, 8);
577 as_bad_where (fixP
->fx_file
, fixP
->fx_line
,
578 _("internal error: can't install fix for reloc type %d (`%s')"),
579 fixP
->fx_r_type
, bfd_get_reloc_code_name (fixP
->fx_r_type
));
585 /* bfd_install_relocation will be called to finish things up. */
588 /* This is a RELA port. Thus, it does not need to store a
589 value if it is going to make a reloc. What's more, when
590 assembling a line like
594 we'll get a spurious error message if we try to stuff 0x7f00 into
599 /* Tuck `value' away for use by tc_gen_reloc.
600 See the comment describing fx_addnumber in write.h.
601 This field is misnamed (or misused :-). */
602 fixP
->fx_addnumber
+= value
;
606 /* Write a value out to the object file, using the appropriate endianness. */
609 md_number_to_chars (buf
, val
, n
)
614 number_to_chars_littleendian (buf
, val
, n
);
617 /* Turn a string in input_line_pointer into a floating point constant of type
618 type, and store the appropriate bytes in *litP. The number of LITTLENUMS
619 emitted is stored in *sizeP . An error message is returned, or NULL on OK.
622 /* Equal to MAX_PRECISION in atof-ieee.c */
623 #define MAX_LITTLENUMS 6
626 md_atof (type
, litP
, sizeP
)
632 LITTLENUM_TYPE words
[MAX_LITTLENUMS
];
633 LITTLENUM_TYPE
*wordP
;
648 /* FIXME: Some targets allow other format chars for bigger sizes here. */
652 return _("Bad call to md_atof()");
655 t
= atof_ieee (input_line_pointer
, type
, words
);
657 input_line_pointer
= t
;
658 * sizeP
= prec
* sizeof (LITTLENUM_TYPE
);
660 *sizeP
= prec
* sizeof (LITTLENUM_TYPE
);
661 /* This loops outputs the LITTLENUMs in REVERSE order; in accord with
662 the littleendianness of the processor. */
663 for (wordP
= words
+ prec
- 1; prec
--;)
665 md_number_to_chars (litP
, (valueT
) (*wordP
--), sizeof (LITTLENUM_TYPE
));
666 litP
+= sizeof (LITTLENUM_TYPE
);