1 |
24 |
jeremybenn |
/* The IGEN simulator generator for GDB, the GNU Debugger.
|
2 |
|
|
|
3 |
|
|
Copyright 2002, 2007, 2008 Free Software Foundation, Inc.
|
4 |
|
|
|
5 |
|
|
Contributed by Andrew Cagney.
|
6 |
|
|
|
7 |
|
|
This file is part of GDB.
|
8 |
|
|
|
9 |
|
|
This program is free software; you can redistribute it and/or modify
|
10 |
|
|
it under the terms of the GNU General Public License as published by
|
11 |
|
|
the Free Software Foundation; either version 3 of the License, or
|
12 |
|
|
(at your option) any later version.
|
13 |
|
|
|
14 |
|
|
This program is distributed in the hope that it will be useful,
|
15 |
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
16 |
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
17 |
|
|
GNU General Public License for more details.
|
18 |
|
|
|
19 |
|
|
You should have received a copy of the GNU General Public License
|
20 |
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
21 |
|
|
|
22 |
|
|
#include "misc.h"
|
23 |
|
|
#include "lf.h"
|
24 |
|
|
#include "table.h"
|
25 |
|
|
#include "filter.h"
|
26 |
|
|
|
27 |
|
|
#include "igen.h"
|
28 |
|
|
|
29 |
|
|
#include "ld-insn.h"
|
30 |
|
|
#include "ld-decode.h"
|
31 |
|
|
|
32 |
|
|
#include "gen.h"
|
33 |
|
|
|
34 |
|
|
#include "gen-idecode.h"
|
35 |
|
|
#include "gen-engine.h"
|
36 |
|
|
#include "gen-icache.h"
|
37 |
|
|
#include "gen-semantics.h"
|
38 |
|
|
|
39 |
|
|
|
40 |
|
|
static void
|
41 |
|
|
print_engine_issue_prefix_hook (lf *file)
|
42 |
|
|
{
|
43 |
|
|
lf_printf (file, "\n");
|
44 |
|
|
lf_indent_suppress (file);
|
45 |
|
|
lf_printf (file, "#if defined (ENGINE_ISSUE_PREFIX_HOOK)\n");
|
46 |
|
|
lf_printf (file, "ENGINE_ISSUE_PREFIX_HOOK();\n");
|
47 |
|
|
lf_indent_suppress (file);
|
48 |
|
|
lf_printf (file, "#endif\n");
|
49 |
|
|
lf_printf (file, "\n");
|
50 |
|
|
}
|
51 |
|
|
|
52 |
|
|
static void
|
53 |
|
|
print_engine_issue_postfix_hook (lf *file)
|
54 |
|
|
{
|
55 |
|
|
lf_printf (file, "\n");
|
56 |
|
|
lf_indent_suppress (file);
|
57 |
|
|
lf_printf (file, "#if defined (ENGINE_ISSUE_POSTFIX_HOOK)\n");
|
58 |
|
|
lf_printf (file, "ENGINE_ISSUE_POSTFIX_HOOK();\n");
|
59 |
|
|
lf_indent_suppress (file);
|
60 |
|
|
lf_printf (file, "#endif\n");
|
61 |
|
|
lf_printf (file, "\n");
|
62 |
|
|
}
|
63 |
|
|
|
64 |
|
|
|
65 |
|
|
static void
|
66 |
|
|
print_run_body (lf *file, gen_entry *table)
|
67 |
|
|
{
|
68 |
|
|
/* Output the function to execute real code:
|
69 |
|
|
|
70 |
|
|
Unfortunatly, there are multiple cases to consider vis:
|
71 |
|
|
|
72 |
|
|
<icache> X <smp>
|
73 |
|
|
|
74 |
|
|
Consequently this function is written in multiple different ways */
|
75 |
|
|
|
76 |
|
|
lf_printf (file, "{\n");
|
77 |
|
|
lf_indent (file, +2);
|
78 |
|
|
if (!options.gen.smp)
|
79 |
|
|
{
|
80 |
|
|
lf_printf (file, "%sinstruction_address cia;\n",
|
81 |
|
|
options.module.global.prefix.l);
|
82 |
|
|
}
|
83 |
|
|
lf_printf (file, "int current_cpu = next_cpu_nr;\n");
|
84 |
|
|
|
85 |
|
|
if (options.gen.icache)
|
86 |
|
|
{
|
87 |
|
|
lf_printf (file, "/* flush the icache of a possible break insn */\n");
|
88 |
|
|
lf_printf (file, "{\n");
|
89 |
|
|
lf_printf (file, " int cpu_nr;\n");
|
90 |
|
|
lf_printf (file, " for (cpu_nr = 0; cpu_nr < nr_cpus; cpu_nr++)\n");
|
91 |
|
|
lf_printf (file, " cpu_flush_icache (STATE_CPU (sd, cpu_nr));\n");
|
92 |
|
|
lf_printf (file, "}\n");
|
93 |
|
|
}
|
94 |
|
|
|
95 |
|
|
if (!options.gen.smp)
|
96 |
|
|
{
|
97 |
|
|
|
98 |
|
|
lf_putstr (file, "\
|
99 |
|
|
/* CASE 1: NO SMP (with or with out instruction cache).\n\
|
100 |
|
|
\n\
|
101 |
|
|
In this case, we can take advantage of the fact that the current\n\
|
102 |
|
|
instruction address (CIA) does not need to be read from / written to\n\
|
103 |
|
|
the CPU object after the execution of an instruction.\n\
|
104 |
|
|
\n\
|
105 |
|
|
Instead, CIA is only saved when the main loop exits. This occures\n\
|
106 |
|
|
when either sim_engine_halt or sim_engine_restart is called. Both of\n\
|
107 |
|
|
these functions save the current instruction address before halting /\n\
|
108 |
|
|
restarting the simulator.\n\
|
109 |
|
|
\n\
|
110 |
|
|
As a variation, there may also be support for an instruction cracking\n\
|
111 |
|
|
cache. */\n\
|
112 |
|
|
\n\
|
113 |
|
|
");
|
114 |
|
|
|
115 |
|
|
lf_putstr (file, "\n");
|
116 |
|
|
lf_putstr (file, "/* prime the main loop */\n");
|
117 |
|
|
lf_putstr (file, "SIM_ASSERT (current_cpu == 0);\n");
|
118 |
|
|
lf_putstr (file, "SIM_ASSERT (nr_cpus == 1);\n");
|
119 |
|
|
lf_putstr (file, "cia = CIA_GET (CPU);\n");
|
120 |
|
|
|
121 |
|
|
lf_putstr (file, "\n");
|
122 |
|
|
lf_putstr (file, "while (1)\n");
|
123 |
|
|
lf_putstr (file, " {\n");
|
124 |
|
|
lf_indent (file, +4);
|
125 |
|
|
|
126 |
|
|
lf_printf (file, "%sinstruction_address nia;\n",
|
127 |
|
|
options.module.global.prefix.l);
|
128 |
|
|
|
129 |
|
|
lf_printf (file, "\n");
|
130 |
|
|
if (!options.gen.icache)
|
131 |
|
|
{
|
132 |
|
|
lf_printf (file,
|
133 |
|
|
"%sinstruction_word instruction_0 = IMEM%d (cia);\n",
|
134 |
|
|
options.module.global.prefix.l, options.insn_bit_size);
|
135 |
|
|
print_engine_issue_prefix_hook (file);
|
136 |
|
|
print_idecode_body (file, table, "nia = ");
|
137 |
|
|
print_engine_issue_postfix_hook (file);
|
138 |
|
|
}
|
139 |
|
|
else
|
140 |
|
|
{
|
141 |
|
|
lf_putstr (file, "idecode_cache *cache_entry =\n");
|
142 |
|
|
lf_putstr (file, " cpu_icache_entry (cpu, cia);\n");
|
143 |
|
|
lf_putstr (file, "if (cache_entry->address == cia)\n");
|
144 |
|
|
lf_putstr (file, " {\n");
|
145 |
|
|
lf_indent (file, -4);
|
146 |
|
|
lf_putstr (file, "/* cache hit */\n");
|
147 |
|
|
lf_putstr (file,
|
148 |
|
|
"idecode_semantic *const semantic = cache_entry->semantic;\n");
|
149 |
|
|
lf_putstr (file, "cia = semantic (cpu, cache_entry, cia);\n");
|
150 |
|
|
/* tail */
|
151 |
|
|
lf_indent (file, -4);
|
152 |
|
|
lf_putstr (file, " }\n");
|
153 |
|
|
lf_putstr (file, "else\n");
|
154 |
|
|
lf_putstr (file, " {\n");
|
155 |
|
|
lf_indent (file, +4);
|
156 |
|
|
lf_putstr (file, "/* cache miss */\n");
|
157 |
|
|
if (!options.gen.semantic_icache)
|
158 |
|
|
{
|
159 |
|
|
lf_putstr (file, "idecode_semantic *semantic;\n");
|
160 |
|
|
}
|
161 |
|
|
lf_printf (file, "instruction_word instruction = IMEM%d (cia);\n",
|
162 |
|
|
options.insn_bit_size);
|
163 |
|
|
lf_putstr (file, "if (WITH_MON != 0)\n");
|
164 |
|
|
lf_putstr (file,
|
165 |
|
|
" mon_event (mon_event_icache_miss, cpu, cia);\n");
|
166 |
|
|
if (options.gen.semantic_icache)
|
167 |
|
|
{
|
168 |
|
|
lf_putstr (file, "{\n");
|
169 |
|
|
lf_indent (file, +2);
|
170 |
|
|
print_engine_issue_prefix_hook (file);
|
171 |
|
|
print_idecode_body (file, table, "nia =");
|
172 |
|
|
print_engine_issue_postfix_hook (file);
|
173 |
|
|
lf_indent (file, -2);
|
174 |
|
|
lf_putstr (file, "}\n");
|
175 |
|
|
}
|
176 |
|
|
else
|
177 |
|
|
{
|
178 |
|
|
print_engine_issue_prefix_hook (file);
|
179 |
|
|
print_idecode_body (file, table, "semantic =");
|
180 |
|
|
lf_putstr (file, "nia = semantic (cpu, cache_entry, cia);\n");
|
181 |
|
|
print_engine_issue_postfix_hook (file);
|
182 |
|
|
}
|
183 |
|
|
lf_indent (file, -4);
|
184 |
|
|
lf_putstr (file, " }\n");
|
185 |
|
|
}
|
186 |
|
|
|
187 |
|
|
/* update the cpu if necessary */
|
188 |
|
|
switch (options.gen.nia)
|
189 |
|
|
{
|
190 |
|
|
case nia_is_cia_plus_one:
|
191 |
|
|
lf_printf (file, "\n");
|
192 |
|
|
lf_printf (file, "/* Update the instruction address */\n");
|
193 |
|
|
lf_printf (file, "cia = nia;\n");
|
194 |
|
|
break;
|
195 |
|
|
case nia_is_void:
|
196 |
|
|
case nia_is_invalid:
|
197 |
|
|
ERROR ("engine gen when NIA complex");
|
198 |
|
|
}
|
199 |
|
|
|
200 |
|
|
/* events */
|
201 |
|
|
lf_putstr (file, "\n");
|
202 |
|
|
lf_putstr (file, "/* process any events */\n");
|
203 |
|
|
lf_putstr (file, "if (sim_events_tick (sd))\n");
|
204 |
|
|
lf_putstr (file, " {\n");
|
205 |
|
|
lf_putstr (file, " CIA_SET (CPU, cia);\n");
|
206 |
|
|
lf_putstr (file, " sim_events_process (sd);\n");
|
207 |
|
|
lf_putstr (file, " cia = CIA_GET (CPU);\n");
|
208 |
|
|
lf_putstr (file, " }\n");
|
209 |
|
|
|
210 |
|
|
lf_indent (file, -4);
|
211 |
|
|
lf_printf (file, " }\n");
|
212 |
|
|
}
|
213 |
|
|
|
214 |
|
|
if (options.gen.smp)
|
215 |
|
|
{
|
216 |
|
|
|
217 |
|
|
lf_putstr (file, "\
|
218 |
|
|
/* CASE 2: SMP (With or without ICACHE)\n\
|
219 |
|
|
\n\
|
220 |
|
|
The complexity here comes from needing to correctly halt the simulator\n\
|
221 |
|
|
when it is aborted. For instance, if cpu0 requests a restart then\n\
|
222 |
|
|
cpu1 will normally be the next cpu that is run. Cpu0 being restarted\n\
|
223 |
|
|
after all the other CPU's and the event queue have been processed */\n\
|
224 |
|
|
\n\
|
225 |
|
|
");
|
226 |
|
|
|
227 |
|
|
lf_putstr (file, "\n");
|
228 |
|
|
lf_printf (file,
|
229 |
|
|
"/* have ensured that the event queue is NOT next */\n");
|
230 |
|
|
lf_printf (file, "SIM_ASSERT (current_cpu >= 0);\n");
|
231 |
|
|
lf_printf (file, "SIM_ASSERT (current_cpu <= nr_cpus - 1);\n");
|
232 |
|
|
lf_printf (file, "SIM_ASSERT (nr_cpus <= MAX_NR_PROCESSORS);\n");
|
233 |
|
|
|
234 |
|
|
lf_putstr (file, "\n");
|
235 |
|
|
lf_putstr (file, "while (1)\n");
|
236 |
|
|
lf_putstr (file, " {\n");
|
237 |
|
|
lf_indent (file, +4);
|
238 |
|
|
lf_putstr (file, "sim_cpu *cpu = STATE_CPU (sd, current_cpu);\n");
|
239 |
|
|
lf_putstr (file, "instruction_address cia = CIA_GET (cpu);\n");
|
240 |
|
|
lf_putstr (file, "\n");
|
241 |
|
|
|
242 |
|
|
if (!options.gen.icache)
|
243 |
|
|
{
|
244 |
|
|
lf_printf (file, "instruction_word instruction_0 = IMEM%d (cia);\n",
|
245 |
|
|
options.insn_bit_size);
|
246 |
|
|
print_engine_issue_prefix_hook (file);
|
247 |
|
|
print_idecode_body (file, table, "cia =");
|
248 |
|
|
lf_putstr (file, "CIA_SET (cpu, cia);\n");
|
249 |
|
|
print_engine_issue_postfix_hook (file);
|
250 |
|
|
}
|
251 |
|
|
|
252 |
|
|
if (options.gen.icache)
|
253 |
|
|
{
|
254 |
|
|
lf_putstr (file, "engine_cache *cache_entry =\n");
|
255 |
|
|
lf_putstr (file, " cpu_icache_entry(processor, cia);\n");
|
256 |
|
|
lf_putstr (file, "\n");
|
257 |
|
|
lf_putstr (file, "if (cache_entry->address == cia) {\n");
|
258 |
|
|
{
|
259 |
|
|
lf_indent (file, +2);
|
260 |
|
|
lf_putstr (file, "\n");
|
261 |
|
|
lf_putstr (file, "/* cache hit */\n");
|
262 |
|
|
lf_putstr (file,
|
263 |
|
|
"engine_semantic *semantic = cache_entry->semantic;\n");
|
264 |
|
|
lf_putstr (file,
|
265 |
|
|
"cia = semantic(processor, cache_entry, cia);\n");
|
266 |
|
|
/* tail */
|
267 |
|
|
lf_putstr (file, "cpu_set_program_counter(processor, cia);\n");
|
268 |
|
|
lf_putstr (file, "\n");
|
269 |
|
|
lf_indent (file, -2);
|
270 |
|
|
}
|
271 |
|
|
lf_putstr (file, "}\n");
|
272 |
|
|
lf_putstr (file, "else {\n");
|
273 |
|
|
{
|
274 |
|
|
lf_indent (file, +2);
|
275 |
|
|
lf_putstr (file, "\n");
|
276 |
|
|
lf_putstr (file, "/* cache miss */\n");
|
277 |
|
|
if (!options.gen.semantic_icache)
|
278 |
|
|
{
|
279 |
|
|
lf_putstr (file, "engine_semantic *semantic;\n");
|
280 |
|
|
}
|
281 |
|
|
lf_printf (file, "instruction_word instruction = IMEM%d (cia);\n",
|
282 |
|
|
options.insn_bit_size);
|
283 |
|
|
lf_putstr (file, "if (WITH_MON != 0)\n");
|
284 |
|
|
lf_putstr (file,
|
285 |
|
|
" mon_event(mon_event_icache_miss, processors[current_cpu], cia);\n");
|
286 |
|
|
if (options.gen.semantic_icache)
|
287 |
|
|
{
|
288 |
|
|
lf_putstr (file, "{\n");
|
289 |
|
|
lf_indent (file, +2);
|
290 |
|
|
print_engine_issue_prefix_hook (file);
|
291 |
|
|
print_idecode_body (file, table, "cia =");
|
292 |
|
|
print_engine_issue_postfix_hook (file);
|
293 |
|
|
lf_indent (file, -2);
|
294 |
|
|
lf_putstr (file, "}\n");
|
295 |
|
|
}
|
296 |
|
|
else
|
297 |
|
|
{
|
298 |
|
|
print_engine_issue_prefix_hook (file);
|
299 |
|
|
print_idecode_body (file, table, "semantic = ");
|
300 |
|
|
lf_putstr (file,
|
301 |
|
|
"cia = semantic(processor, cache_entry, cia);\n");
|
302 |
|
|
print_engine_issue_postfix_hook (file);
|
303 |
|
|
}
|
304 |
|
|
/* tail */
|
305 |
|
|
lf_putstr (file, "cpu_set_program_counter(processor, cia);\n");
|
306 |
|
|
lf_putstr (file, "\n");
|
307 |
|
|
lf_indent (file, -2);
|
308 |
|
|
}
|
309 |
|
|
lf_putstr (file, "}\n");
|
310 |
|
|
}
|
311 |
|
|
|
312 |
|
|
lf_putstr (file, "\n");
|
313 |
|
|
lf_putstr (file, "current_cpu += 1;\n");
|
314 |
|
|
lf_putstr (file, "if (current_cpu == nr_cpus)\n");
|
315 |
|
|
lf_putstr (file, " {\n");
|
316 |
|
|
lf_putstr (file, " if (sim_events_tick (sd))\n");
|
317 |
|
|
lf_putstr (file, " {\n");
|
318 |
|
|
lf_putstr (file, " sim_events_process (sd);\n");
|
319 |
|
|
lf_putstr (file, " }\n");
|
320 |
|
|
lf_putstr (file, " current_cpu = 0;\n");
|
321 |
|
|
lf_putstr (file, " }\n");
|
322 |
|
|
|
323 |
|
|
/* tail */
|
324 |
|
|
lf_indent (file, -4);
|
325 |
|
|
lf_putstr (file, " }\n");
|
326 |
|
|
}
|
327 |
|
|
|
328 |
|
|
|
329 |
|
|
lf_indent (file, -2);
|
330 |
|
|
lf_putstr (file, "}\n");
|
331 |
|
|
}
|
332 |
|
|
|
333 |
|
|
|
334 |
|
|
/****************************************************************/
|
335 |
|
|
|
336 |
|
|
#if 0
|
337 |
|
|
static void
|
338 |
|
|
print_jump (lf *file, int is_tail)
|
339 |
|
|
{
|
340 |
|
|
if (!options.gen.smp)
|
341 |
|
|
{
|
342 |
|
|
lf_putstr (file, "if (event_queue_tick (sd))\n");
|
343 |
|
|
lf_putstr (file, " {\n");
|
344 |
|
|
lf_putstr (file, " CPU_CIA (processor) = nia;\n");
|
345 |
|
|
lf_putstr (file, " sim_events_process (sd);\n");
|
346 |
|
|
lf_putstr (file, " }\n");
|
347 |
|
|
lf_putstr (file, "}\n");
|
348 |
|
|
}
|
349 |
|
|
|
350 |
|
|
if (options.gen.smp)
|
351 |
|
|
{
|
352 |
|
|
if (is_tail)
|
353 |
|
|
lf_putstr (file, "cpu_set_program_counter(processor, nia);\n");
|
354 |
|
|
lf_putstr (file, "current_cpu += 1;\n");
|
355 |
|
|
lf_putstr (file, "if (current_cpu >= nr_cpus)\n");
|
356 |
|
|
lf_putstr (file, " {\n");
|
357 |
|
|
lf_putstr (file, " if (sim_events_tick (sd))\n");
|
358 |
|
|
lf_putstr (file, " {\n");
|
359 |
|
|
lf_putstr (file, " sim_events_process (sd);\n");
|
360 |
|
|
lf_putstr (file, " }\n");
|
361 |
|
|
lf_putstr (file, " current_cpu = 0;\n");
|
362 |
|
|
lf_putstr (file, " }\n");
|
363 |
|
|
lf_putstr (file, "processor = processors[current_cpu];\n");
|
364 |
|
|
lf_putstr (file, "nia = cpu_get_program_counter(processor);\n");
|
365 |
|
|
}
|
366 |
|
|
|
367 |
|
|
if (options.gen.icache)
|
368 |
|
|
{
|
369 |
|
|
lf_putstr (file, "cache_entry = cpu_icache_entry(processor, nia);\n");
|
370 |
|
|
lf_putstr (file, "if (cache_entry->address == nia) {\n");
|
371 |
|
|
lf_putstr (file, " /* cache hit */\n");
|
372 |
|
|
lf_putstr (file, " goto *cache_entry->semantic;\n");
|
373 |
|
|
lf_putstr (file, "}\n");
|
374 |
|
|
if (is_tail)
|
375 |
|
|
{
|
376 |
|
|
lf_putstr (file, "goto cache_miss;\n");
|
377 |
|
|
}
|
378 |
|
|
}
|
379 |
|
|
|
380 |
|
|
if (!options.gen.icache && is_tail)
|
381 |
|
|
{
|
382 |
|
|
lf_printf (file, "goto engine;\n");
|
383 |
|
|
}
|
384 |
|
|
|
385 |
|
|
}
|
386 |
|
|
#endif
|
387 |
|
|
|
388 |
|
|
|
389 |
|
|
#if 0
|
390 |
|
|
static void
|
391 |
|
|
print_jump_insn (lf *file,
|
392 |
|
|
insn_entry * instruction,
|
393 |
|
|
opcode_bits *expanded_bits,
|
394 |
|
|
opcode_field *opcodes, cache_entry *cache_rules)
|
395 |
|
|
{
|
396 |
|
|
insn_opcodes opcode_path;
|
397 |
|
|
|
398 |
|
|
memset (&opcode_path, 0, sizeof (opcode_path));
|
399 |
|
|
opcode_path.opcode = opcodes;
|
400 |
|
|
|
401 |
|
|
/* what we are for the moment */
|
402 |
|
|
lf_printf (file, "\n");
|
403 |
|
|
print_my_defines (file,
|
404 |
|
|
instruction->name,
|
405 |
|
|
instruction->format_name, expanded_bits);
|
406 |
|
|
|
407 |
|
|
/* output the icache entry */
|
408 |
|
|
if (options.gen.icache)
|
409 |
|
|
{
|
410 |
|
|
lf_printf (file, "\n");
|
411 |
|
|
lf_indent (file, -1);
|
412 |
|
|
print_function_name (file,
|
413 |
|
|
instruction->name,
|
414 |
|
|
instruction->format_name,
|
415 |
|
|
NULL, expanded_bits, function_name_prefix_icache);
|
416 |
|
|
lf_printf (file, ":\n");
|
417 |
|
|
lf_indent (file, +1);
|
418 |
|
|
lf_printf (file, "{\n");
|
419 |
|
|
lf_indent (file, +2);
|
420 |
|
|
lf_putstr (file, "const unsigned_word cia = nia;\n");
|
421 |
|
|
print_itrace (file, instruction, 1 /*putting-value-in-cache */ );
|
422 |
|
|
print_idecode_validate (file, instruction, &opcode_path);
|
423 |
|
|
lf_printf (file, "\n");
|
424 |
|
|
lf_printf (file, "{\n");
|
425 |
|
|
lf_indent (file, +2);
|
426 |
|
|
print_icache_body (file, instruction, expanded_bits, cache_rules, 0, /*use_defines */
|
427 |
|
|
put_values_in_icache);
|
428 |
|
|
lf_printf (file, "cache_entry->address = nia;\n");
|
429 |
|
|
lf_printf (file, "cache_entry->semantic = &&");
|
430 |
|
|
print_function_name (file,
|
431 |
|
|
instruction->name,
|
432 |
|
|
instruction->format_name,
|
433 |
|
|
NULL,
|
434 |
|
|
expanded_bits, function_name_prefix_semantics);
|
435 |
|
|
lf_printf (file, ";\n");
|
436 |
|
|
if (options.gen.semantic_icache)
|
437 |
|
|
{
|
438 |
|
|
print_semantic_body (file,
|
439 |
|
|
instruction, expanded_bits, &opcode_path);
|
440 |
|
|
print_jump (file, 1 /*is-tail */ );
|
441 |
|
|
}
|
442 |
|
|
else
|
443 |
|
|
{
|
444 |
|
|
lf_printf (file, "/* goto ");
|
445 |
|
|
print_function_name (file,
|
446 |
|
|
instruction->name,
|
447 |
|
|
instruction->format_name,
|
448 |
|
|
NULL,
|
449 |
|
|
expanded_bits, function_name_prefix_semantics);
|
450 |
|
|
lf_printf (file, "; */\n");
|
451 |
|
|
}
|
452 |
|
|
lf_indent (file, -2);
|
453 |
|
|
lf_putstr (file, "}\n");
|
454 |
|
|
lf_indent (file, -2);
|
455 |
|
|
lf_printf (file, "}\n");
|
456 |
|
|
}
|
457 |
|
|
|
458 |
|
|
/* print the semantics */
|
459 |
|
|
lf_printf (file, "\n");
|
460 |
|
|
lf_indent (file, -1);
|
461 |
|
|
print_function_name (file,
|
462 |
|
|
instruction->name,
|
463 |
|
|
instruction->format_name,
|
464 |
|
|
NULL, expanded_bits, function_name_prefix_semantics);
|
465 |
|
|
lf_printf (file, ":\n");
|
466 |
|
|
lf_indent (file, +1);
|
467 |
|
|
lf_printf (file, "{\n");
|
468 |
|
|
lf_indent (file, +2);
|
469 |
|
|
lf_putstr (file, "const unsigned_word cia = nia;\n");
|
470 |
|
|
print_icache_body (file,
|
471 |
|
|
instruction,
|
472 |
|
|
expanded_bits,
|
473 |
|
|
cache_rules,
|
474 |
|
|
(options.gen.direct_access
|
475 |
|
|
? define_variables
|
476 |
|
|
: declare_variables),
|
477 |
|
|
(options.gen.icache
|
478 |
|
|
? get_values_from_icache : do_not_use_icache));
|
479 |
|
|
print_semantic_body (file, instruction, expanded_bits, &opcode_path);
|
480 |
|
|
if (options.gen.direct_access)
|
481 |
|
|
print_icache_body (file,
|
482 |
|
|
instruction,
|
483 |
|
|
expanded_bits,
|
484 |
|
|
cache_rules,
|
485 |
|
|
undef_variables,
|
486 |
|
|
(options.gen.icache
|
487 |
|
|
? get_values_from_icache : do_not_use_icache));
|
488 |
|
|
print_jump (file, 1 /*is tail */ );
|
489 |
|
|
lf_indent (file, -2);
|
490 |
|
|
lf_printf (file, "}\n");
|
491 |
|
|
}
|
492 |
|
|
#endif
|
493 |
|
|
|
494 |
|
|
|
495 |
|
|
#if 0
|
496 |
|
|
static void
|
497 |
|
|
print_jump_definition (lf *file, gen_entry *entry, int depth, void *data)
|
498 |
|
|
{
|
499 |
|
|
cache_entry *cache_rules = (cache_entry *) data;
|
500 |
|
|
if (entry->opcode_rule->with_duplicates)
|
501 |
|
|
{
|
502 |
|
|
ASSERT (entry->nr_insns == 1
|
503 |
|
|
&& entry->opcode == NULL
|
504 |
|
|
&& entry->parent != NULL && entry->parent->opcode != NULL);
|
505 |
|
|
ASSERT (entry->nr_insns == 1
|
506 |
|
|
&& entry->opcode == NULL
|
507 |
|
|
&& entry->parent != NULL
|
508 |
|
|
&& entry->parent->opcode != NULL
|
509 |
|
|
&& entry->parent->opcode_rule != NULL);
|
510 |
|
|
print_jump_insn (file,
|
511 |
|
|
entry->insns->insn,
|
512 |
|
|
entry->expanded_bits, entry->opcode, cache_rules);
|
513 |
|
|
}
|
514 |
|
|
else
|
515 |
|
|
{
|
516 |
|
|
print_jump_insn (file, entry->insns->insn, NULL, NULL, cache_rules);
|
517 |
|
|
}
|
518 |
|
|
}
|
519 |
|
|
#endif
|
520 |
|
|
|
521 |
|
|
|
522 |
|
|
#if 0
|
523 |
|
|
static void
|
524 |
|
|
print_jump_internal_function (lf *file, function_entry * function, void *data)
|
525 |
|
|
{
|
526 |
|
|
if (function->is_internal)
|
527 |
|
|
{
|
528 |
|
|
lf_printf (file, "\n");
|
529 |
|
|
lf_print__line_ref (file, function->line);
|
530 |
|
|
lf_indent (file, -1);
|
531 |
|
|
print_function_name (file,
|
532 |
|
|
function->name,
|
533 |
|
|
NULL,
|
534 |
|
|
NULL,
|
535 |
|
|
NULL,
|
536 |
|
|
(options.gen.icache
|
537 |
|
|
? function_name_prefix_icache
|
538 |
|
|
: function_name_prefix_semantics));
|
539 |
|
|
lf_printf (file, ":\n");
|
540 |
|
|
lf_indent (file, +1);
|
541 |
|
|
lf_printf (file, "{\n");
|
542 |
|
|
lf_indent (file, +2);
|
543 |
|
|
lf_printf (file, "const unsigned_word cia = nia;\n");
|
544 |
|
|
table_print_code (file, function->code);
|
545 |
|
|
lf_print__internal_ref (file);
|
546 |
|
|
lf_printf (file, "error(\"Internal function must longjump\\n\");\n");
|
547 |
|
|
lf_indent (file, -2);
|
548 |
|
|
lf_printf (file, "}\n");
|
549 |
|
|
}
|
550 |
|
|
}
|
551 |
|
|
#endif
|
552 |
|
|
|
553 |
|
|
|
554 |
|
|
#if 0
|
555 |
|
|
static void
|
556 |
|
|
print_jump_body (lf *file,
|
557 |
|
|
gen_entry *entry, insn_table *isa, cache_entry *cache_rules)
|
558 |
|
|
{
|
559 |
|
|
lf_printf (file, "{\n");
|
560 |
|
|
lf_indent (file, +2);
|
561 |
|
|
lf_putstr (file, "jmp_buf halt;\n");
|
562 |
|
|
lf_putstr (file, "jmp_buf restart;\n");
|
563 |
|
|
lf_putstr (file, "cpu *processor = NULL;\n");
|
564 |
|
|
lf_putstr (file, "unsigned_word nia = -1;\n");
|
565 |
|
|
lf_putstr (file, "instruction_word instruction = 0;\n");
|
566 |
|
|
if (options.gen.icache)
|
567 |
|
|
{
|
568 |
|
|
lf_putstr (file, "engine_cache *cache_entry = NULL;\n");
|
569 |
|
|
}
|
570 |
|
|
if (options.gen.smp)
|
571 |
|
|
{
|
572 |
|
|
lf_putstr (file, "int current_cpu = -1;\n");
|
573 |
|
|
}
|
574 |
|
|
|
575 |
|
|
/* all the switches and tables - they know about jumping */
|
576 |
|
|
print_idecode_lookups (file, entry, cache_rules);
|
577 |
|
|
|
578 |
|
|
/* start the simulation up */
|
579 |
|
|
if (options.gen.icache)
|
580 |
|
|
{
|
581 |
|
|
lf_putstr (file, "\n");
|
582 |
|
|
lf_putstr (file, "{\n");
|
583 |
|
|
lf_putstr (file, " int cpu_nr;\n");
|
584 |
|
|
lf_putstr (file, " for (cpu_nr = 0; cpu_nr < nr_cpus; cpu_nr++)\n");
|
585 |
|
|
lf_putstr (file, " cpu_flush_icache(processors[cpu_nr]);\n");
|
586 |
|
|
lf_putstr (file, "}\n");
|
587 |
|
|
}
|
588 |
|
|
|
589 |
|
|
lf_putstr (file, "\n");
|
590 |
|
|
lf_putstr (file, "psim_set_halt_and_restart(system, &halt, &restart);\n");
|
591 |
|
|
|
592 |
|
|
lf_putstr (file, "\n");
|
593 |
|
|
lf_putstr (file, "if (setjmp(halt))\n");
|
594 |
|
|
lf_putstr (file, " return;\n");
|
595 |
|
|
|
596 |
|
|
lf_putstr (file, "\n");
|
597 |
|
|
lf_putstr (file, "setjmp(restart);\n");
|
598 |
|
|
|
599 |
|
|
lf_putstr (file, "\n");
|
600 |
|
|
if (!options.gen.smp)
|
601 |
|
|
{
|
602 |
|
|
lf_putstr (file, "processor = processors[0];\n");
|
603 |
|
|
lf_putstr (file, "nia = cpu_get_program_counter(processor);\n");
|
604 |
|
|
}
|
605 |
|
|
else
|
606 |
|
|
{
|
607 |
|
|
lf_putstr (file, "current_cpu = psim_last_cpu(system);\n");
|
608 |
|
|
}
|
609 |
|
|
|
610 |
|
|
if (!options.gen.icache)
|
611 |
|
|
{
|
612 |
|
|
lf_printf (file, "\n");
|
613 |
|
|
lf_indent (file, -1);
|
614 |
|
|
lf_printf (file, "engine:\n");
|
615 |
|
|
lf_indent (file, +1);
|
616 |
|
|
}
|
617 |
|
|
|
618 |
|
|
print_jump (file, 0 /*is_tail */ );
|
619 |
|
|
|
620 |
|
|
if (options.gen.icache)
|
621 |
|
|
{
|
622 |
|
|
lf_indent (file, -1);
|
623 |
|
|
lf_printf (file, "cache_miss:\n");
|
624 |
|
|
lf_indent (file, +1);
|
625 |
|
|
}
|
626 |
|
|
|
627 |
|
|
print_engine_issue_prefix_hook (file);
|
628 |
|
|
lf_putstr (file, "instruction\n");
|
629 |
|
|
lf_putstr (file,
|
630 |
|
|
" = vm_instruction_map_read(cpu_instruction_map(processor),\n");
|
631 |
|
|
lf_putstr (file, " processor, nia);\n");
|
632 |
|
|
print_engine_issue_prefix_hook (file);
|
633 |
|
|
print_idecode_body (file, entry, "/*IGORE*/");
|
634 |
|
|
print_engine_issue_postfix_hook (file);
|
635 |
|
|
|
636 |
|
|
/* print out a table of all the internals functions */
|
637 |
|
|
function_entry_traverse (file, isa->functions,
|
638 |
|
|
print_jump_internal_function, NULL);
|
639 |
|
|
|
640 |
|
|
/* print out a table of all the instructions */
|
641 |
|
|
ERROR ("Use the list of semantic functions, not travere_tree");
|
642 |
|
|
gen_entry_traverse_tree (file, entry, 1, NULL, /* start */
|
643 |
|
|
print_jump_definition, /* leaf */
|
644 |
|
|
NULL, /* end */
|
645 |
|
|
cache_rules);
|
646 |
|
|
lf_indent (file, -2);
|
647 |
|
|
lf_printf (file, "}\n");
|
648 |
|
|
}
|
649 |
|
|
#endif
|
650 |
|
|
|
651 |
|
|
|
652 |
|
|
/****************************************************************/
|
653 |
|
|
|
654 |
|
|
|
655 |
|
|
void
|
656 |
|
|
print_engine_run_function_header (lf *file,
|
657 |
|
|
char *processor,
|
658 |
|
|
function_decl_type decl_type)
|
659 |
|
|
{
|
660 |
|
|
int indent;
|
661 |
|
|
lf_printf (file, "\n");
|
662 |
|
|
switch (decl_type)
|
663 |
|
|
{
|
664 |
|
|
case is_function_declaration:
|
665 |
|
|
lf_print__function_type (file, "void", "INLINE_ENGINE", "\n");
|
666 |
|
|
break;
|
667 |
|
|
case is_function_definition:
|
668 |
|
|
lf_print__function_type (file, "void", "INLINE_ENGINE", " ");
|
669 |
|
|
break;
|
670 |
|
|
case is_function_variable:
|
671 |
|
|
lf_printf (file, "void (*");
|
672 |
|
|
break;
|
673 |
|
|
}
|
674 |
|
|
indent = print_function_name (file, "run", NULL, /* format name */
|
675 |
|
|
processor, NULL, /* expanded bits */
|
676 |
|
|
function_name_prefix_engine);
|
677 |
|
|
switch (decl_type)
|
678 |
|
|
{
|
679 |
|
|
case is_function_definition:
|
680 |
|
|
lf_putstr (file, "\n(");
|
681 |
|
|
indent = 1;
|
682 |
|
|
break;
|
683 |
|
|
case is_function_declaration:
|
684 |
|
|
indent += lf_printf (file, " (");
|
685 |
|
|
break;
|
686 |
|
|
case is_function_variable:
|
687 |
|
|
lf_putstr (file, ")\n(");
|
688 |
|
|
indent = 1;
|
689 |
|
|
break;
|
690 |
|
|
}
|
691 |
|
|
lf_indent (file, +indent);
|
692 |
|
|
lf_printf (file, "SIM_DESC sd,\n");
|
693 |
|
|
lf_printf (file, "int next_cpu_nr,\n");
|
694 |
|
|
lf_printf (file, "int nr_cpus,\n");
|
695 |
|
|
lf_printf (file, "int siggnal)");
|
696 |
|
|
lf_indent (file, -indent);
|
697 |
|
|
switch (decl_type)
|
698 |
|
|
{
|
699 |
|
|
case is_function_definition:
|
700 |
|
|
lf_putstr (file, "\n");
|
701 |
|
|
break;
|
702 |
|
|
case is_function_variable:
|
703 |
|
|
case is_function_declaration:
|
704 |
|
|
lf_putstr (file, ";\n");
|
705 |
|
|
break;
|
706 |
|
|
}
|
707 |
|
|
}
|
708 |
|
|
|
709 |
|
|
|
710 |
|
|
void
|
711 |
|
|
gen_engine_h (lf *file,
|
712 |
|
|
gen_table *gen, insn_table *isa, cache_entry *cache_rules)
|
713 |
|
|
{
|
714 |
|
|
gen_list *entry;
|
715 |
|
|
for (entry = gen->tables; entry != NULL; entry = entry->next)
|
716 |
|
|
{
|
717 |
|
|
print_engine_run_function_header (file,
|
718 |
|
|
(options.gen.multi_sim
|
719 |
|
|
? entry->model->name
|
720 |
|
|
: NULL), is_function_declaration);
|
721 |
|
|
}
|
722 |
|
|
}
|
723 |
|
|
|
724 |
|
|
|
725 |
|
|
void
|
726 |
|
|
gen_engine_c (lf *file,
|
727 |
|
|
gen_table *gen, insn_table *isa, cache_entry *cache_rules)
|
728 |
|
|
{
|
729 |
|
|
gen_list *entry;
|
730 |
|
|
/* the intro */
|
731 |
|
|
print_includes (file);
|
732 |
|
|
print_include_inline (file, options.module.semantics);
|
733 |
|
|
print_include (file, options.module.engine);
|
734 |
|
|
lf_printf (file, "\n");
|
735 |
|
|
lf_printf (file, "#include \"sim-assert.h\"\n");
|
736 |
|
|
lf_printf (file, "\n");
|
737 |
|
|
print_idecode_globals (file);
|
738 |
|
|
lf_printf (file, "\n");
|
739 |
|
|
|
740 |
|
|
for (entry = gen->tables; entry != NULL; entry = entry->next)
|
741 |
|
|
{
|
742 |
|
|
switch (options.gen.code)
|
743 |
|
|
{
|
744 |
|
|
case generate_calls:
|
745 |
|
|
print_idecode_lookups (file, entry->table, cache_rules);
|
746 |
|
|
|
747 |
|
|
/* output the main engine routine */
|
748 |
|
|
print_engine_run_function_header (file,
|
749 |
|
|
(options.gen.multi_sim
|
750 |
|
|
? entry->model->name
|
751 |
|
|
: NULL), is_function_definition);
|
752 |
|
|
print_run_body (file, entry->table);
|
753 |
|
|
break;
|
754 |
|
|
|
755 |
|
|
case generate_jumps:
|
756 |
|
|
ERROR ("Jumps currently unimplemented");
|
757 |
|
|
#if 0
|
758 |
|
|
print_engine_run_function_header (file,
|
759 |
|
|
entry->processor,
|
760 |
|
|
is_function_definition);
|
761 |
|
|
print_jump_body (file, entry->table, isa, cache_rules);
|
762 |
|
|
#endif
|
763 |
|
|
break;
|
764 |
|
|
}
|
765 |
|
|
}
|
766 |
|
|
}
|