angr / simuvex

[DEPRECATED] A symbolic execution engine for the VEX IR
BSD 2-Clause "Simplified" License
79 stars 57 forks source link

Some Unmatched operations #142

Closed benquike closed 7 years ago

benquike commented 7 years ago

Just turned on logging, and found that there were some reports for unmathed operation. I do not know whether it is issue or not.

DEBUG:simuvex.vex.irop:Unmatched operation: Iop_F32ToFixed32Ux4_RZ
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_MulF64r32
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Reverse8sIn32_x2
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_2xm1F64
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_RoundF64toF64_PosINF
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_V256to64_3
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_V256to64_0
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_V256to64_2
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_I32StoFx4
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_F32ToFixed32Sx2_RZ
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Reverse16sIn64_x1
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_I128StoBCD128
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_PRem1F64
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_PRem1C3210F64
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Reverse16sIn32_x2
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_DivS64E
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_DivF64r32
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_RoundF64toF64_NEAREST
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_DivU64E
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_DivU32E
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_SubF64r32
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Reverse8sIn16_x4
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Fixed32SToF32x2_RN
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Reverse32sIn64_x2
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_RoundF64toF64_ZERO
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Reverse16sIn64_x2
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Fixed32SToF32x4_RN
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_MulI128by10
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_PRemC3210F64
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_MulI128by10ECarry
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Fixed32UToF32x4_RN
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_ZeroHI112ofV128
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Reverse8sIn64_x2
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_ZeroHI96ofV128
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Fixed32UToF32x2_RN
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_I32StoFx2
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_RoundF64toF64_NegINF
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_RSqrtEst5GoodF64
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_I32UtoFx4
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_DivS32E
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_I32UtoFx2
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Reverse1sIn8_x16
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_ZeroHI120ofV128
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Reverse8sIn32_x4
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_AddF64r32
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Reverse8sIn64_x1
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Reverse16sIn32_x4
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_F32ToFixed32Sx4_RZ
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_MulI128by10E
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_ZeroHI64ofV128
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_MulI128by10Carry
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_SetV128lo64
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_F32ToFixed32Ux2_RZ
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_V256to64_1
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_V256toV128_1
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_V256toV128_0
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_MAddF64r32
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Reverse8sIn16_x8
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_MSubF64r32
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_SetV128lo32
DEBUG:simuvex.vex.irop:Unmatched operation: Iop_Reverse32sIn64_x1