tcg: Support TCG_TYPE_I128 in tcg_out_{ld,st}_helper_{args,ret}

Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
This commit is contained in:
Richard Henderson 2023-04-17 10:20:51 +02:00
parent 8d31404100
commit ebebea53ef
1 changed files with 163 additions and 33 deletions

196
tcg/tcg.c
View File

@ -206,6 +206,7 @@ static void * const qemu_ld_helpers[MO_SSIZE + 1] __attribute__((unused)) = {
[MO_UQ] = helper_ldq_mmu, [MO_UQ] = helper_ldq_mmu,
#if TCG_TARGET_REG_BITS == 64 #if TCG_TARGET_REG_BITS == 64
[MO_SL] = helper_ldsl_mmu, [MO_SL] = helper_ldsl_mmu,
[MO_128] = helper_ld16_mmu,
#endif #endif
}; };
@ -214,6 +215,9 @@ static void * const qemu_st_helpers[MO_SIZE + 1] __attribute__((unused)) = {
[MO_16] = helper_stw_mmu, [MO_16] = helper_stw_mmu,
[MO_32] = helper_stl_mmu, [MO_32] = helper_stl_mmu,
[MO_64] = helper_stq_mmu, [MO_64] = helper_stq_mmu,
#if TCG_TARGET_REG_BITS == 64
[MO_128] = helper_st16_mmu,
#endif
}; };
TCGContext tcg_init_ctx; TCGContext tcg_init_ctx;
@ -866,6 +870,15 @@ static TCGHelperInfo info_helper_ld64_mmu = {
| dh_typemask(ptr, 4) /* uintptr_t ra */ | dh_typemask(ptr, 4) /* uintptr_t ra */
}; };
static TCGHelperInfo info_helper_ld128_mmu = {
.flags = TCG_CALL_NO_WG,
.typemask = dh_typemask(i128, 0) /* return Int128 */
| dh_typemask(env, 1)
| dh_typemask(tl, 2) /* target_ulong addr */
| dh_typemask(i32, 3) /* unsigned oi */
| dh_typemask(ptr, 4) /* uintptr_t ra */
};
static TCGHelperInfo info_helper_st32_mmu = { static TCGHelperInfo info_helper_st32_mmu = {
.flags = TCG_CALL_NO_WG, .flags = TCG_CALL_NO_WG,
.typemask = dh_typemask(void, 0) .typemask = dh_typemask(void, 0)
@ -886,6 +899,16 @@ static TCGHelperInfo info_helper_st64_mmu = {
| dh_typemask(ptr, 5) /* uintptr_t ra */ | dh_typemask(ptr, 5) /* uintptr_t ra */
}; };
static TCGHelperInfo info_helper_st128_mmu = {
.flags = TCG_CALL_NO_WG,
.typemask = dh_typemask(void, 0)
| dh_typemask(env, 1)
| dh_typemask(tl, 2) /* target_ulong addr */
| dh_typemask(i128, 3) /* Int128 data */
| dh_typemask(i32, 4) /* unsigned oi */
| dh_typemask(ptr, 5) /* uintptr_t ra */
};
#ifdef CONFIG_TCG_INTERPRETER #ifdef CONFIG_TCG_INTERPRETER
static ffi_type *typecode_to_ffi(int argmask) static ffi_type *typecode_to_ffi(int argmask)
{ {
@ -1299,8 +1322,10 @@ static void tcg_context_init(unsigned max_cpus)
init_call_layout(&info_helper_ld32_mmu); init_call_layout(&info_helper_ld32_mmu);
init_call_layout(&info_helper_ld64_mmu); init_call_layout(&info_helper_ld64_mmu);
init_call_layout(&info_helper_ld128_mmu);
init_call_layout(&info_helper_st32_mmu); init_call_layout(&info_helper_st32_mmu);
init_call_layout(&info_helper_st64_mmu); init_call_layout(&info_helper_st64_mmu);
init_call_layout(&info_helper_st128_mmu);
#ifdef CONFIG_TCG_INTERPRETER #ifdef CONFIG_TCG_INTERPRETER
init_ffi_layouts(); init_ffi_layouts();
@ -5401,6 +5426,8 @@ static unsigned tcg_out_helper_add_mov(TCGMovExtend *mov,
TCGType dst_type, TCGType src_type, TCGType dst_type, TCGType src_type,
TCGReg lo, TCGReg hi) TCGReg lo, TCGReg hi)
{ {
MemOp reg_mo;
if (dst_type <= TCG_TYPE_REG) { if (dst_type <= TCG_TYPE_REG) {
MemOp src_ext; MemOp src_ext;
@ -5428,19 +5455,25 @@ static unsigned tcg_out_helper_add_mov(TCGMovExtend *mov,
return 1; return 1;
} }
assert(TCG_TARGET_REG_BITS == 32); if (TCG_TARGET_REG_BITS == 32) {
assert(dst_type == TCG_TYPE_I64);
reg_mo = MO_32;
} else {
assert(dst_type == TCG_TYPE_I128);
reg_mo = MO_64;
}
mov[0].dst = loc[HOST_BIG_ENDIAN].arg_slot; mov[0].dst = loc[HOST_BIG_ENDIAN].arg_slot;
mov[0].src = lo; mov[0].src = lo;
mov[0].dst_type = TCG_TYPE_I32; mov[0].dst_type = TCG_TYPE_REG;
mov[0].src_type = TCG_TYPE_I32; mov[0].src_type = TCG_TYPE_REG;
mov[0].src_ext = MO_32; mov[0].src_ext = reg_mo;
mov[1].dst = loc[!HOST_BIG_ENDIAN].arg_slot; mov[1].dst = loc[!HOST_BIG_ENDIAN].arg_slot;
mov[1].src = hi; mov[1].src = hi;
mov[1].dst_type = TCG_TYPE_I32; mov[1].dst_type = TCG_TYPE_REG;
mov[1].src_type = TCG_TYPE_I32; mov[1].src_type = TCG_TYPE_REG;
mov[1].src_ext = MO_32; mov[1].src_ext = reg_mo;
return 2; return 2;
} }
@ -5463,6 +5496,9 @@ static void tcg_out_ld_helper_args(TCGContext *s, const TCGLabelQemuLdst *ldst,
case MO_64: case MO_64:
info = &info_helper_ld64_mmu; info = &info_helper_ld64_mmu;
break; break;
case MO_128:
info = &info_helper_ld128_mmu;
break;
default: default:
g_assert_not_reached(); g_assert_not_reached();
} }
@ -5477,8 +5513,33 @@ static void tcg_out_ld_helper_args(TCGContext *s, const TCGLabelQemuLdst *ldst,
tcg_out_helper_load_slots(s, nmov, mov, parm); tcg_out_helper_load_slots(s, nmov, mov, parm);
/* No special attention for 32 and 64-bit return values. */ switch (info->out_kind) {
tcg_debug_assert(info->out_kind == TCG_CALL_RET_NORMAL); case TCG_CALL_RET_NORMAL:
case TCG_CALL_RET_BY_VEC:
break;
case TCG_CALL_RET_BY_REF:
/*
* The return reference is in the first argument slot.
* We need memory in which to return: re-use the top of stack.
*/
{
int ofs_slot0 = TCG_TARGET_CALL_STACK_OFFSET;
if (arg_slot_reg_p(0)) {
tcg_out_addi_ptr(s, tcg_target_call_iarg_regs[0],
TCG_REG_CALL_STACK, ofs_slot0);
} else {
tcg_debug_assert(parm->ntmp != 0);
tcg_out_addi_ptr(s, parm->tmp[0],
TCG_REG_CALL_STACK, ofs_slot0);
tcg_out_st(s, TCG_TYPE_PTR, parm->tmp[0],
TCG_REG_CALL_STACK, ofs_slot0);
}
}
break;
default:
g_assert_not_reached();
}
tcg_out_helper_load_common_args(s, ldst, parm, info, next_arg); tcg_out_helper_load_common_args(s, ldst, parm, info, next_arg);
} }
@ -5487,11 +5548,18 @@ static void tcg_out_ld_helper_ret(TCGContext *s, const TCGLabelQemuLdst *ldst,
bool load_sign, bool load_sign,
const TCGLdstHelperParam *parm) const TCGLdstHelperParam *parm)
{ {
MemOp mop = get_memop(ldst->oi);
TCGMovExtend mov[2]; TCGMovExtend mov[2];
int ofs_slot0;
if (ldst->type <= TCG_TYPE_REG) { switch (ldst->type) {
MemOp mop = get_memop(ldst->oi); case TCG_TYPE_I64:
if (TCG_TARGET_REG_BITS == 32) {
break;
}
/* fall through */
case TCG_TYPE_I32:
mov[0].dst = ldst->datalo_reg; mov[0].dst = ldst->datalo_reg;
mov[0].src = tcg_target_call_oarg_reg(TCG_CALL_RET_NORMAL, 0); mov[0].src = tcg_target_call_oarg_reg(TCG_CALL_RET_NORMAL, 0);
mov[0].dst_type = ldst->type; mov[0].dst_type = ldst->type;
@ -5517,25 +5585,49 @@ static void tcg_out_ld_helper_ret(TCGContext *s, const TCGLabelQemuLdst *ldst,
mov[0].src_ext = mop & MO_SSIZE; mov[0].src_ext = mop & MO_SSIZE;
} }
tcg_out_movext1(s, mov); tcg_out_movext1(s, mov);
} else { return;
assert(TCG_TARGET_REG_BITS == 32);
mov[0].dst = ldst->datalo_reg; case TCG_TYPE_I128:
mov[0].src = tcg_debug_assert(TCG_TARGET_REG_BITS == 64);
tcg_target_call_oarg_reg(TCG_CALL_RET_NORMAL, HOST_BIG_ENDIAN); ofs_slot0 = TCG_TARGET_CALL_STACK_OFFSET;
mov[0].dst_type = TCG_TYPE_I32; switch (TCG_TARGET_CALL_RET_I128) {
mov[0].src_type = TCG_TYPE_I32; case TCG_CALL_RET_NORMAL:
mov[0].src_ext = MO_32; break;
case TCG_CALL_RET_BY_VEC:
tcg_out_st(s, TCG_TYPE_V128,
tcg_target_call_oarg_reg(TCG_CALL_RET_BY_VEC, 0),
TCG_REG_CALL_STACK, ofs_slot0);
/* fall through */
case TCG_CALL_RET_BY_REF:
tcg_out_ld(s, TCG_TYPE_I64, ldst->datalo_reg,
TCG_REG_CALL_STACK, ofs_slot0 + 8 * HOST_BIG_ENDIAN);
tcg_out_ld(s, TCG_TYPE_I64, ldst->datahi_reg,
TCG_REG_CALL_STACK, ofs_slot0 + 8 * !HOST_BIG_ENDIAN);
return;
default:
g_assert_not_reached();
}
break;
mov[1].dst = ldst->datahi_reg; default:
mov[1].src = g_assert_not_reached();
tcg_target_call_oarg_reg(TCG_CALL_RET_NORMAL, !HOST_BIG_ENDIAN);
mov[1].dst_type = TCG_TYPE_REG;
mov[1].src_type = TCG_TYPE_REG;
mov[1].src_ext = MO_32;
tcg_out_movext2(s, mov, mov + 1, parm->ntmp ? parm->tmp[0] : -1);
} }
mov[0].dst = ldst->datalo_reg;
mov[0].src =
tcg_target_call_oarg_reg(TCG_CALL_RET_NORMAL, HOST_BIG_ENDIAN);
mov[0].dst_type = TCG_TYPE_I32;
mov[0].src_type = TCG_TYPE_I32;
mov[0].src_ext = TCG_TARGET_REG_BITS == 32 ? MO_32 : MO_64;
mov[1].dst = ldst->datahi_reg;
mov[1].src =
tcg_target_call_oarg_reg(TCG_CALL_RET_NORMAL, !HOST_BIG_ENDIAN);
mov[1].dst_type = TCG_TYPE_REG;
mov[1].src_type = TCG_TYPE_REG;
mov[1].src_ext = TCG_TARGET_REG_BITS == 32 ? MO_32 : MO_64;
tcg_out_movext2(s, mov, mov + 1, parm->ntmp ? parm->tmp[0] : -1);
} }
static void tcg_out_st_helper_args(TCGContext *s, const TCGLabelQemuLdst *ldst, static void tcg_out_st_helper_args(TCGContext *s, const TCGLabelQemuLdst *ldst,
@ -5559,6 +5651,10 @@ static void tcg_out_st_helper_args(TCGContext *s, const TCGLabelQemuLdst *ldst,
info = &info_helper_st64_mmu; info = &info_helper_st64_mmu;
data_type = TCG_TYPE_I64; data_type = TCG_TYPE_I64;
break; break;
case MO_128:
info = &info_helper_st128_mmu;
data_type = TCG_TYPE_I128;
break;
default: default:
g_assert_not_reached(); g_assert_not_reached();
} }
@ -5576,13 +5672,47 @@ static void tcg_out_st_helper_args(TCGContext *s, const TCGLabelQemuLdst *ldst,
/* Handle data argument. */ /* Handle data argument. */
loc = &info->in[next_arg]; loc = &info->in[next_arg];
n = tcg_out_helper_add_mov(mov + nmov, loc, data_type, ldst->type, switch (loc->kind) {
ldst->datalo_reg, ldst->datahi_reg); case TCG_CALL_ARG_NORMAL:
next_arg += n; case TCG_CALL_ARG_EXTEND_U:
nmov += n; case TCG_CALL_ARG_EXTEND_S:
tcg_debug_assert(nmov <= ARRAY_SIZE(mov)); n = tcg_out_helper_add_mov(mov + nmov, loc, data_type, ldst->type,
ldst->datalo_reg, ldst->datahi_reg);
next_arg += n;
nmov += n;
tcg_out_helper_load_slots(s, nmov, mov, parm);
break;
case TCG_CALL_ARG_BY_REF:
tcg_debug_assert(TCG_TARGET_REG_BITS == 64);
tcg_debug_assert(data_type == TCG_TYPE_I128);
tcg_out_st(s, TCG_TYPE_I64,
HOST_BIG_ENDIAN ? ldst->datahi_reg : ldst->datalo_reg,
TCG_REG_CALL_STACK, arg_slot_stk_ofs(loc[0].ref_slot));
tcg_out_st(s, TCG_TYPE_I64,
HOST_BIG_ENDIAN ? ldst->datalo_reg : ldst->datahi_reg,
TCG_REG_CALL_STACK, arg_slot_stk_ofs(loc[1].ref_slot));
tcg_out_helper_load_slots(s, nmov, mov, parm);
if (arg_slot_reg_p(loc->arg_slot)) {
tcg_out_addi_ptr(s, tcg_target_call_iarg_regs[loc->arg_slot],
TCG_REG_CALL_STACK,
arg_slot_stk_ofs(loc->ref_slot));
} else {
tcg_debug_assert(parm->ntmp != 0);
tcg_out_addi_ptr(s, parm->tmp[0], TCG_REG_CALL_STACK,
arg_slot_stk_ofs(loc->ref_slot));
tcg_out_st(s, TCG_TYPE_PTR, parm->tmp[0],
TCG_REG_CALL_STACK, arg_slot_stk_ofs(loc->arg_slot));
}
next_arg += 2;
break;
default:
g_assert_not_reached();
}
tcg_out_helper_load_slots(s, nmov, mov, parm);
tcg_out_helper_load_common_args(s, ldst, parm, info, next_arg); tcg_out_helper_load_common_args(s, ldst, parm, info, next_arg);
} }