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 */ 24 25 #ifndef I386_TCG_TARGET_H 26 #define I386_TCG_TARGET_H 27 28 #include "host/cpuinfo.h" 29 30 #define TCG_TARGET_INSN_UNIT_SIZE 1 31 #define TCG_TARGET_TLB_DISPLACEMENT_BITS 31 32 33 #ifdef __x86_64__ 34 # define TCG_TARGET_REG_BITS 64 35 # define TCG_TARGET_NB_REGS 32 36 # define MAX_CODE_GEN_BUFFER_SIZE (2 * GiB) 37 #else 38 # define TCG_TARGET_REG_BITS 32 39 # define TCG_TARGET_NB_REGS 24 40 # define MAX_CODE_GEN_BUFFER_SIZE UINT32_MAX 41 #endif 42 43 typedef enum { 44 TCG_REG_EAX = 0, 45 TCG_REG_ECX, 46 TCG_REG_EDX, 47 TCG_REG_EBX, 48 TCG_REG_ESP, 49 TCG_REG_EBP, 50 TCG_REG_ESI, 51 TCG_REG_EDI, 52 53 /* 64-bit registers; always define the symbols to avoid 54 too much if-deffing. */ 55 TCG_REG_R8, 56 TCG_REG_R9, 57 TCG_REG_R10, 58 TCG_REG_R11, 59 TCG_REG_R12, 60 TCG_REG_R13, 61 TCG_REG_R14, 62 TCG_REG_R15, 63 64 TCG_REG_XMM0, 65 TCG_REG_XMM1, 66 TCG_REG_XMM2, 67 TCG_REG_XMM3, 68 TCG_REG_XMM4, 69 TCG_REG_XMM5, 70 TCG_REG_XMM6, 71 TCG_REG_XMM7, 72 73 /* 64-bit registers; likewise always define. */ 74 TCG_REG_XMM8, 75 TCG_REG_XMM9, 76 TCG_REG_XMM10, 77 TCG_REG_XMM11, 78 TCG_REG_XMM12, 79 TCG_REG_XMM13, 80 TCG_REG_XMM14, 81 TCG_REG_XMM15, 82 83 TCG_REG_RAX = TCG_REG_EAX, 84 TCG_REG_RCX = TCG_REG_ECX, 85 TCG_REG_RDX = TCG_REG_EDX, 86 TCG_REG_RBX = TCG_REG_EBX, 87 TCG_REG_RSP = TCG_REG_ESP, 88 TCG_REG_RBP = TCG_REG_EBP, 89 TCG_REG_RSI = TCG_REG_ESI, 90 TCG_REG_RDI = TCG_REG_EDI, 91 92 TCG_AREG0 = TCG_REG_EBP, 93 TCG_REG_CALL_STACK = TCG_REG_ESP 94 } TCGReg; 95 96 /* used for function call generation */ 97 #define TCG_TARGET_STACK_ALIGN 16 98 #if defined(_WIN64) 99 #define TCG_TARGET_CALL_STACK_OFFSET 32 100 #else 101 #define TCG_TARGET_CALL_STACK_OFFSET 0 102 #endif 103 #define TCG_TARGET_CALL_ARG_I32 TCG_CALL_ARG_NORMAL 104 #define TCG_TARGET_CALL_ARG_I64 TCG_CALL_ARG_NORMAL 105 #if defined(_WIN64) 106 # define TCG_TARGET_CALL_ARG_I128 TCG_CALL_ARG_BY_REF 107 # define TCG_TARGET_CALL_RET_I128 TCG_CALL_RET_BY_VEC 108 #elif TCG_TARGET_REG_BITS == 64 109 # define TCG_TARGET_CALL_ARG_I128 TCG_CALL_ARG_NORMAL 110 # define TCG_TARGET_CALL_RET_I128 TCG_CALL_RET_NORMAL 111 #else 112 # define TCG_TARGET_CALL_ARG_I128 TCG_CALL_ARG_NORMAL 113 # define TCG_TARGET_CALL_RET_I128 TCG_CALL_RET_BY_REF 114 #endif 115 116 #define have_bmi1 (cpuinfo & CPUINFO_BMI1) 117 #define have_popcnt (cpuinfo & CPUINFO_POPCNT) 118 #define have_avx1 (cpuinfo & CPUINFO_AVX1) 119 #define have_avx2 (cpuinfo & CPUINFO_AVX2) 120 #define have_movbe (cpuinfo & CPUINFO_MOVBE) 121 #define have_atomic16 (cpuinfo & CPUINFO_ATOMIC_VMOVDQA) 122 123 /* 124 * There are interesting instructions in AVX512, so long as we have AVX512VL, 125 * which indicates support for EVEX on sizes smaller than 512 bits. 126 */ 127 #define have_avx512vl ((cpuinfo & CPUINFO_AVX512VL) && \ 128 (cpuinfo & CPUINFO_AVX512F)) 129 #define have_avx512bw ((cpuinfo & CPUINFO_AVX512BW) && have_avx512vl) 130 #define have_avx512dq ((cpuinfo & CPUINFO_AVX512DQ) && have_avx512vl) 131 #define have_avx512vbmi2 ((cpuinfo & CPUINFO_AVX512VBMI2) && have_avx512vl) 132 133 /* optional instructions */ 134 #define TCG_TARGET_HAS_div2_i32 1 135 #define TCG_TARGET_HAS_rot_i32 1 136 #define TCG_TARGET_HAS_ext8s_i32 1 137 #define TCG_TARGET_HAS_ext16s_i32 1 138 #define TCG_TARGET_HAS_ext8u_i32 1 139 #define TCG_TARGET_HAS_ext16u_i32 1 140 #define TCG_TARGET_HAS_bswap16_i32 1 141 #define TCG_TARGET_HAS_bswap32_i32 1 142 #define TCG_TARGET_HAS_neg_i32 1 143 #define TCG_TARGET_HAS_not_i32 1 144 #define TCG_TARGET_HAS_andc_i32 have_bmi1 145 #define TCG_TARGET_HAS_orc_i32 0 146 #define TCG_TARGET_HAS_eqv_i32 0 147 #define TCG_TARGET_HAS_nand_i32 0 148 #define TCG_TARGET_HAS_nor_i32 0 149 #define TCG_TARGET_HAS_clz_i32 1 150 #define TCG_TARGET_HAS_ctz_i32 1 151 #define TCG_TARGET_HAS_ctpop_i32 have_popcnt 152 #define TCG_TARGET_HAS_deposit_i32 1 153 #define TCG_TARGET_HAS_extract_i32 1 154 #define TCG_TARGET_HAS_sextract_i32 1 155 #define TCG_TARGET_HAS_extract2_i32 1 156 #define TCG_TARGET_HAS_movcond_i32 1 157 #define TCG_TARGET_HAS_add2_i32 1 158 #define TCG_TARGET_HAS_sub2_i32 1 159 #define TCG_TARGET_HAS_mulu2_i32 1 160 #define TCG_TARGET_HAS_muls2_i32 1 161 #define TCG_TARGET_HAS_muluh_i32 0 162 #define TCG_TARGET_HAS_mulsh_i32 0 163 164 #if TCG_TARGET_REG_BITS == 64 165 /* Keep 32-bit values zero-extended in a register. */ 166 #define TCG_TARGET_HAS_extrl_i64_i32 1 167 #define TCG_TARGET_HAS_extrh_i64_i32 1 168 #define TCG_TARGET_HAS_div2_i64 1 169 #define TCG_TARGET_HAS_rot_i64 1 170 #define TCG_TARGET_HAS_ext8s_i64 1 171 #define TCG_TARGET_HAS_ext16s_i64 1 172 #define TCG_TARGET_HAS_ext32s_i64 1 173 #define TCG_TARGET_HAS_ext8u_i64 1 174 #define TCG_TARGET_HAS_ext16u_i64 1 175 #define TCG_TARGET_HAS_ext32u_i64 1 176 #define TCG_TARGET_HAS_bswap16_i64 1 177 #define TCG_TARGET_HAS_bswap32_i64 1 178 #define TCG_TARGET_HAS_bswap64_i64 1 179 #define TCG_TARGET_HAS_neg_i64 1 180 #define TCG_TARGET_HAS_not_i64 1 181 #define TCG_TARGET_HAS_andc_i64 have_bmi1 182 #define TCG_TARGET_HAS_orc_i64 0 183 #define TCG_TARGET_HAS_eqv_i64 0 184 #define TCG_TARGET_HAS_nand_i64 0 185 #define TCG_TARGET_HAS_nor_i64 0 186 #define TCG_TARGET_HAS_clz_i64 1 187 #define TCG_TARGET_HAS_ctz_i64 1 188 #define TCG_TARGET_HAS_ctpop_i64 have_popcnt 189 #define TCG_TARGET_HAS_deposit_i64 1 190 #define TCG_TARGET_HAS_extract_i64 1 191 #define TCG_TARGET_HAS_sextract_i64 0 192 #define TCG_TARGET_HAS_extract2_i64 1 193 #define TCG_TARGET_HAS_movcond_i64 1 194 #define TCG_TARGET_HAS_add2_i64 1 195 #define TCG_TARGET_HAS_sub2_i64 1 196 #define TCG_TARGET_HAS_mulu2_i64 1 197 #define TCG_TARGET_HAS_muls2_i64 1 198 #define TCG_TARGET_HAS_muluh_i64 0 199 #define TCG_TARGET_HAS_mulsh_i64 0 200 #define TCG_TARGET_HAS_qemu_st8_i32 0 201 #else 202 #define TCG_TARGET_HAS_qemu_st8_i32 1 203 #endif 204 205 #define TCG_TARGET_HAS_qemu_ldst_i128 0 206 207 /* We do not support older SSE systems, only beginning with AVX1. */ 208 #define TCG_TARGET_HAS_v64 have_avx1 209 #define TCG_TARGET_HAS_v128 have_avx1 210 #define TCG_TARGET_HAS_v256 have_avx2 211 212 #define TCG_TARGET_HAS_andc_vec 1 213 #define TCG_TARGET_HAS_orc_vec have_avx512vl 214 #define TCG_TARGET_HAS_nand_vec have_avx512vl 215 #define TCG_TARGET_HAS_nor_vec have_avx512vl 216 #define TCG_TARGET_HAS_eqv_vec have_avx512vl 217 #define TCG_TARGET_HAS_not_vec have_avx512vl 218 #define TCG_TARGET_HAS_neg_vec 0 219 #define TCG_TARGET_HAS_abs_vec 1 220 #define TCG_TARGET_HAS_roti_vec have_avx512vl 221 #define TCG_TARGET_HAS_rots_vec 0 222 #define TCG_TARGET_HAS_rotv_vec have_avx512vl 223 #define TCG_TARGET_HAS_shi_vec 1 224 #define TCG_TARGET_HAS_shs_vec 1 225 #define TCG_TARGET_HAS_shv_vec have_avx2 226 #define TCG_TARGET_HAS_mul_vec 1 227 #define TCG_TARGET_HAS_sat_vec 1 228 #define TCG_TARGET_HAS_minmax_vec 1 229 #define TCG_TARGET_HAS_bitsel_vec have_avx512vl 230 #define TCG_TARGET_HAS_cmpsel_vec -1 231 232 #define TCG_TARGET_deposit_i32_valid(ofs, len) \ 233 (((ofs) == 0 && (len) == 8) || ((ofs) == 8 && (len) == 8) || \ 234 ((ofs) == 0 && (len) == 16)) 235 #define TCG_TARGET_deposit_i64_valid TCG_TARGET_deposit_i32_valid 236 237 /* Check for the possibility of high-byte extraction and, for 64-bit, 238 zero-extending 32-bit right-shift. */ 239 #define TCG_TARGET_extract_i32_valid(ofs, len) ((ofs) == 8 && (len) == 8) 240 #define TCG_TARGET_extract_i64_valid(ofs, len) \ 241 (((ofs) == 8 && (len) == 8) || ((ofs) + (len)) == 32) 242 243 /* This defines the natural memory order supported by this 244 * architecture before guarantees made by various barrier 245 * instructions. 246 * 247 * The x86 has a pretty strong memory ordering which only really 248 * allows for some stores to be re-ordered after loads. 249 */ 250 #include "tcg/tcg-mo.h" 251 252 #define TCG_TARGET_DEFAULT_MO (TCG_MO_ALL & ~TCG_MO_ST_LD) 253 #define TCG_TARGET_NEED_LDST_LABELS 254 #define TCG_TARGET_NEED_POOL_LABELS 255 256 #endif 257