2009-10-17 12:17:47 +00:00
|
|
|
/*
|
|
|
|
* Tiny Code Generator for QEMU
|
|
|
|
*
|
|
|
|
* Copyright (c) 2008-2009 Arnaud Patard <arnaud.patard@rtp-net.org>
|
|
|
|
* Copyright (c) 2009 Aurelien Jarno <aurelien@aurel32.net>
|
|
|
|
* Based on i386/tcg-target.c - Copyright (c) 2008 Fabrice Bellard
|
|
|
|
*
|
|
|
|
* Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
|
|
* of this software and associated documentation files (the "Software"), to deal
|
|
|
|
* in the Software without restriction, including without limitation the rights
|
|
|
|
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
|
|
* copies of the Software, and to permit persons to whom the Software is
|
|
|
|
* furnished to do so, subject to the following conditions:
|
|
|
|
*
|
|
|
|
* The above copyright notice and this permission notice shall be included in
|
|
|
|
* all copies or substantial portions of the Software.
|
|
|
|
*
|
|
|
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
|
|
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
|
|
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
|
|
|
|
* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
|
|
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
|
|
* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
|
|
* THE SOFTWARE.
|
|
|
|
*/
|
|
|
|
|
2014-05-02 22:01:31 +00:00
|
|
|
#include "tcg-be-ldst.h"
|
2013-10-03 19:04:46 +00:00
|
|
|
|
2014-05-02 22:01:31 +00:00
|
|
|
#ifdef HOST_WORDS_BIGENDIAN
|
|
|
|
# define MIPS_BE 1
|
2009-10-17 12:17:47 +00:00
|
|
|
#else
|
2014-05-02 22:01:31 +00:00
|
|
|
# define MIPS_BE 0
|
2009-10-17 12:17:47 +00:00
|
|
|
#endif
|
|
|
|
|
2017-01-05 04:57:55 +00:00
|
|
|
#if TCG_TARGET_REG_BITS == 32
|
|
|
|
# define LO_OFF (MIPS_BE * 4)
|
|
|
|
# define HI_OFF (4 - LO_OFF)
|
|
|
|
#else
|
|
|
|
/* To assert at compile-time that these values are never used
|
|
|
|
for TCG_TARGET_REG_BITS == 64. */
|
|
|
|
/* extern */ int link_error(void);
|
|
|
|
# define LO_OFF link_error()
|
|
|
|
# define HI_OFF link_error()
|
|
|
|
#endif
|
2014-05-02 22:01:31 +00:00
|
|
|
|
2016-04-21 08:48:50 +00:00
|
|
|
#ifdef CONFIG_DEBUG_TCG
|
2009-10-17 12:17:47 +00:00
|
|
|
static const char * const tcg_target_reg_names[TCG_TARGET_NB_REGS] = {
|
|
|
|
"zero",
|
|
|
|
"at",
|
|
|
|
"v0",
|
|
|
|
"v1",
|
|
|
|
"a0",
|
|
|
|
"a1",
|
|
|
|
"a2",
|
|
|
|
"a3",
|
|
|
|
"t0",
|
|
|
|
"t1",
|
|
|
|
"t2",
|
|
|
|
"t3",
|
|
|
|
"t4",
|
|
|
|
"t5",
|
|
|
|
"t6",
|
|
|
|
"t7",
|
|
|
|
"s0",
|
|
|
|
"s1",
|
|
|
|
"s2",
|
|
|
|
"s3",
|
|
|
|
"s4",
|
|
|
|
"s5",
|
|
|
|
"s6",
|
|
|
|
"s7",
|
|
|
|
"t8",
|
|
|
|
"t9",
|
|
|
|
"k0",
|
|
|
|
"k1",
|
|
|
|
"gp",
|
|
|
|
"sp",
|
2014-04-15 16:03:59 +00:00
|
|
|
"s8",
|
2009-10-17 12:17:47 +00:00
|
|
|
"ra",
|
|
|
|
};
|
|
|
|
#endif
|
|
|
|
|
2014-04-15 16:07:52 +00:00
|
|
|
#define TCG_TMP0 TCG_REG_AT
|
2014-04-15 16:10:16 +00:00
|
|
|
#define TCG_TMP1 TCG_REG_T9
|
2017-01-05 04:57:46 +00:00
|
|
|
#define TCG_TMP2 TCG_REG_T8
|
|
|
|
#define TCG_TMP3 TCG_REG_T7
|
2014-04-15 16:07:52 +00:00
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
/* check if we really need so many registers :P */
|
2016-04-01 14:49:39 +00:00
|
|
|
static const int tcg_target_reg_alloc_order[] = {
|
2014-04-15 16:03:59 +00:00
|
|
|
/* Call saved registers. */
|
2009-10-17 12:17:47 +00:00
|
|
|
TCG_REG_S0,
|
|
|
|
TCG_REG_S1,
|
|
|
|
TCG_REG_S2,
|
|
|
|
TCG_REG_S3,
|
|
|
|
TCG_REG_S4,
|
|
|
|
TCG_REG_S5,
|
|
|
|
TCG_REG_S6,
|
|
|
|
TCG_REG_S7,
|
2014-04-15 16:03:59 +00:00
|
|
|
TCG_REG_S8,
|
|
|
|
|
|
|
|
/* Call clobbered registers. */
|
2009-10-17 12:17:47 +00:00
|
|
|
TCG_REG_T4,
|
|
|
|
TCG_REG_T5,
|
|
|
|
TCG_REG_T6,
|
|
|
|
TCG_REG_T7,
|
|
|
|
TCG_REG_T8,
|
|
|
|
TCG_REG_T9,
|
2014-04-15 16:03:59 +00:00
|
|
|
TCG_REG_V1,
|
2009-10-17 12:17:47 +00:00
|
|
|
TCG_REG_V0,
|
2014-04-15 16:03:59 +00:00
|
|
|
|
|
|
|
/* Argument registers, opposite order of allocation. */
|
2017-01-05 04:57:54 +00:00
|
|
|
TCG_REG_T3,
|
|
|
|
TCG_REG_T2,
|
|
|
|
TCG_REG_T1,
|
|
|
|
TCG_REG_T0,
|
2014-04-15 16:03:59 +00:00
|
|
|
TCG_REG_A3,
|
|
|
|
TCG_REG_A2,
|
|
|
|
TCG_REG_A1,
|
|
|
|
TCG_REG_A0,
|
2009-10-17 12:17:47 +00:00
|
|
|
};
|
|
|
|
|
2017-01-05 04:57:54 +00:00
|
|
|
static const TCGReg tcg_target_call_iarg_regs[] = {
|
2009-10-17 12:17:47 +00:00
|
|
|
TCG_REG_A0,
|
|
|
|
TCG_REG_A1,
|
|
|
|
TCG_REG_A2,
|
2017-01-05 04:57:54 +00:00
|
|
|
TCG_REG_A3,
|
|
|
|
#if _MIPS_SIM == _ABIN32 || _MIPS_SIM == _ABI64
|
|
|
|
TCG_REG_T0,
|
|
|
|
TCG_REG_T1,
|
|
|
|
TCG_REG_T2,
|
|
|
|
TCG_REG_T3,
|
|
|
|
#endif
|
2009-10-17 12:17:47 +00:00
|
|
|
};
|
|
|
|
|
2012-09-21 16:20:26 +00:00
|
|
|
static const TCGReg tcg_target_call_oarg_regs[2] = {
|
2009-10-17 12:17:47 +00:00
|
|
|
TCG_REG_V0,
|
|
|
|
TCG_REG_V1
|
|
|
|
};
|
|
|
|
|
2014-04-25 19:22:44 +00:00
|
|
|
static tcg_insn_unit *tb_ret_addr;
|
2017-01-05 04:57:46 +00:00
|
|
|
static tcg_insn_unit *bswap32_addr;
|
2017-01-05 04:57:49 +00:00
|
|
|
static tcg_insn_unit *bswap32u_addr;
|
|
|
|
static tcg_insn_unit *bswap64_addr;
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-04-25 19:22:44 +00:00
|
|
|
static inline uint32_t reloc_pc16_val(tcg_insn_unit *pc, tcg_insn_unit *target)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2014-04-25 19:22:44 +00:00
|
|
|
/* Let the compiler perform the right-shift as part of the arithmetic. */
|
|
|
|
ptrdiff_t disp = target - (pc + 1);
|
2016-04-21 08:48:49 +00:00
|
|
|
tcg_debug_assert(disp == (int16_t)disp);
|
2014-04-25 19:22:44 +00:00
|
|
|
return disp & 0xffff;
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2014-04-25 19:22:44 +00:00
|
|
|
static inline void reloc_pc16(tcg_insn_unit *pc, tcg_insn_unit *target)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2014-04-25 19:22:44 +00:00
|
|
|
*pc = deposit32(*pc, 0, 16, reloc_pc16_val(pc, target));
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2014-04-25 19:22:44 +00:00
|
|
|
static inline uint32_t reloc_26_val(tcg_insn_unit *pc, tcg_insn_unit *target)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2016-04-21 08:48:49 +00:00
|
|
|
tcg_debug_assert((((uintptr_t)pc ^ (uintptr_t)target) & 0xf0000000) == 0);
|
2014-04-25 19:22:44 +00:00
|
|
|
return ((uintptr_t)target >> 2) & 0x3ffffff;
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2014-04-25 19:22:44 +00:00
|
|
|
static inline void reloc_26(tcg_insn_unit *pc, tcg_insn_unit *target)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2014-04-25 19:22:44 +00:00
|
|
|
*pc = deposit32(*pc, 0, 26, reloc_26_val(pc, target));
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2014-04-25 19:22:44 +00:00
|
|
|
static void patch_reloc(tcg_insn_unit *code_ptr, int type,
|
2013-08-20 22:30:10 +00:00
|
|
|
intptr_t value, intptr_t addend)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2016-04-21 08:48:49 +00:00
|
|
|
tcg_debug_assert(type == R_MIPS_PC16);
|
|
|
|
tcg_debug_assert(addend == 0);
|
2014-04-25 19:22:44 +00:00
|
|
|
reloc_pc16(code_ptr, (tcg_insn_unit *)value);
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2014-04-15 16:27:40 +00:00
|
|
|
#define TCG_CT_CONST_ZERO 0x100
|
2014-04-16 01:54:07 +00:00
|
|
|
#define TCG_CT_CONST_U16 0x200 /* Unsigned 16-bit: 0 - 0xffff. */
|
|
|
|
#define TCG_CT_CONST_S16 0x400 /* Signed 16-bit: -32768 - 32767 */
|
|
|
|
#define TCG_CT_CONST_P2M1 0x800 /* Power of 2 minus 1. */
|
|
|
|
#define TCG_CT_CONST_N16 0x1000 /* "Negatable" 16-bit: -32767 - 32767 */
|
2014-04-15 16:27:40 +00:00
|
|
|
|
|
|
|
static inline bool is_p2m1(tcg_target_long val)
|
|
|
|
{
|
|
|
|
return val && ((val + 1) & val) == 0;
|
|
|
|
}
|
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
/* parse target specific constraints */
|
2016-11-18 10:50:59 +00:00
|
|
|
static const char *target_parse_constraint(TCGArgConstraint *ct,
|
|
|
|
const char *ct_str, TCGType type)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2016-11-18 10:50:59 +00:00
|
|
|
switch(*ct_str++) {
|
2009-10-17 12:17:47 +00:00
|
|
|
case 'r':
|
|
|
|
ct->ct |= TCG_CT_REG;
|
|
|
|
tcg_regset_set(ct->u.regs, 0xffffffff);
|
|
|
|
break;
|
2017-01-05 04:57:46 +00:00
|
|
|
case 'L': /* qemu_ld input arg constraint */
|
2009-10-17 12:17:47 +00:00
|
|
|
ct->ct |= TCG_CT_REG;
|
|
|
|
tcg_regset_set(ct->u.regs, 0xffffffff);
|
|
|
|
tcg_regset_reset_reg(ct->u.regs, TCG_REG_A0);
|
2014-05-02 22:01:31 +00:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
|
2014-05-02 22:01:31 +00:00
|
|
|
tcg_regset_reset_reg(ct->u.regs, TCG_REG_A2);
|
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
#endif
|
|
|
|
break;
|
|
|
|
case 'S': /* qemu_st constraint */
|
|
|
|
ct->ct |= TCG_CT_REG;
|
|
|
|
tcg_regset_set(ct->u.regs, 0xffffffff);
|
|
|
|
tcg_regset_reset_reg(ct->u.regs, TCG_REG_A0);
|
2010-03-27 16:31:04 +00:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
|
2014-05-02 22:01:31 +00:00
|
|
|
tcg_regset_reset_reg(ct->u.regs, TCG_REG_A2);
|
|
|
|
tcg_regset_reset_reg(ct->u.regs, TCG_REG_A3);
|
2017-01-05 04:57:55 +00:00
|
|
|
} else {
|
|
|
|
tcg_regset_reset_reg(ct->u.regs, TCG_REG_A1);
|
2014-05-02 22:01:31 +00:00
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
#endif
|
|
|
|
break;
|
|
|
|
case 'I':
|
|
|
|
ct->ct |= TCG_CT_CONST_U16;
|
|
|
|
break;
|
|
|
|
case 'J':
|
|
|
|
ct->ct |= TCG_CT_CONST_S16;
|
|
|
|
break;
|
2014-04-15 16:27:40 +00:00
|
|
|
case 'K':
|
|
|
|
ct->ct |= TCG_CT_CONST_P2M1;
|
|
|
|
break;
|
2014-04-16 01:54:07 +00:00
|
|
|
case 'N':
|
|
|
|
ct->ct |= TCG_CT_CONST_N16;
|
|
|
|
break;
|
2009-10-17 12:17:47 +00:00
|
|
|
case 'Z':
|
|
|
|
/* We are cheating a bit here, using the fact that the register
|
|
|
|
ZERO is also the register number 0. Hence there is no need
|
|
|
|
to check for const_args in each instruction. */
|
|
|
|
ct->ct |= TCG_CT_CONST_ZERO;
|
|
|
|
break;
|
|
|
|
default:
|
2016-11-18 10:50:59 +00:00
|
|
|
return NULL;
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
2016-11-18 10:50:59 +00:00
|
|
|
return ct_str;
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* test if a constant matches the constraint */
|
2014-03-31 04:22:11 +00:00
|
|
|
static inline int tcg_target_const_match(tcg_target_long val, TCGType type,
|
2009-10-17 12:17:47 +00:00
|
|
|
const TCGArgConstraint *arg_ct)
|
|
|
|
{
|
|
|
|
int ct;
|
|
|
|
ct = arg_ct->ct;
|
2014-04-15 16:27:40 +00:00
|
|
|
if (ct & TCG_CT_CONST) {
|
2009-10-17 12:17:47 +00:00
|
|
|
return 1;
|
2014-04-15 16:27:40 +00:00
|
|
|
} else if ((ct & TCG_CT_CONST_ZERO) && val == 0) {
|
2009-10-17 12:17:47 +00:00
|
|
|
return 1;
|
2014-04-15 16:27:40 +00:00
|
|
|
} else if ((ct & TCG_CT_CONST_U16) && val == (uint16_t)val) {
|
2009-10-17 12:17:47 +00:00
|
|
|
return 1;
|
2014-04-15 16:27:40 +00:00
|
|
|
} else if ((ct & TCG_CT_CONST_S16) && val == (int16_t)val) {
|
2009-10-17 12:17:47 +00:00
|
|
|
return 1;
|
2014-04-16 01:54:07 +00:00
|
|
|
} else if ((ct & TCG_CT_CONST_N16) && val >= -32767 && val <= 32767) {
|
|
|
|
return 1;
|
2014-04-15 16:27:40 +00:00
|
|
|
} else if ((ct & TCG_CT_CONST_P2M1)
|
|
|
|
&& use_mips32r2_instructions && is_p2m1(val)) {
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
return 0;
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* instruction opcodes */
|
2014-04-15 16:30:47 +00:00
|
|
|
typedef enum {
|
2017-01-05 04:57:47 +00:00
|
|
|
OPC_J = 002 << 26,
|
|
|
|
OPC_JAL = 003 << 26,
|
|
|
|
OPC_BEQ = 004 << 26,
|
|
|
|
OPC_BNE = 005 << 26,
|
|
|
|
OPC_BLEZ = 006 << 26,
|
|
|
|
OPC_BGTZ = 007 << 26,
|
|
|
|
OPC_ADDIU = 011 << 26,
|
|
|
|
OPC_SLTI = 012 << 26,
|
|
|
|
OPC_SLTIU = 013 << 26,
|
|
|
|
OPC_ANDI = 014 << 26,
|
|
|
|
OPC_ORI = 015 << 26,
|
|
|
|
OPC_XORI = 016 << 26,
|
|
|
|
OPC_LUI = 017 << 26,
|
|
|
|
OPC_DADDIU = 031 << 26,
|
|
|
|
OPC_LB = 040 << 26,
|
|
|
|
OPC_LH = 041 << 26,
|
|
|
|
OPC_LW = 043 << 26,
|
|
|
|
OPC_LBU = 044 << 26,
|
|
|
|
OPC_LHU = 045 << 26,
|
|
|
|
OPC_LWU = 047 << 26,
|
|
|
|
OPC_SB = 050 << 26,
|
|
|
|
OPC_SH = 051 << 26,
|
|
|
|
OPC_SW = 053 << 26,
|
|
|
|
OPC_LD = 067 << 26,
|
|
|
|
OPC_SD = 077 << 26,
|
|
|
|
|
|
|
|
OPC_SPECIAL = 000 << 26,
|
|
|
|
OPC_SLL = OPC_SPECIAL | 000,
|
|
|
|
OPC_SRL = OPC_SPECIAL | 002,
|
|
|
|
OPC_ROTR = OPC_SPECIAL | 002 | (1 << 21),
|
|
|
|
OPC_SRA = OPC_SPECIAL | 003,
|
|
|
|
OPC_SLLV = OPC_SPECIAL | 004,
|
|
|
|
OPC_SRLV = OPC_SPECIAL | 006,
|
|
|
|
OPC_ROTRV = OPC_SPECIAL | 006 | 0100,
|
|
|
|
OPC_SRAV = OPC_SPECIAL | 007,
|
|
|
|
OPC_JR_R5 = OPC_SPECIAL | 010,
|
|
|
|
OPC_JALR = OPC_SPECIAL | 011,
|
|
|
|
OPC_MOVZ = OPC_SPECIAL | 012,
|
|
|
|
OPC_MOVN = OPC_SPECIAL | 013,
|
|
|
|
OPC_SYNC = OPC_SPECIAL | 017,
|
|
|
|
OPC_MFHI = OPC_SPECIAL | 020,
|
|
|
|
OPC_MFLO = OPC_SPECIAL | 022,
|
|
|
|
OPC_DSLLV = OPC_SPECIAL | 024,
|
|
|
|
OPC_DSRLV = OPC_SPECIAL | 026,
|
|
|
|
OPC_DROTRV = OPC_SPECIAL | 026 | 0100,
|
|
|
|
OPC_DSRAV = OPC_SPECIAL | 027,
|
|
|
|
OPC_MULT = OPC_SPECIAL | 030,
|
|
|
|
OPC_MUL_R6 = OPC_SPECIAL | 030 | 0200,
|
|
|
|
OPC_MUH = OPC_SPECIAL | 030 | 0300,
|
|
|
|
OPC_MULTU = OPC_SPECIAL | 031,
|
|
|
|
OPC_MULU = OPC_SPECIAL | 031 | 0200,
|
|
|
|
OPC_MUHU = OPC_SPECIAL | 031 | 0300,
|
|
|
|
OPC_DIV = OPC_SPECIAL | 032,
|
|
|
|
OPC_DIV_R6 = OPC_SPECIAL | 032 | 0200,
|
|
|
|
OPC_MOD = OPC_SPECIAL | 032 | 0300,
|
|
|
|
OPC_DIVU = OPC_SPECIAL | 033,
|
|
|
|
OPC_DIVU_R6 = OPC_SPECIAL | 033 | 0200,
|
|
|
|
OPC_MODU = OPC_SPECIAL | 033 | 0300,
|
|
|
|
OPC_DMULT = OPC_SPECIAL | 034,
|
|
|
|
OPC_DMUL = OPC_SPECIAL | 034 | 0200,
|
|
|
|
OPC_DMUH = OPC_SPECIAL | 034 | 0300,
|
|
|
|
OPC_DMULTU = OPC_SPECIAL | 035,
|
|
|
|
OPC_DMULU = OPC_SPECIAL | 035 | 0200,
|
|
|
|
OPC_DMUHU = OPC_SPECIAL | 035 | 0300,
|
|
|
|
OPC_DDIV = OPC_SPECIAL | 036,
|
|
|
|
OPC_DDIV_R6 = OPC_SPECIAL | 036 | 0200,
|
|
|
|
OPC_DMOD = OPC_SPECIAL | 036 | 0300,
|
|
|
|
OPC_DDIVU = OPC_SPECIAL | 037,
|
|
|
|
OPC_DDIVU_R6 = OPC_SPECIAL | 037 | 0200,
|
|
|
|
OPC_DMODU = OPC_SPECIAL | 037 | 0300,
|
|
|
|
OPC_ADDU = OPC_SPECIAL | 041,
|
|
|
|
OPC_SUBU = OPC_SPECIAL | 043,
|
|
|
|
OPC_AND = OPC_SPECIAL | 044,
|
|
|
|
OPC_OR = OPC_SPECIAL | 045,
|
|
|
|
OPC_XOR = OPC_SPECIAL | 046,
|
|
|
|
OPC_NOR = OPC_SPECIAL | 047,
|
|
|
|
OPC_SLT = OPC_SPECIAL | 052,
|
|
|
|
OPC_SLTU = OPC_SPECIAL | 053,
|
|
|
|
OPC_DADDU = OPC_SPECIAL | 055,
|
|
|
|
OPC_DSUBU = OPC_SPECIAL | 057,
|
|
|
|
OPC_SELEQZ = OPC_SPECIAL | 065,
|
|
|
|
OPC_SELNEZ = OPC_SPECIAL | 067,
|
|
|
|
OPC_DSLL = OPC_SPECIAL | 070,
|
|
|
|
OPC_DSRL = OPC_SPECIAL | 072,
|
|
|
|
OPC_DROTR = OPC_SPECIAL | 072 | (1 << 21),
|
|
|
|
OPC_DSRA = OPC_SPECIAL | 073,
|
|
|
|
OPC_DSLL32 = OPC_SPECIAL | 074,
|
|
|
|
OPC_DSRL32 = OPC_SPECIAL | 076,
|
|
|
|
OPC_DROTR32 = OPC_SPECIAL | 076 | (1 << 21),
|
|
|
|
OPC_DSRA32 = OPC_SPECIAL | 077,
|
|
|
|
|
|
|
|
OPC_REGIMM = 001 << 26,
|
|
|
|
OPC_BLTZ = OPC_REGIMM | (000 << 16),
|
|
|
|
OPC_BGEZ = OPC_REGIMM | (001 << 16),
|
|
|
|
|
|
|
|
OPC_SPECIAL2 = 034 << 26,
|
|
|
|
OPC_MUL_R5 = OPC_SPECIAL2 | 002,
|
|
|
|
|
|
|
|
OPC_SPECIAL3 = 037 << 26,
|
|
|
|
OPC_EXT = OPC_SPECIAL3 | 000,
|
|
|
|
OPC_DEXTM = OPC_SPECIAL3 | 001,
|
|
|
|
OPC_DEXTU = OPC_SPECIAL3 | 002,
|
|
|
|
OPC_DEXT = OPC_SPECIAL3 | 003,
|
|
|
|
OPC_INS = OPC_SPECIAL3 | 004,
|
|
|
|
OPC_DINSM = OPC_SPECIAL3 | 005,
|
|
|
|
OPC_DINSU = OPC_SPECIAL3 | 006,
|
|
|
|
OPC_DINS = OPC_SPECIAL3 | 007,
|
|
|
|
OPC_WSBH = OPC_SPECIAL3 | 00240,
|
|
|
|
OPC_DSBH = OPC_SPECIAL3 | 00244,
|
|
|
|
OPC_DSHD = OPC_SPECIAL3 | 00544,
|
|
|
|
OPC_SEB = OPC_SPECIAL3 | 02040,
|
|
|
|
OPC_SEH = OPC_SPECIAL3 | 03040,
|
2015-10-02 12:24:15 +00:00
|
|
|
|
|
|
|
/* MIPS r6 doesn't have JR, JALR should be used instead */
|
|
|
|
OPC_JR = use_mips32r6_instructions ? OPC_JALR : OPC_JR_R5,
|
2015-10-02 12:24:16 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* MIPS r6 replaces MUL with an alternative encoding which is
|
|
|
|
* backwards-compatible at the assembly level.
|
|
|
|
*/
|
|
|
|
OPC_MUL = use_mips32r6_instructions ? OPC_MUL_R6 : OPC_MUL_R5,
|
2016-07-14 20:20:18 +00:00
|
|
|
|
|
|
|
/* MIPS r6 introduced names for weaker variants of SYNC. These are
|
|
|
|
backward compatible to previous architecture revisions. */
|
|
|
|
OPC_SYNC_WMB = OPC_SYNC | 0x04 << 5,
|
|
|
|
OPC_SYNC_MB = OPC_SYNC | 0x10 << 5,
|
|
|
|
OPC_SYNC_ACQUIRE = OPC_SYNC | 0x11 << 5,
|
|
|
|
OPC_SYNC_RELEASE = OPC_SYNC | 0x12 << 5,
|
|
|
|
OPC_SYNC_RMB = OPC_SYNC | 0x13 << 5,
|
2017-01-05 04:57:47 +00:00
|
|
|
|
|
|
|
/* Aliases for convenience. */
|
|
|
|
ALIAS_PADD = sizeof(void *) == 4 ? OPC_ADDU : OPC_DADDU,
|
|
|
|
ALIAS_PADDI = sizeof(void *) == 4 ? OPC_ADDIU : OPC_DADDIU,
|
|
|
|
ALIAS_TSRL = TARGET_LONG_BITS == 32 || TCG_TARGET_REG_BITS == 32
|
|
|
|
? OPC_SRL : OPC_DSRL,
|
2014-04-15 16:30:47 +00:00
|
|
|
} MIPSInsn;
|
2009-10-17 12:17:47 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Type reg
|
|
|
|
*/
|
2014-04-15 16:30:47 +00:00
|
|
|
static inline void tcg_out_opc_reg(TCGContext *s, MIPSInsn opc,
|
2012-09-21 16:20:26 +00:00
|
|
|
TCGReg rd, TCGReg rs, TCGReg rt)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
|
|
|
int32_t inst;
|
|
|
|
|
|
|
|
inst = opc;
|
|
|
|
inst |= (rs & 0x1F) << 21;
|
|
|
|
inst |= (rt & 0x1F) << 16;
|
|
|
|
inst |= (rd & 0x1F) << 11;
|
|
|
|
tcg_out32(s, inst);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Type immediate
|
|
|
|
*/
|
2014-04-15 16:30:47 +00:00
|
|
|
static inline void tcg_out_opc_imm(TCGContext *s, MIPSInsn opc,
|
2012-09-21 16:20:26 +00:00
|
|
|
TCGReg rt, TCGReg rs, TCGArg imm)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
|
|
|
int32_t inst;
|
|
|
|
|
|
|
|
inst = opc;
|
|
|
|
inst |= (rs & 0x1F) << 21;
|
|
|
|
inst |= (rt & 0x1F) << 16;
|
|
|
|
inst |= (imm & 0xffff);
|
|
|
|
tcg_out32(s, inst);
|
|
|
|
}
|
|
|
|
|
2014-04-15 16:27:40 +00:00
|
|
|
/*
|
|
|
|
* Type bitfield
|
|
|
|
*/
|
2014-04-15 16:30:47 +00:00
|
|
|
static inline void tcg_out_opc_bf(TCGContext *s, MIPSInsn opc, TCGReg rt,
|
2014-04-15 16:27:40 +00:00
|
|
|
TCGReg rs, int msb, int lsb)
|
|
|
|
{
|
|
|
|
int32_t inst;
|
|
|
|
|
|
|
|
inst = opc;
|
|
|
|
inst |= (rs & 0x1F) << 21;
|
|
|
|
inst |= (rt & 0x1F) << 16;
|
|
|
|
inst |= (msb & 0x1F) << 11;
|
|
|
|
inst |= (lsb & 0x1F) << 6;
|
|
|
|
tcg_out32(s, inst);
|
|
|
|
}
|
|
|
|
|
2017-01-05 04:57:48 +00:00
|
|
|
static inline void tcg_out_opc_bf64(TCGContext *s, MIPSInsn opc, MIPSInsn opm,
|
|
|
|
MIPSInsn oph, TCGReg rt, TCGReg rs,
|
|
|
|
int msb, int lsb)
|
|
|
|
{
|
|
|
|
if (lsb >= 32) {
|
|
|
|
opc = oph;
|
|
|
|
msb -= 32;
|
|
|
|
lsb -= 32;
|
|
|
|
} else if (msb >= 32) {
|
|
|
|
opc = opm;
|
|
|
|
msb -= 32;
|
|
|
|
}
|
|
|
|
tcg_out_opc_bf(s, opc, rt, rs, msb, lsb);
|
|
|
|
}
|
|
|
|
|
2010-03-29 00:09:23 +00:00
|
|
|
/*
|
|
|
|
* Type branch
|
|
|
|
*/
|
2014-04-15 16:30:47 +00:00
|
|
|
static inline void tcg_out_opc_br(TCGContext *s, MIPSInsn opc,
|
2012-09-21 16:20:26 +00:00
|
|
|
TCGReg rt, TCGReg rs)
|
2010-03-29 00:09:23 +00:00
|
|
|
{
|
2011-01-10 17:30:05 +00:00
|
|
|
/* We pay attention here to not modify the branch target by reading
|
|
|
|
the existing value and using it again. This ensure that caches and
|
|
|
|
memory are kept coherent during retranslation. */
|
2014-04-25 19:22:44 +00:00
|
|
|
uint16_t offset = (uint16_t)*s->code_ptr;
|
2010-03-29 00:09:23 +00:00
|
|
|
|
|
|
|
tcg_out_opc_imm(s, opc, rt, rs, offset);
|
|
|
|
}
|
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
/*
|
|
|
|
* Type sa
|
|
|
|
*/
|
2014-04-15 16:30:47 +00:00
|
|
|
static inline void tcg_out_opc_sa(TCGContext *s, MIPSInsn opc,
|
2012-09-21 16:20:26 +00:00
|
|
|
TCGReg rd, TCGReg rt, TCGArg sa)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
|
|
|
int32_t inst;
|
|
|
|
|
|
|
|
inst = opc;
|
|
|
|
inst |= (rt & 0x1F) << 16;
|
|
|
|
inst |= (rd & 0x1F) << 11;
|
|
|
|
inst |= (sa & 0x1F) << 6;
|
|
|
|
tcg_out32(s, inst);
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2017-01-05 04:57:48 +00:00
|
|
|
static void tcg_out_opc_sa64(TCGContext *s, MIPSInsn opc1, MIPSInsn opc2,
|
|
|
|
TCGReg rd, TCGReg rt, TCGArg sa)
|
|
|
|
{
|
|
|
|
int32_t inst;
|
|
|
|
|
|
|
|
inst = (sa & 32 ? opc2 : opc1);
|
|
|
|
inst |= (rt & 0x1F) << 16;
|
|
|
|
inst |= (rd & 0x1F) << 11;
|
|
|
|
inst |= (sa & 0x1F) << 6;
|
|
|
|
tcg_out32(s, inst);
|
|
|
|
}
|
|
|
|
|
2014-03-23 16:57:18 +00:00
|
|
|
/*
|
|
|
|
* Type jump.
|
|
|
|
* Returns true if the branch was in range and the insn was emitted.
|
|
|
|
*/
|
2014-04-15 16:30:47 +00:00
|
|
|
static bool tcg_out_opc_jmp(TCGContext *s, MIPSInsn opc, void *target)
|
2014-03-23 16:57:18 +00:00
|
|
|
{
|
|
|
|
uintptr_t dest = (uintptr_t)target;
|
|
|
|
uintptr_t from = (uintptr_t)s->code_ptr + 4;
|
|
|
|
int32_t inst;
|
|
|
|
|
|
|
|
/* The pc-region branch happens within the 256MB region of
|
|
|
|
the delay slot (thus the +4). */
|
|
|
|
if ((from ^ dest) & -(1 << 28)) {
|
|
|
|
return false;
|
|
|
|
}
|
2016-04-21 08:48:49 +00:00
|
|
|
tcg_debug_assert((dest & 3) == 0);
|
2014-03-23 16:57:18 +00:00
|
|
|
|
|
|
|
inst = opc;
|
|
|
|
inst |= (dest >> 2) & 0x3ffffff;
|
|
|
|
tcg_out32(s, inst);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
static inline void tcg_out_nop(TCGContext *s)
|
|
|
|
{
|
|
|
|
tcg_out32(s, 0);
|
|
|
|
}
|
|
|
|
|
2017-01-05 04:57:48 +00:00
|
|
|
static inline void tcg_out_dsll(TCGContext *s, TCGReg rd, TCGReg rt, TCGArg sa)
|
|
|
|
{
|
|
|
|
tcg_out_opc_sa64(s, OPC_DSLL, OPC_DSLL32, rd, rt, sa);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline void tcg_out_dsrl(TCGContext *s, TCGReg rd, TCGReg rt, TCGArg sa)
|
|
|
|
{
|
|
|
|
tcg_out_opc_sa64(s, OPC_DSRL, OPC_DSRL32, rd, rt, sa);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline void tcg_out_dsra(TCGContext *s, TCGReg rd, TCGReg rt, TCGArg sa)
|
|
|
|
{
|
|
|
|
tcg_out_opc_sa64(s, OPC_DSRA, OPC_DSRA32, rd, rt, sa);
|
|
|
|
}
|
|
|
|
|
2011-11-09 08:03:34 +00:00
|
|
|
static inline void tcg_out_mov(TCGContext *s, TCGType type,
|
|
|
|
TCGReg ret, TCGReg arg)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2012-08-27 20:13:27 +00:00
|
|
|
/* Simple reg-reg move, optimising out the 'do nothing' case */
|
|
|
|
if (ret != arg) {
|
2017-01-05 04:57:50 +00:00
|
|
|
tcg_out_opc_reg(s, OPC_OR, ret, arg, TCG_REG_ZERO);
|
2012-08-27 20:13:27 +00:00
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2017-01-05 04:57:50 +00:00
|
|
|
static void tcg_out_movi(TCGContext *s, TCGType type,
|
|
|
|
TCGReg ret, tcg_target_long arg)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2017-01-05 04:57:50 +00:00
|
|
|
if (TCG_TARGET_REG_BITS == 64 && type == TCG_TYPE_I32) {
|
|
|
|
arg = (int32_t)arg;
|
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
if (arg == (int16_t)arg) {
|
2017-01-05 04:57:50 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_ADDIU, ret, TCG_REG_ZERO, arg);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (arg == (uint16_t)arg) {
|
|
|
|
tcg_out_opc_imm(s, OPC_ORI, ret, TCG_REG_ZERO, arg);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (TCG_TARGET_REG_BITS == 32 || arg == (int32_t)arg) {
|
|
|
|
tcg_out_opc_imm(s, OPC_LUI, ret, TCG_REG_ZERO, arg >> 16);
|
2009-10-17 12:17:47 +00:00
|
|
|
} else {
|
2017-01-05 04:57:50 +00:00
|
|
|
tcg_out_movi(s, TCG_TYPE_I32, ret, arg >> 31 >> 1);
|
|
|
|
if (arg & 0xffff0000ull) {
|
|
|
|
tcg_out_dsll(s, ret, ret, 16);
|
|
|
|
tcg_out_opc_imm(s, OPC_ORI, ret, ret, arg >> 16);
|
|
|
|
tcg_out_dsll(s, ret, ret, 16);
|
|
|
|
} else {
|
|
|
|
tcg_out_dsll(s, ret, ret, 32);
|
2014-03-23 17:15:21 +00:00
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
2017-01-05 04:57:50 +00:00
|
|
|
if (arg & 0xffff) {
|
|
|
|
tcg_out_opc_imm(s, OPC_ORI, ret, ret, arg & 0xffff);
|
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2012-09-21 16:20:26 +00:00
|
|
|
static inline void tcg_out_bswap16(TCGContext *s, TCGReg ret, TCGReg arg)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2013-08-15 15:57:59 +00:00
|
|
|
if (use_mips32r2_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_WSBH, ret, 0, arg);
|
|
|
|
} else {
|
|
|
|
/* ret and arg can't be register at */
|
2014-04-15 16:07:52 +00:00
|
|
|
if (ret == TCG_TMP0 || arg == TCG_TMP0) {
|
2013-08-15 15:57:59 +00:00
|
|
|
tcg_abort();
|
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_opc_sa(s, OPC_SRL, TCG_TMP0, arg, 8);
|
2013-08-15 15:57:59 +00:00
|
|
|
tcg_out_opc_sa(s, OPC_SLL, ret, arg, 8);
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, ret, ret, 0xff00);
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_opc_reg(s, OPC_OR, ret, ret, TCG_TMP0);
|
2013-08-15 15:57:59 +00:00
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2012-09-21 16:20:26 +00:00
|
|
|
static inline void tcg_out_bswap16s(TCGContext *s, TCGReg ret, TCGReg arg)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2013-08-15 15:57:59 +00:00
|
|
|
if (use_mips32r2_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_WSBH, ret, 0, arg);
|
|
|
|
tcg_out_opc_reg(s, OPC_SEH, ret, 0, ret);
|
|
|
|
} else {
|
|
|
|
/* ret and arg can't be register at */
|
2014-04-15 16:07:52 +00:00
|
|
|
if (ret == TCG_TMP0 || arg == TCG_TMP0) {
|
2013-08-15 15:57:59 +00:00
|
|
|
tcg_abort();
|
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_opc_sa(s, OPC_SRL, TCG_TMP0, arg, 8);
|
2013-08-15 15:57:59 +00:00
|
|
|
tcg_out_opc_sa(s, OPC_SLL, ret, arg, 24);
|
|
|
|
tcg_out_opc_sa(s, OPC_SRA, ret, ret, 16);
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_opc_reg(s, OPC_OR, ret, ret, TCG_TMP0);
|
2013-08-15 15:57:59 +00:00
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2017-01-05 04:57:46 +00:00
|
|
|
static void tcg_out_bswap_subr(TCGContext *s, tcg_insn_unit *sub)
|
|
|
|
{
|
|
|
|
bool ok = tcg_out_opc_jmp(s, OPC_JAL, sub);
|
|
|
|
tcg_debug_assert(ok);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void tcg_out_bswap32(TCGContext *s, TCGReg ret, TCGReg arg)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2013-08-15 15:57:59 +00:00
|
|
|
if (use_mips32r2_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_WSBH, ret, 0, arg);
|
|
|
|
tcg_out_opc_sa(s, OPC_ROTR, ret, ret, 16);
|
|
|
|
} else {
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_bswap_subr(s, bswap32_addr);
|
|
|
|
/* delay slot -- never omit the insn, like tcg_out_mov might. */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP0, arg, TCG_REG_ZERO);
|
|
|
|
tcg_out_mov(s, TCG_TYPE_I32, ret, TCG_TMP3);
|
2013-08-15 15:57:59 +00:00
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2017-01-05 04:57:48 +00:00
|
|
|
static void tcg_out_bswap32u(TCGContext *s, TCGReg ret, TCGReg arg)
|
|
|
|
{
|
|
|
|
if (use_mips32r2_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_DSBH, ret, 0, arg);
|
|
|
|
tcg_out_opc_reg(s, OPC_DSHD, ret, 0, ret);
|
|
|
|
tcg_out_dsrl(s, ret, ret, 32);
|
|
|
|
} else {
|
2017-01-05 04:57:49 +00:00
|
|
|
tcg_out_bswap_subr(s, bswap32u_addr);
|
|
|
|
/* delay slot -- never omit the insn, like tcg_out_mov might. */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP0, arg, TCG_REG_ZERO);
|
|
|
|
tcg_out_mov(s, TCG_TYPE_I32, ret, TCG_TMP3);
|
2017-01-05 04:57:48 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void tcg_out_bswap64(TCGContext *s, TCGReg ret, TCGReg arg)
|
|
|
|
{
|
|
|
|
if (use_mips32r2_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_DSBH, ret, 0, arg);
|
|
|
|
tcg_out_opc_reg(s, OPC_DSHD, ret, 0, ret);
|
|
|
|
} else {
|
2017-01-05 04:57:49 +00:00
|
|
|
tcg_out_bswap_subr(s, bswap64_addr);
|
|
|
|
/* delay slot -- never omit the insn, like tcg_out_mov might. */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP0, arg, TCG_REG_ZERO);
|
|
|
|
tcg_out_mov(s, TCG_TYPE_I32, ret, TCG_TMP3);
|
2017-01-05 04:57:48 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-21 16:20:26 +00:00
|
|
|
static inline void tcg_out_ext8s(TCGContext *s, TCGReg ret, TCGReg arg)
|
2010-04-05 11:19:56 +00:00
|
|
|
{
|
2013-08-15 15:57:59 +00:00
|
|
|
if (use_mips32r2_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_SEB, ret, 0, arg);
|
|
|
|
} else {
|
|
|
|
tcg_out_opc_sa(s, OPC_SLL, ret, arg, 24);
|
|
|
|
tcg_out_opc_sa(s, OPC_SRA, ret, ret, 24);
|
|
|
|
}
|
2010-04-05 11:19:56 +00:00
|
|
|
}
|
|
|
|
|
2012-09-21 16:20:26 +00:00
|
|
|
static inline void tcg_out_ext16s(TCGContext *s, TCGReg ret, TCGReg arg)
|
2010-04-05 11:19:56 +00:00
|
|
|
{
|
2013-08-15 15:57:59 +00:00
|
|
|
if (use_mips32r2_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_SEH, ret, 0, arg);
|
|
|
|
} else {
|
|
|
|
tcg_out_opc_sa(s, OPC_SLL, ret, arg, 16);
|
|
|
|
tcg_out_opc_sa(s, OPC_SRA, ret, ret, 16);
|
|
|
|
}
|
2010-04-05 11:19:56 +00:00
|
|
|
}
|
|
|
|
|
2017-01-05 04:57:48 +00:00
|
|
|
static inline void tcg_out_ext32u(TCGContext *s, TCGReg ret, TCGReg arg)
|
|
|
|
{
|
|
|
|
if (use_mips32r2_instructions) {
|
|
|
|
tcg_out_opc_bf(s, OPC_DEXT, ret, arg, 31, 0);
|
|
|
|
} else {
|
|
|
|
tcg_out_dsll(s, ret, arg, 32);
|
|
|
|
tcg_out_dsrl(s, ret, ret, 32);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-04-15 16:30:47 +00:00
|
|
|
static void tcg_out_ldst(TCGContext *s, MIPSInsn opc, TCGReg data,
|
2014-03-23 17:45:23 +00:00
|
|
|
TCGReg addr, intptr_t ofs)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2014-03-23 17:45:23 +00:00
|
|
|
int16_t lo = ofs;
|
|
|
|
if (ofs != lo) {
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_movi(s, TCG_TYPE_PTR, TCG_TMP0, ofs - lo);
|
2014-03-23 17:45:23 +00:00
|
|
|
if (addr != TCG_REG_ZERO) {
|
2017-01-05 04:57:51 +00:00
|
|
|
tcg_out_opc_reg(s, ALIAS_PADD, TCG_TMP0, TCG_TMP0, addr);
|
2014-03-23 17:45:23 +00:00
|
|
|
}
|
2014-04-15 16:07:52 +00:00
|
|
|
addr = TCG_TMP0;
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
2014-03-23 17:45:23 +00:00
|
|
|
tcg_out_opc_imm(s, opc, data, addr, lo);
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2011-11-09 08:03:34 +00:00
|
|
|
static inline void tcg_out_ld(TCGContext *s, TCGType type, TCGReg arg,
|
2013-08-21 00:07:26 +00:00
|
|
|
TCGReg arg1, intptr_t arg2)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2017-01-05 04:57:51 +00:00
|
|
|
MIPSInsn opc = OPC_LD;
|
|
|
|
if (TCG_TARGET_REG_BITS == 32 || type == TCG_TYPE_I32) {
|
|
|
|
opc = OPC_LW;
|
|
|
|
}
|
|
|
|
tcg_out_ldst(s, opc, arg, arg1, arg2);
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2011-11-09 08:03:34 +00:00
|
|
|
static inline void tcg_out_st(TCGContext *s, TCGType type, TCGReg arg,
|
2013-08-21 00:07:26 +00:00
|
|
|
TCGReg arg1, intptr_t arg2)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2017-01-05 04:57:51 +00:00
|
|
|
MIPSInsn opc = OPC_SD;
|
|
|
|
if (TCG_TARGET_REG_BITS == 32 || type == TCG_TYPE_I32) {
|
|
|
|
opc = OPC_SW;
|
|
|
|
}
|
|
|
|
tcg_out_ldst(s, opc, arg, arg1, arg2);
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2016-06-20 05:59:13 +00:00
|
|
|
static inline bool tcg_out_sti(TCGContext *s, TCGType type, TCGArg val,
|
|
|
|
TCGReg base, intptr_t ofs)
|
|
|
|
{
|
|
|
|
if (val == 0) {
|
|
|
|
tcg_out_st(s, type, TCG_REG_ZERO, base, ofs);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-10 20:04:48 +00:00
|
|
|
static void tcg_out_addsub2(TCGContext *s, TCGReg rl, TCGReg rh, TCGReg al,
|
|
|
|
TCGReg ah, TCGArg bl, TCGArg bh, bool cbl,
|
|
|
|
bool cbh, bool is_sub)
|
|
|
|
{
|
|
|
|
TCGReg th = TCG_TMP1;
|
|
|
|
|
|
|
|
/* If we have a negative constant such that negating it would
|
|
|
|
make the high part zero, we can (usually) eliminate one insn. */
|
|
|
|
if (cbl && cbh && bh == -1 && bl != 0) {
|
|
|
|
bl = -bl;
|
|
|
|
bh = 0;
|
|
|
|
is_sub = !is_sub;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* By operating on the high part first, we get to use the final
|
|
|
|
carry operation to move back from the temporary. */
|
|
|
|
if (!cbh) {
|
|
|
|
tcg_out_opc_reg(s, (is_sub ? OPC_SUBU : OPC_ADDU), th, ah, bh);
|
|
|
|
} else if (bh != 0 || ah == rl) {
|
|
|
|
tcg_out_opc_imm(s, OPC_ADDIU, th, ah, (is_sub ? -bh : bh));
|
|
|
|
} else {
|
|
|
|
th = ah;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Note that tcg optimization should eliminate the bl == 0 case. */
|
|
|
|
if (is_sub) {
|
|
|
|
if (cbl) {
|
|
|
|
tcg_out_opc_imm(s, OPC_SLTIU, TCG_TMP0, al, bl);
|
|
|
|
tcg_out_opc_imm(s, OPC_ADDIU, rl, al, -bl);
|
|
|
|
} else {
|
|
|
|
tcg_out_opc_reg(s, OPC_SLTU, TCG_TMP0, al, bl);
|
|
|
|
tcg_out_opc_reg(s, OPC_SUBU, rl, al, bl);
|
|
|
|
}
|
|
|
|
tcg_out_opc_reg(s, OPC_SUBU, rh, th, TCG_TMP0);
|
|
|
|
} else {
|
|
|
|
if (cbl) {
|
|
|
|
tcg_out_opc_imm(s, OPC_ADDIU, rl, al, bl);
|
|
|
|
tcg_out_opc_imm(s, OPC_SLTIU, TCG_TMP0, rl, bl);
|
|
|
|
} else if (rl == al && rl == bl) {
|
|
|
|
tcg_out_opc_sa(s, OPC_SRL, TCG_TMP0, al, 31);
|
|
|
|
tcg_out_opc_reg(s, OPC_ADDU, rl, al, bl);
|
|
|
|
} else {
|
|
|
|
tcg_out_opc_reg(s, OPC_ADDU, rl, al, bl);
|
|
|
|
tcg_out_opc_reg(s, OPC_SLTU, TCG_TMP0, rl, (rl == bl ? al : bl));
|
|
|
|
}
|
|
|
|
tcg_out_opc_reg(s, OPC_ADDU, rh, th, TCG_TMP0);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-04-16 05:10:09 +00:00
|
|
|
/* Bit 0 set if inversion required; bit 1 set if swapping required. */
|
|
|
|
#define MIPS_CMP_INV 1
|
|
|
|
#define MIPS_CMP_SWAP 2
|
|
|
|
|
|
|
|
static const uint8_t mips_cmp_map[16] = {
|
|
|
|
[TCG_COND_LT] = 0,
|
|
|
|
[TCG_COND_LTU] = 0,
|
|
|
|
[TCG_COND_GE] = MIPS_CMP_INV,
|
|
|
|
[TCG_COND_GEU] = MIPS_CMP_INV,
|
|
|
|
[TCG_COND_LE] = MIPS_CMP_INV | MIPS_CMP_SWAP,
|
|
|
|
[TCG_COND_LEU] = MIPS_CMP_INV | MIPS_CMP_SWAP,
|
|
|
|
[TCG_COND_GT] = MIPS_CMP_SWAP,
|
|
|
|
[TCG_COND_GTU] = MIPS_CMP_SWAP,
|
|
|
|
};
|
|
|
|
|
|
|
|
static void tcg_out_setcond(TCGContext *s, TCGCond cond, TCGReg ret,
|
|
|
|
TCGReg arg1, TCGReg arg2)
|
|
|
|
{
|
|
|
|
MIPSInsn s_opc = OPC_SLTU;
|
|
|
|
int cmp_map;
|
|
|
|
|
|
|
|
switch (cond) {
|
|
|
|
case TCG_COND_EQ:
|
|
|
|
if (arg2 != 0) {
|
|
|
|
tcg_out_opc_reg(s, OPC_XOR, ret, arg1, arg2);
|
|
|
|
arg1 = ret;
|
|
|
|
}
|
|
|
|
tcg_out_opc_imm(s, OPC_SLTIU, ret, arg1, 1);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case TCG_COND_NE:
|
|
|
|
if (arg2 != 0) {
|
|
|
|
tcg_out_opc_reg(s, OPC_XOR, ret, arg1, arg2);
|
|
|
|
arg1 = ret;
|
|
|
|
}
|
|
|
|
tcg_out_opc_reg(s, OPC_SLTU, ret, TCG_REG_ZERO, arg1);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case TCG_COND_LT:
|
|
|
|
case TCG_COND_GE:
|
|
|
|
case TCG_COND_LE:
|
|
|
|
case TCG_COND_GT:
|
|
|
|
s_opc = OPC_SLT;
|
|
|
|
/* FALLTHRU */
|
|
|
|
|
|
|
|
case TCG_COND_LTU:
|
|
|
|
case TCG_COND_GEU:
|
|
|
|
case TCG_COND_LEU:
|
|
|
|
case TCG_COND_GTU:
|
|
|
|
cmp_map = mips_cmp_map[cond];
|
|
|
|
if (cmp_map & MIPS_CMP_SWAP) {
|
|
|
|
TCGReg t = arg1;
|
|
|
|
arg1 = arg2;
|
|
|
|
arg2 = t;
|
|
|
|
}
|
|
|
|
tcg_out_opc_reg(s, s_opc, ret, arg1, arg2);
|
|
|
|
if (cmp_map & MIPS_CMP_INV) {
|
|
|
|
tcg_out_opc_imm(s, OPC_XORI, ret, ret, 1);
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
tcg_abort();
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-04-16 05:20:57 +00:00
|
|
|
static void tcg_out_brcond(TCGContext *s, TCGCond cond, TCGReg arg1,
|
2015-02-13 21:39:54 +00:00
|
|
|
TCGReg arg2, TCGLabel *l)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2014-04-16 05:20:57 +00:00
|
|
|
static const MIPSInsn b_zero[16] = {
|
|
|
|
[TCG_COND_LT] = OPC_BLTZ,
|
|
|
|
[TCG_COND_GT] = OPC_BGTZ,
|
|
|
|
[TCG_COND_LE] = OPC_BLEZ,
|
|
|
|
[TCG_COND_GE] = OPC_BGEZ,
|
|
|
|
};
|
|
|
|
|
|
|
|
MIPSInsn s_opc = OPC_SLTU;
|
|
|
|
MIPSInsn b_opc;
|
|
|
|
int cmp_map;
|
2009-10-17 12:17:47 +00:00
|
|
|
|
|
|
|
switch (cond) {
|
|
|
|
case TCG_COND_EQ:
|
2014-04-16 05:20:57 +00:00
|
|
|
b_opc = OPC_BEQ;
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
|
|
|
case TCG_COND_NE:
|
2014-04-16 05:20:57 +00:00
|
|
|
b_opc = OPC_BNE;
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-04-16 05:20:57 +00:00
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
case TCG_COND_LT:
|
2014-04-16 05:20:57 +00:00
|
|
|
case TCG_COND_GT:
|
2009-10-17 12:17:47 +00:00
|
|
|
case TCG_COND_LE:
|
2014-04-16 05:20:57 +00:00
|
|
|
case TCG_COND_GE:
|
2012-09-21 16:20:26 +00:00
|
|
|
if (arg2 == 0) {
|
2014-04-16 05:20:57 +00:00
|
|
|
b_opc = b_zero[cond];
|
|
|
|
arg2 = arg1;
|
|
|
|
arg1 = 0;
|
|
|
|
break;
|
2012-09-21 16:20:26 +00:00
|
|
|
}
|
2014-04-16 05:20:57 +00:00
|
|
|
s_opc = OPC_SLT;
|
|
|
|
/* FALLTHRU */
|
|
|
|
|
|
|
|
case TCG_COND_LTU:
|
|
|
|
case TCG_COND_GTU:
|
2009-10-17 12:17:47 +00:00
|
|
|
case TCG_COND_LEU:
|
2014-04-16 05:20:57 +00:00
|
|
|
case TCG_COND_GEU:
|
|
|
|
cmp_map = mips_cmp_map[cond];
|
|
|
|
if (cmp_map & MIPS_CMP_SWAP) {
|
|
|
|
TCGReg t = arg1;
|
|
|
|
arg1 = arg2;
|
|
|
|
arg2 = t;
|
2012-09-21 16:20:26 +00:00
|
|
|
}
|
2014-04-16 05:20:57 +00:00
|
|
|
tcg_out_opc_reg(s, s_opc, TCG_TMP0, arg1, arg2);
|
|
|
|
b_opc = (cmp_map & MIPS_CMP_INV ? OPC_BEQ : OPC_BNE);
|
|
|
|
arg1 = TCG_TMP0;
|
|
|
|
arg2 = TCG_REG_ZERO;
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-04-16 05:20:57 +00:00
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
default:
|
|
|
|
tcg_abort();
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 05:20:57 +00:00
|
|
|
|
|
|
|
tcg_out_opc_br(s, b_opc, arg1, arg2);
|
2009-10-17 12:17:47 +00:00
|
|
|
if (l->has_value) {
|
2014-04-25 19:22:44 +00:00
|
|
|
reloc_pc16(s->code_ptr - 1, l->u.value_ptr);
|
2009-10-17 12:17:47 +00:00
|
|
|
} else {
|
2015-02-13 21:39:54 +00:00
|
|
|
tcg_out_reloc(s, s->code_ptr - 1, R_MIPS_PC16, l, 0);
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
tcg_out_nop(s);
|
|
|
|
}
|
|
|
|
|
2014-04-16 05:41:46 +00:00
|
|
|
static TCGReg tcg_out_reduce_eq2(TCGContext *s, TCGReg tmp0, TCGReg tmp1,
|
|
|
|
TCGReg al, TCGReg ah,
|
|
|
|
TCGReg bl, TCGReg bh)
|
|
|
|
{
|
|
|
|
/* Merge highpart comparison into AH. */
|
|
|
|
if (bh != 0) {
|
|
|
|
if (ah != 0) {
|
|
|
|
tcg_out_opc_reg(s, OPC_XOR, tmp0, ah, bh);
|
|
|
|
ah = tmp0;
|
|
|
|
} else {
|
|
|
|
ah = bh;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
/* Merge lowpart comparison into AL. */
|
|
|
|
if (bl != 0) {
|
|
|
|
if (al != 0) {
|
|
|
|
tcg_out_opc_reg(s, OPC_XOR, tmp1, al, bl);
|
|
|
|
al = tmp1;
|
|
|
|
} else {
|
|
|
|
al = bl;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
/* Merge high and low part comparisons into AL. */
|
|
|
|
if (ah != 0) {
|
|
|
|
if (al != 0) {
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, tmp0, ah, al);
|
|
|
|
al = tmp0;
|
|
|
|
} else {
|
|
|
|
al = ah;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return al;
|
|
|
|
}
|
|
|
|
|
2014-04-16 05:34:30 +00:00
|
|
|
static void tcg_out_setcond2(TCGContext *s, TCGCond cond, TCGReg ret,
|
|
|
|
TCGReg al, TCGReg ah, TCGReg bl, TCGReg bh)
|
|
|
|
{
|
|
|
|
TCGReg tmp0 = TCG_TMP0;
|
|
|
|
TCGReg tmp1 = ret;
|
|
|
|
|
2016-04-21 08:48:49 +00:00
|
|
|
tcg_debug_assert(ret != TCG_TMP0);
|
2014-04-16 05:34:30 +00:00
|
|
|
if (ret == ah || ret == bh) {
|
2016-04-21 08:48:49 +00:00
|
|
|
tcg_debug_assert(ret != TCG_TMP1);
|
2014-04-16 05:34:30 +00:00
|
|
|
tmp1 = TCG_TMP1;
|
|
|
|
}
|
|
|
|
|
|
|
|
switch (cond) {
|
|
|
|
case TCG_COND_EQ:
|
|
|
|
case TCG_COND_NE:
|
2014-04-16 05:41:46 +00:00
|
|
|
tmp1 = tcg_out_reduce_eq2(s, tmp0, tmp1, al, ah, bl, bh);
|
|
|
|
tcg_out_setcond(s, cond, ret, tmp1, TCG_REG_ZERO);
|
2014-04-16 05:34:30 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
tcg_out_setcond(s, TCG_COND_EQ, tmp0, ah, bh);
|
|
|
|
tcg_out_setcond(s, tcg_unsigned_cond(cond), tmp1, al, bl);
|
|
|
|
tcg_out_opc_reg(s, OPC_AND, tmp1, tmp1, tmp0);
|
|
|
|
tcg_out_setcond(s, tcg_high_cond(cond), tmp0, ah, bh);
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, ret, tmp1, tmp0);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-04-16 05:47:22 +00:00
|
|
|
static void tcg_out_brcond2(TCGContext *s, TCGCond cond, TCGReg al, TCGReg ah,
|
2015-02-13 21:39:54 +00:00
|
|
|
TCGReg bl, TCGReg bh, TCGLabel *l)
|
2014-04-16 05:47:22 +00:00
|
|
|
{
|
|
|
|
TCGCond b_cond = TCG_COND_NE;
|
|
|
|
TCGReg tmp = TCG_TMP1;
|
|
|
|
|
|
|
|
/* With branches, we emit between 4 and 9 insns with 2 or 3 branches.
|
|
|
|
With setcond, we emit between 3 and 10 insns and only 1 branch,
|
|
|
|
which ought to get better branch prediction. */
|
|
|
|
switch (cond) {
|
|
|
|
case TCG_COND_EQ:
|
|
|
|
case TCG_COND_NE:
|
|
|
|
b_cond = cond;
|
|
|
|
tmp = tcg_out_reduce_eq2(s, TCG_TMP0, TCG_TMP1, al, ah, bl, bh);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
2014-06-13 18:42:57 +00:00
|
|
|
/* Minimize code size by preferring a compare not requiring INV. */
|
2014-04-16 05:47:22 +00:00
|
|
|
if (mips_cmp_map[cond] & MIPS_CMP_INV) {
|
|
|
|
cond = tcg_invert_cond(cond);
|
|
|
|
b_cond = TCG_COND_EQ;
|
|
|
|
}
|
|
|
|
tcg_out_setcond2(s, cond, tmp, al, ah, bl, bh);
|
|
|
|
break;
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2015-02-13 21:39:54 +00:00
|
|
|
tcg_out_brcond(s, b_cond, tmp, TCG_REG_ZERO, l);
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2012-09-21 16:20:26 +00:00
|
|
|
static void tcg_out_movcond(TCGContext *s, TCGCond cond, TCGReg ret,
|
tcg/mips: Support r6 SEL{NE, EQ}Z instead of MOVN/MOVZ
Extend MIPS movcond implementation to support the SELNEZ/SELEQZ
instructions introduced in MIPS r6 (where MOVN/MOVZ have been removed).
Whereas the "MOVN/MOVZ rd, rs, rt" instructions have the following
semantics:
rd = [!]rt ? rs : rd
The "SELNEZ/SELEQZ rd, rs, rt" instructions are slightly different:
rd = [!]rt ? rs : 0
First we ensure that if one of the movcond input values is zero that it
comes last (we can swap the input arguments if we invert the condition).
This is so that it can exactly match one of the SELNEZ/SELEQZ
instructions and avoid the need to emit the other one.
Otherwise we emit the opposite instruction first into a temporary
register, and OR that into the result:
SELNEZ/SELEQZ TMP1, v2, c1
SELEQZ/SELNEZ ret, v1, c1
OR ret, ret, TMP1
Which does the following:
ret = cond ? v1 : v2
Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: James Hogan <james.hogan@imgtec.com>
Signed-off-by: Richard Henderson <rth@twiddle.net>
Message-Id: <1443788657-14537-7-git-send-email-james.hogan@imgtec.com>
2015-10-02 12:24:17 +00:00
|
|
|
TCGReg c1, TCGReg c2, TCGReg v1, TCGReg v2)
|
2012-09-21 16:20:26 +00:00
|
|
|
{
|
tcg/mips: Support r6 SEL{NE, EQ}Z instead of MOVN/MOVZ
Extend MIPS movcond implementation to support the SELNEZ/SELEQZ
instructions introduced in MIPS r6 (where MOVN/MOVZ have been removed).
Whereas the "MOVN/MOVZ rd, rs, rt" instructions have the following
semantics:
rd = [!]rt ? rs : rd
The "SELNEZ/SELEQZ rd, rs, rt" instructions are slightly different:
rd = [!]rt ? rs : 0
First we ensure that if one of the movcond input values is zero that it
comes last (we can swap the input arguments if we invert the condition).
This is so that it can exactly match one of the SELNEZ/SELEQZ
instructions and avoid the need to emit the other one.
Otherwise we emit the opposite instruction first into a temporary
register, and OR that into the result:
SELNEZ/SELEQZ TMP1, v2, c1
SELEQZ/SELNEZ ret, v1, c1
OR ret, ret, TMP1
Which does the following:
ret = cond ? v1 : v2
Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: James Hogan <james.hogan@imgtec.com>
Signed-off-by: Richard Henderson <rth@twiddle.net>
Message-Id: <1443788657-14537-7-git-send-email-james.hogan@imgtec.com>
2015-10-02 12:24:17 +00:00
|
|
|
bool eqz = false;
|
|
|
|
|
|
|
|
/* If one of the values is zero, put it last to match SEL*Z instructions */
|
|
|
|
if (use_mips32r6_instructions && v1 == 0) {
|
|
|
|
v1 = v2;
|
|
|
|
v2 = 0;
|
|
|
|
cond = tcg_invert_cond(cond);
|
|
|
|
}
|
2014-04-16 05:53:12 +00:00
|
|
|
|
2012-09-21 16:20:26 +00:00
|
|
|
switch (cond) {
|
|
|
|
case TCG_COND_EQ:
|
tcg/mips: Support r6 SEL{NE, EQ}Z instead of MOVN/MOVZ
Extend MIPS movcond implementation to support the SELNEZ/SELEQZ
instructions introduced in MIPS r6 (where MOVN/MOVZ have been removed).
Whereas the "MOVN/MOVZ rd, rs, rt" instructions have the following
semantics:
rd = [!]rt ? rs : rd
The "SELNEZ/SELEQZ rd, rs, rt" instructions are slightly different:
rd = [!]rt ? rs : 0
First we ensure that if one of the movcond input values is zero that it
comes last (we can swap the input arguments if we invert the condition).
This is so that it can exactly match one of the SELNEZ/SELEQZ
instructions and avoid the need to emit the other one.
Otherwise we emit the opposite instruction first into a temporary
register, and OR that into the result:
SELNEZ/SELEQZ TMP1, v2, c1
SELEQZ/SELNEZ ret, v1, c1
OR ret, ret, TMP1
Which does the following:
ret = cond ? v1 : v2
Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: James Hogan <james.hogan@imgtec.com>
Signed-off-by: Richard Henderson <rth@twiddle.net>
Message-Id: <1443788657-14537-7-git-send-email-james.hogan@imgtec.com>
2015-10-02 12:24:17 +00:00
|
|
|
eqz = true;
|
2014-04-16 05:53:12 +00:00
|
|
|
/* FALLTHRU */
|
2012-09-21 16:20:26 +00:00
|
|
|
case TCG_COND_NE:
|
2014-04-16 05:53:12 +00:00
|
|
|
if (c2 != 0) {
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_opc_reg(s, OPC_XOR, TCG_TMP0, c1, c2);
|
2014-04-16 05:53:12 +00:00
|
|
|
c1 = TCG_TMP0;
|
2012-09-21 16:20:26 +00:00
|
|
|
}
|
|
|
|
break;
|
2014-04-16 05:53:12 +00:00
|
|
|
|
2012-09-21 16:20:26 +00:00
|
|
|
default:
|
2014-06-13 18:42:57 +00:00
|
|
|
/* Minimize code size by preferring a compare not requiring INV. */
|
2014-04-16 05:53:12 +00:00
|
|
|
if (mips_cmp_map[cond] & MIPS_CMP_INV) {
|
|
|
|
cond = tcg_invert_cond(cond);
|
tcg/mips: Support r6 SEL{NE, EQ}Z instead of MOVN/MOVZ
Extend MIPS movcond implementation to support the SELNEZ/SELEQZ
instructions introduced in MIPS r6 (where MOVN/MOVZ have been removed).
Whereas the "MOVN/MOVZ rd, rs, rt" instructions have the following
semantics:
rd = [!]rt ? rs : rd
The "SELNEZ/SELEQZ rd, rs, rt" instructions are slightly different:
rd = [!]rt ? rs : 0
First we ensure that if one of the movcond input values is zero that it
comes last (we can swap the input arguments if we invert the condition).
This is so that it can exactly match one of the SELNEZ/SELEQZ
instructions and avoid the need to emit the other one.
Otherwise we emit the opposite instruction first into a temporary
register, and OR that into the result:
SELNEZ/SELEQZ TMP1, v2, c1
SELEQZ/SELNEZ ret, v1, c1
OR ret, ret, TMP1
Which does the following:
ret = cond ? v1 : v2
Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: James Hogan <james.hogan@imgtec.com>
Signed-off-by: Richard Henderson <rth@twiddle.net>
Message-Id: <1443788657-14537-7-git-send-email-james.hogan@imgtec.com>
2015-10-02 12:24:17 +00:00
|
|
|
eqz = true;
|
2014-04-16 05:53:12 +00:00
|
|
|
}
|
|
|
|
tcg_out_setcond(s, cond, TCG_TMP0, c1, c2);
|
|
|
|
c1 = TCG_TMP0;
|
2012-09-21 16:20:26 +00:00
|
|
|
break;
|
|
|
|
}
|
2014-04-16 05:53:12 +00:00
|
|
|
|
tcg/mips: Support r6 SEL{NE, EQ}Z instead of MOVN/MOVZ
Extend MIPS movcond implementation to support the SELNEZ/SELEQZ
instructions introduced in MIPS r6 (where MOVN/MOVZ have been removed).
Whereas the "MOVN/MOVZ rd, rs, rt" instructions have the following
semantics:
rd = [!]rt ? rs : rd
The "SELNEZ/SELEQZ rd, rs, rt" instructions are slightly different:
rd = [!]rt ? rs : 0
First we ensure that if one of the movcond input values is zero that it
comes last (we can swap the input arguments if we invert the condition).
This is so that it can exactly match one of the SELNEZ/SELEQZ
instructions and avoid the need to emit the other one.
Otherwise we emit the opposite instruction first into a temporary
register, and OR that into the result:
SELNEZ/SELEQZ TMP1, v2, c1
SELEQZ/SELNEZ ret, v1, c1
OR ret, ret, TMP1
Which does the following:
ret = cond ? v1 : v2
Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: James Hogan <james.hogan@imgtec.com>
Signed-off-by: Richard Henderson <rth@twiddle.net>
Message-Id: <1443788657-14537-7-git-send-email-james.hogan@imgtec.com>
2015-10-02 12:24:17 +00:00
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
MIPSInsn m_opc_t = eqz ? OPC_SELEQZ : OPC_SELNEZ;
|
|
|
|
MIPSInsn m_opc_f = eqz ? OPC_SELNEZ : OPC_SELEQZ;
|
|
|
|
|
|
|
|
if (v2 != 0) {
|
|
|
|
tcg_out_opc_reg(s, m_opc_f, TCG_TMP1, v2, c1);
|
|
|
|
}
|
|
|
|
tcg_out_opc_reg(s, m_opc_t, ret, v1, c1);
|
|
|
|
if (v2 != 0) {
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, ret, ret, TCG_TMP1);
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
MIPSInsn m_opc = eqz ? OPC_MOVZ : OPC_MOVN;
|
|
|
|
|
|
|
|
tcg_out_opc_reg(s, m_opc, ret, v1, c1);
|
|
|
|
|
|
|
|
/* This should be guaranteed via constraints */
|
|
|
|
tcg_debug_assert(v2 == ret);
|
|
|
|
}
|
2012-09-21 16:20:26 +00:00
|
|
|
}
|
|
|
|
|
2014-04-14 16:59:41 +00:00
|
|
|
static void tcg_out_call_int(TCGContext *s, tcg_insn_unit *arg, bool tail)
|
2014-05-02 22:01:31 +00:00
|
|
|
{
|
|
|
|
/* Note that the ABI requires the called function's address to be
|
|
|
|
loaded into T9, even if a direct branch is in range. */
|
|
|
|
tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_T9, (uintptr_t)arg);
|
|
|
|
|
|
|
|
/* But do try a direct branch, allowing the cpu better insn prefetch. */
|
2014-04-14 16:59:41 +00:00
|
|
|
if (tail) {
|
|
|
|
if (!tcg_out_opc_jmp(s, OPC_J, arg)) {
|
|
|
|
tcg_out_opc_reg(s, OPC_JR, 0, TCG_REG_T9, 0);
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
if (!tcg_out_opc_jmp(s, OPC_JAL, arg)) {
|
|
|
|
tcg_out_opc_reg(s, OPC_JALR, TCG_REG_RA, TCG_REG_T9, 0);
|
|
|
|
}
|
2014-05-02 22:01:31 +00:00
|
|
|
}
|
2014-04-14 16:59:41 +00:00
|
|
|
}
|
2014-05-02 22:01:31 +00:00
|
|
|
|
2014-04-14 16:59:41 +00:00
|
|
|
static void tcg_out_call(TCGContext *s, tcg_insn_unit *arg)
|
|
|
|
{
|
|
|
|
tcg_out_call_int(s, arg, false);
|
2014-05-02 22:01:31 +00:00
|
|
|
tcg_out_nop(s);
|
|
|
|
}
|
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
2014-04-14 16:59:41 +00:00
|
|
|
static void * const qemu_ld_helpers[16] = {
|
|
|
|
[MO_UB] = helper_ret_ldub_mmu,
|
|
|
|
[MO_SB] = helper_ret_ldsb_mmu,
|
|
|
|
[MO_LEUW] = helper_le_lduw_mmu,
|
|
|
|
[MO_LESW] = helper_le_ldsw_mmu,
|
|
|
|
[MO_LEUL] = helper_le_ldul_mmu,
|
|
|
|
[MO_LEQ] = helper_le_ldq_mmu,
|
|
|
|
[MO_BEUW] = helper_be_lduw_mmu,
|
|
|
|
[MO_BESW] = helper_be_ldsw_mmu,
|
|
|
|
[MO_BEUL] = helper_be_ldul_mmu,
|
|
|
|
[MO_BEQ] = helper_be_ldq_mmu,
|
2017-01-05 04:57:55 +00:00
|
|
|
#if TCG_TARGET_REG_BITS == 64
|
|
|
|
[MO_LESL] = helper_le_ldsl_mmu,
|
|
|
|
[MO_BESL] = helper_be_ldsl_mmu,
|
|
|
|
#endif
|
2011-09-18 14:55:46 +00:00
|
|
|
};
|
|
|
|
|
2014-04-14 16:59:41 +00:00
|
|
|
static void * const qemu_st_helpers[16] = {
|
|
|
|
[MO_UB] = helper_ret_stb_mmu,
|
|
|
|
[MO_LEUW] = helper_le_stw_mmu,
|
|
|
|
[MO_LEUL] = helper_le_stl_mmu,
|
|
|
|
[MO_LEQ] = helper_le_stq_mmu,
|
|
|
|
[MO_BEUW] = helper_be_stw_mmu,
|
|
|
|
[MO_BEUL] = helper_be_stl_mmu,
|
|
|
|
[MO_BEQ] = helper_be_stq_mmu,
|
2011-09-18 14:55:46 +00:00
|
|
|
};
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-05-02 22:01:31 +00:00
|
|
|
/* Helper routines for marshalling helper function arguments into
|
|
|
|
* the correct registers and stack.
|
|
|
|
* I is where we want to put this argument, and is updated and returned
|
|
|
|
* for the next call. ARG is the argument itself.
|
|
|
|
*
|
|
|
|
* We provide routines for arguments which are: immediate, 32 bit
|
|
|
|
* value in register, 16 and 8 bit values in register (which must be zero
|
|
|
|
* extended before use) and 64 bit value in a lo:hi register pair.
|
|
|
|
*/
|
|
|
|
|
|
|
|
static int tcg_out_call_iarg_reg(TCGContext *s, int i, TCGReg arg)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2014-05-02 22:01:31 +00:00
|
|
|
if (i < ARRAY_SIZE(tcg_target_call_iarg_regs)) {
|
|
|
|
tcg_out_mov(s, TCG_TYPE_REG, tcg_target_call_iarg_regs[i], arg);
|
|
|
|
} else {
|
2017-01-05 04:57:55 +00:00
|
|
|
/* For N32 and N64, the initial offset is different. But there
|
|
|
|
we also have 8 argument register so we don't run out here. */
|
|
|
|
tcg_debug_assert(TCG_TARGET_REG_BITS == 32);
|
2014-05-02 22:01:31 +00:00
|
|
|
tcg_out_st(s, TCG_TYPE_REG, arg, TCG_REG_SP, 4 * i);
|
|
|
|
}
|
|
|
|
return i + 1;
|
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-05-02 22:01:31 +00:00
|
|
|
static int tcg_out_call_iarg_reg8(TCGContext *s, int i, TCGReg arg)
|
|
|
|
{
|
2014-04-15 16:07:52 +00:00
|
|
|
TCGReg tmp = TCG_TMP0;
|
2014-05-02 22:01:31 +00:00
|
|
|
if (i < ARRAY_SIZE(tcg_target_call_iarg_regs)) {
|
|
|
|
tmp = tcg_target_call_iarg_regs[i];
|
|
|
|
}
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, tmp, arg, 0xff);
|
|
|
|
return tcg_out_call_iarg_reg(s, i, tmp);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int tcg_out_call_iarg_reg16(TCGContext *s, int i, TCGReg arg)
|
|
|
|
{
|
2014-04-15 16:07:52 +00:00
|
|
|
TCGReg tmp = TCG_TMP0;
|
2014-05-02 22:01:31 +00:00
|
|
|
if (i < ARRAY_SIZE(tcg_target_call_iarg_regs)) {
|
|
|
|
tmp = tcg_target_call_iarg_regs[i];
|
|
|
|
}
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, tmp, arg, 0xffff);
|
|
|
|
return tcg_out_call_iarg_reg(s, i, tmp);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int tcg_out_call_iarg_imm(TCGContext *s, int i, TCGArg arg)
|
|
|
|
{
|
2014-04-15 16:07:52 +00:00
|
|
|
TCGReg tmp = TCG_TMP0;
|
2014-05-02 22:01:31 +00:00
|
|
|
if (arg == 0) {
|
|
|
|
tmp = TCG_REG_ZERO;
|
2009-10-17 12:17:47 +00:00
|
|
|
} else {
|
2014-05-02 22:01:31 +00:00
|
|
|
if (i < ARRAY_SIZE(tcg_target_call_iarg_regs)) {
|
|
|
|
tmp = tcg_target_call_iarg_regs[i];
|
|
|
|
}
|
|
|
|
tcg_out_movi(s, TCG_TYPE_REG, tmp, arg);
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
2014-05-02 22:01:31 +00:00
|
|
|
return tcg_out_call_iarg_reg(s, i, tmp);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int tcg_out_call_iarg_reg2(TCGContext *s, int i, TCGReg al, TCGReg ah)
|
|
|
|
{
|
2017-01-05 04:57:55 +00:00
|
|
|
tcg_debug_assert(TCG_TARGET_REG_BITS == 32);
|
2014-05-02 22:01:31 +00:00
|
|
|
i = (i + 1) & ~1;
|
|
|
|
i = tcg_out_call_iarg_reg(s, i, (MIPS_BE ? ah : al));
|
|
|
|
i = tcg_out_call_iarg_reg(s, i, (MIPS_BE ? al : ah));
|
|
|
|
return i;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Perform the tlb comparison operation. The complete host address is
|
2017-01-05 04:57:55 +00:00
|
|
|
placed in BASE. Clobbers TMP0, TMP1, TMP2, A0. */
|
2014-05-02 22:01:31 +00:00
|
|
|
static void tcg_out_tlb_load(TCGContext *s, TCGReg base, TCGReg addrl,
|
2015-07-10 20:10:02 +00:00
|
|
|
TCGReg addrh, TCGMemOpIdx oi,
|
2014-05-02 22:01:31 +00:00
|
|
|
tcg_insn_unit *label_ptr[2], bool is_load)
|
|
|
|
{
|
2016-07-14 19:43:06 +00:00
|
|
|
TCGMemOp opc = get_memop(oi);
|
|
|
|
unsigned s_bits = opc & MO_SIZE;
|
|
|
|
unsigned a_bits = get_alignment_bits(opc);
|
2017-01-05 04:57:55 +00:00
|
|
|
target_ulong mask;
|
2015-07-10 20:10:02 +00:00
|
|
|
int mem_index = get_mmuidx(oi);
|
2014-05-02 22:01:31 +00:00
|
|
|
int cmp_off
|
|
|
|
= (is_load
|
|
|
|
? offsetof(CPUArchState, tlb_table[mem_index][0].addr_read)
|
|
|
|
: offsetof(CPUArchState, tlb_table[mem_index][0].addr_write));
|
|
|
|
int add_off = offsetof(CPUArchState, tlb_table[mem_index][0].addend);
|
|
|
|
|
2017-01-05 04:57:55 +00:00
|
|
|
tcg_out_opc_sa(s, ALIAS_TSRL, TCG_REG_A0, addrl,
|
2014-05-02 22:01:31 +00:00
|
|
|
TARGET_PAGE_BITS - CPU_TLB_ENTRY_BITS);
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_REG_A0, TCG_REG_A0,
|
|
|
|
(CPU_TLB_SIZE - 1) << CPU_TLB_ENTRY_BITS);
|
2017-01-05 04:57:55 +00:00
|
|
|
tcg_out_opc_reg(s, ALIAS_PADD, TCG_REG_A0, TCG_REG_A0, TCG_AREG0);
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-05-02 22:01:31 +00:00
|
|
|
/* Compensate for very large offsets. */
|
|
|
|
if (add_off >= 0x8000) {
|
|
|
|
/* Most target env are smaller than 32k; none are larger than 64k.
|
|
|
|
Simplify the logic here merely to offset by 0x7ff0, giving us a
|
|
|
|
range just shy of 64k. Check this assumption. */
|
|
|
|
QEMU_BUILD_BUG_ON(offsetof(CPUArchState,
|
|
|
|
tlb_table[NB_MMU_MODES - 1][1])
|
|
|
|
> 0x7ff0 + 0x7fff);
|
2017-01-05 04:57:55 +00:00
|
|
|
tcg_out_opc_imm(s, ALIAS_PADDI, TCG_REG_A0, TCG_REG_A0, 0x7ff0);
|
2014-05-02 22:01:31 +00:00
|
|
|
cmp_off -= 0x7ff0;
|
|
|
|
add_off -= 0x7ff0;
|
|
|
|
}
|
|
|
|
|
2016-07-14 19:43:06 +00:00
|
|
|
/* We don't currently support unaligned accesses.
|
|
|
|
We could do so with mips32r6. */
|
|
|
|
if (a_bits < s_bits) {
|
|
|
|
a_bits = s_bits;
|
|
|
|
}
|
2017-01-05 04:57:55 +00:00
|
|
|
|
|
|
|
mask = (target_ulong)TARGET_PAGE_MASK | ((1 << a_bits) - 1);
|
|
|
|
|
|
|
|
/* Load the (low half) tlb comparator. Mask the page bits, keeping the
|
|
|
|
alignment bits to compare against. */
|
|
|
|
if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
|
|
|
|
tcg_out_ld(s, TCG_TYPE_I32, TCG_TMP0, TCG_REG_A0, cmp_off + LO_OFF);
|
|
|
|
tcg_out_movi(s, TCG_TYPE_I32, TCG_TMP1, mask);
|
|
|
|
} else {
|
|
|
|
tcg_out_ldst(s,
|
|
|
|
(TARGET_LONG_BITS == 64 ? OPC_LD
|
|
|
|
: TCG_TARGET_REG_BITS == 64 ? OPC_LWU : OPC_LW),
|
|
|
|
TCG_TMP0, TCG_REG_A0, cmp_off);
|
|
|
|
tcg_out_movi(s, TCG_TYPE_TL, TCG_TMP1, mask);
|
|
|
|
/* No second compare is required here;
|
|
|
|
load the tlb addend for the fast path. */
|
|
|
|
tcg_out_ld(s, TCG_TYPE_PTR, TCG_TMP2, TCG_REG_A0, add_off);
|
tcg/mips: Fix clobbering of qemu_ld inputs
The MIPS TCG backend implements qemu_ld with 64-bit targets using the v0
register (base) as a temporary to load the upper half of the QEMU TLB
comparator (see line 5 below), however this happens before the input
address is used (line 8 to mask off the low bits for the TLB
comparison, and line 12 to add the host-guest offset). If the input
address (addrl) also happens to have been placed in v0 (as in the second
column below), it gets clobbered before it is used.
addrl in t2 addrl in v0
1 srl a0,t2,0x7 srl a0,v0,0x7
2 andi a0,a0,0x1fe0 andi a0,a0,0x1fe0
3 addu a0,a0,s0 addu a0,a0,s0
4 lw at,9136(a0) lw at,9136(a0) set TCG_TMP0 (at)
5 lw v0,9140(a0) lw v0,9140(a0) set base (v0)
6 li t9,-4093 li t9,-4093
7 lw a0,9160(a0) lw a0,9160(a0) set addend (a0)
8 and t9,t9,t2 and t9,t9,v0 use addrl
9 bne at,t9,0x836d8c8 bne at,t9,0x836d838 use TCG_TMP0
10 nop nop
11 bne v0,t8,0x836d8c8 bne v0,a1,0x836d838 use base
12 addu v0,a0,t2 addu v0,a0,v0 use addrl, addend
13 lw t0,0(v0) lw t0,0(v0)
Fix by using TCG_TMP0 (at) as the temporary instead of v0 (base),
pushing the load on line 5 forward into the delay slot of the low
comparison (line 10). The early load of the addend on line 7 also needs
pushing even further for 64-bit targets, or it will clobber a0 before
we're done with it. The output for 32-bit targets is unaffected.
srl a0,v0,0x7
andi a0,a0,0x1fe0
addu a0,a0,s0
lw at,9136(a0)
-lw v0,9140(a0) load high comparator
li t9,-4093
-lw a0,9160(a0) load addend
and t9,t9,v0
bne at,t9,0x836d838
- nop
+ lw at,9140(a0) load high comparator
+lw a0,9160(a0) load addend
-bne v0,a1,0x836d838
+bne at,a1,0x836d838
addu v0,a0,v0
lw t0,0(v0)
Cc: qemu-stable@nongnu.org
Reviewed-by: Richard Henderson <rth@twiddle.net>
Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: James Hogan <james.hogan@imgtec.com>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
2015-09-14 10:34:54 +00:00
|
|
|
}
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_opc_reg(s, OPC_AND, TCG_TMP1, TCG_TMP1, addrl);
|
2014-05-02 22:01:31 +00:00
|
|
|
|
2017-01-05 04:57:55 +00:00
|
|
|
/* Zero extend a 32-bit guest address for a 64-bit host. */
|
|
|
|
if (TCG_TARGET_REG_BITS > TARGET_LONG_BITS) {
|
|
|
|
tcg_out_ext32u(s, base, addrl);
|
|
|
|
addrl = base;
|
|
|
|
}
|
|
|
|
|
2014-05-02 22:01:31 +00:00
|
|
|
label_ptr[0] = s->code_ptr;
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_opc_br(s, OPC_BNE, TCG_TMP1, TCG_TMP0);
|
2009-10-17 12:17:47 +00:00
|
|
|
|
tcg/mips: Fix clobbering of qemu_ld inputs
The MIPS TCG backend implements qemu_ld with 64-bit targets using the v0
register (base) as a temporary to load the upper half of the QEMU TLB
comparator (see line 5 below), however this happens before the input
address is used (line 8 to mask off the low bits for the TLB
comparison, and line 12 to add the host-guest offset). If the input
address (addrl) also happens to have been placed in v0 (as in the second
column below), it gets clobbered before it is used.
addrl in t2 addrl in v0
1 srl a0,t2,0x7 srl a0,v0,0x7
2 andi a0,a0,0x1fe0 andi a0,a0,0x1fe0
3 addu a0,a0,s0 addu a0,a0,s0
4 lw at,9136(a0) lw at,9136(a0) set TCG_TMP0 (at)
5 lw v0,9140(a0) lw v0,9140(a0) set base (v0)
6 li t9,-4093 li t9,-4093
7 lw a0,9160(a0) lw a0,9160(a0) set addend (a0)
8 and t9,t9,t2 and t9,t9,v0 use addrl
9 bne at,t9,0x836d8c8 bne at,t9,0x836d838 use TCG_TMP0
10 nop nop
11 bne v0,t8,0x836d8c8 bne v0,a1,0x836d838 use base
12 addu v0,a0,t2 addu v0,a0,v0 use addrl, addend
13 lw t0,0(v0) lw t0,0(v0)
Fix by using TCG_TMP0 (at) as the temporary instead of v0 (base),
pushing the load on line 5 forward into the delay slot of the low
comparison (line 10). The early load of the addend on line 7 also needs
pushing even further for 64-bit targets, or it will clobber a0 before
we're done with it. The output for 32-bit targets is unaffected.
srl a0,v0,0x7
andi a0,a0,0x1fe0
addu a0,a0,s0
lw at,9136(a0)
-lw v0,9140(a0) load high comparator
li t9,-4093
-lw a0,9160(a0) load addend
and t9,t9,v0
bne at,t9,0x836d838
- nop
+ lw at,9140(a0) load high comparator
+lw a0,9160(a0) load addend
-bne v0,a1,0x836d838
+bne at,a1,0x836d838
addu v0,a0,v0
lw t0,0(v0)
Cc: qemu-stable@nongnu.org
Reviewed-by: Richard Henderson <rth@twiddle.net>
Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: James Hogan <james.hogan@imgtec.com>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
2015-09-14 10:34:54 +00:00
|
|
|
/* Load and test the high half tlb comparator. */
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
|
2014-05-02 22:01:31 +00:00
|
|
|
/* delay slot */
|
2017-01-05 04:57:55 +00:00
|
|
|
tcg_out_ld(s, TCG_TYPE_I32, TCG_TMP0, TCG_REG_A0, cmp_off + HI_OFF);
|
tcg/mips: Fix clobbering of qemu_ld inputs
The MIPS TCG backend implements qemu_ld with 64-bit targets using the v0
register (base) as a temporary to load the upper half of the QEMU TLB
comparator (see line 5 below), however this happens before the input
address is used (line 8 to mask off the low bits for the TLB
comparison, and line 12 to add the host-guest offset). If the input
address (addrl) also happens to have been placed in v0 (as in the second
column below), it gets clobbered before it is used.
addrl in t2 addrl in v0
1 srl a0,t2,0x7 srl a0,v0,0x7
2 andi a0,a0,0x1fe0 andi a0,a0,0x1fe0
3 addu a0,a0,s0 addu a0,a0,s0
4 lw at,9136(a0) lw at,9136(a0) set TCG_TMP0 (at)
5 lw v0,9140(a0) lw v0,9140(a0) set base (v0)
6 li t9,-4093 li t9,-4093
7 lw a0,9160(a0) lw a0,9160(a0) set addend (a0)
8 and t9,t9,t2 and t9,t9,v0 use addrl
9 bne at,t9,0x836d8c8 bne at,t9,0x836d838 use TCG_TMP0
10 nop nop
11 bne v0,t8,0x836d8c8 bne v0,a1,0x836d838 use base
12 addu v0,a0,t2 addu v0,a0,v0 use addrl, addend
13 lw t0,0(v0) lw t0,0(v0)
Fix by using TCG_TMP0 (at) as the temporary instead of v0 (base),
pushing the load on line 5 forward into the delay slot of the low
comparison (line 10). The early load of the addend on line 7 also needs
pushing even further for 64-bit targets, or it will clobber a0 before
we're done with it. The output for 32-bit targets is unaffected.
srl a0,v0,0x7
andi a0,a0,0x1fe0
addu a0,a0,s0
lw at,9136(a0)
-lw v0,9140(a0) load high comparator
li t9,-4093
-lw a0,9160(a0) load addend
and t9,t9,v0
bne at,t9,0x836d838
- nop
+ lw at,9140(a0) load high comparator
+lw a0,9160(a0) load addend
-bne v0,a1,0x836d838
+bne at,a1,0x836d838
addu v0,a0,v0
lw t0,0(v0)
Cc: qemu-stable@nongnu.org
Reviewed-by: Richard Henderson <rth@twiddle.net>
Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: James Hogan <james.hogan@imgtec.com>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
2015-09-14 10:34:54 +00:00
|
|
|
|
2017-01-05 04:57:55 +00:00
|
|
|
/* Load the tlb addend for the fast path. */
|
|
|
|
tcg_out_ld(s, TCG_TYPE_PTR, TCG_TMP2, TCG_REG_A0, add_off);
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-05-02 22:01:31 +00:00
|
|
|
label_ptr[1] = s->code_ptr;
|
tcg/mips: Fix clobbering of qemu_ld inputs
The MIPS TCG backend implements qemu_ld with 64-bit targets using the v0
register (base) as a temporary to load the upper half of the QEMU TLB
comparator (see line 5 below), however this happens before the input
address is used (line 8 to mask off the low bits for the TLB
comparison, and line 12 to add the host-guest offset). If the input
address (addrl) also happens to have been placed in v0 (as in the second
column below), it gets clobbered before it is used.
addrl in t2 addrl in v0
1 srl a0,t2,0x7 srl a0,v0,0x7
2 andi a0,a0,0x1fe0 andi a0,a0,0x1fe0
3 addu a0,a0,s0 addu a0,a0,s0
4 lw at,9136(a0) lw at,9136(a0) set TCG_TMP0 (at)
5 lw v0,9140(a0) lw v0,9140(a0) set base (v0)
6 li t9,-4093 li t9,-4093
7 lw a0,9160(a0) lw a0,9160(a0) set addend (a0)
8 and t9,t9,t2 and t9,t9,v0 use addrl
9 bne at,t9,0x836d8c8 bne at,t9,0x836d838 use TCG_TMP0
10 nop nop
11 bne v0,t8,0x836d8c8 bne v0,a1,0x836d838 use base
12 addu v0,a0,t2 addu v0,a0,v0 use addrl, addend
13 lw t0,0(v0) lw t0,0(v0)
Fix by using TCG_TMP0 (at) as the temporary instead of v0 (base),
pushing the load on line 5 forward into the delay slot of the low
comparison (line 10). The early load of the addend on line 7 also needs
pushing even further for 64-bit targets, or it will clobber a0 before
we're done with it. The output for 32-bit targets is unaffected.
srl a0,v0,0x7
andi a0,a0,0x1fe0
addu a0,a0,s0
lw at,9136(a0)
-lw v0,9140(a0) load high comparator
li t9,-4093
-lw a0,9160(a0) load addend
and t9,t9,v0
bne at,t9,0x836d838
- nop
+ lw at,9140(a0) load high comparator
+lw a0,9160(a0) load addend
-bne v0,a1,0x836d838
+bne at,a1,0x836d838
addu v0,a0,v0
lw t0,0(v0)
Cc: qemu-stable@nongnu.org
Reviewed-by: Richard Henderson <rth@twiddle.net>
Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: James Hogan <james.hogan@imgtec.com>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
2015-09-14 10:34:54 +00:00
|
|
|
tcg_out_opc_br(s, OPC_BNE, addrh, TCG_TMP0);
|
2014-05-02 22:01:31 +00:00
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-05-02 22:01:31 +00:00
|
|
|
/* delay slot */
|
2017-01-05 04:57:55 +00:00
|
|
|
tcg_out_opc_reg(s, ALIAS_PADD, base, TCG_TMP2, addrl);
|
2014-05-02 22:01:31 +00:00
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2015-05-13 16:10:33 +00:00
|
|
|
static void add_qemu_ldst_label(TCGContext *s, int is_ld, TCGMemOpIdx oi,
|
2017-01-05 04:57:55 +00:00
|
|
|
TCGType ext,
|
2014-05-02 22:01:31 +00:00
|
|
|
TCGReg datalo, TCGReg datahi,
|
|
|
|
TCGReg addrlo, TCGReg addrhi,
|
2015-05-13 16:10:33 +00:00
|
|
|
void *raddr, tcg_insn_unit *label_ptr[2])
|
2014-05-02 22:01:31 +00:00
|
|
|
{
|
|
|
|
TCGLabelQemuLdst *label = new_ldst_label(s);
|
|
|
|
|
|
|
|
label->is_ld = is_ld;
|
2015-05-13 16:10:33 +00:00
|
|
|
label->oi = oi;
|
2017-01-05 04:57:55 +00:00
|
|
|
label->type = ext;
|
2014-05-02 22:01:31 +00:00
|
|
|
label->datalo_reg = datalo;
|
|
|
|
label->datahi_reg = datahi;
|
|
|
|
label->addrlo_reg = addrlo;
|
|
|
|
label->addrhi_reg = addrhi;
|
|
|
|
label->raddr = raddr;
|
|
|
|
label->label_ptr[0] = label_ptr[0];
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
|
2014-05-02 22:01:31 +00:00
|
|
|
label->label_ptr[1] = label_ptr[1];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
|
|
|
|
{
|
2015-07-09 09:17:14 +00:00
|
|
|
TCGMemOpIdx oi = l->oi;
|
2015-05-13 16:10:33 +00:00
|
|
|
TCGMemOp opc = get_memop(oi);
|
2014-04-14 16:59:41 +00:00
|
|
|
TCGReg v0;
|
2014-05-02 22:01:31 +00:00
|
|
|
int i;
|
|
|
|
|
|
|
|
/* resolve label address */
|
|
|
|
reloc_pc16(l->label_ptr[0], s->code_ptr);
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
|
2014-05-02 22:01:31 +00:00
|
|
|
reloc_pc16(l->label_ptr[1], s->code_ptr);
|
|
|
|
}
|
|
|
|
|
2014-04-14 16:59:41 +00:00
|
|
|
i = 1;
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
|
2014-05-02 22:01:31 +00:00
|
|
|
i = tcg_out_call_iarg_reg2(s, i, l->addrlo_reg, l->addrhi_reg);
|
|
|
|
} else {
|
|
|
|
i = tcg_out_call_iarg_reg(s, i, l->addrlo_reg);
|
|
|
|
}
|
2015-05-13 16:10:33 +00:00
|
|
|
i = tcg_out_call_iarg_imm(s, i, oi);
|
2014-04-14 16:59:41 +00:00
|
|
|
i = tcg_out_call_iarg_imm(s, i, (intptr_t)l->raddr);
|
2015-05-29 16:16:51 +00:00
|
|
|
tcg_out_call_int(s, qemu_ld_helpers[opc & (MO_BSWAP | MO_SSIZE)], false);
|
2014-04-14 16:59:41 +00:00
|
|
|
/* delay slot */
|
|
|
|
tcg_out_mov(s, TCG_TYPE_PTR, tcg_target_call_iarg_regs[0], TCG_AREG0);
|
2014-05-02 22:01:31 +00:00
|
|
|
|
2014-04-14 16:59:41 +00:00
|
|
|
v0 = l->datalo_reg;
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS == 32 && (opc & MO_SIZE) == MO_64) {
|
2014-05-02 22:01:31 +00:00
|
|
|
/* We eliminated V0 from the possible output registers, so it
|
|
|
|
cannot be clobbered here. So we must move V1 first. */
|
2014-04-14 16:59:41 +00:00
|
|
|
if (MIPS_BE) {
|
|
|
|
tcg_out_mov(s, TCG_TYPE_I32, v0, TCG_REG_V1);
|
|
|
|
v0 = l->datahi_reg;
|
|
|
|
} else {
|
|
|
|
tcg_out_mov(s, TCG_TYPE_I32, l->datahi_reg, TCG_REG_V1);
|
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2014-05-02 22:01:31 +00:00
|
|
|
reloc_pc16(s->code_ptr, l->raddr);
|
2010-03-29 00:09:23 +00:00
|
|
|
tcg_out_opc_br(s, OPC_BEQ, TCG_REG_ZERO, TCG_REG_ZERO);
|
2014-04-14 16:59:41 +00:00
|
|
|
/* delay slot */
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS == 64 && l->type == TCG_TYPE_I32) {
|
|
|
|
/* we always sign-extend 32-bit loads */
|
|
|
|
tcg_out_opc_sa(s, OPC_SLL, v0, TCG_REG_V0, 0);
|
|
|
|
} else {
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, v0, TCG_REG_V0, TCG_REG_ZERO);
|
|
|
|
}
|
2014-05-02 22:01:31 +00:00
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-05-02 22:01:31 +00:00
|
|
|
static void tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
|
|
|
|
{
|
2015-07-09 09:17:14 +00:00
|
|
|
TCGMemOpIdx oi = l->oi;
|
2015-05-13 16:10:33 +00:00
|
|
|
TCGMemOp opc = get_memop(oi);
|
2014-05-02 22:01:31 +00:00
|
|
|
TCGMemOp s_bits = opc & MO_SIZE;
|
|
|
|
int i;
|
|
|
|
|
|
|
|
/* resolve label address */
|
|
|
|
reloc_pc16(l->label_ptr[0], s->code_ptr);
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
|
2014-05-02 22:01:31 +00:00
|
|
|
reloc_pc16(l->label_ptr[1], s->code_ptr);
|
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-04-14 16:59:41 +00:00
|
|
|
i = 1;
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS < TARGET_LONG_BITS) {
|
2014-05-02 22:01:31 +00:00
|
|
|
i = tcg_out_call_iarg_reg2(s, i, l->addrlo_reg, l->addrhi_reg);
|
2010-03-27 16:31:04 +00:00
|
|
|
} else {
|
2014-05-02 22:01:31 +00:00
|
|
|
i = tcg_out_call_iarg_reg(s, i, l->addrlo_reg);
|
|
|
|
}
|
|
|
|
switch (s_bits) {
|
|
|
|
case MO_8:
|
|
|
|
i = tcg_out_call_iarg_reg8(s, i, l->datalo_reg);
|
|
|
|
break;
|
|
|
|
case MO_16:
|
|
|
|
i = tcg_out_call_iarg_reg16(s, i, l->datalo_reg);
|
|
|
|
break;
|
|
|
|
case MO_32:
|
|
|
|
i = tcg_out_call_iarg_reg(s, i, l->datalo_reg);
|
|
|
|
break;
|
|
|
|
case MO_64:
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS == 32) {
|
|
|
|
i = tcg_out_call_iarg_reg2(s, i, l->datalo_reg, l->datahi_reg);
|
|
|
|
} else {
|
|
|
|
i = tcg_out_call_iarg_reg(s, i, l->datalo_reg);
|
|
|
|
}
|
2014-05-02 22:01:31 +00:00
|
|
|
break;
|
|
|
|
default:
|
|
|
|
tcg_abort();
|
2010-03-27 16:31:04 +00:00
|
|
|
}
|
2015-05-13 16:10:33 +00:00
|
|
|
i = tcg_out_call_iarg_imm(s, i, oi);
|
2014-05-02 22:01:31 +00:00
|
|
|
|
2014-04-14 16:59:41 +00:00
|
|
|
/* Tail call to the store helper. Thus force the return address
|
|
|
|
computation to take place in the return address register. */
|
|
|
|
tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_RA, (intptr_t)l->raddr);
|
|
|
|
i = tcg_out_call_iarg_reg(s, i, TCG_REG_RA);
|
2015-05-29 16:16:51 +00:00
|
|
|
tcg_out_call_int(s, qemu_st_helpers[opc & (MO_BSWAP | MO_SIZE)], true);
|
2014-04-14 16:59:41 +00:00
|
|
|
/* delay slot */
|
|
|
|
tcg_out_mov(s, TCG_TYPE_PTR, tcg_target_call_iarg_regs[0], TCG_AREG0);
|
2014-05-02 22:01:31 +00:00
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
#endif
|
|
|
|
|
2017-01-05 04:57:46 +00:00
|
|
|
static void tcg_out_qemu_ld_direct(TCGContext *s, TCGReg lo, TCGReg hi,
|
2017-01-05 04:57:55 +00:00
|
|
|
TCGReg base, TCGMemOp opc, bool is_64)
|
2014-05-02 22:01:31 +00:00
|
|
|
{
|
2015-07-30 20:11:51 +00:00
|
|
|
switch (opc & (MO_SSIZE | MO_BSWAP)) {
|
2014-05-02 22:01:31 +00:00
|
|
|
case MO_UB:
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_LBU, lo, base, 0);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-05-02 22:01:31 +00:00
|
|
|
case MO_SB:
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_LB, lo, base, 0);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-05-02 22:01:31 +00:00
|
|
|
case MO_UW | MO_BSWAP:
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_LHU, TCG_TMP1, base, 0);
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_bswap16(s, lo, TCG_TMP1);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-05-02 22:01:31 +00:00
|
|
|
case MO_UW:
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_LHU, lo, base, 0);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-05-02 22:01:31 +00:00
|
|
|
case MO_SW | MO_BSWAP:
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_LHU, TCG_TMP1, base, 0);
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_bswap16s(s, lo, TCG_TMP1);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-05-02 22:01:31 +00:00
|
|
|
case MO_SW:
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_LH, lo, base, 0);
|
2014-05-02 22:01:31 +00:00
|
|
|
break;
|
|
|
|
case MO_UL | MO_BSWAP:
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS == 64 && is_64) {
|
|
|
|
if (use_mips32r2_instructions) {
|
|
|
|
tcg_out_opc_imm(s, OPC_LWU, lo, base, 0);
|
|
|
|
tcg_out_bswap32u(s, lo, lo);
|
|
|
|
} else {
|
|
|
|
tcg_out_bswap_subr(s, bswap32u_addr);
|
|
|
|
/* delay slot */
|
|
|
|
tcg_out_opc_imm(s, OPC_LWU, TCG_TMP0, base, 0);
|
|
|
|
tcg_out_mov(s, TCG_TYPE_I64, lo, TCG_TMP3);
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
/* FALLTHRU */
|
|
|
|
case MO_SL | MO_BSWAP:
|
2017-01-05 04:57:46 +00:00
|
|
|
if (use_mips32r2_instructions) {
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, lo, base, 0);
|
|
|
|
tcg_out_bswap32(s, lo, lo);
|
|
|
|
} else {
|
|
|
|
tcg_out_bswap_subr(s, bswap32_addr);
|
|
|
|
/* delay slot */
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, TCG_TMP0, base, 0);
|
|
|
|
tcg_out_mov(s, TCG_TYPE_I32, lo, TCG_TMP3);
|
|
|
|
}
|
2014-05-02 22:01:31 +00:00
|
|
|
break;
|
|
|
|
case MO_UL:
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS == 64 && is_64) {
|
|
|
|
tcg_out_opc_imm(s, OPC_LWU, lo, base, 0);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
/* FALLTHRU */
|
|
|
|
case MO_SL:
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_LW, lo, base, 0);
|
2014-05-02 22:01:31 +00:00
|
|
|
break;
|
|
|
|
case MO_Q | MO_BSWAP:
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS == 64) {
|
|
|
|
if (use_mips32r2_instructions) {
|
|
|
|
tcg_out_opc_imm(s, OPC_LD, lo, base, 0);
|
|
|
|
tcg_out_bswap64(s, lo, lo);
|
|
|
|
} else {
|
|
|
|
tcg_out_bswap_subr(s, bswap64_addr);
|
|
|
|
/* delay slot */
|
|
|
|
tcg_out_opc_imm(s, OPC_LD, TCG_TMP0, base, 0);
|
|
|
|
tcg_out_mov(s, TCG_TYPE_I64, lo, TCG_TMP3);
|
|
|
|
}
|
|
|
|
} else if (use_mips32r2_instructions) {
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_LW, TCG_TMP0, base, 0);
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, TCG_TMP1, base, 4);
|
|
|
|
tcg_out_opc_reg(s, OPC_WSBH, TCG_TMP0, 0, TCG_TMP0);
|
|
|
|
tcg_out_opc_reg(s, OPC_WSBH, TCG_TMP1, 0, TCG_TMP1);
|
|
|
|
tcg_out_opc_sa(s, OPC_ROTR, MIPS_BE ? lo : hi, TCG_TMP0, 16);
|
|
|
|
tcg_out_opc_sa(s, OPC_ROTR, MIPS_BE ? hi : lo, TCG_TMP1, 16);
|
|
|
|
} else {
|
|
|
|
tcg_out_bswap_subr(s, bswap32_addr);
|
|
|
|
/* delay slot */
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, TCG_TMP0, base, 0);
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, TCG_TMP0, base, 4);
|
|
|
|
tcg_out_bswap_subr(s, bswap32_addr);
|
|
|
|
/* delay slot */
|
|
|
|
tcg_out_mov(s, TCG_TYPE_I32, MIPS_BE ? lo : hi, TCG_TMP3);
|
|
|
|
tcg_out_mov(s, TCG_TYPE_I32, MIPS_BE ? hi : lo, TCG_TMP3);
|
|
|
|
}
|
2014-05-02 22:01:31 +00:00
|
|
|
break;
|
|
|
|
case MO_Q:
|
2017-01-05 04:57:46 +00:00
|
|
|
/* Prefer to load from offset 0 first, but allow for overlap. */
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS == 64) {
|
|
|
|
tcg_out_opc_imm(s, OPC_LD, lo, base, 0);
|
|
|
|
} else if (MIPS_BE ? hi != base : lo == base) {
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_LW, hi, base, HI_OFF);
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, lo, base, LO_OFF);
|
|
|
|
} else {
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, lo, base, LO_OFF);
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, hi, base, HI_OFF);
|
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
|
|
|
default:
|
|
|
|
tcg_abort();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-04-14 18:10:11 +00:00
|
|
|
static void tcg_out_qemu_ld(TCGContext *s, const TCGArg *args, bool is_64)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2014-05-02 22:01:31 +00:00
|
|
|
TCGReg addr_regl, addr_regh __attribute__((unused));
|
|
|
|
TCGReg data_regl, data_regh;
|
2015-05-12 18:51:44 +00:00
|
|
|
TCGMemOpIdx oi;
|
2014-04-14 18:10:11 +00:00
|
|
|
TCGMemOp opc;
|
2009-10-17 12:17:47 +00:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
2014-05-02 22:01:31 +00:00
|
|
|
tcg_insn_unit *label_ptr[2];
|
2009-10-17 12:17:47 +00:00
|
|
|
#endif
|
2017-01-05 04:57:46 +00:00
|
|
|
TCGReg base = TCG_REG_A0;
|
2014-05-02 22:01:31 +00:00
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
data_regl = *args++;
|
2017-01-05 04:57:55 +00:00
|
|
|
data_regh = (TCG_TARGET_REG_BITS == 32 && is_64 ? *args++ : 0);
|
2009-10-17 12:17:47 +00:00
|
|
|
addr_regl = *args++;
|
2017-01-05 04:57:55 +00:00
|
|
|
addr_regh = (TCG_TARGET_REG_BITS < TARGET_LONG_BITS ? *args++ : 0);
|
2015-05-12 18:51:44 +00:00
|
|
|
oi = *args++;
|
|
|
|
opc = get_memop(oi);
|
2014-05-02 22:01:31 +00:00
|
|
|
|
2012-09-21 16:20:25 +00:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
2015-07-10 20:10:02 +00:00
|
|
|
tcg_out_tlb_load(s, base, addr_regl, addr_regh, oi, label_ptr, 1);
|
2017-01-05 04:57:55 +00:00
|
|
|
tcg_out_qemu_ld_direct(s, data_regl, data_regh, base, opc, is_64);
|
|
|
|
add_qemu_ldst_label(s, 1, oi,
|
|
|
|
(is_64 ? TCG_TYPE_I64 : TCG_TYPE_I32),
|
|
|
|
data_regl, data_regh, addr_regl, addr_regh,
|
2015-05-13 16:10:33 +00:00
|
|
|
s->code_ptr, label_ptr);
|
2012-09-21 16:20:25 +00:00
|
|
|
#else
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS > TARGET_LONG_BITS) {
|
|
|
|
tcg_out_ext32u(s, base, addr_regl);
|
|
|
|
addr_regl = base;
|
|
|
|
}
|
2015-08-24 12:53:54 +00:00
|
|
|
if (guest_base == 0 && data_regl != addr_regl) {
|
2014-05-02 22:01:31 +00:00
|
|
|
base = addr_regl;
|
2015-08-24 12:53:54 +00:00
|
|
|
} else if (guest_base == (int16_t)guest_base) {
|
2017-01-05 04:57:55 +00:00
|
|
|
tcg_out_opc_imm(s, ALIAS_PADDI, base, addr_regl, guest_base);
|
2012-09-21 16:20:25 +00:00
|
|
|
} else {
|
2015-08-24 12:53:54 +00:00
|
|
|
tcg_out_movi(s, TCG_TYPE_PTR, base, guest_base);
|
2017-01-05 04:57:55 +00:00
|
|
|
tcg_out_opc_reg(s, ALIAS_PADD, base, base, addr_regl);
|
2012-09-21 16:20:25 +00:00
|
|
|
}
|
2017-01-05 04:57:55 +00:00
|
|
|
tcg_out_qemu_ld_direct(s, data_regl, data_regh, base, opc, is_64);
|
2014-05-02 22:01:31 +00:00
|
|
|
#endif
|
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2017-01-05 04:57:46 +00:00
|
|
|
static void tcg_out_qemu_st_direct(TCGContext *s, TCGReg lo, TCGReg hi,
|
2014-05-02 22:01:31 +00:00
|
|
|
TCGReg base, TCGMemOp opc)
|
|
|
|
{
|
2017-01-05 04:57:46 +00:00
|
|
|
/* Don't clutter the code below with checks to avoid bswapping ZERO. */
|
|
|
|
if ((lo | hi) == 0) {
|
|
|
|
opc &= ~MO_BSWAP;
|
|
|
|
}
|
|
|
|
|
2015-07-30 20:11:51 +00:00
|
|
|
switch (opc & (MO_SIZE | MO_BSWAP)) {
|
2014-05-02 22:01:31 +00:00
|
|
|
case MO_8:
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_SB, lo, base, 0);
|
2014-05-02 22:01:31 +00:00
|
|
|
break;
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-05-02 22:01:31 +00:00
|
|
|
case MO_16 | MO_BSWAP:
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP1, lo, 0xffff);
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_bswap16(s, TCG_TMP1, TCG_TMP1);
|
2017-01-05 04:57:46 +00:00
|
|
|
lo = TCG_TMP1;
|
2014-05-02 22:01:31 +00:00
|
|
|
/* FALLTHRU */
|
|
|
|
case MO_16:
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_SH, lo, base, 0);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-05-02 22:01:31 +00:00
|
|
|
|
|
|
|
case MO_32 | MO_BSWAP:
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_bswap32(s, TCG_TMP3, lo);
|
|
|
|
lo = TCG_TMP3;
|
2014-05-02 22:01:31 +00:00
|
|
|
/* FALLTHRU */
|
|
|
|
case MO_32:
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_opc_imm(s, OPC_SW, lo, base, 0);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-05-02 22:01:31 +00:00
|
|
|
|
|
|
|
case MO_64 | MO_BSWAP:
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS == 64) {
|
|
|
|
tcg_out_bswap64(s, TCG_TMP3, lo);
|
|
|
|
tcg_out_opc_imm(s, OPC_SD, TCG_TMP3, base, 0);
|
|
|
|
} else if (use_mips32r2_instructions) {
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_out_opc_reg(s, OPC_WSBH, TCG_TMP0, 0, MIPS_BE ? lo : hi);
|
|
|
|
tcg_out_opc_reg(s, OPC_WSBH, TCG_TMP1, 0, MIPS_BE ? hi : lo);
|
|
|
|
tcg_out_opc_sa(s, OPC_ROTR, TCG_TMP0, TCG_TMP0, 16);
|
|
|
|
tcg_out_opc_sa(s, OPC_ROTR, TCG_TMP1, TCG_TMP1, 16);
|
|
|
|
tcg_out_opc_imm(s, OPC_SW, TCG_TMP0, base, 0);
|
|
|
|
tcg_out_opc_imm(s, OPC_SW, TCG_TMP1, base, 4);
|
|
|
|
} else {
|
|
|
|
tcg_out_bswap32(s, TCG_TMP3, MIPS_BE ? lo : hi);
|
|
|
|
tcg_out_opc_imm(s, OPC_SW, TCG_TMP3, base, 0);
|
|
|
|
tcg_out_bswap32(s, TCG_TMP3, MIPS_BE ? hi : lo);
|
|
|
|
tcg_out_opc_imm(s, OPC_SW, TCG_TMP3, base, 4);
|
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-05-02 22:01:31 +00:00
|
|
|
case MO_64:
|
2017-01-05 04:57:55 +00:00
|
|
|
if (TCG_TARGET_REG_BITS == 64) {
|
|
|
|
tcg_out_opc_imm(s, OPC_SD, lo, base, 0);
|
|
|
|
} else {
|
|
|
|
tcg_out_opc_imm(s, OPC_SW, MIPS_BE ? hi : lo, base, 0);
|
|
|
|
tcg_out_opc_imm(s, OPC_SW, MIPS_BE ? lo : hi, base, 4);
|
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-05-02 22:01:31 +00:00
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
default:
|
|
|
|
tcg_abort();
|
|
|
|
}
|
2014-05-02 22:01:31 +00:00
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-04-14 18:10:11 +00:00
|
|
|
static void tcg_out_qemu_st(TCGContext *s, const TCGArg *args, bool is_64)
|
2014-05-02 22:01:31 +00:00
|
|
|
{
|
|
|
|
TCGReg addr_regl, addr_regh __attribute__((unused));
|
2017-01-05 04:57:46 +00:00
|
|
|
TCGReg data_regl, data_regh;
|
2015-05-12 18:51:44 +00:00
|
|
|
TCGMemOpIdx oi;
|
2014-04-14 18:10:11 +00:00
|
|
|
TCGMemOp opc;
|
2014-05-02 22:01:31 +00:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
|
|
|
tcg_insn_unit *label_ptr[2];
|
|
|
|
#endif
|
2017-01-05 04:57:46 +00:00
|
|
|
TCGReg base = TCG_REG_A0;
|
2014-05-02 22:01:31 +00:00
|
|
|
|
|
|
|
data_regl = *args++;
|
2017-01-05 04:57:55 +00:00
|
|
|
data_regh = (TCG_TARGET_REG_BITS == 32 && is_64 ? *args++ : 0);
|
2014-05-02 22:01:31 +00:00
|
|
|
addr_regl = *args++;
|
2017-01-05 04:57:55 +00:00
|
|
|
addr_regh = (TCG_TARGET_REG_BITS < TARGET_LONG_BITS ? *args++ : 0);
|
2015-05-12 18:51:44 +00:00
|
|
|
oi = *args++;
|
|
|
|
opc = get_memop(oi);
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-05-02 22:01:31 +00:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
2015-07-10 20:10:02 +00:00
|
|
|
tcg_out_tlb_load(s, base, addr_regl, addr_regh, oi, label_ptr, 0);
|
2014-05-02 22:01:31 +00:00
|
|
|
tcg_out_qemu_st_direct(s, data_regl, data_regh, base, opc);
|
2017-01-05 04:57:55 +00:00
|
|
|
add_qemu_ldst_label(s, 0, oi,
|
|
|
|
(is_64 ? TCG_TYPE_I64 : TCG_TYPE_I32),
|
|
|
|
data_regl, data_regh, addr_regl, addr_regh,
|
2015-05-13 16:10:33 +00:00
|
|
|
s->code_ptr, label_ptr);
|
2010-03-27 16:31:04 +00:00
|
|
|
#else
|
2017-01-05 04:57:55 +00:00
|
|
|
base = TCG_REG_A0;
|
|
|
|
if (TCG_TARGET_REG_BITS > TARGET_LONG_BITS) {
|
|
|
|
tcg_out_ext32u(s, base, addr_regl);
|
|
|
|
addr_regl = base;
|
|
|
|
}
|
2015-08-24 12:53:54 +00:00
|
|
|
if (guest_base == 0) {
|
2014-05-02 22:01:31 +00:00
|
|
|
base = addr_regl;
|
2017-01-05 04:57:55 +00:00
|
|
|
} else if (guest_base == (int16_t)guest_base) {
|
|
|
|
tcg_out_opc_imm(s, ALIAS_PADDI, base, addr_regl, guest_base);
|
2010-03-27 16:31:04 +00:00
|
|
|
} else {
|
2017-01-05 04:57:55 +00:00
|
|
|
tcg_out_movi(s, TCG_TYPE_PTR, base, guest_base);
|
|
|
|
tcg_out_opc_reg(s, ALIAS_PADD, base, base, addr_regl);
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
2014-05-02 22:01:31 +00:00
|
|
|
tcg_out_qemu_st_direct(s, data_regl, data_regh, base, opc);
|
2009-10-17 12:17:47 +00:00
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
2016-07-14 20:20:18 +00:00
|
|
|
static void tcg_out_mb(TCGContext *s, TCGArg a0)
|
|
|
|
{
|
|
|
|
static const MIPSInsn sync[] = {
|
|
|
|
/* Note that SYNC_MB is a slightly weaker than SYNC 0,
|
|
|
|
as the former is an ordering barrier and the latter
|
|
|
|
is a completion barrier. */
|
|
|
|
[0 ... TCG_MO_ALL] = OPC_SYNC_MB,
|
|
|
|
[TCG_MO_LD_LD] = OPC_SYNC_RMB,
|
|
|
|
[TCG_MO_ST_ST] = OPC_SYNC_WMB,
|
|
|
|
[TCG_MO_LD_ST] = OPC_SYNC_RELEASE,
|
|
|
|
[TCG_MO_LD_ST | TCG_MO_ST_ST] = OPC_SYNC_RELEASE,
|
|
|
|
[TCG_MO_LD_ST | TCG_MO_LD_LD] = OPC_SYNC_ACQUIRE,
|
|
|
|
};
|
|
|
|
tcg_out32(s, sync[a0 & TCG_MO_ALL]);
|
|
|
|
}
|
|
|
|
|
2010-03-19 18:12:29 +00:00
|
|
|
static inline void tcg_out_op(TCGContext *s, TCGOpcode opc,
|
2009-10-17 12:17:47 +00:00
|
|
|
const TCGArg *args, const int *const_args)
|
|
|
|
{
|
2014-04-16 03:30:46 +00:00
|
|
|
MIPSInsn i1, i2;
|
2014-04-16 02:05:52 +00:00
|
|
|
TCGArg a0, a1, a2;
|
|
|
|
int c2;
|
|
|
|
|
|
|
|
a0 = args[0];
|
|
|
|
a1 = args[1];
|
|
|
|
a2 = args[2];
|
|
|
|
c2 = const_args[2];
|
|
|
|
|
|
|
|
switch (opc) {
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_exit_tb:
|
2014-03-23 17:15:21 +00:00
|
|
|
{
|
|
|
|
TCGReg b0 = TCG_REG_ZERO;
|
|
|
|
|
2017-01-05 04:57:48 +00:00
|
|
|
a0 = (intptr_t)a0;
|
2014-03-23 17:15:21 +00:00
|
|
|
if (a0 & ~0xffff) {
|
|
|
|
tcg_out_movi(s, TCG_TYPE_PTR, TCG_REG_V0, a0 & ~0xffff);
|
|
|
|
b0 = TCG_REG_V0;
|
|
|
|
}
|
|
|
|
if (!tcg_out_opc_jmp(s, OPC_J, tb_ret_addr)) {
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_movi(s, TCG_TYPE_PTR, TCG_TMP0,
|
2014-03-23 17:15:21 +00:00
|
|
|
(uintptr_t)tb_ret_addr);
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_opc_reg(s, OPC_JR, 0, TCG_TMP0, 0);
|
2014-03-23 17:15:21 +00:00
|
|
|
}
|
|
|
|
tcg_out_opc_imm(s, OPC_ORI, TCG_REG_V0, b0, a0 & 0xffff);
|
2014-03-23 16:57:18 +00:00
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
|
|
|
case INDEX_op_goto_tb:
|
2016-04-10 20:35:45 +00:00
|
|
|
if (s->tb_jmp_insn_offset) {
|
2009-10-17 12:17:47 +00:00
|
|
|
/* direct jump method */
|
2016-04-10 20:35:45 +00:00
|
|
|
s->tb_jmp_insn_offset[a0] = tcg_current_code_size(s);
|
2014-04-24 19:39:20 +00:00
|
|
|
/* Avoid clobbering the address during retranslation. */
|
|
|
|
tcg_out32(s, OPC_J | (*(uint32_t *)s->code_ptr & 0x3ffffff));
|
2009-10-17 12:17:47 +00:00
|
|
|
} else {
|
|
|
|
/* indirect jump method */
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_ld(s, TCG_TYPE_PTR, TCG_TMP0, TCG_REG_ZERO,
|
2016-04-10 20:35:45 +00:00
|
|
|
(uintptr_t)(s->tb_jmp_target_addr + a0));
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_out_opc_reg(s, OPC_JR, 0, TCG_TMP0, 0);
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
tcg_out_nop(s);
|
2016-04-10 20:35:45 +00:00
|
|
|
s->tb_jmp_reset_offset[a0] = tcg_current_code_size(s);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
|
|
|
case INDEX_op_br:
|
2015-02-13 21:39:54 +00:00
|
|
|
tcg_out_brcond(s, TCG_COND_EQ, TCG_REG_ZERO, TCG_REG_ZERO,
|
|
|
|
arg_label(a0));
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case INDEX_op_ld8u_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_ld8u_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_LBU;
|
|
|
|
goto do_ldst;
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_ld8s_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_ld8s_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_LB;
|
|
|
|
goto do_ldst;
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_ld16u_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_ld16u_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_LHU;
|
|
|
|
goto do_ldst;
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_ld16s_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_ld16s_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_LH;
|
|
|
|
goto do_ldst;
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_ld_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_ld32s_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_LW;
|
|
|
|
goto do_ldst;
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_ld32u_i64:
|
|
|
|
i1 = OPC_LWU;
|
|
|
|
goto do_ldst;
|
|
|
|
case INDEX_op_ld_i64:
|
|
|
|
i1 = OPC_LD;
|
|
|
|
goto do_ldst;
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_st8_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_st8_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_SB;
|
|
|
|
goto do_ldst;
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_st16_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_st16_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_SH;
|
|
|
|
goto do_ldst;
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_st_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_st32_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_SW;
|
2017-01-05 04:57:48 +00:00
|
|
|
goto do_ldst;
|
|
|
|
case INDEX_op_st_i64:
|
|
|
|
i1 = OPC_SD;
|
2014-04-16 03:30:46 +00:00
|
|
|
do_ldst:
|
|
|
|
tcg_out_ldst(s, i1, a0, a1, a2);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case INDEX_op_add_i32:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_ADDU, i2 = OPC_ADDIU;
|
|
|
|
goto do_binary;
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_add_i64:
|
|
|
|
i1 = OPC_DADDU, i2 = OPC_DADDIU;
|
|
|
|
goto do_binary;
|
2014-04-16 03:30:46 +00:00
|
|
|
case INDEX_op_or_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_or_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_OR, i2 = OPC_ORI;
|
|
|
|
goto do_binary;
|
|
|
|
case INDEX_op_xor_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_xor_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_XOR, i2 = OPC_XORI;
|
|
|
|
do_binary:
|
2014-04-16 02:05:52 +00:00
|
|
|
if (c2) {
|
2014-04-16 03:30:46 +00:00
|
|
|
tcg_out_opc_imm(s, i2, a0, a1, a2);
|
|
|
|
break;
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
2014-04-16 03:30:46 +00:00
|
|
|
do_binaryv:
|
|
|
|
tcg_out_opc_reg(s, i1, a0, a1, a2);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-04-16 03:30:46 +00:00
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_sub_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
i1 = OPC_SUBU, i2 = OPC_ADDIU;
|
|
|
|
goto do_subtract;
|
|
|
|
case INDEX_op_sub_i64:
|
|
|
|
i1 = OPC_DSUBU, i2 = OPC_DADDIU;
|
|
|
|
do_subtract:
|
2014-04-16 02:05:52 +00:00
|
|
|
if (c2) {
|
2017-01-05 04:57:48 +00:00
|
|
|
tcg_out_opc_imm(s, i2, a0, a1, -a2);
|
2014-04-16 03:30:46 +00:00
|
|
|
break;
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
2017-01-05 04:57:48 +00:00
|
|
|
goto do_binaryv;
|
2014-04-16 03:30:46 +00:00
|
|
|
case INDEX_op_and_i32:
|
|
|
|
if (c2 && a2 != (uint16_t)a2) {
|
|
|
|
int msb = ctz32(~a2) - 1;
|
2016-04-21 08:48:49 +00:00
|
|
|
tcg_debug_assert(use_mips32r2_instructions);
|
|
|
|
tcg_debug_assert(is_p2m1(a2));
|
2014-04-16 03:30:46 +00:00
|
|
|
tcg_out_opc_bf(s, OPC_EXT, a0, a1, msb, 0);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_AND, i2 = OPC_ANDI;
|
|
|
|
goto do_binary;
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_and_i64:
|
|
|
|
if (c2 && a2 != (uint16_t)a2) {
|
|
|
|
int msb = ctz64(~a2) - 1;
|
|
|
|
tcg_debug_assert(use_mips32r2_instructions);
|
|
|
|
tcg_debug_assert(is_p2m1(a2));
|
|
|
|
tcg_out_opc_bf64(s, OPC_DEXT, OPC_DEXTM, OPC_DEXTU, a0, a1, msb, 0);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_AND, i2 = OPC_ANDI;
|
|
|
|
goto do_binary;
|
2014-04-16 03:30:46 +00:00
|
|
|
case INDEX_op_nor_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_nor_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_NOR;
|
|
|
|
goto do_binaryv;
|
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_mul_i32:
|
2013-08-15 15:57:59 +00:00
|
|
|
if (use_mips32_instructions) {
|
2014-04-16 02:05:52 +00:00
|
|
|
tcg_out_opc_reg(s, OPC_MUL, a0, a1, a2);
|
2014-04-16 03:30:46 +00:00
|
|
|
break;
|
2013-08-15 15:57:59 +00:00
|
|
|
}
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_MULT, i2 = OPC_MFLO;
|
|
|
|
goto do_hilo1;
|
2013-08-14 21:41:43 +00:00
|
|
|
case INDEX_op_mulsh_i32:
|
2015-10-02 12:24:16 +00:00
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_MUH, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_MULT, i2 = OPC_MFHI;
|
|
|
|
goto do_hilo1;
|
2013-08-14 21:41:43 +00:00
|
|
|
case INDEX_op_muluh_i32:
|
2015-10-02 12:24:16 +00:00
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_MUHU, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_MULTU, i2 = OPC_MFHI;
|
|
|
|
goto do_hilo1;
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_div_i32:
|
2015-10-02 12:24:16 +00:00
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_DIV_R6, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_DIV, i2 = OPC_MFLO;
|
|
|
|
goto do_hilo1;
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_divu_i32:
|
2015-10-02 12:24:16 +00:00
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_DIVU_R6, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_DIVU, i2 = OPC_MFLO;
|
|
|
|
goto do_hilo1;
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_rem_i32:
|
2015-10-02 12:24:16 +00:00
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_MOD, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_DIV, i2 = OPC_MFHI;
|
|
|
|
goto do_hilo1;
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_remu_i32:
|
2015-10-02 12:24:16 +00:00
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_MODU, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_DIVU, i2 = OPC_MFHI;
|
2017-01-05 04:57:48 +00:00
|
|
|
goto do_hilo1;
|
|
|
|
case INDEX_op_mul_i64:
|
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_DMUL, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_DMULT, i2 = OPC_MFLO;
|
|
|
|
goto do_hilo1;
|
|
|
|
case INDEX_op_mulsh_i64:
|
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_DMUH, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_DMULT, i2 = OPC_MFHI;
|
|
|
|
goto do_hilo1;
|
|
|
|
case INDEX_op_muluh_i64:
|
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_DMUHU, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_DMULTU, i2 = OPC_MFHI;
|
|
|
|
goto do_hilo1;
|
|
|
|
case INDEX_op_div_i64:
|
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_DDIV_R6, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_DDIV, i2 = OPC_MFLO;
|
|
|
|
goto do_hilo1;
|
|
|
|
case INDEX_op_divu_i64:
|
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_DDIVU_R6, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_DDIVU, i2 = OPC_MFLO;
|
|
|
|
goto do_hilo1;
|
|
|
|
case INDEX_op_rem_i64:
|
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_DMOD, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_DDIV, i2 = OPC_MFHI;
|
|
|
|
goto do_hilo1;
|
|
|
|
case INDEX_op_remu_i64:
|
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_DMODU, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_DDIVU, i2 = OPC_MFHI;
|
2014-04-16 03:30:46 +00:00
|
|
|
do_hilo1:
|
|
|
|
tcg_out_opc_reg(s, i1, 0, a1, a2);
|
|
|
|
tcg_out_opc_reg(s, i2, a0, 0, 0);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
|
|
|
|
2014-04-16 03:30:46 +00:00
|
|
|
case INDEX_op_muls2_i32:
|
|
|
|
i1 = OPC_MULT;
|
|
|
|
goto do_hilo2;
|
|
|
|
case INDEX_op_mulu2_i32:
|
|
|
|
i1 = OPC_MULTU;
|
2017-01-05 04:57:48 +00:00
|
|
|
goto do_hilo2;
|
|
|
|
case INDEX_op_muls2_i64:
|
|
|
|
i1 = OPC_DMULT;
|
|
|
|
goto do_hilo2;
|
|
|
|
case INDEX_op_mulu2_i64:
|
|
|
|
i1 = OPC_DMULTU;
|
2014-04-16 03:30:46 +00:00
|
|
|
do_hilo2:
|
|
|
|
tcg_out_opc_reg(s, i1, 0, a2, args[3]);
|
|
|
|
tcg_out_opc_reg(s, OPC_MFLO, a0, 0, 0);
|
|
|
|
tcg_out_opc_reg(s, OPC_MFHI, a1, 0, 0);
|
2010-03-27 15:32:55 +00:00
|
|
|
break;
|
2014-04-16 03:30:46 +00:00
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_not_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_not_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_NOR;
|
|
|
|
goto do_unary;
|
|
|
|
case INDEX_op_bswap16_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_bswap16_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_WSBH;
|
|
|
|
goto do_unary;
|
|
|
|
case INDEX_op_ext8s_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_ext8s_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_SEB;
|
|
|
|
goto do_unary;
|
|
|
|
case INDEX_op_ext16s_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_ext16s_i64:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_SEH;
|
|
|
|
do_unary:
|
|
|
|
tcg_out_opc_reg(s, i1, a0, TCG_REG_ZERO, a1);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
|
|
|
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_bswap32_i32:
|
|
|
|
tcg_out_bswap32(s, a0, a1);
|
|
|
|
break;
|
|
|
|
case INDEX_op_bswap32_i64:
|
|
|
|
tcg_out_bswap32u(s, a0, a1);
|
|
|
|
break;
|
|
|
|
case INDEX_op_bswap64_i64:
|
|
|
|
tcg_out_bswap64(s, a0, a1);
|
|
|
|
break;
|
|
|
|
case INDEX_op_extrh_i64_i32:
|
|
|
|
tcg_out_dsra(s, a0, a1, 32);
|
|
|
|
break;
|
|
|
|
case INDEX_op_ext32s_i64:
|
|
|
|
case INDEX_op_ext_i32_i64:
|
|
|
|
case INDEX_op_extrl_i64_i32:
|
|
|
|
tcg_out_opc_sa(s, OPC_SLL, a0, a1, 0);
|
|
|
|
break;
|
|
|
|
case INDEX_op_ext32u_i64:
|
|
|
|
case INDEX_op_extu_i32_i64:
|
|
|
|
tcg_out_ext32u(s, a0, a1);
|
|
|
|
break;
|
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_sar_i32:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_SRAV, i2 = OPC_SRA;
|
|
|
|
goto do_shift;
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_shl_i32:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_SLLV, i2 = OPC_SLL;
|
|
|
|
goto do_shift;
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_shr_i32:
|
2014-04-16 03:30:46 +00:00
|
|
|
i1 = OPC_SRLV, i2 = OPC_SRL;
|
|
|
|
goto do_shift;
|
|
|
|
case INDEX_op_rotr_i32:
|
|
|
|
i1 = OPC_ROTRV, i2 = OPC_ROTR;
|
|
|
|
do_shift:
|
2014-04-16 02:05:52 +00:00
|
|
|
if (c2) {
|
2014-04-16 03:30:46 +00:00
|
|
|
tcg_out_opc_sa(s, i2, a0, a1, a2);
|
2017-01-05 04:57:48 +00:00
|
|
|
break;
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
2017-01-05 04:57:48 +00:00
|
|
|
do_shiftv:
|
|
|
|
tcg_out_opc_reg(s, i1, a0, a2, a1);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2012-09-21 16:20:26 +00:00
|
|
|
case INDEX_op_rotl_i32:
|
2014-04-16 02:05:52 +00:00
|
|
|
if (c2) {
|
|
|
|
tcg_out_opc_sa(s, OPC_ROTR, a0, a1, 32 - a2);
|
2012-09-21 16:20:26 +00:00
|
|
|
} else {
|
2014-04-16 02:05:52 +00:00
|
|
|
tcg_out_opc_reg(s, OPC_SUBU, TCG_TMP0, TCG_REG_ZERO, a2);
|
|
|
|
tcg_out_opc_reg(s, OPC_ROTRV, a0, TCG_TMP0, a1);
|
2012-09-21 16:20:26 +00:00
|
|
|
}
|
|
|
|
break;
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_sar_i64:
|
|
|
|
if (c2) {
|
|
|
|
tcg_out_dsra(s, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_DSRAV;
|
|
|
|
goto do_shiftv;
|
|
|
|
case INDEX_op_shl_i64:
|
|
|
|
if (c2) {
|
|
|
|
tcg_out_dsll(s, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_DSLLV;
|
|
|
|
goto do_shiftv;
|
|
|
|
case INDEX_op_shr_i64:
|
|
|
|
if (c2) {
|
|
|
|
tcg_out_dsrl(s, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_DSRLV;
|
|
|
|
goto do_shiftv;
|
|
|
|
case INDEX_op_rotr_i64:
|
|
|
|
if (c2) {
|
|
|
|
tcg_out_opc_sa64(s, OPC_DROTR, OPC_DROTR32, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_DROTRV;
|
|
|
|
goto do_shiftv;
|
|
|
|
case INDEX_op_rotl_i64:
|
|
|
|
if (c2) {
|
|
|
|
tcg_out_opc_sa64(s, OPC_DROTR, OPC_DROTR32, a0, a1, 64 - a2);
|
|
|
|
} else {
|
|
|
|
tcg_out_opc_reg(s, OPC_DSUBU, TCG_TMP0, TCG_REG_ZERO, a2);
|
|
|
|
tcg_out_opc_reg(s, OPC_DROTRV, a0, TCG_TMP0, a1);
|
|
|
|
}
|
2012-09-21 16:20:26 +00:00
|
|
|
break;
|
|
|
|
|
2012-09-21 16:20:26 +00:00
|
|
|
case INDEX_op_deposit_i32:
|
2014-04-16 02:05:52 +00:00
|
|
|
tcg_out_opc_bf(s, OPC_INS, a0, a2, args[3] + args[4] - 1, args[3]);
|
2012-09-21 16:20:26 +00:00
|
|
|
break;
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_deposit_i64:
|
|
|
|
tcg_out_opc_bf64(s, OPC_DINS, OPC_DINSM, OPC_DINSU, a0, a2,
|
|
|
|
args[3] + args[4] - 1, args[3]);
|
|
|
|
break;
|
2016-10-14 20:50:25 +00:00
|
|
|
case INDEX_op_extract_i32:
|
|
|
|
tcg_out_opc_bf(s, OPC_EXT, a0, a1, a2 + args[3] - 1, a2);
|
|
|
|
break;
|
|
|
|
case INDEX_op_extract_i64:
|
|
|
|
tcg_out_opc_bf64(s, OPC_DEXT, OPC_DEXTM, OPC_DEXTU, a0, a1,
|
|
|
|
a2 + args[3] - 1, a2);
|
|
|
|
break;
|
2012-09-21 16:20:26 +00:00
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
case INDEX_op_brcond_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_brcond_i64:
|
2015-02-13 21:39:54 +00:00
|
|
|
tcg_out_brcond(s, a2, a0, a1, arg_label(args[3]));
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
|
|
|
case INDEX_op_brcond2_i32:
|
2015-02-13 21:39:54 +00:00
|
|
|
tcg_out_brcond2(s, args[4], a0, a1, a2, args[3], arg_label(args[5]));
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
|
|
|
|
2012-09-21 16:20:26 +00:00
|
|
|
case INDEX_op_movcond_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_movcond_i64:
|
tcg/mips: Support r6 SEL{NE, EQ}Z instead of MOVN/MOVZ
Extend MIPS movcond implementation to support the SELNEZ/SELEQZ
instructions introduced in MIPS r6 (where MOVN/MOVZ have been removed).
Whereas the "MOVN/MOVZ rd, rs, rt" instructions have the following
semantics:
rd = [!]rt ? rs : rd
The "SELNEZ/SELEQZ rd, rs, rt" instructions are slightly different:
rd = [!]rt ? rs : 0
First we ensure that if one of the movcond input values is zero that it
comes last (we can swap the input arguments if we invert the condition).
This is so that it can exactly match one of the SELNEZ/SELEQZ
instructions and avoid the need to emit the other one.
Otherwise we emit the opposite instruction first into a temporary
register, and OR that into the result:
SELNEZ/SELEQZ TMP1, v2, c1
SELEQZ/SELNEZ ret, v1, c1
OR ret, ret, TMP1
Which does the following:
ret = cond ? v1 : v2
Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: James Hogan <james.hogan@imgtec.com>
Signed-off-by: Richard Henderson <rth@twiddle.net>
Message-Id: <1443788657-14537-7-git-send-email-james.hogan@imgtec.com>
2015-10-02 12:24:17 +00:00
|
|
|
tcg_out_movcond(s, args[5], a0, a1, a2, args[3], args[4]);
|
2012-09-21 16:20:26 +00:00
|
|
|
break;
|
|
|
|
|
2010-02-08 15:37:37 +00:00
|
|
|
case INDEX_op_setcond_i32:
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_setcond_i64:
|
2014-04-16 02:05:52 +00:00
|
|
|
tcg_out_setcond(s, args[3], a0, a1, a2);
|
2010-02-08 15:37:37 +00:00
|
|
|
break;
|
2010-02-08 18:05:00 +00:00
|
|
|
case INDEX_op_setcond2_i32:
|
2014-04-16 02:05:52 +00:00
|
|
|
tcg_out_setcond2(s, args[5], a0, a1, a2, args[3], args[4]);
|
2010-02-08 18:05:00 +00:00
|
|
|
break;
|
2010-02-08 15:37:37 +00:00
|
|
|
|
2014-04-14 18:10:11 +00:00
|
|
|
case INDEX_op_qemu_ld_i32:
|
|
|
|
tcg_out_qemu_ld(s, args, false);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-04-14 18:10:11 +00:00
|
|
|
case INDEX_op_qemu_ld_i64:
|
|
|
|
tcg_out_qemu_ld(s, args, true);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-04-14 18:10:11 +00:00
|
|
|
case INDEX_op_qemu_st_i32:
|
|
|
|
tcg_out_qemu_st(s, args, false);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
2014-04-14 18:10:11 +00:00
|
|
|
case INDEX_op_qemu_st_i64:
|
|
|
|
tcg_out_qemu_st(s, args, true);
|
2009-10-17 12:17:47 +00:00
|
|
|
break;
|
|
|
|
|
2014-04-24 02:56:44 +00:00
|
|
|
case INDEX_op_add2_i32:
|
|
|
|
tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
|
|
|
|
const_args[4], const_args[5], false);
|
|
|
|
break;
|
|
|
|
case INDEX_op_sub2_i32:
|
|
|
|
tcg_out_addsub2(s, a0, a1, a2, args[3], args[4], args[5],
|
|
|
|
const_args[4], const_args[5], true);
|
|
|
|
break;
|
|
|
|
|
2016-07-14 20:20:18 +00:00
|
|
|
case INDEX_op_mb:
|
|
|
|
tcg_out_mb(s, a0);
|
|
|
|
break;
|
2014-04-25 19:19:33 +00:00
|
|
|
case INDEX_op_mov_i32: /* Always emitted via tcg_out_mov. */
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_mov_i64:
|
2014-04-25 19:19:33 +00:00
|
|
|
case INDEX_op_movi_i32: /* Always emitted via tcg_out_movi. */
|
2017-01-05 04:57:48 +00:00
|
|
|
case INDEX_op_movi_i64:
|
2014-04-25 19:19:33 +00:00
|
|
|
case INDEX_op_call: /* Always emitted via tcg_out_call. */
|
2009-10-17 12:17:47 +00:00
|
|
|
default:
|
|
|
|
tcg_abort();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static const TCGTargetOpDef mips_op_defs[] = {
|
|
|
|
{ INDEX_op_exit_tb, { } },
|
|
|
|
{ INDEX_op_goto_tb, { } },
|
|
|
|
{ INDEX_op_br, { } },
|
|
|
|
|
|
|
|
{ INDEX_op_ld8u_i32, { "r", "r" } },
|
|
|
|
{ INDEX_op_ld8s_i32, { "r", "r" } },
|
|
|
|
{ INDEX_op_ld16u_i32, { "r", "r" } },
|
|
|
|
{ INDEX_op_ld16s_i32, { "r", "r" } },
|
|
|
|
{ INDEX_op_ld_i32, { "r", "r" } },
|
|
|
|
{ INDEX_op_st8_i32, { "rZ", "r" } },
|
|
|
|
{ INDEX_op_st16_i32, { "rZ", "r" } },
|
|
|
|
{ INDEX_op_st_i32, { "rZ", "r" } },
|
|
|
|
|
2012-09-21 16:20:25 +00:00
|
|
|
{ INDEX_op_add_i32, { "r", "rZ", "rJ" } },
|
2009-10-17 12:17:47 +00:00
|
|
|
{ INDEX_op_mul_i32, { "r", "rZ", "rZ" } },
|
2015-10-02 12:24:16 +00:00
|
|
|
#if !use_mips32r6_instructions
|
2013-03-24 00:52:07 +00:00
|
|
|
{ INDEX_op_muls2_i32, { "r", "r", "rZ", "rZ" } },
|
2009-10-17 12:17:47 +00:00
|
|
|
{ INDEX_op_mulu2_i32, { "r", "r", "rZ", "rZ" } },
|
2015-10-02 12:24:16 +00:00
|
|
|
#endif
|
2013-08-14 21:41:43 +00:00
|
|
|
{ INDEX_op_mulsh_i32, { "r", "rZ", "rZ" } },
|
|
|
|
{ INDEX_op_muluh_i32, { "r", "rZ", "rZ" } },
|
2009-10-17 12:17:47 +00:00
|
|
|
{ INDEX_op_div_i32, { "r", "rZ", "rZ" } },
|
|
|
|
{ INDEX_op_divu_i32, { "r", "rZ", "rZ" } },
|
|
|
|
{ INDEX_op_rem_i32, { "r", "rZ", "rZ" } },
|
|
|
|
{ INDEX_op_remu_i32, { "r", "rZ", "rZ" } },
|
2014-04-16 01:54:07 +00:00
|
|
|
{ INDEX_op_sub_i32, { "r", "rZ", "rN" } },
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2014-04-15 16:27:40 +00:00
|
|
|
{ INDEX_op_and_i32, { "r", "rZ", "rIK" } },
|
2010-03-27 15:32:55 +00:00
|
|
|
{ INDEX_op_nor_i32, { "r", "rZ", "rZ" } },
|
2009-10-17 12:17:47 +00:00
|
|
|
{ INDEX_op_not_i32, { "r", "rZ" } },
|
|
|
|
{ INDEX_op_or_i32, { "r", "rZ", "rIZ" } },
|
|
|
|
{ INDEX_op_xor_i32, { "r", "rZ", "rIZ" } },
|
|
|
|
|
2012-09-21 16:20:25 +00:00
|
|
|
{ INDEX_op_shl_i32, { "r", "rZ", "ri" } },
|
|
|
|
{ INDEX_op_shr_i32, { "r", "rZ", "ri" } },
|
|
|
|
{ INDEX_op_sar_i32, { "r", "rZ", "ri" } },
|
2012-09-21 16:20:26 +00:00
|
|
|
{ INDEX_op_rotr_i32, { "r", "rZ", "ri" } },
|
|
|
|
{ INDEX_op_rotl_i32, { "r", "rZ", "ri" } },
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2012-09-21 16:20:26 +00:00
|
|
|
{ INDEX_op_bswap16_i32, { "r", "r" } },
|
|
|
|
{ INDEX_op_bswap32_i32, { "r", "r" } },
|
|
|
|
|
2010-04-05 11:19:56 +00:00
|
|
|
{ INDEX_op_ext8s_i32, { "r", "rZ" } },
|
|
|
|
{ INDEX_op_ext16s_i32, { "r", "rZ" } },
|
|
|
|
|
2012-09-21 16:20:26 +00:00
|
|
|
{ INDEX_op_deposit_i32, { "r", "0", "rZ" } },
|
2016-10-14 20:50:25 +00:00
|
|
|
{ INDEX_op_extract_i32, { "r", "r" } },
|
2012-09-21 16:20:26 +00:00
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
{ INDEX_op_brcond_i32, { "rZ", "rZ" } },
|
tcg/mips: Support r6 SEL{NE, EQ}Z instead of MOVN/MOVZ
Extend MIPS movcond implementation to support the SELNEZ/SELEQZ
instructions introduced in MIPS r6 (where MOVN/MOVZ have been removed).
Whereas the "MOVN/MOVZ rd, rs, rt" instructions have the following
semantics:
rd = [!]rt ? rs : rd
The "SELNEZ/SELEQZ rd, rs, rt" instructions are slightly different:
rd = [!]rt ? rs : 0
First we ensure that if one of the movcond input values is zero that it
comes last (we can swap the input arguments if we invert the condition).
This is so that it can exactly match one of the SELNEZ/SELEQZ
instructions and avoid the need to emit the other one.
Otherwise we emit the opposite instruction first into a temporary
register, and OR that into the result:
SELNEZ/SELEQZ TMP1, v2, c1
SELEQZ/SELNEZ ret, v1, c1
OR ret, ret, TMP1
Which does the following:
ret = cond ? v1 : v2
Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: James Hogan <james.hogan@imgtec.com>
Signed-off-by: Richard Henderson <rth@twiddle.net>
Message-Id: <1443788657-14537-7-git-send-email-james.hogan@imgtec.com>
2015-10-02 12:24:17 +00:00
|
|
|
#if use_mips32r6_instructions
|
|
|
|
{ INDEX_op_movcond_i32, { "r", "rZ", "rZ", "rZ", "rZ" } },
|
|
|
|
#else
|
2012-09-21 16:20:26 +00:00
|
|
|
{ INDEX_op_movcond_i32, { "r", "rZ", "rZ", "rZ", "0" } },
|
tcg/mips: Support r6 SEL{NE, EQ}Z instead of MOVN/MOVZ
Extend MIPS movcond implementation to support the SELNEZ/SELEQZ
instructions introduced in MIPS r6 (where MOVN/MOVZ have been removed).
Whereas the "MOVN/MOVZ rd, rs, rt" instructions have the following
semantics:
rd = [!]rt ? rs : rd
The "SELNEZ/SELEQZ rd, rs, rt" instructions are slightly different:
rd = [!]rt ? rs : 0
First we ensure that if one of the movcond input values is zero that it
comes last (we can swap the input arguments if we invert the condition).
This is so that it can exactly match one of the SELNEZ/SELEQZ
instructions and avoid the need to emit the other one.
Otherwise we emit the opposite instruction first into a temporary
register, and OR that into the result:
SELNEZ/SELEQZ TMP1, v2, c1
SELEQZ/SELNEZ ret, v1, c1
OR ret, ret, TMP1
Which does the following:
ret = cond ? v1 : v2
Reviewed-by: Aurelien Jarno <aurelien@aurel32.net>
Signed-off-by: James Hogan <james.hogan@imgtec.com>
Signed-off-by: Richard Henderson <rth@twiddle.net>
Message-Id: <1443788657-14537-7-git-send-email-james.hogan@imgtec.com>
2015-10-02 12:24:17 +00:00
|
|
|
#endif
|
2010-02-08 15:37:37 +00:00
|
|
|
{ INDEX_op_setcond_i32, { "r", "rZ", "rZ" } },
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2017-01-05 04:57:48 +00:00
|
|
|
#if TCG_TARGET_REG_BITS == 32
|
2014-04-24 02:56:44 +00:00
|
|
|
{ INDEX_op_add2_i32, { "r", "r", "rZ", "rZ", "rN", "rN" } },
|
2014-04-16 01:54:07 +00:00
|
|
|
{ INDEX_op_sub2_i32, { "r", "r", "rZ", "rZ", "rN", "rN" } },
|
2017-01-05 04:57:48 +00:00
|
|
|
{ INDEX_op_setcond2_i32, { "r", "rZ", "rZ", "rZ", "rZ" } },
|
2009-10-17 12:17:47 +00:00
|
|
|
{ INDEX_op_brcond2_i32, { "rZ", "rZ", "rZ", "rZ" } },
|
2017-01-05 04:57:48 +00:00
|
|
|
#endif
|
2009-10-17 12:17:47 +00:00
|
|
|
|
2017-01-05 04:57:48 +00:00
|
|
|
#if TCG_TARGET_REG_BITS == 64
|
|
|
|
{ INDEX_op_ld8u_i64, { "r", "r" } },
|
|
|
|
{ INDEX_op_ld8s_i64, { "r", "r" } },
|
|
|
|
{ INDEX_op_ld16u_i64, { "r", "r" } },
|
|
|
|
{ INDEX_op_ld16s_i64, { "r", "r" } },
|
|
|
|
{ INDEX_op_ld32s_i64, { "r", "r" } },
|
|
|
|
{ INDEX_op_ld32u_i64, { "r", "r" } },
|
|
|
|
{ INDEX_op_ld_i64, { "r", "r" } },
|
|
|
|
{ INDEX_op_st8_i64, { "rZ", "r" } },
|
|
|
|
{ INDEX_op_st16_i64, { "rZ", "r" } },
|
|
|
|
{ INDEX_op_st32_i64, { "rZ", "r" } },
|
|
|
|
{ INDEX_op_st_i64, { "rZ", "r" } },
|
|
|
|
|
|
|
|
{ INDEX_op_add_i64, { "r", "rZ", "rJ" } },
|
|
|
|
{ INDEX_op_mul_i64, { "r", "rZ", "rZ" } },
|
|
|
|
#if !use_mips32r6_instructions
|
|
|
|
{ INDEX_op_muls2_i64, { "r", "r", "rZ", "rZ" } },
|
|
|
|
{ INDEX_op_mulu2_i64, { "r", "r", "rZ", "rZ" } },
|
|
|
|
#endif
|
|
|
|
{ INDEX_op_mulsh_i64, { "r", "rZ", "rZ" } },
|
|
|
|
{ INDEX_op_muluh_i64, { "r", "rZ", "rZ" } },
|
|
|
|
{ INDEX_op_div_i64, { "r", "rZ", "rZ" } },
|
|
|
|
{ INDEX_op_divu_i64, { "r", "rZ", "rZ" } },
|
|
|
|
{ INDEX_op_rem_i64, { "r", "rZ", "rZ" } },
|
|
|
|
{ INDEX_op_remu_i64, { "r", "rZ", "rZ" } },
|
|
|
|
{ INDEX_op_sub_i64, { "r", "rZ", "rN" } },
|
|
|
|
|
|
|
|
{ INDEX_op_and_i64, { "r", "rZ", "rIK" } },
|
|
|
|
{ INDEX_op_nor_i64, { "r", "rZ", "rZ" } },
|
|
|
|
{ INDEX_op_not_i64, { "r", "rZ" } },
|
|
|
|
{ INDEX_op_or_i64, { "r", "rZ", "rI" } },
|
|
|
|
{ INDEX_op_xor_i64, { "r", "rZ", "rI" } },
|
|
|
|
|
|
|
|
{ INDEX_op_shl_i64, { "r", "rZ", "ri" } },
|
|
|
|
{ INDEX_op_shr_i64, { "r", "rZ", "ri" } },
|
|
|
|
{ INDEX_op_sar_i64, { "r", "rZ", "ri" } },
|
|
|
|
{ INDEX_op_rotr_i64, { "r", "rZ", "ri" } },
|
|
|
|
{ INDEX_op_rotl_i64, { "r", "rZ", "ri" } },
|
|
|
|
|
|
|
|
{ INDEX_op_bswap16_i64, { "r", "r" } },
|
|
|
|
{ INDEX_op_bswap32_i64, { "r", "r" } },
|
|
|
|
{ INDEX_op_bswap64_i64, { "r", "r" } },
|
|
|
|
|
|
|
|
{ INDEX_op_ext8s_i64, { "r", "rZ" } },
|
|
|
|
{ INDEX_op_ext16s_i64, { "r", "rZ" } },
|
|
|
|
{ INDEX_op_ext32s_i64, { "r", "rZ" } },
|
|
|
|
{ INDEX_op_ext32u_i64, { "r", "rZ" } },
|
|
|
|
{ INDEX_op_ext_i32_i64, { "r", "rZ" } },
|
|
|
|
{ INDEX_op_extu_i32_i64, { "r", "rZ" } },
|
|
|
|
{ INDEX_op_extrl_i64_i32, { "r", "rZ" } },
|
|
|
|
{ INDEX_op_extrh_i64_i32, { "r", "rZ" } },
|
|
|
|
|
|
|
|
{ INDEX_op_deposit_i64, { "r", "0", "rZ" } },
|
2016-10-14 20:50:25 +00:00
|
|
|
{ INDEX_op_extract_i64, { "r", "r" } },
|
2017-01-05 04:57:48 +00:00
|
|
|
|
|
|
|
{ INDEX_op_brcond_i64, { "rZ", "rZ" } },
|
|
|
|
#if use_mips32r6_instructions
|
|
|
|
{ INDEX_op_movcond_i64, { "r", "rZ", "rZ", "rZ", "rZ" } },
|
|
|
|
#else
|
|
|
|
{ INDEX_op_movcond_i64, { "r", "rZ", "rZ", "rZ", "0" } },
|
|
|
|
#endif
|
|
|
|
{ INDEX_op_setcond_i64, { "r", "rZ", "rZ" } },
|
|
|
|
|
|
|
|
{ INDEX_op_qemu_ld_i32, { "r", "LZ" } },
|
|
|
|
{ INDEX_op_qemu_st_i32, { "SZ", "SZ" } },
|
|
|
|
{ INDEX_op_qemu_ld_i64, { "r", "LZ" } },
|
|
|
|
{ INDEX_op_qemu_st_i64, { "SZ", "SZ" } },
|
|
|
|
#elif TARGET_LONG_BITS == 32
|
2017-01-05 04:57:46 +00:00
|
|
|
{ INDEX_op_qemu_ld_i32, { "r", "LZ" } },
|
2014-04-14 18:10:11 +00:00
|
|
|
{ INDEX_op_qemu_st_i32, { "SZ", "SZ" } },
|
2017-01-05 04:57:46 +00:00
|
|
|
{ INDEX_op_qemu_ld_i64, { "r", "r", "LZ" } },
|
2014-04-14 18:10:11 +00:00
|
|
|
{ INDEX_op_qemu_st_i64, { "SZ", "SZ", "SZ" } },
|
2009-10-17 12:17:47 +00:00
|
|
|
#else
|
2017-01-05 04:57:46 +00:00
|
|
|
{ INDEX_op_qemu_ld_i32, { "r", "LZ", "LZ" } },
|
2014-04-14 18:10:11 +00:00
|
|
|
{ INDEX_op_qemu_st_i32, { "SZ", "SZ", "SZ" } },
|
2017-01-05 04:57:46 +00:00
|
|
|
{ INDEX_op_qemu_ld_i64, { "r", "r", "LZ", "LZ" } },
|
2014-04-14 18:10:11 +00:00
|
|
|
{ INDEX_op_qemu_st_i64, { "SZ", "SZ", "SZ", "SZ" } },
|
2009-10-17 12:17:47 +00:00
|
|
|
#endif
|
2016-07-14 20:20:18 +00:00
|
|
|
|
|
|
|
{ INDEX_op_mb, { } },
|
2009-10-17 12:17:47 +00:00
|
|
|
{ -1 },
|
|
|
|
};
|
|
|
|
|
2016-11-18 08:31:40 +00:00
|
|
|
static const TCGTargetOpDef *tcg_target_op_def(TCGOpcode op)
|
|
|
|
{
|
|
|
|
int i, n = ARRAY_SIZE(mips_op_defs);
|
|
|
|
|
|
|
|
for (i = 0; i < n; ++i) {
|
|
|
|
if (mips_op_defs[i].op == op) {
|
|
|
|
return &mips_op_defs[i];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
static int tcg_target_callee_save_regs[] = {
|
2011-05-15 16:03:25 +00:00
|
|
|
TCG_REG_S0, /* used for the global env (TCG_AREG0) */
|
2009-10-17 12:17:47 +00:00
|
|
|
TCG_REG_S1,
|
|
|
|
TCG_REG_S2,
|
|
|
|
TCG_REG_S3,
|
|
|
|
TCG_REG_S4,
|
|
|
|
TCG_REG_S5,
|
|
|
|
TCG_REG_S6,
|
|
|
|
TCG_REG_S7,
|
2014-04-15 16:03:59 +00:00
|
|
|
TCG_REG_S8,
|
2009-10-17 12:17:47 +00:00
|
|
|
TCG_REG_RA, /* should be last for ABI compliance */
|
|
|
|
};
|
|
|
|
|
2013-08-15 15:57:59 +00:00
|
|
|
/* The Linux kernel doesn't provide any information about the available
|
|
|
|
instruction set. Probe it using a signal handler. */
|
|
|
|
|
|
|
|
|
|
|
|
#ifndef use_movnz_instructions
|
|
|
|
bool use_movnz_instructions = false;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifndef use_mips32_instructions
|
|
|
|
bool use_mips32_instructions = false;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifndef use_mips32r2_instructions
|
|
|
|
bool use_mips32r2_instructions = false;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
static volatile sig_atomic_t got_sigill;
|
|
|
|
|
|
|
|
static void sigill_handler(int signo, siginfo_t *si, void *data)
|
|
|
|
{
|
|
|
|
/* Skip the faulty instruction */
|
|
|
|
ucontext_t *uc = (ucontext_t *)data;
|
|
|
|
uc->uc_mcontext.pc += 4;
|
|
|
|
|
|
|
|
got_sigill = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void tcg_target_detect_isa(void)
|
|
|
|
{
|
|
|
|
struct sigaction sa_old, sa_new;
|
|
|
|
|
|
|
|
memset(&sa_new, 0, sizeof(sa_new));
|
|
|
|
sa_new.sa_flags = SA_SIGINFO;
|
|
|
|
sa_new.sa_sigaction = sigill_handler;
|
|
|
|
sigaction(SIGILL, &sa_new, &sa_old);
|
|
|
|
|
|
|
|
/* Probe for movn/movz, necessary to implement movcond. */
|
|
|
|
#ifndef use_movnz_instructions
|
|
|
|
got_sigill = 0;
|
|
|
|
asm volatile(".set push\n"
|
|
|
|
".set mips32\n"
|
|
|
|
"movn $zero, $zero, $zero\n"
|
|
|
|
"movz $zero, $zero, $zero\n"
|
|
|
|
".set pop\n"
|
|
|
|
: : : );
|
|
|
|
use_movnz_instructions = !got_sigill;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/* Probe for MIPS32 instructions. As no subsetting is allowed
|
|
|
|
by the specification, it is only necessary to probe for one
|
|
|
|
of the instructions. */
|
|
|
|
#ifndef use_mips32_instructions
|
|
|
|
got_sigill = 0;
|
|
|
|
asm volatile(".set push\n"
|
|
|
|
".set mips32\n"
|
|
|
|
"mul $zero, $zero\n"
|
|
|
|
".set pop\n"
|
|
|
|
: : : );
|
|
|
|
use_mips32_instructions = !got_sigill;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/* Probe for MIPS32r2 instructions if MIPS32 instructions are
|
|
|
|
available. As no subsetting is allowed by the specification,
|
|
|
|
it is only necessary to probe for one of the instructions. */
|
|
|
|
#ifndef use_mips32r2_instructions
|
|
|
|
if (use_mips32_instructions) {
|
|
|
|
got_sigill = 0;
|
|
|
|
asm volatile(".set push\n"
|
|
|
|
".set mips32r2\n"
|
|
|
|
"seb $zero, $zero\n"
|
|
|
|
".set pop\n"
|
|
|
|
: : : );
|
|
|
|
use_mips32r2_instructions = !got_sigill;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
sigaction(SIGILL, &sa_old, NULL);
|
|
|
|
}
|
|
|
|
|
2017-01-05 04:57:46 +00:00
|
|
|
static tcg_insn_unit *align_code_ptr(TCGContext *s)
|
|
|
|
{
|
|
|
|
uintptr_t p = (uintptr_t)s->code_ptr;
|
|
|
|
if (p & 15) {
|
|
|
|
p = (p + 15) & -16;
|
|
|
|
s->code_ptr = (void *)p;
|
|
|
|
}
|
|
|
|
return s->code_ptr;
|
|
|
|
}
|
|
|
|
|
2017-01-05 04:57:52 +00:00
|
|
|
/* Stack frame parameters. */
|
|
|
|
#define REG_SIZE (TCG_TARGET_REG_BITS / 8)
|
|
|
|
#define SAVE_SIZE ((int)ARRAY_SIZE(tcg_target_callee_save_regs) * REG_SIZE)
|
|
|
|
#define TEMP_SIZE (CPU_TEMP_BUF_NLONGS * (int)sizeof(long))
|
|
|
|
|
|
|
|
#define FRAME_SIZE ((TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE + SAVE_SIZE \
|
|
|
|
+ TCG_TARGET_STACK_ALIGN - 1) \
|
|
|
|
& -TCG_TARGET_STACK_ALIGN)
|
|
|
|
#define SAVE_OFS (TCG_STATIC_CALL_ARGS_SIZE + TEMP_SIZE)
|
|
|
|
|
|
|
|
/* We're expecting to be able to use an immediate for frame allocation. */
|
|
|
|
QEMU_BUILD_BUG_ON(FRAME_SIZE > 0x7fff);
|
|
|
|
|
2009-10-17 12:17:47 +00:00
|
|
|
/* Generate global QEMU prologue and epilogue code */
|
2010-06-03 00:26:56 +00:00
|
|
|
static void tcg_target_qemu_prologue(TCGContext *s)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2017-01-05 04:57:52 +00:00
|
|
|
int i;
|
|
|
|
|
|
|
|
tcg_set_frame(s, TCG_REG_SP, TCG_STATIC_CALL_ARGS_SIZE, TEMP_SIZE);
|
2009-10-17 12:17:47 +00:00
|
|
|
|
|
|
|
/* TB prologue */
|
2017-01-05 04:57:52 +00:00
|
|
|
tcg_out_opc_imm(s, ALIAS_PADDI, TCG_REG_SP, TCG_REG_SP, -FRAME_SIZE);
|
|
|
|
for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
|
|
|
|
tcg_out_st(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
|
|
|
|
TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Call generated code */
|
2011-07-20 18:56:36 +00:00
|
|
|
tcg_out_opc_reg(s, OPC_JR, 0, tcg_target_call_iarg_regs[1], 0);
|
2017-01-05 04:57:52 +00:00
|
|
|
/* delay slot */
|
2011-05-15 16:03:25 +00:00
|
|
|
tcg_out_mov(s, TCG_TYPE_PTR, TCG_AREG0, tcg_target_call_iarg_regs[0]);
|
2009-10-17 12:17:47 +00:00
|
|
|
|
|
|
|
/* TB epilogue */
|
2017-01-05 04:57:52 +00:00
|
|
|
tb_ret_addr = s->code_ptr;
|
|
|
|
for (i = 0; i < ARRAY_SIZE(tcg_target_callee_save_regs); i++) {
|
|
|
|
tcg_out_ld(s, TCG_TYPE_REG, tcg_target_callee_save_regs[i],
|
|
|
|
TCG_REG_SP, SAVE_OFS + i * REG_SIZE);
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
tcg_out_opc_reg(s, OPC_JR, 0, TCG_REG_RA, 0);
|
2017-01-05 04:57:46 +00:00
|
|
|
/* delay slot */
|
2017-01-05 04:57:52 +00:00
|
|
|
tcg_out_opc_imm(s, ALIAS_PADDI, TCG_REG_SP, TCG_REG_SP, FRAME_SIZE);
|
2017-01-05 04:57:46 +00:00
|
|
|
|
|
|
|
if (use_mips32r2_instructions) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2017-01-05 04:57:49 +00:00
|
|
|
/* Bswap subroutines: Input in TCG_TMP0, output in TCG_TMP3;
|
2017-01-05 04:57:46 +00:00
|
|
|
clobbers TCG_TMP1, TCG_TMP2. */
|
|
|
|
|
|
|
|
/*
|
|
|
|
* bswap32 -- 32-bit swap (signed result for mips64). a0 = abcd.
|
|
|
|
*/
|
|
|
|
bswap32_addr = align_code_ptr(s);
|
|
|
|
/* t3 = (ssss)d000 */
|
|
|
|
tcg_out_opc_sa(s, OPC_SLL, TCG_TMP3, TCG_TMP0, 24);
|
|
|
|
/* t1 = 000a */
|
|
|
|
tcg_out_opc_sa(s, OPC_SRL, TCG_TMP1, TCG_TMP0, 24);
|
|
|
|
/* t2 = 00c0 */
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP2, TCG_TMP0, 0xff00);
|
|
|
|
/* t3 = d00a */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP3, TCG_TMP3, TCG_TMP1);
|
|
|
|
/* t1 = 0abc */
|
|
|
|
tcg_out_opc_sa(s, OPC_SRL, TCG_TMP1, TCG_TMP0, 8);
|
|
|
|
/* t2 = 0c00 */
|
|
|
|
tcg_out_opc_sa(s, OPC_SLL, TCG_TMP2, TCG_TMP2, 8);
|
|
|
|
/* t1 = 00b0 */
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP1, TCG_TMP1, 0xff00);
|
|
|
|
/* t3 = dc0a */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP3, TCG_TMP3, TCG_TMP2);
|
|
|
|
tcg_out_opc_reg(s, OPC_JR, 0, TCG_REG_RA, 0);
|
|
|
|
/* t3 = dcba -- delay slot */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP3, TCG_TMP3, TCG_TMP1);
|
2017-01-05 04:57:49 +00:00
|
|
|
|
|
|
|
if (TCG_TARGET_REG_BITS == 32) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* bswap32u -- unsigned 32-bit swap. a0 = ....abcd.
|
|
|
|
*/
|
|
|
|
bswap32u_addr = align_code_ptr(s);
|
|
|
|
/* t1 = (0000)000d */
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP1, TCG_TMP0, 0xff);
|
|
|
|
/* t3 = 000a */
|
|
|
|
tcg_out_opc_sa(s, OPC_SRL, TCG_TMP3, TCG_TMP0, 24);
|
|
|
|
/* t1 = (0000)d000 */
|
|
|
|
tcg_out_dsll(s, TCG_TMP1, TCG_TMP1, 24);
|
|
|
|
/* t2 = 00c0 */
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP2, TCG_TMP0, 0xff00);
|
|
|
|
/* t3 = d00a */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP3, TCG_TMP3, TCG_TMP1);
|
|
|
|
/* t1 = 0abc */
|
|
|
|
tcg_out_opc_sa(s, OPC_SRL, TCG_TMP1, TCG_TMP0, 8);
|
|
|
|
/* t2 = 0c00 */
|
|
|
|
tcg_out_opc_sa(s, OPC_SLL, TCG_TMP2, TCG_TMP2, 8);
|
|
|
|
/* t1 = 00b0 */
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP1, TCG_TMP1, 0xff00);
|
|
|
|
/* t3 = dc0a */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP3, TCG_TMP3, TCG_TMP2);
|
|
|
|
tcg_out_opc_reg(s, OPC_JR, 0, TCG_REG_RA, 0);
|
|
|
|
/* t3 = dcba -- delay slot */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP3, TCG_TMP3, TCG_TMP1);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* bswap64 -- 64-bit swap. a0 = abcdefgh
|
|
|
|
*/
|
|
|
|
bswap64_addr = align_code_ptr(s);
|
|
|
|
/* t3 = h0000000 */
|
|
|
|
tcg_out_dsll(s, TCG_TMP3, TCG_TMP0, 56);
|
|
|
|
/* t1 = 0000000a */
|
|
|
|
tcg_out_dsrl(s, TCG_TMP1, TCG_TMP0, 56);
|
|
|
|
|
|
|
|
/* t2 = 000000g0 */
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP2, TCG_TMP0, 0xff00);
|
|
|
|
/* t3 = h000000a */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP3, TCG_TMP3, TCG_TMP1);
|
|
|
|
/* t1 = 00000abc */
|
|
|
|
tcg_out_dsrl(s, TCG_TMP1, TCG_TMP0, 40);
|
|
|
|
/* t2 = 0g000000 */
|
|
|
|
tcg_out_dsll(s, TCG_TMP2, TCG_TMP2, 40);
|
|
|
|
/* t1 = 000000b0 */
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP1, TCG_TMP1, 0xff00);
|
|
|
|
|
|
|
|
/* t3 = hg00000a */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP3, TCG_TMP3, TCG_TMP2);
|
|
|
|
/* t2 = 0000abcd */
|
|
|
|
tcg_out_dsrl(s, TCG_TMP2, TCG_TMP0, 32);
|
|
|
|
/* t3 = hg0000ba */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP3, TCG_TMP3, TCG_TMP1);
|
|
|
|
|
|
|
|
/* t1 = 000000c0 */
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP1, TCG_TMP2, 0xff00);
|
|
|
|
/* t2 = 0000000d */
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP2, TCG_TMP2, 0x00ff);
|
|
|
|
/* t1 = 00000c00 */
|
|
|
|
tcg_out_dsll(s, TCG_TMP1, TCG_TMP1, 8);
|
|
|
|
/* t2 = 0000d000 */
|
|
|
|
tcg_out_dsll(s, TCG_TMP2, TCG_TMP2, 24);
|
|
|
|
|
|
|
|
/* t3 = hg000cba */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP3, TCG_TMP3, TCG_TMP1);
|
|
|
|
/* t1 = 00abcdef */
|
|
|
|
tcg_out_dsrl(s, TCG_TMP1, TCG_TMP0, 16);
|
|
|
|
/* t3 = hg00dcba */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP3, TCG_TMP3, TCG_TMP2);
|
|
|
|
|
|
|
|
/* t2 = 0000000f */
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP2, TCG_TMP1, 0x00ff);
|
|
|
|
/* t1 = 000000e0 */
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP1, TCG_TMP1, 0xff00);
|
|
|
|
/* t2 = 00f00000 */
|
|
|
|
tcg_out_dsll(s, TCG_TMP2, TCG_TMP2, 40);
|
|
|
|
/* t1 = 000e0000 */
|
|
|
|
tcg_out_dsll(s, TCG_TMP1, TCG_TMP1, 24);
|
|
|
|
|
|
|
|
/* t3 = hgf0dcba */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP3, TCG_TMP3, TCG_TMP2);
|
|
|
|
tcg_out_opc_reg(s, OPC_JR, 0, TCG_REG_RA, 0);
|
|
|
|
/* t3 = hgfedcba -- delay slot */
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, TCG_TMP3, TCG_TMP3, TCG_TMP1);
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
|
|
|
|
2010-06-03 00:26:56 +00:00
|
|
|
static void tcg_target_init(TCGContext *s)
|
2009-10-17 12:17:47 +00:00
|
|
|
{
|
2013-08-15 15:57:59 +00:00
|
|
|
tcg_target_detect_isa();
|
2009-10-17 12:17:47 +00:00
|
|
|
tcg_regset_set(tcg_target_available_regs[TCG_TYPE_I32], 0xffffffff);
|
2017-01-05 04:57:54 +00:00
|
|
|
if (TCG_TARGET_REG_BITS == 64) {
|
|
|
|
tcg_regset_set(tcg_target_available_regs[TCG_TYPE_I64], 0xffffffff);
|
|
|
|
}
|
2009-10-17 12:17:47 +00:00
|
|
|
tcg_regset_set(tcg_target_call_clobber_regs,
|
|
|
|
(1 << TCG_REG_V0) |
|
|
|
|
(1 << TCG_REG_V1) |
|
|
|
|
(1 << TCG_REG_A0) |
|
|
|
|
(1 << TCG_REG_A1) |
|
|
|
|
(1 << TCG_REG_A2) |
|
|
|
|
(1 << TCG_REG_A3) |
|
2014-04-15 16:03:59 +00:00
|
|
|
(1 << TCG_REG_T0) |
|
2009-10-17 12:17:47 +00:00
|
|
|
(1 << TCG_REG_T1) |
|
|
|
|
(1 << TCG_REG_T2) |
|
|
|
|
(1 << TCG_REG_T3) |
|
|
|
|
(1 << TCG_REG_T4) |
|
|
|
|
(1 << TCG_REG_T5) |
|
|
|
|
(1 << TCG_REG_T6) |
|
|
|
|
(1 << TCG_REG_T7) |
|
|
|
|
(1 << TCG_REG_T8) |
|
|
|
|
(1 << TCG_REG_T9));
|
|
|
|
|
|
|
|
tcg_regset_clear(s->reserved_regs);
|
|
|
|
tcg_regset_set_reg(s->reserved_regs, TCG_REG_ZERO); /* zero register */
|
|
|
|
tcg_regset_set_reg(s->reserved_regs, TCG_REG_K0); /* kernel use only */
|
|
|
|
tcg_regset_set_reg(s->reserved_regs, TCG_REG_K1); /* kernel use only */
|
2014-04-15 16:07:52 +00:00
|
|
|
tcg_regset_set_reg(s->reserved_regs, TCG_TMP0); /* internal use */
|
|
|
|
tcg_regset_set_reg(s->reserved_regs, TCG_TMP1); /* internal use */
|
2017-01-05 04:57:46 +00:00
|
|
|
tcg_regset_set_reg(s->reserved_regs, TCG_TMP2); /* internal use */
|
|
|
|
tcg_regset_set_reg(s->reserved_regs, TCG_TMP3); /* internal use */
|
2009-10-17 12:17:47 +00:00
|
|
|
tcg_regset_set_reg(s->reserved_regs, TCG_REG_RA); /* return address */
|
|
|
|
tcg_regset_set_reg(s->reserved_regs, TCG_REG_SP); /* stack pointer */
|
2012-09-21 16:20:26 +00:00
|
|
|
tcg_regset_set_reg(s->reserved_regs, TCG_REG_GP); /* global pointer */
|
2009-10-17 12:17:47 +00:00
|
|
|
}
|
2014-04-24 19:39:20 +00:00
|
|
|
|
|
|
|
void tb_set_jmp_target1(uintptr_t jmp_addr, uintptr_t addr)
|
|
|
|
{
|
2016-04-22 16:08:52 +00:00
|
|
|
atomic_set((uint32_t *)jmp_addr, deposit32(OPC_J, 0, 26, addr >> 2));
|
2014-04-24 19:39:20 +00:00
|
|
|
flush_icache_range(jmp_addr, jmp_addr + 4);
|
|
|
|
}
|
2017-01-05 04:57:53 +00:00
|
|
|
|
|
|
|
typedef struct {
|
|
|
|
DebugFrameHeader h;
|
|
|
|
uint8_t fde_def_cfa[4];
|
|
|
|
uint8_t fde_reg_ofs[ARRAY_SIZE(tcg_target_callee_save_regs) * 2];
|
|
|
|
} DebugFrame;
|
|
|
|
|
|
|
|
#define ELF_HOST_MACHINE EM_MIPS
|
|
|
|
/* GDB doesn't appear to require proper setting of ELF_HOST_FLAGS,
|
|
|
|
which is good because they're really quite complicated for MIPS. */
|
|
|
|
|
|
|
|
static const DebugFrame debug_frame = {
|
|
|
|
.h.cie.len = sizeof(DebugFrameCIE) - 4, /* length after .len member */
|
|
|
|
.h.cie.id = -1,
|
|
|
|
.h.cie.version = 1,
|
|
|
|
.h.cie.code_align = 1,
|
|
|
|
.h.cie.data_align = -(TCG_TARGET_REG_BITS / 8) & 0x7f, /* sleb128 */
|
|
|
|
.h.cie.return_column = TCG_REG_RA,
|
|
|
|
|
|
|
|
/* Total FDE size does not include the "len" member. */
|
|
|
|
.h.fde.len = sizeof(DebugFrame) - offsetof(DebugFrame, h.fde.cie_offset),
|
|
|
|
|
|
|
|
.fde_def_cfa = {
|
|
|
|
12, TCG_REG_SP, /* DW_CFA_def_cfa sp, ... */
|
|
|
|
(FRAME_SIZE & 0x7f) | 0x80, /* ... uleb128 FRAME_SIZE */
|
|
|
|
(FRAME_SIZE >> 7)
|
|
|
|
},
|
|
|
|
.fde_reg_ofs = {
|
|
|
|
0x80 + 16, 9, /* DW_CFA_offset, s0, -72 */
|
|
|
|
0x80 + 17, 8, /* DW_CFA_offset, s2, -64 */
|
|
|
|
0x80 + 18, 7, /* DW_CFA_offset, s3, -56 */
|
|
|
|
0x80 + 19, 6, /* DW_CFA_offset, s4, -48 */
|
|
|
|
0x80 + 20, 5, /* DW_CFA_offset, s5, -40 */
|
|
|
|
0x80 + 21, 4, /* DW_CFA_offset, s6, -32 */
|
|
|
|
0x80 + 22, 3, /* DW_CFA_offset, s7, -24 */
|
|
|
|
0x80 + 30, 2, /* DW_CFA_offset, s8, -16 */
|
|
|
|
0x80 + 31, 1, /* DW_CFA_offset, ra, -8 */
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
void tcg_register_jit(void *buf, size_t buf_size)
|
|
|
|
{
|
|
|
|
tcg_register_jit_int(buf, buf_size, &debug_frame, sizeof(debug_frame));
|
|
|
|
}
|