860 lines
23 KiB
C
860 lines
23 KiB
C
|
/* This file is part of the program psim.
|
||
|
|
|
||
|
|
Copyright (C) 1994-1998, Andrew Cagney <cagney@highland.com.au>
|
||
|
|
|
||
|
|
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 2 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, write to the Free Software
|
||
|
|
Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
|
||
|
|
|
||
|
|
*/
|
||
|
|
|
||
|
|
|
||
|
|
#include "misc.h"
|
||
|
|
#include "lf.h"
|
||
|
|
#include "table.h"
|
||
|
|
#include "filter.h"
|
||
|
|
#include "igen.h"
|
||
|
|
|
||
|
|
#include "ld-insn.h"
|
||
|
|
#include "ld-decode.h"
|
||
|
|
|
||
|
|
#include "gen.h"
|
||
|
|
|
||
|
|
#include "gen-semantics.h"
|
||
|
|
#include "gen-idecode.h"
|
||
|
|
#include "gen-icache.h"
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
static void
|
||
|
|
print_icache_function_header (lf *file,
|
||
|
|
const char *basename,
|
||
|
|
const char *format_name,
|
||
|
|
opcode_bits *expanded_bits,
|
||
|
|
int is_function_definition,
|
||
|
|
int nr_prefetched_words)
|
||
|
|
{
|
||
|
|
lf_printf(file, "\n");
|
||
|
|
lf_print__function_type_function (file, print_icache_function_type,
|
||
|
|
"EXTERN_ICACHE", " ");
|
||
|
|
print_function_name (file,
|
||
|
|
basename, format_name, NULL,
|
||
|
|
expanded_bits,
|
||
|
|
function_name_prefix_icache);
|
||
|
|
lf_printf (file, "\n(");
|
||
|
|
print_icache_function_formal (file, nr_prefetched_words);
|
||
|
|
lf_printf (file, ")");
|
||
|
|
if (!is_function_definition)
|
||
|
|
lf_printf (file, ";");
|
||
|
|
lf_printf (file, "\n");
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
void
|
||
|
|
print_icache_declaration (lf *file,
|
||
|
|
insn_entry *insn,
|
||
|
|
opcode_bits *expanded_bits,
|
||
|
|
insn_opcodes *opcodes,
|
||
|
|
int nr_prefetched_words)
|
||
|
|
{
|
||
|
|
print_icache_function_header (file,
|
||
|
|
insn->name,
|
||
|
|
insn->format_name,
|
||
|
|
expanded_bits,
|
||
|
|
0/* is not function definition */,
|
||
|
|
nr_prefetched_words);
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
static void
|
||
|
|
print_icache_extraction (lf *file,
|
||
|
|
const char *format_name,
|
||
|
|
cache_entry_type cache_type,
|
||
|
|
const char *entry_name,
|
||
|
|
const char *entry_type,
|
||
|
|
const char *entry_expression,
|
||
|
|
char *single_insn_field,
|
||
|
|
line_ref *line,
|
||
|
|
insn_field_entry *cur_field,
|
||
|
|
opcode_bits *expanded_bits,
|
||
|
|
icache_decl_type what_to_declare,
|
||
|
|
icache_body_type what_to_do)
|
||
|
|
{
|
||
|
|
const char *expression;
|
||
|
|
opcode_bits *bits;
|
||
|
|
char *reason;
|
||
|
|
ASSERT (format_name != NULL);
|
||
|
|
ASSERT (entry_name != NULL);
|
||
|
|
|
||
|
|
/* figure out exactly what should be going on here */
|
||
|
|
switch (cache_type)
|
||
|
|
{
|
||
|
|
case scratch_value:
|
||
|
|
if ((what_to_do & put_values_in_icache)
|
||
|
|
|| what_to_do == do_not_use_icache)
|
||
|
|
{
|
||
|
|
reason = "scratch";
|
||
|
|
what_to_do = do_not_use_icache;
|
||
|
|
}
|
||
|
|
else
|
||
|
|
return;
|
||
|
|
break;
|
||
|
|
case compute_value:
|
||
|
|
if ((what_to_do & get_values_from_icache)
|
||
|
|
|| what_to_do == do_not_use_icache)
|
||
|
|
{
|
||
|
|
reason = "compute";
|
||
|
|
what_to_do = do_not_use_icache;
|
||
|
|
}
|
||
|
|
else
|
||
|
|
return;
|
||
|
|
break;
|
||
|
|
case cache_value:
|
||
|
|
if ((what_to_declare != undef_variables)
|
||
|
|
|| !(what_to_do & put_values_in_icache))
|
||
|
|
{
|
||
|
|
reason = "cache";
|
||
|
|
what_to_declare = ((what_to_do & put_values_in_icache)
|
||
|
|
? declare_variables
|
||
|
|
: what_to_declare);
|
||
|
|
}
|
||
|
|
else
|
||
|
|
return;
|
||
|
|
break;
|
||
|
|
}
|
||
|
|
|
||
|
|
/* For the type, default to a simple unsigned */
|
||
|
|
if (entry_type == NULL || strlen (entry_type) == 0)
|
||
|
|
entry_type = "unsigned";
|
||
|
|
|
||
|
|
/* look through the set of expanded sub fields to see if this field
|
||
|
|
has been given a constant value */
|
||
|
|
for (bits = expanded_bits;
|
||
|
|
bits != NULL;
|
||
|
|
bits = bits->next)
|
||
|
|
{
|
||
|
|
if (bits->field == cur_field)
|
||
|
|
break;
|
||
|
|
}
|
||
|
|
|
||
|
|
/* Define a storage area for the cache element */
|
||
|
|
switch (what_to_declare)
|
||
|
|
{
|
||
|
|
case undef_variables:
|
||
|
|
/* We've finished with the #define value - destory it */
|
||
|
|
lf_indent_suppress (file);
|
||
|
|
lf_printf (file, "#undef %s\n", entry_name);
|
||
|
|
return;
|
||
|
|
case define_variables:
|
||
|
|
/* Using direct access for this entry, clear any prior
|
||
|
|
definition, then define it */
|
||
|
|
lf_indent_suppress (file);
|
||
|
|
lf_printf (file, "#undef %s\n", entry_name);
|
||
|
|
/* Don't type cast pointer types! */
|
||
|
|
lf_indent_suppress (file);
|
||
|
|
if (strchr (entry_type, '*') != NULL)
|
||
|
|
lf_printf (file, "#define %s (", entry_name);
|
||
|
|
else
|
||
|
|
lf_printf (file, "#define %s ((%s) ", entry_name, entry_type);
|
||
|
|
break;
|
||
|
|
case declare_variables:
|
||
|
|
/* using variables to define the value */
|
||
|
|
if (line != NULL)
|
||
|
|
lf_print__line_ref (file, line);
|
||
|
|
lf_printf (file, "%s const %s UNUSED = ", entry_type, entry_name);
|
||
|
|
break;
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
/* define a value for that storage area as determined by what is in
|
||
|
|
the cache */
|
||
|
|
if (bits != NULL
|
||
|
|
&& single_insn_field != NULL
|
||
|
|
&& strcmp (entry_name, single_insn_field) == 0
|
||
|
|
&& strcmp (entry_name, cur_field->val_string) == 0
|
||
|
|
&& ((bits->opcode->is_boolean && bits->value == 0)
|
||
|
|
|| (!bits->opcode->is_boolean)))
|
||
|
|
{
|
||
|
|
/* The cache rule is specifying what to do with a simple
|
||
|
|
instruction field.
|
||
|
|
|
||
|
|
Because of instruction expansion, the field is either a
|
||
|
|
constant value or equal to the specified constant (boolean
|
||
|
|
comparison). (The latter indicated by bits->value == 0).
|
||
|
|
|
||
|
|
The case of a field not being equal to the specified boolean
|
||
|
|
value is handled later. */
|
||
|
|
expression = "constant field";
|
||
|
|
ASSERT (bits->field == cur_field);
|
||
|
|
if (bits->opcode->is_boolean)
|
||
|
|
{
|
||
|
|
ASSERT (bits->value == 0);
|
||
|
|
lf_printf (file, "%d", bits->opcode->boolean_constant);
|
||
|
|
}
|
||
|
|
else if (bits->opcode->last < bits->field->last)
|
||
|
|
{
|
||
|
|
lf_printf (file, "%d",
|
||
|
|
bits->value << (bits->field->last - bits->opcode->last));
|
||
|
|
}
|
||
|
|
else
|
||
|
|
{
|
||
|
|
lf_printf (file, "%d", bits->value);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
else if (bits != NULL
|
||
|
|
&& single_insn_field != NULL
|
||
|
|
&& strncmp (entry_name,
|
||
|
|
single_insn_field,
|
||
|
|
strlen (single_insn_field)) == 0
|
||
|
|
&& strncmp (entry_name + strlen (single_insn_field),
|
||
|
|
"_is_",
|
||
|
|
strlen ("_is_")) == 0
|
||
|
|
&& ((bits->opcode->is_boolean
|
||
|
|
&& ((unsigned) atol (entry_name + strlen (single_insn_field) + strlen ("_is_"))
|
||
|
|
== bits->opcode->boolean_constant))
|
||
|
|
|| (!bits->opcode->is_boolean)))
|
||
|
|
{
|
||
|
|
/* The cache rule defines an entry for the comparison between a
|
||
|
|
single instruction field and a constant. The value of the
|
||
|
|
comparison in someway matches that of the opcode field that
|
||
|
|
was made constant through expansion. */
|
||
|
|
expression = "constant compare";
|
||
|
|
if (bits->opcode->is_boolean)
|
||
|
|
{
|
||
|
|
lf_printf (file, "%d /* %s == %d */",
|
||
|
|
bits->value == 0,
|
||
|
|
single_insn_field,
|
||
|
|
bits->opcode->boolean_constant);
|
||
|
|
}
|
||
|
|
else if (bits->opcode->last < bits->field->last)
|
||
|
|
{
|
||
|
|
lf_printf (file, "%d /* %s == %d */",
|
||
|
|
(atol (entry_name + strlen (single_insn_field) + strlen ("_is_"))
|
||
|
|
== (bits->value << (bits->field->last - bits->opcode->last))),
|
||
|
|
single_insn_field,
|
||
|
|
(bits->value << (bits->field->last - bits->opcode->last)));
|
||
|
|
}
|
||
|
|
else
|
||
|
|
{
|
||
|
|
lf_printf (file, "%d /* %s == %d */",
|
||
|
|
(atol (entry_name + strlen (single_insn_field) + strlen ("_is_"))
|
||
|
|
== bits->value),
|
||
|
|
single_insn_field,
|
||
|
|
bits->value);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
else
|
||
|
|
{
|
||
|
|
/* put the field in the local variable, possibly also enter it
|
||
|
|
into the cache */
|
||
|
|
expression = "extraction";
|
||
|
|
/* handle the cache */
|
||
|
|
if ((what_to_do & get_values_from_icache)
|
||
|
|
|| (what_to_do & put_values_in_icache))
|
||
|
|
{
|
||
|
|
lf_printf (file, "cache_entry->crack.%s.%s",
|
||
|
|
format_name,
|
||
|
|
entry_name);
|
||
|
|
if (what_to_do & put_values_in_icache) /* also put it in the cache? */
|
||
|
|
{
|
||
|
|
lf_printf (file, " = ");
|
||
|
|
}
|
||
|
|
}
|
||
|
|
if ((what_to_do & put_values_in_icache)
|
||
|
|
|| what_to_do == do_not_use_icache)
|
||
|
|
{
|
||
|
|
if (cur_field != NULL)
|
||
|
|
{
|
||
|
|
if (entry_expression != NULL && strlen (entry_expression) > 0)
|
||
|
|
error (line, "Instruction field entry with nonempty expression\n");
|
||
|
|
if (cur_field->first == 0 && cur_field->last == options.insn_bit_size - 1)
|
||
|
|
lf_printf (file, "(instruction_%d)",
|
||
|
|
cur_field->word_nr);
|
||
|
|
else if (cur_field->last == options.insn_bit_size - 1)
|
||
|
|
lf_printf (file, "MASKED%d (instruction_%d, %d, %d)",
|
||
|
|
options.insn_bit_size,
|
||
|
|
cur_field->word_nr,
|
||
|
|
i2target (options.hi_bit_nr, cur_field->first),
|
||
|
|
i2target (options.hi_bit_nr, cur_field->last));
|
||
|
|
else
|
||
|
|
lf_printf (file, "EXTRACTED%d (instruction_%d, %d, %d)",
|
||
|
|
options.insn_bit_size,
|
||
|
|
cur_field->word_nr,
|
||
|
|
i2target (options.hi_bit_nr, cur_field->first),
|
||
|
|
i2target (options.hi_bit_nr, cur_field->last));
|
||
|
|
}
|
||
|
|
else
|
||
|
|
{
|
||
|
|
lf_printf (file, "%s", entry_expression);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
switch (what_to_declare)
|
||
|
|
{
|
||
|
|
case define_variables:
|
||
|
|
lf_printf (file, ")");
|
||
|
|
break;
|
||
|
|
case undef_variables:
|
||
|
|
break;
|
||
|
|
case declare_variables:
|
||
|
|
lf_printf (file, ";");
|
||
|
|
break;
|
||
|
|
}
|
||
|
|
|
||
|
|
ASSERT (reason != NULL && expression != NULL);
|
||
|
|
lf_printf (file, " /* %s - %s */\n", reason, expression);
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
void
|
||
|
|
print_icache_body (lf *file,
|
||
|
|
insn_entry *instruction,
|
||
|
|
opcode_bits *expanded_bits,
|
||
|
|
cache_entry *cache_rules,
|
||
|
|
icache_decl_type what_to_declare,
|
||
|
|
icache_body_type what_to_do,
|
||
|
|
int nr_prefetched_words)
|
||
|
|
{
|
||
|
|
/* extract instruction fields */
|
||
|
|
lf_printf (file, "/* Extraction: %s\n", instruction->name);
|
||
|
|
lf_printf (file, " ");
|
||
|
|
switch (what_to_declare)
|
||
|
|
{
|
||
|
|
case define_variables:
|
||
|
|
lf_printf (file, "#define");
|
||
|
|
break;
|
||
|
|
case declare_variables:
|
||
|
|
lf_printf (file, "declare");
|
||
|
|
break;
|
||
|
|
case undef_variables:
|
||
|
|
lf_printf (file, "#undef");
|
||
|
|
break;
|
||
|
|
}
|
||
|
|
lf_printf (file, " ");
|
||
|
|
switch (what_to_do)
|
||
|
|
{
|
||
|
|
case get_values_from_icache:
|
||
|
|
lf_printf (file, "get-values-from-icache");
|
||
|
|
break;
|
||
|
|
case put_values_in_icache:
|
||
|
|
lf_printf (file, "put-values-in-icache");
|
||
|
|
break;
|
||
|
|
case both_values_and_icache:
|
||
|
|
lf_printf (file, "get-values-from-icache|put-values-in-icache");
|
||
|
|
break;
|
||
|
|
case do_not_use_icache:
|
||
|
|
lf_printf (file, "do-not-use-icache");
|
||
|
|
break;
|
||
|
|
}
|
||
|
|
lf_printf (file, "\n ");
|
||
|
|
print_insn_words (file, instruction);
|
||
|
|
lf_printf(file, " */\n");
|
||
|
|
|
||
|
|
/* pass zero - fetch from memory any missing instructions.
|
||
|
|
|
||
|
|
Some of the instructions will have already been fetched (in the
|
||
|
|
instruction array), others will still need fetching. */
|
||
|
|
switch (what_to_do)
|
||
|
|
{
|
||
|
|
case get_values_from_icache:
|
||
|
|
break;
|
||
|
|
case put_values_in_icache:
|
||
|
|
case both_values_and_icache:
|
||
|
|
case do_not_use_icache:
|
||
|
|
{
|
||
|
|
int word_nr;
|
||
|
|
switch (what_to_declare)
|
||
|
|
{
|
||
|
|
case undef_variables:
|
||
|
|
break;
|
||
|
|
case define_variables:
|
||
|
|
case declare_variables:
|
||
|
|
for (word_nr = nr_prefetched_words;
|
||
|
|
word_nr < instruction->nr_words;
|
||
|
|
word_nr++)
|
||
|
|
{
|
||
|
|
/* FIXME - should be using print_icache_extraction? */
|
||
|
|
lf_printf (file, "%sinstruction_word instruction_%d UNUSED = ",
|
||
|
|
options.module.global.prefix.l,
|
||
|
|
word_nr);
|
||
|
|
lf_printf (file, "IMEM%d_IMMED (cia, %d)",
|
||
|
|
options.insn_bit_size, word_nr);
|
||
|
|
lf_printf (file, ";\n");
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
/* if putting the instruction words in the cache, define references
|
||
|
|
for them */
|
||
|
|
if (options.gen.insn_in_icache) {
|
||
|
|
/* FIXME: is the instruction_word type correct? */
|
||
|
|
print_icache_extraction (file,
|
||
|
|
instruction->format_name,
|
||
|
|
cache_value,
|
||
|
|
"insn", /* name */
|
||
|
|
"instruction_word", /* type */
|
||
|
|
"instruction", /* expression */
|
||
|
|
NULL, /* origin */
|
||
|
|
NULL, /* line */
|
||
|
|
NULL, NULL,
|
||
|
|
what_to_declare,
|
||
|
|
what_to_do);
|
||
|
|
}
|
||
|
|
lf_printf(file, "\n");
|
||
|
|
|
||
|
|
/* pass one - process instruction fields.
|
||
|
|
|
||
|
|
If there is no cache rule, the default is to enter the field into
|
||
|
|
the cache */
|
||
|
|
{
|
||
|
|
insn_word_entry *word;
|
||
|
|
for (word = instruction->words;
|
||
|
|
word != NULL;
|
||
|
|
word = word->next)
|
||
|
|
{
|
||
|
|
insn_field_entry *cur_field;
|
||
|
|
for (cur_field = word->first;
|
||
|
|
cur_field->first < options.insn_bit_size;
|
||
|
|
cur_field = cur_field->next)
|
||
|
|
{
|
||
|
|
if (cur_field->type == insn_field_string)
|
||
|
|
{
|
||
|
|
cache_entry *cache_rule;
|
||
|
|
cache_entry_type value_type = cache_value;
|
||
|
|
line_ref *value_line = instruction->line;
|
||
|
|
/* check the cache table to see if it contains a rule
|
||
|
|
overriding the default cache action for an
|
||
|
|
instruction field */
|
||
|
|
for (cache_rule = cache_rules;
|
||
|
|
cache_rule != NULL;
|
||
|
|
cache_rule = cache_rule->next)
|
||
|
|
{
|
||
|
|
if (filter_is_subset (instruction->field_names,
|
||
|
|
cache_rule->original_fields)
|
||
|
|
&& strcmp (cache_rule->name, cur_field->val_string) == 0)
|
||
|
|
{
|
||
|
|
value_type = cache_rule->entry_type;
|
||
|
|
value_line = cache_rule->line;
|
||
|
|
if (value_type == compute_value)
|
||
|
|
{
|
||
|
|
options.warning (cache_rule->line,
|
||
|
|
"instruction field of type `compute' changed to `cache'\n");
|
||
|
|
cache_rule->entry_type = cache_value;
|
||
|
|
}
|
||
|
|
break;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
/* Define an entry for the field within the
|
||
|
|
instruction */
|
||
|
|
print_icache_extraction (file,
|
||
|
|
instruction->format_name,
|
||
|
|
value_type,
|
||
|
|
cur_field->val_string, /* name */
|
||
|
|
NULL, /* type */
|
||
|
|
NULL, /* expression */
|
||
|
|
cur_field->val_string, /* insn field */
|
||
|
|
value_line,
|
||
|
|
cur_field,
|
||
|
|
expanded_bits,
|
||
|
|
what_to_declare,
|
||
|
|
what_to_do);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
/* pass two - any cache fields not processed above */
|
||
|
|
{
|
||
|
|
cache_entry *cache_rule;
|
||
|
|
for (cache_rule = cache_rules;
|
||
|
|
cache_rule != NULL;
|
||
|
|
cache_rule = cache_rule->next)
|
||
|
|
{
|
||
|
|
if (filter_is_subset (instruction->field_names,
|
||
|
|
cache_rule->original_fields)
|
||
|
|
&& !filter_is_member (instruction->field_names,
|
||
|
|
cache_rule->name))
|
||
|
|
{
|
||
|
|
char *single_field = filter_next (cache_rule->original_fields, "");
|
||
|
|
if (filter_next (cache_rule->original_fields, single_field) != NULL)
|
||
|
|
single_field = NULL;
|
||
|
|
print_icache_extraction (file,
|
||
|
|
instruction->format_name,
|
||
|
|
cache_rule->entry_type,
|
||
|
|
cache_rule->name,
|
||
|
|
cache_rule->type,
|
||
|
|
cache_rule->expression,
|
||
|
|
single_field,
|
||
|
|
cache_rule->line,
|
||
|
|
NULL, /* cur_field */
|
||
|
|
expanded_bits,
|
||
|
|
what_to_declare,
|
||
|
|
what_to_do);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
lf_print__internal_ref (file);
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
typedef struct _form_fields form_fields;
|
||
|
|
struct _form_fields {
|
||
|
|
char *name;
|
||
|
|
filter *fields;
|
||
|
|
form_fields *next;
|
||
|
|
};
|
||
|
|
|
||
|
|
static form_fields *
|
||
|
|
insn_table_cache_fields (insn_table *isa)
|
||
|
|
{
|
||
|
|
form_fields *forms = NULL;
|
||
|
|
insn_entry *insn;
|
||
|
|
for (insn = isa->insns;
|
||
|
|
insn != NULL;
|
||
|
|
insn = insn->next) {
|
||
|
|
form_fields **form = &forms;
|
||
|
|
while (1)
|
||
|
|
{
|
||
|
|
if (*form == NULL)
|
||
|
|
{
|
||
|
|
/* new format name, add it */
|
||
|
|
form_fields *new_form = ZALLOC (form_fields);
|
||
|
|
new_form->name = insn->format_name;
|
||
|
|
filter_add (&new_form->fields, insn->field_names);
|
||
|
|
*form = new_form;
|
||
|
|
break;
|
||
|
|
}
|
||
|
|
else if (strcmp ((*form)->name, insn->format_name) == 0)
|
||
|
|
{
|
||
|
|
/* already present, add field names to the existing list */
|
||
|
|
filter_add (&(*form)->fields, insn->field_names);
|
||
|
|
break;
|
||
|
|
}
|
||
|
|
form = &(*form)->next;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
return forms;
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
extern void
|
||
|
|
print_icache_struct (lf *file,
|
||
|
|
insn_table *isa,
|
||
|
|
cache_entry *cache_rules)
|
||
|
|
{
|
||
|
|
/* Create a list of all the different instruction formats with their
|
||
|
|
corresponding field names. */
|
||
|
|
form_fields *formats = insn_table_cache_fields (isa);
|
||
|
|
|
||
|
|
lf_printf (file, "\n");
|
||
|
|
lf_printf (file, "#define WITH_%sIDECODE_CACHE_SIZE %d\n",
|
||
|
|
options.module.global.prefix.u,
|
||
|
|
(options.gen.icache ? options.gen.icache_size : 0));
|
||
|
|
lf_printf (file, "\n");
|
||
|
|
|
||
|
|
/* create an instruction cache if being used */
|
||
|
|
if (options.gen.icache) {
|
||
|
|
lf_printf (file, "typedef struct _%sidecode_cache {\n",
|
||
|
|
options.module.global.prefix.l);
|
||
|
|
lf_indent (file, +2);
|
||
|
|
{
|
||
|
|
form_fields *format;
|
||
|
|
lf_printf (file, "unsigned_word address;\n");
|
||
|
|
lf_printf (file, "void *semantic;\n");
|
||
|
|
lf_printf (file, "union {\n");
|
||
|
|
lf_indent (file, +2);
|
||
|
|
for (format = formats;
|
||
|
|
format != NULL;
|
||
|
|
format = format->next)
|
||
|
|
{
|
||
|
|
lf_printf (file, "struct {\n");
|
||
|
|
lf_indent (file, +2);
|
||
|
|
{
|
||
|
|
cache_entry *cache_rule;
|
||
|
|
char *field;
|
||
|
|
/* space for any instruction words */
|
||
|
|
if (options.gen.insn_in_icache)
|
||
|
|
lf_printf (file, "instruction_word insn[%d];\n", isa->max_nr_words);
|
||
|
|
/* define an entry for any applicable cache rules */
|
||
|
|
for (cache_rule = cache_rules;
|
||
|
|
cache_rule != NULL;
|
||
|
|
cache_rule = cache_rule->next)
|
||
|
|
{
|
||
|
|
/* nb - sort of correct - should really check against
|
||
|
|
individual instructions */
|
||
|
|
if (filter_is_subset (format->fields, cache_rule->original_fields))
|
||
|
|
{
|
||
|
|
char *memb;
|
||
|
|
lf_printf (file, "%s %s;",
|
||
|
|
(cache_rule->type == NULL
|
||
|
|
? "unsigned"
|
||
|
|
: cache_rule->type),
|
||
|
|
cache_rule->name);
|
||
|
|
lf_printf (file, " /*");
|
||
|
|
for (memb = filter_next (cache_rule->original_fields, "");
|
||
|
|
memb != NULL;
|
||
|
|
memb = filter_next (cache_rule->original_fields, memb))
|
||
|
|
{
|
||
|
|
lf_printf (file, " %s", memb);
|
||
|
|
}
|
||
|
|
lf_printf (file, " */\n");
|
||
|
|
}
|
||
|
|
}
|
||
|
|
/* define an entry for any fields not covered by a cache rule */
|
||
|
|
for (field = filter_next (format->fields, "");
|
||
|
|
field != NULL;
|
||
|
|
field = filter_next (format->fields, field))
|
||
|
|
{
|
||
|
|
cache_entry *cache_rule;
|
||
|
|
int found_rule = 0;
|
||
|
|
for (cache_rule = cache_rules;
|
||
|
|
cache_rule != NULL;
|
||
|
|
cache_rule = cache_rule->next)
|
||
|
|
{
|
||
|
|
if (strcmp (cache_rule->name, field) == 0)
|
||
|
|
{
|
||
|
|
found_rule = 1;
|
||
|
|
break;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
if (!found_rule)
|
||
|
|
lf_printf (file, "unsigned %s; /* default */\n", field);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
lf_indent (file, -2);
|
||
|
|
lf_printf (file, "} %s;\n", format->name);
|
||
|
|
}
|
||
|
|
lf_indent (file, -2);
|
||
|
|
lf_printf (file, "} crack;\n");
|
||
|
|
}
|
||
|
|
lf_indent (file, -2);
|
||
|
|
lf_printf (file, "} %sidecode_cache;\n", options.module.global.prefix.l);
|
||
|
|
}
|
||
|
|
else
|
||
|
|
{
|
||
|
|
/* alernativly, since no cache, emit a dummy definition for
|
||
|
|
idecode_cache so that code refering to the type can still compile */
|
||
|
|
lf_printf(file, "typedef void %sidecode_cache;\n",
|
||
|
|
options.module.global.prefix.l);
|
||
|
|
}
|
||
|
|
lf_printf (file, "\n");
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
static void
|
||
|
|
print_icache_function (lf *file,
|
||
|
|
insn_entry *instruction,
|
||
|
|
opcode_bits *expanded_bits,
|
||
|
|
insn_opcodes *opcodes,
|
||
|
|
cache_entry *cache_rules,
|
||
|
|
int nr_prefetched_words)
|
||
|
|
{
|
||
|
|
int indent;
|
||
|
|
|
||
|
|
/* generate code to enter decoded instruction into the icache */
|
||
|
|
lf_printf(file, "\n");
|
||
|
|
lf_print__function_type_function (file, print_icache_function_type,
|
||
|
|
"EXTERN_ICACHE", "\n");
|
||
|
|
indent = print_function_name (file,
|
||
|
|
instruction->name,
|
||
|
|
instruction->format_name,
|
||
|
|
NULL,
|
||
|
|
expanded_bits,
|
||
|
|
function_name_prefix_icache);
|
||
|
|
indent += lf_printf (file, " ");
|
||
|
|
lf_indent (file, +indent);
|
||
|
|
lf_printf (file, "(");
|
||
|
|
print_icache_function_formal (file, nr_prefetched_words);
|
||
|
|
lf_printf (file, ")\n");
|
||
|
|
lf_indent (file, -indent);
|
||
|
|
|
||
|
|
/* function header */
|
||
|
|
lf_printf (file, "{\n");
|
||
|
|
lf_indent (file, +2);
|
||
|
|
|
||
|
|
print_my_defines (file,
|
||
|
|
instruction->name,
|
||
|
|
instruction->format_name,
|
||
|
|
expanded_bits);
|
||
|
|
print_itrace (file, instruction, 1/*putting-value-in-cache*/);
|
||
|
|
|
||
|
|
print_idecode_validate (file, instruction, opcodes);
|
||
|
|
|
||
|
|
lf_printf (file, "\n");
|
||
|
|
lf_printf (file, "{\n");
|
||
|
|
lf_indent (file, +2);
|
||
|
|
if (options.gen.semantic_icache)
|
||
|
|
lf_printf (file, "unsigned_word nia;\n");
|
||
|
|
print_icache_body (file,
|
||
|
|
instruction,
|
||
|
|
expanded_bits,
|
||
|
|
cache_rules,
|
||
|
|
(options.gen.direct_access
|
||
|
|
? define_variables
|
||
|
|
: declare_variables),
|
||
|
|
(options.gen.semantic_icache
|
||
|
|
? both_values_and_icache
|
||
|
|
: put_values_in_icache),
|
||
|
|
nr_prefetched_words);
|
||
|
|
|
||
|
|
lf_printf (file, "\n");
|
||
|
|
lf_printf (file, "cache_entry->address = cia;\n");
|
||
|
|
lf_printf (file, "cache_entry->semantic = ");
|
||
|
|
print_function_name (file,
|
||
|
|
instruction->name,
|
||
|
|
instruction->format_name,
|
||
|
|
NULL,
|
||
|
|
expanded_bits,
|
||
|
|
function_name_prefix_semantics);
|
||
|
|
lf_printf (file, ";\n");
|
||
|
|
lf_printf (file, "\n");
|
||
|
|
|
||
|
|
if (options.gen.semantic_icache) {
|
||
|
|
lf_printf (file, "/* semantic routine */\n");
|
||
|
|
print_semantic_body (file,
|
||
|
|
instruction,
|
||
|
|
expanded_bits,
|
||
|
|
opcodes);
|
||
|
|
lf_printf (file, "return nia;\n");
|
||
|
|
}
|
||
|
|
|
||
|
|
if (!options.gen.semantic_icache)
|
||
|
|
{
|
||
|
|
lf_printf (file, "/* return the function proper */\n");
|
||
|
|
lf_printf (file, "return ");
|
||
|
|
print_function_name (file,
|
||
|
|
instruction->name,
|
||
|
|
instruction->format_name,
|
||
|
|
NULL,
|
||
|
|
expanded_bits,
|
||
|
|
function_name_prefix_semantics);
|
||
|
|
lf_printf (file, ";\n");
|
||
|
|
}
|
||
|
|
|
||
|
|
if (options.gen.direct_access)
|
||
|
|
{
|
||
|
|
print_icache_body (file,
|
||
|
|
instruction,
|
||
|
|
expanded_bits,
|
||
|
|
cache_rules,
|
||
|
|
undef_variables,
|
||
|
|
(options.gen.semantic_icache
|
||
|
|
? both_values_and_icache
|
||
|
|
: put_values_in_icache),
|
||
|
|
nr_prefetched_words);
|
||
|
|
}
|
||
|
|
|
||
|
|
lf_indent (file, -2);
|
||
|
|
lf_printf (file, "}\n");
|
||
|
|
lf_indent (file, -2);
|
||
|
|
lf_printf (file, "}\n");
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
void
|
||
|
|
print_icache_definition (lf *file,
|
||
|
|
insn_entry *insn,
|
||
|
|
opcode_bits *expanded_bits,
|
||
|
|
insn_opcodes *opcodes,
|
||
|
|
cache_entry *cache_rules,
|
||
|
|
int nr_prefetched_words)
|
||
|
|
{
|
||
|
|
print_icache_function (file,
|
||
|
|
insn,
|
||
|
|
expanded_bits,
|
||
|
|
opcodes,
|
||
|
|
cache_rules,
|
||
|
|
nr_prefetched_words);
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
void
|
||
|
|
print_icache_internal_function_declaration (lf *file,
|
||
|
|
function_entry *function,
|
||
|
|
void *data)
|
||
|
|
{
|
||
|
|
ASSERT (options.gen.icache);
|
||
|
|
if (function->is_internal)
|
||
|
|
{
|
||
|
|
lf_printf (file, "\n");
|
||
|
|
lf_print__function_type_function (file, print_icache_function_type,
|
||
|
|
"INLINE_ICACHE", "\n");
|
||
|
|
print_function_name (file,
|
||
|
|
function->name,
|
||
|
|
NULL,
|
||
|
|
NULL,
|
||
|
|
NULL,
|
||
|
|
function_name_prefix_icache);
|
||
|
|
lf_printf (file, "\n(");
|
||
|
|
print_icache_function_formal (file, 0);
|
||
|
|
lf_printf (file, ");\n");
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
void
|
||
|
|
print_icache_internal_function_definition (lf *file,
|
||
|
|
function_entry *function,
|
||
|
|
void *data)
|
||
|
|
{
|
||
|
|
ASSERT (options.gen.icache);
|
||
|
|
if (function->is_internal)
|
||
|
|
{
|
||
|
|
lf_printf (file, "\n");
|
||
|
|
lf_print__function_type_function (file, print_icache_function_type,
|
||
|
|
"INLINE_ICACHE", "\n");
|
||
|
|
print_function_name (file,
|
||
|
|
function->name,
|
||
|
|
NULL,
|
||
|
|
NULL,
|
||
|
|
NULL,
|
||
|
|
function_name_prefix_icache);
|
||
|
|
lf_printf (file, "\n(");
|
||
|
|
print_icache_function_formal (file, 0);
|
||
|
|
lf_printf (file, ")\n");
|
||
|
|
lf_printf (file, "{\n");
|
||
|
|
lf_indent (file, +2);
|
||
|
|
lf_printf (file, "/* semantic routine */\n");
|
||
|
|
if (options.gen.semantic_icache)
|
||
|
|
{
|
||
|
|
lf_print__line_ref (file, function->code->line);
|
||
|
|
table_print_code (file, function->code);
|
||
|
|
lf_printf (file, "error (\"Internal function must longjump\\n\");\n");
|
||
|
|
lf_printf (file, "return 0;\n");
|
||
|
|
}
|
||
|
|
else
|
||
|
|
{
|
||
|
|
lf_printf (file, "return ");
|
||
|
|
print_function_name (file,
|
||
|
|
function->name,
|
||
|
|
NULL,
|
||
|
|
NULL,
|
||
|
|
NULL,
|
||
|
|
function_name_prefix_semantics);
|
||
|
|
lf_printf (file, ";\n");
|
||
|
|
}
|
||
|
|
|
||
|
|
lf_print__internal_ref (file);
|
||
|
|
lf_indent (file, -2);
|
||
|
|
lf_printf (file, "}\n");
|
||
|
|
}
|
||
|
|
}
|