x86/APX: INV{EPT,PCID,VPID} are WIG

  While various other entries in version 003 of the spec aren't quite as
explicit (due to simply leaving the respective field blank), all three
have a clear IGNORED there. IOW they ought to be emitted with EVEX.W=0
by default (and respect -mevexwig=).
---
For those other insns (at least SHA* and KeyLocker ones) likely VexWIG
is also missing. But the spec needs clarifying first; respective
testcase expectations are added here with '.' instead of a specific
digit. Yet more issues exist, but those cannot simply be dealt with by
adding VexWIG in the opcode table.
  

> While various other entries in version 003 of the spec aren't quite as explicit
> (due to simply leaving the respective field blank), all three have a clear
> IGNORED there. IOW they ought to be emitted with EVEX.W=0 by default (and
> respect -mevexwig=).
> ---
> For those other insns (at least SHA* and KeyLocker ones) likely VexWIG is also
> missing. But the spec needs clarifying first; respective testcase expectations are
> added here with '.' instead of a specific digit. Yet more issues exist, but those
> cannot simply be dealt with by adding VexWIG in the opcode table.
> 

Jan, I have a question, are these valid test cases? After adding "-mevexwig=1", all test results look the same as x86-64-apx-evex-promoted.d without any changes.

Lili.

> --- /dev/null
> +++ b/gas/testsuite/gas/i386/x86-64-apx-evex-promoted-wig.d
> @@ -0,0 +1,329 @@
> +#as: -mevexwig=1
> +#objdump: -dw
> +#name: x86_64 APX_F EVEX-Promoted insns w/ -mevexwig=1
> +#source: x86-64-apx-evex-promoted.s
> +
> +.*: +file format .*
> +
> +Disassembly of section \.text:
> +
> +0+ <_start>:
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7c 08 fc 8c 87 23 01 00 00[	 ]+aadd[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fc 08 fc bc 87 23 01 00 00[	 ]+aadd[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7d 08 fc 8c 87 23 01 00 00[	 ]+aand[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fd 08 fc bc 87 23 01 00 00[	 ]+aand[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .e 08 dd b4 87 23 01 00 00[
> 	 ]+aesdec128kl[	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .e 08 df b4 87 23 01 00 00[
> 	 ]+aesdec256kl[	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 d8 8c 87 23 01 00 00[
> 	 ]+aesdecwide128kl[	 ]+0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 d8 9c 87 23 01 00 00[
> 	 ]+aesdecwide256kl[	 ]+0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .e 08 dc b4 87 23 01 00 00[
> 	 ]+aesenc128kl[	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .e 08 de b4 87 23 01 00 00[
> 	 ]+aesenc256kl[	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 d8 84 87 23 01 00 00[
> 	 ]+aesencwide128kl[	 ]+0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 d8 94 87 23 01 00 00[
> 	 ]+aesencwide256kl[	 ]+0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7f 08 fc 8c 87 23 01 00 00[	 ]+aor[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c ff 08 fc bc 87 23 01 00 00[	 ]+aor[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 fc 8c 87 23 01 00 00[	 ]+axor[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 fc bc 87 23 01 00 00[	 ]+axor[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 72 34 00 f7 d2[	 ]+bextr[
> 	 ]+%r25d,%edx,%r10d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f7 94 87 23 01 00 00[	 ]+bextr[
> 	 ]+%r25d,0x123\(%r31,%rax,4\),%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 52 84 00 f7 df[	 ]+bextr[
> 	 ]+%r31,%r15,%r11
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 84 00 f7 bc 87 23 01 00 00[	 ]+bextr[
> 	 ]+%r31,0x123\(%r31,%rax,4\),%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 da 6c 08 f3 d9[	 ]+blsi[	 ]+%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 08 f3 df[	 ]+blsi[	 ]+%r31,%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f3 9c 87 23 01 00 00[	 ]+blsi[
> 	 ]+0x123\(%r31,%rax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 00 f3 9c 87 23 01 00 00[	 ]+blsi[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 da 6c 08 f3 d1[	 ]+blsmsk[
> 	 ]+%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 08 f3 d7[	 ]+blsmsk[	 ]+%r31,%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f3 94 87 23 01 00 00[	 ]+blsmsk[
> 	 ]+0x123\(%r31,%rax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 00 f3 94 87 23 01 00 00[	 ]+blsmsk[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 da 6c 08 f3 c9[	 ]+blsr[	 ]+%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 08 f3 cf[	 ]+blsr[	 ]+%r31,%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f3 8c 87 23 01 00 00[	 ]+blsr[
> 	 ]+0x123\(%r31,%rax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 00 f3 8c 87 23 01 00 00[	 ]+blsr[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 72 34 00 f5 d2[	 ]+bzhi[
> 	 ]+%r25d,%edx,%r10d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f5 94 87 23 01 00 00[	 ]+bzhi[
> 	 ]+%r25d,0x123\(%r31,%rax,4\),%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 52 84 00 f5 df[	 ]+bzhi[	 ]+%r31,%r15,%r11
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 84 00 f5 bc 87 23 01 00 00[	 ]+bzhi[
> 	 ]+%r31,0x123\(%r31,%rax,4\),%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e6 94 87 23 01 00 00[
> 	 ]+cmpbexadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e6 bc 87 23 01 00 00[
> 	 ]+cmpbexadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e2 94 87 23 01 00 00[	 ]+cmpbxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e2 bc 87 23 01 00 00[	 ]+cmpbxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 ec 94 87 23 01 00 00[	 ]+cmplxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 ec bc 87 23 01 00 00[	 ]+cmplxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e7 94 87 23 01 00 00[
> 	 ]+cmpnbexadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e7 bc 87 23 01 00 00[
> 	 ]+cmpnbexadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e3 94 87 23 01 00 00[
> 	 ]+cmpnbxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e3 bc 87 23 01 00 00[
> 	 ]+cmpnbxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 ef 94 87 23 01 00 00[
> 	 ]+cmpnlexadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 ef bc 87 23 01 00 00[
> 	 ]+cmpnlexadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 ed 94 87 23 01 00 00[	 ]+cmpnlxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 ed bc 87 23 01 00 00[	 ]+cmpnlxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e1 94 87 23 01 00 00[
> 	 ]+cmpnoxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e1 bc 87 23 01 00 00[
> 	 ]+cmpnoxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 eb 94 87 23 01 00 00[
> 	 ]+cmpnpxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 eb bc 87 23 01 00 00[
> 	 ]+cmpnpxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e9 94 87 23 01 00 00[
> 	 ]+cmpnsxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e9 bc 87 23 01 00 00[
> 	 ]+cmpnsxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e5 94 87 23 01 00 00[
> 	 ]+cmpnzxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e5 bc 87 23 01 00 00[
> 	 ]+cmpnzxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e0 94 87 23 01 00 00[	 ]+cmpoxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e0 bc 87 23 01 00 00[	 ]+cmpoxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 ea 94 87 23 01 00 00[	 ]+cmppxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 ea bc 87 23 01 00 00[	 ]+cmppxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e8 94 87 23 01 00 00[	 ]+cmpsxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e8 bc 87 23 01 00 00[	 ]+cmpsxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e4 94 87 23 01 00 00[	 ]+cmpzxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e4 bc 87 23 01 00 00[	 ]+cmpzxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 cc fc 08 f1 f7[	 ]+crc32  %r31,%r22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc fc 08 f1 37[	 ]+crc32q \(%r31\),%r22
> +[	 ]*[a-f0-9]+:[	 ]*62 ec fc 08 f0 cb[	 ]+crc32  %r19b,%r17
> +[	 ]*[a-f0-9]+:[	 ]*62 ec 7c 08 f0 eb[	 ]+crc32  %r19b,%r21d
> +[	 ]*[a-f0-9]+:[	 ]*62 fc 7c 08 f0 1b[	 ]+crc32b \(%r19\),%ebx
> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7c 08 f1 ff[	 ]+crc32  %r31d,%r23d
> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7c 08 f1 3f[	 ]+crc32l \(%r31\),%r23d
> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7d 08 f1 ef[	 ]+crc32  %r31w,%r21d
> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7d 08 f1 2f[	 ]+crc32w \(%r31\),%r21d
> +[	 ]*[a-f0-9]+:[	 ]*62 e4 fc 08 f1 d0[	 ]+crc32  %rax,%r18
> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 da d1[	 ]+encodekey128[
> 	 ]+%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 db d1[	 ]+encodekey256[
> 	 ]+%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*67 62 .c 7f 08 f8 8c 87 23 01 00 00[	 ]+enqcmd[
> 	 ]+0x123\(%r31d,%eax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 4c .f 08 f8 bc 87 23 01 00 00[	 ]+enqcmd[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*67 62 .c 7e 08 f8 8c 87 23 01 00 00[	 ]+enqcmds[
> 	 ]+0x123\(%r31d,%eax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 4c .e 08 f8 bc 87 23 01 00 00[	 ]+enqcmds[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f0 bc 87 23 01 00 00[	 ]+invept[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f2 bc 87 23 01 00 00[	 ]+invpcid[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f1 bc 87 23 01 00 00[	 ]+invvpid[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 61 7d 08 93 cd[	 ]+kmovb[	 ]+%k5,%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 91 ac 87 23 01 00 00[	 ]+kmovb[
> 	 ]+%k5,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 92 e9[	 ]+kmovb[	 ]+%r25d,%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 90 ac 87 23 01 00 00[	 ]+kmovb[
> 	 ]+0x123\(%r31,%rax,4\),%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 61 7f 08 93 cd[	 ]+kmovd[	 ]+%k5,%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 fd 08 91 ac 87 23 01 00 00[	 ]+kmovd[
> 	 ]+%k5,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7f 08 92 e9[	 ]+kmovd[	 ]+%r25d,%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 fd 08 90 ac 87 23 01 00 00[	 ]+kmovd[
> 	 ]+0x123\(%r31,%rax,4\),%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 61 ff 08 93 fd[	 ]+kmovq[	 ]+%k5,%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 fc 08 91 ac 87 23 01 00 00[	 ]+kmovq[
> 	 ]+%k5,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 ff 08 92 ef[	 ]+kmovq[	 ]+%r31,%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 fc 08 90 ac 87 23 01 00 00[	 ]+kmovq[
> 	 ]+0x123\(%r31,%rax,4\),%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 61 7c 08 93 cd[	 ]+kmovw[	 ]+%k5,%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7c 08 91 ac 87 23 01 00 00[	 ]+kmovw[
> 	 ]+%k5,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7c 08 92 e9[	 ]+kmovw[	 ]+%r25d,%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7c 08 90 ac 87 23 01 00 00[	 ]+kmovw[
> 	 ]+0x123\(%r31,%rax,4\),%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 da 7c 08 49 84 87 23 01 00 00[	 ]+ldtilecfg[
> 	 ]+0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 fc 7d 08 60 c2[	 ]+movbe[	 ]+%r18w,%ax
> +[	 ]*[a-f0-9]+:[	 ]*62 ec 7d 08 61 94 80 23 01 00 00[	 ]+movbe[
> 	 ]+%r18w,0x123\(%r16,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7d 08 61 94 87 23 01 00 00[	 ]+movbe[
> 	 ]+%r18w,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 dc 7c 08 60 d1[	 ]+movbe[
> 	 ]+%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 6c 7c 08 61 8c 80 23 01 00 00[	 ]+movbe[
> 	 ]+%r25d,0x123\(%r16,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5c fc 08 60 ff[	 ]+movbe[	 ]+%r31,%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 6c fc 08 61 bc 80 23 01 00 00[	 ]+movbe[
> 	 ]+%r31,0x123\(%r16,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fc 08 61 bc 87 23 01 00 00[	 ]+movbe[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 6c fc 08 60 bc 80 23 01 00 00[	 ]+movbe[
> 	 ]+0x123\(%r16,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7d 08 60 94 87 23 01 00 00[	 ]+movbe[
> 	 ]+0x123\(%r31,%rax,4\),%r18w
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7c 08 60 8c 87 23 01 00 00[	 ]+movbe[
> 	 ]+0x123\(%r31,%rax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*67 62 .c 7d 08 f8 8c 87 23 01 00 00[
> 	 ]+movdir64b[	 ]+0x123\(%r31d,%eax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 4c .d 08 f8 bc 87 23 01 00 00[
> 	 ]+movdir64b[	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7c 08 f9 8c 87 23 01 00 00[	 ]+movdiri[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fc 08 f9 bc 87 23 01 00 00[	 ]+movdiri[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 6f 08 f5 d1[	 ]+pdep[
> 	 ]+%r25d,%edx,%r10d
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 87 08 f5 df[	 ]+pdep[
> 	 ]+%r31,%r15,%r11
> +[	 ]*[a-f0-9]+:[	 ]*62 da 37 00 f5 94 87 23 01 00 00[	 ]+pdep[
> 	 ]+0x123\(%r31,%rax,4\),%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 87 00 f5 bc 87 23 01 00 00[	 ]+pdep[
> 	 ]+0x123\(%r31,%rax,4\),%r31,%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 6e 08 f5 d1[	 ]+pext[
> 	 ]+%r25d,%edx,%r10d
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 86 08 f5 df[	 ]+pext[
> 	 ]+%r31,%r15,%r11
> +[	 ]*[a-f0-9]+:[	 ]*62 da 36 00 f5 94 87 23 01 00 00[	 ]+pext[
> 	 ]+0x123\(%r31,%rax,4\),%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 86 00 f5 bc 87 23 01 00 00[	 ]+pext[
> 	 ]+0x123\(%r31,%rax,4\),%r31,%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 a4 .c 08 d9 f7[	 ]+sha1msg1[
> 	 ]+%xmm23,%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .c 08 d9 b4 87 23 01 00 00[	 ]+sha1msg1[
> 	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 a4 .c 08 da f7[	 ]+sha1msg2[
> 	 ]+%xmm23,%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .c 08 da b4 87 23 01 00 00[	 ]+sha1msg2[
> 	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 a4 .c 08 d8 f7[	 ]+sha1nexte[
> 	 ]+%xmm23,%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .c 08 d8 b4 87 23 01 00 00[	 ]+sha1nexte[
> 	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 a4 .c 08 d4 f7 7b[	 ]+sha1rnds4[
> 	 ]+\$0x7b,%xmm23,%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .c 08 d4 b4 87 23 01 00 00 7b[	 ]+sha1rnds4[
> 	 ]+\$0x7b,0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 a4 .c 08 dc f7[	 ]+sha256msg1[
> 	 ]+%xmm23,%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .c 08 dc b4 87 23 01 00 00[
> 	 ]+sha256msg1[	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 a4 .c 08 dd f7[	 ]+sha256msg2[
> 	 ]+%xmm23,%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .c 08 dd b4 87 23 01 00 00[
> 	 ]+sha256msg2[	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 5c .c 08 db a4 87 23 01 00 00[
> 	 ]+sha256rnds2[	 ]+%xmm0,0x123\(%r31,%rax,4\),%xmm12
> +[	 ]*[a-f0-9]+:[	 ]*62 72 35 00 f7 d2[	 ]+shlx[
> 	 ]+%r25d,%edx,%r10d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 f7 94 87 23 01 00 00[	 ]+shlx[
> 	 ]+%r25d,0x123\(%r31,%rax,4\),%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 52 85 00 f7 df[	 ]+shlx[	 ]+%r31,%r15,%r11
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 f7 bc 87 23 01 00 00[	 ]+shlx[
> 	 ]+%r31,0x123\(%r31,%rax,4\),%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 72 37 00 f7 d2[	 ]+shrx[
> 	 ]+%r25d,%edx,%r10d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 37 00 f7 94 87 23 01 00 00[	 ]+shrx[
> 	 ]+%r25d,0x123\(%r31,%rax,4\),%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 52 87 00 f7 df[	 ]+shrx[	 ]+%r31,%r15,%r11
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 87 00 f7 bc 87 23 01 00 00[	 ]+shrx[
> 	 ]+%r31,0x123\(%r31,%rax,4\),%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 da 7d 08 49 84 87 23 01 00 00[	 ]+sttilecfg[
> 	 ]+0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 7f 08 4b b4 87 23 01 00 00[	 ]+tileloadd[
> 	 ]+0x123\(%r31,%rax,4\),%tmm6
> +[	 ]*[a-f0-9]+:[	 ]*62 da 7d 08 4b b4 87 23 01 00 00[	 ]+tileloaddt1[
> 	 ]+0x123\(%r31,%rax,4\),%tmm6
> +[	 ]*[a-f0-9]+:[	 ]*62 da 7e 08 4b b4 87 23 01 00 00[	 ]+tilestored[
> 	 ]+%tmm6,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 fa 7d 28 1a 18[	 ]+vbroadcastf32x4
> \(%r16\),%ymm3
> +[	 ]*[a-f0-9]+:[	 ]*62 fa 7d 28 5a 18[	 ]+vbroadcasti32x4
> \(%r16\),%ymm3
> +[	 ]*[a-f0-9]+:[	 ]*62 fb 7d 28 19 18 01[	 ]+vextractf32x4
> \$(0x)?1,%ymm3,\(%r16\)
> +[	 ]*[a-f0-9]+:[	 ]*62 fb 7d 28 39 18 01[	 ]+vextracti32x4
> \$(0x)?1,%ymm3,\(%r16\)
> +[	 ]*[a-f0-9]+:[	 ]*62 7b 65 28 18 00 01[	 ]+vinsertf32x4
> \$(0x)?1,\(%r16\),%ymm3,%ymm8
> +[	 ]*[a-f0-9]+:[	 ]*62 7b 65 28 38 00 01[	 ]+vinserti32x4
> \$(0x)?1,\(%r16\),%ymm3,%ymm8
> +[	 ]*[a-f0-9]+:[	 ]*62 db fd 08 09 30 01[	 ]+vrndscalepd
> \$0x1,\(%r24\),%xmm6
> +[	 ]*[a-f0-9]+:[	 ]*62 db 7d 08 08 30 02[	 ]+vrndscaleps
> \$0x2,\(%r24\),%xmm6
> +[	 ]*[a-f0-9]+:[	 ]*62 db cd 08 0b 18 03[	 ]+vrndscalesd
> \$0x3,\(%r24\),%xmm6,%xmm3
> +[	 ]*[a-f0-9]+:[	 ]*62 db 4d 08 0a 18 04[	 ]+vrndscaless
> \$0x4,\(%r24\),%xmm6,%xmm3
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7c 08 66 8c 87 23 01 00 00[	 ]+wrssd[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fc 08 66 bc 87 23 01 00 00[	 ]+wrssq[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7d 08 65 8c 87 23 01 00 00[	 ]+wrussd[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fd 08 65 bc 87 23 01 00 00[	 ]+wrussq[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7c 08 fc 8c 87 23 01 00 00[	 ]+aadd[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fc 08 fc bc 87 23 01 00 00[	 ]+aadd[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7d 08 fc 8c 87 23 01 00 00[	 ]+aand[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fd 08 fc bc 87 23 01 00 00[	 ]+aand[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .e 08 dd b4 87 23 01 00 00[
> 	 ]+aesdec128kl[	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .e 08 df b4 87 23 01 00 00[
> 	 ]+aesdec256kl[	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 d8 8c 87 23 01 00 00[
> 	 ]+aesdecwide128kl[	 ]+0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 d8 9c 87 23 01 00 00[
> 	 ]+aesdecwide256kl[	 ]+0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .e 08 dc b4 87 23 01 00 00[
> 	 ]+aesenc128kl[	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .e 08 de b4 87 23 01 00 00[
> 	 ]+aesenc256kl[	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 d8 84 87 23 01 00 00[
> 	 ]+aesencwide128kl[	 ]+0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 d8 94 87 23 01 00 00[
> 	 ]+aesencwide256kl[	 ]+0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7f 08 fc 8c 87 23 01 00 00[	 ]+aor[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c ff 08 fc bc 87 23 01 00 00[	 ]+aor[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 fc 8c 87 23 01 00 00[	 ]+axor[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 fc bc 87 23 01 00 00[	 ]+axor[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 72 34 00 f7 d2[	 ]+bextr[
> 	 ]+%r25d,%edx,%r10d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f7 94 87 23 01 00 00[	 ]+bextr[
> 	 ]+%r25d,0x123\(%r31,%rax,4\),%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 52 84 00 f7 df[	 ]+bextr[
> 	 ]+%r31,%r15,%r11
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 84 00 f7 bc 87 23 01 00 00[	 ]+bextr[
> 	 ]+%r31,0x123\(%r31,%rax,4\),%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 da 6c 08 f3 d9[	 ]+blsi[	 ]+%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 08 f3 df[	 ]+blsi[	 ]+%r31,%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f3 9c 87 23 01 00 00[	 ]+blsi[
> 	 ]+0x123\(%r31,%rax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 00 f3 9c 87 23 01 00 00[	 ]+blsi[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 da 6c 08 f3 d1[	 ]+blsmsk[
> 	 ]+%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 08 f3 d7[	 ]+blsmsk[	 ]+%r31,%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f3 94 87 23 01 00 00[	 ]+blsmsk[
> 	 ]+0x123\(%r31,%rax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 00 f3 94 87 23 01 00 00[	 ]+blsmsk[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 da 6c 08 f3 c9[	 ]+blsr[	 ]+%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 08 f3 cf[	 ]+blsr[	 ]+%r31,%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f3 8c 87 23 01 00 00[	 ]+blsr[
> 	 ]+0x123\(%r31,%rax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 00 f3 8c 87 23 01 00 00[	 ]+blsr[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 72 34 00 f5 d2[	 ]+bzhi[
> 	 ]+%r25d,%edx,%r10d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f5 94 87 23 01 00 00[	 ]+bzhi[
> 	 ]+%r25d,0x123\(%r31,%rax,4\),%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 52 84 00 f5 df[	 ]+bzhi[	 ]+%r31,%r15,%r11
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 84 00 f5 bc 87 23 01 00 00[	 ]+bzhi[
> 	 ]+%r31,0x123\(%r31,%rax,4\),%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e6 94 87 23 01 00 00[
> 	 ]+cmpbexadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e6 bc 87 23 01 00 00[
> 	 ]+cmpbexadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e2 94 87 23 01 00 00[	 ]+cmpbxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e2 bc 87 23 01 00 00[	 ]+cmpbxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 ec 94 87 23 01 00 00[	 ]+cmplxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 ec bc 87 23 01 00 00[	 ]+cmplxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e7 94 87 23 01 00 00[
> 	 ]+cmpnbexadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e7 bc 87 23 01 00 00[
> 	 ]+cmpnbexadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e3 94 87 23 01 00 00[
> 	 ]+cmpnbxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e3 bc 87 23 01 00 00[
> 	 ]+cmpnbxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 ef 94 87 23 01 00 00[
> 	 ]+cmpnlexadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 ef bc 87 23 01 00 00[
> 	 ]+cmpnlexadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 ed 94 87 23 01 00 00[	 ]+cmpnlxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 ed bc 87 23 01 00 00[	 ]+cmpnlxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e1 94 87 23 01 00 00[
> 	 ]+cmpnoxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e1 bc 87 23 01 00 00[
> 	 ]+cmpnoxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 eb 94 87 23 01 00 00[
> 	 ]+cmpnpxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 eb bc 87 23 01 00 00[
> 	 ]+cmpnpxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e9 94 87 23 01 00 00[
> 	 ]+cmpnsxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e9 bc 87 23 01 00 00[
> 	 ]+cmpnsxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e5 94 87 23 01 00 00[
> 	 ]+cmpnzxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e5 bc 87 23 01 00 00[
> 	 ]+cmpnzxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e0 94 87 23 01 00 00[	 ]+cmpoxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e0 bc 87 23 01 00 00[	 ]+cmpoxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 ea 94 87 23 01 00 00[	 ]+cmppxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 ea bc 87 23 01 00 00[	 ]+cmppxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e8 94 87 23 01 00 00[	 ]+cmpsxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e8 bc 87 23 01 00 00[	 ]+cmpsxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e4 94 87 23 01 00 00[	 ]+cmpzxadd[
> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e4 bc 87 23 01 00 00[	 ]+cmpzxadd[
> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 cc fc 08 f1 f7[	 ]+crc32  %r31,%r22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc fc 08 f1 37[	 ]+crc32q \(%r31\),%r22
> +[	 ]*[a-f0-9]+:[	 ]*62 ec fc 08 f0 cb[	 ]+crc32  %r19b,%r17
> +[	 ]*[a-f0-9]+:[	 ]*62 ec 7c 08 f0 eb[	 ]+crc32  %r19b,%r21d
> +[	 ]*[a-f0-9]+:[	 ]*62 fc 7c 08 f0 1b[	 ]+crc32b \(%r19\),%ebx
> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7c 08 f1 ff[	 ]+crc32  %r31d,%r23d
> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7c 08 f1 3f[	 ]+crc32l \(%r31\),%r23d
> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7d 08 f1 ef[	 ]+crc32  %r31w,%r21d
> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7d 08 f1 2f[	 ]+crc32w \(%r31\),%r21d
> +[	 ]*[a-f0-9]+:[	 ]*62 e4 fc 08 f1 d0[	 ]+crc32  %rax,%r18
> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 da d1[	 ]+encodekey128[
> 	 ]+%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 db d1[	 ]+encodekey256[
> 	 ]+%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*67 62 .c 7f 08 f8 8c 87 23 01 00 00[	 ]+enqcmd[
> 	 ]+0x123\(%r31d,%eax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 4c .f 08 f8 bc 87 23 01 00 00[	 ]+enqcmd[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*67 62 .c 7e 08 f8 8c 87 23 01 00 00[	 ]+enqcmds[
> 	 ]+0x123\(%r31d,%eax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 4c .e 08 f8 bc 87 23 01 00 00[	 ]+enqcmds[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f0 bc 87 23 01 00 00[	 ]+invept[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f2 bc 87 23 01 00 00[	 ]+invpcid[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f1 bc 87 23 01 00 00[	 ]+invvpid[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 61 7d 08 93 cd[	 ]+kmovb[	 ]+%k5,%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 91 ac 87 23 01 00 00[	 ]+kmovb[
> 	 ]+%k5,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 92 e9[	 ]+kmovb[	 ]+%r25d,%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 90 ac 87 23 01 00 00[	 ]+kmovb[
> 	 ]+0x123\(%r31,%rax,4\),%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 61 7f 08 93 cd[	 ]+kmovd[	 ]+%k5,%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 fd 08 91 ac 87 23 01 00 00[	 ]+kmovd[
> 	 ]+%k5,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7f 08 92 e9[	 ]+kmovd[	 ]+%r25d,%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 fd 08 90 ac 87 23 01 00 00[	 ]+kmovd[
> 	 ]+0x123\(%r31,%rax,4\),%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 61 ff 08 93 fd[	 ]+kmovq[	 ]+%k5,%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 fc 08 91 ac 87 23 01 00 00[	 ]+kmovq[
> 	 ]+%k5,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 ff 08 92 ef[	 ]+kmovq[	 ]+%r31,%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 fc 08 90 ac 87 23 01 00 00[	 ]+kmovq[
> 	 ]+0x123\(%r31,%rax,4\),%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 61 7c 08 93 cd[	 ]+kmovw[	 ]+%k5,%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7c 08 91 ac 87 23 01 00 00[	 ]+kmovw[
> 	 ]+%k5,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7c 08 92 e9[	 ]+kmovw[	 ]+%r25d,%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 d9 7c 08 90 ac 87 23 01 00 00[	 ]+kmovw[
> 	 ]+0x123\(%r31,%rax,4\),%k5
> +[	 ]*[a-f0-9]+:[	 ]*62 da 7c 08 49 84 87 23 01 00 00[	 ]+ldtilecfg[
> 	 ]+0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 fc 7d 08 60 c2[	 ]+movbe[	 ]+%r18w,%ax
> +[	 ]*[a-f0-9]+:[	 ]*62 ec 7d 08 61 94 80 23 01 00 00[	 ]+movbe[
> 	 ]+%r18w,0x123\(%r16,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7d 08 61 94 87 23 01 00 00[	 ]+movbe[
> 	 ]+%r18w,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 dc 7c 08 60 d1[	 ]+movbe[
> 	 ]+%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 6c 7c 08 61 8c 80 23 01 00 00[	 ]+movbe[
> 	 ]+%r25d,0x123\(%r16,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5c fc 08 60 ff[	 ]+movbe[	 ]+%r31,%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 6c fc 08 61 bc 80 23 01 00 00[	 ]+movbe[
> 	 ]+%r31,0x123\(%r16,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fc 08 61 bc 87 23 01 00 00[	 ]+movbe[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 6c fc 08 60 bc 80 23 01 00 00[	 ]+movbe[
> 	 ]+0x123\(%r16,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7d 08 60 94 87 23 01 00 00[	 ]+movbe[
> 	 ]+0x123\(%r31,%rax,4\),%r18w
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7c 08 60 8c 87 23 01 00 00[	 ]+movbe[
> 	 ]+0x123\(%r31,%rax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*67 62 .c 7d 08 f8 8c 87 23 01 00 00[
> 	 ]+movdir64b[	 ]+0x123\(%r31d,%eax,4\),%r25d
> +[	 ]*[a-f0-9]+:[	 ]*62 4c .d 08 f8 bc 87 23 01 00 00[
> 	 ]+movdir64b[	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7c 08 f9 8c 87 23 01 00 00[	 ]+movdiri[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fc 08 f9 bc 87 23 01 00 00[	 ]+movdiri[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 6f 08 f5 d1[	 ]+pdep[
> 	 ]+%r25d,%edx,%r10d
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 87 08 f5 df[	 ]+pdep[
> 	 ]+%r31,%r15,%r11
> +[	 ]*[a-f0-9]+:[	 ]*62 da 37 00 f5 94 87 23 01 00 00[	 ]+pdep[
> 	 ]+0x123\(%r31,%rax,4\),%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 87 00 f5 bc 87 23 01 00 00[	 ]+pdep[
> 	 ]+0x123\(%r31,%rax,4\),%r31,%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 6e 08 f5 d1[	 ]+pext[
> 	 ]+%r25d,%edx,%r10d
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 86 08 f5 df[	 ]+pext[
> 	 ]+%r31,%r15,%r11
> +[	 ]*[a-f0-9]+:[	 ]*62 da 36 00 f5 94 87 23 01 00 00[	 ]+pext[
> 	 ]+0x123\(%r31,%rax,4\),%r25d,%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 86 00 f5 bc 87 23 01 00 00[	 ]+pext[
> 	 ]+0x123\(%r31,%rax,4\),%r31,%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 a4 .c 08 d9 f7[	 ]+sha1msg1[
> 	 ]+%xmm23,%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .c 08 d9 b4 87 23 01 00 00[	 ]+sha1msg1[
> 	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 a4 .c 08 da f7[	 ]+sha1msg2[
> 	 ]+%xmm23,%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .c 08 da b4 87 23 01 00 00[	 ]+sha1msg2[
> 	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 a4 .c 08 d8 f7[	 ]+sha1nexte[
> 	 ]+%xmm23,%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .c 08 d8 b4 87 23 01 00 00[	 ]+sha1nexte[
> 	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 a4 .c 08 d4 f7 7b[	 ]+sha1rnds4[
> 	 ]+\$0x7b,%xmm23,%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .c 08 d4 b4 87 23 01 00 00 7b[	 ]+sha1rnds4[
> 	 ]+\$0x7b,0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 a4 .c 08 dc f7[	 ]+sha256msg1[
> 	 ]+%xmm23,%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .c 08 dc b4 87 23 01 00 00[
> 	 ]+sha256msg1[	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 a4 .c 08 dd f7[	 ]+sha256msg2[
> 	 ]+%xmm23,%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 cc .c 08 dd b4 87 23 01 00 00[
> 	 ]+sha256msg2[	 ]+0x123\(%r31,%rax,4\),%xmm22
> +[	 ]*[a-f0-9]+:[	 ]*62 5c .c 08 db a4 87 23 01 00 00[
> 	 ]+sha256rnds2[	 ]+%xmm0,0x123\(%r31,%rax,4\),%xmm12
> +[	 ]*[a-f0-9]+:[	 ]*62 72 35 00 f7 d2[	 ]+shlx[
> 	 ]+%r25d,%edx,%r10d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 f7 94 87 23 01 00 00[	 ]+shlx[
> 	 ]+%r25d,0x123\(%r31,%rax,4\),%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 52 85 00 f7 df[	 ]+shlx[	 ]+%r31,%r15,%r11
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 f7 bc 87 23 01 00 00[	 ]+shlx[
> 	 ]+%r31,0x123\(%r31,%rax,4\),%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 72 37 00 f7 d2[	 ]+shrx[
> 	 ]+%r25d,%edx,%r10d
> +[	 ]*[a-f0-9]+:[	 ]*62 da 37 00 f7 94 87 23 01 00 00[	 ]+shrx[
> 	 ]+%r25d,0x123\(%r31,%rax,4\),%edx
> +[	 ]*[a-f0-9]+:[	 ]*62 52 87 00 f7 df[	 ]+shrx[	 ]+%r31,%r15,%r11
> +[	 ]*[a-f0-9]+:[	 ]*62 5a 87 00 f7 bc 87 23 01 00 00[	 ]+shrx[
> 	 ]+%r31,0x123\(%r31,%rax,4\),%r15
> +[	 ]*[a-f0-9]+:[	 ]*62 da 7d 08 49 84 87 23 01 00 00[	 ]+sttilecfg[
> 	 ]+0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 da 7f 08 4b b4 87 23 01 00 00[	 ]+tileloadd[
> 	 ]+0x123\(%r31,%rax,4\),%tmm6
> +[	 ]*[a-f0-9]+:[	 ]*62 da 7d 08 4b b4 87 23 01 00 00[	 ]+tileloaddt1[
> 	 ]+0x123\(%r31,%rax,4\),%tmm6
> +[	 ]*[a-f0-9]+:[	 ]*62 da 7e 08 4b b4 87 23 01 00 00[	 ]+tilestored[
> 	 ]+%tmm6,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7c 08 66 8c 87 23 01 00 00[	 ]+wrssd[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fc 08 66 bc 87 23 01 00 00[	 ]+wrssq[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7d 08 65 8c 87 23 01 00 00[	 ]+wrussd[
> 	 ]+%r25d,0x123\(%r31,%rax,4\)
> +[	 ]*[a-f0-9]+:[	 ]*62 4c fd 08 65 bc 87 23 01 00 00[	 ]+wrussq[
> 	 ]+%r31,0x123\(%r31,%rax,4\)
> +#pass
> --- a/gas/testsuite/gas/i386/x86-64.exp
> +++ b/gas/testsuite/gas/i386/x86-64.exp
> @@ -377,6 +377,7 @@ run_list_test "x86-64-apx-egpr-promote-i
> run_dump_test "x86-64-apx-rex2"
>  run_dump_test "x86-64-apx-evex-promoted"
>  run_dump_test "x86-64-apx-evex-promoted-intel"
> +run_dump_test "x86-64-apx-evex-promoted-wig"
>  run_dump_test "x86-64-apx-evex-egpr"
>  run_dump_test "x86-64-apx-ndd"
>  run_dump_test "x86-64-apx-jmpabs"
> --- a/opcodes/i386-opc.tbl
> +++ b/opcodes/i386-opc.tbl
> @@ -1402,16 +1402,16 @@ getsec, 0xf37, SMX, NoSuf, {}
> 
>  invept, 0x660f3880, EPT&No64, Modrm|IgnoreSize|NoSuf,
> { Oword|Unspecified|BaseIndex, Reg32 }  invept, 0x660f3880, EPT&x64,
> Modrm|NoSuf|NoRex64, { Oword|Unspecified|BaseIndex, Reg64 } -invept,
> 0xf3f0, EPT&APX_F, Modrm|NoSuf|EVexMap4,
> { Oword|Unspecified|BaseIndex, Reg64 }
> +invept, 0xf3f0, EPT&APX_F, Modrm|NoSuf|EVexMap4|VexWIG, {
> +Oword|Unspecified|BaseIndex, Reg64 }
>  invvpid, 0x660f3881, EPT&No64, Modrm|IgnoreSize|NoSuf,
> { Oword|Unspecified|BaseIndex, Reg32 }  invvpid, 0x660f3881, EPT&x64,
> Modrm|NoSuf|NoRex64, { Oword|Unspecified|BaseIndex, Reg64 } -invvpid,
> 0xf3f1, EPT&APX_F, Modrm|NoSuf|EVexMap4,
> { Oword|Unspecified|BaseIndex, Reg64 }
> +invvpid, 0xf3f1, EPT&APX_F, Modrm|NoSuf|EVexMap4|VexWIG, {
> +Oword|Unspecified|BaseIndex, Reg64 }
> 
>  // INVPCID instruction
> 
>  invpcid, 0x660f3882, INVPCID&No64, Modrm|IgnoreSize|NoSuf,
> { Oword|Unspecified|BaseIndex, Reg32 }  invpcid, 0x660f3882,
> INVPCID&x64, Modrm|NoSuf|NoRex64, { Oword|Unspecified|BaseIndex,
> Reg64 } -invpcid, 0xf3f2, INVPCID&APX_F, Modrm|NoSuf|EVexMap4,
> { Oword|Unspecified|BaseIndex, Reg64 }
> +invpcid, 0xf3f2, INVPCID&APX_F, Modrm|NoSuf|EVexMap4|VexWIG, {
> +Oword|Unspecified|BaseIndex, Reg64 }
> 
>  // SSSE3 instructions.
> 
> --- a/gas/testsuite/gas/i386/x86-64-apx-evex-promoted-intel.d
> +++ b/gas/testsuite/gas/i386/x86-64-apx-evex-promoted-intel.d
> @@ -90,9 +90,9 @@ Disassembly of section \.text:
>  [	 ]*[a-f0-9]+:[	 ]*62 4c 7f 08 f8 bc 87 23 01 00 00[	 ]+enqcmd[
> 	 ]+r31,\[r31\+rax\*4\+0x123\]
>  [	 ]*[a-f0-9]+:[	 ]*67 62 4c 7e 08 f8 8c 87 23 01 00 00[	 ]+enqcmds[
> 	 ]+r25d,\[r31d\+eax\*4\+0x123\]
>  [	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f8 bc 87 23 01 00 00[	 ]+enqcmds[
> 	 ]+r31,\[r31\+rax\*4\+0x123\]
> -[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f0 bc 87 23 01 00 00[	 ]+invept[
> 	 ]+r31,OWORD PTR \[r31\+rax\*4\+0x123\]
> -[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f2 bc 87 23 01 00 00[	 ]+invpcid[
> 	 ]+r31,\[r31\+rax\*4\+0x123\]
> -[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f1 bc 87 23 01 00 00[	 ]+invvpid[
> 	 ]+r31,OWORD PTR \[r31\+rax\*4\+0x123\]
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f0 bc 87 23 01 00 00[	 ]+invept[
> 	 ]+r31,OWORD PTR \[r31\+rax\*4\+0x123\]
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f2 bc 87 23 01 00 00[	 ]+invpcid[
> 	 ]+r31,\[r31\+rax\*4\+0x123\]
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f1 bc 87 23 01 00 00[	 ]+invvpid[
> 	 ]+r31,OWORD PTR \[r31\+rax\*4\+0x123\]
>  [	 ]*[a-f0-9]+:[	 ]*62 61 7d 08 93 cd[	 ]+kmovb[	 ]+r25d,k5
>  [	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 91 ac 87 23 01 00 00[	 ]+kmovb[
> 	 ]+BYTE PTR \[r31\+rax\*4\+0x123\],k5
>  [	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 92 e9[	 ]+kmovb[	 ]+k5,r25d
> @@ -254,9 +254,9 @@ Disassembly of section \.text:
>  [	 ]*[a-f0-9]+:[	 ]*62 4c 7f 08 f8 bc 87 23 01 00 00[	 ]+enqcmd[
> 	 ]+r31,\[r31\+rax\*4\+0x123\]
>  [	 ]*[a-f0-9]+:[	 ]*67 62 4c 7e 08 f8 8c 87 23 01 00 00[	 ]+enqcmds[
> 	 ]+r25d,\[r31d\+eax\*4\+0x123\]
>  [	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f8 bc 87 23 01 00 00[	 ]+enqcmds[
> 	 ]+r31,\[r31\+rax\*4\+0x123\]
> -[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f0 bc 87 23 01 00 00[	 ]+invept[
> 	 ]+r31,OWORD PTR \[r31\+rax\*4\+0x123\]
> -[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f2 bc 87 23 01 00 00[	 ]+invpcid[
> 	 ]+r31,\[r31\+rax\*4\+0x123\]
> -[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f1 bc 87 23 01 00 00[	 ]+invvpid[
> 	 ]+r31,OWORD PTR \[r31\+rax\*4\+0x123\]
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f0 bc 87 23 01 00 00[	 ]+invept[
> 	 ]+r31,OWORD PTR \[r31\+rax\*4\+0x123\]
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f2 bc 87 23 01 00 00[	 ]+invpcid[
> 	 ]+r31,\[r31\+rax\*4\+0x123\]
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f1 bc 87 23 01 00 00[	 ]+invvpid[
> 	 ]+r31,OWORD PTR \[r31\+rax\*4\+0x123\]
>  [	 ]*[a-f0-9]+:[	 ]*62 61 7d 08 93 cd[	 ]+kmovb[	 ]+r25d,k5
>  [	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 91 ac 87 23 01 00 00[	 ]+kmovb[
> 	 ]+BYTE PTR \[r31\+rax\*4\+0x123\],k5
>  [	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 92 e9[	 ]+kmovb[	 ]+k5,r25d
> --- a/gas/testsuite/gas/i386/x86-64-apx-evex-promoted.d
> +++ b/gas/testsuite/gas/i386/x86-64-apx-evex-promoted.d
> @@ -90,9 +90,9 @@ Disassembly of section \.text:
>  [	 ]*[a-f0-9]+:[	 ]*62 4c 7f 08 f8 bc 87 23 01 00 00[	 ]+enqcmd[
> 	 ]+0x123\(%r31,%rax,4\),%r31
>  [	 ]*[a-f0-9]+:[	 ]*67 62 4c 7e 08 f8 8c 87 23 01 00 00[	 ]+enqcmds[
> 	 ]+0x123\(%r31d,%eax,4\),%r25d
>  [	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f8 bc 87 23 01 00 00[	 ]+enqcmds[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> -[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f0 bc 87 23 01 00 00[	 ]+invept[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> -[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f2 bc 87 23 01 00 00[	 ]+invpcid[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> -[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f1 bc 87 23 01 00 00[	 ]+invvpid[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f0 bc 87 23 01 00 00[	 ]+invept[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f2 bc 87 23 01 00 00[	 ]+invpcid[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f1 bc 87 23 01 00 00[	 ]+invvpid[
> 	 ]+0x123\(%r31,%rax,4\),%r31
>  [	 ]*[a-f0-9]+:[	 ]*62 61 7d 08 93 cd[	 ]+kmovb[	 ]+%k5,%r25d
>  [	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 91 ac 87 23 01 00 00[	 ]+kmovb[
> 	 ]+%k5,0x123\(%r31,%rax,4\)
>  [	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 92 e9[	 ]+kmovb[	 ]+%r25d,%k5
> @@ -254,9 +254,9 @@ Disassembly of section \.text:
>  [	 ]*[a-f0-9]+:[	 ]*62 4c 7f 08 f8 bc 87 23 01 00 00[	 ]+enqcmd[
> 	 ]+0x123\(%r31,%rax,4\),%r31
>  [	 ]*[a-f0-9]+:[	 ]*67 62 4c 7e 08 f8 8c 87 23 01 00 00[	 ]+enqcmds[
> 	 ]+0x123\(%r31d,%eax,4\),%r25d
>  [	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f8 bc 87 23 01 00 00[	 ]+enqcmds[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> -[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f0 bc 87 23 01 00 00[	 ]+invept[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> -[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f2 bc 87 23 01 00 00[	 ]+invpcid[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> -[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f1 bc 87 23 01 00 00[	 ]+invvpid[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f0 bc 87 23 01 00 00[	 ]+invept[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f2 bc 87 23 01 00 00[	 ]+invpcid[
> 	 ]+0x123\(%r31,%rax,4\),%r31
> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 f1 bc 87 23 01 00 00[	 ]+invvpid[
> 	 ]+0x123\(%r31,%rax,4\),%r31
>  [	 ]*[a-f0-9]+:[	 ]*62 61 7d 08 93 cd[	 ]+kmovb[	 ]+%k5,%r25d
>  [	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 91 ac 87 23 01 00 00[	 ]+kmovb[
> 	 ]+%k5,0x123\(%r31,%rax,4\)
>  [	 ]*[a-f0-9]+:[	 ]*62 d9 7d 08 92 e9[	 ]+kmovb[	 ]+%r25d,%k5
  

On 18.02.2024 05:06, Cui, Lili wrote:
>> While various other entries in version 003 of the spec aren't quite as explicit
>> (due to simply leaving the respective field blank), all three have a clear
>> IGNORED there. IOW they ought to be emitted with EVEX.W=0 by default (and
>> respect -mevexwig=).
>> ---
>> For those other insns (at least SHA* and KeyLocker ones) likely VexWIG is also
>> missing. But the spec needs clarifying first; respective testcase expectations are
>> added here with '.' instead of a specific digit. Yet more issues exist, but those
>> cannot simply be dealt with by adding VexWIG in the opcode table.
>>
> 
> Jan, I have a question, are these valid test cases? After adding "-mevexwig=1", all test results look the same as x86-64-apx-evex-promoted.d without any changes.

Did you look at merely the decoded insns and their operands? They ought
to be identifcal. The difference is only visible in the hex encodings,
e.g. ...

>> --- /dev/null
>> +++ b/gas/testsuite/gas/i386/x86-64-apx-evex-promoted-wig.d
>> @@ -0,0 +1,329 @@
>> +#as: -mevexwig=1
>> +#objdump: -dw
>> +#name: x86_64 APX_F EVEX-Promoted insns w/ -mevexwig=1
>> +#source: x86-64-apx-evex-promoted.s
>> +
>> +.*: +file format .*
>> +
>> +Disassembly of section \.text:
>> +
>> +0+ <_start>:
>> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7c 08 fc 8c 87 23 01 00 00[	 ]+aadd[
>> 	 ]+%r25d,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 4c fc 08 fc bc 87 23 01 00 00[	 ]+aadd[
>> 	 ]+%r31,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7d 08 fc 8c 87 23 01 00 00[	 ]+aand[
>> 	 ]+%r25d,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 4c fd 08 fc bc 87 23 01 00 00[	 ]+aand[
>> 	 ]+%r31,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 cc .e 08 dd b4 87 23 01 00 00[
>> 	 ]+aesdec128kl[	 ]+0x123\(%r31,%rax,4\),%xmm22
>> +[	 ]*[a-f0-9]+:[	 ]*62 cc .e 08 df b4 87 23 01 00 00[
>> 	 ]+aesdec256kl[	 ]+0x123\(%r31,%rax,4\),%xmm22
>> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 d8 8c 87 23 01 00 00[
>> 	 ]+aesdecwide128kl[	 ]+0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 d8 9c 87 23 01 00 00[
>> 	 ]+aesdecwide256kl[	 ]+0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 cc .e 08 dc b4 87 23 01 00 00[
>> 	 ]+aesenc128kl[	 ]+0x123\(%r31,%rax,4\),%xmm22
>> +[	 ]*[a-f0-9]+:[	 ]*62 cc .e 08 de b4 87 23 01 00 00[
>> 	 ]+aesenc256kl[	 ]+0x123\(%r31,%rax,4\),%xmm22
>> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 d8 84 87 23 01 00 00[
>> 	 ]+aesencwide128kl[	 ]+0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 d8 94 87 23 01 00 00[
>> 	 ]+aesencwide256kl[	 ]+0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7f 08 fc 8c 87 23 01 00 00[	 ]+aor[
>> 	 ]+%r25d,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 4c ff 08 fc bc 87 23 01 00 00[	 ]+aor[
>> 	 ]+%r31,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 4c 7e 08 fc 8c 87 23 01 00 00[	 ]+axor[
>> 	 ]+%r25d,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 fc bc 87 23 01 00 00[	 ]+axor[
>> 	 ]+%r31,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 72 34 00 f7 d2[	 ]+bextr[
>> 	 ]+%r25d,%edx,%r10d
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f7 94 87 23 01 00 00[	 ]+bextr[
>> 	 ]+%r25d,0x123\(%r31,%rax,4\),%edx
>> +[	 ]*[a-f0-9]+:[	 ]*62 52 84 00 f7 df[	 ]+bextr[
>> 	 ]+%r31,%r15,%r11
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 84 00 f7 bc 87 23 01 00 00[	 ]+bextr[
>> 	 ]+%r31,0x123\(%r31,%rax,4\),%r15
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 6c 08 f3 d9[	 ]+blsi[	 ]+%r25d,%edx
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 08 f3 df[	 ]+blsi[	 ]+%r31,%r15
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f3 9c 87 23 01 00 00[	 ]+blsi[
>> 	 ]+0x123\(%r31,%rax,4\),%r25d
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 00 f3 9c 87 23 01 00 00[	 ]+blsi[
>> 	 ]+0x123\(%r31,%rax,4\),%r31
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 6c 08 f3 d1[	 ]+blsmsk[
>> 	 ]+%r25d,%edx
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 08 f3 d7[	 ]+blsmsk[	 ]+%r31,%r15
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f3 94 87 23 01 00 00[	 ]+blsmsk[
>> 	 ]+0x123\(%r31,%rax,4\),%r25d
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 00 f3 94 87 23 01 00 00[	 ]+blsmsk[
>> 	 ]+0x123\(%r31,%rax,4\),%r31
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 6c 08 f3 c9[	 ]+blsr[	 ]+%r25d,%edx
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 08 f3 cf[	 ]+blsr[	 ]+%r31,%r15
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f3 8c 87 23 01 00 00[	 ]+blsr[
>> 	 ]+0x123\(%r31,%rax,4\),%r25d
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 84 00 f3 8c 87 23 01 00 00[	 ]+blsr[
>> 	 ]+0x123\(%r31,%rax,4\),%r31
>> +[	 ]*[a-f0-9]+:[	 ]*62 72 34 00 f5 d2[	 ]+bzhi[
>> 	 ]+%r25d,%edx,%r10d
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 34 00 f5 94 87 23 01 00 00[	 ]+bzhi[
>> 	 ]+%r25d,0x123\(%r31,%rax,4\),%edx
>> +[	 ]*[a-f0-9]+:[	 ]*62 52 84 00 f5 df[	 ]+bzhi[	 ]+%r31,%r15,%r11
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 84 00 f5 bc 87 23 01 00 00[	 ]+bzhi[
>> 	 ]+%r31,0x123\(%r31,%rax,4\),%r15
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e6 94 87 23 01 00 00[
>> 	 ]+cmpbexadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e6 bc 87 23 01 00 00[
>> 	 ]+cmpbexadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e2 94 87 23 01 00 00[	 ]+cmpbxadd[
>> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e2 bc 87 23 01 00 00[	 ]+cmpbxadd[
>> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 ec 94 87 23 01 00 00[	 ]+cmplxadd[
>> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 ec bc 87 23 01 00 00[	 ]+cmplxadd[
>> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e7 94 87 23 01 00 00[
>> 	 ]+cmpnbexadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e7 bc 87 23 01 00 00[
>> 	 ]+cmpnbexadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e3 94 87 23 01 00 00[
>> 	 ]+cmpnbxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e3 bc 87 23 01 00 00[
>> 	 ]+cmpnbxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 ef 94 87 23 01 00 00[
>> 	 ]+cmpnlexadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 ef bc 87 23 01 00 00[
>> 	 ]+cmpnlexadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 ed 94 87 23 01 00 00[	 ]+cmpnlxadd[
>> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 ed bc 87 23 01 00 00[	 ]+cmpnlxadd[
>> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e1 94 87 23 01 00 00[
>> 	 ]+cmpnoxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e1 bc 87 23 01 00 00[
>> 	 ]+cmpnoxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 eb 94 87 23 01 00 00[
>> 	 ]+cmpnpxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 eb bc 87 23 01 00 00[
>> 	 ]+cmpnpxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e9 94 87 23 01 00 00[
>> 	 ]+cmpnsxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e9 bc 87 23 01 00 00[
>> 	 ]+cmpnsxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e5 94 87 23 01 00 00[
>> 	 ]+cmpnzxadd[	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e5 bc 87 23 01 00 00[
>> 	 ]+cmpnzxadd[	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e0 94 87 23 01 00 00[	 ]+cmpoxadd[
>> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e0 bc 87 23 01 00 00[	 ]+cmpoxadd[
>> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 ea 94 87 23 01 00 00[	 ]+cmppxadd[
>> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 ea bc 87 23 01 00 00[	 ]+cmppxadd[
>> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e8 94 87 23 01 00 00[	 ]+cmpsxadd[
>> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e8 bc 87 23 01 00 00[	 ]+cmpsxadd[
>> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 da 35 00 e4 94 87 23 01 00 00[	 ]+cmpzxadd[
>> 	 ]+%r25d,%edx,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 5a 85 00 e4 bc 87 23 01 00 00[	 ]+cmpzxadd[
>> 	 ]+%r31,%r15,0x123\(%r31,%rax,4\)
>> +[	 ]*[a-f0-9]+:[	 ]*62 cc fc 08 f1 f7[	 ]+crc32  %r31,%r22
>> +[	 ]*[a-f0-9]+:[	 ]*62 cc fc 08 f1 37[	 ]+crc32q \(%r31\),%r22
>> +[	 ]*[a-f0-9]+:[	 ]*62 ec fc 08 f0 cb[	 ]+crc32  %r19b,%r17
>> +[	 ]*[a-f0-9]+:[	 ]*62 ec 7c 08 f0 eb[	 ]+crc32  %r19b,%r21d
>> +[	 ]*[a-f0-9]+:[	 ]*62 fc 7c 08 f0 1b[	 ]+crc32b \(%r19\),%ebx
>> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7c 08 f1 ff[	 ]+crc32  %r31d,%r23d
>> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7c 08 f1 3f[	 ]+crc32l \(%r31\),%r23d
>> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7d 08 f1 ef[	 ]+crc32  %r31w,%r21d
>> +[	 ]*[a-f0-9]+:[	 ]*62 cc 7d 08 f1 2f[	 ]+crc32w \(%r31\),%r21d
>> +[	 ]*[a-f0-9]+:[	 ]*62 e4 fc 08 f1 d0[	 ]+crc32  %rax,%r18
>> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 da d1[	 ]+encodekey128[
>> 	 ]+%r25d,%edx
>> +[	 ]*[a-f0-9]+:[	 ]*62 dc .e 08 db d1[	 ]+encodekey256[
>> 	 ]+%r25d,%edx
>> +[	 ]*[a-f0-9]+:[	 ]*67 62 .c 7f 08 f8 8c 87 23 01 00 00[	 ]+enqcmd[
>> 	 ]+0x123\(%r31d,%eax,4\),%r25d
>> +[	 ]*[a-f0-9]+:[	 ]*62 4c .f 08 f8 bc 87 23 01 00 00[	 ]+enqcmd[
>> 	 ]+0x123\(%r31,%rax,4\),%r31
>> +[	 ]*[a-f0-9]+:[	 ]*67 62 .c 7e 08 f8 8c 87 23 01 00 00[	 ]+enqcmds[
>> 	 ]+0x123\(%r31d,%eax,4\),%r25d
>> +[	 ]*[a-f0-9]+:[	 ]*62 4c .e 08 f8 bc 87 23 01 00 00[	 ]+enqcmds[
>> 	 ]+0x123\(%r31,%rax,4\),%r31
>> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f0 bc 87 23 01 00 00[	 ]+invept[
>> 	 ]+0x123\(%r31,%rax,4\),%r31
>> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f2 bc 87 23 01 00 00[	 ]+invpcid[
>> 	 ]+0x123\(%r31,%rax,4\),%r31
>> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f1 bc 87 23 01 00 00[	 ]+invvpid[
>> 	 ]+0x123\(%r31,%rax,4\),%r31

... for these three: EVEX.W is now set, when it's clear in the test
without the -mevexwig=1. As said in the remark, the use of . where
the spec doesn't clearly state how EVEX.W is treated is intentional.

Jan
  

> On 18.02.2024 05:06, Cui, Lili wrote:
> >> While various other entries in version 003 of the spec aren't quite
> >> as explicit (due to simply leaving the respective field blank), all
> >> three have a clear IGNORED there. IOW they ought to be emitted with
> >> EVEX.W=0 by default (and respect -mevexwig=).
> >> ---
> >> For those other insns (at least SHA* and KeyLocker ones) likely
> >> VexWIG is also missing. But the spec needs clarifying first;
> >> respective testcase expectations are added here with '.' instead of a
> >> specific digit. Yet more issues exist, but those cannot simply be dealt with by
> adding VexWIG in the opcode table.
> >>
> >
> > Jan, I have a question, are these valid test cases? After adding "-
> mevexwig=1", all test results look the same as x86-64-apx-evex-promoted.d
> without any changes.
> 
> Did you look at merely the decoded insns and their operands? They ought to
> be identifcal. The difference is only visible in the hex encodings, e.g. ...
> 
> >> --- /dev/null
> >> +++ b/gas/testsuite/gas/i386/x86-64-apx-evex-promoted-wig.d
> >> @@ -0,0 +1,329 @@
> >> +#as: -mevexwig=1
> >> +#objdump: -dw
> >> +#name: x86_64 APX_F EVEX-Promoted insns w/ -mevexwig=1
> >> +#source: x86-64-apx-evex-promoted.s
> >> +
> >> +.*: +file format .*
> >> +
> >> +Disassembly of section \.text:
> >> +
> >> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f0 bc 87 23 01 00 00[	 ]+invept[
> >> 	 ]+0x123\(%r31,%rax,4\),%r31
> >> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f2 bc 87 23 01 00 00[	 ]+invpcid[
> >> 	 ]+0x123\(%r31,%rax,4\),%r31
> >> +[	 ]*[a-f0-9]+:[	 ]*62 4c fe 08 f1 bc 87 23 01 00 00[	 ]+invvpid[
> >> 	 ]+0x123\(%r31,%rax,4\),%r31
> 
> ... for these three: EVEX.W is now set, when it's clear in the test without the -
> mevexwig=1. As said in the remark, the use of . where the spec doesn't clearly
> state how EVEX.W is treated is intentional.
> 

Well, you also changed the .d files of these three instructions. I used the current trunk for comparison, so missed the difference in this place. Although I think most of the test cases are not very targeted, there are still three testcases with different results that can see the effect of -mevexwig=1. Thanks.

Lili.