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