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