bfd/ChangeLog:
[deliverable/binutils-gdb.git] / include / opcode / cgen.h
1 /* Header file for targets using CGEN: Cpu tools GENerator.
2
3 Copyright 1996, 1997, 1998, 1999, 2000, 2001, 2002
4 Free Software Foundation, Inc.
5
6 This file is part of GDB, the GNU debugger, and the GNU Binutils.
7
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2 of the License, or
11 (at your option) any later version.
12
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
17
18 You should have received a copy of the GNU General Public License along
19 with this program; if not, write to the Free Software Foundation, Inc.,
20 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
21
22 #ifndef CGEN_H
23 #define CGEN_H
24
25 /* ??? This file requires bfd.h but only to get bfd_vma.
26 Seems like an awful lot to require just to get such a fundamental type.
27 Perhaps the definition of bfd_vma can be moved outside of bfd.h.
28 Or perhaps one could duplicate its definition in another file.
29 Until such time, this file conditionally compiles definitions that require
30 bfd_vma using __BFD_H_SEEN__. */
31
32 /* Enums must be defined before they can be used.
33 Allow them to be used in struct definitions, even though the enum must
34 be defined elsewhere.
35 If CGEN_ARCH isn't defined, this file is being included by something other
36 than <arch>-desc.h. */
37
38 /* Prepend the arch name, defined in <arch>-desc.h, and _cgen_ to symbol S.
39 The lack of spaces in the arg list is important for non-stdc systems.
40 This file is included by <arch>-desc.h.
41 It can be included independently of <arch>-desc.h, in which case the arch
42 dependent portions will be declared as "unknown_cgen_foo". */
43
44 #ifndef CGEN_SYM
45 #define CGEN_SYM(s) CONCAT3 (unknown,_cgen_,s)
46 #endif
47
48 /* This file contains the static (unchanging) pieces and as much other stuff
49 as we can reasonably put here. It's generally cleaner to put stuff here
50 rather than having it machine generated if possible. */
51
52 /* The assembler syntax is made up of expressions (duh...).
53 At the lowest level the values are mnemonics, register names, numbers, etc.
54 Above that are subexpressions, if any (an example might be the
55 "effective address" in m68k cpus). Subexpressions are wip.
56 At the second highest level are the insns themselves. Above that are
57 pseudo-insns, synthetic insns, and macros, if any. */
58 \f
59 /* Lots of cpu's have a fixed insn size, or one which rarely changes,
60 and it's generally easier to handle these by treating the insn as an
61 integer type, rather than an array of characters. So we allow targets
62 to control this. When an integer type the value is in host byte order,
63 when an array of characters the value is in target byte order. */
64
65 typedef unsigned int CGEN_INSN_INT;
66 #if CGEN_INT_INSN_P
67 typedef CGEN_INSN_INT CGEN_INSN_BYTES;
68 typedef CGEN_INSN_INT *CGEN_INSN_BYTES_PTR;
69 #else
70 typedef unsigned char *CGEN_INSN_BYTES;
71 typedef unsigned char *CGEN_INSN_BYTES_PTR;
72 #endif
73
74 #ifdef __GNUC__
75 #define CGEN_INLINE __inline__
76 #else
77 #define CGEN_INLINE
78 #endif
79
80 enum cgen_endian
81 {
82 CGEN_ENDIAN_UNKNOWN,
83 CGEN_ENDIAN_LITTLE,
84 CGEN_ENDIAN_BIG
85 };
86
87 /* Forward decl. */
88
89 typedef struct cgen_insn CGEN_INSN;
90
91 /* Opaque pointer version for use by external world. */
92
93 typedef struct cgen_cpu_desc *CGEN_CPU_DESC;
94 \f
95 /* Attributes.
96 Attributes are used to describe various random things associated with
97 an object (ifield, hardware, operand, insn, whatever) and are specified
98 as name/value pairs.
99 Integer attributes computed at compile time are currently all that's
100 supported, though adding string attributes and run-time computation is
101 straightforward. Integer attribute values are always host int's
102 (signed or unsigned). For portability, this means 32 bits.
103 Integer attributes are further categorized as boolean, bitset, integer,
104 and enum types. Boolean attributes appear frequently enough that they're
105 recorded in one host int. This limits the maximum number of boolean
106 attributes to 32, though that's a *lot* of attributes. */
107
108 /* Type of attribute values. */
109
110 typedef int CGEN_ATTR_VALUE_TYPE;
111
112 /* Struct to record attribute information. */
113
114 typedef struct
115 {
116 /* Boolean attributes. */
117 unsigned int bool;
118 /* Non-boolean integer attributes. */
119 CGEN_ATTR_VALUE_TYPE nonbool[1];
120 } CGEN_ATTR;
121
122 /* Define a structure member for attributes with N non-boolean entries.
123 There is no maximum number of non-boolean attributes.
124 There is a maximum of 32 boolean attributes (since they are all recorded
125 in one host int). */
126
127 #define CGEN_ATTR_TYPE(n) \
128 struct { unsigned int bool; \
129 CGEN_ATTR_VALUE_TYPE nonbool[(n) ? (n) : 1]; }
130
131 /* Return the boolean attributes. */
132
133 #define CGEN_ATTR_BOOLS(a) ((a)->bool)
134
135 /* Non-boolean attribute numbers are offset by this much. */
136
137 #define CGEN_ATTR_NBOOL_OFFSET 32
138
139 /* Given a boolean attribute number, return its mask. */
140
141 #define CGEN_ATTR_MASK(attr) (1 << (attr))
142
143 /* Return the value of boolean attribute ATTR in ATTRS. */
144
145 #define CGEN_BOOL_ATTR(attrs, attr) ((CGEN_ATTR_MASK (attr) & (attrs)) != 0)
146
147 /* Return value of attribute ATTR in ATTR_TABLE for OBJ.
148 OBJ is a pointer to the entity that has the attributes
149 (??? not used at present but is reserved for future purposes - eventually
150 the goal is to allow recording attributes in source form and computing
151 them lazily at runtime, not sure of the details yet). */
152
153 #define CGEN_ATTR_VALUE(obj, attr_table, attr) \
154 ((unsigned int) (attr) < CGEN_ATTR_NBOOL_OFFSET \
155 ? ((CGEN_ATTR_BOOLS (attr_table) & CGEN_ATTR_MASK (attr)) != 0) \
156 : ((attr_table)->nonbool[(attr) - CGEN_ATTR_NBOOL_OFFSET]))
157
158 /* Attribute name/value tables.
159 These are used to assist parsing of descriptions at run-time. */
160
161 typedef struct
162 {
163 const char * name;
164 CGEN_ATTR_VALUE_TYPE value;
165 } CGEN_ATTR_ENTRY;
166
167 /* For each domain (ifld,hw,operand,insn), list of attributes. */
168
169 typedef struct
170 {
171 const char * name;
172 const CGEN_ATTR_ENTRY * dfault;
173 const CGEN_ATTR_ENTRY * vals;
174 } CGEN_ATTR_TABLE;
175 \f
176 /* Instruction set variants. */
177
178 typedef struct {
179 const char *name;
180
181 /* Default instruction size (in bits).
182 This is used by the assembler when it encounters an unknown insn. */
183 unsigned int default_insn_bitsize;
184
185 /* Base instruction size (in bits).
186 For non-LIW cpus this is generally the length of the smallest insn.
187 For LIW cpus its wip (work-in-progress). For the m32r its 32. */
188 unsigned int base_insn_bitsize;
189
190 /* Minimum/maximum instruction size (in bits). */
191 unsigned int min_insn_bitsize;
192 unsigned int max_insn_bitsize;
193 } CGEN_ISA;
194
195 /* Machine variants. */
196
197 typedef struct {
198 const char *name;
199 /* The argument to bfd_arch_info->scan. */
200 const char *bfd_name;
201 /* one of enum mach_attr */
202 int num;
203 /* parameter from mach->cpu */
204 unsigned int insn_chunk_bitsize;
205 } CGEN_MACH;
206 \f
207 /* Parse result (also extraction result).
208
209 The result of parsing an insn is stored here.
210 To generate the actual insn, this is passed to the insert handler.
211 When printing an insn, the result of extraction is stored here.
212 To print the insn, this is passed to the print handler.
213
214 It is machine generated so we don't define it here,
215 but we do need a forward decl for the handler fns.
216
217 There is one member for each possible field in the insn.
218 The type depends on the field.
219 Also recorded here is the computed length of the insn for architectures
220 where it varies.
221 */
222
223 typedef struct cgen_fields CGEN_FIELDS;
224
225 /* Total length of the insn, as recorded in the `fields' struct. */
226 /* ??? The field insert handler has lots of opportunities for optimization
227 if it ever gets inlined. On architectures where insns all have the same
228 size, may wish to detect that and make this macro a constant - to allow
229 further optimizations. */
230
231 #define CGEN_FIELDS_BITSIZE(fields) ((fields)->length)
232 \f
233 /* Extraction support for variable length insn sets. */
234
235 /* When disassembling we don't know the number of bytes to read at the start.
236 So the first CGEN_BASE_INSN_SIZE bytes are read at the start and the rest
237 are read when needed. This struct controls this. It is basically the
238 disassemble_info stuff, except that we provide a cache for values already
239 read (since bytes can typically be read several times to fetch multiple
240 operands that may be in them), and that extraction of fields is needed
241 in contexts other than disassembly. */
242
243 typedef struct {
244 /* A pointer to the disassemble_info struct.
245 We don't require dis-asm.h so we use void * for the type here.
246 If NULL, BYTES is full of valid data (VALID == -1). */
247 void *dis_info;
248 /* Points to a working buffer of sufficient size. */
249 unsigned char *insn_bytes;
250 /* Mask of bytes that are valid in INSN_BYTES. */
251 unsigned int valid;
252 } CGEN_EXTRACT_INFO;
253 \f
254 /* Associated with each insn or expression is a set of "handlers" for
255 performing operations like parsing, printing, etc. These require a bfd_vma
256 value to be passed around but we don't want all applications to need bfd.h.
257 So this stuff is only provided if bfd.h has been included. */
258
259 /* Parse handler.
260 CD is a cpu table descriptor.
261 INSN is a pointer to a struct describing the insn being parsed.
262 STRP is a pointer to a pointer to the text being parsed.
263 FIELDS is a pointer to a cgen_fields struct in which the results are placed.
264 If the expression is successfully parsed, *STRP is updated.
265 If not it is left alone.
266 The result is NULL if success or an error message. */
267 typedef const char * (cgen_parse_fn)
268 (CGEN_CPU_DESC, const CGEN_INSN *insn_,
269 const char **strp_, CGEN_FIELDS *fields_);
270
271 /* Insert handler.
272 CD is a cpu table descriptor.
273 INSN is a pointer to a struct describing the insn being parsed.
274 FIELDS is a pointer to a cgen_fields struct from which the values
275 are fetched.
276 INSNP is a pointer to a buffer in which to place the insn.
277 PC is the pc value of the insn.
278 The result is an error message or NULL if success. */
279
280 #ifdef __BFD_H_SEEN__
281 typedef const char * (cgen_insert_fn)
282 (CGEN_CPU_DESC, const CGEN_INSN *insn_,
283 CGEN_FIELDS *fields_, CGEN_INSN_BYTES_PTR insnp_,
284 bfd_vma pc_);
285 #else
286 typedef const char * (cgen_insert_fn) ();
287 #endif
288
289 /* Extract handler.
290 CD is a cpu table descriptor.
291 INSN is a pointer to a struct describing the insn being parsed.
292 The second argument is a pointer to a struct controlling extraction
293 (only used for variable length insns).
294 EX_INFO is a pointer to a struct for controlling reading of further
295 bytes for the insn.
296 BASE_INSN is the first CGEN_BASE_INSN_SIZE bytes (host order).
297 FIELDS is a pointer to a cgen_fields struct in which the results are placed.
298 PC is the pc value of the insn.
299 The result is the length of the insn in bits or zero if not recognized. */
300
301 #ifdef __BFD_H_SEEN__
302 typedef int (cgen_extract_fn)
303 (CGEN_CPU_DESC, const CGEN_INSN *insn_,
304 CGEN_EXTRACT_INFO *ex_info_, CGEN_INSN_INT base_insn_,
305 CGEN_FIELDS *fields_, bfd_vma pc_);
306 #else
307 typedef int (cgen_extract_fn) ();
308 #endif
309
310 /* Print handler.
311 CD is a cpu table descriptor.
312 INFO is a pointer to the disassembly info.
313 Eg: disassemble_info. It's defined as `PTR' so this file can be included
314 without dis-asm.h.
315 INSN is a pointer to a struct describing the insn being printed.
316 FIELDS is a pointer to a cgen_fields struct.
317 PC is the pc value of the insn.
318 LEN is the length of the insn, in bits. */
319
320 #ifdef __BFD_H_SEEN__
321 typedef void (cgen_print_fn)
322 (CGEN_CPU_DESC, void * info_, const CGEN_INSN *insn_,
323 CGEN_FIELDS *fields_, bfd_vma pc_, int len_);
324 #else
325 typedef void (cgen_print_fn) ();
326 #endif
327
328 /* Parse/insert/extract/print handlers.
329
330 Indices into the handler tables.
331 We could use pointers here instead, but 90% of them are generally identical
332 and that's a lot of redundant data. Making these unsigned char indices
333 into tables of pointers saves a bit of space.
334 Using indices also keeps assembler code out of the disassembler and
335 vice versa. */
336
337 struct cgen_opcode_handler
338 {
339 unsigned char parse, insert, extract, print;
340 };
341 \f
342 /* Assembler interface.
343
344 The interface to the assembler is intended to be clean in the sense that
345 libopcodes.a is a standalone entity and could be used with any assembler.
346 Not that one would necessarily want to do that but rather that it helps
347 keep a clean interface. The interface will obviously be slanted towards
348 GAS, but at least it's a start.
349 ??? Note that one possible user of the assembler besides GAS is GDB.
350
351 Parsing is controlled by the assembler which calls
352 CGEN_SYM (assemble_insn). If it can parse and build the entire insn
353 it doesn't call back to the assembler. If it needs/wants to call back
354 to the assembler, cgen_parse_operand_fn is called which can either
355
356 - return a number to be inserted in the insn
357 - return a "register" value to be inserted
358 (the register might not be a register per pe)
359 - queue the argument and return a marker saying the expression has been
360 queued (eg: a fix-up)
361 - return an error message indicating the expression wasn't recognizable
362
363 The result is an error message or NULL for success.
364 The parsed value is stored in the bfd_vma *. */
365
366 /* Values for indicating what the caller wants. */
367
368 enum cgen_parse_operand_type
369 {
370 CGEN_PARSE_OPERAND_INIT,
371 CGEN_PARSE_OPERAND_INTEGER,
372 CGEN_PARSE_OPERAND_ADDRESS,
373 CGEN_PARSE_OPERAND_SYMBOLIC
374 };
375
376 /* Values for indicating what was parsed. */
377
378 enum cgen_parse_operand_result
379 {
380 CGEN_PARSE_OPERAND_RESULT_NUMBER,
381 CGEN_PARSE_OPERAND_RESULT_REGISTER,
382 CGEN_PARSE_OPERAND_RESULT_QUEUED,
383 CGEN_PARSE_OPERAND_RESULT_ERROR
384 };
385
386 #ifdef __BFD_H_SEEN__ /* Don't require bfd.h unnecessarily. */
387 typedef const char * (cgen_parse_operand_fn)
388 (CGEN_CPU_DESC,
389 enum cgen_parse_operand_type, const char **, int, int,
390 enum cgen_parse_operand_result *, bfd_vma *);
391 #else
392 typedef const char * (cgen_parse_operand_fn) ();
393 #endif
394
395 /* Set the cgen_parse_operand_fn callback. */
396
397 extern void cgen_set_parse_operand_fn
398 (CGEN_CPU_DESC, cgen_parse_operand_fn);
399
400 /* Called before trying to match a table entry with the insn. */
401
402 extern void cgen_init_parse_operand (CGEN_CPU_DESC);
403 \f
404 /* Operand values (keywords, integers, symbols, etc.) */
405
406 /* Types of assembler elements. */
407
408 enum cgen_asm_type
409 {
410 CGEN_ASM_NONE, CGEN_ASM_KEYWORD, CGEN_ASM_MAX
411 };
412
413 #ifndef CGEN_ARCH
414 enum cgen_hw_type { CGEN_HW_MAX };
415 #endif
416
417 /* List of hardware elements. */
418
419 typedef struct
420 {
421 char *name;
422 enum cgen_hw_type type;
423 /* There is currently no example where both index specs and value specs
424 are required, so for now both are clumped under "asm_data". */
425 enum cgen_asm_type asm_type;
426 void *asm_data;
427 #ifndef CGEN_HW_NBOOL_ATTRS
428 #define CGEN_HW_NBOOL_ATTRS 1
429 #endif
430 CGEN_ATTR_TYPE (CGEN_HW_NBOOL_ATTRS) attrs;
431 #define CGEN_HW_ATTRS(hw) (&(hw)->attrs)
432 } CGEN_HW_ENTRY;
433
434 /* Return value of attribute ATTR in HW. */
435
436 #define CGEN_HW_ATTR_VALUE(hw, attr) \
437 CGEN_ATTR_VALUE ((hw), CGEN_HW_ATTRS (hw), (attr))
438
439 /* Table of hardware elements for selected mach, computed at runtime.
440 enum cgen_hw_type is an index into this table (specifically `entries'). */
441
442 typedef struct {
443 /* Pointer to null terminated table of all compiled in entries. */
444 const CGEN_HW_ENTRY *init_entries;
445 unsigned int entry_size; /* since the attribute member is variable sized */
446 /* Array of all entries, initial and run-time added. */
447 const CGEN_HW_ENTRY **entries;
448 /* Number of elements in `entries'. */
449 unsigned int num_entries;
450 /* For now, xrealloc is called each time a new entry is added at runtime.
451 ??? May wish to keep track of some slop to reduce the number of calls to
452 xrealloc, except that there's unlikely to be many and not expected to be
453 in speed critical code. */
454 } CGEN_HW_TABLE;
455
456 extern const CGEN_HW_ENTRY * cgen_hw_lookup_by_name
457 (CGEN_CPU_DESC, const char *);
458 extern const CGEN_HW_ENTRY * cgen_hw_lookup_by_num
459 (CGEN_CPU_DESC, unsigned int);
460
461 /* This struct is used to describe things like register names, etc. */
462
463 typedef struct cgen_keyword_entry
464 {
465 /* Name (as in register name). */
466 char * name;
467
468 /* Value (as in register number).
469 The value cannot be -1 as that is used to indicate "not found".
470 IDEA: Have "FUNCTION" attribute? [function is called to fetch value]. */
471 int value;
472
473 /* Attributes.
474 This should, but technically needn't, appear last. It is a variable sized
475 array in that one architecture may have 1 nonbool attribute and another
476 may have more. Having this last means the non-architecture specific code
477 needn't care. The goal is to eventually record
478 attributes in their raw form, evaluate them at run-time, and cache the
479 values, so this worry will go away anyway. */
480 /* ??? Moving this last should be done by treating keywords like insn lists
481 and moving the `next' fields into a CGEN_KEYWORD_LIST struct. */
482 /* FIXME: Not used yet. */
483 #ifndef CGEN_KEYWORD_NBOOL_ATTRS
484 #define CGEN_KEYWORD_NBOOL_ATTRS 1
485 #endif
486 CGEN_ATTR_TYPE (CGEN_KEYWORD_NBOOL_ATTRS) attrs;
487
488 /* ??? Putting these here means compiled in entries can't be const.
489 Not a really big deal, but something to consider. */
490 /* Next name hash table entry. */
491 struct cgen_keyword_entry *next_name;
492 /* Next value hash table entry. */
493 struct cgen_keyword_entry *next_value;
494 } CGEN_KEYWORD_ENTRY;
495
496 /* Top level struct for describing a set of related keywords
497 (e.g. register names).
498
499 This struct supports run-time entry of new values, and hashed lookups. */
500
501 typedef struct cgen_keyword
502 {
503 /* Pointer to initial [compiled in] values. */
504 CGEN_KEYWORD_ENTRY *init_entries;
505
506 /* Number of entries in `init_entries'. */
507 unsigned int num_init_entries;
508
509 /* Hash table used for name lookup. */
510 CGEN_KEYWORD_ENTRY **name_hash_table;
511
512 /* Hash table used for value lookup. */
513 CGEN_KEYWORD_ENTRY **value_hash_table;
514
515 /* Number of entries in the hash_tables. */
516 unsigned int hash_table_size;
517
518 /* Pointer to null keyword "" entry if present. */
519 const CGEN_KEYWORD_ENTRY *null_entry;
520
521 /* String containing non-alphanumeric characters used
522 in keywords.
523 At present, the highest number of entries used is 1. */
524 char nonalpha_chars[8];
525 } CGEN_KEYWORD;
526
527 /* Structure used for searching. */
528
529 typedef struct
530 {
531 /* Table being searched. */
532 const CGEN_KEYWORD *table;
533
534 /* Specification of what is being searched for. */
535 const char *spec;
536
537 /* Current index in hash table. */
538 unsigned int current_hash;
539
540 /* Current element in current hash chain. */
541 CGEN_KEYWORD_ENTRY *current_entry;
542 } CGEN_KEYWORD_SEARCH;
543
544 /* Lookup a keyword from its name. */
545
546 const CGEN_KEYWORD_ENTRY *cgen_keyword_lookup_name
547 (CGEN_KEYWORD *, const char *);
548
549 /* Lookup a keyword from its value. */
550
551 const CGEN_KEYWORD_ENTRY *cgen_keyword_lookup_value
552 (CGEN_KEYWORD *, int);
553
554 /* Add a keyword. */
555
556 void cgen_keyword_add (CGEN_KEYWORD *, CGEN_KEYWORD_ENTRY *);
557
558 /* Keyword searching.
559 This can be used to retrieve every keyword, or a subset. */
560
561 CGEN_KEYWORD_SEARCH cgen_keyword_search_init
562 (CGEN_KEYWORD *, const char *);
563 const CGEN_KEYWORD_ENTRY *cgen_keyword_search_next
564 (CGEN_KEYWORD_SEARCH *);
565
566 /* Operand value support routines. */
567
568 extern const char *cgen_parse_keyword
569 (CGEN_CPU_DESC, const char **, CGEN_KEYWORD *, long *);
570 #ifdef __BFD_H_SEEN__ /* Don't require bfd.h unnecessarily. */
571 extern const char *cgen_parse_signed_integer
572 (CGEN_CPU_DESC, const char **, int, long *);
573 extern const char *cgen_parse_unsigned_integer
574 (CGEN_CPU_DESC, const char **, int, unsigned long *);
575 extern const char *cgen_parse_address
576 (CGEN_CPU_DESC, const char **, int, int,
577 enum cgen_parse_operand_result *, bfd_vma *);
578 extern const char *cgen_validate_signed_integer
579 (long, long, long);
580 extern const char *cgen_validate_unsigned_integer
581 (unsigned long, unsigned long, unsigned long);
582 #endif
583 \f
584 /* Operand modes. */
585
586 /* ??? This duplicates the values in arch.h. Revisit.
587 These however need the CGEN_ prefix [as does everything in this file]. */
588 /* ??? Targets may need to add their own modes so we may wish to move this
589 to <arch>-opc.h, or add a hook. */
590
591 enum cgen_mode {
592 CGEN_MODE_VOID, /* ??? rename simulator's VM to VOID? */
593 CGEN_MODE_BI, CGEN_MODE_QI, CGEN_MODE_HI, CGEN_MODE_SI, CGEN_MODE_DI,
594 CGEN_MODE_UBI, CGEN_MODE_UQI, CGEN_MODE_UHI, CGEN_MODE_USI, CGEN_MODE_UDI,
595 CGEN_MODE_SF, CGEN_MODE_DF, CGEN_MODE_XF, CGEN_MODE_TF,
596 CGEN_MODE_TARGET_MAX,
597 CGEN_MODE_INT, CGEN_MODE_UINT,
598 CGEN_MODE_MAX
599 };
600
601 /* FIXME: Until simulator is updated. */
602
603 #define CGEN_MODE_VM CGEN_MODE_VOID
604 \f
605 /* Operands. */
606
607 #ifndef CGEN_ARCH
608 enum cgen_operand_type { CGEN_OPERAND_MAX };
609 #endif
610
611 /* "nil" indicator for the operand instance table */
612 #define CGEN_OPERAND_NIL CGEN_OPERAND_MAX
613
614 /* A tree of these structs represents the multi-ifield
615 structure of an operand's hw-index value, if it exists. */
616
617 struct cgen_ifld;
618
619 typedef struct cgen_maybe_multi_ifield
620 {
621 int count; /* 0: indexed by single cgen_ifld (possibly null: dead entry);
622 n: indexed by array of more cgen_maybe_multi_ifields. */
623 union
624 {
625 const void *p;
626 const struct cgen_maybe_multi_ifield * multi;
627 const struct cgen_ifld * leaf;
628 } val;
629 }
630 CGEN_MAYBE_MULTI_IFLD;
631
632 /* This struct defines each entry in the operand table. */
633
634 typedef struct
635 {
636 /* Name as it appears in the syntax string. */
637 char *name;
638
639 /* Operand type. */
640 enum cgen_operand_type type;
641
642 /* The hardware element associated with this operand. */
643 enum cgen_hw_type hw_type;
644
645 /* FIXME: We don't yet record ifield definitions, which we should.
646 When we do it might make sense to delete start/length (since they will
647 be duplicated in the ifield's definition) and replace them with a
648 pointer to the ifield entry. */
649
650 /* Bit position.
651 This is just a hint, and may be unused in more complex operands.
652 May be unused for a modifier. */
653 unsigned char start;
654
655 /* The number of bits in the operand.
656 This is just a hint, and may be unused in more complex operands.
657 May be unused for a modifier. */
658 unsigned char length;
659
660 /* The (possibly-multi) ifield used as an index for this operand, if it
661 is indexed by a field at all. This substitutes / extends the start and
662 length fields above, but unsure at this time whether they are used
663 anywhere. */
664 CGEN_MAYBE_MULTI_IFLD index_fields;
665 #if 0 /* ??? Interesting idea but relocs tend to get too complicated,
666 and ABI dependent, for simple table lookups to work. */
667 /* Ideally this would be the internal (external?) reloc type. */
668 int reloc_type;
669 #endif
670
671 /* Attributes.
672 This should, but technically needn't, appear last. It is a variable sized
673 array in that one architecture may have 1 nonbool attribute and another
674 may have more. Having this last means the non-architecture specific code
675 needn't care, now or tomorrow. The goal is to eventually record
676 attributes in their raw form, evaluate them at run-time, and cache the
677 values, so this worry will go away anyway. */
678 #ifndef CGEN_OPERAND_NBOOL_ATTRS
679 #define CGEN_OPERAND_NBOOL_ATTRS 1
680 #endif
681 CGEN_ATTR_TYPE (CGEN_OPERAND_NBOOL_ATTRS) attrs;
682 #define CGEN_OPERAND_ATTRS(operand) (&(operand)->attrs)
683 } CGEN_OPERAND;
684
685 /* Return value of attribute ATTR in OPERAND. */
686
687 #define CGEN_OPERAND_ATTR_VALUE(operand, attr) \
688 CGEN_ATTR_VALUE ((operand), CGEN_OPERAND_ATTRS (operand), (attr))
689
690 /* Table of operands for selected mach/isa, computed at runtime.
691 enum cgen_operand_type is an index into this table (specifically
692 `entries'). */
693
694 typedef struct {
695 /* Pointer to null terminated table of all compiled in entries. */
696 const CGEN_OPERAND *init_entries;
697 unsigned int entry_size; /* since the attribute member is variable sized */
698 /* Array of all entries, initial and run-time added. */
699 const CGEN_OPERAND **entries;
700 /* Number of elements in `entries'. */
701 unsigned int num_entries;
702 /* For now, xrealloc is called each time a new entry is added at runtime.
703 ??? May wish to keep track of some slop to reduce the number of calls to
704 xrealloc, except that there's unlikely to be many and not expected to be
705 in speed critical code. */
706 } CGEN_OPERAND_TABLE;
707
708 extern const CGEN_OPERAND * cgen_operand_lookup_by_name
709 (CGEN_CPU_DESC, const char *);
710 extern const CGEN_OPERAND * cgen_operand_lookup_by_num
711 (CGEN_CPU_DESC, int);
712 \f
713 /* Instruction operand instances.
714
715 For each instruction, a list of the hardware elements that are read and
716 written are recorded. */
717
718 /* The type of the instance. */
719
720 enum cgen_opinst_type {
721 /* End of table marker. */
722 CGEN_OPINST_END = 0,
723 CGEN_OPINST_INPUT, CGEN_OPINST_OUTPUT
724 };
725
726 typedef struct
727 {
728 /* Input or output indicator. */
729 enum cgen_opinst_type type;
730
731 /* Name of operand. */
732 const char *name;
733
734 /* The hardware element referenced. */
735 enum cgen_hw_type hw_type;
736
737 /* The mode in which the operand is being used. */
738 enum cgen_mode mode;
739
740 /* The operand table entry CGEN_OPERAND_NIL if there is none
741 (i.e. an explicit hardware reference). */
742 enum cgen_operand_type op_type;
743
744 /* If `operand' is "nil", the index (e.g. into array of registers). */
745 int index;
746
747 /* Attributes.
748 ??? This perhaps should be a real attribute struct but there's
749 no current need, so we save a bit of space and just have a set of
750 flags. The interface is such that this can easily be made attributes
751 should it prove useful. */
752 unsigned int attrs;
753 #define CGEN_OPINST_ATTRS(opinst) ((opinst)->attrs)
754 /* Return value of attribute ATTR in OPINST. */
755 #define CGEN_OPINST_ATTR(opinst, attr) \
756 ((CGEN_OPINST_ATTRS (opinst) & (attr)) != 0)
757 /* Operand is conditionally referenced (read/written). */
758 #define CGEN_OPINST_COND_REF 1
759 } CGEN_OPINST;
760 \f
761 /* Syntax string.
762
763 Each insn format and subexpression has one of these.
764
765 The syntax "string" consists of characters (n > 0 && n < 128), and operand
766 values (n >= 128), and is terminated by 0. Operand values are 128 + index
767 into the operand table. The operand table doesn't exist in C, per se, as
768 the data is recorded in the parse/insert/extract/print switch statements. */
769
770 /* This should be at least as large as necessary for any target. */
771 #define CGEN_MAX_SYNTAX_ELEMENTS 48
772
773 /* A target may know its own precise maximum. Assert that it falls below
774 the above limit. */
775 #ifdef CGEN_ACTUAL_MAX_SYNTAX_ELEMENTS
776 #if CGEN_ACTUAL_MAX_SYNTAX_ELEMENTS > CGEN_MAX_SYNTAX_ELEMENTS
777 #error "CGEN_ACTUAL_MAX_SYNTAX_ELEMENTS too high - enlarge CGEN_MAX_SYNTAX_ELEMENTS"
778 #endif
779 #endif
780
781 typedef unsigned short CGEN_SYNTAX_CHAR_TYPE;
782
783 typedef struct
784 {
785 CGEN_SYNTAX_CHAR_TYPE syntax[CGEN_MAX_SYNTAX_ELEMENTS];
786 } CGEN_SYNTAX;
787
788 #define CGEN_SYNTAX_STRING(syn) (syn->syntax)
789 #define CGEN_SYNTAX_CHAR_P(c) ((c) < 128)
790 #define CGEN_SYNTAX_CHAR(c) ((unsigned char)c)
791 #define CGEN_SYNTAX_FIELD(c) ((c) - 128)
792 #define CGEN_SYNTAX_MAKE_FIELD(c) ((c) + 128)
793
794 /* ??? I can't currently think of any case where the mnemonic doesn't come
795 first [and if one ever doesn't building the hash tables will be tricky].
796 However, we treat mnemonics as just another operand of the instruction.
797 A value of 1 means "this is where the mnemonic appears". 1 isn't
798 special other than it's a non-printable ASCII char. */
799
800 #define CGEN_SYNTAX_MNEMONIC 1
801 #define CGEN_SYNTAX_MNEMONIC_P(ch) ((ch) == CGEN_SYNTAX_MNEMONIC)
802 \f
803 /* Instruction fields.
804
805 ??? We currently don't allow adding fields at run-time.
806 Easy to fix when needed. */
807
808 typedef struct cgen_ifld {
809 /* Enum of ifield. */
810 int num;
811 #define CGEN_IFLD_NUM(f) ((f)->num)
812
813 /* Name of the field, distinguishes it from all other fields. */
814 const char *name;
815 #define CGEN_IFLD_NAME(f) ((f)->name)
816
817 /* Default offset, in bits, from the start of the insn to the word
818 containing the field. */
819 int word_offset;
820 #define CGEN_IFLD_WORD_OFFSET(f) ((f)->word_offset)
821
822 /* Default length of the word containing the field. */
823 int word_size;
824 #define CGEN_IFLD_WORD_SIZE(f) ((f)->word_size)
825
826 /* Default starting bit number.
827 Whether lsb=0 or msb=0 is determined by CGEN_INSN_LSB0_P. */
828 int start;
829 #define CGEN_IFLD_START(f) ((f)->start)
830
831 /* Length of the field, in bits. */
832 int length;
833 #define CGEN_IFLD_LENGTH(f) ((f)->length)
834
835 #ifndef CGEN_IFLD_NBOOL_ATTRS
836 #define CGEN_IFLD_NBOOL_ATTRS 1
837 #endif
838 CGEN_ATTR_TYPE (CGEN_IFLD_NBOOL_ATTRS) attrs;
839 #define CGEN_IFLD_ATTRS(f) (&(f)->attrs)
840 } CGEN_IFLD;
841
842 /* Return value of attribute ATTR in IFLD. */
843 #define CGEN_IFLD_ATTR_VALUE(ifld, attr) \
844 CGEN_ATTR_VALUE ((ifld), CGEN_IFLD_ATTRS (ifld), (attr))
845 \f
846 /* Instruction data. */
847
848 /* Instruction formats.
849
850 Instructions are grouped by format. Associated with an instruction is its
851 format. Each insn's opcode table entry contains a format table entry.
852 ??? There is usually very few formats compared with the number of insns,
853 so one can reduce the size of the opcode table by recording the format table
854 as a separate entity. Given that we currently don't, format table entries
855 are also distinguished by their operands. This increases the size of the
856 table, but reduces the number of tables. It's all minutiae anyway so it
857 doesn't really matter [at this point in time].
858
859 ??? Support for variable length ISA's is wip. */
860
861 /* Accompanying each iformat description is a list of its fields. */
862
863 typedef struct {
864 const CGEN_IFLD *ifld;
865 #define CGEN_IFMT_IFLD_IFLD(ii) ((ii)->ifld)
866 } CGEN_IFMT_IFLD;
867
868 /* This should be at least as large as necessary for any target. */
869 #define CGEN_MAX_IFMT_OPERANDS 16
870
871 /* A target may know its own precise maximum. Assert that it falls below
872 the above limit. */
873 #ifdef CGEN_ACTUAL_MAX_IFMT_OPERANDS
874 #if CGEN_ACTUAL_MAX_IFMT_OPERANDS > CGEN_MAX_IFMT_OPERANDS
875 #error "CGEN_ACTUAL_MAX_IFMT_OPERANDS too high - enlarge CGEN_MAX_IFMT_OPERANDS"
876 #endif
877 #endif
878
879
880 typedef struct
881 {
882 /* Length that MASK and VALUE have been calculated to
883 [VALUE is recorded elsewhere].
884 Normally it is base_insn_bitsize. On [V]LIW architectures where the base
885 insn size may be larger than the size of an insn, this field is less than
886 base_insn_bitsize. */
887 unsigned char mask_length;
888 #define CGEN_IFMT_MASK_LENGTH(ifmt) ((ifmt)->mask_length)
889
890 /* Total length of instruction, in bits. */
891 unsigned char length;
892 #define CGEN_IFMT_LENGTH(ifmt) ((ifmt)->length)
893
894 /* Mask to apply to the first MASK_LENGTH bits.
895 Each insn's value is stored with the insn.
896 The first step in recognizing an insn for disassembly is
897 (opcode & mask) == value. */
898 CGEN_INSN_INT mask;
899 #define CGEN_IFMT_MASK(ifmt) ((ifmt)->mask)
900
901 /* Instruction fields.
902 +1 for trailing NULL. */
903 CGEN_IFMT_IFLD iflds[CGEN_MAX_IFMT_OPERANDS + 1];
904 #define CGEN_IFMT_IFLDS(ifmt) ((ifmt)->iflds)
905 } CGEN_IFMT;
906
907 /* Instruction values. */
908
909 typedef struct
910 {
911 /* The opcode portion of the base insn. */
912 CGEN_INSN_INT base_value;
913
914 #ifdef CGEN_MAX_EXTRA_OPCODE_OPERANDS
915 /* Extra opcode values beyond base_value. */
916 unsigned long ifield_values[CGEN_MAX_EXTRA_OPCODE_OPERANDS];
917 #endif
918 } CGEN_IVALUE;
919
920 /* Instruction opcode table.
921 This contains the syntax and format data of an instruction. */
922
923 /* ??? Some ports already have an opcode table yet still need to use the rest
924 of what cgen_insn has. Plus keeping the opcode data with the operand
925 instance data can create a pretty big file. So we keep them separately.
926 Not sure this is a good idea in the long run. */
927
928 typedef struct
929 {
930 /* Indices into parse/insert/extract/print handler tables. */
931 struct cgen_opcode_handler handlers;
932 #define CGEN_OPCODE_HANDLERS(opc) (& (opc)->handlers)
933
934 /* Syntax string. */
935 CGEN_SYNTAX syntax;
936 #define CGEN_OPCODE_SYNTAX(opc) (& (opc)->syntax)
937
938 /* Format entry. */
939 const CGEN_IFMT *format;
940 #define CGEN_OPCODE_FORMAT(opc) ((opc)->format)
941 #define CGEN_OPCODE_MASK_BITSIZE(opc) CGEN_IFMT_MASK_LENGTH (CGEN_OPCODE_FORMAT (opc))
942 #define CGEN_OPCODE_BITSIZE(opc) CGEN_IFMT_LENGTH (CGEN_OPCODE_FORMAT (opc))
943 #define CGEN_OPCODE_IFLDS(opc) CGEN_IFMT_IFLDS (CGEN_OPCODE_FORMAT (opc))
944
945 /* Instruction opcode value. */
946 CGEN_IVALUE value;
947 #define CGEN_OPCODE_VALUE(opc) (& (opc)->value)
948 #define CGEN_OPCODE_BASE_VALUE(opc) (CGEN_OPCODE_VALUE (opc)->base_value)
949 #define CGEN_OPCODE_BASE_MASK(opc) CGEN_IFMT_MASK (CGEN_OPCODE_FORMAT (opc))
950 } CGEN_OPCODE;
951
952 /* Instruction attributes.
953 This is made a published type as applications can cache a pointer to
954 the attributes for speed. */
955
956 #ifndef CGEN_INSN_NBOOL_ATTRS
957 #define CGEN_INSN_NBOOL_ATTRS 1
958 #endif
959 typedef CGEN_ATTR_TYPE (CGEN_INSN_NBOOL_ATTRS) CGEN_INSN_ATTR_TYPE;
960
961 /* Enum of architecture independent attributes. */
962
963 #ifndef CGEN_ARCH
964 /* ??? Numbers here are recorded in two places. */
965 typedef enum cgen_insn_attr {
966 CGEN_INSN_ALIAS = 0
967 } CGEN_INSN_ATTR;
968 #endif
969
970 /* This struct defines each entry in the instruction table. */
971
972 typedef struct
973 {
974 /* Each real instruction is enumerated. */
975 /* ??? This may go away in time. */
976 int num;
977 #define CGEN_INSN_NUM(insn) ((insn)->base->num)
978
979 /* Name of entry (that distinguishes it from all other entries). */
980 /* ??? If mnemonics have operands, try to print full mnemonic. */
981 const char *name;
982 #define CGEN_INSN_NAME(insn) ((insn)->base->name)
983
984 /* Mnemonic. This is used when parsing and printing the insn.
985 In the case of insns that have operands on the mnemonics, this is
986 only the constant part. E.g. for conditional execution of an `add' insn,
987 where the full mnemonic is addeq, addne, etc., and the condition is
988 treated as an operand, this is only "add". */
989 const char *mnemonic;
990 #define CGEN_INSN_MNEMONIC(insn) ((insn)->base->mnemonic)
991
992 /* Total length of instruction, in bits. */
993 int bitsize;
994 #define CGEN_INSN_BITSIZE(insn) ((insn)->base->bitsize)
995
996 #if 0 /* ??? Disabled for now as there is a problem with embedded newlines
997 and the table is already pretty big. Should perhaps be moved
998 to a file of its own. */
999 /* Semantics, as RTL. */
1000 /* ??? Plain text or bytecodes? */
1001 /* ??? Note that the operand instance table could be computed at run-time
1002 if we parse this and cache the results. Something to eventually do. */
1003 const char *rtx;
1004 #define CGEN_INSN_RTX(insn) ((insn)->base->rtx)
1005 #endif
1006
1007 /* Attributes.
1008 This must appear last. It is a variable sized array in that one
1009 architecture may have 1 nonbool attribute and another may have more.
1010 Having this last means the non-architecture specific code needn't
1011 care. The goal is to eventually record attributes in their raw form,
1012 evaluate them at run-time, and cache the values, so this worry will go
1013 away anyway. */
1014 CGEN_INSN_ATTR_TYPE attrs;
1015 #define CGEN_INSN_ATTRS(insn) (&(insn)->base->attrs)
1016 /* Return value of attribute ATTR in INSN. */
1017 #define CGEN_INSN_ATTR_VALUE(insn, attr) \
1018 CGEN_ATTR_VALUE ((insn), CGEN_INSN_ATTRS (insn), (attr))
1019 } CGEN_IBASE;
1020
1021 /* Return non-zero if INSN is the "invalid" insn marker. */
1022
1023 #define CGEN_INSN_INVALID_P(insn) (CGEN_INSN_MNEMONIC (insn) == 0)
1024
1025 /* Main struct contain instruction information.
1026 BASE is always present, the rest is present only if asked for. */
1027
1028 struct cgen_insn
1029 {
1030 /* ??? May be of use to put a type indicator here.
1031 Then this struct could different info for different classes of insns. */
1032 /* ??? A speedup can be had by moving `base' into this struct.
1033 Maybe later. */
1034 const CGEN_IBASE *base;
1035 const CGEN_OPCODE *opcode;
1036 const CGEN_OPINST *opinst;
1037
1038 /* Regex to disambiguate overloaded opcodes */
1039 void *rx;
1040 #define CGEN_INSN_RX(insn) ((insn)->rx)
1041 #define CGEN_MAX_RX_ELEMENTS (CGEN_MAX_SYNTAX_ELEMENTS * 5)
1042 };
1043
1044 /* Instruction lists.
1045 This is used for adding new entries and for creating the hash lists. */
1046
1047 typedef struct cgen_insn_list
1048 {
1049 struct cgen_insn_list *next;
1050 const CGEN_INSN *insn;
1051 } CGEN_INSN_LIST;
1052
1053 /* Table of instructions. */
1054
1055 typedef struct
1056 {
1057 const CGEN_INSN *init_entries;
1058 unsigned int entry_size; /* since the attribute member is variable sized */
1059 unsigned int num_init_entries;
1060 CGEN_INSN_LIST *new_entries;
1061 } CGEN_INSN_TABLE;
1062
1063 /* Return number of instructions. This includes any added at run-time. */
1064
1065 extern int cgen_insn_count (CGEN_CPU_DESC);
1066 extern int cgen_macro_insn_count (CGEN_CPU_DESC);
1067
1068 /* Macros to access the other insn elements not recorded in CGEN_IBASE. */
1069
1070 /* Fetch INSN's operand instance table. */
1071 /* ??? Doesn't handle insns added at runtime. */
1072 #define CGEN_INSN_OPERANDS(insn) ((insn)->opinst)
1073
1074 /* Return INSN's opcode table entry. */
1075 #define CGEN_INSN_OPCODE(insn) ((insn)->opcode)
1076
1077 /* Return INSN's handler data. */
1078 #define CGEN_INSN_HANDLERS(insn) CGEN_OPCODE_HANDLERS (CGEN_INSN_OPCODE (insn))
1079
1080 /* Return INSN's syntax. */
1081 #define CGEN_INSN_SYNTAX(insn) CGEN_OPCODE_SYNTAX (CGEN_INSN_OPCODE (insn))
1082
1083 /* Return size of base mask in bits. */
1084 #define CGEN_INSN_MASK_BITSIZE(insn) \
1085 CGEN_OPCODE_MASK_BITSIZE (CGEN_INSN_OPCODE (insn))
1086
1087 /* Return mask of base part of INSN. */
1088 #define CGEN_INSN_BASE_MASK(insn) \
1089 CGEN_OPCODE_BASE_MASK (CGEN_INSN_OPCODE (insn))
1090
1091 /* Return value of base part of INSN. */
1092 #define CGEN_INSN_BASE_VALUE(insn) \
1093 CGEN_OPCODE_BASE_VALUE (CGEN_INSN_OPCODE (insn))
1094
1095 /* Standard way to test whether INSN is supported by MACH.
1096 MACH is one of enum mach_attr.
1097 The "|1" is because the base mach is always selected. */
1098 #define CGEN_INSN_MACH_HAS_P(insn, mach) \
1099 ((CGEN_INSN_ATTR_VALUE ((insn), CGEN_INSN_MACH) & ((1 << (mach)) | 1)) != 0)
1100 \f
1101 /* Macro instructions.
1102 Macro insns aren't real insns, they map to one or more real insns.
1103 E.g. An architecture's "nop" insn may actually be an "mv r0,r0" or
1104 some such.
1105
1106 Macro insns can expand to nothing (e.g. a nop that is optimized away).
1107 This is useful in multi-insn macros that build a constant in a register.
1108 Of course this isn't the default behaviour and must be explicitly enabled.
1109
1110 Assembly of macro-insns is relatively straightforward. Disassembly isn't.
1111 However, disassembly of at least some kinds of macro insns is important
1112 in order that the disassembled code preserve the readability of the original
1113 insn. What is attempted here is to disassemble all "simple" macro-insns,
1114 where "simple" is currently defined to mean "expands to one real insn".
1115
1116 Simple macro-insns are handled specially. They are emitted as ALIAS's
1117 of real insns. This simplifies their handling since there's usually more
1118 of them than any other kind of macro-insn, and proper disassembly of them
1119 falls out for free. */
1120
1121 /* For each macro-insn there may be multiple expansion possibilities,
1122 depending on the arguments. This structure is accessed via the `data'
1123 member of CGEN_INSN. */
1124
1125 typedef struct cgen_minsn_expansion {
1126 /* Function to do the expansion.
1127 If the expansion fails (e.g. "no match") NULL is returned.
1128 Space for the expansion is obtained with malloc.
1129 It is up to the caller to free it. */
1130 const char * (* fn)
1131 (const struct cgen_minsn_expansion *,
1132 const char *, const char **, int *,
1133 CGEN_OPERAND **);
1134 #define CGEN_MIEXPN_FN(ex) ((ex)->fn)
1135
1136 /* Instruction(s) the macro expands to.
1137 The format of STR is defined by FN.
1138 It is typically the assembly code of the real insn, but it could also be
1139 the original Scheme expression or a tokenized form of it (with FN being
1140 an appropriate interpreter). */
1141 const char * str;
1142 #define CGEN_MIEXPN_STR(ex) ((ex)->str)
1143 } CGEN_MINSN_EXPANSION;
1144
1145 /* Normal expander.
1146 When supported, this function will convert the input string to another
1147 string and the parser will be invoked recursively. The output string
1148 may contain further macro invocations. */
1149
1150 extern const char * cgen_expand_macro_insn
1151 (CGEN_CPU_DESC, const struct cgen_minsn_expansion *,
1152 const char *, const char **, int *, CGEN_OPERAND **);
1153 \f
1154 /* The assembler insn table is hashed based on some function of the mnemonic
1155 (the actually hashing done is up to the target, but we provide a few
1156 examples like the first letter or a function of the entire mnemonic). */
1157
1158 extern CGEN_INSN_LIST * cgen_asm_lookup_insn
1159 (CGEN_CPU_DESC, const char *);
1160 #define CGEN_ASM_LOOKUP_INSN(cd, string) cgen_asm_lookup_insn ((cd), (string))
1161 #define CGEN_ASM_NEXT_INSN(insn) ((insn)->next)
1162
1163 /* The disassembler insn table is hashed based on some function of machine
1164 instruction (the actually hashing done is up to the target). */
1165
1166 extern CGEN_INSN_LIST * cgen_dis_lookup_insn
1167 (CGEN_CPU_DESC, const char *, CGEN_INSN_INT);
1168 /* FIXME: delete these two */
1169 #define CGEN_DIS_LOOKUP_INSN(cd, buf, value) cgen_dis_lookup_insn ((cd), (buf), (value))
1170 #define CGEN_DIS_NEXT_INSN(insn) ((insn)->next)
1171 \f
1172 /* The CPU description.
1173 A copy of this is created when the cpu table is "opened".
1174 All global state information is recorded here.
1175 Access macros are provided for "public" members. */
1176
1177 typedef struct cgen_cpu_desc
1178 {
1179 /* Bitmap of selected machine(s) (a la BFD machine number). */
1180 int machs;
1181
1182 /* Bitmap of selected isa(s).
1183 ??? Simultaneous multiple isas might not make sense, but it's not (yet)
1184 precluded. */
1185 int isas;
1186
1187 /* Current endian. */
1188 enum cgen_endian endian;
1189 #define CGEN_CPU_ENDIAN(cd) ((cd)->endian)
1190
1191 /* Current insn endian. */
1192 enum cgen_endian insn_endian;
1193 #define CGEN_CPU_INSN_ENDIAN(cd) ((cd)->insn_endian)
1194
1195 /* Word size (in bits). */
1196 /* ??? Or maybe maximum word size - might we ever need to allow a cpu table
1197 to be opened for both sparc32/sparc64?
1198 ??? Another alternative is to create a table of selected machs and
1199 lazily fetch the data from there. */
1200 unsigned int word_bitsize;
1201
1202 /* Instruction chunk size (in bits), for purposes of endianness
1203 conversion. */
1204 unsigned int insn_chunk_bitsize;
1205
1206 /* Indicator if sizes are unknown.
1207 This is used by default_insn_bitsize,base_insn_bitsize if there is a
1208 difference between the selected isa's. */
1209 #define CGEN_SIZE_UNKNOWN 65535
1210
1211 /* Default instruction size (in bits).
1212 This is used by the assembler when it encounters an unknown insn. */
1213 unsigned int default_insn_bitsize;
1214
1215 /* Base instruction size (in bits).
1216 For non-LIW cpus this is generally the length of the smallest insn.
1217 For LIW cpus its wip (work-in-progress). For the m32r its 32. */
1218 unsigned int base_insn_bitsize;
1219
1220 /* Minimum/maximum instruction size (in bits). */
1221 unsigned int min_insn_bitsize;
1222 unsigned int max_insn_bitsize;
1223
1224 /* Instruction set variants. */
1225 const CGEN_ISA *isa_table;
1226
1227 /* Machine variants. */
1228 const CGEN_MACH *mach_table;
1229
1230 /* Hardware elements. */
1231 CGEN_HW_TABLE hw_table;
1232
1233 /* Instruction fields. */
1234 const CGEN_IFLD *ifld_table;
1235
1236 /* Operands. */
1237 CGEN_OPERAND_TABLE operand_table;
1238
1239 /* Main instruction table. */
1240 CGEN_INSN_TABLE insn_table;
1241 #define CGEN_CPU_INSN_TABLE(cd) (& (cd)->insn_table)
1242
1243 /* Macro instructions are defined separately and are combined with real
1244 insns during hash table computation. */
1245 CGEN_INSN_TABLE macro_insn_table;
1246
1247 /* Copy of CGEN_INT_INSN_P. */
1248 int int_insn_p;
1249
1250 /* Called to rebuild the tables after something has changed. */
1251 void (*rebuild_tables) (CGEN_CPU_DESC);
1252
1253 /* Operand parser callback. */
1254 cgen_parse_operand_fn * parse_operand_fn;
1255
1256 /* Parse/insert/extract/print cover fns for operands. */
1257 const char * (*parse_operand)
1258 (CGEN_CPU_DESC, int opindex_, const char **, CGEN_FIELDS *fields_);
1259 #ifdef __BFD_H_SEEN__
1260 const char * (*insert_operand)
1261 (CGEN_CPU_DESC, int opindex_, CGEN_FIELDS *fields_,
1262 CGEN_INSN_BYTES_PTR, bfd_vma pc_);
1263 int (*extract_operand)
1264 (CGEN_CPU_DESC, int opindex_, CGEN_EXTRACT_INFO *, CGEN_INSN_INT,
1265 CGEN_FIELDS *fields_, bfd_vma pc_);
1266 void (*print_operand)
1267 (CGEN_CPU_DESC, int opindex_, void * info_, CGEN_FIELDS * fields_,
1268 void const *attrs_, bfd_vma pc_, int length_);
1269 #else
1270 const char * (*insert_operand) ();
1271 int (*extract_operand) ();
1272 void (*print_operand) ();
1273 #endif
1274 #define CGEN_CPU_PARSE_OPERAND(cd) ((cd)->parse_operand)
1275 #define CGEN_CPU_INSERT_OPERAND(cd) ((cd)->insert_operand)
1276 #define CGEN_CPU_EXTRACT_OPERAND(cd) ((cd)->extract_operand)
1277 #define CGEN_CPU_PRINT_OPERAND(cd) ((cd)->print_operand)
1278
1279 /* Size of CGEN_FIELDS struct. */
1280 unsigned int sizeof_fields;
1281 #define CGEN_CPU_SIZEOF_FIELDS(cd) ((cd)->sizeof_fields)
1282
1283 /* Set the bitsize field. */
1284 void (*set_fields_bitsize) (CGEN_FIELDS *fields_, int size_);
1285 #define CGEN_CPU_SET_FIELDS_BITSIZE(cd) ((cd)->set_fields_bitsize)
1286
1287 /* CGEN_FIELDS accessors. */
1288 int (*get_int_operand)
1289 (CGEN_CPU_DESC, int opindex_, const CGEN_FIELDS *fields_);
1290 void (*set_int_operand)
1291 (CGEN_CPU_DESC, int opindex_, CGEN_FIELDS *fields_, int value_);
1292 #ifdef __BFD_H_SEEN__
1293 bfd_vma (*get_vma_operand)
1294 (CGEN_CPU_DESC, int opindex_, const CGEN_FIELDS *fields_);
1295 void (*set_vma_operand)
1296 (CGEN_CPU_DESC, int opindex_, CGEN_FIELDS *fields_, bfd_vma value_);
1297 #else
1298 long (*get_vma_operand) ();
1299 void (*set_vma_operand) ();
1300 #endif
1301 #define CGEN_CPU_GET_INT_OPERAND(cd) ((cd)->get_int_operand)
1302 #define CGEN_CPU_SET_INT_OPERAND(cd) ((cd)->set_int_operand)
1303 #define CGEN_CPU_GET_VMA_OPERAND(cd) ((cd)->get_vma_operand)
1304 #define CGEN_CPU_SET_VMA_OPERAND(cd) ((cd)->set_vma_operand)
1305
1306 /* Instruction parse/insert/extract/print handlers. */
1307 /* FIXME: make these types uppercase. */
1308 cgen_parse_fn * const *parse_handlers;
1309 cgen_insert_fn * const *insert_handlers;
1310 cgen_extract_fn * const *extract_handlers;
1311 cgen_print_fn * const *print_handlers;
1312 #define CGEN_PARSE_FN(cd, insn) (cd->parse_handlers[(insn)->opcode->handlers.parse])
1313 #define CGEN_INSERT_FN(cd, insn) (cd->insert_handlers[(insn)->opcode->handlers.insert])
1314 #define CGEN_EXTRACT_FN(cd, insn) (cd->extract_handlers[(insn)->opcode->handlers.extract])
1315 #define CGEN_PRINT_FN(cd, insn) (cd->print_handlers[(insn)->opcode->handlers.print])
1316
1317 /* Return non-zero if insn should be added to hash table. */
1318 int (* asm_hash_p) (const CGEN_INSN *);
1319
1320 /* Assembler hash function. */
1321 unsigned int (* asm_hash) (const char *);
1322
1323 /* Number of entries in assembler hash table. */
1324 unsigned int asm_hash_size;
1325
1326 /* Return non-zero if insn should be added to hash table. */
1327 int (* dis_hash_p) (const CGEN_INSN *);
1328
1329 /* Disassembler hash function. */
1330 unsigned int (* dis_hash) (const char *, CGEN_INSN_INT);
1331
1332 /* Number of entries in disassembler hash table. */
1333 unsigned int dis_hash_size;
1334
1335 /* Assembler instruction hash table. */
1336 CGEN_INSN_LIST **asm_hash_table;
1337 CGEN_INSN_LIST *asm_hash_table_entries;
1338
1339 /* Disassembler instruction hash table. */
1340 CGEN_INSN_LIST **dis_hash_table;
1341 CGEN_INSN_LIST *dis_hash_table_entries;
1342
1343 /* This field could be turned into a bitfield if room for other flags is needed. */
1344 unsigned int signed_overflow_ok_p;
1345
1346 } CGEN_CPU_TABLE;
1347
1348 /* wip */
1349 #ifndef CGEN_WORD_ENDIAN
1350 #define CGEN_WORD_ENDIAN(cd) CGEN_CPU_ENDIAN (cd)
1351 #endif
1352 #ifndef CGEN_INSN_WORD_ENDIAN
1353 #define CGEN_INSN_WORD_ENDIAN(cd) CGEN_CPU_INSN_ENDIAN (cd)
1354 #endif
1355 \f
1356 /* Prototypes of major functions. */
1357 /* FIXME: Move more CGEN_SYM-defined functions into CGEN_CPU_DESC.
1358 Not the init fns though, as that would drag in things that mightn't be
1359 used and might not even exist. */
1360
1361 /* Argument types to cpu_open. */
1362
1363 enum cgen_cpu_open_arg {
1364 CGEN_CPU_OPEN_END,
1365 /* Select instruction set(s), arg is bitmap or 0 meaning "unspecified". */
1366 CGEN_CPU_OPEN_ISAS,
1367 /* Select machine(s), arg is bitmap or 0 meaning "unspecified". */
1368 CGEN_CPU_OPEN_MACHS,
1369 /* Select machine, arg is mach's bfd name.
1370 Multiple machines can be specified by repeated use. */
1371 CGEN_CPU_OPEN_BFDMACH,
1372 /* Select endian, arg is CGEN_ENDIAN_*. */
1373 CGEN_CPU_OPEN_ENDIAN
1374 };
1375
1376 /* Open a cpu descriptor table for use.
1377 ??? We only support ISO C stdargs here, not K&R.
1378 Laziness, plus experiment to see if anything requires K&R - eventually
1379 K&R will no longer be supported - e.g. GDB is currently trying this. */
1380
1381 extern CGEN_CPU_DESC CGEN_SYM (cpu_open) (enum cgen_cpu_open_arg, ...);
1382
1383 /* Cover fn to handle simple case. */
1384
1385 extern CGEN_CPU_DESC CGEN_SYM (cpu_open_1)
1386 (const char *mach_name_, enum cgen_endian endian_);
1387
1388 /* Close it. */
1389
1390 extern void CGEN_SYM (cpu_close) (CGEN_CPU_DESC);
1391
1392 /* Initialize the opcode table for use.
1393 Called by init_asm/init_dis. */
1394
1395 extern void CGEN_SYM (init_opcode_table) (CGEN_CPU_DESC cd_);
1396
1397 /* build the insn selection regex.
1398 called by init_opcode_table */
1399
1400 extern char * CGEN_SYM(build_insn_regex) (CGEN_INSN *insn_);
1401
1402 /* Initialize the ibld table for use.
1403 Called by init_asm/init_dis. */
1404
1405 extern void CGEN_SYM (init_ibld_table) (CGEN_CPU_DESC cd_);
1406
1407 /* Initialize an cpu table for assembler or disassembler use.
1408 These must be called immediately after cpu_open. */
1409
1410 extern void CGEN_SYM (init_asm) (CGEN_CPU_DESC);
1411 extern void CGEN_SYM (init_dis) (CGEN_CPU_DESC);
1412
1413 /* Initialize the operand instance table for use. */
1414
1415 extern void CGEN_SYM (init_opinst_table) (CGEN_CPU_DESC cd_);
1416
1417 /* Assemble an instruction. */
1418
1419 extern const CGEN_INSN * CGEN_SYM (assemble_insn)
1420 (CGEN_CPU_DESC, const char *, CGEN_FIELDS *,
1421 CGEN_INSN_BYTES_PTR, char **);
1422
1423 extern const CGEN_KEYWORD CGEN_SYM (operand_mach);
1424 extern int CGEN_SYM (get_mach) (const char *);
1425
1426 /* Operand index computation. */
1427 extern const CGEN_INSN * cgen_lookup_insn
1428 (CGEN_CPU_DESC, const CGEN_INSN * insn_,
1429 CGEN_INSN_INT int_value_, unsigned char *bytes_value_,
1430 int length_, CGEN_FIELDS *fields_, int alias_p_);
1431 extern void cgen_get_insn_operands
1432 (CGEN_CPU_DESC, const CGEN_INSN * insn_,
1433 const CGEN_FIELDS *fields_, int *indices_);
1434 extern const CGEN_INSN * cgen_lookup_get_insn_operands
1435 (CGEN_CPU_DESC, const CGEN_INSN *insn_,
1436 CGEN_INSN_INT int_value_, unsigned char *bytes_value_,
1437 int length_, int *indices_, CGEN_FIELDS *fields_);
1438
1439 /* Cover fns to bfd_get/set. */
1440
1441 extern CGEN_INSN_INT cgen_get_insn_value
1442 (CGEN_CPU_DESC, unsigned char *, int);
1443 extern void cgen_put_insn_value
1444 (CGEN_CPU_DESC, unsigned char *, int, CGEN_INSN_INT);
1445
1446 /* Read in a cpu description file.
1447 ??? For future concerns, including adding instructions to the assembler/
1448 disassembler at run-time. */
1449
1450 extern const char * cgen_read_cpu_file (CGEN_CPU_DESC, const char * filename_);
1451
1452 /* Allow signed overflow of instruction fields. */
1453 extern void cgen_set_signed_overflow_ok (CGEN_CPU_DESC);
1454
1455 /* Generate an error message if a signed field in an instruction overflows. */
1456 extern void cgen_clear_signed_overflow_ok (CGEN_CPU_DESC);
1457
1458 /* Will an error message be generated if a signed field in an instruction overflows ? */
1459 extern unsigned int cgen_signed_overflow_ok_p (CGEN_CPU_DESC);
1460
1461 #endif /* CGEN_H */
This page took 0.057816 seconds and 5 git commands to generate.