Signed-off-by: Richard Henderson
---
target/arm/tcg/helper-fp8-defs.h | 2 +
target/arm/tcg/fp8_helper.c | 92
target/arm/tcg/translate-sve.c | 3 ++
target/arm/tcg/sve.decode| 2 +
4 files changed, 99 insertions(+)
diff --git a/target/arm/tcg/helper-fp8-defs.h b/target/arm/tcg/helper-fp8-defs.h
index b5dc2b7064..bbc8d69e28 100644
--- a/target/arm/tcg/helper-fp8-defs.h
+++ b/target/arm/tcg/helper-fp8-defs.h
@@ -12,3 +12,5 @@ DEF_HELPER_FLAGS_4(advsimd_fcvtl_hb, TCG_CALL_NO_RWG, void,
ptr, ptr, env, i32)
DEF_HELPER_FLAGS_4(sve2_fcvt_hb, TCG_CALL_NO_RWG, void, ptr, ptr, env, i32)
DEF_HELPER_FLAGS_4(sme2_fcvt_hb, TCG_CALL_NO_RWG, void, ptr, ptr, env, i32)
DEF_HELPER_FLAGS_4(sme2_fcvtl_hb, TCG_CALL_NO_RWG, void, ptr, ptr, env, i32)
+
+DEF_HELPER_FLAGS_4(sve2_bfcvtn_bh, TCG_CALL_NO_RWG, void, ptr, ptr, env, i32)
diff --git a/target/arm/tcg/fp8_helper.c b/target/arm/tcg/fp8_helper.c
index e2330177ec..ffeaf02f97 100644
--- a/target/arm/tcg/fp8_helper.c
+++ b/target/arm/tcg/fp8_helper.c
@@ -72,6 +72,17 @@ static FP8Context fp8_src_start(CPUARMState *env, uint32_t
desc, int scale_mask)
return fp8_start(env, desc, f8fmt, scale);
}
+static FP8Context fp8_dst_start(CPUARMState *env, uint32_t desc, bool is_f16)
+{
+uint64_t fpmr = env->vfp.fpmr;
+FPMRType f8fmt = FIELD_EX64(fpmr, FPMR, F8D);
+int scale = (is_f16
+ ? FIELD_SEX64(fpmr, FPMR, NSCALE_F16)
+ : FIELD_SEX64(fpmr, FPMR, NSCALE));
+
+return fp8_start(env, desc, f8fmt, scale);
+}
+
/*
* Invalid input format: we could take one of the usual set of
* CONSTRAINED UNPREDICTABLE options for use of a reserved value,
@@ -111,6 +122,64 @@ static float16 fcvt_fp8_to_f16(uint8_t x, fp8_input_fn
*f8fmt,
return float16_round_pack_canonical(&p, s);
}
+/*
+ * Invalid output format: we could take one of the usual set of
+ * CONSTRAINED UNPREDICTABLE options for use of a reserved value,
+ * but choose to take the additional option provided by the FPMR
+ * register specification, of setting the result to 0xff and
+ * signaling Invalid Operation.
+ */
+static uint8_t fcvt_fp8_invalid_output(FloatParts64 *p, int scale,
+ bool saturate, float_status *s)
+{
+float_raise(float_flag_invalid, s);
+return 0xff;
+}
+
+static uint8_t fcvt_fp8_e4m3_output(FloatParts64 *p, int scale,
+bool saturate, float_status *s)
+{
+*p = parts64_scalbn(p, scale, s);
+/*
+ * Saturating Inf -> Max handled in uncanon_e4m3_overflow
+ * because there is no infinity encoding.
+ */
+return float8_e4m3_round_pack_canonical(p, s, saturate);
+}
+
+static uint8_t fcvt_fp8_e5m2_output(FloatParts64 *p, int scale,
+bool saturate, float_status *s)
+{
+/*
+ * Because e5m2 has an infinity encoding, we need to handle
+ * saturation conversion of Inf -> Max manually.
+ */
+if (unlikely(p->cls == float_class_inf)) {
+if (saturate) {
+/* maximum or minimum normal value for E5M2 */
+return 0x7b | (p->sign << 7);
+}
+} else {
+*p = parts64_scalbn(p, scale, s);
+}
+return float8_e5m2_round_pack_canonical(p, s, saturate);
+}
+
+typedef uint8_t fcvt_fp8_output_fn(FloatParts64 *, int, bool, float_status *);
+
+static fcvt_fp8_output_fn * const fcvt_fp8_output_fmt[8] = {
+[0 ... 7] = fcvt_fp8_invalid_output,
+[OFP8_E5M2] = fcvt_fp8_e5m2_output,
+[OFP8_E4M3] = fcvt_fp8_e4m3_output,
+};
+
+static uint8_t fcvt_b16_to_fp8(bfloat16 x, fcvt_fp8_output_fn *f8fmt,
+ int scale, bool saturate, float_status *s)
+{
+FloatParts64 p = bfloat16_unpack_canonical(x, s);
+return f8fmt(&p, scale, saturate, s);
+}
+
void HELPER(advsimd_bfcvtl)(void *vd, void *vn, CPUARMState *env, uint32_t
desc)
{
FP8Context ctx = fp8_src_start(env, desc, 0x3f);
@@ -277,3 +346,26 @@ void HELPER(sme2_fcvtl_hb)(void *vd, void *vn, CPUARMState
*env, uint32_t desc)
fp8_cvt_finish(env, &ctx);
}
+
+void HELPER(sve2_bfcvtn_bh)(void *vd, void *vn, CPUARMState *env, uint32_t
desc)
+{
+FP8Context ctx = fp8_dst_start(env, desc, false);
+fcvt_fp8_output_fn *output_fmt = fcvt_fp8_output_fmt[ctx.f8fmt];
+uint16_t *n0 = vn;
+uint16_t *n1 = vn + sizeof(ARMVectorReg);
+uint8_t *d = vd;
+size_t oprsz = simd_oprsz(desc);
+size_t nelem = oprsz / 2;
+bool osc = FIELD_EX64(env->vfp.fpmr, FPMR, OSC);
+
+for (size_t i = 0; i < nelem; ++i) {
+bfloat16 e0 = n0[H2(i)];
+bfloat16 e1 = n1[H2(i)];
+d[H1(2 * i + 0)] = fcvt_b16_to_fp8(e0, output_fmt,
+ ctx.scale, osc, &ctx.stat);
+d[H1(2 * i + 1)] = fcvt_b16_to_fp8(e1, output_fmt,
+ ctx.scale, osc, &ctx.stat);
+}
+
+fp8_cvt_finish(env, &ctx);
+}
diff --git a/target/arm/tcg/translat
