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