xref: /minix3/external/bsd/llvm/dist/llvm/test/MC/X86/x86_64-fma4-encoding.s (revision f4a2713ac843a11c696ec80c0a5e3e5d80b4d338) 
1*f4a2713aSLionel Sambuc// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
2*f4a2713aSLionel Sambuc
3*f4a2713aSLionel Sambuc// vfmadd
4*f4a2713aSLionel Sambuc// CHECK: vfmaddss  (%rcx), %xmm1, %xmm0, %xmm0
5*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6a,0x01,0x10]
6*f4a2713aSLionel Sambuc          vfmaddss  (%rcx), %xmm1, %xmm0, %xmm0
7*f4a2713aSLionel Sambuc
8*f4a2713aSLionel Sambuc// CHECK: vfmaddss   %xmm1, (%rcx), %xmm0, %xmm0
9*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x6a,0x01,0x10]
10*f4a2713aSLionel Sambuc          vfmaddss   %xmm1, (%rcx),%xmm0, %xmm0
11*f4a2713aSLionel Sambuc
12*f4a2713aSLionel Sambuc// CHECK: vfmaddss   %xmm2, %xmm1, %xmm0, %xmm0
13*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6a,0xc2,0x10]
14*f4a2713aSLionel Sambuc          vfmaddss   %xmm2, %xmm1, %xmm0, %xmm0
15*f4a2713aSLionel Sambuc
16*f4a2713aSLionel Sambuc// CHECK: vfmaddsd  (%rcx), %xmm1, %xmm0, %xmm0
17*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6b,0x01,0x10]
18*f4a2713aSLionel Sambuc          vfmaddsd  (%rcx), %xmm1, %xmm0, %xmm0
19*f4a2713aSLionel Sambuc
20*f4a2713aSLionel Sambuc// CHECK: vfmaddsd   %xmm1, (%rcx), %xmm0, %xmm0
21*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x6b,0x01,0x10]
22*f4a2713aSLionel Sambuc          vfmaddsd   %xmm1, (%rcx),%xmm0, %xmm0
23*f4a2713aSLionel Sambuc
24*f4a2713aSLionel Sambuc// CHECK: vfmaddsd   %xmm2, %xmm1, %xmm0, %xmm0
25*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6b,0xc2,0x10]
26*f4a2713aSLionel Sambuc          vfmaddsd   %xmm2, %xmm1, %xmm0, %xmm0
27*f4a2713aSLionel Sambuc
28*f4a2713aSLionel Sambuc// CHECK: vfmaddsd   %xmm10, %xmm1, %xmm0, %xmm0
29*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xc3,0xf9,0x6b,0xc2,0x10]
30*f4a2713aSLionel Sambuc          vfmaddsd   %xmm10, %xmm1, %xmm0, %xmm0
31*f4a2713aSLionel Sambuc
32*f4a2713aSLionel Sambuc// CHECK: vfmaddps  (%rcx), %xmm1, %xmm0, %xmm0
33*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x68,0x01,0x10]
34*f4a2713aSLionel Sambuc          vfmaddps  (%rcx), %xmm1, %xmm0, %xmm0
35*f4a2713aSLionel Sambuc
36*f4a2713aSLionel Sambuc// CHECK: vfmaddps   %xmm1, (%rcx), %xmm0, %xmm0
37*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x68,0x01,0x10]
38*f4a2713aSLionel Sambuc          vfmaddps   %xmm1, (%rcx),%xmm0, %xmm0
39*f4a2713aSLionel Sambuc
40*f4a2713aSLionel Sambuc// CHECK: vfmaddps   %xmm2, %xmm1, %xmm0, %xmm0
41*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x68,0xc2,0x10]
42*f4a2713aSLionel Sambuc          vfmaddps   %xmm2, %xmm1, %xmm0, %xmm0
43*f4a2713aSLionel Sambuc
44*f4a2713aSLionel Sambuc// CHECK: vfmaddpd  (%rcx), %xmm1, %xmm0, %xmm0
45*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x69,0x01,0x10]
46*f4a2713aSLionel Sambuc          vfmaddpd  (%rcx), %xmm1, %xmm0, %xmm0
47*f4a2713aSLionel Sambuc
48*f4a2713aSLionel Sambuc// CHECK: vfmaddpd   %xmm1, (%rcx), %xmm0, %xmm0
49*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x69,0x01,0x10]
50*f4a2713aSLionel Sambuc          vfmaddpd   %xmm1, (%rcx),%xmm0, %xmm0
51*f4a2713aSLionel Sambuc
52*f4a2713aSLionel Sambuc// CHECK: vfmaddpd   %xmm2, %xmm1, %xmm0, %xmm0
53*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x69,0xc2,0x10]
54*f4a2713aSLionel Sambuc          vfmaddpd   %xmm2, %xmm1, %xmm0, %xmm0
55*f4a2713aSLionel Sambuc
56*f4a2713aSLionel Sambuc// CHECK: vfmaddps  (%rcx), %ymm1, %ymm0, %ymm0
57*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x68,0x01,0x10]
58*f4a2713aSLionel Sambuc          vfmaddps  (%rcx), %ymm1, %ymm0, %ymm0
59*f4a2713aSLionel Sambuc
60*f4a2713aSLionel Sambuc// CHECK: vfmaddps   %ymm1, (%rcx), %ymm0, %ymm0
61*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x68,0x01,0x10]
62*f4a2713aSLionel Sambuc          vfmaddps   %ymm1, (%rcx),%ymm0, %ymm0
63*f4a2713aSLionel Sambuc
64*f4a2713aSLionel Sambuc// CHECK: vfmaddps   %ymm2, %ymm1, %ymm0, %ymm0
65*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x68,0xc2,0x10]
66*f4a2713aSLionel Sambuc          vfmaddps   %ymm2, %ymm1, %ymm0, %ymm0
67*f4a2713aSLionel Sambuc
68*f4a2713aSLionel Sambuc// CHECK: vfmaddpd  (%rcx), %ymm1, %ymm0, %ymm0
69*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x69,0x01,0x10]
70*f4a2713aSLionel Sambuc          vfmaddpd  (%rcx), %ymm1, %ymm0, %ymm0
71*f4a2713aSLionel Sambuc
72*f4a2713aSLionel Sambuc// CHECK: vfmaddpd   %ymm1, (%rcx), %ymm0, %ymm0
73*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x69,0x01,0x10]
74*f4a2713aSLionel Sambuc          vfmaddpd   %ymm1, (%rcx),%ymm0, %ymm0
75*f4a2713aSLionel Sambuc
76*f4a2713aSLionel Sambuc// CHECK: vfmaddpd   %ymm2, %ymm1, %ymm0, %ymm0
77*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x69,0xc2,0x10]
78*f4a2713aSLionel Sambuc          vfmaddpd   %ymm2, %ymm1, %ymm0, %ymm0
79*f4a2713aSLionel Sambuc
80*f4a2713aSLionel Sambuc// PR15040
81*f4a2713aSLionel Sambuc// CHECK: vfmaddss  foo(%rip), %xmm1, %xmm0, %xmm0
82*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6a,0x05,A,A,A,A,0x10]
83*f4a2713aSLionel Sambuc// CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
84*f4a2713aSLionel Sambuc          vfmaddss  foo(%rip), %xmm1, %xmm0, %xmm0
85*f4a2713aSLionel Sambuc
86*f4a2713aSLionel Sambuc// CHECK: vfmaddss   %xmm1, foo(%rip), %xmm0, %xmm0
87*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x6a,0x05,A,A,A,A,0x10]
88*f4a2713aSLionel Sambuc// CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
89*f4a2713aSLionel Sambuc          vfmaddss   %xmm1, foo(%rip),%xmm0, %xmm0
90*f4a2713aSLionel Sambuc
91*f4a2713aSLionel Sambuc// CHECK: vfmaddsd  foo(%rip), %xmm1, %xmm0, %xmm0
92*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6b,0x05,A,A,A,A,0x10]
93*f4a2713aSLionel Sambuc// CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
94*f4a2713aSLionel Sambuc          vfmaddsd  foo(%rip), %xmm1, %xmm0, %xmm0
95*f4a2713aSLionel Sambuc
96*f4a2713aSLionel Sambuc// CHECK: vfmaddsd   %xmm1, foo(%rip), %xmm0, %xmm0
97*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x6b,0x05,A,A,A,A,0x10]
98*f4a2713aSLionel Sambuc// CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
99*f4a2713aSLionel Sambuc          vfmaddsd   %xmm1, foo(%rip),%xmm0, %xmm0
100*f4a2713aSLionel Sambuc
101*f4a2713aSLionel Sambuc// CHECK: vfmaddps  foo(%rip), %xmm1, %xmm0, %xmm0
102*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x68,0x05,A,A,A,A,0x10]
103*f4a2713aSLionel Sambuc// CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
104*f4a2713aSLionel Sambuc          vfmaddps  foo(%rip), %xmm1, %xmm0, %xmm0
105*f4a2713aSLionel Sambuc
106*f4a2713aSLionel Sambuc// CHECK: vfmaddps   %xmm1, foo(%rip), %xmm0, %xmm0
107*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x68,0x05,A,A,A,A,0x10]
108*f4a2713aSLionel Sambuc// CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
109*f4a2713aSLionel Sambuc          vfmaddps   %xmm1, foo(%rip),%xmm0, %xmm0
110*f4a2713aSLionel Sambuc
111*f4a2713aSLionel Sambuc// CHECK: vfmaddpd  foo(%rip), %xmm1, %xmm0, %xmm0
112*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x69,0x05,A,A,A,A,0x10]
113*f4a2713aSLionel Sambuc// CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
114*f4a2713aSLionel Sambuc          vfmaddpd  foo(%rip), %xmm1, %xmm0, %xmm0
115*f4a2713aSLionel Sambuc
116*f4a2713aSLionel Sambuc// CHECK: vfmaddpd   %xmm1, foo(%rip), %xmm0, %xmm0
117*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x69,0x05,A,A,A,A,0x10]
118*f4a2713aSLionel Sambuc// CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
119*f4a2713aSLionel Sambuc          vfmaddpd   %xmm1, foo(%rip),%xmm0, %xmm0
120*f4a2713aSLionel Sambuc
121*f4a2713aSLionel Sambuc// CHECK: vfmaddps  foo(%rip), %ymm1, %ymm0, %ymm0
122*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x68,0x05,A,A,A,A,0x10]
123*f4a2713aSLionel Sambuc// CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
124*f4a2713aSLionel Sambuc          vfmaddps  foo(%rip), %ymm1, %ymm0, %ymm0
125*f4a2713aSLionel Sambuc
126*f4a2713aSLionel Sambuc// CHECK: vfmaddps   %ymm1, foo(%rip), %ymm0, %ymm0
127*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x68,0x05,A,A,A,A,0x10]
128*f4a2713aSLionel Sambuc// CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
129*f4a2713aSLionel Sambuc          vfmaddps   %ymm1, foo(%rip),%ymm0, %ymm0
130*f4a2713aSLionel Sambuc
131*f4a2713aSLionel Sambuc// CHECK: vfmaddpd  foo(%rip), %ymm1, %ymm0, %ymm0
132*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x69,0x05,A,A,A,A,0x10]
133*f4a2713aSLionel Sambuc// CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
134*f4a2713aSLionel Sambuc          vfmaddpd  foo(%rip), %ymm1, %ymm0, %ymm0
135*f4a2713aSLionel Sambuc
136*f4a2713aSLionel Sambuc// CHECK: vfmaddpd   %ymm1, foo(%rip), %ymm0, %ymm0
137*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x69,0x05,A,A,A,A,0x10]
138*f4a2713aSLionel Sambuc// CHECK: fixup A - offset: 5, value: foo-5, kind: reloc_riprel_4byte
139*f4a2713aSLionel Sambuc          vfmaddpd   %ymm1, foo(%rip),%ymm0, %ymm0
140*f4a2713aSLionel Sambuc
141*f4a2713aSLionel Sambuc// vfmsub
142*f4a2713aSLionel Sambuc// CHECK: vfmsubss  (%rcx), %xmm1, %xmm0, %xmm0
143*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6e,0x01,0x10]
144*f4a2713aSLionel Sambuc          vfmsubss  (%rcx), %xmm1, %xmm0, %xmm0
145*f4a2713aSLionel Sambuc
146*f4a2713aSLionel Sambuc// CHECK: vfmsubss   %xmm1, (%rcx), %xmm0, %xmm0
147*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x6e,0x01,0x10]
148*f4a2713aSLionel Sambuc          vfmsubss   %xmm1, (%rcx),%xmm0, %xmm0
149*f4a2713aSLionel Sambuc
150*f4a2713aSLionel Sambuc// CHECK: vfmsubss   %xmm2, %xmm1, %xmm0, %xmm0
151*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6e,0xc2,0x10]
152*f4a2713aSLionel Sambuc          vfmsubss   %xmm2, %xmm1, %xmm0, %xmm0
153*f4a2713aSLionel Sambuc
154*f4a2713aSLionel Sambuc// CHECK: vfmsubsd  (%rcx), %xmm1, %xmm0, %xmm0
155*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6f,0x01,0x10]
156*f4a2713aSLionel Sambuc          vfmsubsd  (%rcx), %xmm1, %xmm0, %xmm0
157*f4a2713aSLionel Sambuc
158*f4a2713aSLionel Sambuc// CHECK: vfmsubsd   %xmm1, (%rcx), %xmm0, %xmm0
159*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x6f,0x01,0x10]
160*f4a2713aSLionel Sambuc          vfmsubsd   %xmm1, (%rcx),%xmm0, %xmm0
161*f4a2713aSLionel Sambuc
162*f4a2713aSLionel Sambuc// CHECK: vfmsubsd   %xmm2, %xmm1, %xmm0, %xmm0
163*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6f,0xc2,0x10]
164*f4a2713aSLionel Sambuc          vfmsubsd   %xmm2, %xmm1, %xmm0, %xmm0
165*f4a2713aSLionel Sambuc
166*f4a2713aSLionel Sambuc// CHECK: vfmsubps  (%rcx), %xmm1, %xmm0, %xmm0
167*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6c,0x01,0x10]
168*f4a2713aSLionel Sambuc          vfmsubps  (%rcx), %xmm1, %xmm0, %xmm0
169*f4a2713aSLionel Sambuc
170*f4a2713aSLionel Sambuc// CHECK: vfmsubps   %xmm1, (%rcx), %xmm0, %xmm0
171*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x6c,0x01,0x10]
172*f4a2713aSLionel Sambuc          vfmsubps   %xmm1, (%rcx),%xmm0, %xmm0
173*f4a2713aSLionel Sambuc
174*f4a2713aSLionel Sambuc// CHECK: vfmsubps   %xmm2, %xmm1, %xmm0, %xmm0
175*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6c,0xc2,0x10]
176*f4a2713aSLionel Sambuc          vfmsubps   %xmm2, %xmm1, %xmm0, %xmm0
177*f4a2713aSLionel Sambuc
178*f4a2713aSLionel Sambuc// CHECK: vfmsubpd  (%rcx), %xmm1, %xmm0, %xmm0
179*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6d,0x01,0x10]
180*f4a2713aSLionel Sambuc          vfmsubpd  (%rcx), %xmm1, %xmm0, %xmm0
181*f4a2713aSLionel Sambuc
182*f4a2713aSLionel Sambuc// CHECK: vfmsubpd   %xmm1, (%rcx), %xmm0, %xmm0
183*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x6d,0x01,0x10]
184*f4a2713aSLionel Sambuc          vfmsubpd   %xmm1, (%rcx),%xmm0, %xmm0
185*f4a2713aSLionel Sambuc
186*f4a2713aSLionel Sambuc// CHECK: vfmsubpd   %xmm2, %xmm1, %xmm0, %xmm0
187*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x6d,0xc2,0x10]
188*f4a2713aSLionel Sambuc          vfmsubpd   %xmm2, %xmm1, %xmm0, %xmm0
189*f4a2713aSLionel Sambuc
190*f4a2713aSLionel Sambuc// CHECK: vfmsubps  (%rcx), %ymm1, %ymm0, %ymm0
191*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x6c,0x01,0x10]
192*f4a2713aSLionel Sambuc          vfmsubps  (%rcx), %ymm1, %ymm0, %ymm0
193*f4a2713aSLionel Sambuc
194*f4a2713aSLionel Sambuc// CHECK: vfmsubps   %ymm1, (%rcx), %ymm0, %ymm0
195*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x6c,0x01,0x10]
196*f4a2713aSLionel Sambuc          vfmsubps   %ymm1, (%rcx),%ymm0, %ymm0
197*f4a2713aSLionel Sambuc
198*f4a2713aSLionel Sambuc// CHECK: vfmsubps   %ymm2, %ymm1, %ymm0, %ymm0
199*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x6c,0xc2,0x10]
200*f4a2713aSLionel Sambuc          vfmsubps   %ymm2, %ymm1, %ymm0, %ymm0
201*f4a2713aSLionel Sambuc
202*f4a2713aSLionel Sambuc// CHECK: vfmsubpd  (%rcx), %ymm1, %ymm0, %ymm0
203*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x6d,0x01,0x10]
204*f4a2713aSLionel Sambuc          vfmsubpd  (%rcx), %ymm1, %ymm0, %ymm0
205*f4a2713aSLionel Sambuc
206*f4a2713aSLionel Sambuc// CHECK: vfmsubpd   %ymm1, (%rcx), %ymm0, %ymm0
207*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x6d,0x01,0x10]
208*f4a2713aSLionel Sambuc          vfmsubpd   %ymm1, (%rcx),%ymm0, %ymm0
209*f4a2713aSLionel Sambuc
210*f4a2713aSLionel Sambuc// CHECK: vfmsubpd   %ymm2, %ymm1, %ymm0, %ymm0
211*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x6d,0xc2,0x10]
212*f4a2713aSLionel Sambuc          vfmsubpd   %ymm2, %ymm1, %ymm0, %ymm0
213*f4a2713aSLionel Sambuc
214*f4a2713aSLionel Sambuc// vfnmadd
215*f4a2713aSLionel Sambuc// CHECK: vfnmaddss  (%rcx), %xmm1, %xmm0, %xmm0
216*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x7a,0x01,0x10]
217*f4a2713aSLionel Sambuc          vfnmaddss  (%rcx), %xmm1, %xmm0, %xmm0
218*f4a2713aSLionel Sambuc
219*f4a2713aSLionel Sambuc// CHECK: vfnmaddss   %xmm1, (%rcx), %xmm0, %xmm0
220*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x7a,0x01,0x10]
221*f4a2713aSLionel Sambuc          vfnmaddss   %xmm1, (%rcx),%xmm0, %xmm0
222*f4a2713aSLionel Sambuc
223*f4a2713aSLionel Sambuc// CHECK: vfnmaddss   %xmm2, %xmm1, %xmm0, %xmm0
224*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x7a,0xc2,0x10]
225*f4a2713aSLionel Sambuc          vfnmaddss   %xmm2, %xmm1, %xmm0, %xmm0
226*f4a2713aSLionel Sambuc
227*f4a2713aSLionel Sambuc// CHECK: vfnmaddsd  (%rcx), %xmm1, %xmm0, %xmm0
228*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x7b,0x01,0x10]
229*f4a2713aSLionel Sambuc          vfnmaddsd  (%rcx), %xmm1, %xmm0, %xmm0
230*f4a2713aSLionel Sambuc
231*f4a2713aSLionel Sambuc// CHECK: vfnmaddsd   %xmm1, (%rcx), %xmm0, %xmm0
232*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x7b,0x01,0x10]
233*f4a2713aSLionel Sambuc          vfnmaddsd   %xmm1, (%rcx),%xmm0, %xmm0
234*f4a2713aSLionel Sambuc
235*f4a2713aSLionel Sambuc// CHECK: vfnmaddsd   %xmm2, %xmm1, %xmm0, %xmm0
236*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x7b,0xc2,0x10]
237*f4a2713aSLionel Sambuc          vfnmaddsd   %xmm2, %xmm1, %xmm0, %xmm0
238*f4a2713aSLionel Sambuc
239*f4a2713aSLionel Sambuc// CHECK: vfnmaddps  (%rcx), %xmm1, %xmm0, %xmm0
240*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x78,0x01,0x10]
241*f4a2713aSLionel Sambuc          vfnmaddps  (%rcx), %xmm1, %xmm0, %xmm0
242*f4a2713aSLionel Sambuc
243*f4a2713aSLionel Sambuc// CHECK: vfnmaddps   %xmm1, (%rcx), %xmm0, %xmm0
244*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x78,0x01,0x10]
245*f4a2713aSLionel Sambuc          vfnmaddps   %xmm1, (%rcx),%xmm0, %xmm0
246*f4a2713aSLionel Sambuc
247*f4a2713aSLionel Sambuc// CHECK: vfnmaddps   %xmm2, %xmm1, %xmm0, %xmm0
248*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x78,0xc2,0x10]
249*f4a2713aSLionel Sambuc          vfnmaddps   %xmm2, %xmm1, %xmm0, %xmm0
250*f4a2713aSLionel Sambuc
251*f4a2713aSLionel Sambuc// CHECK: vfnmaddpd  (%rcx), %xmm1, %xmm0, %xmm0
252*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x79,0x01,0x10]
253*f4a2713aSLionel Sambuc          vfnmaddpd  (%rcx), %xmm1, %xmm0, %xmm0
254*f4a2713aSLionel Sambuc
255*f4a2713aSLionel Sambuc// CHECK: vfnmaddpd   %xmm1, (%rcx), %xmm0, %xmm0
256*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x79,0x01,0x10]
257*f4a2713aSLionel Sambuc          vfnmaddpd   %xmm1, (%rcx),%xmm0, %xmm0
258*f4a2713aSLionel Sambuc
259*f4a2713aSLionel Sambuc// CHECK: vfnmaddpd   %xmm2, %xmm1, %xmm0, %xmm0
260*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x79,0xc2,0x10]
261*f4a2713aSLionel Sambuc          vfnmaddpd   %xmm2, %xmm1, %xmm0, %xmm0
262*f4a2713aSLionel Sambuc
263*f4a2713aSLionel Sambuc// CHECK: vfnmaddps  (%rcx), %ymm1, %ymm0, %ymm0
264*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x78,0x01,0x10]
265*f4a2713aSLionel Sambuc          vfnmaddps  (%rcx), %ymm1, %ymm0, %ymm0
266*f4a2713aSLionel Sambuc
267*f4a2713aSLionel Sambuc// CHECK: vfnmaddps   %ymm1, (%rcx), %ymm0, %ymm0
268*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x78,0x01,0x10]
269*f4a2713aSLionel Sambuc          vfnmaddps   %ymm1, (%rcx),%ymm0, %ymm0
270*f4a2713aSLionel Sambuc
271*f4a2713aSLionel Sambuc// CHECK: vfnmaddps   %ymm2, %ymm1, %ymm0, %ymm0
272*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x78,0xc2,0x10]
273*f4a2713aSLionel Sambuc          vfnmaddps   %ymm2, %ymm1, %ymm0, %ymm0
274*f4a2713aSLionel Sambuc
275*f4a2713aSLionel Sambuc// CHECK: vfnmaddpd  (%rcx), %ymm1, %ymm0, %ymm0
276*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x79,0x01,0x10]
277*f4a2713aSLionel Sambuc          vfnmaddpd  (%rcx), %ymm1, %ymm0, %ymm0
278*f4a2713aSLionel Sambuc
279*f4a2713aSLionel Sambuc// CHECK: vfnmaddpd   %ymm1, (%rcx), %ymm0, %ymm0
280*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x79,0x01,0x10]
281*f4a2713aSLionel Sambuc          vfnmaddpd   %ymm1, (%rcx),%ymm0, %ymm0
282*f4a2713aSLionel Sambuc
283*f4a2713aSLionel Sambuc// CHECK: vfnmaddpd   %ymm2, %ymm1, %ymm0, %ymm0
284*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x79,0xc2,0x10]
285*f4a2713aSLionel Sambuc          vfnmaddpd   %ymm2, %ymm1, %ymm0, %ymm0
286*f4a2713aSLionel Sambuc
287*f4a2713aSLionel Sambuc// vfnmsub
288*f4a2713aSLionel Sambuc// CHECK: vfnmsubss  (%rcx), %xmm1, %xmm0, %xmm0
289*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x7e,0x01,0x10]
290*f4a2713aSLionel Sambuc          vfnmsubss  (%rcx), %xmm1, %xmm0, %xmm0
291*f4a2713aSLionel Sambuc
292*f4a2713aSLionel Sambuc// CHECK: vfnmsubss   %xmm1, (%rcx), %xmm0, %xmm0
293*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x7e,0x01,0x10]
294*f4a2713aSLionel Sambuc          vfnmsubss   %xmm1, (%rcx),%xmm0, %xmm0
295*f4a2713aSLionel Sambuc
296*f4a2713aSLionel Sambuc// CHECK: vfnmsubss   %xmm2, %xmm1, %xmm0, %xmm0
297*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x7e,0xc2,0x10]
298*f4a2713aSLionel Sambuc          vfnmsubss   %xmm2, %xmm1, %xmm0, %xmm0
299*f4a2713aSLionel Sambuc
300*f4a2713aSLionel Sambuc// CHECK: vfnmsubsd  (%rcx), %xmm1, %xmm0, %xmm0
301*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x7f,0x01,0x10]
302*f4a2713aSLionel Sambuc          vfnmsubsd  (%rcx), %xmm1, %xmm0, %xmm0
303*f4a2713aSLionel Sambuc
304*f4a2713aSLionel Sambuc// CHECK: vfnmsubsd   %xmm1, (%rcx), %xmm0, %xmm0
305*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x7f,0x01,0x10]
306*f4a2713aSLionel Sambuc          vfnmsubsd   %xmm1, (%rcx),%xmm0, %xmm0
307*f4a2713aSLionel Sambuc
308*f4a2713aSLionel Sambuc// CHECK: vfnmsubsd   %xmm2, %xmm1, %xmm0, %xmm0
309*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x7f,0xc2,0x10]
310*f4a2713aSLionel Sambuc          vfnmsubsd   %xmm2, %xmm1, %xmm0, %xmm0
311*f4a2713aSLionel Sambuc
312*f4a2713aSLionel Sambuc// CHECK: vfnmsubps  (%rcx), %xmm1, %xmm0, %xmm0
313*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x7c,0x01,0x10]
314*f4a2713aSLionel Sambuc          vfnmsubps  (%rcx), %xmm1, %xmm0, %xmm0
315*f4a2713aSLionel Sambuc
316*f4a2713aSLionel Sambuc// CHECK: vfnmsubps   %xmm1, (%rcx), %xmm0, %xmm0
317*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x7c,0x01,0x10]
318*f4a2713aSLionel Sambuc          vfnmsubps   %xmm1, (%rcx),%xmm0, %xmm0
319*f4a2713aSLionel Sambuc
320*f4a2713aSLionel Sambuc// CHECK: vfnmsubps   %xmm2, %xmm1, %xmm0, %xmm0
321*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x7c,0xc2,0x10]
322*f4a2713aSLionel Sambuc          vfnmsubps   %xmm2, %xmm1, %xmm0, %xmm0
323*f4a2713aSLionel Sambuc
324*f4a2713aSLionel Sambuc// CHECK: vfnmsubpd  (%rcx), %xmm1, %xmm0, %xmm0
325*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x7d,0x01,0x10]
326*f4a2713aSLionel Sambuc          vfnmsubpd  (%rcx), %xmm1, %xmm0, %xmm0
327*f4a2713aSLionel Sambuc
328*f4a2713aSLionel Sambuc// CHECK: vfnmsubpd   %xmm1, (%rcx), %xmm0, %xmm0
329*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x7d,0x01,0x10]
330*f4a2713aSLionel Sambuc          vfnmsubpd   %xmm1, (%rcx),%xmm0, %xmm0
331*f4a2713aSLionel Sambuc
332*f4a2713aSLionel Sambuc// CHECK: vfnmsubpd   %xmm2, %xmm1, %xmm0, %xmm0
333*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x7d,0xc2,0x10]
334*f4a2713aSLionel Sambuc          vfnmsubpd   %xmm2, %xmm1, %xmm0, %xmm0
335*f4a2713aSLionel Sambuc
336*f4a2713aSLionel Sambuc// CHECK: vfnmsubps  (%rcx), %ymm1, %ymm0, %ymm0
337*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x7c,0x01,0x10]
338*f4a2713aSLionel Sambuc          vfnmsubps  (%rcx), %ymm1, %ymm0, %ymm0
339*f4a2713aSLionel Sambuc
340*f4a2713aSLionel Sambuc// CHECK: vfnmsubps   %ymm1, (%rcx), %ymm0, %ymm0
341*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x7c,0x01,0x10]
342*f4a2713aSLionel Sambuc          vfnmsubps   %ymm1, (%rcx),%ymm0, %ymm0
343*f4a2713aSLionel Sambuc
344*f4a2713aSLionel Sambuc// CHECK: vfnmsubps   %ymm2, %ymm1, %ymm0, %ymm0
345*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x7c,0xc2,0x10]
346*f4a2713aSLionel Sambuc          vfnmsubps   %ymm2, %ymm1, %ymm0, %ymm0
347*f4a2713aSLionel Sambuc
348*f4a2713aSLionel Sambuc// CHECK: vfnmsubpd  (%rcx), %ymm1, %ymm0, %ymm0
349*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x7d,0x01,0x10]
350*f4a2713aSLionel Sambuc          vfnmsubpd  (%rcx), %ymm1, %ymm0, %ymm0
351*f4a2713aSLionel Sambuc
352*f4a2713aSLionel Sambuc// CHECK: vfnmsubpd   %ymm1, (%rcx), %ymm0, %ymm0
353*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x7d,0x01,0x10]
354*f4a2713aSLionel Sambuc          vfnmsubpd   %ymm1, (%rcx),%ymm0, %ymm0
355*f4a2713aSLionel Sambuc
356*f4a2713aSLionel Sambuc// CHECK: vfnmsubpd   %ymm2, %ymm1, %ymm0, %ymm0
357*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x7d,0xc2,0x10]
358*f4a2713aSLionel Sambuc          vfnmsubpd   %ymm2, %ymm1, %ymm0, %ymm0
359*f4a2713aSLionel Sambuc
360*f4a2713aSLionel Sambuc// vfmaddsub
361*f4a2713aSLionel Sambuc// CHECK: vfmaddsubps  (%rcx), %xmm1, %xmm0, %xmm0
362*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x5c,0x01,0x10]
363*f4a2713aSLionel Sambuc          vfmaddsubps  (%rcx), %xmm1, %xmm0, %xmm0
364*f4a2713aSLionel Sambuc
365*f4a2713aSLionel Sambuc// CHECK: vfmaddsubps   %xmm1, (%rcx), %xmm0, %xmm0
366*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x5c,0x01,0x10]
367*f4a2713aSLionel Sambuc          vfmaddsubps   %xmm1, (%rcx),%xmm0, %xmm0
368*f4a2713aSLionel Sambuc
369*f4a2713aSLionel Sambuc// CHECK: vfmaddsubps   %xmm2, %xmm1, %xmm0, %xmm0
370*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x5c,0xc2,0x10]
371*f4a2713aSLionel Sambuc          vfmaddsubps   %xmm2, %xmm1, %xmm0, %xmm0
372*f4a2713aSLionel Sambuc
373*f4a2713aSLionel Sambuc// CHECK: vfmaddsubpd  (%rcx), %xmm1, %xmm0, %xmm0
374*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x5d,0x01,0x10]
375*f4a2713aSLionel Sambuc          vfmaddsubpd  (%rcx), %xmm1, %xmm0, %xmm0
376*f4a2713aSLionel Sambuc
377*f4a2713aSLionel Sambuc// CHECK: vfmaddsubpd   %xmm1, (%rcx), %xmm0, %xmm0
378*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x5d,0x01,0x10]
379*f4a2713aSLionel Sambuc          vfmaddsubpd   %xmm1, (%rcx),%xmm0, %xmm0
380*f4a2713aSLionel Sambuc
381*f4a2713aSLionel Sambuc// CHECK: vfmaddsubpd   %xmm2, %xmm1, %xmm0, %xmm0
382*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x5d,0xc2,0x10]
383*f4a2713aSLionel Sambuc          vfmaddsubpd   %xmm2, %xmm1, %xmm0, %xmm0
384*f4a2713aSLionel Sambuc
385*f4a2713aSLionel Sambuc// CHECK: vfmaddsubps  (%rcx), %ymm1, %ymm0, %ymm0
386*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x5c,0x01,0x10]
387*f4a2713aSLionel Sambuc          vfmaddsubps  (%rcx), %ymm1, %ymm0, %ymm0
388*f4a2713aSLionel Sambuc
389*f4a2713aSLionel Sambuc// CHECK: vfmaddsubps   %ymm1, (%rcx), %ymm0, %ymm0
390*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x5c,0x01,0x10]
391*f4a2713aSLionel Sambuc          vfmaddsubps   %ymm1, (%rcx),%ymm0, %ymm0
392*f4a2713aSLionel Sambuc
393*f4a2713aSLionel Sambuc// CHECK: vfmaddsubps   %ymm2, %ymm1, %ymm0, %ymm0
394*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x5c,0xc2,0x10]
395*f4a2713aSLionel Sambuc          vfmaddsubps   %ymm2, %ymm1, %ymm0, %ymm0
396*f4a2713aSLionel Sambuc
397*f4a2713aSLionel Sambuc// CHECK: vfmaddsubpd  (%rcx), %ymm1, %ymm0, %ymm0
398*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x5d,0x01,0x10]
399*f4a2713aSLionel Sambuc          vfmaddsubpd  (%rcx), %ymm1, %ymm0, %ymm0
400*f4a2713aSLionel Sambuc
401*f4a2713aSLionel Sambuc// CHECK: vfmaddsubpd   %ymm1, (%rcx), %ymm0, %ymm0
402*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x5d,0x01,0x10]
403*f4a2713aSLionel Sambuc          vfmaddsubpd   %ymm1, (%rcx),%ymm0, %ymm0
404*f4a2713aSLionel Sambuc
405*f4a2713aSLionel Sambuc// CHECK: vfmaddsubpd   %ymm2, %ymm1, %ymm0, %ymm0
406*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x5d,0xc2,0x10]
407*f4a2713aSLionel Sambuc          vfmaddsubpd   %ymm2, %ymm1, %ymm0, %ymm0
408*f4a2713aSLionel Sambuc
409*f4a2713aSLionel Sambuc// vfmsubadd
410*f4a2713aSLionel Sambuc// CHECK: vfmsubaddps  (%rcx), %xmm1, %xmm0, %xmm0
411*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x5e,0x01,0x10]
412*f4a2713aSLionel Sambuc          vfmsubaddps  (%rcx), %xmm1, %xmm0, %xmm0
413*f4a2713aSLionel Sambuc
414*f4a2713aSLionel Sambuc// CHECK: vfmsubaddps   %xmm1, (%rcx), %xmm0, %xmm0
415*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x5e,0x01,0x10]
416*f4a2713aSLionel Sambuc          vfmsubaddps   %xmm1, (%rcx),%xmm0, %xmm0
417*f4a2713aSLionel Sambuc
418*f4a2713aSLionel Sambuc// CHECK: vfmsubaddps   %xmm2, %xmm1, %xmm0, %xmm0
419*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x5e,0xc2,0x10]
420*f4a2713aSLionel Sambuc          vfmsubaddps   %xmm2, %xmm1, %xmm0, %xmm0
421*f4a2713aSLionel Sambuc
422*f4a2713aSLionel Sambuc// CHECK: vfmsubaddpd  (%rcx), %xmm1, %xmm0, %xmm0
423*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x5f,0x01,0x10]
424*f4a2713aSLionel Sambuc          vfmsubaddpd  (%rcx), %xmm1, %xmm0, %xmm0
425*f4a2713aSLionel Sambuc
426*f4a2713aSLionel Sambuc// CHECK: vfmsubaddpd   %xmm1, (%rcx), %xmm0, %xmm0
427*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x79,0x5f,0x01,0x10]
428*f4a2713aSLionel Sambuc          vfmsubaddpd   %xmm1, (%rcx),%xmm0, %xmm0
429*f4a2713aSLionel Sambuc
430*f4a2713aSLionel Sambuc// CHECK: vfmsubaddpd   %xmm2, %xmm1, %xmm0, %xmm0
431*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xf9,0x5f,0xc2,0x10]
432*f4a2713aSLionel Sambuc          vfmsubaddpd   %xmm2, %xmm1, %xmm0, %xmm0
433*f4a2713aSLionel Sambuc
434*f4a2713aSLionel Sambuc// CHECK: vfmsubaddps  (%rcx), %ymm1, %ymm0, %ymm0
435*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x5e,0x01,0x10]
436*f4a2713aSLionel Sambuc          vfmsubaddps  (%rcx), %ymm1, %ymm0, %ymm0
437*f4a2713aSLionel Sambuc
438*f4a2713aSLionel Sambuc// CHECK: vfmsubaddps   %ymm1, (%rcx), %ymm0, %ymm0
439*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x5e,0x01,0x10]
440*f4a2713aSLionel Sambuc          vfmsubaddps   %ymm1, (%rcx),%ymm0, %ymm0
441*f4a2713aSLionel Sambuc
442*f4a2713aSLionel Sambuc// CHECK: vfmsubaddps   %ymm2, %ymm1, %ymm0, %ymm0
443*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x5e,0xc2,0x10]
444*f4a2713aSLionel Sambuc          vfmsubaddps   %ymm2, %ymm1, %ymm0, %ymm0
445*f4a2713aSLionel Sambuc
446*f4a2713aSLionel Sambuc// CHECK: vfmsubaddpd  (%rcx), %ymm1, %ymm0, %ymm0
447*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x5f,0x01,0x10]
448*f4a2713aSLionel Sambuc          vfmsubaddpd  (%rcx), %ymm1, %ymm0, %ymm0
449*f4a2713aSLionel Sambuc
450*f4a2713aSLionel Sambuc// CHECK: vfmsubaddpd   %ymm1, (%rcx), %ymm0, %ymm0
451*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0x7d,0x5f,0x01,0x10]
452*f4a2713aSLionel Sambuc          vfmsubaddpd   %ymm1, (%rcx),%ymm0, %ymm0
453*f4a2713aSLionel Sambuc
454*f4a2713aSLionel Sambuc// CHECK: vfmsubaddpd   %ymm2, %ymm1, %ymm0, %ymm0
455*f4a2713aSLionel Sambuc// CHECK: encoding: [0xc4,0xe3,0xfd,0x5f,0xc2,0x10]
456*f4a2713aSLionel Sambuc          vfmsubaddpd   %ymm2, %ymm1, %ymm0, %ymm0
457