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
25 #ifndef I386_TCG_TARGET_H
26 #define I386_TCG_TARGET_H
28 #define TCG_TARGET_INSN_UNIT_SIZE 1
29 #define TCG_TARGET_TLB_DISPLACEMENT_BITS 31
32 # define TCG_TARGET_REG_BITS 64
33 # define TCG_TARGET_NB_REGS 16
35 # define TCG_TARGET_REG_BITS 32
36 # define TCG_TARGET_NB_REGS 8
49 /* 64-bit registers; always define the symbols to avoid
50 too much if-deffing. */
59 TCG_REG_RAX
= TCG_REG_EAX
,
60 TCG_REG_RCX
= TCG_REG_ECX
,
61 TCG_REG_RDX
= TCG_REG_EDX
,
62 TCG_REG_RBX
= TCG_REG_EBX
,
63 TCG_REG_RSP
= TCG_REG_ESP
,
64 TCG_REG_RBP
= TCG_REG_EBP
,
65 TCG_REG_RSI
= TCG_REG_ESI
,
66 TCG_REG_RDI
= TCG_REG_EDI
,
69 /* used for function call generation */
70 #define TCG_REG_CALL_STACK TCG_REG_ESP
71 #define TCG_TARGET_STACK_ALIGN 16
73 #define TCG_TARGET_CALL_STACK_OFFSET 32
75 #define TCG_TARGET_CALL_STACK_OFFSET 0
78 extern bool have_bmi1
;
79 extern bool have_popcnt
;
81 /* optional instructions */
82 #define TCG_TARGET_HAS_div2_i32 1
83 #define TCG_TARGET_HAS_rot_i32 1
84 #define TCG_TARGET_HAS_ext8s_i32 1
85 #define TCG_TARGET_HAS_ext16s_i32 1
86 #define TCG_TARGET_HAS_ext8u_i32 1
87 #define TCG_TARGET_HAS_ext16u_i32 1
88 #define TCG_TARGET_HAS_bswap16_i32 1
89 #define TCG_TARGET_HAS_bswap32_i32 1
90 #define TCG_TARGET_HAS_neg_i32 1
91 #define TCG_TARGET_HAS_not_i32 1
92 #define TCG_TARGET_HAS_andc_i32 have_bmi1
93 #define TCG_TARGET_HAS_orc_i32 0
94 #define TCG_TARGET_HAS_eqv_i32 0
95 #define TCG_TARGET_HAS_nand_i32 0
96 #define TCG_TARGET_HAS_nor_i32 0
97 #define TCG_TARGET_HAS_clz_i32 1
98 #define TCG_TARGET_HAS_ctz_i32 1
99 #define TCG_TARGET_HAS_ctpop_i32 have_popcnt
100 #define TCG_TARGET_HAS_deposit_i32 1
101 #define TCG_TARGET_HAS_extract_i32 1
102 #define TCG_TARGET_HAS_sextract_i32 1
103 #define TCG_TARGET_HAS_movcond_i32 1
104 #define TCG_TARGET_HAS_add2_i32 1
105 #define TCG_TARGET_HAS_sub2_i32 1
106 #define TCG_TARGET_HAS_mulu2_i32 1
107 #define TCG_TARGET_HAS_muls2_i32 1
108 #define TCG_TARGET_HAS_muluh_i32 0
109 #define TCG_TARGET_HAS_mulsh_i32 0
111 #if TCG_TARGET_REG_BITS == 64
112 #define TCG_TARGET_HAS_extrl_i64_i32 0
113 #define TCG_TARGET_HAS_extrh_i64_i32 0
114 #define TCG_TARGET_HAS_div2_i64 1
115 #define TCG_TARGET_HAS_rot_i64 1
116 #define TCG_TARGET_HAS_ext8s_i64 1
117 #define TCG_TARGET_HAS_ext16s_i64 1
118 #define TCG_TARGET_HAS_ext32s_i64 1
119 #define TCG_TARGET_HAS_ext8u_i64 1
120 #define TCG_TARGET_HAS_ext16u_i64 1
121 #define TCG_TARGET_HAS_ext32u_i64 1
122 #define TCG_TARGET_HAS_bswap16_i64 1
123 #define TCG_TARGET_HAS_bswap32_i64 1
124 #define TCG_TARGET_HAS_bswap64_i64 1
125 #define TCG_TARGET_HAS_neg_i64 1
126 #define TCG_TARGET_HAS_not_i64 1
127 #define TCG_TARGET_HAS_andc_i64 have_bmi1
128 #define TCG_TARGET_HAS_orc_i64 0
129 #define TCG_TARGET_HAS_eqv_i64 0
130 #define TCG_TARGET_HAS_nand_i64 0
131 #define TCG_TARGET_HAS_nor_i64 0
132 #define TCG_TARGET_HAS_clz_i64 1
133 #define TCG_TARGET_HAS_ctz_i64 1
134 #define TCG_TARGET_HAS_ctpop_i64 have_popcnt
135 #define TCG_TARGET_HAS_deposit_i64 1
136 #define TCG_TARGET_HAS_extract_i64 1
137 #define TCG_TARGET_HAS_sextract_i64 0
138 #define TCG_TARGET_HAS_movcond_i64 1
139 #define TCG_TARGET_HAS_add2_i64 1
140 #define TCG_TARGET_HAS_sub2_i64 1
141 #define TCG_TARGET_HAS_mulu2_i64 1
142 #define TCG_TARGET_HAS_muls2_i64 1
143 #define TCG_TARGET_HAS_muluh_i64 0
144 #define TCG_TARGET_HAS_mulsh_i64 0
147 #define TCG_TARGET_deposit_i32_valid(ofs, len) \
148 (((ofs) == 0 && (len) == 8) || ((ofs) == 8 && (len) == 8) || \
149 ((ofs) == 0 && (len) == 16))
150 #define TCG_TARGET_deposit_i64_valid TCG_TARGET_deposit_i32_valid
152 /* Check for the possibility of high-byte extraction and, for 64-bit,
153 zero-extending 32-bit right-shift. */
154 #define TCG_TARGET_extract_i32_valid(ofs, len) ((ofs) == 8 && (len) == 8)
155 #define TCG_TARGET_extract_i64_valid(ofs, len) \
156 (((ofs) == 8 && (len) == 8) || ((ofs) + (len)) == 32)
158 #if TCG_TARGET_REG_BITS == 64
159 # define TCG_AREG0 TCG_REG_R14
161 # define TCG_AREG0 TCG_REG_EBP
164 static inline void flush_icache_range(uintptr_t start
, uintptr_t stop
)
168 /* This defines the natural memory order supported by this
169 * architecture before guarantees made by various barrier
172 * The x86 has a pretty strong memory ordering which only really
173 * allows for some stores to be re-ordered after loads.
177 #define TCG_TARGET_DEFAULT_MO (TCG_MO_ALL & ~TCG_MO_ST_LD)