Lines Matching defs:instruction
448 val ((pos,instruction,asm)::code) = drop 1 code
449 val ((pos,instruction,asm)::code) = drop 17 code
452 | get_specs ((pos,instruction,asm)::code) = let
453 val instruction = delete_spaces instruction
455 if String.isPrefix "call:" instruction then let
456 val ts = String.tokens (fn x => x = #":") instruction
458 val instruction = ts |> el 3
466 val res = wrap_get_spec f instruction
469 else if String.isPrefix "const:" instruction then
473 val switch_code = instruction :: map (fn (_,x,_) => x) code
493 val res = wrap_get_spec f instruction
501 val (pos,instruction,asm) = hd code
503 val instruction = hd (drop 22 code)
505 val ((th,_,_),_) = f instruction