]> git.proxmox.com Git - qemu.git/blame - tcg/tcg.h
hw/i386/Makefile.obj: use $(PYTHON) to run .py scripts consistently
[qemu.git] / tcg / tcg.h
CommitLineData
c896fe29
FB
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 */
e58eb534
RH
24
25#ifndef TCG_H
26#define TCG_H
27
f8393946 28#include "qemu-common.h"
817b838e 29
78cd7b83
RH
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
817b838e
SW
41#endif
42
c896fe29
FB
43#if TCG_TARGET_REG_BITS == 32
44typedef int32_t tcg_target_long;
45typedef uint32_t tcg_target_ulong;
46#define TCG_PRIlx PRIx32
47#define TCG_PRIld PRId32
48#elif TCG_TARGET_REG_BITS == 64
49typedef int64_t tcg_target_long;
50typedef uint64_t tcg_target_ulong;
51#define TCG_PRIlx PRIx64
52#define TCG_PRIld PRId64
53#else
54#error unsupported
55#endif
56
c38bb94a
SW
57#include "tcg-runtime.h"
58
c896fe29
FB
59#if TCG_TARGET_NB_REGS <= 32
60typedef uint32_t TCGRegSet;
61#elif TCG_TARGET_NB_REGS <= 64
62typedef uint64_t TCGRegSet;
63#else
64#error unsupported
65#endif
66
25c4d9cc 67#if TCG_TARGET_REG_BITS == 32
e6a72734 68/* Turn some undef macros into false macros. */
25c4d9cc 69#define TCG_TARGET_HAS_div_i64 0
ca675f46 70#define TCG_TARGET_HAS_rem_i64 0
25c4d9cc
RH
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
ffc5ea09 90#define TCG_TARGET_HAS_movcond_i64 0
d7156f7c
RH
91#define TCG_TARGET_HAS_add2_i64 0
92#define TCG_TARGET_HAS_sub2_i64 0
93#define TCG_TARGET_HAS_mulu2_i64 0
4d3203fd 94#define TCG_TARGET_HAS_muls2_i64 0
03271524
RH
95#define TCG_TARGET_HAS_muluh_i64 0
96#define TCG_TARGET_HAS_mulsh_i64 0
e6a72734
RH
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
25c4d9cc
RH
101#endif
102
a4773324
JK
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
25c4d9cc
RH
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
ca675f46 115#define TCG_TARGET_HAS_rem_i32 0
25c4d9cc
RH
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
ca675f46 121#define TCG_TARGET_HAS_rem_i64 0
25c4d9cc
RH
122#endif
123
a9751609 124typedef enum TCGOpcode {
c61aaf7a 125#define DEF(name, oargs, iargs, cargs, flags) INDEX_op_ ## name,
c896fe29
FB
126#include "tcg-opc.h"
127#undef DEF
128 NB_OPS,
a9751609 129} TCGOpcode;
c896fe29
FB
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)
7d301752
AJ
134#define tcg_regset_set_reg(d, r) (d) |= 1L << (r)
135#define tcg_regset_reset_reg(d, r) (d) &= ~(1L << (r))
c896fe29
FB
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
142typedef struct TCGRelocation {
143 struct TCGRelocation *next;
144 int type;
145 uint8_t *ptr;
2ba7fae2 146 intptr_t addend;
c896fe29
FB
147} TCGRelocation;
148
149typedef struct TCGLabel {
c44f945a 150 int has_value;
c896fe29 151 union {
2ba7fae2 152 uintptr_t value;
c896fe29
FB
153 TCGRelocation *first_reloc;
154 } u;
155} TCGLabel;
156
157typedef struct TCGPool {
158 struct TCGPool *next;
c44f945a
BS
159 int size;
160 uint8_t data[0] __attribute__ ((aligned));
c896fe29
FB
161} TCGPool;
162
163#define TCG_POOL_CHUNK_SIZE 32768
164
165#define TCG_MAX_LABELS 512
166
c4071c90 167#define TCG_MAX_TEMPS 512
c896fe29 168
b03cce8e
FB
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
c02244a5
RH
173typedef enum TCGType {
174 TCG_TYPE_I32,
175 TCG_TYPE_I64,
176 TCG_TYPE_COUNT, /* number of different types */
c896fe29 177
3b6dac34 178 /* An alias for the size of the host register. */
c896fe29 179#if TCG_TARGET_REG_BITS == 32
3b6dac34 180 TCG_TYPE_REG = TCG_TYPE_I32,
c02244a5 181#else
3b6dac34 182 TCG_TYPE_REG = TCG_TYPE_I64,
c02244a5 183#endif
3b6dac34 184
d289837e
RH
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
3b6dac34
RH
191
192 /* An alias for the size of the target "long", aka register. */
c02244a5
RH
193#if TARGET_LONG_BITS == 64
194 TCG_TYPE_TL = TCG_TYPE_I64,
c896fe29 195#else
c02244a5 196 TCG_TYPE_TL = TCG_TYPE_I32,
c896fe29 197#endif
c02244a5 198} TCGType;
c896fe29 199
6c5f4ead
RH
200/* Constants for qemu_ld and qemu_st for the Memory Operation field. */
201typedef 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
c896fe29
FB
254typedef tcg_target_ulong TCGArg;
255
8ef935b2 256/* Define a type and accessor macros for variables. Using a struct is
ac56dd48
PB
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,
9814dd27 259 especially on targets with braindamaged ABIs (e.g. i386).
ac56dd48
PB
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
a7812ae4 262 treat TCGv as an opaque type.
06ea77bc 263 In addition we do typechecking for different types of variables. TCGv_i32
a7812ae4
PB
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 */
ac56dd48 267
092c73ee 268#ifdef CONFIG_DEBUG_TCG
f8393946
AJ
269#define DEBUG_TCGV 1
270#endif
ac56dd48
PB
271
272#ifdef DEBUG_TCGV
273
274typedef struct
275{
a810a2de 276 int i32;
a7812ae4 277} TCGv_i32;
ac56dd48 278
a7812ae4
PB
279typedef struct
280{
a810a2de 281 int i64;
a7812ae4
PB
282} TCGv_i64;
283
ebecf363
PM
284typedef struct {
285 int iptr;
286} TCGv_ptr;
287
a7812ae4
PB
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;})
ebecf363
PM
292#define MAKE_TCGV_PTR(i) __extension__ \
293 ({ TCGv_ptr make_tcgv_tmp = {i}; make_tcgv_tmp; })
a810a2de
BS
294#define GET_TCGV_I32(t) ((t).i32)
295#define GET_TCGV_I64(t) ((t).i64)
ebecf363 296#define GET_TCGV_PTR(t) ((t).iptr)
ac56dd48 297#if TCG_TARGET_REG_BITS == 32
a7812ae4
PB
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)
ac56dd48
PB
300#endif
301
302#else /* !DEBUG_TCGV */
303
a7812ae4
PB
304typedef int TCGv_i32;
305typedef int TCGv_i64;
ebecf363
PM
306#if TCG_TARGET_REG_BITS == 32
307#define TCGv_ptr TCGv_i32
308#else
309#define TCGv_ptr TCGv_i64
310#endif
a7812ae4
PB
311#define MAKE_TCGV_I32(x) (x)
312#define MAKE_TCGV_I64(x) (x)
ebecf363 313#define MAKE_TCGV_PTR(x) (x)
a7812ae4
PB
314#define GET_TCGV_I32(t) (t)
315#define GET_TCGV_I64(t) (t)
ebecf363 316#define GET_TCGV_PTR(t) (t)
44e6acb0 317
ac56dd48 318#if TCG_TARGET_REG_BITS == 32
a7812ae4 319#define TCGV_LOW(t) (t)
ac56dd48
PB
320#define TCGV_HIGH(t) ((t) + 1)
321#endif
322
323#endif /* DEBUG_TCGV */
324
43e860ef
AJ
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
a50f5b91 328/* Dummy definition to avoid compiler warnings. */
a7812ae4
PB
329#define TCGV_UNUSED_I32(x) x = MAKE_TCGV_I32(-1)
330#define TCGV_UNUSED_I64(x) x = MAKE_TCGV_I64(-1)
a50f5b91 331
afcb92be
RH
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
c896fe29 335/* call flags */
78505279
AJ
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
39cf05d3 351/* used to align parameters */
a7812ae4 352#define TCG_CALL_DUMMY_TCGV MAKE_TCGV_I32(-1)
39cf05d3
FB
353#define TCG_CALL_DUMMY_ARG ((TCGArg)(-1))
354
a93cf9df
SW
355/* Conditions. Note that these are laid out for easy manipulation by
356 the functions below:
0aed257f
RH
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. */
c896fe29 361typedef enum {
0aed257f
RH
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,
c896fe29 372 /* unsigned */
0aed257f
RH
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,
c896fe29
FB
377} TCGCond;
378
1c086220 379/* Invert the sense of the comparison. */
401d466d
RH
380static inline TCGCond tcg_invert_cond(TCGCond c)
381{
382 return (TCGCond)(c ^ 1);
383}
384
1c086220
RH
385/* Swap the operands in a comparison. */
386static inline TCGCond tcg_swap_cond(TCGCond c)
387{
0aed257f 388 return c & 6 ? (TCGCond)(c ^ 9) : c;
1c086220
RH
389}
390
d1e321b8 391/* Create an "unsigned" version of a "signed" comparison. */
ff44c2f3
RH
392static inline TCGCond tcg_unsigned_cond(TCGCond c)
393{
0aed257f 394 return c & 2 ? (TCGCond)(c ^ 6) : c;
ff44c2f3
RH
395}
396
d1e321b8 397/* Must a comparison be considered unsigned? */
bcc66562
RH
398static inline bool is_unsigned_cond(TCGCond c)
399{
0aed257f 400 return (c & 4) != 0;
bcc66562
RH
401}
402
d1e321b8
RH
403/* Create a "high" version of a double-word comparison.
404 This removes equality from a LTE or GTE comparison. */
405static 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
c896fe29
FB
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 */
424typedef 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;
2f2f244d 431 intptr_t mem_offset;
c896fe29
FB
432 unsigned int fixed_reg:1;
433 unsigned int mem_coherent:1;
434 unsigned int mem_allocated:1;
5225d669 435 unsigned int temp_local:1; /* If true, the temp is saved across
641d5fbe 436 basic blocks. Otherwise, it is not
5225d669 437 preserved across basic blocks. */
e8996ee0
FB
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;
c896fe29
FB
441 const char *name;
442} TCGTemp;
443
c896fe29
FB
444typedef struct TCGContext TCGContext;
445
c896fe29
FB
446struct TCGContext {
447 uint8_t *pool_cur, *pool_end;
4055299e 448 TCGPool *pool_first, *pool_current, *pool_first_large;
c896fe29
FB
449 TCGLabel *labels;
450 int nb_labels;
c896fe29
FB
451 int nb_globals;
452 int nb_temps;
641d5fbe
FB
453 /* index of free temps, -1 if none */
454 int first_free_temp[TCG_TYPE_COUNT * 2];
c896fe29
FB
455
456 /* goto_tb support */
457 uint8_t *code_buf;
fe7e1d3e 458 uintptr_t *tb_next;
c896fe29
FB
459 uint16_t *tb_next_offset;
460 uint16_t *tb_jmp_offset; /* != NULL if USE_DIRECT_JUMP */
461
641d5fbe 462 /* liveness analysis */
866cb6cb
AJ
463 uint16_t *op_dead_args; /* for each operation, each bit tells if the
464 corresponding argument is dead */
ec7a869d
AJ
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. */
641d5fbe 468
c896fe29
FB
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;
e2c6d1b4
RH
473 intptr_t current_frame_offset;
474 intptr_t frame_start;
475 intptr_t frame_end;
c896fe29
FB
476 int frame_reg;
477
478 uint8_t *code_ptr;
d8382011 479 TCGTemp temps[TCG_MAX_TEMPS]; /* globals first, temps after */
c896fe29 480
6e085f72 481 GHashTable *helpers;
a23a9ec6
FB
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;
a23a9ec6
FB
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;
c5cc28ff 497 int64_t opt_time;
a23a9ec6
FB
498 int64_t restore_count;
499 int64_t restore_time;
500#endif
27bfd83c
PM
501
502#ifdef CONFIG_DEBUG_TCG
503 int temps_in_use;
0a209d4b 504 int goto_tb_issue_mask;
27bfd83c 505#endif
b76f0d8c 506
8232a46a
EV
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;
c3a43607
EV
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];
8232a46a 515
0b0d3320
EV
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
5e5f07e0
EV
525 TBContext tb_ctx;
526
9ecefc84
RH
527 /* The TCGBackendData structure is private to tcg-target.c. */
528 struct TCGBackendData *be;
c896fe29
FB
529};
530
531extern TCGContext tcg_ctx;
c896fe29
FB
532
533/* pool based memory allocation */
534
535void *tcg_malloc_internal(TCGContext *s, int size);
536void tcg_pool_reset(TCGContext *s);
537void tcg_pool_delete(TCGContext *s);
538
539static 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
554void tcg_context_init(TCGContext *s);
9002ec79 555void tcg_prologue_init(TCGContext *s);
c896fe29
FB
556void tcg_func_start(TCGContext *s);
557
54604f74
AJ
558int tcg_gen_code(TCGContext *s, uint8_t *gen_code_buf);
559int tcg_gen_code_search_pc(TCGContext *s, uint8_t *gen_code_buf, long offset);
c896fe29 560
e2c6d1b4 561void tcg_set_frame(TCGContext *s, int reg, intptr_t start, intptr_t size);
a7812ae4
PB
562
563TCGv_i32 tcg_global_reg_new_i32(int reg, const char *name);
2f2f244d 564TCGv_i32 tcg_global_mem_new_i32(int reg, intptr_t offset, const char *name);
a7812ae4
PB
565TCGv_i32 tcg_temp_new_internal_i32(int temp_local);
566static inline TCGv_i32 tcg_temp_new_i32(void)
567{
568 return tcg_temp_new_internal_i32(0);
569}
570static inline TCGv_i32 tcg_temp_local_new_i32(void)
571{
572 return tcg_temp_new_internal_i32(1);
573}
574void tcg_temp_free_i32(TCGv_i32 arg);
575char *tcg_get_arg_str_i32(TCGContext *s, char *buf, int buf_size, TCGv_i32 arg);
576
577TCGv_i64 tcg_global_reg_new_i64(int reg, const char *name);
2f2f244d 578TCGv_i64 tcg_global_mem_new_i64(int reg, intptr_t offset, const char *name);
a7812ae4
PB
579TCGv_i64 tcg_temp_new_internal_i64(int temp_local);
580static inline TCGv_i64 tcg_temp_new_i64(void)
641d5fbe 581{
a7812ae4 582 return tcg_temp_new_internal_i64(0);
641d5fbe 583}
a7812ae4 584static inline TCGv_i64 tcg_temp_local_new_i64(void)
641d5fbe 585{
a7812ae4 586 return tcg_temp_new_internal_i64(1);
641d5fbe 587}
a7812ae4
PB
588void tcg_temp_free_i64(TCGv_i64 arg);
589char *tcg_get_arg_str_i64(TCGContext *s, char *buf, int buf_size, TCGv_i64 arg);
590
27bfd83c
PM
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 */
597void tcg_clear_temp_count(void);
598int 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
405cf9ff 604void tcg_dump_info(FILE *f, fprintf_function cpu_fprintf);
c896fe29
FB
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
611typedef struct TCGArgConstraint {
5ff9d6a4
FB
612 uint16_t ct;
613 uint8_t alias_index;
c896fe29
FB
614 union {
615 TCGRegSet regs;
616 } u;
617} TCGArgConstraint;
618
619#define TCG_MAX_OP_ARGS 16
620
8399ad59
RH
621/* Bits for TCGOpDef->flags, 8 bits available. */
622enum {
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,
3d5c5f87
AJ
627 /* Instruction has side effects: it cannot be removed if its outputs
628 are not used, and might trigger exceptions. */
8399ad59
RH
629 TCG_OPF_SIDE_EFFECTS = 0x04,
630 /* Instruction operands are 64-bits (otherwise 32-bits). */
631 TCG_OPF_64BIT = 0x08,
c1a61f6c
RH
632 /* Instruction is optional and not implemented by the host, or insn
633 is generic and should not be implemened by the host. */
25c4d9cc 634 TCG_OPF_NOT_PRESENT = 0x10,
8399ad59 635};
c896fe29
FB
636
637typedef struct TCGOpDef {
638 const char *name;
639 uint8_t nb_oargs, nb_iargs, nb_cargs, nb_args;
640 uint8_t flags;
c896fe29
FB
641 TCGArgConstraint *args_ct;
642 int *sorted_args;
c68aaa18
SW
643#if defined(CONFIG_DEBUG_TCG)
644 int used;
645#endif
c896fe29 646} TCGOpDef;
8399ad59
RH
647
648extern TCGOpDef tcg_op_defs[];
2a24374a
SW
649extern const size_t tcg_op_defs_max;
650
c896fe29 651typedef struct TCGTargetOpDef {
a9751609 652 TCGOpcode op;
c896fe29
FB
653 const char *args_ct_str[TCG_MAX_OP_ARGS];
654} TCGTargetOpDef;
655
c896fe29
FB
656#define tcg_abort() \
657do {\
658 fprintf(stderr, "%s:%d: tcg fatal error\n", __FILE__, __LINE__);\
659 abort();\
660} while (0)
661
c552d6c0
RH
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
c896fe29
FB
671void tcg_add_target_add_op_defs(const TCGTargetOpDef *tdefs);
672
8b73d49f 673#if UINTPTR_MAX == UINT32_MAX
ebecf363
PM
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
8b73d49f 677#define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i32((intptr_t)(V)))
ebecf363
PM
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))
c896fe29 684#else
ebecf363
PM
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
8b73d49f 688#define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i64((intptr_t)(V)))
ebecf363
PM
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))
c896fe29
FB
695#endif
696
a7812ae4
PB
697void tcg_gen_callN(TCGContext *s, TCGv_ptr func, unsigned int flags,
698 int sizemask, TCGArg ret, int nargs, TCGArg *args);
699
700void tcg_gen_shifti_i64(TCGv_i64 ret, TCGv_i64 arg1,
701 int c, int right, int arith);
702
8f2e8c07
KB
703TCGArg *tcg_optimize(TCGContext *s, uint16_t *tcg_opc_ptr, TCGArg *args,
704 TCGOpDef *tcg_op_def);
705
a7812ae4 706/* only used for debugging purposes */
eeacee4d 707void tcg_dump_ops(TCGContext *s);
a7812ae4
PB
708
709void dump_ops(const uint16_t *opc_buf, const TCGArg *opparam_buf);
710TCGv_i32 tcg_const_i32(int32_t val);
711TCGv_i64 tcg_const_i64(int64_t val);
712TCGv_i32 tcg_const_local_i32(int32_t val);
713TCGv_i64 tcg_const_local_i64(int64_t val);
714
0980011b
PM
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.
378df4b2
PM
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.
0980011b
PM
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
378df4b2 761#define TB_EXIT_REQUESTED 3
0980011b 762
ce285b17
SW
763#if !defined(tcg_qemu_tb_exec)
764# define tcg_qemu_tb_exec(env, tb_ptr) \
04d5a1da 765 ((uintptr_t (*)(void *, void *))tcg_ctx.code_gen_prologue)(env, tb_ptr)
932a6909 766#endif
813da627
RH
767
768void tcg_register_jit(void *buf, size_t buf_size);
b76f0d8c 769
e58eb534
RH
770/*
771 * Memory helpers that will be used by TCG generated code.
772 */
773#ifdef CONFIG_SOFTMMU
c8f94df5
RH
774/* Value zero-extended to tcg register size. */
775tcg_target_ulong helper_ret_ldub_mmu(CPUArchState *env, target_ulong addr,
776 int mmu_idx, uintptr_t retaddr);
867b3201
RH
777tcg_target_ulong helper_le_lduw_mmu(CPUArchState *env, target_ulong addr,
778 int mmu_idx, uintptr_t retaddr);
779tcg_target_ulong helper_le_ldul_mmu(CPUArchState *env, target_ulong addr,
780 int mmu_idx, uintptr_t retaddr);
781uint64_t helper_le_ldq_mmu(CPUArchState *env, target_ulong addr,
782 int mmu_idx, uintptr_t retaddr);
783tcg_target_ulong helper_be_lduw_mmu(CPUArchState *env, target_ulong addr,
784 int mmu_idx, uintptr_t retaddr);
785tcg_target_ulong helper_be_ldul_mmu(CPUArchState *env, target_ulong addr,
786 int mmu_idx, uintptr_t retaddr);
787uint64_t helper_be_ldq_mmu(CPUArchState *env, target_ulong addr,
788 int mmu_idx, uintptr_t retaddr);
e58eb534 789
c8f94df5
RH
790/* Value sign-extended to tcg register size. */
791tcg_target_ulong helper_ret_ldsb_mmu(CPUArchState *env, target_ulong addr,
792 int mmu_idx, uintptr_t retaddr);
867b3201
RH
793tcg_target_ulong helper_le_ldsw_mmu(CPUArchState *env, target_ulong addr,
794 int mmu_idx, uintptr_t retaddr);
795tcg_target_ulong helper_le_ldsl_mmu(CPUArchState *env, target_ulong addr,
796 int mmu_idx, uintptr_t retaddr);
797tcg_target_ulong helper_be_ldsw_mmu(CPUArchState *env, target_ulong addr,
798 int mmu_idx, uintptr_t retaddr);
799tcg_target_ulong helper_be_ldsl_mmu(CPUArchState *env, target_ulong addr,
800 int mmu_idx, uintptr_t retaddr);
c8f94df5 801
e58eb534
RH
802void helper_ret_stb_mmu(CPUArchState *env, target_ulong addr, uint8_t val,
803 int mmu_idx, uintptr_t retaddr);
867b3201
RH
804void helper_le_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
805 int mmu_idx, uintptr_t retaddr);
806void helper_le_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
807 int mmu_idx, uintptr_t retaddr);
808void helper_le_stq_mmu(CPUArchState *env, target_ulong addr, uint64_t val,
809 int mmu_idx, uintptr_t retaddr);
810void helper_be_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
811 int mmu_idx, uintptr_t retaddr);
812void helper_be_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
813 int mmu_idx, uintptr_t retaddr);
814void 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
e58eb534
RH
837
838uint8_t helper_ldb_mmu(CPUArchState *env, target_ulong addr, int mmu_idx);
839uint16_t helper_ldw_mmu(CPUArchState *env, target_ulong addr, int mmu_idx);
840uint32_t helper_ldl_mmu(CPUArchState *env, target_ulong addr, int mmu_idx);
841uint64_t helper_ldq_mmu(CPUArchState *env, target_ulong addr, int mmu_idx);
842
843void helper_stb_mmu(CPUArchState *env, target_ulong addr,
844 uint8_t val, int mmu_idx);
845void helper_stw_mmu(CPUArchState *env, target_ulong addr,
846 uint16_t val, int mmu_idx);
847void helper_stl_mmu(CPUArchState *env, target_ulong addr,
848 uint32_t val, int mmu_idx);
849void helper_stq_mmu(CPUArchState *env, target_ulong addr,
850 uint64_t val, int mmu_idx);
851#endif /* CONFIG_SOFTMMU */
852
853#endif /* TCG_H */