Generate instruction profile call with each instruction.
[binutils-gdb.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]