From 1ce02922bb453b65f00574a821d403f520652d65 Mon Sep 17 00:00:00 2001
From: Sandeep Dasgupta <sdasgup3@illinois.edu>
Date: Sat, 7 Jul 2018 13:45:51 -0500
Subject: [PATCH] https://github.com/sdasgup3/binary-decompilation/issues/77:
 wip

---
 docs/relatedwork/angrVex/support.txt        |  6 +--
 docs/relatedwork/mcsema/reportlist.txt      | 56 ++++++++++-----------
 docs/relatedwork/strata/current_support.txt |  4 +-
 3 files changed, 33 insertions(+), 33 deletions(-)

diff --git a/docs/relatedwork/angrVex/support.txt b/docs/relatedwork/angrVex/support.txt
index cf38aaa88..bfd4e77a5 100644
--- 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
index 70097796e..a16955693 100644
--- 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
index b69b7ee95..f7dbbc04b 100644
--- 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