PTO-ARCH-DATA-TYPES-FORMAT-DESCRIPTOR

1// PTO-UNIT: {"id":"PTO-ARCH-DATA-TYPES-FORMAT-DESCRIPTOR","surface":"arch","classification":["data-types","format-descriptor"],"depends_on":["PTO-ARCH-DATA-TYPES-TILE-DATA-TYPES"]}2
3// NDF-BEGIN: PTO-NUMERIC-FORMAT-DESCRIPTOR-0014// ndf: kind=contract level=L1 layer=architecture status=accepted5// Each assigned floating or scale Tile DataType MUST expose one exact carrier,6// lane, field-width, bias, constrained-bit, and special-value descriptor.7// Integer Tile DataTypes MUST report that no floating-format descriptor exists.8// NDF-END: PTO-NUMERIC-FORMAT-DESCRIPTOR-0019
10// DOC-BEGIN: operation11type NumericFormatKind of enumeration {12    NumericFormatKind_Unavailable,13    NumericFormatKind_FixedBinary,14    NumericFormatKind_HiF8,15    NumericFormatKind_E8M016};17
18type NumericFormatDescriptor of record {19    available: boolean,20    kind: NumericFormatKind,21    carrier_bits: integer {0..64},22    lane_bits: integer {0..64},23    lanes_per_carrier: integer {0..2},24    sign_bits: integer {0..1},25    sign_bit: integer {0..63},26    exponent_bits_min: integer {0..11},27    exponent_bits_max: integer {0..11},28    fraction_bits_min: integer {0..52},29    fraction_bits_max: integer {0..52},30    exponent_bias_available: boolean,31    exponent_bias: integer {0..1023},32    required_low_zero_bits: integer {0..13},33    required_high_zero_bits: integer {0..2},34    has_zero: boolean,35    has_signed_zero: boolean,36    has_subnormal: boolean,37    has_infinity: boolean,38    has_quiet_nan: boolean,39    has_signaling_nan: boolean40};41
42type HiF8DotField of enumeration {43    HiF8DotField_Denormal,44    HiF8DotField_D0,45    HiF8DotField_D1,46    HiF8DotField_D2,47    HiF8DotField_D3,48    HiF8DotField_D449};50
51pure func UnavailableNumericFormatDescriptor() => NumericFormatDescriptor52begin53    return NumericFormatDescriptor {54        available = FALSE,55        kind = NumericFormatKind_Unavailable,56        carrier_bits = 0,57        lane_bits = 0,58        lanes_per_carrier = 0,59        sign_bits = 0,60        sign_bit = 0,61        exponent_bits_min = 0,62        exponent_bits_max = 0,63        fraction_bits_min = 0,64        fraction_bits_max = 0,65        exponent_bias_available = FALSE,66        exponent_bias = 0,67        required_low_zero_bits = 0,68        required_high_zero_bits = 0,69        has_zero = FALSE,70        has_signed_zero = FALSE,71        has_subnormal = FALSE,72        has_infinity = FALSE,73        has_quiet_nan = FALSE,74        has_signaling_nan = FALSE75    };76end;77// DOC-END: operation78