2009-10-17 16:17:47 +04: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-03 02:01:31 +04:00
|
|
|
#include "tcg-be-ldst.h"
|
2013-10-03 23:04:46 +04:00
|
|
|
|
2014-05-03 02:01:31 +04:00
|
|
|
#ifdef HOST_WORDS_BIGENDIAN
|
|
|
|
# define MIPS_BE 1
|
2009-10-17 16:17:47 +04:00
|
|
|
#else
|
2014-05-03 02:01:31 +04:00
|
|
|
# define MIPS_BE 0
|
2009-10-17 16:17:47 +04:00
|
|
|
#endif
|
|
|
|
|
2014-05-03 02:01:31 +04:00
|
|
|
#define LO_OFF (MIPS_BE * 4)
|
|
|
|
#define HI_OFF (4 - LO_OFF)
|
|
|
|
|
2016-04-21 11:48:50 +03:00
|
|
|
#ifdef CONFIG_DEBUG_TCG
|
2009-10-17 16:17:47 +04: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 20:03:59 +04:00
|
|
|
"s8",
|
2009-10-17 16:17:47 +04:00
|
|
|
"ra",
|
|
|
|
};
|
|
|
|
#endif
|
|
|
|
|
2014-04-15 20:07:52 +04:00
|
|
|
#define TCG_TMP0 TCG_REG_AT
|
2014-04-15 20:10:16 +04:00
|
|
|
#define TCG_TMP1 TCG_REG_T9
|
2014-04-15 20:07:52 +04:00
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
/* check if we really need so many registers :P */
|
2016-04-01 17:49:39 +03:00
|
|
|
static const int tcg_target_reg_alloc_order[] = {
|
2014-04-15 20:03:59 +04:00
|
|
|
/* Call saved registers. */
|
2009-10-17 16:17:47 +04: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 20:03:59 +04:00
|
|
|
TCG_REG_S8,
|
|
|
|
|
|
|
|
/* Call clobbered registers. */
|
|
|
|
TCG_REG_T0,
|
2009-10-17 16:17:47 +04:00
|
|
|
TCG_REG_T1,
|
|
|
|
TCG_REG_T2,
|
|
|
|
TCG_REG_T3,
|
|
|
|
TCG_REG_T4,
|
|
|
|
TCG_REG_T5,
|
|
|
|
TCG_REG_T6,
|
|
|
|
TCG_REG_T7,
|
|
|
|
TCG_REG_T8,
|
|
|
|
TCG_REG_T9,
|
2014-04-15 20:03:59 +04:00
|
|
|
TCG_REG_V1,
|
2009-10-17 16:17:47 +04:00
|
|
|
TCG_REG_V0,
|
2014-04-15 20:03:59 +04:00
|
|
|
|
|
|
|
/* Argument registers, opposite order of allocation. */
|
|
|
|
TCG_REG_A3,
|
|
|
|
TCG_REG_A2,
|
|
|
|
TCG_REG_A1,
|
|
|
|
TCG_REG_A0,
|
2009-10-17 16:17:47 +04:00
|
|
|
};
|
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
static const TCGReg tcg_target_call_iarg_regs[4] = {
|
2009-10-17 16:17:47 +04:00
|
|
|
TCG_REG_A0,
|
|
|
|
TCG_REG_A1,
|
|
|
|
TCG_REG_A2,
|
|
|
|
TCG_REG_A3
|
|
|
|
};
|
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
static const TCGReg tcg_target_call_oarg_regs[2] = {
|
2009-10-17 16:17:47 +04:00
|
|
|
TCG_REG_V0,
|
|
|
|
TCG_REG_V1
|
|
|
|
};
|
|
|
|
|
2014-04-25 23:22:44 +04:00
|
|
|
static tcg_insn_unit *tb_ret_addr;
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-04-25 23:22:44 +04:00
|
|
|
static inline uint32_t reloc_pc16_val(tcg_insn_unit *pc, tcg_insn_unit *target)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
2014-04-25 23:22:44 +04:00
|
|
|
/* Let the compiler perform the right-shift as part of the arithmetic. */
|
|
|
|
ptrdiff_t disp = target - (pc + 1);
|
2016-04-21 11:48:49 +03:00
|
|
|
tcg_debug_assert(disp == (int16_t)disp);
|
2014-04-25 23:22:44 +04:00
|
|
|
return disp & 0xffff;
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
2014-04-25 23:22:44 +04:00
|
|
|
static inline void reloc_pc16(tcg_insn_unit *pc, tcg_insn_unit *target)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
2014-04-25 23:22:44 +04:00
|
|
|
*pc = deposit32(*pc, 0, 16, reloc_pc16_val(pc, target));
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
2014-04-25 23:22:44 +04:00
|
|
|
static inline uint32_t reloc_26_val(tcg_insn_unit *pc, tcg_insn_unit *target)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
2016-04-21 11:48:49 +03:00
|
|
|
tcg_debug_assert((((uintptr_t)pc ^ (uintptr_t)target) & 0xf0000000) == 0);
|
2014-04-25 23:22:44 +04:00
|
|
|
return ((uintptr_t)target >> 2) & 0x3ffffff;
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
2014-04-25 23:22:44 +04:00
|
|
|
static inline void reloc_26(tcg_insn_unit *pc, tcg_insn_unit *target)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
2014-04-25 23:22:44 +04:00
|
|
|
*pc = deposit32(*pc, 0, 26, reloc_26_val(pc, target));
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
2014-04-25 23:22:44 +04:00
|
|
|
static void patch_reloc(tcg_insn_unit *code_ptr, int type,
|
2013-08-21 02:30:10 +04:00
|
|
|
intptr_t value, intptr_t addend)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
2016-04-21 11:48:49 +03:00
|
|
|
tcg_debug_assert(type == R_MIPS_PC16);
|
|
|
|
tcg_debug_assert(addend == 0);
|
2014-04-25 23:22:44 +04:00
|
|
|
reloc_pc16(code_ptr, (tcg_insn_unit *)value);
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
2014-04-15 20:27:40 +04:00
|
|
|
#define TCG_CT_CONST_ZERO 0x100
|
2014-04-16 05:54:07 +04: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 20:27:40 +04:00
|
|
|
|
|
|
|
static inline bool is_p2m1(tcg_target_long val)
|
|
|
|
{
|
|
|
|
return val && ((val + 1) & val) == 0;
|
|
|
|
}
|
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
/* parse target specific constraints */
|
|
|
|
static int target_parse_constraint(TCGArgConstraint *ct, const char **pct_str)
|
|
|
|
{
|
|
|
|
const char *ct_str;
|
|
|
|
|
|
|
|
ct_str = *pct_str;
|
|
|
|
switch(ct_str[0]) {
|
|
|
|
case 'r':
|
|
|
|
ct->ct |= TCG_CT_REG;
|
|
|
|
tcg_regset_set(ct->u.regs, 0xffffffff);
|
|
|
|
break;
|
|
|
|
case 'L': /* qemu_ld output arg constraint */
|
|
|
|
ct->ct |= TCG_CT_REG;
|
|
|
|
tcg_regset_set(ct->u.regs, 0xffffffff);
|
|
|
|
tcg_regset_reset_reg(ct->u.regs, TCG_REG_V0);
|
|
|
|
break;
|
|
|
|
case 'l': /* qemu_ld input arg constraint */
|
|
|
|
ct->ct |= TCG_CT_REG;
|
|
|
|
tcg_regset_set(ct->u.regs, 0xffffffff);
|
|
|
|
tcg_regset_reset_reg(ct->u.regs, TCG_REG_A0);
|
2014-05-03 02:01:31 +04:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
|
|
|
if (TARGET_LONG_BITS == 64) {
|
|
|
|
tcg_regset_reset_reg(ct->u.regs, TCG_REG_A2);
|
|
|
|
}
|
2009-10-17 16:17:47 +04: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 19:31:04 +03:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
2014-05-03 02:01:31 +04:00
|
|
|
if (TARGET_LONG_BITS == 32) {
|
|
|
|
tcg_regset_reset_reg(ct->u.regs, TCG_REG_A1);
|
|
|
|
} else {
|
|
|
|
tcg_regset_reset_reg(ct->u.regs, TCG_REG_A2);
|
|
|
|
tcg_regset_reset_reg(ct->u.regs, TCG_REG_A3);
|
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
#endif
|
|
|
|
break;
|
|
|
|
case 'I':
|
|
|
|
ct->ct |= TCG_CT_CONST_U16;
|
|
|
|
break;
|
|
|
|
case 'J':
|
|
|
|
ct->ct |= TCG_CT_CONST_S16;
|
|
|
|
break;
|
2014-04-15 20:27:40 +04:00
|
|
|
case 'K':
|
|
|
|
ct->ct |= TCG_CT_CONST_P2M1;
|
|
|
|
break;
|
2014-04-16 05:54:07 +04:00
|
|
|
case 'N':
|
|
|
|
ct->ct |= TCG_CT_CONST_N16;
|
|
|
|
break;
|
2009-10-17 16:17:47 +04: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:
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
ct_str++;
|
|
|
|
*pct_str = ct_str;
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* test if a constant matches the constraint */
|
2014-03-31 08:22:11 +04:00
|
|
|
static inline int tcg_target_const_match(tcg_target_long val, TCGType type,
|
2009-10-17 16:17:47 +04:00
|
|
|
const TCGArgConstraint *arg_ct)
|
|
|
|
{
|
|
|
|
int ct;
|
|
|
|
ct = arg_ct->ct;
|
2014-04-15 20:27:40 +04:00
|
|
|
if (ct & TCG_CT_CONST) {
|
2009-10-17 16:17:47 +04:00
|
|
|
return 1;
|
2014-04-15 20:27:40 +04:00
|
|
|
} else if ((ct & TCG_CT_CONST_ZERO) && val == 0) {
|
2009-10-17 16:17:47 +04:00
|
|
|
return 1;
|
2014-04-15 20:27:40 +04:00
|
|
|
} else if ((ct & TCG_CT_CONST_U16) && val == (uint16_t)val) {
|
2009-10-17 16:17:47 +04:00
|
|
|
return 1;
|
2014-04-15 20:27:40 +04:00
|
|
|
} else if ((ct & TCG_CT_CONST_S16) && val == (int16_t)val) {
|
2009-10-17 16:17:47 +04:00
|
|
|
return 1;
|
2014-04-16 05:54:07 +04:00
|
|
|
} else if ((ct & TCG_CT_CONST_N16) && val >= -32767 && val <= 32767) {
|
|
|
|
return 1;
|
2014-04-15 20:27:40 +04:00
|
|
|
} else if ((ct & TCG_CT_CONST_P2M1)
|
|
|
|
&& use_mips32r2_instructions && is_p2m1(val)) {
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
return 0;
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
/* instruction opcodes */
|
2014-04-15 20:30:47 +04:00
|
|
|
typedef enum {
|
2014-03-23 20:57:18 +04:00
|
|
|
OPC_J = 0x02 << 26,
|
|
|
|
OPC_JAL = 0x03 << 26,
|
2009-10-17 16:17:47 +04:00
|
|
|
OPC_BEQ = 0x04 << 26,
|
|
|
|
OPC_BNE = 0x05 << 26,
|
2012-09-21 20:20:26 +04:00
|
|
|
OPC_BLEZ = 0x06 << 26,
|
|
|
|
OPC_BGTZ = 0x07 << 26,
|
2009-10-17 16:17:47 +04:00
|
|
|
OPC_ADDIU = 0x09 << 26,
|
2010-02-08 18:37:37 +03:00
|
|
|
OPC_SLTI = 0x0A << 26,
|
|
|
|
OPC_SLTIU = 0x0B << 26,
|
2009-10-17 16:17:47 +04:00
|
|
|
OPC_ANDI = 0x0C << 26,
|
|
|
|
OPC_ORI = 0x0D << 26,
|
|
|
|
OPC_XORI = 0x0E << 26,
|
|
|
|
OPC_LUI = 0x0F << 26,
|
|
|
|
OPC_LB = 0x20 << 26,
|
|
|
|
OPC_LH = 0x21 << 26,
|
|
|
|
OPC_LW = 0x23 << 26,
|
|
|
|
OPC_LBU = 0x24 << 26,
|
|
|
|
OPC_LHU = 0x25 << 26,
|
|
|
|
OPC_LWU = 0x27 << 26,
|
|
|
|
OPC_SB = 0x28 << 26,
|
|
|
|
OPC_SH = 0x29 << 26,
|
|
|
|
OPC_SW = 0x2B << 26,
|
2010-04-05 15:19:56 +04:00
|
|
|
|
|
|
|
OPC_SPECIAL = 0x00 << 26,
|
2009-10-17 16:17:47 +04:00
|
|
|
OPC_SLL = OPC_SPECIAL | 0x00,
|
|
|
|
OPC_SRL = OPC_SPECIAL | 0x02,
|
2012-09-21 20:20:26 +04:00
|
|
|
OPC_ROTR = OPC_SPECIAL | (0x01 << 21) | 0x02,
|
2009-10-17 16:17:47 +04:00
|
|
|
OPC_SRA = OPC_SPECIAL | 0x03,
|
|
|
|
OPC_SLLV = OPC_SPECIAL | 0x04,
|
|
|
|
OPC_SRLV = OPC_SPECIAL | 0x06,
|
2012-09-21 20:20:26 +04:00
|
|
|
OPC_ROTRV = OPC_SPECIAL | (0x01 << 6) | 0x06,
|
2009-10-17 16:17:47 +04:00
|
|
|
OPC_SRAV = OPC_SPECIAL | 0x07,
|
2015-10-02 15:24:15 +03:00
|
|
|
OPC_JR_R5 = OPC_SPECIAL | 0x08,
|
2009-10-17 16:17:47 +04:00
|
|
|
OPC_JALR = OPC_SPECIAL | 0x09,
|
2012-09-21 20:20:26 +04:00
|
|
|
OPC_MOVZ = OPC_SPECIAL | 0x0A,
|
|
|
|
OPC_MOVN = OPC_SPECIAL | 0x0B,
|
2009-10-17 16:17:47 +04:00
|
|
|
OPC_MFHI = OPC_SPECIAL | 0x10,
|
|
|
|
OPC_MFLO = OPC_SPECIAL | 0x12,
|
|
|
|
OPC_MULT = OPC_SPECIAL | 0x18,
|
2015-10-02 15:24:16 +03:00
|
|
|
OPC_MUL_R6 = OPC_SPECIAL | (0x02 << 6) | 0x18,
|
|
|
|
OPC_MUH = OPC_SPECIAL | (0x03 << 6) | 0x18,
|
2009-10-17 16:17:47 +04:00
|
|
|
OPC_MULTU = OPC_SPECIAL | 0x19,
|
2015-10-02 15:24:16 +03:00
|
|
|
OPC_MULU = OPC_SPECIAL | (0x02 << 6) | 0x19,
|
|
|
|
OPC_MUHU = OPC_SPECIAL | (0x03 << 6) | 0x19,
|
2009-10-17 16:17:47 +04:00
|
|
|
OPC_DIV = OPC_SPECIAL | 0x1A,
|
2015-10-02 15:24:16 +03:00
|
|
|
OPC_DIV_R6 = OPC_SPECIAL | (0x02 << 6) | 0x1A,
|
|
|
|
OPC_MOD = OPC_SPECIAL | (0x03 << 6) | 0x1A,
|
2009-10-17 16:17:47 +04:00
|
|
|
OPC_DIVU = OPC_SPECIAL | 0x1B,
|
2015-10-02 15:24:16 +03:00
|
|
|
OPC_DIVU_R6 = OPC_SPECIAL | (0x02 << 6) | 0x1B,
|
|
|
|
OPC_MODU = OPC_SPECIAL | (0x03 << 6) | 0x1B,
|
2009-10-17 16:17:47 +04:00
|
|
|
OPC_ADDU = OPC_SPECIAL | 0x21,
|
|
|
|
OPC_SUBU = OPC_SPECIAL | 0x23,
|
|
|
|
OPC_AND = OPC_SPECIAL | 0x24,
|
|
|
|
OPC_OR = OPC_SPECIAL | 0x25,
|
|
|
|
OPC_XOR = OPC_SPECIAL | 0x26,
|
|
|
|
OPC_NOR = OPC_SPECIAL | 0x27,
|
|
|
|
OPC_SLT = OPC_SPECIAL | 0x2A,
|
|
|
|
OPC_SLTU = OPC_SPECIAL | 0x2B,
|
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 15:24:17 +03:00
|
|
|
OPC_SELEQZ = OPC_SPECIAL | 0x35,
|
|
|
|
OPC_SELNEZ = OPC_SPECIAL | 0x37,
|
2010-04-05 15:19:56 +04:00
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
OPC_REGIMM = 0x01 << 26,
|
|
|
|
OPC_BLTZ = OPC_REGIMM | (0x00 << 16),
|
|
|
|
OPC_BGEZ = OPC_REGIMM | (0x01 << 16),
|
|
|
|
|
2012-10-20 01:48:13 +04:00
|
|
|
OPC_SPECIAL2 = 0x1c << 26,
|
2015-10-02 15:24:16 +03:00
|
|
|
OPC_MUL_R5 = OPC_SPECIAL2 | 0x002,
|
2012-10-20 01:48:13 +04:00
|
|
|
|
2010-04-05 15:19:56 +04:00
|
|
|
OPC_SPECIAL3 = 0x1f << 26,
|
2014-04-15 20:27:40 +04:00
|
|
|
OPC_EXT = OPC_SPECIAL3 | 0x000,
|
2012-09-21 20:20:26 +04:00
|
|
|
OPC_INS = OPC_SPECIAL3 | 0x004,
|
2012-09-21 20:20:26 +04:00
|
|
|
OPC_WSBH = OPC_SPECIAL3 | 0x0a0,
|
2010-04-05 15:19:56 +04:00
|
|
|
OPC_SEB = OPC_SPECIAL3 | 0x420,
|
|
|
|
OPC_SEH = OPC_SPECIAL3 | 0x620,
|
2015-10-02 15:24:15 +03: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 15:24:16 +03: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,
|
2014-04-15 20:30:47 +04:00
|
|
|
} MIPSInsn;
|
2009-10-17 16:17:47 +04:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Type reg
|
|
|
|
*/
|
2014-04-15 20:30:47 +04:00
|
|
|
static inline void tcg_out_opc_reg(TCGContext *s, MIPSInsn opc,
|
2012-09-21 20:20:26 +04:00
|
|
|
TCGReg rd, TCGReg rs, TCGReg rt)
|
2009-10-17 16:17:47 +04: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 20:30:47 +04:00
|
|
|
static inline void tcg_out_opc_imm(TCGContext *s, MIPSInsn opc,
|
2012-09-21 20:20:26 +04:00
|
|
|
TCGReg rt, TCGReg rs, TCGArg imm)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
|
|
|
int32_t inst;
|
|
|
|
|
|
|
|
inst = opc;
|
|
|
|
inst |= (rs & 0x1F) << 21;
|
|
|
|
inst |= (rt & 0x1F) << 16;
|
|
|
|
inst |= (imm & 0xffff);
|
|
|
|
tcg_out32(s, inst);
|
|
|
|
}
|
|
|
|
|
2014-04-15 20:27:40 +04:00
|
|
|
/*
|
|
|
|
* Type bitfield
|
|
|
|
*/
|
2014-04-15 20:30:47 +04:00
|
|
|
static inline void tcg_out_opc_bf(TCGContext *s, MIPSInsn opc, TCGReg rt,
|
2014-04-15 20:27:40 +04: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);
|
|
|
|
}
|
|
|
|
|
2010-03-29 04:09:23 +04:00
|
|
|
/*
|
|
|
|
* Type branch
|
|
|
|
*/
|
2014-04-15 20:30:47 +04:00
|
|
|
static inline void tcg_out_opc_br(TCGContext *s, MIPSInsn opc,
|
2012-09-21 20:20:26 +04:00
|
|
|
TCGReg rt, TCGReg rs)
|
2010-03-29 04:09:23 +04:00
|
|
|
{
|
2011-01-10 20:30:05 +03: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 23:22:44 +04:00
|
|
|
uint16_t offset = (uint16_t)*s->code_ptr;
|
2010-03-29 04:09:23 +04:00
|
|
|
|
|
|
|
tcg_out_opc_imm(s, opc, rt, rs, offset);
|
|
|
|
}
|
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
/*
|
|
|
|
* Type sa
|
|
|
|
*/
|
2014-04-15 20:30:47 +04:00
|
|
|
static inline void tcg_out_opc_sa(TCGContext *s, MIPSInsn opc,
|
2012-09-21 20:20:26 +04:00
|
|
|
TCGReg rd, TCGReg rt, TCGArg sa)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
|
|
|
int32_t inst;
|
|
|
|
|
|
|
|
inst = opc;
|
|
|
|
inst |= (rt & 0x1F) << 16;
|
|
|
|
inst |= (rd & 0x1F) << 11;
|
|
|
|
inst |= (sa & 0x1F) << 6;
|
|
|
|
tcg_out32(s, inst);
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2014-03-23 20:57:18 +04:00
|
|
|
/*
|
|
|
|
* Type jump.
|
|
|
|
* Returns true if the branch was in range and the insn was emitted.
|
|
|
|
*/
|
2014-04-15 20:30:47 +04:00
|
|
|
static bool tcg_out_opc_jmp(TCGContext *s, MIPSInsn opc, void *target)
|
2014-03-23 20:57:18 +04: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 11:48:49 +03:00
|
|
|
tcg_debug_assert((dest & 3) == 0);
|
2014-03-23 20:57:18 +04:00
|
|
|
|
|
|
|
inst = opc;
|
|
|
|
inst |= (dest >> 2) & 0x3ffffff;
|
|
|
|
tcg_out32(s, inst);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
static inline void tcg_out_nop(TCGContext *s)
|
|
|
|
{
|
|
|
|
tcg_out32(s, 0);
|
|
|
|
}
|
|
|
|
|
2011-11-09 12:03:34 +04:00
|
|
|
static inline void tcg_out_mov(TCGContext *s, TCGType type,
|
|
|
|
TCGReg ret, TCGReg arg)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
2012-08-28 00:13:27 +04:00
|
|
|
/* Simple reg-reg move, optimising out the 'do nothing' case */
|
|
|
|
if (ret != arg) {
|
|
|
|
tcg_out_opc_reg(s, OPC_ADDU, ret, arg, TCG_REG_ZERO);
|
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
static inline void tcg_out_movi(TCGContext *s, TCGType type,
|
2011-11-09 12:03:34 +04:00
|
|
|
TCGReg reg, tcg_target_long arg)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
|
|
|
if (arg == (int16_t)arg) {
|
|
|
|
tcg_out_opc_imm(s, OPC_ADDIU, reg, TCG_REG_ZERO, arg);
|
|
|
|
} else if (arg == (uint16_t)arg) {
|
|
|
|
tcg_out_opc_imm(s, OPC_ORI, reg, TCG_REG_ZERO, arg);
|
|
|
|
} else {
|
2014-03-23 21:15:21 +04:00
|
|
|
tcg_out_opc_imm(s, OPC_LUI, reg, TCG_REG_ZERO, arg >> 16);
|
|
|
|
if (arg & 0xffff) {
|
|
|
|
tcg_out_opc_imm(s, OPC_ORI, reg, reg, arg & 0xffff);
|
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
static inline void tcg_out_bswap16(TCGContext *s, TCGReg ret, TCGReg arg)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
2013-08-15 19:57:59 +04: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 20:07:52 +04:00
|
|
|
if (ret == TCG_TMP0 || arg == TCG_TMP0) {
|
2013-08-15 19:57:59 +04:00
|
|
|
tcg_abort();
|
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_sa(s, OPC_SRL, TCG_TMP0, arg, 8);
|
2013-08-15 19:57:59 +04:00
|
|
|
tcg_out_opc_sa(s, OPC_SLL, ret, arg, 8);
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, ret, ret, 0xff00);
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_reg(s, OPC_OR, ret, ret, TCG_TMP0);
|
2013-08-15 19:57:59 +04:00
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
static inline void tcg_out_bswap16s(TCGContext *s, TCGReg ret, TCGReg arg)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
2013-08-15 19:57:59 +04: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 20:07:52 +04:00
|
|
|
if (ret == TCG_TMP0 || arg == TCG_TMP0) {
|
2013-08-15 19:57:59 +04:00
|
|
|
tcg_abort();
|
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_sa(s, OPC_SRL, TCG_TMP0, arg, 8);
|
2013-08-15 19:57:59 +04:00
|
|
|
tcg_out_opc_sa(s, OPC_SLL, ret, arg, 24);
|
|
|
|
tcg_out_opc_sa(s, OPC_SRA, ret, ret, 16);
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_reg(s, OPC_OR, ret, ret, TCG_TMP0);
|
2013-08-15 19:57:59 +04:00
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
static inline void tcg_out_bswap32(TCGContext *s, TCGReg ret, TCGReg arg)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
2013-08-15 19:57:59 +04: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 {
|
|
|
|
/* ret and arg must be different and can't be register at */
|
2014-04-15 20:07:52 +04:00
|
|
|
if (ret == arg || ret == TCG_TMP0 || arg == TCG_TMP0) {
|
2013-08-15 19:57:59 +04:00
|
|
|
tcg_abort();
|
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2013-08-15 19:57:59 +04:00
|
|
|
tcg_out_opc_sa(s, OPC_SLL, ret, arg, 24);
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_sa(s, OPC_SRL, TCG_TMP0, arg, 24);
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, ret, ret, TCG_TMP0);
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP0, arg, 0xff00);
|
|
|
|
tcg_out_opc_sa(s, OPC_SLL, TCG_TMP0, TCG_TMP0, 8);
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, ret, ret, TCG_TMP0);
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_sa(s, OPC_SRL, TCG_TMP0, arg, 8);
|
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP0, TCG_TMP0, 0xff00);
|
|
|
|
tcg_out_opc_reg(s, OPC_OR, ret, ret, TCG_TMP0);
|
2013-08-15 19:57:59 +04:00
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
static inline void tcg_out_ext8s(TCGContext *s, TCGReg ret, TCGReg arg)
|
2010-04-05 15:19:56 +04:00
|
|
|
{
|
2013-08-15 19:57:59 +04: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 15:19:56 +04:00
|
|
|
}
|
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
static inline void tcg_out_ext16s(TCGContext *s, TCGReg ret, TCGReg arg)
|
2010-04-05 15:19:56 +04:00
|
|
|
{
|
2013-08-15 19:57:59 +04: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 15:19:56 +04:00
|
|
|
}
|
|
|
|
|
2014-04-15 20:30:47 +04:00
|
|
|
static void tcg_out_ldst(TCGContext *s, MIPSInsn opc, TCGReg data,
|
2014-03-23 21:45:23 +04:00
|
|
|
TCGReg addr, intptr_t ofs)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
2014-03-23 21:45:23 +04:00
|
|
|
int16_t lo = ofs;
|
|
|
|
if (ofs != lo) {
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_movi(s, TCG_TYPE_PTR, TCG_TMP0, ofs - lo);
|
2014-03-23 21:45:23 +04:00
|
|
|
if (addr != TCG_REG_ZERO) {
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_reg(s, OPC_ADDU, TCG_TMP0, TCG_TMP0, addr);
|
2014-03-23 21:45:23 +04:00
|
|
|
}
|
2014-04-15 20:07:52 +04:00
|
|
|
addr = TCG_TMP0;
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
2014-03-23 21:45:23 +04:00
|
|
|
tcg_out_opc_imm(s, opc, data, addr, lo);
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
2011-11-09 12:03:34 +04:00
|
|
|
static inline void tcg_out_ld(TCGContext *s, TCGType type, TCGReg arg,
|
2013-08-21 04:07:26 +04:00
|
|
|
TCGReg arg1, intptr_t arg2)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
|
|
|
tcg_out_ldst(s, OPC_LW, arg, arg1, arg2);
|
|
|
|
}
|
|
|
|
|
2011-11-09 12:03:34 +04:00
|
|
|
static inline void tcg_out_st(TCGContext *s, TCGType type, TCGReg arg,
|
2013-08-21 04:07:26 +04:00
|
|
|
TCGReg arg1, intptr_t arg2)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
|
|
|
tcg_out_ldst(s, OPC_SW, arg, arg1, arg2);
|
|
|
|
}
|
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
static inline void tcg_out_addi(TCGContext *s, TCGReg reg, TCGArg val)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
|
|
|
if (val == (int16_t)val) {
|
|
|
|
tcg_out_opc_imm(s, OPC_ADDIU, reg, reg, val);
|
|
|
|
} else {
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_movi(s, TCG_TYPE_PTR, TCG_TMP0, val);
|
|
|
|
tcg_out_opc_reg(s, OPC_ADDU, reg, reg, TCG_TMP0);
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-07-10 23:04:48 +03: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 09:10:09 +04: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 09:20:57 +04:00
|
|
|
static void tcg_out_brcond(TCGContext *s, TCGCond cond, TCGReg arg1,
|
2015-02-14 00:39:54 +03:00
|
|
|
TCGReg arg2, TCGLabel *l)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
2014-04-16 09:20:57 +04: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 16:17:47 +04:00
|
|
|
|
|
|
|
switch (cond) {
|
|
|
|
case TCG_COND_EQ:
|
2014-04-16 09:20:57 +04:00
|
|
|
b_opc = OPC_BEQ;
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
|
|
|
case TCG_COND_NE:
|
2014-04-16 09:20:57 +04:00
|
|
|
b_opc = OPC_BNE;
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-04-16 09:20:57 +04:00
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
case TCG_COND_LT:
|
2014-04-16 09:20:57 +04:00
|
|
|
case TCG_COND_GT:
|
2009-10-17 16:17:47 +04:00
|
|
|
case TCG_COND_LE:
|
2014-04-16 09:20:57 +04:00
|
|
|
case TCG_COND_GE:
|
2012-09-21 20:20:26 +04:00
|
|
|
if (arg2 == 0) {
|
2014-04-16 09:20:57 +04:00
|
|
|
b_opc = b_zero[cond];
|
|
|
|
arg2 = arg1;
|
|
|
|
arg1 = 0;
|
|
|
|
break;
|
2012-09-21 20:20:26 +04:00
|
|
|
}
|
2014-04-16 09:20:57 +04:00
|
|
|
s_opc = OPC_SLT;
|
|
|
|
/* FALLTHRU */
|
|
|
|
|
|
|
|
case TCG_COND_LTU:
|
|
|
|
case TCG_COND_GTU:
|
2009-10-17 16:17:47 +04:00
|
|
|
case TCG_COND_LEU:
|
2014-04-16 09:20:57 +04: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 20:20:26 +04:00
|
|
|
}
|
2014-04-16 09:20:57 +04: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 16:17:47 +04:00
|
|
|
break;
|
2014-04-16 09:20:57 +04:00
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
default:
|
|
|
|
tcg_abort();
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 09:20:57 +04:00
|
|
|
|
|
|
|
tcg_out_opc_br(s, b_opc, arg1, arg2);
|
2009-10-17 16:17:47 +04:00
|
|
|
if (l->has_value) {
|
2014-04-25 23:22:44 +04:00
|
|
|
reloc_pc16(s->code_ptr - 1, l->u.value_ptr);
|
2009-10-17 16:17:47 +04:00
|
|
|
} else {
|
2015-02-14 00:39:54 +03:00
|
|
|
tcg_out_reloc(s, s->code_ptr - 1, R_MIPS_PC16, l, 0);
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
tcg_out_nop(s);
|
|
|
|
}
|
|
|
|
|
2014-04-16 09:41:46 +04: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 09:34:30 +04: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 11:48:49 +03:00
|
|
|
tcg_debug_assert(ret != TCG_TMP0);
|
2014-04-16 09:34:30 +04:00
|
|
|
if (ret == ah || ret == bh) {
|
2016-04-21 11:48:49 +03:00
|
|
|
tcg_debug_assert(ret != TCG_TMP1);
|
2014-04-16 09:34:30 +04:00
|
|
|
tmp1 = TCG_TMP1;
|
|
|
|
}
|
|
|
|
|
|
|
|
switch (cond) {
|
|
|
|
case TCG_COND_EQ:
|
|
|
|
case TCG_COND_NE:
|
2014-04-16 09:41:46 +04: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 09:34:30 +04: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 09:47:22 +04:00
|
|
|
static void tcg_out_brcond2(TCGContext *s, TCGCond cond, TCGReg al, TCGReg ah,
|
2015-02-14 00:39:54 +03:00
|
|
|
TCGReg bl, TCGReg bh, TCGLabel *l)
|
2014-04-16 09:47:22 +04: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 16:17:47 +04:00
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
2014-06-13 22:42:57 +04:00
|
|
|
/* Minimize code size by preferring a compare not requiring INV. */
|
2014-04-16 09:47:22 +04: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 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
2015-02-14 00:39:54 +03:00
|
|
|
tcg_out_brcond(s, b_cond, tmp, TCG_REG_ZERO, l);
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
2012-09-21 20:20:26 +04: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 15:24:17 +03:00
|
|
|
TCGReg c1, TCGReg c2, TCGReg v1, TCGReg v2)
|
2012-09-21 20:20:26 +04: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 15:24:17 +03: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 09:53:12 +04:00
|
|
|
|
2012-09-21 20:20:26 +04: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 15:24:17 +03:00
|
|
|
eqz = true;
|
2014-04-16 09:53:12 +04:00
|
|
|
/* FALLTHRU */
|
2012-09-21 20:20:26 +04:00
|
|
|
case TCG_COND_NE:
|
2014-04-16 09:53:12 +04:00
|
|
|
if (c2 != 0) {
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_reg(s, OPC_XOR, TCG_TMP0, c1, c2);
|
2014-04-16 09:53:12 +04:00
|
|
|
c1 = TCG_TMP0;
|
2012-09-21 20:20:26 +04:00
|
|
|
}
|
|
|
|
break;
|
2014-04-16 09:53:12 +04:00
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
default:
|
2014-06-13 22:42:57 +04:00
|
|
|
/* Minimize code size by preferring a compare not requiring INV. */
|
2014-04-16 09:53:12 +04: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 15:24:17 +03:00
|
|
|
eqz = true;
|
2014-04-16 09:53:12 +04:00
|
|
|
}
|
|
|
|
tcg_out_setcond(s, cond, TCG_TMP0, c1, c2);
|
|
|
|
c1 = TCG_TMP0;
|
2012-09-21 20:20:26 +04:00
|
|
|
break;
|
|
|
|
}
|
2014-04-16 09:53:12 +04: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 15:24:17 +03: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 20:20:26 +04:00
|
|
|
}
|
|
|
|
|
2014-04-14 20:59:41 +04:00
|
|
|
static void tcg_out_call_int(TCGContext *s, tcg_insn_unit *arg, bool tail)
|
2014-05-03 02:01:31 +04: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 20:59:41 +04: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-03 02:01:31 +04:00
|
|
|
}
|
2014-04-14 20:59:41 +04:00
|
|
|
}
|
2014-05-03 02:01:31 +04:00
|
|
|
|
2014-04-14 20:59:41 +04:00
|
|
|
static void tcg_out_call(TCGContext *s, tcg_insn_unit *arg)
|
|
|
|
{
|
|
|
|
tcg_out_call_int(s, arg, false);
|
2014-05-03 02:01:31 +04:00
|
|
|
tcg_out_nop(s);
|
|
|
|
}
|
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
2014-04-14 20:59:41 +04: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,
|
2011-09-18 18:55:46 +04:00
|
|
|
};
|
|
|
|
|
2014-04-14 20:59:41 +04: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 18:55:46 +04:00
|
|
|
};
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-05-03 02:01:31 +04: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 16:17:47 +04:00
|
|
|
{
|
2014-05-03 02:01:31 +04: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 {
|
|
|
|
tcg_out_st(s, TCG_TYPE_REG, arg, TCG_REG_SP, 4 * i);
|
|
|
|
}
|
|
|
|
return i + 1;
|
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-05-03 02:01:31 +04:00
|
|
|
static int tcg_out_call_iarg_reg8(TCGContext *s, int i, TCGReg arg)
|
|
|
|
{
|
2014-04-15 20:07:52 +04:00
|
|
|
TCGReg tmp = TCG_TMP0;
|
2014-05-03 02:01:31 +04: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 20:07:52 +04:00
|
|
|
TCGReg tmp = TCG_TMP0;
|
2014-05-03 02:01:31 +04: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 20:07:52 +04:00
|
|
|
TCGReg tmp = TCG_TMP0;
|
2014-05-03 02:01:31 +04:00
|
|
|
if (arg == 0) {
|
|
|
|
tmp = TCG_REG_ZERO;
|
2009-10-17 16:17:47 +04:00
|
|
|
} else {
|
2014-05-03 02:01:31 +04: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 16:17:47 +04:00
|
|
|
}
|
2014-05-03 02:01:31 +04: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)
|
|
|
|
{
|
|
|
|
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
|
|
|
|
placed in BASE. Clobbers AT, T0, A0. */
|
|
|
|
static void tcg_out_tlb_load(TCGContext *s, TCGReg base, TCGReg addrl,
|
2015-07-10 23:10:02 +03:00
|
|
|
TCGReg addrh, TCGMemOpIdx oi,
|
2014-05-03 02:01:31 +04:00
|
|
|
tcg_insn_unit *label_ptr[2], bool is_load)
|
|
|
|
{
|
2015-07-10 23:10:02 +03:00
|
|
|
TCGMemOp s_bits = get_memop(oi) & MO_SIZE;
|
|
|
|
int mem_index = get_mmuidx(oi);
|
2014-05-03 02:01:31 +04: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);
|
|
|
|
|
|
|
|
tcg_out_opc_sa(s, OPC_SRL, TCG_REG_A0, addrl,
|
|
|
|
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);
|
2009-10-17 16:17:47 +04:00
|
|
|
tcg_out_opc_reg(s, OPC_ADDU, TCG_REG_A0, TCG_REG_A0, TCG_AREG0);
|
|
|
|
|
2014-05-03 02:01:31 +04: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);
|
|
|
|
tcg_out_opc_imm(s, OPC_ADDIU, TCG_REG_A0, TCG_REG_A0, 0x7ff0);
|
|
|
|
cmp_off -= 0x7ff0;
|
|
|
|
add_off -= 0x7ff0;
|
|
|
|
}
|
|
|
|
|
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 13:34:54 +03:00
|
|
|
/* Load the (low half) tlb comparator. */
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, TCG_TMP0, TCG_REG_A0,
|
|
|
|
cmp_off + (TARGET_LONG_BITS == 64 ? LO_OFF : 0));
|
2014-05-03 02:01:31 +04:00
|
|
|
|
|
|
|
/* Mask the page bits, keeping the alignment bits to compare against.
|
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 13:34:54 +03:00
|
|
|
In between on 32-bit targets, load the tlb addend for the fast path. */
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_movi(s, TCG_TYPE_I32, TCG_TMP1,
|
2014-05-03 02:01:31 +04:00
|
|
|
TARGET_PAGE_MASK | ((1 << s_bits) - 1));
|
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 13:34:54 +03:00
|
|
|
if (TARGET_LONG_BITS == 32) {
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, TCG_REG_A0, TCG_REG_A0, add_off);
|
|
|
|
}
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_reg(s, OPC_AND, TCG_TMP1, TCG_TMP1, addrl);
|
2014-05-03 02:01:31 +04:00
|
|
|
|
|
|
|
label_ptr[0] = s->code_ptr;
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_br(s, OPC_BNE, TCG_TMP1, TCG_TMP0);
|
2009-10-17 16:17:47 +04: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 13:34:54 +03:00
|
|
|
/* Load and test the high half tlb comparator. */
|
2014-05-03 02:01:31 +04:00
|
|
|
if (TARGET_LONG_BITS == 64) {
|
|
|
|
/* delay slot */
|
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 13:34:54 +03:00
|
|
|
tcg_out_opc_imm(s, OPC_LW, TCG_TMP0, TCG_REG_A0, cmp_off + HI_OFF);
|
|
|
|
|
|
|
|
/* Load the tlb addend for the fast path. We can't do it earlier with
|
|
|
|
64-bit targets or we'll clobber a0 before reading the high half tlb
|
|
|
|
comparator. */
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, TCG_REG_A0, TCG_REG_A0, add_off);
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-05-03 02:01:31 +04: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 13:34:54 +03:00
|
|
|
tcg_out_opc_br(s, OPC_BNE, addrh, TCG_TMP0);
|
2014-05-03 02:01:31 +04:00
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-05-03 02:01:31 +04:00
|
|
|
/* delay slot */
|
|
|
|
tcg_out_opc_reg(s, OPC_ADDU, base, TCG_REG_A0, addrl);
|
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2015-05-13 19:10:33 +03:00
|
|
|
static void add_qemu_ldst_label(TCGContext *s, int is_ld, TCGMemOpIdx oi,
|
2014-05-03 02:01:31 +04:00
|
|
|
TCGReg datalo, TCGReg datahi,
|
|
|
|
TCGReg addrlo, TCGReg addrhi,
|
2015-05-13 19:10:33 +03:00
|
|
|
void *raddr, tcg_insn_unit *label_ptr[2])
|
2014-05-03 02:01:31 +04:00
|
|
|
{
|
|
|
|
TCGLabelQemuLdst *label = new_ldst_label(s);
|
|
|
|
|
|
|
|
label->is_ld = is_ld;
|
2015-05-13 19:10:33 +03:00
|
|
|
label->oi = oi;
|
2014-05-03 02:01:31 +04: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];
|
|
|
|
if (TARGET_LONG_BITS == 64) {
|
|
|
|
label->label_ptr[1] = label_ptr[1];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void tcg_out_qemu_ld_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
|
|
|
|
{
|
2015-07-09 12:17:14 +03:00
|
|
|
TCGMemOpIdx oi = l->oi;
|
2015-05-13 19:10:33 +03:00
|
|
|
TCGMemOp opc = get_memop(oi);
|
2014-04-14 20:59:41 +04:00
|
|
|
TCGReg v0;
|
2014-05-03 02:01:31 +04:00
|
|
|
int i;
|
|
|
|
|
|
|
|
/* resolve label address */
|
|
|
|
reloc_pc16(l->label_ptr[0], s->code_ptr);
|
|
|
|
if (TARGET_LONG_BITS == 64) {
|
|
|
|
reloc_pc16(l->label_ptr[1], s->code_ptr);
|
|
|
|
}
|
|
|
|
|
2014-04-14 20:59:41 +04:00
|
|
|
i = 1;
|
2014-05-03 02:01:31 +04:00
|
|
|
if (TARGET_LONG_BITS == 64) {
|
|
|
|
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 19:10:33 +03:00
|
|
|
i = tcg_out_call_iarg_imm(s, i, oi);
|
2014-04-14 20:59:41 +04:00
|
|
|
i = tcg_out_call_iarg_imm(s, i, (intptr_t)l->raddr);
|
2015-05-29 19:16:51 +03:00
|
|
|
tcg_out_call_int(s, qemu_ld_helpers[opc & (MO_BSWAP | MO_SSIZE)], false);
|
2014-04-14 20:59:41 +04:00
|
|
|
/* delay slot */
|
|
|
|
tcg_out_mov(s, TCG_TYPE_PTR, tcg_target_call_iarg_regs[0], TCG_AREG0);
|
2014-05-03 02:01:31 +04:00
|
|
|
|
2014-04-14 20:59:41 +04:00
|
|
|
v0 = l->datalo_reg;
|
|
|
|
if ((opc & MO_SIZE) == MO_64) {
|
2014-05-03 02:01:31 +04:00
|
|
|
/* We eliminated V0 from the possible output registers, so it
|
|
|
|
cannot be clobbered here. So we must move V1 first. */
|
2014-04-14 20:59:41 +04: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 16:17:47 +04:00
|
|
|
}
|
|
|
|
|
2014-05-03 02:01:31 +04:00
|
|
|
reloc_pc16(s->code_ptr, l->raddr);
|
2010-03-29 04:09:23 +04:00
|
|
|
tcg_out_opc_br(s, OPC_BEQ, TCG_REG_ZERO, TCG_REG_ZERO);
|
2014-04-14 20:59:41 +04:00
|
|
|
/* delay slot */
|
|
|
|
tcg_out_mov(s, TCG_TYPE_REG, v0, TCG_REG_V0);
|
2014-05-03 02:01:31 +04:00
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-05-03 02:01:31 +04:00
|
|
|
static void tcg_out_qemu_st_slow_path(TCGContext *s, TCGLabelQemuLdst *l)
|
|
|
|
{
|
2015-07-09 12:17:14 +03:00
|
|
|
TCGMemOpIdx oi = l->oi;
|
2015-05-13 19:10:33 +03:00
|
|
|
TCGMemOp opc = get_memop(oi);
|
2014-05-03 02:01:31 +04:00
|
|
|
TCGMemOp s_bits = opc & MO_SIZE;
|
|
|
|
int i;
|
|
|
|
|
|
|
|
/* resolve label address */
|
|
|
|
reloc_pc16(l->label_ptr[0], s->code_ptr);
|
|
|
|
if (TARGET_LONG_BITS == 64) {
|
|
|
|
reloc_pc16(l->label_ptr[1], s->code_ptr);
|
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-04-14 20:59:41 +04:00
|
|
|
i = 1;
|
2014-05-03 02:01:31 +04:00
|
|
|
if (TARGET_LONG_BITS == 64) {
|
|
|
|
i = tcg_out_call_iarg_reg2(s, i, l->addrlo_reg, l->addrhi_reg);
|
2010-03-27 19:31:04 +03:00
|
|
|
} else {
|
2014-05-03 02:01:31 +04: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:
|
|
|
|
i = tcg_out_call_iarg_reg2(s, i, l->datalo_reg, l->datahi_reg);
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
tcg_abort();
|
2010-03-27 19:31:04 +03:00
|
|
|
}
|
2015-05-13 19:10:33 +03:00
|
|
|
i = tcg_out_call_iarg_imm(s, i, oi);
|
2014-05-03 02:01:31 +04:00
|
|
|
|
2014-04-14 20:59:41 +04: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 19:16:51 +03:00
|
|
|
tcg_out_call_int(s, qemu_st_helpers[opc & (MO_BSWAP | MO_SIZE)], true);
|
2014-04-14 20:59:41 +04:00
|
|
|
/* delay slot */
|
|
|
|
tcg_out_mov(s, TCG_TYPE_PTR, tcg_target_call_iarg_regs[0], TCG_AREG0);
|
2014-05-03 02:01:31 +04:00
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
#endif
|
|
|
|
|
2014-05-03 02:01:31 +04:00
|
|
|
static void tcg_out_qemu_ld_direct(TCGContext *s, TCGReg datalo, TCGReg datahi,
|
|
|
|
TCGReg base, TCGMemOp opc)
|
|
|
|
{
|
2015-07-30 23:11:51 +03:00
|
|
|
switch (opc & (MO_SSIZE | MO_BSWAP)) {
|
2014-05-03 02:01:31 +04:00
|
|
|
case MO_UB:
|
|
|
|
tcg_out_opc_imm(s, OPC_LBU, datalo, base, 0);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-05-03 02:01:31 +04:00
|
|
|
case MO_SB:
|
|
|
|
tcg_out_opc_imm(s, OPC_LB, datalo, base, 0);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-05-03 02:01:31 +04:00
|
|
|
case MO_UW | MO_BSWAP:
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_imm(s, OPC_LHU, TCG_TMP1, base, 0);
|
|
|
|
tcg_out_bswap16(s, datalo, TCG_TMP1);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-05-03 02:01:31 +04:00
|
|
|
case MO_UW:
|
|
|
|
tcg_out_opc_imm(s, OPC_LHU, datalo, base, 0);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-05-03 02:01:31 +04:00
|
|
|
case MO_SW | MO_BSWAP:
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_imm(s, OPC_LHU, TCG_TMP1, base, 0);
|
|
|
|
tcg_out_bswap16s(s, datalo, TCG_TMP1);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-05-03 02:01:31 +04:00
|
|
|
case MO_SW:
|
|
|
|
tcg_out_opc_imm(s, OPC_LH, datalo, base, 0);
|
|
|
|
break;
|
|
|
|
case MO_UL | MO_BSWAP:
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_imm(s, OPC_LW, TCG_TMP1, base, 0);
|
|
|
|
tcg_out_bswap32(s, datalo, TCG_TMP1);
|
2014-05-03 02:01:31 +04:00
|
|
|
break;
|
|
|
|
case MO_UL:
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, datalo, base, 0);
|
|
|
|
break;
|
|
|
|
case MO_Q | MO_BSWAP:
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_imm(s, OPC_LW, TCG_TMP1, base, HI_OFF);
|
|
|
|
tcg_out_bswap32(s, datalo, TCG_TMP1);
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, TCG_TMP1, base, LO_OFF);
|
|
|
|
tcg_out_bswap32(s, datahi, TCG_TMP1);
|
2014-05-03 02:01:31 +04:00
|
|
|
break;
|
|
|
|
case MO_Q:
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, datalo, base, LO_OFF);
|
|
|
|
tcg_out_opc_imm(s, OPC_LW, datahi, base, HI_OFF);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
|
|
|
default:
|
|
|
|
tcg_abort();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-04-14 22:10:11 +04:00
|
|
|
static void tcg_out_qemu_ld(TCGContext *s, const TCGArg *args, bool is_64)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
2014-05-03 02:01:31 +04:00
|
|
|
TCGReg addr_regl, addr_regh __attribute__((unused));
|
|
|
|
TCGReg data_regl, data_regh;
|
2015-05-12 21:51:44 +03:00
|
|
|
TCGMemOpIdx oi;
|
2014-04-14 22:10:11 +04:00
|
|
|
TCGMemOp opc;
|
2009-10-17 16:17:47 +04:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
2014-05-03 02:01:31 +04:00
|
|
|
tcg_insn_unit *label_ptr[2];
|
2009-10-17 16:17:47 +04:00
|
|
|
#endif
|
2014-05-03 02:01:31 +04:00
|
|
|
/* Note that we've eliminated V0 from the output registers,
|
|
|
|
so we won't overwrite the base register during loading. */
|
|
|
|
TCGReg base = TCG_REG_V0;
|
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
data_regl = *args++;
|
2014-04-14 22:10:11 +04:00
|
|
|
data_regh = (is_64 ? *args++ : 0);
|
2009-10-17 16:17:47 +04:00
|
|
|
addr_regl = *args++;
|
2014-05-03 02:01:31 +04:00
|
|
|
addr_regh = (TARGET_LONG_BITS == 64 ? *args++ : 0);
|
2015-05-12 21:51:44 +03:00
|
|
|
oi = *args++;
|
|
|
|
opc = get_memop(oi);
|
2014-05-03 02:01:31 +04:00
|
|
|
|
2012-09-21 20:20:25 +04:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
2015-07-10 23:10:02 +03:00
|
|
|
tcg_out_tlb_load(s, base, addr_regl, addr_regh, oi, label_ptr, 1);
|
2014-05-03 02:01:31 +04:00
|
|
|
tcg_out_qemu_ld_direct(s, data_regl, data_regh, base, opc);
|
2015-05-13 19:10:33 +03:00
|
|
|
add_qemu_ldst_label(s, 1, oi, data_regl, data_regh, addr_regl, addr_regh,
|
|
|
|
s->code_ptr, label_ptr);
|
2012-09-21 20:20:25 +04:00
|
|
|
#else
|
2015-08-24 15:53:54 +03:00
|
|
|
if (guest_base == 0 && data_regl != addr_regl) {
|
2014-05-03 02:01:31 +04:00
|
|
|
base = addr_regl;
|
2015-08-24 15:53:54 +03:00
|
|
|
} else if (guest_base == (int16_t)guest_base) {
|
|
|
|
tcg_out_opc_imm(s, OPC_ADDIU, base, addr_regl, guest_base);
|
2012-09-21 20:20:25 +04:00
|
|
|
} else {
|
2015-08-24 15:53:54 +03:00
|
|
|
tcg_out_movi(s, TCG_TYPE_PTR, base, guest_base);
|
2014-05-03 02:01:31 +04:00
|
|
|
tcg_out_opc_reg(s, OPC_ADDU, base, base, addr_regl);
|
2012-09-21 20:20:25 +04:00
|
|
|
}
|
2014-05-03 02:01:31 +04:00
|
|
|
tcg_out_qemu_ld_direct(s, data_regl, data_regh, base, opc);
|
|
|
|
#endif
|
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-05-03 02:01:31 +04:00
|
|
|
static void tcg_out_qemu_st_direct(TCGContext *s, TCGReg datalo, TCGReg datahi,
|
|
|
|
TCGReg base, TCGMemOp opc)
|
|
|
|
{
|
2015-07-30 23:11:51 +03:00
|
|
|
switch (opc & (MO_SIZE | MO_BSWAP)) {
|
2014-05-03 02:01:31 +04:00
|
|
|
case MO_8:
|
|
|
|
tcg_out_opc_imm(s, OPC_SB, datalo, base, 0);
|
|
|
|
break;
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-05-03 02:01:31 +04:00
|
|
|
case MO_16 | MO_BSWAP:
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_imm(s, OPC_ANDI, TCG_TMP1, datalo, 0xffff);
|
|
|
|
tcg_out_bswap16(s, TCG_TMP1, TCG_TMP1);
|
|
|
|
datalo = TCG_TMP1;
|
2014-05-03 02:01:31 +04:00
|
|
|
/* FALLTHRU */
|
|
|
|
case MO_16:
|
|
|
|
tcg_out_opc_imm(s, OPC_SH, datalo, base, 0);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-05-03 02:01:31 +04:00
|
|
|
|
|
|
|
case MO_32 | MO_BSWAP:
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_bswap32(s, TCG_TMP1, datalo);
|
|
|
|
datalo = TCG_TMP1;
|
2014-05-03 02:01:31 +04:00
|
|
|
/* FALLTHRU */
|
|
|
|
case MO_32:
|
|
|
|
tcg_out_opc_imm(s, OPC_SW, datalo, base, 0);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-05-03 02:01:31 +04:00
|
|
|
|
|
|
|
case MO_64 | MO_BSWAP:
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_bswap32(s, TCG_TMP1, datalo);
|
|
|
|
tcg_out_opc_imm(s, OPC_SW, TCG_TMP1, base, HI_OFF);
|
|
|
|
tcg_out_bswap32(s, TCG_TMP1, datahi);
|
|
|
|
tcg_out_opc_imm(s, OPC_SW, TCG_TMP1, base, LO_OFF);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-05-03 02:01:31 +04:00
|
|
|
case MO_64:
|
|
|
|
tcg_out_opc_imm(s, OPC_SW, datalo, base, LO_OFF);
|
|
|
|
tcg_out_opc_imm(s, OPC_SW, datahi, base, HI_OFF);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-05-03 02:01:31 +04:00
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
default:
|
|
|
|
tcg_abort();
|
|
|
|
}
|
2014-05-03 02:01:31 +04:00
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-04-14 22:10:11 +04:00
|
|
|
static void tcg_out_qemu_st(TCGContext *s, const TCGArg *args, bool is_64)
|
2014-05-03 02:01:31 +04:00
|
|
|
{
|
|
|
|
TCGReg addr_regl, addr_regh __attribute__((unused));
|
|
|
|
TCGReg data_regl, data_regh, base;
|
2015-05-12 21:51:44 +03:00
|
|
|
TCGMemOpIdx oi;
|
2014-04-14 22:10:11 +04:00
|
|
|
TCGMemOp opc;
|
2014-05-03 02:01:31 +04:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
|
|
|
tcg_insn_unit *label_ptr[2];
|
|
|
|
#endif
|
|
|
|
|
|
|
|
data_regl = *args++;
|
2014-04-14 22:10:11 +04:00
|
|
|
data_regh = (is_64 ? *args++ : 0);
|
2014-05-03 02:01:31 +04:00
|
|
|
addr_regl = *args++;
|
|
|
|
addr_regh = (TARGET_LONG_BITS == 64 ? *args++ : 0);
|
2015-05-12 21:51:44 +03:00
|
|
|
oi = *args++;
|
|
|
|
opc = get_memop(oi);
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-05-03 02:01:31 +04:00
|
|
|
#if defined(CONFIG_SOFTMMU)
|
|
|
|
/* Note that we eliminated the helper's address argument,
|
|
|
|
so we can reuse that for the base. */
|
|
|
|
base = (TARGET_LONG_BITS == 32 ? TCG_REG_A1 : TCG_REG_A2);
|
2015-07-10 23:10:02 +03:00
|
|
|
tcg_out_tlb_load(s, base, addr_regl, addr_regh, oi, label_ptr, 0);
|
2014-05-03 02:01:31 +04:00
|
|
|
tcg_out_qemu_st_direct(s, data_regl, data_regh, base, opc);
|
2015-05-13 19:10:33 +03:00
|
|
|
add_qemu_ldst_label(s, 0, oi, data_regl, data_regh, addr_regl, addr_regh,
|
|
|
|
s->code_ptr, label_ptr);
|
2010-03-27 19:31:04 +03:00
|
|
|
#else
|
2015-08-24 15:53:54 +03:00
|
|
|
if (guest_base == 0) {
|
2014-05-03 02:01:31 +04:00
|
|
|
base = addr_regl;
|
2010-03-27 19:31:04 +03:00
|
|
|
} else {
|
2014-05-03 02:01:31 +04:00
|
|
|
base = TCG_REG_A0;
|
2015-08-24 15:53:54 +03:00
|
|
|
if (guest_base == (int16_t)guest_base) {
|
|
|
|
tcg_out_opc_imm(s, OPC_ADDIU, base, addr_regl, guest_base);
|
2009-10-17 16:17:47 +04:00
|
|
|
} else {
|
2015-08-24 15:53:54 +03:00
|
|
|
tcg_out_movi(s, TCG_TYPE_PTR, base, guest_base);
|
2014-05-03 02:01:31 +04:00
|
|
|
tcg_out_opc_reg(s, OPC_ADDU, base, base, addr_regl);
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
}
|
2014-05-03 02:01:31 +04:00
|
|
|
tcg_out_qemu_st_direct(s, data_regl, data_regh, base, opc);
|
2009-10-17 16:17:47 +04:00
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
2010-03-19 21:12:29 +03:00
|
|
|
static inline void tcg_out_op(TCGContext *s, TCGOpcode opc,
|
2009-10-17 16:17:47 +04:00
|
|
|
const TCGArg *args, const int *const_args)
|
|
|
|
{
|
2014-04-16 07:30:46 +04:00
|
|
|
MIPSInsn i1, i2;
|
2014-04-16 06:05:52 +04: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 16:17:47 +04:00
|
|
|
case INDEX_op_exit_tb:
|
2014-03-23 21:15:21 +04:00
|
|
|
{
|
|
|
|
TCGReg b0 = TCG_REG_ZERO;
|
|
|
|
|
|
|
|
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 20:07:52 +04:00
|
|
|
tcg_out_movi(s, TCG_TYPE_PTR, TCG_TMP0,
|
2014-03-23 21:15:21 +04:00
|
|
|
(uintptr_t)tb_ret_addr);
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_reg(s, OPC_JR, 0, TCG_TMP0, 0);
|
2014-03-23 21:15:21 +04:00
|
|
|
}
|
|
|
|
tcg_out_opc_imm(s, OPC_ORI, TCG_REG_V0, b0, a0 & 0xffff);
|
2014-03-23 20:57:18 +04:00
|
|
|
}
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
|
|
|
case INDEX_op_goto_tb:
|
2016-04-10 23:35:45 +03:00
|
|
|
if (s->tb_jmp_insn_offset) {
|
2009-10-17 16:17:47 +04:00
|
|
|
/* direct jump method */
|
2016-04-10 23:35:45 +03:00
|
|
|
s->tb_jmp_insn_offset[a0] = tcg_current_code_size(s);
|
2014-04-24 23:39:20 +04:00
|
|
|
/* Avoid clobbering the address during retranslation. */
|
|
|
|
tcg_out32(s, OPC_J | (*(uint32_t *)s->code_ptr & 0x3ffffff));
|
2009-10-17 16:17:47 +04:00
|
|
|
} else {
|
|
|
|
/* indirect jump method */
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_ld(s, TCG_TYPE_PTR, TCG_TMP0, TCG_REG_ZERO,
|
2016-04-10 23:35:45 +03:00
|
|
|
(uintptr_t)(s->tb_jmp_target_addr + a0));
|
2014-04-15 20:07:52 +04:00
|
|
|
tcg_out_opc_reg(s, OPC_JR, 0, TCG_TMP0, 0);
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
tcg_out_nop(s);
|
2016-04-10 23:35:45 +03:00
|
|
|
s->tb_jmp_reset_offset[a0] = tcg_current_code_size(s);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
|
|
|
case INDEX_op_br:
|
2015-02-14 00:39:54 +03:00
|
|
|
tcg_out_brcond(s, TCG_COND_EQ, TCG_REG_ZERO, TCG_REG_ZERO,
|
|
|
|
arg_label(a0));
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
|
|
|
|
|
|
|
case INDEX_op_ld8u_i32:
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_LBU;
|
|
|
|
goto do_ldst;
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_ld8s_i32:
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_LB;
|
|
|
|
goto do_ldst;
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_ld16u_i32:
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_LHU;
|
|
|
|
goto do_ldst;
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_ld16s_i32:
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_LH;
|
|
|
|
goto do_ldst;
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_ld_i32:
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_LW;
|
|
|
|
goto do_ldst;
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_st8_i32:
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_SB;
|
|
|
|
goto do_ldst;
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_st16_i32:
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_SH;
|
|
|
|
goto do_ldst;
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_st_i32:
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_SW;
|
|
|
|
do_ldst:
|
|
|
|
tcg_out_ldst(s, i1, a0, a1, a2);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
|
|
|
|
|
|
|
case INDEX_op_add_i32:
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_ADDU, i2 = OPC_ADDIU;
|
|
|
|
goto do_binary;
|
|
|
|
case INDEX_op_or_i32:
|
|
|
|
i1 = OPC_OR, i2 = OPC_ORI;
|
|
|
|
goto do_binary;
|
|
|
|
case INDEX_op_xor_i32:
|
|
|
|
i1 = OPC_XOR, i2 = OPC_XORI;
|
|
|
|
do_binary:
|
2014-04-16 06:05:52 +04:00
|
|
|
if (c2) {
|
2014-04-16 07:30:46 +04:00
|
|
|
tcg_out_opc_imm(s, i2, a0, a1, a2);
|
|
|
|
break;
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
2014-04-16 07:30:46 +04:00
|
|
|
do_binaryv:
|
|
|
|
tcg_out_opc_reg(s, i1, a0, a1, a2);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-04-16 07:30:46 +04:00
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_sub_i32:
|
2014-04-16 06:05:52 +04:00
|
|
|
if (c2) {
|
|
|
|
tcg_out_opc_imm(s, OPC_ADDIU, a0, a1, -a2);
|
2014-04-16 07:30:46 +04:00
|
|
|
break;
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_SUBU;
|
|
|
|
goto do_binary;
|
|
|
|
case INDEX_op_and_i32:
|
|
|
|
if (c2 && a2 != (uint16_t)a2) {
|
|
|
|
int msb = ctz32(~a2) - 1;
|
2016-04-21 11:48:49 +03:00
|
|
|
tcg_debug_assert(use_mips32r2_instructions);
|
|
|
|
tcg_debug_assert(is_p2m1(a2));
|
2014-04-16 07:30:46 +04:00
|
|
|
tcg_out_opc_bf(s, OPC_EXT, a0, a1, msb, 0);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
i1 = OPC_AND, i2 = OPC_ANDI;
|
|
|
|
goto do_binary;
|
|
|
|
case INDEX_op_nor_i32:
|
|
|
|
i1 = OPC_NOR;
|
|
|
|
goto do_binaryv;
|
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_mul_i32:
|
2013-08-15 19:57:59 +04:00
|
|
|
if (use_mips32_instructions) {
|
2014-04-16 06:05:52 +04:00
|
|
|
tcg_out_opc_reg(s, OPC_MUL, a0, a1, a2);
|
2014-04-16 07:30:46 +04:00
|
|
|
break;
|
2013-08-15 19:57:59 +04:00
|
|
|
}
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_MULT, i2 = OPC_MFLO;
|
|
|
|
goto do_hilo1;
|
2013-08-15 01:41:43 +04:00
|
|
|
case INDEX_op_mulsh_i32:
|
2015-10-02 15:24:16 +03:00
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_MUH, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_MULT, i2 = OPC_MFHI;
|
|
|
|
goto do_hilo1;
|
2013-08-15 01:41:43 +04:00
|
|
|
case INDEX_op_muluh_i32:
|
2015-10-02 15:24:16 +03:00
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_MUHU, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_MULTU, i2 = OPC_MFHI;
|
|
|
|
goto do_hilo1;
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_div_i32:
|
2015-10-02 15:24:16 +03:00
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_DIV_R6, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_DIV, i2 = OPC_MFLO;
|
|
|
|
goto do_hilo1;
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_divu_i32:
|
2015-10-02 15:24:16 +03:00
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_DIVU_R6, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_DIVU, i2 = OPC_MFLO;
|
|
|
|
goto do_hilo1;
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_rem_i32:
|
2015-10-02 15:24:16 +03:00
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_MOD, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_DIV, i2 = OPC_MFHI;
|
|
|
|
goto do_hilo1;
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_remu_i32:
|
2015-10-02 15:24:16 +03:00
|
|
|
if (use_mips32r6_instructions) {
|
|
|
|
tcg_out_opc_reg(s, OPC_MODU, a0, a1, a2);
|
|
|
|
break;
|
|
|
|
}
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_DIVU, i2 = OPC_MFHI;
|
|
|
|
do_hilo1:
|
|
|
|
tcg_out_opc_reg(s, i1, 0, a1, a2);
|
|
|
|
tcg_out_opc_reg(s, i2, a0, 0, 0);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
|
|
|
|
2014-04-16 07:30:46 +04:00
|
|
|
case INDEX_op_muls2_i32:
|
|
|
|
i1 = OPC_MULT;
|
|
|
|
goto do_hilo2;
|
|
|
|
case INDEX_op_mulu2_i32:
|
|
|
|
i1 = OPC_MULTU;
|
|
|
|
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 18:32:55 +03:00
|
|
|
break;
|
2014-04-16 07:30:46 +04:00
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_not_i32:
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_NOR;
|
|
|
|
goto do_unary;
|
|
|
|
case INDEX_op_bswap16_i32:
|
|
|
|
i1 = OPC_WSBH;
|
|
|
|
goto do_unary;
|
|
|
|
case INDEX_op_ext8s_i32:
|
|
|
|
i1 = OPC_SEB;
|
|
|
|
goto do_unary;
|
|
|
|
case INDEX_op_ext16s_i32:
|
|
|
|
i1 = OPC_SEH;
|
|
|
|
do_unary:
|
|
|
|
tcg_out_opc_reg(s, i1, a0, TCG_REG_ZERO, a1);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
|
|
|
|
|
|
|
case INDEX_op_sar_i32:
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_SRAV, i2 = OPC_SRA;
|
|
|
|
goto do_shift;
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_shl_i32:
|
2014-04-16 07:30:46 +04:00
|
|
|
i1 = OPC_SLLV, i2 = OPC_SLL;
|
|
|
|
goto do_shift;
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_shr_i32:
|
2014-04-16 07:30:46 +04: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 06:05:52 +04:00
|
|
|
if (c2) {
|
2014-04-16 07:30:46 +04:00
|
|
|
tcg_out_opc_sa(s, i2, a0, a1, a2);
|
2009-10-17 16:17:47 +04:00
|
|
|
} else {
|
2014-04-16 07:30:46 +04:00
|
|
|
tcg_out_opc_reg(s, i1, a0, a2, a1);
|
2009-10-17 16:17:47 +04:00
|
|
|
}
|
|
|
|
break;
|
2012-09-21 20:20:26 +04:00
|
|
|
case INDEX_op_rotl_i32:
|
2014-04-16 06:05:52 +04:00
|
|
|
if (c2) {
|
|
|
|
tcg_out_opc_sa(s, OPC_ROTR, a0, a1, 32 - a2);
|
2012-09-21 20:20:26 +04:00
|
|
|
} else {
|
2014-04-16 06:05:52 +04: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 20:20:26 +04:00
|
|
|
}
|
|
|
|
break;
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
case INDEX_op_bswap32_i32:
|
2014-04-16 06:05:52 +04:00
|
|
|
tcg_out_opc_reg(s, OPC_WSBH, a0, 0, a1);
|
|
|
|
tcg_out_opc_sa(s, OPC_ROTR, a0, a0, 16);
|
2012-09-21 20:20:26 +04:00
|
|
|
break;
|
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
case INDEX_op_deposit_i32:
|
2014-04-16 06:05:52 +04:00
|
|
|
tcg_out_opc_bf(s, OPC_INS, a0, a2, args[3] + args[4] - 1, args[3]);
|
2012-09-21 20:20:26 +04:00
|
|
|
break;
|
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
case INDEX_op_brcond_i32:
|
2015-02-14 00:39:54 +03:00
|
|
|
tcg_out_brcond(s, a2, a0, a1, arg_label(args[3]));
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
|
|
|
case INDEX_op_brcond2_i32:
|
2015-02-14 00:39:54 +03:00
|
|
|
tcg_out_brcond2(s, args[4], a0, a1, a2, args[3], arg_label(args[5]));
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
case INDEX_op_movcond_i32:
|
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 15:24:17 +03:00
|
|
|
tcg_out_movcond(s, args[5], a0, a1, a2, args[3], args[4]);
|
2012-09-21 20:20:26 +04:00
|
|
|
break;
|
|
|
|
|
2010-02-08 18:37:37 +03:00
|
|
|
case INDEX_op_setcond_i32:
|
2014-04-16 06:05:52 +04:00
|
|
|
tcg_out_setcond(s, args[3], a0, a1, a2);
|
2010-02-08 18:37:37 +03:00
|
|
|
break;
|
2010-02-08 21:05:00 +03:00
|
|
|
case INDEX_op_setcond2_i32:
|
2014-04-16 06:05:52 +04:00
|
|
|
tcg_out_setcond2(s, args[5], a0, a1, a2, args[3], args[4]);
|
2010-02-08 21:05:00 +03:00
|
|
|
break;
|
2010-02-08 18:37:37 +03:00
|
|
|
|
2014-04-14 22:10:11 +04:00
|
|
|
case INDEX_op_qemu_ld_i32:
|
|
|
|
tcg_out_qemu_ld(s, args, false);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-04-14 22:10:11 +04:00
|
|
|
case INDEX_op_qemu_ld_i64:
|
|
|
|
tcg_out_qemu_ld(s, args, true);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-04-14 22:10:11 +04:00
|
|
|
case INDEX_op_qemu_st_i32:
|
|
|
|
tcg_out_qemu_st(s, args, false);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
2014-04-14 22:10:11 +04:00
|
|
|
case INDEX_op_qemu_st_i64:
|
|
|
|
tcg_out_qemu_st(s, args, true);
|
2009-10-17 16:17:47 +04:00
|
|
|
break;
|
|
|
|
|
2014-04-24 06:56:44 +04: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;
|
|
|
|
|
2014-04-25 23:19:33 +04:00
|
|
|
case INDEX_op_mov_i32: /* Always emitted via tcg_out_mov. */
|
|
|
|
case INDEX_op_movi_i32: /* Always emitted via tcg_out_movi. */
|
|
|
|
case INDEX_op_call: /* Always emitted via tcg_out_call. */
|
2009-10-17 16:17:47 +04: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 20:20:25 +04:00
|
|
|
{ INDEX_op_add_i32, { "r", "rZ", "rJ" } },
|
2009-10-17 16:17:47 +04:00
|
|
|
{ INDEX_op_mul_i32, { "r", "rZ", "rZ" } },
|
2015-10-02 15:24:16 +03:00
|
|
|
#if !use_mips32r6_instructions
|
2013-03-24 04:52:07 +04:00
|
|
|
{ INDEX_op_muls2_i32, { "r", "r", "rZ", "rZ" } },
|
2009-10-17 16:17:47 +04:00
|
|
|
{ INDEX_op_mulu2_i32, { "r", "r", "rZ", "rZ" } },
|
2015-10-02 15:24:16 +03:00
|
|
|
#endif
|
2013-08-15 01:41:43 +04:00
|
|
|
{ INDEX_op_mulsh_i32, { "r", "rZ", "rZ" } },
|
|
|
|
{ INDEX_op_muluh_i32, { "r", "rZ", "rZ" } },
|
2009-10-17 16:17:47 +04: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 05:54:07 +04:00
|
|
|
{ INDEX_op_sub_i32, { "r", "rZ", "rN" } },
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-04-15 20:27:40 +04:00
|
|
|
{ INDEX_op_and_i32, { "r", "rZ", "rIK" } },
|
2010-03-27 18:32:55 +03:00
|
|
|
{ INDEX_op_nor_i32, { "r", "rZ", "rZ" } },
|
2009-10-17 16:17:47 +04:00
|
|
|
{ INDEX_op_not_i32, { "r", "rZ" } },
|
|
|
|
{ INDEX_op_or_i32, { "r", "rZ", "rIZ" } },
|
|
|
|
{ INDEX_op_xor_i32, { "r", "rZ", "rIZ" } },
|
|
|
|
|
2012-09-21 20:20:25 +04: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 20:20:26 +04:00
|
|
|
{ INDEX_op_rotr_i32, { "r", "rZ", "ri" } },
|
|
|
|
{ INDEX_op_rotl_i32, { "r", "rZ", "ri" } },
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
{ INDEX_op_bswap16_i32, { "r", "r" } },
|
|
|
|
{ INDEX_op_bswap32_i32, { "r", "r" } },
|
|
|
|
|
2010-04-05 15:19:56 +04:00
|
|
|
{ INDEX_op_ext8s_i32, { "r", "rZ" } },
|
|
|
|
{ INDEX_op_ext16s_i32, { "r", "rZ" } },
|
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
{ INDEX_op_deposit_i32, { "r", "0", "rZ" } },
|
|
|
|
|
2009-10-17 16:17:47 +04: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 15:24:17 +03:00
|
|
|
#if use_mips32r6_instructions
|
|
|
|
{ INDEX_op_movcond_i32, { "r", "rZ", "rZ", "rZ", "rZ" } },
|
|
|
|
#else
|
2012-09-21 20:20:26 +04: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 15:24:17 +03:00
|
|
|
#endif
|
2010-02-08 18:37:37 +03:00
|
|
|
{ INDEX_op_setcond_i32, { "r", "rZ", "rZ" } },
|
2010-02-08 21:05:00 +03:00
|
|
|
{ INDEX_op_setcond2_i32, { "r", "rZ", "rZ", "rZ", "rZ" } },
|
2009-10-17 16:17:47 +04:00
|
|
|
|
2014-04-24 06:56:44 +04:00
|
|
|
{ INDEX_op_add2_i32, { "r", "r", "rZ", "rZ", "rN", "rN" } },
|
2014-04-16 05:54:07 +04:00
|
|
|
{ INDEX_op_sub2_i32, { "r", "r", "rZ", "rZ", "rN", "rN" } },
|
2009-10-17 16:17:47 +04:00
|
|
|
{ INDEX_op_brcond2_i32, { "rZ", "rZ", "rZ", "rZ" } },
|
|
|
|
|
|
|
|
#if TARGET_LONG_BITS == 32
|
2014-04-14 22:10:11 +04:00
|
|
|
{ INDEX_op_qemu_ld_i32, { "L", "lZ" } },
|
|
|
|
{ INDEX_op_qemu_st_i32, { "SZ", "SZ" } },
|
|
|
|
{ INDEX_op_qemu_ld_i64, { "L", "L", "lZ" } },
|
|
|
|
{ INDEX_op_qemu_st_i64, { "SZ", "SZ", "SZ" } },
|
2009-10-17 16:17:47 +04:00
|
|
|
#else
|
2014-04-14 22:10:11 +04:00
|
|
|
{ INDEX_op_qemu_ld_i32, { "L", "lZ", "lZ" } },
|
|
|
|
{ INDEX_op_qemu_st_i32, { "SZ", "SZ", "SZ" } },
|
|
|
|
{ INDEX_op_qemu_ld_i64, { "L", "L", "lZ", "lZ" } },
|
|
|
|
{ INDEX_op_qemu_st_i64, { "SZ", "SZ", "SZ", "SZ" } },
|
2009-10-17 16:17:47 +04:00
|
|
|
#endif
|
|
|
|
{ -1 },
|
|
|
|
};
|
|
|
|
|
|
|
|
static int tcg_target_callee_save_regs[] = {
|
2011-05-15 20:03:25 +04:00
|
|
|
TCG_REG_S0, /* used for the global env (TCG_AREG0) */
|
2009-10-17 16:17:47 +04: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 20:03:59 +04:00
|
|
|
TCG_REG_S8,
|
2009-10-17 16:17:47 +04:00
|
|
|
TCG_REG_RA, /* should be last for ABI compliance */
|
|
|
|
};
|
|
|
|
|
2013-08-15 19:57:59 +04: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);
|
|
|
|
}
|
|
|
|
|
2009-10-17 16:17:47 +04:00
|
|
|
/* Generate global QEMU prologue and epilogue code */
|
2010-06-03 04:26:56 +04:00
|
|
|
static void tcg_target_qemu_prologue(TCGContext *s)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
|
|
|
int i, frame_size;
|
|
|
|
|
2012-09-21 20:20:26 +04:00
|
|
|
/* reserve some stack space, also for TCG temps. */
|
2009-10-17 16:17:47 +04:00
|
|
|
frame_size = ARRAY_SIZE(tcg_target_callee_save_regs) * 4
|
2012-09-21 20:20:26 +04:00
|
|
|
+ TCG_STATIC_CALL_ARGS_SIZE
|
|
|
|
+ CPU_TEMP_BUF_NLONGS * sizeof(long);
|
2009-10-17 16:17:47 +04:00
|
|
|
frame_size = (frame_size + TCG_TARGET_STACK_ALIGN - 1) &
|
|
|
|
~(TCG_TARGET_STACK_ALIGN - 1);
|
2012-09-22 21:24:49 +04:00
|
|
|
tcg_set_frame(s, TCG_REG_SP, ARRAY_SIZE(tcg_target_callee_save_regs) * 4
|
|
|
|
+ TCG_STATIC_CALL_ARGS_SIZE,
|
2012-09-21 20:20:26 +04:00
|
|
|
CPU_TEMP_BUF_NLONGS * sizeof(long));
|
2009-10-17 16:17:47 +04:00
|
|
|
|
|
|
|
/* TB prologue */
|
|
|
|
tcg_out_addi(s, TCG_REG_SP, -frame_size);
|
|
|
|
for(i = 0 ; i < ARRAY_SIZE(tcg_target_callee_save_regs) ; i++) {
|
|
|
|
tcg_out_st(s, TCG_TYPE_I32, tcg_target_callee_save_regs[i],
|
|
|
|
TCG_REG_SP, TCG_STATIC_CALL_ARGS_SIZE + i * 4);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Call generated code */
|
2011-07-20 22:56:36 +04:00
|
|
|
tcg_out_opc_reg(s, OPC_JR, 0, tcg_target_call_iarg_regs[1], 0);
|
2011-05-15 20:03:25 +04:00
|
|
|
tcg_out_mov(s, TCG_TYPE_PTR, TCG_AREG0, tcg_target_call_iarg_regs[0]);
|
2009-10-17 16:17:47 +04:00
|
|
|
tb_ret_addr = s->code_ptr;
|
|
|
|
|
|
|
|
/* TB epilogue */
|
|
|
|
for(i = 0 ; i < ARRAY_SIZE(tcg_target_callee_save_regs) ; i++) {
|
|
|
|
tcg_out_ld(s, TCG_TYPE_I32, tcg_target_callee_save_regs[i],
|
|
|
|
TCG_REG_SP, TCG_STATIC_CALL_ARGS_SIZE + i * 4);
|
|
|
|
}
|
|
|
|
|
|
|
|
tcg_out_opc_reg(s, OPC_JR, 0, TCG_REG_RA, 0);
|
|
|
|
tcg_out_addi(s, TCG_REG_SP, frame_size);
|
|
|
|
}
|
|
|
|
|
2010-06-03 04:26:56 +04:00
|
|
|
static void tcg_target_init(TCGContext *s)
|
2009-10-17 16:17:47 +04:00
|
|
|
{
|
2013-08-15 19:57:59 +04:00
|
|
|
tcg_target_detect_isa();
|
2009-10-17 16:17:47 +04:00
|
|
|
tcg_regset_set(tcg_target_available_regs[TCG_TYPE_I32], 0xffffffff);
|
|
|
|
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 20:03:59 +04:00
|
|
|
(1 << TCG_REG_T0) |
|
2009-10-17 16:17:47 +04: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 20:07:52 +04:00
|
|
|
tcg_regset_set_reg(s->reserved_regs, TCG_TMP0); /* internal use */
|
|
|
|
tcg_regset_set_reg(s->reserved_regs, TCG_TMP1); /* internal use */
|
2009-10-17 16:17:47 +04: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 20:20:26 +04:00
|
|
|
tcg_regset_set_reg(s->reserved_regs, TCG_REG_GP); /* global pointer */
|
2009-10-17 16:17:47 +04:00
|
|
|
|
|
|
|
tcg_add_target_add_op_defs(mips_op_defs);
|
|
|
|
}
|
2014-04-24 23:39:20 +04:00
|
|
|
|
|
|
|
void tb_set_jmp_target1(uintptr_t jmp_addr, uintptr_t addr)
|
|
|
|
{
|
2016-04-22 19:08:52 +03:00
|
|
|
atomic_set((uint32_t *)jmp_addr, deposit32(OPC_J, 0, 26, addr >> 2));
|
2014-04-24 23:39:20 +04:00
|
|
|
flush_icache_range(jmp_addr, jmp_addr + 4);
|
|
|
|
}
|