1 /* Assembler interface for targets using CGEN. -*- C -*-
2 CGEN: Cpu tools GENerator
4 THIS FILE IS MACHINE GENERATED WITH CGEN.
5 - the resultant file is machine generated, cgen-asm.in isn't
7 Copyright 1996, 1997, 1998, 1999, 2000, 2001, 2005, 2007, 2008, 2010
8 Free Software Foundation, Inc.
10 This file is part of libopcodes.
12 This library is free software; you can redistribute it and/or modify
13 it under the terms of the GNU General Public License as published by
14 the Free Software Foundation; either version 3, or (at your option)
17 It is distributed in the hope that it will be useful, but WITHOUT
18 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
19 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
20 License for more details.
22 You should have received a copy of the GNU General Public License
23 along with this program; if not, write to the Free Software Foundation, Inc.,
24 51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA. */
27 /* ??? Eventually more and more of this stuff can go to cpu-independent files.
35 #include "lm32-desc.h"
39 #include "libiberty.h"
40 #include "safe-ctype.h"
43 #define min(a,b) ((a) < (b) ? (a) : (b))
45 #define max(a,b) ((a) > (b) ? (a) : (b))
47 static const char * parse_insn_normal
48 (CGEN_CPU_DESC, const CGEN_INSN *, const char **, CGEN_FIELDS *);
50 /* -- assembler routines inserted here. */
54 /* Handle signed/unsigned literal. */
57 parse_imm (CGEN_CPU_DESC cd,
60 unsigned long *valuep)
65 errmsg = cgen_parse_signed_integer (cd, strp, opindex, & value);
68 unsigned long x = value & 0xFFFF0000;
69 if (x != 0 && x != 0xFFFF0000)
70 errmsg = _("immediate value out of range");
72 *valuep = (value & 0xFFFF);
80 parse_hi16 (CGEN_CPU_DESC cd,
83 unsigned long *valuep)
85 if (strncasecmp (*strp, "hi(", 3) == 0)
87 enum cgen_parse_operand_result result_type;
92 errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_HI16,
93 &result_type, &value);
95 return _("missing `)'");
99 && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER)
100 value = (value >> 16) & 0xffff;
106 return parse_imm (cd, strp, opindex, valuep);
112 parse_lo16 (CGEN_CPU_DESC cd,
115 unsigned long *valuep)
117 if (strncasecmp (*strp, "lo(", 3) == 0)
120 enum cgen_parse_operand_result result_type;
124 errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_LO16,
125 &result_type, &value);
127 return _("missing `)'");
130 && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER)
136 return parse_imm (cd, strp, opindex, valuep);
142 parse_gp16 (CGEN_CPU_DESC cd,
147 if (strncasecmp (*strp, "gp(", 3) == 0)
150 enum cgen_parse_operand_result result_type;
154 errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_GPREL16,
155 & result_type, & value);
157 return _("missing `)'");
160 && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER)
166 return _("expecting gp relative address: gp(symbol)");
172 parse_got16 (CGEN_CPU_DESC cd,
177 if (strncasecmp (*strp, "got(", 4) == 0)
180 enum cgen_parse_operand_result result_type;
184 errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_LM32_16_GOT,
185 & result_type, & value);
187 return _("missing `)'");
190 && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER)
196 return _("expecting got relative address: got(symbol)");
199 /* Handle gotoffhi16() */
202 parse_gotoff_hi16 (CGEN_CPU_DESC cd,
207 if (strncasecmp (*strp, "gotoffhi16(", 11) == 0)
210 enum cgen_parse_operand_result result_type;
214 errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_LM32_GOTOFF_HI16,
215 & result_type, & value);
217 return _("missing `)'");
220 && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER)
226 return _("expecting got relative address: gotoffhi16(symbol)");
229 /* Handle gotofflo16() */
232 parse_gotoff_lo16 (CGEN_CPU_DESC cd,
237 if (strncasecmp (*strp, "gotofflo16(", 11) == 0)
240 enum cgen_parse_operand_result result_type;
244 errmsg = cgen_parse_address (cd, strp, opindex, BFD_RELOC_LM32_GOTOFF_LO16,
245 &result_type, &value);
247 return _("missing `)'");
250 && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER)
256 return _("expecting got relative address: gotofflo16(symbol)");
259 const char * lm32_cgen_parse_operand
260 (CGEN_CPU_DESC, int, const char **, CGEN_FIELDS *);
262 /* Main entry point for operand parsing.
264 This function is basically just a big switch statement. Earlier versions
265 used tables to look up the function to use, but
266 - if the table contains both assembler and disassembler functions then
267 the disassembler contains much of the assembler and vice-versa,
268 - there's a lot of inlining possibilities as things grow,
269 - using a switch statement avoids the function call overhead.
271 This function could be moved into `parse_insn_normal', but keeping it
272 separate makes clear the interface between `parse_insn_normal' and each of
276 lm32_cgen_parse_operand (CGEN_CPU_DESC cd,
279 CGEN_FIELDS * fields)
281 const char * errmsg = NULL;
282 /* Used by scalar operands that still need to be parsed. */
283 long junk ATTRIBUTE_UNUSED;
287 case LM32_OPERAND_BRANCH :
290 errmsg = cgen_parse_address (cd, strp, LM32_OPERAND_BRANCH, 0, NULL, & value);
291 fields->f_branch = value;
294 case LM32_OPERAND_CALL :
297 errmsg = cgen_parse_address (cd, strp, LM32_OPERAND_CALL, 0, NULL, & value);
298 fields->f_call = value;
301 case LM32_OPERAND_CSR :
302 errmsg = cgen_parse_keyword (cd, strp, & lm32_cgen_opval_h_csr, & fields->f_csr);
304 case LM32_OPERAND_EXCEPTION :
305 errmsg = cgen_parse_unsigned_integer (cd, strp, LM32_OPERAND_EXCEPTION, (unsigned long *) (& fields->f_exception));
307 case LM32_OPERAND_GOT16 :
308 errmsg = parse_got16 (cd, strp, LM32_OPERAND_GOT16, (long *) (& fields->f_imm));
310 case LM32_OPERAND_GOTOFFHI16 :
311 errmsg = parse_gotoff_hi16 (cd, strp, LM32_OPERAND_GOTOFFHI16, (long *) (& fields->f_imm));
313 case LM32_OPERAND_GOTOFFLO16 :
314 errmsg = parse_gotoff_lo16 (cd, strp, LM32_OPERAND_GOTOFFLO16, (long *) (& fields->f_imm));
316 case LM32_OPERAND_GP16 :
317 errmsg = parse_gp16 (cd, strp, LM32_OPERAND_GP16, (long *) (& fields->f_imm));
319 case LM32_OPERAND_HI16 :
320 errmsg = parse_hi16 (cd, strp, LM32_OPERAND_HI16, (unsigned long *) (& fields->f_uimm));
322 case LM32_OPERAND_IMM :
323 errmsg = cgen_parse_signed_integer (cd, strp, LM32_OPERAND_IMM, (long *) (& fields->f_imm));
325 case LM32_OPERAND_LO16 :
326 errmsg = parse_lo16 (cd, strp, LM32_OPERAND_LO16, (unsigned long *) (& fields->f_uimm));
328 case LM32_OPERAND_R0 :
329 errmsg = cgen_parse_keyword (cd, strp, & lm32_cgen_opval_h_gr, & fields->f_r0);
331 case LM32_OPERAND_R1 :
332 errmsg = cgen_parse_keyword (cd, strp, & lm32_cgen_opval_h_gr, & fields->f_r1);
334 case LM32_OPERAND_R2 :
335 errmsg = cgen_parse_keyword (cd, strp, & lm32_cgen_opval_h_gr, & fields->f_r2);
337 case LM32_OPERAND_SHIFT :
338 errmsg = cgen_parse_unsigned_integer (cd, strp, LM32_OPERAND_SHIFT, (unsigned long *) (& fields->f_shift));
340 case LM32_OPERAND_UIMM :
341 errmsg = cgen_parse_unsigned_integer (cd, strp, LM32_OPERAND_UIMM, (unsigned long *) (& fields->f_uimm));
343 case LM32_OPERAND_USER :
344 errmsg = cgen_parse_unsigned_integer (cd, strp, LM32_OPERAND_USER, (unsigned long *) (& fields->f_user));
348 /* xgettext:c-format */
349 fprintf (stderr, _("Unrecognized field %d while parsing.\n"), opindex);
356 cgen_parse_fn * const lm32_cgen_parse_handlers[] =
362 lm32_cgen_init_asm (CGEN_CPU_DESC cd)
364 lm32_cgen_init_opcode_table (cd);
365 lm32_cgen_init_ibld_table (cd);
366 cd->parse_handlers = & lm32_cgen_parse_handlers[0];
367 cd->parse_operand = lm32_cgen_parse_operand;
368 #ifdef CGEN_ASM_INIT_HOOK
375 /* Regex construction routine.
377 This translates an opcode syntax string into a regex string,
378 by replacing any non-character syntax element (such as an
379 opcode) with the pattern '.*'
381 It then compiles the regex and stores it in the opcode, for
382 later use by lm32_cgen_assemble_insn
384 Returns NULL for success, an error message for failure. */
387 lm32_cgen_build_insn_regex (CGEN_INSN *insn)
389 CGEN_OPCODE *opc = (CGEN_OPCODE *) CGEN_INSN_OPCODE (insn);
390 const char *mnem = CGEN_INSN_MNEMONIC (insn);
391 char rxbuf[CGEN_MAX_RX_ELEMENTS];
393 const CGEN_SYNTAX_CHAR_TYPE *syn;
396 syn = CGEN_SYNTAX_STRING (CGEN_OPCODE_SYNTAX (opc));
398 /* Mnemonics come first in the syntax string. */
399 if (! CGEN_SYNTAX_MNEMONIC_P (* syn))
400 return _("missing mnemonic in syntax string");
403 /* Generate a case sensitive regular expression that emulates case
404 insensitive matching in the "C" locale. We cannot generate a case
405 insensitive regular expression because in Turkish locales, 'i' and 'I'
406 are not equal modulo case conversion. */
408 /* Copy the literal mnemonic out of the insn. */
409 for (; *mnem; mnem++)
424 /* Copy any remaining literals from the syntax string into the rx. */
425 for(; * syn != 0 && rx <= rxbuf + (CGEN_MAX_RX_ELEMENTS - 7 - 4); ++syn)
427 if (CGEN_SYNTAX_CHAR_P (* syn))
429 char c = CGEN_SYNTAX_CHAR (* syn);
433 /* Escape any regex metacharacters in the syntax. */
434 case '.': case '[': case '\\':
435 case '*': case '^': case '$':
437 #ifdef CGEN_ESCAPE_EXTENDED_REGEX
438 case '?': case '{': case '}':
439 case '(': case ')': case '*':
440 case '|': case '+': case ']':
461 /* Replace non-syntax fields with globs. */
467 /* Trailing whitespace ok. */
474 /* But anchor it after that. */
478 CGEN_INSN_RX (insn) = xmalloc (sizeof (regex_t));
479 reg_err = regcomp ((regex_t *) CGEN_INSN_RX (insn), rxbuf, REG_NOSUB);
487 regerror (reg_err, (regex_t *) CGEN_INSN_RX (insn), msg, 80);
488 regfree ((regex_t *) CGEN_INSN_RX (insn));
489 free (CGEN_INSN_RX (insn));
490 (CGEN_INSN_RX (insn)) = NULL;
496 /* Default insn parser.
498 The syntax string is scanned and operands are parsed and stored in FIELDS.
499 Relocs are queued as we go via other callbacks.
501 ??? Note that this is currently an all-or-nothing parser. If we fail to
502 parse the instruction, we return 0 and the caller will start over from
503 the beginning. Backtracking will be necessary in parsing subexpressions,
504 but that can be handled there. Not handling backtracking here may get
505 expensive in the case of the m68k. Deal with later.
507 Returns NULL for success, an error message for failure. */
510 parse_insn_normal (CGEN_CPU_DESC cd,
511 const CGEN_INSN *insn,
515 /* ??? Runtime added insns not handled yet. */
516 const CGEN_SYNTAX *syntax = CGEN_INSN_SYNTAX (insn);
517 const char *str = *strp;
520 const CGEN_SYNTAX_CHAR_TYPE * syn;
521 #ifdef CGEN_MNEMONIC_OPERANDS
526 /* For now we assume the mnemonic is first (there are no leading operands).
527 We can parse it without needing to set up operand parsing.
528 GAS's input scrubber will ensure mnemonics are lowercase, but we may
529 not be called from GAS. */
530 p = CGEN_INSN_MNEMONIC (insn);
531 while (*p && TOLOWER (*p) == TOLOWER (*str))
535 return _("unrecognized instruction");
537 #ifndef CGEN_MNEMONIC_OPERANDS
538 if (* str && ! ISSPACE (* str))
539 return _("unrecognized instruction");
542 CGEN_INIT_PARSE (cd);
543 cgen_init_parse_operand (cd);
544 #ifdef CGEN_MNEMONIC_OPERANDS
548 /* We don't check for (*str != '\0') here because we want to parse
549 any trailing fake arguments in the syntax string. */
550 syn = CGEN_SYNTAX_STRING (syntax);
552 /* Mnemonics come first for now, ensure valid string. */
553 if (! CGEN_SYNTAX_MNEMONIC_P (* syn))
560 /* Non operand chars must match exactly. */
561 if (CGEN_SYNTAX_CHAR_P (* syn))
563 /* FIXME: While we allow for non-GAS callers above, we assume the
564 first char after the mnemonic part is a space. */
565 /* FIXME: We also take inappropriate advantage of the fact that
566 GAS's input scrubber will remove extraneous blanks. */
567 if (TOLOWER (*str) == TOLOWER (CGEN_SYNTAX_CHAR (* syn)))
569 #ifdef CGEN_MNEMONIC_OPERANDS
570 if (CGEN_SYNTAX_CHAR(* syn) == ' ')
578 /* Syntax char didn't match. Can't be this insn. */
579 static char msg [80];
581 /* xgettext:c-format */
582 sprintf (msg, _("syntax error (expected char `%c', found `%c')"),
583 CGEN_SYNTAX_CHAR(*syn), *str);
588 /* Ran out of input. */
589 static char msg [80];
591 /* xgettext:c-format */
592 sprintf (msg, _("syntax error (expected char `%c', found end of instruction)"),
593 CGEN_SYNTAX_CHAR(*syn));
599 #ifdef CGEN_MNEMONIC_OPERANDS
600 (void) past_opcode_p;
602 /* We have an operand of some sort. */
603 errmsg = cd->parse_operand (cd, CGEN_SYNTAX_FIELD (*syn), &str, fields);
607 /* Done with this operand, continue with next one. */
611 /* If we're at the end of the syntax string, we're done. */
614 /* FIXME: For the moment we assume a valid `str' can only contain
615 blanks now. IE: We needn't try again with a longer version of
616 the insn and it is assumed that longer versions of insns appear
617 before shorter ones (eg: lsr r2,r3,1 vs lsr r2,r3). */
618 while (ISSPACE (* str))
622 return _("junk at end of line"); /* FIXME: would like to include `str' */
627 /* We couldn't parse it. */
628 return _("unrecognized instruction");
632 This routine is called for each instruction to be assembled.
633 STR points to the insn to be assembled.
634 We assume all necessary tables have been initialized.
635 The assembled instruction, less any fixups, is stored in BUF.
636 Remember that if CGEN_INT_INSN_P then BUF is an int and thus the value
637 still needs to be converted to target byte order, otherwise BUF is an array
638 of bytes in target byte order.
639 The result is a pointer to the insn's entry in the opcode table,
640 or NULL if an error occured (an error message will have already been
643 Note that when processing (non-alias) macro-insns,
644 this function recurses.
646 ??? It's possible to make this cpu-independent.
647 One would have to deal with a few minor things.
648 At this point in time doing so would be more of a curiosity than useful
649 [for example this file isn't _that_ big], but keeping the possibility in
650 mind helps keep the design clean. */
653 lm32_cgen_assemble_insn (CGEN_CPU_DESC cd,
656 CGEN_INSN_BYTES_PTR buf,
660 CGEN_INSN_LIST *ilist;
661 const char *parse_errmsg = NULL;
662 const char *insert_errmsg = NULL;
663 int recognized_mnemonic = 0;
665 /* Skip leading white space. */
666 while (ISSPACE (* str))
669 /* The instructions are stored in hashed lists.
670 Get the first in the list. */
671 ilist = CGEN_ASM_LOOKUP_INSN (cd, str);
673 /* Keep looking until we find a match. */
675 for ( ; ilist != NULL ; ilist = CGEN_ASM_NEXT_INSN (ilist))
677 const CGEN_INSN *insn = ilist->insn;
678 recognized_mnemonic = 1;
680 #ifdef CGEN_VALIDATE_INSN_SUPPORTED
681 /* Not usually needed as unsupported opcodes
682 shouldn't be in the hash lists. */
683 /* Is this insn supported by the selected cpu? */
684 if (! lm32_cgen_insn_supported (cd, insn))
687 /* If the RELAXED attribute is set, this is an insn that shouldn't be
688 chosen immediately. Instead, it is used during assembler/linker
689 relaxation if possible. */
690 if (CGEN_INSN_ATTR_VALUE (insn, CGEN_INSN_RELAXED) != 0)
695 /* Skip this insn if str doesn't look right lexically. */
696 if (CGEN_INSN_RX (insn) != NULL &&
697 regexec ((regex_t *) CGEN_INSN_RX (insn), str, 0, NULL, 0) == REG_NOMATCH)
700 /* Allow parse/insert handlers to obtain length of insn. */
701 CGEN_FIELDS_BITSIZE (fields) = CGEN_INSN_BITSIZE (insn);
703 parse_errmsg = CGEN_PARSE_FN (cd, insn) (cd, insn, & str, fields);
704 if (parse_errmsg != NULL)
707 /* ??? 0 is passed for `pc'. */
708 insert_errmsg = CGEN_INSERT_FN (cd, insn) (cd, insn, fields, buf,
710 if (insert_errmsg != NULL)
713 /* It is up to the caller to actually output the insn and any
719 static char errbuf[150];
720 const char *tmp_errmsg;
721 #ifdef CGEN_VERBOSE_ASSEMBLER_ERRORS
729 /* If requesting verbose error messages, use insert_errmsg.
730 Failing that, use parse_errmsg. */
731 tmp_errmsg = (insert_errmsg ? insert_errmsg :
732 parse_errmsg ? parse_errmsg :
733 recognized_mnemonic ?
734 _("unrecognized form of instruction") :
735 _("unrecognized instruction"));
737 if (strlen (start) > 50)
738 /* xgettext:c-format */
739 sprintf (errbuf, "%s `%.50s...'", tmp_errmsg, start);
741 /* xgettext:c-format */
742 sprintf (errbuf, "%s `%.50s'", tmp_errmsg, start);
746 if (strlen (start) > 50)
747 /* xgettext:c-format */
748 sprintf (errbuf, _("bad instruction `%.50s...'"), start);
750 /* xgettext:c-format */
751 sprintf (errbuf, _("bad instruction `%.50s'"), start);