1139c1837SPaolo Bonzini/* 2139c1837SPaolo Bonzini * Tiny Code Generator for QEMU 3139c1837SPaolo Bonzini * 4139c1837SPaolo Bonzini * Copyright (c) 2018 SiFive, Inc 5139c1837SPaolo Bonzini * Copyright (c) 2008-2009 Arnaud Patard <arnaud.patard@rtp-net.org> 6139c1837SPaolo Bonzini * Copyright (c) 2009 Aurelien Jarno <aurelien@aurel32.net> 7139c1837SPaolo Bonzini * Copyright (c) 2008 Fabrice Bellard 8139c1837SPaolo Bonzini * 9139c1837SPaolo Bonzini * Based on i386/tcg-target.c and mips/tcg-target.c 10139c1837SPaolo Bonzini * 11139c1837SPaolo Bonzini * Permission is hereby granted, free of charge, to any person obtaining a copy 12139c1837SPaolo Bonzini * of this software and associated documentation files (the "Software"), to deal 13139c1837SPaolo Bonzini * in the Software without restriction, including without limitation the rights 14139c1837SPaolo Bonzini * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 15139c1837SPaolo Bonzini * copies of the Software, and to permit persons to whom the Software is 16139c1837SPaolo Bonzini * furnished to do so, subject to the following conditions: 17139c1837SPaolo Bonzini * 18139c1837SPaolo Bonzini * The above copyright notice and this permission notice shall be included in 19139c1837SPaolo Bonzini * all copies or substantial portions of the Software. 20139c1837SPaolo Bonzini * 21139c1837SPaolo Bonzini * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 22139c1837SPaolo Bonzini * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 23139c1837SPaolo Bonzini * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 24139c1837SPaolo Bonzini * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 25139c1837SPaolo Bonzini * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 26139c1837SPaolo Bonzini * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 27139c1837SPaolo Bonzini * THE SOFTWARE. 28139c1837SPaolo Bonzini */ 29139c1837SPaolo Bonzini 30a3fb7c99SRichard Henderson#include "../tcg-ldst.c.inc" 31139c1837SPaolo Bonzini#include "../tcg-pool.c.inc" 32139c1837SPaolo Bonzini 33139c1837SPaolo Bonzini#ifdef CONFIG_DEBUG_TCG 34139c1837SPaolo Bonzinistatic const char * const tcg_target_reg_names[TCG_TARGET_NB_REGS] = { 35f63e7089SHuang Shiyuan "zero", "ra", "sp", "gp", "tp", "t0", "t1", "t2", 36f63e7089SHuang Shiyuan "s0", "s1", "a0", "a1", "a2", "a3", "a4", "a5", 37f63e7089SHuang Shiyuan "a6", "a7", "s2", "s3", "s4", "s5", "s6", "s7", 38f63e7089SHuang Shiyuan "s8", "s9", "s10", "s11", "t3", "t4", "t5", "t6", 39f63e7089SHuang Shiyuan "v0", "v1", "v2", "v3", "v4", "v5", "v6", "v7", 40f63e7089SHuang Shiyuan "v8", "v9", "v10", "v11", "v12", "v13", "v14", "v15", 41f63e7089SHuang Shiyuan "v16", "v17", "v18", "v19", "v20", "v21", "v22", "v23", 42f63e7089SHuang Shiyuan "v24", "v25", "v26", "v27", "v28", "v29", "v30", "v31", 43139c1837SPaolo Bonzini}; 44139c1837SPaolo Bonzini#endif 45139c1837SPaolo Bonzini 46139c1837SPaolo Bonzinistatic const int tcg_target_reg_alloc_order[] = { 47139c1837SPaolo Bonzini /* Call saved registers */ 484daad8d9SMichael Tokarev /* TCG_REG_S0 reserved for TCG_AREG0 */ 49139c1837SPaolo Bonzini TCG_REG_S1, 50139c1837SPaolo Bonzini TCG_REG_S2, 51139c1837SPaolo Bonzini TCG_REG_S3, 52139c1837SPaolo Bonzini TCG_REG_S4, 53139c1837SPaolo Bonzini TCG_REG_S5, 54139c1837SPaolo Bonzini TCG_REG_S6, 55139c1837SPaolo Bonzini TCG_REG_S7, 56139c1837SPaolo Bonzini TCG_REG_S8, 57139c1837SPaolo Bonzini TCG_REG_S9, 58139c1837SPaolo Bonzini TCG_REG_S10, 59139c1837SPaolo Bonzini TCG_REG_S11, 60139c1837SPaolo Bonzini 61139c1837SPaolo Bonzini /* Call clobbered registers */ 62139c1837SPaolo Bonzini TCG_REG_T0, 63139c1837SPaolo Bonzini TCG_REG_T1, 64139c1837SPaolo Bonzini TCG_REG_T2, 65139c1837SPaolo Bonzini TCG_REG_T3, 66139c1837SPaolo Bonzini TCG_REG_T4, 67139c1837SPaolo Bonzini TCG_REG_T5, 68139c1837SPaolo Bonzini TCG_REG_T6, 69139c1837SPaolo Bonzini 70139c1837SPaolo Bonzini /* Argument registers */ 71139c1837SPaolo Bonzini TCG_REG_A0, 72139c1837SPaolo Bonzini TCG_REG_A1, 73139c1837SPaolo Bonzini TCG_REG_A2, 74139c1837SPaolo Bonzini TCG_REG_A3, 75139c1837SPaolo Bonzini TCG_REG_A4, 76139c1837SPaolo Bonzini TCG_REG_A5, 77139c1837SPaolo Bonzini TCG_REG_A6, 78139c1837SPaolo Bonzini TCG_REG_A7, 79f63e7089SHuang Shiyuan 80f63e7089SHuang Shiyuan /* Vector registers and TCG_REG_V0 reserved for mask. */ 81f63e7089SHuang Shiyuan TCG_REG_V1, TCG_REG_V2, TCG_REG_V3, TCG_REG_V4, 82f63e7089SHuang Shiyuan TCG_REG_V5, TCG_REG_V6, TCG_REG_V7, TCG_REG_V8, 83f63e7089SHuang Shiyuan TCG_REG_V9, TCG_REG_V10, TCG_REG_V11, TCG_REG_V12, 84f63e7089SHuang Shiyuan TCG_REG_V13, TCG_REG_V14, TCG_REG_V15, TCG_REG_V16, 85f63e7089SHuang Shiyuan TCG_REG_V17, TCG_REG_V18, TCG_REG_V19, TCG_REG_V20, 86f63e7089SHuang Shiyuan TCG_REG_V21, TCG_REG_V22, TCG_REG_V23, TCG_REG_V24, 87f63e7089SHuang Shiyuan TCG_REG_V25, TCG_REG_V26, TCG_REG_V27, TCG_REG_V28, 88f63e7089SHuang Shiyuan TCG_REG_V29, TCG_REG_V30, TCG_REG_V31, 89139c1837SPaolo Bonzini}; 90139c1837SPaolo Bonzini 91139c1837SPaolo Bonzinistatic const int tcg_target_call_iarg_regs[] = { 92139c1837SPaolo Bonzini TCG_REG_A0, 93139c1837SPaolo Bonzini TCG_REG_A1, 94139c1837SPaolo Bonzini TCG_REG_A2, 95139c1837SPaolo Bonzini TCG_REG_A3, 96139c1837SPaolo Bonzini TCG_REG_A4, 97139c1837SPaolo Bonzini TCG_REG_A5, 98139c1837SPaolo Bonzini TCG_REG_A6, 99139c1837SPaolo Bonzini TCG_REG_A7, 100139c1837SPaolo Bonzini}; 101139c1837SPaolo Bonzini 1025e3d0c19SRichard Hendersonstatic TCGReg tcg_target_call_oarg_reg(TCGCallReturnKind kind, int slot) 1035e3d0c19SRichard Henderson{ 1045e3d0c19SRichard Henderson tcg_debug_assert(kind == TCG_CALL_RET_NORMAL); 1055e3d0c19SRichard Henderson tcg_debug_assert(slot >= 0 && slot <= 1); 1065e3d0c19SRichard Henderson return TCG_REG_A0 + slot; 1075e3d0c19SRichard Henderson} 108139c1837SPaolo Bonzini 109139c1837SPaolo Bonzini#define TCG_CT_CONST_ZERO 0x100 110139c1837SPaolo Bonzini#define TCG_CT_CONST_S12 0x200 111139c1837SPaolo Bonzini#define TCG_CT_CONST_N12 0x400 112139c1837SPaolo Bonzini#define TCG_CT_CONST_M12 0x800 11399f4ec6eSRichard Henderson#define TCG_CT_CONST_J12 0x1000 114139c1837SPaolo Bonzini 115fc63a4c5SRichard Henderson#define ALL_GENERAL_REGS MAKE_64BIT_MASK(0, 32) 116f63e7089SHuang Shiyuan#define ALL_VECTOR_REGS MAKE_64BIT_MASK(32, 32) 117f63e7089SHuang Shiyuan#define ALL_DVECTOR_REG_GROUPS 0x5555555500000000 118f63e7089SHuang Shiyuan#define ALL_QVECTOR_REG_GROUPS 0x1111111100000000 119fc63a4c5SRichard Henderson 120aeb6326eSRichard Henderson#define sextreg sextract64 121139c1837SPaolo Bonzini 122139c1837SPaolo Bonzini/* test if a constant matches the constraint */ 12321e9a8aeSRichard Hendersonstatic bool tcg_target_const_match(int64_t val, int ct, 12421e9a8aeSRichard Henderson TCGType type, TCGCond cond, int vece) 125139c1837SPaolo Bonzini{ 126139c1837SPaolo Bonzini if (ct & TCG_CT_CONST) { 127139c1837SPaolo Bonzini return 1; 128139c1837SPaolo Bonzini } 129139c1837SPaolo Bonzini if ((ct & TCG_CT_CONST_ZERO) && val == 0) { 130139c1837SPaolo Bonzini return 1; 131139c1837SPaolo Bonzini } 13262722763SRichard Henderson /* 13362722763SRichard Henderson * Sign extended from 12 bits: [-0x800, 0x7ff]. 13462722763SRichard Henderson * Used for most arithmetic, as this is the isa field. 13562722763SRichard Henderson */ 13662722763SRichard Henderson if ((ct & TCG_CT_CONST_S12) && val >= -0x800 && val <= 0x7ff) { 137139c1837SPaolo Bonzini return 1; 138139c1837SPaolo Bonzini } 13962722763SRichard Henderson /* 14062722763SRichard Henderson * Sign extended from 12 bits, negated: [-0x7ff, 0x800]. 14162722763SRichard Henderson * Used for subtraction, where a constant must be handled by ADDI. 14262722763SRichard Henderson */ 14362722763SRichard Henderson if ((ct & TCG_CT_CONST_N12) && val >= -0x7ff && val <= 0x800) { 144139c1837SPaolo Bonzini return 1; 145139c1837SPaolo Bonzini } 14662722763SRichard Henderson /* 14762722763SRichard Henderson * Sign extended from 12 bits, +/- matching: [-0x7ff, 0x7ff]. 148a18d783eSRichard Henderson * Used by addsub2 and movcond, which may need the negative value, 14962722763SRichard Henderson * and requires the modified constant to be representable. 15062722763SRichard Henderson */ 15162722763SRichard Henderson if ((ct & TCG_CT_CONST_M12) && val >= -0x7ff && val <= 0x7ff) { 152139c1837SPaolo Bonzini return 1; 153139c1837SPaolo Bonzini } 15499f4ec6eSRichard Henderson /* 15599f4ec6eSRichard Henderson * Inverse of sign extended from 12 bits: ~[-0x800, 0x7ff]. 15699f4ec6eSRichard Henderson * Used to map ANDN back to ANDI, etc. 15799f4ec6eSRichard Henderson */ 15899f4ec6eSRichard Henderson if ((ct & TCG_CT_CONST_J12) && ~val >= -0x800 && ~val <= 0x7ff) { 15999f4ec6eSRichard Henderson return 1; 16099f4ec6eSRichard Henderson } 161139c1837SPaolo Bonzini return 0; 162139c1837SPaolo Bonzini} 163139c1837SPaolo Bonzini 164139c1837SPaolo Bonzini/* 165139c1837SPaolo Bonzini * RISC-V Base ISA opcodes (IM) 166139c1837SPaolo Bonzini */ 167139c1837SPaolo Bonzini 168f63e7089SHuang Shiyuan#define V_OPIVV (0x0 << 12) 169f63e7089SHuang Shiyuan#define V_OPFVV (0x1 << 12) 170f63e7089SHuang Shiyuan#define V_OPMVV (0x2 << 12) 171f63e7089SHuang Shiyuan#define V_OPIVI (0x3 << 12) 172f63e7089SHuang Shiyuan#define V_OPIVX (0x4 << 12) 173f63e7089SHuang Shiyuan#define V_OPFVF (0x5 << 12) 174f63e7089SHuang Shiyuan#define V_OPMVX (0x6 << 12) 175f63e7089SHuang Shiyuan#define V_OPCFG (0x7 << 12) 176f63e7089SHuang Shiyuan 177f63e7089SHuang Shiyuan/* NF <= 7 && NF >= 0 */ 178f63e7089SHuang Shiyuan#define V_NF(x) (x << 29) 179f63e7089SHuang Shiyuan#define V_UNIT_STRIDE (0x0 << 20) 180f63e7089SHuang Shiyuan#define V_UNIT_STRIDE_WHOLE_REG (0x8 << 20) 181f63e7089SHuang Shiyuan 182f63e7089SHuang Shiyuantypedef enum { 183f63e7089SHuang Shiyuan VLMUL_M1 = 0, /* LMUL=1 */ 184f63e7089SHuang Shiyuan VLMUL_M2, /* LMUL=2 */ 185f63e7089SHuang Shiyuan VLMUL_M4, /* LMUL=4 */ 186f63e7089SHuang Shiyuan VLMUL_M8, /* LMUL=8 */ 187f63e7089SHuang Shiyuan VLMUL_RESERVED, 188f63e7089SHuang Shiyuan VLMUL_MF8, /* LMUL=1/8 */ 189f63e7089SHuang Shiyuan VLMUL_MF4, /* LMUL=1/4 */ 190f63e7089SHuang Shiyuan VLMUL_MF2, /* LMUL=1/2 */ 191f63e7089SHuang Shiyuan} RISCVVlmul; 192f63e7089SHuang Shiyuan 193139c1837SPaolo Bonzinitypedef enum { 194139c1837SPaolo Bonzini OPC_ADD = 0x33, 195139c1837SPaolo Bonzini OPC_ADDI = 0x13, 196139c1837SPaolo Bonzini OPC_AND = 0x7033, 197139c1837SPaolo Bonzini OPC_ANDI = 0x7013, 198139c1837SPaolo Bonzini OPC_AUIPC = 0x17, 199139c1837SPaolo Bonzini OPC_BEQ = 0x63, 200139c1837SPaolo Bonzini OPC_BGE = 0x5063, 201139c1837SPaolo Bonzini OPC_BGEU = 0x7063, 202139c1837SPaolo Bonzini OPC_BLT = 0x4063, 203139c1837SPaolo Bonzini OPC_BLTU = 0x6063, 204139c1837SPaolo Bonzini OPC_BNE = 0x1063, 205139c1837SPaolo Bonzini OPC_DIV = 0x2004033, 206139c1837SPaolo Bonzini OPC_DIVU = 0x2005033, 207139c1837SPaolo Bonzini OPC_JAL = 0x6f, 208139c1837SPaolo Bonzini OPC_JALR = 0x67, 209139c1837SPaolo Bonzini OPC_LB = 0x3, 210139c1837SPaolo Bonzini OPC_LBU = 0x4003, 211139c1837SPaolo Bonzini OPC_LD = 0x3003, 212139c1837SPaolo Bonzini OPC_LH = 0x1003, 213139c1837SPaolo Bonzini OPC_LHU = 0x5003, 214139c1837SPaolo Bonzini OPC_LUI = 0x37, 215139c1837SPaolo Bonzini OPC_LW = 0x2003, 216139c1837SPaolo Bonzini OPC_LWU = 0x6003, 217139c1837SPaolo Bonzini OPC_MUL = 0x2000033, 218139c1837SPaolo Bonzini OPC_MULH = 0x2001033, 219139c1837SPaolo Bonzini OPC_MULHSU = 0x2002033, 220139c1837SPaolo Bonzini OPC_MULHU = 0x2003033, 221139c1837SPaolo Bonzini OPC_OR = 0x6033, 222139c1837SPaolo Bonzini OPC_ORI = 0x6013, 223139c1837SPaolo Bonzini OPC_REM = 0x2006033, 224139c1837SPaolo Bonzini OPC_REMU = 0x2007033, 225139c1837SPaolo Bonzini OPC_SB = 0x23, 226139c1837SPaolo Bonzini OPC_SD = 0x3023, 227139c1837SPaolo Bonzini OPC_SH = 0x1023, 228139c1837SPaolo Bonzini OPC_SLL = 0x1033, 229139c1837SPaolo Bonzini OPC_SLLI = 0x1013, 230139c1837SPaolo Bonzini OPC_SLT = 0x2033, 231139c1837SPaolo Bonzini OPC_SLTI = 0x2013, 232139c1837SPaolo Bonzini OPC_SLTIU = 0x3013, 233139c1837SPaolo Bonzini OPC_SLTU = 0x3033, 234139c1837SPaolo Bonzini OPC_SRA = 0x40005033, 235139c1837SPaolo Bonzini OPC_SRAI = 0x40005013, 236139c1837SPaolo Bonzini OPC_SRL = 0x5033, 237139c1837SPaolo Bonzini OPC_SRLI = 0x5013, 238139c1837SPaolo Bonzini OPC_SUB = 0x40000033, 239139c1837SPaolo Bonzini OPC_SW = 0x2023, 240139c1837SPaolo Bonzini OPC_XOR = 0x4033, 241139c1837SPaolo Bonzini OPC_XORI = 0x4013, 242139c1837SPaolo Bonzini 243139c1837SPaolo Bonzini OPC_ADDIW = 0x1b, 244139c1837SPaolo Bonzini OPC_ADDW = 0x3b, 245139c1837SPaolo Bonzini OPC_DIVUW = 0x200503b, 246139c1837SPaolo Bonzini OPC_DIVW = 0x200403b, 247139c1837SPaolo Bonzini OPC_MULW = 0x200003b, 248139c1837SPaolo Bonzini OPC_REMUW = 0x200703b, 249139c1837SPaolo Bonzini OPC_REMW = 0x200603b, 250139c1837SPaolo Bonzini OPC_SLLIW = 0x101b, 251139c1837SPaolo Bonzini OPC_SLLW = 0x103b, 252139c1837SPaolo Bonzini OPC_SRAIW = 0x4000501b, 253139c1837SPaolo Bonzini OPC_SRAW = 0x4000503b, 254139c1837SPaolo Bonzini OPC_SRLIW = 0x501b, 255139c1837SPaolo Bonzini OPC_SRLW = 0x503b, 256139c1837SPaolo Bonzini OPC_SUBW = 0x4000003b, 257139c1837SPaolo Bonzini 258139c1837SPaolo Bonzini OPC_FENCE = 0x0000000f, 2599ae958e4SRichard Henderson OPC_NOP = OPC_ADDI, /* nop = addi r0,r0,0 */ 2609e3e0bc6SRichard Henderson 2619e3e0bc6SRichard Henderson /* Zba: Bit manipulation extension, address generation */ 2629e3e0bc6SRichard Henderson OPC_ADD_UW = 0x0800003b, 2639e3e0bc6SRichard Henderson 2644daad8d9SMichael Tokarev /* Zbb: Bit manipulation extension, basic bit manipulation */ 2659e3e0bc6SRichard Henderson OPC_ANDN = 0x40007033, 2669e3e0bc6SRichard Henderson OPC_CLZ = 0x60001013, 2679e3e0bc6SRichard Henderson OPC_CLZW = 0x6000101b, 2689e3e0bc6SRichard Henderson OPC_CPOP = 0x60201013, 2699e3e0bc6SRichard Henderson OPC_CPOPW = 0x6020101b, 2709e3e0bc6SRichard Henderson OPC_CTZ = 0x60101013, 2719e3e0bc6SRichard Henderson OPC_CTZW = 0x6010101b, 2729e3e0bc6SRichard Henderson OPC_ORN = 0x40006033, 2739e3e0bc6SRichard Henderson OPC_REV8 = 0x6b805013, 2749e3e0bc6SRichard Henderson OPC_ROL = 0x60001033, 2759e3e0bc6SRichard Henderson OPC_ROLW = 0x6000103b, 2769e3e0bc6SRichard Henderson OPC_ROR = 0x60005033, 2779e3e0bc6SRichard Henderson OPC_RORW = 0x6000503b, 2789e3e0bc6SRichard Henderson OPC_RORI = 0x60005013, 2799e3e0bc6SRichard Henderson OPC_RORIW = 0x6000501b, 2809e3e0bc6SRichard Henderson OPC_SEXT_B = 0x60401013, 2819e3e0bc6SRichard Henderson OPC_SEXT_H = 0x60501013, 2829e3e0bc6SRichard Henderson OPC_XNOR = 0x40004033, 2839e3e0bc6SRichard Henderson OPC_ZEXT_H = 0x0800403b, 2849e3e0bc6SRichard Henderson 2859e3e0bc6SRichard Henderson /* Zicond: integer conditional operations */ 2869e3e0bc6SRichard Henderson OPC_CZERO_EQZ = 0x0e005033, 2879e3e0bc6SRichard Henderson OPC_CZERO_NEZ = 0x0e007033, 288f63e7089SHuang Shiyuan 289f63e7089SHuang Shiyuan /* V: Vector extension 1.0 */ 290f63e7089SHuang Shiyuan OPC_VSETVLI = 0x57 | V_OPCFG, 291f63e7089SHuang Shiyuan OPC_VSETIVLI = 0xc0000057 | V_OPCFG, 292f63e7089SHuang Shiyuan OPC_VSETVL = 0x80000057 | V_OPCFG, 293f63e7089SHuang Shiyuan 294f63e7089SHuang Shiyuan OPC_VLE8_V = 0x7 | V_UNIT_STRIDE, 295f63e7089SHuang Shiyuan OPC_VLE16_V = 0x5007 | V_UNIT_STRIDE, 296f63e7089SHuang Shiyuan OPC_VLE32_V = 0x6007 | V_UNIT_STRIDE, 297f63e7089SHuang Shiyuan OPC_VLE64_V = 0x7007 | V_UNIT_STRIDE, 298f63e7089SHuang Shiyuan OPC_VSE8_V = 0x27 | V_UNIT_STRIDE, 299f63e7089SHuang Shiyuan OPC_VSE16_V = 0x5027 | V_UNIT_STRIDE, 300f63e7089SHuang Shiyuan OPC_VSE32_V = 0x6027 | V_UNIT_STRIDE, 301f63e7089SHuang Shiyuan OPC_VSE64_V = 0x7027 | V_UNIT_STRIDE, 302f63e7089SHuang Shiyuan 303f63e7089SHuang Shiyuan OPC_VL1RE64_V = 0x2007007 | V_UNIT_STRIDE_WHOLE_REG | V_NF(0), 304f63e7089SHuang Shiyuan OPC_VL2RE64_V = 0x2007007 | V_UNIT_STRIDE_WHOLE_REG | V_NF(1), 305f63e7089SHuang Shiyuan OPC_VL4RE64_V = 0x2007007 | V_UNIT_STRIDE_WHOLE_REG | V_NF(3), 306f63e7089SHuang Shiyuan OPC_VL8RE64_V = 0x2007007 | V_UNIT_STRIDE_WHOLE_REG | V_NF(7), 307f63e7089SHuang Shiyuan 308f63e7089SHuang Shiyuan OPC_VS1R_V = 0x2000027 | V_UNIT_STRIDE_WHOLE_REG | V_NF(0), 309f63e7089SHuang Shiyuan OPC_VS2R_V = 0x2000027 | V_UNIT_STRIDE_WHOLE_REG | V_NF(1), 310f63e7089SHuang Shiyuan OPC_VS4R_V = 0x2000027 | V_UNIT_STRIDE_WHOLE_REG | V_NF(3), 311f63e7089SHuang Shiyuan OPC_VS8R_V = 0x2000027 | V_UNIT_STRIDE_WHOLE_REG | V_NF(7), 312*d4be6ee1STANG Tiancheng 313*d4be6ee1STANG Tiancheng OPC_VMV_V_V = 0x5e000057 | V_OPIVV, 314*d4be6ee1STANG Tiancheng OPC_VMV_V_I = 0x5e000057 | V_OPIVI, 315*d4be6ee1STANG Tiancheng OPC_VMV_V_X = 0x5e000057 | V_OPIVX, 316*d4be6ee1STANG Tiancheng 317*d4be6ee1STANG Tiancheng OPC_VMVNR_V = 0x9e000057 | V_OPIVI, 318139c1837SPaolo Bonzini} RISCVInsn; 319139c1837SPaolo Bonzini 320139c1837SPaolo Bonzini/* 321139c1837SPaolo Bonzini * RISC-V immediate and instruction encoders (excludes 16-bit RVC) 322139c1837SPaolo Bonzini */ 323139c1837SPaolo Bonzini 324139c1837SPaolo Bonzini/* Type-R */ 325139c1837SPaolo Bonzini 326139c1837SPaolo Bonzinistatic int32_t encode_r(RISCVInsn opc, TCGReg rd, TCGReg rs1, TCGReg rs2) 327139c1837SPaolo Bonzini{ 328139c1837SPaolo Bonzini return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20; 329139c1837SPaolo Bonzini} 330139c1837SPaolo Bonzini 331139c1837SPaolo Bonzini/* Type-I */ 332139c1837SPaolo Bonzini 333139c1837SPaolo Bonzinistatic int32_t encode_imm12(uint32_t imm) 334139c1837SPaolo Bonzini{ 335139c1837SPaolo Bonzini return (imm & 0xfff) << 20; 336139c1837SPaolo Bonzini} 337139c1837SPaolo Bonzini 338139c1837SPaolo Bonzinistatic int32_t encode_i(RISCVInsn opc, TCGReg rd, TCGReg rs1, uint32_t imm) 339139c1837SPaolo Bonzini{ 340139c1837SPaolo Bonzini return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | encode_imm12(imm); 341139c1837SPaolo Bonzini} 342139c1837SPaolo Bonzini 343139c1837SPaolo Bonzini/* Type-S */ 344139c1837SPaolo Bonzini 345139c1837SPaolo Bonzinistatic int32_t encode_simm12(uint32_t imm) 346139c1837SPaolo Bonzini{ 347139c1837SPaolo Bonzini int32_t ret = 0; 348139c1837SPaolo Bonzini 349139c1837SPaolo Bonzini ret |= (imm & 0xFE0) << 20; 350139c1837SPaolo Bonzini ret |= (imm & 0x1F) << 7; 351139c1837SPaolo Bonzini 352139c1837SPaolo Bonzini return ret; 353139c1837SPaolo Bonzini} 354139c1837SPaolo Bonzini 355139c1837SPaolo Bonzinistatic int32_t encode_s(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm) 356139c1837SPaolo Bonzini{ 357139c1837SPaolo Bonzini return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_simm12(imm); 358139c1837SPaolo Bonzini} 359139c1837SPaolo Bonzini 360139c1837SPaolo Bonzini/* Type-SB */ 361139c1837SPaolo Bonzini 362139c1837SPaolo Bonzinistatic int32_t encode_sbimm12(uint32_t imm) 363139c1837SPaolo Bonzini{ 364139c1837SPaolo Bonzini int32_t ret = 0; 365139c1837SPaolo Bonzini 366139c1837SPaolo Bonzini ret |= (imm & 0x1000) << 19; 367139c1837SPaolo Bonzini ret |= (imm & 0x7e0) << 20; 368139c1837SPaolo Bonzini ret |= (imm & 0x1e) << 7; 369139c1837SPaolo Bonzini ret |= (imm & 0x800) >> 4; 370139c1837SPaolo Bonzini 371139c1837SPaolo Bonzini return ret; 372139c1837SPaolo Bonzini} 373139c1837SPaolo Bonzini 374139c1837SPaolo Bonzinistatic int32_t encode_sb(RISCVInsn opc, TCGReg rs1, TCGReg rs2, uint32_t imm) 375139c1837SPaolo Bonzini{ 376139c1837SPaolo Bonzini return opc | (rs1 & 0x1f) << 15 | (rs2 & 0x1f) << 20 | encode_sbimm12(imm); 377139c1837SPaolo Bonzini} 378139c1837SPaolo Bonzini 379139c1837SPaolo Bonzini/* Type-U */ 380139c1837SPaolo Bonzini 381139c1837SPaolo Bonzinistatic int32_t encode_uimm20(uint32_t imm) 382139c1837SPaolo Bonzini{ 383139c1837SPaolo Bonzini return imm & 0xfffff000; 384139c1837SPaolo Bonzini} 385139c1837SPaolo Bonzini 386139c1837SPaolo Bonzinistatic int32_t encode_u(RISCVInsn opc, TCGReg rd, uint32_t imm) 387139c1837SPaolo Bonzini{ 388139c1837SPaolo Bonzini return opc | (rd & 0x1f) << 7 | encode_uimm20(imm); 389139c1837SPaolo Bonzini} 390139c1837SPaolo Bonzini 391139c1837SPaolo Bonzini/* Type-UJ */ 392139c1837SPaolo Bonzini 393139c1837SPaolo Bonzinistatic int32_t encode_ujimm20(uint32_t imm) 394139c1837SPaolo Bonzini{ 395139c1837SPaolo Bonzini int32_t ret = 0; 396139c1837SPaolo Bonzini 397139c1837SPaolo Bonzini ret |= (imm & 0x0007fe) << (21 - 1); 398139c1837SPaolo Bonzini ret |= (imm & 0x000800) << (20 - 11); 399139c1837SPaolo Bonzini ret |= (imm & 0x0ff000) << (12 - 12); 400139c1837SPaolo Bonzini ret |= (imm & 0x100000) << (31 - 20); 401139c1837SPaolo Bonzini 402139c1837SPaolo Bonzini return ret; 403139c1837SPaolo Bonzini} 404139c1837SPaolo Bonzini 405139c1837SPaolo Bonzinistatic int32_t encode_uj(RISCVInsn opc, TCGReg rd, uint32_t imm) 406139c1837SPaolo Bonzini{ 407139c1837SPaolo Bonzini return opc | (rd & 0x1f) << 7 | encode_ujimm20(imm); 408139c1837SPaolo Bonzini} 409139c1837SPaolo Bonzini 410*d4be6ee1STANG Tiancheng 411*d4be6ee1STANG Tiancheng/* Type-OPIVI */ 412*d4be6ee1STANG Tiancheng 413*d4be6ee1STANG Tianchengstatic int32_t encode_vi(RISCVInsn opc, TCGReg rd, int32_t imm, 414*d4be6ee1STANG Tiancheng TCGReg vs2, bool vm) 415*d4be6ee1STANG Tiancheng{ 416*d4be6ee1STANG Tiancheng return opc | (rd & 0x1f) << 7 | (imm & 0x1f) << 15 | 417*d4be6ee1STANG Tiancheng (vs2 & 0x1f) << 20 | (vm << 25); 418*d4be6ee1STANG Tiancheng} 419*d4be6ee1STANG Tiancheng 420f63e7089SHuang Shiyuan/* Type-OPIVV/OPMVV/OPIVX/OPMVX, Vector load and store */ 421f63e7089SHuang Shiyuan 422f63e7089SHuang Shiyuanstatic int32_t encode_v(RISCVInsn opc, TCGReg d, TCGReg s1, 423f63e7089SHuang Shiyuan TCGReg s2, bool vm) 424f63e7089SHuang Shiyuan{ 425f63e7089SHuang Shiyuan return opc | (d & 0x1f) << 7 | (s1 & 0x1f) << 15 | 426f63e7089SHuang Shiyuan (s2 & 0x1f) << 20 | (vm << 25); 427f63e7089SHuang Shiyuan} 428f63e7089SHuang Shiyuan 429f63e7089SHuang Shiyuan/* Vector vtype */ 430f63e7089SHuang Shiyuan 431f63e7089SHuang Shiyuanstatic uint32_t encode_vtype(bool vta, bool vma, 432f63e7089SHuang Shiyuan MemOp vsew, RISCVVlmul vlmul) 433f63e7089SHuang Shiyuan{ 434f63e7089SHuang Shiyuan return vma << 7 | vta << 6 | vsew << 3 | vlmul; 435f63e7089SHuang Shiyuan} 436f63e7089SHuang Shiyuan 437f63e7089SHuang Shiyuanstatic int32_t encode_vset(RISCVInsn opc, TCGReg rd, 438f63e7089SHuang Shiyuan TCGArg rs1, uint32_t vtype) 439f63e7089SHuang Shiyuan{ 440f63e7089SHuang Shiyuan return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | (vtype & 0x7ff) << 20; 441f63e7089SHuang Shiyuan} 442f63e7089SHuang Shiyuan 443f63e7089SHuang Shiyuanstatic int32_t encode_vseti(RISCVInsn opc, TCGReg rd, 444f63e7089SHuang Shiyuan uint32_t uimm, uint32_t vtype) 445f63e7089SHuang Shiyuan{ 446f63e7089SHuang Shiyuan return opc | (rd & 0x1f) << 7 | (uimm & 0x1f) << 15 | (vtype & 0x3ff) << 20; 447f63e7089SHuang Shiyuan} 448f63e7089SHuang Shiyuan 449139c1837SPaolo Bonzini/* 450139c1837SPaolo Bonzini * RISC-V instruction emitters 451139c1837SPaolo Bonzini */ 452139c1837SPaolo Bonzini 453139c1837SPaolo Bonzinistatic void tcg_out_opc_reg(TCGContext *s, RISCVInsn opc, 454139c1837SPaolo Bonzini TCGReg rd, TCGReg rs1, TCGReg rs2) 455139c1837SPaolo Bonzini{ 456139c1837SPaolo Bonzini tcg_out32(s, encode_r(opc, rd, rs1, rs2)); 457139c1837SPaolo Bonzini} 458139c1837SPaolo Bonzini 459139c1837SPaolo Bonzinistatic void tcg_out_opc_imm(TCGContext *s, RISCVInsn opc, 460139c1837SPaolo Bonzini TCGReg rd, TCGReg rs1, TCGArg imm) 461139c1837SPaolo Bonzini{ 462139c1837SPaolo Bonzini tcg_out32(s, encode_i(opc, rd, rs1, imm)); 463139c1837SPaolo Bonzini} 464139c1837SPaolo Bonzini 465139c1837SPaolo Bonzinistatic void tcg_out_opc_store(TCGContext *s, RISCVInsn opc, 466139c1837SPaolo Bonzini TCGReg rs1, TCGReg rs2, uint32_t imm) 467139c1837SPaolo Bonzini{ 468139c1837SPaolo Bonzini tcg_out32(s, encode_s(opc, rs1, rs2, imm)); 469139c1837SPaolo Bonzini} 470139c1837SPaolo Bonzini 471139c1837SPaolo Bonzinistatic void tcg_out_opc_branch(TCGContext *s, RISCVInsn opc, 472139c1837SPaolo Bonzini TCGReg rs1, TCGReg rs2, uint32_t imm) 473139c1837SPaolo Bonzini{ 474139c1837SPaolo Bonzini tcg_out32(s, encode_sb(opc, rs1, rs2, imm)); 475139c1837SPaolo Bonzini} 476139c1837SPaolo Bonzini 477139c1837SPaolo Bonzinistatic void tcg_out_opc_upper(TCGContext *s, RISCVInsn opc, 478139c1837SPaolo Bonzini TCGReg rd, uint32_t imm) 479139c1837SPaolo Bonzini{ 480139c1837SPaolo Bonzini tcg_out32(s, encode_u(opc, rd, imm)); 481139c1837SPaolo Bonzini} 482139c1837SPaolo Bonzini 483139c1837SPaolo Bonzinistatic void tcg_out_opc_jump(TCGContext *s, RISCVInsn opc, 484139c1837SPaolo Bonzini TCGReg rd, uint32_t imm) 485139c1837SPaolo Bonzini{ 486139c1837SPaolo Bonzini tcg_out32(s, encode_uj(opc, rd, imm)); 487139c1837SPaolo Bonzini} 488139c1837SPaolo Bonzini 489139c1837SPaolo Bonzinistatic void tcg_out_nop_fill(tcg_insn_unit *p, int count) 490139c1837SPaolo Bonzini{ 491139c1837SPaolo Bonzini int i; 492139c1837SPaolo Bonzini for (i = 0; i < count; ++i) { 4939ae958e4SRichard Henderson p[i] = OPC_NOP; 494139c1837SPaolo Bonzini } 495139c1837SPaolo Bonzini} 496139c1837SPaolo Bonzini 497139c1837SPaolo Bonzini/* 498139c1837SPaolo Bonzini * Relocations 499139c1837SPaolo Bonzini */ 500139c1837SPaolo Bonzini 501793f7381SRichard Hendersonstatic bool reloc_sbimm12(tcg_insn_unit *src_rw, const tcg_insn_unit *target) 502139c1837SPaolo Bonzini{ 503793f7381SRichard Henderson const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw); 504793f7381SRichard Henderson intptr_t offset = (intptr_t)target - (intptr_t)src_rx; 505139c1837SPaolo Bonzini 506844d0442SRichard Henderson tcg_debug_assert((offset & 1) == 0); 507844d0442SRichard Henderson if (offset == sextreg(offset, 0, 12)) { 508793f7381SRichard Henderson *src_rw |= encode_sbimm12(offset); 509139c1837SPaolo Bonzini return true; 510139c1837SPaolo Bonzini } 511139c1837SPaolo Bonzini 512139c1837SPaolo Bonzini return false; 513139c1837SPaolo Bonzini} 514139c1837SPaolo Bonzini 515793f7381SRichard Hendersonstatic bool reloc_jimm20(tcg_insn_unit *src_rw, const tcg_insn_unit *target) 516139c1837SPaolo Bonzini{ 517793f7381SRichard Henderson const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw); 518793f7381SRichard Henderson intptr_t offset = (intptr_t)target - (intptr_t)src_rx; 519139c1837SPaolo Bonzini 520844d0442SRichard Henderson tcg_debug_assert((offset & 1) == 0); 521844d0442SRichard Henderson if (offset == sextreg(offset, 0, 20)) { 522793f7381SRichard Henderson *src_rw |= encode_ujimm20(offset); 523139c1837SPaolo Bonzini return true; 524139c1837SPaolo Bonzini } 525139c1837SPaolo Bonzini 526139c1837SPaolo Bonzini return false; 527139c1837SPaolo Bonzini} 528139c1837SPaolo Bonzini 529793f7381SRichard Hendersonstatic bool reloc_call(tcg_insn_unit *src_rw, const tcg_insn_unit *target) 530139c1837SPaolo Bonzini{ 531793f7381SRichard Henderson const tcg_insn_unit *src_rx = tcg_splitwx_to_rx(src_rw); 532793f7381SRichard Henderson intptr_t offset = (intptr_t)target - (intptr_t)src_rx; 533139c1837SPaolo Bonzini int32_t lo = sextreg(offset, 0, 12); 534139c1837SPaolo Bonzini int32_t hi = offset - lo; 535139c1837SPaolo Bonzini 536139c1837SPaolo Bonzini if (offset == hi + lo) { 537793f7381SRichard Henderson src_rw[0] |= encode_uimm20(hi); 538793f7381SRichard Henderson src_rw[1] |= encode_imm12(lo); 539139c1837SPaolo Bonzini return true; 540139c1837SPaolo Bonzini } 541139c1837SPaolo Bonzini 542139c1837SPaolo Bonzini return false; 543139c1837SPaolo Bonzini} 544139c1837SPaolo Bonzini 545139c1837SPaolo Bonzinistatic bool patch_reloc(tcg_insn_unit *code_ptr, int type, 546139c1837SPaolo Bonzini intptr_t value, intptr_t addend) 547139c1837SPaolo Bonzini{ 548139c1837SPaolo Bonzini tcg_debug_assert(addend == 0); 549139c1837SPaolo Bonzini switch (type) { 550139c1837SPaolo Bonzini case R_RISCV_BRANCH: 551139c1837SPaolo Bonzini return reloc_sbimm12(code_ptr, (tcg_insn_unit *)value); 552139c1837SPaolo Bonzini case R_RISCV_JAL: 553139c1837SPaolo Bonzini return reloc_jimm20(code_ptr, (tcg_insn_unit *)value); 554139c1837SPaolo Bonzini case R_RISCV_CALL: 555139c1837SPaolo Bonzini return reloc_call(code_ptr, (tcg_insn_unit *)value); 556139c1837SPaolo Bonzini default: 5574b6a52d0SRichard Henderson g_assert_not_reached(); 558139c1837SPaolo Bonzini } 559139c1837SPaolo Bonzini} 560139c1837SPaolo Bonzini 561139c1837SPaolo Bonzini/* 562f63e7089SHuang Shiyuan * RISC-V vector instruction emitters 563f63e7089SHuang Shiyuan */ 564f63e7089SHuang Shiyuan 565*d4be6ee1STANG Tiancheng/* 566*d4be6ee1STANG Tiancheng * Vector registers uses the same 5 lower bits as GPR registers, 567*d4be6ee1STANG Tiancheng * and vm=0 (vm = false) means vector masking ENABLED. 568*d4be6ee1STANG Tiancheng * With RVV 1.0, vs2 is the first operand, while rs1/imm is the 569*d4be6ee1STANG Tiancheng * second operand. 570*d4be6ee1STANG Tiancheng */ 571*d4be6ee1STANG Tianchengstatic void tcg_out_opc_vx(TCGContext *s, RISCVInsn opc, 572*d4be6ee1STANG Tiancheng TCGReg vd, TCGReg vs2, TCGReg rs1) 573*d4be6ee1STANG Tiancheng{ 574*d4be6ee1STANG Tiancheng tcg_out32(s, encode_v(opc, vd, rs1, vs2, true)); 575*d4be6ee1STANG Tiancheng} 576*d4be6ee1STANG Tiancheng 577*d4be6ee1STANG Tianchengstatic void tcg_out_opc_vi(TCGContext *s, RISCVInsn opc, 578*d4be6ee1STANG Tiancheng TCGReg vd, TCGReg vs2, int32_t imm) 579*d4be6ee1STANG Tiancheng{ 580*d4be6ee1STANG Tiancheng tcg_out32(s, encode_vi(opc, vd, imm, vs2, true)); 581*d4be6ee1STANG Tiancheng} 582*d4be6ee1STANG Tiancheng 583f63e7089SHuang Shiyuantypedef struct VsetCache { 584f63e7089SHuang Shiyuan uint32_t movi_insn; 585f63e7089SHuang Shiyuan uint32_t vset_insn; 586f63e7089SHuang Shiyuan} VsetCache; 587f63e7089SHuang Shiyuan 588f63e7089SHuang Shiyuanstatic VsetCache riscv_vset_cache[3][4]; 589f63e7089SHuang Shiyuan 590f63e7089SHuang Shiyuanstatic void set_vtype(TCGContext *s, TCGType type, MemOp vsew) 591f63e7089SHuang Shiyuan{ 592f63e7089SHuang Shiyuan const VsetCache *p = &riscv_vset_cache[type - TCG_TYPE_V64][vsew]; 593f63e7089SHuang Shiyuan 594f63e7089SHuang Shiyuan s->riscv_cur_type = type; 595f63e7089SHuang Shiyuan s->riscv_cur_vsew = vsew; 596f63e7089SHuang Shiyuan 597f63e7089SHuang Shiyuan if (p->movi_insn) { 598f63e7089SHuang Shiyuan tcg_out32(s, p->movi_insn); 599f63e7089SHuang Shiyuan } 600f63e7089SHuang Shiyuan tcg_out32(s, p->vset_insn); 601f63e7089SHuang Shiyuan} 602f63e7089SHuang Shiyuan 603f63e7089SHuang Shiyuanstatic MemOp set_vtype_len(TCGContext *s, TCGType type) 604f63e7089SHuang Shiyuan{ 605f63e7089SHuang Shiyuan if (type != s->riscv_cur_type) { 606f63e7089SHuang Shiyuan set_vtype(s, type, MO_64); 607f63e7089SHuang Shiyuan } 608f63e7089SHuang Shiyuan return s->riscv_cur_vsew; 609f63e7089SHuang Shiyuan} 610f63e7089SHuang Shiyuan 611*d4be6ee1STANG Tianchengstatic void set_vtype_len_sew(TCGContext *s, TCGType type, MemOp vsew) 612*d4be6ee1STANG Tiancheng{ 613*d4be6ee1STANG Tiancheng if (type != s->riscv_cur_type || vsew != s->riscv_cur_vsew) { 614*d4be6ee1STANG Tiancheng set_vtype(s, type, vsew); 615*d4be6ee1STANG Tiancheng } 616*d4be6ee1STANG Tiancheng} 617*d4be6ee1STANG Tiancheng 618f63e7089SHuang Shiyuan/* 619139c1837SPaolo Bonzini * TCG intrinsics 620139c1837SPaolo Bonzini */ 621139c1837SPaolo Bonzini 622139c1837SPaolo Bonzinistatic bool tcg_out_mov(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg) 623139c1837SPaolo Bonzini{ 624139c1837SPaolo Bonzini if (ret == arg) { 625139c1837SPaolo Bonzini return true; 626139c1837SPaolo Bonzini } 627139c1837SPaolo Bonzini switch (type) { 628139c1837SPaolo Bonzini case TCG_TYPE_I32: 629139c1837SPaolo Bonzini case TCG_TYPE_I64: 630139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ADDI, ret, arg, 0); 631139c1837SPaolo Bonzini break; 632*d4be6ee1STANG Tiancheng case TCG_TYPE_V64: 633*d4be6ee1STANG Tiancheng case TCG_TYPE_V128: 634*d4be6ee1STANG Tiancheng case TCG_TYPE_V256: 635*d4be6ee1STANG Tiancheng { 636*d4be6ee1STANG Tiancheng int lmul = type - riscv_lg2_vlenb; 637*d4be6ee1STANG Tiancheng int nf = 1 << MAX(lmul, 0); 638*d4be6ee1STANG Tiancheng tcg_out_opc_vi(s, OPC_VMVNR_V, ret, arg, nf - 1); 639*d4be6ee1STANG Tiancheng } 640*d4be6ee1STANG Tiancheng break; 641139c1837SPaolo Bonzini default: 642139c1837SPaolo Bonzini g_assert_not_reached(); 643139c1837SPaolo Bonzini } 644139c1837SPaolo Bonzini return true; 645139c1837SPaolo Bonzini} 646139c1837SPaolo Bonzini 647139c1837SPaolo Bonzinistatic void tcg_out_movi(TCGContext *s, TCGType type, TCGReg rd, 648139c1837SPaolo Bonzini tcg_target_long val) 649139c1837SPaolo Bonzini{ 650139c1837SPaolo Bonzini tcg_target_long lo, hi, tmp; 651139c1837SPaolo Bonzini int shift, ret; 652139c1837SPaolo Bonzini 653aeb6326eSRichard Henderson if (type == TCG_TYPE_I32) { 654139c1837SPaolo Bonzini val = (int32_t)val; 655139c1837SPaolo Bonzini } 656139c1837SPaolo Bonzini 657139c1837SPaolo Bonzini lo = sextreg(val, 0, 12); 658139c1837SPaolo Bonzini if (val == lo) { 659139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, lo); 660139c1837SPaolo Bonzini return; 661139c1837SPaolo Bonzini } 662139c1837SPaolo Bonzini 663139c1837SPaolo Bonzini hi = val - lo; 664aeb6326eSRichard Henderson if (val == (int32_t)val) { 665139c1837SPaolo Bonzini tcg_out_opc_upper(s, OPC_LUI, rd, hi); 666139c1837SPaolo Bonzini if (lo != 0) { 667139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ADDIW, rd, rd, lo); 668139c1837SPaolo Bonzini } 669139c1837SPaolo Bonzini return; 670139c1837SPaolo Bonzini } 671139c1837SPaolo Bonzini 672139c1837SPaolo Bonzini tmp = tcg_pcrel_diff(s, (void *)val); 673139c1837SPaolo Bonzini if (tmp == (int32_t)tmp) { 674139c1837SPaolo Bonzini tcg_out_opc_upper(s, OPC_AUIPC, rd, 0); 675139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ADDI, rd, rd, 0); 676793f7381SRichard Henderson ret = reloc_call(s->code_ptr - 2, (const tcg_insn_unit *)val); 677139c1837SPaolo Bonzini tcg_debug_assert(ret == true); 678139c1837SPaolo Bonzini return; 679139c1837SPaolo Bonzini } 680139c1837SPaolo Bonzini 681139c1837SPaolo Bonzini /* Look for a single 20-bit section. */ 682139c1837SPaolo Bonzini shift = ctz64(val); 683139c1837SPaolo Bonzini tmp = val >> shift; 684139c1837SPaolo Bonzini if (tmp == sextreg(tmp, 0, 20)) { 685139c1837SPaolo Bonzini tcg_out_opc_upper(s, OPC_LUI, rd, tmp << 12); 686139c1837SPaolo Bonzini if (shift > 12) { 687139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SLLI, rd, rd, shift - 12); 688139c1837SPaolo Bonzini } else { 689139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SRAI, rd, rd, 12 - shift); 690139c1837SPaolo Bonzini } 691139c1837SPaolo Bonzini return; 692139c1837SPaolo Bonzini } 693139c1837SPaolo Bonzini 694139c1837SPaolo Bonzini /* Look for a few high zero bits, with lots of bits set in the middle. */ 695139c1837SPaolo Bonzini shift = clz64(val); 696139c1837SPaolo Bonzini tmp = val << shift; 697139c1837SPaolo Bonzini if (tmp == sextreg(tmp, 12, 20) << 12) { 698139c1837SPaolo Bonzini tcg_out_opc_upper(s, OPC_LUI, rd, tmp); 699139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift); 700139c1837SPaolo Bonzini return; 701139c1837SPaolo Bonzini } else if (tmp == sextreg(tmp, 0, 12)) { 702139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ADDI, rd, TCG_REG_ZERO, tmp); 703139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SRLI, rd, rd, shift); 704139c1837SPaolo Bonzini return; 705139c1837SPaolo Bonzini } 706139c1837SPaolo Bonzini 707139c1837SPaolo Bonzini /* Drop into the constant pool. */ 708139c1837SPaolo Bonzini new_pool_label(s, val, R_RISCV_CALL, s->code_ptr, 0); 709139c1837SPaolo Bonzini tcg_out_opc_upper(s, OPC_AUIPC, rd, 0); 710139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_LD, rd, rd, 0); 711139c1837SPaolo Bonzini} 712139c1837SPaolo Bonzini 713767c2503SRichard Hendersonstatic bool tcg_out_xchg(TCGContext *s, TCGType type, TCGReg r1, TCGReg r2) 714767c2503SRichard Henderson{ 715767c2503SRichard Henderson return false; 716767c2503SRichard Henderson} 717767c2503SRichard Henderson 7186a6d772eSRichard Hendersonstatic void tcg_out_addi_ptr(TCGContext *s, TCGReg rd, TCGReg rs, 7196a6d772eSRichard Henderson tcg_target_long imm) 7206a6d772eSRichard Henderson{ 7216a6d772eSRichard Henderson /* This function is only used for passing structs by reference. */ 7226a6d772eSRichard Henderson g_assert_not_reached(); 7236a6d772eSRichard Henderson} 7246a6d772eSRichard Henderson 725139c1837SPaolo Bonzinistatic void tcg_out_ext8u(TCGContext *s, TCGReg ret, TCGReg arg) 726139c1837SPaolo Bonzini{ 727139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ANDI, ret, arg, 0xff); 728139c1837SPaolo Bonzini} 729139c1837SPaolo Bonzini 730139c1837SPaolo Bonzinistatic void tcg_out_ext16u(TCGContext *s, TCGReg ret, TCGReg arg) 731139c1837SPaolo Bonzini{ 732b86c6ba6SRichard Henderson if (cpuinfo & CPUINFO_ZBB) { 733d1c3f4e9SRichard Henderson tcg_out_opc_reg(s, OPC_ZEXT_H, ret, arg, TCG_REG_ZERO); 734d1c3f4e9SRichard Henderson } else { 735139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16); 736139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SRLIW, ret, ret, 16); 737139c1837SPaolo Bonzini } 738d1c3f4e9SRichard Henderson} 739139c1837SPaolo Bonzini 740139c1837SPaolo Bonzinistatic void tcg_out_ext32u(TCGContext *s, TCGReg ret, TCGReg arg) 741139c1837SPaolo Bonzini{ 742b86c6ba6SRichard Henderson if (cpuinfo & CPUINFO_ZBA) { 743d1c3f4e9SRichard Henderson tcg_out_opc_reg(s, OPC_ADD_UW, ret, arg, TCG_REG_ZERO); 744d1c3f4e9SRichard Henderson } else { 745139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SLLI, ret, arg, 32); 746139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SRLI, ret, ret, 32); 747139c1837SPaolo Bonzini } 748d1c3f4e9SRichard Henderson} 749139c1837SPaolo Bonzini 750678155b2SRichard Hendersonstatic void tcg_out_ext8s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg) 751139c1837SPaolo Bonzini{ 752b86c6ba6SRichard Henderson if (cpuinfo & CPUINFO_ZBB) { 753d1c3f4e9SRichard Henderson tcg_out_opc_imm(s, OPC_SEXT_B, ret, arg, 0); 754d1c3f4e9SRichard Henderson } else { 755139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 24); 756139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 24); 757139c1837SPaolo Bonzini } 758d1c3f4e9SRichard Henderson} 759139c1837SPaolo Bonzini 760753e42eaSRichard Hendersonstatic void tcg_out_ext16s(TCGContext *s, TCGType type, TCGReg ret, TCGReg arg) 761139c1837SPaolo Bonzini{ 762b86c6ba6SRichard Henderson if (cpuinfo & CPUINFO_ZBB) { 763d1c3f4e9SRichard Henderson tcg_out_opc_imm(s, OPC_SEXT_H, ret, arg, 0); 764d1c3f4e9SRichard Henderson } else { 765139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SLLIW, ret, arg, 16); 766139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SRAIW, ret, ret, 16); 767139c1837SPaolo Bonzini } 768d1c3f4e9SRichard Henderson} 769139c1837SPaolo Bonzini 770139c1837SPaolo Bonzinistatic void tcg_out_ext32s(TCGContext *s, TCGReg ret, TCGReg arg) 771139c1837SPaolo Bonzini{ 772139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ADDIW, ret, arg, 0); 773139c1837SPaolo Bonzini} 774139c1837SPaolo Bonzini 7759c6aa274SRichard Hendersonstatic void tcg_out_exts_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg) 7769c6aa274SRichard Henderson{ 7773ea9be33SRichard Henderson if (ret != arg) { 7789c6aa274SRichard Henderson tcg_out_ext32s(s, ret, arg); 7799c6aa274SRichard Henderson } 7803ea9be33SRichard Henderson} 7819c6aa274SRichard Henderson 782b9bfe000SRichard Hendersonstatic void tcg_out_extu_i32_i64(TCGContext *s, TCGReg ret, TCGReg arg) 783b9bfe000SRichard Henderson{ 784b9bfe000SRichard Henderson tcg_out_ext32u(s, ret, arg); 785b9bfe000SRichard Henderson} 786b9bfe000SRichard Henderson 787b8b94ac6SRichard Hendersonstatic void tcg_out_extrl_i64_i32(TCGContext *s, TCGReg ret, TCGReg arg) 788b8b94ac6SRichard Henderson{ 789b8b94ac6SRichard Henderson tcg_out_ext32s(s, ret, arg); 790b8b94ac6SRichard Henderson} 791b8b94ac6SRichard Henderson 792139c1837SPaolo Bonzinistatic void tcg_out_ldst(TCGContext *s, RISCVInsn opc, TCGReg data, 793139c1837SPaolo Bonzini TCGReg addr, intptr_t offset) 794139c1837SPaolo Bonzini{ 795139c1837SPaolo Bonzini intptr_t imm12 = sextreg(offset, 0, 12); 796139c1837SPaolo Bonzini 797139c1837SPaolo Bonzini if (offset != imm12) { 7989d9db413SRichard Henderson intptr_t diff = tcg_pcrel_diff(s, (void *)offset); 799139c1837SPaolo Bonzini 800139c1837SPaolo Bonzini if (addr == TCG_REG_ZERO && diff == (int32_t)diff) { 801139c1837SPaolo Bonzini imm12 = sextreg(diff, 0, 12); 802139c1837SPaolo Bonzini tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP2, diff - imm12); 803139c1837SPaolo Bonzini } else { 804139c1837SPaolo Bonzini tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP2, offset - imm12); 805139c1837SPaolo Bonzini if (addr != TCG_REG_ZERO) { 806139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, addr); 807139c1837SPaolo Bonzini } 808139c1837SPaolo Bonzini } 809139c1837SPaolo Bonzini addr = TCG_REG_TMP2; 810139c1837SPaolo Bonzini } 811139c1837SPaolo Bonzini 812139c1837SPaolo Bonzini switch (opc) { 813139c1837SPaolo Bonzini case OPC_SB: 814139c1837SPaolo Bonzini case OPC_SH: 815139c1837SPaolo Bonzini case OPC_SW: 816139c1837SPaolo Bonzini case OPC_SD: 817139c1837SPaolo Bonzini tcg_out_opc_store(s, opc, addr, data, imm12); 818139c1837SPaolo Bonzini break; 819139c1837SPaolo Bonzini case OPC_LB: 820139c1837SPaolo Bonzini case OPC_LBU: 821139c1837SPaolo Bonzini case OPC_LH: 822139c1837SPaolo Bonzini case OPC_LHU: 823139c1837SPaolo Bonzini case OPC_LW: 824139c1837SPaolo Bonzini case OPC_LWU: 825139c1837SPaolo Bonzini case OPC_LD: 826139c1837SPaolo Bonzini tcg_out_opc_imm(s, opc, data, addr, imm12); 827139c1837SPaolo Bonzini break; 828139c1837SPaolo Bonzini default: 829139c1837SPaolo Bonzini g_assert_not_reached(); 830139c1837SPaolo Bonzini } 831139c1837SPaolo Bonzini} 832139c1837SPaolo Bonzini 833f63e7089SHuang Shiyuanstatic void tcg_out_vec_ldst(TCGContext *s, RISCVInsn opc, TCGReg data, 834f63e7089SHuang Shiyuan TCGReg addr, intptr_t offset) 835f63e7089SHuang Shiyuan{ 836f63e7089SHuang Shiyuan tcg_debug_assert(data >= TCG_REG_V0); 837f63e7089SHuang Shiyuan tcg_debug_assert(addr < TCG_REG_V0); 838f63e7089SHuang Shiyuan 839f63e7089SHuang Shiyuan if (offset) { 840f63e7089SHuang Shiyuan tcg_debug_assert(addr != TCG_REG_ZERO); 841f63e7089SHuang Shiyuan if (offset == sextreg(offset, 0, 12)) { 842f63e7089SHuang Shiyuan tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_TMP0, addr, offset); 843f63e7089SHuang Shiyuan } else { 844f63e7089SHuang Shiyuan tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP0, offset); 845f63e7089SHuang Shiyuan tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, TCG_REG_TMP0, addr); 846f63e7089SHuang Shiyuan } 847f63e7089SHuang Shiyuan addr = TCG_REG_TMP0; 848f63e7089SHuang Shiyuan } 849f63e7089SHuang Shiyuan tcg_out32(s, encode_v(opc, data, addr, 0, true)); 850f63e7089SHuang Shiyuan} 851f63e7089SHuang Shiyuan 852139c1837SPaolo Bonzinistatic void tcg_out_ld(TCGContext *s, TCGType type, TCGReg arg, 853139c1837SPaolo Bonzini TCGReg arg1, intptr_t arg2) 854139c1837SPaolo Bonzini{ 855f63e7089SHuang Shiyuan RISCVInsn insn; 856f63e7089SHuang Shiyuan 857f63e7089SHuang Shiyuan switch (type) { 858f63e7089SHuang Shiyuan case TCG_TYPE_I32: 859f63e7089SHuang Shiyuan tcg_out_ldst(s, OPC_LW, arg, arg1, arg2); 860f63e7089SHuang Shiyuan break; 861f63e7089SHuang Shiyuan case TCG_TYPE_I64: 862f63e7089SHuang Shiyuan tcg_out_ldst(s, OPC_LD, arg, arg1, arg2); 863f63e7089SHuang Shiyuan break; 864f63e7089SHuang Shiyuan case TCG_TYPE_V64: 865f63e7089SHuang Shiyuan case TCG_TYPE_V128: 866f63e7089SHuang Shiyuan case TCG_TYPE_V256: 867f63e7089SHuang Shiyuan if (type >= riscv_lg2_vlenb) { 868f63e7089SHuang Shiyuan static const RISCVInsn whole_reg_ld[] = { 869f63e7089SHuang Shiyuan OPC_VL1RE64_V, OPC_VL2RE64_V, OPC_VL4RE64_V, OPC_VL8RE64_V 870f63e7089SHuang Shiyuan }; 871f63e7089SHuang Shiyuan unsigned idx = type - riscv_lg2_vlenb; 872f63e7089SHuang Shiyuan 873f63e7089SHuang Shiyuan tcg_debug_assert(idx < ARRAY_SIZE(whole_reg_ld)); 874f63e7089SHuang Shiyuan insn = whole_reg_ld[idx]; 875f63e7089SHuang Shiyuan } else { 876f63e7089SHuang Shiyuan static const RISCVInsn unit_stride_ld[] = { 877f63e7089SHuang Shiyuan OPC_VLE8_V, OPC_VLE16_V, OPC_VLE32_V, OPC_VLE64_V 878f63e7089SHuang Shiyuan }; 879f63e7089SHuang Shiyuan MemOp prev_vsew = set_vtype_len(s, type); 880f63e7089SHuang Shiyuan 881f63e7089SHuang Shiyuan tcg_debug_assert(prev_vsew < ARRAY_SIZE(unit_stride_ld)); 882f63e7089SHuang Shiyuan insn = unit_stride_ld[prev_vsew]; 883f63e7089SHuang Shiyuan } 884f63e7089SHuang Shiyuan tcg_out_vec_ldst(s, insn, arg, arg1, arg2); 885f63e7089SHuang Shiyuan break; 886f63e7089SHuang Shiyuan default: 887f63e7089SHuang Shiyuan g_assert_not_reached(); 888f63e7089SHuang Shiyuan } 889139c1837SPaolo Bonzini} 890139c1837SPaolo Bonzini 891139c1837SPaolo Bonzinistatic void tcg_out_st(TCGContext *s, TCGType type, TCGReg arg, 892139c1837SPaolo Bonzini TCGReg arg1, intptr_t arg2) 893139c1837SPaolo Bonzini{ 894f63e7089SHuang Shiyuan RISCVInsn insn; 895f63e7089SHuang Shiyuan 896f63e7089SHuang Shiyuan switch (type) { 897f63e7089SHuang Shiyuan case TCG_TYPE_I32: 898f63e7089SHuang Shiyuan tcg_out_ldst(s, OPC_SW, arg, arg1, arg2); 899f63e7089SHuang Shiyuan break; 900f63e7089SHuang Shiyuan case TCG_TYPE_I64: 901f63e7089SHuang Shiyuan tcg_out_ldst(s, OPC_SD, arg, arg1, arg2); 902f63e7089SHuang Shiyuan break; 903f63e7089SHuang Shiyuan case TCG_TYPE_V64: 904f63e7089SHuang Shiyuan case TCG_TYPE_V128: 905f63e7089SHuang Shiyuan case TCG_TYPE_V256: 906f63e7089SHuang Shiyuan if (type >= riscv_lg2_vlenb) { 907f63e7089SHuang Shiyuan static const RISCVInsn whole_reg_st[] = { 908f63e7089SHuang Shiyuan OPC_VS1R_V, OPC_VS2R_V, OPC_VS4R_V, OPC_VS8R_V 909f63e7089SHuang Shiyuan }; 910f63e7089SHuang Shiyuan unsigned idx = type - riscv_lg2_vlenb; 911f63e7089SHuang Shiyuan 912f63e7089SHuang Shiyuan tcg_debug_assert(idx < ARRAY_SIZE(whole_reg_st)); 913f63e7089SHuang Shiyuan insn = whole_reg_st[idx]; 914f63e7089SHuang Shiyuan } else { 915f63e7089SHuang Shiyuan static const RISCVInsn unit_stride_st[] = { 916f63e7089SHuang Shiyuan OPC_VSE8_V, OPC_VSE16_V, OPC_VSE32_V, OPC_VSE64_V 917f63e7089SHuang Shiyuan }; 918f63e7089SHuang Shiyuan MemOp prev_vsew = set_vtype_len(s, type); 919f63e7089SHuang Shiyuan 920f63e7089SHuang Shiyuan tcg_debug_assert(prev_vsew < ARRAY_SIZE(unit_stride_st)); 921f63e7089SHuang Shiyuan insn = unit_stride_st[prev_vsew]; 922f63e7089SHuang Shiyuan } 923f63e7089SHuang Shiyuan tcg_out_vec_ldst(s, insn, arg, arg1, arg2); 924f63e7089SHuang Shiyuan break; 925f63e7089SHuang Shiyuan default: 926f63e7089SHuang Shiyuan g_assert_not_reached(); 927f63e7089SHuang Shiyuan } 928139c1837SPaolo Bonzini} 929139c1837SPaolo Bonzini 930139c1837SPaolo Bonzinistatic bool tcg_out_sti(TCGContext *s, TCGType type, TCGArg val, 931139c1837SPaolo Bonzini TCGReg base, intptr_t ofs) 932139c1837SPaolo Bonzini{ 933139c1837SPaolo Bonzini if (val == 0) { 934139c1837SPaolo Bonzini tcg_out_st(s, type, TCG_REG_ZERO, base, ofs); 935139c1837SPaolo Bonzini return true; 936139c1837SPaolo Bonzini } 937139c1837SPaolo Bonzini return false; 938139c1837SPaolo Bonzini} 939139c1837SPaolo Bonzini 940139c1837SPaolo Bonzinistatic void tcg_out_addsub2(TCGContext *s, 941139c1837SPaolo Bonzini TCGReg rl, TCGReg rh, 942139c1837SPaolo Bonzini TCGReg al, TCGReg ah, 943139c1837SPaolo Bonzini TCGArg bl, TCGArg bh, 944139c1837SPaolo Bonzini bool cbl, bool cbh, bool is_sub, bool is32bit) 945139c1837SPaolo Bonzini{ 946139c1837SPaolo Bonzini const RISCVInsn opc_add = is32bit ? OPC_ADDW : OPC_ADD; 947139c1837SPaolo Bonzini const RISCVInsn opc_addi = is32bit ? OPC_ADDIW : OPC_ADDI; 948139c1837SPaolo Bonzini const RISCVInsn opc_sub = is32bit ? OPC_SUBW : OPC_SUB; 949139c1837SPaolo Bonzini TCGReg th = TCG_REG_TMP1; 950139c1837SPaolo Bonzini 951139c1837SPaolo Bonzini /* If we have a negative constant such that negating it would 952139c1837SPaolo Bonzini make the high part zero, we can (usually) eliminate one insn. */ 953139c1837SPaolo Bonzini if (cbl && cbh && bh == -1 && bl != 0) { 954139c1837SPaolo Bonzini bl = -bl; 955139c1837SPaolo Bonzini bh = 0; 956139c1837SPaolo Bonzini is_sub = !is_sub; 957139c1837SPaolo Bonzini } 958139c1837SPaolo Bonzini 959139c1837SPaolo Bonzini /* By operating on the high part first, we get to use the final 960139c1837SPaolo Bonzini carry operation to move back from the temporary. */ 961139c1837SPaolo Bonzini if (!cbh) { 962139c1837SPaolo Bonzini tcg_out_opc_reg(s, (is_sub ? opc_sub : opc_add), th, ah, bh); 963139c1837SPaolo Bonzini } else if (bh != 0 || ah == rl) { 964139c1837SPaolo Bonzini tcg_out_opc_imm(s, opc_addi, th, ah, (is_sub ? -bh : bh)); 965139c1837SPaolo Bonzini } else { 966139c1837SPaolo Bonzini th = ah; 967139c1837SPaolo Bonzini } 968139c1837SPaolo Bonzini 969139c1837SPaolo Bonzini /* Note that tcg optimization should eliminate the bl == 0 case. */ 970139c1837SPaolo Bonzini if (is_sub) { 971139c1837SPaolo Bonzini if (cbl) { 972139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, al, bl); 973139c1837SPaolo Bonzini tcg_out_opc_imm(s, opc_addi, rl, al, -bl); 974139c1837SPaolo Bonzini } else { 975139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0, al, bl); 976139c1837SPaolo Bonzini tcg_out_opc_reg(s, opc_sub, rl, al, bl); 977139c1837SPaolo Bonzini } 978139c1837SPaolo Bonzini tcg_out_opc_reg(s, opc_sub, rh, th, TCG_REG_TMP0); 979139c1837SPaolo Bonzini } else { 980139c1837SPaolo Bonzini if (cbl) { 981139c1837SPaolo Bonzini tcg_out_opc_imm(s, opc_addi, rl, al, bl); 982139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SLTIU, TCG_REG_TMP0, rl, bl); 9839b246685SRichard Henderson } else if (al == bl) { 9849b246685SRichard Henderson /* 9859b246685SRichard Henderson * If the input regs overlap, this is a simple doubling 9869b246685SRichard Henderson * and carry-out is the input msb. This special case is 9879b246685SRichard Henderson * required when the output reg overlaps the input, 9889b246685SRichard Henderson * but we might as well use it always. 9899b246685SRichard Henderson */ 990139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SLTI, TCG_REG_TMP0, al, 0); 9919b246685SRichard Henderson tcg_out_opc_reg(s, opc_add, rl, al, al); 992139c1837SPaolo Bonzini } else { 993139c1837SPaolo Bonzini tcg_out_opc_reg(s, opc_add, rl, al, bl); 994139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_SLTU, TCG_REG_TMP0, 995139c1837SPaolo Bonzini rl, (rl == bl ? al : bl)); 996139c1837SPaolo Bonzini } 997139c1837SPaolo Bonzini tcg_out_opc_reg(s, opc_add, rh, th, TCG_REG_TMP0); 998139c1837SPaolo Bonzini } 999139c1837SPaolo Bonzini} 1000139c1837SPaolo Bonzini 1001f63e7089SHuang Shiyuanstatic bool tcg_out_dup_vec(TCGContext *s, TCGType type, unsigned vece, 1002f63e7089SHuang Shiyuan TCGReg dst, TCGReg src) 1003f63e7089SHuang Shiyuan{ 1004*d4be6ee1STANG Tiancheng set_vtype_len_sew(s, type, vece); 1005*d4be6ee1STANG Tiancheng tcg_out_opc_vx(s, OPC_VMV_V_X, dst, 0, src); 1006*d4be6ee1STANG Tiancheng return true; 1007f63e7089SHuang Shiyuan} 1008f63e7089SHuang Shiyuan 1009f63e7089SHuang Shiyuanstatic bool tcg_out_dupm_vec(TCGContext *s, TCGType type, unsigned vece, 1010f63e7089SHuang Shiyuan TCGReg dst, TCGReg base, intptr_t offset) 1011f63e7089SHuang Shiyuan{ 1012*d4be6ee1STANG Tiancheng tcg_out_ld(s, TCG_TYPE_REG, TCG_REG_TMP0, base, offset); 1013*d4be6ee1STANG Tiancheng return tcg_out_dup_vec(s, type, vece, dst, TCG_REG_TMP0); 1014f63e7089SHuang Shiyuan} 1015f63e7089SHuang Shiyuan 1016f63e7089SHuang Shiyuanstatic void tcg_out_dupi_vec(TCGContext *s, TCGType type, unsigned vece, 1017f63e7089SHuang Shiyuan TCGReg dst, int64_t arg) 1018f63e7089SHuang Shiyuan{ 1019*d4be6ee1STANG Tiancheng /* Arg is replicated by VECE; extract the highest element. */ 1020*d4be6ee1STANG Tiancheng arg >>= (-8 << vece) & 63; 1021*d4be6ee1STANG Tiancheng 1022*d4be6ee1STANG Tiancheng if (arg >= -16 && arg < 16) { 1023*d4be6ee1STANG Tiancheng if (arg == 0 || arg == -1) { 1024*d4be6ee1STANG Tiancheng set_vtype_len(s, type); 1025*d4be6ee1STANG Tiancheng } else { 1026*d4be6ee1STANG Tiancheng set_vtype_len_sew(s, type, vece); 1027*d4be6ee1STANG Tiancheng } 1028*d4be6ee1STANG Tiancheng tcg_out_opc_vi(s, OPC_VMV_V_I, dst, 0, arg); 1029*d4be6ee1STANG Tiancheng return; 1030*d4be6ee1STANG Tiancheng } 1031*d4be6ee1STANG Tiancheng tcg_out_movi(s, TCG_TYPE_I64, TCG_REG_TMP0, arg); 1032*d4be6ee1STANG Tiancheng tcg_out_dup_vec(s, type, vece, dst, TCG_REG_TMP0); 1033f63e7089SHuang Shiyuan} 1034f63e7089SHuang Shiyuan 1035139c1837SPaolo Bonzinistatic const struct { 1036139c1837SPaolo Bonzini RISCVInsn op; 1037139c1837SPaolo Bonzini bool swap; 1038139c1837SPaolo Bonzini} tcg_brcond_to_riscv[] = { 1039139c1837SPaolo Bonzini [TCG_COND_EQ] = { OPC_BEQ, false }, 1040139c1837SPaolo Bonzini [TCG_COND_NE] = { OPC_BNE, false }, 1041139c1837SPaolo Bonzini [TCG_COND_LT] = { OPC_BLT, false }, 1042139c1837SPaolo Bonzini [TCG_COND_GE] = { OPC_BGE, false }, 1043139c1837SPaolo Bonzini [TCG_COND_LE] = { OPC_BGE, true }, 1044139c1837SPaolo Bonzini [TCG_COND_GT] = { OPC_BLT, true }, 1045139c1837SPaolo Bonzini [TCG_COND_LTU] = { OPC_BLTU, false }, 1046139c1837SPaolo Bonzini [TCG_COND_GEU] = { OPC_BGEU, false }, 1047139c1837SPaolo Bonzini [TCG_COND_LEU] = { OPC_BGEU, true }, 1048139c1837SPaolo Bonzini [TCG_COND_GTU] = { OPC_BLTU, true } 1049139c1837SPaolo Bonzini}; 1050139c1837SPaolo Bonzini 1051139c1837SPaolo Bonzinistatic void tcg_out_brcond(TCGContext *s, TCGCond cond, TCGReg arg1, 1052139c1837SPaolo Bonzini TCGReg arg2, TCGLabel *l) 1053139c1837SPaolo Bonzini{ 1054139c1837SPaolo Bonzini RISCVInsn op = tcg_brcond_to_riscv[cond].op; 1055139c1837SPaolo Bonzini 1056139c1837SPaolo Bonzini tcg_debug_assert(op != 0); 1057139c1837SPaolo Bonzini 1058139c1837SPaolo Bonzini if (tcg_brcond_to_riscv[cond].swap) { 1059139c1837SPaolo Bonzini TCGReg t = arg1; 1060139c1837SPaolo Bonzini arg1 = arg2; 1061139c1837SPaolo Bonzini arg2 = t; 1062139c1837SPaolo Bonzini } 1063139c1837SPaolo Bonzini 1064139c1837SPaolo Bonzini tcg_out_reloc(s, s->code_ptr, R_RISCV_BRANCH, l, 0); 1065139c1837SPaolo Bonzini tcg_out_opc_branch(s, op, arg1, arg2, 0); 1066139c1837SPaolo Bonzini} 1067139c1837SPaolo Bonzini 1068f6453695SRichard Henderson#define SETCOND_INV TCG_TARGET_NB_REGS 1069f6453695SRichard Henderson#define SETCOND_NEZ (SETCOND_INV << 1) 1070f6453695SRichard Henderson#define SETCOND_FLAGS (SETCOND_INV | SETCOND_NEZ) 1071f6453695SRichard Henderson 1072f6453695SRichard Hendersonstatic int tcg_out_setcond_int(TCGContext *s, TCGCond cond, TCGReg ret, 1073f6453695SRichard Henderson TCGReg arg1, tcg_target_long arg2, bool c2) 1074139c1837SPaolo Bonzini{ 1075f6453695SRichard Henderson int flags = 0; 1076f6453695SRichard Henderson 1077139c1837SPaolo Bonzini switch (cond) { 1078f6453695SRichard Henderson case TCG_COND_EQ: /* -> NE */ 1079f6453695SRichard Henderson case TCG_COND_GE: /* -> LT */ 1080f6453695SRichard Henderson case TCG_COND_GEU: /* -> LTU */ 1081f6453695SRichard Henderson case TCG_COND_GT: /* -> LE */ 1082f6453695SRichard Henderson case TCG_COND_GTU: /* -> LEU */ 1083f6453695SRichard Henderson cond = tcg_invert_cond(cond); 1084f6453695SRichard Henderson flags ^= SETCOND_INV; 1085139c1837SPaolo Bonzini break; 1086f6453695SRichard Henderson default: 1087139c1837SPaolo Bonzini break; 1088f6453695SRichard Henderson } 1089f6453695SRichard Henderson 1090f6453695SRichard Henderson switch (cond) { 1091139c1837SPaolo Bonzini case TCG_COND_LE: 1092139c1837SPaolo Bonzini case TCG_COND_LEU: 1093f6453695SRichard Henderson /* 1094f6453695SRichard Henderson * If we have a constant input, the most efficient way to implement 1095f6453695SRichard Henderson * LE is by adding 1 and using LT. Watch out for wrap around for LEU. 1096f6453695SRichard Henderson * We don't need to care for this for LE because the constant input 1097f6453695SRichard Henderson * is constrained to signed 12-bit, and 0x800 is representable in the 1098f6453695SRichard Henderson * temporary register. 1099f6453695SRichard Henderson */ 1100f6453695SRichard Henderson if (c2) { 1101f6453695SRichard Henderson if (cond == TCG_COND_LEU) { 1102f6453695SRichard Henderson /* unsigned <= -1 is true */ 1103f6453695SRichard Henderson if (arg2 == -1) { 1104f6453695SRichard Henderson tcg_out_movi(s, TCG_TYPE_REG, ret, !(flags & SETCOND_INV)); 1105f6453695SRichard Henderson return ret; 1106f6453695SRichard Henderson } 1107f6453695SRichard Henderson cond = TCG_COND_LTU; 1108f6453695SRichard Henderson } else { 1109f6453695SRichard Henderson cond = TCG_COND_LT; 1110f6453695SRichard Henderson } 1111f6453695SRichard Henderson tcg_debug_assert(arg2 <= 0x7ff); 1112f6453695SRichard Henderson if (++arg2 == 0x800) { 1113f6453695SRichard Henderson tcg_out_movi(s, TCG_TYPE_REG, TCG_REG_TMP0, arg2); 1114f6453695SRichard Henderson arg2 = TCG_REG_TMP0; 1115f6453695SRichard Henderson c2 = false; 1116f6453695SRichard Henderson } 1117f6453695SRichard Henderson } else { 1118f6453695SRichard Henderson TCGReg tmp = arg2; 1119f6453695SRichard Henderson arg2 = arg1; 1120f6453695SRichard Henderson arg1 = tmp; 1121f6453695SRichard Henderson cond = tcg_swap_cond(cond); /* LE -> GE */ 1122f6453695SRichard Henderson cond = tcg_invert_cond(cond); /* GE -> LT */ 1123f6453695SRichard Henderson flags ^= SETCOND_INV; 1124f6453695SRichard Henderson } 1125139c1837SPaolo Bonzini break; 1126f6453695SRichard Henderson default: 1127f6453695SRichard Henderson break; 1128f6453695SRichard Henderson } 1129f6453695SRichard Henderson 1130f6453695SRichard Henderson switch (cond) { 1131f6453695SRichard Henderson case TCG_COND_NE: 1132f6453695SRichard Henderson flags |= SETCOND_NEZ; 1133f6453695SRichard Henderson if (!c2) { 1134f6453695SRichard Henderson tcg_out_opc_reg(s, OPC_XOR, ret, arg1, arg2); 1135f6453695SRichard Henderson } else if (arg2 == 0) { 1136f6453695SRichard Henderson ret = arg1; 1137f6453695SRichard Henderson } else { 1138f6453695SRichard Henderson tcg_out_opc_imm(s, OPC_XORI, ret, arg1, arg2); 1139f6453695SRichard Henderson } 1140f6453695SRichard Henderson break; 1141f6453695SRichard Henderson 1142f6453695SRichard Henderson case TCG_COND_LT: 1143f6453695SRichard Henderson if (c2) { 1144f6453695SRichard Henderson tcg_out_opc_imm(s, OPC_SLTI, ret, arg1, arg2); 1145f6453695SRichard Henderson } else { 1146f6453695SRichard Henderson tcg_out_opc_reg(s, OPC_SLT, ret, arg1, arg2); 1147f6453695SRichard Henderson } 1148f6453695SRichard Henderson break; 1149f6453695SRichard Henderson 1150f6453695SRichard Henderson case TCG_COND_LTU: 1151f6453695SRichard Henderson if (c2) { 1152f6453695SRichard Henderson tcg_out_opc_imm(s, OPC_SLTIU, ret, arg1, arg2); 1153f6453695SRichard Henderson } else { 1154f6453695SRichard Henderson tcg_out_opc_reg(s, OPC_SLTU, ret, arg1, arg2); 1155f6453695SRichard Henderson } 1156f6453695SRichard Henderson break; 1157f6453695SRichard Henderson 1158f6453695SRichard Henderson default: 1159f6453695SRichard Henderson g_assert_not_reached(); 1160f6453695SRichard Henderson } 1161f6453695SRichard Henderson 1162f6453695SRichard Henderson return ret | flags; 1163f6453695SRichard Henderson} 1164f6453695SRichard Henderson 1165f6453695SRichard Hendersonstatic void tcg_out_setcond(TCGContext *s, TCGCond cond, TCGReg ret, 1166f6453695SRichard Henderson TCGReg arg1, tcg_target_long arg2, bool c2) 1167f6453695SRichard Henderson{ 1168f6453695SRichard Henderson int tmpflags = tcg_out_setcond_int(s, cond, ret, arg1, arg2, c2); 1169f6453695SRichard Henderson 1170f6453695SRichard Henderson if (tmpflags != ret) { 1171f6453695SRichard Henderson TCGReg tmp = tmpflags & ~SETCOND_FLAGS; 1172f6453695SRichard Henderson 1173f6453695SRichard Henderson switch (tmpflags & SETCOND_FLAGS) { 1174f6453695SRichard Henderson case SETCOND_INV: 1175f6453695SRichard Henderson /* Intermediate result is boolean: simply invert. */ 1176f6453695SRichard Henderson tcg_out_opc_imm(s, OPC_XORI, ret, tmp, 1); 1177f6453695SRichard Henderson break; 1178f6453695SRichard Henderson case SETCOND_NEZ: 1179f6453695SRichard Henderson /* Intermediate result is zero/non-zero: test != 0. */ 1180f6453695SRichard Henderson tcg_out_opc_reg(s, OPC_SLTU, ret, TCG_REG_ZERO, tmp); 1181f6453695SRichard Henderson break; 1182f6453695SRichard Henderson case SETCOND_NEZ | SETCOND_INV: 1183f6453695SRichard Henderson /* Intermediate result is zero/non-zero: test == 0. */ 1184f6453695SRichard Henderson tcg_out_opc_imm(s, OPC_SLTIU, ret, tmp, 1); 1185139c1837SPaolo Bonzini break; 1186139c1837SPaolo Bonzini default: 1187139c1837SPaolo Bonzini g_assert_not_reached(); 1188f6453695SRichard Henderson } 1189139c1837SPaolo Bonzini } 1190139c1837SPaolo Bonzini} 1191139c1837SPaolo Bonzini 119241e4c0a9SRichard Hendersonstatic void tcg_out_negsetcond(TCGContext *s, TCGCond cond, TCGReg ret, 119341e4c0a9SRichard Henderson TCGReg arg1, tcg_target_long arg2, bool c2) 119441e4c0a9SRichard Henderson{ 119541e4c0a9SRichard Henderson int tmpflags; 119641e4c0a9SRichard Henderson TCGReg tmp; 119741e4c0a9SRichard Henderson 119841e4c0a9SRichard Henderson /* For LT/GE comparison against 0, replicate the sign bit. */ 119941e4c0a9SRichard Henderson if (c2 && arg2 == 0) { 120041e4c0a9SRichard Henderson switch (cond) { 120141e4c0a9SRichard Henderson case TCG_COND_GE: 120241e4c0a9SRichard Henderson tcg_out_opc_imm(s, OPC_XORI, ret, arg1, -1); 120341e4c0a9SRichard Henderson arg1 = ret; 120441e4c0a9SRichard Henderson /* fall through */ 120541e4c0a9SRichard Henderson case TCG_COND_LT: 120641e4c0a9SRichard Henderson tcg_out_opc_imm(s, OPC_SRAI, ret, arg1, TCG_TARGET_REG_BITS - 1); 120741e4c0a9SRichard Henderson return; 120841e4c0a9SRichard Henderson default: 120941e4c0a9SRichard Henderson break; 121041e4c0a9SRichard Henderson } 121141e4c0a9SRichard Henderson } 121241e4c0a9SRichard Henderson 121341e4c0a9SRichard Henderson tmpflags = tcg_out_setcond_int(s, cond, ret, arg1, arg2, c2); 121441e4c0a9SRichard Henderson tmp = tmpflags & ~SETCOND_FLAGS; 121541e4c0a9SRichard Henderson 121641e4c0a9SRichard Henderson /* If intermediate result is zero/non-zero: test != 0. */ 121741e4c0a9SRichard Henderson if (tmpflags & SETCOND_NEZ) { 121841e4c0a9SRichard Henderson tcg_out_opc_reg(s, OPC_SLTU, ret, TCG_REG_ZERO, tmp); 121941e4c0a9SRichard Henderson tmp = ret; 122041e4c0a9SRichard Henderson } 122141e4c0a9SRichard Henderson 122241e4c0a9SRichard Henderson /* Produce the 0/-1 result. */ 122341e4c0a9SRichard Henderson if (tmpflags & SETCOND_INV) { 122441e4c0a9SRichard Henderson tcg_out_opc_imm(s, OPC_ADDI, ret, tmp, -1); 122541e4c0a9SRichard Henderson } else { 122641e4c0a9SRichard Henderson tcg_out_opc_reg(s, OPC_SUB, ret, TCG_REG_ZERO, tmp); 122741e4c0a9SRichard Henderson } 122841e4c0a9SRichard Henderson} 122941e4c0a9SRichard Henderson 1230a18d783eSRichard Hendersonstatic void tcg_out_movcond_zicond(TCGContext *s, TCGReg ret, TCGReg test_ne, 1231a18d783eSRichard Henderson int val1, bool c_val1, 1232a18d783eSRichard Henderson int val2, bool c_val2) 1233a18d783eSRichard Henderson{ 1234a18d783eSRichard Henderson if (val1 == 0) { 1235a18d783eSRichard Henderson if (c_val2) { 1236a18d783eSRichard Henderson tcg_out_movi(s, TCG_TYPE_REG, TCG_REG_TMP1, val2); 1237a18d783eSRichard Henderson val2 = TCG_REG_TMP1; 1238a18d783eSRichard Henderson } 1239a18d783eSRichard Henderson tcg_out_opc_reg(s, OPC_CZERO_NEZ, ret, val2, test_ne); 1240a18d783eSRichard Henderson return; 1241a18d783eSRichard Henderson } 1242a18d783eSRichard Henderson 1243a18d783eSRichard Henderson if (val2 == 0) { 1244a18d783eSRichard Henderson if (c_val1) { 1245a18d783eSRichard Henderson tcg_out_movi(s, TCG_TYPE_REG, TCG_REG_TMP1, val1); 1246a18d783eSRichard Henderson val1 = TCG_REG_TMP1; 1247a18d783eSRichard Henderson } 1248a18d783eSRichard Henderson tcg_out_opc_reg(s, OPC_CZERO_EQZ, ret, val1, test_ne); 1249a18d783eSRichard Henderson return; 1250a18d783eSRichard Henderson } 1251a18d783eSRichard Henderson 1252a18d783eSRichard Henderson if (c_val2) { 1253a18d783eSRichard Henderson if (c_val1) { 1254a18d783eSRichard Henderson tcg_out_movi(s, TCG_TYPE_REG, TCG_REG_TMP1, val1 - val2); 1255a18d783eSRichard Henderson } else { 1256a18d783eSRichard Henderson tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_TMP1, val1, -val2); 1257a18d783eSRichard Henderson } 1258a18d783eSRichard Henderson tcg_out_opc_reg(s, OPC_CZERO_EQZ, ret, TCG_REG_TMP1, test_ne); 1259a18d783eSRichard Henderson tcg_out_opc_imm(s, OPC_ADDI, ret, ret, val2); 1260a18d783eSRichard Henderson return; 1261a18d783eSRichard Henderson } 1262a18d783eSRichard Henderson 1263a18d783eSRichard Henderson if (c_val1) { 1264a18d783eSRichard Henderson tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_TMP1, val2, -val1); 1265a18d783eSRichard Henderson tcg_out_opc_reg(s, OPC_CZERO_NEZ, ret, TCG_REG_TMP1, test_ne); 1266a18d783eSRichard Henderson tcg_out_opc_imm(s, OPC_ADDI, ret, ret, val1); 1267a18d783eSRichard Henderson return; 1268a18d783eSRichard Henderson } 1269a18d783eSRichard Henderson 1270a18d783eSRichard Henderson tcg_out_opc_reg(s, OPC_CZERO_NEZ, TCG_REG_TMP1, val2, test_ne); 1271a18d783eSRichard Henderson tcg_out_opc_reg(s, OPC_CZERO_EQZ, TCG_REG_TMP0, val1, test_ne); 1272a18d783eSRichard Henderson tcg_out_opc_reg(s, OPC_OR, ret, TCG_REG_TMP0, TCG_REG_TMP1); 1273a18d783eSRichard Henderson} 1274a18d783eSRichard Henderson 1275a18d783eSRichard Hendersonstatic void tcg_out_movcond_br1(TCGContext *s, TCGCond cond, TCGReg ret, 1276a18d783eSRichard Henderson TCGReg cmp1, TCGReg cmp2, 1277a18d783eSRichard Henderson int val, bool c_val) 1278a18d783eSRichard Henderson{ 1279a18d783eSRichard Henderson RISCVInsn op; 1280a18d783eSRichard Henderson int disp = 8; 1281a18d783eSRichard Henderson 1282a18d783eSRichard Henderson tcg_debug_assert((unsigned)cond < ARRAY_SIZE(tcg_brcond_to_riscv)); 1283a18d783eSRichard Henderson op = tcg_brcond_to_riscv[cond].op; 1284a18d783eSRichard Henderson tcg_debug_assert(op != 0); 1285a18d783eSRichard Henderson 1286a18d783eSRichard Henderson if (tcg_brcond_to_riscv[cond].swap) { 1287a18d783eSRichard Henderson tcg_out_opc_branch(s, op, cmp2, cmp1, disp); 1288a18d783eSRichard Henderson } else { 1289a18d783eSRichard Henderson tcg_out_opc_branch(s, op, cmp1, cmp2, disp); 1290a18d783eSRichard Henderson } 1291a18d783eSRichard Henderson if (c_val) { 1292a18d783eSRichard Henderson tcg_out_opc_imm(s, OPC_ADDI, ret, TCG_REG_ZERO, val); 1293a18d783eSRichard Henderson } else { 1294a18d783eSRichard Henderson tcg_out_opc_imm(s, OPC_ADDI, ret, val, 0); 1295a18d783eSRichard Henderson } 1296a18d783eSRichard Henderson} 1297a18d783eSRichard Henderson 1298a18d783eSRichard Hendersonstatic void tcg_out_movcond_br2(TCGContext *s, TCGCond cond, TCGReg ret, 1299a18d783eSRichard Henderson TCGReg cmp1, TCGReg cmp2, 1300a18d783eSRichard Henderson int val1, bool c_val1, 1301a18d783eSRichard Henderson int val2, bool c_val2) 1302a18d783eSRichard Henderson{ 1303a18d783eSRichard Henderson TCGReg tmp; 1304a18d783eSRichard Henderson 1305a18d783eSRichard Henderson /* TCG optimizer reorders to prefer ret matching val2. */ 1306a18d783eSRichard Henderson if (!c_val2 && ret == val2) { 1307a18d783eSRichard Henderson cond = tcg_invert_cond(cond); 1308a18d783eSRichard Henderson tcg_out_movcond_br1(s, cond, ret, cmp1, cmp2, val1, c_val1); 1309a18d783eSRichard Henderson return; 1310a18d783eSRichard Henderson } 1311a18d783eSRichard Henderson 1312a18d783eSRichard Henderson if (!c_val1 && ret == val1) { 1313a18d783eSRichard Henderson tcg_out_movcond_br1(s, cond, ret, cmp1, cmp2, val2, c_val2); 1314a18d783eSRichard Henderson return; 1315a18d783eSRichard Henderson } 1316a18d783eSRichard Henderson 1317a18d783eSRichard Henderson tmp = (ret == cmp1 || ret == cmp2 ? TCG_REG_TMP1 : ret); 1318a18d783eSRichard Henderson if (c_val1) { 1319a18d783eSRichard Henderson tcg_out_movi(s, TCG_TYPE_REG, tmp, val1); 1320a18d783eSRichard Henderson } else { 1321a18d783eSRichard Henderson tcg_out_mov(s, TCG_TYPE_REG, tmp, val1); 1322a18d783eSRichard Henderson } 1323a18d783eSRichard Henderson tcg_out_movcond_br1(s, cond, tmp, cmp1, cmp2, val2, c_val2); 1324a18d783eSRichard Henderson tcg_out_mov(s, TCG_TYPE_REG, ret, tmp); 1325a18d783eSRichard Henderson} 1326a18d783eSRichard Henderson 1327a18d783eSRichard Hendersonstatic void tcg_out_movcond(TCGContext *s, TCGCond cond, TCGReg ret, 1328a18d783eSRichard Henderson TCGReg cmp1, int cmp2, bool c_cmp2, 1329a18d783eSRichard Henderson TCGReg val1, bool c_val1, 1330a18d783eSRichard Henderson TCGReg val2, bool c_val2) 1331a18d783eSRichard Henderson{ 1332a18d783eSRichard Henderson int tmpflags; 1333a18d783eSRichard Henderson TCGReg t; 1334a18d783eSRichard Henderson 1335b86c6ba6SRichard Henderson if (!(cpuinfo & CPUINFO_ZICOND) && (!c_cmp2 || cmp2 == 0)) { 1336a18d783eSRichard Henderson tcg_out_movcond_br2(s, cond, ret, cmp1, cmp2, 1337a18d783eSRichard Henderson val1, c_val1, val2, c_val2); 1338a18d783eSRichard Henderson return; 1339a18d783eSRichard Henderson } 1340a18d783eSRichard Henderson 1341a18d783eSRichard Henderson tmpflags = tcg_out_setcond_int(s, cond, TCG_REG_TMP0, cmp1, cmp2, c_cmp2); 1342a18d783eSRichard Henderson t = tmpflags & ~SETCOND_FLAGS; 1343a18d783eSRichard Henderson 1344b86c6ba6SRichard Henderson if (cpuinfo & CPUINFO_ZICOND) { 1345a18d783eSRichard Henderson if (tmpflags & SETCOND_INV) { 1346a18d783eSRichard Henderson tcg_out_movcond_zicond(s, ret, t, val2, c_val2, val1, c_val1); 1347a18d783eSRichard Henderson } else { 1348a18d783eSRichard Henderson tcg_out_movcond_zicond(s, ret, t, val1, c_val1, val2, c_val2); 1349a18d783eSRichard Henderson } 1350a18d783eSRichard Henderson } else { 1351a18d783eSRichard Henderson cond = tmpflags & SETCOND_INV ? TCG_COND_EQ : TCG_COND_NE; 1352a18d783eSRichard Henderson tcg_out_movcond_br2(s, cond, ret, t, TCG_REG_ZERO, 1353a18d783eSRichard Henderson val1, c_val1, val2, c_val2); 1354a18d783eSRichard Henderson } 1355a18d783eSRichard Henderson} 1356a18d783eSRichard Henderson 1357a30498fcSRichard Hendersonstatic void tcg_out_cltz(TCGContext *s, TCGType type, RISCVInsn insn, 1358a30498fcSRichard Henderson TCGReg ret, TCGReg src1, int src2, bool c_src2) 1359a30498fcSRichard Henderson{ 1360a30498fcSRichard Henderson tcg_out_opc_imm(s, insn, ret, src1, 0); 1361a30498fcSRichard Henderson 1362a30498fcSRichard Henderson if (!c_src2 || src2 != (type == TCG_TYPE_I32 ? 32 : 64)) { 1363a30498fcSRichard Henderson /* 1364a30498fcSRichard Henderson * The requested zero result does not match the insn, so adjust. 1365a30498fcSRichard Henderson * Note that constraints put 'ret' in a new register, so the 1366a30498fcSRichard Henderson * computation above did not clobber either 'src1' or 'src2'. 1367a30498fcSRichard Henderson */ 1368a30498fcSRichard Henderson tcg_out_movcond(s, TCG_COND_EQ, ret, src1, 0, true, 1369a30498fcSRichard Henderson src2, c_src2, ret, false); 1370a30498fcSRichard Henderson } 1371a30498fcSRichard Henderson} 1372a30498fcSRichard Henderson 1373f63e7089SHuang Shiyuanstatic void init_setting_vtype(TCGContext *s) 1374f63e7089SHuang Shiyuan{ 1375f63e7089SHuang Shiyuan s->riscv_cur_type = TCG_TYPE_COUNT; 1376f63e7089SHuang Shiyuan} 1377f63e7089SHuang Shiyuan 13782be7d76bSRichard Hendersonstatic void tcg_out_call_int(TCGContext *s, const tcg_insn_unit *arg, bool tail) 1379139c1837SPaolo Bonzini{ 1380139c1837SPaolo Bonzini TCGReg link = tail ? TCG_REG_ZERO : TCG_REG_RA; 1381139c1837SPaolo Bonzini ptrdiff_t offset = tcg_pcrel_diff(s, arg); 1382139c1837SPaolo Bonzini int ret; 1383139c1837SPaolo Bonzini 1384f63e7089SHuang Shiyuan init_setting_vtype(s); 1385f63e7089SHuang Shiyuan 1386844d0442SRichard Henderson tcg_debug_assert((offset & 1) == 0); 1387844d0442SRichard Henderson if (offset == sextreg(offset, 0, 20)) { 1388139c1837SPaolo Bonzini /* short jump: -2097150 to 2097152 */ 1389139c1837SPaolo Bonzini tcg_out_opc_jump(s, OPC_JAL, link, offset); 1390aeb6326eSRichard Henderson } else if (offset == (int32_t)offset) { 1391139c1837SPaolo Bonzini /* long jump: -2147483646 to 2147483648 */ 1392139c1837SPaolo Bonzini tcg_out_opc_upper(s, OPC_AUIPC, TCG_REG_TMP0, 0); 1393139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, 0); 1394844d0442SRichard Henderson ret = reloc_call(s->code_ptr - 2, arg); 1395139c1837SPaolo Bonzini tcg_debug_assert(ret == true); 1396aeb6326eSRichard Henderson } else { 1397139c1837SPaolo Bonzini /* far jump: 64-bit */ 1398139c1837SPaolo Bonzini tcg_target_long imm = sextreg((tcg_target_long)arg, 0, 12); 1399139c1837SPaolo Bonzini tcg_target_long base = (tcg_target_long)arg - imm; 1400139c1837SPaolo Bonzini tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_TMP0, base); 1401139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_JALR, link, TCG_REG_TMP0, imm); 1402139c1837SPaolo Bonzini } 1403139c1837SPaolo Bonzini} 1404139c1837SPaolo Bonzini 1405cee44b03SRichard Hendersonstatic void tcg_out_call(TCGContext *s, const tcg_insn_unit *arg, 1406cee44b03SRichard Henderson const TCGHelperInfo *info) 1407139c1837SPaolo Bonzini{ 1408139c1837SPaolo Bonzini tcg_out_call_int(s, arg, false); 1409139c1837SPaolo Bonzini} 1410139c1837SPaolo Bonzini 1411139c1837SPaolo Bonzinistatic void tcg_out_mb(TCGContext *s, TCGArg a0) 1412139c1837SPaolo Bonzini{ 1413139c1837SPaolo Bonzini tcg_insn_unit insn = OPC_FENCE; 1414139c1837SPaolo Bonzini 1415139c1837SPaolo Bonzini if (a0 & TCG_MO_LD_LD) { 1416139c1837SPaolo Bonzini insn |= 0x02200000; 1417139c1837SPaolo Bonzini } 1418139c1837SPaolo Bonzini if (a0 & TCG_MO_ST_LD) { 1419139c1837SPaolo Bonzini insn |= 0x01200000; 1420139c1837SPaolo Bonzini } 1421139c1837SPaolo Bonzini if (a0 & TCG_MO_LD_ST) { 1422139c1837SPaolo Bonzini insn |= 0x02100000; 1423139c1837SPaolo Bonzini } 1424139c1837SPaolo Bonzini if (a0 & TCG_MO_ST_ST) { 1425139c1837SPaolo Bonzini insn |= 0x02200000; 1426139c1837SPaolo Bonzini } 1427139c1837SPaolo Bonzini tcg_out32(s, insn); 1428139c1837SPaolo Bonzini} 1429139c1837SPaolo Bonzini 1430139c1837SPaolo Bonzini/* 1431139c1837SPaolo Bonzini * Load/store and TLB 1432139c1837SPaolo Bonzini */ 1433139c1837SPaolo Bonzini 1434793f7381SRichard Hendersonstatic void tcg_out_goto(TCGContext *s, const tcg_insn_unit *target) 1435844d0442SRichard Henderson{ 1436844d0442SRichard Henderson tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0); 1437844d0442SRichard Henderson bool ok = reloc_jimm20(s->code_ptr - 1, target); 1438844d0442SRichard Henderson tcg_debug_assert(ok); 1439844d0442SRichard Henderson} 1440844d0442SRichard Henderson 14417b880107SRichard Hendersonbool tcg_target_has_memory_bswap(MemOp memop) 14427b880107SRichard Henderson{ 14437b880107SRichard Henderson return false; 14447b880107SRichard Henderson} 14457b880107SRichard Henderson 144661b6daafSRichard Henderson/* We have three temps, we might as well expose them. */ 144761b6daafSRichard Hendersonstatic const TCGLdstHelperParam ldst_helper_param = { 144861b6daafSRichard Henderson .ntmp = 3, .tmp = { TCG_REG_TMP0, TCG_REG_TMP1, TCG_REG_TMP2 } 144961b6daafSRichard Henderson}; 145061b6daafSRichard Henderson 1451139c1837SPaolo Bonzinistatic bool tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l) 1452139c1837SPaolo Bonzini{ 145361b6daafSRichard Henderson MemOp opc = get_memop(l->oi); 1454139c1837SPaolo Bonzini 1455139c1837SPaolo Bonzini /* resolve label address */ 1456793f7381SRichard Henderson if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) { 1457139c1837SPaolo Bonzini return false; 1458139c1837SPaolo Bonzini } 1459139c1837SPaolo Bonzini 1460139c1837SPaolo Bonzini /* call load helper */ 146161b6daafSRichard Henderson tcg_out_ld_helper_args(s, l, &ldst_helper_param); 1462cee44b03SRichard Henderson tcg_out_call_int(s, qemu_ld_helpers[opc & MO_SSIZE], false); 146361b6daafSRichard Henderson tcg_out_ld_helper_ret(s, l, true, &ldst_helper_param); 1464139c1837SPaolo Bonzini 1465139c1837SPaolo Bonzini tcg_out_goto(s, l->raddr); 1466139c1837SPaolo Bonzini return true; 1467139c1837SPaolo Bonzini} 1468139c1837SPaolo Bonzini 1469139c1837SPaolo Bonzinistatic bool tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l) 1470139c1837SPaolo Bonzini{ 147161b6daafSRichard Henderson MemOp opc = get_memop(l->oi); 1472139c1837SPaolo Bonzini 1473139c1837SPaolo Bonzini /* resolve label address */ 1474793f7381SRichard Henderson if (!reloc_sbimm12(l->label_ptr[0], tcg_splitwx_to_rx(s->code_ptr))) { 1475139c1837SPaolo Bonzini return false; 1476139c1837SPaolo Bonzini } 1477139c1837SPaolo Bonzini 1478139c1837SPaolo Bonzini /* call store helper */ 147961b6daafSRichard Henderson tcg_out_st_helper_args(s, l, &ldst_helper_param); 1480cee44b03SRichard Henderson tcg_out_call_int(s, qemu_st_helpers[opc & MO_SIZE], false); 1481139c1837SPaolo Bonzini 1482139c1837SPaolo Bonzini tcg_out_goto(s, l->raddr); 1483139c1837SPaolo Bonzini return true; 1484139c1837SPaolo Bonzini} 1485139c1837SPaolo Bonzini 1486d0a9bb5eSRichard Henderson/* We expect to use a 12-bit negative offset from ENV. */ 1487d0a9bb5eSRichard Henderson#define MIN_TLB_MASK_TABLE_OFS -(1 << 11) 1488d0a9bb5eSRichard Henderson 1489001dddfeSRichard Henderson/* 14907893e42dSPhilippe Mathieu-Daudé * For system-mode, perform the TLB load and compare. 14917893e42dSPhilippe Mathieu-Daudé * For user-mode, perform any required alignment tests. 1492001dddfeSRichard Henderson * In both cases, return a TCGLabelQemuLdst structure if the slow path 1493001dddfeSRichard Henderson * is required and fill in @h with the host address for the fast path. 1494001dddfeSRichard Henderson */ 1495001dddfeSRichard Hendersonstatic TCGLabelQemuLdst *prepare_host_addr(TCGContext *s, TCGReg *pbase, 1496001dddfeSRichard Henderson TCGReg addr_reg, MemOpIdx oi, 1497001dddfeSRichard Henderson bool is_ld) 1498001dddfeSRichard Henderson{ 14998aefe1fbSRichard Henderson TCGType addr_type = s->addr_type; 1500001dddfeSRichard Henderson TCGLabelQemuLdst *ldst = NULL; 1501001dddfeSRichard Henderson MemOp opc = get_memop(oi); 150237e523f0SRichard Henderson TCGAtomAlign aa; 150337e523f0SRichard Henderson unsigned a_mask; 150437e523f0SRichard Henderson 150537e523f0SRichard Henderson aa = atom_and_align_for_opc(s, opc, MO_ATOM_IFALIGN, false); 150637e523f0SRichard Henderson a_mask = (1u << aa.align) - 1; 1507001dddfeSRichard Henderson 15084944d359SRichard Henderson if (tcg_use_softmmu) { 1509001dddfeSRichard Henderson unsigned s_bits = opc & MO_SIZE; 1510933b331bSRichard Henderson unsigned s_mask = (1u << s_bits) - 1; 1511001dddfeSRichard Henderson int mem_index = get_mmuidx(oi); 1512d0a9bb5eSRichard Henderson int fast_ofs = tlb_mask_table_ofs(s, mem_index); 1513001dddfeSRichard Henderson int mask_ofs = fast_ofs + offsetof(CPUTLBDescFast, mask); 1514001dddfeSRichard Henderson int table_ofs = fast_ofs + offsetof(CPUTLBDescFast, table); 1515933b331bSRichard Henderson int compare_mask; 1516933b331bSRichard Henderson TCGReg addr_adj; 1517001dddfeSRichard Henderson 1518001dddfeSRichard Henderson ldst = new_ldst_label(s); 1519001dddfeSRichard Henderson ldst->is_ld = is_ld; 1520001dddfeSRichard Henderson ldst->oi = oi; 1521001dddfeSRichard Henderson ldst->addrlo_reg = addr_reg; 1522001dddfeSRichard Henderson 1523f63e7089SHuang Shiyuan init_setting_vtype(s); 1524f63e7089SHuang Shiyuan 1525933b331bSRichard Henderson tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_AREG0, mask_ofs); 1526933b331bSRichard Henderson tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP1, TCG_AREG0, table_ofs); 1527001dddfeSRichard Henderson 1528001dddfeSRichard Henderson tcg_out_opc_imm(s, OPC_SRLI, TCG_REG_TMP2, addr_reg, 1529aece72b7SRichard Henderson s->page_bits - CPU_TLB_ENTRY_BITS); 1530001dddfeSRichard Henderson tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP0); 1531001dddfeSRichard Henderson tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP2, TCG_REG_TMP2, TCG_REG_TMP1); 1532001dddfeSRichard Henderson 1533933b331bSRichard Henderson /* 15344944d359SRichard Henderson * For aligned accesses, we check the first byte and include the 15354944d359SRichard Henderson * alignment bits within the address. For unaligned access, we 15364944d359SRichard Henderson * check that we don't cross pages using the address of the last 15374944d359SRichard Henderson * byte of the access. 1538933b331bSRichard Henderson */ 1539933b331bSRichard Henderson addr_adj = addr_reg; 154037e523f0SRichard Henderson if (a_mask < s_mask) { 1541933b331bSRichard Henderson addr_adj = TCG_REG_TMP0; 15428aefe1fbSRichard Henderson tcg_out_opc_imm(s, addr_type == TCG_TYPE_I32 ? OPC_ADDIW : OPC_ADDI, 1543933b331bSRichard Henderson addr_adj, addr_reg, s_mask - a_mask); 1544933b331bSRichard Henderson } 1545aece72b7SRichard Henderson compare_mask = s->page_mask | a_mask; 1546933b331bSRichard Henderson if (compare_mask == sextreg(compare_mask, 0, 12)) { 1547933b331bSRichard Henderson tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr_adj, compare_mask); 1548933b331bSRichard Henderson } else { 15498aefe1fbSRichard Henderson tcg_out_movi(s, addr_type, TCG_REG_TMP1, compare_mask); 1550933b331bSRichard Henderson tcg_out_opc_reg(s, OPC_AND, TCG_REG_TMP1, TCG_REG_TMP1, addr_adj); 1551933b331bSRichard Henderson } 1552933b331bSRichard Henderson 1553001dddfeSRichard Henderson /* Load the tlb comparator and the addend. */ 1554238f4380SRichard Henderson QEMU_BUILD_BUG_ON(HOST_BIG_ENDIAN); 15558aefe1fbSRichard Henderson tcg_out_ld(s, addr_type, TCG_REG_TMP0, TCG_REG_TMP2, 1556001dddfeSRichard Henderson is_ld ? offsetof(CPUTLBEntry, addr_read) 1557001dddfeSRichard Henderson : offsetof(CPUTLBEntry, addr_write)); 1558001dddfeSRichard Henderson tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP2, TCG_REG_TMP2, 1559001dddfeSRichard Henderson offsetof(CPUTLBEntry, addend)); 1560001dddfeSRichard Henderson 1561001dddfeSRichard Henderson /* Compare masked address with the TLB entry. */ 1562001dddfeSRichard Henderson ldst->label_ptr[0] = s->code_ptr; 1563001dddfeSRichard Henderson tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP0, TCG_REG_TMP1, 0); 1564001dddfeSRichard Henderson 1565001dddfeSRichard Henderson /* TLB Hit - translate address using addend. */ 15668aefe1fbSRichard Henderson if (addr_type != TCG_TYPE_I32) { 1567eda15159SRichard Henderson tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, addr_reg, TCG_REG_TMP2); 1568b86c6ba6SRichard Henderson } else if (cpuinfo & CPUINFO_ZBA) { 15694944d359SRichard Henderson tcg_out_opc_reg(s, OPC_ADD_UW, TCG_REG_TMP0, 15704944d359SRichard Henderson addr_reg, TCG_REG_TMP2); 1571eda15159SRichard Henderson } else { 1572eda15159SRichard Henderson tcg_out_ext32u(s, TCG_REG_TMP0, addr_reg); 15734944d359SRichard Henderson tcg_out_opc_reg(s, OPC_ADD, TCG_REG_TMP0, 15744944d359SRichard Henderson TCG_REG_TMP0, TCG_REG_TMP2); 1575001dddfeSRichard Henderson } 1576001dddfeSRichard Henderson *pbase = TCG_REG_TMP0; 15774944d359SRichard Henderson } else { 1578eda15159SRichard Henderson TCGReg base; 1579eda15159SRichard Henderson 1580001dddfeSRichard Henderson if (a_mask) { 1581001dddfeSRichard Henderson ldst = new_ldst_label(s); 1582001dddfeSRichard Henderson ldst->is_ld = is_ld; 1583001dddfeSRichard Henderson ldst->oi = oi; 1584001dddfeSRichard Henderson ldst->addrlo_reg = addr_reg; 1585001dddfeSRichard Henderson 1586f63e7089SHuang Shiyuan init_setting_vtype(s); 1587f63e7089SHuang Shiyuan 158837e523f0SRichard Henderson /* We are expecting alignment max 7, so we can always use andi. */ 158937e523f0SRichard Henderson tcg_debug_assert(a_mask == sextreg(a_mask, 0, 12)); 1590001dddfeSRichard Henderson tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_TMP1, addr_reg, a_mask); 1591001dddfeSRichard Henderson 1592001dddfeSRichard Henderson ldst->label_ptr[0] = s->code_ptr; 1593001dddfeSRichard Henderson tcg_out_opc_branch(s, OPC_BNE, TCG_REG_TMP1, TCG_REG_ZERO, 0); 1594001dddfeSRichard Henderson } 1595001dddfeSRichard Henderson 1596001dddfeSRichard Henderson if (guest_base != 0) { 1597001dddfeSRichard Henderson base = TCG_REG_TMP0; 15988aefe1fbSRichard Henderson if (addr_type != TCG_TYPE_I32) { 15994944d359SRichard Henderson tcg_out_opc_reg(s, OPC_ADD, base, addr_reg, 16004944d359SRichard Henderson TCG_GUEST_BASE_REG); 1601b86c6ba6SRichard Henderson } else if (cpuinfo & CPUINFO_ZBA) { 16024944d359SRichard Henderson tcg_out_opc_reg(s, OPC_ADD_UW, base, addr_reg, 16034944d359SRichard Henderson TCG_GUEST_BASE_REG); 1604eda15159SRichard Henderson } else { 1605eda15159SRichard Henderson tcg_out_ext32u(s, base, addr_reg); 1606eda15159SRichard Henderson tcg_out_opc_reg(s, OPC_ADD, base, base, TCG_GUEST_BASE_REG); 1607eda15159SRichard Henderson } 16088aefe1fbSRichard Henderson } else if (addr_type != TCG_TYPE_I32) { 1609eda15159SRichard Henderson base = addr_reg; 1610eda15159SRichard Henderson } else { 1611eda15159SRichard Henderson base = TCG_REG_TMP0; 1612eda15159SRichard Henderson tcg_out_ext32u(s, base, addr_reg); 1613001dddfeSRichard Henderson } 1614001dddfeSRichard Henderson *pbase = base; 16154944d359SRichard Henderson } 1616001dddfeSRichard Henderson 1617001dddfeSRichard Henderson return ldst; 1618001dddfeSRichard Henderson} 1619001dddfeSRichard Henderson 1620aeb6326eSRichard Hendersonstatic void tcg_out_qemu_ld_direct(TCGContext *s, TCGReg val, 1621f7041977SRichard Henderson TCGReg base, MemOp opc, TCGType type) 1622139c1837SPaolo Bonzini{ 1623c86bd2dcSRichard Henderson /* Byte swapping is left to middle-end expansion. */ 1624c86bd2dcSRichard Henderson tcg_debug_assert((opc & MO_BSWAP) == 0); 1625139c1837SPaolo Bonzini 1626139c1837SPaolo Bonzini switch (opc & (MO_SSIZE)) { 1627139c1837SPaolo Bonzini case MO_UB: 1628aeb6326eSRichard Henderson tcg_out_opc_imm(s, OPC_LBU, val, base, 0); 1629139c1837SPaolo Bonzini break; 1630139c1837SPaolo Bonzini case MO_SB: 1631aeb6326eSRichard Henderson tcg_out_opc_imm(s, OPC_LB, val, base, 0); 1632139c1837SPaolo Bonzini break; 1633139c1837SPaolo Bonzini case MO_UW: 1634aeb6326eSRichard Henderson tcg_out_opc_imm(s, OPC_LHU, val, base, 0); 1635139c1837SPaolo Bonzini break; 1636139c1837SPaolo Bonzini case MO_SW: 1637aeb6326eSRichard Henderson tcg_out_opc_imm(s, OPC_LH, val, base, 0); 1638139c1837SPaolo Bonzini break; 1639139c1837SPaolo Bonzini case MO_UL: 1640f7041977SRichard Henderson if (type == TCG_TYPE_I64) { 1641aeb6326eSRichard Henderson tcg_out_opc_imm(s, OPC_LWU, val, base, 0); 1642139c1837SPaolo Bonzini break; 1643139c1837SPaolo Bonzini } 1644139c1837SPaolo Bonzini /* FALLTHRU */ 1645139c1837SPaolo Bonzini case MO_SL: 1646aeb6326eSRichard Henderson tcg_out_opc_imm(s, OPC_LW, val, base, 0); 1647139c1837SPaolo Bonzini break; 1648fc313c64SFrédéric Pétrot case MO_UQ: 1649aeb6326eSRichard Henderson tcg_out_opc_imm(s, OPC_LD, val, base, 0); 1650139c1837SPaolo Bonzini break; 1651139c1837SPaolo Bonzini default: 1652139c1837SPaolo Bonzini g_assert_not_reached(); 1653139c1837SPaolo Bonzini } 1654139c1837SPaolo Bonzini} 1655139c1837SPaolo Bonzini 1656f7041977SRichard Hendersonstatic void tcg_out_qemu_ld(TCGContext *s, TCGReg data_reg, TCGReg addr_reg, 1657f7041977SRichard Henderson MemOpIdx oi, TCGType data_type) 1658139c1837SPaolo Bonzini{ 1659001dddfeSRichard Henderson TCGLabelQemuLdst *ldst; 16602e3a933aSRichard Henderson TCGReg base; 1661139c1837SPaolo Bonzini 1662001dddfeSRichard Henderson ldst = prepare_host_addr(s, &base, addr_reg, oi, true); 1663001dddfeSRichard Henderson tcg_out_qemu_ld_direct(s, data_reg, base, get_memop(oi), data_type); 1664f7041977SRichard Henderson 1665001dddfeSRichard Henderson if (ldst) { 1666001dddfeSRichard Henderson ldst->type = data_type; 1667001dddfeSRichard Henderson ldst->datalo_reg = data_reg; 1668001dddfeSRichard Henderson ldst->raddr = tcg_splitwx_to_rx(s->code_ptr); 1669a3fb7c99SRichard Henderson } 1670139c1837SPaolo Bonzini} 1671139c1837SPaolo Bonzini 1672aeb6326eSRichard Hendersonstatic void tcg_out_qemu_st_direct(TCGContext *s, TCGReg val, 1673139c1837SPaolo Bonzini TCGReg base, MemOp opc) 1674139c1837SPaolo Bonzini{ 1675c86bd2dcSRichard Henderson /* Byte swapping is left to middle-end expansion. */ 1676c86bd2dcSRichard Henderson tcg_debug_assert((opc & MO_BSWAP) == 0); 1677139c1837SPaolo Bonzini 1678139c1837SPaolo Bonzini switch (opc & (MO_SSIZE)) { 1679139c1837SPaolo Bonzini case MO_8: 1680aeb6326eSRichard Henderson tcg_out_opc_store(s, OPC_SB, base, val, 0); 1681139c1837SPaolo Bonzini break; 1682139c1837SPaolo Bonzini case MO_16: 1683aeb6326eSRichard Henderson tcg_out_opc_store(s, OPC_SH, base, val, 0); 1684139c1837SPaolo Bonzini break; 1685139c1837SPaolo Bonzini case MO_32: 1686aeb6326eSRichard Henderson tcg_out_opc_store(s, OPC_SW, base, val, 0); 1687139c1837SPaolo Bonzini break; 1688139c1837SPaolo Bonzini case MO_64: 1689aeb6326eSRichard Henderson tcg_out_opc_store(s, OPC_SD, base, val, 0); 1690139c1837SPaolo Bonzini break; 1691139c1837SPaolo Bonzini default: 1692139c1837SPaolo Bonzini g_assert_not_reached(); 1693139c1837SPaolo Bonzini } 1694139c1837SPaolo Bonzini} 1695139c1837SPaolo Bonzini 1696f7041977SRichard Hendersonstatic void tcg_out_qemu_st(TCGContext *s, TCGReg data_reg, TCGReg addr_reg, 1697f7041977SRichard Henderson MemOpIdx oi, TCGType data_type) 1698139c1837SPaolo Bonzini{ 1699001dddfeSRichard Henderson TCGLabelQemuLdst *ldst; 17002e3a933aSRichard Henderson TCGReg base; 1701139c1837SPaolo Bonzini 1702001dddfeSRichard Henderson ldst = prepare_host_addr(s, &base, addr_reg, oi, false); 1703001dddfeSRichard Henderson tcg_out_qemu_st_direct(s, data_reg, base, get_memop(oi)); 1704f7041977SRichard Henderson 1705001dddfeSRichard Henderson if (ldst) { 1706001dddfeSRichard Henderson ldst->type = data_type; 1707001dddfeSRichard Henderson ldst->datalo_reg = data_reg; 1708001dddfeSRichard Henderson ldst->raddr = tcg_splitwx_to_rx(s->code_ptr); 1709a3fb7c99SRichard Henderson } 1710139c1837SPaolo Bonzini} 1711139c1837SPaolo Bonzini 1712793f7381SRichard Hendersonstatic const tcg_insn_unit *tb_ret_addr; 1713139c1837SPaolo Bonzini 1714b55a8d9dSRichard Hendersonstatic void tcg_out_exit_tb(TCGContext *s, uintptr_t a0) 1715b55a8d9dSRichard Henderson{ 1716b55a8d9dSRichard Henderson /* Reuse the zeroing that exists for goto_ptr. */ 1717b55a8d9dSRichard Henderson if (a0 == 0) { 1718b55a8d9dSRichard Henderson tcg_out_call_int(s, tcg_code_gen_epilogue, true); 1719b55a8d9dSRichard Henderson } else { 1720b55a8d9dSRichard Henderson tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_A0, a0); 1721b55a8d9dSRichard Henderson tcg_out_call_int(s, tb_ret_addr, true); 1722b55a8d9dSRichard Henderson } 1723b55a8d9dSRichard Henderson} 1724b55a8d9dSRichard Henderson 1725cf7d6b8eSRichard Hendersonstatic void tcg_out_goto_tb(TCGContext *s, int which) 1726cf7d6b8eSRichard Henderson{ 1727493c9b19SRichard Henderson /* Direct branch will be patched by tb_target_set_jmp_target. */ 1728493c9b19SRichard Henderson set_jmp_insn_offset(s, which); 1729493c9b19SRichard Henderson tcg_out32(s, OPC_JAL); 1730493c9b19SRichard Henderson 1731493c9b19SRichard Henderson /* When branch is out of range, fall through to indirect. */ 1732cf7d6b8eSRichard Henderson tcg_out_ld(s, TCG_TYPE_PTR, TCG_REG_TMP0, TCG_REG_ZERO, 1733cf7d6b8eSRichard Henderson get_jmp_target_addr(s, which)); 1734cf7d6b8eSRichard Henderson tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_TMP0, 0); 1735cf7d6b8eSRichard Henderson set_jmp_reset_offset(s, which); 1736cf7d6b8eSRichard Henderson} 1737cf7d6b8eSRichard Henderson 173890c0fee3SRichard Hendersonvoid tb_target_set_jmp_target(const TranslationBlock *tb, int n, 173990c0fee3SRichard Henderson uintptr_t jmp_rx, uintptr_t jmp_rw) 174090c0fee3SRichard Henderson{ 1741493c9b19SRichard Henderson uintptr_t addr = tb->jmp_target_addr[n]; 1742493c9b19SRichard Henderson ptrdiff_t offset = addr - jmp_rx; 1743493c9b19SRichard Henderson tcg_insn_unit insn; 1744493c9b19SRichard Henderson 1745493c9b19SRichard Henderson /* Either directly branch, or fall through to indirect branch. */ 1746493c9b19SRichard Henderson if (offset == sextreg(offset, 0, 20)) { 1747493c9b19SRichard Henderson insn = encode_uj(OPC_JAL, TCG_REG_ZERO, offset); 1748493c9b19SRichard Henderson } else { 1749493c9b19SRichard Henderson insn = OPC_NOP; 1750493c9b19SRichard Henderson } 1751493c9b19SRichard Henderson qatomic_set((uint32_t *)jmp_rw, insn); 1752493c9b19SRichard Henderson flush_idcache_range(jmp_rx, jmp_rw, 4); 175390c0fee3SRichard Henderson} 175490c0fee3SRichard Henderson 1755139c1837SPaolo Bonzinistatic void tcg_out_op(TCGContext *s, TCGOpcode opc, 17565e8892dbSMiroslav Rezanina const TCGArg args[TCG_MAX_OP_ARGS], 17575e8892dbSMiroslav Rezanina const int const_args[TCG_MAX_OP_ARGS]) 1758139c1837SPaolo Bonzini{ 1759139c1837SPaolo Bonzini TCGArg a0 = args[0]; 1760139c1837SPaolo Bonzini TCGArg a1 = args[1]; 1761139c1837SPaolo Bonzini TCGArg a2 = args[2]; 1762139c1837SPaolo Bonzini int c2 = const_args[2]; 1763139c1837SPaolo Bonzini 1764139c1837SPaolo Bonzini switch (opc) { 1765139c1837SPaolo Bonzini case INDEX_op_goto_ptr: 1766139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, a0, 0); 1767139c1837SPaolo Bonzini break; 1768139c1837SPaolo Bonzini 1769139c1837SPaolo Bonzini case INDEX_op_br: 1770139c1837SPaolo Bonzini tcg_out_reloc(s, s->code_ptr, R_RISCV_JAL, arg_label(a0), 0); 1771139c1837SPaolo Bonzini tcg_out_opc_jump(s, OPC_JAL, TCG_REG_ZERO, 0); 1772139c1837SPaolo Bonzini break; 1773139c1837SPaolo Bonzini 1774139c1837SPaolo Bonzini case INDEX_op_ld8u_i32: 1775139c1837SPaolo Bonzini case INDEX_op_ld8u_i64: 1776139c1837SPaolo Bonzini tcg_out_ldst(s, OPC_LBU, a0, a1, a2); 1777139c1837SPaolo Bonzini break; 1778139c1837SPaolo Bonzini case INDEX_op_ld8s_i32: 1779139c1837SPaolo Bonzini case INDEX_op_ld8s_i64: 1780139c1837SPaolo Bonzini tcg_out_ldst(s, OPC_LB, a0, a1, a2); 1781139c1837SPaolo Bonzini break; 1782139c1837SPaolo Bonzini case INDEX_op_ld16u_i32: 1783139c1837SPaolo Bonzini case INDEX_op_ld16u_i64: 1784139c1837SPaolo Bonzini tcg_out_ldst(s, OPC_LHU, a0, a1, a2); 1785139c1837SPaolo Bonzini break; 1786139c1837SPaolo Bonzini case INDEX_op_ld16s_i32: 1787139c1837SPaolo Bonzini case INDEX_op_ld16s_i64: 1788139c1837SPaolo Bonzini tcg_out_ldst(s, OPC_LH, a0, a1, a2); 1789139c1837SPaolo Bonzini break; 1790139c1837SPaolo Bonzini case INDEX_op_ld32u_i64: 1791139c1837SPaolo Bonzini tcg_out_ldst(s, OPC_LWU, a0, a1, a2); 1792139c1837SPaolo Bonzini break; 1793139c1837SPaolo Bonzini case INDEX_op_ld_i32: 1794139c1837SPaolo Bonzini case INDEX_op_ld32s_i64: 1795139c1837SPaolo Bonzini tcg_out_ldst(s, OPC_LW, a0, a1, a2); 1796139c1837SPaolo Bonzini break; 1797139c1837SPaolo Bonzini case INDEX_op_ld_i64: 1798139c1837SPaolo Bonzini tcg_out_ldst(s, OPC_LD, a0, a1, a2); 1799139c1837SPaolo Bonzini break; 1800139c1837SPaolo Bonzini 1801139c1837SPaolo Bonzini case INDEX_op_st8_i32: 1802139c1837SPaolo Bonzini case INDEX_op_st8_i64: 1803139c1837SPaolo Bonzini tcg_out_ldst(s, OPC_SB, a0, a1, a2); 1804139c1837SPaolo Bonzini break; 1805139c1837SPaolo Bonzini case INDEX_op_st16_i32: 1806139c1837SPaolo Bonzini case INDEX_op_st16_i64: 1807139c1837SPaolo Bonzini tcg_out_ldst(s, OPC_SH, a0, a1, a2); 1808139c1837SPaolo Bonzini break; 1809139c1837SPaolo Bonzini case INDEX_op_st_i32: 1810139c1837SPaolo Bonzini case INDEX_op_st32_i64: 1811139c1837SPaolo Bonzini tcg_out_ldst(s, OPC_SW, a0, a1, a2); 1812139c1837SPaolo Bonzini break; 1813139c1837SPaolo Bonzini case INDEX_op_st_i64: 1814139c1837SPaolo Bonzini tcg_out_ldst(s, OPC_SD, a0, a1, a2); 1815139c1837SPaolo Bonzini break; 1816139c1837SPaolo Bonzini 1817139c1837SPaolo Bonzini case INDEX_op_add_i32: 1818139c1837SPaolo Bonzini if (c2) { 1819139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, a2); 1820139c1837SPaolo Bonzini } else { 1821139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_ADDW, a0, a1, a2); 1822139c1837SPaolo Bonzini } 1823139c1837SPaolo Bonzini break; 1824139c1837SPaolo Bonzini case INDEX_op_add_i64: 1825139c1837SPaolo Bonzini if (c2) { 1826139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ADDI, a0, a1, a2); 1827139c1837SPaolo Bonzini } else { 1828139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_ADD, a0, a1, a2); 1829139c1837SPaolo Bonzini } 1830139c1837SPaolo Bonzini break; 1831139c1837SPaolo Bonzini 1832139c1837SPaolo Bonzini case INDEX_op_sub_i32: 1833139c1837SPaolo Bonzini if (c2) { 1834139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ADDIW, a0, a1, -a2); 1835139c1837SPaolo Bonzini } else { 1836139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_SUBW, a0, a1, a2); 1837139c1837SPaolo Bonzini } 1838139c1837SPaolo Bonzini break; 1839139c1837SPaolo Bonzini case INDEX_op_sub_i64: 1840139c1837SPaolo Bonzini if (c2) { 1841139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ADDI, a0, a1, -a2); 1842139c1837SPaolo Bonzini } else { 1843139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_SUB, a0, a1, a2); 1844139c1837SPaolo Bonzini } 1845139c1837SPaolo Bonzini break; 1846139c1837SPaolo Bonzini 1847139c1837SPaolo Bonzini case INDEX_op_and_i32: 1848139c1837SPaolo Bonzini case INDEX_op_and_i64: 1849139c1837SPaolo Bonzini if (c2) { 1850139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ANDI, a0, a1, a2); 1851139c1837SPaolo Bonzini } else { 1852139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_AND, a0, a1, a2); 1853139c1837SPaolo Bonzini } 1854139c1837SPaolo Bonzini break; 1855139c1837SPaolo Bonzini 1856139c1837SPaolo Bonzini case INDEX_op_or_i32: 1857139c1837SPaolo Bonzini case INDEX_op_or_i64: 1858139c1837SPaolo Bonzini if (c2) { 1859139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ORI, a0, a1, a2); 1860139c1837SPaolo Bonzini } else { 1861139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_OR, a0, a1, a2); 1862139c1837SPaolo Bonzini } 1863139c1837SPaolo Bonzini break; 1864139c1837SPaolo Bonzini 1865139c1837SPaolo Bonzini case INDEX_op_xor_i32: 1866139c1837SPaolo Bonzini case INDEX_op_xor_i64: 1867139c1837SPaolo Bonzini if (c2) { 1868139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_XORI, a0, a1, a2); 1869139c1837SPaolo Bonzini } else { 1870139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_XOR, a0, a1, a2); 1871139c1837SPaolo Bonzini } 1872139c1837SPaolo Bonzini break; 1873139c1837SPaolo Bonzini 187499f4ec6eSRichard Henderson case INDEX_op_andc_i32: 187599f4ec6eSRichard Henderson case INDEX_op_andc_i64: 187699f4ec6eSRichard Henderson if (c2) { 187799f4ec6eSRichard Henderson tcg_out_opc_imm(s, OPC_ANDI, a0, a1, ~a2); 187899f4ec6eSRichard Henderson } else { 187999f4ec6eSRichard Henderson tcg_out_opc_reg(s, OPC_ANDN, a0, a1, a2); 188099f4ec6eSRichard Henderson } 188199f4ec6eSRichard Henderson break; 188299f4ec6eSRichard Henderson case INDEX_op_orc_i32: 188399f4ec6eSRichard Henderson case INDEX_op_orc_i64: 188499f4ec6eSRichard Henderson if (c2) { 188599f4ec6eSRichard Henderson tcg_out_opc_imm(s, OPC_ORI, a0, a1, ~a2); 188699f4ec6eSRichard Henderson } else { 188799f4ec6eSRichard Henderson tcg_out_opc_reg(s, OPC_ORN, a0, a1, a2); 188899f4ec6eSRichard Henderson } 188999f4ec6eSRichard Henderson break; 189099f4ec6eSRichard Henderson case INDEX_op_eqv_i32: 189199f4ec6eSRichard Henderson case INDEX_op_eqv_i64: 189299f4ec6eSRichard Henderson if (c2) { 189399f4ec6eSRichard Henderson tcg_out_opc_imm(s, OPC_XORI, a0, a1, ~a2); 189499f4ec6eSRichard Henderson } else { 189599f4ec6eSRichard Henderson tcg_out_opc_reg(s, OPC_XNOR, a0, a1, a2); 189699f4ec6eSRichard Henderson } 189799f4ec6eSRichard Henderson break; 189899f4ec6eSRichard Henderson 1899139c1837SPaolo Bonzini case INDEX_op_not_i32: 1900139c1837SPaolo Bonzini case INDEX_op_not_i64: 1901139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_XORI, a0, a1, -1); 1902139c1837SPaolo Bonzini break; 1903139c1837SPaolo Bonzini 1904139c1837SPaolo Bonzini case INDEX_op_neg_i32: 1905139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_SUBW, a0, TCG_REG_ZERO, a1); 1906139c1837SPaolo Bonzini break; 1907139c1837SPaolo Bonzini case INDEX_op_neg_i64: 1908139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_SUB, a0, TCG_REG_ZERO, a1); 1909139c1837SPaolo Bonzini break; 1910139c1837SPaolo Bonzini 1911139c1837SPaolo Bonzini case INDEX_op_mul_i32: 1912139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_MULW, a0, a1, a2); 1913139c1837SPaolo Bonzini break; 1914139c1837SPaolo Bonzini case INDEX_op_mul_i64: 1915139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_MUL, a0, a1, a2); 1916139c1837SPaolo Bonzini break; 1917139c1837SPaolo Bonzini 1918139c1837SPaolo Bonzini case INDEX_op_div_i32: 1919139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_DIVW, a0, a1, a2); 1920139c1837SPaolo Bonzini break; 1921139c1837SPaolo Bonzini case INDEX_op_div_i64: 1922139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_DIV, a0, a1, a2); 1923139c1837SPaolo Bonzini break; 1924139c1837SPaolo Bonzini 1925139c1837SPaolo Bonzini case INDEX_op_divu_i32: 1926139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_DIVUW, a0, a1, a2); 1927139c1837SPaolo Bonzini break; 1928139c1837SPaolo Bonzini case INDEX_op_divu_i64: 1929139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_DIVU, a0, a1, a2); 1930139c1837SPaolo Bonzini break; 1931139c1837SPaolo Bonzini 1932139c1837SPaolo Bonzini case INDEX_op_rem_i32: 1933139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_REMW, a0, a1, a2); 1934139c1837SPaolo Bonzini break; 1935139c1837SPaolo Bonzini case INDEX_op_rem_i64: 1936139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_REM, a0, a1, a2); 1937139c1837SPaolo Bonzini break; 1938139c1837SPaolo Bonzini 1939139c1837SPaolo Bonzini case INDEX_op_remu_i32: 1940139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_REMUW, a0, a1, a2); 1941139c1837SPaolo Bonzini break; 1942139c1837SPaolo Bonzini case INDEX_op_remu_i64: 1943139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_REMU, a0, a1, a2); 1944139c1837SPaolo Bonzini break; 1945139c1837SPaolo Bonzini 1946139c1837SPaolo Bonzini case INDEX_op_shl_i32: 1947139c1837SPaolo Bonzini if (c2) { 1948d2f3066eSZihao Yu tcg_out_opc_imm(s, OPC_SLLIW, a0, a1, a2 & 0x1f); 1949139c1837SPaolo Bonzini } else { 1950139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_SLLW, a0, a1, a2); 1951139c1837SPaolo Bonzini } 1952139c1837SPaolo Bonzini break; 1953139c1837SPaolo Bonzini case INDEX_op_shl_i64: 1954139c1837SPaolo Bonzini if (c2) { 1955d2f3066eSZihao Yu tcg_out_opc_imm(s, OPC_SLLI, a0, a1, a2 & 0x3f); 1956139c1837SPaolo Bonzini } else { 1957139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_SLL, a0, a1, a2); 1958139c1837SPaolo Bonzini } 1959139c1837SPaolo Bonzini break; 1960139c1837SPaolo Bonzini 1961139c1837SPaolo Bonzini case INDEX_op_shr_i32: 1962139c1837SPaolo Bonzini if (c2) { 1963d2f3066eSZihao Yu tcg_out_opc_imm(s, OPC_SRLIW, a0, a1, a2 & 0x1f); 1964139c1837SPaolo Bonzini } else { 1965139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_SRLW, a0, a1, a2); 1966139c1837SPaolo Bonzini } 1967139c1837SPaolo Bonzini break; 1968139c1837SPaolo Bonzini case INDEX_op_shr_i64: 1969139c1837SPaolo Bonzini if (c2) { 1970d2f3066eSZihao Yu tcg_out_opc_imm(s, OPC_SRLI, a0, a1, a2 & 0x3f); 1971139c1837SPaolo Bonzini } else { 1972139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_SRL, a0, a1, a2); 1973139c1837SPaolo Bonzini } 1974139c1837SPaolo Bonzini break; 1975139c1837SPaolo Bonzini 1976139c1837SPaolo Bonzini case INDEX_op_sar_i32: 1977139c1837SPaolo Bonzini if (c2) { 1978d2f3066eSZihao Yu tcg_out_opc_imm(s, OPC_SRAIW, a0, a1, a2 & 0x1f); 1979139c1837SPaolo Bonzini } else { 1980139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_SRAW, a0, a1, a2); 1981139c1837SPaolo Bonzini } 1982139c1837SPaolo Bonzini break; 1983139c1837SPaolo Bonzini case INDEX_op_sar_i64: 1984139c1837SPaolo Bonzini if (c2) { 1985d2f3066eSZihao Yu tcg_out_opc_imm(s, OPC_SRAI, a0, a1, a2 & 0x3f); 1986139c1837SPaolo Bonzini } else { 1987139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_SRA, a0, a1, a2); 1988139c1837SPaolo Bonzini } 1989139c1837SPaolo Bonzini break; 1990139c1837SPaolo Bonzini 199119d016adSRichard Henderson case INDEX_op_rotl_i32: 199219d016adSRichard Henderson if (c2) { 199319d016adSRichard Henderson tcg_out_opc_imm(s, OPC_RORIW, a0, a1, -a2 & 0x1f); 199419d016adSRichard Henderson } else { 199519d016adSRichard Henderson tcg_out_opc_reg(s, OPC_ROLW, a0, a1, a2); 199619d016adSRichard Henderson } 199719d016adSRichard Henderson break; 199819d016adSRichard Henderson case INDEX_op_rotl_i64: 199919d016adSRichard Henderson if (c2) { 200019d016adSRichard Henderson tcg_out_opc_imm(s, OPC_RORI, a0, a1, -a2 & 0x3f); 200119d016adSRichard Henderson } else { 200219d016adSRichard Henderson tcg_out_opc_reg(s, OPC_ROL, a0, a1, a2); 200319d016adSRichard Henderson } 200419d016adSRichard Henderson break; 200519d016adSRichard Henderson 200619d016adSRichard Henderson case INDEX_op_rotr_i32: 200719d016adSRichard Henderson if (c2) { 200819d016adSRichard Henderson tcg_out_opc_imm(s, OPC_RORIW, a0, a1, a2 & 0x1f); 200919d016adSRichard Henderson } else { 201019d016adSRichard Henderson tcg_out_opc_reg(s, OPC_RORW, a0, a1, a2); 201119d016adSRichard Henderson } 201219d016adSRichard Henderson break; 201319d016adSRichard Henderson case INDEX_op_rotr_i64: 201419d016adSRichard Henderson if (c2) { 201519d016adSRichard Henderson tcg_out_opc_imm(s, OPC_RORI, a0, a1, a2 & 0x3f); 201619d016adSRichard Henderson } else { 201719d016adSRichard Henderson tcg_out_opc_reg(s, OPC_ROR, a0, a1, a2); 201819d016adSRichard Henderson } 201919d016adSRichard Henderson break; 202019d016adSRichard Henderson 20217b4d5274SRichard Henderson case INDEX_op_bswap64_i64: 20227b4d5274SRichard Henderson tcg_out_opc_imm(s, OPC_REV8, a0, a1, 0); 20237b4d5274SRichard Henderson break; 20247b4d5274SRichard Henderson case INDEX_op_bswap32_i32: 20257b4d5274SRichard Henderson a2 = 0; 20267b4d5274SRichard Henderson /* fall through */ 20277b4d5274SRichard Henderson case INDEX_op_bswap32_i64: 20287b4d5274SRichard Henderson tcg_out_opc_imm(s, OPC_REV8, a0, a1, 0); 20297b4d5274SRichard Henderson if (a2 & TCG_BSWAP_OZ) { 20307b4d5274SRichard Henderson tcg_out_opc_imm(s, OPC_SRLI, a0, a0, 32); 20317b4d5274SRichard Henderson } else { 20327b4d5274SRichard Henderson tcg_out_opc_imm(s, OPC_SRAI, a0, a0, 32); 20337b4d5274SRichard Henderson } 20347b4d5274SRichard Henderson break; 20357b4d5274SRichard Henderson case INDEX_op_bswap16_i64: 20367b4d5274SRichard Henderson case INDEX_op_bswap16_i32: 20377b4d5274SRichard Henderson tcg_out_opc_imm(s, OPC_REV8, a0, a1, 0); 20387b4d5274SRichard Henderson if (a2 & TCG_BSWAP_OZ) { 20397b4d5274SRichard Henderson tcg_out_opc_imm(s, OPC_SRLI, a0, a0, 48); 20407b4d5274SRichard Henderson } else { 20417b4d5274SRichard Henderson tcg_out_opc_imm(s, OPC_SRAI, a0, a0, 48); 20427b4d5274SRichard Henderson } 20437b4d5274SRichard Henderson break; 20447b4d5274SRichard Henderson 20450956ecdaSRichard Henderson case INDEX_op_ctpop_i32: 20460956ecdaSRichard Henderson tcg_out_opc_imm(s, OPC_CPOPW, a0, a1, 0); 20470956ecdaSRichard Henderson break; 20480956ecdaSRichard Henderson case INDEX_op_ctpop_i64: 20490956ecdaSRichard Henderson tcg_out_opc_imm(s, OPC_CPOP, a0, a1, 0); 20500956ecdaSRichard Henderson break; 20510956ecdaSRichard Henderson 2052a30498fcSRichard Henderson case INDEX_op_clz_i32: 2053a30498fcSRichard Henderson tcg_out_cltz(s, TCG_TYPE_I32, OPC_CLZW, a0, a1, a2, c2); 2054a30498fcSRichard Henderson break; 2055a30498fcSRichard Henderson case INDEX_op_clz_i64: 2056a30498fcSRichard Henderson tcg_out_cltz(s, TCG_TYPE_I64, OPC_CLZ, a0, a1, a2, c2); 2057a30498fcSRichard Henderson break; 2058a30498fcSRichard Henderson case INDEX_op_ctz_i32: 2059a30498fcSRichard Henderson tcg_out_cltz(s, TCG_TYPE_I32, OPC_CTZW, a0, a1, a2, c2); 2060a30498fcSRichard Henderson break; 2061a30498fcSRichard Henderson case INDEX_op_ctz_i64: 2062a30498fcSRichard Henderson tcg_out_cltz(s, TCG_TYPE_I64, OPC_CTZ, a0, a1, a2, c2); 2063a30498fcSRichard Henderson break; 2064a30498fcSRichard Henderson 2065139c1837SPaolo Bonzini case INDEX_op_add2_i32: 2066139c1837SPaolo Bonzini tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5], 2067139c1837SPaolo Bonzini const_args[4], const_args[5], false, true); 2068139c1837SPaolo Bonzini break; 2069139c1837SPaolo Bonzini case INDEX_op_add2_i64: 2070139c1837SPaolo Bonzini tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5], 2071139c1837SPaolo Bonzini const_args[4], const_args[5], false, false); 2072139c1837SPaolo Bonzini break; 2073139c1837SPaolo Bonzini case INDEX_op_sub2_i32: 2074139c1837SPaolo Bonzini tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5], 2075139c1837SPaolo Bonzini const_args[4], const_args[5], true, true); 2076139c1837SPaolo Bonzini break; 2077139c1837SPaolo Bonzini case INDEX_op_sub2_i64: 2078139c1837SPaolo Bonzini tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5], 2079139c1837SPaolo Bonzini const_args[4], const_args[5], true, false); 2080139c1837SPaolo Bonzini break; 2081139c1837SPaolo Bonzini 2082139c1837SPaolo Bonzini case INDEX_op_brcond_i32: 2083139c1837SPaolo Bonzini case INDEX_op_brcond_i64: 2084139c1837SPaolo Bonzini tcg_out_brcond(s, a2, a0, a1, arg_label(args[3])); 2085139c1837SPaolo Bonzini break; 2086139c1837SPaolo Bonzini 2087139c1837SPaolo Bonzini case INDEX_op_setcond_i32: 2088139c1837SPaolo Bonzini case INDEX_op_setcond_i64: 2089f6453695SRichard Henderson tcg_out_setcond(s, args[3], a0, a1, a2, c2); 2090139c1837SPaolo Bonzini break; 2091139c1837SPaolo Bonzini 209241e4c0a9SRichard Henderson case INDEX_op_negsetcond_i32: 209341e4c0a9SRichard Henderson case INDEX_op_negsetcond_i64: 209441e4c0a9SRichard Henderson tcg_out_negsetcond(s, args[3], a0, a1, a2, c2); 209541e4c0a9SRichard Henderson break; 209641e4c0a9SRichard Henderson 2097a18d783eSRichard Henderson case INDEX_op_movcond_i32: 2098a18d783eSRichard Henderson case INDEX_op_movcond_i64: 2099a18d783eSRichard Henderson tcg_out_movcond(s, args[5], a0, a1, a2, c2, 2100a18d783eSRichard Henderson args[3], const_args[3], args[4], const_args[4]); 2101a18d783eSRichard Henderson break; 2102a18d783eSRichard Henderson 2103fecccfccSRichard Henderson case INDEX_op_qemu_ld_a32_i32: 2104fecccfccSRichard Henderson case INDEX_op_qemu_ld_a64_i32: 2105f7041977SRichard Henderson tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I32); 2106139c1837SPaolo Bonzini break; 2107fecccfccSRichard Henderson case INDEX_op_qemu_ld_a32_i64: 2108fecccfccSRichard Henderson case INDEX_op_qemu_ld_a64_i64: 2109f7041977SRichard Henderson tcg_out_qemu_ld(s, a0, a1, a2, TCG_TYPE_I64); 2110139c1837SPaolo Bonzini break; 2111fecccfccSRichard Henderson case INDEX_op_qemu_st_a32_i32: 2112fecccfccSRichard Henderson case INDEX_op_qemu_st_a64_i32: 2113f7041977SRichard Henderson tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I32); 2114139c1837SPaolo Bonzini break; 2115fecccfccSRichard Henderson case INDEX_op_qemu_st_a32_i64: 2116fecccfccSRichard Henderson case INDEX_op_qemu_st_a64_i64: 2117f7041977SRichard Henderson tcg_out_qemu_st(s, a0, a1, a2, TCG_TYPE_I64); 2118139c1837SPaolo Bonzini break; 2119139c1837SPaolo Bonzini 2120139c1837SPaolo Bonzini case INDEX_op_extrh_i64_i32: 2121139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_SRAI, a0, a1, 32); 2122139c1837SPaolo Bonzini break; 2123139c1837SPaolo Bonzini 2124139c1837SPaolo Bonzini case INDEX_op_mulsh_i32: 2125139c1837SPaolo Bonzini case INDEX_op_mulsh_i64: 2126139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_MULH, a0, a1, a2); 2127139c1837SPaolo Bonzini break; 2128139c1837SPaolo Bonzini 2129139c1837SPaolo Bonzini case INDEX_op_muluh_i32: 2130139c1837SPaolo Bonzini case INDEX_op_muluh_i64: 2131139c1837SPaolo Bonzini tcg_out_opc_reg(s, OPC_MULHU, a0, a1, a2); 2132139c1837SPaolo Bonzini break; 2133139c1837SPaolo Bonzini 2134139c1837SPaolo Bonzini case INDEX_op_mb: 2135139c1837SPaolo Bonzini tcg_out_mb(s, a0); 2136139c1837SPaolo Bonzini break; 2137139c1837SPaolo Bonzini 2138139c1837SPaolo Bonzini case INDEX_op_mov_i32: /* Always emitted via tcg_out_mov. */ 2139139c1837SPaolo Bonzini case INDEX_op_mov_i64: 2140139c1837SPaolo Bonzini case INDEX_op_call: /* Always emitted via tcg_out_call. */ 2141b55a8d9dSRichard Henderson case INDEX_op_exit_tb: /* Always emitted via tcg_out_exit_tb. */ 2142cf7d6b8eSRichard Henderson case INDEX_op_goto_tb: /* Always emitted via tcg_out_goto_tb. */ 2143678155b2SRichard Henderson case INDEX_op_ext8s_i32: /* Always emitted via tcg_reg_alloc_op. */ 2144678155b2SRichard Henderson case INDEX_op_ext8s_i64: 2145d0e66c89SRichard Henderson case INDEX_op_ext8u_i32: 2146d0e66c89SRichard Henderson case INDEX_op_ext8u_i64: 2147753e42eaSRichard Henderson case INDEX_op_ext16s_i32: 2148753e42eaSRichard Henderson case INDEX_op_ext16s_i64: 2149379afdffSRichard Henderson case INDEX_op_ext16u_i32: 2150379afdffSRichard Henderson case INDEX_op_ext16u_i64: 215152bf3398SRichard Henderson case INDEX_op_ext32s_i64: 21529ecf5f61SRichard Henderson case INDEX_op_ext32u_i64: 21539c6aa274SRichard Henderson case INDEX_op_ext_i32_i64: 2154b9bfe000SRichard Henderson case INDEX_op_extu_i32_i64: 2155b8b94ac6SRichard Henderson case INDEX_op_extrl_i64_i32: 2156139c1837SPaolo Bonzini default: 2157139c1837SPaolo Bonzini g_assert_not_reached(); 2158139c1837SPaolo Bonzini } 2159139c1837SPaolo Bonzini} 2160139c1837SPaolo Bonzini 2161f63e7089SHuang Shiyuanstatic void tcg_out_vec_op(TCGContext *s, TCGOpcode opc, 2162f63e7089SHuang Shiyuan unsigned vecl, unsigned vece, 2163f63e7089SHuang Shiyuan const TCGArg args[TCG_MAX_OP_ARGS], 2164f63e7089SHuang Shiyuan const int const_args[TCG_MAX_OP_ARGS]) 2165f63e7089SHuang Shiyuan{ 2166f63e7089SHuang Shiyuan TCGType type = vecl + TCG_TYPE_V64; 2167f63e7089SHuang Shiyuan TCGArg a0, a1, a2; 2168f63e7089SHuang Shiyuan 2169f63e7089SHuang Shiyuan a0 = args[0]; 2170f63e7089SHuang Shiyuan a1 = args[1]; 2171f63e7089SHuang Shiyuan a2 = args[2]; 2172f63e7089SHuang Shiyuan 2173f63e7089SHuang Shiyuan switch (opc) { 2174*d4be6ee1STANG Tiancheng case INDEX_op_dupm_vec: 2175*d4be6ee1STANG Tiancheng tcg_out_dupm_vec(s, type, vece, a0, a1, a2); 2176*d4be6ee1STANG Tiancheng break; 2177f63e7089SHuang Shiyuan case INDEX_op_ld_vec: 2178f63e7089SHuang Shiyuan tcg_out_ld(s, type, a0, a1, a2); 2179f63e7089SHuang Shiyuan break; 2180f63e7089SHuang Shiyuan case INDEX_op_st_vec: 2181f63e7089SHuang Shiyuan tcg_out_st(s, type, a0, a1, a2); 2182f63e7089SHuang Shiyuan break; 2183f63e7089SHuang Shiyuan case INDEX_op_mov_vec: /* Always emitted via tcg_out_mov. */ 2184f63e7089SHuang Shiyuan case INDEX_op_dup_vec: /* Always emitted via tcg_out_dup_vec. */ 2185f63e7089SHuang Shiyuan default: 2186f63e7089SHuang Shiyuan g_assert_not_reached(); 2187f63e7089SHuang Shiyuan } 2188f63e7089SHuang Shiyuan} 2189f63e7089SHuang Shiyuan 2190f63e7089SHuang Shiyuanvoid tcg_expand_vec_op(TCGOpcode opc, TCGType type, unsigned vece, 2191f63e7089SHuang Shiyuan TCGArg a0, ...) 2192f63e7089SHuang Shiyuan{ 2193f63e7089SHuang Shiyuan g_assert_not_reached(); 2194f63e7089SHuang Shiyuan} 2195f63e7089SHuang Shiyuan 2196f63e7089SHuang Shiyuanint tcg_can_emit_vec_op(TCGOpcode opc, TCGType type, unsigned vece) 2197f63e7089SHuang Shiyuan{ 2198f63e7089SHuang Shiyuan switch (opc) { 2199f63e7089SHuang Shiyuan default: 2200f63e7089SHuang Shiyuan return 0; 2201f63e7089SHuang Shiyuan } 2202f63e7089SHuang Shiyuan} 2203f63e7089SHuang Shiyuan 2204665be288SRichard Hendersonstatic TCGConstraintSetIndex tcg_target_op_def(TCGOpcode op) 2205139c1837SPaolo Bonzini{ 2206139c1837SPaolo Bonzini switch (op) { 2207139c1837SPaolo Bonzini case INDEX_op_goto_ptr: 2208665be288SRichard Henderson return C_O0_I1(r); 2209139c1837SPaolo Bonzini 2210139c1837SPaolo Bonzini case INDEX_op_ld8u_i32: 2211139c1837SPaolo Bonzini case INDEX_op_ld8s_i32: 2212139c1837SPaolo Bonzini case INDEX_op_ld16u_i32: 2213139c1837SPaolo Bonzini case INDEX_op_ld16s_i32: 2214139c1837SPaolo Bonzini case INDEX_op_ld_i32: 2215139c1837SPaolo Bonzini case INDEX_op_not_i32: 2216139c1837SPaolo Bonzini case INDEX_op_neg_i32: 2217139c1837SPaolo Bonzini case INDEX_op_ld8u_i64: 2218139c1837SPaolo Bonzini case INDEX_op_ld8s_i64: 2219139c1837SPaolo Bonzini case INDEX_op_ld16u_i64: 2220139c1837SPaolo Bonzini case INDEX_op_ld16s_i64: 2221139c1837SPaolo Bonzini case INDEX_op_ld32s_i64: 2222139c1837SPaolo Bonzini case INDEX_op_ld32u_i64: 2223139c1837SPaolo Bonzini case INDEX_op_ld_i64: 2224139c1837SPaolo Bonzini case INDEX_op_not_i64: 2225139c1837SPaolo Bonzini case INDEX_op_neg_i64: 2226139c1837SPaolo Bonzini case INDEX_op_ext8u_i32: 2227139c1837SPaolo Bonzini case INDEX_op_ext8u_i64: 2228139c1837SPaolo Bonzini case INDEX_op_ext16u_i32: 2229139c1837SPaolo Bonzini case INDEX_op_ext16u_i64: 2230139c1837SPaolo Bonzini case INDEX_op_ext32u_i64: 2231139c1837SPaolo Bonzini case INDEX_op_extu_i32_i64: 2232139c1837SPaolo Bonzini case INDEX_op_ext8s_i32: 2233139c1837SPaolo Bonzini case INDEX_op_ext8s_i64: 2234139c1837SPaolo Bonzini case INDEX_op_ext16s_i32: 2235139c1837SPaolo Bonzini case INDEX_op_ext16s_i64: 2236139c1837SPaolo Bonzini case INDEX_op_ext32s_i64: 2237139c1837SPaolo Bonzini case INDEX_op_extrl_i64_i32: 2238139c1837SPaolo Bonzini case INDEX_op_extrh_i64_i32: 2239139c1837SPaolo Bonzini case INDEX_op_ext_i32_i64: 22407b4d5274SRichard Henderson case INDEX_op_bswap16_i32: 22417b4d5274SRichard Henderson case INDEX_op_bswap32_i32: 22427b4d5274SRichard Henderson case INDEX_op_bswap16_i64: 22437b4d5274SRichard Henderson case INDEX_op_bswap32_i64: 22447b4d5274SRichard Henderson case INDEX_op_bswap64_i64: 22450956ecdaSRichard Henderson case INDEX_op_ctpop_i32: 22460956ecdaSRichard Henderson case INDEX_op_ctpop_i64: 2247665be288SRichard Henderson return C_O1_I1(r, r); 2248139c1837SPaolo Bonzini 2249139c1837SPaolo Bonzini case INDEX_op_st8_i32: 2250139c1837SPaolo Bonzini case INDEX_op_st16_i32: 2251139c1837SPaolo Bonzini case INDEX_op_st_i32: 2252139c1837SPaolo Bonzini case INDEX_op_st8_i64: 2253139c1837SPaolo Bonzini case INDEX_op_st16_i64: 2254139c1837SPaolo Bonzini case INDEX_op_st32_i64: 2255139c1837SPaolo Bonzini case INDEX_op_st_i64: 2256665be288SRichard Henderson return C_O0_I2(rZ, r); 2257139c1837SPaolo Bonzini 2258139c1837SPaolo Bonzini case INDEX_op_add_i32: 2259139c1837SPaolo Bonzini case INDEX_op_and_i32: 2260139c1837SPaolo Bonzini case INDEX_op_or_i32: 2261139c1837SPaolo Bonzini case INDEX_op_xor_i32: 2262139c1837SPaolo Bonzini case INDEX_op_add_i64: 2263139c1837SPaolo Bonzini case INDEX_op_and_i64: 2264139c1837SPaolo Bonzini case INDEX_op_or_i64: 2265139c1837SPaolo Bonzini case INDEX_op_xor_i64: 2266f6453695SRichard Henderson case INDEX_op_setcond_i32: 2267f6453695SRichard Henderson case INDEX_op_setcond_i64: 226841e4c0a9SRichard Henderson case INDEX_op_negsetcond_i32: 226941e4c0a9SRichard Henderson case INDEX_op_negsetcond_i64: 2270665be288SRichard Henderson return C_O1_I2(r, r, rI); 2271139c1837SPaolo Bonzini 227299f4ec6eSRichard Henderson case INDEX_op_andc_i32: 227399f4ec6eSRichard Henderson case INDEX_op_andc_i64: 227499f4ec6eSRichard Henderson case INDEX_op_orc_i32: 227599f4ec6eSRichard Henderson case INDEX_op_orc_i64: 227699f4ec6eSRichard Henderson case INDEX_op_eqv_i32: 227799f4ec6eSRichard Henderson case INDEX_op_eqv_i64: 227899f4ec6eSRichard Henderson return C_O1_I2(r, r, rJ); 227999f4ec6eSRichard Henderson 2280139c1837SPaolo Bonzini case INDEX_op_sub_i32: 2281139c1837SPaolo Bonzini case INDEX_op_sub_i64: 2282665be288SRichard Henderson return C_O1_I2(r, rZ, rN); 2283139c1837SPaolo Bonzini 2284139c1837SPaolo Bonzini case INDEX_op_mul_i32: 2285139c1837SPaolo Bonzini case INDEX_op_mulsh_i32: 2286139c1837SPaolo Bonzini case INDEX_op_muluh_i32: 2287139c1837SPaolo Bonzini case INDEX_op_div_i32: 2288139c1837SPaolo Bonzini case INDEX_op_divu_i32: 2289139c1837SPaolo Bonzini case INDEX_op_rem_i32: 2290139c1837SPaolo Bonzini case INDEX_op_remu_i32: 2291139c1837SPaolo Bonzini case INDEX_op_mul_i64: 2292139c1837SPaolo Bonzini case INDEX_op_mulsh_i64: 2293139c1837SPaolo Bonzini case INDEX_op_muluh_i64: 2294139c1837SPaolo Bonzini case INDEX_op_div_i64: 2295139c1837SPaolo Bonzini case INDEX_op_divu_i64: 2296139c1837SPaolo Bonzini case INDEX_op_rem_i64: 2297139c1837SPaolo Bonzini case INDEX_op_remu_i64: 2298665be288SRichard Henderson return C_O1_I2(r, rZ, rZ); 2299139c1837SPaolo Bonzini 2300139c1837SPaolo Bonzini case INDEX_op_shl_i32: 2301139c1837SPaolo Bonzini case INDEX_op_shr_i32: 2302139c1837SPaolo Bonzini case INDEX_op_sar_i32: 230319d016adSRichard Henderson case INDEX_op_rotl_i32: 230419d016adSRichard Henderson case INDEX_op_rotr_i32: 2305139c1837SPaolo Bonzini case INDEX_op_shl_i64: 2306139c1837SPaolo Bonzini case INDEX_op_shr_i64: 2307139c1837SPaolo Bonzini case INDEX_op_sar_i64: 230819d016adSRichard Henderson case INDEX_op_rotl_i64: 230919d016adSRichard Henderson case INDEX_op_rotr_i64: 2310665be288SRichard Henderson return C_O1_I2(r, r, ri); 2311139c1837SPaolo Bonzini 2312a30498fcSRichard Henderson case INDEX_op_clz_i32: 2313a30498fcSRichard Henderson case INDEX_op_clz_i64: 2314a30498fcSRichard Henderson case INDEX_op_ctz_i32: 2315a30498fcSRichard Henderson case INDEX_op_ctz_i64: 2316a30498fcSRichard Henderson return C_N1_I2(r, r, rM); 2317a30498fcSRichard Henderson 2318139c1837SPaolo Bonzini case INDEX_op_brcond_i32: 2319139c1837SPaolo Bonzini case INDEX_op_brcond_i64: 2320665be288SRichard Henderson return C_O0_I2(rZ, rZ); 2321139c1837SPaolo Bonzini 2322a18d783eSRichard Henderson case INDEX_op_movcond_i32: 2323a18d783eSRichard Henderson case INDEX_op_movcond_i64: 2324a18d783eSRichard Henderson return C_O1_I4(r, r, rI, rM, rM); 2325a18d783eSRichard Henderson 2326139c1837SPaolo Bonzini case INDEX_op_add2_i32: 2327139c1837SPaolo Bonzini case INDEX_op_add2_i64: 2328139c1837SPaolo Bonzini case INDEX_op_sub2_i32: 2329139c1837SPaolo Bonzini case INDEX_op_sub2_i64: 2330665be288SRichard Henderson return C_O2_I4(r, r, rZ, rZ, rM, rM); 2331139c1837SPaolo Bonzini 2332fecccfccSRichard Henderson case INDEX_op_qemu_ld_a32_i32: 2333fecccfccSRichard Henderson case INDEX_op_qemu_ld_a64_i32: 2334fecccfccSRichard Henderson case INDEX_op_qemu_ld_a32_i64: 2335fecccfccSRichard Henderson case INDEX_op_qemu_ld_a64_i64: 2336f0f43534SRichard Henderson return C_O1_I1(r, r); 2337fecccfccSRichard Henderson case INDEX_op_qemu_st_a32_i32: 2338fecccfccSRichard Henderson case INDEX_op_qemu_st_a64_i32: 2339fecccfccSRichard Henderson case INDEX_op_qemu_st_a32_i64: 2340fecccfccSRichard Henderson case INDEX_op_qemu_st_a64_i64: 2341f0f43534SRichard Henderson return C_O0_I2(rZ, r); 2342139c1837SPaolo Bonzini 2343f63e7089SHuang Shiyuan case INDEX_op_st_vec: 2344f63e7089SHuang Shiyuan return C_O0_I2(v, r); 2345*d4be6ee1STANG Tiancheng case INDEX_op_dup_vec: 2346*d4be6ee1STANG Tiancheng case INDEX_op_dupm_vec: 2347f63e7089SHuang Shiyuan case INDEX_op_ld_vec: 2348f63e7089SHuang Shiyuan return C_O1_I1(v, r); 2349139c1837SPaolo Bonzini default: 2350665be288SRichard Henderson g_assert_not_reached(); 2351139c1837SPaolo Bonzini } 2352139c1837SPaolo Bonzini} 2353139c1837SPaolo Bonzini 2354139c1837SPaolo Bonzinistatic const int tcg_target_callee_save_regs[] = { 2355139c1837SPaolo Bonzini TCG_REG_S0, /* used for the global env (TCG_AREG0) */ 2356139c1837SPaolo Bonzini TCG_REG_S1, 2357139c1837SPaolo Bonzini TCG_REG_S2, 2358139c1837SPaolo Bonzini TCG_REG_S3, 2359139c1837SPaolo Bonzini TCG_REG_S4, 2360139c1837SPaolo Bonzini TCG_REG_S5, 2361139c1837SPaolo Bonzini TCG_REG_S6, 2362139c1837SPaolo Bonzini TCG_REG_S7, 2363139c1837SPaolo Bonzini TCG_REG_S8, 2364139c1837SPaolo Bonzini TCG_REG_S9, 2365139c1837SPaolo Bonzini TCG_REG_S10, 2366139c1837SPaolo Bonzini TCG_REG_S11, 2367139c1837SPaolo Bonzini TCG_REG_RA, /* should be last for ABI compliance */ 2368139c1837SPaolo Bonzini}; 2369139c1837SPaolo Bonzini 2370139c1837SPaolo Bonzini/* Stack frame parameters. */ 2371139c1837SPaolo Bonzini#define REG_SIZE (TCG_TARGET_REG_BITS / 8) 2372139c1837SPaolo Bonzini#define SAVE_SIZE ((int)ARRAY_SIZE(tcg_target_callee_save_regs) * REG_SIZE) 2373139c1837SPaolo Bonzini#define TEMP_SIZE (CPU_TEMP_BUF_NLONGS * (int)sizeof(long)) 2374139c1837SPaolo Bonzini#define FRAME_SIZE ((TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE + SAVE_SIZE \ 2375139c1837SPaolo Bonzini + TCG_TARGET_STACK_ALIGN - 1) \ 2376139c1837SPaolo Bonzini & -TCG_TARGET_STACK_ALIGN) 2377139c1837SPaolo Bonzini#define SAVE_OFS (TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE) 2378139c1837SPaolo Bonzini 2379139c1837SPaolo Bonzini/* We're expecting to be able to use an immediate for frame allocation. */ 2380139c1837SPaolo BonziniQEMU_BUILD_BUG_ON(FRAME_SIZE > 0x7ff); 2381139c1837SPaolo Bonzini 2382139c1837SPaolo Bonzini/* Generate global QEMU prologue and epilogue code */ 2383139c1837SPaolo Bonzinistatic void tcg_target_qemu_prologue(TCGContext *s) 2384139c1837SPaolo Bonzini{ 2385139c1837SPaolo Bonzini int i; 2386139c1837SPaolo Bonzini 2387139c1837SPaolo Bonzini tcg_set_frame(s, TCG_REG_SP, TCG_STATIC_CALL_ARGS_SIZE, TEMP_SIZE); 2388139c1837SPaolo Bonzini 2389139c1837SPaolo Bonzini /* TB prologue */ 2390139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, -FRAME_SIZE); 2391139c1837SPaolo Bonzini for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) { 2392139c1837SPaolo Bonzini tcg_out_st(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i], 2393139c1837SPaolo Bonzini TCG_REG_SP, SAVE_OFS + i * REG_SIZE); 2394139c1837SPaolo Bonzini } 2395139c1837SPaolo Bonzini 23964944d359SRichard Henderson if (!tcg_use_softmmu && guest_base) { 2397139c1837SPaolo Bonzini tcg_out_movi(s, TCG_TYPE_PTR, TCG_GUEST_BASE_REG, guest_base); 2398139c1837SPaolo Bonzini tcg_regset_set_reg(s->reserved_regs, TCG_GUEST_BASE_REG); 2399cf0ed30eSRichard Henderson } 2400139c1837SPaolo Bonzini 2401139c1837SPaolo Bonzini /* Call generated code */ 2402139c1837SPaolo Bonzini tcg_out_mov(s, TCG_TYPE_PTR, TCG_AREG0, tcg_target_call_iarg_regs[0]); 2403139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, tcg_target_call_iarg_regs[1], 0); 2404139c1837SPaolo Bonzini 2405139c1837SPaolo Bonzini /* Return path for goto_ptr. Set return value to 0 */ 2406c8bc1168SRichard Henderson tcg_code_gen_epilogue = tcg_splitwx_to_rx(s->code_ptr); 2407139c1837SPaolo Bonzini tcg_out_mov(s, TCG_TYPE_REG, TCG_REG_A0, TCG_REG_ZERO); 2408139c1837SPaolo Bonzini 2409139c1837SPaolo Bonzini /* TB epilogue */ 2410793f7381SRichard Henderson tb_ret_addr = tcg_splitwx_to_rx(s->code_ptr); 2411139c1837SPaolo Bonzini for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) { 2412139c1837SPaolo Bonzini tcg_out_ld(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i], 2413139c1837SPaolo Bonzini TCG_REG_SP, SAVE_OFS + i * REG_SIZE); 2414139c1837SPaolo Bonzini } 2415139c1837SPaolo Bonzini 2416139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_SP, TCG_REG_SP, FRAME_SIZE); 2417139c1837SPaolo Bonzini tcg_out_opc_imm(s, OPC_JALR, TCG_REG_ZERO, TCG_REG_RA, 0); 2418139c1837SPaolo Bonzini} 2419139c1837SPaolo Bonzini 24209358fbbfSRichard Hendersonstatic void tcg_out_tb_start(TCGContext *s) 24219358fbbfSRichard Henderson{ 2422f63e7089SHuang Shiyuan init_setting_vtype(s); 2423f63e7089SHuang Shiyuan} 2424f63e7089SHuang Shiyuan 2425f63e7089SHuang Shiyuanstatic bool vtype_check(unsigned vtype) 2426f63e7089SHuang Shiyuan{ 2427f63e7089SHuang Shiyuan unsigned long tmp; 2428f63e7089SHuang Shiyuan 2429f63e7089SHuang Shiyuan /* vsetvl tmp, zero, vtype */ 2430f63e7089SHuang Shiyuan asm(".insn r 0x57, 7, 0x40, %0, zero, %1" : "=r"(tmp) : "r"(vtype)); 2431f63e7089SHuang Shiyuan return tmp != 0; 2432f63e7089SHuang Shiyuan} 2433f63e7089SHuang Shiyuan 2434f63e7089SHuang Shiyuanstatic void probe_frac_lmul_1(TCGType type, MemOp vsew) 2435f63e7089SHuang Shiyuan{ 2436f63e7089SHuang Shiyuan VsetCache *p = &riscv_vset_cache[type - TCG_TYPE_V64][vsew]; 2437f63e7089SHuang Shiyuan unsigned avl = tcg_type_size(type) >> vsew; 2438f63e7089SHuang Shiyuan int lmul = type - riscv_lg2_vlenb; 2439f63e7089SHuang Shiyuan unsigned vtype = encode_vtype(true, true, vsew, lmul & 7); 2440f63e7089SHuang Shiyuan bool lmul_eq_avl = true; 2441f63e7089SHuang Shiyuan 2442f63e7089SHuang Shiyuan /* Guaranteed by Zve64x. */ 2443f63e7089SHuang Shiyuan assert(lmul < 3); 2444f63e7089SHuang Shiyuan 2445f63e7089SHuang Shiyuan /* 2446f63e7089SHuang Shiyuan * For LMUL < -3, the host vector size is so large that TYPE 2447f63e7089SHuang Shiyuan * is smaller than the minimum 1/8 fraction. 2448f63e7089SHuang Shiyuan * 2449f63e7089SHuang Shiyuan * For other fractional LMUL settings, implementations must 2450f63e7089SHuang Shiyuan * support SEW settings between SEW_MIN and LMUL * ELEN, inclusive. 2451f63e7089SHuang Shiyuan * So if ELEN = 64, LMUL = 1/2, then SEW will support e8, e16, e32, 2452f63e7089SHuang Shiyuan * but e64 may not be supported. In other words, the hardware only 2453f63e7089SHuang Shiyuan * guarantees SEW_MIN <= SEW <= LMUL * ELEN. Check. 2454f63e7089SHuang Shiyuan */ 2455f63e7089SHuang Shiyuan if (lmul < 0 && (lmul < -3 || !vtype_check(vtype))) { 2456f63e7089SHuang Shiyuan vtype = encode_vtype(true, true, vsew, VLMUL_M1); 2457f63e7089SHuang Shiyuan lmul_eq_avl = false; 2458f63e7089SHuang Shiyuan } 2459f63e7089SHuang Shiyuan 2460f63e7089SHuang Shiyuan if (avl < 32) { 2461f63e7089SHuang Shiyuan p->vset_insn = encode_vseti(OPC_VSETIVLI, TCG_REG_ZERO, avl, vtype); 2462f63e7089SHuang Shiyuan } else if (lmul_eq_avl) { 2463f63e7089SHuang Shiyuan /* rd != 0 and rs1 == 0 uses vlmax */ 2464f63e7089SHuang Shiyuan p->vset_insn = encode_vset(OPC_VSETVLI, TCG_REG_TMP0, TCG_REG_ZERO, vtype); 2465f63e7089SHuang Shiyuan } else { 2466f63e7089SHuang Shiyuan p->movi_insn = encode_i(OPC_ADDI, TCG_REG_TMP0, TCG_REG_ZERO, avl); 2467f63e7089SHuang Shiyuan p->vset_insn = encode_vset(OPC_VSETVLI, TCG_REG_ZERO, TCG_REG_TMP0, vtype); 2468f63e7089SHuang Shiyuan } 2469f63e7089SHuang Shiyuan} 2470f63e7089SHuang Shiyuan 2471f63e7089SHuang Shiyuanstatic void probe_frac_lmul(void) 2472f63e7089SHuang Shiyuan{ 2473f63e7089SHuang Shiyuan /* Match riscv_lg2_vlenb to TCG_TYPE_V64. */ 2474f63e7089SHuang Shiyuan QEMU_BUILD_BUG_ON(TCG_TYPE_V64 != 3); 2475f63e7089SHuang Shiyuan 2476f63e7089SHuang Shiyuan for (TCGType t = TCG_TYPE_V64; t <= TCG_TYPE_V256; t++) { 2477f63e7089SHuang Shiyuan for (MemOp e = MO_8; e <= MO_64; e++) { 2478f63e7089SHuang Shiyuan probe_frac_lmul_1(t, e); 2479f63e7089SHuang Shiyuan } 2480f63e7089SHuang Shiyuan } 24819358fbbfSRichard Henderson} 24829358fbbfSRichard Henderson 2483139c1837SPaolo Bonzinistatic void tcg_target_init(TCGContext *s) 2484139c1837SPaolo Bonzini{ 2485139c1837SPaolo Bonzini tcg_target_available_regs[TCG_TYPE_I32] = 0xffffffff; 2486139c1837SPaolo Bonzini tcg_target_available_regs[TCG_TYPE_I64] = 0xffffffff; 2487139c1837SPaolo Bonzini 2488f63e7089SHuang Shiyuan tcg_target_call_clobber_regs = -1; 2489139c1837SPaolo Bonzini tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S0); 2490139c1837SPaolo Bonzini tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S1); 2491139c1837SPaolo Bonzini tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S2); 2492139c1837SPaolo Bonzini tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S3); 2493139c1837SPaolo Bonzini tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S4); 2494139c1837SPaolo Bonzini tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S5); 2495139c1837SPaolo Bonzini tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S6); 2496139c1837SPaolo Bonzini tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S7); 2497139c1837SPaolo Bonzini tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S8); 2498139c1837SPaolo Bonzini tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S9); 2499139c1837SPaolo Bonzini tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S10); 2500139c1837SPaolo Bonzini tcg_regset_reset_reg(tcg_target_call_clobber_regs, TCG_REG_S11); 2501139c1837SPaolo Bonzini 2502139c1837SPaolo Bonzini s->reserved_regs = 0; 2503139c1837SPaolo Bonzini tcg_regset_set_reg(s->reserved_regs, TCG_REG_ZERO); 2504139c1837SPaolo Bonzini tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP0); 2505139c1837SPaolo Bonzini tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP1); 2506139c1837SPaolo Bonzini tcg_regset_set_reg(s->reserved_regs, TCG_REG_TMP2); 2507139c1837SPaolo Bonzini tcg_regset_set_reg(s->reserved_regs, TCG_REG_SP); 2508139c1837SPaolo Bonzini tcg_regset_set_reg(s->reserved_regs, TCG_REG_GP); 2509139c1837SPaolo Bonzini tcg_regset_set_reg(s->reserved_regs, TCG_REG_TP); 2510f63e7089SHuang Shiyuan 2511f63e7089SHuang Shiyuan if (cpuinfo & CPUINFO_ZVE64X) { 2512f63e7089SHuang Shiyuan switch (riscv_lg2_vlenb) { 2513f63e7089SHuang Shiyuan case TCG_TYPE_V64: 2514f63e7089SHuang Shiyuan tcg_target_available_regs[TCG_TYPE_V64] = ALL_VECTOR_REGS; 2515f63e7089SHuang Shiyuan tcg_target_available_regs[TCG_TYPE_V128] = ALL_DVECTOR_REG_GROUPS; 2516f63e7089SHuang Shiyuan tcg_target_available_regs[TCG_TYPE_V256] = ALL_QVECTOR_REG_GROUPS; 2517f63e7089SHuang Shiyuan s->reserved_regs |= (~ALL_QVECTOR_REG_GROUPS & ALL_VECTOR_REGS); 2518f63e7089SHuang Shiyuan break; 2519f63e7089SHuang Shiyuan case TCG_TYPE_V128: 2520f63e7089SHuang Shiyuan tcg_target_available_regs[TCG_TYPE_V64] = ALL_VECTOR_REGS; 2521f63e7089SHuang Shiyuan tcg_target_available_regs[TCG_TYPE_V128] = ALL_VECTOR_REGS; 2522f63e7089SHuang Shiyuan tcg_target_available_regs[TCG_TYPE_V256] = ALL_DVECTOR_REG_GROUPS; 2523f63e7089SHuang Shiyuan s->reserved_regs |= (~ALL_DVECTOR_REG_GROUPS & ALL_VECTOR_REGS); 2524f63e7089SHuang Shiyuan break; 2525f63e7089SHuang Shiyuan default: 2526f63e7089SHuang Shiyuan /* Guaranteed by Zve64x. */ 2527f63e7089SHuang Shiyuan tcg_debug_assert(riscv_lg2_vlenb >= TCG_TYPE_V256); 2528f63e7089SHuang Shiyuan tcg_target_available_regs[TCG_TYPE_V64] = ALL_VECTOR_REGS; 2529f63e7089SHuang Shiyuan tcg_target_available_regs[TCG_TYPE_V128] = ALL_VECTOR_REGS; 2530f63e7089SHuang Shiyuan tcg_target_available_regs[TCG_TYPE_V256] = ALL_VECTOR_REGS; 2531f63e7089SHuang Shiyuan break; 2532f63e7089SHuang Shiyuan } 2533f63e7089SHuang Shiyuan tcg_regset_set_reg(s->reserved_regs, TCG_REG_V0); 2534f63e7089SHuang Shiyuan probe_frac_lmul(); 2535f63e7089SHuang Shiyuan } 2536139c1837SPaolo Bonzini} 2537139c1837SPaolo Bonzini 2538139c1837SPaolo Bonzinitypedef struct { 2539139c1837SPaolo Bonzini DebugFrameHeader h; 2540139c1837SPaolo Bonzini uint8_t fde_def_cfa[4]; 2541139c1837SPaolo Bonzini uint8_t fde_reg_ofs[ARRAY_SIZE(tcg_target_callee_save_regs) * 2]; 2542139c1837SPaolo Bonzini} DebugFrame; 2543139c1837SPaolo Bonzini 2544139c1837SPaolo Bonzini#define ELF_HOST_MACHINE EM_RISCV 2545139c1837SPaolo Bonzini 2546139c1837SPaolo Bonzinistatic const DebugFrame debug_frame = { 2547139c1837SPaolo Bonzini .h.cie.len = sizeof(DebugFrameCIE) - 4, /* length after .len member */ 2548139c1837SPaolo Bonzini .h.cie.id = -1, 2549139c1837SPaolo Bonzini .h.cie.version = 1, 2550139c1837SPaolo Bonzini .h.cie.code_align = 1, 2551139c1837SPaolo Bonzini .h.cie.data_align = -(TCG_TARGET_REG_BITS / 8) & 0x7f, /* sleb128 */ 2552139c1837SPaolo Bonzini .h.cie.return_column = TCG_REG_RA, 2553139c1837SPaolo Bonzini 2554139c1837SPaolo Bonzini /* Total FDE size does not include the "len" member. */ 2555139c1837SPaolo Bonzini .h.fde.len = sizeof(DebugFrame) - offsetof(DebugFrame, h.fde.cie_offset), 2556139c1837SPaolo Bonzini 2557139c1837SPaolo Bonzini .fde_def_cfa = { 2558139c1837SPaolo Bonzini 12, TCG_REG_SP, /* DW_CFA_def_cfa sp, ... */ 2559139c1837SPaolo Bonzini (FRAME_SIZE & 0x7f) | 0x80, /* ... uleb128 FRAME_SIZE */ 2560139c1837SPaolo Bonzini (FRAME_SIZE >> 7) 2561139c1837SPaolo Bonzini }, 2562139c1837SPaolo Bonzini .fde_reg_ofs = { 2563139c1837SPaolo Bonzini 0x80 + 9, 12, /* DW_CFA_offset, s1, -96 */ 2564139c1837SPaolo Bonzini 0x80 + 18, 11, /* DW_CFA_offset, s2, -88 */ 2565139c1837SPaolo Bonzini 0x80 + 19, 10, /* DW_CFA_offset, s3, -80 */ 2566139c1837SPaolo Bonzini 0x80 + 20, 9, /* DW_CFA_offset, s4, -72 */ 2567139c1837SPaolo Bonzini 0x80 + 21, 8, /* DW_CFA_offset, s5, -64 */ 2568139c1837SPaolo Bonzini 0x80 + 22, 7, /* DW_CFA_offset, s6, -56 */ 2569139c1837SPaolo Bonzini 0x80 + 23, 6, /* DW_CFA_offset, s7, -48 */ 2570139c1837SPaolo Bonzini 0x80 + 24, 5, /* DW_CFA_offset, s8, -40 */ 2571139c1837SPaolo Bonzini 0x80 + 25, 4, /* DW_CFA_offset, s9, -32 */ 2572139c1837SPaolo Bonzini 0x80 + 26, 3, /* DW_CFA_offset, s10, -24 */ 2573139c1837SPaolo Bonzini 0x80 + 27, 2, /* DW_CFA_offset, s11, -16 */ 2574139c1837SPaolo Bonzini 0x80 + 1 , 1, /* DW_CFA_offset, ra, -8 */ 2575139c1837SPaolo Bonzini } 2576139c1837SPaolo Bonzini}; 2577139c1837SPaolo Bonzini 2578755bf9e5SRichard Hendersonvoid tcg_register_jit(const void *buf, size_t buf_size) 2579139c1837SPaolo Bonzini{ 2580139c1837SPaolo Bonzini tcg_register_jit_int(buf, buf_size, &debug_frame, sizeof(debug_frame)); 2581139c1837SPaolo Bonzini} 2582