mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-11-27 03:51:15 +08:00
87582defe7
This reverts commit 6ae8a30d44
.
This fixes PR gas/32073.
986 lines
26 KiB
C
986 lines
26 KiB
C
/* DO NOT EDIT! -*- buffer-read-only: t -*- vi:set ro: */
|
||
/* Assembler interface for targets using CGEN. -*- C -*-
|
||
CGEN: Cpu tools GENerator
|
||
|
||
THIS FILE IS MACHINE GENERATED WITH CGEN.
|
||
- the resultant file is machine generated, cgen-asm.in isn't
|
||
|
||
Copyright (C) 1996-2024 Free Software Foundation, Inc.
|
||
|
||
This file is part of libopcodes.
|
||
|
||
This library 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 3, or (at your option)
|
||
any later version.
|
||
|
||
It 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.
|
||
|
||
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. */
|
||
|
||
|
||
/* ??? 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 "or1k-desc.h"
|
||
#include "or1k-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
|
||
(CGEN_CPU_DESC, const CGEN_INSN *, const char **, CGEN_FIELDS *);
|
||
|
||
/* -- assembler routines inserted here. */
|
||
|
||
/* -- asm.c */
|
||
|
||
static const char * MISSING_CLOSING_PARENTHESIS = N_("missing `)'");
|
||
static const char * INVALID_STORE_RELOC = N_("relocation invalid for store");
|
||
static const char * INVALID_RELOC_TYPE = N_("internal relocation type invalid");
|
||
|
||
#define CGEN_VERBOSE_ASSEMBLER_ERRORS
|
||
|
||
static const char *
|
||
parse_disp26 (CGEN_CPU_DESC cd,
|
||
const char ** strp,
|
||
int opindex,
|
||
int opinfo ATTRIBUTE_UNUSED,
|
||
enum cgen_parse_operand_result * resultp,
|
||
bfd_vma * valuep)
|
||
{
|
||
const char *str = *strp;
|
||
const char *errmsg = NULL;
|
||
bfd_reloc_code_real_type reloc = BFD_RELOC_OR1K_REL_26;
|
||
|
||
if (strncasecmp (str, "plta(", 5) == 0)
|
||
{
|
||
*strp = str + 5;
|
||
reloc = BFD_RELOC_OR1K_PLTA26;
|
||
}
|
||
else if (strncasecmp (str, "plt(", 4) == 0)
|
||
{
|
||
*strp = str + 4;
|
||
reloc = BFD_RELOC_OR1K_PLT26;
|
||
}
|
||
|
||
errmsg = cgen_parse_address (cd, strp, opindex, reloc, resultp, valuep);
|
||
|
||
if (reloc != BFD_RELOC_OR1K_REL_26)
|
||
{
|
||
if (**strp != ')')
|
||
errmsg = MISSING_CLOSING_PARENTHESIS;
|
||
else
|
||
++*strp;
|
||
}
|
||
|
||
return errmsg;
|
||
}
|
||
|
||
static const char *
|
||
parse_disp21 (CGEN_CPU_DESC cd,
|
||
const char ** strp,
|
||
int opindex,
|
||
int opinfo ATTRIBUTE_UNUSED,
|
||
enum cgen_parse_operand_result * resultp,
|
||
bfd_vma * valuep)
|
||
{
|
||
const char *str = *strp;
|
||
const char *errmsg = NULL;
|
||
bfd_reloc_code_real_type reloc = BFD_RELOC_OR1K_PCREL_PG21;
|
||
|
||
if (strncasecmp (str, "got(", 4) == 0)
|
||
{
|
||
*strp = str + 4;
|
||
reloc = BFD_RELOC_OR1K_GOT_PG21;
|
||
}
|
||
else if (strncasecmp (str, "tlsgd(", 6) == 0)
|
||
{
|
||
*strp = str + 6;
|
||
reloc = BFD_RELOC_OR1K_TLS_GD_PG21;
|
||
}
|
||
else if (strncasecmp (str, "tlsldm(", 7) == 0)
|
||
{
|
||
*strp = str + 7;
|
||
reloc = BFD_RELOC_OR1K_TLS_LDM_PG21;
|
||
}
|
||
else if (strncasecmp (str, "gottp(", 6) == 0)
|
||
{
|
||
*strp = str + 6;
|
||
reloc = BFD_RELOC_OR1K_TLS_IE_PG21;
|
||
}
|
||
|
||
errmsg = cgen_parse_address (cd, strp, opindex, reloc, resultp, valuep);
|
||
|
||
if (reloc != BFD_RELOC_OR1K_PCREL_PG21)
|
||
{
|
||
if (**strp != ')')
|
||
errmsg = MISSING_CLOSING_PARENTHESIS;
|
||
else
|
||
++*strp;
|
||
}
|
||
|
||
return errmsg;
|
||
}
|
||
|
||
enum or1k_rclass
|
||
{
|
||
RCLASS_DIRECT = 0,
|
||
RCLASS_GOT = 1,
|
||
RCLASS_GOTPC = 2,
|
||
RCLASS_GOTOFF = 3,
|
||
RCLASS_TLSGD = 4,
|
||
RCLASS_TLSLDM = 5,
|
||
RCLASS_DTPOFF = 6,
|
||
RCLASS_GOTTPOFF = 7,
|
||
RCLASS_TPOFF = 8,
|
||
};
|
||
|
||
enum or1k_rtype
|
||
{
|
||
RTYPE_LO = 0,
|
||
RTYPE_SLO = 1,
|
||
RTYPE_PO = 2,
|
||
RTYPE_SPO = 3,
|
||
RTYPE_HI = 4,
|
||
RTYPE_AHI = 5,
|
||
};
|
||
|
||
#define RCLASS_SHIFT 3
|
||
#define RTYPE_MASK 7
|
||
|
||
static const bfd_reloc_code_real_type or1k_imm16_relocs[][6] = {
|
||
{ BFD_RELOC_LO16,
|
||
BFD_RELOC_OR1K_SLO16,
|
||
BFD_RELOC_OR1K_LO13,
|
||
BFD_RELOC_OR1K_SLO13,
|
||
BFD_RELOC_HI16,
|
||
BFD_RELOC_HI16_S, },
|
||
{ BFD_RELOC_OR1K_GOT16,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_OR1K_GOT_LO13,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_OR1K_GOT_AHI16 },
|
||
{ BFD_RELOC_OR1K_GOTPC_LO16,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_OR1K_GOTPC_HI16,
|
||
BFD_RELOC_UNUSED },
|
||
{ BFD_RELOC_LO16_GOTOFF,
|
||
BFD_RELOC_OR1K_GOTOFF_SLO16,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_HI16_GOTOFF,
|
||
BFD_RELOC_HI16_S_GOTOFF },
|
||
{ BFD_RELOC_OR1K_TLS_GD_LO16,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_OR1K_TLS_GD_LO13,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_OR1K_TLS_GD_HI16,
|
||
BFD_RELOC_UNUSED },
|
||
{ BFD_RELOC_OR1K_TLS_LDM_LO16,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_OR1K_TLS_LDM_LO13,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_OR1K_TLS_LDM_HI16,
|
||
BFD_RELOC_UNUSED },
|
||
{ BFD_RELOC_OR1K_TLS_LDO_LO16,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_OR1K_TLS_LDO_HI16,
|
||
BFD_RELOC_UNUSED },
|
||
{ BFD_RELOC_OR1K_TLS_IE_LO16,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_OR1K_TLS_IE_LO13,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_OR1K_TLS_IE_HI16,
|
||
BFD_RELOC_OR1K_TLS_IE_AHI16 },
|
||
{ BFD_RELOC_OR1K_TLS_LE_LO16,
|
||
BFD_RELOC_OR1K_TLS_LE_SLO16,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_UNUSED,
|
||
BFD_RELOC_OR1K_TLS_LE_HI16,
|
||
BFD_RELOC_OR1K_TLS_LE_AHI16 },
|
||
};
|
||
|
||
static int
|
||
parse_reloc (const char **strp)
|
||
{
|
||
const char *str = *strp;
|
||
enum or1k_rclass cls = RCLASS_DIRECT;
|
||
enum or1k_rtype typ;
|
||
|
||
if (strncasecmp (str, "got(", 4) == 0)
|
||
{
|
||
*strp = str + 4;
|
||
return (RCLASS_GOT << RCLASS_SHIFT) | RTYPE_LO;
|
||
}
|
||
if (strncasecmp (str, "gotpo(", 6) == 0)
|
||
{
|
||
*strp = str + 6;
|
||
return (RCLASS_GOT << RCLASS_SHIFT) | RTYPE_PO;
|
||
}
|
||
if (strncasecmp (str, "gottppo(", 8) == 0)
|
||
{
|
||
*strp = str + 8;
|
||
return (RCLASS_GOTTPOFF << RCLASS_SHIFT) | RTYPE_PO;
|
||
}
|
||
|
||
if (strncasecmp (str, "gotpc", 5) == 0)
|
||
{
|
||
str += 5;
|
||
cls = RCLASS_GOTPC;
|
||
}
|
||
else if (strncasecmp (str, "gotoff", 6) == 0)
|
||
{
|
||
str += 6;
|
||
cls = RCLASS_GOTOFF;
|
||
}
|
||
else if (strncasecmp (str, "tlsgd", 5) == 0)
|
||
{
|
||
str += 5;
|
||
cls = RCLASS_TLSGD;
|
||
}
|
||
else if (strncasecmp (str, "tlsldm", 6) == 0)
|
||
{
|
||
str += 6;
|
||
cls = RCLASS_TLSLDM;
|
||
}
|
||
else if (strncasecmp (str, "dtpoff", 6) == 0)
|
||
{
|
||
str += 6;
|
||
cls = RCLASS_DTPOFF;
|
||
}
|
||
else if (strncasecmp (str, "gottpoff", 8) == 0)
|
||
{
|
||
str += 8;
|
||
cls = RCLASS_GOTTPOFF;
|
||
}
|
||
else if (strncasecmp (str, "tpoff", 5) == 0)
|
||
{
|
||
str += 5;
|
||
cls = RCLASS_TPOFF;
|
||
}
|
||
else if (strncasecmp (str, "got", 3) == 0)
|
||
{
|
||
str += 3;
|
||
cls = RCLASS_GOT;
|
||
}
|
||
|
||
if (strncasecmp (str, "hi(", 3) == 0)
|
||
{
|
||
str += 3;
|
||
typ = RTYPE_HI;
|
||
}
|
||
else if (strncasecmp (str, "lo(", 3) == 0)
|
||
{
|
||
str += 3;
|
||
typ = RTYPE_LO;
|
||
}
|
||
else if (strncasecmp (str, "ha(", 3) == 0)
|
||
{
|
||
str += 3;
|
||
typ = RTYPE_AHI;
|
||
}
|
||
else if (strncasecmp (str, "po(", 3) == 0 && cls != RCLASS_GOTTPOFF)
|
||
{
|
||
str += 3;
|
||
typ = RTYPE_PO;
|
||
}
|
||
else
|
||
return -1;
|
||
|
||
*strp = str;
|
||
return (cls << RCLASS_SHIFT) | typ;
|
||
}
|
||
|
||
static const char *
|
||
parse_imm16 (CGEN_CPU_DESC cd, const char **strp, int opindex,
|
||
long *valuep, int splitp)
|
||
{
|
||
const char *errmsg;
|
||
enum cgen_parse_operand_result result_type;
|
||
bfd_reloc_code_real_type reloc = BFD_RELOC_UNUSED;
|
||
enum or1k_rtype reloc_type;
|
||
int reloc_code;
|
||
bfd_vma ret;
|
||
|
||
if (**strp == '#')
|
||
++*strp;
|
||
|
||
reloc_code = parse_reloc (strp);
|
||
reloc_type = reloc_code & RTYPE_MASK;
|
||
if (reloc_code >= 0)
|
||
{
|
||
enum or1k_rclass reloc_class = reloc_code >> RCLASS_SHIFT;
|
||
if (splitp)
|
||
{
|
||
if ((reloc_type == RTYPE_LO || reloc_type == RTYPE_PO)
|
||
&& reloc_class != RCLASS_GOT)
|
||
/* If split we or up the type to RTYPE_SLO or RTYPE_SPO. */
|
||
reloc_type |= 1;
|
||
else
|
||
return INVALID_STORE_RELOC;
|
||
}
|
||
reloc = or1k_imm16_relocs[reloc_class][reloc_type];
|
||
}
|
||
|
||
if (reloc != BFD_RELOC_UNUSED)
|
||
{
|
||
bfd_vma value;
|
||
|
||
errmsg = cgen_parse_address (cd, strp, opindex, reloc,
|
||
&result_type, &value);
|
||
if (**strp != ')')
|
||
errmsg = MISSING_CLOSING_PARENTHESIS;
|
||
++*strp;
|
||
|
||
ret = value;
|
||
|
||
if (errmsg == NULL && result_type == CGEN_PARSE_OPERAND_RESULT_NUMBER)
|
||
switch (reloc_type)
|
||
{
|
||
case RTYPE_AHI:
|
||
ret += 0x8000;
|
||
/* FALLTHRU */
|
||
case RTYPE_HI:
|
||
ret >>= 16;
|
||
/* FALLTHRU */
|
||
case RTYPE_LO:
|
||
case RTYPE_SLO:
|
||
ret &= 0xffff;
|
||
ret = (ret ^ 0x8000) - 0x8000;
|
||
break;
|
||
case RTYPE_PO:
|
||
case RTYPE_SPO:
|
||
ret &= 0x1fff;
|
||
break;
|
||
default:
|
||
errmsg = INVALID_RELOC_TYPE;
|
||
}
|
||
}
|
||
else
|
||
{
|
||
long value;
|
||
errmsg = cgen_parse_signed_integer (cd, strp, opindex, &value);
|
||
ret = value;
|
||
}
|
||
|
||
if (errmsg == NULL)
|
||
*valuep = ret;
|
||
|
||
return errmsg;
|
||
}
|
||
|
||
static const char *
|
||
parse_simm16 (CGEN_CPU_DESC cd, const char **strp, int opindex, long *valuep)
|
||
{
|
||
return parse_imm16(cd, strp, opindex, (long *) valuep, 0);
|
||
}
|
||
|
||
static const char *
|
||
parse_simm16_split (CGEN_CPU_DESC cd, const char **strp, int opindex,
|
||
long *valuep)
|
||
{
|
||
return parse_imm16(cd, strp, opindex, (long *) valuep, 1);
|
||
}
|
||
|
||
static const char *
|
||
parse_uimm16 (CGEN_CPU_DESC cd, const char **strp, int opindex,
|
||
unsigned long *valuep)
|
||
{
|
||
const char *errmsg = parse_imm16(cd, strp, opindex, (long *) valuep, 0);
|
||
if (errmsg == NULL)
|
||
*valuep &= 0xffff;
|
||
return errmsg;
|
||
}
|
||
|
||
static const char *
|
||
parse_uimm16_split (CGEN_CPU_DESC cd, const char **strp, int opindex,
|
||
unsigned long *valuep)
|
||
{
|
||
const char *errmsg = parse_imm16(cd, strp, opindex, (long *) valuep, 1);
|
||
if (errmsg == NULL)
|
||
*valuep &= 0xffff;
|
||
return errmsg;
|
||
}
|
||
|
||
/* Parse register pairs with syntax rA,rB to a flag + rA value. */
|
||
|
||
static const char *
|
||
parse_regpair (CGEN_CPU_DESC cd, const char **strp,
|
||
int opindex ATTRIBUTE_UNUSED, unsigned long *valuep)
|
||
{
|
||
long reg1_index;
|
||
long reg2_index;
|
||
const char *errmsg;
|
||
|
||
/* The first part should just be a register. */
|
||
errmsg = cgen_parse_keyword (cd, strp, &or1k_cgen_opval_h_gpr,
|
||
®1_index);
|
||
|
||
/* If that worked skip the comma separator. */
|
||
if (errmsg == NULL)
|
||
{
|
||
if (**strp == ',')
|
||
++*strp;
|
||
else
|
||
errmsg = "Unexpected character, expected ','";
|
||
}
|
||
|
||
/* If that worked the next part is just another register. */
|
||
if (errmsg == NULL)
|
||
errmsg = cgen_parse_keyword (cd, strp, &or1k_cgen_opval_h_gpr,
|
||
®2_index);
|
||
|
||
/* Validate the register pair is valid and create the output value. */
|
||
if (errmsg == NULL)
|
||
{
|
||
int regoffset = reg2_index - reg1_index;
|
||
|
||
if (regoffset == 1 || regoffset == 2)
|
||
{
|
||
unsigned short offsetmask;
|
||
unsigned short value;
|
||
|
||
offsetmask = ((regoffset == 2 ? 1 : 0) << 5);
|
||
value = offsetmask | reg1_index;
|
||
|
||
*valuep = value;
|
||
}
|
||
else
|
||
errmsg = "Invalid register pair, offset not 1 or 2.";
|
||
}
|
||
|
||
return errmsg;
|
||
}
|
||
|
||
/* -- */
|
||
|
||
const char * or1k_cgen_parse_operand
|
||
(CGEN_CPU_DESC, int, const char **, CGEN_FIELDS *);
|
||
|
||
/* 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 *
|
||
or1k_cgen_parse_operand (CGEN_CPU_DESC cd,
|
||
int opindex,
|
||
const char ** strp,
|
||
CGEN_FIELDS * fields)
|
||
{
|
||
const char * errmsg = NULL;
|
||
/* Used by scalar operands that still need to be parsed. */
|
||
long junk ATTRIBUTE_UNUSED;
|
||
|
||
switch (opindex)
|
||
{
|
||
case OR1K_OPERAND_DISP21 :
|
||
{
|
||
bfd_vma value = 0;
|
||
errmsg = parse_disp21 (cd, strp, OR1K_OPERAND_DISP21, 0, NULL, & value);
|
||
fields->f_disp21 = value;
|
||
}
|
||
break;
|
||
case OR1K_OPERAND_DISP26 :
|
||
{
|
||
bfd_vma value = 0;
|
||
errmsg = parse_disp26 (cd, strp, OR1K_OPERAND_DISP26, 0, NULL, & value);
|
||
fields->f_disp26 = value;
|
||
}
|
||
break;
|
||
case OR1K_OPERAND_RA :
|
||
errmsg = cgen_parse_keyword (cd, strp, & or1k_cgen_opval_h_gpr, & fields->f_r2);
|
||
break;
|
||
case OR1K_OPERAND_RAD32F :
|
||
errmsg = parse_regpair (cd, strp, OR1K_OPERAND_RAD32F, (unsigned long *) (& fields->f_rad32));
|
||
break;
|
||
case OR1K_OPERAND_RADI :
|
||
errmsg = parse_regpair (cd, strp, OR1K_OPERAND_RADI, (unsigned long *) (& fields->f_rad32));
|
||
break;
|
||
case OR1K_OPERAND_RASF :
|
||
errmsg = cgen_parse_keyword (cd, strp, & or1k_cgen_opval_h_fsr, & fields->f_r2);
|
||
break;
|
||
case OR1K_OPERAND_RB :
|
||
errmsg = cgen_parse_keyword (cd, strp, & or1k_cgen_opval_h_gpr, & fields->f_r3);
|
||
break;
|
||
case OR1K_OPERAND_RBD32F :
|
||
errmsg = parse_regpair (cd, strp, OR1K_OPERAND_RBD32F, (unsigned long *) (& fields->f_rbd32));
|
||
break;
|
||
case OR1K_OPERAND_RBDI :
|
||
errmsg = parse_regpair (cd, strp, OR1K_OPERAND_RBDI, (unsigned long *) (& fields->f_rbd32));
|
||
break;
|
||
case OR1K_OPERAND_RBSF :
|
||
errmsg = cgen_parse_keyword (cd, strp, & or1k_cgen_opval_h_fsr, & fields->f_r3);
|
||
break;
|
||
case OR1K_OPERAND_RD :
|
||
errmsg = cgen_parse_keyword (cd, strp, & or1k_cgen_opval_h_gpr, & fields->f_r1);
|
||
break;
|
||
case OR1K_OPERAND_RDD32F :
|
||
errmsg = parse_regpair (cd, strp, OR1K_OPERAND_RDD32F, (unsigned long *) (& fields->f_rdd32));
|
||
break;
|
||
case OR1K_OPERAND_RDDI :
|
||
errmsg = parse_regpair (cd, strp, OR1K_OPERAND_RDDI, (unsigned long *) (& fields->f_rdd32));
|
||
break;
|
||
case OR1K_OPERAND_RDSF :
|
||
errmsg = cgen_parse_keyword (cd, strp, & or1k_cgen_opval_h_fsr, & fields->f_r1);
|
||
break;
|
||
case OR1K_OPERAND_SIMM16 :
|
||
errmsg = parse_simm16 (cd, strp, OR1K_OPERAND_SIMM16, (long *) (& fields->f_simm16));
|
||
break;
|
||
case OR1K_OPERAND_SIMM16_SPLIT :
|
||
errmsg = parse_simm16_split (cd, strp, OR1K_OPERAND_SIMM16_SPLIT, (long *) (& fields->f_simm16_split));
|
||
break;
|
||
case OR1K_OPERAND_UIMM16 :
|
||
errmsg = parse_uimm16 (cd, strp, OR1K_OPERAND_UIMM16, (unsigned long *) (& fields->f_uimm16));
|
||
break;
|
||
case OR1K_OPERAND_UIMM16_SPLIT :
|
||
errmsg = parse_uimm16_split (cd, strp, OR1K_OPERAND_UIMM16_SPLIT, (unsigned long *) (& fields->f_uimm16_split));
|
||
break;
|
||
case OR1K_OPERAND_UIMM6 :
|
||
errmsg = cgen_parse_unsigned_integer (cd, strp, OR1K_OPERAND_UIMM6, (unsigned long *) (& fields->f_uimm6));
|
||
break;
|
||
|
||
default :
|
||
/* xgettext:c-format */
|
||
opcodes_error_handler
|
||
(_("internal error: unrecognized field %d while parsing"),
|
||
opindex);
|
||
abort ();
|
||
}
|
||
|
||
return errmsg;
|
||
}
|
||
|
||
cgen_parse_fn * const or1k_cgen_parse_handlers[] =
|
||
{
|
||
parse_insn_normal,
|
||
};
|
||
|
||
void
|
||
or1k_cgen_init_asm (CGEN_CPU_DESC cd)
|
||
{
|
||
or1k_cgen_init_opcode_table (cd);
|
||
or1k_cgen_init_ibld_table (cd);
|
||
cd->parse_handlers = & or1k_cgen_parse_handlers[0];
|
||
cd->parse_operand = or1k_cgen_parse_operand;
|
||
#ifdef CGEN_ASM_INIT_HOOK
|
||
CGEN_ASM_INIT_HOOK
|
||
#endif
|
||
}
|
||
|
||
|
||
|
||
/* 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 or1k_cgen_assemble_insn
|
||
|
||
Returns NULL for success, an error message for failure. */
|
||
|
||
char *
|
||
or1k_cgen_build_insn_regex (CGEN_INSN *insn)
|
||
{
|
||
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 *
|
||
parse_insn_normal (CGEN_CPU_DESC cd,
|
||
const CGEN_INSN *insn,
|
||
const char **strp,
|
||
CGEN_FIELDS *fields)
|
||
{
|
||
/* ??? 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;
|
||
}
|
||
|
||
#ifdef CGEN_MNEMONIC_OPERANDS
|
||
(void) past_opcode_p;
|
||
#endif
|
||
/* We have an operand of some sort. */
|
||
errmsg = cd->parse_operand (cd, CGEN_SYNTAX_FIELD (*syn), &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 *
|
||
or1k_cgen_assemble_insn (CGEN_CPU_DESC cd,
|
||
const char *str,
|
||
CGEN_FIELDS *fields,
|
||
CGEN_INSN_BYTES_PTR buf,
|
||
char **errmsg)
|
||
{
|
||
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 (! or1k_cgen_insn_supported (cd, insn))
|
||
continue;
|
||
#endif
|
||
/* If the RELAXED attribute is set, this is an insn that shouldn't be
|
||
chosen immediately. Instead, it is used during assembler/linker
|
||
relaxation if possible. */
|
||
if (CGEN_INSN_ATTR_VALUE (insn, CGEN_INSN_RELAXED) != 0)
|
||
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];
|
||
const char *tmp_errmsg;
|
||
#ifdef CGEN_VERBOSE_ASSEMBLER_ERRORS
|
||
#define be_verbose 1
|
||
#else
|
||
#define be_verbose 0
|
||
#endif
|
||
|
||
if (be_verbose)
|
||
{
|
||
/* 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);
|
||
}
|
||
|
||
*errmsg = errbuf;
|
||
return NULL;
|
||
}
|
||
}
|