tree 27d3a7bd149f2da312f8a7e0b39785ff21153dcd
parent 09b0d9e0ad24e875c006e024e184be8b79d2ad11
author Peter Maydell <peter.maydell@linaro.org> 1725380536 +0100
committer Peter Maydell <peter.maydell@linaro.org> 1725538356 +0100

target/arm: Implement FPCR.EBF=1 semantics for bfdotadd()

Implement the FPCR.EBF=1 semantics for bfdotadd() operations:
 * is_ebf() sets up fpst and fpst_odd
 * bfdotadd_ebf() implements the fused paired-multiply-and-add
   operation that we need

The paired-multiply-and-add is similar to f16_dotadd() and
we use the same trick here as in that function, but the inputs
here are bfloat16 rather than float16.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>