Correctly validate 64bit instructions
[binutils-gdb.git] / sim / igen / ChangeLog
1 Mon Mar 17 15:17:07 1997 Andrew Cagney <cagney@kremvax.cygnus.com>
2
3 * ld-decode.c (load_decode_table): Rename slash to reserved.
4 (dump_decode_rule): Ditto.
5
6 * ld-insn.c (parse_insn_format): Differentiate between a `/' -
7 reserved bit - and a `*' - wild card.
8 (parse_insn_format): Change is_slash to more informative reserved.
9 (dump_insn_field): Ditto.
10 (insn_field_is_constant): Ditto.
11 (insn_table_expand_opcode): Ditto.
12
13 * gen-idecode.c (print_idecode_validate): Make check_mask and
14 check_val the correct integer size.
15 (print_idecode_validate): Fix reserved bit check for 64 bit
16 targets.
17
18 Fri Mar 14 11:24:06 1997 Andrew Cagney <cagney@kremvax.cygnus.com>
19
20 * ld-insn.c (parse_insn_format): Accept '*' as an alternative of
21 `/' in bit fields. `/' denotes a wild bit.
22
23 Fri Mar 7 18:20:38 1997 Andrew Cagney <cagney@kremvax.cygnus.com>
24
25 * igen.h, igen.c (main): New options. Control generation of
26 conditional issue and slot verification code.
27
28 Fri Mar 7 18:17:25 1997 Andrew Cagney <cagney@kremvax.cygnus.com>
29
30 * gen-support.c (print_support_function_name): Prepend the global
31 name prefix when applicable. Provide #define to map the user
32 specified name the generated globaly unique one.
33
34 Fri Mar 7 18:07:45 1997 Andrew Cagney <cagney@kremvax.cygnus.com>
35
36 * gen-idecode.c (print_idecode_validate): Wrap each of the checks
37 - reserved bits, floating point and slot validation - with a
38 #ifdef so that they are optional.
39
40 Fri Mar 7 16:35:13 1997 Andrew Cagney <cagney@kremvax.cygnus.com>
41
42 * gen-idecode.c (error_leaf_contains_multiple_insn): New function
43 - report the error of a leaf node in the decision tree containing
44 several instructions.
45 (print_idecode_table_leaf): Detect a leaf with multiple instructions.
46 (print_idecode_switch_leaf): Ditto.
47
48 * gen-semantics.h, gen-semantics.c (print_idecode_illegal,
49 print_idecode_invalid): Rename former to latter. Add argument so
50 that one function can generate all invalid instruction cases -
51 illegal, fp-unavailable, wrong-slot.
52 * gen-engine.c: Update.
53
54 * gen-idecode.c: Use print_idecode_invalid to generate a function
55 call for cases when fp-unavailable and the slot is wrong.
56
57 * gen-idecode.c (print_idecode_validate): New check, generate code
58 to verify that the instruction slot is correct.
59
60 * igen.c (main): Simplify options.
61
62 Wed Mar 5 09:55:55 1997 Andrew Cagney <cagney@kremvax.cygnus.com>
63
64 * igen.c (print_itrace): Remove source line reference for trace
65 code - let the user see the generated file.
66 (print_itrace): Print the trace code rather than reference a
67 macro.
68
69 Tue Mar 4 17:31:55 1997 Andrew Cagney <cagney@kremvax.cygnus.com>
70
71 * igen.c (print_semantic_function_actual): Pass either the
72 processor - smp - or the engine - mono - into semantic functions.
73 Don't pass in both.
74
75 * gen-icache.c (print_icache_body): Dependant on smp, derive
76 processor from engine or engine from processor, and hence ensuring
77 that both are defined in all semantic functions.
78
79 Mon Mar 3 17:11:21 1997 Andrew Cagney <cagney@kremvax.cygnus.com>
80
81 * ld-insn.c (parse_insn_format): Make the width field optional.
82 If missing assume that the number of characters in the value
83 determines the number of bits in the field.
84
85 Thu Feb 27 11:27:48 1997 Andrew Cagney <cagney@kremvax.cygnus.com>
86
87 * ld-insn.c (insn_table_expand_opcode): Replace assertion with
88 more useful error message.
89
90 Tue Feb 25 16:43:27 1997 Andrew Cagney <cagney@kremvax.cygnus.com>
91
92 * misc.c (error): Output errors on stderr.
93
94 * ld-insn.c (parse_insn_format): Skip any leading spaces.
95 Verify the width of instructions being parsed.
96
97 * table.c (table_entry_read): Parse CPP's convention for
98 specifying original file name/line-nr.
99
100 Wed Feb 19 12:30:28 1997 Andrew Cagney <cagney@critters.cygnus.com>
101
102 * ld-insn.c (parse_insn_format): Allow trailing spaces in
103 instruction fields.
104
105 * Makefile.in: Create using ../ppc/Makefile.in as a starting
106 point.
107 * configure.in: Ditto vis ../ppc/configure.in
108
109 Mon Feb 17 10:44:18 1997 Andrew Cagney <cagney@critters.cygnus.com>
110
111 * gen-support.c (gen_support_c): Always include engine.h instead
112 of cpu.h
113 * gen-idecode.c (gen_idecode_c): Ditto.
114
115 * words.h (instruction_word): Remove instruction_word - now
116 generated by igen.
117 (address_word): New. Used by igen.
118
119 * lf.c (lf_print_function_type_function): New, pass a function to
120 print out the type instead of a constant string.
121
122 * igen.h, igen.c (print_semantic_function_formal,
123 SEMANTIC_FUNCTION_FORMAL): Relace macro with function.
124 (print_semantic_function_actual, SEMANTIC_FUNCTION_ACTUAL): Ditto.
125 (print_semantic_function_type, SEMANTIC_FUNCTION_TYPE): Ditto.
126 (print_icache_function_type, ICACHE_FUNCTION_TYPE): Ditto.
127 (print_icache_function_formal, ICACHE_FUNCTION_FORMAL): Ditto.
128 (print_icache_function_actual, ICACHE_FUNCTION_ACTUAL): Ditto.
129 * gen-idecode.c (print_idecode_table): Update.
130 (idecode_switch_leaf): Update.
131 (print_idecode_switch_function_header): Ditto.
132 (print_idecode_floating_point_unavailable): Ditto.
133 (print_idecode_issue_function_header): Ditto.
134 * igen.c (gen_icache_h): Ditto.
135 * gen-engine.c (print_engine_table): Ditto.
136 (engine_switch_leaf): Ditto.
137 * gen-support.c (print_support_function_name): Ditto.
138 * gen-semantics.c (print_semantic_function_header): Update.
139 Update.
140 * gen-icache.c (print_icache_function_header): Update.
141 (print_icache_function): Update.
142 (print_icache_internal_function_declaration): Update.
143 (print_icache_internal_function_definition): Update.
144
145 * gen-idecode.c (gen_idecode_h): Drop including of idecode_*.h
146 files, will at some stage need to move it into support.
147
148 * igen.h, igen.c (main): New option -e <engine> - generate a full
149 simulation engine. Previously this was the -d <idecode-file>
150 option.
151 * gen-engine.h, gen-engine.c: Copies of gen-idecode.*. Will need
152 to clean these up so that that call upon the updated gen-idecode
153 code.
154
155 * gen-idecode.h, gen-idecode.c: Prune out any code not relevant to
156 generating a decode table.
157
158 * Makefile.in (igen): Add dependencies for new gen-engine.* files.
159
160 * igen.h, igen.c (main): New option -M - Control what is returned
161 by semantic functions - -1/NIA vs CIA+N/NIA. Add
162 generate_semantic_returning_modified_nia_only to igen_code enum.
163 * gen-semantics.c (print_semantic_body): As an alternative, make
164 NIA == -1 instead of CIA+insn_size by default.
165
166 * igen.h, igen.c (main, global_name_prefix, global_uname_prefix):
167 New option -P <prefix> - Prepend all generated functions with the
168 specified prefix.
169 (gen_idecode_c): Adjust.
170 * gen-icache.c (print_icache_struct): Ditto.
171 * gen-support.c (gen_support_c): Ditto.
172
173 Sun Feb 16 15:23:15 1997 Andrew Cagney <cagney@critters.cygnus.com>
174
175 * igen.c (main): Correct usage. Missleading message about ucase
176 options dumping internal tables. -F now includes rather then
177 excludes instructions.
178
179 * misc.h, misc.c (a2i): Make 64bit.
180
181 * ld-insn.h (max_insn_bit_size, default_insn_bit_size): Increase
182 max to 64bits, expect trouble. Make the default 32 bits.
183 * gen-idecode.c (print_idecode_table): Change EXTRACTED*
184 et.al. macro's to use the insn_bit_size instead of assuming 32
185 bits.
186 * gen-icache.c (print_icache_extraction): Ditto.
187 * gen-idecode.c (idecode_switch_start): Ditto.
188 * gen-idecode.c (gen_idecode_c): Ditto
189
190 * igen.h (insn_specifying_widths), igen.c (main): New option -W.
191 Indicates that the instruction field of the table is specifying
192 bit widths instead of bit offsets.
193 * ld-insn.c (parse_insn_format): Parse instruction fields
194 specifying widths.
195
196 * misc.c (a2i): Allow binary numbers to be specified using the
197 syntax 0bNNNN.
198 * ld-insn.c: Allow such numbers to appear in the instruction
199 format.
200
201 * table.c (table_entry_read): Make // a valid comment character.
202 (table_entry_read): Skip lines containing a leading " - these may
203 eventually be used in a disasembler.
204
205 Fri Feb 14 15:23:15 1997 Andrew Cagney <cagney@critters.cygnus.com>
206
207 * filter.c, filter.h, gen-engine.c, gen-engine.h, gen-icache.c,
208 gen-icache.h, gen-idecode.c, gen-idecode.h, gen-itable.c,
209 gen-itable.h, gen-model.c, gen-model.h, gen-semantics.c,
210 gen-semantics.h, gen-support.c, gen-support.h, igen.c, igen.h,
211 ld-cache.c, ld-cache.h, ld-decode.c, ld-decode.h, ld-insn.c,
212 ld-insn.h, lf.c, lf.h, misc.c, misc.h, table.c, table.h: Copy in
213 from the ../ppc directory.
214
215 * filter_host.c, filter_host.h: Copy in from the ../ppc directory
216 renaming from filter_filename.[hc]