FADDA Floating-point add strictly-ordered reduction, accumulating in scalar Floating-point add a SIMD&FP scalar source and all active lanes of the vector source and place the result destructively in the SIMD&FP scalar source register. Vector elements are processed strictly in order from low to high, with the scalar source providing the initial value. Inactive elements in the source vector are ignored. This instruction is illegal when executed in Streaming SVE mode, unless FEAT_SME_FA64 is implemented and enabled. Green True SM_0_only 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 FADDA <V><dn>, <Pg>, <V><dn>, <Zm>.<T> if !IsFeatureImplemented(FEAT_SVE) then UNDEFINED; if size == '00' then UNDEFINED; constant integer esize = 8 << UInt(size); constant integer g = UInt(Pg); constant integer dn = UInt(Vdn); constant integer m = UInt(Zm); <V> Is a width specifier, size <V> 00 RESERVED 01 H 10 S 11 D <dn> Is the number [0-31] of the source and destination SIMD&FP register, encoded in the "Vdn" field. <Pg> Is the name of the governing scalable predicate register P0-P7, encoded in the "Pg" field. <Zm> Is the name of the source scalable vector register, encoded in the "Zm" field. <T> Is the size specifier, size <T> 00 RESERVED 01 H 10 S 11 D CheckNonStreamingSVEEnabled(); constant integer VL = CurrentVL; constant integer PL = VL DIV 8; constant integer elements = VL DIV esize; constant bits(PL) mask = P[g, PL]; constant bits(esize) operand1 = V[dn, esize]; constant bits(VL) operand2 = if AnyActiveElement(mask, esize) then Z[m, VL] else Zeros(VL); bits(esize) result = operand1; for e = 0 to elements-1 if ActivePredicateElement(mask, e, esize) then constant bits(esize) element = Elem[operand2, e, esize]; result = FPAdd(result, element, FPCR); V[dn, esize] = result;