sdasgup3/binary-decompilation#77: wip

kframework · Jul 7, 2018 · 1ce0292 · 1ce0292
1 parent 61119ab
commit 1ce0292
Show file tree

Hide file tree

Showing 3 changed files with 33 additions and 33 deletions.
diff --git a/docs/relatedwork/angrVex/support.txt b/docs/relatedwork/angrVex/support.txt
@@ -906,9 +906,9 @@ setg_r8
 vpacksswb_xmm_xmm_xmm
 vpsubsb_ymm_ymm_ymm
 vandnps_xmm_xmm_xmm
-vpvmpgtq_ymm_ymm_ymm
-vpvmpgtq_ymm_ymm_ymm
-vpvmpgtq_ymm_ymm_ymm
+vpcmpgtq_ymm_ymm_ymm
+vpcmpgtq_ymm_ymm_ymm
+vpcmpgtq_ymm_ymm_ymm
 punpcklqdq_xmm_xmm
 xorps_xmm_xmm
 vmovmskpd_r32_ymm

diff --git a/docs/relatedwork/mcsema/reportlist.txt b/docs/relatedwork/mcsema/reportlist.txt
@@ -297,34 +297,34 @@ RCR
 RDMSR
 RDTSC
 RDTSCP
-REPEXCMPSB
-REPEXCMPSD
-REPEXCMPSQ
-REPEXCMPSW
-REPEXSCASB
-REPEXSCASD
-REPEXSCASQ
-REPEXSCASW
-REPNEXCMPSB
-REPNEXCMPSD
-REPNEXCMPSQ
-REPNEXCMPSW
-REPNEXSCASB
-REPNEXSCASD
-REPNEXSCASQ
-REPNEXSCASW
-REPXLODSB
-REPXLODSD
-REPXLODSQ
-REPXLODSW
-REPXMOVSB
-REPXMOVSD
-REPXMOVSQ
-REPXMOVSW
-REPXSTOSB
-REPXSTOSD
-REPXSTOSQ
-REPXSTOSW
+REPE_CMPS
+REPE_CMPS
+REPE_CMPS
+REPE_CMPS
+REPE_SCAS
+REPE_SCAS
+REPE_SCAS
+REPE_SCAS
+REPNE_CMPS
+REPNE_CMPS
+REPNE_CMPS
+REPNE_CMPS
+REPNE_SCAS
+REPNE_SCAS
+REPNE_SCAS
+REPNE_SCAS
+REP_LODS
+REP_LODS
+REP_LODS
+REP_LODS
+REP_MOVS
+REP_MOVS
+REP_MOVS
+REP_MOVS
+REP_STOS
+REP_STOS
+REP_STOS
+REP_STOS
 RET
 ROL
 ROR

diff --git a/docs/relatedwork/strata/current_support.txt b/docs/relatedwork/strata/current_support.txt
@@ -1070,7 +1070,7 @@ vpunpcklqdq_xmm_xmm_xmm
 vpunpcklqdq_ymm_ymm_ymm
 vpunpcklwd_xmm_xmm_xmm
 vpunpcklwd_ymm_ymm_ymm
-vpvmpgtq_ymm_ymm_ymm
+vpcmpgtq_ymm_ymm_ymm
 vpxor_xmm_xmm_xmm
 vpxor_ymm_ymm_ymm
 vrcpps_xmm_xmm
@@ -2229,7 +2229,7 @@ vpcmpgtb_ymm_ymm_m256
 vpcmpgtd_xmm_xmm_m128
 vpcmpgtd_ymm_ymm_m256
 vpcmpgtq_xmm_xmm_m128
-vpvmpgtq_ymm_ymm_m256
+vpcmpgtq_ymm_ymm_m256
 vpcmpgtw_xmm_xmm_m128
 vpcmpgtw_ymm_ymm_m256
 vpcmpistri_xmm_m128_imm8