BFloat16 quarter-tile outer product, subtracting
This instruction generates four independent quarter-tile BFloat16 outer products from the sub-matrices in the half-vectors of the one or two first and second source vectors and subtracts the results from the corresponding elements of a 16-bit element ZA tile.
Each of the quarter-tile outer products is generated by multiplying the SVLH÷2 × 1 sub-matrix of BFloat16 values held in the half-vectors of the first source vectors by the 1 × SVLH÷2 sub-matrix of BFloat16 values held in the half-vectors of the second source vectors.
The resulting quarter-tile SVLH÷2 × SVLH÷2 BFloat16 outer products are destructively subtracted from the destination ZA tile. This is equivalent to performing a single multiply-subtract from each of the destination tile elements.
This instruction follows SME2 ZA-targeting non-widening BFloat16 numerical behaviors.
This instruction is unpredicated.
It has encodings from 4 classes: Single and multiple vectors , Single vectors , Multiple and single vectors and Multiple vectors
| 31 | 30 | 29 | 28 | 27 | 26 | 25 | 24 | 23 | 22 | 21 | 20 | 19 | 18 | 17 | 16 | 15 | 14 | 13 | 12 | 11 | 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 0 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | Zm | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Zn | 0 | 1 | 1 | 0 | 0 | ZAda | ||||
| M | N | S | |||||||||||||||||||||||||||||
if !IsFeatureImplemented(FEAT_SME_MOP4) || !IsFeatureImplemented(FEAT_SME_B16B16) then EndOfDecode(Decode_UNDEF); end; let n : integer = UInt('0'::Zn::'0'); let m : integer = UInt('1'::Zm::'0'); let nreg : integer{} = 1; let mreg : integer = 2; let da : integer = UInt(ZAda); let sub_op : boolean = TRUE;
| 31 | 30 | 29 | 28 | 27 | 26 | 25 | 24 | 23 | 22 | 21 | 20 | 19 | 18 | 17 | 16 | 15 | 14 | 13 | 12 | 11 | 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 0 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | Zm | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Zn | 0 | 1 | 1 | 0 | 0 | ZAda | ||||
| M | N | S | |||||||||||||||||||||||||||||
if !IsFeatureImplemented(FEAT_SME_MOP4) || !IsFeatureImplemented(FEAT_SME_B16B16) then EndOfDecode(Decode_UNDEF); end; let n : integer = UInt('0'::Zn::'0'); let m : integer = UInt('1'::Zm::'0'); let nreg : integer{} = 1; let mreg : integer = 1; let da : integer = UInt(ZAda); let sub_op : boolean = TRUE;
| 31 | 30 | 29 | 28 | 27 | 26 | 25 | 24 | 23 | 22 | 21 | 20 | 19 | 18 | 17 | 16 | 15 | 14 | 13 | 12 | 11 | 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 0 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | Zm | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | Zn | 0 | 1 | 1 | 0 | 0 | ZAda | ||||
| M | N | S | |||||||||||||||||||||||||||||
if !IsFeatureImplemented(FEAT_SME_MOP4) || !IsFeatureImplemented(FEAT_SME_B16B16) then EndOfDecode(Decode_UNDEF); end; let n : integer = UInt('0'::Zn::'0'); let m : integer = UInt('1'::Zm::'0'); let nreg : integer{} = 2; let mreg : integer = 1; let da : integer = UInt(ZAda); let sub_op : boolean = TRUE;
| 31 | 30 | 29 | 28 | 27 | 26 | 25 | 24 | 23 | 22 | 21 | 20 | 19 | 18 | 17 | 16 | 15 | 14 | 13 | 12 | 11 | 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 0 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | Zm | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | Zn | 0 | 1 | 1 | 0 | 0 | ZAda | ||||
| M | N | S | |||||||||||||||||||||||||||||
if !IsFeatureImplemented(FEAT_SME_MOP4) || !IsFeatureImplemented(FEAT_SME_B16B16) then EndOfDecode(Decode_UNDEF); end; let n : integer = UInt('0'::Zn::'0'); let m : integer = UInt('1'::Zm::'0'); let nreg : integer{} = 2; let mreg : integer = 2; let da : integer = UInt(ZAda); let sub_op : boolean = TRUE;
| <ZAda> |
Is the name of the ZA tile ZA0-ZA1, encoded in the "ZAda" field. |
| <Zn> |
Is the name of the first source scalable vector register, registers in the range Z0-Z15, encoded as "Zn" times 2. |
| <Zm1> |
Is the name of the first scalable vector register of the second source multi-vector group, in the range Z16-Z31, encoded as "Zm" times 2 plus 16. |
| <Zm2> |
Is the name of the second scalable vector register of the second source multi-vector group, in the range Z16-Z31, encoded as "Zm" times 2 plus 17. |
| <Zm> |
Is the name of the second source scalable vector register, registers in the range Z16-Z31, encoded as "Zm" times 2 plus 16. |
| <Zn1> |
Is the name of the first scalable vector register of the first source multi-vector group, in the range Z0-Z15, encoded as "Zn" times 2. |
| <Zn2> |
Is the name of the second scalable vector register of the first source multi-vector group, in the range Z0-Z15, encoded as "Zn" times 2 plus 1. |
CheckStreamingSVEAndZAEnabled(); let VL : integer{} = CurrentVL(); let hvsize : integer{} = VL DIV 2; let dim : integer{} = hvsize DIV 16; let tilesize : integer{} = 4*dim*dim*16; let op3 : bits(tilesize) = ZAtile{}(da, 16); var result : bits(tilesize); for outprod = 0 to 3 do let row_hv : integer = outprod DIVRM 2; let col_hv : integer = outprod MOD 2; let row_base : integer = row_hv * dim; let col_base : integer = col_hv * dim; let op1 : bits(VL) = Z{}(n + (nreg-1)*col_hv); let op2 : bits(VL) = Z{}(m + (mreg-1)*row_hv); for row = 0 to dim-1 do for col = 0 to dim-1 do let row_idx : integer = row_base + row; let col_idx : integer = col_base + col; let tile_idx : integer = row_idx * dim * 2 + col_idx; var elem1 : bits(16) = op1[row_idx*:(16)]; let elem2 : bits(16) = op2[col_idx*:(16)]; let elem3 : bits(16) = op3[tile_idx*:(16)]; if sub_op then let honor_altfp : boolean = FALSE; // Alternate handling ignored elem1 = BFNeg(elem1, honor_altfp); end; result[tile_idx*:(16)] = BFMulAdd_ZA(elem3, elem1, elem2, FPCR()); end; end; end; ZAtile{tilesize}(da, 16) = result;
2026-03_rel 2026-03-26 20:48:11
Copyright © 2010-2026 Arm Limited or its affiliates. All rights reserved. This document is Non-Confidential.