Arm_memval lift_r :
dst1:Bap.Std.var ->
?dst2:Bap.Std.var ->
base:Bap.Std.var ->
offset:Bap.Std.exp ->
Arm_types.mode_r ->
Arm_types.sign ->
Arm_types.size ->
Arm_types.operation ->
Bap.Std.stmt listval lift_m :
Bap.Std.var list ->
Bap.Std.var ->
Arm_types.mode_m ->
Arm_types.update_m ->
Arm_types.operation ->
Bap.Std.stmt list