root / tcg / tcg.h @ b24a39fa
History | View | Annotate | Download (12.5 kB)
1 | c896fe29 | bellard | /*
|
---|---|---|---|
2 | c896fe29 | bellard | * Tiny Code Generator for QEMU
|
3 | c896fe29 | bellard | *
|
4 | c896fe29 | bellard | * Copyright (c) 2008 Fabrice Bellard
|
5 | c896fe29 | bellard | *
|
6 | c896fe29 | bellard | * Permission is hereby granted, free of charge, to any person obtaining a copy
|
7 | c896fe29 | bellard | * of this software and associated documentation files (the "Software"), to deal
|
8 | c896fe29 | bellard | * in the Software without restriction, including without limitation the rights
|
9 | c896fe29 | bellard | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
10 | c896fe29 | bellard | * copies of the Software, and to permit persons to whom the Software is
|
11 | c896fe29 | bellard | * furnished to do so, subject to the following conditions:
|
12 | c896fe29 | bellard | *
|
13 | c896fe29 | bellard | * The above copyright notice and this permission notice shall be included in
|
14 | c896fe29 | bellard | * all copies or substantial portions of the Software.
|
15 | c896fe29 | bellard | *
|
16 | c896fe29 | bellard | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
17 | c896fe29 | bellard | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
18 | c896fe29 | bellard | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
|
19 | c896fe29 | bellard | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
20 | c896fe29 | bellard | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
21 | c896fe29 | bellard | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
22 | c896fe29 | bellard | * THE SOFTWARE.
|
23 | c896fe29 | bellard | */
|
24 | c896fe29 | bellard | #include "tcg-target.h" |
25 | c896fe29 | bellard | |
26 | c896fe29 | bellard | #if TCG_TARGET_REG_BITS == 32 |
27 | c896fe29 | bellard | typedef int32_t tcg_target_long;
|
28 | c896fe29 | bellard | typedef uint32_t tcg_target_ulong;
|
29 | c896fe29 | bellard | #define TCG_PRIlx PRIx32
|
30 | c896fe29 | bellard | #define TCG_PRIld PRId32
|
31 | c896fe29 | bellard | #elif TCG_TARGET_REG_BITS == 64 |
32 | c896fe29 | bellard | typedef int64_t tcg_target_long;
|
33 | c896fe29 | bellard | typedef uint64_t tcg_target_ulong;
|
34 | c896fe29 | bellard | #define TCG_PRIlx PRIx64
|
35 | c896fe29 | bellard | #define TCG_PRIld PRId64
|
36 | c896fe29 | bellard | #else
|
37 | c896fe29 | bellard | #error unsupported
|
38 | c896fe29 | bellard | #endif
|
39 | c896fe29 | bellard | |
40 | c896fe29 | bellard | #if TCG_TARGET_NB_REGS <= 32 |
41 | c896fe29 | bellard | typedef uint32_t TCGRegSet;
|
42 | c896fe29 | bellard | #elif TCG_TARGET_NB_REGS <= 64 |
43 | c896fe29 | bellard | typedef uint64_t TCGRegSet;
|
44 | c896fe29 | bellard | #else
|
45 | c896fe29 | bellard | #error unsupported
|
46 | c896fe29 | bellard | #endif
|
47 | c896fe29 | bellard | |
48 | c896fe29 | bellard | enum {
|
49 | c896fe29 | bellard | #define DEF(s, n, copy_size) INDEX_op_ ## s, |
50 | c896fe29 | bellard | #include "tcg-opc.h" |
51 | c896fe29 | bellard | #undef DEF
|
52 | c896fe29 | bellard | NB_OPS, |
53 | c896fe29 | bellard | }; |
54 | c896fe29 | bellard | |
55 | c896fe29 | bellard | #define tcg_regset_clear(d) (d) = 0 |
56 | c896fe29 | bellard | #define tcg_regset_set(d, s) (d) = (s)
|
57 | c896fe29 | bellard | #define tcg_regset_set32(d, reg, val32) (d) |= (val32) << (reg)
|
58 | c896fe29 | bellard | #define tcg_regset_set_reg(d, r) (d) |= 1 << (r) |
59 | c896fe29 | bellard | #define tcg_regset_reset_reg(d, r) (d) &= ~(1 << (r)) |
60 | c896fe29 | bellard | #define tcg_regset_test_reg(d, r) (((d) >> (r)) & 1) |
61 | c896fe29 | bellard | #define tcg_regset_or(d, a, b) (d) = (a) | (b)
|
62 | c896fe29 | bellard | #define tcg_regset_and(d, a, b) (d) = (a) & (b)
|
63 | c896fe29 | bellard | #define tcg_regset_andnot(d, a, b) (d) = (a) & ~(b)
|
64 | c896fe29 | bellard | #define tcg_regset_not(d, a) (d) = ~(a)
|
65 | c896fe29 | bellard | |
66 | c896fe29 | bellard | typedef struct TCGRelocation { |
67 | c896fe29 | bellard | struct TCGRelocation *next;
|
68 | c896fe29 | bellard | int type;
|
69 | c896fe29 | bellard | uint8_t *ptr; |
70 | c896fe29 | bellard | tcg_target_long addend; |
71 | c896fe29 | bellard | } TCGRelocation; |
72 | c896fe29 | bellard | |
73 | c896fe29 | bellard | typedef struct TCGLabel { |
74 | c44f945a | blueswir1 | int has_value;
|
75 | c896fe29 | bellard | union {
|
76 | c896fe29 | bellard | tcg_target_ulong value; |
77 | c896fe29 | bellard | TCGRelocation *first_reloc; |
78 | c896fe29 | bellard | } u; |
79 | c896fe29 | bellard | } TCGLabel; |
80 | c896fe29 | bellard | |
81 | c896fe29 | bellard | typedef struct TCGPool { |
82 | c896fe29 | bellard | struct TCGPool *next;
|
83 | c44f945a | blueswir1 | int size;
|
84 | c44f945a | blueswir1 | uint8_t data[0] __attribute__ ((aligned));
|
85 | c896fe29 | bellard | } TCGPool; |
86 | c896fe29 | bellard | |
87 | c896fe29 | bellard | #define TCG_POOL_CHUNK_SIZE 32768 |
88 | c896fe29 | bellard | |
89 | c896fe29 | bellard | #define TCG_MAX_LABELS 512 |
90 | c896fe29 | bellard | |
91 | c4071c90 | blueswir1 | #define TCG_MAX_TEMPS 512 |
92 | c896fe29 | bellard | |
93 | b03cce8e | bellard | /* when the size of the arguments of a called function is smaller than
|
94 | b03cce8e | bellard | this value, they are statically allocated in the TB stack frame */
|
95 | b03cce8e | bellard | #define TCG_STATIC_CALL_ARGS_SIZE 128 |
96 | b03cce8e | bellard | |
97 | c896fe29 | bellard | typedef int TCGType; |
98 | c896fe29 | bellard | |
99 | c896fe29 | bellard | #define TCG_TYPE_I32 0 |
100 | c896fe29 | bellard | #define TCG_TYPE_I64 1 |
101 | e8996ee0 | bellard | #define TCG_TYPE_COUNT 2 /* number of different types */ |
102 | c896fe29 | bellard | |
103 | c896fe29 | bellard | #if TCG_TARGET_REG_BITS == 32 |
104 | c896fe29 | bellard | #define TCG_TYPE_PTR TCG_TYPE_I32
|
105 | c896fe29 | bellard | #else
|
106 | c896fe29 | bellard | #define TCG_TYPE_PTR TCG_TYPE_I64
|
107 | c896fe29 | bellard | #endif
|
108 | c896fe29 | bellard | |
109 | c896fe29 | bellard | typedef tcg_target_ulong TCGArg;
|
110 | c896fe29 | bellard | |
111 | ac56dd48 | pbrook | /* Define a type and accessor macros for varables. Using a struct is
|
112 | ac56dd48 | pbrook | nice because it gives some level of type safely. Ideally the compiler
|
113 | ac56dd48 | pbrook | be able to see through all this. However in practice this is not true,
|
114 | ac56dd48 | pbrook | expecially on targets with braindamaged ABIs (e.g. i386).
|
115 | ac56dd48 | pbrook | We use plain int by default to avoid this runtime overhead.
|
116 | ac56dd48 | pbrook | Users of tcg_gen_* don't need to know about any of this, and should
|
117 | ac56dd48 | pbrook | treat TCGv as an opaque type. */
|
118 | ac56dd48 | pbrook | |
119 | b24a39fa | aurel32 | #define DEBUG_TCGV 1 |
120 | ac56dd48 | pbrook | |
121 | ac56dd48 | pbrook | #ifdef DEBUG_TCGV
|
122 | ac56dd48 | pbrook | |
123 | ac56dd48 | pbrook | typedef struct |
124 | ac56dd48 | pbrook | { |
125 | ac56dd48 | pbrook | int n;
|
126 | ac56dd48 | pbrook | } TCGv; |
127 | ac56dd48 | pbrook | |
128 | ac56dd48 | pbrook | #define MAKE_TCGV(i) __extension__ \
|
129 | ac56dd48 | pbrook | ({ TCGv make_tcgv_tmp = {i}; make_tcgv_tmp;}) |
130 | ac56dd48 | pbrook | #define GET_TCGV(t) ((t).n)
|
131 | ac56dd48 | pbrook | #if TCG_TARGET_REG_BITS == 32 |
132 | ac56dd48 | pbrook | #define TCGV_HIGH(t) MAKE_TCGV(GET_TCGV(t) + 1) |
133 | ac56dd48 | pbrook | #endif
|
134 | ac56dd48 | pbrook | |
135 | ac56dd48 | pbrook | #else /* !DEBUG_TCGV */ |
136 | ac56dd48 | pbrook | |
137 | ac56dd48 | pbrook | typedef int TCGv; |
138 | ac56dd48 | pbrook | #define MAKE_TCGV(x) (x)
|
139 | ac56dd48 | pbrook | #define GET_TCGV(t) (t)
|
140 | ac56dd48 | pbrook | #if TCG_TARGET_REG_BITS == 32 |
141 | ac56dd48 | pbrook | #define TCGV_HIGH(t) ((t) + 1) |
142 | ac56dd48 | pbrook | #endif
|
143 | ac56dd48 | pbrook | |
144 | ac56dd48 | pbrook | #endif /* DEBUG_TCGV */ |
145 | ac56dd48 | pbrook | |
146 | a50f5b91 | pbrook | /* Dummy definition to avoid compiler warnings. */
|
147 | a50f5b91 | pbrook | #define TCGV_UNUSED(x) x = MAKE_TCGV(-1) |
148 | a50f5b91 | pbrook | |
149 | c896fe29 | bellard | /* call flags */
|
150 | c896fe29 | bellard | #define TCG_CALL_TYPE_MASK 0x000f |
151 | c896fe29 | bellard | #define TCG_CALL_TYPE_STD 0x0000 /* standard C call */ |
152 | c896fe29 | bellard | #define TCG_CALL_TYPE_REGPARM_1 0x0001 /* i386 style regparm call (1 reg) */ |
153 | c896fe29 | bellard | #define TCG_CALL_TYPE_REGPARM_2 0x0002 /* i386 style regparm call (2 regs) */ |
154 | c896fe29 | bellard | #define TCG_CALL_TYPE_REGPARM 0x0003 /* i386 style regparm call (3 regs) */ |
155 | c6e113f5 | bellard | /* A pure function only reads its arguments and globals variables and
|
156 | c6e113f5 | bellard | cannot raise exceptions. Hence a call to a pure function can be
|
157 | c6e113f5 | bellard | safely suppressed if the return value is not used. */
|
158 | c6e113f5 | bellard | #define TCG_CALL_PURE 0x0010 |
159 | c896fe29 | bellard | |
160 | 39cf05d3 | bellard | /* used to align parameters */
|
161 | 39cf05d3 | bellard | #define TCG_CALL_DUMMY_TCGV MAKE_TCGV(-1) |
162 | 39cf05d3 | bellard | #define TCG_CALL_DUMMY_ARG ((TCGArg)(-1)) |
163 | 39cf05d3 | bellard | |
164 | c896fe29 | bellard | typedef enum { |
165 | c896fe29 | bellard | TCG_COND_EQ, |
166 | c896fe29 | bellard | TCG_COND_NE, |
167 | c896fe29 | bellard | TCG_COND_LT, |
168 | c896fe29 | bellard | TCG_COND_GE, |
169 | c896fe29 | bellard | TCG_COND_LE, |
170 | c896fe29 | bellard | TCG_COND_GT, |
171 | c896fe29 | bellard | /* unsigned */
|
172 | c896fe29 | bellard | TCG_COND_LTU, |
173 | c896fe29 | bellard | TCG_COND_GEU, |
174 | c896fe29 | bellard | TCG_COND_LEU, |
175 | c896fe29 | bellard | TCG_COND_GTU, |
176 | c896fe29 | bellard | } TCGCond; |
177 | c896fe29 | bellard | |
178 | c896fe29 | bellard | #define TEMP_VAL_DEAD 0 |
179 | c896fe29 | bellard | #define TEMP_VAL_REG 1 |
180 | c896fe29 | bellard | #define TEMP_VAL_MEM 2 |
181 | c896fe29 | bellard | #define TEMP_VAL_CONST 3 |
182 | c896fe29 | bellard | |
183 | c896fe29 | bellard | /* XXX: optimize memory layout */
|
184 | c896fe29 | bellard | typedef struct TCGTemp { |
185 | c896fe29 | bellard | TCGType base_type; |
186 | c896fe29 | bellard | TCGType type; |
187 | c896fe29 | bellard | int val_type;
|
188 | c896fe29 | bellard | int reg;
|
189 | c896fe29 | bellard | tcg_target_long val; |
190 | c896fe29 | bellard | int mem_reg;
|
191 | c896fe29 | bellard | tcg_target_long mem_offset; |
192 | c896fe29 | bellard | unsigned int fixed_reg:1; |
193 | c896fe29 | bellard | unsigned int mem_coherent:1; |
194 | c896fe29 | bellard | unsigned int mem_allocated:1; |
195 | 641d5fbe | bellard | unsigned int temp_local:1; /* If true, the temp is saved accross |
196 | 641d5fbe | bellard | basic blocks. Otherwise, it is not
|
197 | 641d5fbe | bellard | preserved accross basic blocks. */
|
198 | e8996ee0 | bellard | unsigned int temp_allocated:1; /* never used for code gen */ |
199 | e8996ee0 | bellard | /* index of next free temp of same base type, -1 if end */
|
200 | e8996ee0 | bellard | int next_free_temp;
|
201 | c896fe29 | bellard | const char *name; |
202 | c896fe29 | bellard | } TCGTemp; |
203 | c896fe29 | bellard | |
204 | c896fe29 | bellard | typedef struct TCGHelperInfo { |
205 | 4dc81f28 | bellard | tcg_target_ulong func; |
206 | c896fe29 | bellard | const char *name; |
207 | c896fe29 | bellard | } TCGHelperInfo; |
208 | c896fe29 | bellard | |
209 | c896fe29 | bellard | typedef struct TCGContext TCGContext; |
210 | c896fe29 | bellard | |
211 | c896fe29 | bellard | struct TCGContext {
|
212 | c896fe29 | bellard | uint8_t *pool_cur, *pool_end; |
213 | c896fe29 | bellard | TCGPool *pool_first, *pool_current; |
214 | c896fe29 | bellard | TCGLabel *labels; |
215 | c896fe29 | bellard | int nb_labels;
|
216 | c896fe29 | bellard | TCGTemp *temps; /* globals first, temps after */
|
217 | c896fe29 | bellard | int nb_globals;
|
218 | c896fe29 | bellard | int nb_temps;
|
219 | 641d5fbe | bellard | /* index of free temps, -1 if none */
|
220 | 641d5fbe | bellard | int first_free_temp[TCG_TYPE_COUNT * 2]; |
221 | c896fe29 | bellard | |
222 | c896fe29 | bellard | /* goto_tb support */
|
223 | c896fe29 | bellard | uint8_t *code_buf; |
224 | c896fe29 | bellard | unsigned long *tb_next; |
225 | c896fe29 | bellard | uint16_t *tb_next_offset; |
226 | c896fe29 | bellard | uint16_t *tb_jmp_offset; /* != NULL if USE_DIRECT_JUMP */
|
227 | c896fe29 | bellard | |
228 | 641d5fbe | bellard | /* liveness analysis */
|
229 | c896fe29 | bellard | uint16_t *op_dead_iargs; /* for each operation, each bit tells if the
|
230 | c896fe29 | bellard | corresponding input argument is dead */
|
231 | 641d5fbe | bellard | |
232 | c896fe29 | bellard | /* tells in which temporary a given register is. It does not take
|
233 | c896fe29 | bellard | into account fixed registers */
|
234 | c896fe29 | bellard | int reg_to_temp[TCG_TARGET_NB_REGS];
|
235 | c896fe29 | bellard | TCGRegSet reserved_regs; |
236 | c896fe29 | bellard | tcg_target_long current_frame_offset; |
237 | c896fe29 | bellard | tcg_target_long frame_start; |
238 | c896fe29 | bellard | tcg_target_long frame_end; |
239 | c896fe29 | bellard | int frame_reg;
|
240 | c896fe29 | bellard | |
241 | c896fe29 | bellard | uint8_t *code_ptr; |
242 | c896fe29 | bellard | TCGTemp static_temps[TCG_MAX_TEMPS]; |
243 | c896fe29 | bellard | |
244 | c896fe29 | bellard | TCGHelperInfo *helpers; |
245 | c896fe29 | bellard | int nb_helpers;
|
246 | c896fe29 | bellard | int allocated_helpers;
|
247 | e8996ee0 | bellard | int helpers_sorted;
|
248 | a23a9ec6 | bellard | |
249 | a23a9ec6 | bellard | #ifdef CONFIG_PROFILER
|
250 | a23a9ec6 | bellard | /* profiling info */
|
251 | a23a9ec6 | bellard | int64_t tb_count1; |
252 | a23a9ec6 | bellard | int64_t tb_count; |
253 | a23a9ec6 | bellard | int64_t op_count; /* total insn count */
|
254 | a23a9ec6 | bellard | int op_count_max; /* max insn per TB */ |
255 | a23a9ec6 | bellard | int64_t temp_count; |
256 | a23a9ec6 | bellard | int temp_count_max;
|
257 | a23a9ec6 | bellard | int64_t old_op_count; |
258 | a23a9ec6 | bellard | int64_t del_op_count; |
259 | a23a9ec6 | bellard | int64_t code_in_len; |
260 | a23a9ec6 | bellard | int64_t code_out_len; |
261 | a23a9ec6 | bellard | int64_t interm_time; |
262 | a23a9ec6 | bellard | int64_t code_time; |
263 | a23a9ec6 | bellard | int64_t la_time; |
264 | a23a9ec6 | bellard | int64_t restore_count; |
265 | a23a9ec6 | bellard | int64_t restore_time; |
266 | a23a9ec6 | bellard | #endif
|
267 | c896fe29 | bellard | }; |
268 | c896fe29 | bellard | |
269 | c896fe29 | bellard | extern TCGContext tcg_ctx;
|
270 | c896fe29 | bellard | extern uint16_t *gen_opc_ptr;
|
271 | c896fe29 | bellard | extern TCGArg *gen_opparam_ptr;
|
272 | c896fe29 | bellard | extern uint16_t gen_opc_buf[];
|
273 | c896fe29 | bellard | extern TCGArg gen_opparam_buf[];
|
274 | c896fe29 | bellard | |
275 | c896fe29 | bellard | /* pool based memory allocation */
|
276 | c896fe29 | bellard | |
277 | c896fe29 | bellard | void *tcg_malloc_internal(TCGContext *s, int size); |
278 | c896fe29 | bellard | void tcg_pool_reset(TCGContext *s);
|
279 | c896fe29 | bellard | void tcg_pool_delete(TCGContext *s);
|
280 | c896fe29 | bellard | |
281 | c896fe29 | bellard | static inline void *tcg_malloc(int size) |
282 | c896fe29 | bellard | { |
283 | c896fe29 | bellard | TCGContext *s = &tcg_ctx; |
284 | c896fe29 | bellard | uint8_t *ptr, *ptr_end; |
285 | c896fe29 | bellard | size = (size + sizeof(long) - 1) & ~(sizeof(long) - 1); |
286 | c896fe29 | bellard | ptr = s->pool_cur; |
287 | c896fe29 | bellard | ptr_end = ptr + size; |
288 | c896fe29 | bellard | if (unlikely(ptr_end > s->pool_end)) {
|
289 | c896fe29 | bellard | return tcg_malloc_internal(&tcg_ctx, size);
|
290 | c896fe29 | bellard | } else {
|
291 | c896fe29 | bellard | s->pool_cur = ptr_end; |
292 | c896fe29 | bellard | return ptr;
|
293 | c896fe29 | bellard | } |
294 | c896fe29 | bellard | } |
295 | c896fe29 | bellard | |
296 | c896fe29 | bellard | void tcg_context_init(TCGContext *s);
|
297 | c896fe29 | bellard | void tcg_func_start(TCGContext *s);
|
298 | c896fe29 | bellard | |
299 | c896fe29 | bellard | int dyngen_code(TCGContext *s, uint8_t *gen_code_buf);
|
300 | 623e265c | pbrook | int dyngen_code_search_pc(TCGContext *s, uint8_t *gen_code_buf, long offset); |
301 | c896fe29 | bellard | |
302 | c896fe29 | bellard | void tcg_set_frame(TCGContext *s, int reg, |
303 | c896fe29 | bellard | tcg_target_long start, tcg_target_long size); |
304 | ac56dd48 | pbrook | TCGv tcg_global_reg_new(TCGType type, int reg, const char *name); |
305 | 6a8d7b76 | bellard | TCGv tcg_global_reg2_new_hack(TCGType type, int reg1, int reg2, |
306 | 6a8d7b76 | bellard | const char *name); |
307 | ac56dd48 | pbrook | TCGv tcg_global_mem_new(TCGType type, int reg, tcg_target_long offset,
|
308 | ac56dd48 | pbrook | const char *name); |
309 | 641d5fbe | bellard | TCGv tcg_temp_new_internal(TCGType type, int temp_local);
|
310 | 641d5fbe | bellard | static inline TCGv tcg_temp_new(TCGType type) |
311 | 641d5fbe | bellard | { |
312 | 641d5fbe | bellard | return tcg_temp_new_internal(type, 0); |
313 | 641d5fbe | bellard | } |
314 | 641d5fbe | bellard | static inline TCGv tcg_temp_local_new(TCGType type) |
315 | 641d5fbe | bellard | { |
316 | 641d5fbe | bellard | return tcg_temp_new_internal(type, 1); |
317 | 641d5fbe | bellard | } |
318 | e8996ee0 | bellard | void tcg_temp_free(TCGv arg);
|
319 | ac56dd48 | pbrook | char *tcg_get_arg_str(TCGContext *s, char *buf, int buf_size, TCGv arg); |
320 | a23a9ec6 | bellard | void tcg_dump_info(FILE *f,
|
321 | a23a9ec6 | bellard | int (*cpu_fprintf)(FILE *f, const char *fmt, ...)); |
322 | c896fe29 | bellard | |
323 | c896fe29 | bellard | #define TCG_CT_ALIAS 0x80 |
324 | c896fe29 | bellard | #define TCG_CT_IALIAS 0x40 |
325 | c896fe29 | bellard | #define TCG_CT_REG 0x01 |
326 | c896fe29 | bellard | #define TCG_CT_CONST 0x02 /* any constant of register size */ |
327 | c896fe29 | bellard | |
328 | c896fe29 | bellard | typedef struct TCGArgConstraint { |
329 | 5ff9d6a4 | bellard | uint16_t ct; |
330 | 5ff9d6a4 | bellard | uint8_t alias_index; |
331 | c896fe29 | bellard | union {
|
332 | c896fe29 | bellard | TCGRegSet regs; |
333 | c896fe29 | bellard | } u; |
334 | c896fe29 | bellard | } TCGArgConstraint; |
335 | c896fe29 | bellard | |
336 | c896fe29 | bellard | #define TCG_MAX_OP_ARGS 16 |
337 | c896fe29 | bellard | |
338 | c896fe29 | bellard | #define TCG_OPF_BB_END 0x01 /* instruction defines the end of a basic |
339 | c896fe29 | bellard | block */
|
340 | b03cce8e | bellard | #define TCG_OPF_CALL_CLOBBER 0x02 /* instruction clobbers call registers |
341 | b03cce8e | bellard | and potentially update globals. */
|
342 | b03cce8e | bellard | #define TCG_OPF_SIDE_EFFECTS 0x04 /* instruction has side effects : it |
343 | b03cce8e | bellard | cannot be removed if its output
|
344 | b03cce8e | bellard | are not used */
|
345 | c896fe29 | bellard | |
346 | c896fe29 | bellard | typedef struct TCGOpDef { |
347 | c896fe29 | bellard | const char *name; |
348 | c896fe29 | bellard | uint8_t nb_oargs, nb_iargs, nb_cargs, nb_args; |
349 | c896fe29 | bellard | uint8_t flags; |
350 | c896fe29 | bellard | uint16_t copy_size; |
351 | c896fe29 | bellard | TCGArgConstraint *args_ct; |
352 | c896fe29 | bellard | int *sorted_args;
|
353 | c896fe29 | bellard | } TCGOpDef; |
354 | c896fe29 | bellard | |
355 | c896fe29 | bellard | typedef struct TCGTargetOpDef { |
356 | c896fe29 | bellard | int op;
|
357 | c896fe29 | bellard | const char *args_ct_str[TCG_MAX_OP_ARGS]; |
358 | c896fe29 | bellard | } TCGTargetOpDef; |
359 | c896fe29 | bellard | |
360 | c896fe29 | bellard | extern TCGOpDef tcg_op_defs[];
|
361 | c896fe29 | bellard | |
362 | c896fe29 | bellard | void tcg_target_init(TCGContext *s);
|
363 | b03cce8e | bellard | void tcg_target_qemu_prologue(TCGContext *s);
|
364 | c896fe29 | bellard | |
365 | c896fe29 | bellard | #define tcg_abort() \
|
366 | c896fe29 | bellard | do {\
|
367 | c896fe29 | bellard | fprintf(stderr, "%s:%d: tcg fatal error\n", __FILE__, __LINE__);\
|
368 | c896fe29 | bellard | abort();\ |
369 | c896fe29 | bellard | } while (0) |
370 | c896fe29 | bellard | |
371 | c896fe29 | bellard | void tcg_add_target_add_op_defs(const TCGTargetOpDef *tdefs); |
372 | c896fe29 | bellard | |
373 | ac56dd48 | pbrook | void tcg_gen_call(TCGContext *s, TCGv func, unsigned int flags, |
374 | ac56dd48 | pbrook | unsigned int nb_rets, const TCGv *rets, |
375 | ac56dd48 | pbrook | unsigned int nb_params, const TCGv *args1); |
376 | ac56dd48 | pbrook | void tcg_gen_shifti_i64(TCGv ret, TCGv arg1,
|
377 | c896fe29 | bellard | int c, int right, int arith); |
378 | c896fe29 | bellard | |
379 | c896fe29 | bellard | /* only used for debugging purposes */
|
380 | c896fe29 | bellard | void tcg_register_helper(void *func, const char *name); |
381 | c896fe29 | bellard | #define TCG_HELPER(func) tcg_register_helper(func, #func) |
382 | c896fe29 | bellard | const char *tcg_helper_get_name(TCGContext *s, void *func); |
383 | c896fe29 | bellard | void tcg_dump_ops(TCGContext *s, FILE *outfile);
|
384 | c896fe29 | bellard | |
385 | c896fe29 | bellard | void dump_ops(const uint16_t *opc_buf, const TCGArg *opparam_buf); |
386 | ac56dd48 | pbrook | TCGv tcg_const_i32(int32_t val); |
387 | ac56dd48 | pbrook | TCGv tcg_const_i64(int64_t val); |
388 | c896fe29 | bellard | |
389 | c896fe29 | bellard | #if TCG_TARGET_REG_BITS == 32 |
390 | c896fe29 | bellard | #define tcg_const_ptr tcg_const_i32
|
391 | c896fe29 | bellard | #define tcg_add_ptr tcg_add_i32
|
392 | c896fe29 | bellard | #define tcg_sub_ptr tcg_sub_i32
|
393 | c896fe29 | bellard | #else
|
394 | c896fe29 | bellard | #define tcg_const_ptr tcg_const_i64
|
395 | c896fe29 | bellard | #define tcg_add_ptr tcg_add_i64
|
396 | c896fe29 | bellard | #define tcg_sub_ptr tcg_sub_i64
|
397 | c896fe29 | bellard | #endif
|
398 | c896fe29 | bellard | |
399 | c896fe29 | bellard | void tcg_out_reloc(TCGContext *s, uint8_t *code_ptr, int type, |
400 | c896fe29 | bellard | int label_index, long addend); |
401 | c896fe29 | bellard | const TCGArg *tcg_gen_code_op(TCGContext *s, int opc, const TCGArg *args1, |
402 | c896fe29 | bellard | unsigned int dead_iargs); |
403 | c896fe29 | bellard | |
404 | c896fe29 | bellard | const TCGArg *dyngen_op(TCGContext *s, int opc, const TCGArg *opparam_ptr); |
405 | c896fe29 | bellard | |
406 | c896fe29 | bellard | /* tcg-runtime.c */
|
407 | c896fe29 | bellard | int64_t tcg_helper_shl_i64(int64_t arg1, int64_t arg2); |
408 | c896fe29 | bellard | int64_t tcg_helper_shr_i64(int64_t arg1, int64_t arg2); |
409 | c896fe29 | bellard | int64_t tcg_helper_sar_i64(int64_t arg1, int64_t arg2); |
410 | c896fe29 | bellard | int64_t tcg_helper_div_i64(int64_t arg1, int64_t arg2); |
411 | c896fe29 | bellard | int64_t tcg_helper_rem_i64(int64_t arg1, int64_t arg2); |
412 | c896fe29 | bellard | uint64_t tcg_helper_divu_i64(uint64_t arg1, uint64_t arg2); |
413 | c896fe29 | bellard | uint64_t tcg_helper_remu_i64(uint64_t arg1, uint64_t arg2); |
414 | b03cce8e | bellard | |
415 | b03cce8e | bellard | extern uint8_t code_gen_prologue[];
|
416 | a69abbe0 | malc | #if defined(__powerpc__) && !defined(__powerpc64__)
|
417 | 932a6909 | bellard | #define tcg_qemu_tb_exec(tb_ptr) \
|
418 | 932a6909 | bellard | ((long REGPARM __attribute__ ((longcall)) (*)(void *))code_gen_prologue)(tb_ptr) |
419 | 932a6909 | bellard | #else
|
420 | b03cce8e | bellard | #define tcg_qemu_tb_exec(tb_ptr) ((long REGPARM (*)(void *))code_gen_prologue)(tb_ptr) |
421 | 932a6909 | bellard | #endif |