PTO-ARCH-DATA-TYPES-ROUNDING

1// PTO-UNIT: {"id":"PTO-ARCH-DATA-TYPES-ROUNDING","surface":"arch","classification":["data-types","rounding"],"depends_on":["PTO-ARCH-DATA-TYPES-FLOATING-POINT"]}2// Semantic rounding modes are independent of every encoded selector3// namespace. Scalar FRM, fixed conversion overrides, bundle RMode, and public4// API controls must resolve into this type explicitly.5type NumericRoundingMode of enumeration {6    NumericRound_RNE,7    NumericRound_RTM,8    NumericRound_RTP,9    NumericRound_RTZ,10    NumericRound_RNA,11    NumericRound_RTO,12    NumericRound_RHB13};14
15type NumericExecutionControl of record {16    rounding_mode: NumericRoundingMode,17    saturating: boolean18};19
20// Bit-exact value classes are format properties. They do not select an21// operation result, exception flag, target profile, or arithmetic algorithm.22pure func DefaultNumericExecutionControl() => NumericExecutionControl23begin24    return NumericExecutionControl {25        rounding_mode = NumericRound_RNE,26        saturating = FALSE27    };28end;29
30// Selects only a bounded set of accepted negative applicability rules. This31// is not a complete target-profile selector: absence of a rejection does not32// claim target support or select numeric result semantics.33type NumericApplicabilityRuleSet of enumeration {34    NumericApplicabilityRules_None,35    NumericApplicabilityRules_A2A3MxRejection36};37