/* The IGEN simulator generator for GDB, the GNU Debugger.
|
/* The IGEN simulator generator for GDB, the GNU Debugger.
|
|
|
Copyright 2002, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
|
Copyright 2002, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
|
|
|
Contributed by Andrew Cagney.
|
Contributed by Andrew Cagney.
|
|
|
This file is part of GDB.
|
This file is part of GDB.
|
|
|
This program is free software; you can redistribute it and/or modify
|
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
|
it under the terms of the GNU General Public License as published by
|
the Free Software Foundation; either version 3 of the License, or
|
the Free Software Foundation; either version 3 of the License, or
|
(at your option) any later version.
|
(at your option) any later version.
|
|
|
This program is distributed in the hope that it will be useful,
|
This program is distributed in the hope that it will be useful,
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
GNU General Public License for more details.
|
GNU General Public License for more details.
|
|
|
You should have received a copy of the GNU General Public License
|
You should have received a copy of the GNU General Public License
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
|
|
|
#include "misc.h"
|
#include "misc.h"
|
#include "lf.h"
|
#include "lf.h"
|
#include "table.h"
|
#include "table.h"
|
#include "filter.h"
|
#include "filter.h"
|
#include "igen.h"
|
#include "igen.h"
|
|
|
#include "ld-insn.h"
|
#include "ld-insn.h"
|
#include "ld-decode.h"
|
#include "ld-decode.h"
|
|
|
#include "gen.h"
|
#include "gen.h"
|
|
|
#include "gen-semantics.h"
|
#include "gen-semantics.h"
|
#include "gen-icache.h"
|
#include "gen-icache.h"
|
#include "gen-idecode.h"
|
#include "gen-idecode.h"
|
|
|
|
|
static void
|
static void
|
print_semantic_function_header (lf *file,
|
print_semantic_function_header (lf *file,
|
const char *basename,
|
const char *basename,
|
const char *format_name,
|
const char *format_name,
|
opcode_bits *expanded_bits,
|
opcode_bits *expanded_bits,
|
int is_function_definition,
|
int is_function_definition,
|
int nr_prefetched_words)
|
int nr_prefetched_words)
|
{
|
{
|
int indent;
|
int indent;
|
lf_printf (file, "\n");
|
lf_printf (file, "\n");
|
lf_print__function_type_function (file, print_semantic_function_type,
|
lf_print__function_type_function (file, print_semantic_function_type,
|
"EXTERN_SEMANTICS",
|
"EXTERN_SEMANTICS",
|
(is_function_definition ? "\n" : " "));
|
(is_function_definition ? "\n" : " "));
|
indent = print_function_name (file,
|
indent = print_function_name (file,
|
basename,
|
basename,
|
format_name,
|
format_name,
|
NULL,
|
NULL,
|
expanded_bits,
|
expanded_bits,
|
function_name_prefix_semantics);
|
function_name_prefix_semantics);
|
if (is_function_definition)
|
if (is_function_definition)
|
{
|
{
|
indent += lf_printf (file, " ");
|
indent += lf_printf (file, " ");
|
lf_indent (file, +indent);
|
lf_indent (file, +indent);
|
}
|
}
|
else
|
else
|
{
|
{
|
lf_printf (file, "\n");
|
lf_printf (file, "\n");
|
}
|
}
|
lf_printf (file, "(");
|
lf_printf (file, "(");
|
lf_indent (file, +1);
|
lf_indent (file, +1);
|
print_semantic_function_formal (file, nr_prefetched_words);
|
print_semantic_function_formal (file, nr_prefetched_words);
|
lf_indent (file, -1);
|
lf_indent (file, -1);
|
lf_printf (file, ")");
|
lf_printf (file, ")");
|
if (is_function_definition)
|
if (is_function_definition)
|
{
|
{
|
lf_indent (file, -indent);
|
lf_indent (file, -indent);
|
}
|
}
|
else
|
else
|
{
|
{
|
lf_printf (file, ";");
|
lf_printf (file, ";");
|
}
|
}
|
lf_printf (file, "\n");
|
lf_printf (file, "\n");
|
}
|
}
|
|
|
void
|
void
|
print_semantic_declaration (lf *file,
|
print_semantic_declaration (lf *file,
|
insn_entry * insn,
|
insn_entry * insn,
|
opcode_bits *expanded_bits,
|
opcode_bits *expanded_bits,
|
insn_opcodes *opcodes, int nr_prefetched_words)
|
insn_opcodes *opcodes, int nr_prefetched_words)
|
{
|
{
|
print_semantic_function_header (file,
|
print_semantic_function_header (file,
|
insn->name,
|
insn->name,
|
insn->format_name,
|
insn->format_name,
|
expanded_bits,
|
expanded_bits,
|
0 /* is not function definition */ ,
|
0 /* is not function definition */ ,
|
nr_prefetched_words);
|
nr_prefetched_words);
|
}
|
}
|
|
|
|
|
|
|
/* generate the semantics.c file */
|
/* generate the semantics.c file */
|
|
|
|
|
void
|
void
|
print_idecode_invalid (lf *file, const char *result, invalid_type type)
|
print_idecode_invalid (lf *file, const char *result, invalid_type type)
|
{
|
{
|
const char *name;
|
const char *name;
|
switch (type)
|
switch (type)
|
{
|
{
|
default:
|
default:
|
name = "unknown";
|
name = "unknown";
|
break;
|
break;
|
case invalid_illegal:
|
case invalid_illegal:
|
name = "illegal";
|
name = "illegal";
|
break;
|
break;
|
case invalid_fp_unavailable:
|
case invalid_fp_unavailable:
|
name = "fp_unavailable";
|
name = "fp_unavailable";
|
break;
|
break;
|
case invalid_wrong_slot:
|
case invalid_wrong_slot:
|
name = "wrong_slot";
|
name = "wrong_slot";
|
break;
|
break;
|
}
|
}
|
if (options.gen.code == generate_jumps)
|
if (options.gen.code == generate_jumps)
|
{
|
{
|
lf_printf (file, "goto %s_%s;\n",
|
lf_printf (file, "goto %s_%s;\n",
|
(options.gen.icache ? "icache" : "semantic"), name);
|
(options.gen.icache ? "icache" : "semantic"), name);
|
}
|
}
|
else if (options.gen.icache)
|
else if (options.gen.icache)
|
{
|
{
|
lf_printf (file, "%s %sicache_%s (", result,
|
lf_printf (file, "%s %sicache_%s (", result,
|
options.module.global.prefix.l, name);
|
options.module.global.prefix.l, name);
|
print_icache_function_actual (file, 0);
|
print_icache_function_actual (file, 0);
|
lf_printf (file, ");\n");
|
lf_printf (file, ");\n");
|
}
|
}
|
else
|
else
|
{
|
{
|
lf_printf (file, "%s %ssemantic_%s (", result,
|
lf_printf (file, "%s %ssemantic_%s (", result,
|
options.module.global.prefix.l, name);
|
options.module.global.prefix.l, name);
|
print_semantic_function_actual (file, 0);
|
print_semantic_function_actual (file, 0);
|
lf_printf (file, ");\n");
|
lf_printf (file, ");\n");
|
}
|
}
|
}
|
}
|
|
|
|
|
void
|
void
|
print_semantic_body (lf *file,
|
print_semantic_body (lf *file,
|
insn_entry * instruction,
|
insn_entry * instruction,
|
opcode_bits *expanded_bits, insn_opcodes *opcodes)
|
opcode_bits *expanded_bits, insn_opcodes *opcodes)
|
{
|
{
|
/* validate the instruction, if a cache this has already been done */
|
/* validate the instruction, if a cache this has already been done */
|
if (!options.gen.icache)
|
if (!options.gen.icache)
|
{
|
{
|
print_idecode_validate (file, instruction, opcodes);
|
print_idecode_validate (file, instruction, opcodes);
|
}
|
}
|
|
|
print_itrace (file, instruction, 0 /*put_value_in_cache */ );
|
print_itrace (file, instruction, 0 /*put_value_in_cache */ );
|
|
|
/* generate the instruction profile call - this is delayed until
|
/* generate the instruction profile call - this is delayed until
|
after the instruction has been verified. The count macro
|
after the instruction has been verified. The count macro
|
generated is prefixed by ITABLE_PREFIX */
|
generated is prefixed by ITABLE_PREFIX */
|
{
|
{
|
lf_printf (file, "\n");
|
lf_printf (file, "\n");
|
lf_indent_suppress (file);
|
lf_indent_suppress (file);
|
lf_printf (file, "#if defined (%sPROFILE_COUNT_INSN)\n",
|
lf_printf (file, "#if defined (%sPROFILE_COUNT_INSN)\n",
|
options.module.itable.prefix.u);
|
options.module.itable.prefix.u);
|
lf_printf (file, "%sPROFILE_COUNT_INSN (CPU, CIA, MY_INDEX);\n",
|
lf_printf (file, "%sPROFILE_COUNT_INSN (CPU, CIA, MY_INDEX);\n",
|
options.module.itable.prefix.u);
|
options.module.itable.prefix.u);
|
lf_indent_suppress (file);
|
lf_indent_suppress (file);
|
lf_printf (file, "#endif\n");
|
lf_printf (file, "#endif\n");
|
}
|
}
|
|
|
/* generate the model call - this is delayed until after the
|
/* generate the model call - this is delayed until after the
|
instruction has been verified */
|
instruction has been verified */
|
{
|
{
|
lf_printf (file, "\n");
|
lf_printf (file, "\n");
|
lf_indent_suppress (file);
|
lf_indent_suppress (file);
|
lf_printf (file, "#if defined (WITH_MON)\n");
|
lf_printf (file, "#if defined (WITH_MON)\n");
|
lf_printf (file, "/* monitoring: */\n");
|
lf_printf (file, "/* monitoring: */\n");
|
lf_printf (file, "if (WITH_MON & MONITOR_INSTRUCTION_ISSUE)\n");
|
lf_printf (file, "if (WITH_MON & MONITOR_INSTRUCTION_ISSUE)\n");
|
lf_printf (file, " mon_issue (");
|
lf_printf (file, " mon_issue (");
|
print_function_name (file,
|
print_function_name (file,
|
instruction->name,
|
instruction->name,
|
instruction->format_name,
|
instruction->format_name,
|
NULL, NULL, function_name_prefix_itable);
|
NULL, NULL, function_name_prefix_itable);
|
lf_printf (file, ", cpu, cia);\n");
|
lf_printf (file, ", cpu, cia);\n");
|
lf_indent_suppress (file);
|
lf_indent_suppress (file);
|
lf_printf (file, "#endif\n");
|
lf_printf (file, "#endif\n");
|
lf_printf (file, "\n");
|
lf_printf (file, "\n");
|
}
|
}
|
|
|
/* determine the new instruction address */
|
/* determine the new instruction address */
|
{
|
{
|
lf_printf (file, "/* keep the next instruction address handy */\n");
|
lf_printf (file, "/* keep the next instruction address handy */\n");
|
if (options.gen.nia == nia_is_invalid)
|
if (options.gen.nia == nia_is_invalid)
|
{
|
{
|
lf_printf (file, "nia = %sINVALID_INSTRUCTION_ADDRESS;\n",
|
lf_printf (file, "nia = %sINVALID_INSTRUCTION_ADDRESS;\n",
|
options.module.global.prefix.u);
|
options.module.global.prefix.u);
|
}
|
}
|
else
|
else
|
{
|
{
|
int nr_immeds = instruction->nr_words - 1;
|
int nr_immeds = instruction->nr_words - 1;
|
if (options.gen.delayed_branch)
|
if (options.gen.delayed_branch)
|
{
|
{
|
if (nr_immeds > 0)
|
if (nr_immeds > 0)
|
{
|
{
|
lf_printf (file, "cia.dp += %d * %d; %s\n",
|
lf_printf (file, "cia.dp += %d * %d; %s\n",
|
options.insn_bit_size / 8, nr_immeds,
|
options.insn_bit_size / 8, nr_immeds,
|
"/* skip dp immeds */");
|
"/* skip dp immeds */");
|
}
|
}
|
lf_printf (file, "nia.ip = cia.dp; %s\n",
|
lf_printf (file, "nia.ip = cia.dp; %s\n",
|
"/* instruction pointer */");
|
"/* instruction pointer */");
|
lf_printf (file, "nia.dp = cia.dp + %d; %s\n",
|
lf_printf (file, "nia.dp = cia.dp + %d; %s\n",
|
options.insn_bit_size / 8,
|
options.insn_bit_size / 8,
|
"/* delayed-slot pointer */");
|
"/* delayed-slot pointer */");
|
}
|
}
|
else
|
else
|
{
|
{
|
if (nr_immeds > 0)
|
if (nr_immeds > 0)
|
{
|
{
|
lf_printf (file, "nia = cia + %d * (%d + 1); %s\n",
|
lf_printf (file, "nia = cia + %d * (%d + 1); %s\n",
|
options.insn_bit_size / 8, nr_immeds,
|
options.insn_bit_size / 8, nr_immeds,
|
"/* skip immeds as well */");
|
"/* skip immeds as well */");
|
|
|
}
|
}
|
else
|
else
|
{
|
{
|
lf_printf (file, "nia = cia + %d;\n",
|
lf_printf (file, "nia = cia + %d;\n",
|
options.insn_bit_size / 8);
|
options.insn_bit_size / 8);
|
}
|
}
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
/* if conditional, generate code to verify that the instruction
|
/* if conditional, generate code to verify that the instruction
|
should be issued */
|
should be issued */
|
if (filter_is_member (instruction->options, "c")
|
if (filter_is_member (instruction->options, "c")
|
|| options.gen.conditional_issue)
|
|| options.gen.conditional_issue)
|
{
|
{
|
lf_printf (file, "\n");
|
lf_printf (file, "\n");
|
lf_printf (file, "/* execute only if conditional passes */\n");
|
lf_printf (file, "/* execute only if conditional passes */\n");
|
lf_printf (file, "if (IS_CONDITION_OK)\n");
|
lf_printf (file, "if (IS_CONDITION_OK)\n");
|
lf_printf (file, " {\n");
|
lf_printf (file, " {\n");
|
lf_indent (file, +4);
|
lf_indent (file, +4);
|
/* FIXME - need to log a conditional failure */
|
/* FIXME - need to log a conditional failure */
|
}
|
}
|
|
|
/* Architecture expects a REG to be zero. Instead of having to
|
/* Architecture expects a REG to be zero. Instead of having to
|
check every read to see if it is refering to that REG just zap it
|
check every read to see if it is refering to that REG just zap it
|
at the start of every instruction */
|
at the start of every instruction */
|
if (options.gen.zero_reg)
|
if (options.gen.zero_reg)
|
{
|
{
|
lf_printf (file, "\n");
|
lf_printf (file, "\n");
|
lf_printf (file, "/* Architecture expects REG to be zero */\n");
|
lf_printf (file, "/* Architecture expects REG to be zero */\n");
|
lf_printf (file, "GPR_CLEAR(%d);\n", options.gen.zero_reg_nr);
|
lf_printf (file, "GPR_CLEAR(%d);\n", options.gen.zero_reg_nr);
|
}
|
}
|
|
|
/* generate the code (or at least something */
|
/* generate the code (or at least something */
|
lf_printf (file, "\n");
|
lf_printf (file, "\n");
|
lf_printf (file, "/* semantics: */\n");
|
lf_printf (file, "/* semantics: */\n");
|
if (instruction->code != NULL)
|
if (instruction->code != NULL)
|
{
|
{
|
/* true code */
|
/* true code */
|
lf_printf (file, "{\n");
|
lf_printf (file, "{\n");
|
lf_indent (file, +2);
|
lf_indent (file, +2);
|
lf_print__line_ref (file, instruction->code->line);
|
lf_print__line_ref (file, instruction->code->line);
|
table_print_code (file, instruction->code);
|
table_print_code (file, instruction->code);
|
lf_indent (file, -2);
|
lf_indent (file, -2);
|
lf_printf (file, "}\n");
|
lf_printf (file, "}\n");
|
lf_print__internal_ref (file);
|
lf_print__internal_ref (file);
|
}
|
}
|
else if (filter_is_member (instruction->options, "nop"))
|
else if (filter_is_member (instruction->options, "nop"))
|
{
|
{
|
lf_print__internal_ref (file);
|
lf_print__internal_ref (file);
|
}
|
}
|
else
|
else
|
{
|
{
|
const char *prefix = "sim_engine_abort (";
|
const char *prefix = "sim_engine_abort (";
|
int indent = strlen (prefix);
|
int indent = strlen (prefix);
|
/* abort so it is implemented now */
|
/* abort so it is implemented now */
|
lf_print__line_ref (file, instruction->line);
|
lf_print__line_ref (file, instruction->line);
|
lf_printf (file, "%sSD, CPU, cia, \\\n", prefix);
|
lf_printf (file, "%sSD, CPU, cia, \\\n", prefix);
|
lf_indent (file, +indent);
|
lf_indent (file, +indent);
|
lf_printf (file, "\"%s:%d:0x%%08lx:%%s unimplemented\\n\", \\\n",
|
lf_printf (file, "\"%s:%d:0x%%08lx:%%s unimplemented\\n\", \\\n",
|
filter_filename (instruction->line->file_name),
|
filter_filename (instruction->line->file_name),
|
instruction->line->line_nr);
|
instruction->line->line_nr);
|
lf_printf (file, "(long) CIA, \\\n");
|
lf_printf (file, "(long) CIA, \\\n");
|
lf_printf (file, "%sitable[MY_INDEX].name);\n",
|
lf_printf (file, "%sitable[MY_INDEX].name);\n",
|
options.module.itable.prefix.l);
|
options.module.itable.prefix.l);
|
lf_indent (file, -indent);
|
lf_indent (file, -indent);
|
lf_print__internal_ref (file);
|
lf_print__internal_ref (file);
|
}
|
}
|
|
|
/* Close off the conditional execution */
|
/* Close off the conditional execution */
|
if (filter_is_member (instruction->options, "c")
|
if (filter_is_member (instruction->options, "c")
|
|| options.gen.conditional_issue)
|
|| options.gen.conditional_issue)
|
{
|
{
|
lf_indent (file, -4);
|
lf_indent (file, -4);
|
lf_printf (file, " }\n");
|
lf_printf (file, " }\n");
|
}
|
}
|
}
|
}
|
|
|
static void
|
static void
|
print_c_semantic (lf *file,
|
print_c_semantic (lf *file,
|
insn_entry * instruction,
|
insn_entry * instruction,
|
opcode_bits *expanded_bits,
|
opcode_bits *expanded_bits,
|
insn_opcodes *opcodes,
|
insn_opcodes *opcodes,
|
cache_entry *cache_rules, int nr_prefetched_words)
|
cache_entry *cache_rules, int nr_prefetched_words)
|
{
|
{
|
|
|
lf_printf (file, "{\n");
|
lf_printf (file, "{\n");
|
lf_indent (file, +2);
|
lf_indent (file, +2);
|
|
|
print_my_defines (file,
|
print_my_defines (file,
|
instruction->name,
|
instruction->name,
|
instruction->format_name, expanded_bits);
|
instruction->format_name, expanded_bits);
|
lf_printf (file, "\n");
|
lf_printf (file, "\n");
|
print_icache_body (file,
|
print_icache_body (file,
|
instruction,
|
instruction,
|
expanded_bits,
|
expanded_bits,
|
cache_rules,
|
cache_rules,
|
(options.gen.direct_access
|
(options.gen.direct_access
|
? define_variables
|
? define_variables
|
: declare_variables),
|
: declare_variables),
|
(options.gen.icache
|
(options.gen.icache
|
? get_values_from_icache
|
? get_values_from_icache
|
: do_not_use_icache), nr_prefetched_words);
|
: do_not_use_icache), nr_prefetched_words);
|
|
|
lf_printf (file, "%sinstruction_address nia;\n",
|
lf_printf (file, "%sinstruction_address nia;\n",
|
options.module.global.prefix.l);
|
options.module.global.prefix.l);
|
print_semantic_body (file, instruction, expanded_bits, opcodes);
|
print_semantic_body (file, instruction, expanded_bits, opcodes);
|
lf_printf (file, "return nia;\n");
|
lf_printf (file, "return nia;\n");
|
|
|
/* generate something to clean up any #defines created for the cache */
|
/* generate something to clean up any #defines created for the cache */
|
if (options.gen.direct_access)
|
if (options.gen.direct_access)
|
{
|
{
|
print_icache_body (file,
|
print_icache_body (file,
|
instruction,
|
instruction,
|
expanded_bits,
|
expanded_bits,
|
cache_rules,
|
cache_rules,
|
undef_variables,
|
undef_variables,
|
(options.gen.icache
|
(options.gen.icache
|
? get_values_from_icache
|
? get_values_from_icache
|
: do_not_use_icache), nr_prefetched_words);
|
: do_not_use_icache), nr_prefetched_words);
|
}
|
}
|
|
|
lf_indent (file, -2);
|
lf_indent (file, -2);
|
lf_printf (file, "}\n");
|
lf_printf (file, "}\n");
|
}
|
}
|
|
|
static void
|
static void
|
print_c_semantic_function (lf *file,
|
print_c_semantic_function (lf *file,
|
insn_entry * instruction,
|
insn_entry * instruction,
|
opcode_bits *expanded_bits,
|
opcode_bits *expanded_bits,
|
insn_opcodes *opcodes,
|
insn_opcodes *opcodes,
|
cache_entry *cache_rules, int nr_prefetched_words)
|
cache_entry *cache_rules, int nr_prefetched_words)
|
{
|
{
|
/* build the semantic routine to execute the instruction */
|
/* build the semantic routine to execute the instruction */
|
print_semantic_function_header (file,
|
print_semantic_function_header (file,
|
instruction->name,
|
instruction->name,
|
instruction->format_name,
|
instruction->format_name,
|
expanded_bits,
|
expanded_bits,
|
1 /*is-function-definition */ ,
|
1 /*is-function-definition */ ,
|
nr_prefetched_words);
|
nr_prefetched_words);
|
print_c_semantic (file,
|
print_c_semantic (file,
|
instruction,
|
instruction,
|
expanded_bits, opcodes, cache_rules, nr_prefetched_words);
|
expanded_bits, opcodes, cache_rules, nr_prefetched_words);
|
}
|
}
|
|
|
void
|
void
|
print_semantic_definition (lf *file,
|
print_semantic_definition (lf *file,
|
insn_entry * insn,
|
insn_entry * insn,
|
opcode_bits *expanded_bits,
|
opcode_bits *expanded_bits,
|
insn_opcodes *opcodes,
|
insn_opcodes *opcodes,
|
cache_entry *cache_rules, int nr_prefetched_words)
|
cache_entry *cache_rules, int nr_prefetched_words)
|
{
|
{
|
print_c_semantic_function (file,
|
print_c_semantic_function (file,
|
insn,
|
insn,
|
expanded_bits,
|
expanded_bits,
|
opcodes, cache_rules, nr_prefetched_words);
|
opcodes, cache_rules, nr_prefetched_words);
|
}
|
}
|
|
|
