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.

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