Commit | Line | Data |
---|---|---|
c906108c SS |
1 | /* This file is part of the program psim. |
2 | ||
3 | Copyright (C) 1994-1997, Andrew Cagney <cagney@highland.com.au> | |
4 | ||
5 | This program is free software; you can redistribute it and/or modify | |
6 | it under the terms of the GNU General Public License as published by | |
7 | the Free Software Foundation; either version 2 of the License, or | |
8 | (at your option) any later version. | |
9 | ||
10 | This program is distributed in the hope that it will be useful, | |
11 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
13 | GNU General Public License for more details. | |
14 | ||
15 | You should have received a copy of the GNU General Public License | |
16 | along with this program; if not, write to the Free Software | |
17 | Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. | |
18 | ||
19 | */ | |
20 | ||
21 | ||
22 | /* Creates the files semantics.[hc]. | |
23 | ||
24 | The generated file semantics contains functions that implement the | |
25 | operations required to model a single target processor instruction. | |
26 | ||
27 | Several different variations on the semantics file can be created: | |
28 | ||
29 | o uncached | |
30 | ||
31 | No instruction cache exists. The semantic function | |
32 | needs to generate any required values locally. | |
33 | ||
34 | o cached - separate cracker and semantic | |
35 | ||
36 | Two independant functions are created. Firstly the | |
37 | function that cracks an instruction entering it into a | |
38 | cache and secondly the semantic function propper that | |
39 | uses the cache. | |
40 | ||
41 | o cached - semantic + cracking semantic | |
42 | ||
43 | The function that cracks the instruction and enters | |
44 | all values into the cache also contains a copy of the | |
45 | semantic code (avoiding the need to call both the | |
46 | cracker and the semantic function when there is a | |
47 | cache miss). | |
48 | ||
49 | For each of these general forms, several refinements can occure: | |
50 | ||
51 | o do/don't duplicate/expand semantic functions | |
52 | ||
53 | As a consequence of decoding an instruction, the | |
54 | decoder, as part of its table may have effectivly made | |
55 | certain of the variable fields in an instruction | |
56 | constant. Separate functions for each of the | |
57 | alternative values for what would have been treated as | |
58 | a variable part can be created. | |
59 | ||
60 | o use cache struct directly. | |
61 | ||
62 | When a cracking cache is present, the semantic | |
63 | functions can be generated to either hold intermediate | |
64 | cache values in local variables or always refer to the | |
65 | contents of the cache directly. */ | |
66 | ||
67 | ||
68 | ||
69 | ||
70 | ||
71 | ||
72 | extern void print_semantic_declaration | |
73 | (lf *file, | |
74 | insn_entry *insn, | |
75 | opcode_bits *bits, | |
76 | insn_opcodes *opcodes, | |
77 | int nr_prefetched_words); | |
78 | ||
79 | extern void print_semantic_definition | |
80 | (lf *file, | |
81 | insn_entry *insn, | |
82 | opcode_bits *bits, | |
83 | insn_opcodes *opcodes, | |
84 | cache_entry *cache_rules, | |
85 | int nr_prefetched_words); | |
86 | ||
87 | ||
88 | typedef enum { | |
89 | invalid_illegal, | |
90 | invalid_fp_unavailable, | |
91 | invalid_wrong_slot, | |
92 | } invalid_type; | |
93 | ||
94 | extern void print_idecode_invalid | |
95 | (lf *file, | |
96 | const char *result, | |
97 | invalid_type type); | |
98 | ||
99 | extern void print_semantic_body | |
100 | (lf *file, | |
101 | insn_entry *instruction, | |
102 | opcode_bits *expanded_bits, | |
103 | insn_opcodes *opcodes); | |
104 |