mirror of
https://github.com/yuzu-emu/unicorn.git
synced 2025-01-22 08:41:02 +00:00
target/arm: Implement SVE fp complex multiply add (indexed)
Enhance the existing helpers to support SVE, which takes the index from each 128-bit segment. The change has no effect for AdvSIMD, since there is only one such segment. Backports commit 18fc24057815bf3d956cfab892a2bc2344bd1dcb from qemu
This commit is contained in:
parent
281deae0a9
commit
01a7224cdb
|
@ -743,6 +743,12 @@ FCADD 01100100 esz:2 00000 rot:1 100 pg:3 rm:5 rd:5 \
|
||||||
FCMLA_zpzzz 01100100 esz:2 0 rm:5 0 rot:2 pg:3 rn:5 rd:5 \
|
FCMLA_zpzzz 01100100 esz:2 0 rm:5 0 rot:2 pg:3 rn:5 rd:5 \
|
||||||
ra=%reg_movprfx
|
ra=%reg_movprfx
|
||||||
|
|
||||||
|
# SVE floating-point complex multiply-add (indexed)
|
||||||
|
FCMLA_zzxz 01100100 10 1 index:2 rm:3 0001 rot:2 rn:5 rd:5 \
|
||||||
|
ra=%reg_movprfx esz=1
|
||||||
|
FCMLA_zzxz 01100100 11 1 index:1 rm:4 0001 rot:2 rn:5 rd:5 \
|
||||||
|
ra=%reg_movprfx esz=2
|
||||||
|
|
||||||
### SVE FP Multiply-Add Indexed Group
|
### SVE FP Multiply-Add Indexed Group
|
||||||
|
|
||||||
# SVE floating-point multiply-add (indexed)
|
# SVE floating-point multiply-add (indexed)
|
||||||
|
|
|
@ -4164,6 +4164,30 @@ static bool trans_FCMLA_zpzzz(DisasContext *s,
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
static bool trans_FCMLA_zzxz(DisasContext *s, arg_FCMLA_zzxz *a, uint32_t insn)
|
||||||
|
{
|
||||||
|
static gen_helper_gvec_3_ptr * const fns[2] = {
|
||||||
|
gen_helper_gvec_fcmlah_idx,
|
||||||
|
gen_helper_gvec_fcmlas_idx,
|
||||||
|
};
|
||||||
|
|
||||||
|
tcg_debug_assert(a->esz == 1 || a->esz == 2);
|
||||||
|
tcg_debug_assert(a->rd == a->ra);
|
||||||
|
if (sve_access_check(s)) {
|
||||||
|
TCGContext *tcg_ctx = s->uc->tcg_ctx;
|
||||||
|
unsigned vsz = vec_full_reg_size(s);
|
||||||
|
TCGv_ptr status = get_fpstatus_ptr(tcg_ctx, a->esz == MO_16);
|
||||||
|
tcg_gen_gvec_3_ptr(tcg_ctx, vec_full_reg_offset(s, a->rd),
|
||||||
|
vec_full_reg_offset(s, a->rn),
|
||||||
|
vec_full_reg_offset(s, a->rm),
|
||||||
|
status, vsz, vsz,
|
||||||
|
a->index * 4 + a->rot,
|
||||||
|
fns[a->esz - 1]);
|
||||||
|
tcg_temp_free_ptr(tcg_ctx, status);
|
||||||
|
}
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
|
||||||
/*
|
/*
|
||||||
*** SVE Floating Point Unary Operations Predicated Group
|
*** SVE Floating Point Unary Operations Predicated Group
|
||||||
*/
|
*/
|
||||||
|
|
|
@ -320,22 +320,27 @@ void HELPER(gvec_fcmlah_idx)(void *vd, void *vn, void *vm,
|
||||||
uint32_t neg_imag = extract32(desc, SIMD_DATA_SHIFT + 1, 1);
|
uint32_t neg_imag = extract32(desc, SIMD_DATA_SHIFT + 1, 1);
|
||||||
intptr_t index = extract32(desc, SIMD_DATA_SHIFT + 2, 2);
|
intptr_t index = extract32(desc, SIMD_DATA_SHIFT + 2, 2);
|
||||||
uint32_t neg_real = flip ^ neg_imag;
|
uint32_t neg_real = flip ^ neg_imag;
|
||||||
uintptr_t i;
|
intptr_t elements = opr_sz / sizeof(float16);
|
||||||
float16 e1 = m[H2(2 * index + flip)];
|
intptr_t eltspersegment = 16 / sizeof(float16);
|
||||||
float16 e3 = m[H2(2 * index + 1 - flip)];
|
intptr_t i, j;
|
||||||
|
|
||||||
/* Shift boolean to the sign bit so we can xor to negate. */
|
/* Shift boolean to the sign bit so we can xor to negate. */
|
||||||
neg_real <<= 15;
|
neg_real <<= 15;
|
||||||
neg_imag <<= 15;
|
neg_imag <<= 15;
|
||||||
e1 ^= neg_real;
|
|
||||||
e3 ^= neg_imag;
|
|
||||||
|
|
||||||
for (i = 0; i < opr_sz / 2; i += 2) {
|
for (i = 0; i < elements; i += eltspersegment) {
|
||||||
float16 e2 = n[H2(i + flip)];
|
float16 mr = m[H2(i + 2 * index + 0)];
|
||||||
float16 e4 = e2;
|
float16 mi = m[H2(i + 2 * index + 1)];
|
||||||
|
float16 e1 = neg_real ^ (flip ? mi : mr);
|
||||||
|
float16 e3 = neg_imag ^ (flip ? mr : mi);
|
||||||
|
|
||||||
d[H2(i)] = float16_muladd(e2, e1, d[H2(i)], 0, fpst);
|
for (j = i; j < i + eltspersegment; j += 2) {
|
||||||
d[H2(i + 1)] = float16_muladd(e4, e3, d[H2(i + 1)], 0, fpst);
|
float16 e2 = n[H2(j + flip)];
|
||||||
|
float16 e4 = e2;
|
||||||
|
|
||||||
|
d[H2(j)] = float16_muladd(e2, e1, d[H2(j)], 0, fpst);
|
||||||
|
d[H2(j + 1)] = float16_muladd(e4, e3, d[H2(j + 1)], 0, fpst);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
clear_tail(d, opr_sz, simd_maxsz(desc));
|
clear_tail(d, opr_sz, simd_maxsz(desc));
|
||||||
}
|
}
|
||||||
|
@ -381,22 +386,27 @@ void HELPER(gvec_fcmlas_idx)(void *vd, void *vn, void *vm,
|
||||||
uint32_t neg_imag = extract32(desc, SIMD_DATA_SHIFT + 1, 1);
|
uint32_t neg_imag = extract32(desc, SIMD_DATA_SHIFT + 1, 1);
|
||||||
intptr_t index = extract32(desc, SIMD_DATA_SHIFT + 2, 2);
|
intptr_t index = extract32(desc, SIMD_DATA_SHIFT + 2, 2);
|
||||||
uint32_t neg_real = flip ^ neg_imag;
|
uint32_t neg_real = flip ^ neg_imag;
|
||||||
uintptr_t i;
|
intptr_t elements = opr_sz / sizeof(float32);
|
||||||
float32 e1 = m[H4(2 * index + flip)];
|
intptr_t eltspersegment = 16 / sizeof(float32);
|
||||||
float32 e3 = m[H4(2 * index + 1 - flip)];
|
intptr_t i, j;
|
||||||
|
|
||||||
/* Shift boolean to the sign bit so we can xor to negate. */
|
/* Shift boolean to the sign bit so we can xor to negate. */
|
||||||
neg_real <<= 31;
|
neg_real <<= 31;
|
||||||
neg_imag <<= 31;
|
neg_imag <<= 31;
|
||||||
e1 ^= neg_real;
|
|
||||||
e3 ^= neg_imag;
|
|
||||||
|
|
||||||
for (i = 0; i < opr_sz / 4; i += 2) {
|
for (i = 0; i < elements; i += eltspersegment) {
|
||||||
float32 e2 = n[H4(i + flip)];
|
float32 mr = m[H4(i + 2 * index + 0)];
|
||||||
float32 e4 = e2;
|
float32 mi = m[H4(i + 2 * index + 1)];
|
||||||
|
float32 e1 = neg_real ^ (flip ? mi : mr);
|
||||||
|
float32 e3 = neg_imag ^ (flip ? mr : mi);
|
||||||
|
|
||||||
d[H4(i)] = float32_muladd(e2, e1, d[H4(i)], 0, fpst);
|
for (j = i; j < i + eltspersegment; j += 2) {
|
||||||
d[H4(i + 1)] = float32_muladd(e4, e3, d[H4(i + 1)], 0, fpst);
|
float32 e2 = n[H4(j + flip)];
|
||||||
|
float32 e4 = e2;
|
||||||
|
|
||||||
|
d[H4(j)] = float32_muladd(e2, e1, d[H4(j)], 0, fpst);
|
||||||
|
d[H4(j + 1)] = float32_muladd(e4, e3, d[H4(j + 1)], 0, fpst);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
clear_tail(d, opr_sz, simd_maxsz(desc));
|
clear_tail(d, opr_sz, simd_maxsz(desc));
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue