Add subtract pairwise
This instruction adds pairs of adjacent elements within the first source vector and subtracts pairs of adjacent elements within the second source vector, and places the interleaved results in the destination vector.
This instruction is unpredicated.
| 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 |
| 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | size | 1 | Zm | 0 | 1 | 1 | 1 | 1 | 1 | Zn | Zd | |||||||||||||
if !IsFeatureImplemented(FEAT_SVE2p3) && !IsFeatureImplemented(FEAT_SME2p3) then EndOfDecode(Decode_UNDEF); end; let esize : integer{} = 8 << UInt(size); let n : integer = UInt(Zn); let m : integer = UInt(Zm); let d : integer = UInt(Zd);
| <Zd> |
Is the name of the destination scalable vector register, encoded in the "Zd" field. |
| <T> |
Is the size specifier,
encoded in
|
| <Zn> |
Is the name of the first source scalable vector register, encoded in the "Zn" field. |
| <Zm> |
Is the name of the second source scalable vector register, encoded in the "Zm" field. |
CheckSVEEnabled(); let VL : integer{} = CurrentVL(); let pairs : integer = VL DIV (esize * 2); let operand1 : bits(VL) = Z{}(n); let operand2 : bits(VL) = Z{}(m); var result : bits(VL); for e = 0 to pairs-1 do let elt1_a : integer = UInt(operand1[(2*e + 0)*:esize]); let elt1_b : integer = UInt(operand1[(2*e + 1)*:esize]); let elt2_a : integer = UInt(operand2[(2*e + 0)*:esize]); let elt2_b : integer = UInt(operand2[(2*e + 1)*:esize]); let res1 : integer = elt1_a + elt1_b; let res2 : integer = elt2_a - elt2_b; result[(2*e + 0)*:esize] = res1[esize-1:0]; result[(2*e + 1)*:esize] = res2[esize-1:0]; end; Z{VL}(d) = result;
This instruction is a data-independent-time instruction as described in About PSTATE.DIT.
2025-12_rel 2025-12-10 16:41:45
Copyright © 2010-2025 Arm Limited or its affiliates. All rights reserved. This document is Non-Confidential.