mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-21 04:42:53 +08:00
1d506c26d9
This commit is the result of the following actions:
- Running gdb/copyright.py to update all of the copyright headers to
include 2024,
- Manually updating a few files the copyright.py script told me to
update, these files had copyright headers embedded within the
file,
- Regenerating gdbsupport/Makefile.in to refresh it's copyright
date,
- Using grep to find other files that still mentioned 2023. If
these files were updated last year from 2022 to 2023 then I've
updated them this year to 2024.
I'm sure I've probably missed some dates. Feel free to fix them up as
you spot them.
711 lines
13 KiB
C
711 lines
13 KiB
C
/* The IGEN simulator generator for GDB, the GNU Debugger.
|
|
|
|
Copyright 2002-2024 Free Software Foundation, Inc.
|
|
|
|
Contributed by Andrew Cagney.
|
|
|
|
This file is part of GDB.
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef IGEN_LD_INSN_H
|
|
#define IGEN_LD_INSN_H
|
|
|
|
typedef uint64_t insn_uint;
|
|
|
|
|
|
/* Common among most entries:
|
|
|
|
All non instruction records have the format:
|
|
|
|
<...> ::=
|
|
":" <record-name>
|
|
":" <filter-flags>
|
|
":" <filter-models>
|
|
":" ...
|
|
|
|
*/
|
|
|
|
enum
|
|
{
|
|
record_type_field = 1,
|
|
old_record_type_field = 2,
|
|
record_filter_flags_field = 2,
|
|
record_filter_models_field = 3,
|
|
};
|
|
|
|
|
|
/* Include:
|
|
|
|
Include the specified file.
|
|
|
|
<include> ::=
|
|
":" "include"
|
|
":" <filter-flags>
|
|
":" <filter-models>
|
|
":" <filename>
|
|
<nl>
|
|
;
|
|
|
|
*/
|
|
|
|
enum
|
|
{
|
|
include_filename_field = 4,
|
|
nr_include_fields,
|
|
};
|
|
|
|
|
|
|
|
/* Options:
|
|
|
|
Valid options are: hi-bit-nr (default 0), insn-bit-size (default
|
|
32), insn-specifying-widths (default true), multi-sim (default false).
|
|
|
|
<option> ::=
|
|
":" "option"
|
|
":" <filter-flags>
|
|
":" <filter-models>
|
|
":" <option-name>
|
|
":" <option-value>
|
|
<nl>
|
|
;
|
|
|
|
<option-name> ::=
|
|
"insn-bit-size"
|
|
| "insn-specifying-widths"
|
|
| "hi-bit-nr"
|
|
| "flags-filter"
|
|
| "model-filter"
|
|
| "multi-sim"
|
|
| "format-names"
|
|
;
|
|
|
|
<option-value> ::=
|
|
"true"
|
|
| "false"
|
|
| <integer>
|
|
| <list>
|
|
;
|
|
|
|
|
|
These update the global options structure. */
|
|
|
|
|
|
enum
|
|
{
|
|
option_name_field = 4,
|
|
option_value_field,
|
|
nr_option_fields,
|
|
};
|
|
|
|
|
|
|
|
/* Macro definitions:
|
|
|
|
<insn-macro> ::=
|
|
":" "define"
|
|
":" <filter-flags>
|
|
":" <filter-models>
|
|
":" <name>
|
|
":" <arg-list>
|
|
":" <expression>
|
|
<nl>
|
|
;
|
|
|
|
<arg-list> ::=
|
|
[ <name> { "," <arg-list> } ]
|
|
;
|
|
|
|
*/
|
|
|
|
|
|
enum
|
|
{
|
|
macro_name_field = 4,
|
|
macro_args_field,
|
|
macro_expr_field,
|
|
nr_macro_fields,
|
|
};
|
|
|
|
|
|
|
|
/* Functions and internal routins:
|
|
|
|
NB: <filter-models> and <function-models> are equivalent.
|
|
|
|
|
|
<function> ::=
|
|
":" "function"
|
|
<function-spec>
|
|
;
|
|
|
|
<internal> ::=
|
|
":" "internal"
|
|
<function-spec>
|
|
;
|
|
|
|
<format> ::=
|
|
":" ( "%s" | ... )
|
|
<function-spec>
|
|
;
|
|
|
|
<function-model> ::=
|
|
"*" [ <processor-list> ]
|
|
":"
|
|
<nl>
|
|
;
|
|
|
|
<function-spec> ::=
|
|
":" <filter-flags>
|
|
":" <filter-models>
|
|
":" <typedef>
|
|
":" <name>
|
|
[ ":" <parameter-list> ]
|
|
<nl>
|
|
[ <function-model> ]
|
|
<code-block>
|
|
;
|
|
|
|
*/
|
|
|
|
enum
|
|
{
|
|
function_typedef_field = 4,
|
|
function_name_field,
|
|
function_param_field,
|
|
nr_function_fields,
|
|
};
|
|
|
|
enum
|
|
{
|
|
function_model_name_field = 0,
|
|
nr_function_model_fields = 1,
|
|
};
|
|
|
|
enum
|
|
{
|
|
old_function_typedef_field = 0,
|
|
old_function_type_field = 2,
|
|
old_function_name_field = 4,
|
|
old_function_param_field = 5,
|
|
nr_old_function_fields = 5, /* parameter-list is optional */
|
|
};
|
|
|
|
|
|
typedef struct _function_entry function_entry;
|
|
struct _function_entry
|
|
{
|
|
line_ref *line;
|
|
filter *flags;
|
|
filter *models;
|
|
char *type;
|
|
char *name;
|
|
char *param;
|
|
table_entry *code;
|
|
int is_internal;
|
|
function_entry *next;
|
|
};
|
|
|
|
|
|
typedef void function_entry_handler
|
|
(lf *file, const function_entry *function, void *data);
|
|
|
|
extern void function_entry_traverse
|
|
(lf *file,
|
|
const function_entry *functions,
|
|
function_entry_handler * handler, void *data);
|
|
|
|
|
|
/* cache-macro:
|
|
|
|
<cache-macro> ::=
|
|
":" <macro-type>
|
|
":" <filter-flags>
|
|
":" <filter-models>
|
|
":" <typedef>
|
|
":" <name>
|
|
":" <field-name> { "," <field-name> }
|
|
":" <expression>
|
|
<nl>
|
|
;
|
|
|
|
<cache-macro-type> ::=
|
|
"scratch"
|
|
| "cache"
|
|
| "compute"
|
|
;
|
|
|
|
<name> ::=
|
|
<ident>
|
|
| <ident> "_is_" <integer>
|
|
;
|
|
|
|
A cache entry is defined (for an instruction) when all
|
|
<field-name>s are present as named opcode fields within the
|
|
instructions format.
|
|
|
|
SCRATCH and CACHE macros are defined during the cache fill stage
|
|
while CACHE and COMPUTE macros are defined during the instruction
|
|
execution stage.
|
|
|
|
*/
|
|
|
|
enum
|
|
{
|
|
cache_typedef_field = 4,
|
|
cache_name_field,
|
|
cache_original_fields_field,
|
|
cache_expression_field,
|
|
nr_cache_fields,
|
|
};
|
|
|
|
typedef enum
|
|
{
|
|
scratch_value,
|
|
cache_value,
|
|
compute_value,
|
|
}
|
|
cache_entry_type;
|
|
|
|
typedef struct _cache_entry cache_entry;
|
|
struct _cache_entry
|
|
{
|
|
line_ref *line;
|
|
filter *flags;
|
|
filter *models;
|
|
cache_entry_type entry_type;
|
|
char *name;
|
|
filter *original_fields;
|
|
char *type;
|
|
char *expression;
|
|
cache_entry *next;
|
|
};
|
|
|
|
|
|
|
|
/* Model specs:
|
|
|
|
<model-processor> ::=
|
|
":" "model"
|
|
":" <filter-flags>
|
|
":" <filter-models>
|
|
":" <processor>
|
|
":" <BFD-processor>
|
|
":" <function-unit-data>
|
|
<nl>
|
|
;
|
|
|
|
<model-macro> ::=
|
|
":" "model-macro"
|
|
":" <filter-flags>
|
|
":" <filter-models>
|
|
<nl>
|
|
<code-block>
|
|
;
|
|
|
|
<model-data> ::=
|
|
":" "model-data"
|
|
":" <filter-flags>
|
|
":" <filter-models>
|
|
<nl>
|
|
<code-block>
|
|
;
|
|
|
|
<model-static> ::=
|
|
":" "model-static"
|
|
<function-spec>
|
|
;
|
|
|
|
<model-internal> ::=
|
|
":" "model-internal"
|
|
<function-spec>
|
|
;
|
|
|
|
<model-function> ::=
|
|
":" "model-internal"
|
|
<function-spec>
|
|
;
|
|
|
|
*/
|
|
|
|
enum
|
|
{
|
|
nr_model_macro_fields = 4,
|
|
nr_model_data_fields = 4,
|
|
nr_model_static_fields = nr_function_fields,
|
|
nr_model_internal_fields = nr_function_fields,
|
|
nr_model_function_fields = nr_function_fields,
|
|
};
|
|
|
|
typedef struct _model_data model_data;
|
|
struct _model_data
|
|
{
|
|
line_ref *line;
|
|
filter *flags;
|
|
table_entry *entry;
|
|
table_entry *code;
|
|
model_data *next;
|
|
};
|
|
|
|
enum
|
|
{
|
|
model_name_field = 4,
|
|
model_full_name_field,
|
|
model_unit_data_field,
|
|
nr_model_processor_fields,
|
|
};
|
|
|
|
typedef struct _model_entry model_entry;
|
|
struct _model_entry
|
|
{
|
|
line_ref *line;
|
|
filter *flags;
|
|
char *name;
|
|
char *full_name;
|
|
char *unit_data;
|
|
model_entry *next;
|
|
};
|
|
|
|
|
|
typedef struct _model_table model_table;
|
|
struct _model_table
|
|
{
|
|
filter *processors;
|
|
int nr_models;
|
|
model_entry *models;
|
|
model_data *macros;
|
|
model_data *data;
|
|
function_entry *statics;
|
|
function_entry *internals;
|
|
function_entry *functions;
|
|
};
|
|
|
|
|
|
|
|
/* Instruction format:
|
|
|
|
An instruction is composed of a sequence of N bit instruction
|
|
words. Each word broken into a number of instruction fields.
|
|
Those fields being constant (ex. an opcode) or variable (register
|
|
spec).
|
|
|
|
<insn-word> ::=
|
|
<insn-field> { "," <insn-field> } ;
|
|
|
|
<insn-field> ::=
|
|
( <binary-value-implying-width>
|
|
| <field-name-implying-width>
|
|
| [ <start-or-width> "." ] <field>
|
|
)
|
|
{ [ "!" | "=" ] [ <value> | <field-name> ] }
|
|
;
|
|
|
|
<field> ::=
|
|
{ "*" }+
|
|
| { "/" }+
|
|
| <field-name>
|
|
| "0x" <hex-value>
|
|
| "0b" <binary-value>
|
|
| "0" <octal-value>
|
|
| <integer-value> ;
|
|
|
|
*/
|
|
|
|
typedef enum _insn_field_cond_type
|
|
{
|
|
insn_field_cond_value,
|
|
insn_field_cond_field,
|
|
}
|
|
insn_field_cond_type;
|
|
typedef enum _insn_field_cond_test
|
|
{
|
|
insn_field_cond_eq,
|
|
insn_field_cond_ne,
|
|
}
|
|
insn_field_cond_test;
|
|
typedef struct _insn_field_cond insn_field_cond;
|
|
struct _insn_field_cond
|
|
{
|
|
insn_field_cond_type type;
|
|
insn_field_cond_test test;
|
|
insn_uint value;
|
|
struct _insn_field_entry *field;
|
|
char *string;
|
|
insn_field_cond *next;
|
|
};
|
|
|
|
|
|
typedef enum _insn_field_type
|
|
{
|
|
insn_field_invalid,
|
|
insn_field_int,
|
|
insn_field_reserved,
|
|
insn_field_wild,
|
|
insn_field_string,
|
|
}
|
|
insn_field_type;
|
|
|
|
typedef struct _insn_field_entry insn_field_entry;
|
|
struct _insn_field_entry
|
|
{
|
|
int first;
|
|
int last;
|
|
int width;
|
|
int word_nr;
|
|
insn_field_type type;
|
|
insn_uint val_int;
|
|
char *pos_string;
|
|
char *val_string;
|
|
insn_field_cond *conditions;
|
|
insn_field_entry *next;
|
|
insn_field_entry *prev;
|
|
};
|
|
|
|
typedef struct _insn_bit_entry insn_bit_entry;
|
|
struct _insn_bit_entry
|
|
{
|
|
int value;
|
|
int mask;
|
|
insn_field_entry *field;
|
|
};
|
|
|
|
|
|
|
|
|
|
typedef struct _insn_entry insn_entry; /* forward */
|
|
|
|
typedef struct _insn_word_entry insn_word_entry;
|
|
struct _insn_word_entry
|
|
{
|
|
/* list of sub-fields making up the instruction. bit provides
|
|
faster access to the field data for bit N. */
|
|
insn_field_entry *first;
|
|
insn_field_entry *last;
|
|
insn_bit_entry *bit[max_insn_bit_size];
|
|
/* set of all the string fields */
|
|
filter *field_names;
|
|
/* For multi-word instructions, The Nth word (from zero). */
|
|
insn_word_entry *next;
|
|
};
|
|
|
|
|
|
|
|
/* Instruction model:
|
|
|
|
Provides scheduling and other data for the code modeling the
|
|
instruction unit.
|
|
|
|
<insn-model> ::=
|
|
"*" [ <processor-list> ]
|
|
":" [ <function-unit-data> ]
|
|
<nl>
|
|
;
|
|
|
|
<processor-list> ::=
|
|
<processor> { "," <processor>" }
|
|
;
|
|
|
|
If the <processor-list> is empty, the model is made the default for
|
|
this instruction.
|
|
|
|
*/
|
|
|
|
enum
|
|
{
|
|
insn_model_name_field = 0,
|
|
insn_model_unit_data_field = 1,
|
|
nr_insn_model_fields = 1,
|
|
};
|
|
|
|
typedef struct _insn_model_entry insn_model_entry;
|
|
struct _insn_model_entry
|
|
{
|
|
line_ref *line;
|
|
insn_entry *insn;
|
|
filter *names;
|
|
char *full_name;
|
|
char *unit_data;
|
|
insn_model_entry *next;
|
|
};
|
|
|
|
|
|
|
|
/* Instruction mnemonic:
|
|
|
|
List of assembler mnemonics for the instruction.
|
|
|
|
<insn-mnenonic> ::=
|
|
"\"" <assembler-mnemonic> "\""
|
|
[ ":" <conditional-expression> ]
|
|
<nl>
|
|
;
|
|
|
|
An assembler mnemonic string has the syntax:
|
|
|
|
<assembler-mnemonic> ::=
|
|
( [ "%" <format-spec> ] "<" <func> [ "#" <param-list> ] ">"
|
|
| "%%"
|
|
| <other-letter>
|
|
)+
|
|
|
|
Where, for instance, the text is translated into a printf format
|
|
and argument pair:
|
|
|
|
"<FUNC>" : "%ld", (long) FUNC
|
|
"%<FUNC>..." : "%...", FUNC
|
|
"%s<FUNC>" : "%s", <%s>FUNC (SD_, FUNC)
|
|
"%s<FUNC#P1,P2>" : "%s", <%s>FUNC (SD_, P1,P2)
|
|
"%lx<FUNC>" : "%lx", (unsigned long) FUNC
|
|
"%08lx<FUNC>" : "%08lx", (unsigned long) FUNC
|
|
|
|
And "<%s>FUNC" denotes a function declared using the "%s" record
|
|
specifier.
|
|
|
|
|
|
|
|
;
|
|
|
|
*/
|
|
|
|
enum
|
|
{
|
|
insn_mnemonic_format_field = 0,
|
|
insn_mnemonic_condition_field = 1,
|
|
nr_insn_mnemonic_fields = 1,
|
|
};
|
|
|
|
typedef struct _insn_mnemonic_entry insn_mnemonic_entry;
|
|
struct _insn_mnemonic_entry
|
|
{
|
|
line_ref *line;
|
|
insn_entry *insn;
|
|
char *format;
|
|
char *condition;
|
|
insn_mnemonic_entry *next;
|
|
};
|
|
|
|
|
|
|
|
/* Instruction:
|
|
|
|
<insn> ::=
|
|
<insn-word> { "+" <insn-word> }
|
|
":" <format-name>
|
|
":" <filter-flags>
|
|
":" <options>
|
|
":" <name>
|
|
<nl>
|
|
{ <insn-model> }
|
|
{ <insn-mnemonic> }
|
|
<code-block>
|
|
|
|
*/
|
|
|
|
enum
|
|
{
|
|
insn_word_field = 0,
|
|
insn_format_name_field = 1,
|
|
insn_filter_flags_field = 2,
|
|
insn_options_field = 3,
|
|
insn_name_field = 4,
|
|
nr_insn_fields = 5,
|
|
};
|
|
|
|
|
|
/* typedef struct _insn_entry insn_entry; */
|
|
struct _insn_entry
|
|
{
|
|
line_ref *line;
|
|
filter *flags; /* filtered by options.filters */
|
|
char *format_name;
|
|
filter *options;
|
|
char *name;
|
|
/* the words that make up the instruction. Word provides direct
|
|
access to word N. Pseudo instructions can be identified by
|
|
nr_words == 0. */
|
|
int nr_words;
|
|
insn_word_entry *words;
|
|
insn_word_entry **word;
|
|
/* a set of all the fields from all the words */
|
|
filter *field_names;
|
|
/* an array of processor models, missing models are NULL! */
|
|
int nr_models;
|
|
insn_model_entry *models;
|
|
insn_model_entry **model;
|
|
filter *processors;
|
|
/* list of assember formats */
|
|
int nr_mnemonics;
|
|
insn_mnemonic_entry *mnemonics;
|
|
/* code body */
|
|
table_entry *code;
|
|
insn_entry *next;
|
|
};
|
|
|
|
|
|
/* Instruction table:
|
|
|
|
*/
|
|
|
|
typedef struct _insn_table insn_table;
|
|
struct _insn_table
|
|
{
|
|
cache_entry *caches;
|
|
int max_nr_words;
|
|
int nr_insns;
|
|
insn_entry *insns;
|
|
function_entry *functions;
|
|
insn_entry *illegal_insn;
|
|
model_table *model;
|
|
filter *options;
|
|
filter *flags;
|
|
};
|
|
|
|
extern insn_table *load_insn_table (const char *file_name, cache_entry *cache);
|
|
|
|
typedef void insn_entry_handler
|
|
(lf *file, const insn_table *isa, const insn_entry *insn, void *data);
|
|
|
|
extern void insn_table_traverse_insn
|
|
(lf *file, const insn_table *isa, insn_entry_handler *handler, void *data);
|
|
|
|
|
|
|
|
/* Printing */
|
|
|
|
extern void print_insn_words (lf *file, const insn_entry *insn);
|
|
|
|
|
|
|
|
/* Debugging */
|
|
|
|
void dump_insn_field
|
|
(lf *file, const char *prefix, const insn_field_entry *field,
|
|
const char *suffix);
|
|
|
|
void dump_insn_word_entry
|
|
(lf *file, const char *prefix, const insn_word_entry *word,
|
|
const char *suffix);
|
|
|
|
void dump_insn_entry
|
|
(lf *file, const char *prefix, const insn_entry *insn, const char *suffix);
|
|
|
|
void dump_cache_entries
|
|
(lf *file, const char *prefix, const cache_entry *entry, const char *suffix);
|
|
|
|
void dump_insn_table
|
|
(lf *file, const char *prefix, const insn_table *isa, const char *suffix);
|
|
|
|
#endif /* IGEN_LD_INSN_H */
|