EXTQ
Extract vector segment from each pair of quadword vector segments
For each 128-bit vector segment of the result, copy the indexed byte up to and including the last byte of the corresponding first source vector segment to the bottom of the result segment, then fill the remainder of the result segment starting from the first byte of the corresponding second source vector segment. The result segments are destructively placed in the corresponding first source vector segment. This instruction is unpredicated.
Green
False
True
True
0
0
0
0
0
1
0
1
0
1
1
0
0
0
1
0
0
1
EXTQ <Zdn>.B, <Zdn>.B, <Zm>.B, #<imm>
if !IsFeatureImplemented(FEAT_SVE2p1) && !IsFeatureImplemented(FEAT_SME2p1) then UNDEFINED;
constant integer dn = UInt(Zdn);
constant integer m = UInt(Zm);
constant integer position = UInt(imm4) << 3;
<Zdn>
Is the name of the first source and destination scalable vector register, encoded in the "Zdn" field.
<Zm>
Is the name of the second source scalable vector register, encoded in the "Zm" field.
<imm>
Is the unsigned immediate operand, in the range 0 to 15, encoded in the "imm4" field.
CheckSVEEnabled();
constant integer VL = CurrentVL;
constant integer PL = VL DIV 8;
constant integer segments = VL DIV 128;
constant bits(VL) operand1 = Z[dn, VL];
constant bits(VL) operand2 = Z[m, VL];
bits(VL) result;
for s = 0 to segments-1
constant bits(256) concat = Elem[operand2, s, 128] : Elem[operand1, s, 128];
Elem[result, s, 128] = concat<position+127:position>;
Z[dn, VL] = result;