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.

1072 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. cglobal_internal %1 %+ SUFFIX
  411. %else
  412. cglobal_internal %1 %+ SUFFIX, %2
  413. %endif
  414. %endmacro
  415. %macro cglobal_internal 1-2+
  416. %ifndef cglobaled_%1
  417. %xdefine %1 mangle(program_name %+ _ %+ %1)
  418. %xdefine %1.skip_prologue %1 %+ .skip_prologue
  419. CAT_XDEFINE cglobaled_, %1, 1
  420. %endif
  421. %xdefine current_function %1
  422. %ifidn __OUTPUT_FORMAT__,elf
  423. global %1:function hidden
  424. %else
  425. global %1
  426. %endif
  427. align function_align
  428. %1:
  429. RESET_MM_PERMUTATION ; not really needed, but makes disassembly somewhat nicer
  430. %assign stack_offset 0
  431. %if %0 > 1
  432. PROLOGUE %2
  433. %endif
  434. %endmacro
  435. %macro cextern 1
  436. %xdefine %1 mangle(program_name %+ _ %+ %1)
  437. CAT_XDEFINE cglobaled_, %1, 1
  438. extern %1
  439. %endmacro
  440. ; like cextern, but without the prefix
  441. %macro cextern_naked 1
  442. %xdefine %1 mangle(%1)
  443. CAT_XDEFINE cglobaled_, %1, 1
  444. extern %1
  445. %endmacro
  446. %macro const 2+
  447. %xdefine %1 mangle(program_name %+ _ %+ %1)
  448. global %1
  449. %1: %2
  450. %endmacro
  451. ; This is needed for ELF, otherwise the GNU linker assumes the stack is
  452. ; executable by default.
  453. %ifidn __OUTPUT_FORMAT__,elf
  454. SECTION .note.GNU-stack noalloc noexec nowrite progbits
  455. %endif
  456. ; cpuflags
  457. %assign cpuflags_mmx (1<<0)
  458. %assign cpuflags_mmx2 (1<<1) | cpuflags_mmx
  459. %assign cpuflags_3dnow (1<<2) | cpuflags_mmx
  460. %assign cpuflags_3dnow2 (1<<3) | cpuflags_3dnow
  461. %assign cpuflags_sse (1<<4) | cpuflags_mmx2
  462. %assign cpuflags_sse2 (1<<5) | cpuflags_sse
  463. %assign cpuflags_sse2slow (1<<6) | cpuflags_sse2
  464. %assign cpuflags_sse3 (1<<7) | cpuflags_sse2
  465. %assign cpuflags_ssse3 (1<<8) | cpuflags_sse3
  466. %assign cpuflags_sse4 (1<<9) | cpuflags_ssse3
  467. %assign cpuflags_sse42 (1<<10)| cpuflags_sse4
  468. %assign cpuflags_avx (1<<11)| cpuflags_sse42
  469. %assign cpuflags_xop (1<<12)| cpuflags_avx
  470. %assign cpuflags_fma4 (1<<13)| cpuflags_avx
  471. %assign cpuflags_cache32 (1<<16)
  472. %assign cpuflags_cache64 (1<<17)
  473. %assign cpuflags_slowctz (1<<18)
  474. %assign cpuflags_lzcnt (1<<19)
  475. %assign cpuflags_misalign (1<<20)
  476. %assign cpuflags_aligned (1<<21) ; not a cpu feature, but a function variant
  477. %assign cpuflags_atom (1<<22)
  478. %define cpuflag(x) ((cpuflags & (cpuflags_ %+ x)) == (cpuflags_ %+ x))
  479. %define notcpuflag(x) ((cpuflags & (cpuflags_ %+ x)) != (cpuflags_ %+ x))
  480. ; Takes up to 2 cpuflags from the above list.
  481. ; All subsequent functions (up to the next INIT_CPUFLAGS) is built for the specified cpu.
  482. ; You shouldn't need to invoke this macro directly, it's a subroutine for INIT_MMX &co.
  483. %macro INIT_CPUFLAGS 0-2
  484. %if %0 >= 1
  485. %xdefine cpuname %1
  486. %assign cpuflags cpuflags_%1
  487. %if %0 >= 2
  488. %xdefine cpuname %1_%2
  489. %assign cpuflags cpuflags | cpuflags_%2
  490. %endif
  491. %xdefine SUFFIX _ %+ cpuname
  492. %if cpuflag(avx)
  493. %assign avx_enabled 1
  494. %endif
  495. %if mmsize == 16 && notcpuflag(sse2)
  496. %define mova movaps
  497. %define movu movups
  498. %define movnta movntps
  499. %endif
  500. %if cpuflag(aligned)
  501. %define movu mova
  502. %elifidn %1, sse3
  503. %define movu lddqu
  504. %endif
  505. %else
  506. %xdefine SUFFIX
  507. %undef cpuname
  508. %undef cpuflags
  509. %endif
  510. %endmacro
  511. ; merge mmx and sse*
  512. %macro CAT_XDEFINE 3
  513. %xdefine %1%2 %3
  514. %endmacro
  515. %macro CAT_UNDEF 2
  516. %undef %1%2
  517. %endmacro
  518. %macro INIT_MMX 0-1+
  519. %assign avx_enabled 0
  520. %define RESET_MM_PERMUTATION INIT_MMX %1
  521. %define mmsize 8
  522. %define num_mmregs 8
  523. %define mova movq
  524. %define movu movq
  525. %define movh movd
  526. %define movnta movntq
  527. %assign %%i 0
  528. %rep 8
  529. CAT_XDEFINE m, %%i, mm %+ %%i
  530. CAT_XDEFINE nmm, %%i, %%i
  531. %assign %%i %%i+1
  532. %endrep
  533. %rep 8
  534. CAT_UNDEF m, %%i
  535. CAT_UNDEF nmm, %%i
  536. %assign %%i %%i+1
  537. %endrep
  538. INIT_CPUFLAGS %1
  539. %endmacro
  540. %macro INIT_XMM 0-1+
  541. %assign avx_enabled 0
  542. %define RESET_MM_PERMUTATION INIT_XMM %1
  543. %define mmsize 16
  544. %define num_mmregs 8
  545. %if ARCH_X86_64
  546. %define num_mmregs 16
  547. %endif
  548. %define mova movdqa
  549. %define movu movdqu
  550. %define movh movq
  551. %define movnta movntdq
  552. %assign %%i 0
  553. %rep num_mmregs
  554. CAT_XDEFINE m, %%i, xmm %+ %%i
  555. CAT_XDEFINE nxmm, %%i, %%i
  556. %assign %%i %%i+1
  557. %endrep
  558. INIT_CPUFLAGS %1
  559. %endmacro
  560. ; FIXME: INIT_AVX can be replaced by INIT_XMM avx
  561. %macro INIT_AVX 0
  562. INIT_XMM
  563. %assign avx_enabled 1
  564. %define PALIGNR PALIGNR_SSSE3
  565. %define RESET_MM_PERMUTATION INIT_AVX
  566. %endmacro
  567. %macro INIT_YMM 0-1+
  568. %assign avx_enabled 1
  569. %define RESET_MM_PERMUTATION INIT_YMM %1
  570. %define mmsize 32
  571. %define num_mmregs 8
  572. %if ARCH_X86_64
  573. %define num_mmregs 16
  574. %endif
  575. %define mova vmovaps
  576. %define movu vmovups
  577. %undef movh
  578. %define movnta vmovntps
  579. %assign %%i 0
  580. %rep num_mmregs
  581. CAT_XDEFINE m, %%i, ymm %+ %%i
  582. CAT_XDEFINE nymm, %%i, %%i
  583. %assign %%i %%i+1
  584. %endrep
  585. INIT_CPUFLAGS %1
  586. %endmacro
  587. INIT_XMM
  588. ; I often want to use macros that permute their arguments. e.g. there's no
  589. ; efficient way to implement butterfly or transpose or dct without swapping some
  590. ; arguments.
  591. ;
  592. ; I would like to not have to manually keep track of the permutations:
  593. ; If I insert a permutation in the middle of a function, it should automatically
  594. ; change everything that follows. For more complex macros I may also have multiple
  595. ; implementations, e.g. the SSE2 and SSSE3 versions may have different permutations.
  596. ;
  597. ; Hence these macros. Insert a PERMUTE or some SWAPs at the end of a macro that
  598. ; permutes its arguments. It's equivalent to exchanging the contents of the
  599. ; registers, except that this way you exchange the register names instead, so it
  600. ; doesn't cost any cycles.
  601. %macro PERMUTE 2-* ; takes a list of pairs to swap
  602. %rep %0/2
  603. %xdefine tmp%2 m%2
  604. %xdefine ntmp%2 nm%2
  605. %rotate 2
  606. %endrep
  607. %rep %0/2
  608. %xdefine m%1 tmp%2
  609. %xdefine nm%1 ntmp%2
  610. %undef tmp%2
  611. %undef ntmp%2
  612. %rotate 2
  613. %endrep
  614. %endmacro
  615. %macro SWAP 2-* ; swaps a single chain (sometimes more concise than pairs)
  616. %rep %0-1
  617. %ifdef m%1
  618. %xdefine tmp m%1
  619. %xdefine m%1 m%2
  620. %xdefine m%2 tmp
  621. CAT_XDEFINE n, m%1, %1
  622. CAT_XDEFINE n, m%2, %2
  623. %else
  624. ; If we were called as "SWAP m0,m1" rather than "SWAP 0,1" infer the original numbers here.
  625. ; Be careful using this mode in nested macros though, as in some cases there may be
  626. ; other copies of m# that have already been dereferenced and don't get updated correctly.
  627. %xdefine %%n1 n %+ %1
  628. %xdefine %%n2 n %+ %2
  629. %xdefine tmp m %+ %%n1
  630. CAT_XDEFINE m, %%n1, m %+ %%n2
  631. CAT_XDEFINE m, %%n2, tmp
  632. CAT_XDEFINE n, m %+ %%n1, %%n1
  633. CAT_XDEFINE n, m %+ %%n2, %%n2
  634. %endif
  635. %undef tmp
  636. %rotate 1
  637. %endrep
  638. %endmacro
  639. ; If SAVE_MM_PERMUTATION is placed at the end of a function, then any later
  640. ; calls to that function will automatically load the permutation, so values can
  641. ; be returned in mmregs.
  642. %macro SAVE_MM_PERMUTATION 0-1
  643. %if %0
  644. %xdefine %%f %1_m
  645. %else
  646. %xdefine %%f current_function %+ _m
  647. %endif
  648. %assign %%i 0
  649. %rep num_mmregs
  650. CAT_XDEFINE %%f, %%i, m %+ %%i
  651. %assign %%i %%i+1
  652. %endrep
  653. %endmacro
  654. %macro LOAD_MM_PERMUTATION 1 ; name to load from
  655. %ifdef %1_m0
  656. %assign %%i 0
  657. %rep num_mmregs
  658. CAT_XDEFINE m, %%i, %1_m %+ %%i
  659. CAT_XDEFINE n, m %+ %%i, %%i
  660. %assign %%i %%i+1
  661. %endrep
  662. %endif
  663. %endmacro
  664. ; Append cpuflags to the callee's name iff the appended name is known and the plain name isn't
  665. %macro call 1
  666. call_internal %1, %1 %+ SUFFIX
  667. %endmacro
  668. %macro call_internal 2
  669. %xdefine %%i %1
  670. %ifndef cglobaled_%1
  671. %ifdef cglobaled_%2
  672. %xdefine %%i %2
  673. %endif
  674. %endif
  675. call %%i
  676. LOAD_MM_PERMUTATION %%i
  677. %endmacro
  678. ; Substitutions that reduce instruction size but are functionally equivalent
  679. %macro add 2
  680. %ifnum %2
  681. %if %2==128
  682. sub %1, -128
  683. %else
  684. add %1, %2
  685. %endif
  686. %else
  687. add %1, %2
  688. %endif
  689. %endmacro
  690. %macro sub 2
  691. %ifnum %2
  692. %if %2==128
  693. add %1, -128
  694. %else
  695. sub %1, %2
  696. %endif
  697. %else
  698. sub %1, %2
  699. %endif
  700. %endmacro
  701. ;=============================================================================
  702. ; AVX abstraction layer
  703. ;=============================================================================
  704. %assign i 0
  705. %rep 16
  706. %if i < 8
  707. CAT_XDEFINE sizeofmm, i, 8
  708. %endif
  709. CAT_XDEFINE sizeofxmm, i, 16
  710. CAT_XDEFINE sizeofymm, i, 32
  711. %assign i i+1
  712. %endrep
  713. %undef i
  714. ;%1 == instruction
  715. ;%2 == 1 if float, 0 if int
  716. ;%3 == 1 if 4-operand (xmm, xmm, xmm, imm), 0 if 3-operand (xmm, xmm, xmm)
  717. ;%4 == number of operands given
  718. ;%5+: operands
  719. %macro RUN_AVX_INSTR 6-7+
  720. %ifid %5
  721. %define %%size sizeof%5
  722. %else
  723. %define %%size mmsize
  724. %endif
  725. %if %%size==32
  726. v%1 %5, %6, %7
  727. %else
  728. %if %%size==8
  729. %define %%regmov movq
  730. %elif %2
  731. %define %%regmov movaps
  732. %else
  733. %define %%regmov movdqa
  734. %endif
  735. %if %4>=3+%3
  736. %ifnidn %5, %6
  737. %if avx_enabled && sizeof%5==16
  738. v%1 %5, %6, %7
  739. %else
  740. %%regmov %5, %6
  741. %1 %5, %7
  742. %endif
  743. %else
  744. %1 %5, %7
  745. %endif
  746. %elif %3
  747. %1 %5, %6, %7
  748. %else
  749. %1 %5, %6
  750. %endif
  751. %endif
  752. %endmacro
  753. ; 3arg AVX ops with a memory arg can only have it in src2,
  754. ; whereas SSE emulation of 3arg prefers to have it in src1 (i.e. the mov).
  755. ; So, if the op is symmetric and the wrong one is memory, swap them.
  756. %macro RUN_AVX_INSTR1 8
  757. %assign %%swap 0
  758. %if avx_enabled
  759. %ifnid %6
  760. %assign %%swap 1
  761. %endif
  762. %elifnidn %5, %6
  763. %ifnid %7
  764. %assign %%swap 1
  765. %endif
  766. %endif
  767. %if %%swap && %3 == 0 && %8 == 1
  768. RUN_AVX_INSTR %1, %2, %3, %4, %5, %7, %6
  769. %else
  770. RUN_AVX_INSTR %1, %2, %3, %4, %5, %6, %7
  771. %endif
  772. %endmacro
  773. ;%1 == instruction
  774. ;%2 == 1 if float, 0 if int
  775. ;%3 == 1 if 4-operand (xmm, xmm, xmm, imm), 0 if 3-operand (xmm, xmm, xmm)
  776. ;%4 == 1 if symmetric (i.e. doesn't matter which src arg is which), 0 if not
  777. %macro AVX_INSTR 4
  778. %macro %1 2-9 fnord, fnord, fnord, %1, %2, %3, %4
  779. %ifidn %3, fnord
  780. RUN_AVX_INSTR %6, %7, %8, 2, %1, %2
  781. %elifidn %4, fnord
  782. RUN_AVX_INSTR1 %6, %7, %8, 3, %1, %2, %3, %9
  783. %elifidn %5, fnord
  784. RUN_AVX_INSTR %6, %7, %8, 4, %1, %2, %3, %4
  785. %else
  786. RUN_AVX_INSTR %6, %7, %8, 5, %1, %2, %3, %4, %5
  787. %endif
  788. %endmacro
  789. %endmacro
  790. AVX_INSTR addpd, 1, 0, 1
  791. AVX_INSTR addps, 1, 0, 1
  792. AVX_INSTR addsd, 1, 0, 1
  793. AVX_INSTR addss, 1, 0, 1
  794. AVX_INSTR addsubpd, 1, 0, 0
  795. AVX_INSTR addsubps, 1, 0, 0
  796. AVX_INSTR andpd, 1, 0, 1
  797. AVX_INSTR andps, 1, 0, 1
  798. AVX_INSTR andnpd, 1, 0, 0
  799. AVX_INSTR andnps, 1, 0, 0
  800. AVX_INSTR blendpd, 1, 0, 0
  801. AVX_INSTR blendps, 1, 0, 0
  802. AVX_INSTR blendvpd, 1, 0, 0
  803. AVX_INSTR blendvps, 1, 0, 0
  804. AVX_INSTR cmppd, 1, 0, 0
  805. AVX_INSTR cmpps, 1, 0, 0
  806. AVX_INSTR cmpsd, 1, 0, 0
  807. AVX_INSTR cmpss, 1, 0, 0
  808. AVX_INSTR divpd, 1, 0, 0
  809. AVX_INSTR divps, 1, 0, 0
  810. AVX_INSTR divsd, 1, 0, 0
  811. AVX_INSTR divss, 1, 0, 0
  812. AVX_INSTR dppd, 1, 1, 0
  813. AVX_INSTR dpps, 1, 1, 0
  814. AVX_INSTR haddpd, 1, 0, 0
  815. AVX_INSTR haddps, 1, 0, 0
  816. AVX_INSTR hsubpd, 1, 0, 0
  817. AVX_INSTR hsubps, 1, 0, 0
  818. AVX_INSTR maxpd, 1, 0, 1
  819. AVX_INSTR maxps, 1, 0, 1
  820. AVX_INSTR maxsd, 1, 0, 1
  821. AVX_INSTR maxss, 1, 0, 1
  822. AVX_INSTR minpd, 1, 0, 1
  823. AVX_INSTR minps, 1, 0, 1
  824. AVX_INSTR minsd, 1, 0, 1
  825. AVX_INSTR minss, 1, 0, 1
  826. AVX_INSTR movhlps, 1, 0, 0
  827. AVX_INSTR movlhps, 1, 0, 0
  828. AVX_INSTR movsd, 1, 0, 0
  829. AVX_INSTR movss, 1, 0, 0
  830. AVX_INSTR mpsadbw, 0, 1, 0
  831. AVX_INSTR mulpd, 1, 0, 1
  832. AVX_INSTR mulps, 1, 0, 1
  833. AVX_INSTR mulsd, 1, 0, 1
  834. AVX_INSTR mulss, 1, 0, 1
  835. AVX_INSTR orpd, 1, 0, 1
  836. AVX_INSTR orps, 1, 0, 1
  837. AVX_INSTR packsswb, 0, 0, 0
  838. AVX_INSTR packssdw, 0, 0, 0
  839. AVX_INSTR packuswb, 0, 0, 0
  840. AVX_INSTR packusdw, 0, 0, 0
  841. AVX_INSTR paddb, 0, 0, 1
  842. AVX_INSTR paddw, 0, 0, 1
  843. AVX_INSTR paddd, 0, 0, 1
  844. AVX_INSTR paddq, 0, 0, 1
  845. AVX_INSTR paddsb, 0, 0, 1
  846. AVX_INSTR paddsw, 0, 0, 1
  847. AVX_INSTR paddusb, 0, 0, 1
  848. AVX_INSTR paddusw, 0, 0, 1
  849. AVX_INSTR palignr, 0, 1, 0
  850. AVX_INSTR pand, 0, 0, 1
  851. AVX_INSTR pandn, 0, 0, 0
  852. AVX_INSTR pavgb, 0, 0, 1
  853. AVX_INSTR pavgw, 0, 0, 1
  854. AVX_INSTR pblendvb, 0, 0, 0
  855. AVX_INSTR pblendw, 0, 1, 0
  856. AVX_INSTR pcmpestri, 0, 0, 0
  857. AVX_INSTR pcmpestrm, 0, 0, 0
  858. AVX_INSTR pcmpistri, 0, 0, 0
  859. AVX_INSTR pcmpistrm, 0, 0, 0
  860. AVX_INSTR pcmpeqb, 0, 0, 1
  861. AVX_INSTR pcmpeqw, 0, 0, 1
  862. AVX_INSTR pcmpeqd, 0, 0, 1
  863. AVX_INSTR pcmpeqq, 0, 0, 1
  864. AVX_INSTR pcmpgtb, 0, 0, 0
  865. AVX_INSTR pcmpgtw, 0, 0, 0
  866. AVX_INSTR pcmpgtd, 0, 0, 0
  867. AVX_INSTR pcmpgtq, 0, 0, 0
  868. AVX_INSTR phaddw, 0, 0, 0
  869. AVX_INSTR phaddd, 0, 0, 0
  870. AVX_INSTR phaddsw, 0, 0, 0
  871. AVX_INSTR phsubw, 0, 0, 0
  872. AVX_INSTR phsubd, 0, 0, 0
  873. AVX_INSTR phsubsw, 0, 0, 0
  874. AVX_INSTR pmaddwd, 0, 0, 1
  875. AVX_INSTR pmaddubsw, 0, 0, 0
  876. AVX_INSTR pmaxsb, 0, 0, 1
  877. AVX_INSTR pmaxsw, 0, 0, 1
  878. AVX_INSTR pmaxsd, 0, 0, 1
  879. AVX_INSTR pmaxub, 0, 0, 1
  880. AVX_INSTR pmaxuw, 0, 0, 1
  881. AVX_INSTR pmaxud, 0, 0, 1
  882. AVX_INSTR pminsb, 0, 0, 1
  883. AVX_INSTR pminsw, 0, 0, 1
  884. AVX_INSTR pminsd, 0, 0, 1
  885. AVX_INSTR pminub, 0, 0, 1
  886. AVX_INSTR pminuw, 0, 0, 1
  887. AVX_INSTR pminud, 0, 0, 1
  888. AVX_INSTR pmulhuw, 0, 0, 1
  889. AVX_INSTR pmulhrsw, 0, 0, 1
  890. AVX_INSTR pmulhw, 0, 0, 1
  891. AVX_INSTR pmullw, 0, 0, 1
  892. AVX_INSTR pmulld, 0, 0, 1
  893. AVX_INSTR pmuludq, 0, 0, 1
  894. AVX_INSTR pmuldq, 0, 0, 1
  895. AVX_INSTR por, 0, 0, 1
  896. AVX_INSTR psadbw, 0, 0, 1
  897. AVX_INSTR pshufb, 0, 0, 0
  898. AVX_INSTR psignb, 0, 0, 0
  899. AVX_INSTR psignw, 0, 0, 0
  900. AVX_INSTR psignd, 0, 0, 0
  901. AVX_INSTR psllw, 0, 0, 0
  902. AVX_INSTR pslld, 0, 0, 0
  903. AVX_INSTR psllq, 0, 0, 0
  904. AVX_INSTR pslldq, 0, 0, 0
  905. AVX_INSTR psraw, 0, 0, 0
  906. AVX_INSTR psrad, 0, 0, 0
  907. AVX_INSTR psrlw, 0, 0, 0
  908. AVX_INSTR psrld, 0, 0, 0
  909. AVX_INSTR psrlq, 0, 0, 0
  910. AVX_INSTR psrldq, 0, 0, 0
  911. AVX_INSTR psubb, 0, 0, 0
  912. AVX_INSTR psubw, 0, 0, 0
  913. AVX_INSTR psubd, 0, 0, 0
  914. AVX_INSTR psubq, 0, 0, 0
  915. AVX_INSTR psubsb, 0, 0, 0
  916. AVX_INSTR psubsw, 0, 0, 0
  917. AVX_INSTR psubusb, 0, 0, 0
  918. AVX_INSTR psubusw, 0, 0, 0
  919. AVX_INSTR punpckhbw, 0, 0, 0
  920. AVX_INSTR punpckhwd, 0, 0, 0
  921. AVX_INSTR punpckhdq, 0, 0, 0
  922. AVX_INSTR punpckhqdq, 0, 0, 0
  923. AVX_INSTR punpcklbw, 0, 0, 0
  924. AVX_INSTR punpcklwd, 0, 0, 0
  925. AVX_INSTR punpckldq, 0, 0, 0
  926. AVX_INSTR punpcklqdq, 0, 0, 0
  927. AVX_INSTR pxor, 0, 0, 1
  928. AVX_INSTR shufps, 1, 1, 0
  929. AVX_INSTR subpd, 1, 0, 0
  930. AVX_INSTR subps, 1, 0, 0
  931. AVX_INSTR subsd, 1, 0, 0
  932. AVX_INSTR subss, 1, 0, 0
  933. AVX_INSTR unpckhpd, 1, 0, 0
  934. AVX_INSTR unpckhps, 1, 0, 0
  935. AVX_INSTR unpcklpd, 1, 0, 0
  936. AVX_INSTR unpcklps, 1, 0, 0
  937. AVX_INSTR xorpd, 1, 0, 1
  938. AVX_INSTR xorps, 1, 0, 1
  939. ; 3DNow instructions, for sharing code between AVX, SSE and 3DN
  940. AVX_INSTR pfadd, 1, 0, 1
  941. AVX_INSTR pfsub, 1, 0, 0
  942. AVX_INSTR pfmul, 1, 0, 1
  943. ; base-4 constants for shuffles
  944. %assign i 0
  945. %rep 256
  946. %assign j ((i>>6)&3)*1000 + ((i>>4)&3)*100 + ((i>>2)&3)*10 + (i&3)
  947. %if j < 10
  948. CAT_XDEFINE q000, j, i
  949. %elif j < 100
  950. CAT_XDEFINE q00, j, i
  951. %elif j < 1000
  952. CAT_XDEFINE q0, j, i
  953. %else
  954. CAT_XDEFINE q, j, i
  955. %endif
  956. %assign i i+1
  957. %endrep
  958. %undef i
  959. %undef j
  960. %macro FMA_INSTR 3
  961. %macro %1 4-7 %1, %2, %3
  962. %if cpuflag(xop)
  963. v%5 %1, %2, %3, %4
  964. %else
  965. %6 %1, %2, %3
  966. %7 %1, %4
  967. %endif
  968. %endmacro
  969. %endmacro
  970. FMA_INSTR pmacsdd, pmulld, paddd
  971. FMA_INSTR pmacsww, pmullw, paddw
  972. FMA_INSTR pmadcswd, pmaddwd, paddd