2001-12-08 04:46:03 +01:00
|
|
|
|
/* Assembler interface for targets using CGEN. -*- C -*-
|
|
|
|
|
CGEN: Cpu tools GENerator
|
|
|
|
|
|
2005-07-01 13:16:33 +02:00
|
|
|
|
THIS FILE IS MACHINE GENERATED WITH CGEN.
|
|
|
|
|
- the resultant file is machine generated, cgen-asm.in isn't
|
2001-12-08 04:46:03 +01:00
|
|
|
|
|
2005-07-01 13:16:33 +02:00
|
|
|
|
Copyright 1996, 1997, 1998, 1999, 2000, 2001, 2005
|
|
|
|
|
Free Software Foundation, Inc.
|
2001-12-08 04:46:03 +01:00
|
|
|
|
|
2005-07-01 13:16:33 +02:00
|
|
|
|
This file is part of the GNU Binutils and GDB, the GNU debugger.
|
2001-12-08 04:46:03 +01:00
|
|
|
|
|
2005-07-01 13:16:33 +02:00
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
|
the Free Software Foundation; either version 2, or (at your option)
|
|
|
|
|
any later version.
|
2001-12-08 04:46:03 +01:00
|
|
|
|
|
2005-07-01 13:16:33 +02:00
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
GNU General Public License for more details.
|
2001-12-08 04:46:03 +01:00
|
|
|
|
|
2005-07-01 13:16:33 +02:00
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
|
along with this program; if not, write to the Free Software Foundation, Inc.,
|
|
|
|
|
51 Franklin Street - Fifth Floor, Boston, MA 02110-1301, USA. */
|
2001-12-08 04:46:03 +01:00
|
|
|
|
|
|
|
|
|
/* ??? Eventually more and more of this stuff can go to cpu-independent files.
|
|
|
|
|
Keep that in mind. */
|
|
|
|
|
|
|
|
|
|
#include "sysdep.h"
|
|
|
|
|
#include <stdio.h>
|
|
|
|
|
#include "ansidecl.h"
|
|
|
|
|
#include "bfd.h"
|
|
|
|
|
#include "symcat.h"
|
|
|
|
|
#include "xstormy16-desc.h"
|
|
|
|
|
#include "xstormy16-opc.h"
|
|
|
|
|
#include "opintl.h"
|
|
|
|
|
#include "xregex.h"
|
|
|
|
|
#include "libiberty.h"
|
|
|
|
|
#include "safe-ctype.h"
|
|
|
|
|
|
|
|
|
|
#undef min
|
|
|
|
|
#define min(a,b) ((a) < (b) ? (a) : (b))
|
|
|
|
|
#undef max
|
|
|
|
|
#define max(a,b) ((a) > (b) ? (a) : (b))
|
|
|
|
|
|
|
|
|
|
static const char * parse_insn_normal
|
2003-08-09 02:39:21 +02:00
|
|
|
|
(CGEN_CPU_DESC, const CGEN_INSN *, const char **, CGEN_FIELDS *);
|
2001-12-08 04:46:03 +01:00
|
|
|
|
|
|
|
|
|
/* -- assembler routines inserted here. */
|
|
|
|
|
|
|
|
|
|
/* -- asm.c */
|
|
|
|
|
|
|
|
|
|
/* The machine-independent code doesn't know how to disambiguate
|
|
|
|
|
mov (foo),r3
|
|
|
|
|
and
|
|
|
|
|
mov (r2),r3
|
|
|
|
|
where 'foo' is a label. This helps it out. */
|
|
|
|
|
|
|
|
|
|
static const char *
|
2005-07-01 13:16:33 +02:00
|
|
|
|
parse_mem8 (CGEN_CPU_DESC cd,
|
|
|
|
|
const char **strp,
|
|
|
|
|
int opindex,
|
|
|
|
|
unsigned long *valuep)
|
2001-12-08 04:46:03 +01:00
|
|
|
|
{
|
|
|
|
|
if (**strp == '(')
|
|
|
|
|
{
|
|
|
|
|
const char *s = *strp;
|
|
|
|
|
|
|
|
|
|
if (s[1] == '-' && s[2] == '-')
|
|
|
|
|
return _("Bad register in preincrement");
|
|
|
|
|
|
2002-12-02 22:58:19 +01:00
|
|
|
|
while (ISALNUM (*++s))
|
2001-12-08 04:46:03 +01:00
|
|
|
|
;
|
|
|
|
|
if (s[0] == '+' && s[1] == '+' && (s[2] == ')' || s[2] == ','))
|
|
|
|
|
return _("Bad register in postincrement");
|
|
|
|
|
if (s[0] == ',' || s[0] == ')')
|
|
|
|
|
return _("Bad register name");
|
|
|
|
|
}
|
|
|
|
|
else if (cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_names,
|
2005-02-23 17:04:40 +01:00
|
|
|
|
(long *) valuep) == NULL)
|
2001-12-08 04:46:03 +01:00
|
|
|
|
return _("Label conflicts with register name");
|
|
|
|
|
else if (strncasecmp (*strp, "rx,", 3) == 0
|
|
|
|
|
|| strncasecmp (*strp, "rxl,", 3) == 0
|
|
|
|
|
|| strncasecmp (*strp, "rxh,", 3) == 0)
|
|
|
|
|
return _("Label conflicts with `Rx'");
|
|
|
|
|
else if (**strp == '#')
|
|
|
|
|
return _("Bad immediate expression");
|
|
|
|
|
|
|
|
|
|
return cgen_parse_unsigned_integer (cd, strp, opindex, valuep);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* For the add and subtract instructions, there are two immediate forms,
|
|
|
|
|
one for small operands and one for large ones. We want to use
|
|
|
|
|
the small one when possible, but we do not want to generate relocs
|
|
|
|
|
of the small size. This is somewhat tricky. */
|
|
|
|
|
|
|
|
|
|
static const char *
|
2005-07-01 13:16:33 +02:00
|
|
|
|
parse_small_immediate (CGEN_CPU_DESC cd,
|
|
|
|
|
const char **strp,
|
|
|
|
|
int opindex,
|
|
|
|
|
unsigned long *valuep)
|
2001-12-08 04:46:03 +01:00
|
|
|
|
{
|
|
|
|
|
bfd_vma value;
|
|
|
|
|
enum cgen_parse_operand_result result;
|
|
|
|
|
const char *errmsg;
|
|
|
|
|
|
2002-12-17 04:57:49 +01:00
|
|
|
|
if (**strp == '@')
|
|
|
|
|
return _("No relocation for small immediate");
|
|
|
|
|
|
2001-12-08 04:46:03 +01:00
|
|
|
|
errmsg = (* cd->parse_operand_fn)
|
|
|
|
|
(cd, CGEN_PARSE_OPERAND_INTEGER, strp, opindex, BFD_RELOC_NONE,
|
2005-07-01 13:16:33 +02:00
|
|
|
|
& result, & value);
|
2001-12-08 04:46:03 +01:00
|
|
|
|
|
|
|
|
|
if (errmsg)
|
|
|
|
|
return errmsg;
|
|
|
|
|
|
|
|
|
|
if (result != CGEN_PARSE_OPERAND_RESULT_NUMBER)
|
|
|
|
|
return _("Small operand was not an immediate number");
|
|
|
|
|
|
|
|
|
|
*valuep = value;
|
|
|
|
|
return NULL;
|
|
|
|
|
}
|
2002-12-17 04:57:49 +01:00
|
|
|
|
|
2005-07-01 13:16:33 +02:00
|
|
|
|
/* Literal scan be either a normal literal, a @hi() or @lo relocation. */
|
2002-12-17 04:57:49 +01:00
|
|
|
|
|
|
|
|
|
static const char *
|
2005-07-01 13:16:33 +02:00
|
|
|
|
parse_immediate16 (CGEN_CPU_DESC cd,
|
|
|
|
|
const char **strp,
|
|
|
|
|
int opindex,
|
|
|
|
|
unsigned long *valuep)
|
2002-12-17 04:57:49 +01:00
|
|
|
|
{
|
|
|
|
|
const char *errmsg;
|
|
|
|
|
enum cgen_parse_operand_result result;
|
|
|
|
|
bfd_reloc_code_real_type code = BFD_RELOC_NONE;
|
|
|
|
|
bfd_vma value;
|
|
|
|
|
|
|
|
|
|
if (strncmp (*strp, "@hi(", 4) == 0)
|
|
|
|
|
{
|
|
|
|
|
*strp += 4;
|
|
|
|
|
code = BFD_RELOC_HI16;
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
if (strncmp (*strp, "@lo(", 4) == 0)
|
|
|
|
|
{
|
|
|
|
|
*strp += 4;
|
|
|
|
|
code = BFD_RELOC_LO16;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (code == BFD_RELOC_NONE)
|
|
|
|
|
errmsg = cgen_parse_unsigned_integer (cd, strp, opindex, valuep);
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
errmsg = cgen_parse_address (cd, strp, opindex, code, &result, &value);
|
|
|
|
|
if ((errmsg == NULL) &&
|
|
|
|
|
(result != CGEN_PARSE_OPERAND_RESULT_QUEUED))
|
|
|
|
|
errmsg = _("Operand is not a symbol");
|
|
|
|
|
|
|
|
|
|
*valuep = value;
|
|
|
|
|
if ((code == BFD_RELOC_HI16 || code == BFD_RELOC_LO16)
|
|
|
|
|
&& **strp == ')')
|
|
|
|
|
*strp += 1;
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
errmsg = _("Syntax error: No trailing ')'");
|
|
|
|
|
return errmsg;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
return errmsg;
|
|
|
|
|
}
|
2001-12-08 04:46:03 +01:00
|
|
|
|
/* -- */
|
|
|
|
|
|
|
|
|
|
const char * xstormy16_cgen_parse_operand
|
2005-07-01 13:16:33 +02:00
|
|
|
|
(CGEN_CPU_DESC, int, const char **, CGEN_FIELDS *);
|
2001-12-08 04:46:03 +01:00
|
|
|
|
|
|
|
|
|
/* Main entry point for operand parsing.
|
|
|
|
|
|
|
|
|
|
This function is basically just a big switch statement. Earlier versions
|
|
|
|
|
used tables to look up the function to use, but
|
|
|
|
|
- if the table contains both assembler and disassembler functions then
|
|
|
|
|
the disassembler contains much of the assembler and vice-versa,
|
|
|
|
|
- there's a lot of inlining possibilities as things grow,
|
|
|
|
|
- using a switch statement avoids the function call overhead.
|
|
|
|
|
|
|
|
|
|
This function could be moved into `parse_insn_normal', but keeping it
|
|
|
|
|
separate makes clear the interface between `parse_insn_normal' and each of
|
|
|
|
|
the handlers. */
|
|
|
|
|
|
|
|
|
|
const char *
|
2005-07-01 13:16:33 +02:00
|
|
|
|
xstormy16_cgen_parse_operand (CGEN_CPU_DESC cd,
|
|
|
|
|
int opindex,
|
|
|
|
|
const char ** strp,
|
|
|
|
|
CGEN_FIELDS * fields)
|
2001-12-08 04:46:03 +01:00
|
|
|
|
{
|
|
|
|
|
const char * errmsg = NULL;
|
|
|
|
|
/* Used by scalar operands that still need to be parsed. */
|
|
|
|
|
long junk ATTRIBUTE_UNUSED;
|
|
|
|
|
|
|
|
|
|
switch (opindex)
|
|
|
|
|
{
|
|
|
|
|
case XSTORMY16_OPERAND_RB :
|
2002-01-11 08:24:59 +01:00
|
|
|
|
errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_Rb_names, & fields->f_Rb);
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_RBJ :
|
2002-01-11 08:24:59 +01:00
|
|
|
|
errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_Rb_names, & fields->f_Rbj);
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_RD :
|
|
|
|
|
errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_names, & fields->f_Rd);
|
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_RDM :
|
|
|
|
|
errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_names, & fields->f_Rdm);
|
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_RM :
|
|
|
|
|
errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_names, & fields->f_Rm);
|
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_RS :
|
|
|
|
|
errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_gr_names, & fields->f_Rs);
|
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_ABS24 :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_ABS24, (unsigned long *) (& fields->f_abs24));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_BCOND2 :
|
|
|
|
|
errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_h_branchcond, & fields->f_op2);
|
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_BCOND5 :
|
|
|
|
|
errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_h_branchcond, & fields->f_op5);
|
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_HMEM8 :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = parse_mem8 (cd, strp, XSTORMY16_OPERAND_HMEM8, (unsigned long *) (& fields->f_hmem8));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_IMM12 :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = cgen_parse_signed_integer (cd, strp, XSTORMY16_OPERAND_IMM12, (long *) (& fields->f_imm12));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_IMM16 :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = parse_immediate16 (cd, strp, XSTORMY16_OPERAND_IMM16, (unsigned long *) (& fields->f_imm16));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_IMM2 :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_IMM2, (unsigned long *) (& fields->f_imm2));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_IMM3 :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_IMM3, (unsigned long *) (& fields->f_imm3));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_IMM3B :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_IMM3B, (unsigned long *) (& fields->f_imm3b));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_IMM4 :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = parse_small_immediate (cd, strp, XSTORMY16_OPERAND_IMM4, (unsigned long *) (& fields->f_imm4));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_IMM8 :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_IMM8, (unsigned long *) (& fields->f_imm8));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_IMM8SMALL :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = parse_small_immediate (cd, strp, XSTORMY16_OPERAND_IMM8SMALL, (unsigned long *) (& fields->f_imm8));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_LMEM8 :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = parse_mem8 (cd, strp, XSTORMY16_OPERAND_LMEM8, (unsigned long *) (& fields->f_lmem8));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_REL12 :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_REL12, (unsigned long *) (& fields->f_rel12));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_REL12A :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_REL12A, (unsigned long *) (& fields->f_rel12a));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_REL8_2 :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_REL8_2, (unsigned long *) (& fields->f_rel8_2));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_REL8_4 :
|
2005-02-23 17:04:40 +01:00
|
|
|
|
errmsg = cgen_parse_unsigned_integer (cd, strp, XSTORMY16_OPERAND_REL8_4, (unsigned long *) (& fields->f_rel8_4));
|
2001-12-08 04:46:03 +01:00
|
|
|
|
break;
|
|
|
|
|
case XSTORMY16_OPERAND_WS2 :
|
|
|
|
|
errmsg = cgen_parse_keyword (cd, strp, & xstormy16_cgen_opval_h_wordsize, & fields->f_op2m);
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
default :
|
|
|
|
|
/* xgettext:c-format */
|
|
|
|
|
fprintf (stderr, _("Unrecognized field %d while parsing.\n"), opindex);
|
|
|
|
|
abort ();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return errmsg;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
cgen_parse_fn * const xstormy16_cgen_parse_handlers[] =
|
|
|
|
|
{
|
|
|
|
|
parse_insn_normal,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
void
|
2005-07-01 13:16:33 +02:00
|
|
|
|
xstormy16_cgen_init_asm (CGEN_CPU_DESC cd)
|
2001-12-08 04:46:03 +01:00
|
|
|
|
{
|
|
|
|
|
xstormy16_cgen_init_opcode_table (cd);
|
|
|
|
|
xstormy16_cgen_init_ibld_table (cd);
|
|
|
|
|
cd->parse_handlers = & xstormy16_cgen_parse_handlers[0];
|
|
|
|
|
cd->parse_operand = xstormy16_cgen_parse_operand;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Regex construction routine.
|
|
|
|
|
|
|
|
|
|
This translates an opcode syntax string into a regex string,
|
|
|
|
|
by replacing any non-character syntax element (such as an
|
|
|
|
|
opcode) with the pattern '.*'
|
|
|
|
|
|
|
|
|
|
It then compiles the regex and stores it in the opcode, for
|
|
|
|
|
later use by xstormy16_cgen_assemble_insn
|
|
|
|
|
|
|
|
|
|
Returns NULL for success, an error message for failure. */
|
|
|
|
|
|
|
|
|
|
char *
|
2003-08-09 02:39:21 +02:00
|
|
|
|
xstormy16_cgen_build_insn_regex (CGEN_INSN *insn)
|
2001-12-08 04:46:03 +01:00
|
|
|
|
{
|
|
|
|
|
CGEN_OPCODE *opc = (CGEN_OPCODE *) CGEN_INSN_OPCODE (insn);
|
|
|
|
|
const char *mnem = CGEN_INSN_MNEMONIC (insn);
|
|
|
|
|
char rxbuf[CGEN_MAX_RX_ELEMENTS];
|
|
|
|
|
char *rx = rxbuf;
|
|
|
|
|
const CGEN_SYNTAX_CHAR_TYPE *syn;
|
|
|
|
|
int reg_err;
|
|
|
|
|
|
|
|
|
|
syn = CGEN_SYNTAX_STRING (CGEN_OPCODE_SYNTAX (opc));
|
|
|
|
|
|
|
|
|
|
/* Mnemonics come first in the syntax string. */
|
|
|
|
|
if (! CGEN_SYNTAX_MNEMONIC_P (* syn))
|
|
|
|
|
return _("missing mnemonic in syntax string");
|
|
|
|
|
++syn;
|
|
|
|
|
|
|
|
|
|
/* Generate a case sensitive regular expression that emulates case
|
|
|
|
|
insensitive matching in the "C" locale. We cannot generate a case
|
|
|
|
|
insensitive regular expression because in Turkish locales, 'i' and 'I'
|
|
|
|
|
are not equal modulo case conversion. */
|
|
|
|
|
|
|
|
|
|
/* Copy the literal mnemonic out of the insn. */
|
|
|
|
|
for (; *mnem; mnem++)
|
|
|
|
|
{
|
|
|
|
|
char c = *mnem;
|
|
|
|
|
|
|
|
|
|
if (ISALPHA (c))
|
|
|
|
|
{
|
|
|
|
|
*rx++ = '[';
|
|
|
|
|
*rx++ = TOLOWER (c);
|
|
|
|
|
*rx++ = TOUPPER (c);
|
|
|
|
|
*rx++ = ']';
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
*rx++ = c;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Copy any remaining literals from the syntax string into the rx. */
|
|
|
|
|
for(; * syn != 0 && rx <= rxbuf + (CGEN_MAX_RX_ELEMENTS - 7 - 4); ++syn)
|
|
|
|
|
{
|
|
|
|
|
if (CGEN_SYNTAX_CHAR_P (* syn))
|
|
|
|
|
{
|
|
|
|
|
char c = CGEN_SYNTAX_CHAR (* syn);
|
|
|
|
|
|
|
|
|
|
switch (c)
|
|
|
|
|
{
|
|
|
|
|
/* Escape any regex metacharacters in the syntax. */
|
|
|
|
|
case '.': case '[': case '\\':
|
|
|
|
|
case '*': case '^': case '$':
|
|
|
|
|
|
|
|
|
|
#ifdef CGEN_ESCAPE_EXTENDED_REGEX
|
|
|
|
|
case '?': case '{': case '}':
|
|
|
|
|
case '(': case ')': case '*':
|
|
|
|
|
case '|': case '+': case ']':
|
|
|
|
|
#endif
|
|
|
|
|
*rx++ = '\\';
|
|
|
|
|
*rx++ = c;
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
default:
|
|
|
|
|
if (ISALPHA (c))
|
|
|
|
|
{
|
|
|
|
|
*rx++ = '[';
|
|
|
|
|
*rx++ = TOLOWER (c);
|
|
|
|
|
*rx++ = TOUPPER (c);
|
|
|
|
|
*rx++ = ']';
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
*rx++ = c;
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
/* Replace non-syntax fields with globs. */
|
|
|
|
|
*rx++ = '.';
|
|
|
|
|
*rx++ = '*';
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Trailing whitespace ok. */
|
|
|
|
|
* rx++ = '[';
|
|
|
|
|
* rx++ = ' ';
|
|
|
|
|
* rx++ = '\t';
|
|
|
|
|
* rx++ = ']';
|
|
|
|
|
* rx++ = '*';
|
|
|
|
|
|
|
|
|
|
/* But anchor it after that. */
|
|
|
|
|
* rx++ = '$';
|
|
|
|
|
* rx = '\0';
|
|
|
|
|
|
|
|
|
|
CGEN_INSN_RX (insn) = xmalloc (sizeof (regex_t));
|
|
|
|
|
reg_err = regcomp ((regex_t *) CGEN_INSN_RX (insn), rxbuf, REG_NOSUB);
|
|
|
|
|
|
|
|
|
|
if (reg_err == 0)
|
|
|
|
|
return NULL;
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
static char msg[80];
|
|
|
|
|
|
|
|
|
|
regerror (reg_err, (regex_t *) CGEN_INSN_RX (insn), msg, 80);
|
|
|
|
|
regfree ((regex_t *) CGEN_INSN_RX (insn));
|
|
|
|
|
free (CGEN_INSN_RX (insn));
|
|
|
|
|
(CGEN_INSN_RX (insn)) = NULL;
|
|
|
|
|
return msg;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Default insn parser.
|
|
|
|
|
|
|
|
|
|
The syntax string is scanned and operands are parsed and stored in FIELDS.
|
|
|
|
|
Relocs are queued as we go via other callbacks.
|
|
|
|
|
|
|
|
|
|
??? Note that this is currently an all-or-nothing parser. If we fail to
|
|
|
|
|
parse the instruction, we return 0 and the caller will start over from
|
|
|
|
|
the beginning. Backtracking will be necessary in parsing subexpressions,
|
|
|
|
|
but that can be handled there. Not handling backtracking here may get
|
|
|
|
|
expensive in the case of the m68k. Deal with later.
|
|
|
|
|
|
|
|
|
|
Returns NULL for success, an error message for failure. */
|
|
|
|
|
|
|
|
|
|
static const char *
|
2003-08-09 02:39:21 +02:00
|
|
|
|
parse_insn_normal (CGEN_CPU_DESC cd,
|
|
|
|
|
const CGEN_INSN *insn,
|
|
|
|
|
const char **strp,
|
|
|
|
|
CGEN_FIELDS *fields)
|
2001-12-08 04:46:03 +01:00
|
|
|
|
{
|
|
|
|
|
/* ??? Runtime added insns not handled yet. */
|
|
|
|
|
const CGEN_SYNTAX *syntax = CGEN_INSN_SYNTAX (insn);
|
|
|
|
|
const char *str = *strp;
|
|
|
|
|
const char *errmsg;
|
|
|
|
|
const char *p;
|
|
|
|
|
const CGEN_SYNTAX_CHAR_TYPE * syn;
|
|
|
|
|
#ifdef CGEN_MNEMONIC_OPERANDS
|
|
|
|
|
/* FIXME: wip */
|
|
|
|
|
int past_opcode_p;
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/* For now we assume the mnemonic is first (there are no leading operands).
|
|
|
|
|
We can parse it without needing to set up operand parsing.
|
|
|
|
|
GAS's input scrubber will ensure mnemonics are lowercase, but we may
|
|
|
|
|
not be called from GAS. */
|
|
|
|
|
p = CGEN_INSN_MNEMONIC (insn);
|
|
|
|
|
while (*p && TOLOWER (*p) == TOLOWER (*str))
|
|
|
|
|
++p, ++str;
|
|
|
|
|
|
|
|
|
|
if (* p)
|
|
|
|
|
return _("unrecognized instruction");
|
|
|
|
|
|
|
|
|
|
#ifndef CGEN_MNEMONIC_OPERANDS
|
|
|
|
|
if (* str && ! ISSPACE (* str))
|
|
|
|
|
return _("unrecognized instruction");
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
CGEN_INIT_PARSE (cd);
|
|
|
|
|
cgen_init_parse_operand (cd);
|
|
|
|
|
#ifdef CGEN_MNEMONIC_OPERANDS
|
|
|
|
|
past_opcode_p = 0;
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/* We don't check for (*str != '\0') here because we want to parse
|
|
|
|
|
any trailing fake arguments in the syntax string. */
|
|
|
|
|
syn = CGEN_SYNTAX_STRING (syntax);
|
|
|
|
|
|
|
|
|
|
/* Mnemonics come first for now, ensure valid string. */
|
|
|
|
|
if (! CGEN_SYNTAX_MNEMONIC_P (* syn))
|
|
|
|
|
abort ();
|
|
|
|
|
|
|
|
|
|
++syn;
|
|
|
|
|
|
|
|
|
|
while (* syn != 0)
|
|
|
|
|
{
|
|
|
|
|
/* Non operand chars must match exactly. */
|
|
|
|
|
if (CGEN_SYNTAX_CHAR_P (* syn))
|
|
|
|
|
{
|
|
|
|
|
/* FIXME: While we allow for non-GAS callers above, we assume the
|
|
|
|
|
first char after the mnemonic part is a space. */
|
|
|
|
|
/* FIXME: We also take inappropriate advantage of the fact that
|
|
|
|
|
GAS's input scrubber will remove extraneous blanks. */
|
|
|
|
|
if (TOLOWER (*str) == TOLOWER (CGEN_SYNTAX_CHAR (* syn)))
|
|
|
|
|
{
|
|
|
|
|
#ifdef CGEN_MNEMONIC_OPERANDS
|
|
|
|
|
if (CGEN_SYNTAX_CHAR(* syn) == ' ')
|
|
|
|
|
past_opcode_p = 1;
|
|
|
|
|
#endif
|
|
|
|
|
++ syn;
|
|
|
|
|
++ str;
|
|
|
|
|
}
|
|
|
|
|
else if (*str)
|
|
|
|
|
{
|
|
|
|
|
/* Syntax char didn't match. Can't be this insn. */
|
|
|
|
|
static char msg [80];
|
|
|
|
|
|
|
|
|
|
/* xgettext:c-format */
|
|
|
|
|
sprintf (msg, _("syntax error (expected char `%c', found `%c')"),
|
|
|
|
|
CGEN_SYNTAX_CHAR(*syn), *str);
|
|
|
|
|
return msg;
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
/* Ran out of input. */
|
|
|
|
|
static char msg [80];
|
|
|
|
|
|
|
|
|
|
/* xgettext:c-format */
|
|
|
|
|
sprintf (msg, _("syntax error (expected char `%c', found end of instruction)"),
|
|
|
|
|
CGEN_SYNTAX_CHAR(*syn));
|
|
|
|
|
return msg;
|
|
|
|
|
}
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* We have an operand of some sort. */
|
2002-05-15 22:54:50 +02:00
|
|
|
|
errmsg = cd->parse_operand (cd, CGEN_SYNTAX_FIELD (*syn),
|
2001-12-08 04:46:03 +01:00
|
|
|
|
&str, fields);
|
|
|
|
|
if (errmsg)
|
|
|
|
|
return errmsg;
|
|
|
|
|
|
|
|
|
|
/* Done with this operand, continue with next one. */
|
|
|
|
|
++ syn;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* If we're at the end of the syntax string, we're done. */
|
|
|
|
|
if (* syn == 0)
|
|
|
|
|
{
|
|
|
|
|
/* FIXME: For the moment we assume a valid `str' can only contain
|
|
|
|
|
blanks now. IE: We needn't try again with a longer version of
|
|
|
|
|
the insn and it is assumed that longer versions of insns appear
|
|
|
|
|
before shorter ones (eg: lsr r2,r3,1 vs lsr r2,r3). */
|
|
|
|
|
while (ISSPACE (* str))
|
|
|
|
|
++ str;
|
|
|
|
|
|
|
|
|
|
if (* str != '\0')
|
|
|
|
|
return _("junk at end of line"); /* FIXME: would like to include `str' */
|
|
|
|
|
|
|
|
|
|
return NULL;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* We couldn't parse it. */
|
|
|
|
|
return _("unrecognized instruction");
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Main entry point.
|
|
|
|
|
This routine is called for each instruction to be assembled.
|
|
|
|
|
STR points to the insn to be assembled.
|
|
|
|
|
We assume all necessary tables have been initialized.
|
|
|
|
|
The assembled instruction, less any fixups, is stored in BUF.
|
|
|
|
|
Remember that if CGEN_INT_INSN_P then BUF is an int and thus the value
|
|
|
|
|
still needs to be converted to target byte order, otherwise BUF is an array
|
|
|
|
|
of bytes in target byte order.
|
|
|
|
|
The result is a pointer to the insn's entry in the opcode table,
|
|
|
|
|
or NULL if an error occured (an error message will have already been
|
|
|
|
|
printed).
|
|
|
|
|
|
|
|
|
|
Note that when processing (non-alias) macro-insns,
|
|
|
|
|
this function recurses.
|
|
|
|
|
|
|
|
|
|
??? It's possible to make this cpu-independent.
|
|
|
|
|
One would have to deal with a few minor things.
|
|
|
|
|
At this point in time doing so would be more of a curiosity than useful
|
|
|
|
|
[for example this file isn't _that_ big], but keeping the possibility in
|
|
|
|
|
mind helps keep the design clean. */
|
|
|
|
|
|
|
|
|
|
const CGEN_INSN *
|
2003-08-09 02:39:21 +02:00
|
|
|
|
xstormy16_cgen_assemble_insn (CGEN_CPU_DESC cd,
|
|
|
|
|
const char *str,
|
|
|
|
|
CGEN_FIELDS *fields,
|
|
|
|
|
CGEN_INSN_BYTES_PTR buf,
|
|
|
|
|
char **errmsg)
|
2001-12-08 04:46:03 +01:00
|
|
|
|
{
|
|
|
|
|
const char *start;
|
|
|
|
|
CGEN_INSN_LIST *ilist;
|
|
|
|
|
const char *parse_errmsg = NULL;
|
|
|
|
|
const char *insert_errmsg = NULL;
|
|
|
|
|
int recognized_mnemonic = 0;
|
|
|
|
|
|
|
|
|
|
/* Skip leading white space. */
|
|
|
|
|
while (ISSPACE (* str))
|
|
|
|
|
++ str;
|
|
|
|
|
|
|
|
|
|
/* The instructions are stored in hashed lists.
|
|
|
|
|
Get the first in the list. */
|
|
|
|
|
ilist = CGEN_ASM_LOOKUP_INSN (cd, str);
|
|
|
|
|
|
|
|
|
|
/* Keep looking until we find a match. */
|
|
|
|
|
start = str;
|
|
|
|
|
for ( ; ilist != NULL ; ilist = CGEN_ASM_NEXT_INSN (ilist))
|
|
|
|
|
{
|
|
|
|
|
const CGEN_INSN *insn = ilist->insn;
|
|
|
|
|
recognized_mnemonic = 1;
|
|
|
|
|
|
|
|
|
|
#ifdef CGEN_VALIDATE_INSN_SUPPORTED
|
|
|
|
|
/* Not usually needed as unsupported opcodes
|
|
|
|
|
shouldn't be in the hash lists. */
|
|
|
|
|
/* Is this insn supported by the selected cpu? */
|
|
|
|
|
if (! xstormy16_cgen_insn_supported (cd, insn))
|
|
|
|
|
continue;
|
|
|
|
|
#endif
|
opcodes:
* cgen-asm.in (@arch@_cgen_assemble_insn): CGEN_INSN_RELAX renamed to
CGEN_INSN_RELAXED.
* fr30-asm.c,fr30-desc.c,fr30-desc.h: Regenerate.
* frv-asm.c,frv-desc.c,frv-desc.h: Regenerate.
* ip2k-asm.c,ip2k-desc.c,ip2k-desc.h: Regenerate.
* iq2000-asm.c,iq2000-desc.c,iq2000-desc.h: Regenerate.
* m32r-asm.c,m32r-desc.c,m32r-desc.h,m32r-opc.c: Regenerate.
* openrisc-asm.c,openrisc-desc.c,openrisc-desc.h: Regenerate.
* xstormy16-asm.c,xstormy16-desc.c,xstormy16-desc.h: Regenerate.
gas:
* cgen.c (gas_cgen_finish_insn): CGEN_INSN_RELAX renamed to
CGEN_INSN_RELAXED.
* config/tc-fr30.c (md_estimate_size_before_relax): Ditto.
* config/tc-m32r.c (md_estimate_size_before_relax): Ditto.
* config/tc-openrisc.c (md_estimate_size_before_relax): Ditto.
2003-06-11 00:08:45 +02:00
|
|
|
|
/* If the RELAXED attribute is set, this is an insn that shouldn't be
|
2001-12-08 04:46:03 +01:00
|
|
|
|
chosen immediately. Instead, it is used during assembler/linker
|
|
|
|
|
relaxation if possible. */
|
opcodes:
* cgen-asm.in (@arch@_cgen_assemble_insn): CGEN_INSN_RELAX renamed to
CGEN_INSN_RELAXED.
* fr30-asm.c,fr30-desc.c,fr30-desc.h: Regenerate.
* frv-asm.c,frv-desc.c,frv-desc.h: Regenerate.
* ip2k-asm.c,ip2k-desc.c,ip2k-desc.h: Regenerate.
* iq2000-asm.c,iq2000-desc.c,iq2000-desc.h: Regenerate.
* m32r-asm.c,m32r-desc.c,m32r-desc.h,m32r-opc.c: Regenerate.
* openrisc-asm.c,openrisc-desc.c,openrisc-desc.h: Regenerate.
* xstormy16-asm.c,xstormy16-desc.c,xstormy16-desc.h: Regenerate.
gas:
* cgen.c (gas_cgen_finish_insn): CGEN_INSN_RELAX renamed to
CGEN_INSN_RELAXED.
* config/tc-fr30.c (md_estimate_size_before_relax): Ditto.
* config/tc-m32r.c (md_estimate_size_before_relax): Ditto.
* config/tc-openrisc.c (md_estimate_size_before_relax): Ditto.
2003-06-11 00:08:45 +02:00
|
|
|
|
if (CGEN_INSN_ATTR_VALUE (insn, CGEN_INSN_RELAXED) != 0)
|
2001-12-08 04:46:03 +01:00
|
|
|
|
continue;
|
|
|
|
|
|
|
|
|
|
str = start;
|
|
|
|
|
|
|
|
|
|
/* Skip this insn if str doesn't look right lexically. */
|
|
|
|
|
if (CGEN_INSN_RX (insn) != NULL &&
|
|
|
|
|
regexec ((regex_t *) CGEN_INSN_RX (insn), str, 0, NULL, 0) == REG_NOMATCH)
|
|
|
|
|
continue;
|
|
|
|
|
|
|
|
|
|
/* Allow parse/insert handlers to obtain length of insn. */
|
|
|
|
|
CGEN_FIELDS_BITSIZE (fields) = CGEN_INSN_BITSIZE (insn);
|
|
|
|
|
|
|
|
|
|
parse_errmsg = CGEN_PARSE_FN (cd, insn) (cd, insn, & str, fields);
|
|
|
|
|
if (parse_errmsg != NULL)
|
|
|
|
|
continue;
|
|
|
|
|
|
|
|
|
|
/* ??? 0 is passed for `pc'. */
|
|
|
|
|
insert_errmsg = CGEN_INSERT_FN (cd, insn) (cd, insn, fields, buf,
|
|
|
|
|
(bfd_vma) 0);
|
|
|
|
|
if (insert_errmsg != NULL)
|
|
|
|
|
continue;
|
|
|
|
|
|
|
|
|
|
/* It is up to the caller to actually output the insn and any
|
|
|
|
|
queued relocs. */
|
|
|
|
|
return insn;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
{
|
|
|
|
|
static char errbuf[150];
|
|
|
|
|
#ifdef CGEN_VERBOSE_ASSEMBLER_ERRORS
|
|
|
|
|
const char *tmp_errmsg;
|
|
|
|
|
|
|
|
|
|
/* If requesting verbose error messages, use insert_errmsg.
|
|
|
|
|
Failing that, use parse_errmsg. */
|
|
|
|
|
tmp_errmsg = (insert_errmsg ? insert_errmsg :
|
|
|
|
|
parse_errmsg ? parse_errmsg :
|
|
|
|
|
recognized_mnemonic ?
|
|
|
|
|
_("unrecognized form of instruction") :
|
|
|
|
|
_("unrecognized instruction"));
|
|
|
|
|
|
|
|
|
|
if (strlen (start) > 50)
|
|
|
|
|
/* xgettext:c-format */
|
|
|
|
|
sprintf (errbuf, "%s `%.50s...'", tmp_errmsg, start);
|
|
|
|
|
else
|
|
|
|
|
/* xgettext:c-format */
|
|
|
|
|
sprintf (errbuf, "%s `%.50s'", tmp_errmsg, start);
|
|
|
|
|
#else
|
|
|
|
|
if (strlen (start) > 50)
|
|
|
|
|
/* xgettext:c-format */
|
|
|
|
|
sprintf (errbuf, _("bad instruction `%.50s...'"), start);
|
|
|
|
|
else
|
|
|
|
|
/* xgettext:c-format */
|
|
|
|
|
sprintf (errbuf, _("bad instruction `%.50s'"), start);
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
*errmsg = errbuf;
|
|
|
|
|
return NULL;
|
|
|
|
|
}
|
|
|
|
|
}
|