xref: /openbmc/qemu/tcg/riscv/tcg-target.c.inc (revision f6453695f9f87ba1974eca13322864810c90b9f0)
1139c1837SPaolo Bonzini/*
2139c1837SPaolo Bonzini * Tiny Code Generator for QEMU
3139c1837SPaolo Bonzini *
4139c1837SPaolo Bonzini * Copyright (c) 2018 SiFive, Inc
5139c1837SPaolo Bonzini * Copyright (c) 2008-2009 Arnaud Patard <arnaud.patard@rtp-net.org>
6139c1837SPaolo Bonzini * Copyright (c) 2009 Aurelien Jarno <aurelien@aurel32.net>
7139c1837SPaolo Bonzini * Copyright (c) 2008 Fabrice Bellard
8139c1837SPaolo Bonzini *
9139c1837SPaolo Bonzini * Based on i386/tcg-target.c and mips/tcg-target.c
10139c1837SPaolo Bonzini *
11139c1837SPaolo Bonzini * Permission is hereby granted, free of charge, to any person obtaining a copy
12139c1837SPaolo Bonzini * of this software and associated documentation files (the "Software"), to deal
13139c1837SPaolo Bonzini * in the Software without restriction, including without limitation the rights
14139c1837SPaolo Bonzini * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
15139c1837SPaolo Bonzini * copies of the Software, and to permit persons to whom the Software is
16139c1837SPaolo Bonzini * furnished to do so, subject to the following conditions:
17139c1837SPaolo Bonzini *
18139c1837SPaolo Bonzini * The above copyright notice and this permission notice shall be included in
19139c1837SPaolo Bonzini * all copies or substantial portions of the Software.
20139c1837SPaolo Bonzini *
21139c1837SPaolo Bonzini * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
22139c1837SPaolo Bonzini * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
23139c1837SPaolo Bonzini * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
24139c1837SPaolo Bonzini * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
25139c1837SPaolo Bonzini * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
26139c1837SPaolo Bonzini * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
27139c1837SPaolo Bonzini * THE SOFTWARE.
28139c1837SPaolo Bonzini */
29139c1837SPaolo Bonzini
30a3fb7c99SRichard Henderson#include "../tcg-ldst.c.inc"
31139c1837SPaolo Bonzini#include "../tcg-pool.c.inc"
32139c1837SPaolo Bonzini
33139c1837SPaolo Bonzini#ifdef CONFIG_DEBUG_TCG
34139c1837SPaolo Bonzinistatic const char * const tcg_target_reg_names[TCG_TARGET_NB_REGS] = {
35139c1837SPaolo Bonzini    "zero",
36139c1837SPaolo Bonzini    "ra",
37139c1837SPaolo Bonzini    "sp",
38139c1837SPaolo Bonzini    "gp",
39139c1837SPaolo Bonzini    "tp",
40139c1837SPaolo Bonzini    "t0",
41139c1837SPaolo Bonzini    "t1",
42139c1837SPaolo Bonzini    "t2",
43139c1837SPaolo Bonzini    "s0",
44139c1837SPaolo Bonzini    "s1",
45139c1837SPaolo Bonzini    "a0",
46139c1837SPaolo Bonzini    "a1",
47139c1837SPaolo Bonzini    "a2",
48139c1837SPaolo Bonzini    "a3",
49139c1837SPaolo Bonzini    "a4",
50139c1837SPaolo Bonzini    "a5",
51139c1837SPaolo Bonzini    "a6",
52139c1837SPaolo Bonzini    "a7",
53139c1837SPaolo Bonzini    "s2",
54139c1837SPaolo Bonzini    "s3",
55139c1837SPaolo Bonzini    "s4",
56139c1837SPaolo Bonzini    "s5",
57139c1837SPaolo Bonzini    "s6",
58139c1837SPaolo Bonzini    "s7",
59139c1837SPaolo Bonzini    "s8",
60139c1837SPaolo Bonzini    "s9",
61139c1837SPaolo Bonzini    "s10",
62139c1837SPaolo Bonzini    "s11",
63139c1837SPaolo Bonzini    "t3",
64139c1837SPaolo Bonzini    "t4",
65139c1837SPaolo Bonzini    "t5",
66139c1837SPaolo Bonzini    "t6"
67139c1837SPaolo Bonzini};
68139c1837SPaolo Bonzini#endif
69139c1837SPaolo Bonzini
70139c1837SPaolo Bonzinistatic const int tcg_target_reg_alloc_order[] = {
71139c1837SPaolo Bonzini    /* Call saved registers */
72139c1837SPaolo Bonzini    /* TCG_REG_S0 reservered for TCG_AREG0 */
73139c1837SPaolo Bonzini    TCG_REG_S1,
74139c1837SPaolo Bonzini    TCG_REG_S2,
75139c1837SPaolo Bonzini    TCG_REG_S3,
76139c1837SPaolo Bonzini    TCG_REG_S4,
77139c1837SPaolo Bonzini    TCG_REG_S5,
78139c1837SPaolo Bonzini    TCG_REG_S6,
79139c1837SPaolo Bonzini    TCG_REG_S7,
80139c1837SPaolo Bonzini    TCG_REG_S8,
81139c1837SPaolo Bonzini    TCG_REG_S9,
82139c1837SPaolo Bonzini    TCG_REG_S10,
83139c1837SPaolo Bonzini    TCG_REG_S11,
84139c1837SPaolo Bonzini
85139c1837SPaolo Bonzini    /* Call clobbered registers */
86139c1837SPaolo Bonzini    TCG_REG_T0,
87139c1837SPaolo Bonzini    TCG_REG_T1,
88139c1837SPaolo Bonzini    TCG_REG_T2,
89139c1837SPaolo Bonzini    TCG_REG_T3,
90139c1837SPaolo Bonzini    TCG_REG_T4,
91139c1837SPaolo Bonzini    TCG_REG_T5,
92139c1837SPaolo Bonzini    TCG_REG_T6,
93139c1837SPaolo Bonzini
94139c1837SPaolo Bonzini    /* Argument registers */
95139c1837SPaolo Bonzini    TCG_REG_A0,
96139c1837SPaolo Bonzini    TCG_REG_A1,
97139c1837SPaolo Bonzini    TCG_REG_A2,
98139c1837SPaolo Bonzini    TCG_REG_A3,
99139c1837SPaolo Bonzini    TCG_REG_A4,
100139c1837SPaolo Bonzini    TCG_REG_A5,
101139c1837SPaolo Bonzini    TCG_REG_A6,
102139c1837SPaolo Bonzini    TCG_REG_A7,
103139c1837SPaolo Bonzini};
104139c1837SPaolo Bonzini
105139c1837SPaolo Bonzinistatic const int tcg_target_call_iarg_regs[] = {
106139c1837SPaolo Bonzini    TCG_REG_A0,
107139c1837SPaolo Bonzini    TCG_REG_A1,
108139c1837SPaolo Bonzini    TCG_REG_A2,
109139c1837SPaolo Bonzini    TCG_REG_A3,
110139c1837SPaolo Bonzini    TCG_REG_A4,
111139c1837SPaolo Bonzini    TCG_REG_A5,
112139c1837SPaolo Bonzini    TCG_REG_A6,
113139c1837SPaolo Bonzini    TCG_REG_A7,
114139c1837SPaolo Bonzini};
115139c1837SPaolo Bonzini
1169e3e0bc6SRichard Henderson#ifndef have_zbb
1179e3e0bc6SRichard Hendersonbool have_zbb;
1189e3e0bc6SRichard Henderson#endif
1199e3e0bc6SRichard Henderson#if defined(__riscv_arch_test) && defined(__riscv_zba)
1209e3e0bc6SRichard Henderson# define have_zba true
1219e3e0bc6SRichard Henderson#else
1229e3e0bc6SRichard Hendersonstatic bool have_zba;
1239e3e0bc6SRichard Henderson#endif
1249e3e0bc6SRichard Henderson#if defined(__riscv_arch_test) && defined(__riscv_zicond)
1259e3e0bc6SRichard Henderson# define have_zicond true
1269e3e0bc6SRichard Henderson#else
1279e3e0bc6SRichard Hendersonstatic bool have_zicond;
1289e3e0bc6SRichard Henderson#endif
1299e3e0bc6SRichard Henderson
1305e3d0c19SRichard Hendersonstatic TCGReg tcg_target_call_oarg_reg(TCGCallReturnKind kind, int slot)
1315e3d0c19SRichard Henderson{
1325e3d0c19SRichard Henderson    tcg_debug_assert(kind == TCG_CALL_RET_NORMAL);
1335e3d0c19SRichard Henderson    tcg_debug_assert(slot >= 0 && slot <= 1);
1345e3d0c19SRichard Henderson    return TCG_REG_A0 + slot;
1355e3d0c19SRichard Henderson}
136139c1837SPaolo Bonzini
137139c1837SPaolo Bonzini#define TCG_CT_CONST_ZERO  0x100
138139c1837SPaolo Bonzini#define TCG_CT_CONST_S12   0x200
139139c1837SPaolo Bonzini#define TCG_CT_CONST_N12   0x400
140139c1837SPaolo Bonzini#define TCG_CT_CONST_M12   0x800
14199f4ec6eSRichard Henderson#define TCG_CT_CONST_J12  0x1000
142139c1837SPaolo Bonzini
143fc63a4c5SRichard Henderson#define ALL_GENERAL_REGS   MAKE_64BIT_MASK(0, 32)
144fc63a4c5SRichard Henderson
145aeb6326eSRichard Henderson#define sextreg  sextract64
146139c1837SPaolo Bonzini
147139c1837SPaolo Bonzini/* test if a constant matches the constraint */
148a4fbbd77SRichard Hendersonstatic bool tcg_target_const_match(int64_t val, TCGType type, int ct)
149139c1837SPaolo Bonzini{
150139c1837SPaolo Bonzini    if (ct & TCG_CT_CONST) {
151139c1837SPaolo Bonzini        return 1;
152139c1837SPaolo Bonzini    }
153139c1837SPaolo Bonzini    if ((ct & TCG_CT_CONST_ZERO) && val == 0) {
154139c1837SPaolo Bonzini        return 1;
155139c1837SPaolo Bonzini    }
15662722763SRichard Henderson    /*
15762722763SRichard Henderson     * Sign extended from 12 bits: [-0x800, 0x7ff].
15862722763SRichard Henderson     * Used for most arithmetic, as this is the isa field.
15962722763SRichard Henderson     */
16062722763SRichard Henderson    if ((ct & TCG_CT_CONST_S12) && val >= -0x800 && val <= 0x7ff) {
161139c1837SPaolo Bonzini        return 1;
162139c1837SPaolo Bonzini    }
16362722763SRichard Henderson    /*
16462722763SRichard Henderson     * Sign extended from 12 bits, negated: [-0x7ff, 0x800].
16562722763SRichard Henderson     * Used for subtraction, where a constant must be handled by ADDI.
16662722763SRichard Henderson     */
16762722763SRichard Henderson    if ((ct & TCG_CT_CONST_N12) && val >= -0x7ff && val <= 0x800) {
168139c1837SPaolo Bonzini        return 1;
169139c1837SPaolo Bonzini    }
17062722763SRichard Henderson    /*
17162722763SRichard Henderson     * Sign extended from 12 bits, +/- matching: [-0x7ff, 0x7ff].
17262722763SRichard Henderson     * Used by addsub2, which may need the negative operation,
17362722763SRichard Henderson     * and requires the modified constant to be representable.
17462722763SRichard Henderson     */
17562722763SRichard Henderson    if ((ct & TCG_CT_CONST_M12) && val >= -0x7ff && val <= 0x7ff) {
176139c1837SPaolo Bonzini        return 1;
177139c1837SPaolo Bonzini    }
17899f4ec6eSRichard Henderson    /*
17999f4ec6eSRichard Henderson     * Inverse of sign extended from 12 bits: ~[-0x800, 0x7ff].
18099f4ec6eSRichard Henderson     * Used to map ANDN back to ANDI, etc.
18199f4ec6eSRichard Henderson     */
18299f4ec6eSRichard Henderson    if ((ct & TCG_CT_CONST_J12) && ~val >= -0x800 && ~val <= 0x7ff) {
18399f4ec6eSRichard Henderson        return 1;
18499f4ec6eSRichard Henderson    }
185139c1837SPaolo Bonzini    return 0;
186139c1837SPaolo Bonzini}
187139c1837SPaolo Bonzini
188139c1837SPaolo Bonzini/*
189139c1837SPaolo Bonzini * RISC-V Base ISA opcodes (IM)
190139c1837SPaolo Bonzini */
191139c1837SPaolo Bonzini
192139c1837SPaolo Bonzinitypedef enum {
193139c1837SPaolo Bonzini    OPC_ADD = 0x33,
194139c1837SPaolo Bonzini    OPC_ADDI = 0x13,
195139c1837SPaolo Bonzini    OPC_AND = 0x7033,
196139c1837SPaolo Bonzini    OPC_ANDI = 0x7013,
197139c1837SPaolo Bonzini    OPC_AUIPC = 0x17,
198139c1837SPaolo Bonzini    OPC_BEQ = 0x63,
199139c1837SPaolo Bonzini    OPC_BGE = 0x5063,
200139c1837SPaolo Bonzini    OPC_BGEU = 0x7063,
201139c1837SPaolo Bonzini    OPC_BLT = 0x4063,
202139c1837SPaolo Bonzini    OPC_BLTU = 0x6063,
203139c1837SPaolo Bonzini    OPC_BNE = 0x1063,
204139c1837SPaolo Bonzini    OPC_DIV = 0x2004033,
205139c1837SPaolo Bonzini    OPC_DIVU = 0x2005033,
206139c1837SPaolo Bonzini    OPC_JAL = 0x6f,
207139c1837SPaolo Bonzini    OPC_JALR = 0x67,
208139c1837SPaolo Bonzini    OPC_LB = 0x3,
209139c1837SPaolo Bonzini    OPC_LBU = 0x4003,
210139c1837SPaolo Bonzini    OPC_LD = 0x3003,
211139c1837SPaolo Bonzini    OPC_LH = 0x1003,
212139c1837SPaolo Bonzini    OPC_LHU = 0x5003,
213139c1837SPaolo Bonzini    OPC_LUI = 0x37,
214139c1837SPaolo Bonzini    OPC_LW = 0x2003,
215139c1837SPaolo Bonzini    OPC_LWU = 0x6003,
216139c1837SPaolo Bonzini    OPC_MUL = 0x2000033,
217139c1837SPaolo Bonzini    OPC_MULH = 0x2001033,
218139c1837SPaolo Bonzini    OPC_MULHSU = 0x2002033,
219139c1837SPaolo Bonzini    OPC_MULHU = 0x2003033,
220139c1837SPaolo Bonzini    OPC_OR = 0x6033,
221139c1837SPaolo Bonzini    OPC_ORI = 0x6013,
222139c1837SPaolo Bonzini    OPC_REM = 0x2006033,
223139c1837SPaolo Bonzini    OPC_REMU = 0x2007033,
224139c1837SPaolo Bonzini    OPC_SB = 0x23,
225139c1837SPaolo Bonzini    OPC_SD = 0x3023,
226139c1837SPaolo Bonzini    OPC_SH = 0x1023,
227139c1837SPaolo Bonzini    OPC_SLL = 0x1033,
228139c1837SPaolo Bonzini    OPC_SLLI = 0x1013,
229139c1837SPaolo Bonzini    OPC_SLT = 0x2033,
230139c1837SPaolo Bonzini    OPC_SLTI = 0x2013,
231139c1837SPaolo Bonzini    OPC_SLTIU = 0x3013,
232139c1837SPaolo Bonzini    OPC_SLTU = 0x3033,
233139c1837SPaolo Bonzini    OPC_SRA = 0x40005033,
234139c1837SPaolo Bonzini    OPC_SRAI = 0x40005013,
235139c1837SPaolo Bonzini    OPC_SRL = 0x5033,
236139c1837SPaolo Bonzini    OPC_SRLI = 0x5013,
237139c1837SPaolo Bonzini    OPC_SUB = 0x40000033,
238139c1837SPaolo Bonzini    OPC_SW = 0x2023,
239139c1837SPaolo Bonzini    OPC_XOR = 0x4033,
240139c1837SPaolo Bonzini    OPC_XORI = 0x4013,
241139c1837SPaolo Bonzini
242139c1837SPaolo Bonzini    OPC_ADDIW = 0x1b,
243139c1837SPaolo Bonzini    OPC_ADDW = 0x3b,
244139c1837SPaolo Bonzini    OPC_DIVUW = 0x200503b,
245139c1837SPaolo Bonzini    OPC_DIVW = 0x200403b,
246139c1837SPaolo Bonzini    OPC_MULW = 0x200003b,
247139c1837SPaolo Bonzini    OPC_REMUW = 0x200703b,
248139c1837SPaolo Bonzini    OPC_REMW = 0x200603b,
249139c1837SPaolo Bonzini    OPC_SLLIW = 0x101b,
250139c1837SPaolo Bonzini    OPC_SLLW = 0x103b,
251139c1837SPaolo Bonzini    OPC_SRAIW = 0x4000501b,
252139c1837SPaolo Bonzini    OPC_SRAW = 0x4000503b,
253139c1837SPaolo Bonzini    OPC_SRLIW = 0x501b,
254139c1837SPaolo Bonzini    OPC_SRLW = 0x503b,
255139c1837SPaolo Bonzini    OPC_SUBW = 0x4000003b,
256139c1837SPaolo Bonzini
257139c1837SPaolo Bonzini    OPC_FENCE = 0x0000000f,
2589ae958e4SRichard Henderson    OPC_NOP   = OPC_ADDI,   /* nop = addi r0,r0,0 */
2599e3e0bc6SRichard Henderson
2609e3e0bc6SRichard Henderson    /* Zba: Bit manipulation extension, address generation */
2619e3e0bc6SRichard Henderson    OPC_ADD_UW = 0x0800003b,
2629e3e0bc6SRichard Henderson
2639e3e0bc6SRichard Henderson    /* Zbb: Bit manipulation extension, basic bit manipulaton */
2649e3e0bc6SRichard Henderson    OPC_ANDN   = 0x40007033,
2659e3e0bc6SRichard Henderson    OPC_CLZ    = 0x60001013,
2669e3e0bc6SRichard Henderson    OPC_CLZW   = 0x6000101b,
2679e3e0bc6SRichard Henderson    OPC_CPOP   = 0x60201013,
2689e3e0bc6SRichard Henderson    OPC_CPOPW  = 0x6020101b,
2699e3e0bc6SRichard Henderson    OPC_CTZ    = 0x60101013,
2709e3e0bc6SRichard Henderson    OPC_CTZW   = 0x6010101b,
2719e3e0bc6SRichard Henderson    OPC_ORN    = 0x40006033,
2729e3e0bc6SRichard Henderson    OPC_REV8   = 0x6b805013,
2739e3e0bc6SRichard Henderson    OPC_ROL    = 0x60001033,
2749e3e0bc6SRichard Henderson    OPC_ROLW   = 0x6000103b,
2759e3e0bc6SRichard Henderson    OPC_ROR    = 0x60005033,
2769e3e0bc6SRichard Henderson    OPC_RORW   = 0x6000503b,
2779e3e0bc6SRichard Henderson    OPC_RORI   = 0x60005013,
2789e3e0bc6SRichard Henderson    OPC_RORIW  = 0x6000501b,
2799e3e0bc6SRichard Henderson    OPC_SEXT_B = 0x60401013,
2809e3e0bc6SRichard Henderson    OPC_SEXT_H = 0x60501013,
2819e3e0bc6SRichard Henderson    OPC_XNOR   = 0x40004033,
2829e3e0bc6SRichard Henderson    OPC_ZEXT_H = 0x0800403b,
2839e3e0bc6SRichard Henderson
2849e3e0bc6SRichard Henderson    /* Zicond: integer conditional operations */
2859e3e0bc6SRichard Henderson    OPC_CZERO_EQZ = 0x0e005033,
2869e3e0bc6SRichard Henderson    OPC_CZERO_NEZ = 0x0e007033,
287139c1837SPaolo Bonzini} RISCVInsn;
288139c1837SPaolo Bonzini
289139c1837SPaolo Bonzini/*
290139c1837SPaolo Bonzini * RISC-V immediate and instruction encoders (excludes 16-bit RVC)
291139c1837SPaolo Bonzini */
292139c1837SPaolo Bonzini
293139c1837SPaolo Bonzini/* Type-R */
294139c1837SPaolo Bonzini
295139c1837SPaolo Bonzinistatic int32_t encode_r(RISCVInsn opc, TCGReg rd, TCGReg rs1, TCGReg rs2)
296139c1837SPaolo Bonzini{
297139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20;
298139c1837SPaolo Bonzini}
299139c1837SPaolo Bonzini
300139c1837SPaolo Bonzini/* Type-I */
301139c1837SPaolo Bonzini
302139c1837SPaolo Bonzinistatic int32_t encode_imm12(uint32_t imm)
303139c1837SPaolo Bonzini{
304139c1837SPaolo Bonzini    return (imm & 0xfff) << 20;
305139c1837SPaolo Bonzini}
306139c1837SPaolo Bonzini
307139c1837SPaolo Bonzinistatic int32_t encode_i(RISCVInsn opc, TCGReg rd, TCGReg rs1, uint32_t imm)
308139c1837SPaolo Bonzini{
309139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | encode_imm12(imm);
310139c1837SPaolo Bonzini}
311139c1837SPaolo Bonzini
312139c1837SPaolo Bonzini/* Type-S */
313139c1837SPaolo Bonzini
314139c1837SPaolo Bonzinistatic int32_t encode_simm12(uint32_t imm)
315139c1837SPaolo Bonzini{
316139c1837SPaolo Bonzini    int32_t ret = 0;
317139c1837SPaolo Bonzini
318139c1837SPaolo Bonzini    ret |= (imm & 0xFE0) << 20;
319139c1837SPaolo Bonzini    ret |= (imm & 0x1F) << 7;
320139c1837SPaolo Bonzini
321139c1837SPaolo Bonzini    return ret;
322139c1837SPaolo Bonzini}
323139c1837SPaolo Bonzini
324139c1837SPaolo Bonzinistatic int32_t encode_s(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
325139c1837SPaolo Bonzini{
326139c1837SPaolo Bonzini    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_simm12(imm);
327139c1837SPaolo Bonzini}
328139c1837SPaolo Bonzini
329139c1837SPaolo Bonzini/* Type-SB */
330139c1837SPaolo Bonzini
331139c1837SPaolo Bonzinistatic int32_t encode_sbimm12(uint32_t imm)
332139c1837SPaolo Bonzini{
333139c1837SPaolo Bonzini    int32_t ret = 0;
334139c1837SPaolo Bonzini
335139c1837SPaolo Bonzini    ret |= (imm & 0x1000) << 19;
336139c1837SPaolo Bonzini    ret |= (imm & 0x7e0) << 20;
337139c1837SPaolo Bonzini    ret |= (imm & 0x1e) << 7;
338139c1837SPaolo Bonzini    ret |= (imm & 0x800) >> 4;
339139c1837SPaolo Bonzini
340139c1837SPaolo Bonzini    return ret;
341139c1837SPaolo Bonzini}
342139c1837SPaolo Bonzini
343139c1837SPaolo Bonzinistatic int32_t encode_sb(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
344139c1837SPaolo Bonzini{
345139c1837SPaolo Bonzini    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_sbimm12(imm);
346139c1837SPaolo Bonzini}
347139c1837SPaolo Bonzini
348139c1837SPaolo Bonzini/* Type-U */
349139c1837SPaolo Bonzini
350139c1837SPaolo Bonzinistatic int32_t encode_uimm20(uint32_t imm)
351139c1837SPaolo Bonzini{
352139c1837SPaolo Bonzini    return imm & 0xfffff000;
353139c1837SPaolo Bonzini}
354139c1837SPaolo Bonzini
355139c1837SPaolo Bonzinistatic int32_t encode_u(RISCVInsn opc, TCGReg rd, uint32_t imm)
356139c1837SPaolo Bonzini{
357139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | encode_uimm20(imm);
358139c1837SPaolo Bonzini}
359139c1837SPaolo Bonzini
360139c1837SPaolo Bonzini/* Type-UJ */
361139c1837SPaolo Bonzini
362139c1837SPaolo Bonzinistatic int32_t encode_ujimm20(uint32_t imm)
363139c1837SPaolo Bonzini{
364139c1837SPaolo Bonzini    int32_t ret = 0;
365139c1837SPaolo Bonzini
366139c1837SPaolo Bonzini    ret |= (imm & 0x0007fe) << (21 - 1);
367139c1837SPaolo Bonzini    ret |= (imm & 0x000800) << (20 - 11);
368139c1837SPaolo Bonzini    ret |= (imm & 0x0ff000) << (12 - 12);
369139c1837SPaolo Bonzini    ret |= (imm & 0x100000) << (31 - 20);
370139c1837SPaolo Bonzini
371139c1837SPaolo Bonzini    return ret;
372139c1837SPaolo Bonzini}
373139c1837SPaolo Bonzini
374139c1837SPaolo Bonzinistatic int32_t encode_uj(RISCVInsn opc, TCGReg rd, uint32_t imm)
375139c1837SPaolo Bonzini{
376139c1837SPaolo Bonzini    return opc | (rd & 0x1f) << 7 | encode_ujimm20(imm);
377139c1837SPaolo Bonzini}
378139c1837SPaolo Bonzini
379139c1837SPaolo Bonzini/*
380139c1837SPaolo Bonzini * RISC-V instruction emitters
381139c1837SPaolo Bonzini */
382139c1837SPaolo Bonzini
383139c1837SPaolo Bonzinistatic void tcg_out_opc_reg(TCGContext *s, RISCVInsn opc,
384139c1837SPaolo Bonzini                            TCGReg rd, TCGReg rs1, TCGReg rs2)
385139c1837SPaolo Bonzini{
386139c1837SPaolo Bonzini    tcg_out32(s, encode_r(opc, rd, rs1, rs2));
387139c1837SPaolo Bonzini}
388139c1837SPaolo Bonzini
389139c1837SPaolo Bonzinistatic void tcg_out_opc_imm(TCGContext *s, RISCVInsn opc,
390139c1837SPaolo Bonzini                            TCGReg rd, TCGReg rs1, TCGArg imm)
391139c1837SPaolo Bonzini{
392139c1837SPaolo Bonzini    tcg_out32(s, encode_i(opc, rd, rs1, imm));
393139c1837SPaolo Bonzini}
394139c1837SPaolo Bonzini
395139c1837SPaolo Bonzinistatic void tcg_out_opc_store(TCGContext *s, RISCVInsn opc,
396139c1837SPaolo Bonzini                              TCGReg rs1, TCGReg rs2, uint32_t imm)
397139c1837SPaolo Bonzini{
398139c1837SPaolo Bonzini    tcg_out32(s, encode_s(opc, rs1, rs2, imm));
399139c1837SPaolo Bonzini}
400139c1837SPaolo Bonzini
401139c1837SPaolo Bonzinistatic void tcg_out_opc_branch(TCGContext *s, RISCVInsn opc,
402139c1837SPaolo Bonzini                               TCGReg rs1, TCGReg rs2, uint32_t imm)
403139c1837SPaolo Bonzini{
404139c1837SPaolo Bonzini    tcg_out32(s, encode_sb(opc, rs1, rs2, imm));
405139c1837SPaolo Bonzini}
406139c1837SPaolo Bonzini
407139c1837SPaolo Bonzinistatic void tcg_out_opc_upper(TCGContext *s, RISCVInsn opc,
408139c1837SPaolo Bonzini                              TCGReg rd, uint32_t imm)
409139c1837SPaolo Bonzini{
410139c1837SPaolo Bonzini    tcg_out32(s, encode_u(opc, rd, imm));
411139c1837SPaolo Bonzini}
412139c1837SPaolo Bonzini
413139c1837SPaolo Bonzinistatic void tcg_out_opc_jump(TCGContext *s, RISCVInsn opc,
414139c1837SPaolo Bonzini                             TCGReg rd, uint32_t imm)
415139c1837SPaolo Bonzini{
416139c1837SPaolo Bonzini    tcg_out32(s, encode_uj(opc, rd, imm));
417139c1837SPaolo Bonzini}
418139c1837SPaolo Bonzini
419139c1837SPaolo Bonzinistatic void tcg_out_nop_fill(tcg_insn_unit *p, int count)
420139c1837SPaolo Bonzini{
421139c1837SPaolo Bonzini    int i;
422139c1837SPaolo Bonzini    for (i = 0; i < count; ++i) {
4239ae958e4SRichard Henderson        p[i] = OPC_NOP;
424139c1837SPaolo Bonzini    }
425139c1837SPaolo Bonzini}
426139c1837SPaolo Bonzini
427139c1837SPaolo Bonzini/*
428139c1837SPaolo Bonzini * Relocations
429139c1837SPaolo Bonzini */
430139c1837SPaolo Bonzini
431793f7381SRichard Hendersonstatic bool reloc_sbimm12(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
432139c1837SPaolo Bonzini{
433793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
434793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
435139c1837SPaolo Bonzini
436844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
437844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 12)) {
438793f7381SRichard Henderson        *src_rw |= encode_sbimm12(offset);
439139c1837SPaolo Bonzini        return true;
440139c1837SPaolo Bonzini    }
441139c1837SPaolo Bonzini
442139c1837SPaolo Bonzini    return false;
443139c1837SPaolo Bonzini}
444139c1837SPaolo Bonzini
445793f7381SRichard Hendersonstatic bool reloc_jimm20(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
446139c1837SPaolo Bonzini{
447793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
448793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
449139c1837SPaolo Bonzini
450844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
451844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
452793f7381SRichard Henderson        *src_rw |= encode_ujimm20(offset);
453139c1837SPaolo Bonzini        return true;
454139c1837SPaolo Bonzini    }
455139c1837SPaolo Bonzini
456139c1837SPaolo Bonzini    return false;
457139c1837SPaolo Bonzini}
458139c1837SPaolo Bonzini
459793f7381SRichard Hendersonstatic bool reloc_call(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
460139c1837SPaolo Bonzini{
461793f7381SRichard Henderson    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
462793f7381SRichard Henderson    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
463139c1837SPaolo Bonzini    int32_t lo = sextreg(offset, 0, 12);
464139c1837SPaolo Bonzini    int32_t hi = offset - lo;
465139c1837SPaolo Bonzini
466139c1837SPaolo Bonzini    if (offset == hi + lo) {
467793f7381SRichard Henderson        src_rw[0] |= encode_uimm20(hi);
468793f7381SRichard Henderson        src_rw[1] |= encode_imm12(lo);
469139c1837SPaolo Bonzini        return true;
470139c1837SPaolo Bonzini    }
471139c1837SPaolo Bonzini
472139c1837SPaolo Bonzini    return false;
473139c1837SPaolo Bonzini}
474139c1837SPaolo Bonzini
475139c1837SPaolo Bonzinistatic bool patch_reloc(tcg_insn_unit *code_ptr, int type,
476139c1837SPaolo Bonzini                        intptr_t value, intptr_t addend)
477139c1837SPaolo Bonzini{
478139c1837SPaolo Bonzini    tcg_debug_assert(addend == 0);
479139c1837SPaolo Bonzini    switch (type) {
480139c1837SPaolo Bonzini    case R_RISCV_BRANCH:
481139c1837SPaolo Bonzini        return reloc_sbimm12(code_ptr, (tcg_insn_unit *)value);
482139c1837SPaolo Bonzini    case R_RISCV_JAL:
483139c1837SPaolo Bonzini        return reloc_jimm20(code_ptr, (tcg_insn_unit *)value);
484139c1837SPaolo Bonzini    case R_RISCV_CALL:
485139c1837SPaolo Bonzini        return reloc_call(code_ptr, (tcg_insn_unit *)value);
486139c1837SPaolo Bonzini    default:
4874b6a52d0SRichard Henderson        g_assert_not_reached();
488139c1837SPaolo Bonzini    }
489139c1837SPaolo Bonzini}
490139c1837SPaolo Bonzini
491139c1837SPaolo Bonzini/*
492139c1837SPaolo Bonzini * TCG intrinsics
493139c1837SPaolo Bonzini */
494139c1837SPaolo Bonzini
495139c1837SPaolo Bonzinistatic bool tcg_out_mov(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
496139c1837SPaolo Bonzini{
497139c1837SPaolo Bonzini    if (ret == arg) {
498139c1837SPaolo Bonzini        return true;
499139c1837SPaolo Bonzini    }
500139c1837SPaolo Bonzini    switch (type) {
501139c1837SPaolo Bonzini    case TCG_TYPE_I32:
502139c1837SPaolo Bonzini    case TCG_TYPE_I64:
503139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, ret, arg, 0);
504139c1837SPaolo Bonzini        break;
505139c1837SPaolo Bonzini    default:
506139c1837SPaolo Bonzini        g_assert_not_reached();
507139c1837SPaolo Bonzini    }
508139c1837SPaolo Bonzini    return true;
509139c1837SPaolo Bonzini}
510139c1837SPaolo Bonzini
511139c1837SPaolo Bonzinistatic void tcg_out_movi(TCGContext *s, TCGType type, TCGReg rd,
512139c1837SPaolo Bonzini                         tcg_target_long val)
513139c1837SPaolo Bonzini{
514139c1837SPaolo Bonzini    tcg_target_long lo, hi, tmp;
515139c1837SPaolo Bonzini    int shift, ret;
516139c1837SPaolo Bonzini
517aeb6326eSRichard Henderson    if (type == TCG_TYPE_I32) {
518139c1837SPaolo Bonzini        val = (int32_t)val;
519139c1837SPaolo Bonzini    }
520139c1837SPaolo Bonzini
521139c1837SPaolo Bonzini    lo = sextreg(val, 0, 12);
522139c1837SPaolo Bonzini    if (val == lo) {
523139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, lo);
524139c1837SPaolo Bonzini        return;
525139c1837SPaolo Bonzini    }
526139c1837SPaolo Bonzini
527139c1837SPaolo Bonzini    hi = val - lo;
528aeb6326eSRichard Henderson    if (val == (int32_t)val) {
529139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, hi);
530139c1837SPaolo Bonzini        if (lo != 0) {
531139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, rd, rd, lo);
532139c1837SPaolo Bonzini        }
533139c1837SPaolo Bonzini        return;
534139c1837SPaolo Bonzini    }
535139c1837SPaolo Bonzini
536139c1837SPaolo Bonzini    tmp = tcg_pcrel_diff(s, (void *)val);
537139c1837SPaolo Bonzini    if (tmp == (int32_t)tmp) {
538139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
539139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, rd, 0);
540793f7381SRichard Henderson        ret = reloc_call(s->code_ptr - 2, (const tcg_insn_unit *)val);
541139c1837SPaolo Bonzini        tcg_debug_assert(ret == true);
542139c1837SPaolo Bonzini        return;
543139c1837SPaolo Bonzini    }
544139c1837SPaolo Bonzini
545139c1837SPaolo Bonzini    /* Look for a single 20-bit section.  */
546139c1837SPaolo Bonzini    shift = ctz64(val);
547139c1837SPaolo Bonzini    tmp = val >> shift;
548139c1837SPaolo Bonzini    if (tmp == sextreg(tmp, 0, 20)) {
549139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, tmp << 12);
550139c1837SPaolo Bonzini        if (shift > 12) {
551139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLLI, rd, rd, shift - 12);
552139c1837SPaolo Bonzini        } else {
553139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SRAI, rd, rd, 12 - shift);
554139c1837SPaolo Bonzini        }
555139c1837SPaolo Bonzini        return;
556139c1837SPaolo Bonzini    }
557139c1837SPaolo Bonzini
558139c1837SPaolo Bonzini    /* Look for a few high zero bits, with lots of bits set in the middle.  */
559139c1837SPaolo Bonzini    shift = clz64(val);
560139c1837SPaolo Bonzini    tmp = val << shift;
561139c1837SPaolo Bonzini    if (tmp == sextreg(tmp, 12, 20) << 12) {
562139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_LUI, rd, tmp);
563139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
564139c1837SPaolo Bonzini        return;
565139c1837SPaolo Bonzini    } else if (tmp == sextreg(tmp, 0, 12)) {
566139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, tmp);
567139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
568139c1837SPaolo Bonzini        return;
569139c1837SPaolo Bonzini    }
570139c1837SPaolo Bonzini
571139c1837SPaolo Bonzini    /* Drop into the constant pool.  */
572139c1837SPaolo Bonzini    new_pool_label(s, val, R_RISCV_CALL, s->code_ptr, 0);
573139c1837SPaolo Bonzini    tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
574139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_LD, rd, rd, 0);
575139c1837SPaolo Bonzini}
576139c1837SPaolo Bonzini
577767c2503SRichard Hendersonstatic bool tcg_out_xchg(TCGContext *s, TCGType type, TCGReg r1, TCGReg r2)
578767c2503SRichard Henderson{
579767c2503SRichard Henderson    return false;
580767c2503SRichard Henderson}
581767c2503SRichard Henderson
5826a6d772eSRichard Hendersonstatic void tcg_out_addi_ptr(TCGContext *s, TCGReg rd, TCGReg rs,
5836a6d772eSRichard Henderson                             tcg_target_long imm)
5846a6d772eSRichard Henderson{
5856a6d772eSRichard Henderson    /* This function is only used for passing structs by reference. */
5866a6d772eSRichard Henderson    g_assert_not_reached();
5876a6d772eSRichard Henderson}
5886a6d772eSRichard Henderson
589139c1837SPaolo Bonzinistatic void tcg_out_ext8u(TCGContext *s, TCGReg ret, TCGReg arg)
590139c1837SPaolo Bonzini{
591139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ANDI, ret, arg, 0xff);
592139c1837SPaolo Bonzini}
593139c1837SPaolo Bonzini
594139c1837SPaolo Bonzinistatic void tcg_out_ext16u(TCGContext *s, TCGReg ret, TCGReg arg)
595139c1837SPaolo Bonzini{
596d1c3f4e9SRichard Henderson    if (have_zbb) {
597d1c3f4e9SRichard Henderson        tcg_out_opc_reg(s, OPC_ZEXT_H, ret, arg, TCG_REG_ZERO);
598d1c3f4e9SRichard Henderson    } else {
599139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
600139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLIW, ret, ret, 16);
601139c1837SPaolo Bonzini    }
602d1c3f4e9SRichard Henderson}
603139c1837SPaolo Bonzini
604139c1837SPaolo Bonzinistatic void tcg_out_ext32u(TCGContext *s, TCGReg ret, TCGReg arg)
605139c1837SPaolo Bonzini{
606d1c3f4e9SRichard Henderson    if (have_zba) {
607d1c3f4e9SRichard Henderson        tcg_out_opc_reg(s, OPC_ADD_UW, ret, arg, TCG_REG_ZERO);
608d1c3f4e9SRichard Henderson    } else {
609139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SLLI, ret, arg, 32);
610139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRLI, ret, ret, 32);
611139c1837SPaolo Bonzini    }
612d1c3f4e9SRichard Henderson}
613139c1837SPaolo Bonzini
614678155b2SRichard Hendersonstatic void tcg_out_ext8s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
615139c1837SPaolo Bonzini{
616d1c3f4e9SRichard Henderson    if (have_zbb) {
617d1c3f4e9SRichard Henderson        tcg_out_opc_imm(s, OPC_SEXT_B, ret, arg, 0);
618d1c3f4e9SRichard Henderson    } else {
619139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 24);
620139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 24);
621139c1837SPaolo Bonzini    }
622d1c3f4e9SRichard Henderson}
623139c1837SPaolo Bonzini
624753e42eaSRichard Hendersonstatic void tcg_out_ext16s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
625139c1837SPaolo Bonzini{
626d1c3f4e9SRichard Henderson    if (have_zbb) {
627d1c3f4e9SRichard Henderson        tcg_out_opc_imm(s, OPC_SEXT_H, ret, arg, 0);
628d1c3f4e9SRichard Henderson    } else {
629139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
630139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 16);
631139c1837SPaolo Bonzini    }
632d1c3f4e9SRichard Henderson}
633139c1837SPaolo Bonzini
634139c1837SPaolo Bonzinistatic void tcg_out_ext32s(TCGContext *s, TCGReg ret, TCGReg arg)
635139c1837SPaolo Bonzini{
636139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDIW, ret, arg, 0);
637139c1837SPaolo Bonzini}
638139c1837SPaolo Bonzini
6399c6aa274SRichard Hendersonstatic void tcg_out_exts_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg)
6409c6aa274SRichard Henderson{
6413ea9be33SRichard Henderson    if (ret != arg) {
6429c6aa274SRichard Henderson        tcg_out_ext32s(s, ret, arg);
6439c6aa274SRichard Henderson    }
6443ea9be33SRichard Henderson}
6459c6aa274SRichard Henderson
646b9bfe000SRichard Hendersonstatic void tcg_out_extu_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg)
647b9bfe000SRichard Henderson{
648b9bfe000SRichard Henderson    tcg_out_ext32u(s, ret, arg);
649b9bfe000SRichard Henderson}
650b9bfe000SRichard Henderson
651b8b94ac6SRichard Hendersonstatic void tcg_out_extrl_i64_i32(TCGContext *s, TCGReg ret, TCGReg arg)
652b8b94ac6SRichard Henderson{
653b8b94ac6SRichard Henderson    tcg_out_ext32s(s, ret, arg);
654b8b94ac6SRichard Henderson}
655b8b94ac6SRichard Henderson
656139c1837SPaolo Bonzinistatic void tcg_out_ldst(TCGContext *s, RISCVInsn opc, TCGReg data,
657139c1837SPaolo Bonzini                         TCGReg addr, intptr_t offset)
658139c1837SPaolo Bonzini{
659139c1837SPaolo Bonzini    intptr_t imm12 = sextreg(offset, 0, 12);
660139c1837SPaolo Bonzini
661139c1837SPaolo Bonzini    if (offset != imm12) {
6629d9db413SRichard Henderson        intptr_t diff = tcg_pcrel_diff(s, (void *)offset);
663139c1837SPaolo Bonzini
664139c1837SPaolo Bonzini        if (addr == TCG_REG_ZERO && diff == (int32_t)diff) {
665139c1837SPaolo Bonzini            imm12 = sextreg(diff, 0, 12);
666139c1837SPaolo Bonzini            tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP2, diff - imm12);
667139c1837SPaolo Bonzini        } else {
668139c1837SPaolo Bonzini            tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP2, offset - imm12);
669139c1837SPaolo Bonzini            if (addr != TCG_REG_ZERO) {
670139c1837SPaolo Bonzini                tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, addr);
671139c1837SPaolo Bonzini            }
672139c1837SPaolo Bonzini        }
673139c1837SPaolo Bonzini        addr = TCG_REG_TMP2;
674139c1837SPaolo Bonzini    }
675139c1837SPaolo Bonzini
676139c1837SPaolo Bonzini    switch (opc) {
677139c1837SPaolo Bonzini    case OPC_SB:
678139c1837SPaolo Bonzini    case OPC_SH:
679139c1837SPaolo Bonzini    case OPC_SW:
680139c1837SPaolo Bonzini    case OPC_SD:
681139c1837SPaolo Bonzini        tcg_out_opc_store(s, opc, addr, data, imm12);
682139c1837SPaolo Bonzini        break;
683139c1837SPaolo Bonzini    case OPC_LB:
684139c1837SPaolo Bonzini    case OPC_LBU:
685139c1837SPaolo Bonzini    case OPC_LH:
686139c1837SPaolo Bonzini    case OPC_LHU:
687139c1837SPaolo Bonzini    case OPC_LW:
688139c1837SPaolo Bonzini    case OPC_LWU:
689139c1837SPaolo Bonzini    case OPC_LD:
690139c1837SPaolo Bonzini        tcg_out_opc_imm(s, opc, data, addr, imm12);
691139c1837SPaolo Bonzini        break;
692139c1837SPaolo Bonzini    default:
693139c1837SPaolo Bonzini        g_assert_not_reached();
694139c1837SPaolo Bonzini    }
695139c1837SPaolo Bonzini}
696139c1837SPaolo Bonzini
697139c1837SPaolo Bonzinistatic void tcg_out_ld(TCGContext *s, TCGType type, TCGReg arg,
698139c1837SPaolo Bonzini                       TCGReg arg1, intptr_t arg2)
699139c1837SPaolo Bonzini{
700aeb6326eSRichard Henderson    RISCVInsn insn = type == TCG_TYPE_I32 ? OPC_LW : OPC_LD;
701aeb6326eSRichard Henderson    tcg_out_ldst(s, insn, arg, arg1, arg2);
702139c1837SPaolo Bonzini}
703139c1837SPaolo Bonzini
704139c1837SPaolo Bonzinistatic void tcg_out_st(TCGContext *s, TCGType type, TCGReg arg,
705139c1837SPaolo Bonzini                       TCGReg arg1, intptr_t arg2)
706139c1837SPaolo Bonzini{
707aeb6326eSRichard Henderson    RISCVInsn insn = type == TCG_TYPE_I32 ? OPC_SW : OPC_SD;
708aeb6326eSRichard Henderson    tcg_out_ldst(s, insn, arg, arg1, arg2);
709139c1837SPaolo Bonzini}
710139c1837SPaolo Bonzini
711139c1837SPaolo Bonzinistatic bool tcg_out_sti(TCGContext *s, TCGType type, TCGArg val,
712139c1837SPaolo Bonzini                        TCGReg base, intptr_t ofs)
713139c1837SPaolo Bonzini{
714139c1837SPaolo Bonzini    if (val == 0) {
715139c1837SPaolo Bonzini        tcg_out_st(s, type, TCG_REG_ZERO, base, ofs);
716139c1837SPaolo Bonzini        return true;
717139c1837SPaolo Bonzini    }
718139c1837SPaolo Bonzini    return false;
719139c1837SPaolo Bonzini}
720139c1837SPaolo Bonzini
721139c1837SPaolo Bonzinistatic void tcg_out_addsub2(TCGContext *s,
722139c1837SPaolo Bonzini                            TCGReg rl, TCGReg rh,
723139c1837SPaolo Bonzini                            TCGReg al, TCGReg ah,
724139c1837SPaolo Bonzini                            TCGArg bl, TCGArg bh,
725139c1837SPaolo Bonzini                            bool cbl, bool cbh, bool is_sub, bool is32bit)
726139c1837SPaolo Bonzini{
727139c1837SPaolo Bonzini    const RISCVInsn opc_add = is32bit ? OPC_ADDW : OPC_ADD;
728139c1837SPaolo Bonzini    const RISCVInsn opc_addi = is32bit ? OPC_ADDIW : OPC_ADDI;
729139c1837SPaolo Bonzini    const RISCVInsn opc_sub = is32bit ? OPC_SUBW : OPC_SUB;
730139c1837SPaolo Bonzini    TCGReg th = TCG_REG_TMP1;
731139c1837SPaolo Bonzini
732139c1837SPaolo Bonzini    /* If we have a negative constant such that negating it would
733139c1837SPaolo Bonzini       make the high part zero, we can (usually) eliminate one insn.  */
734139c1837SPaolo Bonzini    if (cbl && cbh && bh == -1 && bl != 0) {
735139c1837SPaolo Bonzini        bl = -bl;
736139c1837SPaolo Bonzini        bh = 0;
737139c1837SPaolo Bonzini        is_sub = !is_sub;
738139c1837SPaolo Bonzini    }
739139c1837SPaolo Bonzini
740139c1837SPaolo Bonzini    /* By operating on the high part first, we get to use the final
741139c1837SPaolo Bonzini       carry operation to move back from the temporary.  */
742139c1837SPaolo Bonzini    if (!cbh) {
743139c1837SPaolo Bonzini        tcg_out_opc_reg(s, (is_sub ? opc_sub : opc_add), th, ah, bh);
744139c1837SPaolo Bonzini    } else if (bh != 0 || ah == rl) {
745139c1837SPaolo Bonzini        tcg_out_opc_imm(s, opc_addi, th, ah, (is_sub ? -bh : bh));
746139c1837SPaolo Bonzini    } else {
747139c1837SPaolo Bonzini        th = ah;
748139c1837SPaolo Bonzini    }
749139c1837SPaolo Bonzini
750139c1837SPaolo Bonzini    /* Note that tcg optimization should eliminate the bl == 0 case.  */
751139c1837SPaolo Bonzini    if (is_sub) {
752139c1837SPaolo Bonzini        if (cbl) {
753139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, al, bl);
754139c1837SPaolo Bonzini            tcg_out_opc_imm(s, opc_addi, rl, al, -bl);
755139c1837SPaolo Bonzini        } else {
756139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0, al, bl);
757139c1837SPaolo Bonzini            tcg_out_opc_reg(s, opc_sub, rl, al, bl);
758139c1837SPaolo Bonzini        }
759139c1837SPaolo Bonzini        tcg_out_opc_reg(s, opc_sub, rh, th, TCG_REG_TMP0);
760139c1837SPaolo Bonzini    } else {
761139c1837SPaolo Bonzini        if (cbl) {
762139c1837SPaolo Bonzini            tcg_out_opc_imm(s, opc_addi, rl, al, bl);
763139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, rl, bl);
7649b246685SRichard Henderson        } else if (al == bl) {
7659b246685SRichard Henderson            /*
7669b246685SRichard Henderson             * If the input regs overlap, this is a simple doubling
7679b246685SRichard Henderson             * and carry-out is the input msb.  This special case is
7689b246685SRichard Henderson             * required when the output reg overlaps the input,
7699b246685SRichard Henderson             * but we might as well use it always.
7709b246685SRichard Henderson             */
771139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_SLTI, TCG_REG_TMP0, al, 0);
7729b246685SRichard Henderson            tcg_out_opc_reg(s, opc_add, rl, al, al);
773139c1837SPaolo Bonzini        } else {
774139c1837SPaolo Bonzini            tcg_out_opc_reg(s, opc_add, rl, al, bl);
775139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0,
776139c1837SPaolo Bonzini                            rl, (rl == bl ? al : bl));
777139c1837SPaolo Bonzini        }
778139c1837SPaolo Bonzini        tcg_out_opc_reg(s, opc_add, rh, th, TCG_REG_TMP0);
779139c1837SPaolo Bonzini    }
780139c1837SPaolo Bonzini}
781139c1837SPaolo Bonzini
782139c1837SPaolo Bonzinistatic const struct {
783139c1837SPaolo Bonzini    RISCVInsn op;
784139c1837SPaolo Bonzini    bool swap;
785139c1837SPaolo Bonzini} tcg_brcond_to_riscv[] = {
786139c1837SPaolo Bonzini    [TCG_COND_EQ] =  { OPC_BEQ,  false },
787139c1837SPaolo Bonzini    [TCG_COND_NE] =  { OPC_BNE,  false },
788139c1837SPaolo Bonzini    [TCG_COND_LT] =  { OPC_BLT,  false },
789139c1837SPaolo Bonzini    [TCG_COND_GE] =  { OPC_BGE,  false },
790139c1837SPaolo Bonzini    [TCG_COND_LE] =  { OPC_BGE,  true  },
791139c1837SPaolo Bonzini    [TCG_COND_GT] =  { OPC_BLT,  true  },
792139c1837SPaolo Bonzini    [TCG_COND_LTU] = { OPC_BLTU, false },
793139c1837SPaolo Bonzini    [TCG_COND_GEU] = { OPC_BGEU, false },
794139c1837SPaolo Bonzini    [TCG_COND_LEU] = { OPC_BGEU, true  },
795139c1837SPaolo Bonzini    [TCG_COND_GTU] = { OPC_BLTU, true  }
796139c1837SPaolo Bonzini};
797139c1837SPaolo Bonzini
798139c1837SPaolo Bonzinistatic void tcg_out_brcond(TCGContext *s, TCGCond cond, TCGReg arg1,
799139c1837SPaolo Bonzini                           TCGReg arg2, TCGLabel *l)
800139c1837SPaolo Bonzini{
801139c1837SPaolo Bonzini    RISCVInsn op = tcg_brcond_to_riscv[cond].op;
802139c1837SPaolo Bonzini
803139c1837SPaolo Bonzini    tcg_debug_assert(op != 0);
804139c1837SPaolo Bonzini
805139c1837SPaolo Bonzini    if (tcg_brcond_to_riscv[cond].swap) {
806139c1837SPaolo Bonzini        TCGReg t = arg1;
807139c1837SPaolo Bonzini        arg1 = arg2;
808139c1837SPaolo Bonzini        arg2 = t;
809139c1837SPaolo Bonzini    }
810139c1837SPaolo Bonzini
811139c1837SPaolo Bonzini    tcg_out_reloc(s, s->code_ptr, R_RISCV_BRANCH, l, 0);
812139c1837SPaolo Bonzini    tcg_out_opc_branch(s, op, arg1, arg2, 0);
813139c1837SPaolo Bonzini}
814139c1837SPaolo Bonzini
815*f6453695SRichard Henderson#define SETCOND_INV    TCG_TARGET_NB_REGS
816*f6453695SRichard Henderson#define SETCOND_NEZ    (SETCOND_INV << 1)
817*f6453695SRichard Henderson#define SETCOND_FLAGS  (SETCOND_INV | SETCOND_NEZ)
818*f6453695SRichard Henderson
819*f6453695SRichard Hendersonstatic int tcg_out_setcond_int(TCGContext *s, TCGCond cond, TCGReg ret,
820*f6453695SRichard Henderson                               TCGReg arg1, tcg_target_long arg2, bool c2)
821139c1837SPaolo Bonzini{
822*f6453695SRichard Henderson    int flags = 0;
823*f6453695SRichard Henderson
824139c1837SPaolo Bonzini    switch (cond) {
825*f6453695SRichard Henderson    case TCG_COND_EQ:    /* -> NE  */
826*f6453695SRichard Henderson    case TCG_COND_GE:    /* -> LT  */
827*f6453695SRichard Henderson    case TCG_COND_GEU:   /* -> LTU */
828*f6453695SRichard Henderson    case TCG_COND_GT:    /* -> LE  */
829*f6453695SRichard Henderson    case TCG_COND_GTU:   /* -> LEU */
830*f6453695SRichard Henderson        cond = tcg_invert_cond(cond);
831*f6453695SRichard Henderson        flags ^= SETCOND_INV;
832139c1837SPaolo Bonzini        break;
833*f6453695SRichard Henderson    default:
834139c1837SPaolo Bonzini        break;
835*f6453695SRichard Henderson    }
836*f6453695SRichard Henderson
837*f6453695SRichard Henderson    switch (cond) {
838139c1837SPaolo Bonzini    case TCG_COND_LE:
839139c1837SPaolo Bonzini    case TCG_COND_LEU:
840*f6453695SRichard Henderson        /*
841*f6453695SRichard Henderson         * If we have a constant input, the most efficient way to implement
842*f6453695SRichard Henderson         * LE is by adding 1 and using LT.  Watch out for wrap around for LEU.
843*f6453695SRichard Henderson         * We don't need to care for this for LE because the constant input
844*f6453695SRichard Henderson         * is constrained to signed 12-bit, and 0x800 is representable in the
845*f6453695SRichard Henderson         * temporary register.
846*f6453695SRichard Henderson         */
847*f6453695SRichard Henderson        if (c2) {
848*f6453695SRichard Henderson            if (cond == TCG_COND_LEU) {
849*f6453695SRichard Henderson                /* unsigned <= -1 is true */
850*f6453695SRichard Henderson                if (arg2 == -1) {
851*f6453695SRichard Henderson                    tcg_out_movi(s, TCG_TYPE_REG, ret, !(flags & SETCOND_INV));
852*f6453695SRichard Henderson                    return ret;
853*f6453695SRichard Henderson                }
854*f6453695SRichard Henderson                cond = TCG_COND_LTU;
855*f6453695SRichard Henderson            } else {
856*f6453695SRichard Henderson                cond = TCG_COND_LT;
857*f6453695SRichard Henderson            }
858*f6453695SRichard Henderson            tcg_debug_assert(arg2 <= 0x7ff);
859*f6453695SRichard Henderson            if (++arg2 == 0x800) {
860*f6453695SRichard Henderson                tcg_out_movi(s, TCG_TYPE_REG, TCG_REG_TMP0, arg2);
861*f6453695SRichard Henderson                arg2 = TCG_REG_TMP0;
862*f6453695SRichard Henderson                c2 = false;
863*f6453695SRichard Henderson            }
864*f6453695SRichard Henderson        } else {
865*f6453695SRichard Henderson            TCGReg tmp = arg2;
866*f6453695SRichard Henderson            arg2 = arg1;
867*f6453695SRichard Henderson            arg1 = tmp;
868*f6453695SRichard Henderson            cond = tcg_swap_cond(cond);    /* LE -> GE */
869*f6453695SRichard Henderson            cond = tcg_invert_cond(cond);  /* GE -> LT */
870*f6453695SRichard Henderson            flags ^= SETCOND_INV;
871*f6453695SRichard Henderson        }
872139c1837SPaolo Bonzini        break;
873*f6453695SRichard Henderson    default:
874*f6453695SRichard Henderson        break;
875*f6453695SRichard Henderson    }
876*f6453695SRichard Henderson
877*f6453695SRichard Henderson    switch (cond) {
878*f6453695SRichard Henderson    case TCG_COND_NE:
879*f6453695SRichard Henderson        flags |= SETCOND_NEZ;
880*f6453695SRichard Henderson        if (!c2) {
881*f6453695SRichard Henderson            tcg_out_opc_reg(s, OPC_XOR, ret, arg1, arg2);
882*f6453695SRichard Henderson        } else if (arg2 == 0) {
883*f6453695SRichard Henderson            ret = arg1;
884*f6453695SRichard Henderson        } else {
885*f6453695SRichard Henderson            tcg_out_opc_imm(s, OPC_XORI, ret, arg1, arg2);
886*f6453695SRichard Henderson        }
887*f6453695SRichard Henderson        break;
888*f6453695SRichard Henderson
889*f6453695SRichard Henderson    case TCG_COND_LT:
890*f6453695SRichard Henderson        if (c2) {
891*f6453695SRichard Henderson            tcg_out_opc_imm(s, OPC_SLTI, ret, arg1, arg2);
892*f6453695SRichard Henderson        } else {
893*f6453695SRichard Henderson            tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2);
894*f6453695SRichard Henderson        }
895*f6453695SRichard Henderson        break;
896*f6453695SRichard Henderson
897*f6453695SRichard Henderson    case TCG_COND_LTU:
898*f6453695SRichard Henderson        if (c2) {
899*f6453695SRichard Henderson            tcg_out_opc_imm(s, OPC_SLTIU, ret, arg1, arg2);
900*f6453695SRichard Henderson        } else {
901*f6453695SRichard Henderson            tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2);
902*f6453695SRichard Henderson        }
903*f6453695SRichard Henderson        break;
904*f6453695SRichard Henderson
905*f6453695SRichard Henderson    default:
906*f6453695SRichard Henderson        g_assert_not_reached();
907*f6453695SRichard Henderson    }
908*f6453695SRichard Henderson
909*f6453695SRichard Henderson    return ret | flags;
910*f6453695SRichard Henderson}
911*f6453695SRichard Henderson
912*f6453695SRichard Hendersonstatic void tcg_out_setcond(TCGContext *s, TCGCond cond, TCGReg ret,
913*f6453695SRichard Henderson                            TCGReg arg1, tcg_target_long arg2, bool c2)
914*f6453695SRichard Henderson{
915*f6453695SRichard Henderson    int tmpflags = tcg_out_setcond_int(s, cond, ret, arg1, arg2, c2);
916*f6453695SRichard Henderson
917*f6453695SRichard Henderson    if (tmpflags != ret) {
918*f6453695SRichard Henderson        TCGReg tmp = tmpflags & ~SETCOND_FLAGS;
919*f6453695SRichard Henderson
920*f6453695SRichard Henderson        switch (tmpflags & SETCOND_FLAGS) {
921*f6453695SRichard Henderson        case SETCOND_INV:
922*f6453695SRichard Henderson            /* Intermediate result is boolean: simply invert. */
923*f6453695SRichard Henderson            tcg_out_opc_imm(s, OPC_XORI, ret, tmp, 1);
924*f6453695SRichard Henderson            break;
925*f6453695SRichard Henderson        case SETCOND_NEZ:
926*f6453695SRichard Henderson            /* Intermediate result is zero/non-zero: test != 0. */
927*f6453695SRichard Henderson            tcg_out_opc_reg(s, OPC_SLTU, ret, TCG_REG_ZERO, tmp);
928*f6453695SRichard Henderson            break;
929*f6453695SRichard Henderson        case SETCOND_NEZ | SETCOND_INV:
930*f6453695SRichard Henderson            /* Intermediate result is zero/non-zero: test == 0. */
931*f6453695SRichard Henderson            tcg_out_opc_imm(s, OPC_SLTIU, ret, tmp, 1);
932139c1837SPaolo Bonzini            break;
933139c1837SPaolo Bonzini        default:
934139c1837SPaolo Bonzini            g_assert_not_reached();
935*f6453695SRichard Henderson        }
936139c1837SPaolo Bonzini    }
937139c1837SPaolo Bonzini}
938139c1837SPaolo Bonzini
9392be7d76bSRichard Hendersonstatic void tcg_out_call_int(TCGContext *s, const tcg_insn_unit *arg, bool tail)
940139c1837SPaolo Bonzini{
941139c1837SPaolo Bonzini    TCGReg link = tail ? TCG_REG_ZERO : TCG_REG_RA;
942139c1837SPaolo Bonzini    ptrdiff_t offset = tcg_pcrel_diff(s, arg);
943139c1837SPaolo Bonzini    int ret;
944139c1837SPaolo Bonzini
945844d0442SRichard Henderson    tcg_debug_assert((offset & 1) == 0);
946844d0442SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
947139c1837SPaolo Bonzini        /* short jump: -2097150 to 2097152 */
948139c1837SPaolo Bonzini        tcg_out_opc_jump(s, OPC_JAL, link, offset);
949aeb6326eSRichard Henderson    } else if (offset == (int32_t)offset) {
950139c1837SPaolo Bonzini        /* long jump: -2147483646 to 2147483648 */
951139c1837SPaolo Bonzini        tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP0, 0);
952139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, 0);
953844d0442SRichard Henderson        ret = reloc_call(s->code_ptr - 2, arg);
954139c1837SPaolo Bonzini        tcg_debug_assert(ret == true);
955aeb6326eSRichard Henderson    } else {
956139c1837SPaolo Bonzini        /* far jump: 64-bit */
957139c1837SPaolo Bonzini        tcg_target_long imm = sextreg((tcg_target_long)arg, 0, 12);
958139c1837SPaolo Bonzini        tcg_target_long base = (tcg_target_long)arg - imm;
959139c1837SPaolo Bonzini        tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP0, base);
960139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, imm);
961139c1837SPaolo Bonzini    }
962139c1837SPaolo Bonzini}
963139c1837SPaolo Bonzini
964cee44b03SRichard Hendersonstatic void tcg_out_call(TCGContext *s, const tcg_insn_unit *arg,
965cee44b03SRichard Henderson                         const TCGHelperInfo *info)
966139c1837SPaolo Bonzini{
967139c1837SPaolo Bonzini    tcg_out_call_int(s, arg, false);
968139c1837SPaolo Bonzini}
969139c1837SPaolo Bonzini
970139c1837SPaolo Bonzinistatic void tcg_out_mb(TCGContext *s, TCGArg a0)
971139c1837SPaolo Bonzini{
972139c1837SPaolo Bonzini    tcg_insn_unit insn = OPC_FENCE;
973139c1837SPaolo Bonzini
974139c1837SPaolo Bonzini    if (a0 & TCG_MO_LD_LD) {
975139c1837SPaolo Bonzini        insn |= 0x02200000;
976139c1837SPaolo Bonzini    }
977139c1837SPaolo Bonzini    if (a0 & TCG_MO_ST_LD) {
978139c1837SPaolo Bonzini        insn |= 0x01200000;
979139c1837SPaolo Bonzini    }
980139c1837SPaolo Bonzini    if (a0 & TCG_MO_LD_ST) {
981139c1837SPaolo Bonzini        insn |= 0x02100000;
982139c1837SPaolo Bonzini    }
983139c1837SPaolo Bonzini    if (a0 & TCG_MO_ST_ST) {
984139c1837SPaolo Bonzini        insn |= 0x02200000;
985139c1837SPaolo Bonzini    }
986139c1837SPaolo Bonzini    tcg_out32(s, insn);
987139c1837SPaolo Bonzini}
988139c1837SPaolo Bonzini
989139c1837SPaolo Bonzini/*
990139c1837SPaolo Bonzini * Load/store and TLB
991139c1837SPaolo Bonzini */
992139c1837SPaolo Bonzini
993793f7381SRichard Hendersonstatic void tcg_out_goto(TCGContext *s, const tcg_insn_unit *target)
994844d0442SRichard Henderson{
995844d0442SRichard Henderson    tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
996844d0442SRichard Henderson    bool ok = reloc_jimm20(s->code_ptr - 1, target);
997844d0442SRichard Henderson    tcg_debug_assert(ok);
998844d0442SRichard Henderson}
999844d0442SRichard Henderson
10007b880107SRichard Hendersonbool tcg_target_has_memory_bswap(MemOp memop)
10017b880107SRichard Henderson{
10027b880107SRichard Henderson    return false;
10037b880107SRichard Henderson}
10047b880107SRichard Henderson
100561b6daafSRichard Henderson/* We have three temps, we might as well expose them. */
100661b6daafSRichard Hendersonstatic const TCGLdstHelperParam ldst_helper_param = {
100761b6daafSRichard Henderson    .ntmp = 3, .tmp = { TCG_REG_TMP0, TCG_REG_TMP1, TCG_REG_TMP2 }
100861b6daafSRichard Henderson};
100961b6daafSRichard Henderson
1010139c1837SPaolo Bonzinistatic bool tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
1011139c1837SPaolo Bonzini{
101261b6daafSRichard Henderson    MemOp opc = get_memop(l->oi);
1013139c1837SPaolo Bonzini
1014139c1837SPaolo Bonzini    /* resolve label address */
1015793f7381SRichard Henderson    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
1016139c1837SPaolo Bonzini        return false;
1017139c1837SPaolo Bonzini    }
1018139c1837SPaolo Bonzini
1019139c1837SPaolo Bonzini    /* call load helper */
102061b6daafSRichard Henderson    tcg_out_ld_helper_args(s, l, &ldst_helper_param);
1021cee44b03SRichard Henderson    tcg_out_call_int(s, qemu_ld_helpers[opc & MO_SSIZE], false);
102261b6daafSRichard Henderson    tcg_out_ld_helper_ret(s, l, true, &ldst_helper_param);
1023139c1837SPaolo Bonzini
1024139c1837SPaolo Bonzini    tcg_out_goto(s, l->raddr);
1025139c1837SPaolo Bonzini    return true;
1026139c1837SPaolo Bonzini}
1027139c1837SPaolo Bonzini
1028139c1837SPaolo Bonzinistatic bool tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
1029139c1837SPaolo Bonzini{
103061b6daafSRichard Henderson    MemOp opc = get_memop(l->oi);
1031139c1837SPaolo Bonzini
1032139c1837SPaolo Bonzini    /* resolve label address */
1033793f7381SRichard Henderson    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
1034139c1837SPaolo Bonzini        return false;
1035139c1837SPaolo Bonzini    }
1036139c1837SPaolo Bonzini
1037139c1837SPaolo Bonzini    /* call store helper */
103861b6daafSRichard Henderson    tcg_out_st_helper_args(s, l, &ldst_helper_param);
1039cee44b03SRichard Henderson    tcg_out_call_int(s, qemu_st_helpers[opc & MO_SIZE], false);
1040139c1837SPaolo Bonzini
1041139c1837SPaolo Bonzini    tcg_out_goto(s, l->raddr);
1042139c1837SPaolo Bonzini    return true;
1043139c1837SPaolo Bonzini}
1044139c1837SPaolo Bonzini
1045001dddfeSRichard Henderson/*
1046001dddfeSRichard Henderson * For softmmu, perform the TLB load and compare.
1047001dddfeSRichard Henderson * For useronly, perform any required alignment tests.
1048001dddfeSRichard Henderson * In both cases, return a TCGLabelQemuLdst structure if the slow path
1049001dddfeSRichard Henderson * is required and fill in @h with the host address for the fast path.
1050001dddfeSRichard Henderson */
1051001dddfeSRichard Hendersonstatic TCGLabelQemuLdst *prepare_host_addr(TCGContext *s, TCGReg *pbase,
1052001dddfeSRichard Henderson                                           TCGReg addr_reg, MemOpIdx oi,
1053001dddfeSRichard Henderson                                           bool is_ld)
1054001dddfeSRichard Henderson{
1055001dddfeSRichard Henderson    TCGLabelQemuLdst *ldst = NULL;
1056001dddfeSRichard Henderson    MemOp opc = get_memop(oi);
105737e523f0SRichard Henderson    TCGAtomAlign aa;
105837e523f0SRichard Henderson    unsigned a_mask;
105937e523f0SRichard Henderson
106037e523f0SRichard Henderson    aa = atom_and_align_for_opc(s, opc, MO_ATOM_IFALIGN, false);
106137e523f0SRichard Henderson    a_mask = (1u << aa.align) - 1;
1062001dddfeSRichard Henderson
1063001dddfeSRichard Henderson#ifdef CONFIG_SOFTMMU
1064001dddfeSRichard Henderson    unsigned s_bits = opc & MO_SIZE;
1065933b331bSRichard Henderson    unsigned s_mask = (1u << s_bits) - 1;
1066001dddfeSRichard Henderson    int mem_index = get_mmuidx(oi);
1067001dddfeSRichard Henderson    int fast_ofs = TLB_MASK_TABLE_OFS(mem_index);
1068001dddfeSRichard Henderson    int mask_ofs = fast_ofs + offsetof(CPUTLBDescFast, mask);
1069001dddfeSRichard Henderson    int table_ofs = fast_ofs + offsetof(CPUTLBDescFast, table);
1070933b331bSRichard Henderson    int compare_mask;
1071933b331bSRichard Henderson    TCGReg addr_adj;
1072001dddfeSRichard Henderson
1073001dddfeSRichard Henderson    ldst = new_ldst_label(s);
1074001dddfeSRichard Henderson    ldst->is_ld = is_ld;
1075001dddfeSRichard Henderson    ldst->oi = oi;
1076001dddfeSRichard Henderson    ldst->addrlo_reg = addr_reg;
1077001dddfeSRichard Henderson
1078001dddfeSRichard Henderson    QEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) > 0);
1079001dddfeSRichard Henderson    QEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) < -(1 << 11));
1080933b331bSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_AREG0, mask_ofs);
1081933b331bSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP1, TCG_AREG0, table_ofs);
1082001dddfeSRichard Henderson
1083001dddfeSRichard Henderson    tcg_out_opc_imm(s, OPC_SRLI, TCG_REG_TMP2, addr_reg,
1084aece72b7SRichard Henderson                    s->page_bits - CPU_TLB_ENTRY_BITS);
1085001dddfeSRichard Henderson    tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP0);
1086001dddfeSRichard Henderson    tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP1);
1087001dddfeSRichard Henderson
1088933b331bSRichard Henderson    /*
1089933b331bSRichard Henderson     * For aligned accesses, we check the first byte and include the alignment
1090933b331bSRichard Henderson     * bits within the address.  For unaligned access, we check that we don't
1091933b331bSRichard Henderson     * cross pages using the address of the last byte of the access.
1092933b331bSRichard Henderson     */
1093933b331bSRichard Henderson    addr_adj = addr_reg;
109437e523f0SRichard Henderson    if (a_mask < s_mask) {
1095933b331bSRichard Henderson        addr_adj = TCG_REG_TMP0;
1096933b331bSRichard Henderson        tcg_out_opc_imm(s, TARGET_LONG_BITS == 32 ? OPC_ADDIW : OPC_ADDI,
1097933b331bSRichard Henderson                        addr_adj, addr_reg, s_mask - a_mask);
1098933b331bSRichard Henderson    }
1099aece72b7SRichard Henderson    compare_mask = s->page_mask | a_mask;
1100933b331bSRichard Henderson    if (compare_mask == sextreg(compare_mask, 0, 12)) {
1101933b331bSRichard Henderson        tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr_adj, compare_mask);
1102933b331bSRichard Henderson    } else {
1103933b331bSRichard Henderson        tcg_out_movi(s, TCG_TYPE_TL, TCG_REG_TMP1, compare_mask);
1104933b331bSRichard Henderson        tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP1, TCG_REG_TMP1, addr_adj);
1105933b331bSRichard Henderson    }
1106933b331bSRichard Henderson
1107001dddfeSRichard Henderson    /* Load the tlb comparator and the addend.  */
1108001dddfeSRichard Henderson    tcg_out_ld(s, TCG_TYPE_TL, TCG_REG_TMP0, TCG_REG_TMP2,
1109001dddfeSRichard Henderson               is_ld ? offsetof(CPUTLBEntry, addr_read)
1110001dddfeSRichard Henderson                     : offsetof(CPUTLBEntry, addr_write));
1111001dddfeSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP2, TCG_REG_TMP2,
1112001dddfeSRichard Henderson               offsetof(CPUTLBEntry, addend));
1113001dddfeSRichard Henderson
1114001dddfeSRichard Henderson    /* Compare masked address with the TLB entry. */
1115001dddfeSRichard Henderson    ldst->label_ptr[0] = s->code_ptr;
1116001dddfeSRichard Henderson    tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP0, TCG_REG_TMP1, 0);
1117001dddfeSRichard Henderson
1118001dddfeSRichard Henderson    /* TLB Hit - translate address using addend.  */
1119eda15159SRichard Henderson    if (TARGET_LONG_BITS == 64) {
1120eda15159SRichard Henderson        tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, addr_reg, TCG_REG_TMP2);
1121eda15159SRichard Henderson    } else if (have_zba) {
1122eda15159SRichard Henderson        tcg_out_opc_reg(s, OPC_ADD_UW, TCG_REG_TMP0, addr_reg, TCG_REG_TMP2);
1123eda15159SRichard Henderson    } else {
1124eda15159SRichard Henderson        tcg_out_ext32u(s, TCG_REG_TMP0, addr_reg);
1125eda15159SRichard Henderson        tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, TCG_REG_TMP0, TCG_REG_TMP2);
1126001dddfeSRichard Henderson    }
1127001dddfeSRichard Henderson    *pbase = TCG_REG_TMP0;
1128001dddfeSRichard Henderson#else
1129eda15159SRichard Henderson    TCGReg base;
1130eda15159SRichard Henderson
1131001dddfeSRichard Henderson    if (a_mask) {
1132001dddfeSRichard Henderson        ldst = new_ldst_label(s);
1133001dddfeSRichard Henderson        ldst->is_ld = is_ld;
1134001dddfeSRichard Henderson        ldst->oi = oi;
1135001dddfeSRichard Henderson        ldst->addrlo_reg = addr_reg;
1136001dddfeSRichard Henderson
113737e523f0SRichard Henderson        /* We are expecting alignment max 7, so we can always use andi. */
113837e523f0SRichard Henderson        tcg_debug_assert(a_mask == sextreg(a_mask, 0, 12));
1139001dddfeSRichard Henderson        tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr_reg, a_mask);
1140001dddfeSRichard Henderson
1141001dddfeSRichard Henderson        ldst->label_ptr[0] = s->code_ptr;
1142001dddfeSRichard Henderson        tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP1, TCG_REG_ZERO, 0);
1143001dddfeSRichard Henderson    }
1144001dddfeSRichard Henderson
1145001dddfeSRichard Henderson    if (guest_base != 0) {
1146001dddfeSRichard Henderson        base = TCG_REG_TMP0;
1147eda15159SRichard Henderson        if (TARGET_LONG_BITS == 64) {
1148eda15159SRichard Henderson            tcg_out_opc_reg(s, OPC_ADD, base, addr_reg, TCG_GUEST_BASE_REG);
1149eda15159SRichard Henderson        } else if (have_zba) {
1150eda15159SRichard Henderson            tcg_out_opc_reg(s, OPC_ADD_UW, base, addr_reg, TCG_GUEST_BASE_REG);
1151eda15159SRichard Henderson        } else {
1152eda15159SRichard Henderson            tcg_out_ext32u(s, base, addr_reg);
1153eda15159SRichard Henderson            tcg_out_opc_reg(s, OPC_ADD, base, base, TCG_GUEST_BASE_REG);
1154eda15159SRichard Henderson        }
1155eda15159SRichard Henderson    } else if (TARGET_LONG_BITS == 64) {
1156eda15159SRichard Henderson        base = addr_reg;
1157eda15159SRichard Henderson    } else {
1158eda15159SRichard Henderson        base = TCG_REG_TMP0;
1159eda15159SRichard Henderson        tcg_out_ext32u(s, base, addr_reg);
1160001dddfeSRichard Henderson    }
1161001dddfeSRichard Henderson    *pbase = base;
1162001dddfeSRichard Henderson#endif
1163001dddfeSRichard Henderson
1164001dddfeSRichard Henderson    return ldst;
1165001dddfeSRichard Henderson}
1166001dddfeSRichard Henderson
1167aeb6326eSRichard Hendersonstatic void tcg_out_qemu_ld_direct(TCGContext *s, TCGReg val,
1168f7041977SRichard Henderson                                   TCGReg base, MemOp opc, TCGType type)
1169139c1837SPaolo Bonzini{
1170c86bd2dcSRichard Henderson    /* Byte swapping is left to middle-end expansion. */
1171c86bd2dcSRichard Henderson    tcg_debug_assert((opc & MO_BSWAP) == 0);
1172139c1837SPaolo Bonzini
1173139c1837SPaolo Bonzini    switch (opc & (MO_SSIZE)) {
1174139c1837SPaolo Bonzini    case MO_UB:
1175aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LBU, val, base, 0);
1176139c1837SPaolo Bonzini        break;
1177139c1837SPaolo Bonzini    case MO_SB:
1178aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LB, val, base, 0);
1179139c1837SPaolo Bonzini        break;
1180139c1837SPaolo Bonzini    case MO_UW:
1181aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LHU, val, base, 0);
1182139c1837SPaolo Bonzini        break;
1183139c1837SPaolo Bonzini    case MO_SW:
1184aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LH, val, base, 0);
1185139c1837SPaolo Bonzini        break;
1186139c1837SPaolo Bonzini    case MO_UL:
1187f7041977SRichard Henderson        if (type == TCG_TYPE_I64) {
1188aeb6326eSRichard Henderson            tcg_out_opc_imm(s, OPC_LWU, val, base, 0);
1189139c1837SPaolo Bonzini            break;
1190139c1837SPaolo Bonzini        }
1191139c1837SPaolo Bonzini        /* FALLTHRU */
1192139c1837SPaolo Bonzini    case MO_SL:
1193aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LW, val, base, 0);
1194139c1837SPaolo Bonzini        break;
1195fc313c64SFrédéric Pétrot    case MO_UQ:
1196aeb6326eSRichard Henderson        tcg_out_opc_imm(s, OPC_LD, val, base, 0);
1197139c1837SPaolo Bonzini        break;
1198139c1837SPaolo Bonzini    default:
1199139c1837SPaolo Bonzini        g_assert_not_reached();
1200139c1837SPaolo Bonzini    }
1201139c1837SPaolo Bonzini}
1202139c1837SPaolo Bonzini
1203f7041977SRichard Hendersonstatic void tcg_out_qemu_ld(TCGContext *s, TCGReg data_reg, TCGReg addr_reg,
1204f7041977SRichard Henderson                            MemOpIdx oi, TCGType data_type)
1205139c1837SPaolo Bonzini{
1206001dddfeSRichard Henderson    TCGLabelQemuLdst *ldst;
12072e3a933aSRichard Henderson    TCGReg base;
1208139c1837SPaolo Bonzini
1209001dddfeSRichard Henderson    ldst = prepare_host_addr(s, &base, addr_reg, oi, true);
1210001dddfeSRichard Henderson    tcg_out_qemu_ld_direct(s, data_reg, base, get_memop(oi), data_type);
1211f7041977SRichard Henderson
1212001dddfeSRichard Henderson    if (ldst) {
1213001dddfeSRichard Henderson        ldst->type = data_type;
1214001dddfeSRichard Henderson        ldst->datalo_reg = data_reg;
1215001dddfeSRichard Henderson        ldst->raddr = tcg_splitwx_to_rx(s->code_ptr);
1216a3fb7c99SRichard Henderson    }
1217139c1837SPaolo Bonzini}
1218139c1837SPaolo Bonzini
1219aeb6326eSRichard Hendersonstatic void tcg_out_qemu_st_direct(TCGContext *s, TCGReg val,
1220139c1837SPaolo Bonzini                                   TCGReg base, MemOp opc)
1221139c1837SPaolo Bonzini{
1222c86bd2dcSRichard Henderson    /* Byte swapping is left to middle-end expansion. */
1223c86bd2dcSRichard Henderson    tcg_debug_assert((opc & MO_BSWAP) == 0);
1224139c1837SPaolo Bonzini
1225139c1837SPaolo Bonzini    switch (opc & (MO_SSIZE)) {
1226139c1837SPaolo Bonzini    case MO_8:
1227aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SB, base, val, 0);
1228139c1837SPaolo Bonzini        break;
1229139c1837SPaolo Bonzini    case MO_16:
1230aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SH, base, val, 0);
1231139c1837SPaolo Bonzini        break;
1232139c1837SPaolo Bonzini    case MO_32:
1233aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SW, base, val, 0);
1234139c1837SPaolo Bonzini        break;
1235139c1837SPaolo Bonzini    case MO_64:
1236aeb6326eSRichard Henderson        tcg_out_opc_store(s, OPC_SD, base, val, 0);
1237139c1837SPaolo Bonzini        break;
1238139c1837SPaolo Bonzini    default:
1239139c1837SPaolo Bonzini        g_assert_not_reached();
1240139c1837SPaolo Bonzini    }
1241139c1837SPaolo Bonzini}
1242139c1837SPaolo Bonzini
1243f7041977SRichard Hendersonstatic void tcg_out_qemu_st(TCGContext *s, TCGReg data_reg, TCGReg addr_reg,
1244f7041977SRichard Henderson                            MemOpIdx oi, TCGType data_type)
1245139c1837SPaolo Bonzini{
1246001dddfeSRichard Henderson    TCGLabelQemuLdst *ldst;
12472e3a933aSRichard Henderson    TCGReg base;
1248139c1837SPaolo Bonzini
1249001dddfeSRichard Henderson    ldst = prepare_host_addr(s, &base, addr_reg, oi, false);
1250001dddfeSRichard Henderson    tcg_out_qemu_st_direct(s, data_reg, base, get_memop(oi));
1251f7041977SRichard Henderson
1252001dddfeSRichard Henderson    if (ldst) {
1253001dddfeSRichard Henderson        ldst->type = data_type;
1254001dddfeSRichard Henderson        ldst->datalo_reg = data_reg;
1255001dddfeSRichard Henderson        ldst->raddr = tcg_splitwx_to_rx(s->code_ptr);
1256a3fb7c99SRichard Henderson    }
1257139c1837SPaolo Bonzini}
1258139c1837SPaolo Bonzini
1259793f7381SRichard Hendersonstatic const tcg_insn_unit *tb_ret_addr;
1260139c1837SPaolo Bonzini
1261b55a8d9dSRichard Hendersonstatic void tcg_out_exit_tb(TCGContext *s, uintptr_t a0)
1262b55a8d9dSRichard Henderson{
1263b55a8d9dSRichard Henderson    /* Reuse the zeroing that exists for goto_ptr.  */
1264b55a8d9dSRichard Henderson    if (a0 == 0) {
1265b55a8d9dSRichard Henderson        tcg_out_call_int(s, tcg_code_gen_epilogue, true);
1266b55a8d9dSRichard Henderson    } else {
1267b55a8d9dSRichard Henderson        tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_A0, a0);
1268b55a8d9dSRichard Henderson        tcg_out_call_int(s, tb_ret_addr, true);
1269b55a8d9dSRichard Henderson    }
1270b55a8d9dSRichard Henderson}
1271b55a8d9dSRichard Henderson
1272cf7d6b8eSRichard Hendersonstatic void tcg_out_goto_tb(TCGContext *s, int which)
1273cf7d6b8eSRichard Henderson{
1274493c9b19SRichard Henderson    /* Direct branch will be patched by tb_target_set_jmp_target. */
1275493c9b19SRichard Henderson    set_jmp_insn_offset(s, which);
1276493c9b19SRichard Henderson    tcg_out32(s, OPC_JAL);
1277493c9b19SRichard Henderson
1278493c9b19SRichard Henderson    /* When branch is out of range, fall through to indirect. */
1279cf7d6b8eSRichard Henderson    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_REG_ZERO,
1280cf7d6b8eSRichard Henderson               get_jmp_target_addr(s, which));
1281cf7d6b8eSRichard Henderson    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_TMP0, 0);
1282cf7d6b8eSRichard Henderson    set_jmp_reset_offset(s, which);
1283cf7d6b8eSRichard Henderson}
1284cf7d6b8eSRichard Henderson
128590c0fee3SRichard Hendersonvoid tb_target_set_jmp_target(const TranslationBlock *tb, int n,
128690c0fee3SRichard Henderson                              uintptr_t jmp_rx, uintptr_t jmp_rw)
128790c0fee3SRichard Henderson{
1288493c9b19SRichard Henderson    uintptr_t addr = tb->jmp_target_addr[n];
1289493c9b19SRichard Henderson    ptrdiff_t offset = addr - jmp_rx;
1290493c9b19SRichard Henderson    tcg_insn_unit insn;
1291493c9b19SRichard Henderson
1292493c9b19SRichard Henderson    /* Either directly branch, or fall through to indirect branch. */
1293493c9b19SRichard Henderson    if (offset == sextreg(offset, 0, 20)) {
1294493c9b19SRichard Henderson        insn = encode_uj(OPC_JAL, TCG_REG_ZERO, offset);
1295493c9b19SRichard Henderson    } else {
1296493c9b19SRichard Henderson        insn = OPC_NOP;
1297493c9b19SRichard Henderson    }
1298493c9b19SRichard Henderson    qatomic_set((uint32_t *)jmp_rw, insn);
1299493c9b19SRichard Henderson    flush_idcache_range(jmp_rx, jmp_rw, 4);
130090c0fee3SRichard Henderson}
130190c0fee3SRichard Henderson
1302139c1837SPaolo Bonzinistatic void tcg_out_op(TCGContext *s, TCGOpcode opc,
13035e8892dbSMiroslav Rezanina                       const TCGArg args[TCG_MAX_OP_ARGS],
13045e8892dbSMiroslav Rezanina                       const int const_args[TCG_MAX_OP_ARGS])
1305139c1837SPaolo Bonzini{
1306139c1837SPaolo Bonzini    TCGArg a0 = args[0];
1307139c1837SPaolo Bonzini    TCGArg a1 = args[1];
1308139c1837SPaolo Bonzini    TCGArg a2 = args[2];
1309139c1837SPaolo Bonzini    int c2 = const_args[2];
1310139c1837SPaolo Bonzini
1311139c1837SPaolo Bonzini    switch (opc) {
1312139c1837SPaolo Bonzini    case INDEX_op_goto_ptr:
1313139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, a0, 0);
1314139c1837SPaolo Bonzini        break;
1315139c1837SPaolo Bonzini
1316139c1837SPaolo Bonzini    case INDEX_op_br:
1317139c1837SPaolo Bonzini        tcg_out_reloc(s, s->code_ptr, R_RISCV_JAL, arg_label(a0), 0);
1318139c1837SPaolo Bonzini        tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
1319139c1837SPaolo Bonzini        break;
1320139c1837SPaolo Bonzini
1321139c1837SPaolo Bonzini    case INDEX_op_ld8u_i32:
1322139c1837SPaolo Bonzini    case INDEX_op_ld8u_i64:
1323139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LBU, a0, a1, a2);
1324139c1837SPaolo Bonzini        break;
1325139c1837SPaolo Bonzini    case INDEX_op_ld8s_i32:
1326139c1837SPaolo Bonzini    case INDEX_op_ld8s_i64:
1327139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LB, a0, a1, a2);
1328139c1837SPaolo Bonzini        break;
1329139c1837SPaolo Bonzini    case INDEX_op_ld16u_i32:
1330139c1837SPaolo Bonzini    case INDEX_op_ld16u_i64:
1331139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LHU, a0, a1, a2);
1332139c1837SPaolo Bonzini        break;
1333139c1837SPaolo Bonzini    case INDEX_op_ld16s_i32:
1334139c1837SPaolo Bonzini    case INDEX_op_ld16s_i64:
1335139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LH, a0, a1, a2);
1336139c1837SPaolo Bonzini        break;
1337139c1837SPaolo Bonzini    case INDEX_op_ld32u_i64:
1338139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LWU, a0, a1, a2);
1339139c1837SPaolo Bonzini        break;
1340139c1837SPaolo Bonzini    case INDEX_op_ld_i32:
1341139c1837SPaolo Bonzini    case INDEX_op_ld32s_i64:
1342139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LW, a0, a1, a2);
1343139c1837SPaolo Bonzini        break;
1344139c1837SPaolo Bonzini    case INDEX_op_ld_i64:
1345139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_LD, a0, a1, a2);
1346139c1837SPaolo Bonzini        break;
1347139c1837SPaolo Bonzini
1348139c1837SPaolo Bonzini    case INDEX_op_st8_i32:
1349139c1837SPaolo Bonzini    case INDEX_op_st8_i64:
1350139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SB, a0, a1, a2);
1351139c1837SPaolo Bonzini        break;
1352139c1837SPaolo Bonzini    case INDEX_op_st16_i32:
1353139c1837SPaolo Bonzini    case INDEX_op_st16_i64:
1354139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SH, a0, a1, a2);
1355139c1837SPaolo Bonzini        break;
1356139c1837SPaolo Bonzini    case INDEX_op_st_i32:
1357139c1837SPaolo Bonzini    case INDEX_op_st32_i64:
1358139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SW, a0, a1, a2);
1359139c1837SPaolo Bonzini        break;
1360139c1837SPaolo Bonzini    case INDEX_op_st_i64:
1361139c1837SPaolo Bonzini        tcg_out_ldst(s, OPC_SD, a0, a1, a2);
1362139c1837SPaolo Bonzini        break;
1363139c1837SPaolo Bonzini
1364139c1837SPaolo Bonzini    case INDEX_op_add_i32:
1365139c1837SPaolo Bonzini        if (c2) {
1366139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, a2);
1367139c1837SPaolo Bonzini        } else {
1368139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_ADDW, a0, a1, a2);
1369139c1837SPaolo Bonzini        }
1370139c1837SPaolo Bonzini        break;
1371139c1837SPaolo Bonzini    case INDEX_op_add_i64:
1372139c1837SPaolo Bonzini        if (c2) {
1373139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, a2);
1374139c1837SPaolo Bonzini        } else {
1375139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_ADD, a0, a1, a2);
1376139c1837SPaolo Bonzini        }
1377139c1837SPaolo Bonzini        break;
1378139c1837SPaolo Bonzini
1379139c1837SPaolo Bonzini    case INDEX_op_sub_i32:
1380139c1837SPaolo Bonzini        if (c2) {
1381139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, -a2);
1382139c1837SPaolo Bonzini        } else {
1383139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SUBW, a0, a1, a2);
1384139c1837SPaolo Bonzini        }
1385139c1837SPaolo Bonzini        break;
1386139c1837SPaolo Bonzini    case INDEX_op_sub_i64:
1387139c1837SPaolo Bonzini        if (c2) {
1388139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, -a2);
1389139c1837SPaolo Bonzini        } else {
1390139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SUB, a0, a1, a2);
1391139c1837SPaolo Bonzini        }
1392139c1837SPaolo Bonzini        break;
1393139c1837SPaolo Bonzini
1394139c1837SPaolo Bonzini    case INDEX_op_and_i32:
1395139c1837SPaolo Bonzini    case INDEX_op_and_i64:
1396139c1837SPaolo Bonzini        if (c2) {
1397139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ANDI, a0, a1, a2);
1398139c1837SPaolo Bonzini        } else {
1399139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_AND, a0, a1, a2);
1400139c1837SPaolo Bonzini        }
1401139c1837SPaolo Bonzini        break;
1402139c1837SPaolo Bonzini
1403139c1837SPaolo Bonzini    case INDEX_op_or_i32:
1404139c1837SPaolo Bonzini    case INDEX_op_or_i64:
1405139c1837SPaolo Bonzini        if (c2) {
1406139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_ORI, a0, a1, a2);
1407139c1837SPaolo Bonzini        } else {
1408139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_OR, a0, a1, a2);
1409139c1837SPaolo Bonzini        }
1410139c1837SPaolo Bonzini        break;
1411139c1837SPaolo Bonzini
1412139c1837SPaolo Bonzini    case INDEX_op_xor_i32:
1413139c1837SPaolo Bonzini    case INDEX_op_xor_i64:
1414139c1837SPaolo Bonzini        if (c2) {
1415139c1837SPaolo Bonzini            tcg_out_opc_imm(s, OPC_XORI, a0, a1, a2);
1416139c1837SPaolo Bonzini        } else {
1417139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_XOR, a0, a1, a2);
1418139c1837SPaolo Bonzini        }
1419139c1837SPaolo Bonzini        break;
1420139c1837SPaolo Bonzini
142199f4ec6eSRichard Henderson    case INDEX_op_andc_i32:
142299f4ec6eSRichard Henderson    case INDEX_op_andc_i64:
142399f4ec6eSRichard Henderson        if (c2) {
142499f4ec6eSRichard Henderson            tcg_out_opc_imm(s, OPC_ANDI, a0, a1, ~a2);
142599f4ec6eSRichard Henderson        } else {
142699f4ec6eSRichard Henderson            tcg_out_opc_reg(s, OPC_ANDN, a0, a1, a2);
142799f4ec6eSRichard Henderson        }
142899f4ec6eSRichard Henderson        break;
142999f4ec6eSRichard Henderson    case INDEX_op_orc_i32:
143099f4ec6eSRichard Henderson    case INDEX_op_orc_i64:
143199f4ec6eSRichard Henderson        if (c2) {
143299f4ec6eSRichard Henderson            tcg_out_opc_imm(s, OPC_ORI, a0, a1, ~a2);
143399f4ec6eSRichard Henderson        } else {
143499f4ec6eSRichard Henderson            tcg_out_opc_reg(s, OPC_ORN, a0, a1, a2);
143599f4ec6eSRichard Henderson        }
143699f4ec6eSRichard Henderson        break;
143799f4ec6eSRichard Henderson    case INDEX_op_eqv_i32:
143899f4ec6eSRichard Henderson    case INDEX_op_eqv_i64:
143999f4ec6eSRichard Henderson        if (c2) {
144099f4ec6eSRichard Henderson            tcg_out_opc_imm(s, OPC_XORI, a0, a1, ~a2);
144199f4ec6eSRichard Henderson        } else {
144299f4ec6eSRichard Henderson            tcg_out_opc_reg(s, OPC_XNOR, a0, a1, a2);
144399f4ec6eSRichard Henderson        }
144499f4ec6eSRichard Henderson        break;
144599f4ec6eSRichard Henderson
1446139c1837SPaolo Bonzini    case INDEX_op_not_i32:
1447139c1837SPaolo Bonzini    case INDEX_op_not_i64:
1448139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_XORI, a0, a1, -1);
1449139c1837SPaolo Bonzini        break;
1450139c1837SPaolo Bonzini
1451139c1837SPaolo Bonzini    case INDEX_op_neg_i32:
1452139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUBW, a0, TCG_REG_ZERO, a1);
1453139c1837SPaolo Bonzini        break;
1454139c1837SPaolo Bonzini    case INDEX_op_neg_i64:
1455139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_SUB, a0, TCG_REG_ZERO, a1);
1456139c1837SPaolo Bonzini        break;
1457139c1837SPaolo Bonzini
1458139c1837SPaolo Bonzini    case INDEX_op_mul_i32:
1459139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULW, a0, a1, a2);
1460139c1837SPaolo Bonzini        break;
1461139c1837SPaolo Bonzini    case INDEX_op_mul_i64:
1462139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MUL, a0, a1, a2);
1463139c1837SPaolo Bonzini        break;
1464139c1837SPaolo Bonzini
1465139c1837SPaolo Bonzini    case INDEX_op_div_i32:
1466139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVW, a0, a1, a2);
1467139c1837SPaolo Bonzini        break;
1468139c1837SPaolo Bonzini    case INDEX_op_div_i64:
1469139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIV, a0, a1, a2);
1470139c1837SPaolo Bonzini        break;
1471139c1837SPaolo Bonzini
1472139c1837SPaolo Bonzini    case INDEX_op_divu_i32:
1473139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVUW, a0, a1, a2);
1474139c1837SPaolo Bonzini        break;
1475139c1837SPaolo Bonzini    case INDEX_op_divu_i64:
1476139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_DIVU, a0, a1, a2);
1477139c1837SPaolo Bonzini        break;
1478139c1837SPaolo Bonzini
1479139c1837SPaolo Bonzini    case INDEX_op_rem_i32:
1480139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMW, a0, a1, a2);
1481139c1837SPaolo Bonzini        break;
1482139c1837SPaolo Bonzini    case INDEX_op_rem_i64:
1483139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REM, a0, a1, a2);
1484139c1837SPaolo Bonzini        break;
1485139c1837SPaolo Bonzini
1486139c1837SPaolo Bonzini    case INDEX_op_remu_i32:
1487139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMUW, a0, a1, a2);
1488139c1837SPaolo Bonzini        break;
1489139c1837SPaolo Bonzini    case INDEX_op_remu_i64:
1490139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_REMU, a0, a1, a2);
1491139c1837SPaolo Bonzini        break;
1492139c1837SPaolo Bonzini
1493139c1837SPaolo Bonzini    case INDEX_op_shl_i32:
1494139c1837SPaolo Bonzini        if (c2) {
1495d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SLLIW, a0, a1, a2 & 0x1f);
1496139c1837SPaolo Bonzini        } else {
1497139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLLW, a0, a1, a2);
1498139c1837SPaolo Bonzini        }
1499139c1837SPaolo Bonzini        break;
1500139c1837SPaolo Bonzini    case INDEX_op_shl_i64:
1501139c1837SPaolo Bonzini        if (c2) {
1502d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SLLI, a0, a1, a2 & 0x3f);
1503139c1837SPaolo Bonzini        } else {
1504139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SLL, a0, a1, a2);
1505139c1837SPaolo Bonzini        }
1506139c1837SPaolo Bonzini        break;
1507139c1837SPaolo Bonzini
1508139c1837SPaolo Bonzini    case INDEX_op_shr_i32:
1509139c1837SPaolo Bonzini        if (c2) {
1510d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRLIW, a0, a1, a2 & 0x1f);
1511139c1837SPaolo Bonzini        } else {
1512139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRLW, a0, a1, a2);
1513139c1837SPaolo Bonzini        }
1514139c1837SPaolo Bonzini        break;
1515139c1837SPaolo Bonzini    case INDEX_op_shr_i64:
1516139c1837SPaolo Bonzini        if (c2) {
1517d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRLI, a0, a1, a2 & 0x3f);
1518139c1837SPaolo Bonzini        } else {
1519139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRL, a0, a1, a2);
1520139c1837SPaolo Bonzini        }
1521139c1837SPaolo Bonzini        break;
1522139c1837SPaolo Bonzini
1523139c1837SPaolo Bonzini    case INDEX_op_sar_i32:
1524139c1837SPaolo Bonzini        if (c2) {
1525d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRAIW, a0, a1, a2 & 0x1f);
1526139c1837SPaolo Bonzini        } else {
1527139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRAW, a0, a1, a2);
1528139c1837SPaolo Bonzini        }
1529139c1837SPaolo Bonzini        break;
1530139c1837SPaolo Bonzini    case INDEX_op_sar_i64:
1531139c1837SPaolo Bonzini        if (c2) {
1532d2f3066eSZihao Yu            tcg_out_opc_imm(s, OPC_SRAI, a0, a1, a2 & 0x3f);
1533139c1837SPaolo Bonzini        } else {
1534139c1837SPaolo Bonzini            tcg_out_opc_reg(s, OPC_SRA, a0, a1, a2);
1535139c1837SPaolo Bonzini        }
1536139c1837SPaolo Bonzini        break;
1537139c1837SPaolo Bonzini
153819d016adSRichard Henderson    case INDEX_op_rotl_i32:
153919d016adSRichard Henderson        if (c2) {
154019d016adSRichard Henderson            tcg_out_opc_imm(s, OPC_RORIW, a0, a1, -a2 & 0x1f);
154119d016adSRichard Henderson        } else {
154219d016adSRichard Henderson            tcg_out_opc_reg(s, OPC_ROLW, a0, a1, a2);
154319d016adSRichard Henderson        }
154419d016adSRichard Henderson        break;
154519d016adSRichard Henderson    case INDEX_op_rotl_i64:
154619d016adSRichard Henderson        if (c2) {
154719d016adSRichard Henderson            tcg_out_opc_imm(s, OPC_RORI, a0, a1, -a2 & 0x3f);
154819d016adSRichard Henderson        } else {
154919d016adSRichard Henderson            tcg_out_opc_reg(s, OPC_ROL, a0, a1, a2);
155019d016adSRichard Henderson        }
155119d016adSRichard Henderson        break;
155219d016adSRichard Henderson
155319d016adSRichard Henderson    case INDEX_op_rotr_i32:
155419d016adSRichard Henderson        if (c2) {
155519d016adSRichard Henderson            tcg_out_opc_imm(s, OPC_RORIW, a0, a1, a2 & 0x1f);
155619d016adSRichard Henderson        } else {
155719d016adSRichard Henderson            tcg_out_opc_reg(s, OPC_RORW, a0, a1, a2);
155819d016adSRichard Henderson        }
155919d016adSRichard Henderson        break;
156019d016adSRichard Henderson    case INDEX_op_rotr_i64:
156119d016adSRichard Henderson        if (c2) {
156219d016adSRichard Henderson            tcg_out_opc_imm(s, OPC_RORI, a0, a1, a2 & 0x3f);
156319d016adSRichard Henderson        } else {
156419d016adSRichard Henderson            tcg_out_opc_reg(s, OPC_ROR, a0, a1, a2);
156519d016adSRichard Henderson        }
156619d016adSRichard Henderson        break;
156719d016adSRichard Henderson
15687b4d5274SRichard Henderson    case INDEX_op_bswap64_i64:
15697b4d5274SRichard Henderson        tcg_out_opc_imm(s, OPC_REV8, a0, a1, 0);
15707b4d5274SRichard Henderson        break;
15717b4d5274SRichard Henderson    case INDEX_op_bswap32_i32:
15727b4d5274SRichard Henderson        a2 = 0;
15737b4d5274SRichard Henderson        /* fall through */
15747b4d5274SRichard Henderson    case INDEX_op_bswap32_i64:
15757b4d5274SRichard Henderson        tcg_out_opc_imm(s, OPC_REV8, a0, a1, 0);
15767b4d5274SRichard Henderson        if (a2 & TCG_BSWAP_OZ) {
15777b4d5274SRichard Henderson            tcg_out_opc_imm(s, OPC_SRLI, a0, a0, 32);
15787b4d5274SRichard Henderson        } else {
15797b4d5274SRichard Henderson            tcg_out_opc_imm(s, OPC_SRAI, a0, a0, 32);
15807b4d5274SRichard Henderson        }
15817b4d5274SRichard Henderson        break;
15827b4d5274SRichard Henderson    case INDEX_op_bswap16_i64:
15837b4d5274SRichard Henderson    case INDEX_op_bswap16_i32:
15847b4d5274SRichard Henderson        tcg_out_opc_imm(s, OPC_REV8, a0, a1, 0);
15857b4d5274SRichard Henderson        if (a2 & TCG_BSWAP_OZ) {
15867b4d5274SRichard Henderson            tcg_out_opc_imm(s, OPC_SRLI, a0, a0, 48);
15877b4d5274SRichard Henderson        } else {
15887b4d5274SRichard Henderson            tcg_out_opc_imm(s, OPC_SRAI, a0, a0, 48);
15897b4d5274SRichard Henderson        }
15907b4d5274SRichard Henderson        break;
15917b4d5274SRichard Henderson
15920956ecdaSRichard Henderson    case INDEX_op_ctpop_i32:
15930956ecdaSRichard Henderson        tcg_out_opc_imm(s, OPC_CPOPW, a0, a1, 0);
15940956ecdaSRichard Henderson        break;
15950956ecdaSRichard Henderson    case INDEX_op_ctpop_i64:
15960956ecdaSRichard Henderson        tcg_out_opc_imm(s, OPC_CPOP, a0, a1, 0);
15970956ecdaSRichard Henderson        break;
15980956ecdaSRichard Henderson
1599139c1837SPaolo Bonzini    case INDEX_op_add2_i32:
1600139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1601139c1837SPaolo Bonzini                        const_args[4], const_args[5], false, true);
1602139c1837SPaolo Bonzini        break;
1603139c1837SPaolo Bonzini    case INDEX_op_add2_i64:
1604139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1605139c1837SPaolo Bonzini                        const_args[4], const_args[5], false, false);
1606139c1837SPaolo Bonzini        break;
1607139c1837SPaolo Bonzini    case INDEX_op_sub2_i32:
1608139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1609139c1837SPaolo Bonzini                        const_args[4], const_args[5], true, true);
1610139c1837SPaolo Bonzini        break;
1611139c1837SPaolo Bonzini    case INDEX_op_sub2_i64:
1612139c1837SPaolo Bonzini        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1613139c1837SPaolo Bonzini                        const_args[4], const_args[5], true, false);
1614139c1837SPaolo Bonzini        break;
1615139c1837SPaolo Bonzini
1616139c1837SPaolo Bonzini    case INDEX_op_brcond_i32:
1617139c1837SPaolo Bonzini    case INDEX_op_brcond_i64:
1618139c1837SPaolo Bonzini        tcg_out_brcond(s, a2, a0, a1, arg_label(args[3]));
1619139c1837SPaolo Bonzini        break;
1620139c1837SPaolo Bonzini
1621139c1837SPaolo Bonzini    case INDEX_op_setcond_i32:
1622139c1837SPaolo Bonzini    case INDEX_op_setcond_i64:
1623*f6453695SRichard Henderson        tcg_out_setcond(s, args[3], a0, a1, a2, c2);
1624139c1837SPaolo Bonzini        break;
1625139c1837SPaolo Bonzini
1626fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a32_i32:
1627fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a64_i32:
1628f7041977SRichard Henderson        tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I32);
1629139c1837SPaolo Bonzini        break;
1630fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a32_i64:
1631fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a64_i64:
1632f7041977SRichard Henderson        tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I64);
1633139c1837SPaolo Bonzini        break;
1634fecccfccSRichard Henderson    case INDEX_op_qemu_st_a32_i32:
1635fecccfccSRichard Henderson    case INDEX_op_qemu_st_a64_i32:
1636f7041977SRichard Henderson        tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I32);
1637139c1837SPaolo Bonzini        break;
1638fecccfccSRichard Henderson    case INDEX_op_qemu_st_a32_i64:
1639fecccfccSRichard Henderson    case INDEX_op_qemu_st_a64_i64:
1640f7041977SRichard Henderson        tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I64);
1641139c1837SPaolo Bonzini        break;
1642139c1837SPaolo Bonzini
1643139c1837SPaolo Bonzini    case INDEX_op_extrh_i64_i32:
1644139c1837SPaolo Bonzini        tcg_out_opc_imm(s, OPC_SRAI, a0, a1, 32);
1645139c1837SPaolo Bonzini        break;
1646139c1837SPaolo Bonzini
1647139c1837SPaolo Bonzini    case INDEX_op_mulsh_i32:
1648139c1837SPaolo Bonzini    case INDEX_op_mulsh_i64:
1649139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULH, a0, a1, a2);
1650139c1837SPaolo Bonzini        break;
1651139c1837SPaolo Bonzini
1652139c1837SPaolo Bonzini    case INDEX_op_muluh_i32:
1653139c1837SPaolo Bonzini    case INDEX_op_muluh_i64:
1654139c1837SPaolo Bonzini        tcg_out_opc_reg(s, OPC_MULHU, a0, a1, a2);
1655139c1837SPaolo Bonzini        break;
1656139c1837SPaolo Bonzini
1657139c1837SPaolo Bonzini    case INDEX_op_mb:
1658139c1837SPaolo Bonzini        tcg_out_mb(s, a0);
1659139c1837SPaolo Bonzini        break;
1660139c1837SPaolo Bonzini
1661139c1837SPaolo Bonzini    case INDEX_op_mov_i32:  /* Always emitted via tcg_out_mov.  */
1662139c1837SPaolo Bonzini    case INDEX_op_mov_i64:
1663139c1837SPaolo Bonzini    case INDEX_op_call:     /* Always emitted via tcg_out_call.  */
1664b55a8d9dSRichard Henderson    case INDEX_op_exit_tb:  /* Always emitted via tcg_out_exit_tb.  */
1665cf7d6b8eSRichard Henderson    case INDEX_op_goto_tb:  /* Always emitted via tcg_out_goto_tb.  */
1666678155b2SRichard Henderson    case INDEX_op_ext8s_i32:  /* Always emitted via tcg_reg_alloc_op.  */
1667678155b2SRichard Henderson    case INDEX_op_ext8s_i64:
1668d0e66c89SRichard Henderson    case INDEX_op_ext8u_i32:
1669d0e66c89SRichard Henderson    case INDEX_op_ext8u_i64:
1670753e42eaSRichard Henderson    case INDEX_op_ext16s_i32:
1671753e42eaSRichard Henderson    case INDEX_op_ext16s_i64:
1672379afdffSRichard Henderson    case INDEX_op_ext16u_i32:
1673379afdffSRichard Henderson    case INDEX_op_ext16u_i64:
167452bf3398SRichard Henderson    case INDEX_op_ext32s_i64:
16759ecf5f61SRichard Henderson    case INDEX_op_ext32u_i64:
16769c6aa274SRichard Henderson    case INDEX_op_ext_i32_i64:
1677b9bfe000SRichard Henderson    case INDEX_op_extu_i32_i64:
1678b8b94ac6SRichard Henderson    case INDEX_op_extrl_i64_i32:
1679139c1837SPaolo Bonzini    default:
1680139c1837SPaolo Bonzini        g_assert_not_reached();
1681139c1837SPaolo Bonzini    }
1682139c1837SPaolo Bonzini}
1683139c1837SPaolo Bonzini
1684665be288SRichard Hendersonstatic TCGConstraintSetIndex tcg_target_op_def(TCGOpcode op)
1685139c1837SPaolo Bonzini{
1686139c1837SPaolo Bonzini    switch (op) {
1687139c1837SPaolo Bonzini    case INDEX_op_goto_ptr:
1688665be288SRichard Henderson        return C_O0_I1(r);
1689139c1837SPaolo Bonzini
1690139c1837SPaolo Bonzini    case INDEX_op_ld8u_i32:
1691139c1837SPaolo Bonzini    case INDEX_op_ld8s_i32:
1692139c1837SPaolo Bonzini    case INDEX_op_ld16u_i32:
1693139c1837SPaolo Bonzini    case INDEX_op_ld16s_i32:
1694139c1837SPaolo Bonzini    case INDEX_op_ld_i32:
1695139c1837SPaolo Bonzini    case INDEX_op_not_i32:
1696139c1837SPaolo Bonzini    case INDEX_op_neg_i32:
1697139c1837SPaolo Bonzini    case INDEX_op_ld8u_i64:
1698139c1837SPaolo Bonzini    case INDEX_op_ld8s_i64:
1699139c1837SPaolo Bonzini    case INDEX_op_ld16u_i64:
1700139c1837SPaolo Bonzini    case INDEX_op_ld16s_i64:
1701139c1837SPaolo Bonzini    case INDEX_op_ld32s_i64:
1702139c1837SPaolo Bonzini    case INDEX_op_ld32u_i64:
1703139c1837SPaolo Bonzini    case INDEX_op_ld_i64:
1704139c1837SPaolo Bonzini    case INDEX_op_not_i64:
1705139c1837SPaolo Bonzini    case INDEX_op_neg_i64:
1706139c1837SPaolo Bonzini    case INDEX_op_ext8u_i32:
1707139c1837SPaolo Bonzini    case INDEX_op_ext8u_i64:
1708139c1837SPaolo Bonzini    case INDEX_op_ext16u_i32:
1709139c1837SPaolo Bonzini    case INDEX_op_ext16u_i64:
1710139c1837SPaolo Bonzini    case INDEX_op_ext32u_i64:
1711139c1837SPaolo Bonzini    case INDEX_op_extu_i32_i64:
1712139c1837SPaolo Bonzini    case INDEX_op_ext8s_i32:
1713139c1837SPaolo Bonzini    case INDEX_op_ext8s_i64:
1714139c1837SPaolo Bonzini    case INDEX_op_ext16s_i32:
1715139c1837SPaolo Bonzini    case INDEX_op_ext16s_i64:
1716139c1837SPaolo Bonzini    case INDEX_op_ext32s_i64:
1717139c1837SPaolo Bonzini    case INDEX_op_extrl_i64_i32:
1718139c1837SPaolo Bonzini    case INDEX_op_extrh_i64_i32:
1719139c1837SPaolo Bonzini    case INDEX_op_ext_i32_i64:
17207b4d5274SRichard Henderson    case INDEX_op_bswap16_i32:
17217b4d5274SRichard Henderson    case INDEX_op_bswap32_i32:
17227b4d5274SRichard Henderson    case INDEX_op_bswap16_i64:
17237b4d5274SRichard Henderson    case INDEX_op_bswap32_i64:
17247b4d5274SRichard Henderson    case INDEX_op_bswap64_i64:
17250956ecdaSRichard Henderson    case INDEX_op_ctpop_i32:
17260956ecdaSRichard Henderson    case INDEX_op_ctpop_i64:
1727665be288SRichard Henderson        return C_O1_I1(r, r);
1728139c1837SPaolo Bonzini
1729139c1837SPaolo Bonzini    case INDEX_op_st8_i32:
1730139c1837SPaolo Bonzini    case INDEX_op_st16_i32:
1731139c1837SPaolo Bonzini    case INDEX_op_st_i32:
1732139c1837SPaolo Bonzini    case INDEX_op_st8_i64:
1733139c1837SPaolo Bonzini    case INDEX_op_st16_i64:
1734139c1837SPaolo Bonzini    case INDEX_op_st32_i64:
1735139c1837SPaolo Bonzini    case INDEX_op_st_i64:
1736665be288SRichard Henderson        return C_O0_I2(rZ, r);
1737139c1837SPaolo Bonzini
1738139c1837SPaolo Bonzini    case INDEX_op_add_i32:
1739139c1837SPaolo Bonzini    case INDEX_op_and_i32:
1740139c1837SPaolo Bonzini    case INDEX_op_or_i32:
1741139c1837SPaolo Bonzini    case INDEX_op_xor_i32:
1742139c1837SPaolo Bonzini    case INDEX_op_add_i64:
1743139c1837SPaolo Bonzini    case INDEX_op_and_i64:
1744139c1837SPaolo Bonzini    case INDEX_op_or_i64:
1745139c1837SPaolo Bonzini    case INDEX_op_xor_i64:
1746*f6453695SRichard Henderson    case INDEX_op_setcond_i32:
1747*f6453695SRichard Henderson    case INDEX_op_setcond_i64:
1748665be288SRichard Henderson        return C_O1_I2(r, r, rI);
1749139c1837SPaolo Bonzini
175099f4ec6eSRichard Henderson    case INDEX_op_andc_i32:
175199f4ec6eSRichard Henderson    case INDEX_op_andc_i64:
175299f4ec6eSRichard Henderson    case INDEX_op_orc_i32:
175399f4ec6eSRichard Henderson    case INDEX_op_orc_i64:
175499f4ec6eSRichard Henderson    case INDEX_op_eqv_i32:
175599f4ec6eSRichard Henderson    case INDEX_op_eqv_i64:
175699f4ec6eSRichard Henderson        return C_O1_I2(r, r, rJ);
175799f4ec6eSRichard Henderson
1758139c1837SPaolo Bonzini    case INDEX_op_sub_i32:
1759139c1837SPaolo Bonzini    case INDEX_op_sub_i64:
1760665be288SRichard Henderson        return C_O1_I2(r, rZ, rN);
1761139c1837SPaolo Bonzini
1762139c1837SPaolo Bonzini    case INDEX_op_mul_i32:
1763139c1837SPaolo Bonzini    case INDEX_op_mulsh_i32:
1764139c1837SPaolo Bonzini    case INDEX_op_muluh_i32:
1765139c1837SPaolo Bonzini    case INDEX_op_div_i32:
1766139c1837SPaolo Bonzini    case INDEX_op_divu_i32:
1767139c1837SPaolo Bonzini    case INDEX_op_rem_i32:
1768139c1837SPaolo Bonzini    case INDEX_op_remu_i32:
1769139c1837SPaolo Bonzini    case INDEX_op_mul_i64:
1770139c1837SPaolo Bonzini    case INDEX_op_mulsh_i64:
1771139c1837SPaolo Bonzini    case INDEX_op_muluh_i64:
1772139c1837SPaolo Bonzini    case INDEX_op_div_i64:
1773139c1837SPaolo Bonzini    case INDEX_op_divu_i64:
1774139c1837SPaolo Bonzini    case INDEX_op_rem_i64:
1775139c1837SPaolo Bonzini    case INDEX_op_remu_i64:
1776665be288SRichard Henderson        return C_O1_I2(r, rZ, rZ);
1777139c1837SPaolo Bonzini
1778139c1837SPaolo Bonzini    case INDEX_op_shl_i32:
1779139c1837SPaolo Bonzini    case INDEX_op_shr_i32:
1780139c1837SPaolo Bonzini    case INDEX_op_sar_i32:
178119d016adSRichard Henderson    case INDEX_op_rotl_i32:
178219d016adSRichard Henderson    case INDEX_op_rotr_i32:
1783139c1837SPaolo Bonzini    case INDEX_op_shl_i64:
1784139c1837SPaolo Bonzini    case INDEX_op_shr_i64:
1785139c1837SPaolo Bonzini    case INDEX_op_sar_i64:
178619d016adSRichard Henderson    case INDEX_op_rotl_i64:
178719d016adSRichard Henderson    case INDEX_op_rotr_i64:
1788665be288SRichard Henderson        return C_O1_I2(r, r, ri);
1789139c1837SPaolo Bonzini
1790139c1837SPaolo Bonzini    case INDEX_op_brcond_i32:
1791139c1837SPaolo Bonzini    case INDEX_op_brcond_i64:
1792665be288SRichard Henderson        return C_O0_I2(rZ, rZ);
1793139c1837SPaolo Bonzini
1794139c1837SPaolo Bonzini    case INDEX_op_add2_i32:
1795139c1837SPaolo Bonzini    case INDEX_op_add2_i64:
1796139c1837SPaolo Bonzini    case INDEX_op_sub2_i32:
1797139c1837SPaolo Bonzini    case INDEX_op_sub2_i64:
1798665be288SRichard Henderson        return C_O2_I4(r, r, rZ, rZ, rM, rM);
1799139c1837SPaolo Bonzini
1800fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a32_i32:
1801fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a64_i32:
1802fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a32_i64:
1803fecccfccSRichard Henderson    case INDEX_op_qemu_ld_a64_i64:
1804f0f43534SRichard Henderson        return C_O1_I1(r, r);
1805fecccfccSRichard Henderson    case INDEX_op_qemu_st_a32_i32:
1806fecccfccSRichard Henderson    case INDEX_op_qemu_st_a64_i32:
1807fecccfccSRichard Henderson    case INDEX_op_qemu_st_a32_i64:
1808fecccfccSRichard Henderson    case INDEX_op_qemu_st_a64_i64:
1809f0f43534SRichard Henderson        return C_O0_I2(rZ, r);
1810139c1837SPaolo Bonzini
1811139c1837SPaolo Bonzini    default:
1812665be288SRichard Henderson        g_assert_not_reached();
1813139c1837SPaolo Bonzini    }
1814139c1837SPaolo Bonzini}
1815139c1837SPaolo Bonzini
1816139c1837SPaolo Bonzinistatic const int tcg_target_callee_save_regs[] = {
1817139c1837SPaolo Bonzini    TCG_REG_S0,       /* used for the global env (TCG_AREG0) */
1818139c1837SPaolo Bonzini    TCG_REG_S1,
1819139c1837SPaolo Bonzini    TCG_REG_S2,
1820139c1837SPaolo Bonzini    TCG_REG_S3,
1821139c1837SPaolo Bonzini    TCG_REG_S4,
1822139c1837SPaolo Bonzini    TCG_REG_S5,
1823139c1837SPaolo Bonzini    TCG_REG_S6,
1824139c1837SPaolo Bonzini    TCG_REG_S7,
1825139c1837SPaolo Bonzini    TCG_REG_S8,
1826139c1837SPaolo Bonzini    TCG_REG_S9,
1827139c1837SPaolo Bonzini    TCG_REG_S10,
1828139c1837SPaolo Bonzini    TCG_REG_S11,
1829139c1837SPaolo Bonzini    TCG_REG_RA,       /* should be last for ABI compliance */
1830139c1837SPaolo Bonzini};
1831139c1837SPaolo Bonzini
1832139c1837SPaolo Bonzini/* Stack frame parameters.  */
1833139c1837SPaolo Bonzini#define REG_SIZE   (TCG_TARGET_REG_BITS / 8)
1834139c1837SPaolo Bonzini#define SAVE_SIZE  ((int)ARRAY_SIZE(tcg_target_callee_save_regs) * REG_SIZE)
1835139c1837SPaolo Bonzini#define TEMP_SIZE  (CPU_TEMP_BUF_NLONGS * (int)sizeof(long))
1836139c1837SPaolo Bonzini#define FRAME_SIZE ((TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE + SAVE_SIZE \
1837139c1837SPaolo Bonzini                     + TCG_TARGET_STACK_ALIGN - 1) \
1838139c1837SPaolo Bonzini                    & -TCG_TARGET_STACK_ALIGN)
1839139c1837SPaolo Bonzini#define SAVE_OFS   (TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE)
1840139c1837SPaolo Bonzini
1841139c1837SPaolo Bonzini/* We're expecting to be able to use an immediate for frame allocation.  */
1842139c1837SPaolo BonziniQEMU_BUILD_BUG_ON(FRAME_SIZE > 0x7ff);
1843139c1837SPaolo Bonzini
1844139c1837SPaolo Bonzini/* Generate global QEMU prologue and epilogue code */
1845139c1837SPaolo Bonzinistatic void tcg_target_qemu_prologue(TCGContext *s)
1846139c1837SPaolo Bonzini{
1847139c1837SPaolo Bonzini    int i;
1848139c1837SPaolo Bonzini
1849139c1837SPaolo Bonzini    tcg_set_frame(s, TCG_REG_SP, TCG_STATIC_CALL_ARGS_SIZE, TEMP_SIZE);
1850139c1837SPaolo Bonzini
1851139c1837SPaolo Bonzini    /* TB prologue */
1852139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, -FRAME_SIZE);
1853139c1837SPaolo Bonzini    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
1854139c1837SPaolo Bonzini        tcg_out_st(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1855139c1837SPaolo Bonzini                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
1856139c1837SPaolo Bonzini    }
1857139c1837SPaolo Bonzini
1858139c1837SPaolo Bonzini#if !defined(CONFIG_SOFTMMU)
1859139c1837SPaolo Bonzini    tcg_out_movi(s, TCG_TYPE_PTR, TCG_GUEST_BASE_REG, guest_base);
1860139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_GUEST_BASE_REG);
1861139c1837SPaolo Bonzini#endif
1862139c1837SPaolo Bonzini
1863139c1837SPaolo Bonzini    /* Call generated code */
1864139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_PTR, TCG_AREG0, tcg_target_call_iarg_regs[0]);
1865139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, tcg_target_call_iarg_regs[1], 0);
1866139c1837SPaolo Bonzini
1867139c1837SPaolo Bonzini    /* Return path for goto_ptr. Set return value to 0 */
1868c8bc1168SRichard Henderson    tcg_code_gen_epilogue = tcg_splitwx_to_rx(s->code_ptr);
1869139c1837SPaolo Bonzini    tcg_out_mov(s, TCG_TYPE_REG, TCG_REG_A0, TCG_REG_ZERO);
1870139c1837SPaolo Bonzini
1871139c1837SPaolo Bonzini    /* TB epilogue */
1872793f7381SRichard Henderson    tb_ret_addr = tcg_splitwx_to_rx(s->code_ptr);
1873139c1837SPaolo Bonzini    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
1874139c1837SPaolo Bonzini        tcg_out_ld(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1875139c1837SPaolo Bonzini                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
1876139c1837SPaolo Bonzini    }
1877139c1837SPaolo Bonzini
1878139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, FRAME_SIZE);
1879139c1837SPaolo Bonzini    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_RA, 0);
1880139c1837SPaolo Bonzini}
1881139c1837SPaolo Bonzini
18829e3e0bc6SRichard Hendersonstatic volatile sig_atomic_t got_sigill;
18839e3e0bc6SRichard Henderson
18849e3e0bc6SRichard Hendersonstatic void sigill_handler(int signo, siginfo_t *si, void *data)
18859e3e0bc6SRichard Henderson{
18869e3e0bc6SRichard Henderson    /* Skip the faulty instruction */
18879e3e0bc6SRichard Henderson    ucontext_t *uc = (ucontext_t *)data;
18889e3e0bc6SRichard Henderson    uc->uc_mcontext.__gregs[REG_PC] += 4;
18899e3e0bc6SRichard Henderson
18909e3e0bc6SRichard Henderson    got_sigill = 1;
18919e3e0bc6SRichard Henderson}
18929e3e0bc6SRichard Henderson
18939e3e0bc6SRichard Hendersonstatic void tcg_target_detect_isa(void)
18949e3e0bc6SRichard Henderson{
18959e3e0bc6SRichard Henderson#if !defined(have_zba) || !defined(have_zbb) || !defined(have_zicond)
18969e3e0bc6SRichard Henderson    /*
18979e3e0bc6SRichard Henderson     * TODO: It is expected that this will be determinable via
18989e3e0bc6SRichard Henderson     * linux riscv_hwprobe syscall, not yet merged.
18999e3e0bc6SRichard Henderson     * In the meantime, test via sigill.
19009e3e0bc6SRichard Henderson     */
19019e3e0bc6SRichard Henderson
19029e3e0bc6SRichard Henderson    struct sigaction sa_old, sa_new;
19039e3e0bc6SRichard Henderson
19049e3e0bc6SRichard Henderson    memset(&sa_new, 0, sizeof(sa_new));
19059e3e0bc6SRichard Henderson    sa_new.sa_flags = SA_SIGINFO;
19069e3e0bc6SRichard Henderson    sa_new.sa_sigaction = sigill_handler;
19079e3e0bc6SRichard Henderson    sigaction(SIGILL, &sa_new, &sa_old);
19089e3e0bc6SRichard Henderson
19099e3e0bc6SRichard Henderson#ifndef have_zba
19109e3e0bc6SRichard Henderson    /* Probe for Zba: add.uw zero,zero,zero. */
19119e3e0bc6SRichard Henderson    got_sigill = 0;
19129e3e0bc6SRichard Henderson    asm volatile(".insn r 0x3b, 0, 0x04, zero, zero, zero" : : : "memory");
19139e3e0bc6SRichard Henderson    have_zba = !got_sigill;
19149e3e0bc6SRichard Henderson#endif
19159e3e0bc6SRichard Henderson
19169e3e0bc6SRichard Henderson#ifndef have_zbb
19179e3e0bc6SRichard Henderson    /* Probe for Zba: andn zero,zero,zero. */
19189e3e0bc6SRichard Henderson    got_sigill = 0;
19199e3e0bc6SRichard Henderson    asm volatile(".insn r 0x33, 7, 0x20, zero, zero, zero" : : : "memory");
19209e3e0bc6SRichard Henderson    have_zbb = !got_sigill;
19219e3e0bc6SRichard Henderson#endif
19229e3e0bc6SRichard Henderson
19239e3e0bc6SRichard Henderson#ifndef have_zicond
19249e3e0bc6SRichard Henderson    /* Probe for Zicond: czero.eqz zero,zero,zero. */
19259e3e0bc6SRichard Henderson    got_sigill = 0;
19269e3e0bc6SRichard Henderson    asm volatile(".insn r 0x33, 5, 0x07, zero, zero, zero" : : : "memory");
19279e3e0bc6SRichard Henderson    have_zicond = !got_sigill;
19289e3e0bc6SRichard Henderson#endif
19299e3e0bc6SRichard Henderson
19309e3e0bc6SRichard Henderson    sigaction(SIGILL, &sa_old, NULL);
19319e3e0bc6SRichard Henderson#endif
19329e3e0bc6SRichard Henderson}
19339e3e0bc6SRichard Henderson
1934139c1837SPaolo Bonzinistatic void tcg_target_init(TCGContext *s)
1935139c1837SPaolo Bonzini{
19369e3e0bc6SRichard Henderson    tcg_target_detect_isa();
19379e3e0bc6SRichard Henderson
1938139c1837SPaolo Bonzini    tcg_target_available_regs[TCG_TYPE_I32] = 0xffffffff;
1939139c1837SPaolo Bonzini    tcg_target_available_regs[TCG_TYPE_I64] = 0xffffffff;
1940139c1837SPaolo Bonzini
1941139c1837SPaolo Bonzini    tcg_target_call_clobber_regs = -1u;
1942139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S0);
1943139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S1);
1944139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S2);
1945139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S3);
1946139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S4);
1947139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S5);
1948139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S6);
1949139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S7);
1950139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S8);
1951139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S9);
1952139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S10);
1953139c1837SPaolo Bonzini    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S11);
1954139c1837SPaolo Bonzini
1955139c1837SPaolo Bonzini    s->reserved_regs = 0;
1956139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_ZERO);
1957139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP0);
1958139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP1);
1959139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP2);
1960139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_SP);
1961139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_GP);
1962139c1837SPaolo Bonzini    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TP);
1963139c1837SPaolo Bonzini}
1964139c1837SPaolo Bonzini
1965139c1837SPaolo Bonzinitypedef struct {
1966139c1837SPaolo Bonzini    DebugFrameHeader h;
1967139c1837SPaolo Bonzini    uint8_t fde_def_cfa[4];
1968139c1837SPaolo Bonzini    uint8_t fde_reg_ofs[ARRAY_SIZE(tcg_target_callee_save_regs) * 2];
1969139c1837SPaolo Bonzini} DebugFrame;
1970139c1837SPaolo Bonzini
1971139c1837SPaolo Bonzini#define ELF_HOST_MACHINE EM_RISCV
1972139c1837SPaolo Bonzini
1973139c1837SPaolo Bonzinistatic const DebugFrame debug_frame = {
1974139c1837SPaolo Bonzini    .h.cie.len = sizeof(DebugFrameCIE) - 4, /* length after .len member */
1975139c1837SPaolo Bonzini    .h.cie.id = -1,
1976139c1837SPaolo Bonzini    .h.cie.version = 1,
1977139c1837SPaolo Bonzini    .h.cie.code_align = 1,
1978139c1837SPaolo Bonzini    .h.cie.data_align = -(TCG_TARGET_REG_BITS / 8) & 0x7f, /* sleb128 */
1979139c1837SPaolo Bonzini    .h.cie.return_column = TCG_REG_RA,
1980139c1837SPaolo Bonzini
1981139c1837SPaolo Bonzini    /* Total FDE size does not include the "len" member.  */
1982139c1837SPaolo Bonzini    .h.fde.len = sizeof(DebugFrame) - offsetof(DebugFrame, h.fde.cie_offset),
1983139c1837SPaolo Bonzini
1984139c1837SPaolo Bonzini    .fde_def_cfa = {
1985139c1837SPaolo Bonzini        12, TCG_REG_SP,                 /* DW_CFA_def_cfa sp, ... */
1986139c1837SPaolo Bonzini        (FRAME_SIZE & 0x7f) | 0x80,     /* ... uleb128 FRAME_SIZE */
1987139c1837SPaolo Bonzini        (FRAME_SIZE >> 7)
1988139c1837SPaolo Bonzini    },
1989139c1837SPaolo Bonzini    .fde_reg_ofs = {
1990139c1837SPaolo Bonzini        0x80 + 9,  12,                  /* DW_CFA_offset, s1,  -96 */
1991139c1837SPaolo Bonzini        0x80 + 18, 11,                  /* DW_CFA_offset, s2,  -88 */
1992139c1837SPaolo Bonzini        0x80 + 19, 10,                  /* DW_CFA_offset, s3,  -80 */
1993139c1837SPaolo Bonzini        0x80 + 20, 9,                   /* DW_CFA_offset, s4,  -72 */
1994139c1837SPaolo Bonzini        0x80 + 21, 8,                   /* DW_CFA_offset, s5,  -64 */
1995139c1837SPaolo Bonzini        0x80 + 22, 7,                   /* DW_CFA_offset, s6,  -56 */
1996139c1837SPaolo Bonzini        0x80 + 23, 6,                   /* DW_CFA_offset, s7,  -48 */
1997139c1837SPaolo Bonzini        0x80 + 24, 5,                   /* DW_CFA_offset, s8,  -40 */
1998139c1837SPaolo Bonzini        0x80 + 25, 4,                   /* DW_CFA_offset, s9,  -32 */
1999139c1837SPaolo Bonzini        0x80 + 26, 3,                   /* DW_CFA_offset, s10, -24 */
2000139c1837SPaolo Bonzini        0x80 + 27, 2,                   /* DW_CFA_offset, s11, -16 */
2001139c1837SPaolo Bonzini        0x80 + 1 , 1,                   /* DW_CFA_offset, ra,  -8 */
2002139c1837SPaolo Bonzini    }
2003139c1837SPaolo Bonzini};
2004139c1837SPaolo Bonzini
2005755bf9e5SRichard Hendersonvoid tcg_register_jit(const void *buf, size_t buf_size)
2006139c1837SPaolo Bonzini{
2007139c1837SPaolo Bonzini    tcg_register_jit_int(buf, buf_size, &debug_frame, sizeof(debug_frame));
2008139c1837SPaolo Bonzini}
2009