i386-dis-evex.h 39 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457
  1. static const struct dis386 evex_table[][256] = {
  2. /* EVEX_0F */
  3. {
  4. /* 00 */
  5. { Bad_Opcode },
  6. { Bad_Opcode },
  7. { Bad_Opcode },
  8. { Bad_Opcode },
  9. { Bad_Opcode },
  10. { Bad_Opcode },
  11. { Bad_Opcode },
  12. { Bad_Opcode },
  13. /* 08 */
  14. { Bad_Opcode },
  15. { Bad_Opcode },
  16. { Bad_Opcode },
  17. { Bad_Opcode },
  18. { Bad_Opcode },
  19. { Bad_Opcode },
  20. { Bad_Opcode },
  21. { Bad_Opcode },
  22. /* 10 */
  23. { PREFIX_TABLE (PREFIX_VEX_0F10) },
  24. { PREFIX_TABLE (PREFIX_VEX_0F11) },
  25. { PREFIX_TABLE (PREFIX_VEX_0F12) },
  26. { MOD_TABLE (MOD_VEX_0F13) },
  27. { "vunpcklpX", { XM, Vex, EXx }, PREFIX_OPCODE },
  28. { "vunpckhpX", { XM, Vex, EXx }, PREFIX_OPCODE },
  29. { PREFIX_TABLE (PREFIX_VEX_0F16) },
  30. { MOD_TABLE (MOD_VEX_0F17) },
  31. /* 18 */
  32. { Bad_Opcode },
  33. { Bad_Opcode },
  34. { Bad_Opcode },
  35. { Bad_Opcode },
  36. { Bad_Opcode },
  37. { Bad_Opcode },
  38. { Bad_Opcode },
  39. { Bad_Opcode },
  40. /* 20 */
  41. { Bad_Opcode },
  42. { Bad_Opcode },
  43. { Bad_Opcode },
  44. { Bad_Opcode },
  45. { Bad_Opcode },
  46. { Bad_Opcode },
  47. { Bad_Opcode },
  48. { Bad_Opcode },
  49. /* 28 */
  50. { "vmovapX", { XM, EXx }, PREFIX_OPCODE },
  51. { "vmovapX", { EXxS, XM }, PREFIX_OPCODE },
  52. { PREFIX_TABLE (PREFIX_VEX_0F2A) },
  53. { MOD_TABLE (MOD_VEX_0F2B) },
  54. { PREFIX_TABLE (PREFIX_VEX_0F2C) },
  55. { PREFIX_TABLE (PREFIX_VEX_0F2D) },
  56. { PREFIX_TABLE (PREFIX_VEX_0F2E) },
  57. { PREFIX_TABLE (PREFIX_VEX_0F2F) },
  58. /* 30 */
  59. { Bad_Opcode },
  60. { Bad_Opcode },
  61. { Bad_Opcode },
  62. { Bad_Opcode },
  63. { Bad_Opcode },
  64. { Bad_Opcode },
  65. { Bad_Opcode },
  66. { Bad_Opcode },
  67. /* 38 */
  68. { Bad_Opcode },
  69. { Bad_Opcode },
  70. { Bad_Opcode },
  71. { Bad_Opcode },
  72. { Bad_Opcode },
  73. { Bad_Opcode },
  74. { Bad_Opcode },
  75. { Bad_Opcode },
  76. /* 40 */
  77. { Bad_Opcode },
  78. { Bad_Opcode },
  79. { Bad_Opcode },
  80. { Bad_Opcode },
  81. { Bad_Opcode },
  82. { Bad_Opcode },
  83. { Bad_Opcode },
  84. { Bad_Opcode },
  85. /* 48 */
  86. { Bad_Opcode },
  87. { Bad_Opcode },
  88. { Bad_Opcode },
  89. { Bad_Opcode },
  90. { Bad_Opcode },
  91. { Bad_Opcode },
  92. { Bad_Opcode },
  93. { Bad_Opcode },
  94. /* 50 */
  95. { Bad_Opcode },
  96. { PREFIX_TABLE (PREFIX_VEX_0F51) },
  97. { Bad_Opcode },
  98. { Bad_Opcode },
  99. { "vandpX", { XM, Vex, EXx }, PREFIX_OPCODE },
  100. { "vandnpX", { XM, Vex, EXx }, PREFIX_OPCODE },
  101. { "vorpX", { XM, Vex, EXx }, PREFIX_OPCODE },
  102. { "vxorpX", { XM, Vex, EXx }, PREFIX_OPCODE },
  103. /* 58 */
  104. { PREFIX_TABLE (PREFIX_VEX_0F58) },
  105. { PREFIX_TABLE (PREFIX_VEX_0F59) },
  106. { PREFIX_TABLE (PREFIX_VEX_0F5A) },
  107. { PREFIX_TABLE (PREFIX_EVEX_0F5B) },
  108. { PREFIX_TABLE (PREFIX_VEX_0F5C) },
  109. { PREFIX_TABLE (PREFIX_VEX_0F5D) },
  110. { PREFIX_TABLE (PREFIX_VEX_0F5E) },
  111. { PREFIX_TABLE (PREFIX_VEX_0F5F) },
  112. /* 60 */
  113. { "vpunpcklbw", { XM, Vex, EXx }, PREFIX_DATA },
  114. { "vpunpcklwd", { XM, Vex, EXx }, PREFIX_DATA },
  115. { VEX_W_TABLE (EVEX_W_0F62) },
  116. { "vpacksswb", { XM, Vex, EXx }, PREFIX_DATA },
  117. { "vpcmpgtb", { MaskG, Vex, EXx }, PREFIX_DATA },
  118. { "vpcmpgtw", { MaskG, Vex, EXx }, PREFIX_DATA },
  119. { VEX_W_TABLE (EVEX_W_0F66) },
  120. { "vpackuswb", { XM, Vex, EXx }, PREFIX_DATA },
  121. /* 68 */
  122. { "vpunpckhbw", { XM, Vex, EXx }, PREFIX_DATA },
  123. { "vpunpckhwd", { XM, Vex, EXx }, PREFIX_DATA },
  124. { VEX_W_TABLE (EVEX_W_0F6A) },
  125. { VEX_W_TABLE (EVEX_W_0F6B) },
  126. { VEX_W_TABLE (EVEX_W_0F6C) },
  127. { VEX_W_TABLE (EVEX_W_0F6D) },
  128. { VEX_LEN_TABLE (VEX_LEN_0F6E) },
  129. { PREFIX_TABLE (PREFIX_EVEX_0F6F) },
  130. /* 70 */
  131. { PREFIX_TABLE (PREFIX_EVEX_0F70) },
  132. { REG_TABLE (REG_EVEX_0F71) },
  133. { REG_TABLE (REG_EVEX_0F72) },
  134. { REG_TABLE (REG_EVEX_0F73) },
  135. { "vpcmpeqb", { MaskG, Vex, EXx }, PREFIX_DATA },
  136. { "vpcmpeqw", { MaskG, Vex, EXx }, PREFIX_DATA },
  137. { VEX_W_TABLE (EVEX_W_0F76) },
  138. { Bad_Opcode },
  139. /* 78 */
  140. { PREFIX_TABLE (PREFIX_EVEX_0F78) },
  141. { PREFIX_TABLE (PREFIX_EVEX_0F79) },
  142. { PREFIX_TABLE (PREFIX_EVEX_0F7A) },
  143. { PREFIX_TABLE (PREFIX_EVEX_0F7B) },
  144. { Bad_Opcode },
  145. { Bad_Opcode },
  146. { PREFIX_TABLE (PREFIX_EVEX_0F7E) },
  147. { PREFIX_TABLE (PREFIX_EVEX_0F7F) },
  148. /* 80 */
  149. { Bad_Opcode },
  150. { Bad_Opcode },
  151. { Bad_Opcode },
  152. { Bad_Opcode },
  153. { Bad_Opcode },
  154. { Bad_Opcode },
  155. { Bad_Opcode },
  156. { Bad_Opcode },
  157. /* 88 */
  158. { Bad_Opcode },
  159. { Bad_Opcode },
  160. { Bad_Opcode },
  161. { Bad_Opcode },
  162. { Bad_Opcode },
  163. { Bad_Opcode },
  164. { Bad_Opcode },
  165. { Bad_Opcode },
  166. /* 90 */
  167. { Bad_Opcode },
  168. { Bad_Opcode },
  169. { Bad_Opcode },
  170. { Bad_Opcode },
  171. { Bad_Opcode },
  172. { Bad_Opcode },
  173. { Bad_Opcode },
  174. { Bad_Opcode },
  175. /* 98 */
  176. { Bad_Opcode },
  177. { Bad_Opcode },
  178. { Bad_Opcode },
  179. { Bad_Opcode },
  180. { Bad_Opcode },
  181. { Bad_Opcode },
  182. { Bad_Opcode },
  183. { Bad_Opcode },
  184. /* A0 */
  185. { Bad_Opcode },
  186. { Bad_Opcode },
  187. { Bad_Opcode },
  188. { Bad_Opcode },
  189. { Bad_Opcode },
  190. { Bad_Opcode },
  191. { Bad_Opcode },
  192. { Bad_Opcode },
  193. /* A8 */
  194. { Bad_Opcode },
  195. { Bad_Opcode },
  196. { Bad_Opcode },
  197. { Bad_Opcode },
  198. { Bad_Opcode },
  199. { Bad_Opcode },
  200. { Bad_Opcode },
  201. { Bad_Opcode },
  202. /* B0 */
  203. { Bad_Opcode },
  204. { Bad_Opcode },
  205. { Bad_Opcode },
  206. { Bad_Opcode },
  207. { Bad_Opcode },
  208. { Bad_Opcode },
  209. { Bad_Opcode },
  210. { Bad_Opcode },
  211. /* B8 */
  212. { Bad_Opcode },
  213. { Bad_Opcode },
  214. { Bad_Opcode },
  215. { Bad_Opcode },
  216. { Bad_Opcode },
  217. { Bad_Opcode },
  218. { Bad_Opcode },
  219. { Bad_Opcode },
  220. /* C0 */
  221. { Bad_Opcode },
  222. { Bad_Opcode },
  223. { PREFIX_TABLE (PREFIX_EVEX_0FC2) },
  224. { Bad_Opcode },
  225. { VEX_LEN_TABLE (VEX_LEN_0FC4) },
  226. { VEX_LEN_TABLE (VEX_LEN_0FC5) },
  227. { "vshufpX", { XM, Vex, EXx, Ib }, PREFIX_OPCODE },
  228. { Bad_Opcode },
  229. /* C8 */
  230. { Bad_Opcode },
  231. { Bad_Opcode },
  232. { Bad_Opcode },
  233. { Bad_Opcode },
  234. { Bad_Opcode },
  235. { Bad_Opcode },
  236. { Bad_Opcode },
  237. { Bad_Opcode },
  238. /* D0 */
  239. { Bad_Opcode },
  240. { "vpsrlw", { XM, Vex, EXxmm }, PREFIX_DATA },
  241. { VEX_W_TABLE (EVEX_W_0FD2) },
  242. { VEX_W_TABLE (EVEX_W_0FD3) },
  243. { VEX_W_TABLE (EVEX_W_0FD4) },
  244. { "vpmullw", { XM, Vex, EXx }, PREFIX_DATA },
  245. { VEX_W_TABLE (EVEX_W_0FD6) },
  246. { Bad_Opcode },
  247. /* D8 */
  248. { "vpsubusb", { XM, Vex, EXx }, PREFIX_DATA },
  249. { "vpsubusw", { XM, Vex, EXx }, PREFIX_DATA },
  250. { "vpminub", { XM, Vex, EXx }, PREFIX_DATA },
  251. { "vpand%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  252. { "vpaddusb", { XM, Vex, EXx }, PREFIX_DATA },
  253. { "vpaddusw", { XM, Vex, EXx }, PREFIX_DATA },
  254. { "vpmaxub", { XM, Vex, EXx }, PREFIX_DATA },
  255. { "vpandn%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  256. /* E0 */
  257. { "vpavgb", { XM, Vex, EXx }, PREFIX_DATA },
  258. { "vpsraw", { XM, Vex, EXxmm }, PREFIX_DATA },
  259. { "vpsra%DQ", { XM, Vex, EXxmm }, PREFIX_DATA },
  260. { "vpavgw", { XM, Vex, EXx }, PREFIX_DATA },
  261. { "vpmulhuw", { XM, Vex, EXx }, PREFIX_DATA },
  262. { "vpmulhw", { XM, Vex, EXx }, PREFIX_DATA },
  263. { PREFIX_TABLE (PREFIX_EVEX_0FE6) },
  264. { VEX_W_TABLE (EVEX_W_0FE7) },
  265. /* E8 */
  266. { "vpsubsb", { XM, Vex, EXx }, PREFIX_DATA },
  267. { "vpsubsw", { XM, Vex, EXx }, PREFIX_DATA },
  268. { "vpminsw", { XM, Vex, EXx }, PREFIX_DATA },
  269. { "vpor%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  270. { "vpaddsb", { XM, Vex, EXx }, PREFIX_DATA },
  271. { "vpaddsw", { XM, Vex, EXx }, PREFIX_DATA },
  272. { "vpmaxsw", { XM, Vex, EXx }, PREFIX_DATA },
  273. { "vpxor%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  274. /* F0 */
  275. { Bad_Opcode },
  276. { "vpsllw", { XM, Vex, EXxmm }, PREFIX_DATA },
  277. { VEX_W_TABLE (EVEX_W_0FF2) },
  278. { VEX_W_TABLE (EVEX_W_0FF3) },
  279. { VEX_W_TABLE (EVEX_W_0FF4) },
  280. { "vpmaddwd", { XM, Vex, EXx }, PREFIX_DATA },
  281. { "vpsadbw", { XM, Vex, EXx }, PREFIX_DATA },
  282. { Bad_Opcode },
  283. /* F8 */
  284. { "vpsubb", { XM, Vex, EXx }, PREFIX_DATA },
  285. { "vpsubw", { XM, Vex, EXx }, PREFIX_DATA },
  286. { VEX_W_TABLE (EVEX_W_0FFA) },
  287. { VEX_W_TABLE (EVEX_W_0FFB) },
  288. { "vpaddb", { XM, Vex, EXx }, PREFIX_DATA },
  289. { "vpaddw", { XM, Vex, EXx }, PREFIX_DATA },
  290. { VEX_W_TABLE (EVEX_W_0FFE) },
  291. { Bad_Opcode },
  292. },
  293. /* EVEX_0F38 */
  294. {
  295. /* 00 */
  296. { "vpshufb", { XM, Vex, EXx }, PREFIX_DATA },
  297. { Bad_Opcode },
  298. { Bad_Opcode },
  299. { Bad_Opcode },
  300. { "vpmaddubsw", { XM, Vex, EXx }, PREFIX_DATA },
  301. { Bad_Opcode },
  302. { Bad_Opcode },
  303. { Bad_Opcode },
  304. /* 08 */
  305. { Bad_Opcode },
  306. { Bad_Opcode },
  307. { Bad_Opcode },
  308. { "vpmulhrsw", { XM, Vex, EXx }, PREFIX_DATA },
  309. { VEX_W_TABLE (VEX_W_0F380C) },
  310. { "vpermilp%XD", { XM, Vex, EXx }, PREFIX_DATA },
  311. { Bad_Opcode },
  312. { Bad_Opcode },
  313. /* 10 */
  314. { PREFIX_TABLE (PREFIX_EVEX_0F3810) },
  315. { PREFIX_TABLE (PREFIX_EVEX_0F3811) },
  316. { PREFIX_TABLE (PREFIX_EVEX_0F3812) },
  317. { PREFIX_TABLE (PREFIX_EVEX_0F3813) },
  318. { PREFIX_TABLE (PREFIX_EVEX_0F3814) },
  319. { PREFIX_TABLE (PREFIX_EVEX_0F3815) },
  320. { EVEX_LEN_TABLE (EVEX_LEN_0F3816) },
  321. { Bad_Opcode },
  322. /* 18 */
  323. { VEX_W_TABLE (VEX_W_0F3818) },
  324. { EVEX_LEN_TABLE (EVEX_LEN_0F3819) },
  325. { MOD_TABLE (MOD_EVEX_0F381A) },
  326. { MOD_TABLE (MOD_EVEX_0F381B) },
  327. { "vpabsb", { XM, EXx }, PREFIX_DATA },
  328. { "vpabsw", { XM, EXx }, PREFIX_DATA },
  329. { VEX_W_TABLE (EVEX_W_0F381E) },
  330. { VEX_W_TABLE (EVEX_W_0F381F) },
  331. /* 20 */
  332. { PREFIX_TABLE (PREFIX_EVEX_0F3820) },
  333. { PREFIX_TABLE (PREFIX_EVEX_0F3821) },
  334. { PREFIX_TABLE (PREFIX_EVEX_0F3822) },
  335. { PREFIX_TABLE (PREFIX_EVEX_0F3823) },
  336. { PREFIX_TABLE (PREFIX_EVEX_0F3824) },
  337. { PREFIX_TABLE (PREFIX_EVEX_0F3825) },
  338. { PREFIX_TABLE (PREFIX_EVEX_0F3826) },
  339. { PREFIX_TABLE (PREFIX_EVEX_0F3827) },
  340. /* 28 */
  341. { PREFIX_TABLE (PREFIX_EVEX_0F3828) },
  342. { PREFIX_TABLE (PREFIX_EVEX_0F3829) },
  343. { PREFIX_TABLE (PREFIX_EVEX_0F382A) },
  344. { VEX_W_TABLE (EVEX_W_0F382B) },
  345. { "vscalefp%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  346. { "vscalefs%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, PREFIX_DATA },
  347. { Bad_Opcode },
  348. { Bad_Opcode },
  349. /* 30 */
  350. { PREFIX_TABLE (PREFIX_EVEX_0F3830) },
  351. { PREFIX_TABLE (PREFIX_EVEX_0F3831) },
  352. { PREFIX_TABLE (PREFIX_EVEX_0F3832) },
  353. { PREFIX_TABLE (PREFIX_EVEX_0F3833) },
  354. { PREFIX_TABLE (PREFIX_EVEX_0F3834) },
  355. { PREFIX_TABLE (PREFIX_EVEX_0F3835) },
  356. { EVEX_LEN_TABLE (EVEX_LEN_0F3836) },
  357. { VEX_W_TABLE (EVEX_W_0F3837) },
  358. /* 38 */
  359. { PREFIX_TABLE (PREFIX_EVEX_0F3838) },
  360. { PREFIX_TABLE (PREFIX_EVEX_0F3839) },
  361. { PREFIX_TABLE (PREFIX_EVEX_0F383A) },
  362. { "vpminu%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  363. { "vpmaxsb", { XM, Vex, EXx }, PREFIX_DATA },
  364. { "vpmaxs%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  365. { "vpmaxuw", { XM, Vex, EXx }, PREFIX_DATA },
  366. { "vpmaxu%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  367. /* 40 */
  368. { "vpmull%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  369. { Bad_Opcode },
  370. { "vgetexpp%XW", { XM, EXx, EXxEVexS }, PREFIX_DATA },
  371. { "vgetexps%XW", { XMScalar, VexScalar, EXdq, EXxEVexS }, PREFIX_DATA },
  372. { "vplzcnt%DQ", { XM, EXx }, PREFIX_DATA },
  373. { "vpsrlv%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  374. { "vpsrav%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  375. { "vpsllv%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  376. /* 48 */
  377. { Bad_Opcode },
  378. { Bad_Opcode },
  379. { Bad_Opcode },
  380. { Bad_Opcode },
  381. { "vrcp14p%XW", { XM, EXx }, PREFIX_DATA },
  382. { "vrcp14s%XW", { XMScalar, VexScalar, EXdq }, PREFIX_DATA },
  383. { "vrsqrt14p%XW", { XM, EXx }, 0 },
  384. { "vrsqrt14s%XW", { XMScalar, VexScalar, EXdq }, PREFIX_DATA },
  385. /* 50 */
  386. { "vpdpbusd", { XM, Vex, EXx }, PREFIX_DATA },
  387. { "vpdpbusds", { XM, Vex, EXx }, PREFIX_DATA },
  388. { PREFIX_TABLE (PREFIX_EVEX_0F3852) },
  389. { PREFIX_TABLE (PREFIX_EVEX_0F3853) },
  390. { "vpopcnt%BW", { XM, EXx }, PREFIX_DATA },
  391. { "vpopcnt%DQ", { XM, EXx }, PREFIX_DATA },
  392. { Bad_Opcode },
  393. { Bad_Opcode },
  394. /* 58 */
  395. { VEX_W_TABLE (VEX_W_0F3858) },
  396. { VEX_W_TABLE (EVEX_W_0F3859) },
  397. { MOD_TABLE (MOD_EVEX_0F385A) },
  398. { MOD_TABLE (MOD_EVEX_0F385B) },
  399. { Bad_Opcode },
  400. { Bad_Opcode },
  401. { Bad_Opcode },
  402. { Bad_Opcode },
  403. /* 60 */
  404. { Bad_Opcode },
  405. { Bad_Opcode },
  406. { "vpexpand%BW", { XM, EXbwUnit }, PREFIX_DATA },
  407. { "vpcompress%BW", { EXbwUnit, XM }, PREFIX_DATA },
  408. { "vpblendm%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  409. { "vblendmp%XW", { XM, Vex, EXx }, PREFIX_DATA },
  410. { "vpblendm%BW", { XM, Vex, EXx }, PREFIX_DATA },
  411. { Bad_Opcode },
  412. /* 68 */
  413. { PREFIX_TABLE (PREFIX_EVEX_0F3868) },
  414. { Bad_Opcode },
  415. { Bad_Opcode },
  416. { Bad_Opcode },
  417. { Bad_Opcode },
  418. { Bad_Opcode },
  419. { Bad_Opcode },
  420. { Bad_Opcode },
  421. /* 70 */
  422. { VEX_W_TABLE (EVEX_W_0F3870) },
  423. { "vpshldv%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  424. { PREFIX_TABLE (PREFIX_EVEX_0F3872) },
  425. { "vpshrdv%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  426. { Bad_Opcode },
  427. { "vpermi2%BW", { XM, Vex, EXx }, PREFIX_DATA },
  428. { "vpermi2%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  429. { "vpermi2p%XW", { XM, Vex, EXx }, PREFIX_DATA },
  430. /* 78 */
  431. { VEX_W_TABLE (VEX_W_0F3878) },
  432. { VEX_W_TABLE (VEX_W_0F3879) },
  433. { VEX_W_TABLE (EVEX_W_0F387A) },
  434. { VEX_W_TABLE (EVEX_W_0F387B) },
  435. { MOD_TABLE (MOD_EVEX_0F387C) },
  436. { "vpermt2%BW", { XM, Vex, EXx }, PREFIX_DATA },
  437. { "vpermt2%DQ", { XM, Vex, EXx }, PREFIX_DATA },
  438. { "vpermt2p%XW", { XM, Vex, EXx }, PREFIX_DATA },
  439. /* 80 */
  440. { Bad_Opcode },
  441. { Bad_Opcode },
  442. { Bad_Opcode },
  443. { VEX_W_TABLE (EVEX_W_0F3883) },
  444. { Bad_Opcode },
  445. { Bad_Opcode },
  446. { Bad_Opcode },
  447. { Bad_Opcode },
  448. /* 88 */
  449. { "vexpandp%XW", { XM, EXEvexXGscat }, PREFIX_DATA },
  450. { "vpexpand%DQ", { XM, EXEvexXGscat }, PREFIX_DATA },
  451. { "vcompressp%XW", { EXEvexXGscat, XM }, PREFIX_DATA },
  452. { "vpcompress%DQ", { EXEvexXGscat, XM }, PREFIX_DATA },
  453. { Bad_Opcode },
  454. { "vperm%BW", { XM, Vex, EXx }, PREFIX_DATA },
  455. { Bad_Opcode },
  456. { "vpshufbitqmb", { MaskG, Vex, EXx }, PREFIX_DATA },
  457. /* 90 */
  458. { "vpgatherd%DQ", { XMGatherD, MVexVSIBDWpX }, PREFIX_DATA },
  459. { "vpgatherq%DQ", { XMGatherQ, MVexVSIBQWpX }, PREFIX_DATA },
  460. { "vgatherdp%XW", { XMGatherD, MVexVSIBDWpX }, PREFIX_DATA },
  461. { "vgatherqp%XW", { XMGatherQ, MVexVSIBQWpX }, PREFIX_DATA },
  462. { Bad_Opcode },
  463. { Bad_Opcode },
  464. { "vfmaddsub132p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  465. { "vfmsubadd132p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  466. /* 98 */
  467. { "vfmadd132p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  468. { "vfmadd132s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, PREFIX_DATA },
  469. { PREFIX_TABLE (PREFIX_EVEX_0F389A) },
  470. { PREFIX_TABLE (PREFIX_EVEX_0F389B) },
  471. { "vfnmadd132p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  472. { "vfnmadd132s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, PREFIX_DATA },
  473. { "vfnmsub132p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  474. { "vfnmsub132s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, PREFIX_DATA },
  475. /* A0 */
  476. { "vpscatterd%DQ", { MVexVSIBDWpX, XM }, PREFIX_DATA },
  477. { "vpscatterq%DQ", { MVexVSIBQWpX, XMGatherQ }, PREFIX_DATA },
  478. { "vscatterdp%XW", { MVexVSIBDWpX, XM }, PREFIX_DATA },
  479. { "vscatterqp%XW", { MVexVSIBQWpX, XMGatherQ }, PREFIX_DATA },
  480. { Bad_Opcode },
  481. { Bad_Opcode },
  482. { "vfmaddsub213p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  483. { "vfmsubadd213p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  484. /* A8 */
  485. { "vfmadd213p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  486. { "vfmadd213s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, PREFIX_DATA },
  487. { PREFIX_TABLE (PREFIX_EVEX_0F38AA) },
  488. { PREFIX_TABLE (PREFIX_EVEX_0F38AB) },
  489. { "vfnmadd213p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  490. { "vfnmadd213s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, PREFIX_DATA },
  491. { "vfnmsub213p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  492. { "vfnmsub213s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, PREFIX_DATA },
  493. /* B0 */
  494. { Bad_Opcode },
  495. { Bad_Opcode },
  496. { Bad_Opcode },
  497. { Bad_Opcode },
  498. { "vpmadd52luq", { XM, Vex, EXx }, PREFIX_DATA },
  499. { "vpmadd52huq", { XM, Vex, EXx }, PREFIX_DATA },
  500. { "vfmaddsub231p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  501. { "vfmsubadd231p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  502. /* B8 */
  503. { "vfmadd231p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  504. { "vfmadd231s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, PREFIX_DATA },
  505. { "vfmsub231p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  506. { "vfmsub231s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, PREFIX_DATA },
  507. { "vfnmadd231p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  508. { "vfnmadd231s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, PREFIX_DATA },
  509. { "vfnmsub231p%XW", { XM, Vex, EXx, EXxEVexR }, PREFIX_DATA },
  510. { "vfnmsub231s%XW", { XMScalar, VexScalar, EXdq, EXxEVexR }, PREFIX_DATA },
  511. /* C0 */
  512. { Bad_Opcode },
  513. { Bad_Opcode },
  514. { Bad_Opcode },
  515. { Bad_Opcode },
  516. { "vpconflict%DQ", { XM, EXx }, PREFIX_DATA },
  517. { Bad_Opcode },
  518. { MOD_TABLE (MOD_EVEX_0F38C6) },
  519. { MOD_TABLE (MOD_EVEX_0F38C7) },
  520. /* C8 */
  521. { "vexp2p%XW", { XM, EXx, EXxEVexS }, PREFIX_DATA },
  522. { Bad_Opcode },
  523. { "vrcp28p%XW", { XM, EXx, EXxEVexS }, PREFIX_DATA },
  524. { "vrcp28s%XW", { XMScalar, VexScalar, EXdq, EXxEVexS }, PREFIX_DATA },
  525. { "vrsqrt28p%XW", { XM, EXx, EXxEVexS }, PREFIX_DATA },
  526. { "vrsqrt28s%XW", { XMScalar, VexScalar, EXdq, EXxEVexS }, PREFIX_DATA },
  527. { Bad_Opcode },
  528. { VEX_W_TABLE (VEX_W_0F38CF) },
  529. /* D0 */
  530. { Bad_Opcode },
  531. { Bad_Opcode },
  532. { Bad_Opcode },
  533. { Bad_Opcode },
  534. { Bad_Opcode },
  535. { Bad_Opcode },
  536. { Bad_Opcode },
  537. { Bad_Opcode },
  538. /* D8 */
  539. { Bad_Opcode },
  540. { Bad_Opcode },
  541. { Bad_Opcode },
  542. { Bad_Opcode },
  543. { "vaesenc", { XM, Vex, EXx }, PREFIX_DATA },
  544. { "vaesenclast", { XM, Vex, EXx }, PREFIX_DATA },
  545. { "vaesdec", { XM, Vex, EXx }, PREFIX_DATA },
  546. { "vaesdeclast", { XM, Vex, EXx }, PREFIX_DATA },
  547. /* E0 */
  548. { Bad_Opcode },
  549. { Bad_Opcode },
  550. { Bad_Opcode },
  551. { Bad_Opcode },
  552. { Bad_Opcode },
  553. { Bad_Opcode },
  554. { Bad_Opcode },
  555. { Bad_Opcode },
  556. /* E8 */
  557. { Bad_Opcode },
  558. { Bad_Opcode },
  559. { Bad_Opcode },
  560. { Bad_Opcode },
  561. { Bad_Opcode },
  562. { Bad_Opcode },
  563. { Bad_Opcode },
  564. { Bad_Opcode },
  565. /* F0 */
  566. { Bad_Opcode },
  567. { Bad_Opcode },
  568. { Bad_Opcode },
  569. { Bad_Opcode },
  570. { Bad_Opcode },
  571. { Bad_Opcode },
  572. { Bad_Opcode },
  573. { Bad_Opcode },
  574. /* F8 */
  575. { Bad_Opcode },
  576. { Bad_Opcode },
  577. { Bad_Opcode },
  578. { Bad_Opcode },
  579. { Bad_Opcode },
  580. { Bad_Opcode },
  581. { Bad_Opcode },
  582. { Bad_Opcode },
  583. },
  584. /* EVEX_0F3A */
  585. {
  586. /* 00 */
  587. { EVEX_LEN_TABLE (EVEX_LEN_0F3A00) },
  588. { EVEX_LEN_TABLE (EVEX_LEN_0F3A01) },
  589. { Bad_Opcode },
  590. { "valign%DQ", { XM, Vex, EXx, Ib }, PREFIX_DATA },
  591. { VEX_W_TABLE (VEX_W_0F3A04) },
  592. { "vpermilp%XD", { XM, EXx, Ib }, PREFIX_DATA },
  593. { Bad_Opcode },
  594. { Bad_Opcode },
  595. /* 08 */
  596. { PREFIX_TABLE (PREFIX_EVEX_0F3A08) },
  597. { "vrndscalep%XD", { XM, EXx, EXxEVexS, Ib }, PREFIX_DATA },
  598. { PREFIX_TABLE (PREFIX_EVEX_0F3A0A) },
  599. { "vrndscales%XD", { XMScalar, VexScalar, EXq, EXxEVexS, Ib }, PREFIX_DATA },
  600. { Bad_Opcode },
  601. { Bad_Opcode },
  602. { Bad_Opcode },
  603. { "vpalignr", { XM, Vex, EXx, Ib }, PREFIX_DATA },
  604. /* 10 */
  605. { Bad_Opcode },
  606. { Bad_Opcode },
  607. { Bad_Opcode },
  608. { Bad_Opcode },
  609. { VEX_LEN_TABLE (VEX_LEN_0F3A14) },
  610. { VEX_LEN_TABLE (VEX_LEN_0F3A15) },
  611. { VEX_LEN_TABLE (VEX_LEN_0F3A16) },
  612. { VEX_LEN_TABLE (VEX_LEN_0F3A17) },
  613. /* 18 */
  614. { EVEX_LEN_TABLE (EVEX_LEN_0F3A18) },
  615. { EVEX_LEN_TABLE (EVEX_LEN_0F3A19) },
  616. { EVEX_LEN_TABLE (EVEX_LEN_0F3A1A) },
  617. { EVEX_LEN_TABLE (EVEX_LEN_0F3A1B) },
  618. { Bad_Opcode },
  619. { VEX_W_TABLE (VEX_W_0F3A1D) },
  620. { "vpcmpu%DQ", { MaskG, Vex, EXx, VPCMP }, PREFIX_DATA },
  621. { "vpcmp%DQ", { MaskG, Vex, EXx, VPCMP }, PREFIX_DATA },
  622. /* 20 */
  623. { VEX_LEN_TABLE (VEX_LEN_0F3A20) },
  624. { VEX_W_TABLE (EVEX_W_0F3A21) },
  625. { VEX_LEN_TABLE (VEX_LEN_0F3A22) },
  626. { EVEX_LEN_TABLE (EVEX_LEN_0F3A23) },
  627. { Bad_Opcode },
  628. { "vpternlog%DQ", { XM, Vex, EXx, Ib }, PREFIX_DATA },
  629. { PREFIX_TABLE (PREFIX_EVEX_0F3A26) },
  630. { PREFIX_TABLE (PREFIX_EVEX_0F3A27) },
  631. /* 28 */
  632. { Bad_Opcode },
  633. { Bad_Opcode },
  634. { Bad_Opcode },
  635. { Bad_Opcode },
  636. { Bad_Opcode },
  637. { Bad_Opcode },
  638. { Bad_Opcode },
  639. { Bad_Opcode },
  640. /* 30 */
  641. { Bad_Opcode },
  642. { Bad_Opcode },
  643. { Bad_Opcode },
  644. { Bad_Opcode },
  645. { Bad_Opcode },
  646. { Bad_Opcode },
  647. { Bad_Opcode },
  648. { Bad_Opcode },
  649. /* 38 */
  650. { EVEX_LEN_TABLE (EVEX_LEN_0F3A38) },
  651. { EVEX_LEN_TABLE (EVEX_LEN_0F3A39) },
  652. { EVEX_LEN_TABLE (EVEX_LEN_0F3A3A) },
  653. { EVEX_LEN_TABLE (EVEX_LEN_0F3A3B) },
  654. { Bad_Opcode },
  655. { Bad_Opcode },
  656. { "vpcmpu%BW", { MaskG, Vex, EXx, VPCMP }, PREFIX_DATA },
  657. { "vpcmp%BW", { MaskG, Vex, EXx, VPCMP }, PREFIX_DATA },
  658. /* 40 */
  659. { Bad_Opcode },
  660. { Bad_Opcode },
  661. { VEX_W_TABLE (EVEX_W_0F3A42) },
  662. { EVEX_LEN_TABLE (EVEX_LEN_0F3A43) },
  663. { "vpclmulqdq", { XM, Vex, EXx, PCLMUL }, PREFIX_DATA },
  664. { Bad_Opcode },
  665. { Bad_Opcode },
  666. { Bad_Opcode },
  667. /* 48 */
  668. { Bad_Opcode },
  669. { Bad_Opcode },
  670. { Bad_Opcode },
  671. { Bad_Opcode },
  672. { Bad_Opcode },
  673. { Bad_Opcode },
  674. { Bad_Opcode },
  675. { Bad_Opcode },
  676. /* 50 */
  677. { "vrangep%XW", { XM, Vex, EXx, EXxEVexS, Ib }, PREFIX_DATA },
  678. { "vranges%XW", { XMScalar, VexScalar, EXdq, EXxEVexS, Ib }, PREFIX_DATA },
  679. { Bad_Opcode },
  680. { Bad_Opcode },
  681. { "vfixupimmp%XW", { XM, Vex, EXx, EXxEVexS, Ib }, PREFIX_DATA },
  682. { "vfixupimms%XW", { XMScalar, VexScalar, EXdq, EXxEVexS, Ib }, PREFIX_DATA },
  683. { PREFIX_TABLE (PREFIX_EVEX_0F3A56) },
  684. { PREFIX_TABLE (PREFIX_EVEX_0F3A57) },
  685. /* 58 */
  686. { Bad_Opcode },
  687. { Bad_Opcode },
  688. { Bad_Opcode },
  689. { Bad_Opcode },
  690. { Bad_Opcode },
  691. { Bad_Opcode },
  692. { Bad_Opcode },
  693. { Bad_Opcode },
  694. /* 60 */
  695. { Bad_Opcode },
  696. { Bad_Opcode },
  697. { Bad_Opcode },
  698. { Bad_Opcode },
  699. { Bad_Opcode },
  700. { Bad_Opcode },
  701. { PREFIX_TABLE (PREFIX_EVEX_0F3A66) },
  702. { PREFIX_TABLE (PREFIX_EVEX_0F3A67) },
  703. /* 68 */
  704. { Bad_Opcode },
  705. { Bad_Opcode },
  706. { Bad_Opcode },
  707. { Bad_Opcode },
  708. { Bad_Opcode },
  709. { Bad_Opcode },
  710. { Bad_Opcode },
  711. { Bad_Opcode },
  712. /* 70 */
  713. { VEX_W_TABLE (EVEX_W_0F3A70) },
  714. { "vpshld%DQ", { XM, Vex, EXx, Ib }, PREFIX_DATA },
  715. { VEX_W_TABLE (EVEX_W_0F3A72) },
  716. { "vpshrd%DQ", { XM, Vex, EXx, Ib }, PREFIX_DATA },
  717. { Bad_Opcode },
  718. { Bad_Opcode },
  719. { Bad_Opcode },
  720. { Bad_Opcode },
  721. /* 78 */
  722. { Bad_Opcode },
  723. { Bad_Opcode },
  724. { Bad_Opcode },
  725. { Bad_Opcode },
  726. { Bad_Opcode },
  727. { Bad_Opcode },
  728. { Bad_Opcode },
  729. { Bad_Opcode },
  730. /* 80 */
  731. { Bad_Opcode },
  732. { Bad_Opcode },
  733. { Bad_Opcode },
  734. { Bad_Opcode },
  735. { Bad_Opcode },
  736. { Bad_Opcode },
  737. { Bad_Opcode },
  738. { Bad_Opcode },
  739. /* 88 */
  740. { Bad_Opcode },
  741. { Bad_Opcode },
  742. { Bad_Opcode },
  743. { Bad_Opcode },
  744. { Bad_Opcode },
  745. { Bad_Opcode },
  746. { Bad_Opcode },
  747. { Bad_Opcode },
  748. /* 90 */
  749. { Bad_Opcode },
  750. { Bad_Opcode },
  751. { Bad_Opcode },
  752. { Bad_Opcode },
  753. { Bad_Opcode },
  754. { Bad_Opcode },
  755. { Bad_Opcode },
  756. { Bad_Opcode },
  757. /* 98 */
  758. { Bad_Opcode },
  759. { Bad_Opcode },
  760. { Bad_Opcode },
  761. { Bad_Opcode },
  762. { Bad_Opcode },
  763. { Bad_Opcode },
  764. { Bad_Opcode },
  765. { Bad_Opcode },
  766. /* A0 */
  767. { Bad_Opcode },
  768. { Bad_Opcode },
  769. { Bad_Opcode },
  770. { Bad_Opcode },
  771. { Bad_Opcode },
  772. { Bad_Opcode },
  773. { Bad_Opcode },
  774. { Bad_Opcode },
  775. /* A8 */
  776. { Bad_Opcode },
  777. { Bad_Opcode },
  778. { Bad_Opcode },
  779. { Bad_Opcode },
  780. { Bad_Opcode },
  781. { Bad_Opcode },
  782. { Bad_Opcode },
  783. { Bad_Opcode },
  784. /* B0 */
  785. { Bad_Opcode },
  786. { Bad_Opcode },
  787. { Bad_Opcode },
  788. { Bad_Opcode },
  789. { Bad_Opcode },
  790. { Bad_Opcode },
  791. { Bad_Opcode },
  792. { Bad_Opcode },
  793. /* B8 */
  794. { Bad_Opcode },
  795. { Bad_Opcode },
  796. { Bad_Opcode },
  797. { Bad_Opcode },
  798. { Bad_Opcode },
  799. { Bad_Opcode },
  800. { Bad_Opcode },
  801. { Bad_Opcode },
  802. /* C0 */
  803. { Bad_Opcode },
  804. { Bad_Opcode },
  805. { PREFIX_TABLE (PREFIX_EVEX_0F3AC2) },
  806. { Bad_Opcode },
  807. { Bad_Opcode },
  808. { Bad_Opcode },
  809. { Bad_Opcode },
  810. { Bad_Opcode },
  811. /* C8 */
  812. { Bad_Opcode },
  813. { Bad_Opcode },
  814. { Bad_Opcode },
  815. { Bad_Opcode },
  816. { Bad_Opcode },
  817. { Bad_Opcode },
  818. { VEX_W_TABLE (VEX_W_0F3ACE) },
  819. { VEX_W_TABLE (VEX_W_0F3ACF) },
  820. /* D0 */
  821. { Bad_Opcode },
  822. { Bad_Opcode },
  823. { Bad_Opcode },
  824. { Bad_Opcode },
  825. { Bad_Opcode },
  826. { Bad_Opcode },
  827. { Bad_Opcode },
  828. { Bad_Opcode },
  829. /* D8 */
  830. { Bad_Opcode },
  831. { Bad_Opcode },
  832. { Bad_Opcode },
  833. { Bad_Opcode },
  834. { Bad_Opcode },
  835. { Bad_Opcode },
  836. { Bad_Opcode },
  837. { Bad_Opcode },
  838. /* E0 */
  839. { Bad_Opcode },
  840. { Bad_Opcode },
  841. { Bad_Opcode },
  842. { Bad_Opcode },
  843. { Bad_Opcode },
  844. { Bad_Opcode },
  845. { Bad_Opcode },
  846. { Bad_Opcode },
  847. /* E8 */
  848. { Bad_Opcode },
  849. { Bad_Opcode },
  850. { Bad_Opcode },
  851. { Bad_Opcode },
  852. { Bad_Opcode },
  853. { Bad_Opcode },
  854. { Bad_Opcode },
  855. { Bad_Opcode },
  856. /* F0 */
  857. { Bad_Opcode },
  858. { Bad_Opcode },
  859. { Bad_Opcode },
  860. { Bad_Opcode },
  861. { Bad_Opcode },
  862. { Bad_Opcode },
  863. { Bad_Opcode },
  864. { Bad_Opcode },
  865. /* F8 */
  866. { Bad_Opcode },
  867. { Bad_Opcode },
  868. { Bad_Opcode },
  869. { Bad_Opcode },
  870. { Bad_Opcode },
  871. { Bad_Opcode },
  872. { Bad_Opcode },
  873. { Bad_Opcode },
  874. },
  875. /* EVEX_MAP5_ */
  876. {
  877. /* 00 */
  878. { Bad_Opcode },
  879. { Bad_Opcode },
  880. { Bad_Opcode },
  881. { Bad_Opcode },
  882. { Bad_Opcode },
  883. { Bad_Opcode },
  884. { Bad_Opcode },
  885. { Bad_Opcode },
  886. /* 08 */
  887. { Bad_Opcode },
  888. { Bad_Opcode },
  889. { Bad_Opcode },
  890. { Bad_Opcode },
  891. { Bad_Opcode },
  892. { Bad_Opcode },
  893. { Bad_Opcode },
  894. { Bad_Opcode },
  895. /* 10 */
  896. { PREFIX_TABLE (PREFIX_EVEX_MAP5_10) },
  897. { PREFIX_TABLE (PREFIX_EVEX_MAP5_11) },
  898. { Bad_Opcode },
  899. { Bad_Opcode },
  900. { Bad_Opcode },
  901. { Bad_Opcode },
  902. { Bad_Opcode },
  903. { Bad_Opcode },
  904. /* 18 */
  905. { Bad_Opcode },
  906. { Bad_Opcode },
  907. { Bad_Opcode },
  908. { Bad_Opcode },
  909. { Bad_Opcode },
  910. { PREFIX_TABLE (PREFIX_EVEX_MAP5_1D) },
  911. { Bad_Opcode },
  912. { Bad_Opcode },
  913. /* 20 */
  914. { Bad_Opcode },
  915. { Bad_Opcode },
  916. { Bad_Opcode },
  917. { Bad_Opcode },
  918. { Bad_Opcode },
  919. { Bad_Opcode },
  920. { Bad_Opcode },
  921. { Bad_Opcode },
  922. /* 28 */
  923. { Bad_Opcode },
  924. { Bad_Opcode },
  925. { PREFIX_TABLE (PREFIX_EVEX_MAP5_2A) },
  926. { Bad_Opcode },
  927. { PREFIX_TABLE (PREFIX_EVEX_MAP5_2C) },
  928. { PREFIX_TABLE (PREFIX_EVEX_MAP5_2D) },
  929. { PREFIX_TABLE (PREFIX_EVEX_MAP5_2E) },
  930. { PREFIX_TABLE (PREFIX_EVEX_MAP5_2F) },
  931. /* 30 */
  932. { Bad_Opcode },
  933. { Bad_Opcode },
  934. { Bad_Opcode },
  935. { Bad_Opcode },
  936. { Bad_Opcode },
  937. { Bad_Opcode },
  938. { Bad_Opcode },
  939. { Bad_Opcode },
  940. /* 38 */
  941. { Bad_Opcode },
  942. { Bad_Opcode },
  943. { Bad_Opcode },
  944. { Bad_Opcode },
  945. { Bad_Opcode },
  946. { Bad_Opcode },
  947. { Bad_Opcode },
  948. { Bad_Opcode },
  949. /* 40 */
  950. { Bad_Opcode },
  951. { Bad_Opcode },
  952. { Bad_Opcode },
  953. { Bad_Opcode },
  954. { Bad_Opcode },
  955. { Bad_Opcode },
  956. { Bad_Opcode },
  957. { Bad_Opcode },
  958. /* 48 */
  959. { Bad_Opcode },
  960. { Bad_Opcode },
  961. { Bad_Opcode },
  962. { Bad_Opcode },
  963. { Bad_Opcode },
  964. { Bad_Opcode },
  965. { Bad_Opcode },
  966. { Bad_Opcode },
  967. /* 50 */
  968. { Bad_Opcode },
  969. { PREFIX_TABLE (PREFIX_EVEX_MAP5_51) },
  970. { Bad_Opcode },
  971. { Bad_Opcode },
  972. { Bad_Opcode },
  973. { Bad_Opcode },
  974. { Bad_Opcode },
  975. { Bad_Opcode },
  976. /* 58 */
  977. { PREFIX_TABLE (PREFIX_EVEX_MAP5_58) },
  978. { PREFIX_TABLE (PREFIX_EVEX_MAP5_59) },
  979. { PREFIX_TABLE (PREFIX_EVEX_MAP5_5A) },
  980. { PREFIX_TABLE (PREFIX_EVEX_MAP5_5B) },
  981. { PREFIX_TABLE (PREFIX_EVEX_MAP5_5C) },
  982. { PREFIX_TABLE (PREFIX_EVEX_MAP5_5D) },
  983. { PREFIX_TABLE (PREFIX_EVEX_MAP5_5E) },
  984. { PREFIX_TABLE (PREFIX_EVEX_MAP5_5F) },
  985. /* 60 */
  986. { Bad_Opcode },
  987. { Bad_Opcode },
  988. { Bad_Opcode },
  989. { Bad_Opcode },
  990. { Bad_Opcode },
  991. { Bad_Opcode },
  992. { Bad_Opcode },
  993. { Bad_Opcode },
  994. /* 68 */
  995. { Bad_Opcode },
  996. { Bad_Opcode },
  997. { Bad_Opcode },
  998. { Bad_Opcode },
  999. { Bad_Opcode },
  1000. { Bad_Opcode },
  1001. { "vmovw", { XMScalar, Edw }, PREFIX_DATA },
  1002. { Bad_Opcode },
  1003. /* 70 */
  1004. { Bad_Opcode },
  1005. { Bad_Opcode },
  1006. { Bad_Opcode },
  1007. { Bad_Opcode },
  1008. { Bad_Opcode },
  1009. { Bad_Opcode },
  1010. { Bad_Opcode },
  1011. { Bad_Opcode },
  1012. /* 78 */
  1013. { PREFIX_TABLE (PREFIX_EVEX_MAP5_78) },
  1014. { PREFIX_TABLE (PREFIX_EVEX_MAP5_79) },
  1015. { PREFIX_TABLE (PREFIX_EVEX_MAP5_7A) },
  1016. { PREFIX_TABLE (PREFIX_EVEX_MAP5_7B) },
  1017. { PREFIX_TABLE (PREFIX_EVEX_MAP5_7C) },
  1018. { PREFIX_TABLE (PREFIX_EVEX_MAP5_7D) },
  1019. { "vmovw", { Edw, XMScalar }, PREFIX_DATA },
  1020. { Bad_Opcode },
  1021. /* 80 */
  1022. { Bad_Opcode },
  1023. { Bad_Opcode },
  1024. { Bad_Opcode },
  1025. { Bad_Opcode },
  1026. { Bad_Opcode },
  1027. { Bad_Opcode },
  1028. { Bad_Opcode },
  1029. { Bad_Opcode },
  1030. /* 88 */
  1031. { Bad_Opcode },
  1032. { Bad_Opcode },
  1033. { Bad_Opcode },
  1034. { Bad_Opcode },
  1035. { Bad_Opcode },
  1036. { Bad_Opcode },
  1037. { Bad_Opcode },
  1038. { Bad_Opcode },
  1039. /* 90 */
  1040. { Bad_Opcode },
  1041. { Bad_Opcode },
  1042. { Bad_Opcode },
  1043. { Bad_Opcode },
  1044. { Bad_Opcode },
  1045. { Bad_Opcode },
  1046. { Bad_Opcode },
  1047. { Bad_Opcode },
  1048. /* 98 */
  1049. { Bad_Opcode },
  1050. { Bad_Opcode },
  1051. { Bad_Opcode },
  1052. { Bad_Opcode },
  1053. { Bad_Opcode },
  1054. { Bad_Opcode },
  1055. { Bad_Opcode },
  1056. { Bad_Opcode },
  1057. /* A0 */
  1058. { Bad_Opcode },
  1059. { Bad_Opcode },
  1060. { Bad_Opcode },
  1061. { Bad_Opcode },
  1062. { Bad_Opcode },
  1063. { Bad_Opcode },
  1064. { Bad_Opcode },
  1065. { Bad_Opcode },
  1066. /* A8 */
  1067. { Bad_Opcode },
  1068. { Bad_Opcode },
  1069. { Bad_Opcode },
  1070. { Bad_Opcode },
  1071. { Bad_Opcode },
  1072. { Bad_Opcode },
  1073. { Bad_Opcode },
  1074. { Bad_Opcode },
  1075. /* B0 */
  1076. { Bad_Opcode },
  1077. { Bad_Opcode },
  1078. { Bad_Opcode },
  1079. { Bad_Opcode },
  1080. { Bad_Opcode },
  1081. { Bad_Opcode },
  1082. { Bad_Opcode },
  1083. { Bad_Opcode },
  1084. /* B8 */
  1085. { Bad_Opcode },
  1086. { Bad_Opcode },
  1087. { Bad_Opcode },
  1088. { Bad_Opcode },
  1089. { Bad_Opcode },
  1090. { Bad_Opcode },
  1091. { Bad_Opcode },
  1092. { Bad_Opcode },
  1093. /* C0 */
  1094. { Bad_Opcode },
  1095. { Bad_Opcode },
  1096. { Bad_Opcode },
  1097. { Bad_Opcode },
  1098. { Bad_Opcode },
  1099. { Bad_Opcode },
  1100. { Bad_Opcode },
  1101. { Bad_Opcode },
  1102. /* C8 */
  1103. { Bad_Opcode },
  1104. { Bad_Opcode },
  1105. { Bad_Opcode },
  1106. { Bad_Opcode },
  1107. { Bad_Opcode },
  1108. { Bad_Opcode },
  1109. { Bad_Opcode },
  1110. { Bad_Opcode },
  1111. /* D0 */
  1112. { Bad_Opcode },
  1113. { Bad_Opcode },
  1114. { Bad_Opcode },
  1115. { Bad_Opcode },
  1116. { Bad_Opcode },
  1117. { Bad_Opcode },
  1118. { Bad_Opcode },
  1119. { Bad_Opcode },
  1120. /* D8 */
  1121. { Bad_Opcode },
  1122. { Bad_Opcode },
  1123. { Bad_Opcode },
  1124. { Bad_Opcode },
  1125. { Bad_Opcode },
  1126. { Bad_Opcode },
  1127. { Bad_Opcode },
  1128. { Bad_Opcode },
  1129. /* E0 */
  1130. { Bad_Opcode },
  1131. { Bad_Opcode },
  1132. { Bad_Opcode },
  1133. { Bad_Opcode },
  1134. { Bad_Opcode },
  1135. { Bad_Opcode },
  1136. { Bad_Opcode },
  1137. { Bad_Opcode },
  1138. /* E8 */
  1139. { Bad_Opcode },
  1140. { Bad_Opcode },
  1141. { Bad_Opcode },
  1142. { Bad_Opcode },
  1143. { Bad_Opcode },
  1144. { Bad_Opcode },
  1145. { Bad_Opcode },
  1146. { Bad_Opcode },
  1147. /* F0 */
  1148. { Bad_Opcode },
  1149. { Bad_Opcode },
  1150. { Bad_Opcode },
  1151. { Bad_Opcode },
  1152. { Bad_Opcode },
  1153. { Bad_Opcode },
  1154. { Bad_Opcode },
  1155. { Bad_Opcode },
  1156. /* F8 */
  1157. { Bad_Opcode },
  1158. { Bad_Opcode },
  1159. { Bad_Opcode },
  1160. { Bad_Opcode },
  1161. { Bad_Opcode },
  1162. { Bad_Opcode },
  1163. { Bad_Opcode },
  1164. { Bad_Opcode },
  1165. },
  1166. /* EVEX_MAP6_ */
  1167. {
  1168. /* 00 */
  1169. { Bad_Opcode },
  1170. { Bad_Opcode },
  1171. { Bad_Opcode },
  1172. { Bad_Opcode },
  1173. { Bad_Opcode },
  1174. { Bad_Opcode },
  1175. { Bad_Opcode },
  1176. { Bad_Opcode },
  1177. /* 08 */
  1178. { Bad_Opcode },
  1179. { Bad_Opcode },
  1180. { Bad_Opcode },
  1181. { Bad_Opcode },
  1182. { Bad_Opcode },
  1183. { Bad_Opcode },
  1184. { Bad_Opcode },
  1185. { Bad_Opcode },
  1186. /* 10 */
  1187. { Bad_Opcode },
  1188. { Bad_Opcode },
  1189. { Bad_Opcode },
  1190. { PREFIX_TABLE (PREFIX_EVEX_MAP6_13) },
  1191. { Bad_Opcode },
  1192. { Bad_Opcode },
  1193. { Bad_Opcode },
  1194. { Bad_Opcode },
  1195. /* 18 */
  1196. { Bad_Opcode },
  1197. { Bad_Opcode },
  1198. { Bad_Opcode },
  1199. { Bad_Opcode },
  1200. { Bad_Opcode },
  1201. { Bad_Opcode },
  1202. { Bad_Opcode },
  1203. { Bad_Opcode },
  1204. /* 20 */
  1205. { Bad_Opcode },
  1206. { Bad_Opcode },
  1207. { Bad_Opcode },
  1208. { Bad_Opcode },
  1209. { Bad_Opcode },
  1210. { Bad_Opcode },
  1211. { Bad_Opcode },
  1212. { Bad_Opcode },
  1213. /* 28 */
  1214. { Bad_Opcode },
  1215. { Bad_Opcode },
  1216. { Bad_Opcode },
  1217. { Bad_Opcode },
  1218. { "vscalefp%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1219. { "vscalefs%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, PREFIX_DATA },
  1220. { Bad_Opcode },
  1221. { Bad_Opcode },
  1222. /* 30 */
  1223. { Bad_Opcode },
  1224. { Bad_Opcode },
  1225. { Bad_Opcode },
  1226. { Bad_Opcode },
  1227. { Bad_Opcode },
  1228. { Bad_Opcode },
  1229. { Bad_Opcode },
  1230. { Bad_Opcode },
  1231. /* 38 */
  1232. { Bad_Opcode },
  1233. { Bad_Opcode },
  1234. { Bad_Opcode },
  1235. { Bad_Opcode },
  1236. { Bad_Opcode },
  1237. { Bad_Opcode },
  1238. { Bad_Opcode },
  1239. { Bad_Opcode },
  1240. /* 40 */
  1241. { Bad_Opcode },
  1242. { Bad_Opcode },
  1243. { "vgetexpp%XH", { XM, EXxh, EXxEVexS }, PREFIX_DATA },
  1244. { "vgetexps%XH", { XMScalar, VexScalar, EXw, EXxEVexS }, PREFIX_DATA },
  1245. { Bad_Opcode },
  1246. { Bad_Opcode },
  1247. { Bad_Opcode },
  1248. { Bad_Opcode },
  1249. /* 48 */
  1250. { Bad_Opcode },
  1251. { Bad_Opcode },
  1252. { Bad_Opcode },
  1253. { Bad_Opcode },
  1254. { "vrcpp%XH", { XM, EXxh }, PREFIX_DATA },
  1255. { "vrcps%XH", { XMScalar, VexScalar, EXw }, PREFIX_DATA },
  1256. { "vrsqrtp%XH", { XM, EXxh }, PREFIX_DATA },
  1257. { "vrsqrts%XH", { XMScalar, VexScalar, EXw }, PREFIX_DATA },
  1258. /* 50 */
  1259. { Bad_Opcode },
  1260. { Bad_Opcode },
  1261. { Bad_Opcode },
  1262. { Bad_Opcode },
  1263. { Bad_Opcode },
  1264. { Bad_Opcode },
  1265. { PREFIX_TABLE (PREFIX_EVEX_MAP6_56) },
  1266. { PREFIX_TABLE (PREFIX_EVEX_MAP6_57) },
  1267. /* 58 */
  1268. { Bad_Opcode },
  1269. { Bad_Opcode },
  1270. { Bad_Opcode },
  1271. { Bad_Opcode },
  1272. { Bad_Opcode },
  1273. { Bad_Opcode },
  1274. { Bad_Opcode },
  1275. { Bad_Opcode },
  1276. /* 60 */
  1277. { Bad_Opcode },
  1278. { Bad_Opcode },
  1279. { Bad_Opcode },
  1280. { Bad_Opcode },
  1281. { Bad_Opcode },
  1282. { Bad_Opcode },
  1283. { Bad_Opcode },
  1284. { Bad_Opcode },
  1285. /* 68 */
  1286. { Bad_Opcode },
  1287. { Bad_Opcode },
  1288. { Bad_Opcode },
  1289. { Bad_Opcode },
  1290. { Bad_Opcode },
  1291. { Bad_Opcode },
  1292. { Bad_Opcode },
  1293. { Bad_Opcode },
  1294. /* 70 */
  1295. { Bad_Opcode },
  1296. { Bad_Opcode },
  1297. { Bad_Opcode },
  1298. { Bad_Opcode },
  1299. { Bad_Opcode },
  1300. { Bad_Opcode },
  1301. { Bad_Opcode },
  1302. { Bad_Opcode },
  1303. /* 78 */
  1304. { Bad_Opcode },
  1305. { Bad_Opcode },
  1306. { Bad_Opcode },
  1307. { Bad_Opcode },
  1308. { Bad_Opcode },
  1309. { Bad_Opcode },
  1310. { Bad_Opcode },
  1311. { Bad_Opcode },
  1312. /* 80 */
  1313. { Bad_Opcode },
  1314. { Bad_Opcode },
  1315. { Bad_Opcode },
  1316. { Bad_Opcode },
  1317. { Bad_Opcode },
  1318. { Bad_Opcode },
  1319. { Bad_Opcode },
  1320. { Bad_Opcode },
  1321. /* 88 */
  1322. { Bad_Opcode },
  1323. { Bad_Opcode },
  1324. { Bad_Opcode },
  1325. { Bad_Opcode },
  1326. { Bad_Opcode },
  1327. { Bad_Opcode },
  1328. { Bad_Opcode },
  1329. { Bad_Opcode },
  1330. /* 90 */
  1331. { Bad_Opcode },
  1332. { Bad_Opcode },
  1333. { Bad_Opcode },
  1334. { Bad_Opcode },
  1335. { Bad_Opcode },
  1336. { Bad_Opcode },
  1337. { "vfmaddsub132p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1338. { "vfmsubadd132p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1339. /* 98 */
  1340. { "vfmadd132p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1341. { "vfmadd132s%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, PREFIX_DATA },
  1342. { "vfmsub132p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1343. { "vfmsub132s%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, PREFIX_DATA },
  1344. { "vfnmadd132p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1345. { "vfnmadd132s%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, PREFIX_DATA },
  1346. { "vfnmsub132p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1347. { "vfnmsub132s%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, PREFIX_DATA },
  1348. /* A0 */
  1349. { Bad_Opcode },
  1350. { Bad_Opcode },
  1351. { Bad_Opcode },
  1352. { Bad_Opcode },
  1353. { Bad_Opcode },
  1354. { Bad_Opcode },
  1355. { "vfmaddsub213p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1356. { "vfmsubadd213p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1357. /* A8 */
  1358. { "vfmadd213p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1359. { "vfmadd213s%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, PREFIX_DATA },
  1360. { "vfmsub213p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1361. { "vfmsub213s%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, PREFIX_DATA },
  1362. { "vfnmadd213p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1363. { "vfnmadd213s%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, PREFIX_DATA },
  1364. { "vfnmsub213p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1365. { "vfnmsub213s%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, PREFIX_DATA },
  1366. /* B0 */
  1367. { Bad_Opcode },
  1368. { Bad_Opcode },
  1369. { Bad_Opcode },
  1370. { Bad_Opcode },
  1371. { Bad_Opcode },
  1372. { Bad_Opcode },
  1373. { "vfmaddsub231p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1374. { "vfmsubadd231p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1375. /* B8 */
  1376. { "vfmadd231p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1377. { "vfmadd231s%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, PREFIX_DATA },
  1378. { "vfmsub231p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1379. { "vfmsub231s%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, PREFIX_DATA },
  1380. { "vfnmadd231p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1381. { "vfnmadd231s%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, PREFIX_DATA },
  1382. { "vfnmsub231p%XH", { XM, Vex, EXxh, EXxEVexR }, PREFIX_DATA },
  1383. { "vfnmsub231s%XH", { XMScalar, VexScalar, EXw, EXxEVexR }, PREFIX_DATA },
  1384. /* C0 */
  1385. { Bad_Opcode },
  1386. { Bad_Opcode },
  1387. { Bad_Opcode },
  1388. { Bad_Opcode },
  1389. { Bad_Opcode },
  1390. { Bad_Opcode },
  1391. { Bad_Opcode },
  1392. { Bad_Opcode },
  1393. /* C8 */
  1394. { Bad_Opcode },
  1395. { Bad_Opcode },
  1396. { Bad_Opcode },
  1397. { Bad_Opcode },
  1398. { Bad_Opcode },
  1399. { Bad_Opcode },
  1400. { Bad_Opcode },
  1401. { Bad_Opcode },
  1402. /* D0 */
  1403. { Bad_Opcode },
  1404. { Bad_Opcode },
  1405. { Bad_Opcode },
  1406. { Bad_Opcode },
  1407. { Bad_Opcode },
  1408. { Bad_Opcode },
  1409. { PREFIX_TABLE (PREFIX_EVEX_MAP6_D6) },
  1410. { PREFIX_TABLE (PREFIX_EVEX_MAP6_D7) },
  1411. /* D8 */
  1412. { Bad_Opcode },
  1413. { Bad_Opcode },
  1414. { Bad_Opcode },
  1415. { Bad_Opcode },
  1416. { Bad_Opcode },
  1417. { Bad_Opcode },
  1418. { Bad_Opcode },
  1419. { Bad_Opcode },
  1420. /* E0 */
  1421. { Bad_Opcode },
  1422. { Bad_Opcode },
  1423. { Bad_Opcode },
  1424. { Bad_Opcode },
  1425. { Bad_Opcode },
  1426. { Bad_Opcode },
  1427. { Bad_Opcode },
  1428. { Bad_Opcode },
  1429. /* E8 */
  1430. { Bad_Opcode },
  1431. { Bad_Opcode },
  1432. { Bad_Opcode },
  1433. { Bad_Opcode },
  1434. { Bad_Opcode },
  1435. { Bad_Opcode },
  1436. { Bad_Opcode },
  1437. { Bad_Opcode },
  1438. /* F0 */
  1439. { Bad_Opcode },
  1440. { Bad_Opcode },
  1441. { Bad_Opcode },
  1442. { Bad_Opcode },
  1443. { Bad_Opcode },
  1444. { Bad_Opcode },
  1445. { Bad_Opcode },
  1446. { Bad_Opcode },
  1447. /* F8 */
  1448. { Bad_Opcode },
  1449. { Bad_Opcode },
  1450. { Bad_Opcode },
  1451. { Bad_Opcode },
  1452. { Bad_Opcode },
  1453. { Bad_Opcode },
  1454. { Bad_Opcode },
  1455. { Bad_Opcode },
  1456. },
  1457. };