Module Arm_utils

val tmp : ?⁠name:string -> Bap.Std.typ -> Bap.Std.var
val assn : Bap.Std.var -> Bap.Std.exp -> Bap.Std.stmt
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 msb : Bap.Std.exp -> Bap.Std.exp
val zero : Bap.Std.typ -> Bap.Std.exp