blob: 909db3fc020adb0256ec4cbbda8dc24fc7101279 [file] [log] [blame]
bellardc896fe22008-02-01 10:05:41 +00001/*
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 */
Richard Hendersone58eb532013-08-27 13:13:44 -070024
25#ifndef TCG_H
26#define TCG_H
27
aurel32f8393942009-04-13 18:45:38 +000028#include "qemu-common.h"
Paolo Bonzini33c11872016-03-15 16:58:45 +010029#include "cpu.h"
Paolo Bonzini00f6da62016-03-15 13:16:36 +010030#include "exec/tb-context.h"
Richard Henderson0ec9eab2013-09-19 12:16:45 -070031#include "qemu/bitops.h"
Richard Henderson78cd7b82013-08-20 14:41:29 -070032#include "tcg-target.h"
33
Paolo Bonzini00f6da62016-03-15 13:16:36 +010034/* 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
Peter Crosthwaite6e0b0732015-05-30 23:11:34 -070055#define CPU_TEMP_BUF_NLONGS 128
56
Richard Henderson78cd7b82013-08-20 14:41:29 -070057/* 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
Stefan Weil817b8382011-09-17 22:00:27 +020066#endif
67
bellardc896fe22008-02-01 10:05:41 +000068#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
Richard Henderson25c4d9c2011-08-17 14:11:46 -070090#if TCG_TARGET_REG_BITS == 32
Richard Hendersone6a72732013-02-19 23:51:49 -080091/* Turn some undef macros into false macros. */
Richard Henderson609ad702015-07-24 07:16:00 -070092#define TCG_TARGET_HAS_extrl_i64_i32 0
93#define TCG_TARGET_HAS_extrh_i64_i32 0
Richard Henderson25c4d9c2011-08-17 14:11:46 -070094#define TCG_TARGET_HAS_div_i64 0
Richard Hendersonca675f42013-03-11 22:41:47 -070095#define TCG_TARGET_HAS_rem_i64 0
Richard Henderson25c4d9c2011-08-17 14:11:46 -070096#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
Richard Hendersonffc5ea02012-09-21 10:13:34 -0700115#define TCG_TARGET_HAS_movcond_i64 0
Richard Hendersond7156f72013-02-19 23:51:52 -0800116#define TCG_TARGET_HAS_add2_i64 0
117#define TCG_TARGET_HAS_sub2_i64 0
118#define TCG_TARGET_HAS_mulu2_i64 0
Richard Henderson4d3203f2013-02-19 23:51:53 -0800119#define TCG_TARGET_HAS_muls2_i64 0
Richard Henderson03271522013-08-14 14:35:56 -0700120#define TCG_TARGET_HAS_muluh_i64 0
121#define TCG_TARGET_HAS_mulsh_i64 0
Richard Hendersone6a72732013-02-19 23:51:49 -0800122/* Turn some undef macros into true macros. */
123#define TCG_TARGET_HAS_add2_i32 1
124#define TCG_TARGET_HAS_sub2_i32 1
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700125#endif
126
Jan Kiszkaa4773322011-09-29 18:52:11 +0200127#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
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700134/* 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
Richard Hendersonca675f42013-03-11 22:41:47 -0700139#define TCG_TARGET_HAS_rem_i32 0
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700140#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
Richard Hendersonca675f42013-03-11 22:41:47 -0700145#define TCG_TARGET_HAS_rem_i64 0
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700146#endif
147
Richard Hendersondf9ebea2014-03-26 10:59:14 -0700148/* 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
Richard Henderson9aef40e2015-08-30 09:21:33 -0700155#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
Richard Hendersona9751602010-03-19 11:12:29 -0700161typedef enum TCGOpcode {
Aurelien Jarnoc61aaf72010-06-03 19:40:04 +0200162#define DEF(name, oargs, iargs, cargs, flags) INDEX_op_ ## name,
bellardc896fe22008-02-01 10:05:41 +0000163#include "tcg-opc.h"
164#undef DEF
165 NB_OPS,
Richard Hendersona9751602010-03-19 11:12:29 -0700166} TCGOpcode;
bellardc896fe22008-02-01 10:05:41 +0000167
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)
Aurelien Jarno7d301752009-10-28 22:44:34 +0100171#define tcg_regset_set_reg(d, r) (d) |= 1L << (r)
172#define tcg_regset_reset_reg(d, r) (d) &= ~(1L << (r))
bellardc896fe22008-02-01 10:05:41 +0000173#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
Richard Henderson1813e172014-03-28 12:56:22 -0700179#ifndef TCG_TARGET_INSN_UNIT_SIZE
Richard Henderson50533612014-04-28 12:01:23 -0700180# error "Missing TCG_TARGET_INSN_UNIT_SIZE"
181#elif TCG_TARGET_INSN_UNIT_SIZE == 1
Richard Henderson1813e172014-03-28 12:56:22 -0700182typedef 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
bellardc896fe22008-02-01 10:05:41 +0000194typedef struct TCGRelocation {
195 struct TCGRelocation *next;
196 int type;
Richard Henderson1813e172014-03-28 12:56:22 -0700197 tcg_insn_unit *ptr;
Richard Henderson2ba7fae22013-08-20 15:30:10 -0700198 intptr_t addend;
bellardc896fe22008-02-01 10:05:41 +0000199} TCGRelocation;
200
201typedef struct TCGLabel {
Richard Henderson51e39722015-02-13 18:51:05 -0800202 unsigned has_value : 1;
203 unsigned id : 31;
bellardc896fe22008-02-01 10:05:41 +0000204 union {
Richard Henderson2ba7fae22013-08-20 15:30:10 -0700205 uintptr_t value;
Richard Henderson1813e172014-03-28 12:56:22 -0700206 tcg_insn_unit *value_ptr;
bellardc896fe22008-02-01 10:05:41 +0000207 TCGRelocation *first_reloc;
208 } u;
209} TCGLabel;
210
211typedef struct TCGPool {
212 struct TCGPool *next;
blueswir1c44f9452008-05-19 16:32:18 +0000213 int size;
214 uint8_t data[0] __attribute__ ((aligned));
bellardc896fe22008-02-01 10:05:41 +0000215} TCGPool;
216
217#define TCG_POOL_CHUNK_SIZE 32768
218
blueswir1c4071c92008-03-16 19:21:07 +0000219#define TCG_MAX_TEMPS 512
Richard Henderson190ce7f2015-08-31 14:34:41 -0700220#define TCG_MAX_INSNS 512
bellardc896fe22008-02-01 10:05:41 +0000221
bellardb03cce82008-05-10 10:52:05 +0000222/* when the size of the arguments of a called function is smaller than
223 this value, they are statically allocated in the TB stack frame */
224#define TCG_STATIC_CALL_ARGS_SIZE 128
225
Richard Hendersonc02244a2010-03-19 11:36:30 -0700226typedef enum TCGType {
227 TCG_TYPE_I32,
228 TCG_TYPE_I64,
229 TCG_TYPE_COUNT, /* number of different types */
bellardc896fe22008-02-01 10:05:41 +0000230
Richard Henderson3b6dac32010-06-02 17:26:55 -0700231 /* An alias for the size of the host register. */
bellardc896fe22008-02-01 10:05:41 +0000232#if TCG_TARGET_REG_BITS == 32
Richard Henderson3b6dac32010-06-02 17:26:55 -0700233 TCG_TYPE_REG = TCG_TYPE_I32,
bellardc896fe22008-02-01 10:05:41 +0000234#else
Richard Henderson3b6dac32010-06-02 17:26:55 -0700235 TCG_TYPE_REG = TCG_TYPE_I64,
bellardc896fe22008-02-01 10:05:41 +0000236#endif
Richard Henderson3b6dac32010-06-02 17:26:55 -0700237
Richard Hendersond2898372013-08-20 14:48:46 -0700238 /* An alias for the size of the native pointer. */
239#if UINTPTR_MAX == UINT32_MAX
240 TCG_TYPE_PTR = TCG_TYPE_I32,
241#else
242 TCG_TYPE_PTR = TCG_TYPE_I64,
243#endif
Richard Henderson3b6dac32010-06-02 17:26:55 -0700244
245 /* An alias for the size of the target "long", aka register. */
Richard Hendersonc02244a2010-03-19 11:36:30 -0700246#if TARGET_LONG_BITS == 64
247 TCG_TYPE_TL = TCG_TYPE_I64,
248#else
249 TCG_TYPE_TL = TCG_TYPE_I32,
250#endif
251} TCGType;
bellardc896fe22008-02-01 10:05:41 +0000252
Richard Henderson6c5f4ea2013-09-03 13:52:19 -0700253/* Constants for qemu_ld and qemu_st for the Memory Operation field. */
254typedef enum TCGMemOp {
255 MO_8 = 0,
256 MO_16 = 1,
257 MO_32 = 2,
258 MO_64 = 3,
259 MO_SIZE = 3, /* Mask for the above. */
260
261 MO_SIGN = 4, /* Sign-extended, otherwise zero-extended. */
262
263 MO_BSWAP = 8, /* Host reverse endian. */
264#ifdef HOST_WORDS_BIGENDIAN
265 MO_LE = MO_BSWAP,
266 MO_BE = 0,
267#else
268 MO_LE = 0,
269 MO_BE = MO_BSWAP,
270#endif
271#ifdef TARGET_WORDS_BIGENDIAN
272 MO_TE = MO_BE,
273#else
274 MO_TE = MO_LE,
275#endif
276
Richard Hendersondfb36302015-05-13 11:25:20 -0700277 /* MO_UNALN accesses are never checked for alignment.
278 MO_ALIGN accesses will result in a call to the CPU's
279 do_unaligned_access hook if the guest address is not aligned.
280 The default depends on whether the target CPU defines ALIGNED_ONLY. */
281 MO_AMASK = 16,
282#ifdef ALIGNED_ONLY
283 MO_ALIGN = 0,
284 MO_UNALN = MO_AMASK,
285#else
286 MO_ALIGN = MO_AMASK,
287 MO_UNALN = 0,
288#endif
289
Richard Henderson6c5f4ea2013-09-03 13:52:19 -0700290 /* Combinations of the above, for ease of use. */
291 MO_UB = MO_8,
292 MO_UW = MO_16,
293 MO_UL = MO_32,
294 MO_SB = MO_SIGN | MO_8,
295 MO_SW = MO_SIGN | MO_16,
296 MO_SL = MO_SIGN | MO_32,
297 MO_Q = MO_64,
298
299 MO_LEUW = MO_LE | MO_UW,
300 MO_LEUL = MO_LE | MO_UL,
301 MO_LESW = MO_LE | MO_SW,
302 MO_LESL = MO_LE | MO_SL,
303 MO_LEQ = MO_LE | MO_Q,
304
305 MO_BEUW = MO_BE | MO_UW,
306 MO_BEUL = MO_BE | MO_UL,
307 MO_BESW = MO_BE | MO_SW,
308 MO_BESL = MO_BE | MO_SL,
309 MO_BEQ = MO_BE | MO_Q,
310
311 MO_TEUW = MO_TE | MO_UW,
312 MO_TEUL = MO_TE | MO_UL,
313 MO_TESW = MO_TE | MO_SW,
314 MO_TESL = MO_TE | MO_SL,
315 MO_TEQ = MO_TE | MO_Q,
316
317 MO_SSIZE = MO_SIZE | MO_SIGN,
318} TCGMemOp;
319
bellardc896fe22008-02-01 10:05:41 +0000320typedef tcg_target_ulong TCGArg;
321
Richard Hendersonb6c73a62014-09-16 09:51:46 -0700322/* Define a type and accessor macros for variables. Using pointer types
323 is nice because it gives some level of type safely. Converting to and
324 from intptr_t rather than int reduces the number of sign-extension
325 instructions that get implied on 64-bit hosts. Users of tcg_gen_* don't
326 need to know about any of this, and should treat TCGv as an opaque type.
Stefan Weil06ea77b2011-05-22 14:02:40 +0200327 In addition we do typechecking for different types of variables. TCGv_i32
pbrooka7812ae2008-11-17 14:43:54 +0000328 and TCGv_i64 are 32/64-bit variables respectively. TCGv and TCGv_ptr
Richard Hendersonb6c73a62014-09-16 09:51:46 -0700329 are aliases for target_ulong and host pointer sized values respectively. */
pbrookac56dd42008-02-03 19:56:33 +0000330
Richard Hendersonb6c73a62014-09-16 09:51:46 -0700331typedef struct TCGv_i32_d *TCGv_i32;
332typedef struct TCGv_i64_d *TCGv_i64;
333typedef struct TCGv_ptr_d *TCGv_ptr;
Lluís Vilanova1bcea732016-02-25 17:43:15 +0100334typedef TCGv_ptr TCGv_env;
Lluís Vilanova5d4e1a12016-02-25 17:43:21 +0100335#if TARGET_LONG_BITS == 32
336#define TCGv TCGv_i32
337#elif TARGET_LONG_BITS == 64
338#define TCGv TCGv_i64
339#else
340#error Unhandled TARGET_LONG_BITS value
341#endif
pbrookac56dd42008-02-03 19:56:33 +0000342
Richard Hendersonb6c73a62014-09-16 09:51:46 -0700343static inline TCGv_i32 QEMU_ARTIFICIAL MAKE_TCGV_I32(intptr_t i)
pbrookac56dd42008-02-03 19:56:33 +0000344{
Richard Hendersonb6c73a62014-09-16 09:51:46 -0700345 return (TCGv_i32)i;
346}
pbrookac56dd42008-02-03 19:56:33 +0000347
Richard Hendersonb6c73a62014-09-16 09:51:46 -0700348static inline TCGv_i64 QEMU_ARTIFICIAL MAKE_TCGV_I64(intptr_t i)
pbrooka7812ae2008-11-17 14:43:54 +0000349{
Richard Hendersonb6c73a62014-09-16 09:51:46 -0700350 return (TCGv_i64)i;
351}
pbrooka7812ae2008-11-17 14:43:54 +0000352
Richard Hendersonb6c73a62014-09-16 09:51:46 -0700353static inline TCGv_ptr QEMU_ARTIFICIAL MAKE_TCGV_PTR(intptr_t i)
354{
355 return (TCGv_ptr)i;
356}
Peter Maydellebecf362011-05-27 13:12:13 +0100357
Richard Hendersonb6c73a62014-09-16 09:51:46 -0700358static inline intptr_t QEMU_ARTIFICIAL GET_TCGV_I32(TCGv_i32 t)
359{
360 return (intptr_t)t;
361}
362
363static inline intptr_t QEMU_ARTIFICIAL GET_TCGV_I64(TCGv_i64 t)
364{
365 return (intptr_t)t;
366}
367
368static inline intptr_t QEMU_ARTIFICIAL GET_TCGV_PTR(TCGv_ptr t)
369{
370 return (intptr_t)t;
371}
372
pbrookac56dd42008-02-03 19:56:33 +0000373#if TCG_TARGET_REG_BITS == 32
pbrooka7812ae2008-11-17 14:43:54 +0000374#define TCGV_LOW(t) MAKE_TCGV_I32(GET_TCGV_I64(t))
375#define TCGV_HIGH(t) MAKE_TCGV_I32(GET_TCGV_I64(t) + 1)
pbrookac56dd42008-02-03 19:56:33 +0000376#endif
377
aurel3243e860e2009-03-10 10:29:45 +0000378#define TCGV_EQUAL_I32(a, b) (GET_TCGV_I32(a) == GET_TCGV_I32(b))
379#define TCGV_EQUAL_I64(a, b) (GET_TCGV_I64(a) == GET_TCGV_I64(b))
Peter Maydellc1de7882014-02-08 14:46:55 +0000380#define TCGV_EQUAL_PTR(a, b) (GET_TCGV_PTR(a) == GET_TCGV_PTR(b))
aurel3243e860e2009-03-10 10:29:45 +0000381
pbrooka50f5b92008-06-29 15:25:29 +0000382/* Dummy definition to avoid compiler warnings. */
pbrooka7812ae2008-11-17 14:43:54 +0000383#define TCGV_UNUSED_I32(x) x = MAKE_TCGV_I32(-1)
384#define TCGV_UNUSED_I64(x) x = MAKE_TCGV_I64(-1)
Peter Maydellc1de7882014-02-08 14:46:55 +0000385#define TCGV_UNUSED_PTR(x) x = MAKE_TCGV_PTR(-1)
pbrooka50f5b92008-06-29 15:25:29 +0000386
Richard Hendersonafcb92b2012-12-07 15:07:17 -0600387#define TCGV_IS_UNUSED_I32(x) (GET_TCGV_I32(x) == -1)
388#define TCGV_IS_UNUSED_I64(x) (GET_TCGV_I64(x) == -1)
Peter Maydellc1de7882014-02-08 14:46:55 +0000389#define TCGV_IS_UNUSED_PTR(x) (GET_TCGV_PTR(x) == -1)
Richard Hendersonafcb92b2012-12-07 15:07:17 -0600390
bellardc896fe22008-02-01 10:05:41 +0000391/* call flags */
Aurelien Jarno78505272012-10-09 21:53:08 +0200392/* Helper does not read globals (either directly or through an exception). It
393 implies TCG_CALL_NO_WRITE_GLOBALS. */
394#define TCG_CALL_NO_READ_GLOBALS 0x0010
395/* Helper does not write globals */
396#define TCG_CALL_NO_WRITE_GLOBALS 0x0020
397/* Helper can be safely suppressed if the return value is not used. */
398#define TCG_CALL_NO_SIDE_EFFECTS 0x0040
399
400/* convenience version of most used call flags */
401#define TCG_CALL_NO_RWG TCG_CALL_NO_READ_GLOBALS
402#define TCG_CALL_NO_WG TCG_CALL_NO_WRITE_GLOBALS
403#define TCG_CALL_NO_SE TCG_CALL_NO_SIDE_EFFECTS
404#define TCG_CALL_NO_RWG_SE (TCG_CALL_NO_RWG | TCG_CALL_NO_SE)
405#define TCG_CALL_NO_WG_SE (TCG_CALL_NO_WG | TCG_CALL_NO_SE)
406
bellard39cf05d2008-05-22 14:59:57 +0000407/* used to align parameters */
pbrooka7812ae2008-11-17 14:43:54 +0000408#define TCG_CALL_DUMMY_TCGV MAKE_TCGV_I32(-1)
bellard39cf05d2008-05-22 14:59:57 +0000409#define TCG_CALL_DUMMY_ARG ((TCGArg)(-1))
410
Stefan Weila93cf9d2012-11-02 08:29:53 +0100411/* Conditions. Note that these are laid out for easy manipulation by
412 the functions below:
Richard Henderson0aed2572012-09-24 14:21:40 -0700413 bit 0 is used for inverting;
414 bit 1 is signed,
415 bit 2 is unsigned,
416 bit 3 is used with bit 0 for swapping signed/unsigned. */
bellardc896fe22008-02-01 10:05:41 +0000417typedef enum {
Richard Henderson0aed2572012-09-24 14:21:40 -0700418 /* non-signed */
419 TCG_COND_NEVER = 0 | 0 | 0 | 0,
420 TCG_COND_ALWAYS = 0 | 0 | 0 | 1,
421 TCG_COND_EQ = 8 | 0 | 0 | 0,
422 TCG_COND_NE = 8 | 0 | 0 | 1,
423 /* signed */
424 TCG_COND_LT = 0 | 0 | 2 | 0,
425 TCG_COND_GE = 0 | 0 | 2 | 1,
426 TCG_COND_LE = 8 | 0 | 2 | 0,
427 TCG_COND_GT = 8 | 0 | 2 | 1,
bellardc896fe22008-02-01 10:05:41 +0000428 /* unsigned */
Richard Henderson0aed2572012-09-24 14:21:40 -0700429 TCG_COND_LTU = 0 | 4 | 0 | 0,
430 TCG_COND_GEU = 0 | 4 | 0 | 1,
431 TCG_COND_LEU = 8 | 4 | 0 | 0,
432 TCG_COND_GTU = 8 | 4 | 0 | 1,
bellardc896fe22008-02-01 10:05:41 +0000433} TCGCond;
434
Richard Henderson1c086222010-02-09 12:33:09 -0800435/* Invert the sense of the comparison. */
Richard Henderson401d4662010-01-07 10:15:20 -0800436static inline TCGCond tcg_invert_cond(TCGCond c)
437{
438 return (TCGCond)(c ^ 1);
439}
440
Richard Henderson1c086222010-02-09 12:33:09 -0800441/* Swap the operands in a comparison. */
442static inline TCGCond tcg_swap_cond(TCGCond c)
443{
Richard Henderson0aed2572012-09-24 14:21:40 -0700444 return c & 6 ? (TCGCond)(c ^ 9) : c;
Richard Henderson1c086222010-02-09 12:33:09 -0800445}
446
Richard Hendersond1e321b2012-09-24 14:21:41 -0700447/* Create an "unsigned" version of a "signed" comparison. */
Richard Hendersonff44c2f2009-12-27 09:09:41 +0000448static inline TCGCond tcg_unsigned_cond(TCGCond c)
449{
Richard Henderson0aed2572012-09-24 14:21:40 -0700450 return c & 2 ? (TCGCond)(c ^ 6) : c;
Richard Hendersonff44c2f2009-12-27 09:09:41 +0000451}
452
Richard Hendersond1e321b2012-09-24 14:21:41 -0700453/* Must a comparison be considered unsigned? */
Richard Hendersonbcc66562012-09-24 14:21:39 -0700454static inline bool is_unsigned_cond(TCGCond c)
455{
Richard Henderson0aed2572012-09-24 14:21:40 -0700456 return (c & 4) != 0;
Richard Hendersonbcc66562012-09-24 14:21:39 -0700457}
458
Richard Hendersond1e321b2012-09-24 14:21:41 -0700459/* Create a "high" version of a double-word comparison.
460 This removes equality from a LTE or GTE comparison. */
461static inline TCGCond tcg_high_cond(TCGCond c)
462{
463 switch (c) {
464 case TCG_COND_GE:
465 case TCG_COND_LE:
466 case TCG_COND_GEU:
467 case TCG_COND_LEU:
468 return (TCGCond)(c ^ 8);
469 default:
470 return c;
471 }
472}
473
Emilio G. Cota00c8fa92015-04-02 20:07:53 -0400474typedef enum TCGTempVal {
475 TEMP_VAL_DEAD,
476 TEMP_VAL_REG,
477 TEMP_VAL_MEM,
478 TEMP_VAL_CONST,
479} TCGTempVal;
bellardc896fe22008-02-01 10:05:41 +0000480
bellardc896fe22008-02-01 10:05:41 +0000481typedef struct TCGTemp {
Richard Hendersonb6638662013-09-18 14:54:45 -0700482 TCGReg reg:8;
Emilio G. Cota00c8fa92015-04-02 20:07:53 -0400483 TCGTempVal val_type:8;
484 TCGType base_type:8;
485 TCGType type:8;
bellardc896fe22008-02-01 10:05:41 +0000486 unsigned int fixed_reg:1;
Richard Hendersonb3915db2013-09-19 10:36:18 -0700487 unsigned int indirect_reg:1;
488 unsigned int indirect_base:1;
bellardc896fe22008-02-01 10:05:41 +0000489 unsigned int mem_coherent:1;
490 unsigned int mem_allocated:1;
Stefan Weil5225d662011-04-28 17:20:26 +0200491 unsigned int temp_local:1; /* If true, the temp is saved across
bellard641d5fb2008-05-25 17:24:00 +0000492 basic blocks. Otherwise, it is not
Stefan Weil5225d662011-04-28 17:20:26 +0200493 preserved across basic blocks. */
bellarde8996ee2008-05-23 17:33:39 +0000494 unsigned int temp_allocated:1; /* never used for code gen */
Emilio G. Cota00c8fa92015-04-02 20:07:53 -0400495
496 tcg_target_long val;
Richard Hendersonb3a62932013-09-18 14:12:53 -0700497 struct TCGTemp *mem_base;
Emilio G. Cota00c8fa92015-04-02 20:07:53 -0400498 intptr_t mem_offset;
bellardc896fe22008-02-01 10:05:41 +0000499 const char *name;
500} TCGTemp;
501
bellardc896fe22008-02-01 10:05:41 +0000502typedef struct TCGContext TCGContext;
503
Richard Henderson0ec9eab2013-09-19 12:16:45 -0700504typedef struct TCGTempSet {
505 unsigned long l[BITS_TO_LONGS(TCG_MAX_TEMPS)];
506} TCGTempSet;
507
Richard Hendersonc45cb8b2014-09-19 13:49:15 -0700508typedef struct TCGOp {
509 TCGOpcode opc : 8;
510
511 /* The number of out and in parameter for a call. */
512 unsigned callo : 2;
513 unsigned calli : 6;
514
515 /* Index of the arguments for this op, or -1 for zero-operand ops. */
516 signed args : 16;
517
518 /* Index of the prex/next op, or -1 for the end of the list. */
519 signed prev : 16;
520 signed next : 16;
521} TCGOp;
522
523QEMU_BUILD_BUG_ON(NB_OPS > 0xff);
524QEMU_BUILD_BUG_ON(OPC_BUF_SIZE >= 0x7fff);
525QEMU_BUILD_BUG_ON(OPPARAM_BUF_SIZE >= 0x7fff);
526
bellardc896fe22008-02-01 10:05:41 +0000527struct TCGContext {
528 uint8_t *pool_cur, *pool_end;
Kirill Batuzov40552992012-03-02 13:22:17 +0400529 TCGPool *pool_first, *pool_current, *pool_first_large;
bellardc896fe22008-02-01 10:05:41 +0000530 int nb_labels;
bellardc896fe22008-02-01 10:05:41 +0000531 int nb_globals;
532 int nb_temps;
bellardc896fe22008-02-01 10:05:41 +0000533
534 /* goto_tb support */
Richard Henderson1813e172014-03-28 12:56:22 -0700535 tcg_insn_unit *code_buf;
Sergey Fedorovf3091012016-04-10 23:35:45 +0300536 uint16_t *tb_jmp_reset_offset; /* tb->jmp_reset_offset */
537 uint16_t *tb_jmp_insn_offset; /* tb->jmp_insn_offset if USE_DIRECT_JUMP */
538 uintptr_t *tb_jmp_target_addr; /* tb->jmp_target_addr if !USE_DIRECT_JUMP */
bellardc896fe22008-02-01 10:05:41 +0000539
bellard641d5fb2008-05-25 17:24:00 +0000540 /* liveness analysis */
Aurelien Jarno866cb6c2011-05-17 18:25:45 +0200541 uint16_t *op_dead_args; /* for each operation, each bit tells if the
542 corresponding argument is dead */
Aurelien Jarnoec7a8692012-10-09 21:53:07 +0200543 uint8_t *op_sync_args; /* for each operation, each bit tells if the
544 corresponding output argument needs to be
545 sync to memory. */
bellard641d5fb2008-05-25 17:24:00 +0000546
bellardc896fe22008-02-01 10:05:41 +0000547 TCGRegSet reserved_regs;
Richard Hendersone2c6d1b2013-08-20 15:12:31 -0700548 intptr_t current_frame_offset;
549 intptr_t frame_start;
550 intptr_t frame_end;
Richard Hendersonb3a62932013-09-18 14:12:53 -0700551 TCGTemp *frame_temp;
bellardc896fe22008-02-01 10:05:41 +0000552
Richard Henderson1813e172014-03-28 12:56:22 -0700553 tcg_insn_unit *code_ptr;
bellardc896fe22008-02-01 10:05:41 +0000554
Richard Henderson6e085f72013-09-14 14:37:06 -0700555 GHashTable *helpers;
bellarda23a9ec2008-05-23 09:52:20 +0000556
557#ifdef CONFIG_PROFILER
558 /* profiling info */
559 int64_t tb_count1;
560 int64_t tb_count;
561 int64_t op_count; /* total insn count */
562 int op_count_max; /* max insn per TB */
563 int64_t temp_count;
564 int temp_count_max;
bellarda23a9ec2008-05-23 09:52:20 +0000565 int64_t del_op_count;
566 int64_t code_in_len;
567 int64_t code_out_len;
Richard Hendersonfca8a502015-09-01 19:11:45 -0700568 int64_t search_out_len;
bellarda23a9ec2008-05-23 09:52:20 +0000569 int64_t interm_time;
570 int64_t code_time;
571 int64_t la_time;
Aurelien Jarnoc5cc28f2012-09-06 16:47:13 +0200572 int64_t opt_time;
bellarda23a9ec2008-05-23 09:52:20 +0000573 int64_t restore_count;
574 int64_t restore_time;
575#endif
Peter Maydell27bfd832011-03-06 21:39:53 +0000576
577#ifdef CONFIG_DEBUG_TCG
578 int temps_in_use;
Richard Henderson0a209d42012-09-21 17:18:16 -0700579 int goto_tb_issue_mask;
Peter Maydell27bfd832011-03-06 21:39:53 +0000580#endif
Yeongkyoon Leeb76f0d82012-10-31 16:04:25 +0900581
Richard Hendersonc45cb8b2014-09-19 13:49:15 -0700582 int gen_first_op_idx;
583 int gen_last_op_idx;
584 int gen_next_op_idx;
585 int gen_next_parm_idx;
Evgeny Voevodin8232a462012-11-12 13:27:44 +0400586
Richard Henderson1813e172014-03-28 12:56:22 -0700587 /* Code generation. Note that we specifically do not use tcg_insn_unit
588 here, because there's too much arithmetic throughout that relies
589 on addition and subtraction working on bytes. Rely on the GCC
590 extension that allows arithmetic on void*. */
Evgeny Voevodin0b0d3322013-02-01 01:47:22 +0700591 int code_gen_max_blocks;
Richard Henderson1813e172014-03-28 12:56:22 -0700592 void *code_gen_prologue;
593 void *code_gen_buffer;
Evgeny Voevodin0b0d3322013-02-01 01:47:22 +0700594 size_t code_gen_buffer_size;
Richard Henderson1813e172014-03-28 12:56:22 -0700595 void *code_gen_ptr;
Evgeny Voevodin0b0d3322013-02-01 01:47:22 +0700596
Richard Hendersonb125f9d2015-09-22 13:01:15 -0700597 /* Threshold to flush the translated code buffer. */
598 void *code_gen_highwater;
599
Evgeny Voevodin5e5f07e2013-02-01 01:47:23 +0700600 TBContext tb_ctx;
601
Peter Maydellce151102016-02-23 14:49:41 +0000602 /* The TCGBackendData structure is private to tcg-target.inc.c. */
Richard Henderson9ecefc82013-10-03 14:51:24 -0500603 struct TCGBackendData *be;
Richard Hendersonc45cb8b2014-09-19 13:49:15 -0700604
605 TCGTempSet free_temps[TCG_TYPE_COUNT * 2];
606 TCGTemp temps[TCG_MAX_TEMPS]; /* globals first, temps after */
607
Richard Hendersonf8b2f202013-09-18 15:21:56 -0700608 /* Tells which temporary holds a given register.
609 It does not take into account fixed registers */
610 TCGTemp *reg_to_temp[TCG_TARGET_NB_REGS];
Richard Hendersonc45cb8b2014-09-19 13:49:15 -0700611
612 TCGOp gen_op_buf[OPC_BUF_SIZE];
613 TCGArg gen_opparam_buf[OPPARAM_BUF_SIZE];
614
Richard Hendersonfca8a502015-09-01 19:11:45 -0700615 uint16_t gen_insn_end_off[TCG_MAX_INSNS];
616 target_ulong gen_insn_data[TCG_MAX_INSNS][TARGET_INSN_START_WORDS];
bellardc896fe22008-02-01 10:05:41 +0000617};
618
619extern TCGContext tcg_ctx;
bellardc896fe22008-02-01 10:05:41 +0000620
Edgar E. Iglesias1d414782016-05-12 13:22:26 +0100621static inline void tcg_set_insn_param(int op_idx, int arg, TCGArg v)
622{
623 int op_argi = tcg_ctx.gen_op_buf[op_idx].args;
624 tcg_ctx.gen_opparam_buf[op_argi + arg] = v;
625}
626
Richard Hendersonfe700ad2014-03-30 15:36:56 -0700627/* The number of opcodes emitted so far. */
628static inline int tcg_op_buf_count(void)
629{
Richard Hendersonc45cb8b2014-09-19 13:49:15 -0700630 return tcg_ctx.gen_next_op_idx;
Richard Hendersonfe700ad2014-03-30 15:36:56 -0700631}
632
633/* Test for whether to terminate the TB for using too many opcodes. */
634static inline bool tcg_op_buf_full(void)
635{
636 return tcg_op_buf_count() >= OPC_MAX_SIZE;
637}
638
bellardc896fe22008-02-01 10:05:41 +0000639/* pool based memory allocation */
640
641void *tcg_malloc_internal(TCGContext *s, int size);
642void tcg_pool_reset(TCGContext *s);
643void tcg_pool_delete(TCGContext *s);
644
KONRAD Frederic677ef622015-08-10 17:27:02 +0200645void tb_lock(void);
646void tb_unlock(void);
647void tb_lock_reset(void);
648
bellardc896fe22008-02-01 10:05:41 +0000649static inline void *tcg_malloc(int size)
650{
651 TCGContext *s = &tcg_ctx;
652 uint8_t *ptr, *ptr_end;
653 size = (size + sizeof(long) - 1) & ~(sizeof(long) - 1);
654 ptr = s->pool_cur;
655 ptr_end = ptr + size;
656 if (unlikely(ptr_end > s->pool_end)) {
657 return tcg_malloc_internal(&tcg_ctx, size);
658 } else {
659 s->pool_cur = ptr_end;
660 return ptr;
661 }
662}
663
664void tcg_context_init(TCGContext *s);
Richard Henderson9002ec72010-05-06 08:50:41 -0700665void tcg_prologue_init(TCGContext *s);
bellardc896fe22008-02-01 10:05:41 +0000666void tcg_func_start(TCGContext *s);
667
Alex Bennée5bd2ec32016-03-15 14:30:16 +0000668int tcg_gen_code(TCGContext *s, TranslationBlock *tb);
bellardc896fe22008-02-01 10:05:41 +0000669
Richard Hendersonb6638662013-09-18 14:54:45 -0700670void tcg_set_frame(TCGContext *s, TCGReg reg, intptr_t start, intptr_t size);
pbrooka7812ae2008-11-17 14:43:54 +0000671
Richard Hendersone1ccc052013-09-18 12:53:09 -0700672int tcg_global_mem_new_internal(TCGType, TCGv_ptr, intptr_t, const char *);
673
Richard Hendersonb6638662013-09-18 14:54:45 -0700674TCGv_i32 tcg_global_reg_new_i32(TCGReg reg, const char *name);
675TCGv_i64 tcg_global_reg_new_i64(TCGReg reg, const char *name);
Richard Hendersone1ccc052013-09-18 12:53:09 -0700676
pbrooka7812ae2008-11-17 14:43:54 +0000677TCGv_i32 tcg_temp_new_internal_i32(int temp_local);
Richard Hendersone1ccc052013-09-18 12:53:09 -0700678TCGv_i64 tcg_temp_new_internal_i64(int temp_local);
679
680void tcg_temp_free_i32(TCGv_i32 arg);
681void tcg_temp_free_i64(TCGv_i64 arg);
682
Richard Hendersone1ccc052013-09-18 12:53:09 -0700683static inline TCGv_i32 tcg_global_mem_new_i32(TCGv_ptr reg, intptr_t offset,
684 const char *name)
685{
686 int idx = tcg_global_mem_new_internal(TCG_TYPE_I32, reg, offset, name);
687 return MAKE_TCGV_I32(idx);
688}
689
pbrooka7812ae2008-11-17 14:43:54 +0000690static inline TCGv_i32 tcg_temp_new_i32(void)
bellard641d5fb2008-05-25 17:24:00 +0000691{
pbrooka7812ae2008-11-17 14:43:54 +0000692 return tcg_temp_new_internal_i32(0);
bellard641d5fb2008-05-25 17:24:00 +0000693}
Richard Hendersone1ccc052013-09-18 12:53:09 -0700694
pbrooka7812ae2008-11-17 14:43:54 +0000695static inline TCGv_i32 tcg_temp_local_new_i32(void)
bellard641d5fb2008-05-25 17:24:00 +0000696{
pbrooka7812ae2008-11-17 14:43:54 +0000697 return tcg_temp_new_internal_i32(1);
bellard641d5fb2008-05-25 17:24:00 +0000698}
pbrooka7812ae2008-11-17 14:43:54 +0000699
Richard Hendersone1ccc052013-09-18 12:53:09 -0700700static inline TCGv_i64 tcg_global_mem_new_i64(TCGv_ptr reg, intptr_t offset,
701 const char *name)
702{
703 int idx = tcg_global_mem_new_internal(TCG_TYPE_I64, reg, offset, name);
704 return MAKE_TCGV_I64(idx);
705}
706
pbrooka7812ae2008-11-17 14:43:54 +0000707static inline TCGv_i64 tcg_temp_new_i64(void)
708{
709 return tcg_temp_new_internal_i64(0);
710}
Richard Hendersone1ccc052013-09-18 12:53:09 -0700711
pbrooka7812ae2008-11-17 14:43:54 +0000712static inline TCGv_i64 tcg_temp_local_new_i64(void)
713{
714 return tcg_temp_new_internal_i64(1);
715}
pbrooka7812ae2008-11-17 14:43:54 +0000716
Peter Maydell27bfd832011-03-06 21:39:53 +0000717#if defined(CONFIG_DEBUG_TCG)
718/* If you call tcg_clear_temp_count() at the start of a section of
719 * code which is not supposed to leak any TCG temporaries, then
720 * calling tcg_check_temp_count() at the end of the section will
721 * return 1 if the section did in fact leak a temporary.
722 */
723void tcg_clear_temp_count(void);
724int tcg_check_temp_count(void);
725#else
726#define tcg_clear_temp_count() do { } while (0)
727#define tcg_check_temp_count() 0
728#endif
729
Stefan Weil405cf9f2010-10-22 23:03:31 +0200730void tcg_dump_info(FILE *f, fprintf_function cpu_fprintf);
Max Filippov246ae242014-11-02 11:04:18 +0300731void tcg_dump_op_count(FILE *f, fprintf_function cpu_fprintf);
bellardc896fe22008-02-01 10:05:41 +0000732
733#define TCG_CT_ALIAS 0x80
734#define TCG_CT_IALIAS 0x40
735#define TCG_CT_REG 0x01
736#define TCG_CT_CONST 0x02 /* any constant of register size */
737
738typedef struct TCGArgConstraint {
bellard5ff9d6a2008-02-04 00:37:54 +0000739 uint16_t ct;
740 uint8_t alias_index;
bellardc896fe22008-02-01 10:05:41 +0000741 union {
742 TCGRegSet regs;
743 } u;
744} TCGArgConstraint;
745
746#define TCG_MAX_OP_ARGS 16
747
Richard Henderson8399ad52011-08-17 14:11:45 -0700748/* Bits for TCGOpDef->flags, 8 bits available. */
749enum {
750 /* Instruction defines the end of a basic block. */
751 TCG_OPF_BB_END = 0x01,
752 /* Instruction clobbers call registers and potentially update globals. */
753 TCG_OPF_CALL_CLOBBER = 0x02,
Aurelien Jarno3d5c5f82012-10-09 21:53:08 +0200754 /* Instruction has side effects: it cannot be removed if its outputs
755 are not used, and might trigger exceptions. */
Richard Henderson8399ad52011-08-17 14:11:45 -0700756 TCG_OPF_SIDE_EFFECTS = 0x04,
757 /* Instruction operands are 64-bits (otherwise 32-bits). */
758 TCG_OPF_64BIT = 0x08,
Richard Hendersonc1a61f62013-05-02 11:57:40 +0100759 /* Instruction is optional and not implemented by the host, or insn
760 is generic and should not be implemened by the host. */
Richard Henderson25c4d9c2011-08-17 14:11:46 -0700761 TCG_OPF_NOT_PRESENT = 0x10,
Richard Henderson8399ad52011-08-17 14:11:45 -0700762};
bellardc896fe22008-02-01 10:05:41 +0000763
764typedef struct TCGOpDef {
765 const char *name;
766 uint8_t nb_oargs, nb_iargs, nb_cargs, nb_args;
767 uint8_t flags;
bellardc896fe22008-02-01 10:05:41 +0000768 TCGArgConstraint *args_ct;
769 int *sorted_args;
Stefan Weilc68aaa12010-02-15 17:17:21 +0100770#if defined(CONFIG_DEBUG_TCG)
771 int used;
772#endif
bellardc896fe22008-02-01 10:05:41 +0000773} TCGOpDef;
Richard Henderson8399ad52011-08-17 14:11:45 -0700774
775extern TCGOpDef tcg_op_defs[];
Stefan Weil2a243742011-09-29 18:33:21 +0200776extern const size_t tcg_op_defs_max;
777
bellardc896fe22008-02-01 10:05:41 +0000778typedef struct TCGTargetOpDef {
Richard Hendersona9751602010-03-19 11:12:29 -0700779 TCGOpcode op;
bellardc896fe22008-02-01 10:05:41 +0000780 const char *args_ct_str[TCG_MAX_OP_ARGS];
781} TCGTargetOpDef;
782
bellardc896fe22008-02-01 10:05:41 +0000783#define tcg_abort() \
784do {\
785 fprintf(stderr, "%s:%d: tcg fatal error\n", __FILE__, __LINE__);\
786 abort();\
787} while (0)
788
Richard Hendersonc552d6c2012-09-21 17:18:14 -0700789#ifdef CONFIG_DEBUG_TCG
790# define tcg_debug_assert(X) do { assert(X); } while (0)
791#elif QEMU_GNUC_PREREQ(4, 5)
792# define tcg_debug_assert(X) \
793 do { if (!(X)) { __builtin_unreachable(); } } while (0)
794#else
795# define tcg_debug_assert(X) do { (void)(X); } while (0)
796#endif
797
bellardc896fe22008-02-01 10:05:41 +0000798void tcg_add_target_add_op_defs(const TCGTargetOpDef *tdefs);
799
Richard Henderson8b73d492013-08-20 15:07:08 -0700800#if UINTPTR_MAX == UINT32_MAX
Peter Maydellebecf362011-05-27 13:12:13 +0100801#define TCGV_NAT_TO_PTR(n) MAKE_TCGV_PTR(GET_TCGV_I32(n))
802#define TCGV_PTR_TO_NAT(n) MAKE_TCGV_I32(GET_TCGV_PTR(n))
803
Richard Henderson8b73d492013-08-20 15:07:08 -0700804#define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i32((intptr_t)(V)))
Peter Maydellebecf362011-05-27 13:12:13 +0100805#define tcg_global_reg_new_ptr(R, N) \
806 TCGV_NAT_TO_PTR(tcg_global_reg_new_i32((R), (N)))
807#define tcg_global_mem_new_ptr(R, O, N) \
808 TCGV_NAT_TO_PTR(tcg_global_mem_new_i32((R), (O), (N)))
809#define tcg_temp_new_ptr() TCGV_NAT_TO_PTR(tcg_temp_new_i32())
810#define tcg_temp_free_ptr(T) tcg_temp_free_i32(TCGV_PTR_TO_NAT(T))
bellardc896fe22008-02-01 10:05:41 +0000811#else
Peter Maydellebecf362011-05-27 13:12:13 +0100812#define TCGV_NAT_TO_PTR(n) MAKE_TCGV_PTR(GET_TCGV_I64(n))
813#define TCGV_PTR_TO_NAT(n) MAKE_TCGV_I64(GET_TCGV_PTR(n))
814
Richard Henderson8b73d492013-08-20 15:07:08 -0700815#define tcg_const_ptr(V) TCGV_NAT_TO_PTR(tcg_const_i64((intptr_t)(V)))
Peter Maydellebecf362011-05-27 13:12:13 +0100816#define tcg_global_reg_new_ptr(R, N) \
817 TCGV_NAT_TO_PTR(tcg_global_reg_new_i64((R), (N)))
818#define tcg_global_mem_new_ptr(R, O, N) \
819 TCGV_NAT_TO_PTR(tcg_global_mem_new_i64((R), (O), (N)))
820#define tcg_temp_new_ptr() TCGV_NAT_TO_PTR(tcg_temp_new_i64())
821#define tcg_temp_free_ptr(T) tcg_temp_free_i64(TCGV_PTR_TO_NAT(T))
bellardc896fe22008-02-01 10:05:41 +0000822#endif
823
Richard Hendersonbbb8a1b2014-04-08 08:39:43 -0700824void tcg_gen_callN(TCGContext *s, void *func,
825 TCGArg ret, int nargs, TCGArg *args);
pbrooka7812ae2008-11-17 14:43:54 +0000826
Richard Henderson0c627cd2014-03-30 16:51:54 -0700827void tcg_op_remove(TCGContext *s, TCGOp *op);
Richard Hendersonc45cb8b2014-09-19 13:49:15 -0700828void tcg_optimize(TCGContext *s);
Kirill Batuzov8f2e8c02011-07-07 16:37:12 +0400829
pbrooka7812ae2008-11-17 14:43:54 +0000830/* only used for debugging purposes */
Blue Swirleeacee42012-06-03 16:35:32 +0000831void tcg_dump_ops(TCGContext *s);
pbrooka7812ae2008-11-17 14:43:54 +0000832
833void dump_ops(const uint16_t *opc_buf, const TCGArg *opparam_buf);
834TCGv_i32 tcg_const_i32(int32_t val);
835TCGv_i64 tcg_const_i64(int64_t val);
836TCGv_i32 tcg_const_local_i32(int32_t val);
837TCGv_i64 tcg_const_local_i64(int64_t val);
838
Richard Henderson42a268c2015-02-13 12:51:55 -0800839TCGLabel *gen_new_label(void);
840
841/**
842 * label_arg
843 * @l: label
844 *
845 * Encode a label for storage in the TCG opcode stream.
846 */
847
848static inline TCGArg label_arg(TCGLabel *l)
849{
Richard Henderson51e39722015-02-13 18:51:05 -0800850 return (uintptr_t)l;
Richard Henderson42a268c2015-02-13 12:51:55 -0800851}
852
853/**
854 * arg_label
855 * @i: value
856 *
857 * The opposite of label_arg. Retrieve a label from the
858 * encoding of the TCG opcode stream.
859 */
860
Richard Henderson51e39722015-02-13 18:51:05 -0800861static inline TCGLabel *arg_label(TCGArg i)
Richard Henderson42a268c2015-02-13 12:51:55 -0800862{
Richard Henderson51e39722015-02-13 18:51:05 -0800863 return (TCGLabel *)(uintptr_t)i;
Richard Henderson42a268c2015-02-13 12:51:55 -0800864}
865
Peter Maydell09800112013-02-22 18:10:00 +0000866/**
Richard Henderson52a1f642014-03-31 14:27:27 -0700867 * tcg_ptr_byte_diff
868 * @a, @b: addresses to be differenced
869 *
870 * There are many places within the TCG backends where we need a byte
871 * difference between two pointers. While this can be accomplished
872 * with local casting, it's easy to get wrong -- especially if one is
873 * concerned with the signedness of the result.
874 *
875 * This version relies on GCC's void pointer arithmetic to get the
876 * correct result.
877 */
878
879static inline ptrdiff_t tcg_ptr_byte_diff(void *a, void *b)
880{
881 return a - b;
882}
883
884/**
885 * tcg_pcrel_diff
886 * @s: the tcg context
887 * @target: address of the target
888 *
889 * Produce a pc-relative difference, from the current code_ptr
890 * to the destination address.
891 */
892
893static inline ptrdiff_t tcg_pcrel_diff(TCGContext *s, void *target)
894{
895 return tcg_ptr_byte_diff(target, s->code_ptr);
896}
897
898/**
899 * tcg_current_code_size
900 * @s: the tcg context
901 *
902 * Compute the current code size within the translation block.
903 * This is used to fill in qemu's data structures for goto_tb.
904 */
905
906static inline size_t tcg_current_code_size(TCGContext *s)
907{
908 return tcg_ptr_byte_diff(s->code_ptr, s->code_buf);
909}
910
Richard Henderson59227d52015-05-12 11:51:44 -0700911/* Combine the TCGMemOp and mmu_idx parameters into a single value. */
912typedef uint32_t TCGMemOpIdx;
913
914/**
915 * make_memop_idx
916 * @op: memory operation
917 * @idx: mmu index
918 *
919 * Encode these values into a single parameter.
920 */
921static inline TCGMemOpIdx make_memop_idx(TCGMemOp op, unsigned idx)
922{
923 tcg_debug_assert(idx <= 15);
924 return (op << 4) | idx;
925}
926
927/**
928 * get_memop
929 * @oi: combined op/idx parameter
930 *
931 * Extract the memory operation from the combined value.
932 */
933static inline TCGMemOp get_memop(TCGMemOpIdx oi)
934{
935 return oi >> 4;
936}
937
938/**
939 * get_mmuidx
940 * @oi: combined op/idx parameter
941 *
942 * Extract the mmu index from the combined value.
943 */
944static inline unsigned get_mmuidx(TCGMemOpIdx oi)
945{
946 return oi & 15;
947}
948
Richard Henderson52a1f642014-03-31 14:27:27 -0700949/**
Peter Maydell09800112013-02-22 18:10:00 +0000950 * tcg_qemu_tb_exec:
Sergey Fedorov819af242016-04-21 15:58:23 +0300951 * @env: pointer to CPUArchState for the CPU
Peter Maydell09800112013-02-22 18:10:00 +0000952 * @tb_ptr: address of generated code for the TB to execute
953 *
954 * Start executing code from a given translation block.
955 * Where translation blocks have been linked, execution
956 * may proceed from the given TB into successive ones.
957 * Control eventually returns only when some action is needed
958 * from the top-level loop: either control must pass to a TB
959 * which has not yet been directly linked, or an asynchronous
960 * event such as an interrupt needs handling.
961 *
Sergey Fedorov819af242016-04-21 15:58:23 +0300962 * Return: The return value is the value passed to the corresponding
963 * tcg_gen_exit_tb() at translation time of the last TB attempted to execute.
964 * The value is either zero or a 4-byte aligned pointer to that TB combined
965 * with additional information in its two least significant bits. The
966 * additional information is encoded as follows:
Peter Maydell09800112013-02-22 18:10:00 +0000967 * 0, 1: the link between this TB and the next is via the specified
968 * TB index (0 or 1). That is, we left the TB via (the equivalent
969 * of) "goto_tb <index>". The main loop uses this to determine
970 * how to link the TB just executed to the next.
971 * 2: we are using instruction counting code generation, and we
972 * did not start executing this TB because the instruction counter
Sergey Fedorov819af242016-04-21 15:58:23 +0300973 * would hit zero midway through it. In this case the pointer
Peter Maydell09800112013-02-22 18:10:00 +0000974 * returned is the TB we were about to execute, and the caller must
975 * arrange to execute the remaining count of instructions.
Peter Maydell378df4b2013-02-22 18:10:03 +0000976 * 3: we stopped because the CPU's exit_request flag was set
977 * (usually meaning that there is an interrupt that needs to be
Sergey Fedorov819af242016-04-21 15:58:23 +0300978 * handled). The pointer returned is the TB we were about to execute
979 * when we noticed the pending exit request.
Peter Maydell09800112013-02-22 18:10:00 +0000980 *
981 * If the bottom two bits indicate an exit-via-index then the CPU
982 * state is correctly synchronised and ready for execution of the next
983 * TB (and in particular the guest PC is the address to execute next).
984 * Otherwise, we gave up on execution of this TB before it started, and
Peter Crosthwaitefee068e2015-04-29 00:52:21 -0700985 * the caller must fix up the CPU state by calling the CPU's
Sergey Fedorov819af242016-04-21 15:58:23 +0300986 * synchronize_from_tb() method with the TB pointer we return (falling
Peter Crosthwaitefee068e2015-04-29 00:52:21 -0700987 * back to calling the CPU's set_pc method with tb->pb if no
988 * synchronize_from_tb() method exists).
Peter Maydell09800112013-02-22 18:10:00 +0000989 *
990 * Note that TCG targets may use a different definition of tcg_qemu_tb_exec
991 * to this default (which just calls the prologue.code emitted by
992 * tcg_target_qemu_prologue()).
993 */
994#define TB_EXIT_MASK 3
995#define TB_EXIT_IDX0 0
996#define TB_EXIT_IDX1 1
997#define TB_EXIT_ICOUNT_EXPIRED 2
Peter Maydell378df4b2013-02-22 18:10:03 +0000998#define TB_EXIT_REQUESTED 3
Peter Maydell09800112013-02-22 18:10:00 +0000999
Paolo Bonzini5a58e882015-05-19 09:59:34 +02001000#ifdef HAVE_TCG_QEMU_TB_EXEC
1001uintptr_t tcg_qemu_tb_exec(CPUArchState *env, uint8_t *tb_ptr);
1002#else
Stefan Weilce285b12011-09-30 21:23:06 +02001003# define tcg_qemu_tb_exec(env, tb_ptr) \
Richard Henderson04d5a1d2013-08-20 14:35:34 -07001004 ((uintptr_t (*)(void *, void *))tcg_ctx.code_gen_prologue)(env, tb_ptr)
bellard932a6902008-05-30 20:56:52 +00001005#endif
Richard Henderson813da622012-03-19 12:25:11 -07001006
1007void tcg_register_jit(void *buf, size_t buf_size);
Yeongkyoon Leeb76f0d82012-10-31 16:04:25 +09001008
Richard Hendersone58eb532013-08-27 13:13:44 -07001009/*
1010 * Memory helpers that will be used by TCG generated code.
1011 */
1012#ifdef CONFIG_SOFTMMU
Richard Hendersonc8f94df2013-08-27 14:09:14 -07001013/* Value zero-extended to tcg register size. */
1014tcg_target_ulong helper_ret_ldub_mmu(CPUArchState *env, target_ulong addr,
Richard Henderson3972ef62015-05-13 09:10:33 -07001015 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001016tcg_target_ulong helper_le_lduw_mmu(CPUArchState *env, target_ulong addr,
Richard Henderson3972ef62015-05-13 09:10:33 -07001017 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001018tcg_target_ulong helper_le_ldul_mmu(CPUArchState *env, target_ulong addr,
Richard Henderson3972ef62015-05-13 09:10:33 -07001019 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001020uint64_t helper_le_ldq_mmu(CPUArchState *env, target_ulong addr,
Richard Henderson3972ef62015-05-13 09:10:33 -07001021 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001022tcg_target_ulong helper_be_lduw_mmu(CPUArchState *env, target_ulong addr,
Richard Henderson3972ef62015-05-13 09:10:33 -07001023 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001024tcg_target_ulong helper_be_ldul_mmu(CPUArchState *env, target_ulong addr,
Richard Henderson3972ef62015-05-13 09:10:33 -07001025 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001026uint64_t helper_be_ldq_mmu(CPUArchState *env, target_ulong addr,
Richard Henderson3972ef62015-05-13 09:10:33 -07001027 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Hendersone58eb532013-08-27 13:13:44 -07001028
Richard Hendersonc8f94df2013-08-27 14:09:14 -07001029/* Value sign-extended to tcg register size. */
1030tcg_target_ulong helper_ret_ldsb_mmu(CPUArchState *env, target_ulong addr,
Richard Henderson3972ef62015-05-13 09:10:33 -07001031 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001032tcg_target_ulong helper_le_ldsw_mmu(CPUArchState *env, target_ulong addr,
Richard Henderson3972ef62015-05-13 09:10:33 -07001033 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001034tcg_target_ulong helper_le_ldsl_mmu(CPUArchState *env, target_ulong addr,
Richard Henderson3972ef62015-05-13 09:10:33 -07001035 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001036tcg_target_ulong helper_be_ldsw_mmu(CPUArchState *env, target_ulong addr,
Richard Henderson3972ef62015-05-13 09:10:33 -07001037 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001038tcg_target_ulong helper_be_ldsl_mmu(CPUArchState *env, target_ulong addr,
Richard Henderson3972ef62015-05-13 09:10:33 -07001039 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Hendersonc8f94df2013-08-27 14:09:14 -07001040
Richard Hendersone58eb532013-08-27 13:13:44 -07001041void helper_ret_stb_mmu(CPUArchState *env, target_ulong addr, uint8_t val,
Richard Henderson3972ef62015-05-13 09:10:33 -07001042 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001043void helper_le_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
Richard Henderson3972ef62015-05-13 09:10:33 -07001044 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001045void helper_le_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
Richard Henderson3972ef62015-05-13 09:10:33 -07001046 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001047void helper_le_stq_mmu(CPUArchState *env, target_ulong addr, uint64_t val,
Richard Henderson3972ef62015-05-13 09:10:33 -07001048 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001049void helper_be_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
Richard Henderson3972ef62015-05-13 09:10:33 -07001050 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001051void helper_be_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
Richard Henderson3972ef62015-05-13 09:10:33 -07001052 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001053void helper_be_stq_mmu(CPUArchState *env, target_ulong addr, uint64_t val,
Richard Henderson3972ef62015-05-13 09:10:33 -07001054 TCGMemOpIdx oi, uintptr_t retaddr);
Richard Henderson867b3202013-09-04 11:45:20 -07001055
Pavel Dovgalyuk282dffc2015-07-10 12:56:50 +03001056uint8_t helper_ret_ldb_cmmu(CPUArchState *env, target_ulong addr,
1057 TCGMemOpIdx oi, uintptr_t retaddr);
1058uint16_t helper_le_ldw_cmmu(CPUArchState *env, target_ulong addr,
1059 TCGMemOpIdx oi, uintptr_t retaddr);
1060uint32_t helper_le_ldl_cmmu(CPUArchState *env, target_ulong addr,
1061 TCGMemOpIdx oi, uintptr_t retaddr);
1062uint64_t helper_le_ldq_cmmu(CPUArchState *env, target_ulong addr,
1063 TCGMemOpIdx oi, uintptr_t retaddr);
1064uint16_t helper_be_ldw_cmmu(CPUArchState *env, target_ulong addr,
1065 TCGMemOpIdx oi, uintptr_t retaddr);
1066uint32_t helper_be_ldl_cmmu(CPUArchState *env, target_ulong addr,
1067 TCGMemOpIdx oi, uintptr_t retaddr);
1068uint64_t helper_be_ldq_cmmu(CPUArchState *env, target_ulong addr,
1069 TCGMemOpIdx oi, uintptr_t retaddr);
1070
Richard Henderson867b3202013-09-04 11:45:20 -07001071/* Temporary aliases until backends are converted. */
1072#ifdef TARGET_WORDS_BIGENDIAN
1073# define helper_ret_ldsw_mmu helper_be_ldsw_mmu
1074# define helper_ret_lduw_mmu helper_be_lduw_mmu
1075# define helper_ret_ldsl_mmu helper_be_ldsl_mmu
1076# define helper_ret_ldul_mmu helper_be_ldul_mmu
Pavel Dovgalyuk282dffc2015-07-10 12:56:50 +03001077# define helper_ret_ldl_mmu helper_be_ldul_mmu
Richard Henderson867b3202013-09-04 11:45:20 -07001078# define helper_ret_ldq_mmu helper_be_ldq_mmu
1079# define helper_ret_stw_mmu helper_be_stw_mmu
1080# define helper_ret_stl_mmu helper_be_stl_mmu
1081# define helper_ret_stq_mmu helper_be_stq_mmu
Pavel Dovgalyuk282dffc2015-07-10 12:56:50 +03001082# define helper_ret_ldw_cmmu helper_be_ldw_cmmu
1083# define helper_ret_ldl_cmmu helper_be_ldl_cmmu
1084# define helper_ret_ldq_cmmu helper_be_ldq_cmmu
Richard Henderson867b3202013-09-04 11:45:20 -07001085#else
1086# define helper_ret_ldsw_mmu helper_le_ldsw_mmu
1087# define helper_ret_lduw_mmu helper_le_lduw_mmu
1088# define helper_ret_ldsl_mmu helper_le_ldsl_mmu
1089# define helper_ret_ldul_mmu helper_le_ldul_mmu
Pavel Dovgalyuk282dffc2015-07-10 12:56:50 +03001090# define helper_ret_ldl_mmu helper_le_ldul_mmu
Richard Henderson867b3202013-09-04 11:45:20 -07001091# define helper_ret_ldq_mmu helper_le_ldq_mmu
1092# define helper_ret_stw_mmu helper_le_stw_mmu
1093# define helper_ret_stl_mmu helper_le_stl_mmu
1094# define helper_ret_stq_mmu helper_le_stq_mmu
Pavel Dovgalyuk282dffc2015-07-10 12:56:50 +03001095# define helper_ret_ldw_cmmu helper_le_ldw_cmmu
1096# define helper_ret_ldl_cmmu helper_le_ldl_cmmu
1097# define helper_ret_ldq_cmmu helper_le_ldq_cmmu
Richard Henderson867b3202013-09-04 11:45:20 -07001098#endif
Richard Hendersone58eb532013-08-27 13:13:44 -07001099
Richard Hendersone58eb532013-08-27 13:13:44 -07001100#endif /* CONFIG_SOFTMMU */
1101
1102#endif /* TCG_H */