1 /* This file is part of the program psim.
3 Copyright (C) 1994-1998, Andrew Cagney <cagney@highland.com.au>
5 This program is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 2 of the License, or
8 (at your option) any later version.
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with this program; if not, write to the Free Software
17 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
34 #include "ld-decode.h"
39 #include "gen-model.h"
40 #include "gen-icache.h"
41 #include "gen-itable.h"
42 #include "gen-idecode.h"
43 #include "gen-semantics.h"
44 #include "gen-engine.h"
45 #include "gen-support.h"
46 #include "gen-engine.h"
49 /****************************************************************/
52 /* Semantic functions */
55 print_semantic_function_formal (lf *file,
56 int nr_prefetched_words)
60 if (options.gen.icache || nr_prefetched_words < 0)
62 nr += lf_printf (file, "SIM_DESC sd,\n");
63 nr += lf_printf (file, "%sidecode_cache *cache_entry,\n",
64 options.prefix.global.name);
65 nr += lf_printf (file, "%sinstruction_address cia",
66 options.prefix.global.name);
68 else if (options.gen.smp)
70 nr += lf_printf (file, "sim_cpu *cpu,\n");
71 for (word_nr = 0; word_nr < nr_prefetched_words; word_nr++)
73 nr += lf_printf (file, "%sinstruction_word instruction_%d,\n",
74 options.prefix.global.name,
77 nr += lf_printf (file, "%sinstruction_address cia",
78 options.prefix.global.name);
82 nr += lf_printf (file, "SIM_DESC sd,\n");
83 for (word_nr = 0; word_nr < nr_prefetched_words; word_nr++)
85 nr += lf_printf (file, "%sinstruction_word instruction_%d,\n",
86 options.prefix.global.name,
89 nr += lf_printf (file, "%sinstruction_address cia",
90 options.prefix.global.name);
96 print_semantic_function_actual (lf *file,
97 int nr_prefetched_words)
101 if (options.gen.icache || nr_prefetched_words < 0)
103 nr += lf_printf (file, "sd, cache_entry, cia");
108 nr += lf_printf (file, "cpu");
110 nr += lf_printf (file, "sd");
111 for (word_nr = 0; word_nr < nr_prefetched_words; word_nr++)
112 nr += lf_printf (file, ", instruction_%d", word_nr);
113 nr += lf_printf (file, ", cia");
119 print_semantic_function_type (lf *file)
122 nr += lf_printf (file, "%sinstruction_address",
123 options.prefix.global.name);
128 /* Idecode functions */
131 print_icache_function_formal (lf *file,
132 int nr_prefetched_words)
137 nr += lf_printf (file, "sim_cpu *cpu,\n");
139 nr += lf_printf (file, "SIM_DESC sd,\n");
140 for (word_nr = 0; word_nr < nr_prefetched_words; word_nr++)
141 nr += lf_printf (file, " %sinstruction_word instruction_%d,\n",
142 options.prefix.global.name, word_nr);
143 nr += lf_printf (file, " %sinstruction_address cia,\n",
144 options.prefix.global.name);
145 nr += lf_printf (file, " %sidecode_cache *cache_entry",
146 options.prefix.global.name);
151 print_icache_function_actual (lf *file,
152 int nr_prefetched_words)
157 nr += lf_printf (file, "cpu");
159 nr += lf_printf (file, "sd");
160 for (word_nr = 0; word_nr < nr_prefetched_words; word_nr++)
161 nr += lf_printf (file, ", instruction_%d", word_nr);
162 nr += lf_printf (file, ", cia, cache_entry");
167 print_icache_function_type (lf *file)
170 if (options.gen.semantic_icache)
172 nr = print_semantic_function_type (file);
176 nr = lf_printf (file, "%sidecode_semantic *",
177 options.prefix.global.name);
186 print_opcode_bits (lf *file,
192 nr += lf_putchr (file, '_');
193 nr += lf_putstr (file, bits->field->val_string);
194 if (bits->opcode->is_boolean && bits->value == 0)
195 nr += lf_putint (file, bits->opcode->boolean_constant);
196 else if (!bits->opcode->is_boolean) {
197 if (bits->opcode->last < bits->field->last)
198 nr += lf_putint (file, bits->value << (bits->field->last - bits->opcode->last));
200 nr += lf_putint (file, bits->value);
202 nr += print_opcode_bits (file, bits->next);
207 print_c_name (lf *file,
212 for (pos = name; *pos != '\0'; pos++)
221 nr += lf_putchr (file, '_');
224 nr += lf_putchr (file, *pos);
232 print_function_name (lf *file,
233 const char *basename,
234 const char *format_name,
235 const char *model_name,
236 opcode_bits *expanded_bits,
237 lf_function_name_prefixes prefix)
243 case function_name_prefix_semantics:
244 nr += lf_printf (file, "%s", options.prefix.semantics.name);
245 nr += lf_printf (file, "semantic_");
247 case function_name_prefix_idecode:
248 nr += lf_printf (file, "%s", options.prefix.idecode.name);
249 nr += lf_printf (file, "idecode_");
251 case function_name_prefix_itable:
252 nr += lf_printf (file, "%sitable_", options.prefix.itable.name);
254 case function_name_prefix_icache:
255 nr += lf_printf (file, "%s", options.prefix.icache.name);
256 nr += lf_printf (file, "icache_");
258 case function_name_prefix_engine:
259 nr += lf_printf (file, "%s", options.prefix.engine.name);
260 nr += lf_printf (file, "engine_");
265 if (model_name != NULL)
267 nr += print_c_name (file, model_name);
268 nr += lf_printf (file, "_");
271 /* the function name */
272 nr += print_c_name (file, basename);
274 /* the format name if available */
275 if (format_name != NULL)
277 nr += lf_printf (file, "_");
278 nr += print_c_name (file, format_name);
282 nr += print_opcode_bits (file, expanded_bits);
289 print_my_defines (lf *file,
290 const char *basename,
291 const char *format_name,
292 opcode_bits *expanded_bits)
294 /* #define MY_INDEX xxxxx */
295 lf_indent_suppress (file);
296 lf_printf (file, "#undef MY_INDEX\n");
297 lf_indent_suppress (file);
298 lf_printf (file, "#define MY_INDEX ");
299 print_function_name (file,
300 basename, format_name, NULL,
302 function_name_prefix_itable);
303 lf_printf (file, "\n");
304 /* #define MY_PREFIX xxxxxx */
305 lf_indent_suppress (file);
306 lf_printf (file, "#undef ");
307 print_function_name (file,
308 basename, format_name, NULL,
310 function_name_prefix_none);
311 lf_printf (file, "\n");
312 lf_indent_suppress (file);
313 lf_printf (file, "#undef MY_PREFIX\n");
314 lf_indent_suppress (file);
315 lf_printf (file, "#define MY_PREFIX ");
316 print_function_name (file,
317 basename, format_name, NULL,
319 function_name_prefix_none);
320 lf_printf (file, "\n");
321 /* #define MY_NAME xxxxxx */
322 lf_indent_suppress (file);
323 lf_indent_suppress (file);
324 lf_printf (file, "#undef MY_NAME\n");
325 lf_indent_suppress (file);
326 lf_printf (file, "#define MY_NAME \"");
327 print_function_name (file,
328 basename, format_name, NULL,
330 function_name_prefix_none);
331 lf_printf (file, "\"\n");
336 print_itrace_prefix (lf *file)
338 const char *prefix = "trace_prefix (";
339 int indent = strlen (prefix);
340 lf_printf (file, "%sSD, CPU, cia, CIA, TRACE_LINENUM_P (CPU), \\\n", prefix);
341 lf_indent (file, +indent);
342 lf_printf (file, "%sitable[MY_INDEX].file, \\\n", options.prefix.itable.name);
343 lf_printf (file, "%sitable[MY_INDEX].line_nr, \\\n", options.prefix.itable.name);
344 lf_printf (file, "\"");
350 print_itrace_format (lf *file,
351 insn_mnemonic_entry *assembler)
353 /* pass=1 is fmt string; pass=2 is arguments */
355 /* print the format string */
356 for (pass = 1; pass <= 2; pass++)
358 const char *chp = assembler->format;
359 chp++; /* skip the leading quote */
360 /* write out the format/args */
363 if (chp[0] == '\\' && (chp[1] == '<' || chp[1] == '>'))
366 lf_putchr (file, chp[1]);
369 else if (chp[0] == '<' || chp[0] == '%')
371 /* parse [ "%" ... ] "<" [ func "#" ] param ">" */
377 /* the "%" ... "<" format */
379 while (chp[0] != '<' && chp[0] != '\0')
382 error (assembler->line, "Missing `<' after `%%'\n");
384 /* [ "func" # ] OR "param" */
387 while (chp[0] != '>' && chp[0] != '#' && chp[0] != '\0')
389 strlen_func = chp - func;
394 while (chp[0] != '>' && chp[0] != '\0')
397 strlen_param = chp - param;
399 error (assembler->line, "Missing closing `>' in assembler string\n");
403 lf_printf (file, ", \\\n");
404 if (strncmp (fmt, "<", 1) == 0)
405 /* implicit long int format */
408 lf_printf (file, "%%ld");
411 lf_printf (file, "(long) ");
412 lf_write (file, param, strlen_param);
415 else if (strncmp (fmt, "%<", 2) == 0)
416 /* explicit format */
419 lf_printf (file, "%%");
421 lf_write (file, param, strlen_param);
423 else if (strncmp (fmt, "%s<", 3) == 0)
427 lf_printf (file, "%%s");
430 lf_printf (file, "%sstr_", options.prefix.global.name);
431 lf_write (file, func, strlen_func);
432 lf_printf (file, " (SD_, ");
433 lf_write (file, param, strlen_param);
434 lf_printf (file, ")");
437 else if (strncmp (fmt, "%lx<", 4) == 0)
441 lf_printf (file, "%%lx");
444 lf_printf (file, "(unsigned long) ");
445 lf_write (file, param, strlen_param);
448 else if (strncmp (fmt, "%08lx<", 6) == 0)
452 lf_printf (file, "%%08lx");
455 lf_printf (file, "(unsigned long) ");
456 lf_write (file, param, strlen_param);
460 error (assembler->line, "Unknown assembler string format\n");
465 lf_putchr (file, chp[0]);
470 lf_printf (file, ");\n");
475 print_itrace (lf *file,
479 /* NB: Here we escape each EOLN. This is so that the the compiler
480 treats a trace function call as a single line. Consequently any
481 errors in the line are refered back to the same igen assembler
483 const char *phase = (idecode) ? "DECODE" : "INSN";
484 lf_printf (file, "\n");
485 lf_indent_suppress (file);
486 lf_printf (file, "#if defined (WITH_TRACE)\n");
487 lf_printf (file, "/* generate a trace prefix if any tracing enabled */\n");
488 lf_printf (file, "if (TRACE_ANY_P (CPU))\n");
489 lf_printf (file, " {\n");
490 lf_indent (file, +4);
492 if (insn->mnemonics != NULL)
494 insn_mnemonic_entry *assembler = insn->mnemonics;
498 if (assembler->condition != NULL)
501 lf_printf (file, "%sif (%s)\n",
502 is_first ? "" : "else ",
503 assembler->condition);
504 lf_indent (file, +2);
505 lf_print__line_ref (file, assembler->line);
506 indent = print_itrace_prefix (file);
507 print_itrace_format (file, assembler);
508 lf_print__internal_ref (file);
509 lf_indent (file, -indent);
510 lf_indent (file, -2);
511 if (assembler->next == NULL)
512 error (assembler->line, "Missing final unconditional assembler\n");
519 lf_printf (file, "else\n");
520 lf_indent (file, +2);
522 lf_print__line_ref (file, assembler->line);
523 indent = print_itrace_prefix (file);
524 print_itrace_format (file, assembler);
525 lf_print__internal_ref (file);
526 lf_indent (file, -indent);
528 lf_indent (file, -2);
529 if (assembler->next != NULL)
530 error (assembler->line, "Unconditional assembler is not last\n");
533 assembler = assembler->next;
535 while (assembler != NULL);
540 lf_indent (file, +2);
541 lf_print__line_ref (file, insn->line);
542 indent = print_itrace_prefix (file);
543 lf_printf (file, "%%s\", \\\n");
544 lf_printf (file, "itable[MY_INDEX].name);\n");
545 lf_print__internal_ref (file);
546 lf_indent (file, -indent);
547 lf_indent (file, -2);
549 lf_printf (file, "/* trace the instruction execution if enabled */\n");
550 lf_printf (file, "if (TRACE_%s_P (CPU))\n", phase);
551 lf_printf (file, " trace_generic (SD, CPU, TRACE_%s_IDX, \" %%s\", itable[MY_INDEX].name);\n", phase);
553 lf_indent (file, -4);
554 lf_printf (file, " }\n");
555 lf_indent_suppress (file);
556 lf_printf (file, "#endif\n");
561 print_sim_engine_abort (lf *file,
564 lf_printf (file, "sim_engine_abort (SD, CPU, cia, ");
565 lf_printf (file, "\"%s\"", message);
566 lf_printf (file, ");\n");
570 /****************************************************************/
574 gen_semantics_h (lf *file,
575 insn_list *semantics,
580 for (word_nr = -1; word_nr <= max_nr_words; word_nr++)
582 lf_printf (file, "typedef ");
583 print_semantic_function_type (file);
584 lf_printf (file, " %sidecode_semantic",
585 options.prefix.global.name);
587 lf_printf (file, "_%d", word_nr);
588 lf_printf (file, "\n(");
589 lf_indent (file, +1);
590 print_semantic_function_formal (file, word_nr);
591 lf_indent (file, -1);
592 lf_printf (file, ");\n");
593 lf_printf (file, "\n");
595 switch (options.gen.code)
598 for (semantic = semantics; semantic != NULL; semantic = semantic->next)
600 /* Ignore any special/internal instructions */
601 if (semantic->insn->nr_words == 0)
603 print_semantic_declaration (file,
605 semantic->expanded_bits,
607 semantic->nr_prefetched_words);
611 lf_print__this_file_is_empty (file, "generating jumps");
618 gen_semantics_c (lf *file,
619 insn_list *semantics,
620 cache_entry *cache_rules)
622 if (options.gen.code == generate_calls)
625 lf_printf (file, "\n");
626 lf_printf (file, "#include \"sim-main.h\"\n");
627 lf_printf (file, "#include \"%sitable.h\"\n",
628 options.prefix.itable.name);
629 lf_printf (file, "#include \"%sidecode.h\"\n",
630 options.prefix.idecode.name);
631 lf_printf (file, "#include \"%ssemantics.h\"\n",
632 options.prefix.semantics.name);
633 lf_printf (file, "#include \"%ssupport.h\"\n",
634 options.prefix.support.name);
635 lf_printf (file, "\n");
636 for (semantic = semantics; semantic != NULL; semantic = semantic->next)
638 /* Ignore any special/internal instructions */
639 if (semantic->insn->nr_words == 0)
641 print_semantic_definition (file,
643 semantic->expanded_bits,
646 semantic->nr_prefetched_words);
651 lf_print__this_file_is_empty (file, "generating jump engine");
656 /****************************************************************/
660 gen_icache_h (lf *file,
662 function_entry *functions,
666 for (word_nr = 0; word_nr <= max_nr_words; word_nr++)
668 lf_printf (file, "typedef ");
669 print_icache_function_type(file);
670 lf_printf (file, " %sidecode_icache_%d\n(",
671 options.prefix.global.name,
673 print_icache_function_formal(file, word_nr);
674 lf_printf (file, ");\n");
675 lf_printf (file, "\n");
677 if (options.gen.code == generate_calls
678 && options.gen.icache)
680 function_entry_traverse (file, functions,
681 print_icache_internal_function_declaration,
683 while (semantic != NULL)
685 print_icache_declaration (file,
687 semantic->expanded_bits,
689 semantic->nr_prefetched_words);
690 semantic = semantic->next;
695 lf_print__this_file_is_empty (file, "generating jump engine");
700 gen_icache_c (lf *file,
702 function_entry *functions,
703 cache_entry *cache_rules)
705 /* output `internal' invalid/floating-point unavailable functions
707 if (options.gen.code == generate_calls
708 && options.gen.icache)
710 lf_printf (file, "\n");
711 lf_printf (file, "#include \"cpu.h\"\n");
712 lf_printf (file, "#include \"idecode.h\"\n");
713 lf_printf (file, "#include \"semantics.h\"\n");
714 lf_printf (file, "#include \"icache.h\"\n");
715 lf_printf (file, "#include \"support.h\"\n");
716 lf_printf (file, "\n");
717 function_entry_traverse (file, functions,
718 print_icache_internal_function_definition,
720 lf_printf (file, "\n");
721 while (semantic != NULL)
723 print_icache_definition (file,
725 semantic->expanded_bits,
728 semantic->nr_prefetched_words);
729 semantic = semantic->next;
734 lf_print__this_file_is_empty (file, "generating jump engine");
739 /****************************************************************/
743 gen_idecode_h (lf *file,
746 cache_entry *cache_rules)
748 lf_printf (file, "typedef unsigned%d %sinstruction_word;\n",
749 options.insn_bit_size, options.prefix.global.name);
750 if (options.gen.delayed_branch)
752 lf_printf (file, "typedef struct _%sinstruction_address {\n",
753 options.prefix.global.name);
754 lf_printf (file, " address_word ip; /* instruction pointer */\n");
755 lf_printf (file, " address_word dp; /* delayed-slot pointer */\n");
756 lf_printf (file, "} %sinstruction_address;\n", options.prefix.global.name);
760 lf_printf (file, "typedef address_word %sinstruction_address;\n",
761 options.prefix.global.name);
764 if (options.gen.nia == nia_is_invalid
765 && strlen (options.prefix.global.uname) > 0)
767 lf_indent_suppress (file);
768 lf_printf (file, "#define %sINVALID_INSTRUCTION_ADDRESS ",
769 options.prefix.global.uname);
770 lf_printf (file, "INVALID_INSTRUCTION_ADDRESS\n");
772 lf_printf (file, "\n");
773 print_icache_struct (file, insns, cache_rules);
774 lf_printf (file, "\n");
775 if (options.gen.icache)
777 ERROR ("FIXME - idecode with icache suffering from bit-rot");
782 for (entry = gen->tables; entry != NULL; entry = entry->next)
784 print_idecode_issue_function_header (file,
785 (options.gen.multi_sim
788 is_function_declaration,
789 1/*ALWAYS ONE WORD*/);
791 if (options.gen.multi_sim)
793 print_idecode_issue_function_header (file,
795 is_function_variable,
796 1/*ALWAYS ONE WORD*/);
803 gen_idecode_c (lf *file,
806 cache_entry *cache_rules)
809 lf_printf (file, "#include \"sim-main.h\"\n");
810 lf_printf (file, "#include \"%sidecode.h\"\n", options.prefix.global.name);
811 lf_printf (file, "#include \"%ssemantics.h\"\n", options.prefix.global.name);
812 lf_printf (file, "#include \"%sicache.h\"\n", options.prefix.global.name);
813 lf_printf (file, "#include \"%ssupport.h\"\n", options.prefix.global.name);
814 lf_printf (file, "\n");
815 lf_printf (file, "\n");
817 print_idecode_globals (file);
818 lf_printf (file, "\n");
820 switch (options.gen.code)
825 for (entry = gen->tables; entry != NULL; entry = entry->next)
827 print_idecode_lookups (file, entry->table, cache_rules);
829 /* output the main idecode routine */
830 if (!options.gen.icache)
832 print_idecode_issue_function_header (file,
833 (options.gen.multi_sim
837 1/*ALWAYS ONE WORD*/);
838 lf_printf (file, "{\n");
839 lf_indent (file, +2);
840 lf_printf (file, "%sinstruction_address nia;\n",
841 options.prefix.global.name);
842 print_idecode_body (file, entry->table, "nia =");
843 lf_printf (file, "return nia;");
844 lf_indent (file, -2);
845 lf_printf (file, "}\n");
852 lf_print__this_file_is_empty (file, "generating a jump engine");
859 /****************************************************************/
867 lf_printf (file, "#include \"sim-main.h\"\n");
868 lf_printf (file, "#include \"engine.h\"\n");
869 lf_printf (file, "#include \"idecode.h\"\n");
870 lf_printf (file, "#include \"bfd.h\"\n");
871 lf_printf (file, "\n");
873 if (options.gen.multi_sim)
875 print_idecode_issue_function_header (file, NULL, is_function_variable, 1);
876 lf_printf (file, "\n");
877 print_engine_run_function_header (file, NULL, is_function_variable);
878 lf_printf (file, "\n");
881 lf_printf (file, "void\n");
882 lf_printf (file, "sim_engine_run (SIM_DESC sd,\n");
883 lf_printf (file, " int next_cpu_nr,\n");
884 lf_printf (file, " int nr_cpus,\n");
885 lf_printf (file, " int siggnal)\n");
886 lf_printf (file, "{\n");
887 lf_indent (file, +2);
888 if (options.gen.multi_sim)
890 lf_printf (file, "int mach;\n");
891 lf_printf (file, "if (STATE_ARCHITECTURE (sd) == NULL)\n");
892 lf_printf (file, " mach = 0;\n");
893 lf_printf (file, "else\n");
894 lf_printf (file, " mach = STATE_ARCHITECTURE (sd)->mach;\n");
895 lf_printf (file, "switch (mach)\n");
896 lf_printf (file, " {\n");
897 lf_indent (file, +2);
898 for (entry = gen->tables; entry != NULL; entry = entry->next)
900 if (options.gen.default_model != NULL
901 && (strcmp (entry->model->name, options.gen.default_model) == 0
902 || strcmp (entry->model->full_name, options.gen.default_model) == 0))
903 lf_printf (file, "default:\n");
904 lf_printf (file, "case bfd_mach_%s:\n", entry->model->full_name);
905 lf_indent (file, +2);
906 print_function_name (file,
908 NULL, /* format name */
909 NULL, /* NO processor */
910 NULL, /* expanded bits */
911 function_name_prefix_idecode);
912 lf_printf (file, " = ");
913 print_function_name (file,
915 NULL, /* format name */
917 NULL, /* expanded bits */
918 function_name_prefix_idecode);
919 lf_printf (file, ";\n");
920 print_function_name (file,
922 NULL, /* format name */
923 NULL, /* NO processor */
924 NULL, /* expanded bits */
925 function_name_prefix_engine);
926 lf_printf (file, " = ");
927 print_function_name (file,
929 NULL, /* format name */
931 NULL, /* expanded bits */
932 function_name_prefix_engine);
933 lf_printf (file, ";\n");
934 lf_printf (file, "break;\n");
935 lf_indent (file, -2);
937 if (options.gen.default_model == NULL)
939 lf_printf (file, "default:\n");
940 lf_indent (file, +2);
941 lf_printf (file, "sim_engine_abort (sd, NULL, NULL_CIA,\n");
942 lf_printf (file, " \"sim_engine_run - unknown machine\");\n");
943 lf_printf (file, "break;\n");
944 lf_indent (file, -2);
946 lf_indent (file, -2);
947 lf_printf (file, " }\n");
949 print_function_name (file,
951 NULL, /* format name */
952 NULL, /* NO processor */
953 NULL, /* expanded bits */
954 function_name_prefix_engine);
955 lf_printf (file, " (sd, next_cpu_nr, nr_cpus, siggnal);\n");
956 lf_indent (file, -2);
957 lf_printf (file, "}\n");
960 /****************************************************************/
963 do_gen (insn_table *isa,
964 decode_table *decode_rules)
967 if (decode_rules == NULL)
968 error (NULL, "Must specify a decode table\n");
970 error (NULL, "Must specify an instruction table\n");
971 if (decode_table_max_word_nr (decode_rules) > 0)
972 options.gen.multi_word = decode_table_max_word_nr (decode_rules);
973 gen = make_gen_tables (isa, decode_rules);
974 gen_tables_expand_insns (gen);
975 gen_tables_expand_semantics (gen);
979 /****************************************************************/
981 igen_options options;
988 cache_entry *cache_rules = NULL;
989 lf_file_references file_references = lf_include_references;
990 decode_table *decode_rules = NULL;
991 insn_table *isa = NULL;
992 gen_table *gen = NULL;
993 char *real_file_name = NULL;
996 lf *standard_out = lf_open ("-", "stdout", lf_omit_references, lf_is_text, "igen");
998 INIT_OPTIONS (options);
1002 printf ("Usage:\n");
1004 printf (" igen <config-opts> ... <input-opts>... <output-opts>...\n");
1006 printf ("Config options:\n");
1008 printf (" -B <bit-size>\n");
1009 printf ("\t Set the number of bits in an instruction (depreciated).\n");
1010 printf ("\t This option can now be set directly in the instruction table.\n");
1012 printf (" -D <data-structure>\n");
1013 printf ("\t Dump the specified data structure to stdout. Valid structures include:\n");
1014 printf ("\t processor-names - list the names of all the processors (models)\n");
1016 printf (" -F <filter-list>\n");
1017 printf ("\t Filter out any instructions with a non-empty flags field that contains\n");
1018 printf ("\t a flag not listed in the <filter-list>.\n");
1020 printf (" -H <high-bit>\n");
1021 printf ("\t Set the number of the high (most significant) instruction bit (depreciated).\n");
1022 printf ("\t This option can now be set directly in the instruction table.\n");
1024 printf (" -I <directory>\n");
1025 printf ("\t Add <directory> to the list of directories searched when opening a file\n");
1027 printf (" -M <model-list>\n");
1028 printf ("\t Filter out any instructions that do not support at least one of the listed\n");
1029 printf ("\t models (An instructions with no model information is considered to support\n");
1030 printf ("\t all models.).\n");
1032 printf (" -N <nr-cpus>\n");
1033 printf ("\t Generate a simulator supporting <nr-cpus>\n");
1034 printf ("\t Specify `-N 0' to disable generation of the SMP. Specifying `-N 1' will\n");
1035 printf ("\t still generate an SMP enabled simulator but will only support one CPU.\n");
1037 printf (" -T <mechanism>\n");
1038 printf ("\t Override the decode mechanism specified by the decode rules\n");
1040 printf (" -P <prefix>\n");
1041 printf ("\t Prepend global names (except itable) with the string <prefix>.\n");
1042 printf ("\t Specify -P <module>=<prefix> to set the <modules> prefix.\n");
1044 printf (" -Werror\n");
1045 printf ("\t Make warnings errors\n");
1046 printf (" -Wnodiscard\n");
1047 printf ("\t Suppress warnings about discarded functions and instructions\n");
1048 printf (" -Wnowidth\n");
1049 printf ("\t Suppress warnings about instructions with invalid widths\n");
1051 printf (" -G [!]<gen-option>\n");
1052 printf ("\t Any of the following options:\n");
1054 printf ("\t decode-duplicate - Override the decode rules, forcing the duplication of\n");
1055 printf ("\t semantic functions\n");
1056 printf ("\t decode-combine - Combine any duplicated entries within a table\n");
1057 printf ("\t decode-zero-reserved - Override the decode rules, forcing reserved bits to be\n");
1058 printf ("\t treated as zero.\n");
1059 printf ("\t decode-switch-is-goto - Overfide the padded-switch code type as a goto-switch\n");
1061 printf ("\t gen-conditional-issue - conditionally issue each instruction\n");
1062 printf ("\t gen-delayed-branch - need both cia and nia passed around\n");
1063 printf ("\t gen-direct-access - use #defines to directly access values\n");
1064 printf ("\t gen-zero-r<N> - arch assumes GPR(<N>) == 0, keep it that way\n");
1065 printf ("\t gen-icache[=<N> - generate an instruction cracking cache of size <N>\n");
1066 printf ("\t Default size is %d\n", options.gen.icache_size);
1067 printf ("\t gen-insn-in-icache - save original instruction when cracking\n");
1068 printf ("\t gen-multi-sim[=MODEL] - generate multiple simulators - one per model\n");
1069 printf ("\t If specified MODEL is made the default architecture.\n");
1070 printf ("\t By default, a single simulator that will\n");
1071 printf ("\t execute any instruction is generated\n");
1072 printf ("\t gen-multi-word - generate code allowing for multi-word insns\n");
1073 printf ("\t gen-semantic-icache - include semantic code in cracking functions\n");
1074 printf ("\t gen-slot-verification - perform slot verification as part of decode\n");
1075 printf ("\t gen-nia-invalid - NIA defaults to nia_invalid\n");
1076 printf ("\t gen-nia-void - do not compute/return NIA\n");
1078 printf ("\t trace-combine - report combined entries a rule application\n");
1079 printf ("\t trace-entries - report entries after a rules application\n");
1080 printf ("\t trace-rule-rejection - report each rule as rejected\n");
1081 printf ("\t trace-rule-selection - report each rule as selected\n");
1083 printf ("\t field-widths - instruction formats specify widths (depreciated)\n");
1084 printf ("\t By default, an instruction format specifies bit\n");
1085 printf ("\t positions\n");
1086 printf ("\t This option can now be set directly in the\n");
1087 printf ("\t instruction table\n");
1088 printf ("\t jumps - use jumps instead of function calls\n");
1089 printf ("\t omit-line-numbers - do not include line number information in the output\n");
1091 printf ("Input options:\n");
1093 printf (" -k <cache-rules> (depreciated)\n");
1094 printf (" -o <decode-rules>\n");
1095 printf (" -i <instruction-table>\n");
1097 printf ("Output options:\n");
1099 printf (" -x Perform expansion (required)\n");
1100 printf (" -n <real-name> Specify the real name of the next output file\n");
1101 printf (" -h Generate the header (.h) file rather than the body (.c)\n");
1102 printf (" -c <output-file> output icache\n");
1103 printf (" -d <output-file> output idecode\n");
1104 printf (" -e <output-file> output engine\n");
1105 printf (" -f <output-file> output support functions\n");
1106 printf (" -m <output-file> output model\n");
1107 printf (" -r <output-file> output multi-sim run\n");
1108 printf (" -s <output-file> output schematic\n");
1109 printf (" -t <output-file> output itable\n");
1112 while ((ch = getopt(argc, argv,
1113 "B:D:F:G:H:I:M:N:P:T:W:o:k:i:n:hc:d:e:m:r:s:t:f:x"))
1116 fprintf (stderr, " -%c ", ch);
1118 fprintf (stderr, "%s ", optarg);
1119 fprintf (stderr, "\\\n");
1125 filter_parse (&options.model_filter, optarg);
1129 if (strcmp (optarg, "processor-names"))
1132 for (processor = filter_next (options.model_filter, "");
1134 processor = filter_next (options.model_filter, processor))
1135 lf_printf (standard_out, "%s\n", processor);
1138 error (NULL, "Unknown data structure %s, not dumped\n", optarg);
1142 filter_parse (&options.flags_filter, optarg);
1147 table_include **dir = &options.include;
1148 while ((*dir) != NULL)
1149 dir = &(*dir)->next;
1150 (*dir) = ZALLOC (table_include);
1151 (*dir)->dir = strdup (optarg);
1156 options.insn_bit_size = a2i (optarg);
1157 if (options.insn_bit_size <= 0
1158 || options.insn_bit_size > max_insn_bit_size)
1160 error (NULL, "Instruction bitsize must be in range 1..%d\n",
1163 if (options.hi_bit_nr != options.insn_bit_size - 1
1164 && options.hi_bit_nr != 0)
1166 error (NULL, "Conflict betweem hi-bit-nr and insn-bit-size\n");
1171 options.hi_bit_nr = a2i (optarg);
1172 if (options.hi_bit_nr != options.insn_bit_size - 1
1173 && options.hi_bit_nr != 0)
1175 error (NULL, "Conflict between hi-bit-nr and insn-bit-size\n");
1180 options.gen.smp = a2i (optarg);
1185 igen_prefix_name *names;
1187 chp = strchr (optarg, '=');
1190 names = &options.prefix.global;
1195 chp = chp + 1; /* skip `=' */
1196 if (strncmp (optarg, "global=", chp - optarg) == 0)
1198 names = &options.prefix.global;
1200 if (strncmp (optarg, "engine=", chp - optarg) == 0)
1202 names = &options.prefix.engine;
1204 if (strncmp (optarg, "icache=", chp - optarg) == 0)
1206 names = &options.prefix.icache;
1208 if (strncmp (optarg, "idecode=", chp - optarg) == 0)
1210 names = &options.prefix.idecode;
1212 if (strncmp (optarg, "itable=", chp - optarg) == 0)
1214 names = &options.prefix.itable;
1216 if (strncmp (optarg, "semantics=", chp - optarg) == 0)
1218 names = &options.prefix.semantics;
1220 if (strncmp (optarg, "support=", chp - optarg) == 0)
1222 names = &options.prefix.support;
1227 error (NULL, "Prefix `%s' unreconized\n", optarg);
1230 names->name = strdup (chp);
1231 names->uname = strdup (chp);
1235 *chp = toupper(*chp);
1238 if (names == &options.prefix.global)
1240 options.prefix.engine = options.prefix.global;
1241 options.prefix.icache = options.prefix.global;
1242 options.prefix.idecode = options.prefix.global;
1243 /* options.prefix.itable = options.prefix.global; */
1244 options.prefix.semantics = options.prefix.global;
1245 options.prefix.support = options.prefix.global;
1252 if (strcmp (optarg, "error") == 0)
1253 options.warning = error;
1254 else if (strcmp (optarg, "nodiscard") == 0)
1255 options.warn.discard = 0;
1256 else if (strcmp (optarg, "discard") == 0)
1257 options.warn.discard = 1;
1258 else if (strcmp (optarg, "nowidth") == 0)
1259 options.warn.width = 0;
1260 else if (strcmp (optarg, "width") == 0)
1261 options.warn.width = 1;
1263 error (NULL, "Unknown -W argument `%s'\n", optarg);
1272 if (strncmp (optarg, "no-", strlen ("no-")) == 0)
1274 argp = optarg + strlen ("no-");
1277 else if (strncmp (optarg, "!", strlen ("!")) == 0)
1279 argp = optarg + strlen ("no-");
1287 if (strcmp (argp, "decode-duplicate") == 0)
1289 options.decode.duplicate = enable_p;
1291 else if (strcmp (argp, "decode-combine") == 0)
1293 options.decode.combine = enable_p;
1295 else if (strcmp (argp, "decode-zero-reserved") == 0)
1297 options.decode.zero_reserved = enable_p;
1300 else if (strcmp (argp, "gen-conditional-issue") == 0)
1302 options.gen.conditional_issue = enable_p;
1304 else if (strcmp (argp, "conditional-issue") == 0)
1306 options.gen.conditional_issue = enable_p;
1307 options.warning (NULL, "Option conditional-issue replaced by gen-conditional-issue\n");
1309 else if (strcmp (argp, "gen-delayed-branch") == 0)
1311 options.gen.delayed_branch = enable_p;
1313 else if (strcmp (argp, "delayed-branch") == 0)
1315 options.gen.delayed_branch = enable_p;
1316 options.warning (NULL, "Option delayed-branch replaced by gen-delayed-branch\n");
1318 else if (strcmp (argp, "gen-direct-access") == 0)
1320 options.gen.direct_access = enable_p;
1322 else if (strcmp (argp, "direct-access") == 0)
1324 options.gen.direct_access = enable_p;
1325 options.warning (NULL, "Option direct-access replaced by gen-direct-access\n");
1327 else if (strncmp (argp, "gen-zero-r", strlen ("gen-zero-r")) == 0)
1329 options.gen.zero_reg = enable_p;
1330 options.gen.zero_reg_nr = atoi (argp + strlen ("gen-zero-r"));
1332 else if (strncmp (argp, "zero-r", strlen ("zero-r")) == 0)
1334 options.gen.zero_reg = enable_p;
1335 options.gen.zero_reg_nr = atoi (argp + strlen ("zero-r"));
1336 options.warning (NULL, "Option zero-r<N> replaced by gen-zero-r<N>\n");
1338 else if (strncmp (argp, "gen-icache", strlen ("gen-icache")) == 0)
1340 switch (argp[strlen ("gen-icache")])
1343 options.gen.icache_size = atoi (argp + strlen ("gen-icache") + 1);
1344 options.gen.icache = enable_p;
1347 options.gen.icache = enable_p;
1350 error (NULL, "Expecting -Ggen-icache or -Ggen-icache=<N>\n");
1353 else if (strcmp (argp, "gen-insn-in-icache") == 0)
1355 options.gen.insn_in_icache = enable_p;
1357 else if (strncmp (argp, "gen-multi-sim", strlen ("gen-multi-sim")) == 0)
1359 char *arg = &argp[strlen ("gen-multi-sim")];
1363 options.gen.multi_sim = enable_p;
1364 options.gen.default_model = arg + 1;
1365 if (! filter_is_member (options.model_filter, options.gen.default_model))
1366 error (NULL, "multi-sim model %s unknown\n", options.gen.default_model);
1369 options.gen.multi_sim = enable_p;
1370 options.gen.default_model = NULL;
1373 error (NULL, "Expecting -Ggen-multi-sim or -Ggen-multi-sim=<MODEL>\n");
1377 else if (strcmp (argp, "gen-multi-word") == 0)
1379 options.gen.multi_word = enable_p;
1381 else if (strcmp (argp, "gen-semantic-icache") == 0)
1383 options.gen.semantic_icache = enable_p;
1385 else if (strcmp (argp, "gen-slot-verification") == 0)
1387 options.gen.slot_verification = enable_p;
1389 else if (strcmp (argp, "verify-slot") == 0)
1391 options.gen.slot_verification = enable_p;
1392 options.warning (NULL, "Option verify-slot replaced by gen-slot-verification\n");
1394 else if (strcmp (argp, "gen-nia-invalid") == 0)
1396 options.gen.nia = nia_is_invalid;
1398 else if (strcmp (argp, "default-nia-minus-one") == 0)
1400 options.gen.nia = nia_is_invalid;
1401 options.warning (NULL, "Option default-nia-minus-one replaced by gen-nia-invalid\n");
1403 else if (strcmp (argp, "gen-nia-void") == 0)
1405 options.gen.nia = nia_is_void;
1407 else if (strcmp (argp, "trace-combine") == 0)
1409 options.trace.combine = enable_p;
1411 else if (strcmp (argp, "trace-entries") == 0)
1413 options.trace.entries = enable_p;
1415 else if (strcmp (argp, "trace-rule-rejection") == 0)
1417 options.trace.rule_rejection = enable_p;
1419 else if (strcmp (argp, "trace-rule-selection") == 0)
1421 options.trace.rule_selection = enable_p;
1423 else if (strcmp (argp, "jumps") == 0)
1425 options.gen.code = generate_jumps;
1427 else if (strcmp (argp, "field-widths") == 0)
1429 options.insn_specifying_widths = enable_p;
1431 else if (strcmp (argp, "omit-line-numbers") == 0)
1433 file_references = lf_omit_references;
1437 error (NULL, "Unknown option %s\n", optarg);
1443 isa = load_insn_table (optarg, cache_rules);
1444 if (isa->illegal_insn == NULL)
1445 error (NULL, "illegal-instruction missing from insn table\n");
1449 gen = do_gen (isa, decode_rules);
1453 decode_rules = load_decode_table (optarg);
1458 error (NULL, "Cache file must appear before the insn file\n");
1459 cache_rules = load_cache_table (optarg);
1463 real_file_name = strdup(optarg);
1479 lf *file = lf_open(optarg, real_file_name, file_references,
1480 (is_header ? lf_is_h : lf_is_c),
1482 if (gen == NULL && ch != 't' && ch != 'm' && ch != 'f')
1484 options.warning (NULL, "Explicitly generate tables with -x option\n");
1485 gen = do_gen (isa, decode_rules);
1487 lf_print__file_start(file);
1492 gen_model_h (file, isa);
1494 gen_model_c (file, isa);
1498 gen_itable_h (file, isa);
1500 gen_itable_c (file, isa);
1504 gen_support_h (file, isa);
1506 gen_support_c (file, isa);
1510 options.warning (NULL, "-hr option ignored\n");
1512 gen_run_c (file, gen);
1516 gen_semantics_h (file, gen->semantics, isa->max_nr_words);
1518 gen_semantics_c (file, gen->semantics, isa->caches);
1522 gen_idecode_h (file, gen, isa, cache_rules);
1524 gen_idecode_c (file, gen, isa, cache_rules);
1528 gen_engine_h (file, gen, isa, cache_rules);
1530 gen_engine_c (file, gen, isa, cache_rules);
1545 lf_print__file_finish(file);
1549 real_file_name = NULL;
1552 ERROR ("Bad switch");