]> Git Repo - qemu.git/blame - tcg/tcg.h
tcg/s390: Fix setcond expansion
[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"
78cd7b83
RH
32#include "tcg-target.h"
33
00f6da6a
PB
34/* XXX: make safe guess about sizes */
35#define MAX_OP_PER_INSTR 266
36
37#if HOST_LONG_BITS == 32
38#define MAX_OPC_PARAM_PER_ARG 2
39#else
40#define MAX_OPC_PARAM_PER_ARG 1
41#endif
42#define MAX_OPC_PARAM_IARGS 5
43#define MAX_OPC_PARAM_OARGS 1
44#define MAX_OPC_PARAM_ARGS (MAX_OPC_PARAM_IARGS + MAX_OPC_PARAM_OARGS)
45
46/* A Call op needs up to 4 + 2N parameters on 32-bit archs,
47 * and up to 4 + N parameters on 64-bit archs
48 * (N = number of input arguments + output arguments). */
49#define MAX_OPC_PARAM (4 + (MAX_OPC_PARAM_PER_ARG * MAX_OPC_PARAM_ARGS))
50#define OPC_BUF_SIZE 640
51#define OPC_MAX_SIZE (OPC_BUF_SIZE - MAX_OP_PER_INSTR)
52
53#define OPPARAM_BUF_SIZE (OPC_BUF_SIZE * MAX_OPC_PARAM)
54
6e0b0730
PC
55#define CPU_TEMP_BUF_NLONGS 128
56
78cd7b83
RH
57/* Default target word size to pointer size. */
58#ifndef TCG_TARGET_REG_BITS
59# if UINTPTR_MAX == UINT32_MAX
60# define TCG_TARGET_REG_BITS 32
61# elif UINTPTR_MAX == UINT64_MAX
62# define TCG_TARGET_REG_BITS 64
63# else
64# error Unknown pointer size for tcg target
65# endif
817b838e
SW
66#endif
67
c896fe29
FB
68#if TCG_TARGET_REG_BITS == 32
69typedef int32_t tcg_target_long;
70typedef uint32_t tcg_target_ulong;
71#define TCG_PRIlx PRIx32
72#define TCG_PRIld PRId32
73#elif TCG_TARGET_REG_BITS == 64
74typedef int64_t tcg_target_long;
75typedef uint64_t tcg_target_ulong;
76#define TCG_PRIlx PRIx64
77#define TCG_PRIld PRId64
78#else
79#error unsupported
80#endif
81
82#if TCG_TARGET_NB_REGS <= 32
83typedef uint32_t TCGRegSet;
84#elif TCG_TARGET_NB_REGS <= 64
85typedef uint64_t TCGRegSet;
86#else
87#error unsupported
88#endif
89
25c4d9cc 90#if TCG_TARGET_REG_BITS == 32
e6a72734 91/* Turn some undef macros into false macros. */
609ad705
RH
92#define TCG_TARGET_HAS_extrl_i64_i32 0
93#define TCG_TARGET_HAS_extrh_i64_i32 0
25c4d9cc 94#define TCG_TARGET_HAS_div_i64 0
ca675f46 95#define TCG_TARGET_HAS_rem_i64 0
25c4d9cc
RH
96#define TCG_TARGET_HAS_div2_i64 0
97#define TCG_TARGET_HAS_rot_i64 0
98#define TCG_TARGET_HAS_ext8s_i64 0
99#define TCG_TARGET_HAS_ext16s_i64 0
100#define TCG_TARGET_HAS_ext32s_i64 0
101#define TCG_TARGET_HAS_ext8u_i64 0
102#define TCG_TARGET_HAS_ext16u_i64 0
103#define TCG_TARGET_HAS_ext32u_i64 0
104#define TCG_TARGET_HAS_bswap16_i64 0
105#define TCG_TARGET_HAS_bswap32_i64 0
106#define TCG_TARGET_HAS_bswap64_i64 0
107#define TCG_TARGET_HAS_neg_i64 0
108#define TCG_TARGET_HAS_not_i64 0
109#define TCG_TARGET_HAS_andc_i64 0
110#define TCG_TARGET_HAS_orc_i64 0
111#define TCG_TARGET_HAS_eqv_i64 0
112#define TCG_TARGET_HAS_nand_i64 0
113#define TCG_TARGET_HAS_nor_i64 0
114#define TCG_TARGET_HAS_deposit_i64 0
ffc5ea09 115#define TCG_TARGET_HAS_movcond_i64 0
d7156f7c
RH
116#define TCG_TARGET_HAS_add2_i64 0
117#define TCG_TARGET_HAS_sub2_i64 0
118#define TCG_TARGET_HAS_mulu2_i64 0
4d3203fd 119#define TCG_TARGET_HAS_muls2_i64 0
03271524
RH
120#define TCG_TARGET_HAS_muluh_i64 0
121#define TCG_TARGET_HAS_mulsh_i64 0
e6a72734
RH
122/* Turn some undef macros into true macros. */
123#define TCG_TARGET_HAS_add2_i32 1
124#define TCG_TARGET_HAS_sub2_i32 1
25c4d9cc
RH
125#endif
126
a4773324
JK
127#ifndef TCG_TARGET_deposit_i32_valid
128#define TCG_TARGET_deposit_i32_valid(ofs, len) 1
129#endif
130#ifndef TCG_TARGET_deposit_i64_valid
131#define TCG_TARGET_deposit_i64_valid(ofs, len) 1
132#endif
133
25c4d9cc
RH
134/* Only one of DIV or DIV2 should be defined. */
135#if defined(TCG_TARGET_HAS_div_i32)
136#define TCG_TARGET_HAS_div2_i32 0
137#elif defined(TCG_TARGET_HAS_div2_i32)
138#define TCG_TARGET_HAS_div_i32 0
ca675f46 139#define TCG_TARGET_HAS_rem_i32 0
25c4d9cc
RH
140#endif
141#if defined(TCG_TARGET_HAS_div_i64)
142#define TCG_TARGET_HAS_div2_i64 0
143#elif defined(TCG_TARGET_HAS_div2_i64)
144#define TCG_TARGET_HAS_div_i64 0
ca675f46 145#define TCG_TARGET_HAS_rem_i64 0
25c4d9cc
RH
146#endif
147
df9ebea5
RH
148/* For 32-bit targets, some sort of unsigned widening multiply is required. */
149#if TCG_TARGET_REG_BITS == 32 \
150 && !(defined(TCG_TARGET_HAS_mulu2_i32) \
151 || defined(TCG_TARGET_HAS_muluh_i32))
152# error "Missing unsigned widening multiply"
153#endif
154
9aef40ed
RH
155#ifndef TARGET_INSN_START_EXTRA_WORDS
156# define TARGET_INSN_START_WORDS 1
157#else
158# define TARGET_INSN_START_WORDS (1 + TARGET_INSN_START_EXTRA_WORDS)
159#endif
160
a9751609 161typedef enum TCGOpcode {
c61aaf7a 162#define DEF(name, oargs, iargs, cargs, flags) INDEX_op_ ## name,
c896fe29
FB
163#include "tcg-opc.h"
164#undef DEF
165 NB_OPS,
a9751609 166} TCGOpcode;
c896fe29
FB
167
168#define tcg_regset_clear(d) (d) = 0
169#define tcg_regset_set(d, s) (d) = (s)
170#define tcg_regset_set32(d, reg, val32) (d) |= (val32) << (reg)
7d301752
AJ
171#define tcg_regset_set_reg(d, r) (d) |= 1L << (r)
172#define tcg_regset_reset_reg(d, r) (d) &= ~(1L << (r))
c896fe29
FB
173#define tcg_regset_test_reg(d, r) (((d) >> (r)) & 1)
174#define tcg_regset_or(d, a, b) (d) = (a) | (b)
175#define tcg_regset_and(d, a, b) (d) = (a) & (b)
176#define tcg_regset_andnot(d, a, b) (d) = (a) & ~(b)
177#define tcg_regset_not(d, a) (d) = ~(a)
178
1813e175 179#ifndef TCG_TARGET_INSN_UNIT_SIZE
5053361b
RH
180# error "Missing TCG_TARGET_INSN_UNIT_SIZE"
181#elif TCG_TARGET_INSN_UNIT_SIZE == 1
1813e175
RH
182typedef uint8_t tcg_insn_unit;
183#elif TCG_TARGET_INSN_UNIT_SIZE == 2
184typedef uint16_t tcg_insn_unit;
185#elif TCG_TARGET_INSN_UNIT_SIZE == 4
186typedef uint32_t tcg_insn_unit;
187#elif TCG_TARGET_INSN_UNIT_SIZE == 8
188typedef uint64_t tcg_insn_unit;
189#else
190/* The port better have done this. */
191#endif
192
193
8bff06a0 194#if defined CONFIG_DEBUG_TCG || defined QEMU_STATIC_ANALYSIS
1f00b27f
SS
195# define tcg_debug_assert(X) do { assert(X); } while (0)
196#elif QEMU_GNUC_PREREQ(4, 5)
197# define tcg_debug_assert(X) \
198 do { if (!(X)) { __builtin_unreachable(); } } while (0)
199#else
200# define tcg_debug_assert(X) do { (void)(X); } while (0)
201#endif
202
c896fe29
FB
203typedef struct TCGRelocation {
204 struct TCGRelocation *next;
205 int type;
1813e175 206 tcg_insn_unit *ptr;
2ba7fae2 207 intptr_t addend;
c896fe29
FB
208} TCGRelocation;
209
210typedef struct TCGLabel {
51e3972c
RH
211 unsigned has_value : 1;
212 unsigned id : 31;
c896fe29 213 union {
2ba7fae2 214 uintptr_t value;
1813e175 215 tcg_insn_unit *value_ptr;
c896fe29
FB
216 TCGRelocation *first_reloc;
217 } u;
218} TCGLabel;
219
220typedef struct TCGPool {
221 struct TCGPool *next;
c44f945a
BS
222 int size;
223 uint8_t data[0] __attribute__ ((aligned));
c896fe29
FB
224} TCGPool;
225
226#define TCG_POOL_CHUNK_SIZE 32768
227
c4071c90 228#define TCG_MAX_TEMPS 512
190ce7fb 229#define TCG_MAX_INSNS 512
c896fe29 230
b03cce8e
FB
231/* when the size of the arguments of a called function is smaller than
232 this value, they are statically allocated in the TB stack frame */
233#define TCG_STATIC_CALL_ARGS_SIZE 128
234
c02244a5
RH
235typedef enum TCGType {
236 TCG_TYPE_I32,
237 TCG_TYPE_I64,
238 TCG_TYPE_COUNT, /* number of different types */
c896fe29 239
3b6dac34 240 /* An alias for the size of the host register. */
c896fe29 241#if TCG_TARGET_REG_BITS == 32
3b6dac34 242 TCG_TYPE_REG = TCG_TYPE_I32,
c02244a5 243#else
3b6dac34 244 TCG_TYPE_REG = TCG_TYPE_I64,
c02244a5 245#endif
3b6dac34 246
d289837e
RH
247 /* An alias for the size of the native pointer. */
248#if UINTPTR_MAX == UINT32_MAX
249 TCG_TYPE_PTR = TCG_TYPE_I32,
250#else
251 TCG_TYPE_PTR = TCG_TYPE_I64,
252#endif
3b6dac34
RH
253
254 /* An alias for the size of the target "long", aka register. */
c02244a5
RH
255#if TARGET_LONG_BITS == 64
256 TCG_TYPE_TL = TCG_TYPE_I64,
c896fe29 257#else
c02244a5 258 TCG_TYPE_TL = TCG_TYPE_I32,
c896fe29 259#endif
c02244a5 260} TCGType;
c896fe29 261
6c5f4ead
RH
262/* Constants for qemu_ld and qemu_st for the Memory Operation field. */
263typedef enum TCGMemOp {
264 MO_8 = 0,
265 MO_16 = 1,
266 MO_32 = 2,
267 MO_64 = 3,
268 MO_SIZE = 3, /* Mask for the above. */
269
270 MO_SIGN = 4, /* Sign-extended, otherwise zero-extended. */
271
272 MO_BSWAP = 8, /* Host reverse endian. */
273#ifdef HOST_WORDS_BIGENDIAN
274 MO_LE = MO_BSWAP,
275 MO_BE = 0,
276#else
277 MO_LE = 0,
278 MO_BE = MO_BSWAP,
279#endif
280#ifdef TARGET_WORDS_BIGENDIAN
281 MO_TE = MO_BE,
282#else
283 MO_TE = MO_LE,
284#endif
285
dfb36305 286 /* MO_UNALN accesses are never checked for alignment.
1f00b27f
SS
287 * MO_ALIGN accesses will result in a call to the CPU's
288 * do_unaligned_access hook if the guest address is not aligned.
289 * The default depends on whether the target CPU defines ALIGNED_ONLY.
85aa8081 290 *
1f00b27f
SS
291 * Some architectures (e.g. ARMv8) need the address which is aligned
292 * to a size more than the size of the memory access.
85aa8081
RH
293 * Some architectures (e.g. SPARCv9) need an address which is aligned,
294 * but less strictly than the natural alignment.
295 *
296 * MO_ALIGN supposes the alignment size is the size of a memory access.
297 *
1f00b27f 298 * There are three options:
1f00b27f 299 * - unaligned access permitted (MO_UNALN).
85aa8081
RH
300 * - an alignment to the size of an access (MO_ALIGN);
301 * - an alignment to a specified size, which may be more or less than
302 * the access size (MO_ALIGN_x where 'x' is a size in bytes);
1f00b27f
SS
303 */
304 MO_ASHIFT = 4,
305 MO_AMASK = 7 << MO_ASHIFT,
dfb36305
RH
306#ifdef ALIGNED_ONLY
307 MO_ALIGN = 0,
308 MO_UNALN = MO_AMASK,
309#else
310 MO_ALIGN = MO_AMASK,
311 MO_UNALN = 0,
312#endif
1f00b27f
SS
313 MO_ALIGN_2 = 1 << MO_ASHIFT,
314 MO_ALIGN_4 = 2 << MO_ASHIFT,
315 MO_ALIGN_8 = 3 << MO_ASHIFT,
316 MO_ALIGN_16 = 4 << MO_ASHIFT,
317 MO_ALIGN_32 = 5 << MO_ASHIFT,
318 MO_ALIGN_64 = 6 << MO_ASHIFT,
dfb36305 319
6c5f4ead
RH
320 /* Combinations of the above, for ease of use. */
321 MO_UB = MO_8,
322 MO_UW = MO_16,
323 MO_UL = MO_32,
324 MO_SB = MO_SIGN | MO_8,
325 MO_SW = MO_SIGN | MO_16,
326 MO_SL = MO_SIGN | MO_32,
327 MO_Q = MO_64,
328
329 MO_LEUW = MO_LE | MO_UW,
330 MO_LEUL = MO_LE | MO_UL,
331 MO_LESW = MO_LE | MO_SW,
332 MO_LESL = MO_LE | MO_SL,
333 MO_LEQ = MO_LE | MO_Q,
334
335 MO_BEUW = MO_BE | MO_UW,
336 MO_BEUL = MO_BE | MO_UL,
337 MO_BESW = MO_BE | MO_SW,
338 MO_BESL = MO_BE | MO_SL,
339 MO_BEQ = MO_BE | MO_Q,
340
341 MO_TEUW = MO_TE | MO_UW,
342 MO_TEUL = MO_TE | MO_UL,
343 MO_TESW = MO_TE | MO_SW,
344 MO_TESL = MO_TE | MO_SL,
345 MO_TEQ = MO_TE | MO_Q,
346
347 MO_SSIZE = MO_SIZE | MO_SIGN,
348} TCGMemOp;
349
1f00b27f
SS
350/**
351 * get_alignment_bits
352 * @memop: TCGMemOp value
353 *
354 * Extract the alignment size from the memop.
1f00b27f 355 */
85aa8081 356static inline unsigned get_alignment_bits(TCGMemOp memop)
1f00b27f 357{
85aa8081 358 unsigned a = memop & MO_AMASK;
1f00b27f
SS
359
360 if (a == MO_UNALN) {
85aa8081
RH
361 /* No alignment required. */
362 a = 0;
1f00b27f 363 } else if (a == MO_ALIGN) {
85aa8081
RH
364 /* A natural alignment requirement. */
365 a = memop & MO_SIZE;
1f00b27f 366 } else {
85aa8081
RH
367 /* A specific alignment requirement. */
368 a = a >> MO_ASHIFT;
1f00b27f
SS
369 }
370#if defined(CONFIG_SOFTMMU)
371 /* The requested alignment cannot overlap the TLB flags. */
85aa8081 372 tcg_debug_assert((TLB_FLAGS_MASK & ((1 << a) - 1)) == 0);
1f00b27f 373#endif
85aa8081 374 return a;
1f00b27f
SS
375}
376
c896fe29
FB
377typedef tcg_target_ulong TCGArg;
378
a40d4701
PM
379/* Define type and accessor macros for TCG variables.
380
381 TCG variables are the inputs and outputs of TCG ops, as described
382 in tcg/README. Target CPU front-end code uses these types to deal
383 with TCG variables as it emits TCG code via the tcg_gen_* functions.
384 They come in several flavours:
385 * TCGv_i32 : 32 bit integer type
386 * TCGv_i64 : 64 bit integer type
387 * TCGv_ptr : a host pointer type
388 * TCGv : an integer type the same size as target_ulong
389 (an alias for either TCGv_i32 or TCGv_i64)
390 The compiler's type checking will complain if you mix them
391 up and pass the wrong sized TCGv to a function.
392
393 Users of tcg_gen_* don't need to know about any of the internal
394 details of these, and should treat them as opaque types.
395 You won't be able to look inside them in a debugger either.
396
397 Internal implementation details follow:
398
399 Note that there is no definition of the structs TCGv_i32_d etc anywhere.
400 This is deliberate, because the values we store in variables of type
401 TCGv_i32 are not really pointers-to-structures. They're just small
402 integers, but keeping them in pointer types like this means that the
403 compiler will complain if you accidentally pass a TCGv_i32 to a
404 function which takes a TCGv_i64, and so on. Only the internals of
405 TCG need to care about the actual contents of the types, and they always
406 box and unbox via the MAKE_TCGV_* and GET_TCGV_* functions.
407 Converting to and from intptr_t rather than int reduces the number
408 of sign-extension instructions that get implied on 64-bit hosts. */
ac56dd48 409
b6c73a6d
RH
410typedef struct TCGv_i32_d *TCGv_i32;
411typedef struct TCGv_i64_d *TCGv_i64;
412typedef struct TCGv_ptr_d *TCGv_ptr;
1bcea73e 413typedef TCGv_ptr TCGv_env;
5d4e1a10
LV
414#if TARGET_LONG_BITS == 32
415#define TCGv TCGv_i32
416#elif TARGET_LONG_BITS == 64
417#define TCGv TCGv_i64
418#else
419#error Unhandled TARGET_LONG_BITS value
420#endif
ac56dd48 421
b6c73a6d
RH
422static inline TCGv_i32 QEMU_ARTIFICIAL MAKE_TCGV_I32(intptr_t i)
423{
424 return (TCGv_i32)i;
425}
ac56dd48 426
b6c73a6d 427static inline TCGv_i64 QEMU_ARTIFICIAL MAKE_TCGV_I64(intptr_t i)
ac56dd48 428{
b6c73a6d
RH
429 return (TCGv_i64)i;
430}
ac56dd48 431
b6c73a6d 432static inline TCGv_ptr QEMU_ARTIFICIAL MAKE_TCGV_PTR(intptr_t i)
a7812ae4 433{
b6c73a6d
RH
434 return (TCGv_ptr)i;
435}
ac56dd48 436
b6c73a6d
RH
437static inline intptr_t QEMU_ARTIFICIAL GET_TCGV_I32(TCGv_i32 t)
438{
439 return (intptr_t)t;
440}
ac56dd48 441
b6c73a6d
RH
442static inline intptr_t QEMU_ARTIFICIAL GET_TCGV_I64(TCGv_i64 t)
443{
444 return (intptr_t)t;
445}
446
447static inline intptr_t QEMU_ARTIFICIAL GET_TCGV_PTR(TCGv_ptr t)
448{
449 return (intptr_t)t;
450}
44e6acb0 451
ac56dd48 452#if TCG_TARGET_REG_BITS == 32
b6c73a6d
RH
453#define TCGV_LOW(t) MAKE_TCGV_I32(GET_TCGV_I64(t))
454#define TCGV_HIGH(t) MAKE_TCGV_I32(GET_TCGV_I64(t) + 1)
ac56dd48
PB
455#endif
456
43e860ef
AJ
457#define TCGV_EQUAL_I32(a, b) (GET_TCGV_I32(a) == GET_TCGV_I32(b))
458#define TCGV_EQUAL_I64(a, b) (GET_TCGV_I64(a) == GET_TCGV_I64(b))
c1de788a 459#define TCGV_EQUAL_PTR(a, b) (GET_TCGV_PTR(a) == GET_TCGV_PTR(b))
43e860ef 460
a50f5b91 461/* Dummy definition to avoid compiler warnings. */
a7812ae4
PB
462#define TCGV_UNUSED_I32(x) x = MAKE_TCGV_I32(-1)
463#define TCGV_UNUSED_I64(x) x = MAKE_TCGV_I64(-1)
c1de788a 464#define TCGV_UNUSED_PTR(x) x = MAKE_TCGV_PTR(-1)
a50f5b91 465
afcb92be
RH
466#define TCGV_IS_UNUSED_I32(x) (GET_TCGV_I32(x) == -1)
467#define TCGV_IS_UNUSED_I64(x) (GET_TCGV_I64(x) == -1)
c1de788a 468#define TCGV_IS_UNUSED_PTR(x) (GET_TCGV_PTR(x) == -1)
afcb92be 469
c896fe29 470/* call flags */
78505279
AJ
471/* Helper does not read globals (either directly or through an exception). It
472 implies TCG_CALL_NO_WRITE_GLOBALS. */
473#define TCG_CALL_NO_READ_GLOBALS 0x0010
474/* Helper does not write globals */
475#define TCG_CALL_NO_WRITE_GLOBALS 0x0020
476/* Helper can be safely suppressed if the return value is not used. */
477#define TCG_CALL_NO_SIDE_EFFECTS 0x0040
478
479/* convenience version of most used call flags */
480#define TCG_CALL_NO_RWG TCG_CALL_NO_READ_GLOBALS
481#define TCG_CALL_NO_WG TCG_CALL_NO_WRITE_GLOBALS
482#define TCG_CALL_NO_SE TCG_CALL_NO_SIDE_EFFECTS
483#define TCG_CALL_NO_RWG_SE (TCG_CALL_NO_RWG | TCG_CALL_NO_SE)
484#define TCG_CALL_NO_WG_SE (TCG_CALL_NO_WG | TCG_CALL_NO_SE)
485
39cf05d3 486/* used to align parameters */
a7812ae4 487#define TCG_CALL_DUMMY_TCGV MAKE_TCGV_I32(-1)
39cf05d3
FB
488#define TCG_CALL_DUMMY_ARG ((TCGArg)(-1))
489
f65e19bc
PK
490typedef enum {
491 /* Used to indicate the type of accesses on which ordering
492 is to be ensured. Modeled after SPARC barriers. */
493 TCG_MO_LD_LD = 0x01,
494 TCG_MO_ST_LD = 0x02,
495 TCG_MO_LD_ST = 0x04,
496 TCG_MO_ST_ST = 0x08,
497 TCG_MO_ALL = 0x0F, /* OR of the above */
498
499 /* Used to indicate the kind of ordering which is to be ensured by the
500 instruction. These types are derived from x86/aarch64 instructions.
501 It should be noted that these are different from C11 semantics. */
502 TCG_BAR_LDAQ = 0x10, /* Following ops will not come forward */
503 TCG_BAR_STRL = 0x20, /* Previous ops will not be delayed */
504 TCG_BAR_SC = 0x30, /* No ops cross barrier; OR of the above */
505} TCGBar;
506
a93cf9df
SW
507/* Conditions. Note that these are laid out for easy manipulation by
508 the functions below:
0aed257f
RH
509 bit 0 is used for inverting;
510 bit 1 is signed,
511 bit 2 is unsigned,
512 bit 3 is used with bit 0 for swapping signed/unsigned. */
c896fe29 513typedef enum {
0aed257f
RH
514 /* non-signed */
515 TCG_COND_NEVER = 0 | 0 | 0 | 0,
516 TCG_COND_ALWAYS = 0 | 0 | 0 | 1,
517 TCG_COND_EQ = 8 | 0 | 0 | 0,
518 TCG_COND_NE = 8 | 0 | 0 | 1,
519 /* signed */
520 TCG_COND_LT = 0 | 0 | 2 | 0,
521 TCG_COND_GE = 0 | 0 | 2 | 1,
522 TCG_COND_LE = 8 | 0 | 2 | 0,
523 TCG_COND_GT = 8 | 0 | 2 | 1,
c896fe29 524 /* unsigned */
0aed257f
RH
525 TCG_COND_LTU = 0 | 4 | 0 | 0,
526 TCG_COND_GEU = 0 | 4 | 0 | 1,
527 TCG_COND_LEU = 8 | 4 | 0 | 0,
528 TCG_COND_GTU = 8 | 4 | 0 | 1,
c896fe29
FB
529} TCGCond;
530
1c086220 531/* Invert the sense of the comparison. */
401d466d
RH
532static inline TCGCond tcg_invert_cond(TCGCond c)
533{
534 return (TCGCond)(c ^ 1);
535}
536
1c086220
RH
537/* Swap the operands in a comparison. */
538static inline TCGCond tcg_swap_cond(TCGCond c)
539{
0aed257f 540 return c & 6 ? (TCGCond)(c ^ 9) : c;
1c086220
RH
541}
542
d1e321b8 543/* Create an "unsigned" version of a "signed" comparison. */
ff44c2f3
RH
544static inline TCGCond tcg_unsigned_cond(TCGCond c)
545{
0aed257f 546 return c & 2 ? (TCGCond)(c ^ 6) : c;
ff44c2f3
RH
547}
548
d1e321b8 549/* Must a comparison be considered unsigned? */
bcc66562
RH
550static inline bool is_unsigned_cond(TCGCond c)
551{
0aed257f 552 return (c & 4) != 0;
bcc66562
RH
553}
554
d1e321b8
RH
555/* Create a "high" version of a double-word comparison.
556 This removes equality from a LTE or GTE comparison. */
557static inline TCGCond tcg_high_cond(TCGCond c)
558{
559 switch (c) {
560 case TCG_COND_GE:
561 case TCG_COND_LE:
562 case TCG_COND_GEU:
563 case TCG_COND_LEU:
564 return (TCGCond)(c ^ 8);
565 default:
566 return c;
567 }
568}
569
00c8fa9f
EC
570typedef enum TCGTempVal {
571 TEMP_VAL_DEAD,
572 TEMP_VAL_REG,
573 TEMP_VAL_MEM,
574 TEMP_VAL_CONST,
575} TCGTempVal;
c896fe29 576
c896fe29 577typedef struct TCGTemp {
b6638662 578 TCGReg reg:8;
00c8fa9f
EC
579 TCGTempVal val_type:8;
580 TCGType base_type:8;
581 TCGType type:8;
c896fe29 582 unsigned int fixed_reg:1;
b3915dbb
RH
583 unsigned int indirect_reg:1;
584 unsigned int indirect_base:1;
c896fe29
FB
585 unsigned int mem_coherent:1;
586 unsigned int mem_allocated:1;
5225d669 587 unsigned int temp_local:1; /* If true, the temp is saved across
641d5fbe 588 basic blocks. Otherwise, it is not
5225d669 589 preserved across basic blocks. */
e8996ee0 590 unsigned int temp_allocated:1; /* never used for code gen */
00c8fa9f
EC
591
592 tcg_target_long val;
b3a62939 593 struct TCGTemp *mem_base;
00c8fa9f 594 intptr_t mem_offset;
c896fe29
FB
595 const char *name;
596} TCGTemp;
597
c896fe29
FB
598typedef struct TCGContext TCGContext;
599
0ec9eabc
RH
600typedef struct TCGTempSet {
601 unsigned long l[BITS_TO_LONGS(TCG_MAX_TEMPS)];
602} TCGTempSet;
603
a1b3c48d
RH
604/* While we limit helpers to 6 arguments, for 32-bit hosts, with padding,
605 this imples a max of 6*2 (64-bit in) + 2 (64-bit out) = 14 operands.
606 There are never more than 2 outputs, which means that we can store all
607 dead + sync data within 16 bits. */
608#define DEAD_ARG 4
609#define SYNC_ARG 1
610typedef uint16_t TCGLifeData;
611
bee158cb
RH
612/* The layout here is designed to avoid crossing of a 32-bit boundary.
613 If we do so, gcc adds padding, expanding the size to 12. */
c45cb8bb 614typedef struct TCGOp {
bee158cb
RH
615 TCGOpcode opc : 8; /* 8 */
616
617 /* Index of the prev/next op, or 0 for the end of the list. */
618 unsigned prev : 10; /* 18 */
619 unsigned next : 10; /* 28 */
c45cb8bb
RH
620
621 /* The number of out and in parameter for a call. */
bee158cb
RH
622 unsigned calli : 4; /* 32 */
623 unsigned callo : 2; /* 34 */
c45cb8bb 624
dcb8e758 625 /* Index of the arguments for this op, or 0 for zero-operand ops. */
bee158cb 626 unsigned args : 14; /* 48 */
c45cb8bb 627
bee158cb
RH
628 /* Lifetime data of the operands. */
629 unsigned life : 16; /* 64 */
c45cb8bb
RH
630} TCGOp;
631
dcb8e758
RH
632/* Make sure operands fit in the bitfields above. */
633QEMU_BUILD_BUG_ON(NB_OPS > (1 << 8));
bee158cb
RH
634QEMU_BUILD_BUG_ON(OPC_BUF_SIZE > (1 << 10));
635QEMU_BUILD_BUG_ON(OPPARAM_BUF_SIZE > (1 << 14));
dcb8e758
RH
636
637/* Make sure that we don't overflow 64 bits without noticing. */
638QEMU_BUILD_BUG_ON(sizeof(TCGOp) > 8);
c45cb8bb 639
c896fe29
FB
640struct TCGContext {
641 uint8_t *pool_cur, *pool_end;
4055299e 642 TCGPool *pool_first, *pool_current, *pool_first_large;
c896fe29 643 int nb_labels;
c896fe29
FB
644 int nb_globals;
645 int nb_temps;
5a18407f 646 int nb_indirects;
c896fe29
FB
647
648 /* goto_tb support */
1813e175 649 tcg_insn_unit *code_buf;
f309101c
SF
650 uint16_t *tb_jmp_reset_offset; /* tb->jmp_reset_offset */
651 uint16_t *tb_jmp_insn_offset; /* tb->jmp_insn_offset if USE_DIRECT_JUMP */
652 uintptr_t *tb_jmp_target_addr; /* tb->jmp_target_addr if !USE_DIRECT_JUMP */
c896fe29 653
c896fe29 654 TCGRegSet reserved_regs;
e2c6d1b4
RH
655 intptr_t current_frame_offset;
656 intptr_t frame_start;
657 intptr_t frame_end;
b3a62939 658 TCGTemp *frame_temp;
c896fe29 659
1813e175 660 tcg_insn_unit *code_ptr;
c896fe29 661
6e085f72 662 GHashTable *helpers;
a23a9ec6
FB
663
664#ifdef CONFIG_PROFILER
665 /* profiling info */
666 int64_t tb_count1;
667 int64_t tb_count;
668 int64_t op_count; /* total insn count */
669 int op_count_max; /* max insn per TB */
670 int64_t temp_count;
671 int temp_count_max;
a23a9ec6
FB
672 int64_t del_op_count;
673 int64_t code_in_len;
674 int64_t code_out_len;
fca8a500 675 int64_t search_out_len;
a23a9ec6
FB
676 int64_t interm_time;
677 int64_t code_time;
678 int64_t la_time;
c5cc28ff 679 int64_t opt_time;
a23a9ec6
FB
680 int64_t restore_count;
681 int64_t restore_time;
682#endif
27bfd83c
PM
683
684#ifdef CONFIG_DEBUG_TCG
685 int temps_in_use;
0a209d4b 686 int goto_tb_issue_mask;
27bfd83c 687#endif
b76f0d8c 688
c45cb8bb
RH
689 int gen_next_op_idx;
690 int gen_next_parm_idx;
8232a46a 691
1813e175
RH
692 /* Code generation. Note that we specifically do not use tcg_insn_unit
693 here, because there's too much arithmetic throughout that relies
694 on addition and subtraction working on bytes. Rely on the GCC
695 extension that allows arithmetic on void*. */
0b0d3320 696 int code_gen_max_blocks;
1813e175
RH
697 void *code_gen_prologue;
698 void *code_gen_buffer;
0b0d3320 699 size_t code_gen_buffer_size;
1813e175 700 void *code_gen_ptr;
0b0d3320 701
b125f9dc
RH
702 /* Threshold to flush the translated code buffer. */
703 void *code_gen_highwater;
704
5e5f07e0
EV
705 TBContext tb_ctx;
706
7c255043
LV
707 /* Track which vCPU triggers events */
708 CPUState *cpu; /* *_trans */
709 TCGv_env tcg_env; /* *_exec */
710
ce151109 711 /* The TCGBackendData structure is private to tcg-target.inc.c. */
9ecefc84 712 struct TCGBackendData *be;
c45cb8bb
RH
713
714 TCGTempSet free_temps[TCG_TYPE_COUNT * 2];
715 TCGTemp temps[TCG_MAX_TEMPS]; /* globals first, temps after */
716
f8b2f202
RH
717 /* Tells which temporary holds a given register.
718 It does not take into account fixed registers */
719 TCGTemp *reg_to_temp[TCG_TARGET_NB_REGS];
c45cb8bb
RH
720
721 TCGOp gen_op_buf[OPC_BUF_SIZE];
722 TCGArg gen_opparam_buf[OPPARAM_BUF_SIZE];
723
fca8a500
RH
724 uint16_t gen_insn_end_off[TCG_MAX_INSNS];
725 target_ulong gen_insn_data[TCG_MAX_INSNS][TARGET_INSN_START_WORDS];
c896fe29
FB
726};
727
728extern TCGContext tcg_ctx;
fdbc2b57 729extern bool parallel_cpus;
c896fe29 730
1d41478f
EI
731static inline void tcg_set_insn_param(int op_idx, int arg, TCGArg v)
732{
733 int op_argi = tcg_ctx.gen_op_buf[op_idx].args;
734 tcg_ctx.gen_opparam_buf[op_argi + arg] = v;
735}
736
fe700adb
RH
737/* The number of opcodes emitted so far. */
738static inline int tcg_op_buf_count(void)
739{
c45cb8bb 740 return tcg_ctx.gen_next_op_idx;
fe700adb
RH
741}
742
743/* Test for whether to terminate the TB for using too many opcodes. */
744static inline bool tcg_op_buf_full(void)
745{
746 return tcg_op_buf_count() >= OPC_MAX_SIZE;
747}
748
c896fe29
FB
749/* pool based memory allocation */
750
7d7500d9 751/* tb_lock must be held for tcg_malloc_internal. */
c896fe29
FB
752void *tcg_malloc_internal(TCGContext *s, int size);
753void tcg_pool_reset(TCGContext *s);
c896fe29 754
677ef623
FK
755void tb_lock(void);
756void tb_unlock(void);
757void tb_lock_reset(void);
758
7d7500d9 759/* Called with tb_lock held. */
c896fe29
FB
760static inline void *tcg_malloc(int size)
761{
762 TCGContext *s = &tcg_ctx;
763 uint8_t *ptr, *ptr_end;
764 size = (size + sizeof(long) - 1) & ~(sizeof(long) - 1);
765 ptr = s->pool_cur;
766 ptr_end = ptr + size;
767 if (unlikely(ptr_end > s->pool_end)) {
768 return tcg_malloc_internal(&tcg_ctx, size);
769 } else {
770 s->pool_cur = ptr_end;
771 return ptr;
772 }
773}
774
775void tcg_context_init(TCGContext *s);
9002ec79 776void tcg_prologue_init(TCGContext *s);
c896fe29
FB
777void tcg_func_start(TCGContext *s);
778
5bd2ec3d 779int tcg_gen_code(TCGContext *s, TranslationBlock *tb);
c896fe29 780
b6638662 781void tcg_set_frame(TCGContext *s, TCGReg reg, intptr_t start, intptr_t size);
a7812ae4 782
e1ccc054
RH
783int tcg_global_mem_new_internal(TCGType, TCGv_ptr, intptr_t, const char *);
784
b6638662
RH
785TCGv_i32 tcg_global_reg_new_i32(TCGReg reg, const char *name);
786TCGv_i64 tcg_global_reg_new_i64(TCGReg reg, const char *name);
e1ccc054 787
a7812ae4 788TCGv_i32 tcg_temp_new_internal_i32(int temp_local);
e1ccc054
RH
789TCGv_i64 tcg_temp_new_internal_i64(int temp_local);
790
791void tcg_temp_free_i32(TCGv_i32 arg);
792void tcg_temp_free_i64(TCGv_i64 arg);
793
e1ccc054
RH
794static inline TCGv_i32 tcg_global_mem_new_i32(TCGv_ptr reg, intptr_t offset,
795 const char *name)
796{
797 int idx = tcg_global_mem_new_internal(TCG_TYPE_I32, reg, offset, name);
798 return MAKE_TCGV_I32(idx);
799}
800
a7812ae4
PB
801static inline TCGv_i32 tcg_temp_new_i32(void)
802{
803 return tcg_temp_new_internal_i32(0);
804}
e1ccc054 805
a7812ae4
PB
806static inline TCGv_i32 tcg_temp_local_new_i32(void)
807{
808 return tcg_temp_new_internal_i32(1);
809}
a7812ae4 810
e1ccc054
RH
811static inline TCGv_i64 tcg_global_mem_new_i64(TCGv_ptr reg, intptr_t offset,
812 const char *name)
813{
814 int idx = tcg_global_mem_new_internal(TCG_TYPE_I64, reg, offset, name);
815 return MAKE_TCGV_I64(idx);
816}
817
a7812ae4 818static inline TCGv_i64 tcg_temp_new_i64(void)
641d5fbe 819{
a7812ae4 820 return tcg_temp_new_internal_i64(0);
641d5fbe 821}
e1ccc054 822
a7812ae4 823static inline TCGv_i64 tcg_temp_local_new_i64(void)
641d5fbe 824{
a7812ae4 825 return tcg_temp_new_internal_i64(1);
641d5fbe 826}
a7812ae4 827
27bfd83c
PM
828#if defined(CONFIG_DEBUG_TCG)
829/* If you call tcg_clear_temp_count() at the start of a section of
830 * code which is not supposed to leak any TCG temporaries, then
831 * calling tcg_check_temp_count() at the end of the section will
832 * return 1 if the section did in fact leak a temporary.
833 */
834void tcg_clear_temp_count(void);
835int tcg_check_temp_count(void);
836#else
837#define tcg_clear_temp_count() do { } while (0)
838#define tcg_check_temp_count() 0
839#endif
840
405cf9ff 841void tcg_dump_info(FILE *f, fprintf_function cpu_fprintf);
246ae24d 842void tcg_dump_op_count(FILE *f, fprintf_function cpu_fprintf);
c896fe29
FB
843
844#define TCG_CT_ALIAS 0x80
845#define TCG_CT_IALIAS 0x40
846#define TCG_CT_REG 0x01
847#define TCG_CT_CONST 0x02 /* any constant of register size */
848
849typedef struct TCGArgConstraint {
5ff9d6a4
FB
850 uint16_t ct;
851 uint8_t alias_index;
c896fe29
FB
852 union {
853 TCGRegSet regs;
854 } u;
855} TCGArgConstraint;
856
857#define TCG_MAX_OP_ARGS 16
858
8399ad59
RH
859/* Bits for TCGOpDef->flags, 8 bits available. */
860enum {
861 /* Instruction defines the end of a basic block. */
862 TCG_OPF_BB_END = 0x01,
863 /* Instruction clobbers call registers and potentially update globals. */
864 TCG_OPF_CALL_CLOBBER = 0x02,
3d5c5f87
AJ
865 /* Instruction has side effects: it cannot be removed if its outputs
866 are not used, and might trigger exceptions. */
8399ad59
RH
867 TCG_OPF_SIDE_EFFECTS = 0x04,
868 /* Instruction operands are 64-bits (otherwise 32-bits). */
869 TCG_OPF_64BIT = 0x08,
c1a61f6c
RH
870 /* Instruction is optional and not implemented by the host, or insn
871 is generic and should not be implemened by the host. */
25c4d9cc 872 TCG_OPF_NOT_PRESENT = 0x10,
8399ad59 873};
c896fe29
FB
874
875typedef struct TCGOpDef {
876 const char *name;
877 uint8_t nb_oargs, nb_iargs, nb_cargs, nb_args;
878 uint8_t flags;
c896fe29
FB
879 TCGArgConstraint *args_ct;
880 int *sorted_args;
c68aaa18
SW
881#if defined(CONFIG_DEBUG_TCG)
882 int used;
883#endif
c896fe29 884} TCGOpDef;
8399ad59
RH
885
886extern TCGOpDef tcg_op_defs[];
2a24374a
SW
887extern const size_t tcg_op_defs_max;
888
c896fe29 889typedef struct TCGTargetOpDef {
a9751609 890 TCGOpcode op;
c896fe29
FB
891 const char *args_ct_str[TCG_MAX_OP_ARGS];
892} TCGTargetOpDef;
893
c896fe29
FB
894#define tcg_abort() \
895do {\
896 fprintf(stderr, "%s:%d: tcg fatal error\n", __FILE__, __LINE__);\
897 abort();\
898} while (0)
899
900void tcg_add_target_add_op_defs(const TCGTargetOpDef *tdefs);
901
8b73d49f 902#if UINTPTR_MAX == UINT32_MAX
ebecf363
PM
903#define TCGV_NAT_TO_PTR(n) MAKE_TCGV_PTR(GET_TCGV_I32(n))
904#define TCGV_PTR_TO_NAT(n) MAKE_TCGV_I32(GET_TCGV_PTR(n))
905
8b73d49f 906#define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i32((intptr_t)(V)))
ebecf363
PM
907#define tcg_global_reg_new_ptr(R, N) \
908 TCGV_NAT_TO_PTR(tcg_global_reg_new_i32((R), (N)))
909#define tcg_global_mem_new_ptr(R, O, N) \
910 TCGV_NAT_TO_PTR(tcg_global_mem_new_i32((R), (O), (N)))
911#define tcg_temp_new_ptr() TCGV_NAT_TO_PTR(tcg_temp_new_i32())
912#define tcg_temp_free_ptr(T) tcg_temp_free_i32(TCGV_PTR_TO_NAT(T))
c896fe29 913#else
ebecf363
PM
914#define TCGV_NAT_TO_PTR(n) MAKE_TCGV_PTR(GET_TCGV_I64(n))
915#define TCGV_PTR_TO_NAT(n) MAKE_TCGV_I64(GET_TCGV_PTR(n))
916
8b73d49f 917#define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i64((intptr_t)(V)))
ebecf363
PM
918#define tcg_global_reg_new_ptr(R, N) \
919 TCGV_NAT_TO_PTR(tcg_global_reg_new_i64((R), (N)))
920#define tcg_global_mem_new_ptr(R, O, N) \
921 TCGV_NAT_TO_PTR(tcg_global_mem_new_i64((R), (O), (N)))
922#define tcg_temp_new_ptr() TCGV_NAT_TO_PTR(tcg_temp_new_i64())
923#define tcg_temp_free_ptr(T) tcg_temp_free_i64(TCGV_PTR_TO_NAT(T))
c896fe29
FB
924#endif
925
bbb8a1b4
RH
926void tcg_gen_callN(TCGContext *s, void *func,
927 TCGArg ret, int nargs, TCGArg *args);
a7812ae4 928
0c627cdc 929void tcg_op_remove(TCGContext *s, TCGOp *op);
5a18407f
RH
930TCGOp *tcg_op_insert_before(TCGContext *s, TCGOp *op, TCGOpcode opc, int narg);
931TCGOp *tcg_op_insert_after(TCGContext *s, TCGOp *op, TCGOpcode opc, int narg);
932
c45cb8bb 933void tcg_optimize(TCGContext *s);
8f2e8c07 934
a7812ae4 935/* only used for debugging purposes */
eeacee4d 936void tcg_dump_ops(TCGContext *s);
a7812ae4 937
a7812ae4
PB
938TCGv_i32 tcg_const_i32(int32_t val);
939TCGv_i64 tcg_const_i64(int64_t val);
940TCGv_i32 tcg_const_local_i32(int32_t val);
941TCGv_i64 tcg_const_local_i64(int64_t val);
942
42a268c2
RH
943TCGLabel *gen_new_label(void);
944
945/**
946 * label_arg
947 * @l: label
948 *
949 * Encode a label for storage in the TCG opcode stream.
950 */
951
952static inline TCGArg label_arg(TCGLabel *l)
953{
51e3972c 954 return (uintptr_t)l;
42a268c2
RH
955}
956
957/**
958 * arg_label
959 * @i: value
960 *
961 * The opposite of label_arg. Retrieve a label from the
962 * encoding of the TCG opcode stream.
963 */
964
51e3972c 965static inline TCGLabel *arg_label(TCGArg i)
42a268c2 966{
51e3972c 967 return (TCGLabel *)(uintptr_t)i;
42a268c2
RH
968}
969
52a1f64e
RH
970/**
971 * tcg_ptr_byte_diff
972 * @a, @b: addresses to be differenced
973 *
974 * There are many places within the TCG backends where we need a byte
975 * difference between two pointers. While this can be accomplished
976 * with local casting, it's easy to get wrong -- especially if one is
977 * concerned with the signedness of the result.
978 *
979 * This version relies on GCC's void pointer arithmetic to get the
980 * correct result.
981 */
982
983static inline ptrdiff_t tcg_ptr_byte_diff(void *a, void *b)
984{
985 return a - b;
986}
987
988/**
989 * tcg_pcrel_diff
990 * @s: the tcg context
991 * @target: address of the target
992 *
993 * Produce a pc-relative difference, from the current code_ptr
994 * to the destination address.
995 */
996
997static inline ptrdiff_t tcg_pcrel_diff(TCGContext *s, void *target)
998{
999 return tcg_ptr_byte_diff(target, s->code_ptr);
1000}
1001
1002/**
1003 * tcg_current_code_size
1004 * @s: the tcg context
1005 *
1006 * Compute the current code size within the translation block.
1007 * This is used to fill in qemu's data structures for goto_tb.
1008 */
1009
1010static inline size_t tcg_current_code_size(TCGContext *s)
1011{
1012 return tcg_ptr_byte_diff(s->code_ptr, s->code_buf);
1013}
1014
59227d5d
RH
1015/* Combine the TCGMemOp and mmu_idx parameters into a single value. */
1016typedef uint32_t TCGMemOpIdx;
1017
1018/**
1019 * make_memop_idx
1020 * @op: memory operation
1021 * @idx: mmu index
1022 *
1023 * Encode these values into a single parameter.
1024 */
1025static inline TCGMemOpIdx make_memop_idx(TCGMemOp op, unsigned idx)
1026{
1027 tcg_debug_assert(idx <= 15);
1028 return (op << 4) | idx;
1029}
1030
1031/**
1032 * get_memop
1033 * @oi: combined op/idx parameter
1034 *
1035 * Extract the memory operation from the combined value.
1036 */
1037static inline TCGMemOp get_memop(TCGMemOpIdx oi)
1038{
1039 return oi >> 4;
1040}
1041
1042/**
1043 * get_mmuidx
1044 * @oi: combined op/idx parameter
1045 *
1046 * Extract the mmu index from the combined value.
1047 */
1048static inline unsigned get_mmuidx(TCGMemOpIdx oi)
1049{
1050 return oi & 15;
1051}
1052
0980011b
PM
1053/**
1054 * tcg_qemu_tb_exec:
819af24b 1055 * @env: pointer to CPUArchState for the CPU
0980011b
PM
1056 * @tb_ptr: address of generated code for the TB to execute
1057 *
1058 * Start executing code from a given translation block.
1059 * Where translation blocks have been linked, execution
1060 * may proceed from the given TB into successive ones.
1061 * Control eventually returns only when some action is needed
1062 * from the top-level loop: either control must pass to a TB
1063 * which has not yet been directly linked, or an asynchronous
1064 * event such as an interrupt needs handling.
1065 *
819af24b
SF
1066 * Return: The return value is the value passed to the corresponding
1067 * tcg_gen_exit_tb() at translation time of the last TB attempted to execute.
1068 * The value is either zero or a 4-byte aligned pointer to that TB combined
1069 * with additional information in its two least significant bits. The
1070 * additional information is encoded as follows:
0980011b
PM
1071 * 0, 1: the link between this TB and the next is via the specified
1072 * TB index (0 or 1). That is, we left the TB via (the equivalent
1073 * of) "goto_tb <index>". The main loop uses this to determine
1074 * how to link the TB just executed to the next.
1075 * 2: we are using instruction counting code generation, and we
1076 * did not start executing this TB because the instruction counter
819af24b 1077 * would hit zero midway through it. In this case the pointer
0980011b
PM
1078 * returned is the TB we were about to execute, and the caller must
1079 * arrange to execute the remaining count of instructions.
378df4b2
PM
1080 * 3: we stopped because the CPU's exit_request flag was set
1081 * (usually meaning that there is an interrupt that needs to be
819af24b
SF
1082 * handled). The pointer returned is the TB we were about to execute
1083 * when we noticed the pending exit request.
0980011b
PM
1084 *
1085 * If the bottom two bits indicate an exit-via-index then the CPU
1086 * state is correctly synchronised and ready for execution of the next
1087 * TB (and in particular the guest PC is the address to execute next).
1088 * Otherwise, we gave up on execution of this TB before it started, and
fee068e4 1089 * the caller must fix up the CPU state by calling the CPU's
819af24b 1090 * synchronize_from_tb() method with the TB pointer we return (falling
fee068e4
PC
1091 * back to calling the CPU's set_pc method with tb->pb if no
1092 * synchronize_from_tb() method exists).
0980011b
PM
1093 *
1094 * Note that TCG targets may use a different definition of tcg_qemu_tb_exec
1095 * to this default (which just calls the prologue.code emitted by
1096 * tcg_target_qemu_prologue()).
1097 */
1098#define TB_EXIT_MASK 3
1099#define TB_EXIT_IDX0 0
1100#define TB_EXIT_IDX1 1
1101#define TB_EXIT_ICOUNT_EXPIRED 2
378df4b2 1102#define TB_EXIT_REQUESTED 3
0980011b 1103
5a58e884
PB
1104#ifdef HAVE_TCG_QEMU_TB_EXEC
1105uintptr_t tcg_qemu_tb_exec(CPUArchState *env, uint8_t *tb_ptr);
1106#else
ce285b17 1107# define tcg_qemu_tb_exec(env, tb_ptr) \
04d5a1da 1108 ((uintptr_t (*)(void *, void *))tcg_ctx.code_gen_prologue)(env, tb_ptr)
932a6909 1109#endif
813da627
RH
1110
1111void tcg_register_jit(void *buf, size_t buf_size);
b76f0d8c 1112
e58eb534
RH
1113/*
1114 * Memory helpers that will be used by TCG generated code.
1115 */
1116#ifdef CONFIG_SOFTMMU
c8f94df5
RH
1117/* Value zero-extended to tcg register size. */
1118tcg_target_ulong helper_ret_ldub_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1119 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1120tcg_target_ulong helper_le_lduw_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1121 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1122tcg_target_ulong helper_le_ldul_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1123 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1124uint64_t helper_le_ldq_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1125 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1126tcg_target_ulong helper_be_lduw_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1127 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1128tcg_target_ulong helper_be_ldul_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1129 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1130uint64_t helper_be_ldq_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1131 TCGMemOpIdx oi, uintptr_t retaddr);
e58eb534 1132
c8f94df5
RH
1133/* Value sign-extended to tcg register size. */
1134tcg_target_ulong helper_ret_ldsb_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1135 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1136tcg_target_ulong helper_le_ldsw_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1137 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1138tcg_target_ulong helper_le_ldsl_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1139 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1140tcg_target_ulong helper_be_ldsw_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1141 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1142tcg_target_ulong helper_be_ldsl_mmu(CPUArchState *env, target_ulong addr,
3972ef6f 1143 TCGMemOpIdx oi, uintptr_t retaddr);
c8f94df5 1144
e58eb534 1145void helper_ret_stb_mmu(CPUArchState *env, target_ulong addr, uint8_t val,
3972ef6f 1146 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1147void helper_le_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
3972ef6f 1148 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1149void helper_le_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
3972ef6f 1150 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1151void helper_le_stq_mmu(CPUArchState *env, target_ulong addr, uint64_t val,
3972ef6f 1152 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1153void helper_be_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
3972ef6f 1154 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1155void helper_be_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
3972ef6f 1156 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1157void helper_be_stq_mmu(CPUArchState *env, target_ulong addr, uint64_t val,
3972ef6f 1158 TCGMemOpIdx oi, uintptr_t retaddr);
867b3201 1159
282dffc8
PD
1160uint8_t helper_ret_ldb_cmmu(CPUArchState *env, target_ulong addr,
1161 TCGMemOpIdx oi, uintptr_t retaddr);
1162uint16_t helper_le_ldw_cmmu(CPUArchState *env, target_ulong addr,
1163 TCGMemOpIdx oi, uintptr_t retaddr);
1164uint32_t helper_le_ldl_cmmu(CPUArchState *env, target_ulong addr,
1165 TCGMemOpIdx oi, uintptr_t retaddr);
1166uint64_t helper_le_ldq_cmmu(CPUArchState *env, target_ulong addr,
1167 TCGMemOpIdx oi, uintptr_t retaddr);
1168uint16_t helper_be_ldw_cmmu(CPUArchState *env, target_ulong addr,
1169 TCGMemOpIdx oi, uintptr_t retaddr);
1170uint32_t helper_be_ldl_cmmu(CPUArchState *env, target_ulong addr,
1171 TCGMemOpIdx oi, uintptr_t retaddr);
1172uint64_t helper_be_ldq_cmmu(CPUArchState *env, target_ulong addr,
1173 TCGMemOpIdx oi, uintptr_t retaddr);
1174
867b3201
RH
1175/* Temporary aliases until backends are converted. */
1176#ifdef TARGET_WORDS_BIGENDIAN
1177# define helper_ret_ldsw_mmu helper_be_ldsw_mmu
1178# define helper_ret_lduw_mmu helper_be_lduw_mmu
1179# define helper_ret_ldsl_mmu helper_be_ldsl_mmu
1180# define helper_ret_ldul_mmu helper_be_ldul_mmu
282dffc8 1181# define helper_ret_ldl_mmu helper_be_ldul_mmu
867b3201
RH
1182# define helper_ret_ldq_mmu helper_be_ldq_mmu
1183# define helper_ret_stw_mmu helper_be_stw_mmu
1184# define helper_ret_stl_mmu helper_be_stl_mmu
1185# define helper_ret_stq_mmu helper_be_stq_mmu
282dffc8
PD
1186# define helper_ret_ldw_cmmu helper_be_ldw_cmmu
1187# define helper_ret_ldl_cmmu helper_be_ldl_cmmu
1188# define helper_ret_ldq_cmmu helper_be_ldq_cmmu
867b3201
RH
1189#else
1190# define helper_ret_ldsw_mmu helper_le_ldsw_mmu
1191# define helper_ret_lduw_mmu helper_le_lduw_mmu
1192# define helper_ret_ldsl_mmu helper_le_ldsl_mmu
1193# define helper_ret_ldul_mmu helper_le_ldul_mmu
282dffc8 1194# define helper_ret_ldl_mmu helper_le_ldul_mmu
867b3201
RH
1195# define helper_ret_ldq_mmu helper_le_ldq_mmu
1196# define helper_ret_stw_mmu helper_le_stw_mmu
1197# define helper_ret_stl_mmu helper_le_stl_mmu
1198# define helper_ret_stq_mmu helper_le_stq_mmu
282dffc8
PD
1199# define helper_ret_ldw_cmmu helper_le_ldw_cmmu
1200# define helper_ret_ldl_cmmu helper_le_ldl_cmmu
1201# define helper_ret_ldq_cmmu helper_le_ldq_cmmu
867b3201 1202#endif
e58eb534 1203
c482cb11
RH
1204uint32_t helper_atomic_cmpxchgb_mmu(CPUArchState *env, target_ulong addr,
1205 uint32_t cmpv, uint32_t newv,
1206 TCGMemOpIdx oi, uintptr_t retaddr);
1207uint32_t helper_atomic_cmpxchgw_le_mmu(CPUArchState *env, target_ulong addr,
1208 uint32_t cmpv, uint32_t newv,
1209 TCGMemOpIdx oi, uintptr_t retaddr);
1210uint32_t helper_atomic_cmpxchgl_le_mmu(CPUArchState *env, target_ulong addr,
1211 uint32_t cmpv, uint32_t newv,
1212 TCGMemOpIdx oi, uintptr_t retaddr);
1213uint64_t helper_atomic_cmpxchgq_le_mmu(CPUArchState *env, target_ulong addr,
1214 uint64_t cmpv, uint64_t newv,
1215 TCGMemOpIdx oi, uintptr_t retaddr);
1216uint32_t helper_atomic_cmpxchgw_be_mmu(CPUArchState *env, target_ulong addr,
1217 uint32_t cmpv, uint32_t newv,
1218 TCGMemOpIdx oi, uintptr_t retaddr);
1219uint32_t helper_atomic_cmpxchgl_be_mmu(CPUArchState *env, target_ulong addr,
1220 uint32_t cmpv, uint32_t newv,
1221 TCGMemOpIdx oi, uintptr_t retaddr);
1222uint64_t helper_atomic_cmpxchgq_be_mmu(CPUArchState *env, target_ulong addr,
1223 uint64_t cmpv, uint64_t newv,
1224 TCGMemOpIdx oi, uintptr_t retaddr);
1225
1226#define GEN_ATOMIC_HELPER(NAME, TYPE, SUFFIX) \
1227TYPE helper_atomic_ ## NAME ## SUFFIX ## _mmu \
1228 (CPUArchState *env, target_ulong addr, TYPE val, \
1229 TCGMemOpIdx oi, uintptr_t retaddr);
1230
df79b996 1231#ifdef CONFIG_ATOMIC64
c482cb11 1232#define GEN_ATOMIC_HELPER_ALL(NAME) \
df79b996 1233 GEN_ATOMIC_HELPER(NAME, uint32_t, b) \
c482cb11 1234 GEN_ATOMIC_HELPER(NAME, uint32_t, w_le) \
c482cb11 1235 GEN_ATOMIC_HELPER(NAME, uint32_t, w_be) \
df79b996 1236 GEN_ATOMIC_HELPER(NAME, uint32_t, l_le) \
c482cb11 1237 GEN_ATOMIC_HELPER(NAME, uint32_t, l_be) \
df79b996 1238 GEN_ATOMIC_HELPER(NAME, uint64_t, q_le) \
c482cb11 1239 GEN_ATOMIC_HELPER(NAME, uint64_t, q_be)
df79b996
RH
1240#else
1241#define GEN_ATOMIC_HELPER_ALL(NAME) \
1242 GEN_ATOMIC_HELPER(NAME, uint32_t, b) \
1243 GEN_ATOMIC_HELPER(NAME, uint32_t, w_le) \
1244 GEN_ATOMIC_HELPER(NAME, uint32_t, w_be) \
1245 GEN_ATOMIC_HELPER(NAME, uint32_t, l_le) \
1246 GEN_ATOMIC_HELPER(NAME, uint32_t, l_be)
1247#endif
c482cb11
RH
1248
1249GEN_ATOMIC_HELPER_ALL(fetch_add)
1250GEN_ATOMIC_HELPER_ALL(fetch_sub)
1251GEN_ATOMIC_HELPER_ALL(fetch_and)
1252GEN_ATOMIC_HELPER_ALL(fetch_or)
1253GEN_ATOMIC_HELPER_ALL(fetch_xor)
1254
1255GEN_ATOMIC_HELPER_ALL(add_fetch)
1256GEN_ATOMIC_HELPER_ALL(sub_fetch)
1257GEN_ATOMIC_HELPER_ALL(and_fetch)
1258GEN_ATOMIC_HELPER_ALL(or_fetch)
1259GEN_ATOMIC_HELPER_ALL(xor_fetch)
1260
1261GEN_ATOMIC_HELPER_ALL(xchg)
1262
1263#undef GEN_ATOMIC_HELPER_ALL
1264#undef GEN_ATOMIC_HELPER
e58eb534
RH
1265#endif /* CONFIG_SOFTMMU */
1266
7ebee43e
RH
1267#ifdef CONFIG_ATOMIC128
1268#include "qemu/int128.h"
1269
1270/* These aren't really a "proper" helpers because TCG cannot manage Int128.
1271 However, use the same format as the others, for use by the backends. */
1272Int128 helper_atomic_cmpxchgo_le_mmu(CPUArchState *env, target_ulong addr,
1273 Int128 cmpv, Int128 newv,
1274 TCGMemOpIdx oi, uintptr_t retaddr);
1275Int128 helper_atomic_cmpxchgo_be_mmu(CPUArchState *env, target_ulong addr,
1276 Int128 cmpv, Int128 newv,
1277 TCGMemOpIdx oi, uintptr_t retaddr);
1278
1279Int128 helper_atomic_ldo_le_mmu(CPUArchState *env, target_ulong addr,
1280 TCGMemOpIdx oi, uintptr_t retaddr);
1281Int128 helper_atomic_ldo_be_mmu(CPUArchState *env, target_ulong addr,
1282 TCGMemOpIdx oi, uintptr_t retaddr);
1283void helper_atomic_sto_le_mmu(CPUArchState *env, target_ulong addr, Int128 val,
1284 TCGMemOpIdx oi, uintptr_t retaddr);
1285void helper_atomic_sto_be_mmu(CPUArchState *env, target_ulong addr, Int128 val,
1286 TCGMemOpIdx oi, uintptr_t retaddr);
1287
1288#endif /* CONFIG_ATOMIC128 */
1289
e58eb534 1290#endif /* TCG_H */
This page took 0.995828 seconds and 4 git commands to generate.