xref: /openbmc/qemu/tcg/riscv/tcg-target.c.inc (revision f0f43534f7f5beb92788951da6944faad154c6a2)
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
130aeb6326eSRichard Henderson#define sextreg  sextract64
131139c1837SPaolo Bonzini
132139c1837SPaolo Bonzini/* test if a constant matches the constraint */
133a4fbbd77SRichard Hendersonstatic bool tcg_target_const_match(int64_t val, TCGType type, int ct)
134139c1837SPaolo Bonzini{
135139c1837SPaolo Bonzini    if (ct & TCG_CT_CONST) {
136139c1837SPaolo Bonzini        return 1;
137139c1837SPaolo Bonzini    }
138139c1837SPaolo Bonzini    if ((ct & TCG_CT_CONST_ZERO) && val == 0) {
139139c1837SPaolo Bonzini        return 1;
140139c1837SPaolo Bonzini    }
14162722763SRichard Henderson    /*
14262722763SRichard Henderson     * Sign extended from 12 bits: [-0x800, 0x7ff].
14362722763SRichard Henderson     * Used for most arithmetic, as this is the isa field.
14462722763SRichard Henderson     */
14562722763SRichard Henderson    if ((ct & TCG_CT_CONST_S12) && val >= -0x800 && val <= 0x7ff) {
146139c1837SPaolo Bonzini        return 1;
147139c1837SPaolo Bonzini    }
14862722763SRichard Henderson    /*
14962722763SRichard Henderson     * Sign extended from 12 bits, negated: [-0x7ff, 0x800].
15062722763SRichard Henderson     * Used for subtraction, where a constant must be handled by ADDI.
15162722763SRichard Henderson     */
15262722763SRichard Henderson    if ((ct & TCG_CT_CONST_N12) && val >= -0x7ff && val <= 0x800) {
153139c1837SPaolo Bonzini        return 1;
154139c1837SPaolo Bonzini    }
15562722763SRichard Henderson    /*
15662722763SRichard Henderson     * Sign extended from 12 bits, +/- matching: [-0x7ff, 0x7ff].
15762722763SRichard Henderson     * Used by addsub2, which may need the negative operation,
15862722763SRichard Henderson     * and requires the modified constant to be representable.
15962722763SRichard Henderson     */
16062722763SRichard Henderson    if ((ct & TCG_CT_CONST_M12) && val >= -0x7ff && val <= 0x7ff) {
161139c1837SPaolo Bonzini        return 1;
162139c1837SPaolo Bonzini    }
163139c1837SPaolo Bonzini    return 0;
164139c1837SPaolo Bonzini}
165139c1837SPaolo Bonzini
166139c1837SPaolo Bonzini/*
167139c1837SPaolo Bonzini * RISC-V Base ISA opcodes (IM)
168139c1837SPaolo Bonzini */
169139c1837SPaolo Bonzini
170139c1837SPaolo Bonzinitypedef enum {
171139c1837SPaolo Bonzini    OPC_ADD = 0x33,
172139c1837SPaolo Bonzini    OPC_ADDI = 0x13,
173139c1837SPaolo Bonzini    OPC_AND = 0x7033,
174139c1837SPaolo Bonzini    OPC_ANDI = 0x7013,
175139c1837SPaolo Bonzini    OPC_AUIPC = 0x17,
176139c1837SPaolo Bonzini    OPC_BEQ = 0x63,
177139c1837SPaolo Bonzini    OPC_BGE = 0x5063,
178139c1837SPaolo Bonzini    OPC_BGEU = 0x7063,
179139c1837SPaolo Bonzini    OPC_BLT = 0x4063,
180139c1837SPaolo Bonzini    OPC_BLTU = 0x6063,
181139c1837SPaolo Bonzini    OPC_BNE = 0x1063,
182139c1837SPaolo Bonzini    OPC_DIV = 0x2004033,
183139c1837SPaolo Bonzini    OPC_DIVU = 0x2005033,
184139c1837SPaolo Bonzini    OPC_JAL = 0x6f,
185139c1837SPaolo Bonzini    OPC_JALR = 0x67,
186139c1837SPaolo Bonzini    OPC_LB = 0x3,
187139c1837SPaolo Bonzini    OPC_LBU = 0x4003,
188139c1837SPaolo Bonzini    OPC_LD = 0x3003,
189139c1837SPaolo Bonzini    OPC_LH = 0x1003,
190139c1837SPaolo Bonzini    OPC_LHU = 0x5003,
191139c1837SPaolo Bonzini    OPC_LUI = 0x37,
192139c1837SPaolo Bonzini    OPC_LW = 0x2003,
193139c1837SPaolo Bonzini    OPC_LWU = 0x6003,
194139c1837SPaolo Bonzini    OPC_MUL = 0x2000033,
195139c1837SPaolo Bonzini    OPC_MULH = 0x2001033,
196139c1837SPaolo Bonzini    OPC_MULHSU = 0x2002033,
197139c1837SPaolo Bonzini    OPC_MULHU = 0x2003033,
198139c1837SPaolo Bonzini    OPC_OR = 0x6033,
199139c1837SPaolo Bonzini    OPC_ORI = 0x6013,
200139c1837SPaolo Bonzini    OPC_REM = 0x2006033,
201139c1837SPaolo Bonzini    OPC_REMU = 0x2007033,
202139c1837SPaolo Bonzini    OPC_SB = 0x23,
203139c1837SPaolo Bonzini    OPC_SD = 0x3023,
204139c1837SPaolo Bonzini    OPC_SH = 0x1023,
205139c1837SPaolo Bonzini    OPC_SLL = 0x1033,
206139c1837SPaolo Bonzini    OPC_SLLI = 0x1013,
207139c1837SPaolo Bonzini    OPC_SLT = 0x2033,
208139c1837SPaolo Bonzini    OPC_SLTI = 0x2013,
209139c1837SPaolo Bonzini    OPC_SLTIU = 0x3013,
210139c1837SPaolo Bonzini    OPC_SLTU = 0x3033,
211139c1837SPaolo Bonzini    OPC_SRA = 0x40005033,
212139c1837SPaolo Bonzini    OPC_SRAI = 0x40005013,
213139c1837SPaolo Bonzini    OPC_SRL = 0x5033,
214139c1837SPaolo Bonzini    OPC_SRLI = 0x5013,
215139c1837SPaolo Bonzini    OPC_SUB = 0x40000033,
216139c1837SPaolo Bonzini    OPC_SW = 0x2023,
217139c1837SPaolo Bonzini    OPC_XOR = 0x4033,
218139c1837SPaolo Bonzini    OPC_XORI = 0x4013,
219139c1837SPaolo Bonzini
220139c1837SPaolo Bonzini    OPC_ADDIW = 0x1b,
221139c1837SPaolo Bonzini    OPC_ADDW = 0x3b,
222139c1837SPaolo Bonzini    OPC_DIVUW = 0x200503b,
223139c1837SPaolo Bonzini    OPC_DIVW = 0x200403b,
224139c1837SPaolo Bonzini    OPC_MULW = 0x200003b,
225139c1837SPaolo Bonzini    OPC_REMUW = 0x200703b,
226139c1837SPaolo Bonzini    OPC_REMW = 0x200603b,
227139c1837SPaolo Bonzini    OPC_SLLIW = 0x101b,
228139c1837SPaolo Bonzini    OPC_SLLW = 0x103b,
229139c1837SPaolo Bonzini    OPC_SRAIW = 0x4000501b,
230139c1837SPaolo Bonzini    OPC_SRAW = 0x4000503b,
231139c1837SPaolo Bonzini    OPC_SRLIW = 0x501b,
232139c1837SPaolo Bonzini    OPC_SRLW = 0x503b,
233139c1837SPaolo Bonzini    OPC_SUBW = 0x4000003b,
234139c1837SPaolo Bonzini
235139c1837SPaolo Bonzini    OPC_FENCE = 0x0000000f,
2369ae958e4SRichard Henderson    OPC_NOP   = OPC_ADDI,   /* nop = addi r0,r0,0 */
237139c1837SPaolo Bonzini} RISCVInsn;
238139c1837SPaolo Bonzini
239139c1837SPaolo Bonzini/*
240139c1837SPaolo Bonzini * RISC-V immediate and instruction encoders (excludes 16-bit RVC)
241139c1837SPaolo Bonzini */
242139c1837SPaolo Bonzini
243139c1837SPaolo Bonzini/* Type-R */
244139c1837SPaolo Bonzini
245139c1837SPaolo Bonzinistatic int32_t encode_r(RISCVInsn opc, TCGReg rd, TCGReg rs1, TCGReg rs2)
246139c1837SPaolo Bonzini{
247139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20;
248139c1837SPaolo Bonzini}
249139c1837SPaolo Bonzini
250139c1837SPaolo Bonzini/* Type-I */
251139c1837SPaolo Bonzini
252139c1837SPaolo Bonzinistatic int32_t encode_imm12(uint32_t imm)
253139c1837SPaolo Bonzini{
254139c1837SPaolo Bonzini    return (imm & 0xfff) << 20;
255139c1837SPaolo Bonzini}
256139c1837SPaolo Bonzini
257139c1837SPaolo Bonzinistatic int32_t encode_i(RISCVInsn opc, TCGReg rd, TCGReg rs1, uint32_t imm)
258139c1837SPaolo Bonzini{
259139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | encode_imm12(imm);
260139c1837SPaolo Bonzini}
261139c1837SPaolo Bonzini
262139c1837SPaolo Bonzini/* Type-S */
263139c1837SPaolo Bonzini
264139c1837SPaolo Bonzinistatic int32_t encode_simm12(uint32_t imm)
265139c1837SPaolo Bonzini{
266139c1837SPaolo Bonzini    int32_t ret = 0;
267139c1837SPaolo Bonzini
268139c1837SPaolo Bonzini    ret |= (imm & 0xFE0) << 20;
269139c1837SPaolo Bonzini    ret |= (imm & 0x1F) << 7;
270139c1837SPaolo Bonzini
271139c1837SPaolo Bonzini    return ret;
272139c1837SPaolo Bonzini}
273139c1837SPaolo Bonzini
274139c1837SPaolo Bonzinistatic int32_t encode_s(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
275139c1837SPaolo Bonzini{
276139c1837SPaolo Bonzini    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_simm12(imm);
277139c1837SPaolo Bonzini}
278139c1837SPaolo Bonzini
279139c1837SPaolo Bonzini/* Type-SB */
280139c1837SPaolo Bonzini
281139c1837SPaolo Bonzinistatic int32_t encode_sbimm12(uint32_t imm)
282139c1837SPaolo Bonzini{
283139c1837SPaolo Bonzini    int32_t ret = 0;
284139c1837SPaolo Bonzini
285139c1837SPaolo Bonzini    ret |= (imm & 0x1000) << 19;
286139c1837SPaolo Bonzini    ret |= (imm & 0x7e0) << 20;
287139c1837SPaolo Bonzini    ret |= (imm & 0x1e) << 7;
288139c1837SPaolo Bonzini    ret |= (imm & 0x800) >> 4;
289139c1837SPaolo Bonzini
290139c1837SPaolo Bonzini    return ret;
291139c1837SPaolo Bonzini}
292139c1837SPaolo Bonzini
293139c1837SPaolo Bonzinistatic int32_t encode_sb(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
294139c1837SPaolo Bonzini{
295139c1837SPaolo Bonzini    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_sbimm12(imm);
296139c1837SPaolo Bonzini}
297139c1837SPaolo Bonzini
298139c1837SPaolo Bonzini/* Type-U */
299139c1837SPaolo Bonzini
300139c1837SPaolo Bonzinistatic int32_t encode_uimm20(uint32_t imm)
301139c1837SPaolo Bonzini{
302139c1837SPaolo Bonzini    return imm & 0xfffff000;
303139c1837SPaolo Bonzini}
304139c1837SPaolo Bonzini
305139c1837SPaolo Bonzinistatic int32_t encode_u(RISCVInsn opc, TCGReg rd, uint32_t imm)
306139c1837SPaolo Bonzini{
307139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | encode_uimm20(imm);
308139c1837SPaolo Bonzini}
309139c1837SPaolo Bonzini
310139c1837SPaolo Bonzini/* Type-UJ */
311139c1837SPaolo Bonzini
312139c1837SPaolo Bonzinistatic int32_t encode_ujimm20(uint32_t imm)
313139c1837SPaolo Bonzini{
314139c1837SPaolo Bonzini    int32_t ret = 0;
315139c1837SPaolo Bonzini
316139c1837SPaolo Bonzini    ret |= (imm & 0x0007fe) << (21 - 1);
317139c1837SPaolo Bonzini    ret |= (imm & 0x000800) << (20 - 11);
318139c1837SPaolo Bonzini    ret |= (imm & 0x0ff000) << (12 - 12);
319139c1837SPaolo Bonzini    ret |= (imm & 0x100000) << (31 - 20);
320139c1837SPaolo Bonzini
321139c1837SPaolo Bonzini    return ret;
322139c1837SPaolo Bonzini}
323139c1837SPaolo Bonzini
324139c1837SPaolo Bonzinistatic int32_t encode_uj(RISCVInsn opc, TCGReg rd, uint32_t imm)
325139c1837SPaolo Bonzini{
326139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | encode_ujimm20(imm);
327139c1837SPaolo Bonzini}
328139c1837SPaolo Bonzini
329139c1837SPaolo Bonzini/*
330139c1837SPaolo Bonzini * RISC-V instruction emitters
331139c1837SPaolo Bonzini */
332139c1837SPaolo Bonzini
333139c1837SPaolo Bonzinistatic void tcg_out_opc_reg(TCGContext *s, RISCVInsn opc,
334139c1837SPaolo Bonzini                            TCGReg rd, TCGReg rs1, TCGReg rs2)
335139c1837SPaolo Bonzini{
336139c1837SPaolo Bonzini    tcg_out32(s, encode_r(opc, rd, rs1, rs2));
337139c1837SPaolo Bonzini}
338139c1837SPaolo Bonzini
339139c1837SPaolo Bonzinistatic void tcg_out_opc_imm(TCGContext *s, RISCVInsn opc,
340139c1837SPaolo Bonzini                            TCGReg rd, TCGReg rs1, TCGArg imm)
341139c1837SPaolo Bonzini{
342139c1837SPaolo Bonzini    tcg_out32(s, encode_i(opc, rd, rs1, imm));
343139c1837SPaolo Bonzini}
344139c1837SPaolo Bonzini
345139c1837SPaolo Bonzinistatic void tcg_out_opc_store(TCGContext *s, RISCVInsn opc,
346139c1837SPaolo Bonzini                              TCGReg rs1, TCGReg rs2, uint32_t imm)
347139c1837SPaolo Bonzini{
348139c1837SPaolo Bonzini    tcg_out32(s, encode_s(opc, rs1, rs2, imm));
349139c1837SPaolo Bonzini}
350139c1837SPaolo Bonzini
351139c1837SPaolo Bonzinistatic void tcg_out_opc_branch(TCGContext *s, RISCVInsn opc,
352139c1837SPaolo Bonzini                               TCGReg rs1, TCGReg rs2, uint32_t imm)
353139c1837SPaolo Bonzini{
354139c1837SPaolo Bonzini    tcg_out32(s, encode_sb(opc, rs1, rs2, imm));
355139c1837SPaolo Bonzini}
356139c1837SPaolo Bonzini
357139c1837SPaolo Bonzinistatic void tcg_out_opc_upper(TCGContext *s, RISCVInsn opc,
358139c1837SPaolo Bonzini                              TCGReg rd, uint32_t imm)
359139c1837SPaolo Bonzini{
360139c1837SPaolo Bonzini    tcg_out32(s, encode_u(opc, rd, imm));
361139c1837SPaolo Bonzini}
362139c1837SPaolo Bonzini
363139c1837SPaolo Bonzinistatic void tcg_out_opc_jump(TCGContext *s, RISCVInsn opc,
364139c1837SPaolo Bonzini                             TCGReg rd, uint32_t imm)
365139c1837SPaolo Bonzini{
366139c1837SPaolo Bonzini    tcg_out32(s, encode_uj(opc, rd, imm));
367139c1837SPaolo Bonzini}
368139c1837SPaolo Bonzini
369139c1837SPaolo Bonzinistatic void tcg_out_nop_fill(tcg_insn_unit *p, int count)
370139c1837SPaolo Bonzini{
371139c1837SPaolo Bonzini    int i;
372139c1837SPaolo Bonzini    for (i = 0; i < count; ++i) {
3739ae958e4SRichard Henderson        p[i] = OPC_NOP;
374139c1837SPaolo Bonzini    }
375139c1837SPaolo Bonzini}
376139c1837SPaolo Bonzini
377139c1837SPaolo Bonzini/*
378139c1837SPaolo Bonzini * Relocations
379139c1837SPaolo Bonzini */
380139c1837SPaolo Bonzini
381793f7381SRichard Hendersonstatic bool reloc_sbimm12(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
382139c1837SPaolo Bonzini{
383793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
384793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
385139c1837SPaolo Bonzini
386844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
387844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 12)) {
388793f7381SRichard Henderson        *src_rw |= encode_sbimm12(offset);
389139c1837SPaolo Bonzini        return true;
390139c1837SPaolo Bonzini    }
391139c1837SPaolo Bonzini
392139c1837SPaolo Bonzini    return false;
393139c1837SPaolo Bonzini}
394139c1837SPaolo Bonzini
395793f7381SRichard Hendersonstatic bool reloc_jimm20(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
396139c1837SPaolo Bonzini{
397793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
398793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
399139c1837SPaolo Bonzini
400844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
401844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
402793f7381SRichard Henderson        *src_rw |= encode_ujimm20(offset);
403139c1837SPaolo Bonzini        return true;
404139c1837SPaolo Bonzini    }
405139c1837SPaolo Bonzini
406139c1837SPaolo Bonzini    return false;
407139c1837SPaolo Bonzini}
408139c1837SPaolo Bonzini
409793f7381SRichard Hendersonstatic bool reloc_call(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
410139c1837SPaolo Bonzini{
411793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
412793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
413139c1837SPaolo Bonzini    int32_t lo = sextreg(offset, 0, 12);
414139c1837SPaolo Bonzini    int32_t hi = offset - lo;
415139c1837SPaolo Bonzini
416139c1837SPaolo Bonzini    if (offset == hi + lo) {
417793f7381SRichard Henderson        src_rw[0] |= encode_uimm20(hi);
418793f7381SRichard Henderson        src_rw[1] |= encode_imm12(lo);
419139c1837SPaolo Bonzini        return true;
420139c1837SPaolo Bonzini    }
421139c1837SPaolo Bonzini
422139c1837SPaolo Bonzini    return false;
423139c1837SPaolo Bonzini}
424139c1837SPaolo Bonzini
425139c1837SPaolo Bonzinistatic bool patch_reloc(tcg_insn_unit *code_ptr, int type,
426139c1837SPaolo Bonzini                        intptr_t value, intptr_t addend)
427139c1837SPaolo Bonzini{
428139c1837SPaolo Bonzini    tcg_debug_assert(addend == 0);
429139c1837SPaolo Bonzini    switch (type) {
430139c1837SPaolo Bonzini    case R_RISCV_BRANCH:
431139c1837SPaolo Bonzini        return reloc_sbimm12(code_ptr, (tcg_insn_unit *)value);
432139c1837SPaolo Bonzini    case R_RISCV_JAL:
433139c1837SPaolo Bonzini        return reloc_jimm20(code_ptr, (tcg_insn_unit *)value);
434139c1837SPaolo Bonzini    case R_RISCV_CALL:
435139c1837SPaolo Bonzini        return reloc_call(code_ptr, (tcg_insn_unit *)value);
436139c1837SPaolo Bonzini    default:
4374b6a52d0SRichard Henderson        g_assert_not_reached();
438139c1837SPaolo Bonzini    }
439139c1837SPaolo Bonzini}
440139c1837SPaolo Bonzini
441139c1837SPaolo Bonzini/*
442139c1837SPaolo Bonzini * TCG intrinsics
443139c1837SPaolo Bonzini */
444139c1837SPaolo Bonzini
445139c1837SPaolo Bonzinistatic bool tcg_out_mov(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
446139c1837SPaolo Bonzini{
447139c1837SPaolo Bonzini    if (ret == arg) {
448139c1837SPaolo Bonzini        return true;
449139c1837SPaolo Bonzini    }
450139c1837SPaolo Bonzini    switch (type) {
451139c1837SPaolo Bonzini    case TCG_TYPE_I32:
452139c1837SPaolo Bonzini    case TCG_TYPE_I64:
453139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, ret, arg, 0);
454139c1837SPaolo Bonzini        break;
455139c1837SPaolo Bonzini    default:
456139c1837SPaolo Bonzini        g_assert_not_reached();
457139c1837SPaolo Bonzini    }
458139c1837SPaolo Bonzini    return true;
459139c1837SPaolo Bonzini}
460139c1837SPaolo Bonzini
461139c1837SPaolo Bonzinistatic void tcg_out_movi(TCGContext *s, TCGType type, TCGReg rd,
462139c1837SPaolo Bonzini                         tcg_target_long val)
463139c1837SPaolo Bonzini{
464139c1837SPaolo Bonzini    tcg_target_long lo, hi, tmp;
465139c1837SPaolo Bonzini    int shift, ret;
466139c1837SPaolo Bonzini
467aeb6326eSRichard Henderson    if (type == TCG_TYPE_I32) {
468139c1837SPaolo Bonzini        val = (int32_t)val;
469139c1837SPaolo Bonzini    }
470139c1837SPaolo Bonzini
471139c1837SPaolo Bonzini    lo = sextreg(val, 0, 12);
472139c1837SPaolo Bonzini    if (val == lo) {
473139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, lo);
474139c1837SPaolo Bonzini        return;
475139c1837SPaolo Bonzini    }
476139c1837SPaolo Bonzini
477139c1837SPaolo Bonzini    hi = val - lo;
478aeb6326eSRichard Henderson    if (val == (int32_t)val) {
479139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, hi);
480139c1837SPaolo Bonzini        if (lo != 0) {
481139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, rd, rd, lo);
482139c1837SPaolo Bonzini        }
483139c1837SPaolo Bonzini        return;
484139c1837SPaolo Bonzini    }
485139c1837SPaolo Bonzini
486139c1837SPaolo Bonzini    tmp = tcg_pcrel_diff(s, (void *)val);
487139c1837SPaolo Bonzini    if (tmp == (int32_t)tmp) {
488139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
489139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, rd, 0);
490793f7381SRichard Henderson        ret = reloc_call(s->code_ptr - 2, (const tcg_insn_unit *)val);
491139c1837SPaolo Bonzini        tcg_debug_assert(ret == true);
492139c1837SPaolo Bonzini        return;
493139c1837SPaolo Bonzini    }
494139c1837SPaolo Bonzini
495139c1837SPaolo Bonzini    /* Look for a single 20-bit section.  */
496139c1837SPaolo Bonzini    shift = ctz64(val);
497139c1837SPaolo Bonzini    tmp = val >> shift;
498139c1837SPaolo Bonzini    if (tmp == sextreg(tmp, 0, 20)) {
499139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, tmp << 12);
500139c1837SPaolo Bonzini        if (shift > 12) {
501139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLLI, rd, rd, shift - 12);
502139c1837SPaolo Bonzini        } else {
503139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SRAI, rd, rd, 12 - shift);
504139c1837SPaolo Bonzini        }
505139c1837SPaolo Bonzini        return;
506139c1837SPaolo Bonzini    }
507139c1837SPaolo Bonzini
508139c1837SPaolo Bonzini    /* Look for a few high zero bits, with lots of bits set in the middle.  */
509139c1837SPaolo Bonzini    shift = clz64(val);
510139c1837SPaolo Bonzini    tmp = val << shift;
511139c1837SPaolo Bonzini    if (tmp == sextreg(tmp, 12, 20) << 12) {
512139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, tmp);
513139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
514139c1837SPaolo Bonzini        return;
515139c1837SPaolo Bonzini    } else if (tmp == sextreg(tmp, 0, 12)) {
516139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, tmp);
517139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
518139c1837SPaolo Bonzini        return;
519139c1837SPaolo Bonzini    }
520139c1837SPaolo Bonzini
521139c1837SPaolo Bonzini    /* Drop into the constant pool.  */
522139c1837SPaolo Bonzini    new_pool_label(s, val, R_RISCV_CALL, s->code_ptr, 0);
523139c1837SPaolo Bonzini    tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
524139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_LD, rd, rd, 0);
525139c1837SPaolo Bonzini}
526139c1837SPaolo Bonzini
527767c2503SRichard Hendersonstatic bool tcg_out_xchg(TCGContext *s, TCGType type, TCGReg r1, TCGReg r2)
528767c2503SRichard Henderson{
529767c2503SRichard Henderson    return false;
530767c2503SRichard Henderson}
531767c2503SRichard Henderson
5326a6d772eSRichard Hendersonstatic void tcg_out_addi_ptr(TCGContext *s, TCGReg rd, TCGReg rs,
5336a6d772eSRichard Henderson                             tcg_target_long imm)
5346a6d772eSRichard Henderson{
5356a6d772eSRichard Henderson    /* This function is only used for passing structs by reference. */
5366a6d772eSRichard Henderson    g_assert_not_reached();
5376a6d772eSRichard Henderson}
5386a6d772eSRichard Henderson
539139c1837SPaolo Bonzinistatic void tcg_out_ext8u(TCGContext *s, TCGReg ret, TCGReg arg)
540139c1837SPaolo Bonzini{
541139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ANDI, ret, arg, 0xff);
542139c1837SPaolo Bonzini}
543139c1837SPaolo Bonzini
544139c1837SPaolo Bonzinistatic void tcg_out_ext16u(TCGContext *s, TCGReg ret, TCGReg arg)
545139c1837SPaolo Bonzini{
546139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
547139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRLIW, ret, ret, 16);
548139c1837SPaolo Bonzini}
549139c1837SPaolo Bonzini
550139c1837SPaolo Bonzinistatic void tcg_out_ext32u(TCGContext *s, TCGReg ret, TCGReg arg)
551139c1837SPaolo Bonzini{
552139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLI, ret, arg, 32);
553139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRLI, ret, ret, 32);
554139c1837SPaolo Bonzini}
555139c1837SPaolo Bonzini
556678155b2SRichard Hendersonstatic void tcg_out_ext8s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
557139c1837SPaolo Bonzini{
558139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 24);
559139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 24);
560139c1837SPaolo Bonzini}
561139c1837SPaolo Bonzini
562753e42eaSRichard Hendersonstatic void tcg_out_ext16s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
563139c1837SPaolo Bonzini{
564139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
565139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 16);
566139c1837SPaolo Bonzini}
567139c1837SPaolo Bonzini
568139c1837SPaolo Bonzinistatic void tcg_out_ext32s(TCGContext *s, TCGReg ret, TCGReg arg)
569139c1837SPaolo Bonzini{
570139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDIW, ret, arg, 0);
571139c1837SPaolo Bonzini}
572139c1837SPaolo Bonzini
5739c6aa274SRichard Hendersonstatic void tcg_out_exts_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg)
5749c6aa274SRichard Henderson{
5753ea9be33SRichard Henderson    if (ret != arg) {
5769c6aa274SRichard Henderson        tcg_out_ext32s(s, ret, arg);
5779c6aa274SRichard Henderson    }
5783ea9be33SRichard Henderson}
5799c6aa274SRichard Henderson
580b9bfe000SRichard Hendersonstatic void tcg_out_extu_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg)
581b9bfe000SRichard Henderson{
582b9bfe000SRichard Henderson    tcg_out_ext32u(s, ret, arg);
583b9bfe000SRichard Henderson}
584b9bfe000SRichard Henderson
585b8b94ac6SRichard Hendersonstatic void tcg_out_extrl_i64_i32(TCGContext *s, TCGReg ret, TCGReg arg)
586b8b94ac6SRichard Henderson{
587b8b94ac6SRichard Henderson    tcg_out_ext32s(s, ret, arg);
588b8b94ac6SRichard Henderson}
589b8b94ac6SRichard Henderson
590139c1837SPaolo Bonzinistatic void tcg_out_ldst(TCGContext *s, RISCVInsn opc, TCGReg data,
591139c1837SPaolo Bonzini                         TCGReg addr, intptr_t offset)
592139c1837SPaolo Bonzini{
593139c1837SPaolo Bonzini    intptr_t imm12 = sextreg(offset, 0, 12);
594139c1837SPaolo Bonzini
595139c1837SPaolo Bonzini    if (offset != imm12) {
5969d9db413SRichard Henderson        intptr_t diff = tcg_pcrel_diff(s, (void *)offset);
597139c1837SPaolo Bonzini
598139c1837SPaolo Bonzini        if (addr == TCG_REG_ZERO && diff == (int32_t)diff) {
599139c1837SPaolo Bonzini            imm12 = sextreg(diff, 0, 12);
600139c1837SPaolo Bonzini            tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP2, diff - imm12);
601139c1837SPaolo Bonzini        } else {
602139c1837SPaolo Bonzini            tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP2, offset - imm12);
603139c1837SPaolo Bonzini            if (addr != TCG_REG_ZERO) {
604139c1837SPaolo Bonzini                tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, addr);
605139c1837SPaolo Bonzini            }
606139c1837SPaolo Bonzini        }
607139c1837SPaolo Bonzini        addr = TCG_REG_TMP2;
608139c1837SPaolo Bonzini    }
609139c1837SPaolo Bonzini
610139c1837SPaolo Bonzini    switch (opc) {
611139c1837SPaolo Bonzini    case OPC_SB:
612139c1837SPaolo Bonzini    case OPC_SH:
613139c1837SPaolo Bonzini    case OPC_SW:
614139c1837SPaolo Bonzini    case OPC_SD:
615139c1837SPaolo Bonzini        tcg_out_opc_store(s, opc, addr, data, imm12);
616139c1837SPaolo Bonzini        break;
617139c1837SPaolo Bonzini    case OPC_LB:
618139c1837SPaolo Bonzini    case OPC_LBU:
619139c1837SPaolo Bonzini    case OPC_LH:
620139c1837SPaolo Bonzini    case OPC_LHU:
621139c1837SPaolo Bonzini    case OPC_LW:
622139c1837SPaolo Bonzini    case OPC_LWU:
623139c1837SPaolo Bonzini    case OPC_LD:
624139c1837SPaolo Bonzini        tcg_out_opc_imm(s, opc, data, addr, imm12);
625139c1837SPaolo Bonzini        break;
626139c1837SPaolo Bonzini    default:
627139c1837SPaolo Bonzini        g_assert_not_reached();
628139c1837SPaolo Bonzini    }
629139c1837SPaolo Bonzini}
630139c1837SPaolo Bonzini
631139c1837SPaolo Bonzinistatic void tcg_out_ld(TCGContext *s, TCGType type, TCGReg arg,
632139c1837SPaolo Bonzini                       TCGReg arg1, intptr_t arg2)
633139c1837SPaolo Bonzini{
634aeb6326eSRichard Henderson    RISCVInsn insn = type == TCG_TYPE_I32 ? OPC_LW : OPC_LD;
635aeb6326eSRichard Henderson    tcg_out_ldst(s, insn, arg, arg1, arg2);
636139c1837SPaolo Bonzini}
637139c1837SPaolo Bonzini
638139c1837SPaolo Bonzinistatic void tcg_out_st(TCGContext *s, TCGType type, TCGReg arg,
639139c1837SPaolo Bonzini                       TCGReg arg1, intptr_t arg2)
640139c1837SPaolo Bonzini{
641aeb6326eSRichard Henderson    RISCVInsn insn = type == TCG_TYPE_I32 ? OPC_SW : OPC_SD;
642aeb6326eSRichard Henderson    tcg_out_ldst(s, insn, arg, arg1, arg2);
643139c1837SPaolo Bonzini}
644139c1837SPaolo Bonzini
645139c1837SPaolo Bonzinistatic bool tcg_out_sti(TCGContext *s, TCGType type, TCGArg val,
646139c1837SPaolo Bonzini                        TCGReg base, intptr_t ofs)
647139c1837SPaolo Bonzini{
648139c1837SPaolo Bonzini    if (val == 0) {
649139c1837SPaolo Bonzini        tcg_out_st(s, type, TCG_REG_ZERO, base, ofs);
650139c1837SPaolo Bonzini        return true;
651139c1837SPaolo Bonzini    }
652139c1837SPaolo Bonzini    return false;
653139c1837SPaolo Bonzini}
654139c1837SPaolo Bonzini
655139c1837SPaolo Bonzinistatic void tcg_out_addsub2(TCGContext *s,
656139c1837SPaolo Bonzini                            TCGReg rl, TCGReg rh,
657139c1837SPaolo Bonzini                            TCGReg al, TCGReg ah,
658139c1837SPaolo Bonzini                            TCGArg bl, TCGArg bh,
659139c1837SPaolo Bonzini                            bool cbl, bool cbh, bool is_sub, bool is32bit)
660139c1837SPaolo Bonzini{
661139c1837SPaolo Bonzini    const RISCVInsn opc_add = is32bit ? OPC_ADDW : OPC_ADD;
662139c1837SPaolo Bonzini    const RISCVInsn opc_addi = is32bit ? OPC_ADDIW : OPC_ADDI;
663139c1837SPaolo Bonzini    const RISCVInsn opc_sub = is32bit ? OPC_SUBW : OPC_SUB;
664139c1837SPaolo Bonzini    TCGReg th = TCG_REG_TMP1;
665139c1837SPaolo Bonzini
666139c1837SPaolo Bonzini    /* If we have a negative constant such that negating it would
667139c1837SPaolo Bonzini       make the high part zero, we can (usually) eliminate one insn.  */
668139c1837SPaolo Bonzini    if (cbl && cbh && bh == -1 && bl != 0) {
669139c1837SPaolo Bonzini        bl = -bl;
670139c1837SPaolo Bonzini        bh = 0;
671139c1837SPaolo Bonzini        is_sub = !is_sub;
672139c1837SPaolo Bonzini    }
673139c1837SPaolo Bonzini
674139c1837SPaolo Bonzini    /* By operating on the high part first, we get to use the final
675139c1837SPaolo Bonzini       carry operation to move back from the temporary.  */
676139c1837SPaolo Bonzini    if (!cbh) {
677139c1837SPaolo Bonzini        tcg_out_opc_reg(s, (is_sub ? opc_sub : opc_add), th, ah, bh);
678139c1837SPaolo Bonzini    } else if (bh != 0 || ah == rl) {
679139c1837SPaolo Bonzini        tcg_out_opc_imm(s, opc_addi, th, ah, (is_sub ? -bh : bh));
680139c1837SPaolo Bonzini    } else {
681139c1837SPaolo Bonzini        th = ah;
682139c1837SPaolo Bonzini    }
683139c1837SPaolo Bonzini
684139c1837SPaolo Bonzini    /* Note that tcg optimization should eliminate the bl == 0 case.  */
685139c1837SPaolo Bonzini    if (is_sub) {
686139c1837SPaolo Bonzini        if (cbl) {
687139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, al, bl);
688139c1837SPaolo Bonzini            tcg_out_opc_imm(s, opc_addi, rl, al, -bl);
689139c1837SPaolo Bonzini        } else {
690139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0, al, bl);
691139c1837SPaolo Bonzini            tcg_out_opc_reg(s, opc_sub, rl, al, bl);
692139c1837SPaolo Bonzini        }
693139c1837SPaolo Bonzini        tcg_out_opc_reg(s, opc_sub, rh, th, TCG_REG_TMP0);
694139c1837SPaolo Bonzini    } else {
695139c1837SPaolo Bonzini        if (cbl) {
696139c1837SPaolo Bonzini            tcg_out_opc_imm(s, opc_addi, rl, al, bl);
697139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, rl, bl);
6989b246685SRichard Henderson        } else if (al == bl) {
6999b246685SRichard Henderson            /*
7009b246685SRichard Henderson             * If the input regs overlap, this is a simple doubling
7019b246685SRichard Henderson             * and carry-out is the input msb.  This special case is
7029b246685SRichard Henderson             * required when the output reg overlaps the input,
7039b246685SRichard Henderson             * but we might as well use it always.
7049b246685SRichard Henderson             */
705139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTI, TCG_REG_TMP0, al, 0);
7069b246685SRichard Henderson            tcg_out_opc_reg(s, opc_add, rl, al, al);
707139c1837SPaolo Bonzini        } else {
708139c1837SPaolo Bonzini            tcg_out_opc_reg(s, opc_add, rl, al, bl);
709139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0,
710139c1837SPaolo Bonzini                            rl, (rl == bl ? al : bl));
711139c1837SPaolo Bonzini        }
712139c1837SPaolo Bonzini        tcg_out_opc_reg(s, opc_add, rh, th, TCG_REG_TMP0);
713139c1837SPaolo Bonzini    }
714139c1837SPaolo Bonzini}
715139c1837SPaolo Bonzini
716139c1837SPaolo Bonzinistatic const struct {
717139c1837SPaolo Bonzini    RISCVInsn op;
718139c1837SPaolo Bonzini    bool swap;
719139c1837SPaolo Bonzini} tcg_brcond_to_riscv[] = {
720139c1837SPaolo Bonzini    [TCG_COND_EQ] =  { OPC_BEQ,  false },
721139c1837SPaolo Bonzini    [TCG_COND_NE] =  { OPC_BNE,  false },
722139c1837SPaolo Bonzini    [TCG_COND_LT] =  { OPC_BLT,  false },
723139c1837SPaolo Bonzini    [TCG_COND_GE] =  { OPC_BGE,  false },
724139c1837SPaolo Bonzini    [TCG_COND_LE] =  { OPC_BGE,  true  },
725139c1837SPaolo Bonzini    [TCG_COND_GT] =  { OPC_BLT,  true  },
726139c1837SPaolo Bonzini    [TCG_COND_LTU] = { OPC_BLTU, false },
727139c1837SPaolo Bonzini    [TCG_COND_GEU] = { OPC_BGEU, false },
728139c1837SPaolo Bonzini    [TCG_COND_LEU] = { OPC_BGEU, true  },
729139c1837SPaolo Bonzini    [TCG_COND_GTU] = { OPC_BLTU, true  }
730139c1837SPaolo Bonzini};
731139c1837SPaolo Bonzini
732139c1837SPaolo Bonzinistatic void tcg_out_brcond(TCGContext *s, TCGCond cond, TCGReg arg1,
733139c1837SPaolo Bonzini                           TCGReg arg2, TCGLabel *l)
734139c1837SPaolo Bonzini{
735139c1837SPaolo Bonzini    RISCVInsn op = tcg_brcond_to_riscv[cond].op;
736139c1837SPaolo Bonzini
737139c1837SPaolo Bonzini    tcg_debug_assert(op != 0);
738139c1837SPaolo Bonzini
739139c1837SPaolo Bonzini    if (tcg_brcond_to_riscv[cond].swap) {
740139c1837SPaolo Bonzini        TCGReg t = arg1;
741139c1837SPaolo Bonzini        arg1 = arg2;
742139c1837SPaolo Bonzini        arg2 = t;
743139c1837SPaolo Bonzini    }
744139c1837SPaolo Bonzini
745139c1837SPaolo Bonzini    tcg_out_reloc(s, s->code_ptr, R_RISCV_BRANCH, l, 0);
746139c1837SPaolo Bonzini    tcg_out_opc_branch(s, op, arg1, arg2, 0);
747139c1837SPaolo Bonzini}
748139c1837SPaolo Bonzini
749139c1837SPaolo Bonzinistatic void tcg_out_setcond(TCGContext *s, TCGCond cond, TCGReg ret,
750139c1837SPaolo Bonzini                            TCGReg arg1, TCGReg arg2)
751139c1837SPaolo Bonzini{
752139c1837SPaolo Bonzini    switch (cond) {
753139c1837SPaolo Bonzini    case TCG_COND_EQ:
754139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, ret, arg1, arg2);
755139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SLTIU, ret, ret, 1);
756139c1837SPaolo Bonzini        break;
757139c1837SPaolo Bonzini    case TCG_COND_NE:
758139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, ret, arg1, arg2);
759139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, TCG_REG_ZERO, ret);
760139c1837SPaolo Bonzini        break;
761139c1837SPaolo Bonzini    case TCG_COND_LT:
762139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2);
763139c1837SPaolo Bonzini        break;
764139c1837SPaolo Bonzini    case TCG_COND_GE:
765139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2);
766139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
767139c1837SPaolo Bonzini        break;
768139c1837SPaolo Bonzini    case TCG_COND_LE:
769139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg2, arg1);
770139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
771139c1837SPaolo Bonzini        break;
772139c1837SPaolo Bonzini    case TCG_COND_GT:
773139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg2, arg1);
774139c1837SPaolo Bonzini        break;
775139c1837SPaolo Bonzini    case TCG_COND_LTU:
776139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2);
777139c1837SPaolo Bonzini        break;
778139c1837SPaolo Bonzini    case TCG_COND_GEU:
779139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2);
780139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
781139c1837SPaolo Bonzini        break;
782139c1837SPaolo Bonzini    case TCG_COND_LEU:
783139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg2, arg1);
784139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
785139c1837SPaolo Bonzini        break;
786139c1837SPaolo Bonzini    case TCG_COND_GTU:
787139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg2, arg1);
788139c1837SPaolo Bonzini        break;
789139c1837SPaolo Bonzini    default:
790139c1837SPaolo Bonzini         g_assert_not_reached();
791139c1837SPaolo Bonzini         break;
792139c1837SPaolo Bonzini     }
793139c1837SPaolo Bonzini}
794139c1837SPaolo Bonzini
7952be7d76bSRichard Hendersonstatic void tcg_out_call_int(TCGContext *s, const tcg_insn_unit *arg, bool tail)
796139c1837SPaolo Bonzini{
797139c1837SPaolo Bonzini    TCGReg link = tail ? TCG_REG_ZERO : TCG_REG_RA;
798139c1837SPaolo Bonzini    ptrdiff_t offset = tcg_pcrel_diff(s, arg);
799139c1837SPaolo Bonzini    int ret;
800139c1837SPaolo Bonzini
801844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
802844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
803139c1837SPaolo Bonzini        /* short jump: -2097150 to 2097152 */
804139c1837SPaolo Bonzini        tcg_out_opc_jump(s, OPC_JAL, link, offset);
805aeb6326eSRichard Henderson    } else if (offset == (int32_t)offset) {
806139c1837SPaolo Bonzini        /* long jump: -2147483646 to 2147483648 */
807139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP0, 0);
808139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, 0);
809844d0442SRichard Henderson        ret = reloc_call(s->code_ptr - 2, arg);
810139c1837SPaolo Bonzini        tcg_debug_assert(ret == true);
811aeb6326eSRichard Henderson    } else {
812139c1837SPaolo Bonzini        /* far jump: 64-bit */
813139c1837SPaolo Bonzini        tcg_target_long imm = sextreg((tcg_target_long)arg, 0, 12);
814139c1837SPaolo Bonzini        tcg_target_long base = (tcg_target_long)arg - imm;
815139c1837SPaolo Bonzini        tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP0, base);
816139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, imm);
817139c1837SPaolo Bonzini    }
818139c1837SPaolo Bonzini}
819139c1837SPaolo Bonzini
820cee44b03SRichard Hendersonstatic void tcg_out_call(TCGContext *s, const tcg_insn_unit *arg,
821cee44b03SRichard Henderson                         const TCGHelperInfo *info)
822139c1837SPaolo Bonzini{
823139c1837SPaolo Bonzini    tcg_out_call_int(s, arg, false);
824139c1837SPaolo Bonzini}
825139c1837SPaolo Bonzini
826139c1837SPaolo Bonzinistatic void tcg_out_mb(TCGContext *s, TCGArg a0)
827139c1837SPaolo Bonzini{
828139c1837SPaolo Bonzini    tcg_insn_unit insn = OPC_FENCE;
829139c1837SPaolo Bonzini
830139c1837SPaolo Bonzini    if (a0 & TCG_MO_LD_LD) {
831139c1837SPaolo Bonzini        insn |= 0x02200000;
832139c1837SPaolo Bonzini    }
833139c1837SPaolo Bonzini    if (a0 & TCG_MO_ST_LD) {
834139c1837SPaolo Bonzini        insn |= 0x01200000;
835139c1837SPaolo Bonzini    }
836139c1837SPaolo Bonzini    if (a0 & TCG_MO_LD_ST) {
837139c1837SPaolo Bonzini        insn |= 0x02100000;
838139c1837SPaolo Bonzini    }
839139c1837SPaolo Bonzini    if (a0 & TCG_MO_ST_ST) {
840139c1837SPaolo Bonzini        insn |= 0x02200000;
841139c1837SPaolo Bonzini    }
842139c1837SPaolo Bonzini    tcg_out32(s, insn);
843139c1837SPaolo Bonzini}
844139c1837SPaolo Bonzini
845139c1837SPaolo Bonzini/*
846139c1837SPaolo Bonzini * Load/store and TLB
847139c1837SPaolo Bonzini */
848139c1837SPaolo Bonzini
849139c1837SPaolo Bonzini#if defined(CONFIG_SOFTMMU)
850139c1837SPaolo Bonzini/* helper signature: helper_ret_ld_mmu(CPUState *env, target_ulong addr,
8519002ffcbSRichard Henderson *                                     MemOpIdx oi, uintptr_t ra)
852139c1837SPaolo Bonzini */
8534b473e0cSRichard Hendersonstatic void * const qemu_ld_helpers[MO_SSIZE + 1] = {
854139c1837SPaolo Bonzini    [MO_UB] = helper_ret_ldub_mmu,
855139c1837SPaolo Bonzini    [MO_SB] = helper_ret_ldsb_mmu,
856e03b5686SMarc-André Lureau#if HOST_BIG_ENDIAN
857c86bd2dcSRichard Henderson    [MO_UW] = helper_be_lduw_mmu,
858c86bd2dcSRichard Henderson    [MO_SW] = helper_be_ldsw_mmu,
859c86bd2dcSRichard Henderson    [MO_UL] = helper_be_ldul_mmu,
860139c1837SPaolo Bonzini#if TCG_TARGET_REG_BITS == 64
861c86bd2dcSRichard Henderson    [MO_SL] = helper_be_ldsl_mmu,
862139c1837SPaolo Bonzini#endif
863fc313c64SFrédéric Pétrot    [MO_UQ] = helper_be_ldq_mmu,
864c86bd2dcSRichard Henderson#else
865c86bd2dcSRichard Henderson    [MO_UW] = helper_le_lduw_mmu,
866c86bd2dcSRichard Henderson    [MO_SW] = helper_le_ldsw_mmu,
867c86bd2dcSRichard Henderson    [MO_UL] = helper_le_ldul_mmu,
868139c1837SPaolo Bonzini#if TCG_TARGET_REG_BITS == 64
869c86bd2dcSRichard Henderson    [MO_SL] = helper_le_ldsl_mmu,
870139c1837SPaolo Bonzini#endif
871fc313c64SFrédéric Pétrot    [MO_UQ] = helper_le_ldq_mmu,
872c86bd2dcSRichard Henderson#endif
873139c1837SPaolo Bonzini};
874139c1837SPaolo Bonzini
875139c1837SPaolo Bonzini/* helper signature: helper_ret_st_mmu(CPUState *env, target_ulong addr,
8769002ffcbSRichard Henderson *                                     uintxx_t val, MemOpIdx oi,
877139c1837SPaolo Bonzini *                                     uintptr_t ra)
878139c1837SPaolo Bonzini */
8794b473e0cSRichard Hendersonstatic void * const qemu_st_helpers[MO_SIZE + 1] = {
880c86bd2dcSRichard Henderson    [MO_8]   = helper_ret_stb_mmu,
881e03b5686SMarc-André Lureau#if HOST_BIG_ENDIAN
882c86bd2dcSRichard Henderson    [MO_16] = helper_be_stw_mmu,
883c86bd2dcSRichard Henderson    [MO_32] = helper_be_stl_mmu,
884c86bd2dcSRichard Henderson    [MO_64] = helper_be_stq_mmu,
885c86bd2dcSRichard Henderson#else
886c86bd2dcSRichard Henderson    [MO_16] = helper_le_stw_mmu,
887c86bd2dcSRichard Henderson    [MO_32] = helper_le_stl_mmu,
888c86bd2dcSRichard Henderson    [MO_64] = helper_le_stq_mmu,
889c86bd2dcSRichard Henderson#endif
890139c1837SPaolo Bonzini};
891139c1837SPaolo Bonzini
892793f7381SRichard Hendersonstatic void tcg_out_goto(TCGContext *s, const tcg_insn_unit *target)
893844d0442SRichard Henderson{
894844d0442SRichard Henderson    tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
895844d0442SRichard Henderson    bool ok = reloc_jimm20(s->code_ptr - 1, target);
896844d0442SRichard Henderson    tcg_debug_assert(ok);
897844d0442SRichard Henderson}
898844d0442SRichard Henderson
89961b6daafSRichard Henderson/* We have three temps, we might as well expose them. */
90061b6daafSRichard Hendersonstatic const TCGLdstHelperParam ldst_helper_param = {
90161b6daafSRichard Henderson    .ntmp = 3, .tmp = { TCG_REG_TMP0, TCG_REG_TMP1, TCG_REG_TMP2 }
90261b6daafSRichard Henderson};
90361b6daafSRichard Henderson
904139c1837SPaolo Bonzinistatic bool tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
905139c1837SPaolo Bonzini{
90661b6daafSRichard Henderson    MemOp opc = get_memop(l->oi);
907139c1837SPaolo Bonzini
908139c1837SPaolo Bonzini    /* resolve label address */
909793f7381SRichard Henderson    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
910139c1837SPaolo Bonzini        return false;
911139c1837SPaolo Bonzini    }
912139c1837SPaolo Bonzini
913139c1837SPaolo Bonzini    /* call load helper */
91461b6daafSRichard Henderson    tcg_out_ld_helper_args(s, l, &ldst_helper_param);
915cee44b03SRichard Henderson    tcg_out_call_int(s, qemu_ld_helpers[opc & MO_SSIZE], false);
91661b6daafSRichard Henderson    tcg_out_ld_helper_ret(s, l, true, &ldst_helper_param);
917139c1837SPaolo Bonzini
918139c1837SPaolo Bonzini    tcg_out_goto(s, l->raddr);
919139c1837SPaolo Bonzini    return true;
920139c1837SPaolo Bonzini}
921139c1837SPaolo Bonzini
922139c1837SPaolo Bonzinistatic bool tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
923139c1837SPaolo Bonzini{
92461b6daafSRichard Henderson    MemOp opc = get_memop(l->oi);
925139c1837SPaolo Bonzini
926139c1837SPaolo Bonzini    /* resolve label address */
927793f7381SRichard Henderson    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
928139c1837SPaolo Bonzini        return false;
929139c1837SPaolo Bonzini    }
930139c1837SPaolo Bonzini
931139c1837SPaolo Bonzini    /* call store helper */
93261b6daafSRichard Henderson    tcg_out_st_helper_args(s, l, &ldst_helper_param);
933cee44b03SRichard Henderson    tcg_out_call_int(s, qemu_st_helpers[opc & MO_SIZE], false);
934139c1837SPaolo Bonzini
935139c1837SPaolo Bonzini    tcg_out_goto(s, l->raddr);
936139c1837SPaolo Bonzini    return true;
937139c1837SPaolo Bonzini}
938a3fb7c99SRichard Henderson#else
939a3fb7c99SRichard Hendersonstatic bool tcg_out_fail_alignment(TCGContext *s, TCGLabelQemuLdst *l)
940a3fb7c99SRichard Henderson{
941a3fb7c99SRichard Henderson    /* resolve label address */
942a3fb7c99SRichard Henderson    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
943a3fb7c99SRichard Henderson        return false;
944a3fb7c99SRichard Henderson    }
945a3fb7c99SRichard Henderson
946a3fb7c99SRichard Henderson    tcg_out_mov(s, TCG_TYPE_TL, TCG_REG_A1, l->addrlo_reg);
947a3fb7c99SRichard Henderson    tcg_out_mov(s, TCG_TYPE_PTR, TCG_REG_A0, TCG_AREG0);
948a3fb7c99SRichard Henderson
949a3fb7c99SRichard Henderson    /* tail call, with the return address back inline. */
950a3fb7c99SRichard Henderson    tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_RA, (uintptr_t)l->raddr);
951a3fb7c99SRichard Henderson    tcg_out_call_int(s, (const void *)(l->is_ld ? helper_unaligned_ld
952a3fb7c99SRichard Henderson                                       : helper_unaligned_st), true);
953a3fb7c99SRichard Henderson    return true;
954a3fb7c99SRichard Henderson}
955a3fb7c99SRichard Henderson
956a3fb7c99SRichard Hendersonstatic bool tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
957a3fb7c99SRichard Henderson{
958a3fb7c99SRichard Henderson    return tcg_out_fail_alignment(s, l);
959a3fb7c99SRichard Henderson}
960a3fb7c99SRichard Henderson
961a3fb7c99SRichard Hendersonstatic bool tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
962a3fb7c99SRichard Henderson{
963a3fb7c99SRichard Henderson    return tcg_out_fail_alignment(s, l);
964a3fb7c99SRichard Henderson}
965139c1837SPaolo Bonzini#endif /* CONFIG_SOFTMMU */
966139c1837SPaolo Bonzini
967001dddfeSRichard Henderson/*
968001dddfeSRichard Henderson * For softmmu, perform the TLB load and compare.
969001dddfeSRichard Henderson * For useronly, perform any required alignment tests.
970001dddfeSRichard Henderson * In both cases, return a TCGLabelQemuLdst structure if the slow path
971001dddfeSRichard Henderson * is required and fill in @h with the host address for the fast path.
972001dddfeSRichard Henderson */
973001dddfeSRichard Hendersonstatic TCGLabelQemuLdst *prepare_host_addr(TCGContext *s, TCGReg *pbase,
974001dddfeSRichard Henderson                                           TCGReg addr_reg, MemOpIdx oi,
975001dddfeSRichard Henderson                                           bool is_ld)
976001dddfeSRichard Henderson{
977001dddfeSRichard Henderson    TCGLabelQemuLdst *ldst = NULL;
978001dddfeSRichard Henderson    MemOp opc = get_memop(oi);
979001dddfeSRichard Henderson    unsigned a_bits = get_alignment_bits(opc);
980001dddfeSRichard Henderson    unsigned a_mask = (1u << a_bits) - 1;
981001dddfeSRichard Henderson
982001dddfeSRichard Henderson#ifdef CONFIG_SOFTMMU
983001dddfeSRichard Henderson    unsigned s_bits = opc & MO_SIZE;
984001dddfeSRichard Henderson    int mem_index = get_mmuidx(oi);
985001dddfeSRichard Henderson    int fast_ofs = TLB_MASK_TABLE_OFS(mem_index);
986001dddfeSRichard Henderson    int mask_ofs = fast_ofs + offsetof(CPUTLBDescFast, mask);
987001dddfeSRichard Henderson    int table_ofs = fast_ofs + offsetof(CPUTLBDescFast, table);
988001dddfeSRichard Henderson    TCGReg mask_base = TCG_AREG0, table_base = TCG_AREG0;
989001dddfeSRichard Henderson    tcg_target_long compare_mask;
990001dddfeSRichard Henderson
991001dddfeSRichard Henderson    ldst = new_ldst_label(s);
992001dddfeSRichard Henderson    ldst->is_ld = is_ld;
993001dddfeSRichard Henderson    ldst->oi = oi;
994001dddfeSRichard Henderson    ldst->addrlo_reg = addr_reg;
995001dddfeSRichard Henderson
996001dddfeSRichard Henderson    QEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) > 0);
997001dddfeSRichard Henderson    QEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) < -(1 << 11));
998001dddfeSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, mask_base, mask_ofs);
999001dddfeSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP1, table_base, table_ofs);
1000001dddfeSRichard Henderson
1001001dddfeSRichard Henderson    tcg_out_opc_imm(s, OPC_SRLI, TCG_REG_TMP2, addr_reg,
1002001dddfeSRichard Henderson                    TARGET_PAGE_BITS - CPU_TLB_ENTRY_BITS);
1003001dddfeSRichard Henderson    tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP0);
1004001dddfeSRichard Henderson    tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP1);
1005001dddfeSRichard Henderson
1006001dddfeSRichard Henderson    /* Load the tlb comparator and the addend.  */
1007001dddfeSRichard Henderson    tcg_out_ld(s, TCG_TYPE_TL, TCG_REG_TMP0, TCG_REG_TMP2,
1008001dddfeSRichard Henderson               is_ld ? offsetof(CPUTLBEntry, addr_read)
1009001dddfeSRichard Henderson                     : offsetof(CPUTLBEntry, addr_write));
1010001dddfeSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP2, TCG_REG_TMP2,
1011001dddfeSRichard Henderson               offsetof(CPUTLBEntry, addend));
1012001dddfeSRichard Henderson
1013001dddfeSRichard Henderson    /* We don't support unaligned accesses. */
1014001dddfeSRichard Henderson    if (a_bits < s_bits) {
1015001dddfeSRichard Henderson        a_bits = s_bits;
1016001dddfeSRichard Henderson    }
1017001dddfeSRichard Henderson    /* Clear the non-page, non-alignment bits from the address.  */
1018001dddfeSRichard Henderson    compare_mask = (tcg_target_long)TARGET_PAGE_MASK | a_mask;
1019001dddfeSRichard Henderson    if (compare_mask == sextreg(compare_mask, 0, 12)) {
1020001dddfeSRichard Henderson        tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr_reg, compare_mask);
1021001dddfeSRichard Henderson    } else {
1022001dddfeSRichard Henderson        tcg_out_movi(s, TCG_TYPE_TL, TCG_REG_TMP1, compare_mask);
1023001dddfeSRichard Henderson        tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP1, TCG_REG_TMP1, addr_reg);
1024001dddfeSRichard Henderson    }
1025001dddfeSRichard Henderson
1026001dddfeSRichard Henderson    /* Compare masked address with the TLB entry. */
1027001dddfeSRichard Henderson    ldst->label_ptr[0] = s->code_ptr;
1028001dddfeSRichard Henderson    tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP0, TCG_REG_TMP1, 0);
1029001dddfeSRichard Henderson
1030001dddfeSRichard Henderson    /* TLB Hit - translate address using addend.  */
1031001dddfeSRichard Henderson    if (TARGET_LONG_BITS == 32) {
1032001dddfeSRichard Henderson        tcg_out_ext32u(s, TCG_REG_TMP0, addr_reg);
1033001dddfeSRichard Henderson        addr_reg = TCG_REG_TMP0;
1034001dddfeSRichard Henderson    }
1035001dddfeSRichard Henderson    tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, TCG_REG_TMP2, addr_reg);
1036001dddfeSRichard Henderson    *pbase = TCG_REG_TMP0;
1037001dddfeSRichard Henderson#else
1038001dddfeSRichard Henderson    if (a_mask) {
1039001dddfeSRichard Henderson        ldst = new_ldst_label(s);
1040001dddfeSRichard Henderson        ldst->is_ld = is_ld;
1041001dddfeSRichard Henderson        ldst->oi = oi;
1042001dddfeSRichard Henderson        ldst->addrlo_reg = addr_reg;
1043001dddfeSRichard Henderson
1044001dddfeSRichard Henderson        /* We are expecting a_bits max 7, so we can always use andi. */
1045001dddfeSRichard Henderson        tcg_debug_assert(a_bits < 12);
1046001dddfeSRichard Henderson        tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr_reg, a_mask);
1047001dddfeSRichard Henderson
1048001dddfeSRichard Henderson        ldst->label_ptr[0] = s->code_ptr;
1049001dddfeSRichard Henderson        tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP1, TCG_REG_ZERO, 0);
1050001dddfeSRichard Henderson    }
1051001dddfeSRichard Henderson
1052001dddfeSRichard Henderson    TCGReg base = addr_reg;
1053001dddfeSRichard Henderson    if (TARGET_LONG_BITS == 32) {
1054001dddfeSRichard Henderson        tcg_out_ext32u(s, TCG_REG_TMP0, base);
1055001dddfeSRichard Henderson        base = TCG_REG_TMP0;
1056001dddfeSRichard Henderson    }
1057001dddfeSRichard Henderson    if (guest_base != 0) {
1058001dddfeSRichard Henderson        tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, TCG_GUEST_BASE_REG, base);
1059001dddfeSRichard Henderson        base = TCG_REG_TMP0;
1060001dddfeSRichard Henderson    }
1061001dddfeSRichard Henderson    *pbase = base;
1062001dddfeSRichard Henderson#endif
1063001dddfeSRichard Henderson
1064001dddfeSRichard Henderson    return ldst;
1065001dddfeSRichard Henderson}
1066001dddfeSRichard Henderson
1067aeb6326eSRichard Hendersonstatic void tcg_out_qemu_ld_direct(TCGContext *s, TCGReg val,
1068f7041977SRichard Henderson                                   TCGReg base, MemOp opc, TCGType type)
1069139c1837SPaolo Bonzini{
1070c86bd2dcSRichard Henderson    /* Byte swapping is left to middle-end expansion. */
1071c86bd2dcSRichard Henderson    tcg_debug_assert((opc & MO_BSWAP) == 0);
1072139c1837SPaolo Bonzini
1073139c1837SPaolo Bonzini    switch (opc & (MO_SSIZE)) {
1074139c1837SPaolo Bonzini    case MO_UB:
1075aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LBU, val, base, 0);
1076139c1837SPaolo Bonzini        break;
1077139c1837SPaolo Bonzini    case MO_SB:
1078aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LB, val, base, 0);
1079139c1837SPaolo Bonzini        break;
1080139c1837SPaolo Bonzini    case MO_UW:
1081aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LHU, val, base, 0);
1082139c1837SPaolo Bonzini        break;
1083139c1837SPaolo Bonzini    case MO_SW:
1084aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LH, val, base, 0);
1085139c1837SPaolo Bonzini        break;
1086139c1837SPaolo Bonzini    case MO_UL:
1087f7041977SRichard Henderson        if (type == TCG_TYPE_I64) {
1088aeb6326eSRichard Henderson            tcg_out_opc_imm(s, OPC_LWU, val, base, 0);
1089139c1837SPaolo Bonzini            break;
1090139c1837SPaolo Bonzini        }
1091139c1837SPaolo Bonzini        /* FALLTHRU */
1092139c1837SPaolo Bonzini    case MO_SL:
1093aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LW, val, base, 0);
1094139c1837SPaolo Bonzini        break;
1095fc313c64SFrédéric Pétrot    case MO_UQ:
1096aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LD, val, base, 0);
1097139c1837SPaolo Bonzini        break;
1098139c1837SPaolo Bonzini    default:
1099139c1837SPaolo Bonzini        g_assert_not_reached();
1100139c1837SPaolo Bonzini    }
1101139c1837SPaolo Bonzini}
1102139c1837SPaolo Bonzini
1103f7041977SRichard Hendersonstatic void tcg_out_qemu_ld(TCGContext *s, TCGReg data_reg, TCGReg addr_reg,
1104f7041977SRichard Henderson                            MemOpIdx oi, TCGType data_type)
1105139c1837SPaolo Bonzini{
1106001dddfeSRichard Henderson    TCGLabelQemuLdst *ldst;
11072e3a933aSRichard Henderson    TCGReg base;
1108139c1837SPaolo Bonzini
1109001dddfeSRichard Henderson    ldst = prepare_host_addr(s, &base, addr_reg, oi, true);
1110001dddfeSRichard Henderson    tcg_out_qemu_ld_direct(s, data_reg, base, get_memop(oi), data_type);
1111f7041977SRichard Henderson
1112001dddfeSRichard Henderson    if (ldst) {
1113001dddfeSRichard Henderson        ldst->type = data_type;
1114001dddfeSRichard Henderson        ldst->datalo_reg = data_reg;
1115001dddfeSRichard Henderson        ldst->raddr = tcg_splitwx_to_rx(s->code_ptr);
1116a3fb7c99SRichard Henderson    }
1117139c1837SPaolo Bonzini}
1118139c1837SPaolo Bonzini
1119aeb6326eSRichard Hendersonstatic void tcg_out_qemu_st_direct(TCGContext *s, TCGReg val,
1120139c1837SPaolo Bonzini                                   TCGReg base, MemOp opc)
1121139c1837SPaolo Bonzini{
1122c86bd2dcSRichard Henderson    /* Byte swapping is left to middle-end expansion. */
1123c86bd2dcSRichard Henderson    tcg_debug_assert((opc & MO_BSWAP) == 0);
1124139c1837SPaolo Bonzini
1125139c1837SPaolo Bonzini    switch (opc & (MO_SSIZE)) {
1126139c1837SPaolo Bonzini    case MO_8:
1127aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SB, base, val, 0);
1128139c1837SPaolo Bonzini        break;
1129139c1837SPaolo Bonzini    case MO_16:
1130aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SH, base, val, 0);
1131139c1837SPaolo Bonzini        break;
1132139c1837SPaolo Bonzini    case MO_32:
1133aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SW, base, val, 0);
1134139c1837SPaolo Bonzini        break;
1135139c1837SPaolo Bonzini    case MO_64:
1136aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SD, base, val, 0);
1137139c1837SPaolo Bonzini        break;
1138139c1837SPaolo Bonzini    default:
1139139c1837SPaolo Bonzini        g_assert_not_reached();
1140139c1837SPaolo Bonzini    }
1141139c1837SPaolo Bonzini}
1142139c1837SPaolo Bonzini
1143f7041977SRichard Hendersonstatic void tcg_out_qemu_st(TCGContext *s, TCGReg data_reg, TCGReg addr_reg,
1144f7041977SRichard Henderson                            MemOpIdx oi, TCGType data_type)
1145139c1837SPaolo Bonzini{
1146001dddfeSRichard Henderson    TCGLabelQemuLdst *ldst;
11472e3a933aSRichard Henderson    TCGReg base;
1148139c1837SPaolo Bonzini
1149001dddfeSRichard Henderson    ldst = prepare_host_addr(s, &base, addr_reg, oi, false);
1150001dddfeSRichard Henderson    tcg_out_qemu_st_direct(s, data_reg, base, get_memop(oi));
1151f7041977SRichard Henderson
1152001dddfeSRichard Henderson    if (ldst) {
1153001dddfeSRichard Henderson        ldst->type = data_type;
1154001dddfeSRichard Henderson        ldst->datalo_reg = data_reg;
1155001dddfeSRichard Henderson        ldst->raddr = tcg_splitwx_to_rx(s->code_ptr);
1156a3fb7c99SRichard Henderson    }
1157139c1837SPaolo Bonzini}
1158139c1837SPaolo Bonzini
1159793f7381SRichard Hendersonstatic const tcg_insn_unit *tb_ret_addr;
1160139c1837SPaolo Bonzini
1161b55a8d9dSRichard Hendersonstatic void tcg_out_exit_tb(TCGContext *s, uintptr_t a0)
1162b55a8d9dSRichard Henderson{
1163b55a8d9dSRichard Henderson    /* Reuse the zeroing that exists for goto_ptr.  */
1164b55a8d9dSRichard Henderson    if (a0 == 0) {
1165b55a8d9dSRichard Henderson        tcg_out_call_int(s, tcg_code_gen_epilogue, true);
1166b55a8d9dSRichard Henderson    } else {
1167b55a8d9dSRichard Henderson        tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_A0, a0);
1168b55a8d9dSRichard Henderson        tcg_out_call_int(s, tb_ret_addr, true);
1169b55a8d9dSRichard Henderson    }
1170b55a8d9dSRichard Henderson}
1171b55a8d9dSRichard Henderson
1172cf7d6b8eSRichard Hendersonstatic void tcg_out_goto_tb(TCGContext *s, int which)
1173cf7d6b8eSRichard Henderson{
1174493c9b19SRichard Henderson    /* Direct branch will be patched by tb_target_set_jmp_target. */
1175493c9b19SRichard Henderson    set_jmp_insn_offset(s, which);
1176493c9b19SRichard Henderson    tcg_out32(s, OPC_JAL);
1177493c9b19SRichard Henderson
1178493c9b19SRichard Henderson    /* When branch is out of range, fall through to indirect. */
1179cf7d6b8eSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_REG_ZERO,
1180cf7d6b8eSRichard Henderson               get_jmp_target_addr(s, which));
1181cf7d6b8eSRichard Henderson    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_TMP0, 0);
1182cf7d6b8eSRichard Henderson    set_jmp_reset_offset(s, which);
1183cf7d6b8eSRichard Henderson}
1184cf7d6b8eSRichard Henderson
118590c0fee3SRichard Hendersonvoid tb_target_set_jmp_target(const TranslationBlock *tb, int n,
118690c0fee3SRichard Henderson                              uintptr_t jmp_rx, uintptr_t jmp_rw)
118790c0fee3SRichard Henderson{
1188493c9b19SRichard Henderson    uintptr_t addr = tb->jmp_target_addr[n];
1189493c9b19SRichard Henderson    ptrdiff_t offset = addr - jmp_rx;
1190493c9b19SRichard Henderson    tcg_insn_unit insn;
1191493c9b19SRichard Henderson
1192493c9b19SRichard Henderson    /* Either directly branch, or fall through to indirect branch. */
1193493c9b19SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
1194493c9b19SRichard Henderson        insn = encode_uj(OPC_JAL, TCG_REG_ZERO, offset);
1195493c9b19SRichard Henderson    } else {
1196493c9b19SRichard Henderson        insn = OPC_NOP;
1197493c9b19SRichard Henderson    }
1198493c9b19SRichard Henderson    qatomic_set((uint32_t *)jmp_rw, insn);
1199493c9b19SRichard Henderson    flush_idcache_range(jmp_rx, jmp_rw, 4);
120090c0fee3SRichard Henderson}
120190c0fee3SRichard Henderson
1202139c1837SPaolo Bonzinistatic void tcg_out_op(TCGContext *s, TCGOpcode opc,
12035e8892dbSMiroslav Rezanina                       const TCGArg args[TCG_MAX_OP_ARGS],
12045e8892dbSMiroslav Rezanina                       const int const_args[TCG_MAX_OP_ARGS])
1205139c1837SPaolo Bonzini{
1206139c1837SPaolo Bonzini    TCGArg a0 = args[0];
1207139c1837SPaolo Bonzini    TCGArg a1 = args[1];
1208139c1837SPaolo Bonzini    TCGArg a2 = args[2];
1209139c1837SPaolo Bonzini    int c2 = const_args[2];
1210139c1837SPaolo Bonzini
1211139c1837SPaolo Bonzini    switch (opc) {
1212139c1837SPaolo Bonzini    case INDEX_op_goto_ptr:
1213139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, a0, 0);
1214139c1837SPaolo Bonzini        break;
1215139c1837SPaolo Bonzini
1216139c1837SPaolo Bonzini    case INDEX_op_br:
1217139c1837SPaolo Bonzini        tcg_out_reloc(s, s->code_ptr, R_RISCV_JAL, arg_label(a0), 0);
1218139c1837SPaolo Bonzini        tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
1219139c1837SPaolo Bonzini        break;
1220139c1837SPaolo Bonzini
1221139c1837SPaolo Bonzini    case INDEX_op_ld8u_i32:
1222139c1837SPaolo Bonzini    case INDEX_op_ld8u_i64:
1223139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LBU, a0, a1, a2);
1224139c1837SPaolo Bonzini        break;
1225139c1837SPaolo Bonzini    case INDEX_op_ld8s_i32:
1226139c1837SPaolo Bonzini    case INDEX_op_ld8s_i64:
1227139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LB, a0, a1, a2);
1228139c1837SPaolo Bonzini        break;
1229139c1837SPaolo Bonzini    case INDEX_op_ld16u_i32:
1230139c1837SPaolo Bonzini    case INDEX_op_ld16u_i64:
1231139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LHU, a0, a1, a2);
1232139c1837SPaolo Bonzini        break;
1233139c1837SPaolo Bonzini    case INDEX_op_ld16s_i32:
1234139c1837SPaolo Bonzini    case INDEX_op_ld16s_i64:
1235139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LH, a0, a1, a2);
1236139c1837SPaolo Bonzini        break;
1237139c1837SPaolo Bonzini    case INDEX_op_ld32u_i64:
1238139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LWU, a0, a1, a2);
1239139c1837SPaolo Bonzini        break;
1240139c1837SPaolo Bonzini    case INDEX_op_ld_i32:
1241139c1837SPaolo Bonzini    case INDEX_op_ld32s_i64:
1242139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LW, a0, a1, a2);
1243139c1837SPaolo Bonzini        break;
1244139c1837SPaolo Bonzini    case INDEX_op_ld_i64:
1245139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LD, a0, a1, a2);
1246139c1837SPaolo Bonzini        break;
1247139c1837SPaolo Bonzini
1248139c1837SPaolo Bonzini    case INDEX_op_st8_i32:
1249139c1837SPaolo Bonzini    case INDEX_op_st8_i64:
1250139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SB, a0, a1, a2);
1251139c1837SPaolo Bonzini        break;
1252139c1837SPaolo Bonzini    case INDEX_op_st16_i32:
1253139c1837SPaolo Bonzini    case INDEX_op_st16_i64:
1254139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SH, a0, a1, a2);
1255139c1837SPaolo Bonzini        break;
1256139c1837SPaolo Bonzini    case INDEX_op_st_i32:
1257139c1837SPaolo Bonzini    case INDEX_op_st32_i64:
1258139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SW, a0, a1, a2);
1259139c1837SPaolo Bonzini        break;
1260139c1837SPaolo Bonzini    case INDEX_op_st_i64:
1261139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SD, a0, a1, a2);
1262139c1837SPaolo Bonzini        break;
1263139c1837SPaolo Bonzini
1264139c1837SPaolo Bonzini    case INDEX_op_add_i32:
1265139c1837SPaolo Bonzini        if (c2) {
1266139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, a2);
1267139c1837SPaolo Bonzini        } else {
1268139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_ADDW, a0, a1, a2);
1269139c1837SPaolo Bonzini        }
1270139c1837SPaolo Bonzini        break;
1271139c1837SPaolo Bonzini    case INDEX_op_add_i64:
1272139c1837SPaolo Bonzini        if (c2) {
1273139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, a2);
1274139c1837SPaolo Bonzini        } else {
1275139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_ADD, a0, a1, a2);
1276139c1837SPaolo Bonzini        }
1277139c1837SPaolo Bonzini        break;
1278139c1837SPaolo Bonzini
1279139c1837SPaolo Bonzini    case INDEX_op_sub_i32:
1280139c1837SPaolo Bonzini        if (c2) {
1281139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, -a2);
1282139c1837SPaolo Bonzini        } else {
1283139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SUBW, a0, a1, a2);
1284139c1837SPaolo Bonzini        }
1285139c1837SPaolo Bonzini        break;
1286139c1837SPaolo Bonzini    case INDEX_op_sub_i64:
1287139c1837SPaolo Bonzini        if (c2) {
1288139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, -a2);
1289139c1837SPaolo Bonzini        } else {
1290139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SUB, a0, a1, a2);
1291139c1837SPaolo Bonzini        }
1292139c1837SPaolo Bonzini        break;
1293139c1837SPaolo Bonzini
1294139c1837SPaolo Bonzini    case INDEX_op_and_i32:
1295139c1837SPaolo Bonzini    case INDEX_op_and_i64:
1296139c1837SPaolo Bonzini        if (c2) {
1297139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ANDI, a0, a1, a2);
1298139c1837SPaolo Bonzini        } else {
1299139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_AND, a0, a1, a2);
1300139c1837SPaolo Bonzini        }
1301139c1837SPaolo Bonzini        break;
1302139c1837SPaolo Bonzini
1303139c1837SPaolo Bonzini    case INDEX_op_or_i32:
1304139c1837SPaolo Bonzini    case INDEX_op_or_i64:
1305139c1837SPaolo Bonzini        if (c2) {
1306139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ORI, a0, a1, a2);
1307139c1837SPaolo Bonzini        } else {
1308139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_OR, a0, a1, a2);
1309139c1837SPaolo Bonzini        }
1310139c1837SPaolo Bonzini        break;
1311139c1837SPaolo Bonzini
1312139c1837SPaolo Bonzini    case INDEX_op_xor_i32:
1313139c1837SPaolo Bonzini    case INDEX_op_xor_i64:
1314139c1837SPaolo Bonzini        if (c2) {
1315139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_XORI, a0, a1, a2);
1316139c1837SPaolo Bonzini        } else {
1317139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_XOR, a0, a1, a2);
1318139c1837SPaolo Bonzini        }
1319139c1837SPaolo Bonzini        break;
1320139c1837SPaolo Bonzini
1321139c1837SPaolo Bonzini    case INDEX_op_not_i32:
1322139c1837SPaolo Bonzini    case INDEX_op_not_i64:
1323139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, a0, a1, -1);
1324139c1837SPaolo Bonzini        break;
1325139c1837SPaolo Bonzini
1326139c1837SPaolo Bonzini    case INDEX_op_neg_i32:
1327139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUBW, a0, TCG_REG_ZERO, a1);
1328139c1837SPaolo Bonzini        break;
1329139c1837SPaolo Bonzini    case INDEX_op_neg_i64:
1330139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, a0, TCG_REG_ZERO, a1);
1331139c1837SPaolo Bonzini        break;
1332139c1837SPaolo Bonzini
1333139c1837SPaolo Bonzini    case INDEX_op_mul_i32:
1334139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULW, a0, a1, a2);
1335139c1837SPaolo Bonzini        break;
1336139c1837SPaolo Bonzini    case INDEX_op_mul_i64:
1337139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MUL, a0, a1, a2);
1338139c1837SPaolo Bonzini        break;
1339139c1837SPaolo Bonzini
1340139c1837SPaolo Bonzini    case INDEX_op_div_i32:
1341139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVW, a0, a1, a2);
1342139c1837SPaolo Bonzini        break;
1343139c1837SPaolo Bonzini    case INDEX_op_div_i64:
1344139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIV, a0, a1, a2);
1345139c1837SPaolo Bonzini        break;
1346139c1837SPaolo Bonzini
1347139c1837SPaolo Bonzini    case INDEX_op_divu_i32:
1348139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVUW, a0, a1, a2);
1349139c1837SPaolo Bonzini        break;
1350139c1837SPaolo Bonzini    case INDEX_op_divu_i64:
1351139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVU, a0, a1, a2);
1352139c1837SPaolo Bonzini        break;
1353139c1837SPaolo Bonzini
1354139c1837SPaolo Bonzini    case INDEX_op_rem_i32:
1355139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMW, a0, a1, a2);
1356139c1837SPaolo Bonzini        break;
1357139c1837SPaolo Bonzini    case INDEX_op_rem_i64:
1358139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REM, a0, a1, a2);
1359139c1837SPaolo Bonzini        break;
1360139c1837SPaolo Bonzini
1361139c1837SPaolo Bonzini    case INDEX_op_remu_i32:
1362139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMUW, a0, a1, a2);
1363139c1837SPaolo Bonzini        break;
1364139c1837SPaolo Bonzini    case INDEX_op_remu_i64:
1365139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMU, a0, a1, a2);
1366139c1837SPaolo Bonzini        break;
1367139c1837SPaolo Bonzini
1368139c1837SPaolo Bonzini    case INDEX_op_shl_i32:
1369139c1837SPaolo Bonzini        if (c2) {
1370d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SLLIW, a0, a1, a2 & 0x1f);
1371139c1837SPaolo Bonzini        } else {
1372139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLLW, a0, a1, a2);
1373139c1837SPaolo Bonzini        }
1374139c1837SPaolo Bonzini        break;
1375139c1837SPaolo Bonzini    case INDEX_op_shl_i64:
1376139c1837SPaolo Bonzini        if (c2) {
1377d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SLLI, a0, a1, a2 & 0x3f);
1378139c1837SPaolo Bonzini        } else {
1379139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLL, a0, a1, a2);
1380139c1837SPaolo Bonzini        }
1381139c1837SPaolo Bonzini        break;
1382139c1837SPaolo Bonzini
1383139c1837SPaolo Bonzini    case INDEX_op_shr_i32:
1384139c1837SPaolo Bonzini        if (c2) {
1385d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRLIW, a0, a1, a2 & 0x1f);
1386139c1837SPaolo Bonzini        } else {
1387139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRLW, a0, a1, a2);
1388139c1837SPaolo Bonzini        }
1389139c1837SPaolo Bonzini        break;
1390139c1837SPaolo Bonzini    case INDEX_op_shr_i64:
1391139c1837SPaolo Bonzini        if (c2) {
1392d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRLI, a0, a1, a2 & 0x3f);
1393139c1837SPaolo Bonzini        } else {
1394139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRL, a0, a1, a2);
1395139c1837SPaolo Bonzini        }
1396139c1837SPaolo Bonzini        break;
1397139c1837SPaolo Bonzini
1398139c1837SPaolo Bonzini    case INDEX_op_sar_i32:
1399139c1837SPaolo Bonzini        if (c2) {
1400d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRAIW, a0, a1, a2 & 0x1f);
1401139c1837SPaolo Bonzini        } else {
1402139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRAW, a0, a1, a2);
1403139c1837SPaolo Bonzini        }
1404139c1837SPaolo Bonzini        break;
1405139c1837SPaolo Bonzini    case INDEX_op_sar_i64:
1406139c1837SPaolo Bonzini        if (c2) {
1407d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRAI, a0, a1, a2 & 0x3f);
1408139c1837SPaolo Bonzini        } else {
1409139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRA, a0, a1, a2);
1410139c1837SPaolo Bonzini        }
1411139c1837SPaolo Bonzini        break;
1412139c1837SPaolo Bonzini
1413139c1837SPaolo Bonzini    case INDEX_op_add2_i32:
1414139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1415139c1837SPaolo Bonzini                        const_args[4], const_args[5], false, true);
1416139c1837SPaolo Bonzini        break;
1417139c1837SPaolo Bonzini    case INDEX_op_add2_i64:
1418139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1419139c1837SPaolo Bonzini                        const_args[4], const_args[5], false, false);
1420139c1837SPaolo Bonzini        break;
1421139c1837SPaolo Bonzini    case INDEX_op_sub2_i32:
1422139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1423139c1837SPaolo Bonzini                        const_args[4], const_args[5], true, true);
1424139c1837SPaolo Bonzini        break;
1425139c1837SPaolo Bonzini    case INDEX_op_sub2_i64:
1426139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1427139c1837SPaolo Bonzini                        const_args[4], const_args[5], true, false);
1428139c1837SPaolo Bonzini        break;
1429139c1837SPaolo Bonzini
1430139c1837SPaolo Bonzini    case INDEX_op_brcond_i32:
1431139c1837SPaolo Bonzini    case INDEX_op_brcond_i64:
1432139c1837SPaolo Bonzini        tcg_out_brcond(s, a2, a0, a1, arg_label(args[3]));
1433139c1837SPaolo Bonzini        break;
1434139c1837SPaolo Bonzini
1435139c1837SPaolo Bonzini    case INDEX_op_setcond_i32:
1436139c1837SPaolo Bonzini    case INDEX_op_setcond_i64:
1437139c1837SPaolo Bonzini        tcg_out_setcond(s, args[3], a0, a1, a2);
1438139c1837SPaolo Bonzini        break;
1439139c1837SPaolo Bonzini
1440139c1837SPaolo Bonzini    case INDEX_op_qemu_ld_i32:
1441f7041977SRichard Henderson        tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I32);
1442139c1837SPaolo Bonzini        break;
1443139c1837SPaolo Bonzini    case INDEX_op_qemu_ld_i64:
1444f7041977SRichard Henderson        tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I64);
1445139c1837SPaolo Bonzini        break;
1446139c1837SPaolo Bonzini    case INDEX_op_qemu_st_i32:
1447f7041977SRichard Henderson        tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I32);
1448139c1837SPaolo Bonzini        break;
1449139c1837SPaolo Bonzini    case INDEX_op_qemu_st_i64:
1450f7041977SRichard Henderson        tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I64);
1451139c1837SPaolo Bonzini        break;
1452139c1837SPaolo Bonzini
1453139c1837SPaolo Bonzini    case INDEX_op_extrh_i64_i32:
1454139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRAI, a0, a1, 32);
1455139c1837SPaolo Bonzini        break;
1456139c1837SPaolo Bonzini
1457139c1837SPaolo Bonzini    case INDEX_op_mulsh_i32:
1458139c1837SPaolo Bonzini    case INDEX_op_mulsh_i64:
1459139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULH, a0, a1, a2);
1460139c1837SPaolo Bonzini        break;
1461139c1837SPaolo Bonzini
1462139c1837SPaolo Bonzini    case INDEX_op_muluh_i32:
1463139c1837SPaolo Bonzini    case INDEX_op_muluh_i64:
1464139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULHU, a0, a1, a2);
1465139c1837SPaolo Bonzini        break;
1466139c1837SPaolo Bonzini
1467139c1837SPaolo Bonzini    case INDEX_op_mb:
1468139c1837SPaolo Bonzini        tcg_out_mb(s, a0);
1469139c1837SPaolo Bonzini        break;
1470139c1837SPaolo Bonzini
1471139c1837SPaolo Bonzini    case INDEX_op_mov_i32:  /* Always emitted via tcg_out_mov.  */
1472139c1837SPaolo Bonzini    case INDEX_op_mov_i64:
1473139c1837SPaolo Bonzini    case INDEX_op_call:     /* Always emitted via tcg_out_call.  */
1474b55a8d9dSRichard Henderson    case INDEX_op_exit_tb:  /* Always emitted via tcg_out_exit_tb.  */
1475cf7d6b8eSRichard Henderson    case INDEX_op_goto_tb:  /* Always emitted via tcg_out_goto_tb.  */
1476678155b2SRichard Henderson    case INDEX_op_ext8s_i32:  /* Always emitted via tcg_reg_alloc_op.  */
1477678155b2SRichard Henderson    case INDEX_op_ext8s_i64:
1478d0e66c89SRichard Henderson    case INDEX_op_ext8u_i32:
1479d0e66c89SRichard Henderson    case INDEX_op_ext8u_i64:
1480753e42eaSRichard Henderson    case INDEX_op_ext16s_i32:
1481753e42eaSRichard Henderson    case INDEX_op_ext16s_i64:
1482379afdffSRichard Henderson    case INDEX_op_ext16u_i32:
1483379afdffSRichard Henderson    case INDEX_op_ext16u_i64:
148452bf3398SRichard Henderson    case INDEX_op_ext32s_i64:
14859ecf5f61SRichard Henderson    case INDEX_op_ext32u_i64:
14869c6aa274SRichard Henderson    case INDEX_op_ext_i32_i64:
1487b9bfe000SRichard Henderson    case INDEX_op_extu_i32_i64:
1488b8b94ac6SRichard Henderson    case INDEX_op_extrl_i64_i32:
1489139c1837SPaolo Bonzini    default:
1490139c1837SPaolo Bonzini        g_assert_not_reached();
1491139c1837SPaolo Bonzini    }
1492139c1837SPaolo Bonzini}
1493139c1837SPaolo Bonzini
1494665be288SRichard Hendersonstatic TCGConstraintSetIndex tcg_target_op_def(TCGOpcode op)
1495139c1837SPaolo Bonzini{
1496139c1837SPaolo Bonzini    switch (op) {
1497139c1837SPaolo Bonzini    case INDEX_op_goto_ptr:
1498665be288SRichard Henderson        return C_O0_I1(r);
1499139c1837SPaolo Bonzini
1500139c1837SPaolo Bonzini    case INDEX_op_ld8u_i32:
1501139c1837SPaolo Bonzini    case INDEX_op_ld8s_i32:
1502139c1837SPaolo Bonzini    case INDEX_op_ld16u_i32:
1503139c1837SPaolo Bonzini    case INDEX_op_ld16s_i32:
1504139c1837SPaolo Bonzini    case INDEX_op_ld_i32:
1505139c1837SPaolo Bonzini    case INDEX_op_not_i32:
1506139c1837SPaolo Bonzini    case INDEX_op_neg_i32:
1507139c1837SPaolo Bonzini    case INDEX_op_ld8u_i64:
1508139c1837SPaolo Bonzini    case INDEX_op_ld8s_i64:
1509139c1837SPaolo Bonzini    case INDEX_op_ld16u_i64:
1510139c1837SPaolo Bonzini    case INDEX_op_ld16s_i64:
1511139c1837SPaolo Bonzini    case INDEX_op_ld32s_i64:
1512139c1837SPaolo Bonzini    case INDEX_op_ld32u_i64:
1513139c1837SPaolo Bonzini    case INDEX_op_ld_i64:
1514139c1837SPaolo Bonzini    case INDEX_op_not_i64:
1515139c1837SPaolo Bonzini    case INDEX_op_neg_i64:
1516139c1837SPaolo Bonzini    case INDEX_op_ext8u_i32:
1517139c1837SPaolo Bonzini    case INDEX_op_ext8u_i64:
1518139c1837SPaolo Bonzini    case INDEX_op_ext16u_i32:
1519139c1837SPaolo Bonzini    case INDEX_op_ext16u_i64:
1520139c1837SPaolo Bonzini    case INDEX_op_ext32u_i64:
1521139c1837SPaolo Bonzini    case INDEX_op_extu_i32_i64:
1522139c1837SPaolo Bonzini    case INDEX_op_ext8s_i32:
1523139c1837SPaolo Bonzini    case INDEX_op_ext8s_i64:
1524139c1837SPaolo Bonzini    case INDEX_op_ext16s_i32:
1525139c1837SPaolo Bonzini    case INDEX_op_ext16s_i64:
1526139c1837SPaolo Bonzini    case INDEX_op_ext32s_i64:
1527139c1837SPaolo Bonzini    case INDEX_op_extrl_i64_i32:
1528139c1837SPaolo Bonzini    case INDEX_op_extrh_i64_i32:
1529139c1837SPaolo Bonzini    case INDEX_op_ext_i32_i64:
1530665be288SRichard Henderson        return C_O1_I1(r, r);
1531139c1837SPaolo Bonzini
1532139c1837SPaolo Bonzini    case INDEX_op_st8_i32:
1533139c1837SPaolo Bonzini    case INDEX_op_st16_i32:
1534139c1837SPaolo Bonzini    case INDEX_op_st_i32:
1535139c1837SPaolo Bonzini    case INDEX_op_st8_i64:
1536139c1837SPaolo Bonzini    case INDEX_op_st16_i64:
1537139c1837SPaolo Bonzini    case INDEX_op_st32_i64:
1538139c1837SPaolo Bonzini    case INDEX_op_st_i64:
1539665be288SRichard Henderson        return C_O0_I2(rZ, r);
1540139c1837SPaolo Bonzini
1541139c1837SPaolo Bonzini    case INDEX_op_add_i32:
1542139c1837SPaolo Bonzini    case INDEX_op_and_i32:
1543139c1837SPaolo Bonzini    case INDEX_op_or_i32:
1544139c1837SPaolo Bonzini    case INDEX_op_xor_i32:
1545139c1837SPaolo Bonzini    case INDEX_op_add_i64:
1546139c1837SPaolo Bonzini    case INDEX_op_and_i64:
1547139c1837SPaolo Bonzini    case INDEX_op_or_i64:
1548139c1837SPaolo Bonzini    case INDEX_op_xor_i64:
1549665be288SRichard Henderson        return C_O1_I2(r, r, rI);
1550139c1837SPaolo Bonzini
1551139c1837SPaolo Bonzini    case INDEX_op_sub_i32:
1552139c1837SPaolo Bonzini    case INDEX_op_sub_i64:
1553665be288SRichard Henderson        return C_O1_I2(r, rZ, rN);
1554139c1837SPaolo Bonzini
1555139c1837SPaolo Bonzini    case INDEX_op_mul_i32:
1556139c1837SPaolo Bonzini    case INDEX_op_mulsh_i32:
1557139c1837SPaolo Bonzini    case INDEX_op_muluh_i32:
1558139c1837SPaolo Bonzini    case INDEX_op_div_i32:
1559139c1837SPaolo Bonzini    case INDEX_op_divu_i32:
1560139c1837SPaolo Bonzini    case INDEX_op_rem_i32:
1561139c1837SPaolo Bonzini    case INDEX_op_remu_i32:
1562139c1837SPaolo Bonzini    case INDEX_op_setcond_i32:
1563139c1837SPaolo Bonzini    case INDEX_op_mul_i64:
1564139c1837SPaolo Bonzini    case INDEX_op_mulsh_i64:
1565139c1837SPaolo Bonzini    case INDEX_op_muluh_i64:
1566139c1837SPaolo Bonzini    case INDEX_op_div_i64:
1567139c1837SPaolo Bonzini    case INDEX_op_divu_i64:
1568139c1837SPaolo Bonzini    case INDEX_op_rem_i64:
1569139c1837SPaolo Bonzini    case INDEX_op_remu_i64:
1570139c1837SPaolo Bonzini    case INDEX_op_setcond_i64:
1571665be288SRichard Henderson        return C_O1_I2(r, rZ, rZ);
1572139c1837SPaolo Bonzini
1573139c1837SPaolo Bonzini    case INDEX_op_shl_i32:
1574139c1837SPaolo Bonzini    case INDEX_op_shr_i32:
1575139c1837SPaolo Bonzini    case INDEX_op_sar_i32:
1576139c1837SPaolo Bonzini    case INDEX_op_shl_i64:
1577139c1837SPaolo Bonzini    case INDEX_op_shr_i64:
1578139c1837SPaolo Bonzini    case INDEX_op_sar_i64:
1579665be288SRichard Henderson        return C_O1_I2(r, r, ri);
1580139c1837SPaolo Bonzini
1581139c1837SPaolo Bonzini    case INDEX_op_brcond_i32:
1582139c1837SPaolo Bonzini    case INDEX_op_brcond_i64:
1583665be288SRichard Henderson        return C_O0_I2(rZ, rZ);
1584139c1837SPaolo Bonzini
1585139c1837SPaolo Bonzini    case INDEX_op_add2_i32:
1586139c1837SPaolo Bonzini    case INDEX_op_add2_i64:
1587139c1837SPaolo Bonzini    case INDEX_op_sub2_i32:
1588139c1837SPaolo Bonzini    case INDEX_op_sub2_i64:
1589665be288SRichard Henderson        return C_O2_I4(r, r, rZ, rZ, rM, rM);
1590139c1837SPaolo Bonzini
1591139c1837SPaolo Bonzini    case INDEX_op_qemu_ld_i32:
1592139c1837SPaolo Bonzini    case INDEX_op_qemu_ld_i64:
1593*f0f43534SRichard Henderson        return C_O1_I1(r, r);
1594aeb6326eSRichard Henderson    case INDEX_op_qemu_st_i32:
1595139c1837SPaolo Bonzini    case INDEX_op_qemu_st_i64:
1596*f0f43534SRichard Henderson        return C_O0_I2(rZ, r);
1597139c1837SPaolo Bonzini
1598139c1837SPaolo Bonzini    default:
1599665be288SRichard Henderson        g_assert_not_reached();
1600139c1837SPaolo Bonzini    }
1601139c1837SPaolo Bonzini}
1602139c1837SPaolo Bonzini
1603139c1837SPaolo Bonzinistatic const int tcg_target_callee_save_regs[] = {
1604139c1837SPaolo Bonzini    TCG_REG_S0,       /* used for the global env (TCG_AREG0) */
1605139c1837SPaolo Bonzini    TCG_REG_S1,
1606139c1837SPaolo Bonzini    TCG_REG_S2,
1607139c1837SPaolo Bonzini    TCG_REG_S3,
1608139c1837SPaolo Bonzini    TCG_REG_S4,
1609139c1837SPaolo Bonzini    TCG_REG_S5,
1610139c1837SPaolo Bonzini    TCG_REG_S6,
1611139c1837SPaolo Bonzini    TCG_REG_S7,
1612139c1837SPaolo Bonzini    TCG_REG_S8,
1613139c1837SPaolo Bonzini    TCG_REG_S9,
1614139c1837SPaolo Bonzini    TCG_REG_S10,
1615139c1837SPaolo Bonzini    TCG_REG_S11,
1616139c1837SPaolo Bonzini    TCG_REG_RA,       /* should be last for ABI compliance */
1617139c1837SPaolo Bonzini};
1618139c1837SPaolo Bonzini
1619139c1837SPaolo Bonzini/* Stack frame parameters.  */
1620139c1837SPaolo Bonzini#define REG_SIZE   (TCG_TARGET_REG_BITS / 8)
1621139c1837SPaolo Bonzini#define SAVE_SIZE  ((int)ARRAY_SIZE(tcg_target_callee_save_regs) * REG_SIZE)
1622139c1837SPaolo Bonzini#define TEMP_SIZE  (CPU_TEMP_BUF_NLONGS * (int)sizeof(long))
1623139c1837SPaolo Bonzini#define FRAME_SIZE ((TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE + SAVE_SIZE \
1624139c1837SPaolo Bonzini                     + TCG_TARGET_STACK_ALIGN - 1) \
1625139c1837SPaolo Bonzini                    & -TCG_TARGET_STACK_ALIGN)
1626139c1837SPaolo Bonzini#define SAVE_OFS   (TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE)
1627139c1837SPaolo Bonzini
1628139c1837SPaolo Bonzini/* We're expecting to be able to use an immediate for frame allocation.  */
1629139c1837SPaolo BonziniQEMU_BUILD_BUG_ON(FRAME_SIZE > 0x7ff);
1630139c1837SPaolo Bonzini
1631139c1837SPaolo Bonzini/* Generate global QEMU prologue and epilogue code */
1632139c1837SPaolo Bonzinistatic void tcg_target_qemu_prologue(TCGContext *s)
1633139c1837SPaolo Bonzini{
1634139c1837SPaolo Bonzini    int i;
1635139c1837SPaolo Bonzini
1636139c1837SPaolo Bonzini    tcg_set_frame(s, TCG_REG_SP, TCG_STATIC_CALL_ARGS_SIZE, TEMP_SIZE);
1637139c1837SPaolo Bonzini
1638139c1837SPaolo Bonzini    /* TB prologue */
1639139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, -FRAME_SIZE);
1640139c1837SPaolo Bonzini    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
1641139c1837SPaolo Bonzini        tcg_out_st(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1642139c1837SPaolo Bonzini                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
1643139c1837SPaolo Bonzini    }
1644139c1837SPaolo Bonzini
1645139c1837SPaolo Bonzini#if !defined(CONFIG_SOFTMMU)
1646139c1837SPaolo Bonzini    tcg_out_movi(s, TCG_TYPE_PTR, TCG_GUEST_BASE_REG, guest_base);
1647139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_GUEST_BASE_REG);
1648139c1837SPaolo Bonzini#endif
1649139c1837SPaolo Bonzini
1650139c1837SPaolo Bonzini    /* Call generated code */
1651139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, TCG_AREG0, tcg_target_call_iarg_regs[0]);
1652139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, tcg_target_call_iarg_regs[1], 0);
1653139c1837SPaolo Bonzini
1654139c1837SPaolo Bonzini    /* Return path for goto_ptr. Set return value to 0 */
1655c8bc1168SRichard Henderson    tcg_code_gen_epilogue = tcg_splitwx_to_rx(s->code_ptr);
1656139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_REG, TCG_REG_A0, TCG_REG_ZERO);
1657139c1837SPaolo Bonzini
1658139c1837SPaolo Bonzini    /* TB epilogue */
1659793f7381SRichard Henderson    tb_ret_addr = tcg_splitwx_to_rx(s->code_ptr);
1660139c1837SPaolo Bonzini    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
1661139c1837SPaolo Bonzini        tcg_out_ld(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1662139c1837SPaolo Bonzini                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
1663139c1837SPaolo Bonzini    }
1664139c1837SPaolo Bonzini
1665139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, FRAME_SIZE);
1666139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_RA, 0);
1667139c1837SPaolo Bonzini}
1668139c1837SPaolo Bonzini
1669139c1837SPaolo Bonzinistatic void tcg_target_init(TCGContext *s)
1670139c1837SPaolo Bonzini{
1671139c1837SPaolo Bonzini    tcg_target_available_regs[TCG_TYPE_I32] = 0xffffffff;
1672139c1837SPaolo Bonzini    tcg_target_available_regs[TCG_TYPE_I64] = 0xffffffff;
1673139c1837SPaolo Bonzini
1674139c1837SPaolo Bonzini    tcg_target_call_clobber_regs = -1u;
1675139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S0);
1676139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S1);
1677139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S2);
1678139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S3);
1679139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S4);
1680139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S5);
1681139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S6);
1682139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S7);
1683139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S8);
1684139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S9);
1685139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S10);
1686139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S11);
1687139c1837SPaolo Bonzini
1688139c1837SPaolo Bonzini    s->reserved_regs = 0;
1689139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_ZERO);
1690139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP0);
1691139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP1);
1692139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP2);
1693139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_SP);
1694139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_GP);
1695139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TP);
1696139c1837SPaolo Bonzini}
1697139c1837SPaolo Bonzini
1698139c1837SPaolo Bonzinitypedef struct {
1699139c1837SPaolo Bonzini    DebugFrameHeader h;
1700139c1837SPaolo Bonzini    uint8_t fde_def_cfa[4];
1701139c1837SPaolo Bonzini    uint8_t fde_reg_ofs[ARRAY_SIZE(tcg_target_callee_save_regs) * 2];
1702139c1837SPaolo Bonzini} DebugFrame;
1703139c1837SPaolo Bonzini
1704139c1837SPaolo Bonzini#define ELF_HOST_MACHINE EM_RISCV
1705139c1837SPaolo Bonzini
1706139c1837SPaolo Bonzinistatic const DebugFrame debug_frame = {
1707139c1837SPaolo Bonzini    .h.cie.len = sizeof(DebugFrameCIE) - 4, /* length after .len member */
1708139c1837SPaolo Bonzini    .h.cie.id = -1,
1709139c1837SPaolo Bonzini    .h.cie.version = 1,
1710139c1837SPaolo Bonzini    .h.cie.code_align = 1,
1711139c1837SPaolo Bonzini    .h.cie.data_align = -(TCG_TARGET_REG_BITS / 8) & 0x7f, /* sleb128 */
1712139c1837SPaolo Bonzini    .h.cie.return_column = TCG_REG_RA,
1713139c1837SPaolo Bonzini
1714139c1837SPaolo Bonzini    /* Total FDE size does not include the "len" member.  */
1715139c1837SPaolo Bonzini    .h.fde.len = sizeof(DebugFrame) - offsetof(DebugFrame, h.fde.cie_offset),
1716139c1837SPaolo Bonzini
1717139c1837SPaolo Bonzini    .fde_def_cfa = {
1718139c1837SPaolo Bonzini        12, TCG_REG_SP,                 /* DW_CFA_def_cfa sp, ... */
1719139c1837SPaolo Bonzini        (FRAME_SIZE & 0x7f) | 0x80,     /* ... uleb128 FRAME_SIZE */
1720139c1837SPaolo Bonzini        (FRAME_SIZE >> 7)
1721139c1837SPaolo Bonzini    },
1722139c1837SPaolo Bonzini    .fde_reg_ofs = {
1723139c1837SPaolo Bonzini        0x80 + 9,  12,                  /* DW_CFA_offset, s1,  -96 */
1724139c1837SPaolo Bonzini        0x80 + 18, 11,                  /* DW_CFA_offset, s2,  -88 */
1725139c1837SPaolo Bonzini        0x80 + 19, 10,                  /* DW_CFA_offset, s3,  -80 */
1726139c1837SPaolo Bonzini        0x80 + 20, 9,                   /* DW_CFA_offset, s4,  -72 */
1727139c1837SPaolo Bonzini        0x80 + 21, 8,                   /* DW_CFA_offset, s5,  -64 */
1728139c1837SPaolo Bonzini        0x80 + 22, 7,                   /* DW_CFA_offset, s6,  -56 */
1729139c1837SPaolo Bonzini        0x80 + 23, 6,                   /* DW_CFA_offset, s7,  -48 */
1730139c1837SPaolo Bonzini        0x80 + 24, 5,                   /* DW_CFA_offset, s8,  -40 */
1731139c1837SPaolo Bonzini        0x80 + 25, 4,                   /* DW_CFA_offset, s9,  -32 */
1732139c1837SPaolo Bonzini        0x80 + 26, 3,                   /* DW_CFA_offset, s10, -24 */
1733139c1837SPaolo Bonzini        0x80 + 27, 2,                   /* DW_CFA_offset, s11, -16 */
1734139c1837SPaolo Bonzini        0x80 + 1 , 1,                   /* DW_CFA_offset, ra,  -8 */
1735139c1837SPaolo Bonzini    }
1736139c1837SPaolo Bonzini};
1737139c1837SPaolo Bonzini
1738755bf9e5SRichard Hendersonvoid tcg_register_jit(const void *buf, size_t buf_size)
1739139c1837SPaolo Bonzini{
1740139c1837SPaolo Bonzini    tcg_register_jit_int(buf, buf_size, &debug_frame, sizeof(debug_frame));
1741139c1837SPaolo Bonzini}
1742