16ba62b4879dd65254d1aac0434c438228ec835c
[x264.git] / common / x86 / x86inc.asm
1 ;*****************************************************************************
2 ;* x86inc.asm: x264asm abstraction layer
3 ;*****************************************************************************
4 ;* Copyright (C) 2005-2018 x264 project
5 ;*
6 ;* Authors: Loren Merritt <lorenm@u.washington.edu>
7 ;*          Henrik Gramner <henrik@gramner.com>
8 ;*          Anton Mitrofanov <BugMaster@narod.ru>
9 ;*          Fiona Glaser <fiona@x264.com>
10 ;*
11 ;* Permission to use, copy, modify, and/or distribute this software for any
12 ;* purpose with or without fee is hereby granted, provided that the above
13 ;* copyright notice and this permission notice appear in all copies.
14 ;*
15 ;* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
16 ;* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
17 ;* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
18 ;* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
19 ;* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
20 ;* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
21 ;* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
22 ;*****************************************************************************
23
24 ; This is a header file for the x264ASM assembly language, which uses
25 ; NASM/YASM syntax combined with a large number of macros to provide easy
26 ; abstraction between different calling conventions (x86_32, win64, linux64).
27 ; It also has various other useful features to simplify writing the kind of
28 ; DSP functions that are most often used in x264.
29
30 ; Unlike the rest of x264, this file is available under an ISC license, as it
31 ; has significant usefulness outside of x264 and we want it to be available
32 ; to the largest audience possible.  Of course, if you modify it for your own
33 ; purposes to add a new feature, we strongly encourage contributing a patch
34 ; as this feature might be useful for others as well.  Send patches or ideas
35 ; to x264-devel@videolan.org .
36
37 %ifndef private_prefix
38     %define private_prefix x264
39 %endif
40
41 %ifndef public_prefix
42     %define public_prefix private_prefix
43 %endif
44
45 %ifndef STACK_ALIGNMENT
46     %if ARCH_X86_64
47         %define STACK_ALIGNMENT 16
48     %else
49         %define STACK_ALIGNMENT 4
50     %endif
51 %endif
52
53 %define WIN64  0
54 %define UNIX64 0
55 %if ARCH_X86_64
56     %ifidn __OUTPUT_FORMAT__,win32
57         %define WIN64  1
58     %elifidn __OUTPUT_FORMAT__,win64
59         %define WIN64  1
60     %elifidn __OUTPUT_FORMAT__,x64
61         %define WIN64  1
62     %else
63         %define UNIX64 1
64     %endif
65 %endif
66
67 %define FORMAT_ELF 0
68 %ifidn __OUTPUT_FORMAT__,elf
69     %define FORMAT_ELF 1
70 %elifidn __OUTPUT_FORMAT__,elf32
71     %define FORMAT_ELF 1
72 %elifidn __OUTPUT_FORMAT__,elf64
73     %define FORMAT_ELF 1
74 %endif
75
76 %ifdef PREFIX
77     %define mangle(x) _ %+ x
78 %else
79     %define mangle(x) x
80 %endif
81
82 %macro SECTION_RODATA 0-1 16
83     %ifidn __OUTPUT_FORMAT__,win32
84         SECTION .rdata align=%1
85     %elif WIN64
86         SECTION .rdata align=%1
87     %else
88         SECTION .rodata align=%1
89     %endif
90 %endmacro
91
92 %if WIN64
93     %define PIC
94 %elif ARCH_X86_64 == 0
95 ; x86_32 doesn't require PIC.
96 ; Some distros prefer shared objects to be PIC, but nothing breaks if
97 ; the code contains a few textrels, so we'll skip that complexity.
98     %undef PIC
99 %endif
100 %ifdef PIC
101     default rel
102 %endif
103
104 %ifdef __NASM_VER__
105     %use smartalign
106 %endif
107
108 ; Macros to eliminate most code duplication between x86_32 and x86_64:
109 ; Currently this works only for leaf functions which load all their arguments
110 ; into registers at the start, and make no other use of the stack. Luckily that
111 ; covers most of x264's asm.
112
113 ; PROLOGUE:
114 ; %1 = number of arguments. loads them from stack if needed.
115 ; %2 = number of registers used. pushes callee-saved regs if needed.
116 ; %3 = number of xmm registers used. pushes callee-saved xmm regs if needed.
117 ; %4 = (optional) stack size to be allocated. The stack will be aligned before
118 ;      allocating the specified stack size. If the required stack alignment is
119 ;      larger than the known stack alignment the stack will be manually aligned
120 ;      and an extra register will be allocated to hold the original stack
121 ;      pointer (to not invalidate r0m etc.). To prevent the use of an extra
122 ;      register as stack pointer, request a negative stack size.
123 ; %4+/%5+ = list of names to define to registers
124 ; PROLOGUE can also be invoked by adding the same options to cglobal
125
126 ; e.g.
127 ; cglobal foo, 2,3,7,0x40, dst, src, tmp
128 ; declares a function (foo) that automatically loads two arguments (dst and
129 ; src) into registers, uses one additional register (tmp) plus 7 vector
130 ; registers (m0-m6) and allocates 0x40 bytes of stack space.
131
132 ; TODO Some functions can use some args directly from the stack. If they're the
133 ; last args then you can just not declare them, but if they're in the middle
134 ; we need more flexible macro.
135
136 ; RET:
137 ; Pops anything that was pushed by PROLOGUE, and returns.
138
139 ; REP_RET:
140 ; Use this instead of RET if it's a branch target.
141
142 ; registers:
143 ; rN and rNq are the native-size register holding function argument N
144 ; rNd, rNw, rNb are dword, word, and byte size
145 ; rNh is the high 8 bits of the word size
146 ; rNm is the original location of arg N (a register or on the stack), dword
147 ; rNmp is native size
148
149 %macro DECLARE_REG 2-3
150     %define r%1q %2
151     %define r%1d %2d
152     %define r%1w %2w
153     %define r%1b %2b
154     %define r%1h %2h
155     %define %2q %2
156     %if %0 == 2
157         %define r%1m  %2d
158         %define r%1mp %2
159     %elif ARCH_X86_64 ; memory
160         %define r%1m [rstk + stack_offset + %3]
161         %define r%1mp qword r %+ %1 %+ m
162     %else
163         %define r%1m [rstk + stack_offset + %3]
164         %define r%1mp dword r %+ %1 %+ m
165     %endif
166     %define r%1  %2
167 %endmacro
168
169 %macro DECLARE_REG_SIZE 3
170     %define r%1q r%1
171     %define e%1q r%1
172     %define r%1d e%1
173     %define e%1d e%1
174     %define r%1w %1
175     %define e%1w %1
176     %define r%1h %3
177     %define e%1h %3
178     %define r%1b %2
179     %define e%1b %2
180     %if ARCH_X86_64 == 0
181         %define r%1 e%1
182     %endif
183 %endmacro
184
185 DECLARE_REG_SIZE ax, al, ah
186 DECLARE_REG_SIZE bx, bl, bh
187 DECLARE_REG_SIZE cx, cl, ch
188 DECLARE_REG_SIZE dx, dl, dh
189 DECLARE_REG_SIZE si, sil, null
190 DECLARE_REG_SIZE di, dil, null
191 DECLARE_REG_SIZE bp, bpl, null
192
193 ; t# defines for when per-arch register allocation is more complex than just function arguments
194
195 %macro DECLARE_REG_TMP 1-*
196     %assign %%i 0
197     %rep %0
198         CAT_XDEFINE t, %%i, r%1
199         %assign %%i %%i+1
200         %rotate 1
201     %endrep
202 %endmacro
203
204 %macro DECLARE_REG_TMP_SIZE 0-*
205     %rep %0
206         %define t%1q t%1 %+ q
207         %define t%1d t%1 %+ d
208         %define t%1w t%1 %+ w
209         %define t%1h t%1 %+ h
210         %define t%1b t%1 %+ b
211         %rotate 1
212     %endrep
213 %endmacro
214
215 DECLARE_REG_TMP_SIZE 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14
216
217 %if ARCH_X86_64
218     %define gprsize 8
219 %else
220     %define gprsize 4
221 %endif
222
223 %macro PUSH 1
224     push %1
225     %ifidn rstk, rsp
226         %assign stack_offset stack_offset+gprsize
227     %endif
228 %endmacro
229
230 %macro POP 1
231     pop %1
232     %ifidn rstk, rsp
233         %assign stack_offset stack_offset-gprsize
234     %endif
235 %endmacro
236
237 %macro PUSH_IF_USED 1-*
238     %rep %0
239         %if %1 < regs_used
240             PUSH r%1
241         %endif
242         %rotate 1
243     %endrep
244 %endmacro
245
246 %macro POP_IF_USED 1-*
247     %rep %0
248         %if %1 < regs_used
249             pop r%1
250         %endif
251         %rotate 1
252     %endrep
253 %endmacro
254
255 %macro LOAD_IF_USED 1-*
256     %rep %0
257         %if %1 < num_args
258             mov r%1, r %+ %1 %+ mp
259         %endif
260         %rotate 1
261     %endrep
262 %endmacro
263
264 %macro SUB 2
265     sub %1, %2
266     %ifidn %1, rstk
267         %assign stack_offset stack_offset+(%2)
268     %endif
269 %endmacro
270
271 %macro ADD 2
272     add %1, %2
273     %ifidn %1, rstk
274         %assign stack_offset stack_offset-(%2)
275     %endif
276 %endmacro
277
278 %macro movifnidn 2
279     %ifnidn %1, %2
280         mov %1, %2
281     %endif
282 %endmacro
283
284 %macro movsxdifnidn 2
285     %ifnidn %1, %2
286         movsxd %1, %2
287     %endif
288 %endmacro
289
290 %macro ASSERT 1
291     %if (%1) == 0
292         %error assertion ``%1'' failed
293     %endif
294 %endmacro
295
296 %macro DEFINE_ARGS 0-*
297     %ifdef n_arg_names
298         %assign %%i 0
299         %rep n_arg_names
300             CAT_UNDEF arg_name %+ %%i, q
301             CAT_UNDEF arg_name %+ %%i, d
302             CAT_UNDEF arg_name %+ %%i, w
303             CAT_UNDEF arg_name %+ %%i, h
304             CAT_UNDEF arg_name %+ %%i, b
305             CAT_UNDEF arg_name %+ %%i, m
306             CAT_UNDEF arg_name %+ %%i, mp
307             CAT_UNDEF arg_name, %%i
308             %assign %%i %%i+1
309         %endrep
310     %endif
311
312     %xdefine %%stack_offset stack_offset
313     %undef stack_offset ; so that the current value of stack_offset doesn't get baked in by xdefine
314     %assign %%i 0
315     %rep %0
316         %xdefine %1q r %+ %%i %+ q
317         %xdefine %1d r %+ %%i %+ d
318         %xdefine %1w r %+ %%i %+ w
319         %xdefine %1h r %+ %%i %+ h
320         %xdefine %1b r %+ %%i %+ b
321         %xdefine %1m r %+ %%i %+ m
322         %xdefine %1mp r %+ %%i %+ mp
323         CAT_XDEFINE arg_name, %%i, %1
324         %assign %%i %%i+1
325         %rotate 1
326     %endrep
327     %xdefine stack_offset %%stack_offset
328     %assign n_arg_names %0
329 %endmacro
330
331 %define required_stack_alignment ((mmsize + 15) & ~15)
332 %define vzeroupper_required (mmsize > 16 && (ARCH_X86_64 == 0 || xmm_regs_used > 16 || notcpuflag(avx512)))
333 %define high_mm_regs (16*cpuflag(avx512))
334
335 %macro ALLOC_STACK 1-2 0 ; stack_size, n_xmm_regs (for win64 only)
336     %ifnum %1
337         %if %1 != 0
338             %assign %%pad 0
339             %assign stack_size %1
340             %if stack_size < 0
341                 %assign stack_size -stack_size
342             %endif
343             %if WIN64
344                 %assign %%pad %%pad + 32 ; shadow space
345                 %if mmsize != 8
346                     %assign xmm_regs_used %2
347                     %if xmm_regs_used > 8
348                         %assign %%pad %%pad + (xmm_regs_used-8)*16 ; callee-saved xmm registers
349                     %endif
350                 %endif
351             %endif
352             %if required_stack_alignment <= STACK_ALIGNMENT
353                 ; maintain the current stack alignment
354                 %assign stack_size_padded stack_size + %%pad + ((-%%pad-stack_offset-gprsize) & (STACK_ALIGNMENT-1))
355                 SUB rsp, stack_size_padded
356             %else
357                 %assign %%reg_num (regs_used - 1)
358                 %xdefine rstk r %+ %%reg_num
359                 ; align stack, and save original stack location directly above
360                 ; it, i.e. in [rsp+stack_size_padded], so we can restore the
361                 ; stack in a single instruction (i.e. mov rsp, rstk or mov
362                 ; rsp, [rsp+stack_size_padded])
363                 %if %1 < 0 ; need to store rsp on stack
364                     %xdefine rstkm [rsp + stack_size + %%pad]
365                     %assign %%pad %%pad + gprsize
366                 %else ; can keep rsp in rstk during whole function
367                     %xdefine rstkm rstk
368                 %endif
369                 %assign stack_size_padded stack_size + ((%%pad + required_stack_alignment-1) & ~(required_stack_alignment-1))
370                 mov rstk, rsp
371                 and rsp, ~(required_stack_alignment-1)
372                 sub rsp, stack_size_padded
373                 movifnidn rstkm, rstk
374             %endif
375             WIN64_PUSH_XMM
376         %endif
377     %endif
378 %endmacro
379
380 %macro SETUP_STACK_POINTER 1
381     %ifnum %1
382         %if %1 != 0 && required_stack_alignment > STACK_ALIGNMENT
383             %if %1 > 0
384                 ; Reserve an additional register for storing the original stack pointer, but avoid using
385                 ; eax/rax for this purpose since it can potentially get overwritten as a return value.
386                 %assign regs_used (regs_used + 1)
387                 %if ARCH_X86_64 && regs_used == 7
388                     %assign regs_used 8
389                 %elif ARCH_X86_64 == 0 && regs_used == 1
390                     %assign regs_used 2
391                 %endif
392             %endif
393             %if ARCH_X86_64 && regs_used < 5 + UNIX64 * 3
394                 ; Ensure that we don't clobber any registers containing arguments. For UNIX64 we also preserve r6 (rax)
395                 ; since it's used as a hidden argument in vararg functions to specify the number of vector registers used.
396                 %assign regs_used 5 + UNIX64 * 3
397             %endif
398         %endif
399     %endif
400 %endmacro
401
402 %macro DEFINE_ARGS_INTERNAL 3+
403     %ifnum %2
404         DEFINE_ARGS %3
405     %elif %1 == 4
406         DEFINE_ARGS %2
407     %elif %1 > 4
408         DEFINE_ARGS %2, %3
409     %endif
410 %endmacro
411
412 %if WIN64 ; Windows x64 ;=================================================
413
414 DECLARE_REG 0,  rcx
415 DECLARE_REG 1,  rdx
416 DECLARE_REG 2,  R8
417 DECLARE_REG 3,  R9
418 DECLARE_REG 4,  R10, 40
419 DECLARE_REG 5,  R11, 48
420 DECLARE_REG 6,  rax, 56
421 DECLARE_REG 7,  rdi, 64
422 DECLARE_REG 8,  rsi, 72
423 DECLARE_REG 9,  rbx, 80
424 DECLARE_REG 10, rbp, 88
425 DECLARE_REG 11, R14, 96
426 DECLARE_REG 12, R15, 104
427 DECLARE_REG 13, R12, 112
428 DECLARE_REG 14, R13, 120
429
430 %macro PROLOGUE 2-5+ 0 ; #args, #regs, #xmm_regs, [stack_size,] arg_names...
431     %assign num_args %1
432     %assign regs_used %2
433     ASSERT regs_used >= num_args
434     SETUP_STACK_POINTER %4
435     ASSERT regs_used <= 15
436     PUSH_IF_USED 7, 8, 9, 10, 11, 12, 13, 14
437     ALLOC_STACK %4, %3
438     %if mmsize != 8 && stack_size == 0
439         WIN64_SPILL_XMM %3
440     %endif
441     LOAD_IF_USED 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14
442     DEFINE_ARGS_INTERNAL %0, %4, %5
443 %endmacro
444
445 %macro WIN64_PUSH_XMM 0
446     ; Use the shadow space to store XMM6 and XMM7, the rest needs stack space allocated.
447     %if xmm_regs_used > 6 + high_mm_regs
448         movaps [rstk + stack_offset +  8], xmm6
449     %endif
450     %if xmm_regs_used > 7 + high_mm_regs
451         movaps [rstk + stack_offset + 24], xmm7
452     %endif
453     %assign %%xmm_regs_on_stack xmm_regs_used - high_mm_regs - 8
454     %if %%xmm_regs_on_stack > 0
455         %assign %%i 8
456         %rep %%xmm_regs_on_stack
457             movaps [rsp + (%%i-8)*16 + stack_size + 32], xmm %+ %%i
458             %assign %%i %%i+1
459         %endrep
460     %endif
461 %endmacro
462
463 %macro WIN64_SPILL_XMM 1
464     %assign xmm_regs_used %1
465     ASSERT xmm_regs_used <= 16 + high_mm_regs
466     %assign %%xmm_regs_on_stack xmm_regs_used - high_mm_regs - 8
467     %if %%xmm_regs_on_stack > 0
468         ; Allocate stack space for callee-saved xmm registers plus shadow space and align the stack.
469         %assign %%pad %%xmm_regs_on_stack*16 + 32
470         %assign stack_size_padded %%pad + ((-%%pad-stack_offset-gprsize) & (STACK_ALIGNMENT-1))
471         SUB rsp, stack_size_padded
472     %endif
473     WIN64_PUSH_XMM
474 %endmacro
475
476 %macro WIN64_RESTORE_XMM_INTERNAL 0
477     %assign %%pad_size 0
478     %assign %%xmm_regs_on_stack xmm_regs_used - high_mm_regs - 8
479     %if %%xmm_regs_on_stack > 0
480         %assign %%i xmm_regs_used - high_mm_regs
481         %rep %%xmm_regs_on_stack
482             %assign %%i %%i-1
483             movaps xmm %+ %%i, [rsp + (%%i-8)*16 + stack_size + 32]
484         %endrep
485     %endif
486     %if stack_size_padded > 0
487         %if stack_size > 0 && required_stack_alignment > STACK_ALIGNMENT
488             mov rsp, rstkm
489         %else
490             add rsp, stack_size_padded
491             %assign %%pad_size stack_size_padded
492         %endif
493     %endif
494     %if xmm_regs_used > 7 + high_mm_regs
495         movaps xmm7, [rsp + stack_offset - %%pad_size + 24]
496     %endif
497     %if xmm_regs_used > 6 + high_mm_regs
498         movaps xmm6, [rsp + stack_offset - %%pad_size +  8]
499     %endif
500 %endmacro
501
502 %macro WIN64_RESTORE_XMM 0
503     WIN64_RESTORE_XMM_INTERNAL
504     %assign stack_offset (stack_offset-stack_size_padded)
505     %assign stack_size_padded 0
506     %assign xmm_regs_used 0
507 %endmacro
508
509 %define has_epilogue regs_used > 7 || stack_size > 0 || vzeroupper_required || xmm_regs_used > 6+high_mm_regs
510
511 %macro RET 0
512     WIN64_RESTORE_XMM_INTERNAL
513     POP_IF_USED 14, 13, 12, 11, 10, 9, 8, 7
514     %if vzeroupper_required
515         vzeroupper
516     %endif
517     AUTO_REP_RET
518 %endmacro
519
520 %elif ARCH_X86_64 ; *nix x64 ;=============================================
521
522 DECLARE_REG 0,  rdi
523 DECLARE_REG 1,  rsi
524 DECLARE_REG 2,  rdx
525 DECLARE_REG 3,  rcx
526 DECLARE_REG 4,  R8
527 DECLARE_REG 5,  R9
528 DECLARE_REG 6,  rax, 8
529 DECLARE_REG 7,  R10, 16
530 DECLARE_REG 8,  R11, 24
531 DECLARE_REG 9,  rbx, 32
532 DECLARE_REG 10, rbp, 40
533 DECLARE_REG 11, R14, 48
534 DECLARE_REG 12, R15, 56
535 DECLARE_REG 13, R12, 64
536 DECLARE_REG 14, R13, 72
537
538 %macro PROLOGUE 2-5+ 0 ; #args, #regs, #xmm_regs, [stack_size,] arg_names...
539     %assign num_args %1
540     %assign regs_used %2
541     %assign xmm_regs_used %3
542     ASSERT regs_used >= num_args
543     SETUP_STACK_POINTER %4
544     ASSERT regs_used <= 15
545     PUSH_IF_USED 9, 10, 11, 12, 13, 14
546     ALLOC_STACK %4
547     LOAD_IF_USED 6, 7, 8, 9, 10, 11, 12, 13, 14
548     DEFINE_ARGS_INTERNAL %0, %4, %5
549 %endmacro
550
551 %define has_epilogue regs_used > 9 || stack_size > 0 || vzeroupper_required
552
553 %macro RET 0
554     %if stack_size_padded > 0
555         %if required_stack_alignment > STACK_ALIGNMENT
556             mov rsp, rstkm
557         %else
558             add rsp, stack_size_padded
559         %endif
560     %endif
561     POP_IF_USED 14, 13, 12, 11, 10, 9
562     %if vzeroupper_required
563         vzeroupper
564     %endif
565     AUTO_REP_RET
566 %endmacro
567
568 %else ; X86_32 ;==============================================================
569
570 DECLARE_REG 0, eax, 4
571 DECLARE_REG 1, ecx, 8
572 DECLARE_REG 2, edx, 12
573 DECLARE_REG 3, ebx, 16
574 DECLARE_REG 4, esi, 20
575 DECLARE_REG 5, edi, 24
576 DECLARE_REG 6, ebp, 28
577 %define rsp esp
578
579 %macro DECLARE_ARG 1-*
580     %rep %0
581         %define r%1m [rstk + stack_offset + 4*%1 + 4]
582         %define r%1mp dword r%1m
583         %rotate 1
584     %endrep
585 %endmacro
586
587 DECLARE_ARG 7, 8, 9, 10, 11, 12, 13, 14
588
589 %macro PROLOGUE 2-5+ ; #args, #regs, #xmm_regs, [stack_size,] arg_names...
590     %assign num_args %1
591     %assign regs_used %2
592     ASSERT regs_used >= num_args
593     %if num_args > 7
594         %assign num_args 7
595     %endif
596     %if regs_used > 7
597         %assign regs_used 7
598     %endif
599     SETUP_STACK_POINTER %4
600     ASSERT regs_used <= 7
601     PUSH_IF_USED 3, 4, 5, 6
602     ALLOC_STACK %4
603     LOAD_IF_USED 0, 1, 2, 3, 4, 5, 6
604     DEFINE_ARGS_INTERNAL %0, %4, %5
605 %endmacro
606
607 %define has_epilogue regs_used > 3 || stack_size > 0 || vzeroupper_required
608
609 %macro RET 0
610     %if stack_size_padded > 0
611         %if required_stack_alignment > STACK_ALIGNMENT
612             mov rsp, rstkm
613         %else
614             add rsp, stack_size_padded
615         %endif
616     %endif
617     POP_IF_USED 6, 5, 4, 3
618     %if vzeroupper_required
619         vzeroupper
620     %endif
621     AUTO_REP_RET
622 %endmacro
623
624 %endif ;======================================================================
625
626 %if WIN64 == 0
627     %macro WIN64_SPILL_XMM 1
628     %endmacro
629     %macro WIN64_RESTORE_XMM 0
630     %endmacro
631     %macro WIN64_PUSH_XMM 0
632     %endmacro
633 %endif
634
635 ; On AMD cpus <=K10, an ordinary ret is slow if it immediately follows either
636 ; a branch or a branch target. So switch to a 2-byte form of ret in that case.
637 ; We can automatically detect "follows a branch", but not a branch target.
638 ; (SSSE3 is a sufficient condition to know that your cpu doesn't have this problem.)
639 %macro REP_RET 0
640     %if has_epilogue || cpuflag(ssse3)
641         RET
642     %else
643         rep ret
644     %endif
645     annotate_function_size
646 %endmacro
647
648 %define last_branch_adr $$
649 %macro AUTO_REP_RET 0
650     %if notcpuflag(ssse3)
651         times ((last_branch_adr-$)>>31)+1 rep ; times 1 iff $ == last_branch_adr.
652     %endif
653     ret
654     annotate_function_size
655 %endmacro
656
657 %macro BRANCH_INSTR 0-*
658     %rep %0
659         %macro %1 1-2 %1
660             %2 %1
661             %if notcpuflag(ssse3)
662                 %%branch_instr equ $
663                 %xdefine last_branch_adr %%branch_instr
664             %endif
665         %endmacro
666         %rotate 1
667     %endrep
668 %endmacro
669
670 BRANCH_INSTR jz, je, jnz, jne, jl, jle, jnl, jnle, jg, jge, jng, jnge, ja, jae, jna, jnae, jb, jbe, jnb, jnbe, jc, jnc, js, jns, jo, jno, jp, jnp
671
672 %macro TAIL_CALL 2 ; callee, is_nonadjacent
673     %if has_epilogue
674         call %1
675         RET
676     %elif %2
677         jmp %1
678     %endif
679     annotate_function_size
680 %endmacro
681
682 ;=============================================================================
683 ; arch-independent part
684 ;=============================================================================
685
686 %assign function_align 16
687
688 ; Begin a function.
689 ; Applies any symbol mangling needed for C linkage, and sets up a define such that
690 ; subsequent uses of the function name automatically refer to the mangled version.
691 ; Appends cpuflags to the function name if cpuflags has been specified.
692 ; The "" empty default parameter is a workaround for nasm, which fails if SUFFIX
693 ; is empty and we call cglobal_internal with just %1 %+ SUFFIX (without %2).
694 %macro cglobal 1-2+ "" ; name, [PROLOGUE args]
695     cglobal_internal 1, %1 %+ SUFFIX, %2
696 %endmacro
697 %macro cvisible 1-2+ "" ; name, [PROLOGUE args]
698     cglobal_internal 0, %1 %+ SUFFIX, %2
699 %endmacro
700 %macro cglobal_internal 2-3+
701     annotate_function_size
702     %if %1
703         %xdefine %%FUNCTION_PREFIX private_prefix
704         %xdefine %%VISIBILITY hidden
705     %else
706         %xdefine %%FUNCTION_PREFIX public_prefix
707         %xdefine %%VISIBILITY
708     %endif
709     %ifndef cglobaled_%2
710         %xdefine %2 mangle(%%FUNCTION_PREFIX %+ _ %+ %2)
711         %xdefine %2.skip_prologue %2 %+ .skip_prologue
712         CAT_XDEFINE cglobaled_, %2, 1
713     %endif
714     %xdefine current_function %2
715     %xdefine current_function_section __SECT__
716     %if FORMAT_ELF
717         global %2:function %%VISIBILITY
718     %else
719         global %2
720     %endif
721     align function_align
722     %2:
723     RESET_MM_PERMUTATION        ; needed for x86-64, also makes disassembly somewhat nicer
724     %xdefine rstk rsp           ; copy of the original stack pointer, used when greater alignment than the known stack alignment is required
725     %assign stack_offset 0      ; stack pointer offset relative to the return address
726     %assign stack_size 0        ; amount of stack space that can be freely used inside a function
727     %assign stack_size_padded 0 ; total amount of allocated stack space, including space for callee-saved xmm registers on WIN64 and alignment padding
728     %assign xmm_regs_used 0     ; number of XMM registers requested, used for dealing with callee-saved registers on WIN64 and vzeroupper
729     %ifnidn %3, ""
730         PROLOGUE %3
731     %endif
732 %endmacro
733
734 ; Create a global symbol from a local label with the correct name mangling and type
735 %macro cglobal_label 1
736     %if FORMAT_ELF
737         global current_function %+ %1:function hidden
738     %else
739         global current_function %+ %1
740     %endif
741     %1:
742 %endmacro
743
744 %macro cextern 1
745     %xdefine %1 mangle(private_prefix %+ _ %+ %1)
746     CAT_XDEFINE cglobaled_, %1, 1
747     extern %1
748 %endmacro
749
750 ; like cextern, but without the prefix
751 %macro cextern_naked 1
752     %ifdef PREFIX
753         %xdefine %1 mangle(%1)
754     %endif
755     CAT_XDEFINE cglobaled_, %1, 1
756     extern %1
757 %endmacro
758
759 %macro const 1-2+
760     %xdefine %1 mangle(private_prefix %+ _ %+ %1)
761     %if FORMAT_ELF
762         global %1:data hidden
763     %else
764         global %1
765     %endif
766     %1: %2
767 %endmacro
768
769 ; This is needed for ELF, otherwise the GNU linker assumes the stack is executable by default.
770 %if FORMAT_ELF
771     [SECTION .note.GNU-stack noalloc noexec nowrite progbits]
772 %endif
773
774 ; Tell debuggers how large the function was.
775 ; This may be invoked multiple times per function; we rely on later instances overriding earlier ones.
776 ; This is invoked by RET and similar macros, and also cglobal does it for the previous function,
777 ; but if the last function in a source file doesn't use any of the standard macros for its epilogue,
778 ; then its size might be unspecified.
779 %macro annotate_function_size 0
780     %ifdef __YASM_VER__
781         %ifdef current_function
782             %if FORMAT_ELF
783                 current_function_section
784                 %%ecf equ $
785                 size current_function %%ecf - current_function
786                 __SECT__
787             %endif
788         %endif
789     %endif
790 %endmacro
791
792 ; cpuflags
793
794 %assign cpuflags_mmx      (1<<0)
795 %assign cpuflags_mmx2     (1<<1) | cpuflags_mmx
796 %assign cpuflags_3dnow    (1<<2) | cpuflags_mmx
797 %assign cpuflags_3dnowext (1<<3) | cpuflags_3dnow
798 %assign cpuflags_sse      (1<<4) | cpuflags_mmx2
799 %assign cpuflags_sse2     (1<<5) | cpuflags_sse
800 %assign cpuflags_sse2slow (1<<6) | cpuflags_sse2
801 %assign cpuflags_lzcnt    (1<<7) | cpuflags_sse2
802 %assign cpuflags_sse3     (1<<8) | cpuflags_sse2
803 %assign cpuflags_ssse3    (1<<9) | cpuflags_sse3
804 %assign cpuflags_sse4     (1<<10)| cpuflags_ssse3
805 %assign cpuflags_sse42    (1<<11)| cpuflags_sse4
806 %assign cpuflags_aesni    (1<<12)| cpuflags_sse42
807 %assign cpuflags_avx      (1<<13)| cpuflags_sse42
808 %assign cpuflags_xop      (1<<14)| cpuflags_avx
809 %assign cpuflags_fma4     (1<<15)| cpuflags_avx
810 %assign cpuflags_fma3     (1<<16)| cpuflags_avx
811 %assign cpuflags_bmi1     (1<<17)| cpuflags_avx|cpuflags_lzcnt
812 %assign cpuflags_bmi2     (1<<18)| cpuflags_bmi1
813 %assign cpuflags_avx2     (1<<19)| cpuflags_fma3|cpuflags_bmi2
814 %assign cpuflags_avx512   (1<<20)| cpuflags_avx2 ; F, CD, BW, DQ, VL
815
816 %assign cpuflags_cache32  (1<<21)
817 %assign cpuflags_cache64  (1<<22)
818 %assign cpuflags_aligned  (1<<23) ; not a cpu feature, but a function variant
819 %assign cpuflags_atom     (1<<24)
820
821 ; Returns a boolean value expressing whether or not the specified cpuflag is enabled.
822 %define    cpuflag(x) (((((cpuflags & (cpuflags_ %+ x)) ^ (cpuflags_ %+ x)) - 1) >> 31) & 1)
823 %define notcpuflag(x) (cpuflag(x) ^ 1)
824
825 ; Takes an arbitrary number of cpuflags from the above list.
826 ; All subsequent functions (up to the next INIT_CPUFLAGS) is built for the specified cpu.
827 ; You shouldn't need to invoke this macro directly, it's a subroutine for INIT_MMX &co.
828 %macro INIT_CPUFLAGS 0-*
829     %xdefine SUFFIX
830     %undef cpuname
831     %assign cpuflags 0
832
833     %if %0 >= 1
834         %rep %0
835             %ifdef cpuname
836                 %xdefine cpuname cpuname %+ _%1
837             %else
838                 %xdefine cpuname %1
839             %endif
840             %assign cpuflags cpuflags | cpuflags_%1
841             %rotate 1
842         %endrep
843         %xdefine SUFFIX _ %+ cpuname
844
845         %if cpuflag(avx)
846             %assign avx_enabled 1
847         %endif
848         %if (mmsize == 16 && notcpuflag(sse2)) || (mmsize == 32 && notcpuflag(avx2))
849             %define mova movaps
850             %define movu movups
851             %define movnta movntps
852         %endif
853         %if cpuflag(aligned)
854             %define movu mova
855         %elif cpuflag(sse3) && notcpuflag(ssse3)
856             %define movu lddqu
857         %endif
858     %endif
859
860     %if ARCH_X86_64 || cpuflag(sse2)
861         %ifdef __NASM_VER__
862             ALIGNMODE p6
863         %else
864             CPU amdnop
865         %endif
866     %else
867         %ifdef __NASM_VER__
868             ALIGNMODE nop
869         %else
870             CPU basicnop
871         %endif
872     %endif
873 %endmacro
874
875 ; Merge mmx, sse*, and avx*
876 ; m# is a simd register of the currently selected size
877 ; xm# is the corresponding xmm register if mmsize >= 16, otherwise the same as m#
878 ; ym# is the corresponding ymm register if mmsize >= 32, otherwise the same as m#
879 ; zm# is the corresponding zmm register if mmsize >= 64, otherwise the same as m#
880 ; (All 4 remain in sync through SWAP.)
881
882 %macro CAT_XDEFINE 3
883     %xdefine %1%2 %3
884 %endmacro
885
886 %macro CAT_UNDEF 2
887     %undef %1%2
888 %endmacro
889
890 %macro DEFINE_MMREGS 1 ; mmtype
891     %assign %%prev_mmregs 0
892     %ifdef num_mmregs
893         %assign %%prev_mmregs num_mmregs
894     %endif
895
896     %assign num_mmregs 8
897     %if ARCH_X86_64 && mmsize >= 16
898         %assign num_mmregs 16
899         %if cpuflag(avx512) || mmsize == 64
900             %assign num_mmregs 32
901         %endif
902     %endif
903
904     %assign %%i 0
905     %rep num_mmregs
906         CAT_XDEFINE m, %%i, %1 %+ %%i
907         CAT_XDEFINE nn%1, %%i, %%i
908         %assign %%i %%i+1
909     %endrep
910     %if %%prev_mmregs > num_mmregs
911         %rep %%prev_mmregs - num_mmregs
912             CAT_UNDEF m, %%i
913             CAT_UNDEF nn %+ mmtype, %%i
914             %assign %%i %%i+1
915         %endrep
916     %endif
917     %xdefine mmtype %1
918 %endmacro
919
920 ; Prefer registers 16-31 over 0-15 to avoid having to use vzeroupper
921 %macro AVX512_MM_PERMUTATION 0-1 0 ; start_reg
922     %if ARCH_X86_64 && cpuflag(avx512)
923         %assign %%i %1
924         %rep 16-%1
925             %assign %%i_high %%i+16
926             SWAP %%i, %%i_high
927             %assign %%i %%i+1
928         %endrep
929     %endif
930 %endmacro
931
932 %macro INIT_MMX 0-1+
933     %assign avx_enabled 0
934     %define RESET_MM_PERMUTATION INIT_MMX %1
935     %define mmsize 8
936     %define mova movq
937     %define movu movq
938     %define movh movd
939     %define movnta movntq
940     INIT_CPUFLAGS %1
941     DEFINE_MMREGS mm
942 %endmacro
943
944 %macro INIT_XMM 0-1+
945     %assign avx_enabled 0
946     %define RESET_MM_PERMUTATION INIT_XMM %1
947     %define mmsize 16
948     %define mova movdqa
949     %define movu movdqu
950     %define movh movq
951     %define movnta movntdq
952     INIT_CPUFLAGS %1
953     DEFINE_MMREGS xmm
954     %if WIN64
955         AVX512_MM_PERMUTATION 6 ; Swap callee-saved registers with volatile registers
956     %endif
957 %endmacro
958
959 %macro INIT_YMM 0-1+
960     %assign avx_enabled 1
961     %define RESET_MM_PERMUTATION INIT_YMM %1
962     %define mmsize 32
963     %define mova movdqa
964     %define movu movdqu
965     %undef movh
966     %define movnta movntdq
967     INIT_CPUFLAGS %1
968     DEFINE_MMREGS ymm
969     AVX512_MM_PERMUTATION
970 %endmacro
971
972 %macro INIT_ZMM 0-1+
973     %assign avx_enabled 1
974     %define RESET_MM_PERMUTATION INIT_ZMM %1
975     %define mmsize 64
976     %define mova movdqa
977     %define movu movdqu
978     %undef movh
979     %define movnta movntdq
980     INIT_CPUFLAGS %1
981     DEFINE_MMREGS zmm
982     AVX512_MM_PERMUTATION
983 %endmacro
984
985 INIT_XMM
986
987 %macro DECLARE_MMCAST 1
988     %define  mmmm%1   mm%1
989     %define  mmxmm%1  mm%1
990     %define  mmymm%1  mm%1
991     %define  mmzmm%1  mm%1
992     %define xmmmm%1   mm%1
993     %define xmmxmm%1 xmm%1
994     %define xmmymm%1 xmm%1
995     %define xmmzmm%1 xmm%1
996     %define ymmmm%1   mm%1
997     %define ymmxmm%1 xmm%1
998     %define ymmymm%1 ymm%1
999     %define ymmzmm%1 ymm%1
1000     %define zmmmm%1   mm%1
1001     %define zmmxmm%1 xmm%1
1002     %define zmmymm%1 ymm%1
1003     %define zmmzmm%1 zmm%1
1004     %define xm%1 xmm %+ m%1
1005     %define ym%1 ymm %+ m%1
1006     %define zm%1 zmm %+ m%1
1007 %endmacro
1008
1009 %assign i 0
1010 %rep 32
1011     DECLARE_MMCAST i
1012     %assign i i+1
1013 %endrep
1014
1015 ; I often want to use macros that permute their arguments. e.g. there's no
1016 ; efficient way to implement butterfly or transpose or dct without swapping some
1017 ; arguments.
1018 ;
1019 ; I would like to not have to manually keep track of the permutations:
1020 ; If I insert a permutation in the middle of a function, it should automatically
1021 ; change everything that follows. For more complex macros I may also have multiple
1022 ; implementations, e.g. the SSE2 and SSSE3 versions may have different permutations.
1023 ;
1024 ; Hence these macros. Insert a PERMUTE or some SWAPs at the end of a macro that
1025 ; permutes its arguments. It's equivalent to exchanging the contents of the
1026 ; registers, except that this way you exchange the register names instead, so it
1027 ; doesn't cost any cycles.
1028
1029 %macro PERMUTE 2-* ; takes a list of pairs to swap
1030     %rep %0/2
1031         %xdefine %%tmp%2 m%2
1032         %rotate 2
1033     %endrep
1034     %rep %0/2
1035         %xdefine m%1 %%tmp%2
1036         CAT_XDEFINE nn, m%1, %1
1037         %rotate 2
1038     %endrep
1039 %endmacro
1040
1041 %macro SWAP 2+ ; swaps a single chain (sometimes more concise than pairs)
1042     %ifnum %1 ; SWAP 0, 1, ...
1043         SWAP_INTERNAL_NUM %1, %2
1044     %else ; SWAP m0, m1, ...
1045         SWAP_INTERNAL_NAME %1, %2
1046     %endif
1047 %endmacro
1048
1049 %macro SWAP_INTERNAL_NUM 2-*
1050     %rep %0-1
1051         %xdefine %%tmp m%1
1052         %xdefine m%1 m%2
1053         %xdefine m%2 %%tmp
1054         CAT_XDEFINE nn, m%1, %1
1055         CAT_XDEFINE nn, m%2, %2
1056         %rotate 1
1057     %endrep
1058 %endmacro
1059
1060 %macro SWAP_INTERNAL_NAME 2-*
1061     %xdefine %%args nn %+ %1
1062     %rep %0-1
1063         %xdefine %%args %%args, nn %+ %2
1064         %rotate 1
1065     %endrep
1066     SWAP_INTERNAL_NUM %%args
1067 %endmacro
1068
1069 ; If SAVE_MM_PERMUTATION is placed at the end of a function, then any later
1070 ; calls to that function will automatically load the permutation, so values can
1071 ; be returned in mmregs.
1072 %macro SAVE_MM_PERMUTATION 0-1
1073     %if %0
1074         %xdefine %%f %1_m
1075     %else
1076         %xdefine %%f current_function %+ _m
1077     %endif
1078     %assign %%i 0
1079     %rep num_mmregs
1080         %xdefine %%tmp m %+ %%i
1081         CAT_XDEFINE %%f, %%i, regnumof %+ %%tmp
1082         %assign %%i %%i+1
1083     %endrep
1084 %endmacro
1085
1086 %macro LOAD_MM_PERMUTATION 0-1 ; name to load from
1087     %if %0
1088         %xdefine %%f %1_m
1089     %else
1090         %xdefine %%f current_function %+ _m
1091     %endif
1092     %xdefine %%tmp %%f %+ 0
1093     %ifnum %%tmp
1094         RESET_MM_PERMUTATION
1095         %assign %%i 0
1096         %rep num_mmregs
1097             %xdefine %%tmp %%f %+ %%i
1098             CAT_XDEFINE %%m, %%i, m %+ %%tmp
1099             %assign %%i %%i+1
1100         %endrep
1101         %rep num_mmregs
1102             %assign %%i %%i-1
1103             CAT_XDEFINE m, %%i, %%m %+ %%i
1104             CAT_XDEFINE nn, m %+ %%i, %%i
1105         %endrep
1106     %endif
1107 %endmacro
1108
1109 ; Append cpuflags to the callee's name iff the appended name is known and the plain name isn't
1110 %macro call 1
1111     %ifid %1
1112         call_internal %1 %+ SUFFIX, %1
1113     %else
1114         call %1
1115     %endif
1116 %endmacro
1117 %macro call_internal 2
1118     %xdefine %%i %2
1119     %ifndef cglobaled_%2
1120         %ifdef cglobaled_%1
1121             %xdefine %%i %1
1122         %endif
1123     %endif
1124     call %%i
1125     LOAD_MM_PERMUTATION %%i
1126 %endmacro
1127
1128 ; Substitutions that reduce instruction size but are functionally equivalent
1129 %macro add 2
1130     %ifnum %2
1131         %if %2==128
1132             sub %1, -128
1133         %else
1134             add %1, %2
1135         %endif
1136     %else
1137         add %1, %2
1138     %endif
1139 %endmacro
1140
1141 %macro sub 2
1142     %ifnum %2
1143         %if %2==128
1144             add %1, -128
1145         %else
1146             sub %1, %2
1147         %endif
1148     %else
1149         sub %1, %2
1150     %endif
1151 %endmacro
1152
1153 ;=============================================================================
1154 ; AVX abstraction layer
1155 ;=============================================================================
1156
1157 %assign i 0
1158 %rep 32
1159     %if i < 8
1160         CAT_XDEFINE sizeofmm, i, 8
1161         CAT_XDEFINE regnumofmm, i, i
1162     %endif
1163     CAT_XDEFINE sizeofxmm, i, 16
1164     CAT_XDEFINE sizeofymm, i, 32
1165     CAT_XDEFINE sizeofzmm, i, 64
1166     CAT_XDEFINE regnumofxmm, i, i
1167     CAT_XDEFINE regnumofymm, i, i
1168     CAT_XDEFINE regnumofzmm, i, i
1169     %assign i i+1
1170 %endrep
1171 %undef i
1172
1173 %macro CHECK_AVX_INSTR_EMU 3-*
1174     %xdefine %%opcode %1
1175     %xdefine %%dst %2
1176     %rep %0-2
1177         %ifidn %%dst, %3
1178             %error non-avx emulation of ``%%opcode'' is not supported
1179         %endif
1180         %rotate 1
1181     %endrep
1182 %endmacro
1183
1184 ;%1 == instruction
1185 ;%2 == minimal instruction set
1186 ;%3 == 1 if float, 0 if int
1187 ;%4 == 1 if 4-operand emulation, 0 if 3-operand emulation, 255 otherwise (no emulation)
1188 ;%5 == 1 if commutative (i.e. doesn't matter which src arg is which), 0 if not
1189 ;%6+: operands
1190 %macro RUN_AVX_INSTR 6-9+
1191     %ifnum sizeof%7
1192         %assign __sizeofreg sizeof%7
1193     %elifnum sizeof%6
1194         %assign __sizeofreg sizeof%6
1195     %else
1196         %assign __sizeofreg mmsize
1197     %endif
1198     %assign __emulate_avx 0
1199     %if avx_enabled && __sizeofreg >= 16
1200         %xdefine __instr v%1
1201     %else
1202         %xdefine __instr %1
1203         %if %0 >= 8+%4
1204             %assign __emulate_avx 1
1205         %endif
1206     %endif
1207     %ifnidn %2, fnord
1208         %ifdef cpuname
1209             %if notcpuflag(%2)
1210                 %error use of ``%1'' %2 instruction in cpuname function: current_function
1211             %elif cpuflags_%2 < cpuflags_sse && notcpuflag(sse2) && __sizeofreg > 8
1212                 %error use of ``%1'' sse2 instruction in cpuname function: current_function
1213             %endif
1214         %endif
1215     %endif
1216
1217     %if __emulate_avx
1218         %xdefine __src1 %7
1219         %xdefine __src2 %8
1220         %if %5 && %4 == 0
1221             %ifnidn %6, %7
1222                 %ifidn %6, %8
1223                     %xdefine __src1 %8
1224                     %xdefine __src2 %7
1225                 %elifnnum sizeof%8
1226                     ; 3-operand AVX instructions with a memory arg can only have it in src2,
1227                     ; whereas SSE emulation prefers to have it in src1 (i.e. the mov).
1228                     ; So, if the instruction is commutative with a memory arg, swap them.
1229                     %xdefine __src1 %8
1230                     %xdefine __src2 %7
1231                 %endif
1232             %endif
1233         %endif
1234         %ifnidn %6, __src1
1235             %if %0 >= 9
1236                 CHECK_AVX_INSTR_EMU {%1 %6, %7, %8, %9}, %6, __src2, %9
1237             %else
1238                 CHECK_AVX_INSTR_EMU {%1 %6, %7, %8}, %6, __src2
1239             %endif
1240             %if __sizeofreg == 8
1241                 MOVQ %6, __src1
1242             %elif %3
1243                 MOVAPS %6, __src1
1244             %else
1245                 MOVDQA %6, __src1
1246             %endif
1247         %endif
1248         %if %0 >= 9
1249             %1 %6, __src2, %9
1250         %else
1251             %1 %6, __src2
1252         %endif
1253     %elif %0 >= 9
1254         __instr %6, %7, %8, %9
1255     %elif %0 == 8
1256         %if avx_enabled && %5
1257             %xdefine __src1 %7
1258             %xdefine __src2 %8
1259             %ifnum regnumof%7
1260                 %ifnum regnumof%8
1261                     %if regnumof%7 < 8 && regnumof%8 >= 8 && regnumof%8 < 16 && sizeof%8 <= 32
1262                         ; Most VEX-encoded instructions require an additional byte to encode when
1263                         ; src2 is a high register (e.g. m8..15). If the instruction is commutative
1264                         ; we can swap src1 and src2 when doing so reduces the instruction length.
1265                         %xdefine __src1 %8
1266                         %xdefine __src2 %7
1267                     %endif
1268                 %endif
1269             %endif
1270             __instr %6, __src1, __src2
1271         %else
1272             __instr %6, %7, %8
1273         %endif
1274     %elif %0 == 7
1275         %if avx_enabled && %5
1276             %xdefine __src1 %6
1277             %xdefine __src2 %7
1278             %ifnum regnumof%6
1279                 %ifnum regnumof%7
1280                     %if regnumof%6 < 8 && regnumof%7 >= 8 && regnumof%7 < 16 && sizeof%7 <= 32
1281                         %xdefine __src1 %7
1282                         %xdefine __src2 %6
1283                     %endif
1284                 %endif
1285             %endif
1286             __instr %6, __src1, __src2
1287         %else
1288             __instr %6, %7
1289         %endif
1290     %else
1291         __instr %6
1292     %endif
1293 %endmacro
1294
1295 ;%1 == instruction
1296 ;%2 == minimal instruction set
1297 ;%3 == 1 if float, 0 if int
1298 ;%4 == 1 if 4-operand emulation, 0 if 3-operand emulation, 255 otherwise (no emulation)
1299 ;%5 == 1 if commutative (i.e. doesn't matter which src arg is which), 0 if not
1300 %macro AVX_INSTR 1-5 fnord, 0, 255, 0
1301     %macro %1 1-10 fnord, fnord, fnord, fnord, %1, %2, %3, %4, %5
1302         %ifidn %2, fnord
1303             RUN_AVX_INSTR %6, %7, %8, %9, %10, %1
1304         %elifidn %3, fnord
1305             RUN_AVX_INSTR %6, %7, %8, %9, %10, %1, %2
1306         %elifidn %4, fnord
1307             RUN_AVX_INSTR %6, %7, %8, %9, %10, %1, %2, %3
1308         %elifidn %5, fnord
1309             RUN_AVX_INSTR %6, %7, %8, %9, %10, %1, %2, %3, %4
1310         %else
1311             RUN_AVX_INSTR %6, %7, %8, %9, %10, %1, %2, %3, %4, %5
1312         %endif
1313     %endmacro
1314 %endmacro
1315
1316 ; Instructions with both VEX/EVEX and legacy encodings
1317 ; Non-destructive instructions are written without parameters
1318 AVX_INSTR addpd, sse2, 1, 0, 1
1319 AVX_INSTR addps, sse, 1, 0, 1
1320 AVX_INSTR addsd, sse2, 1, 0, 0
1321 AVX_INSTR addss, sse, 1, 0, 0
1322 AVX_INSTR addsubpd, sse3, 1, 0, 0
1323 AVX_INSTR addsubps, sse3, 1, 0, 0
1324 AVX_INSTR aesdec, aesni, 0, 0, 0
1325 AVX_INSTR aesdeclast, aesni, 0, 0, 0
1326 AVX_INSTR aesenc, aesni, 0, 0, 0
1327 AVX_INSTR aesenclast, aesni, 0, 0, 0
1328 AVX_INSTR aesimc, aesni
1329 AVX_INSTR aeskeygenassist, aesni
1330 AVX_INSTR andnpd, sse2, 1, 0, 0
1331 AVX_INSTR andnps, sse, 1, 0, 0
1332 AVX_INSTR andpd, sse2, 1, 0, 1
1333 AVX_INSTR andps, sse, 1, 0, 1
1334 AVX_INSTR blendpd, sse4, 1, 1, 0
1335 AVX_INSTR blendps, sse4, 1, 1, 0
1336 AVX_INSTR blendvpd, sse4 ; can't be emulated
1337 AVX_INSTR blendvps, sse4 ; can't be emulated
1338 AVX_INSTR cmpeqpd, sse2, 1, 0, 1
1339 AVX_INSTR cmpeqps, sse, 1, 0, 1
1340 AVX_INSTR cmpeqsd, sse2, 1, 0, 0
1341 AVX_INSTR cmpeqss, sse, 1, 0, 0
1342 AVX_INSTR cmplepd, sse2, 1, 0, 0
1343 AVX_INSTR cmpleps, sse, 1, 0, 0
1344 AVX_INSTR cmplesd, sse2, 1, 0, 0
1345 AVX_INSTR cmpless, sse, 1, 0, 0
1346 AVX_INSTR cmpltpd, sse2, 1, 0, 0
1347 AVX_INSTR cmpltps, sse, 1, 0, 0
1348 AVX_INSTR cmpltsd, sse2, 1, 0, 0
1349 AVX_INSTR cmpltss, sse, 1, 0, 0
1350 AVX_INSTR cmpneqpd, sse2, 1, 0, 1
1351 AVX_INSTR cmpneqps, sse, 1, 0, 1
1352 AVX_INSTR cmpneqsd, sse2, 1, 0, 0
1353 AVX_INSTR cmpneqss, sse, 1, 0, 0
1354 AVX_INSTR cmpnlepd, sse2, 1, 0, 0
1355 AVX_INSTR cmpnleps, sse, 1, 0, 0
1356 AVX_INSTR cmpnlesd, sse2, 1, 0, 0
1357 AVX_INSTR cmpnless, sse, 1, 0, 0
1358 AVX_INSTR cmpnltpd, sse2, 1, 0, 0
1359 AVX_INSTR cmpnltps, sse, 1, 0, 0
1360 AVX_INSTR cmpnltsd, sse2, 1, 0, 0
1361 AVX_INSTR cmpnltss, sse, 1, 0, 0
1362 AVX_INSTR cmpordpd, sse2 1, 0, 1
1363 AVX_INSTR cmpordps, sse 1, 0, 1
1364 AVX_INSTR cmpordsd, sse2 1, 0, 0
1365 AVX_INSTR cmpordss, sse 1, 0, 0
1366 AVX_INSTR cmppd, sse2, 1, 1, 0
1367 AVX_INSTR cmpps, sse, 1, 1, 0
1368 AVX_INSTR cmpsd, sse2, 1, 1, 0
1369 AVX_INSTR cmpss, sse, 1, 1, 0
1370 AVX_INSTR cmpunordpd, sse2, 1, 0, 1
1371 AVX_INSTR cmpunordps, sse, 1, 0, 1
1372 AVX_INSTR cmpunordsd, sse2, 1, 0, 0
1373 AVX_INSTR cmpunordss, sse, 1, 0, 0
1374 AVX_INSTR comisd, sse2
1375 AVX_INSTR comiss, sse
1376 AVX_INSTR cvtdq2pd, sse2
1377 AVX_INSTR cvtdq2ps, sse2
1378 AVX_INSTR cvtpd2dq, sse2
1379 AVX_INSTR cvtpd2ps, sse2
1380 AVX_INSTR cvtps2dq, sse2
1381 AVX_INSTR cvtps2pd, sse2
1382 AVX_INSTR cvtsd2si, sse2
1383 AVX_INSTR cvtsd2ss, sse2, 1, 0, 0
1384 AVX_INSTR cvtsi2sd, sse2, 1, 0, 0
1385 AVX_INSTR cvtsi2ss, sse, 1, 0, 0
1386 AVX_INSTR cvtss2sd, sse2, 1, 0, 0
1387 AVX_INSTR cvtss2si, sse
1388 AVX_INSTR cvttpd2dq, sse2
1389 AVX_INSTR cvttps2dq, sse2
1390 AVX_INSTR cvttsd2si, sse2
1391 AVX_INSTR cvttss2si, sse
1392 AVX_INSTR divpd, sse2, 1, 0, 0
1393 AVX_INSTR divps, sse, 1, 0, 0
1394 AVX_INSTR divsd, sse2, 1, 0, 0
1395 AVX_INSTR divss, sse, 1, 0, 0
1396 AVX_INSTR dppd, sse4, 1, 1, 0
1397 AVX_INSTR dpps, sse4, 1, 1, 0
1398 AVX_INSTR extractps, sse4
1399 AVX_INSTR haddpd, sse3, 1, 0, 0
1400 AVX_INSTR haddps, sse3, 1, 0, 0
1401 AVX_INSTR hsubpd, sse3, 1, 0, 0
1402 AVX_INSTR hsubps, sse3, 1, 0, 0
1403 AVX_INSTR insertps, sse4, 1, 1, 0
1404 AVX_INSTR lddqu, sse3
1405 AVX_INSTR ldmxcsr, sse
1406 AVX_INSTR maskmovdqu, sse2
1407 AVX_INSTR maxpd, sse2, 1, 0, 1
1408 AVX_INSTR maxps, sse, 1, 0, 1
1409 AVX_INSTR maxsd, sse2, 1, 0, 0
1410 AVX_INSTR maxss, sse, 1, 0, 0
1411 AVX_INSTR minpd, sse2, 1, 0, 1
1412 AVX_INSTR minps, sse, 1, 0, 1
1413 AVX_INSTR minsd, sse2, 1, 0, 0
1414 AVX_INSTR minss, sse, 1, 0, 0
1415 AVX_INSTR movapd, sse2
1416 AVX_INSTR movaps, sse
1417 AVX_INSTR movd, mmx
1418 AVX_INSTR movddup, sse3
1419 AVX_INSTR movdqa, sse2
1420 AVX_INSTR movdqu, sse2
1421 AVX_INSTR movhlps, sse, 1, 0, 0
1422 AVX_INSTR movhpd, sse2, 1, 0, 0
1423 AVX_INSTR movhps, sse, 1, 0, 0
1424 AVX_INSTR movlhps, sse, 1, 0, 0
1425 AVX_INSTR movlpd, sse2, 1, 0, 0
1426 AVX_INSTR movlps, sse, 1, 0, 0
1427 AVX_INSTR movmskpd, sse2
1428 AVX_INSTR movmskps, sse
1429 AVX_INSTR movntdq, sse2
1430 AVX_INSTR movntdqa, sse4
1431 AVX_INSTR movntpd, sse2
1432 AVX_INSTR movntps, sse
1433 AVX_INSTR movq, mmx
1434 AVX_INSTR movsd, sse2, 1, 0, 0
1435 AVX_INSTR movshdup, sse3
1436 AVX_INSTR movsldup, sse3
1437 AVX_INSTR movss, sse, 1, 0, 0
1438 AVX_INSTR movupd, sse2
1439 AVX_INSTR movups, sse
1440 AVX_INSTR mpsadbw, sse4, 0, 1, 0
1441 AVX_INSTR mulpd, sse2, 1, 0, 1
1442 AVX_INSTR mulps, sse, 1, 0, 1
1443 AVX_INSTR mulsd, sse2, 1, 0, 0
1444 AVX_INSTR mulss, sse, 1, 0, 0
1445 AVX_INSTR orpd, sse2, 1, 0, 1
1446 AVX_INSTR orps, sse, 1, 0, 1
1447 AVX_INSTR pabsb, ssse3
1448 AVX_INSTR pabsd, ssse3
1449 AVX_INSTR pabsw, ssse3
1450 AVX_INSTR packsswb, mmx, 0, 0, 0
1451 AVX_INSTR packssdw, mmx, 0, 0, 0
1452 AVX_INSTR packuswb, mmx, 0, 0, 0
1453 AVX_INSTR packusdw, sse4, 0, 0, 0
1454 AVX_INSTR paddb, mmx, 0, 0, 1
1455 AVX_INSTR paddw, mmx, 0, 0, 1
1456 AVX_INSTR paddd, mmx, 0, 0, 1
1457 AVX_INSTR paddq, sse2, 0, 0, 1
1458 AVX_INSTR paddsb, mmx, 0, 0, 1
1459 AVX_INSTR paddsw, mmx, 0, 0, 1
1460 AVX_INSTR paddusb, mmx, 0, 0, 1
1461 AVX_INSTR paddusw, mmx, 0, 0, 1
1462 AVX_INSTR palignr, ssse3, 0, 1, 0
1463 AVX_INSTR pand, mmx, 0, 0, 1
1464 AVX_INSTR pandn, mmx, 0, 0, 0
1465 AVX_INSTR pavgb, mmx2, 0, 0, 1
1466 AVX_INSTR pavgw, mmx2, 0, 0, 1
1467 AVX_INSTR pblendvb, sse4 ; can't be emulated
1468 AVX_INSTR pblendw, sse4, 0, 1, 0
1469 AVX_INSTR pclmulqdq, fnord, 0, 1, 0
1470 AVX_INSTR pclmulhqhqdq, fnord, 0, 0, 0
1471 AVX_INSTR pclmulhqlqdq, fnord, 0, 0, 0
1472 AVX_INSTR pclmullqhqdq, fnord, 0, 0, 0
1473 AVX_INSTR pclmullqlqdq, fnord, 0, 0, 0
1474 AVX_INSTR pcmpestri, sse42
1475 AVX_INSTR pcmpestrm, sse42
1476 AVX_INSTR pcmpistri, sse42
1477 AVX_INSTR pcmpistrm, sse42
1478 AVX_INSTR pcmpeqb, mmx, 0, 0, 1
1479 AVX_INSTR pcmpeqw, mmx, 0, 0, 1
1480 AVX_INSTR pcmpeqd, mmx, 0, 0, 1
1481 AVX_INSTR pcmpeqq, sse4, 0, 0, 1
1482 AVX_INSTR pcmpgtb, mmx, 0, 0, 0
1483 AVX_INSTR pcmpgtw, mmx, 0, 0, 0
1484 AVX_INSTR pcmpgtd, mmx, 0, 0, 0
1485 AVX_INSTR pcmpgtq, sse42, 0, 0, 0
1486 AVX_INSTR pextrb, sse4
1487 AVX_INSTR pextrd, sse4
1488 AVX_INSTR pextrq, sse4
1489 AVX_INSTR pextrw, mmx2
1490 AVX_INSTR phaddw, ssse3, 0, 0, 0
1491 AVX_INSTR phaddd, ssse3, 0, 0, 0
1492 AVX_INSTR phaddsw, ssse3, 0, 0, 0
1493 AVX_INSTR phminposuw, sse4
1494 AVX_INSTR phsubw, ssse3, 0, 0, 0
1495 AVX_INSTR phsubd, ssse3, 0, 0, 0
1496 AVX_INSTR phsubsw, ssse3, 0, 0, 0
1497 AVX_INSTR pinsrb, sse4, 0, 1, 0
1498 AVX_INSTR pinsrd, sse4, 0, 1, 0
1499 AVX_INSTR pinsrq, sse4, 0, 1, 0
1500 AVX_INSTR pinsrw, mmx2, 0, 1, 0
1501 AVX_INSTR pmaddwd, mmx, 0, 0, 1
1502 AVX_INSTR pmaddubsw, ssse3, 0, 0, 0
1503 AVX_INSTR pmaxsb, sse4, 0, 0, 1
1504 AVX_INSTR pmaxsw, mmx2, 0, 0, 1
1505 AVX_INSTR pmaxsd, sse4, 0, 0, 1
1506 AVX_INSTR pmaxub, mmx2, 0, 0, 1
1507 AVX_INSTR pmaxuw, sse4, 0, 0, 1
1508 AVX_INSTR pmaxud, sse4, 0, 0, 1
1509 AVX_INSTR pminsb, sse4, 0, 0, 1
1510 AVX_INSTR pminsw, mmx2, 0, 0, 1
1511 AVX_INSTR pminsd, sse4, 0, 0, 1
1512 AVX_INSTR pminub, mmx2, 0, 0, 1
1513 AVX_INSTR pminuw, sse4, 0, 0, 1
1514 AVX_INSTR pminud, sse4, 0, 0, 1
1515 AVX_INSTR pmovmskb, mmx2
1516 AVX_INSTR pmovsxbw, sse4
1517 AVX_INSTR pmovsxbd, sse4
1518 AVX_INSTR pmovsxbq, sse4
1519 AVX_INSTR pmovsxwd, sse4
1520 AVX_INSTR pmovsxwq, sse4
1521 AVX_INSTR pmovsxdq, sse4
1522 AVX_INSTR pmovzxbw, sse4
1523 AVX_INSTR pmovzxbd, sse4
1524 AVX_INSTR pmovzxbq, sse4
1525 AVX_INSTR pmovzxwd, sse4
1526 AVX_INSTR pmovzxwq, sse4
1527 AVX_INSTR pmovzxdq, sse4
1528 AVX_INSTR pmuldq, sse4, 0, 0, 1
1529 AVX_INSTR pmulhrsw, ssse3, 0, 0, 1
1530 AVX_INSTR pmulhuw, mmx2, 0, 0, 1
1531 AVX_INSTR pmulhw, mmx, 0, 0, 1
1532 AVX_INSTR pmullw, mmx, 0, 0, 1
1533 AVX_INSTR pmulld, sse4, 0, 0, 1
1534 AVX_INSTR pmuludq, sse2, 0, 0, 1
1535 AVX_INSTR por, mmx, 0, 0, 1
1536 AVX_INSTR psadbw, mmx2, 0, 0, 1
1537 AVX_INSTR pshufb, ssse3, 0, 0, 0
1538 AVX_INSTR pshufd, sse2
1539 AVX_INSTR pshufhw, sse2
1540 AVX_INSTR pshuflw, sse2
1541 AVX_INSTR psignb, ssse3, 0, 0, 0
1542 AVX_INSTR psignw, ssse3, 0, 0, 0
1543 AVX_INSTR psignd, ssse3, 0, 0, 0
1544 AVX_INSTR psllw, mmx, 0, 0, 0
1545 AVX_INSTR pslld, mmx, 0, 0, 0
1546 AVX_INSTR psllq, mmx, 0, 0, 0
1547 AVX_INSTR pslldq, sse2, 0, 0, 0
1548 AVX_INSTR psraw, mmx, 0, 0, 0
1549 AVX_INSTR psrad, mmx, 0, 0, 0
1550 AVX_INSTR psrlw, mmx, 0, 0, 0
1551 AVX_INSTR psrld, mmx, 0, 0, 0
1552 AVX_INSTR psrlq, mmx, 0, 0, 0
1553 AVX_INSTR psrldq, sse2, 0, 0, 0
1554 AVX_INSTR psubb, mmx, 0, 0, 0
1555 AVX_INSTR psubw, mmx, 0, 0, 0
1556 AVX_INSTR psubd, mmx, 0, 0, 0
1557 AVX_INSTR psubq, sse2, 0, 0, 0
1558 AVX_INSTR psubsb, mmx, 0, 0, 0
1559 AVX_INSTR psubsw, mmx, 0, 0, 0
1560 AVX_INSTR psubusb, mmx, 0, 0, 0
1561 AVX_INSTR psubusw, mmx, 0, 0, 0
1562 AVX_INSTR ptest, sse4
1563 AVX_INSTR punpckhbw, mmx, 0, 0, 0
1564 AVX_INSTR punpckhwd, mmx, 0, 0, 0
1565 AVX_INSTR punpckhdq, mmx, 0, 0, 0
1566 AVX_INSTR punpckhqdq, sse2, 0, 0, 0
1567 AVX_INSTR punpcklbw, mmx, 0, 0, 0
1568 AVX_INSTR punpcklwd, mmx, 0, 0, 0
1569 AVX_INSTR punpckldq, mmx, 0, 0, 0
1570 AVX_INSTR punpcklqdq, sse2, 0, 0, 0
1571 AVX_INSTR pxor, mmx, 0, 0, 1
1572 AVX_INSTR rcpps, sse
1573 AVX_INSTR rcpss, sse, 1, 0, 0
1574 AVX_INSTR roundpd, sse4
1575 AVX_INSTR roundps, sse4
1576 AVX_INSTR roundsd, sse4, 1, 1, 0
1577 AVX_INSTR roundss, sse4, 1, 1, 0
1578 AVX_INSTR rsqrtps, sse
1579 AVX_INSTR rsqrtss, sse, 1, 0, 0
1580 AVX_INSTR shufpd, sse2, 1, 1, 0
1581 AVX_INSTR shufps, sse, 1, 1, 0
1582 AVX_INSTR sqrtpd, sse2
1583 AVX_INSTR sqrtps, sse
1584 AVX_INSTR sqrtsd, sse2, 1, 0, 0
1585 AVX_INSTR sqrtss, sse, 1, 0, 0
1586 AVX_INSTR stmxcsr, sse
1587 AVX_INSTR subpd, sse2, 1, 0, 0
1588 AVX_INSTR subps, sse, 1, 0, 0
1589 AVX_INSTR subsd, sse2, 1, 0, 0
1590 AVX_INSTR subss, sse, 1, 0, 0
1591 AVX_INSTR ucomisd, sse2
1592 AVX_INSTR ucomiss, sse
1593 AVX_INSTR unpckhpd, sse2, 1, 0, 0
1594 AVX_INSTR unpckhps, sse, 1, 0, 0
1595 AVX_INSTR unpcklpd, sse2, 1, 0, 0
1596 AVX_INSTR unpcklps, sse, 1, 0, 0
1597 AVX_INSTR xorpd, sse2, 1, 0, 1
1598 AVX_INSTR xorps, sse, 1, 0, 1
1599
1600 ; 3DNow instructions, for sharing code between AVX, SSE and 3DN
1601 AVX_INSTR pfadd, 3dnow, 1, 0, 1
1602 AVX_INSTR pfsub, 3dnow, 1, 0, 0
1603 AVX_INSTR pfmul, 3dnow, 1, 0, 1
1604
1605 ; base-4 constants for shuffles
1606 %assign i 0
1607 %rep 256
1608     %assign j ((i>>6)&3)*1000 + ((i>>4)&3)*100 + ((i>>2)&3)*10 + (i&3)
1609     %if j < 10
1610         CAT_XDEFINE q000, j, i
1611     %elif j < 100
1612         CAT_XDEFINE q00, j, i
1613     %elif j < 1000
1614         CAT_XDEFINE q0, j, i
1615     %else
1616         CAT_XDEFINE q, j, i
1617     %endif
1618     %assign i i+1
1619 %endrep
1620 %undef i
1621 %undef j
1622
1623 %macro FMA_INSTR 3
1624     %macro %1 4-7 %1, %2, %3
1625         %if cpuflag(xop)
1626             v%5 %1, %2, %3, %4
1627         %elifnidn %1, %4
1628             %6 %1, %2, %3
1629             %7 %1, %4
1630         %else
1631             %error non-xop emulation of ``%5 %1, %2, %3, %4'' is not supported
1632         %endif
1633     %endmacro
1634 %endmacro
1635
1636 FMA_INSTR  pmacsww,  pmullw, paddw
1637 FMA_INSTR  pmacsdd,  pmulld, paddd ; sse4 emulation
1638 FMA_INSTR pmacsdql,  pmuldq, paddq ; sse4 emulation
1639 FMA_INSTR pmadcswd, pmaddwd, paddd
1640
1641 ; Macros for consolidating FMA3 and FMA4 using 4-operand (dst, src1, src2, src3) syntax.
1642 ; FMA3 is only possible if dst is the same as one of the src registers.
1643 ; Either src2 or src3 can be a memory operand.
1644 %macro FMA4_INSTR 2-*
1645     %push fma4_instr
1646     %xdefine %$prefix %1
1647     %rep %0 - 1
1648         %macro %$prefix%2 4-6 %$prefix, %2
1649             %if notcpuflag(fma3) && notcpuflag(fma4)
1650                 %error use of ``%5%6'' fma instruction in cpuname function: current_function
1651             %elif cpuflag(fma4)
1652                 v%5%6 %1, %2, %3, %4
1653             %elifidn %1, %2
1654                 ; If %3 or %4 is a memory operand it needs to be encoded as the last operand.
1655                 %ifnum sizeof%3
1656                     v%{5}213%6 %2, %3, %4
1657                 %else
1658                     v%{5}132%6 %2, %4, %3
1659                 %endif
1660             %elifidn %1, %3
1661                 v%{5}213%6 %3, %2, %4
1662             %elifidn %1, %4
1663                 v%{5}231%6 %4, %2, %3
1664             %else
1665                 %error fma3 emulation of ``%5%6 %1, %2, %3, %4'' is not supported
1666             %endif
1667         %endmacro
1668         %rotate 1
1669     %endrep
1670     %pop
1671 %endmacro
1672
1673 FMA4_INSTR fmadd,    pd, ps, sd, ss
1674 FMA4_INSTR fmaddsub, pd, ps
1675 FMA4_INSTR fmsub,    pd, ps, sd, ss
1676 FMA4_INSTR fmsubadd, pd, ps
1677 FMA4_INSTR fnmadd,   pd, ps, sd, ss
1678 FMA4_INSTR fnmsub,   pd, ps, sd, ss
1679
1680 ; Macros for converting VEX instructions to equivalent EVEX ones.
1681 %macro EVEX_INSTR 2-3 0 ; vex, evex, prefer_evex
1682     %macro %1 2-7 fnord, fnord, %1, %2, %3
1683         %ifidn %3, fnord
1684             %define %%args %1, %2
1685         %elifidn %4, fnord
1686             %define %%args %1, %2, %3
1687         %else
1688             %define %%args %1, %2, %3, %4
1689         %endif
1690         %assign %%evex_required cpuflag(avx512) & %7
1691         %ifnum regnumof%1
1692             %if regnumof%1 >= 16 || sizeof%1 > 32
1693                 %assign %%evex_required 1
1694             %endif
1695         %endif
1696         %ifnum regnumof%2
1697             %if regnumof%2 >= 16 || sizeof%2 > 32
1698                 %assign %%evex_required 1
1699             %endif
1700         %endif
1701         %ifnum regnumof%3
1702             %if regnumof%3 >= 16 || sizeof%3 > 32
1703                 %assign %%evex_required 1
1704             %endif
1705         %endif
1706         %if %%evex_required
1707             %6 %%args
1708         %else
1709             %5 %%args ; Prefer VEX over EVEX due to shorter instruction length
1710         %endif
1711     %endmacro
1712 %endmacro
1713
1714 EVEX_INSTR vbroadcastf128, vbroadcastf32x4
1715 EVEX_INSTR vbroadcasti128, vbroadcasti32x4
1716 EVEX_INSTR vextractf128,   vextractf32x4
1717 EVEX_INSTR vextracti128,   vextracti32x4
1718 EVEX_INSTR vinsertf128,    vinsertf32x4
1719 EVEX_INSTR vinserti128,    vinserti32x4
1720 EVEX_INSTR vmovdqa,        vmovdqa32
1721 EVEX_INSTR vmovdqu,        vmovdqu32
1722 EVEX_INSTR vpand,          vpandd
1723 EVEX_INSTR vpandn,         vpandnd
1724 EVEX_INSTR vpor,           vpord
1725 EVEX_INSTR vpxor,          vpxord
1726 EVEX_INSTR vrcpps,         vrcp14ps,   1 ; EVEX versions have higher precision
1727 EVEX_INSTR vrcpss,         vrcp14ss,   1
1728 EVEX_INSTR vrsqrtps,       vrsqrt14ps, 1
1729 EVEX_INSTR vrsqrtss,       vrsqrt14ss, 1