Module Arm_utils

val tmp : ?name:string -> Bap.Std.typ -> Bap.Std.var
val fail : Core_kernel.Source_code_position.t -> ( 'a, unit, string, 'b ) Core_kernel.format4 -> 'a
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 zero : Bap.Std.typ -> Bap.Std.exp