C.EBREAK

1// PTO-INSTRUCTION: {"assembly":["c.break imm"],"block":[],"catalog_indices":[28],"catalog_records":[{"asm":"c.break imm","constraints":[],"encoding":[{"index":0,"mask":"0xf83f","match":"0xc02c","width_bits":16}],"encoding_kind":"C16","fields":[{"name":"imm5","pieces":[{"instruction_lsb":6,"value_lsb":0,"width":5}],"signedness":"encoding-defined","width":5}],"form_id":"c_ebreak_16_7f9c245fa13c","length_bits":16,"mnemonic":"C.EBREAK","semantic_family":"SYS","semantic_group":"SYS","semantic_handler":"SoftwareBreakpoint","semantic_summary":"C.EBREAK raises software-breakpoint trap 50 with its 5-bit immediate as cause.","status":"accepted"}],"classification":["sys"],"contract":{"block_composition":["C.EBREAK executes as one scalar operation in the body of an active SYS block."],"canonical_assembly":["c.break imm"],"defaults":["Every displayed operand is encoded explicitly. Encoded zero is an assigned value and never denotes omission."],"encoding_class":"standalone-encoded","examples":["c.break imm"],"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":{"imm5":"Encoded zero supplies numeric zero for the 5-bit immediate value."},"legality":["Every 5-bit immediate value is assigned; encoded zero is a real zero cause."],"memory_effects":["none"],"operands":[{"field":"imm5","role":"5-bit immediate value"}],"ordering":["After placement and decode, atomically save the pre-instruction context, trap number, zero-extended immediate cause, and faulting-PC argument before vector transfer."],"standalone_opcode":true,"state_effects":["Raise Fault_SoftwareBreakpoint and publish trap number 50.","Zero-extend the encoded immediate into the 24-bit trap-cause field; no parallel breakpoint-tag state exists."]},"depends_on":["PTO-SCALAR-MODEL-SYS-SEMANTICS"],"id":"PTO-SCALAR-C-EBREAK","mnemonic":"C.EBREAK","summary":"C.EBREAK raises software-breakpoint trap 50 with its 5-bit immediate as cause.","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-C-EBREAK-CAUSE-0014// ndf: kind=contract level=L1 layer=scalar status=accepted5// C.EBREAK MUST raise software-breakpoint trap 50 and MUST zero-extend its6// encoded five-bit immediate into the 24-bit trap-cause field.7// It MUST NOT maintain a separate architectural breakpoint-tag state.8// NDF-END: PTO-C-EBREAK-CAUSE-0019// DOC-BEGIN: decode10readonly func InstructionContractOperation_C_EBREAK()11    => ScalarOperation12begin13    return ScalarOperation_C_EBREAK;14end;15// DOC-END: decode16// DOC-BEGIN: operation17readonly func InstructionContractHandler_C_EBREAK()18    => ScalarSemanticHandler19begin20    return ScalarHandler_SoftwareBreakpoint;21end;22
23pure func InstructionContractRequiresSystemBlock_C_EBREAK()24    => boolean25begin26    return TRUE;27end;28
29pure func InstructionContractBreakpointImmediateWidth_C_EBREAK()30    => integer {4,5}31begin32    return 5;33end;34
35pure func InstructionContractBreakpointPublishesTrapCause_C_EBREAK()36    => boolean37begin38    return TRUE;39end;40// DOC-END: operation41