UMAXV
Unsigned maximum reduction to scalar
Unsigned maximum horizontally across all lanes of a vector, and place the result in the SIMD&FP scalar destination register. Inactive elements in the source vector are treated as zero.
Green
True
True
0
0
0
0
0
1
0
0
0
0
1
0
0
1
0
0
1
UMAXV <V><d>, <Pg>, <Zn>.<T>
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer d = UInt(Vd);
constant boolean unsigned = TRUE;
<V>
Is a width specifier,
size
<V>
00
B
01
H
10
S
11
D
<d>
Is the number [0-31] of the destination SIMD&FP register, encoded in the "Vd" field.
<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.
<T>
Is the size specifier,
size
<T>
00
B
01
H
10
S
11
D
CheckSVEEnabled();
constant integer VL = CurrentVL;
constant integer PL = VL DIV 8;
constant integer elements = VL DIV esize;
constant bits(PL) mask = P[g, PL];
constant bits(VL) operand = if AnyActiveElement(mask, esize) then Z[n, VL] else Zeros(VL);
integer maximum = if unsigned then 0 else -(2^(esize-1));
for e = 0 to elements-1
if ActivePredicateElement(mask, e, esize) then
constant integer element = Int(Elem[operand, e, esize], unsigned);
maximum = Max(maximum, element);
V[d, esize] = maximum<esize-1:0>;