insn-x86-dat-64.c 97 KB

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