PTO-ARCH-DATA-TYPES-FLOATING-POINTThe complete ASL owner is shown directly below.
// PTO-UNIT: {"id":"PTO-ARCH-DATA-TYPES-FLOATING-POINT","surface":"arch","classification":["data-types","floating-point"],"depends_on":["PTO-ARCH-DATA-TYPES-SYSTEM-REGISTERS"]}type FloatingBinaryOperation of enumeration { FloatingBinary_ADD, FloatingBinary_SUB, FloatingBinary_MUL, FloatingBinary_DIV, FloatingBinary_MIN, FloatingBinary_MAX};
type FloatingCompareOperation of enumeration { FloatingCompare_EQ, FloatingCompare_NE, FloatingCompare_LT, FloatingCompare_LE, FloatingCompare_GT, FloatingCompare_GE};
type FloatingUnaryOperation of enumeration { FloatingUnary_ABS, FloatingUnary_SQRT, FloatingUnary_EXP, FloatingUnary_RECIP};
type FloatingFusedOperation of enumeration { FloatingFused_MADD, FloatingFused_MSUB, FloatingFused_NMADD, FloatingFused_NMSUB};
This unit gives PTO ASL a closed vocabulary for selecting floating-point operation families. It defines operation selectors only; operand formats, rounding, exceptions, result values, and state effects remain owned by the ASL functions that consume these selectors.
FloatingBinaryOperation covers ADD, SUB, MUL, DIV, MIN, and MAX. FloatingCompareOperation covers EQ, NE, LT, LE, GT, and GE.
FloatingUnaryOperation covers ABS, SQRT, EXP, and RECIP; FloatingFusedOperation covers MADD, MSUB, NMADD, and NMSUB.
A caller passes one member of the appropriate enumeration to a numeric semantic owner. That owner, not this enumeration, determines the chosen data format and the exact arithmetic behavior.
The four enumeration types prevent a compare selector from being silently used as a binary, unary, or fused selector.
The presence of MIN, MAX, RECIP, or a fused selector does not by itself define NaN selection, rounding, overflow, underflow, flags, or contraction behavior. Those questions must be answered by a reachable numeric-format or profile ASL contract.
The static AVS for this unit checks that the selector declarations compile in the complete model; this evidence statement does not define arithmetic results.
This example illustrates selector lookup and is not an arithmetic definition.
On seeing FloatingFused_NMSUB, first identify the consuming ASL function, then read that owner's operand ordering, format, rounding, and exceptional-value rules before reasoning about a result.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
No NDF clause is attached to this unit.
6 matching entries
PTO-AVS-ARCH-DATA-TYPES-FLOATING-POINT-STATIC-001tests/asl/arch/data-types/floating-point/arch-static-floating-point-contract-001.asl88ba63e7b74ee830e8e5ea54b14571d9a12631ea4a92e9e1a9aab30f4579af1ePTO-EVIDENCE-RELEASE-TRACEABILITYPTO-EVIDENCE-RELEASE-TRACEABILITYspec/evidence/release-traceability-readiness.jsonc7327021d39dc67ac5564bc55073b3870a397d79ac8d9648284d56e33bc14a3ePTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSUREPTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSUREspec/evidence/instruction-contract-closure.json3ef2bb62421c79dff8fa77a1c7983923b523244b8090812883ef81286ca8106aPTO-EVIDENCE-ARCHITECTURE-READINESSPTO-EVIDENCE-ARCHITECTURE-READINESSspec/evidence/architecture-readiness.json4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004PTO-EVIDENCE-RELEASE-GATE-READINESSPTO-EVIDENCE-RELEASE-GATE-READINESSspec/evidence/release-gate-readiness.jsona0f4d2b6920c08981ea55fd8ef820708a40d4feb5402c5150e8e9ab532d84ce0PTO-EVIDENCE-RELEASE-MANIFESTPTO-EVIDENCE-RELEASE-MANIFESTspec/release-manifest.json1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8{
"classification": [
"data-types",
"floating-point"
],
"documentation": "docs/arch/data-types/floating-point.md",
"id": "PTO-ARCH-DATA-TYPES-FLOATING-POINT",
"mnemonic": null,
"readiness_subjects": [],
"semantic_tests": [],
"source": "asl/arch/data-types/floating-point.asl",
"surface": "arch",
"tests": [
"PTO-AVS-ARCH-DATA-TYPES-FLOATING-POINT-STATIC-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd868123eaa4e906174194125ff651c24703bd9a4704073baf2d37268634bd67d5a06a2a2ad37257a95f05c09ab26723d8d825b017fcadffc0ad619491ddd7d61703b61asl/arch/data-types/floating-point.asl