insns.dat: Add VPMOVMSKB reg32,ymmreg instruction

Reported-by: Jasper Neumann <sirrida@web.de>
Signed-off-by: Cyrill Gorcunov <gorcunov@gmail.com>

diff --git a/insns.dat b/insns.dat
index ef96c7e..1f277a9 100644 (file)
--- a/insns.dat
+++ b/insns.dat
@@ -3172,6 +3172,7 @@ VPMINSD           ymmreg,ymmreg*,ymmrm256         [rvm:   vex.nds.256.66.0f38 39 /r]              FUTURE,AVX2
 VPMINUB                ymmreg,ymmreg*,ymmrm256         [rvm:   vex.nds.256.66.0f da /r]                FUTURE,AVX2
 VPMINUW                ymmreg,ymmreg*,ymmrm256         [rvm:   vex.nds.256.66.0f38 3a /r]              FUTURE,AVX2
 VPMINUD                ymmreg,ymmreg*,ymmrm256         [rvm:   vex.nds.256.66.0f38 3b /r]              FUTURE,AVX2
+VPMOVMSKB      reg32,ymmreg                    [rm:    vex.256.66.0f d7 /r]                    FUTURE,AVX2
 VPMOVMSKB      reg64,ymmreg                    [rm:    vex.256.66.0f d7 /r]                    FUTURE,AVX2
 VPMOVSXBW      ymmreg,xmmrm128                 [rm:    vex.256.66.0f38 20 /r]                  FUTURE,AVX2
 VPMOVSXBD      ymmreg,mem64                    [rm:    vex.256.66.0f38 21 /r]                  FUTURE,AVX2