DC.IALL

1// PTO-INSTRUCTION: {"assembly":["dc.iall"],"block":[],"catalog_indices":[77],"catalog_records":[{"asm":"dc.iall","constraints":[],"encoding":[{"index":0,"mask":"0xffffffff","match":"0x0010602b","width_bits":32}],"encoding_kind":"L32","fields":[],"form_id":"dc_iall_32_3d61563dd077","length_bits":32,"mnemonic":"DC.IALL","semantic_family":"SYS","semantic_group":"SYS","semantic_handler":"ExecuteMaintenance","semantic_summary":"DC.IALL completes the data-cache all-entry scope maintenance operation synchronously.","status":"accepted"}],"classification":["sys"],"contract":{"block_composition":["DC.IALL executes as one scalar operation in the body of an active SYS block."],"canonical_assembly":["dc.iall"],"defaults":["This form has no operand; the semantic operand is the all-zero XLEN value."],"encoding_class":"standalone-encoded","examples":["dc.iall"],"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":{},"legality":["Every fixed bit and explicit field constraint is checked before operation semantics.","Cache maintenance is a local synchronous hint completion at every ACR."],"memory_effects":["No ordinary scalar memory access is performed; success records the operation and operand and advances the selected maintenance epoch."],"operands":[],"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":["Success records Maintenance_DC_IALL and its exact operand token.","Success advances exactly one data-cache, instruction-cache, bundle-cache, or TLB epoch and then advances TPC."]},"depends_on":["PTO-SCALAR-MODEL-SYS-SEMANTICS"],"id":"PTO-SCALAR-DC-IALL","mnemonic":"DC.IALL","summary":"DC.IALL completes the data-cache all-entry scope maintenance operation synchronously.","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// DOC-BEGIN: decode4readonly func InstructionContractOperation_DC_IALL()5    => ScalarOperation6begin7    return ScalarOperation_DC_IALL;8end;9// DOC-END: decode10// DOC-BEGIN: operation11readonly func InstructionContractHandler_DC_IALL()12    => ScalarSemanticHandler13begin14    return ScalarHandler_ExecuteMaintenance;15end;16
17pure func InstructionContractRequiresSystemBlock_DC_IALL()18    => boolean19begin20    return TRUE;21end;22
23pure func InstructionContractMaintenanceOperation_DC_IALL()24    => MaintenanceOperation25begin26    return Maintenance_DC_IALL;27end;28
29pure func InstructionContractMaintenanceUsesOperand_DC_IALL()30    => boolean31begin32    return FALSE;33end;34
35pure func InstructionContractMaintenanceRequiresRootRing_DC_IALL()36    => boolean37begin38    return FALSE;39end;40// DOC-END: operation41