FMOPS (non-widening)

Floating-point outer product and subtract

The single-precision variant works with a 32-bit element ZA tile.

The double-precision variant works with a 64-bit element ZA tile.

These instructions generate an outer product of the first source vector and the second source vector. In case of the single-precision variant, the first source is SVL_S×1 vector and the second source is 1×SVL_S vector. In case of the double-precision variant, the first source is SVL_D×1 vector and the second source is 1×SVL_D vector.

Each source vector is independently predicated by a corresponding predicate register. When either source vector element is Inactive the corresponding destination tile element remains unmodified.

The resulting outer product, SVL_S×SVL_S in case of single-precision variant or SVL_D×SVL_D in case of double-precision variant, is then destructively subtracted from the destination tile. This is equivalent to performing a single multiply-subtract from each of the destination tile elements.

This instruction follows SME floating-point numerical behaviors.

ID_AA64SMFR0_EL1.F64F64 indicates whether the double-precision variant is implemented.

It has encodings from 2 classes: Single-precision and Double-precision

Single-precision
(FEAT_SME)

if !HaveSME() then UNDEFINED; integer esize = 32; integer a = UInt(Pn); integer b = UInt(Pm); integer n = UInt(Zn); integer m = UInt(Zm); integer da = UInt(ZAda); boolean sub_op = TRUE;

Double-precision
(FEAT_SME_F64F64)

if !HaveSMEF64F64() then UNDEFINED; integer esize = 64; integer a = UInt(Pn); integer b = UInt(Pm); integer n = UInt(Zn); integer m = UInt(Zm); integer da = UInt(ZAda); boolean sub_op = TRUE;