Arm_utils (bap-arm.Arm

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