Arm_flags (bap-arm.Arm

val set_nzf : Bap.Std.exp -> Bap.Std.typ -> Bap.Std.stmt list

val set_vnzf_add : 
  Bap.Std.exp ->
  Bap.Std.exp ->
  Bap.Std.exp ->
  Bap.Std.typ ->
  Bap.Std.stmt list

val set_add : 
  Bap.Std.exp ->
  Bap.Std.exp ->
  Bap.Std.exp ->
  Bap.Std.typ ->
  Bap.Std.stmt list

val set_sub : 
  Bap.Std.exp ->
  Bap.Std.exp ->
  Bap.Std.exp ->
  Bap.Std.typ ->
  Bap.Std.stmt list

val set_vnzf_sub : 
  Bap.Std.exp ->
  Bap.Std.exp ->
  Bap.Std.exp ->
  Bap.Std.typ ->
  Bap.Std.stmt list

val set_adc : 
  Bap.Std.exp ->
  Bap.Std.exp ->
  Bap.Std.exp ->
  Bap.Std.typ ->
  Bap.Std.stmt list

val set_sbc : 
  Bap.Std.exp ->
  Bap.Std.exp ->
  Bap.Std.exp ->
  Bap.Std.typ ->
  Bap.Std.stmt list

val set_cf_data : imm:Bap.Std.word -> data:Bap.Std.word -> Bap.Std.stmt