path: root/test/arch/x86/arch.py

from __future__ import print_function
import time
from pdb import pm

from miasm.core.utils import decode_hex, encode_hex
import miasm.expression.expression as m2_expr
from miasm.arch.x86.arch import mn_x86, deref_mem_ad, \
    base_expr, rmarg, print_size
from miasm.arch.x86.sem import Lifter_X86_16, Lifter_X86_32, Lifter_X86_64
from miasm.core.bin_stream import bin_stream_str
from miasm.core.locationdb import LocationDB

loc_db = LocationDB()

mylabel16 = m2_expr.ExprId('mylabel16', 16)
mylabel32 = m2_expr.ExprId('mylabel32', 32)
mylabel64 = m2_expr.ExprId('mylabel64', 64)

reg_and_id = dict(mn_x86.regs.all_regs_ids_byname)
reg_and_id.update({'mylabel16': mylabel16,
                   'mylabel32': mylabel32,
                   'mylabel64': mylabel64,
                   })



def h2i(s):
    return int(encode_hex(decode_hex(s.replace(' ', ''))[::]), 16)


m16 = 16  # (16, 16)
m32 = 32  # (32, 32)
m64 = 64  # (64, 64)
reg_tests = [
    (m16, "XXXXXXXX    CPUID",
    "0fa2"),
    (m32, "XXXXXXXX    CPUID",
    "0fa2"),
    (m64, "XXXXXXXX    CPUID",
    "0fa2"),

    (m32, "XXXXXXXX    SETALC",
    "D6"),

    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EAX]",
    "0fea00"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [ECX]",
     "0fea01"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EDX]",
     "0fea02"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EBX]",
     "0fea03"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EAX + EDX * 0x4]",
     "0fea0490"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [0x90909090]",
     "0fea0590909090"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [ESI]",
     "0fea06"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EDI]",
     "0fea07"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EAX]",
     "0fea08"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [ECX]",
     "0fea09"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EDX]",
     "0fea0a"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EBX]",
     "0fea0b"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EAX + EDX * 0x4]",
     "0fea0c90"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [0x90909090]",
     "0fea0d90909090"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [ESI]",
     "0fea0e"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EDI]",
     "0fea0f"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EAX]",
     "0fea10"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [ECX]",
     "0fea11"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EDX]",
     "0fea12"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EBX]",
     "0fea13"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EAX + EDX * 0x4]",
     "0fea1490"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [0x90909090]",
     "0fea1590909090"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [ESI]",
     "0fea16"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EDI]",
     "0fea17"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EAX]",
     "0fea18"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [ECX]",
     "0fea19"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EDX]",
     "0fea1a"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EBX]",
     "0fea1b"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EAX + EDX * 0x4]",
     "0fea1c90"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [0x90909090]",
     "0fea1d90909090"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [ESI]",
     "0fea1e"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EDI]",
     "0fea1f"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EAX]",
     "0fea20"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [ECX]",
     "0fea21"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EDX]",
     "0fea22"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EBX]",
     "0fea23"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EAX + EDX * 0x4]",
     "0fea2490"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [0x90909090]",
     "0fea2590909090"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [ESI]",
     "0fea26"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EDI]",
     "0fea27"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EAX]",
     "0fea28"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [ECX]",
     "0fea29"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EDX]",
     "0fea2a"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EBX]",
     "0fea2b"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EAX + EDX * 0x4]",
     "0fea2c90"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [0x90909090]",
     "0fea2d90909090"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [ESI]",
     "0fea2e"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EDI]",
     "0fea2f"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EAX]",
     "0fea30"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [ECX]",
     "0fea31"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EDX]",
     "0fea32"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EBX]",
     "0fea33"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EAX + EDX * 0x4]",
     "0fea3490"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [0x90909090]",
     "0fea3590909090"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [ESI]",
     "0fea36"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EDI]",
     "0fea37"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EAX]",
     "0fea38"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [ECX]",
     "0fea39"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EDX]",
     "0fea3a"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EBX]",
     "0fea3b"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EAX + EDX * 0x4]",
     "0fea3c90"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [0x90909090]",
     "0fea3d90909090"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [ESI]",
     "0fea3e"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EDI]",
     "0fea3f"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EAX + 0xFFFFFF90]",
     "0fea4090"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [ECX + 0xFFFFFF90]",
     "0fea4190"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EDX + 0xFFFFFF90]",
     "0fea4290"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EBX + 0xFFFFFF90]",
     "0fea4390"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EAX + EDX * 0x4 + 0xFFFFFF90]",
     "0fea449090"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EBP + 0xFFFFFF90]",
     "0fea4590"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [ESI + 0xFFFFFF90]",
     "0fea4690"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EDI + 0xFFFFFF90]",
     "0fea4790"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EAX + 0xFFFFFF90]",
     "0fea4890"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [ECX + 0xFFFFFF90]",
     "0fea4990"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EDX + 0xFFFFFF90]",
     "0fea4a90"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EBX + 0xFFFFFF90]",
     "0fea4b90"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EAX + EDX * 0x4 + 0xFFFFFF90]",
     "0fea4c9090"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EBP + 0xFFFFFF90]",
     "0fea4d90"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [ESI + 0xFFFFFF90]",
     "0fea4e90"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EDI + 0xFFFFFF90]",
     "0fea4f90"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EAX + 0xFFFFFF90]",
     "0fea5090"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [ECX + 0xFFFFFF90]",
     "0fea5190"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EDX + 0xFFFFFF90]",
     "0fea5290"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EBX + 0xFFFFFF90]",
     "0fea5390"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EAX + EDX * 0x4 + 0xFFFFFF90]",
     "0fea549090"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EBP + 0xFFFFFF90]",
     "0fea5590"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [ESI + 0xFFFFFF90]",
     "0fea5690"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EDI + 0xFFFFFF90]",
     "0fea5790"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EAX + 0xFFFFFF90]",
     "0fea5890"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [ECX + 0xFFFFFF90]",
     "0fea5990"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EDX + 0xFFFFFF90]",
     "0fea5a90"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EBX + 0xFFFFFF90]",
     "0fea5b90"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EAX + EDX * 0x4 + 0xFFFFFF90]",
     "0fea5c9090"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EBP + 0xFFFFFF90]",
     "0fea5d90"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [ESI + 0xFFFFFF90]",
     "0fea5e90"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EDI + 0xFFFFFF90]",
     "0fea5f90"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EAX + 0xFFFFFF90]",
     "0fea6090"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [ECX + 0xFFFFFF90]",
     "0fea6190"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EDX + 0xFFFFFF90]",
     "0fea6290"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EBX + 0xFFFFFF90]",
     "0fea6390"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EAX + EDX * 0x4 + 0xFFFFFF90]",
     "0fea649090"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EBP + 0xFFFFFF90]",
     "0fea6590"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [ESI + 0xFFFFFF90]",
     "0fea6690"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EDI + 0xFFFFFF90]",
     "0fea6790"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EAX + 0xFFFFFF90]",
     "0fea6890"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [ECX + 0xFFFFFF90]",
     "0fea6990"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EDX + 0xFFFFFF90]",
     "0fea6a90"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EBX + 0xFFFFFF90]",
     "0fea6b90"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EAX + EDX * 0x4 + 0xFFFFFF90]",
     "0fea6c9090"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EBP + 0xFFFFFF90]",
     "0fea6d90"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [ESI + 0xFFFFFF90]",
     "0fea6e90"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EDI + 0xFFFFFF90]",
     "0fea6f90"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EAX + 0xFFFFFF90]",
     "0fea7090"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [ECX + 0xFFFFFF90]",
     "0fea7190"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EDX + 0xFFFFFF90]",
     "0fea7290"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EBX + 0xFFFFFF90]",
     "0fea7390"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EAX + EDX * 0x4 + 0xFFFFFF90]",
     "0fea749090"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EBP + 0xFFFFFF90]",
     "0fea7590"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [ESI + 0xFFFFFF90]",
     "0fea7690"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EDI + 0xFFFFFF90]",
     "0fea7790"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EAX + 0xFFFFFF90]",
     "0fea7890"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [ECX + 0xFFFFFF90]",
     "0fea7990"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EDX + 0xFFFFFF90]",
     "0fea7a90"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EBX + 0xFFFFFF90]",
     "0fea7b90"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EAX + EDX * 0x4 + 0xFFFFFF90]",
     "0fea7c9090"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EBP + 0xFFFFFF90]",
     "0fea7d90"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [ESI + 0xFFFFFF90]",
     "0fea7e90"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EDI + 0xFFFFFF90]",
     "0fea7f90"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EAX + 0x90909090]",
     "0fea8090909090"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [ECX + 0x90909090]",
     "0fea8190909090"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EDX + 0x90909090]",
     "0fea8290909090"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EBX + 0x90909090]",
     "0fea8390909090"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EAX + EDX * 0x4 + 0x90909090]",
     "0fea849090909090"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EBP + 0x90909090]",
     "0fea8590909090"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [ESI + 0x90909090]",
     "0fea8690909090"),
    (m32, "XXXXXXXX    PMINSW     MM0, QWORD PTR [EDI + 0x90909090]",
     "0fea8790909090"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EAX + 0x90909090]",
     "0fea8890909090"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [ECX + 0x90909090]",
     "0fea8990909090"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EDX + 0x90909090]",
     "0fea8a90909090"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EBX + 0x90909090]",
     "0fea8b90909090"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EAX + EDX * 0x4 + 0x90909090]",
     "0fea8c9090909090"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EBP + 0x90909090]",
     "0fea8d90909090"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [ESI + 0x90909090]",
     "0fea8e90909090"),
    (m32, "XXXXXXXX    PMINSW     MM1, QWORD PTR [EDI + 0x90909090]",
     "0fea8f90909090"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EAX + 0x90909090]",
     "0fea9090909090"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [ECX + 0x90909090]",
     "0fea9190909090"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EDX + 0x90909090]",
     "0fea9290909090"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EBX + 0x90909090]",
     "0fea9390909090"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EAX + EDX * 0x4 + 0x90909090]",
     "0fea949090909090"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EBP + 0x90909090]",
     "0fea9590909090"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [ESI + 0x90909090]",
     "0fea9690909090"),
    (m32, "XXXXXXXX    PMINSW     MM2, QWORD PTR [EDI + 0x90909090]",
     "0fea9790909090"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EAX + 0x90909090]",
     "0fea9890909090"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [ECX + 0x90909090]",
     "0fea9990909090"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EDX + 0x90909090]",
     "0fea9a90909090"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EBX + 0x90909090]",
     "0fea9b90909090"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EAX + EDX * 0x4 + 0x90909090]",
     "0fea9c9090909090"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EBP + 0x90909090]",
     "0fea9d90909090"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [ESI + 0x90909090]",
     "0fea9e90909090"),
    (m32, "XXXXXXXX    PMINSW     MM3, QWORD PTR [EDI + 0x90909090]",
     "0fea9f90909090"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EAX + 0x90909090]",
     "0feaa090909090"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [ECX + 0x90909090]",
     "0feaa190909090"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EDX + 0x90909090]",
     "0feaa290909090"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EBX + 0x90909090]",
     "0feaa390909090"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EAX + EDX * 0x4 + 0x90909090]",
     "0feaa49090909090"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EBP + 0x90909090]",
     "0feaa590909090"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [ESI + 0x90909090]",
     "0feaa690909090"),
    (m32, "XXXXXXXX    PMINSW     MM4, QWORD PTR [EDI + 0x90909090]",
     "0feaa790909090"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EAX + 0x90909090]",
     "0feaa890909090"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [ECX + 0x90909090]",
     "0feaa990909090"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EDX + 0x90909090]",
     "0feaaa90909090"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EBX + 0x90909090]",
     "0feaab90909090"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EAX + EDX * 0x4 + 0x90909090]",
     "0feaac9090909090"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EBP + 0x90909090]",
     "0feaad90909090"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [ESI + 0x90909090]",
     "0feaae90909090"),
    (m32, "XXXXXXXX    PMINSW     MM5, QWORD PTR [EDI + 0x90909090]",
     "0feaaf90909090"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EAX + 0x90909090]",
     "0feab090909090"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [ECX + 0x90909090]",
     "0feab190909090"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EDX + 0x90909090]",
     "0feab290909090"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EBX + 0x90909090]",
     "0feab390909090"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EAX + EDX * 0x4 + 0x90909090]",
     "0feab49090909090"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EBP + 0x90909090]",
     "0feab590909090"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [ESI + 0x90909090]",
     "0feab690909090"),
    (m32, "XXXXXXXX    PMINSW     MM6, QWORD PTR [EDI + 0x90909090]",
     "0feab790909090"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EAX + 0x90909090]",
     "0feab890909090"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [ECX + 0x90909090]",
     "0feab990909090"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EDX + 0x90909090]",
     "0feaba90909090"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EBX + 0x90909090]",
     "0feabb90909090"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EAX + EDX * 0x4 + 0x90909090]",
     "0feabc9090909090"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EBP + 0x90909090]",
     "0feabd90909090"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [ESI + 0x90909090]",
     "0feabe90909090"),
    (m32, "XXXXXXXX    PMINSW     MM7, QWORD PTR [EDI + 0x90909090]",
     "0feabf90909090"),
    (m32, "XXXXXXXX    PMINSW     MM0, MM0",
     "0feac0"),
    (m32, "XXXXXXXX    PMINSW     MM0, MM1",
     "0feac1"),
    (m32, "XXXXXXXX    PMINSW     MM0, MM2",
     "0feac2"),
    (m32, "XXXXXXXX    PMINSW     MM0, MM3",
     "0feac3"),
    (m32, "XXXXXXXX    PMINSW     MM0, MM4",
     "0feac4"),
    (m32, "XXXXXXXX    PMINSW     MM0, MM5",
     "0feac5"),
    (m32, "XXXXXXXX    PMINSW     MM0, MM6",
     "0feac6"),
    (m32, "XXXXXXXX    PMINSW     MM0, MM7",
     "0feac7"),
    (m32, "XXXXXXXX    PMINSW     MM1, MM0",
     "0feac8"),
    (m32, "XXXXXXXX    PMINSW     MM1, MM1",
     "0feac9"),
    (m32, "XXXXXXXX    PMINSW     MM1, MM2",
     "0feaca"),
    (m32, "XXXXXXXX    PMINSW     MM1, MM3",
     "0feacb"),
    (m32, "XXXXXXXX    PMINSW     MM1, MM4",
     "0feacc"),
    (m32, "XXXXXXXX    PMINSW     MM1, MM5",
     "0feacd"),
    (m32, "XXXXXXXX    PMINSW     MM1, MM6",
     "0feace"),
    (m32, "XXXXXXXX    PMINSW     MM1, MM7",
     "0feacf"),
    (m32, "XXXXXXXX    PMINSW     MM2, MM0",
     "0fead0"),
    (m32, "XXXXXXXX    PMINSW     MM2, MM1",
     "0fead1"),
    (m32, "XXXXXXXX    PMINSW     MM2, MM2",
     "0fead2"),
    (m32, "XXXXXXXX    PMINSW     MM2, MM3",
     "0fead3"),
    (m32, "XXXXXXXX    PMINSW     MM2, MM4",
     "0fead4"),
    (m32, "XXXXXXXX    PMINSW     MM2, MM5",
     "0fead5"),
    (m32, "XXXXXXXX    PMINSW     MM2, MM6",
     "0fead6"),
    (m32, "XXXXXXXX    PMINSW     MM2, MM7",
     "0fead7"),
    (m32, "XXXXXXXX    PMINSW     MM3, MM0",
     "0fead8"),
    (m32, "XXXXXXXX    PMINSW     MM3, MM1",
     "0fead9"),
    (m32, "XXXXXXXX    PMINSW     MM3, MM2",
     "0feada"),
    (m32, "XXXXXXXX    PMINSW     MM3, MM3",
     "0feadb"),
    (m32, "XXXXXXXX    PMINSW     MM3, MM4",
     "0feadc"),
    (m32, "XXXXXXXX    PMINSW     MM3, MM5",
     "0feadd"),
    (m32, "XXXXXXXX    PMINSW     MM3, MM6",
     "0feade"),
    (m32, "XXXXXXXX    PMINSW     MM3, MM7",
     "0feadf"),
    (m32, "XXXXXXXX    PMINSW     MM4, MM0",
     "0feae0"),
    (m32, "XXXXXXXX    PMINSW     MM4, MM1",
     "0feae1"),
    (m32, "XXXXXXXX    PMINSW     MM4, MM2",
     "0feae2"),
    (m32, "XXXXXXXX    PMINSW     MM4, MM3",
     "0feae3"),
    (m32, "XXXXXXXX    PMINSW     MM4, MM4",
     "0feae4"),
    (m32, "XXXXXXXX    PMINSW     MM4, MM5",
     "0feae5"),
    (m32, "XXXXXXXX    PMINSW     MM4, MM6",
     "0feae6"),
    (m32, "XXXXXXXX    PMINSW     MM4, MM7",
     "0feae7"),
    (m32, "XXXXXXXX    PMINSW     MM5, MM0",
     "0feae8"),
    (m32, "XXXXXXXX    PMINSW     MM5, MM1",
     "0feae9"),
    (m32, "XXXXXXXX    PMINSW     MM5, MM2",
     "0feaea"),
    (m32, "XXXXXXXX    PMINSW     MM5, MM3",
     "0feaeb"),
    (m32, "XXXXXXXX    PMINSW     MM5, MM4",
     "0feaec"),
    (m32, "XXXXXXXX    PMINSW     MM5, MM5",
     "0feaed"),
    (m32, "XXXXXXXX    PMINSW     MM5, MM6",
     "0feaee"),
    (m32, "XXXXXXXX    PMINSW     MM5, MM7",
     "0feaef"),
    (m32, "XXXXXXXX    PMINSW     MM6, MM0",
     "0feaf0"),
    (m32, "XXXXXXXX    PMINSW     MM6, MM1",
     "0feaf1"),
    (m32, "XXXXXXXX    PMINSW     MM6, MM2",
     "0feaf2"),
    (m32, "XXXXXXXX    PMINSW     MM6, MM3",
     "0feaf3"),
    (m32, "XXXXXXXX    PMINSW     MM6, MM4",
     "0feaf4"),
    (m32, "XXXXXXXX    PMINSW     MM6, MM5",
     "0feaf5"),
    (m32, "XXXXXXXX    PMINSW     MM6, MM6",
     "0feaf6"),
    (m32, "XXXXXXXX    PMINSW     MM6, MM7",
     "0feaf7"),
    (m32, "XXXXXXXX    PMINSW     MM7, MM0",
     "0feaf8"),
    (m32, "XXXXXXXX    PMINSW     MM7, MM1",
     "0feaf9"),
    (m32, "XXXXXXXX    PMINSW     MM7, MM2",
     "0feafa"),
    (m32, "XXXXXXXX    PMINSW     MM7, MM3",
     "0feafb"),
    (m32, "XXXXXXXX    PMINSW     MM7, MM4",
     "0feafc"),
    (m32, "XXXXXXXX    PMINSW     MM7, MM5",
     "0feafd"),
    (m32, "XXXXXXXX    PMINSW     MM7, MM6",
     "0feafe"),
    (m32, "XXXXXXXX    PMINSW     MM7, MM7",
     "0feaff"),



    (m32, "00674296    MOVD       ESI, MM1",
     "0F7ECE"),
    (m32, "00674293    MOVD       MM1, EBX",
     "0F6ECB"),
    (m32, "00000000    AAA",
     "37"),
    (m32, "00000000    AAS",
     "3F"),
    (m32, "00000000    AAD        0x11",
     "d511"),
    (m32, "00000000    AAM        0x11",
     "d411"),
    (m32, "00000000    ADC        AL, 0x11",
     "1411"),
    (m32, "00000000    ADC        EAX, 0x11223344",
     "1544332211"),
    (m16, "00000000    ADC        AX, 0x1122",
     "152211"),
    (m64, "00000000    ADC        EAX, 0x11223344",
     "1544332211"),
    (m64, "00000000    ADC        RAX, 0x11223344",
     "481544332211"),
    (m32, "00000000    ADC        EAX, 0xFFFFFFFC",
     "83d0fc"),
    (m64, "00000000    ADC        RAX, 0xFFFFFFFFFFFFFFFC",
     "4883d0fc"),
    (m16, "00000000    ADC        AX, 0xFFFC",
     "83d0fc"),
    (m64, "00000000    ADC        EAX, 0xFFFFFFFC",
     "15fcffffff"),
    (m64, "00000000    ADC        RAX, 0xFFFFFFFFFFFFFFFC",
     "4815fcffffff"),
    (m16, "00000000    ADC        WORD PTR [BX + SI], 0x1122",
     "81102211"),
    (m32, "00000000    ADC        DWORD PTR [EAX], 0x11223344",
     "811044332211"),
    (m32, "00000000    ADC        DWORD PTR [EAX + EBX + 0xFFFFFFFE], 0x11223344",
     "815418fe44332211"),
    (m32, "00000000    ADC        DWORD PTR [EAX + EBX + 0x55667788], 0x11223344",
     "8194188877665544332211"),
    (m64, "00000000    ADC        DWORD PTR [RAX], 0x11223344",
     "811044332211"),
    (m64, "00000000    ADC        QWORD PTR [RAX], 0x11223344",
     "48811044332211"),
    (m64, "00000000    ADC        QWORD PTR [RAX + RBX], 0x11223344",
     "4881141844332211"),
    (m64, "00000000    ADC        QWORD PTR [RAX + RBX + 0x55667788], 0x11223344",
     "488194188877665544332211"),
    (m64, "00000000    ADC        QWORD PTR [RAX + RBX + 0xFFFFFFFFFFFFFFFE], 0x11223344",
     "48815403fe44332211"),
    (m64, "00000000    ADC        QWORD PTR [EAX], 0x11223344",
     "6748811044332211"),
    (m32, "00000000    ADC        BYTE PTR [EAX], 0x11",
     "801011"),
    (m16, "00000000    ADC        DX, 0x1122",
     "81d22211"),
    (m32, "00000000    ADC        EDX, 0x11223344",
     "81d244332211"),
    (m64, "00000000    ADC        RDX, 0x11223344",
     "4881d244332211"),
    (m32, "00000000    ADC        DWORD PTR [EAX + EBX], 0x11223344",
     "81141844332211"),
    (m32, "00000000    ADC        DWORD PTR [EAX + EBX], EAX",
     "110418"),
    (m64, "00000000    ADC        QWORD PTR [RAX + RBX], RAX",
     "48110418"),
    (m32, "00000000    ADC        BYTE PTR [EAX + EBX], AL",
     "100418"),
    (m32, "00000000    ADC        AL, BYTE PTR [EAX + EBX]",
     "120418"),
    (m16, "00000000    ADC        WORD PTR [BX + SI], DX",
     "1110"),
    (m32, "00000000    ADC        WORD PTR [BX + SI], DX",
     "66671110"),
    (m16, "00000000    ADC        DWORD PTR [EBX + ESI], EDX",
     "6667111433"),

    # prefix test
    (m32, "00000000    ADC        AX, 0x1122",
     "66152211"),

    (m32, "00000000    ADC        EAX, 0x11223344",
     "1544332211"),

    (m16, "00000000    ADC        WORD PTR [BX + DI], 0x1",
     "831101"),
    (m32, "00000000    ADC        DWORD PTR [EAX + EBX + 0xFFFFFFFE], 0x1",
     "835403fe01"),
    (m32, "00000000    ADC        WORD PTR [EAX + EBX + 0xFFFFFFFE], 0x1",
     "66835403fe01"),
    (m64, "00000000    ADC        DWORD PTR [RAX + RBX + 0xFFFFFFFFFFFFFFFE], 0x1",
     "835403fe01"),
    #
    (m32, "00000000    ADC        DWORD PTR [EAX + EBX * 0x4 + 0xFFFFFFFE], 0x1",
     "835498fe01"),

    (m64, "00000000    ADC        QWORD PTR [RAX + RBX], R8",
     "4c110418"),
    (m64, "00000000    ADC        QWORD PTR [RAX + RBX], R15",
     "4c113c18"),

    (m64, "00000000    ADC        QWORD PTR [R8], RAX",
     "491100"),
    (m64, "00000000    ADC        QWORD PTR [R8 + R9], RAX",
     "4b110408"),
    (m64, "00000000    ADC        QWORD PTR [R8 + RBP], RAX",
     "49110428"),
    (m64, "00000000    ADC        QWORD PTR [RBP + R8 * 0x4], RAX",
     "4a11448500"),
    (m64, "00000000    ADC        QWORD PTR [RBP + R12 * 0x4], RAX",
     "4a1144a500"),
    (m64, "00000000    ADC        QWORD PTR [RSP + R12 * 0x4], RAX",
     "4a1104a4"),
    (m64, "00000000    ADC        QWORD PTR [R12 * 0x5], RAX",
     "4b1104a4"),
    (m64, "00000000    ADC        QWORD PTR [R12 * 0x5 + 0x11], RAX",
     "4b1144a411"),
    (m64, "00000000    ADC        QWORD PTR [RBP + R12 * 0x4 + 0x10], RAX",
     "4a1144a510"),

    (m32, "00000000    ADD        AL, 0x11",
     "0411"),
    (m32, "00000000    ADD        EAX, 0x11223344",
     "0544332211"),


    (m32, "00000000    AND        AL, 0x11",
     "2411"),
    (m32, "00000000    AND        EAX, 0x11223344",
     "2544332211"),
    (m64, "00000000    AND        CX, R14W",
     "664123CE"),
    (m64, "00000000    AND        R12W, R14W",
     "664521f4"),



    (m32, "00000000    BSF        EAX, DWORD PTR [EAX]",
     "0fbc00"),

    (m32, "00000000    BSR        EAX, DWORD PTR [EAX]",
     "0fbd00"),

    (m32, "00000000    BSWAP      EAX",
     "0fc8"),

    (m32, "00000000    BT         DWORD PTR [EAX], EAX",
     "0fa300"),
    (m32, "00000000    BT         DWORD PTR [EAX], 0x11",
     "0fba2011"),
    (m32, "00000000    BT         DWORD PTR [EAX], 0xFF",
     "0fba20ff"),
    (m64, "00000000    BT         R9D, 0x1E",
     "410fbae11e"),

    (m32, "00000000    BTC        DWORD PTR [EAX], EAX",
     "0fbb00"),
    (m32, "00000000    BTC        DWORD PTR [EAX], 0x42",
     "0fba3842"),


    (m32, "00000000    BTR        DWORD PTR [EAX], EAX",
     "0fb300"),
    (m32, "00000000    BTR        DWORD PTR [EAX], 0x42",
     "0fba3042"),


    (m32, "00000000    BTS        DWORD PTR [EAX], EAX",
     "0fab00"),
    (m32, "00000000    BTS        DWORD PTR [EAX], 0x42",
     "0fba2842"),


    (m32, "00000000    CALL       0x112235",
     "e830221100"),
    (m64, "00000000    CALL       0x112235",
     "e830221100"),
    (m32, "00000000    CALL       DWORD PTR [EAX]",
     "ff10"),
    (m32, "00000000    CALL       EAX",
     "ffd0"),
    (m32, "00000000    CALL       DWORD PTR [EAX + EBX]",
     "ff1403"),
    (m32, "00000000    CALL       DWORD PTR [EAX + EBX + 0x11223344]",
     "ff941844332211"),





    (m64, "00000000    CALL       QWORD PTR [RAX]",
     "ff10"),
    (m32, "00000000    CALL       0x6655:0x44332211",
     "9a112233445566"),
    (m32, "00000000    CALL       0x6655:0xFF332211",
     "9a112233FF5566"),

    (m64, "00000000    CALL       QWORD PTR [RAX + RBX]",
     "ff1403"),
    (m64, "00000000    CALL       QWORD PTR [RAX + RBX + 0x11223344]",
     "ff941844332211"),

    (m64, "XXXXXXXX    CALL       QWORD PTR [EAX + EBX]",
    "67ff1418"),
    (m64, "XXXXXXXX    CALL       QWORD PTR [0x11223344]",
    "ff142544332211"),
    (m64, "XXXXXXXX    CALL       QWORD PTR [RIP + 0x11223344]",
    "ff1544332211"),


    (m32, "00000000    CALL       FAR DWORD PTR [EAX]",
     "ff18"),
    (m32, "00000000    CALL       FAR DWORD PTR [EAX + EBX]",
     "ff1c03"),
    (m32, "00000000    CALL       FAR DWORD PTR [EAX + EBX + 0x11223344]",
     "ff9c1844332211"),
    (m32, "00000000    CALL       FAR DWORD PTR [0xFFFFFFA3]",
     "FF1DA3FFFFFF"),
    (m64, "00000000    CALL       FAR QWORD PTR [RIP + 0xFFFFFFFFFFFFFFA3]",
     "FF1DA3FFFFFF"),

    (m16, "00000000    CBW",
     "98"),
    (m16, "00000000    CWDE",
     "6698"),
    (m32, "00000000    CWDE",
     "98"),
    (m64, "00000000    CWDE",
     "98"),
    (m64, "00000000    CDQE",
     "4898"),

    (m32, "00000000    CMOVO      EAX, DWORD PTR [EAX]",
     "0f4000"),
    (m32, "00000000    CMOVNO     EAX, DWORD PTR [EAX]",
     "0f4100"),
    (m32, "00000000    CMOVB      EAX, DWORD PTR [EAX]",
     "0f4200"),
    (m32, "00000000    CMOVAE     EAX, DWORD PTR [EAX]",
     "0f4300"),
    (m32, "00000000    CMOVZ      EAX, DWORD PTR [EAX]",
     "0f4400"),
    (m32, "00000000    CMOVNZ     EAX, DWORD PTR [EAX]",
     "0f4500"),
    (m32, "00000000    CMOVBE     EAX, DWORD PTR [EAX]",
     "0f4600"),
    (m32, "00000000    CMOVA      EAX, DWORD PTR [EAX]",
     "0f4700"),
    (m32, "00000000    CMOVS      EAX, DWORD PTR [EAX]",
     "0f4800"),
    (m32, "00000000    CMOVNS     EAX, DWORD PTR [EAX]",
     "0f4900"),
    (m32, "00000000    CMOVPE     EAX, DWORD PTR [EAX]",
     "0f4A00"),
    (m32, "00000000    CMOVNP     EAX, DWORD PTR [EAX]",
     "0f4B00"),
    (m32, "00000000    CMOVL      EAX, DWORD PTR [EAX]",
     "0f4C00"),
    (m32, "00000000    CMOVGE     EAX, DWORD PTR [EAX]",
     "0f4D00"),
    (m32, "00000000    CMOVLE     EAX, DWORD PTR [EAX]",
     "0f4E00"),
    (m32, "00000000    CMOVG      EAX, DWORD PTR [EAX]",
     "0f4F00"),

    (m32, "00000000    CMP        EAX, DWORD PTR [EAX]",
     "3b00"),

    (m32, "00000000    CMPXCHG    BYTE PTR [EAX], AL",
     "0fb000"),
    (m32, "00000000    CMPXCHG    DWORD PTR [EAX], EAX",
     "0fb100"),
    (m16, "00000000    CMPXCHG8B  QWORD PTR [SI + 0x24]",
     "0fc74c24"),
    (m32, "00000000    CMPXCHG8B  QWORD PTR [ESP + 0x8]",
     "0fc74c2408"),
    (m64, "00000000    CMPXCHG8B  QWORD PTR [RSP + 0x8]",
     "0fc74c2408"),
    (m64, "00000000    CMPXCHG16B XMMWORD PTR [RSP + 0x8]",
     "480fc74c2408"),

    (m32, "00000000    CDQ",
     "99"),
    (m64, "00000000    CQO",
     "4899"),

    (m32, "00000000    DEC        BYTE PTR [EAX]",
     "fe08"),
    (m32, "00000000    DEC        DWORD PTR [EAX]",
     "ff08"),

    (m32, "00000000    DEC        ECX",
     "49"),

    (m64, "00000000    DEC        EBX",
     "FFCB"),

    (m32, "00000000    DIV        BL",
     "f6f3"),
    (m32, "00000000    DIV        EBX",
     "f7f3"),

    (m32, "00000000    ENTER      0x12, 0x0",
     "c8120000"),
    (m32, "00000000    ENTER      0x12, 0x66",
     "c8120066"),

    (m32, "00000000    F2XM1",
     "D9f0"),
    (m32, "00000000    FABS",
     "D9e1"),

    (m16, "00000000    FADD       DWORD PTR [BX + SI]",
     "D800"),
    (m32, "00000000    FADD       DWORD PTR [EAX]",
     "D800"),
    (m32, "00000000    FADD       QWORD PTR [EAX]",
     "DC00"),

    (m32, "00000000    FADD       ST, ST(2)",
     "D8C2"),
    (m32, "00000000    FADD       ST(2), ST",
     "DCC2"),

    (m32, "00000000    FADDP      ST(2), ST",
     "DEC2"),

    (m16, "00000000    FIADD      DWORD PTR [BX + SI]",
     "DA00"),
    (m32, "00000000    FIADD      DWORD PTR [EAX]",
     "DA00"),
    (m32, "00000000    FIADD      WORD PTR [EAX]",
     "DE00"),

    (m32, "00000000    FBLD       TBYTE PTR [EAX]",
     "DF20"),
    (m64, "00000000    FBLD       TBYTE PTR [RAX]",
     "DF20"),

    (m32, "00000000    FBLDP      TBYTE PTR [EAX]",
     "DF30"),
    (m64, "00000000    FBLDP      TBYTE PTR [RAX]",
     "DF30"),

    (m16, "00000000    FCHS",
     "d9e0"),
    (m32, "00000000    FCHS",
     "d9e0"),
    (m64, "00000000    FCHS",
     "d9e0"),


    #(m32, "00000000    FCLEX",
    # "9bdbe2"),
    (m32, "00000000    FNCLEX",
     "dbe2"),

    (m32, "00000000    FCMOVB     ST, ST(2)",
     "dac2"),
    (m32, "00000000    FCMOVE     ST, ST(2)",
     "daca"),
    (m32, "00000000    FCMOVBE    ST, ST(2)",
     "dad2"),
    (m32, "00000000    FCMOVU     ST, ST(2)",
     "dada"),
    (m32, "00000000    FCMOVNB    ST, ST(2)",
     "dbc2"),
    (m32, "00000000    FCMOVNE    ST, ST(2)",
     "dbca"),
    (m32, "00000000    FCMOVNBE   ST, ST(2)",
     "dbd2"),
    (m32, "00000000    FCMOVNU    ST, ST(2)",
     "dbda"),

    (m32, "00000000    FCOM       DWORD PTR [EAX]",
     "d810"),
    (m32, "00000000    FCOM       QWORD PTR [EAX]",
     "dC10"),
    (m32, "00000000    FCOMP      DWORD PTR [EAX]",
     "d818"),
    (m32, "00000000    FCOMP      QWORD PTR [EAX]",
     "dC18"),
    (m32, "00000000    FCOM       ST, ST(1)",
     "d8d1"),
    (m32, "00000000    FCOM       ST, ST(2)",
     "d8d2"),

    (m32, "00000000    FCOMP      ST, ST(1)",
     "d8d9"),
    (m32, "00000000    FCOMPP",
     "ded9"),

    (m32, "00000000    FCOMI      ST, ST(2)",
     "dbf2"),
    (m32, "00000000    FCOMIP     ST, ST(2)",
     "dff2"),

    (m32, "00000000    FUCOMI     ST, ST(2)",
     "dbea"),
    (m32, "00000000    FUCOMIP    ST, ST(2)",
     "dfea"),

    (m32, "00000000    FCOS",
     "d9ff"),

    (m32, "00000000    FDECSTP",
     "d9f6"),


    (m16, "00000000    FDIV       DWORD PTR [BX + SI]",
     "D830"),
    (m32, "00000000    FDIV       DWORD PTR [EAX]",
     "D830"),
    (m32, "00000000    FDIV       QWORD PTR [EAX]",
     "DC30"),

    (m32, "00000000    FDIV       ST, ST(2)",
     "D8F2"),
    (m32, "00000000    FDIV       ST(2), ST",
     "DCFA"),

    (m32, "00000000    FDIVP      ST(2), ST",
     "DEFA"),

    (m16, "00000000    FIDIV      DWORD PTR [BX + SI]",
     "DA30"),
    (m32, "00000000    FIDIV      DWORD PTR [EAX]",
     "DA30"),
    (m32, "00000000    FIDIV      WORD PTR [EAX]",
     "DE30"),



    (m16, "00000000    FDIVR      DWORD PTR [BX + SI]",
     "D838"),
    (m32, "00000000    FDIVR      DWORD PTR [EAX]",
     "D838"),
    (m32, "00000000    FDIVR      QWORD PTR [EAX]",
     "DC38"),

    (m32, "00000000    FDIVR      ST, ST(2)",
     "D8Fa"),
    (m32, "00000000    FDIVR      ST(2), ST",
     "DCF2"),

    (m32, "00000000    FDIVRP     ST(2), ST",
     "DEF2"),

    (m16, "00000000    FIDIVR     DWORD PTR [BX + SI]",
     "DA38"),
    (m32, "00000000    FIDIVR     DWORD PTR [EAX]",
     "DA38"),
    (m32, "00000000    FIDIVR     WORD PTR [EAX]",
     "DE38"),

    (m32, "00000000    FFREE      ST(2)",
     "DDC2"),

    (m32, "00000000    FICOM      WORD PTR [EAX]",
     "DE10"),
    (m32, "00000000    FICOM      DWORD PTR [EAX]",
     "DA10"),

    (m32, "00000000    FICOMP     WORD PTR [EAX]",
     "DE18"),
    (m32, "00000000    FICOMP     DWORD PTR [EAX]",
     "DA18"),

    (m32, "00000000    FILD       WORD PTR [EAX]",
     "DF00"),
    (m32, "00000000    FILD       DWORD PTR [EAX]",
     "DB00"),


    (m32, "00000000    FILD       QWORD PTR [EAX]",
     "DF28"),

    (m32, "00000000    FINCSTP",
     "d9f7"),

    #(m32, "00000000    FINIT",
    # "9bdbe3"),
    (m32, "00000000    FNINIT",
     "dbe3"),

    (m32, "00000000    FIST       WORD PTR [EAX]",
     "DF10"),
    (m32, "00000000    FIST       DWORD PTR [EAX]",
     "DB10"),

    (m32, "00000000    FISTP      WORD PTR [EAX]",
     "DF18"),
    (m32, "00000000    FISTP      DWORD PTR [EAX]",
     "DB18"),

    (m32, "00000000    FISTP      QWORD PTR [EAX]",
     "Df38"),

    (m32, "00000000    FISTTP     WORD PTR [EAX]",
     "DF08"),
    (m32, "00000000    FISTTP     DWORD PTR [EAX]",
     "DB08"),

    (m32, "00000000    FISTTP     QWORD PTR [EAX]",
     "Dd08"),

    (m32, "00000000    FLD        DWORD PTR [EAX]",
     "d900"),
    (m32, "00000000    FLD        QWORD PTR [EAX]",
     "dd00"),

    (m32, "00000000    FLD        TBYTE PTR [EAX]",
     "db28"),
    (m32, "00000000    FLD        ST(2)",
     "d9c2"),


    (m32, "00000000    FLD1",
     "d9e8"),
    (m32, "00000000    FLDL2T",
     "d9e9"),
    (m32, "00000000    FLDL2E",
     "d9eA"),
    (m32, "00000000    FLDPI",
     "d9eB"),
    (m32, "00000000    FLDLG2",
     "d9eC"),
    (m32, "00000000    FLDLN2",
     "d9eD"),
    (m32, "00000000    FLDZ",
     "d9eE"),

    (m32, "00000000    FLDCW      WORD PTR [EAX]",
     "d928"),



    (m16, "00000000    FMUL       DWORD PTR [BX + SI]",
     "D808"),
    (m32, "00000000    FMUL       DWORD PTR [EAX]",
     "D808"),
    (m32, "00000000    FMUL       QWORD PTR [EAX]",
     "DC08"),

    (m32, "00000000    FMUL       ST, ST(2)",
     "D8Ca"),
    (m32, "00000000    FMUL       ST(2), ST",
     "DCCa"),

    (m32, "00000000    FMULP      ST(2), ST",
     "DECa"),

    (m16, "00000000    FIMUL      DWORD PTR [BX + SI]",
     "DA08"),
    (m32, "00000000    FIMUL      DWORD PTR [EAX]",
     "DA08"),
    (m32, "00000000    FIMUL      WORD PTR [EAX]",
     "DE08"),

    (m32, "00000000    FNOP",
     "D9d0"),
    (m32, "00000000    FPATAN",
     "D9f3"),
    (m32, "00000000    FPREM",
     "D9f8"),
    (m32, "00000000    FPREM1",
     "D9f5"),
    (m32, "00000000    FPTAN",
     "D9f2"),
    (m32, "00000000    FRNDINT",
     "D9fc"),

    (m32, "00000000    FRSTOR     TBYTE PTR [EAX]",
     "dd20"),

    #(m32, "00000000    FSAVE      TBYTE PTR [EAX]",
    # "9bdd30"),
    (m32, "00000000    FNSAVE     TBYTE PTR [EAX]",
     "dd30"),

    (m32, "00000000    FSCALE",
     "d9fd"),

    (m32, "00000000    FSIN",
     "d9fe"),
    (m32, "00000000    FSINCOS",
     "d9fb"),
    (m32, "00000000    FSQRT",
     "d9fa"),



    (m32, "00000000    FST        DWORD PTR [EAX]",
     "D910"),
    (m32, "00000000    FST        QWORD PTR [EAX]",
     "DD10"),

    (m32, "00000000    FST        ST(2)",
     "ddd2"),

    (m32, "00000000    FSTP       DWORD PTR [EAX]",
     "D918"),
    (m32, "00000000    FSTP       QWORD PTR [EAX]",
     "Dd18"),
    (m32, "00000000    FSTP       TBYTE PTR [EAX]",
     "db38"),

    #(m32, "00000000    FSTCW      WORD PTR [EAX]",
    # "9bd938"),
    (m32, "00000000    FNSTCW     WORD PTR [EAX]",
     "d938"),

    (m32, "00000000    FNSTENV    TBYTE PTR [EAX]",
     "d930"),
    #(m32, "00000000    FSTENV     TBYTE PTR [EAX]",
    # "9bd930"),

    (m32, "00000000    FNSTSW     WORD PTR [EAX]",
     "dd38"),
    #(m32, "00000000    FSTSW      WORD PTR [EAX]",
    # "9bdd38"),

    #(m32, "00000000    FSTSW      AX",
    # "9bdfe0"),
    (m32, "00000000    FNSTSW     AX",
     "dfe0"),

    (m16, "00000000    FSUB       DWORD PTR [BX + SI]",
     "D820"),
    (m32, "00000000    FSUB       DWORD PTR [EAX]",
     "D820"),
    (m32, "00000000    FSUB       QWORD PTR [EAX]",
     "DC20"),

    (m32, "00000000    FSUB       ST, ST(2)",
     "D8E2"),
    (m32, "00000000    FSUB       ST(2), ST",
     "DCEA"),

    (m32, "00000000    FSUBP      ST(2), ST",
     "DEEA"),

    (m16, "00000000    FISUB      DWORD PTR [BX + SI]",
     "DA20"),
    (m32, "00000000    FISUB      DWORD PTR [EAX]",
     "DA20"),
    (m32, "00000000    FISUB      WORD PTR [EAX]",
     "DE20"),



    (m16, "00000000    FSUBR      DWORD PTR [BX + SI]",
     "D828"),
    (m32, "00000000    FSUBR      DWORD PTR [EAX]",
     "D828"),
    (m32, "00000000    FSUBR      QWORD PTR [EAX]",
     "DC28"),

    (m32, "00000000    FSUBR      ST, ST(2)",
     "D8EA"),
    (m32, "00000000    FSUBR      ST(2), ST",
     "DCE2"),

    (m32, "00000000    FSUBRP     ST(2), ST",
     "DEE2"),

    (m16, "00000000    FISUBR     DWORD PTR [BX + SI]",
     "DA28"),
    (m32, "00000000    FISUBR     DWORD PTR [EAX]",
     "DA28"),
    (m32, "00000000    FISUBR     WORD PTR [EAX]",
     "DE28"),

    (m32, "00000000    FTST",
     "d9e4"),

    (m32, "00000000    FUCOM      ST(2)",
     "dde2"),
    (m32, "00000000    FUCOMP     ST(2)",
     "DDEA"),
    (m32, "00000000    FUCOMPP",
     "DAe9"),

    (m32, "00000000    FXAM",
     "d9e5"),

    (m32, "00000000    FXCH       ST(2)",
     "d9ca"),

    (m32, "00000000    FXRSTOR    TBYTE PTR [EAX]",
     "0fae08"),
    (m32, "00000000    FXSAVE     TBYTE PTR [EAX]",
     "0fae00"),

    (m32, "00000000    FXTRACT",
     "d9f4"),
    (m32, "00000000    FYL2X",
     "d9f1"),
    (m32, "00000000    FYL2XP1",
     "d9f9"),

    (m32, "00000000    HLT",
     "f4"),
    (m32, "00000000    ICEBP",
     "f1"),

    (m32, "00000000    IDIV       BYTE PTR [EAX]",
     "f638"),
    (m32, "00000000    IDIV       DWORD PTR [EAX]",
     "f738"),

    (m32, "00000000    IMUL       EAX, DWORD PTR [EAX]",
     "0faf00"),


    (m32, "00000000    IMUL       EAX, EBX, 0x8",
     "6bc308"),
    (m32, "00000000    IMUL       EAX, EBX, 0xFFFFFFFF",
     "6bc3FF"),
    (m32, "00000000    IMUL       EAX, DWORD PTR [EBX], 0x11223344",
     "690344332211"),
    (m64, "00000000    IMUL       RAX, QWORD PTR [RBX], 0x11223344",
     "48690344332211"),
    (m64, "00000000    IMUL       RAX, QWORD PTR [RBX], 0x11223344",
     "48690344332211"),
    (m64, "00000000    IMUL       RAX, QWORD PTR [RBX], 0xFFFFFFFFF1223344",
     "486903443322F1"),
    (m16, "00000000    IMUL       AX, BX, 0x8",
     "6bc308"),
    (m16, "00000000    IMUL       AX, BX, 0xFFF0",
     "6bc3F0"),

    (m32, "00000000    IN         AL, 0x12",
     "e412"),
    (m32, "00000000    IN         EAX, 0x12",
     "e512"),
    (m64, "00000000    IN         RAX, 0x12",
     "48e512"),

    (m32, "00000000    IN         AL, DL",
     "EC"),
    (m32, "00000000    IN         EAX, EDX",
     "ED"),
    (m32, "00000000    IN         AX, DX",
     "66ED"),

    (m32, "00000000    INC        DWORD PTR [EAX]",
     "ff00"),
    (m32, "00000000    INC        ECX",
     "41"),

    (m64, "00000000    INC        EBX",
     "FFC3"),

    (m32, "00000000    INT        0x3",
     "CC"),
    (m32, "00000000    INT        0x21",
     "CD21"),

    (m16, "00000000    IRET",
     "CF"),
    (m32, "00000000    IRETD",
     "CF"),
    (m64, "00000000    IRETQ",
     "48CF"),

    (m32, "00000000    JA         0x12",
     "7710"),
    (m32, "00000000    JA         0xFFFFFFEE",
     "77EC"),
    (m64, "00000000    JA         0xFFFFFFFFFFFFFFEE",
     "77EC"),

    #(m32, "00000000    JA         0xFFEE",
    # "6677EE"),
    #(m64, "00000000    JA         0xFFEE",
    # "6677EE"),


    (m16, "00000000    JCXZ       0xFFEE",
     "E3EC"),
    (m16, "00000000    JECXZ      0xFFEE",
     "67E3EB"),
    (m32, "00000000    JECXZ      0xFFFFFFEE",
     "E3EC"),
    (m32, "00000000    JCXZ       0xFFFFFFEE",
     "67E3EB"),
    (m32, "00000000    JCXZ       0xFFEE",
     "6667E3EA"),
    (m64, "00000000    JRCXZ      0xFFFFFFFFFFFFFFEE",
     "E3EC"),
    (m64, "00000000    JECXZ      0xFFFFFFFFFFFFFFEE",
     "67E3EB"),


    (m32, "00000000    MOV        BYTE PTR [EAX], AL",
     "8800"),
    (m32, "00000000    MOV        AL, BYTE PTR [EAX]",
     "8a00"),
    (m32, "00000000    MOV        EAX, DWORD PTR [EAX]",
     "8b00"),
    (m32, "00000000    MOV        DWORD PTR [EAX], EAX",
     "8900"),
    (m64, "00000000    MOV        ECX, DWORD PTR [RCX]",
     "8b09"),
    (m64, "00000000    MOV        DWORD PTR [RCX], ECX",
     "8909"),
    (m64, "00000000    MOV        QWORD PTR [RAX], RAX",
     "488900"),

    (m32, "00000000    MOV        EAX, EBX",
     "89d8"),
    (m32, "00000000    MOV        EAX, EBX",
     "8bc3"),


    (m16, "00000000    MOV        WORD PTR [BX + SI], ES",
     "8c00"),
    (m32, "00000000    MOV        DWORD PTR [EAX], ES",
     "8c00"),
    (m32, "00000000    MOV        ES, DWORD PTR [EAX]",
     "8e00"),
    (m32, "00000000    MOV        DWORD PTR [EAX], CS",
     "8c08"),
    (m64, "00000000    MOV        DWORD PTR [RCX], ES",
     "8c01"),

    (m16, "00000000    MOV        BH, 0x12",
     "b712"),
    (m16, "00000000    MOV        DI, 0x1122",
     "bf2211"),

    (m32, "00000000    MOV        AL, 0x12",
     "b012"),
    (m32, "00000000    MOV        EAX, 0x11223344",
     "b844332211"),
    (m32, "00000000    MOV        BH, 0x12",
     "b712"),
    (m32, "00000000    MOV        EDI, 0x11223344",
     "bf44332211"),

    (m64, "00000000    MOV        BH, 0x12",
     "b712"),
    (m64, "00000000    MOV        EDI, 0x11223344",
     "bf44332211"),

    (m16, "00000000    MOV        WORD PTR [BX], 0x1122",
     "c7072211"),
    (m32, "00000000    MOV        DWORD PTR [EAX], 0x11223344",
     "c70044332211"),
    (m64, "00000000    MOV        DWORD PTR [RCX], 0x11223344",
     "c70144332211"),

    (m32, "00000000    MOV        CR0, EAX",
     "0f22c0"),
    (m32, "00000000    MOV        EAX, CR0",
     "0f20c0"),

    (m32, "00000000    MOV        EAX, DR0",
     "0f21c0"),
    (m32, "00000000    MOV        DR0, EAX",
     "0f23c0"),

    (m64, "00000000    MOV        DWORD PTR [RSP + 0x20], 0x10",
     "C744242010000000"),
    (m64, "00000000    MOV        DWORD PTR [RBX + 0x20], 0x30",
     "c744a32030000000"),
    (m64, "00000000    MOV        DWORD PTR [R12 + 0x20], 0x10",
     "41C744242010000000"),

    (m32, "00000000    MOV        BYTE PTR [EBX + 0xFFFFFF98], 0xCC",
     "C64398CC"),

    (m64, "00000000    MOV        BYTE PTR [R11 + 0xFFFFFFFFFFFFFF98], 0xCC",
     "41C64398CC"),

    (m64, "00000000    MOV        RAX, 0x1122334455667788",
     "48b88877665544332211"),

    (m64, "00000000    MOV        RDX, 0x1122334455667788",
     "48ba8877665544332211"),



    (m64, "00000000    MOV        RAX, RBX",
     "4889d8"),
    (m64, "00000000    MOV        RAX, RBX",
     "4A89d8"),
    (m64, "00000000    MOV        RAX, R11",
     "4C89d8"),
    (m64, "00000000    MOV        R8D, EBX",
     "4189d8"),
    (m64, "00000000    MOV        R8D, EBX",
     "4389d8"),
    (m64, "00000000    MOV        EAX, R11D",
     "4489d8"),
    (m64, "00000000    MOV        R8D, R11D",
     "4589d8"),
    (m64, "00000000    MOV        EAX, R11D",
     "4689d8"),
    (m64, "00000000    MOV        R8D, R11D",
     "4789d8"),

    (m64, "00000000    MOV        BYTE PTR [RBX + 0x3], R11B",
     "44885B03"),

    (m32, "00000000    MOV        AL, BYTE PTR [0x11223344]",
     "A044332211"),
    (m32, "00000000    MOV        BYTE PTR [0x11223344], AL",
     "A244332211"),
    (m32, "00000000    MOV        EAX, DWORD PTR [0x11223344]",
     "A144332211"),
    (m32, "00000000    MOV        DWORD PTR [0x11223344], EAX",
     "A344332211"),

    (m32, "00000000    MOV        WORD PTR [0x11223344], AX",
     "66A344332211"),

    (m32, "00000000    MOV        DWORD PTR [0x1122], EAX",
     "67A32211"),



    (m16, "00000000    MOV        AL, BYTE PTR [0x1122]",
     "A02211"),
    (m16, "00000000    MOV        BYTE PTR [0x1122], AL",
     "A22211"),
    (m16, "00000000    MOV        AX, WORD PTR [0x1122]",
     "A12211"),
    (m16, "00000000    MOV        WORD PTR [0x1122], AX",
     "A32211"),

    (m64, "00000000    MOV        AL, BYTE PTR [0x1122334455667788]",
     "A08877665544332211"),
    (m64, "00000000    MOV        BYTE PTR [0x1122334455667788], AL",
     "A28877665544332211"),
    (m64, "00000000    MOV        EAX, DWORD PTR [0x1122334455667788]",
     "A18877665544332211"),
    (m64, "00000000    MOV        DWORD PTR [0x1122334455667788], EAX",
     "A38877665544332211"),



    (m32, "00000000    MOV        EAX, DWORD PTR CS:[EAX]",
     "2e8b00"),
    (m32, "00000000    MOV        EAX, DWORD PTR SS:[EAX]",
     "368b00"),
    (m32, "00000000    MOV        EAX, DWORD PTR DS:[EAX]",
     "3e8b00"),
    (m32, "00000000    MOV        EAX, DWORD PTR ES:[EAX]",
     "268b00"),
    (m32, "00000000    MOV        EAX, DWORD PTR FS:[EAX]",
     "648b00"),
    (m32, "00000000    MOV        EAX, DWORD PTR GS:[EAX]",
     "658b00"),



    (m32, "00000000    MOVSX      EAX, BYTE PTR [EAX]",
     "0fbe00"),
    (m32, "00000000    MOVSX      EAX, WORD PTR [EAX]",
     "0fbf00"),

    (m64, "00000000    MOVSX      RAX, BYTE PTR [RAX]",
     "480fbe00"),
    (m64, "00000000    MOVSX      RAX, WORD PTR [RAX]",
     "480fbf00"),

    (m16, "00000000    MOVZX      AX, BYTE PTR [BX + SI]",
     "0fb600"),
    (m16, "00000000    MOVZX      AX, WORD PTR [BX + SI]",
     "0fb700"),

    (m32, "00000000    MOVZX      EAX, BYTE PTR [EAX]",
     "0fb600"),
    (m32, "00000000    MOVZX      EAX, WORD PTR [EAX]",
     "0fb700"),

    (m64, "00000000    MOVSXD     R8, EAX",
     "4c63c0"),

    (m32, "XXXXXXXX    MOVNTI     DWORD PTR [ECX + 0xFFFFFFFC], EDX",
    "0fc351fc"),
    (m64, "XXXXXXXX    MOVNTI     QWORD PTR [RCX + 0xFFFFFFFFFFFFFFFC], R10",
    "4C0FC351FC"),

    (m32, "00000000    MUL        BYTE PTR [EAX]",
     "f620"),
    (m32, "00000000    MUL        EBX",
     "f7e3"),

    (m16, "00000000    CMPSW",
     "a7"),
    (m32, "00000000    CMPSW",
     "66a7"),
    (m32, "00000000    CMPSD",
     "a7"),

    (m64, "00000000    CMPSD",
     "a7"),
    (m64, "00000000    CMPSQ",
     "48a7"),

    (m16, "00000000    LODSB",
     "aC"),
    (m32, "00000000    LODSB",
     "66ac"),
    (m16, "00000000    LODSW",
     "ad"),
    (m32, "00000000    LODSW",
     "66ad"),
    (m32, "00000000    LODSD",
     "ad"),

    (m64, "00000000    LODSD",
     "ad"),
    (m64, "00000000    LODSQ",
     "48ad"),

    (m32, "XXXXXXXX    LEA        EAX, DWORD PTR [EAX + EBX]",
    "8d0418"),
    (m32, "XXXXXXXX    LEA        EAX, DWORD PTR [EAX + EBX + 0x11223344]",
    "8d841844332211"),
    (m32, "XXXXXXXX    LEA        EAX, DWORD PTR [EDX + 0x18]",
    "8d4218"),
    (m32, "XXXXXXXX    LEA        ECX, DWORD PTR [EAX * 0x2]",
    "8d0c00"),


    (m32, "00000000    NEG        BYTE PTR [EAX]",
     "f618"),
    (m32, "00000000    NEG        EBX",
     "f7db"),

    #(m32, "00000000    NOP",
    # "90"),

    (m32, "00000000    NOP        DWORD PTR [EAX]",
     "0f1f00"),

    (m32, "00000000    NOP        EAX",
     "0f1fc8"),


    (m32, "00000000    NOT        BYTE PTR [EAX]",
     "f610"),
    (m32, "00000000    NOT        EBX",
     "f7d3"),

    (m32, "00000000    OR         AL, 0x11",
     "0c11"),
    (m32, "00000000    OR         EAX, 0x11223344",
     "0d44332211"),
    (m32, "00000000    OR         BYTE PTR [EAX], 0x11",
     "800811"),
    (m32, "00000000    OR         DWORD PTR [EAX], 0x11223344",
     "810844332211"),
    (m32, "00000000    OR         DWORD PTR [EAX], 0x11",
     "830811"),
    (m32, "00000000    OR         BYTE PTR [EAX], AL",
     "0800"),
    (m32, "00000000    OR         DWORD PTR [EAX], EAX",
     "0900"),
    (m32, "00000000    OR         AL, BYTE PTR [EAX]",
     "0A00"),
    (m32, "00000000    OR         EAX, DWORD PTR [EAX]",
     "0B00"),

    (m32, "00000000    OUT        0x12, AL",
     "e612"),
    (m32, "00000000    OUT        0x12, EAX",
     "e712"),
    (m64, "00000000    OUT        0x12, RAX",
     "48e712"),

    (m32, "00000000    OUT        DL, AL",
     "EE"),
    (m32, "00000000    OUT        EDX, EAX",
     "EF"),
    (m32, "00000000    OUT        DX, AX",
     "66EF"),

    (m32, "00000000    OUTSB",
     "6e"),
    (m32, "00000000    OUTSD",
     "6f"),
    (m32, "00000000    OUTSW",
     "666f"),
    (m64, "00000000    OUTSD",
     "6f"),
    (m64, "00000000    OUTSW",
     "666f"),

    #(m32, "00000000    PAUSE",
    # "f390"),


    (m16, "00000000    POPW       WORD PTR [BX + SI]",
     "8f00"),
    (m32, "00000000    POPW       WORD PTR [BX + SI]",
     "66678f00"),
    (m32, "00000000    POP        DWORD PTR [EAX]",
     "8f00"),
    (m64, "00000000    POP        QWORD PTR [RAX]",
     "8f00"),


    (m16, "00000000    POPW       AX",
     "8fC0"),
    (m32, "00000000    POPW       AX",
     "668fC0"),
    (m32, "00000000    POP        EAX",
     "8fC0"),
    (m64, "00000000    POP        RAX",
     "8fC0"),

    (m32, "00000000    POP        EAX",
     "58"),
    (m64, "00000000    POP        RAX",
     "58"),
    (m64, "00000000    POP        R10",
     "415a"),

    (m32, "00000000    POP        DS",
     "1f"),
    (m32, "00000000    POP        ES",
     "07"),
    (m32, "00000000    POP        SS",
     "17"),
    (m32, "00000000    POP        FS",
     "0fa1"),
    (m32, "00000000    POP        GS",
     "0fa9"),

    (m16, "00000000    POPW       DS",
     "1f"),
    (m16, "00000000    POPW       ES",
     "07"),
    (m16, "00000000    POPW       SS",
     "17"),
    (m16, "00000000    POPW       FS",
     "0fa1"),
    (m16, "00000000    POPW       GS",
     "0fa9"),

    (m32, "00000000    POPW       DS",
     "661f"),
    (m32, "00000000    POPW       ES",
     "6607"),
    (m32, "00000000    POPW       SS",
     "6617"),
    (m32, "00000000    POPW       FS",
     "660fa1"),
    (m32, "00000000    POPW       GS",
     "660fa9"),

    (m16, "00000000    POPA",
     "61"),
    (m32, "00000000    POPAD",
     "61"),

    (m16, "00000000    POPFW",
     "9d"),
    (m32, "00000000    POPFD",
     "9d"),
    (m64, "00000000    POPFQ",
     "9d"),
    (m64, "00000000    POPFW",
     "669d"),

    (m32, "00000000    PREFETCH0  BYTE PTR [EAX]",
     "0f1808"),
    (m32, "00000000    PREFETCH1  BYTE PTR [EAX]",
     "0f1810"),
    (m32, "00000000    PREFETCH2  BYTE PTR [EAX]",
     "0f1818"),
    (m32, "00000000    PREFETCHNTA BYTE PTR [EAX]",
     "0f1800"),
    (m64, "00000000    PREFETCHW  BYTE PTR [RDI]",
     "0f0d0f"),

    (m16, "00000000    PUSHW      AX",
     "50"),
    (m32, "00000000    PUSH       EAX",
     "50"),
    (m64, "00000000    PUSH       RAX",
     "50"),
    (m64, "00000000    PUSH       R10",
     "4152"),
    (m16, "00000000    PUSHW      WORD PTR [BX + SI]",
     "FF30"),
    (m16, "00000000    PUSHW      WORD PTR [EAX]",
     "67FF30"),
    (m16, "00000000    PUSH       DWORD PTR [EAX]",
     "6667FF30"),
    (m32, "00000000    PUSH       DWORD PTR [EAX]",
     "FF30"),
    (m64, "00000000    PUSH       QWORD PTR [RAX]",
     "FF30"),

    (m16, "00000000    PUSHW      0x11",
     "6a11"),
    (m32, "00000000    PUSH       0x11223344",
     "6844332211"),
    (m32, "00000000    PUSHW      0x1122",
     "66682211"),
    (m32, "00000000    PUSH       0x80",
     "6880000000"),

    (m64, "00000000    PUSH       0x11223344",
     "6844332211"),

    (m32, "00000000    PUSH       0xFFFFFF80",
     "6a80"),

    (m32, "00000000    PUSH       CS",
     "0e"),
    (m32, "00000000    PUSH       SS",
     "16"),
    (m32, "00000000    PUSH       DS",
     "1E"),
    (m32, "00000000    PUSH       ES",
     "06"),
    (m32, "00000000    PUSH       FS",
     "0fa0"),
    (m32, "00000000    PUSH       GS",
     "0fa8"),

    (m32, "00000000    PUSHW      CS",
     "660e"),
    (m32, "00000000    PUSHW      SS",
     "6616"),
    (m32, "00000000    PUSHW      DS",
     "661E"),
    (m32, "00000000    PUSHW      ES",
     "6606"),
    (m32, "00000000    PUSHW      FS",
     "660fa0"),
    (m32, "00000000    PUSHW      GS",
     "660fa8"),

    (m16, "00000000    PUSHW      CS",
     "0e"),
    (m16, "00000000    PUSHW      SS",
     "16"),
    (m16, "00000000    PUSHW      DS",
     "1E"),
    (m16, "00000000    PUSHW      ES",
     "06"),
    (m16, "00000000    PUSHW      FS",
     "0fa0"),
    (m16, "00000000    PUSHW      GS",
     "0fa8"),

    (m16, "00000000    PUSHA",
     "60"),
    (m32, "00000000    PUSHAD",
     "60"),

    (m16, "00000000    PUSHFW",
     "9c"),
    (m32, "00000000    PUSHFD",
     "9c"),
    (m64, "00000000    PUSHFQ",
     "9c"),
    (m64, "00000000    PUSHFW",
     "669c"),

    (m32, "00000000    RCL        BYTE PTR [EAX], 0x1",
     "D010"),
    (m32, "00000000    RCL        BYTE PTR [EAX], CL",
     "d210"),

    (m32, "00000000    RCL        DWORD PTR [EAX], 0x1",
     "D110"),
    (m32, "00000000    RCL        DWORD PTR [EAX], CL",
     "d310"),

    (m32, "00000000    RCL        BYTE PTR [EAX], 0x11",
     "c01011"),
    (m32, "00000000    RCL        DWORD PTR [EAX], 0x11",
     "c11011"),

    (m64, "00000000    RCL        QWORD PTR [RAX], 0x1",
     "48D110"),
    (m64, "00000000    RCL        QWORD PTR [RAX], CL",
     "48d310"),

    (m64, "00000000    RCL        BYTE PTR [RAX], 0x11",
     "c01011"),
    (m64, "00000000    RCL        QWORD PTR [RAX], 0x11",
     "48c11011"),




    (m32, "00000000    RCR        BYTE PTR [EAX], 0x1",
     "D018"),
    (m32, "00000000    RCR        BYTE PTR [EAX], CL",
     "d218"),

    (m32, "00000000    RCR        DWORD PTR [EAX], 0x1",
     "D118"),
    (m32, "00000000    RCR        DWORD PTR [EAX], CL",
     "d318"),

    (m32, "00000000    RCR        BYTE PTR [EAX], 0x11",
     "c01811"),
    (m32, "00000000    RCR        DWORD PTR [EAX], 0x11",
     "c11811"),

    (m64, "00000000    RCR        QWORD PTR [RAX], 0x1",
     "48D118"),
    (m64, "00000000    RCR        QWORD PTR [RAX], CL",
     "48d318"),

    (m64, "00000000    RCR        BYTE PTR [RAX], 0x11",
     "c01811"),
    (m64, "00000000    RCR        QWORD PTR [RAX], 0x11",
     "48c11811"),




    (m32, "00000000    ROL        BYTE PTR [EAX], 0x1",
     "D000"),
    (m32, "00000000    ROL        BYTE PTR [EAX], CL",
     "d200"),

    (m32, "00000000    ROL        DWORD PTR [EAX], 0x1",
     "D100"),
    (m32, "00000000    ROL        DWORD PTR [EAX], CL",
     "d300"),

    (m32, "00000000    ROL        BYTE PTR [EAX], 0x11",
     "c00011"),
    (m32, "00000000    ROL        DWORD PTR [EAX], 0x11",
     "c10011"),

    (m64, "00000000    ROL        QWORD PTR [RAX], 0x1",
     "48D100"),
    (m64, "00000000    ROL        QWORD PTR [RAX], CL",
     "48d300"),

    (m64, "00000000    ROL        BYTE PTR [RAX], 0x11",
     "c00011"),
    (m64, "00000000    ROL        QWORD PTR [RAX], 0x11",
     "48c10011"),



    (m32, "00000000    ROR        BYTE PTR [EAX], 0x1",
     "D008"),
    (m32, "00000000    ROR        BYTE PTR [EAX], CL",
     "d208"),

    (m32, "00000000    ROR        DWORD PTR [EAX], 0x1",
     "D108"),
    (m32, "00000000    ROR        DWORD PTR [EAX], CL",
     "d308"),

    (m32, "00000000    ROR        BYTE PTR [EAX], 0x11",
     "c00811"),
    (m32, "00000000    ROR        DWORD PTR [EAX], 0x11",
     "c10811"),

    (m64, "00000000    ROR        QWORD PTR [RAX], 0x1",
     "48D108"),
    (m64, "00000000    ROR        QWORD PTR [RAX], CL",
     "48d308"),

    (m64, "00000000    ROR        BYTE PTR [RAX], 0x11",
     "c00811"),
    (m64, "00000000    ROR        QWORD PTR [RAX], 0x11",
     "48c10811"),



    (m32, "00000000    RDMSR",
     "0f32"),
    (m32, "00000000    RDPMC",
     "0f33"),
    (m32, "00000000    RDTSC",
     "0f31"),

    (m32, "00000000    INSB",
     "6C"),
    (m16, "00000000    INSW",
     "6D"),
    (m32, "00000000    INSD",
     "6D"),
    (m64, "00000000    INSD",
     "486D"),
    (m64, "00000000    INSD",
     "6D"),


    (m32, "00000000    MOVSB",
     "a4"),
    (m16, "00000000    MOVSW",
     "a5"),
    (m32, "00000000    MOVSD",
     "a5"),
    (m64, "00000000    MOVSQ",
     "48a5"),
    (m64, "00000000    MOVSD",
     "a5"),

    (m32, "00000000    OUTSB",
     "6e"),
    (m16, "00000000    OUTSW",
     "6f"),
    (m32, "00000000    OUTSD",
     "6f"),
    (m64, "00000000    OUTSD",
     "486f"),
    (m64, "00000000    OUTSD",
     "6f"),


    (m32, "00000000    LODSB",
     "ac"),
    (m16, "00000000    LODSW",
     "ad"),
    (m32, "00000000    LODSD",
     "ad"),
    (m64, "00000000    LODSQ",
     "48ad"),
    (m64, "00000000    LODSD",
     "ad"),

    (m32, "00000000    STOSB",
     "aa"),
    (m16, "00000000    STOSW",
     "ab"),
    (m32, "00000000    STOSD",
     "ab"),
    (m64, "00000000    STOSQ",
     "48ab"),
    (m64, "00000000    STOSD",
     "ab"),


    (m32, "00000000    CMPSB",
     "a6"),
    (m16, "00000000    CMPSW",
     "a7"),
    (m32, "00000000    CMPSD",
     "a7"),
    (m64, "00000000    CMPSQ",
     "48a7"),
    (m64, "00000000    CMPSD",
     "a7"),


    (m32, "00000000    SCASB",
     "ae"),
    (m16, "00000000    SCASW",
     "af"),
    (m32, "00000000    SCASD",
     "af"),
    (m64, "00000000    SCASQ",
     "48af"),
    (m64, "00000000    SCASD",
     "af"),

    (m32, "00000000    REPNE SCASB",
     "F2AE"),
    (m32, "00000000    REPE SCASB",
     "F3AE"),
    (m32, "00000000    REP LODSD",
     "F3ad"),

    (m32, "00000000    RET",
     "c3"),

    (m32, "00000000    RET        0x1122",
     "C22211"),

    (m32, "00000000    RETF       0x1122",
     "CA2211"),

    (m32, "00000000    RSM",
     "0faa"),
    (m32, "00000000    SAHF",
     "9e"),

    (m32, "00000000    SAL        BYTE PTR [EAX], 0x1",
     "D030"),
    (m32, "00000000    SAL        BYTE PTR [EAX], CL",
     "d230"),

    (m32, "00000000    SAR        BYTE PTR [EAX], 0x1",
     "D038"),
    (m32, "00000000    SAR        BYTE PTR [EAX], CL",
     "d238"),

    (m32, "00000000    SHL        BYTE PTR [EAX], 0x1",
     "D020"),
    (m32, "00000000    SHL        BYTE PTR [EAX], CL",
     "d220"),

    (m32, "00000000    SHR        BYTE PTR [EAX], 0x1",
     "D028"),
    (m32, "00000000    SHR        BYTE PTR [EAX], CL",
     "d228"),


    (m32, "00000000    SBB        AL, 0x11",
     "1c11"),
    (m32, "00000000    SBB        EAX, 0x11223344",
     "1D44332211"),
    (m32, "00000000    SBB        BYTE PTR [EAX], 0x11",
     "801811"),
    (m32, "00000000    SBB        DWORD PTR [EAX], 0x11223344",
     "811844332211"),
    (m32, "00000000    SBB        BYTE PTR [EAX], AL",
     "1800"),
    (m32, "00000000    SBB        DWORD PTR [EAX], EAX",
     "1900"),
    (m32, "00000000    SBB        AL, BYTE PTR [EAX]",
     "1A00"),
    (m32, "00000000    SBB        EAX, DWORD PTR [EAX]",
     "1B00"),
    (m64, "00000000    SBB        QWORD PTR [RAX], RAX",
     "481900"),


    (m32, "00000000    SETA       BYTE PTR [EAX]",
     "0f9700"),
    (m32, "00000000    SETO       BYTE PTR [EAX]",
     "0f9000"),
    (m32, "00000000    SETNZ      AL",
     "0f95C0"),

    (m32, "00000000    SGDT       DWORD PTR [EAX]",
     "0f0100"),

    (m32, "00000000    SHLD       DWORD PTR [EAX], EAX, 0x11",
     "0fa40011"),
    (m32, "00000000    SHLD       DWORD PTR [EAX], EAX, CL",
     "0fa500"),

    (m64, "00000000    SHLD       QWORD PTR [RAX], RAX, 0x11",
     "480fa40011"),
    (m64, "00000000    SHLD       QWORD PTR [RAX], RAX, CL",
     "480fa500"),

    (m32, "00000000    SHRD       DWORD PTR [EAX], EAX, 0x11",
     "0fac0011"),
    (m32, "00000000    SHRD       DWORD PTR [EAX], EAX, CL",
     "0fad00"),

    (m64, "00000000    SHRD       QWORD PTR [RAX], RAX, 0x11",
     "480fac0011"),
    (m64, "00000000    SHRD       QWORD PTR [RAX], RAX, CL",
     "480fad00"),

    (m32, "00000000    SIDT       DWORD PTR [EAX]",
     "0f0108"),
    (m32, "00000000    SLDT       WORD PTR [EAX]",
     "0f0000"),
    (m32, "00000000    SLDT       EAX",
     "0f00C0"),
    (m32, "00000000    SLDT       AX",
     "660f00C0"),


    (m32, "00000000    LGDT       DWORD PTR [EAX]",
     "0f0110"),
    (m32, "00000000    LIDT       DWORD PTR [EAX]",
     "0f0118"),

    (m64, "00000000    LFENCE",
     "0faee8"),
    (m64, "00000000    MFENCE",
     "0FAEF0"),
    (m64, "00000000    SFENCE",
     "0FAEF8"),


    (m32, "00000000    SUB        AL, 0x11",
     "2c11"),
    (m32, "00000000    SUB        EAX, 0x11223344",
     "2D44332211"),
    (m32, "00000000    SUB        BYTE PTR [EAX], 0x11",
     "802811"),
    (m32, "00000000    SUB        DWORD PTR [EAX], 0x11223344",
     "812844332211"),
    (m32, "00000000    SUB        BYTE PTR [EAX], AL",
     "2800"),
    (m32, "00000000    SUB        DWORD PTR [EAX], EAX",
     "2900"),
    (m32, "00000000    SUB        AL, BYTE PTR [EAX]",
     "2A00"),
    (m32, "00000000    SUB        EAX, DWORD PTR [EAX]",
     "2B00"),
    (m32, "00000000    SUB        EBX, DWORD PTR [EBP + 0xFFFFF858]",
     "2b9d58f8ffff"),


    (m64, "00000000    SYSCALL",
     "0f05"),
    (m64, "00000000    SYSENTER",
     "0f34"),
    (m64, "00000000    SYSEXIT",
     "0f35"),
    (m64, "00000000    SYSRET",
     "0f07"),

    (m32, "00000000    STMXCSR    DWORD PTR [EAX]",
     "0fAE18"),
    (m32, "00000000    LDMXCSR    DWORD PTR [EAX]",
     "0fAE10"),



    (m32, "00000000    TEST       AL, 0x11",
     "a811"),
    (m32, "00000000    TEST       EAX, 0x11223344",
     "A944332211"),

    (m32, "00000000    TEST       BYTE PTR [EAX], 0x11",
     "f60011"),
    (m32, "00000000    TEST       DWORD PTR [EAX], 0x11223344",
     "f70044332211"),

    (m32, "00000000    TEST       BYTE PTR [EAX], AL",
     "8400"),
    (m32, "00000000    TEST       DWORD PTR [EAX], EAX",
     "8500"),

    (m32, "00000000    UD2",
     "0f0b"),

    (m32, "00000000    VERR       DWORD PTR [EAX]",
     "0f0020"),

    (m32, "00000000    VERW       DWORD PTR [EAX]",
     "0f0028"),

    (m32, "00000000    WBINVD",
     "0f09"),

    (m32, "00000000    WRMSR",
     "0f30"),

    (m32, "00000000    XADD       BYTE PTR [EAX], AL",
     "0fc000"),
    (m32, "00000000    XADD       DWORD PTR [EAX], EAX",
     "0fc100"),

    (m16, "00000000    XCHG       AX, CX",
     "91"),

    (m32, "00000000    XCHG       EAX, ECX",
     "91"),

    (m64, "00000000    XCHG       EAX, ECX",
     "91"),
    (m64, "00000000    XCHG       RAX, RCX",
     "4891"),

    (m32, "00000000    NOP",
     "90"),

    (m64, "00000000    XCHG       RAX, R8",
     "4990"),


    (m32, "00000000    XCHG       BYTE PTR [EAX], AL",
     "8600"),
    (m32, "00000000    XCHG       DWORD PTR [EAX], EAX",
     "8700"),


    (m32, "00000000    XOR        AL, 0x11",
     "3411"),
    (m32, "00000000    XOR        EAX, 0x11223344",
     "3544332211"),
    (m32, "00000000    XOR        BYTE PTR [EAX], 0x11",
     "803011"),
    (m32, "00000000    XOR        DWORD PTR [EAX], 0x11223344",
     "813044332211"),
    (m32, "00000000    XOR        DWORD PTR [EAX], 0xFFFFFFFF",
     "8330FF"),
    (m32, "00000000    XOR        BYTE PTR [EAX], AL",
     "3000"),
    (m32, "00000000    XOR        DWORD PTR [EAX], EAX",
     "3100"),
    (m32, "00000000    XOR        EAX, DWORD PTR [EAX]",
     "3300"),

    (m32, "00000000    XORPS      XMM1, XMM2",
     "0f57ca"),
    (m32, "00000000    XORPS      XMM1, XMMWORD PTR [EDI + 0x42]",
     "0f574f42"),
    (m32, "00000000    XORPD      XMM1, XMM2",
     "660f57ca"),

    (m32, "00000000    ORPS       XMM1, XMM2",
     "0f56ca"),
    (m32, "00000000    ORPS       XMM1, XMMWORD PTR [EDI + 0x42]",
     "0f564f42"),
    (m32, "00000000    ORPD       XMM1, XMM2",
     "660f56ca"),

    (m32, "00000000    MOVAPS     XMMWORD PTR [EBP + 0xFFFFFFB8], XMM0",
     "0f2945b8"),
    (m32, "00000000    MOVAPS     XMM0, XMMWORD PTR [EBP + 0xFFFFFFB8]",
     "0f2845b8"),
    (m32, "00000000    MOVAPD     XMMWORD PTR [EBP + 0xFFFFFFB8], XMM0",
     "660f2945b8"),


    (m32, "00000000    MOVLPD     XMM0, QWORD PTR [ESP + 0x4]",
     "660F12442404"),
    (m32, "00000000    MOVLPS     XMM0, QWORD PTR [ESP + 0x4]",
     "0F12442404"),
    (m32, "00000000    MOVLPD     QWORD PTR [ESP + 0x4], XMM0",
     "660F13442404"),
    (m32, "00000000    MOVLPS     QWORD PTR [ESP + 0x4], XMM0",
     "0F13442404"),

    (m32, "00000000    MOVHPD     XMM0, QWORD PTR [ESP + 0x4]",
     "660F16442404"),
    (m32, "00000000    MOVHPS     XMM0, QWORD PTR [ESP + 0x4]",
     "0F16442404"),
    (m32, "00000000    MOVHPD     QWORD PTR [ESP + 0x4], XMM0",
     "660F17442404"),
    (m32, "00000000    MOVHPS     QWORD PTR [ESP + 0x4], XMM0",
     "0F17442404"),

    (m32, "00000000    MOVLHPS    XMM2, XMM1",
     "0F16D1"),
    (m32, "00000000    MOVHLPS    XMM2, XMM1",
     "0F12D1"),

    (m32, "00000000    MOVDQ2Q    MM2, XMM1",
     "F20Fd6D1"),

    (m32, "00000000    MOVUPS     XMM2, XMMWORD PTR [ECX]",
     "0f1011"),
    (m64, "00000000    MOVUPS     XMMWORD PTR [RCX + 0x50], XMM1",
     "0f114950"),
    (m32, "00000000    MOVSD      XMM2, QWORD PTR [ECX]",
     "f20f1011"),
    (m32, "00000000    MOVSD      XMM2, XMM1",
     "f20f10d1"),
    (m32, "00000000    MOVSD      QWORD PTR [EBP + 0xFFFFFFD8], XMM0",
     "f20f1145d8"),
    (m32, "00000000    MOVSS      XMM2, DWORD PTR [ECX]",
     "f30f1011"),
    (m32, "00000000    MOVUPD     XMM2, XMMWORD PTR [ECX]",
     "660f1011"),

    (m32, "00000000    MOVSS      DWORD PTR [EBP + 0xFFFFFC00], XMM0",
     "f30f118500fcffff"),

    (m64, "00000000    MOVSS      DWORD PTR [RBP + 0xFFFFFFFFFFFFFC00], XMM0",
     "f30f118500fcffff"),

    (m64, "00000000    MOVMSKPS   EAX, XMM2",
     "0f50c2"),
    (m64, "00000000    MOVMSKPS   R8D, XMM2",
     "440f50c2"),
    (m64, "00000000    MOVMSKPD   EAX, XMM2",
     "660F50C2"),
    (m32, "00000000    ADDSS      XMM2, DWORD PTR [ECX]",
     "f30f5811"),
    (m32, "00000000    ADDSS      XMM1, XMM2",
     "f30f58ca"),
    (m32, "00000000    ADDSD      XMM2, QWORD PTR [ECX]",
     "f20f5811"),
    (m32, "00000000    ADDSD      XMM2, XMM1",
     "f20f58d1"),
    (m32, "00000000    ADDPS      XMM2, XMMWORD PTR [ECX]",
     "0f5811"),
    (m32, "00000000    ADDPD      XMM2, XMMWORD PTR [ECX]",
     "660f5811"),

    (m32, "00000000    MULSD      XMM2, QWORD PTR [ECX]",
     "f20f5911"),


    (m32, "00000000    PXOR       MM0, MM1",
     "0fefc1"),
    (m32, "00000000    PXOR       XMM0, XMM1",
     "660fefc1"),
    (m32, "00000000    PXOR       XMM6, XMMWORD PTR [ECX + 0x10]",
     "660fef7110"),

    (m32, "00000000    UCOMISD    XMM0, QWORD PTR [EBP + 0xFFFFFFD8]",
     "660f2e45d8"),
    (m32, "00000000    ANDPS      XMM0, XMMWORD PTR [EBX + 0x2CBD27]",
     "0f548327bd2c00"),
    (m32, "00000000    ANDPD      XMM0, XMMWORD PTR [EBX + 0x2CBD27]",
     "660f548327bd2c00"),
    (m32, "00000000    ANDNPS     XMM0, XMMWORD PTR [EBX + 0x2CBD27]",
     "0f558327bd2c00"),
    (m32, "00000000    ANDNPD     XMM0, XMMWORD PTR [EBX + 0x2CBD27]",
     "660f558327bd2c00"),


    (m32, "00000000    SUBSD      XMM1, XMM0",
     "f20f5cc8"),

    (m32, "00000000    MAXSD      XMM0, QWORD PTR [EBX + 0x2CBD37]",
     "f20f5f8337bd2c00"),
    (m32, "00000000    MAXSS      XMM0, DWORD PTR [EBX + 0x2CBD37]",
     "f30f5f8337bd2c00"),


    (m32, "00000000    MINPS      XMM0, XMM2",
     "0F5DC2"),
    (m32, "00000000    MINSS      XMM0, XMM3",
     "F30F5DC3"),
    (m32, "00000000    MINPD      XMM0, XMM4",
     "660F5DC4"),
    (m32, "00000000    MINSD      XMM0, XMM5",
     "F20F5DC5"),
    (m32, "00000000    MAXPS      XMM0, XMM6",
     "0F5FC6"),
    (m32, "00000000    MAXPD      XMM0, XMM1",
     "660F5FC1"),
    (m32, "00000000    MAXSD      XMM0, XMM2",
     "F20F5FC2"),
    (m32, "00000000    MAXSS      XMM0, XMM7",
     "F30F5FC7"),
    (m32, "00000000    CMPEQPS    XMM0, XMM3",
     "0FC2C300"),
    (m32, "00000000    CMPEQSS    XMM0, XMM4",
     "F30FC2C400"),
    (m32, "00000000    CMPEQPD    XMM0, XMM5",
     "660FC2C500"),
    (m32, "00000000    CMPEQSD    XMM0, XMM6",
     "F20FC2C600"),

    (m32, "00000000    CVTDQ2PD   XMM0, XMM3",
     "f30fe6c3"),
    (m32, "00000000    CVTDQ2PS   XMM0, XMM3",
     "0f5bc3"),
    (m32, "00000000    CVTPD2DQ   XMM0, XMM3",
     "f20fe6c3"),
    (m32, "00000000    CVTPD2PI   MM0, XMM3",
     "660f2dc3"),
    (m32, "00000000    CVTPD2PS   XMM0, XMM3",
     "660f5ac3"),
    (m32, "00000000    CVTPI2PD   XMM0, MM3",
     "660f2ac3"),
    (m32, "00000000    CVTPI2PS   XMM0, MM3",
     "0f2ac3"),
    (m32, "00000000    CVTPS2DQ   XMM0, XMM3",
     "660f5bc3"),
    (m32, "00000000    CVTPS2PD   XMM0, XMM3",
     "0f5ac3"),
    (m32, "00000000    CVTPS2PI   MM0, XMM3",
     "0f2dc3"),
    (m32, "00000000    CVTSD2SI   EAX, XMM3",
     "f20f2dc3"),
    (m32, "00000000    CVTSD2SS   XMM0, XMM3",
     "f20f5ac3"),
    (m32, "00000000    CVTSI2SD   XMM0, EBX",
     "f20f2ac3"),
    (m32, "00000000    CVTSI2SS   XMM0, EBX",
     "f30f2ac3"),
    (m32, "00000000    CVTSS2SD   XMM0, XMM0",
     "f30f5ac0"),
    (m32, "00000000    CVTSS2SI   EAX, XMM3",
     "f30f2dc3"),
    (m32, "00000000    CVTTPD2PI  MM0, XMM3",
     "660f2cc3"),
    (m32, "00000000    CVTTPD2DQ  XMM0, XMM3",
     "660fe6c3"),
    (m32, "00000000    CVTTPS2DQ  XMM0, XMM3",
     "f30f5bc3"),
    (m32, "00000000    CVTTPS2PI  MM0, XMM3",
     "0f2cc3"),
    (m32, "00000000    CVTTSD2SI  EAX, XMM3",
     "f20f2cc3"),
    (m32, "00000000    CVTTSS2SI  EAX, XMM3",
     "f30f2cc3"),




    (m32, "00000000    CVTSI2SD   XMM0, EBX",
     "f20f2ac3"),

    (m32, "00000000    PMINSW     MM0, MM1",
     "0feac1"),
    (m32, "00000000    PMINSW     XMM0, XMM1",
     "660feac1"),

    (m64, "00000000    MOV        BYTE PTR [RSI], DIL",
     "40883E"),
    (m32, "00000000    MOVZX      EAX, BH",
     "0fb6c7"),
    (m64, "00000000    MOVZX      EAX, BH",
     "0fb6c7"),
    (m64, "00000000    MOVZX      EAX, DIL",
     "400fb6c7"),
    (m64, "00000000    MOV        BYTE PTR [RCX], SIL",
     "408831"),
    (m64, "00000000    CMP        SIL, CL",
     "4038ce"),

    (m64, "00000000    SETZ       DIL",
     "400f94c7"),
    (m64, "00000000    SETNZ      BPL",
     "400f95c5"),
    (m64, "00000000    MOV        CL, BPL",
     "4088e9"),
    (m64, "00000000    AND        DIL, 0x0",
     "4080e700"),
    (m64, "00000000    MOV        DIL, AL",
     "4088c7"),
    (m64, "00000000    MOV        DIL, BYTE PTR [RSI]",
     "408a3e"),
    (m64, "00000000    DEC        DIL",
     "40fecf"),

    (m64, "00000000    TEST       DIL, DIL",
     "4084ff"),
    (m32, "00000000    JMP        EDX",
     "FFE2"),
    (m64, "00000000    JMP        RDX",
     "FFE2"),

    (m32, "00000000    JMP        FAR DWORD PTR [EAX]",
     "FF28"),
    (m64, "00000000    JMP        FAR DWORD PTR [RAX]",
     "FF28"),
    (m32, "00000000    JMP        0x6655:0x44332211",
     "EA112233445566"),

    (m32, "00000000    XGETBV",
     "0f01d0"),

    (m32, "00000000    MOVD       MM4, DWORD PTR [EAX + EDX * 0x8]",
     "0f6e24d0"),
    (m32, "00000000    MOVD       DWORD PTR [EAX + EDX * 0x8], MM4",
     "0f7e24d0"),
    (m64, "00000000    MOVD       DWORD PTR [RAX + RDX * 0x8], MM4",
     "0f7e24d0"),
    (m64, "00000000    MOVD       DWORD PTR [RAX + R10 * 0x8], MM4",
     "420f7e24d0"),

    (m32, "00000000    MOVD       XMM4, DWORD PTR [EAX + EDX * 0x8]",
     "660f6e24d0"),
    (m32, "00000000    MOVD       DWORD PTR [EAX + EDX * 0x8], XMM4",
     "660f7e24d0"),
    (m64, "00000000    MOVD       DWORD PTR [RAX + RDX * 0x8], XMM4",
     "660f7e24d0"),
    (m64, "00000000    MOVD       DWORD PTR [RAX + R10 * 0x8], XMM4",
     "66420f7e24d0"),

    (m32, "00000002    MOVQ       XMM4, QWORD PTR [EAX + EDX * 0x8]",
     "F30F7E24D0"),
    (m32, "00000008    MOVQ       QWORD PTR [EAX + EDX * 0x8], XMM4",
     "660FD624D0"),
    (m32, "0000000E    MOVQ       QWORD PTR [EAX + EDX * 0x8], MM4",
     "0F7F24D0"),

    (m64, "00000000    MOVQ       XMM4, QWORD PTR [RAX + R10 * 0x8]",
     "f3420f7e24d0"),
    (m64, "00000000    MOVQ       XMM1, QWORD PTR [R12 + 0xFFFFFFFFFFFFFFE0]",
     "f3410f7e4c24e0"),

    (m64, "00000000    MOVQ       RCX, XMM0",
     "66480F7EC1"),

    (m32, "00000000    MOVQ2DQ    XMM0, MM1",
     "F30FD6C1"),

    (m32, "00000000    PAND       MM2, MM6",
     "0fdbd6"),
    (m32, "00000000    PAND       XMM2, XMM6",
     "660fdbd6"),


    (m32, "00000000    PAND       MM0, MM4",
     "0fdbc4"),
    (m32, "00000000    PAND       XMM0, XMM4",
     "660fdbc4"),

    (m32, "00000000    PANDN      MM2, MM6",
     "0fdfd6"),
    (m32, "00000000    PANDN      XMM2, XMM6",
     "660fdfd6"),


    (m32, "00000000    PANDN      MM0, MM4",
     "0fdfc4"),
    (m32, "00000000    PANDN      XMM0, XMM4",
     "660fdfc4"),


    (m32, "00000000    POR        XMM0, XMM1",
     "660febc1"),
    (m32, "00000000    POR        XMM6, XMMWORD PTR [ECX + 0x10]",
     "660febb110000000"),
    (m32, "00000000    POR        MM6, QWORD PTR [ECX + 0x10]",
     "0febb110000000"),

    (m32, "00000000    MOVDQU     XMM1, XMMWORD PTR [ESI]",
     "f30f6f0e"),
    (m32, "00000000    MOVDQA     XMMWORD PTR [ESP], XMM0",
     "660f7f0424"),

    (m32, "00000000    LES        EDI, DWORD PTR [ESI]",
     "C43E"),
    (m32, "00000000    LDS        EDI, DWORD PTR [ESI]",
     "C53E"),
    (m32, "00000000    LSS        EDI, DWORD PTR [ESI]",
     "0FB23E"),
    (m32, "00000000    LFS        EDI, DWORD PTR [ESI]",
     "0FB43E"),
    (m32, "00000000    LGS        EDI, DWORD PTR [ESI]",
     "0FB53E"),

    (m16, "00000000    LES        SI, WORD PTR [BX + SI]",
     "C430"),
    (m16, "00000000    LDS        SI, WORD PTR [BX + SI]",
     "C530"),

    #### BMI operations
    ####

    (m64, "00000000    BLSI       RAX, QWORD PTR [EBX]",
    "67c4e2f8f31b"),
    (m64, "00000000    BLSI       EAX, EBX",
    "c4e278f3db"),
    (m64, "00000000    BLSI       EAX, R14D",
    "c4c278f3de"),

    (m64, "00000000    ANDN       RAX, RBX, RCX",
    "c4e2e0f2c1"),

    (m64, "00000000    BEXTR      RAX, RBX, RCX",
    "c4e2f0f7c3"),

    #### MMX/SSE/AVX operations
    ####

    ### Arithmetic (floating-point)
    ###

    ## Additions
    # SSE
    (m32, "00000000    PADDB      XMM0, XMM1",
     "660ffcc1"),
    (m64, "00000000    PADDB      XMM0, XMM1",
     "660ffcc1"),
    (m32, "00000000    PADDW      XMM0, XMM1",
     "660ffdc1"),
    (m32, "00000000    PADDD      XMM0, XMM1",
     "660ffec1"),
    (m32, "00000000    PADDQ      XMM0, XMM1",
     "660fd4c1"),

    (m32, "00000007    PADDB      MM4, QWORD PTR [EAX + EDX * 0x8]",
     "0FFC24D0"),
    (m32, "0000000B    PADDB      XMM4, XMMWORD PTR [EAX + EDX * 0x8]",
     "660FFC24D0"),

    (m32, "00000000    PADDB      MM0, MM1",
     "0ffcc1"),
    (m64, "00000000    PADDB      MM0, MM1",
     "0ffcc1"),
    (m32, "00000000    PADDW      MM0, MM1",
     "0ffdc1"),
    (m32, "00000000    PADDD      MM0, MM1",
     "0ffec1"),
    (m32, "00000000    PADDQ      MM0, MM1",
     "0fd4c1"),


    ## Substractions
    # SSE
    (m32, "00000000    PSUBB      XMM0, XMM1",
     "660ff8c1"),
    (m32, "00000000    PSUBW      XMM0, XMM1",
     "660ff9c1"),
    (m32, "00000000    PSUBD      XMM0, XMM1",
     "660ffac1"),
    (m32, "00000000    PSUBQ      XMM0, XMM1",
     "660ffbc1"),

    ### Arithmetic (floating-point)
    ###

    ## Additions
    # SSE
    (m32, "00000000    ADDPS      XMM0, XMM1",
     "0f58c1"),
    (m32, "00000000    ADDPD      XMM0, XMM1",
     "660f58c1"),

    ## Substractions
    # SSE
    (m32, "00000000    SUBPS      XMM0, XMM1",
     "0f5cc1"),
    (m32, "00000000    SUBPD      XMM0, XMM1",
     "660f5cc1"),

    ## Multiplications
    # SSE
    (m32, "00000000    MULPS      XMM0, XMM1",
     "0f59c1"),
    (m32, "00000000    MULPD      XMM0, XMM1",
     "660f59c1"),

    ## Divisions
    # SSE
    (m32, "00000000    DIVPS      XMM0, XMM1",
     "0f5ec1"),
    (m32, "00000000    DIVPD      XMM0, XMM1",
     "660f5ec1"),

    ### Converts
    ###

    ## SS -> SD
    ##

    # SSE
    (m32, "00000000    CVTSD2SS   XMM0, XMM0",
     "f20f5ac0"),

    ## SD -> SS
    ##

    # SSE
    (m32, "00000000    CVTSS2SD   XMM0, DWORD PTR [EBP + 0xFFFFFFD0]",
     "f30f5a45d0"),

    (m32, "00000001    CVTSD2SS   XMM4, QWORD PTR [EAX + EDX * 0x8]",
     "F20F5A24D0"),
    (m32, "00000006    CVTSS2SD   XMM4, DWORD PTR [EAX + EDX * 0x8]",
     "F30F5A24D0"),


    (m32, "00000000    COMISS     XMM0, XMM0",
    "0f2fc0"),
    (m64, "00000000    COMISS     XMM0, XMM8",
    "410f2fc0"),
    (m64, "00000000    COMISS     XMM0, DWORD PTR [RAX]",
    "0f2f00"),
    (m64, "00000000    COMISS     XMM0, DWORD PTR [RSP + 0x34]",
    "0F2F442434"),
    (m32, "00000000    COMISD     XMM7, XMM6",
    "660F2FFE"),

    (m32, "00000000    PSHUFB     MM6, QWORD PTR [ESI]",
    "0F380036"),
    (m32, "00000000    PSHUFB     XMM6, XMMWORD PTR [ESI]",
    "660F380036"),
    (m32, "00000000    PSHUFD     XMM6, XMMWORD PTR [ESI], 0xEE",
    "660F7036EE"),


    (m32, "00000000    PSRLQ      MM6, 0x5",
    "0F73D605"),
    (m32, "00000000    PSRLQ      XMM6, 0x5",
    "660F73D605"),
    (m32, "00000000    PSRLD      MM6, 0x5",
    "0F72D605"),
    (m32, "00000000    PSRLD      XMM6, 0x5",
    "660F72D605"),
    (m64, "00000000    PSRLDQ     XMM0, 0x8",
     "660f73d808"),
    (m32, "00000000    PSRLW      MM6, 0x5",
    "0F71D605"),
    (m32, "00000000    PSRLW      XMM6, 0x5",
    "660F71D605"),

    (m32, "00000000    PSRAW      XMM0, 0x7",
     "660F71E007"),
    (m32, "00000000    PSRAW      XMM0, XMM3",
     "660FE1C3"),
    (m32, "00000000    PSRAD      XMM0, 0x7",
     "660F72E007"),
    (m32, "00000000    PSRAD      XMM0, XMM3",
     "660FE2C3"),

    (m32, "00000000    PSRLQ      MM2, QWORD PTR [EDX]",
    "0FD312"),
    (m32, "00000000    PSRLQ      XMM2, XMMWORD PTR [EDX]",
    "660FD312"),

    (m32, "00000000    PSRLD      MM2, QWORD PTR [EDX]",
    "0FD212"),
    (m32, "00000000    PSRLD      XMM2, XMMWORD PTR [EDX]",
    "660FD212"),

    (m32, "00000000    PSRLW      MM2, QWORD PTR [EDX]",
    "0FD112"),
    (m32, "00000000    PSRLW      XMM2, XMMWORD PTR [EDX]",
    "660FD112"),




    (m32, "00000000    PSLLQ      MM6, 0x5",
    "0F73F605"),
    (m32, "00000000    PSLLQ      XMM6, 0x5",
    "660F73F605"),
    (m32, "00000000    PSLLD      MM6, 0x5",
    "0F72F605"),
    (m32, "00000000    PSLLD      XMM6, 0x5",
    "660F72F605"),
    (m32, "00000000    PSLLW      MM6, 0x5",
    "0F71F605"),
    (m32, "00000000    PSLLW      XMM6, 0x5",
    "660F71F605"),

    (m64, "00000000    PSLLDQ     XMM2, 0x1",
    "660F73Fa01"),


    (m32, "00000000    PSLLQ      MM2, QWORD PTR [EDX]",
    "0FF312"),
    (m32, "00000000    PSLLQ      XMM2, XMMWORD PTR [EDX]",
    "660FF312"),

    (m32, "00000000    PSLLD      MM2, QWORD PTR [EDX]",
    "0FF212"),
    (m32, "00000000    PSLLD      XMM2, XMMWORD PTR [EDX]",
    "660FF212"),

    (m32, "00000000    PSLLW      MM2, QWORD PTR [EDX]",
    "0FF112"),
    (m32, "00000000    PSLLW      XMM2, XMMWORD PTR [EDX]",
    "660FF112"),

    (m32, "00000000    PMAXUB     MM2, QWORD PTR [EDX]",
    "0FDE12"),
    (m32, "00000000    PMAXUB     XMM2, XMMWORD PTR [EDX]",
    "660FDE12"),

    (m32, "00000000    PMAXUW     XMM2, XMMWORD PTR [EDX]",
    "660F383E12"),
    (m32, "00000000    PMAXUD     XMM2, XMMWORD PTR [EDX]",
    "660F383F12"),



    (m32, "00000000    PMINUB     MM2, QWORD PTR [EDX]",
    "0FDA12"),
    (m32, "00000000    PMINUB     XMM2, XMMWORD PTR [EDX]",
    "660FDA12"),

    (m32, "00000000    PMINUW     XMM2, XMMWORD PTR [EDX]",
    "660F383A12"),
    (m32, "00000000    PMINUD     XMM2, XMMWORD PTR [EDX]",
    "660F383B12"),


    (m32, "00000000    PCMPEQB    MM2, QWORD PTR [EDX]",
    "0F7412"),
    (m32, "00000000    PCMPEQB    XMM2, XMMWORD PTR [EDX]",
    "660F7412"),

    (m32, "00000000    PCMPEQW    MM2, QWORD PTR [EDX]",
    "0F7512"),
    (m32, "00000000    PCMPEQW    XMM2, XMMWORD PTR [EDX]",
    "660F7512"),

    (m32, "00000000    PCMPEQD    MM2, QWORD PTR [EDX]",
    "0F7612"),
    (m32, "00000000    PCMPEQD    XMM2, XMMWORD PTR [EDX]",
    "660F7612"),

    (m64, "00000000    PCMPGTD    MM3, MM0",
     "0f66d8"),
    (m64, "00000000    PCMPGTD    XMM3, XMM0",
     "660f66d8"),

    (m32, "00000000    PCMPEQQ    XMM0, XMM5",
    "660f3829C5"),
    (m32, "00000000    PCMPGTQ    XMM0, XMM5",
    "660f3837C5"),

    (m64, "00000000    PCMPGTB    XMM8, XMM5",
     "66440f64c5"),

    (m64, "00000000    PALIGNR    XMM1, XMM2, 0xC",
     "660f3a0fca0c"),


    (m32, "00000000    PUNPCKHBW  MM2, QWORD PTR [EDX]",
    "0F6812"),
    (m32, "00000000    PUNPCKHBW  XMM2, XMMWORD PTR [EDX]",
    "660F6812"),

    (m32, "00000000    PUNPCKHWD  MM2, QWORD PTR [EDX]",
    "0F6912"),
    (m32, "00000000    PUNPCKHWD  XMM2, XMMWORD PTR [EDX]",
    "660F6912"),

    (m32, "00000000    PUNPCKHDQ  MM2, QWORD PTR [EDX]",
    "0F6A12"),
    (m32, "00000000    PUNPCKHDQ  XMM2, XMMWORD PTR [EDX]",
    "660F6A12"),

    (m32, "00000000    PUNPCKHQDQ XMM2, XMMWORD PTR [EDX]",
    "660F6D12"),


    (m32, "00000000    PUNPCKLBW  MM2, QWORD PTR [EDX]",
    "0F6012"),
    (m32, "00000000    PUNPCKLBW  XMM2, XMMWORD PTR [EDX]",
    "660F6012"),

    (m32, "00000000    PUNPCKLWD  MM2, QWORD PTR [EDX]",
    "0F6112"),
    (m32, "00000000    PUNPCKLWD  XMM2, XMMWORD PTR [EDX]",
    "660F6112"),

    (m32, "00000000    PUNPCKLDQ  MM2, QWORD PTR [EDX]",
    "0F6212"),
    (m32, "00000000    PUNPCKLDQ  XMM2, XMMWORD PTR [EDX]",
    "660F6212"),

    (m32, "00000000    PUNPCKLQDQ XMM2, XMMWORD PTR [EDX]",
    "660F6C12"),


    (m32, "00000000    PINSRB     XMM2, BYTE PTR [EDX], 0x5",
    "660F3A201205"),

    (m32, "00000000    PINSRW     MM2, WORD PTR [EDX], 0x5",
    "0FC41205"),
    (m32, "00000000    PINSRW     XMM2, WORD PTR [EDX], 0x5",
    "660FC41205"),

    (m32, "00000000    PINSRD     XMM2, DWORD PTR [EDX], 0x5",
    "660F3A221205"),


    (m64, "00000000    PINSRB     XMM2, BYTE PTR [RDX], 0x5",
    "660F3A201205"),

    (m64, "00000000    PINSRW     MM2, WORD PTR [RDX], 0x5",
    "0FC41205"),
    (m64, "00000000    PINSRW     XMM2, WORD PTR [RDX], 0x5",
    "660FC41205"),


    (m64, "00000000    PINSRB     XMM2, EDX, 0x5",
    "660F3A20D205"),

    (m64, "00000000    PINSRW     MM2, EDX, 0x5",
    "0FC4D205"),
    (m64, "00000000    PINSRW     XMM2, EDX, 0x5",
    "660FC4D205"),

    (m64, "00000000    PINSRB     XMM2, RDX, 0x5",
    "66480F3A20D205"),

    (m64, "00000000    PINSRW     MM2, RDX, 0x5",
    "480FC4D205"),
    (m64, "00000000    PINSRW     XMM2, RDX, 0x5",
    "66480FC4D205"),


    (m64, "00000000    PINSRD     XMM2, DWORD PTR [RDX], 0x5",
    "660F3A221205"),
    (m64, "00000000    PINSRQ     XMM2, QWORD PTR [RDX], 0x5",
    "66480F3A221205"),





    (m32, "00000000    PEXTRB     BYTE PTR [EDX], XMM2, 0x5",
    "660F3A141205"),
    (m32, "00000000    PEXTRB     EAX, XMM2, 0x5",
    "660F3A14D005"),

    (m32, "00000000    PEXTRW     WORD PTR [EDX], XMM2, 0x5",
    "660F3A151205"),

    (m32, "00000000    PEXTRW     EAX, MM2, 0x5",
    "0fc5c205"),
    (m32, "00000000    PEXTRW     EAX, XMM2, 0x5",
    "660fc5c205"),


    (m32, "00000000    PEXTRD     DWORD PTR [EDX], XMM2, 0x5",
    "660F3A161205"),

    (m64, "00000000    PEXTRD     DWORD PTR [RDX], XMM2, 0x5",
    "660F3A161205"),
    (m64, "00000000    PEXTRQ     QWORD PTR [RDX], XMM2, 0x5",
    "66480F3A161205"),

    (m64, "00000000    PEXTRW     RCX, XMM14, 0x5",
    "664C0F3A15F105"),


    (m32, "00000000    UNPCKHPS   XMM2, XMMWORD PTR [EDX]",
     "0f1512"),
    (m32, "00000000    UNPCKHPD   XMM2, XMMWORD PTR [EDX]",
     "660f1512"),

    (m32, "00000000    UNPCKLPS   XMM2, XMMWORD PTR [EDX]",
     "0f1412"),
    (m32, "00000000    UNPCKLPD   XMM2, XMMWORD PTR [EDX]",
     "660f1412"),

    (m32, "00000000    SQRTPD     XMM2, XMMWORD PTR [EDX]",
     "660f5112"),
    (m32, "00000000    SQRTPS     XMM2, XMMWORD PTR [EDX]",
     "0f5112"),
    (m32, "00000000    SQRTSD     XMM2, QWORD PTR [EDX]",
     "F20f5112"),
    (m32, "00000000    SQRTSS     XMM2, DWORD PTR [EDX]",
     "F30f5112"),

    (m32, "00000000    PMOVMSKB   EAX, MM7",
     "0FD7C7"),
    (m32, "00000000    PMOVMSKB   EAX, XMM7",
     "660FD7C7"),

    (m64, "XXXXXXXX    PMOVMSKB   R8D, XMM2",
    "66440fd7c2"),
    (m64, "XXXXXXXX    PMOVMSKB   EAX, XMM2",
    "660fd7c2"),


    (m64, "00000000    SHUFPS     XMM0, XMM6, 0x44",
     "0fc6c644"),
    (m64, "00000000    SHUFPD     XMM0, XMM6, 0x44",
     "660fc6c644"),

    (m32, "00000000    AESENC     XMM1, XMM2",
     "660f38dcca"),
    (m32, "00000000    AESDEC     XMM1, XMM2",
     "660f38deca"),

    (m32, "00000000    AESENCLAST XMM1, XMM2",
     "660f38ddca"),
    (m32, "00000000    AESDECLAST XMM1, XMM2",
     "660f38dfca"),

    (m64, "00000000    BNDMOV     XMMWORD PTR [RSP + 0x80], BND0",
     "660f1b842480000000"),
    (m64, "00000000    BNDMOV     BND3, XMMWORD PTR [RSP + 0xB0]",
     "660f1a9c24b0000000"),

    (m32, "00000000    PACKSSWB   MM7, MM0",
     "0f63f8"),
    (m32, "00000000    PACKSSWB   XMM0, XMM5",
     "660f63c5"),

    (m32, "00000000    PACKSSDW   MM2, MM0",
     "0f6bd0"),
    (m32, "00000000    PACKSSDW   XMM0, XMM7",
     "660f6bc7"),

    (m32, "00000000    PACKUSWB   MM1, MM7",
     "0f67cf"),
    (m32, "00000000    PACKUSWB   XMM0, XMM6",
     "660f67c6"),

    (m32, "00000000    PMULLW     MM4, MM2",
     "0fd5e2"),
    (m32, "00000000    PMULLW     XMM0, XMM3",
     "660fd5c3"),

    (m32, "00000000    PSUBUSB    MM5, MM3",
     "0fd8eb"),
    (m32, "00000000    PSUBUSB    XMM0, XMM5",
     "660fd8c5"),

    (m32, "00000000    PSUBUSW    MM5, MM3",
     "0fd9eb"),
    (m32, "00000000    PSUBUSW    XMM0, XMM5",
     "660fd9c5"),

    (m32, "00000000    PADDUSB    MM5, MM3",
     "0fdceb"),
    (m32, "00000000    PADDUSB    XMM0, XMM6",
     "660fdcc6"),

    (m32, "00000000    PADDUSW    MM7, MM5",
     "0fddfd"),
    (m32, "00000000    PADDUSW    XMM0, XMM1",
     "660fddc1"),

    (m32, "00000000    PMULHUW    MM6, MM4",
     "0fe4f4"),
    (m32, "00000000    PMULHUW    XMM0, XMM7",
     "660fe4c7"),

    (m32, "00000000    PMULHW     MM6, MM4",
     "0fe5f4"),
    (m32, "00000000    PMULHW     XMM0, XMM7",
     "660fe5c7"),

    (m32, "00000000    PSUBSB     MM2, MM0",
     "0fe8d0"),
    (m32, "00000000    PSUBSB     XMM0, XMM4",
     "660fe8c4"),

    (m32, "00000000    PSUBSW     MM3, MM1",
     "0fe9d9"),
    (m32, "00000000    PSUBSW     XMM0, XMM6",
     "660fe9c6"),

    (m32, "00000000    PADDSB     MM2, MM0",
     "0fecd0"),
    (m32, "00000000    PADDSB     XMM0, XMM4",
     "660fecc4"),

    (m32, "00000000    PADDSW     MM3, MM1",
     "0fedd9"),
    (m32, "00000000    PADDSW     XMM0, XMM6",
     "660fedc6"),

    (m32, "00000000    PMAXSW     MM3, MM1",
     "0feed9"),
    (m32, "00000000    PMAXSW     XMM0, XMM6",
     "660feec6"),

    (m32, "00000000    PMULUDQ    MM3, MM1",
     "0ff4d9"),
    (m32, "00000000    PMULUDQ    XMM0, XMM6",
     "660ff4c6"),

    (m32, "00000000    PMADDWD    MM3, MM1",
     "0ff5d9"),
    (m32, "00000000    PMADDWD    XMM0, XMM6",
     "660ff5c6"),

    (m32, "00000000    PSADBW     MM3, MM1",
     "0ff6d9"),
    (m32, "00000000    PSADBW     XMM0, XMM6",
     "660ff6c6"),

    (m32, "00000000    PAVGB      MM3, MM1",
     "0fe0d9"),
    (m32, "00000000    PAVGB      XMM0, XMM6",
     "660fe0c6"),

    (m32, "00000000    PAVGW      MM3, MM1",
     "0fe3d9"),
    (m32, "00000000    PAVGW      XMM0, XMM6",
     "660fe3c6"),

    (m32, "00000000    MASKMOVQ   MM2, MM3",
     "0ff7d3"),
    (m32, "00000000    MASKMOVDQU XMM4, XMM5",
     "660ff7e5"),

    (m32, "00000000    EMMS",
     "0f77"),

    (m64, "00000000    INCSSP     RAX",
     "f3480faee8"),
    (m64, "00000000    INCSSP     EAX",
     "f30faee8"),
    (m64, "00000000    RDSSP      EAX",
     "f30f1ec8"),
    (m64, "00000000    RDSSP      RAX",
     "f3480f1ec8"),
    (m64, "00000000    SAVEPREVSSP",
     "f30f01ea"),
    (m64, "00000000    RSTORSSP   XMMWORD PTR [RAX]",
     "f30f0128"),
    (m64, "00000000    WRSS       QWORD PTR [0x1234], RDX",
     "480f38f6142534120000"),
    (m64, "00000000    WRUSS      DWORD PTR [EAX], EAX",
     "67660f38f500"),
    (m64, "00000000    SETSSBSY",
     "f30f01e8"),
    (m64, "00000000    CLRSSBSY   XMMWORD PTR [RAX]",
     "f30fae30"),
    (m64, "00000000    ENDBR64",
     "f30f1efa"),
    (m32, "00000000    ENDBR32",
     "f30f1efb"),
    (m64, "00000000    MOV        QWORD PTR ES:[RAX], RDX",
     "26488910"),
]


test_file = {
    16: open('regression_test16_ia32.bin', 'wb'),
    32: open('regression_test32_ia32.bin', 'wb'),
    64: open('regression_test64_ia32.bin', 'wb')
}
ts = time.time()
for mode, s, l, in reg_tests:
    print("-" * 80)
    s = s[12:]
    b = decode_hex(l)
    print(mode, repr(b))
    mn = mn_x86.dis(b, mode)
    print("dis args", [(str(x), x.size) for x in mn.args])
    print(s)
    print(mn)
    assert(str(mn).strip() == s)
    print('fromstring', repr(s))
    l = mn_x86.fromstring(s, loc_db, mode)
    print('str args', [(str(x), x.size) for x in l.args])
    assert(str(l).strip(' ') == s)
    a = mn_x86.asm(l)
    print('asm result', [x for x in a])
    print(repr(b))
    print(l.to_html())

    for x in a:
        print("BYTES", repr(x))
        test_file[mode].write(x)
    test_file[mode].write(b"\x90" * 2)

    print('test re dis')
    for x in a:
        print(repr(x))
        rl = mn_x86.dis(x, mode)
        assert(str(rl).strip(' ') == s)
    print(repr(b), a)
    assert(b in a)
print('TEST time', time.time() - ts)


# speed test thumb
o = b""
mode_x = m32
for mode, s, l, in reg_tests:
    if mode != mode_x:
        continue
    s = s[12:]
    b = decode_hex(l)
    o += b

while len(o) < 1000:
    o += o
open('x86_speed_reg_test.bin', 'wb').write(o)


def profile_dis(o):
    bs = bin_stream_str(o)
    off = 0
    instr_num = 0
    ts = time.time()
    while off < bs.getlen():
        mn = mn_x86.dis(bs, mode_x, off)
        # print instr_num, off, mn.l, str(mn)
        instr_num += 1
        off += mn.l
    print('instr per sec:', instr_num // (time.time() - ts))

import cProfile
cProfile.run('profile_dis(o)')

# Test instruction representation with prefix
instr_bytes = b'\x65\xc7\x00\x09\x00\x00\x00'
inst = mn_x86.dis(instr_bytes, 32, 0)
assert(inst.b == instr_bytes)

# Test multiple REX prefixes
for i in range(1, 4):
    mn = mn_x86.dis(b'\x26' + b'\x48' * i + b'\x89\x10', 64)
    assert (str(mn).strip() == 'MOV        QWORD PTR ES:[RAX], RDX')