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