x86: also test alternative VMGEXIT encoding

[thirdparty/binutils-gdb.git] / gas / testsuite / gas / i386 / arch-13.s

diff --git a/gas/testsuite/gas/i386/arch-13.s b/gas/testsuite/gas/i386/arch-13.s
index 5372d8555bb9e4b5a619386eade3d2a1de4a1a48..3a8074144063db38a7ea65b969c31c11b078fd0f 100644 (file)
--- a/gas/testsuite/gas/i386/arch-13.s
+++ b/gas/testsuite/gas/i386/arch-13.s
@@ -40,6 +40,7 @@
 
 # vmgexit instruction
        vmgexit
+       repne; vmmcall # vmgexit alternative encoding
 
 # wbnoinvd instruction
        wbnoinvd