llvm.org GIT mirror llvm / b0a3627
AVX-512: Added rrk, rrkz, rmk, rmkz, rmbk, rmbkz versions of AVX512 FP packed instructions, added encoding tests for them. By Robert Khazanov. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@203098 91177308-0d34-0410-b5e6-96231b3b80d8 Elena Demikhovsky 5 years ago
3 changed file(s) with 632 addition(s) and 17 deletion(s). Raw diff Collapse all Expand all
20512051 }
20522052
20532053 multiclass avx512_fp_packed opc, string OpcodeStr, SDNode OpNode,
2054 RegisterClass KRC,
20542055 RegisterClass RC, ValueType vt,
20552056 X86MemOperand x86memop, PatFrag mem_frag,
20562057 X86MemOperand x86scalar_mop, PatFrag scalar_mfrag,
20572058 string BrdcstStr,
20582059 Domain d, OpndItins itins, bit commutable> {
2059 let isCommutable = commutable in
2060 let isCommutable = commutable in {
20602061 def rr : PI
20612062 !strconcat(OpcodeStr, " \t{$src2, $src1, $dst|$dst, $src1, $src2}"),
20622063 [(set RC:$dst, (vt (OpNode RC:$src1, RC:$src2)))], itins.rr, d>,
20632064 EVEX_4V;
2065
2066 def rrk: PI
2067 !strconcat(OpcodeStr,
2068 " \t{$src2, $src1, $dst {${mask}} |$dst {${mask}}, $src1, $src2}"),
2069 [], itins.rr, d>, EVEX_4V, EVEX_K;
2070
2071 def rrkz: PI
2072 !strconcat(OpcodeStr,
2073 " \t{$src2, $src1, $dst {${mask}} {z}|$dst {${mask}} {z}, $src1, $src2}"),
2074 [], itins.rr, d>, EVEX_4V, EVEX_KZ;
2075 }
2076
20642077 let mayLoad = 1 in {
20652078 def rm : PI
20662079 !strconcat(OpcodeStr, " \t{$src2, $src1, $dst|$dst, $src1, $src2}"),
20672080 [(set RC:$dst, (OpNode RC:$src1, (mem_frag addr:$src2)))],
20682081 itins.rm, d>, EVEX_4V;
2082
20692083 def rmb : PI
20702084 (ins RC:$src1, x86scalar_mop:$src2),
20712085 !strconcat(OpcodeStr, " \t{${src2}", BrdcstStr,
2072 ", $src1, $dst|$dst, $src1, ${src2}", BrdcstStr, "}"),
2086 ", $src1, $dst|$dst, $src1, ${src2}", BrdcstStr, "}"),
20732087 [(set RC:$dst, (OpNode RC:$src1,
20742088 (vt (X86VBroadcast (scalar_mfrag addr:$src2)))))],
20752089 itins.rm, d>, EVEX_4V, EVEX_B;
2076 }
2077 }
2078
2079 defm VADDPSZ : avx512_fp_packed<0x58, "addps", fadd, VR512, v16f32, f512mem,
2090
2091 def rmk : PI
2092 (ins KRC:$mask, RC:$src1, x86memop:$src2), !strconcat(OpcodeStr,
2093 "\t{$src2, $src1, $dst {${mask}}|$dst {${mask}}, $src1, $src2}"),
2094 [], itins.rm, d>, EVEX_4V, EVEX_K;
2095
2096 def rmkz : PI
2097 (ins KRC:$mask, RC:$src1, x86memop:$src2), !strconcat(OpcodeStr,
2098 "\t{$src2, $src1, $dst {${mask}} {z}|$dst {${mask}} {z}, $src1, $src2}"),
2099 [], itins.rm, d>, EVEX_4V, EVEX_KZ;
2100
2101 def rmbk : PI
2102 (ins KRC:$mask, RC:$src1, x86scalar_mop:$src2), !strconcat(OpcodeStr,
2103 " \t{${src2}", BrdcstStr,
2104 ", $src1, $dst {${mask}}|$dst {${mask}}, $src1, ${src2}", BrdcstStr, "}"),
2105 [], itins.rm, d>, EVEX_4V, EVEX_B, EVEX_K;
2106
2107 def rmbkz : PI
2108 (ins KRC:$mask, RC:$src1, x86scalar_mop:$src2), !strconcat(OpcodeStr,
2109 " \t{${src2}", BrdcstStr,
2110 ", $src1, $dst {${mask}} {z}|$dst {${mask}} {z}, $src1, ${src2}",
2111 BrdcstStr, "}"),
2112 [], itins.rm, d>, EVEX_4V, EVEX_B, EVEX_KZ;
2113 }
2114 }
2115
2116 defm VADDPSZ : avx512_fp_packed<0x58, "addps", fadd, VK16WM, VR512, v16f32, f512mem,
20802117 memopv16f32, f32mem, loadf32, "{1to16}", SSEPackedSingle,
20812118 SSE_ALU_ITINS_P.s, 1>, EVEX_V512, PS, EVEX_CD8<32, CD8VF>;
20822119
2083 defm VADDPDZ : avx512_fp_packed<0x58, "addpd", fadd, VR512, v8f64, f512mem,
2120 defm VADDPDZ : avx512_fp_packed<0x58, "addpd", fadd, VK8WM, VR512, v8f64, f512mem,
20842121 memopv8f64, f64mem, loadf64, "{1to8}", SSEPackedDouble,
20852122 SSE_ALU_ITINS_P.d, 1>,
20862123 EVEX_V512, PD, VEX_W, EVEX_CD8<64, CD8VF>;
20872124
2088 defm VMULPSZ : avx512_fp_packed<0x59, "mulps", fmul, VR512, v16f32, f512mem,
2125 defm VMULPSZ : avx512_fp_packed<0x59, "mulps", fmul, VK16WM, VR512, v16f32, f512mem,
20892126 memopv16f32, f32mem, loadf32, "{1to16}", SSEPackedSingle,
20902127 SSE_ALU_ITINS_P.s, 1>, EVEX_V512, PS, EVEX_CD8<32, CD8VF>;
2091 defm VMULPDZ : avx512_fp_packed<0x59, "mulpd", fmul, VR512, v8f64, f512mem,
2128 defm VMULPDZ : avx512_fp_packed<0x59, "mulpd", fmul, VK8WM, VR512, v8f64, f512mem,
20922129 memopv8f64, f64mem, loadf64, "{1to8}", SSEPackedDouble,
20932130 SSE_ALU_ITINS_P.d, 1>,
20942131 EVEX_V512, PD, VEX_W, EVEX_CD8<64, CD8VF>;
20952132
2096 defm VMINPSZ : avx512_fp_packed<0x5D, "minps", X86fmin, VR512, v16f32, f512mem,
2133 defm VMINPSZ : avx512_fp_packed<0x5D, "minps", X86fmin, VK16WM, VR512, v16f32, f512mem,
20972134 memopv16f32, f32mem, loadf32, "{1to16}", SSEPackedSingle,
20982135 SSE_ALU_ITINS_P.s, 1>,
20992136 EVEX_V512, PS, EVEX_CD8<32, CD8VF>;
2100 defm VMAXPSZ : avx512_fp_packed<0x5F, "maxps", X86fmax, VR512, v16f32, f512mem,
2137 defm VMAXPSZ : avx512_fp_packed<0x5F, "maxps", X86fmax, VK16WM, VR512, v16f32, f512mem,
21012138 memopv16f32, f32mem, loadf32, "{1to16}", SSEPackedSingle,
21022139 SSE_ALU_ITINS_P.s, 1>,
21032140 EVEX_V512, PS, EVEX_CD8<32, CD8VF>;
21042141
2105 defm VMINPDZ : avx512_fp_packed<0x5D, "minpd", X86fmin, VR512, v8f64, f512mem,
2142 defm VMINPDZ : avx512_fp_packed<0x5D, "minpd", X86fmin, VK8WM, VR512, v8f64, f512mem,
21062143 memopv8f64, f64mem, loadf64, "{1to8}", SSEPackedDouble,
21072144 SSE_ALU_ITINS_P.d, 1>,
21082145 EVEX_V512, PD, VEX_W, EVEX_CD8<64, CD8VF>;
2109 defm VMAXPDZ : avx512_fp_packed<0x5F, "maxpd", X86fmax, VR512, v8f64, f512mem,
2146 defm VMAXPDZ : avx512_fp_packed<0x5F, "maxpd", X86fmax, VK8WM, VR512, v8f64, f512mem,
21102147 memopv8f64, f64mem, loadf64, "{1to8}", SSEPackedDouble,
21112148 SSE_ALU_ITINS_P.d, 1>,
21122149 EVEX_V512, PD, VEX_W, EVEX_CD8<64, CD8VF>;
21132150
2114 defm VSUBPSZ : avx512_fp_packed<0x5C, "subps", fsub, VR512, v16f32, f512mem,
2151 defm VSUBPSZ : avx512_fp_packed<0x5C, "subps", fsub, VK16WM, VR512, v16f32, f512mem,
21152152 memopv16f32, f32mem, loadf32, "{1to16}", SSEPackedSingle,
21162153 SSE_ALU_ITINS_P.s, 0>, EVEX_V512, PS, EVEX_CD8<32, CD8VF>;
2117 defm VDIVPSZ : avx512_fp_packed<0x5E, "divps", fdiv, VR512, v16f32, f512mem,
2154 defm VDIVPSZ : avx512_fp_packed<0x5E, "divps", fdiv, VK16WM, VR512, v16f32, f512mem,
21182155 memopv16f32, f32mem, loadf32, "{1to16}", SSEPackedSingle,
21192156 SSE_ALU_ITINS_P.s, 0>, EVEX_V512, PS, EVEX_CD8<32, CD8VF>;
21202157
2121 defm VSUBPDZ : avx512_fp_packed<0x5C, "subpd", fsub, VR512, v8f64, f512mem,
2158 defm VSUBPDZ : avx512_fp_packed<0x5C, "subpd", fsub, VK8WM, VR512, v8f64, f512mem,
21222159 memopv8f64, f64mem, loadf64, "{1to8}", SSEPackedDouble,
21232160 SSE_ALU_ITINS_P.d, 0>,
21242161 EVEX_V512, PD, VEX_W, EVEX_CD8<64, CD8VF>;
2125 defm VDIVPDZ : avx512_fp_packed<0x5E, "divpd", fdiv, VR512, v8f64, f512mem,
2162 defm VDIVPDZ : avx512_fp_packed<0x5E, "divpd", fdiv, VK8WM, VR512, v8f64, f512mem,
21262163 memopv8f64, f64mem, loadf64, "{1to8}", SSEPackedDouble,
21272164 SSE_ALU_ITINS_P.d, 0>,
21282165 EVEX_V512, PD, VEX_W, EVEX_CD8<64, CD8VF>;
9595 // CHECK: encoding: [0x62,0x71,0x24,0x50,0x5c,0x72,0x80]
9696 vsubps -512(%rdx){1to16}, %zmm27, %zmm14
9797
98 // CHECK: vaddpd %zmm6, %zmm27, %zmm8
99 // CHECK: encoding: [0x62,0x71,0xa5,0x40,0x58,0xc6]
100 vaddpd %zmm6, %zmm27, %zmm8
101
102 // CHECK: vaddpd %zmm6, %zmm27, %zmm8 {%k7}
103 // CHECK: encoding: [0x62,0x71,0xa5,0x47,0x58,0xc6]
104 vaddpd %zmm6, %zmm27, %zmm8 {%k7}
105
106 // CHECK: vaddpd %zmm6, %zmm27, %zmm8 {%k7} {z}
107 // CHECK: encoding: [0x62,0x71,0xa5,0xc7,0x58,0xc6]
108 vaddpd %zmm6, %zmm27, %zmm8 {%k7} {z}
109
110 // CHECK: vaddpd (%rcx), %zmm27, %zmm8
111 // CHECK: encoding: [0x62,0x71,0xa5,0x40,0x58,0x01]
112 vaddpd (%rcx), %zmm27, %zmm8
113
114 // CHECK: vaddpd 291(%rax,%r14,8), %zmm27, %zmm8
115 // CHECK: encoding: [0x62,0x31,0xa5,0x40,0x58,0x84,0xf0,0x23,0x01,0x00,0x00]
116 vaddpd 291(%rax,%r14,8), %zmm27, %zmm8
117
118 // CHECK: vaddpd (%rcx){1to8}, %zmm27, %zmm8
119 // CHECK: encoding: [0x62,0x71,0xa5,0x50,0x58,0x01]
120 vaddpd (%rcx){1to8}, %zmm27, %zmm8
121
122 // CHECK: vaddpd 8128(%rdx), %zmm27, %zmm8
123 // CHECK: encoding: [0x62,0x71,0xa5,0x40,0x58,0x42,0x7f]
124 vaddpd 8128(%rdx), %zmm27, %zmm8
125
126 // CHECK: vaddpd 8192(%rdx), %zmm27, %zmm8
127 // CHECK: encoding: [0x62,0x71,0xa5,0x40,0x58,0x82,0x00,0x20,0x00,0x00]
128 vaddpd 8192(%rdx), %zmm27, %zmm8
129
130 // CHECK: vaddpd -8256(%rdx), %zmm27, %zmm8
131 // CHECK: encoding: [0x62,0x71,0xa5,0x40,0x58,0x82,0xc0,0xdf,0xff,0xff]
132 vaddpd -8256(%rdx), %zmm27, %zmm8
133
134 // CHECK: vaddpd 1016(%rdx){1to8}, %zmm27, %zmm8
135 // CHECK: encoding: [0x62,0x71,0xa5,0x50,0x58,0x42,0x7f]
136 vaddpd 1016(%rdx){1to8}, %zmm27, %zmm8
137
138 // CHECK: vaddpd 1024(%rdx){1to8}, %zmm27, %zmm8
139 // CHECK: encoding: [0x62,0x71,0xa5,0x50,0x58,0x82,0x00,0x04,0x00,0x00]
140 vaddpd 1024(%rdx){1to8}, %zmm27, %zmm8
141
142 // CHECK: vaddpd -1032(%rdx){1to8}, %zmm27, %zmm8
143 // CHECK: encoding: [0x62,0x71,0xa5,0x50,0x58,0x82,0xf8,0xfb,0xff,0xff]
144 vaddpd -1032(%rdx){1to8}, %zmm27, %zmm8
145
146 // CHECK: vaddps %zmm2, %zmm13, %zmm18
147 // CHECK: encoding: [0x62,0xe1,0x14,0x48,0x58,0xd2]
148 vaddps %zmm2, %zmm13, %zmm18
149
150 // CHECK: vaddps %zmm2, %zmm13, %zmm18 {%k4}
151 // CHECK: encoding: [0x62,0xe1,0x14,0x4c,0x58,0xd2]
152 vaddps %zmm2, %zmm13, %zmm18 {%k4}
153
154 // CHECK: vaddps %zmm2, %zmm13, %zmm18 {%k4} {z}
155 // CHECK: encoding: [0x62,0xe1,0x14,0xcc,0x58,0xd2]
156 vaddps %zmm2, %zmm13, %zmm18 {%k4} {z}
157
158 // CHECK: vaddps (%rcx), %zmm13, %zmm18
159 // CHECK: encoding: [0x62,0xe1,0x14,0x48,0x58,0x11]
160 vaddps (%rcx), %zmm13, %zmm18
161
162 // CHECK: vaddps 291(%rax,%r14,8), %zmm13, %zmm18
163 // CHECK: encoding: [0x62,0xa1,0x14,0x48,0x58,0x94,0xf0,0x23,0x01,0x00,0x00]
164 vaddps 291(%rax,%r14,8), %zmm13, %zmm18
165
166 // CHECK: vaddps (%rcx){1to16}, %zmm13, %zmm18
167 // CHECK: encoding: [0x62,0xe1,0x14,0x58,0x58,0x11]
168 vaddps (%rcx){1to16}, %zmm13, %zmm18
169
170 // CHECK: vaddps 8128(%rdx), %zmm13, %zmm18
171 // CHECK: encoding: [0x62,0xe1,0x14,0x48,0x58,0x52,0x7f]
172 vaddps 8128(%rdx), %zmm13, %zmm18
173
174 // CHECK: vaddps 8192(%rdx), %zmm13, %zmm18
175 // CHECK: encoding: [0x62,0xe1,0x14,0x48,0x58,0x92,0x00,0x20,0x00,0x00]
176 vaddps 8192(%rdx), %zmm13, %zmm18
177
178 // CHECK: vaddps -8256(%rdx), %zmm13, %zmm18
179 // CHECK: encoding: [0x62,0xe1,0x14,0x48,0x58,0x92,0xc0,0xdf,0xff,0xff]
180 vaddps -8256(%rdx), %zmm13, %zmm18
181
182 // CHECK: vaddps 508(%rdx){1to16}, %zmm13, %zmm18
183 // CHECK: encoding: [0x62,0xe1,0x14,0x58,0x58,0x52,0x7f]
184 vaddps 508(%rdx){1to16}, %zmm13, %zmm18
185
186 // CHECK: vaddps 512(%rdx){1to16}, %zmm13, %zmm18
187 // CHECK: encoding: [0x62,0xe1,0x14,0x58,0x58,0x92,0x00,0x02,0x00,0x00]
188 vaddps 512(%rdx){1to16}, %zmm13, %zmm18
189
190 // CHECK: vaddps -516(%rdx){1to16}, %zmm13, %zmm18
191 // CHECK: encoding: [0x62,0xe1,0x14,0x58,0x58,0x92,0xfc,0xfd,0xff,0xff]
192 vaddps -516(%rdx){1to16}, %zmm13, %zmm18
193
194 // CHECK: vdivpd %zmm11, %zmm6, %zmm18
195 // CHECK: encoding: [0x62,0xc1,0xcd,0x48,0x5e,0xd3]
196 vdivpd %zmm11, %zmm6, %zmm18
197
198 // CHECK: vdivpd %zmm11, %zmm6, %zmm18 {%k4}
199 // CHECK: encoding: [0x62,0xc1,0xcd,0x4c,0x5e,0xd3]
200 vdivpd %zmm11, %zmm6, %zmm18 {%k4}
201
202 // CHECK: vdivpd %zmm11, %zmm6, %zmm18 {%k4} {z}
203 // CHECK: encoding: [0x62,0xc1,0xcd,0xcc,0x5e,0xd3]
204 vdivpd %zmm11, %zmm6, %zmm18 {%k4} {z}
205
206 // CHECK: vdivpd (%rcx), %zmm6, %zmm18
207 // CHECK: encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x11]
208 vdivpd (%rcx), %zmm6, %zmm18
209
210 // CHECK: vdivpd 291(%rax,%r14,8), %zmm6, %zmm18
211 // CHECK: encoding: [0x62,0xa1,0xcd,0x48,0x5e,0x94,0xf0,0x23,0x01,0x00,0x00]
212 vdivpd 291(%rax,%r14,8), %zmm6, %zmm18
213
214 // CHECK: vdivpd (%rcx){1to8}, %zmm6, %zmm18
215 // CHECK: encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x11]
216 vdivpd (%rcx){1to8}, %zmm6, %zmm18
217
218 // CHECK: vdivpd 8128(%rdx), %zmm6, %zmm18
219 // CHECK: encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x52,0x7f]
220 vdivpd 8128(%rdx), %zmm6, %zmm18
221
222 // CHECK: vdivpd 8192(%rdx), %zmm6, %zmm18
223 // CHECK: encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x92,0x00,0x20,0x00,0x00]
224 vdivpd 8192(%rdx), %zmm6, %zmm18
225
226 // CHECK: vdivpd -8256(%rdx), %zmm6, %zmm18
227 // CHECK: encoding: [0x62,0xe1,0xcd,0x48,0x5e,0x92,0xc0,0xdf,0xff,0xff]
228 vdivpd -8256(%rdx), %zmm6, %zmm18
229
230 // CHECK: vdivpd 1016(%rdx){1to8}, %zmm6, %zmm18
231 // CHECK: encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x52,0x7f]
232 vdivpd 1016(%rdx){1to8}, %zmm6, %zmm18
233
234 // CHECK: vdivpd 1024(%rdx){1to8}, %zmm6, %zmm18
235 // CHECK: encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x92,0x00,0x04,0x00,0x00]
236 vdivpd 1024(%rdx){1to8}, %zmm6, %zmm18
237
238 // CHECK: vdivpd -1032(%rdx){1to8}, %zmm6, %zmm18
239 // CHECK: encoding: [0x62,0xe1,0xcd,0x58,0x5e,0x92,0xf8,0xfb,0xff,0xff]
240 vdivpd -1032(%rdx){1to8}, %zmm6, %zmm18
241
242 // CHECK: vdivps %zmm28, %zmm23, %zmm23
243 // CHECK: encoding: [0x62,0x81,0x44,0x40,0x5e,0xfc]
244 vdivps %zmm28, %zmm23, %zmm23
245
246 // CHECK: vdivps %zmm28, %zmm23, %zmm23 {%k2}
247 // CHECK: encoding: [0x62,0x81,0x44,0x42,0x5e,0xfc]
248 vdivps %zmm28, %zmm23, %zmm23 {%k2}
249
250 // CHECK: vdivps %zmm28, %zmm23, %zmm23 {%k2} {z}
251 // CHECK: encoding: [0x62,0x81,0x44,0xc2,0x5e,0xfc]
252 vdivps %zmm28, %zmm23, %zmm23 {%k2} {z}
253
254 // CHECK: vdivps (%rcx), %zmm23, %zmm23
255 // CHECK: encoding: [0x62,0xe1,0x44,0x40,0x5e,0x39]
256 vdivps (%rcx), %zmm23, %zmm23
257
258 // CHECK: vdivps 291(%rax,%r14,8), %zmm23, %zmm23
259 // CHECK: encoding: [0x62,0xa1,0x44,0x40,0x5e,0xbc,0xf0,0x23,0x01,0x00,0x00]
260 vdivps 291(%rax,%r14,8), %zmm23, %zmm23
261
262 // CHECK: vdivps (%rcx){1to16}, %zmm23, %zmm23
263 // CHECK: encoding: [0x62,0xe1,0x44,0x50,0x5e,0x39]
264 vdivps (%rcx){1to16}, %zmm23, %zmm23
265
266 // CHECK: vdivps 8128(%rdx), %zmm23, %zmm23
267 // CHECK: encoding: [0x62,0xe1,0x44,0x40,0x5e,0x7a,0x7f]
268 vdivps 8128(%rdx), %zmm23, %zmm23
269
270 // CHECK: vdivps 8192(%rdx), %zmm23, %zmm23
271 // CHECK: encoding: [0x62,0xe1,0x44,0x40,0x5e,0xba,0x00,0x20,0x00,0x00]
272 vdivps 8192(%rdx), %zmm23, %zmm23
273
274 // CHECK: vdivps -8256(%rdx), %zmm23, %zmm23
275 // CHECK: encoding: [0x62,0xe1,0x44,0x40,0x5e,0xba,0xc0,0xdf,0xff,0xff]
276 vdivps -8256(%rdx), %zmm23, %zmm23
277
278 // CHECK: vdivps 508(%rdx){1to16}, %zmm23, %zmm23
279 // CHECK: encoding: [0x62,0xe1,0x44,0x50,0x5e,0x7a,0x7f]
280 vdivps 508(%rdx){1to16}, %zmm23, %zmm23
281
282 // CHECK: vdivps 512(%rdx){1to16}, %zmm23, %zmm23
283 // CHECK: encoding: [0x62,0xe1,0x44,0x50,0x5e,0xba,0x00,0x02,0x00,0x00]
284 vdivps 512(%rdx){1to16}, %zmm23, %zmm23
285
286 // CHECK: vdivps -516(%rdx){1to16}, %zmm23, %zmm23
287 // CHECK: encoding: [0x62,0xe1,0x44,0x50,0x5e,0xba,0xfc,0xfd,0xff,0xff]
288 vdivps -516(%rdx){1to16}, %zmm23, %zmm23
289
290 // CHECK: vmaxpd %zmm20, %zmm28, %zmm30
291 // CHECK: encoding: [0x62,0x21,0x9d,0x40,0x5f,0xf4]
292 vmaxpd %zmm20, %zmm28, %zmm30
293
294 // CHECK: vmaxpd %zmm20, %zmm28, %zmm30 {%k1}
295 // CHECK: encoding: [0x62,0x21,0x9d,0x41,0x5f,0xf4]
296 vmaxpd %zmm20, %zmm28, %zmm30 {%k1}
297
298 // CHECK: vmaxpd %zmm20, %zmm28, %zmm30 {%k1} {z}
299 // CHECK: encoding: [0x62,0x21,0x9d,0xc1,0x5f,0xf4]
300 vmaxpd %zmm20, %zmm28, %zmm30 {%k1} {z}
301
302 // CHECK: vmaxpd (%rcx), %zmm28, %zmm30
303 // CHECK: encoding: [0x62,0x61,0x9d,0x40,0x5f,0x31]
304 vmaxpd (%rcx), %zmm28, %zmm30
305
306 // CHECK: vmaxpd 291(%rax,%r14,8), %zmm28, %zmm30
307 // CHECK: encoding: [0x62,0x21,0x9d,0x40,0x5f,0xb4,0xf0,0x23,0x01,0x00,0x00]
308 vmaxpd 291(%rax,%r14,8), %zmm28, %zmm30
309
310 // CHECK: vmaxpd (%rcx){1to8}, %zmm28, %zmm30
311 // CHECK: encoding: [0x62,0x61,0x9d,0x50,0x5f,0x31]
312 vmaxpd (%rcx){1to8}, %zmm28, %zmm30
313
314 // CHECK: vmaxpd 8128(%rdx), %zmm28, %zmm30
315 // CHECK: encoding: [0x62,0x61,0x9d,0x40,0x5f,0x72,0x7f]
316 vmaxpd 8128(%rdx), %zmm28, %zmm30
317
318 // CHECK: vmaxpd 8192(%rdx), %zmm28, %zmm30
319 // CHECK: encoding: [0x62,0x61,0x9d,0x40,0x5f,0xb2,0x00,0x20,0x00,0x00]
320 vmaxpd 8192(%rdx), %zmm28, %zmm30
321
322 // CHECK: vmaxpd -8256(%rdx), %zmm28, %zmm30
323 // CHECK: encoding: [0x62,0x61,0x9d,0x40,0x5f,0xb2,0xc0,0xdf,0xff,0xff]
324 vmaxpd -8256(%rdx), %zmm28, %zmm30
325
326 // CHECK: vmaxpd 1016(%rdx){1to8}, %zmm28, %zmm30
327 // CHECK: encoding: [0x62,0x61,0x9d,0x50,0x5f,0x72,0x7f]
328 vmaxpd 1016(%rdx){1to8}, %zmm28, %zmm30
329
330 // CHECK: vmaxpd 1024(%rdx){1to8}, %zmm28, %zmm30
331 // CHECK: encoding: [0x62,0x61,0x9d,0x50,0x5f,0xb2,0x00,0x04,0x00,0x00]
332 vmaxpd 1024(%rdx){1to8}, %zmm28, %zmm30
333
334 // CHECK: vmaxpd -1032(%rdx){1to8}, %zmm28, %zmm30
335 // CHECK: encoding: [0x62,0x61,0x9d,0x50,0x5f,0xb2,0xf8,0xfb,0xff,0xff]
336 vmaxpd -1032(%rdx){1to8}, %zmm28, %zmm30
337
338 // CHECK: vmaxps %zmm20, %zmm6, %zmm25
339 // CHECK: encoding: [0x62,0x21,0x4c,0x48,0x5f,0xcc]
340 vmaxps %zmm20, %zmm6, %zmm25
341
342 // CHECK: vmaxps %zmm20, %zmm6, %zmm25 {%k1}
343 // CHECK: encoding: [0x62,0x21,0x4c,0x49,0x5f,0xcc]
344 vmaxps %zmm20, %zmm6, %zmm25 {%k1}
345
346 // CHECK: vmaxps %zmm20, %zmm6, %zmm25 {%k1} {z}
347 // CHECK: encoding: [0x62,0x21,0x4c,0xc9,0x5f,0xcc]
348 vmaxps %zmm20, %zmm6, %zmm25 {%k1} {z}
349
350 // CHECK: vmaxps (%rcx), %zmm6, %zmm25
351 // CHECK: encoding: [0x62,0x61,0x4c,0x48,0x5f,0x09]
352 vmaxps (%rcx), %zmm6, %zmm25
353
354 // CHECK: vmaxps 291(%rax,%r14,8), %zmm6, %zmm25
355 // CHECK: encoding: [0x62,0x21,0x4c,0x48,0x5f,0x8c,0xf0,0x23,0x01,0x00,0x00]
356 vmaxps 291(%rax,%r14,8), %zmm6, %zmm25
357
358 // CHECK: vmaxps (%rcx){1to16}, %zmm6, %zmm25
359 // CHECK: encoding: [0x62,0x61,0x4c,0x58,0x5f,0x09]
360 vmaxps (%rcx){1to16}, %zmm6, %zmm25
361
362 // CHECK: vmaxps 8128(%rdx), %zmm6, %zmm25
363 // CHECK: encoding: [0x62,0x61,0x4c,0x48,0x5f,0x4a,0x7f]
364 vmaxps 8128(%rdx), %zmm6, %zmm25
365
366 // CHECK: vmaxps 8192(%rdx), %zmm6, %zmm25
367 // CHECK: encoding: [0x62,0x61,0x4c,0x48,0x5f,0x8a,0x00,0x20,0x00,0x00]
368 vmaxps 8192(%rdx), %zmm6, %zmm25
369
370 // CHECK: vmaxps -8256(%rdx), %zmm6, %zmm25
371 // CHECK: encoding: [0x62,0x61,0x4c,0x48,0x5f,0x8a,0xc0,0xdf,0xff,0xff]
372 vmaxps -8256(%rdx), %zmm6, %zmm25
373
374 // CHECK: vmaxps 508(%rdx){1to16}, %zmm6, %zmm25
375 // CHECK: encoding: [0x62,0x61,0x4c,0x58,0x5f,0x4a,0x7f]
376 vmaxps 508(%rdx){1to16}, %zmm6, %zmm25
377
378 // CHECK: vmaxps 512(%rdx){1to16}, %zmm6, %zmm25
379 // CHECK: encoding: [0x62,0x61,0x4c,0x58,0x5f,0x8a,0x00,0x02,0x00,0x00]
380 vmaxps 512(%rdx){1to16}, %zmm6, %zmm25
381
382 // CHECK: vmaxps -516(%rdx){1to16}, %zmm6, %zmm25
383 // CHECK: encoding: [0x62,0x61,0x4c,0x58,0x5f,0x8a,0xfc,0xfd,0xff,0xff]
384 vmaxps -516(%rdx){1to16}, %zmm6, %zmm25
385
386 // CHECK: vminpd %zmm22, %zmm6, %zmm6
387 // CHECK: encoding: [0x62,0xb1,0xcd,0x48,0x5d,0xf6]
388 vminpd %zmm22, %zmm6, %zmm6
389
390 // CHECK: vminpd %zmm22, %zmm6, %zmm6 {%k7}
391 // CHECK: encoding: [0x62,0xb1,0xcd,0x4f,0x5d,0xf6]
392 vminpd %zmm22, %zmm6, %zmm6 {%k7}
393
394 // CHECK: vminpd %zmm22, %zmm6, %zmm6 {%k7} {z}
395 // CHECK: encoding: [0x62,0xb1,0xcd,0xcf,0x5d,0xf6]
396 vminpd %zmm22, %zmm6, %zmm6 {%k7} {z}
397
398 // CHECK: vminpd (%rcx), %zmm6, %zmm6
399 // CHECK: encoding: [0x62,0xf1,0xcd,0x48,0x5d,0x31]
400 vminpd (%rcx), %zmm6, %zmm6
401
402 // CHECK: vminpd 291(%rax,%r14,8), %zmm6, %zmm6
403 // CHECK: encoding: [0x62,0xb1,0xcd,0x48,0x5d,0xb4,0xf0,0x23,0x01,0x00,0x00]
404 vminpd 291(%rax,%r14,8), %zmm6, %zmm6
405
406 // CHECK: vminpd (%rcx){1to8}, %zmm6, %zmm6
407 // CHECK: encoding: [0x62,0xf1,0xcd,0x58,0x5d,0x31]
408 vminpd (%rcx){1to8}, %zmm6, %zmm6
409
410 // CHECK: vminpd 8128(%rdx), %zmm6, %zmm6
411 // CHECK: encoding: [0x62,0xf1,0xcd,0x48,0x5d,0x72,0x7f]
412 vminpd 8128(%rdx), %zmm6, %zmm6
413
414 // CHECK: vminpd 8192(%rdx), %zmm6, %zmm6
415 // CHECK: encoding: [0x62,0xf1,0xcd,0x48,0x5d,0xb2,0x00,0x20,0x00,0x00]
416 vminpd 8192(%rdx), %zmm6, %zmm6
417
418 // CHECK: vminpd -8256(%rdx), %zmm6, %zmm6
419 // CHECK: encoding: [0x62,0xf1,0xcd,0x48,0x5d,0xb2,0xc0,0xdf,0xff,0xff]
420 vminpd -8256(%rdx), %zmm6, %zmm6
421
422 // CHECK: vminpd 1016(%rdx){1to8}, %zmm6, %zmm6
423 // CHECK: encoding: [0x62,0xf1,0xcd,0x58,0x5d,0x72,0x7f]
424 vminpd 1016(%rdx){1to8}, %zmm6, %zmm6
425
426 // CHECK: vminpd 1024(%rdx){1to8}, %zmm6, %zmm6
427 // CHECK: encoding: [0x62,0xf1,0xcd,0x58,0x5d,0xb2,0x00,0x04,0x00,0x00]
428 vminpd 1024(%rdx){1to8}, %zmm6, %zmm6
429
430 // CHECK: vminpd -1032(%rdx){1to8}, %zmm6, %zmm6
431 // CHECK: encoding: [0x62,0xf1,0xcd,0x58,0x5d,0xb2,0xf8,0xfb,0xff,0xff]
432 vminpd -1032(%rdx){1to8}, %zmm6, %zmm6
433
434 // CHECK: vminps %zmm7, %zmm3, %zmm3
435 // CHECK: encoding: [0x62,0xf1,0x64,0x48,0x5d,0xdf]
436 vminps %zmm7, %zmm3, %zmm3
437
438 // CHECK: vminps %zmm7, %zmm3, %zmm3 {%k3}
439 // CHECK: encoding: [0x62,0xf1,0x64,0x4b,0x5d,0xdf]
440 vminps %zmm7, %zmm3, %zmm3 {%k3}
441
442 // CHECK: vminps %zmm7, %zmm3, %zmm3 {%k3} {z}
443 // CHECK: encoding: [0x62,0xf1,0x64,0xcb,0x5d,0xdf]
444 vminps %zmm7, %zmm3, %zmm3 {%k3} {z}
445
446 // CHECK: vminps (%rcx), %zmm3, %zmm3
447 // CHECK: encoding: [0x62,0xf1,0x64,0x48,0x5d,0x19]
448 vminps (%rcx), %zmm3, %zmm3
449
450 // CHECK: vminps 291(%rax,%r14,8), %zmm3, %zmm3
451 // CHECK: encoding: [0x62,0xb1,0x64,0x48,0x5d,0x9c,0xf0,0x23,0x01,0x00,0x00]
452 vminps 291(%rax,%r14,8), %zmm3, %zmm3
453
454 // CHECK: vminps (%rcx){1to16}, %zmm3, %zmm3
455 // CHECK: encoding: [0x62,0xf1,0x64,0x58,0x5d,0x19]
456 vminps (%rcx){1to16}, %zmm3, %zmm3
457
458 // CHECK: vminps 8128(%rdx), %zmm3, %zmm3
459 // CHECK: encoding: [0x62,0xf1,0x64,0x48,0x5d,0x5a,0x7f]
460 vminps 8128(%rdx), %zmm3, %zmm3
461
462 // CHECK: vminps 8192(%rdx), %zmm3, %zmm3
463 // CHECK: encoding: [0x62,0xf1,0x64,0x48,0x5d,0x9a,0x00,0x20,0x00,0x00]
464 vminps 8192(%rdx), %zmm3, %zmm3
465
466 // CHECK: vminps -8256(%rdx), %zmm3, %zmm3
467 // CHECK: encoding: [0x62,0xf1,0x64,0x48,0x5d,0x9a,0xc0,0xdf,0xff,0xff]
468 vminps -8256(%rdx), %zmm3, %zmm3
469
470 // CHECK: vminps 508(%rdx){1to16}, %zmm3, %zmm3
471 // CHECK: encoding: [0x62,0xf1,0x64,0x58,0x5d,0x5a,0x7f]
472 vminps 508(%rdx){1to16}, %zmm3, %zmm3
473
474 // CHECK: vminps 512(%rdx){1to16}, %zmm3, %zmm3
475 // CHECK: encoding: [0x62,0xf1,0x64,0x58,0x5d,0x9a,0x00,0x02,0x00,0x00]
476 vminps 512(%rdx){1to16}, %zmm3, %zmm3
477
478 // CHECK: vminps -516(%rdx){1to16}, %zmm3, %zmm3
479 // CHECK: encoding: [0x62,0xf1,0x64,0x58,0x5d,0x9a,0xfc,0xfd,0xff,0xff]
480 vminps -516(%rdx){1to16}, %zmm3, %zmm3
481
482 // CHECK: vmulpd %zmm23, %zmm4, %zmm24
483 // CHECK: encoding: [0x62,0x21,0xdd,0x48,0x59,0xc7]
484 vmulpd %zmm23, %zmm4, %zmm24
485
486 // CHECK: vmulpd %zmm23, %zmm4, %zmm24 {%k6}
487 // CHECK: encoding: [0x62,0x21,0xdd,0x4e,0x59,0xc7]
488 vmulpd %zmm23, %zmm4, %zmm24 {%k6}
489
490 // CHECK: vmulpd %zmm23, %zmm4, %zmm24 {%k6} {z}
491 // CHECK: encoding: [0x62,0x21,0xdd,0xce,0x59,0xc7]
492 vmulpd %zmm23, %zmm4, %zmm24 {%k6} {z}
493
494 // CHECK: vmulpd (%rcx), %zmm4, %zmm24
495 // CHECK: encoding: [0x62,0x61,0xdd,0x48,0x59,0x01]
496 vmulpd (%rcx), %zmm4, %zmm24
497
498 // CHECK: vmulpd 291(%rax,%r14,8), %zmm4, %zmm24
499 // CHECK: encoding: [0x62,0x21,0xdd,0x48,0x59,0x84,0xf0,0x23,0x01,0x00,0x00]
500 vmulpd 291(%rax,%r14,8), %zmm4, %zmm24
501
502 // CHECK: vmulpd (%rcx){1to8}, %zmm4, %zmm24
503 // CHECK: encoding: [0x62,0x61,0xdd,0x58,0x59,0x01]
504 vmulpd (%rcx){1to8}, %zmm4, %zmm24
505
506 // CHECK: vmulpd 8128(%rdx), %zmm4, %zmm24
507 // CHECK: encoding: [0x62,0x61,0xdd,0x48,0x59,0x42,0x7f]
508 vmulpd 8128(%rdx), %zmm4, %zmm24
509
510 // CHECK: vmulpd 8192(%rdx), %zmm4, %zmm24
511 // CHECK: encoding: [0x62,0x61,0xdd,0x48,0x59,0x82,0x00,0x20,0x00,0x00]
512 vmulpd 8192(%rdx), %zmm4, %zmm24
513
514 // CHECK: vmulpd -8256(%rdx), %zmm4, %zmm24
515 // CHECK: encoding: [0x62,0x61,0xdd,0x48,0x59,0x82,0xc0,0xdf,0xff,0xff]
516 vmulpd -8256(%rdx), %zmm4, %zmm24
517
518 // CHECK: vmulpd 1016(%rdx){1to8}, %zmm4, %zmm24
519 // CHECK: encoding: [0x62,0x61,0xdd,0x58,0x59,0x42,0x7f]
520 vmulpd 1016(%rdx){1to8}, %zmm4, %zmm24
521
522 // CHECK: vmulpd 1024(%rdx){1to8}, %zmm4, %zmm24
523 // CHECK: encoding: [0x62,0x61,0xdd,0x58,0x59,0x82,0x00,0x04,0x00,0x00]
524 vmulpd 1024(%rdx){1to8}, %zmm4, %zmm24
525
526 // CHECK: vmulpd -1032(%rdx){1to8}, %zmm4, %zmm24
527 // CHECK: encoding: [0x62,0x61,0xdd,0x58,0x59,0x82,0xf8,0xfb,0xff,0xff]
528 vmulpd -1032(%rdx){1to8}, %zmm4, %zmm24
529
530 // CHECK: vmulps %zmm24, %zmm6, %zmm3
531 // CHECK: encoding: [0x62,0x91,0x4c,0x48,0x59,0xd8]
532 vmulps %zmm24, %zmm6, %zmm3
533
534 // CHECK: vmulps %zmm24, %zmm6, %zmm3 {%k4}
535 // CHECK: encoding: [0x62,0x91,0x4c,0x4c,0x59,0xd8]
536 vmulps %zmm24, %zmm6, %zmm3 {%k4}
537
538 // CHECK: vmulps %zmm24, %zmm6, %zmm3 {%k4} {z}
539 // CHECK: encoding: [0x62,0x91,0x4c,0xcc,0x59,0xd8]
540 vmulps %zmm24, %zmm6, %zmm3 {%k4} {z}
541
542 // CHECK: vmulps (%rcx), %zmm6, %zmm3
543 // CHECK: encoding: [0x62,0xf1,0x4c,0x48,0x59,0x19]
544 vmulps (%rcx), %zmm6, %zmm3
545
546 // CHECK: vmulps 291(%rax,%r14,8), %zmm6, %zmm3
547 // CHECK: encoding: [0x62,0xb1,0x4c,0x48,0x59,0x9c,0xf0,0x23,0x01,0x00,0x00]
548 vmulps 291(%rax,%r14,8), %zmm6, %zmm3
549
550 // CHECK: vmulps (%rcx){1to16}, %zmm6, %zmm3
551 // CHECK: encoding: [0x62,0xf1,0x4c,0x58,0x59,0x19]
552 vmulps (%rcx){1to16}, %zmm6, %zmm3
553
554 // CHECK: vmulps 8128(%rdx), %zmm6, %zmm3
555 // CHECK: encoding: [0x62,0xf1,0x4c,0x48,0x59,0x5a,0x7f]
556 vmulps 8128(%rdx), %zmm6, %zmm3
557
558 // CHECK: vmulps 8192(%rdx), %zmm6, %zmm3
559 // CHECK: encoding: [0x62,0xf1,0x4c,0x48,0x59,0x9a,0x00,0x20,0x00,0x00]
560 vmulps 8192(%rdx), %zmm6, %zmm3
561
562 // CHECK: vmulps -8256(%rdx), %zmm6, %zmm3
563 // CHECK: encoding: [0x62,0xf1,0x4c,0x48,0x59,0x9a,0xc0,0xdf,0xff,0xff]
564 vmulps -8256(%rdx), %zmm6, %zmm3
565
566 // CHECK: vmulps 508(%rdx){1to16}, %zmm6, %zmm3
567 // CHECK: encoding: [0x62,0xf1,0x4c,0x58,0x59,0x5a,0x7f]
568 vmulps 508(%rdx){1to16}, %zmm6, %zmm3
569
570 // CHECK: vmulps 512(%rdx){1to16}, %zmm6, %zmm3
571 // CHECK: encoding: [0x62,0xf1,0x4c,0x58,0x59,0x9a,0x00,0x02,0x00,0x00]
572 vmulps 512(%rdx){1to16}, %zmm6, %zmm3
573
574 // CHECK: vmulps -516(%rdx){1to16}, %zmm6, %zmm3
575 // CHECK: encoding: [0x62,0xf1,0x4c,0x58,0x59,0x9a,0xfc,0xfd,0xff,0xff]
576 vmulps -516(%rdx){1to16}, %zmm6, %zmm3
577
578 // CHECK: vsubpd %zmm9, %zmm12, %zmm9
579 // CHECK: encoding: [0x62,0x51,0x9d,0x48,0x5c,0xc9]
580 vsubpd %zmm9, %zmm12, %zmm9
581
582 // CHECK: vsubpd %zmm9, %zmm12, %zmm9 {%k7}
583 // CHECK: encoding: [0x62,0x51,0x9d,0x4f,0x5c,0xc9]
584 vsubpd %zmm9, %zmm12, %zmm9 {%k7}
585
586 // CHECK: vsubpd %zmm9, %zmm12, %zmm9 {%k7} {z}
587 // CHECK: encoding: [0x62,0x51,0x9d,0xcf,0x5c,0xc9]
588 vsubpd %zmm9, %zmm12, %zmm9 {%k7} {z}
589
590 // CHECK: vsubpd (%rcx), %zmm12, %zmm9
591 // CHECK: encoding: [0x62,0x71,0x9d,0x48,0x5c,0x09]
592 vsubpd (%rcx), %zmm12, %zmm9
593
594 // CHECK: vsubpd 291(%rax,%r14,8), %zmm12, %zmm9
595 // CHECK: encoding: [0x62,0x31,0x9d,0x48,0x5c,0x8c,0xf0,0x23,0x01,0x00,0x00]
596 vsubpd 291(%rax,%r14,8), %zmm12, %zmm9
597
598 // CHECK: vsubpd (%rcx){1to8}, %zmm12, %zmm9
599 // CHECK: encoding: [0x62,0x71,0x9d,0x58,0x5c,0x09]
600 vsubpd (%rcx){1to8}, %zmm12, %zmm9
601
602 // CHECK: vsubpd 8128(%rdx), %zmm12, %zmm9
603 // CHECK: encoding: [0x62,0x71,0x9d,0x48,0x5c,0x4a,0x7f]
604 vsubpd 8128(%rdx), %zmm12, %zmm9
605
606 // CHECK: vsubpd 8192(%rdx), %zmm12, %zmm9
607 // CHECK: encoding: [0x62,0x71,0x9d,0x48,0x5c,0x8a,0x00,0x20,0x00,0x00]
608 vsubpd 8192(%rdx), %zmm12, %zmm9
609
610 // CHECK: vsubpd -8256(%rdx), %zmm12, %zmm9
611 // CHECK: encoding: [0x62,0x71,0x9d,0x48,0x5c,0x8a,0xc0,0xdf,0xff,0xff]
612 vsubpd -8256(%rdx), %zmm12, %zmm9
613
614 // CHECK: vsubpd 1016(%rdx){1to8}, %zmm12, %zmm9
615 // CHECK: encoding: [0x62,0x71,0x9d,0x58,0x5c,0x4a,0x7f]
616 vsubpd 1016(%rdx){1to8}, %zmm12, %zmm9
617
618 // CHECK: vsubpd 1024(%rdx){1to8}, %zmm12, %zmm9
619 // CHECK: encoding: [0x62,0x71,0x9d,0x58,0x5c,0x8a,0x00,0x04,0x00,0x00]
620 vsubpd 1024(%rdx){1to8}, %zmm12, %zmm9
621
622 // CHECK: vsubpd -1032(%rdx){1to8}, %zmm12, %zmm9
623 // CHECK: encoding: [0x62,0x71,0x9d,0x58,0x5c,0x8a,0xf8,0xfb,0xff,0xff]
624 vsubpd -1032(%rdx){1to8}, %zmm12, %zmm9
625
626 // CHECK: vsubps %zmm21, %zmm27, %zmm14
627 // CHECK: encoding: [0x62,0x31,0x24,0x40,0x5c,0xf5]
628 vsubps %zmm21, %zmm27, %zmm14
629
630 // CHECK: vsubps %zmm21, %zmm27, %zmm14 {%k5}
631 // CHECK: encoding: [0x62,0x31,0x24,0x45,0x5c,0xf5]
632 vsubps %zmm21, %zmm27, %zmm14 {%k5}
633
634 // CHECK: vsubps %zmm21, %zmm27, %zmm14 {%k5} {z}
635 // CHECK: encoding: [0x62,0x31,0x24,0xc5,0x5c,0xf5]
636 vsubps %zmm21, %zmm27, %zmm14 {%k5} {z}
637
638 // CHECK: vsubps (%rcx), %zmm27, %zmm14
639 // CHECK: encoding: [0x62,0x71,0x24,0x40,0x5c,0x31]
640 vsubps (%rcx), %zmm27, %zmm14
641
642 // CHECK: vsubps 291(%rax,%r14,8), %zmm27, %zmm14
643 // CHECK: encoding: [0x62,0x31,0x24,0x40,0x5c,0xb4,0xf0,0x23,0x01,0x00,0x00]
644 vsubps 291(%rax,%r14,8), %zmm27, %zmm14
645
646 // CHECK: vsubps (%rcx){1to16}, %zmm27, %zmm14
647 // CHECK: encoding: [0x62,0x71,0x24,0x50,0x5c,0x31]
648 vsubps (%rcx){1to16}, %zmm27, %zmm14
649
650 // CHECK: vsubps 8128(%rdx), %zmm27, %zmm14
651 // CHECK: encoding: [0x62,0x71,0x24,0x40,0x5c,0x72,0x7f]
652 vsubps 8128(%rdx), %zmm27, %zmm14
653
654 // CHECK: vsubps 8192(%rdx), %zmm27, %zmm14
655 // CHECK: encoding: [0x62,0x71,0x24,0x40,0x5c,0xb2,0x00,0x20,0x00,0x00]
656 vsubps 8192(%rdx), %zmm27, %zmm14
657
658 // CHECK: vsubps -8256(%rdx), %zmm27, %zmm14
659 // CHECK: encoding: [0x62,0x71,0x24,0x40,0x5c,0xb2,0xc0,0xdf,0xff,0xff]
660 vsubps -8256(%rdx), %zmm27, %zmm14
661
662 // CHECK: vsubps 508(%rdx){1to16}, %zmm27, %zmm14
663 // CHECK: encoding: [0x62,0x71,0x24,0x50,0x5c,0x72,0x7f]
664 vsubps 508(%rdx){1to16}, %zmm27, %zmm14
665
666 // CHECK: vsubps 512(%rdx){1to16}, %zmm27, %zmm14
667 // CHECK: encoding: [0x62,0x71,0x24,0x50,0x5c,0xb2,0x00,0x02,0x00,0x00]
668 vsubps 512(%rdx){1to16}, %zmm27, %zmm14
669
670 // CHECK: vsubps -516(%rdx){1to16}, %zmm27, %zmm14
671 // CHECK: encoding: [0x62,0x71,0x24,0x50,0x5c,0xb2,0xfc,0xfd,0xff,0xff]
672 vsubps -516(%rdx){1to16}, %zmm27, %zmm14
673
98674 // CHECK: vinserti32x4
99675 // CHECK: encoding: [0x62,0xa3,0x55,0x48,0x38,0xcd,0x01]
100676 vinserti32x4 $1, %xmm21, %zmm5, %zmm17
239239 return false;
240240 case IC_EVEX_L2_K:
241241 case IC_EVEX_L2_B:
242 case IC_EVEX_L2_K_B:
243 case IC_EVEX_L2_KZ_B:
242244 case IC_EVEX_L2_XS_K:
243245 case IC_EVEX_L2_XS_B:
244246 case IC_EVEX_L2_XD_B: