xref: /openbmc/qemu/tcg/riscv/tcg-target.c.inc (revision 89aafcf2)
1/*
2 * Tiny Code Generator for QEMU
3 *
4 * Copyright (c) 2018 SiFive, Inc
5 * Copyright (c) 2008-2009 Arnaud Patard <arnaud.patard@rtp-net.org>
6 * Copyright (c) 2009 Aurelien Jarno <aurelien@aurel32.net>
7 * Copyright (c) 2008 Fabrice Bellard
8 *
9 * Based on i386/tcg-target.c and mips/tcg-target.c
10 *
11 * Permission is hereby granted, free of charge, to any person obtaining a copy
12 * of this software and associated documentation files (the "Software"), to deal
13 * in the Software without restriction, including without limitation the rights
14 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
15 * copies of the Software, and to permit persons to whom the Software is
16 * furnished to do so, subject to the following conditions:
17 *
18 * The above copyright notice and this permission notice shall be included in
19 * all copies or substantial portions of the Software.
20 *
21 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
22 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
23 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
24 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
25 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
26 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
27 * THE SOFTWARE.
28 */
29
30#include "../tcg-ldst.c.inc"
31#include "../tcg-pool.c.inc"
32
33#ifdef CONFIG_DEBUG_TCG
34static const char * const tcg_target_reg_names[TCG_TARGET_NB_REGS] = {
35    "zero",
36    "ra",
37    "sp",
38    "gp",
39    "tp",
40    "t0",
41    "t1",
42    "t2",
43    "s0",
44    "s1",
45    "a0",
46    "a1",
47    "a2",
48    "a3",
49    "a4",
50    "a5",
51    "a6",
52    "a7",
53    "s2",
54    "s3",
55    "s4",
56    "s5",
57    "s6",
58    "s7",
59    "s8",
60    "s9",
61    "s10",
62    "s11",
63    "t3",
64    "t4",
65    "t5",
66    "t6"
67};
68#endif
69
70static const int tcg_target_reg_alloc_order[] = {
71    /* Call saved registers */
72    /* TCG_REG_S0 reservered for TCG_AREG0 */
73    TCG_REG_S1,
74    TCG_REG_S2,
75    TCG_REG_S3,
76    TCG_REG_S4,
77    TCG_REG_S5,
78    TCG_REG_S6,
79    TCG_REG_S7,
80    TCG_REG_S8,
81    TCG_REG_S9,
82    TCG_REG_S10,
83    TCG_REG_S11,
84
85    /* Call clobbered registers */
86    TCG_REG_T0,
87    TCG_REG_T1,
88    TCG_REG_T2,
89    TCG_REG_T3,
90    TCG_REG_T4,
91    TCG_REG_T5,
92    TCG_REG_T6,
93
94    /* Argument registers */
95    TCG_REG_A0,
96    TCG_REG_A1,
97    TCG_REG_A2,
98    TCG_REG_A3,
99    TCG_REG_A4,
100    TCG_REG_A5,
101    TCG_REG_A6,
102    TCG_REG_A7,
103};
104
105static const int tcg_target_call_iarg_regs[] = {
106    TCG_REG_A0,
107    TCG_REG_A1,
108    TCG_REG_A2,
109    TCG_REG_A3,
110    TCG_REG_A4,
111    TCG_REG_A5,
112    TCG_REG_A6,
113    TCG_REG_A7,
114};
115
116#ifndef have_zbb
117bool have_zbb;
118#endif
119#if defined(__riscv_arch_test) && defined(__riscv_zba)
120# define have_zba true
121#else
122static bool have_zba;
123#endif
124#if defined(__riscv_arch_test) && defined(__riscv_zicond)
125# define have_zicond true
126#else
127static bool have_zicond;
128#endif
129
130static TCGReg tcg_target_call_oarg_reg(TCGCallReturnKind kind, int slot)
131{
132    tcg_debug_assert(kind == TCG_CALL_RET_NORMAL);
133    tcg_debug_assert(slot >= 0 && slot <= 1);
134    return TCG_REG_A0 + slot;
135}
136
137#define TCG_CT_CONST_ZERO  0x100
138#define TCG_CT_CONST_S12   0x200
139#define TCG_CT_CONST_N12   0x400
140#define TCG_CT_CONST_M12   0x800
141#define TCG_CT_CONST_J12  0x1000
142
143#define ALL_GENERAL_REGS   MAKE_64BIT_MASK(0, 32)
144
145#define sextreg  sextract64
146
147/* test if a constant matches the constraint */
148static bool tcg_target_const_match(int64_t val, TCGType type, int ct)
149{
150    if (ct & TCG_CT_CONST) {
151        return 1;
152    }
153    if ((ct & TCG_CT_CONST_ZERO) && val == 0) {
154        return 1;
155    }
156    /*
157     * Sign extended from 12 bits: [-0x800, 0x7ff].
158     * Used for most arithmetic, as this is the isa field.
159     */
160    if ((ct & TCG_CT_CONST_S12) && val >= -0x800 && val <= 0x7ff) {
161        return 1;
162    }
163    /*
164     * Sign extended from 12 bits, negated: [-0x7ff, 0x800].
165     * Used for subtraction, where a constant must be handled by ADDI.
166     */
167    if ((ct & TCG_CT_CONST_N12) && val >= -0x7ff && val <= 0x800) {
168        return 1;
169    }
170    /*
171     * Sign extended from 12 bits, +/- matching: [-0x7ff, 0x7ff].
172     * Used by addsub2 and movcond, which may need the negative value,
173     * and requires the modified constant to be representable.
174     */
175    if ((ct & TCG_CT_CONST_M12) && val >= -0x7ff && val <= 0x7ff) {
176        return 1;
177    }
178    /*
179     * Inverse of sign extended from 12 bits: ~[-0x800, 0x7ff].
180     * Used to map ANDN back to ANDI, etc.
181     */
182    if ((ct & TCG_CT_CONST_J12) && ~val >= -0x800 && ~val <= 0x7ff) {
183        return 1;
184    }
185    return 0;
186}
187
188/*
189 * RISC-V Base ISA opcodes (IM)
190 */
191
192typedef enum {
193    OPC_ADD = 0x33,
194    OPC_ADDI = 0x13,
195    OPC_AND = 0x7033,
196    OPC_ANDI = 0x7013,
197    OPC_AUIPC = 0x17,
198    OPC_BEQ = 0x63,
199    OPC_BGE = 0x5063,
200    OPC_BGEU = 0x7063,
201    OPC_BLT = 0x4063,
202    OPC_BLTU = 0x6063,
203    OPC_BNE = 0x1063,
204    OPC_DIV = 0x2004033,
205    OPC_DIVU = 0x2005033,
206    OPC_JAL = 0x6f,
207    OPC_JALR = 0x67,
208    OPC_LB = 0x3,
209    OPC_LBU = 0x4003,
210    OPC_LD = 0x3003,
211    OPC_LH = 0x1003,
212    OPC_LHU = 0x5003,
213    OPC_LUI = 0x37,
214    OPC_LW = 0x2003,
215    OPC_LWU = 0x6003,
216    OPC_MUL = 0x2000033,
217    OPC_MULH = 0x2001033,
218    OPC_MULHSU = 0x2002033,
219    OPC_MULHU = 0x2003033,
220    OPC_OR = 0x6033,
221    OPC_ORI = 0x6013,
222    OPC_REM = 0x2006033,
223    OPC_REMU = 0x2007033,
224    OPC_SB = 0x23,
225    OPC_SD = 0x3023,
226    OPC_SH = 0x1023,
227    OPC_SLL = 0x1033,
228    OPC_SLLI = 0x1013,
229    OPC_SLT = 0x2033,
230    OPC_SLTI = 0x2013,
231    OPC_SLTIU = 0x3013,
232    OPC_SLTU = 0x3033,
233    OPC_SRA = 0x40005033,
234    OPC_SRAI = 0x40005013,
235    OPC_SRL = 0x5033,
236    OPC_SRLI = 0x5013,
237    OPC_SUB = 0x40000033,
238    OPC_SW = 0x2023,
239    OPC_XOR = 0x4033,
240    OPC_XORI = 0x4013,
241
242    OPC_ADDIW = 0x1b,
243    OPC_ADDW = 0x3b,
244    OPC_DIVUW = 0x200503b,
245    OPC_DIVW = 0x200403b,
246    OPC_MULW = 0x200003b,
247    OPC_REMUW = 0x200703b,
248    OPC_REMW = 0x200603b,
249    OPC_SLLIW = 0x101b,
250    OPC_SLLW = 0x103b,
251    OPC_SRAIW = 0x4000501b,
252    OPC_SRAW = 0x4000503b,
253    OPC_SRLIW = 0x501b,
254    OPC_SRLW = 0x503b,
255    OPC_SUBW = 0x4000003b,
256
257    OPC_FENCE = 0x0000000f,
258    OPC_NOP   = OPC_ADDI,   /* nop = addi r0,r0,0 */
259
260    /* Zba: Bit manipulation extension, address generation */
261    OPC_ADD_UW = 0x0800003b,
262
263    /* Zbb: Bit manipulation extension, basic bit manipulaton */
264    OPC_ANDN   = 0x40007033,
265    OPC_CLZ    = 0x60001013,
266    OPC_CLZW   = 0x6000101b,
267    OPC_CPOP   = 0x60201013,
268    OPC_CPOPW  = 0x6020101b,
269    OPC_CTZ    = 0x60101013,
270    OPC_CTZW   = 0x6010101b,
271    OPC_ORN    = 0x40006033,
272    OPC_REV8   = 0x6b805013,
273    OPC_ROL    = 0x60001033,
274    OPC_ROLW   = 0x6000103b,
275    OPC_ROR    = 0x60005033,
276    OPC_RORW   = 0x6000503b,
277    OPC_RORI   = 0x60005013,
278    OPC_RORIW  = 0x6000501b,
279    OPC_SEXT_B = 0x60401013,
280    OPC_SEXT_H = 0x60501013,
281    OPC_XNOR   = 0x40004033,
282    OPC_ZEXT_H = 0x0800403b,
283
284    /* Zicond: integer conditional operations */
285    OPC_CZERO_EQZ = 0x0e005033,
286    OPC_CZERO_NEZ = 0x0e007033,
287} RISCVInsn;
288
289/*
290 * RISC-V immediate and instruction encoders (excludes 16-bit RVC)
291 */
292
293/* Type-R */
294
295static int32_t encode_r(RISCVInsn opc, TCGReg rd, TCGReg rs1, TCGReg rs2)
296{
297    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20;
298}
299
300/* Type-I */
301
302static int32_t encode_imm12(uint32_t imm)
303{
304    return (imm & 0xfff) << 20;
305}
306
307static int32_t encode_i(RISCVInsn opc, TCGReg rd, TCGReg rs1, uint32_t imm)
308{
309    return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | encode_imm12(imm);
310}
311
312/* Type-S */
313
314static int32_t encode_simm12(uint32_t imm)
315{
316    int32_t ret = 0;
317
318    ret |= (imm & 0xFE0) << 20;
319    ret |= (imm & 0x1F) << 7;
320
321    return ret;
322}
323
324static int32_t encode_s(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
325{
326    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_simm12(imm);
327}
328
329/* Type-SB */
330
331static int32_t encode_sbimm12(uint32_t imm)
332{
333    int32_t ret = 0;
334
335    ret |= (imm & 0x1000) << 19;
336    ret |= (imm & 0x7e0) << 20;
337    ret |= (imm & 0x1e) << 7;
338    ret |= (imm & 0x800) >> 4;
339
340    return ret;
341}
342
343static int32_t encode_sb(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
344{
345    return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_sbimm12(imm);
346}
347
348/* Type-U */
349
350static int32_t encode_uimm20(uint32_t imm)
351{
352    return imm & 0xfffff000;
353}
354
355static int32_t encode_u(RISCVInsn opc, TCGReg rd, uint32_t imm)
356{
357    return opc | (rd & 0x1f) << 7 | encode_uimm20(imm);
358}
359
360/* Type-UJ */
361
362static int32_t encode_ujimm20(uint32_t imm)
363{
364    int32_t ret = 0;
365
366    ret |= (imm & 0x0007fe) << (21 - 1);
367    ret |= (imm & 0x000800) << (20 - 11);
368    ret |= (imm & 0x0ff000) << (12 - 12);
369    ret |= (imm & 0x100000) << (31 - 20);
370
371    return ret;
372}
373
374static int32_t encode_uj(RISCVInsn opc, TCGReg rd, uint32_t imm)
375{
376    return opc | (rd & 0x1f) << 7 | encode_ujimm20(imm);
377}
378
379/*
380 * RISC-V instruction emitters
381 */
382
383static void tcg_out_opc_reg(TCGContext *s, RISCVInsn opc,
384                            TCGReg rd, TCGReg rs1, TCGReg rs2)
385{
386    tcg_out32(s, encode_r(opc, rd, rs1, rs2));
387}
388
389static void tcg_out_opc_imm(TCGContext *s, RISCVInsn opc,
390                            TCGReg rd, TCGReg rs1, TCGArg imm)
391{
392    tcg_out32(s, encode_i(opc, rd, rs1, imm));
393}
394
395static void tcg_out_opc_store(TCGContext *s, RISCVInsn opc,
396                              TCGReg rs1, TCGReg rs2, uint32_t imm)
397{
398    tcg_out32(s, encode_s(opc, rs1, rs2, imm));
399}
400
401static void tcg_out_opc_branch(TCGContext *s, RISCVInsn opc,
402                               TCGReg rs1, TCGReg rs2, uint32_t imm)
403{
404    tcg_out32(s, encode_sb(opc, rs1, rs2, imm));
405}
406
407static void tcg_out_opc_upper(TCGContext *s, RISCVInsn opc,
408                              TCGReg rd, uint32_t imm)
409{
410    tcg_out32(s, encode_u(opc, rd, imm));
411}
412
413static void tcg_out_opc_jump(TCGContext *s, RISCVInsn opc,
414                             TCGReg rd, uint32_t imm)
415{
416    tcg_out32(s, encode_uj(opc, rd, imm));
417}
418
419static void tcg_out_nop_fill(tcg_insn_unit *p, int count)
420{
421    int i;
422    for (i = 0; i < count; ++i) {
423        p[i] = OPC_NOP;
424    }
425}
426
427/*
428 * Relocations
429 */
430
431static bool reloc_sbimm12(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
432{
433    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
434    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
435
436    tcg_debug_assert((offset & 1) == 0);
437    if (offset == sextreg(offset, 0, 12)) {
438        *src_rw |= encode_sbimm12(offset);
439        return true;
440    }
441
442    return false;
443}
444
445static bool reloc_jimm20(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
446{
447    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
448    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
449
450    tcg_debug_assert((offset & 1) == 0);
451    if (offset == sextreg(offset, 0, 20)) {
452        *src_rw |= encode_ujimm20(offset);
453        return true;
454    }
455
456    return false;
457}
458
459static bool reloc_call(tcg_insn_unit *src_rw, const tcg_insn_unit *target)
460{
461    const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw);
462    intptr_t offset = (intptr_t)target - (intptr_t)src_rx;
463    int32_t lo = sextreg(offset, 0, 12);
464    int32_t hi = offset - lo;
465
466    if (offset == hi + lo) {
467        src_rw[0] |= encode_uimm20(hi);
468        src_rw[1] |= encode_imm12(lo);
469        return true;
470    }
471
472    return false;
473}
474
475static bool patch_reloc(tcg_insn_unit *code_ptr, int type,
476                        intptr_t value, intptr_t addend)
477{
478    tcg_debug_assert(addend == 0);
479    switch (type) {
480    case R_RISCV_BRANCH:
481        return reloc_sbimm12(code_ptr, (tcg_insn_unit *)value);
482    case R_RISCV_JAL:
483        return reloc_jimm20(code_ptr, (tcg_insn_unit *)value);
484    case R_RISCV_CALL:
485        return reloc_call(code_ptr, (tcg_insn_unit *)value);
486    default:
487        g_assert_not_reached();
488    }
489}
490
491/*
492 * TCG intrinsics
493 */
494
495static bool tcg_out_mov(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
496{
497    if (ret == arg) {
498        return true;
499    }
500    switch (type) {
501    case TCG_TYPE_I32:
502    case TCG_TYPE_I64:
503        tcg_out_opc_imm(s, OPC_ADDI, ret, arg, 0);
504        break;
505    default:
506        g_assert_not_reached();
507    }
508    return true;
509}
510
511static void tcg_out_movi(TCGContext *s, TCGType type, TCGReg rd,
512                         tcg_target_long val)
513{
514    tcg_target_long lo, hi, tmp;
515    int shift, ret;
516
517    if (type == TCG_TYPE_I32) {
518        val = (int32_t)val;
519    }
520
521    lo = sextreg(val, 0, 12);
522    if (val == lo) {
523        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, lo);
524        return;
525    }
526
527    hi = val - lo;
528    if (val == (int32_t)val) {
529        tcg_out_opc_upper(s, OPC_LUI, rd, hi);
530        if (lo != 0) {
531            tcg_out_opc_imm(s, OPC_ADDIW, rd, rd, lo);
532        }
533        return;
534    }
535
536    tmp = tcg_pcrel_diff(s, (void *)val);
537    if (tmp == (int32_t)tmp) {
538        tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
539        tcg_out_opc_imm(s, OPC_ADDI, rd, rd, 0);
540        ret = reloc_call(s->code_ptr - 2, (const tcg_insn_unit *)val);
541        tcg_debug_assert(ret == true);
542        return;
543    }
544
545    /* Look for a single 20-bit section.  */
546    shift = ctz64(val);
547    tmp = val >> shift;
548    if (tmp == sextreg(tmp, 0, 20)) {
549        tcg_out_opc_upper(s, OPC_LUI, rd, tmp << 12);
550        if (shift > 12) {
551            tcg_out_opc_imm(s, OPC_SLLI, rd, rd, shift - 12);
552        } else {
553            tcg_out_opc_imm(s, OPC_SRAI, rd, rd, 12 - shift);
554        }
555        return;
556    }
557
558    /* Look for a few high zero bits, with lots of bits set in the middle.  */
559    shift = clz64(val);
560    tmp = val << shift;
561    if (tmp == sextreg(tmp, 12, 20) << 12) {
562        tcg_out_opc_upper(s, OPC_LUI, rd, tmp);
563        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
564        return;
565    } else if (tmp == sextreg(tmp, 0, 12)) {
566        tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, tmp);
567        tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
568        return;
569    }
570
571    /* Drop into the constant pool.  */
572    new_pool_label(s, val, R_RISCV_CALL, s->code_ptr, 0);
573    tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
574    tcg_out_opc_imm(s, OPC_LD, rd, rd, 0);
575}
576
577static bool tcg_out_xchg(TCGContext *s, TCGType type, TCGReg r1, TCGReg r2)
578{
579    return false;
580}
581
582static void tcg_out_addi_ptr(TCGContext *s, TCGReg rd, TCGReg rs,
583                             tcg_target_long imm)
584{
585    /* This function is only used for passing structs by reference. */
586    g_assert_not_reached();
587}
588
589static void tcg_out_ext8u(TCGContext *s, TCGReg ret, TCGReg arg)
590{
591    tcg_out_opc_imm(s, OPC_ANDI, ret, arg, 0xff);
592}
593
594static void tcg_out_ext16u(TCGContext *s, TCGReg ret, TCGReg arg)
595{
596    if (have_zbb) {
597        tcg_out_opc_reg(s, OPC_ZEXT_H, ret, arg, TCG_REG_ZERO);
598    } else {
599        tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
600        tcg_out_opc_imm(s, OPC_SRLIW, ret, ret, 16);
601    }
602}
603
604static void tcg_out_ext32u(TCGContext *s, TCGReg ret, TCGReg arg)
605{
606    if (have_zba) {
607        tcg_out_opc_reg(s, OPC_ADD_UW, ret, arg, TCG_REG_ZERO);
608    } else {
609        tcg_out_opc_imm(s, OPC_SLLI, ret, arg, 32);
610        tcg_out_opc_imm(s, OPC_SRLI, ret, ret, 32);
611    }
612}
613
614static void tcg_out_ext8s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
615{
616    if (have_zbb) {
617        tcg_out_opc_imm(s, OPC_SEXT_B, ret, arg, 0);
618    } else {
619        tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 24);
620        tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 24);
621    }
622}
623
624static void tcg_out_ext16s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
625{
626    if (have_zbb) {
627        tcg_out_opc_imm(s, OPC_SEXT_H, ret, arg, 0);
628    } else {
629        tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
630        tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 16);
631    }
632}
633
634static void tcg_out_ext32s(TCGContext *s, TCGReg ret, TCGReg arg)
635{
636    tcg_out_opc_imm(s, OPC_ADDIW, ret, arg, 0);
637}
638
639static void tcg_out_exts_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg)
640{
641    if (ret != arg) {
642        tcg_out_ext32s(s, ret, arg);
643    }
644}
645
646static void tcg_out_extu_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg)
647{
648    tcg_out_ext32u(s, ret, arg);
649}
650
651static void tcg_out_extrl_i64_i32(TCGContext *s, TCGReg ret, TCGReg arg)
652{
653    tcg_out_ext32s(s, ret, arg);
654}
655
656static void tcg_out_ldst(TCGContext *s, RISCVInsn opc, TCGReg data,
657                         TCGReg addr, intptr_t offset)
658{
659    intptr_t imm12 = sextreg(offset, 0, 12);
660
661    if (offset != imm12) {
662        intptr_t diff = tcg_pcrel_diff(s, (void *)offset);
663
664        if (addr == TCG_REG_ZERO && diff == (int32_t)diff) {
665            imm12 = sextreg(diff, 0, 12);
666            tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP2, diff - imm12);
667        } else {
668            tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP2, offset - imm12);
669            if (addr != TCG_REG_ZERO) {
670                tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, addr);
671            }
672        }
673        addr = TCG_REG_TMP2;
674    }
675
676    switch (opc) {
677    case OPC_SB:
678    case OPC_SH:
679    case OPC_SW:
680    case OPC_SD:
681        tcg_out_opc_store(s, opc, addr, data, imm12);
682        break;
683    case OPC_LB:
684    case OPC_LBU:
685    case OPC_LH:
686    case OPC_LHU:
687    case OPC_LW:
688    case OPC_LWU:
689    case OPC_LD:
690        tcg_out_opc_imm(s, opc, data, addr, imm12);
691        break;
692    default:
693        g_assert_not_reached();
694    }
695}
696
697static void tcg_out_ld(TCGContext *s, TCGType type, TCGReg arg,
698                       TCGReg arg1, intptr_t arg2)
699{
700    RISCVInsn insn = type == TCG_TYPE_I32 ? OPC_LW : OPC_LD;
701    tcg_out_ldst(s, insn, arg, arg1, arg2);
702}
703
704static void tcg_out_st(TCGContext *s, TCGType type, TCGReg arg,
705                       TCGReg arg1, intptr_t arg2)
706{
707    RISCVInsn insn = type == TCG_TYPE_I32 ? OPC_SW : OPC_SD;
708    tcg_out_ldst(s, insn, arg, arg1, arg2);
709}
710
711static bool tcg_out_sti(TCGContext *s, TCGType type, TCGArg val,
712                        TCGReg base, intptr_t ofs)
713{
714    if (val == 0) {
715        tcg_out_st(s, type, TCG_REG_ZERO, base, ofs);
716        return true;
717    }
718    return false;
719}
720
721static void tcg_out_addsub2(TCGContext *s,
722                            TCGReg rl, TCGReg rh,
723                            TCGReg al, TCGReg ah,
724                            TCGArg bl, TCGArg bh,
725                            bool cbl, bool cbh, bool is_sub, bool is32bit)
726{
727    const RISCVInsn opc_add = is32bit ? OPC_ADDW : OPC_ADD;
728    const RISCVInsn opc_addi = is32bit ? OPC_ADDIW : OPC_ADDI;
729    const RISCVInsn opc_sub = is32bit ? OPC_SUBW : OPC_SUB;
730    TCGReg th = TCG_REG_TMP1;
731
732    /* If we have a negative constant such that negating it would
733       make the high part zero, we can (usually) eliminate one insn.  */
734    if (cbl && cbh && bh == -1 && bl != 0) {
735        bl = -bl;
736        bh = 0;
737        is_sub = !is_sub;
738    }
739
740    /* By operating on the high part first, we get to use the final
741       carry operation to move back from the temporary.  */
742    if (!cbh) {
743        tcg_out_opc_reg(s, (is_sub ? opc_sub : opc_add), th, ah, bh);
744    } else if (bh != 0 || ah == rl) {
745        tcg_out_opc_imm(s, opc_addi, th, ah, (is_sub ? -bh : bh));
746    } else {
747        th = ah;
748    }
749
750    /* Note that tcg optimization should eliminate the bl == 0 case.  */
751    if (is_sub) {
752        if (cbl) {
753            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, al, bl);
754            tcg_out_opc_imm(s, opc_addi, rl, al, -bl);
755        } else {
756            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0, al, bl);
757            tcg_out_opc_reg(s, opc_sub, rl, al, bl);
758        }
759        tcg_out_opc_reg(s, opc_sub, rh, th, TCG_REG_TMP0);
760    } else {
761        if (cbl) {
762            tcg_out_opc_imm(s, opc_addi, rl, al, bl);
763            tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, rl, bl);
764        } else if (al == bl) {
765            /*
766             * If the input regs overlap, this is a simple doubling
767             * and carry-out is the input msb.  This special case is
768             * required when the output reg overlaps the input,
769             * but we might as well use it always.
770             */
771            tcg_out_opc_imm(s, OPC_SLTI, TCG_REG_TMP0, al, 0);
772            tcg_out_opc_reg(s, opc_add, rl, al, al);
773        } else {
774            tcg_out_opc_reg(s, opc_add, rl, al, bl);
775            tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0,
776                            rl, (rl == bl ? al : bl));
777        }
778        tcg_out_opc_reg(s, opc_add, rh, th, TCG_REG_TMP0);
779    }
780}
781
782static const struct {
783    RISCVInsn op;
784    bool swap;
785} tcg_brcond_to_riscv[] = {
786    [TCG_COND_EQ] =  { OPC_BEQ,  false },
787    [TCG_COND_NE] =  { OPC_BNE,  false },
788    [TCG_COND_LT] =  { OPC_BLT,  false },
789    [TCG_COND_GE] =  { OPC_BGE,  false },
790    [TCG_COND_LE] =  { OPC_BGE,  true  },
791    [TCG_COND_GT] =  { OPC_BLT,  true  },
792    [TCG_COND_LTU] = { OPC_BLTU, false },
793    [TCG_COND_GEU] = { OPC_BGEU, false },
794    [TCG_COND_LEU] = { OPC_BGEU, true  },
795    [TCG_COND_GTU] = { OPC_BLTU, true  }
796};
797
798static void tcg_out_brcond(TCGContext *s, TCGCond cond, TCGReg arg1,
799                           TCGReg arg2, TCGLabel *l)
800{
801    RISCVInsn op = tcg_brcond_to_riscv[cond].op;
802
803    tcg_debug_assert(op != 0);
804
805    if (tcg_brcond_to_riscv[cond].swap) {
806        TCGReg t = arg1;
807        arg1 = arg2;
808        arg2 = t;
809    }
810
811    tcg_out_reloc(s, s->code_ptr, R_RISCV_BRANCH, l, 0);
812    tcg_out_opc_branch(s, op, arg1, arg2, 0);
813}
814
815#define SETCOND_INV    TCG_TARGET_NB_REGS
816#define SETCOND_NEZ    (SETCOND_INV << 1)
817#define SETCOND_FLAGS  (SETCOND_INV | SETCOND_NEZ)
818
819static int tcg_out_setcond_int(TCGContext *s, TCGCond cond, TCGReg ret,
820                               TCGReg arg1, tcg_target_long arg2, bool c2)
821{
822    int flags = 0;
823
824    switch (cond) {
825    case TCG_COND_EQ:    /* -> NE  */
826    case TCG_COND_GE:    /* -> LT  */
827    case TCG_COND_GEU:   /* -> LTU */
828    case TCG_COND_GT:    /* -> LE  */
829    case TCG_COND_GTU:   /* -> LEU */
830        cond = tcg_invert_cond(cond);
831        flags ^= SETCOND_INV;
832        break;
833    default:
834        break;
835    }
836
837    switch (cond) {
838    case TCG_COND_LE:
839    case TCG_COND_LEU:
840        /*
841         * If we have a constant input, the most efficient way to implement
842         * LE is by adding 1 and using LT.  Watch out for wrap around for LEU.
843         * We don't need to care for this for LE because the constant input
844         * is constrained to signed 12-bit, and 0x800 is representable in the
845         * temporary register.
846         */
847        if (c2) {
848            if (cond == TCG_COND_LEU) {
849                /* unsigned <= -1 is true */
850                if (arg2 == -1) {
851                    tcg_out_movi(s, TCG_TYPE_REG, ret, !(flags & SETCOND_INV));
852                    return ret;
853                }
854                cond = TCG_COND_LTU;
855            } else {
856                cond = TCG_COND_LT;
857            }
858            tcg_debug_assert(arg2 <= 0x7ff);
859            if (++arg2 == 0x800) {
860                tcg_out_movi(s, TCG_TYPE_REG, TCG_REG_TMP0, arg2);
861                arg2 = TCG_REG_TMP0;
862                c2 = false;
863            }
864        } else {
865            TCGReg tmp = arg2;
866            arg2 = arg1;
867            arg1 = tmp;
868            cond = tcg_swap_cond(cond);    /* LE -> GE */
869            cond = tcg_invert_cond(cond);  /* GE -> LT */
870            flags ^= SETCOND_INV;
871        }
872        break;
873    default:
874        break;
875    }
876
877    switch (cond) {
878    case TCG_COND_NE:
879        flags |= SETCOND_NEZ;
880        if (!c2) {
881            tcg_out_opc_reg(s, OPC_XOR, ret, arg1, arg2);
882        } else if (arg2 == 0) {
883            ret = arg1;
884        } else {
885            tcg_out_opc_imm(s, OPC_XORI, ret, arg1, arg2);
886        }
887        break;
888
889    case TCG_COND_LT:
890        if (c2) {
891            tcg_out_opc_imm(s, OPC_SLTI, ret, arg1, arg2);
892        } else {
893            tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2);
894        }
895        break;
896
897    case TCG_COND_LTU:
898        if (c2) {
899            tcg_out_opc_imm(s, OPC_SLTIU, ret, arg1, arg2);
900        } else {
901            tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2);
902        }
903        break;
904
905    default:
906        g_assert_not_reached();
907    }
908
909    return ret | flags;
910}
911
912static void tcg_out_setcond(TCGContext *s, TCGCond cond, TCGReg ret,
913                            TCGReg arg1, tcg_target_long arg2, bool c2)
914{
915    int tmpflags = tcg_out_setcond_int(s, cond, ret, arg1, arg2, c2);
916
917    if (tmpflags != ret) {
918        TCGReg tmp = tmpflags & ~SETCOND_FLAGS;
919
920        switch (tmpflags & SETCOND_FLAGS) {
921        case SETCOND_INV:
922            /* Intermediate result is boolean: simply invert. */
923            tcg_out_opc_imm(s, OPC_XORI, ret, tmp, 1);
924            break;
925        case SETCOND_NEZ:
926            /* Intermediate result is zero/non-zero: test != 0. */
927            tcg_out_opc_reg(s, OPC_SLTU, ret, TCG_REG_ZERO, tmp);
928            break;
929        case SETCOND_NEZ | SETCOND_INV:
930            /* Intermediate result is zero/non-zero: test == 0. */
931            tcg_out_opc_imm(s, OPC_SLTIU, ret, tmp, 1);
932            break;
933        default:
934            g_assert_not_reached();
935        }
936    }
937}
938
939static void tcg_out_movcond_zicond(TCGContext *s, TCGReg ret, TCGReg test_ne,
940                                   int val1, bool c_val1,
941                                   int val2, bool c_val2)
942{
943    if (val1 == 0) {
944        if (c_val2) {
945            tcg_out_movi(s, TCG_TYPE_REG, TCG_REG_TMP1, val2);
946            val2 = TCG_REG_TMP1;
947        }
948        tcg_out_opc_reg(s, OPC_CZERO_NEZ, ret, val2, test_ne);
949        return;
950    }
951
952    if (val2 == 0) {
953        if (c_val1) {
954            tcg_out_movi(s, TCG_TYPE_REG, TCG_REG_TMP1, val1);
955            val1 = TCG_REG_TMP1;
956        }
957        tcg_out_opc_reg(s, OPC_CZERO_EQZ, ret, val1, test_ne);
958        return;
959    }
960
961    if (c_val2) {
962        if (c_val1) {
963            tcg_out_movi(s, TCG_TYPE_REG, TCG_REG_TMP1, val1 - val2);
964        } else {
965            tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_TMP1, val1, -val2);
966        }
967        tcg_out_opc_reg(s, OPC_CZERO_EQZ, ret, TCG_REG_TMP1, test_ne);
968        tcg_out_opc_imm(s, OPC_ADDI, ret, ret, val2);
969        return;
970    }
971
972    if (c_val1) {
973        tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_TMP1, val2, -val1);
974        tcg_out_opc_reg(s, OPC_CZERO_NEZ, ret, TCG_REG_TMP1, test_ne);
975        tcg_out_opc_imm(s, OPC_ADDI, ret, ret, val1);
976        return;
977    }
978
979    tcg_out_opc_reg(s, OPC_CZERO_NEZ, TCG_REG_TMP1, val2, test_ne);
980    tcg_out_opc_reg(s, OPC_CZERO_EQZ, TCG_REG_TMP0, val1, test_ne);
981    tcg_out_opc_reg(s, OPC_OR, ret, TCG_REG_TMP0, TCG_REG_TMP1);
982}
983
984static void tcg_out_movcond_br1(TCGContext *s, TCGCond cond, TCGReg ret,
985                                TCGReg cmp1, TCGReg cmp2,
986                                int val, bool c_val)
987{
988    RISCVInsn op;
989    int disp = 8;
990
991    tcg_debug_assert((unsigned)cond < ARRAY_SIZE(tcg_brcond_to_riscv));
992    op = tcg_brcond_to_riscv[cond].op;
993    tcg_debug_assert(op != 0);
994
995    if (tcg_brcond_to_riscv[cond].swap) {
996        tcg_out_opc_branch(s, op, cmp2, cmp1, disp);
997    } else {
998        tcg_out_opc_branch(s, op, cmp1, cmp2, disp);
999    }
1000    if (c_val) {
1001        tcg_out_opc_imm(s, OPC_ADDI, ret, TCG_REG_ZERO, val);
1002    } else {
1003        tcg_out_opc_imm(s, OPC_ADDI, ret, val, 0);
1004    }
1005}
1006
1007static void tcg_out_movcond_br2(TCGContext *s, TCGCond cond, TCGReg ret,
1008                                TCGReg cmp1, TCGReg cmp2,
1009                                int val1, bool c_val1,
1010                                int val2, bool c_val2)
1011{
1012    TCGReg tmp;
1013
1014    /* TCG optimizer reorders to prefer ret matching val2. */
1015    if (!c_val2 && ret == val2) {
1016        cond = tcg_invert_cond(cond);
1017        tcg_out_movcond_br1(s, cond, ret, cmp1, cmp2, val1, c_val1);
1018        return;
1019    }
1020
1021    if (!c_val1 && ret == val1) {
1022        tcg_out_movcond_br1(s, cond, ret, cmp1, cmp2, val2, c_val2);
1023        return;
1024    }
1025
1026    tmp = (ret == cmp1 || ret == cmp2 ? TCG_REG_TMP1 : ret);
1027    if (c_val1) {
1028        tcg_out_movi(s, TCG_TYPE_REG, tmp, val1);
1029    } else {
1030        tcg_out_mov(s, TCG_TYPE_REG, tmp, val1);
1031    }
1032    tcg_out_movcond_br1(s, cond, tmp, cmp1, cmp2, val2, c_val2);
1033    tcg_out_mov(s, TCG_TYPE_REG, ret, tmp);
1034}
1035
1036static void tcg_out_movcond(TCGContext *s, TCGCond cond, TCGReg ret,
1037                            TCGReg cmp1, int cmp2, bool c_cmp2,
1038                            TCGReg val1, bool c_val1,
1039                            TCGReg val2, bool c_val2)
1040{
1041    int tmpflags;
1042    TCGReg t;
1043
1044    if (!have_zicond && (!c_cmp2 || cmp2 == 0)) {
1045        tcg_out_movcond_br2(s, cond, ret, cmp1, cmp2,
1046                            val1, c_val1, val2, c_val2);
1047        return;
1048    }
1049
1050    tmpflags = tcg_out_setcond_int(s, cond, TCG_REG_TMP0, cmp1, cmp2, c_cmp2);
1051    t = tmpflags & ~SETCOND_FLAGS;
1052
1053    if (have_zicond) {
1054        if (tmpflags & SETCOND_INV) {
1055            tcg_out_movcond_zicond(s, ret, t, val2, c_val2, val1, c_val1);
1056        } else {
1057            tcg_out_movcond_zicond(s, ret, t, val1, c_val1, val2, c_val2);
1058        }
1059    } else {
1060        cond = tmpflags & SETCOND_INV ? TCG_COND_EQ : TCG_COND_NE;
1061        tcg_out_movcond_br2(s, cond, ret, t, TCG_REG_ZERO,
1062                            val1, c_val1, val2, c_val2);
1063    }
1064}
1065
1066static void tcg_out_cltz(TCGContext *s, TCGType type, RISCVInsn insn,
1067                         TCGReg ret, TCGReg src1, int src2, bool c_src2)
1068{
1069    tcg_out_opc_imm(s, insn, ret, src1, 0);
1070
1071    if (!c_src2 || src2 != (type == TCG_TYPE_I32 ? 32 : 64)) {
1072        /*
1073         * The requested zero result does not match the insn, so adjust.
1074         * Note that constraints put 'ret' in a new register, so the
1075         * computation above did not clobber either 'src1' or 'src2'.
1076         */
1077        tcg_out_movcond(s, TCG_COND_EQ, ret, src1, 0, true,
1078                        src2, c_src2, ret, false);
1079    }
1080}
1081
1082static void tcg_out_call_int(TCGContext *s, const tcg_insn_unit *arg, bool tail)
1083{
1084    TCGReg link = tail ? TCG_REG_ZERO : TCG_REG_RA;
1085    ptrdiff_t offset = tcg_pcrel_diff(s, arg);
1086    int ret;
1087
1088    tcg_debug_assert((offset & 1) == 0);
1089    if (offset == sextreg(offset, 0, 20)) {
1090        /* short jump: -2097150 to 2097152 */
1091        tcg_out_opc_jump(s, OPC_JAL, link, offset);
1092    } else if (offset == (int32_t)offset) {
1093        /* long jump: -2147483646 to 2147483648 */
1094        tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP0, 0);
1095        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, 0);
1096        ret = reloc_call(s->code_ptr - 2, arg);
1097        tcg_debug_assert(ret == true);
1098    } else {
1099        /* far jump: 64-bit */
1100        tcg_target_long imm = sextreg((tcg_target_long)arg, 0, 12);
1101        tcg_target_long base = (tcg_target_long)arg - imm;
1102        tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP0, base);
1103        tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, imm);
1104    }
1105}
1106
1107static void tcg_out_call(TCGContext *s, const tcg_insn_unit *arg,
1108                         const TCGHelperInfo *info)
1109{
1110    tcg_out_call_int(s, arg, false);
1111}
1112
1113static void tcg_out_mb(TCGContext *s, TCGArg a0)
1114{
1115    tcg_insn_unit insn = OPC_FENCE;
1116
1117    if (a0 & TCG_MO_LD_LD) {
1118        insn |= 0x02200000;
1119    }
1120    if (a0 & TCG_MO_ST_LD) {
1121        insn |= 0x01200000;
1122    }
1123    if (a0 & TCG_MO_LD_ST) {
1124        insn |= 0x02100000;
1125    }
1126    if (a0 & TCG_MO_ST_ST) {
1127        insn |= 0x02200000;
1128    }
1129    tcg_out32(s, insn);
1130}
1131
1132/*
1133 * Load/store and TLB
1134 */
1135
1136static void tcg_out_goto(TCGContext *s, const tcg_insn_unit *target)
1137{
1138    tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
1139    bool ok = reloc_jimm20(s->code_ptr - 1, target);
1140    tcg_debug_assert(ok);
1141}
1142
1143bool tcg_target_has_memory_bswap(MemOp memop)
1144{
1145    return false;
1146}
1147
1148/* We have three temps, we might as well expose them. */
1149static const TCGLdstHelperParam ldst_helper_param = {
1150    .ntmp = 3, .tmp = { TCG_REG_TMP0, TCG_REG_TMP1, TCG_REG_TMP2 }
1151};
1152
1153static bool tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
1154{
1155    MemOp opc = get_memop(l->oi);
1156
1157    /* resolve label address */
1158    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
1159        return false;
1160    }
1161
1162    /* call load helper */
1163    tcg_out_ld_helper_args(s, l, &ldst_helper_param);
1164    tcg_out_call_int(s, qemu_ld_helpers[opc & MO_SSIZE], false);
1165    tcg_out_ld_helper_ret(s, l, true, &ldst_helper_param);
1166
1167    tcg_out_goto(s, l->raddr);
1168    return true;
1169}
1170
1171static bool tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
1172{
1173    MemOp opc = get_memop(l->oi);
1174
1175    /* resolve label address */
1176    if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) {
1177        return false;
1178    }
1179
1180    /* call store helper */
1181    tcg_out_st_helper_args(s, l, &ldst_helper_param);
1182    tcg_out_call_int(s, qemu_st_helpers[opc & MO_SIZE], false);
1183
1184    tcg_out_goto(s, l->raddr);
1185    return true;
1186}
1187
1188/*
1189 * For softmmu, perform the TLB load and compare.
1190 * For useronly, perform any required alignment tests.
1191 * In both cases, return a TCGLabelQemuLdst structure if the slow path
1192 * is required and fill in @h with the host address for the fast path.
1193 */
1194static TCGLabelQemuLdst *prepare_host_addr(TCGContext *s, TCGReg *pbase,
1195                                           TCGReg addr_reg, MemOpIdx oi,
1196                                           bool is_ld)
1197{
1198    TCGLabelQemuLdst *ldst = NULL;
1199    MemOp opc = get_memop(oi);
1200    TCGAtomAlign aa;
1201    unsigned a_mask;
1202
1203    aa = atom_and_align_for_opc(s, opc, MO_ATOM_IFALIGN, false);
1204    a_mask = (1u << aa.align) - 1;
1205
1206#ifdef CONFIG_SOFTMMU
1207    unsigned s_bits = opc & MO_SIZE;
1208    unsigned s_mask = (1u << s_bits) - 1;
1209    int mem_index = get_mmuidx(oi);
1210    int fast_ofs = TLB_MASK_TABLE_OFS(mem_index);
1211    int mask_ofs = fast_ofs + offsetof(CPUTLBDescFast, mask);
1212    int table_ofs = fast_ofs + offsetof(CPUTLBDescFast, table);
1213    int compare_mask;
1214    TCGReg addr_adj;
1215
1216    ldst = new_ldst_label(s);
1217    ldst->is_ld = is_ld;
1218    ldst->oi = oi;
1219    ldst->addrlo_reg = addr_reg;
1220
1221    QEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) > 0);
1222    QEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) < -(1 << 11));
1223    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_AREG0, mask_ofs);
1224    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP1, TCG_AREG0, table_ofs);
1225
1226    tcg_out_opc_imm(s, OPC_SRLI, TCG_REG_TMP2, addr_reg,
1227                    s->page_bits - CPU_TLB_ENTRY_BITS);
1228    tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP0);
1229    tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP1);
1230
1231    /*
1232     * For aligned accesses, we check the first byte and include the alignment
1233     * bits within the address.  For unaligned access, we check that we don't
1234     * cross pages using the address of the last byte of the access.
1235     */
1236    addr_adj = addr_reg;
1237    if (a_mask < s_mask) {
1238        addr_adj = TCG_REG_TMP0;
1239        tcg_out_opc_imm(s, TARGET_LONG_BITS == 32 ? OPC_ADDIW : OPC_ADDI,
1240                        addr_adj, addr_reg, s_mask - a_mask);
1241    }
1242    compare_mask = s->page_mask | a_mask;
1243    if (compare_mask == sextreg(compare_mask, 0, 12)) {
1244        tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr_adj, compare_mask);
1245    } else {
1246        tcg_out_movi(s, TCG_TYPE_TL, TCG_REG_TMP1, compare_mask);
1247        tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP1, TCG_REG_TMP1, addr_adj);
1248    }
1249
1250    /* Load the tlb comparator and the addend.  */
1251    tcg_out_ld(s, TCG_TYPE_TL, TCG_REG_TMP0, TCG_REG_TMP2,
1252               is_ld ? offsetof(CPUTLBEntry, addr_read)
1253                     : offsetof(CPUTLBEntry, addr_write));
1254    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP2, TCG_REG_TMP2,
1255               offsetof(CPUTLBEntry, addend));
1256
1257    /* Compare masked address with the TLB entry. */
1258    ldst->label_ptr[0] = s->code_ptr;
1259    tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP0, TCG_REG_TMP1, 0);
1260
1261    /* TLB Hit - translate address using addend.  */
1262    if (TARGET_LONG_BITS == 64) {
1263        tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, addr_reg, TCG_REG_TMP2);
1264    } else if (have_zba) {
1265        tcg_out_opc_reg(s, OPC_ADD_UW, TCG_REG_TMP0, addr_reg, TCG_REG_TMP2);
1266    } else {
1267        tcg_out_ext32u(s, TCG_REG_TMP0, addr_reg);
1268        tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, TCG_REG_TMP0, TCG_REG_TMP2);
1269    }
1270    *pbase = TCG_REG_TMP0;
1271#else
1272    TCGReg base;
1273
1274    if (a_mask) {
1275        ldst = new_ldst_label(s);
1276        ldst->is_ld = is_ld;
1277        ldst->oi = oi;
1278        ldst->addrlo_reg = addr_reg;
1279
1280        /* We are expecting alignment max 7, so we can always use andi. */
1281        tcg_debug_assert(a_mask == sextreg(a_mask, 0, 12));
1282        tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr_reg, a_mask);
1283
1284        ldst->label_ptr[0] = s->code_ptr;
1285        tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP1, TCG_REG_ZERO, 0);
1286    }
1287
1288    if (guest_base != 0) {
1289        base = TCG_REG_TMP0;
1290        if (TARGET_LONG_BITS == 64) {
1291            tcg_out_opc_reg(s, OPC_ADD, base, addr_reg, TCG_GUEST_BASE_REG);
1292        } else if (have_zba) {
1293            tcg_out_opc_reg(s, OPC_ADD_UW, base, addr_reg, TCG_GUEST_BASE_REG);
1294        } else {
1295            tcg_out_ext32u(s, base, addr_reg);
1296            tcg_out_opc_reg(s, OPC_ADD, base, base, TCG_GUEST_BASE_REG);
1297        }
1298    } else if (TARGET_LONG_BITS == 64) {
1299        base = addr_reg;
1300    } else {
1301        base = TCG_REG_TMP0;
1302        tcg_out_ext32u(s, base, addr_reg);
1303    }
1304    *pbase = base;
1305#endif
1306
1307    return ldst;
1308}
1309
1310static void tcg_out_qemu_ld_direct(TCGContext *s, TCGReg val,
1311                                   TCGReg base, MemOp opc, TCGType type)
1312{
1313    /* Byte swapping is left to middle-end expansion. */
1314    tcg_debug_assert((opc & MO_BSWAP) == 0);
1315
1316    switch (opc & (MO_SSIZE)) {
1317    case MO_UB:
1318        tcg_out_opc_imm(s, OPC_LBU, val, base, 0);
1319        break;
1320    case MO_SB:
1321        tcg_out_opc_imm(s, OPC_LB, val, base, 0);
1322        break;
1323    case MO_UW:
1324        tcg_out_opc_imm(s, OPC_LHU, val, base, 0);
1325        break;
1326    case MO_SW:
1327        tcg_out_opc_imm(s, OPC_LH, val, base, 0);
1328        break;
1329    case MO_UL:
1330        if (type == TCG_TYPE_I64) {
1331            tcg_out_opc_imm(s, OPC_LWU, val, base, 0);
1332            break;
1333        }
1334        /* FALLTHRU */
1335    case MO_SL:
1336        tcg_out_opc_imm(s, OPC_LW, val, base, 0);
1337        break;
1338    case MO_UQ:
1339        tcg_out_opc_imm(s, OPC_LD, val, base, 0);
1340        break;
1341    default:
1342        g_assert_not_reached();
1343    }
1344}
1345
1346static void tcg_out_qemu_ld(TCGContext *s, TCGReg data_reg, TCGReg addr_reg,
1347                            MemOpIdx oi, TCGType data_type)
1348{
1349    TCGLabelQemuLdst *ldst;
1350    TCGReg base;
1351
1352    ldst = prepare_host_addr(s, &base, addr_reg, oi, true);
1353    tcg_out_qemu_ld_direct(s, data_reg, base, get_memop(oi), data_type);
1354
1355    if (ldst) {
1356        ldst->type = data_type;
1357        ldst->datalo_reg = data_reg;
1358        ldst->raddr = tcg_splitwx_to_rx(s->code_ptr);
1359    }
1360}
1361
1362static void tcg_out_qemu_st_direct(TCGContext *s, TCGReg val,
1363                                   TCGReg base, MemOp opc)
1364{
1365    /* Byte swapping is left to middle-end expansion. */
1366    tcg_debug_assert((opc & MO_BSWAP) == 0);
1367
1368    switch (opc & (MO_SSIZE)) {
1369    case MO_8:
1370        tcg_out_opc_store(s, OPC_SB, base, val, 0);
1371        break;
1372    case MO_16:
1373        tcg_out_opc_store(s, OPC_SH, base, val, 0);
1374        break;
1375    case MO_32:
1376        tcg_out_opc_store(s, OPC_SW, base, val, 0);
1377        break;
1378    case MO_64:
1379        tcg_out_opc_store(s, OPC_SD, base, val, 0);
1380        break;
1381    default:
1382        g_assert_not_reached();
1383    }
1384}
1385
1386static void tcg_out_qemu_st(TCGContext *s, TCGReg data_reg, TCGReg addr_reg,
1387                            MemOpIdx oi, TCGType data_type)
1388{
1389    TCGLabelQemuLdst *ldst;
1390    TCGReg base;
1391
1392    ldst = prepare_host_addr(s, &base, addr_reg, oi, false);
1393    tcg_out_qemu_st_direct(s, data_reg, base, get_memop(oi));
1394
1395    if (ldst) {
1396        ldst->type = data_type;
1397        ldst->datalo_reg = data_reg;
1398        ldst->raddr = tcg_splitwx_to_rx(s->code_ptr);
1399    }
1400}
1401
1402static const tcg_insn_unit *tb_ret_addr;
1403
1404static void tcg_out_exit_tb(TCGContext *s, uintptr_t a0)
1405{
1406    /* Reuse the zeroing that exists for goto_ptr.  */
1407    if (a0 == 0) {
1408        tcg_out_call_int(s, tcg_code_gen_epilogue, true);
1409    } else {
1410        tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_A0, a0);
1411        tcg_out_call_int(s, tb_ret_addr, true);
1412    }
1413}
1414
1415static void tcg_out_goto_tb(TCGContext *s, int which)
1416{
1417    /* Direct branch will be patched by tb_target_set_jmp_target. */
1418    set_jmp_insn_offset(s, which);
1419    tcg_out32(s, OPC_JAL);
1420
1421    /* When branch is out of range, fall through to indirect. */
1422    tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_REG_ZERO,
1423               get_jmp_target_addr(s, which));
1424    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_TMP0, 0);
1425    set_jmp_reset_offset(s, which);
1426}
1427
1428void tb_target_set_jmp_target(const TranslationBlock *tb, int n,
1429                              uintptr_t jmp_rx, uintptr_t jmp_rw)
1430{
1431    uintptr_t addr = tb->jmp_target_addr[n];
1432    ptrdiff_t offset = addr - jmp_rx;
1433    tcg_insn_unit insn;
1434
1435    /* Either directly branch, or fall through to indirect branch. */
1436    if (offset == sextreg(offset, 0, 20)) {
1437        insn = encode_uj(OPC_JAL, TCG_REG_ZERO, offset);
1438    } else {
1439        insn = OPC_NOP;
1440    }
1441    qatomic_set((uint32_t *)jmp_rw, insn);
1442    flush_idcache_range(jmp_rx, jmp_rw, 4);
1443}
1444
1445static void tcg_out_op(TCGContext *s, TCGOpcode opc,
1446                       const TCGArg args[TCG_MAX_OP_ARGS],
1447                       const int const_args[TCG_MAX_OP_ARGS])
1448{
1449    TCGArg a0 = args[0];
1450    TCGArg a1 = args[1];
1451    TCGArg a2 = args[2];
1452    int c2 = const_args[2];
1453
1454    switch (opc) {
1455    case INDEX_op_goto_ptr:
1456        tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, a0, 0);
1457        break;
1458
1459    case INDEX_op_br:
1460        tcg_out_reloc(s, s->code_ptr, R_RISCV_JAL, arg_label(a0), 0);
1461        tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
1462        break;
1463
1464    case INDEX_op_ld8u_i32:
1465    case INDEX_op_ld8u_i64:
1466        tcg_out_ldst(s, OPC_LBU, a0, a1, a2);
1467        break;
1468    case INDEX_op_ld8s_i32:
1469    case INDEX_op_ld8s_i64:
1470        tcg_out_ldst(s, OPC_LB, a0, a1, a2);
1471        break;
1472    case INDEX_op_ld16u_i32:
1473    case INDEX_op_ld16u_i64:
1474        tcg_out_ldst(s, OPC_LHU, a0, a1, a2);
1475        break;
1476    case INDEX_op_ld16s_i32:
1477    case INDEX_op_ld16s_i64:
1478        tcg_out_ldst(s, OPC_LH, a0, a1, a2);
1479        break;
1480    case INDEX_op_ld32u_i64:
1481        tcg_out_ldst(s, OPC_LWU, a0, a1, a2);
1482        break;
1483    case INDEX_op_ld_i32:
1484    case INDEX_op_ld32s_i64:
1485        tcg_out_ldst(s, OPC_LW, a0, a1, a2);
1486        break;
1487    case INDEX_op_ld_i64:
1488        tcg_out_ldst(s, OPC_LD, a0, a1, a2);
1489        break;
1490
1491    case INDEX_op_st8_i32:
1492    case INDEX_op_st8_i64:
1493        tcg_out_ldst(s, OPC_SB, a0, a1, a2);
1494        break;
1495    case INDEX_op_st16_i32:
1496    case INDEX_op_st16_i64:
1497        tcg_out_ldst(s, OPC_SH, a0, a1, a2);
1498        break;
1499    case INDEX_op_st_i32:
1500    case INDEX_op_st32_i64:
1501        tcg_out_ldst(s, OPC_SW, a0, a1, a2);
1502        break;
1503    case INDEX_op_st_i64:
1504        tcg_out_ldst(s, OPC_SD, a0, a1, a2);
1505        break;
1506
1507    case INDEX_op_add_i32:
1508        if (c2) {
1509            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, a2);
1510        } else {
1511            tcg_out_opc_reg(s, OPC_ADDW, a0, a1, a2);
1512        }
1513        break;
1514    case INDEX_op_add_i64:
1515        if (c2) {
1516            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, a2);
1517        } else {
1518            tcg_out_opc_reg(s, OPC_ADD, a0, a1, a2);
1519        }
1520        break;
1521
1522    case INDEX_op_sub_i32:
1523        if (c2) {
1524            tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, -a2);
1525        } else {
1526            tcg_out_opc_reg(s, OPC_SUBW, a0, a1, a2);
1527        }
1528        break;
1529    case INDEX_op_sub_i64:
1530        if (c2) {
1531            tcg_out_opc_imm(s, OPC_ADDI, a0, a1, -a2);
1532        } else {
1533            tcg_out_opc_reg(s, OPC_SUB, a0, a1, a2);
1534        }
1535        break;
1536
1537    case INDEX_op_and_i32:
1538    case INDEX_op_and_i64:
1539        if (c2) {
1540            tcg_out_opc_imm(s, OPC_ANDI, a0, a1, a2);
1541        } else {
1542            tcg_out_opc_reg(s, OPC_AND, a0, a1, a2);
1543        }
1544        break;
1545
1546    case INDEX_op_or_i32:
1547    case INDEX_op_or_i64:
1548        if (c2) {
1549            tcg_out_opc_imm(s, OPC_ORI, a0, a1, a2);
1550        } else {
1551            tcg_out_opc_reg(s, OPC_OR, a0, a1, a2);
1552        }
1553        break;
1554
1555    case INDEX_op_xor_i32:
1556    case INDEX_op_xor_i64:
1557        if (c2) {
1558            tcg_out_opc_imm(s, OPC_XORI, a0, a1, a2);
1559        } else {
1560            tcg_out_opc_reg(s, OPC_XOR, a0, a1, a2);
1561        }
1562        break;
1563
1564    case INDEX_op_andc_i32:
1565    case INDEX_op_andc_i64:
1566        if (c2) {
1567            tcg_out_opc_imm(s, OPC_ANDI, a0, a1, ~a2);
1568        } else {
1569            tcg_out_opc_reg(s, OPC_ANDN, a0, a1, a2);
1570        }
1571        break;
1572    case INDEX_op_orc_i32:
1573    case INDEX_op_orc_i64:
1574        if (c2) {
1575            tcg_out_opc_imm(s, OPC_ORI, a0, a1, ~a2);
1576        } else {
1577            tcg_out_opc_reg(s, OPC_ORN, a0, a1, a2);
1578        }
1579        break;
1580    case INDEX_op_eqv_i32:
1581    case INDEX_op_eqv_i64:
1582        if (c2) {
1583            tcg_out_opc_imm(s, OPC_XORI, a0, a1, ~a2);
1584        } else {
1585            tcg_out_opc_reg(s, OPC_XNOR, a0, a1, a2);
1586        }
1587        break;
1588
1589    case INDEX_op_not_i32:
1590    case INDEX_op_not_i64:
1591        tcg_out_opc_imm(s, OPC_XORI, a0, a1, -1);
1592        break;
1593
1594    case INDEX_op_neg_i32:
1595        tcg_out_opc_reg(s, OPC_SUBW, a0, TCG_REG_ZERO, a1);
1596        break;
1597    case INDEX_op_neg_i64:
1598        tcg_out_opc_reg(s, OPC_SUB, a0, TCG_REG_ZERO, a1);
1599        break;
1600
1601    case INDEX_op_mul_i32:
1602        tcg_out_opc_reg(s, OPC_MULW, a0, a1, a2);
1603        break;
1604    case INDEX_op_mul_i64:
1605        tcg_out_opc_reg(s, OPC_MUL, a0, a1, a2);
1606        break;
1607
1608    case INDEX_op_div_i32:
1609        tcg_out_opc_reg(s, OPC_DIVW, a0, a1, a2);
1610        break;
1611    case INDEX_op_div_i64:
1612        tcg_out_opc_reg(s, OPC_DIV, a0, a1, a2);
1613        break;
1614
1615    case INDEX_op_divu_i32:
1616        tcg_out_opc_reg(s, OPC_DIVUW, a0, a1, a2);
1617        break;
1618    case INDEX_op_divu_i64:
1619        tcg_out_opc_reg(s, OPC_DIVU, a0, a1, a2);
1620        break;
1621
1622    case INDEX_op_rem_i32:
1623        tcg_out_opc_reg(s, OPC_REMW, a0, a1, a2);
1624        break;
1625    case INDEX_op_rem_i64:
1626        tcg_out_opc_reg(s, OPC_REM, a0, a1, a2);
1627        break;
1628
1629    case INDEX_op_remu_i32:
1630        tcg_out_opc_reg(s, OPC_REMUW, a0, a1, a2);
1631        break;
1632    case INDEX_op_remu_i64:
1633        tcg_out_opc_reg(s, OPC_REMU, a0, a1, a2);
1634        break;
1635
1636    case INDEX_op_shl_i32:
1637        if (c2) {
1638            tcg_out_opc_imm(s, OPC_SLLIW, a0, a1, a2 & 0x1f);
1639        } else {
1640            tcg_out_opc_reg(s, OPC_SLLW, a0, a1, a2);
1641        }
1642        break;
1643    case INDEX_op_shl_i64:
1644        if (c2) {
1645            tcg_out_opc_imm(s, OPC_SLLI, a0, a1, a2 & 0x3f);
1646        } else {
1647            tcg_out_opc_reg(s, OPC_SLL, a0, a1, a2);
1648        }
1649        break;
1650
1651    case INDEX_op_shr_i32:
1652        if (c2) {
1653            tcg_out_opc_imm(s, OPC_SRLIW, a0, a1, a2 & 0x1f);
1654        } else {
1655            tcg_out_opc_reg(s, OPC_SRLW, a0, a1, a2);
1656        }
1657        break;
1658    case INDEX_op_shr_i64:
1659        if (c2) {
1660            tcg_out_opc_imm(s, OPC_SRLI, a0, a1, a2 & 0x3f);
1661        } else {
1662            tcg_out_opc_reg(s, OPC_SRL, a0, a1, a2);
1663        }
1664        break;
1665
1666    case INDEX_op_sar_i32:
1667        if (c2) {
1668            tcg_out_opc_imm(s, OPC_SRAIW, a0, a1, a2 & 0x1f);
1669        } else {
1670            tcg_out_opc_reg(s, OPC_SRAW, a0, a1, a2);
1671        }
1672        break;
1673    case INDEX_op_sar_i64:
1674        if (c2) {
1675            tcg_out_opc_imm(s, OPC_SRAI, a0, a1, a2 & 0x3f);
1676        } else {
1677            tcg_out_opc_reg(s, OPC_SRA, a0, a1, a2);
1678        }
1679        break;
1680
1681    case INDEX_op_rotl_i32:
1682        if (c2) {
1683            tcg_out_opc_imm(s, OPC_RORIW, a0, a1, -a2 & 0x1f);
1684        } else {
1685            tcg_out_opc_reg(s, OPC_ROLW, a0, a1, a2);
1686        }
1687        break;
1688    case INDEX_op_rotl_i64:
1689        if (c2) {
1690            tcg_out_opc_imm(s, OPC_RORI, a0, a1, -a2 & 0x3f);
1691        } else {
1692            tcg_out_opc_reg(s, OPC_ROL, a0, a1, a2);
1693        }
1694        break;
1695
1696    case INDEX_op_rotr_i32:
1697        if (c2) {
1698            tcg_out_opc_imm(s, OPC_RORIW, a0, a1, a2 & 0x1f);
1699        } else {
1700            tcg_out_opc_reg(s, OPC_RORW, a0, a1, a2);
1701        }
1702        break;
1703    case INDEX_op_rotr_i64:
1704        if (c2) {
1705            tcg_out_opc_imm(s, OPC_RORI, a0, a1, a2 & 0x3f);
1706        } else {
1707            tcg_out_opc_reg(s, OPC_ROR, a0, a1, a2);
1708        }
1709        break;
1710
1711    case INDEX_op_bswap64_i64:
1712        tcg_out_opc_imm(s, OPC_REV8, a0, a1, 0);
1713        break;
1714    case INDEX_op_bswap32_i32:
1715        a2 = 0;
1716        /* fall through */
1717    case INDEX_op_bswap32_i64:
1718        tcg_out_opc_imm(s, OPC_REV8, a0, a1, 0);
1719        if (a2 & TCG_BSWAP_OZ) {
1720            tcg_out_opc_imm(s, OPC_SRLI, a0, a0, 32);
1721        } else {
1722            tcg_out_opc_imm(s, OPC_SRAI, a0, a0, 32);
1723        }
1724        break;
1725    case INDEX_op_bswap16_i64:
1726    case INDEX_op_bswap16_i32:
1727        tcg_out_opc_imm(s, OPC_REV8, a0, a1, 0);
1728        if (a2 & TCG_BSWAP_OZ) {
1729            tcg_out_opc_imm(s, OPC_SRLI, a0, a0, 48);
1730        } else {
1731            tcg_out_opc_imm(s, OPC_SRAI, a0, a0, 48);
1732        }
1733        break;
1734
1735    case INDEX_op_ctpop_i32:
1736        tcg_out_opc_imm(s, OPC_CPOPW, a0, a1, 0);
1737        break;
1738    case INDEX_op_ctpop_i64:
1739        tcg_out_opc_imm(s, OPC_CPOP, a0, a1, 0);
1740        break;
1741
1742    case INDEX_op_clz_i32:
1743        tcg_out_cltz(s, TCG_TYPE_I32, OPC_CLZW, a0, a1, a2, c2);
1744        break;
1745    case INDEX_op_clz_i64:
1746        tcg_out_cltz(s, TCG_TYPE_I64, OPC_CLZ, a0, a1, a2, c2);
1747        break;
1748    case INDEX_op_ctz_i32:
1749        tcg_out_cltz(s, TCG_TYPE_I32, OPC_CTZW, a0, a1, a2, c2);
1750        break;
1751    case INDEX_op_ctz_i64:
1752        tcg_out_cltz(s, TCG_TYPE_I64, OPC_CTZ, a0, a1, a2, c2);
1753        break;
1754
1755    case INDEX_op_add2_i32:
1756        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1757                        const_args[4], const_args[5], false, true);
1758        break;
1759    case INDEX_op_add2_i64:
1760        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1761                        const_args[4], const_args[5], false, false);
1762        break;
1763    case INDEX_op_sub2_i32:
1764        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1765                        const_args[4], const_args[5], true, true);
1766        break;
1767    case INDEX_op_sub2_i64:
1768        tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1769                        const_args[4], const_args[5], true, false);
1770        break;
1771
1772    case INDEX_op_brcond_i32:
1773    case INDEX_op_brcond_i64:
1774        tcg_out_brcond(s, a2, a0, a1, arg_label(args[3]));
1775        break;
1776
1777    case INDEX_op_setcond_i32:
1778    case INDEX_op_setcond_i64:
1779        tcg_out_setcond(s, args[3], a0, a1, a2, c2);
1780        break;
1781
1782    case INDEX_op_movcond_i32:
1783    case INDEX_op_movcond_i64:
1784        tcg_out_movcond(s, args[5], a0, a1, a2, c2,
1785                        args[3], const_args[3], args[4], const_args[4]);
1786        break;
1787
1788    case INDEX_op_qemu_ld_a32_i32:
1789    case INDEX_op_qemu_ld_a64_i32:
1790        tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I32);
1791        break;
1792    case INDEX_op_qemu_ld_a32_i64:
1793    case INDEX_op_qemu_ld_a64_i64:
1794        tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I64);
1795        break;
1796    case INDEX_op_qemu_st_a32_i32:
1797    case INDEX_op_qemu_st_a64_i32:
1798        tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I32);
1799        break;
1800    case INDEX_op_qemu_st_a32_i64:
1801    case INDEX_op_qemu_st_a64_i64:
1802        tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I64);
1803        break;
1804
1805    case INDEX_op_extrh_i64_i32:
1806        tcg_out_opc_imm(s, OPC_SRAI, a0, a1, 32);
1807        break;
1808
1809    case INDEX_op_mulsh_i32:
1810    case INDEX_op_mulsh_i64:
1811        tcg_out_opc_reg(s, OPC_MULH, a0, a1, a2);
1812        break;
1813
1814    case INDEX_op_muluh_i32:
1815    case INDEX_op_muluh_i64:
1816        tcg_out_opc_reg(s, OPC_MULHU, a0, a1, a2);
1817        break;
1818
1819    case INDEX_op_mb:
1820        tcg_out_mb(s, a0);
1821        break;
1822
1823    case INDEX_op_mov_i32:  /* Always emitted via tcg_out_mov.  */
1824    case INDEX_op_mov_i64:
1825    case INDEX_op_call:     /* Always emitted via tcg_out_call.  */
1826    case INDEX_op_exit_tb:  /* Always emitted via tcg_out_exit_tb.  */
1827    case INDEX_op_goto_tb:  /* Always emitted via tcg_out_goto_tb.  */
1828    case INDEX_op_ext8s_i32:  /* Always emitted via tcg_reg_alloc_op.  */
1829    case INDEX_op_ext8s_i64:
1830    case INDEX_op_ext8u_i32:
1831    case INDEX_op_ext8u_i64:
1832    case INDEX_op_ext16s_i32:
1833    case INDEX_op_ext16s_i64:
1834    case INDEX_op_ext16u_i32:
1835    case INDEX_op_ext16u_i64:
1836    case INDEX_op_ext32s_i64:
1837    case INDEX_op_ext32u_i64:
1838    case INDEX_op_ext_i32_i64:
1839    case INDEX_op_extu_i32_i64:
1840    case INDEX_op_extrl_i64_i32:
1841    default:
1842        g_assert_not_reached();
1843    }
1844}
1845
1846static TCGConstraintSetIndex tcg_target_op_def(TCGOpcode op)
1847{
1848    switch (op) {
1849    case INDEX_op_goto_ptr:
1850        return C_O0_I1(r);
1851
1852    case INDEX_op_ld8u_i32:
1853    case INDEX_op_ld8s_i32:
1854    case INDEX_op_ld16u_i32:
1855    case INDEX_op_ld16s_i32:
1856    case INDEX_op_ld_i32:
1857    case INDEX_op_not_i32:
1858    case INDEX_op_neg_i32:
1859    case INDEX_op_ld8u_i64:
1860    case INDEX_op_ld8s_i64:
1861    case INDEX_op_ld16u_i64:
1862    case INDEX_op_ld16s_i64:
1863    case INDEX_op_ld32s_i64:
1864    case INDEX_op_ld32u_i64:
1865    case INDEX_op_ld_i64:
1866    case INDEX_op_not_i64:
1867    case INDEX_op_neg_i64:
1868    case INDEX_op_ext8u_i32:
1869    case INDEX_op_ext8u_i64:
1870    case INDEX_op_ext16u_i32:
1871    case INDEX_op_ext16u_i64:
1872    case INDEX_op_ext32u_i64:
1873    case INDEX_op_extu_i32_i64:
1874    case INDEX_op_ext8s_i32:
1875    case INDEX_op_ext8s_i64:
1876    case INDEX_op_ext16s_i32:
1877    case INDEX_op_ext16s_i64:
1878    case INDEX_op_ext32s_i64:
1879    case INDEX_op_extrl_i64_i32:
1880    case INDEX_op_extrh_i64_i32:
1881    case INDEX_op_ext_i32_i64:
1882    case INDEX_op_bswap16_i32:
1883    case INDEX_op_bswap32_i32:
1884    case INDEX_op_bswap16_i64:
1885    case INDEX_op_bswap32_i64:
1886    case INDEX_op_bswap64_i64:
1887    case INDEX_op_ctpop_i32:
1888    case INDEX_op_ctpop_i64:
1889        return C_O1_I1(r, r);
1890
1891    case INDEX_op_st8_i32:
1892    case INDEX_op_st16_i32:
1893    case INDEX_op_st_i32:
1894    case INDEX_op_st8_i64:
1895    case INDEX_op_st16_i64:
1896    case INDEX_op_st32_i64:
1897    case INDEX_op_st_i64:
1898        return C_O0_I2(rZ, r);
1899
1900    case INDEX_op_add_i32:
1901    case INDEX_op_and_i32:
1902    case INDEX_op_or_i32:
1903    case INDEX_op_xor_i32:
1904    case INDEX_op_add_i64:
1905    case INDEX_op_and_i64:
1906    case INDEX_op_or_i64:
1907    case INDEX_op_xor_i64:
1908    case INDEX_op_setcond_i32:
1909    case INDEX_op_setcond_i64:
1910        return C_O1_I2(r, r, rI);
1911
1912    case INDEX_op_andc_i32:
1913    case INDEX_op_andc_i64:
1914    case INDEX_op_orc_i32:
1915    case INDEX_op_orc_i64:
1916    case INDEX_op_eqv_i32:
1917    case INDEX_op_eqv_i64:
1918        return C_O1_I2(r, r, rJ);
1919
1920    case INDEX_op_sub_i32:
1921    case INDEX_op_sub_i64:
1922        return C_O1_I2(r, rZ, rN);
1923
1924    case INDEX_op_mul_i32:
1925    case INDEX_op_mulsh_i32:
1926    case INDEX_op_muluh_i32:
1927    case INDEX_op_div_i32:
1928    case INDEX_op_divu_i32:
1929    case INDEX_op_rem_i32:
1930    case INDEX_op_remu_i32:
1931    case INDEX_op_mul_i64:
1932    case INDEX_op_mulsh_i64:
1933    case INDEX_op_muluh_i64:
1934    case INDEX_op_div_i64:
1935    case INDEX_op_divu_i64:
1936    case INDEX_op_rem_i64:
1937    case INDEX_op_remu_i64:
1938        return C_O1_I2(r, rZ, rZ);
1939
1940    case INDEX_op_shl_i32:
1941    case INDEX_op_shr_i32:
1942    case INDEX_op_sar_i32:
1943    case INDEX_op_rotl_i32:
1944    case INDEX_op_rotr_i32:
1945    case INDEX_op_shl_i64:
1946    case INDEX_op_shr_i64:
1947    case INDEX_op_sar_i64:
1948    case INDEX_op_rotl_i64:
1949    case INDEX_op_rotr_i64:
1950        return C_O1_I2(r, r, ri);
1951
1952    case INDEX_op_clz_i32:
1953    case INDEX_op_clz_i64:
1954    case INDEX_op_ctz_i32:
1955    case INDEX_op_ctz_i64:
1956        return C_N1_I2(r, r, rM);
1957
1958    case INDEX_op_brcond_i32:
1959    case INDEX_op_brcond_i64:
1960        return C_O0_I2(rZ, rZ);
1961
1962    case INDEX_op_movcond_i32:
1963    case INDEX_op_movcond_i64:
1964        return C_O1_I4(r, r, rI, rM, rM);
1965
1966    case INDEX_op_add2_i32:
1967    case INDEX_op_add2_i64:
1968    case INDEX_op_sub2_i32:
1969    case INDEX_op_sub2_i64:
1970        return C_O2_I4(r, r, rZ, rZ, rM, rM);
1971
1972    case INDEX_op_qemu_ld_a32_i32:
1973    case INDEX_op_qemu_ld_a64_i32:
1974    case INDEX_op_qemu_ld_a32_i64:
1975    case INDEX_op_qemu_ld_a64_i64:
1976        return C_O1_I1(r, r);
1977    case INDEX_op_qemu_st_a32_i32:
1978    case INDEX_op_qemu_st_a64_i32:
1979    case INDEX_op_qemu_st_a32_i64:
1980    case INDEX_op_qemu_st_a64_i64:
1981        return C_O0_I2(rZ, r);
1982
1983    default:
1984        g_assert_not_reached();
1985    }
1986}
1987
1988static const int tcg_target_callee_save_regs[] = {
1989    TCG_REG_S0,       /* used for the global env (TCG_AREG0) */
1990    TCG_REG_S1,
1991    TCG_REG_S2,
1992    TCG_REG_S3,
1993    TCG_REG_S4,
1994    TCG_REG_S5,
1995    TCG_REG_S6,
1996    TCG_REG_S7,
1997    TCG_REG_S8,
1998    TCG_REG_S9,
1999    TCG_REG_S10,
2000    TCG_REG_S11,
2001    TCG_REG_RA,       /* should be last for ABI compliance */
2002};
2003
2004/* Stack frame parameters.  */
2005#define REG_SIZE   (TCG_TARGET_REG_BITS / 8)
2006#define SAVE_SIZE  ((int)ARRAY_SIZE(tcg_target_callee_save_regs) * REG_SIZE)
2007#define TEMP_SIZE  (CPU_TEMP_BUF_NLONGS * (int)sizeof(long))
2008#define FRAME_SIZE ((TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE + SAVE_SIZE \
2009                     + TCG_TARGET_STACK_ALIGN - 1) \
2010                    & -TCG_TARGET_STACK_ALIGN)
2011#define SAVE_OFS   (TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE)
2012
2013/* We're expecting to be able to use an immediate for frame allocation.  */
2014QEMU_BUILD_BUG_ON(FRAME_SIZE > 0x7ff);
2015
2016/* Generate global QEMU prologue and epilogue code */
2017static void tcg_target_qemu_prologue(TCGContext *s)
2018{
2019    int i;
2020
2021    tcg_set_frame(s, TCG_REG_SP, TCG_STATIC_CALL_ARGS_SIZE, TEMP_SIZE);
2022
2023    /* TB prologue */
2024    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, -FRAME_SIZE);
2025    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
2026        tcg_out_st(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
2027                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
2028    }
2029
2030#if !defined(CONFIG_SOFTMMU)
2031    tcg_out_movi(s, TCG_TYPE_PTR, TCG_GUEST_BASE_REG, guest_base);
2032    tcg_regset_set_reg(s->reserved_regs, TCG_GUEST_BASE_REG);
2033#endif
2034
2035    /* Call generated code */
2036    tcg_out_mov(s, TCG_TYPE_PTR, TCG_AREG0, tcg_target_call_iarg_regs[0]);
2037    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, tcg_target_call_iarg_regs[1], 0);
2038
2039    /* Return path for goto_ptr. Set return value to 0 */
2040    tcg_code_gen_epilogue = tcg_splitwx_to_rx(s->code_ptr);
2041    tcg_out_mov(s, TCG_TYPE_REG, TCG_REG_A0, TCG_REG_ZERO);
2042
2043    /* TB epilogue */
2044    tb_ret_addr = tcg_splitwx_to_rx(s->code_ptr);
2045    for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
2046        tcg_out_ld(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
2047                   TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
2048    }
2049
2050    tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, FRAME_SIZE);
2051    tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_RA, 0);
2052}
2053
2054static volatile sig_atomic_t got_sigill;
2055
2056static void sigill_handler(int signo, siginfo_t *si, void *data)
2057{
2058    /* Skip the faulty instruction */
2059    ucontext_t *uc = (ucontext_t *)data;
2060    uc->uc_mcontext.__gregs[REG_PC] += 4;
2061
2062    got_sigill = 1;
2063}
2064
2065static void tcg_target_detect_isa(void)
2066{
2067#if !defined(have_zba) || !defined(have_zbb) || !defined(have_zicond)
2068    /*
2069     * TODO: It is expected that this will be determinable via
2070     * linux riscv_hwprobe syscall, not yet merged.
2071     * In the meantime, test via sigill.
2072     */
2073
2074    struct sigaction sa_old, sa_new;
2075
2076    memset(&sa_new, 0, sizeof(sa_new));
2077    sa_new.sa_flags = SA_SIGINFO;
2078    sa_new.sa_sigaction = sigill_handler;
2079    sigaction(SIGILL, &sa_new, &sa_old);
2080
2081#ifndef have_zba
2082    /* Probe for Zba: add.uw zero,zero,zero. */
2083    got_sigill = 0;
2084    asm volatile(".insn r 0x3b, 0, 0x04, zero, zero, zero" : : : "memory");
2085    have_zba = !got_sigill;
2086#endif
2087
2088#ifndef have_zbb
2089    /* Probe for Zba: andn zero,zero,zero. */
2090    got_sigill = 0;
2091    asm volatile(".insn r 0x33, 7, 0x20, zero, zero, zero" : : : "memory");
2092    have_zbb = !got_sigill;
2093#endif
2094
2095#ifndef have_zicond
2096    /* Probe for Zicond: czero.eqz zero,zero,zero. */
2097    got_sigill = 0;
2098    asm volatile(".insn r 0x33, 5, 0x07, zero, zero, zero" : : : "memory");
2099    have_zicond = !got_sigill;
2100#endif
2101
2102    sigaction(SIGILL, &sa_old, NULL);
2103#endif
2104}
2105
2106static void tcg_target_init(TCGContext *s)
2107{
2108    tcg_target_detect_isa();
2109
2110    tcg_target_available_regs[TCG_TYPE_I32] = 0xffffffff;
2111    tcg_target_available_regs[TCG_TYPE_I64] = 0xffffffff;
2112
2113    tcg_target_call_clobber_regs = -1u;
2114    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S0);
2115    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S1);
2116    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S2);
2117    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S3);
2118    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S4);
2119    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S5);
2120    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S6);
2121    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S7);
2122    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S8);
2123    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S9);
2124    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S10);
2125    tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S11);
2126
2127    s->reserved_regs = 0;
2128    tcg_regset_set_reg(s->reserved_regs, TCG_REG_ZERO);
2129    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP0);
2130    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP1);
2131    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP2);
2132    tcg_regset_set_reg(s->reserved_regs, TCG_REG_SP);
2133    tcg_regset_set_reg(s->reserved_regs, TCG_REG_GP);
2134    tcg_regset_set_reg(s->reserved_regs, TCG_REG_TP);
2135}
2136
2137typedef struct {
2138    DebugFrameHeader h;
2139    uint8_t fde_def_cfa[4];
2140    uint8_t fde_reg_ofs[ARRAY_SIZE(tcg_target_callee_save_regs) * 2];
2141} DebugFrame;
2142
2143#define ELF_HOST_MACHINE EM_RISCV
2144
2145static const DebugFrame debug_frame = {
2146    .h.cie.len = sizeof(DebugFrameCIE) - 4, /* length after .len member */
2147    .h.cie.id = -1,
2148    .h.cie.version = 1,
2149    .h.cie.code_align = 1,
2150    .h.cie.data_align = -(TCG_TARGET_REG_BITS / 8) & 0x7f, /* sleb128 */
2151    .h.cie.return_column = TCG_REG_RA,
2152
2153    /* Total FDE size does not include the "len" member.  */
2154    .h.fde.len = sizeof(DebugFrame) - offsetof(DebugFrame, h.fde.cie_offset),
2155
2156    .fde_def_cfa = {
2157        12, TCG_REG_SP,                 /* DW_CFA_def_cfa sp, ... */
2158        (FRAME_SIZE & 0x7f) | 0x80,     /* ... uleb128 FRAME_SIZE */
2159        (FRAME_SIZE >> 7)
2160    },
2161    .fde_reg_ofs = {
2162        0x80 + 9,  12,                  /* DW_CFA_offset, s1,  -96 */
2163        0x80 + 18, 11,                  /* DW_CFA_offset, s2,  -88 */
2164        0x80 + 19, 10,                  /* DW_CFA_offset, s3,  -80 */
2165        0x80 + 20, 9,                   /* DW_CFA_offset, s4,  -72 */
2166        0x80 + 21, 8,                   /* DW_CFA_offset, s5,  -64 */
2167        0x80 + 22, 7,                   /* DW_CFA_offset, s6,  -56 */
2168        0x80 + 23, 6,                   /* DW_CFA_offset, s7,  -48 */
2169        0x80 + 24, 5,                   /* DW_CFA_offset, s8,  -40 */
2170        0x80 + 25, 4,                   /* DW_CFA_offset, s9,  -32 */
2171        0x80 + 26, 3,                   /* DW_CFA_offset, s10, -24 */
2172        0x80 + 27, 2,                   /* DW_CFA_offset, s11, -16 */
2173        0x80 + 1 , 1,                   /* DW_CFA_offset, ra,  -8 */
2174    }
2175};
2176
2177void tcg_register_jit(const void *buf, size_t buf_size)
2178{
2179    tcg_register_jit_int(buf, buf_size, &debug_frame, sizeof(debug_frame));
2180}
2181