FMAXNMQV
Floating-point maximum number recursive reduction of quadword vector segments
Floating-point maximum number of the same element numbers from each 128-bit source vector segment using a recursive pairwise reduction, placing each result into the corresponding element number of the 128-bit SIMD&FP destination register. Inactive elements in the source vector are treated as the default NaN.
Green
True
0
1
1
0
0
1
0
0
0
1
0
1
0
0
1
0
1
FMAXNMQV <Vd>.<T>, <Pg>, <Zn>.<Tb>
if !HaveSVE2p1() && !HaveSME2p1() then UNDEFINED;
if size == '00' then UNDEFINED;
constant integer esize = 8 << UInt(size);
integer g = UInt(Pg);
integer n = UInt(Zn);
integer d = UInt(Vd);
<Vd>
Is the name of the destination SIMD&FP register, encoded in the "Vd" field.
<T>
Is an arrangement specifier,
size
<T>
00
RESERVED
01
8H
10
4S
11
2D
<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.
<Tb>
Is the size specifier,
size
<Tb>
00
RESERVED
01
H
10
S
11
D
CheckSVEEnabled();
constant integer VL = CurrentVL;
constant integer PL = VL DIV 8;
constant integer segments = VL DIV 128;
constant integer elempersegment = 128 DIV esize;
bits(PL) mask = P[g, PL];
bits(VL) operand = if AnyActiveElement(mask, esize) then Z[n, VL] else Zeros(VL);
bits(esize) identity = FPDefaultNaN(esize);
bits(128) result = Zeros(128);
constant integer p2bits = CeilPow2(segments*esize);
constant integer p2elems = p2bits DIV esize;
for e = 0 to elempersegment-1
bits(p2bits) stmp;
bits(esize) dtmp;
for s = 0 to p2elems-1
if s < segments && ActivePredicateElement(mask, s * elempersegment + e, esize) then
Elem[stmp, s, esize] = Elem[operand, s * elempersegment + e, esize];
else
Elem[stmp, s, esize] = identity;
dtmp = Reduce(ReduceOp_FMAXNUM, stmp, esize);
Elem[result, e, esize] = dtmp;
V[d, 128] = result;