C.CMP.NEI

1// PTO-INSTRUCTION: {"assembly":["c.cmp.nei t#1, simm, ->t"],"block":[],"catalog_indices":[27],"catalog_records":[{"asm":"c.cmp.nei t#1, simm, ->t","constraints":[],"encoding":[{"index":0,"mask":"0xf83f","match":"0x082c","width_bits":16}],"encoding_kind":"C16","fields":[{"name":"simm5","pieces":[{"instruction_lsb":6,"value_lsb":0,"width":5}],"signedness":"signed","width":5}],"form_id":"c_cmp_nei_16_35d1f02063e2","length_bits":16,"mnemonic":"C.CMP.NEI","semantic_family":"BRU","semantic_group":"BRU","semantic_handler":"ExecuteCompare","semantic_summary":"C.CMP.NEI - Compare scalar operands and write the encoded boolean result.","status":"accepted"}],"classification":["bru"],"contract":{"block_composition":["none"],"canonical_assembly":["c.cmp.nei t#1, simm, ->t"],"defaults":["The selected assembly form determines which fields are present; every present field carries its encoded value and no encoded zero means omission."],"encoding_class":"standalone-encoded","examples":["c.cmp.nei t#1, simm, ->t"],"exceptions":["Reserved field encodings raise Fault_IllegalInstruction before effects; handler-specific arithmetic, memory, control-flow, system-register, and privilege faults follow the embedded normative ASL operation."],"field_contracts":{},"field_zero_meanings":{"simm5":"Encoded zero supplies numeric zero for the 5-bit signed immediate."},"legality":["Every value in each unconstrained encoded field is assigned; constrained complements are reserved and reject before effects."],"memory_effects":["none"],"operands":[{"field":"simm5","role":"5-bit signed immediate"}],"ordering":["none"],"standalone_opcode":true,"state_effects":["C.CMP.NEI - Compare scalar operands and write the encoded boolean result.","After decode and legality checks, execute the normative ExecuteCompare ASL handler; no other architectural state is modified."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"id":"PTO-SCALAR-C-CMP-NEI","mnemonic":"C.CMP.NEI","summary":"C.CMP.NEI - Compare scalar operands and write the encoded boolean result.","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-CMP-NEI-DECISION-BINDING-0014// ndf: kind=contract level=L1 layer=scalar status=accepted5// C.CMP.NEI 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-C-CMP-NEI-DECISION-BINDING-00110// DOC-BEGIN: decode11readonly func InstructionContractOperation_C_CMP_NEI() => ScalarOperation12begin13    return ScalarOperation_C_CMP_NEI;14end;15// DOC-END: decode16// DOC-BEGIN: operation17readonly func InstructionContractHandler_C_CMP_NEI() => ScalarSemanticHandler18begin19    return ScalarHandler_ExecuteCompare;20end;21
22pure func InstructionContractCondition_C_CMP_NEI()23    => ScalarCondition24begin25    return ScalarCondition_NE;26end;27
28pure func InstructionContractCompareResult_C_CMP_NEI(29    left: Word,30    right: Word)31    => boolean32begin33    return ConditionHolds(34        InstructionContractCondition_C_CMP_NEI(),35        left,36        right);37end;38// DOC-END: operation39