Lines Matching defs:instruction
313 datatype instruction
339 = FAIL of string | OK of instruction | WORD32 of BitsN.nbit
961 val Run: instruction -> unit
962 val COP1Decode: BitsN.nbit -> instruction
963 val LDC1Decode: (BitsN.nbit * (BitsN.nbit * BitsN.nbit)) -> instruction
964 val LWC1Decode: (BitsN.nbit * (BitsN.nbit * BitsN.nbit)) -> instruction
965 val SDC1Decode: (BitsN.nbit * (BitsN.nbit * BitsN.nbit)) -> instruction
966 val SWC1Decode: (BitsN.nbit * (BitsN.nbit * BitsN.nbit)) -> instruction
967 val MOVCIDecode: (BitsN.nbit * (BitsN.nbit * BitsN.nbit)) -> instruction
968 val COP3Decode: BitsN.nbit -> instruction
969 val Decode: BitsN.nbit -> instruction
1019 val Encode: instruction -> BitsN.nbit
1021 val instructionToString: instruction -> string