Incorrect test for zero-r0 code gen.
[external/binutils.git] / sim / igen / ChangeLog
1 Fri May 23 12:01:08 1997  Andrew Cagney  <cagney@b1.cygnus.com>
2
3         * gen-semantics.c (print_semantic_body): Incorrect test for
4         zero-r0 code.
5
6 Fri May 16 14:32:31 1997  Andrew Cagney  <cagney@b1.cygnus.com>
7
8         * gen-semantics.c (print_semantic_body): Use common sim-engine
9         interface.
10
11 Fri May 16 11:48:30 1997  Andrew Cagney  <cagney@b1.cygnus.com>
12
13         * gen-semantics.c (print_semantic_body): Add code to clear r0.
14
15         * igen.c (main): Add new option zero-r0, which adds code to clear
16         GPR(0) each cycle.
17
18 Wed May  7 12:31:30 1997  Andrew Cagney  <cagney@b1.cygnus.com>
19
20         * igen.c (print_itrace): Fix so line-nr is passed to trace
21         function.
22
23         * gen-idecode.c (print_idecode_validate): Correct FP code.
24
25         * gen-support.c (gen_support_h): Always pass MY_INDEX to support
26         functions.
27         (print_support_function_name): Ditto.
28
29 Tue May  6 06:12:04 1997  Mike Meissner  <meissner@cygnus.com>
30
31         * igen.c (print_itrace): Call trace_one_insn to trace
32         instructions, rather than doing it directly.
33
34 Mon May  5 14:11:46 1997  Mike Meissner  <meissner@cygnus.com>
35
36         * gen-engine.c (engine_switch_leaf): Remove extra %s.
37         (print_engine_floating_point_unavailable): Wrap in #ifdef
38         UNUSED/#endif, until somebody uses it.
39
40         * gen-idecode.c (error_leaf_contains_multiple_insn): Remove unused
41         variable.
42         (print_jump_until_stop_body): Wrap in #ifdef UNUSED/#endif, until
43         somebody uses it.
44         (print_idecode_validate): Use long formats to print long values.
45
46         * gen-semantics.c (print_idecode_invalid): Set name to "unknown"
47         if we get an unexpected type.
48
49 Fri May  2 13:28:06 1997  Andrew Cagney  <cagney@b1.cygnus.com>
50
51         * igen.c (print_itrace): Pass SD as well as CPU to calls to
52         trace_printf.
53
54         * gen-support.c (gen_support_h): Always pass sim_cia cia to
55         support functions.
56         (print_support_function_name): Ditto.
57
58 Wed Apr 30 17:35:51 1997  Andrew Cagney  <cagney@b1.cygnus.com>
59
60         * gen-support.c (support_c_function): Remove unnecessary memset of
61         cia.
62         * gen-semantics.c (print_semantic_body): Wasn't closing
63         generated comment.
64
65 Tue Apr 29 11:11:12 1997  Andrew Cagney  <cagney@b1.cygnus.com>
66
67         * ld-insn.c (load_insn_table): Report instructions that do not
68         have at least a format and name.
69         (insn_table_find_opcode_field): Check progress is being made.
70
71         * gen-support.c (support_c_function): Report empty function body.
72
73 Thu Apr 24 11:43:45 1997  Andrew Cagney  <cagney@b1.cygnus.com>
74
75         * ld-insn.c (insn_table_expand_opcode): Allow reserved fields to
76         be broken up.
77         (insn_table_expand_insns): Allow special rules to apply to groups
78         of instructions when all members of the group match the special
79         mask/value.
80
81         * gen-semantics.c (print_c_semantic): Ditto.
82         * igen.c (print_semantic_function_formal): Ditto.
83         (print_semantic_function_type): Ditto.
84         * igen.c (print_icache_function_formal): Ditto.
85         * gen-idecode.c (print_idecode_issue_function_body): Ditto.
86
87         * gen-idecode.c (gen_idecode_h): Prepend the global_prefix to the
88         instruction_address type.
89
90         * gen-semantics.c (print_semantic_body): Call cpu_error when an
91         unimplemented instruction is encountered - gives the interpreter
92         the chance to stop correctly.
93
94 Wed Apr 23 20:06:36 1997  Andrew Cagney  <cagney@b1.cygnus.com>
95
96         * igen.c (print_function_name): Allow dot's in instruction names.
97
98 Tue Apr 22 21:46:28 1997  Andrew Cagney  <cagney@b1.cygnus.com>
99
100         * igen.c (main), igen.h: Support new option - delayed-branch -
101         generate code to drive a delayed branch processor.
102
103         * gen-idecode.c (gen_idecode_h): Define instruction_address type.
104
105         * igen.c (print_icache_function_formal): Replace address_word with
106         instruction_address.
107         (print_semantic_function_formal): Ditto.
108         (print_semantic_function_type): Ditto.
109         * gen-idecode.c (print_idecode_issue_function_body): Ditto.
110
111         * gen-semantics.c (print_semantic_body): Ditto.
112         (print_c_semantic): Ditto.
113
114         * gen-support.c (support_c_function): Return a zeroed CIA instead
115         of just zero - works with any cia type.
116
117         * igen.c (print_itrace): For delayed branch case, print just the
118         current instruction.
119         
120 Thu Apr 17 07:02:33 1997  Doug Evans  <dje@canuck.cygnus.com>
121
122         * igen.c (print_itrace): Use TRACE_FOO_P and trace_printf.
123
124 Tue Apr 15 15:20:31 1997  Ian Lance Taylor  <ian@cygnus.com>
125
126         * Makefile.in (INSTALL): Set to @INSTALL@.
127         (INSTALL_XFORM, INSTALL_XFORM1): Remove.
128
129 Mon Apr 14 16:29:34 1997  Ian Lance Taylor  <ian@cygnus.com>
130
131         * Makefile.in (INSTALL): Change install.sh to install-sh.
132
133 Wed Apr  2 18:51:20 1997  Doug Evans  <dje@canuck.cygnus.com>
134
135         * gen-support.c (gen_support_c): sim-state.h renamed to sim-main.h.
136         * gen-idecode.c (gen_idecode_c): Likewise.
137         * igen.c (gen_semantics_c): Likewise.
138
139 Mon Mar 24 10:10:08 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
140
141         * gen-icache.c (print_icache_body): No longer define cpu/sd,
142         support.h now defines CPU/SD globally.
143
144         * gen-model.c (gen_model_h): Ditto.
145
146         * gen-idecode.c (print_idecode_issue_function_body): Ditto.
147         (print_jump): Ditto.
148         (print_jump_until_stop_body): Ditto.
149         (print_idecode_validate): Ditto.
150
151         * gen-icache.c (print_icache_body): Ditto.
152
153         * gen-semantics.c (print_semantic_body): Ditto.
154
155         * igen.c (print_semantic_function_formal): Rename cpu to sim_cpu,
156         processor to cpu.
157         (print_icache_function_formal): Ditto.
158
159         * gen-support.c (print_support_function_name): Include sd/cpu arg
160         in support function argument list.
161         (support_c_function): Generate code to cpu/sd from sd/cpu.
162         (gen_support_h): Define _SD the argument prefix for all support
163         functions.  Define SD/CPU to determine sd/cpu from value of _SD
164         macro.
165
166 Tue Mar 18 15:52:24 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
167
168         * gen-support.c (gen_support_c): Update for renaming of engine to
169         sim-state.
170         
171         * igen.c: Ditto.
172         * gen-idecode.c (gen_idecode_c): Ditto.
173
174 Mon Mar 17 15:17:07 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
175
176         * ld-decode.c (load_decode_table): Rename slash to reserved.
177         (dump_decode_rule): Ditto.
178
179         * ld-insn.c (parse_insn_format): Differentiate between a `/' -
180         reserved bit - and a `*' - wild card.
181         (parse_insn_format): Change is_slash to more informative reserved.
182         (dump_insn_field): Ditto.
183         (insn_field_is_constant): Ditto.
184         (insn_table_expand_opcode): Ditto.
185
186         * gen-idecode.c (print_idecode_validate): Make check_mask and
187         check_val the correct integer size.
188         (print_idecode_validate): Fix reserved bit check for 64 bit
189         targets.
190
191 Fri Mar 14 11:24:06 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
192
193         * ld-insn.c (parse_insn_format): Accept '*' as an alternative of
194         `/' in bit fields.  `/' denotes a wild bit.
195
196 Fri Mar  7 18:20:38 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
197
198         * igen.h, igen.c (main): New options. Control generation of
199         conditional issue and slot verification code.
200
201 Fri Mar  7 18:17:25 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
202
203         * gen-support.c (print_support_function_name): Prepend the global
204         name prefix when applicable.  Provide #define to map the user
205         specified name the generated globaly unique one.
206
207 Fri Mar  7 18:07:45 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
208
209         * gen-idecode.c (print_idecode_validate): Wrap each of the checks
210         - reserved bits, floating point and slot validation - with a
211         #ifdef so that they are optional.
212         
213 Fri Mar  7 16:35:13 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
214
215         * gen-idecode.c (error_leaf_contains_multiple_insn): New function
216         - report the error of a leaf node in the decision tree containing
217         several instructions.
218         (print_idecode_table_leaf): Detect a leaf with multiple instructions.
219         (print_idecode_switch_leaf): Ditto.
220
221         * gen-semantics.h, gen-semantics.c (print_idecode_illegal,
222         print_idecode_invalid): Rename former to latter.  Add argument so
223         that one function can generate all invalid instruction cases -
224         illegal, fp-unavailable, wrong-slot.
225         * gen-engine.c: Update.
226
227         * gen-idecode.c: Use print_idecode_invalid to generate a function
228         call for cases when fp-unavailable and the slot is wrong.
229
230         * gen-idecode.c (print_idecode_validate): New check, generate code
231         to verify that the instruction slot is correct.
232         
233         * igen.c (main): Simplify options.
234
235 Wed Mar  5 09:55:55 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
236
237         * igen.c (print_itrace): Remove source line reference for trace
238         code - let the user see the generated file.
239         (print_itrace): Print the trace code rather than reference a
240         macro.
241
242 Tue Mar  4 17:31:55 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
243
244         * igen.c (print_semantic_function_actual): Pass either the
245         processor - smp - or the engine - mono - into semantic functions.
246         Don't pass in both.
247
248         * gen-icache.c (print_icache_body): Dependant on smp, derive
249         processor from engine or engine from processor, and hence ensuring
250         that both are defined in all semantic functions.
251
252 Mon Mar  3 17:11:21 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
253
254         * ld-insn.c (parse_insn_format): Make the width field optional.
255         If missing assume that the number of characters in the value
256         determines the number of bits in the field.
257         
258 Thu Feb 27 11:27:48 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
259
260         * ld-insn.c (insn_table_expand_opcode): Replace assertion with
261         more useful error message.
262
263 Tue Feb 25 16:43:27 1997  Andrew Cagney  <cagney@kremvax.cygnus.com>
264
265         * misc.c (error): Output errors on stderr.
266
267         * ld-insn.c (parse_insn_format): Skip any leading spaces.
268         Verify the width of instructions being parsed.
269
270         * table.c (table_entry_read): Parse CPP's convention for
271         specifying original file name/line-nr.
272
273 Wed Feb 19 12:30:28 1997  Andrew Cagney  <cagney@critters.cygnus.com>
274
275         * ld-insn.c (parse_insn_format): Allow trailing spaces in
276         instruction fields.
277
278         * Makefile.in: Create using ../ppc/Makefile.in as a starting
279         point.
280         * configure.in: Ditto vis ../ppc/configure.in
281         
282 Mon Feb 17 10:44:18 1997  Andrew Cagney  <cagney@critters.cygnus.com>
283
284         * gen-support.c (gen_support_c): Always include engine.h instead
285         of cpu.h
286         * gen-idecode.c (gen_idecode_c): Ditto.
287
288         * words.h (instruction_word): Remove instruction_word - now
289         generated by igen.
290         (address_word): New.  Used by igen.
291         
292         * lf.c (lf_print_function_type_function): New, pass a function to
293         print out the type instead of a constant string.
294         
295         * igen.h, igen.c (print_semantic_function_formal,
296         SEMANTIC_FUNCTION_FORMAL): Relace macro with function.
297         (print_semantic_function_actual, SEMANTIC_FUNCTION_ACTUAL): Ditto.
298         (print_semantic_function_type, SEMANTIC_FUNCTION_TYPE): Ditto.
299         (print_icache_function_type, ICACHE_FUNCTION_TYPE): Ditto.
300         (print_icache_function_formal, ICACHE_FUNCTION_FORMAL): Ditto.
301         (print_icache_function_actual, ICACHE_FUNCTION_ACTUAL): Ditto.
302         * gen-idecode.c (print_idecode_table): Update.
303         (idecode_switch_leaf): Update.
304         (print_idecode_switch_function_header): Ditto.
305         (print_idecode_floating_point_unavailable): Ditto.
306         (print_idecode_issue_function_header): Ditto.
307         * igen.c (gen_icache_h): Ditto.
308         * gen-engine.c (print_engine_table): Ditto.
309         (engine_switch_leaf): Ditto.
310         * gen-support.c (print_support_function_name): Ditto.
311         * gen-semantics.c (print_semantic_function_header): Update.
312         Update.
313         * gen-icache.c (print_icache_function_header): Update.
314         (print_icache_function): Update.
315         (print_icache_internal_function_declaration): Update.
316         (print_icache_internal_function_definition): Update.
317
318         * gen-idecode.c (gen_idecode_h): Drop including of idecode_*.h
319         files, will at some stage need to move it into support.
320
321         * igen.h, igen.c (main): New option -e <engine> - generate a full
322         simulation engine.  Previously this was the -d <idecode-file>
323         option.
324         * gen-engine.h, gen-engine.c: Copies of gen-idecode.*.  Will need
325         to clean these up so that that call upon the updated gen-idecode
326         code.
327         
328         * gen-idecode.h, gen-idecode.c: Prune out any code not relevant to
329         generating a decode table.
330         
331         * Makefile.in (igen): Add dependencies for new gen-engine.* files.
332
333         * igen.h, igen.c (main): New option -M - Control what is returned
334         by semantic functions - -1/NIA vs CIA+N/NIA.  Add
335         generate_semantic_returning_modified_nia_only to igen_code enum.
336         * gen-semantics.c (print_semantic_body): As an alternative, make
337         NIA == -1 instead of CIA+insn_size by default.
338         
339         * igen.h, igen.c (main, global_name_prefix, global_uname_prefix):
340         New option -P <prefix> - Prepend all generated functions with the
341         specified prefix.
342         (gen_idecode_c): Adjust.
343         * gen-icache.c (print_icache_struct): Ditto.
344         * gen-support.c (gen_support_c): Ditto.
345
346 Sun Feb 16 15:23:15 1997  Andrew Cagney  <cagney@critters.cygnus.com>
347
348         * igen.c (main): Correct usage. Missleading message about ucase
349         options dumping internal tables.  -F now includes rather then
350         excludes instructions.
351
352         * misc.h, misc.c (a2i): Make 64bit.
353
354         * ld-insn.h (max_insn_bit_size, default_insn_bit_size): Increase
355         max to 64bits, expect trouble.  Make the default 32 bits.
356         * gen-idecode.c (print_idecode_table): Change EXTRACTED*
357         et.al. macro's to use the insn_bit_size instead of assuming 32
358         bits.
359         * gen-icache.c (print_icache_extraction): Ditto.
360         * gen-idecode.c (idecode_switch_start): Ditto.
361         * gen-idecode.c (gen_idecode_c): Ditto
362
363         * igen.h (insn_specifying_widths), igen.c (main): New option -W.
364         Indicates that the instruction field of the table is specifying
365         bit widths instead of bit offsets.
366         * ld-insn.c (parse_insn_format): Parse instruction fields
367         specifying widths.
368
369         * misc.c (a2i): Allow binary numbers to be specified using the
370         syntax 0bNNNN.
371         * ld-insn.c: Allow such numbers to appear in the instruction
372         format.
373
374         * table.c (table_entry_read): Make // a valid comment character.
375         (table_entry_read): Skip lines containing a leading " - these may
376         eventually be used in a disasembler.
377
378 Fri Feb 14 15:23:15 1997  Andrew Cagney  <cagney@critters.cygnus.com>
379
380         * filter.c, filter.h, gen-engine.c, gen-engine.h, gen-icache.c,
381         gen-icache.h, gen-idecode.c, gen-idecode.h, gen-itable.c,
382         gen-itable.h, gen-model.c, gen-model.h, gen-semantics.c,
383         gen-semantics.h, gen-support.c, gen-support.h, igen.c, igen.h,
384         ld-cache.c, ld-cache.h, ld-decode.c, ld-decode.h, ld-insn.c,
385         ld-insn.h, lf.c, lf.h, misc.c, misc.h, table.c, table.h: Copy in
386         from the ../ppc directory.
387
388         * filter_host.c, filter_host.h: Copy in from the ../ppc directory
389         renaming from filter_filename.[hc]