Subversion Repositories Kolibri OS

Rev

Blame | Last modification | View Log | Download | RSS feed

  1. ;-----------------------------------------------------------------------------
  2. macro dr [Name]
  3. {
  4. if Name eq
  5.  dw 0
  6. else
  7.  dw Name-RtnXX
  8. end if
  9. }
  10. ;-----------------------------------------------------------------------------
  11. N0F1A:          dw TBNDCL,TBNDCU,TBNDMOV ,TBNDLDX
  12. R0F1A:          dr RBNDCL,RBNDCU,RBNDMOV2,RBNDLDX
  13. ;-----------------------------------------------------------------------------
  14. N0F1B:          dw TBNDMK,TBNDCN,TBNDMOV ,TBNDSTX
  15. R0F1B:          dr RBNDMK,RBNDCN,RBNDMOV1,RBNDSTX
  16. ;-----------------------------------------------------------------------------
  17. TTXXXX:
  18. ;-----------------------------------------------------------------------------
  19. TT0F10: dw TMOVUPS      ;00
  20.         dw TMOVUPD      ;66
  21.         dw TMOVSD       ;F2
  22.         dw TMOVSS       ;F3
  23.         ;ch=3, dwdwdwdw
  24.         db VXWORD+80h   ;00
  25.         db VXWORD+80h   ;66
  26.         db VQWORD+80h   ;F2
  27.         db VDWORD+80h   ;F3
  28.         dr R32RM32X     ;00
  29.         dr R32RM32X     ;66
  30.         dr R32RM32X     ;F2
  31.         dr R32RM32X     ;F3
  32. ;-----------------------------------------------------------------------------
  33. TT0F11: dw TMOVUPS      ;00
  34.         dw TMOVUPD      ;66
  35.         dw TMOVSD       ;F2
  36.         dw TMOVSS       ;F3
  37.         ;ch=3, dwdwdwdw
  38.         db VXWORD+80h   ;00
  39.         db VXWORD+80h   ;66
  40.         db VQWORD+80h   ;F2
  41.         db VDWORD+80h   ;F3
  42.         dr RM32R32X     ;00
  43.         dr RM32R32X     ;66
  44.         dr RM32R32X     ;F2
  45.         dr RM32R32X     ;F3
  46. ;-----------------------------------------------------------------------------
  47. TT0F12: dw TMOVLPS      ;00
  48.         dw TMOVLPD      ;66
  49.         dw TMOVDDUP     ;F2
  50.         dw TMOVSLDUP    ;F3
  51.         dw TMOVHLPS     ;00 ch=3
  52.         dw 0            ;66 ch=3
  53.         dw TMOVDDUP     ;F2 ch=3
  54.         dw TMOVSLDUP    ;F3 ch=3
  55.         db VQWORD+80h   ;00
  56.         db VQWORD+80h   ;66
  57.         db VQWORD+80h   ;F2
  58.         db VXWORD+80h   ;F3
  59.         dr R32RM32X     ;00
  60.         dr R32RM32X     ;66
  61.         dr R32RM32X     ;F2
  62.         dr R32RM32X     ;F3
  63. ;-----------------------------------------------------------------------------
  64. TT0F13: dw TMOVLPS      ;00
  65.         dw TMOVLPD      ;66
  66.         dw 0            ;F2
  67.         dw 0            ;F3
  68.         dw 0            ;00 ch=3
  69.         dw 0            ;66 ch=3
  70.         dw 0            ;F2 ch=3
  71.         dw 0            ;F3 ch=3
  72.         db VQWORD+80h   ;00
  73.         db VQWORD+80h   ;66
  74.         db 0            ;F2
  75.         db 0            ;F3
  76.         dr RM32R32X     ;00
  77.         dr RM32R32X     ;66
  78.         dr RM32R32X     ;F2
  79.         dr RM32R32X     ;F3
  80. ;-----------------------------------------------------------------------------
  81. TT0F14: dw TUNPCKLPS    ;00
  82.         dw TUNPCKLPD    ;66
  83.         dw 0            ;F2
  84.         dw 0            ;F3
  85.         ;ch=3, dwdwdwdw
  86.         db VXWORD+80h   ;00
  87.         db VXWORD+80h   ;66
  88.         db 0            ;F2
  89.         db 0            ;F3
  90.         dr R32RM32X     ;00
  91.         dr R32RM32X     ;66
  92.         dr              ;F2
  93.         dr              ;F3
  94. ;-----------------------------------------------------------------------------
  95. TT0F15: dw TUNPCKHPS    ;00
  96.         dw TUNPCKHPD    ;66
  97.         dw 0            ;F2
  98.         dw 0            ;F3
  99.         ;ch=3, dwdwdwdw
  100.         db VXWORD+80h   ;00
  101.         db VXWORD+80h   ;66
  102.         db 0            ;F2
  103.         db 0            ;F3
  104.         dr R32RM32X     ;00
  105.         dr R32RM32X     ;66
  106.         dr              ;F2
  107.         dr              ;F3
  108. ;-----------------------------------------------------------------------------
  109. TT0F16: dw TMOVHPS      ;00
  110.         dw TMOVHPD      ;66
  111.         dw 0            ;F2
  112.         dw TMOVSHDUP    ;F3
  113.         dw TMOVLHPS     ;00 ch=3
  114.         dw 0            ;66 ch=3
  115.         dw 0            ;F2 ch=3
  116.         dw TMOVSHDUP    ;F3 ch=3
  117.         db VQWORD+80h   ;00
  118.         db VQWORD+80h   ;66
  119.         db 0            ;F2
  120.         db VXWORD+80h   ;F3
  121.         dr R32RM32X     ;00
  122.         dr R32RM32X     ;66
  123.         dr              ;F2
  124.         dr R32RM32X     ;F3
  125. ;-----------------------------------------------------------------------------
  126. TT0F17: dw TMOVHPS      ;00
  127.         dw TMOVHPD      ;66
  128.         dw 0            ;F2
  129.         dw 0            ;F3
  130.         dw 0            ;00 ch=3
  131.         dw 0            ;66 ch=3
  132.         dw 0            ;F2 ch=3
  133.         dw 0            ;F3 ch=3
  134.         db VQWORD+80h   ;00
  135.         db VQWORD+80h   ;66
  136.         db 0            ;F2
  137.         db 0            ;F3
  138.         dr RM32R32X     ;00
  139.         dr RM32R32X     ;66
  140.         dr RM32R32X     ;F2
  141.         dr RM32R32X     ;F3
  142. ;-----------------------------------------------------------------------------
  143. TT0F28: dw TMOVAPS      ;00
  144.         dw TMOVAPD      ;66
  145.         dw 0            ;F2
  146.         dw 0            ;F3
  147.         db VXWORD+80h   ;00
  148.         db VXWORD+80h   ;66
  149.         db 0            ;F2
  150.         db 0            ;F3
  151.         dr R32RM32X     ;00
  152.         dr R32RM32X     ;66
  153.         dr R32RM32X     ;F2
  154.         dr R32RM32X     ;F3
  155. ;-----------------------------------------------------------------------------
  156. TT0F29: dw TMOVAPS      ;00
  157.         dw TMOVAPD      ;66
  158.         dw 0            ;F2
  159.         dw 0            ;F3
  160.         db VXWORD+80h   ;00
  161.         db VXWORD+80h   ;66
  162.         db 0            ;F2
  163.         db 0            ;F3
  164.         dr RM32R32X     ;00
  165.         dr RM32R32X     ;66
  166.         dr RM32R32X     ;F2
  167.         dr RM32R32X     ;F3
  168. ;-----------------------------------------------------------------------------
  169. TT0F2B: dw TMOVNTPS     ;00
  170.         dw TMOVNTPD     ;66
  171.         dw TMOVNTSD     ;F2
  172.         dw TMOVNTSS     ;F3
  173.         dw 0            ;00 ch=3
  174.         dw 0            ;66 ch=3
  175.         dw 0            ;F2 ch=3
  176.         dw 0            ;F3 ch=3
  177.         db VXWORD+80h   ;00
  178.         db VXWORD+80h   ;66
  179.         db VQWORD+80h   ;F2
  180.         db VDWORD+80h   ;F3
  181.         dr RM32R32X     ;00
  182.         dr RM32R32X     ;66
  183.         dr RM32R32X     ;F2
  184.         dr RM32R32X     ;F3
  185. ;-----------------------------------------------------------------------------
  186. TT0F2E: dw TUCOMISS     ;00
  187.         dw TUCOMISD     ;66
  188.         dw 0            ;F2
  189.         dw 0            ;F3
  190.         db VDWORD+80h   ;00
  191.         db VQWORD+80h   ;66
  192.         db 0            ;F2
  193.         db 0            ;F3
  194.         dr R32RM32X     ;00
  195.         dr R32RM32X     ;66
  196.         dr R32RM32X     ;F2
  197.         dr R32RM32X     ;F3
  198. ;-----------------------------------------------------------------------------
  199. TT0F2F: dw TCOMISS      ;00
  200.         dw TCOMISD      ;66
  201.         dw 0            ;F2
  202.         dw 0            ;F3
  203.         db VDWORD+80h   ;00
  204.         db VQWORD+80h   ;66
  205.         db 0            ;F2
  206.         db 0            ;F3
  207.         dr R32RM32X     ;00
  208.         dr R32RM32X     ;66
  209.         dr R32RM32X     ;F2
  210.         dr R32RM32X     ;F3
  211. ;-----------------------------------------------------------------------------
  212. TT0F38: dw TNULL        ;00
  213.         dw TNULL        ;66
  214.         dw TNULL        ;F2
  215.         dw TNULL        ;F3
  216.         db 0            ;00
  217.         db 0            ;66
  218.         db 0            ;F2
  219.         db 0            ;F3
  220.         dr Rtn0F3800    ;00
  221.         dr Rtn0F3866    ;66
  222.         dr Rtn0F38F2    ;F2
  223.         dr Rtn0F38F3    ;F3
  224. ;-----------------------------------------------------------------------------
  225. TT0F51: dw TSQRTPS      ;00
  226.         dw TSQRTPD      ;66
  227.         dw TSQRTSD      ;F2
  228.         dw TSQRTSS      ;F3
  229.         db VXWORD+80h   ;00
  230.         db VXWORD+80h   ;66
  231.         db VQWORD+80h   ;F2
  232.         db VDWORD+80h   ;F3
  233.         dr R32RM32X     ;00
  234.         dr R32RM32X     ;66
  235.         dr R32RM32X     ;F2
  236.         dr R32RM32X     ;F3
  237. ;-----------------------------------------------------------------------------
  238. TT0F52: dw TRSQRTPS     ;00
  239.         dw 0            ;66
  240.         dw 0            ;F2
  241.         dw TRSQRTSS     ;F3
  242.         db VXWORD+80h   ;00
  243.         db 0            ;66
  244.         db 0            ;F2
  245.         db VDWORD+80h   ;F3
  246.         dr R32RM32X     ;00
  247.         dr R32RM32X     ;66
  248.         dr R32RM32X     ;F2
  249.         dr R32RM32X     ;F3
  250. ;-----------------------------------------------------------------------------
  251. TT0F53: dw TRCPPS       ;00
  252.         dw 0            ;66
  253.         dw 0            ;F2
  254.         dw TRCPSS       ;F3
  255.         db VXWORD+80h   ;00
  256.         db 0            ;66
  257.         db 0            ;F2
  258.         db VDWORD+80h   ;F3
  259.         dr R32RM32X     ;00
  260.         dr R32RM32X     ;66
  261.         dr R32RM32X     ;F2
  262.         dr R32RM32X     ;F3
  263. ;-----------------------------------------------------------------------------
  264. TT0F54: dw TANDPS       ;00
  265.         dw TANDPD       ;66
  266.         dw 0            ;F2
  267.         dw 0            ;F3
  268.         db VXWORD+80h   ;00
  269.         db VXWORD+80h   ;66
  270.         db 0            ;F2
  271.         db 0            ;F3
  272.         dr R32RM32X     ;00
  273.         dr R32RM32X     ;66
  274.         dr R32RM32X     ;F2
  275.         dr R32RM32X     ;F3
  276. ;-----------------------------------------------------------------------------
  277. TT0F55: dw TANDNPS      ;00
  278.         dw TANDNPD      ;66
  279.         dw 0            ;F2
  280.         dw 0            ;F3
  281.         db VXWORD+80h   ;00
  282.         db VXWORD+80h   ;66
  283.         db 0            ;F2
  284.         db 0            ;F3
  285.         dr R32RM32X     ;00
  286.         dr R32RM32X     ;66
  287.         dr R32RM32X     ;F2
  288.         dr R32RM32X     ;F3
  289. ;-----------------------------------------------------------------------------
  290. TT0F56: dw TORPS        ;00
  291.         dw TORPD        ;66
  292.         dw 0            ;F2
  293.         dw 0            ;F3
  294.         db VXWORD+80h   ;00
  295.         db VXWORD+80h   ;66
  296.         db 0            ;F2
  297.         db 0            ;F3
  298.         dr R32RM32X     ;00
  299.         dr R32RM32X     ;66
  300.         dr R32RM32X     ;F2
  301.         dr R32RM32X     ;F3
  302. ;-----------------------------------------------------------------------------
  303. TT0F57: dw TXORPS       ;00
  304.         dw TXORPD       ;66
  305.         dw 0            ;F2
  306.         dw 0            ;F3
  307.         db VXWORD+80h   ;00
  308.         db VXWORD+80h   ;66
  309.         db 0            ;F2
  310.         db 0            ;F3
  311.         dr R32RM32X     ;00
  312.         dr R32RM32X     ;66
  313.         dr R32RM32X     ;F2
  314.         dr R32RM32X     ;F3
  315. ;-----------------------------------------------------------------------------
  316. TT0F58: dw TADDPS       ;00
  317.         dw TADDPD       ;66
  318.         dw TADDSD       ;F2
  319.         dw TADDSS       ;F3
  320.         db VXWORD+80h   ;00
  321.         db VXWORD+80h   ;66
  322.         db VQWORD+80h   ;F2
  323.         db VDWORD+80h   ;F3
  324.         dr R32RM32X     ;00
  325.         dr R32RM32X     ;66
  326.         dr R32RM32X     ;F2
  327.         dr R32RM32X     ;F3
  328. ;-----------------------------------------------------------------------------
  329. TT0F59: dw TMULPS       ;00
  330.         dw TMULPD       ;66
  331.         dw TMULSD       ;F2
  332.         dw TMULSS       ;F3
  333.         db VXWORD+80h   ;00
  334.         db VXWORD+80h   ;66
  335.         db VQWORD+80h   ;F2
  336.         db VDWORD+80h   ;F3
  337.         dr R32RM32X     ;00
  338.         dr R32RM32X     ;66
  339.         dr R32RM32X     ;F2
  340.         dr R32RM32X     ;F3
  341. ;-----------------------------------------------------------------------------
  342. TT0F5A: dw TCVTPS2PD    ;00
  343.         dw TCVTPD2PS    ;66
  344.         dw TCVTSD2SS    ;F2
  345.         dw TCVTSS2SD    ;F3
  346.         db VQWORD+80h   ;00
  347.         db VXWORD+80h   ;66
  348.         db VQWORD+80h   ;F2
  349.         db VDWORD+80h   ;F3
  350.         dr R32RM32X     ;00
  351.         dr R32RM32X     ;66
  352.         dr R32RM32X     ;F2
  353.         dr R32RM32X     ;F3
  354. ;-----------------------------------------------------------------------------
  355. TT0F5B: dw TCVTDQ2PS    ;00
  356.         dw TCVTPS2DQ    ;66
  357.         dw 0            ;F2
  358.         dw TCVTTPS2DQ   ;F3
  359.         db VXWORD+80h   ;00
  360.         db VXWORD+80h   ;66
  361.         db 0            ;F2
  362.         db VXWORD+80h   ;F3
  363.         dr R32RM32X     ;00
  364.         dr R32RM32X     ;66
  365.         dr R32RM32X     ;F2
  366.         dr R32RM32X     ;F3
  367. ;-----------------------------------------------------------------------------
  368. TT0F5C: dw TSUBPS       ;00
  369.         dw TSUBPD       ;66
  370.         dw TSUBSD       ;F2
  371.         dw TSUBSS       ;F3
  372.         db VXWORD+80h   ;00
  373.         db VXWORD+80h   ;66
  374.         db VQWORD+80h   ;F2
  375.         db VDWORD+80h   ;F3
  376.         dr R32RM32X     ;00
  377.         dr R32RM32X     ;66
  378.         dr R32RM32X     ;F2
  379.         dr R32RM32X     ;F3
  380. ;-----------------------------------------------------------------------------
  381. TT0F5D: dw TMINPS       ;00
  382.         dw TMINPD       ;66
  383.         dw TMINSD       ;F2
  384.         dw TMINSS       ;F3
  385.         db VXWORD+80h   ;00
  386.         db VXWORD+80h   ;66
  387.         db VQWORD+80h   ;F2
  388.         db VDWORD+80h   ;F3
  389.         dr R32RM32X     ;00
  390.         dr R32RM32X     ;66
  391.         dr R32RM32X     ;F2
  392.         dr R32RM32X     ;F3
  393. ;-----------------------------------------------------------------------------
  394. TT0F5E: dw TDIVPS       ;00
  395.         dw TDIVPD       ;66
  396.         dw TDIVSD       ;F2
  397.         dw TDIVSS       ;F3
  398.         db VXWORD+80h   ;00
  399.         db VXWORD+80h   ;66
  400.         db VQWORD+80h   ;F2
  401.         db VDWORD+80h   ;F3
  402.         dr R32RM32X     ;00
  403.         dr R32RM32X     ;66
  404.         dr R32RM32X     ;F2
  405.         dr R32RM32X     ;F3
  406. ;-----------------------------------------------------------------------------
  407. TT0F5F: dw TMAXPS       ;00
  408.         dw TMAXPD       ;66
  409.         dw TMAXSD       ;F2
  410.         dw TMAXSS       ;F3
  411.         db VXWORD+80h   ;00
  412.         db VXWORD+80h   ;66
  413.         db VQWORD+80h   ;F2
  414.         db VDWORD+80h   ;F3
  415.         dr R32RM32X     ;00
  416.         dr R32RM32X     ;66
  417.         dr R32RM32X     ;F2
  418.         dr R32RM32X     ;F3
  419. ;-----------------------------------------------------------------------------
  420. TT0F6F: dw TMOVQ        ;00
  421.         dw TMOVDQA      ;66
  422.         dw 0            ;F2
  423.         dw TMOVDQU      ;F3
  424.         db VQWORD+80h   ;00
  425.         db VXWORD+80h   ;66
  426.         db 0            ;F2
  427.         db VXWORD+80h   ;F3
  428.         dr RtnMM2MM     ;00
  429.         dr R32RM32X     ;66
  430.         dr R32RM32X     ;F2
  431.         dr R32RM32X     ;F3
  432. ;-----------------------------------------------------------------------------
  433. TT0F7C: dw 0            ;00
  434.         dw THADDPD      ;66
  435.         dw THADDPS      ;F2
  436.         dw 0            ;F3
  437.         db 0            ;00
  438.         db VXWORD+80h   ;66
  439.         db VXWORD+80h   ;F2
  440.         db 0            ;F3
  441.         dr R32RM32X     ;00
  442.         dr R32RM32X     ;66
  443.         dr R32RM32X     ;F2
  444.         dr R32RM32X     ;F3
  445. ;-----------------------------------------------------------------------------
  446. TT0F7D: dw 0            ;00
  447.         dw THSUBPD      ;66
  448.         dw THSUBPS      ;F2
  449.         dw 0            ;F3
  450.         db 0            ;00
  451.         db VXWORD+80h   ;66
  452.         db VXWORD+80h   ;F2
  453.         db 0            ;F3
  454.         dr R32RM32X     ;00
  455.         dr R32RM32X     ;66
  456.         dr R32RM32X     ;F2
  457.         dr R32RM32X     ;F3
  458. ;-----------------------------------------------------------------------------
  459. TT0F7F: dw TMOVQ        ;00
  460.         dw TMOVDQA      ;66
  461.         dw 0            ;F2
  462.         dw TMOVDQU      ;F3
  463.         db VQWORD+80h   ;00
  464.         db VXWORD+80h   ;66
  465.         db 0            ;F2
  466.         db VXWORD+80h   ;F3
  467.         dr RtnMM4MM     ;00
  468.         dr RM32R32X     ;66
  469.         dr RM32R32X     ;F2
  470.         dr RM32R32X     ;F3
  471. ;-----------------------------------------------------------------------------
  472. TT0FD0: dw 0            ;00
  473.         dw TADDSUBPD    ;66
  474.         dw TADDSUBPS    ;F2
  475.         dw 0            ;F3
  476.         db 0            ;00
  477.         db VXWORD+80h   ;66
  478.         db VXWORD+80h   ;F2
  479.         db 0            ;F3
  480.         dr R32RM32X     ;00
  481.         dr R32RM32X     ;66
  482.         dr R32RM32X     ;F2
  483.         dr R32RM32X     ;F3
  484. ;-----------------------------------------------------------------------------
  485. TT0FE6: dw 0            ;00
  486.         dw TCVTTPD2DQ   ;66
  487.         dw TCVTPD2DQ    ;F2
  488.         dw TCVTDQ2PD    ;F3
  489.         db 0            ;00
  490.         db VXWORD+80h   ;66
  491.         db VXWORD+80h   ;F2
  492.         db VQWORD+80h   ;F3
  493.         dr R32RM32X     ;00
  494.         dr R32RM32X     ;66
  495.         dr R32RM32X     ;F2
  496.         dr R32RM32X     ;F3
  497. ;-----------------------------------------------------------------------------
  498. TT0FF0: dw 0            ;00
  499.         dw 0            ;66
  500.         dw TLDDQU       ;F2
  501.         dw 0            ;F3
  502.         dw 0            ;00 ch=3
  503.         dw 0            ;66 ch=3
  504.         dw 0            ;F2 ch=3
  505.         dw 0            ;F3 ch=3
  506.         db 0            ;00
  507.         db 0            ;66
  508.         db VXWORD+80h   ;F2
  509.         db 0            ;F3
  510.         dr R32RM32X     ;00
  511.         dr R32RM32X     ;66
  512.         dr R32RM32X     ;F2
  513.         dr R32RM32X     ;F3
  514. ;-----------------------------------------------------------------------------
  515. ; 80h - REX.W -> RD -> RQ
  516. ; 40h - REX.W -> QWORD
  517. ; 20h - REX.W -> ...Q
  518. ; 10h - IMMB
  519. ;-----------------------------------------------------------------------------
  520. TT0F2A: dw TCVTPI2PS            ;00
  521.         dw TCVTPI2PD            ;66
  522.         dw TCVTSI2SD            ;F2
  523.         dw TCVTSI2SS            ;F3
  524.         ;ch=3 dwdwdwdw
  525.         db VQWORD+80h           ;00
  526.         db VQWORD+80h           ;66
  527.         db VDWORD               ;F2
  528.         db VDWORD               ;F3
  529.         dr R32RM32X             ;00
  530.         dr R32RM32X             ;66
  531.         dr R32RM32X             ;F2
  532.         dr R32RM32X             ;F3
  533.         db XMMRG,MMXRG          ;00
  534.         db XMMRG,MMXRG          ;66
  535.         db XMMRG,GPR32+80h+40h  ;F2
  536.         db XMMRG,GPR32+80h+40h  ;F3
  537. ;-----------------------------------------------------------------------------
  538. TT0F2C: dw TCVTTPS2PI           ;00
  539.         dw TCVTTPD2PI           ;66
  540.         dw TCVTTSD2SI           ;F2
  541.         dw TCVTTSS2SI           ;F3
  542.         db VQWORD+80h           ;00
  543.         db VXWORD+80h           ;66
  544.         db VQWORD+80h           ;F2
  545.         db VDWORD+80h           ;F3
  546.         dr R32RM32X             ;00
  547.         dr R32RM32X             ;66
  548.         dr R32RM32X             ;F2
  549.         dr R32RM32X             ;F3
  550.         db MMXRG,XMMRG          ;00
  551.         db MMXRG,XMMRG          ;66
  552.         db GPR32+80h,XMMRG      ;F2
  553.         db GPR32+80h,XMMRG      ;F3
  554. ;-----------------------------------------------------------------------------
  555. TT0F2D: dw TCVTPS2PI            ;00
  556.         dw TCVTPD2PI            ;66
  557.         dw TCVTSD2SI            ;F2
  558.         dw TCVTSS2SI            ;F3
  559.         db VQWORD+80h           ;00
  560.         db VXWORD+80h           ;66
  561.         db VQWORD+80h           ;F2
  562.         db VDWORD+80h           ;F3
  563.         dr R32RM32X             ;00
  564.         dr R32RM32X             ;66
  565.         dr R32RM32X             ;F2
  566.         dr R32RM32X             ;F3
  567.         db MMXRG,XMMRG          ;00
  568.         db MMXRG,XMMRG          ;66
  569.         db GPR32+80h,XMMRG      ;F2
  570.         db GPR32+80h,XMMRG      ;F3
  571. ;-----------------------------------------------------------------------------
  572. TT0F50: dw 0                    ;00
  573.         dw 0                    ;66
  574.         dw 0                    ;F2
  575.         dw 0                    ;F3
  576.         dw TMOVMSKPS            ;00 ch=3
  577.         dw TMOVMSKPD            ;66 ch=3
  578.         dw 0                    ;F2 ch=3
  579.         dw 0                    ;F3 ch=3
  580.         db 0                    ;00
  581.         db 0                    ;66
  582.         db 0                    ;F2
  583.         db 0                    ;F3
  584.         dr R32RM32X             ;00
  585.         dr R32RM32X             ;66
  586.         dr                      ;F2
  587.         dr                      ;F3
  588.         db GPR32+80h,XMMRG      ;00
  589.         db GPR32+80h,XMMRG      ;66
  590.         db 0,0                  ;F2
  591.         db 0,0                  ;F3
  592. ;-----------------------------------------------------------------------------
  593. TT0F6E: dw TMOVD                ;00
  594.         dw TMOVD                ;66
  595.         dw 0                    ;F2
  596.         dw 0                    ;F3
  597.         db VDWORD+80h           ;00
  598.         db VDWORD+80h           ;66
  599.         db 0                    ;F2
  600.         db 0                    ;F3
  601.         dr R32RM32X             ;00
  602.         dr R32RM32X             ;66
  603.         dr                      ;F2
  604.         dr                      ;F3
  605.       db MMXRG,GPR32+20h+40h+80h;00
  606.       db XMMRG,GPR32+20h+40h+80h;66
  607.         db 0,0                  ;F2
  608.         db 0,0                  ;F3
  609. ;-----------------------------------------------------------------------------
  610. TT0F70: dw TPSHUFW              ;00
  611.         dw TPSHUFD              ;66
  612.         dw TPSHUFLW             ;F2
  613.         dw TPSHUFHW             ;F3
  614.         db VQWORD+80h           ;00
  615.         db VXWORD+80h           ;66
  616.         db VXWORD+80h           ;F2
  617.         db VXWORD+80h           ;F3
  618.         dr R32RM32X             ;00
  619.         dr R32RM32X             ;66
  620.         dr R32RM32X             ;F2
  621.         dr R32RM32X             ;F3
  622.         db MMXRG,MMXRG+10h      ;00
  623.         db XMMRG,XMMRG+10h      ;66
  624.         db XMMRG,XMMRG+10h      ;F2
  625.         db XMMRG,XMMRG+10h      ;F3
  626. ;-----------------------------------------------------------------------------
  627. TT0F7E: dw TMOVD                ;00
  628.         dw TMOVD                ;66
  629.         dw 0                    ;F2
  630.         dw TMOVQ                ;F3
  631.         db VDWORD+80h           ;00
  632.         db VDWORD+80h           ;66
  633.         db 0                    ;F2
  634.         db VQWORD+80h           ;F3
  635.         dr RM32R32X             ;00
  636.         dr RM32R32X             ;66
  637.         dr RM32R32X             ;F2
  638.         dr R32RM32X             ;F3
  639.       db GPR32+20h+40h+80h,MMXRG;00
  640.       db GPR32+20h+40h+80h,XMMRG;66
  641.         db 0,0                  ;F2
  642.         db XMMRG,XMMRG          ;F3
  643. ;-----------------------------------------------------------------------------
  644. TT0FC3: dw TMOVNTI              ;00
  645.         dw 0                    ;66
  646.         dw 0                    ;F2
  647.         dw 0                    ;F3
  648.         dw 0                    ;00 ch=3
  649.         dw 0                    ;66 ch=3
  650.         dw 0                    ;F2 ch=3
  651.         dw 0                    ;F3 ch=3
  652.         db VDWORD+80h           ;00
  653.         db 0                    ;66
  654.         db 0                    ;F2
  655.         db 0                    ;F3
  656.         dr RM32R32X             ;00
  657.         dr RM32R32X             ;66
  658.         dr RM32R32X             ;F2
  659.         dr RM32R32X             ;F3
  660.         db 0,GPR32+80h+40h      ;00
  661.         db 0,0                  ;66
  662.         db 0,0                  ;F2
  663.         db 0,0                  ;F3
  664. ;-----------------------------------------------------------------------------
  665. TT0FC4: dw TPINSRW              ;00
  666.         dw TPINSRW              ;66
  667.         dw 0                    ;F2
  668.         dw 0                    ;F3
  669.         db VWORD+80h            ;00
  670.         db VWORD+80h            ;66
  671.         db 0                    ;F2
  672.         db 0                    ;F3
  673.         dr R32RM32X             ;00
  674.         dr R32RM32X             ;66
  675.         dr R32RM32X             ;F2
  676.         dr R32RM32X             ;F3
  677.         db MMXRG,GPR32+80h+10h  ;00
  678.         db XMMRG,GPR32+80h+10h  ;66
  679.         db 0,0                  ;F2
  680.         db 0,0                  ;F3
  681. ;-----------------------------------------------------------------------------
  682. TT0FC5: dw 0                    ;00
  683.         dw 0                    ;66
  684.         dw 0                    ;F2
  685.         dw 0                    ;F3
  686.         dw TPEXTRW              ;00 ch=3
  687.         dw TPEXTRW              ;66 ch=3
  688.         dw 0                    ;F2 ch=3
  689.         dw 0                    ;F3 ch=3
  690.         db 0                    ;00
  691.         db 0                    ;66
  692.         db 0                    ;F2
  693.         db 0                    ;F3
  694.         dr R32RM32X             ;00
  695.         dr R32RM32X             ;66
  696.         dr R32RM32X             ;F2
  697.         dr R32RM32X             ;F3
  698.         db GPR32+80h+10h,MMXRG  ;00
  699.         db GPR32+80h+10h,XMMRG  ;66
  700.         db 0,0                  ;F2
  701.         db 0,0                  ;F3
  702. ;-----------------------------------------------------------------------------
  703. TT0FC6: dw TSHUFPS              ;00
  704.         dw TSHUFPD              ;66
  705.         dw 0                    ;F2
  706.         dw 0                    ;F3
  707.         db VXWORD+80h           ;00
  708.         db VXWORD+80h           ;66
  709.         db 0                    ;F2
  710.         db 0                    ;F3
  711.         dr R32RM32X             ;00
  712.         dr R32RM32X             ;66
  713.         dr R32RM32X             ;F2
  714.         dr R32RM32X             ;F3
  715.         db XMMRG,XMMRG+10h      ;00
  716.         db XMMRG,XMMRG+10h      ;66
  717.         db 0,0                  ;F2
  718.         db 0,0                  ;F3
  719. ;-----------------------------------------------------------------------------
  720. TT0FD6: dw 0                    ;00
  721.         dw TMOVQ                ;66
  722.         dw 0                    ;F2
  723.         dw 0                    ;F3
  724.         dw 0                    ;00 ch=3
  725.         dw TMOVQ                ;66 ch=3
  726.         dw TMOVDQ2Q             ;F2 ch=3
  727.         dw TMOVQ2DQ             ;F3 ch=3
  728.         db 0                    ;00
  729.         db VQWORD+80h           ;66
  730.         db 0                    ;F2
  731.         db 0                    ;F3
  732.         dr R32RM32X             ;00
  733.         dr RM32R32X             ;66
  734.         dr R32RM32X             ;F2
  735.         dr R32RM32X             ;F3
  736.         db XMMRG,XMMRG          ;00
  737.         db XMMRG,XMMRG          ;66
  738.         db MMXRG,XMMRG          ;F2
  739.         db XMMRG,MMXRG          ;F3
  740. ;-----------------------------------------------------------------------------
  741. TT0FD7: dw 0                    ;00
  742.         dw 0                    ;66
  743.         dw 0                    ;F2
  744.         dw 0                    ;F3
  745.         dw TPMOVMSKB            ;00 ch=3
  746.         dw TPMOVMSKB            ;66 ch=3
  747.         dw 0                    ;F2 ch=3
  748.         dw 0                    ;F3 ch=3
  749.         db 0                    ;00
  750.         db 0                    ;66
  751.         db 0                    ;F2
  752.         db 0                    ;F3
  753.         dr R32RM32X             ;00
  754.         dr R32RM32X             ;66
  755.         dr R32RM32X             ;F2
  756.         dr R32RM32X             ;F3
  757.         db GPR32+80h,MMXRG      ;00
  758.         db GPR32+80h,XMMRG      ;66
  759.         db 0,0                  ;F2
  760.         db 0,0                  ;F3
  761. ;-----------------------------------------------------------------------------
  762. TT0FE7: dw TMOVNTQ              ;00
  763.         dw TMOVNTDQ             ;66
  764.         dw 0                    ;F2
  765.         dw 0                    ;F3
  766.         dw 0                    ;00 ch=3
  767.         dw 0                    ;66 ch=3
  768.         dw 0                    ;F2 ch=3
  769.         dw 0                    ;F3 ch=3
  770.         db VQWORD+80h           ;00
  771.         db VXWORD+80h           ;66
  772.         db 0                    ;F2
  773.         db 0                    ;F3
  774.         dr RM32R32X             ;00
  775.         dr RM32R32X             ;66
  776.         dr RM32R32X             ;F2
  777.         dr RM32R32X             ;F3
  778.         db 0,MMXRG              ;00
  779.         db 0,XMMRG              ;66
  780.         db 0,0                  ;F2
  781.         db 0,0                  ;F3
  782. ;-----------------------------------------------------------------------------
  783. TT0FF7: dw 0                    ;00
  784.         dw 0                    ;66
  785.         dw 0                    ;F2
  786.         dw 0                    ;F3
  787.         dw TMASKMOVQ            ;00 ch=3
  788.         dw TMASKMOVDQU          ;66 ch=3
  789.         dw 0                    ;F2 ch=3
  790.         dw 0                    ;F3 ch=3
  791.         db 0                    ;00
  792.         db 0                    ;66
  793.         db 0                    ;F2
  794.         db 0                    ;F3
  795.         dr R32RM32X             ;00
  796.         dr R32RM32X             ;66
  797.         dr R32RM32X             ;F2
  798.         dr R32RM32X             ;F3
  799.         db MMXRG,MMXRG          ;00
  800.         db XMMRG,XMMRG          ;66
  801.         db 0,0                  ;F2
  802.         db 0,0                  ;F3
  803. ;-----------------------------------------------------------------------------
  804. StrTabXOPA:
  805. XOPc $10,0,0,XOPL                                       ,RtnTBM0,TNULL
  806. XOPc $12,0,0,0                                          ,RtnLWPxx,TNULL
  807. dd -1
  808. ;-----------------------------------------------------------------------------
  809. StrTabXOP9:
  810. XOPc $01,0,0,XOPL                                       ,RtnTBM1,TNULL
  811. XOPc $02,0,0,XOPL                                       ,RtnTBM2,TNULL
  812. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  813. XOPc $12,0,0,XOPV                                       ,RtnLWPCB,TNULL
  814. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  815. XOPc $81,VOWORD+80h,VYWORD+80h,XOPV or XOPO or XOPW     ,RtnXOP,TFRCZPD
  816. XOPc $80,VOWORD+80h,VYWORD+80h,XOPV or XOPO or XOPW     ,RtnXOP,TFRCZPS
  817. XOPc $83,VQWORD+80h,0,XOPV or XOPO or XOPL              ,RtnXOP,TFRCZSD
  818. XOPc $82,VDWORD+80h,0,XOPV or XOPO or XOPL              ,RtnXOP,TFRCZSS
  819. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  820. XOPc $C1,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHADDBW
  821. XOPc $C2,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHADDBD
  822. XOPc $C3,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHADDBQ
  823. XOPc $C6,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHADDWD
  824. XOPc $C7,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHADDWQ
  825. XOPc $CB,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHADDDQ
  826. XOPc $D1,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHADDUBW
  827. XOPc $D2,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHADDUBD
  828. XOPc $D3,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHADDUBQ
  829. XOPc $D6,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHADDUWD
  830. XOPc $D7,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHADDUWQ
  831. XOPc $DB,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHADDUDQ
  832. XOPc $E1,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHSUBBW
  833. XOPc $E2,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHSUBWD
  834. XOPc $E3,VOWORD+80h,0,XOPL or XOPW                      ,RtnXOP,TPHSUBDQ
  835. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  836. XOPc $90,VOWORD+80h,0,XOPL                              ,XOP3Rtn,TPROTB
  837. XOPc $91,VOWORD+80h,0,XOPL                              ,XOP3Rtn,TPROTW
  838. XOPc $92,VOWORD+80h,0,XOPL                              ,XOP3Rtn,TPROTD
  839. XOPc $93,VOWORD+80h,0,XOPL                              ,XOP3Rtn,TPROTQ
  840. XOPc $98,VOWORD+80h,0,XOPL                              ,XOP3Rtn,TPSHAB
  841. XOPc $99,VOWORD+80h,0,XOPL                              ,XOP3Rtn,TPSHAW
  842. XOPc $9A,VOWORD+80h,0,XOPL                              ,XOP3Rtn,TPSHAD
  843. XOPc $9B,VOWORD+80h,0,XOPL                              ,XOP3Rtn,TPSHAQ
  844. XOPc $94,VOWORD+80h,0,XOPL                              ,XOP3Rtn,TPSHLB
  845. XOPc $95,VOWORD+80h,0,XOPL                              ,XOP3Rtn,TPSHLW
  846. XOPc $96,VOWORD+80h,0,XOPL                              ,XOP3Rtn,TPSHLD
  847. XOPc $97,VOWORD+80h,0,XOPL                              ,XOP3Rtn,TPSHLQ
  848. dd -1
  849. ;-----------------------------------------------------------------------------
  850. StrTabXOP8:
  851. XOPc $A2,VOWORD+80h,VYWORD+80h,XOPI                     ,XOP4Rtn,TPCMOV
  852. XOPc $CC,VOWORD+80h,0,XOPL or XOPW                      ,SuffixCOMB,TPCOM
  853. XOPc $CD,VOWORD+80h,0,XOPL or XOPW                      ,SuffixCOMW,TPCOM
  854. XOPc $CE,VOWORD+80h,0,XOPL or XOPW                      ,SuffixCOMD,TPCOM
  855. XOPc $CF,VOWORD+80h,0,XOPL or XOPW                      ,SuffixCOMQ,TPCOM
  856. XOPc $EC,VOWORD+80h,0,XOPL or XOPW                      ,SuffixCOMUB,TPCOM
  857. XOPc $ED,VOWORD+80h,0,XOPL or XOPW                      ,SuffixCOMUW,TPCOM
  858. XOPc $EE,VOWORD+80h,0,XOPL or XOPW                      ,SuffixCOMUD,TPCOM
  859. XOPc $EF,VOWORD+80h,0,XOPL or XOPW                      ,SuffixCOMUQ,TPCOM
  860. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  861. XOPc $9E,VOWORD+80h,0,XOPL or XOPW or XOPI              ,XOP4Rtn,TPMACSDD
  862. XOPc $9F,VOWORD+80h,0,XOPL or XOPW or XOPI              ,XOP4Rtn,TPMACSDQH
  863. XOPc $97,VOWORD+80h,0,XOPL or XOPW or XOPI              ,XOP4Rtn,TPMACSDQL
  864. XOPc $8E,VOWORD+80h,0,XOPL or XOPW or XOPI              ,XOP4Rtn,TPMACSSDD
  865. XOPc $8F,VOWORD+80h,0,XOPL or XOPW or XOPI              ,XOP4Rtn,TPMACSSDQH
  866. XOPc $87,VOWORD+80h,0,XOPL or XOPW or XOPI              ,XOP4Rtn,TPMACSSDQL
  867. XOPc $86,VOWORD+80h,0,XOPL or XOPW or XOPI              ,XOP4Rtn,TPMACSSWD
  868. XOPc $85,VOWORD+80h,0,XOPL or XOPW or XOPI              ,XOP4Rtn,TPMACSSWW
  869. XOPc $96,VOWORD+80h,0,XOPL or XOPW or XOPI              ,XOP4Rtn,TPMACSWD
  870. XOPc $95,VOWORD+80h,0,XOPL or XOPW or XOPI              ,XOP4Rtn,TPMACSWW
  871. XOPc $A6,VOWORD+80h,0,XOPL or XOPW or XOPI              ,XOP4Rtn,TPMADCSSWD
  872. XOPc $B6,VOWORD+80h,0,XOPL or XOPW or XOPI              ,XOP4Rtn,TPMADCSWD
  873. XOPc $A3,VOWORD+80h,0,XOPL         or XOPI              ,XOP4Rtn,TPPERM
  874. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  875. XOPc $C0,VOWORD+80h,0,XOPL or XOPW or XOPV              ,XOPImm8,TPROTB
  876. XOPc $C1,VOWORD+80h,0,XOPL or XOPW or XOPV              ,XOPImm8,TPROTW
  877. XOPc $C2,VOWORD+80h,0,XOPL or XOPW or XOPV              ,XOPImm8,TPROTD
  878. XOPc $C3,VOWORD+80h,0,XOPL or XOPW or XOPV              ,XOPImm8,TPROTQ
  879. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  880. dd -1
  881. ;-----------------------------------------------------------------------------
  882. C43866:
  883. xC      RtnC4C5,        VEXV or VEX2 or VEXW,           $13,xQ,xO,TCVTPH2PS
  884. xC      RtnC4C5,        VEX0,                           $DC,xO,xY,TAESENC
  885. xC      RtnC4C5,        VEX0,                           $DD,xO,xY,TAESENCLAST
  886. xC      RtnC4C5,        VEX0,                           $DE,xO,xY,TAESDEC
  887. xC      RtnC4C5,        VEX0,                           $DF,xO,xY,TAESDECLAST
  888. xC      RtnC4C5,        VEXV or VEXL,                   $DB,xO,xN,TAESIMC
  889. xC      RtnC401,        VEXV or VEX0 or VEXW,           $18,xD,xD,TBROADCASTSS
  890. xC      RtnC401,        VEXV or VEXN or VEXW,           $19,xN,xQ,TBROADCASTSD
  891. xC      RtnC4C5,        VEXV or VEXN or VEXM,           $1A,xN,xO,TBROADCASTF128
  892. xC      RtnC4C5,        VEXV or VEXN or VEXM or VEXW,   $5A,xN,xO,TBROADCASTI128
  893. xC      RtnC4C5,        VEXM,                           $2C,xO,xY,TMASKMOVPS
  894. xC      RtnC4C5,        VEXM,                           $2D,xO,xY,TMASKMOVPD
  895. xC      RtnC402,        VEXM,                           $2E,xO,xY,TMASKMOVPS
  896. xC      RtnC402,        VEXM,                           $2F,xO,xY,TMASKMOVPD
  897. xC      RtnC4C5,        VEXV or VEXM,                   $2A,xO,xY,TMOVNTDQA
  898. xC      RtnC4C5,        VEXV,                           $1C,xO,xY,TPABSB
  899. xC      RtnC4C5,        VEXV,                           $1D,xO,xY,TPABSW
  900. xC      RtnC4C5,        VEXV,                           $1E,xO,xY,TPABSD
  901. xC      RtnC4C5,        VEX0,                           $2B,xO,xY,TPACKUSDW
  902. xC      RtnC4C5,        VEX0,                           $29,xO,xY,TPCMPEQQ
  903. xC      RtnC4C5,        VEX0,                           $37,xO,xY,TPCMPGTQ
  904. xC      RtnC4C5,        VEX0,                           $0D,xO,xY,TPERMILPD
  905. xC      RtnC4C5,        VEX0,                           $0C,xO,xY,TPERMILPS
  906. xC      RtnC4C5,        VEX0,                           $01,xO,xY,TPHADDW
  907. xC      RtnC4C5,        VEX0,                           $02,xO,xY,TPHADDD
  908. xC      RtnC4C5,        VEX0,                           $03,xO,xY,TPHADDSW
  909. xC      RtnC4C5,        VEXV or VEXL,                   $41,xO,xN,TPHMINPOSUW
  910. xC      RtnC4C5,        VEX0,                           $05,xO,xY,TPHSUBW
  911. xC      RtnC4C5,        VEX0,                           $06,xO,xY,TPHSUBD
  912. xC      RtnC4C5,        VEX0,                           $07,xO,xY,TPHSUBSW
  913. xC      RtnC4C5,        VEX0,                           $04,xO,xY,TPMADDUBSW
  914. xC      RtnC4C5,        VEX0,                           $3C,xO,xY,TPMAXSB
  915. xC      RtnC4C5,        VEX0,                           $3D,xO,xY,TPMAXSD
  916. xC      RtnC4C5,        VEX0,                           $3E,xO,xY,TPMAXUW
  917. xC      RtnC4C5,        VEX0,                           $3F,xO,xY,TPMAXUD
  918. xC      RtnC4C5,        VEX0,                           $38,xO,xY,TPMINSB
  919. xC      RtnC4C5,        VEX0,                           $39,xO,xY,TPMINSD
  920. xC      RtnC4C5,        VEX0,                           $3A,xO,xY,TPMINUW
  921. xC      RtnC4C5,        VEX0,                           $3B,xO,xY,TPMINUD
  922. xC      RtnC4C5,        VEXV or VEX2,                   $20,xQ,xO,TPMOVSXBW
  923. xC      RtnC4C5,        VEXV or VEX2,                   $21,xD,xQ,TPMOVSXBD
  924. xC      RtnC4C5,        VEXV or VEX2,                   $22,xW,xD,TPMOVSXBQ
  925. xC      RtnC4C5,        VEXV or VEX2,                   $23,xQ,xO,TPMOVSXWD
  926. xC      RtnC4C5,        VEXV or VEX2,                   $24,xD,xQ,TPMOVSXWQ
  927. xC      RtnC4C5,        VEXV or VEX2,                   $25,xQ,xO,TPMOVSXDQ
  928. xC      RtnC4C5,        VEXV or VEX2,                   $30,xQ,xO,TPMOVZXBW
  929. xC      RtnC4C5,        VEXV or VEX2,                   $31,xD,xQ,TPMOVZXBD
  930. xC      RtnC4C5,        VEXV or VEX2,                   $32,xW,xD,TPMOVZXBQ
  931. xC      RtnC4C5,        VEXV or VEX2,                   $33,xQ,xO,TPMOVZXWD
  932. xC      RtnC4C5,        VEXV or VEX2,                   $34,xD,xQ,TPMOVZXWQ
  933. xC      RtnC4C5,        VEXV or VEX2,                   $35,xQ,xO,TPMOVZXDQ
  934. xC      RtnC4C5,        VEX0,                           $0B,xO,xY,TPMULHRSW
  935. xC      RtnC4C5,        VEX0,                           $40,xO,xY,TPMULLD
  936. xC      RtnC4C5,        VEX0,                           $28,xO,xY,TPMULDQ
  937. xC      RtnC4C5,        VEX0,                           $00,xO,xY,TPSHUFB
  938. xC      RtnC4C5,        VEX0,                           $08,xO,xY,TPSIGNB
  939. xC      RtnC4C5,        VEX0,                           $09,xO,xY,TPSIGNW
  940. xC      RtnC4C5,        VEX0,                           $0A,xO,xY,TPSIGND
  941. xC      RtnC4C5,        VEXV,                           $17,xO,xY,TPTEST
  942. xC      RtnC4C5,        VEXV,                           $0E,xO,xY,TTESTPS
  943. xC      RtnC4C5,        VEXV,                           $0F,xO,xY,TTESTPD
  944. xC      RtnC401,        VEXV or VEXW,                   $78,xB,xB,TPBROADCASTB
  945. xC      RtnC401,        VEXV or VEXW,                   $79,xW,xW,TPBROADCASTW
  946. xC      RtnC401,        VEXV or VEXW,                   $58,xD,xD,TPBROADCASTD
  947. xC      RtnC401,        VEXV or VEXW,                   $59,xQ,xQ,TPBROADCASTQ
  948. xC      RtnC4C5,        VEXN or VEXW,                   $36,xN,xY,TPERMD
  949. xC      RtnC4C5,        VEXN or VEXW,                   $16,xN,xY,TPERMPS
  950. xC      RtnC403,        VEX0,                           $47,xO,xY,TPSLLVD
  951. xC      RtnC4C5,        VEXW,                           $46,xO,xY,TPSRAVD
  952. xC      RtnC403,        VEX0,                           $45,xO,xY,TPSRLVD
  953. xC      RtnC403,        VEXM,                           $8C,xO,xY,TPMASKMOVD
  954. xC      RtnC404,        VEXM,                           $8E,xO,xY,TPMASKMOVD
  955. xC      RtnC405,        VEXM,                           $90,xD,xD,TPGATHERDD
  956. xC      RtnC405,        VEXM,                           $91,xQ,xQ,TPGATHERQD
  957. xC      RtnC406,        VEXM,                           $92,xD,xD,TGATHERD
  958. xC      RtnC406,        VEXM,                           $93,xQ,xQ,TGATHERQ
  959. ;;;;;;;;----------------------------------------------------------------------
  960. xC      RtnC407,        VEX0 or VEXC,                   $96,xO,xY,TFMADDSUB132
  961. xC      RtnC407,        VEX0 or VEXC,                   $97,xO,xY,TFMSUBADD132
  962. xC      RtnC407,        VEX0 or VEXC,                   $98,xO,xY,TFMADD132
  963. xC      RtnC408,        VEXL or VEXC,                   $99,xD,xN,TFMADD132
  964. xC      RtnC407,        VEX0 or VEXC,                   $9A,xO,xY,TFMSUB132
  965. xC      RtnC408,        VEXL or VEXC,                   $9B,xD,xN,TFMSUB132
  966. xC      RtnC407,        VEX0 or VEXC,                   $9C,xO,xY,TFNMADD132
  967. xC      RtnC408,        VEXL or VEXC,                   $9D,xD,xN,TFNMADD132
  968. xC      RtnC407,        VEX0 or VEXC,                   $9E,xO,xY,TFNMSUB132
  969. xC      RtnC408,        VEXL or VEXC,                   $9F,xD,xN,TFNMSUB132
  970. xC      RtnC407,        VEX0 or VEXC,                   $A6,xO,xY,TFMADDSUB213
  971. xC      RtnC407,        VEX0 or VEXC,                   $A7,xO,xY,TFMSUBADD213
  972. xC      RtnC407,        VEX0 or VEXC,                   $A8,xO,xY,TFMADD213
  973. xC      RtnC408,        VEXL or VEXC,                   $A9,xD,xN,TFMADD213
  974. xC      RtnC407,        VEX0 or VEXC,                   $AA,xO,xY,TFMSUB213
  975. xC      RtnC408,        VEXL or VEXC,                   $AB,xD,xN,TFMSUB213
  976. xC      RtnC407,        VEX0 or VEXC,                   $AC,xO,xY,TFNMADD213
  977. xC      RtnC408,        VEXL or VEXC,                   $AD,xD,xN,TFNMADD213
  978. xC      RtnC407,        VEX0 or VEXC,                   $AE,xO,xY,TFNMSUB213
  979. xC      RtnC408,        VEXL or VEXC,                   $AF,xD,xN,TFNMSUB213
  980. xC      RtnC407,        VEX0 or VEXC,                   $B6,xO,xY,TFMADDSUB231
  981. xC      RtnC407,        VEX0 or VEXC,                   $B7,xO,xY,TFMSUBADD231
  982. xC      RtnC407,        VEX0 or VEXC,                   $B8,xO,xY,TFMADD231
  983. xC      RtnC408,        VEXL or VEXC,                   $B9,xD,xN,TFMADD231
  984. xC      RtnC407,        VEX0 or VEXC,                   $BA,xO,xY,TFMSUB231
  985. xC      RtnC408,        VEXL or VEXC,                   $BB,xD,xN,TFMSUB231
  986. xC      RtnC407,        VEX0 or VEXC,                   $BC,xO,xY,TFNMADD231
  987. xC      RtnC408,        VEXL or VEXC,                   $BD,xD,xN,TFNMADD231
  988. xC      RtnC407,        VEX0 or VEXC,                   $BE,xO,xY,TFNMSUB231
  989. xC      RtnC408,        VEXL or VEXC,                   $BF,xD,xN,TFNMSUB231
  990. xC      RtnC409,        VEXG or VEXH or VEXL,           $F7,xD,xQ,TSHLX
  991. xC      RtnC4C5,        VEXW,                           $CF,xO,xY,TGF2P8MULB
  992. ;;;;;;;;----------------------------------------------------------------------
  993. dd -1
  994. ;-----------------------------------------------------------------------------
  995. C43A66:
  996. xC      RtnC40A,        VEXL or VEXI or VEXH,           $30,xO,xY,TKSHIFTRB
  997. xC      RtnC40B,        VEXL or VEXI or VEXH,           $31,xO,xY,TKSHIFTRD
  998. xC      RtnC40A,        VEXL or VEXI or VEXH,           $32,xO,xY,TKSHIFTLB
  999. xC      RtnC40B,        VEXL or VEXI or VEXH,           $33,xO,xY,TKSHIFTLD
  1000. xC      RtnC4C5,        VEXV or VEXL or VEXI,           $DF,xO,xN,TAESKEYGENASSIST
  1001. xC      RtnC4C5,        VEXI,                           $0C,xO,xY,TBLENDPS
  1002. xC      RtnC4C5,        VEXI,                           $0D,xO,xY,TBLENDPD
  1003. xC      RtnC4C5,        VEX4 or VEXW,                   $4A,xO,xY,TBLENDVPS
  1004. xC      RtnC4C5,        VEX4 or VEXW,                   $4B,xO,xY,TBLENDVPD
  1005. xC      RtnC4C5,        VEXI or VEXL,                   $41,xO,xN,TDPPD
  1006. xC      RtnC4C5,        VEXI,                           $40,xO,xY,TDPPS
  1007. xC      RtnC40C,        VEXI or VEXV or VEXN,           $19,xN,xO,TEXTRACTF128
  1008. xC      RtnC40D,        VEXI or VEXV or VEXW,           $1D,xQ,xO,TCVTPS2PH
  1009. xC      RtnC40E,        VEXI or VEXV or VEXL,           $17,xD,xN,TEXTRACTPS
  1010. xC      RtnC410,        VEXI or VEX0,                   $18,xN,xO,TINSERTF128
  1011. xC      RtnC4C5,        VEXI or VEXL,                   $21,xD,xN,TINSERTPS
  1012. xC      RtnC4C5,        VEXI,                           $42,xO,xY,TMPSADBW
  1013. xC      RtnC4C5,        VEXI,                           $0F,xO,xY,TPALIGNR
  1014. xC      RtnC4C5,        VEX4 or VEXW,                   $4C,xO,xY,TPBLENDVB
  1015. xC      RtnC4C5,        VEXI,                           $0E,xO,xY,TPBLENDW
  1016. xC      RtnCLMUL,       VEXI,                           $44,xO,xY,TPCLMULQDQ
  1017. xC      RtnC4C5,        VEXV or VEXL or VEXI,           $61,xO,xN,TPCMPESTRI
  1018. xC      RtnC4C5,        VEXV or VEXL or VEXI,           $60,xO,xN,TPCMPESTRM
  1019. xC      RtnC4C5,        VEXV or VEXL or VEXI,           $63,xO,xN,TPCMPISTRI
  1020. xC      RtnC4C5,        VEXV or VEXL or VEXI,           $62,xO,xN,TPCMPISTRM
  1021. xC      RtnC4C5,        VEXV or VEXI,                   $05,xO,xY,TPERMILPD
  1022. xC      RtnC4C5,        VEXV or VEXI,                   $04,xO,xY,TPERMILPS
  1023. xC      RtnC4C5,        VEXN or VEXI,                   $06,xN,xY,TPERM2F128
  1024. xC      RtnC40F,        VEXV or VEXL or VEXI,           $14,xB,xN,TPEXTRB
  1025. xC      RtnC40F,        VEXV or VEXL or VEXI,           $15,xW,xN,TPEXTRW
  1026. xC      RtnC411,        VEXV or VEXL or VEXI,           $16,xD,xN,TPEXTRD
  1027. xC      RtnC412,        VEXL or VEXI,                   $20,xB,xN,TPINSRB
  1028. xC      RtnC413,        VEXL or VEXI,                   $22,xD,xN,TPINSRD
  1029. xC      RtnC4C5,        VEXV or VEXI,                   $09,xO,xY,TROUNDPD
  1030. xC      RtnC4C5,        VEXV or VEXI,                   $08,xO,xY,TROUNDPS
  1031. xC      RtnC4C5,        VEXL or VEXI,                   $0B,xQ,xN,TROUNDSD
  1032. xC      RtnC4C5,        VEXL or VEXI,                   $0A,xD,xN,TROUNDSS
  1033. xC      RtnC4C5,        VEXI or VEXW,                   $02,xO,xY,TPBLENDD
  1034. xC      RtnC414,        VEXN or VEXC or VEXI,           $01,xN,xY,TPERMPD
  1035. xC      RtnC414,        VEXN or VEXC or VEXI,           $00,xN,xY,TPERMQ
  1036. xC      RtnC4C5,        VEXN or VEXW or VEXI,           $46,xN,xY,TPERM2I128
  1037. xC      RtnC40C,        VEXN or VEXV or VEXW or VEXI,   $39,xN,xO,TEXTRACTI128
  1038. xC      RtnC410,        VEXN or VEXW or VEXI,           $38,xN,xO,TINSERTI128
  1039. xC      RtnC4C5,        VEXC or VEXI,                   $CE,xO,xY,TGF2P8AFFINEQB
  1040. xC      RtnC4C5,        VEXC or VEXI,                   $CF,xO,xY,TGF2P8AFFINEINVQB
  1041. ;;;;;;;;----------------------------------------------------------------------
  1042. xC      C4FMA,          VEX0 or VEXC,                   $69,xO,xY,TFMADDPD
  1043. xC      C4FMA,          VEX0 or VEXC,                   $68,xO,xY,TFMADDPS
  1044. xC      C4FMA,          VEXL or VEXC,                   $6B,xQ,xN,TFMADDSD
  1045. xC      C4FMA,          VEXL or VEXC,                   $6A,xD,xN,TFMADDSS
  1046. xC      C4FMA,          VEX0 or VEXC,                   $5D,xO,xY,TFMADDSUBPD
  1047. xC      C4FMA,          VEX0 or VEXC,                   $5C,xO,xY,TFMADDSUBPS
  1048. xC      C4FMA,          VEX0 or VEXC,                   $5F,xO,xY,TFMSUBADDPD
  1049. xC      C4FMA,          VEX0 or VEXC,                   $5E,xO,xY,TFMSUBADDPS
  1050. xC      C4FMA,          VEX0 or VEXC,                   $6D,xO,xY,TFMSUBPD
  1051. xC      C4FMA,          VEX0 or VEXC,                   $6C,xO,xY,TFMSUBPS
  1052. xC      C4FMA,          VEXL or VEXC,                   $6F,xQ,xN,TFMSUBSD
  1053. xC      C4FMA,          VEXL or VEXC,                   $6E,xD,xN,TFMSUBSS
  1054. xC      C4FMA,          VEX0 or VEXC,                   $79,xO,xY,TFNMADDPD
  1055. xC      C4FMA,          VEX0 or VEXC,                   $78,xO,xY,TFNMADDPS
  1056. xC      C4FMA,          VEXL or VEXC,                   $7B,xQ,xN,TFNMADDSD
  1057. xC      C4FMA,          VEXL or VEXC,                   $7A,xD,xN,TFNMADDSS
  1058. xC      C4FMA,          VEX0 or VEXC,                   $7D,xO,xY,TFNMSUBPD
  1059. xC      C4FMA,          VEX0 or VEXC,                   $7C,xO,xY,TFNMSUBPS
  1060. xC      C4FMA,          VEXL or VEXC,                   $7F,xQ,xN,TFNMSUBSD
  1061. xC      C4FMA,          VEXL or VEXC,                   $7E,xD,xN,TFNMSUBSS
  1062. dd -1
  1063. ;;;;;;;;----------------------------------------------------------------------
  1064. C43800:
  1065. xC      RtnC4C5,        VEXG or VEXH or VEXL,           $F2,xD,xQ,TANDN
  1066. xC      RtnC409,        VEXG or VEXH or VEXL,           $F7,xD,xQ,TBEXTR
  1067. xC      RtnC415,        VEXG or VEXH or VEXL,           $F3,xD,xQ,TNULL
  1068. xC      RtnC409,        VEXG or VEXH or VEXL,           $F5,xD,xQ,TBZHI
  1069. dd -1
  1070. C438F3:
  1071. xC      RtnC4C5,        VEXG or VEXH or VEXL,           $F5,xD,xQ,TPEXT
  1072. xC      RtnC409,        VEXG or VEXH or VEXL,           $F7,xD,xQ,TSARX
  1073. dd -1
  1074. C438F2:
  1075. xC      RtnC4C5,        VEXG or VEXH or VEXL,           $F6,xD,xQ,TMULX
  1076. xC      RtnC4C5,        VEXG or VEXH or VEXL,           $F5,xD,xQ,TPDEP
  1077. xC      RtnC409,        VEXG or VEXH or VEXL,           $F7,xD,xQ,TSHRX
  1078. dd -1
  1079. C43A00:
  1080. xC      C40F3A48,       VEX4,                           $48,xO,xY,TPERMIL2PS
  1081. xC      C40F3A49,       VEX4,                           $49,xO,xY,TPERMIL2PD
  1082. dd -1
  1083. C43AF3:
  1084. C43AF2:
  1085. xC      RtnC416,        VEXG or VEXH or VEXL,           $F0,xD,xQ,TRORX
  1086. dd -1
  1087. ;-----------------------------------------------------------------------------
  1088. C4C500:
  1089. xC      RtnC4C501,      VEXN+VEXH,                      $4A,xO,xY,TKADDW
  1090. xC      RtnC4C501,      VEXN+VEXH,                      $41,xO,xY,TKANDW
  1091. xC      RtnC4C501,      VEXN+VEXH,                      $42,xO,xY,TKANDNW
  1092. xC      RtnC4C501,      VEXN+VEXH,                      $45,xO,xY,TKORW
  1093. xC      RtnC4C501,      VEXN+VEXH,                      $46,xO,xY,TKXNORW
  1094. xC      RtnC4C501,      VEXN+VEXH,                      $47,xO,xY,TKXORW
  1095. xC      RtnC4C504,      VEXL+VEXH,                      $44,xO,xY,TKNOTW
  1096. xC      RtnC4C504,      VEXL+VEXH,                      $98,xO,xY,TKORTESTW
  1097. xC      RtnC4C504,      VEXL+VEXH,                      $99,xO,xY,TKTESTW
  1098. xC      RtnC4C505,      VEXL+VEXH,                      $90,xN,xN,TKMOVW
  1099. xC      RtnC4C507,      VEXL+VEXH,                      $91,xN,xN,TKMOVW
  1100. xC      RtnC4C508,      VEXN+VEXH,                      $4B,xN,xN,TKUNPCKWD
  1101. xC      RtnC4C509,      VEXL+VEXH+VEXW,                 $92,xN,xN,TKMOVW
  1102. xC      RtnC4C50A,      VEXL+VEXH+VEXW,                 $93,xN,xN,TKMOVW
  1103. xC      RtnC4C5,        VEX0,                           $58,xO,xY,TADDPS
  1104. xC      RtnC4C5,        VEX0,                           $54,xO,xY,TANDPS
  1105. xC      RtnC4C5,        VEX0,                           $55,xO,xY,TANDNPS
  1106. xC      RtnC4C5,        VEX8,                           $C2,xO,xY,TCMPPS
  1107. xC      RtnC4C5,        VEXV or VEXL,                   $2F,xD,xN,TCOMISS
  1108. xC      RtnC4C5,        VEXV or VEX0,                   $5B,xO,xY,TCVTDQ2PS
  1109. xC      RtnC4C5,        VEXV or VEX2,                   $5A,xQ,xO,TCVTPS2PD
  1110. xC      RtnC4C5,        VEX0,                           $5E,xO,xY,TDIVPS
  1111. xC      RtnC4C50B,      VEXL or VEXM,                   $AE,xD,xN,TLDMXCSR
  1112. xC      RtnC4C5,        VEX0,                           $5F,xO,xY,TMAXPS
  1113. xC      RtnC4C5,        VEX0,                           $5D,xO,xY,TMINPS
  1114. xC      RtnC4C5,        VEXV,                           $28,xO,xY,TMOVAPS
  1115. xC      RtnC4C50C,      VEXV,                           $29,xO,xY,TMOVAPS
  1116. xC      C4C5NB1,        VEXL,                           $12,xQ,xY,TMOVLPS
  1117. xC      C4C5NB2,        VEXL,                           $16,xQ,xN,TMOVHPS
  1118. xC      RtnC4C50C,      VEXV or VEXL or VEXM,           $17,xQ,xN,TMOVHPS
  1119. xC      RtnC4C50C,      VEXV or VEXL or VEXM,           $13,xQ,xN,TMOVLPS
  1120. xC      RtnC4C50D,      VEXV or VEXR,                   $50,xO,xY,TMOVMSKPS
  1121. xC      RtnC4C50C,      VEXV or VEXM,                   $2B,xO,xY,TMOVNTPS
  1122. xC      RtnC4C5,        VEXV,                           $10,xO,xY,TMOVUPS
  1123. xC      RtnC4C50C,      VEXV,                           $11,xO,xY,TMOVUPS
  1124. xC      RtnC4C5,        VEX0,                           $59,xO,xY,TMULPS
  1125. xC      RtnC4C5,        VEX0,                           $56,xO,xY,TORPS
  1126. xC      RtnC4C5,        VEXV,                           $53,xO,xY,TRCPPS
  1127. xC      RtnC4C5,        VEXV,                           $52,xO,xY,TRSQRTPS
  1128. xC      RtnC4C5,        VEXI,                           $C6,xO,xY,TSHUFPS
  1129. xC      RtnC4C5,        VEXV,                           $51,xO,xY,TSQRTPS
  1130. xC      RtnC4C5,        VEX0,                           $5C,xO,xY,TSUBPS
  1131. xC      RtnC4C5,        VEXV or VEXL,                   $2E,xD,xN,TUCOMISS
  1132. xC      RtnC4C5,        VEX0,                           $15,xO,xY,TUNPCKHPS
  1133. xC      RtnC4C5,        VEX0,                           $14,xO,xY,TUNPCKLPS
  1134. xC      RtnC4C5,        VEX0,                           $57,xO,xY,TXORPS
  1135. xC      RtnC4C50E,      VEXF or VEXV,                   $77,xN,xN,TZEROALL
  1136. dd -1
  1137. ;-----------------------------------------------------------------------------
  1138. C4C566:
  1139. xC      RtnC4C502,      VEXN+VEXH,                      $41,xO,xY,TKANDB
  1140. xC      RtnC4C502,      VEXN+VEXH,                      $42,xO,xY,TKANDNB
  1141. xC      RtnC4C502,      VEXN+VEXH,                      $4A,xO,xY,TKADDB
  1142. xC      RtnC4C502,      VEXN+VEXH,                      $45,xO,xY,TKORB
  1143. xC      RtnC4C502,      VEXN+VEXH,                      $46,xO,xY,TKXNORB
  1144. xC      RtnC4C502,      VEXN+VEXH,                      $47,xO,xY,TKXORB
  1145. xC      RtnC4C503,      VEXL+VEXH,                      $44,xO,xY,TKNOTB
  1146. xC      RtnC4C503,      VEXL+VEXH,                      $98,xO,xY,TKORTESTB
  1147. xC      RtnC4C503,      VEXL+VEXH,                      $99,xO,xY,TKTESTB
  1148. xC      RtnC4C508,      VEXN+VEXH+VEXW,                 $4B,xN,xN,TKUNPCKBW
  1149. xC      RtnC4C503,      VEXL+VEXH,                      $90,xN,xN,TKMOVB
  1150. xC      RtnC4C506,      VEXL+VEXH,                      $91,xN,xN,TKMOVB
  1151. xC      RtnC4C509,      VEXL+VEXH+VEXW,                 $92,xN,xN,TKMOVB
  1152. xC      RtnC4C50A,      VEXL+VEXH+VEXW,                 $93,xN,xN,TKMOVB
  1153. xC      RtnC4C5,        VEX0,                           $58,xO,xY,TADDPD
  1154. xC      RtnC4C5,        VEX0,                           $D0,xO,xY,TADDSUBPD
  1155. xC      RtnC4C5,        VEX0,                           $54,xO,xY,TANDPD
  1156. xC      RtnC4C5,        VEX0,                           $55,xO,xY,TANDNPD
  1157. xC      RtnC4C5,        VEX8,                           $C2,xO,xY,TCMPPD
  1158. xC      RtnC4C5,        VEXV or VEXL,                   $2F,xQ,xN,TCOMISD
  1159. xC      RtnC4C5,        VEXV or VEX1,                   $5A,xO,xY,TCVTPD2PS
  1160. xC      RtnC4C5,        VEXV or VEX0,                   $5B,xO,xY,TCVTPS2DQ
  1161. xC      RtnC4C5,        VEXV or VEX0 or VEX1,           $E6,xO,xY,TCVTTPD2DQ
  1162. xC      RtnC4C5,        VEX0,                           $5E,xO,xY,TDIVPD
  1163. xC      RtnC4C5,        VEX0,                           $7C,xO,xY,THADDPD
  1164. xC      RtnC4C5,        VEX0,                           $7D,xO,xY,THSUBPD
  1165. xC      RtnC4C5,        VEXV or VEXL or VEXR,           $F7,xN,xN,TMASKMOVDQU
  1166. xC      RtnC4C5,        VEX0,                           $5F,xO,xY,TMAXPD
  1167. xC      RtnC4C5,        VEX0,                           $5D,xO,xY,TMINPD
  1168. xC      RtnC4C5,        VEXV,                           $28,xO,xY,TMOVAPD
  1169. xC      RtnC4C50C,      VEXV,                           $29,xO,xY,TMOVAPD
  1170. xC      RtnC4C5XRM,     VEXV or VEXL,                   $6E,xD,xN,TMOVD
  1171. xC      RtnC4C5RMX,     VEXV or VEXL,                   $7E,xD,xN,TMOVD
  1172. xC      RtnC4C50C,      VEXV or VEXL,                   $D6,xQ,xN,TMOVQ
  1173. xC      RtnC4C5,        VEXV,                           $6F,xO,xY,TMOVDQA
  1174. xC      RtnC4C50C,      VEXV,                           $7F,xO,xY,TMOVDQA
  1175. xC      RtnC4C5,        VEXL or VEXM,                   $16,xQ,xN,TMOVHPD
  1176. xC      RtnC4C50C,      VEXV or VEXL or VEXM,           $17,xQ,xN,TMOVHPD
  1177. xC      RtnC4C5,        VEXL or VEXM,                   $12,xQ,xN,TMOVLPD
  1178. xC      RtnC4C50C,      VEXV or VEXL or VEXM,           $13,xQ,xN,TMOVLPD
  1179. xC      RtnC4C50D,      VEXV or VEXR,                   $50,xO,xY,TMOVMSKPD
  1180. xC      RtnC4C50C,      VEXV or VEXM,                   $E7,xO,xY,TMOVNTDQ
  1181. xC      RtnC4C50C,      VEXV or VEXM,                   $2B,xO,xY,TMOVNTPD
  1182. xC      RtnC4C5,        VEXV,                           $10,xO,xY,TMOVUPD
  1183. xC      RtnC4C50C,      VEXV,                           $11,xO,xY,TMOVUPD
  1184. xC      RtnC4C5,        VEX0,                           $59,xO,xY,TMULPD
  1185. xC      RtnC4C5,        VEX0,                           $56,xO,xY,TORPD
  1186. xC      RtnC4C5,        VEX0,                           $63,xO,xY,TPACKSSWB
  1187. xC      RtnC4C5,        VEX0,                           $6B,xO,xY,TPACKSSDW
  1188. xC      RtnC4C5,        VEX0,                           $67,xO,xY,TPACKUSWB
  1189. xC      RtnC4C5,        VEX0,                           $FC,xO,xY,TPADDB
  1190. xC      RtnC4C5,        VEX0,                           $FD,xO,xY,TPADDW
  1191. xC      RtnC4C5,        VEX0,                           $FE,xO,xY,TPADDD
  1192. xC      RtnC4C5,        VEX0,                           $D4,xO,xY,TPADDQ
  1193. xC      RtnC4C5,        VEX0,                           $EC,xO,xY,TPADDSB
  1194. xC      RtnC4C5,        VEX0,                           $ED,xO,xY,TPADDSW
  1195. xC      RtnC4C5,        VEX0,                           $DC,xO,xY,TPADDUSB
  1196. xC      RtnC4C5,        VEX0,                           $DD,xO,xY,TPADDUSW
  1197. xC      RtnC4C5,        VEX0,                           $DB,xO,xY,TPAND
  1198. xC      RtnC4C5,        VEX0,                           $DF,xO,xY,TPANDN
  1199. xC      RtnC4C5,        VEX0,                           $E0,xO,xY,TPAVGB
  1200. xC      RtnC4C5,        VEX0,                           $E3,xO,xY,TPAVGW
  1201. xC      RtnC4C5,        VEX0,                           $74,xO,xY,TPCMPEQB
  1202. xC      RtnC4C5,        VEX0,                           $75,xO,xY,TPCMPEQW
  1203. xC      RtnC4C5,        VEX0,                           $76,xO,xY,TPCMPEQD
  1204. xC      RtnC4C5,        VEX0,                           $64,xO,xY,TPCMPGTB
  1205. xC      RtnC4C5,        VEX0,                           $65,xO,xY,TPCMPGTW
  1206. xC      RtnC4C5,        VEX0,                           $66,xO,xY,TPCMPGTD
  1207. xC      RtnC4C50F,      VEXV or VEXL or VEXR,           $C5,xN,xN,TPEXTRW
  1208. xC      RtnC412,        VEXL or VEXI,                   $C4,xW,xN,TPINSRW
  1209. xC      RtnC4C5,        VEX0,                           $F5,xO,xY,TPMADDWD
  1210. xC      RtnC4C5,        VEX0,                           $EE,xO,xY,TPMAXSW
  1211. xC      RtnC4C5,        VEX0,                           $DE,xO,xY,TPMAXUB
  1212. xC      RtnC4C5,        VEX0,                           $EA,xO,xY,TPMINSW
  1213. xC      RtnC4C5,        VEX0,                           $DA,xO,xY,TPMINUB
  1214. xC      RtnC4C50D,      VEXV or VEXR,                   $D7,xN,xN,TPMOVMSKB
  1215. xC      RtnC4C5,        VEX0,                           $E4,xO,xY,TPMULHUW
  1216. xC      RtnC4C5,        VEX0,                           $E5,xO,xY,TPMULHW
  1217. xC      RtnC4C5,        VEX0,                           $D5,xO,xY,TPMULLW
  1218. xC      RtnC4C5,        VEX0,                           $F4,xO,xY,TPMULUDQ
  1219. xC      RtnC4C5,        VEX0,                           $EB,xO,xY,TPOR
  1220. xC      RtnC4C5,        VEX0,                           $F6,xO,xY,TPSADBW
  1221. xC      RtnC4C5,        VEXV or VEXI,                   $70,xO,xY,TPSHUFD
  1222. xC      C4C50F71,       VEXS or VEXI or VEXR,           $71,xN,xN,TNULL
  1223. xC      C4C50F72,       VEXS or VEXI or VEXR,           $72,xN,xN,TNULL
  1224. xC      C4C50F73,       VEXS or VEXI or VEXR,           $73,xN,xN,TNULL
  1225. xC      RtnC4C510,      VEX0,                           $F1,xO,xO,TPSLLW
  1226. xC      RtnC4C510,      VEX0,                           $F2,xO,xO,TPSLLD
  1227. xC      RtnC4C510,      VEX0,                           $F3,xO,xO,TPSLLQ
  1228. xC      RtnC4C510,      VEX0,                           $E1,xO,xO,TPSRAW
  1229. xC      RtnC4C510,      VEX0,                           $E2,xO,xO,TPSRAD
  1230. xC      RtnC4C510,      VEX0,                           $D1,xO,xO,TPSRLW
  1231. xC      RtnC4C510,      VEX0,                           $D2,xO,xO,TPSRLD
  1232. xC      RtnC4C510,      VEX0,                           $D3,xO,xO,TPSRLQ
  1233. xC      RtnC4C5,        VEX0,                           $F8,xO,xY,TPSUBB
  1234. xC      RtnC4C5,        VEX0,                           $F9,xO,xY,TPSUBW
  1235. xC      RtnC4C5,        VEX0,                           $FA,xO,xY,TPSUBD
  1236. xC      RtnC4C5,        VEX0,                           $FB,xO,xY,TPSUBQ
  1237. xC      RtnC4C5,        VEX0,                           $E8,xO,xY,TPSUBSB
  1238. xC      RtnC4C5,        VEX0,                           $E9,xO,xY,TPSUBSW
  1239. xC      RtnC4C5,        VEX0,                           $D8,xO,xY,TPSUBUSB
  1240. xC      RtnC4C5,        VEX0,                           $D9,xO,xY,TPSUBUSW
  1241. xC      RtnC4C5,        VEX0,                           $68,xO,xY,TPUNPCKHBW
  1242. xC      RtnC4C5,        VEX0,                           $69,xO,xY,TPUNPCKHWD
  1243. xC      RtnC4C5,        VEX0,                           $6A,xO,xY,TPUNPCKHDQ
  1244. xC      RtnC4C5,        VEX0,                           $6D,xO,xY,TPUNPCKHQDQ
  1245. xC      RtnC4C5,        VEX0,                           $60,xO,xY,TPUNPCKLBW
  1246. xC      RtnC4C5,        VEX0,                           $61,xO,xY,TPUNPCKLWD
  1247. xC      RtnC4C5,        VEX0,                           $62,xO,xY,TPUNPCKLDQ
  1248. xC      RtnC4C5,        VEX0,                           $6C,xO,xY,TPUNPCKLQDQ
  1249. xC      RtnC4C5,        VEX0,                           $EF,xO,xY,TPXOR
  1250. xC      RtnC4C5,        VEXI,                           $C6,xO,xY,TSHUFPD
  1251. xC      RtnC4C5,        VEXV,                           $51,xO,xY,TSQRTPD
  1252. xC      RtnC4C5,        VEX0,                           $5C,xO,xY,TSUBPD
  1253. xC      RtnC4C5,        VEXV or VEXL,                   $2E,xQ,xN,TUCOMISD
  1254. xC      RtnC4C5,        VEX0,                           $15,xO,xY,TUNPCKHPD
  1255. xC      RtnC4C5,        VEX0,                           $14,xO,xY,TUNPCKLPD
  1256. xC      RtnC4C5,        VEX0,                           $57,xO,xY,TXORPD
  1257. dd -1
  1258. ;-----------------------------------------------------------------------------
  1259. C4C5F2:
  1260. xC      RtnC4C5,        VEXL,                           $58,xQ,xN,TADDSD
  1261. xC      RtnC4C5,        VEX0,                           $D0,xO,xY,TADDSUBPS
  1262. xC      RtnC4C5,        VEX8 or VEXL,                   $C2,xQ,xN,TCMPSD
  1263. xC      RtnC4C5,        VEXV or VEX1,                   $E6,xO,xY,TCVTPD2DQ
  1264. xC      RtnC4C511,      VEXV or VEXL,                   $2D,xQ,xN,TCVTSD2SI
  1265. xC      RtnC4C5,        VEXL,                           $5A,xQ,xN,TCVTSD2SS
  1266. xC      RtnC4C512,      VEXL,                           $2A,xD,xN,TCVTSI2SD
  1267. xC      RtnC4C511,      VEXV or VEXL,                   $2C,xQ,xN,TCVTTSD2SI
  1268. xC      RtnC4C5,        VEXL,                           $5E,xQ,xN,TDIVSD
  1269. xC      RtnC4C5,        VEX0,                           $7C,xO,xY,THADDPS
  1270. xC      RtnC4C5,        VEX0,                           $7D,xO,xY,THSUBPS
  1271. xC      RtnC4C5,        VEXV or VEXM,                   $F0,xO,xY,TLDDQU
  1272. xC      RtnC4C5,        VEXL,                           $5F,xQ,xN,TMAXSD
  1273. xC      RtnC4C5,        VEXL,                           $5D,xQ,xN,TMINSD
  1274. xC      RtnC4C5,        VEXV,                           $12,xQ,xY,TMOVDDUP
  1275. xC      C4C5XMJ,        VEXL,                           $10,xQ,xN,TMOVSD
  1276. xC      C4C5MXJ,        VEXL,                           $11,xQ,xN,TMOVSD
  1277. xC      RtnC4C5,        VEXL,                           $59,xQ,xN,TMULSD
  1278. xC      RtnC4C5,        VEXV or VEXI,                   $70,xO,xY,TPSHUFLW
  1279. xC      RtnC4C5,        VEXL,                           $51,xQ,xN,TSQRTSD
  1280. xC      RtnC4C5,        VEXL,                           $5C,xQ,xN,TSUBSD
  1281. xC      RtnC4C509,      VEXL or VEXH,                   $92,xN,xN,TKMOVD
  1282. xC      RtnC4C50A,      VEXL or VEXH,                   $93,xN,xN,TKMOVD
  1283. dd -1
  1284. ;-----------------------------------------------------------------------------
  1285. C4C5F3:
  1286. xC      RtnC4C5,        VEXL,                           $58,xD,xN,TADDSS
  1287. xC      RtnC4C5,        VEX8 or VEXL,                   $C2,xD,xN,TCMPSS
  1288. xC      RtnC4C5,        VEXV or VEX0 or VEX2,           $E6,xQ,xO,TCVTDQ2PD
  1289. xC      RtnC4C512,      VEXL,                           $2A,xD,xN,TCVTSI2SS
  1290. xC      RtnC4C5,        VEXL,                           $5A,xD,xN,TCVTSS2SD
  1291. xC      RtnC4C511,      VEXV or VEXL,                   $2D,xD,xN,TCVTSS2SI
  1292. xC      RtnC4C5,        VEXV,                           $5B,xO,xY,TCVTTPS2DQ
  1293. xC      RtnC4C511,      VEXV or VEXL,                   $2C,xD,xN,TCVTTSS2SI
  1294. xC      RtnC4C5,        VEXL,                           $5E,xD,xN,TDIVSS
  1295. xC      RtnC4C5,        VEXL,                           $5F,xD,xN,TMAXSS
  1296. xC      RtnC4C5,        VEXL,                           $5D,xD,xN,TMINSS
  1297. xC      RtnC4C5,        VEXV or VEXL,                   $7E,xQ,xN,TMOVQ
  1298. xC      RtnC4C5,        VEXV,                           $6F,xO,xY,TMOVDQU
  1299. xC      RtnC4C50C,      VEXV,                           $7F,xO,xY,TMOVDQU
  1300. xC      RtnC4C5,        VEXV,                           $16,xO,xY,TMOVSHDUP
  1301. xC      RtnC4C5,        VEXV,                           $12,xO,xY,TMOVSLDUP
  1302. xC      C4C5XMJ,        VEXL,                           $10,xD,xN,TMOVSS
  1303. xC      C4C5MXJ,        VEXL,                           $11,xD,xN,TMOVSS
  1304. xC      RtnC4C5,        VEXL,                           $59,xD,xN,TMULSS
  1305. xC      RtnC4C5,        VEXV or VEXI,                   $70,xO,xY,TPSHUFHW
  1306. xC      RtnC4C5,        VEXL,                           $53,xD,xN,TRCPSS
  1307. xC      RtnC4C5,        VEXL,                           $51,xD,xN,TSQRTSS
  1308. xC      RtnC4C5,        VEXL,                           $52,xD,xN,TRSQRTSS
  1309. xC      RtnC4C5,        VEXL,                           $5C,xD,xN,TSUBSS
  1310. dd -1
  1311. ;-----------------------------------------------------------------------------
  1312. T620000:
  1313.                 T62 T6201,54h,TANDPS,EVEXM+EVEXYW,xO,xD
  1314.                 T62 T6201,55h,TANDNPS,EVEXM+EVEXYW,xO,xD
  1315.                 T62 T6201,58h,TADDPS,EVEXM+EVEXYW+EVEXR,xO,xD
  1316.                 T62 T6202,$C2,TCMPPS,EVEXM+EVEXYW+EVEXI,xO,xD
  1317.                 T62 T6203,$2E,TUCOMISS,EVEXYW+EVEXX+EVEXS+EVEXV,xD,xD
  1318.                 T62 T6203,$2F,TCOMISS,EVEXYW+EVEXX+EVEXS+EVEXV,xD,xD
  1319.                 T62 T6201,5Eh,TDIVPS,EVEXM+EVEXR+EVEXYW,xO,xD
  1320.                 T62 T62W0,$5B,TCVT?Q2PS,EVEX2+EVEXR+EVEXB+EVEXM+EVEXE+EVEXV,xO,xD
  1321.                 T62 T62W1,$79,TCVTP?2UDQ,EVEX2+EVEXR+EVEXM+EVEXE+EVEXV,xO,xQ
  1322.                 T62 T6206,$5A,TCVTPS2PD,EVEXM+EVEXV+EVEXYW,xO,xQ
  1323.                 T62 T62W0,$78,TCVTTP?2UDQ,EVEX2+EVEXM+EVEXE+EVEXB+EVEXV,xO,xD
  1324.                 T62 T6201,5Fh,TMAXPS,EVEXM+EVEXYW,xO,xD
  1325.                 T62 T6201,5Dh,TMINPS,EVEXM+EVEXYW,xO,xD
  1326.                 T62 T6204,28h,TMOVAPS,EVEXM+EVEXYW+EVEXV,xO,xO
  1327.                 T62 T620B,29h,TMOVAPS,EVEXM+EVEXYW+EVEXV,xO,xO
  1328.                 T62 T620C,12h,TMOVLPS,EVEXLX+EVEXM+EVEXYW,xQ,xQ
  1329.                 T62 T620E,16h,TMOVHPS,EVEXM+EVEXLX+EVEXYW,xQ,xQ
  1330.                 T62 T620F,17h,TMOVHPS,EVEXM+EVEXLX+EVEXV+EVEXYW,xQ,xQ
  1331.                 T62 T620F,13h,TMOVLPS,EVEXM+EVEXLX+EVEXV+EVEXYW,xQ,xQ
  1332.                 T62 T6210,2Bh,TMOVNTPS,EVEXM+EVEXV+EVEXYW,xO,xO
  1333.                 T62 T6204,10h,TMOVUPS,EVEXM+EVEXV+EVEXYW,xO,xO
  1334.                 T62 T620B,11h,TMOVUPS,EVEXM+EVEXYW+EVEXV,xO,xO
  1335.                 T62 T6201,59h,TMULPS,EVEXM+EVEXR+EVEXYW,xO,xD
  1336.                 T62 T6201,56h,TORPS,EVEXM+EVEXR+EVEXYW,xO,xD
  1337.                 T62 T6201,57h,TXORPS,EVEXM+EVEXR+EVEXYW,xO,xD
  1338.                 T62 T6201,$C6,TSHUFPS,EVEXM+EVEXYW+EVEXI,xO,xD
  1339.                 T62 T6204,51h,TSQRTPS,EVEXM+EVEXR+EVEXYW+EVEXV,xO,xD
  1340.                 T62 T6201,5Ch,TSUBPS,EVEXM+EVEXYW+EVEXR,xO,xD
  1341.                 T62 T6201,15h,TUNPCKHPS,EVEXM+EVEXYW,xO,xD
  1342.                 T62 T6201,14h,TUNPCKLPS,EVEXM+EVEXYW,xO,xD
  1343. dd -1
  1344. T620066:
  1345.                 T62 T6201,54h,TANDPD,EVEXM+EVEXNW,xO,xQ
  1346.                 T62 T6201,55h,TANDNPD,EVEXM+EVEXNW,xO,xQ
  1347.                 T62 T6201,58h,TADDPD,EVEXM+EVEXNW+EVEXR,xO,xQ
  1348.                 T62 T6202,$C2,TCMPPD,EVEXM+EVEXNW+EVEXI,xO,xQ
  1349.                 T62 T6203,2Eh,TUCOMISD,EVEXNW+EVEXX+EVEXS+EVEXV,xQ,xQ
  1350.                 T62 T6203,2Fh,TCOMISD,EVEXNW+EVEXX+EVEXS+EVEXV,xQ,xQ
  1351.                 T62 T6201,5Eh,TDIVPD,EVEXM+EVEXR+EVEXNW,xO,xQ
  1352.                 T62 T6205,$5A,TCVTPD2PS,EVEXM+EVEXR+EVEXNW+EVEXV,xO,xQ
  1353.                 T62 T6206,$7B,TCVTP?2QQ,EVEXM+EVEXR+EVEXE+EVEXV,xO,xQ
  1354.                 T62 T6206,$79,TCVTP?2UQQ,EVEXM+EVEXR+EVEXE+EVEXV,xO,xQ
  1355.                 T62 T6204,$5B,TCVTPS2DQ,EVEXM+EVEXR+EVEXYW+EVEXV,xO,xD
  1356.                 T62 T6205,$E6,TCVTTPD2DQ,EVEXM+EVEXNW+EVEXV,xO,xQ
  1357.                 T62 T6206,$7A,TCVTTP?2QQ,EVEXM+EVEXE+EVEXV,xO,xQ
  1358.                 T62 T6206,$78,TCVTTP?2UQQ,EVEXM+EVEXE+EVEXV,xO,xQ
  1359.                 T62 T6201,5Fh,TMAXPD,EVEXM+EVEXNW,xO,xQ
  1360.                 T62 T6201,5Dh,TMINPD,EVEXM+EVEXNW,xO,xQ
  1361.                 T62 T6204,28h,TMOVAPD,EVEXM+EVEXNW+EVEXV,xO,xO
  1362.                 T62 T620B,29h,TMOVAPD,EVEXM+EVEXNW+EVEXV,xO,xO
  1363.                 T62 T6211,6Eh,TMOVD,EVEXM+EVEXQ1+EVEXNW+EVEXYW+EVEXV,xD,xD
  1364.                 T62 T6212,7Eh,TMOVD,EVEXM+EVEXQ1+EVEXNW+EVEXYW+EVEXV,xD,xD
  1365.                 T62 T620B,$D6,TMOVQ,EVEXM+EVEXNW+EVEXV,xQ,xQ
  1366.                 T62 T6204,6Fh,TMOVDQA??,EVEXM+EVEXE+EVEXV,xO,xO
  1367.                 T62 T620B,7Fh,TMOVDQA??,EVEXM+EVEXE+EVEXV,xO,xO
  1368.                 T62 T620D,16h,TMOVHPD,EVEXM+EVEXLX+EVEXNW,xQ,xQ
  1369.                 T62 T620D,12h,TMOVLPD,EVEXM+EVEXLX+EVEXNW,xQ,xQ
  1370.                 T62 T620F,17h,TMOVHPD,EVEXM+EVEXLX+EVEXV+EVEXNW,xQ,xQ
  1371.                 T62 T620F,13h,TMOVLPD,EVEXM+EVEXLX+EVEXV+EVEXNW,xQ,xQ
  1372.                 T62 T6210,$E7,TMOVNTDQ,EVEXM+EVEXV+EVEXYW,xO,xO
  1373.                 T62 T6210,2Bh,TMOVNTPD,EVEXM+EVEXV+EVEXNW,xO,xO
  1374.                 T62 T6204,10h,TMOVUPD,EVEXM+EVEXV+EVEXNW,xO,xO
  1375.                 T62 T620B,11h,TMOVUPD,EVEXM+EVEXNW+EVEXV,xO,xO
  1376.                 T62 T6201,$F6,TPSADBW,EVEXM,xO,xO
  1377.                 T62 T6201,59h,TMULPD,EVEXM+EVEXR+EVEXNW,xO,xQ
  1378.                 T62 T6201,56h,TORPD,EVEXM+EVEXR+EVEXNW,xO,xQ
  1379.                 T62 T6201,57h,TXORPD,EVEXM+EVEXR+EVEXNW,xO,xQ
  1380.                 T62 T6201,63h,TPACKSSWB,EVEXM,xO,xO
  1381.                 T62 T6201,6Bh,TPACKSSDW,EVEXM+EVEXR+EVEXYW,xO,xD
  1382.                 T62 T6201,67h,TPACKUSWB,EVEXM,xO,xO
  1383.                 T62 T6201,$FC,TPADDB,EVEXM,xO,xO
  1384.                 T62 T6201,$FD,TPADDW,EVEXM,xO,xO
  1385.                 T62 T6201,$FE,TPADDD,EVEXM+EVEXR+EVEXYW,xO,xD
  1386.                 T62 T6201,$D4,TPADDQ,EVEXM+EVEXR+EVEXNW,xO,xQ
  1387.                 T62 T6201,$EC,TPADDSB,EVEXM,xO,xO
  1388.                 T62 T6201,$ED,TPADDSW,EVEXM,xO,xO
  1389.                 T62 T6201,$DC,TPADDUSB,EVEXM,xO,xO
  1390.                 T62 T6201,$DD,TPADDUSW,EVEXM,xO,xO
  1391.                 T62 T6201,$DB,TPANDD,EVEXM+EVEXQ1+EVEXB+EVEXR,xO,xD
  1392.                 T62 T6201,$DF,TPANDND,EVEXM+EVEXQ1+EVEXB+EVEXR,xO,xD
  1393.                 T62 T6201,$E0,TPAVGB,EVEXM,xO,xO
  1394.                 T62 T6201,$E3,TPAVGW,EVEXM,xO,xO
  1395.                 T62 T6202,$76,TPCMPEQD,EVEXM+EVEXYW,xO,xD
  1396.                 T62 T6202,$74,TPCMPEQB,EVEXM,xO,xO
  1397.                 T62 T6202,$75,TPCMPEQW,EVEXM,xO,xO
  1398.                 T62 T6202,$66,TPCMPGTD,EVEXM+EVEXYW,xO,xD
  1399.                 T62 T6202,$64,TPCMPGTB,EVEXM,xO,xO
  1400.                 T62 T6202,$65,TPCMPGTW,EVEXM,xO,xO
  1401.                 T62 T6213,$C5,TPEXTRW,EVEXV+EVEXI+EVEXM+EVEXLX,xW,xW
  1402.                 T62 T6201,$F5,TPMADDWD,EVEXM,xO,xO
  1403.                 T62 T6214,$C4,TPINSRW,EVEXM+EVEXLX+EVEXI,xW,xW
  1404.                 T62 T6201,$EE,TPMAXSW,EVEXM,xO,xO
  1405.                 T62 T6201,$DE,TPMAXUB,EVEXM,xO,xO
  1406.                 T62 T6201,$EA,TPMINSW,EVEXM,xO,xO
  1407.                 T62 T6201,$DA,TPMINUB,EVEXM,xO,xO
  1408.                 T62 T6201,$E4,TPMULHUW,EVEXM,xO,xO
  1409.                 T62 T6201,$E5,TPMULHW,EVEXM,xO,xO
  1410.                 T62 T6201,$D5,TPMULLW,EVEXM,xO,xO
  1411.                 T62 T6201,$F4,TPMULUDQ,EVEXNW+EVEXM+EVEXB,xO,xD
  1412.                 T62 T6201,$EB,TPORD,EVEXQ1+EVEXM+EVEXB,xO,xD
  1413.                 T62 T6204,70h,TPSHUFD,EVEXYW+EVEXM+EVEXI+EVEXV,xO,xD
  1414.                 T62 T6215,$F1,TPSLLW,EVEXM,xO,xO
  1415.                 T62 T6215,$F2,TPSLLD,EVEXYW+EVEXM,xO,xO
  1416.                 T62 T6215,$F3,TPSLLQ,EVEXNW+EVEXM,xO,xO
  1417.                 T62 T6271,71h,TNULL,EVEXM+EVEXI,xO,xO
  1418.                 T62 T6272,72h,TNULL,EVEXM+EVEXB+EVEXI,xO,xD
  1419.                 T62 T6273,73h,TNULL,EVEXM+EVEXB+EVEXI,xO,xD
  1420.                 T62 T6215,$E1,TPSRAW,EVEXM,xO,xO
  1421.                 T62 T6215,$E2,TPSRAD,EVEXQ1+EVEXM,xO,xO
  1422.                 T62 T6215,$D1,TPSRLW,EVEXM,xO,xO
  1423.                 T62 T6215,$D2,TPSRLD,EVEXYW+EVEXQ1+EVEXM,xO,xO
  1424.                 T62 T6215,$D3,TPSRLQ,EVEXNW+EVEXM,xO,xO
  1425.                 T62 T6201,$F8,TPSUBB,EVEXM,xO,xD
  1426.                 T62 T6201,$F9,TPSUBW,EVEXM,xO,xD
  1427.                 T62 T6201,$FA,TPSUBD,EVEXM+EVEXYW+EVEXB,xO,xD
  1428.                 T62 T6201,$FB,TPSUBQ,EVEXM+EVEXNW+EVEXB,xO,xD
  1429.                 T62 T6201,$E8,TPSUBSB,EVEXM,xO,xD
  1430.                 T62 T6201,$E9,TPSUBSW,EVEXM,xO,xD
  1431.                 T62 T6201,$D8,TPSUBUSB,EVEXM,xO,xD
  1432.                 T62 T6201,$D9,TPSUBUSW,EVEXM,xO,xD
  1433.                 T62 T6201,68h,TPUNPCKHBW,EVEXM,xO,xD
  1434.                 T62 T6201,69h,TPUNPCKHWD,EVEXM,xO,xD
  1435.                 T62 T6201,6Ah,TPUNPCKHDQ,EVEXYW+EVEXM,xO,xD
  1436.                 T62 T6201,6Dh,TPUNPCKHQDQ,EVEXNW+EVEXM,xO,xQ
  1437.                 T62 T6201,60h,TPUNPCKLBW,EVEXM,xO,xD
  1438.                 T62 T6201,61h,TPUNPCKLWD,EVEXM,xO,xD
  1439.                 T62 T6201,62h,TPUNPCKLDQ,EVEXYW+EVEXM,xO,xD
  1440.                 T62 T6201,6Ch,TPUNPCKLQDQ,EVEXNW+EVEXM,xO,xQ
  1441.                 T62 T6201,$C6,TSHUFPD,EVEXM+EVEXNW+EVEXI,xO,xQ
  1442.                 T62 T6206,51h,TSQRTPD,EVEXM+EVEXR+EVEXNW+EVEXV,xO,xQ
  1443.                 T62 T6201,$EF,TPXORD,EVEXQ1+EVEXM+EVEXB,xO,xD
  1444.                 T62 T6201,5Ch,TSUBPD,EVEXM+EVEXNW+EVEXR,xO,xQ
  1445.                 T62 T6201,15h,TUNPCKHPD,EVEXM+EVEXNW,xO,xQ
  1446.                 T62 T6201,14h,TUNPCKLPD,EVEXM+EVEXNW,xO,xQ
  1447. dd -1
  1448. T6200F3:
  1449.                 T62 T6201,5Ch,TSUBSS,EVEXM+EVEXYW+EVEXR+EVEXX,xD,xD
  1450.                 T62 T6201,58h,TADDSS,EVEXM+EVEXYW+EVEXR+EVEXX,xD,xD
  1451.                 T62 T6201,59h,TMULSS,EVEXM+EVEXYW+EVEXR+EVEXX,xD,xD
  1452.                 T62 T6202,$C2,TCMPSS,EVEXM+EVEXYW+EVEXI+EVEXX,xD,xD
  1453.                 T62 T6201,5Eh,TDIVSS,EVEXM+EVEXYW+EVEXR+EVEXX,xD,xD
  1454.                 T62 T62W2,$E6,TCVT?Q2PD,EVEX2+EVEXO+EVEXR+EVEXM+EVEXE+EVEXB+EVEXV,xO,xD
  1455.                 T62 T6201,5Ah,TCVTSS2SD,EVEXM+EVEXX+EVEXYW,xD,xD
  1456.                 T62 T6213,2Dh,TCVTSS2SI,EVEXM+EVEXR+EVEXX+EVEXW0+EVEXV,xQ,xQ
  1457.                 T62 T6214,2Ah,TCVTSI2SS,EVEXU+EVEXR+EVEXM+EVEXX+EVEXNW+EVEXYW,xD,xD
  1458.                 T62 T6213,79h,TCVTSS2USI,EVEXM+EVEXX+EVEXW0+EVEXV,xD,xD
  1459.                 T62 T6213,2Ch,TCVTTSS2SI,EVEXM+EVEXX+EVEXW0+EVEXV,xQ,xQ
  1460.                 T62 T6213,78h,TCVTTSS2USI,EVEXM+EVEXX+EVEXW0+EVEXV,xD,xD
  1461.                 T62 T6204,$5B,TCVTTPS2DQ,EVEXM+EVEXYW+EVEXV,xO,xD
  1462.                 T62 T6206,$7A,TCVTU?Q2PD,EVEXM+EVEXO+EVEXR+EVEXE+EVEXV,xO,xQ
  1463.                 T62 T6214,7Bh,TCVTUSI2SS,EVEXU+EVEXR+EVEXX+EVEXM+EVEXNW+EVEXYW,xD,xD
  1464.                 T62 T6201,5Fh,TMAXSS,EVEXM+EVEXX+EVEXYW,xD,xD
  1465.                 T62 T6201,5Dh,TMINSS,EVEXM+EVEXX+EVEXYW,xD,xD
  1466.                 T62 T6204,7Eh,TMOVQ,EVEXM+EVEXNW+EVEXV,xQ,xQ
  1467.                 T62 T6204,6Fh,TMOVDQU?2,EVEXM+EVEXE+EVEXV,xO,xO
  1468.                 T62 T620B,7Fh,TMOVDQU?2,EVEXM+EVEXE+EVEXV,xO,xO
  1469.                 T62 T6204,16h,TMOVSHDUP,EVEXM+EVEXV+EVEXYW,xO,xO
  1470.                 T62 T6204,12h,TMOVSLDUP,EVEXM+EVEXV+EVEXYW,xO,xO
  1471.                 T62 T6216,10h,TMOVSS,EVEXM+EVEXX+EVEXYW,xD,xD
  1472.                 T62 T6217,11h,TMOVSS,EVEXM+EVEXX+EVEXYW,xD,xD
  1473.                 T62 T6204,70h,TPSHUFHW,EVEXM+EVEXI+EVEXV,xO,xO
  1474.                 T62 T6201,51h,TSQRTSS,EVEXX+EVEXM+EVEXYW+EVEXR+EVEXX,xD,xD
  1475. dd -1
  1476. T6200F2:
  1477.                 T62 T6201,5Ch,TSUBSD,EVEXM+EVEXNW+EVEXR+EVEXX,xQ,xQ
  1478.                 T62 T6201,58h,TADDSD,EVEXM+EVEXNW+EVEXR+EVEXX,xQ,xQ
  1479.                 T62 T6201,59h,TMULSD,EVEXM+EVEXNW+EVEXR+EVEXX,xQ,xQ
  1480.                 T62 T6202,$C2,TCMPSD,EVEXM+EVEXNW+EVEXI+EVEXX,xQ,xQ
  1481.                 T62 T6201,5Eh,TDIVSD,EVEXM+EVEXNW+EVEXR+EVEXX,xQ,xQ
  1482.                 T62 T6205,$E6,TCVTPD2DQ,EVEXM+EVEXR+EVEXNW+EVEXV,xO,xQ
  1483.                 T62 T6213,2Dh,TCVTSD2SI,EVEXM+EVEXR+EVEXX+EVEXW0+EVEXV,xQ,xQ
  1484.                 T62 T6213,79h,TCVTSD2USI,EVEXM+EVEXR+EVEXX+EVEXW0+EVEXV,xQ,xQ
  1485.                 T62 T6201,5Ah,TCVTSD2SS,EVEXM+EVEXR+EVEXNW,xQ,xQ
  1486.                 T62 T6214,2Ah,TCVTSI2SD,EVEXU+EVEXR+EVEXM+EVEXX+EVEXNW+EVEXYW,xD,xD
  1487.                 T62 T6213,2Ch,TCVTTSD2SI,EVEXM+EVEXX+EVEXW0+EVEXV,xQ,xQ
  1488.                 T62 T6213,78h,TCVTTSD2USI,EVEXM+EVEXX+EVEXW0+EVEXV,xQ,xQ
  1489.                 T62 T62W1,7Ah,TCVTU?Q2PS,EVEX2+EVEXR+EVEXM+EVEXE+EVEXV,xO,xQ
  1490.                 T62 T6214,7Bh,TCVTUSI2SD,EVEXU+EVEXR+EVEXX+EVEXM+EVEXNW+EVEXYW,xD,xD
  1491.                 T62 T6201,5Fh,TMAXSD,EVEXM+EVEXNW,xQ,xQ
  1492.                 T62 T6201,5Dh,TMINSD,EVEXM+EVEXNW,xQ,xQ
  1493.                 T62 T6218,12h,TMOVDDUP,EVEXM+EVEXNW+EVEXV,xQ,xQ
  1494.                 T62 T6204,6Fh,TMOVDQU??,EVEXM+EVEXE+EVEXV,xO,xO
  1495.                 T62 T620B,7Fh,TMOVDQU??,EVEXM+EVEXE+EVEXV,xO,xO
  1496.                 T62 T6216,10h,TMOVSD,EVEXM+EVEXX+EVEXNW,xQ,xQ
  1497.                 T62 T6217,11h,TMOVSD,EVEXM+EVEXX+EVEXNW,xQ,xQ
  1498.                 T62 T6204,70h,TPSHUFLW,EVEXM+EVEXI+EVEXV,xO,xO
  1499.                 T62 T6201,51h,TSQRTSD,EVEXM+EVEXNW+EVEXR+EVEXX,xQ,xQ
  1500. dd -1
  1501. T623800:
  1502. dd -1
  1503. T623866:
  1504.                 T62 T6201,64h,TPBLENDMD,EVEXB+EVEXM+EVEXQ1+EVEX0,xX,xD
  1505.                 T62 T6201,65h,TBLENDMPS,EVEXB+EVEXM+EVEXD1,xX,xD
  1506.                 T62 T6201,66h,TPBLENDM?,EVEXM+EVEXE,xX,0
  1507.                 T62 T6203,19h,TBROADCAST??,EVEXL0+EVEXE+EVEX0,xQ,xQ
  1508.                 T62 T6203,18h,TBROADCASTSS,EVEXYW,xD,xD
  1509.                 T62 T6219,1Ah,TBROADCASTF??X2,EVEXL0+EVEXE+EVEXV,xO,xO
  1510.                 T62 T621A,1Bh,TBROADCASTF??X?,EVEXLL+EVEXE+EVEXV,xY,xY
  1511.                 T62 T62RB,7Ah,TPBROADCASTB,EVEXYW+EVEXV,xN,xN
  1512.                 T62 T62RW,7Bh,TPBROADCASTW,EVEXYW+EVEXV,xN,xN
  1513.                 T62 T62RD,7Ch,TPBROADCASTD,EVEXQ1+EVEXV,xN,xN
  1514.                 T62 T6203,78h,TPBROADCASTB,EVEXYW+EVEXV,xB,xB
  1515.                 T62 T6203,79h,TPBROADCASTW,EVEXYW+EVEXV,xW,xW
  1516.                 T62 T6203,58h,TPBROADCASTD,EVEXYW+EVEXV,xD,xD
  1517.                 T62 T6203,59h,TBROADCASTI??,EVEXE+EVEXV,xQ,xQ
  1518.                 T62 T6219,5Ah,TBROADCASTI??X2,EVEXL0+EVEXE+EVEXV,xX,xX
  1519.                 T62 T621A,5Bh,TBROADCASTI??X?,EVEXLL+EVEXE+EVEXV,xY,xY
  1520.                 T62 T620B,8Ah,TCOMPRESSPS,EVEXM+EVEXD1+EVEXV,xO,xO
  1521.                 T62 T6207,13h,TCVTPH2PS,EVEXM+EVEXYW+EVEXV,xQ,xQ
  1522.                 T62 T6204,88h,TEXPANDPS,EVEXM+EVEXD1+EVEXV,xO,xO
  1523.                 T62 T6201,98h,TFMADD132PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1524.                 T62 T6201,$A8,TFMADD213PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1525.                 T62 T6201,$B8,TFMADD231PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1526.                 T62 T6201,$96,TFMADDSUB132PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1527.                 T62 T6201,$A6,TFMADDSUB213PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1528.                 T62 T6201,$B6,TFMADDSUB231PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1529.                 T62 T6201,$97,TFMSUBADD132PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1530.                 T62 T6201,$A7,TFMSUBADD213PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1531.                 T62 T6201,$B7,TFMSUBADD231PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1532.                 T62 T6201,$9A,TFMSUB132PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1533.                 T62 T6201,$AA,TFMSUB213PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1534.                 T62 T6201,$BA,TFMSUB231PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1535.                 T62 T6201,$9C,TFNMADD132PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1536.                 T62 T6201,$AC,TFNMADD213PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1537.                 T62 T6201,$BC,TFNMADD231PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1538.                 T62 T6201,$9E,TFNMSUB132PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1539.                 T62 T6201,$AE,TFNMSUB213PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1540.                 T62 T6201,$BE,TFNMSUB231PS,EVEXR+EVEXB+EVEXM+EVEXD1,xX,xD
  1541.                 T62 T6201,$99,TFMADD132SS,EVEXR+EVEXU+EVEXX+EVEXM+EVEXD1,xD,xD
  1542.                 T62 T6201,$A9,TFMADD213SS,EVEXR+EVEXU+EVEXX+EVEXM+EVEXD1,xD,xD
  1543.                 T62 T6201,$B9,TFMADD231SS,EVEXR+EVEXU+EVEXX+EVEXM+EVEXD1,xD,xD
  1544.                 T62 T6201,$9B,TFMSUB132SS,EVEXR+EVEXU+EVEXX+EVEXM+EVEXD1,xD,xD
  1545.                 T62 T6201,$AB,TFMSUB213SS,EVEXR+EVEXU+EVEXX+EVEXM+EVEXD1,xD,xD
  1546.                 T62 T6201,$BB,TFMSUB231SS,EVEXR+EVEXU+EVEXX+EVEXM+EVEXD1,xD,xD
  1547.                 T62 T6201,$9D,TFNMADD132SS,EVEXR+EVEXU+EVEXX+EVEXM+EVEXD1,xD,xD
  1548.                 T62 T6201,$AD,TFNMADD213SS,EVEXR+EVEXU+EVEXX+EVEXM+EVEXD1,xD,xD
  1549.                 T62 T6201,$BD,TFNMADD231SS,EVEXR+EVEXU+EVEXX+EVEXM+EVEXD1,xD,xD
  1550.                 T62 T6201,$9F,TFNMSUB132SS,EVEXR+EVEXU+EVEXX+EVEXM+EVEXD1,xD,xD
  1551.                 T62 T6201,$AF,TFNMSUB213SS,EVEXR+EVEXU+EVEXX+EVEXM+EVEXD1,xD,xD
  1552.                 T62 T6201,$BF,TFNMSUB231SS,EVEXR+EVEXU+EVEXX+EVEXM+EVEXD1,xD,xD
  1553.                 T62 T6200,$90,TPGATHERDD,EVEXM+EVEXQ1,xN,xN
  1554.                 T62 T621B,$91,TPGATHERQD,EVEXM+EVEXQ1,xN,xN
  1555.                 T62 T6200,$92,TGATHERDPS,EVEXM+EVEXD1,xN,xN
  1556.                 T62 T621B,$93,TGATHERQPS,EVEXM+EVEXD1,xN,xN
  1557.                 T62 T6204,$42,TGETEXPPS,EVEXB+EVEXM+EVEXD1+EVEXV,xO,xD
  1558.                 T62 T6201,$43,TGETEXPSS,EVEXU+EVEXX+EVEXM+EVEXD1,xD,xD
  1559.                 T62 T621C,2Ah,TMOVNTDQA,EVEXM+EVEXV+EVEXYW,xO,xO
  1560.                 T62 T6204,1Ch,TPABSB,EVEXM+EVEXV,xO,xO
  1561.                 T62 T6204,1Dh,TPABSW,EVEXM+EVEXV,xO,xO
  1562.                 T62 T6204,1Eh,TPABSD,EVEXM+EVEXR+EVEXYW+EVEXV,xO,xD
  1563.                 T62 T6204,1Fh,TPABSQ,EVEXM+EVEXR+EVEXNW+EVEXV,xO,xQ
  1564.                 T62 T6201,2Bh,TPACKUSDW,EVEXM+EVEXR+EVEXYW,xO,xD
  1565.                 T62 T6202,29h,TPCMPEQQ,EVEXM+EVEXNW,xO,xQ
  1566.                 T62 T6202,37h,TPCMPGTQ,EVEXM+EVEXNW,xO,xQ
  1567.                 T62 T620B,8Bh,TPCOMPRESSD,EVEXM+EVEXQ1+EVEXV,xO,xO
  1568.                 T62 T6204,$C4,TPCONFLICTD,EVEXM+EVEXB+EVEXQ1+EVEXV,xO,xD
  1569.                 T62 T6201,8Dh,TPERM?,EVEXM+EVEXE,xO,xO
  1570.                 T62 T6201,36h,TPERMD,EVEXM+EVEXQ1+EVEXB+EVEXL0,xO,xD
  1571.                 T62 T6201,75h,TPERMI2?,EVEXM+EVEXE,xO,xO
  1572.                 T62 T6201,76h,TPERMI2D,EVEXM+EVEXB+EVEXQ1,xO,xD
  1573.                 T62 T6201,77h,TPERMI2PS,EVEXM+EVEXB+EVEXD1,xO,xD
  1574.                 T62 T6201,7Dh,TPERMI2?2,EVEXM+EVEXE,xO,xO
  1575.                 T62 T6201,7Eh,TPERMT2D,EVEXM+EVEXB+EVEXQ1,xO,xD
  1576.                 T62 T6201,7Fh,TPERMT2PS,EVEXM+EVEXB+EVEXD1,xO,xD
  1577.                 T62 T6201,0Dh,TPERMILPD,EVEXNW+EVEXM+EVEXB,xO,xD
  1578.                 T62 T6201,0Ch,TPERMILPS,EVEXYW+EVEXM+EVEXB,xO,xD
  1579.                 T62 T6201,16h,TPERMPS,EVEXD1+EVEXM+EVEXB,xO,xD
  1580.                 T62 T6204,89h,TPEXPANDD,EVEXM+EVEXQ1+EVEXV,xO,xO
  1581.                 T62 T6204,44h,TPLZCNTD,EVEXQ1+EVEXM+EVEXB+EVEXV,xO,xD
  1582.                 T62 T6201,04h,TPMADDUBSW,EVEXM,xO,xO
  1583.                 T62 T6201,$B4,TPMADD52LUQ,EVEXNW+EVEXM+EVEXB,xO,xD
  1584.                 T62 T6201,$B5,TPMADD52HUQ,EVEXNW+EVEXM+EVEXB,xO,xD
  1585.                 T62 T6201,3Ch,TPMAXSB,EVEXM,xO,xO
  1586.                 T62 T6201,3Dh,TPMAXSD,EVEXQ1+EVEXM+EVEXB,xO,xD
  1587.                 T62 T6201,3Eh,TPMAXUW,EVEXM,xO,xO
  1588.                 T62 T6201,3Fh,TPMAXUD,EVEXQ1+EVEXM+EVEXB,xO,xD
  1589.                 T62 T6201,38h,TPMINSB,EVEXM,xO,xO
  1590.                 T62 T6201,39h,TPMINSD,EVEXQ1+EVEXM+EVEXB,xO,xD
  1591.                 T62 T6201,3Ah,TPMINUW,EVEXM,xO,xO
  1592.                 T62 T6201,3Bh,TPMINUD,EVEXQ1+EVEXM+EVEXB,xO,xD
  1593.                 T62 T6207,20h,TPMOVSXBW,EVEXM+EVEXV,xQ,xQ
  1594.                 T62 T6207,23h,TPMOVSXWD,EVEXM+EVEXV,xQ,xQ
  1595.                 T62 T6207,25h,TPMOVSXDQ,EVEXYW+ EVEXM+EVEXV,xQ,xQ
  1596.                 T62 T6203,21h,TPMOVSXBD,EVEXM+EVEXV,xD,xD
  1597.                 T62 T6203,22h,TPMOVSXBQ,EVEXM+EVEXV,xW,xW
  1598.                 T62 T6203,24h,TPMOVSXWQ,EVEXM+EVEXV,xD,xD
  1599.                 T62 T6207,30h,TPMOVZXBW,EVEXM+EVEXV,xQ,xQ
  1600.                 T62 T6207,33h,TPMOVZXWD,EVEXM+EVEXV,xQ,xQ
  1601.                 T62 T6207,35h,TPMOVZXDQ,EVEXYW+EVEXM+EVEXV,xQ,xQ
  1602.                 T62 T6203,31h,TPMOVZXBD,EVEXM+EVEXV,xD,xD
  1603.                 T62 T6203,32h,TPMOVZXBQ,EVEXM+EVEXV,xW,xW
  1604.                 T62 T6203,34h,TPMOVZXWQ,EVEXM+EVEXV,xD,xD
  1605.                 T62 T6201,28h,TPMULDQ,EVEXM+EVEXNW,xO,xQ
  1606.                 T62 T6201,0Bh,TPMULHRSW,EVEXM,xO,xO
  1607.                 T62 T6201,40h,TPMULLD,EVEXQ1+EVEXM+EVEXB,xO,xD
  1608.                 T62 T6201,83h,TPMULTISHIFTQB,EVEXNW+EVEXM+EVEXB,xO,xD
  1609.                 T62 T6201,15h,TPROLVD,EVEXQ1+EVEXM+EVEXB,xO,xD
  1610.                 T62 T6201,14h,TPRORVD,EVEXQ1+EVEXM+EVEXB,xO,xD
  1611.                 T62 T62V1XYZ,$A0,TPSCATTERDD,EVEXM+EVEXQ1,xD,xD
  1612.                 T62 T62V2XYZ,$A1,TPSCATTERQD,EVEXM+EVEXQ1,xD,xD
  1613.                 T62 T6201,00h,TPSHUFB,EVEXM,xO,xO
  1614.                 T62 T6201,12h,TPSLLVW,EVEXNW+EVEXM,xO,xO
  1615.                 T62 T6201,47h,TPSLLVD,EVEXM+EVEXB+EVEXQ1,xO,xD
  1616.                 T62 T6201,10h,TPSRLVW,EVEXNW+EVEXM,xO,xO
  1617.                 T62 T6201,45h,TPSRLVD,EVEXM+EVEXB+EVEXQ1,xO,xD
  1618.                 T62 T6202,26h,TPTESTM?,EVEXM+EVEXE,xO,xO
  1619.                 T62 T6202,27h,TPTESTMD,EVEXQ1+EVEXM+EVEXB,xO,xD
  1620.                 T62 T6201,11h,TPSRAVW,EVEXM+EVEXNW,xO,xO
  1621.                 T62 T6201,46h,TPSRAVD,EVEXQ1+EVEXB+EVEXM,xO,xD
  1622.                 T62 T6204,4Ch,TRCP14PS,EVEXM+EVEXB+EVEXD1,xO,xD
  1623.                 T62 T6201,4Dh,TRCP14SS,EVEXX+EVEXM+EVEXU+EVEXD1,xD,xD
  1624.                 T62 T6204,4Eh,TRSQRT14PS,EVEXM+EVEXB+EVEXD1,xO,xD
  1625.                 T62 T6201,2Ch,TSCALEFPS,EVEXM+EVEXB+EVEXR+EVEXD1,xO,xD
  1626.                 T62 T6201,4Fh,TRSQRT14SS,EVEXX+EVEXU+EVEXM+EVEXD1,xD,xD
  1627.                 T62 T6201,2Dh,TSCALEFSS,EVEXX+EVEXU+EVEXM+EVEXR+EVEXD1,xD,xD
  1628.                 T62 T62V1XYZ,$A2,TSCATTERDPS,EVEXM+EVEXD1,xD,xD
  1629.                 T62 T62V2XYZ,$A3,TSCATTERQPS,EVEXM+EVEXD1,xD,xD
  1630.                 T62 T6204,$C8,TEXP2PS,EVEXLL+EVEXM+EVEXB+EVEXD1+EVEXV,xO,xD
  1631.                 T62 T6204,$CA,TRCP28PS,EVEXLL+EVEXM+EVEXB+EVEXD1+EVEXV,xO,xD
  1632.                 T62 T6204,$CC,TRSQRT28PS,EVEXLL+EVEXM+EVEXB+EVEXD1+EVEXV,xO,xD
  1633.                 T62 T6201,$CB,TRCP28SS,EVEXX+EVEXU+EVEXM+EVEXD1,xD,xD
  1634.                 T62 T6201,$CD,TRSQRT28SS,EVEXX+EVEXU+EVEXM+EVEXD1,xD,xD
  1635.                 T62 T62XYZVV1,$C6,TNULL,EVEXU,xD,xD
  1636.                 T62 T62XYZVV2,$C7,TNULL,EVEXU,xD,xD
  1637.                 T62 T6201,$CF,TGF2P8MULB,EVEXR+EVEXB+EVEXM+EVEXYW,xX,xD
  1638.                 T62 T6201,$DE,TAESDEC,EVEXM,xO,xO
  1639.                 T62 T6201,$DF,TAESDECLAST,EVEXM,xO,xO
  1640.                 T62 T6201,$DC,TAESENC,EVEXM,xO,xO
  1641.                 T62 T6201,$DD,TAESENCLAST,EVEXM,xO,xO
  1642.                 T62 T6201,50h,TPDPBUSD,EVEXM+EVEXB,xO,xD
  1643.                 T62 T6201,51h,TPDPBUSDS,EVEXM+EVEXB,xO,xD
  1644.                 T62 T6201,52h,TPDPWSSD,EVEXM+EVEXB,xO,xD
  1645.                 T62 T6201,53h,TPDPWSSDS,EVEXM+EVEXB,xO,xD
  1646.                 T62 T6204,54h,TPOPCNT?A,EVEXM+EVEXV+EVEXE,xO,xO
  1647.                 T62 T6204,55h,TPOPCNTD,EVEXM+EVEXV+EVEXQ1,xO,xO
  1648.                 T62 T6201,70h,TPSHLDVW,EVEXM+EVEXNW,xO,xQ
  1649.                 T62 T6201,71h,TPSHLDVD,EVEXM+EVEXB+EVEXQ1,xO,xD
  1650.                 T62 T6201,72h,TPSHRDVW,EVEXM+EVEXNW,xO,xQ
  1651.                 T62 T6201,73h,TPSHRDVD,EVEXM+EVEXB+EVEXQ1,xO,xD
  1652.                 T62 T6202,8Fh,TPSHUFBITQMB,EVEXM,xO,xO
  1653.                 T62 T6204,62h,TPEXPAND?,EVEXM+EVEXV+EVEXE,xO,xO
  1654.                 T62 T620B,63h,TPCOMPRESS?,EVEXM+EVEXV+EVEXE,xO,xO
  1655. dd -1
  1656. T6238F3:
  1657.                 T62 T621D,2Ah,TPBROADCASTMB2Q,EVEXV+EVEXM+EVEXNW,xN,xN
  1658.                 T62 T621D,3Ah,TPBROADCASTMW2D,EVEXV+EVEXM+EVEXYW,xN,xN
  1659.                 T62 T621D,28h,TPMOVM2?,EVEXE+EVEXV+EVEXM,xN,xN
  1660.                 T62 T621D,38h,TPMOVM2D,EVEXQ1+EVEXV+EVEXM,xN,xN
  1661.                 T62 T621E,29h,TPMOVB?2M,EVEXE+EVEXV+EVEXM,xN,xN
  1662.                 T62 T621E,39h,TPMOVD?2M,EVEXE+EVEXV+EVEXM,xN,xN
  1663.                 T62 T6220,12h,TPMOVUSQB,EVEXYW+EVEXV+EVEXM+EVEXB,xW,xW
  1664.                 T62 T6220,22h,TPMOVSQB,EVEXYW+EVEXV+EVEXM+EVEXB,xW,xW
  1665.                 T62 T6220,32h,TPMOVQB,EVEXYW+EVEXV+EVEXM+EVEXB,xW,xW
  1666.                 T62 T6220,14h,TPMOVUSQW,EVEXYW+EVEXV+EVEXM+EVEXB,xD,xD
  1667.                 T62 T6220,24h,TPMOVSQW,EVEXYW+EVEXV+EVEXM+EVEXB,xD,xD
  1668.                 T62 T6220,34h,TPMOVQW,EVEXYW+EVEXV+EVEXM+EVEXB,xD,xD
  1669.                 T62 T620A,15h,TPMOVUSQD,EVEXYW+EVEXV+EVEXM+EVEXB,xQ,xQ
  1670.                 T62 T620A,25h,TPMOVSQD,EVEXYW+EVEXV+EVEXM+EVEXB,xQ,xQ
  1671.                 T62 T620A,35h,TPMOVQD,EVEXYW+EVEXV+EVEXM+EVEXB,xQ,xQ
  1672.                 T62 T6220,11h,TPMOVUSDB,EVEXYW+EVEXV+EVEXM+EVEXB,xD,xD
  1673.                 T62 T6220,21h,TPMOVSDB,EVEXYW+EVEXV+EVEXM+EVEXB,xD,xD
  1674.                 T62 T6220,31h,TPMOVDB,EVEXYW+EVEXV+EVEXM+EVEXB,xD,xD
  1675.                 T62 T620A,13h,TPMOVUSDW,EVEXYW+EVEXV+EVEXM+EVEXB,xQ,xQ
  1676.                 T62 T620A,23h,TPMOVSDW,EVEXYW+EVEXV+EVEXM+EVEXB,xQ,xQ
  1677.                 T62 T620A,33h,TPMOVDW,EVEXYW+EVEXV+EVEXM+EVEXB,xQ,xQ
  1678.                 T62 T620A,10h,TPMOVUSWB,EVEXYW+EVEXV+EVEXM+EVEXB,xQ,xQ
  1679.                 T62 T620A,20h,TPMOVSWB,EVEXYW+EVEXV+EVEXM+EVEXB,xQ,xQ
  1680.                 T62 T620A,30h,TPMOVWB,EVEXYW+EVEXV+EVEXM+EVEXB,xQ,xQ
  1681.                 T62 T6202,26h,TPTESTNM?,EVEXM+EVEXE,xO,xO
  1682.                 T62 T6202,27h,TPTESTNMD,EVEXQ1+EVEXM+EVEXB,xO,xD
  1683. dd -1
  1684. T6238F2:
  1685.                 T62 T6244,9Ah,T4FMADDPS,EVEXYW+EVEXM+EVEXLL,xO,xO
  1686.                 T62 T6244,$AA,T4FNMADDPS,EVEXYW+EVEXM+EVEXLL,xO,xO
  1687.                 T62 T6244,9Bh,T4FMADDSS,EVEXYW+EVEXM+EVEXX,xO,xO
  1688.                 T62 T6244,$AB,T4FNMADDSS,EVEXYW+EVEXM+EVEXX,xO,xO
  1689.                 T62 T6244,53h,TP4DPWSSDS,EVEXYW+EVEXM+EVEXLL,xO,xO
  1690.                 T62 T6244,52h,TP4DPWSSD,EVEXYW+EVEXM+EVEXLL,xO,xO
  1691. dd -1
  1692. T623A00:
  1693. dd -1
  1694. T623A66:
  1695.                 T62 T6201,03h,TALIGND,EVEXB+EVEXM+EVEXQ1+EVEXI,xO,xD
  1696.                 T62 T620A,1Dh,TCVTPS2PH,EVEXM+EVEXI+EVEXYW+EVEXV,xQ,xQ
  1697.                 T62 T6201,42h,TDBPSADBW,EVEXM+EVEXYW+EVEXI,xO,xO
  1698.                 T62 T6221,19h,TEXTRACTF??X2,EVEXE+EVEXM+EVEXV+EVEXI,xO,xO
  1699.                 T62 T6222,1Bh,TEXTRACTF??X?,EVEXE+EVEXM+EVEXV+EVEXI,xY,xY
  1700.                 T62 T6221,39h,TEXTRACTI??X2,EVEXE+EVEXM+EVEXV+EVEXI,xO,xO
  1701.                 T62 T6222,3Bh,TEXTRACTI??X?,EVEXE+EVEXM+EVEXV+EVEXI,xY,xY
  1702.                 T62 T6223,17h,TEXTRACTPS,EVEXV+EVEXI,xD,xD
  1703.                 T62 T6201,54h,TFIXUPIMMPS,EVEXB+EVEXM+EVEXD1+EVEXI,xO,xD
  1704.                 T62 T6201,55h,TFIXUPIMMSS,EVEXU+EVEXX+EVEXM+EVEXD1+EVEXI,xD,xD
  1705.                 T62 T621F,66h,TFPCLASSPS,EVEXB+EVEXM+EVEXD1+EVEXV+EVEXI,xO,xD
  1706.                 T62 T621F,67h,TFPCLASSSS,EVEXU+EVEXX+EVEXM+EVEXD1+EVEXV+EVEXI,xD,xD
  1707.                 T62 T6204,26h,TGETMANTPS,EVEXB+EVEXM+EVEXD1+EVEXV+EVEXI,xO,xD
  1708.                 T62 T6201,$27,TGETMANTSS,EVEXU+EVEXX+EVEXM+EVEXD1+EVEXI,xD,xD
  1709.                 T62 T6224,18h,TINSERTF??X?,EVEXE+EVEXM+EVEXI,xX,xX
  1710.                 T62 T6225,1Ah,TINSERTF??X2,EVEXE+EVEXM+EVEXI,xX,xX
  1711.                 T62 T6224,38h,TINSERTI??X2,EVEXE+EVEXM+EVEXI,xX,xX
  1712.                 T62 T6225,3Ah,TINSERTI??X?,EVEXE+EVEXM+EVEXI,xX,xX
  1713.                 T62 T6201,$21,TINSERTPS,EVEXU+EVEXM+EVEXD1+EVEXYW+EVEXI,xD,xD
  1714.                 T62 T6201,0Fh,TPALIGNR,EVEXM+EVEXI,xO,xO
  1715.                 T62 T6202,3Fh,TPCMP?,EVEXM+EVEXE+EVEXI,xO,xO
  1716.                 T62 T6202,3Eh,TPCMPU?,EVEXM+EVEXE+EVEXI,xO,xO
  1717.                 T62 T6202,1Fh,TPCMPD,EVEXQ1+EVEXB+EVEXM+EVEXI,xO,xD
  1718.                 T62 T6202,1Eh,TPCMPUD,EVEXQ1+EVEXB+EVEXM+EVEXI,xO,xD
  1719.                 T62 T6204,05h,TPERMILPD,EVEXNW+EVEXV+EVEXB+EVEXM+EVEXI,xO,xD
  1720.                 T62 T6204,04h,TPERMILPS,EVEXYW+EVEXB+EVEXM+EVEXV+EVEXI,xO,xD
  1721.                 T62 T6204,01h,TPERMPD,EVEXNW+EVEXL0+EVEXV+EVEXB+EVEXM+EVEXI,xO,xD
  1722.                 T62 T6204,00h,TPERMQ,EVEXNW+EVEXL0+EVEXV+EVEXB+EVEXM+EVEXI,xO,xD
  1723.                 T62 T6212,14h,TPEXTRB,EVEXV+EVEXI+EVEXM+EVEXLX,xB,xB
  1724.                 T62 T6212,15h,TPEXTRW,EVEXV+EVEXI+EVEXM+EVEXLX,xW,xW
  1725.                 T62 T6212,16h,TPEXTRD,EVEXV+EVEXI+EVEXM+EVEXLX+EVEXU+EVEXQ1,xD,xD
  1726.                 T62 T6214,20h,TPINSRB,EVEXM+EVEXLX+EVEXI,xB,xB
  1727.                 T62 T6214,22h,TPINSRD,EVEXQ1+EVEXU+EVEXM+EVEXLX+EVEXI,xD,xD
  1728.                 T62 T6201,23h,TSHUFF?,EVEXE+EVEXM+EVEXL0+EVEXB+EVEXI,xO,xD
  1729.                 T62 T6201,43h,TSHUFI?,EVEXE+EVEXM+EVEXL0+EVEXB+EVEXI,xO,xD
  1730.                 T62 T6201,25h,TPTERNLOGD,EVEXM+EVEXB+EVEXQ1+EVEXI,xO,xD
  1731.                 T62 T6201,50h,TRANGEPS,EVEXM+EVEXB+EVEXD1+EVEXI,xO,xD
  1732.                 T62 T6201,51h,TRANGESS,EVEXX+EVEXM+EVEXU+EVEXD1+EVEXI,xD,xD
  1733.                 T62 T6204,56h,TREDUCEPS,EVEXD1+EVEXB+EVEXM+EVEXI+EVEXV,xO,xD
  1734.                 T62 T6201,57h,TREDUCESS,EVEXX+EVEXM+EVEXU+EVEXD1+EVEXI,xD,xD
  1735.                 T62 T6204,09h,TRNDSCALEPD,EVEXB+EVEXM+EVEXNW+EVEXI+EVEXV,xO,xD
  1736.                 T62 T6204,08h,TRNDSCALEPS,EVEXB+EVEXM+EVEXYW+EVEXI+EVEXV,xO,xD
  1737.                 T62 T6201,0Bh,TRNDSCALESD,EVEXX+EVEXM+EVEXNW+EVEXI,xQ,xQ
  1738.                 T62 T6201,0Ah,TRNDSCALESS,EVEXX+EVEXM+EVEXYW+EVEXI,xD,xD
  1739.                 T62 T6201,$CE,TGF2P8AFFINEQB,EVEXM+EVEXNW+EVEXI,xO,xQ
  1740.                 T62 T6201,$CF,TGF2P8AFFINEINVQB,EVEXM+EVEXNW+EVEXI,xO,xQ
  1741.                 T62 T6201,44h,TPCLMULQDQ,EVEXM+EVEXI,xO,xO
  1742.                 T62 T6201,70h,TPSHLDW,EVEXM+EVEXNW+EVEXI,xO,xQ
  1743.                 T62 T6201,71h,TPSHLDD,EVEXM+EVEXB+EVEXI+EVEXQ1,xO,xD
  1744.                 T62 T6201,72h,TPSHRDW,EVEXM+EVEXNW+EVEXI,xO,xQ
  1745.                 T62 T6201,73h,TPSHRDD,EVEXM+EVEXB+EVEXI+EVEXQ1,xO,xD
  1746. dd -1
  1747. T623AF3:
  1748. dd -1
  1749. T623AF2:
  1750. dd -1
  1751. ;-----------------------------------------------------------------------------
  1752. T62Names:
  1753. TEXTRACTI??X?:  dw TEXTRACTI32X8   ,TEXTRACTI64X4
  1754. TEXTRACTF??X?:  dw TEXTRACTF32X8   ,TEXTRACTF64X4
  1755. TEXTRACTF??X2:  dw TEXTRACTF32X4   ,TEXTRACTF64X2
  1756. TEXTRACTI??X2:  dw TEXTRACTI32X4   ,TEXTRACTI64X2
  1757. TINSERTI??X?:   dw TINSERTI32X8    ,TINSERTI64X4
  1758. TINSERTI??X2:   dw TINSERTI32X4    ,TINSERTI64X2
  1759. TINSERTF??X?:   dw TINSERTF32X4    ,TINSERTF64X2
  1760. TINSERTF??X2:   dw TINSERTF32X8    ,TINSERTF64X4
  1761. TMOVDQA??:      dw TMOVDQA32       ,TMOVDQA64
  1762. TCVTTP?2UDQ:    dw TCVTTPS2UDQ     ,TCVTTPD2UDQ
  1763. TMOVDQU??:      dw TMOVDQU8        ,TMOVDQU16
  1764. TMOVDQU?2:      dw TMOVDQU32       ,TMOVDQU64
  1765. TCVT?Q2PS:      dw TCVTDQ2PS       ,TCVTQQ2PS
  1766. TCVTP?2QQ:      dw TCVTPS2QQ       ,TCVTPD2QQ
  1767. TCVTTP?2QQ:     dw TCVTTPS2QQ      ,TCVTTPD2QQ
  1768. TCVTTP?2UQQ:    dw TCVTTPS2UQQ     ,TCVTTPD2UQQ
  1769. TCVTU?Q2PD:     dw TCVTUDQ2PD      ,TCVTUQQ2PD
  1770. TCVT?Q2PD:      dw TCVTDQ2PD       ,TCVTQQ2PD
  1771. TCVTP?2UQQ:     dw TCVTPS2UQQ      ,TCVTPD2UQQ
  1772. TCVTP?2UDQ:     dw TCVTPS2UDQ      ,TCVTPD2UDQ
  1773. TCVTU?Q2PS:     dw TCVTUDQ2PS      ,TCVTUQQ2PS
  1774. TBROADCASTI??:  dw TBROADCASTI32X2 ,TPBROADCASTQ
  1775. TBROADCASTF??X?:dw TBROADCASTF32X8 ,TBROADCASTF64X4
  1776. TBROADCASTI??X?:dw TBROADCASTI32X8 ,TBROADCASTI64X4
  1777. TBROADCASTF??X2:dw TBROADCASTF32X4 ,TBROADCASTF64X2
  1778. TBROADCASTI??X2:dw TBROADCASTI32X4 ,TBROADCASTI64X2
  1779. TBROADCAST??:   dw TBROADCASTF32X2 ,TBROADCASTSD
  1780. TPBLENDM?:      dw TPBLENDMB       ,TPBLENDMW
  1781. TPCMP?:         dw TPCMPB          ,TPCMPW
  1782. TPCMPU?:        dw TPCMPUB         ,TPCMPUW
  1783. TPERM?:         dw TPERMB          ,TPERMW
  1784. TPERMI2?:       dw TPERMI2B        ,TPERMI2W
  1785. TPERMI2?2:      dw TPERMT2B        ,TPERMT2W
  1786. TPMOVM2?:       dw TPMOVM2B        ,TPMOVM2W
  1787. TPMOVB?2M:      dw TPMOVB2M        ,TPMOVW2M
  1788. TPMOVD?2M:      dw TPMOVD2M        ,TPMOVQ2M
  1789. TPTESTNM?:      dw TPTESTNMB       ,TPTESTNMW
  1790. TPTESTM?:       dw TPTESTMB        ,TPTESTMW
  1791. TSHUFF?:        dw TSHUFF32X4      ,TSHUFF64X2
  1792. TSHUFI?:        dw TSHUFI32X4      ,TSHUFI64X2
  1793. TPOPCNT?A:      dw TPOPCNTB        ,TPOPCNTW
  1794. TPCOMPRESS?:    dw TPCOMPRESSB     ,TPCOMPRESSW
  1795. TPEXPAND?:      dw TPEXPANDB       ,TPEXPANDW
  1796. ;-----------------------------------------------------------------------------
  1797. T62W0:          dr T6204,T6205
  1798. T62W1:          dr T6208,T6205
  1799. T62W2:          dr T6209,T6204
  1800. ;-----------------------------------------------------------------------------
  1801.