Lines Matching refs:string
6 val x86_assign2assembly : codegen_inputLib.assign_type -> string list
7 val x86_guard2assembly : codegen_inputLib.guard_type -> string list * (string * string)
9 val x86_cond_code : Parse.term -> string * string
10 val x86_conditionalise : string -> string -> string
11 val x86_remove_annotations : string -> string
13 val x86_encode_instruction : string -> string * int
14 val x86_encode_branch : bool -> int -> string option -> string * int
15 val x86_branch_to_string : string option -> string
18 val set_x86_regs : (int * string) list -> unit
19 val get_x86_regs : unit -> (int * string) list