Arm_mul
val lift_mull :
lodest:Arm_types.op ->
hidest:Arm_types.op ->
src1:Arm_types.op ->
src2:Arm_types.op ->
Arm_types.sign ->
?addend:'a ->
wflag:Arm_types.op ->
Arm_types.op ->
Bap.Std.stmt list
val lift_smul :
dest:Arm_types.op ->
?hidest:Arm_types.op ->
src1:Arm_types.op ->
src2:Arm_types.op ->
?accum:Arm_types.op ->
?hiaccum:Arm_types.op ->
?q:bool ->
Arm_types.smul_size ->
Arm_types.op ->
Bap.Std.stmt list