FLOGB

Floating-point base 2 logarithm as integer

This instruction returns the signed integer base 2 logarithm of each floating-point input element |x| after normalization.

This is the unbiased exponent of x used in the representation of the floating-point value, such that, for positive x, x = significand × 2exponent.

The integer results are placed in elements of the destination vector which have the same width (esize) as the floating-point input elements:

  • If x is normal, the result is the base 2 logarithm of x.
  • If x is subnormal, the result corresponds to the normalized representation.
  • If x is infinite, the result is 2(esize-1)-1.
  • If x is ±0.0 or NaN, the result is -2(esize-1).
  • Inactive elements in the destination vector register remain unmodified or are set to zero, depending on whether merging or zeroing predication is selected.

    Encoding: Merging

    Variants: FEAT_SVE2 || FEAT_SME (FEAT_SVE2 || FEAT_SME)

    313029282726252423222120191817161514131211109876543210
    01100101000110101
    opcsizeUPgZnZd

    FLOGB <Zd>.<T>, <Pg>/M, <Zn>.<T>

    Decoding algorithm

    if !IsFeatureImplemented(FEAT_SVE2) && !IsFeatureImplemented(FEAT_SME) then
        EndOfDecode(Decode_UNDEF);
    if size == '00' then EndOfDecode(Decode_UNDEF);
    constant integer esize = 8 << UInt(size);
    constant integer g = UInt(Pg);
    constant integer n = UInt(Zn);
    constant integer d = UInt(Zd);
    constant boolean merging = TRUE;

    Encoding: Zeroing

    Variants: FEAT_SVE2p2 || FEAT_SME2p2 (FEAT_SVE2p2 || FEAT_SME2p2)

    313029282726252423222120191817161514131211109876543210
    01100100000111101
    opco2sizePgZnZd

    FLOGB <Zd>.<T>, <Pg>/Z, <Zn>.<T>

    Decoding algorithm

    if !IsFeatureImplemented(FEAT_SVE2p2) && !IsFeatureImplemented(FEAT_SME2p2) then
        EndOfDecode(Decode_UNDEF);
    if size == '00' then EndOfDecode(Decode_UNDEF);
    constant integer esize = 8 << UInt(size);
    constant integer g = UInt(Pg);
    constant integer n = UInt(Zn);
    constant integer d = UInt(Zd);
    constant boolean merging = FALSE;

    Operation

    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);
    bits(VL) result = if merging then Z[d, VL] else Zeros(VL);
    
    for e = 0 to elements-1
        if ActivePredicateElement(mask, e, esize) then
            constant bits(esize) element = Elem[operand, e, esize];
            Elem[result, e, esize] = FPLogB(element, FPCR);
    
    Z[d, VL] = result;

    Explanations

    <Zd>: Is the name of the destination scalable vector register, encoded in the "Zd" field.
    <T>: <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.

    Operational Notes

    The merging variant of this instruction might be immediately preceded in program order by a MOVPRFX instruction. The MOVPRFX must conform to all of the following requirements, otherwise the behavior of the MOVPRFX and the merging variant of this instruction is CONSTRAINED UNPREDICTABLE: