]> git.proxmox.com Git - mirror_qemu.git/blame - tcg/riscv/tcg-target.c.inc
tcg/riscv: Fix branch range checks
[mirror_qemu.git] / tcg / riscv / tcg-target.c.inc
CommitLineData
505e75c5
AF
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
139c1837 30#include "../tcg-pool.c.inc"
505e75c5
AF
31
32#ifdef CONFIG_DEBUG_TCG
33static const char * const tcg_target_reg_names[TCG_TARGET_NB_REGS] = {
34 "zero",
35 "ra",
36 "sp",
37 "gp",
38 "tp",
39 "t0",
40 "t1",
41 "t2",
42 "s0",
43 "s1",
44 "a0",
45 "a1",
46 "a2",
47 "a3",
48 "a4",
49 "a5",
50 "a6",
51 "a7",
52 "s2",
53 "s3",
54 "s4",
55 "s5",
56 "s6",
57 "s7",
58 "s8",
59 "s9",
60 "s10",
61 "s11",
62 "t3",
63 "t4",
64 "t5",
65 "t6"
66};
67#endif
68
69static const int tcg_target_reg_alloc_order[] = {
70 /* Call saved registers */
71 /* TCG_REG_S0 reservered for TCG_AREG0 */
72 TCG_REG_S1,
73 TCG_REG_S2,
74 TCG_REG_S3,
75 TCG_REG_S4,
76 TCG_REG_S5,
77 TCG_REG_S6,
78 TCG_REG_S7,
79 TCG_REG_S8,
80 TCG_REG_S9,
81 TCG_REG_S10,
82 TCG_REG_S11,
83
84 /* Call clobbered registers */
85 TCG_REG_T0,
86 TCG_REG_T1,
87 TCG_REG_T2,
88 TCG_REG_T3,
89 TCG_REG_T4,
90 TCG_REG_T5,
91 TCG_REG_T6,
92
93 /* Argument registers */
94 TCG_REG_A0,
95 TCG_REG_A1,
96 TCG_REG_A2,
97 TCG_REG_A3,
98 TCG_REG_A4,
99 TCG_REG_A5,
100 TCG_REG_A6,
101 TCG_REG_A7,
102};
103
104static const int tcg_target_call_iarg_regs[] = {
105 TCG_REG_A0,
106 TCG_REG_A1,
107 TCG_REG_A2,
108 TCG_REG_A3,
109 TCG_REG_A4,
110 TCG_REG_A5,
111 TCG_REG_A6,
112 TCG_REG_A7,
113};
114
115static const int tcg_target_call_oarg_regs[] = {
116 TCG_REG_A0,
117 TCG_REG_A1,
118};
8ce23a13
AF
119
120#define TCG_CT_CONST_ZERO 0x100
121#define TCG_CT_CONST_S12 0x200
122#define TCG_CT_CONST_N12 0x400
123#define TCG_CT_CONST_M12 0x800
124
125static inline tcg_target_long sextreg(tcg_target_long val, int pos, int len)
126{
127 if (TCG_TARGET_REG_BITS == 32) {
128 return sextract32(val, pos, len);
129 } else {
130 return sextract64(val, pos, len);
131 }
132}
133
134/* parse target specific constraints */
135static const char *target_parse_constraint(TCGArgConstraint *ct,
136 const char *ct_str, TCGType type)
137{
138 switch (*ct_str++) {
139 case 'r':
9be0d080 140 ct->regs = 0xffffffff;
8ce23a13
AF
141 break;
142 case 'L':
143 /* qemu_ld/qemu_st constraint */
9be0d080 144 ct->regs = 0xffffffff;
8ce23a13
AF
145 /* qemu_ld/qemu_st uses TCG_REG_TMP0 */
146#if defined(CONFIG_SOFTMMU)
9be0d080
RH
147 tcg_regset_reset_reg(ct->regs, tcg_target_call_iarg_regs[0]);
148 tcg_regset_reset_reg(ct->regs, tcg_target_call_iarg_regs[1]);
149 tcg_regset_reset_reg(ct->regs, tcg_target_call_iarg_regs[2]);
150 tcg_regset_reset_reg(ct->regs, tcg_target_call_iarg_regs[3]);
151 tcg_regset_reset_reg(ct->regs, tcg_target_call_iarg_regs[4]);
8ce23a13
AF
152#endif
153 break;
154 case 'I':
155 ct->ct |= TCG_CT_CONST_S12;
156 break;
157 case 'N':
158 ct->ct |= TCG_CT_CONST_N12;
159 break;
160 case 'M':
161 ct->ct |= TCG_CT_CONST_M12;
162 break;
163 case 'Z':
164 /* we can use a zero immediate as a zero register argument. */
165 ct->ct |= TCG_CT_CONST_ZERO;
166 break;
167 default:
168 return NULL;
169 }
170 return ct_str;
171}
172
173/* test if a constant matches the constraint */
174static int tcg_target_const_match(tcg_target_long val, TCGType type,
175 const TCGArgConstraint *arg_ct)
176{
177 int ct = arg_ct->ct;
178 if (ct & TCG_CT_CONST) {
179 return 1;
180 }
181 if ((ct & TCG_CT_CONST_ZERO) && val == 0) {
182 return 1;
183 }
184 if ((ct & TCG_CT_CONST_S12) && val == sextreg(val, 0, 12)) {
185 return 1;
186 }
187 if ((ct & TCG_CT_CONST_N12) && -val == sextreg(-val, 0, 12)) {
188 return 1;
189 }
190 if ((ct & TCG_CT_CONST_M12) && val >= -0xfff && val <= 0xfff) {
191 return 1;
192 }
193 return 0;
194}
195
196/*
197 * RISC-V Base ISA opcodes (IM)
198 */
199
200typedef enum {
201 OPC_ADD = 0x33,
202 OPC_ADDI = 0x13,
203 OPC_AND = 0x7033,
204 OPC_ANDI = 0x7013,
205 OPC_AUIPC = 0x17,
206 OPC_BEQ = 0x63,
207 OPC_BGE = 0x5063,
208 OPC_BGEU = 0x7063,
209 OPC_BLT = 0x4063,
210 OPC_BLTU = 0x6063,
211 OPC_BNE = 0x1063,
212 OPC_DIV = 0x2004033,
213 OPC_DIVU = 0x2005033,
214 OPC_JAL = 0x6f,
215 OPC_JALR = 0x67,
216 OPC_LB = 0x3,
217 OPC_LBU = 0x4003,
218 OPC_LD = 0x3003,
219 OPC_LH = 0x1003,
220 OPC_LHU = 0x5003,
221 OPC_LUI = 0x37,
222 OPC_LW = 0x2003,
223 OPC_LWU = 0x6003,
224 OPC_MUL = 0x2000033,
225 OPC_MULH = 0x2001033,
226 OPC_MULHSU = 0x2002033,
227 OPC_MULHU = 0x2003033,
228 OPC_OR = 0x6033,
229 OPC_ORI = 0x6013,
230 OPC_REM = 0x2006033,
231 OPC_REMU = 0x2007033,
232 OPC_SB = 0x23,
233 OPC_SD = 0x3023,
234 OPC_SH = 0x1023,
235 OPC_SLL = 0x1033,
236 OPC_SLLI = 0x1013,
237 OPC_SLT = 0x2033,
238 OPC_SLTI = 0x2013,
239 OPC_SLTIU = 0x3013,
240 OPC_SLTU = 0x3033,
241 OPC_SRA = 0x40005033,
242 OPC_SRAI = 0x40005013,
243 OPC_SRL = 0x5033,
244 OPC_SRLI = 0x5013,
245 OPC_SUB = 0x40000033,
246 OPC_SW = 0x2023,
247 OPC_XOR = 0x4033,
248 OPC_XORI = 0x4013,
249
250#if TCG_TARGET_REG_BITS == 64
251 OPC_ADDIW = 0x1b,
252 OPC_ADDW = 0x3b,
253 OPC_DIVUW = 0x200503b,
254 OPC_DIVW = 0x200403b,
255 OPC_MULW = 0x200003b,
256 OPC_REMUW = 0x200703b,
257 OPC_REMW = 0x200603b,
258 OPC_SLLIW = 0x101b,
259 OPC_SLLW = 0x103b,
260 OPC_SRAIW = 0x4000501b,
261 OPC_SRAW = 0x4000503b,
262 OPC_SRLIW = 0x501b,
263 OPC_SRLW = 0x503b,
264 OPC_SUBW = 0x4000003b,
265#else
266 /* Simplify code throughout by defining aliases for RV32. */
267 OPC_ADDIW = OPC_ADDI,
268 OPC_ADDW = OPC_ADD,
269 OPC_DIVUW = OPC_DIVU,
270 OPC_DIVW = OPC_DIV,
271 OPC_MULW = OPC_MUL,
272 OPC_REMUW = OPC_REMU,
273 OPC_REMW = OPC_REM,
274 OPC_SLLIW = OPC_SLLI,
275 OPC_SLLW = OPC_SLL,
276 OPC_SRAIW = OPC_SRAI,
277 OPC_SRAW = OPC_SRA,
278 OPC_SRLIW = OPC_SRLI,
279 OPC_SRLW = OPC_SRL,
280 OPC_SUBW = OPC_SUB,
281#endif
282
283 OPC_FENCE = 0x0000000f,
284} RISCVInsn;
54a9ce0f
AF
285
286/*
287 * RISC-V immediate and instruction encoders (excludes 16-bit RVC)
288 */
289
290/* Type-R */
291
292static int32_t encode_r(RISCVInsn opc, TCGReg rd, TCGReg rs1, TCGReg rs2)
293{
294 return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20;
295}
296
297/* Type-I */
298
299static int32_t encode_imm12(uint32_t imm)
300{
301 return (imm & 0xfff) << 20;
302}
303
304static int32_t encode_i(RISCVInsn opc, TCGReg rd, TCGReg rs1, uint32_t imm)
305{
306 return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | encode_imm12(imm);
307}
308
309/* Type-S */
310
311static int32_t encode_simm12(uint32_t imm)
312{
313 int32_t ret = 0;
314
315 ret |= (imm & 0xFE0) << 20;
316 ret |= (imm & 0x1F) << 7;
317
318 return ret;
319}
320
321static int32_t encode_s(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
322{
323 return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_simm12(imm);
324}
325
326/* Type-SB */
327
328static int32_t encode_sbimm12(uint32_t imm)
329{
330 int32_t ret = 0;
331
332 ret |= (imm & 0x1000) << 19;
333 ret |= (imm & 0x7e0) << 20;
334 ret |= (imm & 0x1e) << 7;
335 ret |= (imm & 0x800) >> 4;
336
337 return ret;
338}
339
340static int32_t encode_sb(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm)
341{
342 return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_sbimm12(imm);
343}
344
345/* Type-U */
346
347static int32_t encode_uimm20(uint32_t imm)
348{
349 return imm & 0xfffff000;
350}
351
352static int32_t encode_u(RISCVInsn opc, TCGReg rd, uint32_t imm)
353{
354 return opc | (rd & 0x1f) << 7 | encode_uimm20(imm);
355}
356
357/* Type-UJ */
358
359static int32_t encode_ujimm20(uint32_t imm)
360{
361 int32_t ret = 0;
362
363 ret |= (imm & 0x0007fe) << (21 - 1);
364 ret |= (imm & 0x000800) << (20 - 11);
365 ret |= (imm & 0x0ff000) << (12 - 12);
366 ret |= (imm & 0x100000) << (31 - 20);
367
368 return ret;
369}
370
371static int32_t encode_uj(RISCVInsn opc, TCGReg rd, uint32_t imm)
372{
373 return opc | (rd & 0x1f) << 7 | encode_ujimm20(imm);
374}
bedf14e3
AF
375
376/*
377 * RISC-V instruction emitters
378 */
379
380static void tcg_out_opc_reg(TCGContext *s, RISCVInsn opc,
381 TCGReg rd, TCGReg rs1, TCGReg rs2)
382{
383 tcg_out32(s, encode_r(opc, rd, rs1, rs2));
384}
385
386static void tcg_out_opc_imm(TCGContext *s, RISCVInsn opc,
387 TCGReg rd, TCGReg rs1, TCGArg imm)
388{
389 tcg_out32(s, encode_i(opc, rd, rs1, imm));
390}
391
392static void tcg_out_opc_store(TCGContext *s, RISCVInsn opc,
393 TCGReg rs1, TCGReg rs2, uint32_t imm)
394{
395 tcg_out32(s, encode_s(opc, rs1, rs2, imm));
396}
397
398static void tcg_out_opc_branch(TCGContext *s, RISCVInsn opc,
399 TCGReg rs1, TCGReg rs2, uint32_t imm)
400{
401 tcg_out32(s, encode_sb(opc, rs1, rs2, imm));
402}
403
404static void tcg_out_opc_upper(TCGContext *s, RISCVInsn opc,
405 TCGReg rd, uint32_t imm)
406{
407 tcg_out32(s, encode_u(opc, rd, imm));
408}
409
410static void tcg_out_opc_jump(TCGContext *s, RISCVInsn opc,
411 TCGReg rd, uint32_t imm)
412{
413 tcg_out32(s, encode_uj(opc, rd, imm));
414}
415
416static void tcg_out_nop_fill(tcg_insn_unit *p, int count)
417{
418 int i;
419 for (i = 0; i < count; ++i) {
420 p[i] = encode_i(OPC_ADDI, TCG_REG_ZERO, TCG_REG_ZERO, 0);
421 }
422}
dfa8e74f
AF
423
424/*
425 * Relocations
426 */
427
428static bool reloc_sbimm12(tcg_insn_unit *code_ptr, tcg_insn_unit *target)
429{
430 intptr_t offset = (intptr_t)target - (intptr_t)code_ptr;
431
844d0442
RH
432 tcg_debug_assert((offset & 1) == 0);
433 if (offset == sextreg(offset, 0, 12)) {
dfa8e74f
AF
434 code_ptr[0] |= encode_sbimm12(offset);
435 return true;
436 }
437
438 return false;
439}
440
441static bool reloc_jimm20(tcg_insn_unit *code_ptr, tcg_insn_unit *target)
442{
443 intptr_t offset = (intptr_t)target - (intptr_t)code_ptr;
444
844d0442
RH
445 tcg_debug_assert((offset & 1) == 0);
446 if (offset == sextreg(offset, 0, 20)) {
dfa8e74f
AF
447 code_ptr[0] |= encode_ujimm20(offset);
448 return true;
449 }
450
451 return false;
452}
453
2be7d76b 454static bool reloc_call(tcg_insn_unit *code_ptr, const tcg_insn_unit *target)
dfa8e74f
AF
455{
456 intptr_t offset = (intptr_t)target - (intptr_t)code_ptr;
457 int32_t lo = sextreg(offset, 0, 12);
458 int32_t hi = offset - lo;
459
460 if (offset == hi + lo) {
461 code_ptr[0] |= encode_uimm20(hi);
462 code_ptr[1] |= encode_imm12(lo);
463 return true;
464 }
465
466 return false;
467}
468
469static bool patch_reloc(tcg_insn_unit *code_ptr, int type,
470 intptr_t value, intptr_t addend)
471{
472 uint32_t insn = *code_ptr;
473 intptr_t diff;
474 bool short_jmp;
475
476 tcg_debug_assert(addend == 0);
477
478 switch (type) {
479 case R_RISCV_BRANCH:
480 diff = value - (uintptr_t)code_ptr;
481 short_jmp = diff == sextreg(diff, 0, 12);
482 if (short_jmp) {
483 return reloc_sbimm12(code_ptr, (tcg_insn_unit *)value);
484 } else {
485 /* Invert the condition */
486 insn = insn ^ (1 << 12);
487 /* Clear the offset */
488 insn &= 0x01fff07f;
489 /* Set the offset to the PC + 8 */
490 insn |= encode_sbimm12(8);
491
492 /* Move forward */
493 code_ptr[0] = insn;
494
495 /* Overwrite the NOP with jal x0,value */
496 diff = value - (uintptr_t)(code_ptr + 1);
497 insn = encode_uj(OPC_JAL, TCG_REG_ZERO, diff);
498 code_ptr[1] = insn;
499
500 return true;
501 }
502 break;
503 case R_RISCV_JAL:
504 return reloc_jimm20(code_ptr, (tcg_insn_unit *)value);
dfa8e74f
AF
505 case R_RISCV_CALL:
506 return reloc_call(code_ptr, (tcg_insn_unit *)value);
dfa8e74f
AF
507 default:
508 tcg_abort();
509 }
510}
6cd2eda3
AF
511
512/*
513 * TCG intrinsics
514 */
515
78113e83 516static bool tcg_out_mov(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg)
6cd2eda3
AF
517{
518 if (ret == arg) {
78113e83 519 return true;
6cd2eda3
AF
520 }
521 switch (type) {
522 case TCG_TYPE_I32:
523 case TCG_TYPE_I64:
524 tcg_out_opc_imm(s, OPC_ADDI, ret, arg, 0);
525 break;
526 default:
527 g_assert_not_reached();
528 }
78113e83 529 return true;
6cd2eda3
AF
530}
531
532static void tcg_out_movi(TCGContext *s, TCGType type, TCGReg rd,
533 tcg_target_long val)
534{
535 tcg_target_long lo, hi, tmp;
536 int shift, ret;
537
538 if (TCG_TARGET_REG_BITS == 64 && type == TCG_TYPE_I32) {
539 val = (int32_t)val;
540 }
541
542 lo = sextreg(val, 0, 12);
543 if (val == lo) {
544 tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, lo);
545 return;
546 }
547
548 hi = val - lo;
549 if (TCG_TARGET_REG_BITS == 32 || val == (int32_t)val) {
550 tcg_out_opc_upper(s, OPC_LUI, rd, hi);
551 if (lo != 0) {
552 tcg_out_opc_imm(s, OPC_ADDIW, rd, rd, lo);
553 }
554 return;
555 }
556
557 /* We can only be here if TCG_TARGET_REG_BITS != 32 */
558 tmp = tcg_pcrel_diff(s, (void *)val);
559 if (tmp == (int32_t)tmp) {
560 tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
561 tcg_out_opc_imm(s, OPC_ADDI, rd, rd, 0);
562 ret = reloc_call(s->code_ptr - 2, (tcg_insn_unit *)val);
563 tcg_debug_assert(ret == true);
564 return;
565 }
566
567 /* Look for a single 20-bit section. */
568 shift = ctz64(val);
569 tmp = val >> shift;
570 if (tmp == sextreg(tmp, 0, 20)) {
571 tcg_out_opc_upper(s, OPC_LUI, rd, tmp << 12);
572 if (shift > 12) {
573 tcg_out_opc_imm(s, OPC_SLLI, rd, rd, shift - 12);
574 } else {
575 tcg_out_opc_imm(s, OPC_SRAI, rd, rd, 12 - shift);
576 }
577 return;
578 }
579
580 /* Look for a few high zero bits, with lots of bits set in the middle. */
581 shift = clz64(val);
582 tmp = val << shift;
583 if (tmp == sextreg(tmp, 12, 20) << 12) {
584 tcg_out_opc_upper(s, OPC_LUI, rd, tmp);
585 tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
586 return;
587 } else if (tmp == sextreg(tmp, 0, 12)) {
588 tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, tmp);
589 tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift);
590 return;
591 }
592
593 /* Drop into the constant pool. */
594 new_pool_label(s, val, R_RISCV_CALL, s->code_ptr, 0);
595 tcg_out_opc_upper(s, OPC_AUIPC, rd, 0);
596 tcg_out_opc_imm(s, OPC_LD, rd, rd, 0);
597}
27fd6414
AF
598
599static void tcg_out_ext8u(TCGContext *s, TCGReg ret, TCGReg arg)
600{
601 tcg_out_opc_imm(s, OPC_ANDI, ret, arg, 0xff);
602}
603
604static void tcg_out_ext16u(TCGContext *s, TCGReg ret, TCGReg arg)
605{
606 tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
607 tcg_out_opc_imm(s, OPC_SRLIW, ret, ret, 16);
608}
609
610static void tcg_out_ext32u(TCGContext *s, TCGReg ret, TCGReg arg)
611{
612 tcg_out_opc_imm(s, OPC_SLLI, ret, arg, 32);
613 tcg_out_opc_imm(s, OPC_SRLI, ret, ret, 32);
614}
615
616static void tcg_out_ext8s(TCGContext *s, TCGReg ret, TCGReg arg)
617{
618 tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 24);
619 tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 24);
620}
621
622static void tcg_out_ext16s(TCGContext *s, TCGReg ret, TCGReg arg)
623{
624 tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16);
625 tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 16);
626}
627
628static void tcg_out_ext32s(TCGContext *s, TCGReg ret, TCGReg arg)
629{
630 tcg_out_opc_imm(s, OPC_ADDIW, ret, arg, 0);
631}
61535d49
AF
632
633static void tcg_out_ldst(TCGContext *s, RISCVInsn opc, TCGReg data,
634 TCGReg addr, intptr_t offset)
635{
636 intptr_t imm12 = sextreg(offset, 0, 12);
637
638 if (offset != imm12) {
639 intptr_t diff = offset - (uintptr_t)s->code_ptr;
640
641 if (addr == TCG_REG_ZERO && diff == (int32_t)diff) {
642 imm12 = sextreg(diff, 0, 12);
643 tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP2, diff - imm12);
644 } else {
645 tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP2, offset - imm12);
646 if (addr != TCG_REG_ZERO) {
647 tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, addr);
648 }
649 }
650 addr = TCG_REG_TMP2;
651 }
652
653 switch (opc) {
654 case OPC_SB:
655 case OPC_SH:
656 case OPC_SW:
657 case OPC_SD:
658 tcg_out_opc_store(s, opc, addr, data, imm12);
659 break;
660 case OPC_LB:
661 case OPC_LBU:
662 case OPC_LH:
663 case OPC_LHU:
664 case OPC_LW:
665 case OPC_LWU:
666 case OPC_LD:
667 tcg_out_opc_imm(s, opc, data, addr, imm12);
668 break;
669 default:
670 g_assert_not_reached();
671 }
672}
673
674static void tcg_out_ld(TCGContext *s, TCGType type, TCGReg arg,
675 TCGReg arg1, intptr_t arg2)
676{
677 bool is32bit = (TCG_TARGET_REG_BITS == 32 || type == TCG_TYPE_I32);
678 tcg_out_ldst(s, is32bit ? OPC_LW : OPC_LD, arg, arg1, arg2);
679}
680
681static void tcg_out_st(TCGContext *s, TCGType type, TCGReg arg,
682 TCGReg arg1, intptr_t arg2)
683{
684 bool is32bit = (TCG_TARGET_REG_BITS == 32 || type == TCG_TYPE_I32);
685 tcg_out_ldst(s, is32bit ? OPC_SW : OPC_SD, arg, arg1, arg2);
686}
687
688static bool tcg_out_sti(TCGContext *s, TCGType type, TCGArg val,
689 TCGReg base, intptr_t ofs)
690{
691 if (val == 0) {
692 tcg_out_st(s, type, TCG_REG_ZERO, base, ofs);
693 return true;
694 }
695 return false;
696}
28ca738e
AF
697
698static void tcg_out_addsub2(TCGContext *s,
699 TCGReg rl, TCGReg rh,
700 TCGReg al, TCGReg ah,
701 TCGArg bl, TCGArg bh,
702 bool cbl, bool cbh, bool is_sub, bool is32bit)
703{
704 const RISCVInsn opc_add = is32bit ? OPC_ADDW : OPC_ADD;
705 const RISCVInsn opc_addi = is32bit ? OPC_ADDIW : OPC_ADDI;
706 const RISCVInsn opc_sub = is32bit ? OPC_SUBW : OPC_SUB;
707 TCGReg th = TCG_REG_TMP1;
708
709 /* If we have a negative constant such that negating it would
710 make the high part zero, we can (usually) eliminate one insn. */
711 if (cbl && cbh && bh == -1 && bl != 0) {
712 bl = -bl;
713 bh = 0;
714 is_sub = !is_sub;
715 }
716
717 /* By operating on the high part first, we get to use the final
718 carry operation to move back from the temporary. */
719 if (!cbh) {
720 tcg_out_opc_reg(s, (is_sub ? opc_sub : opc_add), th, ah, bh);
721 } else if (bh != 0 || ah == rl) {
722 tcg_out_opc_imm(s, opc_addi, th, ah, (is_sub ? -bh : bh));
723 } else {
724 th = ah;
725 }
726
727 /* Note that tcg optimization should eliminate the bl == 0 case. */
728 if (is_sub) {
729 if (cbl) {
730 tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, al, bl);
731 tcg_out_opc_imm(s, opc_addi, rl, al, -bl);
732 } else {
733 tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0, al, bl);
734 tcg_out_opc_reg(s, opc_sub, rl, al, bl);
735 }
736 tcg_out_opc_reg(s, opc_sub, rh, th, TCG_REG_TMP0);
737 } else {
738 if (cbl) {
739 tcg_out_opc_imm(s, opc_addi, rl, al, bl);
740 tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, rl, bl);
741 } else if (rl == al && rl == bl) {
742 tcg_out_opc_imm(s, OPC_SLTI, TCG_REG_TMP0, al, 0);
743 tcg_out_opc_reg(s, opc_addi, rl, al, bl);
744 } else {
745 tcg_out_opc_reg(s, opc_add, rl, al, bl);
746 tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0,
747 rl, (rl == bl ? al : bl));
748 }
749 tcg_out_opc_reg(s, opc_add, rh, th, TCG_REG_TMP0);
750 }
751}
15840069
AF
752
753static const struct {
754 RISCVInsn op;
755 bool swap;
756} tcg_brcond_to_riscv[] = {
757 [TCG_COND_EQ] = { OPC_BEQ, false },
758 [TCG_COND_NE] = { OPC_BNE, false },
759 [TCG_COND_LT] = { OPC_BLT, false },
760 [TCG_COND_GE] = { OPC_BGE, false },
761 [TCG_COND_LE] = { OPC_BGE, true },
762 [TCG_COND_GT] = { OPC_BLT, true },
763 [TCG_COND_LTU] = { OPC_BLTU, false },
764 [TCG_COND_GEU] = { OPC_BGEU, false },
765 [TCG_COND_LEU] = { OPC_BGEU, true },
766 [TCG_COND_GTU] = { OPC_BLTU, true }
767};
768
769static void tcg_out_brcond(TCGContext *s, TCGCond cond, TCGReg arg1,
770 TCGReg arg2, TCGLabel *l)
771{
772 RISCVInsn op = tcg_brcond_to_riscv[cond].op;
773
774 tcg_debug_assert(op != 0);
775
776 if (tcg_brcond_to_riscv[cond].swap) {
777 TCGReg t = arg1;
778 arg1 = arg2;
779 arg2 = t;
780 }
781
782 if (l->has_value) {
783 intptr_t diff = tcg_pcrel_diff(s, l->u.value_ptr);
784 if (diff == sextreg(diff, 0, 12)) {
785 tcg_out_opc_branch(s, op, arg1, arg2, diff);
786 } else {
787 /* Invert the conditional branch. */
788 tcg_out_opc_branch(s, op ^ (1 << 12), arg1, arg2, 8);
789 tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, diff - 4);
790 }
791 } else {
792 tcg_out_reloc(s, s->code_ptr, R_RISCV_BRANCH, l, 0);
793 tcg_out_opc_branch(s, op, arg1, arg2, 0);
794 /* NOP to allow patching later */
795 tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_ZERO, TCG_REG_ZERO, 0);
796 }
797}
798
799static void tcg_out_setcond(TCGContext *s, TCGCond cond, TCGReg ret,
800 TCGReg arg1, TCGReg arg2)
801{
802 switch (cond) {
803 case TCG_COND_EQ:
804 tcg_out_opc_reg(s, OPC_SUB, ret, arg1, arg2);
805 tcg_out_opc_imm(s, OPC_SLTIU, ret, ret, 1);
806 break;
807 case TCG_COND_NE:
808 tcg_out_opc_reg(s, OPC_SUB, ret, arg1, arg2);
809 tcg_out_opc_reg(s, OPC_SLTU, ret, TCG_REG_ZERO, ret);
810 break;
811 case TCG_COND_LT:
812 tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2);
813 break;
814 case TCG_COND_GE:
815 tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2);
816 tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
817 break;
818 case TCG_COND_LE:
819 tcg_out_opc_reg(s, OPC_SLT, ret, arg2, arg1);
820 tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
821 break;
822 case TCG_COND_GT:
823 tcg_out_opc_reg(s, OPC_SLT, ret, arg2, arg1);
824 break;
825 case TCG_COND_LTU:
826 tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2);
827 break;
828 case TCG_COND_GEU:
829 tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2);
830 tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
831 break;
832 case TCG_COND_LEU:
833 tcg_out_opc_reg(s, OPC_SLTU, ret, arg2, arg1);
834 tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
835 break;
836 case TCG_COND_GTU:
837 tcg_out_opc_reg(s, OPC_SLTU, ret, arg2, arg1);
838 break;
839 default:
840 g_assert_not_reached();
841 break;
842 }
843}
844
845static void tcg_out_brcond2(TCGContext *s, TCGCond cond, TCGReg al, TCGReg ah,
846 TCGReg bl, TCGReg bh, TCGLabel *l)
847{
848 /* todo */
849 g_assert_not_reached();
850}
851
852static void tcg_out_setcond2(TCGContext *s, TCGCond cond, TCGReg ret,
853 TCGReg al, TCGReg ah, TCGReg bl, TCGReg bh)
854{
855 /* todo */
856 g_assert_not_reached();
857}
858
2be7d76b 859static void tcg_out_call_int(TCGContext *s, const tcg_insn_unit *arg, bool tail)
15840069
AF
860{
861 TCGReg link = tail ? TCG_REG_ZERO : TCG_REG_RA;
862 ptrdiff_t offset = tcg_pcrel_diff(s, arg);
863 int ret;
864
844d0442
RH
865 tcg_debug_assert((offset & 1) == 0);
866 if (offset == sextreg(offset, 0, 20)) {
15840069
AF
867 /* short jump: -2097150 to 2097152 */
868 tcg_out_opc_jump(s, OPC_JAL, link, offset);
844d0442 869 } else if (TCG_TARGET_REG_BITS == 32 || offset == (int32_t)offset) {
15840069
AF
870 /* long jump: -2147483646 to 2147483648 */
871 tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP0, 0);
872 tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, 0);
844d0442 873 ret = reloc_call(s->code_ptr - 2, arg);
15840069
AF
874 tcg_debug_assert(ret == true);
875 } else if (TCG_TARGET_REG_BITS == 64) {
876 /* far jump: 64-bit */
877 tcg_target_long imm = sextreg((tcg_target_long)arg, 0, 12);
878 tcg_target_long base = (tcg_target_long)arg - imm;
879 tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP0, base);
880 tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, imm);
881 } else {
882 g_assert_not_reached();
883 }
884}
885
2be7d76b 886static void tcg_out_call(TCGContext *s, const tcg_insn_unit *arg)
15840069
AF
887{
888 tcg_out_call_int(s, arg, false);
889}
efbea94c
AF
890
891static void tcg_out_mb(TCGContext *s, TCGArg a0)
892{
893 tcg_insn_unit insn = OPC_FENCE;
894
895 if (a0 & TCG_MO_LD_LD) {
896 insn |= 0x02200000;
897 }
898 if (a0 & TCG_MO_ST_LD) {
899 insn |= 0x01200000;
900 }
901 if (a0 & TCG_MO_LD_ST) {
902 insn |= 0x02100000;
903 }
904 if (a0 & TCG_MO_ST_ST) {
905 insn |= 0x02200000;
906 }
907 tcg_out32(s, insn);
908}
909
910/*
911 * Load/store and TLB
912 */
913
914#if defined(CONFIG_SOFTMMU)
139c1837 915#include "../tcg-ldst.c.inc"
efbea94c
AF
916
917/* helper signature: helper_ret_ld_mmu(CPUState *env, target_ulong addr,
918 * TCGMemOpIdx oi, uintptr_t ra)
919 */
920static void * const qemu_ld_helpers[16] = {
921 [MO_UB] = helper_ret_ldub_mmu,
922 [MO_SB] = helper_ret_ldsb_mmu,
923 [MO_LEUW] = helper_le_lduw_mmu,
924 [MO_LESW] = helper_le_ldsw_mmu,
925 [MO_LEUL] = helper_le_ldul_mmu,
926#if TCG_TARGET_REG_BITS == 64
927 [MO_LESL] = helper_le_ldsl_mmu,
928#endif
929 [MO_LEQ] = helper_le_ldq_mmu,
930 [MO_BEUW] = helper_be_lduw_mmu,
931 [MO_BESW] = helper_be_ldsw_mmu,
932 [MO_BEUL] = helper_be_ldul_mmu,
933#if TCG_TARGET_REG_BITS == 64
934 [MO_BESL] = helper_be_ldsl_mmu,
935#endif
936 [MO_BEQ] = helper_be_ldq_mmu,
937};
938
939/* helper signature: helper_ret_st_mmu(CPUState *env, target_ulong addr,
940 * uintxx_t val, TCGMemOpIdx oi,
941 * uintptr_t ra)
942 */
943static void * const qemu_st_helpers[16] = {
944 [MO_UB] = helper_ret_stb_mmu,
945 [MO_LEUW] = helper_le_stw_mmu,
946 [MO_LEUL] = helper_le_stl_mmu,
947 [MO_LEQ] = helper_le_stq_mmu,
948 [MO_BEUW] = helper_be_stw_mmu,
949 [MO_BEUL] = helper_be_stl_mmu,
950 [MO_BEQ] = helper_be_stq_mmu,
951};
952
41b70f22
RH
953/* We don't support oversize guests */
954QEMU_BUILD_BUG_ON(TCG_TARGET_REG_BITS < TARGET_LONG_BITS);
955
269bd5d8
RH
956/* We expect to use a 12-bit negative offset from ENV. */
957QEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) > 0);
958QEMU_BUILD_BUG_ON(TLB_MASK_TABLE_OFS(0) < -(1 << 11));
959
844d0442
RH
960static void tcg_out_goto(TCGContext *s, tcg_insn_unit *target)
961{
962 tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
963 bool ok = reloc_jimm20(s->code_ptr - 1, target);
964 tcg_debug_assert(ok);
965}
966
efbea94c
AF
967static void tcg_out_tlb_load(TCGContext *s, TCGReg addrl,
968 TCGReg addrh, TCGMemOpIdx oi,
969 tcg_insn_unit **label_ptr, bool is_load)
970{
14776ab5 971 MemOp opc = get_memop(oi);
efbea94c
AF
972 unsigned s_bits = opc & MO_SIZE;
973 unsigned a_bits = get_alignment_bits(opc);
41b70f22 974 tcg_target_long compare_mask;
efbea94c 975 int mem_index = get_mmuidx(oi);
269bd5d8
RH
976 int fast_ofs = TLB_MASK_TABLE_OFS(mem_index);
977 int mask_ofs = fast_ofs + offsetof(CPUTLBDescFast, mask);
978 int table_ofs = fast_ofs + offsetof(CPUTLBDescFast, table);
41b70f22
RH
979 TCGReg mask_base = TCG_AREG0, table_base = TCG_AREG0;
980
7ab7e9c7
AF
981 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, mask_base, mask_ofs);
982 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP1, table_base, table_ofs);
efbea94c 983
41b70f22
RH
984 tcg_out_opc_imm(s, OPC_SRLI, TCG_REG_TMP2, addrl,
985 TARGET_PAGE_BITS - CPU_TLB_ENTRY_BITS);
986 tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP0);
987 tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP1);
efbea94c
AF
988
989 /* Load the tlb comparator and the addend. */
41b70f22
RH
990 tcg_out_ld(s, TCG_TYPE_TL, TCG_REG_TMP0, TCG_REG_TMP2,
991 is_load ? offsetof(CPUTLBEntry, addr_read)
992 : offsetof(CPUTLBEntry, addr_write));
993 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP2, TCG_REG_TMP2,
994 offsetof(CPUTLBEntry, addend));
efbea94c 995
41b70f22
RH
996 /* We don't support unaligned accesses. */
997 if (a_bits < s_bits) {
998 a_bits = s_bits;
999 }
efbea94c 1000 /* Clear the non-page, non-alignment bits from the address. */
41b70f22
RH
1001 compare_mask = (tcg_target_long)TARGET_PAGE_MASK | ((1 << a_bits) - 1);
1002 if (compare_mask == sextreg(compare_mask, 0, 12)) {
1003 tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addrl, compare_mask);
efbea94c 1004 } else {
41b70f22 1005 tcg_out_movi(s, TCG_TYPE_TL, TCG_REG_TMP1, compare_mask);
efbea94c 1006 tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP1, TCG_REG_TMP1, addrl);
41b70f22 1007 }
efbea94c
AF
1008
1009 /* Compare masked address with the TLB entry. */
1010 label_ptr[0] = s->code_ptr;
1011 tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP0, TCG_REG_TMP1, 0);
1012 /* NOP to allow patching later */
1013 tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_ZERO, TCG_REG_ZERO, 0);
efbea94c
AF
1014
1015 /* TLB Hit - translate address using addend. */
1016 if (TCG_TARGET_REG_BITS > TARGET_LONG_BITS) {
1017 tcg_out_ext32u(s, TCG_REG_TMP0, addrl);
1018 addrl = TCG_REG_TMP0;
1019 }
1020 tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, TCG_REG_TMP2, addrl);
1021}
1022
1023static void add_qemu_ldst_label(TCGContext *s, int is_ld, TCGMemOpIdx oi,
1024 TCGType ext,
1025 TCGReg datalo, TCGReg datahi,
1026 TCGReg addrlo, TCGReg addrhi,
1027 void *raddr, tcg_insn_unit **label_ptr)
1028{
1029 TCGLabelQemuLdst *label = new_ldst_label(s);
1030
1031 label->is_ld = is_ld;
1032 label->oi = oi;
1033 label->type = ext;
1034 label->datalo_reg = datalo;
1035 label->datahi_reg = datahi;
1036 label->addrlo_reg = addrlo;
1037 label->addrhi_reg = addrhi;
1038 label->raddr = raddr;
1039 label->label_ptr[0] = label_ptr[0];
1040}
1041
aeee05f5 1042static bool tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
efbea94c
AF
1043{
1044 TCGMemOpIdx oi = l->oi;
14776ab5 1045 MemOp opc = get_memop(oi);
efbea94c
AF
1046 TCGReg a0 = tcg_target_call_iarg_regs[0];
1047 TCGReg a1 = tcg_target_call_iarg_regs[1];
1048 TCGReg a2 = tcg_target_call_iarg_regs[2];
1049 TCGReg a3 = tcg_target_call_iarg_regs[3];
1050
1051 /* We don't support oversize guests */
1052 if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
1053 g_assert_not_reached();
1054 }
1055
1056 /* resolve label address */
aeee05f5
RH
1057 if (!patch_reloc(l->label_ptr[0], R_RISCV_BRANCH,
1058 (intptr_t) s->code_ptr, 0)) {
1059 return false;
1060 }
efbea94c
AF
1061
1062 /* call load helper */
1063 tcg_out_mov(s, TCG_TYPE_PTR, a0, TCG_AREG0);
1064 tcg_out_mov(s, TCG_TYPE_PTR, a1, l->addrlo_reg);
1065 tcg_out_movi(s, TCG_TYPE_PTR, a2, oi);
1066 tcg_out_movi(s, TCG_TYPE_PTR, a3, (tcg_target_long)l->raddr);
1067
1068 tcg_out_call(s, qemu_ld_helpers[opc & (MO_BSWAP | MO_SSIZE)]);
1069 tcg_out_mov(s, (opc & MO_SIZE) == MO_64, l->datalo_reg, a0);
1070
1071 tcg_out_goto(s, l->raddr);
aeee05f5 1072 return true;
efbea94c
AF
1073}
1074
aeee05f5 1075static bool tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
efbea94c
AF
1076{
1077 TCGMemOpIdx oi = l->oi;
14776ab5
TN
1078 MemOp opc = get_memop(oi);
1079 MemOp s_bits = opc & MO_SIZE;
efbea94c
AF
1080 TCGReg a0 = tcg_target_call_iarg_regs[0];
1081 TCGReg a1 = tcg_target_call_iarg_regs[1];
1082 TCGReg a2 = tcg_target_call_iarg_regs[2];
1083 TCGReg a3 = tcg_target_call_iarg_regs[3];
1084 TCGReg a4 = tcg_target_call_iarg_regs[4];
1085
1086 /* We don't support oversize guests */
1087 if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
1088 g_assert_not_reached();
1089 }
1090
1091 /* resolve label address */
aeee05f5
RH
1092 if (!patch_reloc(l->label_ptr[0], R_RISCV_BRANCH,
1093 (intptr_t) s->code_ptr, 0)) {
1094 return false;
1095 }
efbea94c
AF
1096
1097 /* call store helper */
1098 tcg_out_mov(s, TCG_TYPE_PTR, a0, TCG_AREG0);
1099 tcg_out_mov(s, TCG_TYPE_PTR, a1, l->addrlo_reg);
1100 tcg_out_mov(s, TCG_TYPE_PTR, a2, l->datalo_reg);
1101 switch (s_bits) {
1102 case MO_8:
1103 tcg_out_ext8u(s, a2, a2);
1104 break;
1105 case MO_16:
1106 tcg_out_ext16u(s, a2, a2);
1107 break;
1108 default:
1109 break;
1110 }
1111 tcg_out_movi(s, TCG_TYPE_PTR, a3, oi);
1112 tcg_out_movi(s, TCG_TYPE_PTR, a4, (tcg_target_long)l->raddr);
1113
1114 tcg_out_call(s, qemu_st_helpers[opc & (MO_BSWAP | MO_SSIZE)]);
1115
1116 tcg_out_goto(s, l->raddr);
aeee05f5 1117 return true;
efbea94c
AF
1118}
1119#endif /* CONFIG_SOFTMMU */
03a7d021
AF
1120
1121static void tcg_out_qemu_ld_direct(TCGContext *s, TCGReg lo, TCGReg hi,
14776ab5 1122 TCGReg base, MemOp opc, bool is_64)
03a7d021 1123{
14776ab5 1124 const MemOp bswap = opc & MO_BSWAP;
03a7d021
AF
1125
1126 /* We don't yet handle byteswapping, assert */
1127 g_assert(!bswap);
1128
1129 switch (opc & (MO_SSIZE)) {
1130 case MO_UB:
1131 tcg_out_opc_imm(s, OPC_LBU, lo, base, 0);
1132 break;
1133 case MO_SB:
1134 tcg_out_opc_imm(s, OPC_LB, lo, base, 0);
1135 break;
1136 case MO_UW:
1137 tcg_out_opc_imm(s, OPC_LHU, lo, base, 0);
1138 break;
1139 case MO_SW:
1140 tcg_out_opc_imm(s, OPC_LH, lo, base, 0);
1141 break;
1142 case MO_UL:
1143 if (TCG_TARGET_REG_BITS == 64 && is_64) {
1144 tcg_out_opc_imm(s, OPC_LWU, lo, base, 0);
1145 break;
1146 }
1147 /* FALLTHRU */
1148 case MO_SL:
1149 tcg_out_opc_imm(s, OPC_LW, lo, base, 0);
1150 break;
1151 case MO_Q:
1152 /* Prefer to load from offset 0 first, but allow for overlap. */
1153 if (TCG_TARGET_REG_BITS == 64) {
1154 tcg_out_opc_imm(s, OPC_LD, lo, base, 0);
1155 } else if (lo != base) {
1156 tcg_out_opc_imm(s, OPC_LW, lo, base, 0);
1157 tcg_out_opc_imm(s, OPC_LW, hi, base, 4);
1158 } else {
1159 tcg_out_opc_imm(s, OPC_LW, hi, base, 4);
1160 tcg_out_opc_imm(s, OPC_LW, lo, base, 0);
1161 }
1162 break;
1163 default:
1164 g_assert_not_reached();
1165 }
1166}
1167
1168static void tcg_out_qemu_ld(TCGContext *s, const TCGArg *args, bool is_64)
1169{
1170 TCGReg addr_regl, addr_regh __attribute__((unused));
1171 TCGReg data_regl, data_regh;
1172 TCGMemOpIdx oi;
14776ab5 1173 MemOp opc;
03a7d021
AF
1174#if defined(CONFIG_SOFTMMU)
1175 tcg_insn_unit *label_ptr[1];
1176#endif
1177 TCGReg base = TCG_REG_TMP0;
1178
1179 data_regl = *args++;
1180 data_regh = (TCG_TARGET_REG_BITS == 32 && is_64 ? *args++ : 0);
1181 addr_regl = *args++;
1182 addr_regh = (TCG_TARGET_REG_BITS < TARGET_LONG_BITS ? *args++ : 0);
1183 oi = *args++;
1184 opc = get_memop(oi);
1185
1186#if defined(CONFIG_SOFTMMU)
1187 tcg_out_tlb_load(s, addr_regl, addr_regh, oi, label_ptr, 1);
1188 tcg_out_qemu_ld_direct(s, data_regl, data_regh, base, opc, is_64);
1189 add_qemu_ldst_label(s, 1, oi,
1190 (is_64 ? TCG_TYPE_I64 : TCG_TYPE_I32),
1191 data_regl, data_regh, addr_regl, addr_regh,
1192 s->code_ptr, label_ptr);
1193#else
1194 if (TCG_TARGET_REG_BITS > TARGET_LONG_BITS) {
1195 tcg_out_ext32u(s, base, addr_regl);
1196 addr_regl = base;
1197 }
1198
1199 if (guest_base == 0) {
1200 tcg_out_opc_reg(s, OPC_ADD, base, addr_regl, TCG_REG_ZERO);
1201 } else {
1202 tcg_out_opc_reg(s, OPC_ADD, base, TCG_GUEST_BASE_REG, addr_regl);
1203 }
1204 tcg_out_qemu_ld_direct(s, data_regl, data_regh, base, opc, is_64);
1205#endif
1206}
1207
1208static void tcg_out_qemu_st_direct(TCGContext *s, TCGReg lo, TCGReg hi,
14776ab5 1209 TCGReg base, MemOp opc)
03a7d021 1210{
14776ab5 1211 const MemOp bswap = opc & MO_BSWAP;
03a7d021
AF
1212
1213 /* We don't yet handle byteswapping, assert */
1214 g_assert(!bswap);
1215
1216 switch (opc & (MO_SSIZE)) {
1217 case MO_8:
1218 tcg_out_opc_store(s, OPC_SB, base, lo, 0);
1219 break;
1220 case MO_16:
1221 tcg_out_opc_store(s, OPC_SH, base, lo, 0);
1222 break;
1223 case MO_32:
1224 tcg_out_opc_store(s, OPC_SW, base, lo, 0);
1225 break;
1226 case MO_64:
1227 if (TCG_TARGET_REG_BITS == 64) {
1228 tcg_out_opc_store(s, OPC_SD, base, lo, 0);
1229 } else {
1230 tcg_out_opc_store(s, OPC_SW, base, lo, 0);
1231 tcg_out_opc_store(s, OPC_SW, base, hi, 4);
1232 }
1233 break;
1234 default:
1235 g_assert_not_reached();
1236 }
1237}
1238
1239static void tcg_out_qemu_st(TCGContext *s, const TCGArg *args, bool is_64)
1240{
1241 TCGReg addr_regl, addr_regh __attribute__((unused));
1242 TCGReg data_regl, data_regh;
1243 TCGMemOpIdx oi;
14776ab5 1244 MemOp opc;
03a7d021
AF
1245#if defined(CONFIG_SOFTMMU)
1246 tcg_insn_unit *label_ptr[1];
1247#endif
1248 TCGReg base = TCG_REG_TMP0;
1249
1250 data_regl = *args++;
1251 data_regh = (TCG_TARGET_REG_BITS == 32 && is_64 ? *args++ : 0);
1252 addr_regl = *args++;
1253 addr_regh = (TCG_TARGET_REG_BITS < TARGET_LONG_BITS ? *args++ : 0);
1254 oi = *args++;
1255 opc = get_memop(oi);
1256
1257#if defined(CONFIG_SOFTMMU)
1258 tcg_out_tlb_load(s, addr_regl, addr_regh, oi, label_ptr, 0);
1259 tcg_out_qemu_st_direct(s, data_regl, data_regh, base, opc);
1260 add_qemu_ldst_label(s, 0, oi,
1261 (is_64 ? TCG_TYPE_I64 : TCG_TYPE_I32),
1262 data_regl, data_regh, addr_regl, addr_regh,
1263 s->code_ptr, label_ptr);
1264#else
1265 if (TCG_TARGET_REG_BITS > TARGET_LONG_BITS) {
1266 tcg_out_ext32u(s, base, addr_regl);
1267 addr_regl = base;
1268 }
1269
1270 if (guest_base == 0) {
1271 tcg_out_opc_reg(s, OPC_ADD, base, addr_regl, TCG_REG_ZERO);
1272 } else {
1273 tcg_out_opc_reg(s, OPC_ADD, base, TCG_GUEST_BASE_REG, addr_regl);
1274 }
1275 tcg_out_qemu_st_direct(s, data_regl, data_regh, base, opc);
1276#endif
1277}
bdf50381
AF
1278
1279static tcg_insn_unit *tb_ret_addr;
1280
1281static void tcg_out_op(TCGContext *s, TCGOpcode opc,
1282 const TCGArg *args, const int *const_args)
1283{
1284 TCGArg a0 = args[0];
1285 TCGArg a1 = args[1];
1286 TCGArg a2 = args[2];
1287 int c2 = const_args[2];
1288
1289 switch (opc) {
1290 case INDEX_op_exit_tb:
1291 /* Reuse the zeroing that exists for goto_ptr. */
1292 if (a0 == 0) {
8b5c2b62 1293 tcg_out_call_int(s, tcg_code_gen_epilogue, true);
bdf50381
AF
1294 } else {
1295 tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_A0, a0);
1296 tcg_out_call_int(s, tb_ret_addr, true);
1297 }
1298 break;
1299
1300 case INDEX_op_goto_tb:
1301 assert(s->tb_jmp_insn_offset == 0);
1302 /* indirect jump method */
1303 tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_REG_ZERO,
1304 (uintptr_t)(s->tb_jmp_target_addr + a0));
1305 tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_TMP0, 0);
1306 set_jmp_reset_offset(s, a0);
1307 break;
1308
1309 case INDEX_op_goto_ptr:
1310 tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, a0, 0);
1311 break;
1312
1313 case INDEX_op_br:
1314 tcg_out_reloc(s, s->code_ptr, R_RISCV_JAL, arg_label(a0), 0);
1315 tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0);
1316 break;
1317
1318 case INDEX_op_ld8u_i32:
1319 case INDEX_op_ld8u_i64:
1320 tcg_out_ldst(s, OPC_LBU, a0, a1, a2);
1321 break;
1322 case INDEX_op_ld8s_i32:
1323 case INDEX_op_ld8s_i64:
1324 tcg_out_ldst(s, OPC_LB, a0, a1, a2);
1325 break;
1326 case INDEX_op_ld16u_i32:
1327 case INDEX_op_ld16u_i64:
1328 tcg_out_ldst(s, OPC_LHU, a0, a1, a2);
1329 break;
1330 case INDEX_op_ld16s_i32:
1331 case INDEX_op_ld16s_i64:
1332 tcg_out_ldst(s, OPC_LH, a0, a1, a2);
1333 break;
1334 case INDEX_op_ld32u_i64:
1335 tcg_out_ldst(s, OPC_LWU, a0, a1, a2);
1336 break;
1337 case INDEX_op_ld_i32:
1338 case INDEX_op_ld32s_i64:
1339 tcg_out_ldst(s, OPC_LW, a0, a1, a2);
1340 break;
1341 case INDEX_op_ld_i64:
1342 tcg_out_ldst(s, OPC_LD, a0, a1, a2);
1343 break;
1344
1345 case INDEX_op_st8_i32:
1346 case INDEX_op_st8_i64:
1347 tcg_out_ldst(s, OPC_SB, a0, a1, a2);
1348 break;
1349 case INDEX_op_st16_i32:
1350 case INDEX_op_st16_i64:
1351 tcg_out_ldst(s, OPC_SH, a0, a1, a2);
1352 break;
1353 case INDEX_op_st_i32:
1354 case INDEX_op_st32_i64:
1355 tcg_out_ldst(s, OPC_SW, a0, a1, a2);
1356 break;
1357 case INDEX_op_st_i64:
1358 tcg_out_ldst(s, OPC_SD, a0, a1, a2);
1359 break;
1360
1361 case INDEX_op_add_i32:
1362 if (c2) {
1363 tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, a2);
1364 } else {
1365 tcg_out_opc_reg(s, OPC_ADDW, a0, a1, a2);
1366 }
1367 break;
1368 case INDEX_op_add_i64:
1369 if (c2) {
1370 tcg_out_opc_imm(s, OPC_ADDI, a0, a1, a2);
1371 } else {
1372 tcg_out_opc_reg(s, OPC_ADD, a0, a1, a2);
1373 }
1374 break;
1375
1376 case INDEX_op_sub_i32:
1377 if (c2) {
1378 tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, -a2);
1379 } else {
1380 tcg_out_opc_reg(s, OPC_SUBW, a0, a1, a2);
1381 }
1382 break;
1383 case INDEX_op_sub_i64:
1384 if (c2) {
1385 tcg_out_opc_imm(s, OPC_ADDI, a0, a1, -a2);
1386 } else {
1387 tcg_out_opc_reg(s, OPC_SUB, a0, a1, a2);
1388 }
1389 break;
1390
1391 case INDEX_op_and_i32:
1392 case INDEX_op_and_i64:
1393 if (c2) {
1394 tcg_out_opc_imm(s, OPC_ANDI, a0, a1, a2);
1395 } else {
1396 tcg_out_opc_reg(s, OPC_AND, a0, a1, a2);
1397 }
1398 break;
1399
1400 case INDEX_op_or_i32:
1401 case INDEX_op_or_i64:
1402 if (c2) {
1403 tcg_out_opc_imm(s, OPC_ORI, a0, a1, a2);
1404 } else {
1405 tcg_out_opc_reg(s, OPC_OR, a0, a1, a2);
1406 }
1407 break;
1408
1409 case INDEX_op_xor_i32:
1410 case INDEX_op_xor_i64:
1411 if (c2) {
1412 tcg_out_opc_imm(s, OPC_XORI, a0, a1, a2);
1413 } else {
1414 tcg_out_opc_reg(s, OPC_XOR, a0, a1, a2);
1415 }
1416 break;
1417
1418 case INDEX_op_not_i32:
1419 case INDEX_op_not_i64:
1420 tcg_out_opc_imm(s, OPC_XORI, a0, a1, -1);
1421 break;
1422
1423 case INDEX_op_neg_i32:
1424 tcg_out_opc_reg(s, OPC_SUBW, a0, TCG_REG_ZERO, a1);
1425 break;
1426 case INDEX_op_neg_i64:
1427 tcg_out_opc_reg(s, OPC_SUB, a0, TCG_REG_ZERO, a1);
1428 break;
1429
1430 case INDEX_op_mul_i32:
1431 tcg_out_opc_reg(s, OPC_MULW, a0, a1, a2);
1432 break;
1433 case INDEX_op_mul_i64:
1434 tcg_out_opc_reg(s, OPC_MUL, a0, a1, a2);
1435 break;
1436
1437 case INDEX_op_div_i32:
1438 tcg_out_opc_reg(s, OPC_DIVW, a0, a1, a2);
1439 break;
1440 case INDEX_op_div_i64:
1441 tcg_out_opc_reg(s, OPC_DIV, a0, a1, a2);
1442 break;
1443
1444 case INDEX_op_divu_i32:
1445 tcg_out_opc_reg(s, OPC_DIVUW, a0, a1, a2);
1446 break;
1447 case INDEX_op_divu_i64:
1448 tcg_out_opc_reg(s, OPC_DIVU, a0, a1, a2);
1449 break;
1450
1451 case INDEX_op_rem_i32:
1452 tcg_out_opc_reg(s, OPC_REMW, a0, a1, a2);
1453 break;
1454 case INDEX_op_rem_i64:
1455 tcg_out_opc_reg(s, OPC_REM, a0, a1, a2);
1456 break;
1457
1458 case INDEX_op_remu_i32:
1459 tcg_out_opc_reg(s, OPC_REMUW, a0, a1, a2);
1460 break;
1461 case INDEX_op_remu_i64:
1462 tcg_out_opc_reg(s, OPC_REMU, a0, a1, a2);
1463 break;
1464
1465 case INDEX_op_shl_i32:
1466 if (c2) {
d2f3066e 1467 tcg_out_opc_imm(s, OPC_SLLIW, a0, a1, a2 & 0x1f);
bdf50381
AF
1468 } else {
1469 tcg_out_opc_reg(s, OPC_SLLW, a0, a1, a2);
1470 }
1471 break;
1472 case INDEX_op_shl_i64:
1473 if (c2) {
d2f3066e 1474 tcg_out_opc_imm(s, OPC_SLLI, a0, a1, a2 & 0x3f);
bdf50381
AF
1475 } else {
1476 tcg_out_opc_reg(s, OPC_SLL, a0, a1, a2);
1477 }
1478 break;
1479
1480 case INDEX_op_shr_i32:
1481 if (c2) {
d2f3066e 1482 tcg_out_opc_imm(s, OPC_SRLIW, a0, a1, a2 & 0x1f);
bdf50381
AF
1483 } else {
1484 tcg_out_opc_reg(s, OPC_SRLW, a0, a1, a2);
1485 }
1486 break;
1487 case INDEX_op_shr_i64:
1488 if (c2) {
d2f3066e 1489 tcg_out_opc_imm(s, OPC_SRLI, a0, a1, a2 & 0x3f);
bdf50381
AF
1490 } else {
1491 tcg_out_opc_reg(s, OPC_SRL, a0, a1, a2);
1492 }
1493 break;
1494
1495 case INDEX_op_sar_i32:
1496 if (c2) {
d2f3066e 1497 tcg_out_opc_imm(s, OPC_SRAIW, a0, a1, a2 & 0x1f);
bdf50381
AF
1498 } else {
1499 tcg_out_opc_reg(s, OPC_SRAW, a0, a1, a2);
1500 }
1501 break;
1502 case INDEX_op_sar_i64:
1503 if (c2) {
d2f3066e 1504 tcg_out_opc_imm(s, OPC_SRAI, a0, a1, a2 & 0x3f);
bdf50381
AF
1505 } else {
1506 tcg_out_opc_reg(s, OPC_SRA, a0, a1, a2);
1507 }
1508 break;
1509
1510 case INDEX_op_add2_i32:
1511 tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1512 const_args[4], const_args[5], false, true);
1513 break;
1514 case INDEX_op_add2_i64:
1515 tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1516 const_args[4], const_args[5], false, false);
1517 break;
1518 case INDEX_op_sub2_i32:
1519 tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1520 const_args[4], const_args[5], true, true);
1521 break;
1522 case INDEX_op_sub2_i64:
1523 tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
1524 const_args[4], const_args[5], true, false);
1525 break;
1526
1527 case INDEX_op_brcond_i32:
1528 case INDEX_op_brcond_i64:
1529 tcg_out_brcond(s, a2, a0, a1, arg_label(args[3]));
1530 break;
1531 case INDEX_op_brcond2_i32:
1532 tcg_out_brcond2(s, args[4], a0, a1, a2, args[3], arg_label(args[5]));
1533 break;
1534
1535 case INDEX_op_setcond_i32:
1536 case INDEX_op_setcond_i64:
1537 tcg_out_setcond(s, args[3], a0, a1, a2);
1538 break;
1539 case INDEX_op_setcond2_i32:
1540 tcg_out_setcond2(s, args[5], a0, a1, a2, args[3], args[4]);
1541 break;
1542
1543 case INDEX_op_qemu_ld_i32:
1544 tcg_out_qemu_ld(s, args, false);
1545 break;
1546 case INDEX_op_qemu_ld_i64:
1547 tcg_out_qemu_ld(s, args, true);
1548 break;
1549 case INDEX_op_qemu_st_i32:
1550 tcg_out_qemu_st(s, args, false);
1551 break;
1552 case INDEX_op_qemu_st_i64:
1553 tcg_out_qemu_st(s, args, true);
1554 break;
1555
1556 case INDEX_op_ext8u_i32:
1557 case INDEX_op_ext8u_i64:
1558 tcg_out_ext8u(s, a0, a1);
1559 break;
1560
1561 case INDEX_op_ext16u_i32:
1562 case INDEX_op_ext16u_i64:
1563 tcg_out_ext16u(s, a0, a1);
1564 break;
1565
1566 case INDEX_op_ext32u_i64:
1567 case INDEX_op_extu_i32_i64:
1568 tcg_out_ext32u(s, a0, a1);
1569 break;
1570
1571 case INDEX_op_ext8s_i32:
1572 case INDEX_op_ext8s_i64:
1573 tcg_out_ext8s(s, a0, a1);
1574 break;
1575
1576 case INDEX_op_ext16s_i32:
1577 case INDEX_op_ext16s_i64:
1578 tcg_out_ext16s(s, a0, a1);
1579 break;
1580
1581 case INDEX_op_ext32s_i64:
1582 case INDEX_op_extrl_i64_i32:
1583 case INDEX_op_ext_i32_i64:
1584 tcg_out_ext32s(s, a0, a1);
1585 break;
1586
1587 case INDEX_op_extrh_i64_i32:
1588 tcg_out_opc_imm(s, OPC_SRAI, a0, a1, 32);
1589 break;
1590
1591 case INDEX_op_mulsh_i32:
1592 case INDEX_op_mulsh_i64:
1593 tcg_out_opc_reg(s, OPC_MULH, a0, a1, a2);
1594 break;
1595
1596 case INDEX_op_muluh_i32:
1597 case INDEX_op_muluh_i64:
1598 tcg_out_opc_reg(s, OPC_MULHU, a0, a1, a2);
1599 break;
1600
1601 case INDEX_op_mb:
1602 tcg_out_mb(s, a0);
1603 break;
1604
1605 case INDEX_op_mov_i32: /* Always emitted via tcg_out_mov. */
1606 case INDEX_op_mov_i64:
1607 case INDEX_op_movi_i32: /* Always emitted via tcg_out_movi. */
1608 case INDEX_op_movi_i64:
1609 case INDEX_op_call: /* Always emitted via tcg_out_call. */
1610 default:
1611 g_assert_not_reached();
1612 }
1613}
1614
1615static const TCGTargetOpDef *tcg_target_op_def(TCGOpcode op)
1616{
1617 static const TCGTargetOpDef r
1618 = { .args_ct_str = { "r" } };
1619 static const TCGTargetOpDef r_r
1620 = { .args_ct_str = { "r", "r" } };
1621 static const TCGTargetOpDef rZ_r
1622 = { .args_ct_str = { "rZ", "r" } };
1623 static const TCGTargetOpDef rZ_rZ
1624 = { .args_ct_str = { "rZ", "rZ" } };
1625 static const TCGTargetOpDef rZ_rZ_rZ_rZ
1626 = { .args_ct_str = { "rZ", "rZ", "rZ", "rZ" } };
1627 static const TCGTargetOpDef r_r_ri
1628 = { .args_ct_str = { "r", "r", "ri" } };
1629 static const TCGTargetOpDef r_r_rI
1630 = { .args_ct_str = { "r", "r", "rI" } };
1631 static const TCGTargetOpDef r_rZ_rN
1632 = { .args_ct_str = { "r", "rZ", "rN" } };
1633 static const TCGTargetOpDef r_rZ_rZ
1634 = { .args_ct_str = { "r", "rZ", "rZ" } };
1635 static const TCGTargetOpDef r_rZ_rZ_rZ_rZ
1636 = { .args_ct_str = { "r", "rZ", "rZ", "rZ", "rZ" } };
1637 static const TCGTargetOpDef r_L
1638 = { .args_ct_str = { "r", "L" } };
1639 static const TCGTargetOpDef r_r_L
1640 = { .args_ct_str = { "r", "r", "L" } };
1641 static const TCGTargetOpDef r_L_L
1642 = { .args_ct_str = { "r", "L", "L" } };
1643 static const TCGTargetOpDef r_r_L_L
1644 = { .args_ct_str = { "r", "r", "L", "L" } };
1645 static const TCGTargetOpDef LZ_L
1646 = { .args_ct_str = { "LZ", "L" } };
1647 static const TCGTargetOpDef LZ_L_L
1648 = { .args_ct_str = { "LZ", "L", "L" } };
1649 static const TCGTargetOpDef LZ_LZ_L
1650 = { .args_ct_str = { "LZ", "LZ", "L" } };
1651 static const TCGTargetOpDef LZ_LZ_L_L
1652 = { .args_ct_str = { "LZ", "LZ", "L", "L" } };
1653 static const TCGTargetOpDef r_r_rZ_rZ_rM_rM
1654 = { .args_ct_str = { "r", "r", "rZ", "rZ", "rM", "rM" } };
1655
1656 switch (op) {
1657 case INDEX_op_goto_ptr:
1658 return &r;
1659
1660 case INDEX_op_ld8u_i32:
1661 case INDEX_op_ld8s_i32:
1662 case INDEX_op_ld16u_i32:
1663 case INDEX_op_ld16s_i32:
1664 case INDEX_op_ld_i32:
1665 case INDEX_op_not_i32:
1666 case INDEX_op_neg_i32:
1667 case INDEX_op_ld8u_i64:
1668 case INDEX_op_ld8s_i64:
1669 case INDEX_op_ld16u_i64:
1670 case INDEX_op_ld16s_i64:
1671 case INDEX_op_ld32s_i64:
1672 case INDEX_op_ld32u_i64:
1673 case INDEX_op_ld_i64:
1674 case INDEX_op_not_i64:
1675 case INDEX_op_neg_i64:
1676 case INDEX_op_ext8u_i32:
1677 case INDEX_op_ext8u_i64:
1678 case INDEX_op_ext16u_i32:
1679 case INDEX_op_ext16u_i64:
1680 case INDEX_op_ext32u_i64:
1681 case INDEX_op_extu_i32_i64:
1682 case INDEX_op_ext8s_i32:
1683 case INDEX_op_ext8s_i64:
1684 case INDEX_op_ext16s_i32:
1685 case INDEX_op_ext16s_i64:
1686 case INDEX_op_ext32s_i64:
1687 case INDEX_op_extrl_i64_i32:
1688 case INDEX_op_extrh_i64_i32:
1689 case INDEX_op_ext_i32_i64:
1690 return &r_r;
1691
1692 case INDEX_op_st8_i32:
1693 case INDEX_op_st16_i32:
1694 case INDEX_op_st_i32:
1695 case INDEX_op_st8_i64:
1696 case INDEX_op_st16_i64:
1697 case INDEX_op_st32_i64:
1698 case INDEX_op_st_i64:
1699 return &rZ_r;
1700
1701 case INDEX_op_add_i32:
1702 case INDEX_op_and_i32:
1703 case INDEX_op_or_i32:
1704 case INDEX_op_xor_i32:
1705 case INDEX_op_add_i64:
1706 case INDEX_op_and_i64:
1707 case INDEX_op_or_i64:
1708 case INDEX_op_xor_i64:
1709 return &r_r_rI;
1710
1711 case INDEX_op_sub_i32:
1712 case INDEX_op_sub_i64:
1713 return &r_rZ_rN;
1714
1715 case INDEX_op_mul_i32:
1716 case INDEX_op_mulsh_i32:
1717 case INDEX_op_muluh_i32:
1718 case INDEX_op_div_i32:
1719 case INDEX_op_divu_i32:
1720 case INDEX_op_rem_i32:
1721 case INDEX_op_remu_i32:
1722 case INDEX_op_setcond_i32:
1723 case INDEX_op_mul_i64:
1724 case INDEX_op_mulsh_i64:
1725 case INDEX_op_muluh_i64:
1726 case INDEX_op_div_i64:
1727 case INDEX_op_divu_i64:
1728 case INDEX_op_rem_i64:
1729 case INDEX_op_remu_i64:
1730 case INDEX_op_setcond_i64:
1731 return &r_rZ_rZ;
1732
1733 case INDEX_op_shl_i32:
1734 case INDEX_op_shr_i32:
1735 case INDEX_op_sar_i32:
1736 case INDEX_op_shl_i64:
1737 case INDEX_op_shr_i64:
1738 case INDEX_op_sar_i64:
1739 return &r_r_ri;
1740
1741 case INDEX_op_brcond_i32:
1742 case INDEX_op_brcond_i64:
1743 return &rZ_rZ;
1744
1745 case INDEX_op_add2_i32:
1746 case INDEX_op_add2_i64:
1747 case INDEX_op_sub2_i32:
1748 case INDEX_op_sub2_i64:
1749 return &r_r_rZ_rZ_rM_rM;
1750
1751 case INDEX_op_brcond2_i32:
1752 return &rZ_rZ_rZ_rZ;
1753
1754 case INDEX_op_setcond2_i32:
1755 return &r_rZ_rZ_rZ_rZ;
1756
1757 case INDEX_op_qemu_ld_i32:
1758 return TARGET_LONG_BITS <= TCG_TARGET_REG_BITS ? &r_L : &r_L_L;
1759 case INDEX_op_qemu_st_i32:
1760 return TARGET_LONG_BITS <= TCG_TARGET_REG_BITS ? &LZ_L : &LZ_L_L;
1761 case INDEX_op_qemu_ld_i64:
1762 return TCG_TARGET_REG_BITS == 64 ? &r_L
1763 : TARGET_LONG_BITS <= TCG_TARGET_REG_BITS ? &r_r_L
1764 : &r_r_L_L;
1765 case INDEX_op_qemu_st_i64:
1766 return TCG_TARGET_REG_BITS == 64 ? &LZ_L
1767 : TARGET_LONG_BITS <= TCG_TARGET_REG_BITS ? &LZ_LZ_L
1768 : &LZ_LZ_L_L;
1769
1770 default:
1771 return NULL;
1772 }
1773}
92c041c5
AF
1774
1775static const int tcg_target_callee_save_regs[] = {
1776 TCG_REG_S0, /* used for the global env (TCG_AREG0) */
1777 TCG_REG_S1,
1778 TCG_REG_S2,
1779 TCG_REG_S3,
1780 TCG_REG_S4,
1781 TCG_REG_S5,
1782 TCG_REG_S6,
1783 TCG_REG_S7,
1784 TCG_REG_S8,
1785 TCG_REG_S9,
1786 TCG_REG_S10,
1787 TCG_REG_S11,
1788 TCG_REG_RA, /* should be last for ABI compliance */
1789};
1790
1791/* Stack frame parameters. */
1792#define REG_SIZE (TCG_TARGET_REG_BITS / 8)
1793#define SAVE_SIZE ((int)ARRAY_SIZE(tcg_target_callee_save_regs) * REG_SIZE)
1794#define TEMP_SIZE (CPU_TEMP_BUF_NLONGS * (int)sizeof(long))
1795#define FRAME_SIZE ((TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE + SAVE_SIZE \
1796 + TCG_TARGET_STACK_ALIGN - 1) \
1797 & -TCG_TARGET_STACK_ALIGN)
1798#define SAVE_OFS (TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE)
1799
1800/* We're expecting to be able to use an immediate for frame allocation. */
1801QEMU_BUILD_BUG_ON(FRAME_SIZE > 0x7ff);
1802
1803/* Generate global QEMU prologue and epilogue code */
1804static void tcg_target_qemu_prologue(TCGContext *s)
1805{
1806 int i;
1807
1808 tcg_set_frame(s, TCG_REG_SP, TCG_STATIC_CALL_ARGS_SIZE, TEMP_SIZE);
1809
1810 /* TB prologue */
1811 tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, -FRAME_SIZE);
1812 for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
1813 tcg_out_st(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1814 TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
1815 }
1816
1817#if !defined(CONFIG_SOFTMMU)
1818 tcg_out_movi(s, TCG_TYPE_PTR, TCG_GUEST_BASE_REG, guest_base);
1819 tcg_regset_set_reg(s->reserved_regs, TCG_GUEST_BASE_REG);
1820#endif
1821
1822 /* Call generated code */
1823 tcg_out_mov(s, TCG_TYPE_PTR, TCG_AREG0, tcg_target_call_iarg_regs[0]);
1824 tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, tcg_target_call_iarg_regs[1], 0);
1825
1826 /* Return path for goto_ptr. Set return value to 0 */
8b5c2b62 1827 tcg_code_gen_epilogue = s->code_ptr;
92c041c5
AF
1828 tcg_out_mov(s, TCG_TYPE_REG, TCG_REG_A0, TCG_REG_ZERO);
1829
1830 /* TB epilogue */
1831 tb_ret_addr = s->code_ptr;
1832 for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
1833 tcg_out_ld(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
1834 TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
1835 }
1836
1837 tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, FRAME_SIZE);
1838 tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_RA, 0);
1839}
1840
7a5549f2
AF
1841static void tcg_target_init(TCGContext *s)
1842{
1843 tcg_target_available_regs[TCG_TYPE_I32] = 0xffffffff;
1844 if (TCG_TARGET_REG_BITS == 64) {
1845 tcg_target_available_regs[TCG_TYPE_I64] = 0xffffffff;
1846 }
1847
1848 tcg_target_call_clobber_regs = -1u;
1849 tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S0);
1850 tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S1);
1851 tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S2);
1852 tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S3);
1853 tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S4);
1854 tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S5);
1855 tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S6);
1856 tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S7);
1857 tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S8);
1858 tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S9);
1859 tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S10);
1860 tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S11);
1861
1862 s->reserved_regs = 0;
1863 tcg_regset_set_reg(s->reserved_regs, TCG_REG_ZERO);
1864 tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP0);
1865 tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP1);
1866 tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP2);
1867 tcg_regset_set_reg(s->reserved_regs, TCG_REG_SP);
1868 tcg_regset_set_reg(s->reserved_regs, TCG_REG_GP);
1869 tcg_regset_set_reg(s->reserved_regs, TCG_REG_TP);
1870}
1871
92c041c5
AF
1872typedef struct {
1873 DebugFrameHeader h;
1874 uint8_t fde_def_cfa[4];
1875 uint8_t fde_reg_ofs[ARRAY_SIZE(tcg_target_callee_save_regs) * 2];
1876} DebugFrame;
1877
1878#define ELF_HOST_MACHINE EM_RISCV
1879
1880static const DebugFrame debug_frame = {
1881 .h.cie.len = sizeof(DebugFrameCIE) - 4, /* length after .len member */
1882 .h.cie.id = -1,
1883 .h.cie.version = 1,
1884 .h.cie.code_align = 1,
1885 .h.cie.data_align = -(TCG_TARGET_REG_BITS / 8) & 0x7f, /* sleb128 */
1886 .h.cie.return_column = TCG_REG_RA,
1887
1888 /* Total FDE size does not include the "len" member. */
1889 .h.fde.len = sizeof(DebugFrame) - offsetof(DebugFrame, h.fde.cie_offset),
1890
1891 .fde_def_cfa = {
1892 12, TCG_REG_SP, /* DW_CFA_def_cfa sp, ... */
1893 (FRAME_SIZE & 0x7f) | 0x80, /* ... uleb128 FRAME_SIZE */
1894 (FRAME_SIZE >> 7)
1895 },
1896 .fde_reg_ofs = {
1897 0x80 + 9, 12, /* DW_CFA_offset, s1, -96 */
1898 0x80 + 18, 11, /* DW_CFA_offset, s2, -88 */
1899 0x80 + 19, 10, /* DW_CFA_offset, s3, -80 */
1900 0x80 + 20, 9, /* DW_CFA_offset, s4, -72 */
1901 0x80 + 21, 8, /* DW_CFA_offset, s5, -64 */
1902 0x80 + 22, 7, /* DW_CFA_offset, s6, -56 */
1903 0x80 + 23, 6, /* DW_CFA_offset, s7, -48 */
1904 0x80 + 24, 5, /* DW_CFA_offset, s8, -40 */
1905 0x80 + 25, 4, /* DW_CFA_offset, s9, -32 */
1906 0x80 + 26, 3, /* DW_CFA_offset, s10, -24 */
1907 0x80 + 27, 2, /* DW_CFA_offset, s11, -16 */
1908 0x80 + 1 , 1, /* DW_CFA_offset, ra, -8 */
1909 }
1910};
1911
755bf9e5 1912void tcg_register_jit(const void *buf, size_t buf_size)
92c041c5
AF
1913{
1914 tcg_register_jit_int(buf, buf_size, &debug_frame, sizeof(debug_frame));
1915}