LSR (wide elements, unpredicated)
Logical shift right by 64-bit wide elements (unpredicated)
Shift right, inserting zeroes, all elements of the first source vector by corresponding overlapping 64-bit elements of the second source vector and place the first in the corresponding elements of the destination vector. The shift amount is a vector of unsigned 64-bit doubleword elements in which all bits are significant, and not used modulo the destination element size. This instruction is unpredicated.
Green
False
True
True
0
0
0
0
0
1
0
0
1
1
0
0
0
0
1
LSR <Zd>.<T>, <Zn>.<T>, <Zm>.D
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '11' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer n = UInt(Zn);
constant integer m = UInt(Zm);
constant integer d = UInt(Zd);
<Zd>
Is the name of the destination scalable vector register, encoded in the "Zd" field.
<T>
Is the size specifier,
size
<T>
00
B
01
H
10
S
11
RESERVED
<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();
constant integer VL = CurrentVL;
constant integer PL = VL DIV 8;
constant integer elements = VL DIV esize;
constant bits(VL) operand1 = Z[n, VL];
constant bits(VL) operand2 = Z[m, VL];
bits(VL) result;
for e = 0 to elements-1
constant bits(esize) element1 = Elem[operand1, e, esize];
constant bits(64) element2 = Elem[operand2, (e * esize) DIV 64, 64];
constant integer shift = Min(UInt(element2), esize);
Elem[result, e, esize] = LSR(element1, shift);
Z[d, VL] = result;