Subversion Repositories scarts

; Generate .c/.h versions of main elements of cpu description file.

; Copyright (C) 2000, 2001, 2002, 2003, 2005, 2009 Red Hat, Inc.

; This file is part of CGEN.

"Generating isa table defns ...\n""\

static const CGEN_ISA @arch@_cgen_isa_table[] = {

  { 0, 0, 0, 0, 0 }

};

\n"; Mach support code.

; Currently this is quite simple, the various cpu names and their mach numbers

; are recorded in a "keyword" table.

; ??? No longer used as there is the mach attribute.

;

;(set! mach-table (make <keyword> 'mach "machine list"

;                       (make <attr-list> "" nil) ; FIXME: sanitization?

;                       (map (lambda (elm) (list (obj:name elm) (mach-number elm)))

;                            (current-mach-list))))

"Generating machine table decls ...\n"""; (gen-decl mach-table)

"Generating machine table defns ...\n""\

/* Machine variants.  */

static const CGEN_MACH @arch@_cgen_mach_table[] = {

""  { ""\"""\", ""\"""\", "", "" },\n""\

  { 0, 0, 0, 0 }

};

\n"; Attribute support code.

; Return C code to describe the various attributes.

"Generating attribute table decls ...\n""/* Attributes.  */\n""extern const CGEN_ATTR_TABLE @arch@_cgen_hardware_attr_table[];\n""extern const CGEN_ATTR_TABLE @arch@_cgen_ifield_attr_table[];\n""extern const CGEN_ATTR_TABLE @arch@_cgen_operand_attr_table[];\n""extern const CGEN_ATTR_TABLE @arch@_cgen_insn_attr_table[];\n""\n"; Alternative GEN-MASK argument to gen-bool-attrs.

; This uses the `A' macro to abbreviate the attribute definition.

"A("")"; Instruction fields support code.

; Return C code to declare various ifield bits.

"Generating instruction field decls ...\n""/* Ifield support.  */\n\n""/* Ifield attribute indices.  */\n\n""cgen_ifld""cgen_ifld""@arch@ ifield types""@ARCH@_""#define MAX_IFLD ((int) @ARCH@_F_MAX)\n\n"; Return C code to define the instruction field table,

; and any other ifield related definitions.

"Generating ifield table ...\n""

/* The instruction field table.  */

""A(a) (1 << CGEN_IFLD_""a)""

{

""  { "", ""\"""\", ""0, 0, 0, 0,"", "", "", "", ""  },\n""\

  { 0, 0, 0, 0, 0, 0, "" }

};

#undef A

"; Hardware support.

; Return C code to declare the various hardware bits

"Generating hardware decls ...\n""/* Hardware attribute indices.  */\n\n""cgen_hw""cgen_hw""@arch@ hardware types""HW_"; FIXME: @ARCH@_

"#define MAX_HW ((int) HW_MAX)\n\n"; Return declarations of variables tables used by HW.

""""; Return C code to declare the various hardware bits

; that must be defined after including opcode/cgen.h.

; Only do this for `PRIVATE' elements.  Public ones are emitted elsewhere.

""""; Generate the tables for the various hardware bits (register names, etc.).

; which collects them all together.

; Uses include looking up a particular register set so that a new reg

; can be added to it [at runtime].

/* The hardware table.  */

""A(a) (1 << CGEN_HW_""a)""

const CGEN_HW_ENTRY @arch@_cgen_hw_table[] =

{

""  { ""\"""\", "", "; ??? No element currently requires both indices and

; values specs so we only output the needed one.

"CGEN_ASM_NONE, 0, "" },\n""\

  { 0, 0, CGEN_ASM_NONE, 0, "" }

};

#undef A

"; Utilities of cgen-opc.h.

; Return #define's of several constants.

; FIXME: Some of these to be moved into table of structs, one per cpu family.

"Generating #define's ...\n""#include \"opcode/cgen-bitset.h\"\n""\n""#define CGEN_ARCH @arch@\n\n""/* Given symbol S, return @arch@_cgen_<S>.  */\n""CGEN_SYM(s) @arch@""_cgen_""s""\n\n/* Selected cpu families.  */\n"; FIXME: Move to sim's arch.h.

"#define HAVE_CPU_""\n""\n""#define CGEN_INSN_LSB0_P ""1""0""\n\n""/* Minimum size of any insn (in bytes).  */\n""#define CGEN_MIN_INSN_SIZE ""\n\n""/* Maximum size of any insn (in bytes).  */\n""#define CGEN_MAX_INSN_SIZE ""\n\n"; This tells the assembler/disassembler whether or not it can use an int to

; insn buffer, only enable this if all isas support it.

"\n""\n""/* CGEN_MNEMONIC_OPERANDS is defined if mnemonics have operands.\n""   e.g. In \"b,a foo\" the \",a\" is an operand.  If mnemonics have operands\n""   we can't hash on everything up to the space.  */\n""/*#define CGEN_MNEMONIC_OPERANDS*/\n""#define CGEN_MNEMONIC_OPERANDS\n""\n"; "/* Maximum number of operands any insn or macro-insn has.  */\n"

; "#define CGEN_MAX_INSN_OPERANDS 16\n"

; "\n"

"/* Maximum number of fields in an instruction.  */\n""#define CGEN_ACTUAL_MAX_IFMT_OPERANDS ""\n\n"; Operand support.

; Return C code to declare various operand bits.

"Generating operand decls ...\n""/* Operand attribute indices.  */\n\n""cgen_operand""cgen_operand""@arch@ operand types""@ARCH@_OPERAND_""/* Number of operands types.  */\n""#define MAX_OPERANDS ""\n\n"; was: "#define MAX_OPERANDS ((int) @ARCH@_OPERAND_MAX)\n\n"

"/* Maximum number of operands referenced by any insn.  */\n""#define MAX_OPERAND_INSTANCES ""\n\n"; Generate C code to define the operand table.

"0""0""&""_MULTI_IFIELD[0]"; else     

"&@arch@_cgen_ifld_table[""]""{ "", { (const PTR) "" } }""\n\n/* multi ifield declarations */\n\n""const CGEN_MAYBE_MULTI_IFLD ""_MULTI_IFIELD [];\n""\n\n/* multi ifield definitions */\n\n""const CGEN_MAYBE_MULTI_IFLD ""_MULTI_IFIELD [] =\n{""\n    "",""\n    { 0, { (const PTR) 0 } }\n};\n""Generating operand table ...\n""

/* The operand table.  */

""A(a) (1 << CGEN_OPERAND_""a)""OPERAND(op) @ARCH@_OPERAND_""op""

{

""/* "": "" */\n""""  { ""\"""\", "", "", "", "",\n""    "", \n""    ""  },\n""/* sentinel */\n\

};

#undef A

"; Instruction table support.

"Generating instruction decls ...\n""/* Insn attribute indices.  */\n\n""cgen_insn""cgen_insn"; Generate an insn table entry for INSN.

; NUM-NON-BOOLS is the number of non-boolean insn attributes.

"/* "" */\n""  {\n""    ""-1"", ""\"""\", ""\"""\", ";(if (has-attr? insn 'ALIAS) "0" (number->string (insn-length insn))) ",\n"

",\n"; ??? There is currently a problem with embedded newlines, and this might

; best be put in another file [the table is already pretty big].

; Might also wish to output bytecodes instead.

;    "    "

;    (if (insn-semantics insn)

;       (string-append "\""

;                      (with-output-to-string

;                        ; ??? Should we do macro expansion here?

;                        (lambda () (display (insn-semantics insn))))

;                      "\"")

;       "0")

;    ",\n"

; (either as plain text or bytecodes).

; Values could be lazily computed and cached.

"Generating instruction table ...\n""

/* The instruction table.  */

#define OP(field) CGEN_SYNTAX_MAKE_FIELD (OPERAND (field))

""A(a) (1 << CGEN_INSN_""a)""

static const CGEN_IBASE @arch@_cgen_insn_table[MAX_INSNS] =

{

  /* Special null first entry.

     Also, the special `invalid' insn resides here.  */

  { 0, 0, 0, 0, "" },\n""Generating insn table entry for "" ...\n""\

};

#undef OP

#undef A

"; Cpu table handling support.

;

; ??? A lot of this can live in a machine independent file, but there's

; currently no place to put this file (there's no libcgen).  libopcodes is the

; wrong place as some simulator ports use this but they don't use libopcodes.

; Return C routines to open/close a cpu description table.

; This is defined here and not in cgen-opc.in because it refers to

; CGEN_{ASM,DIS}_HASH and insn_table/macro_insn_table which is defined

; earlier in the file.  ??? Things can certainly be rearranged though

; and opcodes/cgen.sh modified to insert the generated part into the middle

; of the file like is done for assembler/disassembler support.

"\

static const CGEN_MACH * lookup_mach_via_bfd_name (const CGEN_MACH *, const char *);

static void build_hw_table      (CGEN_CPU_TABLE *);

static void build_ifield_table  (CGEN_CPU_TABLE *);

static void build_operand_table (CGEN_CPU_TABLE *);

static void build_insn_table    (CGEN_CPU_TABLE *);

static void @arch@_cgen_rebuild_tables (CGEN_CPU_TABLE *);

/* Subroutine of @arch@_cgen_cpu_open to look up a mach via its bfd name.  */

static const CGEN_MACH *

{

    {

      if (strcmp (name, table->bfd_name) == 0)

        return table;

    }

}

static void

build_hw_table (CGEN_CPU_TABLE *cd)

{

  int i;

  int machs = cd->machs;

  const CGEN_HW_ENTRY *init = & @arch@_cgen_hw_table[0];

  /* MAX_HW is only an upper bound on the number of selected entries.

     However each entry is indexed by it's enum so there can be holes in

     the table.  */

  const CGEN_HW_ENTRY **selected =

    (const CGEN_HW_ENTRY **) xmalloc (MAX_HW * sizeof (CGEN_HW_ENTRY *));

  cd->hw_table.init_entries = init;

  cd->hw_table.entry_size = sizeof (CGEN_HW_ENTRY);

  memset (selected, 0, MAX_HW * sizeof (CGEN_HW_ENTRY *));

  /* ??? For now we just use machs to determine which ones we want.  */

  for (i = 0; init[i].name != NULL; ++i)

    if (CGEN_HW_ATTR_VALUE (&init[i], CGEN_HW_MACH)

      selected[init[i].type] = &init[i];

  cd->hw_table.num_entries = MAX_HW;

}

/* Subroutine of @arch@_cgen_cpu_open to build the hardware table.  */

static void

build_ifield_table (CGEN_CPU_TABLE *cd)

{

  cd->ifld_table = & @arch@_cgen_ifld_table[0];

}

/* Subroutine of @arch@_cgen_cpu_open to build the hardware table.  */

build_operand_table (CGEN_CPU_TABLE *cd)

{

  int i;

  int machs = cd->machs;

  const CGEN_OPERAND *init = & @arch@_cgen_operand_table[0];

  /* MAX_OPERANDS is only an upper bound on the number of selected entries.

     However each entry is indexed by it's enum so there can be holes in

     the table.  */

  const CGEN_OPERAND **selected = xmalloc (MAX_OPERANDS * sizeof (* selected));

  cd->operand_table.init_entries = init;

  cd->operand_table.entry_size = sizeof (CGEN_OPERAND);

  /* ??? For now we just use mach to determine which ones we want.  */

  for (i = 0; init[i].name != NULL; ++i)

    if (CGEN_OPERAND_ATTR_VALUE (&init[i], CGEN_OPERAND_MACH)

        & machs)

      selected[init[i].type] = &init[i];

  cd->operand_table.entries = selected;

  cd->operand_table.num_entries = MAX_OPERANDS;

}

/* Subroutine of @arch@_cgen_cpu_open to build the hardware table.

   ??? This could leave out insns not supported by the specified mach/isa,

   but that would cause errors like \"foo only supported by bar\" to become

   do the checking later.

   ??? On the other hand, parsing of such insns may require their hardware or

   operand elements to be in the table [which they mightn't be].  */

static void

{

  int i;

  const CGEN_IBASE *ib = & @arch@_cgen_insn_table[0];

  CGEN_INSN *insns = xmalloc (MAX_INSNS * sizeof (CGEN_INSN));

  memset (insns, 0, MAX_INSNS * sizeof (CGEN_INSN));

  for (i = 0; i < MAX_INSNS; ++i)

    insns[i].base = &ib[i];

  cd->insn_table.init_entries = insns;

  cd->insn_table.num_init_entries = MAX_INSNS;

}

/* Subroutine of @arch@_cgen_cpu_open to rebuild the tables.  */

static void

@arch@_cgen_rebuild_tables (CGEN_CPU_TABLE *cd)

{

  int i;

  CGEN_BITSET *isas = cd->isas;

  unsigned int machs = cd->machs;

  cd->int_insn_p = CGEN_INT_INSN_P;

  /* Data derived from the isa spec.  */

#define UNSET (CGEN_SIZE_UNKNOWN + 1)

  cd->default_insn_bitsize = UNSET;

  cd->base_insn_bitsize = UNSET;

  cd->min_insn_bitsize = 65535; /* Some ridiculously big number.  */

  cd->max_insn_bitsize = 0;

  for (i = 0; i < MAX_ISAS; ++i)

    if (cgen_bitset_contains (isas, i))

      {

        const CGEN_ISA *isa = & @arch@_cgen_isa_table[i];

        /* Default insn sizes of all selected isas must be

           equal or we set the result to 0, meaning \"unknown\".  */

          cd->default_insn_bitsize = isa->default_insn_bitsize;

          ; /* This is ok.  */

        else

          cd->default_insn_bitsize = CGEN_SIZE_UNKNOWN;

        /* Base insn sizes of all selected isas must be equal

        if (cd->base_insn_bitsize == UNSET)

          cd->base_insn_bitsize = isa->base_insn_bitsize;

          ; /* This is ok.  */

        else

          cd->base_insn_bitsize = CGEN_SIZE_UNKNOWN;

        /* Set min,max insn sizes.  */

        if (isa->min_insn_bitsize < cd->min_insn_bitsize)

          cd->min_insn_bitsize = isa->min_insn_bitsize;

        if (isa->max_insn_bitsize > cd->max_insn_bitsize)

          cd->max_insn_bitsize = isa->max_insn_bitsize;

      }

  /* Data derived from the mach spec.  */

  for (i = 0; i < MAX_MACHS; ++i)

    if (((1 << i) & machs) != 0)

      {

        const CGEN_MACH *mach = & @arch@_cgen_mach_table[i];

        if (mach->insn_chunk_bitsize != 0)

        {

          if (cd->insn_chunk_bitsize != 0 && cd->insn_chunk_bitsize != mach->insn_chunk_bitsize)

            {

              fprintf (stderr, \"@arch@_cgen_rebuild_tables: conflicting insn-chunk-bitsize values: `%d' vs. `%d'\\n\",

                       cd->insn_chunk_bitsize, mach->insn_chunk_bitsize);

              abort ();

            }

          cd->insn_chunk_bitsize = mach->insn_chunk_bitsize;

        }

      }

  /* Determine which hw elements are used by MACH.  */

  build_hw_table (cd);

  /* Build the ifield table.  */

  build_ifield_table (cd);

  /* Determine which operands are used by MACH/ISA.  */

  build_operand_table (cd);

  /* Build the instruction table.  */

  build_insn_table (cd);

}

/* Initialize a cpu table and return a descriptor.

   It's much like opening a file, and must be the first function called.

   The arguments are a set of (type/value) pairs, terminated with

   CGEN_CPU_OPEN_END.

   Currently supported values:

   CGEN_CPU_OPEN_ISAS:    bitmap of values in enum isa_attr

   CGEN_CPU_OPEN_MACHS:   bitmap of values in enum mach_attr

   CGEN_CPU_OPEN_BFDMACH: specify 1 mach using bfd name

   CGEN_CPU_OPEN_ENDIAN:  specify endian choice

   CGEN_CPU_OPEN_END:     terminates arguments

   ??? Simultaneous multiple isas might not make sense, but it's not (yet)

   precluded.

   ??? We only support ISO C stdargs here, not K&R.

   Laziness, plus experiment to see if anything requires K&R - eventually

   K&R will no longer be supported - e.g. GDB is currently trying this.  */

@arch@_cgen_cpu_open (enum cgen_cpu_open_arg arg_type, ...)

  CGEN_CPU_TABLE *cd = (CGEN_CPU_TABLE *) xmalloc (sizeof (CGEN_CPU_TABLE));

  CGEN_BITSET *isas = 0;  /* 0 = \"unspecified\" */

  unsigned int machs = 0; /* 0 = \"unspecified\" */

  enum cgen_endian endian = CGEN_ENDIAN_UNKNOWN;

  va_list ap;

  if (! init_p)

    {

      init_tables ();

      init_p = 1;

    }

  memset (cd, 0, sizeof (*cd));

  va_start (ap, arg_type);

  while (arg_type != CGEN_CPU_OPEN_END)

    {

      switch (arg_type)

        {

        case CGEN_CPU_OPEN_ISAS :

          isas = va_arg (ap, CGEN_BITSET *);

        case CGEN_CPU_OPEN_MACHS :

          break;

        case CGEN_CPU_OPEN_BFDMACH :

          {

            const char *name = va_arg (ap, const char *);

            const CGEN_MACH *mach =

              lookup_mach_via_bfd_name (@arch@_cgen_mach_table, name);

            machs |= 1 << mach->num;

            break;

          }

          endian = va_arg (ap, enum cgen_endian);

          break;

        default :

          fprintf (stderr, \"@arch@_cgen_cpu_open: unsupported argument `%d'\\n\",

                   arg_type);

        }

      arg_type = va_arg (ap, enum cgen_cpu_open_arg);

    }

  va_end (ap);

  /* Mach unspecified means \"all\".  */

  if (machs == 0)

    machs = (1 << MAX_MACHS) - 1;

  /* Base mach is always selected.  */

  machs |= 1;

  if (endian == CGEN_ENDIAN_UNKNOWN)

      /* ??? If target has only one, could have a default.  */

      fprintf (stderr, \"@arch@_cgen_cpu_open: no endianness specified\\n\");

      abort ();

    }

  cd->isas = cgen_bitset_copy (isas);

  cd->machs = machs;

  cd->endian = endian;

  /* FIXME: for the sparc case we can determine insn-endianness statically.

     The worry here is where both data and insn endian can be independently

     chosen, in which case this function will need another argument.

     Actually, will want to allow for more arguments in the future anyway.  */

  /* Table (re)builder.  */

  cd->rebuild_tables = @arch@_cgen_rebuild_tables;

  @arch@_cgen_rebuild_tables (cd);

  /* Default to not allowing signed overflow.  */

  cd->signed_overflow_ok_p = 0;

  return (CGEN_CPU_DESC) cd;

}

   MACH_NAME is the bfd name of the mach.  */

CGEN_CPU_DESC

@arch@_cgen_cpu_open_1 (const char *mach_name, enum cgen_endian endian)

{

  return @arch@_cgen_cpu_open (CGEN_CPU_OPEN_BFDMACH, mach_name,

                               CGEN_CPU_OPEN_ENDIAN, endian,

}

/* Close a cpu table.

   ??? This can live in a machine independent file, but there's currently

   no place to put this file (there's no libcgen).  libopcodes is the wrong

   place as some simulator ports use this but they don't use libopcodes.  */

void

@arch@_cgen_cpu_close (CGEN_CPU_DESC cd)

{

  unsigned int i;

  const CGEN_INSN *insns;

  if (cd->macro_insn_table.init_entries)

    {

      insns = cd->macro_insn_table.init_entries;

      for (i = 0; i < cd->macro_insn_table.num_init_entries; ++i, ++insns)

        if (CGEN_INSN_RX ((insns)))

          regfree (CGEN_INSN_RX (insns));

    }

  if (cd->insn_table.init_entries)

    {

      insns = cd->insn_table.init_entries;

      for (i = 0; i < cd->insn_table.num_init_entries; ++i, ++insns)

        if (CGEN_INSN_RX (insns))

          regfree (CGEN_INSN_RX (insns));

    }

  if (cd->macro_insn_table.init_entries)

    free ((CGEN_INSN *) cd->macro_insn_table.init_entries);

  if (cd->insn_table.init_entries)

    free ((CGEN_HW_ENTRY *) cd->hw_table.entries);

  if (cd->operand_table.entries)

    free ((CGEN_HW_ENTRY *) cd->operand_table.entries);

  free (cd);

; Code is appended during processing.

""; Return the C code to define the various initialization functions.

; This does not include assembler/disassembler specific stuff.

; Generally, this function doesn't do anything.

; It exists to allow a global-static-constructor kind of thing should

; one ever be necessary.

"Generating init fns ...\n""\

/* Initialize anything needed to be done once, before any cpu_open call.  */

static void

init_tables (void)

{\n""}\n\n"; Top level C code generators

; Then they'd be usable and we wouldn't have to special case them here.

"Generating ""-desc.h ...\n""CPU data header for @arch@.""\

#ifndef @ARCH@_CPU_H

#define @ARCH@_CPU_H

"; This is defined in arch.h.  It's not defined here as there is yet to

; be a need for it in the assembler/disassembler.

;(gen-enum-decl 'model_type "model types"

;                 "MODEL_"

;                 (append (map list (map obj:name (current-model-list))) '((max))))

;"#define MAX_MODELS ((int) MODEL_MAX)\n\n"

"/* Enums.  */\n\n""/* Attributes.  */\n\n""/* Number of architecture variants.  */\n"; If there is only 1 isa, leave out special handling.  */

"#define MAX_ISAS  1\n""#define MAX_ISAS  ((int) ISA_MAX)\n""#define MAX_MACHS ((int) MACH_MAX)\n\n""/* cgen.h uses things we just defined.  */\n""#include \"opcode/cgen.h\"\n\n""extern const struct cgen_ifld @arch@_cgen_ifld_table[];\n\n""\n""""

#endif /* @ARCH@_CPU_H */

"; This file contains the "top level" definitions of the cpu.

; This includes various elements of the description file, expressed in C.

;

; ??? A lot of this file can go in a machine-independent file!  However,

; some simulators don't use the cgen opcodes support so there is currently

; no place to put this file.  To be revisited when we do have such a place.

"Generating ""-desc.c ...\n""CPU data for @arch@.""\

#include \"sysdep.h\"

#include <stdio.h>

#include <stdarg.h>

#include \"ansidecl.h\"

#include \"bfd.h\"

#include \"symcat.h\"

#include \"@arch@-desc.h\"

#include \"@arch@-opc.h\"

#include \"opintl.h\"

#include \"xregex.h\"