Lines Matching defs:instruction
338 datatype instruction
367 | OK of (BitsN.nbit * string) * instruction
368 | PENDING of string * ((BitsN.nbit * string) * instruction)
1102 val Run: instruction -> unit
1105 val Skip: unit -> instruction
1106 val UndefinedARM: BitsN.nbit -> instruction
1107 val UndefinedThumb: unit -> instruction
1109 val DecodeHint: (BitsN.nbit * BitsN.nbit) -> instruction
1113 instruction
1114 val DecodeVFP: BitsN.nbit -> (bool * (string * instruction))
1115 val DecodeARM: BitsN.nbit -> instruction
1116 val DecodeThumb: BitsN.nbit -> instruction
1117 val DecodeThumbEE: BitsN.nbit -> instruction
1118 val DecodeThumb2: (BitsN.nbit * BitsN.nbit) -> instruction
1119 val Decode: MachineCode -> instruction
1140 val instructionEncode: (BitsN.nbit * (instruction * enc)) -> MachineCode
1142 val Encode: (BitsN.nbit * (instruction * enc)) -> MachineCode
1271 instruction
1296 instruction
1302 instruction
1309 instruction
1357 val p_noarg: (string * instruction) -> maybe_instruction
1420 val instructionToString: (BitsN.nbit * instruction) -> (string * string)