MOVA (vector to tile, single)

Move vector register to ZA tile slice

This instruction operates on individual horizontal or vertical slices within a named ZA tile of the specified element size. The slice number within the tile is selected by the sum of the slice index register and immediate offset, modulo the number of such elements in a vector. The immediate offset is in the range 0 to the number of elements in a 128-bit vector segment minus 1.

Inactive elements in the destination slice remain unmodified.

Encoding: 8-bit

Variants: FEAT_SME (PROFILE_A)

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	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0												0
								size							Q	V	Rs		Pg			Zn						off4

MOVA ZA0<HV>.B[<Ws>, <offs>], <Pg>/M, <Zn>.B

Decoding algorithm

if !IsFeatureImplemented(FEAT_SME) then EndOfDecode(Decode_UNDEF);
constant integer g = UInt(Pg);
constant integer s = UInt('011':Rs);
constant integer n = UInt(Zn);
constant integer d = 0;
constant integer offset = UInt(off4);
constant integer esize = 8;
constant boolean vertical = V == '1';

Encoding: 16-bit

Variants: FEAT_SME (PROFILE_A)

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	1	0	0	0	0	0	0	0	1	0	0	0	0	0	0												0
								size							Q	V	Rs		Pg			Zn						ZAd	off3

MOVA <ZAd><HV>.H[<Ws>, <offs>], <Pg>/M, <Zn>.H

Decoding algorithm

if !IsFeatureImplemented(FEAT_SME) then EndOfDecode(Decode_UNDEF);
constant integer g = UInt(Pg);
constant integer s = UInt('011':Rs);
constant integer n = UInt(Zn);
constant integer d = UInt(ZAd);
constant integer offset = UInt(off3);
constant integer esize = 16;
constant boolean vertical = V == '1';

Encoding: 32-bit

Variants: FEAT_SME (PROFILE_A)

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	1	0	0	0	0	0	0	1	0	0	0	0	0	0	0												0
								size							Q	V	Rs		Pg			Zn						ZAd		off2

MOVA <ZAd><HV>.S[<Ws>, <offs>], <Pg>/M, <Zn>.S

Decoding algorithm

if !IsFeatureImplemented(FEAT_SME) then EndOfDecode(Decode_UNDEF);
constant integer g = UInt(Pg);
constant integer s = UInt('011':Rs);
constant integer n = UInt(Zn);
constant integer d = UInt(ZAd);
constant integer offset = UInt(off2);
constant integer esize = 32;
constant boolean vertical = V == '1';

Encoding: 64-bit

Variants: FEAT_SME (PROFILE_A)

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	1	0	0	0	0	0	0	1	1	0	0	0	0	0	0												0
								size							Q	V	Rs		Pg			Zn						ZAd			o1

MOVA <ZAd><HV>.D[<Ws>, <offs>], <Pg>/M, <Zn>.D

Decoding algorithm

if !IsFeatureImplemented(FEAT_SME) then EndOfDecode(Decode_UNDEF);
constant integer g = UInt(Pg);
constant integer s = UInt('011':Rs);
constant integer n = UInt(Zn);
constant integer d = UInt(ZAd);
constant integer offset = UInt(o1);
constant integer esize = 64;
constant boolean vertical = V == '1';

Encoding: 128-bit

Variants: FEAT_SME (PROFILE_A)

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	1	0	0	0	0	0	0	1	1	0	0	0	0	0	1												0
								size							Q	V	Rs		Pg			Zn						ZAd

MOVA <ZAd><HV>.Q[<Ws>, <offs>], <Pg>/M, <Zn>.Q

Decoding algorithm

if !IsFeatureImplemented(FEAT_SME) then EndOfDecode(Decode_UNDEF);
constant integer g = UInt(Pg);
constant integer s = UInt('011':Rs);
constant integer n = UInt(Zn);
constant integer d = UInt(ZAd);
constant integer offset = 0;
constant integer esize = 128;
constant boolean vertical = V == '1';

Operation

CheckStreamingSVEAndZAEnabled();
constant integer  VL = CurrentVL;
constant integer  PL = VL DIV 8;
constant integer  dim = VL DIV esize;
constant bits(PL) mask = P[g, PL];
constant bits(VL) operand = Z[n, VL];
constant bits(32) index = X[s, 32];
constant integer  slice = (UInt(index) + offset) MOD dim;
bits(VL) result = ZAslice[d, esize, vertical, slice, VL];

for e = 0 to dim-1
    constant bits(esize) element = Elem[operand, e, esize];
    if ActivePredicateElement(mask, e, esize) then
        Elem[result, e, esize] = element;

ZAslice[d, esize, vertical, slice, VL] = result;

Explanations

<HV>: <Ws>: Is the 32-bit name of the slice index register W12-W15, encoded in the "Rs" field.
<offs>: For the "8-bit" variant: is the slice index offset, in the range 0 to 15, encoded in the "off4" field.
<offs>: For the "16-bit" variant: is the slice index offset, in the range 0 to 7, encoded in the "off3" field.
<offs>: For the "32-bit" variant: is the slice index offset, in the range 0 to 3, encoded in the "off2" field.
<offs>: For the "64-bit" variant: is the slice index offset, in the range 0 to 1, encoded in the "o1" field.
<offs>: For the "128-bit" variant: is the slice index offset, with implicit value 0.
<Pg>: Is the name of the governing scalable predicate register P0-P7, encoded in the "Pg" field.
<Zn>: Is the name of the source scalable vector register, encoded in the "Zn" field.
<ZAd>: For the "16-bit" variant: is the name of the ZA tile ZA0-ZA1 to be accessed, encoded in the "ZAd" field.
<ZAd>: For the "32-bit" variant: is the name of the ZA tile ZA0-ZA3 to be accessed, encoded in the "ZAd" field.
<ZAd>: For the "64-bit" variant: is the name of the ZA tile ZA0-ZA7 to be accessed, encoded in the "ZAd" field.
<ZAd>: For the "128-bit" variant: is the name of the ZA tile ZA0-ZA15 to be accessed, encoded in the "ZAd" field.

Operational Notes

If PSTATE.DIT is 1:

• The execution time of this instruction is independent of:
  • The values of the data supplied in any of its operand registers when its governing predicate register contains the same value for each execution.
  • The values of the NZCV flags.
• The response of this instruction to asynchronous exceptions does not vary based on:
  • The values of the data supplied in any of its operand registers when its governing predicate register contains the same value for each execution.
  • The values of the NZCV flags.