xref: /qemu/tcg/tci/tcg-target.h (revision ae40c098ac637b51ccf350d70765e76129b838a5)
17316329aSStefan Weil /*
27316329aSStefan Weil  * Tiny Code Generator for QEMU
37316329aSStefan Weil  *
47316329aSStefan Weil  * Copyright (c) 2009, 2011 Stefan Weil
57316329aSStefan Weil  *
67316329aSStefan Weil  * Permission is hereby granted, free of charge, to any person obtaining a copy
77316329aSStefan Weil  * of this software and associated documentation files (the "Software"), to deal
87316329aSStefan Weil  * in the Software without restriction, including without limitation the rights
97316329aSStefan Weil  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
107316329aSStefan Weil  * copies of the Software, and to permit persons to whom the Software is
117316329aSStefan Weil  * furnished to do so, subject to the following conditions:
127316329aSStefan Weil  *
137316329aSStefan Weil  * The above copyright notice and this permission notice shall be included in
147316329aSStefan Weil  * all copies or substantial portions of the Software.
157316329aSStefan Weil  *
167316329aSStefan Weil  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
177316329aSStefan Weil  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
187316329aSStefan Weil  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
197316329aSStefan Weil  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
207316329aSStefan Weil  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
217316329aSStefan Weil  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
227316329aSStefan Weil  * THE SOFTWARE.
237316329aSStefan Weil  */
247316329aSStefan Weil 
257316329aSStefan Weil /*
267316329aSStefan Weil  * This code implements a TCG which does not generate machine code for some
277316329aSStefan Weil  * real target machine but which generates virtual machine code for an
287316329aSStefan Weil  * interpreter. Interpreted pseudo code is slow, but it works on any host.
297316329aSStefan Weil  *
307316329aSStefan Weil  * Some remarks might help in understanding the code:
317316329aSStefan Weil  *
327316329aSStefan Weil  * "target" or "TCG target" is the machine which runs the generated code.
337316329aSStefan Weil  * This is different to the usual meaning in QEMU where "target" is the
347316329aSStefan Weil  * emulated machine. So normally QEMU host is identical to TCG target.
357316329aSStefan Weil  * Here the TCG target is a virtual machine, but this virtual machine must
367316329aSStefan Weil  * use the same word size like the real machine.
377316329aSStefan Weil  * Therefore, we need both 32 and 64 bit virtual machines (interpreter).
387316329aSStefan Weil  */
397316329aSStefan Weil 
40175de524SMarkus Armbruster #ifndef TCG_TARGET_H
417316329aSStefan Weil #define TCG_TARGET_H
427316329aSStefan Weil 
437316329aSStefan Weil #define TCG_TARGET_INTERPRETER 1
44a7f96f76SRichard Henderson #define TCG_TARGET_INSN_UNIT_SIZE 1
45006f8638SPaolo Bonzini #define TCG_TARGET_TLB_DISPLACEMENT_BITS 32
467316329aSStefan Weil 
4778cd7b83SRichard Henderson #if UINTPTR_MAX == UINT32_MAX
4878cd7b83SRichard Henderson # define TCG_TARGET_REG_BITS 32
4978cd7b83SRichard Henderson #elif UINTPTR_MAX == UINT64_MAX
5078cd7b83SRichard Henderson # define TCG_TARGET_REG_BITS 64
5178cd7b83SRichard Henderson #else
5278cd7b83SRichard Henderson # error Unknown pointer size for tci target
5378cd7b83SRichard Henderson #endif
5478cd7b83SRichard Henderson 
557316329aSStefan Weil #ifdef CONFIG_DEBUG_TCG
567316329aSStefan Weil /* Enable debug output. */
577316329aSStefan Weil #define CONFIG_DEBUG_TCG_INTERPRETER
587316329aSStefan Weil #endif
597316329aSStefan Weil 
607316329aSStefan Weil /* Optional instructions. */
617316329aSStefan Weil 
627316329aSStefan Weil #define TCG_TARGET_HAS_bswap16_i32      1
637316329aSStefan Weil #define TCG_TARGET_HAS_bswap32_i32      1
647316329aSStefan Weil #define TCG_TARGET_HAS_div_i32          1
65ca675f46SRichard Henderson #define TCG_TARGET_HAS_rem_i32          1
667316329aSStefan Weil #define TCG_TARGET_HAS_ext8s_i32        1
677316329aSStefan Weil #define TCG_TARGET_HAS_ext16s_i32       1
687316329aSStefan Weil #define TCG_TARGET_HAS_ext8u_i32        1
697316329aSStefan Weil #define TCG_TARGET_HAS_ext16u_i32       1
707316329aSStefan Weil #define TCG_TARGET_HAS_andc_i32         0
71e24dc9feSStefan Weil #define TCG_TARGET_HAS_deposit_i32      1
727ec8bab3SRichard Henderson #define TCG_TARGET_HAS_extract_i32      0
737ec8bab3SRichard Henderson #define TCG_TARGET_HAS_sextract_i32     0
74fce1296fSRichard Henderson #define TCG_TARGET_HAS_extract2_i32     0
757316329aSStefan Weil #define TCG_TARGET_HAS_eqv_i32          0
767316329aSStefan Weil #define TCG_TARGET_HAS_nand_i32         0
777316329aSStefan Weil #define TCG_TARGET_HAS_nor_i32          0
780e28d006SRichard Henderson #define TCG_TARGET_HAS_clz_i32          0
790e28d006SRichard Henderson #define TCG_TARGET_HAS_ctz_i32          0
80a768e4e9SRichard Henderson #define TCG_TARGET_HAS_ctpop_i32        0
817316329aSStefan Weil #define TCG_TARGET_HAS_neg_i32          1
827316329aSStefan Weil #define TCG_TARGET_HAS_not_i32          1
837316329aSStefan Weil #define TCG_TARGET_HAS_orc_i32          0
847316329aSStefan Weil #define TCG_TARGET_HAS_rot_i32          1
85ffc5ea09SRichard Henderson #define TCG_TARGET_HAS_movcond_i32      0
864d3203fdSRichard Henderson #define TCG_TARGET_HAS_muls2_i32        0
8703271524SRichard Henderson #define TCG_TARGET_HAS_muluh_i32        0
8803271524SRichard Henderson #define TCG_TARGET_HAS_mulsh_i32        0
89cedbcb01SEmilio G. Cota #define TCG_TARGET_HAS_goto_ptr         0
90a8583393SRichard Henderson #define TCG_TARGET_HAS_direct_jump      1
9107ce0b05SRichard Henderson #define TCG_TARGET_HAS_qemu_st8_i32     0
927316329aSStefan Weil 
937316329aSStefan Weil #if TCG_TARGET_REG_BITS == 64
94609ad705SRichard Henderson #define TCG_TARGET_HAS_extrl_i64_i32    0
95609ad705SRichard Henderson #define TCG_TARGET_HAS_extrh_i64_i32    0
967316329aSStefan Weil #define TCG_TARGET_HAS_bswap16_i64      1
977316329aSStefan Weil #define TCG_TARGET_HAS_bswap32_i64      1
987316329aSStefan Weil #define TCG_TARGET_HAS_bswap64_i64      1
99e24dc9feSStefan Weil #define TCG_TARGET_HAS_deposit_i64      1
1007ec8bab3SRichard Henderson #define TCG_TARGET_HAS_extract_i64      0
1017ec8bab3SRichard Henderson #define TCG_TARGET_HAS_sextract_i64     0
102fce1296fSRichard Henderson #define TCG_TARGET_HAS_extract2_i64     0
103*ae40c098SRichard Henderson #define TCG_TARGET_HAS_div_i64          1
104*ae40c098SRichard Henderson #define TCG_TARGET_HAS_rem_i64          1
1057316329aSStefan Weil #define TCG_TARGET_HAS_ext8s_i64        1
1067316329aSStefan Weil #define TCG_TARGET_HAS_ext16s_i64       1
1077316329aSStefan Weil #define TCG_TARGET_HAS_ext32s_i64       1
1087316329aSStefan Weil #define TCG_TARGET_HAS_ext8u_i64        1
1097316329aSStefan Weil #define TCG_TARGET_HAS_ext16u_i64       1
1107316329aSStefan Weil #define TCG_TARGET_HAS_ext32u_i64       1
1117316329aSStefan Weil #define TCG_TARGET_HAS_andc_i64         0
1127316329aSStefan Weil #define TCG_TARGET_HAS_eqv_i64          0
1137316329aSStefan Weil #define TCG_TARGET_HAS_nand_i64         0
1147316329aSStefan Weil #define TCG_TARGET_HAS_nor_i64          0
1150e28d006SRichard Henderson #define TCG_TARGET_HAS_clz_i64          0
1160e28d006SRichard Henderson #define TCG_TARGET_HAS_ctz_i64          0
117a768e4e9SRichard Henderson #define TCG_TARGET_HAS_ctpop_i64        0
1187316329aSStefan Weil #define TCG_TARGET_HAS_neg_i64          1
1197316329aSStefan Weil #define TCG_TARGET_HAS_not_i64          1
1207316329aSStefan Weil #define TCG_TARGET_HAS_orc_i64          0
1217316329aSStefan Weil #define TCG_TARGET_HAS_rot_i64          1
122ffc5ea09SRichard Henderson #define TCG_TARGET_HAS_movcond_i64      0
1234d3203fdSRichard Henderson #define TCG_TARGET_HAS_muls2_i64        0
124e6a72734SRichard Henderson #define TCG_TARGET_HAS_add2_i32         0
125e6a72734SRichard Henderson #define TCG_TARGET_HAS_sub2_i32         0
126e6a72734SRichard Henderson #define TCG_TARGET_HAS_mulu2_i32        0
127d7156f7cSRichard Henderson #define TCG_TARGET_HAS_add2_i64         0
128d7156f7cSRichard Henderson #define TCG_TARGET_HAS_sub2_i64         0
129d7156f7cSRichard Henderson #define TCG_TARGET_HAS_mulu2_i64        0
13003271524SRichard Henderson #define TCG_TARGET_HAS_muluh_i64        0
13103271524SRichard Henderson #define TCG_TARGET_HAS_mulsh_i64        0
132df9ebea5SRichard Henderson #else
133df9ebea5SRichard Henderson #define TCG_TARGET_HAS_mulu2_i32        1
1347316329aSStefan Weil #endif /* TCG_TARGET_REG_BITS == 64 */
1357316329aSStefan Weil 
1367316329aSStefan Weil /* Number of registers available.
1377316329aSStefan Weil    For 32 bit hosts, we need more than 8 registers (call arguments). */
1387316329aSStefan Weil /* #define TCG_TARGET_NB_REGS 8 */
1397316329aSStefan Weil #define TCG_TARGET_NB_REGS 16
1407316329aSStefan Weil /* #define TCG_TARGET_NB_REGS 32 */
1417316329aSStefan Weil 
1427316329aSStefan Weil /* List of registers which are used by TCG. */
1437316329aSStefan Weil typedef enum {
1447316329aSStefan Weil     TCG_REG_R0 = 0,
1457316329aSStefan Weil     TCG_REG_R1,
1467316329aSStefan Weil     TCG_REG_R2,
1477316329aSStefan Weil     TCG_REG_R3,
1487316329aSStefan Weil     TCG_REG_R4,
1497316329aSStefan Weil     TCG_REG_R5,
1507316329aSStefan Weil     TCG_REG_R6,
1517316329aSStefan Weil     TCG_REG_R7,
1527316329aSStefan Weil #if TCG_TARGET_NB_REGS >= 16
1537316329aSStefan Weil     TCG_REG_R8,
1547316329aSStefan Weil     TCG_REG_R9,
1557316329aSStefan Weil     TCG_REG_R10,
1567316329aSStefan Weil     TCG_REG_R11,
1577316329aSStefan Weil     TCG_REG_R12,
1587316329aSStefan Weil     TCG_REG_R13,
1597316329aSStefan Weil     TCG_REG_R14,
1607316329aSStefan Weil     TCG_REG_R15,
1617316329aSStefan Weil #if TCG_TARGET_NB_REGS >= 32
1627316329aSStefan Weil     TCG_REG_R16,
1637316329aSStefan Weil     TCG_REG_R17,
1647316329aSStefan Weil     TCG_REG_R18,
1657316329aSStefan Weil     TCG_REG_R19,
1667316329aSStefan Weil     TCG_REG_R20,
1677316329aSStefan Weil     TCG_REG_R21,
1687316329aSStefan Weil     TCG_REG_R22,
1697316329aSStefan Weil     TCG_REG_R23,
1707316329aSStefan Weil     TCG_REG_R24,
1717316329aSStefan Weil     TCG_REG_R25,
1727316329aSStefan Weil     TCG_REG_R26,
1737316329aSStefan Weil     TCG_REG_R27,
1747316329aSStefan Weil     TCG_REG_R28,
1757316329aSStefan Weil     TCG_REG_R29,
1767316329aSStefan Weil     TCG_REG_R30,
1777316329aSStefan Weil     TCG_REG_R31,
1787316329aSStefan Weil #endif
1797316329aSStefan Weil #endif
1807316329aSStefan Weil     /* Special value UINT8_MAX is used by TCI to encode constant values. */
1817316329aSStefan Weil     TCG_CONST = UINT8_MAX
182771142c2SRichard Henderson } TCGReg;
1837316329aSStefan Weil 
184ee79c356SRichard Henderson #define TCG_AREG0                       (TCG_TARGET_NB_REGS - 2)
185ee79c356SRichard Henderson 
186ee79c356SRichard Henderson /* Used for function call generation. */
187ee79c356SRichard Henderson #define TCG_REG_CALL_STACK              (TCG_TARGET_NB_REGS - 1)
188ee79c356SRichard Henderson #define TCG_TARGET_CALL_STACK_OFFSET    0
189ee79c356SRichard Henderson #define TCG_TARGET_STACK_ALIGN          16
190ee79c356SRichard Henderson 
1917316329aSStefan Weil void tci_disas(uint8_t opc);
1927316329aSStefan Weil 
1935a58e884SPaolo Bonzini #define HAVE_TCG_QEMU_TB_EXEC
1947316329aSStefan Weil 
195cda4a338SRichard Henderson /* We could notice __i386__ or __s390x__ and reduce the barriers depending
196cda4a338SRichard Henderson    on the host.  But if you want performance, you use the normal backend.
197cda4a338SRichard Henderson    We prefer consistency across hosts on this.  */
198cda4a338SRichard Henderson #define TCG_TARGET_DEFAULT_MO  (0)
199cda4a338SRichard Henderson 
200e1dcf352SRichard Henderson #define TCG_TARGET_HAS_MEMORY_BSWAP     1
201e1dcf352SRichard Henderson 
2021acbad0fSRichard Henderson static inline void tb_target_set_jmp_target(uintptr_t tc_ptr, uintptr_t jmp_rx,
2031acbad0fSRichard Henderson                                             uintptr_t jmp_rw, uintptr_t addr)
204a8583393SRichard Henderson {
205a8583393SRichard Henderson     /* patch the branch destination */
2061acbad0fSRichard Henderson     qatomic_set((int32_t *)jmp_rw, addr - (jmp_rx + 4));
207a8583393SRichard Henderson     /* no need to flush icache explicitly */
208a8583393SRichard Henderson }
209a8583393SRichard Henderson 
2107316329aSStefan Weil #endif /* TCG_TARGET_H */
211