tcg: Add gvec expanders for vector shift by scalar
Allow expansion either via shift by scalar or by replicating the scalar for shift by vector. Signed-off-by: Richard Henderson <richard.henderson@linaro.org> --- v3: Use a private structure for do_gvec_shifts.
This commit is contained in:
Richard Henderson
parent
79525dfd08
commit
b4578cd91c
@ -2555,6 +2555,220 @@ void tcg_gen_gvec_sari(unsigned vece, uint32_t dofs, uint32_t aofs,
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Specialized generation vector shifts by a non-constant scalar.
|
||||||
|
*/
|
||||||
|
|
||||||
|
typedef struct {
|
||||||
|
void (*fni4)(TCGv_i32, TCGv_i32, TCGv_i32);
|
||||||
|
void (*fni8)(TCGv_i64, TCGv_i64, TCGv_i64);
|
||||||
|
void (*fniv_s)(unsigned, TCGv_vec, TCGv_vec, TCGv_i32);
|
||||||
|
void (*fniv_v)(unsigned, TCGv_vec, TCGv_vec, TCGv_vec);
|
||||||
|
gen_helper_gvec_2 *fno[4];
|
||||||
|
TCGOpcode s_list[2];
|
||||||
|
TCGOpcode v_list[2];
|
||||||
|
} GVecGen2sh;
|
||||||
|
|
||||||
|
static void expand_2sh_vec(unsigned vece, uint32_t dofs, uint32_t aofs,
|
||||||
|
uint32_t oprsz, uint32_t tysz, TCGType type,
|
||||||
|
TCGv_i32 shift,
|
||||||
|
void (*fni)(unsigned, TCGv_vec, TCGv_vec, TCGv_i32))
|
||||||
|
{
|
||||||
|
TCGv_vec t0 = tcg_temp_new_vec(type);
|
||||||
|
uint32_t i;
|
||||||
|
|
||||||
|
for (i = 0; i < oprsz; i += tysz) {
|
||||||
|
tcg_gen_ld_vec(t0, cpu_env, aofs + i);
|
||||||
|
fni(vece, t0, t0, shift);
|
||||||
|
tcg_gen_st_vec(t0, cpu_env, dofs + i);
|
||||||
|
}
|
||||||
|
tcg_temp_free_vec(t0);
|
||||||
|
}
|
||||||
|
|
||||||
|
static void
|
||||||
|
do_gvec_shifts(unsigned vece, uint32_t dofs, uint32_t aofs, TCGv_i32 shift,
|
||||||
|
uint32_t oprsz, uint32_t maxsz, const GVecGen2sh *g)
|
||||||
|
{
|
||||||
|
TCGType type;
|
||||||
|
uint32_t some;
|
||||||
|
|
||||||
|
check_size_align(oprsz, maxsz, dofs | aofs);
|
||||||
|
check_overlap_2(dofs, aofs, maxsz);
|
||||||
|
|
||||||
|
/* If the backend has a scalar expansion, great. */
|
||||||
|
type = choose_vector_type(g->s_list, vece, oprsz, vece == MO_64);
|
||||||
|
if (type) {
|
||||||
|
const TCGOpcode *hold_list = tcg_swap_vecop_list(NULL);
|
||||||
|
switch (type) {
|
||||||
|
case TCG_TYPE_V256:
|
||||||
|
some = QEMU_ALIGN_DOWN(oprsz, 32);
|
||||||
|
expand_2sh_vec(vece, dofs, aofs, some, 32,
|
||||||
|
TCG_TYPE_V256, shift, g->fniv_s);
|
||||||
|
if (some == oprsz) {
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
dofs += some;
|
||||||
|
aofs += some;
|
||||||
|
oprsz -= some;
|
||||||
|
maxsz -= some;
|
||||||
|
/* fallthru */
|
||||||
|
case TCG_TYPE_V128:
|
||||||
|
expand_2sh_vec(vece, dofs, aofs, oprsz, 16,
|
||||||
|
TCG_TYPE_V128, shift, g->fniv_s);
|
||||||
|
break;
|
||||||
|
case TCG_TYPE_V64:
|
||||||
|
expand_2sh_vec(vece, dofs, aofs, oprsz, 8,
|
||||||
|
TCG_TYPE_V64, shift, g->fniv_s);
|
||||||
|
break;
|
||||||
|
default:
|
||||||
|
g_assert_not_reached();
|
||||||
|
}
|
||||||
|
tcg_swap_vecop_list(hold_list);
|
||||||
|
goto clear_tail;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* If the backend supports variable vector shifts, also cool. */
|
||||||
|
type = choose_vector_type(g->v_list, vece, oprsz, vece == MO_64);
|
||||||
|
if (type) {
|
||||||
|
const TCGOpcode *hold_list = tcg_swap_vecop_list(NULL);
|
||||||
|
TCGv_vec v_shift = tcg_temp_new_vec(type);
|
||||||
|
|
||||||
|
if (vece == MO_64) {
|
||||||
|
TCGv_i64 sh64 = tcg_temp_new_i64();
|
||||||
|
tcg_gen_extu_i32_i64(sh64, shift);
|
||||||
|
tcg_gen_dup_i64_vec(MO_64, v_shift, sh64);
|
||||||
|
tcg_temp_free_i64(sh64);
|
||||||
|
} else {
|
||||||
|
tcg_gen_dup_i32_vec(vece, v_shift, shift);
|
||||||
|
}
|
||||||
|
|
||||||
|
switch (type) {
|
||||||
|
case TCG_TYPE_V256:
|
||||||
|
some = QEMU_ALIGN_DOWN(oprsz, 32);
|
||||||
|
expand_2s_vec(vece, dofs, aofs, some, 32, TCG_TYPE_V256,
|
||||||
|
v_shift, false, g->fniv_v);
|
||||||
|
if (some == oprsz) {
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
dofs += some;
|
||||||
|
aofs += some;
|
||||||
|
oprsz -= some;
|
||||||
|
maxsz -= some;
|
||||||
|
/* fallthru */
|
||||||
|
case TCG_TYPE_V128:
|
||||||
|
expand_2s_vec(vece, dofs, aofs, oprsz, 16, TCG_TYPE_V128,
|
||||||
|
v_shift, false, g->fniv_v);
|
||||||
|
break;
|
||||||
|
case TCG_TYPE_V64:
|
||||||
|
expand_2s_vec(vece, dofs, aofs, oprsz, 8, TCG_TYPE_V64,
|
||||||
|
v_shift, false, g->fniv_v);
|
||||||
|
break;
|
||||||
|
default:
|
||||||
|
g_assert_not_reached();
|
||||||
|
}
|
||||||
|
tcg_temp_free_vec(v_shift);
|
||||||
|
tcg_swap_vecop_list(hold_list);
|
||||||
|
goto clear_tail;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* Otherwise fall back to integral... */
|
||||||
|
if (vece == MO_32 && check_size_impl(oprsz, 4)) {
|
||||||
|
expand_2s_i32(dofs, aofs, oprsz, shift, false, g->fni4);
|
||||||
|
} else if (vece == MO_64 && check_size_impl(oprsz, 8)) {
|
||||||
|
TCGv_i64 sh64 = tcg_temp_new_i64();
|
||||||
|
tcg_gen_extu_i32_i64(sh64, shift);
|
||||||
|
expand_2s_i64(dofs, aofs, oprsz, sh64, false, g->fni8);
|
||||||
|
tcg_temp_free_i64(sh64);
|
||||||
|
} else {
|
||||||
|
TCGv_ptr a0 = tcg_temp_new_ptr();
|
||||||
|
TCGv_ptr a1 = tcg_temp_new_ptr();
|
||||||
|
TCGv_i32 desc = tcg_temp_new_i32();
|
||||||
|
|
||||||
|
tcg_gen_shli_i32(desc, shift, SIMD_DATA_SHIFT);
|
||||||
|
tcg_gen_ori_i32(desc, desc, simd_desc(oprsz, maxsz, 0));
|
||||||
|
tcg_gen_addi_ptr(a0, cpu_env, dofs);
|
||||||
|
tcg_gen_addi_ptr(a1, cpu_env, aofs);
|
||||||
|
|
||||||
|
g->fno[vece](a0, a1, desc);
|
||||||
|
|
||||||
|
tcg_temp_free_ptr(a0);
|
||||||
|
tcg_temp_free_ptr(a1);
|
||||||
|
tcg_temp_free_i32(desc);
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
clear_tail:
|
||||||
|
if (oprsz < maxsz) {
|
||||||
|
expand_clr(dofs + oprsz, maxsz - oprsz);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
void tcg_gen_gvec_shls(unsigned vece, uint32_t dofs, uint32_t aofs,
|
||||||
|
TCGv_i32 shift, uint32_t oprsz, uint32_t maxsz)
|
||||||
|
{
|
||||||
|
static const GVecGen2sh g = {
|
||||||
|
.fni4 = tcg_gen_shl_i32,
|
||||||
|
.fni8 = tcg_gen_shl_i64,
|
||||||
|
.fniv_s = tcg_gen_shls_vec,
|
||||||
|
.fniv_v = tcg_gen_shlv_vec,
|
||||||
|
.fno = {
|
||||||
|
gen_helper_gvec_shl8i,
|
||||||
|
gen_helper_gvec_shl16i,
|
||||||
|
gen_helper_gvec_shl32i,
|
||||||
|
gen_helper_gvec_shl64i,
|
||||||
|
},
|
||||||
|
.s_list = { INDEX_op_shls_vec, 0 },
|
||||||
|
.v_list = { INDEX_op_shlv_vec, 0 },
|
||||||
|
};
|
||||||
|
|
||||||
|
tcg_debug_assert(vece <= MO_64);
|
||||||
|
do_gvec_shifts(vece, dofs, aofs, shift, oprsz, maxsz, &g);
|
||||||
|
}
|
||||||
|
|
||||||
|
void tcg_gen_gvec_shrs(unsigned vece, uint32_t dofs, uint32_t aofs,
|
||||||
|
TCGv_i32 shift, uint32_t oprsz, uint32_t maxsz)
|
||||||
|
{
|
||||||
|
static const GVecGen2sh g = {
|
||||||
|
.fni4 = tcg_gen_shr_i32,
|
||||||
|
.fni8 = tcg_gen_shr_i64,
|
||||||
|
.fniv_s = tcg_gen_shrs_vec,
|
||||||
|
.fniv_v = tcg_gen_shrv_vec,
|
||||||
|
.fno = {
|
||||||
|
gen_helper_gvec_shr8i,
|
||||||
|
gen_helper_gvec_shr16i,
|
||||||
|
gen_helper_gvec_shr32i,
|
||||||
|
gen_helper_gvec_shr64i,
|
||||||
|
},
|
||||||
|
.s_list = { INDEX_op_shrs_vec, 0 },
|
||||||
|
.v_list = { INDEX_op_shrv_vec, 0 },
|
||||||
|
};
|
||||||
|
|
||||||
|
tcg_debug_assert(vece <= MO_64);
|
||||||
|
do_gvec_shifts(vece, dofs, aofs, shift, oprsz, maxsz, &g);
|
||||||
|
}
|
||||||
|
|
||||||
|
void tcg_gen_gvec_sars(unsigned vece, uint32_t dofs, uint32_t aofs,
|
||||||
|
TCGv_i32 shift, uint32_t oprsz, uint32_t maxsz)
|
||||||
|
{
|
||||||
|
static const GVecGen2sh g = {
|
||||||
|
.fni4 = tcg_gen_sar_i32,
|
||||||
|
.fni8 = tcg_gen_sar_i64,
|
||||||
|
.fniv_s = tcg_gen_sars_vec,
|
||||||
|
.fniv_v = tcg_gen_sarv_vec,
|
||||||
|
.fno = {
|
||||||
|
gen_helper_gvec_sar8i,
|
||||||
|
gen_helper_gvec_sar16i,
|
||||||
|
gen_helper_gvec_sar32i,
|
||||||
|
gen_helper_gvec_sar64i,
|
||||||
|
},
|
||||||
|
.s_list = { INDEX_op_sars_vec, 0 },
|
||||||
|
.v_list = { INDEX_op_sarv_vec, 0 },
|
||||||
|
};
|
||||||
|
|
||||||
|
tcg_debug_assert(vece <= MO_64);
|
||||||
|
do_gvec_shifts(vece, dofs, aofs, shift, oprsz, maxsz, &g);
|
||||||
|
}
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* Expand D = A << (B % element bits)
|
* Expand D = A << (B % element bits)
|
||||||
*
|
*
|
||||||
|
|||||||
@ -318,6 +318,13 @@ void tcg_gen_gvec_shri(unsigned vece, uint32_t dofs, uint32_t aofs,
|
|||||||
void tcg_gen_gvec_sari(unsigned vece, uint32_t dofs, uint32_t aofs,
|
void tcg_gen_gvec_sari(unsigned vece, uint32_t dofs, uint32_t aofs,
|
||||||
int64_t shift, uint32_t oprsz, uint32_t maxsz);
|
int64_t shift, uint32_t oprsz, uint32_t maxsz);
|
||||||
|
|
||||||
|
void tcg_gen_gvec_shls(unsigned vece, uint32_t dofs, uint32_t aofs,
|
||||||
|
TCGv_i32 shift, uint32_t oprsz, uint32_t maxsz);
|
||||||
|
void tcg_gen_gvec_shrs(unsigned vece, uint32_t dofs, uint32_t aofs,
|
||||||
|
TCGv_i32 shift, uint32_t oprsz, uint32_t maxsz);
|
||||||
|
void tcg_gen_gvec_sars(unsigned vece, uint32_t dofs, uint32_t aofs,
|
||||||
|
TCGv_i32 shift, uint32_t oprsz, uint32_t maxsz);
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* Perform vector shift by vector element, modulo the element size.
|
* Perform vector shift by vector element, modulo the element size.
|
||||||
* E.g. D[i] = A[i] << (B[i] % (8 << vece)).
|
* E.g. D[i] = A[i] << (B[i] % (8 << vece)).
|
||||||
|
|||||||
@ -598,3 +598,57 @@ void tcg_gen_sarv_vec(unsigned vece, TCGv_vec r, TCGv_vec a, TCGv_vec b)
|
|||||||
{
|
{
|
||||||
do_op3(vece, r, a, b, INDEX_op_sarv_vec);
|
do_op3(vece, r, a, b, INDEX_op_sarv_vec);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
static void do_shifts(unsigned vece, TCGv_vec r, TCGv_vec a,
|
||||||
|
TCGv_i32 s, TCGOpcode opc_s, TCGOpcode opc_v)
|
||||||
|
{
|
||||||
|
TCGTemp *rt = tcgv_vec_temp(r);
|
||||||
|
TCGTemp *at = tcgv_vec_temp(a);
|
||||||
|
TCGTemp *st = tcgv_i32_temp(s);
|
||||||
|
TCGArg ri = temp_arg(rt);
|
||||||
|
TCGArg ai = temp_arg(at);
|
||||||
|
TCGArg si = temp_arg(st);
|
||||||
|
TCGType type = rt->base_type;
|
||||||
|
const TCGOpcode *hold_list;
|
||||||
|
int can;
|
||||||
|
|
||||||
|
tcg_debug_assert(at->base_type >= type);
|
||||||
|
tcg_assert_listed_vecop(opc_s);
|
||||||
|
hold_list = tcg_swap_vecop_list(NULL);
|
||||||
|
|
||||||
|
can = tcg_can_emit_vec_op(opc_s, type, vece);
|
||||||
|
if (can > 0) {
|
||||||
|
vec_gen_3(opc_s, type, vece, ri, ai, si);
|
||||||
|
} else if (can < 0) {
|
||||||
|
tcg_expand_vec_op(opc_s, type, vece, ri, ai, si);
|
||||||
|
} else {
|
||||||
|
TCGv_vec vec_s = tcg_temp_new_vec(type);
|
||||||
|
|
||||||
|
if (vece == MO_64) {
|
||||||
|
TCGv_i64 s64 = tcg_temp_new_i64();
|
||||||
|
tcg_gen_extu_i32_i64(s64, s);
|
||||||
|
tcg_gen_dup_i64_vec(MO_64, vec_s, s64);
|
||||||
|
tcg_temp_free_i64(s64);
|
||||||
|
} else {
|
||||||
|
tcg_gen_dup_i32_vec(vece, vec_s, s);
|
||||||
|
}
|
||||||
|
do_op3(vece, r, a, vec_s, opc_v);
|
||||||
|
tcg_temp_free_vec(vec_s);
|
||||||
|
}
|
||||||
|
tcg_swap_vecop_list(hold_list);
|
||||||
|
}
|
||||||
|
|
||||||
|
void tcg_gen_shls_vec(unsigned vece, TCGv_vec r, TCGv_vec a, TCGv_i32 b)
|
||||||
|
{
|
||||||
|
do_shifts(vece, r, a, b, INDEX_op_shls_vec, INDEX_op_shlv_vec);
|
||||||
|
}
|
||||||
|
|
||||||
|
void tcg_gen_shrs_vec(unsigned vece, TCGv_vec r, TCGv_vec a, TCGv_i32 b)
|
||||||
|
{
|
||||||
|
do_shifts(vece, r, a, b, INDEX_op_shrs_vec, INDEX_op_shrv_vec);
|
||||||
|
}
|
||||||
|
|
||||||
|
void tcg_gen_sars_vec(unsigned vece, TCGv_vec r, TCGv_vec a, TCGv_i32 b)
|
||||||
|
{
|
||||||
|
do_shifts(vece, r, a, b, INDEX_op_sars_vec, INDEX_op_sarv_vec);
|
||||||
|
}
|
||||||
|
|||||||
@ -986,6 +986,10 @@ void tcg_gen_shli_vec(unsigned vece, TCGv_vec r, TCGv_vec a, int64_t i);
|
|||||||
void tcg_gen_shri_vec(unsigned vece, TCGv_vec r, TCGv_vec a, int64_t i);
|
void tcg_gen_shri_vec(unsigned vece, TCGv_vec r, TCGv_vec a, int64_t i);
|
||||||
void tcg_gen_sari_vec(unsigned vece, TCGv_vec r, TCGv_vec a, int64_t i);
|
void tcg_gen_sari_vec(unsigned vece, TCGv_vec r, TCGv_vec a, int64_t i);
|
||||||
|
|
||||||
|
void tcg_gen_shls_vec(unsigned vece, TCGv_vec r, TCGv_vec a, TCGv_i32 s);
|
||||||
|
void tcg_gen_shrs_vec(unsigned vece, TCGv_vec r, TCGv_vec a, TCGv_i32 s);
|
||||||
|
void tcg_gen_sars_vec(unsigned vece, TCGv_vec r, TCGv_vec a, TCGv_i32 s);
|
||||||
|
|
||||||
void tcg_gen_shlv_vec(unsigned vece, TCGv_vec r, TCGv_vec a, TCGv_vec s);
|
void tcg_gen_shlv_vec(unsigned vece, TCGv_vec r, TCGv_vec a, TCGv_vec s);
|
||||||
void tcg_gen_shrv_vec(unsigned vece, TCGv_vec r, TCGv_vec a, TCGv_vec s);
|
void tcg_gen_shrv_vec(unsigned vece, TCGv_vec r, TCGv_vec a, TCGv_vec s);
|
||||||
void tcg_gen_sarv_vec(unsigned vece, TCGv_vec r, TCGv_vec a, TCGv_vec s);
|
void tcg_gen_sarv_vec(unsigned vece, TCGv_vec r, TCGv_vec a, TCGv_vec s);
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user