Arm_utils
val tmp : ?name:string -> Bap.Std.typ -> Bap.Std.var
val assn : Bap.Std.var -> Bap.Std.exp -> Bap.Std.stmt
val bitlen : Bap.Std.typ -> int
val exec :
Bap.Std.stmt list ->
?flags:Bap.Std.stmt list ->
?wflag:Arm_types.op ->
Arm_types.op ->
Bap.Std.stmt list
val exp_of_op : Arm_types.op -> Bap.Std.exp
val exp_of_reg : Arm_types.reg -> Bap.Std.exp
val cast_of_sign : Arm_types.sign -> int -> Bap.Std.exp -> Bap.Std.exp
val assert_reg :
Core_kernel.Source_code_position.t ->
Arm_types.op ->
Arm_types.reg
val assert_imm :
Core_kernel.Source_code_position.t ->
Arm_types.op ->
Bap.Std.word
val assert_cond :
Core_kernel.Source_code_position.t ->
Arm_types.op ->
Arm_types.cond
val msb : Bap.Std.exp -> Bap.Std.exp
val zero : Bap.Std.typ -> Bap.Std.exp