]> git.proxmox.com Git - qemu.git/blob - tcg/tcg.h
Update version for 1.7.0 release
[qemu.git] / tcg / tcg.h
1 /*
2 * Tiny Code Generator for QEMU
3 *
4 * Copyright (c) 2008 Fabrice Bellard
5 *
6 * Permission is hereby granted, free of charge, to any person obtaining a copy
7 * of this software and associated documentation files (the "Software"), to deal
8 * in the Software without restriction, including without limitation the rights
9 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 * copies of the Software, and to permit persons to whom the Software is
11 * furnished to do so, subject to the following conditions:
12 *
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
15 *
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22 * THE SOFTWARE.
23 */
24
25 #ifndef TCG_H
26 #define TCG_H
27
28 #include "qemu-common.h"
29
30 #include "tcg-target.h"
31
32 /* Default target word size to pointer size. */
33 #ifndef TCG_TARGET_REG_BITS
34 # if UINTPTR_MAX == UINT32_MAX
35 # define TCG_TARGET_REG_BITS 32
36 # elif UINTPTR_MAX == UINT64_MAX
37 # define TCG_TARGET_REG_BITS 64
38 # else
39 # error Unknown pointer size for tcg target
40 # endif
41 #endif
42
43 #if TCG_TARGET_REG_BITS == 32
44 typedef int32_t tcg_target_long;
45 typedef uint32_t tcg_target_ulong;
46 #define TCG_PRIlx PRIx32
47 #define TCG_PRIld PRId32
48 #elif TCG_TARGET_REG_BITS == 64
49 typedef int64_t tcg_target_long;
50 typedef uint64_t tcg_target_ulong;
51 #define TCG_PRIlx PRIx64
52 #define TCG_PRIld PRId64
53 #else
54 #error unsupported
55 #endif
56
57 #include "tcg-runtime.h"
58
59 #if TCG_TARGET_NB_REGS <= 32
60 typedef uint32_t TCGRegSet;
61 #elif TCG_TARGET_NB_REGS <= 64
62 typedef uint64_t TCGRegSet;
63 #else
64 #error unsupported
65 #endif
66
67 #if TCG_TARGET_REG_BITS == 32
68 /* Turn some undef macros into false macros. */
69 #define TCG_TARGET_HAS_div_i64 0
70 #define TCG_TARGET_HAS_rem_i64 0
71 #define TCG_TARGET_HAS_div2_i64 0
72 #define TCG_TARGET_HAS_rot_i64 0
73 #define TCG_TARGET_HAS_ext8s_i64 0
74 #define TCG_TARGET_HAS_ext16s_i64 0
75 #define TCG_TARGET_HAS_ext32s_i64 0
76 #define TCG_TARGET_HAS_ext8u_i64 0
77 #define TCG_TARGET_HAS_ext16u_i64 0
78 #define TCG_TARGET_HAS_ext32u_i64 0
79 #define TCG_TARGET_HAS_bswap16_i64 0
80 #define TCG_TARGET_HAS_bswap32_i64 0
81 #define TCG_TARGET_HAS_bswap64_i64 0
82 #define TCG_TARGET_HAS_neg_i64 0
83 #define TCG_TARGET_HAS_not_i64 0
84 #define TCG_TARGET_HAS_andc_i64 0
85 #define TCG_TARGET_HAS_orc_i64 0
86 #define TCG_TARGET_HAS_eqv_i64 0
87 #define TCG_TARGET_HAS_nand_i64 0
88 #define TCG_TARGET_HAS_nor_i64 0
89 #define TCG_TARGET_HAS_deposit_i64 0
90 #define TCG_TARGET_HAS_movcond_i64 0
91 #define TCG_TARGET_HAS_add2_i64 0
92 #define TCG_TARGET_HAS_sub2_i64 0
93 #define TCG_TARGET_HAS_mulu2_i64 0
94 #define TCG_TARGET_HAS_muls2_i64 0
95 #define TCG_TARGET_HAS_muluh_i64 0
96 #define TCG_TARGET_HAS_mulsh_i64 0
97 /* Turn some undef macros into true macros. */
98 #define TCG_TARGET_HAS_add2_i32 1
99 #define TCG_TARGET_HAS_sub2_i32 1
100 #define TCG_TARGET_HAS_mulu2_i32 1
101 #endif
102
103 #ifndef TCG_TARGET_deposit_i32_valid
104 #define TCG_TARGET_deposit_i32_valid(ofs, len) 1
105 #endif
106 #ifndef TCG_TARGET_deposit_i64_valid
107 #define TCG_TARGET_deposit_i64_valid(ofs, len) 1
108 #endif
109
110 /* Only one of DIV or DIV2 should be defined. */
111 #if defined(TCG_TARGET_HAS_div_i32)
112 #define TCG_TARGET_HAS_div2_i32 0
113 #elif defined(TCG_TARGET_HAS_div2_i32)
114 #define TCG_TARGET_HAS_div_i32 0
115 #define TCG_TARGET_HAS_rem_i32 0
116 #endif
117 #if defined(TCG_TARGET_HAS_div_i64)
118 #define TCG_TARGET_HAS_div2_i64 0
119 #elif defined(TCG_TARGET_HAS_div2_i64)
120 #define TCG_TARGET_HAS_div_i64 0
121 #define TCG_TARGET_HAS_rem_i64 0
122 #endif
123
124 typedef enum TCGOpcode {
125 #define DEF(name, oargs, iargs, cargs, flags) INDEX_op_ ## name,
126 #include "tcg-opc.h"
127 #undef DEF
128 NB_OPS,
129 } TCGOpcode;
130
131 #define tcg_regset_clear(d) (d) = 0
132 #define tcg_regset_set(d, s) (d) = (s)
133 #define tcg_regset_set32(d, reg, val32) (d) |= (val32) << (reg)
134 #define tcg_regset_set_reg(d, r) (d) |= 1L << (r)
135 #define tcg_regset_reset_reg(d, r) (d) &= ~(1L << (r))
136 #define tcg_regset_test_reg(d, r) (((d) >> (r)) & 1)
137 #define tcg_regset_or(d, a, b) (d) = (a) | (b)
138 #define tcg_regset_and(d, a, b) (d) = (a) & (b)
139 #define tcg_regset_andnot(d, a, b) (d) = (a) & ~(b)
140 #define tcg_regset_not(d, a) (d) = ~(a)
141
142 typedef struct TCGRelocation {
143 struct TCGRelocation *next;
144 int type;
145 uint8_t *ptr;
146 intptr_t addend;
147 } TCGRelocation;
148
149 typedef struct TCGLabel {
150 int has_value;
151 union {
152 uintptr_t value;
153 TCGRelocation *first_reloc;
154 } u;
155 } TCGLabel;
156
157 typedef struct TCGPool {
158 struct TCGPool *next;
159 int size;
160 uint8_t data[0] __attribute__ ((aligned));
161 } TCGPool;
162
163 #define TCG_POOL_CHUNK_SIZE 32768
164
165 #define TCG_MAX_LABELS 512
166
167 #define TCG_MAX_TEMPS 512
168
169 /* when the size of the arguments of a called function is smaller than
170 this value, they are statically allocated in the TB stack frame */
171 #define TCG_STATIC_CALL_ARGS_SIZE 128
172
173 typedef enum TCGType {
174 TCG_TYPE_I32,
175 TCG_TYPE_I64,
176 TCG_TYPE_COUNT, /* number of different types */
177
178 /* An alias for the size of the host register. */
179 #if TCG_TARGET_REG_BITS == 32
180 TCG_TYPE_REG = TCG_TYPE_I32,
181 #else
182 TCG_TYPE_REG = TCG_TYPE_I64,
183 #endif
184
185 /* An alias for the size of the native pointer. */
186 #if UINTPTR_MAX == UINT32_MAX
187 TCG_TYPE_PTR = TCG_TYPE_I32,
188 #else
189 TCG_TYPE_PTR = TCG_TYPE_I64,
190 #endif
191
192 /* An alias for the size of the target "long", aka register. */
193 #if TARGET_LONG_BITS == 64
194 TCG_TYPE_TL = TCG_TYPE_I64,
195 #else
196 TCG_TYPE_TL = TCG_TYPE_I32,
197 #endif
198 } TCGType;
199
200 /* Constants for qemu_ld and qemu_st for the Memory Operation field. */
201 typedef enum TCGMemOp {
202 MO_8 = 0,
203 MO_16 = 1,
204 MO_32 = 2,
205 MO_64 = 3,
206 MO_SIZE = 3, /* Mask for the above. */
207
208 MO_SIGN = 4, /* Sign-extended, otherwise zero-extended. */
209
210 MO_BSWAP = 8, /* Host reverse endian. */
211 #ifdef HOST_WORDS_BIGENDIAN
212 MO_LE = MO_BSWAP,
213 MO_BE = 0,
214 #else
215 MO_LE = 0,
216 MO_BE = MO_BSWAP,
217 #endif
218 #ifdef TARGET_WORDS_BIGENDIAN
219 MO_TE = MO_BE,
220 #else
221 MO_TE = MO_LE,
222 #endif
223
224 /* Combinations of the above, for ease of use. */
225 MO_UB = MO_8,
226 MO_UW = MO_16,
227 MO_UL = MO_32,
228 MO_SB = MO_SIGN | MO_8,
229 MO_SW = MO_SIGN | MO_16,
230 MO_SL = MO_SIGN | MO_32,
231 MO_Q = MO_64,
232
233 MO_LEUW = MO_LE | MO_UW,
234 MO_LEUL = MO_LE | MO_UL,
235 MO_LESW = MO_LE | MO_SW,
236 MO_LESL = MO_LE | MO_SL,
237 MO_LEQ = MO_LE | MO_Q,
238
239 MO_BEUW = MO_BE | MO_UW,
240 MO_BEUL = MO_BE | MO_UL,
241 MO_BESW = MO_BE | MO_SW,
242 MO_BESL = MO_BE | MO_SL,
243 MO_BEQ = MO_BE | MO_Q,
244
245 MO_TEUW = MO_TE | MO_UW,
246 MO_TEUL = MO_TE | MO_UL,
247 MO_TESW = MO_TE | MO_SW,
248 MO_TESL = MO_TE | MO_SL,
249 MO_TEQ = MO_TE | MO_Q,
250
251 MO_SSIZE = MO_SIZE | MO_SIGN,
252 } TCGMemOp;
253
254 typedef tcg_target_ulong TCGArg;
255
256 /* Define a type and accessor macros for variables. Using a struct is
257 nice because it gives some level of type safely. Ideally the compiler
258 be able to see through all this. However in practice this is not true,
259 especially on targets with braindamaged ABIs (e.g. i386).
260 We use plain int by default to avoid this runtime overhead.
261 Users of tcg_gen_* don't need to know about any of this, and should
262 treat TCGv as an opaque type.
263 In addition we do typechecking for different types of variables. TCGv_i32
264 and TCGv_i64 are 32/64-bit variables respectively. TCGv and TCGv_ptr
265 are aliases for target_ulong and host pointer sized values respectively.
266 */
267
268 #ifdef CONFIG_DEBUG_TCG
269 #define DEBUG_TCGV 1
270 #endif
271
272 #ifdef DEBUG_TCGV
273
274 typedef struct
275 {
276 int i32;
277 } TCGv_i32;
278
279 typedef struct
280 {
281 int i64;
282 } TCGv_i64;
283
284 typedef struct {
285 int iptr;
286 } TCGv_ptr;
287
288 #define MAKE_TCGV_I32(i) __extension__ \
289 ({ TCGv_i32 make_tcgv_tmp = {i}; make_tcgv_tmp;})
290 #define MAKE_TCGV_I64(i) __extension__ \
291 ({ TCGv_i64 make_tcgv_tmp = {i}; make_tcgv_tmp;})
292 #define MAKE_TCGV_PTR(i) __extension__ \
293 ({ TCGv_ptr make_tcgv_tmp = {i}; make_tcgv_tmp; })
294 #define GET_TCGV_I32(t) ((t).i32)
295 #define GET_TCGV_I64(t) ((t).i64)
296 #define GET_TCGV_PTR(t) ((t).iptr)
297 #if TCG_TARGET_REG_BITS == 32
298 #define TCGV_LOW(t) MAKE_TCGV_I32(GET_TCGV_I64(t))
299 #define TCGV_HIGH(t) MAKE_TCGV_I32(GET_TCGV_I64(t) + 1)
300 #endif
301
302 #else /* !DEBUG_TCGV */
303
304 typedef int TCGv_i32;
305 typedef int TCGv_i64;
306 #if TCG_TARGET_REG_BITS == 32
307 #define TCGv_ptr TCGv_i32
308 #else
309 #define TCGv_ptr TCGv_i64
310 #endif
311 #define MAKE_TCGV_I32(x) (x)
312 #define MAKE_TCGV_I64(x) (x)
313 #define MAKE_TCGV_PTR(x) (x)
314 #define GET_TCGV_I32(t) (t)
315 #define GET_TCGV_I64(t) (t)
316 #define GET_TCGV_PTR(t) (t)
317
318 #if TCG_TARGET_REG_BITS == 32
319 #define TCGV_LOW(t) (t)
320 #define TCGV_HIGH(t) ((t) + 1)
321 #endif
322
323 #endif /* DEBUG_TCGV */
324
325 #define TCGV_EQUAL_I32(a, b) (GET_TCGV_I32(a) == GET_TCGV_I32(b))
326 #define TCGV_EQUAL_I64(a, b) (GET_TCGV_I64(a) == GET_TCGV_I64(b))
327
328 /* Dummy definition to avoid compiler warnings. */
329 #define TCGV_UNUSED_I32(x) x = MAKE_TCGV_I32(-1)
330 #define TCGV_UNUSED_I64(x) x = MAKE_TCGV_I64(-1)
331
332 #define TCGV_IS_UNUSED_I32(x) (GET_TCGV_I32(x) == -1)
333 #define TCGV_IS_UNUSED_I64(x) (GET_TCGV_I64(x) == -1)
334
335 /* call flags */
336 /* Helper does not read globals (either directly or through an exception). It
337 implies TCG_CALL_NO_WRITE_GLOBALS. */
338 #define TCG_CALL_NO_READ_GLOBALS 0x0010
339 /* Helper does not write globals */
340 #define TCG_CALL_NO_WRITE_GLOBALS 0x0020
341 /* Helper can be safely suppressed if the return value is not used. */
342 #define TCG_CALL_NO_SIDE_EFFECTS 0x0040
343
344 /* convenience version of most used call flags */
345 #define TCG_CALL_NO_RWG TCG_CALL_NO_READ_GLOBALS
346 #define TCG_CALL_NO_WG TCG_CALL_NO_WRITE_GLOBALS
347 #define TCG_CALL_NO_SE TCG_CALL_NO_SIDE_EFFECTS
348 #define TCG_CALL_NO_RWG_SE (TCG_CALL_NO_RWG | TCG_CALL_NO_SE)
349 #define TCG_CALL_NO_WG_SE (TCG_CALL_NO_WG | TCG_CALL_NO_SE)
350
351 /* used to align parameters */
352 #define TCG_CALL_DUMMY_TCGV MAKE_TCGV_I32(-1)
353 #define TCG_CALL_DUMMY_ARG ((TCGArg)(-1))
354
355 /* Conditions. Note that these are laid out for easy manipulation by
356 the functions below:
357 bit 0 is used for inverting;
358 bit 1 is signed,
359 bit 2 is unsigned,
360 bit 3 is used with bit 0 for swapping signed/unsigned. */
361 typedef enum {
362 /* non-signed */
363 TCG_COND_NEVER = 0 | 0 | 0 | 0,
364 TCG_COND_ALWAYS = 0 | 0 | 0 | 1,
365 TCG_COND_EQ = 8 | 0 | 0 | 0,
366 TCG_COND_NE = 8 | 0 | 0 | 1,
367 /* signed */
368 TCG_COND_LT = 0 | 0 | 2 | 0,
369 TCG_COND_GE = 0 | 0 | 2 | 1,
370 TCG_COND_LE = 8 | 0 | 2 | 0,
371 TCG_COND_GT = 8 | 0 | 2 | 1,
372 /* unsigned */
373 TCG_COND_LTU = 0 | 4 | 0 | 0,
374 TCG_COND_GEU = 0 | 4 | 0 | 1,
375 TCG_COND_LEU = 8 | 4 | 0 | 0,
376 TCG_COND_GTU = 8 | 4 | 0 | 1,
377 } TCGCond;
378
379 /* Invert the sense of the comparison. */
380 static inline TCGCond tcg_invert_cond(TCGCond c)
381 {
382 return (TCGCond)(c ^ 1);
383 }
384
385 /* Swap the operands in a comparison. */
386 static inline TCGCond tcg_swap_cond(TCGCond c)
387 {
388 return c & 6 ? (TCGCond)(c ^ 9) : c;
389 }
390
391 /* Create an "unsigned" version of a "signed" comparison. */
392 static inline TCGCond tcg_unsigned_cond(TCGCond c)
393 {
394 return c & 2 ? (TCGCond)(c ^ 6) : c;
395 }
396
397 /* Must a comparison be considered unsigned? */
398 static inline bool is_unsigned_cond(TCGCond c)
399 {
400 return (c & 4) != 0;
401 }
402
403 /* Create a "high" version of a double-word comparison.
404 This removes equality from a LTE or GTE comparison. */
405 static inline TCGCond tcg_high_cond(TCGCond c)
406 {
407 switch (c) {
408 case TCG_COND_GE:
409 case TCG_COND_LE:
410 case TCG_COND_GEU:
411 case TCG_COND_LEU:
412 return (TCGCond)(c ^ 8);
413 default:
414 return c;
415 }
416 }
417
418 #define TEMP_VAL_DEAD 0
419 #define TEMP_VAL_REG 1
420 #define TEMP_VAL_MEM 2
421 #define TEMP_VAL_CONST 3
422
423 /* XXX: optimize memory layout */
424 typedef struct TCGTemp {
425 TCGType base_type;
426 TCGType type;
427 int val_type;
428 int reg;
429 tcg_target_long val;
430 int mem_reg;
431 intptr_t mem_offset;
432 unsigned int fixed_reg:1;
433 unsigned int mem_coherent:1;
434 unsigned int mem_allocated:1;
435 unsigned int temp_local:1; /* If true, the temp is saved across
436 basic blocks. Otherwise, it is not
437 preserved across basic blocks. */
438 unsigned int temp_allocated:1; /* never used for code gen */
439 /* index of next free temp of same base type, -1 if end */
440 int next_free_temp;
441 const char *name;
442 } TCGTemp;
443
444 typedef struct TCGContext TCGContext;
445
446 struct TCGContext {
447 uint8_t *pool_cur, *pool_end;
448 TCGPool *pool_first, *pool_current, *pool_first_large;
449 TCGLabel *labels;
450 int nb_labels;
451 int nb_globals;
452 int nb_temps;
453 /* index of free temps, -1 if none */
454 int first_free_temp[TCG_TYPE_COUNT * 2];
455
456 /* goto_tb support */
457 uint8_t *code_buf;
458 uintptr_t *tb_next;
459 uint16_t *tb_next_offset;
460 uint16_t *tb_jmp_offset; /* != NULL if USE_DIRECT_JUMP */
461
462 /* liveness analysis */
463 uint16_t *op_dead_args; /* for each operation, each bit tells if the
464 corresponding argument is dead */
465 uint8_t *op_sync_args; /* for each operation, each bit tells if the
466 corresponding output argument needs to be
467 sync to memory. */
468
469 /* tells in which temporary a given register is. It does not take
470 into account fixed registers */
471 int reg_to_temp[TCG_TARGET_NB_REGS];
472 TCGRegSet reserved_regs;
473 intptr_t current_frame_offset;
474 intptr_t frame_start;
475 intptr_t frame_end;
476 int frame_reg;
477
478 uint8_t *code_ptr;
479 TCGTemp temps[TCG_MAX_TEMPS]; /* globals first, temps after */
480
481 GHashTable *helpers;
482
483 #ifdef CONFIG_PROFILER
484 /* profiling info */
485 int64_t tb_count1;
486 int64_t tb_count;
487 int64_t op_count; /* total insn count */
488 int op_count_max; /* max insn per TB */
489 int64_t temp_count;
490 int temp_count_max;
491 int64_t del_op_count;
492 int64_t code_in_len;
493 int64_t code_out_len;
494 int64_t interm_time;
495 int64_t code_time;
496 int64_t la_time;
497 int64_t opt_time;
498 int64_t restore_count;
499 int64_t restore_time;
500 #endif
501
502 #ifdef CONFIG_DEBUG_TCG
503 int temps_in_use;
504 int goto_tb_issue_mask;
505 #endif
506
507 uint16_t gen_opc_buf[OPC_BUF_SIZE];
508 TCGArg gen_opparam_buf[OPPARAM_BUF_SIZE];
509
510 uint16_t *gen_opc_ptr;
511 TCGArg *gen_opparam_ptr;
512 target_ulong gen_opc_pc[OPC_BUF_SIZE];
513 uint16_t gen_opc_icount[OPC_BUF_SIZE];
514 uint8_t gen_opc_instr_start[OPC_BUF_SIZE];
515
516 /* Code generation */
517 int code_gen_max_blocks;
518 uint8_t *code_gen_prologue;
519 uint8_t *code_gen_buffer;
520 size_t code_gen_buffer_size;
521 /* threshold to flush the translated code buffer */
522 size_t code_gen_buffer_max_size;
523 uint8_t *code_gen_ptr;
524
525 TBContext tb_ctx;
526
527 /* The TCGBackendData structure is private to tcg-target.c. */
528 struct TCGBackendData *be;
529 };
530
531 extern TCGContext tcg_ctx;
532
533 /* pool based memory allocation */
534
535 void *tcg_malloc_internal(TCGContext *s, int size);
536 void tcg_pool_reset(TCGContext *s);
537 void tcg_pool_delete(TCGContext *s);
538
539 static inline void *tcg_malloc(int size)
540 {
541 TCGContext *s = &tcg_ctx;
542 uint8_t *ptr, *ptr_end;
543 size = (size + sizeof(long) - 1) & ~(sizeof(long) - 1);
544 ptr = s->pool_cur;
545 ptr_end = ptr + size;
546 if (unlikely(ptr_end > s->pool_end)) {
547 return tcg_malloc_internal(&tcg_ctx, size);
548 } else {
549 s->pool_cur = ptr_end;
550 return ptr;
551 }
552 }
553
554 void tcg_context_init(TCGContext *s);
555 void tcg_prologue_init(TCGContext *s);
556 void tcg_func_start(TCGContext *s);
557
558 int tcg_gen_code(TCGContext *s, uint8_t *gen_code_buf);
559 int tcg_gen_code_search_pc(TCGContext *s, uint8_t *gen_code_buf, long offset);
560
561 void tcg_set_frame(TCGContext *s, int reg, intptr_t start, intptr_t size);
562
563 TCGv_i32 tcg_global_reg_new_i32(int reg, const char *name);
564 TCGv_i32 tcg_global_mem_new_i32(int reg, intptr_t offset, const char *name);
565 TCGv_i32 tcg_temp_new_internal_i32(int temp_local);
566 static inline TCGv_i32 tcg_temp_new_i32(void)
567 {
568 return tcg_temp_new_internal_i32(0);
569 }
570 static inline TCGv_i32 tcg_temp_local_new_i32(void)
571 {
572 return tcg_temp_new_internal_i32(1);
573 }
574 void tcg_temp_free_i32(TCGv_i32 arg);
575 char *tcg_get_arg_str_i32(TCGContext *s, char *buf, int buf_size, TCGv_i32 arg);
576
577 TCGv_i64 tcg_global_reg_new_i64(int reg, const char *name);
578 TCGv_i64 tcg_global_mem_new_i64(int reg, intptr_t offset, const char *name);
579 TCGv_i64 tcg_temp_new_internal_i64(int temp_local);
580 static inline TCGv_i64 tcg_temp_new_i64(void)
581 {
582 return tcg_temp_new_internal_i64(0);
583 }
584 static inline TCGv_i64 tcg_temp_local_new_i64(void)
585 {
586 return tcg_temp_new_internal_i64(1);
587 }
588 void tcg_temp_free_i64(TCGv_i64 arg);
589 char *tcg_get_arg_str_i64(TCGContext *s, char *buf, int buf_size, TCGv_i64 arg);
590
591 #if defined(CONFIG_DEBUG_TCG)
592 /* If you call tcg_clear_temp_count() at the start of a section of
593 * code which is not supposed to leak any TCG temporaries, then
594 * calling tcg_check_temp_count() at the end of the section will
595 * return 1 if the section did in fact leak a temporary.
596 */
597 void tcg_clear_temp_count(void);
598 int tcg_check_temp_count(void);
599 #else
600 #define tcg_clear_temp_count() do { } while (0)
601 #define tcg_check_temp_count() 0
602 #endif
603
604 void tcg_dump_info(FILE *f, fprintf_function cpu_fprintf);
605
606 #define TCG_CT_ALIAS 0x80
607 #define TCG_CT_IALIAS 0x40
608 #define TCG_CT_REG 0x01
609 #define TCG_CT_CONST 0x02 /* any constant of register size */
610
611 typedef struct TCGArgConstraint {
612 uint16_t ct;
613 uint8_t alias_index;
614 union {
615 TCGRegSet regs;
616 } u;
617 } TCGArgConstraint;
618
619 #define TCG_MAX_OP_ARGS 16
620
621 /* Bits for TCGOpDef->flags, 8 bits available. */
622 enum {
623 /* Instruction defines the end of a basic block. */
624 TCG_OPF_BB_END = 0x01,
625 /* Instruction clobbers call registers and potentially update globals. */
626 TCG_OPF_CALL_CLOBBER = 0x02,
627 /* Instruction has side effects: it cannot be removed if its outputs
628 are not used, and might trigger exceptions. */
629 TCG_OPF_SIDE_EFFECTS = 0x04,
630 /* Instruction operands are 64-bits (otherwise 32-bits). */
631 TCG_OPF_64BIT = 0x08,
632 /* Instruction is optional and not implemented by the host, or insn
633 is generic and should not be implemened by the host. */
634 TCG_OPF_NOT_PRESENT = 0x10,
635 };
636
637 typedef struct TCGOpDef {
638 const char *name;
639 uint8_t nb_oargs, nb_iargs, nb_cargs, nb_args;
640 uint8_t flags;
641 TCGArgConstraint *args_ct;
642 int *sorted_args;
643 #if defined(CONFIG_DEBUG_TCG)
644 int used;
645 #endif
646 } TCGOpDef;
647
648 extern TCGOpDef tcg_op_defs[];
649 extern const size_t tcg_op_defs_max;
650
651 typedef struct TCGTargetOpDef {
652 TCGOpcode op;
653 const char *args_ct_str[TCG_MAX_OP_ARGS];
654 } TCGTargetOpDef;
655
656 #define tcg_abort() \
657 do {\
658 fprintf(stderr, "%s:%d: tcg fatal error\n", __FILE__, __LINE__);\
659 abort();\
660 } while (0)
661
662 #ifdef CONFIG_DEBUG_TCG
663 # define tcg_debug_assert(X) do { assert(X); } while (0)
664 #elif QEMU_GNUC_PREREQ(4, 5)
665 # define tcg_debug_assert(X) \
666 do { if (!(X)) { __builtin_unreachable(); } } while (0)
667 #else
668 # define tcg_debug_assert(X) do { (void)(X); } while (0)
669 #endif
670
671 void tcg_add_target_add_op_defs(const TCGTargetOpDef *tdefs);
672
673 #if UINTPTR_MAX == UINT32_MAX
674 #define TCGV_NAT_TO_PTR(n) MAKE_TCGV_PTR(GET_TCGV_I32(n))
675 #define TCGV_PTR_TO_NAT(n) MAKE_TCGV_I32(GET_TCGV_PTR(n))
676
677 #define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i32((intptr_t)(V)))
678 #define tcg_global_reg_new_ptr(R, N) \
679 TCGV_NAT_TO_PTR(tcg_global_reg_new_i32((R), (N)))
680 #define tcg_global_mem_new_ptr(R, O, N) \
681 TCGV_NAT_TO_PTR(tcg_global_mem_new_i32((R), (O), (N)))
682 #define tcg_temp_new_ptr() TCGV_NAT_TO_PTR(tcg_temp_new_i32())
683 #define tcg_temp_free_ptr(T) tcg_temp_free_i32(TCGV_PTR_TO_NAT(T))
684 #else
685 #define TCGV_NAT_TO_PTR(n) MAKE_TCGV_PTR(GET_TCGV_I64(n))
686 #define TCGV_PTR_TO_NAT(n) MAKE_TCGV_I64(GET_TCGV_PTR(n))
687
688 #define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i64((intptr_t)(V)))
689 #define tcg_global_reg_new_ptr(R, N) \
690 TCGV_NAT_TO_PTR(tcg_global_reg_new_i64((R), (N)))
691 #define tcg_global_mem_new_ptr(R, O, N) \
692 TCGV_NAT_TO_PTR(tcg_global_mem_new_i64((R), (O), (N)))
693 #define tcg_temp_new_ptr() TCGV_NAT_TO_PTR(tcg_temp_new_i64())
694 #define tcg_temp_free_ptr(T) tcg_temp_free_i64(TCGV_PTR_TO_NAT(T))
695 #endif
696
697 void tcg_gen_callN(TCGContext *s, TCGv_ptr func, unsigned int flags,
698 int sizemask, TCGArg ret, int nargs, TCGArg *args);
699
700 void tcg_gen_shifti_i64(TCGv_i64 ret, TCGv_i64 arg1,
701 int c, int right, int arith);
702
703 TCGArg *tcg_optimize(TCGContext *s, uint16_t *tcg_opc_ptr, TCGArg *args,
704 TCGOpDef *tcg_op_def);
705
706 /* only used for debugging purposes */
707 void tcg_dump_ops(TCGContext *s);
708
709 void dump_ops(const uint16_t *opc_buf, const TCGArg *opparam_buf);
710 TCGv_i32 tcg_const_i32(int32_t val);
711 TCGv_i64 tcg_const_i64(int64_t val);
712 TCGv_i32 tcg_const_local_i32(int32_t val);
713 TCGv_i64 tcg_const_local_i64(int64_t val);
714
715 /**
716 * tcg_qemu_tb_exec:
717 * @env: CPUArchState * for the CPU
718 * @tb_ptr: address of generated code for the TB to execute
719 *
720 * Start executing code from a given translation block.
721 * Where translation blocks have been linked, execution
722 * may proceed from the given TB into successive ones.
723 * Control eventually returns only when some action is needed
724 * from the top-level loop: either control must pass to a TB
725 * which has not yet been directly linked, or an asynchronous
726 * event such as an interrupt needs handling.
727 *
728 * The return value is a pointer to the next TB to execute
729 * (if known; otherwise zero). This pointer is assumed to be
730 * 4-aligned, and the bottom two bits are used to return further
731 * information:
732 * 0, 1: the link between this TB and the next is via the specified
733 * TB index (0 or 1). That is, we left the TB via (the equivalent
734 * of) "goto_tb <index>". The main loop uses this to determine
735 * how to link the TB just executed to the next.
736 * 2: we are using instruction counting code generation, and we
737 * did not start executing this TB because the instruction counter
738 * would hit zero midway through it. In this case the next-TB pointer
739 * returned is the TB we were about to execute, and the caller must
740 * arrange to execute the remaining count of instructions.
741 * 3: we stopped because the CPU's exit_request flag was set
742 * (usually meaning that there is an interrupt that needs to be
743 * handled). The next-TB pointer returned is the TB we were
744 * about to execute when we noticed the pending exit request.
745 *
746 * If the bottom two bits indicate an exit-via-index then the CPU
747 * state is correctly synchronised and ready for execution of the next
748 * TB (and in particular the guest PC is the address to execute next).
749 * Otherwise, we gave up on execution of this TB before it started, and
750 * the caller must fix up the CPU state by calling cpu_pc_from_tb()
751 * with the next-TB pointer we return.
752 *
753 * Note that TCG targets may use a different definition of tcg_qemu_tb_exec
754 * to this default (which just calls the prologue.code emitted by
755 * tcg_target_qemu_prologue()).
756 */
757 #define TB_EXIT_MASK 3
758 #define TB_EXIT_IDX0 0
759 #define TB_EXIT_IDX1 1
760 #define TB_EXIT_ICOUNT_EXPIRED 2
761 #define TB_EXIT_REQUESTED 3
762
763 #if !defined(tcg_qemu_tb_exec)
764 # define tcg_qemu_tb_exec(env, tb_ptr) \
765 ((uintptr_t (*)(void *, void *))tcg_ctx.code_gen_prologue)(env, tb_ptr)
766 #endif
767
768 void tcg_register_jit(void *buf, size_t buf_size);
769
770 /*
771 * Memory helpers that will be used by TCG generated code.
772 */
773 #ifdef CONFIG_SOFTMMU
774 /* Value zero-extended to tcg register size. */
775 tcg_target_ulong helper_ret_ldub_mmu(CPUArchState *env, target_ulong addr,
776 int mmu_idx, uintptr_t retaddr);
777 tcg_target_ulong helper_le_lduw_mmu(CPUArchState *env, target_ulong addr,
778 int mmu_idx, uintptr_t retaddr);
779 tcg_target_ulong helper_le_ldul_mmu(CPUArchState *env, target_ulong addr,
780 int mmu_idx, uintptr_t retaddr);
781 uint64_t helper_le_ldq_mmu(CPUArchState *env, target_ulong addr,
782 int mmu_idx, uintptr_t retaddr);
783 tcg_target_ulong helper_be_lduw_mmu(CPUArchState *env, target_ulong addr,
784 int mmu_idx, uintptr_t retaddr);
785 tcg_target_ulong helper_be_ldul_mmu(CPUArchState *env, target_ulong addr,
786 int mmu_idx, uintptr_t retaddr);
787 uint64_t helper_be_ldq_mmu(CPUArchState *env, target_ulong addr,
788 int mmu_idx, uintptr_t retaddr);
789
790 /* Value sign-extended to tcg register size. */
791 tcg_target_ulong helper_ret_ldsb_mmu(CPUArchState *env, target_ulong addr,
792 int mmu_idx, uintptr_t retaddr);
793 tcg_target_ulong helper_le_ldsw_mmu(CPUArchState *env, target_ulong addr,
794 int mmu_idx, uintptr_t retaddr);
795 tcg_target_ulong helper_le_ldsl_mmu(CPUArchState *env, target_ulong addr,
796 int mmu_idx, uintptr_t retaddr);
797 tcg_target_ulong helper_be_ldsw_mmu(CPUArchState *env, target_ulong addr,
798 int mmu_idx, uintptr_t retaddr);
799 tcg_target_ulong helper_be_ldsl_mmu(CPUArchState *env, target_ulong addr,
800 int mmu_idx, uintptr_t retaddr);
801
802 void helper_ret_stb_mmu(CPUArchState *env, target_ulong addr, uint8_t val,
803 int mmu_idx, uintptr_t retaddr);
804 void helper_le_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
805 int mmu_idx, uintptr_t retaddr);
806 void helper_le_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
807 int mmu_idx, uintptr_t retaddr);
808 void helper_le_stq_mmu(CPUArchState *env, target_ulong addr, uint64_t val,
809 int mmu_idx, uintptr_t retaddr);
810 void helper_be_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
811 int mmu_idx, uintptr_t retaddr);
812 void helper_be_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
813 int mmu_idx, uintptr_t retaddr);
814 void helper_be_stq_mmu(CPUArchState *env, target_ulong addr, uint64_t val,
815 int mmu_idx, uintptr_t retaddr);
816
817 /* Temporary aliases until backends are converted. */
818 #ifdef TARGET_WORDS_BIGENDIAN
819 # define helper_ret_ldsw_mmu helper_be_ldsw_mmu
820 # define helper_ret_lduw_mmu helper_be_lduw_mmu
821 # define helper_ret_ldsl_mmu helper_be_ldsl_mmu
822 # define helper_ret_ldul_mmu helper_be_ldul_mmu
823 # define helper_ret_ldq_mmu helper_be_ldq_mmu
824 # define helper_ret_stw_mmu helper_be_stw_mmu
825 # define helper_ret_stl_mmu helper_be_stl_mmu
826 # define helper_ret_stq_mmu helper_be_stq_mmu
827 #else
828 # define helper_ret_ldsw_mmu helper_le_ldsw_mmu
829 # define helper_ret_lduw_mmu helper_le_lduw_mmu
830 # define helper_ret_ldsl_mmu helper_le_ldsl_mmu
831 # define helper_ret_ldul_mmu helper_le_ldul_mmu
832 # define helper_ret_ldq_mmu helper_le_ldq_mmu
833 # define helper_ret_stw_mmu helper_le_stw_mmu
834 # define helper_ret_stl_mmu helper_le_stl_mmu
835 # define helper_ret_stq_mmu helper_le_stq_mmu
836 #endif
837
838 uint8_t helper_ldb_mmu(CPUArchState *env, target_ulong addr, int mmu_idx);
839 uint16_t helper_ldw_mmu(CPUArchState *env, target_ulong addr, int mmu_idx);
840 uint32_t helper_ldl_mmu(CPUArchState *env, target_ulong addr, int mmu_idx);
841 uint64_t helper_ldq_mmu(CPUArchState *env, target_ulong addr, int mmu_idx);
842
843 void helper_stb_mmu(CPUArchState *env, target_ulong addr,
844 uint8_t val, int mmu_idx);
845 void helper_stw_mmu(CPUArchState *env, target_ulong addr,
846 uint16_t val, int mmu_idx);
847 void helper_stl_mmu(CPUArchState *env, target_ulong addr,
848 uint32_t val, int mmu_idx);
849 void helper_stq_mmu(CPUArchState *env, target_ulong addr,
850 uint64_t val, int mmu_idx);
851 #endif /* CONFIG_SOFTMMU */
852
853 #endif /* TCG_H */