PTO-ARCH-DATA-TYPES-NUMERIC-FORMATS

1// PTO-UNIT: {"id":"PTO-ARCH-DATA-TYPES-NUMERIC-FORMATS","surface":"arch","classification":["data-types","numeric-formats"],"depends_on":["PTO-ARCH-DATA-TYPES-FORMAT-FP64","PTO-ARCH-DATA-TYPES-FORMAT-FP32","PTO-ARCH-DATA-TYPES-FORMAT-TF32","PTO-ARCH-DATA-TYPES-FORMAT-HF32","PTO-ARCH-DATA-TYPES-FORMAT-FP16","PTO-ARCH-DATA-TYPES-FORMAT-BF16","PTO-ARCH-DATA-TYPES-FORMAT-HIF8","PTO-ARCH-DATA-TYPES-FORMAT-E4M3","PTO-ARCH-DATA-TYPES-FORMAT-E5M2","PTO-ARCH-DATA-TYPES-FORMAT-E3M2","PTO-ARCH-DATA-TYPES-FORMAT-E2M3","PTO-ARCH-DATA-TYPES-FORMAT-E2M1X2","PTO-ARCH-DATA-TYPES-FORMAT-E1M2X2","PTO-ARCH-DATA-TYPES-FORMAT-E8M0","PTO-ARCH-DATA-TYPES-FORMAT-HIF4X2"]}2
3// NDF-BEGIN: PTO-NUMERIC-FINITE-DECOMPOSITION-0014// ndf: kind=executable level=L3 layer=architecture status=accepted5// Every valid finite floating or scale encoding MUST decompose without host6// floating-point arithmetic into available, sign, integer significand, and7// integer exponent such that its exact value is8// (-1)^sign * UInt(significand) * 2^exponent. Invalid internal encodings,9// infinities, NaNs, and integer Tile DataTypes MUST report unavailable.10// NDF-END: PTO-NUMERIC-FINITE-DECOMPOSITION-00111
12// DOC-BEGIN: operation13pure func TileNumericFormatDescriptor(data_type: TileDataType)14    => NumericFormatDescriptor15begin16    case data_type of17        when TileDataType_FP64 => return FP64NumericFormatDescriptor();18        when TileDataType_FP32 => return FP32NumericFormatDescriptor();19        when TileDataType_TF32 => return TF32NumericFormatDescriptor();20        when TileDataType_HF32 => return HF32NumericFormatDescriptor();21        when TileDataType_FP16 => return FP16NumericFormatDescriptor();22        when TileDataType_BF16 => return BF16NumericFormatDescriptor();23        when TileDataType_HiF8 => return HiF8NumericFormatDescriptor();24        when TileDataType_E4M3 => return E4M3NumericFormatDescriptor();25        when TileDataType_E5M2 => return E5M2NumericFormatDescriptor();26        when TileDataType_E3M2 => return E3M2NumericFormatDescriptor();27        when TileDataType_E2M3 => return E2M3NumericFormatDescriptor();28        when TileDataType_E2M1X2 => return E2M1X2NumericFormatDescriptor();29        when TileDataType_E1M2X2 => return E1M2X2NumericFormatDescriptor();30        when TileDataType_E8M0 => return E8M0NumericFormatDescriptor();31        when TileDataType_HiF4X2 => return HiF4X2NumericFormatDescriptor();32        otherwise => return UnavailableNumericFormatDescriptor();33    end;34end;35
36pure func TileNumericFiniteDecomposition(37    data_type: TileDataType,38    value: Word) => (boolean, boolean, Word, integer {-1074..1023})39begin40    case data_type of41        when TileDataType_FP64 => return FP64FiniteDecomposition(value);42        when TileDataType_FP32 => return FP32FiniteDecomposition(value[31:0]);43        when TileDataType_TF32 => return TF32FiniteDecomposition(value[31:0]);44        when TileDataType_HF32 => return HF32FiniteDecomposition(value[31:0]);45        when TileDataType_FP16 => return FP16FiniteDecomposition(value[15:0]);46        when TileDataType_BF16 => return BF16FiniteDecomposition(value[15:0]);47        when TileDataType_HiF8 => return HiF8FiniteDecomposition(value[7:0]);48        when TileDataType_E4M3 => return E4M3FiniteDecomposition(value[7:0]);49        when TileDataType_E5M2 => return E5M2FiniteDecomposition(value[7:0]);50        when TileDataType_E3M2 => return E3M2FiniteDecomposition(value[7:0]);51        when TileDataType_E2M3 => return E2M3FiniteDecomposition(value[7:0]);52        when TileDataType_E2M1X2 => return E2M1X2FiniteDecomposition(value);53        when TileDataType_E1M2X2 => return E1M2X2FiniteDecomposition(value);54        when TileDataType_E8M0 => return E8M0FiniteDecomposition(value[7:0]);55        when TileDataType_HiF4X2 => return HiF4X2FiniteDecomposition(value);56        otherwise => return (FALSE, FALSE, Zeros{PTO_XLEN}, 0);57    end;58end;59// DOC-END: operation60