insn-x86-dat-32.c 92 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667
  1. /*
  2. * Generated by gen-insn-x86-dat.sh and gen-insn-x86-dat.awk
  3. * from insn-x86-dat-src.c for inclusion by insn-x86.c
  4. * Do not change this code.
  5. */
  6. {{0x0f, 0x31, }, 2, 0, "", "",
  7. "0f 31 \trdtsc ",},
  8. {{0xc4, 0xe2, 0x7d, 0x13, 0xeb, }, 5, 0, "", "",
  9. "c4 e2 7d 13 eb \tvcvtph2ps %xmm3,%ymm5",},
  10. {{0x62, 0x81, 0x78, 0x56, 0x34, 0x12, }, 6, 0, "", "",
  11. "62 81 78 56 34 12 \tbound %eax,0x12345678(%ecx)",},
  12. {{0x62, 0x88, 0x78, 0x56, 0x34, 0x12, }, 6, 0, "", "",
  13. "62 88 78 56 34 12 \tbound %ecx,0x12345678(%eax)",},
  14. {{0x62, 0x90, 0x78, 0x56, 0x34, 0x12, }, 6, 0, "", "",
  15. "62 90 78 56 34 12 \tbound %edx,0x12345678(%eax)",},
  16. {{0x62, 0x98, 0x78, 0x56, 0x34, 0x12, }, 6, 0, "", "",
  17. "62 98 78 56 34 12 \tbound %ebx,0x12345678(%eax)",},
  18. {{0x62, 0xa0, 0x78, 0x56, 0x34, 0x12, }, 6, 0, "", "",
  19. "62 a0 78 56 34 12 \tbound %esp,0x12345678(%eax)",},
  20. {{0x62, 0xa8, 0x78, 0x56, 0x34, 0x12, }, 6, 0, "", "",
  21. "62 a8 78 56 34 12 \tbound %ebp,0x12345678(%eax)",},
  22. {{0x62, 0xb0, 0x78, 0x56, 0x34, 0x12, }, 6, 0, "", "",
  23. "62 b0 78 56 34 12 \tbound %esi,0x12345678(%eax)",},
  24. {{0x62, 0xb8, 0x78, 0x56, 0x34, 0x12, }, 6, 0, "", "",
  25. "62 b8 78 56 34 12 \tbound %edi,0x12345678(%eax)",},
  26. {{0x62, 0x08, }, 2, 0, "", "",
  27. "62 08 \tbound %ecx,(%eax)",},
  28. {{0x62, 0x05, 0x78, 0x56, 0x34, 0x12, }, 6, 0, "", "",
  29. "62 05 78 56 34 12 \tbound %eax,0x12345678",},
  30. {{0x62, 0x14, 0x01, }, 3, 0, "", "",
  31. "62 14 01 \tbound %edx,(%ecx,%eax,1)",},
  32. {{0x62, 0x14, 0x05, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  33. "62 14 05 78 56 34 12 \tbound %edx,0x12345678(,%eax,1)",},
  34. {{0x62, 0x14, 0x08, }, 3, 0, "", "",
  35. "62 14 08 \tbound %edx,(%eax,%ecx,1)",},
  36. {{0x62, 0x14, 0xc8, }, 3, 0, "", "",
  37. "62 14 c8 \tbound %edx,(%eax,%ecx,8)",},
  38. {{0x62, 0x50, 0x12, }, 3, 0, "", "",
  39. "62 50 12 \tbound %edx,0x12(%eax)",},
  40. {{0x62, 0x55, 0x12, }, 3, 0, "", "",
  41. "62 55 12 \tbound %edx,0x12(%ebp)",},
  42. {{0x62, 0x54, 0x01, 0x12, }, 4, 0, "", "",
  43. "62 54 01 12 \tbound %edx,0x12(%ecx,%eax,1)",},
  44. {{0x62, 0x54, 0x05, 0x12, }, 4, 0, "", "",
  45. "62 54 05 12 \tbound %edx,0x12(%ebp,%eax,1)",},
  46. {{0x62, 0x54, 0x08, 0x12, }, 4, 0, "", "",
  47. "62 54 08 12 \tbound %edx,0x12(%eax,%ecx,1)",},
  48. {{0x62, 0x54, 0xc8, 0x12, }, 4, 0, "", "",
  49. "62 54 c8 12 \tbound %edx,0x12(%eax,%ecx,8)",},
  50. {{0x62, 0x90, 0x78, 0x56, 0x34, 0x12, }, 6, 0, "", "",
  51. "62 90 78 56 34 12 \tbound %edx,0x12345678(%eax)",},
  52. {{0x62, 0x95, 0x78, 0x56, 0x34, 0x12, }, 6, 0, "", "",
  53. "62 95 78 56 34 12 \tbound %edx,0x12345678(%ebp)",},
  54. {{0x62, 0x94, 0x01, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  55. "62 94 01 78 56 34 12 \tbound %edx,0x12345678(%ecx,%eax,1)",},
  56. {{0x62, 0x94, 0x05, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  57. "62 94 05 78 56 34 12 \tbound %edx,0x12345678(%ebp,%eax,1)",},
  58. {{0x62, 0x94, 0x08, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  59. "62 94 08 78 56 34 12 \tbound %edx,0x12345678(%eax,%ecx,1)",},
  60. {{0x62, 0x94, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  61. "62 94 c8 78 56 34 12 \tbound %edx,0x12345678(%eax,%ecx,8)",},
  62. {{0x66, 0x62, 0x81, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  63. "66 62 81 78 56 34 12 \tbound %ax,0x12345678(%ecx)",},
  64. {{0x66, 0x62, 0x88, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  65. "66 62 88 78 56 34 12 \tbound %cx,0x12345678(%eax)",},
  66. {{0x66, 0x62, 0x90, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  67. "66 62 90 78 56 34 12 \tbound %dx,0x12345678(%eax)",},
  68. {{0x66, 0x62, 0x98, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  69. "66 62 98 78 56 34 12 \tbound %bx,0x12345678(%eax)",},
  70. {{0x66, 0x62, 0xa0, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  71. "66 62 a0 78 56 34 12 \tbound %sp,0x12345678(%eax)",},
  72. {{0x66, 0x62, 0xa8, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  73. "66 62 a8 78 56 34 12 \tbound %bp,0x12345678(%eax)",},
  74. {{0x66, 0x62, 0xb0, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  75. "66 62 b0 78 56 34 12 \tbound %si,0x12345678(%eax)",},
  76. {{0x66, 0x62, 0xb8, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  77. "66 62 b8 78 56 34 12 \tbound %di,0x12345678(%eax)",},
  78. {{0x66, 0x62, 0x08, }, 3, 0, "", "",
  79. "66 62 08 \tbound %cx,(%eax)",},
  80. {{0x66, 0x62, 0x05, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  81. "66 62 05 78 56 34 12 \tbound %ax,0x12345678",},
  82. {{0x66, 0x62, 0x14, 0x01, }, 4, 0, "", "",
  83. "66 62 14 01 \tbound %dx,(%ecx,%eax,1)",},
  84. {{0x66, 0x62, 0x14, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  85. "66 62 14 05 78 56 34 12 \tbound %dx,0x12345678(,%eax,1)",},
  86. {{0x66, 0x62, 0x14, 0x08, }, 4, 0, "", "",
  87. "66 62 14 08 \tbound %dx,(%eax,%ecx,1)",},
  88. {{0x66, 0x62, 0x14, 0xc8, }, 4, 0, "", "",
  89. "66 62 14 c8 \tbound %dx,(%eax,%ecx,8)",},
  90. {{0x66, 0x62, 0x50, 0x12, }, 4, 0, "", "",
  91. "66 62 50 12 \tbound %dx,0x12(%eax)",},
  92. {{0x66, 0x62, 0x55, 0x12, }, 4, 0, "", "",
  93. "66 62 55 12 \tbound %dx,0x12(%ebp)",},
  94. {{0x66, 0x62, 0x54, 0x01, 0x12, }, 5, 0, "", "",
  95. "66 62 54 01 12 \tbound %dx,0x12(%ecx,%eax,1)",},
  96. {{0x66, 0x62, 0x54, 0x05, 0x12, }, 5, 0, "", "",
  97. "66 62 54 05 12 \tbound %dx,0x12(%ebp,%eax,1)",},
  98. {{0x66, 0x62, 0x54, 0x08, 0x12, }, 5, 0, "", "",
  99. "66 62 54 08 12 \tbound %dx,0x12(%eax,%ecx,1)",},
  100. {{0x66, 0x62, 0x54, 0xc8, 0x12, }, 5, 0, "", "",
  101. "66 62 54 c8 12 \tbound %dx,0x12(%eax,%ecx,8)",},
  102. {{0x66, 0x62, 0x90, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  103. "66 62 90 78 56 34 12 \tbound %dx,0x12345678(%eax)",},
  104. {{0x66, 0x62, 0x95, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  105. "66 62 95 78 56 34 12 \tbound %dx,0x12345678(%ebp)",},
  106. {{0x66, 0x62, 0x94, 0x01, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  107. "66 62 94 01 78 56 34 12 \tbound %dx,0x12345678(%ecx,%eax,1)",},
  108. {{0x66, 0x62, 0x94, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  109. "66 62 94 05 78 56 34 12 \tbound %dx,0x12345678(%ebp,%eax,1)",},
  110. {{0x66, 0x62, 0x94, 0x08, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  111. "66 62 94 08 78 56 34 12 \tbound %dx,0x12345678(%eax,%ecx,1)",},
  112. {{0x66, 0x62, 0x94, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  113. "66 62 94 c8 78 56 34 12 \tbound %dx,0x12345678(%eax,%ecx,8)",},
  114. {{0x0f, 0x41, 0xd8, }, 3, 0, "", "",
  115. "0f 41 d8 \tcmovno %eax,%ebx",},
  116. {{0x0f, 0x41, 0x88, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  117. "0f 41 88 78 56 34 12 \tcmovno 0x12345678(%eax),%ecx",},
  118. {{0x66, 0x0f, 0x41, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  119. "66 0f 41 88 78 56 34 12 \tcmovno 0x12345678(%eax),%cx",},
  120. {{0x0f, 0x44, 0xd8, }, 3, 0, "", "",
  121. "0f 44 d8 \tcmove %eax,%ebx",},
  122. {{0x0f, 0x44, 0x88, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  123. "0f 44 88 78 56 34 12 \tcmove 0x12345678(%eax),%ecx",},
  124. {{0x66, 0x0f, 0x44, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  125. "66 0f 44 88 78 56 34 12 \tcmove 0x12345678(%eax),%cx",},
  126. {{0x0f, 0x90, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  127. "0f 90 80 78 56 34 12 \tseto 0x12345678(%eax)",},
  128. {{0x0f, 0x91, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  129. "0f 91 80 78 56 34 12 \tsetno 0x12345678(%eax)",},
  130. {{0x0f, 0x92, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  131. "0f 92 80 78 56 34 12 \tsetb 0x12345678(%eax)",},
  132. {{0x0f, 0x92, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  133. "0f 92 80 78 56 34 12 \tsetb 0x12345678(%eax)",},
  134. {{0x0f, 0x92, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  135. "0f 92 80 78 56 34 12 \tsetb 0x12345678(%eax)",},
  136. {{0x0f, 0x93, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  137. "0f 93 80 78 56 34 12 \tsetae 0x12345678(%eax)",},
  138. {{0x0f, 0x93, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  139. "0f 93 80 78 56 34 12 \tsetae 0x12345678(%eax)",},
  140. {{0x0f, 0x93, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  141. "0f 93 80 78 56 34 12 \tsetae 0x12345678(%eax)",},
  142. {{0x0f, 0x98, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  143. "0f 98 80 78 56 34 12 \tsets 0x12345678(%eax)",},
  144. {{0x0f, 0x99, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  145. "0f 99 80 78 56 34 12 \tsetns 0x12345678(%eax)",},
  146. {{0xc5, 0xcc, 0x41, 0xef, }, 4, 0, "", "",
  147. "c5 cc 41 ef \tkandw %k7,%k6,%k5",},
  148. {{0xc4, 0xe1, 0xcc, 0x41, 0xef, }, 5, 0, "", "",
  149. "c4 e1 cc 41 ef \tkandq %k7,%k6,%k5",},
  150. {{0xc5, 0xcd, 0x41, 0xef, }, 4, 0, "", "",
  151. "c5 cd 41 ef \tkandb %k7,%k6,%k5",},
  152. {{0xc4, 0xe1, 0xcd, 0x41, 0xef, }, 5, 0, "", "",
  153. "c4 e1 cd 41 ef \tkandd %k7,%k6,%k5",},
  154. {{0xc5, 0xcc, 0x42, 0xef, }, 4, 0, "", "",
  155. "c5 cc 42 ef \tkandnw %k7,%k6,%k5",},
  156. {{0xc4, 0xe1, 0xcc, 0x42, 0xef, }, 5, 0, "", "",
  157. "c4 e1 cc 42 ef \tkandnq %k7,%k6,%k5",},
  158. {{0xc5, 0xcd, 0x42, 0xef, }, 4, 0, "", "",
  159. "c5 cd 42 ef \tkandnb %k7,%k6,%k5",},
  160. {{0xc4, 0xe1, 0xcd, 0x42, 0xef, }, 5, 0, "", "",
  161. "c4 e1 cd 42 ef \tkandnd %k7,%k6,%k5",},
  162. {{0xc5, 0xf8, 0x44, 0xf7, }, 4, 0, "", "",
  163. "c5 f8 44 f7 \tknotw %k7,%k6",},
  164. {{0xc4, 0xe1, 0xf8, 0x44, 0xf7, }, 5, 0, "", "",
  165. "c4 e1 f8 44 f7 \tknotq %k7,%k6",},
  166. {{0xc5, 0xf9, 0x44, 0xf7, }, 4, 0, "", "",
  167. "c5 f9 44 f7 \tknotb %k7,%k6",},
  168. {{0xc4, 0xe1, 0xf9, 0x44, 0xf7, }, 5, 0, "", "",
  169. "c4 e1 f9 44 f7 \tknotd %k7,%k6",},
  170. {{0xc5, 0xcc, 0x45, 0xef, }, 4, 0, "", "",
  171. "c5 cc 45 ef \tkorw %k7,%k6,%k5",},
  172. {{0xc4, 0xe1, 0xcc, 0x45, 0xef, }, 5, 0, "", "",
  173. "c4 e1 cc 45 ef \tkorq %k7,%k6,%k5",},
  174. {{0xc5, 0xcd, 0x45, 0xef, }, 4, 0, "", "",
  175. "c5 cd 45 ef \tkorb %k7,%k6,%k5",},
  176. {{0xc4, 0xe1, 0xcd, 0x45, 0xef, }, 5, 0, "", "",
  177. "c4 e1 cd 45 ef \tkord %k7,%k6,%k5",},
  178. {{0xc5, 0xcc, 0x46, 0xef, }, 4, 0, "", "",
  179. "c5 cc 46 ef \tkxnorw %k7,%k6,%k5",},
  180. {{0xc4, 0xe1, 0xcc, 0x46, 0xef, }, 5, 0, "", "",
  181. "c4 e1 cc 46 ef \tkxnorq %k7,%k6,%k5",},
  182. {{0xc5, 0xcd, 0x46, 0xef, }, 4, 0, "", "",
  183. "c5 cd 46 ef \tkxnorb %k7,%k6,%k5",},
  184. {{0xc4, 0xe1, 0xcd, 0x46, 0xef, }, 5, 0, "", "",
  185. "c4 e1 cd 46 ef \tkxnord %k7,%k6,%k5",},
  186. {{0xc5, 0xcc, 0x47, 0xef, }, 4, 0, "", "",
  187. "c5 cc 47 ef \tkxorw %k7,%k6,%k5",},
  188. {{0xc4, 0xe1, 0xcc, 0x47, 0xef, }, 5, 0, "", "",
  189. "c4 e1 cc 47 ef \tkxorq %k7,%k6,%k5",},
  190. {{0xc5, 0xcd, 0x47, 0xef, }, 4, 0, "", "",
  191. "c5 cd 47 ef \tkxorb %k7,%k6,%k5",},
  192. {{0xc4, 0xe1, 0xcd, 0x47, 0xef, }, 5, 0, "", "",
  193. "c4 e1 cd 47 ef \tkxord %k7,%k6,%k5",},
  194. {{0xc5, 0xcc, 0x4a, 0xef, }, 4, 0, "", "",
  195. "c5 cc 4a ef \tkaddw %k7,%k6,%k5",},
  196. {{0xc4, 0xe1, 0xcc, 0x4a, 0xef, }, 5, 0, "", "",
  197. "c4 e1 cc 4a ef \tkaddq %k7,%k6,%k5",},
  198. {{0xc5, 0xcd, 0x4a, 0xef, }, 4, 0, "", "",
  199. "c5 cd 4a ef \tkaddb %k7,%k6,%k5",},
  200. {{0xc4, 0xe1, 0xcd, 0x4a, 0xef, }, 5, 0, "", "",
  201. "c4 e1 cd 4a ef \tkaddd %k7,%k6,%k5",},
  202. {{0xc5, 0xcd, 0x4b, 0xef, }, 4, 0, "", "",
  203. "c5 cd 4b ef \tkunpckbw %k7,%k6,%k5",},
  204. {{0xc5, 0xcc, 0x4b, 0xef, }, 4, 0, "", "",
  205. "c5 cc 4b ef \tkunpckwd %k7,%k6,%k5",},
  206. {{0xc4, 0xe1, 0xcc, 0x4b, 0xef, }, 5, 0, "", "",
  207. "c4 e1 cc 4b ef \tkunpckdq %k7,%k6,%k5",},
  208. {{0xc5, 0xf8, 0x90, 0xee, }, 4, 0, "", "",
  209. "c5 f8 90 ee \tkmovw %k6,%k5",},
  210. {{0xc5, 0xf8, 0x90, 0x29, }, 4, 0, "", "",
  211. "c5 f8 90 29 \tkmovw (%ecx),%k5",},
  212. {{0xc5, 0xf8, 0x90, 0xac, 0xc8, 0x23, 0x01, 0x00, 0x00, }, 9, 0, "", "",
  213. "c5 f8 90 ac c8 23 01 00 00 \tkmovw 0x123(%eax,%ecx,8),%k5",},
  214. {{0xc5, 0xf8, 0x91, 0x29, }, 4, 0, "", "",
  215. "c5 f8 91 29 \tkmovw %k5,(%ecx)",},
  216. {{0xc5, 0xf8, 0x91, 0xac, 0xc8, 0x23, 0x01, 0x00, 0x00, }, 9, 0, "", "",
  217. "c5 f8 91 ac c8 23 01 00 00 \tkmovw %k5,0x123(%eax,%ecx,8)",},
  218. {{0xc5, 0xf8, 0x92, 0xe8, }, 4, 0, "", "",
  219. "c5 f8 92 e8 \tkmovw %eax,%k5",},
  220. {{0xc5, 0xf8, 0x92, 0xed, }, 4, 0, "", "",
  221. "c5 f8 92 ed \tkmovw %ebp,%k5",},
  222. {{0xc5, 0xf8, 0x93, 0xc5, }, 4, 0, "", "",
  223. "c5 f8 93 c5 \tkmovw %k5,%eax",},
  224. {{0xc5, 0xf8, 0x93, 0xed, }, 4, 0, "", "",
  225. "c5 f8 93 ed \tkmovw %k5,%ebp",},
  226. {{0xc4, 0xe1, 0xf8, 0x90, 0xee, }, 5, 0, "", "",
  227. "c4 e1 f8 90 ee \tkmovq %k6,%k5",},
  228. {{0xc4, 0xe1, 0xf8, 0x90, 0x29, }, 5, 0, "", "",
  229. "c4 e1 f8 90 29 \tkmovq (%ecx),%k5",},
  230. {{0xc4, 0xe1, 0xf8, 0x90, 0xac, 0xc8, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
  231. "c4 e1 f8 90 ac c8 23 01 00 00 \tkmovq 0x123(%eax,%ecx,8),%k5",},
  232. {{0xc4, 0xe1, 0xf8, 0x91, 0x29, }, 5, 0, "", "",
  233. "c4 e1 f8 91 29 \tkmovq %k5,(%ecx)",},
  234. {{0xc4, 0xe1, 0xf8, 0x91, 0xac, 0xc8, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
  235. "c4 e1 f8 91 ac c8 23 01 00 00 \tkmovq %k5,0x123(%eax,%ecx,8)",},
  236. {{0xc5, 0xf9, 0x90, 0xee, }, 4, 0, "", "",
  237. "c5 f9 90 ee \tkmovb %k6,%k5",},
  238. {{0xc5, 0xf9, 0x90, 0x29, }, 4, 0, "", "",
  239. "c5 f9 90 29 \tkmovb (%ecx),%k5",},
  240. {{0xc5, 0xf9, 0x90, 0xac, 0xc8, 0x23, 0x01, 0x00, 0x00, }, 9, 0, "", "",
  241. "c5 f9 90 ac c8 23 01 00 00 \tkmovb 0x123(%eax,%ecx,8),%k5",},
  242. {{0xc5, 0xf9, 0x91, 0x29, }, 4, 0, "", "",
  243. "c5 f9 91 29 \tkmovb %k5,(%ecx)",},
  244. {{0xc5, 0xf9, 0x91, 0xac, 0xc8, 0x23, 0x01, 0x00, 0x00, }, 9, 0, "", "",
  245. "c5 f9 91 ac c8 23 01 00 00 \tkmovb %k5,0x123(%eax,%ecx,8)",},
  246. {{0xc5, 0xf9, 0x92, 0xe8, }, 4, 0, "", "",
  247. "c5 f9 92 e8 \tkmovb %eax,%k5",},
  248. {{0xc5, 0xf9, 0x92, 0xed, }, 4, 0, "", "",
  249. "c5 f9 92 ed \tkmovb %ebp,%k5",},
  250. {{0xc5, 0xf9, 0x93, 0xc5, }, 4, 0, "", "",
  251. "c5 f9 93 c5 \tkmovb %k5,%eax",},
  252. {{0xc5, 0xf9, 0x93, 0xed, }, 4, 0, "", "",
  253. "c5 f9 93 ed \tkmovb %k5,%ebp",},
  254. {{0xc4, 0xe1, 0xf9, 0x90, 0xee, }, 5, 0, "", "",
  255. "c4 e1 f9 90 ee \tkmovd %k6,%k5",},
  256. {{0xc4, 0xe1, 0xf9, 0x90, 0x29, }, 5, 0, "", "",
  257. "c4 e1 f9 90 29 \tkmovd (%ecx),%k5",},
  258. {{0xc4, 0xe1, 0xf9, 0x90, 0xac, 0xc8, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
  259. "c4 e1 f9 90 ac c8 23 01 00 00 \tkmovd 0x123(%eax,%ecx,8),%k5",},
  260. {{0xc4, 0xe1, 0xf9, 0x91, 0x29, }, 5, 0, "", "",
  261. "c4 e1 f9 91 29 \tkmovd %k5,(%ecx)",},
  262. {{0xc4, 0xe1, 0xf9, 0x91, 0xac, 0xc8, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
  263. "c4 e1 f9 91 ac c8 23 01 00 00 \tkmovd %k5,0x123(%eax,%ecx,8)",},
  264. {{0xc5, 0xfb, 0x92, 0xe8, }, 4, 0, "", "",
  265. "c5 fb 92 e8 \tkmovd %eax,%k5",},
  266. {{0xc5, 0xfb, 0x92, 0xed, }, 4, 0, "", "",
  267. "c5 fb 92 ed \tkmovd %ebp,%k5",},
  268. {{0xc5, 0xfb, 0x93, 0xc5, }, 4, 0, "", "",
  269. "c5 fb 93 c5 \tkmovd %k5,%eax",},
  270. {{0xc5, 0xfb, 0x93, 0xed, }, 4, 0, "", "",
  271. "c5 fb 93 ed \tkmovd %k5,%ebp",},
  272. {{0xc5, 0xf8, 0x98, 0xee, }, 4, 0, "", "",
  273. "c5 f8 98 ee \tkortestw %k6,%k5",},
  274. {{0xc4, 0xe1, 0xf8, 0x98, 0xee, }, 5, 0, "", "",
  275. "c4 e1 f8 98 ee \tkortestq %k6,%k5",},
  276. {{0xc5, 0xf9, 0x98, 0xee, }, 4, 0, "", "",
  277. "c5 f9 98 ee \tkortestb %k6,%k5",},
  278. {{0xc4, 0xe1, 0xf9, 0x98, 0xee, }, 5, 0, "", "",
  279. "c4 e1 f9 98 ee \tkortestd %k6,%k5",},
  280. {{0xc5, 0xf8, 0x99, 0xee, }, 4, 0, "", "",
  281. "c5 f8 99 ee \tktestw %k6,%k5",},
  282. {{0xc4, 0xe1, 0xf8, 0x99, 0xee, }, 5, 0, "", "",
  283. "c4 e1 f8 99 ee \tktestq %k6,%k5",},
  284. {{0xc5, 0xf9, 0x99, 0xee, }, 4, 0, "", "",
  285. "c5 f9 99 ee \tktestb %k6,%k5",},
  286. {{0xc4, 0xe1, 0xf9, 0x99, 0xee, }, 5, 0, "", "",
  287. "c4 e1 f9 99 ee \tktestd %k6,%k5",},
  288. {{0xc4, 0xe3, 0xf9, 0x30, 0xee, 0x12, }, 6, 0, "", "",
  289. "c4 e3 f9 30 ee 12 \tkshiftrw $0x12,%k6,%k5",},
  290. {{0xc4, 0xe3, 0xf9, 0x31, 0xee, 0x5b, }, 6, 0, "", "",
  291. "c4 e3 f9 31 ee 5b \tkshiftrq $0x5b,%k6,%k5",},
  292. {{0xc4, 0xe3, 0xf9, 0x32, 0xee, 0x12, }, 6, 0, "", "",
  293. "c4 e3 f9 32 ee 12 \tkshiftlw $0x12,%k6,%k5",},
  294. {{0xc4, 0xe3, 0xf9, 0x33, 0xee, 0x5b, }, 6, 0, "", "",
  295. "c4 e3 f9 33 ee 5b \tkshiftlq $0x5b,%k6,%k5",},
  296. {{0xc5, 0xf8, 0x5b, 0xf5, }, 4, 0, "", "",
  297. "c5 f8 5b f5 \tvcvtdq2ps %xmm5,%xmm6",},
  298. {{0x62, 0xf1, 0xfc, 0x4f, 0x5b, 0xf5, }, 6, 0, "", "",
  299. "62 f1 fc 4f 5b f5 \tvcvtqq2ps %zmm5,%ymm6{%k7}",},
  300. {{0xc5, 0xf9, 0x5b, 0xf5, }, 4, 0, "", "",
  301. "c5 f9 5b f5 \tvcvtps2dq %xmm5,%xmm6",},
  302. {{0xc5, 0xfa, 0x5b, 0xf5, }, 4, 0, "", "",
  303. "c5 fa 5b f5 \tvcvttps2dq %xmm5,%xmm6",},
  304. {{0x0f, 0x6f, 0xe0, }, 3, 0, "", "",
  305. "0f 6f e0 \tmovq %mm0,%mm4",},
  306. {{0xc5, 0xfd, 0x6f, 0xf4, }, 4, 0, "", "",
  307. "c5 fd 6f f4 \tvmovdqa %ymm4,%ymm6",},
  308. {{0x62, 0xf1, 0x7d, 0x48, 0x6f, 0xf5, }, 6, 0, "", "",
  309. "62 f1 7d 48 6f f5 \tvmovdqa32 %zmm5,%zmm6",},
  310. {{0x62, 0xf1, 0xfd, 0x48, 0x6f, 0xf5, }, 6, 0, "", "",
  311. "62 f1 fd 48 6f f5 \tvmovdqa64 %zmm5,%zmm6",},
  312. {{0xc5, 0xfe, 0x6f, 0xf4, }, 4, 0, "", "",
  313. "c5 fe 6f f4 \tvmovdqu %ymm4,%ymm6",},
  314. {{0x62, 0xf1, 0x7e, 0x48, 0x6f, 0xf5, }, 6, 0, "", "",
  315. "62 f1 7e 48 6f f5 \tvmovdqu32 %zmm5,%zmm6",},
  316. {{0x62, 0xf1, 0xfe, 0x48, 0x6f, 0xf5, }, 6, 0, "", "",
  317. "62 f1 fe 48 6f f5 \tvmovdqu64 %zmm5,%zmm6",},
  318. {{0x62, 0xf1, 0x7f, 0x48, 0x6f, 0xf5, }, 6, 0, "", "",
  319. "62 f1 7f 48 6f f5 \tvmovdqu8 %zmm5,%zmm6",},
  320. {{0x62, 0xf1, 0xff, 0x48, 0x6f, 0xf5, }, 6, 0, "", "",
  321. "62 f1 ff 48 6f f5 \tvmovdqu16 %zmm5,%zmm6",},
  322. {{0x0f, 0x78, 0xc3, }, 3, 0, "", "",
  323. "0f 78 c3 \tvmread %eax,%ebx",},
  324. {{0x62, 0xf1, 0x7c, 0x48, 0x78, 0xf5, }, 6, 0, "", "",
  325. "62 f1 7c 48 78 f5 \tvcvttps2udq %zmm5,%zmm6",},
  326. {{0x62, 0xf1, 0xfc, 0x4f, 0x78, 0xf5, }, 6, 0, "", "",
  327. "62 f1 fc 4f 78 f5 \tvcvttpd2udq %zmm5,%ymm6{%k7}",},
  328. {{0x62, 0xf1, 0x7f, 0x08, 0x78, 0xc6, }, 6, 0, "", "",
  329. "62 f1 7f 08 78 c6 \tvcvttsd2usi %xmm6,%eax",},
  330. {{0x62, 0xf1, 0x7e, 0x08, 0x78, 0xc6, }, 6, 0, "", "",
  331. "62 f1 7e 08 78 c6 \tvcvttss2usi %xmm6,%eax",},
  332. {{0x62, 0xf1, 0x7d, 0x4f, 0x78, 0xf5, }, 6, 0, "", "",
  333. "62 f1 7d 4f 78 f5 \tvcvttps2uqq %ymm5,%zmm6{%k7}",},
  334. {{0x62, 0xf1, 0xfd, 0x48, 0x78, 0xf5, }, 6, 0, "", "",
  335. "62 f1 fd 48 78 f5 \tvcvttpd2uqq %zmm5,%zmm6",},
  336. {{0x0f, 0x79, 0xd8, }, 3, 0, "", "",
  337. "0f 79 d8 \tvmwrite %eax,%ebx",},
  338. {{0x62, 0xf1, 0x7c, 0x48, 0x79, 0xf5, }, 6, 0, "", "",
  339. "62 f1 7c 48 79 f5 \tvcvtps2udq %zmm5,%zmm6",},
  340. {{0x62, 0xf1, 0xfc, 0x4f, 0x79, 0xf5, }, 6, 0, "", "",
  341. "62 f1 fc 4f 79 f5 \tvcvtpd2udq %zmm5,%ymm6{%k7}",},
  342. {{0x62, 0xf1, 0x7f, 0x08, 0x79, 0xc6, }, 6, 0, "", "",
  343. "62 f1 7f 08 79 c6 \tvcvtsd2usi %xmm6,%eax",},
  344. {{0x62, 0xf1, 0x7e, 0x08, 0x79, 0xc6, }, 6, 0, "", "",
  345. "62 f1 7e 08 79 c6 \tvcvtss2usi %xmm6,%eax",},
  346. {{0x62, 0xf1, 0x7d, 0x4f, 0x79, 0xf5, }, 6, 0, "", "",
  347. "62 f1 7d 4f 79 f5 \tvcvtps2uqq %ymm5,%zmm6{%k7}",},
  348. {{0x62, 0xf1, 0xfd, 0x48, 0x79, 0xf5, }, 6, 0, "", "",
  349. "62 f1 fd 48 79 f5 \tvcvtpd2uqq %zmm5,%zmm6",},
  350. {{0x62, 0xf1, 0x7e, 0x4f, 0x7a, 0xf5, }, 6, 0, "", "",
  351. "62 f1 7e 4f 7a f5 \tvcvtudq2pd %ymm5,%zmm6{%k7}",},
  352. {{0x62, 0xf1, 0xfe, 0x48, 0x7a, 0xf5, }, 6, 0, "", "",
  353. "62 f1 fe 48 7a f5 \tvcvtuqq2pd %zmm5,%zmm6",},
  354. {{0x62, 0xf1, 0x7f, 0x48, 0x7a, 0xf5, }, 6, 0, "", "",
  355. "62 f1 7f 48 7a f5 \tvcvtudq2ps %zmm5,%zmm6",},
  356. {{0x62, 0xf1, 0xff, 0x4f, 0x7a, 0xf5, }, 6, 0, "", "",
  357. "62 f1 ff 4f 7a f5 \tvcvtuqq2ps %zmm5,%ymm6{%k7}",},
  358. {{0x62, 0xf1, 0x7d, 0x4f, 0x7a, 0xf5, }, 6, 0, "", "",
  359. "62 f1 7d 4f 7a f5 \tvcvttps2qq %ymm5,%zmm6{%k7}",},
  360. {{0x62, 0xf1, 0xfd, 0x48, 0x7a, 0xf5, }, 6, 0, "", "",
  361. "62 f1 fd 48 7a f5 \tvcvttpd2qq %zmm5,%zmm6",},
  362. {{0x62, 0xf1, 0x57, 0x08, 0x7b, 0xf0, }, 6, 0, "", "",
  363. "62 f1 57 08 7b f0 \tvcvtusi2sd %eax,%xmm5,%xmm6",},
  364. {{0x62, 0xf1, 0x56, 0x08, 0x7b, 0xf0, }, 6, 0, "", "",
  365. "62 f1 56 08 7b f0 \tvcvtusi2ss %eax,%xmm5,%xmm6",},
  366. {{0x62, 0xf1, 0x7d, 0x4f, 0x7b, 0xf5, }, 6, 0, "", "",
  367. "62 f1 7d 4f 7b f5 \tvcvtps2qq %ymm5,%zmm6{%k7}",},
  368. {{0x62, 0xf1, 0xfd, 0x48, 0x7b, 0xf5, }, 6, 0, "", "",
  369. "62 f1 fd 48 7b f5 \tvcvtpd2qq %zmm5,%zmm6",},
  370. {{0x0f, 0x7f, 0xc4, }, 3, 0, "", "",
  371. "0f 7f c4 \tmovq %mm0,%mm4",},
  372. {{0xc5, 0xfd, 0x7f, 0xee, }, 4, 0, "", "",
  373. "c5 fd 7f ee \tvmovdqa %ymm5,%ymm6",},
  374. {{0x62, 0xf1, 0x7d, 0x48, 0x7f, 0xee, }, 6, 0, "", "",
  375. "62 f1 7d 48 7f ee \tvmovdqa32 %zmm5,%zmm6",},
  376. {{0x62, 0xf1, 0xfd, 0x48, 0x7f, 0xee, }, 6, 0, "", "",
  377. "62 f1 fd 48 7f ee \tvmovdqa64 %zmm5,%zmm6",},
  378. {{0xc5, 0xfe, 0x7f, 0xee, }, 4, 0, "", "",
  379. "c5 fe 7f ee \tvmovdqu %ymm5,%ymm6",},
  380. {{0x62, 0xf1, 0x7e, 0x48, 0x7f, 0xee, }, 6, 0, "", "",
  381. "62 f1 7e 48 7f ee \tvmovdqu32 %zmm5,%zmm6",},
  382. {{0x62, 0xf1, 0xfe, 0x48, 0x7f, 0xee, }, 6, 0, "", "",
  383. "62 f1 fe 48 7f ee \tvmovdqu64 %zmm5,%zmm6",},
  384. {{0x62, 0xf1, 0x7f, 0x48, 0x7f, 0xee, }, 6, 0, "", "",
  385. "62 f1 7f 48 7f ee \tvmovdqu8 %zmm5,%zmm6",},
  386. {{0x62, 0xf1, 0xff, 0x48, 0x7f, 0xee, }, 6, 0, "", "",
  387. "62 f1 ff 48 7f ee \tvmovdqu16 %zmm5,%zmm6",},
  388. {{0x0f, 0xdb, 0xd1, }, 3, 0, "", "",
  389. "0f db d1 \tpand %mm1,%mm2",},
  390. {{0x66, 0x0f, 0xdb, 0xd1, }, 4, 0, "", "",
  391. "66 0f db d1 \tpand %xmm1,%xmm2",},
  392. {{0xc5, 0xcd, 0xdb, 0xd4, }, 4, 0, "", "",
  393. "c5 cd db d4 \tvpand %ymm4,%ymm6,%ymm2",},
  394. {{0x62, 0xf1, 0x55, 0x48, 0xdb, 0xf4, }, 6, 0, "", "",
  395. "62 f1 55 48 db f4 \tvpandd %zmm4,%zmm5,%zmm6",},
  396. {{0x62, 0xf1, 0xd5, 0x48, 0xdb, 0xf4, }, 6, 0, "", "",
  397. "62 f1 d5 48 db f4 \tvpandq %zmm4,%zmm5,%zmm6",},
  398. {{0x0f, 0xdf, 0xd1, }, 3, 0, "", "",
  399. "0f df d1 \tpandn %mm1,%mm2",},
  400. {{0x66, 0x0f, 0xdf, 0xd1, }, 4, 0, "", "",
  401. "66 0f df d1 \tpandn %xmm1,%xmm2",},
  402. {{0xc5, 0xcd, 0xdf, 0xd4, }, 4, 0, "", "",
  403. "c5 cd df d4 \tvpandn %ymm4,%ymm6,%ymm2",},
  404. {{0x62, 0xf1, 0x55, 0x48, 0xdf, 0xf4, }, 6, 0, "", "",
  405. "62 f1 55 48 df f4 \tvpandnd %zmm4,%zmm5,%zmm6",},
  406. {{0x62, 0xf1, 0xd5, 0x48, 0xdf, 0xf4, }, 6, 0, "", "",
  407. "62 f1 d5 48 df f4 \tvpandnq %zmm4,%zmm5,%zmm6",},
  408. {{0xc5, 0xf9, 0xe6, 0xd1, }, 4, 0, "", "",
  409. "c5 f9 e6 d1 \tvcvttpd2dq %xmm1,%xmm2",},
  410. {{0xc5, 0xfa, 0xe6, 0xf5, }, 4, 0, "", "",
  411. "c5 fa e6 f5 \tvcvtdq2pd %xmm5,%xmm6",},
  412. {{0x62, 0xf1, 0x7e, 0x4f, 0xe6, 0xf5, }, 6, 0, "", "",
  413. "62 f1 7e 4f e6 f5 \tvcvtdq2pd %ymm5,%zmm6{%k7}",},
  414. {{0x62, 0xf1, 0xfe, 0x48, 0xe6, 0xf5, }, 6, 0, "", "",
  415. "62 f1 fe 48 e6 f5 \tvcvtqq2pd %zmm5,%zmm6",},
  416. {{0xc5, 0xfb, 0xe6, 0xd1, }, 4, 0, "", "",
  417. "c5 fb e6 d1 \tvcvtpd2dq %xmm1,%xmm2",},
  418. {{0x0f, 0xeb, 0xf4, }, 3, 0, "", "",
  419. "0f eb f4 \tpor %mm4,%mm6",},
  420. {{0xc5, 0xcd, 0xeb, 0xd4, }, 4, 0, "", "",
  421. "c5 cd eb d4 \tvpor %ymm4,%ymm6,%ymm2",},
  422. {{0x62, 0xf1, 0x55, 0x48, 0xeb, 0xf4, }, 6, 0, "", "",
  423. "62 f1 55 48 eb f4 \tvpord %zmm4,%zmm5,%zmm6",},
  424. {{0x62, 0xf1, 0xd5, 0x48, 0xeb, 0xf4, }, 6, 0, "", "",
  425. "62 f1 d5 48 eb f4 \tvporq %zmm4,%zmm5,%zmm6",},
  426. {{0x0f, 0xef, 0xf4, }, 3, 0, "", "",
  427. "0f ef f4 \tpxor %mm4,%mm6",},
  428. {{0xc5, 0xcd, 0xef, 0xd4, }, 4, 0, "", "",
  429. "c5 cd ef d4 \tvpxor %ymm4,%ymm6,%ymm2",},
  430. {{0x62, 0xf1, 0x55, 0x48, 0xef, 0xf4, }, 6, 0, "", "",
  431. "62 f1 55 48 ef f4 \tvpxord %zmm4,%zmm5,%zmm6",},
  432. {{0x62, 0xf1, 0xd5, 0x48, 0xef, 0xf4, }, 6, 0, "", "",
  433. "62 f1 d5 48 ef f4 \tvpxorq %zmm4,%zmm5,%zmm6",},
  434. {{0x66, 0x0f, 0x38, 0x10, 0xc1, }, 5, 0, "", "",
  435. "66 0f 38 10 c1 \tpblendvb %xmm0,%xmm1,%xmm0",},
  436. {{0x62, 0xf2, 0xd5, 0x48, 0x10, 0xf4, }, 6, 0, "", "",
  437. "62 f2 d5 48 10 f4 \tvpsrlvw %zmm4,%zmm5,%zmm6",},
  438. {{0x62, 0xf2, 0x7e, 0x4f, 0x10, 0xee, }, 6, 0, "", "",
  439. "62 f2 7e 4f 10 ee \tvpmovuswb %zmm5,%ymm6{%k7}",},
  440. {{0x62, 0xf2, 0x7e, 0x4f, 0x11, 0xee, }, 6, 0, "", "",
  441. "62 f2 7e 4f 11 ee \tvpmovusdb %zmm5,%xmm6{%k7}",},
  442. {{0x62, 0xf2, 0xd5, 0x48, 0x11, 0xf4, }, 6, 0, "", "",
  443. "62 f2 d5 48 11 f4 \tvpsravw %zmm4,%zmm5,%zmm6",},
  444. {{0x62, 0xf2, 0x7e, 0x4f, 0x12, 0xee, }, 6, 0, "", "",
  445. "62 f2 7e 4f 12 ee \tvpmovusqb %zmm5,%xmm6{%k7}",},
  446. {{0x62, 0xf2, 0xd5, 0x48, 0x12, 0xf4, }, 6, 0, "", "",
  447. "62 f2 d5 48 12 f4 \tvpsllvw %zmm4,%zmm5,%zmm6",},
  448. {{0xc4, 0xe2, 0x7d, 0x13, 0xeb, }, 5, 0, "", "",
  449. "c4 e2 7d 13 eb \tvcvtph2ps %xmm3,%ymm5",},
  450. {{0x62, 0xf2, 0x7d, 0x4f, 0x13, 0xf5, }, 6, 0, "", "",
  451. "62 f2 7d 4f 13 f5 \tvcvtph2ps %ymm5,%zmm6{%k7}",},
  452. {{0x62, 0xf2, 0x7e, 0x4f, 0x13, 0xee, }, 6, 0, "", "",
  453. "62 f2 7e 4f 13 ee \tvpmovusdw %zmm5,%ymm6{%k7}",},
  454. {{0x66, 0x0f, 0x38, 0x14, 0xc1, }, 5, 0, "", "",
  455. "66 0f 38 14 c1 \tblendvps %xmm0,%xmm1,%xmm0",},
  456. {{0x62, 0xf2, 0x7e, 0x4f, 0x14, 0xee, }, 6, 0, "", "",
  457. "62 f2 7e 4f 14 ee \tvpmovusqw %zmm5,%xmm6{%k7}",},
  458. {{0x62, 0xf2, 0x55, 0x48, 0x14, 0xf4, }, 6, 0, "", "",
  459. "62 f2 55 48 14 f4 \tvprorvd %zmm4,%zmm5,%zmm6",},
  460. {{0x62, 0xf2, 0xd5, 0x48, 0x14, 0xf4, }, 6, 0, "", "",
  461. "62 f2 d5 48 14 f4 \tvprorvq %zmm4,%zmm5,%zmm6",},
  462. {{0x66, 0x0f, 0x38, 0x15, 0xc1, }, 5, 0, "", "",
  463. "66 0f 38 15 c1 \tblendvpd %xmm0,%xmm1,%xmm0",},
  464. {{0x62, 0xf2, 0x7e, 0x4f, 0x15, 0xee, }, 6, 0, "", "",
  465. "62 f2 7e 4f 15 ee \tvpmovusqd %zmm5,%ymm6{%k7}",},
  466. {{0x62, 0xf2, 0x55, 0x48, 0x15, 0xf4, }, 6, 0, "", "",
  467. "62 f2 55 48 15 f4 \tvprolvd %zmm4,%zmm5,%zmm6",},
  468. {{0x62, 0xf2, 0xd5, 0x48, 0x15, 0xf4, }, 6, 0, "", "",
  469. "62 f2 d5 48 15 f4 \tvprolvq %zmm4,%zmm5,%zmm6",},
  470. {{0xc4, 0xe2, 0x4d, 0x16, 0xd4, }, 5, 0, "", "",
  471. "c4 e2 4d 16 d4 \tvpermps %ymm4,%ymm6,%ymm2",},
  472. {{0x62, 0xf2, 0x4d, 0x2f, 0x16, 0xd4, }, 6, 0, "", "",
  473. "62 f2 4d 2f 16 d4 \tvpermps %ymm4,%ymm6,%ymm2{%k7}",},
  474. {{0x62, 0xf2, 0xcd, 0x2f, 0x16, 0xd4, }, 6, 0, "", "",
  475. "62 f2 cd 2f 16 d4 \tvpermpd %ymm4,%ymm6,%ymm2{%k7}",},
  476. {{0xc4, 0xe2, 0x7d, 0x19, 0xf4, }, 5, 0, "", "",
  477. "c4 e2 7d 19 f4 \tvbroadcastsd %xmm4,%ymm6",},
  478. {{0x62, 0xf2, 0x7d, 0x48, 0x19, 0xf7, }, 6, 0, "", "",
  479. "62 f2 7d 48 19 f7 \tvbroadcastf32x2 %xmm7,%zmm6",},
  480. {{0xc4, 0xe2, 0x7d, 0x1a, 0x21, }, 5, 0, "", "",
  481. "c4 e2 7d 1a 21 \tvbroadcastf128 (%ecx),%ymm4",},
  482. {{0x62, 0xf2, 0x7d, 0x48, 0x1a, 0x31, }, 6, 0, "", "",
  483. "62 f2 7d 48 1a 31 \tvbroadcastf32x4 (%ecx),%zmm6",},
  484. {{0x62, 0xf2, 0xfd, 0x48, 0x1a, 0x31, }, 6, 0, "", "",
  485. "62 f2 fd 48 1a 31 \tvbroadcastf64x2 (%ecx),%zmm6",},
  486. {{0x62, 0xf2, 0x7d, 0x48, 0x1b, 0x31, }, 6, 0, "", "",
  487. "62 f2 7d 48 1b 31 \tvbroadcastf32x8 (%ecx),%zmm6",},
  488. {{0x62, 0xf2, 0xfd, 0x48, 0x1b, 0x31, }, 6, 0, "", "",
  489. "62 f2 fd 48 1b 31 \tvbroadcastf64x4 (%ecx),%zmm6",},
  490. {{0x62, 0xf2, 0xfd, 0x48, 0x1f, 0xf4, }, 6, 0, "", "",
  491. "62 f2 fd 48 1f f4 \tvpabsq %zmm4,%zmm6",},
  492. {{0xc4, 0xe2, 0x79, 0x20, 0xec, }, 5, 0, "", "",
  493. "c4 e2 79 20 ec \tvpmovsxbw %xmm4,%xmm5",},
  494. {{0x62, 0xf2, 0x7e, 0x4f, 0x20, 0xee, }, 6, 0, "", "",
  495. "62 f2 7e 4f 20 ee \tvpmovswb %zmm5,%ymm6{%k7}",},
  496. {{0xc4, 0xe2, 0x7d, 0x21, 0xf4, }, 5, 0, "", "",
  497. "c4 e2 7d 21 f4 \tvpmovsxbd %xmm4,%ymm6",},
  498. {{0x62, 0xf2, 0x7e, 0x4f, 0x21, 0xee, }, 6, 0, "", "",
  499. "62 f2 7e 4f 21 ee \tvpmovsdb %zmm5,%xmm6{%k7}",},
  500. {{0xc4, 0xe2, 0x7d, 0x22, 0xe4, }, 5, 0, "", "",
  501. "c4 e2 7d 22 e4 \tvpmovsxbq %xmm4,%ymm4",},
  502. {{0x62, 0xf2, 0x7e, 0x4f, 0x22, 0xee, }, 6, 0, "", "",
  503. "62 f2 7e 4f 22 ee \tvpmovsqb %zmm5,%xmm6{%k7}",},
  504. {{0xc4, 0xe2, 0x7d, 0x23, 0xe4, }, 5, 0, "", "",
  505. "c4 e2 7d 23 e4 \tvpmovsxwd %xmm4,%ymm4",},
  506. {{0x62, 0xf2, 0x7e, 0x4f, 0x23, 0xee, }, 6, 0, "", "",
  507. "62 f2 7e 4f 23 ee \tvpmovsdw %zmm5,%ymm6{%k7}",},
  508. {{0xc4, 0xe2, 0x7d, 0x24, 0xf4, }, 5, 0, "", "",
  509. "c4 e2 7d 24 f4 \tvpmovsxwq %xmm4,%ymm6",},
  510. {{0x62, 0xf2, 0x7e, 0x4f, 0x24, 0xee, }, 6, 0, "", "",
  511. "62 f2 7e 4f 24 ee \tvpmovsqw %zmm5,%xmm6{%k7}",},
  512. {{0xc4, 0xe2, 0x7d, 0x25, 0xe4, }, 5, 0, "", "",
  513. "c4 e2 7d 25 e4 \tvpmovsxdq %xmm4,%ymm4",},
  514. {{0x62, 0xf2, 0x7e, 0x4f, 0x25, 0xee, }, 6, 0, "", "",
  515. "62 f2 7e 4f 25 ee \tvpmovsqd %zmm5,%ymm6{%k7}",},
  516. {{0x62, 0xf2, 0x4d, 0x48, 0x26, 0xed, }, 6, 0, "", "",
  517. "62 f2 4d 48 26 ed \tvptestmb %zmm5,%zmm6,%k5",},
  518. {{0x62, 0xf2, 0xcd, 0x48, 0x26, 0xed, }, 6, 0, "", "",
  519. "62 f2 cd 48 26 ed \tvptestmw %zmm5,%zmm6,%k5",},
  520. {{0x62, 0xf2, 0x56, 0x48, 0x26, 0xec, }, 6, 0, "", "",
  521. "62 f2 56 48 26 ec \tvptestnmb %zmm4,%zmm5,%k5",},
  522. {{0x62, 0xf2, 0xd6, 0x48, 0x26, 0xec, }, 6, 0, "", "",
  523. "62 f2 d6 48 26 ec \tvptestnmw %zmm4,%zmm5,%k5",},
  524. {{0x62, 0xf2, 0x4d, 0x48, 0x27, 0xed, }, 6, 0, "", "",
  525. "62 f2 4d 48 27 ed \tvptestmd %zmm5,%zmm6,%k5",},
  526. {{0x62, 0xf2, 0xcd, 0x48, 0x27, 0xed, }, 6, 0, "", "",
  527. "62 f2 cd 48 27 ed \tvptestmq %zmm5,%zmm6,%k5",},
  528. {{0x62, 0xf2, 0x56, 0x48, 0x27, 0xec, }, 6, 0, "", "",
  529. "62 f2 56 48 27 ec \tvptestnmd %zmm4,%zmm5,%k5",},
  530. {{0x62, 0xf2, 0xd6, 0x48, 0x27, 0xec, }, 6, 0, "", "",
  531. "62 f2 d6 48 27 ec \tvptestnmq %zmm4,%zmm5,%k5",},
  532. {{0xc4, 0xe2, 0x4d, 0x28, 0xd4, }, 5, 0, "", "",
  533. "c4 e2 4d 28 d4 \tvpmuldq %ymm4,%ymm6,%ymm2",},
  534. {{0x62, 0xf2, 0x7e, 0x48, 0x28, 0xf5, }, 6, 0, "", "",
  535. "62 f2 7e 48 28 f5 \tvpmovm2b %k5,%zmm6",},
  536. {{0x62, 0xf2, 0xfe, 0x48, 0x28, 0xf5, }, 6, 0, "", "",
  537. "62 f2 fe 48 28 f5 \tvpmovm2w %k5,%zmm6",},
  538. {{0xc4, 0xe2, 0x4d, 0x29, 0xd4, }, 5, 0, "", "",
  539. "c4 e2 4d 29 d4 \tvpcmpeqq %ymm4,%ymm6,%ymm2",},
  540. {{0x62, 0xf2, 0x7e, 0x48, 0x29, 0xee, }, 6, 0, "", "",
  541. "62 f2 7e 48 29 ee \tvpmovb2m %zmm6,%k5",},
  542. {{0x62, 0xf2, 0xfe, 0x48, 0x29, 0xee, }, 6, 0, "", "",
  543. "62 f2 fe 48 29 ee \tvpmovw2m %zmm6,%k5",},
  544. {{0xc4, 0xe2, 0x7d, 0x2a, 0x21, }, 5, 0, "", "",
  545. "c4 e2 7d 2a 21 \tvmovntdqa (%ecx),%ymm4",},
  546. {{0x62, 0xf2, 0xfe, 0x48, 0x2a, 0xce, }, 6, 0, "", "",
  547. "62 f2 fe 48 2a ce \tvpbroadcastmb2q %k6,%zmm1",},
  548. {{0xc4, 0xe2, 0x5d, 0x2c, 0x31, }, 5, 0, "", "",
  549. "c4 e2 5d 2c 31 \tvmaskmovps (%ecx),%ymm4,%ymm6",},
  550. {{0x62, 0xf2, 0x55, 0x48, 0x2c, 0xf4, }, 6, 0, "", "",
  551. "62 f2 55 48 2c f4 \tvscalefps %zmm4,%zmm5,%zmm6",},
  552. {{0x62, 0xf2, 0xd5, 0x48, 0x2c, 0xf4, }, 6, 0, "", "",
  553. "62 f2 d5 48 2c f4 \tvscalefpd %zmm4,%zmm5,%zmm6",},
  554. {{0xc4, 0xe2, 0x5d, 0x2d, 0x31, }, 5, 0, "", "",
  555. "c4 e2 5d 2d 31 \tvmaskmovpd (%ecx),%ymm4,%ymm6",},
  556. {{0x62, 0xf2, 0x55, 0x0f, 0x2d, 0xf4, }, 6, 0, "", "",
  557. "62 f2 55 0f 2d f4 \tvscalefss %xmm4,%xmm5,%xmm6{%k7}",},
  558. {{0x62, 0xf2, 0xd5, 0x0f, 0x2d, 0xf4, }, 6, 0, "", "",
  559. "62 f2 d5 0f 2d f4 \tvscalefsd %xmm4,%xmm5,%xmm6{%k7}",},
  560. {{0xc4, 0xe2, 0x7d, 0x30, 0xe4, }, 5, 0, "", "",
  561. "c4 e2 7d 30 e4 \tvpmovzxbw %xmm4,%ymm4",},
  562. {{0x62, 0xf2, 0x7e, 0x4f, 0x30, 0xee, }, 6, 0, "", "",
  563. "62 f2 7e 4f 30 ee \tvpmovwb %zmm5,%ymm6{%k7}",},
  564. {{0xc4, 0xe2, 0x7d, 0x31, 0xf4, }, 5, 0, "", "",
  565. "c4 e2 7d 31 f4 \tvpmovzxbd %xmm4,%ymm6",},
  566. {{0x62, 0xf2, 0x7e, 0x4f, 0x31, 0xee, }, 6, 0, "", "",
  567. "62 f2 7e 4f 31 ee \tvpmovdb %zmm5,%xmm6{%k7}",},
  568. {{0xc4, 0xe2, 0x7d, 0x32, 0xe4, }, 5, 0, "", "",
  569. "c4 e2 7d 32 e4 \tvpmovzxbq %xmm4,%ymm4",},
  570. {{0x62, 0xf2, 0x7e, 0x4f, 0x32, 0xee, }, 6, 0, "", "",
  571. "62 f2 7e 4f 32 ee \tvpmovqb %zmm5,%xmm6{%k7}",},
  572. {{0xc4, 0xe2, 0x7d, 0x33, 0xe4, }, 5, 0, "", "",
  573. "c4 e2 7d 33 e4 \tvpmovzxwd %xmm4,%ymm4",},
  574. {{0x62, 0xf2, 0x7e, 0x4f, 0x33, 0xee, }, 6, 0, "", "",
  575. "62 f2 7e 4f 33 ee \tvpmovdw %zmm5,%ymm6{%k7}",},
  576. {{0xc4, 0xe2, 0x7d, 0x34, 0xf4, }, 5, 0, "", "",
  577. "c4 e2 7d 34 f4 \tvpmovzxwq %xmm4,%ymm6",},
  578. {{0x62, 0xf2, 0x7e, 0x4f, 0x34, 0xee, }, 6, 0, "", "",
  579. "62 f2 7e 4f 34 ee \tvpmovqw %zmm5,%xmm6{%k7}",},
  580. {{0xc4, 0xe2, 0x7d, 0x35, 0xe4, }, 5, 0, "", "",
  581. "c4 e2 7d 35 e4 \tvpmovzxdq %xmm4,%ymm4",},
  582. {{0x62, 0xf2, 0x7e, 0x4f, 0x35, 0xee, }, 6, 0, "", "",
  583. "62 f2 7e 4f 35 ee \tvpmovqd %zmm5,%ymm6{%k7}",},
  584. {{0xc4, 0xe2, 0x4d, 0x36, 0xd4, }, 5, 0, "", "",
  585. "c4 e2 4d 36 d4 \tvpermd %ymm4,%ymm6,%ymm2",},
  586. {{0x62, 0xf2, 0x4d, 0x2f, 0x36, 0xd4, }, 6, 0, "", "",
  587. "62 f2 4d 2f 36 d4 \tvpermd %ymm4,%ymm6,%ymm2{%k7}",},
  588. {{0x62, 0xf2, 0xcd, 0x2f, 0x36, 0xd4, }, 6, 0, "", "",
  589. "62 f2 cd 2f 36 d4 \tvpermq %ymm4,%ymm6,%ymm2{%k7}",},
  590. {{0xc4, 0xe2, 0x4d, 0x38, 0xd4, }, 5, 0, "", "",
  591. "c4 e2 4d 38 d4 \tvpminsb %ymm4,%ymm6,%ymm2",},
  592. {{0x62, 0xf2, 0x7e, 0x48, 0x38, 0xf5, }, 6, 0, "", "",
  593. "62 f2 7e 48 38 f5 \tvpmovm2d %k5,%zmm6",},
  594. {{0x62, 0xf2, 0xfe, 0x48, 0x38, 0xf5, }, 6, 0, "", "",
  595. "62 f2 fe 48 38 f5 \tvpmovm2q %k5,%zmm6",},
  596. {{0xc4, 0xe2, 0x69, 0x39, 0xd9, }, 5, 0, "", "",
  597. "c4 e2 69 39 d9 \tvpminsd %xmm1,%xmm2,%xmm3",},
  598. {{0x62, 0xf2, 0x55, 0x48, 0x39, 0xf4, }, 6, 0, "", "",
  599. "62 f2 55 48 39 f4 \tvpminsd %zmm4,%zmm5,%zmm6",},
  600. {{0x62, 0xf2, 0xd5, 0x48, 0x39, 0xf4, }, 6, 0, "", "",
  601. "62 f2 d5 48 39 f4 \tvpminsq %zmm4,%zmm5,%zmm6",},
  602. {{0x62, 0xf2, 0x7e, 0x48, 0x39, 0xee, }, 6, 0, "", "",
  603. "62 f2 7e 48 39 ee \tvpmovd2m %zmm6,%k5",},
  604. {{0x62, 0xf2, 0xfe, 0x48, 0x39, 0xee, }, 6, 0, "", "",
  605. "62 f2 fe 48 39 ee \tvpmovq2m %zmm6,%k5",},
  606. {{0xc4, 0xe2, 0x4d, 0x3a, 0xd4, }, 5, 0, "", "",
  607. "c4 e2 4d 3a d4 \tvpminuw %ymm4,%ymm6,%ymm2",},
  608. {{0x62, 0xf2, 0x7e, 0x48, 0x3a, 0xf6, }, 6, 0, "", "",
  609. "62 f2 7e 48 3a f6 \tvpbroadcastmw2d %k6,%zmm6",},
  610. {{0xc4, 0xe2, 0x4d, 0x3b, 0xd4, }, 5, 0, "", "",
  611. "c4 e2 4d 3b d4 \tvpminud %ymm4,%ymm6,%ymm2",},
  612. {{0x62, 0xf2, 0x55, 0x48, 0x3b, 0xf4, }, 6, 0, "", "",
  613. "62 f2 55 48 3b f4 \tvpminud %zmm4,%zmm5,%zmm6",},
  614. {{0x62, 0xf2, 0xd5, 0x48, 0x3b, 0xf4, }, 6, 0, "", "",
  615. "62 f2 d5 48 3b f4 \tvpminuq %zmm4,%zmm5,%zmm6",},
  616. {{0xc4, 0xe2, 0x4d, 0x3d, 0xd4, }, 5, 0, "", "",
  617. "c4 e2 4d 3d d4 \tvpmaxsd %ymm4,%ymm6,%ymm2",},
  618. {{0x62, 0xf2, 0x55, 0x48, 0x3d, 0xf4, }, 6, 0, "", "",
  619. "62 f2 55 48 3d f4 \tvpmaxsd %zmm4,%zmm5,%zmm6",},
  620. {{0x62, 0xf2, 0xd5, 0x48, 0x3d, 0xf4, }, 6, 0, "", "",
  621. "62 f2 d5 48 3d f4 \tvpmaxsq %zmm4,%zmm5,%zmm6",},
  622. {{0xc4, 0xe2, 0x4d, 0x3f, 0xd4, }, 5, 0, "", "",
  623. "c4 e2 4d 3f d4 \tvpmaxud %ymm4,%ymm6,%ymm2",},
  624. {{0x62, 0xf2, 0x55, 0x48, 0x3f, 0xf4, }, 6, 0, "", "",
  625. "62 f2 55 48 3f f4 \tvpmaxud %zmm4,%zmm5,%zmm6",},
  626. {{0x62, 0xf2, 0xd5, 0x48, 0x3f, 0xf4, }, 6, 0, "", "",
  627. "62 f2 d5 48 3f f4 \tvpmaxuq %zmm4,%zmm5,%zmm6",},
  628. {{0xc4, 0xe2, 0x4d, 0x40, 0xd4, }, 5, 0, "", "",
  629. "c4 e2 4d 40 d4 \tvpmulld %ymm4,%ymm6,%ymm2",},
  630. {{0x62, 0xf2, 0x55, 0x48, 0x40, 0xf4, }, 6, 0, "", "",
  631. "62 f2 55 48 40 f4 \tvpmulld %zmm4,%zmm5,%zmm6",},
  632. {{0x62, 0xf2, 0xd5, 0x48, 0x40, 0xf4, }, 6, 0, "", "",
  633. "62 f2 d5 48 40 f4 \tvpmullq %zmm4,%zmm5,%zmm6",},
  634. {{0x62, 0xf2, 0x7d, 0x48, 0x42, 0xf5, }, 6, 0, "", "",
  635. "62 f2 7d 48 42 f5 \tvgetexpps %zmm5,%zmm6",},
  636. {{0x62, 0xf2, 0xfd, 0x48, 0x42, 0xf5, }, 6, 0, "", "",
  637. "62 f2 fd 48 42 f5 \tvgetexppd %zmm5,%zmm6",},
  638. {{0x62, 0xf2, 0x55, 0x0f, 0x43, 0xf4, }, 6, 0, "", "",
  639. "62 f2 55 0f 43 f4 \tvgetexpss %xmm4,%xmm5,%xmm6{%k7}",},
  640. {{0x62, 0xf2, 0xe5, 0x0f, 0x43, 0xe2, }, 6, 0, "", "",
  641. "62 f2 e5 0f 43 e2 \tvgetexpsd %xmm2,%xmm3,%xmm4{%k7}",},
  642. {{0x62, 0xf2, 0x7d, 0x48, 0x44, 0xf5, }, 6, 0, "", "",
  643. "62 f2 7d 48 44 f5 \tvplzcntd %zmm5,%zmm6",},
  644. {{0x62, 0xf2, 0xfd, 0x48, 0x44, 0xf5, }, 6, 0, "", "",
  645. "62 f2 fd 48 44 f5 \tvplzcntq %zmm5,%zmm6",},
  646. {{0xc4, 0xe2, 0x4d, 0x46, 0xd4, }, 5, 0, "", "",
  647. "c4 e2 4d 46 d4 \tvpsravd %ymm4,%ymm6,%ymm2",},
  648. {{0x62, 0xf2, 0x55, 0x48, 0x46, 0xf4, }, 6, 0, "", "",
  649. "62 f2 55 48 46 f4 \tvpsravd %zmm4,%zmm5,%zmm6",},
  650. {{0x62, 0xf2, 0xd5, 0x48, 0x46, 0xf4, }, 6, 0, "", "",
  651. "62 f2 d5 48 46 f4 \tvpsravq %zmm4,%zmm5,%zmm6",},
  652. {{0x62, 0xf2, 0x7d, 0x48, 0x4c, 0xf5, }, 6, 0, "", "",
  653. "62 f2 7d 48 4c f5 \tvrcp14ps %zmm5,%zmm6",},
  654. {{0x62, 0xf2, 0xfd, 0x48, 0x4c, 0xf5, }, 6, 0, "", "",
  655. "62 f2 fd 48 4c f5 \tvrcp14pd %zmm5,%zmm6",},
  656. {{0x62, 0xf2, 0x55, 0x0f, 0x4d, 0xf4, }, 6, 0, "", "",
  657. "62 f2 55 0f 4d f4 \tvrcp14ss %xmm4,%xmm5,%xmm6{%k7}",},
  658. {{0x62, 0xf2, 0xd5, 0x0f, 0x4d, 0xf4, }, 6, 0, "", "",
  659. "62 f2 d5 0f 4d f4 \tvrcp14sd %xmm4,%xmm5,%xmm6{%k7}",},
  660. {{0x62, 0xf2, 0x7d, 0x48, 0x4e, 0xf5, }, 6, 0, "", "",
  661. "62 f2 7d 48 4e f5 \tvrsqrt14ps %zmm5,%zmm6",},
  662. {{0x62, 0xf2, 0xfd, 0x48, 0x4e, 0xf5, }, 6, 0, "", "",
  663. "62 f2 fd 48 4e f5 \tvrsqrt14pd %zmm5,%zmm6",},
  664. {{0x62, 0xf2, 0x55, 0x0f, 0x4f, 0xf4, }, 6, 0, "", "",
  665. "62 f2 55 0f 4f f4 \tvrsqrt14ss %xmm4,%xmm5,%xmm6{%k7}",},
  666. {{0x62, 0xf2, 0xd5, 0x0f, 0x4f, 0xf4, }, 6, 0, "", "",
  667. "62 f2 d5 0f 4f f4 \tvrsqrt14sd %xmm4,%xmm5,%xmm6{%k7}",},
  668. {{0xc4, 0xe2, 0x79, 0x59, 0xf4, }, 5, 0, "", "",
  669. "c4 e2 79 59 f4 \tvpbroadcastq %xmm4,%xmm6",},
  670. {{0x62, 0xf2, 0x7d, 0x48, 0x59, 0xf7, }, 6, 0, "", "",
  671. "62 f2 7d 48 59 f7 \tvbroadcasti32x2 %xmm7,%zmm6",},
  672. {{0xc4, 0xe2, 0x7d, 0x5a, 0x21, }, 5, 0, "", "",
  673. "c4 e2 7d 5a 21 \tvbroadcasti128 (%ecx),%ymm4",},
  674. {{0x62, 0xf2, 0x7d, 0x48, 0x5a, 0x31, }, 6, 0, "", "",
  675. "62 f2 7d 48 5a 31 \tvbroadcasti32x4 (%ecx),%zmm6",},
  676. {{0x62, 0xf2, 0xfd, 0x48, 0x5a, 0x31, }, 6, 0, "", "",
  677. "62 f2 fd 48 5a 31 \tvbroadcasti64x2 (%ecx),%zmm6",},
  678. {{0x62, 0xf2, 0x7d, 0x48, 0x5b, 0x31, }, 6, 0, "", "",
  679. "62 f2 7d 48 5b 31 \tvbroadcasti32x8 (%ecx),%zmm6",},
  680. {{0x62, 0xf2, 0xfd, 0x48, 0x5b, 0x31, }, 6, 0, "", "",
  681. "62 f2 fd 48 5b 31 \tvbroadcasti64x4 (%ecx),%zmm6",},
  682. {{0x62, 0xf2, 0x55, 0x48, 0x64, 0xf4, }, 6, 0, "", "",
  683. "62 f2 55 48 64 f4 \tvpblendmd %zmm4,%zmm5,%zmm6",},
  684. {{0x62, 0xf2, 0xd5, 0x48, 0x64, 0xf4, }, 6, 0, "", "",
  685. "62 f2 d5 48 64 f4 \tvpblendmq %zmm4,%zmm5,%zmm6",},
  686. {{0x62, 0xf2, 0x55, 0x48, 0x65, 0xf4, }, 6, 0, "", "",
  687. "62 f2 55 48 65 f4 \tvblendmps %zmm4,%zmm5,%zmm6",},
  688. {{0x62, 0xf2, 0xd5, 0x48, 0x65, 0xf4, }, 6, 0, "", "",
  689. "62 f2 d5 48 65 f4 \tvblendmpd %zmm4,%zmm5,%zmm6",},
  690. {{0x62, 0xf2, 0x55, 0x48, 0x66, 0xf4, }, 6, 0, "", "",
  691. "62 f2 55 48 66 f4 \tvpblendmb %zmm4,%zmm5,%zmm6",},
  692. {{0x62, 0xf2, 0xd5, 0x48, 0x66, 0xf4, }, 6, 0, "", "",
  693. "62 f2 d5 48 66 f4 \tvpblendmw %zmm4,%zmm5,%zmm6",},
  694. {{0x62, 0xf2, 0x55, 0x48, 0x75, 0xf4, }, 6, 0, "", "",
  695. "62 f2 55 48 75 f4 \tvpermi2b %zmm4,%zmm5,%zmm6",},
  696. {{0x62, 0xf2, 0xd5, 0x48, 0x75, 0xf4, }, 6, 0, "", "",
  697. "62 f2 d5 48 75 f4 \tvpermi2w %zmm4,%zmm5,%zmm6",},
  698. {{0x62, 0xf2, 0x55, 0x48, 0x76, 0xf4, }, 6, 0, "", "",
  699. "62 f2 55 48 76 f4 \tvpermi2d %zmm4,%zmm5,%zmm6",},
  700. {{0x62, 0xf2, 0xd5, 0x48, 0x76, 0xf4, }, 6, 0, "", "",
  701. "62 f2 d5 48 76 f4 \tvpermi2q %zmm4,%zmm5,%zmm6",},
  702. {{0x62, 0xf2, 0x55, 0x48, 0x77, 0xf4, }, 6, 0, "", "",
  703. "62 f2 55 48 77 f4 \tvpermi2ps %zmm4,%zmm5,%zmm6",},
  704. {{0x62, 0xf2, 0xd5, 0x48, 0x77, 0xf4, }, 6, 0, "", "",
  705. "62 f2 d5 48 77 f4 \tvpermi2pd %zmm4,%zmm5,%zmm6",},
  706. {{0x62, 0xf2, 0x7d, 0x08, 0x7a, 0xd8, }, 6, 0, "", "",
  707. "62 f2 7d 08 7a d8 \tvpbroadcastb %eax,%xmm3",},
  708. {{0x62, 0xf2, 0x7d, 0x08, 0x7b, 0xd8, }, 6, 0, "", "",
  709. "62 f2 7d 08 7b d8 \tvpbroadcastw %eax,%xmm3",},
  710. {{0x62, 0xf2, 0x7d, 0x08, 0x7c, 0xd8, }, 6, 0, "", "",
  711. "62 f2 7d 08 7c d8 \tvpbroadcastd %eax,%xmm3",},
  712. {{0x62, 0xf2, 0x55, 0x48, 0x7d, 0xf4, }, 6, 0, "", "",
  713. "62 f2 55 48 7d f4 \tvpermt2b %zmm4,%zmm5,%zmm6",},
  714. {{0x62, 0xf2, 0xd5, 0x48, 0x7d, 0xf4, }, 6, 0, "", "",
  715. "62 f2 d5 48 7d f4 \tvpermt2w %zmm4,%zmm5,%zmm6",},
  716. {{0x62, 0xf2, 0x55, 0x48, 0x7e, 0xf4, }, 6, 0, "", "",
  717. "62 f2 55 48 7e f4 \tvpermt2d %zmm4,%zmm5,%zmm6",},
  718. {{0x62, 0xf2, 0xd5, 0x48, 0x7e, 0xf4, }, 6, 0, "", "",
  719. "62 f2 d5 48 7e f4 \tvpermt2q %zmm4,%zmm5,%zmm6",},
  720. {{0x62, 0xf2, 0x55, 0x48, 0x7f, 0xf4, }, 6, 0, "", "",
  721. "62 f2 55 48 7f f4 \tvpermt2ps %zmm4,%zmm5,%zmm6",},
  722. {{0x62, 0xf2, 0xd5, 0x48, 0x7f, 0xf4, }, 6, 0, "", "",
  723. "62 f2 d5 48 7f f4 \tvpermt2pd %zmm4,%zmm5,%zmm6",},
  724. {{0x62, 0xf2, 0xd5, 0x48, 0x83, 0xf4, }, 6, 0, "", "",
  725. "62 f2 d5 48 83 f4 \tvpmultishiftqb %zmm4,%zmm5,%zmm6",},
  726. {{0x62, 0xf2, 0x7d, 0x48, 0x88, 0x31, }, 6, 0, "", "",
  727. "62 f2 7d 48 88 31 \tvexpandps (%ecx),%zmm6",},
  728. {{0x62, 0xf2, 0xfd, 0x48, 0x88, 0x31, }, 6, 0, "", "",
  729. "62 f2 fd 48 88 31 \tvexpandpd (%ecx),%zmm6",},
  730. {{0x62, 0xf2, 0x7d, 0x48, 0x89, 0x31, }, 6, 0, "", "",
  731. "62 f2 7d 48 89 31 \tvpexpandd (%ecx),%zmm6",},
  732. {{0x62, 0xf2, 0xfd, 0x48, 0x89, 0x31, }, 6, 0, "", "",
  733. "62 f2 fd 48 89 31 \tvpexpandq (%ecx),%zmm6",},
  734. {{0x62, 0xf2, 0x7d, 0x48, 0x8a, 0x31, }, 6, 0, "", "",
  735. "62 f2 7d 48 8a 31 \tvcompressps %zmm6,(%ecx)",},
  736. {{0x62, 0xf2, 0xfd, 0x48, 0x8a, 0x31, }, 6, 0, "", "",
  737. "62 f2 fd 48 8a 31 \tvcompresspd %zmm6,(%ecx)",},
  738. {{0x62, 0xf2, 0x7d, 0x48, 0x8b, 0x31, }, 6, 0, "", "",
  739. "62 f2 7d 48 8b 31 \tvpcompressd %zmm6,(%ecx)",},
  740. {{0x62, 0xf2, 0xfd, 0x48, 0x8b, 0x31, }, 6, 0, "", "",
  741. "62 f2 fd 48 8b 31 \tvpcompressq %zmm6,(%ecx)",},
  742. {{0x62, 0xf2, 0x55, 0x48, 0x8d, 0xf4, }, 6, 0, "", "",
  743. "62 f2 55 48 8d f4 \tvpermb %zmm4,%zmm5,%zmm6",},
  744. {{0x62, 0xf2, 0xd5, 0x48, 0x8d, 0xf4, }, 6, 0, "", "",
  745. "62 f2 d5 48 8d f4 \tvpermw %zmm4,%zmm5,%zmm6",},
  746. {{0xc4, 0xe2, 0x69, 0x90, 0x4c, 0x7d, 0x02, }, 7, 0, "", "",
  747. "c4 e2 69 90 4c 7d 02 \tvpgatherdd %xmm2,0x2(%ebp,%xmm7,2),%xmm1",},
  748. {{0xc4, 0xe2, 0xe9, 0x90, 0x4c, 0x7d, 0x04, }, 7, 0, "", "",
  749. "c4 e2 e9 90 4c 7d 04 \tvpgatherdq %xmm2,0x4(%ebp,%xmm7,2),%xmm1",},
  750. {{0x62, 0xf2, 0x7d, 0x49, 0x90, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  751. "62 f2 7d 49 90 b4 fd 7b 00 00 00 \tvpgatherdd 0x7b(%ebp,%zmm7,8),%zmm6{%k1}",},
  752. {{0x62, 0xf2, 0xfd, 0x49, 0x90, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  753. "62 f2 fd 49 90 b4 fd 7b 00 00 00 \tvpgatherdq 0x7b(%ebp,%ymm7,8),%zmm6{%k1}",},
  754. {{0xc4, 0xe2, 0x69, 0x91, 0x4c, 0x7d, 0x02, }, 7, 0, "", "",
  755. "c4 e2 69 91 4c 7d 02 \tvpgatherqd %xmm2,0x2(%ebp,%xmm7,2),%xmm1",},
  756. {{0xc4, 0xe2, 0xe9, 0x91, 0x4c, 0x7d, 0x02, }, 7, 0, "", "",
  757. "c4 e2 e9 91 4c 7d 02 \tvpgatherqq %xmm2,0x2(%ebp,%xmm7,2),%xmm1",},
  758. {{0x62, 0xf2, 0x7d, 0x49, 0x91, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  759. "62 f2 7d 49 91 b4 fd 7b 00 00 00 \tvpgatherqd 0x7b(%ebp,%zmm7,8),%ymm6{%k1}",},
  760. {{0x62, 0xf2, 0xfd, 0x49, 0x91, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  761. "62 f2 fd 49 91 b4 fd 7b 00 00 00 \tvpgatherqq 0x7b(%ebp,%zmm7,8),%zmm6{%k1}",},
  762. {{0x62, 0xf2, 0x7d, 0x49, 0xa0, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  763. "62 f2 7d 49 a0 b4 fd 7b 00 00 00 \tvpscatterdd %zmm6,0x7b(%ebp,%zmm7,8){%k1}",},
  764. {{0x62, 0xf2, 0xfd, 0x49, 0xa0, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  765. "62 f2 fd 49 a0 b4 fd 7b 00 00 00 \tvpscatterdq %zmm6,0x7b(%ebp,%ymm7,8){%k1}",},
  766. {{0x62, 0xf2, 0x7d, 0x49, 0xa1, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  767. "62 f2 7d 49 a1 b4 fd 7b 00 00 00 \tvpscatterqd %ymm6,0x7b(%ebp,%zmm7,8){%k1}",},
  768. {{0x62, 0xf2, 0xfd, 0x29, 0xa1, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  769. "62 f2 fd 29 a1 b4 fd 7b 00 00 00 \tvpscatterqq %ymm6,0x7b(%ebp,%ymm7,8){%k1}",},
  770. {{0x62, 0xf2, 0x7d, 0x49, 0xa2, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  771. "62 f2 7d 49 a2 b4 fd 7b 00 00 00 \tvscatterdps %zmm6,0x7b(%ebp,%zmm7,8){%k1}",},
  772. {{0x62, 0xf2, 0xfd, 0x49, 0xa2, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  773. "62 f2 fd 49 a2 b4 fd 7b 00 00 00 \tvscatterdpd %zmm6,0x7b(%ebp,%ymm7,8){%k1}",},
  774. {{0x62, 0xf2, 0x7d, 0x49, 0xa3, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  775. "62 f2 7d 49 a3 b4 fd 7b 00 00 00 \tvscatterqps %ymm6,0x7b(%ebp,%zmm7,8){%k1}",},
  776. {{0x62, 0xf2, 0xfd, 0x49, 0xa3, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  777. "62 f2 fd 49 a3 b4 fd 7b 00 00 00 \tvscatterqpd %zmm6,0x7b(%ebp,%zmm7,8){%k1}",},
  778. {{0x62, 0xf2, 0xd5, 0x48, 0xb4, 0xf4, }, 6, 0, "", "",
  779. "62 f2 d5 48 b4 f4 \tvpmadd52luq %zmm4,%zmm5,%zmm6",},
  780. {{0x62, 0xf2, 0xd5, 0x48, 0xb5, 0xf4, }, 6, 0, "", "",
  781. "62 f2 d5 48 b5 f4 \tvpmadd52huq %zmm4,%zmm5,%zmm6",},
  782. {{0x62, 0xf2, 0x7d, 0x48, 0xc4, 0xf5, }, 6, 0, "", "",
  783. "62 f2 7d 48 c4 f5 \tvpconflictd %zmm5,%zmm6",},
  784. {{0x62, 0xf2, 0xfd, 0x48, 0xc4, 0xf5, }, 6, 0, "", "",
  785. "62 f2 fd 48 c4 f5 \tvpconflictq %zmm5,%zmm6",},
  786. {{0x62, 0xf2, 0x7d, 0x48, 0xc8, 0xfe, }, 6, 0, "", "",
  787. "62 f2 7d 48 c8 fe \tvexp2ps %zmm6,%zmm7",},
  788. {{0x62, 0xf2, 0xfd, 0x48, 0xc8, 0xfe, }, 6, 0, "", "",
  789. "62 f2 fd 48 c8 fe \tvexp2pd %zmm6,%zmm7",},
  790. {{0x62, 0xf2, 0x7d, 0x48, 0xca, 0xfe, }, 6, 0, "", "",
  791. "62 f2 7d 48 ca fe \tvrcp28ps %zmm6,%zmm7",},
  792. {{0x62, 0xf2, 0xfd, 0x48, 0xca, 0xfe, }, 6, 0, "", "",
  793. "62 f2 fd 48 ca fe \tvrcp28pd %zmm6,%zmm7",},
  794. {{0x62, 0xf2, 0x4d, 0x0f, 0xcb, 0xfd, }, 6, 0, "", "",
  795. "62 f2 4d 0f cb fd \tvrcp28ss %xmm5,%xmm6,%xmm7{%k7}",},
  796. {{0x62, 0xf2, 0xcd, 0x0f, 0xcb, 0xfd, }, 6, 0, "", "",
  797. "62 f2 cd 0f cb fd \tvrcp28sd %xmm5,%xmm6,%xmm7{%k7}",},
  798. {{0x62, 0xf2, 0x7d, 0x48, 0xcc, 0xfe, }, 6, 0, "", "",
  799. "62 f2 7d 48 cc fe \tvrsqrt28ps %zmm6,%zmm7",},
  800. {{0x62, 0xf2, 0xfd, 0x48, 0xcc, 0xfe, }, 6, 0, "", "",
  801. "62 f2 fd 48 cc fe \tvrsqrt28pd %zmm6,%zmm7",},
  802. {{0x62, 0xf2, 0x4d, 0x0f, 0xcd, 0xfd, }, 6, 0, "", "",
  803. "62 f2 4d 0f cd fd \tvrsqrt28ss %xmm5,%xmm6,%xmm7{%k7}",},
  804. {{0x62, 0xf2, 0xcd, 0x0f, 0xcd, 0xfd, }, 6, 0, "", "",
  805. "62 f2 cd 0f cd fd \tvrsqrt28sd %xmm5,%xmm6,%xmm7{%k7}",},
  806. {{0x62, 0xf3, 0x4d, 0x48, 0x03, 0xfd, 0x12, }, 7, 0, "", "",
  807. "62 f3 4d 48 03 fd 12 \tvalignd $0x12,%zmm5,%zmm6,%zmm7",},
  808. {{0x62, 0xf3, 0xcd, 0x48, 0x03, 0xfd, 0x12, }, 7, 0, "", "",
  809. "62 f3 cd 48 03 fd 12 \tvalignq $0x12,%zmm5,%zmm6,%zmm7",},
  810. {{0xc4, 0xe3, 0x7d, 0x08, 0xd6, 0x05, }, 6, 0, "", "",
  811. "c4 e3 7d 08 d6 05 \tvroundps $0x5,%ymm6,%ymm2",},
  812. {{0x62, 0xf3, 0x7d, 0x48, 0x08, 0xf5, 0x12, }, 7, 0, "", "",
  813. "62 f3 7d 48 08 f5 12 \tvrndscaleps $0x12,%zmm5,%zmm6",},
  814. {{0xc4, 0xe3, 0x7d, 0x09, 0xd6, 0x05, }, 6, 0, "", "",
  815. "c4 e3 7d 09 d6 05 \tvroundpd $0x5,%ymm6,%ymm2",},
  816. {{0x62, 0xf3, 0xfd, 0x48, 0x09, 0xf5, 0x12, }, 7, 0, "", "",
  817. "62 f3 fd 48 09 f5 12 \tvrndscalepd $0x12,%zmm5,%zmm6",},
  818. {{0xc4, 0xe3, 0x49, 0x0a, 0xd4, 0x05, }, 6, 0, "", "",
  819. "c4 e3 49 0a d4 05 \tvroundss $0x5,%xmm4,%xmm6,%xmm2",},
  820. {{0x62, 0xf3, 0x55, 0x0f, 0x0a, 0xf4, 0x12, }, 7, 0, "", "",
  821. "62 f3 55 0f 0a f4 12 \tvrndscaless $0x12,%xmm4,%xmm5,%xmm6{%k7}",},
  822. {{0xc4, 0xe3, 0x49, 0x0b, 0xd4, 0x05, }, 6, 0, "", "",
  823. "c4 e3 49 0b d4 05 \tvroundsd $0x5,%xmm4,%xmm6,%xmm2",},
  824. {{0x62, 0xf3, 0xd5, 0x0f, 0x0b, 0xf4, 0x12, }, 7, 0, "", "",
  825. "62 f3 d5 0f 0b f4 12 \tvrndscalesd $0x12,%xmm4,%xmm5,%xmm6{%k7}",},
  826. {{0xc4, 0xe3, 0x5d, 0x18, 0xf4, 0x05, }, 6, 0, "", "",
  827. "c4 e3 5d 18 f4 05 \tvinsertf128 $0x5,%xmm4,%ymm4,%ymm6",},
  828. {{0x62, 0xf3, 0x55, 0x4f, 0x18, 0xf4, 0x12, }, 7, 0, "", "",
  829. "62 f3 55 4f 18 f4 12 \tvinsertf32x4 $0x12,%xmm4,%zmm5,%zmm6{%k7}",},
  830. {{0x62, 0xf3, 0xd5, 0x4f, 0x18, 0xf4, 0x12, }, 7, 0, "", "",
  831. "62 f3 d5 4f 18 f4 12 \tvinsertf64x2 $0x12,%xmm4,%zmm5,%zmm6{%k7}",},
  832. {{0xc4, 0xe3, 0x7d, 0x19, 0xe4, 0x05, }, 6, 0, "", "",
  833. "c4 e3 7d 19 e4 05 \tvextractf128 $0x5,%ymm4,%xmm4",},
  834. {{0x62, 0xf3, 0x7d, 0x4f, 0x19, 0xee, 0x12, }, 7, 0, "", "",
  835. "62 f3 7d 4f 19 ee 12 \tvextractf32x4 $0x12,%zmm5,%xmm6{%k7}",},
  836. {{0x62, 0xf3, 0xfd, 0x4f, 0x19, 0xee, 0x12, }, 7, 0, "", "",
  837. "62 f3 fd 4f 19 ee 12 \tvextractf64x2 $0x12,%zmm5,%xmm6{%k7}",},
  838. {{0x62, 0xf3, 0x4d, 0x4f, 0x1a, 0xfd, 0x12, }, 7, 0, "", "",
  839. "62 f3 4d 4f 1a fd 12 \tvinsertf32x8 $0x12,%ymm5,%zmm6,%zmm7{%k7}",},
  840. {{0x62, 0xf3, 0xcd, 0x4f, 0x1a, 0xfd, 0x12, }, 7, 0, "", "",
  841. "62 f3 cd 4f 1a fd 12 \tvinsertf64x4 $0x12,%ymm5,%zmm6,%zmm7{%k7}",},
  842. {{0x62, 0xf3, 0x7d, 0x4f, 0x1b, 0xf7, 0x12, }, 7, 0, "", "",
  843. "62 f3 7d 4f 1b f7 12 \tvextractf32x8 $0x12,%zmm6,%ymm7{%k7}",},
  844. {{0x62, 0xf3, 0xfd, 0x4f, 0x1b, 0xf7, 0x12, }, 7, 0, "", "",
  845. "62 f3 fd 4f 1b f7 12 \tvextractf64x4 $0x12,%zmm6,%ymm7{%k7}",},
  846. {{0x62, 0xf3, 0x45, 0x48, 0x1e, 0xee, 0x12, }, 7, 0, "", "",
  847. "62 f3 45 48 1e ee 12 \tvpcmpud $0x12,%zmm6,%zmm7,%k5",},
  848. {{0x62, 0xf3, 0xc5, 0x48, 0x1e, 0xee, 0x12, }, 7, 0, "", "",
  849. "62 f3 c5 48 1e ee 12 \tvpcmpuq $0x12,%zmm6,%zmm7,%k5",},
  850. {{0x62, 0xf3, 0x45, 0x48, 0x1f, 0xee, 0x12, }, 7, 0, "", "",
  851. "62 f3 45 48 1f ee 12 \tvpcmpd $0x12,%zmm6,%zmm7,%k5",},
  852. {{0x62, 0xf3, 0xc5, 0x48, 0x1f, 0xee, 0x12, }, 7, 0, "", "",
  853. "62 f3 c5 48 1f ee 12 \tvpcmpq $0x12,%zmm6,%zmm7,%k5",},
  854. {{0x62, 0xf3, 0x4d, 0x48, 0x23, 0xfd, 0x12, }, 7, 0, "", "",
  855. "62 f3 4d 48 23 fd 12 \tvshuff32x4 $0x12,%zmm5,%zmm6,%zmm7",},
  856. {{0x62, 0xf3, 0xcd, 0x48, 0x23, 0xfd, 0x12, }, 7, 0, "", "",
  857. "62 f3 cd 48 23 fd 12 \tvshuff64x2 $0x12,%zmm5,%zmm6,%zmm7",},
  858. {{0x62, 0xf3, 0x4d, 0x48, 0x25, 0xfd, 0x12, }, 7, 0, "", "",
  859. "62 f3 4d 48 25 fd 12 \tvpternlogd $0x12,%zmm5,%zmm6,%zmm7",},
  860. {{0x62, 0xf3, 0xcd, 0x48, 0x25, 0xfd, 0x12, }, 7, 0, "", "",
  861. "62 f3 cd 48 25 fd 12 \tvpternlogq $0x12,%zmm5,%zmm6,%zmm7",},
  862. {{0x62, 0xf3, 0x7d, 0x48, 0x26, 0xfe, 0x12, }, 7, 0, "", "",
  863. "62 f3 7d 48 26 fe 12 \tvgetmantps $0x12,%zmm6,%zmm7",},
  864. {{0x62, 0xf3, 0xfd, 0x48, 0x26, 0xfe, 0x12, }, 7, 0, "", "",
  865. "62 f3 fd 48 26 fe 12 \tvgetmantpd $0x12,%zmm6,%zmm7",},
  866. {{0x62, 0xf3, 0x4d, 0x0f, 0x27, 0xfd, 0x12, }, 7, 0, "", "",
  867. "62 f3 4d 0f 27 fd 12 \tvgetmantss $0x12,%xmm5,%xmm6,%xmm7{%k7}",},
  868. {{0x62, 0xf3, 0xcd, 0x0f, 0x27, 0xfd, 0x12, }, 7, 0, "", "",
  869. "62 f3 cd 0f 27 fd 12 \tvgetmantsd $0x12,%xmm5,%xmm6,%xmm7{%k7}",},
  870. {{0xc4, 0xe3, 0x5d, 0x38, 0xf4, 0x05, }, 6, 0, "", "",
  871. "c4 e3 5d 38 f4 05 \tvinserti128 $0x5,%xmm4,%ymm4,%ymm6",},
  872. {{0x62, 0xf3, 0x55, 0x4f, 0x38, 0xf4, 0x12, }, 7, 0, "", "",
  873. "62 f3 55 4f 38 f4 12 \tvinserti32x4 $0x12,%xmm4,%zmm5,%zmm6{%k7}",},
  874. {{0x62, 0xf3, 0xd5, 0x4f, 0x38, 0xf4, 0x12, }, 7, 0, "", "",
  875. "62 f3 d5 4f 38 f4 12 \tvinserti64x2 $0x12,%xmm4,%zmm5,%zmm6{%k7}",},
  876. {{0xc4, 0xe3, 0x7d, 0x39, 0xe6, 0x05, }, 6, 0, "", "",
  877. "c4 e3 7d 39 e6 05 \tvextracti128 $0x5,%ymm4,%xmm6",},
  878. {{0x62, 0xf3, 0x7d, 0x4f, 0x39, 0xee, 0x12, }, 7, 0, "", "",
  879. "62 f3 7d 4f 39 ee 12 \tvextracti32x4 $0x12,%zmm5,%xmm6{%k7}",},
  880. {{0x62, 0xf3, 0xfd, 0x4f, 0x39, 0xee, 0x12, }, 7, 0, "", "",
  881. "62 f3 fd 4f 39 ee 12 \tvextracti64x2 $0x12,%zmm5,%xmm6{%k7}",},
  882. {{0x62, 0xf3, 0x4d, 0x4f, 0x3a, 0xfd, 0x12, }, 7, 0, "", "",
  883. "62 f3 4d 4f 3a fd 12 \tvinserti32x8 $0x12,%ymm5,%zmm6,%zmm7{%k7}",},
  884. {{0x62, 0xf3, 0xcd, 0x4f, 0x3a, 0xfd, 0x12, }, 7, 0, "", "",
  885. "62 f3 cd 4f 3a fd 12 \tvinserti64x4 $0x12,%ymm5,%zmm6,%zmm7{%k7}",},
  886. {{0x62, 0xf3, 0x7d, 0x4f, 0x3b, 0xf7, 0x12, }, 7, 0, "", "",
  887. "62 f3 7d 4f 3b f7 12 \tvextracti32x8 $0x12,%zmm6,%ymm7{%k7}",},
  888. {{0x62, 0xf3, 0xfd, 0x4f, 0x3b, 0xf7, 0x12, }, 7, 0, "", "",
  889. "62 f3 fd 4f 3b f7 12 \tvextracti64x4 $0x12,%zmm6,%ymm7{%k7}",},
  890. {{0x62, 0xf3, 0x45, 0x48, 0x3e, 0xee, 0x12, }, 7, 0, "", "",
  891. "62 f3 45 48 3e ee 12 \tvpcmpub $0x12,%zmm6,%zmm7,%k5",},
  892. {{0x62, 0xf3, 0xc5, 0x48, 0x3e, 0xee, 0x12, }, 7, 0, "", "",
  893. "62 f3 c5 48 3e ee 12 \tvpcmpuw $0x12,%zmm6,%zmm7,%k5",},
  894. {{0x62, 0xf3, 0x45, 0x48, 0x3f, 0xee, 0x12, }, 7, 0, "", "",
  895. "62 f3 45 48 3f ee 12 \tvpcmpb $0x12,%zmm6,%zmm7,%k5",},
  896. {{0x62, 0xf3, 0xc5, 0x48, 0x3f, 0xee, 0x12, }, 7, 0, "", "",
  897. "62 f3 c5 48 3f ee 12 \tvpcmpw $0x12,%zmm6,%zmm7,%k5",},
  898. {{0xc4, 0xe3, 0x4d, 0x42, 0xd4, 0x05, }, 6, 0, "", "",
  899. "c4 e3 4d 42 d4 05 \tvmpsadbw $0x5,%ymm4,%ymm6,%ymm2",},
  900. {{0x62, 0xf3, 0x55, 0x48, 0x42, 0xf4, 0x12, }, 7, 0, "", "",
  901. "62 f3 55 48 42 f4 12 \tvdbpsadbw $0x12,%zmm4,%zmm5,%zmm6",},
  902. {{0x62, 0xf3, 0x4d, 0x48, 0x43, 0xfd, 0x12, }, 7, 0, "", "",
  903. "62 f3 4d 48 43 fd 12 \tvshufi32x4 $0x12,%zmm5,%zmm6,%zmm7",},
  904. {{0x62, 0xf3, 0xcd, 0x48, 0x43, 0xfd, 0x12, }, 7, 0, "", "",
  905. "62 f3 cd 48 43 fd 12 \tvshufi64x2 $0x12,%zmm5,%zmm6,%zmm7",},
  906. {{0x62, 0xf3, 0x4d, 0x48, 0x50, 0xfd, 0x12, }, 7, 0, "", "",
  907. "62 f3 4d 48 50 fd 12 \tvrangeps $0x12,%zmm5,%zmm6,%zmm7",},
  908. {{0x62, 0xf3, 0xcd, 0x48, 0x50, 0xfd, 0x12, }, 7, 0, "", "",
  909. "62 f3 cd 48 50 fd 12 \tvrangepd $0x12,%zmm5,%zmm6,%zmm7",},
  910. {{0x62, 0xf3, 0x4d, 0x08, 0x51, 0xfd, 0x12, }, 7, 0, "", "",
  911. "62 f3 4d 08 51 fd 12 \tvrangess $0x12,%xmm5,%xmm6,%xmm7",},
  912. {{0x62, 0xf3, 0xcd, 0x08, 0x51, 0xfd, 0x12, }, 7, 0, "", "",
  913. "62 f3 cd 08 51 fd 12 \tvrangesd $0x12,%xmm5,%xmm6,%xmm7",},
  914. {{0x62, 0xf3, 0x4d, 0x48, 0x54, 0xfd, 0x12, }, 7, 0, "", "",
  915. "62 f3 4d 48 54 fd 12 \tvfixupimmps $0x12,%zmm5,%zmm6,%zmm7",},
  916. {{0x62, 0xf3, 0xcd, 0x48, 0x54, 0xfd, 0x12, }, 7, 0, "", "",
  917. "62 f3 cd 48 54 fd 12 \tvfixupimmpd $0x12,%zmm5,%zmm6,%zmm7",},
  918. {{0x62, 0xf3, 0x4d, 0x0f, 0x55, 0xfd, 0x12, }, 7, 0, "", "",
  919. "62 f3 4d 0f 55 fd 12 \tvfixupimmss $0x12,%xmm5,%xmm6,%xmm7{%k7}",},
  920. {{0x62, 0xf3, 0xcd, 0x0f, 0x55, 0xfd, 0x12, }, 7, 0, "", "",
  921. "62 f3 cd 0f 55 fd 12 \tvfixupimmsd $0x12,%xmm5,%xmm6,%xmm7{%k7}",},
  922. {{0x62, 0xf3, 0x7d, 0x48, 0x56, 0xfe, 0x12, }, 7, 0, "", "",
  923. "62 f3 7d 48 56 fe 12 \tvreduceps $0x12,%zmm6,%zmm7",},
  924. {{0x62, 0xf3, 0xfd, 0x48, 0x56, 0xfe, 0x12, }, 7, 0, "", "",
  925. "62 f3 fd 48 56 fe 12 \tvreducepd $0x12,%zmm6,%zmm7",},
  926. {{0x62, 0xf3, 0x4d, 0x08, 0x57, 0xfd, 0x12, }, 7, 0, "", "",
  927. "62 f3 4d 08 57 fd 12 \tvreducess $0x12,%xmm5,%xmm6,%xmm7",},
  928. {{0x62, 0xf3, 0xcd, 0x08, 0x57, 0xfd, 0x12, }, 7, 0, "", "",
  929. "62 f3 cd 08 57 fd 12 \tvreducesd $0x12,%xmm5,%xmm6,%xmm7",},
  930. {{0x62, 0xf3, 0x7d, 0x48, 0x66, 0xef, 0x12, }, 7, 0, "", "",
  931. "62 f3 7d 48 66 ef 12 \tvfpclassps $0x12,%zmm7,%k5",},
  932. {{0x62, 0xf3, 0xfd, 0x48, 0x66, 0xef, 0x12, }, 7, 0, "", "",
  933. "62 f3 fd 48 66 ef 12 \tvfpclasspd $0x12,%zmm7,%k5",},
  934. {{0x62, 0xf3, 0x7d, 0x08, 0x67, 0xef, 0x12, }, 7, 0, "", "",
  935. "62 f3 7d 08 67 ef 12 \tvfpclassss $0x12,%xmm7,%k5",},
  936. {{0x62, 0xf3, 0xfd, 0x08, 0x67, 0xef, 0x12, }, 7, 0, "", "",
  937. "62 f3 fd 08 67 ef 12 \tvfpclasssd $0x12,%xmm7,%k5",},
  938. {{0x62, 0xf1, 0x4d, 0x48, 0x72, 0xc5, 0x12, }, 7, 0, "", "",
  939. "62 f1 4d 48 72 c5 12 \tvprord $0x12,%zmm5,%zmm6",},
  940. {{0x62, 0xf1, 0xcd, 0x48, 0x72, 0xc5, 0x12, }, 7, 0, "", "",
  941. "62 f1 cd 48 72 c5 12 \tvprorq $0x12,%zmm5,%zmm6",},
  942. {{0x62, 0xf1, 0x4d, 0x48, 0x72, 0xcd, 0x12, }, 7, 0, "", "",
  943. "62 f1 4d 48 72 cd 12 \tvprold $0x12,%zmm5,%zmm6",},
  944. {{0x62, 0xf1, 0xcd, 0x48, 0x72, 0xcd, 0x12, }, 7, 0, "", "",
  945. "62 f1 cd 48 72 cd 12 \tvprolq $0x12,%zmm5,%zmm6",},
  946. {{0x0f, 0x72, 0xe6, 0x02, }, 4, 0, "", "",
  947. "0f 72 e6 02 \tpsrad $0x2,%mm6",},
  948. {{0xc5, 0xed, 0x72, 0xe6, 0x05, }, 5, 0, "", "",
  949. "c5 ed 72 e6 05 \tvpsrad $0x5,%ymm6,%ymm2",},
  950. {{0x62, 0xf1, 0x6d, 0x48, 0x72, 0xe6, 0x05, }, 7, 0, "", "",
  951. "62 f1 6d 48 72 e6 05 \tvpsrad $0x5,%zmm6,%zmm2",},
  952. {{0x62, 0xf1, 0xed, 0x48, 0x72, 0xe6, 0x05, }, 7, 0, "", "",
  953. "62 f1 ed 48 72 e6 05 \tvpsraq $0x5,%zmm6,%zmm2",},
  954. {{0x62, 0xf2, 0x7d, 0x49, 0xc6, 0x8c, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  955. "62 f2 7d 49 c6 8c fd 7b 00 00 00 \tvgatherpf0dps 0x7b(%ebp,%zmm7,8){%k1}",},
  956. {{0x62, 0xf2, 0xfd, 0x49, 0xc6, 0x8c, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  957. "62 f2 fd 49 c6 8c fd 7b 00 00 00 \tvgatherpf0dpd 0x7b(%ebp,%ymm7,8){%k1}",},
  958. {{0x62, 0xf2, 0x7d, 0x49, 0xc6, 0x94, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  959. "62 f2 7d 49 c6 94 fd 7b 00 00 00 \tvgatherpf1dps 0x7b(%ebp,%zmm7,8){%k1}",},
  960. {{0x62, 0xf2, 0xfd, 0x49, 0xc6, 0x94, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  961. "62 f2 fd 49 c6 94 fd 7b 00 00 00 \tvgatherpf1dpd 0x7b(%ebp,%ymm7,8){%k1}",},
  962. {{0x62, 0xf2, 0x7d, 0x49, 0xc6, 0xac, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  963. "62 f2 7d 49 c6 ac fd 7b 00 00 00 \tvscatterpf0dps 0x7b(%ebp,%zmm7,8){%k1}",},
  964. {{0x62, 0xf2, 0xfd, 0x49, 0xc6, 0xac, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  965. "62 f2 fd 49 c6 ac fd 7b 00 00 00 \tvscatterpf0dpd 0x7b(%ebp,%ymm7,8){%k1}",},
  966. {{0x62, 0xf2, 0x7d, 0x49, 0xc6, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  967. "62 f2 7d 49 c6 b4 fd 7b 00 00 00 \tvscatterpf1dps 0x7b(%ebp,%zmm7,8){%k1}",},
  968. {{0x62, 0xf2, 0xfd, 0x49, 0xc6, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  969. "62 f2 fd 49 c6 b4 fd 7b 00 00 00 \tvscatterpf1dpd 0x7b(%ebp,%ymm7,8){%k1}",},
  970. {{0x62, 0xf2, 0x7d, 0x49, 0xc7, 0x8c, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  971. "62 f2 7d 49 c7 8c fd 7b 00 00 00 \tvgatherpf0qps 0x7b(%ebp,%zmm7,8){%k1}",},
  972. {{0x62, 0xf2, 0xfd, 0x49, 0xc7, 0x8c, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  973. "62 f2 fd 49 c7 8c fd 7b 00 00 00 \tvgatherpf0qpd 0x7b(%ebp,%zmm7,8){%k1}",},
  974. {{0x62, 0xf2, 0x7d, 0x49, 0xc7, 0x94, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  975. "62 f2 7d 49 c7 94 fd 7b 00 00 00 \tvgatherpf1qps 0x7b(%ebp,%zmm7,8){%k1}",},
  976. {{0x62, 0xf2, 0xfd, 0x49, 0xc7, 0x94, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  977. "62 f2 fd 49 c7 94 fd 7b 00 00 00 \tvgatherpf1qpd 0x7b(%ebp,%zmm7,8){%k1}",},
  978. {{0x62, 0xf2, 0x7d, 0x49, 0xc7, 0xac, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  979. "62 f2 7d 49 c7 ac fd 7b 00 00 00 \tvscatterpf0qps 0x7b(%ebp,%zmm7,8){%k1}",},
  980. {{0x62, 0xf2, 0xfd, 0x49, 0xc7, 0xac, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  981. "62 f2 fd 49 c7 ac fd 7b 00 00 00 \tvscatterpf0qpd 0x7b(%ebp,%zmm7,8){%k1}",},
  982. {{0x62, 0xf2, 0x7d, 0x49, 0xc7, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  983. "62 f2 7d 49 c7 b4 fd 7b 00 00 00 \tvscatterpf1qps 0x7b(%ebp,%zmm7,8){%k1}",},
  984. {{0x62, 0xf2, 0xfd, 0x49, 0xc7, 0xb4, 0xfd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
  985. "62 f2 fd 49 c7 b4 fd 7b 00 00 00 \tvscatterpf1qpd 0x7b(%ebp,%zmm7,8){%k1}",},
  986. {{0x62, 0xf1, 0xd5, 0x48, 0x58, 0xf4, }, 6, 0, "", "",
  987. "62 f1 d5 48 58 f4 \tvaddpd %zmm4,%zmm5,%zmm6",},
  988. {{0x62, 0xf1, 0xd5, 0x4f, 0x58, 0xf4, }, 6, 0, "", "",
  989. "62 f1 d5 4f 58 f4 \tvaddpd %zmm4,%zmm5,%zmm6{%k7}",},
  990. {{0x62, 0xf1, 0xd5, 0xcf, 0x58, 0xf4, }, 6, 0, "", "",
  991. "62 f1 d5 cf 58 f4 \tvaddpd %zmm4,%zmm5,%zmm6{%k7}{z}",},
  992. {{0x62, 0xf1, 0xd5, 0x18, 0x58, 0xf4, }, 6, 0, "", "",
  993. "62 f1 d5 18 58 f4 \tvaddpd {rn-sae},%zmm4,%zmm5,%zmm6",},
  994. {{0x62, 0xf1, 0xd5, 0x58, 0x58, 0xf4, }, 6, 0, "", "",
  995. "62 f1 d5 58 58 f4 \tvaddpd {ru-sae},%zmm4,%zmm5,%zmm6",},
  996. {{0x62, 0xf1, 0xd5, 0x38, 0x58, 0xf4, }, 6, 0, "", "",
  997. "62 f1 d5 38 58 f4 \tvaddpd {rd-sae},%zmm4,%zmm5,%zmm6",},
  998. {{0x62, 0xf1, 0xd5, 0x78, 0x58, 0xf4, }, 6, 0, "", "",
  999. "62 f1 d5 78 58 f4 \tvaddpd {rz-sae},%zmm4,%zmm5,%zmm6",},
  1000. {{0x62, 0xf1, 0xd5, 0x48, 0x58, 0x31, }, 6, 0, "", "",
  1001. "62 f1 d5 48 58 31 \tvaddpd (%ecx),%zmm5,%zmm6",},
  1002. {{0x62, 0xf1, 0xd5, 0x48, 0x58, 0xb4, 0xc8, 0x23, 0x01, 0x00, 0x00, }, 11, 0, "", "",
  1003. "62 f1 d5 48 58 b4 c8 23 01 00 00 \tvaddpd 0x123(%eax,%ecx,8),%zmm5,%zmm6",},
  1004. {{0x62, 0xf1, 0xd5, 0x58, 0x58, 0x31, }, 6, 0, "", "",
  1005. "62 f1 d5 58 58 31 \tvaddpd (%ecx){1to8},%zmm5,%zmm6",},
  1006. {{0x62, 0xf1, 0xd5, 0x48, 0x58, 0x72, 0x7f, }, 7, 0, "", "",
  1007. "62 f1 d5 48 58 72 7f \tvaddpd 0x1fc0(%edx),%zmm5,%zmm6",},
  1008. {{0x62, 0xf1, 0xd5, 0x58, 0x58, 0x72, 0x7f, }, 7, 0, "", "",
  1009. "62 f1 d5 58 58 72 7f \tvaddpd 0x3f8(%edx){1to8},%zmm5,%zmm6",},
  1010. {{0x62, 0xf1, 0x4c, 0x58, 0xc2, 0x6a, 0x7f, 0x08, }, 8, 0, "", "",
  1011. "62 f1 4c 58 c2 6a 7f 08 \tvcmpeq_uqps 0x1fc(%edx){1to16},%zmm6,%k5",},
  1012. {{0x62, 0xf1, 0xe7, 0x0f, 0xc2, 0xac, 0xc8, 0x23, 0x01, 0x00, 0x00, 0x01, }, 12, 0, "", "",
  1013. "62 f1 e7 0f c2 ac c8 23 01 00 00 01 \tvcmpltsd 0x123(%eax,%ecx,8),%xmm3,%k5{%k7}",},
  1014. {{0x62, 0xf1, 0xd7, 0x1f, 0xc2, 0xec, 0x02, }, 7, 0, "", "",
  1015. "62 f1 d7 1f c2 ec 02 \tvcmplesd {sae},%xmm4,%xmm5,%k5{%k7}",},
  1016. {{0x62, 0xf3, 0x5d, 0x0f, 0x27, 0xac, 0xc8, 0x23, 0x01, 0x00, 0x00, 0x5b, }, 12, 0, "", "",
  1017. "62 f3 5d 0f 27 ac c8 23 01 00 00 5b \tvgetmantss $0x5b,0x123(%eax,%ecx,8),%xmm4,%xmm5{%k7}",},
  1018. {{0xf3, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
  1019. "f3 0f 1b 00 \tbndmk (%eax),%bnd0",},
  1020. {{0xf3, 0x0f, 0x1b, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1021. "f3 0f 1b 05 78 56 34 12 \tbndmk 0x12345678,%bnd0",},
  1022. {{0xf3, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
  1023. "f3 0f 1b 18 \tbndmk (%eax),%bnd3",},
  1024. {{0xf3, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
  1025. "f3 0f 1b 04 01 \tbndmk (%ecx,%eax,1),%bnd0",},
  1026. {{0xf3, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1027. "f3 0f 1b 04 05 78 56 34 12 \tbndmk 0x12345678(,%eax,1),%bnd0",},
  1028. {{0xf3, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
  1029. "f3 0f 1b 04 08 \tbndmk (%eax,%ecx,1),%bnd0",},
  1030. {{0xf3, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
  1031. "f3 0f 1b 04 c8 \tbndmk (%eax,%ecx,8),%bnd0",},
  1032. {{0xf3, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
  1033. "f3 0f 1b 40 12 \tbndmk 0x12(%eax),%bnd0",},
  1034. {{0xf3, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
  1035. "f3 0f 1b 45 12 \tbndmk 0x12(%ebp),%bnd0",},
  1036. {{0xf3, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
  1037. "f3 0f 1b 44 01 12 \tbndmk 0x12(%ecx,%eax,1),%bnd0",},
  1038. {{0xf3, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
  1039. "f3 0f 1b 44 05 12 \tbndmk 0x12(%ebp,%eax,1),%bnd0",},
  1040. {{0xf3, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
  1041. "f3 0f 1b 44 08 12 \tbndmk 0x12(%eax,%ecx,1),%bnd0",},
  1042. {{0xf3, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
  1043. "f3 0f 1b 44 c8 12 \tbndmk 0x12(%eax,%ecx,8),%bnd0",},
  1044. {{0xf3, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1045. "f3 0f 1b 80 78 56 34 12 \tbndmk 0x12345678(%eax),%bnd0",},
  1046. {{0xf3, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1047. "f3 0f 1b 85 78 56 34 12 \tbndmk 0x12345678(%ebp),%bnd0",},
  1048. {{0xf3, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1049. "f3 0f 1b 84 01 78 56 34 12 \tbndmk 0x12345678(%ecx,%eax,1),%bnd0",},
  1050. {{0xf3, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1051. "f3 0f 1b 84 05 78 56 34 12 \tbndmk 0x12345678(%ebp,%eax,1),%bnd0",},
  1052. {{0xf3, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1053. "f3 0f 1b 84 08 78 56 34 12 \tbndmk 0x12345678(%eax,%ecx,1),%bnd0",},
  1054. {{0xf3, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1055. "f3 0f 1b 84 c8 78 56 34 12 \tbndmk 0x12345678(%eax,%ecx,8),%bnd0",},
  1056. {{0xf3, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
  1057. "f3 0f 1a 00 \tbndcl (%eax),%bnd0",},
  1058. {{0xf3, 0x0f, 0x1a, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1059. "f3 0f 1a 05 78 56 34 12 \tbndcl 0x12345678,%bnd0",},
  1060. {{0xf3, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
  1061. "f3 0f 1a 18 \tbndcl (%eax),%bnd3",},
  1062. {{0xf3, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
  1063. "f3 0f 1a 04 01 \tbndcl (%ecx,%eax,1),%bnd0",},
  1064. {{0xf3, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1065. "f3 0f 1a 04 05 78 56 34 12 \tbndcl 0x12345678(,%eax,1),%bnd0",},
  1066. {{0xf3, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
  1067. "f3 0f 1a 04 08 \tbndcl (%eax,%ecx,1),%bnd0",},
  1068. {{0xf3, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
  1069. "f3 0f 1a 04 c8 \tbndcl (%eax,%ecx,8),%bnd0",},
  1070. {{0xf3, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
  1071. "f3 0f 1a 40 12 \tbndcl 0x12(%eax),%bnd0",},
  1072. {{0xf3, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
  1073. "f3 0f 1a 45 12 \tbndcl 0x12(%ebp),%bnd0",},
  1074. {{0xf3, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
  1075. "f3 0f 1a 44 01 12 \tbndcl 0x12(%ecx,%eax,1),%bnd0",},
  1076. {{0xf3, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
  1077. "f3 0f 1a 44 05 12 \tbndcl 0x12(%ebp,%eax,1),%bnd0",},
  1078. {{0xf3, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
  1079. "f3 0f 1a 44 08 12 \tbndcl 0x12(%eax,%ecx,1),%bnd0",},
  1080. {{0xf3, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
  1081. "f3 0f 1a 44 c8 12 \tbndcl 0x12(%eax,%ecx,8),%bnd0",},
  1082. {{0xf3, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1083. "f3 0f 1a 80 78 56 34 12 \tbndcl 0x12345678(%eax),%bnd0",},
  1084. {{0xf3, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1085. "f3 0f 1a 85 78 56 34 12 \tbndcl 0x12345678(%ebp),%bnd0",},
  1086. {{0xf3, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1087. "f3 0f 1a 84 01 78 56 34 12 \tbndcl 0x12345678(%ecx,%eax,1),%bnd0",},
  1088. {{0xf3, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1089. "f3 0f 1a 84 05 78 56 34 12 \tbndcl 0x12345678(%ebp,%eax,1),%bnd0",},
  1090. {{0xf3, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1091. "f3 0f 1a 84 08 78 56 34 12 \tbndcl 0x12345678(%eax,%ecx,1),%bnd0",},
  1092. {{0xf3, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1093. "f3 0f 1a 84 c8 78 56 34 12 \tbndcl 0x12345678(%eax,%ecx,8),%bnd0",},
  1094. {{0xf3, 0x0f, 0x1a, 0xc0, }, 4, 0, "", "",
  1095. "f3 0f 1a c0 \tbndcl %eax,%bnd0",},
  1096. {{0xf2, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
  1097. "f2 0f 1a 00 \tbndcu (%eax),%bnd0",},
  1098. {{0xf2, 0x0f, 0x1a, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1099. "f2 0f 1a 05 78 56 34 12 \tbndcu 0x12345678,%bnd0",},
  1100. {{0xf2, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
  1101. "f2 0f 1a 18 \tbndcu (%eax),%bnd3",},
  1102. {{0xf2, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
  1103. "f2 0f 1a 04 01 \tbndcu (%ecx,%eax,1),%bnd0",},
  1104. {{0xf2, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1105. "f2 0f 1a 04 05 78 56 34 12 \tbndcu 0x12345678(,%eax,1),%bnd0",},
  1106. {{0xf2, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
  1107. "f2 0f 1a 04 08 \tbndcu (%eax,%ecx,1),%bnd0",},
  1108. {{0xf2, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
  1109. "f2 0f 1a 04 c8 \tbndcu (%eax,%ecx,8),%bnd0",},
  1110. {{0xf2, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
  1111. "f2 0f 1a 40 12 \tbndcu 0x12(%eax),%bnd0",},
  1112. {{0xf2, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
  1113. "f2 0f 1a 45 12 \tbndcu 0x12(%ebp),%bnd0",},
  1114. {{0xf2, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
  1115. "f2 0f 1a 44 01 12 \tbndcu 0x12(%ecx,%eax,1),%bnd0",},
  1116. {{0xf2, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
  1117. "f2 0f 1a 44 05 12 \tbndcu 0x12(%ebp,%eax,1),%bnd0",},
  1118. {{0xf2, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
  1119. "f2 0f 1a 44 08 12 \tbndcu 0x12(%eax,%ecx,1),%bnd0",},
  1120. {{0xf2, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
  1121. "f2 0f 1a 44 c8 12 \tbndcu 0x12(%eax,%ecx,8),%bnd0",},
  1122. {{0xf2, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1123. "f2 0f 1a 80 78 56 34 12 \tbndcu 0x12345678(%eax),%bnd0",},
  1124. {{0xf2, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1125. "f2 0f 1a 85 78 56 34 12 \tbndcu 0x12345678(%ebp),%bnd0",},
  1126. {{0xf2, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1127. "f2 0f 1a 84 01 78 56 34 12 \tbndcu 0x12345678(%ecx,%eax,1),%bnd0",},
  1128. {{0xf2, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1129. "f2 0f 1a 84 05 78 56 34 12 \tbndcu 0x12345678(%ebp,%eax,1),%bnd0",},
  1130. {{0xf2, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1131. "f2 0f 1a 84 08 78 56 34 12 \tbndcu 0x12345678(%eax,%ecx,1),%bnd0",},
  1132. {{0xf2, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1133. "f2 0f 1a 84 c8 78 56 34 12 \tbndcu 0x12345678(%eax,%ecx,8),%bnd0",},
  1134. {{0xf2, 0x0f, 0x1a, 0xc0, }, 4, 0, "", "",
  1135. "f2 0f 1a c0 \tbndcu %eax,%bnd0",},
  1136. {{0xf2, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
  1137. "f2 0f 1b 00 \tbndcn (%eax),%bnd0",},
  1138. {{0xf2, 0x0f, 0x1b, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1139. "f2 0f 1b 05 78 56 34 12 \tbndcn 0x12345678,%bnd0",},
  1140. {{0xf2, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
  1141. "f2 0f 1b 18 \tbndcn (%eax),%bnd3",},
  1142. {{0xf2, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
  1143. "f2 0f 1b 04 01 \tbndcn (%ecx,%eax,1),%bnd0",},
  1144. {{0xf2, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1145. "f2 0f 1b 04 05 78 56 34 12 \tbndcn 0x12345678(,%eax,1),%bnd0",},
  1146. {{0xf2, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
  1147. "f2 0f 1b 04 08 \tbndcn (%eax,%ecx,1),%bnd0",},
  1148. {{0xf2, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
  1149. "f2 0f 1b 04 c8 \tbndcn (%eax,%ecx,8),%bnd0",},
  1150. {{0xf2, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
  1151. "f2 0f 1b 40 12 \tbndcn 0x12(%eax),%bnd0",},
  1152. {{0xf2, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
  1153. "f2 0f 1b 45 12 \tbndcn 0x12(%ebp),%bnd0",},
  1154. {{0xf2, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
  1155. "f2 0f 1b 44 01 12 \tbndcn 0x12(%ecx,%eax,1),%bnd0",},
  1156. {{0xf2, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
  1157. "f2 0f 1b 44 05 12 \tbndcn 0x12(%ebp,%eax,1),%bnd0",},
  1158. {{0xf2, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
  1159. "f2 0f 1b 44 08 12 \tbndcn 0x12(%eax,%ecx,1),%bnd0",},
  1160. {{0xf2, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
  1161. "f2 0f 1b 44 c8 12 \tbndcn 0x12(%eax,%ecx,8),%bnd0",},
  1162. {{0xf2, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1163. "f2 0f 1b 80 78 56 34 12 \tbndcn 0x12345678(%eax),%bnd0",},
  1164. {{0xf2, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1165. "f2 0f 1b 85 78 56 34 12 \tbndcn 0x12345678(%ebp),%bnd0",},
  1166. {{0xf2, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1167. "f2 0f 1b 84 01 78 56 34 12 \tbndcn 0x12345678(%ecx,%eax,1),%bnd0",},
  1168. {{0xf2, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1169. "f2 0f 1b 84 05 78 56 34 12 \tbndcn 0x12345678(%ebp,%eax,1),%bnd0",},
  1170. {{0xf2, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1171. "f2 0f 1b 84 08 78 56 34 12 \tbndcn 0x12345678(%eax,%ecx,1),%bnd0",},
  1172. {{0xf2, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1173. "f2 0f 1b 84 c8 78 56 34 12 \tbndcn 0x12345678(%eax,%ecx,8),%bnd0",},
  1174. {{0xf2, 0x0f, 0x1b, 0xc0, }, 4, 0, "", "",
  1175. "f2 0f 1b c0 \tbndcn %eax,%bnd0",},
  1176. {{0x66, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
  1177. "66 0f 1a 00 \tbndmov (%eax),%bnd0",},
  1178. {{0x66, 0x0f, 0x1a, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1179. "66 0f 1a 05 78 56 34 12 \tbndmov 0x12345678,%bnd0",},
  1180. {{0x66, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
  1181. "66 0f 1a 18 \tbndmov (%eax),%bnd3",},
  1182. {{0x66, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
  1183. "66 0f 1a 04 01 \tbndmov (%ecx,%eax,1),%bnd0",},
  1184. {{0x66, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1185. "66 0f 1a 04 05 78 56 34 12 \tbndmov 0x12345678(,%eax,1),%bnd0",},
  1186. {{0x66, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
  1187. "66 0f 1a 04 08 \tbndmov (%eax,%ecx,1),%bnd0",},
  1188. {{0x66, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
  1189. "66 0f 1a 04 c8 \tbndmov (%eax,%ecx,8),%bnd0",},
  1190. {{0x66, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
  1191. "66 0f 1a 40 12 \tbndmov 0x12(%eax),%bnd0",},
  1192. {{0x66, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
  1193. "66 0f 1a 45 12 \tbndmov 0x12(%ebp),%bnd0",},
  1194. {{0x66, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
  1195. "66 0f 1a 44 01 12 \tbndmov 0x12(%ecx,%eax,1),%bnd0",},
  1196. {{0x66, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
  1197. "66 0f 1a 44 05 12 \tbndmov 0x12(%ebp,%eax,1),%bnd0",},
  1198. {{0x66, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
  1199. "66 0f 1a 44 08 12 \tbndmov 0x12(%eax,%ecx,1),%bnd0",},
  1200. {{0x66, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
  1201. "66 0f 1a 44 c8 12 \tbndmov 0x12(%eax,%ecx,8),%bnd0",},
  1202. {{0x66, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1203. "66 0f 1a 80 78 56 34 12 \tbndmov 0x12345678(%eax),%bnd0",},
  1204. {{0x66, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1205. "66 0f 1a 85 78 56 34 12 \tbndmov 0x12345678(%ebp),%bnd0",},
  1206. {{0x66, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1207. "66 0f 1a 84 01 78 56 34 12 \tbndmov 0x12345678(%ecx,%eax,1),%bnd0",},
  1208. {{0x66, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1209. "66 0f 1a 84 05 78 56 34 12 \tbndmov 0x12345678(%ebp,%eax,1),%bnd0",},
  1210. {{0x66, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1211. "66 0f 1a 84 08 78 56 34 12 \tbndmov 0x12345678(%eax,%ecx,1),%bnd0",},
  1212. {{0x66, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1213. "66 0f 1a 84 c8 78 56 34 12 \tbndmov 0x12345678(%eax,%ecx,8),%bnd0",},
  1214. {{0x66, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
  1215. "66 0f 1b 00 \tbndmov %bnd0,(%eax)",},
  1216. {{0x66, 0x0f, 0x1b, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1217. "66 0f 1b 05 78 56 34 12 \tbndmov %bnd0,0x12345678",},
  1218. {{0x66, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
  1219. "66 0f 1b 18 \tbndmov %bnd3,(%eax)",},
  1220. {{0x66, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
  1221. "66 0f 1b 04 01 \tbndmov %bnd0,(%ecx,%eax,1)",},
  1222. {{0x66, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1223. "66 0f 1b 04 05 78 56 34 12 \tbndmov %bnd0,0x12345678(,%eax,1)",},
  1224. {{0x66, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
  1225. "66 0f 1b 04 08 \tbndmov %bnd0,(%eax,%ecx,1)",},
  1226. {{0x66, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
  1227. "66 0f 1b 04 c8 \tbndmov %bnd0,(%eax,%ecx,8)",},
  1228. {{0x66, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
  1229. "66 0f 1b 40 12 \tbndmov %bnd0,0x12(%eax)",},
  1230. {{0x66, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
  1231. "66 0f 1b 45 12 \tbndmov %bnd0,0x12(%ebp)",},
  1232. {{0x66, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
  1233. "66 0f 1b 44 01 12 \tbndmov %bnd0,0x12(%ecx,%eax,1)",},
  1234. {{0x66, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
  1235. "66 0f 1b 44 05 12 \tbndmov %bnd0,0x12(%ebp,%eax,1)",},
  1236. {{0x66, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
  1237. "66 0f 1b 44 08 12 \tbndmov %bnd0,0x12(%eax,%ecx,1)",},
  1238. {{0x66, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
  1239. "66 0f 1b 44 c8 12 \tbndmov %bnd0,0x12(%eax,%ecx,8)",},
  1240. {{0x66, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1241. "66 0f 1b 80 78 56 34 12 \tbndmov %bnd0,0x12345678(%eax)",},
  1242. {{0x66, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1243. "66 0f 1b 85 78 56 34 12 \tbndmov %bnd0,0x12345678(%ebp)",},
  1244. {{0x66, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1245. "66 0f 1b 84 01 78 56 34 12 \tbndmov %bnd0,0x12345678(%ecx,%eax,1)",},
  1246. {{0x66, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1247. "66 0f 1b 84 05 78 56 34 12 \tbndmov %bnd0,0x12345678(%ebp,%eax,1)",},
  1248. {{0x66, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1249. "66 0f 1b 84 08 78 56 34 12 \tbndmov %bnd0,0x12345678(%eax,%ecx,1)",},
  1250. {{0x66, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1251. "66 0f 1b 84 c8 78 56 34 12 \tbndmov %bnd0,0x12345678(%eax,%ecx,8)",},
  1252. {{0x66, 0x0f, 0x1a, 0xc8, }, 4, 0, "", "",
  1253. "66 0f 1a c8 \tbndmov %bnd0,%bnd1",},
  1254. {{0x66, 0x0f, 0x1a, 0xc1, }, 4, 0, "", "",
  1255. "66 0f 1a c1 \tbndmov %bnd1,%bnd0",},
  1256. {{0x0f, 0x1a, 0x00, }, 3, 0, "", "",
  1257. "0f 1a 00 \tbndldx (%eax),%bnd0",},
  1258. {{0x0f, 0x1a, 0x05, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  1259. "0f 1a 05 78 56 34 12 \tbndldx 0x12345678,%bnd0",},
  1260. {{0x0f, 0x1a, 0x18, }, 3, 0, "", "",
  1261. "0f 1a 18 \tbndldx (%eax),%bnd3",},
  1262. {{0x0f, 0x1a, 0x04, 0x01, }, 4, 0, "", "",
  1263. "0f 1a 04 01 \tbndldx (%ecx,%eax,1),%bnd0",},
  1264. {{0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1265. "0f 1a 04 05 78 56 34 12 \tbndldx 0x12345678(,%eax,1),%bnd0",},
  1266. {{0x0f, 0x1a, 0x04, 0x08, }, 4, 0, "", "",
  1267. "0f 1a 04 08 \tbndldx (%eax,%ecx,1),%bnd0",},
  1268. {{0x0f, 0x1a, 0x40, 0x12, }, 4, 0, "", "",
  1269. "0f 1a 40 12 \tbndldx 0x12(%eax),%bnd0",},
  1270. {{0x0f, 0x1a, 0x45, 0x12, }, 4, 0, "", "",
  1271. "0f 1a 45 12 \tbndldx 0x12(%ebp),%bnd0",},
  1272. {{0x0f, 0x1a, 0x44, 0x01, 0x12, }, 5, 0, "", "",
  1273. "0f 1a 44 01 12 \tbndldx 0x12(%ecx,%eax,1),%bnd0",},
  1274. {{0x0f, 0x1a, 0x44, 0x05, 0x12, }, 5, 0, "", "",
  1275. "0f 1a 44 05 12 \tbndldx 0x12(%ebp,%eax,1),%bnd0",},
  1276. {{0x0f, 0x1a, 0x44, 0x08, 0x12, }, 5, 0, "", "",
  1277. "0f 1a 44 08 12 \tbndldx 0x12(%eax,%ecx,1),%bnd0",},
  1278. {{0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  1279. "0f 1a 80 78 56 34 12 \tbndldx 0x12345678(%eax),%bnd0",},
  1280. {{0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  1281. "0f 1a 85 78 56 34 12 \tbndldx 0x12345678(%ebp),%bnd0",},
  1282. {{0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1283. "0f 1a 84 01 78 56 34 12 \tbndldx 0x12345678(%ecx,%eax,1),%bnd0",},
  1284. {{0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1285. "0f 1a 84 05 78 56 34 12 \tbndldx 0x12345678(%ebp,%eax,1),%bnd0",},
  1286. {{0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1287. "0f 1a 84 08 78 56 34 12 \tbndldx 0x12345678(%eax,%ecx,1),%bnd0",},
  1288. {{0x0f, 0x1b, 0x00, }, 3, 0, "", "",
  1289. "0f 1b 00 \tbndstx %bnd0,(%eax)",},
  1290. {{0x0f, 0x1b, 0x05, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  1291. "0f 1b 05 78 56 34 12 \tbndstx %bnd0,0x12345678",},
  1292. {{0x0f, 0x1b, 0x18, }, 3, 0, "", "",
  1293. "0f 1b 18 \tbndstx %bnd3,(%eax)",},
  1294. {{0x0f, 0x1b, 0x04, 0x01, }, 4, 0, "", "",
  1295. "0f 1b 04 01 \tbndstx %bnd0,(%ecx,%eax,1)",},
  1296. {{0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1297. "0f 1b 04 05 78 56 34 12 \tbndstx %bnd0,0x12345678(,%eax,1)",},
  1298. {{0x0f, 0x1b, 0x04, 0x08, }, 4, 0, "", "",
  1299. "0f 1b 04 08 \tbndstx %bnd0,(%eax,%ecx,1)",},
  1300. {{0x0f, 0x1b, 0x40, 0x12, }, 4, 0, "", "",
  1301. "0f 1b 40 12 \tbndstx %bnd0,0x12(%eax)",},
  1302. {{0x0f, 0x1b, 0x45, 0x12, }, 4, 0, "", "",
  1303. "0f 1b 45 12 \tbndstx %bnd0,0x12(%ebp)",},
  1304. {{0x0f, 0x1b, 0x44, 0x01, 0x12, }, 5, 0, "", "",
  1305. "0f 1b 44 01 12 \tbndstx %bnd0,0x12(%ecx,%eax,1)",},
  1306. {{0x0f, 0x1b, 0x44, 0x05, 0x12, }, 5, 0, "", "",
  1307. "0f 1b 44 05 12 \tbndstx %bnd0,0x12(%ebp,%eax,1)",},
  1308. {{0x0f, 0x1b, 0x44, 0x08, 0x12, }, 5, 0, "", "",
  1309. "0f 1b 44 08 12 \tbndstx %bnd0,0x12(%eax,%ecx,1)",},
  1310. {{0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  1311. "0f 1b 80 78 56 34 12 \tbndstx %bnd0,0x12345678(%eax)",},
  1312. {{0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  1313. "0f 1b 85 78 56 34 12 \tbndstx %bnd0,0x12345678(%ebp)",},
  1314. {{0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1315. "0f 1b 84 01 78 56 34 12 \tbndstx %bnd0,0x12345678(%ecx,%eax,1)",},
  1316. {{0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1317. "0f 1b 84 05 78 56 34 12 \tbndstx %bnd0,0x12345678(%ebp,%eax,1)",},
  1318. {{0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1319. "0f 1b 84 08 78 56 34 12 \tbndstx %bnd0,0x12345678(%eax,%ecx,1)",},
  1320. {{0xf2, 0xe8, 0xfc, 0xff, 0xff, 0xff, }, 6, 0xfffffffc, "call", "unconditional",
  1321. "f2 e8 fc ff ff ff \tbnd call fce <main+0xfce>",},
  1322. {{0xf2, 0xff, 0x10, }, 3, 0, "call", "indirect",
  1323. "f2 ff 10 \tbnd call *(%eax)",},
  1324. {{0xf2, 0xc3, }, 2, 0, "ret", "indirect",
  1325. "f2 c3 \tbnd ret ",},
  1326. {{0xf2, 0xe9, 0xfc, 0xff, 0xff, 0xff, }, 6, 0xfffffffc, "jmp", "unconditional",
  1327. "f2 e9 fc ff ff ff \tbnd jmp fd9 <main+0xfd9>",},
  1328. {{0xf2, 0xe9, 0xfc, 0xff, 0xff, 0xff, }, 6, 0xfffffffc, "jmp", "unconditional",
  1329. "f2 e9 fc ff ff ff \tbnd jmp fdf <main+0xfdf>",},
  1330. {{0xf2, 0xff, 0x21, }, 3, 0, "jmp", "indirect",
  1331. "f2 ff 21 \tbnd jmp *(%ecx)",},
  1332. {{0xf2, 0x0f, 0x85, 0xfc, 0xff, 0xff, 0xff, }, 7, 0xfffffffc, "jcc", "conditional",
  1333. "f2 0f 85 fc ff ff ff \tbnd jne fe9 <main+0xfe9>",},
  1334. {{0x0f, 0x3a, 0xcc, 0xc1, 0x00, }, 5, 0, "", "",
  1335. "0f 3a cc c1 00 \tsha1rnds4 $0x0,%xmm1,%xmm0",},
  1336. {{0x0f, 0x3a, 0xcc, 0xd7, 0x91, }, 5, 0, "", "",
  1337. "0f 3a cc d7 91 \tsha1rnds4 $0x91,%xmm7,%xmm2",},
  1338. {{0x0f, 0x3a, 0xcc, 0x00, 0x91, }, 5, 0, "", "",
  1339. "0f 3a cc 00 91 \tsha1rnds4 $0x91,(%eax),%xmm0",},
  1340. {{0x0f, 0x3a, 0xcc, 0x05, 0x78, 0x56, 0x34, 0x12, 0x91, }, 9, 0, "", "",
  1341. "0f 3a cc 05 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678,%xmm0",},
  1342. {{0x0f, 0x3a, 0xcc, 0x18, 0x91, }, 5, 0, "", "",
  1343. "0f 3a cc 18 91 \tsha1rnds4 $0x91,(%eax),%xmm3",},
  1344. {{0x0f, 0x3a, 0xcc, 0x04, 0x01, 0x91, }, 6, 0, "", "",
  1345. "0f 3a cc 04 01 91 \tsha1rnds4 $0x91,(%ecx,%eax,1),%xmm0",},
  1346. {{0x0f, 0x3a, 0xcc, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
  1347. "0f 3a cc 04 05 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(,%eax,1),%xmm0",},
  1348. {{0x0f, 0x3a, 0xcc, 0x04, 0x08, 0x91, }, 6, 0, "", "",
  1349. "0f 3a cc 04 08 91 \tsha1rnds4 $0x91,(%eax,%ecx,1),%xmm0",},
  1350. {{0x0f, 0x3a, 0xcc, 0x04, 0xc8, 0x91, }, 6, 0, "", "",
  1351. "0f 3a cc 04 c8 91 \tsha1rnds4 $0x91,(%eax,%ecx,8),%xmm0",},
  1352. {{0x0f, 0x3a, 0xcc, 0x40, 0x12, 0x91, }, 6, 0, "", "",
  1353. "0f 3a cc 40 12 91 \tsha1rnds4 $0x91,0x12(%eax),%xmm0",},
  1354. {{0x0f, 0x3a, 0xcc, 0x45, 0x12, 0x91, }, 6, 0, "", "",
  1355. "0f 3a cc 45 12 91 \tsha1rnds4 $0x91,0x12(%ebp),%xmm0",},
  1356. {{0x0f, 0x3a, 0xcc, 0x44, 0x01, 0x12, 0x91, }, 7, 0, "", "",
  1357. "0f 3a cc 44 01 12 91 \tsha1rnds4 $0x91,0x12(%ecx,%eax,1),%xmm0",},
  1358. {{0x0f, 0x3a, 0xcc, 0x44, 0x05, 0x12, 0x91, }, 7, 0, "", "",
  1359. "0f 3a cc 44 05 12 91 \tsha1rnds4 $0x91,0x12(%ebp,%eax,1),%xmm0",},
  1360. {{0x0f, 0x3a, 0xcc, 0x44, 0x08, 0x12, 0x91, }, 7, 0, "", "",
  1361. "0f 3a cc 44 08 12 91 \tsha1rnds4 $0x91,0x12(%eax,%ecx,1),%xmm0",},
  1362. {{0x0f, 0x3a, 0xcc, 0x44, 0xc8, 0x12, 0x91, }, 7, 0, "", "",
  1363. "0f 3a cc 44 c8 12 91 \tsha1rnds4 $0x91,0x12(%eax,%ecx,8),%xmm0",},
  1364. {{0x0f, 0x3a, 0xcc, 0x80, 0x78, 0x56, 0x34, 0x12, 0x91, }, 9, 0, "", "",
  1365. "0f 3a cc 80 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%eax),%xmm0",},
  1366. {{0x0f, 0x3a, 0xcc, 0x85, 0x78, 0x56, 0x34, 0x12, 0x91, }, 9, 0, "", "",
  1367. "0f 3a cc 85 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%ebp),%xmm0",},
  1368. {{0x0f, 0x3a, 0xcc, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
  1369. "0f 3a cc 84 01 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%ecx,%eax,1),%xmm0",},
  1370. {{0x0f, 0x3a, 0xcc, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
  1371. "0f 3a cc 84 05 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%ebp,%eax,1),%xmm0",},
  1372. {{0x0f, 0x3a, 0xcc, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
  1373. "0f 3a cc 84 08 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%eax,%ecx,1),%xmm0",},
  1374. {{0x0f, 0x3a, 0xcc, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
  1375. "0f 3a cc 84 c8 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%eax,%ecx,8),%xmm0",},
  1376. {{0x0f, 0x38, 0xc8, 0xc1, }, 4, 0, "", "",
  1377. "0f 38 c8 c1 \tsha1nexte %xmm1,%xmm0",},
  1378. {{0x0f, 0x38, 0xc8, 0xd7, }, 4, 0, "", "",
  1379. "0f 38 c8 d7 \tsha1nexte %xmm7,%xmm2",},
  1380. {{0x0f, 0x38, 0xc8, 0x00, }, 4, 0, "", "",
  1381. "0f 38 c8 00 \tsha1nexte (%eax),%xmm0",},
  1382. {{0x0f, 0x38, 0xc8, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1383. "0f 38 c8 05 78 56 34 12 \tsha1nexte 0x12345678,%xmm0",},
  1384. {{0x0f, 0x38, 0xc8, 0x18, }, 4, 0, "", "",
  1385. "0f 38 c8 18 \tsha1nexte (%eax),%xmm3",},
  1386. {{0x0f, 0x38, 0xc8, 0x04, 0x01, }, 5, 0, "", "",
  1387. "0f 38 c8 04 01 \tsha1nexte (%ecx,%eax,1),%xmm0",},
  1388. {{0x0f, 0x38, 0xc8, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1389. "0f 38 c8 04 05 78 56 34 12 \tsha1nexte 0x12345678(,%eax,1),%xmm0",},
  1390. {{0x0f, 0x38, 0xc8, 0x04, 0x08, }, 5, 0, "", "",
  1391. "0f 38 c8 04 08 \tsha1nexte (%eax,%ecx,1),%xmm0",},
  1392. {{0x0f, 0x38, 0xc8, 0x04, 0xc8, }, 5, 0, "", "",
  1393. "0f 38 c8 04 c8 \tsha1nexte (%eax,%ecx,8),%xmm0",},
  1394. {{0x0f, 0x38, 0xc8, 0x40, 0x12, }, 5, 0, "", "",
  1395. "0f 38 c8 40 12 \tsha1nexte 0x12(%eax),%xmm0",},
  1396. {{0x0f, 0x38, 0xc8, 0x45, 0x12, }, 5, 0, "", "",
  1397. "0f 38 c8 45 12 \tsha1nexte 0x12(%ebp),%xmm0",},
  1398. {{0x0f, 0x38, 0xc8, 0x44, 0x01, 0x12, }, 6, 0, "", "",
  1399. "0f 38 c8 44 01 12 \tsha1nexte 0x12(%ecx,%eax,1),%xmm0",},
  1400. {{0x0f, 0x38, 0xc8, 0x44, 0x05, 0x12, }, 6, 0, "", "",
  1401. "0f 38 c8 44 05 12 \tsha1nexte 0x12(%ebp,%eax,1),%xmm0",},
  1402. {{0x0f, 0x38, 0xc8, 0x44, 0x08, 0x12, }, 6, 0, "", "",
  1403. "0f 38 c8 44 08 12 \tsha1nexte 0x12(%eax,%ecx,1),%xmm0",},
  1404. {{0x0f, 0x38, 0xc8, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
  1405. "0f 38 c8 44 c8 12 \tsha1nexte 0x12(%eax,%ecx,8),%xmm0",},
  1406. {{0x0f, 0x38, 0xc8, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1407. "0f 38 c8 80 78 56 34 12 \tsha1nexte 0x12345678(%eax),%xmm0",},
  1408. {{0x0f, 0x38, 0xc8, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1409. "0f 38 c8 85 78 56 34 12 \tsha1nexte 0x12345678(%ebp),%xmm0",},
  1410. {{0x0f, 0x38, 0xc8, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1411. "0f 38 c8 84 01 78 56 34 12 \tsha1nexte 0x12345678(%ecx,%eax,1),%xmm0",},
  1412. {{0x0f, 0x38, 0xc8, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1413. "0f 38 c8 84 05 78 56 34 12 \tsha1nexte 0x12345678(%ebp,%eax,1),%xmm0",},
  1414. {{0x0f, 0x38, 0xc8, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1415. "0f 38 c8 84 08 78 56 34 12 \tsha1nexte 0x12345678(%eax,%ecx,1),%xmm0",},
  1416. {{0x0f, 0x38, 0xc8, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1417. "0f 38 c8 84 c8 78 56 34 12 \tsha1nexte 0x12345678(%eax,%ecx,8),%xmm0",},
  1418. {{0x0f, 0x38, 0xc9, 0xc1, }, 4, 0, "", "",
  1419. "0f 38 c9 c1 \tsha1msg1 %xmm1,%xmm0",},
  1420. {{0x0f, 0x38, 0xc9, 0xd7, }, 4, 0, "", "",
  1421. "0f 38 c9 d7 \tsha1msg1 %xmm7,%xmm2",},
  1422. {{0x0f, 0x38, 0xc9, 0x00, }, 4, 0, "", "",
  1423. "0f 38 c9 00 \tsha1msg1 (%eax),%xmm0",},
  1424. {{0x0f, 0x38, 0xc9, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1425. "0f 38 c9 05 78 56 34 12 \tsha1msg1 0x12345678,%xmm0",},
  1426. {{0x0f, 0x38, 0xc9, 0x18, }, 4, 0, "", "",
  1427. "0f 38 c9 18 \tsha1msg1 (%eax),%xmm3",},
  1428. {{0x0f, 0x38, 0xc9, 0x04, 0x01, }, 5, 0, "", "",
  1429. "0f 38 c9 04 01 \tsha1msg1 (%ecx,%eax,1),%xmm0",},
  1430. {{0x0f, 0x38, 0xc9, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1431. "0f 38 c9 04 05 78 56 34 12 \tsha1msg1 0x12345678(,%eax,1),%xmm0",},
  1432. {{0x0f, 0x38, 0xc9, 0x04, 0x08, }, 5, 0, "", "",
  1433. "0f 38 c9 04 08 \tsha1msg1 (%eax,%ecx,1),%xmm0",},
  1434. {{0x0f, 0x38, 0xc9, 0x04, 0xc8, }, 5, 0, "", "",
  1435. "0f 38 c9 04 c8 \tsha1msg1 (%eax,%ecx,8),%xmm0",},
  1436. {{0x0f, 0x38, 0xc9, 0x40, 0x12, }, 5, 0, "", "",
  1437. "0f 38 c9 40 12 \tsha1msg1 0x12(%eax),%xmm0",},
  1438. {{0x0f, 0x38, 0xc9, 0x45, 0x12, }, 5, 0, "", "",
  1439. "0f 38 c9 45 12 \tsha1msg1 0x12(%ebp),%xmm0",},
  1440. {{0x0f, 0x38, 0xc9, 0x44, 0x01, 0x12, }, 6, 0, "", "",
  1441. "0f 38 c9 44 01 12 \tsha1msg1 0x12(%ecx,%eax,1),%xmm0",},
  1442. {{0x0f, 0x38, 0xc9, 0x44, 0x05, 0x12, }, 6, 0, "", "",
  1443. "0f 38 c9 44 05 12 \tsha1msg1 0x12(%ebp,%eax,1),%xmm0",},
  1444. {{0x0f, 0x38, 0xc9, 0x44, 0x08, 0x12, }, 6, 0, "", "",
  1445. "0f 38 c9 44 08 12 \tsha1msg1 0x12(%eax,%ecx,1),%xmm0",},
  1446. {{0x0f, 0x38, 0xc9, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
  1447. "0f 38 c9 44 c8 12 \tsha1msg1 0x12(%eax,%ecx,8),%xmm0",},
  1448. {{0x0f, 0x38, 0xc9, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1449. "0f 38 c9 80 78 56 34 12 \tsha1msg1 0x12345678(%eax),%xmm0",},
  1450. {{0x0f, 0x38, 0xc9, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1451. "0f 38 c9 85 78 56 34 12 \tsha1msg1 0x12345678(%ebp),%xmm0",},
  1452. {{0x0f, 0x38, 0xc9, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1453. "0f 38 c9 84 01 78 56 34 12 \tsha1msg1 0x12345678(%ecx,%eax,1),%xmm0",},
  1454. {{0x0f, 0x38, 0xc9, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1455. "0f 38 c9 84 05 78 56 34 12 \tsha1msg1 0x12345678(%ebp,%eax,1),%xmm0",},
  1456. {{0x0f, 0x38, 0xc9, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1457. "0f 38 c9 84 08 78 56 34 12 \tsha1msg1 0x12345678(%eax,%ecx,1),%xmm0",},
  1458. {{0x0f, 0x38, 0xc9, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1459. "0f 38 c9 84 c8 78 56 34 12 \tsha1msg1 0x12345678(%eax,%ecx,8),%xmm0",},
  1460. {{0x0f, 0x38, 0xca, 0xc1, }, 4, 0, "", "",
  1461. "0f 38 ca c1 \tsha1msg2 %xmm1,%xmm0",},
  1462. {{0x0f, 0x38, 0xca, 0xd7, }, 4, 0, "", "",
  1463. "0f 38 ca d7 \tsha1msg2 %xmm7,%xmm2",},
  1464. {{0x0f, 0x38, 0xca, 0x00, }, 4, 0, "", "",
  1465. "0f 38 ca 00 \tsha1msg2 (%eax),%xmm0",},
  1466. {{0x0f, 0x38, 0xca, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1467. "0f 38 ca 05 78 56 34 12 \tsha1msg2 0x12345678,%xmm0",},
  1468. {{0x0f, 0x38, 0xca, 0x18, }, 4, 0, "", "",
  1469. "0f 38 ca 18 \tsha1msg2 (%eax),%xmm3",},
  1470. {{0x0f, 0x38, 0xca, 0x04, 0x01, }, 5, 0, "", "",
  1471. "0f 38 ca 04 01 \tsha1msg2 (%ecx,%eax,1),%xmm0",},
  1472. {{0x0f, 0x38, 0xca, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1473. "0f 38 ca 04 05 78 56 34 12 \tsha1msg2 0x12345678(,%eax,1),%xmm0",},
  1474. {{0x0f, 0x38, 0xca, 0x04, 0x08, }, 5, 0, "", "",
  1475. "0f 38 ca 04 08 \tsha1msg2 (%eax,%ecx,1),%xmm0",},
  1476. {{0x0f, 0x38, 0xca, 0x04, 0xc8, }, 5, 0, "", "",
  1477. "0f 38 ca 04 c8 \tsha1msg2 (%eax,%ecx,8),%xmm0",},
  1478. {{0x0f, 0x38, 0xca, 0x40, 0x12, }, 5, 0, "", "",
  1479. "0f 38 ca 40 12 \tsha1msg2 0x12(%eax),%xmm0",},
  1480. {{0x0f, 0x38, 0xca, 0x45, 0x12, }, 5, 0, "", "",
  1481. "0f 38 ca 45 12 \tsha1msg2 0x12(%ebp),%xmm0",},
  1482. {{0x0f, 0x38, 0xca, 0x44, 0x01, 0x12, }, 6, 0, "", "",
  1483. "0f 38 ca 44 01 12 \tsha1msg2 0x12(%ecx,%eax,1),%xmm0",},
  1484. {{0x0f, 0x38, 0xca, 0x44, 0x05, 0x12, }, 6, 0, "", "",
  1485. "0f 38 ca 44 05 12 \tsha1msg2 0x12(%ebp,%eax,1),%xmm0",},
  1486. {{0x0f, 0x38, 0xca, 0x44, 0x08, 0x12, }, 6, 0, "", "",
  1487. "0f 38 ca 44 08 12 \tsha1msg2 0x12(%eax,%ecx,1),%xmm0",},
  1488. {{0x0f, 0x38, 0xca, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
  1489. "0f 38 ca 44 c8 12 \tsha1msg2 0x12(%eax,%ecx,8),%xmm0",},
  1490. {{0x0f, 0x38, 0xca, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1491. "0f 38 ca 80 78 56 34 12 \tsha1msg2 0x12345678(%eax),%xmm0",},
  1492. {{0x0f, 0x38, 0xca, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1493. "0f 38 ca 85 78 56 34 12 \tsha1msg2 0x12345678(%ebp),%xmm0",},
  1494. {{0x0f, 0x38, 0xca, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1495. "0f 38 ca 84 01 78 56 34 12 \tsha1msg2 0x12345678(%ecx,%eax,1),%xmm0",},
  1496. {{0x0f, 0x38, 0xca, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1497. "0f 38 ca 84 05 78 56 34 12 \tsha1msg2 0x12345678(%ebp,%eax,1),%xmm0",},
  1498. {{0x0f, 0x38, 0xca, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1499. "0f 38 ca 84 08 78 56 34 12 \tsha1msg2 0x12345678(%eax,%ecx,1),%xmm0",},
  1500. {{0x0f, 0x38, 0xca, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1501. "0f 38 ca 84 c8 78 56 34 12 \tsha1msg2 0x12345678(%eax,%ecx,8),%xmm0",},
  1502. {{0x0f, 0x38, 0xcb, 0xcc, }, 4, 0, "", "",
  1503. "0f 38 cb cc \tsha256rnds2 %xmm0,%xmm4,%xmm1",},
  1504. {{0x0f, 0x38, 0xcb, 0xd7, }, 4, 0, "", "",
  1505. "0f 38 cb d7 \tsha256rnds2 %xmm0,%xmm7,%xmm2",},
  1506. {{0x0f, 0x38, 0xcb, 0x08, }, 4, 0, "", "",
  1507. "0f 38 cb 08 \tsha256rnds2 %xmm0,(%eax),%xmm1",},
  1508. {{0x0f, 0x38, 0xcb, 0x0d, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1509. "0f 38 cb 0d 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678,%xmm1",},
  1510. {{0x0f, 0x38, 0xcb, 0x18, }, 4, 0, "", "",
  1511. "0f 38 cb 18 \tsha256rnds2 %xmm0,(%eax),%xmm3",},
  1512. {{0x0f, 0x38, 0xcb, 0x0c, 0x01, }, 5, 0, "", "",
  1513. "0f 38 cb 0c 01 \tsha256rnds2 %xmm0,(%ecx,%eax,1),%xmm1",},
  1514. {{0x0f, 0x38, 0xcb, 0x0c, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1515. "0f 38 cb 0c 05 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(,%eax,1),%xmm1",},
  1516. {{0x0f, 0x38, 0xcb, 0x0c, 0x08, }, 5, 0, "", "",
  1517. "0f 38 cb 0c 08 \tsha256rnds2 %xmm0,(%eax,%ecx,1),%xmm1",},
  1518. {{0x0f, 0x38, 0xcb, 0x0c, 0xc8, }, 5, 0, "", "",
  1519. "0f 38 cb 0c c8 \tsha256rnds2 %xmm0,(%eax,%ecx,8),%xmm1",},
  1520. {{0x0f, 0x38, 0xcb, 0x48, 0x12, }, 5, 0, "", "",
  1521. "0f 38 cb 48 12 \tsha256rnds2 %xmm0,0x12(%eax),%xmm1",},
  1522. {{0x0f, 0x38, 0xcb, 0x4d, 0x12, }, 5, 0, "", "",
  1523. "0f 38 cb 4d 12 \tsha256rnds2 %xmm0,0x12(%ebp),%xmm1",},
  1524. {{0x0f, 0x38, 0xcb, 0x4c, 0x01, 0x12, }, 6, 0, "", "",
  1525. "0f 38 cb 4c 01 12 \tsha256rnds2 %xmm0,0x12(%ecx,%eax,1),%xmm1",},
  1526. {{0x0f, 0x38, 0xcb, 0x4c, 0x05, 0x12, }, 6, 0, "", "",
  1527. "0f 38 cb 4c 05 12 \tsha256rnds2 %xmm0,0x12(%ebp,%eax,1),%xmm1",},
  1528. {{0x0f, 0x38, 0xcb, 0x4c, 0x08, 0x12, }, 6, 0, "", "",
  1529. "0f 38 cb 4c 08 12 \tsha256rnds2 %xmm0,0x12(%eax,%ecx,1),%xmm1",},
  1530. {{0x0f, 0x38, 0xcb, 0x4c, 0xc8, 0x12, }, 6, 0, "", "",
  1531. "0f 38 cb 4c c8 12 \tsha256rnds2 %xmm0,0x12(%eax,%ecx,8),%xmm1",},
  1532. {{0x0f, 0x38, 0xcb, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1533. "0f 38 cb 88 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%eax),%xmm1",},
  1534. {{0x0f, 0x38, 0xcb, 0x8d, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1535. "0f 38 cb 8d 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%ebp),%xmm1",},
  1536. {{0x0f, 0x38, 0xcb, 0x8c, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1537. "0f 38 cb 8c 01 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%ecx,%eax,1),%xmm1",},
  1538. {{0x0f, 0x38, 0xcb, 0x8c, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1539. "0f 38 cb 8c 05 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%ebp,%eax,1),%xmm1",},
  1540. {{0x0f, 0x38, 0xcb, 0x8c, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1541. "0f 38 cb 8c 08 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%eax,%ecx,1),%xmm1",},
  1542. {{0x0f, 0x38, 0xcb, 0x8c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1543. "0f 38 cb 8c c8 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%eax,%ecx,8),%xmm1",},
  1544. {{0x0f, 0x38, 0xcc, 0xc1, }, 4, 0, "", "",
  1545. "0f 38 cc c1 \tsha256msg1 %xmm1,%xmm0",},
  1546. {{0x0f, 0x38, 0xcc, 0xd7, }, 4, 0, "", "",
  1547. "0f 38 cc d7 \tsha256msg1 %xmm7,%xmm2",},
  1548. {{0x0f, 0x38, 0xcc, 0x00, }, 4, 0, "", "",
  1549. "0f 38 cc 00 \tsha256msg1 (%eax),%xmm0",},
  1550. {{0x0f, 0x38, 0xcc, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1551. "0f 38 cc 05 78 56 34 12 \tsha256msg1 0x12345678,%xmm0",},
  1552. {{0x0f, 0x38, 0xcc, 0x18, }, 4, 0, "", "",
  1553. "0f 38 cc 18 \tsha256msg1 (%eax),%xmm3",},
  1554. {{0x0f, 0x38, 0xcc, 0x04, 0x01, }, 5, 0, "", "",
  1555. "0f 38 cc 04 01 \tsha256msg1 (%ecx,%eax,1),%xmm0",},
  1556. {{0x0f, 0x38, 0xcc, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1557. "0f 38 cc 04 05 78 56 34 12 \tsha256msg1 0x12345678(,%eax,1),%xmm0",},
  1558. {{0x0f, 0x38, 0xcc, 0x04, 0x08, }, 5, 0, "", "",
  1559. "0f 38 cc 04 08 \tsha256msg1 (%eax,%ecx,1),%xmm0",},
  1560. {{0x0f, 0x38, 0xcc, 0x04, 0xc8, }, 5, 0, "", "",
  1561. "0f 38 cc 04 c8 \tsha256msg1 (%eax,%ecx,8),%xmm0",},
  1562. {{0x0f, 0x38, 0xcc, 0x40, 0x12, }, 5, 0, "", "",
  1563. "0f 38 cc 40 12 \tsha256msg1 0x12(%eax),%xmm0",},
  1564. {{0x0f, 0x38, 0xcc, 0x45, 0x12, }, 5, 0, "", "",
  1565. "0f 38 cc 45 12 \tsha256msg1 0x12(%ebp),%xmm0",},
  1566. {{0x0f, 0x38, 0xcc, 0x44, 0x01, 0x12, }, 6, 0, "", "",
  1567. "0f 38 cc 44 01 12 \tsha256msg1 0x12(%ecx,%eax,1),%xmm0",},
  1568. {{0x0f, 0x38, 0xcc, 0x44, 0x05, 0x12, }, 6, 0, "", "",
  1569. "0f 38 cc 44 05 12 \tsha256msg1 0x12(%ebp,%eax,1),%xmm0",},
  1570. {{0x0f, 0x38, 0xcc, 0x44, 0x08, 0x12, }, 6, 0, "", "",
  1571. "0f 38 cc 44 08 12 \tsha256msg1 0x12(%eax,%ecx,1),%xmm0",},
  1572. {{0x0f, 0x38, 0xcc, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
  1573. "0f 38 cc 44 c8 12 \tsha256msg1 0x12(%eax,%ecx,8),%xmm0",},
  1574. {{0x0f, 0x38, 0xcc, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1575. "0f 38 cc 80 78 56 34 12 \tsha256msg1 0x12345678(%eax),%xmm0",},
  1576. {{0x0f, 0x38, 0xcc, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1577. "0f 38 cc 85 78 56 34 12 \tsha256msg1 0x12345678(%ebp),%xmm0",},
  1578. {{0x0f, 0x38, 0xcc, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1579. "0f 38 cc 84 01 78 56 34 12 \tsha256msg1 0x12345678(%ecx,%eax,1),%xmm0",},
  1580. {{0x0f, 0x38, 0xcc, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1581. "0f 38 cc 84 05 78 56 34 12 \tsha256msg1 0x12345678(%ebp,%eax,1),%xmm0",},
  1582. {{0x0f, 0x38, 0xcc, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1583. "0f 38 cc 84 08 78 56 34 12 \tsha256msg1 0x12345678(%eax,%ecx,1),%xmm0",},
  1584. {{0x0f, 0x38, 0xcc, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1585. "0f 38 cc 84 c8 78 56 34 12 \tsha256msg1 0x12345678(%eax,%ecx,8),%xmm0",},
  1586. {{0x0f, 0x38, 0xcd, 0xc1, }, 4, 0, "", "",
  1587. "0f 38 cd c1 \tsha256msg2 %xmm1,%xmm0",},
  1588. {{0x0f, 0x38, 0xcd, 0xd7, }, 4, 0, "", "",
  1589. "0f 38 cd d7 \tsha256msg2 %xmm7,%xmm2",},
  1590. {{0x0f, 0x38, 0xcd, 0x00, }, 4, 0, "", "",
  1591. "0f 38 cd 00 \tsha256msg2 (%eax),%xmm0",},
  1592. {{0x0f, 0x38, 0xcd, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1593. "0f 38 cd 05 78 56 34 12 \tsha256msg2 0x12345678,%xmm0",},
  1594. {{0x0f, 0x38, 0xcd, 0x18, }, 4, 0, "", "",
  1595. "0f 38 cd 18 \tsha256msg2 (%eax),%xmm3",},
  1596. {{0x0f, 0x38, 0xcd, 0x04, 0x01, }, 5, 0, "", "",
  1597. "0f 38 cd 04 01 \tsha256msg2 (%ecx,%eax,1),%xmm0",},
  1598. {{0x0f, 0x38, 0xcd, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1599. "0f 38 cd 04 05 78 56 34 12 \tsha256msg2 0x12345678(,%eax,1),%xmm0",},
  1600. {{0x0f, 0x38, 0xcd, 0x04, 0x08, }, 5, 0, "", "",
  1601. "0f 38 cd 04 08 \tsha256msg2 (%eax,%ecx,1),%xmm0",},
  1602. {{0x0f, 0x38, 0xcd, 0x04, 0xc8, }, 5, 0, "", "",
  1603. "0f 38 cd 04 c8 \tsha256msg2 (%eax,%ecx,8),%xmm0",},
  1604. {{0x0f, 0x38, 0xcd, 0x40, 0x12, }, 5, 0, "", "",
  1605. "0f 38 cd 40 12 \tsha256msg2 0x12(%eax),%xmm0",},
  1606. {{0x0f, 0x38, 0xcd, 0x45, 0x12, }, 5, 0, "", "",
  1607. "0f 38 cd 45 12 \tsha256msg2 0x12(%ebp),%xmm0",},
  1608. {{0x0f, 0x38, 0xcd, 0x44, 0x01, 0x12, }, 6, 0, "", "",
  1609. "0f 38 cd 44 01 12 \tsha256msg2 0x12(%ecx,%eax,1),%xmm0",},
  1610. {{0x0f, 0x38, 0xcd, 0x44, 0x05, 0x12, }, 6, 0, "", "",
  1611. "0f 38 cd 44 05 12 \tsha256msg2 0x12(%ebp,%eax,1),%xmm0",},
  1612. {{0x0f, 0x38, 0xcd, 0x44, 0x08, 0x12, }, 6, 0, "", "",
  1613. "0f 38 cd 44 08 12 \tsha256msg2 0x12(%eax,%ecx,1),%xmm0",},
  1614. {{0x0f, 0x38, 0xcd, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
  1615. "0f 38 cd 44 c8 12 \tsha256msg2 0x12(%eax,%ecx,8),%xmm0",},
  1616. {{0x0f, 0x38, 0xcd, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1617. "0f 38 cd 80 78 56 34 12 \tsha256msg2 0x12345678(%eax),%xmm0",},
  1618. {{0x0f, 0x38, 0xcd, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1619. "0f 38 cd 85 78 56 34 12 \tsha256msg2 0x12345678(%ebp),%xmm0",},
  1620. {{0x0f, 0x38, 0xcd, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1621. "0f 38 cd 84 01 78 56 34 12 \tsha256msg2 0x12345678(%ecx,%eax,1),%xmm0",},
  1622. {{0x0f, 0x38, 0xcd, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1623. "0f 38 cd 84 05 78 56 34 12 \tsha256msg2 0x12345678(%ebp,%eax,1),%xmm0",},
  1624. {{0x0f, 0x38, 0xcd, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1625. "0f 38 cd 84 08 78 56 34 12 \tsha256msg2 0x12345678(%eax,%ecx,1),%xmm0",},
  1626. {{0x0f, 0x38, 0xcd, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1627. "0f 38 cd 84 c8 78 56 34 12 \tsha256msg2 0x12345678(%eax,%ecx,8),%xmm0",},
  1628. {{0x66, 0x0f, 0xae, 0x38, }, 4, 0, "", "",
  1629. "66 0f ae 38 \tclflushopt (%eax)",},
  1630. {{0x66, 0x0f, 0xae, 0x3d, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1631. "66 0f ae 3d 78 56 34 12 \tclflushopt 0x12345678",},
  1632. {{0x66, 0x0f, 0xae, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1633. "66 0f ae bc c8 78 56 34 12 \tclflushopt 0x12345678(%eax,%ecx,8)",},
  1634. {{0x0f, 0xae, 0x38, }, 3, 0, "", "",
  1635. "0f ae 38 \tclflush (%eax)",},
  1636. {{0x0f, 0xae, 0xf8, }, 3, 0, "", "",
  1637. "0f ae f8 \tsfence ",},
  1638. {{0x66, 0x0f, 0xae, 0x30, }, 4, 0, "", "",
  1639. "66 0f ae 30 \tclwb (%eax)",},
  1640. {{0x66, 0x0f, 0xae, 0x35, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1641. "66 0f ae 35 78 56 34 12 \tclwb 0x12345678",},
  1642. {{0x66, 0x0f, 0xae, 0xb4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
  1643. "66 0f ae b4 c8 78 56 34 12 \tclwb 0x12345678(%eax,%ecx,8)",},
  1644. {{0x0f, 0xae, 0x30, }, 3, 0, "", "",
  1645. "0f ae 30 \txsaveopt (%eax)",},
  1646. {{0x0f, 0xae, 0xf0, }, 3, 0, "", "",
  1647. "0f ae f0 \tmfence ",},
  1648. {{0x0f, 0xc7, 0x20, }, 3, 0, "", "",
  1649. "0f c7 20 \txsavec (%eax)",},
  1650. {{0x0f, 0xc7, 0x25, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  1651. "0f c7 25 78 56 34 12 \txsavec 0x12345678",},
  1652. {{0x0f, 0xc7, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1653. "0f c7 a4 c8 78 56 34 12 \txsavec 0x12345678(%eax,%ecx,8)",},
  1654. {{0x0f, 0xc7, 0x28, }, 3, 0, "", "",
  1655. "0f c7 28 \txsaves (%eax)",},
  1656. {{0x0f, 0xc7, 0x2d, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  1657. "0f c7 2d 78 56 34 12 \txsaves 0x12345678",},
  1658. {{0x0f, 0xc7, 0xac, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1659. "0f c7 ac c8 78 56 34 12 \txsaves 0x12345678(%eax,%ecx,8)",},
  1660. {{0x0f, 0xc7, 0x18, }, 3, 0, "", "",
  1661. "0f c7 18 \txrstors (%eax)",},
  1662. {{0x0f, 0xc7, 0x1d, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  1663. "0f c7 1d 78 56 34 12 \txrstors 0x12345678",},
  1664. {{0x0f, 0xc7, 0x9c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  1665. "0f c7 9c c8 78 56 34 12 \txrstors 0x12345678(%eax,%ecx,8)",},