]> git.proxmox.com Git - mirror_qemu.git/blame - include/tcg/tcg.h
Merge remote-tracking branch 'remotes/berrange-gitlab/tags/misc-next-pull-request...
[mirror_qemu.git] / include / 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
33c11879 28#include "cpu.h"
14776ab5 29#include "exec/memop.h"
00f6da6a 30#include "exec/tb-context.h"
0ec9eabc 31#include "qemu/bitops.h"
e6d86bed 32#include "qemu/plugin.h"
15fa08f8 33#include "qemu/queue.h"
dcb32f1d 34#include "tcg/tcg-mo.h"
78cd7b83 35#include "tcg-target.h"
e6cd4bb5 36#include "qemu/int128.h"
78cd7b83 37
00f6da6a
PB
38/* XXX: make safe guess about sizes */
39#define MAX_OP_PER_INSTR 266
40
41#if HOST_LONG_BITS == 32
42#define MAX_OPC_PARAM_PER_ARG 2
43#else
44#define MAX_OPC_PARAM_PER_ARG 1
45#endif
1df3caa9 46#define MAX_OPC_PARAM_IARGS 6
00f6da6a
PB
47#define MAX_OPC_PARAM_OARGS 1
48#define MAX_OPC_PARAM_ARGS (MAX_OPC_PARAM_IARGS + MAX_OPC_PARAM_OARGS)
49
50/* A Call op needs up to 4 + 2N parameters on 32-bit archs,
51 * and up to 4 + N parameters on 64-bit archs
52 * (N = number of input arguments + output arguments). */
53#define MAX_OPC_PARAM (4 + (MAX_OPC_PARAM_PER_ARG * MAX_OPC_PARAM_ARGS))
00f6da6a 54
6e0b0730
PC
55#define CPU_TEMP_BUF_NLONGS 128
56
78cd7b83
RH
57/* Default target word size to pointer size. */
58#ifndef TCG_TARGET_REG_BITS
59# if UINTPTR_MAX == UINT32_MAX
60# define TCG_TARGET_REG_BITS 32
61# elif UINTPTR_MAX == UINT64_MAX
62# define TCG_TARGET_REG_BITS 64
63# else
64# error Unknown pointer size for tcg target
65# endif
817b838e
SW
66#endif
67
c896fe29
FB
68#if TCG_TARGET_REG_BITS == 32
69typedef int32_t tcg_target_long;
70typedef uint32_t tcg_target_ulong;
71#define TCG_PRIlx PRIx32
72#define TCG_PRIld PRId32
73#elif TCG_TARGET_REG_BITS == 64
74typedef int64_t tcg_target_long;
75typedef uint64_t tcg_target_ulong;
76#define TCG_PRIlx PRIx64
77#define TCG_PRIld PRId64
78#else
79#error unsupported
80#endif
81
8d4e9146
FK
82/* Oversized TCG guests make things like MTTCG hard
83 * as we can't use atomics for cputlb updates.
84 */
85#if TARGET_LONG_BITS > TCG_TARGET_REG_BITS
86#define TCG_OVERSIZED_GUEST 1
87#else
88#define TCG_OVERSIZED_GUEST 0
89#endif
90
c896fe29
FB
91#if TCG_TARGET_NB_REGS <= 32
92typedef uint32_t TCGRegSet;
93#elif TCG_TARGET_NB_REGS <= 64
94typedef uint64_t TCGRegSet;
95#else
96#error unsupported
97#endif
98
25c4d9cc 99#if TCG_TARGET_REG_BITS == 32
e6a72734 100/* Turn some undef macros into false macros. */
609ad705
RH
101#define TCG_TARGET_HAS_extrl_i64_i32 0
102#define TCG_TARGET_HAS_extrh_i64_i32 0
25c4d9cc 103#define TCG_TARGET_HAS_div_i64 0
ca675f46 104#define TCG_TARGET_HAS_rem_i64 0
25c4d9cc
RH
105#define TCG_TARGET_HAS_div2_i64 0
106#define TCG_TARGET_HAS_rot_i64 0
107#define TCG_TARGET_HAS_ext8s_i64 0
108#define TCG_TARGET_HAS_ext16s_i64 0
109#define TCG_TARGET_HAS_ext32s_i64 0
110#define TCG_TARGET_HAS_ext8u_i64 0
111#define TCG_TARGET_HAS_ext16u_i64 0
112#define TCG_TARGET_HAS_ext32u_i64 0
113#define TCG_TARGET_HAS_bswap16_i64 0
114#define TCG_TARGET_HAS_bswap32_i64 0
115#define TCG_TARGET_HAS_bswap64_i64 0
116#define TCG_TARGET_HAS_neg_i64 0
117#define TCG_TARGET_HAS_not_i64 0
118#define TCG_TARGET_HAS_andc_i64 0
119#define TCG_TARGET_HAS_orc_i64 0
120#define TCG_TARGET_HAS_eqv_i64 0
121#define TCG_TARGET_HAS_nand_i64 0
122#define TCG_TARGET_HAS_nor_i64 0
0e28d006
RH
123#define TCG_TARGET_HAS_clz_i64 0
124#define TCG_TARGET_HAS_ctz_i64 0
a768e4e9 125#define TCG_TARGET_HAS_ctpop_i64 0
25c4d9cc 126#define TCG_TARGET_HAS_deposit_i64 0
7ec8bab3
RH
127#define TCG_TARGET_HAS_extract_i64 0
128#define TCG_TARGET_HAS_sextract_i64 0
fce1296f 129#define TCG_TARGET_HAS_extract2_i64 0
ffc5ea09 130#define TCG_TARGET_HAS_movcond_i64 0
d7156f7c
RH
131#define TCG_TARGET_HAS_add2_i64 0
132#define TCG_TARGET_HAS_sub2_i64 0
133#define TCG_TARGET_HAS_mulu2_i64 0
4d3203fd 134#define TCG_TARGET_HAS_muls2_i64 0
03271524
RH
135#define TCG_TARGET_HAS_muluh_i64 0
136#define TCG_TARGET_HAS_mulsh_i64 0
e6a72734
RH
137/* Turn some undef macros into true macros. */
138#define TCG_TARGET_HAS_add2_i32 1
139#define TCG_TARGET_HAS_sub2_i32 1
25c4d9cc
RH
140#endif
141
a4773324
JK
142#ifndef TCG_TARGET_deposit_i32_valid
143#define TCG_TARGET_deposit_i32_valid(ofs, len) 1
144#endif
145#ifndef TCG_TARGET_deposit_i64_valid
146#define TCG_TARGET_deposit_i64_valid(ofs, len) 1
147#endif
7ec8bab3
RH
148#ifndef TCG_TARGET_extract_i32_valid
149#define TCG_TARGET_extract_i32_valid(ofs, len) 1
150#endif
151#ifndef TCG_TARGET_extract_i64_valid
152#define TCG_TARGET_extract_i64_valid(ofs, len) 1
153#endif
a4773324 154
25c4d9cc
RH
155/* Only one of DIV or DIV2 should be defined. */
156#if defined(TCG_TARGET_HAS_div_i32)
157#define TCG_TARGET_HAS_div2_i32 0
158#elif defined(TCG_TARGET_HAS_div2_i32)
159#define TCG_TARGET_HAS_div_i32 0
ca675f46 160#define TCG_TARGET_HAS_rem_i32 0
25c4d9cc
RH
161#endif
162#if defined(TCG_TARGET_HAS_div_i64)
163#define TCG_TARGET_HAS_div2_i64 0
164#elif defined(TCG_TARGET_HAS_div2_i64)
165#define TCG_TARGET_HAS_div_i64 0
ca675f46 166#define TCG_TARGET_HAS_rem_i64 0
25c4d9cc
RH
167#endif
168
df9ebea5
RH
169/* For 32-bit targets, some sort of unsigned widening multiply is required. */
170#if TCG_TARGET_REG_BITS == 32 \
171 && !(defined(TCG_TARGET_HAS_mulu2_i32) \
172 || defined(TCG_TARGET_HAS_muluh_i32))
173# error "Missing unsigned widening multiply"
174#endif
175
d2fd745f
RH
176#if !defined(TCG_TARGET_HAS_v64) \
177 && !defined(TCG_TARGET_HAS_v128) \
178 && !defined(TCG_TARGET_HAS_v256)
179#define TCG_TARGET_MAYBE_vec 0
bcefc902 180#define TCG_TARGET_HAS_abs_vec 0
d2fd745f
RH
181#define TCG_TARGET_HAS_neg_vec 0
182#define TCG_TARGET_HAS_not_vec 0
183#define TCG_TARGET_HAS_andc_vec 0
184#define TCG_TARGET_HAS_orc_vec 0
b0f7e744 185#define TCG_TARGET_HAS_roti_vec 0
23850a74 186#define TCG_TARGET_HAS_rots_vec 0
5d0ceda9 187#define TCG_TARGET_HAS_rotv_vec 0
d0ec9796
RH
188#define TCG_TARGET_HAS_shi_vec 0
189#define TCG_TARGET_HAS_shs_vec 0
190#define TCG_TARGET_HAS_shv_vec 0
3774030a 191#define TCG_TARGET_HAS_mul_vec 0
8afaf050 192#define TCG_TARGET_HAS_sat_vec 0
dd0a0fcd 193#define TCG_TARGET_HAS_minmax_vec 0
38dc1294 194#define TCG_TARGET_HAS_bitsel_vec 0
f75da298 195#define TCG_TARGET_HAS_cmpsel_vec 0
d2fd745f
RH
196#else
197#define TCG_TARGET_MAYBE_vec 1
198#endif
199#ifndef TCG_TARGET_HAS_v64
200#define TCG_TARGET_HAS_v64 0
201#endif
202#ifndef TCG_TARGET_HAS_v128
203#define TCG_TARGET_HAS_v128 0
204#endif
205#ifndef TCG_TARGET_HAS_v256
206#define TCG_TARGET_HAS_v256 0
207#endif
208
9aef40ed
RH
209#ifndef TARGET_INSN_START_EXTRA_WORDS
210# define TARGET_INSN_START_WORDS 1
211#else
212# define TARGET_INSN_START_WORDS (1 + TARGET_INSN_START_EXTRA_WORDS)
213#endif
214
a9751609 215typedef enum TCGOpcode {
c61aaf7a 216#define DEF(name, oargs, iargs, cargs, flags) INDEX_op_ ## name,
dcb32f1d 217#include "tcg/tcg-opc.h"
c896fe29
FB
218#undef DEF
219 NB_OPS,
a9751609 220} TCGOpcode;
c896fe29 221
80a8b9a9
RH
222#define tcg_regset_set_reg(d, r) ((d) |= (TCGRegSet)1 << (r))
223#define tcg_regset_reset_reg(d, r) ((d) &= ~((TCGRegSet)1 << (r)))
224#define tcg_regset_test_reg(d, r) (((d) >> (r)) & 1)
c896fe29 225
1813e175 226#ifndef TCG_TARGET_INSN_UNIT_SIZE
5053361b
RH
227# error "Missing TCG_TARGET_INSN_UNIT_SIZE"
228#elif TCG_TARGET_INSN_UNIT_SIZE == 1
1813e175
RH
229typedef uint8_t tcg_insn_unit;
230#elif TCG_TARGET_INSN_UNIT_SIZE == 2
231typedef uint16_t tcg_insn_unit;
232#elif TCG_TARGET_INSN_UNIT_SIZE == 4
233typedef uint32_t tcg_insn_unit;
234#elif TCG_TARGET_INSN_UNIT_SIZE == 8
235typedef uint64_t tcg_insn_unit;
236#else
237/* The port better have done this. */
238#endif
239
240
8bff06a0 241#if defined CONFIG_DEBUG_TCG || defined QEMU_STATIC_ANALYSIS
1f00b27f 242# define tcg_debug_assert(X) do { assert(X); } while (0)
6fa2cef2 243#else
1f00b27f
SS
244# define tcg_debug_assert(X) \
245 do { if (!(X)) { __builtin_unreachable(); } } while (0)
1f00b27f
SS
246#endif
247
7ecd02a0
RH
248typedef struct TCGRelocation TCGRelocation;
249struct TCGRelocation {
250 QSIMPLEQ_ENTRY(TCGRelocation) next;
1813e175 251 tcg_insn_unit *ptr;
2ba7fae2 252 intptr_t addend;
7ecd02a0
RH
253 int type;
254};
c896fe29 255
bef16ab4
RH
256typedef struct TCGLabel TCGLabel;
257struct TCGLabel {
258 unsigned present : 1;
51e3972c 259 unsigned has_value : 1;
bef16ab4 260 unsigned id : 14;
d88a117e 261 unsigned refs : 16;
c896fe29 262 union {
2ba7fae2 263 uintptr_t value;
1813e175 264 tcg_insn_unit *value_ptr;
c896fe29 265 } u;
7ecd02a0 266 QSIMPLEQ_HEAD(, TCGRelocation) relocs;
bef16ab4 267 QSIMPLEQ_ENTRY(TCGLabel) next;
bef16ab4 268};
c896fe29
FB
269
270typedef struct TCGPool {
271 struct TCGPool *next;
c44f945a 272 int size;
f7795e40 273 uint8_t data[] __attribute__ ((aligned));
c896fe29
FB
274} TCGPool;
275
276#define TCG_POOL_CHUNK_SIZE 32768
277
c4071c90 278#define TCG_MAX_TEMPS 512
190ce7fb 279#define TCG_MAX_INSNS 512
c896fe29 280
b03cce8e
FB
281/* when the size of the arguments of a called function is smaller than
282 this value, they are statically allocated in the TB stack frame */
283#define TCG_STATIC_CALL_ARGS_SIZE 128
284
c02244a5
RH
285typedef enum TCGType {
286 TCG_TYPE_I32,
287 TCG_TYPE_I64,
d2fd745f
RH
288
289 TCG_TYPE_V64,
290 TCG_TYPE_V128,
291 TCG_TYPE_V256,
292
c02244a5 293 TCG_TYPE_COUNT, /* number of different types */
c896fe29 294
3b6dac34 295 /* An alias for the size of the host register. */
c896fe29 296#if TCG_TARGET_REG_BITS == 32
3b6dac34 297 TCG_TYPE_REG = TCG_TYPE_I32,
c02244a5 298#else
3b6dac34 299 TCG_TYPE_REG = TCG_TYPE_I64,
c02244a5 300#endif
3b6dac34 301
d289837e
RH
302 /* An alias for the size of the native pointer. */
303#if UINTPTR_MAX == UINT32_MAX
304 TCG_TYPE_PTR = TCG_TYPE_I32,
305#else
306 TCG_TYPE_PTR = TCG_TYPE_I64,
307#endif
3b6dac34
RH
308
309 /* An alias for the size of the target "long", aka register. */
c02244a5
RH
310#if TARGET_LONG_BITS == 64
311 TCG_TYPE_TL = TCG_TYPE_I64,
c896fe29 312#else
c02244a5 313 TCG_TYPE_TL = TCG_TYPE_I32,
c896fe29 314#endif
c02244a5 315} TCGType;
c896fe29 316
1f00b27f
SS
317/**
318 * get_alignment_bits
14776ab5 319 * @memop: MemOp value
1f00b27f
SS
320 *
321 * Extract the alignment size from the memop.
1f00b27f 322 */
14776ab5 323static inline unsigned get_alignment_bits(MemOp memop)
1f00b27f 324{
85aa8081 325 unsigned a = memop & MO_AMASK;
1f00b27f
SS
326
327 if (a == MO_UNALN) {
85aa8081
RH
328 /* No alignment required. */
329 a = 0;
1f00b27f 330 } else if (a == MO_ALIGN) {
85aa8081
RH
331 /* A natural alignment requirement. */
332 a = memop & MO_SIZE;
1f00b27f 333 } else {
85aa8081
RH
334 /* A specific alignment requirement. */
335 a = a >> MO_ASHIFT;
1f00b27f
SS
336 }
337#if defined(CONFIG_SOFTMMU)
338 /* The requested alignment cannot overlap the TLB flags. */
85aa8081 339 tcg_debug_assert((TLB_FLAGS_MASK & ((1 << a) - 1)) == 0);
1f00b27f 340#endif
85aa8081 341 return a;
1f00b27f
SS
342}
343
c896fe29
FB
344typedef tcg_target_ulong TCGArg;
345
a40d4701
PM
346/* Define type and accessor macros for TCG variables.
347
348 TCG variables are the inputs and outputs of TCG ops, as described
349 in tcg/README. Target CPU front-end code uses these types to deal
350 with TCG variables as it emits TCG code via the tcg_gen_* functions.
351 They come in several flavours:
352 * TCGv_i32 : 32 bit integer type
353 * TCGv_i64 : 64 bit integer type
354 * TCGv_ptr : a host pointer type
d2fd745f
RH
355 * TCGv_vec : a host vector type; the exact size is not exposed
356 to the CPU front-end code.
a40d4701
PM
357 * TCGv : an integer type the same size as target_ulong
358 (an alias for either TCGv_i32 or TCGv_i64)
359 The compiler's type checking will complain if you mix them
360 up and pass the wrong sized TCGv to a function.
361
362 Users of tcg_gen_* don't need to know about any of the internal
363 details of these, and should treat them as opaque types.
364 You won't be able to look inside them in a debugger either.
365
366 Internal implementation details follow:
367
368 Note that there is no definition of the structs TCGv_i32_d etc anywhere.
369 This is deliberate, because the values we store in variables of type
370 TCGv_i32 are not really pointers-to-structures. They're just small
371 integers, but keeping them in pointer types like this means that the
372 compiler will complain if you accidentally pass a TCGv_i32 to a
373 function which takes a TCGv_i64, and so on. Only the internals of
dc41aa7d 374 TCG need to care about the actual contents of the types. */
ac56dd48 375
b6c73a6d
RH
376typedef struct TCGv_i32_d *TCGv_i32;
377typedef struct TCGv_i64_d *TCGv_i64;
378typedef struct TCGv_ptr_d *TCGv_ptr;
d2fd745f 379typedef struct TCGv_vec_d *TCGv_vec;
1bcea73e 380typedef TCGv_ptr TCGv_env;
5d4e1a10
LV
381#if TARGET_LONG_BITS == 32
382#define TCGv TCGv_i32
383#elif TARGET_LONG_BITS == 64
384#define TCGv TCGv_i64
385#else
386#error Unhandled TARGET_LONG_BITS value
387#endif
ac56dd48 388
c896fe29 389/* call flags */
78505279
AJ
390/* Helper does not read globals (either directly or through an exception). It
391 implies TCG_CALL_NO_WRITE_GLOBALS. */
3b50352b 392#define TCG_CALL_NO_READ_GLOBALS 0x0001
78505279 393/* Helper does not write globals */
3b50352b 394#define TCG_CALL_NO_WRITE_GLOBALS 0x0002
78505279 395/* Helper can be safely suppressed if the return value is not used. */
3b50352b 396#define TCG_CALL_NO_SIDE_EFFECTS 0x0004
15d74092
RH
397/* Helper is QEMU_NORETURN. */
398#define TCG_CALL_NO_RETURN 0x0008
78505279
AJ
399
400/* convenience version of most used call flags */
401#define TCG_CALL_NO_RWG TCG_CALL_NO_READ_GLOBALS
402#define TCG_CALL_NO_WG TCG_CALL_NO_WRITE_GLOBALS
403#define TCG_CALL_NO_SE TCG_CALL_NO_SIDE_EFFECTS
404#define TCG_CALL_NO_RWG_SE (TCG_CALL_NO_RWG | TCG_CALL_NO_SE)
405#define TCG_CALL_NO_WG_SE (TCG_CALL_NO_WG | TCG_CALL_NO_SE)
406
e89b28a6
RH
407/* Used to align parameters. See the comment before tcgv_i32_temp. */
408#define TCG_CALL_DUMMY_ARG ((TCGArg)0)
39cf05d3 409
a93cf9df
SW
410/* Conditions. Note that these are laid out for easy manipulation by
411 the functions below:
0aed257f
RH
412 bit 0 is used for inverting;
413 bit 1 is signed,
414 bit 2 is unsigned,
415 bit 3 is used with bit 0 for swapping signed/unsigned. */
c896fe29 416typedef enum {
0aed257f
RH
417 /* non-signed */
418 TCG_COND_NEVER = 0 | 0 | 0 | 0,
419 TCG_COND_ALWAYS = 0 | 0 | 0 | 1,
420 TCG_COND_EQ = 8 | 0 | 0 | 0,
421 TCG_COND_NE = 8 | 0 | 0 | 1,
422 /* signed */
423 TCG_COND_LT = 0 | 0 | 2 | 0,
424 TCG_COND_GE = 0 | 0 | 2 | 1,
425 TCG_COND_LE = 8 | 0 | 2 | 0,
426 TCG_COND_GT = 8 | 0 | 2 | 1,
c896fe29 427 /* unsigned */
0aed257f
RH
428 TCG_COND_LTU = 0 | 4 | 0 | 0,
429 TCG_COND_GEU = 0 | 4 | 0 | 1,
430 TCG_COND_LEU = 8 | 4 | 0 | 0,
431 TCG_COND_GTU = 8 | 4 | 0 | 1,
c896fe29
FB
432} TCGCond;
433
1c086220 434/* Invert the sense of the comparison. */
401d466d
RH
435static inline TCGCond tcg_invert_cond(TCGCond c)
436{
437 return (TCGCond)(c ^ 1);
438}
439
1c086220
RH
440/* Swap the operands in a comparison. */
441static inline TCGCond tcg_swap_cond(TCGCond c)
442{
0aed257f 443 return c & 6 ? (TCGCond)(c ^ 9) : c;
1c086220
RH
444}
445
d1e321b8 446/* Create an "unsigned" version of a "signed" comparison. */
ff44c2f3
RH
447static inline TCGCond tcg_unsigned_cond(TCGCond c)
448{
0aed257f 449 return c & 2 ? (TCGCond)(c ^ 6) : c;
ff44c2f3
RH
450}
451
923ed175
RH
452/* Create a "signed" version of an "unsigned" comparison. */
453static inline TCGCond tcg_signed_cond(TCGCond c)
454{
455 return c & 4 ? (TCGCond)(c ^ 6) : c;
456}
457
d1e321b8 458/* Must a comparison be considered unsigned? */
bcc66562
RH
459static inline bool is_unsigned_cond(TCGCond c)
460{
0aed257f 461 return (c & 4) != 0;
bcc66562
RH
462}
463
d1e321b8
RH
464/* Create a "high" version of a double-word comparison.
465 This removes equality from a LTE or GTE comparison. */
466static inline TCGCond tcg_high_cond(TCGCond c)
467{
468 switch (c) {
469 case TCG_COND_GE:
470 case TCG_COND_LE:
471 case TCG_COND_GEU:
472 case TCG_COND_LEU:
473 return (TCGCond)(c ^ 8);
474 default:
475 return c;
476 }
477}
478
00c8fa9f
EC
479typedef enum TCGTempVal {
480 TEMP_VAL_DEAD,
481 TEMP_VAL_REG,
482 TEMP_VAL_MEM,
483 TEMP_VAL_CONST,
484} TCGTempVal;
c896fe29 485
c896fe29 486typedef struct TCGTemp {
b6638662 487 TCGReg reg:8;
00c8fa9f
EC
488 TCGTempVal val_type:8;
489 TCGType base_type:8;
490 TCGType type:8;
c896fe29 491 unsigned int fixed_reg:1;
b3915dbb
RH
492 unsigned int indirect_reg:1;
493 unsigned int indirect_base:1;
c896fe29
FB
494 unsigned int mem_coherent:1;
495 unsigned int mem_allocated:1;
fa477d25
RH
496 /* If true, the temp is saved across both basic blocks and
497 translation blocks. */
498 unsigned int temp_global:1;
499 /* If true, the temp is saved across basic blocks but dead
500 at the end of translation blocks. If false, the temp is
501 dead at the end of basic blocks. */
502 unsigned int temp_local:1;
503 unsigned int temp_allocated:1;
00c8fa9f
EC
504
505 tcg_target_long val;
b3a62939 506 struct TCGTemp *mem_base;
00c8fa9f 507 intptr_t mem_offset;
c896fe29 508 const char *name;
b83eabea
RH
509
510 /* Pass-specific information that can be stored for a temporary.
511 One word worth of integer data, and one pointer to data
512 allocated separately. */
513 uintptr_t state;
514 void *state_ptr;
c896fe29
FB
515} TCGTemp;
516
c896fe29
FB
517typedef struct TCGContext TCGContext;
518
0ec9eabc
RH
519typedef struct TCGTempSet {
520 unsigned long l[BITS_TO_LONGS(TCG_MAX_TEMPS)];
521} TCGTempSet;
522
a1b3c48d
RH
523/* While we limit helpers to 6 arguments, for 32-bit hosts, with padding,
524 this imples a max of 6*2 (64-bit in) + 2 (64-bit out) = 14 operands.
525 There are never more than 2 outputs, which means that we can store all
526 dead + sync data within 16 bits. */
527#define DEAD_ARG 4
528#define SYNC_ARG 1
529typedef uint16_t TCGLifeData;
530
75e8b9b7
RH
531/* The layout here is designed to avoid a bitfield crossing of
532 a 32-bit boundary, which would cause GCC to add extra padding. */
c45cb8bb 533typedef struct TCGOp {
bee158cb
RH
534 TCGOpcode opc : 8; /* 8 */
535
cd9090aa
RH
536 /* Parameters for this opcode. See below. */
537 unsigned param1 : 4; /* 12 */
538 unsigned param2 : 4; /* 16 */
c45cb8bb 539
bee158cb 540 /* Lifetime data of the operands. */
15fa08f8
RH
541 unsigned life : 16; /* 32 */
542
543 /* Next and previous opcodes. */
544 QTAILQ_ENTRY(TCGOp) link;
38b47b19
EC
545#ifdef CONFIG_PLUGIN
546 QSIMPLEQ_ENTRY(TCGOp) plugin_link;
547#endif
75e8b9b7
RH
548
549 /* Arguments for the opcode. */
550 TCGArg args[MAX_OPC_PARAM];
69e3706d
RH
551
552 /* Register preferences for the output(s). */
553 TCGRegSet output_pref[2];
c45cb8bb
RH
554} TCGOp;
555
cd9090aa
RH
556#define TCGOP_CALLI(X) (X)->param1
557#define TCGOP_CALLO(X) (X)->param2
558
d2fd745f
RH
559#define TCGOP_VECL(X) (X)->param1
560#define TCGOP_VECE(X) (X)->param2
561
dcb8e758
RH
562/* Make sure operands fit in the bitfields above. */
563QEMU_BUILD_BUG_ON(NB_OPS > (1 << 8));
c45cb8bb 564
c3fac113 565typedef struct TCGProfile {
72fd2efb 566 int64_t cpu_exec_time;
c3fac113
EC
567 int64_t tb_count1;
568 int64_t tb_count;
569 int64_t op_count; /* total insn count */
570 int op_count_max; /* max insn per TB */
c3fac113 571 int temp_count_max;
dd1d7da2 572 int64_t temp_count;
c3fac113
EC
573 int64_t del_op_count;
574 int64_t code_in_len;
575 int64_t code_out_len;
576 int64_t search_out_len;
577 int64_t interm_time;
578 int64_t code_time;
579 int64_t la_time;
580 int64_t opt_time;
581 int64_t restore_count;
582 int64_t restore_time;
583 int64_t table_op_count[NB_OPS];
584} TCGProfile;
585
c896fe29
FB
586struct TCGContext {
587 uint8_t *pool_cur, *pool_end;
4055299e 588 TCGPool *pool_first, *pool_current, *pool_first_large;
c896fe29 589 int nb_labels;
c896fe29
FB
590 int nb_globals;
591 int nb_temps;
5a18407f 592 int nb_indirects;
abebf925 593 int nb_ops;
c896fe29
FB
594
595 /* goto_tb support */
1813e175 596 tcg_insn_unit *code_buf;
f309101c 597 uint16_t *tb_jmp_reset_offset; /* tb->jmp_reset_offset */
a8583393
RH
598 uintptr_t *tb_jmp_insn_offset; /* tb->jmp_target_arg if direct_jump */
599 uintptr_t *tb_jmp_target_addr; /* tb->jmp_target_arg if !direct_jump */
c896fe29 600
c896fe29 601 TCGRegSet reserved_regs;
e82d5a24 602 uint32_t tb_cflags; /* cflags of the current TB */
e2c6d1b4
RH
603 intptr_t current_frame_offset;
604 intptr_t frame_start;
605 intptr_t frame_end;
b3a62939 606 TCGTemp *frame_temp;
c896fe29 607
1813e175 608 tcg_insn_unit *code_ptr;
c896fe29 609
a23a9ec6 610#ifdef CONFIG_PROFILER
c3fac113 611 TCGProfile prof;
a23a9ec6 612#endif
27bfd83c
PM
613
614#ifdef CONFIG_DEBUG_TCG
615 int temps_in_use;
0a209d4b 616 int goto_tb_issue_mask;
53229a77 617 const TCGOpcode *vecop_list;
27bfd83c 618#endif
b76f0d8c 619
1813e175
RH
620 /* Code generation. Note that we specifically do not use tcg_insn_unit
621 here, because there's too much arithmetic throughout that relies
622 on addition and subtraction working on bytes. Rely on the GCC
623 extension that allows arithmetic on void*. */
1813e175 624 void *code_gen_prologue;
cedbcb01 625 void *code_gen_epilogue;
1813e175 626 void *code_gen_buffer;
0b0d3320 627 size_t code_gen_buffer_size;
1813e175 628 void *code_gen_ptr;
57a26946 629 void *data_gen_ptr;
0b0d3320 630
b125f9dc
RH
631 /* Threshold to flush the translated code buffer. */
632 void *code_gen_highwater;
633
128ed227
EC
634 size_t tb_phys_invalidate_count;
635
7c255043
LV
636 /* Track which vCPU triggers events */
637 CPUState *cpu; /* *_trans */
7c255043 638
139c1837 639 /* These structures are private to tcg-target.c.inc. */
659ef5cb 640#ifdef TCG_TARGET_NEED_LDST_LABELS
b58deb34 641 QSIMPLEQ_HEAD(, TCGLabelQemuLdst) ldst_labels;
659ef5cb 642#endif
57a26946
RH
643#ifdef TCG_TARGET_NEED_POOL_LABELS
644 struct TCGLabelPoolData *pool_labels;
645#endif
c45cb8bb 646
26689780
EC
647 TCGLabel *exitreq_label;
648
38b47b19
EC
649#ifdef CONFIG_PLUGIN
650 /*
651 * We keep one plugin_tb struct per TCGContext. Note that on every TB
652 * translation we clear but do not free its contents; this way we
653 * avoid a lot of malloc/free churn, since after a few TB's it's
654 * unlikely that we'll need to allocate either more instructions or more
655 * space for instructions (for variable-instruction-length ISAs).
656 */
657 struct qemu_plugin_tb *plugin_tb;
658
659 /* descriptor of the instruction being translated */
660 struct qemu_plugin_insn *plugin_insn;
661
662 /* list to quickly access the injected ops */
663 QSIMPLEQ_HEAD(, TCGOp) plugin_ops;
664#endif
665
c45cb8bb
RH
666 TCGTempSet free_temps[TCG_TYPE_COUNT * 2];
667 TCGTemp temps[TCG_MAX_TEMPS]; /* globals first, temps after */
668
eae3eb3e 669 QTAILQ_HEAD(, TCGOp) ops, free_ops;
7ecd02a0 670 QSIMPLEQ_HEAD(, TCGLabel) labels;
15fa08f8 671
f8b2f202
RH
672 /* Tells which temporary holds a given register.
673 It does not take into account fixed registers */
674 TCGTemp *reg_to_temp[TCG_TARGET_NB_REGS];
c45cb8bb 675
fca8a500
RH
676 uint16_t gen_insn_end_off[TCG_MAX_INSNS];
677 target_ulong gen_insn_data[TCG_MAX_INSNS][TARGET_INSN_START_WORDS];
c896fe29
FB
678};
679
b1311c4a 680extern TCGContext tcg_init_ctx;
3468b59e 681extern __thread TCGContext *tcg_ctx;
1c2adb95 682extern TCGv_env cpu_env;
c896fe29 683
1807f4c4
RH
684static inline size_t temp_idx(TCGTemp *ts)
685{
b1311c4a
EC
686 ptrdiff_t n = ts - tcg_ctx->temps;
687 tcg_debug_assert(n >= 0 && n < tcg_ctx->nb_temps);
1807f4c4
RH
688 return n;
689}
690
691static inline TCGArg temp_arg(TCGTemp *ts)
692{
e89b28a6 693 return (uintptr_t)ts;
1807f4c4
RH
694}
695
43439139
RH
696static inline TCGTemp *arg_temp(TCGArg a)
697{
e89b28a6 698 return (TCGTemp *)(uintptr_t)a;
43439139
RH
699}
700
e89b28a6
RH
701/* Using the offset of a temporary, relative to TCGContext, rather than
702 its index means that we don't use 0. That leaves offset 0 free for
703 a NULL representation without having to leave index 0 unused. */
704static inline TCGTemp *tcgv_i32_temp(TCGv_i32 v)
6349039d 705{
e89b28a6 706 uintptr_t o = (uintptr_t)v;
b1311c4a 707 TCGTemp *t = (void *)tcg_ctx + o;
e89b28a6
RH
708 tcg_debug_assert(offsetof(TCGContext, temps[temp_idx(t)]) == o);
709 return t;
ae8b75dc
RH
710}
711
e89b28a6 712static inline TCGTemp *tcgv_i64_temp(TCGv_i64 v)
ae8b75dc 713{
e89b28a6 714 return tcgv_i32_temp((TCGv_i32)v);
ae8b75dc
RH
715}
716
e89b28a6 717static inline TCGTemp *tcgv_ptr_temp(TCGv_ptr v)
ae8b75dc 718{
e89b28a6 719 return tcgv_i32_temp((TCGv_i32)v);
ae8b75dc
RH
720}
721
d2fd745f
RH
722static inline TCGTemp *tcgv_vec_temp(TCGv_vec v)
723{
724 return tcgv_i32_temp((TCGv_i32)v);
725}
726
e89b28a6 727static inline TCGArg tcgv_i32_arg(TCGv_i32 v)
ae8b75dc 728{
e89b28a6 729 return temp_arg(tcgv_i32_temp(v));
ae8b75dc
RH
730}
731
e89b28a6 732static inline TCGArg tcgv_i64_arg(TCGv_i64 v)
ae8b75dc 733{
e89b28a6 734 return temp_arg(tcgv_i64_temp(v));
ae8b75dc
RH
735}
736
e89b28a6 737static inline TCGArg tcgv_ptr_arg(TCGv_ptr v)
ae8b75dc 738{
e89b28a6 739 return temp_arg(tcgv_ptr_temp(v));
ae8b75dc
RH
740}
741
d2fd745f
RH
742static inline TCGArg tcgv_vec_arg(TCGv_vec v)
743{
744 return temp_arg(tcgv_vec_temp(v));
745}
746
085272b3
RH
747static inline TCGv_i32 temp_tcgv_i32(TCGTemp *t)
748{
e89b28a6 749 (void)temp_idx(t); /* trigger embedded assert */
b1311c4a 750 return (TCGv_i32)((void *)t - (void *)tcg_ctx);
085272b3
RH
751}
752
753static inline TCGv_i64 temp_tcgv_i64(TCGTemp *t)
754{
e89b28a6 755 return (TCGv_i64)temp_tcgv_i32(t);
085272b3
RH
756}
757
758static inline TCGv_ptr temp_tcgv_ptr(TCGTemp *t)
759{
e89b28a6 760 return (TCGv_ptr)temp_tcgv_i32(t);
085272b3
RH
761}
762
d2fd745f
RH
763static inline TCGv_vec temp_tcgv_vec(TCGTemp *t)
764{
765 return (TCGv_vec)temp_tcgv_i32(t);
766}
767
dc41aa7d
RH
768#if TCG_TARGET_REG_BITS == 32
769static inline TCGv_i32 TCGV_LOW(TCGv_i64 t)
770{
771 return temp_tcgv_i32(tcgv_i64_temp(t));
772}
773
774static inline TCGv_i32 TCGV_HIGH(TCGv_i64 t)
775{
776 return temp_tcgv_i32(tcgv_i64_temp(t) + 1);
777}
778#endif
779
2271a6ac
RH
780static inline TCGArg tcg_get_insn_param(TCGOp *op, int arg)
781{
782 return op->args[arg];
783}
784
15fa08f8 785static inline void tcg_set_insn_param(TCGOp *op, int arg, TCGArg v)
1d41478f 786{
15fa08f8 787 op->args[arg] = v;
1d41478f
EI
788}
789
2271a6ac
RH
790static inline target_ulong tcg_get_insn_start_param(TCGOp *op, int arg)
791{
792#if TARGET_LONG_BITS <= TCG_TARGET_REG_BITS
793 return tcg_get_insn_param(op, arg);
794#else
795 return tcg_get_insn_param(op, arg * 2) |
796 ((uint64_t)tcg_get_insn_param(op, arg * 2 + 1) << 32);
797#endif
798}
799
9743cd57
RH
800static inline void tcg_set_insn_start_param(TCGOp *op, int arg, target_ulong v)
801{
802#if TARGET_LONG_BITS <= TCG_TARGET_REG_BITS
803 tcg_set_insn_param(op, arg, v);
804#else
805 tcg_set_insn_param(op, arg * 2, v);
806 tcg_set_insn_param(op, arg * 2 + 1, v >> 32);
807#endif
808}
809
15fa08f8
RH
810/* The last op that was emitted. */
811static inline TCGOp *tcg_last_op(void)
fe700adb 812{
eae3eb3e 813 return QTAILQ_LAST(&tcg_ctx->ops);
fe700adb
RH
814}
815
816/* Test for whether to terminate the TB for using too many opcodes. */
817static inline bool tcg_op_buf_full(void)
818{
abebf925
RH
819 /* This is not a hard limit, it merely stops translation when
820 * we have produced "enough" opcodes. We want to limit TB size
821 * such that a RISC host can reasonably use a 16-bit signed
9f754620
RH
822 * branch within the TB. We also need to be mindful of the
823 * 16-bit unsigned offsets, TranslationBlock.jmp_reset_offset[]
824 * and TCGContext.gen_insn_end_off[].
abebf925 825 */
9f754620 826 return tcg_ctx->nb_ops >= 4000;
fe700adb
RH
827}
828
c896fe29
FB
829/* pool based memory allocation */
830
0ac20318 831/* user-mode: mmap_lock must be held for tcg_malloc_internal. */
c896fe29
FB
832void *tcg_malloc_internal(TCGContext *s, int size);
833void tcg_pool_reset(TCGContext *s);
6e3b2bfd 834TranslationBlock *tcg_tb_alloc(TCGContext *s);
c896fe29 835
e8feb96f 836void tcg_region_init(void);
938e897a 837void tb_destroy(TranslationBlock *tb);
e8feb96f
EC
838void tcg_region_reset_all(void);
839
840size_t tcg_code_size(void);
841size_t tcg_code_capacity(void);
842
be2cdc5e
EC
843void tcg_tb_insert(TranslationBlock *tb);
844void tcg_tb_remove(TranslationBlock *tb);
128ed227 845size_t tcg_tb_phys_invalidate_count(void);
be2cdc5e
EC
846TranslationBlock *tcg_tb_lookup(uintptr_t tc_ptr);
847void tcg_tb_foreach(GTraverseFunc func, gpointer user_data);
848size_t tcg_nb_tbs(void);
849
0ac20318 850/* user-mode: Called with mmap_lock held. */
c896fe29
FB
851static inline void *tcg_malloc(int size)
852{
b1311c4a 853 TCGContext *s = tcg_ctx;
c896fe29 854 uint8_t *ptr, *ptr_end;
13aaef67
RH
855
856 /* ??? This is a weak placeholder for minimum malloc alignment. */
857 size = QEMU_ALIGN_UP(size, 8);
858
c896fe29
FB
859 ptr = s->pool_cur;
860 ptr_end = ptr + size;
861 if (unlikely(ptr_end > s->pool_end)) {
b1311c4a 862 return tcg_malloc_internal(tcg_ctx, size);
c896fe29
FB
863 } else {
864 s->pool_cur = ptr_end;
865 return ptr;
866 }
867}
868
869void tcg_context_init(TCGContext *s);
3468b59e 870void tcg_register_thread(void);
9002ec79 871void tcg_prologue_init(TCGContext *s);
c896fe29
FB
872void tcg_func_start(TCGContext *s);
873
5bd2ec3d 874int tcg_gen_code(TCGContext *s, TranslationBlock *tb);
c896fe29 875
b6638662 876void tcg_set_frame(TCGContext *s, TCGReg reg, intptr_t start, intptr_t size);
a7812ae4 877
085272b3
RH
878TCGTemp *tcg_global_mem_new_internal(TCGType, TCGv_ptr,
879 intptr_t, const char *);
5bfa8034
RH
880TCGTemp *tcg_temp_new_internal(TCGType, bool);
881void tcg_temp_free_internal(TCGTemp *);
d2fd745f
RH
882TCGv_vec tcg_temp_new_vec(TCGType type);
883TCGv_vec tcg_temp_new_vec_matching(TCGv_vec match);
e1ccc054 884
5bfa8034
RH
885static inline void tcg_temp_free_i32(TCGv_i32 arg)
886{
887 tcg_temp_free_internal(tcgv_i32_temp(arg));
888}
889
890static inline void tcg_temp_free_i64(TCGv_i64 arg)
891{
892 tcg_temp_free_internal(tcgv_i64_temp(arg));
893}
894
895static inline void tcg_temp_free_ptr(TCGv_ptr arg)
896{
897 tcg_temp_free_internal(tcgv_ptr_temp(arg));
898}
899
900static inline void tcg_temp_free_vec(TCGv_vec arg)
901{
902 tcg_temp_free_internal(tcgv_vec_temp(arg));
903}
e1ccc054 904
e1ccc054
RH
905static inline TCGv_i32 tcg_global_mem_new_i32(TCGv_ptr reg, intptr_t offset,
906 const char *name)
907{
085272b3
RH
908 TCGTemp *t = tcg_global_mem_new_internal(TCG_TYPE_I32, reg, offset, name);
909 return temp_tcgv_i32(t);
e1ccc054
RH
910}
911
a7812ae4
PB
912static inline TCGv_i32 tcg_temp_new_i32(void)
913{
5bfa8034
RH
914 TCGTemp *t = tcg_temp_new_internal(TCG_TYPE_I32, false);
915 return temp_tcgv_i32(t);
a7812ae4 916}
e1ccc054 917
a7812ae4
PB
918static inline TCGv_i32 tcg_temp_local_new_i32(void)
919{
5bfa8034
RH
920 TCGTemp *t = tcg_temp_new_internal(TCG_TYPE_I32, true);
921 return temp_tcgv_i32(t);
a7812ae4 922}
a7812ae4 923
e1ccc054
RH
924static inline TCGv_i64 tcg_global_mem_new_i64(TCGv_ptr reg, intptr_t offset,
925 const char *name)
926{
085272b3
RH
927 TCGTemp *t = tcg_global_mem_new_internal(TCG_TYPE_I64, reg, offset, name);
928 return temp_tcgv_i64(t);
e1ccc054
RH
929}
930
a7812ae4 931static inline TCGv_i64 tcg_temp_new_i64(void)
641d5fbe 932{
5bfa8034
RH
933 TCGTemp *t = tcg_temp_new_internal(TCG_TYPE_I64, false);
934 return temp_tcgv_i64(t);
641d5fbe 935}
e1ccc054 936
a7812ae4 937static inline TCGv_i64 tcg_temp_local_new_i64(void)
641d5fbe 938{
5bfa8034
RH
939 TCGTemp *t = tcg_temp_new_internal(TCG_TYPE_I64, true);
940 return temp_tcgv_i64(t);
941}
942
943static inline TCGv_ptr tcg_global_mem_new_ptr(TCGv_ptr reg, intptr_t offset,
944 const char *name)
945{
946 TCGTemp *t = tcg_global_mem_new_internal(TCG_TYPE_PTR, reg, offset, name);
947 return temp_tcgv_ptr(t);
948}
949
950static inline TCGv_ptr tcg_temp_new_ptr(void)
951{
952 TCGTemp *t = tcg_temp_new_internal(TCG_TYPE_PTR, false);
953 return temp_tcgv_ptr(t);
954}
955
956static inline TCGv_ptr tcg_temp_local_new_ptr(void)
957{
958 TCGTemp *t = tcg_temp_new_internal(TCG_TYPE_PTR, true);
959 return temp_tcgv_ptr(t);
641d5fbe 960}
a7812ae4 961
27bfd83c
PM
962#if defined(CONFIG_DEBUG_TCG)
963/* If you call tcg_clear_temp_count() at the start of a section of
964 * code which is not supposed to leak any TCG temporaries, then
965 * calling tcg_check_temp_count() at the end of the section will
966 * return 1 if the section did in fact leak a temporary.
967 */
968void tcg_clear_temp_count(void);
969int tcg_check_temp_count(void);
970#else
971#define tcg_clear_temp_count() do { } while (0)
972#define tcg_check_temp_count() 0
973#endif
974
72fd2efb 975int64_t tcg_cpu_exec_time(void);
3de2faa9 976void tcg_dump_info(void);
d4c51a0a 977void tcg_dump_op_count(void);
c896fe29 978
bc2b17e6 979#define TCG_CT_CONST 1 /* any constant of register size */
c896fe29
FB
980
981typedef struct TCGArgConstraint {
bc2b17e6
RH
982 unsigned ct : 16;
983 unsigned alias_index : 4;
984 unsigned sort_index : 4;
985 bool oalias : 1;
986 bool ialias : 1;
987 bool newreg : 1;
9be0d080 988 TCGRegSet regs;
c896fe29
FB
989} TCGArgConstraint;
990
991#define TCG_MAX_OP_ARGS 16
992
b4cb76e6 993/* Bits for TCGOpDef->flags, 8 bits available, all used. */
8399ad59 994enum {
ae36a246
RH
995 /* Instruction exits the translation block. */
996 TCG_OPF_BB_EXIT = 0x01,
8399ad59 997 /* Instruction defines the end of a basic block. */
ae36a246 998 TCG_OPF_BB_END = 0x02,
8399ad59 999 /* Instruction clobbers call registers and potentially update globals. */
ae36a246 1000 TCG_OPF_CALL_CLOBBER = 0x04,
3d5c5f87
AJ
1001 /* Instruction has side effects: it cannot be removed if its outputs
1002 are not used, and might trigger exceptions. */
ae36a246 1003 TCG_OPF_SIDE_EFFECTS = 0x08,
8399ad59 1004 /* Instruction operands are 64-bits (otherwise 32-bits). */
ae36a246 1005 TCG_OPF_64BIT = 0x10,
c1a61f6c
RH
1006 /* Instruction is optional and not implemented by the host, or insn
1007 is generic and should not be implemened by the host. */
ae36a246 1008 TCG_OPF_NOT_PRESENT = 0x20,
d2fd745f 1009 /* Instruction operands are vectors. */
ae36a246 1010 TCG_OPF_VECTOR = 0x40,
b4cb76e6
RH
1011 /* Instruction is a conditional branch. */
1012 TCG_OPF_COND_BRANCH = 0x80
8399ad59 1013};
c896fe29
FB
1014
1015typedef struct TCGOpDef {
1016 const char *name;
1017 uint8_t nb_oargs, nb_iargs, nb_cargs, nb_args;
1018 uint8_t flags;
c896fe29 1019 TCGArgConstraint *args_ct;
c896fe29 1020} TCGOpDef;
8399ad59
RH
1021
1022extern TCGOpDef tcg_op_defs[];
2a24374a
SW
1023extern const size_t tcg_op_defs_max;
1024
c896fe29 1025typedef struct TCGTargetOpDef {
a9751609 1026 TCGOpcode op;
c896fe29
FB
1027 const char *args_ct_str[TCG_MAX_OP_ARGS];
1028} TCGTargetOpDef;
1029
c896fe29
FB
1030#define tcg_abort() \
1031do {\
1032 fprintf(stderr, "%s:%d: tcg fatal error\n", __FILE__, __LINE__);\
1033 abort();\
1034} while (0)
1035
be0f34b5
RH
1036bool tcg_op_supported(TCGOpcode op);
1037
ae8b75dc 1038void tcg_gen_callN(void *func, TCGTemp *ret, int nargs, TCGTemp **args);
a7812ae4 1039
15fa08f8 1040TCGOp *tcg_emit_op(TCGOpcode opc);
0c627cdc 1041void tcg_op_remove(TCGContext *s, TCGOp *op);
ac1043f6
EC
1042TCGOp *tcg_op_insert_before(TCGContext *s, TCGOp *op, TCGOpcode opc);
1043TCGOp *tcg_op_insert_after(TCGContext *s, TCGOp *op, TCGOpcode opc);
5a18407f 1044
c45cb8bb 1045void tcg_optimize(TCGContext *s);
a7812ae4 1046
a7812ae4
PB
1047TCGv_i32 tcg_const_i32(int32_t val);
1048TCGv_i64 tcg_const_i64(int64_t val);
1049TCGv_i32 tcg_const_local_i32(int32_t val);
1050TCGv_i64 tcg_const_local_i64(int64_t val);
d2fd745f
RH
1051TCGv_vec tcg_const_zeros_vec(TCGType);
1052TCGv_vec tcg_const_ones_vec(TCGType);
1053TCGv_vec tcg_const_zeros_vec_matching(TCGv_vec);
1054TCGv_vec tcg_const_ones_vec_matching(TCGv_vec);
a7812ae4 1055
5bfa8034
RH
1056#if UINTPTR_MAX == UINT32_MAX
1057# define tcg_const_ptr(x) ((TCGv_ptr)tcg_const_i32((intptr_t)(x)))
1058# define tcg_const_local_ptr(x) ((TCGv_ptr)tcg_const_local_i32((intptr_t)(x)))
1059#else
1060# define tcg_const_ptr(x) ((TCGv_ptr)tcg_const_i64((intptr_t)(x)))
1061# define tcg_const_local_ptr(x) ((TCGv_ptr)tcg_const_local_i64((intptr_t)(x)))
1062#endif
1063
42a268c2
RH
1064TCGLabel *gen_new_label(void);
1065
1066/**
1067 * label_arg
1068 * @l: label
1069 *
1070 * Encode a label for storage in the TCG opcode stream.
1071 */
1072
1073static inline TCGArg label_arg(TCGLabel *l)
1074{
51e3972c 1075 return (uintptr_t)l;
42a268c2
RH
1076}
1077
1078/**
1079 * arg_label
1080 * @i: value
1081 *
1082 * The opposite of label_arg. Retrieve a label from the
1083 * encoding of the TCG opcode stream.
1084 */
1085
51e3972c 1086static inline TCGLabel *arg_label(TCGArg i)
42a268c2 1087{
51e3972c 1088 return (TCGLabel *)(uintptr_t)i;
42a268c2
RH
1089}
1090
52a1f64e
RH
1091/**
1092 * tcg_ptr_byte_diff
1093 * @a, @b: addresses to be differenced
1094 *
1095 * There are many places within the TCG backends where we need a byte
1096 * difference between two pointers. While this can be accomplished
1097 * with local casting, it's easy to get wrong -- especially if one is
1098 * concerned with the signedness of the result.
1099 *
1100 * This version relies on GCC's void pointer arithmetic to get the
1101 * correct result.
1102 */
1103
1104static inline ptrdiff_t tcg_ptr_byte_diff(void *a, void *b)
1105{
1106 return a - b;
1107}
1108
1109/**
1110 * tcg_pcrel_diff
1111 * @s: the tcg context
1112 * @target: address of the target
1113 *
1114 * Produce a pc-relative difference, from the current code_ptr
1115 * to the destination address.
1116 */
1117
1118static inline ptrdiff_t tcg_pcrel_diff(TCGContext *s, void *target)
1119{
1120 return tcg_ptr_byte_diff(target, s->code_ptr);
1121}
1122
1123/**
1124 * tcg_current_code_size
1125 * @s: the tcg context
1126 *
1127 * Compute the current code size within the translation block.
1128 * This is used to fill in qemu's data structures for goto_tb.
1129 */
1130
1131static inline size_t tcg_current_code_size(TCGContext *s)
1132{
1133 return tcg_ptr_byte_diff(s->code_ptr, s->code_buf);
1134}
1135
14776ab5 1136/* Combine the MemOp and mmu_idx parameters into a single value. */
59227d5d
RH
1137typedef uint32_t TCGMemOpIdx;
1138
1139/**
1140 * make_memop_idx
1141 * @op: memory operation
1142 * @idx: mmu index
1143 *
1144 * Encode these values into a single parameter.
1145 */
14776ab5 1146static inline TCGMemOpIdx make_memop_idx(MemOp op, unsigned idx)
59227d5d
RH
1147{
1148 tcg_debug_assert(idx <= 15);
1149 return (op << 4) | idx;
1150}
1151
1152/**
1153 * get_memop
1154 * @oi: combined op/idx parameter
1155 *
1156 * Extract the memory operation from the combined value.
1157 */
14776ab5 1158static inline MemOp get_memop(TCGMemOpIdx oi)
59227d5d
RH
1159{
1160 return oi >> 4;
1161}
1162
1163/**
1164 * get_mmuidx
1165 * @oi: combined op/idx parameter
1166 *
1167 * Extract the mmu index from the combined value.
1168 */
1169static inline unsigned get_mmuidx(TCGMemOpIdx oi)
1170{
1171 return oi & 15;
1172}
1173
0980011b
PM
1174/**
1175 * tcg_qemu_tb_exec:
819af24b 1176 * @env: pointer to CPUArchState for the CPU
0980011b
PM
1177 * @tb_ptr: address of generated code for the TB to execute
1178 *
1179 * Start executing code from a given translation block.
1180 * Where translation blocks have been linked, execution
1181 * may proceed from the given TB into successive ones.
1182 * Control eventually returns only when some action is needed
1183 * from the top-level loop: either control must pass to a TB
1184 * which has not yet been directly linked, or an asynchronous
1185 * event such as an interrupt needs handling.
1186 *
819af24b
SF
1187 * Return: The return value is the value passed to the corresponding
1188 * tcg_gen_exit_tb() at translation time of the last TB attempted to execute.
1189 * The value is either zero or a 4-byte aligned pointer to that TB combined
1190 * with additional information in its two least significant bits. The
1191 * additional information is encoded as follows:
0980011b
PM
1192 * 0, 1: the link between this TB and the next is via the specified
1193 * TB index (0 or 1). That is, we left the TB via (the equivalent
1194 * of) "goto_tb <index>". The main loop uses this to determine
1195 * how to link the TB just executed to the next.
1196 * 2: we are using instruction counting code generation, and we
1197 * did not start executing this TB because the instruction counter
819af24b 1198 * would hit zero midway through it. In this case the pointer
0980011b
PM
1199 * returned is the TB we were about to execute, and the caller must
1200 * arrange to execute the remaining count of instructions.
378df4b2
PM
1201 * 3: we stopped because the CPU's exit_request flag was set
1202 * (usually meaning that there is an interrupt that needs to be
819af24b
SF
1203 * handled). The pointer returned is the TB we were about to execute
1204 * when we noticed the pending exit request.
0980011b
PM
1205 *
1206 * If the bottom two bits indicate an exit-via-index then the CPU
1207 * state is correctly synchronised and ready for execution of the next
1208 * TB (and in particular the guest PC is the address to execute next).
1209 * Otherwise, we gave up on execution of this TB before it started, and
fee068e4 1210 * the caller must fix up the CPU state by calling the CPU's
819af24b 1211 * synchronize_from_tb() method with the TB pointer we return (falling
fee068e4
PC
1212 * back to calling the CPU's set_pc method with tb->pb if no
1213 * synchronize_from_tb() method exists).
0980011b
PM
1214 *
1215 * Note that TCG targets may use a different definition of tcg_qemu_tb_exec
1216 * to this default (which just calls the prologue.code emitted by
1217 * tcg_target_qemu_prologue()).
1218 */
07ea28b4
RH
1219#define TB_EXIT_MASK 3
1220#define TB_EXIT_IDX0 0
1221#define TB_EXIT_IDX1 1
1222#define TB_EXIT_IDXMAX 1
378df4b2 1223#define TB_EXIT_REQUESTED 3
0980011b 1224
5a58e884
PB
1225#ifdef HAVE_TCG_QEMU_TB_EXEC
1226uintptr_t tcg_qemu_tb_exec(CPUArchState *env, uint8_t *tb_ptr);
1227#else
ce285b17 1228# define tcg_qemu_tb_exec(env, tb_ptr) \
b1311c4a 1229 ((uintptr_t (*)(void *, void *))tcg_ctx->code_gen_prologue)(env, tb_ptr)
932a6909 1230#endif
813da627
RH
1231
1232void tcg_register_jit(void *buf, size_t buf_size);
b76f0d8c 1233
db432672
RH
1234#if TCG_TARGET_MAYBE_vec
1235/* Return zero if the tuple (opc, type, vece) is unsupportable;
1236 return > 0 if it is directly supportable;
1237 return < 0 if we must call tcg_expand_vec_op. */
1238int tcg_can_emit_vec_op(TCGOpcode, TCGType, unsigned);
1239#else
1240static inline int tcg_can_emit_vec_op(TCGOpcode o, TCGType t, unsigned ve)
1241{
1242 return 0;
1243}
1244#endif
1245
1246/* Expand the tuple (opc, type, vece) on the given arguments. */
1247void tcg_expand_vec_op(TCGOpcode, TCGType, unsigned, TCGArg, ...);
1248
1249/* Replicate a constant C accoring to the log2 of the element size. */
1250uint64_t dup_const(unsigned vece, uint64_t c);
1251
1252#define dup_const(VECE, C) \
1253 (__builtin_constant_p(VECE) \
1254 ? ( (VECE) == MO_8 ? 0x0101010101010101ull * (uint8_t)(C) \
1255 : (VECE) == MO_16 ? 0x0001000100010001ull * (uint16_t)(C) \
1256 : (VECE) == MO_32 ? 0x0000000100000001ull * (uint32_t)(C) \
1257 : dup_const(VECE, C)) \
1258 : dup_const(VECE, C))
1259
1260
e58eb534
RH
1261/*
1262 * Memory helpers that will be used by TCG generated code.
1263 */
1264#ifdef CONFIG_SOFTMMU
c8f94df5
RH
1265/* Value zero-extended to tcg register size. */
1266tcg_target_ulong helper_ret_ldub_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1267 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1268tcg_target_ulong helper_le_lduw_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1269 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1270tcg_target_ulong helper_le_ldul_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1271 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1272uint64_t helper_le_ldq_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1273 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1274tcg_target_ulong helper_be_lduw_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1275 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1276tcg_target_ulong helper_be_ldul_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1277 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1278uint64_t helper_be_ldq_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1279 TCGMemOpIdx oi, uintptr_t retaddr);
e58eb534 1280
c8f94df5
RH
1281/* Value sign-extended to tcg register size. */
1282tcg_target_ulong helper_ret_ldsb_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1283 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1284tcg_target_ulong helper_le_ldsw_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1285 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1286tcg_target_ulong helper_le_ldsl_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1287 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1288tcg_target_ulong helper_be_ldsw_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1289 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1290tcg_target_ulong helper_be_ldsl_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1291 TCGMemOpIdx oi, uintptr_t retaddr);
c8f94df5 1292
e58eb534 1293void helper_ret_stb_mmu(CPUArchState *env, target_ulong addr, uint8_t val,
3972ef6f 1294 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1295void helper_le_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
3972ef6f 1296 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1297void helper_le_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
3972ef6f 1298 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1299void helper_le_stq_mmu(CPUArchState *env, target_ulong addr, uint64_t val,
3972ef6f 1300 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1301void helper_be_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
3972ef6f 1302 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1303void helper_be_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
3972ef6f 1304 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1305void helper_be_stq_mmu(CPUArchState *env, target_ulong addr, uint64_t val,
3972ef6f 1306 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201
RH
1307
1308/* Temporary aliases until backends are converted. */
1309#ifdef TARGET_WORDS_BIGENDIAN
1310# define helper_ret_ldsw_mmu helper_be_ldsw_mmu
1311# define helper_ret_lduw_mmu helper_be_lduw_mmu
1312# define helper_ret_ldsl_mmu helper_be_ldsl_mmu
1313# define helper_ret_ldul_mmu helper_be_ldul_mmu
282dffc8 1314# define helper_ret_ldl_mmu helper_be_ldul_mmu
867b3201
RH
1315# define helper_ret_ldq_mmu helper_be_ldq_mmu
1316# define helper_ret_stw_mmu helper_be_stw_mmu
1317# define helper_ret_stl_mmu helper_be_stl_mmu
1318# define helper_ret_stq_mmu helper_be_stq_mmu
1319#else
1320# define helper_ret_ldsw_mmu helper_le_ldsw_mmu
1321# define helper_ret_lduw_mmu helper_le_lduw_mmu
1322# define helper_ret_ldsl_mmu helper_le_ldsl_mmu
1323# define helper_ret_ldul_mmu helper_le_ldul_mmu
282dffc8 1324# define helper_ret_ldl_mmu helper_le_ldul_mmu
867b3201
RH
1325# define helper_ret_ldq_mmu helper_le_ldq_mmu
1326# define helper_ret_stw_mmu helper_le_stw_mmu
1327# define helper_ret_stl_mmu helper_le_stl_mmu
1328# define helper_ret_stq_mmu helper_le_stq_mmu
1329#endif
e58eb534 1330
c482cb11
RH
1331uint32_t helper_atomic_cmpxchgb_mmu(CPUArchState *env, target_ulong addr,
1332 uint32_t cmpv, uint32_t newv,
1333 TCGMemOpIdx oi, uintptr_t retaddr);
1334uint32_t helper_atomic_cmpxchgw_le_mmu(CPUArchState *env, target_ulong addr,
1335 uint32_t cmpv, uint32_t newv,
1336 TCGMemOpIdx oi, uintptr_t retaddr);
1337uint32_t helper_atomic_cmpxchgl_le_mmu(CPUArchState *env, target_ulong addr,
1338 uint32_t cmpv, uint32_t newv,
1339 TCGMemOpIdx oi, uintptr_t retaddr);
1340uint64_t helper_atomic_cmpxchgq_le_mmu(CPUArchState *env, target_ulong addr,
1341 uint64_t cmpv, uint64_t newv,
1342 TCGMemOpIdx oi, uintptr_t retaddr);
1343uint32_t helper_atomic_cmpxchgw_be_mmu(CPUArchState *env, target_ulong addr,
1344 uint32_t cmpv, uint32_t newv,
1345 TCGMemOpIdx oi, uintptr_t retaddr);
1346uint32_t helper_atomic_cmpxchgl_be_mmu(CPUArchState *env, target_ulong addr,
1347 uint32_t cmpv, uint32_t newv,
1348 TCGMemOpIdx oi, uintptr_t retaddr);
1349uint64_t helper_atomic_cmpxchgq_be_mmu(CPUArchState *env, target_ulong addr,
1350 uint64_t cmpv, uint64_t newv,
1351 TCGMemOpIdx oi, uintptr_t retaddr);
1352
1353#define GEN_ATOMIC_HELPER(NAME, TYPE, SUFFIX) \
1354TYPE helper_atomic_ ## NAME ## SUFFIX ## _mmu \
1355 (CPUArchState *env, target_ulong addr, TYPE val, \
1356 TCGMemOpIdx oi, uintptr_t retaddr);
1357
df79b996 1358#ifdef CONFIG_ATOMIC64
c482cb11 1359#define GEN_ATOMIC_HELPER_ALL(NAME) \
df79b996 1360 GEN_ATOMIC_HELPER(NAME, uint32_t, b) \
c482cb11 1361 GEN_ATOMIC_HELPER(NAME, uint32_t, w_le) \
c482cb11 1362 GEN_ATOMIC_HELPER(NAME, uint32_t, w_be) \
df79b996 1363 GEN_ATOMIC_HELPER(NAME, uint32_t, l_le) \
c482cb11 1364 GEN_ATOMIC_HELPER(NAME, uint32_t, l_be) \
df79b996 1365 GEN_ATOMIC_HELPER(NAME, uint64_t, q_le) \
c482cb11 1366 GEN_ATOMIC_HELPER(NAME, uint64_t, q_be)
df79b996
RH
1367#else
1368#define GEN_ATOMIC_HELPER_ALL(NAME) \
1369 GEN_ATOMIC_HELPER(NAME, uint32_t, b) \
1370 GEN_ATOMIC_HELPER(NAME, uint32_t, w_le) \
1371 GEN_ATOMIC_HELPER(NAME, uint32_t, w_be) \
1372 GEN_ATOMIC_HELPER(NAME, uint32_t, l_le) \
1373 GEN_ATOMIC_HELPER(NAME, uint32_t, l_be)
1374#endif
c482cb11
RH
1375
1376GEN_ATOMIC_HELPER_ALL(fetch_add)
1377GEN_ATOMIC_HELPER_ALL(fetch_sub)
1378GEN_ATOMIC_HELPER_ALL(fetch_and)
1379GEN_ATOMIC_HELPER_ALL(fetch_or)
1380GEN_ATOMIC_HELPER_ALL(fetch_xor)
5507c2bf
RH
1381GEN_ATOMIC_HELPER_ALL(fetch_smin)
1382GEN_ATOMIC_HELPER_ALL(fetch_umin)
1383GEN_ATOMIC_HELPER_ALL(fetch_smax)
1384GEN_ATOMIC_HELPER_ALL(fetch_umax)
c482cb11
RH
1385
1386GEN_ATOMIC_HELPER_ALL(add_fetch)
1387GEN_ATOMIC_HELPER_ALL(sub_fetch)
1388GEN_ATOMIC_HELPER_ALL(and_fetch)
1389GEN_ATOMIC_HELPER_ALL(or_fetch)
1390GEN_ATOMIC_HELPER_ALL(xor_fetch)
5507c2bf
RH
1391GEN_ATOMIC_HELPER_ALL(smin_fetch)
1392GEN_ATOMIC_HELPER_ALL(umin_fetch)
1393GEN_ATOMIC_HELPER_ALL(smax_fetch)
1394GEN_ATOMIC_HELPER_ALL(umax_fetch)
c482cb11
RH
1395
1396GEN_ATOMIC_HELPER_ALL(xchg)
1397
1398#undef GEN_ATOMIC_HELPER_ALL
1399#undef GEN_ATOMIC_HELPER
e58eb534
RH
1400#endif /* CONFIG_SOFTMMU */
1401
e6cd4bb5
RH
1402/*
1403 * These aren't really a "proper" helpers because TCG cannot manage Int128.
1404 * However, use the same format as the others, for use by the backends.
1405 *
1406 * The cmpxchg functions are only defined if HAVE_CMPXCHG128;
1407 * the ld/st functions are only defined if HAVE_ATOMIC128,
1408 * as defined by <qemu/atomic128.h>.
1409 */
7ebee43e
RH
1410Int128 helper_atomic_cmpxchgo_le_mmu(CPUArchState *env, target_ulong addr,
1411 Int128 cmpv, Int128 newv,
1412 TCGMemOpIdx oi, uintptr_t retaddr);
1413Int128 helper_atomic_cmpxchgo_be_mmu(CPUArchState *env, target_ulong addr,
1414 Int128 cmpv, Int128 newv,
1415 TCGMemOpIdx oi, uintptr_t retaddr);
1416
1417Int128 helper_atomic_ldo_le_mmu(CPUArchState *env, target_ulong addr,
1418 TCGMemOpIdx oi, uintptr_t retaddr);
1419Int128 helper_atomic_ldo_be_mmu(CPUArchState *env, target_ulong addr,
1420 TCGMemOpIdx oi, uintptr_t retaddr);
1421void helper_atomic_sto_le_mmu(CPUArchState *env, target_ulong addr, Int128 val,
1422 TCGMemOpIdx oi, uintptr_t retaddr);
1423void helper_atomic_sto_be_mmu(CPUArchState *env, target_ulong addr, Int128 val,
1424 TCGMemOpIdx oi, uintptr_t retaddr);
1425
53229a77
RH
1426#ifdef CONFIG_DEBUG_TCG
1427void tcg_assert_listed_vecop(TCGOpcode);
1428#else
1429static inline void tcg_assert_listed_vecop(TCGOpcode op) { }
1430#endif
1431
1432static inline const TCGOpcode *tcg_swap_vecop_list(const TCGOpcode *n)
1433{
1434#ifdef CONFIG_DEBUG_TCG
1435 const TCGOpcode *o = tcg_ctx->vecop_list;
1436 tcg_ctx->vecop_list = n;
1437 return o;
1438#else
1439 return NULL;
1440#endif
1441}
1442
1443bool tcg_can_emit_vecop_list(const TCGOpcode *, TCGType, unsigned);
1444
e58eb534 1445#endif /* TCG_H */