BWT

1// PTO-INSTRUCTION: {"assembly":["bwt SrcL"],"block":[],"catalog_indices":[20],"catalog_records":[{"asm":"bwt SrcL","constraints":[],"encoding":[{"index":0,"mask":"0xfff07fff","match":"0x0030002b","width_bits":32}],"encoding_kind":"L32","fields":[{"name":"SrcL","pieces":[{"instruction_lsb":15,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5}],"form_id":"bwt_32_5a0fe4a8e61f","length_bits":32,"mnemonic":"BWT","semantic_family":"SYS","semantic_group":"SYS","semantic_handler":"ExecuteControlRequest","semantic_summary":"BWT publishes the WaitTimeout nonblocking execution-control request.","status":"accepted"}],"classification":["sys"],"contract":{"block_composition":["BWT executes as one scalar operation in the body of an active SYS block."],"canonical_assembly":["bwt SrcL"],"defaults":["Every displayed operand is encoded explicitly. Encoded zero is an assigned value and never denotes omission."],"encoding_class":"standalone-encoded","examples":["bwt SrcL"],"exceptions":["Invalid block placement raises Illegal Block Exception before encoded-field legality or effects.","A reserved encoding or rejected access raises Illegal Instruction before destination, queue, system-state, or TPC effects."],"field_contracts":{},"field_zero_meanings":{"SrcL":"Encoded zero names the architectural zero GPR."},"legality":["Every fixed bit and explicit field constraint is checked before operation semantics.","Every assigned Reg5 source selector follows the common scalar-source availability rule."],"memory_effects":["none"],"operands":[{"field":"SrcL","role":"Reg5 source: R0..R23, T#1..T#4, or U#1..U#4"}],"ordering":["Check block placement and encoded legality before source reads or architectural effects.","Snapshot every scalar source before the selected system effect, then advance TPC only after success."],"standalone_opcode":true,"state_effects":["Snapshot SrcL, publish ExecutionControl_WaitTimeout and the exact XLEN operand, increment the architecture-request epoch, then advance TPC.","PTO defines no additional asleep, mailbox, timeout-counter, or pending-wake state for this nonblocking request."]},"depends_on":["PTO-SCALAR-MODEL-SYS-SEMANTICS"],"id":"PTO-SCALAR-BWT","mnemonic":"BWT","summary":"BWT publishes the WaitTimeout nonblocking execution-control request.","surface":"scalar"}2// PTO-REVIEW: {"review_method":"formal-definition-read","outcome":"FORMAL-COMPLETE","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}3// NDF-BEGIN: PTO-BWT-DECISION-BINDING-0014// ndf: kind=contract level=L1 layer=scalar status=accepted5// BWT MUST implement the mnemonic-local canonical assembly, encoded6// legality, defaults, state and memory effects, ordering, and fault boundaries7// declared in this owner. The operation region below is the executable binding8// for every accepted decision that names this mnemonic.9// NDF-END: PTO-BWT-DECISION-BINDING-00110// DOC-BEGIN: decode11readonly func InstructionContractOperation_BWT()12    => ScalarOperation13begin14    return ScalarOperation_BWT;15end;16// DOC-END: decode17// DOC-BEGIN: operation18readonly func InstructionContractHandler_BWT()19    => ScalarSemanticHandler20begin21    return ScalarHandler_ExecuteControlRequest;22end;23
24pure func InstructionContractRequiresSystemBlock_BWT()25    => boolean26begin27    return TRUE;28end;29
30pure func InstructionContractControlRequest_BWT()31    => ExecutionControlRequest32begin33    return ExecutionControl_WaitTimeout;34end;35
36pure func InstructionContractControlRequestIsNonblocking_BWT()37    => boolean38begin39    return TRUE;40end;41// DOC-END: operation42