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