Merge remote-tracking branch 'remotes/kraxel/tags/pull-gtk-20141121-1' into staging
[qemu-kvm.git] / tcg / tcg.h
blob7285f71fa8b638580f381c672609a95dd3b3118b
1 /*
2 * Tiny Code Generator for QEMU
4 * Copyright (c) 2008 Fabrice Bellard
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:
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
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.
25 #ifndef TCG_H
26 #define TCG_H
28 #include "qemu-common.h"
29 #include "qemu/bitops.h"
30 #include "tcg-target.h"
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
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
57 #if TCG_TARGET_NB_REGS <= 32
58 typedef uint32_t TCGRegSet;
59 #elif TCG_TARGET_NB_REGS <= 64
60 typedef uint64_t TCGRegSet;
61 #else
62 #error unsupported
63 #endif
65 #if TCG_TARGET_REG_BITS == 32
66 /* Turn some undef macros into false macros. */
67 #define TCG_TARGET_HAS_trunc_shr_i32 0
68 #define TCG_TARGET_HAS_div_i64 0
69 #define TCG_TARGET_HAS_rem_i64 0
70 #define TCG_TARGET_HAS_div2_i64 0
71 #define TCG_TARGET_HAS_rot_i64 0
72 #define TCG_TARGET_HAS_ext8s_i64 0
73 #define TCG_TARGET_HAS_ext16s_i64 0
74 #define TCG_TARGET_HAS_ext32s_i64 0
75 #define TCG_TARGET_HAS_ext8u_i64 0
76 #define TCG_TARGET_HAS_ext16u_i64 0
77 #define TCG_TARGET_HAS_ext32u_i64 0
78 #define TCG_TARGET_HAS_bswap16_i64 0
79 #define TCG_TARGET_HAS_bswap32_i64 0
80 #define TCG_TARGET_HAS_bswap64_i64 0
81 #define TCG_TARGET_HAS_neg_i64 0
82 #define TCG_TARGET_HAS_not_i64 0
83 #define TCG_TARGET_HAS_andc_i64 0
84 #define TCG_TARGET_HAS_orc_i64 0
85 #define TCG_TARGET_HAS_eqv_i64 0
86 #define TCG_TARGET_HAS_nand_i64 0
87 #define TCG_TARGET_HAS_nor_i64 0
88 #define TCG_TARGET_HAS_deposit_i64 0
89 #define TCG_TARGET_HAS_movcond_i64 0
90 #define TCG_TARGET_HAS_add2_i64 0
91 #define TCG_TARGET_HAS_sub2_i64 0
92 #define TCG_TARGET_HAS_mulu2_i64 0
93 #define TCG_TARGET_HAS_muls2_i64 0
94 #define TCG_TARGET_HAS_muluh_i64 0
95 #define TCG_TARGET_HAS_mulsh_i64 0
96 /* Turn some undef macros into true macros. */
97 #define TCG_TARGET_HAS_add2_i32 1
98 #define TCG_TARGET_HAS_sub2_i32 1
99 #endif
101 #ifndef TCG_TARGET_deposit_i32_valid
102 #define TCG_TARGET_deposit_i32_valid(ofs, len) 1
103 #endif
104 #ifndef TCG_TARGET_deposit_i64_valid
105 #define TCG_TARGET_deposit_i64_valid(ofs, len) 1
106 #endif
108 /* Only one of DIV or DIV2 should be defined. */
109 #if defined(TCG_TARGET_HAS_div_i32)
110 #define TCG_TARGET_HAS_div2_i32 0
111 #elif defined(TCG_TARGET_HAS_div2_i32)
112 #define TCG_TARGET_HAS_div_i32 0
113 #define TCG_TARGET_HAS_rem_i32 0
114 #endif
115 #if defined(TCG_TARGET_HAS_div_i64)
116 #define TCG_TARGET_HAS_div2_i64 0
117 #elif defined(TCG_TARGET_HAS_div2_i64)
118 #define TCG_TARGET_HAS_div_i64 0
119 #define TCG_TARGET_HAS_rem_i64 0
120 #endif
122 /* For 32-bit targets, some sort of unsigned widening multiply is required. */
123 #if TCG_TARGET_REG_BITS == 32 \
124 && !(defined(TCG_TARGET_HAS_mulu2_i32) \
125 || defined(TCG_TARGET_HAS_muluh_i32))
126 # error "Missing unsigned widening multiply"
127 #endif
129 typedef enum TCGOpcode {
130 #define DEF(name, oargs, iargs, cargs, flags) INDEX_op_ ## name,
131 #include "tcg-opc.h"
132 #undef DEF
133 NB_OPS,
134 } TCGOpcode;
136 #define tcg_regset_clear(d) (d) = 0
137 #define tcg_regset_set(d, s) (d) = (s)
138 #define tcg_regset_set32(d, reg, val32) (d) |= (val32) << (reg)
139 #define tcg_regset_set_reg(d, r) (d) |= 1L << (r)
140 #define tcg_regset_reset_reg(d, r) (d) &= ~(1L << (r))
141 #define tcg_regset_test_reg(d, r) (((d) >> (r)) & 1)
142 #define tcg_regset_or(d, a, b) (d) = (a) | (b)
143 #define tcg_regset_and(d, a, b) (d) = (a) & (b)
144 #define tcg_regset_andnot(d, a, b) (d) = (a) & ~(b)
145 #define tcg_regset_not(d, a) (d) = ~(a)
147 #ifndef TCG_TARGET_INSN_UNIT_SIZE
148 # error "Missing TCG_TARGET_INSN_UNIT_SIZE"
149 #elif TCG_TARGET_INSN_UNIT_SIZE == 1
150 typedef uint8_t tcg_insn_unit;
151 #elif TCG_TARGET_INSN_UNIT_SIZE == 2
152 typedef uint16_t tcg_insn_unit;
153 #elif TCG_TARGET_INSN_UNIT_SIZE == 4
154 typedef uint32_t tcg_insn_unit;
155 #elif TCG_TARGET_INSN_UNIT_SIZE == 8
156 typedef uint64_t tcg_insn_unit;
157 #else
158 /* The port better have done this. */
159 #endif
162 typedef struct TCGRelocation {
163 struct TCGRelocation *next;
164 int type;
165 tcg_insn_unit *ptr;
166 intptr_t addend;
167 } TCGRelocation;
169 typedef struct TCGLabel {
170 int has_value;
171 union {
172 uintptr_t value;
173 tcg_insn_unit *value_ptr;
174 TCGRelocation *first_reloc;
175 } u;
176 } TCGLabel;
178 typedef struct TCGPool {
179 struct TCGPool *next;
180 int size;
181 uint8_t data[0] __attribute__ ((aligned));
182 } TCGPool;
184 #define TCG_POOL_CHUNK_SIZE 32768
186 #define TCG_MAX_LABELS 512
188 #define TCG_MAX_TEMPS 512
190 /* when the size of the arguments of a called function is smaller than
191 this value, they are statically allocated in the TB stack frame */
192 #define TCG_STATIC_CALL_ARGS_SIZE 128
194 typedef enum TCGType {
195 TCG_TYPE_I32,
196 TCG_TYPE_I64,
197 TCG_TYPE_COUNT, /* number of different types */
199 /* An alias for the size of the host register. */
200 #if TCG_TARGET_REG_BITS == 32
201 TCG_TYPE_REG = TCG_TYPE_I32,
202 #else
203 TCG_TYPE_REG = TCG_TYPE_I64,
204 #endif
206 /* An alias for the size of the native pointer. */
207 #if UINTPTR_MAX == UINT32_MAX
208 TCG_TYPE_PTR = TCG_TYPE_I32,
209 #else
210 TCG_TYPE_PTR = TCG_TYPE_I64,
211 #endif
213 /* An alias for the size of the target "long", aka register. */
214 #if TARGET_LONG_BITS == 64
215 TCG_TYPE_TL = TCG_TYPE_I64,
216 #else
217 TCG_TYPE_TL = TCG_TYPE_I32,
218 #endif
219 } TCGType;
221 /* Constants for qemu_ld and qemu_st for the Memory Operation field. */
222 typedef enum TCGMemOp {
223 MO_8 = 0,
224 MO_16 = 1,
225 MO_32 = 2,
226 MO_64 = 3,
227 MO_SIZE = 3, /* Mask for the above. */
229 MO_SIGN = 4, /* Sign-extended, otherwise zero-extended. */
231 MO_BSWAP = 8, /* Host reverse endian. */
232 #ifdef HOST_WORDS_BIGENDIAN
233 MO_LE = MO_BSWAP,
234 MO_BE = 0,
235 #else
236 MO_LE = 0,
237 MO_BE = MO_BSWAP,
238 #endif
239 #ifdef TARGET_WORDS_BIGENDIAN
240 MO_TE = MO_BE,
241 #else
242 MO_TE = MO_LE,
243 #endif
245 /* Combinations of the above, for ease of use. */
246 MO_UB = MO_8,
247 MO_UW = MO_16,
248 MO_UL = MO_32,
249 MO_SB = MO_SIGN | MO_8,
250 MO_SW = MO_SIGN | MO_16,
251 MO_SL = MO_SIGN | MO_32,
252 MO_Q = MO_64,
254 MO_LEUW = MO_LE | MO_UW,
255 MO_LEUL = MO_LE | MO_UL,
256 MO_LESW = MO_LE | MO_SW,
257 MO_LESL = MO_LE | MO_SL,
258 MO_LEQ = MO_LE | MO_Q,
260 MO_BEUW = MO_BE | MO_UW,
261 MO_BEUL = MO_BE | MO_UL,
262 MO_BESW = MO_BE | MO_SW,
263 MO_BESL = MO_BE | MO_SL,
264 MO_BEQ = MO_BE | MO_Q,
266 MO_TEUW = MO_TE | MO_UW,
267 MO_TEUL = MO_TE | MO_UL,
268 MO_TESW = MO_TE | MO_SW,
269 MO_TESL = MO_TE | MO_SL,
270 MO_TEQ = MO_TE | MO_Q,
272 MO_SSIZE = MO_SIZE | MO_SIGN,
273 } TCGMemOp;
275 typedef tcg_target_ulong TCGArg;
277 /* Define a type and accessor macros for variables. Using pointer types
278 is nice because it gives some level of type safely. Converting to and
279 from intptr_t rather than int reduces the number of sign-extension
280 instructions that get implied on 64-bit hosts. Users of tcg_gen_* don't
281 need to know about any of this, and should treat TCGv as an opaque type.
282 In addition we do typechecking for different types of variables. TCGv_i32
283 and TCGv_i64 are 32/64-bit variables respectively. TCGv and TCGv_ptr
284 are aliases for target_ulong and host pointer sized values respectively. */
286 typedef struct TCGv_i32_d *TCGv_i32;
287 typedef struct TCGv_i64_d *TCGv_i64;
288 typedef struct TCGv_ptr_d *TCGv_ptr;
290 static inline TCGv_i32 QEMU_ARTIFICIAL MAKE_TCGV_I32(intptr_t i)
292 return (TCGv_i32)i;
295 static inline TCGv_i64 QEMU_ARTIFICIAL MAKE_TCGV_I64(intptr_t i)
297 return (TCGv_i64)i;
300 static inline TCGv_ptr QEMU_ARTIFICIAL MAKE_TCGV_PTR(intptr_t i)
302 return (TCGv_ptr)i;
305 static inline intptr_t QEMU_ARTIFICIAL GET_TCGV_I32(TCGv_i32 t)
307 return (intptr_t)t;
310 static inline intptr_t QEMU_ARTIFICIAL GET_TCGV_I64(TCGv_i64 t)
312 return (intptr_t)t;
315 static inline intptr_t QEMU_ARTIFICIAL GET_TCGV_PTR(TCGv_ptr t)
317 return (intptr_t)t;
320 #if TCG_TARGET_REG_BITS == 32
321 #define TCGV_LOW(t) MAKE_TCGV_I32(GET_TCGV_I64(t))
322 #define TCGV_HIGH(t) MAKE_TCGV_I32(GET_TCGV_I64(t) + 1)
323 #endif
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 #define TCGV_EQUAL_PTR(a, b) (GET_TCGV_PTR(a) == GET_TCGV_PTR(b))
329 /* Dummy definition to avoid compiler warnings. */
330 #define TCGV_UNUSED_I32(x) x = MAKE_TCGV_I32(-1)
331 #define TCGV_UNUSED_I64(x) x = MAKE_TCGV_I64(-1)
332 #define TCGV_UNUSED_PTR(x) x = MAKE_TCGV_PTR(-1)
334 #define TCGV_IS_UNUSED_I32(x) (GET_TCGV_I32(x) == -1)
335 #define TCGV_IS_UNUSED_I64(x) (GET_TCGV_I64(x) == -1)
336 #define TCGV_IS_UNUSED_PTR(x) (GET_TCGV_PTR(x) == -1)
338 /* call flags */
339 /* Helper does not read globals (either directly or through an exception). It
340 implies TCG_CALL_NO_WRITE_GLOBALS. */
341 #define TCG_CALL_NO_READ_GLOBALS 0x0010
342 /* Helper does not write globals */
343 #define TCG_CALL_NO_WRITE_GLOBALS 0x0020
344 /* Helper can be safely suppressed if the return value is not used. */
345 #define TCG_CALL_NO_SIDE_EFFECTS 0x0040
347 /* convenience version of most used call flags */
348 #define TCG_CALL_NO_RWG TCG_CALL_NO_READ_GLOBALS
349 #define TCG_CALL_NO_WG TCG_CALL_NO_WRITE_GLOBALS
350 #define TCG_CALL_NO_SE TCG_CALL_NO_SIDE_EFFECTS
351 #define TCG_CALL_NO_RWG_SE (TCG_CALL_NO_RWG | TCG_CALL_NO_SE)
352 #define TCG_CALL_NO_WG_SE (TCG_CALL_NO_WG | TCG_CALL_NO_SE)
354 /* used to align parameters */
355 #define TCG_CALL_DUMMY_TCGV MAKE_TCGV_I32(-1)
356 #define TCG_CALL_DUMMY_ARG ((TCGArg)(-1))
358 /* Conditions. Note that these are laid out for easy manipulation by
359 the functions below:
360 bit 0 is used for inverting;
361 bit 1 is signed,
362 bit 2 is unsigned,
363 bit 3 is used with bit 0 for swapping signed/unsigned. */
364 typedef enum {
365 /* non-signed */
366 TCG_COND_NEVER = 0 | 0 | 0 | 0,
367 TCG_COND_ALWAYS = 0 | 0 | 0 | 1,
368 TCG_COND_EQ = 8 | 0 | 0 | 0,
369 TCG_COND_NE = 8 | 0 | 0 | 1,
370 /* signed */
371 TCG_COND_LT = 0 | 0 | 2 | 0,
372 TCG_COND_GE = 0 | 0 | 2 | 1,
373 TCG_COND_LE = 8 | 0 | 2 | 0,
374 TCG_COND_GT = 8 | 0 | 2 | 1,
375 /* unsigned */
376 TCG_COND_LTU = 0 | 4 | 0 | 0,
377 TCG_COND_GEU = 0 | 4 | 0 | 1,
378 TCG_COND_LEU = 8 | 4 | 0 | 0,
379 TCG_COND_GTU = 8 | 4 | 0 | 1,
380 } TCGCond;
382 /* Invert the sense of the comparison. */
383 static inline TCGCond tcg_invert_cond(TCGCond c)
385 return (TCGCond)(c ^ 1);
388 /* Swap the operands in a comparison. */
389 static inline TCGCond tcg_swap_cond(TCGCond c)
391 return c & 6 ? (TCGCond)(c ^ 9) : c;
394 /* Create an "unsigned" version of a "signed" comparison. */
395 static inline TCGCond tcg_unsigned_cond(TCGCond c)
397 return c & 2 ? (TCGCond)(c ^ 6) : c;
400 /* Must a comparison be considered unsigned? */
401 static inline bool is_unsigned_cond(TCGCond c)
403 return (c & 4) != 0;
406 /* Create a "high" version of a double-word comparison.
407 This removes equality from a LTE or GTE comparison. */
408 static inline TCGCond tcg_high_cond(TCGCond c)
410 switch (c) {
411 case TCG_COND_GE:
412 case TCG_COND_LE:
413 case TCG_COND_GEU:
414 case TCG_COND_LEU:
415 return (TCGCond)(c ^ 8);
416 default:
417 return c;
421 #define TEMP_VAL_DEAD 0
422 #define TEMP_VAL_REG 1
423 #define TEMP_VAL_MEM 2
424 #define TEMP_VAL_CONST 3
426 /* XXX: optimize memory layout */
427 typedef struct TCGTemp {
428 TCGType base_type;
429 TCGType type;
430 int val_type;
431 int reg;
432 tcg_target_long val;
433 int mem_reg;
434 intptr_t mem_offset;
435 unsigned int fixed_reg:1;
436 unsigned int mem_coherent:1;
437 unsigned int mem_allocated:1;
438 unsigned int temp_local:1; /* If true, the temp is saved across
439 basic blocks. Otherwise, it is not
440 preserved across basic blocks. */
441 unsigned int temp_allocated:1; /* never used for code gen */
442 const char *name;
443 } TCGTemp;
445 typedef struct TCGContext TCGContext;
447 typedef struct TCGTempSet {
448 unsigned long l[BITS_TO_LONGS(TCG_MAX_TEMPS)];
449 } TCGTempSet;
451 struct TCGContext {
452 uint8_t *pool_cur, *pool_end;
453 TCGPool *pool_first, *pool_current, *pool_first_large;
454 TCGLabel *labels;
455 int nb_labels;
456 int nb_globals;
457 int nb_temps;
459 /* goto_tb support */
460 tcg_insn_unit *code_buf;
461 uintptr_t *tb_next;
462 uint16_t *tb_next_offset;
463 uint16_t *tb_jmp_offset; /* != NULL if USE_DIRECT_JUMP */
465 /* liveness analysis */
466 uint16_t *op_dead_args; /* for each operation, each bit tells if the
467 corresponding argument is dead */
468 uint8_t *op_sync_args; /* for each operation, each bit tells if the
469 corresponding output argument needs to be
470 sync to memory. */
472 /* tells in which temporary a given register is. It does not take
473 into account fixed registers */
474 int reg_to_temp[TCG_TARGET_NB_REGS];
475 TCGRegSet reserved_regs;
476 intptr_t current_frame_offset;
477 intptr_t frame_start;
478 intptr_t frame_end;
479 int frame_reg;
481 tcg_insn_unit *code_ptr;
482 TCGTemp temps[TCG_MAX_TEMPS]; /* globals first, temps after */
483 TCGTempSet free_temps[TCG_TYPE_COUNT * 2];
485 GHashTable *helpers;
487 #ifdef CONFIG_PROFILER
488 /* profiling info */
489 int64_t tb_count1;
490 int64_t tb_count;
491 int64_t op_count; /* total insn count */
492 int op_count_max; /* max insn per TB */
493 int64_t temp_count;
494 int temp_count_max;
495 int64_t del_op_count;
496 int64_t code_in_len;
497 int64_t code_out_len;
498 int64_t interm_time;
499 int64_t code_time;
500 int64_t la_time;
501 int64_t opt_time;
502 int64_t restore_count;
503 int64_t restore_time;
504 #endif
506 #ifdef CONFIG_DEBUG_TCG
507 int temps_in_use;
508 int goto_tb_issue_mask;
509 #endif
511 uint16_t gen_opc_buf[OPC_BUF_SIZE];
512 TCGArg gen_opparam_buf[OPPARAM_BUF_SIZE];
514 uint16_t *gen_opc_ptr;
515 TCGArg *gen_opparam_ptr;
516 target_ulong gen_opc_pc[OPC_BUF_SIZE];
517 uint16_t gen_opc_icount[OPC_BUF_SIZE];
518 uint8_t gen_opc_instr_start[OPC_BUF_SIZE];
520 /* Code generation. Note that we specifically do not use tcg_insn_unit
521 here, because there's too much arithmetic throughout that relies
522 on addition and subtraction working on bytes. Rely on the GCC
523 extension that allows arithmetic on void*. */
524 int code_gen_max_blocks;
525 void *code_gen_prologue;
526 void *code_gen_buffer;
527 size_t code_gen_buffer_size;
528 /* threshold to flush the translated code buffer */
529 size_t code_gen_buffer_max_size;
530 void *code_gen_ptr;
532 TBContext tb_ctx;
534 /* The TCGBackendData structure is private to tcg-target.c. */
535 struct TCGBackendData *be;
538 extern TCGContext tcg_ctx;
540 /* pool based memory allocation */
542 void *tcg_malloc_internal(TCGContext *s, int size);
543 void tcg_pool_reset(TCGContext *s);
544 void tcg_pool_delete(TCGContext *s);
546 static inline void *tcg_malloc(int size)
548 TCGContext *s = &tcg_ctx;
549 uint8_t *ptr, *ptr_end;
550 size = (size + sizeof(long) - 1) & ~(sizeof(long) - 1);
551 ptr = s->pool_cur;
552 ptr_end = ptr + size;
553 if (unlikely(ptr_end > s->pool_end)) {
554 return tcg_malloc_internal(&tcg_ctx, size);
555 } else {
556 s->pool_cur = ptr_end;
557 return ptr;
561 void tcg_context_init(TCGContext *s);
562 void tcg_prologue_init(TCGContext *s);
563 void tcg_func_start(TCGContext *s);
565 int tcg_gen_code(TCGContext *s, tcg_insn_unit *gen_code_buf);
566 int tcg_gen_code_search_pc(TCGContext *s, tcg_insn_unit *gen_code_buf,
567 long offset);
569 void tcg_set_frame(TCGContext *s, int reg, intptr_t start, intptr_t size);
571 TCGv_i32 tcg_global_reg_new_i32(int reg, const char *name);
572 TCGv_i32 tcg_global_mem_new_i32(int reg, intptr_t offset, const char *name);
573 TCGv_i32 tcg_temp_new_internal_i32(int temp_local);
574 static inline TCGv_i32 tcg_temp_new_i32(void)
576 return tcg_temp_new_internal_i32(0);
578 static inline TCGv_i32 tcg_temp_local_new_i32(void)
580 return tcg_temp_new_internal_i32(1);
582 void tcg_temp_free_i32(TCGv_i32 arg);
583 char *tcg_get_arg_str_i32(TCGContext *s, char *buf, int buf_size, TCGv_i32 arg);
585 TCGv_i64 tcg_global_reg_new_i64(int reg, const char *name);
586 TCGv_i64 tcg_global_mem_new_i64(int reg, intptr_t offset, const char *name);
587 TCGv_i64 tcg_temp_new_internal_i64(int temp_local);
588 static inline TCGv_i64 tcg_temp_new_i64(void)
590 return tcg_temp_new_internal_i64(0);
592 static inline TCGv_i64 tcg_temp_local_new_i64(void)
594 return tcg_temp_new_internal_i64(1);
596 void tcg_temp_free_i64(TCGv_i64 arg);
597 char *tcg_get_arg_str_i64(TCGContext *s, char *buf, int buf_size, TCGv_i64 arg);
599 #if defined(CONFIG_DEBUG_TCG)
600 /* If you call tcg_clear_temp_count() at the start of a section of
601 * code which is not supposed to leak any TCG temporaries, then
602 * calling tcg_check_temp_count() at the end of the section will
603 * return 1 if the section did in fact leak a temporary.
605 void tcg_clear_temp_count(void);
606 int tcg_check_temp_count(void);
607 #else
608 #define tcg_clear_temp_count() do { } while (0)
609 #define tcg_check_temp_count() 0
610 #endif
612 void tcg_dump_info(FILE *f, fprintf_function cpu_fprintf);
614 #define TCG_CT_ALIAS 0x80
615 #define TCG_CT_IALIAS 0x40
616 #define TCG_CT_REG 0x01
617 #define TCG_CT_CONST 0x02 /* any constant of register size */
619 typedef struct TCGArgConstraint {
620 uint16_t ct;
621 uint8_t alias_index;
622 union {
623 TCGRegSet regs;
624 } u;
625 } TCGArgConstraint;
627 #define TCG_MAX_OP_ARGS 16
629 /* Bits for TCGOpDef->flags, 8 bits available. */
630 enum {
631 /* Instruction defines the end of a basic block. */
632 TCG_OPF_BB_END = 0x01,
633 /* Instruction clobbers call registers and potentially update globals. */
634 TCG_OPF_CALL_CLOBBER = 0x02,
635 /* Instruction has side effects: it cannot be removed if its outputs
636 are not used, and might trigger exceptions. */
637 TCG_OPF_SIDE_EFFECTS = 0x04,
638 /* Instruction operands are 64-bits (otherwise 32-bits). */
639 TCG_OPF_64BIT = 0x08,
640 /* Instruction is optional and not implemented by the host, or insn
641 is generic and should not be implemened by the host. */
642 TCG_OPF_NOT_PRESENT = 0x10,
645 typedef struct TCGOpDef {
646 const char *name;
647 uint8_t nb_oargs, nb_iargs, nb_cargs, nb_args;
648 uint8_t flags;
649 TCGArgConstraint *args_ct;
650 int *sorted_args;
651 #if defined(CONFIG_DEBUG_TCG)
652 int used;
653 #endif
654 } TCGOpDef;
656 extern TCGOpDef tcg_op_defs[];
657 extern const size_t tcg_op_defs_max;
659 typedef struct TCGTargetOpDef {
660 TCGOpcode op;
661 const char *args_ct_str[TCG_MAX_OP_ARGS];
662 } TCGTargetOpDef;
664 #define tcg_abort() \
665 do {\
666 fprintf(stderr, "%s:%d: tcg fatal error\n", __FILE__, __LINE__);\
667 abort();\
668 } while (0)
670 #ifdef CONFIG_DEBUG_TCG
671 # define tcg_debug_assert(X) do { assert(X); } while (0)
672 #elif QEMU_GNUC_PREREQ(4, 5)
673 # define tcg_debug_assert(X) \
674 do { if (!(X)) { __builtin_unreachable(); } } while (0)
675 #else
676 # define tcg_debug_assert(X) do { (void)(X); } while (0)
677 #endif
679 void tcg_add_target_add_op_defs(const TCGTargetOpDef *tdefs);
681 #if UINTPTR_MAX == UINT32_MAX
682 #define TCGV_NAT_TO_PTR(n) MAKE_TCGV_PTR(GET_TCGV_I32(n))
683 #define TCGV_PTR_TO_NAT(n) MAKE_TCGV_I32(GET_TCGV_PTR(n))
685 #define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i32((intptr_t)(V)))
686 #define tcg_global_reg_new_ptr(R, N) \
687 TCGV_NAT_TO_PTR(tcg_global_reg_new_i32((R), (N)))
688 #define tcg_global_mem_new_ptr(R, O, N) \
689 TCGV_NAT_TO_PTR(tcg_global_mem_new_i32((R), (O), (N)))
690 #define tcg_temp_new_ptr() TCGV_NAT_TO_PTR(tcg_temp_new_i32())
691 #define tcg_temp_free_ptr(T) tcg_temp_free_i32(TCGV_PTR_TO_NAT(T))
692 #else
693 #define TCGV_NAT_TO_PTR(n) MAKE_TCGV_PTR(GET_TCGV_I64(n))
694 #define TCGV_PTR_TO_NAT(n) MAKE_TCGV_I64(GET_TCGV_PTR(n))
696 #define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i64((intptr_t)(V)))
697 #define tcg_global_reg_new_ptr(R, N) \
698 TCGV_NAT_TO_PTR(tcg_global_reg_new_i64((R), (N)))
699 #define tcg_global_mem_new_ptr(R, O, N) \
700 TCGV_NAT_TO_PTR(tcg_global_mem_new_i64((R), (O), (N)))
701 #define tcg_temp_new_ptr() TCGV_NAT_TO_PTR(tcg_temp_new_i64())
702 #define tcg_temp_free_ptr(T) tcg_temp_free_i64(TCGV_PTR_TO_NAT(T))
703 #endif
705 void tcg_gen_callN(TCGContext *s, void *func,
706 TCGArg ret, int nargs, TCGArg *args);
708 void tcg_gen_shifti_i64(TCGv_i64 ret, TCGv_i64 arg1,
709 int c, int right, int arith);
711 TCGArg *tcg_optimize(TCGContext *s, uint16_t *tcg_opc_ptr, TCGArg *args,
712 TCGOpDef *tcg_op_def);
714 /* only used for debugging purposes */
715 void tcg_dump_ops(TCGContext *s);
717 void dump_ops(const uint16_t *opc_buf, const TCGArg *opparam_buf);
718 TCGv_i32 tcg_const_i32(int32_t val);
719 TCGv_i64 tcg_const_i64(int64_t val);
720 TCGv_i32 tcg_const_local_i32(int32_t val);
721 TCGv_i64 tcg_const_local_i64(int64_t val);
724 * tcg_ptr_byte_diff
725 * @a, @b: addresses to be differenced
727 * There are many places within the TCG backends where we need a byte
728 * difference between two pointers. While this can be accomplished
729 * with local casting, it's easy to get wrong -- especially if one is
730 * concerned with the signedness of the result.
732 * This version relies on GCC's void pointer arithmetic to get the
733 * correct result.
736 static inline ptrdiff_t tcg_ptr_byte_diff(void *a, void *b)
738 return a - b;
742 * tcg_pcrel_diff
743 * @s: the tcg context
744 * @target: address of the target
746 * Produce a pc-relative difference, from the current code_ptr
747 * to the destination address.
750 static inline ptrdiff_t tcg_pcrel_diff(TCGContext *s, void *target)
752 return tcg_ptr_byte_diff(target, s->code_ptr);
756 * tcg_current_code_size
757 * @s: the tcg context
759 * Compute the current code size within the translation block.
760 * This is used to fill in qemu's data structures for goto_tb.
763 static inline size_t tcg_current_code_size(TCGContext *s)
765 return tcg_ptr_byte_diff(s->code_ptr, s->code_buf);
769 * tcg_qemu_tb_exec:
770 * @env: CPUArchState * for the CPU
771 * @tb_ptr: address of generated code for the TB to execute
773 * Start executing code from a given translation block.
774 * Where translation blocks have been linked, execution
775 * may proceed from the given TB into successive ones.
776 * Control eventually returns only when some action is needed
777 * from the top-level loop: either control must pass to a TB
778 * which has not yet been directly linked, or an asynchronous
779 * event such as an interrupt needs handling.
781 * The return value is a pointer to the next TB to execute
782 * (if known; otherwise zero). This pointer is assumed to be
783 * 4-aligned, and the bottom two bits are used to return further
784 * information:
785 * 0, 1: the link between this TB and the next is via the specified
786 * TB index (0 or 1). That is, we left the TB via (the equivalent
787 * of) "goto_tb <index>". The main loop uses this to determine
788 * how to link the TB just executed to the next.
789 * 2: we are using instruction counting code generation, and we
790 * did not start executing this TB because the instruction counter
791 * would hit zero midway through it. In this case the next-TB pointer
792 * returned is the TB we were about to execute, and the caller must
793 * arrange to execute the remaining count of instructions.
794 * 3: we stopped because the CPU's exit_request flag was set
795 * (usually meaning that there is an interrupt that needs to be
796 * handled). The next-TB pointer returned is the TB we were
797 * about to execute when we noticed the pending exit request.
799 * If the bottom two bits indicate an exit-via-index then the CPU
800 * state is correctly synchronised and ready for execution of the next
801 * TB (and in particular the guest PC is the address to execute next).
802 * Otherwise, we gave up on execution of this TB before it started, and
803 * the caller must fix up the CPU state by calling cpu_pc_from_tb()
804 * with the next-TB pointer we return.
806 * Note that TCG targets may use a different definition of tcg_qemu_tb_exec
807 * to this default (which just calls the prologue.code emitted by
808 * tcg_target_qemu_prologue()).
810 #define TB_EXIT_MASK 3
811 #define TB_EXIT_IDX0 0
812 #define TB_EXIT_IDX1 1
813 #define TB_EXIT_ICOUNT_EXPIRED 2
814 #define TB_EXIT_REQUESTED 3
816 #if !defined(tcg_qemu_tb_exec)
817 # define tcg_qemu_tb_exec(env, tb_ptr) \
818 ((uintptr_t (*)(void *, void *))tcg_ctx.code_gen_prologue)(env, tb_ptr)
819 #endif
821 void tcg_register_jit(void *buf, size_t buf_size);
824 * Memory helpers that will be used by TCG generated code.
826 #ifdef CONFIG_SOFTMMU
827 /* Value zero-extended to tcg register size. */
828 tcg_target_ulong helper_ret_ldub_mmu(CPUArchState *env, target_ulong addr,
829 int mmu_idx, uintptr_t retaddr);
830 tcg_target_ulong helper_le_lduw_mmu(CPUArchState *env, target_ulong addr,
831 int mmu_idx, uintptr_t retaddr);
832 tcg_target_ulong helper_le_ldul_mmu(CPUArchState *env, target_ulong addr,
833 int mmu_idx, uintptr_t retaddr);
834 uint64_t helper_le_ldq_mmu(CPUArchState *env, target_ulong addr,
835 int mmu_idx, uintptr_t retaddr);
836 tcg_target_ulong helper_be_lduw_mmu(CPUArchState *env, target_ulong addr,
837 int mmu_idx, uintptr_t retaddr);
838 tcg_target_ulong helper_be_ldul_mmu(CPUArchState *env, target_ulong addr,
839 int mmu_idx, uintptr_t retaddr);
840 uint64_t helper_be_ldq_mmu(CPUArchState *env, target_ulong addr,
841 int mmu_idx, uintptr_t retaddr);
843 /* Value sign-extended to tcg register size. */
844 tcg_target_ulong helper_ret_ldsb_mmu(CPUArchState *env, target_ulong addr,
845 int mmu_idx, uintptr_t retaddr);
846 tcg_target_ulong helper_le_ldsw_mmu(CPUArchState *env, target_ulong addr,
847 int mmu_idx, uintptr_t retaddr);
848 tcg_target_ulong helper_le_ldsl_mmu(CPUArchState *env, target_ulong addr,
849 int mmu_idx, uintptr_t retaddr);
850 tcg_target_ulong helper_be_ldsw_mmu(CPUArchState *env, target_ulong addr,
851 int mmu_idx, uintptr_t retaddr);
852 tcg_target_ulong helper_be_ldsl_mmu(CPUArchState *env, target_ulong addr,
853 int mmu_idx, uintptr_t retaddr);
855 void helper_ret_stb_mmu(CPUArchState *env, target_ulong addr, uint8_t val,
856 int mmu_idx, uintptr_t retaddr);
857 void helper_le_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
858 int mmu_idx, uintptr_t retaddr);
859 void helper_le_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
860 int mmu_idx, uintptr_t retaddr);
861 void helper_le_stq_mmu(CPUArchState *env, target_ulong addr, uint64_t val,
862 int mmu_idx, uintptr_t retaddr);
863 void helper_be_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
864 int mmu_idx, uintptr_t retaddr);
865 void helper_be_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
866 int mmu_idx, uintptr_t retaddr);
867 void helper_be_stq_mmu(CPUArchState *env, target_ulong addr, uint64_t val,
868 int mmu_idx, uintptr_t retaddr);
870 /* Temporary aliases until backends are converted. */
871 #ifdef TARGET_WORDS_BIGENDIAN
872 # define helper_ret_ldsw_mmu helper_be_ldsw_mmu
873 # define helper_ret_lduw_mmu helper_be_lduw_mmu
874 # define helper_ret_ldsl_mmu helper_be_ldsl_mmu
875 # define helper_ret_ldul_mmu helper_be_ldul_mmu
876 # define helper_ret_ldq_mmu helper_be_ldq_mmu
877 # define helper_ret_stw_mmu helper_be_stw_mmu
878 # define helper_ret_stl_mmu helper_be_stl_mmu
879 # define helper_ret_stq_mmu helper_be_stq_mmu
880 #else
881 # define helper_ret_ldsw_mmu helper_le_ldsw_mmu
882 # define helper_ret_lduw_mmu helper_le_lduw_mmu
883 # define helper_ret_ldsl_mmu helper_le_ldsl_mmu
884 # define helper_ret_ldul_mmu helper_le_ldul_mmu
885 # define helper_ret_ldq_mmu helper_le_ldq_mmu
886 # define helper_ret_stw_mmu helper_le_stw_mmu
887 # define helper_ret_stl_mmu helper_le_stl_mmu
888 # define helper_ret_stq_mmu helper_le_stq_mmu
889 #endif
891 #endif /* CONFIG_SOFTMMU */
893 #endif /* TCG_H */