Merge tag 'tags/s390x-2018-06-18' into staging
[qemu.git] / tcg / tcg.h
blob509f4d65d2de6d53b9dc8f8d2b5511fd251365f6
1 /*
2 * Tiny Code Generator for QEMU
4 * Copyright (c) 2008 Fabrice Bellard
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:
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
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.
25 #ifndef TCG_H
26 #define TCG_H
28 #include "qemu-common.h"
29 #include "cpu.h"
30 #include "exec/tb-context.h"
31 #include "qemu/bitops.h"
32 #include "qemu/queue.h"
33 #include "tcg-mo.h"
34 #include "tcg-target.h"
36 /* XXX: make safe guess about sizes */
37 #define MAX_OP_PER_INSTR 266
39 #if HOST_LONG_BITS == 32
40 #define MAX_OPC_PARAM_PER_ARG 2
41 #else
42 #define MAX_OPC_PARAM_PER_ARG 1
43 #endif
44 #define MAX_OPC_PARAM_IARGS 6
45 #define MAX_OPC_PARAM_OARGS 1
46 #define MAX_OPC_PARAM_ARGS (MAX_OPC_PARAM_IARGS + MAX_OPC_PARAM_OARGS)
48 /* A Call op needs up to 4 + 2N parameters on 32-bit archs,
49 * and up to 4 + N parameters on 64-bit archs
50 * (N = number of input arguments + output arguments). */
51 #define MAX_OPC_PARAM (4 + (MAX_OPC_PARAM_PER_ARG * MAX_OPC_PARAM_ARGS))
53 #define CPU_TEMP_BUF_NLONGS 128
55 /* Default target word size to pointer size. */
56 #ifndef TCG_TARGET_REG_BITS
57 # if UINTPTR_MAX == UINT32_MAX
58 # define TCG_TARGET_REG_BITS 32
59 # elif UINTPTR_MAX == UINT64_MAX
60 # define TCG_TARGET_REG_BITS 64
61 # else
62 # error Unknown pointer size for tcg target
63 # endif
64 #endif
66 #if TCG_TARGET_REG_BITS == 32
67 typedef int32_t tcg_target_long;
68 typedef uint32_t tcg_target_ulong;
69 #define TCG_PRIlx PRIx32
70 #define TCG_PRIld PRId32
71 #elif TCG_TARGET_REG_BITS == 64
72 typedef int64_t tcg_target_long;
73 typedef uint64_t tcg_target_ulong;
74 #define TCG_PRIlx PRIx64
75 #define TCG_PRIld PRId64
76 #else
77 #error unsupported
78 #endif
80 /* Oversized TCG guests make things like MTTCG hard
81 * as we can't use atomics for cputlb updates.
83 #if TARGET_LONG_BITS > TCG_TARGET_REG_BITS
84 #define TCG_OVERSIZED_GUEST 1
85 #else
86 #define TCG_OVERSIZED_GUEST 0
87 #endif
89 #if TCG_TARGET_NB_REGS <= 32
90 typedef uint32_t TCGRegSet;
91 #elif TCG_TARGET_NB_REGS <= 64
92 typedef uint64_t TCGRegSet;
93 #else
94 #error unsupported
95 #endif
97 #if TCG_TARGET_REG_BITS == 32
98 /* Turn some undef macros into false macros. */
99 #define TCG_TARGET_HAS_extrl_i64_i32 0
100 #define TCG_TARGET_HAS_extrh_i64_i32 0
101 #define TCG_TARGET_HAS_div_i64 0
102 #define TCG_TARGET_HAS_rem_i64 0
103 #define TCG_TARGET_HAS_div2_i64 0
104 #define TCG_TARGET_HAS_rot_i64 0
105 #define TCG_TARGET_HAS_ext8s_i64 0
106 #define TCG_TARGET_HAS_ext16s_i64 0
107 #define TCG_TARGET_HAS_ext32s_i64 0
108 #define TCG_TARGET_HAS_ext8u_i64 0
109 #define TCG_TARGET_HAS_ext16u_i64 0
110 #define TCG_TARGET_HAS_ext32u_i64 0
111 #define TCG_TARGET_HAS_bswap16_i64 0
112 #define TCG_TARGET_HAS_bswap32_i64 0
113 #define TCG_TARGET_HAS_bswap64_i64 0
114 #define TCG_TARGET_HAS_neg_i64 0
115 #define TCG_TARGET_HAS_not_i64 0
116 #define TCG_TARGET_HAS_andc_i64 0
117 #define TCG_TARGET_HAS_orc_i64 0
118 #define TCG_TARGET_HAS_eqv_i64 0
119 #define TCG_TARGET_HAS_nand_i64 0
120 #define TCG_TARGET_HAS_nor_i64 0
121 #define TCG_TARGET_HAS_clz_i64 0
122 #define TCG_TARGET_HAS_ctz_i64 0
123 #define TCG_TARGET_HAS_ctpop_i64 0
124 #define TCG_TARGET_HAS_deposit_i64 0
125 #define TCG_TARGET_HAS_extract_i64 0
126 #define TCG_TARGET_HAS_sextract_i64 0
127 #define TCG_TARGET_HAS_movcond_i64 0
128 #define TCG_TARGET_HAS_add2_i64 0
129 #define TCG_TARGET_HAS_sub2_i64 0
130 #define TCG_TARGET_HAS_mulu2_i64 0
131 #define TCG_TARGET_HAS_muls2_i64 0
132 #define TCG_TARGET_HAS_muluh_i64 0
133 #define TCG_TARGET_HAS_mulsh_i64 0
134 /* Turn some undef macros into true macros. */
135 #define TCG_TARGET_HAS_add2_i32 1
136 #define TCG_TARGET_HAS_sub2_i32 1
137 #endif
139 #ifndef TCG_TARGET_deposit_i32_valid
140 #define TCG_TARGET_deposit_i32_valid(ofs, len) 1
141 #endif
142 #ifndef TCG_TARGET_deposit_i64_valid
143 #define TCG_TARGET_deposit_i64_valid(ofs, len) 1
144 #endif
145 #ifndef TCG_TARGET_extract_i32_valid
146 #define TCG_TARGET_extract_i32_valid(ofs, len) 1
147 #endif
148 #ifndef TCG_TARGET_extract_i64_valid
149 #define TCG_TARGET_extract_i64_valid(ofs, len) 1
150 #endif
152 /* Only one of DIV or DIV2 should be defined. */
153 #if defined(TCG_TARGET_HAS_div_i32)
154 #define TCG_TARGET_HAS_div2_i32 0
155 #elif defined(TCG_TARGET_HAS_div2_i32)
156 #define TCG_TARGET_HAS_div_i32 0
157 #define TCG_TARGET_HAS_rem_i32 0
158 #endif
159 #if defined(TCG_TARGET_HAS_div_i64)
160 #define TCG_TARGET_HAS_div2_i64 0
161 #elif defined(TCG_TARGET_HAS_div2_i64)
162 #define TCG_TARGET_HAS_div_i64 0
163 #define TCG_TARGET_HAS_rem_i64 0
164 #endif
166 /* For 32-bit targets, some sort of unsigned widening multiply is required. */
167 #if TCG_TARGET_REG_BITS == 32 \
168 && !(defined(TCG_TARGET_HAS_mulu2_i32) \
169 || defined(TCG_TARGET_HAS_muluh_i32))
170 # error "Missing unsigned widening multiply"
171 #endif
173 #if !defined(TCG_TARGET_HAS_v64) \
174 && !defined(TCG_TARGET_HAS_v128) \
175 && !defined(TCG_TARGET_HAS_v256)
176 #define TCG_TARGET_MAYBE_vec 0
177 #define TCG_TARGET_HAS_neg_vec 0
178 #define TCG_TARGET_HAS_not_vec 0
179 #define TCG_TARGET_HAS_andc_vec 0
180 #define TCG_TARGET_HAS_orc_vec 0
181 #define TCG_TARGET_HAS_shi_vec 0
182 #define TCG_TARGET_HAS_shs_vec 0
183 #define TCG_TARGET_HAS_shv_vec 0
184 #define TCG_TARGET_HAS_mul_vec 0
185 #else
186 #define TCG_TARGET_MAYBE_vec 1
187 #endif
188 #ifndef TCG_TARGET_HAS_v64
189 #define TCG_TARGET_HAS_v64 0
190 #endif
191 #ifndef TCG_TARGET_HAS_v128
192 #define TCG_TARGET_HAS_v128 0
193 #endif
194 #ifndef TCG_TARGET_HAS_v256
195 #define TCG_TARGET_HAS_v256 0
196 #endif
198 #ifndef TARGET_INSN_START_EXTRA_WORDS
199 # define TARGET_INSN_START_WORDS 1
200 #else
201 # define TARGET_INSN_START_WORDS (1 + TARGET_INSN_START_EXTRA_WORDS)
202 #endif
204 typedef enum TCGOpcode {
205 #define DEF(name, oargs, iargs, cargs, flags) INDEX_op_ ## name,
206 #include "tcg-opc.h"
207 #undef DEF
208 NB_OPS,
209 } TCGOpcode;
211 #define tcg_regset_set_reg(d, r) ((d) |= (TCGRegSet)1 << (r))
212 #define tcg_regset_reset_reg(d, r) ((d) &= ~((TCGRegSet)1 << (r)))
213 #define tcg_regset_test_reg(d, r) (((d) >> (r)) & 1)
215 #ifndef TCG_TARGET_INSN_UNIT_SIZE
216 # error "Missing TCG_TARGET_INSN_UNIT_SIZE"
217 #elif TCG_TARGET_INSN_UNIT_SIZE == 1
218 typedef uint8_t tcg_insn_unit;
219 #elif TCG_TARGET_INSN_UNIT_SIZE == 2
220 typedef uint16_t tcg_insn_unit;
221 #elif TCG_TARGET_INSN_UNIT_SIZE == 4
222 typedef uint32_t tcg_insn_unit;
223 #elif TCG_TARGET_INSN_UNIT_SIZE == 8
224 typedef uint64_t tcg_insn_unit;
225 #else
226 /* The port better have done this. */
227 #endif
230 #if defined CONFIG_DEBUG_TCG || defined QEMU_STATIC_ANALYSIS
231 # define tcg_debug_assert(X) do { assert(X); } while (0)
232 #elif QEMU_GNUC_PREREQ(4, 5)
233 # define tcg_debug_assert(X) \
234 do { if (!(X)) { __builtin_unreachable(); } } while (0)
235 #else
236 # define tcg_debug_assert(X) do { (void)(X); } while (0)
237 #endif
239 typedef struct TCGRelocation {
240 struct TCGRelocation *next;
241 int type;
242 tcg_insn_unit *ptr;
243 intptr_t addend;
244 } TCGRelocation;
246 typedef struct TCGLabel {
247 unsigned has_value : 1;
248 unsigned id : 31;
249 union {
250 uintptr_t value;
251 tcg_insn_unit *value_ptr;
252 TCGRelocation *first_reloc;
253 } u;
254 } TCGLabel;
256 typedef struct TCGPool {
257 struct TCGPool *next;
258 int size;
259 uint8_t data[0] __attribute__ ((aligned));
260 } TCGPool;
262 #define TCG_POOL_CHUNK_SIZE 32768
264 #define TCG_MAX_TEMPS 512
265 #define TCG_MAX_INSNS 512
267 /* when the size of the arguments of a called function is smaller than
268 this value, they are statically allocated in the TB stack frame */
269 #define TCG_STATIC_CALL_ARGS_SIZE 128
271 typedef enum TCGType {
272 TCG_TYPE_I32,
273 TCG_TYPE_I64,
275 TCG_TYPE_V64,
276 TCG_TYPE_V128,
277 TCG_TYPE_V256,
279 TCG_TYPE_COUNT, /* number of different types */
281 /* An alias for the size of the host register. */
282 #if TCG_TARGET_REG_BITS == 32
283 TCG_TYPE_REG = TCG_TYPE_I32,
284 #else
285 TCG_TYPE_REG = TCG_TYPE_I64,
286 #endif
288 /* An alias for the size of the native pointer. */
289 #if UINTPTR_MAX == UINT32_MAX
290 TCG_TYPE_PTR = TCG_TYPE_I32,
291 #else
292 TCG_TYPE_PTR = TCG_TYPE_I64,
293 #endif
295 /* An alias for the size of the target "long", aka register. */
296 #if TARGET_LONG_BITS == 64
297 TCG_TYPE_TL = TCG_TYPE_I64,
298 #else
299 TCG_TYPE_TL = TCG_TYPE_I32,
300 #endif
301 } TCGType;
303 /* Constants for qemu_ld and qemu_st for the Memory Operation field. */
304 typedef enum TCGMemOp {
305 MO_8 = 0,
306 MO_16 = 1,
307 MO_32 = 2,
308 MO_64 = 3,
309 MO_SIZE = 3, /* Mask for the above. */
311 MO_SIGN = 4, /* Sign-extended, otherwise zero-extended. */
313 MO_BSWAP = 8, /* Host reverse endian. */
314 #ifdef HOST_WORDS_BIGENDIAN
315 MO_LE = MO_BSWAP,
316 MO_BE = 0,
317 #else
318 MO_LE = 0,
319 MO_BE = MO_BSWAP,
320 #endif
321 #ifdef TARGET_WORDS_BIGENDIAN
322 MO_TE = MO_BE,
323 #else
324 MO_TE = MO_LE,
325 #endif
327 /* MO_UNALN accesses are never checked for alignment.
328 * MO_ALIGN accesses will result in a call to the CPU's
329 * do_unaligned_access hook if the guest address is not aligned.
330 * The default depends on whether the target CPU defines ALIGNED_ONLY.
332 * Some architectures (e.g. ARMv8) need the address which is aligned
333 * to a size more than the size of the memory access.
334 * Some architectures (e.g. SPARCv9) need an address which is aligned,
335 * but less strictly than the natural alignment.
337 * MO_ALIGN supposes the alignment size is the size of a memory access.
339 * There are three options:
340 * - unaligned access permitted (MO_UNALN).
341 * - an alignment to the size of an access (MO_ALIGN);
342 * - an alignment to a specified size, which may be more or less than
343 * the access size (MO_ALIGN_x where 'x' is a size in bytes);
345 MO_ASHIFT = 4,
346 MO_AMASK = 7 << MO_ASHIFT,
347 #ifdef ALIGNED_ONLY
348 MO_ALIGN = 0,
349 MO_UNALN = MO_AMASK,
350 #else
351 MO_ALIGN = MO_AMASK,
352 MO_UNALN = 0,
353 #endif
354 MO_ALIGN_2 = 1 << MO_ASHIFT,
355 MO_ALIGN_4 = 2 << MO_ASHIFT,
356 MO_ALIGN_8 = 3 << MO_ASHIFT,
357 MO_ALIGN_16 = 4 << MO_ASHIFT,
358 MO_ALIGN_32 = 5 << MO_ASHIFT,
359 MO_ALIGN_64 = 6 << MO_ASHIFT,
361 /* Combinations of the above, for ease of use. */
362 MO_UB = MO_8,
363 MO_UW = MO_16,
364 MO_UL = MO_32,
365 MO_SB = MO_SIGN | MO_8,
366 MO_SW = MO_SIGN | MO_16,
367 MO_SL = MO_SIGN | MO_32,
368 MO_Q = MO_64,
370 MO_LEUW = MO_LE | MO_UW,
371 MO_LEUL = MO_LE | MO_UL,
372 MO_LESW = MO_LE | MO_SW,
373 MO_LESL = MO_LE | MO_SL,
374 MO_LEQ = MO_LE | MO_Q,
376 MO_BEUW = MO_BE | MO_UW,
377 MO_BEUL = MO_BE | MO_UL,
378 MO_BESW = MO_BE | MO_SW,
379 MO_BESL = MO_BE | MO_SL,
380 MO_BEQ = MO_BE | MO_Q,
382 MO_TEUW = MO_TE | MO_UW,
383 MO_TEUL = MO_TE | MO_UL,
384 MO_TESW = MO_TE | MO_SW,
385 MO_TESL = MO_TE | MO_SL,
386 MO_TEQ = MO_TE | MO_Q,
388 MO_SSIZE = MO_SIZE | MO_SIGN,
389 } TCGMemOp;
392 * get_alignment_bits
393 * @memop: TCGMemOp value
395 * Extract the alignment size from the memop.
397 static inline unsigned get_alignment_bits(TCGMemOp memop)
399 unsigned a = memop & MO_AMASK;
401 if (a == MO_UNALN) {
402 /* No alignment required. */
403 a = 0;
404 } else if (a == MO_ALIGN) {
405 /* A natural alignment requirement. */
406 a = memop & MO_SIZE;
407 } else {
408 /* A specific alignment requirement. */
409 a = a >> MO_ASHIFT;
411 #if defined(CONFIG_SOFTMMU)
412 /* The requested alignment cannot overlap the TLB flags. */
413 tcg_debug_assert((TLB_FLAGS_MASK & ((1 << a) - 1)) == 0);
414 #endif
415 return a;
418 typedef tcg_target_ulong TCGArg;
420 /* Define type and accessor macros for TCG variables.
422 TCG variables are the inputs and outputs of TCG ops, as described
423 in tcg/README. Target CPU front-end code uses these types to deal
424 with TCG variables as it emits TCG code via the tcg_gen_* functions.
425 They come in several flavours:
426 * TCGv_i32 : 32 bit integer type
427 * TCGv_i64 : 64 bit integer type
428 * TCGv_ptr : a host pointer type
429 * TCGv_vec : a host vector type; the exact size is not exposed
430 to the CPU front-end code.
431 * TCGv : an integer type the same size as target_ulong
432 (an alias for either TCGv_i32 or TCGv_i64)
433 The compiler's type checking will complain if you mix them
434 up and pass the wrong sized TCGv to a function.
436 Users of tcg_gen_* don't need to know about any of the internal
437 details of these, and should treat them as opaque types.
438 You won't be able to look inside them in a debugger either.
440 Internal implementation details follow:
442 Note that there is no definition of the structs TCGv_i32_d etc anywhere.
443 This is deliberate, because the values we store in variables of type
444 TCGv_i32 are not really pointers-to-structures. They're just small
445 integers, but keeping them in pointer types like this means that the
446 compiler will complain if you accidentally pass a TCGv_i32 to a
447 function which takes a TCGv_i64, and so on. Only the internals of
448 TCG need to care about the actual contents of the types. */
450 typedef struct TCGv_i32_d *TCGv_i32;
451 typedef struct TCGv_i64_d *TCGv_i64;
452 typedef struct TCGv_ptr_d *TCGv_ptr;
453 typedef struct TCGv_vec_d *TCGv_vec;
454 typedef TCGv_ptr TCGv_env;
455 #if TARGET_LONG_BITS == 32
456 #define TCGv TCGv_i32
457 #elif TARGET_LONG_BITS == 64
458 #define TCGv TCGv_i64
459 #else
460 #error Unhandled TARGET_LONG_BITS value
461 #endif
463 /* call flags */
464 /* Helper does not read globals (either directly or through an exception). It
465 implies TCG_CALL_NO_WRITE_GLOBALS. */
466 #define TCG_CALL_NO_READ_GLOBALS 0x0010
467 /* Helper does not write globals */
468 #define TCG_CALL_NO_WRITE_GLOBALS 0x0020
469 /* Helper can be safely suppressed if the return value is not used. */
470 #define TCG_CALL_NO_SIDE_EFFECTS 0x0040
472 /* convenience version of most used call flags */
473 #define TCG_CALL_NO_RWG TCG_CALL_NO_READ_GLOBALS
474 #define TCG_CALL_NO_WG TCG_CALL_NO_WRITE_GLOBALS
475 #define TCG_CALL_NO_SE TCG_CALL_NO_SIDE_EFFECTS
476 #define TCG_CALL_NO_RWG_SE (TCG_CALL_NO_RWG | TCG_CALL_NO_SE)
477 #define TCG_CALL_NO_WG_SE (TCG_CALL_NO_WG | TCG_CALL_NO_SE)
479 /* Used to align parameters. See the comment before tcgv_i32_temp. */
480 #define TCG_CALL_DUMMY_ARG ((TCGArg)0)
482 /* Conditions. Note that these are laid out for easy manipulation by
483 the functions below:
484 bit 0 is used for inverting;
485 bit 1 is signed,
486 bit 2 is unsigned,
487 bit 3 is used with bit 0 for swapping signed/unsigned. */
488 typedef enum {
489 /* non-signed */
490 TCG_COND_NEVER = 0 | 0 | 0 | 0,
491 TCG_COND_ALWAYS = 0 | 0 | 0 | 1,
492 TCG_COND_EQ = 8 | 0 | 0 | 0,
493 TCG_COND_NE = 8 | 0 | 0 | 1,
494 /* signed */
495 TCG_COND_LT = 0 | 0 | 2 | 0,
496 TCG_COND_GE = 0 | 0 | 2 | 1,
497 TCG_COND_LE = 8 | 0 | 2 | 0,
498 TCG_COND_GT = 8 | 0 | 2 | 1,
499 /* unsigned */
500 TCG_COND_LTU = 0 | 4 | 0 | 0,
501 TCG_COND_GEU = 0 | 4 | 0 | 1,
502 TCG_COND_LEU = 8 | 4 | 0 | 0,
503 TCG_COND_GTU = 8 | 4 | 0 | 1,
504 } TCGCond;
506 /* Invert the sense of the comparison. */
507 static inline TCGCond tcg_invert_cond(TCGCond c)
509 return (TCGCond)(c ^ 1);
512 /* Swap the operands in a comparison. */
513 static inline TCGCond tcg_swap_cond(TCGCond c)
515 return c & 6 ? (TCGCond)(c ^ 9) : c;
518 /* Create an "unsigned" version of a "signed" comparison. */
519 static inline TCGCond tcg_unsigned_cond(TCGCond c)
521 return c & 2 ? (TCGCond)(c ^ 6) : c;
524 /* Create a "signed" version of an "unsigned" comparison. */
525 static inline TCGCond tcg_signed_cond(TCGCond c)
527 return c & 4 ? (TCGCond)(c ^ 6) : c;
530 /* Must a comparison be considered unsigned? */
531 static inline bool is_unsigned_cond(TCGCond c)
533 return (c & 4) != 0;
536 /* Create a "high" version of a double-word comparison.
537 This removes equality from a LTE or GTE comparison. */
538 static inline TCGCond tcg_high_cond(TCGCond c)
540 switch (c) {
541 case TCG_COND_GE:
542 case TCG_COND_LE:
543 case TCG_COND_GEU:
544 case TCG_COND_LEU:
545 return (TCGCond)(c ^ 8);
546 default:
547 return c;
551 typedef enum TCGTempVal {
552 TEMP_VAL_DEAD,
553 TEMP_VAL_REG,
554 TEMP_VAL_MEM,
555 TEMP_VAL_CONST,
556 } TCGTempVal;
558 typedef struct TCGTemp {
559 TCGReg reg:8;
560 TCGTempVal val_type:8;
561 TCGType base_type:8;
562 TCGType type:8;
563 unsigned int fixed_reg:1;
564 unsigned int indirect_reg:1;
565 unsigned int indirect_base:1;
566 unsigned int mem_coherent:1;
567 unsigned int mem_allocated:1;
568 /* If true, the temp is saved across both basic blocks and
569 translation blocks. */
570 unsigned int temp_global:1;
571 /* If true, the temp is saved across basic blocks but dead
572 at the end of translation blocks. If false, the temp is
573 dead at the end of basic blocks. */
574 unsigned int temp_local:1;
575 unsigned int temp_allocated:1;
577 tcg_target_long val;
578 struct TCGTemp *mem_base;
579 intptr_t mem_offset;
580 const char *name;
582 /* Pass-specific information that can be stored for a temporary.
583 One word worth of integer data, and one pointer to data
584 allocated separately. */
585 uintptr_t state;
586 void *state_ptr;
587 } TCGTemp;
589 typedef struct TCGContext TCGContext;
591 typedef struct TCGTempSet {
592 unsigned long l[BITS_TO_LONGS(TCG_MAX_TEMPS)];
593 } TCGTempSet;
595 /* While we limit helpers to 6 arguments, for 32-bit hosts, with padding,
596 this imples a max of 6*2 (64-bit in) + 2 (64-bit out) = 14 operands.
597 There are never more than 2 outputs, which means that we can store all
598 dead + sync data within 16 bits. */
599 #define DEAD_ARG 4
600 #define SYNC_ARG 1
601 typedef uint16_t TCGLifeData;
603 /* The layout here is designed to avoid a bitfield crossing of
604 a 32-bit boundary, which would cause GCC to add extra padding. */
605 typedef struct TCGOp {
606 TCGOpcode opc : 8; /* 8 */
608 /* Parameters for this opcode. See below. */
609 unsigned param1 : 4; /* 12 */
610 unsigned param2 : 4; /* 16 */
612 /* Lifetime data of the operands. */
613 unsigned life : 16; /* 32 */
615 /* Next and previous opcodes. */
616 QTAILQ_ENTRY(TCGOp) link;
618 /* Arguments for the opcode. */
619 TCGArg args[MAX_OPC_PARAM];
620 } TCGOp;
622 #define TCGOP_CALLI(X) (X)->param1
623 #define TCGOP_CALLO(X) (X)->param2
625 #define TCGOP_VECL(X) (X)->param1
626 #define TCGOP_VECE(X) (X)->param2
628 /* Make sure operands fit in the bitfields above. */
629 QEMU_BUILD_BUG_ON(NB_OPS > (1 << 8));
631 typedef struct TCGProfile {
632 int64_t tb_count1;
633 int64_t tb_count;
634 int64_t op_count; /* total insn count */
635 int op_count_max; /* max insn per TB */
636 int64_t temp_count;
637 int temp_count_max;
638 int64_t del_op_count;
639 int64_t code_in_len;
640 int64_t code_out_len;
641 int64_t search_out_len;
642 int64_t interm_time;
643 int64_t code_time;
644 int64_t la_time;
645 int64_t opt_time;
646 int64_t restore_count;
647 int64_t restore_time;
648 int64_t table_op_count[NB_OPS];
649 } TCGProfile;
651 struct TCGContext {
652 uint8_t *pool_cur, *pool_end;
653 TCGPool *pool_first, *pool_current, *pool_first_large;
654 int nb_labels;
655 int nb_globals;
656 int nb_temps;
657 int nb_indirects;
658 int nb_ops;
660 /* goto_tb support */
661 tcg_insn_unit *code_buf;
662 uint16_t *tb_jmp_reset_offset; /* tb->jmp_reset_offset */
663 uintptr_t *tb_jmp_insn_offset; /* tb->jmp_target_arg if direct_jump */
664 uintptr_t *tb_jmp_target_addr; /* tb->jmp_target_arg if !direct_jump */
666 TCGRegSet reserved_regs;
667 uint32_t tb_cflags; /* cflags of the current TB */
668 intptr_t current_frame_offset;
669 intptr_t frame_start;
670 intptr_t frame_end;
671 TCGTemp *frame_temp;
673 tcg_insn_unit *code_ptr;
675 #ifdef CONFIG_PROFILER
676 TCGProfile prof;
677 #endif
679 #ifdef CONFIG_DEBUG_TCG
680 int temps_in_use;
681 int goto_tb_issue_mask;
682 #endif
684 /* Code generation. Note that we specifically do not use tcg_insn_unit
685 here, because there's too much arithmetic throughout that relies
686 on addition and subtraction working on bytes. Rely on the GCC
687 extension that allows arithmetic on void*. */
688 void *code_gen_prologue;
689 void *code_gen_epilogue;
690 void *code_gen_buffer;
691 size_t code_gen_buffer_size;
692 void *code_gen_ptr;
693 void *data_gen_ptr;
695 /* Threshold to flush the translated code buffer. */
696 void *code_gen_highwater;
698 /* Track which vCPU triggers events */
699 CPUState *cpu; /* *_trans */
701 /* These structures are private to tcg-target.inc.c. */
702 #ifdef TCG_TARGET_NEED_LDST_LABELS
703 QSIMPLEQ_HEAD(ldst_labels, TCGLabelQemuLdst) ldst_labels;
704 #endif
705 #ifdef TCG_TARGET_NEED_POOL_LABELS
706 struct TCGLabelPoolData *pool_labels;
707 #endif
709 TCGLabel *exitreq_label;
711 TCGTempSet free_temps[TCG_TYPE_COUNT * 2];
712 TCGTemp temps[TCG_MAX_TEMPS]; /* globals first, temps after */
714 QTAILQ_HEAD(TCGOpHead, TCGOp) ops, free_ops;
716 /* Tells which temporary holds a given register.
717 It does not take into account fixed registers */
718 TCGTemp *reg_to_temp[TCG_TARGET_NB_REGS];
720 uint16_t gen_insn_end_off[TCG_MAX_INSNS];
721 target_ulong gen_insn_data[TCG_MAX_INSNS][TARGET_INSN_START_WORDS];
724 extern TCGContext tcg_init_ctx;
725 extern __thread TCGContext *tcg_ctx;
726 extern TCGv_env cpu_env;
728 static inline size_t temp_idx(TCGTemp *ts)
730 ptrdiff_t n = ts - tcg_ctx->temps;
731 tcg_debug_assert(n >= 0 && n < tcg_ctx->nb_temps);
732 return n;
735 static inline TCGArg temp_arg(TCGTemp *ts)
737 return (uintptr_t)ts;
740 static inline TCGTemp *arg_temp(TCGArg a)
742 return (TCGTemp *)(uintptr_t)a;
745 /* Using the offset of a temporary, relative to TCGContext, rather than
746 its index means that we don't use 0. That leaves offset 0 free for
747 a NULL representation without having to leave index 0 unused. */
748 static inline TCGTemp *tcgv_i32_temp(TCGv_i32 v)
750 uintptr_t o = (uintptr_t)v;
751 TCGTemp *t = (void *)tcg_ctx + o;
752 tcg_debug_assert(offsetof(TCGContext, temps[temp_idx(t)]) == o);
753 return t;
756 static inline TCGTemp *tcgv_i64_temp(TCGv_i64 v)
758 return tcgv_i32_temp((TCGv_i32)v);
761 static inline TCGTemp *tcgv_ptr_temp(TCGv_ptr v)
763 return tcgv_i32_temp((TCGv_i32)v);
766 static inline TCGTemp *tcgv_vec_temp(TCGv_vec v)
768 return tcgv_i32_temp((TCGv_i32)v);
771 static inline TCGArg tcgv_i32_arg(TCGv_i32 v)
773 return temp_arg(tcgv_i32_temp(v));
776 static inline TCGArg tcgv_i64_arg(TCGv_i64 v)
778 return temp_arg(tcgv_i64_temp(v));
781 static inline TCGArg tcgv_ptr_arg(TCGv_ptr v)
783 return temp_arg(tcgv_ptr_temp(v));
786 static inline TCGArg tcgv_vec_arg(TCGv_vec v)
788 return temp_arg(tcgv_vec_temp(v));
791 static inline TCGv_i32 temp_tcgv_i32(TCGTemp *t)
793 (void)temp_idx(t); /* trigger embedded assert */
794 return (TCGv_i32)((void *)t - (void *)tcg_ctx);
797 static inline TCGv_i64 temp_tcgv_i64(TCGTemp *t)
799 return (TCGv_i64)temp_tcgv_i32(t);
802 static inline TCGv_ptr temp_tcgv_ptr(TCGTemp *t)
804 return (TCGv_ptr)temp_tcgv_i32(t);
807 static inline TCGv_vec temp_tcgv_vec(TCGTemp *t)
809 return (TCGv_vec)temp_tcgv_i32(t);
812 #if TCG_TARGET_REG_BITS == 32
813 static inline TCGv_i32 TCGV_LOW(TCGv_i64 t)
815 return temp_tcgv_i32(tcgv_i64_temp(t));
818 static inline TCGv_i32 TCGV_HIGH(TCGv_i64 t)
820 return temp_tcgv_i32(tcgv_i64_temp(t) + 1);
822 #endif
824 static inline void tcg_set_insn_param(TCGOp *op, int arg, TCGArg v)
826 op->args[arg] = v;
829 static inline void tcg_set_insn_start_param(TCGOp *op, int arg, target_ulong v)
831 #if TARGET_LONG_BITS <= TCG_TARGET_REG_BITS
832 tcg_set_insn_param(op, arg, v);
833 #else
834 tcg_set_insn_param(op, arg * 2, v);
835 tcg_set_insn_param(op, arg * 2 + 1, v >> 32);
836 #endif
839 /* The last op that was emitted. */
840 static inline TCGOp *tcg_last_op(void)
842 return QTAILQ_LAST(&tcg_ctx->ops, TCGOpHead);
845 /* Test for whether to terminate the TB for using too many opcodes. */
846 static inline bool tcg_op_buf_full(void)
848 /* This is not a hard limit, it merely stops translation when
849 * we have produced "enough" opcodes. We want to limit TB size
850 * such that a RISC host can reasonably use a 16-bit signed
851 * branch within the TB.
853 return tcg_ctx->nb_ops >= 8000;
856 /* pool based memory allocation */
858 /* user-mode: tb_lock must be held for tcg_malloc_internal. */
859 void *tcg_malloc_internal(TCGContext *s, int size);
860 void tcg_pool_reset(TCGContext *s);
861 TranslationBlock *tcg_tb_alloc(TCGContext *s);
863 void tcg_region_init(void);
864 void tcg_region_reset_all(void);
866 size_t tcg_code_size(void);
867 size_t tcg_code_capacity(void);
869 /* user-mode: Called with tb_lock held. */
870 static inline void *tcg_malloc(int size)
872 TCGContext *s = tcg_ctx;
873 uint8_t *ptr, *ptr_end;
875 /* ??? This is a weak placeholder for minimum malloc alignment. */
876 size = QEMU_ALIGN_UP(size, 8);
878 ptr = s->pool_cur;
879 ptr_end = ptr + size;
880 if (unlikely(ptr_end > s->pool_end)) {
881 return tcg_malloc_internal(tcg_ctx, size);
882 } else {
883 s->pool_cur = ptr_end;
884 return ptr;
888 void tcg_context_init(TCGContext *s);
889 void tcg_register_thread(void);
890 void tcg_prologue_init(TCGContext *s);
891 void tcg_func_start(TCGContext *s);
893 int tcg_gen_code(TCGContext *s, TranslationBlock *tb);
895 void tcg_set_frame(TCGContext *s, TCGReg reg, intptr_t start, intptr_t size);
897 TCGTemp *tcg_global_mem_new_internal(TCGType, TCGv_ptr,
898 intptr_t, const char *);
899 TCGTemp *tcg_temp_new_internal(TCGType, bool);
900 void tcg_temp_free_internal(TCGTemp *);
901 TCGv_vec tcg_temp_new_vec(TCGType type);
902 TCGv_vec tcg_temp_new_vec_matching(TCGv_vec match);
904 static inline void tcg_temp_free_i32(TCGv_i32 arg)
906 tcg_temp_free_internal(tcgv_i32_temp(arg));
909 static inline void tcg_temp_free_i64(TCGv_i64 arg)
911 tcg_temp_free_internal(tcgv_i64_temp(arg));
914 static inline void tcg_temp_free_ptr(TCGv_ptr arg)
916 tcg_temp_free_internal(tcgv_ptr_temp(arg));
919 static inline void tcg_temp_free_vec(TCGv_vec arg)
921 tcg_temp_free_internal(tcgv_vec_temp(arg));
924 static inline TCGv_i32 tcg_global_mem_new_i32(TCGv_ptr reg, intptr_t offset,
925 const char *name)
927 TCGTemp *t = tcg_global_mem_new_internal(TCG_TYPE_I32, reg, offset, name);
928 return temp_tcgv_i32(t);
931 static inline TCGv_i32 tcg_temp_new_i32(void)
933 TCGTemp *t = tcg_temp_new_internal(TCG_TYPE_I32, false);
934 return temp_tcgv_i32(t);
937 static inline TCGv_i32 tcg_temp_local_new_i32(void)
939 TCGTemp *t = tcg_temp_new_internal(TCG_TYPE_I32, true);
940 return temp_tcgv_i32(t);
943 static inline TCGv_i64 tcg_global_mem_new_i64(TCGv_ptr reg, intptr_t offset,
944 const char *name)
946 TCGTemp *t = tcg_global_mem_new_internal(TCG_TYPE_I64, reg, offset, name);
947 return temp_tcgv_i64(t);
950 static inline TCGv_i64 tcg_temp_new_i64(void)
952 TCGTemp *t = tcg_temp_new_internal(TCG_TYPE_I64, false);
953 return temp_tcgv_i64(t);
956 static inline TCGv_i64 tcg_temp_local_new_i64(void)
958 TCGTemp *t = tcg_temp_new_internal(TCG_TYPE_I64, true);
959 return temp_tcgv_i64(t);
962 static inline TCGv_ptr tcg_global_mem_new_ptr(TCGv_ptr reg, intptr_t offset,
963 const char *name)
965 TCGTemp *t = tcg_global_mem_new_internal(TCG_TYPE_PTR, reg, offset, name);
966 return temp_tcgv_ptr(t);
969 static inline TCGv_ptr tcg_temp_new_ptr(void)
971 TCGTemp *t = tcg_temp_new_internal(TCG_TYPE_PTR, false);
972 return temp_tcgv_ptr(t);
975 static inline TCGv_ptr tcg_temp_local_new_ptr(void)
977 TCGTemp *t = tcg_temp_new_internal(TCG_TYPE_PTR, true);
978 return temp_tcgv_ptr(t);
981 #if defined(CONFIG_DEBUG_TCG)
982 /* If you call tcg_clear_temp_count() at the start of a section of
983 * code which is not supposed to leak any TCG temporaries, then
984 * calling tcg_check_temp_count() at the end of the section will
985 * return 1 if the section did in fact leak a temporary.
987 void tcg_clear_temp_count(void);
988 int tcg_check_temp_count(void);
989 #else
990 #define tcg_clear_temp_count() do { } while (0)
991 #define tcg_check_temp_count() 0
992 #endif
994 void tcg_dump_info(FILE *f, fprintf_function cpu_fprintf);
995 void tcg_dump_op_count(FILE *f, fprintf_function cpu_fprintf);
997 #define TCG_CT_ALIAS 0x80
998 #define TCG_CT_IALIAS 0x40
999 #define TCG_CT_NEWREG 0x20 /* output requires a new register */
1000 #define TCG_CT_REG 0x01
1001 #define TCG_CT_CONST 0x02 /* any constant of register size */
1003 typedef struct TCGArgConstraint {
1004 uint16_t ct;
1005 uint8_t alias_index;
1006 union {
1007 TCGRegSet regs;
1008 } u;
1009 } TCGArgConstraint;
1011 #define TCG_MAX_OP_ARGS 16
1013 /* Bits for TCGOpDef->flags, 8 bits available. */
1014 enum {
1015 /* Instruction defines the end of a basic block. */
1016 TCG_OPF_BB_END = 0x01,
1017 /* Instruction clobbers call registers and potentially update globals. */
1018 TCG_OPF_CALL_CLOBBER = 0x02,
1019 /* Instruction has side effects: it cannot be removed if its outputs
1020 are not used, and might trigger exceptions. */
1021 TCG_OPF_SIDE_EFFECTS = 0x04,
1022 /* Instruction operands are 64-bits (otherwise 32-bits). */
1023 TCG_OPF_64BIT = 0x08,
1024 /* Instruction is optional and not implemented by the host, or insn
1025 is generic and should not be implemened by the host. */
1026 TCG_OPF_NOT_PRESENT = 0x10,
1027 /* Instruction operands are vectors. */
1028 TCG_OPF_VECTOR = 0x20,
1031 typedef struct TCGOpDef {
1032 const char *name;
1033 uint8_t nb_oargs, nb_iargs, nb_cargs, nb_args;
1034 uint8_t flags;
1035 TCGArgConstraint *args_ct;
1036 int *sorted_args;
1037 #if defined(CONFIG_DEBUG_TCG)
1038 int used;
1039 #endif
1040 } TCGOpDef;
1042 extern TCGOpDef tcg_op_defs[];
1043 extern const size_t tcg_op_defs_max;
1045 typedef struct TCGTargetOpDef {
1046 TCGOpcode op;
1047 const char *args_ct_str[TCG_MAX_OP_ARGS];
1048 } TCGTargetOpDef;
1050 #define tcg_abort() \
1051 do {\
1052 fprintf(stderr, "%s:%d: tcg fatal error\n", __FILE__, __LINE__);\
1053 abort();\
1054 } while (0)
1056 bool tcg_op_supported(TCGOpcode op);
1058 void tcg_gen_callN(void *func, TCGTemp *ret, int nargs, TCGTemp **args);
1060 TCGOp *tcg_emit_op(TCGOpcode opc);
1061 void tcg_op_remove(TCGContext *s, TCGOp *op);
1062 TCGOp *tcg_op_insert_before(TCGContext *s, TCGOp *op, TCGOpcode opc, int narg);
1063 TCGOp *tcg_op_insert_after(TCGContext *s, TCGOp *op, TCGOpcode opc, int narg);
1065 void tcg_optimize(TCGContext *s);
1067 /* only used for debugging purposes */
1068 void tcg_dump_ops(TCGContext *s);
1070 TCGv_i32 tcg_const_i32(int32_t val);
1071 TCGv_i64 tcg_const_i64(int64_t val);
1072 TCGv_i32 tcg_const_local_i32(int32_t val);
1073 TCGv_i64 tcg_const_local_i64(int64_t val);
1074 TCGv_vec tcg_const_zeros_vec(TCGType);
1075 TCGv_vec tcg_const_ones_vec(TCGType);
1076 TCGv_vec tcg_const_zeros_vec_matching(TCGv_vec);
1077 TCGv_vec tcg_const_ones_vec_matching(TCGv_vec);
1079 #if UINTPTR_MAX == UINT32_MAX
1080 # define tcg_const_ptr(x) ((TCGv_ptr)tcg_const_i32((intptr_t)(x)))
1081 # define tcg_const_local_ptr(x) ((TCGv_ptr)tcg_const_local_i32((intptr_t)(x)))
1082 #else
1083 # define tcg_const_ptr(x) ((TCGv_ptr)tcg_const_i64((intptr_t)(x)))
1084 # define tcg_const_local_ptr(x) ((TCGv_ptr)tcg_const_local_i64((intptr_t)(x)))
1085 #endif
1087 TCGLabel *gen_new_label(void);
1090 * label_arg
1091 * @l: label
1093 * Encode a label for storage in the TCG opcode stream.
1096 static inline TCGArg label_arg(TCGLabel *l)
1098 return (uintptr_t)l;
1102 * arg_label
1103 * @i: value
1105 * The opposite of label_arg. Retrieve a label from the
1106 * encoding of the TCG opcode stream.
1109 static inline TCGLabel *arg_label(TCGArg i)
1111 return (TCGLabel *)(uintptr_t)i;
1115 * tcg_ptr_byte_diff
1116 * @a, @b: addresses to be differenced
1118 * There are many places within the TCG backends where we need a byte
1119 * difference between two pointers. While this can be accomplished
1120 * with local casting, it's easy to get wrong -- especially if one is
1121 * concerned with the signedness of the result.
1123 * This version relies on GCC's void pointer arithmetic to get the
1124 * correct result.
1127 static inline ptrdiff_t tcg_ptr_byte_diff(void *a, void *b)
1129 return a - b;
1133 * tcg_pcrel_diff
1134 * @s: the tcg context
1135 * @target: address of the target
1137 * Produce a pc-relative difference, from the current code_ptr
1138 * to the destination address.
1141 static inline ptrdiff_t tcg_pcrel_diff(TCGContext *s, void *target)
1143 return tcg_ptr_byte_diff(target, s->code_ptr);
1147 * tcg_current_code_size
1148 * @s: the tcg context
1150 * Compute the current code size within the translation block.
1151 * This is used to fill in qemu's data structures for goto_tb.
1154 static inline size_t tcg_current_code_size(TCGContext *s)
1156 return tcg_ptr_byte_diff(s->code_ptr, s->code_buf);
1159 /* Combine the TCGMemOp and mmu_idx parameters into a single value. */
1160 typedef uint32_t TCGMemOpIdx;
1163 * make_memop_idx
1164 * @op: memory operation
1165 * @idx: mmu index
1167 * Encode these values into a single parameter.
1169 static inline TCGMemOpIdx make_memop_idx(TCGMemOp op, unsigned idx)
1171 tcg_debug_assert(idx <= 15);
1172 return (op << 4) | idx;
1176 * get_memop
1177 * @oi: combined op/idx parameter
1179 * Extract the memory operation from the combined value.
1181 static inline TCGMemOp get_memop(TCGMemOpIdx oi)
1183 return oi >> 4;
1187 * get_mmuidx
1188 * @oi: combined op/idx parameter
1190 * Extract the mmu index from the combined value.
1192 static inline unsigned get_mmuidx(TCGMemOpIdx oi)
1194 return oi & 15;
1198 * tcg_qemu_tb_exec:
1199 * @env: pointer to CPUArchState for the CPU
1200 * @tb_ptr: address of generated code for the TB to execute
1202 * Start executing code from a given translation block.
1203 * Where translation blocks have been linked, execution
1204 * may proceed from the given TB into successive ones.
1205 * Control eventually returns only when some action is needed
1206 * from the top-level loop: either control must pass to a TB
1207 * which has not yet been directly linked, or an asynchronous
1208 * event such as an interrupt needs handling.
1210 * Return: The return value is the value passed to the corresponding
1211 * tcg_gen_exit_tb() at translation time of the last TB attempted to execute.
1212 * The value is either zero or a 4-byte aligned pointer to that TB combined
1213 * with additional information in its two least significant bits. The
1214 * additional information is encoded as follows:
1215 * 0, 1: the link between this TB and the next is via the specified
1216 * TB index (0 or 1). That is, we left the TB via (the equivalent
1217 * of) "goto_tb <index>". The main loop uses this to determine
1218 * how to link the TB just executed to the next.
1219 * 2: we are using instruction counting code generation, and we
1220 * did not start executing this TB because the instruction counter
1221 * would hit zero midway through it. In this case the pointer
1222 * returned is the TB we were about to execute, and the caller must
1223 * arrange to execute the remaining count of instructions.
1224 * 3: we stopped because the CPU's exit_request flag was set
1225 * (usually meaning that there is an interrupt that needs to be
1226 * handled). The pointer returned is the TB we were about to execute
1227 * when we noticed the pending exit request.
1229 * If the bottom two bits indicate an exit-via-index then the CPU
1230 * state is correctly synchronised and ready for execution of the next
1231 * TB (and in particular the guest PC is the address to execute next).
1232 * Otherwise, we gave up on execution of this TB before it started, and
1233 * the caller must fix up the CPU state by calling the CPU's
1234 * synchronize_from_tb() method with the TB pointer we return (falling
1235 * back to calling the CPU's set_pc method with tb->pb if no
1236 * synchronize_from_tb() method exists).
1238 * Note that TCG targets may use a different definition of tcg_qemu_tb_exec
1239 * to this default (which just calls the prologue.code emitted by
1240 * tcg_target_qemu_prologue()).
1242 #define TB_EXIT_MASK 3
1243 #define TB_EXIT_IDX0 0
1244 #define TB_EXIT_IDX1 1
1245 #define TB_EXIT_IDXMAX 1
1246 #define TB_EXIT_REQUESTED 3
1248 #ifdef HAVE_TCG_QEMU_TB_EXEC
1249 uintptr_t tcg_qemu_tb_exec(CPUArchState *env, uint8_t *tb_ptr);
1250 #else
1251 # define tcg_qemu_tb_exec(env, tb_ptr) \
1252 ((uintptr_t (*)(void *, void *))tcg_ctx->code_gen_prologue)(env, tb_ptr)
1253 #endif
1255 void tcg_register_jit(void *buf, size_t buf_size);
1257 #if TCG_TARGET_MAYBE_vec
1258 /* Return zero if the tuple (opc, type, vece) is unsupportable;
1259 return > 0 if it is directly supportable;
1260 return < 0 if we must call tcg_expand_vec_op. */
1261 int tcg_can_emit_vec_op(TCGOpcode, TCGType, unsigned);
1262 #else
1263 static inline int tcg_can_emit_vec_op(TCGOpcode o, TCGType t, unsigned ve)
1265 return 0;
1267 #endif
1269 /* Expand the tuple (opc, type, vece) on the given arguments. */
1270 void tcg_expand_vec_op(TCGOpcode, TCGType, unsigned, TCGArg, ...);
1272 /* Replicate a constant C accoring to the log2 of the element size. */
1273 uint64_t dup_const(unsigned vece, uint64_t c);
1275 #define dup_const(VECE, C) \
1276 (__builtin_constant_p(VECE) \
1277 ? ( (VECE) == MO_8 ? 0x0101010101010101ull * (uint8_t)(C) \
1278 : (VECE) == MO_16 ? 0x0001000100010001ull * (uint16_t)(C) \
1279 : (VECE) == MO_32 ? 0x0000000100000001ull * (uint32_t)(C) \
1280 : dup_const(VECE, C)) \
1281 : dup_const(VECE, C))
1285 * Memory helpers that will be used by TCG generated code.
1287 #ifdef CONFIG_SOFTMMU
1288 /* Value zero-extended to tcg register size. */
1289 tcg_target_ulong helper_ret_ldub_mmu(CPUArchState *env, target_ulong addr,
1290 TCGMemOpIdx oi, uintptr_t retaddr);
1291 tcg_target_ulong helper_le_lduw_mmu(CPUArchState *env, target_ulong addr,
1292 TCGMemOpIdx oi, uintptr_t retaddr);
1293 tcg_target_ulong helper_le_ldul_mmu(CPUArchState *env, target_ulong addr,
1294 TCGMemOpIdx oi, uintptr_t retaddr);
1295 uint64_t helper_le_ldq_mmu(CPUArchState *env, target_ulong addr,
1296 TCGMemOpIdx oi, uintptr_t retaddr);
1297 tcg_target_ulong helper_be_lduw_mmu(CPUArchState *env, target_ulong addr,
1298 TCGMemOpIdx oi, uintptr_t retaddr);
1299 tcg_target_ulong helper_be_ldul_mmu(CPUArchState *env, target_ulong addr,
1300 TCGMemOpIdx oi, uintptr_t retaddr);
1301 uint64_t helper_be_ldq_mmu(CPUArchState *env, target_ulong addr,
1302 TCGMemOpIdx oi, uintptr_t retaddr);
1304 /* Value sign-extended to tcg register size. */
1305 tcg_target_ulong helper_ret_ldsb_mmu(CPUArchState *env, target_ulong addr,
1306 TCGMemOpIdx oi, uintptr_t retaddr);
1307 tcg_target_ulong helper_le_ldsw_mmu(CPUArchState *env, target_ulong addr,
1308 TCGMemOpIdx oi, uintptr_t retaddr);
1309 tcg_target_ulong helper_le_ldsl_mmu(CPUArchState *env, target_ulong addr,
1310 TCGMemOpIdx oi, uintptr_t retaddr);
1311 tcg_target_ulong helper_be_ldsw_mmu(CPUArchState *env, target_ulong addr,
1312 TCGMemOpIdx oi, uintptr_t retaddr);
1313 tcg_target_ulong helper_be_ldsl_mmu(CPUArchState *env, target_ulong addr,
1314 TCGMemOpIdx oi, uintptr_t retaddr);
1316 void helper_ret_stb_mmu(CPUArchState *env, target_ulong addr, uint8_t val,
1317 TCGMemOpIdx oi, uintptr_t retaddr);
1318 void helper_le_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
1319 TCGMemOpIdx oi, uintptr_t retaddr);
1320 void helper_le_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
1321 TCGMemOpIdx oi, uintptr_t retaddr);
1322 void helper_le_stq_mmu(CPUArchState *env, target_ulong addr, uint64_t val,
1323 TCGMemOpIdx oi, uintptr_t retaddr);
1324 void helper_be_stw_mmu(CPUArchState *env, target_ulong addr, uint16_t val,
1325 TCGMemOpIdx oi, uintptr_t retaddr);
1326 void helper_be_stl_mmu(CPUArchState *env, target_ulong addr, uint32_t val,
1327 TCGMemOpIdx oi, uintptr_t retaddr);
1328 void helper_be_stq_mmu(CPUArchState *env, target_ulong addr, uint64_t val,
1329 TCGMemOpIdx oi, uintptr_t retaddr);
1331 uint8_t helper_ret_ldb_cmmu(CPUArchState *env, target_ulong addr,
1332 TCGMemOpIdx oi, uintptr_t retaddr);
1333 uint16_t helper_le_ldw_cmmu(CPUArchState *env, target_ulong addr,
1334 TCGMemOpIdx oi, uintptr_t retaddr);
1335 uint32_t helper_le_ldl_cmmu(CPUArchState *env, target_ulong addr,
1336 TCGMemOpIdx oi, uintptr_t retaddr);
1337 uint64_t helper_le_ldq_cmmu(CPUArchState *env, target_ulong addr,
1338 TCGMemOpIdx oi, uintptr_t retaddr);
1339 uint16_t helper_be_ldw_cmmu(CPUArchState *env, target_ulong addr,
1340 TCGMemOpIdx oi, uintptr_t retaddr);
1341 uint32_t helper_be_ldl_cmmu(CPUArchState *env, target_ulong addr,
1342 TCGMemOpIdx oi, uintptr_t retaddr);
1343 uint64_t helper_be_ldq_cmmu(CPUArchState *env, target_ulong addr,
1344 TCGMemOpIdx oi, uintptr_t retaddr);
1346 /* Temporary aliases until backends are converted. */
1347 #ifdef TARGET_WORDS_BIGENDIAN
1348 # define helper_ret_ldsw_mmu helper_be_ldsw_mmu
1349 # define helper_ret_lduw_mmu helper_be_lduw_mmu
1350 # define helper_ret_ldsl_mmu helper_be_ldsl_mmu
1351 # define helper_ret_ldul_mmu helper_be_ldul_mmu
1352 # define helper_ret_ldl_mmu helper_be_ldul_mmu
1353 # define helper_ret_ldq_mmu helper_be_ldq_mmu
1354 # define helper_ret_stw_mmu helper_be_stw_mmu
1355 # define helper_ret_stl_mmu helper_be_stl_mmu
1356 # define helper_ret_stq_mmu helper_be_stq_mmu
1357 # define helper_ret_ldw_cmmu helper_be_ldw_cmmu
1358 # define helper_ret_ldl_cmmu helper_be_ldl_cmmu
1359 # define helper_ret_ldq_cmmu helper_be_ldq_cmmu
1360 #else
1361 # define helper_ret_ldsw_mmu helper_le_ldsw_mmu
1362 # define helper_ret_lduw_mmu helper_le_lduw_mmu
1363 # define helper_ret_ldsl_mmu helper_le_ldsl_mmu
1364 # define helper_ret_ldul_mmu helper_le_ldul_mmu
1365 # define helper_ret_ldl_mmu helper_le_ldul_mmu
1366 # define helper_ret_ldq_mmu helper_le_ldq_mmu
1367 # define helper_ret_stw_mmu helper_le_stw_mmu
1368 # define helper_ret_stl_mmu helper_le_stl_mmu
1369 # define helper_ret_stq_mmu helper_le_stq_mmu
1370 # define helper_ret_ldw_cmmu helper_le_ldw_cmmu
1371 # define helper_ret_ldl_cmmu helper_le_ldl_cmmu
1372 # define helper_ret_ldq_cmmu helper_le_ldq_cmmu
1373 #endif
1375 uint32_t helper_atomic_cmpxchgb_mmu(CPUArchState *env, target_ulong addr,
1376 uint32_t cmpv, uint32_t newv,
1377 TCGMemOpIdx oi, uintptr_t retaddr);
1378 uint32_t helper_atomic_cmpxchgw_le_mmu(CPUArchState *env, target_ulong addr,
1379 uint32_t cmpv, uint32_t newv,
1380 TCGMemOpIdx oi, uintptr_t retaddr);
1381 uint32_t helper_atomic_cmpxchgl_le_mmu(CPUArchState *env, target_ulong addr,
1382 uint32_t cmpv, uint32_t newv,
1383 TCGMemOpIdx oi, uintptr_t retaddr);
1384 uint64_t helper_atomic_cmpxchgq_le_mmu(CPUArchState *env, target_ulong addr,
1385 uint64_t cmpv, uint64_t newv,
1386 TCGMemOpIdx oi, uintptr_t retaddr);
1387 uint32_t helper_atomic_cmpxchgw_be_mmu(CPUArchState *env, target_ulong addr,
1388 uint32_t cmpv, uint32_t newv,
1389 TCGMemOpIdx oi, uintptr_t retaddr);
1390 uint32_t helper_atomic_cmpxchgl_be_mmu(CPUArchState *env, target_ulong addr,
1391 uint32_t cmpv, uint32_t newv,
1392 TCGMemOpIdx oi, uintptr_t retaddr);
1393 uint64_t helper_atomic_cmpxchgq_be_mmu(CPUArchState *env, target_ulong addr,
1394 uint64_t cmpv, uint64_t newv,
1395 TCGMemOpIdx oi, uintptr_t retaddr);
1397 #define GEN_ATOMIC_HELPER(NAME, TYPE, SUFFIX) \
1398 TYPE helper_atomic_ ## NAME ## SUFFIX ## _mmu \
1399 (CPUArchState *env, target_ulong addr, TYPE val, \
1400 TCGMemOpIdx oi, uintptr_t retaddr);
1402 #ifdef CONFIG_ATOMIC64
1403 #define GEN_ATOMIC_HELPER_ALL(NAME) \
1404 GEN_ATOMIC_HELPER(NAME, uint32_t, b) \
1405 GEN_ATOMIC_HELPER(NAME, uint32_t, w_le) \
1406 GEN_ATOMIC_HELPER(NAME, uint32_t, w_be) \
1407 GEN_ATOMIC_HELPER(NAME, uint32_t, l_le) \
1408 GEN_ATOMIC_HELPER(NAME, uint32_t, l_be) \
1409 GEN_ATOMIC_HELPER(NAME, uint64_t, q_le) \
1410 GEN_ATOMIC_HELPER(NAME, uint64_t, q_be)
1411 #else
1412 #define GEN_ATOMIC_HELPER_ALL(NAME) \
1413 GEN_ATOMIC_HELPER(NAME, uint32_t, b) \
1414 GEN_ATOMIC_HELPER(NAME, uint32_t, w_le) \
1415 GEN_ATOMIC_HELPER(NAME, uint32_t, w_be) \
1416 GEN_ATOMIC_HELPER(NAME, uint32_t, l_le) \
1417 GEN_ATOMIC_HELPER(NAME, uint32_t, l_be)
1418 #endif
1420 GEN_ATOMIC_HELPER_ALL(fetch_add)
1421 GEN_ATOMIC_HELPER_ALL(fetch_sub)
1422 GEN_ATOMIC_HELPER_ALL(fetch_and)
1423 GEN_ATOMIC_HELPER_ALL(fetch_or)
1424 GEN_ATOMIC_HELPER_ALL(fetch_xor)
1425 GEN_ATOMIC_HELPER_ALL(fetch_smin)
1426 GEN_ATOMIC_HELPER_ALL(fetch_umin)
1427 GEN_ATOMIC_HELPER_ALL(fetch_smax)
1428 GEN_ATOMIC_HELPER_ALL(fetch_umax)
1430 GEN_ATOMIC_HELPER_ALL(add_fetch)
1431 GEN_ATOMIC_HELPER_ALL(sub_fetch)
1432 GEN_ATOMIC_HELPER_ALL(and_fetch)
1433 GEN_ATOMIC_HELPER_ALL(or_fetch)
1434 GEN_ATOMIC_HELPER_ALL(xor_fetch)
1435 GEN_ATOMIC_HELPER_ALL(smin_fetch)
1436 GEN_ATOMIC_HELPER_ALL(umin_fetch)
1437 GEN_ATOMIC_HELPER_ALL(smax_fetch)
1438 GEN_ATOMIC_HELPER_ALL(umax_fetch)
1440 GEN_ATOMIC_HELPER_ALL(xchg)
1442 #undef GEN_ATOMIC_HELPER_ALL
1443 #undef GEN_ATOMIC_HELPER
1444 #endif /* CONFIG_SOFTMMU */
1446 #ifdef CONFIG_ATOMIC128
1447 #include "qemu/int128.h"
1449 /* These aren't really a "proper" helpers because TCG cannot manage Int128.
1450 However, use the same format as the others, for use by the backends. */
1451 Int128 helper_atomic_cmpxchgo_le_mmu(CPUArchState *env, target_ulong addr,
1452 Int128 cmpv, Int128 newv,
1453 TCGMemOpIdx oi, uintptr_t retaddr);
1454 Int128 helper_atomic_cmpxchgo_be_mmu(CPUArchState *env, target_ulong addr,
1455 Int128 cmpv, Int128 newv,
1456 TCGMemOpIdx oi, uintptr_t retaddr);
1458 Int128 helper_atomic_ldo_le_mmu(CPUArchState *env, target_ulong addr,
1459 TCGMemOpIdx oi, uintptr_t retaddr);
1460 Int128 helper_atomic_ldo_be_mmu(CPUArchState *env, target_ulong addr,
1461 TCGMemOpIdx oi, uintptr_t retaddr);
1462 void helper_atomic_sto_le_mmu(CPUArchState *env, target_ulong addr, Int128 val,
1463 TCGMemOpIdx oi, uintptr_t retaddr);
1464 void helper_atomic_sto_be_mmu(CPUArchState *env, target_ulong addr, Int128 val,
1465 TCGMemOpIdx oi, uintptr_t retaddr);
1467 #endif /* CONFIG_ATOMIC128 */
1469 #endif /* TCG_H */