L.BSTOP

1// PTO-INSTRUCTION: {"assembly":["L.BSTOP"],"block":[],"catalog_indices":[72],"catalog_records":[{"asm":"L.BSTOP","constraints":[],"encoding":[{"index":0,"mask":"0xffffffff","match":"0x0000000f","width_bits":32},{"index":1,"mask":"0xffffffff","match":"0x00000001","width_bits":32}],"encoding_kind":"L64","fields":[],"form_id":"l_bstop_64_94c7f0a5e8b3","length_bits":64,"mnemonic":"L.BSTOP","semantic_family":"CMD","semantic_group":"Bundle Split","semantic_handler":"ExecuteBundleStop","semantic_summary":"Commits the current bundle and transfers to its selected continuation.","status":"accepted"}],"classification":["lifecycle"],"contract":{"block_composition":["none"],"canonical_assembly":["L.BSTOP"],"defaults":["The instruction has no encoded operand field and therefore no operand default."],"encoding_class":"standalone-encoded","examples":["L.BSTOP"],"exceptions":["No active block raises Fault_BundleControl.","Schema, applicability, execution, or final-PC faults reject before block-private state is cleared."],"field_contracts":{},"field_zero_meanings":{},"legality":["The low 32-bit word is exactly 0x0000000f and the high 32-bit word is exactly 0x00000001."],"memory_effects":["Commits every architecture-visible memory effect of the active block before selecting its continuation."],"operands":[],"ordering":["Validate the active block and final BARG continuation, execute the selected block operation, then select BARG.BPCN or the sequential PC and clear block-private state."],"standalone_opcode":true,"state_effects":["Commits the active block, selects BARG.BPCN for DIRECT/CALL/IND/ICALL/RET or taken COND, otherwise selects the sequential PC.","After successful commit, clears BARG, BPC, descriptor fields, dimensions, operand bindings, attributes, and active/body state."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"id":"PTO-BLOCK-L-BSTOP","mnemonic":"L.BSTOP","summary":"Commits the current bundle and transfers to its selected continuation.","surface":"block"}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-L-BSTOP-DECISION-BINDING-0014// ndf: kind=contract level=L1 layer=block status=accepted5// L.BSTOP 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-L-BSTOP-DECISION-BINDING-00110// DOC-BEGIN: decode11readonly func InstructionContractMatches_L_BSTOP(operation: CommandOperation) => boolean12begin13    return (operation == CommandOperation_l_bstop_64_94c7f0a5e8b3);14end;15// DOC-END: decode16// DOC-BEGIN: operation17readonly func InstructionContractHandler_L_BSTOP() => CommandSemanticHandler18begin19    return CommandHandler_ExecuteBundleStop;20end;21
22pure func InstructionContractCommitsActiveBundle_L_BSTOP()23    => boolean24begin25    return TRUE;26end;27
28pure func InstructionContractClearsHeaderState_L_BSTOP()29    => boolean30begin31    return TRUE;32end;33// DOC-END: operation34