Module Llair.Inst

type t = inst
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val pp : t NS.pp
val move : reg_exps:(Reg.t * Exp.t) NS.iarray -> loc:Llair__.LairLoc.t -> inst
val move_phi : reg_exps:(Reg.t * Exp.t) NS.iarray -> loc:Llair__.LairLoc.t -> inst
val load : reg:Reg.t -> ptr:Exp.t -> len:Exp.t -> loc:Llair__.LairLoc.t -> inst
val store : ptr:Exp.t -> exp:Exp.t -> len:Exp.t -> loc:Llair__.LairLoc.t -> inst
val atomic_rmw : reg:Reg.t -> ptr:Exp.t -> exp:Exp.t -> len:Exp.t -> loc:Llair__.LairLoc.t -> inst
val atomic_cmpxchg : reg:Reg.t -> ptr:Exp.t -> cmp:Exp.t -> exp:Exp.t -> len:Exp.t -> len1:Exp.t -> loc:Llair__.LairLoc.t -> inst
val alloc : reg:Reg.t -> num:Exp.t -> len:int -> loc:Llair__.LairLoc.t -> inst
val free : ptr:Exp.t -> loc:Llair__.LairLoc.t -> inst
val nondet : reg:Reg.t option -> msg:string -> loc:Llair__.LairLoc.t -> inst
val builtin : reg:Reg.t option -> name:Builtin.t -> args:Exp.t NS.iarray -> loc:Llair__.LairLoc.t -> t
val loc : inst -> Llair__.LairLoc.t
val locals : inst -> Reg.Set.t
val fold_exps : inst -> 's -> f:(Exp.t -> 's -> 's) -> 's