smaxv

SVE Signed Maximum Reduction

SMAXV <Vd>, <Pg>, <Zn>.<T>

Finds max signed element in vector.

Details

SVE signed maximum reduction: finds the maximum signed element in vector Zn according to predicate mask Pg, and stores the result as a scalar in Vd. The operation reads all active elements from Zn, compares them as signed integers (element size determined by sz), and reduces to a single scalar value. No NZCV flags are affected by this instruction.

Pseudocode Operation

bits(esize) result = MIN_INT(esize);
for i = 0 to VL/esize - 1
  if Pg[i] == '1' then
    element = Zn[i*esize +: esize];
    if element > result (signed) then result = element;
Vd[0 +: esize] ← result;

Example

SMAXV v0.4s, p0/m, z1.s.T

Encoding

Binary Layout
00000100
size
0010
0
0
001
Pg
Zn
Vd
 
Format SVE Reduction
Opcode 0x04082000
Extension SVE

Operands

  • Vd
    Dest Scalar
  • Pg
    Mask
  • Zn
    Vector

Reference (Arm A64 ISA)

Instruction Forms

Encoding Instruction ISA Bit pattern
0x0E30A800 SMAXV <V><d>, <Vn>.<T> A64 0 | Q | 0 | 01110 | size | 11000 | 0 | 101010 | Rn | Rd
0x04082000 SMAXV <V><d>, <Pg>, <Zn>.<T> A64 00000100 | size | 0010 | 0 | 0 | 001 | Pg | Zn | Vd

Description

Signed 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 the minimum signed integer for the element size.

Operation

CheckSVEEnabled();
constant integer VL = CurrentVL;
constant integer PL = VL DIV 8;
constant integer elements = VL DIV esize;
bits(PL) mask = P[g, PL];
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
        integer element = Int(Elem[operand, e, esize], unsigned);
        maximum = Max(maximum, element);

V[d, esize] = maximum<esize-1:0>;