PTO-ARCH-DATA-TYPES-NUMERIC-CLASSIFICATION

1// PTO-UNIT: {"id":"PTO-ARCH-DATA-TYPES-NUMERIC-CLASSIFICATION","surface":"arch","classification":["data-types","numeric-classification"],"depends_on":["PTO-ARCH-DATA-TYPES-ROUNDING"]}2type NumericValueClass of enumeration {3    NumericValue_InvalidEncoding,4    NumericValue_PositiveZero,5    NumericValue_NegativeZero,6    NumericValue_PositiveSubnormal,7    NumericValue_NegativeSubnormal,8    NumericValue_PositiveNormal,9    NumericValue_NegativeNormal,10    NumericValue_PositiveInfinity,11    NumericValue_NegativeInfinity,12    NumericValue_QuietNaN,13    NumericValue_SignalingNaN14};15
16// Input and result subnormal rules are intentionally separate. They describe17// the named hardware numeric profile and are not pto-v0 arithmetic behavior.18type NumericInputSubnormalRule of enumeration {19    NumericInputSubnormal_NotApplicable,20    NumericInputSubnormal_Preserve21};22
23type NumericResultSubnormalRule of enumeration {24    NumericResultSubnormal_NotApplicable,25    NumericResultSubnormal_GradualUnderflow26};27
28type NumericTininessDetectionRule of enumeration {29    NumericTininessDetection_NotApplicable,30    NumericTininessDetection_AfterRounding31};32
33type TileNumericSelection of record {34    use_operation_default: boolean,35    rounding_mode: NumericRoundingMode,36    saturating: boolean37};38
39// PTO-REQ-PROFILE-001, PTO-REQ-HARDWARE-NUMERIC-001:40// bit-exact value classification for every TileDataType.41
42pure func NumericValueClassIsNaN(value_class: NumericValueClass) => boolean43begin44    return value_class == NumericValue_QuietNaN ||45           value_class == NumericValue_SignalingNaN;46end;47
48pure func NumericValueClassIsInfinity(value_class: NumericValueClass) => boolean49begin50    return value_class == NumericValue_PositiveInfinity ||51           value_class == NumericValue_NegativeInfinity;52end;53
54pure func NumericValueClassIsZero(value_class: NumericValueClass) => boolean55begin56    return value_class == NumericValue_PositiveZero ||57           value_class == NumericValue_NegativeZero;58end;59
60pure func NumericValueClassIsSubnormal(value_class: NumericValueClass) => boolean61begin62    return value_class == NumericValue_PositiveSubnormal ||63           value_class == NumericValue_NegativeSubnormal;64end;65