]> Git Repo - qemu.git/blame - tcg/i386/tcg-target.h
tcg/i386: Support avx512vbmi2 vector shift-double instructions
[qemu.git] / tcg / i386 / tcg-target.h
CommitLineData
c896fe29
FB
1/*
2 * Tiny Code Generator for QEMU
3 *
4 * Copyright (c) 2008 Fabrice Bellard
5 *
6 * Permission is hereby granted, free of charge, to any person obtaining a copy
7 * of this software and associated documentation files (the "Software"), to deal
8 * in the Software without restriction, including without limitation the rights
9 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 * copies of the Software, and to permit persons to whom the Software is
11 * furnished to do so, subject to the following conditions:
12 *
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
15 *
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22 * THE SOFTWARE.
23 */
14e54f8e
MA
24
25#ifndef I386_TCG_TARGET_H
26#define I386_TCG_TARGET_H
c896fe29 27
f6bff89d 28#define TCG_TARGET_INSN_UNIT_SIZE 1
006f8638 29#define TCG_TARGET_TLB_DISPLACEMENT_BITS 31
f6bff89d 30
78cd7b83
RH
31#ifdef __x86_64__
32# define TCG_TARGET_REG_BITS 64
770c2fc7 33# define TCG_TARGET_NB_REGS 32
26a75d12 34# define MAX_CODE_GEN_BUFFER_SIZE (2 * GiB)
5d8a4f8f 35#else
78cd7b83 36# define TCG_TARGET_REG_BITS 32
770c2fc7 37# define TCG_TARGET_NB_REGS 24
26a75d12 38# define MAX_CODE_GEN_BUFFER_SIZE UINT32_MAX
5d8a4f8f 39#endif
c896fe29 40
771142c2 41typedef enum {
c896fe29
FB
42 TCG_REG_EAX = 0,
43 TCG_REG_ECX,
44 TCG_REG_EDX,
45 TCG_REG_EBX,
46 TCG_REG_ESP,
47 TCG_REG_EBP,
48 TCG_REG_ESI,
49 TCG_REG_EDI,
5d8a4f8f
RH
50
51 /* 64-bit registers; always define the symbols to avoid
52 too much if-deffing. */
53 TCG_REG_R8,
54 TCG_REG_R9,
55 TCG_REG_R10,
56 TCG_REG_R11,
57 TCG_REG_R12,
58 TCG_REG_R13,
59 TCG_REG_R14,
60 TCG_REG_R15,
770c2fc7
RH
61
62 TCG_REG_XMM0,
63 TCG_REG_XMM1,
64 TCG_REG_XMM2,
65 TCG_REG_XMM3,
66 TCG_REG_XMM4,
67 TCG_REG_XMM5,
68 TCG_REG_XMM6,
69 TCG_REG_XMM7,
70
71 /* 64-bit registers; likewise always define. */
72 TCG_REG_XMM8,
73 TCG_REG_XMM9,
74 TCG_REG_XMM10,
75 TCG_REG_XMM11,
76 TCG_REG_XMM12,
77 TCG_REG_XMM13,
78 TCG_REG_XMM14,
79 TCG_REG_XMM15,
80
5d8a4f8f
RH
81 TCG_REG_RAX = TCG_REG_EAX,
82 TCG_REG_RCX = TCG_REG_ECX,
83 TCG_REG_RDX = TCG_REG_EDX,
84 TCG_REG_RBX = TCG_REG_EBX,
85 TCG_REG_RSP = TCG_REG_ESP,
86 TCG_REG_RBP = TCG_REG_EBP,
87 TCG_REG_RSI = TCG_REG_ESI,
88 TCG_REG_RDI = TCG_REG_EDI,
5740d9f7
RH
89
90 TCG_AREG0 = TCG_REG_EBP,
66c0285d 91 TCG_REG_CALL_STACK = TCG_REG_ESP
771142c2 92} TCGReg;
c896fe29
FB
93
94/* used for function call generation */
c896fe29 95#define TCG_TARGET_STACK_ALIGN 16
1b7621ad
SW
96#if defined(_WIN64)
97#define TCG_TARGET_CALL_STACK_OFFSET 32
98#else
39cf05d3 99#define TCG_TARGET_CALL_STACK_OFFSET 0
1b7621ad 100#endif
c896fe29 101
9d2eec20 102extern bool have_bmi1;
993508e4 103extern bool have_popcnt;
770c2fc7
RH
104extern bool have_avx1;
105extern bool have_avx2;
ba597b66
RH
106extern bool have_avx512bw;
107extern bool have_avx512dq;
108extern bool have_avx512vbmi2;
109extern bool have_avx512vl;
d2ef1b83 110extern bool have_movbe;
9d2eec20 111
9619376c 112/* optional instructions */
25c4d9cc
RH
113#define TCG_TARGET_HAS_div2_i32 1
114#define TCG_TARGET_HAS_rot_i32 1
115#define TCG_TARGET_HAS_ext8s_i32 1
116#define TCG_TARGET_HAS_ext16s_i32 1
117#define TCG_TARGET_HAS_ext8u_i32 1
118#define TCG_TARGET_HAS_ext16u_i32 1
119#define TCG_TARGET_HAS_bswap16_i32 1
120#define TCG_TARGET_HAS_bswap32_i32 1
121#define TCG_TARGET_HAS_neg_i32 1
122#define TCG_TARGET_HAS_not_i32 1
9d2eec20 123#define TCG_TARGET_HAS_andc_i32 have_bmi1
25c4d9cc
RH
124#define TCG_TARGET_HAS_orc_i32 0
125#define TCG_TARGET_HAS_eqv_i32 0
126#define TCG_TARGET_HAS_nand_i32 0
127#define TCG_TARGET_HAS_nor_i32 0
bbf25f90
RH
128#define TCG_TARGET_HAS_clz_i32 1
129#define TCG_TARGET_HAS_ctz_i32 1
993508e4 130#define TCG_TARGET_HAS_ctpop_i32 have_popcnt
a4773324 131#define TCG_TARGET_HAS_deposit_i32 1
78fdbfb9
RH
132#define TCG_TARGET_HAS_extract_i32 1
133#define TCG_TARGET_HAS_sextract_i32 1
c6fb8c0c 134#define TCG_TARGET_HAS_extract2_i32 1
d0a16297 135#define TCG_TARGET_HAS_movcond_i32 1
bbc863bf
RH
136#define TCG_TARGET_HAS_add2_i32 1
137#define TCG_TARGET_HAS_sub2_i32 1
138#define TCG_TARGET_HAS_mulu2_i32 1
624988a5 139#define TCG_TARGET_HAS_muls2_i32 1
03271524
RH
140#define TCG_TARGET_HAS_muluh_i32 0
141#define TCG_TARGET_HAS_mulsh_i32 0
a8583393 142#define TCG_TARGET_HAS_direct_jump 1
9619376c 143
5d8a4f8f 144#if TCG_TARGET_REG_BITS == 64
75478279
RH
145/* Keep target addresses zero-extended in a register. */
146#define TCG_TARGET_HAS_extrl_i64_i32 (TARGET_LONG_BITS == 32)
147#define TCG_TARGET_HAS_extrh_i64_i32 (TARGET_LONG_BITS == 32)
25c4d9cc
RH
148#define TCG_TARGET_HAS_div2_i64 1
149#define TCG_TARGET_HAS_rot_i64 1
150#define TCG_TARGET_HAS_ext8s_i64 1
151#define TCG_TARGET_HAS_ext16s_i64 1
152#define TCG_TARGET_HAS_ext32s_i64 1
153#define TCG_TARGET_HAS_ext8u_i64 1
154#define TCG_TARGET_HAS_ext16u_i64 1
155#define TCG_TARGET_HAS_ext32u_i64 1
156#define TCG_TARGET_HAS_bswap16_i64 1
157#define TCG_TARGET_HAS_bswap32_i64 1
158#define TCG_TARGET_HAS_bswap64_i64 1
159#define TCG_TARGET_HAS_neg_i64 1
160#define TCG_TARGET_HAS_not_i64 1
9d2eec20 161#define TCG_TARGET_HAS_andc_i64 have_bmi1
25c4d9cc
RH
162#define TCG_TARGET_HAS_orc_i64 0
163#define TCG_TARGET_HAS_eqv_i64 0
164#define TCG_TARGET_HAS_nand_i64 0
165#define TCG_TARGET_HAS_nor_i64 0
bbf25f90
RH
166#define TCG_TARGET_HAS_clz_i64 1
167#define TCG_TARGET_HAS_ctz_i64 1
993508e4 168#define TCG_TARGET_HAS_ctpop_i64 have_popcnt
a4773324 169#define TCG_TARGET_HAS_deposit_i64 1
78fdbfb9 170#define TCG_TARGET_HAS_extract_i64 1
7ec8bab3 171#define TCG_TARGET_HAS_sextract_i64 0
c6fb8c0c 172#define TCG_TARGET_HAS_extract2_i64 1
d0a16297 173#define TCG_TARGET_HAS_movcond_i64 1
624988a5
RH
174#define TCG_TARGET_HAS_add2_i64 1
175#define TCG_TARGET_HAS_sub2_i64 1
176#define TCG_TARGET_HAS_mulu2_i64 1
177#define TCG_TARGET_HAS_muls2_i64 1
03271524
RH
178#define TCG_TARGET_HAS_muluh_i64 0
179#define TCG_TARGET_HAS_mulsh_i64 0
07ce0b05
RH
180#define TCG_TARGET_HAS_qemu_st8_i32 0
181#else
182#define TCG_TARGET_HAS_qemu_st8_i32 1
5d8a4f8f
RH
183#endif
184
770c2fc7
RH
185/* We do not support older SSE systems, only beginning with AVX1. */
186#define TCG_TARGET_HAS_v64 have_avx1
187#define TCG_TARGET_HAS_v128 have_avx1
188#define TCG_TARGET_HAS_v256 have_avx2
189
190#define TCG_TARGET_HAS_andc_vec 1
191#define TCG_TARGET_HAS_orc_vec 0
ed523473
RH
192#define TCG_TARGET_HAS_nand_vec 0
193#define TCG_TARGET_HAS_nor_vec 0
194#define TCG_TARGET_HAS_eqv_vec 0
770c2fc7
RH
195#define TCG_TARGET_HAS_not_vec 0
196#define TCG_TARGET_HAS_neg_vec 0
18f9b65f 197#define TCG_TARGET_HAS_abs_vec 1
4e73f842 198#define TCG_TARGET_HAS_roti_vec have_avx512vl
23850a74 199#define TCG_TARGET_HAS_rots_vec 0
102cd35c 200#define TCG_TARGET_HAS_rotv_vec have_avx512vl
770c2fc7 201#define TCG_TARGET_HAS_shi_vec 1
0a8d7a3b 202#define TCG_TARGET_HAS_shs_vec 1
a2ce146a 203#define TCG_TARGET_HAS_shv_vec have_avx2
770c2fc7 204#define TCG_TARGET_HAS_mul_vec 1
8ffafbce 205#define TCG_TARGET_HAS_sat_vec 1
bc37faf4 206#define TCG_TARGET_HAS_minmax_vec 1
38dc1294 207#define TCG_TARGET_HAS_bitsel_vec 0
904c5e19 208#define TCG_TARGET_HAS_cmpsel_vec -1
770c2fc7 209
a4773324
JK
210#define TCG_TARGET_deposit_i32_valid(ofs, len) \
211 (((ofs) == 0 && (len) == 8) || ((ofs) == 8 && (len) == 8) || \
212 ((ofs) == 0 && (len) == 16))
213#define TCG_TARGET_deposit_i64_valid TCG_TARGET_deposit_i32_valid
214
78fdbfb9
RH
215/* Check for the possibility of high-byte extraction and, for 64-bit,
216 zero-extending 32-bit right-shift. */
217#define TCG_TARGET_extract_i32_valid(ofs, len) ((ofs) == 8 && (len) == 8)
218#define TCG_TARGET_extract_i64_valid(ofs, len) \
219 (((ofs) == 8 && (len) == 8) || ((ofs) + (len)) == 32)
220
1acbad0f
RH
221static inline void tb_target_set_jmp_target(uintptr_t tc_ptr, uintptr_t jmp_rx,
222 uintptr_t jmp_rw, uintptr_t addr)
a8583393
RH
223{
224 /* patch the branch destination */
1acbad0f 225 qatomic_set((int32_t *)jmp_rw, addr - (jmp_rx + 4));
a8583393
RH
226 /* no need to flush icache explicitly */
227}
228
ca759f9e
AB
229/* This defines the natural memory order supported by this
230 * architecture before guarantees made by various barrier
231 * instructions.
232 *
233 * The x86 has a pretty strong memory ordering which only really
234 * allows for some stores to be re-ordered after loads.
235 */
dcb32f1d 236#include "tcg/tcg-mo.h"
ca759f9e
AB
237
238#define TCG_TARGET_DEFAULT_MO (TCG_MO_ALL & ~TCG_MO_ST_LD)
239
d2ef1b83 240#define TCG_TARGET_HAS_MEMORY_BSWAP have_movbe
e1dcf352 241
659ef5cb 242#define TCG_TARGET_NEED_LDST_LABELS
4e45f239 243#define TCG_TARGET_NEED_POOL_LABELS
659ef5cb 244
cb9c377f 245#endif
This page took 1.046685 seconds and 4 git commands to generate.