{-# OPTIONS_HADDOCK prune #-}
{-# LANGUAGE OverloadedStrings #-}

-- |
-- Module: Vestigia.Contract.Intel
-- Copyright: (c) 2026 Jared Tobin
-- License: MIT
-- Maintainer: Jared Tobin <jared@ppad.tech>
--
-- Intel's data-operand-independent-timing contract (DOITM), row by
-- row, transcribed from Intel's list.
--
-- == Source
--
-- Intel, /Data Operand Independent Timing Instructions/, document ID
-- 768547, updated 2026-02-23, Table 1 \"Documented Data Operand
-- Independent Timing Instructions\" (840 mnemonic\/opcode rows, 594
-- distinct mnemonics), retrieved 2026-10-27 from @www.intel.com@
-- under
-- @\/content\/www\/us\/en\/developer\/articles\/technical\/@
-- @software-security-guidance\/resources\/@, saved from a browser
-- (the host refuses automated retrieval; sha256 of the page as saved
-- @0f67179a44c9f872ab240c3363ee664340beea36ce4a07cbfe1a34cc7adb6a10@).
-- The revision of 2023-02-28, as the Internet Archive kept it through
-- 2025-11-13, lacks BSWAP, CQO, MOVAPS, MOVSS, MOVUPS, ROL, ROR,
-- RORX, SHLD, SHRD, and XORPS; this one adds them and drops none.
--
-- == Rule
--
-- A row names a mnemonic and an opcode byte: the instruction's last
-- opcode byte, after any prefixes, VEX or EVEX payload, and escape
-- bytes. The list's own preface reads:
--
-- > The table below lists instructions that have data-independent
-- > timing. [...] Note that these data operand independent timing
-- > instructions may have variable latency for reasons unrelated to
-- > the data values (for example, loading data from memory or the
-- > encoding of the instruction).
--
-- The @REP_@ rows carry a footnote, \"These REP_ instructions'
-- latency varies based on the loop count (*CX)\", whose marker is
-- dropped from their names here: a count that depends on the secret
-- repeats the instruction a different number of times, which is
-- control flow.

module Vestigia.Contract.Intel (
    instructions
  ) where

import qualified Data.Text as T
import Data.Word (Word8)

-- | Every row: a mnemonic, as the list spells it, and an opcode byte.
instructions :: [(T.Text, Word8)]
instructions :: [(Text, Word8)]
instructions =
  [ (Text
"ADC", Word8
0x10), (Text
"ADC", Word8
0x11), (Text
"ADC", Word8
0x12), (Text
"ADC", Word8
0x13), (Text
"ADC", Word8
0x14)
  , (Text
"ADC", Word8
0x15), (Text
"ADC", Word8
0x80), (Text
"ADC", Word8
0x81), (Text
"ADC", Word8
0x82), (Text
"ADC", Word8
0x83)
  , (Text
"ADCX", Word8
0xf6), (Text
"ADD", Word8
0x00), (Text
"ADD", Word8
0x01), (Text
"ADD", Word8
0x02), (Text
"ADD", Word8
0x03)
  , (Text
"ADD", Word8
0x04), (Text
"ADD", Word8
0x05), (Text
"ADD", Word8
0x80), (Text
"ADD", Word8
0x81), (Text
"ADD", Word8
0x82)
  , (Text
"ADD", Word8
0x83), (Text
"ADOX", Word8
0xf6), (Text
"AESDEC", Word8
0xde), (Text
"AESDECLAST", Word8
0xdf)
  , (Text
"AESENC", Word8
0xdc), (Text
"AESENCLAST", Word8
0xdd), (Text
"AESIMC", Word8
0xdb)
  , (Text
"AESKEYGENASSIST", Word8
0xdf), (Text
"AND", Word8
0x20), (Text
"AND", Word8
0x21), (Text
"AND", Word8
0x22)
  , (Text
"AND", Word8
0x23), (Text
"AND", Word8
0x24), (Text
"AND", Word8
0x25), (Text
"AND", Word8
0x80), (Text
"AND", Word8
0x81)
  , (Text
"AND", Word8
0x82), (Text
"AND", Word8
0x83), (Text
"ANDN", Word8
0xf2), (Text
"BSWAP", Word8
0xc8)
  , (Text
"BSWAP", Word8
0xc9), (Text
"BSWAP", Word8
0xca), (Text
"BSWAP", Word8
0xcb), (Text
"BSWAP", Word8
0xcc)
  , (Text
"BSWAP", Word8
0xcd), (Text
"BSWAP", Word8
0xce), (Text
"BSWAP", Word8
0xcf), (Text
"BT", Word8
0xa3)
  , (Text
"BT", Word8
0xba), (Text
"BTC", Word8
0xba), (Text
"BTC", Word8
0xbb), (Text
"BTR", Word8
0xb3), (Text
"BTR", Word8
0xba)
  , (Text
"BTS", Word8
0xab), (Text
"BTS", Word8
0xba), (Text
"CMOVB", Word8
0x42), (Text
"CMOVBE", Word8
0x46)
  , (Text
"CMOVL", Word8
0x4c), (Text
"CMOVLE", Word8
0x4e), (Text
"CMOVNB", Word8
0x43), (Text
"CMOVNBE", Word8
0x47)
  , (Text
"CMOVNL", Word8
0x4d), (Text
"CMOVNLE", Word8
0x4f), (Text
"CMOVNO", Word8
0x41), (Text
"CMOVNP", Word8
0x4b)
  , (Text
"CMOVNS", Word8
0x49), (Text
"CMOVNZ", Word8
0x45), (Text
"CMOVO", Word8
0x40), (Text
"CMOVP", Word8
0x4a)
  , (Text
"CMOVS", Word8
0x48), (Text
"CMOVZ", Word8
0x44), (Text
"CMP", Word8
0x38), (Text
"CMP", Word8
0x39)
  , (Text
"CMP", Word8
0x3a), (Text
"CMP", Word8
0x3b), (Text
"CMP", Word8
0x3c), (Text
"CMP", Word8
0x3d), (Text
"CMP", Word8
0x80)
  , (Text
"CMP", Word8
0x81), (Text
"CMP", Word8
0x82), (Text
"CMP", Word8
0x83), (Text
"CQO", Word8
0x99), (Text
"DEC", Word8
0x48)
  , (Text
"DEC", Word8
0x49), (Text
"DEC", Word8
0x4a), (Text
"DEC", Word8
0x4b), (Text
"DEC", Word8
0x4c), (Text
"DEC", Word8
0x4d)
  , (Text
"DEC", Word8
0x4e), (Text
"DEC", Word8
0x4f), (Text
"DEC", Word8
0xfe), (Text
"DEC", Word8
0xff)
  , (Text
"GF2P8AFFINEINVQB", Word8
0xcf), (Text
"GF2P8AFFINEQB", Word8
0xce), (Text
"GF2P8MULB", Word8
0xcf)
  , (Text
"IMUL", Word8
0x69), (Text
"IMUL", Word8
0x6b), (Text
"IMUL", Word8
0xaf), (Text
"IMUL", Word8
0xf6)
  , (Text
"IMUL", Word8
0xf7), (Text
"INC", Word8
0x40), (Text
"INC", Word8
0x41), (Text
"INC", Word8
0x42), (Text
"INC", Word8
0x43)
  , (Text
"INC", Word8
0x44), (Text
"INC", Word8
0x45), (Text
"INC", Word8
0x46), (Text
"INC", Word8
0x47), (Text
"INC", Word8
0xfe)
  , (Text
"INC", Word8
0xff), (Text
"KADDB", Word8
0x4a), (Text
"KADDD", Word8
0x4a), (Text
"KADDQ", Word8
0x4a)
  , (Text
"KADDW", Word8
0x4a), (Text
"KANDB", Word8
0x41), (Text
"KANDD", Word8
0x41), (Text
"KANDNB", Word8
0x42)
  , (Text
"KANDND", Word8
0x42), (Text
"KANDNQ", Word8
0x42), (Text
"KANDNW", Word8
0x42), (Text
"KANDQ", Word8
0x41)
  , (Text
"KANDW", Word8
0x41), (Text
"KMOVB", Word8
0x90), (Text
"KMOVB", Word8
0x91), (Text
"KMOVB", Word8
0x92)
  , (Text
"KMOVB", Word8
0x93), (Text
"KMOVD", Word8
0x90), (Text
"KMOVD", Word8
0x91), (Text
"KMOVD", Word8
0x92)
  , (Text
"KMOVD", Word8
0x93), (Text
"KMOVQ", Word8
0x90), (Text
"KMOVQ", Word8
0x91), (Text
"KMOVQ", Word8
0x92)
  , (Text
"KMOVQ", Word8
0x93), (Text
"KMOVW", Word8
0x90), (Text
"KMOVW", Word8
0x91), (Text
"KMOVW", Word8
0x92)
  , (Text
"KMOVW", Word8
0x93), (Text
"KNOTB", Word8
0x44), (Text
"KNOTD", Word8
0x44), (Text
"KNOTQ", Word8
0x44)
  , (Text
"KNOTW", Word8
0x44), (Text
"KORB", Word8
0x45), (Text
"KORD", Word8
0x45), (Text
"KORQ", Word8
0x45)
  , (Text
"KORTESTB", Word8
0x98), (Text
"KORTESTD", Word8
0x98), (Text
"KORTESTQ", Word8
0x98)
  , (Text
"KORTESTW", Word8
0x98), (Text
"KORW", Word8
0x45), (Text
"KSHIFTLB", Word8
0x32), (Text
"KSHIFTLD", Word8
0x33)
  , (Text
"KSHIFTLQ", Word8
0x33), (Text
"KSHIFTLW", Word8
0x32), (Text
"KSHIFTRB", Word8
0x30)
  , (Text
"KSHIFTRD", Word8
0x31), (Text
"KSHIFTRQ", Word8
0x31), (Text
"KSHIFTRW", Word8
0x30)
  , (Text
"KTESTB", Word8
0x99), (Text
"KTESTD", Word8
0x99), (Text
"KTESTQ", Word8
0x99), (Text
"KTESTW", Word8
0x99)
  , (Text
"KUNPCKBW", Word8
0x4b), (Text
"KUNPCKDQ", Word8
0x4b), (Text
"KUNPCKWD", Word8
0x4b)
  , (Text
"KXNORB", Word8
0x46), (Text
"KXNORD", Word8
0x46), (Text
"KXNORQ", Word8
0x46), (Text
"KXNORW", Word8
0x46)
  , (Text
"KXORB", Word8
0x47), (Text
"KXORD", Word8
0x47), (Text
"KXORQ", Word8
0x47), (Text
"KXORW", Word8
0x47)
  , (Text
"LDDQU", Word8
0xf0), (Text
"LEA", Word8
0x8d), (Text
"MOV", Word8
0x88), (Text
"MOV", Word8
0x89), (Text
"MOV", Word8
0x8a)
  , (Text
"MOV", Word8
0x8b), (Text
"MOV", Word8
0xa0), (Text
"MOV", Word8
0xa1), (Text
"MOV", Word8
0xa2), (Text
"MOV", Word8
0xa3)
  , (Text
"MOV", Word8
0xb0), (Text
"MOV", Word8
0xb1), (Text
"MOV", Word8
0xb2), (Text
"MOV", Word8
0xb3), (Text
"MOV", Word8
0xb4)
  , (Text
"MOV", Word8
0xb5), (Text
"MOV", Word8
0xb6), (Text
"MOV", Word8
0xb7), (Text
"MOV", Word8
0xb8), (Text
"MOV", Word8
0xb9)
  , (Text
"MOV", Word8
0xba), (Text
"MOV", Word8
0xbb), (Text
"MOV", Word8
0xbc), (Text
"MOV", Word8
0xbd), (Text
"MOV", Word8
0xbe)
  , (Text
"MOV", Word8
0xbf), (Text
"MOV", Word8
0xc6), (Text
"MOV", Word8
0xc7), (Text
"MOVAPS", Word8
0x28)
  , (Text
"MOVAPS", Word8
0x29), (Text
"MOVD", Word8
0x6e), (Text
"MOVD", Word8
0x7e), (Text
"MOVDDUP", Word8
0x12)
  , (Text
"MOVDQ2Q", Word8
0xd6), (Text
"MOVDQA", Word8
0x6f), (Text
"MOVDQA", Word8
0x7f), (Text
"MOVDQU", Word8
0x6f)
  , (Text
"MOVDQU", Word8
0x7f), (Text
"MOVNTDQ", Word8
0xe7), (Text
"MOVNTDQA", Word8
0x2a), (Text
"MOVQ", Word8
0x6e)
  , (Text
"MOVQ", Word8
0x7e), (Text
"MOVQ", Word8
0xd6), (Text
"MOVSB", Word8
0xa4), (Text
"MOVSD", Word8
0xa5)
  , (Text
"MOVSHDUP", Word8
0x16), (Text
"MOVSLDUP", Word8
0x12), (Text
"MOVSQ", Word8
0xa5), (Text
"MOVSS", Word8
0x10)
  , (Text
"MOVSS", Word8
0x11), (Text
"MOVSW", Word8
0xa5), (Text
"MOVSX", Word8
0xbe), (Text
"MOVSX", Word8
0xbf)
  , (Text
"MOVSXD", Word8
0x63), (Text
"MOVUPS", Word8
0x10), (Text
"MOVUPS", Word8
0x11), (Text
"MOVZX", Word8
0xb6)
  , (Text
"MOVZX", Word8
0xb7), (Text
"MPSADBW", Word8
0x42), (Text
"MUL", Word8
0xf6), (Text
"MUL", Word8
0xf7)
  , (Text
"MULX", Word8
0xf6), (Text
"NEG", Word8
0xf6), (Text
"NEG", Word8
0xf7), (Text
"NOT", Word8
0xf6), (Text
"NOT", Word8
0xf7)
  , (Text
"OR", Word8
0x08), (Text
"OR", Word8
0x80), (Text
"OR", Word8
0x81), (Text
"OR", Word8
0x82), (Text
"OR", Word8
0x83)
  , (Text
"OR", Word8
0x09), (Text
"OR", Word8
0x0a), (Text
"OR", Word8
0x0b), (Text
"OR", Word8
0x0c), (Text
"OR", Word8
0x0d)
  , (Text
"PABSB", Word8
0x1c), (Text
"PABSD", Word8
0x1e), (Text
"PABSW", Word8
0x1d), (Text
"PACKSSDW", Word8
0x6b)
  , (Text
"PACKSSWB", Word8
0x63), (Text
"PACKUSDW", Word8
0x2b), (Text
"PACKUSWB", Word8
0x67), (Text
"PADDB", Word8
0xfc)
  , (Text
"PADDD", Word8
0xfe), (Text
"PADDQ", Word8
0xd4), (Text
"PADDSB", Word8
0xec), (Text
"PADDSW", Word8
0xed)
  , (Text
"PADDUSB", Word8
0xdc), (Text
"PADDUSW", Word8
0xdd), (Text
"PADDW", Word8
0xfd), (Text
"PALIGNR", Word8
0x0f)
  , (Text
"PAND", Word8
0xdb), (Text
"PANDN", Word8
0xdf), (Text
"PAVGB", Word8
0xe0), (Text
"PAVGW", Word8
0xe3)
  , (Text
"PBLENDVB", Word8
0x10), (Text
"PBLENDW", Word8
0x0e), (Text
"PCLMULQDQ", Word8
0x44)
  , (Text
"PCMPEQB", Word8
0x74), (Text
"PCMPEQD", Word8
0x76), (Text
"PCMPEQQ", Word8
0x29), (Text
"PCMPEQW", Word8
0x75)
  , (Text
"PCMPGTB", Word8
0x64), (Text
"PCMPGTD", Word8
0x66), (Text
"PCMPGTQ", Word8
0x37), (Text
"PCMPGTW", Word8
0x65)
  , (Text
"PEXTRB", Word8
0x14), (Text
"PEXTRD", Word8
0x16), (Text
"PEXTRQ", Word8
0x16), (Text
"PEXTRW", Word8
0x15)
  , (Text
"PEXTRW", Word8
0xc5), (Text
"PHADDD", Word8
0x02), (Text
"PHADDSW", Word8
0x03), (Text
"PHADDW", Word8
0x01)
  , (Text
"PHMINPOSUW", Word8
0x41), (Text
"PHSUBD", Word8
0x06), (Text
"PHSUBSW", Word8
0x07), (Text
"PHSUBW", Word8
0x05)
  , (Text
"PINSRB", Word8
0x20), (Text
"PINSRD", Word8
0x22), (Text
"PINSRQ", Word8
0x22), (Text
"PINSRW", Word8
0xc4)
  , (Text
"PMADDUBSW", Word8
0x04), (Text
"PMADDWD", Word8
0xf5), (Text
"PMAXSB", Word8
0x3c), (Text
"PMAXSW", Word8
0xee)
  , (Text
"PMAXUB", Word8
0xde), (Text
"PMAXUD", Word8
0x3f), (Text
"PMAXUW", Word8
0x3e), (Text
"PMINSB", Word8
0x38)
  , (Text
"PMINSW", Word8
0xea), (Text
"PMINUB", Word8
0xda), (Text
"PMINUD", Word8
0x3b), (Text
"PMINUW", Word8
0x3a)
  , (Text
"PMOVMSKB", Word8
0xd7), (Text
"PMOVSXBD", Word8
0x21), (Text
"PMOVSXBQ", Word8
0x22)
  , (Text
"PMOVSXBW", Word8
0x20), (Text
"PMOVSXDQ", Word8
0x25), (Text
"PMOVSXWD", Word8
0x23)
  , (Text
"PMOVSXWQ", Word8
0x24), (Text
"PMOVZXBD", Word8
0x31), (Text
"PMOVZXBQ", Word8
0x32)
  , (Text
"PMOVZXBW", Word8
0x30), (Text
"PMOVZXDQ", Word8
0x35), (Text
"PMOVZXWD", Word8
0x33)
  , (Text
"PMOVZXWQ", Word8
0x34), (Text
"PMULDQ", Word8
0x28), (Text
"PMULHRSW", Word8
0x0b), (Text
"PMULHUW", Word8
0xe4)
  , (Text
"PMULHW", Word8
0xe5), (Text
"PMULLD", Word8
0x40), (Text
"PMULLW", Word8
0xd5), (Text
"PMULUDQ", Word8
0xf4)
  , (Text
"POP", Word8
0x58), (Text
"POP", Word8
0x59), (Text
"POP", Word8
0x5a), (Text
"POP", Word8
0x5b), (Text
"POP", Word8
0x5c)
  , (Text
"POP", Word8
0x5d), (Text
"POP", Word8
0x5e), (Text
"POP", Word8
0x5f), (Text
"POP", Word8
0x8f), (Text
"POR", Word8
0xeb)
  , (Text
"PSADBW", Word8
0xf6), (Text
"PSHUFB", Word8
0x00), (Text
"PSHUFD", Word8
0x70), (Text
"PSHUFHW", Word8
0x70)
  , (Text
"PSHUFLW", Word8
0x70), (Text
"PSIGNB", Word8
0x08), (Text
"PSIGND", Word8
0x0a), (Text
"PSIGNW", Word8
0x09)
  , (Text
"PSLLD", Word8
0x72), (Text
"PSLLD", Word8
0xf2), (Text
"PSLLDQ", Word8
0x73), (Text
"PSLLQ", Word8
0x73)
  , (Text
"PSLLQ", Word8
0xf3), (Text
"PSLLW", Word8
0x71), (Text
"PSLLW", Word8
0xf1), (Text
"PSRAD", Word8
0x72)
  , (Text
"PSRAD", Word8
0xe2), (Text
"PSRAW", Word8
0x71), (Text
"PSRAW", Word8
0xe1), (Text
"PSRLD", Word8
0x72)
  , (Text
"PSRLD", Word8
0xd2), (Text
"PSRLDQ", Word8
0x73), (Text
"PSRLQ", Word8
0x73), (Text
"PSRLQ", Word8
0xd3)
  , (Text
"PSRLW", Word8
0x71), (Text
"PSRLW", Word8
0xd1), (Text
"PSUBB", Word8
0xf8), (Text
"PSUBD", Word8
0xfa)
  , (Text
"PSUBQ", Word8
0xfb), (Text
"PSUBSB", Word8
0xe8), (Text
"PSUBSW", Word8
0xe9), (Text
"PSUBUSB", Word8
0xd8)
  , (Text
"PSUBUSW", Word8
0xd9), (Text
"PSUBW", Word8
0xf9), (Text
"PTEST", Word8
0x17), (Text
"PUNPCKHBW", Word8
0x68)
  , (Text
"PUNPCKHDQ", Word8
0x6a), (Text
"PUNPCKHQDQ", Word8
0x6d), (Text
"PUNPCKHWD", Word8
0x69)
  , (Text
"PUNPCKLBW", Word8
0x60), (Text
"PUNPCKLDQ", Word8
0x62), (Text
"PUNPCKLQDQ", Word8
0x6c)
  , (Text
"PUNPCKLWD", Word8
0x61), (Text
"PUSH", Word8
0x50), (Text
"PUSH", Word8
0x51), (Text
"PUSH", Word8
0x52)
  , (Text
"PUSH", Word8
0x53), (Text
"PUSH", Word8
0x54), (Text
"PUSH", Word8
0x55), (Text
"PUSH", Word8
0x56)
  , (Text
"PUSH", Word8
0x57), (Text
"PUSH", Word8
0x68), (Text
"PUSH", Word8
0x6a), (Text
"PUSH", Word8
0xff)
  , (Text
"PXOR", Word8
0xef), (Text
"REP_MOVSB", Word8
0xa4), (Text
"REP_MOVSD", Word8
0xa5)
  , (Text
"REP_MOVSW", Word8
0xa5), (Text
"REP_STOSB", Word8
0xaa), (Text
"REP_STOSD", Word8
0xab)
  , (Text
"REP_STOSW", Word8
0xab), (Text
"ROL", Word8
0xc0), (Text
"ROL", Word8
0xc1), (Text
"ROL", Word8
0xd0)
  , (Text
"ROL", Word8
0xd1), (Text
"ROL", Word8
0xd2), (Text
"ROL", Word8
0xd3), (Text
"ROR", Word8
0xc0), (Text
"ROR", Word8
0xc1)
  , (Text
"ROR", Word8
0xd0), (Text
"ROR", Word8
0xd1), (Text
"ROR", Word8
0xd2), (Text
"ROR", Word8
0xd3), (Text
"RORX", Word8
0xf0)
  , (Text
"SAR", Word8
0xc0), (Text
"SAR", Word8
0xc1), (Text
"SAR", Word8
0xd0), (Text
"SAR", Word8
0xd1), (Text
"SAR", Word8
0xd2)
  , (Text
"SAR", Word8
0xd3), (Text
"SBB", Word8
0x18), (Text
"SBB", Word8
0x19), (Text
"SBB", Word8
0x1a), (Text
"SBB", Word8
0x1b)
  , (Text
"SBB", Word8
0x1c), (Text
"SBB", Word8
0x1d), (Text
"SBB", Word8
0x80), (Text
"SBB", Word8
0x81), (Text
"SBB", Word8
0x82)
  , (Text
"SBB", Word8
0x83), (Text
"SETB", Word8
0x92), (Text
"SETBE", Word8
0x96), (Text
"SETL", Word8
0x9c)
  , (Text
"SETLE", Word8
0x9e), (Text
"SETNB", Word8
0x93), (Text
"SETNBE", Word8
0x97), (Text
"SETNL", Word8
0x9d)
  , (Text
"SETNLE", Word8
0x9f), (Text
"SETNO", Word8
0x91), (Text
"SETNP", Word8
0x9b), (Text
"SETNS", Word8
0x99)
  , (Text
"SETNZ", Word8
0x95), (Text
"SETO", Word8
0x90), (Text
"SETP", Word8
0x9a), (Text
"SETS", Word8
0x98)
  , (Text
"SETZ", Word8
0x94), (Text
"SHA1MSG1", Word8
0xc9), (Text
"SHA1MSG2", Word8
0xca), (Text
"SHA1NEXTE", Word8
0xc8)
  , (Text
"SHA1RNDS4", Word8
0xcc), (Text
"SHA256MSG1", Word8
0xcc), (Text
"SHA256MSG2", Word8
0xcd)
  , (Text
"SHA256RNDS2", Word8
0xcb), (Text
"SHL", Word8
0xc0), (Text
"SHL", Word8
0xc1), (Text
"SHL", Word8
0xd0)
  , (Text
"SHL", Word8
0xd1), (Text
"SHL", Word8
0xd2), (Text
"SHL", Word8
0xd3), (Text
"SHLD", Word8
0x24), (Text
"SHLD", Word8
0xa4)
  , (Text
"SHLD", Word8
0xa5), (Text
"SHLX", Word8
0xf7), (Text
"SHR", Word8
0xc0), (Text
"SHR", Word8
0xc1), (Text
"SHR", Word8
0xd0)
  , (Text
"SHR", Word8
0xd1), (Text
"SHR", Word8
0xd2), (Text
"SHR", Word8
0xd3), (Text
"SHRD", Word8
0x2c), (Text
"SHRD", Word8
0xac)
  , (Text
"SHRD", Word8
0xad), (Text
"SHRX", Word8
0xf7), (Text
"SUB", Word8
0x28), (Text
"SUB", Word8
0x29), (Text
"SUB", Word8
0x2a)
  , (Text
"SUB", Word8
0x2b), (Text
"SUB", Word8
0x2c), (Text
"SUB", Word8
0x2d), (Text
"SUB", Word8
0x80), (Text
"SUB", Word8
0x81)
  , (Text
"SUB", Word8
0x82), (Text
"SUB", Word8
0x83), (Text
"TEST", Word8
0x84), (Text
"TEST", Word8
0x85)
  , (Text
"TEST", Word8
0xa8), (Text
"TEST", Word8
0xa9), (Text
"TEST", Word8
0xf6), (Text
"TEST", Word8
0xf7)
  , (Text
"VAESDEC", Word8
0xde), (Text
"VAESDECLAST", Word8
0xdf), (Text
"VAESENC", Word8
0xdc)
  , (Text
"VAESENCLAST", Word8
0xdd), (Text
"VAESIMC", Word8
0xdb), (Text
"VAESKEYGENASSIST", Word8
0xdf)
  , (Text
"VALIGND", Word8
0x03), (Text
"VALIGNQ", Word8
0x03), (Text
"VBLENDMPD", Word8
0x65)
  , (Text
"VBLENDMPS", Word8
0x65), (Text
"VBROADCASTF128", Word8
0x1a), (Text
"VBROADCASTF32X2", Word8
0x19)
  , (Text
"VBROADCASTF32X4", Word8
0x1a), (Text
"VBROADCASTF32X8", Word8
0x1b)
  , (Text
"VBROADCASTF64X2", Word8
0x1a), (Text
"VBROADCASTF64X4", Word8
0x1b)
  , (Text
"VBROADCASTI128", Word8
0x5a), (Text
"VBROADCASTI32X2", Word8
0x59)
  , (Text
"VBROADCASTI32X4", Word8
0x5a), (Text
"VBROADCASTI32X8", Word8
0x5b)
  , (Text
"VBROADCASTI64X2", Word8
0x5a), (Text
"VBROADCASTI64X4", Word8
0x5b)
  , (Text
"VBROADCASTSD", Word8
0x19), (Text
"VBROADCASTSS", Word8
0x18), (Text
"VCOMPRESSPD", Word8
0x8a)
  , (Text
"VCOMPRESSPS", Word8
0x8a), (Text
"VDBPSADBW", Word8
0x42), (Text
"VEXPANDPD", Word8
0x88)
  , (Text
"VEXPANDPS", Word8
0x88), (Text
"VEXTRACTF128", Word8
0x19), (Text
"VEXTRACTF32X4", Word8
0x19)
  , (Text
"VEXTRACTF32X8", Word8
0x1b), (Text
"VEXTRACTF64X2", Word8
0x19), (Text
"VEXTRACTF64X4", Word8
0x1b)
  , (Text
"VEXTRACTI128", Word8
0x39), (Text
"VEXTRACTI32X4", Word8
0x39), (Text
"VEXTRACTI32X8", Word8
0x3b)
  , (Text
"VEXTRACTI64X2", Word8
0x39), (Text
"VEXTRACTI64X4", Word8
0x3b)
  , (Text
"VGF2P8AFFINEINVQB", Word8
0xcf), (Text
"VGF2P8AFFINEQB", Word8
0xce), (Text
"VGF2P8MULB", Word8
0xcf)
  , (Text
"VINSERTF128", Word8
0x18), (Text
"VINSERTF32X4", Word8
0x18), (Text
"VINSERTF32X8", Word8
0x1a)
  , (Text
"VINSERTF64X2", Word8
0x18), (Text
"VINSERTF64X4", Word8
0x1a), (Text
"VINSERTI128", Word8
0x38)
  , (Text
"VINSERTI32X4", Word8
0x38), (Text
"VINSERTI32X8", Word8
0x3a), (Text
"VINSERTI64X2", Word8
0x38)
  , (Text
"VINSERTI64X4", Word8
0x3a), (Text
"VLDDQU", Word8
0xf0), (Text
"VMOVD", Word8
0x6e), (Text
"VMOVD", Word8
0x7e)
  , (Text
"VMOVDDUP", Word8
0x12), (Text
"VMOVDQA", Word8
0x6f), (Text
"VMOVDQA", Word8
0x7f)
  , (Text
"VMOVDQA32", Word8
0x6f), (Text
"VMOVDQA32", Word8
0x7f), (Text
"VMOVDQA64", Word8
0x6f)
  , (Text
"VMOVDQA64", Word8
0x7f), (Text
"VMOVDQU", Word8
0x6f), (Text
"VMOVDQU", Word8
0x7f)
  , (Text
"VMOVDQU16", Word8
0x6f), (Text
"VMOVDQU16", Word8
0x7f), (Text
"VMOVDQU32", Word8
0x6f)
  , (Text
"VMOVDQU32", Word8
0x7f), (Text
"VMOVDQU64", Word8
0x6f), (Text
"VMOVDQU64", Word8
0x7f)
  , (Text
"VMOVDQU8", Word8
0x6f), (Text
"VMOVDQU8", Word8
0x7f), (Text
"VMOVNTDQ", Word8
0xe7)
  , (Text
"VMOVNTDQA", Word8
0x2a), (Text
"VMOVQ", Word8
0x6e), (Text
"VMOVQ", Word8
0x7e), (Text
"VMOVQ", Word8
0xd6)
  , (Text
"VMOVSD", Word8
0x10), (Text
"VMOVSD", Word8
0x11), (Text
"VMOVSHDUP", Word8
0x16)
  , (Text
"VMOVSLDUP", Word8
0x12), (Text
"VMPSADBW", Word8
0x42), (Text
"VPABSB", Word8
0x1c), (Text
"VPABSD", Word8
0x1e)
  , (Text
"VPABSQ", Word8
0x1f), (Text
"VPABSW", Word8
0x1d), (Text
"VPACKSSDW", Word8
0x6b)
  , (Text
"VPACKSSWB", Word8
0x63), (Text
"VPACKUSDW", Word8
0x2b), (Text
"VPACKUSWB", Word8
0x67)
  , (Text
"VPADDB", Word8
0xfc), (Text
"VPADDD", Word8
0xfe), (Text
"VPADDQ", Word8
0xd4), (Text
"VPADDSB", Word8
0xec)
  , (Text
"VPADDSW", Word8
0xed), (Text
"VPADDUSB", Word8
0xdc), (Text
"VPADDUSW", Word8
0xdd), (Text
"VPADDW", Word8
0xfd)
  , (Text
"VPALIGNR", Word8
0x0f), (Text
"VPAND", Word8
0xdb), (Text
"VPANDD", Word8
0xdb), (Text
"VPANDN", Word8
0xdf)
  , (Text
"VPANDND", Word8
0xdf), (Text
"VPANDNQ", Word8
0xdf), (Text
"VPANDQ", Word8
0xdb), (Text
"VPAVGB", Word8
0xe0)
  , (Text
"VPAVGW", Word8
0xe3), (Text
"VPBLENDD", Word8
0x02), (Text
"VPBLENDMB", Word8
0x66)
  , (Text
"VPBLENDMD", Word8
0x64), (Text
"VPBLENDMQ", Word8
0x64), (Text
"VPBLENDMW", Word8
0x66)
  , (Text
"VPBLENDVB", Word8
0x4c), (Text
"VPBLENDW", Word8
0x0e), (Text
"VPBROADCASTB", Word8
0x78)
  , (Text
"VPBROADCASTB", Word8
0x7a), (Text
"VPBROADCASTD", Word8
0x58), (Text
"VPBROADCASTD", Word8
0x7c)
  , (Text
"VPBROADCASTMB2Q", Word8
0x2a), (Text
"VPBROADCASTMW2D", Word8
0x3a)
  , (Text
"VPBROADCASTQ", Word8
0x59), (Text
"VPBROADCASTQ", Word8
0x7c), (Text
"VPBROADCASTW", Word8
0x79)
  , (Text
"VPBROADCASTW", Word8
0x7b), (Text
"VPCLMULQDQ", Word8
0x44), (Text
"VPCMPB", Word8
0x3f)
  , (Text
"VPCMPEQB", Word8
0x74), (Text
"VPCMPEQD", Word8
0x76), (Text
"VPCMPEQQ", Word8
0x29)
  , (Text
"VPCMPEQW", Word8
0x75), (Text
"VPCMPGTB", Word8
0x64), (Text
"VPCMPGTD", Word8
0x66)
  , (Text
"VPCMPGTQ", Word8
0x37), (Text
"VPCMPGTW", Word8
0x65), (Text
"VPCMPQ", Word8
0x1f), (Text
"VPCMPUB", Word8
0x3e)
  , (Text
"VPCMPUD", Word8
0x1e), (Text
"VPCMPUQ", Word8
0x1e), (Text
"VPCMPUW", Word8
0x3e), (Text
"VPCMPW", Word8
0x3f)
  , (Text
"VPERM2F128", Word8
0x06), (Text
"VPERM2I128", Word8
0x46), (Text
"VPERMD", Word8
0x36)
  , (Text
"VPERMI2D", Word8
0x76), (Text
"VPERMI2PD", Word8
0x77), (Text
"VPERMI2PS", Word8
0x77)
  , (Text
"VPERMI2Q", Word8
0x76), (Text
"VPERMI2W", Word8
0x75), (Text
"VPERMILPD", Word8
0x05)
  , (Text
"VPERMILPD", Word8
0x0d), (Text
"VPERMILPS", Word8
0x04), (Text
"VPERMILPS", Word8
0x0c)
  , (Text
"VPERMPD", Word8
0x01), (Text
"VPERMPD", Word8
0x16), (Text
"VPERMPS", Word8
0x16), (Text
"VPERMQ", Word8
0x00)
  , (Text
"VPERMQ", Word8
0x36), (Text
"VPERMT2D", Word8
0x7e), (Text
"VPERMT2PD", Word8
0x7f)
  , (Text
"VPERMT2PS", Word8
0x7f), (Text
"VPERMT2Q", Word8
0x7e), (Text
"VPERMT2W", Word8
0x7d)
  , (Text
"VPERMW", Word8
0x8d), (Text
"VPEXTRB", Word8
0x14), (Text
"VPEXTRD", Word8
0x16), (Text
"VPEXTRQ", Word8
0x16)
  , (Text
"VPEXTRW", Word8
0x15), (Text
"VPEXTRW", Word8
0xc5), (Text
"VPHADDD", Word8
0x02), (Text
"VPHADDSW", Word8
0x03)
  , (Text
"VPHADDW", Word8
0x01), (Text
"VPHMINPOSUW", Word8
0x41), (Text
"VPHSUBD", Word8
0x06)
  , (Text
"VPHSUBSW", Word8
0x07), (Text
"VPHSUBW", Word8
0x05), (Text
"VPINSRB", Word8
0x20), (Text
"VPINSRD", Word8
0x22)
  , (Text
"VPINSRQ", Word8
0x22), (Text
"VPINSRW", Word8
0xc4), (Text
"VPLZCNTD", Word8
0x44)
  , (Text
"VPLZCNTQ", Word8
0x44), (Text
"VPMADD52HUQ", Word8
0xb5), (Text
"VPMADD52LUQ", Word8
0xb4)
  , (Text
"VPMADDUBSW", Word8
0x04), (Text
"VPMADDWD", Word8
0xf5), (Text
"VPMAXSB", Word8
0x3c)
  , (Text
"VPMAXSQ", Word8
0x3d), (Text
"VPMAXSW", Word8
0xee), (Text
"VPMAXUB", Word8
0xde), (Text
"VPMAXUD", Word8
0x3f)
  , (Text
"VPMAXUQ", Word8
0x3f), (Text
"VPMAXUW", Word8
0x3e), (Text
"VPMINSB", Word8
0x38), (Text
"VPMINSQ", Word8
0x39)
  , (Text
"VPMINSW", Word8
0xea), (Text
"VPMINUB", Word8
0xda), (Text
"VPMINUD", Word8
0x3b), (Text
"VPMINUQ", Word8
0x3b)
  , (Text
"VPMINUW", Word8
0x3a), (Text
"VPMOVB2M", Word8
0x29), (Text
"VPMOVD2M", Word8
0x39)
  , (Text
"VPMOVDB", Word8
0x31), (Text
"VPMOVDW", Word8
0x33), (Text
"VPMOVM2B", Word8
0x28)
  , (Text
"VPMOVM2D", Word8
0x38), (Text
"VPMOVM2Q", Word8
0x38), (Text
"VPMOVM2W", Word8
0x28)
  , (Text
"VPMOVMSKB", Word8
0xd7), (Text
"VPMOVQ2M", Word8
0x39), (Text
"VPMOVQB", Word8
0x32)
  , (Text
"VPMOVQD", Word8
0x35), (Text
"VPMOVQW", Word8
0x34), (Text
"VPMOVSDB", Word8
0x21)
  , (Text
"VPMOVSDW", Word8
0x23), (Text
"VPMOVSQB", Word8
0x22), (Text
"VPMOVSQD", Word8
0x25)
  , (Text
"VPMOVSQW", Word8
0x24), (Text
"VPMOVSWB", Word8
0x20), (Text
"VPMOVSXBD", Word8
0x21)
  , (Text
"VPMOVSXBQ", Word8
0x22), (Text
"VPMOVSXBW", Word8
0x20), (Text
"VPMOVSXDQ", Word8
0x25)
  , (Text
"VPMOVSXWD", Word8
0x23), (Text
"VPMOVSXWQ", Word8
0x24), (Text
"VPMOVUSDB", Word8
0x11)
  , (Text
"VPMOVUSDW", Word8
0x13), (Text
"VPMOVUSQB", Word8
0x12), (Text
"VPMOVUSQD", Word8
0x15)
  , (Text
"VPMOVUSQW", Word8
0x14), (Text
"VPMOVUSWB", Word8
0x10), (Text
"VPMOVW2M", Word8
0x29)
  , (Text
"VPMOVWB", Word8
0x30), (Text
"VPMOVZXBD", Word8
0x31), (Text
"VPMOVZXBQ", Word8
0x32)
  , (Text
"VPMOVZXBW", Word8
0x30), (Text
"VPMOVZXDQ", Word8
0x35), (Text
"VPMOVZXWD", Word8
0x33)
  , (Text
"VPMOVZXWQ", Word8
0x34), (Text
"VPMULDQ", Word8
0x28), (Text
"VPMULHRSW", Word8
0x0b)
  , (Text
"VPMULHUW", Word8
0xe4), (Text
"VPMULHW", Word8
0xe5), (Text
"VPMULLD", Word8
0x40), (Text
"VPMULLQ", Word8
0x40)
  , (Text
"VPMULLW", Word8
0xd5), (Text
"VPMULUDQ", Word8
0xf4), (Text
"VPOR", Word8
0xeb), (Text
"VPORD", Word8
0xeb)
  , (Text
"VPORQ", Word8
0xeb), (Text
"VPROLD", Word8
0x72), (Text
"VPROLQ", Word8
0x72), (Text
"VPROLVD", Word8
0x15)
  , (Text
"VPROLVQ", Word8
0x15), (Text
"VPRORD", Word8
0x72), (Text
"VPRORQ", Word8
0x72), (Text
"VPRORVD", Word8
0x14)
  , (Text
"VPRORVQ", Word8
0x14), (Text
"VPSADBW", Word8
0xf6), (Text
"VPSHLDD", Word8
0x71), (Text
"VPSHLDQ", Word8
0x71)
  , (Text
"VPSHLDVD", Word8
0x71), (Text
"VPSHLDVQ", Word8
0x71), (Text
"VPSHLDVW", Word8
0x70)
  , (Text
"VPSHLDW", Word8
0x70), (Text
"VPSHRDD", Word8
0x73), (Text
"VPSHRDQ", Word8
0x73), (Text
"VPSHRDVD", Word8
0x73)
  , (Text
"VPSHRDVQ", Word8
0x73), (Text
"VPSHRDVW", Word8
0x72), (Text
"VPSHRDW", Word8
0x72)
  , (Text
"VPSHUFB", Word8
0x00), (Text
"VPSHUFD", Word8
0x70), (Text
"VPSHUFHW", Word8
0x70)
  , (Text
"VPSHUFLW", Word8
0x70), (Text
"VPSIGNB", Word8
0x08), (Text
"VPSIGND", Word8
0x0a), (Text
"VPSIGNW", Word8
0x09)
  , (Text
"VPSLLD", Word8
0x72), (Text
"VPSLLD", Word8
0xf2), (Text
"VPSLLDQ", Word8
0x73), (Text
"VPSLLQ", Word8
0x73)
  , (Text
"VPSLLQ", Word8
0xf3), (Text
"VPSLLVD", Word8
0x47), (Text
"VPSLLVQ", Word8
0x47), (Text
"VPSLLVW", Word8
0x12)
  , (Text
"VPSLLW", Word8
0x71), (Text
"VPSLLW", Word8
0xf1), (Text
"VPSRAD", Word8
0x72), (Text
"VPSRAD", Word8
0xe2)
  , (Text
"VPSRAQ", Word8
0x72), (Text
"VPSRAQ", Word8
0xe2), (Text
"VPSRAVD", Word8
0x46), (Text
"VPSRAVQ", Word8
0x46)
  , (Text
"VPSRAVW", Word8
0x11), (Text
"VPSRAW", Word8
0x71), (Text
"VPSRAW", Word8
0xe1), (Text
"VPSRLD", Word8
0x72)
  , (Text
"VPSRLD", Word8
0xd2), (Text
"VPSRLDQ", Word8
0x73), (Text
"VPSRLQ", Word8
0x73), (Text
"VPSRLQ", Word8
0xd3)
  , (Text
"VPSRLVD", Word8
0x45), (Text
"VPSRLVQ", Word8
0x45), (Text
"VPSRLVW", Word8
0x10), (Text
"VPSRLW", Word8
0x71)
  , (Text
"VPSRLW", Word8
0xd1), (Text
"VPSUBB", Word8
0xf8), (Text
"VPSUBD", Word8
0xfa), (Text
"VPSUBQ", Word8
0xfb)
  , (Text
"VPSUBSB", Word8
0xe8), (Text
"VPSUBSW", Word8
0xe9), (Text
"VPSUBUSB", Word8
0xd8)
  , (Text
"VPSUBUSW", Word8
0xd9), (Text
"VPSUBW", Word8
0xf9), (Text
"VPTERNLOGD", Word8
0x25)
  , (Text
"VPTERNLOGQ", Word8
0x25), (Text
"VPTEST", Word8
0x17), (Text
"VPTESTMB", Word8
0x26)
  , (Text
"VPTESTMD", Word8
0x27), (Text
"VPTESTMQ", Word8
0x27), (Text
"VPTESTMW", Word8
0x26)
  , (Text
"VPTESTNMB", Word8
0x26), (Text
"VPTESTNMD", Word8
0x27), (Text
"VPTESTNMQ", Word8
0x27)
  , (Text
"VPTESTNMW", Word8
0x26), (Text
"VPUNPCKHBW", Word8
0x68), (Text
"VPUNPCKHDQ", Word8
0x6a)
  , (Text
"VPUNPCKHQDQ", Word8
0x6d), (Text
"VPUNPCKHWD", Word8
0x69), (Text
"VPUNPCKLBW", Word8
0x60)
  , (Text
"VPUNPCKLDQ", Word8
0x62), (Text
"VPUNPCKLQDQ", Word8
0x6c), (Text
"VPUNPCKLWD", Word8
0x61)
  , (Text
"VPXOR", Word8
0xef), (Text
"VPXORD", Word8
0xef), (Text
"VPXORQ", Word8
0xef), (Text
"VSHUFF32X4", Word8
0x23)
  , (Text
"VSHUFF64X2", Word8
0x23), (Text
"VSHUFI32X4", Word8
0x43), (Text
"VSHUFI64X2", Word8
0x43)
  , (Text
"VZEROALL", Word8
0x77), (Text
"VZEROUPPER", Word8
0x77), (Text
"XOR", Word8
0x30), (Text
"XOR", Word8
0x31)
  , (Text
"XOR", Word8
0x32), (Text
"XOR", Word8
0x33), (Text
"XOR", Word8
0x34), (Text
"XOR", Word8
0x35), (Text
"XOR", Word8
0x80)
  , (Text
"XOR", Word8
0x81), (Text
"XOR", Word8
0x82), (Text
"XOR", Word8
0x83), (Text
"XORPS", Word8
0x57)
  ]