jon.recoil.org

Module Simd.Amd64_simd_instrs

include module type of struct include Amd64_simd_instrs end
type id = Amd64_simd_instrs.id =
  1. | Addpd
  2. | Addps
  3. | Addsd
  4. | Addss
  5. | Addsubpd
  6. | Addsubps
  7. | Andn_r32_r32_r32m32
  8. | Andn_r64_r64_r64m64
  9. | Andnpd
  10. | Andnps
  11. | Andpd
  12. | Andps
  13. | Bextr_r32_r32m32_r32
  14. | Bextr_r64_r64m64_r64
  15. | Blendpd
  16. | Blendps
  17. | Blendvpd
  18. | Blendvps
  19. | Blsi_r32_r32m32
  20. | Blsi_r64_r64m64
  21. | Blsmsk_r32_r32m32
  22. | Blsmsk_r64_r64m64
  23. | Blsr_r32_r32m32
  24. | Blsr_r64_r64m64
  25. | Bzhi_r32_r32m32_r32
  26. | Bzhi_r64_r64m64_r64
  27. | Cmppd
  28. | Cmpps
  29. | Cmpsd
  30. | Cmpss
  31. | Comisd
  32. | Comiss
  33. | Crc32_r32_r16m16
  34. | Crc32_r32_r32m32
  35. | Crc32_r32_r8m8
  36. | Crc32_r64_r64m64
  37. | Crc32_r64_r8m8
  38. | Cvtdq2pd
  39. | Cvtdq2ps
  40. | Cvtpd2dq
  41. | Cvtpd2ps
  42. | Cvtps2dq
  43. | Cvtps2pd
  44. | Cvtsd2si_r32_Xm64
  45. | Cvtsd2si_r64_Xm64
  46. | Cvtsd2ss
  47. | Cvtsi2sd_X_r32m32
  48. | Cvtsi2sd_X_r64m64
  49. | Cvtsi2ss_X_r32m32
  50. | Cvtsi2ss_X_r64m64
  51. | Cvtss2sd
  52. | Cvtss2si_r32_Xm32
  53. | Cvtss2si_r64_Xm32
  54. | Cvttpd2dq
  55. | Cvttps2dq
  56. | Cvttsd2si_r32_Xm64
  57. | Cvttsd2si_r64_Xm64
  58. | Cvttss2si_r32_Xm32
  59. | Cvttss2si_r64_Xm32
  60. | Divpd
  61. | Divps
  62. | Divsd
  63. | Divss
  64. | Dppd
  65. | Dpps
  66. | Extractps
  67. | Haddpd
  68. | Haddps
  69. | Hsubpd
  70. | Hsubps
  71. | Insertps
  72. | Lddqu
  73. | Ldmxcsr
  74. | Lzcnt_r16_r16m16
  75. | Lzcnt_r32_r32m32
  76. | Lzcnt_r64_r64m64
  77. | Maskmovdqu
  78. | Maxpd
  79. | Maxps
  80. | Maxsd
  81. | Maxss
  82. | Minpd
  83. | Minps
  84. | Minsd
  85. | Minss
  86. | Movapd_X_Xm128
  87. | Movapd_Xm128_X
  88. | Movapd_m128_X
  89. | Movaps_X_Xm128
  90. | Movaps_Xm128_X
  91. | Movd_X_r32m32
  92. | Movd_r32m32_X
  93. | Movddup
  94. | Movdqa_X_Xm128
  95. | Movdqa_Xm128_X
  96. | Movdqu_X_Xm128
  97. | Movdqu_Xm128_X
  98. | Movhlps
  99. | Movhpd_X_m64
  100. | Movhpd_m64_X
  101. | Movhps_X_m64
  102. | Movhps_m64_X
  103. | Movlhps
  104. | Movlpd_X_m64
  105. | Movlpd_m64_X
  106. | Movlps_X_m64
  107. | Movlps_m64_X
  108. | Movmskpd
  109. | Movmskps
  110. | Movntdq
  111. | Movntdqa
  112. | Movnti_m32_r32
  113. | Movnti_m64_r64
  114. | Movntpd
  115. | Movntps
  116. | Movq_X_Xm64
  117. | Movq_X_r64m64
  118. | Movq_Xm64_X
  119. | Movq_r64m64_X
  120. | Movsd_X_X
  121. | Movsd_X_m64
  122. | Movsd_Xm64_X
  123. | Movsd_m64_X
  124. | Movshdup
  125. | Movsldup
  126. | Movss_X_X
  127. | Movss_X_m32
  128. | Movss_Xm32_X
  129. | Movss_m32_X
  130. | Movupd_X_Xm128
  131. | Movupd_Xm128_X
  132. | Movupd_m128_X
  133. | Movups_X_Xm128
  134. | Movups_Xm128_X
  135. | Mpsadbw
  136. | Mulpd
  137. | Mulps
  138. | Mulsd
  139. | Mulss
  140. | Mulx_r32_r32_r32m32_rdx
  141. | Mulx_r64_r64_r64m64_rdx
  142. | Orpd
  143. | Orps
  144. | Pabsb_M_Mm64
  145. | Pabsb_X_Xm128
  146. | Pabsd_M_Mm64
  147. | Pabsd_X_Xm128
  148. | Pabsw_M_Mm64
  149. | Pabsw_X_Xm128
  150. | Packssdw
  151. | Packsswb
  152. | Packusdw
  153. | Packuswb
  154. | Paddb
  155. | Paddd
  156. | Paddq
  157. | Paddsb
  158. | Paddsw
  159. | Paddusb
  160. | Paddusw
  161. | Paddw
  162. | Palignr_M_Mm64
  163. | Palignr_X_Xm128
  164. | Pand
  165. | Pandn
  166. | Pavgb_M_Mm64
  167. | Pavgb_X_Xm128
  168. | Pavgw_M_Mm64
  169. | Pavgw_X_Xm128
  170. | Pblendvb
  171. | Pblendw
  172. | Pclmulqdq
  173. | Pcmpeqb
  174. | Pcmpeqd
  175. | Pcmpeqq
  176. | Pcmpeqw
  177. | Pcmpestri
  178. | Pcmpestrm
  179. | Pcmpgtb
  180. | Pcmpgtd
  181. | Pcmpgtq
  182. | Pcmpgtw
  183. | Pcmpistri
  184. | Pcmpistrm
  185. | Pdep_r32_r32_r32m32
  186. | Pdep_r64_r64_r64m64
  187. | Pext_r32_r32_r32m32
  188. | Pext_r64_r64_r64m64
  189. | Pextrb
  190. | Pextrd
  191. | Pextrq
  192. | Pextrw_r64_M
  193. | Pextrw_r64_X
  194. | Pextrw_r64m16_X
  195. | Phaddd_M_Mm64
  196. | Phaddd_X_Xm128
  197. | Phaddsw_M_Mm64
  198. | Phaddsw_X_Xm128
  199. | Phaddw_M_Mm64
  200. | Phaddw_X_Xm128
  201. | Phminposuw
  202. | Phsubd_M_Mm64
  203. | Phsubd_X_Xm128
  204. | Phsubsw_M_Mm64
  205. | Phsubsw_X_Xm128
  206. | Phsubw_M_Mm64
  207. | Phsubw_X_Xm128
  208. | Pinsrb
  209. | Pinsrd
  210. | Pinsrq
  211. | Pinsrw_M_r32m16
  212. | Pinsrw_X_r32m16
  213. | Pmaddubsw_M_Mm64
  214. | Pmaddubsw_X_Xm128
  215. | Pmaddwd
  216. | Pmaxsb
  217. | Pmaxsd
  218. | Pmaxsw_M_Mm64
  219. | Pmaxsw_X_Xm128
  220. | Pmaxub_M_Mm64
  221. | Pmaxub_X_Xm128
  222. | Pmaxud
  223. | Pmaxuw
  224. | Pminsb
  225. | Pminsd
  226. | Pminsw_M_Mm64
  227. | Pminsw_X_Xm128
  228. | Pminub_M_Mm64
  229. | Pminub_X_Xm128
  230. | Pminud
  231. | Pminuw
  232. | Pmovmskb_r64_M
  233. | Pmovmskb_r64_X
  234. | Pmovsxbd
  235. | Pmovsxbq
  236. | Pmovsxbw
  237. | Pmovsxdq
  238. | Pmovsxwd
  239. | Pmovsxwq
  240. | Pmovzxbd
  241. | Pmovzxbq
  242. | Pmovzxbw
  243. | Pmovzxdq
  244. | Pmovzxwd
  245. | Pmovzxwq
  246. | Pmuldq
  247. | Pmulhrsw_M_Mm64
  248. | Pmulhrsw_X_Xm128
  249. | Pmulhuw_M_Mm64
  250. | Pmulhuw_X_Xm128
  251. | Pmulhw
  252. | Pmulld
  253. | Pmullw
  254. | Pmuludq_M_Mm64
  255. | Pmuludq_X_Xm128
  256. | Popcnt_r16_r16m16
  257. | Popcnt_r32_r32m32
  258. | Popcnt_r64_r64m64
  259. | Por
  260. | Psadbw_M_Mm64
  261. | Psadbw_X_Xm128
  262. | Pshufb_M_Mm64
  263. | Pshufb_X_Xm128
  264. | Pshufd
  265. | Pshufhw
  266. | Pshuflw
  267. | Psignb_M_Mm64
  268. | Psignb_X_Xm128
  269. | Psignd_M_Mm64
  270. | Psignd_X_Xm128
  271. | Psignw_M_Mm64
  272. | Psignw_X_Xm128
  273. | Pslld_X
  274. | Pslld_X_Xm128
  275. | Pslldq
  276. | Psllq_X
  277. | Psllq_X_Xm128
  278. | Psllw_X
  279. | Psllw_X_Xm128
  280. | Psrad_X
  281. | Psrad_X_Xm128
  282. | Psraw_X
  283. | Psraw_X_Xm128
  284. | Psrld_X
  285. | Psrld_X_Xm128
  286. | Psrldq
  287. | Psrlq_X
  288. | Psrlq_X_Xm128
  289. | Psrlw_X
  290. | Psrlw_X_Xm128
  291. | Psubb
  292. | Psubd
  293. | Psubq_M_Mm64
  294. | Psubq_X_Xm128
  295. | Psubsb
  296. | Psubsw
  297. | Psubusb
  298. | Psubusw
  299. | Psubw
  300. | Ptest
  301. | Punpckhbw
  302. | Punpckhdq
  303. | Punpckhqdq
  304. | Punpckhwd
  305. | Punpcklbw
  306. | Punpckldq
  307. | Punpcklqdq
  308. | Punpcklwd
  309. | Pxor
  310. | Rcpps
  311. | Rcpss
  312. | Rorx_r32_r32m32
  313. | Rorx_r64_r64m64
  314. | Roundpd
  315. | Roundps
  316. | Roundsd
  317. | Roundss
  318. | Rsqrtps
  319. | Rsqrtss
  320. | Sarx_r32_r32m32_r32
  321. | Sarx_r64_r64m64_r64
  322. | Shlx_r32_r32m32_r32
  323. | Shlx_r64_r64m64_r64
  324. | Shrx_r32_r32m32_r32
  325. | Shrx_r64_r64m64_r64
  326. | Shufpd
  327. | Shufps
  328. | Sqrtpd
  329. | Sqrtps
  330. | Sqrtsd
  331. | Sqrtss
  332. | Stmxcsr
  333. | Subpd
  334. | Subps
  335. | Subsd
  336. | Subss
  337. | Tzcnt_r16_r16m16
  338. | Tzcnt_r32_r32m32
  339. | Tzcnt_r64_r64m64
  340. | Ucomisd
  341. | Ucomiss
  342. | Unpckhpd
  343. | Unpckhps
  344. | Unpcklpd
  345. | Unpcklps
  346. | Vaddpd_X_X_Xm128
  347. | Vaddpd_Y_Y_Ym256
  348. | Vaddps_X_X_Xm128
  349. | Vaddps_Y_Y_Ym256
  350. | Vaddsd
  351. | Vaddss
  352. | Vaddsubpd_X_X_Xm128
  353. | Vaddsubpd_Y_Y_Ym256
  354. | Vaddsubps_X_X_Xm128
  355. | Vaddsubps_Y_Y_Ym256
  356. | Vandnpd_X_X_Xm128
  357. | Vandnpd_Y_Y_Ym256
  358. | Vandnps_X_X_Xm128
  359. | Vandnps_Y_Y_Ym256
  360. | Vandpd_X_X_Xm128
  361. | Vandpd_Y_Y_Ym256
  362. | Vandps_X_X_Xm128
  363. | Vandps_Y_Y_Ym256
  364. | Vblendpd_X_X_Xm128
  365. | Vblendpd_Y_Y_Ym256
  366. | Vblendps_X_X_Xm128
  367. | Vblendps_Y_Y_Ym256
  368. | Vblendvpd_X_X_Xm128_X
  369. | Vblendvpd_Y_Y_Ym256_Y
  370. | Vblendvps_X_X_Xm128_X
  371. | Vblendvps_Y_Y_Ym256_Y
  372. | Vbroadcastf128
  373. | Vbroadcasti128
  374. | Vbroadcastsd_Y_X
  375. | Vbroadcastsd_Y_m64
  376. | Vbroadcastss_X_X
  377. | Vbroadcastss_X_m32
  378. | Vbroadcastss_Y_X
  379. | Vbroadcastss_Y_m32
  380. | Vcmppd_X_X_Xm128
  381. | Vcmppd_Y_Y_Ym256
  382. | Vcmpps_X_X_Xm128
  383. | Vcmpps_Y_Y_Ym256
  384. | Vcmpsd
  385. | Vcmpss
  386. | Vcomisd
  387. | Vcomiss
  388. | Vcvtdq2pd_X_Xm64
  389. | Vcvtdq2pd_Y_Xm128
  390. | Vcvtdq2ps_X_Xm128
  391. | Vcvtdq2ps_Y_Ym256
  392. | Vcvtpd2dq_X_Xm128
  393. | Vcvtpd2dq_X_Ym256
  394. | Vcvtpd2ps_X_Xm128
  395. | Vcvtpd2ps_X_Ym256
  396. | Vcvtph2ps_X_Xm64
  397. | Vcvtph2ps_Y_Xm128
  398. | Vcvtps2dq_X_Xm128
  399. | Vcvtps2dq_Y_Ym256
  400. | Vcvtps2pd_X_Xm64
  401. | Vcvtps2pd_Y_Xm128
  402. | Vcvtps2ph_Xm128_Y
  403. | Vcvtps2ph_Xm64_X
  404. | Vcvtsd2si_r32_Xm64
  405. | Vcvtsd2si_r64_Xm64
  406. | Vcvtsd2ss
  407. | Vcvtsi2sd_X_X_r32m32
  408. | Vcvtsi2sd_X_X_r64m64
  409. | Vcvtsi2ss_X_X_r32m32
  410. | Vcvtsi2ss_X_X_r64m64
  411. | Vcvtss2sd
  412. | Vcvtss2si_r32_Xm32
  413. | Vcvtss2si_r64_Xm32
  414. | Vcvttpd2dq_X_Xm128
  415. | Vcvttpd2dq_X_Ym256
  416. | Vcvttps2dq_X_Xm128
  417. | Vcvttps2dq_Y_Ym256
  418. | Vcvttsd2si_r32_Xm64
  419. | Vcvttsd2si_r64_Xm64
  420. | Vcvttss2si_r32_Xm32
  421. | Vcvttss2si_r64_Xm32
  422. | Vdivpd_X_X_Xm128
  423. | Vdivpd_Y_Y_Ym256
  424. | Vdivps_X_X_Xm128
  425. | Vdivps_Y_Y_Ym256
  426. | Vdivsd
  427. | Vdivss
  428. | Vdppd
  429. | Vdpps_X_X_Xm128
  430. | Vdpps_Y_Y_Ym256
  431. | Vextractf128
  432. | Vextracti128
  433. | Vextractps
  434. | Vfmadd132pd_X_X_Xm128
  435. | Vfmadd132pd_Y_Y_Ym256
  436. | Vfmadd132ps_X_X_Xm128
  437. | Vfmadd132ps_Y_Y_Ym256
  438. | Vfmadd132sd
  439. | Vfmadd132ss
  440. | Vfmadd213pd_X_X_Xm128
  441. | Vfmadd213pd_Y_Y_Ym256
  442. | Vfmadd213ps_X_X_Xm128
  443. | Vfmadd213ps_Y_Y_Ym256
  444. | Vfmadd213sd
  445. | Vfmadd213ss
  446. | Vfmadd231pd_X_X_Xm128
  447. | Vfmadd231pd_Y_Y_Ym256
  448. | Vfmadd231ps_X_X_Xm128
  449. | Vfmadd231ps_Y_Y_Ym256
  450. | Vfmadd231sd
  451. | Vfmadd231ss
  452. | Vfmaddsub132pd_X_X_Xm128
  453. | Vfmaddsub132pd_Y_Y_Ym256
  454. | Vfmaddsub132ps_X_X_Xm128
  455. | Vfmaddsub132ps_Y_Y_Ym256
  456. | Vfmaddsub213pd_X_X_Xm128
  457. | Vfmaddsub213pd_Y_Y_Ym256
  458. | Vfmaddsub213ps_X_X_Xm128
  459. | Vfmaddsub213ps_Y_Y_Ym256
  460. | Vfmaddsub231pd_X_X_Xm128
  461. | Vfmaddsub231pd_Y_Y_Ym256
  462. | Vfmaddsub231ps_X_X_Xm128
  463. | Vfmaddsub231ps_Y_Y_Ym256
  464. | Vfmsub132pd_X_X_Xm128
  465. | Vfmsub132pd_Y_Y_Ym256
  466. | Vfmsub132ps_X_X_Xm128
  467. | Vfmsub132ps_Y_Y_Ym256
  468. | Vfmsub132sd
  469. | Vfmsub132ss
  470. | Vfmsub213pd_X_X_Xm128
  471. | Vfmsub213pd_Y_Y_Ym256
  472. | Vfmsub213ps_X_X_Xm128
  473. | Vfmsub213ps_Y_Y_Ym256
  474. | Vfmsub213sd
  475. | Vfmsub213ss
  476. | Vfmsub231pd_X_X_Xm128
  477. | Vfmsub231pd_Y_Y_Ym256
  478. | Vfmsub231ps_X_X_Xm128
  479. | Vfmsub231ps_Y_Y_Ym256
  480. | Vfmsub231sd
  481. | Vfmsub231ss
  482. | Vfmsubadd132pd_X_X_Xm128
  483. | Vfmsubadd132pd_Y_Y_Ym256
  484. | Vfmsubadd132ps_X_X_Xm128
  485. | Vfmsubadd132ps_Y_Y_Ym256
  486. | Vfmsubadd213pd_X_X_Xm128
  487. | Vfmsubadd213pd_Y_Y_Ym256
  488. | Vfmsubadd213ps_X_X_Xm128
  489. | Vfmsubadd213ps_Y_Y_Ym256
  490. | Vfmsubadd231pd_X_X_Xm128
  491. | Vfmsubadd231pd_Y_Y_Ym256
  492. | Vfmsubadd231ps_X_X_Xm128
  493. | Vfmsubadd231ps_Y_Y_Ym256
  494. | Vfnmadd132pd_X_X_Xm128
  495. | Vfnmadd132pd_Y_Y_Ym256
  496. | Vfnmadd132ps_X_X_Xm128
  497. | Vfnmadd132ps_Y_Y_Ym256
  498. | Vfnmadd132sd
  499. | Vfnmadd132ss
  500. | Vfnmadd213pd_X_X_Xm128
  501. | Vfnmadd213pd_Y_Y_Ym256
  502. | Vfnmadd213ps_X_X_Xm128
  503. | Vfnmadd213ps_Y_Y_Ym256
  504. | Vfnmadd213sd
  505. | Vfnmadd213ss
  506. | Vfnmadd231pd_X_X_Xm128
  507. | Vfnmadd231pd_Y_Y_Ym256
  508. | Vfnmadd231ps_X_X_Xm128
  509. | Vfnmadd231ps_Y_Y_Ym256
  510. | Vfnmadd231sd
  511. | Vfnmadd231ss
  512. | Vfnmsub132pd_X_X_Xm128
  513. | Vfnmsub132pd_Y_Y_Ym256
  514. | Vfnmsub132ps_X_X_Xm128
  515. | Vfnmsub132ps_Y_Y_Ym256
  516. | Vfnmsub132sd
  517. | Vfnmsub132ss
  518. | Vfnmsub213pd_X_X_Xm128
  519. | Vfnmsub213pd_Y_Y_Ym256
  520. | Vfnmsub213ps_X_X_Xm128
  521. | Vfnmsub213ps_Y_Y_Ym256
  522. | Vfnmsub213sd
  523. | Vfnmsub213ss
  524. | Vfnmsub231pd_X_X_Xm128
  525. | Vfnmsub231pd_Y_Y_Ym256
  526. | Vfnmsub231ps_X_X_Xm128
  527. | Vfnmsub231ps_Y_Y_Ym256
  528. | Vfnmsub231sd
  529. | Vfnmsub231ss
  530. | Vgatherdpd_X_M32X_X
  531. | Vgatherdpd_Y_M32X_Y
  532. | Vgatherdps_X_M32X_X
  533. | Vgatherdps_Y_M32Y_Y
  534. | Vgatherqpd_X_M64X_X
  535. | Vgatherqpd_Y_M64Y_Y
  536. | Vgatherqps_X_M64X_X
  537. | Vgatherqps_X_M64Y_X
  538. | Vhaddpd_X_X_Xm128
  539. | Vhaddpd_Y_Y_Ym256
  540. | Vhaddps_X_X_Xm128
  541. | Vhaddps_Y_Y_Ym256
  542. | Vhsubpd_X_X_Xm128
  543. | Vhsubpd_Y_Y_Ym256
  544. | Vhsubps_X_X_Xm128
  545. | Vhsubps_Y_Y_Ym256
  546. | Vinsertf128
  547. | Vinserti128
  548. | Vinsertps
  549. | Vlddqu_X_m128
  550. | Vlddqu_Y_m256
  551. | Vldmxcsr
  552. | Vmaskmovdqu
  553. | Vmaskmovpd_X_X_m128
  554. | Vmaskmovpd_Y_Y_m256
  555. | Vmaskmovpd_m128_X_X
  556. | Vmaskmovpd_m256_Y_Y
  557. | Vmaskmovps_X_X_m128
  558. | Vmaskmovps_Y_Y_m256
  559. | Vmaskmovps_m128_X_X
  560. | Vmaskmovps_m256_Y_Y
  561. | Vmaxpd_X_X_Xm128
  562. | Vmaxpd_Y_Y_Ym256
  563. | Vmaxps_X_X_Xm128
  564. | Vmaxps_Y_Y_Ym256
  565. | Vmaxsd
  566. | Vmaxss
  567. | Vminpd_X_X_Xm128
  568. | Vminpd_Y_Y_Ym256
  569. | Vminps_X_X_Xm128
  570. | Vminps_Y_Y_Ym256
  571. | Vminsd
  572. | Vminss
  573. | Vmovapd_X_Xm128
  574. | Vmovapd_Xm128_X
  575. | Vmovapd_Y_Ym256
  576. | Vmovapd_Ym256_Y
  577. | Vmovapd_m128_X
  578. | Vmovapd_m256_Y
  579. | Vmovaps_X_Xm128
  580. | Vmovaps_Xm128_X
  581. | Vmovaps_Y_Ym256
  582. | Vmovaps_Ym256_Y
  583. | Vmovd_X_r32m32
  584. | Vmovd_r32m32_X
  585. | Vmovddup_X_Xm64
  586. | Vmovddup_Y_Ym256
  587. | Vmovdqa_X_Xm128
  588. | Vmovdqa_Xm128_X
  589. | Vmovdqa_Y_Ym256
  590. | Vmovdqa_Ym256_Y
  591. | Vmovdqu_X_Xm128
  592. | Vmovdqu_Xm128_X
  593. | Vmovdqu_Y_Ym256
  594. | Vmovdqu_Ym256_Y
  595. | Vmovhlps
  596. | Vmovhpd_X_X_m64
  597. | Vmovhpd_m64_X
  598. | Vmovhps_X_X_m64
  599. | Vmovhps_m64_X
  600. | Vmovlhps
  601. | Vmovlpd_X_X_m64
  602. | Vmovlpd_m64_X
  603. | Vmovlps_X_X_m64
  604. | Vmovlps_m64_X
  605. | Vmovmskpd_r64_X
  606. | Vmovmskpd_r64_Y
  607. | Vmovmskps_r64_X
  608. | Vmovmskps_r64_Y
  609. | Vmovntdq_m128_X
  610. | Vmovntdq_m256_Y
  611. | Vmovntdqa_X_m128
  612. | Vmovntdqa_Y_m256
  613. | Vmovntpd_m128_X
  614. | Vmovntpd_m256_Y
  615. | Vmovntps_m128_X
  616. | Vmovntps_m256_Y
  617. | Vmovq_X_Xm64
  618. | Vmovq_X_r64m64
  619. | Vmovq_Xm64_X
  620. | Vmovq_r64m64_X
  621. | Vmovsd_X_X_X
  622. | Vmovsd_X_m64
  623. | Vmovsd_m64_X
  624. | Vmovshdup_X_Xm128
  625. | Vmovshdup_Y_Ym256
  626. | Vmovsldup_X_Xm128
  627. | Vmovsldup_Y_Ym256
  628. | Vmovss_X_X_X
  629. | Vmovss_X_m32
  630. | Vmovss_m32_X
  631. | Vmovupd_X_Xm128
  632. | Vmovupd_Xm128_X
  633. | Vmovupd_Y_Ym256
  634. | Vmovupd_Ym256_Y
  635. | Vmovupd_m128_X
  636. | Vmovupd_m256_Y
  637. | Vmovups_X_Xm128
  638. | Vmovups_Xm128_X
  639. | Vmovups_Y_Ym256
  640. | Vmovups_Ym256_Y
  641. | Vmpsadbw_X_X_Xm128
  642. | Vmpsadbw_Y_Y_Ym256
  643. | Vmulpd_X_X_Xm128
  644. | Vmulpd_Y_Y_Ym256
  645. | Vmulps_X_X_Xm128
  646. | Vmulps_Y_Y_Ym256
  647. | Vmulsd
  648. | Vmulss
  649. | Vorpd_X_X_Xm128
  650. | Vorpd_Y_Y_Ym256
  651. | Vorps_X_X_Xm128
  652. | Vorps_Y_Y_Ym256
  653. | Vpabsb_X_Xm128
  654. | Vpabsb_Y_Ym256
  655. | Vpabsd_X_Xm128
  656. | Vpabsd_Y_Ym256
  657. | Vpabsw_X_Xm128
  658. | Vpabsw_Y_Ym256
  659. | Vpackssdw_X_X_Xm128
  660. | Vpackssdw_Y_Y_Ym256
  661. | Vpacksswb_X_X_Xm128
  662. | Vpacksswb_Y_Y_Ym256
  663. | Vpackusdw_X_X_Xm128
  664. | Vpackusdw_Y_Y_Ym256
  665. | Vpackuswb_X_X_Xm128
  666. | Vpackuswb_Y_Y_Ym256
  667. | Vpaddb_X_X_Xm128
  668. | Vpaddb_Y_Y_Ym256
  669. | Vpaddd_X_X_Xm128
  670. | Vpaddd_Y_Y_Ym256
  671. | Vpaddq_X_X_Xm128
  672. | Vpaddq_Y_Y_Ym256
  673. | Vpaddsb_X_X_Xm128
  674. | Vpaddsb_Y_Y_Ym256
  675. | Vpaddsw_X_X_Xm128
  676. | Vpaddsw_Y_Y_Ym256
  677. | Vpaddusb_X_X_Xm128
  678. | Vpaddusb_Y_Y_Ym256
  679. | Vpaddusw_X_X_Xm128
  680. | Vpaddusw_Y_Y_Ym256
  681. | Vpaddw_X_X_Xm128
  682. | Vpaddw_Y_Y_Ym256
  683. | Vpalignr_X_X_Xm128
  684. | Vpalignr_Y_Y_Ym256
  685. | Vpand_X_X_Xm128
  686. | Vpand_Y_Y_Ym256
  687. | Vpandn_X_X_Xm128
  688. | Vpandn_Y_Y_Ym256
  689. | Vpavgb_X_X_Xm128
  690. | Vpavgb_Y_Y_Ym256
  691. | Vpavgw_X_X_Xm128
  692. | Vpavgw_Y_Y_Ym256
  693. | Vpblendd_X_X_Xm128
  694. | Vpblendd_Y_Y_Ym256
  695. | Vpblendvb_X_X_Xm128_X
  696. | Vpblendvb_Y_Y_Ym256_Y
  697. | Vpblendw_X_X_Xm128
  698. | Vpblendw_Y_Y_Ym256
  699. | Vpbroadcastb_X_Xm8
  700. | Vpbroadcastb_Y_Xm8
  701. | Vpbroadcastd_X_Xm32
  702. | Vpbroadcastd_Y_Xm32
  703. | Vpbroadcastq_X_Xm64
  704. | Vpbroadcastq_Y_Xm64
  705. | Vpbroadcastw_X_Xm16
  706. | Vpbroadcastw_Y_Xm16
  707. | Vpclmulqdq
  708. | Vpcmpeqb_X_X_Xm128
  709. | Vpcmpeqb_Y_Y_Ym256
  710. | Vpcmpeqd_X_X_Xm128
  711. | Vpcmpeqd_Y_Y_Ym256
  712. | Vpcmpeqq_X_X_Xm128
  713. | Vpcmpeqq_Y_Y_Ym256
  714. | Vpcmpeqw_X_X_Xm128
  715. | Vpcmpeqw_Y_Y_Ym256
  716. | Vpcmpestri
  717. | Vpcmpestrm
  718. | Vpcmpgtb_X_X_Xm128
  719. | Vpcmpgtb_Y_Y_Ym256
  720. | Vpcmpgtd_X_X_Xm128
  721. | Vpcmpgtd_Y_Y_Ym256
  722. | Vpcmpgtq_X_X_Xm128
  723. | Vpcmpgtq_Y_Y_Ym256
  724. | Vpcmpgtw_X_X_Xm128
  725. | Vpcmpgtw_Y_Y_Ym256
  726. | Vpcmpistri
  727. | Vpcmpistrm
  728. | Vperm2f128
  729. | Vperm2i128
  730. | Vpermd
  731. | Vpermilpd_X_X_Xm128
  732. | Vpermilpd_X_Xm128
  733. | Vpermilpd_Y_Y_Ym256
  734. | Vpermilpd_Y_Ym256
  735. | Vpermilps_X_X_Xm128
  736. | Vpermilps_X_Xm128
  737. | Vpermilps_Y_Y_Ym256
  738. | Vpermilps_Y_Ym256
  739. | Vpermpd
  740. | Vpermps
  741. | Vpermq
  742. | Vpextrb
  743. | Vpextrd
  744. | Vpextrq
  745. | Vpextrw_r64_X
  746. | Vpextrw_r64m16_X
  747. | Vpgatherdd_X_M32X_X
  748. | Vpgatherdd_Y_M32Y_Y
  749. | Vpgatherdq_X_M32X_X
  750. | Vpgatherdq_Y_M32X_Y
  751. | Vpgatherqd_X_M64X_X
  752. | Vpgatherqd_X_M64Y_X
  753. | Vpgatherqq_X_M64X_X
  754. | Vpgatherqq_Y_M64Y_Y
  755. | Vphaddd_X_X_Xm128
  756. | Vphaddd_Y_Y_Ym256
  757. | Vphaddsw_X_X_Xm128
  758. | Vphaddsw_Y_Y_Ym256
  759. | Vphaddw_X_X_Xm128
  760. | Vphaddw_Y_Y_Ym256
  761. | Vphminposuw
  762. | Vphsubd_X_X_Xm128
  763. | Vphsubd_Y_Y_Ym256
  764. | Vphsubsw_X_X_Xm128
  765. | Vphsubsw_Y_Y_Ym256
  766. | Vphsubw_X_X_Xm128
  767. | Vphsubw_Y_Y_Ym256
  768. | Vpinsrb
  769. | Vpinsrd
  770. | Vpinsrq
  771. | Vpinsrw
  772. | Vpmaddubsw_X_X_Xm128
  773. | Vpmaddubsw_Y_Y_Ym256
  774. | Vpmaddwd_X_X_Xm128
  775. | Vpmaddwd_Y_Y_Ym256
  776. | Vpmaskmovd_X_X_m128
  777. | Vpmaskmovd_Y_Y_m256
  778. | Vpmaskmovd_m128_X_X
  779. | Vpmaskmovd_m256_Y_Y
  780. | Vpmaskmovq_X_X_m128
  781. | Vpmaskmovq_Y_Y_m256
  782. | Vpmaskmovq_m128_X_X
  783. | Vpmaskmovq_m256_Y_Y
  784. | Vpmaxsb_X_X_Xm128
  785. | Vpmaxsb_Y_Y_Ym256
  786. | Vpmaxsd_X_X_Xm128
  787. | Vpmaxsd_Y_Y_Ym256
  788. | Vpmaxsw_X_X_Xm128
  789. | Vpmaxsw_Y_Y_Ym256
  790. | Vpmaxub_X_X_Xm128
  791. | Vpmaxub_Y_Y_Ym256
  792. | Vpmaxud_X_X_Xm128
  793. | Vpmaxud_Y_Y_Ym256
  794. | Vpmaxuw_X_X_Xm128
  795. | Vpmaxuw_Y_Y_Ym256
  796. | Vpminsb_X_X_Xm128
  797. | Vpminsb_Y_Y_Ym256
  798. | Vpminsd_X_X_Xm128
  799. | Vpminsd_Y_Y_Ym256
  800. | Vpminsw_X_X_Xm128
  801. | Vpminsw_Y_Y_Ym256
  802. | Vpminub_X_X_Xm128
  803. | Vpminub_Y_Y_Ym256
  804. | Vpminud_X_X_Xm128
  805. | Vpminud_Y_Y_Ym256
  806. | Vpminuw_X_X_Xm128
  807. | Vpminuw_Y_Y_Ym256
  808. | Vpmovmskb_r64_X
  809. | Vpmovmskb_r64_Y
  810. | Vpmovsxbd_X_Xm32
  811. | Vpmovsxbd_Y_Xm64
  812. | Vpmovsxbq_X_Xm16
  813. | Vpmovsxbq_Y_Xm32
  814. | Vpmovsxbw_X_Xm64
  815. | Vpmovsxbw_Y_Xm128
  816. | Vpmovsxdq_X_Xm64
  817. | Vpmovsxdq_Y_Xm128
  818. | Vpmovsxwd_X_Xm64
  819. | Vpmovsxwd_Y_Xm128
  820. | Vpmovsxwq_X_Xm32
  821. | Vpmovsxwq_Y_Xm64
  822. | Vpmovzxbd_X_Xm32
  823. | Vpmovzxbd_Y_Xm64
  824. | Vpmovzxbq_X_Xm16
  825. | Vpmovzxbq_Y_Xm32
  826. | Vpmovzxbw_X_Xm64
  827. | Vpmovzxbw_Y_Xm128
  828. | Vpmovzxdq_X_Xm64
  829. | Vpmovzxdq_Y_Xm128
  830. | Vpmovzxwd_X_Xm64
  831. | Vpmovzxwd_Y_Xm128
  832. | Vpmovzxwq_X_Xm32
  833. | Vpmovzxwq_Y_Xm64
  834. | Vpmuldq_X_X_Xm128
  835. | Vpmuldq_Y_Y_Ym256
  836. | Vpmulhrsw_X_X_Xm128
  837. | Vpmulhrsw_Y_Y_Ym256
  838. | Vpmulhuw_X_X_Xm128
  839. | Vpmulhuw_Y_Y_Ym256
  840. | Vpmulhw_X_X_Xm128
  841. | Vpmulhw_Y_Y_Ym256
  842. | Vpmulld_X_X_Xm128
  843. | Vpmulld_Y_Y_Ym256
  844. | Vpmullw_X_X_Xm128
  845. | Vpmullw_Y_Y_Ym256
  846. | Vpmuludq_X_X_Xm128
  847. | Vpmuludq_Y_Y_Ym256
  848. | Vpor_X_X_Xm128
  849. | Vpor_Y_Y_Ym256
  850. | Vpsadbw_X_X_Xm128
  851. | Vpsadbw_Y_Y_Ym256
  852. | Vpshufb_X_X_Xm128
  853. | Vpshufb_Y_Y_Ym256
  854. | Vpshufd_X_Xm128
  855. | Vpshufd_Y_Ym256
  856. | Vpshufhw_X_Xm128
  857. | Vpshufhw_Y_Ym256
  858. | Vpshuflw_X_Xm128
  859. | Vpshuflw_Y_Ym256
  860. | Vpsignb_X_X_Xm128
  861. | Vpsignb_Y_Y_Ym256
  862. | Vpsignd_X_X_Xm128
  863. | Vpsignd_Y_Y_Ym256
  864. | Vpsignw_X_X_Xm128
  865. | Vpsignw_Y_Y_Ym256
  866. | Vpslld_X_X
  867. | Vpslld_X_X_Xm128
  868. | Vpslld_Y_Y
  869. | Vpslld_Y_Y_Xm128
  870. | Vpslldq_X_X
  871. | Vpslldq_Y_Y
  872. | Vpsllq_X_X
  873. | Vpsllq_X_X_Xm128
  874. | Vpsllq_Y_Y
  875. | Vpsllq_Y_Y_Xm128
  876. | Vpsllvd_X_X_Xm128
  877. | Vpsllvd_Y_Y_Ym256
  878. | Vpsllvq_X_X_Xm128
  879. | Vpsllvq_Y_Y_Ym256
  880. | Vpsllw_X_X
  881. | Vpsllw_X_X_Xm128
  882. | Vpsllw_Y_Y
  883. | Vpsllw_Y_Y_Xm128
  884. | Vpsrad_X_X
  885. | Vpsrad_X_X_Xm128
  886. | Vpsrad_Y_Y
  887. | Vpsrad_Y_Y_Xm128
  888. | Vpsravd_X_X_Xm128
  889. | Vpsravd_Y_Y_Ym256
  890. | Vpsraw_X_X
  891. | Vpsraw_X_X_Xm128
  892. | Vpsraw_Y_Y
  893. | Vpsraw_Y_Y_Xm128
  894. | Vpsrld_X_X
  895. | Vpsrld_X_X_Xm128
  896. | Vpsrld_Y_Y
  897. | Vpsrld_Y_Y_Xm128
  898. | Vpsrldq_X_X
  899. | Vpsrldq_Y_Y
  900. | Vpsrlq_X_X
  901. | Vpsrlq_X_X_Xm128
  902. | Vpsrlq_Y_Y
  903. | Vpsrlq_Y_Y_Xm128
  904. | Vpsrlvd_X_X_Xm128
  905. | Vpsrlvd_Y_Y_Ym256
  906. | Vpsrlvq_X_X_Xm128
  907. | Vpsrlvq_Y_Y_Ym256
  908. | Vpsrlw_X_X
  909. | Vpsrlw_X_X_Xm128
  910. | Vpsrlw_Y_Y
  911. | Vpsrlw_Y_Y_Xm128
  912. | Vpsubb_X_X_Xm128
  913. | Vpsubb_Y_Y_Ym256
  914. | Vpsubd_X_X_Xm128
  915. | Vpsubd_Y_Y_Ym256
  916. | Vpsubq_X_X_Xm128
  917. | Vpsubq_Y_Y_Ym256
  918. | Vpsubsb_X_X_Xm128
  919. | Vpsubsb_Y_Y_Ym256
  920. | Vpsubsw_X_X_Xm128
  921. | Vpsubsw_Y_Y_Ym256
  922. | Vpsubusb_X_X_Xm128
  923. | Vpsubusb_Y_Y_Ym256
  924. | Vpsubusw_X_X_Xm128
  925. | Vpsubusw_Y_Y_Ym256
  926. | Vpsubw_X_X_Xm128
  927. | Vpsubw_Y_Y_Ym256
  928. | Vptest_r64_X_Xm128
  929. | Vptest_r64_Y_Ym256
  930. | Vpunpckhbw_X_X_Xm128
  931. | Vpunpckhbw_Y_Y_Ym256
  932. | Vpunpckhdq_X_X_Xm128
  933. | Vpunpckhdq_Y_Y_Ym256
  934. | Vpunpckhqdq_X_X_Xm128
  935. | Vpunpckhqdq_Y_Y_Ym256
  936. | Vpunpckhwd_X_X_Xm128
  937. | Vpunpckhwd_Y_Y_Ym256
  938. | Vpunpcklbw_X_X_Xm128
  939. | Vpunpcklbw_Y_Y_Ym256
  940. | Vpunpckldq_X_X_Xm128
  941. | Vpunpckldq_Y_Y_Ym256
  942. | Vpunpcklqdq_X_X_Xm128
  943. | Vpunpcklqdq_Y_Y_Ym256
  944. | Vpunpcklwd_X_X_Xm128
  945. | Vpunpcklwd_Y_Y_Ym256
  946. | Vpxor_X_X_Xm128
  947. | Vpxor_Y_Y_Ym256
  948. | Vrcpps_X_Xm128
  949. | Vrcpps_Y_Ym256
  950. | Vrcpss
  951. | Vroundpd_X_Xm128
  952. | Vroundpd_Y_Ym256
  953. | Vroundps_X_Xm128
  954. | Vroundps_Y_Ym256
  955. | Vroundsd
  956. | Vroundss
  957. | Vrsqrtps_X_Xm128
  958. | Vrsqrtps_Y_Ym256
  959. | Vrsqrtss
  960. | Vshufpd_X_X_Xm128
  961. | Vshufpd_Y_Y_Ym256
  962. | Vshufps_X_X_Xm128
  963. | Vshufps_Y_Y_Ym256
  964. | Vsqrtpd_X_Xm128
  965. | Vsqrtpd_Y_Ym256
  966. | Vsqrtps_X_Xm128
  967. | Vsqrtps_Y_Ym256
  968. | Vsqrtsd
  969. | Vsqrtss
  970. | Vstmxcsr
  971. | Vsubpd_X_X_Xm128
  972. | Vsubpd_Y_Y_Ym256
  973. | Vsubps_X_X_Xm128
  974. | Vsubps_Y_Y_Ym256
  975. | Vsubsd
  976. | Vsubss
  977. | Vtestpd_X_Xm128
  978. | Vtestpd_Y_Ym256
  979. | Vtestps_X_Xm128
  980. | Vtestps_Y_Ym256
  981. | Vucomisd
  982. | Vucomiss
  983. | Vunpckhpd_X_X_Xm128
  984. | Vunpckhpd_Y_Y_Ym256
  985. | Vunpckhps_X_X_Xm128
  986. | Vunpckhps_Y_Y_Ym256
  987. | Vunpcklpd_X_X_Xm128
  988. | Vunpcklpd_Y_Y_Ym256
  989. | Vunpcklps_X_X_Xm128
  990. | Vunpcklps_Y_Y_Ym256
  991. | Vxorpd_X_X_Xm128
  992. | Vxorpd_Y_Y_Ym256
  993. | Vxorps_X_X_Xm128
  994. | Vxorps_Y_Y_Ym256
  995. | Vzeroall
  996. | Vzeroupper
  997. | Xorpd
  998. | Xorps
val mulx_r32_r32_r32m32_rdx : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val mulx_r64_r64_r64m64_rdx : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmaddsub132pd_X_X_Xm128 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmaddsub132pd_Y_Y_Ym256 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmaddsub132ps_X_X_Xm128 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmaddsub132ps_Y_Y_Ym256 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmaddsub213pd_X_X_Xm128 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmaddsub213pd_Y_Y_Ym256 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmaddsub213ps_X_X_Xm128 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmaddsub213ps_Y_Y_Ym256 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmaddsub231pd_X_X_Xm128 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmaddsub231pd_Y_Y_Ym256 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmaddsub231ps_X_X_Xm128 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmaddsub231ps_Y_Y_Ym256 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmsubadd132pd_X_X_Xm128 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmsubadd132pd_Y_Y_Ym256 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmsubadd132ps_X_X_Xm128 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmsubadd132ps_Y_Y_Ym256 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmsubadd213pd_X_X_Xm128 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmsubadd213pd_Y_Y_Ym256 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmsubadd213ps_X_X_Xm128 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmsubadd213ps_Y_Y_Ym256 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmsubadd231pd_X_X_Xm128 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmsubadd231pd_Y_Y_Ym256 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmsubadd231ps_X_X_Xm128 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val vfmsubadd231ps_Y_Y_Ym256 : Simd.Amd64_simd_instrs.id Amd64_simd_defs.instr
val equal : 'a -> 'a -> bool