PTO-ARCH-DATA-TYPES-FORMAT-FP64

1// PTO-UNIT: {"id":"PTO-ARCH-DATA-TYPES-FORMAT-FP64","surface":"arch","classification":["data-types","formats","fp64"],"depends_on":["PTO-ARCH-DATA-TYPES-FORMAT-DESCRIPTOR"]}2// DOC-BEGIN: operation3// PTO-REQ-HARDWARE-NUMERIC-001: exact FP64 encoding and finite values.4
5pure func FP64NumericFormatDescriptor() => NumericFormatDescriptor6begin7    return NumericFormatDescriptor {8        available = TRUE, kind = NumericFormatKind_FixedBinary,9        carrier_bits = 64, lane_bits = 64, lanes_per_carrier = 1,10        sign_bits = 1, sign_bit = 63,11        exponent_bits_min = 11, exponent_bits_max = 11,12        fraction_bits_min = 52, fraction_bits_max = 52,13        exponent_bias_available = TRUE, exponent_bias = 1023,14        required_low_zero_bits = 0, required_high_zero_bits = 0,15        has_zero = TRUE, has_signed_zero = TRUE, has_subnormal = TRUE,16        has_infinity = TRUE, has_quiet_nan = TRUE,17        has_signaling_nan = TRUE18    };19end;20
21pure func FP64FiniteDecomposition(value: Word)22    => (boolean, boolean, Word, integer {-1074..1023})23begin24    let exponent = value[62:52];25    let fraction = value[51:0];26    if exponent == Ones{11} then27        return (FALSE, FALSE, Zeros{PTO_XLEN}, 0);28    elsif exponent == Zeros{11} then29        if fraction == Zeros{52} then30            return (TRUE, value[63] == '1', Zeros{PTO_XLEN}, 0);31        else return (TRUE, value[63] == '1',32                     ZeroExtend{PTO_XLEN}(fraction), -1074);33        end;34    else return (TRUE, value[63] == '1',35                 LSL(Zeros{PTO_XLEN} + 1, 52) +36                     ZeroExtend{PTO_XLEN}(fraction),37                 (UInt(exponent) - (1023 + 52))38                     as integer {-1074..1023});39    end;40end;41pure func ClassifyFP64(value: Word) => NumericValueClass42begin43    let exponent = value[62:52];44    let fraction = value[51:0];45    if exponent == Ones{11} then46        if fraction == Zeros{52} then47            if value[63] == '1' then return NumericValue_NegativeInfinity;48            else return NumericValue_PositiveInfinity;49            end;50        elsif fraction[51] == '1' then return NumericValue_QuietNaN;51        else return NumericValue_SignalingNaN;52        end;53    end;54    return NumericValueClassFromFiniteSign(value[63],55        exponent == Zeros{11} && fraction == Zeros{52},56        exponent == Zeros{11} && fraction != Zeros{52});57end;58
59pure func FP64CanonicalNaN() => Word60begin61    return Zeros{PTO_XLEN} + 0x7ff8000000000000;62end;63
64pure func FP64SignedZeroEncodings() => (Word, Word)65begin66    return (Zeros{PTO_XLEN}, Zeros{PTO_XLEN} + 0x8000000000000000);67end;68// DOC-END: operation69