xref: /openbmc/qemu/tcg/riscv/tcg-target.c.inc (revision f7041977a67c8af40d5b43e23c9de9c257e74202)
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
1165e3d0c19SRichard Hendersonstatic TCGReg tcg_target_call_oarg_reg(TCGCallReturnKind kind, int slot)
1175e3d0c19SRichard Henderson{
1185e3d0c19SRichard Henderson    tcg_debug_assert(kind == TCG_CALL_RET_NORMAL);
1195e3d0c19SRichard Henderson    tcg_debug_assert(slot >= 0 && slot <= 1);
1205e3d0c19SRichard Henderson    return TCG_REG_A0 + slot;
1215e3d0c19SRichard Henderson}
122139c1837SPaolo Bonzini
123139c1837SPaolo Bonzini#define TCG_CT_CONST_ZERO  0x100
124139c1837SPaolo Bonzini#define TCG_CT_CONST_S12   0x200
125139c1837SPaolo Bonzini#define TCG_CT_CONST_N12   0x400
126139c1837SPaolo Bonzini#define TCG_CT_CONST_M12   0x800
127139c1837SPaolo Bonzini
128fc63a4c5SRichard Henderson#define ALL_GENERAL_REGS      MAKE_64BIT_MASK(0, 32)
129fc63a4c5SRichard Henderson/*
130fc63a4c5SRichard Henderson * For softmmu, we need to avoid conflicts with the first 5
131fc63a4c5SRichard Henderson * argument registers to call the helper.  Some of these are
132fc63a4c5SRichard Henderson * also used for the tlb lookup.
133fc63a4c5SRichard Henderson */
134fc63a4c5SRichard Henderson#ifdef CONFIG_SOFTMMU
135fc63a4c5SRichard Henderson#define SOFTMMU_RESERVE_REGS  MAKE_64BIT_MASK(TCG_REG_A0, 5)
136fc63a4c5SRichard Henderson#else
137fc63a4c5SRichard Henderson#define SOFTMMU_RESERVE_REGS  0
138fc63a4c5SRichard Henderson#endif
139fc63a4c5SRichard Henderson
140aeb6326eSRichard Henderson#define sextreg  sextract64
141139c1837SPaolo Bonzini
142139c1837SPaolo Bonzini/* test if a constant matches the constraint */
143a4fbbd77SRichard Hendersonstatic bool tcg_target_const_match(int64_t val, TCGType type, int ct)
144139c1837SPaolo Bonzini{
145139c1837SPaolo Bonzini    if (ct & TCG_CT_CONST) {
146139c1837SPaolo Bonzini        return 1;
147139c1837SPaolo Bonzini    }
148139c1837SPaolo Bonzini    if ((ct & TCG_CT_CONST_ZERO) && val == 0) {
149139c1837SPaolo Bonzini        return 1;
150139c1837SPaolo Bonzini    }
15162722763SRichard Henderson    /*
15262722763SRichard Henderson     * Sign extended from 12 bits: [-0x800, 0x7ff].
15362722763SRichard Henderson     * Used for most arithmetic, as this is the isa field.
15462722763SRichard Henderson     */
15562722763SRichard Henderson    if ((ct & TCG_CT_CONST_S12) && val >= -0x800 && val <= 0x7ff) {
156139c1837SPaolo Bonzini        return 1;
157139c1837SPaolo Bonzini    }
15862722763SRichard Henderson    /*
15962722763SRichard Henderson     * Sign extended from 12 bits, negated: [-0x7ff, 0x800].
16062722763SRichard Henderson     * Used for subtraction, where a constant must be handled by ADDI.
16162722763SRichard Henderson     */
16262722763SRichard Henderson    if ((ct & TCG_CT_CONST_N12) && val >= -0x7ff && val <= 0x800) {
163139c1837SPaolo Bonzini        return 1;
164139c1837SPaolo Bonzini    }
16562722763SRichard Henderson    /*
16662722763SRichard Henderson     * Sign extended from 12 bits, +/- matching: [-0x7ff, 0x7ff].
16762722763SRichard Henderson     * Used by addsub2, which may need the negative operation,
16862722763SRichard Henderson     * and requires the modified constant to be representable.
16962722763SRichard Henderson     */
17062722763SRichard Henderson    if ((ct & TCG_CT_CONST_M12) && val >= -0x7ff && val <= 0x7ff) {
171139c1837SPaolo Bonzini        return 1;
172139c1837SPaolo Bonzini    }
173139c1837SPaolo Bonzini    return 0;
174139c1837SPaolo Bonzini}
175139c1837SPaolo Bonzini
176139c1837SPaolo Bonzini/*
177139c1837SPaolo Bonzini * RISC-V Base ISA opcodes (IM)
178139c1837SPaolo Bonzini */
179139c1837SPaolo Bonzini
180139c1837SPaolo Bonzinitypedef enum {
181139c1837SPaolo Bonzini    OPC_ADD = 0x33,
182139c1837SPaolo Bonzini    OPC_ADDI = 0x13,
183139c1837SPaolo Bonzini    OPC_AND = 0x7033,
184139c1837SPaolo Bonzini    OPC_ANDI = 0x7013,
185139c1837SPaolo Bonzini    OPC_AUIPC = 0x17,
186139c1837SPaolo Bonzini    OPC_BEQ = 0x63,
187139c1837SPaolo Bonzini    OPC_BGE = 0x5063,
188139c1837SPaolo Bonzini    OPC_BGEU = 0x7063,
189139c1837SPaolo Bonzini    OPC_BLT = 0x4063,
190139c1837SPaolo Bonzini    OPC_BLTU = 0x6063,
191139c1837SPaolo Bonzini    OPC_BNE = 0x1063,
192139c1837SPaolo Bonzini    OPC_DIV = 0x2004033,
193139c1837SPaolo Bonzini    OPC_DIVU = 0x2005033,
194139c1837SPaolo Bonzini    OPC_JAL = 0x6f,
195139c1837SPaolo Bonzini    OPC_JALR = 0x67,
196139c1837SPaolo Bonzini    OPC_LB = 0x3,
197139c1837SPaolo Bonzini    OPC_LBU = 0x4003,
198139c1837SPaolo Bonzini    OPC_LD = 0x3003,
199139c1837SPaolo Bonzini    OPC_LH = 0x1003,
200139c1837SPaolo Bonzini    OPC_LHU = 0x5003,
201139c1837SPaolo Bonzini    OPC_LUI = 0x37,
202139c1837SPaolo Bonzini    OPC_LW = 0x2003,
203139c1837SPaolo Bonzini    OPC_LWU = 0x6003,
204139c1837SPaolo Bonzini    OPC_MUL = 0x2000033,
205139c1837SPaolo Bonzini    OPC_MULH = 0x2001033,
206139c1837SPaolo Bonzini    OPC_MULHSU = 0x2002033,
207139c1837SPaolo Bonzini    OPC_MULHU = 0x2003033,
208139c1837SPaolo Bonzini    OPC_OR = 0x6033,
209139c1837SPaolo Bonzini    OPC_ORI = 0x6013,
210139c1837SPaolo Bonzini    OPC_REM = 0x2006033,
211139c1837SPaolo Bonzini    OPC_REMU = 0x2007033,
212139c1837SPaolo Bonzini    OPC_SB = 0x23,
213139c1837SPaolo Bonzini    OPC_SD = 0x3023,
214139c1837SPaolo Bonzini    OPC_SH = 0x1023,
215139c1837SPaolo Bonzini    OPC_SLL = 0x1033,
216139c1837SPaolo Bonzini    OPC_SLLI = 0x1013,
217139c1837SPaolo Bonzini    OPC_SLT = 0x2033,
218139c1837SPaolo Bonzini    OPC_SLTI = 0x2013,
219139c1837SPaolo Bonzini    OPC_SLTIU = 0x3013,
220139c1837SPaolo Bonzini    OPC_SLTU = 0x3033,
221139c1837SPaolo Bonzini    OPC_SRA = 0x40005033,
222139c1837SPaolo Bonzini    OPC_SRAI = 0x40005013,
223139c1837SPaolo Bonzini    OPC_SRL = 0x5033,
224139c1837SPaolo Bonzini    OPC_SRLI = 0x5013,
225139c1837SPaolo Bonzini    OPC_SUB = 0x40000033,
226139c1837SPaolo Bonzini    OPC_SW = 0x2023,
227139c1837SPaolo Bonzini    OPC_XOR = 0x4033,
228139c1837SPaolo Bonzini    OPC_XORI = 0x4013,
229139c1837SPaolo Bonzini
230139c1837SPaolo Bonzini    OPC_ADDIW = 0x1b,
231139c1837SPaolo Bonzini    OPC_ADDW = 0x3b,
232139c1837SPaolo Bonzini    OPC_DIVUW = 0x200503b,
233139c1837SPaolo Bonzini    OPC_DIVW = 0x200403b,
234139c1837SPaolo Bonzini    OPC_MULW = 0x200003b,
235139c1837SPaolo Bonzini    OPC_REMUW = 0x200703b,
236139c1837SPaolo Bonzini    OPC_REMW = 0x200603b,
237139c1837SPaolo Bonzini    OPC_SLLIW = 0x101b,
238139c1837SPaolo Bonzini    OPC_SLLW = 0x103b,
239139c1837SPaolo Bonzini    OPC_SRAIW = 0x4000501b,
240139c1837SPaolo Bonzini    OPC_SRAW = 0x4000503b,
241139c1837SPaolo Bonzini    OPC_SRLIW = 0x501b,
242139c1837SPaolo Bonzini    OPC_SRLW = 0x503b,
243139c1837SPaolo Bonzini    OPC_SUBW = 0x4000003b,
244139c1837SPaolo Bonzini
245139c1837SPaolo Bonzini    OPC_FENCE = 0x0000000f,
2469ae958e4SRichard Henderson    OPC_NOP   = OPC_ADDI,   /* nop = addi r0,r0,0 */
247139c1837SPaolo Bonzini} RISCVInsn;
248139c1837SPaolo Bonzini
249139c1837SPaolo Bonzini/*
250139c1837SPaolo Bonzini * RISC-V immediate and instruction encoders (excludes 16-bit RVC)
251139c1837SPaolo Bonzini */
252139c1837SPaolo Bonzini
253139c1837SPaolo Bonzini/* Type-R */
254139c1837SPaolo Bonzini
255139c1837SPaolo Bonzinistatic int32_t encode_r(RISCVInsn opc, TCGReg rd, TCGReg rs1, TCGReg rs2)
256139c1837SPaolo Bonzini{
257139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20;
258139c1837SPaolo Bonzini}
259139c1837SPaolo Bonzini
260139c1837SPaolo Bonzini/* Type-I */
261139c1837SPaolo Bonzini
262139c1837SPaolo Bonzinistatic int32_t encode_imm12(uint32_t imm)
263139c1837SPaolo Bonzini{
264139c1837SPaolo Bonzini    return (imm & 0xfff) << 20;
265139c1837SPaolo Bonzini}
266139c1837SPaolo Bonzini
267139c1837SPaolo Bonzinistatic int32_t encode_i(RISCVInsn opc, TCGReg rd, TCGReg rs1, uint32_t imm)
268139c1837SPaolo Bonzini{
269139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | encode_imm12(imm);
270139c1837SPaolo Bonzini}
271139c1837SPaolo Bonzini
272139c1837SPaolo Bonzini/* Type-S */
273139c1837SPaolo Bonzini
274139c1837SPaolo Bonzinistatic int32_t encode_simm12(uint32_t imm)
275139c1837SPaolo Bonzini{
276139c1837SPaolo Bonzini    int32_t ret = 0;
277139c1837SPaolo Bonzini
278139c1837SPaolo Bonzini    ret |= (imm & 0xFE0) << 20;
279139c1837SPaolo Bonzini    ret |= (imm & 0x1F) << 7;
280139c1837SPaolo Bonzini
281139c1837SPaolo Bonzini    return ret;
282139c1837SPaolo Bonzini}
283139c1837SPaolo Bonzini
284139c1837SPaolo Bonzinistatic int32_t encode_s(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
285139c1837SPaolo Bonzini{
286139c1837SPaolo Bonzini    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_simm12(imm);
287139c1837SPaolo Bonzini}
288139c1837SPaolo Bonzini
289139c1837SPaolo Bonzini/* Type-SB */
290139c1837SPaolo Bonzini
291139c1837SPaolo Bonzinistatic int32_t encode_sbimm12(uint32_t imm)
292139c1837SPaolo Bonzini{
293139c1837SPaolo Bonzini    int32_t ret = 0;
294139c1837SPaolo Bonzini
295139c1837SPaolo Bonzini    ret |= (imm & 0x1000) << 19;
296139c1837SPaolo Bonzini    ret |= (imm & 0x7e0) << 20;
297139c1837SPaolo Bonzini    ret |= (imm & 0x1e) << 7;
298139c1837SPaolo Bonzini    ret |= (imm & 0x800) >> 4;
299139c1837SPaolo Bonzini
300139c1837SPaolo Bonzini    return ret;
301139c1837SPaolo Bonzini}
302139c1837SPaolo Bonzini
303139c1837SPaolo Bonzinistatic int32_t encode_sb(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
304139c1837SPaolo Bonzini{
305139c1837SPaolo Bonzini    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_sbimm12(imm);
306139c1837SPaolo Bonzini}
307139c1837SPaolo Bonzini
308139c1837SPaolo Bonzini/* Type-U */
309139c1837SPaolo Bonzini
310139c1837SPaolo Bonzinistatic int32_t encode_uimm20(uint32_t imm)
311139c1837SPaolo Bonzini{
312139c1837SPaolo Bonzini    return imm & 0xfffff000;
313139c1837SPaolo Bonzini}
314139c1837SPaolo Bonzini
315139c1837SPaolo Bonzinistatic int32_t encode_u(RISCVInsn opc, TCGReg rd, uint32_t imm)
316139c1837SPaolo Bonzini{
317139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | encode_uimm20(imm);
318139c1837SPaolo Bonzini}
319139c1837SPaolo Bonzini
320139c1837SPaolo Bonzini/* Type-UJ */
321139c1837SPaolo Bonzini
322139c1837SPaolo Bonzinistatic int32_t encode_ujimm20(uint32_t imm)
323139c1837SPaolo Bonzini{
324139c1837SPaolo Bonzini    int32_t ret = 0;
325139c1837SPaolo Bonzini
326139c1837SPaolo Bonzini    ret |= (imm & 0x0007fe) << (21 - 1);
327139c1837SPaolo Bonzini    ret |= (imm & 0x000800) << (20 - 11);
328139c1837SPaolo Bonzini    ret |= (imm & 0x0ff000) << (12 - 12);
329139c1837SPaolo Bonzini    ret |= (imm & 0x100000) << (31 - 20);
330139c1837SPaolo Bonzini
331139c1837SPaolo Bonzini    return ret;
332139c1837SPaolo Bonzini}
333139c1837SPaolo Bonzini
334139c1837SPaolo Bonzinistatic int32_t encode_uj(RISCVInsn opc, TCGReg rd, uint32_t imm)
335139c1837SPaolo Bonzini{
336139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | encode_ujimm20(imm);
337139c1837SPaolo Bonzini}
338139c1837SPaolo Bonzini
339139c1837SPaolo Bonzini/*
340139c1837SPaolo Bonzini * RISC-V instruction emitters
341139c1837SPaolo Bonzini */
342139c1837SPaolo Bonzini
343139c1837SPaolo Bonzinistatic void tcg_out_opc_reg(TCGContext *s, RISCVInsn opc,
344139c1837SPaolo Bonzini                            TCGReg rd, TCGReg rs1, TCGReg rs2)
345139c1837SPaolo Bonzini{
346139c1837SPaolo Bonzini    tcg_out32(s, encode_r(opc, rd, rs1, rs2));
347139c1837SPaolo Bonzini}
348139c1837SPaolo Bonzini
349139c1837SPaolo Bonzinistatic void tcg_out_opc_imm(TCGContext *s, RISCVInsn opc,
350139c1837SPaolo Bonzini                            TCGReg rd, TCGReg rs1, TCGArg imm)
351139c1837SPaolo Bonzini{
352139c1837SPaolo Bonzini    tcg_out32(s, encode_i(opc, rd, rs1, imm));
353139c1837SPaolo Bonzini}
354139c1837SPaolo Bonzini
355139c1837SPaolo Bonzinistatic void tcg_out_opc_store(TCGContext *s, RISCVInsn opc,
356139c1837SPaolo Bonzini                              TCGReg rs1, TCGReg rs2, uint32_t imm)
357139c1837SPaolo Bonzini{
358139c1837SPaolo Bonzini    tcg_out32(s, encode_s(opc, rs1, rs2, imm));
359139c1837SPaolo Bonzini}
360139c1837SPaolo Bonzini
361139c1837SPaolo Bonzinistatic void tcg_out_opc_branch(TCGContext *s, RISCVInsn opc,
362139c1837SPaolo Bonzini                               TCGReg rs1, TCGReg rs2, uint32_t imm)
363139c1837SPaolo Bonzini{
364139c1837SPaolo Bonzini    tcg_out32(s, encode_sb(opc, rs1, rs2, imm));
365139c1837SPaolo Bonzini}
366139c1837SPaolo Bonzini
367139c1837SPaolo Bonzinistatic void tcg_out_opc_upper(TCGContext *s, RISCVInsn opc,
368139c1837SPaolo Bonzini                              TCGReg rd, uint32_t imm)
369139c1837SPaolo Bonzini{
370139c1837SPaolo Bonzini    tcg_out32(s, encode_u(opc, rd, imm));
371139c1837SPaolo Bonzini}
372139c1837SPaolo Bonzini
373139c1837SPaolo Bonzinistatic void tcg_out_opc_jump(TCGContext *s, RISCVInsn opc,
374139c1837SPaolo Bonzini                             TCGReg rd, uint32_t imm)
375139c1837SPaolo Bonzini{
376139c1837SPaolo Bonzini    tcg_out32(s, encode_uj(opc, rd, imm));
377139c1837SPaolo Bonzini}
378139c1837SPaolo Bonzini
379139c1837SPaolo Bonzinistatic void tcg_out_nop_fill(tcg_insn_unit *p, int count)
380139c1837SPaolo Bonzini{
381139c1837SPaolo Bonzini    int i;
382139c1837SPaolo Bonzini    for (i = 0; i < count; ++i) {
3839ae958e4SRichard Henderson        p[i] = OPC_NOP;
384139c1837SPaolo Bonzini    }
385139c1837SPaolo Bonzini}
386139c1837SPaolo Bonzini
387139c1837SPaolo Bonzini/*
388139c1837SPaolo Bonzini * Relocations
389139c1837SPaolo Bonzini */
390139c1837SPaolo Bonzini
391793f7381SRichard Hendersonstatic bool reloc_sbimm12(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
392139c1837SPaolo Bonzini{
393793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
394793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
395139c1837SPaolo Bonzini
396844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
397844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 12)) {
398793f7381SRichard Henderson        *src_rw |= encode_sbimm12(offset);
399139c1837SPaolo Bonzini        return true;
400139c1837SPaolo Bonzini    }
401139c1837SPaolo Bonzini
402139c1837SPaolo Bonzini    return false;
403139c1837SPaolo Bonzini}
404139c1837SPaolo Bonzini
405793f7381SRichard Hendersonstatic bool reloc_jimm20(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
406139c1837SPaolo Bonzini{
407793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
408793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
409139c1837SPaolo Bonzini
410844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
411844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
412793f7381SRichard Henderson        *src_rw |= encode_ujimm20(offset);
413139c1837SPaolo Bonzini        return true;
414139c1837SPaolo Bonzini    }
415139c1837SPaolo Bonzini
416139c1837SPaolo Bonzini    return false;
417139c1837SPaolo Bonzini}
418139c1837SPaolo Bonzini
419793f7381SRichard Hendersonstatic bool reloc_call(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
420139c1837SPaolo Bonzini{
421793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
422793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
423139c1837SPaolo Bonzini    int32_t lo = sextreg(offset, 0, 12);
424139c1837SPaolo Bonzini    int32_t hi = offset - lo;
425139c1837SPaolo Bonzini
426139c1837SPaolo Bonzini    if (offset == hi + lo) {
427793f7381SRichard Henderson        src_rw[0] |= encode_uimm20(hi);
428793f7381SRichard Henderson        src_rw[1] |= encode_imm12(lo);
429139c1837SPaolo Bonzini        return true;
430139c1837SPaolo Bonzini    }
431139c1837SPaolo Bonzini
432139c1837SPaolo Bonzini    return false;
433139c1837SPaolo Bonzini}
434139c1837SPaolo Bonzini
435139c1837SPaolo Bonzinistatic bool patch_reloc(tcg_insn_unit *code_ptr, int type,
436139c1837SPaolo Bonzini                        intptr_t value, intptr_t addend)
437139c1837SPaolo Bonzini{
438139c1837SPaolo Bonzini    tcg_debug_assert(addend == 0);
439139c1837SPaolo Bonzini    switch (type) {
440139c1837SPaolo Bonzini    case R_RISCV_BRANCH:
441139c1837SPaolo Bonzini        return reloc_sbimm12(code_ptr, (tcg_insn_unit *)value);
442139c1837SPaolo Bonzini    case R_RISCV_JAL:
443139c1837SPaolo Bonzini        return reloc_jimm20(code_ptr, (tcg_insn_unit *)value);
444139c1837SPaolo Bonzini    case R_RISCV_CALL:
445139c1837SPaolo Bonzini        return reloc_call(code_ptr, (tcg_insn_unit *)value);
446139c1837SPaolo Bonzini    default:
4474b6a52d0SRichard Henderson        g_assert_not_reached();
448139c1837SPaolo Bonzini    }
449139c1837SPaolo Bonzini}
450139c1837SPaolo Bonzini
451139c1837SPaolo Bonzini/*
452139c1837SPaolo Bonzini * TCG intrinsics
453139c1837SPaolo Bonzini */
454139c1837SPaolo Bonzini
455139c1837SPaolo Bonzinistatic bool tcg_out_mov(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
456139c1837SPaolo Bonzini{
457139c1837SPaolo Bonzini    if (ret == arg) {
458139c1837SPaolo Bonzini        return true;
459139c1837SPaolo Bonzini    }
460139c1837SPaolo Bonzini    switch (type) {
461139c1837SPaolo Bonzini    case TCG_TYPE_I32:
462139c1837SPaolo Bonzini    case TCG_TYPE_I64:
463139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, ret, arg, 0);
464139c1837SPaolo Bonzini        break;
465139c1837SPaolo Bonzini    default:
466139c1837SPaolo Bonzini        g_assert_not_reached();
467139c1837SPaolo Bonzini    }
468139c1837SPaolo Bonzini    return true;
469139c1837SPaolo Bonzini}
470139c1837SPaolo Bonzini
471139c1837SPaolo Bonzinistatic void tcg_out_movi(TCGContext *s, TCGType type, TCGReg rd,
472139c1837SPaolo Bonzini                         tcg_target_long val)
473139c1837SPaolo Bonzini{
474139c1837SPaolo Bonzini    tcg_target_long lo, hi, tmp;
475139c1837SPaolo Bonzini    int shift, ret;
476139c1837SPaolo Bonzini
477aeb6326eSRichard Henderson    if (type == TCG_TYPE_I32) {
478139c1837SPaolo Bonzini        val = (int32_t)val;
479139c1837SPaolo Bonzini    }
480139c1837SPaolo Bonzini
481139c1837SPaolo Bonzini    lo = sextreg(val, 0, 12);
482139c1837SPaolo Bonzini    if (val == lo) {
483139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, lo);
484139c1837SPaolo Bonzini        return;
485139c1837SPaolo Bonzini    }
486139c1837SPaolo Bonzini
487139c1837SPaolo Bonzini    hi = val - lo;
488aeb6326eSRichard Henderson    if (val == (int32_t)val) {
489139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, hi);
490139c1837SPaolo Bonzini        if (lo != 0) {
491139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, rd, rd, lo);
492139c1837SPaolo Bonzini        }
493139c1837SPaolo Bonzini        return;
494139c1837SPaolo Bonzini    }
495139c1837SPaolo Bonzini
496139c1837SPaolo Bonzini    tmp = tcg_pcrel_diff(s, (void *)val);
497139c1837SPaolo Bonzini    if (tmp == (int32_t)tmp) {
498139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
499139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, rd, 0);
500793f7381SRichard Henderson        ret = reloc_call(s->code_ptr - 2, (const tcg_insn_unit *)val);
501139c1837SPaolo Bonzini        tcg_debug_assert(ret == true);
502139c1837SPaolo Bonzini        return;
503139c1837SPaolo Bonzini    }
504139c1837SPaolo Bonzini
505139c1837SPaolo Bonzini    /* Look for a single 20-bit section.  */
506139c1837SPaolo Bonzini    shift = ctz64(val);
507139c1837SPaolo Bonzini    tmp = val >> shift;
508139c1837SPaolo Bonzini    if (tmp == sextreg(tmp, 0, 20)) {
509139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, tmp << 12);
510139c1837SPaolo Bonzini        if (shift > 12) {
511139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLLI, rd, rd, shift - 12);
512139c1837SPaolo Bonzini        } else {
513139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SRAI, rd, rd, 12 - shift);
514139c1837SPaolo Bonzini        }
515139c1837SPaolo Bonzini        return;
516139c1837SPaolo Bonzini    }
517139c1837SPaolo Bonzini
518139c1837SPaolo Bonzini    /* Look for a few high zero bits, with lots of bits set in the middle.  */
519139c1837SPaolo Bonzini    shift = clz64(val);
520139c1837SPaolo Bonzini    tmp = val << shift;
521139c1837SPaolo Bonzini    if (tmp == sextreg(tmp, 12, 20) << 12) {
522139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, tmp);
523139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
524139c1837SPaolo Bonzini        return;
525139c1837SPaolo Bonzini    } else if (tmp == sextreg(tmp, 0, 12)) {
526139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, tmp);
527139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
528139c1837SPaolo Bonzini        return;
529139c1837SPaolo Bonzini    }
530139c1837SPaolo Bonzini
531139c1837SPaolo Bonzini    /* Drop into the constant pool.  */
532139c1837SPaolo Bonzini    new_pool_label(s, val, R_RISCV_CALL, s->code_ptr, 0);
533139c1837SPaolo Bonzini    tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
534139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_LD, rd, rd, 0);
535139c1837SPaolo Bonzini}
536139c1837SPaolo Bonzini
537767c2503SRichard Hendersonstatic bool tcg_out_xchg(TCGContext *s, TCGType type, TCGReg r1, TCGReg r2)
538767c2503SRichard Henderson{
539767c2503SRichard Henderson    return false;
540767c2503SRichard Henderson}
541767c2503SRichard Henderson
5426a6d772eSRichard Hendersonstatic void tcg_out_addi_ptr(TCGContext *s, TCGReg rd, TCGReg rs,
5436a6d772eSRichard Henderson                             tcg_target_long imm)
5446a6d772eSRichard Henderson{
5456a6d772eSRichard Henderson    /* This function is only used for passing structs by reference. */
5466a6d772eSRichard Henderson    g_assert_not_reached();
5476a6d772eSRichard Henderson}
5486a6d772eSRichard Henderson
549139c1837SPaolo Bonzinistatic void tcg_out_ext8u(TCGContext *s, TCGReg ret, TCGReg arg)
550139c1837SPaolo Bonzini{
551139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ANDI, ret, arg, 0xff);
552139c1837SPaolo Bonzini}
553139c1837SPaolo Bonzini
554139c1837SPaolo Bonzinistatic void tcg_out_ext16u(TCGContext *s, TCGReg ret, TCGReg arg)
555139c1837SPaolo Bonzini{
556139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
557139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRLIW, ret, ret, 16);
558139c1837SPaolo Bonzini}
559139c1837SPaolo Bonzini
560139c1837SPaolo Bonzinistatic void tcg_out_ext32u(TCGContext *s, TCGReg ret, TCGReg arg)
561139c1837SPaolo Bonzini{
562139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLI, ret, arg, 32);
563139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRLI, ret, ret, 32);
564139c1837SPaolo Bonzini}
565139c1837SPaolo Bonzini
566678155b2SRichard Hendersonstatic void tcg_out_ext8s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
567139c1837SPaolo Bonzini{
568139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 24);
569139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 24);
570139c1837SPaolo Bonzini}
571139c1837SPaolo Bonzini
572753e42eaSRichard Hendersonstatic void tcg_out_ext16s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
573139c1837SPaolo Bonzini{
574139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
575139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 16);
576139c1837SPaolo Bonzini}
577139c1837SPaolo Bonzini
578139c1837SPaolo Bonzinistatic void tcg_out_ext32s(TCGContext *s, TCGReg ret, TCGReg arg)
579139c1837SPaolo Bonzini{
580139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDIW, ret, arg, 0);
581139c1837SPaolo Bonzini}
582139c1837SPaolo Bonzini
5839c6aa274SRichard Hendersonstatic void tcg_out_exts_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg)
5849c6aa274SRichard Henderson{
5853ea9be33SRichard Henderson    if (ret != arg) {
5869c6aa274SRichard Henderson        tcg_out_ext32s(s, ret, arg);
5879c6aa274SRichard Henderson    }
5883ea9be33SRichard Henderson}
5899c6aa274SRichard Henderson
590b9bfe000SRichard Hendersonstatic void tcg_out_extu_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg)
591b9bfe000SRichard Henderson{
592b9bfe000SRichard Henderson    tcg_out_ext32u(s, ret, arg);
593b9bfe000SRichard Henderson}
594b9bfe000SRichard Henderson
595b8b94ac6SRichard Hendersonstatic void tcg_out_extrl_i64_i32(TCGContext *s, TCGReg ret, TCGReg arg)
596b8b94ac6SRichard Henderson{
597b8b94ac6SRichard Henderson    tcg_out_ext32s(s, ret, arg);
598b8b94ac6SRichard Henderson}
599b8b94ac6SRichard Henderson
600139c1837SPaolo Bonzinistatic void tcg_out_ldst(TCGContext *s, RISCVInsn opc, TCGReg data,
601139c1837SPaolo Bonzini                         TCGReg addr, intptr_t offset)
602139c1837SPaolo Bonzini{
603139c1837SPaolo Bonzini    intptr_t imm12 = sextreg(offset, 0, 12);
604139c1837SPaolo Bonzini
605139c1837SPaolo Bonzini    if (offset != imm12) {
6069d9db413SRichard Henderson        intptr_t diff = tcg_pcrel_diff(s, (void *)offset);
607139c1837SPaolo Bonzini
608139c1837SPaolo Bonzini        if (addr == TCG_REG_ZERO && diff == (int32_t)diff) {
609139c1837SPaolo Bonzini            imm12 = sextreg(diff, 0, 12);
610139c1837SPaolo Bonzini            tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP2, diff - imm12);
611139c1837SPaolo Bonzini        } else {
612139c1837SPaolo Bonzini            tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP2, offset - imm12);
613139c1837SPaolo Bonzini            if (addr != TCG_REG_ZERO) {
614139c1837SPaolo Bonzini                tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, addr);
615139c1837SPaolo Bonzini            }
616139c1837SPaolo Bonzini        }
617139c1837SPaolo Bonzini        addr = TCG_REG_TMP2;
618139c1837SPaolo Bonzini    }
619139c1837SPaolo Bonzini
620139c1837SPaolo Bonzini    switch (opc) {
621139c1837SPaolo Bonzini    case OPC_SB:
622139c1837SPaolo Bonzini    case OPC_SH:
623139c1837SPaolo Bonzini    case OPC_SW:
624139c1837SPaolo Bonzini    case OPC_SD:
625139c1837SPaolo Bonzini        tcg_out_opc_store(s, opc, addr, data, imm12);
626139c1837SPaolo Bonzini        break;
627139c1837SPaolo Bonzini    case OPC_LB:
628139c1837SPaolo Bonzini    case OPC_LBU:
629139c1837SPaolo Bonzini    case OPC_LH:
630139c1837SPaolo Bonzini    case OPC_LHU:
631139c1837SPaolo Bonzini    case OPC_LW:
632139c1837SPaolo Bonzini    case OPC_LWU:
633139c1837SPaolo Bonzini    case OPC_LD:
634139c1837SPaolo Bonzini        tcg_out_opc_imm(s, opc, data, addr, imm12);
635139c1837SPaolo Bonzini        break;
636139c1837SPaolo Bonzini    default:
637139c1837SPaolo Bonzini        g_assert_not_reached();
638139c1837SPaolo Bonzini    }
639139c1837SPaolo Bonzini}
640139c1837SPaolo Bonzini
641139c1837SPaolo Bonzinistatic void tcg_out_ld(TCGContext *s, TCGType type, TCGReg arg,
642139c1837SPaolo Bonzini                       TCGReg arg1, intptr_t arg2)
643139c1837SPaolo Bonzini{
644aeb6326eSRichard Henderson    RISCVInsn insn = type == TCG_TYPE_I32 ? OPC_LW : OPC_LD;
645aeb6326eSRichard Henderson    tcg_out_ldst(s, insn, arg, arg1, arg2);
646139c1837SPaolo Bonzini}
647139c1837SPaolo Bonzini
648139c1837SPaolo Bonzinistatic void tcg_out_st(TCGContext *s, TCGType type, TCGReg arg,
649139c1837SPaolo Bonzini                       TCGReg arg1, intptr_t arg2)
650139c1837SPaolo Bonzini{
651aeb6326eSRichard Henderson    RISCVInsn insn = type == TCG_TYPE_I32 ? OPC_SW : OPC_SD;
652aeb6326eSRichard Henderson    tcg_out_ldst(s, insn, arg, arg1, arg2);
653139c1837SPaolo Bonzini}
654139c1837SPaolo Bonzini
655139c1837SPaolo Bonzinistatic bool tcg_out_sti(TCGContext *s, TCGType type, TCGArg val,
656139c1837SPaolo Bonzini                        TCGReg base, intptr_t ofs)
657139c1837SPaolo Bonzini{
658139c1837SPaolo Bonzini    if (val == 0) {
659139c1837SPaolo Bonzini        tcg_out_st(s, type, TCG_REG_ZERO, base, ofs);
660139c1837SPaolo Bonzini        return true;
661139c1837SPaolo Bonzini    }
662139c1837SPaolo Bonzini    return false;
663139c1837SPaolo Bonzini}
664139c1837SPaolo Bonzini
665139c1837SPaolo Bonzinistatic void tcg_out_addsub2(TCGContext *s,
666139c1837SPaolo Bonzini                            TCGReg rl, TCGReg rh,
667139c1837SPaolo Bonzini                            TCGReg al, TCGReg ah,
668139c1837SPaolo Bonzini                            TCGArg bl, TCGArg bh,
669139c1837SPaolo Bonzini                            bool cbl, bool cbh, bool is_sub, bool is32bit)
670139c1837SPaolo Bonzini{
671139c1837SPaolo Bonzini    const RISCVInsn opc_add = is32bit ? OPC_ADDW : OPC_ADD;
672139c1837SPaolo Bonzini    const RISCVInsn opc_addi = is32bit ? OPC_ADDIW : OPC_ADDI;
673139c1837SPaolo Bonzini    const RISCVInsn opc_sub = is32bit ? OPC_SUBW : OPC_SUB;
674139c1837SPaolo Bonzini    TCGReg th = TCG_REG_TMP1;
675139c1837SPaolo Bonzini
676139c1837SPaolo Bonzini    /* If we have a negative constant such that negating it would
677139c1837SPaolo Bonzini       make the high part zero, we can (usually) eliminate one insn.  */
678139c1837SPaolo Bonzini    if (cbl && cbh && bh == -1 && bl != 0) {
679139c1837SPaolo Bonzini        bl = -bl;
680139c1837SPaolo Bonzini        bh = 0;
681139c1837SPaolo Bonzini        is_sub = !is_sub;
682139c1837SPaolo Bonzini    }
683139c1837SPaolo Bonzini
684139c1837SPaolo Bonzini    /* By operating on the high part first, we get to use the final
685139c1837SPaolo Bonzini       carry operation to move back from the temporary.  */
686139c1837SPaolo Bonzini    if (!cbh) {
687139c1837SPaolo Bonzini        tcg_out_opc_reg(s, (is_sub ? opc_sub : opc_add), th, ah, bh);
688139c1837SPaolo Bonzini    } else if (bh != 0 || ah == rl) {
689139c1837SPaolo Bonzini        tcg_out_opc_imm(s, opc_addi, th, ah, (is_sub ? -bh : bh));
690139c1837SPaolo Bonzini    } else {
691139c1837SPaolo Bonzini        th = ah;
692139c1837SPaolo Bonzini    }
693139c1837SPaolo Bonzini
694139c1837SPaolo Bonzini    /* Note that tcg optimization should eliminate the bl == 0 case.  */
695139c1837SPaolo Bonzini    if (is_sub) {
696139c1837SPaolo Bonzini        if (cbl) {
697139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, al, bl);
698139c1837SPaolo Bonzini            tcg_out_opc_imm(s, opc_addi, rl, al, -bl);
699139c1837SPaolo Bonzini        } else {
700139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0, al, bl);
701139c1837SPaolo Bonzini            tcg_out_opc_reg(s, opc_sub, rl, al, bl);
702139c1837SPaolo Bonzini        }
703139c1837SPaolo Bonzini        tcg_out_opc_reg(s, opc_sub, rh, th, TCG_REG_TMP0);
704139c1837SPaolo Bonzini    } else {
705139c1837SPaolo Bonzini        if (cbl) {
706139c1837SPaolo Bonzini            tcg_out_opc_imm(s, opc_addi, rl, al, bl);
707139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, rl, bl);
7089b246685SRichard Henderson        } else if (al == bl) {
7099b246685SRichard Henderson            /*
7109b246685SRichard Henderson             * If the input regs overlap, this is a simple doubling
7119b246685SRichard Henderson             * and carry-out is the input msb.  This special case is
7129b246685SRichard Henderson             * required when the output reg overlaps the input,
7139b246685SRichard Henderson             * but we might as well use it always.
7149b246685SRichard Henderson             */
715139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTI, TCG_REG_TMP0, al, 0);
7169b246685SRichard Henderson            tcg_out_opc_reg(s, opc_add, rl, al, al);
717139c1837SPaolo Bonzini        } else {
718139c1837SPaolo Bonzini            tcg_out_opc_reg(s, opc_add, rl, al, bl);
719139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0,
720139c1837SPaolo Bonzini                            rl, (rl == bl ? al : bl));
721139c1837SPaolo Bonzini        }
722139c1837SPaolo Bonzini        tcg_out_opc_reg(s, opc_add, rh, th, TCG_REG_TMP0);
723139c1837SPaolo Bonzini    }
724139c1837SPaolo Bonzini}
725139c1837SPaolo Bonzini
726139c1837SPaolo Bonzinistatic const struct {
727139c1837SPaolo Bonzini    RISCVInsn op;
728139c1837SPaolo Bonzini    bool swap;
729139c1837SPaolo Bonzini} tcg_brcond_to_riscv[] = {
730139c1837SPaolo Bonzini    [TCG_COND_EQ] =  { OPC_BEQ,  false },
731139c1837SPaolo Bonzini    [TCG_COND_NE] =  { OPC_BNE,  false },
732139c1837SPaolo Bonzini    [TCG_COND_LT] =  { OPC_BLT,  false },
733139c1837SPaolo Bonzini    [TCG_COND_GE] =  { OPC_BGE,  false },
734139c1837SPaolo Bonzini    [TCG_COND_LE] =  { OPC_BGE,  true  },
735139c1837SPaolo Bonzini    [TCG_COND_GT] =  { OPC_BLT,  true  },
736139c1837SPaolo Bonzini    [TCG_COND_LTU] = { OPC_BLTU, false },
737139c1837SPaolo Bonzini    [TCG_COND_GEU] = { OPC_BGEU, false },
738139c1837SPaolo Bonzini    [TCG_COND_LEU] = { OPC_BGEU, true  },
739139c1837SPaolo Bonzini    [TCG_COND_GTU] = { OPC_BLTU, true  }
740139c1837SPaolo Bonzini};
741139c1837SPaolo Bonzini
742139c1837SPaolo Bonzinistatic void tcg_out_brcond(TCGContext *s, TCGCond cond, TCGReg arg1,
743139c1837SPaolo Bonzini                           TCGReg arg2, TCGLabel *l)
744139c1837SPaolo Bonzini{
745139c1837SPaolo Bonzini    RISCVInsn op = tcg_brcond_to_riscv[cond].op;
746139c1837SPaolo Bonzini
747139c1837SPaolo Bonzini    tcg_debug_assert(op != 0);
748139c1837SPaolo Bonzini
749139c1837SPaolo Bonzini    if (tcg_brcond_to_riscv[cond].swap) {
750139c1837SPaolo Bonzini        TCGReg t = arg1;
751139c1837SPaolo Bonzini        arg1 = arg2;
752139c1837SPaolo Bonzini        arg2 = t;
753139c1837SPaolo Bonzini    }
754139c1837SPaolo Bonzini
755139c1837SPaolo Bonzini    tcg_out_reloc(s, s->code_ptr, R_RISCV_BRANCH, l, 0);
756139c1837SPaolo Bonzini    tcg_out_opc_branch(s, op, arg1, arg2, 0);
757139c1837SPaolo Bonzini}
758139c1837SPaolo Bonzini
759139c1837SPaolo Bonzinistatic void tcg_out_setcond(TCGContext *s, TCGCond cond, TCGReg ret,
760139c1837SPaolo Bonzini                            TCGReg arg1, TCGReg arg2)
761139c1837SPaolo Bonzini{
762139c1837SPaolo Bonzini    switch (cond) {
763139c1837SPaolo Bonzini    case TCG_COND_EQ:
764139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, ret, arg1, arg2);
765139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SLTIU, ret, ret, 1);
766139c1837SPaolo Bonzini        break;
767139c1837SPaolo Bonzini    case TCG_COND_NE:
768139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, ret, arg1, arg2);
769139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, TCG_REG_ZERO, ret);
770139c1837SPaolo Bonzini        break;
771139c1837SPaolo Bonzini    case TCG_COND_LT:
772139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2);
773139c1837SPaolo Bonzini        break;
774139c1837SPaolo Bonzini    case TCG_COND_GE:
775139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2);
776139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
777139c1837SPaolo Bonzini        break;
778139c1837SPaolo Bonzini    case TCG_COND_LE:
779139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg2, arg1);
780139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
781139c1837SPaolo Bonzini        break;
782139c1837SPaolo Bonzini    case TCG_COND_GT:
783139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg2, arg1);
784139c1837SPaolo Bonzini        break;
785139c1837SPaolo Bonzini    case TCG_COND_LTU:
786139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2);
787139c1837SPaolo Bonzini        break;
788139c1837SPaolo Bonzini    case TCG_COND_GEU:
789139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2);
790139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
791139c1837SPaolo Bonzini        break;
792139c1837SPaolo Bonzini    case TCG_COND_LEU:
793139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg2, arg1);
794139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
795139c1837SPaolo Bonzini        break;
796139c1837SPaolo Bonzini    case TCG_COND_GTU:
797139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg2, arg1);
798139c1837SPaolo Bonzini        break;
799139c1837SPaolo Bonzini    default:
800139c1837SPaolo Bonzini         g_assert_not_reached();
801139c1837SPaolo Bonzini         break;
802139c1837SPaolo Bonzini     }
803139c1837SPaolo Bonzini}
804139c1837SPaolo Bonzini
8052be7d76bSRichard Hendersonstatic void tcg_out_call_int(TCGContext *s, const tcg_insn_unit *arg, bool tail)
806139c1837SPaolo Bonzini{
807139c1837SPaolo Bonzini    TCGReg link = tail ? TCG_REG_ZERO : TCG_REG_RA;
808139c1837SPaolo Bonzini    ptrdiff_t offset = tcg_pcrel_diff(s, arg);
809139c1837SPaolo Bonzini    int ret;
810139c1837SPaolo Bonzini
811844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
812844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
813139c1837SPaolo Bonzini        /* short jump: -2097150 to 2097152 */
814139c1837SPaolo Bonzini        tcg_out_opc_jump(s, OPC_JAL, link, offset);
815aeb6326eSRichard Henderson    } else if (offset == (int32_t)offset) {
816139c1837SPaolo Bonzini        /* long jump: -2147483646 to 2147483648 */
817139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP0, 0);
818139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, 0);
819844d0442SRichard Henderson        ret = reloc_call(s->code_ptr - 2, arg);
820139c1837SPaolo Bonzini        tcg_debug_assert(ret == true);
821aeb6326eSRichard Henderson    } else {
822139c1837SPaolo Bonzini        /* far jump: 64-bit */
823139c1837SPaolo Bonzini        tcg_target_long imm = sextreg((tcg_target_long)arg, 0, 12);
824139c1837SPaolo Bonzini        tcg_target_long base = (tcg_target_long)arg - imm;
825139c1837SPaolo Bonzini        tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP0, base);
826139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, imm);
827139c1837SPaolo Bonzini    }
828139c1837SPaolo Bonzini}
829139c1837SPaolo Bonzini
830cee44b03SRichard Hendersonstatic void tcg_out_call(TCGContext *s, const tcg_insn_unit *arg,
831cee44b03SRichard Henderson                         const TCGHelperInfo *info)
832139c1837SPaolo Bonzini{
833139c1837SPaolo Bonzini    tcg_out_call_int(s, arg, false);
834139c1837SPaolo Bonzini}
835139c1837SPaolo Bonzini
836139c1837SPaolo Bonzinistatic void tcg_out_mb(TCGContext *s, TCGArg a0)
837139c1837SPaolo Bonzini{
838139c1837SPaolo Bonzini    tcg_insn_unit insn = OPC_FENCE;
839139c1837SPaolo Bonzini
840139c1837SPaolo Bonzini    if (a0 & TCG_MO_LD_LD) {
841139c1837SPaolo Bonzini        insn |= 0x02200000;
842139c1837SPaolo Bonzini    }
843139c1837SPaolo Bonzini    if (a0 & TCG_MO_ST_LD) {
844139c1837SPaolo Bonzini        insn |= 0x01200000;
845139c1837SPaolo Bonzini    }
846139c1837SPaolo Bonzini    if (a0 & TCG_MO_LD_ST) {
847139c1837SPaolo Bonzini        insn |= 0x02100000;
848139c1837SPaolo Bonzini    }
849139c1837SPaolo Bonzini    if (a0 & TCG_MO_ST_ST) {
850139c1837SPaolo Bonzini        insn |= 0x02200000;
851139c1837SPaolo Bonzini    }
852139c1837SPaolo Bonzini    tcg_out32(s, insn);
853139c1837SPaolo Bonzini}
854139c1837SPaolo Bonzini
855139c1837SPaolo Bonzini/*
856139c1837SPaolo Bonzini * Load/store and TLB
857139c1837SPaolo Bonzini */
858139c1837SPaolo Bonzini
859139c1837SPaolo Bonzini#if defined(CONFIG_SOFTMMU)
860139c1837SPaolo Bonzini/* helper signature: helper_ret_ld_mmu(CPUState *env, target_ulong addr,
8619002ffcbSRichard Henderson *                                     MemOpIdx oi, uintptr_t ra)
862139c1837SPaolo Bonzini */
8634b473e0cSRichard Hendersonstatic void * const qemu_ld_helpers[MO_SSIZE + 1] = {
864139c1837SPaolo Bonzini    [MO_UB] = helper_ret_ldub_mmu,
865139c1837SPaolo Bonzini    [MO_SB] = helper_ret_ldsb_mmu,
866e03b5686SMarc-André Lureau#if HOST_BIG_ENDIAN
867c86bd2dcSRichard Henderson    [MO_UW] = helper_be_lduw_mmu,
868c86bd2dcSRichard Henderson    [MO_SW] = helper_be_ldsw_mmu,
869c86bd2dcSRichard Henderson    [MO_UL] = helper_be_ldul_mmu,
870139c1837SPaolo Bonzini#if TCG_TARGET_REG_BITS == 64
871c86bd2dcSRichard Henderson    [MO_SL] = helper_be_ldsl_mmu,
872139c1837SPaolo Bonzini#endif
873fc313c64SFrédéric Pétrot    [MO_UQ] = helper_be_ldq_mmu,
874c86bd2dcSRichard Henderson#else
875c86bd2dcSRichard Henderson    [MO_UW] = helper_le_lduw_mmu,
876c86bd2dcSRichard Henderson    [MO_SW] = helper_le_ldsw_mmu,
877c86bd2dcSRichard Henderson    [MO_UL] = helper_le_ldul_mmu,
878139c1837SPaolo Bonzini#if TCG_TARGET_REG_BITS == 64
879c86bd2dcSRichard Henderson    [MO_SL] = helper_le_ldsl_mmu,
880139c1837SPaolo Bonzini#endif
881fc313c64SFrédéric Pétrot    [MO_UQ] = helper_le_ldq_mmu,
882c86bd2dcSRichard Henderson#endif
883139c1837SPaolo Bonzini};
884139c1837SPaolo Bonzini
885139c1837SPaolo Bonzini/* helper signature: helper_ret_st_mmu(CPUState *env, target_ulong addr,
8869002ffcbSRichard Henderson *                                     uintxx_t val, MemOpIdx oi,
887139c1837SPaolo Bonzini *                                     uintptr_t ra)
888139c1837SPaolo Bonzini */
8894b473e0cSRichard Hendersonstatic void * const qemu_st_helpers[MO_SIZE + 1] = {
890c86bd2dcSRichard Henderson    [MO_8]   = helper_ret_stb_mmu,
891e03b5686SMarc-André Lureau#if HOST_BIG_ENDIAN
892c86bd2dcSRichard Henderson    [MO_16] = helper_be_stw_mmu,
893c86bd2dcSRichard Henderson    [MO_32] = helper_be_stl_mmu,
894c86bd2dcSRichard Henderson    [MO_64] = helper_be_stq_mmu,
895c86bd2dcSRichard Henderson#else
896c86bd2dcSRichard Henderson    [MO_16] = helper_le_stw_mmu,
897c86bd2dcSRichard Henderson    [MO_32] = helper_le_stl_mmu,
898c86bd2dcSRichard Henderson    [MO_64] = helper_le_stq_mmu,
899c86bd2dcSRichard Henderson#endif
900139c1837SPaolo Bonzini};
901139c1837SPaolo Bonzini
902139c1837SPaolo Bonzini/* We expect to use a 12-bit negative offset from ENV.  */
903139c1837SPaolo BonziniQEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) > 0);
904139c1837SPaolo BonziniQEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) < -(1 << 11));
905139c1837SPaolo Bonzini
906793f7381SRichard Hendersonstatic void tcg_out_goto(TCGContext *s, const tcg_insn_unit *target)
907844d0442SRichard Henderson{
908844d0442SRichard Henderson    tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
909844d0442SRichard Henderson    bool ok = reloc_jimm20(s->code_ptr - 1, target);
910844d0442SRichard Henderson    tcg_debug_assert(ok);
911844d0442SRichard Henderson}
912844d0442SRichard Henderson
913aeb6326eSRichard Hendersonstatic TCGReg tcg_out_tlb_load(TCGContext *s, TCGReg addr, MemOpIdx oi,
914139c1837SPaolo Bonzini                               tcg_insn_unit **label_ptr, bool is_load)
915139c1837SPaolo Bonzini{
916139c1837SPaolo Bonzini    MemOp opc = get_memop(oi);
917139c1837SPaolo Bonzini    unsigned s_bits = opc & MO_SIZE;
918139c1837SPaolo Bonzini    unsigned a_bits = get_alignment_bits(opc);
919139c1837SPaolo Bonzini    tcg_target_long compare_mask;
920139c1837SPaolo Bonzini    int mem_index = get_mmuidx(oi);
921139c1837SPaolo Bonzini    int fast_ofs = TLB_MASK_TABLE_OFS(mem_index);
922139c1837SPaolo Bonzini    int mask_ofs = fast_ofs + offsetof(CPUTLBDescFast, mask);
923139c1837SPaolo Bonzini    int table_ofs = fast_ofs + offsetof(CPUTLBDescFast, table);
924139c1837SPaolo Bonzini    TCGReg mask_base = TCG_AREG0, table_base = TCG_AREG0;
925139c1837SPaolo Bonzini
926139c1837SPaolo Bonzini    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, mask_base, mask_ofs);
927139c1837SPaolo Bonzini    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP1, table_base, table_ofs);
928139c1837SPaolo Bonzini
929aeb6326eSRichard Henderson    tcg_out_opc_imm(s, OPC_SRLI, TCG_REG_TMP2, addr,
930139c1837SPaolo Bonzini                    TARGET_PAGE_BITS - CPU_TLB_ENTRY_BITS);
931139c1837SPaolo Bonzini    tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP0);
932139c1837SPaolo Bonzini    tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP1);
933139c1837SPaolo Bonzini
934139c1837SPaolo Bonzini    /* Load the tlb comparator and the addend.  */
935139c1837SPaolo Bonzini    tcg_out_ld(s, TCG_TYPE_TL, TCG_REG_TMP0, TCG_REG_TMP2,
936139c1837SPaolo Bonzini               is_load ? offsetof(CPUTLBEntry, addr_read)
937139c1837SPaolo Bonzini               : offsetof(CPUTLBEntry, addr_write));
938139c1837SPaolo Bonzini    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP2, TCG_REG_TMP2,
939139c1837SPaolo Bonzini               offsetof(CPUTLBEntry, addend));
940139c1837SPaolo Bonzini
941139c1837SPaolo Bonzini    /* We don't support unaligned accesses. */
942139c1837SPaolo Bonzini    if (a_bits < s_bits) {
943139c1837SPaolo Bonzini        a_bits = s_bits;
944139c1837SPaolo Bonzini    }
945139c1837SPaolo Bonzini    /* Clear the non-page, non-alignment bits from the address.  */
946139c1837SPaolo Bonzini    compare_mask = (tcg_target_long)TARGET_PAGE_MASK | ((1 << a_bits) - 1);
947139c1837SPaolo Bonzini    if (compare_mask == sextreg(compare_mask, 0, 12)) {
948aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr, compare_mask);
949139c1837SPaolo Bonzini    } else {
950139c1837SPaolo Bonzini        tcg_out_movi(s, TCG_TYPE_TL, TCG_REG_TMP1, compare_mask);
951aeb6326eSRichard Henderson        tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP1, TCG_REG_TMP1, addr);
952139c1837SPaolo Bonzini    }
953139c1837SPaolo Bonzini
954139c1837SPaolo Bonzini    /* Compare masked address with the TLB entry. */
955139c1837SPaolo Bonzini    label_ptr[0] = s->code_ptr;
956139c1837SPaolo Bonzini    tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP0, TCG_REG_TMP1, 0);
957139c1837SPaolo Bonzini
958139c1837SPaolo Bonzini    /* TLB Hit - translate address using addend.  */
959aeb6326eSRichard Henderson    if (TARGET_LONG_BITS == 32) {
960aeb6326eSRichard Henderson        tcg_out_ext32u(s, TCG_REG_TMP0, addr);
961aeb6326eSRichard Henderson        addr = TCG_REG_TMP0;
962139c1837SPaolo Bonzini    }
963aeb6326eSRichard Henderson    tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, TCG_REG_TMP2, addr);
9642e3a933aSRichard Henderson    return TCG_REG_TMP0;
965139c1837SPaolo Bonzini}
966139c1837SPaolo Bonzini
9679002ffcbSRichard Hendersonstatic void add_qemu_ldst_label(TCGContext *s, int is_ld, MemOpIdx oi,
968aeb6326eSRichard Henderson                                TCGType data_type, TCGReg data_reg,
969aeb6326eSRichard Henderson                                TCGReg addr_reg, void *raddr,
970aeb6326eSRichard Henderson                                tcg_insn_unit **label_ptr)
971139c1837SPaolo Bonzini{
972139c1837SPaolo Bonzini    TCGLabelQemuLdst *label = new_ldst_label(s);
973139c1837SPaolo Bonzini
974139c1837SPaolo Bonzini    label->is_ld = is_ld;
975139c1837SPaolo Bonzini    label->oi = oi;
976aeb6326eSRichard Henderson    label->type = data_type;
977aeb6326eSRichard Henderson    label->datalo_reg = data_reg;
978aeb6326eSRichard Henderson    label->addrlo_reg = addr_reg;
979e5e2e4c7SRichard Henderson    label->raddr = tcg_splitwx_to_rx(raddr);
980139c1837SPaolo Bonzini    label->label_ptr[0] = label_ptr[0];
981139c1837SPaolo Bonzini}
982139c1837SPaolo Bonzini
983139c1837SPaolo Bonzinistatic bool tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
984139c1837SPaolo Bonzini{
9859002ffcbSRichard Henderson    MemOpIdx oi = l->oi;
986139c1837SPaolo Bonzini    MemOp opc = get_memop(oi);
987139c1837SPaolo Bonzini    TCGReg a0 = tcg_target_call_iarg_regs[0];
988139c1837SPaolo Bonzini    TCGReg a1 = tcg_target_call_iarg_regs[1];
989139c1837SPaolo Bonzini    TCGReg a2 = tcg_target_call_iarg_regs[2];
990139c1837SPaolo Bonzini    TCGReg a3 = tcg_target_call_iarg_regs[3];
991139c1837SPaolo Bonzini
992139c1837SPaolo Bonzini    /* resolve label address */
993793f7381SRichard Henderson    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
994139c1837SPaolo Bonzini        return false;
995139c1837SPaolo Bonzini    }
996139c1837SPaolo Bonzini
997139c1837SPaolo Bonzini    /* call load helper */
998139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, a0, TCG_AREG0);
999139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, a1, l->addrlo_reg);
1000139c1837SPaolo Bonzini    tcg_out_movi(s, TCG_TYPE_PTR, a2, oi);
1001139c1837SPaolo Bonzini    tcg_out_movi(s, TCG_TYPE_PTR, a3, (tcg_target_long)l->raddr);
1002139c1837SPaolo Bonzini
1003cee44b03SRichard Henderson    tcg_out_call_int(s, qemu_ld_helpers[opc & MO_SSIZE], false);
1004139c1837SPaolo Bonzini    tcg_out_mov(s, (opc & MO_SIZE) == MO_64, l->datalo_reg, a0);
1005139c1837SPaolo Bonzini
1006139c1837SPaolo Bonzini    tcg_out_goto(s, l->raddr);
1007139c1837SPaolo Bonzini    return true;
1008139c1837SPaolo Bonzini}
1009139c1837SPaolo Bonzini
1010139c1837SPaolo Bonzinistatic bool tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
1011139c1837SPaolo Bonzini{
10129002ffcbSRichard Henderson    MemOpIdx oi = l->oi;
1013139c1837SPaolo Bonzini    MemOp opc = get_memop(oi);
1014139c1837SPaolo Bonzini    MemOp s_bits = opc & MO_SIZE;
1015139c1837SPaolo Bonzini    TCGReg a0 = tcg_target_call_iarg_regs[0];
1016139c1837SPaolo Bonzini    TCGReg a1 = tcg_target_call_iarg_regs[1];
1017139c1837SPaolo Bonzini    TCGReg a2 = tcg_target_call_iarg_regs[2];
1018139c1837SPaolo Bonzini    TCGReg a3 = tcg_target_call_iarg_regs[3];
1019139c1837SPaolo Bonzini    TCGReg a4 = tcg_target_call_iarg_regs[4];
1020139c1837SPaolo Bonzini
1021139c1837SPaolo Bonzini    /* resolve label address */
1022793f7381SRichard Henderson    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
1023139c1837SPaolo Bonzini        return false;
1024139c1837SPaolo Bonzini    }
1025139c1837SPaolo Bonzini
1026139c1837SPaolo Bonzini    /* call store helper */
1027139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, a0, TCG_AREG0);
1028139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, a1, l->addrlo_reg);
1029b3dfd5fcSRichard Henderson    tcg_out_movext(s, s_bits == MO_64 ? TCG_TYPE_I64 : TCG_TYPE_I32, a2,
1030b3dfd5fcSRichard Henderson                   l->type, s_bits, l->datalo_reg);
1031139c1837SPaolo Bonzini    tcg_out_movi(s, TCG_TYPE_PTR, a3, oi);
1032139c1837SPaolo Bonzini    tcg_out_movi(s, TCG_TYPE_PTR, a4, (tcg_target_long)l->raddr);
1033139c1837SPaolo Bonzini
1034cee44b03SRichard Henderson    tcg_out_call_int(s, qemu_st_helpers[opc & MO_SIZE], false);
1035139c1837SPaolo Bonzini
1036139c1837SPaolo Bonzini    tcg_out_goto(s, l->raddr);
1037139c1837SPaolo Bonzini    return true;
1038139c1837SPaolo Bonzini}
1039a3fb7c99SRichard Henderson#else
1040a3fb7c99SRichard Henderson
1041a3fb7c99SRichard Hendersonstatic void tcg_out_test_alignment(TCGContext *s, bool is_ld, TCGReg addr_reg,
1042a3fb7c99SRichard Henderson                                   unsigned a_bits)
1043a3fb7c99SRichard Henderson{
1044a3fb7c99SRichard Henderson    unsigned a_mask = (1 << a_bits) - 1;
1045a3fb7c99SRichard Henderson    TCGLabelQemuLdst *l = new_ldst_label(s);
1046a3fb7c99SRichard Henderson
1047a3fb7c99SRichard Henderson    l->is_ld = is_ld;
1048a3fb7c99SRichard Henderson    l->addrlo_reg = addr_reg;
1049a3fb7c99SRichard Henderson
1050a3fb7c99SRichard Henderson    /* We are expecting a_bits to max out at 7, so we can always use andi. */
1051a3fb7c99SRichard Henderson    tcg_debug_assert(a_bits < 12);
1052a3fb7c99SRichard Henderson    tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr_reg, a_mask);
1053a3fb7c99SRichard Henderson
1054a3fb7c99SRichard Henderson    l->label_ptr[0] = s->code_ptr;
1055a3fb7c99SRichard Henderson    tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP1, TCG_REG_ZERO, 0);
1056a3fb7c99SRichard Henderson
1057a3fb7c99SRichard Henderson    l->raddr = tcg_splitwx_to_rx(s->code_ptr);
1058a3fb7c99SRichard Henderson}
1059a3fb7c99SRichard Henderson
1060a3fb7c99SRichard Hendersonstatic bool tcg_out_fail_alignment(TCGContext *s, TCGLabelQemuLdst *l)
1061a3fb7c99SRichard Henderson{
1062a3fb7c99SRichard Henderson    /* resolve label address */
1063a3fb7c99SRichard Henderson    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
1064a3fb7c99SRichard Henderson        return false;
1065a3fb7c99SRichard Henderson    }
1066a3fb7c99SRichard Henderson
1067a3fb7c99SRichard Henderson    tcg_out_mov(s, TCG_TYPE_TL, TCG_REG_A1, l->addrlo_reg);
1068a3fb7c99SRichard Henderson    tcg_out_mov(s, TCG_TYPE_PTR, TCG_REG_A0, TCG_AREG0);
1069a3fb7c99SRichard Henderson
1070a3fb7c99SRichard Henderson    /* tail call, with the return address back inline. */
1071a3fb7c99SRichard Henderson    tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_RA, (uintptr_t)l->raddr);
1072a3fb7c99SRichard Henderson    tcg_out_call_int(s, (const void *)(l->is_ld ? helper_unaligned_ld
1073a3fb7c99SRichard Henderson                                       : helper_unaligned_st), true);
1074a3fb7c99SRichard Henderson    return true;
1075a3fb7c99SRichard Henderson}
1076a3fb7c99SRichard Henderson
1077a3fb7c99SRichard Hendersonstatic bool tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
1078a3fb7c99SRichard Henderson{
1079a3fb7c99SRichard Henderson    return tcg_out_fail_alignment(s, l);
1080a3fb7c99SRichard Henderson}
1081a3fb7c99SRichard Henderson
1082a3fb7c99SRichard Hendersonstatic bool tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
1083a3fb7c99SRichard Henderson{
1084a3fb7c99SRichard Henderson    return tcg_out_fail_alignment(s, l);
1085a3fb7c99SRichard Henderson}
1086a3fb7c99SRichard Henderson
1087139c1837SPaolo Bonzini#endif /* CONFIG_SOFTMMU */
1088139c1837SPaolo Bonzini
1089aeb6326eSRichard Hendersonstatic void tcg_out_qemu_ld_direct(TCGContext *s, TCGReg val,
1090*f7041977SRichard Henderson                                   TCGReg base, MemOp opc, TCGType type)
1091139c1837SPaolo Bonzini{
1092c86bd2dcSRichard Henderson    /* Byte swapping is left to middle-end expansion. */
1093c86bd2dcSRichard Henderson    tcg_debug_assert((opc & MO_BSWAP) == 0);
1094139c1837SPaolo Bonzini
1095139c1837SPaolo Bonzini    switch (opc & (MO_SSIZE)) {
1096139c1837SPaolo Bonzini    case MO_UB:
1097aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LBU, val, base, 0);
1098139c1837SPaolo Bonzini        break;
1099139c1837SPaolo Bonzini    case MO_SB:
1100aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LB, val, base, 0);
1101139c1837SPaolo Bonzini        break;
1102139c1837SPaolo Bonzini    case MO_UW:
1103aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LHU, val, base, 0);
1104139c1837SPaolo Bonzini        break;
1105139c1837SPaolo Bonzini    case MO_SW:
1106aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LH, val, base, 0);
1107139c1837SPaolo Bonzini        break;
1108139c1837SPaolo Bonzini    case MO_UL:
1109*f7041977SRichard Henderson        if (type == TCG_TYPE_I64) {
1110aeb6326eSRichard Henderson            tcg_out_opc_imm(s, OPC_LWU, val, base, 0);
1111139c1837SPaolo Bonzini            break;
1112139c1837SPaolo Bonzini        }
1113139c1837SPaolo Bonzini        /* FALLTHRU */
1114139c1837SPaolo Bonzini    case MO_SL:
1115aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LW, val, base, 0);
1116139c1837SPaolo Bonzini        break;
1117fc313c64SFrédéric Pétrot    case MO_UQ:
1118aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LD, val, base, 0);
1119139c1837SPaolo Bonzini        break;
1120139c1837SPaolo Bonzini    default:
1121139c1837SPaolo Bonzini        g_assert_not_reached();
1122139c1837SPaolo Bonzini    }
1123139c1837SPaolo Bonzini}
1124139c1837SPaolo Bonzini
1125*f7041977SRichard Hendersonstatic void tcg_out_qemu_ld(TCGContext *s, TCGReg data_reg, TCGReg addr_reg,
1126*f7041977SRichard Henderson                            MemOpIdx oi, TCGType data_type)
1127139c1837SPaolo Bonzini{
1128*f7041977SRichard Henderson    MemOp opc = get_memop(oi);
11292e3a933aSRichard Henderson    TCGReg base;
1130139c1837SPaolo Bonzini
1131139c1837SPaolo Bonzini#if defined(CONFIG_SOFTMMU)
1132*f7041977SRichard Henderson    tcg_insn_unit *label_ptr[1];
1133*f7041977SRichard Henderson
1134aeb6326eSRichard Henderson    base = tcg_out_tlb_load(s, addr_reg, oi, label_ptr, 1);
1135*f7041977SRichard Henderson    tcg_out_qemu_ld_direct(s, data_reg, base, opc, data_type);
1136*f7041977SRichard Henderson    add_qemu_ldst_label(s, true, oi, data_type, data_reg, addr_reg,
1137*f7041977SRichard Henderson                        s->code_ptr, label_ptr);
1138139c1837SPaolo Bonzini#else
1139*f7041977SRichard Henderson    unsigned a_bits = get_alignment_bits(opc);
1140a3fb7c99SRichard Henderson    if (a_bits) {
1141aeb6326eSRichard Henderson        tcg_out_test_alignment(s, true, addr_reg, a_bits);
1142a3fb7c99SRichard Henderson    }
1143aeb6326eSRichard Henderson    base = addr_reg;
1144aeb6326eSRichard Henderson    if (TARGET_LONG_BITS == 32) {
11452e3a933aSRichard Henderson        tcg_out_ext32u(s, TCG_REG_TMP0, base);
11462e3a933aSRichard Henderson        base = TCG_REG_TMP0;
11472e3a933aSRichard Henderson    }
114881c65ee2SRichard Henderson    if (guest_base != 0) {
11492e3a933aSRichard Henderson        tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, TCG_GUEST_BASE_REG, base);
11502e3a933aSRichard Henderson        base = TCG_REG_TMP0;
1151139c1837SPaolo Bonzini    }
1152*f7041977SRichard Henderson    tcg_out_qemu_ld_direct(s, data_reg, base, opc, data_type);
1153139c1837SPaolo Bonzini#endif
1154139c1837SPaolo Bonzini}
1155139c1837SPaolo Bonzini
1156aeb6326eSRichard Hendersonstatic void tcg_out_qemu_st_direct(TCGContext *s, TCGReg val,
1157139c1837SPaolo Bonzini                                   TCGReg base, MemOp opc)
1158139c1837SPaolo Bonzini{
1159c86bd2dcSRichard Henderson    /* Byte swapping is left to middle-end expansion. */
1160c86bd2dcSRichard Henderson    tcg_debug_assert((opc & MO_BSWAP) == 0);
1161139c1837SPaolo Bonzini
1162139c1837SPaolo Bonzini    switch (opc & (MO_SSIZE)) {
1163139c1837SPaolo Bonzini    case MO_8:
1164aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SB, base, val, 0);
1165139c1837SPaolo Bonzini        break;
1166139c1837SPaolo Bonzini    case MO_16:
1167aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SH, base, val, 0);
1168139c1837SPaolo Bonzini        break;
1169139c1837SPaolo Bonzini    case MO_32:
1170aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SW, base, val, 0);
1171139c1837SPaolo Bonzini        break;
1172139c1837SPaolo Bonzini    case MO_64:
1173aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SD, base, val, 0);
1174139c1837SPaolo Bonzini        break;
1175139c1837SPaolo Bonzini    default:
1176139c1837SPaolo Bonzini        g_assert_not_reached();
1177139c1837SPaolo Bonzini    }
1178139c1837SPaolo Bonzini}
1179139c1837SPaolo Bonzini
1180*f7041977SRichard Hendersonstatic void tcg_out_qemu_st(TCGContext *s, TCGReg data_reg, TCGReg addr_reg,
1181*f7041977SRichard Henderson                            MemOpIdx oi, TCGType data_type)
1182139c1837SPaolo Bonzini{
1183*f7041977SRichard Henderson    MemOp opc = get_memop(oi);
11842e3a933aSRichard Henderson    TCGReg base;
1185139c1837SPaolo Bonzini
1186139c1837SPaolo Bonzini#if defined(CONFIG_SOFTMMU)
1187*f7041977SRichard Henderson    tcg_insn_unit *label_ptr[1];
1188*f7041977SRichard Henderson
1189aeb6326eSRichard Henderson    base = tcg_out_tlb_load(s, addr_reg, oi, label_ptr, 0);
1190aeb6326eSRichard Henderson    tcg_out_qemu_st_direct(s, data_reg, base, opc);
1191*f7041977SRichard Henderson    add_qemu_ldst_label(s, false, oi, data_type, data_reg, addr_reg,
1192*f7041977SRichard Henderson                        s->code_ptr, label_ptr);
1193139c1837SPaolo Bonzini#else
1194*f7041977SRichard Henderson    unsigned a_bits = get_alignment_bits(opc);
1195a3fb7c99SRichard Henderson    if (a_bits) {
1196aeb6326eSRichard Henderson        tcg_out_test_alignment(s, false, addr_reg, a_bits);
1197a3fb7c99SRichard Henderson    }
1198aeb6326eSRichard Henderson    base = addr_reg;
1199aeb6326eSRichard Henderson    if (TARGET_LONG_BITS == 32) {
12002e3a933aSRichard Henderson        tcg_out_ext32u(s, TCG_REG_TMP0, base);
12012e3a933aSRichard Henderson        base = TCG_REG_TMP0;
12022e3a933aSRichard Henderson    }
120381c65ee2SRichard Henderson    if (guest_base != 0) {
12042e3a933aSRichard Henderson        tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, TCG_GUEST_BASE_REG, base);
12052e3a933aSRichard Henderson        base = TCG_REG_TMP0;
1206139c1837SPaolo Bonzini    }
1207aeb6326eSRichard Henderson    tcg_out_qemu_st_direct(s, data_reg, base, opc);
1208139c1837SPaolo Bonzini#endif
1209139c1837SPaolo Bonzini}
1210139c1837SPaolo Bonzini
1211793f7381SRichard Hendersonstatic const tcg_insn_unit *tb_ret_addr;
1212139c1837SPaolo Bonzini
1213b55a8d9dSRichard Hendersonstatic void tcg_out_exit_tb(TCGContext *s, uintptr_t a0)
1214b55a8d9dSRichard Henderson{
1215b55a8d9dSRichard Henderson    /* Reuse the zeroing that exists for goto_ptr.  */
1216b55a8d9dSRichard Henderson    if (a0 == 0) {
1217b55a8d9dSRichard Henderson        tcg_out_call_int(s, tcg_code_gen_epilogue, true);
1218b55a8d9dSRichard Henderson    } else {
1219b55a8d9dSRichard Henderson        tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_A0, a0);
1220b55a8d9dSRichard Henderson        tcg_out_call_int(s, tb_ret_addr, true);
1221b55a8d9dSRichard Henderson    }
1222b55a8d9dSRichard Henderson}
1223b55a8d9dSRichard Henderson
1224cf7d6b8eSRichard Hendersonstatic void tcg_out_goto_tb(TCGContext *s, int which)
1225cf7d6b8eSRichard Henderson{
1226493c9b19SRichard Henderson    /* Direct branch will be patched by tb_target_set_jmp_target. */
1227493c9b19SRichard Henderson    set_jmp_insn_offset(s, which);
1228493c9b19SRichard Henderson    tcg_out32(s, OPC_JAL);
1229493c9b19SRichard Henderson
1230493c9b19SRichard Henderson    /* When branch is out of range, fall through to indirect. */
1231cf7d6b8eSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_REG_ZERO,
1232cf7d6b8eSRichard Henderson               get_jmp_target_addr(s, which));
1233cf7d6b8eSRichard Henderson    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_TMP0, 0);
1234cf7d6b8eSRichard Henderson    set_jmp_reset_offset(s, which);
1235cf7d6b8eSRichard Henderson}
1236cf7d6b8eSRichard Henderson
123790c0fee3SRichard Hendersonvoid tb_target_set_jmp_target(const TranslationBlock *tb, int n,
123890c0fee3SRichard Henderson                              uintptr_t jmp_rx, uintptr_t jmp_rw)
123990c0fee3SRichard Henderson{
1240493c9b19SRichard Henderson    uintptr_t addr = tb->jmp_target_addr[n];
1241493c9b19SRichard Henderson    ptrdiff_t offset = addr - jmp_rx;
1242493c9b19SRichard Henderson    tcg_insn_unit insn;
1243493c9b19SRichard Henderson
1244493c9b19SRichard Henderson    /* Either directly branch, or fall through to indirect branch. */
1245493c9b19SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
1246493c9b19SRichard Henderson        insn = encode_uj(OPC_JAL, TCG_REG_ZERO, offset);
1247493c9b19SRichard Henderson    } else {
1248493c9b19SRichard Henderson        insn = OPC_NOP;
1249493c9b19SRichard Henderson    }
1250493c9b19SRichard Henderson    qatomic_set((uint32_t *)jmp_rw, insn);
1251493c9b19SRichard Henderson    flush_idcache_range(jmp_rx, jmp_rw, 4);
125290c0fee3SRichard Henderson}
125390c0fee3SRichard Henderson
1254139c1837SPaolo Bonzinistatic void tcg_out_op(TCGContext *s, TCGOpcode opc,
12555e8892dbSMiroslav Rezanina                       const TCGArg args[TCG_MAX_OP_ARGS],
12565e8892dbSMiroslav Rezanina                       const int const_args[TCG_MAX_OP_ARGS])
1257139c1837SPaolo Bonzini{
1258139c1837SPaolo Bonzini    TCGArg a0 = args[0];
1259139c1837SPaolo Bonzini    TCGArg a1 = args[1];
1260139c1837SPaolo Bonzini    TCGArg a2 = args[2];
1261139c1837SPaolo Bonzini    int c2 = const_args[2];
1262139c1837SPaolo Bonzini
1263139c1837SPaolo Bonzini    switch (opc) {
1264139c1837SPaolo Bonzini    case INDEX_op_goto_ptr:
1265139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, a0, 0);
1266139c1837SPaolo Bonzini        break;
1267139c1837SPaolo Bonzini
1268139c1837SPaolo Bonzini    case INDEX_op_br:
1269139c1837SPaolo Bonzini        tcg_out_reloc(s, s->code_ptr, R_RISCV_JAL, arg_label(a0), 0);
1270139c1837SPaolo Bonzini        tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
1271139c1837SPaolo Bonzini        break;
1272139c1837SPaolo Bonzini
1273139c1837SPaolo Bonzini    case INDEX_op_ld8u_i32:
1274139c1837SPaolo Bonzini    case INDEX_op_ld8u_i64:
1275139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LBU, a0, a1, a2);
1276139c1837SPaolo Bonzini        break;
1277139c1837SPaolo Bonzini    case INDEX_op_ld8s_i32:
1278139c1837SPaolo Bonzini    case INDEX_op_ld8s_i64:
1279139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LB, a0, a1, a2);
1280139c1837SPaolo Bonzini        break;
1281139c1837SPaolo Bonzini    case INDEX_op_ld16u_i32:
1282139c1837SPaolo Bonzini    case INDEX_op_ld16u_i64:
1283139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LHU, a0, a1, a2);
1284139c1837SPaolo Bonzini        break;
1285139c1837SPaolo Bonzini    case INDEX_op_ld16s_i32:
1286139c1837SPaolo Bonzini    case INDEX_op_ld16s_i64:
1287139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LH, a0, a1, a2);
1288139c1837SPaolo Bonzini        break;
1289139c1837SPaolo Bonzini    case INDEX_op_ld32u_i64:
1290139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LWU, a0, a1, a2);
1291139c1837SPaolo Bonzini        break;
1292139c1837SPaolo Bonzini    case INDEX_op_ld_i32:
1293139c1837SPaolo Bonzini    case INDEX_op_ld32s_i64:
1294139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LW, a0, a1, a2);
1295139c1837SPaolo Bonzini        break;
1296139c1837SPaolo Bonzini    case INDEX_op_ld_i64:
1297139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LD, a0, a1, a2);
1298139c1837SPaolo Bonzini        break;
1299139c1837SPaolo Bonzini
1300139c1837SPaolo Bonzini    case INDEX_op_st8_i32:
1301139c1837SPaolo Bonzini    case INDEX_op_st8_i64:
1302139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SB, a0, a1, a2);
1303139c1837SPaolo Bonzini        break;
1304139c1837SPaolo Bonzini    case INDEX_op_st16_i32:
1305139c1837SPaolo Bonzini    case INDEX_op_st16_i64:
1306139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SH, a0, a1, a2);
1307139c1837SPaolo Bonzini        break;
1308139c1837SPaolo Bonzini    case INDEX_op_st_i32:
1309139c1837SPaolo Bonzini    case INDEX_op_st32_i64:
1310139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SW, a0, a1, a2);
1311139c1837SPaolo Bonzini        break;
1312139c1837SPaolo Bonzini    case INDEX_op_st_i64:
1313139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SD, a0, a1, a2);
1314139c1837SPaolo Bonzini        break;
1315139c1837SPaolo Bonzini
1316139c1837SPaolo Bonzini    case INDEX_op_add_i32:
1317139c1837SPaolo Bonzini        if (c2) {
1318139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, a2);
1319139c1837SPaolo Bonzini        } else {
1320139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_ADDW, a0, a1, a2);
1321139c1837SPaolo Bonzini        }
1322139c1837SPaolo Bonzini        break;
1323139c1837SPaolo Bonzini    case INDEX_op_add_i64:
1324139c1837SPaolo Bonzini        if (c2) {
1325139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, a2);
1326139c1837SPaolo Bonzini        } else {
1327139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_ADD, a0, a1, a2);
1328139c1837SPaolo Bonzini        }
1329139c1837SPaolo Bonzini        break;
1330139c1837SPaolo Bonzini
1331139c1837SPaolo Bonzini    case INDEX_op_sub_i32:
1332139c1837SPaolo Bonzini        if (c2) {
1333139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, -a2);
1334139c1837SPaolo Bonzini        } else {
1335139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SUBW, a0, a1, a2);
1336139c1837SPaolo Bonzini        }
1337139c1837SPaolo Bonzini        break;
1338139c1837SPaolo Bonzini    case INDEX_op_sub_i64:
1339139c1837SPaolo Bonzini        if (c2) {
1340139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, -a2);
1341139c1837SPaolo Bonzini        } else {
1342139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SUB, a0, a1, a2);
1343139c1837SPaolo Bonzini        }
1344139c1837SPaolo Bonzini        break;
1345139c1837SPaolo Bonzini
1346139c1837SPaolo Bonzini    case INDEX_op_and_i32:
1347139c1837SPaolo Bonzini    case INDEX_op_and_i64:
1348139c1837SPaolo Bonzini        if (c2) {
1349139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ANDI, a0, a1, a2);
1350139c1837SPaolo Bonzini        } else {
1351139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_AND, a0, a1, a2);
1352139c1837SPaolo Bonzini        }
1353139c1837SPaolo Bonzini        break;
1354139c1837SPaolo Bonzini
1355139c1837SPaolo Bonzini    case INDEX_op_or_i32:
1356139c1837SPaolo Bonzini    case INDEX_op_or_i64:
1357139c1837SPaolo Bonzini        if (c2) {
1358139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ORI, a0, a1, a2);
1359139c1837SPaolo Bonzini        } else {
1360139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_OR, a0, a1, a2);
1361139c1837SPaolo Bonzini        }
1362139c1837SPaolo Bonzini        break;
1363139c1837SPaolo Bonzini
1364139c1837SPaolo Bonzini    case INDEX_op_xor_i32:
1365139c1837SPaolo Bonzini    case INDEX_op_xor_i64:
1366139c1837SPaolo Bonzini        if (c2) {
1367139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_XORI, a0, a1, a2);
1368139c1837SPaolo Bonzini        } else {
1369139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_XOR, a0, a1, a2);
1370139c1837SPaolo Bonzini        }
1371139c1837SPaolo Bonzini        break;
1372139c1837SPaolo Bonzini
1373139c1837SPaolo Bonzini    case INDEX_op_not_i32:
1374139c1837SPaolo Bonzini    case INDEX_op_not_i64:
1375139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, a0, a1, -1);
1376139c1837SPaolo Bonzini        break;
1377139c1837SPaolo Bonzini
1378139c1837SPaolo Bonzini    case INDEX_op_neg_i32:
1379139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUBW, a0, TCG_REG_ZERO, a1);
1380139c1837SPaolo Bonzini        break;
1381139c1837SPaolo Bonzini    case INDEX_op_neg_i64:
1382139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, a0, TCG_REG_ZERO, a1);
1383139c1837SPaolo Bonzini        break;
1384139c1837SPaolo Bonzini
1385139c1837SPaolo Bonzini    case INDEX_op_mul_i32:
1386139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULW, a0, a1, a2);
1387139c1837SPaolo Bonzini        break;
1388139c1837SPaolo Bonzini    case INDEX_op_mul_i64:
1389139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MUL, a0, a1, a2);
1390139c1837SPaolo Bonzini        break;
1391139c1837SPaolo Bonzini
1392139c1837SPaolo Bonzini    case INDEX_op_div_i32:
1393139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVW, a0, a1, a2);
1394139c1837SPaolo Bonzini        break;
1395139c1837SPaolo Bonzini    case INDEX_op_div_i64:
1396139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIV, a0, a1, a2);
1397139c1837SPaolo Bonzini        break;
1398139c1837SPaolo Bonzini
1399139c1837SPaolo Bonzini    case INDEX_op_divu_i32:
1400139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVUW, a0, a1, a2);
1401139c1837SPaolo Bonzini        break;
1402139c1837SPaolo Bonzini    case INDEX_op_divu_i64:
1403139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVU, a0, a1, a2);
1404139c1837SPaolo Bonzini        break;
1405139c1837SPaolo Bonzini
1406139c1837SPaolo Bonzini    case INDEX_op_rem_i32:
1407139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMW, a0, a1, a2);
1408139c1837SPaolo Bonzini        break;
1409139c1837SPaolo Bonzini    case INDEX_op_rem_i64:
1410139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REM, a0, a1, a2);
1411139c1837SPaolo Bonzini        break;
1412139c1837SPaolo Bonzini
1413139c1837SPaolo Bonzini    case INDEX_op_remu_i32:
1414139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMUW, a0, a1, a2);
1415139c1837SPaolo Bonzini        break;
1416139c1837SPaolo Bonzini    case INDEX_op_remu_i64:
1417139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMU, a0, a1, a2);
1418139c1837SPaolo Bonzini        break;
1419139c1837SPaolo Bonzini
1420139c1837SPaolo Bonzini    case INDEX_op_shl_i32:
1421139c1837SPaolo Bonzini        if (c2) {
1422d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SLLIW, a0, a1, a2 & 0x1f);
1423139c1837SPaolo Bonzini        } else {
1424139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLLW, a0, a1, a2);
1425139c1837SPaolo Bonzini        }
1426139c1837SPaolo Bonzini        break;
1427139c1837SPaolo Bonzini    case INDEX_op_shl_i64:
1428139c1837SPaolo Bonzini        if (c2) {
1429d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SLLI, a0, a1, a2 & 0x3f);
1430139c1837SPaolo Bonzini        } else {
1431139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLL, a0, a1, a2);
1432139c1837SPaolo Bonzini        }
1433139c1837SPaolo Bonzini        break;
1434139c1837SPaolo Bonzini
1435139c1837SPaolo Bonzini    case INDEX_op_shr_i32:
1436139c1837SPaolo Bonzini        if (c2) {
1437d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRLIW, a0, a1, a2 & 0x1f);
1438139c1837SPaolo Bonzini        } else {
1439139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRLW, a0, a1, a2);
1440139c1837SPaolo Bonzini        }
1441139c1837SPaolo Bonzini        break;
1442139c1837SPaolo Bonzini    case INDEX_op_shr_i64:
1443139c1837SPaolo Bonzini        if (c2) {
1444d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRLI, a0, a1, a2 & 0x3f);
1445139c1837SPaolo Bonzini        } else {
1446139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRL, a0, a1, a2);
1447139c1837SPaolo Bonzini        }
1448139c1837SPaolo Bonzini        break;
1449139c1837SPaolo Bonzini
1450139c1837SPaolo Bonzini    case INDEX_op_sar_i32:
1451139c1837SPaolo Bonzini        if (c2) {
1452d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRAIW, a0, a1, a2 & 0x1f);
1453139c1837SPaolo Bonzini        } else {
1454139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRAW, a0, a1, a2);
1455139c1837SPaolo Bonzini        }
1456139c1837SPaolo Bonzini        break;
1457139c1837SPaolo Bonzini    case INDEX_op_sar_i64:
1458139c1837SPaolo Bonzini        if (c2) {
1459d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRAI, a0, a1, a2 & 0x3f);
1460139c1837SPaolo Bonzini        } else {
1461139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRA, a0, a1, a2);
1462139c1837SPaolo Bonzini        }
1463139c1837SPaolo Bonzini        break;
1464139c1837SPaolo Bonzini
1465139c1837SPaolo Bonzini    case INDEX_op_add2_i32:
1466139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1467139c1837SPaolo Bonzini                        const_args[4], const_args[5], false, true);
1468139c1837SPaolo Bonzini        break;
1469139c1837SPaolo Bonzini    case INDEX_op_add2_i64:
1470139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1471139c1837SPaolo Bonzini                        const_args[4], const_args[5], false, false);
1472139c1837SPaolo Bonzini        break;
1473139c1837SPaolo Bonzini    case INDEX_op_sub2_i32:
1474139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1475139c1837SPaolo Bonzini                        const_args[4], const_args[5], true, true);
1476139c1837SPaolo Bonzini        break;
1477139c1837SPaolo Bonzini    case INDEX_op_sub2_i64:
1478139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1479139c1837SPaolo Bonzini                        const_args[4], const_args[5], true, false);
1480139c1837SPaolo Bonzini        break;
1481139c1837SPaolo Bonzini
1482139c1837SPaolo Bonzini    case INDEX_op_brcond_i32:
1483139c1837SPaolo Bonzini    case INDEX_op_brcond_i64:
1484139c1837SPaolo Bonzini        tcg_out_brcond(s, a2, a0, a1, arg_label(args[3]));
1485139c1837SPaolo Bonzini        break;
1486139c1837SPaolo Bonzini
1487139c1837SPaolo Bonzini    case INDEX_op_setcond_i32:
1488139c1837SPaolo Bonzini    case INDEX_op_setcond_i64:
1489139c1837SPaolo Bonzini        tcg_out_setcond(s, args[3], a0, a1, a2);
1490139c1837SPaolo Bonzini        break;
1491139c1837SPaolo Bonzini
1492139c1837SPaolo Bonzini    case INDEX_op_qemu_ld_i32:
1493*f7041977SRichard Henderson        tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I32);
1494139c1837SPaolo Bonzini        break;
1495139c1837SPaolo Bonzini    case INDEX_op_qemu_ld_i64:
1496*f7041977SRichard Henderson        tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I64);
1497139c1837SPaolo Bonzini        break;
1498139c1837SPaolo Bonzini    case INDEX_op_qemu_st_i32:
1499*f7041977SRichard Henderson        tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I32);
1500139c1837SPaolo Bonzini        break;
1501139c1837SPaolo Bonzini    case INDEX_op_qemu_st_i64:
1502*f7041977SRichard Henderson        tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I64);
1503139c1837SPaolo Bonzini        break;
1504139c1837SPaolo Bonzini
1505139c1837SPaolo Bonzini    case INDEX_op_extrh_i64_i32:
1506139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRAI, a0, a1, 32);
1507139c1837SPaolo Bonzini        break;
1508139c1837SPaolo Bonzini
1509139c1837SPaolo Bonzini    case INDEX_op_mulsh_i32:
1510139c1837SPaolo Bonzini    case INDEX_op_mulsh_i64:
1511139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULH, a0, a1, a2);
1512139c1837SPaolo Bonzini        break;
1513139c1837SPaolo Bonzini
1514139c1837SPaolo Bonzini    case INDEX_op_muluh_i32:
1515139c1837SPaolo Bonzini    case INDEX_op_muluh_i64:
1516139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULHU, a0, a1, a2);
1517139c1837SPaolo Bonzini        break;
1518139c1837SPaolo Bonzini
1519139c1837SPaolo Bonzini    case INDEX_op_mb:
1520139c1837SPaolo Bonzini        tcg_out_mb(s, a0);
1521139c1837SPaolo Bonzini        break;
1522139c1837SPaolo Bonzini
1523139c1837SPaolo Bonzini    case INDEX_op_mov_i32:  /* Always emitted via tcg_out_mov.  */
1524139c1837SPaolo Bonzini    case INDEX_op_mov_i64:
1525139c1837SPaolo Bonzini    case INDEX_op_call:     /* Always emitted via tcg_out_call.  */
1526b55a8d9dSRichard Henderson    case INDEX_op_exit_tb:  /* Always emitted via tcg_out_exit_tb.  */
1527cf7d6b8eSRichard Henderson    case INDEX_op_goto_tb:  /* Always emitted via tcg_out_goto_tb.  */
1528678155b2SRichard Henderson    case INDEX_op_ext8s_i32:  /* Always emitted via tcg_reg_alloc_op.  */
1529678155b2SRichard Henderson    case INDEX_op_ext8s_i64:
1530d0e66c89SRichard Henderson    case INDEX_op_ext8u_i32:
1531d0e66c89SRichard Henderson    case INDEX_op_ext8u_i64:
1532753e42eaSRichard Henderson    case INDEX_op_ext16s_i32:
1533753e42eaSRichard Henderson    case INDEX_op_ext16s_i64:
1534379afdffSRichard Henderson    case INDEX_op_ext16u_i32:
1535379afdffSRichard Henderson    case INDEX_op_ext16u_i64:
153652bf3398SRichard Henderson    case INDEX_op_ext32s_i64:
15379ecf5f61SRichard Henderson    case INDEX_op_ext32u_i64:
15389c6aa274SRichard Henderson    case INDEX_op_ext_i32_i64:
1539b9bfe000SRichard Henderson    case INDEX_op_extu_i32_i64:
1540b8b94ac6SRichard Henderson    case INDEX_op_extrl_i64_i32:
1541139c1837SPaolo Bonzini    default:
1542139c1837SPaolo Bonzini        g_assert_not_reached();
1543139c1837SPaolo Bonzini    }
1544139c1837SPaolo Bonzini}
1545139c1837SPaolo Bonzini
1546665be288SRichard Hendersonstatic TCGConstraintSetIndex tcg_target_op_def(TCGOpcode op)
1547139c1837SPaolo Bonzini{
1548139c1837SPaolo Bonzini    switch (op) {
1549139c1837SPaolo Bonzini    case INDEX_op_goto_ptr:
1550665be288SRichard Henderson        return C_O0_I1(r);
1551139c1837SPaolo Bonzini
1552139c1837SPaolo Bonzini    case INDEX_op_ld8u_i32:
1553139c1837SPaolo Bonzini    case INDEX_op_ld8s_i32:
1554139c1837SPaolo Bonzini    case INDEX_op_ld16u_i32:
1555139c1837SPaolo Bonzini    case INDEX_op_ld16s_i32:
1556139c1837SPaolo Bonzini    case INDEX_op_ld_i32:
1557139c1837SPaolo Bonzini    case INDEX_op_not_i32:
1558139c1837SPaolo Bonzini    case INDEX_op_neg_i32:
1559139c1837SPaolo Bonzini    case INDEX_op_ld8u_i64:
1560139c1837SPaolo Bonzini    case INDEX_op_ld8s_i64:
1561139c1837SPaolo Bonzini    case INDEX_op_ld16u_i64:
1562139c1837SPaolo Bonzini    case INDEX_op_ld16s_i64:
1563139c1837SPaolo Bonzini    case INDEX_op_ld32s_i64:
1564139c1837SPaolo Bonzini    case INDEX_op_ld32u_i64:
1565139c1837SPaolo Bonzini    case INDEX_op_ld_i64:
1566139c1837SPaolo Bonzini    case INDEX_op_not_i64:
1567139c1837SPaolo Bonzini    case INDEX_op_neg_i64:
1568139c1837SPaolo Bonzini    case INDEX_op_ext8u_i32:
1569139c1837SPaolo Bonzini    case INDEX_op_ext8u_i64:
1570139c1837SPaolo Bonzini    case INDEX_op_ext16u_i32:
1571139c1837SPaolo Bonzini    case INDEX_op_ext16u_i64:
1572139c1837SPaolo Bonzini    case INDEX_op_ext32u_i64:
1573139c1837SPaolo Bonzini    case INDEX_op_extu_i32_i64:
1574139c1837SPaolo Bonzini    case INDEX_op_ext8s_i32:
1575139c1837SPaolo Bonzini    case INDEX_op_ext8s_i64:
1576139c1837SPaolo Bonzini    case INDEX_op_ext16s_i32:
1577139c1837SPaolo Bonzini    case INDEX_op_ext16s_i64:
1578139c1837SPaolo Bonzini    case INDEX_op_ext32s_i64:
1579139c1837SPaolo Bonzini    case INDEX_op_extrl_i64_i32:
1580139c1837SPaolo Bonzini    case INDEX_op_extrh_i64_i32:
1581139c1837SPaolo Bonzini    case INDEX_op_ext_i32_i64:
1582665be288SRichard Henderson        return C_O1_I1(r, r);
1583139c1837SPaolo Bonzini
1584139c1837SPaolo Bonzini    case INDEX_op_st8_i32:
1585139c1837SPaolo Bonzini    case INDEX_op_st16_i32:
1586139c1837SPaolo Bonzini    case INDEX_op_st_i32:
1587139c1837SPaolo Bonzini    case INDEX_op_st8_i64:
1588139c1837SPaolo Bonzini    case INDEX_op_st16_i64:
1589139c1837SPaolo Bonzini    case INDEX_op_st32_i64:
1590139c1837SPaolo Bonzini    case INDEX_op_st_i64:
1591665be288SRichard Henderson        return C_O0_I2(rZ, r);
1592139c1837SPaolo Bonzini
1593139c1837SPaolo Bonzini    case INDEX_op_add_i32:
1594139c1837SPaolo Bonzini    case INDEX_op_and_i32:
1595139c1837SPaolo Bonzini    case INDEX_op_or_i32:
1596139c1837SPaolo Bonzini    case INDEX_op_xor_i32:
1597139c1837SPaolo Bonzini    case INDEX_op_add_i64:
1598139c1837SPaolo Bonzini    case INDEX_op_and_i64:
1599139c1837SPaolo Bonzini    case INDEX_op_or_i64:
1600139c1837SPaolo Bonzini    case INDEX_op_xor_i64:
1601665be288SRichard Henderson        return C_O1_I2(r, r, rI);
1602139c1837SPaolo Bonzini
1603139c1837SPaolo Bonzini    case INDEX_op_sub_i32:
1604139c1837SPaolo Bonzini    case INDEX_op_sub_i64:
1605665be288SRichard Henderson        return C_O1_I2(r, rZ, rN);
1606139c1837SPaolo Bonzini
1607139c1837SPaolo Bonzini    case INDEX_op_mul_i32:
1608139c1837SPaolo Bonzini    case INDEX_op_mulsh_i32:
1609139c1837SPaolo Bonzini    case INDEX_op_muluh_i32:
1610139c1837SPaolo Bonzini    case INDEX_op_div_i32:
1611139c1837SPaolo Bonzini    case INDEX_op_divu_i32:
1612139c1837SPaolo Bonzini    case INDEX_op_rem_i32:
1613139c1837SPaolo Bonzini    case INDEX_op_remu_i32:
1614139c1837SPaolo Bonzini    case INDEX_op_setcond_i32:
1615139c1837SPaolo Bonzini    case INDEX_op_mul_i64:
1616139c1837SPaolo Bonzini    case INDEX_op_mulsh_i64:
1617139c1837SPaolo Bonzini    case INDEX_op_muluh_i64:
1618139c1837SPaolo Bonzini    case INDEX_op_div_i64:
1619139c1837SPaolo Bonzini    case INDEX_op_divu_i64:
1620139c1837SPaolo Bonzini    case INDEX_op_rem_i64:
1621139c1837SPaolo Bonzini    case INDEX_op_remu_i64:
1622139c1837SPaolo Bonzini    case INDEX_op_setcond_i64:
1623665be288SRichard Henderson        return C_O1_I2(r, rZ, rZ);
1624139c1837SPaolo Bonzini
1625139c1837SPaolo Bonzini    case INDEX_op_shl_i32:
1626139c1837SPaolo Bonzini    case INDEX_op_shr_i32:
1627139c1837SPaolo Bonzini    case INDEX_op_sar_i32:
1628139c1837SPaolo Bonzini    case INDEX_op_shl_i64:
1629139c1837SPaolo Bonzini    case INDEX_op_shr_i64:
1630139c1837SPaolo Bonzini    case INDEX_op_sar_i64:
1631665be288SRichard Henderson        return C_O1_I2(r, r, ri);
1632139c1837SPaolo Bonzini
1633139c1837SPaolo Bonzini    case INDEX_op_brcond_i32:
1634139c1837SPaolo Bonzini    case INDEX_op_brcond_i64:
1635665be288SRichard Henderson        return C_O0_I2(rZ, rZ);
1636139c1837SPaolo Bonzini
1637139c1837SPaolo Bonzini    case INDEX_op_add2_i32:
1638139c1837SPaolo Bonzini    case INDEX_op_add2_i64:
1639139c1837SPaolo Bonzini    case INDEX_op_sub2_i32:
1640139c1837SPaolo Bonzini    case INDEX_op_sub2_i64:
1641665be288SRichard Henderson        return C_O2_I4(r, r, rZ, rZ, rM, rM);
1642139c1837SPaolo Bonzini
1643139c1837SPaolo Bonzini    case INDEX_op_qemu_ld_i32:
1644139c1837SPaolo Bonzini    case INDEX_op_qemu_ld_i64:
1645aeb6326eSRichard Henderson        return C_O1_I1(r, L);
1646aeb6326eSRichard Henderson    case INDEX_op_qemu_st_i32:
1647139c1837SPaolo Bonzini    case INDEX_op_qemu_st_i64:
1648aeb6326eSRichard Henderson        return C_O0_I2(LZ, L);
1649139c1837SPaolo Bonzini
1650139c1837SPaolo Bonzini    default:
1651665be288SRichard Henderson        g_assert_not_reached();
1652139c1837SPaolo Bonzini    }
1653139c1837SPaolo Bonzini}
1654139c1837SPaolo Bonzini
1655139c1837SPaolo Bonzinistatic const int tcg_target_callee_save_regs[] = {
1656139c1837SPaolo Bonzini    TCG_REG_S0,       /* used for the global env (TCG_AREG0) */
1657139c1837SPaolo Bonzini    TCG_REG_S1,
1658139c1837SPaolo Bonzini    TCG_REG_S2,
1659139c1837SPaolo Bonzini    TCG_REG_S3,
1660139c1837SPaolo Bonzini    TCG_REG_S4,
1661139c1837SPaolo Bonzini    TCG_REG_S5,
1662139c1837SPaolo Bonzini    TCG_REG_S6,
1663139c1837SPaolo Bonzini    TCG_REG_S7,
1664139c1837SPaolo Bonzini    TCG_REG_S8,
1665139c1837SPaolo Bonzini    TCG_REG_S9,
1666139c1837SPaolo Bonzini    TCG_REG_S10,
1667139c1837SPaolo Bonzini    TCG_REG_S11,
1668139c1837SPaolo Bonzini    TCG_REG_RA,       /* should be last for ABI compliance */
1669139c1837SPaolo Bonzini};
1670139c1837SPaolo Bonzini
1671139c1837SPaolo Bonzini/* Stack frame parameters.  */
1672139c1837SPaolo Bonzini#define REG_SIZE   (TCG_TARGET_REG_BITS / 8)
1673139c1837SPaolo Bonzini#define SAVE_SIZE  ((int)ARRAY_SIZE(tcg_target_callee_save_regs) * REG_SIZE)
1674139c1837SPaolo Bonzini#define TEMP_SIZE  (CPU_TEMP_BUF_NLONGS * (int)sizeof(long))
1675139c1837SPaolo Bonzini#define FRAME_SIZE ((TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE + SAVE_SIZE \
1676139c1837SPaolo Bonzini                     + TCG_TARGET_STACK_ALIGN - 1) \
1677139c1837SPaolo Bonzini                    & -TCG_TARGET_STACK_ALIGN)
1678139c1837SPaolo Bonzini#define SAVE_OFS   (TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE)
1679139c1837SPaolo Bonzini
1680139c1837SPaolo Bonzini/* We're expecting to be able to use an immediate for frame allocation.  */
1681139c1837SPaolo BonziniQEMU_BUILD_BUG_ON(FRAME_SIZE > 0x7ff);
1682139c1837SPaolo Bonzini
1683139c1837SPaolo Bonzini/* Generate global QEMU prologue and epilogue code */
1684139c1837SPaolo Bonzinistatic void tcg_target_qemu_prologue(TCGContext *s)
1685139c1837SPaolo Bonzini{
1686139c1837SPaolo Bonzini    int i;
1687139c1837SPaolo Bonzini
1688139c1837SPaolo Bonzini    tcg_set_frame(s, TCG_REG_SP, TCG_STATIC_CALL_ARGS_SIZE, TEMP_SIZE);
1689139c1837SPaolo Bonzini
1690139c1837SPaolo Bonzini    /* TB prologue */
1691139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, -FRAME_SIZE);
1692139c1837SPaolo Bonzini    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
1693139c1837SPaolo Bonzini        tcg_out_st(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1694139c1837SPaolo Bonzini                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
1695139c1837SPaolo Bonzini    }
1696139c1837SPaolo Bonzini
1697139c1837SPaolo Bonzini#if !defined(CONFIG_SOFTMMU)
1698139c1837SPaolo Bonzini    tcg_out_movi(s, TCG_TYPE_PTR, TCG_GUEST_BASE_REG, guest_base);
1699139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_GUEST_BASE_REG);
1700139c1837SPaolo Bonzini#endif
1701139c1837SPaolo Bonzini
1702139c1837SPaolo Bonzini    /* Call generated code */
1703139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, TCG_AREG0, tcg_target_call_iarg_regs[0]);
1704139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, tcg_target_call_iarg_regs[1], 0);
1705139c1837SPaolo Bonzini
1706139c1837SPaolo Bonzini    /* Return path for goto_ptr. Set return value to 0 */
1707c8bc1168SRichard Henderson    tcg_code_gen_epilogue = tcg_splitwx_to_rx(s->code_ptr);
1708139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_REG, TCG_REG_A0, TCG_REG_ZERO);
1709139c1837SPaolo Bonzini
1710139c1837SPaolo Bonzini    /* TB epilogue */
1711793f7381SRichard Henderson    tb_ret_addr = tcg_splitwx_to_rx(s->code_ptr);
1712139c1837SPaolo Bonzini    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
1713139c1837SPaolo Bonzini        tcg_out_ld(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1714139c1837SPaolo Bonzini                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
1715139c1837SPaolo Bonzini    }
1716139c1837SPaolo Bonzini
1717139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, FRAME_SIZE);
1718139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_RA, 0);
1719139c1837SPaolo Bonzini}
1720139c1837SPaolo Bonzini
1721139c1837SPaolo Bonzinistatic void tcg_target_init(TCGContext *s)
1722139c1837SPaolo Bonzini{
1723139c1837SPaolo Bonzini    tcg_target_available_regs[TCG_TYPE_I32] = 0xffffffff;
1724139c1837SPaolo Bonzini    tcg_target_available_regs[TCG_TYPE_I64] = 0xffffffff;
1725139c1837SPaolo Bonzini
1726139c1837SPaolo Bonzini    tcg_target_call_clobber_regs = -1u;
1727139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S0);
1728139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S1);
1729139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S2);
1730139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S3);
1731139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S4);
1732139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S5);
1733139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S6);
1734139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S7);
1735139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S8);
1736139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S9);
1737139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S10);
1738139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S11);
1739139c1837SPaolo Bonzini
1740139c1837SPaolo Bonzini    s->reserved_regs = 0;
1741139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_ZERO);
1742139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP0);
1743139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP1);
1744139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP2);
1745139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_SP);
1746139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_GP);
1747139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TP);
1748139c1837SPaolo Bonzini}
1749139c1837SPaolo Bonzini
1750139c1837SPaolo Bonzinitypedef struct {
1751139c1837SPaolo Bonzini    DebugFrameHeader h;
1752139c1837SPaolo Bonzini    uint8_t fde_def_cfa[4];
1753139c1837SPaolo Bonzini    uint8_t fde_reg_ofs[ARRAY_SIZE(tcg_target_callee_save_regs) * 2];
1754139c1837SPaolo Bonzini} DebugFrame;
1755139c1837SPaolo Bonzini
1756139c1837SPaolo Bonzini#define ELF_HOST_MACHINE EM_RISCV
1757139c1837SPaolo Bonzini
1758139c1837SPaolo Bonzinistatic const DebugFrame debug_frame = {
1759139c1837SPaolo Bonzini    .h.cie.len = sizeof(DebugFrameCIE) - 4, /* length after .len member */
1760139c1837SPaolo Bonzini    .h.cie.id = -1,
1761139c1837SPaolo Bonzini    .h.cie.version = 1,
1762139c1837SPaolo Bonzini    .h.cie.code_align = 1,
1763139c1837SPaolo Bonzini    .h.cie.data_align = -(TCG_TARGET_REG_BITS / 8) & 0x7f, /* sleb128 */
1764139c1837SPaolo Bonzini    .h.cie.return_column = TCG_REG_RA,
1765139c1837SPaolo Bonzini
1766139c1837SPaolo Bonzini    /* Total FDE size does not include the "len" member.  */
1767139c1837SPaolo Bonzini    .h.fde.len = sizeof(DebugFrame) - offsetof(DebugFrame, h.fde.cie_offset),
1768139c1837SPaolo Bonzini
1769139c1837SPaolo Bonzini    .fde_def_cfa = {
1770139c1837SPaolo Bonzini        12, TCG_REG_SP,                 /* DW_CFA_def_cfa sp, ... */
1771139c1837SPaolo Bonzini        (FRAME_SIZE & 0x7f) | 0x80,     /* ... uleb128 FRAME_SIZE */
1772139c1837SPaolo Bonzini        (FRAME_SIZE >> 7)
1773139c1837SPaolo Bonzini    },
1774139c1837SPaolo Bonzini    .fde_reg_ofs = {
1775139c1837SPaolo Bonzini        0x80 + 9,  12,                  /* DW_CFA_offset, s1,  -96 */
1776139c1837SPaolo Bonzini        0x80 + 18, 11,                  /* DW_CFA_offset, s2,  -88 */
1777139c1837SPaolo Bonzini        0x80 + 19, 10,                  /* DW_CFA_offset, s3,  -80 */
1778139c1837SPaolo Bonzini        0x80 + 20, 9,                   /* DW_CFA_offset, s4,  -72 */
1779139c1837SPaolo Bonzini        0x80 + 21, 8,                   /* DW_CFA_offset, s5,  -64 */
1780139c1837SPaolo Bonzini        0x80 + 22, 7,                   /* DW_CFA_offset, s6,  -56 */
1781139c1837SPaolo Bonzini        0x80 + 23, 6,                   /* DW_CFA_offset, s7,  -48 */
1782139c1837SPaolo Bonzini        0x80 + 24, 5,                   /* DW_CFA_offset, s8,  -40 */
1783139c1837SPaolo Bonzini        0x80 + 25, 4,                   /* DW_CFA_offset, s9,  -32 */
1784139c1837SPaolo Bonzini        0x80 + 26, 3,                   /* DW_CFA_offset, s10, -24 */
1785139c1837SPaolo Bonzini        0x80 + 27, 2,                   /* DW_CFA_offset, s11, -16 */
1786139c1837SPaolo Bonzini        0x80 + 1 , 1,                   /* DW_CFA_offset, ra,  -8 */
1787139c1837SPaolo Bonzini    }
1788139c1837SPaolo Bonzini};
1789139c1837SPaolo Bonzini
1790755bf9e5SRichard Hendersonvoid tcg_register_jit(const void *buf, size_t buf_size)
1791139c1837SPaolo Bonzini{
1792139c1837SPaolo Bonzini    tcg_register_jit_int(buf, buf_size, &debug_frame, sizeof(debug_frame));
1793139c1837SPaolo Bonzini}
1794