tcg.h 20.6 KB
Newer Older
B
bellard 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
/*
 * Tiny Code Generator for QEMU
 *
 * Copyright (c) 2008 Fabrice Bellard
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 * THE SOFTWARE.
 */
24
#include "qemu-common.h"
25 26 27 28 29 30 31 32 33 34

/* Target word size (must be identical to pointer size). */
#if UINTPTR_MAX == UINT32_MAX
# define TCG_TARGET_REG_BITS 32
#elif UINTPTR_MAX == UINT64_MAX
# define TCG_TARGET_REG_BITS 64
#else
# error Unknown pointer size for tcg target
#endif

B
bellard 已提交
35 36 37 38 39 40 41 42 43 44 45 46 47 48
#if TCG_TARGET_REG_BITS == 32
typedef int32_t tcg_target_long;
typedef uint32_t tcg_target_ulong;
#define TCG_PRIlx PRIx32
#define TCG_PRIld PRId32
#elif TCG_TARGET_REG_BITS == 64
typedef int64_t tcg_target_long;
typedef uint64_t tcg_target_ulong;
#define TCG_PRIlx PRIx64
#define TCG_PRIld PRId64
#else
#error unsupported
#endif

49 50 51
#include "tcg-target.h"
#include "tcg-runtime.h"

B
bellard 已提交
52 53 54 55 56 57 58 59
#if TCG_TARGET_NB_REGS <= 32
typedef uint32_t TCGRegSet;
#elif TCG_TARGET_NB_REGS <= 64
typedef uint64_t TCGRegSet;
#else
#error unsupported
#endif

60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81
/* Turn some undef macros into false macros.  */
#if TCG_TARGET_REG_BITS == 32
#define TCG_TARGET_HAS_div_i64          0
#define TCG_TARGET_HAS_div2_i64         0
#define TCG_TARGET_HAS_rot_i64          0
#define TCG_TARGET_HAS_ext8s_i64        0
#define TCG_TARGET_HAS_ext16s_i64       0
#define TCG_TARGET_HAS_ext32s_i64       0
#define TCG_TARGET_HAS_ext8u_i64        0
#define TCG_TARGET_HAS_ext16u_i64       0
#define TCG_TARGET_HAS_ext32u_i64       0
#define TCG_TARGET_HAS_bswap16_i64      0
#define TCG_TARGET_HAS_bswap32_i64      0
#define TCG_TARGET_HAS_bswap64_i64      0
#define TCG_TARGET_HAS_neg_i64          0
#define TCG_TARGET_HAS_not_i64          0
#define TCG_TARGET_HAS_andc_i64         0
#define TCG_TARGET_HAS_orc_i64          0
#define TCG_TARGET_HAS_eqv_i64          0
#define TCG_TARGET_HAS_nand_i64         0
#define TCG_TARGET_HAS_nor_i64          0
#define TCG_TARGET_HAS_deposit_i64      0
R
Richard Henderson 已提交
82
#define TCG_TARGET_HAS_movcond_i64      0
83 84
#endif

85 86 87 88 89 90 91
#ifndef TCG_TARGET_deposit_i32_valid
#define TCG_TARGET_deposit_i32_valid(ofs, len) 1
#endif
#ifndef TCG_TARGET_deposit_i64_valid
#define TCG_TARGET_deposit_i64_valid(ofs, len) 1
#endif

92 93 94 95 96 97 98 99 100 101 102 103
/* Only one of DIV or DIV2 should be defined.  */
#if defined(TCG_TARGET_HAS_div_i32)
#define TCG_TARGET_HAS_div2_i32         0
#elif defined(TCG_TARGET_HAS_div2_i32)
#define TCG_TARGET_HAS_div_i32          0
#endif
#if defined(TCG_TARGET_HAS_div_i64)
#define TCG_TARGET_HAS_div2_i64         0
#elif defined(TCG_TARGET_HAS_div2_i64)
#define TCG_TARGET_HAS_div_i64          0
#endif

104
typedef enum TCGOpcode {
105
#define DEF(name, oargs, iargs, cargs, flags) INDEX_op_ ## name,
B
bellard 已提交
106 107 108
#include "tcg-opc.h"
#undef DEF
    NB_OPS,
109
} TCGOpcode;
B
bellard 已提交
110 111 112 113

#define tcg_regset_clear(d) (d) = 0
#define tcg_regset_set(d, s) (d) = (s)
#define tcg_regset_set32(d, reg, val32) (d) |= (val32) << (reg)
114 115
#define tcg_regset_set_reg(d, r) (d) |= 1L << (r)
#define tcg_regset_reset_reg(d, r) (d) &= ~(1L << (r))
B
bellard 已提交
116 117 118 119 120 121 122 123 124 125 126 127 128 129
#define tcg_regset_test_reg(d, r) (((d) >> (r)) & 1)
#define tcg_regset_or(d, a, b) (d) = (a) | (b)
#define tcg_regset_and(d, a, b) (d) = (a) & (b)
#define tcg_regset_andnot(d, a, b) (d) = (a) & ~(b)
#define tcg_regset_not(d, a) (d) = ~(a)

typedef struct TCGRelocation {
    struct TCGRelocation *next;
    int type;
    uint8_t *ptr;
    tcg_target_long addend;
} TCGRelocation; 

typedef struct TCGLabel {
130
    int has_value;
B
bellard 已提交
131 132 133 134 135 136 137 138
    union {
        tcg_target_ulong value;
        TCGRelocation *first_reloc;
    } u;
} TCGLabel;

typedef struct TCGPool {
    struct TCGPool *next;
139 140
    int size;
    uint8_t data[0] __attribute__ ((aligned));
B
bellard 已提交
141 142 143 144 145 146
} TCGPool;

#define TCG_POOL_CHUNK_SIZE 32768

#define TCG_MAX_LABELS 512

B
blueswir1 已提交
147
#define TCG_MAX_TEMPS 512
B
bellard 已提交
148

149 150 151 152
/* when the size of the arguments of a called function is smaller than
   this value, they are statically allocated in the TB stack frame */
#define TCG_STATIC_CALL_ARGS_SIZE 128

153 154 155 156
typedef enum TCGType {
    TCG_TYPE_I32,
    TCG_TYPE_I64,
    TCG_TYPE_COUNT, /* number of different types */
B
bellard 已提交
157

158
    /* An alias for the size of the host register.  */
B
bellard 已提交
159
#if TCG_TARGET_REG_BITS == 32
160
    TCG_TYPE_REG = TCG_TYPE_I32,
161
#else
162
    TCG_TYPE_REG = TCG_TYPE_I64,
163
#endif
164 165 166 167 168 169

    /* An alias for the size of the native pointer.  We don't currently
       support any hosts with 64-bit registers and 32-bit pointers.  */
    TCG_TYPE_PTR = TCG_TYPE_REG,

    /* An alias for the size of the target "long", aka register.  */
170 171
#if TARGET_LONG_BITS == 64
    TCG_TYPE_TL = TCG_TYPE_I64,
B
bellard 已提交
172
#else
173
    TCG_TYPE_TL = TCG_TYPE_I32,
B
bellard 已提交
174
#endif
175
} TCGType;
B
bellard 已提交
176 177 178

typedef tcg_target_ulong TCGArg;

179
/* Define a type and accessor macros for variables.  Using a struct is
P
pbrook 已提交
180 181
   nice because it gives some level of type safely.  Ideally the compiler
   be able to see through all this.  However in practice this is not true,
D
Dong Xu Wang 已提交
182
   especially on targets with braindamaged ABIs (e.g. i386).
P
pbrook 已提交
183 184
   We use plain int by default to avoid this runtime overhead.
   Users of tcg_gen_* don't need to know about any of this, and should
P
pbrook 已提交
185
   treat TCGv as an opaque type.
186
   In addition we do typechecking for different types of variables.  TCGv_i32
P
pbrook 已提交
187 188 189
   and TCGv_i64 are 32/64-bit variables respectively.  TCGv and TCGv_ptr
   are aliases for target_ulong and host pointer sized values respectively.
 */
P
pbrook 已提交
190

191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208
#if defined(CONFIG_QEMU_LDST_OPTIMIZATION) && defined(CONFIG_SOFTMMU)
/* Macros/structures for qemu_ld/st IR code optimization:
   TCG_MAX_HELPER_LABELS is defined as same as OPC_BUF_SIZE in exec-all.h. */
#define TCG_MAX_QEMU_LDST       640

typedef struct TCGLabelQemuLdst {
    int is_ld:1;            /* qemu_ld: 1, qemu_st: 0 */
    int opc:4;
    int addrlo_reg;         /* reg index for low word of guest virtual addr */
    int addrhi_reg;         /* reg index for high word of guest virtual addr */
    int datalo_reg;         /* reg index for low word to be loaded or stored */
    int datahi_reg;         /* reg index for high word to be loaded or stored */
    int mem_index;          /* soft MMU memory index */
    uint8_t *raddr;         /* gen code addr of the next IR of qemu_ld/st IR */
    uint8_t *label_ptr[2];  /* label pointers to be updated */
} TCGLabelQemuLdst;
#endif

209
#ifdef CONFIG_DEBUG_TCG
210 211
#define DEBUG_TCGV 1
#endif
P
pbrook 已提交
212 213 214 215 216

#ifdef DEBUG_TCGV

typedef struct
{
B
blueswir1 已提交
217
    int i32;
P
pbrook 已提交
218
} TCGv_i32;
P
pbrook 已提交
219

P
pbrook 已提交
220 221
typedef struct
{
B
blueswir1 已提交
222
    int i64;
P
pbrook 已提交
223 224
} TCGv_i64;

225 226 227 228
typedef struct {
    int iptr;
} TCGv_ptr;

P
pbrook 已提交
229 230 231 232
#define MAKE_TCGV_I32(i) __extension__                  \
    ({ TCGv_i32 make_tcgv_tmp = {i}; make_tcgv_tmp;})
#define MAKE_TCGV_I64(i) __extension__                  \
    ({ TCGv_i64 make_tcgv_tmp = {i}; make_tcgv_tmp;})
233 234
#define MAKE_TCGV_PTR(i) __extension__                  \
    ({ TCGv_ptr make_tcgv_tmp = {i}; make_tcgv_tmp; })
B
blueswir1 已提交
235 236
#define GET_TCGV_I32(t) ((t).i32)
#define GET_TCGV_I64(t) ((t).i64)
237
#define GET_TCGV_PTR(t) ((t).iptr)
P
pbrook 已提交
238
#if TCG_TARGET_REG_BITS == 32
P
pbrook 已提交
239 240
#define TCGV_LOW(t) MAKE_TCGV_I32(GET_TCGV_I64(t))
#define TCGV_HIGH(t) MAKE_TCGV_I32(GET_TCGV_I64(t) + 1)
P
pbrook 已提交
241 242 243 244
#endif

#else /* !DEBUG_TCGV */

P
pbrook 已提交
245 246
typedef int TCGv_i32;
typedef int TCGv_i64;
247 248 249 250 251
#if TCG_TARGET_REG_BITS == 32
#define TCGv_ptr TCGv_i32
#else
#define TCGv_ptr TCGv_i64
#endif
P
pbrook 已提交
252 253
#define MAKE_TCGV_I32(x) (x)
#define MAKE_TCGV_I64(x) (x)
254
#define MAKE_TCGV_PTR(x) (x)
P
pbrook 已提交
255 256
#define GET_TCGV_I32(t) (t)
#define GET_TCGV_I64(t) (t)
257
#define GET_TCGV_PTR(t) (t)
A
aurel32 已提交
258

P
pbrook 已提交
259
#if TCG_TARGET_REG_BITS == 32
P
pbrook 已提交
260
#define TCGV_LOW(t) (t)
P
pbrook 已提交
261 262 263 264 265
#define TCGV_HIGH(t) ((t) + 1)
#endif

#endif /* DEBUG_TCGV */

A
aurel32 已提交
266 267 268
#define TCGV_EQUAL_I32(a, b) (GET_TCGV_I32(a) == GET_TCGV_I32(b))
#define TCGV_EQUAL_I64(a, b) (GET_TCGV_I64(a) == GET_TCGV_I64(b))

P
pbrook 已提交
269
/* Dummy definition to avoid compiler warnings.  */
P
pbrook 已提交
270 271
#define TCGV_UNUSED_I32(x) x = MAKE_TCGV_I32(-1)
#define TCGV_UNUSED_I64(x) x = MAKE_TCGV_I64(-1)
P
pbrook 已提交
272

B
bellard 已提交
273
/* call flags */
A
Aurelien Jarno 已提交
274 275 276 277 278 279 280 281 282 283 284 285 286 287 288
/* Helper does not read globals (either directly or through an exception). It
   implies TCG_CALL_NO_WRITE_GLOBALS. */
#define TCG_CALL_NO_READ_GLOBALS    0x0010
/* Helper does not write globals */
#define TCG_CALL_NO_WRITE_GLOBALS   0x0020
/* Helper can be safely suppressed if the return value is not used. */
#define TCG_CALL_NO_SIDE_EFFECTS    0x0040

/* convenience version of most used call flags */
#define TCG_CALL_NO_RWG         TCG_CALL_NO_READ_GLOBALS
#define TCG_CALL_NO_WG          TCG_CALL_NO_WRITE_GLOBALS
#define TCG_CALL_NO_SE          TCG_CALL_NO_SIDE_EFFECTS
#define TCG_CALL_NO_RWG_SE      (TCG_CALL_NO_RWG | TCG_CALL_NO_SE)
#define TCG_CALL_NO_WG_SE       (TCG_CALL_NO_WG | TCG_CALL_NO_SE)

B
bellard 已提交
289
/* used to align parameters */
P
pbrook 已提交
290
#define TCG_CALL_DUMMY_TCGV     MAKE_TCGV_I32(-1)
B
bellard 已提交
291 292
#define TCG_CALL_DUMMY_ARG      ((TCGArg)(-1))

293 294
/* Conditions.  Note that these are laid out for easy manipulation by
   the functions below:
295 296 297 298
     bit 0 is used for inverting;
     bit 1 is signed,
     bit 2 is unsigned,
     bit 3 is used with bit 0 for swapping signed/unsigned.  */
B
bellard 已提交
299
typedef enum {
300 301 302 303 304 305 306 307 308 309
    /* non-signed */
    TCG_COND_NEVER  = 0 | 0 | 0 | 0,
    TCG_COND_ALWAYS = 0 | 0 | 0 | 1,
    TCG_COND_EQ     = 8 | 0 | 0 | 0,
    TCG_COND_NE     = 8 | 0 | 0 | 1,
    /* signed */
    TCG_COND_LT     = 0 | 0 | 2 | 0,
    TCG_COND_GE     = 0 | 0 | 2 | 1,
    TCG_COND_LE     = 8 | 0 | 2 | 0,
    TCG_COND_GT     = 8 | 0 | 2 | 1,
B
bellard 已提交
310
    /* unsigned */
311 312 313 314
    TCG_COND_LTU    = 0 | 4 | 0 | 0,
    TCG_COND_GEU    = 0 | 4 | 0 | 1,
    TCG_COND_LEU    = 8 | 4 | 0 | 0,
    TCG_COND_GTU    = 8 | 4 | 0 | 1,
B
bellard 已提交
315 316
} TCGCond;

R
Richard Henderson 已提交
317
/* Invert the sense of the comparison.  */
R
Richard Henderson 已提交
318 319 320 321 322
static inline TCGCond tcg_invert_cond(TCGCond c)
{
    return (TCGCond)(c ^ 1);
}

R
Richard Henderson 已提交
323 324 325
/* Swap the operands in a comparison.  */
static inline TCGCond tcg_swap_cond(TCGCond c)
{
326
    return c & 6 ? (TCGCond)(c ^ 9) : c;
R
Richard Henderson 已提交
327 328
}

R
Richard Henderson 已提交
329
/* Create an "unsigned" version of a "signed" comparison.  */
R
Richard Henderson 已提交
330 331
static inline TCGCond tcg_unsigned_cond(TCGCond c)
{
332
    return c & 2 ? (TCGCond)(c ^ 6) : c;
R
Richard Henderson 已提交
333 334
}

R
Richard Henderson 已提交
335
/* Must a comparison be considered unsigned?  */
R
Richard Henderson 已提交
336 337
static inline bool is_unsigned_cond(TCGCond c)
{
338
    return (c & 4) != 0;
R
Richard Henderson 已提交
339 340
}

R
Richard Henderson 已提交
341 342 343 344 345 346 347 348 349 350 351 352 353 354 355
/* Create a "high" version of a double-word comparison.
   This removes equality from a LTE or GTE comparison.  */
static inline TCGCond tcg_high_cond(TCGCond c)
{
    switch (c) {
    case TCG_COND_GE:
    case TCG_COND_LE:
    case TCG_COND_GEU:
    case TCG_COND_LEU:
        return (TCGCond)(c ^ 8);
    default:
        return c;
    }
}

B
bellard 已提交
356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372
#define TEMP_VAL_DEAD  0
#define TEMP_VAL_REG   1
#define TEMP_VAL_MEM   2
#define TEMP_VAL_CONST 3

/* XXX: optimize memory layout */
typedef struct TCGTemp {
    TCGType base_type;
    TCGType type;
    int val_type;
    int reg;
    tcg_target_long val;
    int mem_reg;
    tcg_target_long mem_offset;
    unsigned int fixed_reg:1;
    unsigned int mem_coherent:1;
    unsigned int mem_allocated:1;
373
    unsigned int temp_local:1; /* If true, the temp is saved across
B
bellard 已提交
374
                                  basic blocks. Otherwise, it is not
375
                                  preserved across basic blocks. */
376 377 378
    unsigned int temp_allocated:1; /* never used for code gen */
    /* index of next free temp of same base type, -1 if end */
    int next_free_temp;
B
bellard 已提交
379 380 381 382
    const char *name;
} TCGTemp;

typedef struct TCGHelperInfo {
B
bellard 已提交
383
    tcg_target_ulong func;
B
bellard 已提交
384 385 386 387 388 389 390
    const char *name;
} TCGHelperInfo;

typedef struct TCGContext TCGContext;

struct TCGContext {
    uint8_t *pool_cur, *pool_end;
391
    TCGPool *pool_first, *pool_current, *pool_first_large;
B
bellard 已提交
392 393 394 395
    TCGLabel *labels;
    int nb_labels;
    int nb_globals;
    int nb_temps;
B
bellard 已提交
396 397
    /* index of free temps, -1 if none */
    int first_free_temp[TCG_TYPE_COUNT * 2]; 
B
bellard 已提交
398 399 400

    /* goto_tb support */
    uint8_t *code_buf;
R
Richard Henderson 已提交
401
    uintptr_t *tb_next;
B
bellard 已提交
402 403 404
    uint16_t *tb_next_offset;
    uint16_t *tb_jmp_offset; /* != NULL if USE_DIRECT_JUMP */

B
bellard 已提交
405
    /* liveness analysis */
406 407
    uint16_t *op_dead_args; /* for each operation, each bit tells if the
                               corresponding argument is dead */
408 409 410
    uint8_t *op_sync_args;  /* for each operation, each bit tells if the
                               corresponding output argument needs to be
                               sync to memory. */
B
bellard 已提交
411
    
B
bellard 已提交
412 413 414 415 416 417 418 419 420 421
    /* tells in which temporary a given register is. It does not take
       into account fixed registers */
    int reg_to_temp[TCG_TARGET_NB_REGS];
    TCGRegSet reserved_regs;
    tcg_target_long current_frame_offset;
    tcg_target_long frame_start;
    tcg_target_long frame_end;
    int frame_reg;

    uint8_t *code_ptr;
422
    TCGTemp temps[TCG_MAX_TEMPS]; /* globals first, temps after */
B
bellard 已提交
423 424 425 426

    TCGHelperInfo *helpers;
    int nb_helpers;
    int allocated_helpers;
427
    int helpers_sorted;
B
bellard 已提交
428 429 430 431 432 433 434 435 436 437 438 439 440 441 442

#ifdef CONFIG_PROFILER
    /* profiling info */
    int64_t tb_count1;
    int64_t tb_count;
    int64_t op_count; /* total insn count */
    int op_count_max; /* max insn per TB */
    int64_t temp_count;
    int temp_count_max;
    int64_t del_op_count;
    int64_t code_in_len;
    int64_t code_out_len;
    int64_t interm_time;
    int64_t code_time;
    int64_t la_time;
A
Aurelien Jarno 已提交
443
    int64_t opt_time;
B
bellard 已提交
444 445 446
    int64_t restore_count;
    int64_t restore_time;
#endif
447 448 449

#ifdef CONFIG_DEBUG_TCG
    int temps_in_use;
450
    int goto_tb_issue_mask;
451
#endif
452

453 454 455 456 457
    uint16_t gen_opc_buf[OPC_BUF_SIZE];
    TCGArg gen_opparam_buf[OPPARAM_BUF_SIZE];

    uint16_t *gen_opc_ptr;
    TCGArg *gen_opparam_ptr;
458 459 460
    target_ulong gen_opc_pc[OPC_BUF_SIZE];
    uint16_t gen_opc_icount[OPC_BUF_SIZE];
    uint8_t gen_opc_instr_start[OPC_BUF_SIZE];
461

462 463 464 465 466 467
#if defined(CONFIG_QEMU_LDST_OPTIMIZATION) && defined(CONFIG_SOFTMMU)
    /* labels info for qemu_ld/st IRs
       The labels help to generate TLB miss case codes at the end of TB */
    TCGLabelQemuLdst *qemu_ldst_labels;
    int nb_qemu_ldst_labels;
#endif
B
bellard 已提交
468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493
};

extern TCGContext tcg_ctx;

/* pool based memory allocation */

void *tcg_malloc_internal(TCGContext *s, int size);
void tcg_pool_reset(TCGContext *s);
void tcg_pool_delete(TCGContext *s);

static inline void *tcg_malloc(int size)
{
    TCGContext *s = &tcg_ctx;
    uint8_t *ptr, *ptr_end;
    size = (size + sizeof(long) - 1) & ~(sizeof(long) - 1);
    ptr = s->pool_cur;
    ptr_end = ptr + size;
    if (unlikely(ptr_end > s->pool_end)) {
        return tcg_malloc_internal(&tcg_ctx, size);
    } else {
        s->pool_cur = ptr_end;
        return ptr;
    }
}

void tcg_context_init(TCGContext *s);
494
void tcg_prologue_init(TCGContext *s);
B
bellard 已提交
495 496
void tcg_func_start(TCGContext *s);

A
aurel32 已提交
497 498
int tcg_gen_code(TCGContext *s, uint8_t *gen_code_buf);
int tcg_gen_code_search_pc(TCGContext *s, uint8_t *gen_code_buf, long offset);
B
bellard 已提交
499 500 501

void tcg_set_frame(TCGContext *s, int reg,
                   tcg_target_long start, tcg_target_long size);
P
pbrook 已提交
502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522

TCGv_i32 tcg_global_reg_new_i32(int reg, const char *name);
TCGv_i32 tcg_global_mem_new_i32(int reg, tcg_target_long offset,
                                const char *name);
TCGv_i32 tcg_temp_new_internal_i32(int temp_local);
static inline TCGv_i32 tcg_temp_new_i32(void)
{
    return tcg_temp_new_internal_i32(0);
}
static inline TCGv_i32 tcg_temp_local_new_i32(void)
{
    return tcg_temp_new_internal_i32(1);
}
void tcg_temp_free_i32(TCGv_i32 arg);
char *tcg_get_arg_str_i32(TCGContext *s, char *buf, int buf_size, TCGv_i32 arg);

TCGv_i64 tcg_global_reg_new_i64(int reg, const char *name);
TCGv_i64 tcg_global_mem_new_i64(int reg, tcg_target_long offset,
                                const char *name);
TCGv_i64 tcg_temp_new_internal_i64(int temp_local);
static inline TCGv_i64 tcg_temp_new_i64(void)
B
bellard 已提交
523
{
P
pbrook 已提交
524
    return tcg_temp_new_internal_i64(0);
B
bellard 已提交
525
}
P
pbrook 已提交
526
static inline TCGv_i64 tcg_temp_local_new_i64(void)
B
bellard 已提交
527
{
P
pbrook 已提交
528
    return tcg_temp_new_internal_i64(1);
B
bellard 已提交
529
}
P
pbrook 已提交
530 531 532
void tcg_temp_free_i64(TCGv_i64 arg);
char *tcg_get_arg_str_i64(TCGContext *s, char *buf, int buf_size, TCGv_i64 arg);

533 534 535 536 537 538 539 540 541 542 543 544 545
#if defined(CONFIG_DEBUG_TCG)
/* If you call tcg_clear_temp_count() at the start of a section of
 * code which is not supposed to leak any TCG temporaries, then
 * calling tcg_check_temp_count() at the end of the section will
 * return 1 if the section did in fact leak a temporary.
 */
void tcg_clear_temp_count(void);
int tcg_check_temp_count(void);
#else
#define tcg_clear_temp_count() do { } while (0)
#define tcg_check_temp_count() 0
#endif

546
void tcg_dump_info(FILE *f, fprintf_function cpu_fprintf);
B
bellard 已提交
547 548 549 550 551 552 553

#define TCG_CT_ALIAS  0x80
#define TCG_CT_IALIAS 0x40
#define TCG_CT_REG    0x01
#define TCG_CT_CONST  0x02 /* any constant of register size */

typedef struct TCGArgConstraint {
554 555
    uint16_t ct;
    uint8_t alias_index;
B
bellard 已提交
556 557 558 559 560 561 562
    union {
        TCGRegSet regs;
    } u;
} TCGArgConstraint;

#define TCG_MAX_OP_ARGS 16

563 564 565 566 567 568
/* Bits for TCGOpDef->flags, 8 bits available.  */
enum {
    /* Instruction defines the end of a basic block.  */
    TCG_OPF_BB_END       = 0x01,
    /* Instruction clobbers call registers and potentially update globals.  */
    TCG_OPF_CALL_CLOBBER = 0x02,
569 570
    /* Instruction has side effects: it cannot be removed if its outputs
       are not used, and might trigger exceptions.  */
571 572 573
    TCG_OPF_SIDE_EFFECTS = 0x04,
    /* Instruction operands are 64-bits (otherwise 32-bits).  */
    TCG_OPF_64BIT        = 0x08,
574 575
    /* Instruction is optional and not implemented by the host.  */
    TCG_OPF_NOT_PRESENT  = 0x10,
576
};
B
bellard 已提交
577 578 579 580 581 582 583

typedef struct TCGOpDef {
    const char *name;
    uint8_t nb_oargs, nb_iargs, nb_cargs, nb_args;
    uint8_t flags;
    TCGArgConstraint *args_ct;
    int *sorted_args;
584 585 586
#if defined(CONFIG_DEBUG_TCG)
    int used;
#endif
B
bellard 已提交
587
} TCGOpDef;
588 589

extern TCGOpDef tcg_op_defs[];
590 591
extern const size_t tcg_op_defs_max;

B
bellard 已提交
592
typedef struct TCGTargetOpDef {
593
    TCGOpcode op;
B
bellard 已提交
594 595 596 597 598 599 600 601 602
    const char *args_ct_str[TCG_MAX_OP_ARGS];
} TCGTargetOpDef;

#define tcg_abort() \
do {\
    fprintf(stderr, "%s:%d: tcg fatal error\n", __FILE__, __LINE__);\
    abort();\
} while (0)

R
Richard Henderson 已提交
603 604 605 606 607 608 609 610 611
#ifdef CONFIG_DEBUG_TCG
# define tcg_debug_assert(X) do { assert(X); } while (0)
#elif QEMU_GNUC_PREREQ(4, 5)
# define tcg_debug_assert(X) \
    do { if (!(X)) { __builtin_unreachable(); } } while (0)
#else
# define tcg_debug_assert(X) do { (void)(X); } while (0)
#endif

B
bellard 已提交
612 613 614
void tcg_add_target_add_op_defs(const TCGTargetOpDef *tdefs);

#if TCG_TARGET_REG_BITS == 32
615 616 617
#define TCGV_NAT_TO_PTR(n) MAKE_TCGV_PTR(GET_TCGV_I32(n))
#define TCGV_PTR_TO_NAT(n) MAKE_TCGV_I32(GET_TCGV_PTR(n))

618
#define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i32((tcg_target_long)(V)))
619 620 621 622 623 624
#define tcg_global_reg_new_ptr(R, N) \
    TCGV_NAT_TO_PTR(tcg_global_reg_new_i32((R), (N)))
#define tcg_global_mem_new_ptr(R, O, N) \
    TCGV_NAT_TO_PTR(tcg_global_mem_new_i32((R), (O), (N)))
#define tcg_temp_new_ptr() TCGV_NAT_TO_PTR(tcg_temp_new_i32())
#define tcg_temp_free_ptr(T) tcg_temp_free_i32(TCGV_PTR_TO_NAT(T))
B
bellard 已提交
625
#else
626 627 628
#define TCGV_NAT_TO_PTR(n) MAKE_TCGV_PTR(GET_TCGV_I64(n))
#define TCGV_PTR_TO_NAT(n) MAKE_TCGV_I64(GET_TCGV_PTR(n))

629
#define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i64((tcg_target_long)(V)))
630 631 632 633 634 635
#define tcg_global_reg_new_ptr(R, N) \
    TCGV_NAT_TO_PTR(tcg_global_reg_new_i64((R), (N)))
#define tcg_global_mem_new_ptr(R, O, N) \
    TCGV_NAT_TO_PTR(tcg_global_mem_new_i64((R), (O), (N)))
#define tcg_temp_new_ptr() TCGV_NAT_TO_PTR(tcg_temp_new_i64())
#define tcg_temp_free_ptr(T) tcg_temp_free_i64(TCGV_PTR_TO_NAT(T))
B
bellard 已提交
636 637
#endif

P
pbrook 已提交
638 639 640 641 642 643
void tcg_gen_callN(TCGContext *s, TCGv_ptr func, unsigned int flags,
                   int sizemask, TCGArg ret, int nargs, TCGArg *args);

void tcg_gen_shifti_i64(TCGv_i64 ret, TCGv_i64 arg1,
                        int c, int right, int arith);

K
Kirill Batuzov 已提交
644 645 646
TCGArg *tcg_optimize(TCGContext *s, uint16_t *tcg_opc_ptr, TCGArg *args,
                     TCGOpDef *tcg_op_def);

P
pbrook 已提交
647 648 649
/* only used for debugging purposes */
void tcg_register_helper(void *func, const char *name);
const char *tcg_helper_get_name(TCGContext *s, void *func);
B
Blue Swirl 已提交
650
void tcg_dump_ops(TCGContext *s);
P
pbrook 已提交
651 652 653 654 655 656 657

void dump_ops(const uint16_t *opc_buf, const TCGArg *opparam_buf);
TCGv_i32 tcg_const_i32(int32_t val);
TCGv_i64 tcg_const_i64(int64_t val);
TCGv_i32 tcg_const_local_i32(int32_t val);
TCGv_i64 tcg_const_local_i64(int64_t val);

658
extern uint8_t *code_gen_prologue;
659 660 661 662

/* TCG targets may use a different definition of tcg_qemu_tb_exec. */
#if !defined(tcg_qemu_tb_exec)
# define tcg_qemu_tb_exec(env, tb_ptr) \
B
Blue Swirl 已提交
663
    ((tcg_target_ulong (*)(void *, void *))code_gen_prologue)(env, tb_ptr)
B
bellard 已提交
664
#endif
665 666

void tcg_register_jit(void *buf, size_t buf_size);
667 668 669 670 671

#if defined(CONFIG_QEMU_LDST_OPTIMIZATION) && defined(CONFIG_SOFTMMU)
/* Generate TB finalization at the end of block */
void tcg_out_tb_finalize(TCGContext *s);
#endif