1after "rex.WB addpd  0x0(%r8),%xmm1" (dqws in order [15 .. 0]) {
2  [0]    ................................
3  [1]    ................................
4  [2]    ................................
5  [3]    ................................
6  [4]    ................................
7}
8after "rex.WB addpd  0x0(%r8),%xmm1" (xmms in order [15..0]) {
9  %xmm 0 ................................
10  %xmm 1 .2.6.6.2.527faf9.8.8.8.f.1.3.1.7
11  %xmm 2 ................................
12  %xmm 3 ................................
13  %xmm 4 ................................
14  %xmm 5 ................................
15  %xmm 6 ................................
16  %xmm 7 ................................
17  %xmm 8 ................................
18  %xmm 9 ................................
19  %xmm10 ................................
20  %xmm11 ................................
21  %xmm12 ................................
22  %xmm13 ................................
23  %xmm14 ................................
24  %xmm15 ................................
25}
26
27after "rex.W addsd  (%rdi),%xmm4" (dqws in order [15 .. 0]) {
28  [0]    ................................
29  [1]    ................................
30  [2]    ................................
31  [3]    ................................
32  [4]    ................................
33}
34after "rex.W addsd  (%rdi),%xmm4" (xmms in order [15..0]) {
35  %xmm 0 ................................
36  %xmm 1 ................................
37  %xmm 2 ................................
38  %xmm 3 ................................
39  %xmm 4 .................9.b.e.e.2.2.6.6
40  %xmm 5 ................................
41  %xmm 6 ................................
42  %xmm 7 ................................
43  %xmm 8 ................................
44  %xmm 9 ................................
45  %xmm10 ................................
46  %xmm11 ................................
47  %xmm12 ................................
48  %xmm13 ................................
49  %xmm14 ................................
50  %xmm15 ................................
51}
52
53after "rex.W movapd (%rdx),%xmm1" (dqws in order [15 .. 0]) {
54  [0]    ................................
55  [1]    ................................
56  [2]    ................................
57  [3]    ................................
58  [4]    ................................
59}
60after "rex.W movapd (%rdx),%xmm1" (xmms in order [15..0]) {
61  %xmm 0 ................................
62  %xmm 1 .2.6.6.2.5.8.8.8.8.8.8.f.1.3.1.7
63  %xmm 2 ................................
64  %xmm 3 ................................
65  %xmm 4 ................................
66  %xmm 5 ................................
67  %xmm 6 ................................
68  %xmm 7 ................................
69  %xmm 8 ................................
70  %xmm 9 ................................
71  %xmm10 ................................
72  %xmm11 ................................
73  %xmm12 ................................
74  %xmm13 ................................
75  %xmm14 ................................
76  %xmm15 ................................
77}
78
79after "rex.W movapd %xmm1,(%rdx)" (dqws in order [15 .. 0]) {
80  [0]    ................................
81  [1]    ................................
82  [2]    .2.6.6.2.5.8.8.8.8.8.8.f.1.3.1.7
83  [3]    ................................
84  [4]    ................................
85}
86after "rex.W movapd %xmm1,(%rdx)" (xmms in order [15..0]) {
87  %xmm 0 ................................
88  %xmm 1 ................................
89  %xmm 2 ................................
90  %xmm 3 ................................
91  %xmm 4 ................................
92  %xmm 5 ................................
93  %xmm 6 ................................
94  %xmm 7 ................................
95  %xmm 8 ................................
96  %xmm 9 ................................
97  %xmm10 ................................
98  %xmm11 ................................
99  %xmm12 ................................
100  %xmm13 ................................
101  %xmm14 ................................
102  %xmm15 ................................
103}
104
105after "movaps 0x30(%rdx),%xmm0" (dqws in order [15 .. 0]) {
106  [0]    ................................
107  [1]    ................................
108  [2]    ................................
109  [3]    ................................
110  [4]    ................................
111}
112after "movaps 0x30(%rdx),%xmm0" (xmms in order [15..0]) {
113  %xmm 0 .4.4.3.5.7.a.e.e.a.d.f.d.3.5.7.5
114  %xmm 1 ................................
115  %xmm 2 ................................
116  %xmm 3 ................................
117  %xmm 4 ................................
118  %xmm 5 ................................
119  %xmm 6 ................................
120  %xmm 7 ................................
121  %xmm 8 ................................
122  %xmm 9 ................................
123  %xmm10 ................................
124  %xmm11 ................................
125  %xmm12 ................................
126  %xmm13 ................................
127  %xmm14 ................................
128  %xmm15 ................................
129}
130
131after "rex.WB movaps %xmm1,0x0(%r8)" (dqws in order [15 .. 0]) {
132  [0]    ................................
133  [1]    ................................
134  [2]    .2.6.6.2.5.8.8.8.8.8.8.f.1.3.1.7
135  [3]    ................................
136  [4]    ................................
137}
138after "rex.WB movaps %xmm1,0x0(%r8)" (xmms in order [15..0]) {
139  %xmm 0 ................................
140  %xmm 1 ................................
141  %xmm 2 ................................
142  %xmm 3 ................................
143  %xmm 4 ................................
144  %xmm 5 ................................
145  %xmm 6 ................................
146  %xmm 7 ................................
147  %xmm 8 ................................
148  %xmm 9 ................................
149  %xmm10 ................................
150  %xmm11 ................................
151  %xmm12 ................................
152  %xmm13 ................................
153  %xmm14 ................................
154  %xmm15 ................................
155}
156
157after "movddup (%rdx),%xmm5" (dqws in order [15 .. 0]) {
158  [0]    ................................
159  [1]    ................................
160  [2]    ................................
161  [3]    ................................
162  [4]    ................................
163}
164after "movddup (%rdx),%xmm5" (xmms in order [15..0]) {
165  %xmm 0 ................................
166  %xmm 1 ................................
167  %xmm 2 ................................
168  %xmm 3 ................................
169  %xmm 4 ................................
170  %xmm 5 .e.e.a.a.6.1.3.1.f.9.b.9........
171  %xmm 6 ................................
172  %xmm 7 ................................
173  %xmm 8 ................................
174  %xmm 9 ................................
175  %xmm10 ................................
176  %xmm11 ................................
177  %xmm12 ................................
178  %xmm13 ................................
179  %xmm14 ................................
180  %xmm15 ................................
181}
182
183after "rex.W movhpd (%rsi),%xmm0" (dqws in order [15 .. 0]) {
184  [0]    ................................
185  [1]    ................................
186  [2]    ................................
187  [3]    ................................
188  [4]    ................................
189}
190after "rex.W movhpd (%rsi),%xmm0" (xmms in order [15..0]) {
191  %xmm 0 .9.b.e.e.2.2.6.6................
192  %xmm 1 ................................
193  %xmm 2 ................................
194  %xmm 3 ................................
195  %xmm 4 ................................
196  %xmm 5 ................................
197  %xmm 6 ................................
198  %xmm 7 ................................
199  %xmm 8 ................................
200  %xmm 9 ................................
201  %xmm10 ................................
202  %xmm11 ................................
203  %xmm12 ................................
204  %xmm13 ................................
205  %xmm14 ................................
206  %xmm15 ................................
207}
208
209after "rex.W movhpd %xmm0,(%rdi)" (dqws in order [15 .. 0]) {
210  [0]    ................................
211  [1]    ................................
212  [2]    .................9.b.e.e.2.2.6.6
213  [3]    ................................
214  [4]    ................................
215}
216after "rex.W movhpd %xmm0,(%rdi)" (xmms in order [15..0]) {
217  %xmm 0 ................................
218  %xmm 1 ................................
219  %xmm 2 ................................
220  %xmm 3 ................................
221  %xmm 4 ................................
222  %xmm 5 ................................
223  %xmm 6 ................................
224  %xmm 7 ................................
225  %xmm 8 ................................
226  %xmm 9 ................................
227  %xmm10 ................................
228  %xmm11 ................................
229  %xmm12 ................................
230  %xmm13 ................................
231  %xmm14 ................................
232  %xmm15 ................................
233}
234
235after "rex.W movhps (%rsi),%xmm6" (dqws in order [15 .. 0]) {
236  [0]    ................................
237  [1]    ................................
238  [2]    ................................
239  [3]    ................................
240  [4]    ................................
241}
242after "rex.W movhps (%rsi),%xmm6" (xmms in order [15..0]) {
243  %xmm 0 ................................
244  %xmm 1 ................................
245  %xmm 2 ................................
246  %xmm 3 ................................
247  %xmm 4 ................................
248  %xmm 5 ................................
249  %xmm 6 .c.c.c.c.4.4.4.3................
250  %xmm 7 ................................
251  %xmm 8 ................................
252  %xmm 9 ................................
253  %xmm10 ................................
254  %xmm11 ................................
255  %xmm12 ................................
256  %xmm13 ................................
257  %xmm14 ................................
258  %xmm15 ................................
259}
260
261after "rex.WB movhps %xmm0,(%r11)" (dqws in order [15 .. 0]) {
262  [0]    ................................
263  [1]    ................................
264  [2]    .................9.b.e.e.2.2.6.6
265  [3]    ................................
266  [4]    ................................
267}
268after "rex.WB movhps %xmm0,(%r11)" (xmms in order [15..0]) {
269  %xmm 0 ................................
270  %xmm 1 ................................
271  %xmm 2 ................................
272  %xmm 3 ................................
273  %xmm 4 ................................
274  %xmm 5 ................................
275  %xmm 6 ................................
276  %xmm 7 ................................
277  %xmm 8 ................................
278  %xmm 9 ................................
279  %xmm10 ................................
280  %xmm11 ................................
281  %xmm12 ................................
282  %xmm13 ................................
283  %xmm14 ................................
284  %xmm15 ................................
285}
286
287after "rex.W movlpd 0x0(%rdx),%xmm1" (dqws in order [15 .. 0]) {
288  [0]    ................................
289  [1]    ................................
290  [2]    ................................
291  [3]    ................................
292  [4]    ................................
293}
294after "rex.W movlpd 0x0(%rdx),%xmm1" (xmms in order [15..0]) {
295  %xmm 0 ................................
296  %xmm 1 .................8.8.8.f.1.3.1.7
297  %xmm 2 ................................
298  %xmm 3 ................................
299  %xmm 4 ................................
300  %xmm 5 ................................
301  %xmm 6 ................................
302  %xmm 7 ................................
303  %xmm 8 ................................
304  %xmm 9 ................................
305  %xmm10 ................................
306  %xmm11 ................................
307  %xmm12 ................................
308  %xmm13 ................................
309  %xmm14 ................................
310  %xmm15 ................................
311}
312
313after "rex.W movlpd %xmm6,(%rax)" (dqws in order [15 .. 0]) {
314  [0]    ................................
315  [1]    ................................
316  [2]    .................d.f.d.b.5.7.2.2
317  [3]    ................................
318  [4]    ................................
319}
320after "rex.W movlpd %xmm6,(%rax)" (xmms in order [15..0]) {
321  %xmm 0 ................................
322  %xmm 1 ................................
323  %xmm 2 ................................
324  %xmm 3 ................................
325  %xmm 4 ................................
326  %xmm 5 ................................
327  %xmm 6 ................................
328  %xmm 7 ................................
329  %xmm 8 ................................
330  %xmm 9 ................................
331  %xmm10 ................................
332  %xmm11 ................................
333  %xmm12 ................................
334  %xmm13 ................................
335  %xmm14 ................................
336  %xmm15 ................................
337}
338
339after "rex.W movlps (%rdi),%xmm0" (dqws in order [15 .. 0]) {
340  [0]    ................................
341  [1]    ................................
342  [2]    ................................
343  [3]    ................................
344  [4]    ................................
345}
346after "rex.W movlps (%rdi),%xmm0" (xmms in order [15..0]) {
347  %xmm 0 .................a.d.f.d.3.5.7.5
348  %xmm 1 ................................
349  %xmm 2 ................................
350  %xmm 3 ................................
351  %xmm 4 ................................
352  %xmm 5 ................................
353  %xmm 6 ................................
354  %xmm 7 ................................
355  %xmm 8 ................................
356  %xmm 9 ................................
357  %xmm10 ................................
358  %xmm11 ................................
359  %xmm12 ................................
360  %xmm13 ................................
361  %xmm14 ................................
362  %xmm15 ................................
363}
364
365after "rex.WB movlps %xmm0,(%r10)" (dqws in order [15 .. 0]) {
366  [0]    ................................
367  [1]    ................................
368  [2]    .................a.d.f.d.3.5.7.5
369  [3]    ................................
370  [4]    ................................
371}
372after "rex.WB movlps %xmm0,(%r10)" (xmms in order [15..0]) {
373  %xmm 0 ................................
374  %xmm 1 ................................
375  %xmm 2 ................................
376  %xmm 3 ................................
377  %xmm 4 ................................
378  %xmm 5 ................................
379  %xmm 6 ................................
380  %xmm 7 ................................
381  %xmm 8 ................................
382  %xmm 9 ................................
383  %xmm10 ................................
384  %xmm11 ................................
385  %xmm12 ................................
386  %xmm13 ................................
387  %xmm14 ................................
388  %xmm15 ................................
389}
390
391after "rex.W movq (%rax),%xmm0" (dqws in order [15 .. 0]) {
392  [0]    ................................
393  [1]    ................................
394  [2]    ................................
395  [3]    ................................
396  [4]    ................................
397}
398after "rex.W movq (%rax),%xmm0" (xmms in order [15..0]) {
399  %xmm 0 5251575655545352.a.d.f.d.3.5.7.5
400  %xmm 1 ................................
401  %xmm 2 ................................
402  %xmm 3 ................................
403  %xmm 4 ................................
404  %xmm 5 ................................
405  %xmm 6 ................................
406  %xmm 7 ................................
407  %xmm 8 ................................
408  %xmm 9 ................................
409  %xmm10 ................................
410  %xmm11 ................................
411  %xmm12 ................................
412  %xmm13 ................................
413  %xmm14 ................................
414  %xmm15 ................................
415}
416
417after "rex.W movq %xmm0,(%rax)" (dqws in order [15 .. 0]) {
418  [0]    ................................
419  [1]    ................................
420  [2]    .................a.d.f.d.3.5.7.5
421  [3]    ................................
422  [4]    ................................
423}
424after "rex.W movq %xmm0,(%rax)" (xmms in order [15..0]) {
425  %xmm 0 ................................
426  %xmm 1 ................................
427  %xmm 2 ................................
428  %xmm 3 ................................
429  %xmm 4 ................................
430  %xmm 5 ................................
431  %xmm 6 ................................
432  %xmm 7 ................................
433  %xmm 8 ................................
434  %xmm 9 ................................
435  %xmm10 ................................
436  %xmm11 ................................
437  %xmm12 ................................
438  %xmm13 ................................
439  %xmm14 ................................
440  %xmm15 ................................
441}
442
443after "rex.W movsd (%rcx),%xmm2" (dqws in order [15 .. 0]) {
444  [0]    ................................
445  [1]    ................................
446  [2]    ................................
447  [3]    ................................
448  [4]    ................................
449}
450after "rex.W movsd (%rcx),%xmm2" (xmms in order [15..0]) {
451  %xmm 0 ................................
452  %xmm 1 ................................
453  %xmm 2 5655545352515756.e.e.a.a.6.1.3.1
454  %xmm 3 ................................
455  %xmm 4 ................................
456  %xmm 5 ................................
457  %xmm 6 ................................
458  %xmm 7 ................................
459  %xmm 8 ................................
460  %xmm 9 ................................
461  %xmm10 ................................
462  %xmm11 ................................
463  %xmm12 ................................
464  %xmm13 ................................
465  %xmm14 ................................
466  %xmm15 ................................
467}
468
469after "rex.W movsd %xmm7,(%rdi)" (dqws in order [15 .. 0]) {
470  [0]    ................................
471  [1]    ................................
472  [2]    .................a.d.f.d.3.5.7.5
473  [3]    ................................
474  [4]    ................................
475}
476after "rex.W movsd %xmm7,(%rdi)" (xmms in order [15..0]) {
477  %xmm 0 ................................
478  %xmm 1 ................................
479  %xmm 2 ................................
480  %xmm 3 ................................
481  %xmm 4 ................................
482  %xmm 5 ................................
483  %xmm 6 ................................
484  %xmm 7 ................................
485  %xmm 8 ................................
486  %xmm 9 ................................
487  %xmm10 ................................
488  %xmm11 ................................
489  %xmm12 ................................
490  %xmm13 ................................
491  %xmm14 ................................
492  %xmm15 ................................
493}
494
495after "rex.W movss 0x4(%rsi),%xmm3" (dqws in order [15 .. 0]) {
496  [0]    ................................
497  [1]    ................................
498  [2]    ................................
499  [3]    ................................
500  [4]    ................................
501}
502after "rex.W movss 0x4(%rsi),%xmm3" (xmms in order [15..0]) {
503  %xmm 0 ................................
504  %xmm 1 ................................
505  %xmm 2 ................................
506  %xmm 3 515756555453525157565554.4.4.4.3
507  %xmm 4 ................................
508  %xmm 5 ................................
509  %xmm 6 ................................
510  %xmm 7 ................................
511  %xmm 8 ................................
512  %xmm 9 ................................
513  %xmm10 ................................
514  %xmm11 ................................
515  %xmm12 ................................
516  %xmm13 ................................
517  %xmm14 ................................
518  %xmm15 ................................
519}
520
521after "rex.W movupd %xmm0,(%rdi)" (dqws in order [15 .. 0]) {
522  [0]    ................................
523  [1]    ................................
524  [2]    .4.4.3.5.7.a.e.e.a.d.f.d.3.5.7.5
525  [3]    ................................
526  [4]    ................................
527}
528after "rex.W movupd %xmm0,(%rdi)" (xmms in order [15..0]) {
529  %xmm 0 ................................
530  %xmm 1 ................................
531  %xmm 2 ................................
532  %xmm 3 ................................
533  %xmm 4 ................................
534  %xmm 5 ................................
535  %xmm 6 ................................
536  %xmm 7 ................................
537  %xmm 8 ................................
538  %xmm 9 ................................
539  %xmm10 ................................
540  %xmm11 ................................
541  %xmm12 ................................
542  %xmm13 ................................
543  %xmm14 ................................
544  %xmm15 ................................
545}
546
547after "rex.W mulpd 0x0(%rcx),%xmm4" (dqws in order [15 .. 0]) {
548  [0]    ................................
549  [1]    ................................
550  [2]    ................................
551  [3]    ................................
552  [4]    ................................
553}
554after "rex.W mulpd 0x0(%rcx),%xmm4" (xmms in order [15..0]) {
555  %xmm 0 ................................
556  %xmm 1 ................................
557  %xmm 2 ................................
558  %xmm 3 ................................
559  %xmm 4 3aea3a1a464262b33fedd9978cb2aa72
560  %xmm 5 ................................
561  %xmm 6 ................................
562  %xmm 7 ................................
563  %xmm 8 ................................
564  %xmm 9 ................................
565  %xmm10 ................................
566  %xmm11 ................................
567  %xmm12 ................................
568  %xmm13 ................................
569  %xmm14 ................................
570  %xmm15 ................................
571}
572
573after "rex.W mulsd (%rdi),%xmm3" (dqws in order [15 .. 0]) {
574  [0]    ................................
575  [1]    ................................
576  [2]    ................................
577  [3]    ................................
578  [4]    ................................
579}
580after "rex.W mulsd (%rdi),%xmm3" (xmms in order [15..0]) {
581  %xmm 0 ................................
582  %xmm 1 ................................
583  %xmm 2 ................................
584  %xmm 3 ................259436fb2e849319
585  %xmm 4 ................................
586  %xmm 5 ................................
587  %xmm 6 ................................
588  %xmm 7 ................................
589  %xmm 8 ................................
590  %xmm 9 ................................
591  %xmm10 ................................
592  %xmm11 ................................
593  %xmm12 ................................
594  %xmm13 ................................
595  %xmm14 ................................
596  %xmm15 ................................
597}
598
599after "rex.WB prefetcht0 -0x60(%r10,%rsi,8)" (dqws in order [15 .. 0]) {
600  [0]    ................................
601  [1]    ................................
602  [2]    ................................
603  [3]    ................................
604  [4]    ................................
605}
606after "rex.WB prefetcht0 -0x60(%r10,%rsi,8)" (xmms in order [15..0]) {
607  %xmm 0 ................................
608  %xmm 1 ................................
609  %xmm 2 ................................
610  %xmm 3 ................................
611  %xmm 4 ................................
612  %xmm 5 ................................
613  %xmm 6 ................................
614  %xmm 7 ................................
615  %xmm 8 ................................
616  %xmm 9 ................................
617  %xmm10 ................................
618  %xmm11 ................................
619  %xmm12 ................................
620  %xmm13 ................................
621  %xmm14 ................................
622  %xmm15 ................................
623}
624
625after "rex.WB subsd  -0x8(%r13),%xmm1" (dqws in order [15 .. 0]) {
626  [0]    ................................
627  [1]    ................................
628  [2]    ................................
629  [3]    ................................
630  [4]    ................................
631}
632after "rex.WB subsd  -0x8(%r13),%xmm1" (xmms in order [15..0]) {
633  %xmm 0 ................................
634  %xmm 1 ................88.8.8.f.1.3.1.7
635  %xmm 2 ................................
636  %xmm 3 ................................
637  %xmm 4 ................................
638  %xmm 5 ................................
639  %xmm 6 ................................
640  %xmm 7 ................................
641  %xmm 8 ................................
642  %xmm 9 ................................
643  %xmm10 ................................
644  %xmm11 ................................
645  %xmm12 ................................
646  %xmm13 ................................
647  %xmm14 ................................
648  %xmm15 ................................
649}
650
651after "rex.W cvtps2pd  (%rdi),%xmm0" (dqws in order [15 .. 0]) {
652  [0]    ................................
653  [1]    ................................
654  [2]    ................................
655  [3]    ................................
656  [4]    ................................
657}
658after "rex.W cvtps2pd  (%rdi),%xmm0" (xmms in order [15..0]) {
659  %xmm 0 113a1c7d5554535213bd9cffd4535251
660  %xmm 1 ................................
661  %xmm 2 ................................
662  %xmm 3 ................................
663  %xmm 4 ................................
664  %xmm 5 ................................
665  %xmm 6 ................................
666  %xmm 7 ................................
667  %xmm 8 ................................
668  %xmm 9 ................................
669  %xmm10 ................................
670  %xmm11 ................................
671  %xmm12 ................................
672  %xmm13 ................................
673  %xmm14 ................................
674  %xmm15 ................................
675}
676
677