(gen_itable_h): Output an enum defining the max size of the itable
[platform/upstream/binutils.git] / sim / igen / ChangeLog
1 Wed Sep 10 13:35:37 1997  Andrew Cagney  <cagney@b1.cygnus.com>
2
3         * gen-itable.c (gen_itable_h): Collect summary info on instruction
4         table when traversing it.
5         (gen_itable_h): Output an enum defining the max size of each of
6         the itable string members.
7
8 Tue Sep  9 03:30:26 1997  Andrew Cagney  <cagney@b1.cygnus.com>
9
10         * igen.c (gen_run_c): New function. Generate sim_engine_run that
11         looks at the currently selected architecture.
12
13         * gen-engine.c, gen-idecode.c: Add multi-sim support - generate
14         one engine per model.
15         
16         * gen-semantics.c, gen-icache.c gen-support.c:
17         Update.
18
19         * ld-insn.h, ld-insn-h (load_insn_table): Rewrite.  table.h only
20         returns a line at a time.  Parse multi-word instructions.  Add
21         multi-sim support.
22
23         * table.h, table.c: Simplify.  Only parse a single line at a time.
24         ld-insn can handle the rest.
25
26         * filter.h, filter.c (filter_parse, filter_add, filter_is_subset,
27         filter_is_common, filter_is_member, filter_next): New filter
28         operations.
29         (dump_filter): Ditto.
30         
31         * gen.h, gen.c: New file.  Takes the insn table and turns it into
32         a set of decode tables and semantic functions.
33         
34         * ld-insn.c: Copy generator code from here.
35         * gen.c: To here.
36
37 Fri Aug  8 11:43:45 1997  Andrew Cagney  <cagney@b1.cygnus.com>
38
39         * misc.h (NZALLOC): Allocate an N element array of TYPE.
40
41         * table.h, table.c: Simplify table parser so that it only
42         understands colon delimited lines and code blocks.
43         (table_read): Parse '{' ... '}' as a code block.
44         (table_print_code): New function, print out a code block to file.
45         (main): Add suport for standalone testing.
46         
47         * ld-insn.h, ld-insn.c:
48         
49         
50 Mon Sep  1 11:41:12 1997  Andrew Cagney  <cagney@b1.cygnus.com>
51
52         * gen-idecode.c (error_leaf_contains_multiple_insn): Make static.
53         (print_jump_definition, print_jump, print_jump_internal_function,
54         print_jump_insn, print_jump_until_stop_body): Delete, moved to
55         sim-engine.c
56
57         * igen.c (print_itrace_format): Delete unused variable chp.
58         (gen-engine.h): Include.
59
60         * table.c (current_file_name, current_line_entry,
61         current_line_entry): Make static.
62
63 Wed Aug  6 12:31:17 1997  Andrew Cagney  <cagney@b1.cygnus.com>
64
65         * configure.in: Define AR_FOR_BUILD, AR_FLAGS_FOR_BUILD,
66         RANLIB_FOR_BUILD and CFLAGS_FOR_BUILD.
67         * configure.in: Include simulator common/aclocal.m4.
68         * configure.in: Add --enable-sim-warnings option.
69         * configure: Re-generate.
70         
71         * Makefile.in: Use.
72
73         * Makefile.in (tmp-filter): New rule.
74         (igen.o, tmp-table, tmp-ld-decode, tmp-ld-cache, tmp-ld-insn,
75         ld-decode.o, ld-cache.o, ld-insn.o): Fix dependencies.
76         
77         * gen.h, gen.c: New files.
78         
79         * Makefile.in (gen.o, tmp-gen): New rules, update all
80         dependencies.
81         
82 Tue Jun 24 11:46:45 1997  Andrew Cagney  <cagney@b1.cygnus.com>
83
84         * ld-insn.c (load_insn_table): Accept %s as a function type.
85
86 Thu Jun  5 17:14:32 1997  Andrew Cagney  <cagney@b1.cygnus.com>
87
88         * igen.c (print_itrace_prefix): Move printing of insn prefix to
89         here.
90         (print_itrace_format): Drop printing of MY_NAME in instruction
91         trace.  Printing of insn prefix moved.
92         (print_itrace): Ditto.
93
94 Fri May 30 11:27:37 1997  Andrew Cagney  <cagney@b1.cygnus.com>
95
96         * gen-icache.c (print_icache_function_header): Pass
97         table_line_entry instead of separate file and line.
98
99         * table.c (table_entry_read): Set assembler source file/line-nr to
100         the current not initial file.
101         (table_entry_read): Fix line numbering of source files.
102
103         table.h (table_line_entry): New structure.  Exactly specifies a
104         source file/line-nr.
105         (table_*_entry): Add this to all.
106         
107         table.c (table_entry_print_cpp_line_nr): Change to use values from
108         a table_line_entry struct.
109         (table_entry_read): Save table_line_entry in all structures read.
110
111         gen-icache.c, gen-support.c, gen-idecode.c, gen-semantics.c,
112         gen-model.c: Update all references.
113         
114 Thu May 29 10:29:57 1997  Andrew Cagney  <cagney@b1.cygnus.com>
115
116         * igen.c (print_my_defines): Define MY_NAME - a string.  For
117         MY_PREFIX, undefine the name of the function incase some dumb
118         header defined it.  it.
119         (print_itrace): Use MY_NAME not MY_PREFIX.
120
121         * lf.c (lf_write): New function write an N character buffer to the
122         file.
123
124         * igen.c (print_itrace): When available, use the assembler to
125         print the insn-trace.
126         (print_itrace_prefix): New function, print first part of call to
127         print_one_insn.
128         (print_itrace_format): New function, print fmt argument for
129         print_one_insn.
130         
131         * table.c (table_entry_read): Save any assembler lines instead of
132         discarding them.
133
134 Wed May 28 09:55:29 1997  Andrew Cagney  <cagney@b1.cygnus.com>
135
136         * gen-icache.c (print_icache_body): Process immeds.
137
138         * gen-semantics.c (print_semantic_body): When computing NIA, skip
139         any immed words that follow the instruction word.
140
141         * ld-insn.c (parse_insn_format): Parse immeds appended to an
142         instruction.
143
144         * igen.c (main): Allow any register to be specified as the zero
145         register.
146         (semantic_zero_reg): Global, index to zero register.
147
148         * gen-semantics.c (print_semantic_body): Zero selected register.
149
150 Tue May 27 14:12:32 1997  Andrew Cagney  <cagney@b1.cygnus.com>
151
152         * igen.h: Stop options and code gen type bit masks overlaping.
153
154 Fri May 23 12:01:08 1997  Andrew Cagney  <cagney@b1.cygnus.com>
155
156         * gen-semantics.c (print_semantic_body): Incorrect test for
157         zero-r0 code.
158
159 Fri May 16 14:32:31 1997  Andrew Cagney  <cagney@b1.cygnus.com>
160
161         * gen-semantics.c (print_semantic_body): Use common sim-engine
162         interface.
163
164 Fri May 16 11:48:30 1997  Andrew Cagney  <cagney@b1.cygnus.com>
165
166         * gen-semantics.c (print_semantic_body): Add code to clear r0.
167
168         * igen.c (main): Add new option zero-r0, which adds code to clear
169         GPR(0) each cycle.
170
171 Wed May  7 12:31:30 1997  Andrew Cagney  <cagney@b1.cygnus.com>
172
173         * igen.c (print_itrace): Fix so line-nr is passed to trace
174         function.
175
176         * gen-idecode.c (print_idecode_validate): Correct FP code.
177
178         * gen-support.c (gen_support_h): Always pass MY_INDEX to support
179         functions.
180         (print_support_function_name): Ditto.
181
182 Tue May  6 06:12:04 1997  Mike Meissner  <meissner@cygnus.com>
183
184         * igen.c (print_itrace): Call trace_one_insn to trace
185         instructions, rather than doing it directly.
186
187 Mon May  5 14:11:46 1997  Mike Meissner  <meissner@cygnus.com>
188
189         * gen-engine.c (engine_switch_leaf): Remove extra %s.
190         (print_engine_floating_point_unavailable): Wrap in #ifdef
191         UNUSED/#endif, until somebody uses it.
192
193         * gen-idecode.c (error_leaf_contains_multiple_insn): Remove unused
194         variable.
195         (print_jump_until_stop_body): Wrap in #ifdef UNUSED/#endif, until
196         somebody uses it.
197         (print_idecode_validate): Use long formats to print long values.
198
199         * gen-semantics.c (print_idecode_invalid): Set name to "unknown"
200         if we get an unexpected type.
201
202 Fri May  2 13:28:06 1997  Andrew Cagney  <cagney@b1.cygnus.com>
203
204         * igen.c (print_itrace): Pass SD as well as CPU to calls to
205         trace_printf.
206
207         * gen-support.c (gen_support_h): Always pass sim_cia cia to
208         support functions.
209         (print_support_function_name): Ditto.
210
211 Wed Apr 30 17:35:51 1997  Andrew Cagney  <cagney@b1.cygnus.com>
212
213         * gen-support.c (support_c_function): Remove unnecessary memset of
214         cia.
215         * gen-semantics.c (print_semantic_body): Wasn't closing
216         generated comment.
217
218 Tue Apr 29 11:11:12 1997  Andrew Cagney  <cagney@b1.cygnus.com>
219
220         * ld-insn.c (load_insn_table): Report instructions that do not
221         have at least a format and name.
222         (insn_table_find_opcode_field): Check progress is being made.
223
224         * gen-support.c (support_c_function): Report empty function body.
225
226 Thu Apr 24 11:43:45 1997  Andrew Cagney  <cagney@b1.cygnus.com>
227
228         * ld-insn.c (insn_table_expand_opcode): Allow reserved fields to
229         be broken up.
230         (insn_table_expand_insns): Allow special rules to apply to groups
231         of instructions when all members of the group match the special
232         mask/value.
233
234         * gen-semantics.c (print_c_semantic): Ditto.
235         * igen.c (print_semantic_function_formal): Ditto.
236         (print_semantic_function_type): Ditto.
237         * igen.c (print_icache_function_formal): Ditto.
238         * gen-idecode.c (print_idecode_issue_function_body): Ditto.
239
240         * gen-idecode.c (gen_idecode_h): Prepend the global_prefix to the
241         instruction_address type.
242
243         * gen-semantics.c (print_semantic_body): Call cpu_error when an
244         unimplemented instruction is encountered - gives the interpreter
245         the chance to stop correctly.
246
247 Wed Apr 23 20:06:36 1997  Andrew Cagney  <cagney@b1.cygnus.com>
248
249         * igen.c (print_function_name): Allow dot's in instruction names.
250
251 Tue Apr 22 21:46:28 1997  Andrew Cagney  <cagney@b1.cygnus.com>
252
253         * igen.c (main), igen.h: Support new option - delayed-branch -
254         generate code to drive a delayed branch processor.
255
256         * gen-idecode.c (gen_idecode_h): Define instruction_address type.
257
258         * igen.c (print_icache_function_formal): Replace address_word with
259         instruction_address.
260         (print_semantic_function_formal): Ditto.
261         (print_semantic_function_type): Ditto.
262         * gen-idecode.c (print_idecode_issue_function_body): Ditto.
263
264         * gen-semantics.c (print_semantic_body): Ditto.
265         (print_c_semantic): Ditto.
266
267         * gen-support.c (support_c_function): Return a zeroed CIA instead
268         of just zero - works with any cia type.
269
270         * igen.c (print_itrace): For delayed branch case, print just the
271         current instruction.
272         
273 Thu Apr 17 07:02:33 1997  Doug Evans  <dje@canuck.cygnus.com>
274
275         * igen.c (print_itrace): Use TRACE_FOO_P and trace_printf.
276
277 Tue Apr 15 15:20:31 1997  Ian Lance Taylor  <ian@cygnus.com>
278
279         * Makefile.in (INSTALL): Set to @INSTALL@.
280         (INSTALL_XFORM, INSTALL_XFORM1): Remove.
281
282 Mon Apr 14 16:29:34 1997  Ian Lance Taylor  <ian@cygnus.com>
283
284         * Makefile.in (INSTALL): Change install.sh to install-sh.
285
286 Wed Apr  2 18:51:20 1997  Doug Evans  <dje@canuck.cygnus.com>
287
288         * gen-support.c (gen_support_c): sim-state.h renamed to sim-main.h.
289         * gen-idecode.c (gen_idecode_c): Likewise.
290         * igen.c (gen_semantics_c): Likewise.
291
292 Mon Mar 24 10:10:08 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
293
294         * gen-icache.c (print_icache_body): No longer define cpu/sd,
295         support.h now defines CPU/SD globally.
296
297         * gen-model.c (gen_model_h): Ditto.
298
299         * gen-idecode.c (print_idecode_issue_function_body): Ditto.
300         (print_jump): Ditto.
301         (print_jump_until_stop_body): Ditto.
302         (print_idecode_validate): Ditto.
303
304         * gen-icache.c (print_icache_body): Ditto.
305
306         * gen-semantics.c (print_semantic_body): Ditto.
307
308         * igen.c (print_semantic_function_formal): Rename cpu to sim_cpu,
309         processor to cpu.
310         (print_icache_function_formal): Ditto.
311
312         * gen-support.c (print_support_function_name): Include sd/cpu arg
313         in support function argument list.
314         (support_c_function): Generate code to cpu/sd from sd/cpu.
315         (gen_support_h): Define _SD the argument prefix for all support
316         functions.  Define SD/CPU to determine sd/cpu from value of _SD
317         macro.
318
319 Tue Mar 18 15:52:24 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
320
321         * gen-support.c (gen_support_c): Update for renaming of engine to
322         sim-state.
323         
324         * igen.c: Ditto.
325         * gen-idecode.c (gen_idecode_c): Ditto.
326
327 Mon Mar 17 15:17:07 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
328
329         * ld-decode.c (load_decode_table): Rename slash to reserved.
330         (dump_decode_rule): Ditto.
331
332         * ld-insn.c (parse_insn_format): Differentiate between a `/' -
333         reserved bit - and a `*' - wild card.
334         (parse_insn_format): Change is_slash to more informative reserved.
335         (dump_insn_field): Ditto.
336         (insn_field_is_constant): Ditto.
337         (insn_table_expand_opcode): Ditto.
338
339         * gen-idecode.c (print_idecode_validate): Make check_mask and
340         check_val the correct integer size.
341         (print_idecode_validate): Fix reserved bit check for 64 bit
342         targets.
343
344 Fri Mar 14 11:24:06 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
345
346         * ld-insn.c (parse_insn_format): Accept '*' as an alternative of
347         `/' in bit fields.  `/' denotes a wild bit.
348
349 Fri Mar  7 18:20:38 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
350
351         * igen.h, igen.c (main): New options. Control generation of
352         conditional issue and slot verification code.
353
354 Fri Mar  7 18:17:25 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
355
356         * gen-support.c (print_support_function_name): Prepend the global
357         name prefix when applicable.  Provide #define to map the user
358         specified name the generated globaly unique one.
359
360 Fri Mar  7 18:07:45 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
361
362         * gen-idecode.c (print_idecode_validate): Wrap each of the checks
363         - reserved bits, floating point and slot validation - with a
364         #ifdef so that they are optional.
365         
366 Fri Mar  7 16:35:13 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
367
368         * gen-idecode.c (error_leaf_contains_multiple_insn): New function
369         - report the error of a leaf node in the decision tree containing
370         several instructions.
371         (print_idecode_table_leaf): Detect a leaf with multiple instructions.
372         (print_idecode_switch_leaf): Ditto.
373
374         * gen-semantics.h, gen-semantics.c (print_idecode_illegal,
375         print_idecode_invalid): Rename former to latter.  Add argument so
376         that one function can generate all invalid instruction cases -
377         illegal, fp-unavailable, wrong-slot.
378         * gen-engine.c: Update.
379
380         * gen-idecode.c: Use print_idecode_invalid to generate a function
381         call for cases when fp-unavailable and the slot is wrong.
382
383         * gen-idecode.c (print_idecode_validate): New check, generate code
384         to verify that the instruction slot is correct.
385         
386         * igen.c (main): Simplify options.
387
388 Wed Mar  5 09:55:55 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
389
390         * igen.c (print_itrace): Remove source line reference for trace
391         code - let the user see the generated file.
392         (print_itrace): Print the trace code rather than reference a
393         macro.
394
395 Tue Mar  4 17:31:55 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
396
397         * igen.c (print_semantic_function_actual): Pass either the
398         processor - smp - or the engine - mono - into semantic functions.
399         Don't pass in both.
400
401         * gen-icache.c (print_icache_body): Dependant on smp, derive
402         processor from engine or engine from processor, and hence ensuring
403         that both are defined in all semantic functions.
404
405 Mon Mar  3 17:11:21 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
406
407         * ld-insn.c (parse_insn_format): Make the width field optional.
408         If missing assume that the number of characters in the value
409         determines the number of bits in the field.
410         
411 Thu Feb 27 11:27:48 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
412
413         * ld-insn.c (insn_table_expand_opcode): Replace assertion with
414         more useful error message.
415
416 Tue Feb 25 16:43:27 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
417
418         * misc.c (error): Output errors on stderr.
419
420         * ld-insn.c (parse_insn_format): Skip any leading spaces.
421         Verify the width of instructions being parsed.
422
423         * table.c (table_entry_read): Parse CPP's convention for
424         specifying original file name/line-nr.
425
426 Wed Feb 19 12:30:28 1997  Andrew Cagney  <cagney@critters.cygnus.com>
427
428         * ld-insn.c (parse_insn_format): Allow trailing spaces in
429         instruction fields.
430
431         * Makefile.in: Create using ../ppc/Makefile.in as a starting
432         point.
433         * configure.in: Ditto vis ../ppc/configure.in
434         
435 Mon Feb 17 10:44:18 1997  Andrew Cagney  <cagney@critters.cygnus.com>
436
437         * gen-support.c (gen_support_c): Always include engine.h instead
438         of cpu.h
439         * gen-idecode.c (gen_idecode_c): Ditto.
440
441         * words.h (instruction_word): Remove instruction_word - now
442         generated by igen.
443         (address_word): New.  Used by igen.
444         
445         * lf.c (lf_print_function_type_function): New, pass a function to
446         print out the type instead of a constant string.
447         
448         * igen.h, igen.c (print_semantic_function_formal,
449         SEMANTIC_FUNCTION_FORMAL): Relace macro with function.
450         (print_semantic_function_actual, SEMANTIC_FUNCTION_ACTUAL): Ditto.
451         (print_semantic_function_type, SEMANTIC_FUNCTION_TYPE): Ditto.
452         (print_icache_function_type, ICACHE_FUNCTION_TYPE): Ditto.
453         (print_icache_function_formal, ICACHE_FUNCTION_FORMAL): Ditto.
454         (print_icache_function_actual, ICACHE_FUNCTION_ACTUAL): Ditto.
455         * gen-idecode.c (print_idecode_table): Update.
456         (idecode_switch_leaf): Update.
457         (print_idecode_switch_function_header): Ditto.
458         (print_idecode_floating_point_unavailable): Ditto.
459         (print_idecode_issue_function_header): Ditto.
460         * igen.c (gen_icache_h): Ditto.
461         * gen-engine.c (print_engine_table): Ditto.
462         (engine_switch_leaf): Ditto.
463         * gen-support.c (print_support_function_name): Ditto.
464         * gen-semantics.c (print_semantic_function_header): Update.
465         Update.
466         * gen-icache.c (print_icache_function_header): Update.
467         (print_icache_function): Update.
468         (print_icache_internal_function_declaration): Update.
469         (print_icache_internal_function_definition): Update.
470
471         * gen-idecode.c (gen_idecode_h): Drop including of idecode_*.h
472         files, will at some stage need to move it into support.
473
474         * igen.h, igen.c (main): New option -e <engine> - generate a full
475         simulation engine.  Previously this was the -d <idecode-file>
476         option.
477         * gen-engine.h, gen-engine.c: Copies of gen-idecode.*.  Will need
478         to clean these up so that that call upon the updated gen-idecode
479         code.
480         
481         * gen-idecode.h, gen-idecode.c: Prune out any code not relevant to
482         generating a decode table.
483         
484         * Makefile.in (igen): Add dependencies for new gen-engine.* files.
485
486         * igen.h, igen.c (main): New option -M - Control what is returned
487         by semantic functions - -1/NIA vs CIA+N/NIA.  Add
488         generate_semantic_returning_modified_nia_only to igen_code enum.
489         * gen-semantics.c (print_semantic_body): As an alternative, make
490         NIA == -1 instead of CIA+insn_size by default.
491         
492         * igen.h, igen.c (main, global_name_prefix, global_uname_prefix):
493         New option -P <prefix> - Prepend all generated functions with the
494         specified prefix.
495         (gen_idecode_c): Adjust.
496         * gen-icache.c (print_icache_struct): Ditto.
497         * gen-support.c (gen_support_c): Ditto.
498
499 Sun Feb 16 15:23:15 1997  Andrew Cagney  <cagney@critters.cygnus.com>
500
501         * igen.c (main): Correct usage. Missleading message about ucase
502         options dumping internal tables.  -F now includes rather then
503         excludes instructions.
504
505         * misc.h, misc.c (a2i): Make 64bit.
506
507         * ld-insn.h (max_insn_bit_size, default_insn_bit_size): Increase
508         max to 64bits, expect trouble.  Make the default 32 bits.
509         * gen-idecode.c (print_idecode_table): Change EXTRACTED*
510         et.al. macro's to use the insn_bit_size instead of assuming 32
511         bits.
512         * gen-icache.c (print_icache_extraction): Ditto.
513         * gen-idecode.c (idecode_switch_start): Ditto.
514         * gen-idecode.c (gen_idecode_c): Ditto
515
516         * igen.h (insn_specifying_widths), igen.c (main): New option -W.
517         Indicates that the instruction field of the table is specifying
518         bit widths instead of bit offsets.
519         * ld-insn.c (parse_insn_format): Parse instruction fields
520         specifying widths.
521
522         * misc.c (a2i): Allow binary numbers to be specified using the
523         syntax 0bNNNN.
524         * ld-insn.c: Allow such numbers to appear in the instruction
525         format.
526
527         * table.c (table_entry_read): Make // a valid comment character.
528         (table_entry_read): Skip lines containing a leading " - these may
529         eventually be used in a disasembler.
530
531 Fri Feb 14 15:23:15 1997  Andrew Cagney  <cagney@critters.cygnus.com>
532
533         * filter.c, filter.h, gen-engine.c, gen-engine.h, gen-icache.c,
534         gen-icache.h, gen-idecode.c, gen-idecode.h, gen-itable.c,
535         gen-itable.h, gen-model.c, gen-model.h, gen-semantics.c,
536         gen-semantics.h, gen-support.c, gen-support.h, igen.c, igen.h,
537         ld-cache.c, ld-cache.h, ld-decode.c, ld-decode.h, ld-insn.c,
538         ld-insn.h, lf.c, lf.h, misc.c, misc.h, table.c, table.h: Copy in
539         from the ../ppc directory.
540
541         * filter_host.c, filter_host.h: Copy in from the ../ppc directory
542         renaming from filter_filename.[hc]