PTO-ARCH-DISPATCH-TOP-LEVELThe complete ASL owner is shown directly below.
// PTO-UNIT: {"id":"PTO-ARCH-DISPATCH-TOP-LEVEL","surface":"arch","classification":["dispatch","top-level"],"depends_on":["PTO-BLOCK-MODEL-DISPATCH-TOP-LEVEL","PTO-SCALAR-MODEL-DISPATCH-TOP-LEVEL"]}// PTO-REQ-INSTRUCTION-DISPATCH-001: total PTO encoded-instruction entry point.
type PTOInstructionExecutionStatus of enumeration { PTOInstruction_Executed, PTOInstruction_Rejected};
func ExecutePTOInstruction(instruction: bits(64), length_bits: integer {16,32,48,64}) => PTOInstructionExecutionStatusbegin if DecodeCommandForm(instruction, length_bits) != PTO_COMMAND_FORM_COUNT then let command_status = ExecuteCommandInstruction(instruction, length_bits); if command_status == CommandExecution_Executed then return PTOInstruction_Executed; else return PTOInstruction_Rejected; end; elsif length_bits != 64 then let scalar_status = ExecuteScalarInstruction( instruction[47:0], length_bits as integer {16,32,48}); if scalar_status == ScalarExecution_Executed then return PTOInstruction_Executed; else return PTOInstruction_Rejected; end; else BeginArchitecturalInstructionAttempt(); SetFault(Fault_IllegalInstruction, ReadTPC()); return PTOInstruction_Rejected; end;end;
ExecutePTOInstruction is the total entry point for one encoded PTO instruction and returns either PTOInstruction_Executed or PTOInstruction_Rejected.
It separates command-form dispatch from scalar dispatch and provides one explicit rejection path for unmatched 64-bit inputs.
bits(64) and length_bits is restricted to 16, 32, 48, or 64.DecodeCommandForm is tried first. A recognized command form is passed to ExecuteCommandInstruction.64, the low 48 bits are passed to ExecuteScalarInstruction with the original 16/32/48 length.A command execution status maps directly to the top-level executed/rejected status.
A scalar execution status maps in the same way after the command decoder reports no form.
An unmatched 64-bit input begins an architectural instruction attempt, sets Fault_IllegalInstruction at ReadTPC(), and returns rejected.
This dispatcher does not duplicate command or scalar legality and operation semantics; it delegates them to their current owners.
The explicit illegal-instruction path applies only after command decoding fails and the selected length is 64.
A recognized 48-bit scalar form first fails command-form recognition, then reaches ExecuteScalarInstruction; its final status is projected back to PTOInstructionExecutionStatus.
A random 64-bit carrier that matches no command form does not fall through to scalar decoding; it takes the explicit illegal-instruction path.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
No NDF clause is attached to this unit.
9 matching entries
PTO-AVS-ARCH-DECODER-COVERAGE-001tests/asl/arch/dispatch/top-level/arch-exec-decoders-001.asl8bc90a14061253e64b4fdfcae7a2797235f43213e563a4189ae8c9927410e079PTO-AVS-ARCH-DISPATCH-TOP-LEVEL-STATIC-001tests/asl/arch/dispatch/top-level/arch-static-top-level-contract-001.aslc0a9d8dae5bd5f921e1c5dd44d6a13da8d8743fd02aa8d02d1a9f60bf35c9b16PTO-AVS-ARCH-TESTCROSSDISPATCHEXECUTIONCONTRACT-EXECUTION-001tests/asl/arch/dispatch/top-level/arch-exec-cross-dispatch-contract-001.asl7861a22b4ea15c1965e2af12a3e0b92d4084139789113692f695710ad04a34d0PTO-AVS-ARCH-TESTUNIFIEDINSTRUCTIONDISPATCH-EXECUTION-001tests/asl/arch/dispatch/top-level/arch-exec-unified-instruction-dispatch-001.asl24b8cbc802a9ca45ec70b97947810c0edb0eb0c87efff1cad5b776958a2010f2PTO-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": [
"dispatch",
"top-level"
],
"documentation": "docs/arch/dispatch/top-level.md",
"id": "PTO-ARCH-DISPATCH-TOP-LEVEL",
"mnemonic": null,
"readiness_subjects": [],
"semantic_tests": [
"PTO-AVS-ARCH-DECODER-COVERAGE-001",
"PTO-AVS-ARCH-TESTCROSSDISPATCHEXECUTIONCONTRACT-EXECUTION-001",
"PTO-AVS-ARCH-TESTUNIFIEDINSTRUCTIONDISPATCH-EXECUTION-001"
],
"source": "asl/arch/dispatch/top-level.asl",
"surface": "arch",
"tests": [
"PTO-AVS-ARCH-DECODER-COVERAGE-001",
"PTO-AVS-ARCH-DISPATCH-TOP-LEVEL-STATIC-001",
"PTO-AVS-ARCH-TESTCROSSDISPATCHEXECUTIONCONTRACT-EXECUTION-001",
"PTO-AVS-ARCH-TESTUNIFIEDINSTRUCTIONDISPATCH-EXECUTION-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd86812302dfff367909f25401d9a994c9e59d48ee6555c70428e638e37f6f35a589e9d5f2a8dcb6306f8429fbb0ae330c19532c5ffc8eb2385d37ac72ac4a2d1d25589asl/arch/dispatch/top-level.asl