BFMMLA (widening)

BFloat16 matrix multiply-accumulate to single-precision

If FEAT_EBF16 is not implemented or FPCR.EBF is 0, this instruction:

• Multiplies the 2×4 matrix of BFloat16 values held in the first source vector by the 4×2 matrix of BFloat16 values in the second source vector. The intermediate single-precision results are calculated as a sum of two unfused sum-of-products using two pairs of adjacent BFloat16 values from each of the source vectors, and rounded before accumulation into the 2×2 matrix of single-precision results in the destination vector. This is equivalent to accumulating two 2-way unfused dot products per destination element.
• Uses the non-IEEE 754 Round-to-Odd rounding mode, which forces bit 0 of an inexact result to 1, and rounds an overflow to an appropriately signed Infinity.
• Flushes denormalized inputs and results to zero, as if FPCR.{FZ, FIZ} is {1, 1}.
• Honors FPCR.AH when generating a default NaN result, otherwise disables alternative floating point behaviors, as if FPCR.AH is 0.

If FEAT_EBF16 is implemented and FPCR.EBF is 1, then this instruction:

• Multiplies the 2×4 matrix of BFloat16 values held in the first source vector by the 4×2 matrix of BFloat16 values in the second source vector. The intermediate single-precision results are calculated as a sum of two fused sum-of-products using two pairs of adjacent BFloat16 values from each of the source vectors, and rounded before accumulation into the 2×2 matrix of single-precision results in the destination vector. This is equivalent to accumulating two 2-way fused dot products per destination element.
• Follows all other floating-point behaviors that apply to single-precision arithmetic, as governed by FPCR.RMode, FPCR.FZ, FPCR.AH, and FPCR.FIZ.

Irrespective of FEAT_EBF16 and FPCR.EBF, this instruction:

• Does not modify the cumulative FPSR exception bits (IDC, IXC, UFC, OFC, DZC, and IOC).
• Disables trapped floating-point exceptions, as if the FPCR trap enable bits (IDE, IXE, UFE, OFE, DZE, and IOE) are all zero.
• Generates only the default NaN, as if FPCR.DN is 1.

ID_AA64ISAR1_EL1.BF16 indicates whether this instruction is supported.

Advanced SIMD
(FEAT_BF16)

Decode for this encoding

if !IsFeatureImplemented(FEAT_BF16) then EndOfDecode(Decode_UNDEF); end; let d : integer{} = UInt(Rd); let n : integer{} = UInt(Rn); let m : integer{} = UInt(Rm);