Arm_mov
val lift :
?encoding:Bap_core_theory.Theory.language ->
?dest:Arm_types.op ->
Arm_types.op ->
?src2:Arm_types.op ->
Arm_types.data_oper ->
?sreg:Arm_types.op ->
?simm:Arm_types.op ->
Bap.Std.word ->
wflag:Arm_types.op ->
Arm_types.op ->
Bap.Std.stmt list