xref: /aosp_15_r20/external/llvm/test/MC/X86/x86_64-fma3-encoding.s (revision 9880d6810fe72a1726cb53787c6711e909410d58) 
1*9880d681SAndroid Build Coastguard Worker// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132pd  %xmm12, %xmm10, %xmm11
4*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0x98,0xdc]
5*9880d681SAndroid Build Coastguard Worker          vfmadd132pd  %xmm12, %xmm10, %xmm11
6*9880d681SAndroid Build Coastguard Worker
7*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132pd  (%rax), %xmm10, %xmm11
8*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0x98,0x18]
9*9880d681SAndroid Build Coastguard Worker          vfmadd132pd  (%rax), %xmm10, %xmm11
10*9880d681SAndroid Build Coastguard Worker
11*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132ps  %xmm12, %xmm10, %xmm11
12*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0x98,0xdc]
13*9880d681SAndroid Build Coastguard Worker          vfmadd132ps  %xmm12, %xmm10, %xmm11
14*9880d681SAndroid Build Coastguard Worker
15*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132ps  (%rax), %xmm10, %xmm11
16*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0x98,0x18]
17*9880d681SAndroid Build Coastguard Worker          vfmadd132ps  (%rax), %xmm10, %xmm11
18*9880d681SAndroid Build Coastguard Worker
19*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213pd  %xmm12, %xmm10, %xmm11
20*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xa8,0xdc]
21*9880d681SAndroid Build Coastguard Worker          vfmadd213pd  %xmm12, %xmm10, %xmm11
22*9880d681SAndroid Build Coastguard Worker
23*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213pd  (%rax), %xmm10, %xmm11
24*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xa8,0x18]
25*9880d681SAndroid Build Coastguard Worker          vfmadd213pd  (%rax), %xmm10, %xmm11
26*9880d681SAndroid Build Coastguard Worker
27*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213ps  %xmm12, %xmm10, %xmm11
28*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xa8,0xdc]
29*9880d681SAndroid Build Coastguard Worker          vfmadd213ps  %xmm12, %xmm10, %xmm11
30*9880d681SAndroid Build Coastguard Worker
31*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213ps  (%rax), %xmm10, %xmm11
32*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xa8,0x18]
33*9880d681SAndroid Build Coastguard Worker          vfmadd213ps  (%rax), %xmm10, %xmm11
34*9880d681SAndroid Build Coastguard Worker
35*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231pd  %xmm12, %xmm10, %xmm11
36*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xb8,0xdc]
37*9880d681SAndroid Build Coastguard Worker          vfmadd231pd  %xmm12, %xmm10, %xmm11
38*9880d681SAndroid Build Coastguard Worker
39*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231pd  (%rax), %xmm10, %xmm11
40*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xb8,0x18]
41*9880d681SAndroid Build Coastguard Worker          vfmadd231pd  (%rax), %xmm10, %xmm11
42*9880d681SAndroid Build Coastguard Worker
43*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231ps  %xmm12, %xmm10, %xmm11
44*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xb8,0xdc]
45*9880d681SAndroid Build Coastguard Worker          vfmadd231ps  %xmm12, %xmm10, %xmm11
46*9880d681SAndroid Build Coastguard Worker
47*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231ps  (%rax), %xmm10, %xmm11
48*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xb8,0x18]
49*9880d681SAndroid Build Coastguard Worker          vfmadd231ps  (%rax), %xmm10, %xmm11
50*9880d681SAndroid Build Coastguard Worker
51*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132pd  %ymm12, %ymm10, %ymm11
52*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0x98,0xdc]
53*9880d681SAndroid Build Coastguard Worker          vfmadd132pd  %ymm12, %ymm10, %ymm11
54*9880d681SAndroid Build Coastguard Worker
55*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132pd  (%rax), %ymm10, %ymm11
56*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0x98,0x18]
57*9880d681SAndroid Build Coastguard Worker          vfmadd132pd  (%rax), %ymm10, %ymm11
58*9880d681SAndroid Build Coastguard Worker
59*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132ps  %ymm12, %ymm10, %ymm11
60*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0x98,0xdc]
61*9880d681SAndroid Build Coastguard Worker          vfmadd132ps  %ymm12, %ymm10, %ymm11
62*9880d681SAndroid Build Coastguard Worker
63*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132ps  (%rax), %ymm10, %ymm11
64*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0x98,0x18]
65*9880d681SAndroid Build Coastguard Worker          vfmadd132ps  (%rax), %ymm10, %ymm11
66*9880d681SAndroid Build Coastguard Worker
67*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213pd  %ymm12, %ymm10, %ymm11
68*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xa8,0xdc]
69*9880d681SAndroid Build Coastguard Worker          vfmadd213pd  %ymm12, %ymm10, %ymm11
70*9880d681SAndroid Build Coastguard Worker
71*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213pd  (%rax), %ymm10, %ymm11
72*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xa8,0x18]
73*9880d681SAndroid Build Coastguard Worker          vfmadd213pd  (%rax), %ymm10, %ymm11
74*9880d681SAndroid Build Coastguard Worker
75*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213ps  %ymm12, %ymm10, %ymm11
76*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xa8,0xdc]
77*9880d681SAndroid Build Coastguard Worker          vfmadd213ps  %ymm12, %ymm10, %ymm11
78*9880d681SAndroid Build Coastguard Worker
79*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213ps  (%rax), %ymm10, %ymm11
80*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xa8,0x18]
81*9880d681SAndroid Build Coastguard Worker          vfmadd213ps  (%rax), %ymm10, %ymm11
82*9880d681SAndroid Build Coastguard Worker
83*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231pd  %ymm12, %ymm10, %ymm11
84*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xb8,0xdc]
85*9880d681SAndroid Build Coastguard Worker          vfmadd231pd  %ymm12, %ymm10, %ymm11
86*9880d681SAndroid Build Coastguard Worker
87*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231pd  (%rax), %ymm10, %ymm11
88*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xb8,0x18]
89*9880d681SAndroid Build Coastguard Worker          vfmadd231pd  (%rax), %ymm10, %ymm11
90*9880d681SAndroid Build Coastguard Worker
91*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231ps  %ymm12, %ymm10, %ymm11
92*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xb8,0xdc]
93*9880d681SAndroid Build Coastguard Worker          vfmadd231ps  %ymm12, %ymm10, %ymm11
94*9880d681SAndroid Build Coastguard Worker
95*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231ps  (%rax), %ymm10, %ymm11
96*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xb8,0x18]
97*9880d681SAndroid Build Coastguard Worker          vfmadd231ps  (%rax), %ymm10, %ymm11
98*9880d681SAndroid Build Coastguard Worker
99*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132pd  %xmm12, %xmm10, %xmm11
100*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0x98,0xdc]
101*9880d681SAndroid Build Coastguard Worker          vfmadd132pd  %xmm12, %xmm10, %xmm11
102*9880d681SAndroid Build Coastguard Worker
103*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132pd  (%rax), %xmm10, %xmm11
104*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0x98,0x18]
105*9880d681SAndroid Build Coastguard Worker          vfmadd132pd  (%rax), %xmm10, %xmm11
106*9880d681SAndroid Build Coastguard Worker
107*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132ps  %xmm12, %xmm10, %xmm11
108*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0x98,0xdc]
109*9880d681SAndroid Build Coastguard Worker          vfmadd132ps  %xmm12, %xmm10, %xmm11
110*9880d681SAndroid Build Coastguard Worker
111*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132ps  (%rax), %xmm10, %xmm11
112*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0x98,0x18]
113*9880d681SAndroid Build Coastguard Worker          vfmadd132ps  (%rax), %xmm10, %xmm11
114*9880d681SAndroid Build Coastguard Worker
115*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213pd  %xmm12, %xmm10, %xmm11
116*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xa8,0xdc]
117*9880d681SAndroid Build Coastguard Worker          vfmadd213pd  %xmm12, %xmm10, %xmm11
118*9880d681SAndroid Build Coastguard Worker
119*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213pd  (%rax), %xmm10, %xmm11
120*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xa8,0x18]
121*9880d681SAndroid Build Coastguard Worker          vfmadd213pd  (%rax), %xmm10, %xmm11
122*9880d681SAndroid Build Coastguard Worker
123*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213ps  %xmm12, %xmm10, %xmm11
124*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xa8,0xdc]
125*9880d681SAndroid Build Coastguard Worker          vfmadd213ps  %xmm12, %xmm10, %xmm11
126*9880d681SAndroid Build Coastguard Worker
127*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213ps  (%rax), %xmm10, %xmm11
128*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xa8,0x18]
129*9880d681SAndroid Build Coastguard Worker          vfmadd213ps  (%rax), %xmm10, %xmm11
130*9880d681SAndroid Build Coastguard Worker
131*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231pd  %xmm12, %xmm10, %xmm11
132*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xb8,0xdc]
133*9880d681SAndroid Build Coastguard Worker          vfmadd231pd  %xmm12, %xmm10, %xmm11
134*9880d681SAndroid Build Coastguard Worker
135*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231pd  (%rax), %xmm10, %xmm11
136*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xb8,0x18]
137*9880d681SAndroid Build Coastguard Worker          vfmadd231pd  (%rax), %xmm10, %xmm11
138*9880d681SAndroid Build Coastguard Worker
139*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231ps  %xmm12, %xmm10, %xmm11
140*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xb8,0xdc]
141*9880d681SAndroid Build Coastguard Worker          vfmadd231ps  %xmm12, %xmm10, %xmm11
142*9880d681SAndroid Build Coastguard Worker
143*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231ps  (%rax), %xmm10, %xmm11
144*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xb8,0x18]
145*9880d681SAndroid Build Coastguard Worker          vfmadd231ps  (%rax), %xmm10, %xmm11
146*9880d681SAndroid Build Coastguard Worker
147*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub132pd  %xmm12, %xmm10, %xmm11
148*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0x96,0xdc]
149*9880d681SAndroid Build Coastguard Worker          vfmaddsub132pd  %xmm12, %xmm10, %xmm11
150*9880d681SAndroid Build Coastguard Worker
151*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub132pd  (%rax), %xmm10, %xmm11
152*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0x96,0x18]
153*9880d681SAndroid Build Coastguard Worker          vfmaddsub132pd  (%rax), %xmm10, %xmm11
154*9880d681SAndroid Build Coastguard Worker
155*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub132ps  %xmm12, %xmm10, %xmm11
156*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0x96,0xdc]
157*9880d681SAndroid Build Coastguard Worker          vfmaddsub132ps  %xmm12, %xmm10, %xmm11
158*9880d681SAndroid Build Coastguard Worker
159*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub132ps  (%rax), %xmm10, %xmm11
160*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0x96,0x18]
161*9880d681SAndroid Build Coastguard Worker          vfmaddsub132ps  (%rax), %xmm10, %xmm11
162*9880d681SAndroid Build Coastguard Worker
163*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub213pd  %xmm12, %xmm10, %xmm11
164*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xa6,0xdc]
165*9880d681SAndroid Build Coastguard Worker          vfmaddsub213pd  %xmm12, %xmm10, %xmm11
166*9880d681SAndroid Build Coastguard Worker
167*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub213pd  (%rax), %xmm10, %xmm11
168*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xa6,0x18]
169*9880d681SAndroid Build Coastguard Worker          vfmaddsub213pd  (%rax), %xmm10, %xmm11
170*9880d681SAndroid Build Coastguard Worker
171*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub213ps  %xmm12, %xmm10, %xmm11
172*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xa6,0xdc]
173*9880d681SAndroid Build Coastguard Worker          vfmaddsub213ps  %xmm12, %xmm10, %xmm11
174*9880d681SAndroid Build Coastguard Worker
175*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub213ps  (%rax), %xmm10, %xmm11
176*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xa6,0x18]
177*9880d681SAndroid Build Coastguard Worker          vfmaddsub213ps  (%rax), %xmm10, %xmm11
178*9880d681SAndroid Build Coastguard Worker
179*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub231pd  %xmm12, %xmm10, %xmm11
180*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xb6,0xdc]
181*9880d681SAndroid Build Coastguard Worker          vfmaddsub231pd  %xmm12, %xmm10, %xmm11
182*9880d681SAndroid Build Coastguard Worker
183*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub231pd  (%rax), %xmm10, %xmm11
184*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xb6,0x18]
185*9880d681SAndroid Build Coastguard Worker          vfmaddsub231pd  (%rax), %xmm10, %xmm11
186*9880d681SAndroid Build Coastguard Worker
187*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub231ps  %xmm12, %xmm10, %xmm11
188*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xb6,0xdc]
189*9880d681SAndroid Build Coastguard Worker          vfmaddsub231ps  %xmm12, %xmm10, %xmm11
190*9880d681SAndroid Build Coastguard Worker
191*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub231ps  (%rax), %xmm10, %xmm11
192*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xb6,0x18]
193*9880d681SAndroid Build Coastguard Worker          vfmaddsub231ps  (%rax), %xmm10, %xmm11
194*9880d681SAndroid Build Coastguard Worker
195*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd132pd  %xmm12, %xmm10, %xmm11
196*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0x97,0xdc]
197*9880d681SAndroid Build Coastguard Worker          vfmsubadd132pd  %xmm12, %xmm10, %xmm11
198*9880d681SAndroid Build Coastguard Worker
199*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd132pd  (%rax), %xmm10, %xmm11
200*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0x97,0x18]
201*9880d681SAndroid Build Coastguard Worker          vfmsubadd132pd  (%rax), %xmm10, %xmm11
202*9880d681SAndroid Build Coastguard Worker
203*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd132ps  %xmm12, %xmm10, %xmm11
204*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0x97,0xdc]
205*9880d681SAndroid Build Coastguard Worker          vfmsubadd132ps  %xmm12, %xmm10, %xmm11
206*9880d681SAndroid Build Coastguard Worker
207*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd132ps  (%rax), %xmm10, %xmm11
208*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0x97,0x18]
209*9880d681SAndroid Build Coastguard Worker          vfmsubadd132ps  (%rax), %xmm10, %xmm11
210*9880d681SAndroid Build Coastguard Worker
211*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd213pd  %xmm12, %xmm10, %xmm11
212*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xa7,0xdc]
213*9880d681SAndroid Build Coastguard Worker          vfmsubadd213pd  %xmm12, %xmm10, %xmm11
214*9880d681SAndroid Build Coastguard Worker
215*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd213pd  (%rax), %xmm10, %xmm11
216*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xa7,0x18]
217*9880d681SAndroid Build Coastguard Worker          vfmsubadd213pd  (%rax), %xmm10, %xmm11
218*9880d681SAndroid Build Coastguard Worker
219*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd213ps  %xmm12, %xmm10, %xmm11
220*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xa7,0xdc]
221*9880d681SAndroid Build Coastguard Worker          vfmsubadd213ps  %xmm12, %xmm10, %xmm11
222*9880d681SAndroid Build Coastguard Worker
223*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd213ps  (%rax), %xmm10, %xmm11
224*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xa7,0x18]
225*9880d681SAndroid Build Coastguard Worker          vfmsubadd213ps  (%rax), %xmm10, %xmm11
226*9880d681SAndroid Build Coastguard Worker
227*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd231pd  %xmm12, %xmm10, %xmm11
228*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xb7,0xdc]
229*9880d681SAndroid Build Coastguard Worker          vfmsubadd231pd  %xmm12, %xmm10, %xmm11
230*9880d681SAndroid Build Coastguard Worker
231*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd231pd  (%rax), %xmm10, %xmm11
232*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xb7,0x18]
233*9880d681SAndroid Build Coastguard Worker          vfmsubadd231pd  (%rax), %xmm10, %xmm11
234*9880d681SAndroid Build Coastguard Worker
235*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd231ps  %xmm12, %xmm10, %xmm11
236*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xb7,0xdc]
237*9880d681SAndroid Build Coastguard Worker          vfmsubadd231ps  %xmm12, %xmm10, %xmm11
238*9880d681SAndroid Build Coastguard Worker
239*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd231ps  (%rax), %xmm10, %xmm11
240*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xb7,0x18]
241*9880d681SAndroid Build Coastguard Worker          vfmsubadd231ps  (%rax), %xmm10, %xmm11
242*9880d681SAndroid Build Coastguard Worker
243*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub132pd  %xmm12, %xmm10, %xmm11
244*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0x9a,0xdc]
245*9880d681SAndroid Build Coastguard Worker          vfmsub132pd  %xmm12, %xmm10, %xmm11
246*9880d681SAndroid Build Coastguard Worker
247*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub132pd  (%rax), %xmm10, %xmm11
248*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0x9a,0x18]
249*9880d681SAndroid Build Coastguard Worker          vfmsub132pd  (%rax), %xmm10, %xmm11
250*9880d681SAndroid Build Coastguard Worker
251*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub132ps  %xmm12, %xmm10, %xmm11
252*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0x9a,0xdc]
253*9880d681SAndroid Build Coastguard Worker          vfmsub132ps  %xmm12, %xmm10, %xmm11
254*9880d681SAndroid Build Coastguard Worker
255*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub132ps  (%rax), %xmm10, %xmm11
256*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0x9a,0x18]
257*9880d681SAndroid Build Coastguard Worker          vfmsub132ps  (%rax), %xmm10, %xmm11
258*9880d681SAndroid Build Coastguard Worker
259*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub213pd  %xmm12, %xmm10, %xmm11
260*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xaa,0xdc]
261*9880d681SAndroid Build Coastguard Worker          vfmsub213pd  %xmm12, %xmm10, %xmm11
262*9880d681SAndroid Build Coastguard Worker
263*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub213pd  (%rax), %xmm10, %xmm11
264*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xaa,0x18]
265*9880d681SAndroid Build Coastguard Worker          vfmsub213pd  (%rax), %xmm10, %xmm11
266*9880d681SAndroid Build Coastguard Worker
267*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub213ps  %xmm12, %xmm10, %xmm11
268*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xaa,0xdc]
269*9880d681SAndroid Build Coastguard Worker          vfmsub213ps  %xmm12, %xmm10, %xmm11
270*9880d681SAndroid Build Coastguard Worker
271*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub213ps  (%rax), %xmm10, %xmm11
272*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xaa,0x18]
273*9880d681SAndroid Build Coastguard Worker          vfmsub213ps  (%rax), %xmm10, %xmm11
274*9880d681SAndroid Build Coastguard Worker
275*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub231pd  %xmm12, %xmm10, %xmm11
276*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xba,0xdc]
277*9880d681SAndroid Build Coastguard Worker          vfmsub231pd  %xmm12, %xmm10, %xmm11
278*9880d681SAndroid Build Coastguard Worker
279*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub231pd  (%rax), %xmm10, %xmm11
280*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xba,0x18]
281*9880d681SAndroid Build Coastguard Worker          vfmsub231pd  (%rax), %xmm10, %xmm11
282*9880d681SAndroid Build Coastguard Worker
283*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub231ps  %xmm12, %xmm10, %xmm11
284*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xba,0xdc]
285*9880d681SAndroid Build Coastguard Worker          vfmsub231ps  %xmm12, %xmm10, %xmm11
286*9880d681SAndroid Build Coastguard Worker
287*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub231ps  (%rax), %xmm10, %xmm11
288*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xba,0x18]
289*9880d681SAndroid Build Coastguard Worker          vfmsub231ps  (%rax), %xmm10, %xmm11
290*9880d681SAndroid Build Coastguard Worker
291*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd132pd  %xmm12, %xmm10, %xmm11
292*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0x9c,0xdc]
293*9880d681SAndroid Build Coastguard Worker          vfnmadd132pd  %xmm12, %xmm10, %xmm11
294*9880d681SAndroid Build Coastguard Worker
295*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd132pd  (%rax), %xmm10, %xmm11
296*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0x9c,0x18]
297*9880d681SAndroid Build Coastguard Worker          vfnmadd132pd  (%rax), %xmm10, %xmm11
298*9880d681SAndroid Build Coastguard Worker
299*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd132ps  %xmm12, %xmm10, %xmm11
300*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0x9c,0xdc]
301*9880d681SAndroid Build Coastguard Worker          vfnmadd132ps  %xmm12, %xmm10, %xmm11
302*9880d681SAndroid Build Coastguard Worker
303*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd132ps  (%rax), %xmm10, %xmm11
304*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0x9c,0x18]
305*9880d681SAndroid Build Coastguard Worker          vfnmadd132ps  (%rax), %xmm10, %xmm11
306*9880d681SAndroid Build Coastguard Worker
307*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd213pd  %xmm12, %xmm10, %xmm11
308*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xac,0xdc]
309*9880d681SAndroid Build Coastguard Worker          vfnmadd213pd  %xmm12, %xmm10, %xmm11
310*9880d681SAndroid Build Coastguard Worker
311*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd213pd  (%rax), %xmm10, %xmm11
312*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xac,0x18]
313*9880d681SAndroid Build Coastguard Worker          vfnmadd213pd  (%rax), %xmm10, %xmm11
314*9880d681SAndroid Build Coastguard Worker
315*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd213ps  %xmm12, %xmm10, %xmm11
316*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xac,0xdc]
317*9880d681SAndroid Build Coastguard Worker          vfnmadd213ps  %xmm12, %xmm10, %xmm11
318*9880d681SAndroid Build Coastguard Worker
319*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd213ps  (%rax), %xmm10, %xmm11
320*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xac,0x18]
321*9880d681SAndroid Build Coastguard Worker          vfnmadd213ps  (%rax), %xmm10, %xmm11
322*9880d681SAndroid Build Coastguard Worker
323*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd231pd  %xmm12, %xmm10, %xmm11
324*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xbc,0xdc]
325*9880d681SAndroid Build Coastguard Worker          vfnmadd231pd  %xmm12, %xmm10, %xmm11
326*9880d681SAndroid Build Coastguard Worker
327*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd231pd  (%rax), %xmm10, %xmm11
328*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xbc,0x18]
329*9880d681SAndroid Build Coastguard Worker          vfnmadd231pd  (%rax), %xmm10, %xmm11
330*9880d681SAndroid Build Coastguard Worker
331*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd231ps  %xmm12, %xmm10, %xmm11
332*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xbc,0xdc]
333*9880d681SAndroid Build Coastguard Worker          vfnmadd231ps  %xmm12, %xmm10, %xmm11
334*9880d681SAndroid Build Coastguard Worker
335*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd231ps  (%rax), %xmm10, %xmm11
336*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xbc,0x18]
337*9880d681SAndroid Build Coastguard Worker          vfnmadd231ps  (%rax), %xmm10, %xmm11
338*9880d681SAndroid Build Coastguard Worker
339*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub132pd  %xmm12, %xmm10, %xmm11
340*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0x9e,0xdc]
341*9880d681SAndroid Build Coastguard Worker          vfnmsub132pd  %xmm12, %xmm10, %xmm11
342*9880d681SAndroid Build Coastguard Worker
343*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub132pd  (%rax), %xmm10, %xmm11
344*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0x9e,0x18]
345*9880d681SAndroid Build Coastguard Worker          vfnmsub132pd  (%rax), %xmm10, %xmm11
346*9880d681SAndroid Build Coastguard Worker
347*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub132ps  %xmm12, %xmm10, %xmm11
348*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0x9e,0xdc]
349*9880d681SAndroid Build Coastguard Worker          vfnmsub132ps  %xmm12, %xmm10, %xmm11
350*9880d681SAndroid Build Coastguard Worker
351*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub132ps  (%rax), %xmm10, %xmm11
352*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0x9e,0x18]
353*9880d681SAndroid Build Coastguard Worker          vfnmsub132ps  (%rax), %xmm10, %xmm11
354*9880d681SAndroid Build Coastguard Worker
355*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub213pd  %xmm12, %xmm10, %xmm11
356*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xae,0xdc]
357*9880d681SAndroid Build Coastguard Worker          vfnmsub213pd  %xmm12, %xmm10, %xmm11
358*9880d681SAndroid Build Coastguard Worker
359*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub213pd  (%rax), %xmm10, %xmm11
360*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xae,0x18]
361*9880d681SAndroid Build Coastguard Worker          vfnmsub213pd  (%rax), %xmm10, %xmm11
362*9880d681SAndroid Build Coastguard Worker
363*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub213ps  %xmm12, %xmm10, %xmm11
364*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xae,0xdc]
365*9880d681SAndroid Build Coastguard Worker          vfnmsub213ps  %xmm12, %xmm10, %xmm11
366*9880d681SAndroid Build Coastguard Worker
367*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub213ps  (%rax), %xmm10, %xmm11
368*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xae,0x18]
369*9880d681SAndroid Build Coastguard Worker          vfnmsub213ps  (%rax), %xmm10, %xmm11
370*9880d681SAndroid Build Coastguard Worker
371*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub231pd  %xmm12, %xmm10, %xmm11
372*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xa9,0xbe,0xdc]
373*9880d681SAndroid Build Coastguard Worker          vfnmsub231pd  %xmm12, %xmm10, %xmm11
374*9880d681SAndroid Build Coastguard Worker
375*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub231pd  (%rax), %xmm10, %xmm11
376*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xa9,0xbe,0x18]
377*9880d681SAndroid Build Coastguard Worker          vfnmsub231pd  (%rax), %xmm10, %xmm11
378*9880d681SAndroid Build Coastguard Worker
379*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub231ps  %xmm12, %xmm10, %xmm11
380*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x29,0xbe,0xdc]
381*9880d681SAndroid Build Coastguard Worker          vfnmsub231ps  %xmm12, %xmm10, %xmm11
382*9880d681SAndroid Build Coastguard Worker
383*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub231ps  (%rax), %xmm10, %xmm11
384*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x29,0xbe,0x18]
385*9880d681SAndroid Build Coastguard Worker          vfnmsub231ps  (%rax), %xmm10, %xmm11
386*9880d681SAndroid Build Coastguard Worker
387*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132pd  %ymm12, %ymm10, %ymm11
388*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0x98,0xdc]
389*9880d681SAndroid Build Coastguard Worker          vfmadd132pd  %ymm12, %ymm10, %ymm11
390*9880d681SAndroid Build Coastguard Worker
391*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132pd  (%rax), %ymm10, %ymm11
392*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0x98,0x18]
393*9880d681SAndroid Build Coastguard Worker          vfmadd132pd  (%rax), %ymm10, %ymm11
394*9880d681SAndroid Build Coastguard Worker
395*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132ps  %ymm12, %ymm10, %ymm11
396*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0x98,0xdc]
397*9880d681SAndroid Build Coastguard Worker          vfmadd132ps  %ymm12, %ymm10, %ymm11
398*9880d681SAndroid Build Coastguard Worker
399*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd132ps  (%rax), %ymm10, %ymm11
400*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0x98,0x18]
401*9880d681SAndroid Build Coastguard Worker          vfmadd132ps  (%rax), %ymm10, %ymm11
402*9880d681SAndroid Build Coastguard Worker
403*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213pd  %ymm12, %ymm10, %ymm11
404*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xa8,0xdc]
405*9880d681SAndroid Build Coastguard Worker          vfmadd213pd  %ymm12, %ymm10, %ymm11
406*9880d681SAndroid Build Coastguard Worker
407*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213pd  (%rax), %ymm10, %ymm11
408*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xa8,0x18]
409*9880d681SAndroid Build Coastguard Worker          vfmadd213pd  (%rax), %ymm10, %ymm11
410*9880d681SAndroid Build Coastguard Worker
411*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213ps  %ymm12, %ymm10, %ymm11
412*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xa8,0xdc]
413*9880d681SAndroid Build Coastguard Worker          vfmadd213ps  %ymm12, %ymm10, %ymm11
414*9880d681SAndroid Build Coastguard Worker
415*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd213ps  (%rax), %ymm10, %ymm11
416*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xa8,0x18]
417*9880d681SAndroid Build Coastguard Worker          vfmadd213ps  (%rax), %ymm10, %ymm11
418*9880d681SAndroid Build Coastguard Worker
419*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231pd  %ymm12, %ymm10, %ymm11
420*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xb8,0xdc]
421*9880d681SAndroid Build Coastguard Worker          vfmadd231pd  %ymm12, %ymm10, %ymm11
422*9880d681SAndroid Build Coastguard Worker
423*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231pd  (%rax), %ymm10, %ymm11
424*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xb8,0x18]
425*9880d681SAndroid Build Coastguard Worker          vfmadd231pd  (%rax), %ymm10, %ymm11
426*9880d681SAndroid Build Coastguard Worker
427*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231ps  %ymm12, %ymm10, %ymm11
428*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xb8,0xdc]
429*9880d681SAndroid Build Coastguard Worker          vfmadd231ps  %ymm12, %ymm10, %ymm11
430*9880d681SAndroid Build Coastguard Worker
431*9880d681SAndroid Build Coastguard Worker// CHECK: vfmadd231ps  (%rax), %ymm10, %ymm11
432*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xb8,0x18]
433*9880d681SAndroid Build Coastguard Worker          vfmadd231ps  (%rax), %ymm10, %ymm11
434*9880d681SAndroid Build Coastguard Worker
435*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub132pd  %ymm12, %ymm10, %ymm11
436*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0x96,0xdc]
437*9880d681SAndroid Build Coastguard Worker          vfmaddsub132pd  %ymm12, %ymm10, %ymm11
438*9880d681SAndroid Build Coastguard Worker
439*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub132pd  (%rax), %ymm10, %ymm11
440*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0x96,0x18]
441*9880d681SAndroid Build Coastguard Worker          vfmaddsub132pd  (%rax), %ymm10, %ymm11
442*9880d681SAndroid Build Coastguard Worker
443*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub132ps  %ymm12, %ymm10, %ymm11
444*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0x96,0xdc]
445*9880d681SAndroid Build Coastguard Worker          vfmaddsub132ps  %ymm12, %ymm10, %ymm11
446*9880d681SAndroid Build Coastguard Worker
447*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub132ps  (%rax), %ymm10, %ymm11
448*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0x96,0x18]
449*9880d681SAndroid Build Coastguard Worker          vfmaddsub132ps  (%rax), %ymm10, %ymm11
450*9880d681SAndroid Build Coastguard Worker
451*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub213pd  %ymm12, %ymm10, %ymm11
452*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xa6,0xdc]
453*9880d681SAndroid Build Coastguard Worker          vfmaddsub213pd  %ymm12, %ymm10, %ymm11
454*9880d681SAndroid Build Coastguard Worker
455*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub213pd  (%rax), %ymm10, %ymm11
456*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xa6,0x18]
457*9880d681SAndroid Build Coastguard Worker          vfmaddsub213pd  (%rax), %ymm10, %ymm11
458*9880d681SAndroid Build Coastguard Worker
459*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub213ps  %ymm12, %ymm10, %ymm11
460*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xa6,0xdc]
461*9880d681SAndroid Build Coastguard Worker          vfmaddsub213ps  %ymm12, %ymm10, %ymm11
462*9880d681SAndroid Build Coastguard Worker
463*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub213ps  (%rax), %ymm10, %ymm11
464*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xa6,0x18]
465*9880d681SAndroid Build Coastguard Worker          vfmaddsub213ps  (%rax), %ymm10, %ymm11
466*9880d681SAndroid Build Coastguard Worker
467*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub231pd  %ymm12, %ymm10, %ymm11
468*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xb6,0xdc]
469*9880d681SAndroid Build Coastguard Worker          vfmaddsub231pd  %ymm12, %ymm10, %ymm11
470*9880d681SAndroid Build Coastguard Worker
471*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub231pd  (%rax), %ymm10, %ymm11
472*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xb6,0x18]
473*9880d681SAndroid Build Coastguard Worker          vfmaddsub231pd  (%rax), %ymm10, %ymm11
474*9880d681SAndroid Build Coastguard Worker
475*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub231ps  %ymm12, %ymm10, %ymm11
476*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xb6,0xdc]
477*9880d681SAndroid Build Coastguard Worker          vfmaddsub231ps  %ymm12, %ymm10, %ymm11
478*9880d681SAndroid Build Coastguard Worker
479*9880d681SAndroid Build Coastguard Worker// CHECK: vfmaddsub231ps  (%rax), %ymm10, %ymm11
480*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xb6,0x18]
481*9880d681SAndroid Build Coastguard Worker          vfmaddsub231ps  (%rax), %ymm10, %ymm11
482*9880d681SAndroid Build Coastguard Worker
483*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd132pd  %ymm12, %ymm10, %ymm11
484*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0x97,0xdc]
485*9880d681SAndroid Build Coastguard Worker          vfmsubadd132pd  %ymm12, %ymm10, %ymm11
486*9880d681SAndroid Build Coastguard Worker
487*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd132pd  (%rax), %ymm10, %ymm11
488*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0x97,0x18]
489*9880d681SAndroid Build Coastguard Worker          vfmsubadd132pd  (%rax), %ymm10, %ymm11
490*9880d681SAndroid Build Coastguard Worker
491*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd132ps  %ymm12, %ymm10, %ymm11
492*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0x97,0xdc]
493*9880d681SAndroid Build Coastguard Worker          vfmsubadd132ps  %ymm12, %ymm10, %ymm11
494*9880d681SAndroid Build Coastguard Worker
495*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd132ps  (%rax), %ymm10, %ymm11
496*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0x97,0x18]
497*9880d681SAndroid Build Coastguard Worker          vfmsubadd132ps  (%rax), %ymm10, %ymm11
498*9880d681SAndroid Build Coastguard Worker
499*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd213pd  %ymm12, %ymm10, %ymm11
500*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xa7,0xdc]
501*9880d681SAndroid Build Coastguard Worker          vfmsubadd213pd  %ymm12, %ymm10, %ymm11
502*9880d681SAndroid Build Coastguard Worker
503*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd213pd  (%rax), %ymm10, %ymm11
504*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xa7,0x18]
505*9880d681SAndroid Build Coastguard Worker          vfmsubadd213pd  (%rax), %ymm10, %ymm11
506*9880d681SAndroid Build Coastguard Worker
507*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd213ps  %ymm12, %ymm10, %ymm11
508*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xa7,0xdc]
509*9880d681SAndroid Build Coastguard Worker          vfmsubadd213ps  %ymm12, %ymm10, %ymm11
510*9880d681SAndroid Build Coastguard Worker
511*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd213ps  (%rax), %ymm10, %ymm11
512*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xa7,0x18]
513*9880d681SAndroid Build Coastguard Worker          vfmsubadd213ps  (%rax), %ymm10, %ymm11
514*9880d681SAndroid Build Coastguard Worker
515*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd231pd  %ymm12, %ymm10, %ymm11
516*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xb7,0xdc]
517*9880d681SAndroid Build Coastguard Worker          vfmsubadd231pd  %ymm12, %ymm10, %ymm11
518*9880d681SAndroid Build Coastguard Worker
519*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd231pd  (%rax), %ymm10, %ymm11
520*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xb7,0x18]
521*9880d681SAndroid Build Coastguard Worker          vfmsubadd231pd  (%rax), %ymm10, %ymm11
522*9880d681SAndroid Build Coastguard Worker
523*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd231ps  %ymm12, %ymm10, %ymm11
524*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xb7,0xdc]
525*9880d681SAndroid Build Coastguard Worker          vfmsubadd231ps  %ymm12, %ymm10, %ymm11
526*9880d681SAndroid Build Coastguard Worker
527*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsubadd231ps  (%rax), %ymm10, %ymm11
528*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xb7,0x18]
529*9880d681SAndroid Build Coastguard Worker          vfmsubadd231ps  (%rax), %ymm10, %ymm11
530*9880d681SAndroid Build Coastguard Worker
531*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub132pd  %ymm12, %ymm10, %ymm11
532*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0x9a,0xdc]
533*9880d681SAndroid Build Coastguard Worker          vfmsub132pd  %ymm12, %ymm10, %ymm11
534*9880d681SAndroid Build Coastguard Worker
535*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub132pd  (%rax), %ymm10, %ymm11
536*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0x9a,0x18]
537*9880d681SAndroid Build Coastguard Worker          vfmsub132pd  (%rax), %ymm10, %ymm11
538*9880d681SAndroid Build Coastguard Worker
539*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub132ps  %ymm12, %ymm10, %ymm11
540*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0x9a,0xdc]
541*9880d681SAndroid Build Coastguard Worker          vfmsub132ps  %ymm12, %ymm10, %ymm11
542*9880d681SAndroid Build Coastguard Worker
543*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub132ps  (%rax), %ymm10, %ymm11
544*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0x9a,0x18]
545*9880d681SAndroid Build Coastguard Worker          vfmsub132ps  (%rax), %ymm10, %ymm11
546*9880d681SAndroid Build Coastguard Worker
547*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub213pd  %ymm12, %ymm10, %ymm11
548*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xaa,0xdc]
549*9880d681SAndroid Build Coastguard Worker          vfmsub213pd  %ymm12, %ymm10, %ymm11
550*9880d681SAndroid Build Coastguard Worker
551*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub213pd  (%rax), %ymm10, %ymm11
552*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xaa,0x18]
553*9880d681SAndroid Build Coastguard Worker          vfmsub213pd  (%rax), %ymm10, %ymm11
554*9880d681SAndroid Build Coastguard Worker
555*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub213ps  %ymm12, %ymm10, %ymm11
556*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xaa,0xdc]
557*9880d681SAndroid Build Coastguard Worker          vfmsub213ps  %ymm12, %ymm10, %ymm11
558*9880d681SAndroid Build Coastguard Worker
559*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub213ps  (%rax), %ymm10, %ymm11
560*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xaa,0x18]
561*9880d681SAndroid Build Coastguard Worker          vfmsub213ps  (%rax), %ymm10, %ymm11
562*9880d681SAndroid Build Coastguard Worker
563*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub231pd  %ymm12, %ymm10, %ymm11
564*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xba,0xdc]
565*9880d681SAndroid Build Coastguard Worker          vfmsub231pd  %ymm12, %ymm10, %ymm11
566*9880d681SAndroid Build Coastguard Worker
567*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub231pd  (%rax), %ymm10, %ymm11
568*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xba,0x18]
569*9880d681SAndroid Build Coastguard Worker          vfmsub231pd  (%rax), %ymm10, %ymm11
570*9880d681SAndroid Build Coastguard Worker
571*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub231ps  %ymm12, %ymm10, %ymm11
572*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xba,0xdc]
573*9880d681SAndroid Build Coastguard Worker          vfmsub231ps  %ymm12, %ymm10, %ymm11
574*9880d681SAndroid Build Coastguard Worker
575*9880d681SAndroid Build Coastguard Worker// CHECK: vfmsub231ps  (%rax), %ymm10, %ymm11
576*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xba,0x18]
577*9880d681SAndroid Build Coastguard Worker          vfmsub231ps  (%rax), %ymm10, %ymm11
578*9880d681SAndroid Build Coastguard Worker
579*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd132pd  %ymm12, %ymm10, %ymm11
580*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0x9c,0xdc]
581*9880d681SAndroid Build Coastguard Worker          vfnmadd132pd  %ymm12, %ymm10, %ymm11
582*9880d681SAndroid Build Coastguard Worker
583*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd132pd  (%rax), %ymm10, %ymm11
584*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0x9c,0x18]
585*9880d681SAndroid Build Coastguard Worker          vfnmadd132pd  (%rax), %ymm10, %ymm11
586*9880d681SAndroid Build Coastguard Worker
587*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd132ps  %ymm12, %ymm10, %ymm11
588*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0x9c,0xdc]
589*9880d681SAndroid Build Coastguard Worker          vfnmadd132ps  %ymm12, %ymm10, %ymm11
590*9880d681SAndroid Build Coastguard Worker
591*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd132ps  (%rax), %ymm10, %ymm11
592*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0x9c,0x18]
593*9880d681SAndroid Build Coastguard Worker          vfnmadd132ps  (%rax), %ymm10, %ymm11
594*9880d681SAndroid Build Coastguard Worker
595*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd213pd  %ymm12, %ymm10, %ymm11
596*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xac,0xdc]
597*9880d681SAndroid Build Coastguard Worker          vfnmadd213pd  %ymm12, %ymm10, %ymm11
598*9880d681SAndroid Build Coastguard Worker
599*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd213pd  (%rax), %ymm10, %ymm11
600*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xac,0x18]
601*9880d681SAndroid Build Coastguard Worker          vfnmadd213pd  (%rax), %ymm10, %ymm11
602*9880d681SAndroid Build Coastguard Worker
603*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd213ps  %ymm12, %ymm10, %ymm11
604*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xac,0xdc]
605*9880d681SAndroid Build Coastguard Worker          vfnmadd213ps  %ymm12, %ymm10, %ymm11
606*9880d681SAndroid Build Coastguard Worker
607*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd213ps  (%rax), %ymm10, %ymm11
608*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xac,0x18]
609*9880d681SAndroid Build Coastguard Worker          vfnmadd213ps  (%rax), %ymm10, %ymm11
610*9880d681SAndroid Build Coastguard Worker
611*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd231pd  %ymm12, %ymm10, %ymm11
612*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xbc,0xdc]
613*9880d681SAndroid Build Coastguard Worker          vfnmadd231pd  %ymm12, %ymm10, %ymm11
614*9880d681SAndroid Build Coastguard Worker
615*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd231pd  (%rax), %ymm10, %ymm11
616*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xbc,0x18]
617*9880d681SAndroid Build Coastguard Worker          vfnmadd231pd  (%rax), %ymm10, %ymm11
618*9880d681SAndroid Build Coastguard Worker
619*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd231ps  %ymm12, %ymm10, %ymm11
620*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xbc,0xdc]
621*9880d681SAndroid Build Coastguard Worker          vfnmadd231ps  %ymm12, %ymm10, %ymm11
622*9880d681SAndroid Build Coastguard Worker
623*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmadd231ps  (%rax), %ymm10, %ymm11
624*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xbc,0x18]
625*9880d681SAndroid Build Coastguard Worker          vfnmadd231ps  (%rax), %ymm10, %ymm11
626*9880d681SAndroid Build Coastguard Worker
627*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub132pd  %ymm12, %ymm10, %ymm11
628*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0x9e,0xdc]
629*9880d681SAndroid Build Coastguard Worker          vfnmsub132pd  %ymm12, %ymm10, %ymm11
630*9880d681SAndroid Build Coastguard Worker
631*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub132pd  (%rax), %ymm10, %ymm11
632*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0x9e,0x18]
633*9880d681SAndroid Build Coastguard Worker          vfnmsub132pd  (%rax), %ymm10, %ymm11
634*9880d681SAndroid Build Coastguard Worker
635*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub132ps  %ymm12, %ymm10, %ymm11
636*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0x9e,0xdc]
637*9880d681SAndroid Build Coastguard Worker          vfnmsub132ps  %ymm12, %ymm10, %ymm11
638*9880d681SAndroid Build Coastguard Worker
639*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub132ps  (%rax), %ymm10, %ymm11
640*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0x9e,0x18]
641*9880d681SAndroid Build Coastguard Worker          vfnmsub132ps  (%rax), %ymm10, %ymm11
642*9880d681SAndroid Build Coastguard Worker
643*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub213pd  %ymm12, %ymm10, %ymm11
644*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xae,0xdc]
645*9880d681SAndroid Build Coastguard Worker          vfnmsub213pd  %ymm12, %ymm10, %ymm11
646*9880d681SAndroid Build Coastguard Worker
647*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub213pd  (%rax), %ymm10, %ymm11
648*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xae,0x18]
649*9880d681SAndroid Build Coastguard Worker          vfnmsub213pd  (%rax), %ymm10, %ymm11
650*9880d681SAndroid Build Coastguard Worker
651*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub213ps  %ymm12, %ymm10, %ymm11
652*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xae,0xdc]
653*9880d681SAndroid Build Coastguard Worker          vfnmsub213ps  %ymm12, %ymm10, %ymm11
654*9880d681SAndroid Build Coastguard Worker
655*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub213ps  (%rax), %ymm10, %ymm11
656*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xae,0x18]
657*9880d681SAndroid Build Coastguard Worker          vfnmsub213ps  (%rax), %ymm10, %ymm11
658*9880d681SAndroid Build Coastguard Worker
659*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub231pd  %ymm12, %ymm10, %ymm11
660*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0xad,0xbe,0xdc]
661*9880d681SAndroid Build Coastguard Worker          vfnmsub231pd  %ymm12, %ymm10, %ymm11
662*9880d681SAndroid Build Coastguard Worker
663*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub231pd  (%rax), %ymm10, %ymm11
664*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0xad,0xbe,0x18]
665*9880d681SAndroid Build Coastguard Worker          vfnmsub231pd  (%rax), %ymm10, %ymm11
666*9880d681SAndroid Build Coastguard Worker
667*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub231ps  %ymm12, %ymm10, %ymm11
668*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x42,0x2d,0xbe,0xdc]
669*9880d681SAndroid Build Coastguard Worker          vfnmsub231ps  %ymm12, %ymm10, %ymm11
670*9880d681SAndroid Build Coastguard Worker
671*9880d681SAndroid Build Coastguard Worker// CHECK: vfnmsub231ps  (%rax), %ymm10, %ymm11
672*9880d681SAndroid Build Coastguard Worker// CHECK: encoding: [0xc4,0x62,0x2d,0xbe,0x18]
673*9880d681SAndroid Build Coastguard Worker          vfnmsub231ps  (%rax), %ymm10, %ymm11
674*9880d681SAndroid Build Coastguard Worker
675