Module Arm_flags

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