insn-x86-dat-32.c 93 KB

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