]> git.proxmox.com Git - mirror_qemu.git/blame - tcg/tcg-opc.h
tcg: Use tcg_target_available_regs in tcg_reg_alloc_mov
[mirror_qemu.git] / tcg / tcg-opc.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 */
c61aaf7a
AJ
24
25/*
26 * DEF(name, oargs, iargs, cargs, flags)
27 */
c896fe29
FB
28
29/* predefined ops */
c1a61f6c
RH
30DEF(end, 0, 0, 0, TCG_OPF_NOT_PRESENT) /* must be kept first */
31DEF(nop, 0, 0, 0, TCG_OPF_NOT_PRESENT)
32DEF(nop1, 0, 0, 1, TCG_OPF_NOT_PRESENT)
33DEF(nop2, 0, 0, 2, TCG_OPF_NOT_PRESENT)
34DEF(nop3, 0, 0, 3, TCG_OPF_NOT_PRESENT)
c896fe29 35
c1a61f6c
RH
36/* variable number of parameters */
37DEF(nopn, 0, 0, 1, TCG_OPF_NOT_PRESENT)
38
39DEF(discard, 1, 0, 0, TCG_OPF_NOT_PRESENT)
40DEF(set_label, 0, 0, 1, TCG_OPF_BB_END | TCG_OPF_NOT_PRESENT)
41
42/* variable number of parameters */
cf066674 43DEF(call, 0, 0, 3, TCG_OPF_CALL_CLOBBER)
5ff9d6a4 44
344028ba 45DEF(br, 0, 0, 1, TCG_OPF_BB_END)
c896fe29 46
4ef76952 47#define IMPL(X) (__builtin_constant_p(X) && !(X) ? TCG_OPF_NOT_PRESENT : 0)
25c4d9cc
RH
48#if TCG_TARGET_REG_BITS == 32
49# define IMPL64 TCG_OPF_64BIT | TCG_OPF_NOT_PRESENT
50#else
51# define IMPL64 TCG_OPF_64BIT
52#endif
53
c61aaf7a
AJ
54DEF(mov_i32, 1, 1, 0, 0)
55DEF(movi_i32, 1, 0, 1, 0)
56DEF(setcond_i32, 1, 2, 1, 0)
ffc5ea09 57DEF(movcond_i32, 1, 4, 1, IMPL(TCG_TARGET_HAS_movcond_i32))
c896fe29 58/* load/store */
c61aaf7a
AJ
59DEF(ld8u_i32, 1, 1, 1, 0)
60DEF(ld8s_i32, 1, 1, 1, 0)
61DEF(ld16u_i32, 1, 1, 1, 0)
62DEF(ld16s_i32, 1, 1, 1, 0)
63DEF(ld_i32, 1, 1, 1, 0)
b202d41e
AJ
64DEF(st8_i32, 0, 2, 1, 0)
65DEF(st16_i32, 0, 2, 1, 0)
66DEF(st_i32, 0, 2, 1, 0)
c896fe29 67/* arith */
c61aaf7a
AJ
68DEF(add_i32, 1, 2, 0, 0)
69DEF(sub_i32, 1, 2, 0, 0)
70DEF(mul_i32, 1, 2, 0, 0)
25c4d9cc
RH
71DEF(div_i32, 1, 2, 0, IMPL(TCG_TARGET_HAS_div_i32))
72DEF(divu_i32, 1, 2, 0, IMPL(TCG_TARGET_HAS_div_i32))
ca675f46
RH
73DEF(rem_i32, 1, 2, 0, IMPL(TCG_TARGET_HAS_rem_i32))
74DEF(remu_i32, 1, 2, 0, IMPL(TCG_TARGET_HAS_rem_i32))
25c4d9cc
RH
75DEF(div2_i32, 2, 3, 0, IMPL(TCG_TARGET_HAS_div2_i32))
76DEF(divu2_i32, 2, 3, 0, IMPL(TCG_TARGET_HAS_div2_i32))
c61aaf7a
AJ
77DEF(and_i32, 1, 2, 0, 0)
78DEF(or_i32, 1, 2, 0, 0)
79DEF(xor_i32, 1, 2, 0, 0)
d42f183c 80/* shifts/rotates */
c61aaf7a
AJ
81DEF(shl_i32, 1, 2, 0, 0)
82DEF(shr_i32, 1, 2, 0, 0)
83DEF(sar_i32, 1, 2, 0, 0)
25c4d9cc
RH
84DEF(rotl_i32, 1, 2, 0, IMPL(TCG_TARGET_HAS_rot_i32))
85DEF(rotr_i32, 1, 2, 0, IMPL(TCG_TARGET_HAS_rot_i32))
86DEF(deposit_i32, 1, 2, 2, IMPL(TCG_TARGET_HAS_deposit_i32))
c896fe29 87
344028ba 88DEF(brcond_i32, 0, 2, 2, TCG_OPF_BB_END)
c896fe29 89
e6a72734
RH
90DEF(add2_i32, 2, 4, 0, IMPL(TCG_TARGET_HAS_add2_i32))
91DEF(sub2_i32, 2, 4, 0, IMPL(TCG_TARGET_HAS_sub2_i32))
92DEF(mulu2_i32, 2, 2, 0, IMPL(TCG_TARGET_HAS_mulu2_i32))
4d3203fd 93DEF(muls2_i32, 2, 2, 0, IMPL(TCG_TARGET_HAS_muls2_i32))
03271524
RH
94DEF(muluh_i32, 1, 2, 0, IMPL(TCG_TARGET_HAS_muluh_i32))
95DEF(mulsh_i32, 1, 2, 0, IMPL(TCG_TARGET_HAS_mulsh_i32))
344028ba 96DEF(brcond2_i32, 0, 4, 2, TCG_OPF_BB_END | IMPL(TCG_TARGET_REG_BITS == 32))
25c4d9cc
RH
97DEF(setcond2_i32, 1, 4, 1, IMPL(TCG_TARGET_REG_BITS == 32))
98
99DEF(ext8s_i32, 1, 1, 0, IMPL(TCG_TARGET_HAS_ext8s_i32))
100DEF(ext16s_i32, 1, 1, 0, IMPL(TCG_TARGET_HAS_ext16s_i32))
101DEF(ext8u_i32, 1, 1, 0, IMPL(TCG_TARGET_HAS_ext8u_i32))
102DEF(ext16u_i32, 1, 1, 0, IMPL(TCG_TARGET_HAS_ext16u_i32))
103DEF(bswap16_i32, 1, 1, 0, IMPL(TCG_TARGET_HAS_bswap16_i32))
104DEF(bswap32_i32, 1, 1, 0, IMPL(TCG_TARGET_HAS_bswap32_i32))
105DEF(not_i32, 1, 1, 0, IMPL(TCG_TARGET_HAS_not_i32))
106DEF(neg_i32, 1, 1, 0, IMPL(TCG_TARGET_HAS_neg_i32))
107DEF(andc_i32, 1, 2, 0, IMPL(TCG_TARGET_HAS_andc_i32))
108DEF(orc_i32, 1, 2, 0, IMPL(TCG_TARGET_HAS_orc_i32))
109DEF(eqv_i32, 1, 2, 0, IMPL(TCG_TARGET_HAS_eqv_i32))
110DEF(nand_i32, 1, 2, 0, IMPL(TCG_TARGET_HAS_nand_i32))
111DEF(nor_i32, 1, 2, 0, IMPL(TCG_TARGET_HAS_nor_i32))
112
113DEF(mov_i64, 1, 1, 0, IMPL64)
114DEF(movi_i64, 1, 0, 1, IMPL64)
115DEF(setcond_i64, 1, 2, 1, IMPL64)
ffc5ea09 116DEF(movcond_i64, 1, 4, 1, IMPL64 | IMPL(TCG_TARGET_HAS_movcond_i64))
c896fe29 117/* load/store */
25c4d9cc
RH
118DEF(ld8u_i64, 1, 1, 1, IMPL64)
119DEF(ld8s_i64, 1, 1, 1, IMPL64)
120DEF(ld16u_i64, 1, 1, 1, IMPL64)
121DEF(ld16s_i64, 1, 1, 1, IMPL64)
122DEF(ld32u_i64, 1, 1, 1, IMPL64)
123DEF(ld32s_i64, 1, 1, 1, IMPL64)
124DEF(ld_i64, 1, 1, 1, IMPL64)
b202d41e
AJ
125DEF(st8_i64, 0, 2, 1, IMPL64)
126DEF(st16_i64, 0, 2, 1, IMPL64)
127DEF(st32_i64, 0, 2, 1, IMPL64)
128DEF(st_i64, 0, 2, 1, IMPL64)
c896fe29 129/* arith */
25c4d9cc
RH
130DEF(add_i64, 1, 2, 0, IMPL64)
131DEF(sub_i64, 1, 2, 0, IMPL64)
132DEF(mul_i64, 1, 2, 0, IMPL64)
133DEF(div_i64, 1, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_div_i64))
134DEF(divu_i64, 1, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_div_i64))
ca675f46
RH
135DEF(rem_i64, 1, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_rem_i64))
136DEF(remu_i64, 1, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_rem_i64))
25c4d9cc
RH
137DEF(div2_i64, 2, 3, 0, IMPL64 | IMPL(TCG_TARGET_HAS_div2_i64))
138DEF(divu2_i64, 2, 3, 0, IMPL64 | IMPL(TCG_TARGET_HAS_div2_i64))
139DEF(and_i64, 1, 2, 0, IMPL64)
140DEF(or_i64, 1, 2, 0, IMPL64)
141DEF(xor_i64, 1, 2, 0, IMPL64)
d42f183c 142/* shifts/rotates */
25c4d9cc
RH
143DEF(shl_i64, 1, 2, 0, IMPL64)
144DEF(shr_i64, 1, 2, 0, IMPL64)
145DEF(sar_i64, 1, 2, 0, IMPL64)
146DEF(rotl_i64, 1, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_rot_i64))
147DEF(rotr_i64, 1, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_rot_i64))
148DEF(deposit_i64, 1, 2, 2, IMPL64 | IMPL(TCG_TARGET_HAS_deposit_i64))
c896fe29 149
4bb7a41e
RH
150DEF(trunc_shr_i32, 1, 1, 1,
151 IMPL(TCG_TARGET_HAS_trunc_shr_i32)
152 | (TCG_TARGET_REG_BITS == 32 ? TCG_OPF_NOT_PRESENT : 0))
153
344028ba 154DEF(brcond_i64, 0, 2, 2, TCG_OPF_BB_END | IMPL64)
25c4d9cc
RH
155DEF(ext8s_i64, 1, 1, 0, IMPL64 | IMPL(TCG_TARGET_HAS_ext8s_i64))
156DEF(ext16s_i64, 1, 1, 0, IMPL64 | IMPL(TCG_TARGET_HAS_ext16s_i64))
157DEF(ext32s_i64, 1, 1, 0, IMPL64 | IMPL(TCG_TARGET_HAS_ext32s_i64))
158DEF(ext8u_i64, 1, 1, 0, IMPL64 | IMPL(TCG_TARGET_HAS_ext8u_i64))
159DEF(ext16u_i64, 1, 1, 0, IMPL64 | IMPL(TCG_TARGET_HAS_ext16u_i64))
160DEF(ext32u_i64, 1, 1, 0, IMPL64 | IMPL(TCG_TARGET_HAS_ext32u_i64))
161DEF(bswap16_i64, 1, 1, 0, IMPL64 | IMPL(TCG_TARGET_HAS_bswap16_i64))
162DEF(bswap32_i64, 1, 1, 0, IMPL64 | IMPL(TCG_TARGET_HAS_bswap32_i64))
163DEF(bswap64_i64, 1, 1, 0, IMPL64 | IMPL(TCG_TARGET_HAS_bswap64_i64))
164DEF(not_i64, 1, 1, 0, IMPL64 | IMPL(TCG_TARGET_HAS_not_i64))
165DEF(neg_i64, 1, 1, 0, IMPL64 | IMPL(TCG_TARGET_HAS_neg_i64))
166DEF(andc_i64, 1, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_andc_i64))
167DEF(orc_i64, 1, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_orc_i64))
168DEF(eqv_i64, 1, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_eqv_i64))
169DEF(nand_i64, 1, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_nand_i64))
170DEF(nor_i64, 1, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_nor_i64))
c896fe29 171
d7156f7c
RH
172DEF(add2_i64, 2, 4, 0, IMPL64 | IMPL(TCG_TARGET_HAS_add2_i64))
173DEF(sub2_i64, 2, 4, 0, IMPL64 | IMPL(TCG_TARGET_HAS_sub2_i64))
174DEF(mulu2_i64, 2, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_mulu2_i64))
4d3203fd 175DEF(muls2_i64, 2, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_muls2_i64))
03271524
RH
176DEF(muluh_i64, 1, 2, 0, IMPL(TCG_TARGET_HAS_muluh_i64))
177DEF(mulsh_i64, 1, 2, 0, IMPL(TCG_TARGET_HAS_mulsh_i64))
d7156f7c 178
c896fe29 179/* QEMU specific */
7e4597d7 180#if TARGET_LONG_BITS > TCG_TARGET_REG_BITS
c1a61f6c 181DEF(debug_insn_start, 0, 0, 2, TCG_OPF_NOT_PRESENT)
7e4597d7 182#else
c1a61f6c 183DEF(debug_insn_start, 0, 0, 1, TCG_OPF_NOT_PRESENT)
7e4597d7 184#endif
344028ba
AJ
185DEF(exit_tb, 0, 0, 1, TCG_OPF_BB_END)
186DEF(goto_tb, 0, 0, 1, TCG_OPF_BB_END)
f713d6ad
RH
187
188#define IMPL_NEW_LDST \
189 (TCG_OPF_CALL_CLOBBER | TCG_OPF_SIDE_EFFECTS \
190 | IMPL(TCG_TARGET_HAS_new_ldst))
191
192#if TARGET_LONG_BITS <= TCG_TARGET_REG_BITS
193DEF(qemu_ld_i32, 1, 1, 2, IMPL_NEW_LDST)
194DEF(qemu_st_i32, 0, 2, 2, IMPL_NEW_LDST)
195# if TCG_TARGET_REG_BITS == 64
196DEF(qemu_ld_i64, 1, 1, 2, IMPL_NEW_LDST | TCG_OPF_64BIT)
197DEF(qemu_st_i64, 0, 2, 2, IMPL_NEW_LDST | TCG_OPF_64BIT)
198# else
199DEF(qemu_ld_i64, 2, 1, 2, IMPL_NEW_LDST | TCG_OPF_64BIT)
200DEF(qemu_st_i64, 0, 3, 2, IMPL_NEW_LDST | TCG_OPF_64BIT)
201# endif
202#else
203DEF(qemu_ld_i32, 1, 2, 2, IMPL_NEW_LDST)
204DEF(qemu_st_i32, 0, 3, 2, IMPL_NEW_LDST)
205DEF(qemu_ld_i64, 2, 2, 2, IMPL_NEW_LDST | TCG_OPF_64BIT)
206DEF(qemu_st_i64, 0, 4, 2, IMPL_NEW_LDST | TCG_OPF_64BIT)
207#endif
208
209#undef IMPL_NEW_LDST
210
211#define IMPL_OLD_LDST \
212 (TCG_OPF_CALL_CLOBBER | TCG_OPF_SIDE_EFFECTS \
213 | IMPL(!TCG_TARGET_HAS_new_ldst))
214
c896fe29
FB
215#if TCG_TARGET_REG_BITS == 32
216#if TARGET_LONG_BITS == 32
f713d6ad 217DEF(qemu_ld8u, 1, 1, 1, IMPL_OLD_LDST)
c896fe29 218#else
f713d6ad 219DEF(qemu_ld8u, 1, 2, 1, IMPL_OLD_LDST)
c896fe29
FB
220#endif
221#if TARGET_LONG_BITS == 32
f713d6ad 222DEF(qemu_ld8s, 1, 1, 1, IMPL_OLD_LDST)
c896fe29 223#else
f713d6ad 224DEF(qemu_ld8s, 1, 2, 1, IMPL_OLD_LDST)
c896fe29
FB
225#endif
226#if TARGET_LONG_BITS == 32
f713d6ad 227DEF(qemu_ld16u, 1, 1, 1, IMPL_OLD_LDST)
c896fe29 228#else
f713d6ad 229DEF(qemu_ld16u, 1, 2, 1, IMPL_OLD_LDST)
c896fe29
FB
230#endif
231#if TARGET_LONG_BITS == 32
f713d6ad 232DEF(qemu_ld16s, 1, 1, 1, IMPL_OLD_LDST)
c896fe29 233#else
f713d6ad 234DEF(qemu_ld16s, 1, 2, 1, IMPL_OLD_LDST)
c896fe29
FB
235#endif
236#if TARGET_LONG_BITS == 32
f713d6ad 237DEF(qemu_ld32, 1, 1, 1, IMPL_OLD_LDST)
c896fe29 238#else
f713d6ad 239DEF(qemu_ld32, 1, 2, 1, IMPL_OLD_LDST)
c896fe29
FB
240#endif
241#if TARGET_LONG_BITS == 32
f713d6ad 242DEF(qemu_ld64, 2, 1, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
c896fe29 243#else
f713d6ad 244DEF(qemu_ld64, 2, 2, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
c896fe29
FB
245#endif
246
247#if TARGET_LONG_BITS == 32
f713d6ad 248DEF(qemu_st8, 0, 2, 1, IMPL_OLD_LDST)
c896fe29 249#else
f713d6ad 250DEF(qemu_st8, 0, 3, 1, IMPL_OLD_LDST)
c896fe29
FB
251#endif
252#if TARGET_LONG_BITS == 32
f713d6ad 253DEF(qemu_st16, 0, 2, 1, IMPL_OLD_LDST)
c896fe29 254#else
f713d6ad 255DEF(qemu_st16, 0, 3, 1, IMPL_OLD_LDST)
c896fe29
FB
256#endif
257#if TARGET_LONG_BITS == 32
f713d6ad 258DEF(qemu_st32, 0, 2, 1, IMPL_OLD_LDST)
c896fe29 259#else
f713d6ad 260DEF(qemu_st32, 0, 3, 1, IMPL_OLD_LDST)
c896fe29
FB
261#endif
262#if TARGET_LONG_BITS == 32
f713d6ad 263DEF(qemu_st64, 0, 3, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
c896fe29 264#else
f713d6ad 265DEF(qemu_st64, 0, 4, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
c896fe29
FB
266#endif
267
268#else /* TCG_TARGET_REG_BITS == 32 */
269
f713d6ad
RH
270DEF(qemu_ld8u, 1, 1, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
271DEF(qemu_ld8s, 1, 1, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
272DEF(qemu_ld16u, 1, 1, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
273DEF(qemu_ld16s, 1, 1, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
274DEF(qemu_ld32, 1, 1, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
275DEF(qemu_ld32u, 1, 1, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
276DEF(qemu_ld32s, 1, 1, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
277DEF(qemu_ld64, 1, 1, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
c896fe29 278
f713d6ad
RH
279DEF(qemu_st8, 0, 2, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
280DEF(qemu_st16, 0, 2, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
281DEF(qemu_st32, 0, 2, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
282DEF(qemu_st64, 0, 2, 1, IMPL_OLD_LDST | TCG_OPF_64BIT)
c896fe29
FB
283
284#endif /* TCG_TARGET_REG_BITS != 32 */
285
f713d6ad
RH
286#undef IMPL_OLD_LDST
287
25c4d9cc
RH
288#undef IMPL
289#undef IMPL64
c61aaf7a 290#undef DEF