xref: /openbmc/qemu/tcg/riscv/tcg-target.c.inc (revision 9be0d08019465b38e2f1a605960961a491430c21)
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
30139c1837SPaolo Bonzini#include "../tcg-pool.c.inc"
31139c1837SPaolo Bonzini
32139c1837SPaolo Bonzini#ifdef CONFIG_DEBUG_TCG
33139c1837SPaolo Bonzinistatic const char * const tcg_target_reg_names[TCG_TARGET_NB_REGS] = {
34139c1837SPaolo Bonzini    "zero",
35139c1837SPaolo Bonzini    "ra",
36139c1837SPaolo Bonzini    "sp",
37139c1837SPaolo Bonzini    "gp",
38139c1837SPaolo Bonzini    "tp",
39139c1837SPaolo Bonzini    "t0",
40139c1837SPaolo Bonzini    "t1",
41139c1837SPaolo Bonzini    "t2",
42139c1837SPaolo Bonzini    "s0",
43139c1837SPaolo Bonzini    "s1",
44139c1837SPaolo Bonzini    "a0",
45139c1837SPaolo Bonzini    "a1",
46139c1837SPaolo Bonzini    "a2",
47139c1837SPaolo Bonzini    "a3",
48139c1837SPaolo Bonzini    "a4",
49139c1837SPaolo Bonzini    "a5",
50139c1837SPaolo Bonzini    "a6",
51139c1837SPaolo Bonzini    "a7",
52139c1837SPaolo Bonzini    "s2",
53139c1837SPaolo Bonzini    "s3",
54139c1837SPaolo Bonzini    "s4",
55139c1837SPaolo Bonzini    "s5",
56139c1837SPaolo Bonzini    "s6",
57139c1837SPaolo Bonzini    "s7",
58139c1837SPaolo Bonzini    "s8",
59139c1837SPaolo Bonzini    "s9",
60139c1837SPaolo Bonzini    "s10",
61139c1837SPaolo Bonzini    "s11",
62139c1837SPaolo Bonzini    "t3",
63139c1837SPaolo Bonzini    "t4",
64139c1837SPaolo Bonzini    "t5",
65139c1837SPaolo Bonzini    "t6"
66139c1837SPaolo Bonzini};
67139c1837SPaolo Bonzini#endif
68139c1837SPaolo Bonzini
69139c1837SPaolo Bonzinistatic const int tcg_target_reg_alloc_order[] = {
70139c1837SPaolo Bonzini    /* Call saved registers */
71139c1837SPaolo Bonzini    /* TCG_REG_S0 reservered for TCG_AREG0 */
72139c1837SPaolo Bonzini    TCG_REG_S1,
73139c1837SPaolo Bonzini    TCG_REG_S2,
74139c1837SPaolo Bonzini    TCG_REG_S3,
75139c1837SPaolo Bonzini    TCG_REG_S4,
76139c1837SPaolo Bonzini    TCG_REG_S5,
77139c1837SPaolo Bonzini    TCG_REG_S6,
78139c1837SPaolo Bonzini    TCG_REG_S7,
79139c1837SPaolo Bonzini    TCG_REG_S8,
80139c1837SPaolo Bonzini    TCG_REG_S9,
81139c1837SPaolo Bonzini    TCG_REG_S10,
82139c1837SPaolo Bonzini    TCG_REG_S11,
83139c1837SPaolo Bonzini
84139c1837SPaolo Bonzini    /* Call clobbered registers */
85139c1837SPaolo Bonzini    TCG_REG_T0,
86139c1837SPaolo Bonzini    TCG_REG_T1,
87139c1837SPaolo Bonzini    TCG_REG_T2,
88139c1837SPaolo Bonzini    TCG_REG_T3,
89139c1837SPaolo Bonzini    TCG_REG_T4,
90139c1837SPaolo Bonzini    TCG_REG_T5,
91139c1837SPaolo Bonzini    TCG_REG_T6,
92139c1837SPaolo Bonzini
93139c1837SPaolo Bonzini    /* Argument registers */
94139c1837SPaolo Bonzini    TCG_REG_A0,
95139c1837SPaolo Bonzini    TCG_REG_A1,
96139c1837SPaolo Bonzini    TCG_REG_A2,
97139c1837SPaolo Bonzini    TCG_REG_A3,
98139c1837SPaolo Bonzini    TCG_REG_A4,
99139c1837SPaolo Bonzini    TCG_REG_A5,
100139c1837SPaolo Bonzini    TCG_REG_A6,
101139c1837SPaolo Bonzini    TCG_REG_A7,
102139c1837SPaolo Bonzini};
103139c1837SPaolo Bonzini
104139c1837SPaolo Bonzinistatic const int tcg_target_call_iarg_regs[] = {
105139c1837SPaolo Bonzini    TCG_REG_A0,
106139c1837SPaolo Bonzini    TCG_REG_A1,
107139c1837SPaolo Bonzini    TCG_REG_A2,
108139c1837SPaolo Bonzini    TCG_REG_A3,
109139c1837SPaolo Bonzini    TCG_REG_A4,
110139c1837SPaolo Bonzini    TCG_REG_A5,
111139c1837SPaolo Bonzini    TCG_REG_A6,
112139c1837SPaolo Bonzini    TCG_REG_A7,
113139c1837SPaolo Bonzini};
114139c1837SPaolo Bonzini
115139c1837SPaolo Bonzinistatic const int tcg_target_call_oarg_regs[] = {
116139c1837SPaolo Bonzini    TCG_REG_A0,
117139c1837SPaolo Bonzini    TCG_REG_A1,
118139c1837SPaolo Bonzini};
119139c1837SPaolo Bonzini
120139c1837SPaolo Bonzini#define TCG_CT_CONST_ZERO  0x100
121139c1837SPaolo Bonzini#define TCG_CT_CONST_S12   0x200
122139c1837SPaolo Bonzini#define TCG_CT_CONST_N12   0x400
123139c1837SPaolo Bonzini#define TCG_CT_CONST_M12   0x800
124139c1837SPaolo Bonzini
125139c1837SPaolo Bonzinistatic inline tcg_target_long sextreg(tcg_target_long val, int pos, int len)
126139c1837SPaolo Bonzini{
127139c1837SPaolo Bonzini    if (TCG_TARGET_REG_BITS == 32) {
128139c1837SPaolo Bonzini        return sextract32(val, pos, len);
129139c1837SPaolo Bonzini    } else {
130139c1837SPaolo Bonzini        return sextract64(val, pos, len);
131139c1837SPaolo Bonzini    }
132139c1837SPaolo Bonzini}
133139c1837SPaolo Bonzini
134139c1837SPaolo Bonzini/* parse target specific constraints */
135139c1837SPaolo Bonzinistatic const char *target_parse_constraint(TCGArgConstraint *ct,
136139c1837SPaolo Bonzini                                           const char *ct_str, TCGType type)
137139c1837SPaolo Bonzini{
138139c1837SPaolo Bonzini    switch (*ct_str++) {
139139c1837SPaolo Bonzini    case 'r':
140139c1837SPaolo Bonzini        ct->ct |= TCG_CT_REG;
141*9be0d080SRichard Henderson        ct->regs = 0xffffffff;
142139c1837SPaolo Bonzini        break;
143139c1837SPaolo Bonzini    case 'L':
144139c1837SPaolo Bonzini        /* qemu_ld/qemu_st constraint */
145139c1837SPaolo Bonzini        ct->ct |= TCG_CT_REG;
146*9be0d080SRichard Henderson        ct->regs = 0xffffffff;
147139c1837SPaolo Bonzini        /* qemu_ld/qemu_st uses TCG_REG_TMP0 */
148139c1837SPaolo Bonzini#if defined(CONFIG_SOFTMMU)
149*9be0d080SRichard Henderson        tcg_regset_reset_reg(ct->regs, tcg_target_call_iarg_regs[0]);
150*9be0d080SRichard Henderson        tcg_regset_reset_reg(ct->regs, tcg_target_call_iarg_regs[1]);
151*9be0d080SRichard Henderson        tcg_regset_reset_reg(ct->regs, tcg_target_call_iarg_regs[2]);
152*9be0d080SRichard Henderson        tcg_regset_reset_reg(ct->regs, tcg_target_call_iarg_regs[3]);
153*9be0d080SRichard Henderson        tcg_regset_reset_reg(ct->regs, tcg_target_call_iarg_regs[4]);
154139c1837SPaolo Bonzini#endif
155139c1837SPaolo Bonzini        break;
156139c1837SPaolo Bonzini    case 'I':
157139c1837SPaolo Bonzini        ct->ct |= TCG_CT_CONST_S12;
158139c1837SPaolo Bonzini        break;
159139c1837SPaolo Bonzini    case 'N':
160139c1837SPaolo Bonzini        ct->ct |= TCG_CT_CONST_N12;
161139c1837SPaolo Bonzini        break;
162139c1837SPaolo Bonzini    case 'M':
163139c1837SPaolo Bonzini        ct->ct |= TCG_CT_CONST_M12;
164139c1837SPaolo Bonzini        break;
165139c1837SPaolo Bonzini    case 'Z':
166139c1837SPaolo Bonzini        /* we can use a zero immediate as a zero register argument. */
167139c1837SPaolo Bonzini        ct->ct |= TCG_CT_CONST_ZERO;
168139c1837SPaolo Bonzini        break;
169139c1837SPaolo Bonzini    default:
170139c1837SPaolo Bonzini        return NULL;
171139c1837SPaolo Bonzini    }
172139c1837SPaolo Bonzini    return ct_str;
173139c1837SPaolo Bonzini}
174139c1837SPaolo Bonzini
175139c1837SPaolo Bonzini/* test if a constant matches the constraint */
176139c1837SPaolo Bonzinistatic int tcg_target_const_match(tcg_target_long val, TCGType type,
177139c1837SPaolo Bonzini                                  const TCGArgConstraint *arg_ct)
178139c1837SPaolo Bonzini{
179139c1837SPaolo Bonzini    int ct = arg_ct->ct;
180139c1837SPaolo Bonzini    if (ct & TCG_CT_CONST) {
181139c1837SPaolo Bonzini        return 1;
182139c1837SPaolo Bonzini    }
183139c1837SPaolo Bonzini    if ((ct & TCG_CT_CONST_ZERO) && val == 0) {
184139c1837SPaolo Bonzini        return 1;
185139c1837SPaolo Bonzini    }
186139c1837SPaolo Bonzini    if ((ct & TCG_CT_CONST_S12) && val == sextreg(val, 0, 12)) {
187139c1837SPaolo Bonzini        return 1;
188139c1837SPaolo Bonzini    }
189139c1837SPaolo Bonzini    if ((ct & TCG_CT_CONST_N12) && -val == sextreg(-val, 0, 12)) {
190139c1837SPaolo Bonzini        return 1;
191139c1837SPaolo Bonzini    }
192139c1837SPaolo Bonzini    if ((ct & TCG_CT_CONST_M12) && val >= -0xfff && val <= 0xfff) {
193139c1837SPaolo Bonzini        return 1;
194139c1837SPaolo Bonzini    }
195139c1837SPaolo Bonzini    return 0;
196139c1837SPaolo Bonzini}
197139c1837SPaolo Bonzini
198139c1837SPaolo Bonzini/*
199139c1837SPaolo Bonzini * RISC-V Base ISA opcodes (IM)
200139c1837SPaolo Bonzini */
201139c1837SPaolo Bonzini
202139c1837SPaolo Bonzinitypedef enum {
203139c1837SPaolo Bonzini    OPC_ADD = 0x33,
204139c1837SPaolo Bonzini    OPC_ADDI = 0x13,
205139c1837SPaolo Bonzini    OPC_AND = 0x7033,
206139c1837SPaolo Bonzini    OPC_ANDI = 0x7013,
207139c1837SPaolo Bonzini    OPC_AUIPC = 0x17,
208139c1837SPaolo Bonzini    OPC_BEQ = 0x63,
209139c1837SPaolo Bonzini    OPC_BGE = 0x5063,
210139c1837SPaolo Bonzini    OPC_BGEU = 0x7063,
211139c1837SPaolo Bonzini    OPC_BLT = 0x4063,
212139c1837SPaolo Bonzini    OPC_BLTU = 0x6063,
213139c1837SPaolo Bonzini    OPC_BNE = 0x1063,
214139c1837SPaolo Bonzini    OPC_DIV = 0x2004033,
215139c1837SPaolo Bonzini    OPC_DIVU = 0x2005033,
216139c1837SPaolo Bonzini    OPC_JAL = 0x6f,
217139c1837SPaolo Bonzini    OPC_JALR = 0x67,
218139c1837SPaolo Bonzini    OPC_LB = 0x3,
219139c1837SPaolo Bonzini    OPC_LBU = 0x4003,
220139c1837SPaolo Bonzini    OPC_LD = 0x3003,
221139c1837SPaolo Bonzini    OPC_LH = 0x1003,
222139c1837SPaolo Bonzini    OPC_LHU = 0x5003,
223139c1837SPaolo Bonzini    OPC_LUI = 0x37,
224139c1837SPaolo Bonzini    OPC_LW = 0x2003,
225139c1837SPaolo Bonzini    OPC_LWU = 0x6003,
226139c1837SPaolo Bonzini    OPC_MUL = 0x2000033,
227139c1837SPaolo Bonzini    OPC_MULH = 0x2001033,
228139c1837SPaolo Bonzini    OPC_MULHSU = 0x2002033,
229139c1837SPaolo Bonzini    OPC_MULHU = 0x2003033,
230139c1837SPaolo Bonzini    OPC_OR = 0x6033,
231139c1837SPaolo Bonzini    OPC_ORI = 0x6013,
232139c1837SPaolo Bonzini    OPC_REM = 0x2006033,
233139c1837SPaolo Bonzini    OPC_REMU = 0x2007033,
234139c1837SPaolo Bonzini    OPC_SB = 0x23,
235139c1837SPaolo Bonzini    OPC_SD = 0x3023,
236139c1837SPaolo Bonzini    OPC_SH = 0x1023,
237139c1837SPaolo Bonzini    OPC_SLL = 0x1033,
238139c1837SPaolo Bonzini    OPC_SLLI = 0x1013,
239139c1837SPaolo Bonzini    OPC_SLT = 0x2033,
240139c1837SPaolo Bonzini    OPC_SLTI = 0x2013,
241139c1837SPaolo Bonzini    OPC_SLTIU = 0x3013,
242139c1837SPaolo Bonzini    OPC_SLTU = 0x3033,
243139c1837SPaolo Bonzini    OPC_SRA = 0x40005033,
244139c1837SPaolo Bonzini    OPC_SRAI = 0x40005013,
245139c1837SPaolo Bonzini    OPC_SRL = 0x5033,
246139c1837SPaolo Bonzini    OPC_SRLI = 0x5013,
247139c1837SPaolo Bonzini    OPC_SUB = 0x40000033,
248139c1837SPaolo Bonzini    OPC_SW = 0x2023,
249139c1837SPaolo Bonzini    OPC_XOR = 0x4033,
250139c1837SPaolo Bonzini    OPC_XORI = 0x4013,
251139c1837SPaolo Bonzini
252139c1837SPaolo Bonzini#if TCG_TARGET_REG_BITS == 64
253139c1837SPaolo Bonzini    OPC_ADDIW = 0x1b,
254139c1837SPaolo Bonzini    OPC_ADDW = 0x3b,
255139c1837SPaolo Bonzini    OPC_DIVUW = 0x200503b,
256139c1837SPaolo Bonzini    OPC_DIVW = 0x200403b,
257139c1837SPaolo Bonzini    OPC_MULW = 0x200003b,
258139c1837SPaolo Bonzini    OPC_REMUW = 0x200703b,
259139c1837SPaolo Bonzini    OPC_REMW = 0x200603b,
260139c1837SPaolo Bonzini    OPC_SLLIW = 0x101b,
261139c1837SPaolo Bonzini    OPC_SLLW = 0x103b,
262139c1837SPaolo Bonzini    OPC_SRAIW = 0x4000501b,
263139c1837SPaolo Bonzini    OPC_SRAW = 0x4000503b,
264139c1837SPaolo Bonzini    OPC_SRLIW = 0x501b,
265139c1837SPaolo Bonzini    OPC_SRLW = 0x503b,
266139c1837SPaolo Bonzini    OPC_SUBW = 0x4000003b,
267139c1837SPaolo Bonzini#else
268139c1837SPaolo Bonzini    /* Simplify code throughout by defining aliases for RV32.  */
269139c1837SPaolo Bonzini    OPC_ADDIW = OPC_ADDI,
270139c1837SPaolo Bonzini    OPC_ADDW = OPC_ADD,
271139c1837SPaolo Bonzini    OPC_DIVUW = OPC_DIVU,
272139c1837SPaolo Bonzini    OPC_DIVW = OPC_DIV,
273139c1837SPaolo Bonzini    OPC_MULW = OPC_MUL,
274139c1837SPaolo Bonzini    OPC_REMUW = OPC_REMU,
275139c1837SPaolo Bonzini    OPC_REMW = OPC_REM,
276139c1837SPaolo Bonzini    OPC_SLLIW = OPC_SLLI,
277139c1837SPaolo Bonzini    OPC_SLLW = OPC_SLL,
278139c1837SPaolo Bonzini    OPC_SRAIW = OPC_SRAI,
279139c1837SPaolo Bonzini    OPC_SRAW = OPC_SRA,
280139c1837SPaolo Bonzini    OPC_SRLIW = OPC_SRLI,
281139c1837SPaolo Bonzini    OPC_SRLW = OPC_SRL,
282139c1837SPaolo Bonzini    OPC_SUBW = OPC_SUB,
283139c1837SPaolo Bonzini#endif
284139c1837SPaolo Bonzini
285139c1837SPaolo Bonzini    OPC_FENCE = 0x0000000f,
286139c1837SPaolo Bonzini} RISCVInsn;
287139c1837SPaolo Bonzini
288139c1837SPaolo Bonzini/*
289139c1837SPaolo Bonzini * RISC-V immediate and instruction encoders (excludes 16-bit RVC)
290139c1837SPaolo Bonzini */
291139c1837SPaolo Bonzini
292139c1837SPaolo Bonzini/* Type-R */
293139c1837SPaolo Bonzini
294139c1837SPaolo Bonzinistatic int32_t encode_r(RISCVInsn opc, TCGReg rd, TCGReg rs1, TCGReg rs2)
295139c1837SPaolo Bonzini{
296139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20;
297139c1837SPaolo Bonzini}
298139c1837SPaolo Bonzini
299139c1837SPaolo Bonzini/* Type-I */
300139c1837SPaolo Bonzini
301139c1837SPaolo Bonzinistatic int32_t encode_imm12(uint32_t imm)
302139c1837SPaolo Bonzini{
303139c1837SPaolo Bonzini    return (imm & 0xfff) << 20;
304139c1837SPaolo Bonzini}
305139c1837SPaolo Bonzini
306139c1837SPaolo Bonzinistatic int32_t encode_i(RISCVInsn opc, TCGReg rd, TCGReg rs1, uint32_t imm)
307139c1837SPaolo Bonzini{
308139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | encode_imm12(imm);
309139c1837SPaolo Bonzini}
310139c1837SPaolo Bonzini
311139c1837SPaolo Bonzini/* Type-S */
312139c1837SPaolo Bonzini
313139c1837SPaolo Bonzinistatic int32_t encode_simm12(uint32_t imm)
314139c1837SPaolo Bonzini{
315139c1837SPaolo Bonzini    int32_t ret = 0;
316139c1837SPaolo Bonzini
317139c1837SPaolo Bonzini    ret |= (imm & 0xFE0) << 20;
318139c1837SPaolo Bonzini    ret |= (imm & 0x1F) << 7;
319139c1837SPaolo Bonzini
320139c1837SPaolo Bonzini    return ret;
321139c1837SPaolo Bonzini}
322139c1837SPaolo Bonzini
323139c1837SPaolo Bonzinistatic int32_t encode_s(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
324139c1837SPaolo Bonzini{
325139c1837SPaolo Bonzini    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_simm12(imm);
326139c1837SPaolo Bonzini}
327139c1837SPaolo Bonzini
328139c1837SPaolo Bonzini/* Type-SB */
329139c1837SPaolo Bonzini
330139c1837SPaolo Bonzinistatic int32_t encode_sbimm12(uint32_t imm)
331139c1837SPaolo Bonzini{
332139c1837SPaolo Bonzini    int32_t ret = 0;
333139c1837SPaolo Bonzini
334139c1837SPaolo Bonzini    ret |= (imm & 0x1000) << 19;
335139c1837SPaolo Bonzini    ret |= (imm & 0x7e0) << 20;
336139c1837SPaolo Bonzini    ret |= (imm & 0x1e) << 7;
337139c1837SPaolo Bonzini    ret |= (imm & 0x800) >> 4;
338139c1837SPaolo Bonzini
339139c1837SPaolo Bonzini    return ret;
340139c1837SPaolo Bonzini}
341139c1837SPaolo Bonzini
342139c1837SPaolo Bonzinistatic int32_t encode_sb(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
343139c1837SPaolo Bonzini{
344139c1837SPaolo Bonzini    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_sbimm12(imm);
345139c1837SPaolo Bonzini}
346139c1837SPaolo Bonzini
347139c1837SPaolo Bonzini/* Type-U */
348139c1837SPaolo Bonzini
349139c1837SPaolo Bonzinistatic int32_t encode_uimm20(uint32_t imm)
350139c1837SPaolo Bonzini{
351139c1837SPaolo Bonzini    return imm & 0xfffff000;
352139c1837SPaolo Bonzini}
353139c1837SPaolo Bonzini
354139c1837SPaolo Bonzinistatic int32_t encode_u(RISCVInsn opc, TCGReg rd, uint32_t imm)
355139c1837SPaolo Bonzini{
356139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | encode_uimm20(imm);
357139c1837SPaolo Bonzini}
358139c1837SPaolo Bonzini
359139c1837SPaolo Bonzini/* Type-UJ */
360139c1837SPaolo Bonzini
361139c1837SPaolo Bonzinistatic int32_t encode_ujimm20(uint32_t imm)
362139c1837SPaolo Bonzini{
363139c1837SPaolo Bonzini    int32_t ret = 0;
364139c1837SPaolo Bonzini
365139c1837SPaolo Bonzini    ret |= (imm & 0x0007fe) << (21 - 1);
366139c1837SPaolo Bonzini    ret |= (imm & 0x000800) << (20 - 11);
367139c1837SPaolo Bonzini    ret |= (imm & 0x0ff000) << (12 - 12);
368139c1837SPaolo Bonzini    ret |= (imm & 0x100000) << (31 - 20);
369139c1837SPaolo Bonzini
370139c1837SPaolo Bonzini    return ret;
371139c1837SPaolo Bonzini}
372139c1837SPaolo Bonzini
373139c1837SPaolo Bonzinistatic int32_t encode_uj(RISCVInsn opc, TCGReg rd, uint32_t imm)
374139c1837SPaolo Bonzini{
375139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | encode_ujimm20(imm);
376139c1837SPaolo Bonzini}
377139c1837SPaolo Bonzini
378139c1837SPaolo Bonzini/*
379139c1837SPaolo Bonzini * RISC-V instruction emitters
380139c1837SPaolo Bonzini */
381139c1837SPaolo Bonzini
382139c1837SPaolo Bonzinistatic void tcg_out_opc_reg(TCGContext *s, RISCVInsn opc,
383139c1837SPaolo Bonzini                            TCGReg rd, TCGReg rs1, TCGReg rs2)
384139c1837SPaolo Bonzini{
385139c1837SPaolo Bonzini    tcg_out32(s, encode_r(opc, rd, rs1, rs2));
386139c1837SPaolo Bonzini}
387139c1837SPaolo Bonzini
388139c1837SPaolo Bonzinistatic void tcg_out_opc_imm(TCGContext *s, RISCVInsn opc,
389139c1837SPaolo Bonzini                            TCGReg rd, TCGReg rs1, TCGArg imm)
390139c1837SPaolo Bonzini{
391139c1837SPaolo Bonzini    tcg_out32(s, encode_i(opc, rd, rs1, imm));
392139c1837SPaolo Bonzini}
393139c1837SPaolo Bonzini
394139c1837SPaolo Bonzinistatic void tcg_out_opc_store(TCGContext *s, RISCVInsn opc,
395139c1837SPaolo Bonzini                              TCGReg rs1, TCGReg rs2, uint32_t imm)
396139c1837SPaolo Bonzini{
397139c1837SPaolo Bonzini    tcg_out32(s, encode_s(opc, rs1, rs2, imm));
398139c1837SPaolo Bonzini}
399139c1837SPaolo Bonzini
400139c1837SPaolo Bonzinistatic void tcg_out_opc_branch(TCGContext *s, RISCVInsn opc,
401139c1837SPaolo Bonzini                               TCGReg rs1, TCGReg rs2, uint32_t imm)
402139c1837SPaolo Bonzini{
403139c1837SPaolo Bonzini    tcg_out32(s, encode_sb(opc, rs1, rs2, imm));
404139c1837SPaolo Bonzini}
405139c1837SPaolo Bonzini
406139c1837SPaolo Bonzinistatic void tcg_out_opc_upper(TCGContext *s, RISCVInsn opc,
407139c1837SPaolo Bonzini                              TCGReg rd, uint32_t imm)
408139c1837SPaolo Bonzini{
409139c1837SPaolo Bonzini    tcg_out32(s, encode_u(opc, rd, imm));
410139c1837SPaolo Bonzini}
411139c1837SPaolo Bonzini
412139c1837SPaolo Bonzinistatic void tcg_out_opc_jump(TCGContext *s, RISCVInsn opc,
413139c1837SPaolo Bonzini                             TCGReg rd, uint32_t imm)
414139c1837SPaolo Bonzini{
415139c1837SPaolo Bonzini    tcg_out32(s, encode_uj(opc, rd, imm));
416139c1837SPaolo Bonzini}
417139c1837SPaolo Bonzini
418139c1837SPaolo Bonzinistatic void tcg_out_nop_fill(tcg_insn_unit *p, int count)
419139c1837SPaolo Bonzini{
420139c1837SPaolo Bonzini    int i;
421139c1837SPaolo Bonzini    for (i = 0; i < count; ++i) {
422139c1837SPaolo Bonzini        p[i] = encode_i(OPC_ADDI, TCG_REG_ZERO, TCG_REG_ZERO, 0);
423139c1837SPaolo Bonzini    }
424139c1837SPaolo Bonzini}
425139c1837SPaolo Bonzini
426139c1837SPaolo Bonzini/*
427139c1837SPaolo Bonzini * Relocations
428139c1837SPaolo Bonzini */
429139c1837SPaolo Bonzini
430139c1837SPaolo Bonzinistatic bool reloc_sbimm12(tcg_insn_unit *code_ptr, tcg_insn_unit *target)
431139c1837SPaolo Bonzini{
432139c1837SPaolo Bonzini    intptr_t offset = (intptr_t)target - (intptr_t)code_ptr;
433139c1837SPaolo Bonzini
434139c1837SPaolo Bonzini    if (offset == sextreg(offset, 1, 12) << 1) {
435139c1837SPaolo Bonzini        code_ptr[0] |= encode_sbimm12(offset);
436139c1837SPaolo Bonzini        return true;
437139c1837SPaolo Bonzini    }
438139c1837SPaolo Bonzini
439139c1837SPaolo Bonzini    return false;
440139c1837SPaolo Bonzini}
441139c1837SPaolo Bonzini
442139c1837SPaolo Bonzinistatic bool reloc_jimm20(tcg_insn_unit *code_ptr, tcg_insn_unit *target)
443139c1837SPaolo Bonzini{
444139c1837SPaolo Bonzini    intptr_t offset = (intptr_t)target - (intptr_t)code_ptr;
445139c1837SPaolo Bonzini
446139c1837SPaolo Bonzini    if (offset == sextreg(offset, 1, 20) << 1) {
447139c1837SPaolo Bonzini        code_ptr[0] |= encode_ujimm20(offset);
448139c1837SPaolo Bonzini        return true;
449139c1837SPaolo Bonzini    }
450139c1837SPaolo Bonzini
451139c1837SPaolo Bonzini    return false;
452139c1837SPaolo Bonzini}
453139c1837SPaolo Bonzini
454139c1837SPaolo Bonzinistatic bool reloc_call(tcg_insn_unit *code_ptr, tcg_insn_unit *target)
455139c1837SPaolo Bonzini{
456139c1837SPaolo Bonzini    intptr_t offset = (intptr_t)target - (intptr_t)code_ptr;
457139c1837SPaolo Bonzini    int32_t lo = sextreg(offset, 0, 12);
458139c1837SPaolo Bonzini    int32_t hi = offset - lo;
459139c1837SPaolo Bonzini
460139c1837SPaolo Bonzini    if (offset == hi + lo) {
461139c1837SPaolo Bonzini        code_ptr[0] |= encode_uimm20(hi);
462139c1837SPaolo Bonzini        code_ptr[1] |= encode_imm12(lo);
463139c1837SPaolo Bonzini        return true;
464139c1837SPaolo Bonzini    }
465139c1837SPaolo Bonzini
466139c1837SPaolo Bonzini    return false;
467139c1837SPaolo Bonzini}
468139c1837SPaolo Bonzini
469139c1837SPaolo Bonzinistatic bool patch_reloc(tcg_insn_unit *code_ptr, int type,
470139c1837SPaolo Bonzini                        intptr_t value, intptr_t addend)
471139c1837SPaolo Bonzini{
472139c1837SPaolo Bonzini    uint32_t insn = *code_ptr;
473139c1837SPaolo Bonzini    intptr_t diff;
474139c1837SPaolo Bonzini    bool short_jmp;
475139c1837SPaolo Bonzini
476139c1837SPaolo Bonzini    tcg_debug_assert(addend == 0);
477139c1837SPaolo Bonzini
478139c1837SPaolo Bonzini    switch (type) {
479139c1837SPaolo Bonzini    case R_RISCV_BRANCH:
480139c1837SPaolo Bonzini        diff = value - (uintptr_t)code_ptr;
481139c1837SPaolo Bonzini        short_jmp = diff == sextreg(diff, 0, 12);
482139c1837SPaolo Bonzini        if (short_jmp) {
483139c1837SPaolo Bonzini            return reloc_sbimm12(code_ptr, (tcg_insn_unit *)value);
484139c1837SPaolo Bonzini        } else {
485139c1837SPaolo Bonzini            /* Invert the condition */
486139c1837SPaolo Bonzini            insn = insn ^ (1 << 12);
487139c1837SPaolo Bonzini            /* Clear the offset */
488139c1837SPaolo Bonzini            insn &= 0x01fff07f;
489139c1837SPaolo Bonzini            /* Set the offset to the PC + 8 */
490139c1837SPaolo Bonzini            insn |= encode_sbimm12(8);
491139c1837SPaolo Bonzini
492139c1837SPaolo Bonzini            /* Move forward */
493139c1837SPaolo Bonzini            code_ptr[0] = insn;
494139c1837SPaolo Bonzini
495139c1837SPaolo Bonzini            /* Overwrite the NOP with jal x0,value */
496139c1837SPaolo Bonzini            diff = value - (uintptr_t)(code_ptr + 1);
497139c1837SPaolo Bonzini            insn = encode_uj(OPC_JAL, TCG_REG_ZERO, diff);
498139c1837SPaolo Bonzini            code_ptr[1] = insn;
499139c1837SPaolo Bonzini
500139c1837SPaolo Bonzini            return true;
501139c1837SPaolo Bonzini        }
502139c1837SPaolo Bonzini        break;
503139c1837SPaolo Bonzini    case R_RISCV_JAL:
504139c1837SPaolo Bonzini        return reloc_jimm20(code_ptr, (tcg_insn_unit *)value);
505139c1837SPaolo Bonzini    case R_RISCV_CALL:
506139c1837SPaolo Bonzini        return reloc_call(code_ptr, (tcg_insn_unit *)value);
507139c1837SPaolo Bonzini    default:
508139c1837SPaolo Bonzini        tcg_abort();
509139c1837SPaolo Bonzini    }
510139c1837SPaolo Bonzini}
511139c1837SPaolo Bonzini
512139c1837SPaolo Bonzini/*
513139c1837SPaolo Bonzini * TCG intrinsics
514139c1837SPaolo Bonzini */
515139c1837SPaolo Bonzini
516139c1837SPaolo Bonzinistatic bool tcg_out_mov(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
517139c1837SPaolo Bonzini{
518139c1837SPaolo Bonzini    if (ret == arg) {
519139c1837SPaolo Bonzini        return true;
520139c1837SPaolo Bonzini    }
521139c1837SPaolo Bonzini    switch (type) {
522139c1837SPaolo Bonzini    case TCG_TYPE_I32:
523139c1837SPaolo Bonzini    case TCG_TYPE_I64:
524139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, ret, arg, 0);
525139c1837SPaolo Bonzini        break;
526139c1837SPaolo Bonzini    default:
527139c1837SPaolo Bonzini        g_assert_not_reached();
528139c1837SPaolo Bonzini    }
529139c1837SPaolo Bonzini    return true;
530139c1837SPaolo Bonzini}
531139c1837SPaolo Bonzini
532139c1837SPaolo Bonzinistatic void tcg_out_movi(TCGContext *s, TCGType type, TCGReg rd,
533139c1837SPaolo Bonzini                         tcg_target_long val)
534139c1837SPaolo Bonzini{
535139c1837SPaolo Bonzini    tcg_target_long lo, hi, tmp;
536139c1837SPaolo Bonzini    int shift, ret;
537139c1837SPaolo Bonzini
538139c1837SPaolo Bonzini    if (TCG_TARGET_REG_BITS == 64 && type == TCG_TYPE_I32) {
539139c1837SPaolo Bonzini        val = (int32_t)val;
540139c1837SPaolo Bonzini    }
541139c1837SPaolo Bonzini
542139c1837SPaolo Bonzini    lo = sextreg(val, 0, 12);
543139c1837SPaolo Bonzini    if (val == lo) {
544139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, lo);
545139c1837SPaolo Bonzini        return;
546139c1837SPaolo Bonzini    }
547139c1837SPaolo Bonzini
548139c1837SPaolo Bonzini    hi = val - lo;
549139c1837SPaolo Bonzini    if (TCG_TARGET_REG_BITS == 32 || val == (int32_t)val) {
550139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, hi);
551139c1837SPaolo Bonzini        if (lo != 0) {
552139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, rd, rd, lo);
553139c1837SPaolo Bonzini        }
554139c1837SPaolo Bonzini        return;
555139c1837SPaolo Bonzini    }
556139c1837SPaolo Bonzini
557139c1837SPaolo Bonzini    /* We can only be here if TCG_TARGET_REG_BITS != 32 */
558139c1837SPaolo Bonzini    tmp = tcg_pcrel_diff(s, (void *)val);
559139c1837SPaolo Bonzini    if (tmp == (int32_t)tmp) {
560139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
561139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, rd, 0);
562139c1837SPaolo Bonzini        ret = reloc_call(s->code_ptr - 2, (tcg_insn_unit *)val);
563139c1837SPaolo Bonzini        tcg_debug_assert(ret == true);
564139c1837SPaolo Bonzini        return;
565139c1837SPaolo Bonzini    }
566139c1837SPaolo Bonzini
567139c1837SPaolo Bonzini    /* Look for a single 20-bit section.  */
568139c1837SPaolo Bonzini    shift = ctz64(val);
569139c1837SPaolo Bonzini    tmp = val >> shift;
570139c1837SPaolo Bonzini    if (tmp == sextreg(tmp, 0, 20)) {
571139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, tmp << 12);
572139c1837SPaolo Bonzini        if (shift > 12) {
573139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLLI, rd, rd, shift - 12);
574139c1837SPaolo Bonzini        } else {
575139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SRAI, rd, rd, 12 - shift);
576139c1837SPaolo Bonzini        }
577139c1837SPaolo Bonzini        return;
578139c1837SPaolo Bonzini    }
579139c1837SPaolo Bonzini
580139c1837SPaolo Bonzini    /* Look for a few high zero bits, with lots of bits set in the middle.  */
581139c1837SPaolo Bonzini    shift = clz64(val);
582139c1837SPaolo Bonzini    tmp = val << shift;
583139c1837SPaolo Bonzini    if (tmp == sextreg(tmp, 12, 20) << 12) {
584139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, tmp);
585139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
586139c1837SPaolo Bonzini        return;
587139c1837SPaolo Bonzini    } else if (tmp == sextreg(tmp, 0, 12)) {
588139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, tmp);
589139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
590139c1837SPaolo Bonzini        return;
591139c1837SPaolo Bonzini    }
592139c1837SPaolo Bonzini
593139c1837SPaolo Bonzini    /* Drop into the constant pool.  */
594139c1837SPaolo Bonzini    new_pool_label(s, val, R_RISCV_CALL, s->code_ptr, 0);
595139c1837SPaolo Bonzini    tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
596139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_LD, rd, rd, 0);
597139c1837SPaolo Bonzini}
598139c1837SPaolo Bonzini
599139c1837SPaolo Bonzinistatic void tcg_out_ext8u(TCGContext *s, TCGReg ret, TCGReg arg)
600139c1837SPaolo Bonzini{
601139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ANDI, ret, arg, 0xff);
602139c1837SPaolo Bonzini}
603139c1837SPaolo Bonzini
604139c1837SPaolo Bonzinistatic void tcg_out_ext16u(TCGContext *s, TCGReg ret, TCGReg arg)
605139c1837SPaolo Bonzini{
606139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
607139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRLIW, ret, ret, 16);
608139c1837SPaolo Bonzini}
609139c1837SPaolo Bonzini
610139c1837SPaolo Bonzinistatic void tcg_out_ext32u(TCGContext *s, TCGReg ret, TCGReg arg)
611139c1837SPaolo Bonzini{
612139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLI, ret, arg, 32);
613139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRLI, ret, ret, 32);
614139c1837SPaolo Bonzini}
615139c1837SPaolo Bonzini
616139c1837SPaolo Bonzinistatic void tcg_out_ext8s(TCGContext *s, TCGReg ret, TCGReg arg)
617139c1837SPaolo Bonzini{
618139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 24);
619139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 24);
620139c1837SPaolo Bonzini}
621139c1837SPaolo Bonzini
622139c1837SPaolo Bonzinistatic void tcg_out_ext16s(TCGContext *s, TCGReg ret, TCGReg arg)
623139c1837SPaolo Bonzini{
624139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
625139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 16);
626139c1837SPaolo Bonzini}
627139c1837SPaolo Bonzini
628139c1837SPaolo Bonzinistatic void tcg_out_ext32s(TCGContext *s, TCGReg ret, TCGReg arg)
629139c1837SPaolo Bonzini{
630139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDIW, ret, arg, 0);
631139c1837SPaolo Bonzini}
632139c1837SPaolo Bonzini
633139c1837SPaolo Bonzinistatic void tcg_out_ldst(TCGContext *s, RISCVInsn opc, TCGReg data,
634139c1837SPaolo Bonzini                         TCGReg addr, intptr_t offset)
635139c1837SPaolo Bonzini{
636139c1837SPaolo Bonzini    intptr_t imm12 = sextreg(offset, 0, 12);
637139c1837SPaolo Bonzini
638139c1837SPaolo Bonzini    if (offset != imm12) {
639139c1837SPaolo Bonzini        intptr_t diff = offset - (uintptr_t)s->code_ptr;
640139c1837SPaolo Bonzini
641139c1837SPaolo Bonzini        if (addr == TCG_REG_ZERO && diff == (int32_t)diff) {
642139c1837SPaolo Bonzini            imm12 = sextreg(diff, 0, 12);
643139c1837SPaolo Bonzini            tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP2, diff - imm12);
644139c1837SPaolo Bonzini        } else {
645139c1837SPaolo Bonzini            tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP2, offset - imm12);
646139c1837SPaolo Bonzini            if (addr != TCG_REG_ZERO) {
647139c1837SPaolo Bonzini                tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, addr);
648139c1837SPaolo Bonzini            }
649139c1837SPaolo Bonzini        }
650139c1837SPaolo Bonzini        addr = TCG_REG_TMP2;
651139c1837SPaolo Bonzini    }
652139c1837SPaolo Bonzini
653139c1837SPaolo Bonzini    switch (opc) {
654139c1837SPaolo Bonzini    case OPC_SB:
655139c1837SPaolo Bonzini    case OPC_SH:
656139c1837SPaolo Bonzini    case OPC_SW:
657139c1837SPaolo Bonzini    case OPC_SD:
658139c1837SPaolo Bonzini        tcg_out_opc_store(s, opc, addr, data, imm12);
659139c1837SPaolo Bonzini        break;
660139c1837SPaolo Bonzini    case OPC_LB:
661139c1837SPaolo Bonzini    case OPC_LBU:
662139c1837SPaolo Bonzini    case OPC_LH:
663139c1837SPaolo Bonzini    case OPC_LHU:
664139c1837SPaolo Bonzini    case OPC_LW:
665139c1837SPaolo Bonzini    case OPC_LWU:
666139c1837SPaolo Bonzini    case OPC_LD:
667139c1837SPaolo Bonzini        tcg_out_opc_imm(s, opc, data, addr, imm12);
668139c1837SPaolo Bonzini        break;
669139c1837SPaolo Bonzini    default:
670139c1837SPaolo Bonzini        g_assert_not_reached();
671139c1837SPaolo Bonzini    }
672139c1837SPaolo Bonzini}
673139c1837SPaolo Bonzini
674139c1837SPaolo Bonzinistatic void tcg_out_ld(TCGContext *s, TCGType type, TCGReg arg,
675139c1837SPaolo Bonzini                       TCGReg arg1, intptr_t arg2)
676139c1837SPaolo Bonzini{
677139c1837SPaolo Bonzini    bool is32bit = (TCG_TARGET_REG_BITS == 32 || type == TCG_TYPE_I32);
678139c1837SPaolo Bonzini    tcg_out_ldst(s, is32bit ? OPC_LW : OPC_LD, arg, arg1, arg2);
679139c1837SPaolo Bonzini}
680139c1837SPaolo Bonzini
681139c1837SPaolo Bonzinistatic void tcg_out_st(TCGContext *s, TCGType type, TCGReg arg,
682139c1837SPaolo Bonzini                       TCGReg arg1, intptr_t arg2)
683139c1837SPaolo Bonzini{
684139c1837SPaolo Bonzini    bool is32bit = (TCG_TARGET_REG_BITS == 32 || type == TCG_TYPE_I32);
685139c1837SPaolo Bonzini    tcg_out_ldst(s, is32bit ? OPC_SW : OPC_SD, arg, arg1, arg2);
686139c1837SPaolo Bonzini}
687139c1837SPaolo Bonzini
688139c1837SPaolo Bonzinistatic bool tcg_out_sti(TCGContext *s, TCGType type, TCGArg val,
689139c1837SPaolo Bonzini                        TCGReg base, intptr_t ofs)
690139c1837SPaolo Bonzini{
691139c1837SPaolo Bonzini    if (val == 0) {
692139c1837SPaolo Bonzini        tcg_out_st(s, type, TCG_REG_ZERO, base, ofs);
693139c1837SPaolo Bonzini        return true;
694139c1837SPaolo Bonzini    }
695139c1837SPaolo Bonzini    return false;
696139c1837SPaolo Bonzini}
697139c1837SPaolo Bonzini
698139c1837SPaolo Bonzinistatic void tcg_out_addsub2(TCGContext *s,
699139c1837SPaolo Bonzini                            TCGReg rl, TCGReg rh,
700139c1837SPaolo Bonzini                            TCGReg al, TCGReg ah,
701139c1837SPaolo Bonzini                            TCGArg bl, TCGArg bh,
702139c1837SPaolo Bonzini                            bool cbl, bool cbh, bool is_sub, bool is32bit)
703139c1837SPaolo Bonzini{
704139c1837SPaolo Bonzini    const RISCVInsn opc_add = is32bit ? OPC_ADDW : OPC_ADD;
705139c1837SPaolo Bonzini    const RISCVInsn opc_addi = is32bit ? OPC_ADDIW : OPC_ADDI;
706139c1837SPaolo Bonzini    const RISCVInsn opc_sub = is32bit ? OPC_SUBW : OPC_SUB;
707139c1837SPaolo Bonzini    TCGReg th = TCG_REG_TMP1;
708139c1837SPaolo Bonzini
709139c1837SPaolo Bonzini    /* If we have a negative constant such that negating it would
710139c1837SPaolo Bonzini       make the high part zero, we can (usually) eliminate one insn.  */
711139c1837SPaolo Bonzini    if (cbl && cbh && bh == -1 && bl != 0) {
712139c1837SPaolo Bonzini        bl = -bl;
713139c1837SPaolo Bonzini        bh = 0;
714139c1837SPaolo Bonzini        is_sub = !is_sub;
715139c1837SPaolo Bonzini    }
716139c1837SPaolo Bonzini
717139c1837SPaolo Bonzini    /* By operating on the high part first, we get to use the final
718139c1837SPaolo Bonzini       carry operation to move back from the temporary.  */
719139c1837SPaolo Bonzini    if (!cbh) {
720139c1837SPaolo Bonzini        tcg_out_opc_reg(s, (is_sub ? opc_sub : opc_add), th, ah, bh);
721139c1837SPaolo Bonzini    } else if (bh != 0 || ah == rl) {
722139c1837SPaolo Bonzini        tcg_out_opc_imm(s, opc_addi, th, ah, (is_sub ? -bh : bh));
723139c1837SPaolo Bonzini    } else {
724139c1837SPaolo Bonzini        th = ah;
725139c1837SPaolo Bonzini    }
726139c1837SPaolo Bonzini
727139c1837SPaolo Bonzini    /* Note that tcg optimization should eliminate the bl == 0 case.  */
728139c1837SPaolo Bonzini    if (is_sub) {
729139c1837SPaolo Bonzini        if (cbl) {
730139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, al, bl);
731139c1837SPaolo Bonzini            tcg_out_opc_imm(s, opc_addi, rl, al, -bl);
732139c1837SPaolo Bonzini        } else {
733139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0, al, bl);
734139c1837SPaolo Bonzini            tcg_out_opc_reg(s, opc_sub, rl, al, bl);
735139c1837SPaolo Bonzini        }
736139c1837SPaolo Bonzini        tcg_out_opc_reg(s, opc_sub, rh, th, TCG_REG_TMP0);
737139c1837SPaolo Bonzini    } else {
738139c1837SPaolo Bonzini        if (cbl) {
739139c1837SPaolo Bonzini            tcg_out_opc_imm(s, opc_addi, rl, al, bl);
740139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, rl, bl);
741139c1837SPaolo Bonzini        } else if (rl == al && rl == bl) {
742139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTI, TCG_REG_TMP0, al, 0);
743139c1837SPaolo Bonzini            tcg_out_opc_reg(s, opc_addi, rl, al, bl);
744139c1837SPaolo Bonzini        } else {
745139c1837SPaolo Bonzini            tcg_out_opc_reg(s, opc_add, rl, al, bl);
746139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0,
747139c1837SPaolo Bonzini                            rl, (rl == bl ? al : bl));
748139c1837SPaolo Bonzini        }
749139c1837SPaolo Bonzini        tcg_out_opc_reg(s, opc_add, rh, th, TCG_REG_TMP0);
750139c1837SPaolo Bonzini    }
751139c1837SPaolo Bonzini}
752139c1837SPaolo Bonzini
753139c1837SPaolo Bonzinistatic const struct {
754139c1837SPaolo Bonzini    RISCVInsn op;
755139c1837SPaolo Bonzini    bool swap;
756139c1837SPaolo Bonzini} tcg_brcond_to_riscv[] = {
757139c1837SPaolo Bonzini    [TCG_COND_EQ] =  { OPC_BEQ,  false },
758139c1837SPaolo Bonzini    [TCG_COND_NE] =  { OPC_BNE,  false },
759139c1837SPaolo Bonzini    [TCG_COND_LT] =  { OPC_BLT,  false },
760139c1837SPaolo Bonzini    [TCG_COND_GE] =  { OPC_BGE,  false },
761139c1837SPaolo Bonzini    [TCG_COND_LE] =  { OPC_BGE,  true  },
762139c1837SPaolo Bonzini    [TCG_COND_GT] =  { OPC_BLT,  true  },
763139c1837SPaolo Bonzini    [TCG_COND_LTU] = { OPC_BLTU, false },
764139c1837SPaolo Bonzini    [TCG_COND_GEU] = { OPC_BGEU, false },
765139c1837SPaolo Bonzini    [TCG_COND_LEU] = { OPC_BGEU, true  },
766139c1837SPaolo Bonzini    [TCG_COND_GTU] = { OPC_BLTU, true  }
767139c1837SPaolo Bonzini};
768139c1837SPaolo Bonzini
769139c1837SPaolo Bonzinistatic void tcg_out_brcond(TCGContext *s, TCGCond cond, TCGReg arg1,
770139c1837SPaolo Bonzini                           TCGReg arg2, TCGLabel *l)
771139c1837SPaolo Bonzini{
772139c1837SPaolo Bonzini    RISCVInsn op = tcg_brcond_to_riscv[cond].op;
773139c1837SPaolo Bonzini
774139c1837SPaolo Bonzini    tcg_debug_assert(op != 0);
775139c1837SPaolo Bonzini
776139c1837SPaolo Bonzini    if (tcg_brcond_to_riscv[cond].swap) {
777139c1837SPaolo Bonzini        TCGReg t = arg1;
778139c1837SPaolo Bonzini        arg1 = arg2;
779139c1837SPaolo Bonzini        arg2 = t;
780139c1837SPaolo Bonzini    }
781139c1837SPaolo Bonzini
782139c1837SPaolo Bonzini    if (l->has_value) {
783139c1837SPaolo Bonzini        intptr_t diff = tcg_pcrel_diff(s, l->u.value_ptr);
784139c1837SPaolo Bonzini        if (diff == sextreg(diff, 0, 12)) {
785139c1837SPaolo Bonzini            tcg_out_opc_branch(s, op, arg1, arg2, diff);
786139c1837SPaolo Bonzini        } else {
787139c1837SPaolo Bonzini            /* Invert the conditional branch.  */
788139c1837SPaolo Bonzini            tcg_out_opc_branch(s, op ^ (1 << 12), arg1, arg2, 8);
789139c1837SPaolo Bonzini            tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, diff - 4);
790139c1837SPaolo Bonzini        }
791139c1837SPaolo Bonzini    } else {
792139c1837SPaolo Bonzini        tcg_out_reloc(s, s->code_ptr, R_RISCV_BRANCH, l, 0);
793139c1837SPaolo Bonzini        tcg_out_opc_branch(s, op, arg1, arg2, 0);
794139c1837SPaolo Bonzini        /* NOP to allow patching later */
795139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_ZERO, TCG_REG_ZERO, 0);
796139c1837SPaolo Bonzini    }
797139c1837SPaolo Bonzini}
798139c1837SPaolo Bonzini
799139c1837SPaolo Bonzinistatic void tcg_out_setcond(TCGContext *s, TCGCond cond, TCGReg ret,
800139c1837SPaolo Bonzini                            TCGReg arg1, TCGReg arg2)
801139c1837SPaolo Bonzini{
802139c1837SPaolo Bonzini    switch (cond) {
803139c1837SPaolo Bonzini    case TCG_COND_EQ:
804139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, ret, arg1, arg2);
805139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SLTIU, ret, ret, 1);
806139c1837SPaolo Bonzini        break;
807139c1837SPaolo Bonzini    case TCG_COND_NE:
808139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, ret, arg1, arg2);
809139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, TCG_REG_ZERO, ret);
810139c1837SPaolo Bonzini        break;
811139c1837SPaolo Bonzini    case TCG_COND_LT:
812139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2);
813139c1837SPaolo Bonzini        break;
814139c1837SPaolo Bonzini    case TCG_COND_GE:
815139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2);
816139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
817139c1837SPaolo Bonzini        break;
818139c1837SPaolo Bonzini    case TCG_COND_LE:
819139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg2, arg1);
820139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
821139c1837SPaolo Bonzini        break;
822139c1837SPaolo Bonzini    case TCG_COND_GT:
823139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLT, ret, arg2, arg1);
824139c1837SPaolo Bonzini        break;
825139c1837SPaolo Bonzini    case TCG_COND_LTU:
826139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2);
827139c1837SPaolo Bonzini        break;
828139c1837SPaolo Bonzini    case TCG_COND_GEU:
829139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2);
830139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
831139c1837SPaolo Bonzini        break;
832139c1837SPaolo Bonzini    case TCG_COND_LEU:
833139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg2, arg1);
834139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
835139c1837SPaolo Bonzini        break;
836139c1837SPaolo Bonzini    case TCG_COND_GTU:
837139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SLTU, ret, arg2, arg1);
838139c1837SPaolo Bonzini        break;
839139c1837SPaolo Bonzini    default:
840139c1837SPaolo Bonzini         g_assert_not_reached();
841139c1837SPaolo Bonzini         break;
842139c1837SPaolo Bonzini     }
843139c1837SPaolo Bonzini}
844139c1837SPaolo Bonzini
845139c1837SPaolo Bonzinistatic void tcg_out_brcond2(TCGContext *s, TCGCond cond, TCGReg al, TCGReg ah,
846139c1837SPaolo Bonzini                            TCGReg bl, TCGReg bh, TCGLabel *l)
847139c1837SPaolo Bonzini{
848139c1837SPaolo Bonzini    /* todo */
849139c1837SPaolo Bonzini    g_assert_not_reached();
850139c1837SPaolo Bonzini}
851139c1837SPaolo Bonzini
852139c1837SPaolo Bonzinistatic void tcg_out_setcond2(TCGContext *s, TCGCond cond, TCGReg ret,
853139c1837SPaolo Bonzini                             TCGReg al, TCGReg ah, TCGReg bl, TCGReg bh)
854139c1837SPaolo Bonzini{
855139c1837SPaolo Bonzini    /* todo */
856139c1837SPaolo Bonzini    g_assert_not_reached();
857139c1837SPaolo Bonzini}
858139c1837SPaolo Bonzini
859139c1837SPaolo Bonzinistatic inline void tcg_out_goto(TCGContext *s, tcg_insn_unit *target)
860139c1837SPaolo Bonzini{
861139c1837SPaolo Bonzini    ptrdiff_t offset = tcg_pcrel_diff(s, target);
862139c1837SPaolo Bonzini    tcg_debug_assert(offset == sextreg(offset, 1, 20) << 1);
863139c1837SPaolo Bonzini    tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, offset);
864139c1837SPaolo Bonzini}
865139c1837SPaolo Bonzini
866139c1837SPaolo Bonzinistatic void tcg_out_call_int(TCGContext *s, tcg_insn_unit *arg, bool tail)
867139c1837SPaolo Bonzini{
868139c1837SPaolo Bonzini    TCGReg link = tail ? TCG_REG_ZERO : TCG_REG_RA;
869139c1837SPaolo Bonzini    ptrdiff_t offset = tcg_pcrel_diff(s, arg);
870139c1837SPaolo Bonzini    int ret;
871139c1837SPaolo Bonzini
872139c1837SPaolo Bonzini    if (offset == sextreg(offset, 1, 20) << 1) {
873139c1837SPaolo Bonzini        /* short jump: -2097150 to 2097152 */
874139c1837SPaolo Bonzini        tcg_out_opc_jump(s, OPC_JAL, link, offset);
875139c1837SPaolo Bonzini    } else if (TCG_TARGET_REG_BITS == 32 ||
876139c1837SPaolo Bonzini        offset == sextreg(offset, 1, 31) << 1) {
877139c1837SPaolo Bonzini        /* long jump: -2147483646 to 2147483648 */
878139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP0, 0);
879139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, 0);
880139c1837SPaolo Bonzini        ret = reloc_call(s->code_ptr - 2, arg);\
881139c1837SPaolo Bonzini        tcg_debug_assert(ret == true);
882139c1837SPaolo Bonzini    } else if (TCG_TARGET_REG_BITS == 64) {
883139c1837SPaolo Bonzini        /* far jump: 64-bit */
884139c1837SPaolo Bonzini        tcg_target_long imm = sextreg((tcg_target_long)arg, 0, 12);
885139c1837SPaolo Bonzini        tcg_target_long base = (tcg_target_long)arg - imm;
886139c1837SPaolo Bonzini        tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP0, base);
887139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, imm);
888139c1837SPaolo Bonzini    } else {
889139c1837SPaolo Bonzini        g_assert_not_reached();
890139c1837SPaolo Bonzini    }
891139c1837SPaolo Bonzini}
892139c1837SPaolo Bonzini
893139c1837SPaolo Bonzinistatic void tcg_out_call(TCGContext *s, tcg_insn_unit *arg)
894139c1837SPaolo Bonzini{
895139c1837SPaolo Bonzini    tcg_out_call_int(s, arg, false);
896139c1837SPaolo Bonzini}
897139c1837SPaolo Bonzini
898139c1837SPaolo Bonzinistatic void tcg_out_mb(TCGContext *s, TCGArg a0)
899139c1837SPaolo Bonzini{
900139c1837SPaolo Bonzini    tcg_insn_unit insn = OPC_FENCE;
901139c1837SPaolo Bonzini
902139c1837SPaolo Bonzini    if (a0 & TCG_MO_LD_LD) {
903139c1837SPaolo Bonzini        insn |= 0x02200000;
904139c1837SPaolo Bonzini    }
905139c1837SPaolo Bonzini    if (a0 & TCG_MO_ST_LD) {
906139c1837SPaolo Bonzini        insn |= 0x01200000;
907139c1837SPaolo Bonzini    }
908139c1837SPaolo Bonzini    if (a0 & TCG_MO_LD_ST) {
909139c1837SPaolo Bonzini        insn |= 0x02100000;
910139c1837SPaolo Bonzini    }
911139c1837SPaolo Bonzini    if (a0 & TCG_MO_ST_ST) {
912139c1837SPaolo Bonzini        insn |= 0x02200000;
913139c1837SPaolo Bonzini    }
914139c1837SPaolo Bonzini    tcg_out32(s, insn);
915139c1837SPaolo Bonzini}
916139c1837SPaolo Bonzini
917139c1837SPaolo Bonzini/*
918139c1837SPaolo Bonzini * Load/store and TLB
919139c1837SPaolo Bonzini */
920139c1837SPaolo Bonzini
921139c1837SPaolo Bonzini#if defined(CONFIG_SOFTMMU)
922139c1837SPaolo Bonzini#include "../tcg-ldst.c.inc"
923139c1837SPaolo Bonzini
924139c1837SPaolo Bonzini/* helper signature: helper_ret_ld_mmu(CPUState *env, target_ulong addr,
925139c1837SPaolo Bonzini *                                     TCGMemOpIdx oi, uintptr_t ra)
926139c1837SPaolo Bonzini */
927139c1837SPaolo Bonzinistatic void * const qemu_ld_helpers[16] = {
928139c1837SPaolo Bonzini    [MO_UB]   = helper_ret_ldub_mmu,
929139c1837SPaolo Bonzini    [MO_SB]   = helper_ret_ldsb_mmu,
930139c1837SPaolo Bonzini    [MO_LEUW] = helper_le_lduw_mmu,
931139c1837SPaolo Bonzini    [MO_LESW] = helper_le_ldsw_mmu,
932139c1837SPaolo Bonzini    [MO_LEUL] = helper_le_ldul_mmu,
933139c1837SPaolo Bonzini#if TCG_TARGET_REG_BITS == 64
934139c1837SPaolo Bonzini    [MO_LESL] = helper_le_ldsl_mmu,
935139c1837SPaolo Bonzini#endif
936139c1837SPaolo Bonzini    [MO_LEQ]  = helper_le_ldq_mmu,
937139c1837SPaolo Bonzini    [MO_BEUW] = helper_be_lduw_mmu,
938139c1837SPaolo Bonzini    [MO_BESW] = helper_be_ldsw_mmu,
939139c1837SPaolo Bonzini    [MO_BEUL] = helper_be_ldul_mmu,
940139c1837SPaolo Bonzini#if TCG_TARGET_REG_BITS == 64
941139c1837SPaolo Bonzini    [MO_BESL] = helper_be_ldsl_mmu,
942139c1837SPaolo Bonzini#endif
943139c1837SPaolo Bonzini    [MO_BEQ]  = helper_be_ldq_mmu,
944139c1837SPaolo Bonzini};
945139c1837SPaolo Bonzini
946139c1837SPaolo Bonzini/* helper signature: helper_ret_st_mmu(CPUState *env, target_ulong addr,
947139c1837SPaolo Bonzini *                                     uintxx_t val, TCGMemOpIdx oi,
948139c1837SPaolo Bonzini *                                     uintptr_t ra)
949139c1837SPaolo Bonzini */
950139c1837SPaolo Bonzinistatic void * const qemu_st_helpers[16] = {
951139c1837SPaolo Bonzini    [MO_UB]   = helper_ret_stb_mmu,
952139c1837SPaolo Bonzini    [MO_LEUW] = helper_le_stw_mmu,
953139c1837SPaolo Bonzini    [MO_LEUL] = helper_le_stl_mmu,
954139c1837SPaolo Bonzini    [MO_LEQ]  = helper_le_stq_mmu,
955139c1837SPaolo Bonzini    [MO_BEUW] = helper_be_stw_mmu,
956139c1837SPaolo Bonzini    [MO_BEUL] = helper_be_stl_mmu,
957139c1837SPaolo Bonzini    [MO_BEQ]  = helper_be_stq_mmu,
958139c1837SPaolo Bonzini};
959139c1837SPaolo Bonzini
960139c1837SPaolo Bonzini/* We don't support oversize guests */
961139c1837SPaolo BonziniQEMU_BUILD_BUG_ON(TCG_TARGET_REG_BITS < TARGET_LONG_BITS);
962139c1837SPaolo Bonzini
963139c1837SPaolo Bonzini/* We expect to use a 12-bit negative offset from ENV.  */
964139c1837SPaolo BonziniQEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) > 0);
965139c1837SPaolo BonziniQEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) < -(1 << 11));
966139c1837SPaolo Bonzini
967139c1837SPaolo Bonzinistatic void tcg_out_tlb_load(TCGContext *s, TCGReg addrl,
968139c1837SPaolo Bonzini                             TCGReg addrh, TCGMemOpIdx oi,
969139c1837SPaolo Bonzini                             tcg_insn_unit **label_ptr, bool is_load)
970139c1837SPaolo Bonzini{
971139c1837SPaolo Bonzini    MemOp opc = get_memop(oi);
972139c1837SPaolo Bonzini    unsigned s_bits = opc & MO_SIZE;
973139c1837SPaolo Bonzini    unsigned a_bits = get_alignment_bits(opc);
974139c1837SPaolo Bonzini    tcg_target_long compare_mask;
975139c1837SPaolo Bonzini    int mem_index = get_mmuidx(oi);
976139c1837SPaolo Bonzini    int fast_ofs = TLB_MASK_TABLE_OFS(mem_index);
977139c1837SPaolo Bonzini    int mask_ofs = fast_ofs + offsetof(CPUTLBDescFast, mask);
978139c1837SPaolo Bonzini    int table_ofs = fast_ofs + offsetof(CPUTLBDescFast, table);
979139c1837SPaolo Bonzini    TCGReg mask_base = TCG_AREG0, table_base = TCG_AREG0;
980139c1837SPaolo Bonzini
981139c1837SPaolo Bonzini    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, mask_base, mask_ofs);
982139c1837SPaolo Bonzini    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP1, table_base, table_ofs);
983139c1837SPaolo Bonzini
984139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_SRLI, TCG_REG_TMP2, addrl,
985139c1837SPaolo Bonzini                    TARGET_PAGE_BITS - CPU_TLB_ENTRY_BITS);
986139c1837SPaolo Bonzini    tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP0);
987139c1837SPaolo Bonzini    tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP1);
988139c1837SPaolo Bonzini
989139c1837SPaolo Bonzini    /* Load the tlb comparator and the addend.  */
990139c1837SPaolo Bonzini    tcg_out_ld(s, TCG_TYPE_TL, TCG_REG_TMP0, TCG_REG_TMP2,
991139c1837SPaolo Bonzini               is_load ? offsetof(CPUTLBEntry, addr_read)
992139c1837SPaolo Bonzini               : offsetof(CPUTLBEntry, addr_write));
993139c1837SPaolo Bonzini    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP2, TCG_REG_TMP2,
994139c1837SPaolo Bonzini               offsetof(CPUTLBEntry, addend));
995139c1837SPaolo Bonzini
996139c1837SPaolo Bonzini    /* We don't support unaligned accesses. */
997139c1837SPaolo Bonzini    if (a_bits < s_bits) {
998139c1837SPaolo Bonzini        a_bits = s_bits;
999139c1837SPaolo Bonzini    }
1000139c1837SPaolo Bonzini    /* Clear the non-page, non-alignment bits from the address.  */
1001139c1837SPaolo Bonzini    compare_mask = (tcg_target_long)TARGET_PAGE_MASK | ((1 << a_bits) - 1);
1002139c1837SPaolo Bonzini    if (compare_mask == sextreg(compare_mask, 0, 12)) {
1003139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addrl, compare_mask);
1004139c1837SPaolo Bonzini    } else {
1005139c1837SPaolo Bonzini        tcg_out_movi(s, TCG_TYPE_TL, TCG_REG_TMP1, compare_mask);
1006139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP1, TCG_REG_TMP1, addrl);
1007139c1837SPaolo Bonzini    }
1008139c1837SPaolo Bonzini
1009139c1837SPaolo Bonzini    /* Compare masked address with the TLB entry. */
1010139c1837SPaolo Bonzini    label_ptr[0] = s->code_ptr;
1011139c1837SPaolo Bonzini    tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP0, TCG_REG_TMP1, 0);
1012139c1837SPaolo Bonzini    /* NOP to allow patching later */
1013139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_ZERO, TCG_REG_ZERO, 0);
1014139c1837SPaolo Bonzini
1015139c1837SPaolo Bonzini    /* TLB Hit - translate address using addend.  */
1016139c1837SPaolo Bonzini    if (TCG_TARGET_REG_BITS > TARGET_LONG_BITS) {
1017139c1837SPaolo Bonzini        tcg_out_ext32u(s, TCG_REG_TMP0, addrl);
1018139c1837SPaolo Bonzini        addrl = TCG_REG_TMP0;
1019139c1837SPaolo Bonzini    }
1020139c1837SPaolo Bonzini    tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, TCG_REG_TMP2, addrl);
1021139c1837SPaolo Bonzini}
1022139c1837SPaolo Bonzini
1023139c1837SPaolo Bonzinistatic void add_qemu_ldst_label(TCGContext *s, int is_ld, TCGMemOpIdx oi,
1024139c1837SPaolo Bonzini                                TCGType ext,
1025139c1837SPaolo Bonzini                                TCGReg datalo, TCGReg datahi,
1026139c1837SPaolo Bonzini                                TCGReg addrlo, TCGReg addrhi,
1027139c1837SPaolo Bonzini                                void *raddr, tcg_insn_unit **label_ptr)
1028139c1837SPaolo Bonzini{
1029139c1837SPaolo Bonzini    TCGLabelQemuLdst *label = new_ldst_label(s);
1030139c1837SPaolo Bonzini
1031139c1837SPaolo Bonzini    label->is_ld = is_ld;
1032139c1837SPaolo Bonzini    label->oi = oi;
1033139c1837SPaolo Bonzini    label->type = ext;
1034139c1837SPaolo Bonzini    label->datalo_reg = datalo;
1035139c1837SPaolo Bonzini    label->datahi_reg = datahi;
1036139c1837SPaolo Bonzini    label->addrlo_reg = addrlo;
1037139c1837SPaolo Bonzini    label->addrhi_reg = addrhi;
1038139c1837SPaolo Bonzini    label->raddr = raddr;
1039139c1837SPaolo Bonzini    label->label_ptr[0] = label_ptr[0];
1040139c1837SPaolo Bonzini}
1041139c1837SPaolo Bonzini
1042139c1837SPaolo Bonzinistatic bool tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
1043139c1837SPaolo Bonzini{
1044139c1837SPaolo Bonzini    TCGMemOpIdx oi = l->oi;
1045139c1837SPaolo Bonzini    MemOp opc = get_memop(oi);
1046139c1837SPaolo Bonzini    TCGReg a0 = tcg_target_call_iarg_regs[0];
1047139c1837SPaolo Bonzini    TCGReg a1 = tcg_target_call_iarg_regs[1];
1048139c1837SPaolo Bonzini    TCGReg a2 = tcg_target_call_iarg_regs[2];
1049139c1837SPaolo Bonzini    TCGReg a3 = tcg_target_call_iarg_regs[3];
1050139c1837SPaolo Bonzini
1051139c1837SPaolo Bonzini    /* We don't support oversize guests */
1052139c1837SPaolo Bonzini    if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
1053139c1837SPaolo Bonzini        g_assert_not_reached();
1054139c1837SPaolo Bonzini    }
1055139c1837SPaolo Bonzini
1056139c1837SPaolo Bonzini    /* resolve label address */
1057139c1837SPaolo Bonzini    if (!patch_reloc(l->label_ptr[0], R_RISCV_BRANCH,
1058139c1837SPaolo Bonzini                     (intptr_t) s->code_ptr, 0)) {
1059139c1837SPaolo Bonzini        return false;
1060139c1837SPaolo Bonzini    }
1061139c1837SPaolo Bonzini
1062139c1837SPaolo Bonzini    /* call load helper */
1063139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, a0, TCG_AREG0);
1064139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, a1, l->addrlo_reg);
1065139c1837SPaolo Bonzini    tcg_out_movi(s, TCG_TYPE_PTR, a2, oi);
1066139c1837SPaolo Bonzini    tcg_out_movi(s, TCG_TYPE_PTR, a3, (tcg_target_long)l->raddr);
1067139c1837SPaolo Bonzini
1068139c1837SPaolo Bonzini    tcg_out_call(s, qemu_ld_helpers[opc & (MO_BSWAP | MO_SSIZE)]);
1069139c1837SPaolo Bonzini    tcg_out_mov(s, (opc & MO_SIZE) == MO_64, l->datalo_reg, a0);
1070139c1837SPaolo Bonzini
1071139c1837SPaolo Bonzini    tcg_out_goto(s, l->raddr);
1072139c1837SPaolo Bonzini    return true;
1073139c1837SPaolo Bonzini}
1074139c1837SPaolo Bonzini
1075139c1837SPaolo Bonzinistatic bool tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
1076139c1837SPaolo Bonzini{
1077139c1837SPaolo Bonzini    TCGMemOpIdx oi = l->oi;
1078139c1837SPaolo Bonzini    MemOp opc = get_memop(oi);
1079139c1837SPaolo Bonzini    MemOp s_bits = opc & MO_SIZE;
1080139c1837SPaolo Bonzini    TCGReg a0 = tcg_target_call_iarg_regs[0];
1081139c1837SPaolo Bonzini    TCGReg a1 = tcg_target_call_iarg_regs[1];
1082139c1837SPaolo Bonzini    TCGReg a2 = tcg_target_call_iarg_regs[2];
1083139c1837SPaolo Bonzini    TCGReg a3 = tcg_target_call_iarg_regs[3];
1084139c1837SPaolo Bonzini    TCGReg a4 = tcg_target_call_iarg_regs[4];
1085139c1837SPaolo Bonzini
1086139c1837SPaolo Bonzini    /* We don't support oversize guests */
1087139c1837SPaolo Bonzini    if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
1088139c1837SPaolo Bonzini        g_assert_not_reached();
1089139c1837SPaolo Bonzini    }
1090139c1837SPaolo Bonzini
1091139c1837SPaolo Bonzini    /* resolve label address */
1092139c1837SPaolo Bonzini    if (!patch_reloc(l->label_ptr[0], R_RISCV_BRANCH,
1093139c1837SPaolo Bonzini                     (intptr_t) s->code_ptr, 0)) {
1094139c1837SPaolo Bonzini        return false;
1095139c1837SPaolo Bonzini    }
1096139c1837SPaolo Bonzini
1097139c1837SPaolo Bonzini    /* call store helper */
1098139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, a0, TCG_AREG0);
1099139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, a1, l->addrlo_reg);
1100139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, a2, l->datalo_reg);
1101139c1837SPaolo Bonzini    switch (s_bits) {
1102139c1837SPaolo Bonzini    case MO_8:
1103139c1837SPaolo Bonzini        tcg_out_ext8u(s, a2, a2);
1104139c1837SPaolo Bonzini        break;
1105139c1837SPaolo Bonzini    case MO_16:
1106139c1837SPaolo Bonzini        tcg_out_ext16u(s, a2, a2);
1107139c1837SPaolo Bonzini        break;
1108139c1837SPaolo Bonzini    default:
1109139c1837SPaolo Bonzini        break;
1110139c1837SPaolo Bonzini    }
1111139c1837SPaolo Bonzini    tcg_out_movi(s, TCG_TYPE_PTR, a3, oi);
1112139c1837SPaolo Bonzini    tcg_out_movi(s, TCG_TYPE_PTR, a4, (tcg_target_long)l->raddr);
1113139c1837SPaolo Bonzini
1114139c1837SPaolo Bonzini    tcg_out_call(s, qemu_st_helpers[opc & (MO_BSWAP | MO_SSIZE)]);
1115139c1837SPaolo Bonzini
1116139c1837SPaolo Bonzini    tcg_out_goto(s, l->raddr);
1117139c1837SPaolo Bonzini    return true;
1118139c1837SPaolo Bonzini}
1119139c1837SPaolo Bonzini#endif /* CONFIG_SOFTMMU */
1120139c1837SPaolo Bonzini
1121139c1837SPaolo Bonzinistatic void tcg_out_qemu_ld_direct(TCGContext *s, TCGReg lo, TCGReg hi,
1122139c1837SPaolo Bonzini                                   TCGReg base, MemOp opc, bool is_64)
1123139c1837SPaolo Bonzini{
1124139c1837SPaolo Bonzini    const MemOp bswap = opc & MO_BSWAP;
1125139c1837SPaolo Bonzini
1126139c1837SPaolo Bonzini    /* We don't yet handle byteswapping, assert */
1127139c1837SPaolo Bonzini    g_assert(!bswap);
1128139c1837SPaolo Bonzini
1129139c1837SPaolo Bonzini    switch (opc & (MO_SSIZE)) {
1130139c1837SPaolo Bonzini    case MO_UB:
1131139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_LBU, lo, base, 0);
1132139c1837SPaolo Bonzini        break;
1133139c1837SPaolo Bonzini    case MO_SB:
1134139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_LB, lo, base, 0);
1135139c1837SPaolo Bonzini        break;
1136139c1837SPaolo Bonzini    case MO_UW:
1137139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_LHU, lo, base, 0);
1138139c1837SPaolo Bonzini        break;
1139139c1837SPaolo Bonzini    case MO_SW:
1140139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_LH, lo, base, 0);
1141139c1837SPaolo Bonzini        break;
1142139c1837SPaolo Bonzini    case MO_UL:
1143139c1837SPaolo Bonzini        if (TCG_TARGET_REG_BITS == 64 && is_64) {
1144139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_LWU, lo, base, 0);
1145139c1837SPaolo Bonzini            break;
1146139c1837SPaolo Bonzini        }
1147139c1837SPaolo Bonzini        /* FALLTHRU */
1148139c1837SPaolo Bonzini    case MO_SL:
1149139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_LW, lo, base, 0);
1150139c1837SPaolo Bonzini        break;
1151139c1837SPaolo Bonzini    case MO_Q:
1152139c1837SPaolo Bonzini        /* Prefer to load from offset 0 first, but allow for overlap.  */
1153139c1837SPaolo Bonzini        if (TCG_TARGET_REG_BITS == 64) {
1154139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_LD, lo, base, 0);
1155139c1837SPaolo Bonzini        } else if (lo != base) {
1156139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_LW, lo, base, 0);
1157139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_LW, hi, base, 4);
1158139c1837SPaolo Bonzini        } else {
1159139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_LW, hi, base, 4);
1160139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_LW, lo, base, 0);
1161139c1837SPaolo Bonzini        }
1162139c1837SPaolo Bonzini        break;
1163139c1837SPaolo Bonzini    default:
1164139c1837SPaolo Bonzini        g_assert_not_reached();
1165139c1837SPaolo Bonzini    }
1166139c1837SPaolo Bonzini}
1167139c1837SPaolo Bonzini
1168139c1837SPaolo Bonzinistatic void tcg_out_qemu_ld(TCGContext *s, const TCGArg *args, bool is_64)
1169139c1837SPaolo Bonzini{
1170139c1837SPaolo Bonzini    TCGReg addr_regl, addr_regh __attribute__((unused));
1171139c1837SPaolo Bonzini    TCGReg data_regl, data_regh;
1172139c1837SPaolo Bonzini    TCGMemOpIdx oi;
1173139c1837SPaolo Bonzini    MemOp opc;
1174139c1837SPaolo Bonzini#if defined(CONFIG_SOFTMMU)
1175139c1837SPaolo Bonzini    tcg_insn_unit *label_ptr[1];
1176139c1837SPaolo Bonzini#endif
1177139c1837SPaolo Bonzini    TCGReg base = TCG_REG_TMP0;
1178139c1837SPaolo Bonzini
1179139c1837SPaolo Bonzini    data_regl = *args++;
1180139c1837SPaolo Bonzini    data_regh = (TCG_TARGET_REG_BITS == 32 && is_64 ? *args++ : 0);
1181139c1837SPaolo Bonzini    addr_regl = *args++;
1182139c1837SPaolo Bonzini    addr_regh = (TCG_TARGET_REG_BITS < TARGET_LONG_BITS ? *args++ : 0);
1183139c1837SPaolo Bonzini    oi = *args++;
1184139c1837SPaolo Bonzini    opc = get_memop(oi);
1185139c1837SPaolo Bonzini
1186139c1837SPaolo Bonzini#if defined(CONFIG_SOFTMMU)
1187139c1837SPaolo Bonzini    tcg_out_tlb_load(s, addr_regl, addr_regh, oi, label_ptr, 1);
1188139c1837SPaolo Bonzini    tcg_out_qemu_ld_direct(s, data_regl, data_regh, base, opc, is_64);
1189139c1837SPaolo Bonzini    add_qemu_ldst_label(s, 1, oi,
1190139c1837SPaolo Bonzini                        (is_64 ? TCG_TYPE_I64 : TCG_TYPE_I32),
1191139c1837SPaolo Bonzini                        data_regl, data_regh, addr_regl, addr_regh,
1192139c1837SPaolo Bonzini                        s->code_ptr, label_ptr);
1193139c1837SPaolo Bonzini#else
1194139c1837SPaolo Bonzini    if (TCG_TARGET_REG_BITS > TARGET_LONG_BITS) {
1195139c1837SPaolo Bonzini        tcg_out_ext32u(s, base, addr_regl);
1196139c1837SPaolo Bonzini        addr_regl = base;
1197139c1837SPaolo Bonzini    }
1198139c1837SPaolo Bonzini
1199139c1837SPaolo Bonzini    if (guest_base == 0) {
1200139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_ADD, base, addr_regl, TCG_REG_ZERO);
1201139c1837SPaolo Bonzini    } else {
1202139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_ADD, base, TCG_GUEST_BASE_REG, addr_regl);
1203139c1837SPaolo Bonzini    }
1204139c1837SPaolo Bonzini    tcg_out_qemu_ld_direct(s, data_regl, data_regh, base, opc, is_64);
1205139c1837SPaolo Bonzini#endif
1206139c1837SPaolo Bonzini}
1207139c1837SPaolo Bonzini
1208139c1837SPaolo Bonzinistatic void tcg_out_qemu_st_direct(TCGContext *s, TCGReg lo, TCGReg hi,
1209139c1837SPaolo Bonzini                                   TCGReg base, MemOp opc)
1210139c1837SPaolo Bonzini{
1211139c1837SPaolo Bonzini    const MemOp bswap = opc & MO_BSWAP;
1212139c1837SPaolo Bonzini
1213139c1837SPaolo Bonzini    /* We don't yet handle byteswapping, assert */
1214139c1837SPaolo Bonzini    g_assert(!bswap);
1215139c1837SPaolo Bonzini
1216139c1837SPaolo Bonzini    switch (opc & (MO_SSIZE)) {
1217139c1837SPaolo Bonzini    case MO_8:
1218139c1837SPaolo Bonzini        tcg_out_opc_store(s, OPC_SB, base, lo, 0);
1219139c1837SPaolo Bonzini        break;
1220139c1837SPaolo Bonzini    case MO_16:
1221139c1837SPaolo Bonzini        tcg_out_opc_store(s, OPC_SH, base, lo, 0);
1222139c1837SPaolo Bonzini        break;
1223139c1837SPaolo Bonzini    case MO_32:
1224139c1837SPaolo Bonzini        tcg_out_opc_store(s, OPC_SW, base, lo, 0);
1225139c1837SPaolo Bonzini        break;
1226139c1837SPaolo Bonzini    case MO_64:
1227139c1837SPaolo Bonzini        if (TCG_TARGET_REG_BITS == 64) {
1228139c1837SPaolo Bonzini            tcg_out_opc_store(s, OPC_SD, base, lo, 0);
1229139c1837SPaolo Bonzini        } else {
1230139c1837SPaolo Bonzini            tcg_out_opc_store(s, OPC_SW, base, lo, 0);
1231139c1837SPaolo Bonzini            tcg_out_opc_store(s, OPC_SW, base, hi, 4);
1232139c1837SPaolo Bonzini        }
1233139c1837SPaolo Bonzini        break;
1234139c1837SPaolo Bonzini    default:
1235139c1837SPaolo Bonzini        g_assert_not_reached();
1236139c1837SPaolo Bonzini    }
1237139c1837SPaolo Bonzini}
1238139c1837SPaolo Bonzini
1239139c1837SPaolo Bonzinistatic void tcg_out_qemu_st(TCGContext *s, const TCGArg *args, bool is_64)
1240139c1837SPaolo Bonzini{
1241139c1837SPaolo Bonzini    TCGReg addr_regl, addr_regh __attribute__((unused));
1242139c1837SPaolo Bonzini    TCGReg data_regl, data_regh;
1243139c1837SPaolo Bonzini    TCGMemOpIdx oi;
1244139c1837SPaolo Bonzini    MemOp opc;
1245139c1837SPaolo Bonzini#if defined(CONFIG_SOFTMMU)
1246139c1837SPaolo Bonzini    tcg_insn_unit *label_ptr[1];
1247139c1837SPaolo Bonzini#endif
1248139c1837SPaolo Bonzini    TCGReg base = TCG_REG_TMP0;
1249139c1837SPaolo Bonzini
1250139c1837SPaolo Bonzini    data_regl = *args++;
1251139c1837SPaolo Bonzini    data_regh = (TCG_TARGET_REG_BITS == 32 && is_64 ? *args++ : 0);
1252139c1837SPaolo Bonzini    addr_regl = *args++;
1253139c1837SPaolo Bonzini    addr_regh = (TCG_TARGET_REG_BITS < TARGET_LONG_BITS ? *args++ : 0);
1254139c1837SPaolo Bonzini    oi = *args++;
1255139c1837SPaolo Bonzini    opc = get_memop(oi);
1256139c1837SPaolo Bonzini
1257139c1837SPaolo Bonzini#if defined(CONFIG_SOFTMMU)
1258139c1837SPaolo Bonzini    tcg_out_tlb_load(s, addr_regl, addr_regh, oi, label_ptr, 0);
1259139c1837SPaolo Bonzini    tcg_out_qemu_st_direct(s, data_regl, data_regh, base, opc);
1260139c1837SPaolo Bonzini    add_qemu_ldst_label(s, 0, oi,
1261139c1837SPaolo Bonzini                        (is_64 ? TCG_TYPE_I64 : TCG_TYPE_I32),
1262139c1837SPaolo Bonzini                        data_regl, data_regh, addr_regl, addr_regh,
1263139c1837SPaolo Bonzini                        s->code_ptr, label_ptr);
1264139c1837SPaolo Bonzini#else
1265139c1837SPaolo Bonzini    if (TCG_TARGET_REG_BITS > TARGET_LONG_BITS) {
1266139c1837SPaolo Bonzini        tcg_out_ext32u(s, base, addr_regl);
1267139c1837SPaolo Bonzini        addr_regl = base;
1268139c1837SPaolo Bonzini    }
1269139c1837SPaolo Bonzini
1270139c1837SPaolo Bonzini    if (guest_base == 0) {
1271139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_ADD, base, addr_regl, TCG_REG_ZERO);
1272139c1837SPaolo Bonzini    } else {
1273139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_ADD, base, TCG_GUEST_BASE_REG, addr_regl);
1274139c1837SPaolo Bonzini    }
1275139c1837SPaolo Bonzini    tcg_out_qemu_st_direct(s, data_regl, data_regh, base, opc);
1276139c1837SPaolo Bonzini#endif
1277139c1837SPaolo Bonzini}
1278139c1837SPaolo Bonzini
1279139c1837SPaolo Bonzinistatic tcg_insn_unit *tb_ret_addr;
1280139c1837SPaolo Bonzini
1281139c1837SPaolo Bonzinistatic void tcg_out_op(TCGContext *s, TCGOpcode opc,
1282139c1837SPaolo Bonzini                       const TCGArg *args, const int *const_args)
1283139c1837SPaolo Bonzini{
1284139c1837SPaolo Bonzini    TCGArg a0 = args[0];
1285139c1837SPaolo Bonzini    TCGArg a1 = args[1];
1286139c1837SPaolo Bonzini    TCGArg a2 = args[2];
1287139c1837SPaolo Bonzini    int c2 = const_args[2];
1288139c1837SPaolo Bonzini
1289139c1837SPaolo Bonzini    switch (opc) {
1290139c1837SPaolo Bonzini    case INDEX_op_exit_tb:
1291139c1837SPaolo Bonzini        /* Reuse the zeroing that exists for goto_ptr.  */
1292139c1837SPaolo Bonzini        if (a0 == 0) {
1293139c1837SPaolo Bonzini            tcg_out_call_int(s, s->code_gen_epilogue, true);
1294139c1837SPaolo Bonzini        } else {
1295139c1837SPaolo Bonzini            tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_A0, a0);
1296139c1837SPaolo Bonzini            tcg_out_call_int(s, tb_ret_addr, true);
1297139c1837SPaolo Bonzini        }
1298139c1837SPaolo Bonzini        break;
1299139c1837SPaolo Bonzini
1300139c1837SPaolo Bonzini    case INDEX_op_goto_tb:
1301139c1837SPaolo Bonzini        assert(s->tb_jmp_insn_offset == 0);
1302139c1837SPaolo Bonzini        /* indirect jump method */
1303139c1837SPaolo Bonzini        tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_REG_ZERO,
1304139c1837SPaolo Bonzini                   (uintptr_t)(s->tb_jmp_target_addr + a0));
1305139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_TMP0, 0);
1306139c1837SPaolo Bonzini        set_jmp_reset_offset(s, a0);
1307139c1837SPaolo Bonzini        break;
1308139c1837SPaolo Bonzini
1309139c1837SPaolo Bonzini    case INDEX_op_goto_ptr:
1310139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, a0, 0);
1311139c1837SPaolo Bonzini        break;
1312139c1837SPaolo Bonzini
1313139c1837SPaolo Bonzini    case INDEX_op_br:
1314139c1837SPaolo Bonzini        tcg_out_reloc(s, s->code_ptr, R_RISCV_JAL, arg_label(a0), 0);
1315139c1837SPaolo Bonzini        tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
1316139c1837SPaolo Bonzini        break;
1317139c1837SPaolo Bonzini
1318139c1837SPaolo Bonzini    case INDEX_op_ld8u_i32:
1319139c1837SPaolo Bonzini    case INDEX_op_ld8u_i64:
1320139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LBU, a0, a1, a2);
1321139c1837SPaolo Bonzini        break;
1322139c1837SPaolo Bonzini    case INDEX_op_ld8s_i32:
1323139c1837SPaolo Bonzini    case INDEX_op_ld8s_i64:
1324139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LB, a0, a1, a2);
1325139c1837SPaolo Bonzini        break;
1326139c1837SPaolo Bonzini    case INDEX_op_ld16u_i32:
1327139c1837SPaolo Bonzini    case INDEX_op_ld16u_i64:
1328139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LHU, a0, a1, a2);
1329139c1837SPaolo Bonzini        break;
1330139c1837SPaolo Bonzini    case INDEX_op_ld16s_i32:
1331139c1837SPaolo Bonzini    case INDEX_op_ld16s_i64:
1332139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LH, a0, a1, a2);
1333139c1837SPaolo Bonzini        break;
1334139c1837SPaolo Bonzini    case INDEX_op_ld32u_i64:
1335139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LWU, a0, a1, a2);
1336139c1837SPaolo Bonzini        break;
1337139c1837SPaolo Bonzini    case INDEX_op_ld_i32:
1338139c1837SPaolo Bonzini    case INDEX_op_ld32s_i64:
1339139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LW, a0, a1, a2);
1340139c1837SPaolo Bonzini        break;
1341139c1837SPaolo Bonzini    case INDEX_op_ld_i64:
1342139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LD, a0, a1, a2);
1343139c1837SPaolo Bonzini        break;
1344139c1837SPaolo Bonzini
1345139c1837SPaolo Bonzini    case INDEX_op_st8_i32:
1346139c1837SPaolo Bonzini    case INDEX_op_st8_i64:
1347139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SB, a0, a1, a2);
1348139c1837SPaolo Bonzini        break;
1349139c1837SPaolo Bonzini    case INDEX_op_st16_i32:
1350139c1837SPaolo Bonzini    case INDEX_op_st16_i64:
1351139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SH, a0, a1, a2);
1352139c1837SPaolo Bonzini        break;
1353139c1837SPaolo Bonzini    case INDEX_op_st_i32:
1354139c1837SPaolo Bonzini    case INDEX_op_st32_i64:
1355139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SW, a0, a1, a2);
1356139c1837SPaolo Bonzini        break;
1357139c1837SPaolo Bonzini    case INDEX_op_st_i64:
1358139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SD, a0, a1, a2);
1359139c1837SPaolo Bonzini        break;
1360139c1837SPaolo Bonzini
1361139c1837SPaolo Bonzini    case INDEX_op_add_i32:
1362139c1837SPaolo Bonzini        if (c2) {
1363139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, a2);
1364139c1837SPaolo Bonzini        } else {
1365139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_ADDW, a0, a1, a2);
1366139c1837SPaolo Bonzini        }
1367139c1837SPaolo Bonzini        break;
1368139c1837SPaolo Bonzini    case INDEX_op_add_i64:
1369139c1837SPaolo Bonzini        if (c2) {
1370139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, a2);
1371139c1837SPaolo Bonzini        } else {
1372139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_ADD, a0, a1, a2);
1373139c1837SPaolo Bonzini        }
1374139c1837SPaolo Bonzini        break;
1375139c1837SPaolo Bonzini
1376139c1837SPaolo Bonzini    case INDEX_op_sub_i32:
1377139c1837SPaolo Bonzini        if (c2) {
1378139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, -a2);
1379139c1837SPaolo Bonzini        } else {
1380139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SUBW, a0, a1, a2);
1381139c1837SPaolo Bonzini        }
1382139c1837SPaolo Bonzini        break;
1383139c1837SPaolo Bonzini    case INDEX_op_sub_i64:
1384139c1837SPaolo Bonzini        if (c2) {
1385139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, -a2);
1386139c1837SPaolo Bonzini        } else {
1387139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SUB, a0, a1, a2);
1388139c1837SPaolo Bonzini        }
1389139c1837SPaolo Bonzini        break;
1390139c1837SPaolo Bonzini
1391139c1837SPaolo Bonzini    case INDEX_op_and_i32:
1392139c1837SPaolo Bonzini    case INDEX_op_and_i64:
1393139c1837SPaolo Bonzini        if (c2) {
1394139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ANDI, a0, a1, a2);
1395139c1837SPaolo Bonzini        } else {
1396139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_AND, a0, a1, a2);
1397139c1837SPaolo Bonzini        }
1398139c1837SPaolo Bonzini        break;
1399139c1837SPaolo Bonzini
1400139c1837SPaolo Bonzini    case INDEX_op_or_i32:
1401139c1837SPaolo Bonzini    case INDEX_op_or_i64:
1402139c1837SPaolo Bonzini        if (c2) {
1403139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ORI, a0, a1, a2);
1404139c1837SPaolo Bonzini        } else {
1405139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_OR, a0, a1, a2);
1406139c1837SPaolo Bonzini        }
1407139c1837SPaolo Bonzini        break;
1408139c1837SPaolo Bonzini
1409139c1837SPaolo Bonzini    case INDEX_op_xor_i32:
1410139c1837SPaolo Bonzini    case INDEX_op_xor_i64:
1411139c1837SPaolo Bonzini        if (c2) {
1412139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_XORI, a0, a1, a2);
1413139c1837SPaolo Bonzini        } else {
1414139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_XOR, a0, a1, a2);
1415139c1837SPaolo Bonzini        }
1416139c1837SPaolo Bonzini        break;
1417139c1837SPaolo Bonzini
1418139c1837SPaolo Bonzini    case INDEX_op_not_i32:
1419139c1837SPaolo Bonzini    case INDEX_op_not_i64:
1420139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, a0, a1, -1);
1421139c1837SPaolo Bonzini        break;
1422139c1837SPaolo Bonzini
1423139c1837SPaolo Bonzini    case INDEX_op_neg_i32:
1424139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUBW, a0, TCG_REG_ZERO, a1);
1425139c1837SPaolo Bonzini        break;
1426139c1837SPaolo Bonzini    case INDEX_op_neg_i64:
1427139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, a0, TCG_REG_ZERO, a1);
1428139c1837SPaolo Bonzini        break;
1429139c1837SPaolo Bonzini
1430139c1837SPaolo Bonzini    case INDEX_op_mul_i32:
1431139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULW, a0, a1, a2);
1432139c1837SPaolo Bonzini        break;
1433139c1837SPaolo Bonzini    case INDEX_op_mul_i64:
1434139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MUL, a0, a1, a2);
1435139c1837SPaolo Bonzini        break;
1436139c1837SPaolo Bonzini
1437139c1837SPaolo Bonzini    case INDEX_op_div_i32:
1438139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVW, a0, a1, a2);
1439139c1837SPaolo Bonzini        break;
1440139c1837SPaolo Bonzini    case INDEX_op_div_i64:
1441139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIV, a0, a1, a2);
1442139c1837SPaolo Bonzini        break;
1443139c1837SPaolo Bonzini
1444139c1837SPaolo Bonzini    case INDEX_op_divu_i32:
1445139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVUW, a0, a1, a2);
1446139c1837SPaolo Bonzini        break;
1447139c1837SPaolo Bonzini    case INDEX_op_divu_i64:
1448139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVU, a0, a1, a2);
1449139c1837SPaolo Bonzini        break;
1450139c1837SPaolo Bonzini
1451139c1837SPaolo Bonzini    case INDEX_op_rem_i32:
1452139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMW, a0, a1, a2);
1453139c1837SPaolo Bonzini        break;
1454139c1837SPaolo Bonzini    case INDEX_op_rem_i64:
1455139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REM, a0, a1, a2);
1456139c1837SPaolo Bonzini        break;
1457139c1837SPaolo Bonzini
1458139c1837SPaolo Bonzini    case INDEX_op_remu_i32:
1459139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMUW, a0, a1, a2);
1460139c1837SPaolo Bonzini        break;
1461139c1837SPaolo Bonzini    case INDEX_op_remu_i64:
1462139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMU, a0, a1, a2);
1463139c1837SPaolo Bonzini        break;
1464139c1837SPaolo Bonzini
1465139c1837SPaolo Bonzini    case INDEX_op_shl_i32:
1466139c1837SPaolo Bonzini        if (c2) {
1467139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLLIW, a0, a1, a2);
1468139c1837SPaolo Bonzini        } else {
1469139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLLW, a0, a1, a2);
1470139c1837SPaolo Bonzini        }
1471139c1837SPaolo Bonzini        break;
1472139c1837SPaolo Bonzini    case INDEX_op_shl_i64:
1473139c1837SPaolo Bonzini        if (c2) {
1474139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLLI, a0, a1, a2);
1475139c1837SPaolo Bonzini        } else {
1476139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLL, a0, a1, a2);
1477139c1837SPaolo Bonzini        }
1478139c1837SPaolo Bonzini        break;
1479139c1837SPaolo Bonzini
1480139c1837SPaolo Bonzini    case INDEX_op_shr_i32:
1481139c1837SPaolo Bonzini        if (c2) {
1482139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SRLIW, a0, a1, a2);
1483139c1837SPaolo Bonzini        } else {
1484139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRLW, a0, a1, a2);
1485139c1837SPaolo Bonzini        }
1486139c1837SPaolo Bonzini        break;
1487139c1837SPaolo Bonzini    case INDEX_op_shr_i64:
1488139c1837SPaolo Bonzini        if (c2) {
1489139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SRLI, a0, a1, a2);
1490139c1837SPaolo Bonzini        } else {
1491139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRL, a0, a1, a2);
1492139c1837SPaolo Bonzini        }
1493139c1837SPaolo Bonzini        break;
1494139c1837SPaolo Bonzini
1495139c1837SPaolo Bonzini    case INDEX_op_sar_i32:
1496139c1837SPaolo Bonzini        if (c2) {
1497139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SRAIW, a0, a1, a2);
1498139c1837SPaolo Bonzini        } else {
1499139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRAW, a0, a1, a2);
1500139c1837SPaolo Bonzini        }
1501139c1837SPaolo Bonzini        break;
1502139c1837SPaolo Bonzini    case INDEX_op_sar_i64:
1503139c1837SPaolo Bonzini        if (c2) {
1504139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SRAI, a0, a1, a2);
1505139c1837SPaolo Bonzini        } else {
1506139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRA, a0, a1, a2);
1507139c1837SPaolo Bonzini        }
1508139c1837SPaolo Bonzini        break;
1509139c1837SPaolo Bonzini
1510139c1837SPaolo Bonzini    case INDEX_op_add2_i32:
1511139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1512139c1837SPaolo Bonzini                        const_args[4], const_args[5], false, true);
1513139c1837SPaolo Bonzini        break;
1514139c1837SPaolo Bonzini    case INDEX_op_add2_i64:
1515139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1516139c1837SPaolo Bonzini                        const_args[4], const_args[5], false, false);
1517139c1837SPaolo Bonzini        break;
1518139c1837SPaolo Bonzini    case INDEX_op_sub2_i32:
1519139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1520139c1837SPaolo Bonzini                        const_args[4], const_args[5], true, true);
1521139c1837SPaolo Bonzini        break;
1522139c1837SPaolo Bonzini    case INDEX_op_sub2_i64:
1523139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1524139c1837SPaolo Bonzini                        const_args[4], const_args[5], true, false);
1525139c1837SPaolo Bonzini        break;
1526139c1837SPaolo Bonzini
1527139c1837SPaolo Bonzini    case INDEX_op_brcond_i32:
1528139c1837SPaolo Bonzini    case INDEX_op_brcond_i64:
1529139c1837SPaolo Bonzini        tcg_out_brcond(s, a2, a0, a1, arg_label(args[3]));
1530139c1837SPaolo Bonzini        break;
1531139c1837SPaolo Bonzini    case INDEX_op_brcond2_i32:
1532139c1837SPaolo Bonzini        tcg_out_brcond2(s, args[4], a0, a1, a2, args[3], arg_label(args[5]));
1533139c1837SPaolo Bonzini        break;
1534139c1837SPaolo Bonzini
1535139c1837SPaolo Bonzini    case INDEX_op_setcond_i32:
1536139c1837SPaolo Bonzini    case INDEX_op_setcond_i64:
1537139c1837SPaolo Bonzini        tcg_out_setcond(s, args[3], a0, a1, a2);
1538139c1837SPaolo Bonzini        break;
1539139c1837SPaolo Bonzini    case INDEX_op_setcond2_i32:
1540139c1837SPaolo Bonzini        tcg_out_setcond2(s, args[5], a0, a1, a2, args[3], args[4]);
1541139c1837SPaolo Bonzini        break;
1542139c1837SPaolo Bonzini
1543139c1837SPaolo Bonzini    case INDEX_op_qemu_ld_i32:
1544139c1837SPaolo Bonzini        tcg_out_qemu_ld(s, args, false);
1545139c1837SPaolo Bonzini        break;
1546139c1837SPaolo Bonzini    case INDEX_op_qemu_ld_i64:
1547139c1837SPaolo Bonzini        tcg_out_qemu_ld(s, args, true);
1548139c1837SPaolo Bonzini        break;
1549139c1837SPaolo Bonzini    case INDEX_op_qemu_st_i32:
1550139c1837SPaolo Bonzini        tcg_out_qemu_st(s, args, false);
1551139c1837SPaolo Bonzini        break;
1552139c1837SPaolo Bonzini    case INDEX_op_qemu_st_i64:
1553139c1837SPaolo Bonzini        tcg_out_qemu_st(s, args, true);
1554139c1837SPaolo Bonzini        break;
1555139c1837SPaolo Bonzini
1556139c1837SPaolo Bonzini    case INDEX_op_ext8u_i32:
1557139c1837SPaolo Bonzini    case INDEX_op_ext8u_i64:
1558139c1837SPaolo Bonzini        tcg_out_ext8u(s, a0, a1);
1559139c1837SPaolo Bonzini        break;
1560139c1837SPaolo Bonzini
1561139c1837SPaolo Bonzini    case INDEX_op_ext16u_i32:
1562139c1837SPaolo Bonzini    case INDEX_op_ext16u_i64:
1563139c1837SPaolo Bonzini        tcg_out_ext16u(s, a0, a1);
1564139c1837SPaolo Bonzini        break;
1565139c1837SPaolo Bonzini
1566139c1837SPaolo Bonzini    case INDEX_op_ext32u_i64:
1567139c1837SPaolo Bonzini    case INDEX_op_extu_i32_i64:
1568139c1837SPaolo Bonzini        tcg_out_ext32u(s, a0, a1);
1569139c1837SPaolo Bonzini        break;
1570139c1837SPaolo Bonzini
1571139c1837SPaolo Bonzini    case INDEX_op_ext8s_i32:
1572139c1837SPaolo Bonzini    case INDEX_op_ext8s_i64:
1573139c1837SPaolo Bonzini        tcg_out_ext8s(s, a0, a1);
1574139c1837SPaolo Bonzini        break;
1575139c1837SPaolo Bonzini
1576139c1837SPaolo Bonzini    case INDEX_op_ext16s_i32:
1577139c1837SPaolo Bonzini    case INDEX_op_ext16s_i64:
1578139c1837SPaolo Bonzini        tcg_out_ext16s(s, a0, a1);
1579139c1837SPaolo Bonzini        break;
1580139c1837SPaolo Bonzini
1581139c1837SPaolo Bonzini    case INDEX_op_ext32s_i64:
1582139c1837SPaolo Bonzini    case INDEX_op_extrl_i64_i32:
1583139c1837SPaolo Bonzini    case INDEX_op_ext_i32_i64:
1584139c1837SPaolo Bonzini        tcg_out_ext32s(s, a0, a1);
1585139c1837SPaolo Bonzini        break;
1586139c1837SPaolo Bonzini
1587139c1837SPaolo Bonzini    case INDEX_op_extrh_i64_i32:
1588139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRAI, a0, a1, 32);
1589139c1837SPaolo Bonzini        break;
1590139c1837SPaolo Bonzini
1591139c1837SPaolo Bonzini    case INDEX_op_mulsh_i32:
1592139c1837SPaolo Bonzini    case INDEX_op_mulsh_i64:
1593139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULH, a0, a1, a2);
1594139c1837SPaolo Bonzini        break;
1595139c1837SPaolo Bonzini
1596139c1837SPaolo Bonzini    case INDEX_op_muluh_i32:
1597139c1837SPaolo Bonzini    case INDEX_op_muluh_i64:
1598139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULHU, a0, a1, a2);
1599139c1837SPaolo Bonzini        break;
1600139c1837SPaolo Bonzini
1601139c1837SPaolo Bonzini    case INDEX_op_mb:
1602139c1837SPaolo Bonzini        tcg_out_mb(s, a0);
1603139c1837SPaolo Bonzini        break;
1604139c1837SPaolo Bonzini
1605139c1837SPaolo Bonzini    case INDEX_op_mov_i32:  /* Always emitted via tcg_out_mov.  */
1606139c1837SPaolo Bonzini    case INDEX_op_mov_i64:
1607139c1837SPaolo Bonzini    case INDEX_op_movi_i32: /* Always emitted via tcg_out_movi.  */
1608139c1837SPaolo Bonzini    case INDEX_op_movi_i64:
1609139c1837SPaolo Bonzini    case INDEX_op_call:     /* Always emitted via tcg_out_call.  */
1610139c1837SPaolo Bonzini    default:
1611139c1837SPaolo Bonzini        g_assert_not_reached();
1612139c1837SPaolo Bonzini    }
1613139c1837SPaolo Bonzini}
1614139c1837SPaolo Bonzini
1615139c1837SPaolo Bonzinistatic const TCGTargetOpDef *tcg_target_op_def(TCGOpcode op)
1616139c1837SPaolo Bonzini{
1617139c1837SPaolo Bonzini    static const TCGTargetOpDef r
1618139c1837SPaolo Bonzini        = { .args_ct_str = { "r" } };
1619139c1837SPaolo Bonzini    static const TCGTargetOpDef r_r
1620139c1837SPaolo Bonzini        = { .args_ct_str = { "r", "r" } };
1621139c1837SPaolo Bonzini    static const TCGTargetOpDef rZ_r
1622139c1837SPaolo Bonzini        = { .args_ct_str = { "rZ", "r" } };
1623139c1837SPaolo Bonzini    static const TCGTargetOpDef rZ_rZ
1624139c1837SPaolo Bonzini        = { .args_ct_str = { "rZ", "rZ" } };
1625139c1837SPaolo Bonzini    static const TCGTargetOpDef rZ_rZ_rZ_rZ
1626139c1837SPaolo Bonzini        = { .args_ct_str = { "rZ", "rZ", "rZ", "rZ" } };
1627139c1837SPaolo Bonzini    static const TCGTargetOpDef r_r_ri
1628139c1837SPaolo Bonzini        = { .args_ct_str = { "r", "r", "ri" } };
1629139c1837SPaolo Bonzini    static const TCGTargetOpDef r_r_rI
1630139c1837SPaolo Bonzini        = { .args_ct_str = { "r", "r", "rI" } };
1631139c1837SPaolo Bonzini    static const TCGTargetOpDef r_rZ_rN
1632139c1837SPaolo Bonzini        = { .args_ct_str = { "r", "rZ", "rN" } };
1633139c1837SPaolo Bonzini    static const TCGTargetOpDef r_rZ_rZ
1634139c1837SPaolo Bonzini        = { .args_ct_str = { "r", "rZ", "rZ" } };
1635139c1837SPaolo Bonzini    static const TCGTargetOpDef r_rZ_rZ_rZ_rZ
1636139c1837SPaolo Bonzini        = { .args_ct_str = { "r", "rZ", "rZ", "rZ", "rZ" } };
1637139c1837SPaolo Bonzini    static const TCGTargetOpDef r_L
1638139c1837SPaolo Bonzini        = { .args_ct_str = { "r", "L" } };
1639139c1837SPaolo Bonzini    static const TCGTargetOpDef r_r_L
1640139c1837SPaolo Bonzini        = { .args_ct_str = { "r", "r", "L" } };
1641139c1837SPaolo Bonzini    static const TCGTargetOpDef r_L_L
1642139c1837SPaolo Bonzini        = { .args_ct_str = { "r", "L", "L" } };
1643139c1837SPaolo Bonzini    static const TCGTargetOpDef r_r_L_L
1644139c1837SPaolo Bonzini        = { .args_ct_str = { "r", "r", "L", "L" } };
1645139c1837SPaolo Bonzini    static const TCGTargetOpDef LZ_L
1646139c1837SPaolo Bonzini        = { .args_ct_str = { "LZ", "L" } };
1647139c1837SPaolo Bonzini    static const TCGTargetOpDef LZ_L_L
1648139c1837SPaolo Bonzini        = { .args_ct_str = { "LZ", "L", "L" } };
1649139c1837SPaolo Bonzini    static const TCGTargetOpDef LZ_LZ_L
1650139c1837SPaolo Bonzini        = { .args_ct_str = { "LZ", "LZ", "L" } };
1651139c1837SPaolo Bonzini    static const TCGTargetOpDef LZ_LZ_L_L
1652139c1837SPaolo Bonzini        = { .args_ct_str = { "LZ", "LZ", "L", "L" } };
1653139c1837SPaolo Bonzini    static const TCGTargetOpDef r_r_rZ_rZ_rM_rM
1654139c1837SPaolo Bonzini        = { .args_ct_str = { "r", "r", "rZ", "rZ", "rM", "rM" } };
1655139c1837SPaolo Bonzini
1656139c1837SPaolo Bonzini    switch (op) {
1657139c1837SPaolo Bonzini    case INDEX_op_goto_ptr:
1658139c1837SPaolo Bonzini        return &r;
1659139c1837SPaolo Bonzini
1660139c1837SPaolo Bonzini    case INDEX_op_ld8u_i32:
1661139c1837SPaolo Bonzini    case INDEX_op_ld8s_i32:
1662139c1837SPaolo Bonzini    case INDEX_op_ld16u_i32:
1663139c1837SPaolo Bonzini    case INDEX_op_ld16s_i32:
1664139c1837SPaolo Bonzini    case INDEX_op_ld_i32:
1665139c1837SPaolo Bonzini    case INDEX_op_not_i32:
1666139c1837SPaolo Bonzini    case INDEX_op_neg_i32:
1667139c1837SPaolo Bonzini    case INDEX_op_ld8u_i64:
1668139c1837SPaolo Bonzini    case INDEX_op_ld8s_i64:
1669139c1837SPaolo Bonzini    case INDEX_op_ld16u_i64:
1670139c1837SPaolo Bonzini    case INDEX_op_ld16s_i64:
1671139c1837SPaolo Bonzini    case INDEX_op_ld32s_i64:
1672139c1837SPaolo Bonzini    case INDEX_op_ld32u_i64:
1673139c1837SPaolo Bonzini    case INDEX_op_ld_i64:
1674139c1837SPaolo Bonzini    case INDEX_op_not_i64:
1675139c1837SPaolo Bonzini    case INDEX_op_neg_i64:
1676139c1837SPaolo Bonzini    case INDEX_op_ext8u_i32:
1677139c1837SPaolo Bonzini    case INDEX_op_ext8u_i64:
1678139c1837SPaolo Bonzini    case INDEX_op_ext16u_i32:
1679139c1837SPaolo Bonzini    case INDEX_op_ext16u_i64:
1680139c1837SPaolo Bonzini    case INDEX_op_ext32u_i64:
1681139c1837SPaolo Bonzini    case INDEX_op_extu_i32_i64:
1682139c1837SPaolo Bonzini    case INDEX_op_ext8s_i32:
1683139c1837SPaolo Bonzini    case INDEX_op_ext8s_i64:
1684139c1837SPaolo Bonzini    case INDEX_op_ext16s_i32:
1685139c1837SPaolo Bonzini    case INDEX_op_ext16s_i64:
1686139c1837SPaolo Bonzini    case INDEX_op_ext32s_i64:
1687139c1837SPaolo Bonzini    case INDEX_op_extrl_i64_i32:
1688139c1837SPaolo Bonzini    case INDEX_op_extrh_i64_i32:
1689139c1837SPaolo Bonzini    case INDEX_op_ext_i32_i64:
1690139c1837SPaolo Bonzini        return &r_r;
1691139c1837SPaolo Bonzini
1692139c1837SPaolo Bonzini    case INDEX_op_st8_i32:
1693139c1837SPaolo Bonzini    case INDEX_op_st16_i32:
1694139c1837SPaolo Bonzini    case INDEX_op_st_i32:
1695139c1837SPaolo Bonzini    case INDEX_op_st8_i64:
1696139c1837SPaolo Bonzini    case INDEX_op_st16_i64:
1697139c1837SPaolo Bonzini    case INDEX_op_st32_i64:
1698139c1837SPaolo Bonzini    case INDEX_op_st_i64:
1699139c1837SPaolo Bonzini        return &rZ_r;
1700139c1837SPaolo Bonzini
1701139c1837SPaolo Bonzini    case INDEX_op_add_i32:
1702139c1837SPaolo Bonzini    case INDEX_op_and_i32:
1703139c1837SPaolo Bonzini    case INDEX_op_or_i32:
1704139c1837SPaolo Bonzini    case INDEX_op_xor_i32:
1705139c1837SPaolo Bonzini    case INDEX_op_add_i64:
1706139c1837SPaolo Bonzini    case INDEX_op_and_i64:
1707139c1837SPaolo Bonzini    case INDEX_op_or_i64:
1708139c1837SPaolo Bonzini    case INDEX_op_xor_i64:
1709139c1837SPaolo Bonzini        return &r_r_rI;
1710139c1837SPaolo Bonzini
1711139c1837SPaolo Bonzini    case INDEX_op_sub_i32:
1712139c1837SPaolo Bonzini    case INDEX_op_sub_i64:
1713139c1837SPaolo Bonzini        return &r_rZ_rN;
1714139c1837SPaolo Bonzini
1715139c1837SPaolo Bonzini    case INDEX_op_mul_i32:
1716139c1837SPaolo Bonzini    case INDEX_op_mulsh_i32:
1717139c1837SPaolo Bonzini    case INDEX_op_muluh_i32:
1718139c1837SPaolo Bonzini    case INDEX_op_div_i32:
1719139c1837SPaolo Bonzini    case INDEX_op_divu_i32:
1720139c1837SPaolo Bonzini    case INDEX_op_rem_i32:
1721139c1837SPaolo Bonzini    case INDEX_op_remu_i32:
1722139c1837SPaolo Bonzini    case INDEX_op_setcond_i32:
1723139c1837SPaolo Bonzini    case INDEX_op_mul_i64:
1724139c1837SPaolo Bonzini    case INDEX_op_mulsh_i64:
1725139c1837SPaolo Bonzini    case INDEX_op_muluh_i64:
1726139c1837SPaolo Bonzini    case INDEX_op_div_i64:
1727139c1837SPaolo Bonzini    case INDEX_op_divu_i64:
1728139c1837SPaolo Bonzini    case INDEX_op_rem_i64:
1729139c1837SPaolo Bonzini    case INDEX_op_remu_i64:
1730139c1837SPaolo Bonzini    case INDEX_op_setcond_i64:
1731139c1837SPaolo Bonzini        return &r_rZ_rZ;
1732139c1837SPaolo Bonzini
1733139c1837SPaolo Bonzini    case INDEX_op_shl_i32:
1734139c1837SPaolo Bonzini    case INDEX_op_shr_i32:
1735139c1837SPaolo Bonzini    case INDEX_op_sar_i32:
1736139c1837SPaolo Bonzini    case INDEX_op_shl_i64:
1737139c1837SPaolo Bonzini    case INDEX_op_shr_i64:
1738139c1837SPaolo Bonzini    case INDEX_op_sar_i64:
1739139c1837SPaolo Bonzini        return &r_r_ri;
1740139c1837SPaolo Bonzini
1741139c1837SPaolo Bonzini    case INDEX_op_brcond_i32:
1742139c1837SPaolo Bonzini    case INDEX_op_brcond_i64:
1743139c1837SPaolo Bonzini        return &rZ_rZ;
1744139c1837SPaolo Bonzini
1745139c1837SPaolo Bonzini    case INDEX_op_add2_i32:
1746139c1837SPaolo Bonzini    case INDEX_op_add2_i64:
1747139c1837SPaolo Bonzini    case INDEX_op_sub2_i32:
1748139c1837SPaolo Bonzini    case INDEX_op_sub2_i64:
1749139c1837SPaolo Bonzini        return &r_r_rZ_rZ_rM_rM;
1750139c1837SPaolo Bonzini
1751139c1837SPaolo Bonzini    case INDEX_op_brcond2_i32:
1752139c1837SPaolo Bonzini        return &rZ_rZ_rZ_rZ;
1753139c1837SPaolo Bonzini
1754139c1837SPaolo Bonzini    case INDEX_op_setcond2_i32:
1755139c1837SPaolo Bonzini        return &r_rZ_rZ_rZ_rZ;
1756139c1837SPaolo Bonzini
1757139c1837SPaolo Bonzini    case INDEX_op_qemu_ld_i32:
1758139c1837SPaolo Bonzini        return TARGET_LONG_BITS <= TCG_TARGET_REG_BITS ? &r_L : &r_L_L;
1759139c1837SPaolo Bonzini    case INDEX_op_qemu_st_i32:
1760139c1837SPaolo Bonzini        return TARGET_LONG_BITS <= TCG_TARGET_REG_BITS ? &LZ_L : &LZ_L_L;
1761139c1837SPaolo Bonzini    case INDEX_op_qemu_ld_i64:
1762139c1837SPaolo Bonzini        return TCG_TARGET_REG_BITS == 64 ? &r_L
1763139c1837SPaolo Bonzini               : TARGET_LONG_BITS <= TCG_TARGET_REG_BITS ? &r_r_L
1764139c1837SPaolo Bonzini               : &r_r_L_L;
1765139c1837SPaolo Bonzini    case INDEX_op_qemu_st_i64:
1766139c1837SPaolo Bonzini        return TCG_TARGET_REG_BITS == 64 ? &LZ_L
1767139c1837SPaolo Bonzini               : TARGET_LONG_BITS <= TCG_TARGET_REG_BITS ? &LZ_LZ_L
1768139c1837SPaolo Bonzini               : &LZ_LZ_L_L;
1769139c1837SPaolo Bonzini
1770139c1837SPaolo Bonzini    default:
1771139c1837SPaolo Bonzini        return NULL;
1772139c1837SPaolo Bonzini    }
1773139c1837SPaolo Bonzini}
1774139c1837SPaolo Bonzini
1775139c1837SPaolo Bonzinistatic const int tcg_target_callee_save_regs[] = {
1776139c1837SPaolo Bonzini    TCG_REG_S0,       /* used for the global env (TCG_AREG0) */
1777139c1837SPaolo Bonzini    TCG_REG_S1,
1778139c1837SPaolo Bonzini    TCG_REG_S2,
1779139c1837SPaolo Bonzini    TCG_REG_S3,
1780139c1837SPaolo Bonzini    TCG_REG_S4,
1781139c1837SPaolo Bonzini    TCG_REG_S5,
1782139c1837SPaolo Bonzini    TCG_REG_S6,
1783139c1837SPaolo Bonzini    TCG_REG_S7,
1784139c1837SPaolo Bonzini    TCG_REG_S8,
1785139c1837SPaolo Bonzini    TCG_REG_S9,
1786139c1837SPaolo Bonzini    TCG_REG_S10,
1787139c1837SPaolo Bonzini    TCG_REG_S11,
1788139c1837SPaolo Bonzini    TCG_REG_RA,       /* should be last for ABI compliance */
1789139c1837SPaolo Bonzini};
1790139c1837SPaolo Bonzini
1791139c1837SPaolo Bonzini/* Stack frame parameters.  */
1792139c1837SPaolo Bonzini#define REG_SIZE   (TCG_TARGET_REG_BITS / 8)
1793139c1837SPaolo Bonzini#define SAVE_SIZE  ((int)ARRAY_SIZE(tcg_target_callee_save_regs) * REG_SIZE)
1794139c1837SPaolo Bonzini#define TEMP_SIZE  (CPU_TEMP_BUF_NLONGS * (int)sizeof(long))
1795139c1837SPaolo Bonzini#define FRAME_SIZE ((TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE + SAVE_SIZE \
1796139c1837SPaolo Bonzini                     + TCG_TARGET_STACK_ALIGN - 1) \
1797139c1837SPaolo Bonzini                    & -TCG_TARGET_STACK_ALIGN)
1798139c1837SPaolo Bonzini#define SAVE_OFS   (TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE)
1799139c1837SPaolo Bonzini
1800139c1837SPaolo Bonzini/* We're expecting to be able to use an immediate for frame allocation.  */
1801139c1837SPaolo BonziniQEMU_BUILD_BUG_ON(FRAME_SIZE > 0x7ff);
1802139c1837SPaolo Bonzini
1803139c1837SPaolo Bonzini/* Generate global QEMU prologue and epilogue code */
1804139c1837SPaolo Bonzinistatic void tcg_target_qemu_prologue(TCGContext *s)
1805139c1837SPaolo Bonzini{
1806139c1837SPaolo Bonzini    int i;
1807139c1837SPaolo Bonzini
1808139c1837SPaolo Bonzini    tcg_set_frame(s, TCG_REG_SP, TCG_STATIC_CALL_ARGS_SIZE, TEMP_SIZE);
1809139c1837SPaolo Bonzini
1810139c1837SPaolo Bonzini    /* TB prologue */
1811139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, -FRAME_SIZE);
1812139c1837SPaolo Bonzini    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
1813139c1837SPaolo Bonzini        tcg_out_st(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1814139c1837SPaolo Bonzini                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
1815139c1837SPaolo Bonzini    }
1816139c1837SPaolo Bonzini
1817139c1837SPaolo Bonzini#if !defined(CONFIG_SOFTMMU)
1818139c1837SPaolo Bonzini    tcg_out_movi(s, TCG_TYPE_PTR, TCG_GUEST_BASE_REG, guest_base);
1819139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_GUEST_BASE_REG);
1820139c1837SPaolo Bonzini#endif
1821139c1837SPaolo Bonzini
1822139c1837SPaolo Bonzini    /* Call generated code */
1823139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, TCG_AREG0, tcg_target_call_iarg_regs[0]);
1824139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, tcg_target_call_iarg_regs[1], 0);
1825139c1837SPaolo Bonzini
1826139c1837SPaolo Bonzini    /* Return path for goto_ptr. Set return value to 0 */
1827139c1837SPaolo Bonzini    s->code_gen_epilogue = s->code_ptr;
1828139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_REG, TCG_REG_A0, TCG_REG_ZERO);
1829139c1837SPaolo Bonzini
1830139c1837SPaolo Bonzini    /* TB epilogue */
1831139c1837SPaolo Bonzini    tb_ret_addr = s->code_ptr;
1832139c1837SPaolo Bonzini    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
1833139c1837SPaolo Bonzini        tcg_out_ld(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1834139c1837SPaolo Bonzini                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
1835139c1837SPaolo Bonzini    }
1836139c1837SPaolo Bonzini
1837139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, FRAME_SIZE);
1838139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_RA, 0);
1839139c1837SPaolo Bonzini}
1840139c1837SPaolo Bonzini
1841139c1837SPaolo Bonzinistatic void tcg_target_init(TCGContext *s)
1842139c1837SPaolo Bonzini{
1843139c1837SPaolo Bonzini    tcg_target_available_regs[TCG_TYPE_I32] = 0xffffffff;
1844139c1837SPaolo Bonzini    if (TCG_TARGET_REG_BITS == 64) {
1845139c1837SPaolo Bonzini        tcg_target_available_regs[TCG_TYPE_I64] = 0xffffffff;
1846139c1837SPaolo Bonzini    }
1847139c1837SPaolo Bonzini
1848139c1837SPaolo Bonzini    tcg_target_call_clobber_regs = -1u;
1849139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S0);
1850139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S1);
1851139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S2);
1852139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S3);
1853139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S4);
1854139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S5);
1855139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S6);
1856139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S7);
1857139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S8);
1858139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S9);
1859139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S10);
1860139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S11);
1861139c1837SPaolo Bonzini
1862139c1837SPaolo Bonzini    s->reserved_regs = 0;
1863139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_ZERO);
1864139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP0);
1865139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP1);
1866139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP2);
1867139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_SP);
1868139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_GP);
1869139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TP);
1870139c1837SPaolo Bonzini}
1871139c1837SPaolo Bonzini
1872139c1837SPaolo Bonzinitypedef struct {
1873139c1837SPaolo Bonzini    DebugFrameHeader h;
1874139c1837SPaolo Bonzini    uint8_t fde_def_cfa[4];
1875139c1837SPaolo Bonzini    uint8_t fde_reg_ofs[ARRAY_SIZE(tcg_target_callee_save_regs) * 2];
1876139c1837SPaolo Bonzini} DebugFrame;
1877139c1837SPaolo Bonzini
1878139c1837SPaolo Bonzini#define ELF_HOST_MACHINE EM_RISCV
1879139c1837SPaolo Bonzini
1880139c1837SPaolo Bonzinistatic const DebugFrame debug_frame = {
1881139c1837SPaolo Bonzini    .h.cie.len = sizeof(DebugFrameCIE) - 4, /* length after .len member */
1882139c1837SPaolo Bonzini    .h.cie.id = -1,
1883139c1837SPaolo Bonzini    .h.cie.version = 1,
1884139c1837SPaolo Bonzini    .h.cie.code_align = 1,
1885139c1837SPaolo Bonzini    .h.cie.data_align = -(TCG_TARGET_REG_BITS / 8) & 0x7f, /* sleb128 */
1886139c1837SPaolo Bonzini    .h.cie.return_column = TCG_REG_RA,
1887139c1837SPaolo Bonzini
1888139c1837SPaolo Bonzini    /* Total FDE size does not include the "len" member.  */
1889139c1837SPaolo Bonzini    .h.fde.len = sizeof(DebugFrame) - offsetof(DebugFrame, h.fde.cie_offset),
1890139c1837SPaolo Bonzini
1891139c1837SPaolo Bonzini    .fde_def_cfa = {
1892139c1837SPaolo Bonzini        12, TCG_REG_SP,                 /* DW_CFA_def_cfa sp, ... */
1893139c1837SPaolo Bonzini        (FRAME_SIZE & 0x7f) | 0x80,     /* ... uleb128 FRAME_SIZE */
1894139c1837SPaolo Bonzini        (FRAME_SIZE >> 7)
1895139c1837SPaolo Bonzini    },
1896139c1837SPaolo Bonzini    .fde_reg_ofs = {
1897139c1837SPaolo Bonzini        0x80 + 9,  12,                  /* DW_CFA_offset, s1,  -96 */
1898139c1837SPaolo Bonzini        0x80 + 18, 11,                  /* DW_CFA_offset, s2,  -88 */
1899139c1837SPaolo Bonzini        0x80 + 19, 10,                  /* DW_CFA_offset, s3,  -80 */
1900139c1837SPaolo Bonzini        0x80 + 20, 9,                   /* DW_CFA_offset, s4,  -72 */
1901139c1837SPaolo Bonzini        0x80 + 21, 8,                   /* DW_CFA_offset, s5,  -64 */
1902139c1837SPaolo Bonzini        0x80 + 22, 7,                   /* DW_CFA_offset, s6,  -56 */
1903139c1837SPaolo Bonzini        0x80 + 23, 6,                   /* DW_CFA_offset, s7,  -48 */
1904139c1837SPaolo Bonzini        0x80 + 24, 5,                   /* DW_CFA_offset, s8,  -40 */
1905139c1837SPaolo Bonzini        0x80 + 25, 4,                   /* DW_CFA_offset, s9,  -32 */
1906139c1837SPaolo Bonzini        0x80 + 26, 3,                   /* DW_CFA_offset, s10, -24 */
1907139c1837SPaolo Bonzini        0x80 + 27, 2,                   /* DW_CFA_offset, s11, -16 */
1908139c1837SPaolo Bonzini        0x80 + 1 , 1,                   /* DW_CFA_offset, ra,  -8 */
1909139c1837SPaolo Bonzini    }
1910139c1837SPaolo Bonzini};
1911139c1837SPaolo Bonzini
1912139c1837SPaolo Bonzinivoid tcg_register_jit(void *buf, size_t buf_size)
1913139c1837SPaolo Bonzini{
1914139c1837SPaolo Bonzini    tcg_register_jit_int(buf, buf_size, &debug_frame, sizeof(debug_frame));
1915139c1837SPaolo Bonzini}
1916