You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

1087 lines
28KB

  1. ;*****************************************************************************
  2. ;* x86inc.asm: x264asm abstraction layer
  3. ;*****************************************************************************
  4. ;* Copyright (C) 2005-2011 x264 project
  5. ;*
  6. ;* Authors: Loren Merritt <lorenm@u.washington.edu>
  7. ;* Anton Mitrofanov <BugMaster@narod.ru>
  8. ;* Jason Garrett-Glaser <darkshikari@gmail.com>
  9. ;*
  10. ;* Permission to use, copy, modify, and/or distribute this software for any
  11. ;* purpose with or without fee is hereby granted, provided that the above
  12. ;* copyright notice and this permission notice appear in all copies.
  13. ;*
  14. ;* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
  15. ;* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
  16. ;* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
  17. ;* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
  18. ;* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
  19. ;* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  20. ;* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  21. ;*****************************************************************************
  22. ; This is a header file for the x264ASM assembly language, which uses
  23. ; NASM/YASM syntax combined with a large number of macros to provide easy
  24. ; abstraction between different calling conventions (x86_32, win64, linux64).
  25. ; It also has various other useful features to simplify writing the kind of
  26. ; DSP functions that are most often used in x264.
  27. ; Unlike the rest of x264, this file is available under an ISC license, as it
  28. ; has significant usefulness outside of x264 and we want it to be available
  29. ; to the largest audience possible. Of course, if you modify it for your own
  30. ; purposes to add a new feature, we strongly encourage contributing a patch
  31. ; as this feature might be useful for others as well. Send patches or ideas
  32. ; to x264-devel@videolan.org .
  33. %define program_name ff
  34. %define UNIX64 0
  35. %define WIN64 0
  36. %if ARCH_X86_64
  37. %ifidn __OUTPUT_FORMAT__,win32
  38. %define WIN64 1
  39. %else
  40. %define UNIX64 1
  41. %endif
  42. %endif
  43. %ifdef PREFIX
  44. %define mangle(x) _ %+ x
  45. %else
  46. %define mangle(x) x
  47. %endif
  48. ; FIXME: All of the 64bit asm functions that take a stride as an argument
  49. ; via register, assume that the high dword of that register is filled with 0.
  50. ; This is true in practice (since we never do any 64bit arithmetic on strides,
  51. ; and x264's strides are all positive), but is not guaranteed by the ABI.
  52. ; Name of the .rodata section.
  53. ; Kludge: Something on OS X fails to align .rodata even given an align attribute,
  54. ; so use a different read-only section.
  55. %macro SECTION_RODATA 0-1 16
  56. %ifidn __OUTPUT_FORMAT__,macho64
  57. SECTION .text align=%1
  58. %elifidn __OUTPUT_FORMAT__,macho
  59. SECTION .text align=%1
  60. fakegot:
  61. %elifidn __OUTPUT_FORMAT__,aout
  62. section .text
  63. %else
  64. SECTION .rodata align=%1
  65. %endif
  66. %endmacro
  67. ; aout does not support align=
  68. %macro SECTION_TEXT 0-1 16
  69. %ifidn __OUTPUT_FORMAT__,aout
  70. SECTION .text
  71. %else
  72. SECTION .text align=%1
  73. %endif
  74. %endmacro
  75. %if WIN64
  76. %define PIC
  77. %elif ARCH_X86_64 == 0
  78. ; x86_32 doesn't require PIC.
  79. ; Some distros prefer shared objects to be PIC, but nothing breaks if
  80. ; the code contains a few textrels, so we'll skip that complexity.
  81. %undef PIC
  82. %endif
  83. %ifdef PIC
  84. default rel
  85. %endif
  86. ; Macros to eliminate most code duplication between x86_32 and x86_64:
  87. ; Currently this works only for leaf functions which load all their arguments
  88. ; into registers at the start, and make no other use of the stack. Luckily that
  89. ; covers most of x264's asm.
  90. ; PROLOGUE:
  91. ; %1 = number of arguments. loads them from stack if needed.
  92. ; %2 = number of registers used. pushes callee-saved regs if needed.
  93. ; %3 = number of xmm registers used. pushes callee-saved xmm regs if needed.
  94. ; %4 = list of names to define to registers
  95. ; PROLOGUE can also be invoked by adding the same options to cglobal
  96. ; e.g.
  97. ; cglobal foo, 2,3,0, dst, src, tmp
  98. ; declares a function (foo), taking two args (dst and src) and one local variable (tmp)
  99. ; TODO Some functions can use some args directly from the stack. If they're the
  100. ; last args then you can just not declare them, but if they're in the middle
  101. ; we need more flexible macro.
  102. ; RET:
  103. ; Pops anything that was pushed by PROLOGUE, and returns.
  104. ; REP_RET:
  105. ; Same, but if it doesn't pop anything it becomes a 2-byte ret, for athlons
  106. ; which are slow when a normal ret follows a branch.
  107. ; registers:
  108. ; rN and rNq are the native-size register holding function argument N
  109. ; rNd, rNw, rNb are dword, word, and byte size
  110. ; rNm is the original location of arg N (a register or on the stack), dword
  111. ; rNmp is native size
  112. %macro DECLARE_REG 6
  113. %define r%1q %2
  114. %define r%1d %3
  115. %define r%1w %4
  116. %define r%1b %5
  117. %define r%1m %6
  118. %ifid %6 ; i.e. it's a register
  119. %define r%1mp %2
  120. %elif ARCH_X86_64 ; memory
  121. %define r%1mp qword %6
  122. %else
  123. %define r%1mp dword %6
  124. %endif
  125. %define r%1 %2
  126. %endmacro
  127. %macro DECLARE_REG_SIZE 2
  128. %define r%1q r%1
  129. %define e%1q r%1
  130. %define r%1d e%1
  131. %define e%1d e%1
  132. %define r%1w %1
  133. %define e%1w %1
  134. %define r%1b %2
  135. %define e%1b %2
  136. %if ARCH_X86_64 == 0
  137. %define r%1 e%1
  138. %endif
  139. %endmacro
  140. DECLARE_REG_SIZE ax, al
  141. DECLARE_REG_SIZE bx, bl
  142. DECLARE_REG_SIZE cx, cl
  143. DECLARE_REG_SIZE dx, dl
  144. DECLARE_REG_SIZE si, sil
  145. DECLARE_REG_SIZE di, dil
  146. DECLARE_REG_SIZE bp, bpl
  147. ; t# defines for when per-arch register allocation is more complex than just function arguments
  148. %macro DECLARE_REG_TMP 1-*
  149. %assign %%i 0
  150. %rep %0
  151. CAT_XDEFINE t, %%i, r%1
  152. %assign %%i %%i+1
  153. %rotate 1
  154. %endrep
  155. %endmacro
  156. %macro DECLARE_REG_TMP_SIZE 0-*
  157. %rep %0
  158. %define t%1q t%1 %+ q
  159. %define t%1d t%1 %+ d
  160. %define t%1w t%1 %+ w
  161. %define t%1b t%1 %+ b
  162. %rotate 1
  163. %endrep
  164. %endmacro
  165. DECLARE_REG_TMP_SIZE 0,1,2,3,4,5,6,7,8,9
  166. %if ARCH_X86_64
  167. %define gprsize 8
  168. %else
  169. %define gprsize 4
  170. %endif
  171. %macro PUSH 1
  172. push %1
  173. %assign stack_offset stack_offset+gprsize
  174. %endmacro
  175. %macro POP 1
  176. pop %1
  177. %assign stack_offset stack_offset-gprsize
  178. %endmacro
  179. %macro SUB 2
  180. sub %1, %2
  181. %ifidn %1, rsp
  182. %assign stack_offset stack_offset+(%2)
  183. %endif
  184. %endmacro
  185. %macro ADD 2
  186. add %1, %2
  187. %ifidn %1, rsp
  188. %assign stack_offset stack_offset-(%2)
  189. %endif
  190. %endmacro
  191. %macro movifnidn 2
  192. %ifnidn %1, %2
  193. mov %1, %2
  194. %endif
  195. %endmacro
  196. %macro movsxdifnidn 2
  197. %ifnidn %1, %2
  198. movsxd %1, %2
  199. %endif
  200. %endmacro
  201. %macro ASSERT 1
  202. %if (%1) == 0
  203. %error assert failed
  204. %endif
  205. %endmacro
  206. %macro DEFINE_ARGS 0-*
  207. %ifdef n_arg_names
  208. %assign %%i 0
  209. %rep n_arg_names
  210. CAT_UNDEF arg_name %+ %%i, q
  211. CAT_UNDEF arg_name %+ %%i, d
  212. CAT_UNDEF arg_name %+ %%i, w
  213. CAT_UNDEF arg_name %+ %%i, b
  214. CAT_UNDEF arg_name %+ %%i, m
  215. CAT_UNDEF arg_name, %%i
  216. %assign %%i %%i+1
  217. %endrep
  218. %endif
  219. %assign %%i 0
  220. %rep %0
  221. %xdefine %1q r %+ %%i %+ q
  222. %xdefine %1d r %+ %%i %+ d
  223. %xdefine %1w r %+ %%i %+ w
  224. %xdefine %1b r %+ %%i %+ b
  225. %xdefine %1m r %+ %%i %+ m
  226. CAT_XDEFINE arg_name, %%i, %1
  227. %assign %%i %%i+1
  228. %rotate 1
  229. %endrep
  230. %assign n_arg_names %%i
  231. %endmacro
  232. %if WIN64 ; Windows x64 ;=================================================
  233. DECLARE_REG 0, rcx, ecx, cx, cl, ecx
  234. DECLARE_REG 1, rdx, edx, dx, dl, edx
  235. DECLARE_REG 2, r8, r8d, r8w, r8b, r8d
  236. DECLARE_REG 3, r9, r9d, r9w, r9b, r9d
  237. DECLARE_REG 4, rdi, edi, di, dil, [rsp + stack_offset + 40]
  238. DECLARE_REG 5, rsi, esi, si, sil, [rsp + stack_offset + 48]
  239. DECLARE_REG 6, rax, eax, ax, al, [rsp + stack_offset + 56]
  240. %define r7m [rsp + stack_offset + 64]
  241. %define r8m [rsp + stack_offset + 72]
  242. %macro LOAD_IF_USED 2 ; reg_id, number_of_args
  243. %if %1 < %2
  244. mov r%1, [rsp + stack_offset + 8 + %1*8]
  245. %endif
  246. %endmacro
  247. %macro PROLOGUE 2-4+ 0 ; #args, #regs, #xmm_regs, arg_names...
  248. ASSERT %2 >= %1
  249. %assign regs_used %2
  250. ASSERT regs_used <= 7
  251. %if regs_used > 4
  252. push r4
  253. push r5
  254. %assign stack_offset stack_offset+16
  255. %endif
  256. WIN64_SPILL_XMM %3
  257. LOAD_IF_USED 4, %1
  258. LOAD_IF_USED 5, %1
  259. LOAD_IF_USED 6, %1
  260. DEFINE_ARGS %4
  261. %endmacro
  262. %macro WIN64_SPILL_XMM 1
  263. %assign xmm_regs_used %1
  264. %if mmsize == 8
  265. %assign xmm_regs_used 0
  266. %endif
  267. ASSERT xmm_regs_used <= 16
  268. %if xmm_regs_used > 6
  269. sub rsp, (xmm_regs_used-6)*16+16
  270. %assign stack_offset stack_offset+(xmm_regs_used-6)*16+16
  271. %assign %%i xmm_regs_used
  272. %rep (xmm_regs_used-6)
  273. %assign %%i %%i-1
  274. movdqa [rsp + (%%i-6)*16+8], xmm %+ %%i
  275. %endrep
  276. %endif
  277. %endmacro
  278. %macro WIN64_RESTORE_XMM_INTERNAL 1
  279. %if xmm_regs_used > 6
  280. %assign %%i xmm_regs_used
  281. %rep (xmm_regs_used-6)
  282. %assign %%i %%i-1
  283. movdqa xmm %+ %%i, [%1 + (%%i-6)*16+8]
  284. %endrep
  285. add %1, (xmm_regs_used-6)*16+16
  286. %endif
  287. %endmacro
  288. %macro WIN64_RESTORE_XMM 1
  289. WIN64_RESTORE_XMM_INTERNAL %1
  290. %assign stack_offset stack_offset-(xmm_regs_used-6)*16+16
  291. %assign xmm_regs_used 0
  292. %endmacro
  293. %macro RET 0
  294. WIN64_RESTORE_XMM_INTERNAL rsp
  295. %if regs_used > 4
  296. pop r5
  297. pop r4
  298. %endif
  299. ret
  300. %endmacro
  301. %macro REP_RET 0
  302. %if regs_used > 4 || xmm_regs_used > 6
  303. RET
  304. %else
  305. rep ret
  306. %endif
  307. %endmacro
  308. %elif ARCH_X86_64 ; *nix x64 ;=============================================
  309. DECLARE_REG 0, rdi, edi, di, dil, edi
  310. DECLARE_REG 1, rsi, esi, si, sil, esi
  311. DECLARE_REG 2, rdx, edx, dx, dl, edx
  312. DECLARE_REG 3, rcx, ecx, cx, cl, ecx
  313. DECLARE_REG 4, r8, r8d, r8w, r8b, r8d
  314. DECLARE_REG 5, r9, r9d, r9w, r9b, r9d
  315. DECLARE_REG 6, rax, eax, ax, al, [rsp + stack_offset + 8]
  316. %define r7m [rsp + stack_offset + 16]
  317. %define r8m [rsp + stack_offset + 24]
  318. %macro LOAD_IF_USED 2 ; reg_id, number_of_args
  319. %if %1 < %2
  320. mov r%1, [rsp - 40 + %1*8]
  321. %endif
  322. %endmacro
  323. %macro PROLOGUE 2-4+ ; #args, #regs, #xmm_regs, arg_names...
  324. ASSERT %2 >= %1
  325. ASSERT %2 <= 7
  326. LOAD_IF_USED 6, %1
  327. DEFINE_ARGS %4
  328. %endmacro
  329. %macro RET 0
  330. ret
  331. %endmacro
  332. %macro REP_RET 0
  333. rep ret
  334. %endmacro
  335. %else ; X86_32 ;==============================================================
  336. DECLARE_REG 0, eax, eax, ax, al, [esp + stack_offset + 4]
  337. DECLARE_REG 1, ecx, ecx, cx, cl, [esp + stack_offset + 8]
  338. DECLARE_REG 2, edx, edx, dx, dl, [esp + stack_offset + 12]
  339. DECLARE_REG 3, ebx, ebx, bx, bl, [esp + stack_offset + 16]
  340. DECLARE_REG 4, esi, esi, si, null, [esp + stack_offset + 20]
  341. DECLARE_REG 5, edi, edi, di, null, [esp + stack_offset + 24]
  342. DECLARE_REG 6, ebp, ebp, bp, null, [esp + stack_offset + 28]
  343. %define r7m [esp + stack_offset + 32]
  344. %define r8m [esp + stack_offset + 36]
  345. %define rsp esp
  346. %macro PUSH_IF_USED 1 ; reg_id
  347. %if %1 < regs_used
  348. push r%1
  349. %assign stack_offset stack_offset+4
  350. %endif
  351. %endmacro
  352. %macro POP_IF_USED 1 ; reg_id
  353. %if %1 < regs_used
  354. pop r%1
  355. %endif
  356. %endmacro
  357. %macro LOAD_IF_USED 2 ; reg_id, number_of_args
  358. %if %1 < %2
  359. mov r%1, [esp + stack_offset + 4 + %1*4]
  360. %endif
  361. %endmacro
  362. %macro PROLOGUE 2-4+ ; #args, #regs, #xmm_regs, arg_names...
  363. ASSERT %2 >= %1
  364. %assign regs_used %2
  365. ASSERT regs_used <= 7
  366. PUSH_IF_USED 3
  367. PUSH_IF_USED 4
  368. PUSH_IF_USED 5
  369. PUSH_IF_USED 6
  370. LOAD_IF_USED 0, %1
  371. LOAD_IF_USED 1, %1
  372. LOAD_IF_USED 2, %1
  373. LOAD_IF_USED 3, %1
  374. LOAD_IF_USED 4, %1
  375. LOAD_IF_USED 5, %1
  376. LOAD_IF_USED 6, %1
  377. DEFINE_ARGS %4
  378. %endmacro
  379. %macro RET 0
  380. POP_IF_USED 6
  381. POP_IF_USED 5
  382. POP_IF_USED 4
  383. POP_IF_USED 3
  384. ret
  385. %endmacro
  386. %macro REP_RET 0
  387. %if regs_used > 3
  388. RET
  389. %else
  390. rep ret
  391. %endif
  392. %endmacro
  393. %endif ;======================================================================
  394. %if WIN64 == 0
  395. %macro WIN64_SPILL_XMM 1
  396. %endmacro
  397. %macro WIN64_RESTORE_XMM 1
  398. %endmacro
  399. %endif
  400. ;=============================================================================
  401. ; arch-independent part
  402. ;=============================================================================
  403. %assign function_align 16
  404. ; Begin a function.
  405. ; Applies any symbol mangling needed for C linkage, and sets up a define such that
  406. ; subsequent uses of the function name automatically refer to the mangled version.
  407. ; Appends cpuflags to the function name if cpuflags has been specified.
  408. %macro cglobal 1-2+ ; name, [PROLOGUE args]
  409. %if %0 == 1
  410. ; HACK: work around %+ broken with empty SUFFIX for nasm 2.09.10
  411. %ifndef cpuname
  412. cglobal_internal %1
  413. %else
  414. cglobal_internal %1 %+ SUFFIX
  415. %endif
  416. %else
  417. ; HACK: work around %+ broken with empty SUFFIX for nasm 2.09.10
  418. %ifndef cpuname
  419. cglobal_internal %1, %2
  420. %else
  421. cglobal_internal %1 %+ SUFFIX, %2
  422. %endif
  423. %endif
  424. %endmacro
  425. %macro cglobal_internal 1-2+
  426. %ifndef cglobaled_%1
  427. %xdefine %1 mangle(program_name %+ _ %+ %1)
  428. %xdefine %1.skip_prologue %1 %+ .skip_prologue
  429. CAT_XDEFINE cglobaled_, %1, 1
  430. %endif
  431. %xdefine current_function %1
  432. %ifidn __OUTPUT_FORMAT__,elf
  433. global %1:function hidden
  434. %else
  435. global %1
  436. %endif
  437. align function_align
  438. %1:
  439. RESET_MM_PERMUTATION ; not really needed, but makes disassembly somewhat nicer
  440. %assign stack_offset 0
  441. %if %0 > 1
  442. PROLOGUE %2
  443. %endif
  444. %endmacro
  445. %macro cextern 1
  446. %xdefine %1 mangle(program_name %+ _ %+ %1)
  447. CAT_XDEFINE cglobaled_, %1, 1
  448. extern %1
  449. %endmacro
  450. ; like cextern, but without the prefix
  451. %macro cextern_naked 1
  452. %xdefine %1 mangle(%1)
  453. CAT_XDEFINE cglobaled_, %1, 1
  454. extern %1
  455. %endmacro
  456. %macro const 2+
  457. %xdefine %1 mangle(program_name %+ _ %+ %1)
  458. global %1
  459. %1: %2
  460. %endmacro
  461. ; This is needed for ELF, otherwise the GNU linker assumes the stack is
  462. ; executable by default.
  463. %ifidn __OUTPUT_FORMAT__,elf
  464. SECTION .note.GNU-stack noalloc noexec nowrite progbits
  465. %endif
  466. ; cpuflags
  467. %assign cpuflags_mmx (1<<0)
  468. %assign cpuflags_mmx2 (1<<1) | cpuflags_mmx
  469. %assign cpuflags_3dnow (1<<2) | cpuflags_mmx
  470. %assign cpuflags_3dnow2 (1<<3) | cpuflags_3dnow
  471. %assign cpuflags_sse (1<<4) | cpuflags_mmx2
  472. %assign cpuflags_sse2 (1<<5) | cpuflags_sse
  473. %assign cpuflags_sse2slow (1<<6) | cpuflags_sse2
  474. %assign cpuflags_sse3 (1<<7) | cpuflags_sse2
  475. %assign cpuflags_ssse3 (1<<8) | cpuflags_sse3
  476. %assign cpuflags_sse4 (1<<9) | cpuflags_ssse3
  477. %assign cpuflags_sse42 (1<<10)| cpuflags_sse4
  478. %assign cpuflags_avx (1<<11)| cpuflags_sse42
  479. %assign cpuflags_xop (1<<12)| cpuflags_avx
  480. %assign cpuflags_fma4 (1<<13)| cpuflags_avx
  481. %assign cpuflags_cache32 (1<<16)
  482. %assign cpuflags_cache64 (1<<17)
  483. %assign cpuflags_slowctz (1<<18)
  484. %assign cpuflags_lzcnt (1<<19)
  485. %assign cpuflags_misalign (1<<20)
  486. %assign cpuflags_aligned (1<<21) ; not a cpu feature, but a function variant
  487. %assign cpuflags_atom (1<<22)
  488. %define cpuflag(x) ((cpuflags & (cpuflags_ %+ x)) == (cpuflags_ %+ x))
  489. %define notcpuflag(x) ((cpuflags & (cpuflags_ %+ x)) != (cpuflags_ %+ x))
  490. ; Takes up to 2 cpuflags from the above list.
  491. ; All subsequent functions (up to the next INIT_CPUFLAGS) is built for the specified cpu.
  492. ; You shouldn't need to invoke this macro directly, it's a subroutine for INIT_MMX &co.
  493. %macro INIT_CPUFLAGS 0-2
  494. %if %0 >= 1
  495. %xdefine cpuname %1
  496. %assign cpuflags cpuflags_%1
  497. %if %0 >= 2
  498. %xdefine cpuname %1_%2
  499. %assign cpuflags cpuflags | cpuflags_%2
  500. %endif
  501. %xdefine SUFFIX _ %+ cpuname
  502. %if cpuflag(avx)
  503. %assign avx_enabled 1
  504. %endif
  505. %if mmsize == 16 && notcpuflag(sse2)
  506. %define mova movaps
  507. %define movu movups
  508. %define movnta movntps
  509. %endif
  510. %if cpuflag(aligned)
  511. %define movu mova
  512. %elifidn %1, sse3
  513. %define movu lddqu
  514. %endif
  515. %else
  516. %xdefine SUFFIX
  517. %undef cpuname
  518. %undef cpuflags
  519. %endif
  520. %endmacro
  521. ; merge mmx and sse*
  522. %macro CAT_XDEFINE 3
  523. %xdefine %1%2 %3
  524. %endmacro
  525. %macro CAT_UNDEF 2
  526. %undef %1%2
  527. %endmacro
  528. %macro INIT_MMX 0-1+
  529. %assign avx_enabled 0
  530. %define RESET_MM_PERMUTATION INIT_MMX %1
  531. %define mmsize 8
  532. %define num_mmregs 8
  533. %define mova movq
  534. %define movu movq
  535. %define movh movd
  536. %define movnta movntq
  537. %assign %%i 0
  538. %rep 8
  539. CAT_XDEFINE m, %%i, mm %+ %%i
  540. CAT_XDEFINE nmm, %%i, %%i
  541. %assign %%i %%i+1
  542. %endrep
  543. %rep 8
  544. CAT_UNDEF m, %%i
  545. CAT_UNDEF nmm, %%i
  546. %assign %%i %%i+1
  547. %endrep
  548. INIT_CPUFLAGS %1
  549. %endmacro
  550. %macro INIT_XMM 0-1+
  551. %assign avx_enabled 0
  552. %define RESET_MM_PERMUTATION INIT_XMM %1
  553. %define mmsize 16
  554. %define num_mmregs 8
  555. %if ARCH_X86_64
  556. %define num_mmregs 16
  557. %endif
  558. %define mova movdqa
  559. %define movu movdqu
  560. %define movh movq
  561. %define movnta movntdq
  562. %assign %%i 0
  563. %rep num_mmregs
  564. CAT_XDEFINE m, %%i, xmm %+ %%i
  565. CAT_XDEFINE nxmm, %%i, %%i
  566. %assign %%i %%i+1
  567. %endrep
  568. INIT_CPUFLAGS %1
  569. %endmacro
  570. ; FIXME: INIT_AVX can be replaced by INIT_XMM avx
  571. %macro INIT_AVX 0
  572. INIT_XMM
  573. %assign avx_enabled 1
  574. %define PALIGNR PALIGNR_SSSE3
  575. %define RESET_MM_PERMUTATION INIT_AVX
  576. %endmacro
  577. %macro INIT_YMM 0-1+
  578. %assign avx_enabled 1
  579. %define RESET_MM_PERMUTATION INIT_YMM %1
  580. %define mmsize 32
  581. %define num_mmregs 8
  582. %if ARCH_X86_64
  583. %define num_mmregs 16
  584. %endif
  585. %define mova vmovaps
  586. %define movu vmovups
  587. %undef movh
  588. %define movnta vmovntps
  589. %assign %%i 0
  590. %rep num_mmregs
  591. CAT_XDEFINE m, %%i, ymm %+ %%i
  592. CAT_XDEFINE nymm, %%i, %%i
  593. %assign %%i %%i+1
  594. %endrep
  595. INIT_CPUFLAGS %1
  596. %endmacro
  597. INIT_XMM
  598. ; I often want to use macros that permute their arguments. e.g. there's no
  599. ; efficient way to implement butterfly or transpose or dct without swapping some
  600. ; arguments.
  601. ;
  602. ; I would like to not have to manually keep track of the permutations:
  603. ; If I insert a permutation in the middle of a function, it should automatically
  604. ; change everything that follows. For more complex macros I may also have multiple
  605. ; implementations, e.g. the SSE2 and SSSE3 versions may have different permutations.
  606. ;
  607. ; Hence these macros. Insert a PERMUTE or some SWAPs at the end of a macro that
  608. ; permutes its arguments. It's equivalent to exchanging the contents of the
  609. ; registers, except that this way you exchange the register names instead, so it
  610. ; doesn't cost any cycles.
  611. %macro PERMUTE 2-* ; takes a list of pairs to swap
  612. %rep %0/2
  613. %xdefine tmp%2 m%2
  614. %xdefine ntmp%2 nm%2
  615. %rotate 2
  616. %endrep
  617. %rep %0/2
  618. %xdefine m%1 tmp%2
  619. %xdefine nm%1 ntmp%2
  620. %undef tmp%2
  621. %undef ntmp%2
  622. %rotate 2
  623. %endrep
  624. %endmacro
  625. %macro SWAP 2-* ; swaps a single chain (sometimes more concise than pairs)
  626. %rep %0-1
  627. %ifdef m%1
  628. %xdefine tmp m%1
  629. %xdefine m%1 m%2
  630. %xdefine m%2 tmp
  631. CAT_XDEFINE n, m%1, %1
  632. CAT_XDEFINE n, m%2, %2
  633. %else
  634. ; If we were called as "SWAP m0,m1" rather than "SWAP 0,1" infer the original numbers here.
  635. ; Be careful using this mode in nested macros though, as in some cases there may be
  636. ; other copies of m# that have already been dereferenced and don't get updated correctly.
  637. %xdefine %%n1 n %+ %1
  638. %xdefine %%n2 n %+ %2
  639. %xdefine tmp m %+ %%n1
  640. CAT_XDEFINE m, %%n1, m %+ %%n2
  641. CAT_XDEFINE m, %%n2, tmp
  642. CAT_XDEFINE n, m %+ %%n1, %%n1
  643. CAT_XDEFINE n, m %+ %%n2, %%n2
  644. %endif
  645. %undef tmp
  646. %rotate 1
  647. %endrep
  648. %endmacro
  649. ; If SAVE_MM_PERMUTATION is placed at the end of a function, then any later
  650. ; calls to that function will automatically load the permutation, so values can
  651. ; be returned in mmregs.
  652. %macro SAVE_MM_PERMUTATION 0-1
  653. %if %0
  654. %xdefine %%f %1_m
  655. %else
  656. %xdefine %%f current_function %+ _m
  657. %endif
  658. %assign %%i 0
  659. %rep num_mmregs
  660. CAT_XDEFINE %%f, %%i, m %+ %%i
  661. %assign %%i %%i+1
  662. %endrep
  663. %endmacro
  664. %macro LOAD_MM_PERMUTATION 1 ; name to load from
  665. %ifdef %1_m0
  666. %assign %%i 0
  667. %rep num_mmregs
  668. CAT_XDEFINE m, %%i, %1_m %+ %%i
  669. CAT_XDEFINE n, m %+ %%i, %%i
  670. %assign %%i %%i+1
  671. %endrep
  672. %endif
  673. %endmacro
  674. ; Append cpuflags to the callee's name iff the appended name is known and the plain name isn't
  675. %macro call 1
  676. ; HACK: work around %+ broken with empty SUFFIX for nasm 2.09.10
  677. %ifndef cpuname
  678. call_internal %1, %1
  679. %else
  680. call_internal %1, %1 %+ SUFFIX
  681. %endif
  682. %endmacro
  683. %macro call_internal 2
  684. %xdefine %%i %1
  685. %ifndef cglobaled_%1
  686. %ifdef cglobaled_%2
  687. %xdefine %%i %2
  688. %endif
  689. %endif
  690. call %%i
  691. LOAD_MM_PERMUTATION %%i
  692. %endmacro
  693. ; Substitutions that reduce instruction size but are functionally equivalent
  694. %macro add 2
  695. %ifnum %2
  696. %if %2==128
  697. sub %1, -128
  698. %else
  699. add %1, %2
  700. %endif
  701. %else
  702. add %1, %2
  703. %endif
  704. %endmacro
  705. %macro sub 2
  706. %ifnum %2
  707. %if %2==128
  708. add %1, -128
  709. %else
  710. sub %1, %2
  711. %endif
  712. %else
  713. sub %1, %2
  714. %endif
  715. %endmacro
  716. ;=============================================================================
  717. ; AVX abstraction layer
  718. ;=============================================================================
  719. %assign i 0
  720. %rep 16
  721. %if i < 8
  722. CAT_XDEFINE sizeofmm, i, 8
  723. %endif
  724. CAT_XDEFINE sizeofxmm, i, 16
  725. CAT_XDEFINE sizeofymm, i, 32
  726. %assign i i+1
  727. %endrep
  728. %undef i
  729. ;%1 == instruction
  730. ;%2 == 1 if float, 0 if int
  731. ;%3 == 1 if 4-operand (xmm, xmm, xmm, imm), 0 if 3-operand (xmm, xmm, xmm)
  732. ;%4 == number of operands given
  733. ;%5+: operands
  734. %macro RUN_AVX_INSTR 6-7+
  735. %ifid %5
  736. %define %%size sizeof%5
  737. %else
  738. %define %%size mmsize
  739. %endif
  740. %if %%size==32
  741. v%1 %5, %6, %7
  742. %else
  743. %if %%size==8
  744. %define %%regmov movq
  745. %elif %2
  746. %define %%regmov movaps
  747. %else
  748. %define %%regmov movdqa
  749. %endif
  750. %if %4>=3+%3
  751. %ifnidn %5, %6
  752. %if avx_enabled && sizeof%5==16
  753. v%1 %5, %6, %7
  754. %else
  755. %%regmov %5, %6
  756. %1 %5, %7
  757. %endif
  758. %else
  759. %1 %5, %7
  760. %endif
  761. %elif %3
  762. %1 %5, %6, %7
  763. %else
  764. %1 %5, %6
  765. %endif
  766. %endif
  767. %endmacro
  768. ; 3arg AVX ops with a memory arg can only have it in src2,
  769. ; whereas SSE emulation of 3arg prefers to have it in src1 (i.e. the mov).
  770. ; So, if the op is symmetric and the wrong one is memory, swap them.
  771. %macro RUN_AVX_INSTR1 8
  772. %assign %%swap 0
  773. %if avx_enabled
  774. %ifnid %6
  775. %assign %%swap 1
  776. %endif
  777. %elifnidn %5, %6
  778. %ifnid %7
  779. %assign %%swap 1
  780. %endif
  781. %endif
  782. %if %%swap && %3 == 0 && %8 == 1
  783. RUN_AVX_INSTR %1, %2, %3, %4, %5, %7, %6
  784. %else
  785. RUN_AVX_INSTR %1, %2, %3, %4, %5, %6, %7
  786. %endif
  787. %endmacro
  788. ;%1 == instruction
  789. ;%2 == 1 if float, 0 if int
  790. ;%3 == 1 if 4-operand (xmm, xmm, xmm, imm), 0 if 3-operand (xmm, xmm, xmm)
  791. ;%4 == 1 if symmetric (i.e. doesn't matter which src arg is which), 0 if not
  792. %macro AVX_INSTR 4
  793. %macro %1 2-9 fnord, fnord, fnord, %1, %2, %3, %4
  794. %ifidn %3, fnord
  795. RUN_AVX_INSTR %6, %7, %8, 2, %1, %2
  796. %elifidn %4, fnord
  797. RUN_AVX_INSTR1 %6, %7, %8, 3, %1, %2, %3, %9
  798. %elifidn %5, fnord
  799. RUN_AVX_INSTR %6, %7, %8, 4, %1, %2, %3, %4
  800. %else
  801. RUN_AVX_INSTR %6, %7, %8, 5, %1, %2, %3, %4, %5
  802. %endif
  803. %endmacro
  804. %endmacro
  805. AVX_INSTR addpd, 1, 0, 1
  806. AVX_INSTR addps, 1, 0, 1
  807. AVX_INSTR addsd, 1, 0, 1
  808. AVX_INSTR addss, 1, 0, 1
  809. AVX_INSTR addsubpd, 1, 0, 0
  810. AVX_INSTR addsubps, 1, 0, 0
  811. AVX_INSTR andpd, 1, 0, 1
  812. AVX_INSTR andps, 1, 0, 1
  813. AVX_INSTR andnpd, 1, 0, 0
  814. AVX_INSTR andnps, 1, 0, 0
  815. AVX_INSTR blendpd, 1, 0, 0
  816. AVX_INSTR blendps, 1, 0, 0
  817. AVX_INSTR blendvpd, 1, 0, 0
  818. AVX_INSTR blendvps, 1, 0, 0
  819. AVX_INSTR cmppd, 1, 0, 0
  820. AVX_INSTR cmpps, 1, 0, 0
  821. AVX_INSTR cmpsd, 1, 0, 0
  822. AVX_INSTR cmpss, 1, 0, 0
  823. AVX_INSTR divpd, 1, 0, 0
  824. AVX_INSTR divps, 1, 0, 0
  825. AVX_INSTR divsd, 1, 0, 0
  826. AVX_INSTR divss, 1, 0, 0
  827. AVX_INSTR dppd, 1, 1, 0
  828. AVX_INSTR dpps, 1, 1, 0
  829. AVX_INSTR haddpd, 1, 0, 0
  830. AVX_INSTR haddps, 1, 0, 0
  831. AVX_INSTR hsubpd, 1, 0, 0
  832. AVX_INSTR hsubps, 1, 0, 0
  833. AVX_INSTR maxpd, 1, 0, 1
  834. AVX_INSTR maxps, 1, 0, 1
  835. AVX_INSTR maxsd, 1, 0, 1
  836. AVX_INSTR maxss, 1, 0, 1
  837. AVX_INSTR minpd, 1, 0, 1
  838. AVX_INSTR minps, 1, 0, 1
  839. AVX_INSTR minsd, 1, 0, 1
  840. AVX_INSTR minss, 1, 0, 1
  841. AVX_INSTR movhlps, 1, 0, 0
  842. AVX_INSTR movlhps, 1, 0, 0
  843. AVX_INSTR movsd, 1, 0, 0
  844. AVX_INSTR movss, 1, 0, 0
  845. AVX_INSTR mpsadbw, 0, 1, 0
  846. AVX_INSTR mulpd, 1, 0, 1
  847. AVX_INSTR mulps, 1, 0, 1
  848. AVX_INSTR mulsd, 1, 0, 1
  849. AVX_INSTR mulss, 1, 0, 1
  850. AVX_INSTR orpd, 1, 0, 1
  851. AVX_INSTR orps, 1, 0, 1
  852. AVX_INSTR packsswb, 0, 0, 0
  853. AVX_INSTR packssdw, 0, 0, 0
  854. AVX_INSTR packuswb, 0, 0, 0
  855. AVX_INSTR packusdw, 0, 0, 0
  856. AVX_INSTR paddb, 0, 0, 1
  857. AVX_INSTR paddw, 0, 0, 1
  858. AVX_INSTR paddd, 0, 0, 1
  859. AVX_INSTR paddq, 0, 0, 1
  860. AVX_INSTR paddsb, 0, 0, 1
  861. AVX_INSTR paddsw, 0, 0, 1
  862. AVX_INSTR paddusb, 0, 0, 1
  863. AVX_INSTR paddusw, 0, 0, 1
  864. AVX_INSTR palignr, 0, 1, 0
  865. AVX_INSTR pand, 0, 0, 1
  866. AVX_INSTR pandn, 0, 0, 0
  867. AVX_INSTR pavgb, 0, 0, 1
  868. AVX_INSTR pavgw, 0, 0, 1
  869. AVX_INSTR pblendvb, 0, 0, 0
  870. AVX_INSTR pblendw, 0, 1, 0
  871. AVX_INSTR pcmpestri, 0, 0, 0
  872. AVX_INSTR pcmpestrm, 0, 0, 0
  873. AVX_INSTR pcmpistri, 0, 0, 0
  874. AVX_INSTR pcmpistrm, 0, 0, 0
  875. AVX_INSTR pcmpeqb, 0, 0, 1
  876. AVX_INSTR pcmpeqw, 0, 0, 1
  877. AVX_INSTR pcmpeqd, 0, 0, 1
  878. AVX_INSTR pcmpeqq, 0, 0, 1
  879. AVX_INSTR pcmpgtb, 0, 0, 0
  880. AVX_INSTR pcmpgtw, 0, 0, 0
  881. AVX_INSTR pcmpgtd, 0, 0, 0
  882. AVX_INSTR pcmpgtq, 0, 0, 0
  883. AVX_INSTR phaddw, 0, 0, 0
  884. AVX_INSTR phaddd, 0, 0, 0
  885. AVX_INSTR phaddsw, 0, 0, 0
  886. AVX_INSTR phsubw, 0, 0, 0
  887. AVX_INSTR phsubd, 0, 0, 0
  888. AVX_INSTR phsubsw, 0, 0, 0
  889. AVX_INSTR pmaddwd, 0, 0, 1
  890. AVX_INSTR pmaddubsw, 0, 0, 0
  891. AVX_INSTR pmaxsb, 0, 0, 1
  892. AVX_INSTR pmaxsw, 0, 0, 1
  893. AVX_INSTR pmaxsd, 0, 0, 1
  894. AVX_INSTR pmaxub, 0, 0, 1
  895. AVX_INSTR pmaxuw, 0, 0, 1
  896. AVX_INSTR pmaxud, 0, 0, 1
  897. AVX_INSTR pminsb, 0, 0, 1
  898. AVX_INSTR pminsw, 0, 0, 1
  899. AVX_INSTR pminsd, 0, 0, 1
  900. AVX_INSTR pminub, 0, 0, 1
  901. AVX_INSTR pminuw, 0, 0, 1
  902. AVX_INSTR pminud, 0, 0, 1
  903. AVX_INSTR pmulhuw, 0, 0, 1
  904. AVX_INSTR pmulhrsw, 0, 0, 1
  905. AVX_INSTR pmulhw, 0, 0, 1
  906. AVX_INSTR pmullw, 0, 0, 1
  907. AVX_INSTR pmulld, 0, 0, 1
  908. AVX_INSTR pmuludq, 0, 0, 1
  909. AVX_INSTR pmuldq, 0, 0, 1
  910. AVX_INSTR por, 0, 0, 1
  911. AVX_INSTR psadbw, 0, 0, 1
  912. AVX_INSTR pshufb, 0, 0, 0
  913. AVX_INSTR psignb, 0, 0, 0
  914. AVX_INSTR psignw, 0, 0, 0
  915. AVX_INSTR psignd, 0, 0, 0
  916. AVX_INSTR psllw, 0, 0, 0
  917. AVX_INSTR pslld, 0, 0, 0
  918. AVX_INSTR psllq, 0, 0, 0
  919. AVX_INSTR pslldq, 0, 0, 0
  920. AVX_INSTR psraw, 0, 0, 0
  921. AVX_INSTR psrad, 0, 0, 0
  922. AVX_INSTR psrlw, 0, 0, 0
  923. AVX_INSTR psrld, 0, 0, 0
  924. AVX_INSTR psrlq, 0, 0, 0
  925. AVX_INSTR psrldq, 0, 0, 0
  926. AVX_INSTR psubb, 0, 0, 0
  927. AVX_INSTR psubw, 0, 0, 0
  928. AVX_INSTR psubd, 0, 0, 0
  929. AVX_INSTR psubq, 0, 0, 0
  930. AVX_INSTR psubsb, 0, 0, 0
  931. AVX_INSTR psubsw, 0, 0, 0
  932. AVX_INSTR psubusb, 0, 0, 0
  933. AVX_INSTR psubusw, 0, 0, 0
  934. AVX_INSTR punpckhbw, 0, 0, 0
  935. AVX_INSTR punpckhwd, 0, 0, 0
  936. AVX_INSTR punpckhdq, 0, 0, 0
  937. AVX_INSTR punpckhqdq, 0, 0, 0
  938. AVX_INSTR punpcklbw, 0, 0, 0
  939. AVX_INSTR punpcklwd, 0, 0, 0
  940. AVX_INSTR punpckldq, 0, 0, 0
  941. AVX_INSTR punpcklqdq, 0, 0, 0
  942. AVX_INSTR pxor, 0, 0, 1
  943. AVX_INSTR shufps, 1, 1, 0
  944. AVX_INSTR subpd, 1, 0, 0
  945. AVX_INSTR subps, 1, 0, 0
  946. AVX_INSTR subsd, 1, 0, 0
  947. AVX_INSTR subss, 1, 0, 0
  948. AVX_INSTR unpckhpd, 1, 0, 0
  949. AVX_INSTR unpckhps, 1, 0, 0
  950. AVX_INSTR unpcklpd, 1, 0, 0
  951. AVX_INSTR unpcklps, 1, 0, 0
  952. AVX_INSTR xorpd, 1, 0, 1
  953. AVX_INSTR xorps, 1, 0, 1
  954. ; 3DNow instructions, for sharing code between AVX, SSE and 3DN
  955. AVX_INSTR pfadd, 1, 0, 1
  956. AVX_INSTR pfsub, 1, 0, 0
  957. AVX_INSTR pfmul, 1, 0, 1
  958. ; base-4 constants for shuffles
  959. %assign i 0
  960. %rep 256
  961. %assign j ((i>>6)&3)*1000 + ((i>>4)&3)*100 + ((i>>2)&3)*10 + (i&3)
  962. %if j < 10
  963. CAT_XDEFINE q000, j, i
  964. %elif j < 100
  965. CAT_XDEFINE q00, j, i
  966. %elif j < 1000
  967. CAT_XDEFINE q0, j, i
  968. %else
  969. CAT_XDEFINE q, j, i
  970. %endif
  971. %assign i i+1
  972. %endrep
  973. %undef i
  974. %undef j
  975. %macro FMA_INSTR 3
  976. %macro %1 4-7 %1, %2, %3
  977. %if cpuflag(xop)
  978. v%5 %1, %2, %3, %4
  979. %else
  980. %6 %1, %2, %3
  981. %7 %1, %4
  982. %endif
  983. %endmacro
  984. %endmacro
  985. FMA_INSTR pmacsdd, pmulld, paddd
  986. FMA_INSTR pmacsww, pmullw, paddw
  987. FMA_INSTR pmadcswd, pmaddwd, paddd