github.com/cloudwego/iasm@v0.2.0/domains_x86_64.json (about)

     1  {
     2      "generic": [
     3          "ADD", "SUB", "ADC", "SBB", "ADCX", "ADOX",
     4          "AND", "OR", "XOR", "ANDN",
     5          "NOT", "NEG", "INC", "DEC",
     6          "TEST", "CMP",
     7          "MOV", "MOVZX", "MOVSX", "MOVSXD", "MOVBE", "MOVNTI",
     8          "BT", "BTS", "BTR", "BTC", "POPCNT", "BSWAP",
     9          "BSF", "BSR", "LZCNT", "TZCNT",
    10          "SHR", "SAR", "SHL", "SAL", "SHRX", "SARX", "SHLX",
    11          "SHRD", "SHLD",
    12          "ROR", "ROL", "RORX",
    13          "RCR", "RCL",
    14          "IMUL", "MUL", "MULX",
    15          "IDIV", "DIV",
    16          "LEA", "PUSH", "POP",
    17  
    18          "POPCNT", "LZCNT", "TZCNT",
    19          "BEXTR", "PDEP", "PEXT",
    20          "BZHI",
    21          "BLCFILL", "BLCI", "BLCIC", "BLCMSK", "BLCS",
    22          "BLSFILL", "BLSI", "BLSIC", "BLSMSK", "BLSR",
    23          "T1MSKC", "TZMSK",
    24          "CRC32",
    25  
    26          "CBW", "CDQ", "CQO",
    27          "CWD", "CWDE", "CDQE",
    28  
    29          "CMOVA", "CMOVNA", "CMOVAE", "CMOVNAE",
    30          "CMOVB", "CMOVNB", "CMOVBE", "CMOVNBE",
    31          "CMOVC", "CMOVNC", "CMOVE", "CMOVNE",
    32          "CMOVG", "CMOVNG", "CMOVGE", "CMOVNGE",
    33          "CMOVL", "CMOVNL", "CMOVLE", "CMOVNLE",
    34          "CMOVO", "CMOVNO", "CMOVP", "CMOVNP",
    35          "CMOVS", "CMOVNS", "CMOVZ", "CMOVNZ",
    36          "CMOVPE", "CMOVPO",
    37  
    38          "SETA", "SETNA", "SETAE", "SETNAE",
    39          "SETB", "SETNB", "SETBE", "SETNBE",
    40          "SETC", "SETNC", "SETE", "SETNE",
    41          "SETG", "SETNG", "SETGE", "SETNGE",
    42          "SETL", "SETNL", "SETLE", "SETNLE",
    43          "SETO", "SETNO", "SETP", "SETNP",
    44          "SETS", "SETNS", "SETZ", "SETNZ",
    45          "SETPE", "SETPO",
    46  
    47          "JA", "JNA", "JAE", "JNAE",
    48          "JB", "JNB", "JBE", "JNBE",
    49          "JC", "JNC", "JE", "JNE",
    50          "JG", "JNG", "JGE", "JNGE",
    51          "JL", "JNL", "JLE", "JNLE",
    52          "JO", "JNO", "JP", "JNP",
    53          "JS", "JNS", "JZ", "JNZ",
    54          "JPE", "JPO", "JMP",
    55          "JRCXZ", "JECXZ",
    56          "RET", "CALL",
    57  
    58          "PAUSE", "NOP",
    59          "INT", "UD2",
    60          "CPUID", "RDTSC", "RDTSCP", "XGETBV",
    61          "SYSCALL",
    62  
    63          "STC", "CLC", "CMC",
    64          "STD", "CLD",
    65  
    66          "XADD", "XCHG",
    67          "CMPXCHG", "CMPXCHG8B", "CMPXCHG16B",
    68  
    69          "SFENCE", "MFENCE", "LFENCE",
    70  
    71          "PREFETCHNTA", "PREFETCHT0", "PREFETCHT1", "PREFETCHT2",
    72          "PREFETCH", "PREFETCHW", "PREFETCHWT1",
    73  
    74          "CLFLUSH", "CLFLUSHOPT", "CLWB", "CLZERO"
    75      ],
    76      "mmxsse": [
    77          "MOVSS", "EXTRACTPS", "INSERTPS",
    78          "ADDSS", "SUBSS", "MULSS", "DIVSS", "SQRTSS",
    79          "ROUNDSS", "MINSS", "MAXSS", "RCPSS", "RSQRTSS",
    80          "CMPSS", "COMISS", "UCOMISS",
    81          "MOVSD", "ADDSD", "SUBSD", "MULSD", "DIVSD", "SQRTSD",
    82          "ROUNDSD", "MINSD", "MAXSD",
    83          "CMPSD", "COMISD", "UCOMISD",
    84          "MOVAPS", "MOVUPS", "MOVLPS", "MOVNTPS",
    85          "MOVHPS", "MOVSLDUP", "MOVSHDUP",
    86          "MOVAPD", "MOVUPD", "MOVLPD", "MOVNTPD",
    87          "MOVHPD", "MOVDDUP",
    88          "ADDPS", "HADDPS", "SUBPS", "HSUBPS", "ADDSUBPS", "MULPS", "DIVPS", "SQRTPS",
    89          "ADDPD", "HADDPD", "SUBPD", "HSUBPD", "ADDSUBPD", "MULPD", "DIVPD", "SQRTPD",
    90          "ROUNDPS", "MINPS", "MAXPS", "RCPPS", "RSQRTPS", "DPPS",
    91          "CMPPS", "MOVMSKPS",
    92          "ROUNDPD", "MINPD", "MAXPD", "DPPD",
    93          "CMPPD", "MOVMSKPD",
    94          "ANDPS", "ANDNPS", "ORPS", "XORPS", "BLENDPS", "BLENDVPS",
    95          "ANDPD", "ANDNPD", "ORPD", "XORPD", "BLENDPD", "BLENDVPD",
    96          "UNPCKLPS", "UNPCKHPS", "MOVLHPS", "MOVHLPS", "SHUFPS",
    97          "UNPCKLPD", "UNPCKHPD", "SHUFPD",
    98  
    99          "MOVD", "MOVQ", "MOVDQ2Q", "MOVQ2DQ", "MOVDQA", "MOVDQU", "LDDQU",
   100          "MASKMOVQ", "MASKMOVDQU",
   101          "MOVNTQ", "MOVNTDQ", "MOVNTDQA",
   102          "PMOVSXBW", "PMOVSXBD", "PMOVSXBQ", "PMOVSXWD", "PMOVSXWQ", "PMOVSXDQ",
   103          "PMOVZXBW", "PMOVZXBD", "PMOVZXBQ", "PMOVZXWD", "PMOVZXWQ", "PMOVZXDQ",
   104          "PEXTRB", "PEXTRW", "PEXTRD", "PEXTRQ",
   105          "PINSRB", "PINSRW", "PINSRD", "PINSRQ",
   106          "PMOVMSKB", "PTEST",
   107          "PADDB", "PADDW", "PADDD", "PADDQ", "PADDSB", "PADDSW", "PADDUSB", "PADDUSW",
   108          "PHADDW", "PHADDD", "PHADDSW",
   109          "PSUBB", "PSUBW", "PSUBD", "PSUBQ", "PSUBSB", "PSUBSW", "PSUBUSB", "PSUBUSW",
   110          "PHSUBW", "PHSUBD", "PHSUBSW",
   111          "PMAXSB", "PMAXSW", "PMAXSD", "PMAXUB", "PMAXUW", "PMAXUD",
   112          "PMINSB", "PMINSW", "PMINSD", "PMINUB", "PMINUW", "PMINUD",
   113          "PSLLW", "PSLLD", "PSLLQ", "PSRLW", "PSRLD", "PSRLQ", "PSRAW", "PSRAD",
   114          "PMULLW", "PMULHW", "PMULHUW", "PMULLD", "PMULDQ", "PMULUDQ",
   115          "PMULHRSW", "PMADDWD", "PMADDUBSW",
   116          "PAVGB", "PAVGW",
   117          "PSADBW", "MPSADBW", "PHMINPOSUW",
   118          "PCMPEQB", "PCMPEQW", "PCMPEQD", "PCMPEQQ",
   119          "PCMPGTB", "PCMPGTW", "PCMPGTD", "PCMPGTQ",
   120          "PABSB", "PABSW", "PABSD", "PSIGNB", "PSIGNW", "PSIGND",
   121          "PAND", "PANDN", "POR", "PXOR", "PBLENDW", "PBLENDVB",
   122          "PUNPCKLBW", "PUNPCKLWD", "PUNPCKLDQ", "PUNPCKLQDQ",
   123          "PUNPCKHBW", "PUNPCKHWD", "PUNPCKHDQ", "PUNPCKHQDQ",
   124          "PACKSSWB", "PACKSSDW", "PACKUSWB", "PACKUSDW",
   125          "PSHUFB", "PSHUFW", "PSHUFLW", "PSHUFHW", "PSHUFD",
   126          "PSLLDQ", "PSRLDQ", "PALIGNR",
   127  
   128          "PCMPESTRI", "PCMPESTRM", "PCMPISTRI", "PCMPISTRM",
   129  
   130          "CVTSS2SI", "CVTTSS2SI", "CVTSI2SS",
   131          "CVTSD2SI", "CVTTSD2SI", "CVTSI2SD",
   132          "CVTPS2DQ", "CVTTPS2DQ", "CVTDQ2PS",
   133          "CVTPD2DQ", "CVTTPD2DQ", "CVTDQ2PD",
   134          "CVTPS2PI", "CVTTPS2PI", "CVTPI2PS",
   135          "CVTPD2PI", "CVTTPD2PI", "CVTPI2PD",
   136          "CVTSD2SS", "CVTSS2SD",
   137          "CVTPD2PS", "CVTPS2PD",
   138  
   139          "LDMXCSR", "STMXCSR",
   140          "EMMS"
   141      ],
   142      "avx": [
   143          "VMOVSS", "VEXTRACTPS", "VINSERTPS",
   144          "VADDSS", "VSUBSS", "VMULSS", "VDIVSS", "VSQRTSS",
   145          "VROUNDSS", "VRNDSCALESS", "VRANGESS",
   146          "VMINSS", "VMAXSS", "VREDUCESS",
   147          "VGETMANTSS", "VGETEXPSS", "VSCALEFSS", "VFIXUPIMMSS", "VFPCLASSSS",
   148          "VRCPSS", "VRSQRTSS", "VRCP14SS", "VRSQRT14SS", "VRCP28SS", "VRSQRT28SS",
   149          "VCMPSS", "VCOMISS", "VUCOMISS",
   150          "VMOVSD", "VADDSD", "VSUBSD", "VMULSD", "VDIVSD", "VSQRTSD",
   151          "VROUNDSD", "VRNDSCALESD", "VRANGESD",
   152          "VMINSD", "VMAXSD", "VREDUCESD",
   153          "VGETMANTSD", "VGETEXPSD", "VSCALEFSD", "VFIXUPIMMSD", "VFPCLASSSD",
   154          "VRCP14SD", "VRSQRT14SD", "VRCP28SD", "VRSQRT28SD",
   155          "VCMPSD", "VCOMISD", "VUCOMISD",
   156  
   157          "VMOVAPS", "VMOVUPS", "VMOVLPS", "VMOVHPS",
   158          "VMASKMOVPS", "VMOVMSKPS", "VMOVNTPS",
   159          "VBROADCASTSS", "VMOVSLDUP", "VMOVSHDUP",
   160          "VEXPANDPS", "VCOMPRESSPS",
   161          "VGATHERDPS", "VGATHERQPS",
   162          "VGATHERPF0DPS", "VGATHERPF0QPS",
   163          "VGATHERPF1DPS", "VGATHERPF1QPS",
   164          "VSCATTERDPS", "VSCATTERQPS",
   165          "VSCATTERPF0DPS", "VSCATTERPF0QPS",
   166          "VSCATTERPF1DPS", "VSCATTERPF1QPS",
   167  
   168          "VMOVAPD", "VMOVUPD", "VMOVLPD", "VMOVHPD",
   169          "VMASKMOVPD", "VMOVMSKPD", "VMOVNTPD",
   170          "VBROADCASTSD", "VMOVDDUP",
   171          "VEXPANDPD", "VCOMPRESSPD",
   172          "VGATHERDPD", "VGATHERQPD",
   173          "VGATHERPF0DPD", "VGATHERPF0QPD",
   174          "VGATHERPF1DPD", "VGATHERPF1QPD",
   175          "VSCATTERDPD", "VSCATTERQPD",
   176          "VSCATTERPF0DPD", "VSCATTERPF0QPD",
   177          "VSCATTERPF1DPD", "VSCATTERPF1QPD",
   178  
   179          "VADDPS", "VHADDPS", "VSUBPS", "VHSUBPS", "VADDSUBPS", "VMULPS", "VDIVPS", "VSQRTPS",
   180          "VADDPD", "VHADDPD", "VSUBPD", "VHSUBPD", "VADDSUBPD", "VMULPD", "VDIVPD", "VSQRTPD",
   181          "VROUNDPS", "VRNDSCALEPS", "VRANGEPS",
   182          "VMINPS", "VMAXPS", "VREDUCEPS", "VDPPS",
   183          "VGETMANTPS", "VGETEXPPS", "VSCALEFPS", "VFIXUPIMMPS", "VFPCLASSPS",
   184          "VRCPPS", "VRSQRTPS", "VRCP14PS", "VRSQRT14PS", "VRCP28PS", "VRSQRT28PS", "VEXP2PS",
   185          "VCMPPS", "VTESTPS",
   186          "VROUNDPD", "VRNDSCALEPD", "VRANGEPD",
   187          "VMINPD", "VMAXPD", "VREDUCEPD", "VDPPD",
   188          "VGETMANTPD", "VGETEXPPD", "VSCALEFPD", "VFIXUPIMMPD", "VFPCLASSPD",
   189          "VRCP14PD", "VRSQRT14PD", "VRCP28PD", "VRSQRT28PD", "VEXP2PD",
   190          "VCMPPD", "VTESTPD",
   191          "VANDPS", "VANDNPS", "VORPS", "VXORPS", "VBLENDPS", "VBLENDVPS", "VBLENDMPS",
   192          "VANDPD", "VANDNPD", "VORPD", "VXORPD", "VBLENDPD", "VBLENDVPD", "VBLENDMPD",
   193          "VUNPCKLPS", "VUNPCKHPS", "VMOVLHPS", "VMOVHLPS", "VSHUFPS",
   194          "VUNPCKLPD", "VUNPCKHPD", "VSHUFPD",
   195          "VPERMPS", "VPERMILPS", "VPERMT2PS", "VPERMI2PS",
   196          "VPERMPD", "VPERMILPD", "VPERMT2PD", "VPERMI2PD",
   197  
   198          "VMOVD", "VMOVQ", "VMOVDQA", "VMOVDQA32", "VMOVDQA64",
   199          "VMOVDQU", "VMOVDQU8", "VMOVDQU16", "VMOVDQU32", "VMOVDQU64", "VLDDQU",
   200          "VPBROADCASTB", "VPBROADCASTW", "VPBROADCASTD", "VPBROADCASTQ",
   201          "VPEXPANDD", "VPEXPANDQ",
   202          "VPCOMPRESSD", "VPCOMPRESSQ",
   203          "VPMASKMOVD", "VPMASKMOVQ", "VMASKMOVDQU", "VMOVNTDQ", "VMOVNTDQA",
   204          "VPMOVSXBW", "VPMOVSXBD", "VPMOVSXBQ", "VPMOVSXWD", "VPMOVSXWQ", "VPMOVSXDQ",
   205          "VPMOVZXBW", "VPMOVZXBD", "VPMOVZXBQ", "VPMOVZXWD", "VPMOVZXWQ", "VPMOVZXDQ",
   206          "VPMOVWB", "VPMOVDB", "VPMOVDW", "VPMOVQB", "VPMOVQW", "VPMOVQD",
   207          "VPMOVSWB", "VPMOVSDB", "VPMOVSDW", "VPMOVSQB", "VPMOVSQW", "VPMOVSQD",
   208          "VPMOVUSWB", "VPMOVUSDB", "VPMOVUSDW", "VPMOVUSQB", "VPMOVUSQW", "VPMOVUSQD",
   209          "VPEXTRB", "VPEXTRW", "VPEXTRD", "VPEXTRQ",
   210          "VPINSRB", "VPINSRW", "VPINSRD", "VPINSRQ",
   211          "VPGATHERDD", "VPGATHERDQ", "VPGATHERQD", "VPGATHERQQ",
   212          "VPSCATTERDD", "VPSCATTERDQ", "VPSCATTERQD", "VPSCATTERQQ",
   213          "VPCONFLICTD", "VPCONFLICTQ",
   214          "VPLZCNTD", "VPLZCNTQ",
   215          "VPTEST", "VPMOVMSKB",
   216          "VPADDB", "VPADDW", "VPADDD", "VPADDQ", "VPADDSB", "VPADDSW", "VPADDUSB", "VPADDUSW",
   217          "VPHADDW", "VPHADDD", "VPHADDSW",
   218          "VPSUBB", "VPSUBW", "VPSUBD", "VPSUBQ", "VPSUBSB", "VPSUBSW", "VPSUBUSB", "VPSUBUSW",
   219          "VPHSUBW", "VPHSUBD", "VPHSUBSW",
   220          "VPMAXSB", "VPMAXSW", "VPMAXSD", "VPMAXSQ",
   221          "VPMAXUB", "VPMAXUW", "VPMAXUD", "VPMAXUQ",
   222          "VPMINSB", "VPMINSW", "VPMINSD", "VPMINSQ",
   223          "VPMINUB", "VPMINUW", "VPMINUD", "VPMINUQ",
   224          "VPSLLW", "VPSLLD", "VPSLLQ",
   225          "VPSRLW", "VPSRLD", "VPSRLQ",
   226          "VPSRAW", "VPSRAD", "VPSRAQ",
   227          "VPROLD", "VPROLQ", "VPRORD", "VPRORQ",
   228          "VPSLLVW", "VPSLLVD", "VPSLLVQ",
   229          "VPSRLVW", "VPSRLVD", "VPSRLVQ",
   230          "VPSRAVW", "VPSRAVD", "VPSRAVQ",
   231          "VPROLVD", "VPROLVQ", "VPRORVD", "VPRORVQ",
   232          "VPMULLW", "VPMULHW", "VPMULHUW", "VPMULLD", "VPMULLQ", "VPMULDQ", "VPMULUDQ",
   233          "VPMULHRSW", "VPMADDWD", "VPMADDUBSW",
   234          "VPMADD52LUQ", "VPMADD52HUQ",
   235          "VPAVGB", "VPAVGW",
   236          "VPSADBW", "VMPSADBW", "VDBPSADBW", "VPHMINPOSUW",
   237          "VPCMPEQB", "VPCMPEQW", "VPCMPEQD", "VPCMPEQQ",
   238          "VPCMPGTB", "VPCMPGTW", "VPCMPGTD", "VPCMPGTQ",
   239          "VPCMPB", "VPCMPW", "VPCMPD", "VPCMPQ",
   240          "VPCMPUB", "VPCMPUW", "VPCMPUD", "VPCMPUQ",
   241          "VPABSB", "VPABSW", "VPABSD", "VPABSQ", "VPSIGNB", "VPSIGNW", "VPSIGND",
   242          "VPAND", "VPANDD", "VPANDQ",
   243          "VPANDN", "VPANDND", "VPANDNQ",
   244          "VPOR", "VPORD", "VPORQ",
   245          "VPXOR", "VPXORD", "VPXORQ",
   246          "VPTERNLOGD", "VPTERNLOGQ",
   247          "VPBLENDW", "VPBLENDVB", "VPBLENDD",
   248          "VPBLENDMB", "VPBLENDMW", "VPBLENDMD", "VPBLENDMQ",
   249          "VPUNPCKLBW", "VPUNPCKLWD", "VPUNPCKLDQ", "VPUNPCKLQDQ",
   250          "VPUNPCKHBW", "VPUNPCKHWD", "VPUNPCKHDQ", "VPUNPCKHQDQ",
   251          "VPACKSSWB", "VPACKSSDW", "VPACKUSWB", "VPACKUSDW",
   252          "VPSHUFB", "VPSHUFLW", "VPSHUFHW", "VPSHUFD",
   253          "VPERMB", "VPERMW", "VPERMD", "VPERMQ",
   254          "VPERMT2B", "VPERMT2W", "VPERMT2D", "VPERMT2Q",
   255          "VPERMI2B", "VPERMI2W", "VPERMI2D", "VPERMI2Q",
   256          "VPSLLDQ", "VPSRLDQ", "VPALIGNR", "VALIGND", "VALIGNQ", "VPMULTISHIFTQB",
   257          "VPOPCNTD", "VPOPCNTQ",
   258  
   259          "VPCMPESTRI", "VPCMPESTRM", "VPCMPISTRI", "VPCMPISTRM",
   260  
   261          "VCVTSS2SI", "VCVTSS2USI", "VCVTTSS2SI", "VCVTTSS2USI", "VCVTSI2SS", "VCVTUSI2SS",
   262          "VCVTSD2SI", "VCVTSD2USI", "VCVTTSD2SI", "VCVTTSD2USI", "VCVTSI2SD", "VCVTUSI2SD",
   263          "VCVTPS2DQ", "VCVTPS2UDQ", "VCVTTPS2DQ", "VCVTTPS2UDQ", "VCVTDQ2PS", "VCVTUDQ2PS",
   264          "VCVTPS2QQ", "VCVTPS2UQQ", "VCVTTPS2QQ", "VCVTTPS2UQQ", "VCVTQQ2PS", "VCVTUQQ2PS",
   265          "VCVTPD2DQ", "VCVTPD2UDQ", "VCVTTPD2DQ", "VCVTTPD2UDQ", "VCVTDQ2PD", "VCVTUDQ2PD",
   266          "VCVTPD2QQ", "VCVTPD2UQQ", "VCVTTPD2QQ", "VCVTTPD2UQQ", "VCVTQQ2PD", "VCVTUQQ2PD",
   267          "VCVTSD2SS", "VCVTSS2SD",
   268          "VCVTPD2PS", "VCVTPS2PD",
   269          "VCVTPS2PH", "VCVTPH2PS",
   270  
   271          "VBROADCASTF128", "VBROADCASTI128",
   272          "VBROADCASTF32X2", "VBROADCASTI32X2",
   273          "VBROADCASTF32X4", "VBROADCASTI32X4",
   274          "VBROADCASTF32X8", "VBROADCASTI32X8",
   275          "VBROADCASTF64X2", "VBROADCASTI64X2",
   276          "VBROADCASTF64X4", "VBROADCASTI64X4",
   277          "VEXTRACTF128", "VEXTRACTI128",
   278          "VEXTRACTF32X4", "VEXTRACTI32X4",
   279          "VEXTRACTF32X8", "VEXTRACTI32X8",
   280          "VEXTRACTF64X2", "VEXTRACTI64X2",
   281          "VEXTRACTF64X4", "VEXTRACTI64X4",
   282          "VINSERTF128", "VINSERTI128",
   283          "VINSERTF32X4", "VINSERTI32X4",
   284          "VINSERTF32X8", "VINSERTI32X8",
   285          "VINSERTF64X2", "VINSERTI64X2",
   286          "VINSERTF64X4", "VINSERTI64X4",
   287          "VPERM2F128", "VPERM2I128",
   288          "VSHUFF32X4", "VSHUFI32X4",
   289          "VSHUFF64X2", "VSHUFI64X2",
   290  
   291          "VPMOVB2M", "VPMOVW2M", "VPMOVD2M", "VPMOVQ2M",
   292          "VPMOVM2B", "VPMOVM2W", "VPMOVM2D", "VPMOVM2Q",
   293          "VPBROADCASTMB2Q", "VPBROADCASTMW2D",
   294          "VPTESTMB", "VPTESTMW", "VPTESTMD", "VPTESTMQ",
   295          "VPTESTNMB", "VPTESTNMW", "VPTESTNMD", "VPTESTNMQ",
   296  
   297          "VLDMXCSR", "VSTMXCSR",
   298          "VZEROUPPER", "VZEROALL"
   299      ],
   300      "fma": [
   301          "VFMADD132SS",  "VFMADD213SS",  "VFMADD231SS",  "VFMADDSS",
   302          "VFMSUB132SS",  "VFMSUB213SS",  "VFMSUB231SS",  "VFMSUBSS",
   303          "VFNMADD132SS", "VFNMADD213SS", "VFNMADD231SS", "VFNMADDSS",
   304          "VFNMSUB132SS", "VFNMSUB213SS", "VFNMSUB231SS", "VFNMSUBSS",
   305  
   306          "VFMADD132SD",  "VFMADD213SD",  "VFMADD231SD",  "VFMADDSD",
   307          "VFMSUB132SD",  "VFMSUB213SD",  "VFMSUB231SD",  "VFMSUBSD",
   308          "VFNMADD132SD", "VFNMADD213SD", "VFNMADD231SD", "VFNMADDSD",
   309          "VFNMSUB132SD", "VFNMSUB213SD", "VFNMSUB231SD", "VFNMSUBSD",
   310  
   311          "VFMADD132PS",  "VFMADD213PS",  "VFMADD231PS",  "VFMADDPS",
   312          "VFMSUB132PS",  "VFMSUB213PS",  "VFMSUB231PS",  "VFMSUBPS",
   313          "VFNMADD132PS", "VFNMADD213PS", "VFNMADD231PS", "VFNMADDPS",
   314          "VFNMSUB132PS", "VFNMSUB213PS", "VFNMSUB231PS", "VFNMSUBPS",
   315  
   316          "VFMADD132PD",  "VFMADD213PD",  "VFMADD231PD",  "VFMADDPD",
   317          "VFMSUB132PD",  "VFMSUB213PD",  "VFMSUB231PD",  "VFMSUBPD",
   318          "VFNMADD132PD", "VFNMADD213PD", "VFNMADD231PD", "VFNMADDPD",
   319          "VFNMSUB132PD", "VFNMSUB213PD", "VFNMSUB231PD", "VFNMSUBPD",
   320  
   321          "VFMADDSUB132PS", "VFMADDSUB213PS", "VFMADDSUB231PS", "VFMADDSUBPS",
   322          "VFMSUBADD132PS", "VFMSUBADD213PS", "VFMSUBADD231PS", "VFMSUBADDPS",
   323  
   324          "VFMADDSUB132PD", "VFMADDSUB213PD", "VFMADDSUB231PD", "VFMADDSUBPD",
   325          "VFMSUBADD132PD", "VFMSUBADD213PD", "VFMSUBADD231PD", "VFMSUBADDPD"
   326      ],
   327      "crypto": [
   328          "AESDEC", "AESDECLAST", "AESENC", "AESENCLAST", "AESIMC", "AESKEYGENASSIST",
   329          "VAESDEC", "VAESDECLAST", "VAESENC", "VAESENCLAST", "VAESIMC", "VAESKEYGENASSIST",
   330  
   331          "SHA1MSG1", "SHA1MSG2", "SHA1NEXTE", "SHA1RNDS4", "SHA256MSG1", "SHA256MSG2", "SHA256RNDS2",
   332  
   333          "PCLMULQDQ", "VPCLMULQDQ",
   334  
   335          "RDRAND", "RDSEED"
   336      ],
   337      "mask": [
   338          "KADDB",  "KADDW",  "KADDD",  "KADDQ",
   339          "KANDB",  "KANDW",  "KANDD",  "KANDQ",
   340          "KANDNB", "KANDNW", "KANDND", "KANDNQ",
   341          "KORB",   "KORW",   "KORD",   "KORQ",
   342          "KXNORB", "KXNORW", "KXNORD", "KXNORQ",
   343          "KXORB",  "KXORW",  "KXORD",  "KXORQ",
   344          "KMOVB",  "KMOVW",  "KMOVD",  "KMOVQ",
   345          "KNOTB",  "KNOTW",  "KNOTD",  "KNOTQ",
   346          "KUNPCKBW", "KUNPCKWD", "KUNPCKDQ",
   347          "KTESTB", "KTESTW", "KTESTD", "KTESTQ",
   348          "KORTESTB", "KORTESTW", "KORTESTD", "KORTESTQ",
   349          "KSHIFTLB", "KSHIFTLW", "KSHIFTLD", "KSHIFTLQ",
   350          "KSHIFTRB", "KSHIFTRW", "KSHIFTRD", "KSHIFTRQ"
   351      ],
   352      "amd": [
   353          "PAVGUSB", "PMULHRW",
   354          "PF2ID", "PF2IW", "PI2FW", "PI2FD",
   355          "PFADD", "PFSUB", "PFSUBR", "PFMUL", "PFMAX", "PFMIN",
   356          "PFACC", "PFNACC", "PFPNACC", "PSWAPD",
   357          "PFCMPEQ", "PFCMPGT", "PFCMPGE",
   358          "PFRCP", "PFRCPIT1", "PFRCPIT2", "PFRSQRT", "PFRSQIT1",
   359          "FEMMS",
   360  
   361          "MOVNTSS", "MOVNTSD",
   362          "INSERTQ", "EXTRQ",
   363  
   364          "VPPERM", "VPCMOV",
   365          "VPROTB", "VPROTW", "VPROTD", "VPROTQ",
   366          "VPSHAB", "VPSHAW", "VPSHAD", "VPSHAQ",
   367          "VPSHLB", "VPSHLW", "VPSHLD", "VPSHLQ",
   368          "VPCOMB", "VPCOMW", "VPCOMD", "VPCOMQ",
   369          "VPCOMUB", "VPCOMUW", "VPCOMUD", "VPCOMUQ",
   370          "VPHADDBW", "VPHADDBD", "VPHADDBQ", "VPHADDWD", "VPHADDWQ", "VPHADDDQ",
   371          "VPHADDUBW", "VPHADDUBD", "VPHADDUBQ", "VPHADDUWD", "VPHADDUWQ", "VPHADDUDQ",
   372          "VPHSUBBW", "VPHSUBWD", "VPHSUBDQ",
   373          "VPMACSDQH", "VPMACSDQL", "VPMACSDD", "VPMACSWD", "VPMACSWW", "VPMADCSWD",
   374          "VPMACSSDD", "VPMACSSDQH", "VPMACSSDQL", "VPMACSSWD", "VPMACSSWW", "VPMADCSSWD",
   375          "VFRCZSS", "VFRCZSD", "VFRCZPS", "VFRCZPD",
   376          "VPERMIL2PD", "VPERMIL2PS"
   377      ]
   378  }