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