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