Lines Matching refs:instruction
497 val ((pos,instruction,asm)::code) = code
498 val ((pos,instruction,asm)::code) = drop 1 code
499 val ((pos,instruction,asm)::code) = drop 17 code
502 | get_specs ((pos,instruction,asm)::code) = let
503 val instruction = delete_spaces instruction
505 if String.isPrefix "call:" instruction then let
506 val ts = String.tokens (fn x => x = #":") instruction
508 val instruction = ts |> el 3
516 val res = wrap_get_spec f instruction
519 else if String.isPrefix "const:" instruction then
523 val switch_code = instruction :: map (fn (_,x,_) => x) code
543 val res = wrap_get_spec f instruction
551 val _ = write_line ("Skipping " ^ instruction ^ " " ^ asm)
552 val len = if size instruction (* in hex *) < 8 then 2 else 4 (* bytes *)
557 val (pos,instruction,asm) = hd code
559 val instruction = hd (drop 22 code)
561 val ((th,_,_),_) = f instruction
780 val instruction = "e200300f"
781 val th = arm_spec instruction