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.
32 #include "ld-decode.h"
38 #include "gen-model.h"
39 #include "gen-icache.h"
40 #include "gen-itable.h"
41 #include "gen-idecode.h"
42 #include "gen-semantics.h"
43 #include "gen-support.h"
46 int insn_bit_size
= max_insn_bit_size
;
48 igen_code code
= generate_calls
;
50 int generate_expanded_instructions
;
51 int icache_size
= 1024;
54 /****************************************************************/
57 print_insn_bits(lf
*file
, insn_bits
*bits
)
62 nr
+= print_insn_bits(file
, bits
->last
);
63 nr
+= lf_putchr(file
, '_');
64 nr
+= lf_putstr(file
, bits
->field
->val_string
);
65 if (bits
->opcode
->is_boolean
&& bits
->value
== 0)
66 nr
+= lf_putint(file
, bits
->opcode
->boolean_constant
);
67 else if (!bits
->opcode
->is_boolean
) {
68 if (bits
->opcode
->last
< bits
->field
->last
)
69 nr
+= lf_putint(file
, bits
->value
<< (bits
->field
->last
- bits
->opcode
->last
));
71 nr
+= lf_putint(file
, bits
->value
);
77 print_function_name(lf
*file
,
79 insn_bits
*expanded_bits
,
80 lf_function_name_prefixes prefix
)
85 case function_name_prefix_semantics
:
86 nr
+= lf_putstr(file
, "semantic_");
88 case function_name_prefix_idecode
:
89 nr
+= lf_printf(file
, "idecode_");
91 case function_name_prefix_itable
:
92 nr
+= lf_putstr(file
, "itable_");
94 case function_name_prefix_icache
:
95 nr
+= lf_putstr(file
, "icache_");
101 /* the function name */
114 nr
+= lf_putchr(file
, '_');
117 nr
+= lf_putchr(file
, *pos
);
124 if (generate_expanded_instructions
)
125 nr
+= print_insn_bits(file
, expanded_bits
);
132 print_my_defines(lf
*file
,
133 insn_bits
*expanded_bits
,
134 table_entry
*file_entry
)
136 /* #define MY_INDEX xxxxx */
137 lf_indent_suppress(file
);
138 lf_printf(file
, "#undef MY_INDEX\n");
139 lf_indent_suppress(file
);
140 lf_printf(file
, "#define MY_INDEX ");
141 print_function_name(file
,
142 file_entry
->fields
[insn_name
],
144 function_name_prefix_itable
);
145 lf_printf(file
, "\n");
146 /* #define MY_PREFIX xxxxxx */
147 lf_indent_suppress(file
);
148 lf_printf(file
, "#undef MY_PREFIX\n");
149 lf_indent_suppress(file
);
150 lf_printf(file
, "#define MY_PREFIX ");
151 print_function_name(file
,
152 file_entry
->fields
[insn_name
],
154 function_name_prefix_none
);
155 lf_printf(file
, "\n");
160 print_itrace(lf
*file
,
161 table_entry
*file_entry
,
164 lf_print__external_reference(file
, file_entry
->line_nr
, file_entry
->file_name
);
165 lf_printf(file
, "ITRACE(trace_%s, (\"%s %s\\n\"));\n",
166 (idecode
? "idecode" : "semantics"),
167 (idecode
? "idecode" : "semantics"),
168 file_entry
->fields
[insn_name
]);
169 lf_print__internal_reference(file
);
173 /****************************************************************/
177 gen_semantics_h(insn_table
*table
,
181 lf_printf(file
, "typedef %s idecode_semantic\n(%s);\n",
182 SEMANTIC_FUNCTION_TYPE
,
183 SEMANTIC_FUNCTION_FORMAL
);
184 lf_printf(file
, "\n");
185 if ((code
& generate_calls
)) {
186 lf_printf(file
, "extern int option_mpc860c0;\n");
187 lf_printf(file
, "#define PAGE_SIZE 0x1000\n");
188 lf_printf(file
, "\n");
189 lf_printf(file
, "PSIM_EXTERN_SEMANTICS(void)\n");
190 lf_printf(file
, "semantic_init(device* root);\n");
191 lf_printf(file
, "\n");
192 if (generate_expanded_instructions
)
193 insn_table_traverse_tree(table
,
197 print_semantic_declaration
, /* leaf */
201 insn_table_traverse_insn(table
,
203 print_semantic_declaration
);
207 lf_print__this_file_is_empty(file
);
213 gen_semantics_c(insn_table
*table
,
214 cache_table
*cache_rules
,
218 if ((code
& generate_calls
)) {
219 lf_printf(file
, "\n");
220 lf_printf(file
, "#include \"cpu.h\"\n");
221 lf_printf(file
, "#include \"idecode.h\"\n");
222 lf_printf(file
, "#include \"semantics.h\"\n");
223 lf_printf(file
, "#include \"support.h\"\n");
224 lf_printf(file
, "#include \"sim-inline.h\"\n");
225 lf_printf(file
, "#include \"sim-fpu.h\"\n");
226 lf_printf(file
, "\n");
227 lf_printf(file
, "int option_mpc860c0 = 0;\n");
228 lf_printf(file
, "\n");
229 lf_printf(file
, "PSIM_EXTERN_SEMANTICS(void)\n");
230 lf_printf(file
, "semantic_init(device* root)\n");
231 lf_printf(file
, "{\n");
232 lf_printf(file
, " option_mpc860c0 = 0;\n");
233 lf_printf(file
, " if (tree_find_property(root, \"/options/mpc860c0\"))\n");
234 lf_printf(file
, " option_mpc860c0 = tree_find_integer_property(root, \"/options/mpc860c0\");\n");
235 lf_printf(file
, " option_mpc860c0 *= 4; /* convert word count to byte count */\n");
236 lf_printf(file
, "}\n");
237 lf_printf(file
, "\n");
238 if (generate_expanded_instructions
)
239 insn_table_traverse_tree(table
,
243 print_semantic_definition
, /* leaf */
247 insn_table_traverse_insn(table
,
249 print_semantic_definition
);
253 lf_print__this_file_is_empty(file
);
258 /****************************************************************/
262 gen_icache_h(insn_table
*table
,
266 lf_printf(file
, "typedef %s idecode_icache\n(%s);\n",
267 ICACHE_FUNCTION_TYPE
,
268 ICACHE_FUNCTION_FORMAL
);
269 lf_printf(file
, "\n");
270 if ((code
& generate_calls
)
271 && (code
& generate_with_icache
)) {
272 insn_table_traverse_function(table
,
274 print_icache_internal_function_declaration
);
275 if (generate_expanded_instructions
)
276 insn_table_traverse_tree(table
,
280 print_icache_declaration
, /* leaf */
284 insn_table_traverse_insn(table
,
286 print_icache_declaration
);
290 lf_print__this_file_is_empty(file
);
295 gen_icache_c(insn_table
*table
,
296 cache_table
*cache_rules
,
300 /* output `internal' invalid/floating-point unavailable functions
302 if ((code
& generate_calls
)
303 && (code
& generate_with_icache
)) {
304 lf_printf(file
, "\n");
305 lf_printf(file
, "#include \"cpu.h\"\n");
306 lf_printf(file
, "#include \"idecode.h\"\n");
307 lf_printf(file
, "#include \"semantics.h\"\n");
308 lf_printf(file
, "#include \"icache.h\"\n");
309 lf_printf(file
, "#include \"support.h\"\n");
310 lf_printf(file
, "#include \"sim-inline.h\"\n");
311 lf_printf(file
, "#include \"sim-fpu.h\"\n");
312 lf_printf(file
, "\n");
313 insn_table_traverse_function(table
,
315 print_icache_internal_function_definition
);
316 lf_printf(file
, "\n");
317 if (generate_expanded_instructions
)
318 insn_table_traverse_tree(table
,
322 print_icache_definition
, /* leaf */
326 insn_table_traverse_insn(table
,
328 print_icache_definition
);
332 lf_print__this_file_is_empty(file
);
337 /****************************************************************/
345 cache_table
*cache_rules
= NULL
;
346 lf_file_references file_references
= lf_include_references
;
347 decode_table
*decode_rules
= NULL
;
348 filter
*filters
= NULL
;
349 insn_table
*instructions
= NULL
;
350 char *real_file_name
= NULL
;
356 printf(" igen <config-opts> ... <input-opts>... <output-opts>...\n");
357 printf("Config options:\n");
358 printf(" -F <filter-out-flag> eg -F 64 to skip 64bit instructions\n");
359 printf(" -E Expand (duplicate) semantic functions\n");
360 printf(" -I <icache-size> Generate cracking cache version\n");
361 printf(" -C Include semantics in cache functions\n");
362 printf(" -S Include insn (instruction) in icache\n");
363 printf(" -R Use defines to reference cache vars\n");
364 printf(" -L Supress line numbering in output files\n");
365 printf(" -B <bit-size> Set the number of bits in an instruction\n");
366 printf(" -H <high-bit> Set the nr of the high (msb bit)\n");
367 printf(" -N <nr-cpus> Specify the max number of cpus the simulation will support\n");
368 printf(" -J Use jumps instead of function calls\n");
369 printf(" -T <mechanism> Override the mechanism used to decode an instruction\n");
370 printf(" using <mechanism> instead of what was specified in the\n");
371 printf(" decode-rules input file\n");
373 printf("Input options (ucase version also dumps loaded table):\n");
374 printf(" -o <decode-rules>\n");
375 printf(" -k <cache-rules>\n");
376 printf(" -i <instruction-table>\n");
378 printf("Output options:\n");
379 printf(" -n <real-name> Specify the real name of for the next output file\n");
380 printf(" -h Generate header file\n");
381 printf(" -c <output-file> output icache\n");
382 printf(" -d <output-file> output idecode\n");
383 printf(" -m <output-file> output model\n");
384 printf(" -s <output-file> output schematic\n");
385 printf(" -t <output-file> output itable\n");
386 printf(" -f <output-file> output support functions\n");
389 while ((ch
= getopt(argc
, argv
,
390 "F:EI:RSLJT:CB:H:N:o:k:i:n:hc:d:m:s:t:f:"))
392 fprintf(stderr
, "\t-%c %s\n", ch
, (optarg
? optarg
: ""));
395 code
|= generate_with_icache
;
396 code
|= generate_with_semantic_icache
;
399 code
|= generate_with_icache
;
400 code
|= generate_with_insn_in_icache
;
403 file_references
= lf_omit_references
;
406 generate_expanded_instructions
= 1;
409 icache_size
= a2i(optarg
);
410 code
|= generate_with_icache
;
413 generate_smp
= a2i(optarg
);
416 code
|= generate_with_direct_access
;
419 insn_bit_size
= a2i(optarg
);
420 ASSERT(insn_bit_size
> 0 && insn_bit_size
<= max_insn_bit_size
421 && (hi_bit_nr
== insn_bit_size
-1 || hi_bit_nr
== 0));
424 hi_bit_nr
= a2i(optarg
);
425 ASSERT(hi_bit_nr
== insn_bit_size
-1 || hi_bit_nr
== 0);
428 filters
= new_filter(optarg
, filters
);
431 code
&= ~generate_calls
;
432 code
|= generate_jumps
;
435 force_decode_gen_type(optarg
);
438 if (decode_rules
== NULL
|| cache_rules
== NULL
) {
439 fprintf(stderr
, "Must specify decode and cache tables\n");
442 instructions
= load_insn_table(optarg
, decode_rules
, filters
);
443 fprintf(stderr
, "\texpanding ...\n");
444 insn_table_expand_insns(instructions
);
447 decode_rules
= load_decode_table(optarg
, hi_bit_nr
);
450 cache_rules
= load_cache_table(optarg
, hi_bit_nr
);
453 real_file_name
= strdup(optarg
);
465 lf
*file
= lf_open(optarg
, real_file_name
, file_references
,
466 (is_header
? lf_is_h
: lf_is_c
),
468 lf_print__file_start(file
);
469 ASSERT(instructions
!= NULL
);
473 gen_semantics_h(instructions
, file
, code
);
475 gen_semantics_c(instructions
, cache_rules
, file
, code
);
479 gen_idecode_h(file
, instructions
, cache_rules
);
481 gen_idecode_c(file
, instructions
, cache_rules
);
485 gen_model_h(instructions
, file
);
487 gen_model_c(instructions
, file
);
491 gen_itable_h(instructions
, file
);
493 gen_itable_c(instructions
, file
);
497 gen_support_h(instructions
, file
);
499 gen_support_c(instructions
, file
);
503 gen_icache_h(instructions
, file
, code
);
505 gen_icache_c(instructions
, cache_rules
, file
, code
);
508 lf_print__file_finish(file
);
512 real_file_name
= NULL
;
515 error("unknown option\n");