1 /* This file is part of the program psim.
3 Copyright (C) 1994-1997, 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
,
337 const char *phase_lc
)
339 const char *prefix
= "trace_one_insn (";
340 int indent
= strlen (prefix
);
341 lf_printf (file
, "%sSD, CPU, %s, TRACE_LINENUM_P (CPU), \\\n",
342 prefix
, (options
.gen
.delayed_branch
? "cia.ip" : "cia"));
343 lf_indent (file
, +indent
);
344 lf_printf (file
, "%sitable[MY_INDEX].file, \\\n", options
.prefix
.itable
.name
);
345 lf_printf (file
, "%sitable[MY_INDEX].line_nr, \\\n", options
.prefix
.itable
.name
);
346 lf_printf (file
, "\"%s\", \\\n", phase_lc
);
347 lf_printf (file
, "\"%%-18s - ");
353 print_itrace_format (lf
*file
,
354 insn_mnemonic_entry
*assembler
)
356 /* pass=1 is fmt string; pass=2 is is arguments */
358 /* print the format string */
359 for (pass
= 1; pass
<= 2; pass
++)
361 const char *chp
= assembler
->format
;
362 chp
++; /* skip the leading quote */
363 /* prefix the format with the insn `name' */
366 lf_printf (file
, ", \\\n");
367 lf_printf (file
, "%sitable[MY_INDEX].name", options
.prefix
.itable
.name
);
369 /* write out the format/args */
372 if (chp
[0] == '\\' && (chp
[1] == '<' || chp
[1] == '>'))
375 lf_putchr (file
, chp
[1]);
378 else if (chp
[0] == '<' || chp
[0] == '%')
380 /* parse [ "%" ... ] "<" [ func "#" ] param ">" */
386 /* the "%" ... "<" format */
388 while (chp
[0] != '<' && chp
[0] != '\0')
391 error (assembler
->line
, "Missing `<' after `%%'\n");
393 /* [ "func" # ] OR "param" */
396 while (chp
[0] != '>' && chp
[0] != '#' && chp
[0] != '\0')
398 strlen_func
= chp
- func
;
403 while (chp
[0] != '>' && chp
[0] != '\0')
406 strlen_param
= chp
- param
;
408 error (assembler
->line
, "Missing closing `>' in assembler string\n");
412 lf_printf (file
, ", \\\n");
413 if (strncmp (fmt
, "<", 1) == 0)
414 /* implicit long int format */
417 lf_printf (file
, "%%ld");
420 lf_printf (file
, "(long) ");
421 lf_write (file
, param
, strlen_param
);
424 else if (strncmp (fmt
, "%<", 2) == 0)
425 /* explicit format */
428 lf_printf (file
, "%%");
430 lf_write (file
, param
, strlen_param
);
432 else if (strncmp (fmt
, "%s<", 3) == 0)
436 lf_printf (file
, "%%s");
439 lf_printf (file
, "%sstr_", options
.prefix
.global
.name
);
440 lf_write (file
, func
, strlen_func
);
441 lf_printf (file
, " (SD_, ");
442 lf_write (file
, param
, strlen_param
);
443 lf_printf (file
, ")");
446 else if (strncmp (fmt
, "%lx<", 4) == 0)
450 lf_printf (file
, "%%lx");
453 lf_printf (file
, "(unsigned long) ");
454 lf_write (file
, param
, strlen_param
);
457 else if (strncmp (fmt
, "%08lx<", 6) == 0)
461 lf_printf (file
, "%%08lx");
464 lf_printf (file
, "(unsigned long) ");
465 lf_write (file
, param
, strlen_param
);
469 error (assembler
->line
, "Unknown assembler string format\n");
474 lf_putchr (file
, chp
[0]);
479 lf_printf (file
, ");\n");
484 print_itrace (lf
*file
,
488 /* NB: Here we escape each eoln. This is so that the the compiler
489 treats a trace function call as a single line. Consequently any
490 errors in the line are refered back to the same igen assembler
492 const char *phase
= (idecode
) ? "DECODE" : "INSN";
493 const char *phase_lc
= (idecode
) ? "decode" : "insn";
494 lf_printf (file
, "\n");
495 lf_indent_suppress (file
);
496 lf_printf (file
, "#if defined (WITH_TRACE)\n");
497 lf_printf (file
, "/* trace the instructions execution if enabled */\n");
498 lf_printf (file
, "if (TRACE_%s_P (CPU))\n", phase
);
499 if (insn
->mnemonics
!= NULL
)
501 insn_mnemonic_entry
*assembler
= insn
->mnemonics
;
503 lf_printf (file
, " {\n");
504 lf_indent (file
, +4);
507 if (assembler
->condition
!= NULL
)
510 lf_printf (file
, "%sif (%s)\n",
511 is_first
? "" : "else ",
512 assembler
->condition
);
513 lf_indent (file
, +2);
514 lf_print__line_ref (file
, assembler
->line
);
515 indent
= print_itrace_prefix (file
, phase_lc
);
516 print_itrace_format (file
, assembler
);
517 lf_print__internal_ref (file
);
518 lf_indent (file
, -indent
);
519 lf_indent (file
, -2);
520 if (assembler
->next
== NULL
)
521 error (assembler
->line
, "Missing final unconditional assembler\n");
528 lf_printf (file
, "else\n");
529 lf_indent (file
, +2);
531 lf_print__line_ref (file
, assembler
->line
);
532 indent
= print_itrace_prefix (file
, phase_lc
);
533 print_itrace_format (file
, assembler
);
534 lf_print__internal_ref (file
);
535 lf_indent (file
, -indent
);
537 lf_indent (file
, -2);
538 if (assembler
->next
!= NULL
)
539 error (assembler
->line
, "Unconditional assembler is not last\n");
542 assembler
= assembler
->next
;
544 while (assembler
!= NULL
);
545 lf_indent (file
, -4);
546 lf_printf (file
, " }\n");
551 lf_indent (file
, +2);
552 lf_print__line_ref (file
, insn
->line
);
553 indent
= print_itrace_prefix (file
, phase_lc
);
554 lf_printf (file
, "?\", \\\n");
555 lf_printf (file
, "itable[MY_INDEX].name);\n");
556 lf_print__internal_ref (file
);
557 lf_indent (file
, -indent
);
558 lf_indent (file
, -2);
560 lf_indent_suppress (file
);
561 lf_printf (file
, "#endif\n");
566 print_sim_engine_abort (lf
*file
,
569 lf_printf (file
, "sim_engine_abort (SD, CPU, cia, ");
570 lf_printf (file
, "\"%s\"", message
);
571 lf_printf (file
, ");\n");
575 /****************************************************************/
579 gen_semantics_h (lf
*file
,
580 insn_list
*semantics
,
585 for (word_nr
= -1; word_nr
<= max_nr_words
; word_nr
++)
587 lf_printf (file
, "typedef ");
588 print_semantic_function_type (file
);
589 lf_printf (file
, " %sidecode_semantic",
590 options
.prefix
.global
.name
);
592 lf_printf (file
, "_%d", word_nr
);
593 lf_printf (file
, "\n(");
594 lf_indent (file
, +1);
595 print_semantic_function_formal (file
, word_nr
);
596 lf_indent (file
, -1);
597 lf_printf (file
, ");\n");
598 lf_printf (file
, "\n");
600 switch (options
.gen
.code
)
603 for (semantic
= semantics
; semantic
!= NULL
; semantic
= semantic
->next
)
605 /* Ignore any special/internal instructions */
606 if (semantic
->insn
->nr_words
== 0)
608 print_semantic_declaration (file
,
610 semantic
->expanded_bits
,
612 semantic
->nr_prefetched_words
);
616 lf_print__this_file_is_empty (file
, "generating jumps");
623 gen_semantics_c (lf
*file
,
624 insn_list
*semantics
,
625 cache_entry
*cache_rules
)
627 if (options
.gen
.code
== generate_calls
)
630 lf_printf (file
, "\n");
631 lf_printf (file
, "#include \"sim-main.h\"\n");
632 lf_printf (file
, "#include \"%sitable.h\"\n",
633 options
.prefix
.itable
.name
);
634 lf_printf (file
, "#include \"%sidecode.h\"\n",
635 options
.prefix
.idecode
.name
);
636 lf_printf (file
, "#include \"%ssemantics.h\"\n",
637 options
.prefix
.semantics
.name
);
638 lf_printf (file
, "#include \"%ssupport.h\"\n",
639 options
.prefix
.support
.name
);
640 lf_printf (file
, "\n");
641 for (semantic
= semantics
; semantic
!= NULL
; semantic
= semantic
->next
)
643 /* Ignore any special/internal instructions */
644 if (semantic
->insn
->nr_words
== 0)
646 print_semantic_definition (file
,
648 semantic
->expanded_bits
,
651 semantic
->nr_prefetched_words
);
656 lf_print__this_file_is_empty (file
, "generating jump engine");
661 /****************************************************************/
665 gen_icache_h (lf
*file
,
667 function_entry
*functions
,
671 for (word_nr
= 0; word_nr
<= max_nr_words
; word_nr
++)
673 lf_printf (file
, "typedef ");
674 print_icache_function_type(file
);
675 lf_printf (file
, " %sidecode_icache_%d\n(",
676 options
.prefix
.global
.name
,
678 print_icache_function_formal(file
, word_nr
);
679 lf_printf (file
, ");\n");
680 lf_printf (file
, "\n");
682 if (options
.gen
.code
== generate_calls
683 && options
.gen
.icache
)
685 function_entry_traverse (file
, functions
,
686 print_icache_internal_function_declaration
,
688 while (semantic
!= NULL
)
690 print_icache_declaration (file
,
692 semantic
->expanded_bits
,
694 semantic
->nr_prefetched_words
);
695 semantic
= semantic
->next
;
700 lf_print__this_file_is_empty (file
, "generating jump engine");
705 gen_icache_c (lf
*file
,
707 function_entry
*functions
,
708 cache_entry
*cache_rules
)
710 /* output `internal' invalid/floating-point unavailable functions
712 if (options
.gen
.code
== generate_calls
713 && options
.gen
.icache
)
715 lf_printf (file
, "\n");
716 lf_printf (file
, "#include \"cpu.h\"\n");
717 lf_printf (file
, "#include \"idecode.h\"\n");
718 lf_printf (file
, "#include \"semantics.h\"\n");
719 lf_printf (file
, "#include \"icache.h\"\n");
720 lf_printf (file
, "#include \"support.h\"\n");
721 lf_printf (file
, "\n");
722 function_entry_traverse (file
, functions
,
723 print_icache_internal_function_definition
,
725 lf_printf (file
, "\n");
726 while (semantic
!= NULL
)
728 print_icache_definition (file
,
730 semantic
->expanded_bits
,
733 semantic
->nr_prefetched_words
);
734 semantic
= semantic
->next
;
739 lf_print__this_file_is_empty (file
, "generating jump engine");
744 /****************************************************************/
748 gen_idecode_h (lf
*file
,
751 cache_entry
*cache_rules
)
753 lf_printf (file
, "typedef unsigned%d %sinstruction_word;\n",
754 options
.insn_bit_size
, options
.prefix
.global
.name
);
755 if (options
.gen
.delayed_branch
)
757 lf_printf (file
, "typedef struct _%sinstruction_address {\n",
758 options
.prefix
.global
.name
);
759 lf_printf (file
, " address_word ip; /* instruction pointer */\n");
760 lf_printf (file
, " address_word dp; /* delayed-slot pointer */\n");
761 lf_printf (file
, "} %sinstruction_address;\n", options
.prefix
.global
.name
);
765 lf_printf (file
, "typedef address_word %sinstruction_address;\n",
766 options
.prefix
.global
.name
);
769 if (options
.gen
.nia
== nia_is_invalid
770 && strlen (options
.prefix
.global
.uname
) > 0)
772 lf_indent_suppress (file
);
773 lf_printf (file
, "#define %sINVALID_INSTRUCTION_ADDRESS ",
774 options
.prefix
.global
.uname
);
775 lf_printf (file
, "INVALID_INSTRUCTION_ADDRESS\n");
777 lf_printf (file
, "\n");
778 print_icache_struct (file
, insns
, cache_rules
);
779 lf_printf (file
, "\n");
780 if (options
.gen
.icache
)
782 ERROR ("FIXME - idecode with icache suffering from bit-rot");
787 for (entry
= gen
->tables
; entry
!= NULL
; entry
= entry
->next
)
789 print_idecode_issue_function_header (file
,
792 1/*ALWAYS ONE WORD*/);
799 gen_idecode_c (lf
*file
,
802 cache_entry
*cache_rules
)
805 lf_printf (file
, "#include \"sim-main.h\"\n");
806 lf_printf (file
, "#include \"%sidecode.h\"\n", options
.prefix
.global
.name
);
807 lf_printf (file
, "#include \"%ssemantics.h\"\n", options
.prefix
.global
.name
);
808 lf_printf (file
, "#include \"%sicache.h\"\n", options
.prefix
.global
.name
);
809 lf_printf (file
, "#include \"%ssupport.h\"\n", options
.prefix
.global
.name
);
810 lf_printf (file
, "\n");
811 lf_printf (file
, "\n");
813 print_idecode_globals (file
);
814 lf_printf (file
, "\n");
816 switch (options
.gen
.code
)
821 for (entry
= gen
->tables
; entry
!= NULL
; entry
= entry
->next
)
823 print_idecode_lookups (file
, entry
->table
, cache_rules
);
825 /* output the main idecode routine */
826 if (!options
.gen
.icache
)
828 print_idecode_issue_function_header (file
,
831 1/*ALWAYS ONE WORD*/);
832 lf_printf (file
, "{\n");
833 lf_indent (file
, +2);
834 lf_printf (file
, "%sinstruction_address nia;\n",
835 options
.prefix
.global
.name
);
836 print_idecode_body (file
, entry
->table
, "nia =");
837 lf_printf (file
, "return nia;");
838 lf_indent (file
, -2);
839 lf_printf (file
, "}\n");
846 lf_print__this_file_is_empty (file
, "generating a jump engine");
853 /****************************************************************/
861 lf_printf (file
, "#include \"sim-main.h\"\n");
862 lf_printf (file
, "#include \"engine.h\"\n");
863 lf_printf (file
, "#include \"bfd.h\"\n");
864 lf_printf (file
, "\n");
865 lf_printf (file
, "void\n");
866 lf_printf (file
, "sim_engine_run (SIM_DESC sd,\n");
867 lf_printf (file
, " int next_cpu_nr,\n");
868 lf_printf (file
, " int siggnal)\n");
869 lf_printf (file
, "{\n");
870 lf_indent (file
, +2);
871 if (options
.gen
.multi_sim
)
873 lf_printf (file
, "int mach;\n");
874 lf_printf (file
, "if (STATE_ARCHITECTURE (sd) == NULL)\n");
875 lf_printf (file
, " mach = 0;\n");
876 lf_printf (file
, "else\n");
877 lf_printf (file
, " mach = STATE_ARCHITECTURE (sd)->mach;\n");
878 lf_printf (file
, "switch (mach)\n");
879 lf_printf (file
, " {\n");
880 lf_indent (file
, +2);
881 for (entry
= gen
->tables
; entry
!= NULL
; entry
= entry
->next
)
883 lf_printf (file
, "case bfd_mach_%s:\n", entry
->processor
);
884 lf_indent (file
, +2);
885 print_function_name (file
,
887 NULL
, /* format name */
889 NULL
, /* expanded bits */
890 function_name_prefix_engine
);
891 lf_printf (file
, " (sd, next_cpu_nr, siggnal);\n");
892 lf_printf (file
, "break;\n");
893 lf_indent (file
, -2);
895 lf_printf (file
, "default:\n");
896 lf_indent (file
, +2);
897 lf_printf (file
, "sim_engine_abort (sd, NULL, NULL_CIA,\n");
898 lf_printf (file
, " \"sim_engine_run - unknown machine\");\n");
899 lf_printf (file
, "break;\n");
900 lf_indent (file
, -2);
901 lf_indent (file
, -2);
902 lf_printf (file
, " }\n");
906 print_function_name (file
,
908 NULL
, /* format name */
909 NULL
, /* NO processor */
910 NULL
, /* expanded bits */
911 function_name_prefix_engine
);
912 lf_printf (file
, " (sd, next_cpu_nr, siggnal);\n");
914 lf_indent (file
, -2);
915 lf_printf (file
, "}\n");
918 /****************************************************************/
921 do_gen (insn_table
*isa
,
922 decode_table
*decode_rules
)
925 if (decode_rules
== NULL
)
926 error (NULL
, "Must specify a decode table\n");
928 error (NULL
, "Must specify an instruction table\n");
929 if (decode_table_max_word_nr (decode_rules
) > 0)
930 options
.gen
.multi_word
= decode_table_max_word_nr (decode_rules
);
931 gen
= make_gen_tables (isa
, decode_rules
);
932 gen_tables_expand_insns (gen
);
933 gen_tables_expand_semantics (gen
);
937 /****************************************************************/
939 igen_options options
;
946 cache_entry
*cache_rules
= NULL
;
947 lf_file_references file_references
= lf_include_references
;
948 decode_table
*decode_rules
= NULL
;
949 insn_table
*isa
= NULL
;
950 gen_table
*gen
= NULL
;
951 char *real_file_name
= NULL
;
954 lf
*standard_out
= lf_open ("-", "stdout", lf_omit_references
, lf_is_text
, "igen");
956 INIT_OPTIONS (options
);
962 printf (" igen <config-opts> ... <input-opts>... <output-opts>...\n");
964 printf ("Config options:\n");
966 printf (" -B <bit-size>\n");
967 printf ("\t Set the number of bits in an instruction (depreciated).\n");
968 printf ("\t This option can now be set directly in the instruction table.\n");
970 printf (" -D <data-structure>\n");
971 printf ("\t Dump the specified data structure to stdout. Valid structures include:\n");
972 printf ("\t processor-names - list the names of all the processors (models)\n");
974 printf (" -F <filter-list>\n");
975 printf ("\t Filter out any instructions with a non-empty flags field that contains\n");
976 printf ("\t a flag not listed in the <filter-list>.\n");
978 printf (" -H <high-bit>\n");
979 printf ("\t Set the number of the high (most significant) instruction bit (depreciated).\n");
980 printf ("\t This option can now be set directly in the instruction table.\n");
982 printf (" -I <directory>\n");
983 printf ("\t Add <directory> to the list of directories searched when opening a file\n");
985 printf (" -M <model-list>\n");
986 printf ("\t Filter out any instructions that do not support at least one of the listed\n");
987 printf ("\t models (An instructions with no model information is considered to support\n");
988 printf ("\t all models.).\n");
990 printf (" -N <nr-cpus>\n");
991 printf ("\t Generate a simulator supporting <nr-cpus>\n");
992 printf ("\t Specify `-N 0' to disable generation of the SMP. Specifying `-N 1' will\n");
993 printf ("\t still generate an SMP enabled simulator but will only support one CPU.\n");
995 printf (" -T <mechanism>\n");
996 printf ("\t Override the decode mechanism specified by the decode rules\n");
998 printf (" -P <prefix>\n");
999 printf ("\t Prepend global names (except itable) with the string <prefix>.\n");
1000 printf ("\t Specify -P <module>=<prefix> to set the <modules> prefix.\n");
1002 printf (" -Werror\n");
1003 printf ("\t Make warnings errors\n");
1004 printf (" -Wnodiscard\n");
1005 printf ("\t Suppress warnings about discarded instructions\n");
1007 printf (" -G [!]<gen-option>\n");
1008 printf ("\t Any of the following options:\n");
1010 printf ("\t decode-duplicate - Override the decode rules, forcing the duplication of\n");
1011 printf ("\t semantic functions\n");
1012 printf ("\t decode-combine - Combine any duplicated entries within a table\n");
1013 printf ("\t decode-zero-reserved - Override the decode rules, forcing reserved bits to be\n");
1014 printf ("\t treated as zero.\n");
1015 printf ("\t decode-switch-is-goto - Overfide the padded-switch code type as a goto-switch\n");
1017 printf ("\t gen-conditional-issue - conditionally issue each instruction\n");
1018 printf ("\t gen-delayed-branch - need both cia and nia passed around\n");
1019 printf ("\t gen-direct-access - use #defines to directly access values\n");
1020 printf ("\t gen-zero-r<N> - arch assumes GPR(<N>) == 0, keep it that way\n");
1021 printf ("\t gen-icache[=<N> - generate an instruction cracking cache of size <N>\n");
1022 printf ("\t Default size is %d\n", options
.gen
.icache_size
);
1023 printf ("\t gen-insn-in-icache - save original instruction when cracking\n");
1024 printf ("\t gen-multi-sim - generate multiple simulators - one per model\n");
1025 printf ("\t By default, a single simulator that will\n");
1026 printf ("\t execute any instruction is generated\n");
1027 printf ("\t gen-multi-word - generate code allowing for multi-word insns\n");
1028 printf ("\t gen-semantic-icache - include semantic code in cracking functions\n");
1029 printf ("\t gen-slot-verification - perform slot verification as part of decode\n");
1030 printf ("\t gen-nia-invalid - NIA defaults to nia_invalid\n");
1031 printf ("\t gen-nia-void - do not compute/return NIA\n");
1033 printf ("\t trace-combine - report combined entries a rule application\n");
1034 printf ("\t trace-entries - report entries after a rules application\n");
1035 printf ("\t trace-rule-rejection - report each rule as rejected\n");
1036 printf ("\t trace-rule-selection - report each rule as selected\n");
1038 printf ("\t field-widths - instruction formats specify widths (depreciated)\n");
1039 printf ("\t By default, an instruction format specifies bit\n");
1040 printf ("\t positions\n");
1041 printf ("\t This option can now be set directly in the\n");
1042 printf ("\t instruction table\n");
1043 printf ("\t jumps - use jumps instead of function calls\n");
1044 printf ("\t omit-line-numbers - do not include line number information in the output\n");
1046 printf ("Input options:\n");
1048 printf (" -k <cache-rules> (depreciated)\n");
1049 printf (" -o <decode-rules>\n");
1050 printf (" -i <instruction-table>\n");
1052 printf ("Output options:\n");
1054 printf (" -x Perform expansion (required)\n");
1055 printf (" -n <real-name> Specify the real name of the next output file\n");
1056 printf (" -h Generate the header (.h) file rather than the body (.c)\n");
1057 printf (" -c <output-file> output icache\n");
1058 printf (" -d <output-file> output idecode\n");
1059 printf (" -e <output-file> output engine\n");
1060 printf (" -f <output-file> output support functions\n");
1061 printf (" -m <output-file> output model\n");
1062 printf (" -r <output-file> output multi-sim run\n");
1063 printf (" -s <output-file> output schematic\n");
1064 printf (" -t <output-file> output itable\n");
1067 while ((ch
= getopt(argc
, argv
,
1068 "B:D:F:G:H:I:M:N:P:T:W:o:k:i:n:hc:d:e:m:r:s:t:f:x"))
1071 fprintf (stderr
, " -%c ", ch
);
1073 fprintf (stderr
, "%s ", optarg
);
1074 fprintf (stderr
, "\\\n");
1080 filter_parse (&options
.model_filter
, optarg
);
1084 if (strcmp (optarg
, "processor-names"))
1087 for (processor
= filter_next (options
.model_filter
, "");
1089 processor
= filter_next (options
.model_filter
, processor
))
1090 lf_printf (standard_out
, "%s\n", processor
);
1093 error (NULL
, "Unknown data structure %s, not dumped\n", optarg
);
1097 filter_parse (&options
.flags_filter
, optarg
);
1102 table_include
**dir
= &options
.include
;
1103 while ((*dir
) != NULL
)
1104 dir
= &(*dir
)->next
;
1105 (*dir
) = ZALLOC (table_include
);
1106 (*dir
)->dir
= strdup (optarg
);
1111 options
.insn_bit_size
= a2i (optarg
);
1112 if (options
.insn_bit_size
<= 0
1113 || options
.insn_bit_size
> max_insn_bit_size
)
1115 error (NULL
, "Instruction bitsize must be in range 1..%d\n",
1118 if (options
.hi_bit_nr
!= options
.insn_bit_size
- 1
1119 && options
.hi_bit_nr
!= 0)
1121 error (NULL
, "Conflict betweem hi-bit-nr and insn-bit-size\n");
1126 options
.hi_bit_nr
= a2i (optarg
);
1127 if (options
.hi_bit_nr
!= options
.insn_bit_size
- 1
1128 && options
.hi_bit_nr
!= 0)
1130 error (NULL
, "Conflict between hi-bit-nr and insn-bit-size\n");
1135 options
.gen
.smp
= a2i (optarg
);
1140 igen_prefix_name
*names
;
1142 chp
= strchr (optarg
, '=');
1145 names
= &options
.prefix
.global
;
1150 chp
= chp
+ 1; /* skip `=' */
1151 if (strncmp (optarg
, "global=", chp
- optarg
) == 0)
1153 names
= &options
.prefix
.global
;
1155 if (strncmp (optarg
, "engine=", chp
- optarg
) == 0)
1157 names
= &options
.prefix
.engine
;
1159 if (strncmp (optarg
, "icache=", chp
- optarg
) == 0)
1161 names
= &options
.prefix
.icache
;
1163 if (strncmp (optarg
, "idecode=", chp
- optarg
) == 0)
1165 names
= &options
.prefix
.idecode
;
1167 if (strncmp (optarg
, "itable=", chp
- optarg
) == 0)
1169 names
= &options
.prefix
.itable
;
1171 if (strncmp (optarg
, "semantics=", chp
- optarg
) == 0)
1173 names
= &options
.prefix
.semantics
;
1175 if (strncmp (optarg
, "support=", chp
- optarg
) == 0)
1177 names
= &options
.prefix
.support
;
1182 error (NULL
, "Prefix `%s' unreconized\n", optarg
);
1185 names
->name
= strdup (chp
);
1186 names
->uname
= strdup (chp
);
1190 *chp
= toupper(*chp
);
1193 if (names
== &options
.prefix
.global
)
1195 options
.prefix
.engine
= options
.prefix
.global
;
1196 options
.prefix
.icache
= options
.prefix
.global
;
1197 options
.prefix
.idecode
= options
.prefix
.global
;
1198 /* options.prefix.itable = options.prefix.global; */
1199 options
.prefix
.semantics
= options
.prefix
.global
;
1200 options
.prefix
.support
= options
.prefix
.global
;
1207 if (strcmp (optarg
, "error") == 0)
1208 options
.warning
= error
;
1209 else if (strcmp (optarg
, "nodiscard") == 0)
1210 options
.warn
.discard
= 0;
1211 else if (strcmp (optarg
, "discard") == 0)
1212 options
.warn
.discard
= 1;
1214 error (NULL
, "Unknown -W argument `%s'\n", optarg
);
1223 if (strncmp (optarg
, "no-", strlen ("no-")) == 0)
1225 argp
= optarg
+ strlen ("no-");
1228 else if (strncmp (optarg
, "!", strlen ("!")) == 0)
1230 argp
= optarg
+ strlen ("no-");
1238 if (strcmp (argp
, "decode-duplicate") == 0)
1240 options
.decode
.duplicate
= enable_p
;
1242 else if (strcmp (argp
, "decode-combine") == 0)
1244 options
.decode
.combine
= enable_p
;
1246 else if (strcmp (argp
, "decode-zero-reserved") == 0)
1248 options
.decode
.zero_reserved
= enable_p
;
1251 else if (strcmp (argp
, "gen-conditional-issue") == 0)
1253 options
.gen
.conditional_issue
= enable_p
;
1255 else if (strcmp (argp
, "conditional-issue") == 0)
1257 options
.gen
.conditional_issue
= enable_p
;
1258 options
.warning (NULL
, "Option conditional-issue replaced by gen-conditional-issue\n");
1260 else if (strcmp (argp
, "gen-delayed-branch") == 0)
1262 options
.gen
.delayed_branch
= enable_p
;
1264 else if (strcmp (argp
, "delayed-branch") == 0)
1266 options
.gen
.delayed_branch
= enable_p
;
1267 options
.warning (NULL
, "Option delayed-branch replaced by gen-delayed-branch\n");
1269 else if (strcmp (argp
, "gen-direct-access") == 0)
1271 options
.gen
.direct_access
= enable_p
;
1273 else if (strcmp (argp
, "direct-access") == 0)
1275 options
.gen
.direct_access
= enable_p
;
1276 options
.warning (NULL
, "Option direct-access replaced by gen-direct-access\n");
1278 else if (strncmp (argp
, "gen-zero-r", strlen ("gen-zero-r")) == 0)
1280 options
.gen
.zero_reg
= enable_p
;
1281 options
.gen
.zero_reg_nr
= atoi (argp
+ strlen ("gen-zero-r"));
1283 else if (strncmp (argp
, "zero-r", strlen ("zero-r")) == 0)
1285 options
.gen
.zero_reg
= enable_p
;
1286 options
.gen
.zero_reg_nr
= atoi (argp
+ strlen ("zero-r"));
1287 options
.warning (NULL
, "Option zero-r<N> replaced by gen-zero-r<N>\n");
1289 else if (strncmp (argp
, "gen-icache", strlen ("gen-icache")) == 0)
1291 switch (argp
[strlen ("gen-icache")])
1294 options
.gen
.icache_size
= atoi (argp
+ strlen ("gen-icache") + 1);
1297 options
.gen
.icache
= enable_p
;
1300 error (NULL
, "Expecting -Ggen-icache or -Ggen-icache=<N>\n");
1303 else if (strcmp (argp
, "gen-insn-in-icache") == 0)
1305 options
.gen
.insn_in_icache
= enable_p
;
1307 else if (strcmp (argp
, "gen-multi-sim") == 0)
1309 options
.gen
.multi_sim
= enable_p
;
1311 else if (strcmp (argp
, "gen-multi-word") == 0)
1313 options
.gen
.multi_word
= enable_p
;
1315 else if (strcmp (argp
, "gen-semantic-icache") == 0)
1317 options
.gen
.semantic_icache
= enable_p
;
1319 else if (strcmp (argp
, "gen-slot-verification") == 0)
1321 options
.gen
.slot_verification
= enable_p
;
1323 else if (strcmp (argp
, "verify-slot") == 0)
1325 options
.gen
.slot_verification
= enable_p
;
1326 options
.warning (NULL
, "Option verify-slot replaced by gen-slot-verification\n");
1328 else if (strcmp (argp
, "gen-nia-invalid") == 0)
1330 options
.gen
.nia
= nia_is_invalid
;
1332 else if (strcmp (argp
, "default-nia-minus-one") == 0)
1334 options
.gen
.nia
= nia_is_invalid
;
1335 options
.warning (NULL
, "Option default-nia-minus-one replaced by gen-nia-invalid\n");
1337 else if (strcmp (argp
, "gen-nia-void") == 0)
1339 options
.gen
.nia
= nia_is_void
;
1341 else if (strcmp (argp
, "trace-combine") == 0)
1343 options
.trace
.combine
= enable_p
;
1345 else if (strcmp (argp
, "trace-entries") == 0)
1347 options
.trace
.entries
= enable_p
;
1349 else if (strcmp (argp
, "trace-rule-rejection") == 0)
1351 options
.trace
.rule_rejection
= enable_p
;
1353 else if (strcmp (argp
, "trace-rule-selection") == 0)
1355 options
.trace
.rule_selection
= enable_p
;
1357 else if (strcmp (argp
, "jumps") == 0)
1359 options
.gen
.code
= generate_jumps
;
1361 else if (strcmp (argp
, "field-widths") == 0)
1363 options
.insn_specifying_widths
= enable_p
;
1365 else if (strcmp (argp
, "omit-line-numbers") == 0)
1367 file_references
= lf_omit_references
;
1371 error (NULL
, "Unknown option %s\n", optarg
);
1377 isa
= load_insn_table (optarg
, cache_rules
);
1378 if (isa
->illegal_insn
== NULL
)
1379 error (NULL
, "illegal-instruction missing from insn table\n");
1383 gen
= do_gen (isa
, decode_rules
);
1387 decode_rules
= load_decode_table (optarg
);
1392 error (NULL
, "Cache file must appear before the insn file\n");
1393 cache_rules
= load_cache_table (optarg
);
1397 real_file_name
= strdup(optarg
);
1413 lf
*file
= lf_open(optarg
, real_file_name
, file_references
,
1414 (is_header
? lf_is_h
: lf_is_c
),
1416 if (gen
== NULL
&& ch
!= 't' && ch
!= 'm' && ch
!= 'f')
1418 options
.warning (NULL
, "Explicitly generate tables with -x option\n");
1419 gen
= do_gen (isa
, decode_rules
);
1421 lf_print__file_start(file
);
1426 gen_model_h (file
, isa
);
1428 gen_model_c (file
, isa
);
1432 gen_itable_h (file
, isa
);
1434 gen_itable_c (file
, isa
);
1438 gen_support_h (file
, isa
);
1440 gen_support_c (file
, isa
);
1444 options
.warning (NULL
, "-hr option ignored\n");
1446 gen_run_c (file
, gen
);
1450 gen_semantics_h (file
, gen
->semantics
, isa
->max_nr_words
);
1452 gen_semantics_c (file
, gen
->semantics
, isa
->caches
);
1456 gen_idecode_h (file
, gen
, isa
, cache_rules
);
1458 gen_idecode_c (file
, gen
, isa
, cache_rules
);
1462 gen_engine_h (file
, gen
, isa
, cache_rules
);
1464 gen_engine_c (file
, gen
, isa
, cache_rules
);
1479 lf_print__file_finish(file
);
1483 real_file_name
= NULL
;
1486 ERROR ("Bad switch");