]>
Commit | Line | Data |
---|---|---|
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 |
5d8a4f8f | 34 | #else |
78cd7b83 | 35 | # define TCG_TARGET_REG_BITS 32 |
770c2fc7 | 36 | # define TCG_TARGET_NB_REGS 24 |
5d8a4f8f | 37 | #endif |
c896fe29 | 38 | |
771142c2 | 39 | typedef enum { |
c896fe29 FB |
40 | TCG_REG_EAX = 0, |
41 | TCG_REG_ECX, | |
42 | TCG_REG_EDX, | |
43 | TCG_REG_EBX, | |
44 | TCG_REG_ESP, | |
45 | TCG_REG_EBP, | |
46 | TCG_REG_ESI, | |
47 | TCG_REG_EDI, | |
5d8a4f8f RH |
48 | |
49 | /* 64-bit registers; always define the symbols to avoid | |
50 | too much if-deffing. */ | |
51 | TCG_REG_R8, | |
52 | TCG_REG_R9, | |
53 | TCG_REG_R10, | |
54 | TCG_REG_R11, | |
55 | TCG_REG_R12, | |
56 | TCG_REG_R13, | |
57 | TCG_REG_R14, | |
58 | TCG_REG_R15, | |
770c2fc7 RH |
59 | |
60 | TCG_REG_XMM0, | |
61 | TCG_REG_XMM1, | |
62 | TCG_REG_XMM2, | |
63 | TCG_REG_XMM3, | |
64 | TCG_REG_XMM4, | |
65 | TCG_REG_XMM5, | |
66 | TCG_REG_XMM6, | |
67 | TCG_REG_XMM7, | |
68 | ||
69 | /* 64-bit registers; likewise always define. */ | |
70 | TCG_REG_XMM8, | |
71 | TCG_REG_XMM9, | |
72 | TCG_REG_XMM10, | |
73 | TCG_REG_XMM11, | |
74 | TCG_REG_XMM12, | |
75 | TCG_REG_XMM13, | |
76 | TCG_REG_XMM14, | |
77 | TCG_REG_XMM15, | |
78 | ||
5d8a4f8f RH |
79 | TCG_REG_RAX = TCG_REG_EAX, |
80 | TCG_REG_RCX = TCG_REG_ECX, | |
81 | TCG_REG_RDX = TCG_REG_EDX, | |
82 | TCG_REG_RBX = TCG_REG_EBX, | |
83 | TCG_REG_RSP = TCG_REG_ESP, | |
84 | TCG_REG_RBP = TCG_REG_EBP, | |
85 | TCG_REG_RSI = TCG_REG_ESI, | |
86 | TCG_REG_RDI = TCG_REG_EDI, | |
5740d9f7 RH |
87 | |
88 | TCG_AREG0 = TCG_REG_EBP, | |
66c0285d | 89 | TCG_REG_CALL_STACK = TCG_REG_ESP |
771142c2 | 90 | } TCGReg; |
c896fe29 FB |
91 | |
92 | /* used for function call generation */ | |
c896fe29 | 93 | #define TCG_TARGET_STACK_ALIGN 16 |
1b7621ad SW |
94 | #if defined(_WIN64) |
95 | #define TCG_TARGET_CALL_STACK_OFFSET 32 | |
96 | #else | |
39cf05d3 | 97 | #define TCG_TARGET_CALL_STACK_OFFSET 0 |
1b7621ad | 98 | #endif |
c896fe29 | 99 | |
9d2eec20 | 100 | extern bool have_bmi1; |
993508e4 | 101 | extern bool have_popcnt; |
770c2fc7 RH |
102 | extern bool have_avx1; |
103 | extern bool have_avx2; | |
9d2eec20 | 104 | |
9619376c | 105 | /* optional instructions */ |
25c4d9cc RH |
106 | #define TCG_TARGET_HAS_div2_i32 1 |
107 | #define TCG_TARGET_HAS_rot_i32 1 | |
108 | #define TCG_TARGET_HAS_ext8s_i32 1 | |
109 | #define TCG_TARGET_HAS_ext16s_i32 1 | |
110 | #define TCG_TARGET_HAS_ext8u_i32 1 | |
111 | #define TCG_TARGET_HAS_ext16u_i32 1 | |
112 | #define TCG_TARGET_HAS_bswap16_i32 1 | |
113 | #define TCG_TARGET_HAS_bswap32_i32 1 | |
114 | #define TCG_TARGET_HAS_neg_i32 1 | |
115 | #define TCG_TARGET_HAS_not_i32 1 | |
9d2eec20 | 116 | #define TCG_TARGET_HAS_andc_i32 have_bmi1 |
25c4d9cc RH |
117 | #define TCG_TARGET_HAS_orc_i32 0 |
118 | #define TCG_TARGET_HAS_eqv_i32 0 | |
119 | #define TCG_TARGET_HAS_nand_i32 0 | |
120 | #define TCG_TARGET_HAS_nor_i32 0 | |
bbf25f90 RH |
121 | #define TCG_TARGET_HAS_clz_i32 1 |
122 | #define TCG_TARGET_HAS_ctz_i32 1 | |
993508e4 | 123 | #define TCG_TARGET_HAS_ctpop_i32 have_popcnt |
a4773324 | 124 | #define TCG_TARGET_HAS_deposit_i32 1 |
78fdbfb9 RH |
125 | #define TCG_TARGET_HAS_extract_i32 1 |
126 | #define TCG_TARGET_HAS_sextract_i32 1 | |
c6fb8c0c | 127 | #define TCG_TARGET_HAS_extract2_i32 1 |
d0a16297 | 128 | #define TCG_TARGET_HAS_movcond_i32 1 |
bbc863bf RH |
129 | #define TCG_TARGET_HAS_add2_i32 1 |
130 | #define TCG_TARGET_HAS_sub2_i32 1 | |
131 | #define TCG_TARGET_HAS_mulu2_i32 1 | |
624988a5 | 132 | #define TCG_TARGET_HAS_muls2_i32 1 |
03271524 RH |
133 | #define TCG_TARGET_HAS_muluh_i32 0 |
134 | #define TCG_TARGET_HAS_mulsh_i32 0 | |
5cb4ef80 | 135 | #define TCG_TARGET_HAS_goto_ptr 1 |
a8583393 | 136 | #define TCG_TARGET_HAS_direct_jump 1 |
9619376c | 137 | |
5d8a4f8f | 138 | #if TCG_TARGET_REG_BITS == 64 |
75478279 RH |
139 | /* Keep target addresses zero-extended in a register. */ |
140 | #define TCG_TARGET_HAS_extrl_i64_i32 (TARGET_LONG_BITS == 32) | |
141 | #define TCG_TARGET_HAS_extrh_i64_i32 (TARGET_LONG_BITS == 32) | |
25c4d9cc RH |
142 | #define TCG_TARGET_HAS_div2_i64 1 |
143 | #define TCG_TARGET_HAS_rot_i64 1 | |
144 | #define TCG_TARGET_HAS_ext8s_i64 1 | |
145 | #define TCG_TARGET_HAS_ext16s_i64 1 | |
146 | #define TCG_TARGET_HAS_ext32s_i64 1 | |
147 | #define TCG_TARGET_HAS_ext8u_i64 1 | |
148 | #define TCG_TARGET_HAS_ext16u_i64 1 | |
149 | #define TCG_TARGET_HAS_ext32u_i64 1 | |
150 | #define TCG_TARGET_HAS_bswap16_i64 1 | |
151 | #define TCG_TARGET_HAS_bswap32_i64 1 | |
152 | #define TCG_TARGET_HAS_bswap64_i64 1 | |
153 | #define TCG_TARGET_HAS_neg_i64 1 | |
154 | #define TCG_TARGET_HAS_not_i64 1 | |
9d2eec20 | 155 | #define TCG_TARGET_HAS_andc_i64 have_bmi1 |
25c4d9cc RH |
156 | #define TCG_TARGET_HAS_orc_i64 0 |
157 | #define TCG_TARGET_HAS_eqv_i64 0 | |
158 | #define TCG_TARGET_HAS_nand_i64 0 | |
159 | #define TCG_TARGET_HAS_nor_i64 0 | |
bbf25f90 RH |
160 | #define TCG_TARGET_HAS_clz_i64 1 |
161 | #define TCG_TARGET_HAS_ctz_i64 1 | |
993508e4 | 162 | #define TCG_TARGET_HAS_ctpop_i64 have_popcnt |
a4773324 | 163 | #define TCG_TARGET_HAS_deposit_i64 1 |
78fdbfb9 | 164 | #define TCG_TARGET_HAS_extract_i64 1 |
7ec8bab3 | 165 | #define TCG_TARGET_HAS_sextract_i64 0 |
c6fb8c0c | 166 | #define TCG_TARGET_HAS_extract2_i64 1 |
d0a16297 | 167 | #define TCG_TARGET_HAS_movcond_i64 1 |
624988a5 RH |
168 | #define TCG_TARGET_HAS_add2_i64 1 |
169 | #define TCG_TARGET_HAS_sub2_i64 1 | |
170 | #define TCG_TARGET_HAS_mulu2_i64 1 | |
171 | #define TCG_TARGET_HAS_muls2_i64 1 | |
03271524 RH |
172 | #define TCG_TARGET_HAS_muluh_i64 0 |
173 | #define TCG_TARGET_HAS_mulsh_i64 0 | |
5d8a4f8f RH |
174 | #endif |
175 | ||
770c2fc7 RH |
176 | /* We do not support older SSE systems, only beginning with AVX1. */ |
177 | #define TCG_TARGET_HAS_v64 have_avx1 | |
178 | #define TCG_TARGET_HAS_v128 have_avx1 | |
179 | #define TCG_TARGET_HAS_v256 have_avx2 | |
180 | ||
181 | #define TCG_TARGET_HAS_andc_vec 1 | |
182 | #define TCG_TARGET_HAS_orc_vec 0 | |
183 | #define TCG_TARGET_HAS_not_vec 0 | |
184 | #define TCG_TARGET_HAS_neg_vec 0 | |
18f9b65f | 185 | #define TCG_TARGET_HAS_abs_vec 1 |
b0f7e744 | 186 | #define TCG_TARGET_HAS_roti_vec 0 |
23850a74 | 187 | #define TCG_TARGET_HAS_rots_vec 0 |
5d0ceda9 | 188 | #define TCG_TARGET_HAS_rotv_vec 0 |
770c2fc7 | 189 | #define TCG_TARGET_HAS_shi_vec 1 |
0a8d7a3b | 190 | #define TCG_TARGET_HAS_shs_vec 1 |
a2ce146a | 191 | #define TCG_TARGET_HAS_shv_vec have_avx2 |
770c2fc7 | 192 | #define TCG_TARGET_HAS_mul_vec 1 |
8ffafbce | 193 | #define TCG_TARGET_HAS_sat_vec 1 |
bc37faf4 | 194 | #define TCG_TARGET_HAS_minmax_vec 1 |
38dc1294 | 195 | #define TCG_TARGET_HAS_bitsel_vec 0 |
904c5e19 | 196 | #define TCG_TARGET_HAS_cmpsel_vec -1 |
770c2fc7 | 197 | |
a4773324 JK |
198 | #define TCG_TARGET_deposit_i32_valid(ofs, len) \ |
199 | (((ofs) == 0 && (len) == 8) || ((ofs) == 8 && (len) == 8) || \ | |
200 | ((ofs) == 0 && (len) == 16)) | |
201 | #define TCG_TARGET_deposit_i64_valid TCG_TARGET_deposit_i32_valid | |
202 | ||
78fdbfb9 RH |
203 | /* Check for the possibility of high-byte extraction and, for 64-bit, |
204 | zero-extending 32-bit right-shift. */ | |
205 | #define TCG_TARGET_extract_i32_valid(ofs, len) ((ofs) == 8 && (len) == 8) | |
206 | #define TCG_TARGET_extract_i64_valid(ofs, len) \ | |
207 | (((ofs) == 8 && (len) == 8) || ((ofs) + (len)) == 32) | |
208 | ||
a8583393 RH |
209 | static inline void tb_target_set_jmp_target(uintptr_t tc_ptr, |
210 | uintptr_t jmp_addr, uintptr_t addr) | |
211 | { | |
212 | /* patch the branch destination */ | |
d73415a3 | 213 | qatomic_set((int32_t *)jmp_addr, addr - (jmp_addr + 4)); |
a8583393 RH |
214 | /* no need to flush icache explicitly */ |
215 | } | |
216 | ||
ca759f9e AB |
217 | /* This defines the natural memory order supported by this |
218 | * architecture before guarantees made by various barrier | |
219 | * instructions. | |
220 | * | |
221 | * The x86 has a pretty strong memory ordering which only really | |
222 | * allows for some stores to be re-ordered after loads. | |
223 | */ | |
dcb32f1d | 224 | #include "tcg/tcg-mo.h" |
ca759f9e AB |
225 | |
226 | #define TCG_TARGET_DEFAULT_MO (TCG_MO_ALL & ~TCG_MO_ST_LD) | |
227 | ||
e1dcf352 RH |
228 | #define TCG_TARGET_HAS_MEMORY_BSWAP 1 |
229 | ||
659ef5cb RH |
230 | #ifdef CONFIG_SOFTMMU |
231 | #define TCG_TARGET_NEED_LDST_LABELS | |
232 | #endif | |
4e45f239 | 233 | #define TCG_TARGET_NEED_POOL_LABELS |
659ef5cb | 234 | |
cb9c377f | 235 | #endif |