1# Check 64bit AVX512F-RCIG instructions
2
3	.allow_index_reg
4	.text
5_start:
6	vcmpeqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
7	vcmpeq_oqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
8	vcmpeq_ospd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
9	vcmpeq_uqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
10	vcmpeq_uspd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
11	vcmpfalsepd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
12	vcmpfalse_oqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
13	vcmpfalse_ospd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
14	vcmpgepd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
15	vcmpge_oqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
16	vcmpge_ospd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
17	vcmpgtpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
18	vcmpgt_oqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
19	vcmpgt_ospd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
20	vcmplepd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
21	vcmple_oqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
22	vcmple_ospd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
23	vcmpltpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
24	vcmplt_oqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
25	vcmplt_ospd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
26	vcmpneqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
27	vcmpneq_oqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
28	vcmpneq_ospd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
29	vcmpneq_uqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
30	vcmpneq_uspd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
31	vcmpngepd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
32	vcmpnge_uqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
33	vcmpnge_uspd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
34	vcmpngtpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
35	vcmpngt_uqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
36	vcmpngt_uspd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
37	vcmpnlepd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
38	vcmpnle_uqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
39	vcmpnle_uspd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
40	vcmpnltpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
41	vcmpnlt_uqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
42	vcmpnlt_uspd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
43	vcmpordpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
44	vcmpord_qpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
45	vcmpord_spd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
46	vcmptruepd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
47	vcmptrue_uqpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
48	vcmptrue_uspd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
49	vcmpunordpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
50	vcmpunord_qpd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
51	vcmpunord_spd	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
52	vcmppd	$0xab, {sae}, %zmm29, %zmm30, %k5	 # AVX512F
53	vcmppd	$123, {sae}, %zmm29, %zmm30, %k5	 # AVX512F
54	vcmpeqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
55	vcmpeq_oqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
56	vcmpeq_osps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
57	vcmpeq_uqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
58	vcmpeq_usps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
59	vcmpfalseps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
60	vcmpfalse_oqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
61	vcmpfalse_osps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
62	vcmpgeps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
63	vcmpge_oqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
64	vcmpge_osps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
65	vcmpgtps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
66	vcmpgt_oqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
67	vcmpgt_osps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
68	vcmpleps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
69	vcmple_oqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
70	vcmple_osps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
71	vcmpltps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
72	vcmplt_oqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
73	vcmplt_osps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
74	vcmpneqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
75	vcmpneq_oqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
76	vcmpneq_osps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
77	vcmpneq_uqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
78	vcmpneq_usps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
79	vcmpngeps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
80	vcmpnge_uqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
81	vcmpnge_usps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
82	vcmpngtps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
83	vcmpngt_uqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
84	vcmpngt_usps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
85	vcmpnleps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
86	vcmpnle_uqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
87	vcmpnle_usps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
88	vcmpnltps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
89	vcmpnlt_uqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
90	vcmpnlt_usps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
91	vcmpordps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
92	vcmpord_qps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
93	vcmpord_sps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
94	vcmptrueps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
95	vcmptrue_uqps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
96	vcmptrue_usps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
97	vcmpunordps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
98	vcmpunord_qps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
99	vcmpunord_sps	{sae}, %zmm29, %zmm30, %k5	 # AVX512F
100	vcmpps	$0xab, {sae}, %zmm29, %zmm30, %k5	 # AVX512F
101	vcmpps	$123, {sae}, %zmm29, %zmm30, %k5	 # AVX512F
102	vcmpeqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
103	vcmpeq_oqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
104	vcmpeq_ossd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
105	vcmpeq_uqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
106	vcmpeq_ussd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
107	vcmpfalsesd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
108	vcmpfalse_oqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
109	vcmpfalse_ossd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
110	vcmpgesd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
111	vcmpge_oqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
112	vcmpge_ossd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
113	vcmpgtsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
114	vcmpgt_oqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
115	vcmpgt_ossd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
116	vcmplesd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
117	vcmple_oqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
118	vcmple_ossd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
119	vcmpltsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
120	vcmplt_oqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
121	vcmplt_ossd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
122	vcmpneqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
123	vcmpneq_oqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
124	vcmpneq_ossd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
125	vcmpneq_uqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
126	vcmpneq_ussd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
127	vcmpngesd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
128	vcmpnge_uqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
129	vcmpnge_ussd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
130	vcmpngtsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
131	vcmpngt_uqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
132	vcmpngt_ussd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
133	vcmpnlesd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
134	vcmpnle_uqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
135	vcmpnle_ussd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
136	vcmpnltsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
137	vcmpnlt_uqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
138	vcmpnlt_ussd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
139	vcmpordsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
140	vcmpord_qsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
141	vcmpord_ssd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
142	vcmptruesd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
143	vcmptrue_uqsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
144	vcmptrue_ussd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
145	vcmpunordsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
146	vcmpunord_qsd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
147	vcmpunord_ssd	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
148	vcmpsd	$0xab, {sae}, %xmm28, %xmm29, %k5	 # AVX512F
149	vcmpsd	$123, {sae}, %xmm28, %xmm29, %k5	 # AVX512F
150	vcmpeqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
151	vcmpeq_oqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
152	vcmpeq_osss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
153	vcmpeq_uqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
154	vcmpeq_usss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
155	vcmpfalsess	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
156	vcmpfalse_oqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
157	vcmpfalse_osss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
158	vcmpgess	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
159	vcmpge_oqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
160	vcmpge_osss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
161	vcmpgtss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
162	vcmpgt_oqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
163	vcmpgt_osss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
164	vcmpless	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
165	vcmple_oqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
166	vcmple_osss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
167	vcmpltss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
168	vcmplt_oqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
169	vcmplt_osss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
170	vcmpneqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
171	vcmpneq_oqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
172	vcmpneq_osss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
173	vcmpneq_uqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
174	vcmpneq_usss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
175	vcmpngess	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
176	vcmpnge_uqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
177	vcmpnge_usss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
178	vcmpngtss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
179	vcmpngt_uqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
180	vcmpngt_usss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
181	vcmpnless	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
182	vcmpnle_uqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
183	vcmpnle_usss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
184	vcmpnltss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
185	vcmpnlt_uqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
186	vcmpnlt_usss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
187	vcmpordss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
188	vcmpord_qss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
189	vcmpord_sss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
190	vcmptruess	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
191	vcmptrue_uqss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
192	vcmptrue_usss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
193	vcmpunordss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
194	vcmpunord_qss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
195	vcmpunord_sss	{sae}, %xmm28, %xmm29, %k5	 # AVX512F
196	vcmpss	$0xab, {sae}, %xmm28, %xmm29, %k5	 # AVX512F
197	vcmpss	$123, {sae}, %xmm28, %xmm29, %k5	 # AVX512F
198	vcomisd	{sae}, %xmm29, %xmm30	 # AVX512F
199	vcomiss	{sae}, %xmm29, %xmm30	 # AVX512F
200	vcvtph2ps	{sae}, %ymm29, %zmm30	 # AVX512F
201	vcvtps2pd	{sae}, %ymm29, %zmm30	 # AVX512F
202	vcvtps2ph	$0xab, {sae}, %zmm29, %ymm30	 # AVX512F
203	vcvtps2ph	$123, {sae}, %zmm29, %ymm30	 # AVX512F
204	vcvtss2sd	{sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
205	vcvttpd2dq	{sae}, %zmm29, %ymm30	 # AVX512F
206	vcvttps2dq	{sae}, %zmm29, %zmm30	 # AVX512F
207	vcvttsd2si	{sae}, %xmm30, %eax	 # AVX512F
208	vcvttsd2si	{sae}, %xmm30, %ebp	 # AVX512F
209	vcvttsd2si	{sae}, %xmm30, %r13d	 # AVX512F
210	vcvttsd2si	{sae}, %xmm30, %rax	 # AVX512F
211	vcvttsd2si	{sae}, %xmm30, %r8	 # AVX512F
212	vcvttss2si	{sae}, %xmm30, %eax	 # AVX512F
213	vcvttss2si	{sae}, %xmm30, %ebp	 # AVX512F
214	vcvttss2si	{sae}, %xmm30, %r13d	 # AVX512F
215	vcvttss2si	{sae}, %xmm30, %rax	 # AVX512F
216	vcvttss2si	{sae}, %xmm30, %r8	 # AVX512F
217	vgetexppd	{sae}, %zmm29, %zmm30	 # AVX512F
218	vgetexpps	{sae}, %zmm29, %zmm30	 # AVX512F
219	vgetexpsd	{sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
220	vgetexpss	{sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
221	vgetmantpd	$0xab, {sae}, %zmm29, %zmm30	 # AVX512F
222	vgetmantpd	$123, {sae}, %zmm29, %zmm30	 # AVX512F
223	vgetmantps	$0xab, {sae}, %zmm29, %zmm30	 # AVX512F
224	vgetmantps	$123, {sae}, %zmm29, %zmm30	 # AVX512F
225	vgetmantsd	$0xab, {sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
226	vgetmantsd	$123, {sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
227	vgetmantss	$0xab, {sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
228	vgetmantss	$123, {sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
229	vmaxpd	{sae}, %zmm28, %zmm29, %zmm30	 # AVX512F
230	vmaxps	{sae}, %zmm28, %zmm29, %zmm30	 # AVX512F
231	vmaxsd	{sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
232	vmaxss	{sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
233	vminpd	{sae}, %zmm28, %zmm29, %zmm30	 # AVX512F
234	vminps	{sae}, %zmm28, %zmm29, %zmm30	 # AVX512F
235	vminsd	{sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
236	vminss	{sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
237	vucomisd	{sae}, %xmm29, %xmm30	 # AVX512F
238	vucomiss	{sae}, %xmm29, %xmm30	 # AVX512F
239	vfixupimmpd	$0xab, {sae}, %zmm28, %zmm29, %zmm30	 # AVX512F
240	vfixupimmpd	$123, {sae}, %zmm28, %zmm29, %zmm30	 # AVX512F
241	vfixupimmps	$0xab, {sae}, %zmm28, %zmm29, %zmm30	 # AVX512F
242	vfixupimmps	$123, {sae}, %zmm28, %zmm29, %zmm30	 # AVX512F
243	vfixupimmsd	$0xab, {sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
244	vfixupimmsd	$123, {sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
245	vfixupimmss	$0xab, {sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
246	vfixupimmss	$123, {sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
247	vrndscalepd	$0xab, {sae}, %zmm29, %zmm30	 # AVX512F
248	vrndscalepd	$123, {sae}, %zmm29, %zmm30	 # AVX512F
249	vrndscaleps	$0xab, {sae}, %zmm29, %zmm30	 # AVX512F
250	vrndscaleps	$123, {sae}, %zmm29, %zmm30	 # AVX512F
251	vrndscalesd	$0xab, {sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
252	vrndscalesd	$123, {sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
253	vrndscaless	$0xab, {sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
254	vrndscaless	$123, {sae}, %xmm28, %xmm29, %xmm30	 # AVX512F
255	vcvttpd2udq	{sae}, %zmm29, %ymm30	 # AVX512F
256	vcvttps2udq	{sae}, %zmm29, %zmm30	 # AVX512F
257	vcvttsd2usi	{sae}, %xmm30, %eax	 # AVX512F
258	vcvttsd2usi	{sae}, %xmm30, %ebp	 # AVX512F
259	vcvttsd2usi	{sae}, %xmm30, %r13d	 # AVX512F
260	vcvttsd2usi	{sae}, %xmm30, %rax	 # AVX512F
261	vcvttsd2usi	{sae}, %xmm30, %r8	 # AVX512F
262	vcvttss2usi	{sae}, %xmm30, %eax	 # AVX512F
263	vcvttss2usi	{sae}, %xmm30, %ebp	 # AVX512F
264	vcvttss2usi	{sae}, %xmm30, %r13d	 # AVX512F
265	vcvttss2usi	{sae}, %xmm30, %rax	 # AVX512F
266	vcvttss2usi	{sae}, %xmm30, %r8	 # AVX512F
267
268	.intel_syntax noprefix
269	vcmpeqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
270	vcmpeq_oqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
271	vcmpeq_ospd	k5, zmm30, zmm29, {sae}	 # AVX512F
272	vcmpeq_uqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
273	vcmpeq_uspd	k5, zmm30, zmm29, {sae}	 # AVX512F
274	vcmpfalsepd	k5, zmm30, zmm29, {sae}	 # AVX512F
275	vcmpfalse_oqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
276	vcmpfalse_ospd	k5, zmm30, zmm29, {sae}	 # AVX512F
277	vcmpgepd	k5, zmm30, zmm29, {sae}	 # AVX512F
278	vcmpge_oqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
279	vcmpge_ospd	k5, zmm30, zmm29, {sae}	 # AVX512F
280	vcmpgtpd	k5, zmm30, zmm29, {sae}	 # AVX512F
281	vcmpgt_oqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
282	vcmpgt_ospd	k5, zmm30, zmm29, {sae}	 # AVX512F
283	vcmplepd	k5, zmm30, zmm29, {sae}	 # AVX512F
284	vcmple_oqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
285	vcmple_ospd	k5, zmm30, zmm29, {sae}	 # AVX512F
286	vcmpltpd	k5, zmm30, zmm29, {sae}	 # AVX512F
287	vcmplt_oqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
288	vcmplt_ospd	k5, zmm30, zmm29, {sae}	 # AVX512F
289	vcmpneqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
290	vcmpneq_oqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
291	vcmpneq_ospd	k5, zmm30, zmm29, {sae}	 # AVX512F
292	vcmpneq_uqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
293	vcmpneq_uspd	k5, zmm30, zmm29, {sae}	 # AVX512F
294	vcmpngepd	k5, zmm30, zmm29, {sae}	 # AVX512F
295	vcmpnge_uqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
296	vcmpnge_uspd	k5, zmm30, zmm29, {sae}	 # AVX512F
297	vcmpngtpd	k5, zmm30, zmm29, {sae}	 # AVX512F
298	vcmpngt_uqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
299	vcmpngt_uspd	k5, zmm30, zmm29, {sae}	 # AVX512F
300	vcmpnlepd	k5, zmm30, zmm29, {sae}	 # AVX512F
301	vcmpnle_uqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
302	vcmpnle_uspd	k5, zmm30, zmm29, {sae}	 # AVX512F
303	vcmpnltpd	k5, zmm30, zmm29, {sae}	 # AVX512F
304	vcmpnlt_uqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
305	vcmpnlt_uspd	k5, zmm30, zmm29, {sae}	 # AVX512F
306	vcmpordpd	k5, zmm30, zmm29, {sae}	 # AVX512F
307	vcmpord_qpd	k5, zmm30, zmm29, {sae}	 # AVX512F
308	vcmpord_spd	k5, zmm30, zmm29, {sae}	 # AVX512F
309	vcmptruepd	k5, zmm30, zmm29, {sae}	 # AVX512F
310	vcmptrue_uqpd	k5, zmm30, zmm29, {sae}	 # AVX512F
311	vcmptrue_uspd	k5, zmm30, zmm29, {sae}	 # AVX512F
312	vcmpunordpd	k5, zmm30, zmm29, {sae}	 # AVX512F
313	vcmpunord_qpd	k5, zmm30, zmm29, {sae}	 # AVX512F
314	vcmpunord_spd	k5, zmm30, zmm29, {sae}	 # AVX512F
315	vcmppd	k5, zmm30, zmm29, {sae}, 0xab	 # AVX512F
316	vcmppd	k5, zmm30, zmm29, {sae}, 123	 # AVX512F
317	vcmpeqps	k5, zmm30, zmm29, {sae}	 # AVX512F
318	vcmpeq_oqps	k5, zmm30, zmm29, {sae}	 # AVX512F
319	vcmpeq_osps	k5, zmm30, zmm29, {sae}	 # AVX512F
320	vcmpeq_uqps	k5, zmm30, zmm29, {sae}	 # AVX512F
321	vcmpeq_usps	k5, zmm30, zmm29, {sae}	 # AVX512F
322	vcmpfalseps	k5, zmm30, zmm29, {sae}	 # AVX512F
323	vcmpfalse_oqps	k5, zmm30, zmm29, {sae}	 # AVX512F
324	vcmpfalse_osps	k5, zmm30, zmm29, {sae}	 # AVX512F
325	vcmpgeps	k5, zmm30, zmm29, {sae}	 # AVX512F
326	vcmpge_oqps	k5, zmm30, zmm29, {sae}	 # AVX512F
327	vcmpge_osps	k5, zmm30, zmm29, {sae}	 # AVX512F
328	vcmpgtps	k5, zmm30, zmm29, {sae}	 # AVX512F
329	vcmpgt_oqps	k5, zmm30, zmm29, {sae}	 # AVX512F
330	vcmpgt_osps	k5, zmm30, zmm29, {sae}	 # AVX512F
331	vcmpleps	k5, zmm30, zmm29, {sae}	 # AVX512F
332	vcmple_oqps	k5, zmm30, zmm29, {sae}	 # AVX512F
333	vcmple_osps	k5, zmm30, zmm29, {sae}	 # AVX512F
334	vcmpltps	k5, zmm30, zmm29, {sae}	 # AVX512F
335	vcmplt_oqps	k5, zmm30, zmm29, {sae}	 # AVX512F
336	vcmplt_osps	k5, zmm30, zmm29, {sae}	 # AVX512F
337	vcmpneqps	k5, zmm30, zmm29, {sae}	 # AVX512F
338	vcmpneq_oqps	k5, zmm30, zmm29, {sae}	 # AVX512F
339	vcmpneq_osps	k5, zmm30, zmm29, {sae}	 # AVX512F
340	vcmpneq_uqps	k5, zmm30, zmm29, {sae}	 # AVX512F
341	vcmpneq_usps	k5, zmm30, zmm29, {sae}	 # AVX512F
342	vcmpngeps	k5, zmm30, zmm29, {sae}	 # AVX512F
343	vcmpnge_uqps	k5, zmm30, zmm29, {sae}	 # AVX512F
344	vcmpnge_usps	k5, zmm30, zmm29, {sae}	 # AVX512F
345	vcmpngtps	k5, zmm30, zmm29, {sae}	 # AVX512F
346	vcmpngt_uqps	k5, zmm30, zmm29, {sae}	 # AVX512F
347	vcmpngt_usps	k5, zmm30, zmm29, {sae}	 # AVX512F
348	vcmpnleps	k5, zmm30, zmm29, {sae}	 # AVX512F
349	vcmpnle_uqps	k5, zmm30, zmm29, {sae}	 # AVX512F
350	vcmpnle_usps	k5, zmm30, zmm29, {sae}	 # AVX512F
351	vcmpnltps	k5, zmm30, zmm29, {sae}	 # AVX512F
352	vcmpnlt_uqps	k5, zmm30, zmm29, {sae}	 # AVX512F
353	vcmpnlt_usps	k5, zmm30, zmm29, {sae}	 # AVX512F
354	vcmpordps	k5, zmm30, zmm29, {sae}	 # AVX512F
355	vcmpord_qps	k5, zmm30, zmm29, {sae}	 # AVX512F
356	vcmpord_sps	k5, zmm30, zmm29, {sae}	 # AVX512F
357	vcmptrueps	k5, zmm30, zmm29, {sae}	 # AVX512F
358	vcmptrue_uqps	k5, zmm30, zmm29, {sae}	 # AVX512F
359	vcmptrue_usps	k5, zmm30, zmm29, {sae}	 # AVX512F
360	vcmpunordps	k5, zmm30, zmm29, {sae}	 # AVX512F
361	vcmpunord_qps	k5, zmm30, zmm29, {sae}	 # AVX512F
362	vcmpunord_sps	k5, zmm30, zmm29, {sae}	 # AVX512F
363	vcmpps	k5, zmm30, zmm29, {sae}, 0xab	 # AVX512F
364	vcmpps	k5, zmm30, zmm29, {sae}, 123	 # AVX512F
365	vcmpeqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
366	vcmpeq_oqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
367	vcmpeq_ossd	k5, xmm29, xmm28, {sae}	 # AVX512F
368	vcmpeq_uqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
369	vcmpeq_ussd	k5, xmm29, xmm28, {sae}	 # AVX512F
370	vcmpfalsesd	k5, xmm29, xmm28, {sae}	 # AVX512F
371	vcmpfalse_oqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
372	vcmpfalse_ossd	k5, xmm29, xmm28, {sae}	 # AVX512F
373	vcmpgesd	k5, xmm29, xmm28, {sae}	 # AVX512F
374	vcmpge_oqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
375	vcmpge_ossd	k5, xmm29, xmm28, {sae}	 # AVX512F
376	vcmpgtsd	k5, xmm29, xmm28, {sae}	 # AVX512F
377	vcmpgt_oqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
378	vcmpgt_ossd	k5, xmm29, xmm28, {sae}	 # AVX512F
379	vcmplesd	k5, xmm29, xmm28, {sae}	 # AVX512F
380	vcmple_oqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
381	vcmple_ossd	k5, xmm29, xmm28, {sae}	 # AVX512F
382	vcmpltsd	k5, xmm29, xmm28, {sae}	 # AVX512F
383	vcmplt_oqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
384	vcmplt_ossd	k5, xmm29, xmm28, {sae}	 # AVX512F
385	vcmpneqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
386	vcmpneq_oqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
387	vcmpneq_ossd	k5, xmm29, xmm28, {sae}	 # AVX512F
388	vcmpneq_uqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
389	vcmpneq_ussd	k5, xmm29, xmm28, {sae}	 # AVX512F
390	vcmpngesd	k5, xmm29, xmm28, {sae}	 # AVX512F
391	vcmpnge_uqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
392	vcmpnge_ussd	k5, xmm29, xmm28, {sae}	 # AVX512F
393	vcmpngtsd	k5, xmm29, xmm28, {sae}	 # AVX512F
394	vcmpngt_uqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
395	vcmpngt_ussd	k5, xmm29, xmm28, {sae}	 # AVX512F
396	vcmpnlesd	k5, xmm29, xmm28, {sae}	 # AVX512F
397	vcmpnle_uqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
398	vcmpnle_ussd	k5, xmm29, xmm28, {sae}	 # AVX512F
399	vcmpnltsd	k5, xmm29, xmm28, {sae}	 # AVX512F
400	vcmpnlt_uqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
401	vcmpnlt_ussd	k5, xmm29, xmm28, {sae}	 # AVX512F
402	vcmpordsd	k5, xmm29, xmm28, {sae}	 # AVX512F
403	vcmpord_qsd	k5, xmm29, xmm28, {sae}	 # AVX512F
404	vcmpord_ssd	k5, xmm29, xmm28, {sae}	 # AVX512F
405	vcmptruesd	k5, xmm29, xmm28, {sae}	 # AVX512F
406	vcmptrue_uqsd	k5, xmm29, xmm28, {sae}	 # AVX512F
407	vcmptrue_ussd	k5, xmm29, xmm28, {sae}	 # AVX512F
408	vcmpunordsd	k5, xmm29, xmm28, {sae}	 # AVX512F
409	vcmpunord_qsd	k5, xmm29, xmm28, {sae}	 # AVX512F
410	vcmpunord_ssd	k5, xmm29, xmm28, {sae}	 # AVX512F
411	vcmpsd	k5, xmm29, xmm28, {sae}, 0xab	 # AVX512F
412	vcmpsd	k5, xmm29, xmm28, {sae}, 123	 # AVX512F
413	vcmpeqss	k5, xmm29, xmm28, {sae}	 # AVX512F
414	vcmpeq_oqss	k5, xmm29, xmm28, {sae}	 # AVX512F
415	vcmpeq_osss	k5, xmm29, xmm28, {sae}	 # AVX512F
416	vcmpeq_uqss	k5, xmm29, xmm28, {sae}	 # AVX512F
417	vcmpeq_usss	k5, xmm29, xmm28, {sae}	 # AVX512F
418	vcmpfalsess	k5, xmm29, xmm28, {sae}	 # AVX512F
419	vcmpfalse_oqss	k5, xmm29, xmm28, {sae}	 # AVX512F
420	vcmpfalse_osss	k5, xmm29, xmm28, {sae}	 # AVX512F
421	vcmpgess	k5, xmm29, xmm28, {sae}	 # AVX512F
422	vcmpge_oqss	k5, xmm29, xmm28, {sae}	 # AVX512F
423	vcmpge_osss	k5, xmm29, xmm28, {sae}	 # AVX512F
424	vcmpgtss	k5, xmm29, xmm28, {sae}	 # AVX512F
425	vcmpgt_oqss	k5, xmm29, xmm28, {sae}	 # AVX512F
426	vcmpgt_osss	k5, xmm29, xmm28, {sae}	 # AVX512F
427	vcmpless	k5, xmm29, xmm28, {sae}	 # AVX512F
428	vcmple_oqss	k5, xmm29, xmm28, {sae}	 # AVX512F
429	vcmple_osss	k5, xmm29, xmm28, {sae}	 # AVX512F
430	vcmpltss	k5, xmm29, xmm28, {sae}	 # AVX512F
431	vcmplt_oqss	k5, xmm29, xmm28, {sae}	 # AVX512F
432	vcmplt_osss	k5, xmm29, xmm28, {sae}	 # AVX512F
433	vcmpneqss	k5, xmm29, xmm28, {sae}	 # AVX512F
434	vcmpneq_oqss	k5, xmm29, xmm28, {sae}	 # AVX512F
435	vcmpneq_osss	k5, xmm29, xmm28, {sae}	 # AVX512F
436	vcmpneq_uqss	k5, xmm29, xmm28, {sae}	 # AVX512F
437	vcmpneq_usss	k5, xmm29, xmm28, {sae}	 # AVX512F
438	vcmpngess	k5, xmm29, xmm28, {sae}	 # AVX512F
439	vcmpnge_uqss	k5, xmm29, xmm28, {sae}	 # AVX512F
440	vcmpnge_usss	k5, xmm29, xmm28, {sae}	 # AVX512F
441	vcmpngtss	k5, xmm29, xmm28, {sae}	 # AVX512F
442	vcmpngt_uqss	k5, xmm29, xmm28, {sae}	 # AVX512F
443	vcmpngt_usss	k5, xmm29, xmm28, {sae}	 # AVX512F
444	vcmpnless	k5, xmm29, xmm28, {sae}	 # AVX512F
445	vcmpnle_uqss	k5, xmm29, xmm28, {sae}	 # AVX512F
446	vcmpnle_usss	k5, xmm29, xmm28, {sae}	 # AVX512F
447	vcmpnltss	k5, xmm29, xmm28, {sae}	 # AVX512F
448	vcmpnlt_uqss	k5, xmm29, xmm28, {sae}	 # AVX512F
449	vcmpnlt_usss	k5, xmm29, xmm28, {sae}	 # AVX512F
450	vcmpordss	k5, xmm29, xmm28, {sae}	 # AVX512F
451	vcmpord_qss	k5, xmm29, xmm28, {sae}	 # AVX512F
452	vcmpord_sss	k5, xmm29, xmm28, {sae}	 # AVX512F
453	vcmptruess	k5, xmm29, xmm28, {sae}	 # AVX512F
454	vcmptrue_uqss	k5, xmm29, xmm28, {sae}	 # AVX512F
455	vcmptrue_usss	k5, xmm29, xmm28, {sae}	 # AVX512F
456	vcmpunordss	k5, xmm29, xmm28, {sae}	 # AVX512F
457	vcmpunord_qss	k5, xmm29, xmm28, {sae}	 # AVX512F
458	vcmpunord_sss	k5, xmm29, xmm28, {sae}	 # AVX512F
459	vcmpss	k5, xmm29, xmm28, {sae}, 0xab	 # AVX512F
460	vcmpss	k5, xmm29, xmm28, {sae}, 123	 # AVX512F
461	vcomisd	xmm30, xmm29, {sae}	 # AVX512F
462	vcomiss	xmm30, xmm29, {sae}	 # AVX512F
463	vcvtph2ps	zmm30, ymm29, {sae}	 # AVX512F
464	vcvtps2pd	zmm30, ymm29, {sae}	 # AVX512F
465	vcvtps2ph	ymm30, zmm29, {sae}, 0xab	 # AVX512F
466	vcvtps2ph	ymm30, zmm29, {sae}, 123	 # AVX512F
467	vcvtss2sd	xmm30, xmm29, xmm28, {sae}	 # AVX512F
468	vcvttpd2dq	ymm30, zmm29, {sae}	 # AVX512F
469	vcvttps2dq	zmm30, zmm29, {sae}	 # AVX512F
470	vcvttsd2si	eax, xmm30, {sae}	 # AVX512F
471	vcvttsd2si	ebp, xmm30, {sae}	 # AVX512F
472	vcvttsd2si	r13d, xmm30, {sae}	 # AVX512F
473	vcvttsd2si	rax, xmm30, {sae}	 # AVX512F
474	vcvttsd2si	r8, xmm30, {sae}	 # AVX512F
475	vcvttss2si	eax, xmm30, {sae}	 # AVX512F
476	vcvttss2si	ebp, xmm30, {sae}	 # AVX512F
477	vcvttss2si	r13d, xmm30, {sae}	 # AVX512F
478	vcvttss2si	rax, xmm30, {sae}	 # AVX512F
479	vcvttss2si	r8, xmm30, {sae}	 # AVX512F
480	vgetexppd	zmm30, zmm29, {sae}	 # AVX512F
481	vgetexpps	zmm30, zmm29, {sae}	 # AVX512F
482	vgetexpsd	xmm30, xmm29, xmm28, {sae}	 # AVX512F
483	vgetexpss	xmm30, xmm29, xmm28, {sae}	 # AVX512F
484	vgetmantpd	zmm30, zmm29, {sae}, 0xab	 # AVX512F
485	vgetmantpd	zmm30, zmm29, {sae}, 123	 # AVX512F
486	vgetmantps	zmm30, zmm29, {sae}, 0xab	 # AVX512F
487	vgetmantps	zmm30, zmm29, {sae}, 123	 # AVX512F
488	vgetmantsd	xmm30, xmm29, xmm28, {sae}, 0xab	 # AVX512F
489	vgetmantsd	xmm30, xmm29, xmm28, {sae}, 123	 # AVX512F
490	vgetmantss	xmm30, xmm29, xmm28, {sae}, 0xab	 # AVX512F
491	vgetmantss	xmm30, xmm29, xmm28, {sae}, 123	 # AVX512F
492	vmaxpd	zmm30, zmm29, zmm28, {sae}	 # AVX512F
493	vmaxps	zmm30, zmm29, zmm28, {sae}	 # AVX512F
494	vmaxsd	xmm30, xmm29, xmm28, {sae}	 # AVX512F
495	vmaxss	xmm30, xmm29, xmm28, {sae}	 # AVX512F
496	vminpd	zmm30, zmm29, zmm28, {sae}	 # AVX512F
497	vminps	zmm30, zmm29, zmm28, {sae}	 # AVX512F
498	vminsd	xmm30, xmm29, xmm28, {sae}	 # AVX512F
499	vminss	xmm30, xmm29, xmm28, {sae}	 # AVX512F
500	vucomisd	xmm30, xmm29, {sae}	 # AVX512F
501	vucomiss	xmm30, xmm29, {sae}	 # AVX512F
502	vfixupimmpd	zmm30, zmm29, zmm28, {sae}, 0xab	 # AVX512F
503	vfixupimmpd	zmm30, zmm29, zmm28, {sae}, 123	 # AVX512F
504	vfixupimmps	zmm30, zmm29, zmm28, {sae}, 0xab	 # AVX512F
505	vfixupimmps	zmm30, zmm29, zmm28, {sae}, 123	 # AVX512F
506	vfixupimmsd	xmm30, xmm29, xmm28, {sae}, 0xab	 # AVX512F
507	vfixupimmsd	xmm30, xmm29, xmm28, {sae}, 123	 # AVX512F
508	vfixupimmss	xmm30, xmm29, xmm28, {sae}, 0xab	 # AVX512F
509	vfixupimmss	xmm30, xmm29, xmm28, {sae}, 123	 # AVX512F
510	vrndscalepd	zmm30, zmm29, {sae}, 0xab	 # AVX512F
511	vrndscalepd	zmm30, zmm29, {sae}, 123	 # AVX512F
512	vrndscaleps	zmm30, zmm29, {sae}, 0xab	 # AVX512F
513	vrndscaleps	zmm30, zmm29, {sae}, 123	 # AVX512F
514	vrndscalesd	xmm30, xmm29, xmm28, {sae}, 0xab	 # AVX512F
515	vrndscalesd	xmm30, xmm29, xmm28, {sae}, 123	 # AVX512F
516	vrndscaless	xmm30, xmm29, xmm28, {sae}, 0xab	 # AVX512F
517	vrndscaless	xmm30, xmm29, xmm28, {sae}, 123	 # AVX512F
518	vcvttpd2udq	ymm30, zmm29, {sae}	 # AVX512F
519	vcvttps2udq	zmm30, zmm29, {sae}	 # AVX512F
520	vcvttsd2usi	eax, xmm30, {sae}	 # AVX512F
521	vcvttsd2usi	ebp, xmm30, {sae}	 # AVX512F
522	vcvttsd2usi	r13d, xmm30, {sae}	 # AVX512F
523	vcvttsd2usi	rax, xmm30, {sae}	 # AVX512F
524	vcvttsd2usi	r8, xmm30, {sae}	 # AVX512F
525	vcvttss2usi	eax, xmm30, {sae}	 # AVX512F
526	vcvttss2usi	ebp, xmm30, {sae}	 # AVX512F
527	vcvttss2usi	r13d, xmm30, {sae}	 # AVX512F
528	vcvttss2usi	rax, xmm30, {sae}	 # AVX512F
529	vcvttss2usi	r8, xmm30, {sae}	 # AVX512F
530