xref: /openbmc/qemu/tcg/riscv/tcg-target.c.inc (revision 9e3e0bc6ac38e339aa142afa23604382f9963ed1)
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] = {
35139c1837SPaolo Bonzini    "zero",
36139c1837SPaolo Bonzini    "ra",
37139c1837SPaolo Bonzini    "sp",
38139c1837SPaolo Bonzini    "gp",
39139c1837SPaolo Bonzini    "tp",
40139c1837SPaolo Bonzini    "t0",
41139c1837SPaolo Bonzini    "t1",
42139c1837SPaolo Bonzini    "t2",
43139c1837SPaolo Bonzini    "s0",
44139c1837SPaolo Bonzini    "s1",
45139c1837SPaolo Bonzini    "a0",
46139c1837SPaolo Bonzini    "a1",
47139c1837SPaolo Bonzini    "a2",
48139c1837SPaolo Bonzini    "a3",
49139c1837SPaolo Bonzini    "a4",
50139c1837SPaolo Bonzini    "a5",
51139c1837SPaolo Bonzini    "a6",
52139c1837SPaolo Bonzini    "a7",
53139c1837SPaolo Bonzini    "s2",
54139c1837SPaolo Bonzini    "s3",
55139c1837SPaolo Bonzini    "s4",
56139c1837SPaolo Bonzini    "s5",
57139c1837SPaolo Bonzini    "s6",
58139c1837SPaolo Bonzini    "s7",
59139c1837SPaolo Bonzini    "s8",
60139c1837SPaolo Bonzini    "s9",
61139c1837SPaolo Bonzini    "s10",
62139c1837SPaolo Bonzini    "s11",
63139c1837SPaolo Bonzini    "t3",
64139c1837SPaolo Bonzini    "t4",
65139c1837SPaolo Bonzini    "t5",
66139c1837SPaolo Bonzini    "t6"
67139c1837SPaolo Bonzini};
68139c1837SPaolo Bonzini#endif
69139c1837SPaolo Bonzini
70139c1837SPaolo Bonzinistatic const int tcg_target_reg_alloc_order[] = {
71139c1837SPaolo Bonzini    /* Call saved registers */
72139c1837SPaolo Bonzini    /* TCG_REG_S0 reservered for TCG_AREG0 */
73139c1837SPaolo Bonzini    TCG_REG_S1,
74139c1837SPaolo Bonzini    TCG_REG_S2,
75139c1837SPaolo Bonzini    TCG_REG_S3,
76139c1837SPaolo Bonzini    TCG_REG_S4,
77139c1837SPaolo Bonzini    TCG_REG_S5,
78139c1837SPaolo Bonzini    TCG_REG_S6,
79139c1837SPaolo Bonzini    TCG_REG_S7,
80139c1837SPaolo Bonzini    TCG_REG_S8,
81139c1837SPaolo Bonzini    TCG_REG_S9,
82139c1837SPaolo Bonzini    TCG_REG_S10,
83139c1837SPaolo Bonzini    TCG_REG_S11,
84139c1837SPaolo Bonzini
85139c1837SPaolo Bonzini    /* Call clobbered registers */
86139c1837SPaolo Bonzini    TCG_REG_T0,
87139c1837SPaolo Bonzini    TCG_REG_T1,
88139c1837SPaolo Bonzini    TCG_REG_T2,
89139c1837SPaolo Bonzini    TCG_REG_T3,
90139c1837SPaolo Bonzini    TCG_REG_T4,
91139c1837SPaolo Bonzini    TCG_REG_T5,
92139c1837SPaolo Bonzini    TCG_REG_T6,
93139c1837SPaolo Bonzini
94139c1837SPaolo Bonzini    /* Argument registers */
95139c1837SPaolo Bonzini    TCG_REG_A0,
96139c1837SPaolo Bonzini    TCG_REG_A1,
97139c1837SPaolo Bonzini    TCG_REG_A2,
98139c1837SPaolo Bonzini    TCG_REG_A3,
99139c1837SPaolo Bonzini    TCG_REG_A4,
100139c1837SPaolo Bonzini    TCG_REG_A5,
101139c1837SPaolo Bonzini    TCG_REG_A6,
102139c1837SPaolo Bonzini    TCG_REG_A7,
103139c1837SPaolo Bonzini};
104139c1837SPaolo Bonzini
105139c1837SPaolo Bonzinistatic const int tcg_target_call_iarg_regs[] = {
106139c1837SPaolo Bonzini    TCG_REG_A0,
107139c1837SPaolo Bonzini    TCG_REG_A1,
108139c1837SPaolo Bonzini    TCG_REG_A2,
109139c1837SPaolo Bonzini    TCG_REG_A3,
110139c1837SPaolo Bonzini    TCG_REG_A4,
111139c1837SPaolo Bonzini    TCG_REG_A5,
112139c1837SPaolo Bonzini    TCG_REG_A6,
113139c1837SPaolo Bonzini    TCG_REG_A7,
114139c1837SPaolo Bonzini};
115139c1837SPaolo Bonzini
116*9e3e0bc6SRichard Henderson#ifndef have_zbb
117*9e3e0bc6SRichard Hendersonbool have_zbb;
118*9e3e0bc6SRichard Henderson#endif
119*9e3e0bc6SRichard Henderson#if defined(__riscv_arch_test) && defined(__riscv_zba)
120*9e3e0bc6SRichard Henderson# define have_zba true
121*9e3e0bc6SRichard Henderson#else
122*9e3e0bc6SRichard Hendersonstatic bool have_zba;
123*9e3e0bc6SRichard Henderson#endif
124*9e3e0bc6SRichard Henderson#if defined(__riscv_arch_test) && defined(__riscv_zicond)
125*9e3e0bc6SRichard Henderson# define have_zicond true
126*9e3e0bc6SRichard Henderson#else
127*9e3e0bc6SRichard Hendersonstatic bool have_zicond;
128*9e3e0bc6SRichard Henderson#endif
129*9e3e0bc6SRichard Henderson
1305e3d0c19SRichard Hendersonstatic TCGReg tcg_target_call_oarg_reg(TCGCallReturnKind kind, int slot)
1315e3d0c19SRichard Henderson{
1325e3d0c19SRichard Henderson    tcg_debug_assert(kind == TCG_CALL_RET_NORMAL);
1335e3d0c19SRichard Henderson    tcg_debug_assert(slot >= 0 && slot <= 1);
1345e3d0c19SRichard Henderson    return TCG_REG_A0 + slot;
1355e3d0c19SRichard Henderson}
136139c1837SPaolo Bonzini
137139c1837SPaolo Bonzini#define TCG_CT_CONST_ZERO  0x100
138139c1837SPaolo Bonzini#define TCG_CT_CONST_S12   0x200
139139c1837SPaolo Bonzini#define TCG_CT_CONST_N12   0x400
140139c1837SPaolo Bonzini#define TCG_CT_CONST_M12   0x800
141139c1837SPaolo Bonzini
142fc63a4c5SRichard Henderson#define ALL_GENERAL_REGS   MAKE_64BIT_MASK(0, 32)
143fc63a4c5SRichard Henderson
144aeb6326eSRichard Henderson#define sextreg  sextract64
145139c1837SPaolo Bonzini
146139c1837SPaolo Bonzini/* test if a constant matches the constraint */
147a4fbbd77SRichard Hendersonstatic bool tcg_target_const_match(int64_t val, TCGType type, int ct)
148139c1837SPaolo Bonzini{
149139c1837SPaolo Bonzini    if (ct & TCG_CT_CONST) {
150139c1837SPaolo Bonzini        return 1;
151139c1837SPaolo Bonzini    }
152139c1837SPaolo Bonzini    if ((ct & TCG_CT_CONST_ZERO) && val == 0) {
153139c1837SPaolo Bonzini        return 1;
154139c1837SPaolo Bonzini    }
15562722763SRichard Henderson    /*
15662722763SRichard Henderson     * Sign extended from 12 bits: [-0x800, 0x7ff].
15762722763SRichard Henderson     * Used for most arithmetic, as this is the isa field.
15862722763SRichard Henderson     */
15962722763SRichard Henderson    if ((ct & TCG_CT_CONST_S12) && val >= -0x800 && val <= 0x7ff) {
160139c1837SPaolo Bonzini        return 1;
161139c1837SPaolo Bonzini    }
16262722763SRichard Henderson    /*
16362722763SRichard Henderson     * Sign extended from 12 bits, negated: [-0x7ff, 0x800].
16462722763SRichard Henderson     * Used for subtraction, where a constant must be handled by ADDI.
16562722763SRichard Henderson     */
16662722763SRichard Henderson    if ((ct & TCG_CT_CONST_N12) && val >= -0x7ff && val <= 0x800) {
167139c1837SPaolo Bonzini        return 1;
168139c1837SPaolo Bonzini    }
16962722763SRichard Henderson    /*
17062722763SRichard Henderson     * Sign extended from 12 bits, +/- matching: [-0x7ff, 0x7ff].
17162722763SRichard Henderson     * Used by addsub2, which may need the negative operation,
17262722763SRichard Henderson     * and requires the modified constant to be representable.
17362722763SRichard Henderson     */
17462722763SRichard Henderson    if ((ct & TCG_CT_CONST_M12) && val >= -0x7ff && val <= 0x7ff) {
175139c1837SPaolo Bonzini        return 1;
176139c1837SPaolo Bonzini    }
177139c1837SPaolo Bonzini    return 0;
178139c1837SPaolo Bonzini}
179139c1837SPaolo Bonzini
180139c1837SPaolo Bonzini/*
181139c1837SPaolo Bonzini * RISC-V Base ISA opcodes (IM)
182139c1837SPaolo Bonzini */
183139c1837SPaolo Bonzini
184139c1837SPaolo Bonzinitypedef enum {
185139c1837SPaolo Bonzini    OPC_ADD = 0x33,
186139c1837SPaolo Bonzini    OPC_ADDI = 0x13,
187139c1837SPaolo Bonzini    OPC_AND = 0x7033,
188139c1837SPaolo Bonzini    OPC_ANDI = 0x7013,
189139c1837SPaolo Bonzini    OPC_AUIPC = 0x17,
190139c1837SPaolo Bonzini    OPC_BEQ = 0x63,
191139c1837SPaolo Bonzini    OPC_BGE = 0x5063,
192139c1837SPaolo Bonzini    OPC_BGEU = 0x7063,
193139c1837SPaolo Bonzini    OPC_BLT = 0x4063,
194139c1837SPaolo Bonzini    OPC_BLTU = 0x6063,
195139c1837SPaolo Bonzini    OPC_BNE = 0x1063,
196139c1837SPaolo Bonzini    OPC_DIV = 0x2004033,
197139c1837SPaolo Bonzini    OPC_DIVU = 0x2005033,
198139c1837SPaolo Bonzini    OPC_JAL = 0x6f,
199139c1837SPaolo Bonzini    OPC_JALR = 0x67,
200139c1837SPaolo Bonzini    OPC_LB = 0x3,
201139c1837SPaolo Bonzini    OPC_LBU = 0x4003,
202139c1837SPaolo Bonzini    OPC_LD = 0x3003,
203139c1837SPaolo Bonzini    OPC_LH = 0x1003,
204139c1837SPaolo Bonzini    OPC_LHU = 0x5003,
205139c1837SPaolo Bonzini    OPC_LUI = 0x37,
206139c1837SPaolo Bonzini    OPC_LW = 0x2003,
207139c1837SPaolo Bonzini    OPC_LWU = 0x6003,
208139c1837SPaolo Bonzini    OPC_MUL = 0x2000033,
209139c1837SPaolo Bonzini    OPC_MULH = 0x2001033,
210139c1837SPaolo Bonzini    OPC_MULHSU = 0x2002033,
211139c1837SPaolo Bonzini    OPC_MULHU = 0x2003033,
212139c1837SPaolo Bonzini    OPC_OR = 0x6033,
213139c1837SPaolo Bonzini    OPC_ORI = 0x6013,
214139c1837SPaolo Bonzini    OPC_REM = 0x2006033,
215139c1837SPaolo Bonzini    OPC_REMU = 0x2007033,
216139c1837SPaolo Bonzini    OPC_SB = 0x23,
217139c1837SPaolo Bonzini    OPC_SD = 0x3023,
218139c1837SPaolo Bonzini    OPC_SH = 0x1023,
219139c1837SPaolo Bonzini    OPC_SLL = 0x1033,
220139c1837SPaolo Bonzini    OPC_SLLI = 0x1013,
221139c1837SPaolo Bonzini    OPC_SLT = 0x2033,
222139c1837SPaolo Bonzini    OPC_SLTI = 0x2013,
223139c1837SPaolo Bonzini    OPC_SLTIU = 0x3013,
224139c1837SPaolo Bonzini    OPC_SLTU = 0x3033,
225139c1837SPaolo Bonzini    OPC_SRA = 0x40005033,
226139c1837SPaolo Bonzini    OPC_SRAI = 0x40005013,
227139c1837SPaolo Bonzini    OPC_SRL = 0x5033,
228139c1837SPaolo Bonzini    OPC_SRLI = 0x5013,
229139c1837SPaolo Bonzini    OPC_SUB = 0x40000033,
230139c1837SPaolo Bonzini    OPC_SW = 0x2023,
231139c1837SPaolo Bonzini    OPC_XOR = 0x4033,
232139c1837SPaolo Bonzini    OPC_XORI = 0x4013,
233139c1837SPaolo Bonzini
234139c1837SPaolo Bonzini    OPC_ADDIW = 0x1b,
235139c1837SPaolo Bonzini    OPC_ADDW = 0x3b,
236139c1837SPaolo Bonzini    OPC_DIVUW = 0x200503b,
237139c1837SPaolo Bonzini    OPC_DIVW = 0x200403b,
238139c1837SPaolo Bonzini    OPC_MULW = 0x200003b,
239139c1837SPaolo Bonzini    OPC_REMUW = 0x200703b,
240139c1837SPaolo Bonzini    OPC_REMW = 0x200603b,
241139c1837SPaolo Bonzini    OPC_SLLIW = 0x101b,
242139c1837SPaolo Bonzini    OPC_SLLW = 0x103b,
243139c1837SPaolo Bonzini    OPC_SRAIW = 0x4000501b,
244139c1837SPaolo Bonzini    OPC_SRAW = 0x4000503b,
245139c1837SPaolo Bonzini    OPC_SRLIW = 0x501b,
246139c1837SPaolo Bonzini    OPC_SRLW = 0x503b,
247139c1837SPaolo Bonzini    OPC_SUBW = 0x4000003b,
248139c1837SPaolo Bonzini
249139c1837SPaolo Bonzini    OPC_FENCE = 0x0000000f,
2509ae958e4SRichard Henderson    OPC_NOP   = OPC_ADDI,   /* nop = addi r0,r0,0 */
251*9e3e0bc6SRichard Henderson
252*9e3e0bc6SRichard Henderson    /* Zba: Bit manipulation extension, address generation */
253*9e3e0bc6SRichard Henderson    OPC_ADD_UW = 0x0800003b,
254*9e3e0bc6SRichard Henderson
255*9e3e0bc6SRichard Henderson    /* Zbb: Bit manipulation extension, basic bit manipulaton */
256*9e3e0bc6SRichard Henderson    OPC_ANDN   = 0x40007033,
257*9e3e0bc6SRichard Henderson    OPC_CLZ    = 0x60001013,
258*9e3e0bc6SRichard Henderson    OPC_CLZW   = 0x6000101b,
259*9e3e0bc6SRichard Henderson    OPC_CPOP   = 0x60201013,
260*9e3e0bc6SRichard Henderson    OPC_CPOPW  = 0x6020101b,
261*9e3e0bc6SRichard Henderson    OPC_CTZ    = 0x60101013,
262*9e3e0bc6SRichard Henderson    OPC_CTZW   = 0x6010101b,
263*9e3e0bc6SRichard Henderson    OPC_ORN    = 0x40006033,
264*9e3e0bc6SRichard Henderson    OPC_REV8   = 0x6b805013,
265*9e3e0bc6SRichard Henderson    OPC_ROL    = 0x60001033,
266*9e3e0bc6SRichard Henderson    OPC_ROLW   = 0x6000103b,
267*9e3e0bc6SRichard Henderson    OPC_ROR    = 0x60005033,
268*9e3e0bc6SRichard Henderson    OPC_RORW   = 0x6000503b,
269*9e3e0bc6SRichard Henderson    OPC_RORI   = 0x60005013,
270*9e3e0bc6SRichard Henderson    OPC_RORIW  = 0x6000501b,
271*9e3e0bc6SRichard Henderson    OPC_SEXT_B = 0x60401013,
272*9e3e0bc6SRichard Henderson    OPC_SEXT_H = 0x60501013,
273*9e3e0bc6SRichard Henderson    OPC_XNOR   = 0x40004033,
274*9e3e0bc6SRichard Henderson    OPC_ZEXT_H = 0x0800403b,
275*9e3e0bc6SRichard Henderson
276*9e3e0bc6SRichard Henderson    /* Zicond: integer conditional operations */
277*9e3e0bc6SRichard Henderson    OPC_CZERO_EQZ = 0x0e005033,
278*9e3e0bc6SRichard Henderson    OPC_CZERO_NEZ = 0x0e007033,
279139c1837SPaolo Bonzini} RISCVInsn;
280139c1837SPaolo Bonzini
281139c1837SPaolo Bonzini/*
282139c1837SPaolo Bonzini * RISC-V immediate and instruction encoders (excludes 16-bit RVC)
283139c1837SPaolo Bonzini */
284139c1837SPaolo Bonzini
285139c1837SPaolo Bonzini/* Type-R */
286139c1837SPaolo Bonzini
287139c1837SPaolo Bonzinistatic int32_t encode_r(RISCVInsn opc, TCGReg rd, TCGReg rs1, TCGReg rs2)
288139c1837SPaolo Bonzini{
289139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20;
290139c1837SPaolo Bonzini}
291139c1837SPaolo Bonzini
292139c1837SPaolo Bonzini/* Type-I */
293139c1837SPaolo Bonzini
294139c1837SPaolo Bonzinistatic int32_t encode_imm12(uint32_t imm)
295139c1837SPaolo Bonzini{
296139c1837SPaolo Bonzini    return (imm & 0xfff) << 20;
297139c1837SPaolo Bonzini}
298139c1837SPaolo Bonzini
299139c1837SPaolo Bonzinistatic int32_t encode_i(RISCVInsn opc, TCGReg rd, TCGReg rs1, uint32_t imm)
300139c1837SPaolo Bonzini{
301139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | encode_imm12(imm);
302139c1837SPaolo Bonzini}
303139c1837SPaolo Bonzini
304139c1837SPaolo Bonzini/* Type-S */
305139c1837SPaolo Bonzini
306139c1837SPaolo Bonzinistatic int32_t encode_simm12(uint32_t imm)
307139c1837SPaolo Bonzini{
308139c1837SPaolo Bonzini    int32_t ret = 0;
309139c1837SPaolo Bonzini
310139c1837SPaolo Bonzini    ret |= (imm & 0xFE0) << 20;
311139c1837SPaolo Bonzini    ret |= (imm & 0x1F) << 7;
312139c1837SPaolo Bonzini
313139c1837SPaolo Bonzini    return ret;
314139c1837SPaolo Bonzini}
315139c1837SPaolo Bonzini
316139c1837SPaolo Bonzinistatic int32_t encode_s(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
317139c1837SPaolo Bonzini{
318139c1837SPaolo Bonzini    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_simm12(imm);
319139c1837SPaolo Bonzini}
320139c1837SPaolo Bonzini
321139c1837SPaolo Bonzini/* Type-SB */
322139c1837SPaolo Bonzini
323139c1837SPaolo Bonzinistatic int32_t encode_sbimm12(uint32_t imm)
324139c1837SPaolo Bonzini{
325139c1837SPaolo Bonzini    int32_t ret = 0;
326139c1837SPaolo Bonzini
327139c1837SPaolo Bonzini    ret |= (imm & 0x1000) << 19;
328139c1837SPaolo Bonzini    ret |= (imm & 0x7e0) << 20;
329139c1837SPaolo Bonzini    ret |= (imm & 0x1e) << 7;
330139c1837SPaolo Bonzini    ret |= (imm & 0x800) >> 4;
331139c1837SPaolo Bonzini
332139c1837SPaolo Bonzini    return ret;
333139c1837SPaolo Bonzini}
334139c1837SPaolo Bonzini
335139c1837SPaolo Bonzinistatic int32_t encode_sb(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
336139c1837SPaolo Bonzini{
337139c1837SPaolo Bonzini    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_sbimm12(imm);
338139c1837SPaolo Bonzini}
339139c1837SPaolo Bonzini
340139c1837SPaolo Bonzini/* Type-U */
341139c1837SPaolo Bonzini
342139c1837SPaolo Bonzinistatic int32_t encode_uimm20(uint32_t imm)
343139c1837SPaolo Bonzini{
344139c1837SPaolo Bonzini    return imm & 0xfffff000;
345139c1837SPaolo Bonzini}
346139c1837SPaolo Bonzini
347139c1837SPaolo Bonzinistatic int32_t encode_u(RISCVInsn opc, TCGReg rd, uint32_t imm)
348139c1837SPaolo Bonzini{
349139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | encode_uimm20(imm);
350139c1837SPaolo Bonzini}
351139c1837SPaolo Bonzini
352139c1837SPaolo Bonzini/* Type-UJ */
353139c1837SPaolo Bonzini
354139c1837SPaolo Bonzinistatic int32_t encode_ujimm20(uint32_t imm)
355139c1837SPaolo Bonzini{
356139c1837SPaolo Bonzini    int32_t ret = 0;
357139c1837SPaolo Bonzini
358139c1837SPaolo Bonzini    ret |= (imm & 0x0007fe) << (21 - 1);
359139c1837SPaolo Bonzini    ret |= (imm & 0x000800) << (20 - 11);
360139c1837SPaolo Bonzini    ret |= (imm & 0x0ff000) << (12 - 12);
361139c1837SPaolo Bonzini    ret |= (imm & 0x100000) << (31 - 20);
362139c1837SPaolo Bonzini
363139c1837SPaolo Bonzini    return ret;
364139c1837SPaolo Bonzini}
365139c1837SPaolo Bonzini
366139c1837SPaolo Bonzinistatic int32_t encode_uj(RISCVInsn opc, TCGReg rd, uint32_t imm)
367139c1837SPaolo Bonzini{
368139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | encode_ujimm20(imm);
369139c1837SPaolo Bonzini}
370139c1837SPaolo Bonzini
371139c1837SPaolo Bonzini/*
372139c1837SPaolo Bonzini * RISC-V instruction emitters
373139c1837SPaolo Bonzini */
374139c1837SPaolo Bonzini
375139c1837SPaolo Bonzinistatic void tcg_out_opc_reg(TCGContext *s, RISCVInsn opc,
376139c1837SPaolo Bonzini                            TCGReg rd, TCGReg rs1, TCGReg rs2)
377139c1837SPaolo Bonzini{
378139c1837SPaolo Bonzini    tcg_out32(s, encode_r(opc, rd, rs1, rs2));
379139c1837SPaolo Bonzini}
380139c1837SPaolo Bonzini
381139c1837SPaolo Bonzinistatic void tcg_out_opc_imm(TCGContext *s, RISCVInsn opc,
382139c1837SPaolo Bonzini                            TCGReg rd, TCGReg rs1, TCGArg imm)
383139c1837SPaolo Bonzini{
384139c1837SPaolo Bonzini    tcg_out32(s, encode_i(opc, rd, rs1, imm));
385139c1837SPaolo Bonzini}
386139c1837SPaolo Bonzini
387139c1837SPaolo Bonzinistatic void tcg_out_opc_store(TCGContext *s, RISCVInsn opc,
388139c1837SPaolo Bonzini                              TCGReg rs1, TCGReg rs2, uint32_t imm)
389139c1837SPaolo Bonzini{
390139c1837SPaolo Bonzini    tcg_out32(s, encode_s(opc, rs1, rs2, imm));
391139c1837SPaolo Bonzini}
392139c1837SPaolo Bonzini
393139c1837SPaolo Bonzinistatic void tcg_out_opc_branch(TCGContext *s, RISCVInsn opc,
394139c1837SPaolo Bonzini                               TCGReg rs1, TCGReg rs2, uint32_t imm)
395139c1837SPaolo Bonzini{
396139c1837SPaolo Bonzini    tcg_out32(s, encode_sb(opc, rs1, rs2, imm));
397139c1837SPaolo Bonzini}
398139c1837SPaolo Bonzini
399139c1837SPaolo Bonzinistatic void tcg_out_opc_upper(TCGContext *s, RISCVInsn opc,
400139c1837SPaolo Bonzini                              TCGReg rd, uint32_t imm)
401139c1837SPaolo Bonzini{
402139c1837SPaolo Bonzini    tcg_out32(s, encode_u(opc, rd, imm));
403139c1837SPaolo Bonzini}
404139c1837SPaolo Bonzini
405139c1837SPaolo Bonzinistatic void tcg_out_opc_jump(TCGContext *s, RISCVInsn opc,
406139c1837SPaolo Bonzini                             TCGReg rd, uint32_t imm)
407139c1837SPaolo Bonzini{
408139c1837SPaolo Bonzini    tcg_out32(s, encode_uj(opc, rd, imm));
409139c1837SPaolo Bonzini}
410139c1837SPaolo Bonzini
411139c1837SPaolo Bonzinistatic void tcg_out_nop_fill(tcg_insn_unit *p, int count)
412139c1837SPaolo Bonzini{
413139c1837SPaolo Bonzini    int i;
414139c1837SPaolo Bonzini    for (i = 0; i < count; ++i) {
4159ae958e4SRichard Henderson        p[i] = OPC_NOP;
416139c1837SPaolo Bonzini    }
417139c1837SPaolo Bonzini}
418139c1837SPaolo Bonzini
419139c1837SPaolo Bonzini/*
420139c1837SPaolo Bonzini * Relocations
421139c1837SPaolo Bonzini */
422139c1837SPaolo Bonzini
423793f7381SRichard Hendersonstatic bool reloc_sbimm12(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
424139c1837SPaolo Bonzini{
425793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
426793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
427139c1837SPaolo Bonzini
428844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
429844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 12)) {
430793f7381SRichard Henderson        *src_rw |= encode_sbimm12(offset);
431139c1837SPaolo Bonzini        return true;
432139c1837SPaolo Bonzini    }
433139c1837SPaolo Bonzini
434139c1837SPaolo Bonzini    return false;
435139c1837SPaolo Bonzini}
436139c1837SPaolo Bonzini
437793f7381SRichard Hendersonstatic bool reloc_jimm20(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
438139c1837SPaolo Bonzini{
439793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
440793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
441139c1837SPaolo Bonzini
442844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
443844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
444793f7381SRichard Henderson        *src_rw |= encode_ujimm20(offset);
445139c1837SPaolo Bonzini        return true;
446139c1837SPaolo Bonzini    }
447139c1837SPaolo Bonzini
448139c1837SPaolo Bonzini    return false;
449139c1837SPaolo Bonzini}
450139c1837SPaolo Bonzini
451793f7381SRichard Hendersonstatic bool reloc_call(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
452139c1837SPaolo Bonzini{
453793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
454793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
455139c1837SPaolo Bonzini    int32_t lo = sextreg(offset, 0, 12);
456139c1837SPaolo Bonzini    int32_t hi = offset - lo;
457139c1837SPaolo Bonzini
458139c1837SPaolo Bonzini    if (offset == hi + lo) {
459793f7381SRichard Henderson        src_rw[0] |= encode_uimm20(hi);
460793f7381SRichard Henderson        src_rw[1] |= encode_imm12(lo);
461139c1837SPaolo Bonzini        return true;
462139c1837SPaolo Bonzini    }
463139c1837SPaolo Bonzini
464139c1837SPaolo Bonzini    return false;
465139c1837SPaolo Bonzini}
466139c1837SPaolo Bonzini
467139c1837SPaolo Bonzinistatic bool patch_reloc(tcg_insn_unit *code_ptr, int type,
468139c1837SPaolo Bonzini                        intptr_t value, intptr_t addend)
469139c1837SPaolo Bonzini{
470139c1837SPaolo Bonzini    tcg_debug_assert(addend == 0);
471139c1837SPaolo Bonzini    switch (type) {
472139c1837SPaolo Bonzini    case R_RISCV_BRANCH:
473139c1837SPaolo Bonzini        return reloc_sbimm12(code_ptr, (tcg_insn_unit *)value);
474139c1837SPaolo Bonzini    case R_RISCV_JAL:
475139c1837SPaolo Bonzini        return reloc_jimm20(code_ptr, (tcg_insn_unit *)value);
476139c1837SPaolo Bonzini    case R_RISCV_CALL:
477139c1837SPaolo Bonzini        return reloc_call(code_ptr, (tcg_insn_unit *)value);
478139c1837SPaolo Bonzini    default:
4794b6a52d0SRichard Henderson        g_assert_not_reached();
480139c1837SPaolo Bonzini    }
481139c1837SPaolo Bonzini}
482139c1837SPaolo Bonzini
483139c1837SPaolo Bonzini/*
484139c1837SPaolo Bonzini * TCG intrinsics
485139c1837SPaolo Bonzini */
486139c1837SPaolo Bonzini
487139c1837SPaolo Bonzinistatic bool tcg_out_mov(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
488139c1837SPaolo Bonzini{
489139c1837SPaolo Bonzini    if (ret == arg) {
490139c1837SPaolo Bonzini        return true;
491139c1837SPaolo Bonzini    }
492139c1837SPaolo Bonzini    switch (type) {
493139c1837SPaolo Bonzini    case TCG_TYPE_I32:
494139c1837SPaolo Bonzini    case TCG_TYPE_I64:
495139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, ret, arg, 0);
496139c1837SPaolo Bonzini        break;
497139c1837SPaolo Bonzini    default:
498139c1837SPaolo Bonzini        g_assert_not_reached();
499139c1837SPaolo Bonzini    }
500139c1837SPaolo Bonzini    return true;
501139c1837SPaolo Bonzini}
502139c1837SPaolo Bonzini
503139c1837SPaolo Bonzinistatic void tcg_out_movi(TCGContext *s, TCGType type, TCGReg rd,
504139c1837SPaolo Bonzini                         tcg_target_long val)
505139c1837SPaolo Bonzini{
506139c1837SPaolo Bonzini    tcg_target_long lo, hi, tmp;
507139c1837SPaolo Bonzini    int shift, ret;
508139c1837SPaolo Bonzini
509aeb6326eSRichard Henderson    if (type == TCG_TYPE_I32) {
510139c1837SPaolo Bonzini        val = (int32_t)val;
511139c1837SPaolo Bonzini    }
512139c1837SPaolo Bonzini
513139c1837SPaolo Bonzini    lo = sextreg(val, 0, 12);
514139c1837SPaolo Bonzini    if (val == lo) {
515139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, lo);
516139c1837SPaolo Bonzini        return;
517139c1837SPaolo Bonzini    }
518139c1837SPaolo Bonzini
519139c1837SPaolo Bonzini    hi = val - lo;
520aeb6326eSRichard Henderson    if (val == (int32_t)val) {
521139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, hi);
522139c1837SPaolo Bonzini        if (lo != 0) {
523139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, rd, rd, lo);
524139c1837SPaolo Bonzini        }
525139c1837SPaolo Bonzini        return;
526139c1837SPaolo Bonzini    }
527139c1837SPaolo Bonzini
528139c1837SPaolo Bonzini    tmp = tcg_pcrel_diff(s, (void *)val);
529139c1837SPaolo Bonzini    if (tmp == (int32_t)tmp) {
530139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
531139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, rd, 0);
532793f7381SRichard Henderson        ret = reloc_call(s->code_ptr - 2, (const tcg_insn_unit *)val);
533139c1837SPaolo Bonzini        tcg_debug_assert(ret == true);
534139c1837SPaolo Bonzini        return;
535139c1837SPaolo Bonzini    }
536139c1837SPaolo Bonzini
537139c1837SPaolo Bonzini    /* Look for a single 20-bit section.  */
538139c1837SPaolo Bonzini    shift = ctz64(val);
539139c1837SPaolo Bonzini    tmp = val >> shift;
540139c1837SPaolo Bonzini    if (tmp == sextreg(tmp, 0, 20)) {
541139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, tmp << 12);
542139c1837SPaolo Bonzini        if (shift > 12) {
543139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLLI, rd, rd, shift - 12);
544139c1837SPaolo Bonzini        } else {
545139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SRAI, rd, rd, 12 - shift);
546139c1837SPaolo Bonzini        }
547139c1837SPaolo Bonzini        return;
548139c1837SPaolo Bonzini    }
549139c1837SPaolo Bonzini
550139c1837SPaolo Bonzini    /* Look for a few high zero bits, with lots of bits set in the middle.  */
551139c1837SPaolo Bonzini    shift = clz64(val);
552139c1837SPaolo Bonzini    tmp = val << shift;
553139c1837SPaolo Bonzini    if (tmp == sextreg(tmp, 12, 20) << 12) {
554139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, tmp);
555139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
556139c1837SPaolo Bonzini        return;
557139c1837SPaolo Bonzini    } else if (tmp == sextreg(tmp, 0, 12)) {
558139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, tmp);
559139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
560139c1837SPaolo Bonzini        return;
561139c1837SPaolo Bonzini    }
562139c1837SPaolo Bonzini
563139c1837SPaolo Bonzini    /* Drop into the constant pool.  */
564139c1837SPaolo Bonzini    new_pool_label(s, val, R_RISCV_CALL, s->code_ptr, 0);
565139c1837SPaolo Bonzini    tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
566139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_LD, rd, rd, 0);
567139c1837SPaolo Bonzini}
568139c1837SPaolo Bonzini
569767c2503SRichard Hendersonstatic bool tcg_out_xchg(TCGContext *s, TCGType type, TCGReg r1, TCGReg r2)
570767c2503SRichard Henderson{
571767c2503SRichard Henderson    return false;
572767c2503SRichard Henderson}
573767c2503SRichard Henderson
5746a6d772eSRichard Hendersonstatic void tcg_out_addi_ptr(TCGContext *s, TCGReg rd, TCGReg rs,
5756a6d772eSRichard Henderson                             tcg_target_long imm)
5766a6d772eSRichard Henderson{
5776a6d772eSRichard Henderson    /* This function is only used for passing structs by reference. */
5786a6d772eSRichard Henderson    g_assert_not_reached();
5796a6d772eSRichard Henderson}
5806a6d772eSRichard Henderson
581139c1837SPaolo Bonzinistatic void tcg_out_ext8u(TCGContext *s, TCGReg ret, TCGReg arg)
582139c1837SPaolo Bonzini{
583139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ANDI, ret, arg, 0xff);
584139c1837SPaolo Bonzini}
585139c1837SPaolo Bonzini
586139c1837SPaolo Bonzinistatic void tcg_out_ext16u(TCGContext *s, TCGReg ret, TCGReg arg)
587139c1837SPaolo Bonzini{
588139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
589139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRLIW, ret, ret, 16);
590139c1837SPaolo Bonzini}
591139c1837SPaolo Bonzini
592139c1837SPaolo Bonzinistatic void tcg_out_ext32u(TCGContext *s, TCGReg ret, TCGReg arg)
593139c1837SPaolo Bonzini{
594139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLI, ret, arg, 32);
595139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRLI, ret, ret, 32);
596139c1837SPaolo Bonzini}
597139c1837SPaolo Bonzini
598678155b2SRichard Hendersonstatic void tcg_out_ext8s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
599139c1837SPaolo Bonzini{
600139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 24);
601139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 24);
602139c1837SPaolo Bonzini}
603139c1837SPaolo Bonzini
604753e42eaSRichard Hendersonstatic void tcg_out_ext16s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
605139c1837SPaolo Bonzini{
606139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
607139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 16);
608139c1837SPaolo Bonzini}
609139c1837SPaolo Bonzini
610139c1837SPaolo Bonzinistatic void tcg_out_ext32s(TCGContext *s, TCGReg ret, TCGReg arg)
611139c1837SPaolo Bonzini{
612139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDIW, ret, arg, 0);
613139c1837SPaolo Bonzini}
614139c1837SPaolo Bonzini
6159c6aa274SRichard Hendersonstatic void tcg_out_exts_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg)
6169c6aa274SRichard Henderson{
6173ea9be33SRichard Henderson    if (ret != arg) {
6189c6aa274SRichard Henderson        tcg_out_ext32s(s, ret, arg);
6199c6aa274SRichard Henderson    }
6203ea9be33SRichard Henderson}
6219c6aa274SRichard Henderson
622b9bfe000SRichard Hendersonstatic void tcg_out_extu_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg)
623b9bfe000SRichard Henderson{
624b9bfe000SRichard Henderson    tcg_out_ext32u(s, ret, arg);
625b9bfe000SRichard Henderson}
626b9bfe000SRichard Henderson
627b8b94ac6SRichard Hendersonstatic void tcg_out_extrl_i64_i32(TCGContext *s, TCGReg ret, TCGReg arg)
628b8b94ac6SRichard Henderson{
629b8b94ac6SRichard Henderson    tcg_out_ext32s(s, ret, arg);
630b8b94ac6SRichard Henderson}
631b8b94ac6SRichard Henderson
632139c1837SPaolo Bonzinistatic void tcg_out_ldst(TCGContext *s, RISCVInsn opc, TCGReg data,
633139c1837SPaolo Bonzini                         TCGReg addr, intptr_t offset)
634139c1837SPaolo Bonzini{
635139c1837SPaolo Bonzini    intptr_t imm12 = sextreg(offset, 0, 12);
636139c1837SPaolo Bonzini
637139c1837SPaolo Bonzini    if (offset != imm12) {
6389d9db413SRichard Henderson        intptr_t diff = tcg_pcrel_diff(s, (void *)offset);
639139c1837SPaolo Bonzini
640139c1837SPaolo Bonzini        if (addr == TCG_REG_ZERO && diff == (int32_t)diff) {
641139c1837SPaolo Bonzini            imm12 = sextreg(diff, 0, 12);
642139c1837SPaolo Bonzini            tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP2, diff - imm12);
643139c1837SPaolo Bonzini        } else {
644139c1837SPaolo Bonzini            tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP2, offset - imm12);
645139c1837SPaolo Bonzini            if (addr != TCG_REG_ZERO) {
646139c1837SPaolo Bonzini                tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, addr);
647139c1837SPaolo Bonzini            }
648139c1837SPaolo Bonzini        }
649139c1837SPaolo Bonzini        addr = TCG_REG_TMP2;
650139c1837SPaolo Bonzini    }
651139c1837SPaolo Bonzini
652139c1837SPaolo Bonzini    switch (opc) {
653139c1837SPaolo Bonzini    case OPC_SB:
654139c1837SPaolo Bonzini    case OPC_SH:
655139c1837SPaolo Bonzini    case OPC_SW:
656139c1837SPaolo Bonzini    case OPC_SD:
657139c1837SPaolo Bonzini        tcg_out_opc_store(s, opc, addr, data, imm12);
658139c1837SPaolo Bonzini        break;
659139c1837SPaolo Bonzini    case OPC_LB:
660139c1837SPaolo Bonzini    case OPC_LBU:
661139c1837SPaolo Bonzini    case OPC_LH:
662139c1837SPaolo Bonzini    case OPC_LHU:
663139c1837SPaolo Bonzini    case OPC_LW:
664139c1837SPaolo Bonzini    case OPC_LWU:
665139c1837SPaolo Bonzini    case OPC_LD:
666139c1837SPaolo Bonzini        tcg_out_opc_imm(s, opc, data, addr, imm12);
667139c1837SPaolo Bonzini        break;
668139c1837SPaolo Bonzini    default:
669139c1837SPaolo Bonzini        g_assert_not_reached();
670139c1837SPaolo Bonzini    }
671139c1837SPaolo Bonzini}
672139c1837SPaolo Bonzini
673139c1837SPaolo Bonzinistatic void tcg_out_ld(TCGContext *s, TCGType type, TCGReg arg,
674139c1837SPaolo Bonzini                       TCGReg arg1, intptr_t arg2)
675139c1837SPaolo Bonzini{
676aeb6326eSRichard Henderson    RISCVInsn insn = type == TCG_TYPE_I32 ? OPC_LW : OPC_LD;
677aeb6326eSRichard Henderson    tcg_out_ldst(s, insn, arg, arg1, arg2);
678139c1837SPaolo Bonzini}
679139c1837SPaolo Bonzini
680139c1837SPaolo Bonzinistatic void tcg_out_st(TCGContext *s, TCGType type, TCGReg arg,
681139c1837SPaolo Bonzini                       TCGReg arg1, intptr_t arg2)
682139c1837SPaolo Bonzini{
683aeb6326eSRichard Henderson    RISCVInsn insn = type == TCG_TYPE_I32 ? OPC_SW : OPC_SD;
684aeb6326eSRichard Henderson    tcg_out_ldst(s, insn, arg, arg1, arg2);
685139c1837SPaolo Bonzini}
686139c1837SPaolo Bonzini
687139c1837SPaolo Bonzinistatic bool tcg_out_sti(TCGContext *s, TCGType type, TCGArg val,
688139c1837SPaolo Bonzini                        TCGReg base, intptr_t ofs)
689139c1837SPaolo Bonzini{
690139c1837SPaolo Bonzini    if (val == 0) {
691139c1837SPaolo Bonzini        tcg_out_st(s, type, TCG_REG_ZERO, base, ofs);
692139c1837SPaolo Bonzini        return true;
693139c1837SPaolo Bonzini    }
694139c1837SPaolo Bonzini    return false;
695139c1837SPaolo Bonzini}
696139c1837SPaolo Bonzini
697139c1837SPaolo Bonzinistatic void tcg_out_addsub2(TCGContext *s,
698139c1837SPaolo Bonzini                            TCGReg rl, TCGReg rh,
699139c1837SPaolo Bonzini                            TCGReg al, TCGReg ah,
700139c1837SPaolo Bonzini                            TCGArg bl, TCGArg bh,
701139c1837SPaolo Bonzini                            bool cbl, bool cbh, bool is_sub, bool is32bit)
702139c1837SPaolo Bonzini{
703139c1837SPaolo Bonzini    const RISCVInsn opc_add = is32bit ? OPC_ADDW : OPC_ADD;
704139c1837SPaolo Bonzini    const RISCVInsn opc_addi = is32bit ? OPC_ADDIW : OPC_ADDI;
705139c1837SPaolo Bonzini    const RISCVInsn opc_sub = is32bit ? OPC_SUBW : OPC_SUB;
706139c1837SPaolo Bonzini    TCGReg th = TCG_REG_TMP1;
707139c1837SPaolo Bonzini
708139c1837SPaolo Bonzini    /* If we have a negative constant such that negating it would
709139c1837SPaolo Bonzini       make the high part zero, we can (usually) eliminate one insn.  */
710139c1837SPaolo Bonzini    if (cbl && cbh && bh == -1 && bl != 0) {
711139c1837SPaolo Bonzini        bl = -bl;
712139c1837SPaolo Bonzini        bh = 0;
713139c1837SPaolo Bonzini        is_sub = !is_sub;
714139c1837SPaolo Bonzini    }
715139c1837SPaolo Bonzini
716139c1837SPaolo Bonzini    /* By operating on the high part first, we get to use the final
717139c1837SPaolo Bonzini       carry operation to move back from the temporary.  */
718139c1837SPaolo Bonzini    if (!cbh) {
719139c1837SPaolo Bonzini        tcg_out_opc_reg(s, (is_sub ? opc_sub : opc_add), th, ah, bh);
720139c1837SPaolo Bonzini    } else if (bh != 0 || ah == rl) {
721139c1837SPaolo Bonzini        tcg_out_opc_imm(s, opc_addi, th, ah, (is_sub ? -bh : bh));
722139c1837SPaolo Bonzini    } else {
723139c1837SPaolo Bonzini        th = ah;
724139c1837SPaolo Bonzini    }
725139c1837SPaolo Bonzini
726139c1837SPaolo Bonzini    /* Note that tcg optimization should eliminate the bl == 0 case.  */
727139c1837SPaolo Bonzini    if (is_sub) {
728139c1837SPaolo Bonzini        if (cbl) {
729139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, al, bl);
730139c1837SPaolo Bonzini            tcg_out_opc_imm(s, opc_addi, rl, al, -bl);
731139c1837SPaolo Bonzini        } else {
732139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0, al, bl);
733139c1837SPaolo Bonzini            tcg_out_opc_reg(s, opc_sub, rl, al, bl);
734139c1837SPaolo Bonzini        }
735139c1837SPaolo Bonzini        tcg_out_opc_reg(s, opc_sub, rh, th, TCG_REG_TMP0);
736139c1837SPaolo Bonzini    } else {
737139c1837SPaolo Bonzini        if (cbl) {
738139c1837SPaolo Bonzini            tcg_out_opc_imm(s, opc_addi, rl, al, bl);
739139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, rl, bl);
7409b246685SRichard Henderson        } else if (al == bl) {
7419b246685SRichard Henderson            /*
7429b246685SRichard Henderson             * If the input regs overlap, this is a simple doubling
7439b246685SRichard Henderson             * and carry-out is the input msb.  This special case is
7449b246685SRichard Henderson             * required when the output reg overlaps the input,
7459b246685SRichard Henderson             * but we might as well use it always.
7469b246685SRichard Henderson             */
747139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTI, TCG_REG_TMP0, al, 0);
7489b246685SRichard Henderson            tcg_out_opc_reg(s, opc_add, rl, al, al);
749139c1837SPaolo Bonzini        } else {
750139c1837SPaolo Bonzini            tcg_out_opc_reg(s, opc_add, rl, al, bl);
751139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0,
752139c1837SPaolo Bonzini                            rl, (rl == bl ? al : bl));
753139c1837SPaolo Bonzini        }
754139c1837SPaolo Bonzini        tcg_out_opc_reg(s, opc_add, rh, th, TCG_REG_TMP0);
755139c1837SPaolo Bonzini    }
756139c1837SPaolo Bonzini}
757139c1837SPaolo Bonzini
758139c1837SPaolo Bonzinistatic const struct {
759139c1837SPaolo Bonzini    RISCVInsn op;
760139c1837SPaolo Bonzini    bool swap;
761139c1837SPaolo Bonzini} tcg_brcond_to_riscv[] = {
762139c1837SPaolo Bonzini    [TCG_COND_EQ] =  { OPC_BEQ,  false },
763139c1837SPaolo Bonzini    [TCG_COND_NE] =  { OPC_BNE,  false },
764139c1837SPaolo Bonzini    [TCG_COND_LT] =  { OPC_BLT,  false },
765139c1837SPaolo Bonzini    [TCG_COND_GE] =  { OPC_BGE,  false },
766139c1837SPaolo Bonzini    [TCG_COND_LE] =  { OPC_BGE,  true  },
767139c1837SPaolo Bonzini    [TCG_COND_GT] =  { OPC_BLT,  true  },
768139c1837SPaolo Bonzini    [TCG_COND_LTU] = { OPC_BLTU, false },
769139c1837SPaolo Bonzini    [TCG_COND_GEU] = { OPC_BGEU, false },
770139c1837SPaolo Bonzini    [TCG_COND_LEU] = { OPC_BGEU, true  },
771139c1837SPaolo Bonzini    [TCG_COND_GTU] = { OPC_BLTU, true  }
772139c1837SPaolo Bonzini};
773139c1837SPaolo Bonzini
774139c1837SPaolo Bonzinistatic void tcg_out_brcond(TCGContext *s, TCGCond cond, TCGReg arg1,
775139c1837SPaolo Bonzini                           TCGReg arg2, TCGLabel *l)
776139c1837SPaolo Bonzini{
777139c1837SPaolo Bonzini    RISCVInsn op = tcg_brcond_to_riscv[cond].op;
778139c1837SPaolo Bonzini
779139c1837SPaolo Bonzini    tcg_debug_assert(op != 0);
780139c1837SPaolo Bonzini
781139c1837SPaolo Bonzini    if (tcg_brcond_to_riscv[cond].swap) {
782139c1837SPaolo Bonzini        TCGReg t = arg1;
783139c1837SPaolo Bonzini        arg1 = arg2;
784139c1837SPaolo Bonzini        arg2 = t;
785139c1837SPaolo Bonzini    }
786139c1837SPaolo Bonzini
787139c1837SPaolo Bonzini    tcg_out_reloc(s, s->code_ptr, R_RISCV_BRANCH, l, 0);
788139c1837SPaolo Bonzini    tcg_out_opc_branch(s, op, arg1, arg2, 0);
789139c1837SPaolo Bonzini}
790139c1837SPaolo Bonzini
791139c1837SPaolo Bonzinistatic void tcg_out_setcond(TCGContext *s, TCGCond cond, TCGReg ret,
792139c1837SPaolo Bonzini                            TCGReg arg1, TCGReg arg2)
793139c1837SPaolo Bonzini{
794139c1837SPaolo Bonzini    switch (cond) {
795139c1837SPaolo Bonzini    case TCG_COND_EQ:
796139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, ret, arg1, arg2);
797139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SLTIU, ret, ret, 1);
798139c1837SPaolo Bonzini        break;
799139c1837SPaolo Bonzini    case TCG_COND_NE:
800139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, ret, arg1, arg2);
801139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, TCG_REG_ZERO, ret);
802139c1837SPaolo Bonzini        break;
803139c1837SPaolo Bonzini    case TCG_COND_LT:
804139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2);
805139c1837SPaolo Bonzini        break;
806139c1837SPaolo Bonzini    case TCG_COND_GE:
807139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2);
808139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
809139c1837SPaolo Bonzini        break;
810139c1837SPaolo Bonzini    case TCG_COND_LE:
811139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg2, arg1);
812139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
813139c1837SPaolo Bonzini        break;
814139c1837SPaolo Bonzini    case TCG_COND_GT:
815139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg2, arg1);
816139c1837SPaolo Bonzini        break;
817139c1837SPaolo Bonzini    case TCG_COND_LTU:
818139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2);
819139c1837SPaolo Bonzini        break;
820139c1837SPaolo Bonzini    case TCG_COND_GEU:
821139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2);
822139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
823139c1837SPaolo Bonzini        break;
824139c1837SPaolo Bonzini    case TCG_COND_LEU:
825139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg2, arg1);
826139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
827139c1837SPaolo Bonzini        break;
828139c1837SPaolo Bonzini    case TCG_COND_GTU:
829139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg2, arg1);
830139c1837SPaolo Bonzini        break;
831139c1837SPaolo Bonzini    default:
832139c1837SPaolo Bonzini         g_assert_not_reached();
833139c1837SPaolo Bonzini         break;
834139c1837SPaolo Bonzini     }
835139c1837SPaolo Bonzini}
836139c1837SPaolo Bonzini
8372be7d76bSRichard Hendersonstatic void tcg_out_call_int(TCGContext *s, const tcg_insn_unit *arg, bool tail)
838139c1837SPaolo Bonzini{
839139c1837SPaolo Bonzini    TCGReg link = tail ? TCG_REG_ZERO : TCG_REG_RA;
840139c1837SPaolo Bonzini    ptrdiff_t offset = tcg_pcrel_diff(s, arg);
841139c1837SPaolo Bonzini    int ret;
842139c1837SPaolo Bonzini
843844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
844844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
845139c1837SPaolo Bonzini        /* short jump: -2097150 to 2097152 */
846139c1837SPaolo Bonzini        tcg_out_opc_jump(s, OPC_JAL, link, offset);
847aeb6326eSRichard Henderson    } else if (offset == (int32_t)offset) {
848139c1837SPaolo Bonzini        /* long jump: -2147483646 to 2147483648 */
849139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP0, 0);
850139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, 0);
851844d0442SRichard Henderson        ret = reloc_call(s->code_ptr - 2, arg);
852139c1837SPaolo Bonzini        tcg_debug_assert(ret == true);
853aeb6326eSRichard Henderson    } else {
854139c1837SPaolo Bonzini        /* far jump: 64-bit */
855139c1837SPaolo Bonzini        tcg_target_long imm = sextreg((tcg_target_long)arg, 0, 12);
856139c1837SPaolo Bonzini        tcg_target_long base = (tcg_target_long)arg - imm;
857139c1837SPaolo Bonzini        tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP0, base);
858139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, imm);
859139c1837SPaolo Bonzini    }
860139c1837SPaolo Bonzini}
861139c1837SPaolo Bonzini
862cee44b03SRichard Hendersonstatic void tcg_out_call(TCGContext *s, const tcg_insn_unit *arg,
863cee44b03SRichard Henderson                         const TCGHelperInfo *info)
864139c1837SPaolo Bonzini{
865139c1837SPaolo Bonzini    tcg_out_call_int(s, arg, false);
866139c1837SPaolo Bonzini}
867139c1837SPaolo Bonzini
868139c1837SPaolo Bonzinistatic void tcg_out_mb(TCGContext *s, TCGArg a0)
869139c1837SPaolo Bonzini{
870139c1837SPaolo Bonzini    tcg_insn_unit insn = OPC_FENCE;
871139c1837SPaolo Bonzini
872139c1837SPaolo Bonzini    if (a0 & TCG_MO_LD_LD) {
873139c1837SPaolo Bonzini        insn |= 0x02200000;
874139c1837SPaolo Bonzini    }
875139c1837SPaolo Bonzini    if (a0 & TCG_MO_ST_LD) {
876139c1837SPaolo Bonzini        insn |= 0x01200000;
877139c1837SPaolo Bonzini    }
878139c1837SPaolo Bonzini    if (a0 & TCG_MO_LD_ST) {
879139c1837SPaolo Bonzini        insn |= 0x02100000;
880139c1837SPaolo Bonzini    }
881139c1837SPaolo Bonzini    if (a0 & TCG_MO_ST_ST) {
882139c1837SPaolo Bonzini        insn |= 0x02200000;
883139c1837SPaolo Bonzini    }
884139c1837SPaolo Bonzini    tcg_out32(s, insn);
885139c1837SPaolo Bonzini}
886139c1837SPaolo Bonzini
887139c1837SPaolo Bonzini/*
888139c1837SPaolo Bonzini * Load/store and TLB
889139c1837SPaolo Bonzini */
890139c1837SPaolo Bonzini
891793f7381SRichard Hendersonstatic void tcg_out_goto(TCGContext *s, const tcg_insn_unit *target)
892844d0442SRichard Henderson{
893844d0442SRichard Henderson    tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
894844d0442SRichard Henderson    bool ok = reloc_jimm20(s->code_ptr - 1, target);
895844d0442SRichard Henderson    tcg_debug_assert(ok);
896844d0442SRichard Henderson}
897844d0442SRichard Henderson
8987b880107SRichard Hendersonbool tcg_target_has_memory_bswap(MemOp memop)
8997b880107SRichard Henderson{
9007b880107SRichard Henderson    return false;
9017b880107SRichard Henderson}
9027b880107SRichard Henderson
90361b6daafSRichard Henderson/* We have three temps, we might as well expose them. */
90461b6daafSRichard Hendersonstatic const TCGLdstHelperParam ldst_helper_param = {
90561b6daafSRichard Henderson    .ntmp = 3, .tmp = { TCG_REG_TMP0, TCG_REG_TMP1, TCG_REG_TMP2 }
90661b6daafSRichard Henderson};
90761b6daafSRichard Henderson
908139c1837SPaolo Bonzinistatic bool tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
909139c1837SPaolo Bonzini{
91061b6daafSRichard Henderson    MemOp opc = get_memop(l->oi);
911139c1837SPaolo Bonzini
912139c1837SPaolo Bonzini    /* resolve label address */
913793f7381SRichard Henderson    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
914139c1837SPaolo Bonzini        return false;
915139c1837SPaolo Bonzini    }
916139c1837SPaolo Bonzini
917139c1837SPaolo Bonzini    /* call load helper */
91861b6daafSRichard Henderson    tcg_out_ld_helper_args(s, l, &ldst_helper_param);
919cee44b03SRichard Henderson    tcg_out_call_int(s, qemu_ld_helpers[opc & MO_SSIZE], false);
92061b6daafSRichard Henderson    tcg_out_ld_helper_ret(s, l, true, &ldst_helper_param);
921139c1837SPaolo Bonzini
922139c1837SPaolo Bonzini    tcg_out_goto(s, l->raddr);
923139c1837SPaolo Bonzini    return true;
924139c1837SPaolo Bonzini}
925139c1837SPaolo Bonzini
926139c1837SPaolo Bonzinistatic bool tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
927139c1837SPaolo Bonzini{
92861b6daafSRichard Henderson    MemOp opc = get_memop(l->oi);
929139c1837SPaolo Bonzini
930139c1837SPaolo Bonzini    /* resolve label address */
931793f7381SRichard Henderson    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
932139c1837SPaolo Bonzini        return false;
933139c1837SPaolo Bonzini    }
934139c1837SPaolo Bonzini
935139c1837SPaolo Bonzini    /* call store helper */
93661b6daafSRichard Henderson    tcg_out_st_helper_args(s, l, &ldst_helper_param);
937cee44b03SRichard Henderson    tcg_out_call_int(s, qemu_st_helpers[opc & MO_SIZE], false);
938139c1837SPaolo Bonzini
939139c1837SPaolo Bonzini    tcg_out_goto(s, l->raddr);
940139c1837SPaolo Bonzini    return true;
941139c1837SPaolo Bonzini}
942139c1837SPaolo Bonzini
943001dddfeSRichard Henderson/*
944001dddfeSRichard Henderson * For softmmu, perform the TLB load and compare.
945001dddfeSRichard Henderson * For useronly, perform any required alignment tests.
946001dddfeSRichard Henderson * In both cases, return a TCGLabelQemuLdst structure if the slow path
947001dddfeSRichard Henderson * is required and fill in @h with the host address for the fast path.
948001dddfeSRichard Henderson */
949001dddfeSRichard Hendersonstatic TCGLabelQemuLdst *prepare_host_addr(TCGContext *s, TCGReg *pbase,
950001dddfeSRichard Henderson                                           TCGReg addr_reg, MemOpIdx oi,
951001dddfeSRichard Henderson                                           bool is_ld)
952001dddfeSRichard Henderson{
953001dddfeSRichard Henderson    TCGLabelQemuLdst *ldst = NULL;
954001dddfeSRichard Henderson    MemOp opc = get_memop(oi);
95537e523f0SRichard Henderson    TCGAtomAlign aa;
95637e523f0SRichard Henderson    unsigned a_mask;
95737e523f0SRichard Henderson
95837e523f0SRichard Henderson    aa = atom_and_align_for_opc(s, opc, MO_ATOM_IFALIGN, false);
95937e523f0SRichard Henderson    a_mask = (1u << aa.align) - 1;
960001dddfeSRichard Henderson
961001dddfeSRichard Henderson#ifdef CONFIG_SOFTMMU
962001dddfeSRichard Henderson    unsigned s_bits = opc & MO_SIZE;
963933b331bSRichard Henderson    unsigned s_mask = (1u << s_bits) - 1;
964001dddfeSRichard Henderson    int mem_index = get_mmuidx(oi);
965001dddfeSRichard Henderson    int fast_ofs = TLB_MASK_TABLE_OFS(mem_index);
966001dddfeSRichard Henderson    int mask_ofs = fast_ofs + offsetof(CPUTLBDescFast, mask);
967001dddfeSRichard Henderson    int table_ofs = fast_ofs + offsetof(CPUTLBDescFast, table);
968933b331bSRichard Henderson    int compare_mask;
969933b331bSRichard Henderson    TCGReg addr_adj;
970001dddfeSRichard Henderson
971001dddfeSRichard Henderson    ldst = new_ldst_label(s);
972001dddfeSRichard Henderson    ldst->is_ld = is_ld;
973001dddfeSRichard Henderson    ldst->oi = oi;
974001dddfeSRichard Henderson    ldst->addrlo_reg = addr_reg;
975001dddfeSRichard Henderson
976001dddfeSRichard Henderson    QEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) > 0);
977001dddfeSRichard Henderson    QEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) < -(1 << 11));
978933b331bSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_AREG0, mask_ofs);
979933b331bSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP1, TCG_AREG0, table_ofs);
980001dddfeSRichard Henderson
981001dddfeSRichard Henderson    tcg_out_opc_imm(s, OPC_SRLI, TCG_REG_TMP2, addr_reg,
982aece72b7SRichard Henderson                    s->page_bits - CPU_TLB_ENTRY_BITS);
983001dddfeSRichard Henderson    tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP0);
984001dddfeSRichard Henderson    tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP1);
985001dddfeSRichard Henderson
986933b331bSRichard Henderson    /*
987933b331bSRichard Henderson     * For aligned accesses, we check the first byte and include the alignment
988933b331bSRichard Henderson     * bits within the address.  For unaligned access, we check that we don't
989933b331bSRichard Henderson     * cross pages using the address of the last byte of the access.
990933b331bSRichard Henderson     */
991933b331bSRichard Henderson    addr_adj = addr_reg;
99237e523f0SRichard Henderson    if (a_mask < s_mask) {
993933b331bSRichard Henderson        addr_adj = TCG_REG_TMP0;
994933b331bSRichard Henderson        tcg_out_opc_imm(s, TARGET_LONG_BITS == 32 ? OPC_ADDIW : OPC_ADDI,
995933b331bSRichard Henderson                        addr_adj, addr_reg, s_mask - a_mask);
996933b331bSRichard Henderson    }
997aece72b7SRichard Henderson    compare_mask = s->page_mask | a_mask;
998933b331bSRichard Henderson    if (compare_mask == sextreg(compare_mask, 0, 12)) {
999933b331bSRichard Henderson        tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr_adj, compare_mask);
1000933b331bSRichard Henderson    } else {
1001933b331bSRichard Henderson        tcg_out_movi(s, TCG_TYPE_TL, TCG_REG_TMP1, compare_mask);
1002933b331bSRichard Henderson        tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP1, TCG_REG_TMP1, addr_adj);
1003933b331bSRichard Henderson    }
1004933b331bSRichard Henderson
1005001dddfeSRichard Henderson    /* Load the tlb comparator and the addend.  */
1006001dddfeSRichard Henderson    tcg_out_ld(s, TCG_TYPE_TL, TCG_REG_TMP0, TCG_REG_TMP2,
1007001dddfeSRichard Henderson               is_ld ? offsetof(CPUTLBEntry, addr_read)
1008001dddfeSRichard Henderson                     : offsetof(CPUTLBEntry, addr_write));
1009001dddfeSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP2, TCG_REG_TMP2,
1010001dddfeSRichard Henderson               offsetof(CPUTLBEntry, addend));
1011001dddfeSRichard Henderson
1012001dddfeSRichard Henderson    /* Compare masked address with the TLB entry. */
1013001dddfeSRichard Henderson    ldst->label_ptr[0] = s->code_ptr;
1014001dddfeSRichard Henderson    tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP0, TCG_REG_TMP1, 0);
1015001dddfeSRichard Henderson
1016001dddfeSRichard Henderson    /* TLB Hit - translate address using addend.  */
1017933b331bSRichard Henderson    addr_adj = addr_reg;
1018001dddfeSRichard Henderson    if (TARGET_LONG_BITS == 32) {
1019933b331bSRichard Henderson        addr_adj = TCG_REG_TMP0;
1020933b331bSRichard Henderson        tcg_out_ext32u(s, addr_adj, addr_reg);
1021001dddfeSRichard Henderson    }
1022933b331bSRichard Henderson    tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, TCG_REG_TMP2, addr_adj);
1023001dddfeSRichard Henderson    *pbase = TCG_REG_TMP0;
1024001dddfeSRichard Henderson#else
1025001dddfeSRichard Henderson    if (a_mask) {
1026001dddfeSRichard Henderson        ldst = new_ldst_label(s);
1027001dddfeSRichard Henderson        ldst->is_ld = is_ld;
1028001dddfeSRichard Henderson        ldst->oi = oi;
1029001dddfeSRichard Henderson        ldst->addrlo_reg = addr_reg;
1030001dddfeSRichard Henderson
103137e523f0SRichard Henderson        /* We are expecting alignment max 7, so we can always use andi. */
103237e523f0SRichard Henderson        tcg_debug_assert(a_mask == sextreg(a_mask, 0, 12));
1033001dddfeSRichard Henderson        tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr_reg, a_mask);
1034001dddfeSRichard Henderson
1035001dddfeSRichard Henderson        ldst->label_ptr[0] = s->code_ptr;
1036001dddfeSRichard Henderson        tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP1, TCG_REG_ZERO, 0);
1037001dddfeSRichard Henderson    }
1038001dddfeSRichard Henderson
1039001dddfeSRichard Henderson    TCGReg base = addr_reg;
1040001dddfeSRichard Henderson    if (TARGET_LONG_BITS == 32) {
1041001dddfeSRichard Henderson        tcg_out_ext32u(s, TCG_REG_TMP0, base);
1042001dddfeSRichard Henderson        base = TCG_REG_TMP0;
1043001dddfeSRichard Henderson    }
1044001dddfeSRichard Henderson    if (guest_base != 0) {
1045001dddfeSRichard Henderson        tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, TCG_GUEST_BASE_REG, base);
1046001dddfeSRichard Henderson        base = TCG_REG_TMP0;
1047001dddfeSRichard Henderson    }
1048001dddfeSRichard Henderson    *pbase = base;
1049001dddfeSRichard Henderson#endif
1050001dddfeSRichard Henderson
1051001dddfeSRichard Henderson    return ldst;
1052001dddfeSRichard Henderson}
1053001dddfeSRichard Henderson
1054aeb6326eSRichard Hendersonstatic void tcg_out_qemu_ld_direct(TCGContext *s, TCGReg val,
1055f7041977SRichard Henderson                                   TCGReg base, MemOp opc, TCGType type)
1056139c1837SPaolo Bonzini{
1057c86bd2dcSRichard Henderson    /* Byte swapping is left to middle-end expansion. */
1058c86bd2dcSRichard Henderson    tcg_debug_assert((opc & MO_BSWAP) == 0);
1059139c1837SPaolo Bonzini
1060139c1837SPaolo Bonzini    switch (opc & (MO_SSIZE)) {
1061139c1837SPaolo Bonzini    case MO_UB:
1062aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LBU, val, base, 0);
1063139c1837SPaolo Bonzini        break;
1064139c1837SPaolo Bonzini    case MO_SB:
1065aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LB, val, base, 0);
1066139c1837SPaolo Bonzini        break;
1067139c1837SPaolo Bonzini    case MO_UW:
1068aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LHU, val, base, 0);
1069139c1837SPaolo Bonzini        break;
1070139c1837SPaolo Bonzini    case MO_SW:
1071aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LH, val, base, 0);
1072139c1837SPaolo Bonzini        break;
1073139c1837SPaolo Bonzini    case MO_UL:
1074f7041977SRichard Henderson        if (type == TCG_TYPE_I64) {
1075aeb6326eSRichard Henderson            tcg_out_opc_imm(s, OPC_LWU, val, base, 0);
1076139c1837SPaolo Bonzini            break;
1077139c1837SPaolo Bonzini        }
1078139c1837SPaolo Bonzini        /* FALLTHRU */
1079139c1837SPaolo Bonzini    case MO_SL:
1080aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LW, val, base, 0);
1081139c1837SPaolo Bonzini        break;
1082fc313c64SFrédéric Pétrot    case MO_UQ:
1083aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LD, val, base, 0);
1084139c1837SPaolo Bonzini        break;
1085139c1837SPaolo Bonzini    default:
1086139c1837SPaolo Bonzini        g_assert_not_reached();
1087139c1837SPaolo Bonzini    }
1088139c1837SPaolo Bonzini}
1089139c1837SPaolo Bonzini
1090f7041977SRichard Hendersonstatic void tcg_out_qemu_ld(TCGContext *s, TCGReg data_reg, TCGReg addr_reg,
1091f7041977SRichard Henderson                            MemOpIdx oi, TCGType data_type)
1092139c1837SPaolo Bonzini{
1093001dddfeSRichard Henderson    TCGLabelQemuLdst *ldst;
10942e3a933aSRichard Henderson    TCGReg base;
1095139c1837SPaolo Bonzini
1096001dddfeSRichard Henderson    ldst = prepare_host_addr(s, &base, addr_reg, oi, true);
1097001dddfeSRichard Henderson    tcg_out_qemu_ld_direct(s, data_reg, base, get_memop(oi), data_type);
1098f7041977SRichard Henderson
1099001dddfeSRichard Henderson    if (ldst) {
1100001dddfeSRichard Henderson        ldst->type = data_type;
1101001dddfeSRichard Henderson        ldst->datalo_reg = data_reg;
1102001dddfeSRichard Henderson        ldst->raddr = tcg_splitwx_to_rx(s->code_ptr);
1103a3fb7c99SRichard Henderson    }
1104139c1837SPaolo Bonzini}
1105139c1837SPaolo Bonzini
1106aeb6326eSRichard Hendersonstatic void tcg_out_qemu_st_direct(TCGContext *s, TCGReg val,
1107139c1837SPaolo Bonzini                                   TCGReg base, MemOp opc)
1108139c1837SPaolo Bonzini{
1109c86bd2dcSRichard Henderson    /* Byte swapping is left to middle-end expansion. */
1110c86bd2dcSRichard Henderson    tcg_debug_assert((opc & MO_BSWAP) == 0);
1111139c1837SPaolo Bonzini
1112139c1837SPaolo Bonzini    switch (opc & (MO_SSIZE)) {
1113139c1837SPaolo Bonzini    case MO_8:
1114aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SB, base, val, 0);
1115139c1837SPaolo Bonzini        break;
1116139c1837SPaolo Bonzini    case MO_16:
1117aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SH, base, val, 0);
1118139c1837SPaolo Bonzini        break;
1119139c1837SPaolo Bonzini    case MO_32:
1120aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SW, base, val, 0);
1121139c1837SPaolo Bonzini        break;
1122139c1837SPaolo Bonzini    case MO_64:
1123aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SD, base, val, 0);
1124139c1837SPaolo Bonzini        break;
1125139c1837SPaolo Bonzini    default:
1126139c1837SPaolo Bonzini        g_assert_not_reached();
1127139c1837SPaolo Bonzini    }
1128139c1837SPaolo Bonzini}
1129139c1837SPaolo Bonzini
1130f7041977SRichard Hendersonstatic void tcg_out_qemu_st(TCGContext *s, TCGReg data_reg, TCGReg addr_reg,
1131f7041977SRichard Henderson                            MemOpIdx oi, TCGType data_type)
1132139c1837SPaolo Bonzini{
1133001dddfeSRichard Henderson    TCGLabelQemuLdst *ldst;
11342e3a933aSRichard Henderson    TCGReg base;
1135139c1837SPaolo Bonzini
1136001dddfeSRichard Henderson    ldst = prepare_host_addr(s, &base, addr_reg, oi, false);
1137001dddfeSRichard Henderson    tcg_out_qemu_st_direct(s, data_reg, base, get_memop(oi));
1138f7041977SRichard Henderson
1139001dddfeSRichard Henderson    if (ldst) {
1140001dddfeSRichard Henderson        ldst->type = data_type;
1141001dddfeSRichard Henderson        ldst->datalo_reg = data_reg;
1142001dddfeSRichard Henderson        ldst->raddr = tcg_splitwx_to_rx(s->code_ptr);
1143a3fb7c99SRichard Henderson    }
1144139c1837SPaolo Bonzini}
1145139c1837SPaolo Bonzini
1146793f7381SRichard Hendersonstatic const tcg_insn_unit *tb_ret_addr;
1147139c1837SPaolo Bonzini
1148b55a8d9dSRichard Hendersonstatic void tcg_out_exit_tb(TCGContext *s, uintptr_t a0)
1149b55a8d9dSRichard Henderson{
1150b55a8d9dSRichard Henderson    /* Reuse the zeroing that exists for goto_ptr.  */
1151b55a8d9dSRichard Henderson    if (a0 == 0) {
1152b55a8d9dSRichard Henderson        tcg_out_call_int(s, tcg_code_gen_epilogue, true);
1153b55a8d9dSRichard Henderson    } else {
1154b55a8d9dSRichard Henderson        tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_A0, a0);
1155b55a8d9dSRichard Henderson        tcg_out_call_int(s, tb_ret_addr, true);
1156b55a8d9dSRichard Henderson    }
1157b55a8d9dSRichard Henderson}
1158b55a8d9dSRichard Henderson
1159cf7d6b8eSRichard Hendersonstatic void tcg_out_goto_tb(TCGContext *s, int which)
1160cf7d6b8eSRichard Henderson{
1161493c9b19SRichard Henderson    /* Direct branch will be patched by tb_target_set_jmp_target. */
1162493c9b19SRichard Henderson    set_jmp_insn_offset(s, which);
1163493c9b19SRichard Henderson    tcg_out32(s, OPC_JAL);
1164493c9b19SRichard Henderson
1165493c9b19SRichard Henderson    /* When branch is out of range, fall through to indirect. */
1166cf7d6b8eSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_REG_ZERO,
1167cf7d6b8eSRichard Henderson               get_jmp_target_addr(s, which));
1168cf7d6b8eSRichard Henderson    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_TMP0, 0);
1169cf7d6b8eSRichard Henderson    set_jmp_reset_offset(s, which);
1170cf7d6b8eSRichard Henderson}
1171cf7d6b8eSRichard Henderson
117290c0fee3SRichard Hendersonvoid tb_target_set_jmp_target(const TranslationBlock *tb, int n,
117390c0fee3SRichard Henderson                              uintptr_t jmp_rx, uintptr_t jmp_rw)
117490c0fee3SRichard Henderson{
1175493c9b19SRichard Henderson    uintptr_t addr = tb->jmp_target_addr[n];
1176493c9b19SRichard Henderson    ptrdiff_t offset = addr - jmp_rx;
1177493c9b19SRichard Henderson    tcg_insn_unit insn;
1178493c9b19SRichard Henderson
1179493c9b19SRichard Henderson    /* Either directly branch, or fall through to indirect branch. */
1180493c9b19SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
1181493c9b19SRichard Henderson        insn = encode_uj(OPC_JAL, TCG_REG_ZERO, offset);
1182493c9b19SRichard Henderson    } else {
1183493c9b19SRichard Henderson        insn = OPC_NOP;
1184493c9b19SRichard Henderson    }
1185493c9b19SRichard Henderson    qatomic_set((uint32_t *)jmp_rw, insn);
1186493c9b19SRichard Henderson    flush_idcache_range(jmp_rx, jmp_rw, 4);
118790c0fee3SRichard Henderson}
118890c0fee3SRichard Henderson
1189139c1837SPaolo Bonzinistatic void tcg_out_op(TCGContext *s, TCGOpcode opc,
11905e8892dbSMiroslav Rezanina                       const TCGArg args[TCG_MAX_OP_ARGS],
11915e8892dbSMiroslav Rezanina                       const int const_args[TCG_MAX_OP_ARGS])
1192139c1837SPaolo Bonzini{
1193139c1837SPaolo Bonzini    TCGArg a0 = args[0];
1194139c1837SPaolo Bonzini    TCGArg a1 = args[1];
1195139c1837SPaolo Bonzini    TCGArg a2 = args[2];
1196139c1837SPaolo Bonzini    int c2 = const_args[2];
1197139c1837SPaolo Bonzini
1198139c1837SPaolo Bonzini    switch (opc) {
1199139c1837SPaolo Bonzini    case INDEX_op_goto_ptr:
1200139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, a0, 0);
1201139c1837SPaolo Bonzini        break;
1202139c1837SPaolo Bonzini
1203139c1837SPaolo Bonzini    case INDEX_op_br:
1204139c1837SPaolo Bonzini        tcg_out_reloc(s, s->code_ptr, R_RISCV_JAL, arg_label(a0), 0);
1205139c1837SPaolo Bonzini        tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
1206139c1837SPaolo Bonzini        break;
1207139c1837SPaolo Bonzini
1208139c1837SPaolo Bonzini    case INDEX_op_ld8u_i32:
1209139c1837SPaolo Bonzini    case INDEX_op_ld8u_i64:
1210139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LBU, a0, a1, a2);
1211139c1837SPaolo Bonzini        break;
1212139c1837SPaolo Bonzini    case INDEX_op_ld8s_i32:
1213139c1837SPaolo Bonzini    case INDEX_op_ld8s_i64:
1214139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LB, a0, a1, a2);
1215139c1837SPaolo Bonzini        break;
1216139c1837SPaolo Bonzini    case INDEX_op_ld16u_i32:
1217139c1837SPaolo Bonzini    case INDEX_op_ld16u_i64:
1218139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LHU, a0, a1, a2);
1219139c1837SPaolo Bonzini        break;
1220139c1837SPaolo Bonzini    case INDEX_op_ld16s_i32:
1221139c1837SPaolo Bonzini    case INDEX_op_ld16s_i64:
1222139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LH, a0, a1, a2);
1223139c1837SPaolo Bonzini        break;
1224139c1837SPaolo Bonzini    case INDEX_op_ld32u_i64:
1225139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LWU, a0, a1, a2);
1226139c1837SPaolo Bonzini        break;
1227139c1837SPaolo Bonzini    case INDEX_op_ld_i32:
1228139c1837SPaolo Bonzini    case INDEX_op_ld32s_i64:
1229139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LW, a0, a1, a2);
1230139c1837SPaolo Bonzini        break;
1231139c1837SPaolo Bonzini    case INDEX_op_ld_i64:
1232139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LD, a0, a1, a2);
1233139c1837SPaolo Bonzini        break;
1234139c1837SPaolo Bonzini
1235139c1837SPaolo Bonzini    case INDEX_op_st8_i32:
1236139c1837SPaolo Bonzini    case INDEX_op_st8_i64:
1237139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SB, a0, a1, a2);
1238139c1837SPaolo Bonzini        break;
1239139c1837SPaolo Bonzini    case INDEX_op_st16_i32:
1240139c1837SPaolo Bonzini    case INDEX_op_st16_i64:
1241139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SH, a0, a1, a2);
1242139c1837SPaolo Bonzini        break;
1243139c1837SPaolo Bonzini    case INDEX_op_st_i32:
1244139c1837SPaolo Bonzini    case INDEX_op_st32_i64:
1245139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SW, a0, a1, a2);
1246139c1837SPaolo Bonzini        break;
1247139c1837SPaolo Bonzini    case INDEX_op_st_i64:
1248139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SD, a0, a1, a2);
1249139c1837SPaolo Bonzini        break;
1250139c1837SPaolo Bonzini
1251139c1837SPaolo Bonzini    case INDEX_op_add_i32:
1252139c1837SPaolo Bonzini        if (c2) {
1253139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, a2);
1254139c1837SPaolo Bonzini        } else {
1255139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_ADDW, a0, a1, a2);
1256139c1837SPaolo Bonzini        }
1257139c1837SPaolo Bonzini        break;
1258139c1837SPaolo Bonzini    case INDEX_op_add_i64:
1259139c1837SPaolo Bonzini        if (c2) {
1260139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, a2);
1261139c1837SPaolo Bonzini        } else {
1262139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_ADD, a0, a1, a2);
1263139c1837SPaolo Bonzini        }
1264139c1837SPaolo Bonzini        break;
1265139c1837SPaolo Bonzini
1266139c1837SPaolo Bonzini    case INDEX_op_sub_i32:
1267139c1837SPaolo Bonzini        if (c2) {
1268139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, -a2);
1269139c1837SPaolo Bonzini        } else {
1270139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SUBW, a0, a1, a2);
1271139c1837SPaolo Bonzini        }
1272139c1837SPaolo Bonzini        break;
1273139c1837SPaolo Bonzini    case INDEX_op_sub_i64:
1274139c1837SPaolo Bonzini        if (c2) {
1275139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, -a2);
1276139c1837SPaolo Bonzini        } else {
1277139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SUB, a0, a1, a2);
1278139c1837SPaolo Bonzini        }
1279139c1837SPaolo Bonzini        break;
1280139c1837SPaolo Bonzini
1281139c1837SPaolo Bonzini    case INDEX_op_and_i32:
1282139c1837SPaolo Bonzini    case INDEX_op_and_i64:
1283139c1837SPaolo Bonzini        if (c2) {
1284139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ANDI, a0, a1, a2);
1285139c1837SPaolo Bonzini        } else {
1286139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_AND, a0, a1, a2);
1287139c1837SPaolo Bonzini        }
1288139c1837SPaolo Bonzini        break;
1289139c1837SPaolo Bonzini
1290139c1837SPaolo Bonzini    case INDEX_op_or_i32:
1291139c1837SPaolo Bonzini    case INDEX_op_or_i64:
1292139c1837SPaolo Bonzini        if (c2) {
1293139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ORI, a0, a1, a2);
1294139c1837SPaolo Bonzini        } else {
1295139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_OR, a0, a1, a2);
1296139c1837SPaolo Bonzini        }
1297139c1837SPaolo Bonzini        break;
1298139c1837SPaolo Bonzini
1299139c1837SPaolo Bonzini    case INDEX_op_xor_i32:
1300139c1837SPaolo Bonzini    case INDEX_op_xor_i64:
1301139c1837SPaolo Bonzini        if (c2) {
1302139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_XORI, a0, a1, a2);
1303139c1837SPaolo Bonzini        } else {
1304139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_XOR, a0, a1, a2);
1305139c1837SPaolo Bonzini        }
1306139c1837SPaolo Bonzini        break;
1307139c1837SPaolo Bonzini
1308139c1837SPaolo Bonzini    case INDEX_op_not_i32:
1309139c1837SPaolo Bonzini    case INDEX_op_not_i64:
1310139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, a0, a1, -1);
1311139c1837SPaolo Bonzini        break;
1312139c1837SPaolo Bonzini
1313139c1837SPaolo Bonzini    case INDEX_op_neg_i32:
1314139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUBW, a0, TCG_REG_ZERO, a1);
1315139c1837SPaolo Bonzini        break;
1316139c1837SPaolo Bonzini    case INDEX_op_neg_i64:
1317139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, a0, TCG_REG_ZERO, a1);
1318139c1837SPaolo Bonzini        break;
1319139c1837SPaolo Bonzini
1320139c1837SPaolo Bonzini    case INDEX_op_mul_i32:
1321139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULW, a0, a1, a2);
1322139c1837SPaolo Bonzini        break;
1323139c1837SPaolo Bonzini    case INDEX_op_mul_i64:
1324139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MUL, a0, a1, a2);
1325139c1837SPaolo Bonzini        break;
1326139c1837SPaolo Bonzini
1327139c1837SPaolo Bonzini    case INDEX_op_div_i32:
1328139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVW, a0, a1, a2);
1329139c1837SPaolo Bonzini        break;
1330139c1837SPaolo Bonzini    case INDEX_op_div_i64:
1331139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIV, a0, a1, a2);
1332139c1837SPaolo Bonzini        break;
1333139c1837SPaolo Bonzini
1334139c1837SPaolo Bonzini    case INDEX_op_divu_i32:
1335139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVUW, a0, a1, a2);
1336139c1837SPaolo Bonzini        break;
1337139c1837SPaolo Bonzini    case INDEX_op_divu_i64:
1338139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVU, a0, a1, a2);
1339139c1837SPaolo Bonzini        break;
1340139c1837SPaolo Bonzini
1341139c1837SPaolo Bonzini    case INDEX_op_rem_i32:
1342139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMW, a0, a1, a2);
1343139c1837SPaolo Bonzini        break;
1344139c1837SPaolo Bonzini    case INDEX_op_rem_i64:
1345139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REM, a0, a1, a2);
1346139c1837SPaolo Bonzini        break;
1347139c1837SPaolo Bonzini
1348139c1837SPaolo Bonzini    case INDEX_op_remu_i32:
1349139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMUW, a0, a1, a2);
1350139c1837SPaolo Bonzini        break;
1351139c1837SPaolo Bonzini    case INDEX_op_remu_i64:
1352139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMU, a0, a1, a2);
1353139c1837SPaolo Bonzini        break;
1354139c1837SPaolo Bonzini
1355139c1837SPaolo Bonzini    case INDEX_op_shl_i32:
1356139c1837SPaolo Bonzini        if (c2) {
1357d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SLLIW, a0, a1, a2 & 0x1f);
1358139c1837SPaolo Bonzini        } else {
1359139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLLW, a0, a1, a2);
1360139c1837SPaolo Bonzini        }
1361139c1837SPaolo Bonzini        break;
1362139c1837SPaolo Bonzini    case INDEX_op_shl_i64:
1363139c1837SPaolo Bonzini        if (c2) {
1364d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SLLI, a0, a1, a2 & 0x3f);
1365139c1837SPaolo Bonzini        } else {
1366139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLL, a0, a1, a2);
1367139c1837SPaolo Bonzini        }
1368139c1837SPaolo Bonzini        break;
1369139c1837SPaolo Bonzini
1370139c1837SPaolo Bonzini    case INDEX_op_shr_i32:
1371139c1837SPaolo Bonzini        if (c2) {
1372d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRLIW, a0, a1, a2 & 0x1f);
1373139c1837SPaolo Bonzini        } else {
1374139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRLW, a0, a1, a2);
1375139c1837SPaolo Bonzini        }
1376139c1837SPaolo Bonzini        break;
1377139c1837SPaolo Bonzini    case INDEX_op_shr_i64:
1378139c1837SPaolo Bonzini        if (c2) {
1379d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRLI, a0, a1, a2 & 0x3f);
1380139c1837SPaolo Bonzini        } else {
1381139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRL, a0, a1, a2);
1382139c1837SPaolo Bonzini        }
1383139c1837SPaolo Bonzini        break;
1384139c1837SPaolo Bonzini
1385139c1837SPaolo Bonzini    case INDEX_op_sar_i32:
1386139c1837SPaolo Bonzini        if (c2) {
1387d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRAIW, a0, a1, a2 & 0x1f);
1388139c1837SPaolo Bonzini        } else {
1389139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRAW, a0, a1, a2);
1390139c1837SPaolo Bonzini        }
1391139c1837SPaolo Bonzini        break;
1392139c1837SPaolo Bonzini    case INDEX_op_sar_i64:
1393139c1837SPaolo Bonzini        if (c2) {
1394d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRAI, a0, a1, a2 & 0x3f);
1395139c1837SPaolo Bonzini        } else {
1396139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRA, a0, a1, a2);
1397139c1837SPaolo Bonzini        }
1398139c1837SPaolo Bonzini        break;
1399139c1837SPaolo Bonzini
1400139c1837SPaolo Bonzini    case INDEX_op_add2_i32:
1401139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1402139c1837SPaolo Bonzini                        const_args[4], const_args[5], false, true);
1403139c1837SPaolo Bonzini        break;
1404139c1837SPaolo Bonzini    case INDEX_op_add2_i64:
1405139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1406139c1837SPaolo Bonzini                        const_args[4], const_args[5], false, false);
1407139c1837SPaolo Bonzini        break;
1408139c1837SPaolo Bonzini    case INDEX_op_sub2_i32:
1409139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1410139c1837SPaolo Bonzini                        const_args[4], const_args[5], true, true);
1411139c1837SPaolo Bonzini        break;
1412139c1837SPaolo Bonzini    case INDEX_op_sub2_i64:
1413139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1414139c1837SPaolo Bonzini                        const_args[4], const_args[5], true, false);
1415139c1837SPaolo Bonzini        break;
1416139c1837SPaolo Bonzini
1417139c1837SPaolo Bonzini    case INDEX_op_brcond_i32:
1418139c1837SPaolo Bonzini    case INDEX_op_brcond_i64:
1419139c1837SPaolo Bonzini        tcg_out_brcond(s, a2, a0, a1, arg_label(args[3]));
1420139c1837SPaolo Bonzini        break;
1421139c1837SPaolo Bonzini
1422139c1837SPaolo Bonzini    case INDEX_op_setcond_i32:
1423139c1837SPaolo Bonzini    case INDEX_op_setcond_i64:
1424139c1837SPaolo Bonzini        tcg_out_setcond(s, args[3], a0, a1, a2);
1425139c1837SPaolo Bonzini        break;
1426139c1837SPaolo Bonzini
1427fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a32_i32:
1428fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a64_i32:
1429f7041977SRichard Henderson        tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I32);
1430139c1837SPaolo Bonzini        break;
1431fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a32_i64:
1432fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a64_i64:
1433f7041977SRichard Henderson        tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I64);
1434139c1837SPaolo Bonzini        break;
1435fecccfccSRichard Henderson    case INDEX_op_qemu_st_a32_i32:
1436fecccfccSRichard Henderson    case INDEX_op_qemu_st_a64_i32:
1437f7041977SRichard Henderson        tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I32);
1438139c1837SPaolo Bonzini        break;
1439fecccfccSRichard Henderson    case INDEX_op_qemu_st_a32_i64:
1440fecccfccSRichard Henderson    case INDEX_op_qemu_st_a64_i64:
1441f7041977SRichard Henderson        tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I64);
1442139c1837SPaolo Bonzini        break;
1443139c1837SPaolo Bonzini
1444139c1837SPaolo Bonzini    case INDEX_op_extrh_i64_i32:
1445139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRAI, a0, a1, 32);
1446139c1837SPaolo Bonzini        break;
1447139c1837SPaolo Bonzini
1448139c1837SPaolo Bonzini    case INDEX_op_mulsh_i32:
1449139c1837SPaolo Bonzini    case INDEX_op_mulsh_i64:
1450139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULH, a0, a1, a2);
1451139c1837SPaolo Bonzini        break;
1452139c1837SPaolo Bonzini
1453139c1837SPaolo Bonzini    case INDEX_op_muluh_i32:
1454139c1837SPaolo Bonzini    case INDEX_op_muluh_i64:
1455139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULHU, a0, a1, a2);
1456139c1837SPaolo Bonzini        break;
1457139c1837SPaolo Bonzini
1458139c1837SPaolo Bonzini    case INDEX_op_mb:
1459139c1837SPaolo Bonzini        tcg_out_mb(s, a0);
1460139c1837SPaolo Bonzini        break;
1461139c1837SPaolo Bonzini
1462139c1837SPaolo Bonzini    case INDEX_op_mov_i32:  /* Always emitted via tcg_out_mov.  */
1463139c1837SPaolo Bonzini    case INDEX_op_mov_i64:
1464139c1837SPaolo Bonzini    case INDEX_op_call:     /* Always emitted via tcg_out_call.  */
1465b55a8d9dSRichard Henderson    case INDEX_op_exit_tb:  /* Always emitted via tcg_out_exit_tb.  */
1466cf7d6b8eSRichard Henderson    case INDEX_op_goto_tb:  /* Always emitted via tcg_out_goto_tb.  */
1467678155b2SRichard Henderson    case INDEX_op_ext8s_i32:  /* Always emitted via tcg_reg_alloc_op.  */
1468678155b2SRichard Henderson    case INDEX_op_ext8s_i64:
1469d0e66c89SRichard Henderson    case INDEX_op_ext8u_i32:
1470d0e66c89SRichard Henderson    case INDEX_op_ext8u_i64:
1471753e42eaSRichard Henderson    case INDEX_op_ext16s_i32:
1472753e42eaSRichard Henderson    case INDEX_op_ext16s_i64:
1473379afdffSRichard Henderson    case INDEX_op_ext16u_i32:
1474379afdffSRichard Henderson    case INDEX_op_ext16u_i64:
147552bf3398SRichard Henderson    case INDEX_op_ext32s_i64:
14769ecf5f61SRichard Henderson    case INDEX_op_ext32u_i64:
14779c6aa274SRichard Henderson    case INDEX_op_ext_i32_i64:
1478b9bfe000SRichard Henderson    case INDEX_op_extu_i32_i64:
1479b8b94ac6SRichard Henderson    case INDEX_op_extrl_i64_i32:
1480139c1837SPaolo Bonzini    default:
1481139c1837SPaolo Bonzini        g_assert_not_reached();
1482139c1837SPaolo Bonzini    }
1483139c1837SPaolo Bonzini}
1484139c1837SPaolo Bonzini
1485665be288SRichard Hendersonstatic TCGConstraintSetIndex tcg_target_op_def(TCGOpcode op)
1486139c1837SPaolo Bonzini{
1487139c1837SPaolo Bonzini    switch (op) {
1488139c1837SPaolo Bonzini    case INDEX_op_goto_ptr:
1489665be288SRichard Henderson        return C_O0_I1(r);
1490139c1837SPaolo Bonzini
1491139c1837SPaolo Bonzini    case INDEX_op_ld8u_i32:
1492139c1837SPaolo Bonzini    case INDEX_op_ld8s_i32:
1493139c1837SPaolo Bonzini    case INDEX_op_ld16u_i32:
1494139c1837SPaolo Bonzini    case INDEX_op_ld16s_i32:
1495139c1837SPaolo Bonzini    case INDEX_op_ld_i32:
1496139c1837SPaolo Bonzini    case INDEX_op_not_i32:
1497139c1837SPaolo Bonzini    case INDEX_op_neg_i32:
1498139c1837SPaolo Bonzini    case INDEX_op_ld8u_i64:
1499139c1837SPaolo Bonzini    case INDEX_op_ld8s_i64:
1500139c1837SPaolo Bonzini    case INDEX_op_ld16u_i64:
1501139c1837SPaolo Bonzini    case INDEX_op_ld16s_i64:
1502139c1837SPaolo Bonzini    case INDEX_op_ld32s_i64:
1503139c1837SPaolo Bonzini    case INDEX_op_ld32u_i64:
1504139c1837SPaolo Bonzini    case INDEX_op_ld_i64:
1505139c1837SPaolo Bonzini    case INDEX_op_not_i64:
1506139c1837SPaolo Bonzini    case INDEX_op_neg_i64:
1507139c1837SPaolo Bonzini    case INDEX_op_ext8u_i32:
1508139c1837SPaolo Bonzini    case INDEX_op_ext8u_i64:
1509139c1837SPaolo Bonzini    case INDEX_op_ext16u_i32:
1510139c1837SPaolo Bonzini    case INDEX_op_ext16u_i64:
1511139c1837SPaolo Bonzini    case INDEX_op_ext32u_i64:
1512139c1837SPaolo Bonzini    case INDEX_op_extu_i32_i64:
1513139c1837SPaolo Bonzini    case INDEX_op_ext8s_i32:
1514139c1837SPaolo Bonzini    case INDEX_op_ext8s_i64:
1515139c1837SPaolo Bonzini    case INDEX_op_ext16s_i32:
1516139c1837SPaolo Bonzini    case INDEX_op_ext16s_i64:
1517139c1837SPaolo Bonzini    case INDEX_op_ext32s_i64:
1518139c1837SPaolo Bonzini    case INDEX_op_extrl_i64_i32:
1519139c1837SPaolo Bonzini    case INDEX_op_extrh_i64_i32:
1520139c1837SPaolo Bonzini    case INDEX_op_ext_i32_i64:
1521665be288SRichard Henderson        return C_O1_I1(r, r);
1522139c1837SPaolo Bonzini
1523139c1837SPaolo Bonzini    case INDEX_op_st8_i32:
1524139c1837SPaolo Bonzini    case INDEX_op_st16_i32:
1525139c1837SPaolo Bonzini    case INDEX_op_st_i32:
1526139c1837SPaolo Bonzini    case INDEX_op_st8_i64:
1527139c1837SPaolo Bonzini    case INDEX_op_st16_i64:
1528139c1837SPaolo Bonzini    case INDEX_op_st32_i64:
1529139c1837SPaolo Bonzini    case INDEX_op_st_i64:
1530665be288SRichard Henderson        return C_O0_I2(rZ, r);
1531139c1837SPaolo Bonzini
1532139c1837SPaolo Bonzini    case INDEX_op_add_i32:
1533139c1837SPaolo Bonzini    case INDEX_op_and_i32:
1534139c1837SPaolo Bonzini    case INDEX_op_or_i32:
1535139c1837SPaolo Bonzini    case INDEX_op_xor_i32:
1536139c1837SPaolo Bonzini    case INDEX_op_add_i64:
1537139c1837SPaolo Bonzini    case INDEX_op_and_i64:
1538139c1837SPaolo Bonzini    case INDEX_op_or_i64:
1539139c1837SPaolo Bonzini    case INDEX_op_xor_i64:
1540665be288SRichard Henderson        return C_O1_I2(r, r, rI);
1541139c1837SPaolo Bonzini
1542139c1837SPaolo Bonzini    case INDEX_op_sub_i32:
1543139c1837SPaolo Bonzini    case INDEX_op_sub_i64:
1544665be288SRichard Henderson        return C_O1_I2(r, rZ, rN);
1545139c1837SPaolo Bonzini
1546139c1837SPaolo Bonzini    case INDEX_op_mul_i32:
1547139c1837SPaolo Bonzini    case INDEX_op_mulsh_i32:
1548139c1837SPaolo Bonzini    case INDEX_op_muluh_i32:
1549139c1837SPaolo Bonzini    case INDEX_op_div_i32:
1550139c1837SPaolo Bonzini    case INDEX_op_divu_i32:
1551139c1837SPaolo Bonzini    case INDEX_op_rem_i32:
1552139c1837SPaolo Bonzini    case INDEX_op_remu_i32:
1553139c1837SPaolo Bonzini    case INDEX_op_setcond_i32:
1554139c1837SPaolo Bonzini    case INDEX_op_mul_i64:
1555139c1837SPaolo Bonzini    case INDEX_op_mulsh_i64:
1556139c1837SPaolo Bonzini    case INDEX_op_muluh_i64:
1557139c1837SPaolo Bonzini    case INDEX_op_div_i64:
1558139c1837SPaolo Bonzini    case INDEX_op_divu_i64:
1559139c1837SPaolo Bonzini    case INDEX_op_rem_i64:
1560139c1837SPaolo Bonzini    case INDEX_op_remu_i64:
1561139c1837SPaolo Bonzini    case INDEX_op_setcond_i64:
1562665be288SRichard Henderson        return C_O1_I2(r, rZ, rZ);
1563139c1837SPaolo Bonzini
1564139c1837SPaolo Bonzini    case INDEX_op_shl_i32:
1565139c1837SPaolo Bonzini    case INDEX_op_shr_i32:
1566139c1837SPaolo Bonzini    case INDEX_op_sar_i32:
1567139c1837SPaolo Bonzini    case INDEX_op_shl_i64:
1568139c1837SPaolo Bonzini    case INDEX_op_shr_i64:
1569139c1837SPaolo Bonzini    case INDEX_op_sar_i64:
1570665be288SRichard Henderson        return C_O1_I2(r, r, ri);
1571139c1837SPaolo Bonzini
1572139c1837SPaolo Bonzini    case INDEX_op_brcond_i32:
1573139c1837SPaolo Bonzini    case INDEX_op_brcond_i64:
1574665be288SRichard Henderson        return C_O0_I2(rZ, rZ);
1575139c1837SPaolo Bonzini
1576139c1837SPaolo Bonzini    case INDEX_op_add2_i32:
1577139c1837SPaolo Bonzini    case INDEX_op_add2_i64:
1578139c1837SPaolo Bonzini    case INDEX_op_sub2_i32:
1579139c1837SPaolo Bonzini    case INDEX_op_sub2_i64:
1580665be288SRichard Henderson        return C_O2_I4(r, r, rZ, rZ, rM, rM);
1581139c1837SPaolo Bonzini
1582fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a32_i32:
1583fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a64_i32:
1584fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a32_i64:
1585fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a64_i64:
1586f0f43534SRichard Henderson        return C_O1_I1(r, r);
1587fecccfccSRichard Henderson    case INDEX_op_qemu_st_a32_i32:
1588fecccfccSRichard Henderson    case INDEX_op_qemu_st_a64_i32:
1589fecccfccSRichard Henderson    case INDEX_op_qemu_st_a32_i64:
1590fecccfccSRichard Henderson    case INDEX_op_qemu_st_a64_i64:
1591f0f43534SRichard Henderson        return C_O0_I2(rZ, r);
1592139c1837SPaolo Bonzini
1593139c1837SPaolo Bonzini    default:
1594665be288SRichard Henderson        g_assert_not_reached();
1595139c1837SPaolo Bonzini    }
1596139c1837SPaolo Bonzini}
1597139c1837SPaolo Bonzini
1598139c1837SPaolo Bonzinistatic const int tcg_target_callee_save_regs[] = {
1599139c1837SPaolo Bonzini    TCG_REG_S0,       /* used for the global env (TCG_AREG0) */
1600139c1837SPaolo Bonzini    TCG_REG_S1,
1601139c1837SPaolo Bonzini    TCG_REG_S2,
1602139c1837SPaolo Bonzini    TCG_REG_S3,
1603139c1837SPaolo Bonzini    TCG_REG_S4,
1604139c1837SPaolo Bonzini    TCG_REG_S5,
1605139c1837SPaolo Bonzini    TCG_REG_S6,
1606139c1837SPaolo Bonzini    TCG_REG_S7,
1607139c1837SPaolo Bonzini    TCG_REG_S8,
1608139c1837SPaolo Bonzini    TCG_REG_S9,
1609139c1837SPaolo Bonzini    TCG_REG_S10,
1610139c1837SPaolo Bonzini    TCG_REG_S11,
1611139c1837SPaolo Bonzini    TCG_REG_RA,       /* should be last for ABI compliance */
1612139c1837SPaolo Bonzini};
1613139c1837SPaolo Bonzini
1614139c1837SPaolo Bonzini/* Stack frame parameters.  */
1615139c1837SPaolo Bonzini#define REG_SIZE   (TCG_TARGET_REG_BITS / 8)
1616139c1837SPaolo Bonzini#define SAVE_SIZE  ((int)ARRAY_SIZE(tcg_target_callee_save_regs) * REG_SIZE)
1617139c1837SPaolo Bonzini#define TEMP_SIZE  (CPU_TEMP_BUF_NLONGS * (int)sizeof(long))
1618139c1837SPaolo Bonzini#define FRAME_SIZE ((TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE + SAVE_SIZE \
1619139c1837SPaolo Bonzini                     + TCG_TARGET_STACK_ALIGN - 1) \
1620139c1837SPaolo Bonzini                    & -TCG_TARGET_STACK_ALIGN)
1621139c1837SPaolo Bonzini#define SAVE_OFS   (TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE)
1622139c1837SPaolo Bonzini
1623139c1837SPaolo Bonzini/* We're expecting to be able to use an immediate for frame allocation.  */
1624139c1837SPaolo BonziniQEMU_BUILD_BUG_ON(FRAME_SIZE > 0x7ff);
1625139c1837SPaolo Bonzini
1626139c1837SPaolo Bonzini/* Generate global QEMU prologue and epilogue code */
1627139c1837SPaolo Bonzinistatic void tcg_target_qemu_prologue(TCGContext *s)
1628139c1837SPaolo Bonzini{
1629139c1837SPaolo Bonzini    int i;
1630139c1837SPaolo Bonzini
1631139c1837SPaolo Bonzini    tcg_set_frame(s, TCG_REG_SP, TCG_STATIC_CALL_ARGS_SIZE, TEMP_SIZE);
1632139c1837SPaolo Bonzini
1633139c1837SPaolo Bonzini    /* TB prologue */
1634139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, -FRAME_SIZE);
1635139c1837SPaolo Bonzini    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
1636139c1837SPaolo Bonzini        tcg_out_st(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1637139c1837SPaolo Bonzini                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
1638139c1837SPaolo Bonzini    }
1639139c1837SPaolo Bonzini
1640139c1837SPaolo Bonzini#if !defined(CONFIG_SOFTMMU)
1641139c1837SPaolo Bonzini    tcg_out_movi(s, TCG_TYPE_PTR, TCG_GUEST_BASE_REG, guest_base);
1642139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_GUEST_BASE_REG);
1643139c1837SPaolo Bonzini#endif
1644139c1837SPaolo Bonzini
1645139c1837SPaolo Bonzini    /* Call generated code */
1646139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, TCG_AREG0, tcg_target_call_iarg_regs[0]);
1647139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, tcg_target_call_iarg_regs[1], 0);
1648139c1837SPaolo Bonzini
1649139c1837SPaolo Bonzini    /* Return path for goto_ptr. Set return value to 0 */
1650c8bc1168SRichard Henderson    tcg_code_gen_epilogue = tcg_splitwx_to_rx(s->code_ptr);
1651139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_REG, TCG_REG_A0, TCG_REG_ZERO);
1652139c1837SPaolo Bonzini
1653139c1837SPaolo Bonzini    /* TB epilogue */
1654793f7381SRichard Henderson    tb_ret_addr = tcg_splitwx_to_rx(s->code_ptr);
1655139c1837SPaolo Bonzini    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
1656139c1837SPaolo Bonzini        tcg_out_ld(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1657139c1837SPaolo Bonzini                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
1658139c1837SPaolo Bonzini    }
1659139c1837SPaolo Bonzini
1660139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, FRAME_SIZE);
1661139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_RA, 0);
1662139c1837SPaolo Bonzini}
1663139c1837SPaolo Bonzini
1664*9e3e0bc6SRichard Hendersonstatic volatile sig_atomic_t got_sigill;
1665*9e3e0bc6SRichard Henderson
1666*9e3e0bc6SRichard Hendersonstatic void sigill_handler(int signo, siginfo_t *si, void *data)
1667*9e3e0bc6SRichard Henderson{
1668*9e3e0bc6SRichard Henderson    /* Skip the faulty instruction */
1669*9e3e0bc6SRichard Henderson    ucontext_t *uc = (ucontext_t *)data;
1670*9e3e0bc6SRichard Henderson    uc->uc_mcontext.__gregs[REG_PC] += 4;
1671*9e3e0bc6SRichard Henderson
1672*9e3e0bc6SRichard Henderson    got_sigill = 1;
1673*9e3e0bc6SRichard Henderson}
1674*9e3e0bc6SRichard Henderson
1675*9e3e0bc6SRichard Hendersonstatic void tcg_target_detect_isa(void)
1676*9e3e0bc6SRichard Henderson{
1677*9e3e0bc6SRichard Henderson#if !defined(have_zba) || !defined(have_zbb) || !defined(have_zicond)
1678*9e3e0bc6SRichard Henderson    /*
1679*9e3e0bc6SRichard Henderson     * TODO: It is expected that this will be determinable via
1680*9e3e0bc6SRichard Henderson     * linux riscv_hwprobe syscall, not yet merged.
1681*9e3e0bc6SRichard Henderson     * In the meantime, test via sigill.
1682*9e3e0bc6SRichard Henderson     */
1683*9e3e0bc6SRichard Henderson
1684*9e3e0bc6SRichard Henderson    struct sigaction sa_old, sa_new;
1685*9e3e0bc6SRichard Henderson
1686*9e3e0bc6SRichard Henderson    memset(&sa_new, 0, sizeof(sa_new));
1687*9e3e0bc6SRichard Henderson    sa_new.sa_flags = SA_SIGINFO;
1688*9e3e0bc6SRichard Henderson    sa_new.sa_sigaction = sigill_handler;
1689*9e3e0bc6SRichard Henderson    sigaction(SIGILL, &sa_new, &sa_old);
1690*9e3e0bc6SRichard Henderson
1691*9e3e0bc6SRichard Henderson#ifndef have_zba
1692*9e3e0bc6SRichard Henderson    /* Probe for Zba: add.uw zero,zero,zero. */
1693*9e3e0bc6SRichard Henderson    got_sigill = 0;
1694*9e3e0bc6SRichard Henderson    asm volatile(".insn r 0x3b, 0, 0x04, zero, zero, zero" : : : "memory");
1695*9e3e0bc6SRichard Henderson    have_zba = !got_sigill;
1696*9e3e0bc6SRichard Henderson#endif
1697*9e3e0bc6SRichard Henderson
1698*9e3e0bc6SRichard Henderson#ifndef have_zbb
1699*9e3e0bc6SRichard Henderson    /* Probe for Zba: andn zero,zero,zero. */
1700*9e3e0bc6SRichard Henderson    got_sigill = 0;
1701*9e3e0bc6SRichard Henderson    asm volatile(".insn r 0x33, 7, 0x20, zero, zero, zero" : : : "memory");
1702*9e3e0bc6SRichard Henderson    have_zbb = !got_sigill;
1703*9e3e0bc6SRichard Henderson#endif
1704*9e3e0bc6SRichard Henderson
1705*9e3e0bc6SRichard Henderson#ifndef have_zicond
1706*9e3e0bc6SRichard Henderson    /* Probe for Zicond: czero.eqz zero,zero,zero. */
1707*9e3e0bc6SRichard Henderson    got_sigill = 0;
1708*9e3e0bc6SRichard Henderson    asm volatile(".insn r 0x33, 5, 0x07, zero, zero, zero" : : : "memory");
1709*9e3e0bc6SRichard Henderson    have_zicond = !got_sigill;
1710*9e3e0bc6SRichard Henderson#endif
1711*9e3e0bc6SRichard Henderson
1712*9e3e0bc6SRichard Henderson    sigaction(SIGILL, &sa_old, NULL);
1713*9e3e0bc6SRichard Henderson#endif
1714*9e3e0bc6SRichard Henderson}
1715*9e3e0bc6SRichard Henderson
1716139c1837SPaolo Bonzinistatic void tcg_target_init(TCGContext *s)
1717139c1837SPaolo Bonzini{
1718*9e3e0bc6SRichard Henderson    tcg_target_detect_isa();
1719*9e3e0bc6SRichard Henderson
1720139c1837SPaolo Bonzini    tcg_target_available_regs[TCG_TYPE_I32] = 0xffffffff;
1721139c1837SPaolo Bonzini    tcg_target_available_regs[TCG_TYPE_I64] = 0xffffffff;
1722139c1837SPaolo Bonzini
1723139c1837SPaolo Bonzini    tcg_target_call_clobber_regs = -1u;
1724139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S0);
1725139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S1);
1726139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S2);
1727139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S3);
1728139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S4);
1729139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S5);
1730139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S6);
1731139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S7);
1732139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S8);
1733139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S9);
1734139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S10);
1735139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S11);
1736139c1837SPaolo Bonzini
1737139c1837SPaolo Bonzini    s->reserved_regs = 0;
1738139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_ZERO);
1739139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP0);
1740139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP1);
1741139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP2);
1742139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_SP);
1743139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_GP);
1744139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TP);
1745139c1837SPaolo Bonzini}
1746139c1837SPaolo Bonzini
1747139c1837SPaolo Bonzinitypedef struct {
1748139c1837SPaolo Bonzini    DebugFrameHeader h;
1749139c1837SPaolo Bonzini    uint8_t fde_def_cfa[4];
1750139c1837SPaolo Bonzini    uint8_t fde_reg_ofs[ARRAY_SIZE(tcg_target_callee_save_regs) * 2];
1751139c1837SPaolo Bonzini} DebugFrame;
1752139c1837SPaolo Bonzini
1753139c1837SPaolo Bonzini#define ELF_HOST_MACHINE EM_RISCV
1754139c1837SPaolo Bonzini
1755139c1837SPaolo Bonzinistatic const DebugFrame debug_frame = {
1756139c1837SPaolo Bonzini    .h.cie.len = sizeof(DebugFrameCIE) - 4, /* length after .len member */
1757139c1837SPaolo Bonzini    .h.cie.id = -1,
1758139c1837SPaolo Bonzini    .h.cie.version = 1,
1759139c1837SPaolo Bonzini    .h.cie.code_align = 1,
1760139c1837SPaolo Bonzini    .h.cie.data_align = -(TCG_TARGET_REG_BITS / 8) & 0x7f, /* sleb128 */
1761139c1837SPaolo Bonzini    .h.cie.return_column = TCG_REG_RA,
1762139c1837SPaolo Bonzini
1763139c1837SPaolo Bonzini    /* Total FDE size does not include the "len" member.  */
1764139c1837SPaolo Bonzini    .h.fde.len = sizeof(DebugFrame) - offsetof(DebugFrame, h.fde.cie_offset),
1765139c1837SPaolo Bonzini
1766139c1837SPaolo Bonzini    .fde_def_cfa = {
1767139c1837SPaolo Bonzini        12, TCG_REG_SP,                 /* DW_CFA_def_cfa sp, ... */
1768139c1837SPaolo Bonzini        (FRAME_SIZE & 0x7f) | 0x80,     /* ... uleb128 FRAME_SIZE */
1769139c1837SPaolo Bonzini        (FRAME_SIZE >> 7)
1770139c1837SPaolo Bonzini    },
1771139c1837SPaolo Bonzini    .fde_reg_ofs = {
1772139c1837SPaolo Bonzini        0x80 + 9,  12,                  /* DW_CFA_offset, s1,  -96 */
1773139c1837SPaolo Bonzini        0x80 + 18, 11,                  /* DW_CFA_offset, s2,  -88 */
1774139c1837SPaolo Bonzini        0x80 + 19, 10,                  /* DW_CFA_offset, s3,  -80 */
1775139c1837SPaolo Bonzini        0x80 + 20, 9,                   /* DW_CFA_offset, s4,  -72 */
1776139c1837SPaolo Bonzini        0x80 + 21, 8,                   /* DW_CFA_offset, s5,  -64 */
1777139c1837SPaolo Bonzini        0x80 + 22, 7,                   /* DW_CFA_offset, s6,  -56 */
1778139c1837SPaolo Bonzini        0x80 + 23, 6,                   /* DW_CFA_offset, s7,  -48 */
1779139c1837SPaolo Bonzini        0x80 + 24, 5,                   /* DW_CFA_offset, s8,  -40 */
1780139c1837SPaolo Bonzini        0x80 + 25, 4,                   /* DW_CFA_offset, s9,  -32 */
1781139c1837SPaolo Bonzini        0x80 + 26, 3,                   /* DW_CFA_offset, s10, -24 */
1782139c1837SPaolo Bonzini        0x80 + 27, 2,                   /* DW_CFA_offset, s11, -16 */
1783139c1837SPaolo Bonzini        0x80 + 1 , 1,                   /* DW_CFA_offset, ra,  -8 */
1784139c1837SPaolo Bonzini    }
1785139c1837SPaolo Bonzini};
1786139c1837SPaolo Bonzini
1787755bf9e5SRichard Hendersonvoid tcg_register_jit(const void *buf, size_t buf_size)
1788139c1837SPaolo Bonzini{
1789139c1837SPaolo Bonzini    tcg_register_jit_int(buf, buf_size, &debug_frame, sizeof(debug_frame));
1790139c1837SPaolo Bonzini}
1791