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
28 #include "qemu-common.h"
29 #include "qemu/bitops.h"
30 #include "tcg-target.h"
32 #define CPU_TEMP_BUF_NLONGS 128
34 /* Default target word size to pointer size. */
35 #ifndef TCG_TARGET_REG_BITS
36 # if UINTPTR_MAX == UINT32_MAX
37 # define TCG_TARGET_REG_BITS 32
38 # elif UINTPTR_MAX == UINT64_MAX
39 # define TCG_TARGET_REG_BITS 64
41 # error Unknown pointer size for tcg target
45 #if TCG_TARGET_REG_BITS == 32
46 typedef int32_t tcg_target_long
;
47 typedef uint32_t tcg_target_ulong
;
48 #define TCG_PRIlx PRIx32
49 #define TCG_PRIld PRId32
50 #elif TCG_TARGET_REG_BITS == 64
51 typedef int64_t tcg_target_long
;
52 typedef uint64_t tcg_target_ulong
;
53 #define TCG_PRIlx PRIx64
54 #define TCG_PRIld PRId64
59 #if TCG_TARGET_NB_REGS <= 32
60 typedef uint32_t TCGRegSet
;
61 #elif TCG_TARGET_NB_REGS <= 64
62 typedef uint64_t TCGRegSet
;
67 #if TCG_TARGET_REG_BITS == 32
68 /* Turn some undef macros into false macros. */
69 #define TCG_TARGET_HAS_extrl_i64_i32 0
70 #define TCG_TARGET_HAS_extrh_i64_i32 0
71 #define TCG_TARGET_HAS_div_i64 0
72 #define TCG_TARGET_HAS_rem_i64 0
73 #define TCG_TARGET_HAS_div2_i64 0
74 #define TCG_TARGET_HAS_rot_i64 0
75 #define TCG_TARGET_HAS_ext8s_i64 0
76 #define TCG_TARGET_HAS_ext16s_i64 0
77 #define TCG_TARGET_HAS_ext32s_i64 0
78 #define TCG_TARGET_HAS_ext8u_i64 0
79 #define TCG_TARGET_HAS_ext16u_i64 0
80 #define TCG_TARGET_HAS_ext32u_i64 0
81 #define TCG_TARGET_HAS_bswap16_i64 0
82 #define TCG_TARGET_HAS_bswap32_i64 0
83 #define TCG_TARGET_HAS_bswap64_i64 0
84 #define TCG_TARGET_HAS_neg_i64 0
85 #define TCG_TARGET_HAS_not_i64 0
86 #define TCG_TARGET_HAS_andc_i64 0
87 #define TCG_TARGET_HAS_orc_i64 0
88 #define TCG_TARGET_HAS_eqv_i64 0
89 #define TCG_TARGET_HAS_nand_i64 0
90 #define TCG_TARGET_HAS_nor_i64 0
91 #define TCG_TARGET_HAS_deposit_i64 0
92 #define TCG_TARGET_HAS_movcond_i64 0
93 #define TCG_TARGET_HAS_add2_i64 0
94 #define TCG_TARGET_HAS_sub2_i64 0
95 #define TCG_TARGET_HAS_mulu2_i64 0
96 #define TCG_TARGET_HAS_muls2_i64 0
97 #define TCG_TARGET_HAS_muluh_i64 0
98 #define TCG_TARGET_HAS_mulsh_i64 0
99 /* Turn some undef macros into true macros. */
100 #define TCG_TARGET_HAS_add2_i32 1
101 #define TCG_TARGET_HAS_sub2_i32 1
104 #ifndef TCG_TARGET_deposit_i32_valid
105 #define TCG_TARGET_deposit_i32_valid(ofs, len) 1
107 #ifndef TCG_TARGET_deposit_i64_valid
108 #define TCG_TARGET_deposit_i64_valid(ofs, len) 1
111 /* Only one of DIV or DIV2 should be defined. */
112 #if defined(TCG_TARGET_HAS_div_i32)
113 #define TCG_TARGET_HAS_div2_i32 0
114 #elif defined(TCG_TARGET_HAS_div2_i32)
115 #define TCG_TARGET_HAS_div_i32 0
116 #define TCG_TARGET_HAS_rem_i32 0
118 #if defined(TCG_TARGET_HAS_div_i64)
119 #define TCG_TARGET_HAS_div2_i64 0
120 #elif defined(TCG_TARGET_HAS_div2_i64)
121 #define TCG_TARGET_HAS_div_i64 0
122 #define TCG_TARGET_HAS_rem_i64 0
125 /* For 32-bit targets, some sort of unsigned widening multiply is required. */
126 #if TCG_TARGET_REG_BITS == 32 \
127 && !(defined(TCG_TARGET_HAS_mulu2_i32) \
128 || defined(TCG_TARGET_HAS_muluh_i32))
129 # error "Missing unsigned widening multiply"
132 #ifndef TARGET_INSN_START_EXTRA_WORDS
133 # define TARGET_INSN_START_WORDS 1
135 # define TARGET_INSN_START_WORDS (1 + TARGET_INSN_START_EXTRA_WORDS)
138 typedef enum TCGOpcode
{
139 #define DEF(name, oargs, iargs, cargs, flags) INDEX_op_ ## name,
145 #define tcg_regset_clear(d) (d) = 0
146 #define tcg_regset_set(d, s) (d) = (s)
147 #define tcg_regset_set32(d, reg, val32) (d) |= (val32) << (reg)
148 #define tcg_regset_set_reg(d, r) (d) |= 1L << (r)
149 #define tcg_regset_reset_reg(d, r) (d) &= ~(1L << (r))
150 #define tcg_regset_test_reg(d, r) (((d) >> (r)) & 1)
151 #define tcg_regset_or(d, a, b) (d) = (a) | (b)
152 #define tcg_regset_and(d, a, b) (d) = (a) & (b)
153 #define tcg_regset_andnot(d, a, b) (d) = (a) & ~(b)
154 #define tcg_regset_not(d, a) (d) = ~(a)
156 #ifndef TCG_TARGET_INSN_UNIT_SIZE
157 # error "Missing TCG_TARGET_INSN_UNIT_SIZE"
158 #elif TCG_TARGET_INSN_UNIT_SIZE == 1
159 typedef uint8_t tcg_insn_unit
;
160 #elif TCG_TARGET_INSN_UNIT_SIZE == 2
161 typedef uint16_t tcg_insn_unit
;
162 #elif TCG_TARGET_INSN_UNIT_SIZE == 4
163 typedef uint32_t tcg_insn_unit
;
164 #elif TCG_TARGET_INSN_UNIT_SIZE == 8
165 typedef uint64_t tcg_insn_unit
;
167 /* The port better have done this. */
171 typedef struct TCGRelocation
{
172 struct TCGRelocation
*next
;
178 typedef struct TCGLabel
{
179 unsigned has_value
: 1;
183 tcg_insn_unit
*value_ptr
;
184 TCGRelocation
*first_reloc
;
188 typedef struct TCGPool
{
189 struct TCGPool
*next
;
191 uint8_t data
[0] __attribute__ ((aligned
));
194 #define TCG_POOL_CHUNK_SIZE 32768
196 #define TCG_MAX_TEMPS 512
197 #define TCG_MAX_INSNS 512
199 /* when the size of the arguments of a called function is smaller than
200 this value, they are statically allocated in the TB stack frame */
201 #define TCG_STATIC_CALL_ARGS_SIZE 128
203 typedef enum TCGType
{
206 TCG_TYPE_COUNT
, /* number of different types */
208 /* An alias for the size of the host register. */
209 #if TCG_TARGET_REG_BITS == 32
210 TCG_TYPE_REG
= TCG_TYPE_I32
,
212 TCG_TYPE_REG
= TCG_TYPE_I64
,
215 /* An alias for the size of the native pointer. */
216 #if UINTPTR_MAX == UINT32_MAX
217 TCG_TYPE_PTR
= TCG_TYPE_I32
,
219 TCG_TYPE_PTR
= TCG_TYPE_I64
,
222 /* An alias for the size of the target "long", aka register. */
223 #if TARGET_LONG_BITS == 64
224 TCG_TYPE_TL
= TCG_TYPE_I64
,
226 TCG_TYPE_TL
= TCG_TYPE_I32
,
230 /* Constants for qemu_ld and qemu_st for the Memory Operation field. */
231 typedef enum TCGMemOp
{
236 MO_SIZE
= 3, /* Mask for the above. */
238 MO_SIGN
= 4, /* Sign-extended, otherwise zero-extended. */
240 MO_BSWAP
= 8, /* Host reverse endian. */
241 #ifdef HOST_WORDS_BIGENDIAN
248 #ifdef TARGET_WORDS_BIGENDIAN
254 /* MO_UNALN accesses are never checked for alignment.
255 MO_ALIGN accesses will result in a call to the CPU's
256 do_unaligned_access hook if the guest address is not aligned.
257 The default depends on whether the target CPU defines ALIGNED_ONLY. */
267 /* Combinations of the above, for ease of use. */
271 MO_SB
= MO_SIGN
| MO_8
,
272 MO_SW
= MO_SIGN
| MO_16
,
273 MO_SL
= MO_SIGN
| MO_32
,
276 MO_LEUW
= MO_LE
| MO_UW
,
277 MO_LEUL
= MO_LE
| MO_UL
,
278 MO_LESW
= MO_LE
| MO_SW
,
279 MO_LESL
= MO_LE
| MO_SL
,
280 MO_LEQ
= MO_LE
| MO_Q
,
282 MO_BEUW
= MO_BE
| MO_UW
,
283 MO_BEUL
= MO_BE
| MO_UL
,
284 MO_BESW
= MO_BE
| MO_SW
,
285 MO_BESL
= MO_BE
| MO_SL
,
286 MO_BEQ
= MO_BE
| MO_Q
,
288 MO_TEUW
= MO_TE
| MO_UW
,
289 MO_TEUL
= MO_TE
| MO_UL
,
290 MO_TESW
= MO_TE
| MO_SW
,
291 MO_TESL
= MO_TE
| MO_SL
,
292 MO_TEQ
= MO_TE
| MO_Q
,
294 MO_SSIZE
= MO_SIZE
| MO_SIGN
,
297 typedef tcg_target_ulong TCGArg
;
299 /* Define a type and accessor macros for variables. Using pointer types
300 is nice because it gives some level of type safely. Converting to and
301 from intptr_t rather than int reduces the number of sign-extension
302 instructions that get implied on 64-bit hosts. Users of tcg_gen_* don't
303 need to know about any of this, and should treat TCGv as an opaque type.
304 In addition we do typechecking for different types of variables. TCGv_i32
305 and TCGv_i64 are 32/64-bit variables respectively. TCGv and TCGv_ptr
306 are aliases for target_ulong and host pointer sized values respectively. */
308 typedef struct TCGv_i32_d
*TCGv_i32
;
309 typedef struct TCGv_i64_d
*TCGv_i64
;
310 typedef struct TCGv_ptr_d
*TCGv_ptr
;
311 typedef TCGv_ptr TCGv_env
;
312 #if TARGET_LONG_BITS == 32
313 #define TCGv TCGv_i32
314 #elif TARGET_LONG_BITS == 64
315 #define TCGv TCGv_i64
317 #error Unhandled TARGET_LONG_BITS value
320 static inline TCGv_i32 QEMU_ARTIFICIAL
MAKE_TCGV_I32(intptr_t i
)
325 static inline TCGv_i64 QEMU_ARTIFICIAL
MAKE_TCGV_I64(intptr_t i
)
330 static inline TCGv_ptr QEMU_ARTIFICIAL
MAKE_TCGV_PTR(intptr_t i
)
335 static inline intptr_t QEMU_ARTIFICIAL
GET_TCGV_I32(TCGv_i32 t
)
340 static inline intptr_t QEMU_ARTIFICIAL
GET_TCGV_I64(TCGv_i64 t
)
345 static inline intptr_t QEMU_ARTIFICIAL
GET_TCGV_PTR(TCGv_ptr t
)
350 #if TCG_TARGET_REG_BITS == 32
351 #define TCGV_LOW(t) MAKE_TCGV_I32(GET_TCGV_I64(t))
352 #define TCGV_HIGH(t) MAKE_TCGV_I32(GET_TCGV_I64(t) + 1)
355 #define TCGV_EQUAL_I32(a, b) (GET_TCGV_I32(a) == GET_TCGV_I32(b))
356 #define TCGV_EQUAL_I64(a, b) (GET_TCGV_I64(a) == GET_TCGV_I64(b))
357 #define TCGV_EQUAL_PTR(a, b) (GET_TCGV_PTR(a) == GET_TCGV_PTR(b))
359 /* Dummy definition to avoid compiler warnings. */
360 #define TCGV_UNUSED_I32(x) x = MAKE_TCGV_I32(-1)
361 #define TCGV_UNUSED_I64(x) x = MAKE_TCGV_I64(-1)
362 #define TCGV_UNUSED_PTR(x) x = MAKE_TCGV_PTR(-1)
364 #define TCGV_IS_UNUSED_I32(x) (GET_TCGV_I32(x) == -1)
365 #define TCGV_IS_UNUSED_I64(x) (GET_TCGV_I64(x) == -1)
366 #define TCGV_IS_UNUSED_PTR(x) (GET_TCGV_PTR(x) == -1)
369 /* Helper does not read globals (either directly or through an exception). It
370 implies TCG_CALL_NO_WRITE_GLOBALS. */
371 #define TCG_CALL_NO_READ_GLOBALS 0x0010
372 /* Helper does not write globals */
373 #define TCG_CALL_NO_WRITE_GLOBALS 0x0020
374 /* Helper can be safely suppressed if the return value is not used. */
375 #define TCG_CALL_NO_SIDE_EFFECTS 0x0040
377 /* convenience version of most used call flags */
378 #define TCG_CALL_NO_RWG TCG_CALL_NO_READ_GLOBALS
379 #define TCG_CALL_NO_WG TCG_CALL_NO_WRITE_GLOBALS
380 #define TCG_CALL_NO_SE TCG_CALL_NO_SIDE_EFFECTS
381 #define TCG_CALL_NO_RWG_SE (TCG_CALL_NO_RWG | TCG_CALL_NO_SE)
382 #define TCG_CALL_NO_WG_SE (TCG_CALL_NO_WG | TCG_CALL_NO_SE)
384 /* used to align parameters */
385 #define TCG_CALL_DUMMY_TCGV MAKE_TCGV_I32(-1)
386 #define TCG_CALL_DUMMY_ARG ((TCGArg)(-1))
388 /* Conditions. Note that these are laid out for easy manipulation by
390 bit 0 is used for inverting;
393 bit 3 is used with bit 0 for swapping signed/unsigned. */
396 TCG_COND_NEVER
= 0 | 0 | 0 | 0,
397 TCG_COND_ALWAYS
= 0 | 0 | 0 | 1,
398 TCG_COND_EQ
= 8 | 0 | 0 | 0,
399 TCG_COND_NE
= 8 | 0 | 0 | 1,
401 TCG_COND_LT
= 0 | 0 | 2 | 0,
402 TCG_COND_GE
= 0 | 0 | 2 | 1,
403 TCG_COND_LE
= 8 | 0 | 2 | 0,
404 TCG_COND_GT
= 8 | 0 | 2 | 1,
406 TCG_COND_LTU
= 0 | 4 | 0 | 0,
407 TCG_COND_GEU
= 0 | 4 | 0 | 1,
408 TCG_COND_LEU
= 8 | 4 | 0 | 0,
409 TCG_COND_GTU
= 8 | 4 | 0 | 1,
412 /* Invert the sense of the comparison. */
413 static inline TCGCond
tcg_invert_cond(TCGCond c
)
415 return (TCGCond
)(c
^ 1);
418 /* Swap the operands in a comparison. */
419 static inline TCGCond
tcg_swap_cond(TCGCond c
)
421 return c
& 6 ? (TCGCond
)(c
^ 9) : c
;
424 /* Create an "unsigned" version of a "signed" comparison. */
425 static inline TCGCond
tcg_unsigned_cond(TCGCond c
)
427 return c
& 2 ? (TCGCond
)(c
^ 6) : c
;
430 /* Must a comparison be considered unsigned? */
431 static inline bool is_unsigned_cond(TCGCond c
)
436 /* Create a "high" version of a double-word comparison.
437 This removes equality from a LTE or GTE comparison. */
438 static inline TCGCond
tcg_high_cond(TCGCond c
)
445 return (TCGCond
)(c
^ 8);
451 typedef enum TCGTempVal
{
458 typedef struct TCGTemp
{
460 TCGTempVal val_type
:8;
463 unsigned int fixed_reg
:1;
464 unsigned int indirect_reg
:1;
465 unsigned int indirect_base
:1;
466 unsigned int mem_coherent
:1;
467 unsigned int mem_allocated
:1;
468 unsigned int temp_local
:1; /* If true, the temp is saved across
469 basic blocks. Otherwise, it is not
470 preserved across basic blocks. */
471 unsigned int temp_allocated
:1; /* never used for code gen */
474 struct TCGTemp
*mem_base
;
479 typedef struct TCGContext TCGContext
;
481 typedef struct TCGTempSet
{
482 unsigned long l
[BITS_TO_LONGS(TCG_MAX_TEMPS
)];
485 typedef struct TCGOp
{
488 /* The number of out and in parameter for a call. */
492 /* Index of the arguments for this op, or -1 for zero-operand ops. */
495 /* Index of the prex/next op, or -1 for the end of the list. */
500 QEMU_BUILD_BUG_ON(NB_OPS
> 0xff);
501 QEMU_BUILD_BUG_ON(OPC_BUF_SIZE
>= 0x7fff);
502 QEMU_BUILD_BUG_ON(OPPARAM_BUF_SIZE
>= 0x7fff);
505 uint8_t *pool_cur
, *pool_end
;
506 TCGPool
*pool_first
, *pool_current
, *pool_first_large
;
511 /* goto_tb support */
512 tcg_insn_unit
*code_buf
;
514 uint16_t *tb_next_offset
;
515 uint16_t *tb_jmp_offset
; /* != NULL if USE_DIRECT_JUMP */
517 /* liveness analysis */
518 uint16_t *op_dead_args
; /* for each operation, each bit tells if the
519 corresponding argument is dead */
520 uint8_t *op_sync_args
; /* for each operation, each bit tells if the
521 corresponding output argument needs to be
524 TCGRegSet reserved_regs
;
525 intptr_t current_frame_offset
;
526 intptr_t frame_start
;
530 tcg_insn_unit
*code_ptr
;
534 #ifdef CONFIG_PROFILER
538 int64_t op_count
; /* total insn count */
539 int op_count_max
; /* max insn per TB */
542 int64_t del_op_count
;
544 int64_t code_out_len
;
545 int64_t search_out_len
;
550 int64_t restore_count
;
551 int64_t restore_time
;
554 #ifdef CONFIG_DEBUG_TCG
556 int goto_tb_issue_mask
;
559 int gen_first_op_idx
;
562 int gen_next_parm_idx
;
564 /* Code generation. Note that we specifically do not use tcg_insn_unit
565 here, because there's too much arithmetic throughout that relies
566 on addition and subtraction working on bytes. Rely on the GCC
567 extension that allows arithmetic on void*. */
568 int code_gen_max_blocks
;
569 void *code_gen_prologue
;
570 void *code_gen_buffer
;
571 size_t code_gen_buffer_size
;
574 /* Threshold to flush the translated code buffer. */
575 void *code_gen_highwater
;
579 /* The TCGBackendData structure is private to tcg-target.inc.c. */
580 struct TCGBackendData
*be
;
582 TCGTempSet free_temps
[TCG_TYPE_COUNT
* 2];
583 TCGTemp temps
[TCG_MAX_TEMPS
]; /* globals first, temps after */
585 /* Tells which temporary holds a given register.
586 It does not take into account fixed registers */
587 TCGTemp
*reg_to_temp
[TCG_TARGET_NB_REGS
];
589 TCGOp gen_op_buf
[OPC_BUF_SIZE
];
590 TCGArg gen_opparam_buf
[OPPARAM_BUF_SIZE
];
592 uint16_t gen_insn_end_off
[TCG_MAX_INSNS
];
593 target_ulong gen_insn_data
[TCG_MAX_INSNS
][TARGET_INSN_START_WORDS
];
596 extern TCGContext tcg_ctx
;
598 /* The number of opcodes emitted so far. */
599 static inline int tcg_op_buf_count(void)
601 return tcg_ctx
.gen_next_op_idx
;
604 /* Test for whether to terminate the TB for using too many opcodes. */
605 static inline bool tcg_op_buf_full(void)
607 return tcg_op_buf_count() >= OPC_MAX_SIZE
;
610 /* pool based memory allocation */
612 void *tcg_malloc_internal(TCGContext
*s
, int size
);
613 void tcg_pool_reset(TCGContext
*s
);
614 void tcg_pool_delete(TCGContext
*s
);
617 void tb_unlock(void);
618 void tb_lock_reset(void);
620 static inline void *tcg_malloc(int size
)
622 TCGContext
*s
= &tcg_ctx
;
623 uint8_t *ptr
, *ptr_end
;
624 size
= (size
+ sizeof(long) - 1) & ~(sizeof(long) - 1);
626 ptr_end
= ptr
+ size
;
627 if (unlikely(ptr_end
> s
->pool_end
)) {
628 return tcg_malloc_internal(&tcg_ctx
, size
);
630 s
->pool_cur
= ptr_end
;
635 void tcg_context_init(TCGContext
*s
);
636 void tcg_prologue_init(TCGContext
*s
);
637 void tcg_func_start(TCGContext
*s
);
639 int tcg_gen_code(TCGContext
*s
, TranslationBlock
*tb
);
641 void tcg_set_frame(TCGContext
*s
, TCGReg reg
, intptr_t start
, intptr_t size
);
643 int tcg_global_mem_new_internal(TCGType
, TCGv_ptr
, intptr_t, const char *);
645 TCGv_i32
tcg_global_reg_new_i32(TCGReg reg
, const char *name
);
646 TCGv_i64
tcg_global_reg_new_i64(TCGReg reg
, const char *name
);
648 TCGv_i32
tcg_temp_new_internal_i32(int temp_local
);
649 TCGv_i64
tcg_temp_new_internal_i64(int temp_local
);
651 void tcg_temp_free_i32(TCGv_i32 arg
);
652 void tcg_temp_free_i64(TCGv_i64 arg
);
654 static inline TCGv_i32
tcg_global_mem_new_i32(TCGv_ptr reg
, intptr_t offset
,
657 int idx
= tcg_global_mem_new_internal(TCG_TYPE_I32
, reg
, offset
, name
);
658 return MAKE_TCGV_I32(idx
);
661 static inline TCGv_i32
tcg_temp_new_i32(void)
663 return tcg_temp_new_internal_i32(0);
666 static inline TCGv_i32
tcg_temp_local_new_i32(void)
668 return tcg_temp_new_internal_i32(1);
671 static inline TCGv_i64
tcg_global_mem_new_i64(TCGv_ptr reg
, intptr_t offset
,
674 int idx
= tcg_global_mem_new_internal(TCG_TYPE_I64
, reg
, offset
, name
);
675 return MAKE_TCGV_I64(idx
);
678 static inline TCGv_i64
tcg_temp_new_i64(void)
680 return tcg_temp_new_internal_i64(0);
683 static inline TCGv_i64
tcg_temp_local_new_i64(void)
685 return tcg_temp_new_internal_i64(1);
688 #if defined(CONFIG_DEBUG_TCG)
689 /* If you call tcg_clear_temp_count() at the start of a section of
690 * code which is not supposed to leak any TCG temporaries, then
691 * calling tcg_check_temp_count() at the end of the section will
692 * return 1 if the section did in fact leak a temporary.
694 void tcg_clear_temp_count(void);
695 int tcg_check_temp_count(void);
697 #define tcg_clear_temp_count() do { } while (0)
698 #define tcg_check_temp_count() 0
701 void tcg_dump_info(FILE *f
, fprintf_function cpu_fprintf
);
702 void tcg_dump_op_count(FILE *f
, fprintf_function cpu_fprintf
);
704 #define TCG_CT_ALIAS 0x80
705 #define TCG_CT_IALIAS 0x40
706 #define TCG_CT_REG 0x01
707 #define TCG_CT_CONST 0x02 /* any constant of register size */
709 typedef struct TCGArgConstraint
{
717 #define TCG_MAX_OP_ARGS 16
719 /* Bits for TCGOpDef->flags, 8 bits available. */
721 /* Instruction defines the end of a basic block. */
722 TCG_OPF_BB_END
= 0x01,
723 /* Instruction clobbers call registers and potentially update globals. */
724 TCG_OPF_CALL_CLOBBER
= 0x02,
725 /* Instruction has side effects: it cannot be removed if its outputs
726 are not used, and might trigger exceptions. */
727 TCG_OPF_SIDE_EFFECTS
= 0x04,
728 /* Instruction operands are 64-bits (otherwise 32-bits). */
729 TCG_OPF_64BIT
= 0x08,
730 /* Instruction is optional and not implemented by the host, or insn
731 is generic and should not be implemened by the host. */
732 TCG_OPF_NOT_PRESENT
= 0x10,
735 typedef struct TCGOpDef
{
737 uint8_t nb_oargs
, nb_iargs
, nb_cargs
, nb_args
;
739 TCGArgConstraint
*args_ct
;
741 #if defined(CONFIG_DEBUG_TCG)
746 extern TCGOpDef tcg_op_defs
[];
747 extern const size_t tcg_op_defs_max
;
749 typedef struct TCGTargetOpDef
{
751 const char *args_ct_str
[TCG_MAX_OP_ARGS
];
754 #define tcg_abort() \
756 fprintf(stderr, "%s:%d: tcg fatal error\n", __FILE__, __LINE__);\
760 #ifdef CONFIG_DEBUG_TCG
761 # define tcg_debug_assert(X) do { assert(X); } while (0)
762 #elif QEMU_GNUC_PREREQ(4, 5)
763 # define tcg_debug_assert(X) \
764 do { if (!(X)) { __builtin_unreachable(); } } while (0)
766 # define tcg_debug_assert(X) do { (void)(X); } while (0)
769 void tcg_add_target_add_op_defs(const TCGTargetOpDef
*tdefs
);
771 #if UINTPTR_MAX == UINT32_MAX
772 #define TCGV_NAT_TO_PTR(n) MAKE_TCGV_PTR(GET_TCGV_I32(n))
773 #define TCGV_PTR_TO_NAT(n) MAKE_TCGV_I32(GET_TCGV_PTR(n))
775 #define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i32((intptr_t)(V)))
776 #define tcg_global_reg_new_ptr(R, N) \
777 TCGV_NAT_TO_PTR(tcg_global_reg_new_i32((R), (N)))
778 #define tcg_global_mem_new_ptr(R, O, N) \
779 TCGV_NAT_TO_PTR(tcg_global_mem_new_i32((R), (O), (N)))
780 #define tcg_temp_new_ptr() TCGV_NAT_TO_PTR(tcg_temp_new_i32())
781 #define tcg_temp_free_ptr(T) tcg_temp_free_i32(TCGV_PTR_TO_NAT(T))
783 #define TCGV_NAT_TO_PTR(n) MAKE_TCGV_PTR(GET_TCGV_I64(n))
784 #define TCGV_PTR_TO_NAT(n) MAKE_TCGV_I64(GET_TCGV_PTR(n))
786 #define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i64((intptr_t)(V)))
787 #define tcg_global_reg_new_ptr(R, N) \
788 TCGV_NAT_TO_PTR(tcg_global_reg_new_i64((R), (N)))
789 #define tcg_global_mem_new_ptr(R, O, N) \
790 TCGV_NAT_TO_PTR(tcg_global_mem_new_i64((R), (O), (N)))
791 #define tcg_temp_new_ptr() TCGV_NAT_TO_PTR(tcg_temp_new_i64())
792 #define tcg_temp_free_ptr(T) tcg_temp_free_i64(TCGV_PTR_TO_NAT(T))
795 void tcg_gen_callN(TCGContext
*s
, void *func
,
796 TCGArg ret
, int nargs
, TCGArg
*args
);
798 void tcg_op_remove(TCGContext
*s
, TCGOp
*op
);
799 void tcg_optimize(TCGContext
*s
);
801 /* only used for debugging purposes */
802 void tcg_dump_ops(TCGContext
*s
);
804 void dump_ops(const uint16_t *opc_buf
, const TCGArg
*opparam_buf
);
805 TCGv_i32
tcg_const_i32(int32_t val
);
806 TCGv_i64
tcg_const_i64(int64_t val
);
807 TCGv_i32
tcg_const_local_i32(int32_t val
);
808 TCGv_i64
tcg_const_local_i64(int64_t val
);
810 TCGLabel
*gen_new_label(void);
816 * Encode a label for storage in the TCG opcode stream.
819 static inline TCGArg
label_arg(TCGLabel
*l
)
828 * The opposite of label_arg. Retrieve a label from the
829 * encoding of the TCG opcode stream.
832 static inline TCGLabel
*arg_label(TCGArg i
)
834 return (TCGLabel
*)(uintptr_t)i
;
839 * @a, @b: addresses to be differenced
841 * There are many places within the TCG backends where we need a byte
842 * difference between two pointers. While this can be accomplished
843 * with local casting, it's easy to get wrong -- especially if one is
844 * concerned with the signedness of the result.
846 * This version relies on GCC's void pointer arithmetic to get the
850 static inline ptrdiff_t tcg_ptr_byte_diff(void *a
, void *b
)
857 * @s: the tcg context
858 * @target: address of the target
860 * Produce a pc-relative difference, from the current code_ptr
861 * to the destination address.
864 static inline ptrdiff_t tcg_pcrel_diff(TCGContext
*s
, void *target
)
866 return tcg_ptr_byte_diff(target
, s
->code_ptr
);
870 * tcg_current_code_size
871 * @s: the tcg context
873 * Compute the current code size within the translation block.
874 * This is used to fill in qemu's data structures for goto_tb.
877 static inline size_t tcg_current_code_size(TCGContext
*s
)
879 return tcg_ptr_byte_diff(s
->code_ptr
, s
->code_buf
);
882 /* Combine the TCGMemOp and mmu_idx parameters into a single value. */
883 typedef uint32_t TCGMemOpIdx
;
887 * @op: memory operation
890 * Encode these values into a single parameter.
892 static inline TCGMemOpIdx
make_memop_idx(TCGMemOp op
, unsigned idx
)
894 tcg_debug_assert(idx
<= 15);
895 return (op
<< 4) | idx
;
900 * @oi: combined op/idx parameter
902 * Extract the memory operation from the combined value.
904 static inline TCGMemOp
get_memop(TCGMemOpIdx oi
)
911 * @oi: combined op/idx parameter
913 * Extract the mmu index from the combined value.
915 static inline unsigned get_mmuidx(TCGMemOpIdx oi
)
922 * @env: CPUArchState * for the CPU
923 * @tb_ptr: address of generated code for the TB to execute
925 * Start executing code from a given translation block.
926 * Where translation blocks have been linked, execution
927 * may proceed from the given TB into successive ones.
928 * Control eventually returns only when some action is needed
929 * from the top-level loop: either control must pass to a TB
930 * which has not yet been directly linked, or an asynchronous
931 * event such as an interrupt needs handling.
933 * The return value is a pointer to the next TB to execute
934 * (if known; otherwise zero). This pointer is assumed to be
935 * 4-aligned, and the bottom two bits are used to return further
937 * 0, 1: the link between this TB and the next is via the specified
938 * TB index (0 or 1). That is, we left the TB via (the equivalent
939 * of) "goto_tb <index>". The main loop uses this to determine
940 * how to link the TB just executed to the next.
941 * 2: we are using instruction counting code generation, and we
942 * did not start executing this TB because the instruction counter
943 * would hit zero midway through it. In this case the next-TB pointer
944 * returned is the TB we were about to execute, and the caller must
945 * arrange to execute the remaining count of instructions.
946 * 3: we stopped because the CPU's exit_request flag was set
947 * (usually meaning that there is an interrupt that needs to be
948 * handled). The next-TB pointer returned is the TB we were
949 * about to execute when we noticed the pending exit request.
951 * If the bottom two bits indicate an exit-via-index then the CPU
952 * state is correctly synchronised and ready for execution of the next
953 * TB (and in particular the guest PC is the address to execute next).
954 * Otherwise, we gave up on execution of this TB before it started, and
955 * the caller must fix up the CPU state by calling the CPU's
956 * synchronize_from_tb() method with the next-TB pointer we return (falling
957 * back to calling the CPU's set_pc method with tb->pb if no
958 * synchronize_from_tb() method exists).
960 * Note that TCG targets may use a different definition of tcg_qemu_tb_exec
961 * to this default (which just calls the prologue.code emitted by
962 * tcg_target_qemu_prologue()).
964 #define TB_EXIT_MASK 3
965 #define TB_EXIT_IDX0 0
966 #define TB_EXIT_IDX1 1
967 #define TB_EXIT_ICOUNT_EXPIRED 2
968 #define TB_EXIT_REQUESTED 3
970 #ifdef HAVE_TCG_QEMU_TB_EXEC
971 uintptr_t tcg_qemu_tb_exec(CPUArchState
*env
, uint8_t *tb_ptr
);
973 # define tcg_qemu_tb_exec(env, tb_ptr) \
974 ((uintptr_t (*)(void *, void *))tcg_ctx.code_gen_prologue)(env, tb_ptr)
977 void tcg_register_jit(void *buf
, size_t buf_size
);
980 * Memory helpers that will be used by TCG generated code.
982 #ifdef CONFIG_SOFTMMU
983 /* Value zero-extended to tcg register size. */
984 tcg_target_ulong
helper_ret_ldub_mmu(CPUArchState
*env
, target_ulong addr
,
985 TCGMemOpIdx oi
, uintptr_t retaddr
);
986 tcg_target_ulong
helper_le_lduw_mmu(CPUArchState
*env
, target_ulong addr
,
987 TCGMemOpIdx oi
, uintptr_t retaddr
);
988 tcg_target_ulong
helper_le_ldul_mmu(CPUArchState
*env
, target_ulong addr
,
989 TCGMemOpIdx oi
, uintptr_t retaddr
);
990 uint64_t helper_le_ldq_mmu(CPUArchState
*env
, target_ulong addr
,
991 TCGMemOpIdx oi
, uintptr_t retaddr
);
992 tcg_target_ulong
helper_be_lduw_mmu(CPUArchState
*env
, target_ulong addr
,
993 TCGMemOpIdx oi
, uintptr_t retaddr
);
994 tcg_target_ulong
helper_be_ldul_mmu(CPUArchState
*env
, target_ulong addr
,
995 TCGMemOpIdx oi
, uintptr_t retaddr
);
996 uint64_t helper_be_ldq_mmu(CPUArchState
*env
, target_ulong addr
,
997 TCGMemOpIdx oi
, uintptr_t retaddr
);
999 /* Value sign-extended to tcg register size. */
1000 tcg_target_ulong
helper_ret_ldsb_mmu(CPUArchState
*env
, target_ulong addr
,
1001 TCGMemOpIdx oi
, uintptr_t retaddr
);
1002 tcg_target_ulong
helper_le_ldsw_mmu(CPUArchState
*env
, target_ulong addr
,
1003 TCGMemOpIdx oi
, uintptr_t retaddr
);
1004 tcg_target_ulong
helper_le_ldsl_mmu(CPUArchState
*env
, target_ulong addr
,
1005 TCGMemOpIdx oi
, uintptr_t retaddr
);
1006 tcg_target_ulong
helper_be_ldsw_mmu(CPUArchState
*env
, target_ulong addr
,
1007 TCGMemOpIdx oi
, uintptr_t retaddr
);
1008 tcg_target_ulong
helper_be_ldsl_mmu(CPUArchState
*env
, target_ulong addr
,
1009 TCGMemOpIdx oi
, uintptr_t retaddr
);
1011 void helper_ret_stb_mmu(CPUArchState
*env
, target_ulong addr
, uint8_t val
,
1012 TCGMemOpIdx oi
, uintptr_t retaddr
);
1013 void helper_le_stw_mmu(CPUArchState
*env
, target_ulong addr
, uint16_t val
,
1014 TCGMemOpIdx oi
, uintptr_t retaddr
);
1015 void helper_le_stl_mmu(CPUArchState
*env
, target_ulong addr
, uint32_t val
,
1016 TCGMemOpIdx oi
, uintptr_t retaddr
);
1017 void helper_le_stq_mmu(CPUArchState
*env
, target_ulong addr
, uint64_t val
,
1018 TCGMemOpIdx oi
, uintptr_t retaddr
);
1019 void helper_be_stw_mmu(CPUArchState
*env
, target_ulong addr
, uint16_t val
,
1020 TCGMemOpIdx oi
, uintptr_t retaddr
);
1021 void helper_be_stl_mmu(CPUArchState
*env
, target_ulong addr
, uint32_t val
,
1022 TCGMemOpIdx oi
, uintptr_t retaddr
);
1023 void helper_be_stq_mmu(CPUArchState
*env
, target_ulong addr
, uint64_t val
,
1024 TCGMemOpIdx oi
, uintptr_t retaddr
);
1026 uint8_t helper_ret_ldb_cmmu(CPUArchState
*env
, target_ulong addr
,
1027 TCGMemOpIdx oi
, uintptr_t retaddr
);
1028 uint16_t helper_le_ldw_cmmu(CPUArchState
*env
, target_ulong addr
,
1029 TCGMemOpIdx oi
, uintptr_t retaddr
);
1030 uint32_t helper_le_ldl_cmmu(CPUArchState
*env
, target_ulong addr
,
1031 TCGMemOpIdx oi
, uintptr_t retaddr
);
1032 uint64_t helper_le_ldq_cmmu(CPUArchState
*env
, target_ulong addr
,
1033 TCGMemOpIdx oi
, uintptr_t retaddr
);
1034 uint16_t helper_be_ldw_cmmu(CPUArchState
*env
, target_ulong addr
,
1035 TCGMemOpIdx oi
, uintptr_t retaddr
);
1036 uint32_t helper_be_ldl_cmmu(CPUArchState
*env
, target_ulong addr
,
1037 TCGMemOpIdx oi
, uintptr_t retaddr
);
1038 uint64_t helper_be_ldq_cmmu(CPUArchState
*env
, target_ulong addr
,
1039 TCGMemOpIdx oi
, uintptr_t retaddr
);
1041 /* Temporary aliases until backends are converted. */
1042 #ifdef TARGET_WORDS_BIGENDIAN
1043 # define helper_ret_ldsw_mmu helper_be_ldsw_mmu
1044 # define helper_ret_lduw_mmu helper_be_lduw_mmu
1045 # define helper_ret_ldsl_mmu helper_be_ldsl_mmu
1046 # define helper_ret_ldul_mmu helper_be_ldul_mmu
1047 # define helper_ret_ldl_mmu helper_be_ldul_mmu
1048 # define helper_ret_ldq_mmu helper_be_ldq_mmu
1049 # define helper_ret_stw_mmu helper_be_stw_mmu
1050 # define helper_ret_stl_mmu helper_be_stl_mmu
1051 # define helper_ret_stq_mmu helper_be_stq_mmu
1052 # define helper_ret_ldw_cmmu helper_be_ldw_cmmu
1053 # define helper_ret_ldl_cmmu helper_be_ldl_cmmu
1054 # define helper_ret_ldq_cmmu helper_be_ldq_cmmu
1056 # define helper_ret_ldsw_mmu helper_le_ldsw_mmu
1057 # define helper_ret_lduw_mmu helper_le_lduw_mmu
1058 # define helper_ret_ldsl_mmu helper_le_ldsl_mmu
1059 # define helper_ret_ldul_mmu helper_le_ldul_mmu
1060 # define helper_ret_ldl_mmu helper_le_ldul_mmu
1061 # define helper_ret_ldq_mmu helper_le_ldq_mmu
1062 # define helper_ret_stw_mmu helper_le_stw_mmu
1063 # define helper_ret_stl_mmu helper_le_stl_mmu
1064 # define helper_ret_stq_mmu helper_le_stq_mmu
1065 # define helper_ret_ldw_cmmu helper_le_ldw_cmmu
1066 # define helper_ret_ldl_cmmu helper_le_ldl_cmmu
1067 # define helper_ret_ldq_cmmu helper_le_ldq_cmmu
1070 #endif /* CONFIG_SOFTMMU */