Queries, initializes, notifies, suspends, or restores one General Queue Management queue.
PTO-BLOCK-HL-QMThl.qmt SrcL, ->RegDsthl.qmt.e SrcL, ->RegDsthl.qmt.s SrcL, ->RegDsthl.qmt.r SrcL, ->RegDsthl.qmt.es SrcL, ->RegDsthl.qmt.er SrcL, ->RegDsthl.qmt.i SrcL, SrcR, ->RegDsthl.qmt.ie SrcL, SrcR, ->RegDsthl.qmt.is SrcL, SrcR, ->RegDsthl.qmt.ir SrcL, SrcR, ->RegDsthl.qmt.ies SrcL, SrcR, ->RegDsthl.qmt.ier SrcL, SrcR, ->RegDst| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
RegDst | 5 | encoding-defined | Reg5 destination for the operation result | Encoded zero names R0; reads produce zero and writes are discarded. |
SrcL | 5 | encoding-defined | Reg5 source of the queue address | Encoded zero names R0; reads produce zero and writes are discarded. |
SrcR | 5 | encoding-defined | Reg5 capacity source, read only when i=1 | Encoded zero names R0; reads produce zero and writes are discarded. |
e | 1 | encoding-defined | post-primary-operation event selector | Zero suppresses event notification. |
i | 1 | encoding-defined | initialize-or-replace selector | Zero selects query rather than initialization. |
r | 1 | encoding-defined | post-event restore selector | Zero suppresses restoration. |
s | 1 | encoding-defined | post-event suspend selector | Zero suppresses suspension. |
Loading WaveDrom diagram… The encoding table and WaveJSON remain available below.
| Decoded item | Bit range | Value |
|---|---|---|
| Constant | 47:45 | 3'b000 |
| i | 44 | variable |
| s | 43 | variable |
| r | 42 | variable |
| e | 41 | variable |
| SrcR | 40:36 | variable |
| SrcL | 35:31 | variable |
| Constant | 30:28 | 3'b000 |
| RegDst | 27:23 | variable |
| Constant | 22:0 | 23'b11111010000000000001110 |
{
"reg": [
{
"bits": 23,
"name": "23'b11111010000000000001110"
},
{
"bits": 5,
"name": "RegDst"
},
{
"bits": 3,
"name": "3'b000"
},
{
"bits": 5,
"name": "SrcL"
},
{
"bits": 5,
"name": "SrcR"
},
{
"bits": 1,
"name": "e"
},
{
"bits": 1,
"name": "r"
},
{
"bits": 1,
"name": "s"
},
{
"bits": 1,
"name": "i"
},
{
"bits": 3,
"name": "3'b000"
}
],
"config": {
"bits": 48,
"fontsize": 13,
"hspace": 900,
"lanes": 2,
"offset": 0
}
}hl.qmt[.{i,e,s,r,ie,is,ir,es,er,ies,ier}] SrcL[, SrcR when i], ->RegDst
SrcLSrcRRegDstiesrDecode and Operation come directly from the instruction owner and remain separated by execution phase.
readonly func InstructionContractMatches_HL_QMT(operation: CommandOperation) => booleanbegin return (operation == CommandOperation_hl_qmt_48_eb9e41958045);end;readonly func InstructionContractHandler_HL_QMT() => CommandSemanticHandlerbegin return CommandHandler_ExecuteQueueMove;end;
func ExecuteHLQMT(destination: Reg5Selector, address: Word, capacity_source: Word, flags: bits(4))begin ExecuteQueueManagerMove( destination, address, capacity_source, flags);end;
pure func InstructionContractChangesQueueManagerState_HL_QMT() => booleanbegin return TRUE;end;
pure func InstructionContractSnapshotsSourcesBeforeWrite_HL_QMT() => booleanbegin return TRUE;end;// PTO-INSTRUCTION: {"assembly":["hl.qmt SrcL, ->RegDst","hl.qmt.e SrcL, ->RegDst","hl.qmt.s SrcL, ->RegDst","hl.qmt.r SrcL, ->RegDst","hl.qmt.es SrcL, ->RegDst","hl.qmt.er SrcL, ->RegDst","hl.qmt.i SrcL, SrcR, ->RegDst","hl.qmt.ie SrcL, SrcR, ->RegDst","hl.qmt.is SrcL, SrcR, ->RegDst","hl.qmt.ir SrcL, SrcR, ->RegDst","hl.qmt.ies SrcL, SrcR, ->RegDst","hl.qmt.ier SrcL, SrcR, ->RegDst"],"block":[],"catalog_indices":[66],"catalog_records":[{"asm":"hl.qmt[.{i,e,s,r,ie,is,ir,es,er,ies,ier}] SrcL[, SrcR when i], ->RegDst","constraints":[],"encoding":[{"index":0,"mask":"0xe000707fffff","match":"0x0000007d000e","width_bits":48}],"encoding_kind":"HL48","fields":[{"name":"RegDst","pieces":[{"instruction_lsb":23,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"SrcL","pieces":[{"instruction_lsb":31,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"SrcR","pieces":[{"instruction_lsb":36,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5},{"name":"e","pieces":[{"instruction_lsb":41,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1},{"name":"i","pieces":[{"instruction_lsb":44,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1},{"name":"r","pieces":[{"instruction_lsb":42,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1},{"name":"s","pieces":[{"instruction_lsb":43,"value_lsb":0,"width":1}],"signedness":"encoding-defined","width":1}],"form_id":"hl_qmt_48_eb9e41958045","length_bits":48,"mnemonic":"HL.QMT","semantic_family":"CMD","semantic_group":"General","semantic_handler":"ExecuteQueueMove","semantic_summary":"Queries, initializes, notifies, suspends, or restores one General Queue Management queue.","status":"accepted"}],"classification":["lifecycle"],"contract":{"block_composition":["none"],"canonical_assembly":["hl.qmt SrcL, ->RegDst","hl.qmt.e SrcL, ->RegDst","hl.qmt.s SrcL, ->RegDst","hl.qmt.r SrcL, ->RegDst","hl.qmt.es SrcL, ->RegDst","hl.qmt.er SrcL, ->RegDst","hl.qmt.i SrcL, SrcR, ->RegDst","hl.qmt.ie SrcL, SrcR, ->RegDst","hl.qmt.is SrcL, SrcR, ->RegDst","hl.qmt.ir SrcL, SrcR, ->RegDst","hl.qmt.ies SrcL, SrcR, ->RegDst","hl.qmt.ier SrcL, SrcR, ->RegDst"],"defaults":["The bare form clears i, e, s, and r and queries the remaining number of 64-bit entries.","When i=0, the encoded SrcR field is ignored and is not read; canonical assembly omits it.","When i=1, SrcR[9:0] supplies capacity 0..1023 and higher source bits are ignored."],"encoding_class":"standalone-encoded","examples":["hl.qmt a0, ->a1","hl.qmt.ie t#1, u#1, ->t#2","hl.qmt.s sp, ->u#1"],"exceptions":["s+r and selector failures raise Fault_IllegalInstruction before source reads, queue observation, events, destination writes, or TPC advance.","Missing, corrupt, suspend, and restore runtime conditions are reported only in the result status and do not trap."],"field_contracts":{},"field_zero_meanings":{"SrcL":"Encoded zero names R0; reads produce zero and writes are discarded.","SrcR":"Encoded zero names R0; reads produce zero and writes are discarded.","RegDst":"Encoded zero names R0; reads produce zero and writes are discarded.","i":"Zero selects query rather than initialization.","e":"Zero suppresses event notification.","s":"Zero suppresses suspension.","r":"Zero suppresses restoration."},"legality":["Reg5 values 0..23 select absolute R0..R23 and 24..31 select the block-relative T#1..T#4 or U#1..U#4 entries; unavailable relative sources and invalid relative destinations reject before queue state changes.","Every flag combination is assigned except s+r, including combinations that also set i or e; s+r raises Fault_IllegalInstruction before operand reads or effects.","The event suffix is e; b is not an alias."],"memory_effects":["No direct memory access. Non-relaxed queue operations carry only the GQM ordering edges defined by push and pop."],"operands":[{"field":"SrcL","role":"Reg5 source of the queue address"},{"field":"SrcR","role":"Reg5 capacity source, read only when i=1"},{"field":"RegDst","role":"Reg5 destination for the operation result"},{"field":"i","role":"initialize-or-replace selector"},{"field":"e","role":"post-primary-operation event selector"},{"field":"s","role":"post-event suspend selector"},{"field":"r","role":"post-event restore selector"}],"ordering":["For a valid queue, the primary query or initialization occurs first, then e notification, then s suspension or r restoration.","Initialization replacement, optional event/state action, and result publication form one instruction effect."],"standalone_opcode":true,"state_effects":["i=0 reports remaining 64-bit entries; i=1 atomically creates or replaces the queue and returns allocated bytes.","A successful initialization clears prior entries, corruption, and suspension. Zero capacity creates a valid empty writable queue.","Result bits [12:0] hold the primary value and [63:62] hold status; unused bits are zero. Status 0 is success, status 1 is missing/corrupt runtime state, and 2..3 are reserved."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"id":"PTO-BLOCK-HL-QMT","mnemonic":"HL.QMT","summary":"Queries, initializes, notifies, suspends, or restores one General Queue Management queue.","surface":"block"}// NDF-BEGIN: PTO-HL-QMT-GQM-001// ndf: kind=contract level=L1 layer=block status=accepted// HL.QMT MUST query or atomically initialize one GQM queue, then apply event// and suspend-or-restore actions in order. The s+r flag combination MUST reject// before reads or effects; SrcR MUST be read only when initialization is selected.// NDF-END: PTO-HL-QMT-GQM-001// DOC-BEGIN: decodereadonly func InstructionContractMatches_HL_QMT(operation: CommandOperation) => booleanbegin return (operation == CommandOperation_hl_qmt_48_eb9e41958045);end;// DOC-END: decode// DOC-BEGIN: operationreadonly func InstructionContractHandler_HL_QMT() => CommandSemanticHandlerbegin return CommandHandler_ExecuteQueueMove;end;
func ExecuteHLQMT(destination: Reg5Selector, address: Word, capacity_source: Word, flags: bits(4))begin ExecuteQueueManagerMove( destination, address, capacity_source, flags);end;
pure func InstructionContractChangesQueueManagerState_HL_QMT() => booleanbegin return TRUE;end;
pure func InstructionContractSnapshotsSourcesBeforeWrite_HL_QMT() => booleanbegin return TRUE;end;// DOC-END: operation// PTO-REVIEW: {"review_method":"formal-definition-read","outcome":"FORMAL-COMPLETE","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}
HL.QMT is a standalone General Queue Management command whose queue update, status result, and optional event are one ordered instruction effect.
HL.QMT executes as a standalone 48-bit command and does not require placement inside a BSTART/BSTOP body.
The accepted carrier uses the HL48 encoding class and resolves every displayed field before the command reads bindings or changes state.
The command snapshots every required source before its first visible effect, then follows the owner-defined commit or restart boundary.
SrcL — Reg5 source of the queue address; SrcR — Reg5 capacity source, read only when i=1; RegDst — Reg5 destination for the operation result; i — initialize-or-replace selector; e — post-primary-operation event selector; s — post-event suspend selector; r — post-event restore selector.Source validation and snapshot precede every register, queue, frame, memory, event, or control-flow effect.
The command publishes its state and result as one ordered instruction effect, then advances or transfers control as defined by the owner.
Fixed bits, reserved values, selector domains, and required Block placement are checked before architectural effects.
The current owner reports invalid schema, state, address, or continuation conditions through Fault_IllegalInstruction; no prose on this page creates an additional fault rule.
Rejection occurs before effects unless the current owner explicitly defines a restart boundary with retained progress; completion order remains the ASL order.
This example demonstrates placement and carrier flow only; exact behavior remains in the current ASL and instruction contract.
hl.qmt a0, ->a1The shown accepted spelling resolves its fields from the current carrier, snapshots required sources, and then follows the owner-defined state and ordering transition.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
HL.QMT MUST query or atomically initialize one GQM queue, then apply event and suspend-or-restore actions in order. The s+r flag combination MUST reject before reads or effects; SrcR MUST be read only when initialization is selected.
PTO-HL-QMT-GQM-001asl/block/lifecycle/HL.QMT.asl621dd3460d1fc8077ce27bf092ca4e908f40f33c53edde1b3ed499ca772f7e6e566ea46eafaec189c532b3bf56c216cda559e46c484c92f59a3fa4f3120d2af713 matching entries
PTO-AVS-BLOCK-HL-QMT-CONTROL-001tests/asl/block/lifecycle/HL.QMT/block-state-hl-qmt-control-001.asl62547cc5e1744905b03f35a5258c6722acdb370ff400238051427fe8e292864bPTO-AVS-BLOCK-HL-QMT-DECODE-001tests/asl/block/lifecycle/HL.QMT/block-decode-hl-qmt-canonical-001.asl87f39a0c42007664e8923f6b21048d7a5e38d98331be0d8ccb7f819d693ada18PTO-AVS-BLOCK-HL-QMT-FLAGS-001tests/asl/block/lifecycle/HL.QMT/block-fault-hl-qmt-flags-001.asl6a3036f13716dd06c163b5c8dae18f86029513acebe070ddc15e31dcfe99cf38PTO-AVS-BLOCK-HL-QMT-INIT-001tests/asl/block/lifecycle/HL.QMT/block-exec-hl-qmt-init-001.aslb395bcab270eca8d19949c8452886b5119264b7ab1692f4bfbde2afe965c8ff9PTO-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.json1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8Loading ADR-0032…
ADR-0032docs/status/decisions/0032-bundle-command-totality-and-profile-boundaries.mde1f91826817343c0977a565a91e495a15397b83fa2af227124f225821ffa54aeLoading ADR-0052…
ADR-0052docs/status/decisions/0052-direct-tile-and-bundle-catalog-closure.md5fdb38bf480e37affe5075f93b35a57d32803018c986bfe05160f188a19ccaf6Loading ADR-0059…
ADR-0059docs/status/decisions/0059-mnemonic-field-encoding-closure.mdf18d13f735cfaf9f2803c754c5818f4af33d1cc42c489f0d9ce060b07bb3a196Loading ADR-0084…
ADR-0084docs/status/decisions/0084-scalar-system-and-queue-operations.mde068992fa81e2c4ac46e492391a2f784141d68e041bf0b9e0586c37217d1e08c{
"classification": [
"lifecycle"
],
"documentation": "docs/block/lifecycle/HL.QMT.md",
"id": "PTO-BLOCK-HL-QMT",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "HL.QMT",
"ndf_clause": "PTO-INST-BLOCK-HL-QMT"
},
"mnemonic": "HL.QMT",
"readiness_subjects": [
"ADR-0032",
"ADR-0052",
"ADR-0059",
"ADR-0084"
],
"semantic_tests": [
"PTO-AVS-BLOCK-HL-QMT-CONTROL-001",
"PTO-AVS-BLOCK-HL-QMT-FLAGS-001",
"PTO-AVS-BLOCK-HL-QMT-INIT-001"
],
"source": "asl/block/lifecycle/HL.QMT.asl",
"surface": "block",
"tests": [
"PTO-AVS-BLOCK-HL-QMT-CONTROL-001",
"PTO-AVS-BLOCK-HL-QMT-DECODE-001",
"PTO-AVS-BLOCK-HL-QMT-FLAGS-001",
"PTO-AVS-BLOCK-HL-QMT-INIT-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd86812621dd3460d1fc8077ce27bf092ca4e908f40f33c53edde1b3ed499ca772f7e6ea26eba7f24fbb7ee3c77adeddde223b679a680422d2237442438766af2cc6e95asl/block/lifecycle/HL.QMT.aslasl/block/lifecycle/HL.QMT.aslasl/block/lifecycle/HL.QMT.asl