Home | History | Annotate | Line # | Download | only in gas
itbl-ops.c revision 1.1.1.2
      1      1.1     skrll /* itbl-ops.c
      2  1.1.1.2  christos    Copyright 1997, 1999, 2000, 2001, 2002, 2003, 2005, 2006, 2007,
      3  1.1.1.2  christos    2009, 2010  Free Software Foundation, Inc.
      4      1.1     skrll 
      5      1.1     skrll    This file is part of GAS, the GNU Assembler.
      6      1.1     skrll 
      7      1.1     skrll    GAS is free software; you can redistribute it and/or modify
      8      1.1     skrll    it under the terms of the GNU General Public License as published by
      9      1.1     skrll    the Free Software Foundation; either version 3, or (at your option)
     10      1.1     skrll    any later version.
     11      1.1     skrll 
     12      1.1     skrll    GAS is distributed in the hope that it will be useful,
     13      1.1     skrll    but WITHOUT ANY WARRANTY; without even the implied warranty of
     14      1.1     skrll    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     15      1.1     skrll    GNU General Public License for more details.
     16      1.1     skrll 
     17      1.1     skrll    You should have received a copy of the GNU General Public License
     18      1.1     skrll    along with GAS; see the file COPYING.  If not, write to the Free
     19      1.1     skrll    Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
     20      1.1     skrll    02110-1301, USA.  */
     21      1.1     skrll 
     22      1.1     skrll /*======================================================================*/
     23      1.1     skrll /*
     24      1.1     skrll  * Herein lies the support for dynamic specification of processor
     25      1.1     skrll  * instructions and registers.  Mnemonics, values, and formats for each
     26      1.1     skrll  * instruction and register are specified in an ascii file consisting of
     27      1.1     skrll  * table entries.  The grammar for the table is defined in the document
     28      1.1     skrll  * "Processor instruction table specification".
     29      1.1     skrll  *
     30      1.1     skrll  * Instructions use the gnu assembler syntax, with the addition of
     31      1.1     skrll  * allowing mnemonics for register.
     32      1.1     skrll  * Eg. "func $2,reg3,0x100,symbol ; comment"
     33      1.1     skrll  * 	func - opcode name
     34      1.1     skrll  * 	$n - register n
     35      1.1     skrll  * 	reg3 - mnemonic for processor's register defined in table
     36      1.1     skrll  * 	0xddd..d - immediate value
     37      1.1     skrll  * 	symbol - address of label or external symbol
     38      1.1     skrll  *
     39      1.1     skrll  * First, itbl_parse reads in the table of register and instruction
     40      1.1     skrll  * names and formats, and builds a list of entries for each
     41      1.1     skrll  * processor/type combination.  lex and yacc are used to parse
     42      1.1     skrll  * the entries in the table and call functions defined here to
     43      1.1     skrll  * add each entry to our list.
     44      1.1     skrll  *
     45      1.1     skrll  * Then, when assembling or disassembling, these functions are called to
     46      1.1     skrll  * 1) get information on a processor's registers and
     47      1.1     skrll  * 2) assemble/disassemble an instruction.
     48      1.1     skrll  * To assemble(disassemble) an instruction, the function
     49      1.1     skrll  * itbl_assemble(itbl_disassemble) is called to search the list of
     50      1.1     skrll  * instruction entries, and if a match is found, uses the format
     51      1.1     skrll  * described in the instruction entry structure to complete the action.
     52      1.1     skrll  *
     53      1.1     skrll  * Eg. Suppose we have a Mips coprocessor "cop3" with data register "d2"
     54      1.1     skrll  * and we want to define function "pig" which takes two operands.
     55      1.1     skrll  *
     56      1.1     skrll  * Given the table entries:
     57      1.1     skrll  * 	"p3 insn pig 0x1:24-21 dreg:20-16 immed:15-0"
     58      1.1     skrll  * 	"p3 dreg d2 0x2"
     59      1.1     skrll  * and that the instruction encoding for coprocessor pz has encoding:
     60      1.1     skrll  * 	#define MIPS_ENCODE_COP_NUM(z) ((0x21|(z<<1))<<25)
     61      1.1     skrll  * 	#define ITBL_ENCODE_PNUM(pnum) MIPS_ENCODE_COP_NUM(pnum)
     62      1.1     skrll  *
     63      1.1     skrll  * a structure to describe the instruction might look something like:
     64      1.1     skrll  *      struct itbl_entry = {
     65      1.1     skrll  *      e_processor processor = e_p3
     66      1.1     skrll  *      e_type type = e_insn
     67      1.1     skrll  *      char *name = "pig"
     68      1.1     skrll  *      uint value = 0x1
     69      1.1     skrll  *      uint flags = 0
     70      1.1     skrll  *      struct itbl_range range = 24-21
     71      1.1     skrll  *      struct itbl_field *field = {
     72      1.1     skrll  *              e_type type = e_dreg
     73      1.1     skrll  *              struct itbl_range range = 20-16
     74      1.1     skrll  *              struct itbl_field *next = {
     75      1.1     skrll  *                      e_type type = e_immed
     76      1.1     skrll  *                      struct itbl_range range = 15-0
     77      1.1     skrll  *                      struct itbl_field *next = 0
     78      1.1     skrll  *                      };
     79      1.1     skrll  *              };
     80      1.1     skrll  *      struct itbl_entry *next = 0
     81      1.1     skrll  *      };
     82      1.1     skrll  *
     83      1.1     skrll  * And the assembler instructions:
     84      1.1     skrll  * 	"pig d2,0x100"
     85      1.1     skrll  * 	"pig $2,0x100"
     86      1.1     skrll  *
     87      1.1     skrll  * would both assemble to the hex value:
     88      1.1     skrll  * 	"0x4e220100"
     89      1.1     skrll  *
     90      1.1     skrll  */
     91      1.1     skrll 
     92      1.1     skrll #include "as.h"
     93      1.1     skrll #include "itbl-ops.h"
     94      1.1     skrll #include <itbl-parse.h>
     95      1.1     skrll 
     96      1.1     skrll /* #define DEBUG */
     97      1.1     skrll 
     98      1.1     skrll #ifdef DEBUG
     99      1.1     skrll #include <assert.h>
    100  1.1.1.2  christos #define ASSERT(x) gas_assert (x)
    101      1.1     skrll #define DBG(x) printf x
    102      1.1     skrll #else
    103      1.1     skrll #define ASSERT(x)
    104      1.1     skrll #define DBG(x)
    105      1.1     skrll #endif
    106      1.1     skrll 
    107      1.1     skrll #ifndef min
    108      1.1     skrll #define min(a,b) (a<b?a:b)
    109      1.1     skrll #endif
    110      1.1     skrll 
    111      1.1     skrll int itbl_have_entries = 0;
    112      1.1     skrll 
    113      1.1     skrll /*======================================================================*/
    114      1.1     skrll /* structures for keeping itbl format entries */
    115      1.1     skrll 
    116      1.1     skrll struct itbl_range {
    117      1.1     skrll   int sbit;			/* mask starting bit position */
    118      1.1     skrll   int ebit;			/* mask ending bit position */
    119      1.1     skrll };
    120      1.1     skrll 
    121      1.1     skrll struct itbl_field {
    122      1.1     skrll   e_type type;			/* dreg/creg/greg/immed/symb */
    123      1.1     skrll   struct itbl_range range;	/* field's bitfield range within instruction */
    124      1.1     skrll   unsigned long flags;		/* field flags */
    125      1.1     skrll   struct itbl_field *next;	/* next field in list */
    126      1.1     skrll };
    127      1.1     skrll 
    128      1.1     skrll /* These structures define the instructions and registers for a processor.
    129      1.1     skrll  * If the type is an instruction, the structure defines the format of an
    130      1.1     skrll  * instruction where the fields are the list of operands.
    131      1.1     skrll  * The flags field below uses the same values as those defined in the
    132      1.1     skrll  * gnu assembler and are machine specific.  */
    133      1.1     skrll struct itbl_entry {
    134      1.1     skrll   e_processor processor;	/* processor number */
    135      1.1     skrll   e_type type;			/* dreg/creg/greg/insn */
    136      1.1     skrll   char *name;			/* mnemionic name for insn/register */
    137      1.1     skrll   unsigned long value;		/* opcode/instruction mask/register number */
    138      1.1     skrll   unsigned long flags;		/* effects of the instruction */
    139      1.1     skrll   struct itbl_range range;	/* bit range within instruction for value */
    140      1.1     skrll   struct itbl_field *fields;	/* list of operand definitions (if any) */
    141      1.1     skrll   struct itbl_entry *next;	/* next entry */
    142      1.1     skrll };
    143      1.1     skrll 
    144      1.1     skrll /* local data and structures */
    145      1.1     skrll 
    146      1.1     skrll static int itbl_num_opcodes = 0;
    147      1.1     skrll /* Array of entries for each processor and entry type */
    148      1.1     skrll static struct itbl_entry *entries[e_nprocs][e_ntypes];
    149      1.1     skrll 
    150      1.1     skrll /* local prototypes */
    151      1.1     skrll static unsigned long build_opcode (struct itbl_entry *e);
    152      1.1     skrll static e_type get_type (int yytype);
    153      1.1     skrll static e_processor get_processor (int yyproc);
    154      1.1     skrll static struct itbl_entry **get_entries (e_processor processor,
    155      1.1     skrll 					e_type type);
    156      1.1     skrll static struct itbl_entry *find_entry_byname (e_processor processor,
    157      1.1     skrll 					e_type type, char *name);
    158      1.1     skrll static struct itbl_entry *find_entry_byval (e_processor processor,
    159      1.1     skrll 			e_type type, unsigned long val, struct itbl_range *r);
    160      1.1     skrll static struct itbl_entry *alloc_entry (e_processor processor,
    161      1.1     skrll 		e_type type, char *name, unsigned long value);
    162      1.1     skrll static unsigned long apply_range (unsigned long value, struct itbl_range r);
    163      1.1     skrll static unsigned long extract_range (unsigned long value, struct itbl_range r);
    164      1.1     skrll static struct itbl_field *alloc_field (e_type type, int sbit,
    165      1.1     skrll 					int ebit, unsigned long flags);
    166      1.1     skrll 
    167      1.1     skrll /*======================================================================*/
    168      1.1     skrll /* Interfaces to the parser */
    169      1.1     skrll 
    170      1.1     skrll /* Open the table and use lex and yacc to parse the entries.
    171      1.1     skrll  * Return 1 for failure; 0 for success.  */
    172      1.1     skrll 
    173      1.1     skrll int
    174      1.1     skrll itbl_parse (char *insntbl)
    175      1.1     skrll {
    176      1.1     skrll   extern FILE *yyin;
    177      1.1     skrll   extern int yyparse (void);
    178      1.1     skrll 
    179      1.1     skrll   yyin = fopen (insntbl, FOPEN_RT);
    180      1.1     skrll   if (yyin == 0)
    181      1.1     skrll     {
    182      1.1     skrll       printf ("Can't open processor instruction specification file \"%s\"\n",
    183      1.1     skrll 	      insntbl);
    184      1.1     skrll       return 1;
    185      1.1     skrll     }
    186      1.1     skrll 
    187      1.1     skrll   while (yyparse ())
    188      1.1     skrll     ;
    189      1.1     skrll 
    190      1.1     skrll   fclose (yyin);
    191      1.1     skrll   itbl_have_entries = 1;
    192      1.1     skrll   return 0;
    193      1.1     skrll }
    194      1.1     skrll 
    195      1.1     skrll /* Add a register entry */
    196      1.1     skrll 
    197      1.1     skrll struct itbl_entry *
    198      1.1     skrll itbl_add_reg (int yyprocessor, int yytype, char *regname,
    199      1.1     skrll 	      int regnum)
    200      1.1     skrll {
    201      1.1     skrll   return alloc_entry (get_processor (yyprocessor), get_type (yytype), regname,
    202      1.1     skrll 		      (unsigned long) regnum);
    203      1.1     skrll }
    204      1.1     skrll 
    205      1.1     skrll /* Add an instruction entry */
    206      1.1     skrll 
    207      1.1     skrll struct itbl_entry *
    208      1.1     skrll itbl_add_insn (int yyprocessor, char *name, unsigned long value,
    209      1.1     skrll 	       int sbit, int ebit, unsigned long flags)
    210      1.1     skrll {
    211      1.1     skrll   struct itbl_entry *e;
    212      1.1     skrll   e = alloc_entry (get_processor (yyprocessor), e_insn, name, value);
    213      1.1     skrll   if (e)
    214      1.1     skrll     {
    215      1.1     skrll       e->range.sbit = sbit;
    216      1.1     skrll       e->range.ebit = ebit;
    217      1.1     skrll       e->flags = flags;
    218      1.1     skrll       itbl_num_opcodes++;
    219      1.1     skrll     }
    220      1.1     skrll   return e;
    221      1.1     skrll }
    222      1.1     skrll 
    223      1.1     skrll /* Add an operand to an instruction entry */
    224      1.1     skrll 
    225      1.1     skrll struct itbl_field *
    226      1.1     skrll itbl_add_operand (struct itbl_entry *e, int yytype, int sbit,
    227      1.1     skrll 		  int ebit, unsigned long flags)
    228      1.1     skrll {
    229      1.1     skrll   struct itbl_field *f, **last_f;
    230      1.1     skrll   if (!e)
    231      1.1     skrll     return 0;
    232      1.1     skrll   /* Add to end of fields' list.  */
    233      1.1     skrll   f = alloc_field (get_type (yytype), sbit, ebit, flags);
    234      1.1     skrll   if (f)
    235      1.1     skrll     {
    236      1.1     skrll       last_f = &e->fields;
    237      1.1     skrll       while (*last_f)
    238      1.1     skrll 	last_f = &(*last_f)->next;
    239      1.1     skrll       *last_f = f;
    240      1.1     skrll       f->next = 0;
    241      1.1     skrll     }
    242      1.1     skrll   return f;
    243      1.1     skrll }
    244      1.1     skrll 
    245      1.1     skrll /*======================================================================*/
    246      1.1     skrll /* Interfaces for assembler and disassembler */
    247      1.1     skrll 
    248      1.1     skrll #ifndef STAND_ALONE
    249      1.1     skrll static void append_insns_as_macros (void);
    250      1.1     skrll 
    251      1.1     skrll /* Initialize for gas.  */
    252      1.1     skrll 
    253      1.1     skrll void
    254      1.1     skrll itbl_init (void)
    255      1.1     skrll {
    256      1.1     skrll   struct itbl_entry *e, **es;
    257      1.1     skrll   e_processor procn;
    258      1.1     skrll   e_type type;
    259      1.1     skrll 
    260      1.1     skrll   if (!itbl_have_entries)
    261      1.1     skrll     return;
    262      1.1     skrll 
    263      1.1     skrll   /* Since register names don't have a prefix, put them in the symbol table so
    264      1.1     skrll      they can't be used as symbols.  This simplifies argument parsing as
    265      1.1     skrll      we can let gas parse registers for us.  */
    266      1.1     skrll   /* Use symbol_create instead of symbol_new so we don't try to
    267      1.1     skrll      output registers into the object file's symbol table.  */
    268      1.1     skrll 
    269      1.1     skrll   for (type = e_regtype0; type < e_nregtypes; type++)
    270      1.1     skrll     for (procn = e_p0; procn < e_nprocs; procn++)
    271      1.1     skrll       {
    272      1.1     skrll 	es = get_entries (procn, type);
    273      1.1     skrll 	for (e = *es; e; e = e->next)
    274      1.1     skrll 	  {
    275      1.1     skrll 	    symbol_table_insert (symbol_create (e->name, reg_section,
    276      1.1     skrll 						e->value, &zero_address_frag));
    277      1.1     skrll 	  }
    278      1.1     skrll       }
    279      1.1     skrll   append_insns_as_macros ();
    280      1.1     skrll }
    281      1.1     skrll 
    282      1.1     skrll /* Append insns to opcodes table and increase number of opcodes
    283      1.1     skrll  * Structure of opcodes table:
    284      1.1     skrll  * struct itbl_opcode
    285      1.1     skrll  * {
    286      1.1     skrll  *   const char *name;
    287      1.1     skrll  *   const char *args; 		- string describing the arguments.
    288      1.1     skrll  *   unsigned long match; 	- opcode, or ISA level if pinfo=INSN_MACRO
    289      1.1     skrll  *   unsigned long mask; 	- opcode mask, or macro id if pinfo=INSN_MACRO
    290      1.1     skrll  *   unsigned long pinfo; 	- insn flags, or INSN_MACRO
    291      1.1     skrll  * };
    292      1.1     skrll  * examples:
    293      1.1     skrll  *	{"li",      "t,i",  0x34000000, 0xffe00000, WR_t    },
    294      1.1     skrll  *	{"li",      "t,I",  0,    (int) M_LI,   INSN_MACRO  },
    295      1.1     skrll  */
    296      1.1     skrll 
    297      1.1     skrll static char *form_args (struct itbl_entry *e);
    298      1.1     skrll static void
    299      1.1     skrll append_insns_as_macros (void)
    300      1.1     skrll {
    301      1.1     skrll   struct ITBL_OPCODE_STRUCT *new_opcodes, *o;
    302      1.1     skrll   struct itbl_entry *e, **es;
    303  1.1.1.2  christos   int n, size, new_size, new_num_opcodes;
    304  1.1.1.2  christos #ifdef USE_MACROS
    305  1.1.1.2  christos   int id;
    306  1.1.1.2  christos #endif
    307      1.1     skrll 
    308      1.1     skrll   if (!itbl_have_entries)
    309      1.1     skrll     return;
    310      1.1     skrll 
    311      1.1     skrll   if (!itbl_num_opcodes)	/* no new instructions to add! */
    312      1.1     skrll     {
    313      1.1     skrll       return;
    314      1.1     skrll     }
    315      1.1     skrll   DBG (("previous num_opcodes=%d\n", ITBL_NUM_OPCODES));
    316      1.1     skrll 
    317      1.1     skrll   new_num_opcodes = ITBL_NUM_OPCODES + itbl_num_opcodes;
    318      1.1     skrll   ASSERT (new_num_opcodes >= itbl_num_opcodes);
    319      1.1     skrll 
    320      1.1     skrll   size = sizeof (struct ITBL_OPCODE_STRUCT) * ITBL_NUM_OPCODES;
    321      1.1     skrll   ASSERT (size >= 0);
    322      1.1     skrll   DBG (("I get=%d\n", size / sizeof (ITBL_OPCODES[0])));
    323      1.1     skrll 
    324      1.1     skrll   new_size = sizeof (struct ITBL_OPCODE_STRUCT) * new_num_opcodes;
    325      1.1     skrll   ASSERT (new_size > size);
    326      1.1     skrll 
    327      1.1     skrll   /* FIXME since ITBL_OPCODES culd be a static table,
    328      1.1     skrll 		we can't realloc or delete the old memory.  */
    329      1.1     skrll   new_opcodes = (struct ITBL_OPCODE_STRUCT *) malloc (new_size);
    330      1.1     skrll   if (!new_opcodes)
    331      1.1     skrll     {
    332      1.1     skrll       printf (_("Unable to allocate memory for new instructions\n"));
    333      1.1     skrll       return;
    334      1.1     skrll     }
    335      1.1     skrll   if (size)			/* copy preexisting opcodes table */
    336      1.1     skrll     memcpy (new_opcodes, ITBL_OPCODES, size);
    337      1.1     skrll 
    338      1.1     skrll   /* FIXME! some NUMOPCODES are calculated expressions.
    339      1.1     skrll 		These need to be changed before itbls can be supported.  */
    340      1.1     skrll 
    341  1.1.1.2  christos #ifdef USE_MACROS
    342      1.1     skrll   id = ITBL_NUM_MACROS;		/* begin the next macro id after the last */
    343  1.1.1.2  christos #endif
    344      1.1     skrll   o = &new_opcodes[ITBL_NUM_OPCODES];	/* append macro to opcodes list */
    345      1.1     skrll   for (n = e_p0; n < e_nprocs; n++)
    346      1.1     skrll     {
    347      1.1     skrll       es = get_entries (n, e_insn);
    348      1.1     skrll       for (e = *es; e; e = e->next)
    349      1.1     skrll 	{
    350      1.1     skrll 	  /* name,    args,   mask,       match,  pinfo
    351      1.1     skrll 		 * {"li",      "t,i",  0x34000000, 0xffe00000, WR_t    },
    352      1.1     skrll 		 * {"li",      "t,I",  0,    (int) M_LI,   INSN_MACRO  },
    353      1.1     skrll 		 * Construct args from itbl_fields.
    354      1.1     skrll 		*/
    355      1.1     skrll 	  o->name = e->name;
    356      1.1     skrll 	  o->args = strdup (form_args (e));
    357      1.1     skrll 	  o->mask = apply_range (e->value, e->range);
    358      1.1     skrll 	  /* FIXME how to catch during assembly? */
    359      1.1     skrll 	  /* mask to identify this insn */
    360      1.1     skrll 	  o->match = apply_range (e->value, e->range);
    361      1.1     skrll 	  o->pinfo = 0;
    362      1.1     skrll 
    363      1.1     skrll #ifdef USE_MACROS
    364      1.1     skrll 	  o->mask = id++;	/* FIXME how to catch during assembly? */
    365      1.1     skrll 	  o->match = 0;		/* for macros, the insn_isa number */
    366      1.1     skrll 	  o->pinfo = INSN_MACRO;
    367      1.1     skrll #endif
    368      1.1     skrll 
    369      1.1     skrll 	  /* Don't add instructions which caused an error */
    370      1.1     skrll 	  if (o->args)
    371      1.1     skrll 	    o++;
    372      1.1     skrll 	  else
    373      1.1     skrll 	    new_num_opcodes--;
    374      1.1     skrll 	}
    375      1.1     skrll     }
    376      1.1     skrll   ITBL_OPCODES = new_opcodes;
    377      1.1     skrll   ITBL_NUM_OPCODES = new_num_opcodes;
    378      1.1     skrll 
    379      1.1     skrll   /* FIXME
    380      1.1     skrll 		At this point, we can free the entries, as they should have
    381      1.1     skrll 		been added to the assembler's tables.
    382      1.1     skrll 		Don't free name though, since name is being used by the new
    383      1.1     skrll 		opcodes table.
    384      1.1     skrll 
    385      1.1     skrll 		Eventually, we should also free the new opcodes table itself
    386      1.1     skrll 		on exit.
    387      1.1     skrll 	*/
    388      1.1     skrll }
    389      1.1     skrll 
    390      1.1     skrll static char *
    391      1.1     skrll form_args (struct itbl_entry *e)
    392      1.1     skrll {
    393      1.1     skrll   static char s[31];
    394      1.1     skrll   char c = 0, *p = s;
    395      1.1     skrll   struct itbl_field *f;
    396      1.1     skrll 
    397      1.1     skrll   ASSERT (e);
    398      1.1     skrll   for (f = e->fields; f; f = f->next)
    399      1.1     skrll     {
    400      1.1     skrll       switch (f->type)
    401      1.1     skrll 	{
    402      1.1     skrll 	case e_dreg:
    403      1.1     skrll 	  c = 'd';
    404      1.1     skrll 	  break;
    405      1.1     skrll 	case e_creg:
    406      1.1     skrll 	  c = 't';
    407      1.1     skrll 	  break;
    408      1.1     skrll 	case e_greg:
    409      1.1     skrll 	  c = 's';
    410      1.1     skrll 	  break;
    411      1.1     skrll 	case e_immed:
    412      1.1     skrll 	  c = 'i';
    413      1.1     skrll 	  break;
    414      1.1     skrll 	case e_addr:
    415      1.1     skrll 	  c = 'a';
    416      1.1     skrll 	  break;
    417      1.1     skrll 	default:
    418      1.1     skrll 	  c = 0;		/* ignore; unknown field type */
    419      1.1     skrll 	}
    420      1.1     skrll       if (c)
    421      1.1     skrll 	{
    422      1.1     skrll 	  if (p != s)
    423      1.1     skrll 	    *p++ = ',';
    424      1.1     skrll 	  *p++ = c;
    425      1.1     skrll 	}
    426      1.1     skrll     }
    427      1.1     skrll   *p = 0;
    428      1.1     skrll   return s;
    429      1.1     skrll }
    430      1.1     skrll #endif /* !STAND_ALONE */
    431      1.1     skrll 
    432      1.1     skrll /* Get processor's register name from val */
    433      1.1     skrll 
    434      1.1     skrll int
    435      1.1     skrll itbl_get_reg_val (char *name, unsigned long *pval)
    436      1.1     skrll {
    437      1.1     skrll   e_type t;
    438      1.1     skrll   e_processor p;
    439      1.1     skrll 
    440      1.1     skrll   for (p = e_p0; p < e_nprocs; p++)
    441      1.1     skrll     {
    442      1.1     skrll       for (t = e_regtype0; t < e_nregtypes; t++)
    443      1.1     skrll 	{
    444      1.1     skrll 	  if (itbl_get_val (p, t, name, pval))
    445      1.1     skrll 	    return 1;
    446      1.1     skrll 	}
    447      1.1     skrll     }
    448      1.1     skrll   return 0;
    449      1.1     skrll }
    450      1.1     skrll 
    451      1.1     skrll char *
    452      1.1     skrll itbl_get_name (e_processor processor, e_type type, unsigned long val)
    453      1.1     skrll {
    454      1.1     skrll   struct itbl_entry *r;
    455      1.1     skrll   /* type depends on instruction passed */
    456      1.1     skrll   r = find_entry_byval (processor, type, val, 0);
    457      1.1     skrll   if (r)
    458      1.1     skrll     return r->name;
    459      1.1     skrll   else
    460      1.1     skrll     return 0;			/* error; invalid operand */
    461      1.1     skrll }
    462      1.1     skrll 
    463      1.1     skrll /* Get processor's register value from name */
    464      1.1     skrll 
    465      1.1     skrll int
    466      1.1     skrll itbl_get_val (e_processor processor, e_type type, char *name,
    467      1.1     skrll 	      unsigned long *pval)
    468      1.1     skrll {
    469      1.1     skrll   struct itbl_entry *r;
    470      1.1     skrll   /* type depends on instruction passed */
    471      1.1     skrll   r = find_entry_byname (processor, type, name);
    472      1.1     skrll   if (r == NULL)
    473      1.1     skrll     return 0;
    474      1.1     skrll   *pval = r->value;
    475      1.1     skrll   return 1;
    476      1.1     skrll }
    477      1.1     skrll 
    478      1.1     skrll /* Assemble instruction "name" with operands "s".
    479      1.1     skrll  * name - name of instruction
    480      1.1     skrll  * s - operands
    481      1.1     skrll  * returns - long word for assembled instruction */
    482      1.1     skrll 
    483      1.1     skrll unsigned long
    484      1.1     skrll itbl_assemble (char *name, char *s)
    485      1.1     skrll {
    486      1.1     skrll   unsigned long opcode;
    487      1.1     skrll   struct itbl_entry *e = NULL;
    488      1.1     skrll   struct itbl_field *f;
    489      1.1     skrll   char *n;
    490      1.1     skrll   int processor;
    491      1.1     skrll 
    492      1.1     skrll   if (!name || !*name)
    493      1.1     skrll     return 0;			/* error!  must have an opcode name/expr */
    494      1.1     skrll 
    495      1.1     skrll   /* find entry in list of instructions for all processors */
    496      1.1     skrll   for (processor = 0; processor < e_nprocs; processor++)
    497      1.1     skrll     {
    498      1.1     skrll       e = find_entry_byname (processor, e_insn, name);
    499      1.1     skrll       if (e)
    500      1.1     skrll 	break;
    501      1.1     skrll     }
    502      1.1     skrll   if (!e)
    503      1.1     skrll     return 0;			/* opcode not in table; invalid instruction */
    504      1.1     skrll   opcode = build_opcode (e);
    505      1.1     skrll 
    506      1.1     skrll   /* parse opcode's args (if any) */
    507      1.1     skrll   for (f = e->fields; f; f = f->next)	/* for each arg, ...  */
    508      1.1     skrll     {
    509      1.1     skrll       struct itbl_entry *r;
    510      1.1     skrll       unsigned long value;
    511      1.1     skrll       if (!s || !*s)
    512      1.1     skrll 	return 0;		/* error - not enough operands */
    513      1.1     skrll       n = itbl_get_field (&s);
    514      1.1     skrll       /* n should be in form $n or 0xhhh (are symbol names valid?? */
    515      1.1     skrll       switch (f->type)
    516      1.1     skrll 	{
    517      1.1     skrll 	case e_dreg:
    518      1.1     skrll 	case e_creg:
    519      1.1     skrll 	case e_greg:
    520      1.1     skrll 	  /* Accept either a string name
    521      1.1     skrll 			 * or '$' followed by the register number */
    522      1.1     skrll 	  if (*n == '$')
    523      1.1     skrll 	    {
    524      1.1     skrll 	      n++;
    525      1.1     skrll 	      value = strtol (n, 0, 10);
    526      1.1     skrll 	      /* FIXME! could have "0l"... then what?? */
    527      1.1     skrll 	      if (value == 0 && *n != '0')
    528      1.1     skrll 		return 0;	/* error; invalid operand */
    529      1.1     skrll 	    }
    530      1.1     skrll 	  else
    531      1.1     skrll 	    {
    532      1.1     skrll 	      r = find_entry_byname (e->processor, f->type, n);
    533      1.1     skrll 	      if (r)
    534      1.1     skrll 		value = r->value;
    535      1.1     skrll 	      else
    536      1.1     skrll 		return 0;	/* error; invalid operand */
    537      1.1     skrll 	    }
    538      1.1     skrll 	  break;
    539      1.1     skrll 	case e_addr:
    540      1.1     skrll 	  /* use assembler's symbol table to find symbol */
    541      1.1     skrll 	  /* FIXME!! Do we need this?
    542      1.1     skrll 				if so, what about relocs??
    543      1.1     skrll 				my_getExpression (&imm_expr, s);
    544      1.1     skrll 				return 0;	/-* error; invalid operand *-/
    545      1.1     skrll 				break;
    546      1.1     skrll 			*/
    547      1.1     skrll 	  /* If not a symbol, fall thru to IMMED */
    548      1.1     skrll 	case e_immed:
    549      1.1     skrll 	  if (*n == '0' && *(n + 1) == 'x')	/* hex begins 0x...  */
    550      1.1     skrll 	    {
    551      1.1     skrll 	      n += 2;
    552      1.1     skrll 	      value = strtol (n, 0, 16);
    553      1.1     skrll 	      /* FIXME! could have "0xl"... then what?? */
    554      1.1     skrll 	    }
    555      1.1     skrll 	  else
    556      1.1     skrll 	    {
    557      1.1     skrll 	      value = strtol (n, 0, 10);
    558      1.1     skrll 	      /* FIXME! could have "0l"... then what?? */
    559      1.1     skrll 	      if (value == 0 && *n != '0')
    560      1.1     skrll 		return 0;	/* error; invalid operand */
    561      1.1     skrll 	    }
    562      1.1     skrll 	  break;
    563      1.1     skrll 	default:
    564      1.1     skrll 	  return 0;		/* error; invalid field spec */
    565      1.1     skrll 	}
    566      1.1     skrll       opcode |= apply_range (value, f->range);
    567      1.1     skrll     }
    568      1.1     skrll   if (s && *s)
    569      1.1     skrll     return 0;			/* error - too many operands */
    570      1.1     skrll   return opcode;		/* done! */
    571      1.1     skrll }
    572      1.1     skrll 
    573      1.1     skrll /* Disassemble instruction "insn".
    574      1.1     skrll  * insn - instruction
    575      1.1     skrll  * s - buffer to hold disassembled instruction
    576      1.1     skrll  * returns - 1 if succeeded; 0 if failed
    577      1.1     skrll  */
    578      1.1     skrll 
    579      1.1     skrll int
    580      1.1     skrll itbl_disassemble (char *s, unsigned long insn)
    581      1.1     skrll {
    582      1.1     skrll   e_processor processor;
    583      1.1     skrll   struct itbl_entry *e;
    584      1.1     skrll   struct itbl_field *f;
    585      1.1     skrll 
    586      1.1     skrll   if (!ITBL_IS_INSN (insn))
    587      1.1     skrll     return 0;			/* error */
    588      1.1     skrll   processor = get_processor (ITBL_DECODE_PNUM (insn));
    589      1.1     skrll 
    590      1.1     skrll   /* find entry in list */
    591      1.1     skrll   e = find_entry_byval (processor, e_insn, insn, 0);
    592      1.1     skrll   if (!e)
    593      1.1     skrll     return 0;			/* opcode not in table; invalid instruction */
    594      1.1     skrll   strcpy (s, e->name);
    595      1.1     skrll 
    596      1.1     skrll   /* Parse insn's args (if any).  */
    597      1.1     skrll   for (f = e->fields; f; f = f->next)	/* for each arg, ...  */
    598      1.1     skrll     {
    599      1.1     skrll       struct itbl_entry *r;
    600      1.1     skrll       unsigned long value;
    601  1.1.1.2  christos       char s_value[20];
    602      1.1     skrll 
    603      1.1     skrll       if (f == e->fields)	/* First operand is preceded by tab.  */
    604      1.1     skrll 	strcat (s, "\t");
    605      1.1     skrll       else			/* ','s separate following operands.  */
    606      1.1     skrll 	strcat (s, ",");
    607      1.1     skrll       value = extract_range (insn, f->range);
    608      1.1     skrll       /* n should be in form $n or 0xhhh (are symbol names valid?? */
    609      1.1     skrll       switch (f->type)
    610      1.1     skrll 	{
    611      1.1     skrll 	case e_dreg:
    612      1.1     skrll 	case e_creg:
    613      1.1     skrll 	case e_greg:
    614      1.1     skrll 	  /* Accept either a string name
    615      1.1     skrll 	     or '$' followed by the register number.  */
    616      1.1     skrll 	  r = find_entry_byval (e->processor, f->type, value, &f->range);
    617      1.1     skrll 	  if (r)
    618      1.1     skrll 	    strcat (s, r->name);
    619      1.1     skrll 	  else
    620  1.1.1.2  christos 	    {
    621  1.1.1.2  christos 	      sprintf (s_value, "$%lu", value);
    622  1.1.1.2  christos 	      strcat (s, s_value);
    623  1.1.1.2  christos 	    }
    624      1.1     skrll 	  break;
    625      1.1     skrll 	case e_addr:
    626      1.1     skrll 	  /* Use assembler's symbol table to find symbol.  */
    627      1.1     skrll 	  /* FIXME!! Do we need this?  If so, what about relocs??  */
    628      1.1     skrll 	  /* If not a symbol, fall through to IMMED.  */
    629      1.1     skrll 	case e_immed:
    630  1.1.1.2  christos 	  sprintf (s_value, "0x%lx", value);
    631  1.1.1.2  christos 	  strcat (s, s_value);
    632      1.1     skrll 	  break;
    633      1.1     skrll 	default:
    634      1.1     skrll 	  return 0;		/* error; invalid field spec */
    635      1.1     skrll 	}
    636      1.1     skrll     }
    637      1.1     skrll   return 1;			/* Done!  */
    638      1.1     skrll }
    639      1.1     skrll 
    640      1.1     skrll /*======================================================================*/
    641      1.1     skrll /*
    642      1.1     skrll  * Local functions for manipulating private structures containing
    643      1.1     skrll  * the names and format for the new instructions and registers
    644      1.1     skrll  * for each processor.
    645      1.1     skrll  */
    646      1.1     skrll 
    647      1.1     skrll /* Calculate instruction's opcode and function values from entry */
    648      1.1     skrll 
    649      1.1     skrll static unsigned long
    650      1.1     skrll build_opcode (struct itbl_entry *e)
    651      1.1     skrll {
    652      1.1     skrll   unsigned long opcode;
    653      1.1     skrll 
    654      1.1     skrll   opcode = apply_range (e->value, e->range);
    655      1.1     skrll   opcode |= ITBL_ENCODE_PNUM (e->processor);
    656      1.1     skrll   return opcode;
    657      1.1     skrll }
    658      1.1     skrll 
    659      1.1     skrll /* Calculate absolute value given the relative value and bit position range
    660      1.1     skrll  * within the instruction.
    661      1.1     skrll  * The range is inclusive where 0 is least significant bit.
    662      1.1     skrll  * A range of { 24, 20 } will have a mask of
    663      1.1     skrll  * bit   3           2            1
    664      1.1     skrll  * pos: 1098 7654 3210 9876 5432 1098 7654 3210
    665      1.1     skrll  * bin: 0000 0001 1111 0000 0000 0000 0000 0000
    666      1.1     skrll  * hex:    0    1    f    0    0    0    0    0
    667      1.1     skrll  * mask: 0x01f00000.
    668      1.1     skrll  */
    669      1.1     skrll 
    670      1.1     skrll static unsigned long
    671      1.1     skrll apply_range (unsigned long rval, struct itbl_range r)
    672      1.1     skrll {
    673      1.1     skrll   unsigned long mask;
    674      1.1     skrll   unsigned long aval;
    675      1.1     skrll   int len = MAX_BITPOS - r.sbit;
    676      1.1     skrll 
    677      1.1     skrll   ASSERT (r.sbit >= r.ebit);
    678      1.1     skrll   ASSERT (MAX_BITPOS >= r.sbit);
    679      1.1     skrll   ASSERT (r.ebit >= 0);
    680      1.1     skrll 
    681      1.1     skrll   /* create mask by truncating 1s by shifting */
    682      1.1     skrll   mask = 0xffffffff << len;
    683      1.1     skrll   mask = mask >> len;
    684      1.1     skrll   mask = mask >> r.ebit;
    685      1.1     skrll   mask = mask << r.ebit;
    686      1.1     skrll 
    687      1.1     skrll   aval = (rval << r.ebit) & mask;
    688      1.1     skrll   return aval;
    689      1.1     skrll }
    690      1.1     skrll 
    691      1.1     skrll /* Calculate relative value given the absolute value and bit position range
    692      1.1     skrll  * within the instruction.  */
    693      1.1     skrll 
    694      1.1     skrll static unsigned long
    695      1.1     skrll extract_range (unsigned long aval, struct itbl_range r)
    696      1.1     skrll {
    697      1.1     skrll   unsigned long mask;
    698      1.1     skrll   unsigned long rval;
    699      1.1     skrll   int len = MAX_BITPOS - r.sbit;
    700      1.1     skrll 
    701      1.1     skrll   /* create mask by truncating 1s by shifting */
    702      1.1     skrll   mask = 0xffffffff << len;
    703      1.1     skrll   mask = mask >> len;
    704      1.1     skrll   mask = mask >> r.ebit;
    705      1.1     skrll   mask = mask << r.ebit;
    706      1.1     skrll 
    707      1.1     skrll   rval = (aval & mask) >> r.ebit;
    708      1.1     skrll   return rval;
    709      1.1     skrll }
    710      1.1     skrll 
    711      1.1     skrll /* Extract processor's assembly instruction field name from s;
    712      1.1     skrll  * forms are "n args" "n,args" or "n" */
    713      1.1     skrll /* Return next argument from string pointer "s" and advance s.
    714      1.1     skrll  * delimiters are " ,()" */
    715      1.1     skrll 
    716      1.1     skrll char *
    717      1.1     skrll itbl_get_field (char **S)
    718      1.1     skrll {
    719      1.1     skrll   static char n[128];
    720      1.1     skrll   char *s;
    721      1.1     skrll   int len;
    722      1.1     skrll 
    723      1.1     skrll   s = *S;
    724      1.1     skrll   if (!s || !*s)
    725      1.1     skrll     return 0;
    726      1.1     skrll   /* FIXME: This is a weird set of delimiters.  */
    727      1.1     skrll   len = strcspn (s, " \t,()");
    728      1.1     skrll   ASSERT (128 > len + 1);
    729      1.1     skrll   strncpy (n, s, len);
    730      1.1     skrll   n[len] = 0;
    731      1.1     skrll   if (s[len] == '\0')
    732      1.1     skrll     s = 0;			/* no more args */
    733      1.1     skrll   else
    734      1.1     skrll     s += len + 1;		/* advance to next arg */
    735      1.1     skrll 
    736      1.1     skrll   *S = s;
    737      1.1     skrll   return n;
    738      1.1     skrll }
    739      1.1     skrll 
    740      1.1     skrll /* Search entries for a given processor and type
    741      1.1     skrll  * to find one matching the name "n".
    742      1.1     skrll  * Return a pointer to the entry */
    743      1.1     skrll 
    744      1.1     skrll static struct itbl_entry *
    745      1.1     skrll find_entry_byname (e_processor processor,
    746      1.1     skrll 		   e_type type, char *n)
    747      1.1     skrll {
    748      1.1     skrll   struct itbl_entry *e, **es;
    749      1.1     skrll 
    750      1.1     skrll   es = get_entries (processor, type);
    751      1.1     skrll   for (e = *es; e; e = e->next)	/* for each entry, ...  */
    752      1.1     skrll     {
    753      1.1     skrll       if (!strcmp (e->name, n))
    754      1.1     skrll 	return e;
    755      1.1     skrll     }
    756      1.1     skrll   return 0;
    757      1.1     skrll }
    758      1.1     skrll 
    759      1.1     skrll /* Search entries for a given processor and type
    760      1.1     skrll  * to find one matching the value "val" for the range "r".
    761      1.1     skrll  * Return a pointer to the entry.
    762      1.1     skrll  * This function is used for disassembling fields of an instruction.
    763      1.1     skrll  */
    764      1.1     skrll 
    765      1.1     skrll static struct itbl_entry *
    766      1.1     skrll find_entry_byval (e_processor processor, e_type type,
    767      1.1     skrll 		  unsigned long val, struct itbl_range *r)
    768      1.1     skrll {
    769      1.1     skrll   struct itbl_entry *e, **es;
    770      1.1     skrll   unsigned long eval;
    771      1.1     skrll 
    772      1.1     skrll   es = get_entries (processor, type);
    773      1.1     skrll   for (e = *es; e; e = e->next)	/* for each entry, ...  */
    774      1.1     skrll     {
    775      1.1     skrll       if (processor != e->processor)
    776      1.1     skrll 	continue;
    777      1.1     skrll       /* For insns, we might not know the range of the opcode,
    778      1.1     skrll 	 * so a range of 0 will allow this routine to match against
    779      1.1     skrll 	 * the range of the entry to be compared with.
    780      1.1     skrll 	 * This could cause ambiguities.
    781      1.1     skrll 	 * For operands, we get an extracted value and a range.
    782      1.1     skrll 	 */
    783      1.1     skrll       /* if range is 0, mask val against the range of the compared entry.  */
    784      1.1     skrll       if (r == 0)		/* if no range passed, must be whole 32-bits
    785      1.1     skrll 			 * so create 32-bit value from entry's range */
    786      1.1     skrll 	{
    787      1.1     skrll 	  eval = apply_range (e->value, e->range);
    788      1.1     skrll 	  val &= apply_range (0xffffffff, e->range);
    789      1.1     skrll 	}
    790      1.1     skrll       else if ((r->sbit == e->range.sbit && r->ebit == e->range.ebit)
    791      1.1     skrll 	       || (e->range.sbit == 0 && e->range.ebit == 0))
    792      1.1     skrll 	{
    793      1.1     skrll 	  eval = apply_range (e->value, *r);
    794      1.1     skrll 	  val = apply_range (val, *r);
    795      1.1     skrll 	}
    796      1.1     skrll       else
    797      1.1     skrll 	continue;
    798      1.1     skrll       if (val == eval)
    799      1.1     skrll 	return e;
    800      1.1     skrll     }
    801      1.1     skrll   return 0;
    802      1.1     skrll }
    803      1.1     skrll 
    804      1.1     skrll /* Return a pointer to the list of entries for a given processor and type.  */
    805      1.1     skrll 
    806      1.1     skrll static struct itbl_entry **
    807      1.1     skrll get_entries (e_processor processor, e_type type)
    808      1.1     skrll {
    809      1.1     skrll   return &entries[processor][type];
    810      1.1     skrll }
    811      1.1     skrll 
    812      1.1     skrll /* Return an integral value for the processor passed from yyparse.  */
    813      1.1     skrll 
    814      1.1     skrll static e_processor
    815      1.1     skrll get_processor (int yyproc)
    816      1.1     skrll {
    817      1.1     skrll   /* translate from yacc's processor to enum */
    818      1.1     skrll   if (yyproc >= e_p0 && yyproc < e_nprocs)
    819      1.1     skrll     return (e_processor) yyproc;
    820      1.1     skrll   return e_invproc;		/* error; invalid processor */
    821      1.1     skrll }
    822      1.1     skrll 
    823      1.1     skrll /* Return an integral value for the entry type passed from yyparse.  */
    824      1.1     skrll 
    825      1.1     skrll static e_type
    826      1.1     skrll get_type (int yytype)
    827      1.1     skrll {
    828      1.1     skrll   switch (yytype)
    829      1.1     skrll     {
    830      1.1     skrll       /* translate from yacc's type to enum */
    831      1.1     skrll     case INSN:
    832      1.1     skrll       return e_insn;
    833      1.1     skrll     case DREG:
    834      1.1     skrll       return e_dreg;
    835      1.1     skrll     case CREG:
    836      1.1     skrll       return e_creg;
    837      1.1     skrll     case GREG:
    838      1.1     skrll       return e_greg;
    839      1.1     skrll     case ADDR:
    840      1.1     skrll       return e_addr;
    841      1.1     skrll     case IMMED:
    842      1.1     skrll       return e_immed;
    843      1.1     skrll     default:
    844      1.1     skrll       return e_invtype;		/* error; invalid type */
    845      1.1     skrll     }
    846      1.1     skrll }
    847      1.1     skrll 
    848      1.1     skrll /* Allocate and initialize an entry */
    849      1.1     skrll 
    850      1.1     skrll static struct itbl_entry *
    851      1.1     skrll alloc_entry (e_processor processor, e_type type,
    852      1.1     skrll 	     char *name, unsigned long value)
    853      1.1     skrll {
    854      1.1     skrll   struct itbl_entry *e, **es;
    855      1.1     skrll   if (!name)
    856      1.1     skrll     return 0;
    857      1.1     skrll   e = (struct itbl_entry *) malloc (sizeof (struct itbl_entry));
    858      1.1     skrll   if (e)
    859      1.1     skrll     {
    860      1.1     skrll       memset (e, 0, sizeof (struct itbl_entry));
    861      1.1     skrll       e->name = (char *) malloc (sizeof (strlen (name)) + 1);
    862      1.1     skrll       if (e->name)
    863      1.1     skrll 	strcpy (e->name, name);
    864      1.1     skrll       e->processor = processor;
    865      1.1     skrll       e->type = type;
    866      1.1     skrll       e->value = value;
    867      1.1     skrll       es = get_entries (e->processor, e->type);
    868      1.1     skrll       e->next = *es;
    869      1.1     skrll       *es = e;
    870      1.1     skrll     }
    871      1.1     skrll   return e;
    872      1.1     skrll }
    873      1.1     skrll 
    874      1.1     skrll /* Allocate and initialize an entry's field */
    875      1.1     skrll 
    876      1.1     skrll static struct itbl_field *
    877      1.1     skrll alloc_field (e_type type, int sbit, int ebit,
    878      1.1     skrll 	     unsigned long flags)
    879      1.1     skrll {
    880      1.1     skrll   struct itbl_field *f;
    881      1.1     skrll   f = (struct itbl_field *) malloc (sizeof (struct itbl_field));
    882      1.1     skrll   if (f)
    883      1.1     skrll     {
    884      1.1     skrll       memset (f, 0, sizeof (struct itbl_field));
    885      1.1     skrll       f->type = type;
    886      1.1     skrll       f->range.sbit = sbit;
    887      1.1     skrll       f->range.ebit = ebit;
    888      1.1     skrll       f->flags = flags;
    889      1.1     skrll     }
    890      1.1     skrll   return f;
    891      1.1     skrll }
    892