xref: /openbmc/qemu/tcg/riscv/tcg-target.c.inc (revision d4be6ee111118e7f15644bc33ec8995dd610c68e)
1139c1837SPaolo Bonzini/*
2139c1837SPaolo Bonzini * Tiny Code Generator for QEMU
3139c1837SPaolo Bonzini *
4139c1837SPaolo Bonzini * Copyright (c) 2018 SiFive, Inc
5139c1837SPaolo Bonzini * Copyright (c) 2008-2009 Arnaud Patard <arnaud.patard@rtp-net.org>
6139c1837SPaolo Bonzini * Copyright (c) 2009 Aurelien Jarno <aurelien@aurel32.net>
7139c1837SPaolo Bonzini * Copyright (c) 2008 Fabrice Bellard
8139c1837SPaolo Bonzini *
9139c1837SPaolo Bonzini * Based on i386/tcg-target.c and mips/tcg-target.c
10139c1837SPaolo Bonzini *
11139c1837SPaolo Bonzini * Permission is hereby granted, free of charge, to any person obtaining a copy
12139c1837SPaolo Bonzini * of this software and associated documentation files (the "Software"), to deal
13139c1837SPaolo Bonzini * in the Software without restriction, including without limitation the rights
14139c1837SPaolo Bonzini * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
15139c1837SPaolo Bonzini * copies of the Software, and to permit persons to whom the Software is
16139c1837SPaolo Bonzini * furnished to do so, subject to the following conditions:
17139c1837SPaolo Bonzini *
18139c1837SPaolo Bonzini * The above copyright notice and this permission notice shall be included in
19139c1837SPaolo Bonzini * all copies or substantial portions of the Software.
20139c1837SPaolo Bonzini *
21139c1837SPaolo Bonzini * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
22139c1837SPaolo Bonzini * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
23139c1837SPaolo Bonzini * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
24139c1837SPaolo Bonzini * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
25139c1837SPaolo Bonzini * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
26139c1837SPaolo Bonzini * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
27139c1837SPaolo Bonzini * THE SOFTWARE.
28139c1837SPaolo Bonzini */
29139c1837SPaolo Bonzini
30a3fb7c99SRichard Henderson#include "../tcg-ldst.c.inc"
31139c1837SPaolo Bonzini#include "../tcg-pool.c.inc"
32139c1837SPaolo Bonzini
33139c1837SPaolo Bonzini#ifdef CONFIG_DEBUG_TCG
34139c1837SPaolo Bonzinistatic const char * const tcg_target_reg_names[TCG_TARGET_NB_REGS] = {
35f63e7089SHuang Shiyuan    "zero", "ra",  "sp",  "gp",  "tp",  "t0",  "t1",  "t2",
36f63e7089SHuang Shiyuan    "s0",   "s1",  "a0",  "a1",  "a2",  "a3",  "a4",  "a5",
37f63e7089SHuang Shiyuan    "a6",   "a7",  "s2",  "s3",  "s4",  "s5",  "s6",  "s7",
38f63e7089SHuang Shiyuan    "s8",   "s9",  "s10", "s11", "t3",  "t4",  "t5",  "t6",
39f63e7089SHuang Shiyuan    "v0",   "v1",  "v2",  "v3",  "v4",  "v5",  "v6",  "v7",
40f63e7089SHuang Shiyuan    "v8",   "v9",  "v10", "v11", "v12", "v13", "v14", "v15",
41f63e7089SHuang Shiyuan    "v16",  "v17", "v18", "v19", "v20", "v21", "v22", "v23",
42f63e7089SHuang Shiyuan    "v24",  "v25", "v26", "v27", "v28", "v29", "v30", "v31",
43139c1837SPaolo Bonzini};
44139c1837SPaolo Bonzini#endif
45139c1837SPaolo Bonzini
46139c1837SPaolo Bonzinistatic const int tcg_target_reg_alloc_order[] = {
47139c1837SPaolo Bonzini    /* Call saved registers */
484daad8d9SMichael Tokarev    /* TCG_REG_S0 reserved for TCG_AREG0 */
49139c1837SPaolo Bonzini    TCG_REG_S1,
50139c1837SPaolo Bonzini    TCG_REG_S2,
51139c1837SPaolo Bonzini    TCG_REG_S3,
52139c1837SPaolo Bonzini    TCG_REG_S4,
53139c1837SPaolo Bonzini    TCG_REG_S5,
54139c1837SPaolo Bonzini    TCG_REG_S6,
55139c1837SPaolo Bonzini    TCG_REG_S7,
56139c1837SPaolo Bonzini    TCG_REG_S8,
57139c1837SPaolo Bonzini    TCG_REG_S9,
58139c1837SPaolo Bonzini    TCG_REG_S10,
59139c1837SPaolo Bonzini    TCG_REG_S11,
60139c1837SPaolo Bonzini
61139c1837SPaolo Bonzini    /* Call clobbered registers */
62139c1837SPaolo Bonzini    TCG_REG_T0,
63139c1837SPaolo Bonzini    TCG_REG_T1,
64139c1837SPaolo Bonzini    TCG_REG_T2,
65139c1837SPaolo Bonzini    TCG_REG_T3,
66139c1837SPaolo Bonzini    TCG_REG_T4,
67139c1837SPaolo Bonzini    TCG_REG_T5,
68139c1837SPaolo Bonzini    TCG_REG_T6,
69139c1837SPaolo Bonzini
70139c1837SPaolo Bonzini    /* Argument registers */
71139c1837SPaolo Bonzini    TCG_REG_A0,
72139c1837SPaolo Bonzini    TCG_REG_A1,
73139c1837SPaolo Bonzini    TCG_REG_A2,
74139c1837SPaolo Bonzini    TCG_REG_A3,
75139c1837SPaolo Bonzini    TCG_REG_A4,
76139c1837SPaolo Bonzini    TCG_REG_A5,
77139c1837SPaolo Bonzini    TCG_REG_A6,
78139c1837SPaolo Bonzini    TCG_REG_A7,
79f63e7089SHuang Shiyuan
80f63e7089SHuang Shiyuan    /* Vector registers and TCG_REG_V0 reserved for mask. */
81f63e7089SHuang Shiyuan    TCG_REG_V1,  TCG_REG_V2,  TCG_REG_V3,  TCG_REG_V4,
82f63e7089SHuang Shiyuan    TCG_REG_V5,  TCG_REG_V6,  TCG_REG_V7,  TCG_REG_V8,
83f63e7089SHuang Shiyuan    TCG_REG_V9,  TCG_REG_V10, TCG_REG_V11, TCG_REG_V12,
84f63e7089SHuang Shiyuan    TCG_REG_V13, TCG_REG_V14, TCG_REG_V15, TCG_REG_V16,
85f63e7089SHuang Shiyuan    TCG_REG_V17, TCG_REG_V18, TCG_REG_V19, TCG_REG_V20,
86f63e7089SHuang Shiyuan    TCG_REG_V21, TCG_REG_V22, TCG_REG_V23, TCG_REG_V24,
87f63e7089SHuang Shiyuan    TCG_REG_V25, TCG_REG_V26, TCG_REG_V27, TCG_REG_V28,
88f63e7089SHuang Shiyuan    TCG_REG_V29, TCG_REG_V30, TCG_REG_V31,
89139c1837SPaolo Bonzini};
90139c1837SPaolo Bonzini
91139c1837SPaolo Bonzinistatic const int tcg_target_call_iarg_regs[] = {
92139c1837SPaolo Bonzini    TCG_REG_A0,
93139c1837SPaolo Bonzini    TCG_REG_A1,
94139c1837SPaolo Bonzini    TCG_REG_A2,
95139c1837SPaolo Bonzini    TCG_REG_A3,
96139c1837SPaolo Bonzini    TCG_REG_A4,
97139c1837SPaolo Bonzini    TCG_REG_A5,
98139c1837SPaolo Bonzini    TCG_REG_A6,
99139c1837SPaolo Bonzini    TCG_REG_A7,
100139c1837SPaolo Bonzini};
101139c1837SPaolo Bonzini
1025e3d0c19SRichard Hendersonstatic TCGReg tcg_target_call_oarg_reg(TCGCallReturnKind kind, int slot)
1035e3d0c19SRichard Henderson{
1045e3d0c19SRichard Henderson    tcg_debug_assert(kind == TCG_CALL_RET_NORMAL);
1055e3d0c19SRichard Henderson    tcg_debug_assert(slot >= 0 && slot <= 1);
1065e3d0c19SRichard Henderson    return TCG_REG_A0 + slot;
1075e3d0c19SRichard Henderson}
108139c1837SPaolo Bonzini
109139c1837SPaolo Bonzini#define TCG_CT_CONST_ZERO  0x100
110139c1837SPaolo Bonzini#define TCG_CT_CONST_S12   0x200
111139c1837SPaolo Bonzini#define TCG_CT_CONST_N12   0x400
112139c1837SPaolo Bonzini#define TCG_CT_CONST_M12   0x800
11399f4ec6eSRichard Henderson#define TCG_CT_CONST_J12  0x1000
114139c1837SPaolo Bonzini
115fc63a4c5SRichard Henderson#define ALL_GENERAL_REGS   MAKE_64BIT_MASK(0, 32)
116f63e7089SHuang Shiyuan#define ALL_VECTOR_REGS    MAKE_64BIT_MASK(32, 32)
117f63e7089SHuang Shiyuan#define ALL_DVECTOR_REG_GROUPS 0x5555555500000000
118f63e7089SHuang Shiyuan#define ALL_QVECTOR_REG_GROUPS 0x1111111100000000
119fc63a4c5SRichard Henderson
120aeb6326eSRichard Henderson#define sextreg  sextract64
121139c1837SPaolo Bonzini
122139c1837SPaolo Bonzini/* test if a constant matches the constraint */
12321e9a8aeSRichard Hendersonstatic bool tcg_target_const_match(int64_t val, int ct,
12421e9a8aeSRichard Henderson                                   TCGType type, TCGCond cond, int vece)
125139c1837SPaolo Bonzini{
126139c1837SPaolo Bonzini    if (ct & TCG_CT_CONST) {
127139c1837SPaolo Bonzini        return 1;
128139c1837SPaolo Bonzini    }
129139c1837SPaolo Bonzini    if ((ct & TCG_CT_CONST_ZERO) && val == 0) {
130139c1837SPaolo Bonzini        return 1;
131139c1837SPaolo Bonzini    }
13262722763SRichard Henderson    /*
13362722763SRichard Henderson     * Sign extended from 12 bits: [-0x800, 0x7ff].
13462722763SRichard Henderson     * Used for most arithmetic, as this is the isa field.
13562722763SRichard Henderson     */
13662722763SRichard Henderson    if ((ct & TCG_CT_CONST_S12) && val >= -0x800 && val <= 0x7ff) {
137139c1837SPaolo Bonzini        return 1;
138139c1837SPaolo Bonzini    }
13962722763SRichard Henderson    /*
14062722763SRichard Henderson     * Sign extended from 12 bits, negated: [-0x7ff, 0x800].
14162722763SRichard Henderson     * Used for subtraction, where a constant must be handled by ADDI.
14262722763SRichard Henderson     */
14362722763SRichard Henderson    if ((ct & TCG_CT_CONST_N12) && val >= -0x7ff && val <= 0x800) {
144139c1837SPaolo Bonzini        return 1;
145139c1837SPaolo Bonzini    }
14662722763SRichard Henderson    /*
14762722763SRichard Henderson     * Sign extended from 12 bits, +/- matching: [-0x7ff, 0x7ff].
148a18d783eSRichard Henderson     * Used by addsub2 and movcond, which may need the negative value,
14962722763SRichard Henderson     * and requires the modified constant to be representable.
15062722763SRichard Henderson     */
15162722763SRichard Henderson    if ((ct & TCG_CT_CONST_M12) && val >= -0x7ff && val <= 0x7ff) {
152139c1837SPaolo Bonzini        return 1;
153139c1837SPaolo Bonzini    }
15499f4ec6eSRichard Henderson    /*
15599f4ec6eSRichard Henderson     * Inverse of sign extended from 12 bits: ~[-0x800, 0x7ff].
15699f4ec6eSRichard Henderson     * Used to map ANDN back to ANDI, etc.
15799f4ec6eSRichard Henderson     */
15899f4ec6eSRichard Henderson    if ((ct & TCG_CT_CONST_J12) && ~val >= -0x800 && ~val <= 0x7ff) {
15999f4ec6eSRichard Henderson        return 1;
16099f4ec6eSRichard Henderson    }
161139c1837SPaolo Bonzini    return 0;
162139c1837SPaolo Bonzini}
163139c1837SPaolo Bonzini
164139c1837SPaolo Bonzini/*
165139c1837SPaolo Bonzini * RISC-V Base ISA opcodes (IM)
166139c1837SPaolo Bonzini */
167139c1837SPaolo Bonzini
168f63e7089SHuang Shiyuan#define V_OPIVV (0x0 << 12)
169f63e7089SHuang Shiyuan#define V_OPFVV (0x1 << 12)
170f63e7089SHuang Shiyuan#define V_OPMVV (0x2 << 12)
171f63e7089SHuang Shiyuan#define V_OPIVI (0x3 << 12)
172f63e7089SHuang Shiyuan#define V_OPIVX (0x4 << 12)
173f63e7089SHuang Shiyuan#define V_OPFVF (0x5 << 12)
174f63e7089SHuang Shiyuan#define V_OPMVX (0x6 << 12)
175f63e7089SHuang Shiyuan#define V_OPCFG (0x7 << 12)
176f63e7089SHuang Shiyuan
177f63e7089SHuang Shiyuan/* NF <= 7 && NF >= 0 */
178f63e7089SHuang Shiyuan#define V_NF(x) (x << 29)
179f63e7089SHuang Shiyuan#define V_UNIT_STRIDE (0x0 << 20)
180f63e7089SHuang Shiyuan#define V_UNIT_STRIDE_WHOLE_REG (0x8 << 20)
181f63e7089SHuang Shiyuan
182f63e7089SHuang Shiyuantypedef enum {
183f63e7089SHuang Shiyuan    VLMUL_M1 = 0, /* LMUL=1 */
184f63e7089SHuang Shiyuan    VLMUL_M2,     /* LMUL=2 */
185f63e7089SHuang Shiyuan    VLMUL_M4,     /* LMUL=4 */
186f63e7089SHuang Shiyuan    VLMUL_M8,     /* LMUL=8 */
187f63e7089SHuang Shiyuan    VLMUL_RESERVED,
188f63e7089SHuang Shiyuan    VLMUL_MF8,    /* LMUL=1/8 */
189f63e7089SHuang Shiyuan    VLMUL_MF4,    /* LMUL=1/4 */
190f63e7089SHuang Shiyuan    VLMUL_MF2,    /* LMUL=1/2 */
191f63e7089SHuang Shiyuan} RISCVVlmul;
192f63e7089SHuang Shiyuan
193139c1837SPaolo Bonzinitypedef enum {
194139c1837SPaolo Bonzini    OPC_ADD = 0x33,
195139c1837SPaolo Bonzini    OPC_ADDI = 0x13,
196139c1837SPaolo Bonzini    OPC_AND = 0x7033,
197139c1837SPaolo Bonzini    OPC_ANDI = 0x7013,
198139c1837SPaolo Bonzini    OPC_AUIPC = 0x17,
199139c1837SPaolo Bonzini    OPC_BEQ = 0x63,
200139c1837SPaolo Bonzini    OPC_BGE = 0x5063,
201139c1837SPaolo Bonzini    OPC_BGEU = 0x7063,
202139c1837SPaolo Bonzini    OPC_BLT = 0x4063,
203139c1837SPaolo Bonzini    OPC_BLTU = 0x6063,
204139c1837SPaolo Bonzini    OPC_BNE = 0x1063,
205139c1837SPaolo Bonzini    OPC_DIV = 0x2004033,
206139c1837SPaolo Bonzini    OPC_DIVU = 0x2005033,
207139c1837SPaolo Bonzini    OPC_JAL = 0x6f,
208139c1837SPaolo Bonzini    OPC_JALR = 0x67,
209139c1837SPaolo Bonzini    OPC_LB = 0x3,
210139c1837SPaolo Bonzini    OPC_LBU = 0x4003,
211139c1837SPaolo Bonzini    OPC_LD = 0x3003,
212139c1837SPaolo Bonzini    OPC_LH = 0x1003,
213139c1837SPaolo Bonzini    OPC_LHU = 0x5003,
214139c1837SPaolo Bonzini    OPC_LUI = 0x37,
215139c1837SPaolo Bonzini    OPC_LW = 0x2003,
216139c1837SPaolo Bonzini    OPC_LWU = 0x6003,
217139c1837SPaolo Bonzini    OPC_MUL = 0x2000033,
218139c1837SPaolo Bonzini    OPC_MULH = 0x2001033,
219139c1837SPaolo Bonzini    OPC_MULHSU = 0x2002033,
220139c1837SPaolo Bonzini    OPC_MULHU = 0x2003033,
221139c1837SPaolo Bonzini    OPC_OR = 0x6033,
222139c1837SPaolo Bonzini    OPC_ORI = 0x6013,
223139c1837SPaolo Bonzini    OPC_REM = 0x2006033,
224139c1837SPaolo Bonzini    OPC_REMU = 0x2007033,
225139c1837SPaolo Bonzini    OPC_SB = 0x23,
226139c1837SPaolo Bonzini    OPC_SD = 0x3023,
227139c1837SPaolo Bonzini    OPC_SH = 0x1023,
228139c1837SPaolo Bonzini    OPC_SLL = 0x1033,
229139c1837SPaolo Bonzini    OPC_SLLI = 0x1013,
230139c1837SPaolo Bonzini    OPC_SLT = 0x2033,
231139c1837SPaolo Bonzini    OPC_SLTI = 0x2013,
232139c1837SPaolo Bonzini    OPC_SLTIU = 0x3013,
233139c1837SPaolo Bonzini    OPC_SLTU = 0x3033,
234139c1837SPaolo Bonzini    OPC_SRA = 0x40005033,
235139c1837SPaolo Bonzini    OPC_SRAI = 0x40005013,
236139c1837SPaolo Bonzini    OPC_SRL = 0x5033,
237139c1837SPaolo Bonzini    OPC_SRLI = 0x5013,
238139c1837SPaolo Bonzini    OPC_SUB = 0x40000033,
239139c1837SPaolo Bonzini    OPC_SW = 0x2023,
240139c1837SPaolo Bonzini    OPC_XOR = 0x4033,
241139c1837SPaolo Bonzini    OPC_XORI = 0x4013,
242139c1837SPaolo Bonzini
243139c1837SPaolo Bonzini    OPC_ADDIW = 0x1b,
244139c1837SPaolo Bonzini    OPC_ADDW = 0x3b,
245139c1837SPaolo Bonzini    OPC_DIVUW = 0x200503b,
246139c1837SPaolo Bonzini    OPC_DIVW = 0x200403b,
247139c1837SPaolo Bonzini    OPC_MULW = 0x200003b,
248139c1837SPaolo Bonzini    OPC_REMUW = 0x200703b,
249139c1837SPaolo Bonzini    OPC_REMW = 0x200603b,
250139c1837SPaolo Bonzini    OPC_SLLIW = 0x101b,
251139c1837SPaolo Bonzini    OPC_SLLW = 0x103b,
252139c1837SPaolo Bonzini    OPC_SRAIW = 0x4000501b,
253139c1837SPaolo Bonzini    OPC_SRAW = 0x4000503b,
254139c1837SPaolo Bonzini    OPC_SRLIW = 0x501b,
255139c1837SPaolo Bonzini    OPC_SRLW = 0x503b,
256139c1837SPaolo Bonzini    OPC_SUBW = 0x4000003b,
257139c1837SPaolo Bonzini
258139c1837SPaolo Bonzini    OPC_FENCE = 0x0000000f,
2599ae958e4SRichard Henderson    OPC_NOP   = OPC_ADDI,   /* nop = addi r0,r0,0 */
2609e3e0bc6SRichard Henderson
2619e3e0bc6SRichard Henderson    /* Zba: Bit manipulation extension, address generation */
2629e3e0bc6SRichard Henderson    OPC_ADD_UW = 0x0800003b,
2639e3e0bc6SRichard Henderson
2644daad8d9SMichael Tokarev    /* Zbb: Bit manipulation extension, basic bit manipulation */
2659e3e0bc6SRichard Henderson    OPC_ANDN   = 0x40007033,
2669e3e0bc6SRichard Henderson    OPC_CLZ    = 0x60001013,
2679e3e0bc6SRichard Henderson    OPC_CLZW   = 0x6000101b,
2689e3e0bc6SRichard Henderson    OPC_CPOP   = 0x60201013,
2699e3e0bc6SRichard Henderson    OPC_CPOPW  = 0x6020101b,
2709e3e0bc6SRichard Henderson    OPC_CTZ    = 0x60101013,
2719e3e0bc6SRichard Henderson    OPC_CTZW   = 0x6010101b,
2729e3e0bc6SRichard Henderson    OPC_ORN    = 0x40006033,
2739e3e0bc6SRichard Henderson    OPC_REV8   = 0x6b805013,
2749e3e0bc6SRichard Henderson    OPC_ROL    = 0x60001033,
2759e3e0bc6SRichard Henderson    OPC_ROLW   = 0x6000103b,
2769e3e0bc6SRichard Henderson    OPC_ROR    = 0x60005033,
2779e3e0bc6SRichard Henderson    OPC_RORW   = 0x6000503b,
2789e3e0bc6SRichard Henderson    OPC_RORI   = 0x60005013,
2799e3e0bc6SRichard Henderson    OPC_RORIW  = 0x6000501b,
2809e3e0bc6SRichard Henderson    OPC_SEXT_B = 0x60401013,
2819e3e0bc6SRichard Henderson    OPC_SEXT_H = 0x60501013,
2829e3e0bc6SRichard Henderson    OPC_XNOR   = 0x40004033,
2839e3e0bc6SRichard Henderson    OPC_ZEXT_H = 0x0800403b,
2849e3e0bc6SRichard Henderson
2859e3e0bc6SRichard Henderson    /* Zicond: integer conditional operations */
2869e3e0bc6SRichard Henderson    OPC_CZERO_EQZ = 0x0e005033,
2879e3e0bc6SRichard Henderson    OPC_CZERO_NEZ = 0x0e007033,
288f63e7089SHuang Shiyuan
289f63e7089SHuang Shiyuan    /* V: Vector extension 1.0 */
290f63e7089SHuang Shiyuan    OPC_VSETVLI  = 0x57 | V_OPCFG,
291f63e7089SHuang Shiyuan    OPC_VSETIVLI = 0xc0000057 | V_OPCFG,
292f63e7089SHuang Shiyuan    OPC_VSETVL   = 0x80000057 | V_OPCFG,
293f63e7089SHuang Shiyuan
294f63e7089SHuang Shiyuan    OPC_VLE8_V  = 0x7 | V_UNIT_STRIDE,
295f63e7089SHuang Shiyuan    OPC_VLE16_V = 0x5007 | V_UNIT_STRIDE,
296f63e7089SHuang Shiyuan    OPC_VLE32_V = 0x6007 | V_UNIT_STRIDE,
297f63e7089SHuang Shiyuan    OPC_VLE64_V = 0x7007 | V_UNIT_STRIDE,
298f63e7089SHuang Shiyuan    OPC_VSE8_V  = 0x27 | V_UNIT_STRIDE,
299f63e7089SHuang Shiyuan    OPC_VSE16_V = 0x5027 | V_UNIT_STRIDE,
300f63e7089SHuang Shiyuan    OPC_VSE32_V = 0x6027 | V_UNIT_STRIDE,
301f63e7089SHuang Shiyuan    OPC_VSE64_V = 0x7027 | V_UNIT_STRIDE,
302f63e7089SHuang Shiyuan
303f63e7089SHuang Shiyuan    OPC_VL1RE64_V = 0x2007007 | V_UNIT_STRIDE_WHOLE_REG | V_NF(0),
304f63e7089SHuang Shiyuan    OPC_VL2RE64_V = 0x2007007 | V_UNIT_STRIDE_WHOLE_REG | V_NF(1),
305f63e7089SHuang Shiyuan    OPC_VL4RE64_V = 0x2007007 | V_UNIT_STRIDE_WHOLE_REG | V_NF(3),
306f63e7089SHuang Shiyuan    OPC_VL8RE64_V = 0x2007007 | V_UNIT_STRIDE_WHOLE_REG | V_NF(7),
307f63e7089SHuang Shiyuan
308f63e7089SHuang Shiyuan    OPC_VS1R_V = 0x2000027 | V_UNIT_STRIDE_WHOLE_REG | V_NF(0),
309f63e7089SHuang Shiyuan    OPC_VS2R_V = 0x2000027 | V_UNIT_STRIDE_WHOLE_REG | V_NF(1),
310f63e7089SHuang Shiyuan    OPC_VS4R_V = 0x2000027 | V_UNIT_STRIDE_WHOLE_REG | V_NF(3),
311f63e7089SHuang Shiyuan    OPC_VS8R_V = 0x2000027 | V_UNIT_STRIDE_WHOLE_REG | V_NF(7),
312*d4be6ee1STANG Tiancheng
313*d4be6ee1STANG Tiancheng    OPC_VMV_V_V = 0x5e000057 | V_OPIVV,
314*d4be6ee1STANG Tiancheng    OPC_VMV_V_I = 0x5e000057 | V_OPIVI,
315*d4be6ee1STANG Tiancheng    OPC_VMV_V_X = 0x5e000057 | V_OPIVX,
316*d4be6ee1STANG Tiancheng
317*d4be6ee1STANG Tiancheng    OPC_VMVNR_V = 0x9e000057 | V_OPIVI,
318139c1837SPaolo Bonzini} RISCVInsn;
319139c1837SPaolo Bonzini
320139c1837SPaolo Bonzini/*
321139c1837SPaolo Bonzini * RISC-V immediate and instruction encoders (excludes 16-bit RVC)
322139c1837SPaolo Bonzini */
323139c1837SPaolo Bonzini
324139c1837SPaolo Bonzini/* Type-R */
325139c1837SPaolo Bonzini
326139c1837SPaolo Bonzinistatic int32_t encode_r(RISCVInsn opc, TCGReg rd, TCGReg rs1, TCGReg rs2)
327139c1837SPaolo Bonzini{
328139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20;
329139c1837SPaolo Bonzini}
330139c1837SPaolo Bonzini
331139c1837SPaolo Bonzini/* Type-I */
332139c1837SPaolo Bonzini
333139c1837SPaolo Bonzinistatic int32_t encode_imm12(uint32_t imm)
334139c1837SPaolo Bonzini{
335139c1837SPaolo Bonzini    return (imm & 0xfff) << 20;
336139c1837SPaolo Bonzini}
337139c1837SPaolo Bonzini
338139c1837SPaolo Bonzinistatic int32_t encode_i(RISCVInsn opc, TCGReg rd, TCGReg rs1, uint32_t imm)
339139c1837SPaolo Bonzini{
340139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | encode_imm12(imm);
341139c1837SPaolo Bonzini}
342139c1837SPaolo Bonzini
343139c1837SPaolo Bonzini/* Type-S */
344139c1837SPaolo Bonzini
345139c1837SPaolo Bonzinistatic int32_t encode_simm12(uint32_t imm)
346139c1837SPaolo Bonzini{
347139c1837SPaolo Bonzini    int32_t ret = 0;
348139c1837SPaolo Bonzini
349139c1837SPaolo Bonzini    ret |= (imm & 0xFE0) << 20;
350139c1837SPaolo Bonzini    ret |= (imm & 0x1F) << 7;
351139c1837SPaolo Bonzini
352139c1837SPaolo Bonzini    return ret;
353139c1837SPaolo Bonzini}
354139c1837SPaolo Bonzini
355139c1837SPaolo Bonzinistatic int32_t encode_s(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
356139c1837SPaolo Bonzini{
357139c1837SPaolo Bonzini    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_simm12(imm);
358139c1837SPaolo Bonzini}
359139c1837SPaolo Bonzini
360139c1837SPaolo Bonzini/* Type-SB */
361139c1837SPaolo Bonzini
362139c1837SPaolo Bonzinistatic int32_t encode_sbimm12(uint32_t imm)
363139c1837SPaolo Bonzini{
364139c1837SPaolo Bonzini    int32_t ret = 0;
365139c1837SPaolo Bonzini
366139c1837SPaolo Bonzini    ret |= (imm & 0x1000) << 19;
367139c1837SPaolo Bonzini    ret |= (imm & 0x7e0) << 20;
368139c1837SPaolo Bonzini    ret |= (imm & 0x1e) << 7;
369139c1837SPaolo Bonzini    ret |= (imm & 0x800) >> 4;
370139c1837SPaolo Bonzini
371139c1837SPaolo Bonzini    return ret;
372139c1837SPaolo Bonzini}
373139c1837SPaolo Bonzini
374139c1837SPaolo Bonzinistatic int32_t encode_sb(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
375139c1837SPaolo Bonzini{
376139c1837SPaolo Bonzini    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_sbimm12(imm);
377139c1837SPaolo Bonzini}
378139c1837SPaolo Bonzini
379139c1837SPaolo Bonzini/* Type-U */
380139c1837SPaolo Bonzini
381139c1837SPaolo Bonzinistatic int32_t encode_uimm20(uint32_t imm)
382139c1837SPaolo Bonzini{
383139c1837SPaolo Bonzini    return imm & 0xfffff000;
384139c1837SPaolo Bonzini}
385139c1837SPaolo Bonzini
386139c1837SPaolo Bonzinistatic int32_t encode_u(RISCVInsn opc, TCGReg rd, uint32_t imm)
387139c1837SPaolo Bonzini{
388139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | encode_uimm20(imm);
389139c1837SPaolo Bonzini}
390139c1837SPaolo Bonzini
391139c1837SPaolo Bonzini/* Type-UJ */
392139c1837SPaolo Bonzini
393139c1837SPaolo Bonzinistatic int32_t encode_ujimm20(uint32_t imm)
394139c1837SPaolo Bonzini{
395139c1837SPaolo Bonzini    int32_t ret = 0;
396139c1837SPaolo Bonzini
397139c1837SPaolo Bonzini    ret |= (imm & 0x0007fe) << (21 - 1);
398139c1837SPaolo Bonzini    ret |= (imm & 0x000800) << (20 - 11);
399139c1837SPaolo Bonzini    ret |= (imm & 0x0ff000) << (12 - 12);
400139c1837SPaolo Bonzini    ret |= (imm & 0x100000) << (31 - 20);
401139c1837SPaolo Bonzini
402139c1837SPaolo Bonzini    return ret;
403139c1837SPaolo Bonzini}
404139c1837SPaolo Bonzini
405139c1837SPaolo Bonzinistatic int32_t encode_uj(RISCVInsn opc, TCGReg rd, uint32_t imm)
406139c1837SPaolo Bonzini{
407139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | encode_ujimm20(imm);
408139c1837SPaolo Bonzini}
409139c1837SPaolo Bonzini
410*d4be6ee1STANG Tiancheng
411*d4be6ee1STANG Tiancheng/* Type-OPIVI */
412*d4be6ee1STANG Tiancheng
413*d4be6ee1STANG Tianchengstatic int32_t encode_vi(RISCVInsn opc, TCGReg rd, int32_t imm,
414*d4be6ee1STANG Tiancheng                         TCGReg vs2, bool vm)
415*d4be6ee1STANG Tiancheng{
416*d4be6ee1STANG Tiancheng    return opc | (rd & 0x1f) << 7 | (imm & 0x1f) << 15 |
417*d4be6ee1STANG Tiancheng           (vs2 & 0x1f) << 20 | (vm << 25);
418*d4be6ee1STANG Tiancheng}
419*d4be6ee1STANG Tiancheng
420f63e7089SHuang Shiyuan/* Type-OPIVV/OPMVV/OPIVX/OPMVX, Vector load and store */
421f63e7089SHuang Shiyuan
422f63e7089SHuang Shiyuanstatic int32_t encode_v(RISCVInsn opc, TCGReg d, TCGReg s1,
423f63e7089SHuang Shiyuan                        TCGReg s2, bool vm)
424f63e7089SHuang Shiyuan{
425f63e7089SHuang Shiyuan    return opc | (d & 0x1f) << 7 | (s1 & 0x1f) << 15 |
426f63e7089SHuang Shiyuan           (s2 & 0x1f) << 20 | (vm << 25);
427f63e7089SHuang Shiyuan}
428f63e7089SHuang Shiyuan
429f63e7089SHuang Shiyuan/* Vector vtype */
430f63e7089SHuang Shiyuan
431f63e7089SHuang Shiyuanstatic uint32_t encode_vtype(bool vta, bool vma,
432f63e7089SHuang Shiyuan                            MemOp vsew, RISCVVlmul vlmul)
433f63e7089SHuang Shiyuan{
434f63e7089SHuang Shiyuan    return vma << 7 | vta << 6 | vsew << 3 | vlmul;
435f63e7089SHuang Shiyuan}
436f63e7089SHuang Shiyuan
437f63e7089SHuang Shiyuanstatic int32_t encode_vset(RISCVInsn opc, TCGReg rd,
438f63e7089SHuang Shiyuan                           TCGArg rs1, uint32_t vtype)
439f63e7089SHuang Shiyuan{
440f63e7089SHuang Shiyuan    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | (vtype & 0x7ff) << 20;
441f63e7089SHuang Shiyuan}
442f63e7089SHuang Shiyuan
443f63e7089SHuang Shiyuanstatic int32_t encode_vseti(RISCVInsn opc, TCGReg rd,
444f63e7089SHuang Shiyuan                            uint32_t uimm, uint32_t vtype)
445f63e7089SHuang Shiyuan{
446f63e7089SHuang Shiyuan    return opc | (rd & 0x1f) << 7 | (uimm & 0x1f) << 15 | (vtype & 0x3ff) << 20;
447f63e7089SHuang Shiyuan}
448f63e7089SHuang Shiyuan
449139c1837SPaolo Bonzini/*
450139c1837SPaolo Bonzini * RISC-V instruction emitters
451139c1837SPaolo Bonzini */
452139c1837SPaolo Bonzini
453139c1837SPaolo Bonzinistatic void tcg_out_opc_reg(TCGContext *s, RISCVInsn opc,
454139c1837SPaolo Bonzini                            TCGReg rd, TCGReg rs1, TCGReg rs2)
455139c1837SPaolo Bonzini{
456139c1837SPaolo Bonzini    tcg_out32(s, encode_r(opc, rd, rs1, rs2));
457139c1837SPaolo Bonzini}
458139c1837SPaolo Bonzini
459139c1837SPaolo Bonzinistatic void tcg_out_opc_imm(TCGContext *s, RISCVInsn opc,
460139c1837SPaolo Bonzini                            TCGReg rd, TCGReg rs1, TCGArg imm)
461139c1837SPaolo Bonzini{
462139c1837SPaolo Bonzini    tcg_out32(s, encode_i(opc, rd, rs1, imm));
463139c1837SPaolo Bonzini}
464139c1837SPaolo Bonzini
465139c1837SPaolo Bonzinistatic void tcg_out_opc_store(TCGContext *s, RISCVInsn opc,
466139c1837SPaolo Bonzini                              TCGReg rs1, TCGReg rs2, uint32_t imm)
467139c1837SPaolo Bonzini{
468139c1837SPaolo Bonzini    tcg_out32(s, encode_s(opc, rs1, rs2, imm));
469139c1837SPaolo Bonzini}
470139c1837SPaolo Bonzini
471139c1837SPaolo Bonzinistatic void tcg_out_opc_branch(TCGContext *s, RISCVInsn opc,
472139c1837SPaolo Bonzini                               TCGReg rs1, TCGReg rs2, uint32_t imm)
473139c1837SPaolo Bonzini{
474139c1837SPaolo Bonzini    tcg_out32(s, encode_sb(opc, rs1, rs2, imm));
475139c1837SPaolo Bonzini}
476139c1837SPaolo Bonzini
477139c1837SPaolo Bonzinistatic void tcg_out_opc_upper(TCGContext *s, RISCVInsn opc,
478139c1837SPaolo Bonzini                              TCGReg rd, uint32_t imm)
479139c1837SPaolo Bonzini{
480139c1837SPaolo Bonzini    tcg_out32(s, encode_u(opc, rd, imm));
481139c1837SPaolo Bonzini}
482139c1837SPaolo Bonzini
483139c1837SPaolo Bonzinistatic void tcg_out_opc_jump(TCGContext *s, RISCVInsn opc,
484139c1837SPaolo Bonzini                             TCGReg rd, uint32_t imm)
485139c1837SPaolo Bonzini{
486139c1837SPaolo Bonzini    tcg_out32(s, encode_uj(opc, rd, imm));
487139c1837SPaolo Bonzini}
488139c1837SPaolo Bonzini
489139c1837SPaolo Bonzinistatic void tcg_out_nop_fill(tcg_insn_unit *p, int count)
490139c1837SPaolo Bonzini{
491139c1837SPaolo Bonzini    int i;
492139c1837SPaolo Bonzini    for (i = 0; i < count; ++i) {
4939ae958e4SRichard Henderson        p[i] = OPC_NOP;
494139c1837SPaolo Bonzini    }
495139c1837SPaolo Bonzini}
496139c1837SPaolo Bonzini
497139c1837SPaolo Bonzini/*
498139c1837SPaolo Bonzini * Relocations
499139c1837SPaolo Bonzini */
500139c1837SPaolo Bonzini
501793f7381SRichard Hendersonstatic bool reloc_sbimm12(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
502139c1837SPaolo Bonzini{
503793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
504793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
505139c1837SPaolo Bonzini
506844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
507844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 12)) {
508793f7381SRichard Henderson        *src_rw |= encode_sbimm12(offset);
509139c1837SPaolo Bonzini        return true;
510139c1837SPaolo Bonzini    }
511139c1837SPaolo Bonzini
512139c1837SPaolo Bonzini    return false;
513139c1837SPaolo Bonzini}
514139c1837SPaolo Bonzini
515793f7381SRichard Hendersonstatic bool reloc_jimm20(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
516139c1837SPaolo Bonzini{
517793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
518793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
519139c1837SPaolo Bonzini
520844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
521844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
522793f7381SRichard Henderson        *src_rw |= encode_ujimm20(offset);
523139c1837SPaolo Bonzini        return true;
524139c1837SPaolo Bonzini    }
525139c1837SPaolo Bonzini
526139c1837SPaolo Bonzini    return false;
527139c1837SPaolo Bonzini}
528139c1837SPaolo Bonzini
529793f7381SRichard Hendersonstatic bool reloc_call(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
530139c1837SPaolo Bonzini{
531793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
532793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
533139c1837SPaolo Bonzini    int32_t lo = sextreg(offset, 0, 12);
534139c1837SPaolo Bonzini    int32_t hi = offset - lo;
535139c1837SPaolo Bonzini
536139c1837SPaolo Bonzini    if (offset == hi + lo) {
537793f7381SRichard Henderson        src_rw[0] |= encode_uimm20(hi);
538793f7381SRichard Henderson        src_rw[1] |= encode_imm12(lo);
539139c1837SPaolo Bonzini        return true;
540139c1837SPaolo Bonzini    }
541139c1837SPaolo Bonzini
542139c1837SPaolo Bonzini    return false;
543139c1837SPaolo Bonzini}
544139c1837SPaolo Bonzini
545139c1837SPaolo Bonzinistatic bool patch_reloc(tcg_insn_unit *code_ptr, int type,
546139c1837SPaolo Bonzini                        intptr_t value, intptr_t addend)
547139c1837SPaolo Bonzini{
548139c1837SPaolo Bonzini    tcg_debug_assert(addend == 0);
549139c1837SPaolo Bonzini    switch (type) {
550139c1837SPaolo Bonzini    case R_RISCV_BRANCH:
551139c1837SPaolo Bonzini        return reloc_sbimm12(code_ptr, (tcg_insn_unit *)value);
552139c1837SPaolo Bonzini    case R_RISCV_JAL:
553139c1837SPaolo Bonzini        return reloc_jimm20(code_ptr, (tcg_insn_unit *)value);
554139c1837SPaolo Bonzini    case R_RISCV_CALL:
555139c1837SPaolo Bonzini        return reloc_call(code_ptr, (tcg_insn_unit *)value);
556139c1837SPaolo Bonzini    default:
5574b6a52d0SRichard Henderson        g_assert_not_reached();
558139c1837SPaolo Bonzini    }
559139c1837SPaolo Bonzini}
560139c1837SPaolo Bonzini
561139c1837SPaolo Bonzini/*
562f63e7089SHuang Shiyuan * RISC-V vector instruction emitters
563f63e7089SHuang Shiyuan */
564f63e7089SHuang Shiyuan
565*d4be6ee1STANG Tiancheng/*
566*d4be6ee1STANG Tiancheng * Vector registers uses the same 5 lower bits as GPR registers,
567*d4be6ee1STANG Tiancheng * and vm=0 (vm = false) means vector masking ENABLED.
568*d4be6ee1STANG Tiancheng * With RVV 1.0, vs2 is the first operand, while rs1/imm is the
569*d4be6ee1STANG Tiancheng * second operand.
570*d4be6ee1STANG Tiancheng */
571*d4be6ee1STANG Tianchengstatic void tcg_out_opc_vx(TCGContext *s, RISCVInsn opc,
572*d4be6ee1STANG Tiancheng                           TCGReg vd, TCGReg vs2, TCGReg rs1)
573*d4be6ee1STANG Tiancheng{
574*d4be6ee1STANG Tiancheng    tcg_out32(s, encode_v(opc, vd, rs1, vs2, true));
575*d4be6ee1STANG Tiancheng}
576*d4be6ee1STANG Tiancheng
577*d4be6ee1STANG Tianchengstatic void tcg_out_opc_vi(TCGContext *s, RISCVInsn opc,
578*d4be6ee1STANG Tiancheng                           TCGReg vd, TCGReg vs2, int32_t imm)
579*d4be6ee1STANG Tiancheng{
580*d4be6ee1STANG Tiancheng    tcg_out32(s, encode_vi(opc, vd, imm, vs2, true));
581*d4be6ee1STANG Tiancheng}
582*d4be6ee1STANG Tiancheng
583f63e7089SHuang Shiyuantypedef struct VsetCache {
584f63e7089SHuang Shiyuan    uint32_t movi_insn;
585f63e7089SHuang Shiyuan    uint32_t vset_insn;
586f63e7089SHuang Shiyuan} VsetCache;
587f63e7089SHuang Shiyuan
588f63e7089SHuang Shiyuanstatic VsetCache riscv_vset_cache[3][4];
589f63e7089SHuang Shiyuan
590f63e7089SHuang Shiyuanstatic void set_vtype(TCGContext *s, TCGType type, MemOp vsew)
591f63e7089SHuang Shiyuan{
592f63e7089SHuang Shiyuan    const VsetCache *p = &riscv_vset_cache[type - TCG_TYPE_V64][vsew];
593f63e7089SHuang Shiyuan
594f63e7089SHuang Shiyuan    s->riscv_cur_type = type;
595f63e7089SHuang Shiyuan    s->riscv_cur_vsew = vsew;
596f63e7089SHuang Shiyuan
597f63e7089SHuang Shiyuan    if (p->movi_insn) {
598f63e7089SHuang Shiyuan        tcg_out32(s, p->movi_insn);
599f63e7089SHuang Shiyuan    }
600f63e7089SHuang Shiyuan    tcg_out32(s, p->vset_insn);
601f63e7089SHuang Shiyuan}
602f63e7089SHuang Shiyuan
603f63e7089SHuang Shiyuanstatic MemOp set_vtype_len(TCGContext *s, TCGType type)
604f63e7089SHuang Shiyuan{
605f63e7089SHuang Shiyuan    if (type != s->riscv_cur_type) {
606f63e7089SHuang Shiyuan        set_vtype(s, type, MO_64);
607f63e7089SHuang Shiyuan    }
608f63e7089SHuang Shiyuan    return s->riscv_cur_vsew;
609f63e7089SHuang Shiyuan}
610f63e7089SHuang Shiyuan
611*d4be6ee1STANG Tianchengstatic void set_vtype_len_sew(TCGContext *s, TCGType type, MemOp vsew)
612*d4be6ee1STANG Tiancheng{
613*d4be6ee1STANG Tiancheng    if (type != s->riscv_cur_type || vsew != s->riscv_cur_vsew) {
614*d4be6ee1STANG Tiancheng        set_vtype(s, type, vsew);
615*d4be6ee1STANG Tiancheng    }
616*d4be6ee1STANG Tiancheng}
617*d4be6ee1STANG Tiancheng
618f63e7089SHuang Shiyuan/*
619139c1837SPaolo Bonzini * TCG intrinsics
620139c1837SPaolo Bonzini */
621139c1837SPaolo Bonzini
622139c1837SPaolo Bonzinistatic bool tcg_out_mov(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
623139c1837SPaolo Bonzini{
624139c1837SPaolo Bonzini    if (ret == arg) {
625139c1837SPaolo Bonzini        return true;
626139c1837SPaolo Bonzini    }
627139c1837SPaolo Bonzini    switch (type) {
628139c1837SPaolo Bonzini    case TCG_TYPE_I32:
629139c1837SPaolo Bonzini    case TCG_TYPE_I64:
630139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, ret, arg, 0);
631139c1837SPaolo Bonzini        break;
632*d4be6ee1STANG Tiancheng    case TCG_TYPE_V64:
633*d4be6ee1STANG Tiancheng    case TCG_TYPE_V128:
634*d4be6ee1STANG Tiancheng    case TCG_TYPE_V256:
635*d4be6ee1STANG Tiancheng        {
636*d4be6ee1STANG Tiancheng            int lmul = type - riscv_lg2_vlenb;
637*d4be6ee1STANG Tiancheng            int nf = 1 << MAX(lmul, 0);
638*d4be6ee1STANG Tiancheng            tcg_out_opc_vi(s, OPC_VMVNR_V, ret, arg, nf - 1);
639*d4be6ee1STANG Tiancheng        }
640*d4be6ee1STANG Tiancheng        break;
641139c1837SPaolo Bonzini    default:
642139c1837SPaolo Bonzini        g_assert_not_reached();
643139c1837SPaolo Bonzini    }
644139c1837SPaolo Bonzini    return true;
645139c1837SPaolo Bonzini}
646139c1837SPaolo Bonzini
647139c1837SPaolo Bonzinistatic void tcg_out_movi(TCGContext *s, TCGType type, TCGReg rd,
648139c1837SPaolo Bonzini                         tcg_target_long val)
649139c1837SPaolo Bonzini{
650139c1837SPaolo Bonzini    tcg_target_long lo, hi, tmp;
651139c1837SPaolo Bonzini    int shift, ret;
652139c1837SPaolo Bonzini
653aeb6326eSRichard Henderson    if (type == TCG_TYPE_I32) {
654139c1837SPaolo Bonzini        val = (int32_t)val;
655139c1837SPaolo Bonzini    }
656139c1837SPaolo Bonzini
657139c1837SPaolo Bonzini    lo = sextreg(val, 0, 12);
658139c1837SPaolo Bonzini    if (val == lo) {
659139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, lo);
660139c1837SPaolo Bonzini        return;
661139c1837SPaolo Bonzini    }
662139c1837SPaolo Bonzini
663139c1837SPaolo Bonzini    hi = val - lo;
664aeb6326eSRichard Henderson    if (val == (int32_t)val) {
665139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, hi);
666139c1837SPaolo Bonzini        if (lo != 0) {
667139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, rd, rd, lo);
668139c1837SPaolo Bonzini        }
669139c1837SPaolo Bonzini        return;
670139c1837SPaolo Bonzini    }
671139c1837SPaolo Bonzini
672139c1837SPaolo Bonzini    tmp = tcg_pcrel_diff(s, (void *)val);
673139c1837SPaolo Bonzini    if (tmp == (int32_t)tmp) {
674139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
675139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, rd, 0);
676793f7381SRichard Henderson        ret = reloc_call(s->code_ptr - 2, (const tcg_insn_unit *)val);
677139c1837SPaolo Bonzini        tcg_debug_assert(ret == true);
678139c1837SPaolo Bonzini        return;
679139c1837SPaolo Bonzini    }
680139c1837SPaolo Bonzini
681139c1837SPaolo Bonzini    /* Look for a single 20-bit section.  */
682139c1837SPaolo Bonzini    shift = ctz64(val);
683139c1837SPaolo Bonzini    tmp = val >> shift;
684139c1837SPaolo Bonzini    if (tmp == sextreg(tmp, 0, 20)) {
685139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, tmp << 12);
686139c1837SPaolo Bonzini        if (shift > 12) {
687139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLLI, rd, rd, shift - 12);
688139c1837SPaolo Bonzini        } else {
689139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SRAI, rd, rd, 12 - shift);
690139c1837SPaolo Bonzini        }
691139c1837SPaolo Bonzini        return;
692139c1837SPaolo Bonzini    }
693139c1837SPaolo Bonzini
694139c1837SPaolo Bonzini    /* Look for a few high zero bits, with lots of bits set in the middle.  */
695139c1837SPaolo Bonzini    shift = clz64(val);
696139c1837SPaolo Bonzini    tmp = val << shift;
697139c1837SPaolo Bonzini    if (tmp == sextreg(tmp, 12, 20) << 12) {
698139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, tmp);
699139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
700139c1837SPaolo Bonzini        return;
701139c1837SPaolo Bonzini    } else if (tmp == sextreg(tmp, 0, 12)) {
702139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, tmp);
703139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
704139c1837SPaolo Bonzini        return;
705139c1837SPaolo Bonzini    }
706139c1837SPaolo Bonzini
707139c1837SPaolo Bonzini    /* Drop into the constant pool.  */
708139c1837SPaolo Bonzini    new_pool_label(s, val, R_RISCV_CALL, s->code_ptr, 0);
709139c1837SPaolo Bonzini    tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
710139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_LD, rd, rd, 0);
711139c1837SPaolo Bonzini}
712139c1837SPaolo Bonzini
713767c2503SRichard Hendersonstatic bool tcg_out_xchg(TCGContext *s, TCGType type, TCGReg r1, TCGReg r2)
714767c2503SRichard Henderson{
715767c2503SRichard Henderson    return false;
716767c2503SRichard Henderson}
717767c2503SRichard Henderson
7186a6d772eSRichard Hendersonstatic void tcg_out_addi_ptr(TCGContext *s, TCGReg rd, TCGReg rs,
7196a6d772eSRichard Henderson                             tcg_target_long imm)
7206a6d772eSRichard Henderson{
7216a6d772eSRichard Henderson    /* This function is only used for passing structs by reference. */
7226a6d772eSRichard Henderson    g_assert_not_reached();
7236a6d772eSRichard Henderson}
7246a6d772eSRichard Henderson
725139c1837SPaolo Bonzinistatic void tcg_out_ext8u(TCGContext *s, TCGReg ret, TCGReg arg)
726139c1837SPaolo Bonzini{
727139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ANDI, ret, arg, 0xff);
728139c1837SPaolo Bonzini}
729139c1837SPaolo Bonzini
730139c1837SPaolo Bonzinistatic void tcg_out_ext16u(TCGContext *s, TCGReg ret, TCGReg arg)
731139c1837SPaolo Bonzini{
732b86c6ba6SRichard Henderson    if (cpuinfo & CPUINFO_ZBB) {
733d1c3f4e9SRichard Henderson        tcg_out_opc_reg(s, OPC_ZEXT_H, ret, arg, TCG_REG_ZERO);
734d1c3f4e9SRichard Henderson    } else {
735139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
736139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLIW, ret, ret, 16);
737139c1837SPaolo Bonzini    }
738d1c3f4e9SRichard Henderson}
739139c1837SPaolo Bonzini
740139c1837SPaolo Bonzinistatic void tcg_out_ext32u(TCGContext *s, TCGReg ret, TCGReg arg)
741139c1837SPaolo Bonzini{
742b86c6ba6SRichard Henderson    if (cpuinfo & CPUINFO_ZBA) {
743d1c3f4e9SRichard Henderson        tcg_out_opc_reg(s, OPC_ADD_UW, ret, arg, TCG_REG_ZERO);
744d1c3f4e9SRichard Henderson    } else {
745139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SLLI, ret, arg, 32);
746139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, ret, ret, 32);
747139c1837SPaolo Bonzini    }
748d1c3f4e9SRichard Henderson}
749139c1837SPaolo Bonzini
750678155b2SRichard Hendersonstatic void tcg_out_ext8s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
751139c1837SPaolo Bonzini{
752b86c6ba6SRichard Henderson    if (cpuinfo & CPUINFO_ZBB) {
753d1c3f4e9SRichard Henderson        tcg_out_opc_imm(s, OPC_SEXT_B, ret, arg, 0);
754d1c3f4e9SRichard Henderson    } else {
755139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 24);
756139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 24);
757139c1837SPaolo Bonzini    }
758d1c3f4e9SRichard Henderson}
759139c1837SPaolo Bonzini
760753e42eaSRichard Hendersonstatic void tcg_out_ext16s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
761139c1837SPaolo Bonzini{
762b86c6ba6SRichard Henderson    if (cpuinfo & CPUINFO_ZBB) {
763d1c3f4e9SRichard Henderson        tcg_out_opc_imm(s, OPC_SEXT_H, ret, arg, 0);
764d1c3f4e9SRichard Henderson    } else {
765139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
766139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 16);
767139c1837SPaolo Bonzini    }
768d1c3f4e9SRichard Henderson}
769139c1837SPaolo Bonzini
770139c1837SPaolo Bonzinistatic void tcg_out_ext32s(TCGContext *s, TCGReg ret, TCGReg arg)
771139c1837SPaolo Bonzini{
772139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDIW, ret, arg, 0);
773139c1837SPaolo Bonzini}
774139c1837SPaolo Bonzini
7759c6aa274SRichard Hendersonstatic void tcg_out_exts_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg)
7769c6aa274SRichard Henderson{
7773ea9be33SRichard Henderson    if (ret != arg) {
7789c6aa274SRichard Henderson        tcg_out_ext32s(s, ret, arg);
7799c6aa274SRichard Henderson    }
7803ea9be33SRichard Henderson}
7819c6aa274SRichard Henderson
782b9bfe000SRichard Hendersonstatic void tcg_out_extu_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg)
783b9bfe000SRichard Henderson{
784b9bfe000SRichard Henderson    tcg_out_ext32u(s, ret, arg);
785b9bfe000SRichard Henderson}
786b9bfe000SRichard Henderson
787b8b94ac6SRichard Hendersonstatic void tcg_out_extrl_i64_i32(TCGContext *s, TCGReg ret, TCGReg arg)
788b8b94ac6SRichard Henderson{
789b8b94ac6SRichard Henderson    tcg_out_ext32s(s, ret, arg);
790b8b94ac6SRichard Henderson}
791b8b94ac6SRichard Henderson
792139c1837SPaolo Bonzinistatic void tcg_out_ldst(TCGContext *s, RISCVInsn opc, TCGReg data,
793139c1837SPaolo Bonzini                         TCGReg addr, intptr_t offset)
794139c1837SPaolo Bonzini{
795139c1837SPaolo Bonzini    intptr_t imm12 = sextreg(offset, 0, 12);
796139c1837SPaolo Bonzini
797139c1837SPaolo Bonzini    if (offset != imm12) {
7989d9db413SRichard Henderson        intptr_t diff = tcg_pcrel_diff(s, (void *)offset);
799139c1837SPaolo Bonzini
800139c1837SPaolo Bonzini        if (addr == TCG_REG_ZERO && diff == (int32_t)diff) {
801139c1837SPaolo Bonzini            imm12 = sextreg(diff, 0, 12);
802139c1837SPaolo Bonzini            tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP2, diff - imm12);
803139c1837SPaolo Bonzini        } else {
804139c1837SPaolo Bonzini            tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP2, offset - imm12);
805139c1837SPaolo Bonzini            if (addr != TCG_REG_ZERO) {
806139c1837SPaolo Bonzini                tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, addr);
807139c1837SPaolo Bonzini            }
808139c1837SPaolo Bonzini        }
809139c1837SPaolo Bonzini        addr = TCG_REG_TMP2;
810139c1837SPaolo Bonzini    }
811139c1837SPaolo Bonzini
812139c1837SPaolo Bonzini    switch (opc) {
813139c1837SPaolo Bonzini    case OPC_SB:
814139c1837SPaolo Bonzini    case OPC_SH:
815139c1837SPaolo Bonzini    case OPC_SW:
816139c1837SPaolo Bonzini    case OPC_SD:
817139c1837SPaolo Bonzini        tcg_out_opc_store(s, opc, addr, data, imm12);
818139c1837SPaolo Bonzini        break;
819139c1837SPaolo Bonzini    case OPC_LB:
820139c1837SPaolo Bonzini    case OPC_LBU:
821139c1837SPaolo Bonzini    case OPC_LH:
822139c1837SPaolo Bonzini    case OPC_LHU:
823139c1837SPaolo Bonzini    case OPC_LW:
824139c1837SPaolo Bonzini    case OPC_LWU:
825139c1837SPaolo Bonzini    case OPC_LD:
826139c1837SPaolo Bonzini        tcg_out_opc_imm(s, opc, data, addr, imm12);
827139c1837SPaolo Bonzini        break;
828139c1837SPaolo Bonzini    default:
829139c1837SPaolo Bonzini        g_assert_not_reached();
830139c1837SPaolo Bonzini    }
831139c1837SPaolo Bonzini}
832139c1837SPaolo Bonzini
833f63e7089SHuang Shiyuanstatic void tcg_out_vec_ldst(TCGContext *s, RISCVInsn opc, TCGReg data,
834f63e7089SHuang Shiyuan                             TCGReg addr, intptr_t offset)
835f63e7089SHuang Shiyuan{
836f63e7089SHuang Shiyuan    tcg_debug_assert(data >= TCG_REG_V0);
837f63e7089SHuang Shiyuan    tcg_debug_assert(addr < TCG_REG_V0);
838f63e7089SHuang Shiyuan
839f63e7089SHuang Shiyuan    if (offset) {
840f63e7089SHuang Shiyuan        tcg_debug_assert(addr != TCG_REG_ZERO);
841f63e7089SHuang Shiyuan        if (offset == sextreg(offset, 0, 12)) {
842f63e7089SHuang Shiyuan            tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_TMP0, addr, offset);
843f63e7089SHuang Shiyuan        } else {
844f63e7089SHuang Shiyuan            tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP0, offset);
845f63e7089SHuang Shiyuan            tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, TCG_REG_TMP0, addr);
846f63e7089SHuang Shiyuan        }
847f63e7089SHuang Shiyuan        addr = TCG_REG_TMP0;
848f63e7089SHuang Shiyuan    }
849f63e7089SHuang Shiyuan    tcg_out32(s, encode_v(opc, data, addr, 0, true));
850f63e7089SHuang Shiyuan}
851f63e7089SHuang Shiyuan
852139c1837SPaolo Bonzinistatic void tcg_out_ld(TCGContext *s, TCGType type, TCGReg arg,
853139c1837SPaolo Bonzini                       TCGReg arg1, intptr_t arg2)
854139c1837SPaolo Bonzini{
855f63e7089SHuang Shiyuan    RISCVInsn insn;
856f63e7089SHuang Shiyuan
857f63e7089SHuang Shiyuan    switch (type) {
858f63e7089SHuang Shiyuan    case TCG_TYPE_I32:
859f63e7089SHuang Shiyuan        tcg_out_ldst(s, OPC_LW, arg, arg1, arg2);
860f63e7089SHuang Shiyuan        break;
861f63e7089SHuang Shiyuan    case TCG_TYPE_I64:
862f63e7089SHuang Shiyuan        tcg_out_ldst(s, OPC_LD, arg, arg1, arg2);
863f63e7089SHuang Shiyuan        break;
864f63e7089SHuang Shiyuan    case TCG_TYPE_V64:
865f63e7089SHuang Shiyuan    case TCG_TYPE_V128:
866f63e7089SHuang Shiyuan    case TCG_TYPE_V256:
867f63e7089SHuang Shiyuan        if (type >= riscv_lg2_vlenb) {
868f63e7089SHuang Shiyuan            static const RISCVInsn whole_reg_ld[] = {
869f63e7089SHuang Shiyuan                OPC_VL1RE64_V, OPC_VL2RE64_V, OPC_VL4RE64_V, OPC_VL8RE64_V
870f63e7089SHuang Shiyuan            };
871f63e7089SHuang Shiyuan            unsigned idx = type - riscv_lg2_vlenb;
872f63e7089SHuang Shiyuan
873f63e7089SHuang Shiyuan            tcg_debug_assert(idx < ARRAY_SIZE(whole_reg_ld));
874f63e7089SHuang Shiyuan            insn = whole_reg_ld[idx];
875f63e7089SHuang Shiyuan        } else {
876f63e7089SHuang Shiyuan            static const RISCVInsn unit_stride_ld[] = {
877f63e7089SHuang Shiyuan                OPC_VLE8_V, OPC_VLE16_V, OPC_VLE32_V, OPC_VLE64_V
878f63e7089SHuang Shiyuan            };
879f63e7089SHuang Shiyuan            MemOp prev_vsew = set_vtype_len(s, type);
880f63e7089SHuang Shiyuan
881f63e7089SHuang Shiyuan            tcg_debug_assert(prev_vsew < ARRAY_SIZE(unit_stride_ld));
882f63e7089SHuang Shiyuan            insn = unit_stride_ld[prev_vsew];
883f63e7089SHuang Shiyuan        }
884f63e7089SHuang Shiyuan        tcg_out_vec_ldst(s, insn, arg, arg1, arg2);
885f63e7089SHuang Shiyuan        break;
886f63e7089SHuang Shiyuan    default:
887f63e7089SHuang Shiyuan        g_assert_not_reached();
888f63e7089SHuang Shiyuan    }
889139c1837SPaolo Bonzini}
890139c1837SPaolo Bonzini
891139c1837SPaolo Bonzinistatic void tcg_out_st(TCGContext *s, TCGType type, TCGReg arg,
892139c1837SPaolo Bonzini                       TCGReg arg1, intptr_t arg2)
893139c1837SPaolo Bonzini{
894f63e7089SHuang Shiyuan    RISCVInsn insn;
895f63e7089SHuang Shiyuan
896f63e7089SHuang Shiyuan    switch (type) {
897f63e7089SHuang Shiyuan    case TCG_TYPE_I32:
898f63e7089SHuang Shiyuan        tcg_out_ldst(s, OPC_SW, arg, arg1, arg2);
899f63e7089SHuang Shiyuan        break;
900f63e7089SHuang Shiyuan    case TCG_TYPE_I64:
901f63e7089SHuang Shiyuan        tcg_out_ldst(s, OPC_SD, arg, arg1, arg2);
902f63e7089SHuang Shiyuan        break;
903f63e7089SHuang Shiyuan    case TCG_TYPE_V64:
904f63e7089SHuang Shiyuan    case TCG_TYPE_V128:
905f63e7089SHuang Shiyuan    case TCG_TYPE_V256:
906f63e7089SHuang Shiyuan        if (type >= riscv_lg2_vlenb) {
907f63e7089SHuang Shiyuan            static const RISCVInsn whole_reg_st[] = {
908f63e7089SHuang Shiyuan                OPC_VS1R_V, OPC_VS2R_V, OPC_VS4R_V, OPC_VS8R_V
909f63e7089SHuang Shiyuan            };
910f63e7089SHuang Shiyuan            unsigned idx = type - riscv_lg2_vlenb;
911f63e7089SHuang Shiyuan
912f63e7089SHuang Shiyuan            tcg_debug_assert(idx < ARRAY_SIZE(whole_reg_st));
913f63e7089SHuang Shiyuan            insn = whole_reg_st[idx];
914f63e7089SHuang Shiyuan        } else {
915f63e7089SHuang Shiyuan            static const RISCVInsn unit_stride_st[] = {
916f63e7089SHuang Shiyuan                OPC_VSE8_V, OPC_VSE16_V, OPC_VSE32_V, OPC_VSE64_V
917f63e7089SHuang Shiyuan            };
918f63e7089SHuang Shiyuan            MemOp prev_vsew = set_vtype_len(s, type);
919f63e7089SHuang Shiyuan
920f63e7089SHuang Shiyuan            tcg_debug_assert(prev_vsew < ARRAY_SIZE(unit_stride_st));
921f63e7089SHuang Shiyuan            insn = unit_stride_st[prev_vsew];
922f63e7089SHuang Shiyuan        }
923f63e7089SHuang Shiyuan        tcg_out_vec_ldst(s, insn, arg, arg1, arg2);
924f63e7089SHuang Shiyuan        break;
925f63e7089SHuang Shiyuan    default:
926f63e7089SHuang Shiyuan        g_assert_not_reached();
927f63e7089SHuang Shiyuan    }
928139c1837SPaolo Bonzini}
929139c1837SPaolo Bonzini
930139c1837SPaolo Bonzinistatic bool tcg_out_sti(TCGContext *s, TCGType type, TCGArg val,
931139c1837SPaolo Bonzini                        TCGReg base, intptr_t ofs)
932139c1837SPaolo Bonzini{
933139c1837SPaolo Bonzini    if (val == 0) {
934139c1837SPaolo Bonzini        tcg_out_st(s, type, TCG_REG_ZERO, base, ofs);
935139c1837SPaolo Bonzini        return true;
936139c1837SPaolo Bonzini    }
937139c1837SPaolo Bonzini    return false;
938139c1837SPaolo Bonzini}
939139c1837SPaolo Bonzini
940139c1837SPaolo Bonzinistatic void tcg_out_addsub2(TCGContext *s,
941139c1837SPaolo Bonzini                            TCGReg rl, TCGReg rh,
942139c1837SPaolo Bonzini                            TCGReg al, TCGReg ah,
943139c1837SPaolo Bonzini                            TCGArg bl, TCGArg bh,
944139c1837SPaolo Bonzini                            bool cbl, bool cbh, bool is_sub, bool is32bit)
945139c1837SPaolo Bonzini{
946139c1837SPaolo Bonzini    const RISCVInsn opc_add = is32bit ? OPC_ADDW : OPC_ADD;
947139c1837SPaolo Bonzini    const RISCVInsn opc_addi = is32bit ? OPC_ADDIW : OPC_ADDI;
948139c1837SPaolo Bonzini    const RISCVInsn opc_sub = is32bit ? OPC_SUBW : OPC_SUB;
949139c1837SPaolo Bonzini    TCGReg th = TCG_REG_TMP1;
950139c1837SPaolo Bonzini
951139c1837SPaolo Bonzini    /* If we have a negative constant such that negating it would
952139c1837SPaolo Bonzini       make the high part zero, we can (usually) eliminate one insn.  */
953139c1837SPaolo Bonzini    if (cbl && cbh && bh == -1 && bl != 0) {
954139c1837SPaolo Bonzini        bl = -bl;
955139c1837SPaolo Bonzini        bh = 0;
956139c1837SPaolo Bonzini        is_sub = !is_sub;
957139c1837SPaolo Bonzini    }
958139c1837SPaolo Bonzini
959139c1837SPaolo Bonzini    /* By operating on the high part first, we get to use the final
960139c1837SPaolo Bonzini       carry operation to move back from the temporary.  */
961139c1837SPaolo Bonzini    if (!cbh) {
962139c1837SPaolo Bonzini        tcg_out_opc_reg(s, (is_sub ? opc_sub : opc_add), th, ah, bh);
963139c1837SPaolo Bonzini    } else if (bh != 0 || ah == rl) {
964139c1837SPaolo Bonzini        tcg_out_opc_imm(s, opc_addi, th, ah, (is_sub ? -bh : bh));
965139c1837SPaolo Bonzini    } else {
966139c1837SPaolo Bonzini        th = ah;
967139c1837SPaolo Bonzini    }
968139c1837SPaolo Bonzini
969139c1837SPaolo Bonzini    /* Note that tcg optimization should eliminate the bl == 0 case.  */
970139c1837SPaolo Bonzini    if (is_sub) {
971139c1837SPaolo Bonzini        if (cbl) {
972139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, al, bl);
973139c1837SPaolo Bonzini            tcg_out_opc_imm(s, opc_addi, rl, al, -bl);
974139c1837SPaolo Bonzini        } else {
975139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0, al, bl);
976139c1837SPaolo Bonzini            tcg_out_opc_reg(s, opc_sub, rl, al, bl);
977139c1837SPaolo Bonzini        }
978139c1837SPaolo Bonzini        tcg_out_opc_reg(s, opc_sub, rh, th, TCG_REG_TMP0);
979139c1837SPaolo Bonzini    } else {
980139c1837SPaolo Bonzini        if (cbl) {
981139c1837SPaolo Bonzini            tcg_out_opc_imm(s, opc_addi, rl, al, bl);
982139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, rl, bl);
9839b246685SRichard Henderson        } else if (al == bl) {
9849b246685SRichard Henderson            /*
9859b246685SRichard Henderson             * If the input regs overlap, this is a simple doubling
9869b246685SRichard Henderson             * and carry-out is the input msb.  This special case is
9879b246685SRichard Henderson             * required when the output reg overlaps the input,
9889b246685SRichard Henderson             * but we might as well use it always.
9899b246685SRichard Henderson             */
990139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTI, TCG_REG_TMP0, al, 0);
9919b246685SRichard Henderson            tcg_out_opc_reg(s, opc_add, rl, al, al);
992139c1837SPaolo Bonzini        } else {
993139c1837SPaolo Bonzini            tcg_out_opc_reg(s, opc_add, rl, al, bl);
994139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0,
995139c1837SPaolo Bonzini                            rl, (rl == bl ? al : bl));
996139c1837SPaolo Bonzini        }
997139c1837SPaolo Bonzini        tcg_out_opc_reg(s, opc_add, rh, th, TCG_REG_TMP0);
998139c1837SPaolo Bonzini    }
999139c1837SPaolo Bonzini}
1000139c1837SPaolo Bonzini
1001f63e7089SHuang Shiyuanstatic bool tcg_out_dup_vec(TCGContext *s, TCGType type, unsigned vece,
1002f63e7089SHuang Shiyuan                                   TCGReg dst, TCGReg src)
1003f63e7089SHuang Shiyuan{
1004*d4be6ee1STANG Tiancheng    set_vtype_len_sew(s, type, vece);
1005*d4be6ee1STANG Tiancheng    tcg_out_opc_vx(s, OPC_VMV_V_X, dst, 0, src);
1006*d4be6ee1STANG Tiancheng    return true;
1007f63e7089SHuang Shiyuan}
1008f63e7089SHuang Shiyuan
1009f63e7089SHuang Shiyuanstatic bool tcg_out_dupm_vec(TCGContext *s, TCGType type, unsigned vece,
1010f63e7089SHuang Shiyuan                                    TCGReg dst, TCGReg base, intptr_t offset)
1011f63e7089SHuang Shiyuan{
1012*d4be6ee1STANG Tiancheng    tcg_out_ld(s, TCG_TYPE_REG, TCG_REG_TMP0, base, offset);
1013*d4be6ee1STANG Tiancheng    return tcg_out_dup_vec(s, type, vece, dst, TCG_REG_TMP0);
1014f63e7089SHuang Shiyuan}
1015f63e7089SHuang Shiyuan
1016f63e7089SHuang Shiyuanstatic void tcg_out_dupi_vec(TCGContext *s, TCGType type, unsigned vece,
1017f63e7089SHuang Shiyuan                                    TCGReg dst, int64_t arg)
1018f63e7089SHuang Shiyuan{
1019*d4be6ee1STANG Tiancheng    /* Arg is replicated by VECE; extract the highest element. */
1020*d4be6ee1STANG Tiancheng    arg >>= (-8 << vece) & 63;
1021*d4be6ee1STANG Tiancheng
1022*d4be6ee1STANG Tiancheng    if (arg >= -16 && arg < 16) {
1023*d4be6ee1STANG Tiancheng        if (arg == 0 || arg == -1) {
1024*d4be6ee1STANG Tiancheng            set_vtype_len(s, type);
1025*d4be6ee1STANG Tiancheng        } else {
1026*d4be6ee1STANG Tiancheng            set_vtype_len_sew(s, type, vece);
1027*d4be6ee1STANG Tiancheng        }
1028*d4be6ee1STANG Tiancheng        tcg_out_opc_vi(s, OPC_VMV_V_I, dst, 0, arg);
1029*d4be6ee1STANG Tiancheng        return;
1030*d4be6ee1STANG Tiancheng    }
1031*d4be6ee1STANG Tiancheng    tcg_out_movi(s, TCG_TYPE_I64, TCG_REG_TMP0, arg);
1032*d4be6ee1STANG Tiancheng    tcg_out_dup_vec(s, type, vece, dst, TCG_REG_TMP0);
1033f63e7089SHuang Shiyuan}
1034f63e7089SHuang Shiyuan
1035139c1837SPaolo Bonzinistatic const struct {
1036139c1837SPaolo Bonzini    RISCVInsn op;
1037139c1837SPaolo Bonzini    bool swap;
1038139c1837SPaolo Bonzini} tcg_brcond_to_riscv[] = {
1039139c1837SPaolo Bonzini    [TCG_COND_EQ] =  { OPC_BEQ,  false },
1040139c1837SPaolo Bonzini    [TCG_COND_NE] =  { OPC_BNE,  false },
1041139c1837SPaolo Bonzini    [TCG_COND_LT] =  { OPC_BLT,  false },
1042139c1837SPaolo Bonzini    [TCG_COND_GE] =  { OPC_BGE,  false },
1043139c1837SPaolo Bonzini    [TCG_COND_LE] =  { OPC_BGE,  true  },
1044139c1837SPaolo Bonzini    [TCG_COND_GT] =  { OPC_BLT,  true  },
1045139c1837SPaolo Bonzini    [TCG_COND_LTU] = { OPC_BLTU, false },
1046139c1837SPaolo Bonzini    [TCG_COND_GEU] = { OPC_BGEU, false },
1047139c1837SPaolo Bonzini    [TCG_COND_LEU] = { OPC_BGEU, true  },
1048139c1837SPaolo Bonzini    [TCG_COND_GTU] = { OPC_BLTU, true  }
1049139c1837SPaolo Bonzini};
1050139c1837SPaolo Bonzini
1051139c1837SPaolo Bonzinistatic void tcg_out_brcond(TCGContext *s, TCGCond cond, TCGReg arg1,
1052139c1837SPaolo Bonzini                           TCGReg arg2, TCGLabel *l)
1053139c1837SPaolo Bonzini{
1054139c1837SPaolo Bonzini    RISCVInsn op = tcg_brcond_to_riscv[cond].op;
1055139c1837SPaolo Bonzini
1056139c1837SPaolo Bonzini    tcg_debug_assert(op != 0);
1057139c1837SPaolo Bonzini
1058139c1837SPaolo Bonzini    if (tcg_brcond_to_riscv[cond].swap) {
1059139c1837SPaolo Bonzini        TCGReg t = arg1;
1060139c1837SPaolo Bonzini        arg1 = arg2;
1061139c1837SPaolo Bonzini        arg2 = t;
1062139c1837SPaolo Bonzini    }
1063139c1837SPaolo Bonzini
1064139c1837SPaolo Bonzini    tcg_out_reloc(s, s->code_ptr, R_RISCV_BRANCH, l, 0);
1065139c1837SPaolo Bonzini    tcg_out_opc_branch(s, op, arg1, arg2, 0);
1066139c1837SPaolo Bonzini}
1067139c1837SPaolo Bonzini
1068f6453695SRichard Henderson#define SETCOND_INV    TCG_TARGET_NB_REGS
1069f6453695SRichard Henderson#define SETCOND_NEZ    (SETCOND_INV << 1)
1070f6453695SRichard Henderson#define SETCOND_FLAGS  (SETCOND_INV | SETCOND_NEZ)
1071f6453695SRichard Henderson
1072f6453695SRichard Hendersonstatic int tcg_out_setcond_int(TCGContext *s, TCGCond cond, TCGReg ret,
1073f6453695SRichard Henderson                               TCGReg arg1, tcg_target_long arg2, bool c2)
1074139c1837SPaolo Bonzini{
1075f6453695SRichard Henderson    int flags = 0;
1076f6453695SRichard Henderson
1077139c1837SPaolo Bonzini    switch (cond) {
1078f6453695SRichard Henderson    case TCG_COND_EQ:    /* -> NE  */
1079f6453695SRichard Henderson    case TCG_COND_GE:    /* -> LT  */
1080f6453695SRichard Henderson    case TCG_COND_GEU:   /* -> LTU */
1081f6453695SRichard Henderson    case TCG_COND_GT:    /* -> LE  */
1082f6453695SRichard Henderson    case TCG_COND_GTU:   /* -> LEU */
1083f6453695SRichard Henderson        cond = tcg_invert_cond(cond);
1084f6453695SRichard Henderson        flags ^= SETCOND_INV;
1085139c1837SPaolo Bonzini        break;
1086f6453695SRichard Henderson    default:
1087139c1837SPaolo Bonzini        break;
1088f6453695SRichard Henderson    }
1089f6453695SRichard Henderson
1090f6453695SRichard Henderson    switch (cond) {
1091139c1837SPaolo Bonzini    case TCG_COND_LE:
1092139c1837SPaolo Bonzini    case TCG_COND_LEU:
1093f6453695SRichard Henderson        /*
1094f6453695SRichard Henderson         * If we have a constant input, the most efficient way to implement
1095f6453695SRichard Henderson         * LE is by adding 1 and using LT.  Watch out for wrap around for LEU.
1096f6453695SRichard Henderson         * We don't need to care for this for LE because the constant input
1097f6453695SRichard Henderson         * is constrained to signed 12-bit, and 0x800 is representable in the
1098f6453695SRichard Henderson         * temporary register.
1099f6453695SRichard Henderson         */
1100f6453695SRichard Henderson        if (c2) {
1101f6453695SRichard Henderson            if (cond == TCG_COND_LEU) {
1102f6453695SRichard Henderson                /* unsigned <= -1 is true */
1103f6453695SRichard Henderson                if (arg2 == -1) {
1104f6453695SRichard Henderson                    tcg_out_movi(s, TCG_TYPE_REG, ret, !(flags & SETCOND_INV));
1105f6453695SRichard Henderson                    return ret;
1106f6453695SRichard Henderson                }
1107f6453695SRichard Henderson                cond = TCG_COND_LTU;
1108f6453695SRichard Henderson            } else {
1109f6453695SRichard Henderson                cond = TCG_COND_LT;
1110f6453695SRichard Henderson            }
1111f6453695SRichard Henderson            tcg_debug_assert(arg2 <= 0x7ff);
1112f6453695SRichard Henderson            if (++arg2 == 0x800) {
1113f6453695SRichard Henderson                tcg_out_movi(s, TCG_TYPE_REG, TCG_REG_TMP0, arg2);
1114f6453695SRichard Henderson                arg2 = TCG_REG_TMP0;
1115f6453695SRichard Henderson                c2 = false;
1116f6453695SRichard Henderson            }
1117f6453695SRichard Henderson        } else {
1118f6453695SRichard Henderson            TCGReg tmp = arg2;
1119f6453695SRichard Henderson            arg2 = arg1;
1120f6453695SRichard Henderson            arg1 = tmp;
1121f6453695SRichard Henderson            cond = tcg_swap_cond(cond);    /* LE -> GE */
1122f6453695SRichard Henderson            cond = tcg_invert_cond(cond);  /* GE -> LT */
1123f6453695SRichard Henderson            flags ^= SETCOND_INV;
1124f6453695SRichard Henderson        }
1125139c1837SPaolo Bonzini        break;
1126f6453695SRichard Henderson    default:
1127f6453695SRichard Henderson        break;
1128f6453695SRichard Henderson    }
1129f6453695SRichard Henderson
1130f6453695SRichard Henderson    switch (cond) {
1131f6453695SRichard Henderson    case TCG_COND_NE:
1132f6453695SRichard Henderson        flags |= SETCOND_NEZ;
1133f6453695SRichard Henderson        if (!c2) {
1134f6453695SRichard Henderson            tcg_out_opc_reg(s, OPC_XOR, ret, arg1, arg2);
1135f6453695SRichard Henderson        } else if (arg2 == 0) {
1136f6453695SRichard Henderson            ret = arg1;
1137f6453695SRichard Henderson        } else {
1138f6453695SRichard Henderson            tcg_out_opc_imm(s, OPC_XORI, ret, arg1, arg2);
1139f6453695SRichard Henderson        }
1140f6453695SRichard Henderson        break;
1141f6453695SRichard Henderson
1142f6453695SRichard Henderson    case TCG_COND_LT:
1143f6453695SRichard Henderson        if (c2) {
1144f6453695SRichard Henderson            tcg_out_opc_imm(s, OPC_SLTI, ret, arg1, arg2);
1145f6453695SRichard Henderson        } else {
1146f6453695SRichard Henderson            tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2);
1147f6453695SRichard Henderson        }
1148f6453695SRichard Henderson        break;
1149f6453695SRichard Henderson
1150f6453695SRichard Henderson    case TCG_COND_LTU:
1151f6453695SRichard Henderson        if (c2) {
1152f6453695SRichard Henderson            tcg_out_opc_imm(s, OPC_SLTIU, ret, arg1, arg2);
1153f6453695SRichard Henderson        } else {
1154f6453695SRichard Henderson            tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2);
1155f6453695SRichard Henderson        }
1156f6453695SRichard Henderson        break;
1157f6453695SRichard Henderson
1158f6453695SRichard Henderson    default:
1159f6453695SRichard Henderson        g_assert_not_reached();
1160f6453695SRichard Henderson    }
1161f6453695SRichard Henderson
1162f6453695SRichard Henderson    return ret | flags;
1163f6453695SRichard Henderson}
1164f6453695SRichard Henderson
1165f6453695SRichard Hendersonstatic void tcg_out_setcond(TCGContext *s, TCGCond cond, TCGReg ret,
1166f6453695SRichard Henderson                            TCGReg arg1, tcg_target_long arg2, bool c2)
1167f6453695SRichard Henderson{
1168f6453695SRichard Henderson    int tmpflags = tcg_out_setcond_int(s, cond, ret, arg1, arg2, c2);
1169f6453695SRichard Henderson
1170f6453695SRichard Henderson    if (tmpflags != ret) {
1171f6453695SRichard Henderson        TCGReg tmp = tmpflags & ~SETCOND_FLAGS;
1172f6453695SRichard Henderson
1173f6453695SRichard Henderson        switch (tmpflags & SETCOND_FLAGS) {
1174f6453695SRichard Henderson        case SETCOND_INV:
1175f6453695SRichard Henderson            /* Intermediate result is boolean: simply invert. */
1176f6453695SRichard Henderson            tcg_out_opc_imm(s, OPC_XORI, ret, tmp, 1);
1177f6453695SRichard Henderson            break;
1178f6453695SRichard Henderson        case SETCOND_NEZ:
1179f6453695SRichard Henderson            /* Intermediate result is zero/non-zero: test != 0. */
1180f6453695SRichard Henderson            tcg_out_opc_reg(s, OPC_SLTU, ret, TCG_REG_ZERO, tmp);
1181f6453695SRichard Henderson            break;
1182f6453695SRichard Henderson        case SETCOND_NEZ | SETCOND_INV:
1183f6453695SRichard Henderson            /* Intermediate result is zero/non-zero: test == 0. */
1184f6453695SRichard Henderson            tcg_out_opc_imm(s, OPC_SLTIU, ret, tmp, 1);
1185139c1837SPaolo Bonzini            break;
1186139c1837SPaolo Bonzini        default:
1187139c1837SPaolo Bonzini            g_assert_not_reached();
1188f6453695SRichard Henderson        }
1189139c1837SPaolo Bonzini    }
1190139c1837SPaolo Bonzini}
1191139c1837SPaolo Bonzini
119241e4c0a9SRichard Hendersonstatic void tcg_out_negsetcond(TCGContext *s, TCGCond cond, TCGReg ret,
119341e4c0a9SRichard Henderson                               TCGReg arg1, tcg_target_long arg2, bool c2)
119441e4c0a9SRichard Henderson{
119541e4c0a9SRichard Henderson    int tmpflags;
119641e4c0a9SRichard Henderson    TCGReg tmp;
119741e4c0a9SRichard Henderson
119841e4c0a9SRichard Henderson    /* For LT/GE comparison against 0, replicate the sign bit. */
119941e4c0a9SRichard Henderson    if (c2 && arg2 == 0) {
120041e4c0a9SRichard Henderson        switch (cond) {
120141e4c0a9SRichard Henderson        case TCG_COND_GE:
120241e4c0a9SRichard Henderson            tcg_out_opc_imm(s, OPC_XORI, ret, arg1, -1);
120341e4c0a9SRichard Henderson            arg1 = ret;
120441e4c0a9SRichard Henderson            /* fall through */
120541e4c0a9SRichard Henderson        case TCG_COND_LT:
120641e4c0a9SRichard Henderson            tcg_out_opc_imm(s, OPC_SRAI, ret, arg1, TCG_TARGET_REG_BITS - 1);
120741e4c0a9SRichard Henderson            return;
120841e4c0a9SRichard Henderson        default:
120941e4c0a9SRichard Henderson            break;
121041e4c0a9SRichard Henderson        }
121141e4c0a9SRichard Henderson    }
121241e4c0a9SRichard Henderson
121341e4c0a9SRichard Henderson    tmpflags = tcg_out_setcond_int(s, cond, ret, arg1, arg2, c2);
121441e4c0a9SRichard Henderson    tmp = tmpflags & ~SETCOND_FLAGS;
121541e4c0a9SRichard Henderson
121641e4c0a9SRichard Henderson    /* If intermediate result is zero/non-zero: test != 0. */
121741e4c0a9SRichard Henderson    if (tmpflags & SETCOND_NEZ) {
121841e4c0a9SRichard Henderson        tcg_out_opc_reg(s, OPC_SLTU, ret, TCG_REG_ZERO, tmp);
121941e4c0a9SRichard Henderson        tmp = ret;
122041e4c0a9SRichard Henderson    }
122141e4c0a9SRichard Henderson
122241e4c0a9SRichard Henderson    /* Produce the 0/-1 result. */
122341e4c0a9SRichard Henderson    if (tmpflags & SETCOND_INV) {
122441e4c0a9SRichard Henderson        tcg_out_opc_imm(s, OPC_ADDI, ret, tmp, -1);
122541e4c0a9SRichard Henderson    } else {
122641e4c0a9SRichard Henderson        tcg_out_opc_reg(s, OPC_SUB, ret, TCG_REG_ZERO, tmp);
122741e4c0a9SRichard Henderson    }
122841e4c0a9SRichard Henderson}
122941e4c0a9SRichard Henderson
1230a18d783eSRichard Hendersonstatic void tcg_out_movcond_zicond(TCGContext *s, TCGReg ret, TCGReg test_ne,
1231a18d783eSRichard Henderson                                   int val1, bool c_val1,
1232a18d783eSRichard Henderson                                   int val2, bool c_val2)
1233a18d783eSRichard Henderson{
1234a18d783eSRichard Henderson    if (val1 == 0) {
1235a18d783eSRichard Henderson        if (c_val2) {
1236a18d783eSRichard Henderson            tcg_out_movi(s, TCG_TYPE_REG, TCG_REG_TMP1, val2);
1237a18d783eSRichard Henderson            val2 = TCG_REG_TMP1;
1238a18d783eSRichard Henderson        }
1239a18d783eSRichard Henderson        tcg_out_opc_reg(s, OPC_CZERO_NEZ, ret, val2, test_ne);
1240a18d783eSRichard Henderson        return;
1241a18d783eSRichard Henderson    }
1242a18d783eSRichard Henderson
1243a18d783eSRichard Henderson    if (val2 == 0) {
1244a18d783eSRichard Henderson        if (c_val1) {
1245a18d783eSRichard Henderson            tcg_out_movi(s, TCG_TYPE_REG, TCG_REG_TMP1, val1);
1246a18d783eSRichard Henderson            val1 = TCG_REG_TMP1;
1247a18d783eSRichard Henderson        }
1248a18d783eSRichard Henderson        tcg_out_opc_reg(s, OPC_CZERO_EQZ, ret, val1, test_ne);
1249a18d783eSRichard Henderson        return;
1250a18d783eSRichard Henderson    }
1251a18d783eSRichard Henderson
1252a18d783eSRichard Henderson    if (c_val2) {
1253a18d783eSRichard Henderson        if (c_val1) {
1254a18d783eSRichard Henderson            tcg_out_movi(s, TCG_TYPE_REG, TCG_REG_TMP1, val1 - val2);
1255a18d783eSRichard Henderson        } else {
1256a18d783eSRichard Henderson            tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_TMP1, val1, -val2);
1257a18d783eSRichard Henderson        }
1258a18d783eSRichard Henderson        tcg_out_opc_reg(s, OPC_CZERO_EQZ, ret, TCG_REG_TMP1, test_ne);
1259a18d783eSRichard Henderson        tcg_out_opc_imm(s, OPC_ADDI, ret, ret, val2);
1260a18d783eSRichard Henderson        return;
1261a18d783eSRichard Henderson    }
1262a18d783eSRichard Henderson
1263a18d783eSRichard Henderson    if (c_val1) {
1264a18d783eSRichard Henderson        tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_TMP1, val2, -val1);
1265a18d783eSRichard Henderson        tcg_out_opc_reg(s, OPC_CZERO_NEZ, ret, TCG_REG_TMP1, test_ne);
1266a18d783eSRichard Henderson        tcg_out_opc_imm(s, OPC_ADDI, ret, ret, val1);
1267a18d783eSRichard Henderson        return;
1268a18d783eSRichard Henderson    }
1269a18d783eSRichard Henderson
1270a18d783eSRichard Henderson    tcg_out_opc_reg(s, OPC_CZERO_NEZ, TCG_REG_TMP1, val2, test_ne);
1271a18d783eSRichard Henderson    tcg_out_opc_reg(s, OPC_CZERO_EQZ, TCG_REG_TMP0, val1, test_ne);
1272a18d783eSRichard Henderson    tcg_out_opc_reg(s, OPC_OR, ret, TCG_REG_TMP0, TCG_REG_TMP1);
1273a18d783eSRichard Henderson}
1274a18d783eSRichard Henderson
1275a18d783eSRichard Hendersonstatic void tcg_out_movcond_br1(TCGContext *s, TCGCond cond, TCGReg ret,
1276a18d783eSRichard Henderson                                TCGReg cmp1, TCGReg cmp2,
1277a18d783eSRichard Henderson                                int val, bool c_val)
1278a18d783eSRichard Henderson{
1279a18d783eSRichard Henderson    RISCVInsn op;
1280a18d783eSRichard Henderson    int disp = 8;
1281a18d783eSRichard Henderson
1282a18d783eSRichard Henderson    tcg_debug_assert((unsigned)cond < ARRAY_SIZE(tcg_brcond_to_riscv));
1283a18d783eSRichard Henderson    op = tcg_brcond_to_riscv[cond].op;
1284a18d783eSRichard Henderson    tcg_debug_assert(op != 0);
1285a18d783eSRichard Henderson
1286a18d783eSRichard Henderson    if (tcg_brcond_to_riscv[cond].swap) {
1287a18d783eSRichard Henderson        tcg_out_opc_branch(s, op, cmp2, cmp1, disp);
1288a18d783eSRichard Henderson    } else {
1289a18d783eSRichard Henderson        tcg_out_opc_branch(s, op, cmp1, cmp2, disp);
1290a18d783eSRichard Henderson    }
1291a18d783eSRichard Henderson    if (c_val) {
1292a18d783eSRichard Henderson        tcg_out_opc_imm(s, OPC_ADDI, ret, TCG_REG_ZERO, val);
1293a18d783eSRichard Henderson    } else {
1294a18d783eSRichard Henderson        tcg_out_opc_imm(s, OPC_ADDI, ret, val, 0);
1295a18d783eSRichard Henderson    }
1296a18d783eSRichard Henderson}
1297a18d783eSRichard Henderson
1298a18d783eSRichard Hendersonstatic void tcg_out_movcond_br2(TCGContext *s, TCGCond cond, TCGReg ret,
1299a18d783eSRichard Henderson                                TCGReg cmp1, TCGReg cmp2,
1300a18d783eSRichard Henderson                                int val1, bool c_val1,
1301a18d783eSRichard Henderson                                int val2, bool c_val2)
1302a18d783eSRichard Henderson{
1303a18d783eSRichard Henderson    TCGReg tmp;
1304a18d783eSRichard Henderson
1305a18d783eSRichard Henderson    /* TCG optimizer reorders to prefer ret matching val2. */
1306a18d783eSRichard Henderson    if (!c_val2 && ret == val2) {
1307a18d783eSRichard Henderson        cond = tcg_invert_cond(cond);
1308a18d783eSRichard Henderson        tcg_out_movcond_br1(s, cond, ret, cmp1, cmp2, val1, c_val1);
1309a18d783eSRichard Henderson        return;
1310a18d783eSRichard Henderson    }
1311a18d783eSRichard Henderson
1312a18d783eSRichard Henderson    if (!c_val1 && ret == val1) {
1313a18d783eSRichard Henderson        tcg_out_movcond_br1(s, cond, ret, cmp1, cmp2, val2, c_val2);
1314a18d783eSRichard Henderson        return;
1315a18d783eSRichard Henderson    }
1316a18d783eSRichard Henderson
1317a18d783eSRichard Henderson    tmp = (ret == cmp1 || ret == cmp2 ? TCG_REG_TMP1 : ret);
1318a18d783eSRichard Henderson    if (c_val1) {
1319a18d783eSRichard Henderson        tcg_out_movi(s, TCG_TYPE_REG, tmp, val1);
1320a18d783eSRichard Henderson    } else {
1321a18d783eSRichard Henderson        tcg_out_mov(s, TCG_TYPE_REG, tmp, val1);
1322a18d783eSRichard Henderson    }
1323a18d783eSRichard Henderson    tcg_out_movcond_br1(s, cond, tmp, cmp1, cmp2, val2, c_val2);
1324a18d783eSRichard Henderson    tcg_out_mov(s, TCG_TYPE_REG, ret, tmp);
1325a18d783eSRichard Henderson}
1326a18d783eSRichard Henderson
1327a18d783eSRichard Hendersonstatic void tcg_out_movcond(TCGContext *s, TCGCond cond, TCGReg ret,
1328a18d783eSRichard Henderson                            TCGReg cmp1, int cmp2, bool c_cmp2,
1329a18d783eSRichard Henderson                            TCGReg val1, bool c_val1,
1330a18d783eSRichard Henderson                            TCGReg val2, bool c_val2)
1331a18d783eSRichard Henderson{
1332a18d783eSRichard Henderson    int tmpflags;
1333a18d783eSRichard Henderson    TCGReg t;
1334a18d783eSRichard Henderson
1335b86c6ba6SRichard Henderson    if (!(cpuinfo & CPUINFO_ZICOND) && (!c_cmp2 || cmp2 == 0)) {
1336a18d783eSRichard Henderson        tcg_out_movcond_br2(s, cond, ret, cmp1, cmp2,
1337a18d783eSRichard Henderson                            val1, c_val1, val2, c_val2);
1338a18d783eSRichard Henderson        return;
1339a18d783eSRichard Henderson    }
1340a18d783eSRichard Henderson
1341a18d783eSRichard Henderson    tmpflags = tcg_out_setcond_int(s, cond, TCG_REG_TMP0, cmp1, cmp2, c_cmp2);
1342a18d783eSRichard Henderson    t = tmpflags & ~SETCOND_FLAGS;
1343a18d783eSRichard Henderson
1344b86c6ba6SRichard Henderson    if (cpuinfo & CPUINFO_ZICOND) {
1345a18d783eSRichard Henderson        if (tmpflags & SETCOND_INV) {
1346a18d783eSRichard Henderson            tcg_out_movcond_zicond(s, ret, t, val2, c_val2, val1, c_val1);
1347a18d783eSRichard Henderson        } else {
1348a18d783eSRichard Henderson            tcg_out_movcond_zicond(s, ret, t, val1, c_val1, val2, c_val2);
1349a18d783eSRichard Henderson        }
1350a18d783eSRichard Henderson    } else {
1351a18d783eSRichard Henderson        cond = tmpflags & SETCOND_INV ? TCG_COND_EQ : TCG_COND_NE;
1352a18d783eSRichard Henderson        tcg_out_movcond_br2(s, cond, ret, t, TCG_REG_ZERO,
1353a18d783eSRichard Henderson                            val1, c_val1, val2, c_val2);
1354a18d783eSRichard Henderson    }
1355a18d783eSRichard Henderson}
1356a18d783eSRichard Henderson
1357a30498fcSRichard Hendersonstatic void tcg_out_cltz(TCGContext *s, TCGType type, RISCVInsn insn,
1358a30498fcSRichard Henderson                         TCGReg ret, TCGReg src1, int src2, bool c_src2)
1359a30498fcSRichard Henderson{
1360a30498fcSRichard Henderson    tcg_out_opc_imm(s, insn, ret, src1, 0);
1361a30498fcSRichard Henderson
1362a30498fcSRichard Henderson    if (!c_src2 || src2 != (type == TCG_TYPE_I32 ? 32 : 64)) {
1363a30498fcSRichard Henderson        /*
1364a30498fcSRichard Henderson         * The requested zero result does not match the insn, so adjust.
1365a30498fcSRichard Henderson         * Note that constraints put 'ret' in a new register, so the
1366a30498fcSRichard Henderson         * computation above did not clobber either 'src1' or 'src2'.
1367a30498fcSRichard Henderson         */
1368a30498fcSRichard Henderson        tcg_out_movcond(s, TCG_COND_EQ, ret, src1, 0, true,
1369a30498fcSRichard Henderson                        src2, c_src2, ret, false);
1370a30498fcSRichard Henderson    }
1371a30498fcSRichard Henderson}
1372a30498fcSRichard Henderson
1373f63e7089SHuang Shiyuanstatic void init_setting_vtype(TCGContext *s)
1374f63e7089SHuang Shiyuan{
1375f63e7089SHuang Shiyuan    s->riscv_cur_type = TCG_TYPE_COUNT;
1376f63e7089SHuang Shiyuan}
1377f63e7089SHuang Shiyuan
13782be7d76bSRichard Hendersonstatic void tcg_out_call_int(TCGContext *s, const tcg_insn_unit *arg, bool tail)
1379139c1837SPaolo Bonzini{
1380139c1837SPaolo Bonzini    TCGReg link = tail ? TCG_REG_ZERO : TCG_REG_RA;
1381139c1837SPaolo Bonzini    ptrdiff_t offset = tcg_pcrel_diff(s, arg);
1382139c1837SPaolo Bonzini    int ret;
1383139c1837SPaolo Bonzini
1384f63e7089SHuang Shiyuan    init_setting_vtype(s);
1385f63e7089SHuang Shiyuan
1386844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
1387844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
1388139c1837SPaolo Bonzini        /* short jump: -2097150 to 2097152 */
1389139c1837SPaolo Bonzini        tcg_out_opc_jump(s, OPC_JAL, link, offset);
1390aeb6326eSRichard Henderson    } else if (offset == (int32_t)offset) {
1391139c1837SPaolo Bonzini        /* long jump: -2147483646 to 2147483648 */
1392139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP0, 0);
1393139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, 0);
1394844d0442SRichard Henderson        ret = reloc_call(s->code_ptr - 2, arg);
1395139c1837SPaolo Bonzini        tcg_debug_assert(ret == true);
1396aeb6326eSRichard Henderson    } else {
1397139c1837SPaolo Bonzini        /* far jump: 64-bit */
1398139c1837SPaolo Bonzini        tcg_target_long imm = sextreg((tcg_target_long)arg, 0, 12);
1399139c1837SPaolo Bonzini        tcg_target_long base = (tcg_target_long)arg - imm;
1400139c1837SPaolo Bonzini        tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP0, base);
1401139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, imm);
1402139c1837SPaolo Bonzini    }
1403139c1837SPaolo Bonzini}
1404139c1837SPaolo Bonzini
1405cee44b03SRichard Hendersonstatic void tcg_out_call(TCGContext *s, const tcg_insn_unit *arg,
1406cee44b03SRichard Henderson                         const TCGHelperInfo *info)
1407139c1837SPaolo Bonzini{
1408139c1837SPaolo Bonzini    tcg_out_call_int(s, arg, false);
1409139c1837SPaolo Bonzini}
1410139c1837SPaolo Bonzini
1411139c1837SPaolo Bonzinistatic void tcg_out_mb(TCGContext *s, TCGArg a0)
1412139c1837SPaolo Bonzini{
1413139c1837SPaolo Bonzini    tcg_insn_unit insn = OPC_FENCE;
1414139c1837SPaolo Bonzini
1415139c1837SPaolo Bonzini    if (a0 & TCG_MO_LD_LD) {
1416139c1837SPaolo Bonzini        insn |= 0x02200000;
1417139c1837SPaolo Bonzini    }
1418139c1837SPaolo Bonzini    if (a0 & TCG_MO_ST_LD) {
1419139c1837SPaolo Bonzini        insn |= 0x01200000;
1420139c1837SPaolo Bonzini    }
1421139c1837SPaolo Bonzini    if (a0 & TCG_MO_LD_ST) {
1422139c1837SPaolo Bonzini        insn |= 0x02100000;
1423139c1837SPaolo Bonzini    }
1424139c1837SPaolo Bonzini    if (a0 & TCG_MO_ST_ST) {
1425139c1837SPaolo Bonzini        insn |= 0x02200000;
1426139c1837SPaolo Bonzini    }
1427139c1837SPaolo Bonzini    tcg_out32(s, insn);
1428139c1837SPaolo Bonzini}
1429139c1837SPaolo Bonzini
1430139c1837SPaolo Bonzini/*
1431139c1837SPaolo Bonzini * Load/store and TLB
1432139c1837SPaolo Bonzini */
1433139c1837SPaolo Bonzini
1434793f7381SRichard Hendersonstatic void tcg_out_goto(TCGContext *s, const tcg_insn_unit *target)
1435844d0442SRichard Henderson{
1436844d0442SRichard Henderson    tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
1437844d0442SRichard Henderson    bool ok = reloc_jimm20(s->code_ptr - 1, target);
1438844d0442SRichard Henderson    tcg_debug_assert(ok);
1439844d0442SRichard Henderson}
1440844d0442SRichard Henderson
14417b880107SRichard Hendersonbool tcg_target_has_memory_bswap(MemOp memop)
14427b880107SRichard Henderson{
14437b880107SRichard Henderson    return false;
14447b880107SRichard Henderson}
14457b880107SRichard Henderson
144661b6daafSRichard Henderson/* We have three temps, we might as well expose them. */
144761b6daafSRichard Hendersonstatic const TCGLdstHelperParam ldst_helper_param = {
144861b6daafSRichard Henderson    .ntmp = 3, .tmp = { TCG_REG_TMP0, TCG_REG_TMP1, TCG_REG_TMP2 }
144961b6daafSRichard Henderson};
145061b6daafSRichard Henderson
1451139c1837SPaolo Bonzinistatic bool tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
1452139c1837SPaolo Bonzini{
145361b6daafSRichard Henderson    MemOp opc = get_memop(l->oi);
1454139c1837SPaolo Bonzini
1455139c1837SPaolo Bonzini    /* resolve label address */
1456793f7381SRichard Henderson    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
1457139c1837SPaolo Bonzini        return false;
1458139c1837SPaolo Bonzini    }
1459139c1837SPaolo Bonzini
1460139c1837SPaolo Bonzini    /* call load helper */
146161b6daafSRichard Henderson    tcg_out_ld_helper_args(s, l, &ldst_helper_param);
1462cee44b03SRichard Henderson    tcg_out_call_int(s, qemu_ld_helpers[opc & MO_SSIZE], false);
146361b6daafSRichard Henderson    tcg_out_ld_helper_ret(s, l, true, &ldst_helper_param);
1464139c1837SPaolo Bonzini
1465139c1837SPaolo Bonzini    tcg_out_goto(s, l->raddr);
1466139c1837SPaolo Bonzini    return true;
1467139c1837SPaolo Bonzini}
1468139c1837SPaolo Bonzini
1469139c1837SPaolo Bonzinistatic bool tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
1470139c1837SPaolo Bonzini{
147161b6daafSRichard Henderson    MemOp opc = get_memop(l->oi);
1472139c1837SPaolo Bonzini
1473139c1837SPaolo Bonzini    /* resolve label address */
1474793f7381SRichard Henderson    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
1475139c1837SPaolo Bonzini        return false;
1476139c1837SPaolo Bonzini    }
1477139c1837SPaolo Bonzini
1478139c1837SPaolo Bonzini    /* call store helper */
147961b6daafSRichard Henderson    tcg_out_st_helper_args(s, l, &ldst_helper_param);
1480cee44b03SRichard Henderson    tcg_out_call_int(s, qemu_st_helpers[opc & MO_SIZE], false);
1481139c1837SPaolo Bonzini
1482139c1837SPaolo Bonzini    tcg_out_goto(s, l->raddr);
1483139c1837SPaolo Bonzini    return true;
1484139c1837SPaolo Bonzini}
1485139c1837SPaolo Bonzini
1486d0a9bb5eSRichard Henderson/* We expect to use a 12-bit negative offset from ENV.  */
1487d0a9bb5eSRichard Henderson#define MIN_TLB_MASK_TABLE_OFS  -(1 << 11)
1488d0a9bb5eSRichard Henderson
1489001dddfeSRichard Henderson/*
14907893e42dSPhilippe Mathieu-Daudé * For system-mode, perform the TLB load and compare.
14917893e42dSPhilippe Mathieu-Daudé * For user-mode, perform any required alignment tests.
1492001dddfeSRichard Henderson * In both cases, return a TCGLabelQemuLdst structure if the slow path
1493001dddfeSRichard Henderson * is required and fill in @h with the host address for the fast path.
1494001dddfeSRichard Henderson */
1495001dddfeSRichard Hendersonstatic TCGLabelQemuLdst *prepare_host_addr(TCGContext *s, TCGReg *pbase,
1496001dddfeSRichard Henderson                                           TCGReg addr_reg, MemOpIdx oi,
1497001dddfeSRichard Henderson                                           bool is_ld)
1498001dddfeSRichard Henderson{
14998aefe1fbSRichard Henderson    TCGType addr_type = s->addr_type;
1500001dddfeSRichard Henderson    TCGLabelQemuLdst *ldst = NULL;
1501001dddfeSRichard Henderson    MemOp opc = get_memop(oi);
150237e523f0SRichard Henderson    TCGAtomAlign aa;
150337e523f0SRichard Henderson    unsigned a_mask;
150437e523f0SRichard Henderson
150537e523f0SRichard Henderson    aa = atom_and_align_for_opc(s, opc, MO_ATOM_IFALIGN, false);
150637e523f0SRichard Henderson    a_mask = (1u << aa.align) - 1;
1507001dddfeSRichard Henderson
15084944d359SRichard Henderson    if (tcg_use_softmmu) {
1509001dddfeSRichard Henderson        unsigned s_bits = opc & MO_SIZE;
1510933b331bSRichard Henderson        unsigned s_mask = (1u << s_bits) - 1;
1511001dddfeSRichard Henderson        int mem_index = get_mmuidx(oi);
1512d0a9bb5eSRichard Henderson        int fast_ofs = tlb_mask_table_ofs(s, mem_index);
1513001dddfeSRichard Henderson        int mask_ofs = fast_ofs + offsetof(CPUTLBDescFast, mask);
1514001dddfeSRichard Henderson        int table_ofs = fast_ofs + offsetof(CPUTLBDescFast, table);
1515933b331bSRichard Henderson        int compare_mask;
1516933b331bSRichard Henderson        TCGReg addr_adj;
1517001dddfeSRichard Henderson
1518001dddfeSRichard Henderson        ldst = new_ldst_label(s);
1519001dddfeSRichard Henderson        ldst->is_ld = is_ld;
1520001dddfeSRichard Henderson        ldst->oi = oi;
1521001dddfeSRichard Henderson        ldst->addrlo_reg = addr_reg;
1522001dddfeSRichard Henderson
1523f63e7089SHuang Shiyuan        init_setting_vtype(s);
1524f63e7089SHuang Shiyuan
1525933b331bSRichard Henderson        tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_AREG0, mask_ofs);
1526933b331bSRichard Henderson        tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP1, TCG_AREG0, table_ofs);
1527001dddfeSRichard Henderson
1528001dddfeSRichard Henderson        tcg_out_opc_imm(s, OPC_SRLI, TCG_REG_TMP2, addr_reg,
1529aece72b7SRichard Henderson                        s->page_bits - CPU_TLB_ENTRY_BITS);
1530001dddfeSRichard Henderson        tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP0);
1531001dddfeSRichard Henderson        tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP1);
1532001dddfeSRichard Henderson
1533933b331bSRichard Henderson        /*
15344944d359SRichard Henderson         * For aligned accesses, we check the first byte and include the
15354944d359SRichard Henderson         * alignment bits within the address.  For unaligned access, we
15364944d359SRichard Henderson         * check that we don't cross pages using the address of the last
15374944d359SRichard Henderson         * byte of the access.
1538933b331bSRichard Henderson         */
1539933b331bSRichard Henderson        addr_adj = addr_reg;
154037e523f0SRichard Henderson        if (a_mask < s_mask) {
1541933b331bSRichard Henderson            addr_adj = TCG_REG_TMP0;
15428aefe1fbSRichard Henderson            tcg_out_opc_imm(s, addr_type == TCG_TYPE_I32 ? OPC_ADDIW : OPC_ADDI,
1543933b331bSRichard Henderson                            addr_adj, addr_reg, s_mask - a_mask);
1544933b331bSRichard Henderson        }
1545aece72b7SRichard Henderson        compare_mask = s->page_mask | a_mask;
1546933b331bSRichard Henderson        if (compare_mask == sextreg(compare_mask, 0, 12)) {
1547933b331bSRichard Henderson            tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr_adj, compare_mask);
1548933b331bSRichard Henderson        } else {
15498aefe1fbSRichard Henderson            tcg_out_movi(s, addr_type, TCG_REG_TMP1, compare_mask);
1550933b331bSRichard Henderson            tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP1, TCG_REG_TMP1, addr_adj);
1551933b331bSRichard Henderson        }
1552933b331bSRichard Henderson
1553001dddfeSRichard Henderson        /* Load the tlb comparator and the addend.  */
1554238f4380SRichard Henderson        QEMU_BUILD_BUG_ON(HOST_BIG_ENDIAN);
15558aefe1fbSRichard Henderson        tcg_out_ld(s, addr_type, TCG_REG_TMP0, TCG_REG_TMP2,
1556001dddfeSRichard Henderson                   is_ld ? offsetof(CPUTLBEntry, addr_read)
1557001dddfeSRichard Henderson                         : offsetof(CPUTLBEntry, addr_write));
1558001dddfeSRichard Henderson        tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP2, TCG_REG_TMP2,
1559001dddfeSRichard Henderson                   offsetof(CPUTLBEntry, addend));
1560001dddfeSRichard Henderson
1561001dddfeSRichard Henderson        /* Compare masked address with the TLB entry. */
1562001dddfeSRichard Henderson        ldst->label_ptr[0] = s->code_ptr;
1563001dddfeSRichard Henderson        tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP0, TCG_REG_TMP1, 0);
1564001dddfeSRichard Henderson
1565001dddfeSRichard Henderson        /* TLB Hit - translate address using addend.  */
15668aefe1fbSRichard Henderson        if (addr_type != TCG_TYPE_I32) {
1567eda15159SRichard Henderson            tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, addr_reg, TCG_REG_TMP2);
1568b86c6ba6SRichard Henderson        } else if (cpuinfo & CPUINFO_ZBA) {
15694944d359SRichard Henderson            tcg_out_opc_reg(s, OPC_ADD_UW, TCG_REG_TMP0,
15704944d359SRichard Henderson                            addr_reg, TCG_REG_TMP2);
1571eda15159SRichard Henderson        } else {
1572eda15159SRichard Henderson            tcg_out_ext32u(s, TCG_REG_TMP0, addr_reg);
15734944d359SRichard Henderson            tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0,
15744944d359SRichard Henderson                            TCG_REG_TMP0, TCG_REG_TMP2);
1575001dddfeSRichard Henderson        }
1576001dddfeSRichard Henderson        *pbase = TCG_REG_TMP0;
15774944d359SRichard Henderson    } else {
1578eda15159SRichard Henderson        TCGReg base;
1579eda15159SRichard Henderson
1580001dddfeSRichard Henderson        if (a_mask) {
1581001dddfeSRichard Henderson            ldst = new_ldst_label(s);
1582001dddfeSRichard Henderson            ldst->is_ld = is_ld;
1583001dddfeSRichard Henderson            ldst->oi = oi;
1584001dddfeSRichard Henderson            ldst->addrlo_reg = addr_reg;
1585001dddfeSRichard Henderson
1586f63e7089SHuang Shiyuan            init_setting_vtype(s);
1587f63e7089SHuang Shiyuan
158837e523f0SRichard Henderson            /* We are expecting alignment max 7, so we can always use andi. */
158937e523f0SRichard Henderson            tcg_debug_assert(a_mask == sextreg(a_mask, 0, 12));
1590001dddfeSRichard Henderson            tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr_reg, a_mask);
1591001dddfeSRichard Henderson
1592001dddfeSRichard Henderson            ldst->label_ptr[0] = s->code_ptr;
1593001dddfeSRichard Henderson            tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP1, TCG_REG_ZERO, 0);
1594001dddfeSRichard Henderson        }
1595001dddfeSRichard Henderson
1596001dddfeSRichard Henderson        if (guest_base != 0) {
1597001dddfeSRichard Henderson            base = TCG_REG_TMP0;
15988aefe1fbSRichard Henderson            if (addr_type != TCG_TYPE_I32) {
15994944d359SRichard Henderson                tcg_out_opc_reg(s, OPC_ADD, base, addr_reg,
16004944d359SRichard Henderson                                TCG_GUEST_BASE_REG);
1601b86c6ba6SRichard Henderson            } else if (cpuinfo & CPUINFO_ZBA) {
16024944d359SRichard Henderson                tcg_out_opc_reg(s, OPC_ADD_UW, base, addr_reg,
16034944d359SRichard Henderson                                TCG_GUEST_BASE_REG);
1604eda15159SRichard Henderson            } else {
1605eda15159SRichard Henderson                tcg_out_ext32u(s, base, addr_reg);
1606eda15159SRichard Henderson                tcg_out_opc_reg(s, OPC_ADD, base, base, TCG_GUEST_BASE_REG);
1607eda15159SRichard Henderson            }
16088aefe1fbSRichard Henderson        } else if (addr_type != TCG_TYPE_I32) {
1609eda15159SRichard Henderson            base = addr_reg;
1610eda15159SRichard Henderson        } else {
1611eda15159SRichard Henderson            base = TCG_REG_TMP0;
1612eda15159SRichard Henderson            tcg_out_ext32u(s, base, addr_reg);
1613001dddfeSRichard Henderson        }
1614001dddfeSRichard Henderson        *pbase = base;
16154944d359SRichard Henderson    }
1616001dddfeSRichard Henderson
1617001dddfeSRichard Henderson    return ldst;
1618001dddfeSRichard Henderson}
1619001dddfeSRichard Henderson
1620aeb6326eSRichard Hendersonstatic void tcg_out_qemu_ld_direct(TCGContext *s, TCGReg val,
1621f7041977SRichard Henderson                                   TCGReg base, MemOp opc, TCGType type)
1622139c1837SPaolo Bonzini{
1623c86bd2dcSRichard Henderson    /* Byte swapping is left to middle-end expansion. */
1624c86bd2dcSRichard Henderson    tcg_debug_assert((opc & MO_BSWAP) == 0);
1625139c1837SPaolo Bonzini
1626139c1837SPaolo Bonzini    switch (opc & (MO_SSIZE)) {
1627139c1837SPaolo Bonzini    case MO_UB:
1628aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LBU, val, base, 0);
1629139c1837SPaolo Bonzini        break;
1630139c1837SPaolo Bonzini    case MO_SB:
1631aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LB, val, base, 0);
1632139c1837SPaolo Bonzini        break;
1633139c1837SPaolo Bonzini    case MO_UW:
1634aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LHU, val, base, 0);
1635139c1837SPaolo Bonzini        break;
1636139c1837SPaolo Bonzini    case MO_SW:
1637aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LH, val, base, 0);
1638139c1837SPaolo Bonzini        break;
1639139c1837SPaolo Bonzini    case MO_UL:
1640f7041977SRichard Henderson        if (type == TCG_TYPE_I64) {
1641aeb6326eSRichard Henderson            tcg_out_opc_imm(s, OPC_LWU, val, base, 0);
1642139c1837SPaolo Bonzini            break;
1643139c1837SPaolo Bonzini        }
1644139c1837SPaolo Bonzini        /* FALLTHRU */
1645139c1837SPaolo Bonzini    case MO_SL:
1646aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LW, val, base, 0);
1647139c1837SPaolo Bonzini        break;
1648fc313c64SFrédéric Pétrot    case MO_UQ:
1649aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LD, val, base, 0);
1650139c1837SPaolo Bonzini        break;
1651139c1837SPaolo Bonzini    default:
1652139c1837SPaolo Bonzini        g_assert_not_reached();
1653139c1837SPaolo Bonzini    }
1654139c1837SPaolo Bonzini}
1655139c1837SPaolo Bonzini
1656f7041977SRichard Hendersonstatic void tcg_out_qemu_ld(TCGContext *s, TCGReg data_reg, TCGReg addr_reg,
1657f7041977SRichard Henderson                            MemOpIdx oi, TCGType data_type)
1658139c1837SPaolo Bonzini{
1659001dddfeSRichard Henderson    TCGLabelQemuLdst *ldst;
16602e3a933aSRichard Henderson    TCGReg base;
1661139c1837SPaolo Bonzini
1662001dddfeSRichard Henderson    ldst = prepare_host_addr(s, &base, addr_reg, oi, true);
1663001dddfeSRichard Henderson    tcg_out_qemu_ld_direct(s, data_reg, base, get_memop(oi), data_type);
1664f7041977SRichard Henderson
1665001dddfeSRichard Henderson    if (ldst) {
1666001dddfeSRichard Henderson        ldst->type = data_type;
1667001dddfeSRichard Henderson        ldst->datalo_reg = data_reg;
1668001dddfeSRichard Henderson        ldst->raddr = tcg_splitwx_to_rx(s->code_ptr);
1669a3fb7c99SRichard Henderson    }
1670139c1837SPaolo Bonzini}
1671139c1837SPaolo Bonzini
1672aeb6326eSRichard Hendersonstatic void tcg_out_qemu_st_direct(TCGContext *s, TCGReg val,
1673139c1837SPaolo Bonzini                                   TCGReg base, MemOp opc)
1674139c1837SPaolo Bonzini{
1675c86bd2dcSRichard Henderson    /* Byte swapping is left to middle-end expansion. */
1676c86bd2dcSRichard Henderson    tcg_debug_assert((opc & MO_BSWAP) == 0);
1677139c1837SPaolo Bonzini
1678139c1837SPaolo Bonzini    switch (opc & (MO_SSIZE)) {
1679139c1837SPaolo Bonzini    case MO_8:
1680aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SB, base, val, 0);
1681139c1837SPaolo Bonzini        break;
1682139c1837SPaolo Bonzini    case MO_16:
1683aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SH, base, val, 0);
1684139c1837SPaolo Bonzini        break;
1685139c1837SPaolo Bonzini    case MO_32:
1686aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SW, base, val, 0);
1687139c1837SPaolo Bonzini        break;
1688139c1837SPaolo Bonzini    case MO_64:
1689aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SD, base, val, 0);
1690139c1837SPaolo Bonzini        break;
1691139c1837SPaolo Bonzini    default:
1692139c1837SPaolo Bonzini        g_assert_not_reached();
1693139c1837SPaolo Bonzini    }
1694139c1837SPaolo Bonzini}
1695139c1837SPaolo Bonzini
1696f7041977SRichard Hendersonstatic void tcg_out_qemu_st(TCGContext *s, TCGReg data_reg, TCGReg addr_reg,
1697f7041977SRichard Henderson                            MemOpIdx oi, TCGType data_type)
1698139c1837SPaolo Bonzini{
1699001dddfeSRichard Henderson    TCGLabelQemuLdst *ldst;
17002e3a933aSRichard Henderson    TCGReg base;
1701139c1837SPaolo Bonzini
1702001dddfeSRichard Henderson    ldst = prepare_host_addr(s, &base, addr_reg, oi, false);
1703001dddfeSRichard Henderson    tcg_out_qemu_st_direct(s, data_reg, base, get_memop(oi));
1704f7041977SRichard Henderson
1705001dddfeSRichard Henderson    if (ldst) {
1706001dddfeSRichard Henderson        ldst->type = data_type;
1707001dddfeSRichard Henderson        ldst->datalo_reg = data_reg;
1708001dddfeSRichard Henderson        ldst->raddr = tcg_splitwx_to_rx(s->code_ptr);
1709a3fb7c99SRichard Henderson    }
1710139c1837SPaolo Bonzini}
1711139c1837SPaolo Bonzini
1712793f7381SRichard Hendersonstatic const tcg_insn_unit *tb_ret_addr;
1713139c1837SPaolo Bonzini
1714b55a8d9dSRichard Hendersonstatic void tcg_out_exit_tb(TCGContext *s, uintptr_t a0)
1715b55a8d9dSRichard Henderson{
1716b55a8d9dSRichard Henderson    /* Reuse the zeroing that exists for goto_ptr.  */
1717b55a8d9dSRichard Henderson    if (a0 == 0) {
1718b55a8d9dSRichard Henderson        tcg_out_call_int(s, tcg_code_gen_epilogue, true);
1719b55a8d9dSRichard Henderson    } else {
1720b55a8d9dSRichard Henderson        tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_A0, a0);
1721b55a8d9dSRichard Henderson        tcg_out_call_int(s, tb_ret_addr, true);
1722b55a8d9dSRichard Henderson    }
1723b55a8d9dSRichard Henderson}
1724b55a8d9dSRichard Henderson
1725cf7d6b8eSRichard Hendersonstatic void tcg_out_goto_tb(TCGContext *s, int which)
1726cf7d6b8eSRichard Henderson{
1727493c9b19SRichard Henderson    /* Direct branch will be patched by tb_target_set_jmp_target. */
1728493c9b19SRichard Henderson    set_jmp_insn_offset(s, which);
1729493c9b19SRichard Henderson    tcg_out32(s, OPC_JAL);
1730493c9b19SRichard Henderson
1731493c9b19SRichard Henderson    /* When branch is out of range, fall through to indirect. */
1732cf7d6b8eSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_REG_ZERO,
1733cf7d6b8eSRichard Henderson               get_jmp_target_addr(s, which));
1734cf7d6b8eSRichard Henderson    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_TMP0, 0);
1735cf7d6b8eSRichard Henderson    set_jmp_reset_offset(s, which);
1736cf7d6b8eSRichard Henderson}
1737cf7d6b8eSRichard Henderson
173890c0fee3SRichard Hendersonvoid tb_target_set_jmp_target(const TranslationBlock *tb, int n,
173990c0fee3SRichard Henderson                              uintptr_t jmp_rx, uintptr_t jmp_rw)
174090c0fee3SRichard Henderson{
1741493c9b19SRichard Henderson    uintptr_t addr = tb->jmp_target_addr[n];
1742493c9b19SRichard Henderson    ptrdiff_t offset = addr - jmp_rx;
1743493c9b19SRichard Henderson    tcg_insn_unit insn;
1744493c9b19SRichard Henderson
1745493c9b19SRichard Henderson    /* Either directly branch, or fall through to indirect branch. */
1746493c9b19SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
1747493c9b19SRichard Henderson        insn = encode_uj(OPC_JAL, TCG_REG_ZERO, offset);
1748493c9b19SRichard Henderson    } else {
1749493c9b19SRichard Henderson        insn = OPC_NOP;
1750493c9b19SRichard Henderson    }
1751493c9b19SRichard Henderson    qatomic_set((uint32_t *)jmp_rw, insn);
1752493c9b19SRichard Henderson    flush_idcache_range(jmp_rx, jmp_rw, 4);
175390c0fee3SRichard Henderson}
175490c0fee3SRichard Henderson
1755139c1837SPaolo Bonzinistatic void tcg_out_op(TCGContext *s, TCGOpcode opc,
17565e8892dbSMiroslav Rezanina                       const TCGArg args[TCG_MAX_OP_ARGS],
17575e8892dbSMiroslav Rezanina                       const int const_args[TCG_MAX_OP_ARGS])
1758139c1837SPaolo Bonzini{
1759139c1837SPaolo Bonzini    TCGArg a0 = args[0];
1760139c1837SPaolo Bonzini    TCGArg a1 = args[1];
1761139c1837SPaolo Bonzini    TCGArg a2 = args[2];
1762139c1837SPaolo Bonzini    int c2 = const_args[2];
1763139c1837SPaolo Bonzini
1764139c1837SPaolo Bonzini    switch (opc) {
1765139c1837SPaolo Bonzini    case INDEX_op_goto_ptr:
1766139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, a0, 0);
1767139c1837SPaolo Bonzini        break;
1768139c1837SPaolo Bonzini
1769139c1837SPaolo Bonzini    case INDEX_op_br:
1770139c1837SPaolo Bonzini        tcg_out_reloc(s, s->code_ptr, R_RISCV_JAL, arg_label(a0), 0);
1771139c1837SPaolo Bonzini        tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
1772139c1837SPaolo Bonzini        break;
1773139c1837SPaolo Bonzini
1774139c1837SPaolo Bonzini    case INDEX_op_ld8u_i32:
1775139c1837SPaolo Bonzini    case INDEX_op_ld8u_i64:
1776139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LBU, a0, a1, a2);
1777139c1837SPaolo Bonzini        break;
1778139c1837SPaolo Bonzini    case INDEX_op_ld8s_i32:
1779139c1837SPaolo Bonzini    case INDEX_op_ld8s_i64:
1780139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LB, a0, a1, a2);
1781139c1837SPaolo Bonzini        break;
1782139c1837SPaolo Bonzini    case INDEX_op_ld16u_i32:
1783139c1837SPaolo Bonzini    case INDEX_op_ld16u_i64:
1784139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LHU, a0, a1, a2);
1785139c1837SPaolo Bonzini        break;
1786139c1837SPaolo Bonzini    case INDEX_op_ld16s_i32:
1787139c1837SPaolo Bonzini    case INDEX_op_ld16s_i64:
1788139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LH, a0, a1, a2);
1789139c1837SPaolo Bonzini        break;
1790139c1837SPaolo Bonzini    case INDEX_op_ld32u_i64:
1791139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LWU, a0, a1, a2);
1792139c1837SPaolo Bonzini        break;
1793139c1837SPaolo Bonzini    case INDEX_op_ld_i32:
1794139c1837SPaolo Bonzini    case INDEX_op_ld32s_i64:
1795139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LW, a0, a1, a2);
1796139c1837SPaolo Bonzini        break;
1797139c1837SPaolo Bonzini    case INDEX_op_ld_i64:
1798139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LD, a0, a1, a2);
1799139c1837SPaolo Bonzini        break;
1800139c1837SPaolo Bonzini
1801139c1837SPaolo Bonzini    case INDEX_op_st8_i32:
1802139c1837SPaolo Bonzini    case INDEX_op_st8_i64:
1803139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SB, a0, a1, a2);
1804139c1837SPaolo Bonzini        break;
1805139c1837SPaolo Bonzini    case INDEX_op_st16_i32:
1806139c1837SPaolo Bonzini    case INDEX_op_st16_i64:
1807139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SH, a0, a1, a2);
1808139c1837SPaolo Bonzini        break;
1809139c1837SPaolo Bonzini    case INDEX_op_st_i32:
1810139c1837SPaolo Bonzini    case INDEX_op_st32_i64:
1811139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SW, a0, a1, a2);
1812139c1837SPaolo Bonzini        break;
1813139c1837SPaolo Bonzini    case INDEX_op_st_i64:
1814139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SD, a0, a1, a2);
1815139c1837SPaolo Bonzini        break;
1816139c1837SPaolo Bonzini
1817139c1837SPaolo Bonzini    case INDEX_op_add_i32:
1818139c1837SPaolo Bonzini        if (c2) {
1819139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, a2);
1820139c1837SPaolo Bonzini        } else {
1821139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_ADDW, a0, a1, a2);
1822139c1837SPaolo Bonzini        }
1823139c1837SPaolo Bonzini        break;
1824139c1837SPaolo Bonzini    case INDEX_op_add_i64:
1825139c1837SPaolo Bonzini        if (c2) {
1826139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, a2);
1827139c1837SPaolo Bonzini        } else {
1828139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_ADD, a0, a1, a2);
1829139c1837SPaolo Bonzini        }
1830139c1837SPaolo Bonzini        break;
1831139c1837SPaolo Bonzini
1832139c1837SPaolo Bonzini    case INDEX_op_sub_i32:
1833139c1837SPaolo Bonzini        if (c2) {
1834139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, -a2);
1835139c1837SPaolo Bonzini        } else {
1836139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SUBW, a0, a1, a2);
1837139c1837SPaolo Bonzini        }
1838139c1837SPaolo Bonzini        break;
1839139c1837SPaolo Bonzini    case INDEX_op_sub_i64:
1840139c1837SPaolo Bonzini        if (c2) {
1841139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, -a2);
1842139c1837SPaolo Bonzini        } else {
1843139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SUB, a0, a1, a2);
1844139c1837SPaolo Bonzini        }
1845139c1837SPaolo Bonzini        break;
1846139c1837SPaolo Bonzini
1847139c1837SPaolo Bonzini    case INDEX_op_and_i32:
1848139c1837SPaolo Bonzini    case INDEX_op_and_i64:
1849139c1837SPaolo Bonzini        if (c2) {
1850139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ANDI, a0, a1, a2);
1851139c1837SPaolo Bonzini        } else {
1852139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_AND, a0, a1, a2);
1853139c1837SPaolo Bonzini        }
1854139c1837SPaolo Bonzini        break;
1855139c1837SPaolo Bonzini
1856139c1837SPaolo Bonzini    case INDEX_op_or_i32:
1857139c1837SPaolo Bonzini    case INDEX_op_or_i64:
1858139c1837SPaolo Bonzini        if (c2) {
1859139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ORI, a0, a1, a2);
1860139c1837SPaolo Bonzini        } else {
1861139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_OR, a0, a1, a2);
1862139c1837SPaolo Bonzini        }
1863139c1837SPaolo Bonzini        break;
1864139c1837SPaolo Bonzini
1865139c1837SPaolo Bonzini    case INDEX_op_xor_i32:
1866139c1837SPaolo Bonzini    case INDEX_op_xor_i64:
1867139c1837SPaolo Bonzini        if (c2) {
1868139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_XORI, a0, a1, a2);
1869139c1837SPaolo Bonzini        } else {
1870139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_XOR, a0, a1, a2);
1871139c1837SPaolo Bonzini        }
1872139c1837SPaolo Bonzini        break;
1873139c1837SPaolo Bonzini
187499f4ec6eSRichard Henderson    case INDEX_op_andc_i32:
187599f4ec6eSRichard Henderson    case INDEX_op_andc_i64:
187699f4ec6eSRichard Henderson        if (c2) {
187799f4ec6eSRichard Henderson            tcg_out_opc_imm(s, OPC_ANDI, a0, a1, ~a2);
187899f4ec6eSRichard Henderson        } else {
187999f4ec6eSRichard Henderson            tcg_out_opc_reg(s, OPC_ANDN, a0, a1, a2);
188099f4ec6eSRichard Henderson        }
188199f4ec6eSRichard Henderson        break;
188299f4ec6eSRichard Henderson    case INDEX_op_orc_i32:
188399f4ec6eSRichard Henderson    case INDEX_op_orc_i64:
188499f4ec6eSRichard Henderson        if (c2) {
188599f4ec6eSRichard Henderson            tcg_out_opc_imm(s, OPC_ORI, a0, a1, ~a2);
188699f4ec6eSRichard Henderson        } else {
188799f4ec6eSRichard Henderson            tcg_out_opc_reg(s, OPC_ORN, a0, a1, a2);
188899f4ec6eSRichard Henderson        }
188999f4ec6eSRichard Henderson        break;
189099f4ec6eSRichard Henderson    case INDEX_op_eqv_i32:
189199f4ec6eSRichard Henderson    case INDEX_op_eqv_i64:
189299f4ec6eSRichard Henderson        if (c2) {
189399f4ec6eSRichard Henderson            tcg_out_opc_imm(s, OPC_XORI, a0, a1, ~a2);
189499f4ec6eSRichard Henderson        } else {
189599f4ec6eSRichard Henderson            tcg_out_opc_reg(s, OPC_XNOR, a0, a1, a2);
189699f4ec6eSRichard Henderson        }
189799f4ec6eSRichard Henderson        break;
189899f4ec6eSRichard Henderson
1899139c1837SPaolo Bonzini    case INDEX_op_not_i32:
1900139c1837SPaolo Bonzini    case INDEX_op_not_i64:
1901139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, a0, a1, -1);
1902139c1837SPaolo Bonzini        break;
1903139c1837SPaolo Bonzini
1904139c1837SPaolo Bonzini    case INDEX_op_neg_i32:
1905139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUBW, a0, TCG_REG_ZERO, a1);
1906139c1837SPaolo Bonzini        break;
1907139c1837SPaolo Bonzini    case INDEX_op_neg_i64:
1908139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, a0, TCG_REG_ZERO, a1);
1909139c1837SPaolo Bonzini        break;
1910139c1837SPaolo Bonzini
1911139c1837SPaolo Bonzini    case INDEX_op_mul_i32:
1912139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULW, a0, a1, a2);
1913139c1837SPaolo Bonzini        break;
1914139c1837SPaolo Bonzini    case INDEX_op_mul_i64:
1915139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MUL, a0, a1, a2);
1916139c1837SPaolo Bonzini        break;
1917139c1837SPaolo Bonzini
1918139c1837SPaolo Bonzini    case INDEX_op_div_i32:
1919139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVW, a0, a1, a2);
1920139c1837SPaolo Bonzini        break;
1921139c1837SPaolo Bonzini    case INDEX_op_div_i64:
1922139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIV, a0, a1, a2);
1923139c1837SPaolo Bonzini        break;
1924139c1837SPaolo Bonzini
1925139c1837SPaolo Bonzini    case INDEX_op_divu_i32:
1926139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVUW, a0, a1, a2);
1927139c1837SPaolo Bonzini        break;
1928139c1837SPaolo Bonzini    case INDEX_op_divu_i64:
1929139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVU, a0, a1, a2);
1930139c1837SPaolo Bonzini        break;
1931139c1837SPaolo Bonzini
1932139c1837SPaolo Bonzini    case INDEX_op_rem_i32:
1933139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMW, a0, a1, a2);
1934139c1837SPaolo Bonzini        break;
1935139c1837SPaolo Bonzini    case INDEX_op_rem_i64:
1936139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REM, a0, a1, a2);
1937139c1837SPaolo Bonzini        break;
1938139c1837SPaolo Bonzini
1939139c1837SPaolo Bonzini    case INDEX_op_remu_i32:
1940139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMUW, a0, a1, a2);
1941139c1837SPaolo Bonzini        break;
1942139c1837SPaolo Bonzini    case INDEX_op_remu_i64:
1943139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMU, a0, a1, a2);
1944139c1837SPaolo Bonzini        break;
1945139c1837SPaolo Bonzini
1946139c1837SPaolo Bonzini    case INDEX_op_shl_i32:
1947139c1837SPaolo Bonzini        if (c2) {
1948d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SLLIW, a0, a1, a2 & 0x1f);
1949139c1837SPaolo Bonzini        } else {
1950139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLLW, a0, a1, a2);
1951139c1837SPaolo Bonzini        }
1952139c1837SPaolo Bonzini        break;
1953139c1837SPaolo Bonzini    case INDEX_op_shl_i64:
1954139c1837SPaolo Bonzini        if (c2) {
1955d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SLLI, a0, a1, a2 & 0x3f);
1956139c1837SPaolo Bonzini        } else {
1957139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLL, a0, a1, a2);
1958139c1837SPaolo Bonzini        }
1959139c1837SPaolo Bonzini        break;
1960139c1837SPaolo Bonzini
1961139c1837SPaolo Bonzini    case INDEX_op_shr_i32:
1962139c1837SPaolo Bonzini        if (c2) {
1963d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRLIW, a0, a1, a2 & 0x1f);
1964139c1837SPaolo Bonzini        } else {
1965139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRLW, a0, a1, a2);
1966139c1837SPaolo Bonzini        }
1967139c1837SPaolo Bonzini        break;
1968139c1837SPaolo Bonzini    case INDEX_op_shr_i64:
1969139c1837SPaolo Bonzini        if (c2) {
1970d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRLI, a0, a1, a2 & 0x3f);
1971139c1837SPaolo Bonzini        } else {
1972139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRL, a0, a1, a2);
1973139c1837SPaolo Bonzini        }
1974139c1837SPaolo Bonzini        break;
1975139c1837SPaolo Bonzini
1976139c1837SPaolo Bonzini    case INDEX_op_sar_i32:
1977139c1837SPaolo Bonzini        if (c2) {
1978d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRAIW, a0, a1, a2 & 0x1f);
1979139c1837SPaolo Bonzini        } else {
1980139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRAW, a0, a1, a2);
1981139c1837SPaolo Bonzini        }
1982139c1837SPaolo Bonzini        break;
1983139c1837SPaolo Bonzini    case INDEX_op_sar_i64:
1984139c1837SPaolo Bonzini        if (c2) {
1985d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRAI, a0, a1, a2 & 0x3f);
1986139c1837SPaolo Bonzini        } else {
1987139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRA, a0, a1, a2);
1988139c1837SPaolo Bonzini        }
1989139c1837SPaolo Bonzini        break;
1990139c1837SPaolo Bonzini
199119d016adSRichard Henderson    case INDEX_op_rotl_i32:
199219d016adSRichard Henderson        if (c2) {
199319d016adSRichard Henderson            tcg_out_opc_imm(s, OPC_RORIW, a0, a1, -a2 & 0x1f);
199419d016adSRichard Henderson        } else {
199519d016adSRichard Henderson            tcg_out_opc_reg(s, OPC_ROLW, a0, a1, a2);
199619d016adSRichard Henderson        }
199719d016adSRichard Henderson        break;
199819d016adSRichard Henderson    case INDEX_op_rotl_i64:
199919d016adSRichard Henderson        if (c2) {
200019d016adSRichard Henderson            tcg_out_opc_imm(s, OPC_RORI, a0, a1, -a2 & 0x3f);
200119d016adSRichard Henderson        } else {
200219d016adSRichard Henderson            tcg_out_opc_reg(s, OPC_ROL, a0, a1, a2);
200319d016adSRichard Henderson        }
200419d016adSRichard Henderson        break;
200519d016adSRichard Henderson
200619d016adSRichard Henderson    case INDEX_op_rotr_i32:
200719d016adSRichard Henderson        if (c2) {
200819d016adSRichard Henderson            tcg_out_opc_imm(s, OPC_RORIW, a0, a1, a2 & 0x1f);
200919d016adSRichard Henderson        } else {
201019d016adSRichard Henderson            tcg_out_opc_reg(s, OPC_RORW, a0, a1, a2);
201119d016adSRichard Henderson        }
201219d016adSRichard Henderson        break;
201319d016adSRichard Henderson    case INDEX_op_rotr_i64:
201419d016adSRichard Henderson        if (c2) {
201519d016adSRichard Henderson            tcg_out_opc_imm(s, OPC_RORI, a0, a1, a2 & 0x3f);
201619d016adSRichard Henderson        } else {
201719d016adSRichard Henderson            tcg_out_opc_reg(s, OPC_ROR, a0, a1, a2);
201819d016adSRichard Henderson        }
201919d016adSRichard Henderson        break;
202019d016adSRichard Henderson
20217b4d5274SRichard Henderson    case INDEX_op_bswap64_i64:
20227b4d5274SRichard Henderson        tcg_out_opc_imm(s, OPC_REV8, a0, a1, 0);
20237b4d5274SRichard Henderson        break;
20247b4d5274SRichard Henderson    case INDEX_op_bswap32_i32:
20257b4d5274SRichard Henderson        a2 = 0;
20267b4d5274SRichard Henderson        /* fall through */
20277b4d5274SRichard Henderson    case INDEX_op_bswap32_i64:
20287b4d5274SRichard Henderson        tcg_out_opc_imm(s, OPC_REV8, a0, a1, 0);
20297b4d5274SRichard Henderson        if (a2 & TCG_BSWAP_OZ) {
20307b4d5274SRichard Henderson            tcg_out_opc_imm(s, OPC_SRLI, a0, a0, 32);
20317b4d5274SRichard Henderson        } else {
20327b4d5274SRichard Henderson            tcg_out_opc_imm(s, OPC_SRAI, a0, a0, 32);
20337b4d5274SRichard Henderson        }
20347b4d5274SRichard Henderson        break;
20357b4d5274SRichard Henderson    case INDEX_op_bswap16_i64:
20367b4d5274SRichard Henderson    case INDEX_op_bswap16_i32:
20377b4d5274SRichard Henderson        tcg_out_opc_imm(s, OPC_REV8, a0, a1, 0);
20387b4d5274SRichard Henderson        if (a2 & TCG_BSWAP_OZ) {
20397b4d5274SRichard Henderson            tcg_out_opc_imm(s, OPC_SRLI, a0, a0, 48);
20407b4d5274SRichard Henderson        } else {
20417b4d5274SRichard Henderson            tcg_out_opc_imm(s, OPC_SRAI, a0, a0, 48);
20427b4d5274SRichard Henderson        }
20437b4d5274SRichard Henderson        break;
20447b4d5274SRichard Henderson
20450956ecdaSRichard Henderson    case INDEX_op_ctpop_i32:
20460956ecdaSRichard Henderson        tcg_out_opc_imm(s, OPC_CPOPW, a0, a1, 0);
20470956ecdaSRichard Henderson        break;
20480956ecdaSRichard Henderson    case INDEX_op_ctpop_i64:
20490956ecdaSRichard Henderson        tcg_out_opc_imm(s, OPC_CPOP, a0, a1, 0);
20500956ecdaSRichard Henderson        break;
20510956ecdaSRichard Henderson
2052a30498fcSRichard Henderson    case INDEX_op_clz_i32:
2053a30498fcSRichard Henderson        tcg_out_cltz(s, TCG_TYPE_I32, OPC_CLZW, a0, a1, a2, c2);
2054a30498fcSRichard Henderson        break;
2055a30498fcSRichard Henderson    case INDEX_op_clz_i64:
2056a30498fcSRichard Henderson        tcg_out_cltz(s, TCG_TYPE_I64, OPC_CLZ, a0, a1, a2, c2);
2057a30498fcSRichard Henderson        break;
2058a30498fcSRichard Henderson    case INDEX_op_ctz_i32:
2059a30498fcSRichard Henderson        tcg_out_cltz(s, TCG_TYPE_I32, OPC_CTZW, a0, a1, a2, c2);
2060a30498fcSRichard Henderson        break;
2061a30498fcSRichard Henderson    case INDEX_op_ctz_i64:
2062a30498fcSRichard Henderson        tcg_out_cltz(s, TCG_TYPE_I64, OPC_CTZ, a0, a1, a2, c2);
2063a30498fcSRichard Henderson        break;
2064a30498fcSRichard Henderson
2065139c1837SPaolo Bonzini    case INDEX_op_add2_i32:
2066139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
2067139c1837SPaolo Bonzini                        const_args[4], const_args[5], false, true);
2068139c1837SPaolo Bonzini        break;
2069139c1837SPaolo Bonzini    case INDEX_op_add2_i64:
2070139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
2071139c1837SPaolo Bonzini                        const_args[4], const_args[5], false, false);
2072139c1837SPaolo Bonzini        break;
2073139c1837SPaolo Bonzini    case INDEX_op_sub2_i32:
2074139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
2075139c1837SPaolo Bonzini                        const_args[4], const_args[5], true, true);
2076139c1837SPaolo Bonzini        break;
2077139c1837SPaolo Bonzini    case INDEX_op_sub2_i64:
2078139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
2079139c1837SPaolo Bonzini                        const_args[4], const_args[5], true, false);
2080139c1837SPaolo Bonzini        break;
2081139c1837SPaolo Bonzini
2082139c1837SPaolo Bonzini    case INDEX_op_brcond_i32:
2083139c1837SPaolo Bonzini    case INDEX_op_brcond_i64:
2084139c1837SPaolo Bonzini        tcg_out_brcond(s, a2, a0, a1, arg_label(args[3]));
2085139c1837SPaolo Bonzini        break;
2086139c1837SPaolo Bonzini
2087139c1837SPaolo Bonzini    case INDEX_op_setcond_i32:
2088139c1837SPaolo Bonzini    case INDEX_op_setcond_i64:
2089f6453695SRichard Henderson        tcg_out_setcond(s, args[3], a0, a1, a2, c2);
2090139c1837SPaolo Bonzini        break;
2091139c1837SPaolo Bonzini
209241e4c0a9SRichard Henderson    case INDEX_op_negsetcond_i32:
209341e4c0a9SRichard Henderson    case INDEX_op_negsetcond_i64:
209441e4c0a9SRichard Henderson        tcg_out_negsetcond(s, args[3], a0, a1, a2, c2);
209541e4c0a9SRichard Henderson        break;
209641e4c0a9SRichard Henderson
2097a18d783eSRichard Henderson    case INDEX_op_movcond_i32:
2098a18d783eSRichard Henderson    case INDEX_op_movcond_i64:
2099a18d783eSRichard Henderson        tcg_out_movcond(s, args[5], a0, a1, a2, c2,
2100a18d783eSRichard Henderson                        args[3], const_args[3], args[4], const_args[4]);
2101a18d783eSRichard Henderson        break;
2102a18d783eSRichard Henderson
2103fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a32_i32:
2104fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a64_i32:
2105f7041977SRichard Henderson        tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I32);
2106139c1837SPaolo Bonzini        break;
2107fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a32_i64:
2108fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a64_i64:
2109f7041977SRichard Henderson        tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I64);
2110139c1837SPaolo Bonzini        break;
2111fecccfccSRichard Henderson    case INDEX_op_qemu_st_a32_i32:
2112fecccfccSRichard Henderson    case INDEX_op_qemu_st_a64_i32:
2113f7041977SRichard Henderson        tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I32);
2114139c1837SPaolo Bonzini        break;
2115fecccfccSRichard Henderson    case INDEX_op_qemu_st_a32_i64:
2116fecccfccSRichard Henderson    case INDEX_op_qemu_st_a64_i64:
2117f7041977SRichard Henderson        tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I64);
2118139c1837SPaolo Bonzini        break;
2119139c1837SPaolo Bonzini
2120139c1837SPaolo Bonzini    case INDEX_op_extrh_i64_i32:
2121139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRAI, a0, a1, 32);
2122139c1837SPaolo Bonzini        break;
2123139c1837SPaolo Bonzini
2124139c1837SPaolo Bonzini    case INDEX_op_mulsh_i32:
2125139c1837SPaolo Bonzini    case INDEX_op_mulsh_i64:
2126139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULH, a0, a1, a2);
2127139c1837SPaolo Bonzini        break;
2128139c1837SPaolo Bonzini
2129139c1837SPaolo Bonzini    case INDEX_op_muluh_i32:
2130139c1837SPaolo Bonzini    case INDEX_op_muluh_i64:
2131139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULHU, a0, a1, a2);
2132139c1837SPaolo Bonzini        break;
2133139c1837SPaolo Bonzini
2134139c1837SPaolo Bonzini    case INDEX_op_mb:
2135139c1837SPaolo Bonzini        tcg_out_mb(s, a0);
2136139c1837SPaolo Bonzini        break;
2137139c1837SPaolo Bonzini
2138139c1837SPaolo Bonzini    case INDEX_op_mov_i32:  /* Always emitted via tcg_out_mov.  */
2139139c1837SPaolo Bonzini    case INDEX_op_mov_i64:
2140139c1837SPaolo Bonzini    case INDEX_op_call:     /* Always emitted via tcg_out_call.  */
2141b55a8d9dSRichard Henderson    case INDEX_op_exit_tb:  /* Always emitted via tcg_out_exit_tb.  */
2142cf7d6b8eSRichard Henderson    case INDEX_op_goto_tb:  /* Always emitted via tcg_out_goto_tb.  */
2143678155b2SRichard Henderson    case INDEX_op_ext8s_i32:  /* Always emitted via tcg_reg_alloc_op.  */
2144678155b2SRichard Henderson    case INDEX_op_ext8s_i64:
2145d0e66c89SRichard Henderson    case INDEX_op_ext8u_i32:
2146d0e66c89SRichard Henderson    case INDEX_op_ext8u_i64:
2147753e42eaSRichard Henderson    case INDEX_op_ext16s_i32:
2148753e42eaSRichard Henderson    case INDEX_op_ext16s_i64:
2149379afdffSRichard Henderson    case INDEX_op_ext16u_i32:
2150379afdffSRichard Henderson    case INDEX_op_ext16u_i64:
215152bf3398SRichard Henderson    case INDEX_op_ext32s_i64:
21529ecf5f61SRichard Henderson    case INDEX_op_ext32u_i64:
21539c6aa274SRichard Henderson    case INDEX_op_ext_i32_i64:
2154b9bfe000SRichard Henderson    case INDEX_op_extu_i32_i64:
2155b8b94ac6SRichard Henderson    case INDEX_op_extrl_i64_i32:
2156139c1837SPaolo Bonzini    default:
2157139c1837SPaolo Bonzini        g_assert_not_reached();
2158139c1837SPaolo Bonzini    }
2159139c1837SPaolo Bonzini}
2160139c1837SPaolo Bonzini
2161f63e7089SHuang Shiyuanstatic void tcg_out_vec_op(TCGContext *s, TCGOpcode opc,
2162f63e7089SHuang Shiyuan                           unsigned vecl, unsigned vece,
2163f63e7089SHuang Shiyuan                           const TCGArg args[TCG_MAX_OP_ARGS],
2164f63e7089SHuang Shiyuan                           const int const_args[TCG_MAX_OP_ARGS])
2165f63e7089SHuang Shiyuan{
2166f63e7089SHuang Shiyuan    TCGType type = vecl + TCG_TYPE_V64;
2167f63e7089SHuang Shiyuan    TCGArg a0, a1, a2;
2168f63e7089SHuang Shiyuan
2169f63e7089SHuang Shiyuan    a0 = args[0];
2170f63e7089SHuang Shiyuan    a1 = args[1];
2171f63e7089SHuang Shiyuan    a2 = args[2];
2172f63e7089SHuang Shiyuan
2173f63e7089SHuang Shiyuan    switch (opc) {
2174*d4be6ee1STANG Tiancheng    case INDEX_op_dupm_vec:
2175*d4be6ee1STANG Tiancheng        tcg_out_dupm_vec(s, type, vece, a0, a1, a2);
2176*d4be6ee1STANG Tiancheng        break;
2177f63e7089SHuang Shiyuan    case INDEX_op_ld_vec:
2178f63e7089SHuang Shiyuan        tcg_out_ld(s, type, a0, a1, a2);
2179f63e7089SHuang Shiyuan        break;
2180f63e7089SHuang Shiyuan    case INDEX_op_st_vec:
2181f63e7089SHuang Shiyuan        tcg_out_st(s, type, a0, a1, a2);
2182f63e7089SHuang Shiyuan        break;
2183f63e7089SHuang Shiyuan    case INDEX_op_mov_vec: /* Always emitted via tcg_out_mov.  */
2184f63e7089SHuang Shiyuan    case INDEX_op_dup_vec: /* Always emitted via tcg_out_dup_vec.  */
2185f63e7089SHuang Shiyuan    default:
2186f63e7089SHuang Shiyuan        g_assert_not_reached();
2187f63e7089SHuang Shiyuan    }
2188f63e7089SHuang Shiyuan}
2189f63e7089SHuang Shiyuan
2190f63e7089SHuang Shiyuanvoid tcg_expand_vec_op(TCGOpcode opc, TCGType type, unsigned vece,
2191f63e7089SHuang Shiyuan                       TCGArg a0, ...)
2192f63e7089SHuang Shiyuan{
2193f63e7089SHuang Shiyuan    g_assert_not_reached();
2194f63e7089SHuang Shiyuan}
2195f63e7089SHuang Shiyuan
2196f63e7089SHuang Shiyuanint tcg_can_emit_vec_op(TCGOpcode opc, TCGType type, unsigned vece)
2197f63e7089SHuang Shiyuan{
2198f63e7089SHuang Shiyuan    switch (opc) {
2199f63e7089SHuang Shiyuan    default:
2200f63e7089SHuang Shiyuan        return 0;
2201f63e7089SHuang Shiyuan    }
2202f63e7089SHuang Shiyuan}
2203f63e7089SHuang Shiyuan
2204665be288SRichard Hendersonstatic TCGConstraintSetIndex tcg_target_op_def(TCGOpcode op)
2205139c1837SPaolo Bonzini{
2206139c1837SPaolo Bonzini    switch (op) {
2207139c1837SPaolo Bonzini    case INDEX_op_goto_ptr:
2208665be288SRichard Henderson        return C_O0_I1(r);
2209139c1837SPaolo Bonzini
2210139c1837SPaolo Bonzini    case INDEX_op_ld8u_i32:
2211139c1837SPaolo Bonzini    case INDEX_op_ld8s_i32:
2212139c1837SPaolo Bonzini    case INDEX_op_ld16u_i32:
2213139c1837SPaolo Bonzini    case INDEX_op_ld16s_i32:
2214139c1837SPaolo Bonzini    case INDEX_op_ld_i32:
2215139c1837SPaolo Bonzini    case INDEX_op_not_i32:
2216139c1837SPaolo Bonzini    case INDEX_op_neg_i32:
2217139c1837SPaolo Bonzini    case INDEX_op_ld8u_i64:
2218139c1837SPaolo Bonzini    case INDEX_op_ld8s_i64:
2219139c1837SPaolo Bonzini    case INDEX_op_ld16u_i64:
2220139c1837SPaolo Bonzini    case INDEX_op_ld16s_i64:
2221139c1837SPaolo Bonzini    case INDEX_op_ld32s_i64:
2222139c1837SPaolo Bonzini    case INDEX_op_ld32u_i64:
2223139c1837SPaolo Bonzini    case INDEX_op_ld_i64:
2224139c1837SPaolo Bonzini    case INDEX_op_not_i64:
2225139c1837SPaolo Bonzini    case INDEX_op_neg_i64:
2226139c1837SPaolo Bonzini    case INDEX_op_ext8u_i32:
2227139c1837SPaolo Bonzini    case INDEX_op_ext8u_i64:
2228139c1837SPaolo Bonzini    case INDEX_op_ext16u_i32:
2229139c1837SPaolo Bonzini    case INDEX_op_ext16u_i64:
2230139c1837SPaolo Bonzini    case INDEX_op_ext32u_i64:
2231139c1837SPaolo Bonzini    case INDEX_op_extu_i32_i64:
2232139c1837SPaolo Bonzini    case INDEX_op_ext8s_i32:
2233139c1837SPaolo Bonzini    case INDEX_op_ext8s_i64:
2234139c1837SPaolo Bonzini    case INDEX_op_ext16s_i32:
2235139c1837SPaolo Bonzini    case INDEX_op_ext16s_i64:
2236139c1837SPaolo Bonzini    case INDEX_op_ext32s_i64:
2237139c1837SPaolo Bonzini    case INDEX_op_extrl_i64_i32:
2238139c1837SPaolo Bonzini    case INDEX_op_extrh_i64_i32:
2239139c1837SPaolo Bonzini    case INDEX_op_ext_i32_i64:
22407b4d5274SRichard Henderson    case INDEX_op_bswap16_i32:
22417b4d5274SRichard Henderson    case INDEX_op_bswap32_i32:
22427b4d5274SRichard Henderson    case INDEX_op_bswap16_i64:
22437b4d5274SRichard Henderson    case INDEX_op_bswap32_i64:
22447b4d5274SRichard Henderson    case INDEX_op_bswap64_i64:
22450956ecdaSRichard Henderson    case INDEX_op_ctpop_i32:
22460956ecdaSRichard Henderson    case INDEX_op_ctpop_i64:
2247665be288SRichard Henderson        return C_O1_I1(r, r);
2248139c1837SPaolo Bonzini
2249139c1837SPaolo Bonzini    case INDEX_op_st8_i32:
2250139c1837SPaolo Bonzini    case INDEX_op_st16_i32:
2251139c1837SPaolo Bonzini    case INDEX_op_st_i32:
2252139c1837SPaolo Bonzini    case INDEX_op_st8_i64:
2253139c1837SPaolo Bonzini    case INDEX_op_st16_i64:
2254139c1837SPaolo Bonzini    case INDEX_op_st32_i64:
2255139c1837SPaolo Bonzini    case INDEX_op_st_i64:
2256665be288SRichard Henderson        return C_O0_I2(rZ, r);
2257139c1837SPaolo Bonzini
2258139c1837SPaolo Bonzini    case INDEX_op_add_i32:
2259139c1837SPaolo Bonzini    case INDEX_op_and_i32:
2260139c1837SPaolo Bonzini    case INDEX_op_or_i32:
2261139c1837SPaolo Bonzini    case INDEX_op_xor_i32:
2262139c1837SPaolo Bonzini    case INDEX_op_add_i64:
2263139c1837SPaolo Bonzini    case INDEX_op_and_i64:
2264139c1837SPaolo Bonzini    case INDEX_op_or_i64:
2265139c1837SPaolo Bonzini    case INDEX_op_xor_i64:
2266f6453695SRichard Henderson    case INDEX_op_setcond_i32:
2267f6453695SRichard Henderson    case INDEX_op_setcond_i64:
226841e4c0a9SRichard Henderson    case INDEX_op_negsetcond_i32:
226941e4c0a9SRichard Henderson    case INDEX_op_negsetcond_i64:
2270665be288SRichard Henderson        return C_O1_I2(r, r, rI);
2271139c1837SPaolo Bonzini
227299f4ec6eSRichard Henderson    case INDEX_op_andc_i32:
227399f4ec6eSRichard Henderson    case INDEX_op_andc_i64:
227499f4ec6eSRichard Henderson    case INDEX_op_orc_i32:
227599f4ec6eSRichard Henderson    case INDEX_op_orc_i64:
227699f4ec6eSRichard Henderson    case INDEX_op_eqv_i32:
227799f4ec6eSRichard Henderson    case INDEX_op_eqv_i64:
227899f4ec6eSRichard Henderson        return C_O1_I2(r, r, rJ);
227999f4ec6eSRichard Henderson
2280139c1837SPaolo Bonzini    case INDEX_op_sub_i32:
2281139c1837SPaolo Bonzini    case INDEX_op_sub_i64:
2282665be288SRichard Henderson        return C_O1_I2(r, rZ, rN);
2283139c1837SPaolo Bonzini
2284139c1837SPaolo Bonzini    case INDEX_op_mul_i32:
2285139c1837SPaolo Bonzini    case INDEX_op_mulsh_i32:
2286139c1837SPaolo Bonzini    case INDEX_op_muluh_i32:
2287139c1837SPaolo Bonzini    case INDEX_op_div_i32:
2288139c1837SPaolo Bonzini    case INDEX_op_divu_i32:
2289139c1837SPaolo Bonzini    case INDEX_op_rem_i32:
2290139c1837SPaolo Bonzini    case INDEX_op_remu_i32:
2291139c1837SPaolo Bonzini    case INDEX_op_mul_i64:
2292139c1837SPaolo Bonzini    case INDEX_op_mulsh_i64:
2293139c1837SPaolo Bonzini    case INDEX_op_muluh_i64:
2294139c1837SPaolo Bonzini    case INDEX_op_div_i64:
2295139c1837SPaolo Bonzini    case INDEX_op_divu_i64:
2296139c1837SPaolo Bonzini    case INDEX_op_rem_i64:
2297139c1837SPaolo Bonzini    case INDEX_op_remu_i64:
2298665be288SRichard Henderson        return C_O1_I2(r, rZ, rZ);
2299139c1837SPaolo Bonzini
2300139c1837SPaolo Bonzini    case INDEX_op_shl_i32:
2301139c1837SPaolo Bonzini    case INDEX_op_shr_i32:
2302139c1837SPaolo Bonzini    case INDEX_op_sar_i32:
230319d016adSRichard Henderson    case INDEX_op_rotl_i32:
230419d016adSRichard Henderson    case INDEX_op_rotr_i32:
2305139c1837SPaolo Bonzini    case INDEX_op_shl_i64:
2306139c1837SPaolo Bonzini    case INDEX_op_shr_i64:
2307139c1837SPaolo Bonzini    case INDEX_op_sar_i64:
230819d016adSRichard Henderson    case INDEX_op_rotl_i64:
230919d016adSRichard Henderson    case INDEX_op_rotr_i64:
2310665be288SRichard Henderson        return C_O1_I2(r, r, ri);
2311139c1837SPaolo Bonzini
2312a30498fcSRichard Henderson    case INDEX_op_clz_i32:
2313a30498fcSRichard Henderson    case INDEX_op_clz_i64:
2314a30498fcSRichard Henderson    case INDEX_op_ctz_i32:
2315a30498fcSRichard Henderson    case INDEX_op_ctz_i64:
2316a30498fcSRichard Henderson        return C_N1_I2(r, r, rM);
2317a30498fcSRichard Henderson
2318139c1837SPaolo Bonzini    case INDEX_op_brcond_i32:
2319139c1837SPaolo Bonzini    case INDEX_op_brcond_i64:
2320665be288SRichard Henderson        return C_O0_I2(rZ, rZ);
2321139c1837SPaolo Bonzini
2322a18d783eSRichard Henderson    case INDEX_op_movcond_i32:
2323a18d783eSRichard Henderson    case INDEX_op_movcond_i64:
2324a18d783eSRichard Henderson        return C_O1_I4(r, r, rI, rM, rM);
2325a18d783eSRichard Henderson
2326139c1837SPaolo Bonzini    case INDEX_op_add2_i32:
2327139c1837SPaolo Bonzini    case INDEX_op_add2_i64:
2328139c1837SPaolo Bonzini    case INDEX_op_sub2_i32:
2329139c1837SPaolo Bonzini    case INDEX_op_sub2_i64:
2330665be288SRichard Henderson        return C_O2_I4(r, r, rZ, rZ, rM, rM);
2331139c1837SPaolo Bonzini
2332fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a32_i32:
2333fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a64_i32:
2334fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a32_i64:
2335fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a64_i64:
2336f0f43534SRichard Henderson        return C_O1_I1(r, r);
2337fecccfccSRichard Henderson    case INDEX_op_qemu_st_a32_i32:
2338fecccfccSRichard Henderson    case INDEX_op_qemu_st_a64_i32:
2339fecccfccSRichard Henderson    case INDEX_op_qemu_st_a32_i64:
2340fecccfccSRichard Henderson    case INDEX_op_qemu_st_a64_i64:
2341f0f43534SRichard Henderson        return C_O0_I2(rZ, r);
2342139c1837SPaolo Bonzini
2343f63e7089SHuang Shiyuan    case INDEX_op_st_vec:
2344f63e7089SHuang Shiyuan        return C_O0_I2(v, r);
2345*d4be6ee1STANG Tiancheng    case INDEX_op_dup_vec:
2346*d4be6ee1STANG Tiancheng    case INDEX_op_dupm_vec:
2347f63e7089SHuang Shiyuan    case INDEX_op_ld_vec:
2348f63e7089SHuang Shiyuan        return C_O1_I1(v, r);
2349139c1837SPaolo Bonzini    default:
2350665be288SRichard Henderson        g_assert_not_reached();
2351139c1837SPaolo Bonzini    }
2352139c1837SPaolo Bonzini}
2353139c1837SPaolo Bonzini
2354139c1837SPaolo Bonzinistatic const int tcg_target_callee_save_regs[] = {
2355139c1837SPaolo Bonzini    TCG_REG_S0,       /* used for the global env (TCG_AREG0) */
2356139c1837SPaolo Bonzini    TCG_REG_S1,
2357139c1837SPaolo Bonzini    TCG_REG_S2,
2358139c1837SPaolo Bonzini    TCG_REG_S3,
2359139c1837SPaolo Bonzini    TCG_REG_S4,
2360139c1837SPaolo Bonzini    TCG_REG_S5,
2361139c1837SPaolo Bonzini    TCG_REG_S6,
2362139c1837SPaolo Bonzini    TCG_REG_S7,
2363139c1837SPaolo Bonzini    TCG_REG_S8,
2364139c1837SPaolo Bonzini    TCG_REG_S9,
2365139c1837SPaolo Bonzini    TCG_REG_S10,
2366139c1837SPaolo Bonzini    TCG_REG_S11,
2367139c1837SPaolo Bonzini    TCG_REG_RA,       /* should be last for ABI compliance */
2368139c1837SPaolo Bonzini};
2369139c1837SPaolo Bonzini
2370139c1837SPaolo Bonzini/* Stack frame parameters.  */
2371139c1837SPaolo Bonzini#define REG_SIZE   (TCG_TARGET_REG_BITS / 8)
2372139c1837SPaolo Bonzini#define SAVE_SIZE  ((int)ARRAY_SIZE(tcg_target_callee_save_regs) * REG_SIZE)
2373139c1837SPaolo Bonzini#define TEMP_SIZE  (CPU_TEMP_BUF_NLONGS * (int)sizeof(long))
2374139c1837SPaolo Bonzini#define FRAME_SIZE ((TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE + SAVE_SIZE \
2375139c1837SPaolo Bonzini                     + TCG_TARGET_STACK_ALIGN - 1) \
2376139c1837SPaolo Bonzini                    & -TCG_TARGET_STACK_ALIGN)
2377139c1837SPaolo Bonzini#define SAVE_OFS   (TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE)
2378139c1837SPaolo Bonzini
2379139c1837SPaolo Bonzini/* We're expecting to be able to use an immediate for frame allocation.  */
2380139c1837SPaolo BonziniQEMU_BUILD_BUG_ON(FRAME_SIZE > 0x7ff);
2381139c1837SPaolo Bonzini
2382139c1837SPaolo Bonzini/* Generate global QEMU prologue and epilogue code */
2383139c1837SPaolo Bonzinistatic void tcg_target_qemu_prologue(TCGContext *s)
2384139c1837SPaolo Bonzini{
2385139c1837SPaolo Bonzini    int i;
2386139c1837SPaolo Bonzini
2387139c1837SPaolo Bonzini    tcg_set_frame(s, TCG_REG_SP, TCG_STATIC_CALL_ARGS_SIZE, TEMP_SIZE);
2388139c1837SPaolo Bonzini
2389139c1837SPaolo Bonzini    /* TB prologue */
2390139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, -FRAME_SIZE);
2391139c1837SPaolo Bonzini    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
2392139c1837SPaolo Bonzini        tcg_out_st(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
2393139c1837SPaolo Bonzini                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
2394139c1837SPaolo Bonzini    }
2395139c1837SPaolo Bonzini
23964944d359SRichard Henderson    if (!tcg_use_softmmu && guest_base) {
2397139c1837SPaolo Bonzini        tcg_out_movi(s, TCG_TYPE_PTR, TCG_GUEST_BASE_REG, guest_base);
2398139c1837SPaolo Bonzini        tcg_regset_set_reg(s->reserved_regs, TCG_GUEST_BASE_REG);
2399cf0ed30eSRichard Henderson    }
2400139c1837SPaolo Bonzini
2401139c1837SPaolo Bonzini    /* Call generated code */
2402139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, TCG_AREG0, tcg_target_call_iarg_regs[0]);
2403139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, tcg_target_call_iarg_regs[1], 0);
2404139c1837SPaolo Bonzini
2405139c1837SPaolo Bonzini    /* Return path for goto_ptr. Set return value to 0 */
2406c8bc1168SRichard Henderson    tcg_code_gen_epilogue = tcg_splitwx_to_rx(s->code_ptr);
2407139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_REG, TCG_REG_A0, TCG_REG_ZERO);
2408139c1837SPaolo Bonzini
2409139c1837SPaolo Bonzini    /* TB epilogue */
2410793f7381SRichard Henderson    tb_ret_addr = tcg_splitwx_to_rx(s->code_ptr);
2411139c1837SPaolo Bonzini    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
2412139c1837SPaolo Bonzini        tcg_out_ld(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
2413139c1837SPaolo Bonzini                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
2414139c1837SPaolo Bonzini    }
2415139c1837SPaolo Bonzini
2416139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, FRAME_SIZE);
2417139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_RA, 0);
2418139c1837SPaolo Bonzini}
2419139c1837SPaolo Bonzini
24209358fbbfSRichard Hendersonstatic void tcg_out_tb_start(TCGContext *s)
24219358fbbfSRichard Henderson{
2422f63e7089SHuang Shiyuan    init_setting_vtype(s);
2423f63e7089SHuang Shiyuan}
2424f63e7089SHuang Shiyuan
2425f63e7089SHuang Shiyuanstatic bool vtype_check(unsigned vtype)
2426f63e7089SHuang Shiyuan{
2427f63e7089SHuang Shiyuan    unsigned long tmp;
2428f63e7089SHuang Shiyuan
2429f63e7089SHuang Shiyuan    /* vsetvl tmp, zero, vtype */
2430f63e7089SHuang Shiyuan    asm(".insn r 0x57, 7, 0x40, %0, zero, %1" : "=r"(tmp) : "r"(vtype));
2431f63e7089SHuang Shiyuan    return tmp != 0;
2432f63e7089SHuang Shiyuan}
2433f63e7089SHuang Shiyuan
2434f63e7089SHuang Shiyuanstatic void probe_frac_lmul_1(TCGType type, MemOp vsew)
2435f63e7089SHuang Shiyuan{
2436f63e7089SHuang Shiyuan    VsetCache *p = &riscv_vset_cache[type - TCG_TYPE_V64][vsew];
2437f63e7089SHuang Shiyuan    unsigned avl = tcg_type_size(type) >> vsew;
2438f63e7089SHuang Shiyuan    int lmul = type - riscv_lg2_vlenb;
2439f63e7089SHuang Shiyuan    unsigned vtype = encode_vtype(true, true, vsew, lmul & 7);
2440f63e7089SHuang Shiyuan    bool lmul_eq_avl = true;
2441f63e7089SHuang Shiyuan
2442f63e7089SHuang Shiyuan    /* Guaranteed by Zve64x. */
2443f63e7089SHuang Shiyuan    assert(lmul < 3);
2444f63e7089SHuang Shiyuan
2445f63e7089SHuang Shiyuan    /*
2446f63e7089SHuang Shiyuan     * For LMUL < -3, the host vector size is so large that TYPE
2447f63e7089SHuang Shiyuan     * is smaller than the minimum 1/8 fraction.
2448f63e7089SHuang Shiyuan     *
2449f63e7089SHuang Shiyuan     * For other fractional LMUL settings, implementations must
2450f63e7089SHuang Shiyuan     * support SEW settings between SEW_MIN and LMUL * ELEN, inclusive.
2451f63e7089SHuang Shiyuan     * So if ELEN = 64, LMUL = 1/2, then SEW will support e8, e16, e32,
2452f63e7089SHuang Shiyuan     * but e64 may not be supported. In other words, the hardware only
2453f63e7089SHuang Shiyuan     * guarantees SEW_MIN <= SEW <= LMUL * ELEN.  Check.
2454f63e7089SHuang Shiyuan     */
2455f63e7089SHuang Shiyuan    if (lmul < 0 && (lmul < -3 || !vtype_check(vtype))) {
2456f63e7089SHuang Shiyuan        vtype = encode_vtype(true, true, vsew, VLMUL_M1);
2457f63e7089SHuang Shiyuan        lmul_eq_avl = false;
2458f63e7089SHuang Shiyuan    }
2459f63e7089SHuang Shiyuan
2460f63e7089SHuang Shiyuan    if (avl < 32) {
2461f63e7089SHuang Shiyuan        p->vset_insn = encode_vseti(OPC_VSETIVLI, TCG_REG_ZERO, avl, vtype);
2462f63e7089SHuang Shiyuan    } else if (lmul_eq_avl) {
2463f63e7089SHuang Shiyuan        /* rd != 0 and rs1 == 0 uses vlmax */
2464f63e7089SHuang Shiyuan        p->vset_insn = encode_vset(OPC_VSETVLI, TCG_REG_TMP0, TCG_REG_ZERO, vtype);
2465f63e7089SHuang Shiyuan    } else {
2466f63e7089SHuang Shiyuan        p->movi_insn = encode_i(OPC_ADDI, TCG_REG_TMP0, TCG_REG_ZERO, avl);
2467f63e7089SHuang Shiyuan        p->vset_insn = encode_vset(OPC_VSETVLI, TCG_REG_ZERO, TCG_REG_TMP0, vtype);
2468f63e7089SHuang Shiyuan    }
2469f63e7089SHuang Shiyuan}
2470f63e7089SHuang Shiyuan
2471f63e7089SHuang Shiyuanstatic void probe_frac_lmul(void)
2472f63e7089SHuang Shiyuan{
2473f63e7089SHuang Shiyuan    /* Match riscv_lg2_vlenb to TCG_TYPE_V64. */
2474f63e7089SHuang Shiyuan    QEMU_BUILD_BUG_ON(TCG_TYPE_V64 != 3);
2475f63e7089SHuang Shiyuan
2476f63e7089SHuang Shiyuan    for (TCGType t = TCG_TYPE_V64; t <= TCG_TYPE_V256; t++) {
2477f63e7089SHuang Shiyuan        for (MemOp e = MO_8; e <= MO_64; e++) {
2478f63e7089SHuang Shiyuan            probe_frac_lmul_1(t, e);
2479f63e7089SHuang Shiyuan        }
2480f63e7089SHuang Shiyuan    }
24819358fbbfSRichard Henderson}
24829358fbbfSRichard Henderson
2483139c1837SPaolo Bonzinistatic void tcg_target_init(TCGContext *s)
2484139c1837SPaolo Bonzini{
2485139c1837SPaolo Bonzini    tcg_target_available_regs[TCG_TYPE_I32] = 0xffffffff;
2486139c1837SPaolo Bonzini    tcg_target_available_regs[TCG_TYPE_I64] = 0xffffffff;
2487139c1837SPaolo Bonzini
2488f63e7089SHuang Shiyuan    tcg_target_call_clobber_regs = -1;
2489139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S0);
2490139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S1);
2491139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S2);
2492139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S3);
2493139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S4);
2494139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S5);
2495139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S6);
2496139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S7);
2497139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S8);
2498139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S9);
2499139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S10);
2500139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S11);
2501139c1837SPaolo Bonzini
2502139c1837SPaolo Bonzini    s->reserved_regs = 0;
2503139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_ZERO);
2504139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP0);
2505139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP1);
2506139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP2);
2507139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_SP);
2508139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_GP);
2509139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TP);
2510f63e7089SHuang Shiyuan
2511f63e7089SHuang Shiyuan    if (cpuinfo & CPUINFO_ZVE64X) {
2512f63e7089SHuang Shiyuan        switch (riscv_lg2_vlenb) {
2513f63e7089SHuang Shiyuan        case TCG_TYPE_V64:
2514f63e7089SHuang Shiyuan            tcg_target_available_regs[TCG_TYPE_V64] = ALL_VECTOR_REGS;
2515f63e7089SHuang Shiyuan            tcg_target_available_regs[TCG_TYPE_V128] = ALL_DVECTOR_REG_GROUPS;
2516f63e7089SHuang Shiyuan            tcg_target_available_regs[TCG_TYPE_V256] = ALL_QVECTOR_REG_GROUPS;
2517f63e7089SHuang Shiyuan            s->reserved_regs |= (~ALL_QVECTOR_REG_GROUPS & ALL_VECTOR_REGS);
2518f63e7089SHuang Shiyuan            break;
2519f63e7089SHuang Shiyuan        case TCG_TYPE_V128:
2520f63e7089SHuang Shiyuan            tcg_target_available_regs[TCG_TYPE_V64] = ALL_VECTOR_REGS;
2521f63e7089SHuang Shiyuan            tcg_target_available_regs[TCG_TYPE_V128] = ALL_VECTOR_REGS;
2522f63e7089SHuang Shiyuan            tcg_target_available_regs[TCG_TYPE_V256] = ALL_DVECTOR_REG_GROUPS;
2523f63e7089SHuang Shiyuan            s->reserved_regs |= (~ALL_DVECTOR_REG_GROUPS & ALL_VECTOR_REGS);
2524f63e7089SHuang Shiyuan            break;
2525f63e7089SHuang Shiyuan        default:
2526f63e7089SHuang Shiyuan            /* Guaranteed by Zve64x. */
2527f63e7089SHuang Shiyuan            tcg_debug_assert(riscv_lg2_vlenb >= TCG_TYPE_V256);
2528f63e7089SHuang Shiyuan            tcg_target_available_regs[TCG_TYPE_V64] = ALL_VECTOR_REGS;
2529f63e7089SHuang Shiyuan            tcg_target_available_regs[TCG_TYPE_V128] = ALL_VECTOR_REGS;
2530f63e7089SHuang Shiyuan            tcg_target_available_regs[TCG_TYPE_V256] = ALL_VECTOR_REGS;
2531f63e7089SHuang Shiyuan            break;
2532f63e7089SHuang Shiyuan        }
2533f63e7089SHuang Shiyuan        tcg_regset_set_reg(s->reserved_regs, TCG_REG_V0);
2534f63e7089SHuang Shiyuan        probe_frac_lmul();
2535f63e7089SHuang Shiyuan    }
2536139c1837SPaolo Bonzini}
2537139c1837SPaolo Bonzini
2538139c1837SPaolo Bonzinitypedef struct {
2539139c1837SPaolo Bonzini    DebugFrameHeader h;
2540139c1837SPaolo Bonzini    uint8_t fde_def_cfa[4];
2541139c1837SPaolo Bonzini    uint8_t fde_reg_ofs[ARRAY_SIZE(tcg_target_callee_save_regs) * 2];
2542139c1837SPaolo Bonzini} DebugFrame;
2543139c1837SPaolo Bonzini
2544139c1837SPaolo Bonzini#define ELF_HOST_MACHINE EM_RISCV
2545139c1837SPaolo Bonzini
2546139c1837SPaolo Bonzinistatic const DebugFrame debug_frame = {
2547139c1837SPaolo Bonzini    .h.cie.len = sizeof(DebugFrameCIE) - 4, /* length after .len member */
2548139c1837SPaolo Bonzini    .h.cie.id = -1,
2549139c1837SPaolo Bonzini    .h.cie.version = 1,
2550139c1837SPaolo Bonzini    .h.cie.code_align = 1,
2551139c1837SPaolo Bonzini    .h.cie.data_align = -(TCG_TARGET_REG_BITS / 8) & 0x7f, /* sleb128 */
2552139c1837SPaolo Bonzini    .h.cie.return_column = TCG_REG_RA,
2553139c1837SPaolo Bonzini
2554139c1837SPaolo Bonzini    /* Total FDE size does not include the "len" member.  */
2555139c1837SPaolo Bonzini    .h.fde.len = sizeof(DebugFrame) - offsetof(DebugFrame, h.fde.cie_offset),
2556139c1837SPaolo Bonzini
2557139c1837SPaolo Bonzini    .fde_def_cfa = {
2558139c1837SPaolo Bonzini        12, TCG_REG_SP,                 /* DW_CFA_def_cfa sp, ... */
2559139c1837SPaolo Bonzini        (FRAME_SIZE & 0x7f) | 0x80,     /* ... uleb128 FRAME_SIZE */
2560139c1837SPaolo Bonzini        (FRAME_SIZE >> 7)
2561139c1837SPaolo Bonzini    },
2562139c1837SPaolo Bonzini    .fde_reg_ofs = {
2563139c1837SPaolo Bonzini        0x80 + 9,  12,                  /* DW_CFA_offset, s1,  -96 */
2564139c1837SPaolo Bonzini        0x80 + 18, 11,                  /* DW_CFA_offset, s2,  -88 */
2565139c1837SPaolo Bonzini        0x80 + 19, 10,                  /* DW_CFA_offset, s3,  -80 */
2566139c1837SPaolo Bonzini        0x80 + 20, 9,                   /* DW_CFA_offset, s4,  -72 */
2567139c1837SPaolo Bonzini        0x80 + 21, 8,                   /* DW_CFA_offset, s5,  -64 */
2568139c1837SPaolo Bonzini        0x80 + 22, 7,                   /* DW_CFA_offset, s6,  -56 */
2569139c1837SPaolo Bonzini        0x80 + 23, 6,                   /* DW_CFA_offset, s7,  -48 */
2570139c1837SPaolo Bonzini        0x80 + 24, 5,                   /* DW_CFA_offset, s8,  -40 */
2571139c1837SPaolo Bonzini        0x80 + 25, 4,                   /* DW_CFA_offset, s9,  -32 */
2572139c1837SPaolo Bonzini        0x80 + 26, 3,                   /* DW_CFA_offset, s10, -24 */
2573139c1837SPaolo Bonzini        0x80 + 27, 2,                   /* DW_CFA_offset, s11, -16 */
2574139c1837SPaolo Bonzini        0x80 + 1 , 1,                   /* DW_CFA_offset, ra,  -8 */
2575139c1837SPaolo Bonzini    }
2576139c1837SPaolo Bonzini};
2577139c1837SPaolo Bonzini
2578755bf9e5SRichard Hendersonvoid tcg_register_jit(const void *buf, size_t buf_size)
2579139c1837SPaolo Bonzini{
2580139c1837SPaolo Bonzini    tcg_register_jit_int(buf, buf_size, &debug_frame, sizeof(debug_frame));
2581139c1837SPaolo Bonzini}
2582