Up – Package index » bap-arm » Library bap-arm » Arm_mov

Module `Arm_mov`

val lift : 
  ?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