/* This file is part of the program psim. Copyright (C) 1994-1995, Andrew Cagney 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 #include "misc.h" #include "lf.h" #include "table.h" #include "config.h" #include "filter.h" #include "ld-decode.h" #include "ld-cache.h" #include "ld-insn.h" #include "igen.h" #include "gen-model.h" #include "gen-icache.h" #include "gen-itable.h" #include "gen-idecode.h" #include "gen-semantics.h" #include "gen-support.h" int hi_bit_nr; int insn_bit_size = max_insn_bit_size; igen_code code = generate_calls; int generate_expanded_instructions; int icache_size; int generate_smp; /****************************************************************/ static int print_insn_bits(lf *file, insn_bits *bits) { int nr = 0; if (bits == NULL) return nr; nr += print_insn_bits(file, bits->last); nr += lf_putchr(file, '_'); nr += lf_putstr(file, bits->field->val_string); if (bits->opcode->is_boolean && bits->value == 0) nr += lf_putint(file, bits->opcode->boolean_constant); else if (!bits->opcode->is_boolean) { if (bits->opcode->last < bits->field->last) nr += lf_putint(file, bits->value << (bits->field->last - bits->opcode->last)); else nr += lf_putint(file, bits->value); } return nr; } extern int print_function_name(lf *file, const char *basename, insn_bits *expanded_bits, lf_function_name_prefixes prefix) { int nr = 0; /* the prefix */ switch (prefix) { case function_name_prefix_semantics: nr += lf_putstr(file, "semantic_"); break; case function_name_prefix_idecode: nr += lf_printf(file, "idecode_"); break; case function_name_prefix_itable: nr += lf_putstr(file, "itable_"); break; case function_name_prefix_icache: nr += lf_putstr(file, "icache_"); break; default: break; } /* the function name */ { const char *pos; for (pos = basename; *pos != '\0'; pos++) { switch (*pos) { case '/': case '-': break; case ' ': nr += lf_putchr(file, '_'); break; default: nr += lf_putchr(file, *pos); break; } } } /* the suffix */ if (generate_expanded_instructions) nr += print_insn_bits(file, expanded_bits); return nr; } void print_define_my_index(lf *file, table_entry *file_entry) { lf_indent_suppress(file); lf_printf(file, "#undef MY_INDEX\n"); lf_indent_suppress(file); lf_printf(file, "#define MY_INDEX "); print_function_name(file, file_entry->fields[insn_name], NULL, function_name_prefix_itable); lf_printf(file, "\n"); } void print_itrace(lf *file, table_entry *file_entry, int idecode) { lf_print__external_reference(file, file_entry->line_nr, file_entry->file_name); lf_printf(file, "ITRACE(trace_%s, (\"%s %s\\n\"));\n", (idecode ? "idecode" : "semantics"), (idecode ? "idecode" : "semantics"), file_entry->fields[insn_name]); lf_print__internal_reference(file); } /****************************************************************/ static void gen_semantics_h(insn_table *table, lf *file, igen_code generate) { lf_printf(file, "typedef %s idecode_semantic\n(%s);\n", SEMANTIC_FUNCTION_TYPE, SEMANTIC_FUNCTION_FORMAL); lf_printf(file, "\n"); if ((code & generate_calls)) { if (generate_expanded_instructions) insn_table_traverse_tree(table, file, NULL, 1, NULL, /* start */ print_semantic_declaration, /* leaf */ NULL, /* end */ NULL); /* padding */ else insn_table_traverse_insn(table, file, NULL, print_semantic_declaration); } else { lf_print__this_file_is_empty(file); } } static void gen_semantics_c(insn_table *table, cache_table *cache_rules, lf *file, igen_code generate) { if ((code & generate_calls)) { lf_printf(file, "\n"); lf_printf(file, "#include \"cpu.h\"\n"); lf_printf(file, "#include \"idecode.h\"\n"); lf_printf(file, "#include \"semantics.h\"\n"); lf_printf(file, "#include \"support.h\"\n"); lf_printf(file, "\n"); if (generate_expanded_instructions) insn_table_traverse_tree(table, file, cache_rules, 1, NULL, /* start */ print_semantic_definition, /* leaf */ NULL, /* end */ NULL); /* padding */ else insn_table_traverse_insn(table, file, cache_rules, print_semantic_definition); } else { lf_print__this_file_is_empty(file); } } /****************************************************************/ static void gen_icache_h(insn_table *table, lf *file, igen_code generate) { lf_printf(file, "typedef %s idecode_icache\n(%s);\n", ICACHE_FUNCTION_TYPE, ICACHE_FUNCTION_FORMAL); lf_printf(file, "\n"); if ((code & generate_calls) && (code & generate_with_icache)) { insn_table_traverse_function(table, file, NULL, print_icache_internal_function_declaration); if (generate_expanded_instructions) insn_table_traverse_tree(table, file, NULL, 1, NULL, /* start */ print_icache_declaration, /* leaf */ NULL, /* end */ NULL); /* padding */ else insn_table_traverse_insn(table, file, NULL, print_icache_declaration); } else { lf_print__this_file_is_empty(file); } } static void gen_icache_c(insn_table *table, cache_table *cache_rules, lf *file, igen_code generate) { /* output `internal' invalid/floating-point unavailable functions where needed */ if ((code & generate_calls) && (code & generate_with_icache)) { lf_printf(file, "\n"); lf_printf(file, "#include \"cpu.h\"\n"); lf_printf(file, "#include \"idecode.h\"\n"); lf_printf(file, "#include \"semantics.h\"\n"); lf_printf(file, "#include \"icache.h\"\n"); lf_printf(file, "#include \"support.h\"\n"); lf_printf(file, "\n"); insn_table_traverse_function(table, file, NULL, print_icache_internal_function_definition); lf_printf(file, "\n"); if (generate_expanded_instructions) insn_table_traverse_tree(table, file, cache_rules, 1, NULL, /* start */ print_icache_definition, /* leaf */ NULL, /* end */ NULL); /* padding */ else insn_table_traverse_insn(table, file, cache_rules, print_icache_definition); } else { lf_print__this_file_is_empty(file); } } /****************************************************************/ int main(int argc, char **argv, char **envp) { cache_table *cache_rules = NULL; lf_file_references file_references = lf_include_references; decode_table *decode_rules = NULL; filter *filters = NULL; insn_table *instructions = NULL; char *real_file_name = NULL; int is_header = 0; int ch; if (argc == 1) { printf("Usage:\n"); printf(" igen ... ... ...\n"); printf("Config options:\n"); printf(" -F eg -F 64 to skip 64bit instructions\n"); printf(" -C Include semantics in cache functions\n"); printf(" -E Expand (duplicate) semantic functions\n"); printf(" -I Generate cracking cache version\n"); printf(" -R Use defines to reference cache vars\n"); printf(" -L Supress line numbering in output files\n"); printf(" -B Set the number of bits in an instruction\n"); printf(" -H Set the nr of the high (msb bit)\n"); printf(" -N Specify the max number of cpus the simulation will support\n"); printf(" -J Use jumps instead of function calls\n"); printf("\n"); printf("Input options (ucase version also dumps loaded table):\n"); printf(" -o \n"); printf(" -k \n"); printf(" -i \n"); printf("\n"); printf("Output options:\n"); printf(" -n Specify the real name of for the next output file\n"); printf(" -h Generate header file\n"); printf(" -c output icache\n"); printf(" -d output idecode\n"); printf(" -m output model\n"); printf(" -s output schematic\n"); printf(" -t output itable\n"); printf(" -f output support functions\n"); } while ((ch = getopt(argc, argv, "F:EI:RLJCB:H:N:o:k:i:n:hc:d:m:s:t:f:")) != -1) { fprintf(stderr, "\t-%c %s\n", ch, (optarg ? optarg : "")); switch(ch) { case 'C': code |= generate_with_icache; code |= generate_with_semantic_icache; if (icache_size == 0) icache_size = 1024; break; case 'L': file_references = lf_omit_references; break; case 'E': generate_expanded_instructions = 1; break; case 'I': icache_size = a2i(optarg); code |= generate_with_icache; break; case 'N': generate_smp = a2i(optarg); break; case 'R': code |= generate_with_icache; code |= generate_with_direct_access_icache; if (icache_size == 0) icache_size = 1024; break; case 'B': insn_bit_size = a2i(optarg); ASSERT(insn_bit_size > 0 && insn_bit_size <= max_insn_bit_size && (hi_bit_nr == insn_bit_size-1 || hi_bit_nr == 0)); break; case 'H': hi_bit_nr = a2i(optarg); ASSERT(hi_bit_nr == insn_bit_size-1 || hi_bit_nr == 0); break; case 'F': filters = new_filter(optarg, filters); break; case 'J': code &= ~generate_calls; code |= generate_jumps; break; case 'i': if (decode_rules == NULL || cache_rules == NULL) { fprintf(stderr, "Must specify decode and cache tables\n"); exit (1); } instructions = load_insn_table(optarg, decode_rules, filters); fprintf(stderr, "\texpanding ...\n"); insn_table_expand_insns(instructions); break; case 'o': decode_rules = load_decode_table(optarg, hi_bit_nr); break; case 'k': cache_rules = load_cache_table(optarg, hi_bit_nr); break; case 'n': real_file_name = strdup(optarg); break; case 'h': is_header = 1; break; case 's': case 'd': case 'm': case 't': case 'f': case 'c': { lf *file = lf_open(optarg, real_file_name, file_references, (is_header ? lf_is_h : lf_is_c), argv[0]); lf_print__file_start(file); ASSERT(instructions != NULL); switch (ch) { case 's': if(is_header) gen_semantics_h(instructions, file, code); else gen_semantics_c(instructions, cache_rules, file, code); break; case 'd': if (is_header) gen_idecode_h(file, instructions, cache_rules); else gen_idecode_c(file, instructions, cache_rules); break; case 'm': if (is_header) gen_model_h(instructions, file); else gen_model_c(instructions, file); break; case 't': if (is_header) gen_itable_h(instructions, file); else gen_itable_c(instructions, file); break; case 'f': if (is_header) gen_support_h(instructions, file); else gen_support_c(instructions, file); break; case 'c': if (is_header) gen_icache_h(instructions, file, code); else gen_icache_c(instructions, cache_rules, file, code); break; } lf_print__file_finish(file); lf_close(file); is_header = 0; } real_file_name = NULL; break; default: error("unknown option\n"); } } return 0; }