target/ppc: implement xs[n]maddqp[o]/xs[n]msubqp[o]
[qemu.git] / target / ppc / translate / vsx-impl.c.inc
blob292a14f5aa9853737f5add92955c27739a951419
1 /***                           VSX extension                               ***/
3 static inline void get_cpu_vsr(TCGv_i64 dst, int n, bool high)
5     tcg_gen_ld_i64(dst, cpu_env, vsr64_offset(n, high));
8 static inline void set_cpu_vsr(int n, TCGv_i64 src, bool high)
10     tcg_gen_st_i64(src, cpu_env, vsr64_offset(n, high));
13 static inline TCGv_ptr gen_vsr_ptr(int reg)
15     TCGv_ptr r = tcg_temp_new_ptr();
16     tcg_gen_addi_ptr(r, cpu_env, vsr_full_offset(reg));
17     return r;
20 #define VSX_LOAD_SCALAR(name, operation)                      \
21 static void gen_##name(DisasContext *ctx)                     \
22 {                                                             \
23     TCGv EA;                                                  \
24     TCGv_i64 t0;                                              \
25     if (unlikely(!ctx->vsx_enabled)) {                        \
26         gen_exception(ctx, POWERPC_EXCP_VSXU);                \
27         return;                                               \
28     }                                                         \
29     t0 = tcg_temp_new_i64();                                  \
30     gen_set_access_type(ctx, ACCESS_INT);                     \
31     EA = tcg_temp_new();                                      \
32     gen_addr_reg_index(ctx, EA);                              \
33     gen_qemu_##operation(ctx, t0, EA);                        \
34     set_cpu_vsr(xT(ctx->opcode), t0, true);                   \
35     /* NOTE: cpu_vsrl is undefined */                         \
36     tcg_temp_free(EA);                                        \
37     tcg_temp_free_i64(t0);                                    \
40 VSX_LOAD_SCALAR(lxsdx, ld64_i64)
41 VSX_LOAD_SCALAR(lxsiwax, ld32s_i64)
42 VSX_LOAD_SCALAR(lxsibzx, ld8u_i64)
43 VSX_LOAD_SCALAR(lxsihzx, ld16u_i64)
44 VSX_LOAD_SCALAR(lxsiwzx, ld32u_i64)
45 VSX_LOAD_SCALAR(lxsspx, ld32fs)
47 static void gen_lxvd2x(DisasContext *ctx)
49     TCGv EA;
50     TCGv_i64 t0;
51     if (unlikely(!ctx->vsx_enabled)) {
52         gen_exception(ctx, POWERPC_EXCP_VSXU);
53         return;
54     }
55     t0 = tcg_temp_new_i64();
56     gen_set_access_type(ctx, ACCESS_INT);
57     EA = tcg_temp_new();
58     gen_addr_reg_index(ctx, EA);
59     gen_qemu_ld64_i64(ctx, t0, EA);
60     set_cpu_vsr(xT(ctx->opcode), t0, true);
61     tcg_gen_addi_tl(EA, EA, 8);
62     gen_qemu_ld64_i64(ctx, t0, EA);
63     set_cpu_vsr(xT(ctx->opcode), t0, false);
64     tcg_temp_free(EA);
65     tcg_temp_free_i64(t0);
68 static void gen_lxvw4x(DisasContext *ctx)
70     TCGv EA;
71     TCGv_i64 xth;
72     TCGv_i64 xtl;
73     if (unlikely(!ctx->vsx_enabled)) {
74         gen_exception(ctx, POWERPC_EXCP_VSXU);
75         return;
76     }
77     xth = tcg_temp_new_i64();
78     xtl = tcg_temp_new_i64();
80     gen_set_access_type(ctx, ACCESS_INT);
81     EA = tcg_temp_new();
83     gen_addr_reg_index(ctx, EA);
84     if (ctx->le_mode) {
85         TCGv_i64 t0 = tcg_temp_new_i64();
86         TCGv_i64 t1 = tcg_temp_new_i64();
88         tcg_gen_qemu_ld_i64(t0, EA, ctx->mem_idx, MO_LEUQ);
89         tcg_gen_shri_i64(t1, t0, 32);
90         tcg_gen_deposit_i64(xth, t1, t0, 32, 32);
91         tcg_gen_addi_tl(EA, EA, 8);
92         tcg_gen_qemu_ld_i64(t0, EA, ctx->mem_idx, MO_LEUQ);
93         tcg_gen_shri_i64(t1, t0, 32);
94         tcg_gen_deposit_i64(xtl, t1, t0, 32, 32);
95         tcg_temp_free_i64(t0);
96         tcg_temp_free_i64(t1);
97     } else {
98         tcg_gen_qemu_ld_i64(xth, EA, ctx->mem_idx, MO_BEUQ);
99         tcg_gen_addi_tl(EA, EA, 8);
100         tcg_gen_qemu_ld_i64(xtl, EA, ctx->mem_idx, MO_BEUQ);
101     }
102     set_cpu_vsr(xT(ctx->opcode), xth, true);
103     set_cpu_vsr(xT(ctx->opcode), xtl, false);
104     tcg_temp_free(EA);
105     tcg_temp_free_i64(xth);
106     tcg_temp_free_i64(xtl);
109 static void gen_lxvwsx(DisasContext *ctx)
111     TCGv EA;
112     TCGv_i32 data;
114     if (xT(ctx->opcode) < 32) {
115         if (unlikely(!ctx->vsx_enabled)) {
116             gen_exception(ctx, POWERPC_EXCP_VSXU);
117             return;
118         }
119     } else {
120         if (unlikely(!ctx->altivec_enabled)) {
121             gen_exception(ctx, POWERPC_EXCP_VPU);
122             return;
123         }
124     }
126     gen_set_access_type(ctx, ACCESS_INT);
127     EA = tcg_temp_new();
129     gen_addr_reg_index(ctx, EA);
131     data = tcg_temp_new_i32();
132     tcg_gen_qemu_ld_i32(data, EA, ctx->mem_idx, DEF_MEMOP(MO_UL));
133     tcg_gen_gvec_dup_i32(MO_UL, vsr_full_offset(xT(ctx->opcode)), 16, 16, data);
135     tcg_temp_free(EA);
136     tcg_temp_free_i32(data);
139 static void gen_lxvdsx(DisasContext *ctx)
141     TCGv EA;
142     TCGv_i64 data;
144     if (unlikely(!ctx->vsx_enabled)) {
145         gen_exception(ctx, POWERPC_EXCP_VSXU);
146         return;
147     }
149     gen_set_access_type(ctx, ACCESS_INT);
150     EA = tcg_temp_new();
152     gen_addr_reg_index(ctx, EA);
154     data = tcg_temp_new_i64();
155     tcg_gen_qemu_ld_i64(data, EA, ctx->mem_idx, DEF_MEMOP(MO_UQ));
156     tcg_gen_gvec_dup_i64(MO_UQ, vsr_full_offset(xT(ctx->opcode)), 16, 16, data);
158     tcg_temp_free(EA);
159     tcg_temp_free_i64(data);
162 static void gen_bswap16x8(TCGv_i64 outh, TCGv_i64 outl,
163                           TCGv_i64 inh, TCGv_i64 inl)
165     TCGv_i64 mask = tcg_const_i64(0x00FF00FF00FF00FF);
166     TCGv_i64 t0 = tcg_temp_new_i64();
167     TCGv_i64 t1 = tcg_temp_new_i64();
169     /* outh = ((inh & mask) << 8) | ((inh >> 8) & mask) */
170     tcg_gen_and_i64(t0, inh, mask);
171     tcg_gen_shli_i64(t0, t0, 8);
172     tcg_gen_shri_i64(t1, inh, 8);
173     tcg_gen_and_i64(t1, t1, mask);
174     tcg_gen_or_i64(outh, t0, t1);
176     /* outl = ((inl & mask) << 8) | ((inl >> 8) & mask) */
177     tcg_gen_and_i64(t0, inl, mask);
178     tcg_gen_shli_i64(t0, t0, 8);
179     tcg_gen_shri_i64(t1, inl, 8);
180     tcg_gen_and_i64(t1, t1, mask);
181     tcg_gen_or_i64(outl, t0, t1);
183     tcg_temp_free_i64(t0);
184     tcg_temp_free_i64(t1);
185     tcg_temp_free_i64(mask);
188 static void gen_bswap32x4(TCGv_i64 outh, TCGv_i64 outl,
189                           TCGv_i64 inh, TCGv_i64 inl)
191     TCGv_i64 hi = tcg_temp_new_i64();
192     TCGv_i64 lo = tcg_temp_new_i64();
194     tcg_gen_bswap64_i64(hi, inh);
195     tcg_gen_bswap64_i64(lo, inl);
196     tcg_gen_shri_i64(outh, hi, 32);
197     tcg_gen_deposit_i64(outh, outh, hi, 32, 32);
198     tcg_gen_shri_i64(outl, lo, 32);
199     tcg_gen_deposit_i64(outl, outl, lo, 32, 32);
201     tcg_temp_free_i64(hi);
202     tcg_temp_free_i64(lo);
204 static void gen_lxvh8x(DisasContext *ctx)
206     TCGv EA;
207     TCGv_i64 xth;
208     TCGv_i64 xtl;
210     if (unlikely(!ctx->vsx_enabled)) {
211         gen_exception(ctx, POWERPC_EXCP_VSXU);
212         return;
213     }
214     xth = tcg_temp_new_i64();
215     xtl = tcg_temp_new_i64();
216     gen_set_access_type(ctx, ACCESS_INT);
218     EA = tcg_temp_new();
219     gen_addr_reg_index(ctx, EA);
220     tcg_gen_qemu_ld_i64(xth, EA, ctx->mem_idx, MO_BEUQ);
221     tcg_gen_addi_tl(EA, EA, 8);
222     tcg_gen_qemu_ld_i64(xtl, EA, ctx->mem_idx, MO_BEUQ);
223     if (ctx->le_mode) {
224         gen_bswap16x8(xth, xtl, xth, xtl);
225     }
226     set_cpu_vsr(xT(ctx->opcode), xth, true);
227     set_cpu_vsr(xT(ctx->opcode), xtl, false);
228     tcg_temp_free(EA);
229     tcg_temp_free_i64(xth);
230     tcg_temp_free_i64(xtl);
233 static void gen_lxvb16x(DisasContext *ctx)
235     TCGv EA;
236     TCGv_i64 xth;
237     TCGv_i64 xtl;
239     if (unlikely(!ctx->vsx_enabled)) {
240         gen_exception(ctx, POWERPC_EXCP_VSXU);
241         return;
242     }
243     xth = tcg_temp_new_i64();
244     xtl = tcg_temp_new_i64();
245     gen_set_access_type(ctx, ACCESS_INT);
246     EA = tcg_temp_new();
247     gen_addr_reg_index(ctx, EA);
248     tcg_gen_qemu_ld_i64(xth, EA, ctx->mem_idx, MO_BEUQ);
249     tcg_gen_addi_tl(EA, EA, 8);
250     tcg_gen_qemu_ld_i64(xtl, EA, ctx->mem_idx, MO_BEUQ);
251     set_cpu_vsr(xT(ctx->opcode), xth, true);
252     set_cpu_vsr(xT(ctx->opcode), xtl, false);
253     tcg_temp_free(EA);
254     tcg_temp_free_i64(xth);
255     tcg_temp_free_i64(xtl);
258 #ifdef TARGET_PPC64
259 #define VSX_VECTOR_LOAD_STORE_LENGTH(name)                         \
260 static void gen_##name(DisasContext *ctx)                          \
261 {                                                                  \
262     TCGv EA;                                                       \
263     TCGv_ptr xt;                                                   \
264                                                                    \
265     if (xT(ctx->opcode) < 32) {                                    \
266         if (unlikely(!ctx->vsx_enabled)) {                         \
267             gen_exception(ctx, POWERPC_EXCP_VSXU);                 \
268             return;                                                \
269         }                                                          \
270     } else {                                                       \
271         if (unlikely(!ctx->altivec_enabled)) {                     \
272             gen_exception(ctx, POWERPC_EXCP_VPU);                  \
273             return;                                                \
274         }                                                          \
275     }                                                              \
276     EA = tcg_temp_new();                                           \
277     xt = gen_vsr_ptr(xT(ctx->opcode));                             \
278     gen_set_access_type(ctx, ACCESS_INT);                          \
279     gen_addr_register(ctx, EA);                                    \
280     gen_helper_##name(cpu_env, EA, xt, cpu_gpr[rB(ctx->opcode)]);  \
281     tcg_temp_free(EA);                                             \
282     tcg_temp_free_ptr(xt);                                         \
285 VSX_VECTOR_LOAD_STORE_LENGTH(lxvl)
286 VSX_VECTOR_LOAD_STORE_LENGTH(lxvll)
287 VSX_VECTOR_LOAD_STORE_LENGTH(stxvl)
288 VSX_VECTOR_LOAD_STORE_LENGTH(stxvll)
289 #endif
291 #define VSX_LOAD_SCALAR_DS(name, operation)                       \
292 static void gen_##name(DisasContext *ctx)                         \
293 {                                                                 \
294     TCGv EA;                                                      \
295     TCGv_i64 xth;                                                 \
296                                                                   \
297     if (unlikely(!ctx->altivec_enabled)) {                        \
298         gen_exception(ctx, POWERPC_EXCP_VPU);                     \
299         return;                                                   \
300     }                                                             \
301     xth = tcg_temp_new_i64();                                     \
302     gen_set_access_type(ctx, ACCESS_INT);                         \
303     EA = tcg_temp_new();                                          \
304     gen_addr_imm_index(ctx, EA, 0x03);                            \
305     gen_qemu_##operation(ctx, xth, EA);                           \
306     set_cpu_vsr(rD(ctx->opcode) + 32, xth, true);                 \
307     /* NOTE: cpu_vsrl is undefined */                             \
308     tcg_temp_free(EA);                                            \
309     tcg_temp_free_i64(xth);                                       \
312 VSX_LOAD_SCALAR_DS(lxsd, ld64_i64)
313 VSX_LOAD_SCALAR_DS(lxssp, ld32fs)
315 #define VSX_STORE_SCALAR(name, operation)                     \
316 static void gen_##name(DisasContext *ctx)                     \
317 {                                                             \
318     TCGv EA;                                                  \
319     TCGv_i64 t0;                                              \
320     if (unlikely(!ctx->vsx_enabled)) {                        \
321         gen_exception(ctx, POWERPC_EXCP_VSXU);                \
322         return;                                               \
323     }                                                         \
324     t0 = tcg_temp_new_i64();                                  \
325     gen_set_access_type(ctx, ACCESS_INT);                     \
326     EA = tcg_temp_new();                                      \
327     gen_addr_reg_index(ctx, EA);                              \
328     get_cpu_vsr(t0, xS(ctx->opcode), true);                   \
329     gen_qemu_##operation(ctx, t0, EA);                        \
330     tcg_temp_free(EA);                                        \
331     tcg_temp_free_i64(t0);                                    \
334 VSX_STORE_SCALAR(stxsdx, st64_i64)
336 VSX_STORE_SCALAR(stxsibx, st8_i64)
337 VSX_STORE_SCALAR(stxsihx, st16_i64)
338 VSX_STORE_SCALAR(stxsiwx, st32_i64)
339 VSX_STORE_SCALAR(stxsspx, st32fs)
341 static void gen_stxvd2x(DisasContext *ctx)
343     TCGv EA;
344     TCGv_i64 t0;
345     if (unlikely(!ctx->vsx_enabled)) {
346         gen_exception(ctx, POWERPC_EXCP_VSXU);
347         return;
348     }
349     t0 = tcg_temp_new_i64();
350     gen_set_access_type(ctx, ACCESS_INT);
351     EA = tcg_temp_new();
352     gen_addr_reg_index(ctx, EA);
353     get_cpu_vsr(t0, xS(ctx->opcode), true);
354     gen_qemu_st64_i64(ctx, t0, EA);
355     tcg_gen_addi_tl(EA, EA, 8);
356     get_cpu_vsr(t0, xS(ctx->opcode), false);
357     gen_qemu_st64_i64(ctx, t0, EA);
358     tcg_temp_free(EA);
359     tcg_temp_free_i64(t0);
362 static void gen_stxvw4x(DisasContext *ctx)
364     TCGv EA;
365     TCGv_i64 xsh;
366     TCGv_i64 xsl;
368     if (unlikely(!ctx->vsx_enabled)) {
369         gen_exception(ctx, POWERPC_EXCP_VSXU);
370         return;
371     }
372     xsh = tcg_temp_new_i64();
373     xsl = tcg_temp_new_i64();
374     get_cpu_vsr(xsh, xS(ctx->opcode), true);
375     get_cpu_vsr(xsl, xS(ctx->opcode), false);
376     gen_set_access_type(ctx, ACCESS_INT);
377     EA = tcg_temp_new();
378     gen_addr_reg_index(ctx, EA);
379     if (ctx->le_mode) {
380         TCGv_i64 t0 = tcg_temp_new_i64();
381         TCGv_i64 t1 = tcg_temp_new_i64();
383         tcg_gen_shri_i64(t0, xsh, 32);
384         tcg_gen_deposit_i64(t1, t0, xsh, 32, 32);
385         tcg_gen_qemu_st_i64(t1, EA, ctx->mem_idx, MO_LEUQ);
386         tcg_gen_addi_tl(EA, EA, 8);
387         tcg_gen_shri_i64(t0, xsl, 32);
388         tcg_gen_deposit_i64(t1, t0, xsl, 32, 32);
389         tcg_gen_qemu_st_i64(t1, EA, ctx->mem_idx, MO_LEUQ);
390         tcg_temp_free_i64(t0);
391         tcg_temp_free_i64(t1);
392     } else {
393         tcg_gen_qemu_st_i64(xsh, EA, ctx->mem_idx, MO_BEUQ);
394         tcg_gen_addi_tl(EA, EA, 8);
395         tcg_gen_qemu_st_i64(xsl, EA, ctx->mem_idx, MO_BEUQ);
396     }
397     tcg_temp_free(EA);
398     tcg_temp_free_i64(xsh);
399     tcg_temp_free_i64(xsl);
402 static void gen_stxvh8x(DisasContext *ctx)
404     TCGv EA;
405     TCGv_i64 xsh;
406     TCGv_i64 xsl;
408     if (unlikely(!ctx->vsx_enabled)) {
409         gen_exception(ctx, POWERPC_EXCP_VSXU);
410         return;
411     }
412     xsh = tcg_temp_new_i64();
413     xsl = tcg_temp_new_i64();
414     get_cpu_vsr(xsh, xS(ctx->opcode), true);
415     get_cpu_vsr(xsl, xS(ctx->opcode), false);
416     gen_set_access_type(ctx, ACCESS_INT);
417     EA = tcg_temp_new();
418     gen_addr_reg_index(ctx, EA);
419     if (ctx->le_mode) {
420         TCGv_i64 outh = tcg_temp_new_i64();
421         TCGv_i64 outl = tcg_temp_new_i64();
423         gen_bswap16x8(outh, outl, xsh, xsl);
424         tcg_gen_qemu_st_i64(outh, EA, ctx->mem_idx, MO_BEUQ);
425         tcg_gen_addi_tl(EA, EA, 8);
426         tcg_gen_qemu_st_i64(outl, EA, ctx->mem_idx, MO_BEUQ);
427         tcg_temp_free_i64(outh);
428         tcg_temp_free_i64(outl);
429     } else {
430         tcg_gen_qemu_st_i64(xsh, EA, ctx->mem_idx, MO_BEUQ);
431         tcg_gen_addi_tl(EA, EA, 8);
432         tcg_gen_qemu_st_i64(xsl, EA, ctx->mem_idx, MO_BEUQ);
433     }
434     tcg_temp_free(EA);
435     tcg_temp_free_i64(xsh);
436     tcg_temp_free_i64(xsl);
439 static void gen_stxvb16x(DisasContext *ctx)
441     TCGv EA;
442     TCGv_i64 xsh;
443     TCGv_i64 xsl;
445     if (unlikely(!ctx->vsx_enabled)) {
446         gen_exception(ctx, POWERPC_EXCP_VSXU);
447         return;
448     }
449     xsh = tcg_temp_new_i64();
450     xsl = tcg_temp_new_i64();
451     get_cpu_vsr(xsh, xS(ctx->opcode), true);
452     get_cpu_vsr(xsl, xS(ctx->opcode), false);
453     gen_set_access_type(ctx, ACCESS_INT);
454     EA = tcg_temp_new();
455     gen_addr_reg_index(ctx, EA);
456     tcg_gen_qemu_st_i64(xsh, EA, ctx->mem_idx, MO_BEUQ);
457     tcg_gen_addi_tl(EA, EA, 8);
458     tcg_gen_qemu_st_i64(xsl, EA, ctx->mem_idx, MO_BEUQ);
459     tcg_temp_free(EA);
460     tcg_temp_free_i64(xsh);
461     tcg_temp_free_i64(xsl);
464 #define VSX_STORE_SCALAR_DS(name, operation)                      \
465 static void gen_##name(DisasContext *ctx)                         \
466 {                                                                 \
467     TCGv EA;                                                      \
468     TCGv_i64 xth;                                                 \
469                                                                   \
470     if (unlikely(!ctx->altivec_enabled)) {                        \
471         gen_exception(ctx, POWERPC_EXCP_VPU);                     \
472         return;                                                   \
473     }                                                             \
474     xth = tcg_temp_new_i64();                                     \
475     get_cpu_vsr(xth, rD(ctx->opcode) + 32, true);                 \
476     gen_set_access_type(ctx, ACCESS_INT);                         \
477     EA = tcg_temp_new();                                          \
478     gen_addr_imm_index(ctx, EA, 0x03);                            \
479     gen_qemu_##operation(ctx, xth, EA);                           \
480     /* NOTE: cpu_vsrl is undefined */                             \
481     tcg_temp_free(EA);                                            \
482     tcg_temp_free_i64(xth);                                       \
485 VSX_STORE_SCALAR_DS(stxsd, st64_i64)
486 VSX_STORE_SCALAR_DS(stxssp, st32fs)
488 static void gen_mfvsrwz(DisasContext *ctx)
490     if (xS(ctx->opcode) < 32) {
491         if (unlikely(!ctx->fpu_enabled)) {
492             gen_exception(ctx, POWERPC_EXCP_FPU);
493             return;
494         }
495     } else {
496         if (unlikely(!ctx->altivec_enabled)) {
497             gen_exception(ctx, POWERPC_EXCP_VPU);
498             return;
499         }
500     }
501     TCGv_i64 tmp = tcg_temp_new_i64();
502     TCGv_i64 xsh = tcg_temp_new_i64();
503     get_cpu_vsr(xsh, xS(ctx->opcode), true);
504     tcg_gen_ext32u_i64(tmp, xsh);
505     tcg_gen_trunc_i64_tl(cpu_gpr[rA(ctx->opcode)], tmp);
506     tcg_temp_free_i64(tmp);
507     tcg_temp_free_i64(xsh);
510 static void gen_mtvsrwa(DisasContext *ctx)
512     if (xS(ctx->opcode) < 32) {
513         if (unlikely(!ctx->fpu_enabled)) {
514             gen_exception(ctx, POWERPC_EXCP_FPU);
515             return;
516         }
517     } else {
518         if (unlikely(!ctx->altivec_enabled)) {
519             gen_exception(ctx, POWERPC_EXCP_VPU);
520             return;
521         }
522     }
523     TCGv_i64 tmp = tcg_temp_new_i64();
524     TCGv_i64 xsh = tcg_temp_new_i64();
525     tcg_gen_extu_tl_i64(tmp, cpu_gpr[rA(ctx->opcode)]);
526     tcg_gen_ext32s_i64(xsh, tmp);
527     set_cpu_vsr(xT(ctx->opcode), xsh, true);
528     tcg_temp_free_i64(tmp);
529     tcg_temp_free_i64(xsh);
532 static void gen_mtvsrwz(DisasContext *ctx)
534     if (xS(ctx->opcode) < 32) {
535         if (unlikely(!ctx->fpu_enabled)) {
536             gen_exception(ctx, POWERPC_EXCP_FPU);
537             return;
538         }
539     } else {
540         if (unlikely(!ctx->altivec_enabled)) {
541             gen_exception(ctx, POWERPC_EXCP_VPU);
542             return;
543         }
544     }
545     TCGv_i64 tmp = tcg_temp_new_i64();
546     TCGv_i64 xsh = tcg_temp_new_i64();
547     tcg_gen_extu_tl_i64(tmp, cpu_gpr[rA(ctx->opcode)]);
548     tcg_gen_ext32u_i64(xsh, tmp);
549     set_cpu_vsr(xT(ctx->opcode), xsh, true);
550     tcg_temp_free_i64(tmp);
551     tcg_temp_free_i64(xsh);
554 #if defined(TARGET_PPC64)
555 static void gen_mfvsrd(DisasContext *ctx)
557     TCGv_i64 t0;
558     if (xS(ctx->opcode) < 32) {
559         if (unlikely(!ctx->fpu_enabled)) {
560             gen_exception(ctx, POWERPC_EXCP_FPU);
561             return;
562         }
563     } else {
564         if (unlikely(!ctx->altivec_enabled)) {
565             gen_exception(ctx, POWERPC_EXCP_VPU);
566             return;
567         }
568     }
569     t0 = tcg_temp_new_i64();
570     get_cpu_vsr(t0, xS(ctx->opcode), true);
571     tcg_gen_mov_i64(cpu_gpr[rA(ctx->opcode)], t0);
572     tcg_temp_free_i64(t0);
575 static void gen_mtvsrd(DisasContext *ctx)
577     TCGv_i64 t0;
578     if (xS(ctx->opcode) < 32) {
579         if (unlikely(!ctx->fpu_enabled)) {
580             gen_exception(ctx, POWERPC_EXCP_FPU);
581             return;
582         }
583     } else {
584         if (unlikely(!ctx->altivec_enabled)) {
585             gen_exception(ctx, POWERPC_EXCP_VPU);
586             return;
587         }
588     }
589     t0 = tcg_temp_new_i64();
590     tcg_gen_mov_i64(t0, cpu_gpr[rA(ctx->opcode)]);
591     set_cpu_vsr(xT(ctx->opcode), t0, true);
592     tcg_temp_free_i64(t0);
595 static void gen_mfvsrld(DisasContext *ctx)
597     TCGv_i64 t0;
598     if (xS(ctx->opcode) < 32) {
599         if (unlikely(!ctx->vsx_enabled)) {
600             gen_exception(ctx, POWERPC_EXCP_VSXU);
601             return;
602         }
603     } else {
604         if (unlikely(!ctx->altivec_enabled)) {
605             gen_exception(ctx, POWERPC_EXCP_VPU);
606             return;
607         }
608     }
609     t0 = tcg_temp_new_i64();
610     get_cpu_vsr(t0, xS(ctx->opcode), false);
611     tcg_gen_mov_i64(cpu_gpr[rA(ctx->opcode)], t0);
612     tcg_temp_free_i64(t0);
615 static void gen_mtvsrdd(DisasContext *ctx)
617     TCGv_i64 t0;
618     if (xT(ctx->opcode) < 32) {
619         if (unlikely(!ctx->vsx_enabled)) {
620             gen_exception(ctx, POWERPC_EXCP_VSXU);
621             return;
622         }
623     } else {
624         if (unlikely(!ctx->altivec_enabled)) {
625             gen_exception(ctx, POWERPC_EXCP_VPU);
626             return;
627         }
628     }
630     t0 = tcg_temp_new_i64();
631     if (!rA(ctx->opcode)) {
632         tcg_gen_movi_i64(t0, 0);
633     } else {
634         tcg_gen_mov_i64(t0, cpu_gpr[rA(ctx->opcode)]);
635     }
636     set_cpu_vsr(xT(ctx->opcode), t0, true);
638     tcg_gen_mov_i64(t0, cpu_gpr[rB(ctx->opcode)]);
639     set_cpu_vsr(xT(ctx->opcode), t0, false);
640     tcg_temp_free_i64(t0);
643 static void gen_mtvsrws(DisasContext *ctx)
645     TCGv_i64 t0;
646     if (xT(ctx->opcode) < 32) {
647         if (unlikely(!ctx->vsx_enabled)) {
648             gen_exception(ctx, POWERPC_EXCP_VSXU);
649             return;
650         }
651     } else {
652         if (unlikely(!ctx->altivec_enabled)) {
653             gen_exception(ctx, POWERPC_EXCP_VPU);
654             return;
655         }
656     }
658     t0 = tcg_temp_new_i64();
659     tcg_gen_deposit_i64(t0, cpu_gpr[rA(ctx->opcode)],
660                         cpu_gpr[rA(ctx->opcode)], 32, 32);
661     set_cpu_vsr(xT(ctx->opcode), t0, false);
662     set_cpu_vsr(xT(ctx->opcode), t0, true);
663     tcg_temp_free_i64(t0);
666 #endif
668 #define OP_ABS 1
669 #define OP_NABS 2
670 #define OP_NEG 3
671 #define OP_CPSGN 4
672 #define SGN_MASK_DP  0x8000000000000000ull
673 #define SGN_MASK_SP 0x8000000080000000ull
675 #define VSX_SCALAR_MOVE(name, op, sgn_mask)                       \
676 static void glue(gen_, name)(DisasContext *ctx)                   \
677     {                                                             \
678         TCGv_i64 xb, sgm;                                         \
679         if (unlikely(!ctx->vsx_enabled)) {                        \
680             gen_exception(ctx, POWERPC_EXCP_VSXU);                \
681             return;                                               \
682         }                                                         \
683         xb = tcg_temp_new_i64();                                  \
684         sgm = tcg_temp_new_i64();                                 \
685         get_cpu_vsr(xb, xB(ctx->opcode), true);                   \
686         tcg_gen_movi_i64(sgm, sgn_mask);                          \
687         switch (op) {                                             \
688             case OP_ABS: {                                        \
689                 tcg_gen_andc_i64(xb, xb, sgm);                    \
690                 break;                                            \
691             }                                                     \
692             case OP_NABS: {                                       \
693                 tcg_gen_or_i64(xb, xb, sgm);                      \
694                 break;                                            \
695             }                                                     \
696             case OP_NEG: {                                        \
697                 tcg_gen_xor_i64(xb, xb, sgm);                     \
698                 break;                                            \
699             }                                                     \
700             case OP_CPSGN: {                                      \
701                 TCGv_i64 xa = tcg_temp_new_i64();                 \
702                 get_cpu_vsr(xa, xA(ctx->opcode), true);           \
703                 tcg_gen_and_i64(xa, xa, sgm);                     \
704                 tcg_gen_andc_i64(xb, xb, sgm);                    \
705                 tcg_gen_or_i64(xb, xb, xa);                       \
706                 tcg_temp_free_i64(xa);                            \
707                 break;                                            \
708             }                                                     \
709         }                                                         \
710         set_cpu_vsr(xT(ctx->opcode), xb, true);                   \
711         set_cpu_vsr(xT(ctx->opcode), tcg_constant_i64(0), false); \
712         tcg_temp_free_i64(xb);                                    \
713         tcg_temp_free_i64(sgm);                                   \
714     }
716 VSX_SCALAR_MOVE(xsabsdp, OP_ABS, SGN_MASK_DP)
717 VSX_SCALAR_MOVE(xsnabsdp, OP_NABS, SGN_MASK_DP)
718 VSX_SCALAR_MOVE(xsnegdp, OP_NEG, SGN_MASK_DP)
719 VSX_SCALAR_MOVE(xscpsgndp, OP_CPSGN, SGN_MASK_DP)
721 #define VSX_SCALAR_MOVE_QP(name, op, sgn_mask)                    \
722 static void glue(gen_, name)(DisasContext *ctx)                   \
723 {                                                                 \
724     int xa;                                                       \
725     int xt = rD(ctx->opcode) + 32;                                \
726     int xb = rB(ctx->opcode) + 32;                                \
727     TCGv_i64 xah, xbh, xbl, sgm, tmp;                             \
728                                                                   \
729     if (unlikely(!ctx->vsx_enabled)) {                            \
730         gen_exception(ctx, POWERPC_EXCP_VSXU);                    \
731         return;                                                   \
732     }                                                             \
733     xbh = tcg_temp_new_i64();                                     \
734     xbl = tcg_temp_new_i64();                                     \
735     sgm = tcg_temp_new_i64();                                     \
736     tmp = tcg_temp_new_i64();                                     \
737     get_cpu_vsr(xbh, xb, true);                                   \
738     get_cpu_vsr(xbl, xb, false);                                  \
739     tcg_gen_movi_i64(sgm, sgn_mask);                              \
740     switch (op) {                                                 \
741     case OP_ABS:                                                  \
742         tcg_gen_andc_i64(xbh, xbh, sgm);                          \
743         break;                                                    \
744     case OP_NABS:                                                 \
745         tcg_gen_or_i64(xbh, xbh, sgm);                            \
746         break;                                                    \
747     case OP_NEG:                                                  \
748         tcg_gen_xor_i64(xbh, xbh, sgm);                           \
749         break;                                                    \
750     case OP_CPSGN:                                                \
751         xah = tcg_temp_new_i64();                                 \
752         xa = rA(ctx->opcode) + 32;                                \
753         get_cpu_vsr(tmp, xa, true);                               \
754         tcg_gen_and_i64(xah, tmp, sgm);                           \
755         tcg_gen_andc_i64(xbh, xbh, sgm);                          \
756         tcg_gen_or_i64(xbh, xbh, xah);                            \
757         tcg_temp_free_i64(xah);                                   \
758         break;                                                    \
759     }                                                             \
760     set_cpu_vsr(xt, xbh, true);                                   \
761     set_cpu_vsr(xt, xbl, false);                                  \
762     tcg_temp_free_i64(xbl);                                       \
763     tcg_temp_free_i64(xbh);                                       \
764     tcg_temp_free_i64(sgm);                                       \
765     tcg_temp_free_i64(tmp);                                       \
768 VSX_SCALAR_MOVE_QP(xsabsqp, OP_ABS, SGN_MASK_DP)
769 VSX_SCALAR_MOVE_QP(xsnabsqp, OP_NABS, SGN_MASK_DP)
770 VSX_SCALAR_MOVE_QP(xsnegqp, OP_NEG, SGN_MASK_DP)
771 VSX_SCALAR_MOVE_QP(xscpsgnqp, OP_CPSGN, SGN_MASK_DP)
773 #define VSX_VECTOR_MOVE(name, op, sgn_mask)                      \
774 static void glue(gen_, name)(DisasContext *ctx)                  \
775     {                                                            \
776         TCGv_i64 xbh, xbl, sgm;                                  \
777         if (unlikely(!ctx->vsx_enabled)) {                       \
778             gen_exception(ctx, POWERPC_EXCP_VSXU);               \
779             return;                                              \
780         }                                                        \
781         xbh = tcg_temp_new_i64();                                \
782         xbl = tcg_temp_new_i64();                                \
783         sgm = tcg_temp_new_i64();                                \
784         get_cpu_vsr(xbh, xB(ctx->opcode), true);                 \
785         get_cpu_vsr(xbl, xB(ctx->opcode), false);                \
786         tcg_gen_movi_i64(sgm, sgn_mask);                         \
787         switch (op) {                                            \
788             case OP_ABS: {                                       \
789                 tcg_gen_andc_i64(xbh, xbh, sgm);                 \
790                 tcg_gen_andc_i64(xbl, xbl, sgm);                 \
791                 break;                                           \
792             }                                                    \
793             case OP_NABS: {                                      \
794                 tcg_gen_or_i64(xbh, xbh, sgm);                   \
795                 tcg_gen_or_i64(xbl, xbl, sgm);                   \
796                 break;                                           \
797             }                                                    \
798             case OP_NEG: {                                       \
799                 tcg_gen_xor_i64(xbh, xbh, sgm);                  \
800                 tcg_gen_xor_i64(xbl, xbl, sgm);                  \
801                 break;                                           \
802             }                                                    \
803             case OP_CPSGN: {                                     \
804                 TCGv_i64 xah = tcg_temp_new_i64();               \
805                 TCGv_i64 xal = tcg_temp_new_i64();               \
806                 get_cpu_vsr(xah, xA(ctx->opcode), true);         \
807                 get_cpu_vsr(xal, xA(ctx->opcode), false);        \
808                 tcg_gen_and_i64(xah, xah, sgm);                  \
809                 tcg_gen_and_i64(xal, xal, sgm);                  \
810                 tcg_gen_andc_i64(xbh, xbh, sgm);                 \
811                 tcg_gen_andc_i64(xbl, xbl, sgm);                 \
812                 tcg_gen_or_i64(xbh, xbh, xah);                   \
813                 tcg_gen_or_i64(xbl, xbl, xal);                   \
814                 tcg_temp_free_i64(xah);                          \
815                 tcg_temp_free_i64(xal);                          \
816                 break;                                           \
817             }                                                    \
818         }                                                        \
819         set_cpu_vsr(xT(ctx->opcode), xbh, true);                 \
820         set_cpu_vsr(xT(ctx->opcode), xbl, false);                \
821         tcg_temp_free_i64(xbh);                                  \
822         tcg_temp_free_i64(xbl);                                  \
823         tcg_temp_free_i64(sgm);                                  \
824     }
826 VSX_VECTOR_MOVE(xvabsdp, OP_ABS, SGN_MASK_DP)
827 VSX_VECTOR_MOVE(xvnabsdp, OP_NABS, SGN_MASK_DP)
828 VSX_VECTOR_MOVE(xvnegdp, OP_NEG, SGN_MASK_DP)
829 VSX_VECTOR_MOVE(xvcpsgndp, OP_CPSGN, SGN_MASK_DP)
830 VSX_VECTOR_MOVE(xvabssp, OP_ABS, SGN_MASK_SP)
831 VSX_VECTOR_MOVE(xvnabssp, OP_NABS, SGN_MASK_SP)
832 VSX_VECTOR_MOVE(xvnegsp, OP_NEG, SGN_MASK_SP)
833 VSX_VECTOR_MOVE(xvcpsgnsp, OP_CPSGN, SGN_MASK_SP)
835 #define VSX_CMP(name, op1, op2, inval, type)                                  \
836 static void gen_##name(DisasContext *ctx)                                     \
837 {                                                                             \
838     TCGv_i32 ignored;                                                         \
839     TCGv_ptr xt, xa, xb;                                                      \
840     if (unlikely(!ctx->vsx_enabled)) {                                        \
841         gen_exception(ctx, POWERPC_EXCP_VSXU);                                \
842         return;                                                               \
843     }                                                                         \
844     xt = gen_vsr_ptr(xT(ctx->opcode));                                        \
845     xa = gen_vsr_ptr(xA(ctx->opcode));                                        \
846     xb = gen_vsr_ptr(xB(ctx->opcode));                                        \
847     if ((ctx->opcode >> (31 - 21)) & 1) {                                     \
848         gen_helper_##name(cpu_crf[6], cpu_env, xt, xa, xb);                   \
849     } else {                                                                  \
850         ignored = tcg_temp_new_i32();                                         \
851         gen_helper_##name(ignored, cpu_env, xt, xa, xb);                      \
852         tcg_temp_free_i32(ignored);                                           \
853     }                                                                         \
854     gen_helper_float_check_status(cpu_env);                                   \
855     tcg_temp_free_ptr(xt);                                                    \
856     tcg_temp_free_ptr(xa);                                                    \
857     tcg_temp_free_ptr(xb);                                                    \
860 VSX_CMP(xvcmpeqdp, 0x0C, 0x0C, 0, PPC2_VSX)
861 VSX_CMP(xvcmpgedp, 0x0C, 0x0E, 0, PPC2_VSX)
862 VSX_CMP(xvcmpgtdp, 0x0C, 0x0D, 0, PPC2_VSX)
863 VSX_CMP(xvcmpnedp, 0x0C, 0x0F, 0, PPC2_ISA300)
864 VSX_CMP(xvcmpeqsp, 0x0C, 0x08, 0, PPC2_VSX)
865 VSX_CMP(xvcmpgesp, 0x0C, 0x0A, 0, PPC2_VSX)
866 VSX_CMP(xvcmpgtsp, 0x0C, 0x09, 0, PPC2_VSX)
867 VSX_CMP(xvcmpnesp, 0x0C, 0x0B, 0, PPC2_VSX)
869 static bool trans_XSCVQPDP(DisasContext *ctx, arg_X_tb_rc *a)
871     TCGv_i32 ro;
872     TCGv_ptr xt, xb;
874     REQUIRE_INSNS_FLAGS2(ctx, ISA300);
875     REQUIRE_VSX(ctx);
877     ro = tcg_const_i32(a->rc);
879     xt = gen_avr_ptr(a->rt);
880     xb = gen_avr_ptr(a->rb);
881     gen_helper_XSCVQPDP(cpu_env, ro, xt, xb);
882     tcg_temp_free_i32(ro);
883     tcg_temp_free_ptr(xt);
884     tcg_temp_free_ptr(xb);
886     return true;
889 #define GEN_VSX_HELPER_2(name, op1, op2, inval, type)                         \
890 static void gen_##name(DisasContext *ctx)                                     \
891 {                                                                             \
892     TCGv_i32 opc;                                                             \
893     if (unlikely(!ctx->vsx_enabled)) {                                        \
894         gen_exception(ctx, POWERPC_EXCP_VSXU);                                \
895         return;                                                               \
896     }                                                                         \
897     opc = tcg_const_i32(ctx->opcode);                                         \
898     gen_helper_##name(cpu_env, opc);                                          \
899     tcg_temp_free_i32(opc);                                                   \
902 #define GEN_VSX_HELPER_X3(name, op1, op2, inval, type)                        \
903 static void gen_##name(DisasContext *ctx)                                     \
904 {                                                                             \
905     TCGv_ptr xt, xa, xb;                                                      \
906     if (unlikely(!ctx->vsx_enabled)) {                                        \
907         gen_exception(ctx, POWERPC_EXCP_VSXU);                                \
908         return;                                                               \
909     }                                                                         \
910     xt = gen_vsr_ptr(xT(ctx->opcode));                                        \
911     xa = gen_vsr_ptr(xA(ctx->opcode));                                        \
912     xb = gen_vsr_ptr(xB(ctx->opcode));                                        \
913     gen_helper_##name(cpu_env, xt, xa, xb);                                   \
914     tcg_temp_free_ptr(xt);                                                    \
915     tcg_temp_free_ptr(xa);                                                    \
916     tcg_temp_free_ptr(xb);                                                    \
919 #define GEN_VSX_HELPER_X2(name, op1, op2, inval, type)                        \
920 static void gen_##name(DisasContext *ctx)                                     \
921 {                                                                             \
922     TCGv_ptr xt, xb;                                                          \
923     if (unlikely(!ctx->vsx_enabled)) {                                        \
924         gen_exception(ctx, POWERPC_EXCP_VSXU);                                \
925         return;                                                               \
926     }                                                                         \
927     xt = gen_vsr_ptr(xT(ctx->opcode));                                        \
928     xb = gen_vsr_ptr(xB(ctx->opcode));                                        \
929     gen_helper_##name(cpu_env, xt, xb);                                       \
930     tcg_temp_free_ptr(xt);                                                    \
931     tcg_temp_free_ptr(xb);                                                    \
934 #define GEN_VSX_HELPER_X2_AB(name, op1, op2, inval, type)                     \
935 static void gen_##name(DisasContext *ctx)                                     \
936 {                                                                             \
937     TCGv_i32 opc;                                                             \
938     TCGv_ptr xa, xb;                                                          \
939     if (unlikely(!ctx->vsx_enabled)) {                                        \
940         gen_exception(ctx, POWERPC_EXCP_VSXU);                                \
941         return;                                                               \
942     }                                                                         \
943     opc = tcg_const_i32(ctx->opcode);                                         \
944     xa = gen_vsr_ptr(xA(ctx->opcode));                                        \
945     xb = gen_vsr_ptr(xB(ctx->opcode));                                        \
946     gen_helper_##name(cpu_env, opc, xa, xb);                                  \
947     tcg_temp_free_i32(opc);                                                   \
948     tcg_temp_free_ptr(xa);                                                    \
949     tcg_temp_free_ptr(xb);                                                    \
952 #define GEN_VSX_HELPER_X1(name, op1, op2, inval, type)                        \
953 static void gen_##name(DisasContext *ctx)                                     \
954 {                                                                             \
955     TCGv_i32 opc;                                                             \
956     TCGv_ptr xb;                                                              \
957     if (unlikely(!ctx->vsx_enabled)) {                                        \
958         gen_exception(ctx, POWERPC_EXCP_VSXU);                                \
959         return;                                                               \
960     }                                                                         \
961     opc = tcg_const_i32(ctx->opcode);                                         \
962     xb = gen_vsr_ptr(xB(ctx->opcode));                                        \
963     gen_helper_##name(cpu_env, opc, xb);                                      \
964     tcg_temp_free_i32(opc);                                                   \
965     tcg_temp_free_ptr(xb);                                                    \
968 #define GEN_VSX_HELPER_R3(name, op1, op2, inval, type)                        \
969 static void gen_##name(DisasContext *ctx)                                     \
970 {                                                                             \
971     TCGv_i32 opc;                                                             \
972     TCGv_ptr xt, xa, xb;                                                      \
973     if (unlikely(!ctx->vsx_enabled)) {                                        \
974         gen_exception(ctx, POWERPC_EXCP_VSXU);                                \
975         return;                                                               \
976     }                                                                         \
977     opc = tcg_const_i32(ctx->opcode);                                         \
978     xt = gen_vsr_ptr(rD(ctx->opcode) + 32);                                   \
979     xa = gen_vsr_ptr(rA(ctx->opcode) + 32);                                   \
980     xb = gen_vsr_ptr(rB(ctx->opcode) + 32);                                   \
981     gen_helper_##name(cpu_env, opc, xt, xa, xb);                              \
982     tcg_temp_free_i32(opc);                                                   \
983     tcg_temp_free_ptr(xt);                                                    \
984     tcg_temp_free_ptr(xa);                                                    \
985     tcg_temp_free_ptr(xb);                                                    \
988 #define GEN_VSX_HELPER_R2(name, op1, op2, inval, type)                        \
989 static void gen_##name(DisasContext *ctx)                                     \
990 {                                                                             \
991     TCGv_i32 opc;                                                             \
992     TCGv_ptr xt, xb;                                                          \
993     if (unlikely(!ctx->vsx_enabled)) {                                        \
994         gen_exception(ctx, POWERPC_EXCP_VSXU);                                \
995         return;                                                               \
996     }                                                                         \
997     opc = tcg_const_i32(ctx->opcode);                                         \
998     xt = gen_vsr_ptr(rD(ctx->opcode) + 32);                                   \
999     xb = gen_vsr_ptr(rB(ctx->opcode) + 32);                                   \
1000     gen_helper_##name(cpu_env, opc, xt, xb);                                  \
1001     tcg_temp_free_i32(opc);                                                   \
1002     tcg_temp_free_ptr(xt);                                                    \
1003     tcg_temp_free_ptr(xb);                                                    \
1006 #define GEN_VSX_HELPER_R2_AB(name, op1, op2, inval, type)                     \
1007 static void gen_##name(DisasContext *ctx)                                     \
1008 {                                                                             \
1009     TCGv_i32 opc;                                                             \
1010     TCGv_ptr xa, xb;                                                          \
1011     if (unlikely(!ctx->vsx_enabled)) {                                        \
1012         gen_exception(ctx, POWERPC_EXCP_VSXU);                                \
1013         return;                                                               \
1014     }                                                                         \
1015     opc = tcg_const_i32(ctx->opcode);                                         \
1016     xa = gen_vsr_ptr(rA(ctx->opcode) + 32);                                   \
1017     xb = gen_vsr_ptr(rB(ctx->opcode) + 32);                                   \
1018     gen_helper_##name(cpu_env, opc, xa, xb);                                  \
1019     tcg_temp_free_i32(opc);                                                   \
1020     tcg_temp_free_ptr(xa);                                                    \
1021     tcg_temp_free_ptr(xb);                                                    \
1024 #define GEN_VSX_HELPER_XT_XB_ENV(name, op1, op2, inval, type) \
1025 static void gen_##name(DisasContext *ctx)                     \
1026 {                                                             \
1027     TCGv_i64 t0;                                              \
1028     TCGv_i64 t1;                                              \
1029     if (unlikely(!ctx->vsx_enabled)) {                        \
1030         gen_exception(ctx, POWERPC_EXCP_VSXU);                \
1031         return;                                               \
1032     }                                                         \
1033     t0 = tcg_temp_new_i64();                                  \
1034     t1 = tcg_temp_new_i64();                                  \
1035     get_cpu_vsr(t0, xB(ctx->opcode), true);                   \
1036     gen_helper_##name(t1, cpu_env, t0);                       \
1037     set_cpu_vsr(xT(ctx->opcode), t1, true);                   \
1038     set_cpu_vsr(xT(ctx->opcode), tcg_constant_i64(0), false); \
1039     tcg_temp_free_i64(t0);                                    \
1040     tcg_temp_free_i64(t1);                                    \
1043 GEN_VSX_HELPER_X3(xsadddp, 0x00, 0x04, 0, PPC2_VSX)
1044 GEN_VSX_HELPER_R3(xsaddqp, 0x04, 0x00, 0, PPC2_ISA300)
1045 GEN_VSX_HELPER_X3(xssubdp, 0x00, 0x05, 0, PPC2_VSX)
1046 GEN_VSX_HELPER_X3(xsmuldp, 0x00, 0x06, 0, PPC2_VSX)
1047 GEN_VSX_HELPER_R3(xsmulqp, 0x04, 0x01, 0, PPC2_ISA300)
1048 GEN_VSX_HELPER_X3(xsdivdp, 0x00, 0x07, 0, PPC2_VSX)
1049 GEN_VSX_HELPER_R3(xsdivqp, 0x04, 0x11, 0, PPC2_ISA300)
1050 GEN_VSX_HELPER_X2(xsredp, 0x14, 0x05, 0, PPC2_VSX)
1051 GEN_VSX_HELPER_X2(xssqrtdp, 0x16, 0x04, 0, PPC2_VSX)
1052 GEN_VSX_HELPER_X2(xsrsqrtedp, 0x14, 0x04, 0, PPC2_VSX)
1053 GEN_VSX_HELPER_X2_AB(xstdivdp, 0x14, 0x07, 0, PPC2_VSX)
1054 GEN_VSX_HELPER_X1(xstsqrtdp, 0x14, 0x06, 0, PPC2_VSX)
1055 GEN_VSX_HELPER_X3(xscmpeqdp, 0x0C, 0x00, 0, PPC2_ISA300)
1056 GEN_VSX_HELPER_X3(xscmpgtdp, 0x0C, 0x01, 0, PPC2_ISA300)
1057 GEN_VSX_HELPER_X3(xscmpgedp, 0x0C, 0x02, 0, PPC2_ISA300)
1058 GEN_VSX_HELPER_X3(xscmpnedp, 0x0C, 0x03, 0, PPC2_ISA300)
1059 GEN_VSX_HELPER_X2_AB(xscmpexpdp, 0x0C, 0x07, 0, PPC2_ISA300)
1060 GEN_VSX_HELPER_R2_AB(xscmpexpqp, 0x04, 0x05, 0, PPC2_ISA300)
1061 GEN_VSX_HELPER_X2_AB(xscmpodp, 0x0C, 0x05, 0, PPC2_VSX)
1062 GEN_VSX_HELPER_X2_AB(xscmpudp, 0x0C, 0x04, 0, PPC2_VSX)
1063 GEN_VSX_HELPER_R2_AB(xscmpoqp, 0x04, 0x04, 0, PPC2_VSX)
1064 GEN_VSX_HELPER_R2_AB(xscmpuqp, 0x04, 0x14, 0, PPC2_VSX)
1065 GEN_VSX_HELPER_X3(xsmaxdp, 0x00, 0x14, 0, PPC2_VSX)
1066 GEN_VSX_HELPER_X3(xsmindp, 0x00, 0x15, 0, PPC2_VSX)
1067 GEN_VSX_HELPER_X2(xscvdphp, 0x16, 0x15, 0x11, PPC2_ISA300)
1068 GEN_VSX_HELPER_X2(xscvdpsp, 0x12, 0x10, 0, PPC2_VSX)
1069 GEN_VSX_HELPER_R2(xscvdpqp, 0x04, 0x1A, 0x16, PPC2_ISA300)
1070 GEN_VSX_HELPER_XT_XB_ENV(xscvdpspn, 0x16, 0x10, 0, PPC2_VSX207)
1071 GEN_VSX_HELPER_R2(xscvqpsdz, 0x04, 0x1A, 0x19, PPC2_ISA300)
1072 GEN_VSX_HELPER_R2(xscvqpswz, 0x04, 0x1A, 0x09, PPC2_ISA300)
1073 GEN_VSX_HELPER_R2(xscvqpudz, 0x04, 0x1A, 0x11, PPC2_ISA300)
1074 GEN_VSX_HELPER_R2(xscvqpuwz, 0x04, 0x1A, 0x01, PPC2_ISA300)
1075 GEN_VSX_HELPER_X2(xscvhpdp, 0x16, 0x15, 0x10, PPC2_ISA300)
1076 GEN_VSX_HELPER_R2(xscvsdqp, 0x04, 0x1A, 0x0A, PPC2_ISA300)
1077 GEN_VSX_HELPER_X2(xscvspdp, 0x12, 0x14, 0, PPC2_VSX)
1078 GEN_VSX_HELPER_XT_XB_ENV(xscvspdpn, 0x16, 0x14, 0, PPC2_VSX207)
1079 GEN_VSX_HELPER_X2(xscvdpsxds, 0x10, 0x15, 0, PPC2_VSX)
1080 GEN_VSX_HELPER_X2(xscvdpsxws, 0x10, 0x05, 0, PPC2_VSX)
1081 GEN_VSX_HELPER_X2(xscvdpuxds, 0x10, 0x14, 0, PPC2_VSX)
1082 GEN_VSX_HELPER_X2(xscvdpuxws, 0x10, 0x04, 0, PPC2_VSX)
1083 GEN_VSX_HELPER_X2(xscvsxddp, 0x10, 0x17, 0, PPC2_VSX)
1084 GEN_VSX_HELPER_R2(xscvudqp, 0x04, 0x1A, 0x02, PPC2_ISA300)
1085 GEN_VSX_HELPER_X2(xscvuxddp, 0x10, 0x16, 0, PPC2_VSX)
1086 GEN_VSX_HELPER_X2(xsrdpi, 0x12, 0x04, 0, PPC2_VSX)
1087 GEN_VSX_HELPER_X2(xsrdpic, 0x16, 0x06, 0, PPC2_VSX)
1088 GEN_VSX_HELPER_X2(xsrdpim, 0x12, 0x07, 0, PPC2_VSX)
1089 GEN_VSX_HELPER_X2(xsrdpip, 0x12, 0x06, 0, PPC2_VSX)
1090 GEN_VSX_HELPER_X2(xsrdpiz, 0x12, 0x05, 0, PPC2_VSX)
1091 GEN_VSX_HELPER_XT_XB_ENV(xsrsp, 0x12, 0x11, 0, PPC2_VSX207)
1092 GEN_VSX_HELPER_R2(xsrqpi, 0x05, 0x00, 0, PPC2_ISA300)
1093 GEN_VSX_HELPER_R2(xsrqpxp, 0x05, 0x01, 0, PPC2_ISA300)
1094 GEN_VSX_HELPER_R2(xssqrtqp, 0x04, 0x19, 0x1B, PPC2_ISA300)
1095 GEN_VSX_HELPER_R3(xssubqp, 0x04, 0x10, 0, PPC2_ISA300)
1096 GEN_VSX_HELPER_X3(xsaddsp, 0x00, 0x00, 0, PPC2_VSX207)
1097 GEN_VSX_HELPER_X3(xssubsp, 0x00, 0x01, 0, PPC2_VSX207)
1098 GEN_VSX_HELPER_X3(xsmulsp, 0x00, 0x02, 0, PPC2_VSX207)
1099 GEN_VSX_HELPER_X3(xsdivsp, 0x00, 0x03, 0, PPC2_VSX207)
1100 GEN_VSX_HELPER_X2(xsresp, 0x14, 0x01, 0, PPC2_VSX207)
1101 GEN_VSX_HELPER_X2(xssqrtsp, 0x16, 0x00, 0, PPC2_VSX207)
1102 GEN_VSX_HELPER_X2(xsrsqrtesp, 0x14, 0x00, 0, PPC2_VSX207)
1103 GEN_VSX_HELPER_X2(xscvsxdsp, 0x10, 0x13, 0, PPC2_VSX207)
1104 GEN_VSX_HELPER_X2(xscvuxdsp, 0x10, 0x12, 0, PPC2_VSX207)
1105 GEN_VSX_HELPER_X1(xststdcsp, 0x14, 0x12, 0, PPC2_ISA300)
1106 GEN_VSX_HELPER_2(xststdcdp, 0x14, 0x16, 0, PPC2_ISA300)
1107 GEN_VSX_HELPER_2(xststdcqp, 0x04, 0x16, 0, PPC2_ISA300)
1109 GEN_VSX_HELPER_X3(xvadddp, 0x00, 0x0C, 0, PPC2_VSX)
1110 GEN_VSX_HELPER_X3(xvsubdp, 0x00, 0x0D, 0, PPC2_VSX)
1111 GEN_VSX_HELPER_X3(xvmuldp, 0x00, 0x0E, 0, PPC2_VSX)
1112 GEN_VSX_HELPER_X3(xvdivdp, 0x00, 0x0F, 0, PPC2_VSX)
1113 GEN_VSX_HELPER_X2(xvredp, 0x14, 0x0D, 0, PPC2_VSX)
1114 GEN_VSX_HELPER_X2(xvsqrtdp, 0x16, 0x0C, 0, PPC2_VSX)
1115 GEN_VSX_HELPER_X2(xvrsqrtedp, 0x14, 0x0C, 0, PPC2_VSX)
1116 GEN_VSX_HELPER_X2_AB(xvtdivdp, 0x14, 0x0F, 0, PPC2_VSX)
1117 GEN_VSX_HELPER_X1(xvtsqrtdp, 0x14, 0x0E, 0, PPC2_VSX)
1118 GEN_VSX_HELPER_X3(xvmaxdp, 0x00, 0x1C, 0, PPC2_VSX)
1119 GEN_VSX_HELPER_X3(xvmindp, 0x00, 0x1D, 0, PPC2_VSX)
1120 GEN_VSX_HELPER_X2(xvcvdpsp, 0x12, 0x18, 0, PPC2_VSX)
1121 GEN_VSX_HELPER_X2(xvcvdpsxds, 0x10, 0x1D, 0, PPC2_VSX)
1122 GEN_VSX_HELPER_X2(xvcvdpsxws, 0x10, 0x0D, 0, PPC2_VSX)
1123 GEN_VSX_HELPER_X2(xvcvdpuxds, 0x10, 0x1C, 0, PPC2_VSX)
1124 GEN_VSX_HELPER_X2(xvcvdpuxws, 0x10, 0x0C, 0, PPC2_VSX)
1125 GEN_VSX_HELPER_X2(xvcvsxddp, 0x10, 0x1F, 0, PPC2_VSX)
1126 GEN_VSX_HELPER_X2(xvcvuxddp, 0x10, 0x1E, 0, PPC2_VSX)
1127 GEN_VSX_HELPER_X2(xvcvsxwdp, 0x10, 0x0F, 0, PPC2_VSX)
1128 GEN_VSX_HELPER_X2(xvcvuxwdp, 0x10, 0x0E, 0, PPC2_VSX)
1129 GEN_VSX_HELPER_X2(xvrdpi, 0x12, 0x0C, 0, PPC2_VSX)
1130 GEN_VSX_HELPER_X2(xvrdpic, 0x16, 0x0E, 0, PPC2_VSX)
1131 GEN_VSX_HELPER_X2(xvrdpim, 0x12, 0x0F, 0, PPC2_VSX)
1132 GEN_VSX_HELPER_X2(xvrdpip, 0x12, 0x0E, 0, PPC2_VSX)
1133 GEN_VSX_HELPER_X2(xvrdpiz, 0x12, 0x0D, 0, PPC2_VSX)
1135 GEN_VSX_HELPER_X3(xvaddsp, 0x00, 0x08, 0, PPC2_VSX)
1136 GEN_VSX_HELPER_X3(xvsubsp, 0x00, 0x09, 0, PPC2_VSX)
1137 GEN_VSX_HELPER_X3(xvmulsp, 0x00, 0x0A, 0, PPC2_VSX)
1138 GEN_VSX_HELPER_X3(xvdivsp, 0x00, 0x0B, 0, PPC2_VSX)
1139 GEN_VSX_HELPER_X2(xvresp, 0x14, 0x09, 0, PPC2_VSX)
1140 GEN_VSX_HELPER_X2(xvsqrtsp, 0x16, 0x08, 0, PPC2_VSX)
1141 GEN_VSX_HELPER_X2(xvrsqrtesp, 0x14, 0x08, 0, PPC2_VSX)
1142 GEN_VSX_HELPER_X2_AB(xvtdivsp, 0x14, 0x0B, 0, PPC2_VSX)
1143 GEN_VSX_HELPER_X1(xvtsqrtsp, 0x14, 0x0A, 0, PPC2_VSX)
1144 GEN_VSX_HELPER_X3(xvmaxsp, 0x00, 0x18, 0, PPC2_VSX)
1145 GEN_VSX_HELPER_X3(xvminsp, 0x00, 0x19, 0, PPC2_VSX)
1146 GEN_VSX_HELPER_X2(xvcvspdp, 0x12, 0x1C, 0, PPC2_VSX)
1147 GEN_VSX_HELPER_X2(xvcvhpsp, 0x16, 0x1D, 0x18, PPC2_ISA300)
1148 GEN_VSX_HELPER_X2(xvcvsphp, 0x16, 0x1D, 0x19, PPC2_ISA300)
1149 GEN_VSX_HELPER_X2(xvcvspsxds, 0x10, 0x19, 0, PPC2_VSX)
1150 GEN_VSX_HELPER_X2(xvcvspsxws, 0x10, 0x09, 0, PPC2_VSX)
1151 GEN_VSX_HELPER_X2(xvcvspuxds, 0x10, 0x18, 0, PPC2_VSX)
1152 GEN_VSX_HELPER_X2(xvcvspuxws, 0x10, 0x08, 0, PPC2_VSX)
1153 GEN_VSX_HELPER_X2(xvcvsxdsp, 0x10, 0x1B, 0, PPC2_VSX)
1154 GEN_VSX_HELPER_X2(xvcvuxdsp, 0x10, 0x1A, 0, PPC2_VSX)
1155 GEN_VSX_HELPER_X2(xvcvsxwsp, 0x10, 0x0B, 0, PPC2_VSX)
1156 GEN_VSX_HELPER_X2(xvcvuxwsp, 0x10, 0x0A, 0, PPC2_VSX)
1157 GEN_VSX_HELPER_X2(xvrspi, 0x12, 0x08, 0, PPC2_VSX)
1158 GEN_VSX_HELPER_X2(xvrspic, 0x16, 0x0A, 0, PPC2_VSX)
1159 GEN_VSX_HELPER_X2(xvrspim, 0x12, 0x0B, 0, PPC2_VSX)
1160 GEN_VSX_HELPER_X2(xvrspip, 0x12, 0x0A, 0, PPC2_VSX)
1161 GEN_VSX_HELPER_X2(xvrspiz, 0x12, 0x09, 0, PPC2_VSX)
1162 GEN_VSX_HELPER_2(xvtstdcsp, 0x14, 0x1A, 0, PPC2_VSX)
1163 GEN_VSX_HELPER_2(xvtstdcdp, 0x14, 0x1E, 0, PPC2_VSX)
1165 static bool trans_XXPERM(DisasContext *ctx, arg_XX3 *a)
1167     TCGv_ptr xt, xa, xb;
1169     REQUIRE_INSNS_FLAGS2(ctx, ISA300);
1170     REQUIRE_VSX(ctx);
1172     xt = gen_vsr_ptr(a->xt);
1173     xa = gen_vsr_ptr(a->xa);
1174     xb = gen_vsr_ptr(a->xb);
1176     gen_helper_VPERM(xt, xa, xt, xb);
1178     tcg_temp_free_ptr(xt);
1179     tcg_temp_free_ptr(xa);
1180     tcg_temp_free_ptr(xb);
1182     return true;
1185 static bool trans_XXPERMR(DisasContext *ctx, arg_XX3 *a)
1187     TCGv_ptr xt, xa, xb;
1189     REQUIRE_INSNS_FLAGS2(ctx, ISA300);
1190     REQUIRE_VSX(ctx);
1192     xt = gen_vsr_ptr(a->xt);
1193     xa = gen_vsr_ptr(a->xa);
1194     xb = gen_vsr_ptr(a->xb);
1196     gen_helper_VPERMR(xt, xa, xt, xb);
1198     tcg_temp_free_ptr(xt);
1199     tcg_temp_free_ptr(xa);
1200     tcg_temp_free_ptr(xb);
1202     return true;
1205 static bool trans_XXPERMDI(DisasContext *ctx, arg_XX3_dm *a)
1207     TCGv_i64 t0, t1;
1209     REQUIRE_INSNS_FLAGS2(ctx, VSX);
1210     REQUIRE_VSX(ctx);
1212     t0 = tcg_temp_new_i64();
1214     if (unlikely(a->xt == a->xa || a->xt == a->xb)) {
1215         t1 = tcg_temp_new_i64();
1217         get_cpu_vsr(t0, a->xa, (a->dm & 2) == 0);
1218         get_cpu_vsr(t1, a->xb, (a->dm & 1) == 0);
1220         set_cpu_vsr(a->xt, t0, true);
1221         set_cpu_vsr(a->xt, t1, false);
1223         tcg_temp_free_i64(t1);
1224     } else {
1225         get_cpu_vsr(t0, a->xa, (a->dm & 2) == 0);
1226         set_cpu_vsr(a->xt, t0, true);
1228         get_cpu_vsr(t0, a->xb, (a->dm & 1) == 0);
1229         set_cpu_vsr(a->xt, t0, false);
1230     }
1232     tcg_temp_free_i64(t0);
1234     return true;
1237 static bool trans_XXPERMX(DisasContext *ctx, arg_8RR_XX4_uim3 *a)
1239     TCGv_ptr xt, xa, xb, xc;
1241     REQUIRE_INSNS_FLAGS2(ctx, ISA310);
1242     REQUIRE_VSX(ctx);
1244     xt = gen_vsr_ptr(a->xt);
1245     xa = gen_vsr_ptr(a->xa);
1246     xb = gen_vsr_ptr(a->xb);
1247     xc = gen_vsr_ptr(a->xc);
1249     gen_helper_XXPERMX(xt, xa, xb, xc, tcg_constant_tl(a->uim3));
1251     tcg_temp_free_ptr(xt);
1252     tcg_temp_free_ptr(xa);
1253     tcg_temp_free_ptr(xb);
1254     tcg_temp_free_ptr(xc);
1256     return true;
1259 #define XXGENPCV(NAME) \
1260 static bool trans_##NAME(DisasContext *ctx, arg_X_imm5 *a)  \
1261 {                                                           \
1262     TCGv_ptr xt, vrb;                                       \
1263                                                             \
1264     REQUIRE_INSNS_FLAGS2(ctx, ISA310);                      \
1265     REQUIRE_VSX(ctx);                                       \
1266                                                             \
1267     if (a->imm & ~0x3) {                                    \
1268         gen_invalid(ctx);                                   \
1269         return true;                                        \
1270     }                                                       \
1271                                                             \
1272     xt = gen_vsr_ptr(a->xt);                                \
1273     vrb = gen_avr_ptr(a->vrb);                              \
1274                                                             \
1275     switch (a->imm) {                                       \
1276     case 0b00000: /* Big-Endian expansion */                \
1277         glue(gen_helper_, glue(NAME, _be_exp))(xt, vrb);    \
1278         break;                                              \
1279     case 0b00001: /* Big-Endian compression */              \
1280         glue(gen_helper_, glue(NAME, _be_comp))(xt, vrb);   \
1281         break;                                              \
1282     case 0b00010: /* Little-Endian expansion */             \
1283         glue(gen_helper_, glue(NAME, _le_exp))(xt, vrb);    \
1284         break;                                              \
1285     case 0b00011: /* Little-Endian compression */           \
1286         glue(gen_helper_, glue(NAME, _le_comp))(xt, vrb);   \
1287         break;                                              \
1288     }                                                       \
1289                                                             \
1290     tcg_temp_free_ptr(xt);                                  \
1291     tcg_temp_free_ptr(vrb);                                 \
1292                                                             \
1293     return true;                                            \
1296 XXGENPCV(XXGENPCVBM)
1297 XXGENPCV(XXGENPCVHM)
1298 XXGENPCV(XXGENPCVWM)
1299 XXGENPCV(XXGENPCVDM)
1300 #undef XXGENPCV
1302 static bool do_xsmadd(DisasContext *ctx, int tgt, int src1, int src2, int src3,
1303         void (*gen_helper)(TCGv_ptr, TCGv_ptr, TCGv_ptr, TCGv_ptr, TCGv_ptr))
1305     TCGv_ptr t, s1, s2, s3;
1307     t = gen_vsr_ptr(tgt);
1308     s1 = gen_vsr_ptr(src1);
1309     s2 = gen_vsr_ptr(src2);
1310     s3 = gen_vsr_ptr(src3);
1312     gen_helper(cpu_env, t, s1, s2, s3);
1314     tcg_temp_free_ptr(t);
1315     tcg_temp_free_ptr(s1);
1316     tcg_temp_free_ptr(s2);
1317     tcg_temp_free_ptr(s3);
1319     return true;
1322 static bool do_xsmadd_XX3(DisasContext *ctx, arg_XX3 *a, bool type_a,
1323         void (*gen_helper)(TCGv_ptr, TCGv_ptr, TCGv_ptr, TCGv_ptr, TCGv_ptr))
1325     REQUIRE_VSX(ctx);
1327     if (type_a) {
1328         return do_xsmadd(ctx, a->xt, a->xa, a->xt, a->xb, gen_helper);
1329     }
1330     return do_xsmadd(ctx, a->xt, a->xa, a->xb, a->xt, gen_helper);
1333 TRANS_FLAGS2(VSX, XSMADDADP, do_xsmadd_XX3, true, gen_helper_XSMADDDP)
1334 TRANS_FLAGS2(VSX, XSMADDMDP, do_xsmadd_XX3, false, gen_helper_XSMADDDP)
1335 TRANS_FLAGS2(VSX, XSMSUBADP, do_xsmadd_XX3, true, gen_helper_XSMSUBDP)
1336 TRANS_FLAGS2(VSX, XSMSUBMDP, do_xsmadd_XX3, false, gen_helper_XSMSUBDP)
1337 TRANS_FLAGS2(VSX, XSNMADDADP, do_xsmadd_XX3, true, gen_helper_XSNMADDDP)
1338 TRANS_FLAGS2(VSX, XSNMADDMDP, do_xsmadd_XX3, false, gen_helper_XSNMADDDP)
1339 TRANS_FLAGS2(VSX, XSNMSUBADP, do_xsmadd_XX3, true, gen_helper_XSNMSUBDP)
1340 TRANS_FLAGS2(VSX, XSNMSUBMDP, do_xsmadd_XX3, false, gen_helper_XSNMSUBDP)
1341 TRANS_FLAGS2(VSX207, XSMADDASP, do_xsmadd_XX3, true, gen_helper_XSMADDSP)
1342 TRANS_FLAGS2(VSX207, XSMADDMSP, do_xsmadd_XX3, false, gen_helper_XSMADDSP)
1343 TRANS_FLAGS2(VSX207, XSMSUBASP, do_xsmadd_XX3, true, gen_helper_XSMSUBSP)
1344 TRANS_FLAGS2(VSX207, XSMSUBMSP, do_xsmadd_XX3, false, gen_helper_XSMSUBSP)
1345 TRANS_FLAGS2(VSX207, XSNMADDASP, do_xsmadd_XX3, true, gen_helper_XSNMADDSP)
1346 TRANS_FLAGS2(VSX207, XSNMADDMSP, do_xsmadd_XX3, false, gen_helper_XSNMADDSP)
1347 TRANS_FLAGS2(VSX207, XSNMSUBASP, do_xsmadd_XX3, true, gen_helper_XSNMSUBSP)
1348 TRANS_FLAGS2(VSX207, XSNMSUBMSP, do_xsmadd_XX3, false, gen_helper_XSNMSUBSP)
1350 static bool do_xsmadd_X(DisasContext *ctx, arg_X_rc *a,
1351         void (*gen_helper)(TCGv_ptr, TCGv_ptr, TCGv_ptr, TCGv_ptr, TCGv_ptr),
1352         void (*gen_helper_ro)(TCGv_ptr, TCGv_ptr, TCGv_ptr, TCGv_ptr, TCGv_ptr))
1354     int vrt, vra, vrb;
1356     REQUIRE_INSNS_FLAGS2(ctx, ISA300);
1357     REQUIRE_VSX(ctx);
1359     vrt = a->rt + 32;
1360     vra = a->ra + 32;
1361     vrb = a->rb + 32;
1363     if (a->rc) {
1364         return do_xsmadd(ctx, vrt, vra, vrt, vrb, gen_helper_ro);
1365     }
1367     return do_xsmadd(ctx, vrt, vra, vrt, vrb, gen_helper);
1370 TRANS(XSMADDQP, do_xsmadd_X, gen_helper_XSMADDQP, gen_helper_XSMADDQPO)
1371 TRANS(XSMSUBQP, do_xsmadd_X, gen_helper_XSMSUBQP, gen_helper_XSMSUBQPO)
1372 TRANS(XSNMADDQP, do_xsmadd_X, gen_helper_XSNMADDQP, gen_helper_XSNMADDQPO)
1373 TRANS(XSNMSUBQP, do_xsmadd_X, gen_helper_XSNMSUBQP, gen_helper_XSNMSUBQPO)
1375 #define GEN_VSX_HELPER_VSX_MADD(name, op1, aop, mop, inval, type)             \
1376 static void gen_##name(DisasContext *ctx)                                     \
1377 {                                                                             \
1378     TCGv_ptr xt, xa, b, c;                                                    \
1379     if (unlikely(!ctx->vsx_enabled)) {                                        \
1380         gen_exception(ctx, POWERPC_EXCP_VSXU);                                \
1381         return;                                                               \
1382     }                                                                         \
1383     xt = gen_vsr_ptr(xT(ctx->opcode));                                        \
1384     xa = gen_vsr_ptr(xA(ctx->opcode));                                        \
1385     if (ctx->opcode & PPC_BIT32(25)) {                                        \
1386         /*                                                                    \
1387          * AxT + B                                                            \
1388          */                                                                   \
1389         b = gen_vsr_ptr(xT(ctx->opcode));                                     \
1390         c = gen_vsr_ptr(xB(ctx->opcode));                                     \
1391     } else {                                                                  \
1392         /*                                                                    \
1393          * AxB + T                                                            \
1394          */                                                                   \
1395         b = gen_vsr_ptr(xB(ctx->opcode));                                     \
1396         c = gen_vsr_ptr(xT(ctx->opcode));                                     \
1397     }                                                                         \
1398     gen_helper_##name(cpu_env, xt, xa, b, c);                                 \
1399     tcg_temp_free_ptr(xt);                                                    \
1400     tcg_temp_free_ptr(xa);                                                    \
1401     tcg_temp_free_ptr(b);                                                     \
1402     tcg_temp_free_ptr(c);                                                     \
1405 GEN_VSX_HELPER_VSX_MADD(xvmadddp, 0x04, 0x0C, 0x0D, 0, PPC2_VSX)
1406 GEN_VSX_HELPER_VSX_MADD(xvmsubdp, 0x04, 0x0E, 0x0F, 0, PPC2_VSX)
1407 GEN_VSX_HELPER_VSX_MADD(xvnmadddp, 0x04, 0x1C, 0x1D, 0, PPC2_VSX)
1408 GEN_VSX_HELPER_VSX_MADD(xvnmsubdp, 0x04, 0x1E, 0x1F, 0, PPC2_VSX)
1409 GEN_VSX_HELPER_VSX_MADD(xvmaddsp, 0x04, 0x08, 0x09, 0, PPC2_VSX)
1410 GEN_VSX_HELPER_VSX_MADD(xvmsubsp, 0x04, 0x0A, 0x0B, 0, PPC2_VSX)
1411 GEN_VSX_HELPER_VSX_MADD(xvnmaddsp, 0x04, 0x18, 0x19, 0, PPC2_VSX)
1412 GEN_VSX_HELPER_VSX_MADD(xvnmsubsp, 0x04, 0x1A, 0x1B, 0, PPC2_VSX)
1414 static void gen_xxbrd(DisasContext *ctx)
1416     TCGv_i64 xth;
1417     TCGv_i64 xtl;
1418     TCGv_i64 xbh;
1419     TCGv_i64 xbl;
1421     if (unlikely(!ctx->vsx_enabled)) {
1422         gen_exception(ctx, POWERPC_EXCP_VSXU);
1423         return;
1424     }
1425     xth = tcg_temp_new_i64();
1426     xtl = tcg_temp_new_i64();
1427     xbh = tcg_temp_new_i64();
1428     xbl = tcg_temp_new_i64();
1429     get_cpu_vsr(xbh, xB(ctx->opcode), true);
1430     get_cpu_vsr(xbl, xB(ctx->opcode), false);
1432     tcg_gen_bswap64_i64(xth, xbh);
1433     tcg_gen_bswap64_i64(xtl, xbl);
1434     set_cpu_vsr(xT(ctx->opcode), xth, true);
1435     set_cpu_vsr(xT(ctx->opcode), xtl, false);
1437     tcg_temp_free_i64(xth);
1438     tcg_temp_free_i64(xtl);
1439     tcg_temp_free_i64(xbh);
1440     tcg_temp_free_i64(xbl);
1443 static void gen_xxbrh(DisasContext *ctx)
1445     TCGv_i64 xth;
1446     TCGv_i64 xtl;
1447     TCGv_i64 xbh;
1448     TCGv_i64 xbl;
1450     if (unlikely(!ctx->vsx_enabled)) {
1451         gen_exception(ctx, POWERPC_EXCP_VSXU);
1452         return;
1453     }
1454     xth = tcg_temp_new_i64();
1455     xtl = tcg_temp_new_i64();
1456     xbh = tcg_temp_new_i64();
1457     xbl = tcg_temp_new_i64();
1458     get_cpu_vsr(xbh, xB(ctx->opcode), true);
1459     get_cpu_vsr(xbl, xB(ctx->opcode), false);
1461     gen_bswap16x8(xth, xtl, xbh, xbl);
1462     set_cpu_vsr(xT(ctx->opcode), xth, true);
1463     set_cpu_vsr(xT(ctx->opcode), xtl, false);
1465     tcg_temp_free_i64(xth);
1466     tcg_temp_free_i64(xtl);
1467     tcg_temp_free_i64(xbh);
1468     tcg_temp_free_i64(xbl);
1471 static void gen_xxbrq(DisasContext *ctx)
1473     TCGv_i64 xth;
1474     TCGv_i64 xtl;
1475     TCGv_i64 xbh;
1476     TCGv_i64 xbl;
1477     TCGv_i64 t0;
1479     if (unlikely(!ctx->vsx_enabled)) {
1480         gen_exception(ctx, POWERPC_EXCP_VSXU);
1481         return;
1482     }
1483     xth = tcg_temp_new_i64();
1484     xtl = tcg_temp_new_i64();
1485     xbh = tcg_temp_new_i64();
1486     xbl = tcg_temp_new_i64();
1487     get_cpu_vsr(xbh, xB(ctx->opcode), true);
1488     get_cpu_vsr(xbl, xB(ctx->opcode), false);
1489     t0 = tcg_temp_new_i64();
1491     tcg_gen_bswap64_i64(t0, xbl);
1492     tcg_gen_bswap64_i64(xtl, xbh);
1493     set_cpu_vsr(xT(ctx->opcode), xtl, false);
1494     tcg_gen_mov_i64(xth, t0);
1495     set_cpu_vsr(xT(ctx->opcode), xth, true);
1497     tcg_temp_free_i64(t0);
1498     tcg_temp_free_i64(xth);
1499     tcg_temp_free_i64(xtl);
1500     tcg_temp_free_i64(xbh);
1501     tcg_temp_free_i64(xbl);
1504 static void gen_xxbrw(DisasContext *ctx)
1506     TCGv_i64 xth;
1507     TCGv_i64 xtl;
1508     TCGv_i64 xbh;
1509     TCGv_i64 xbl;
1511     if (unlikely(!ctx->vsx_enabled)) {
1512         gen_exception(ctx, POWERPC_EXCP_VSXU);
1513         return;
1514     }
1515     xth = tcg_temp_new_i64();
1516     xtl = tcg_temp_new_i64();
1517     xbh = tcg_temp_new_i64();
1518     xbl = tcg_temp_new_i64();
1519     get_cpu_vsr(xbh, xB(ctx->opcode), true);
1520     get_cpu_vsr(xbl, xB(ctx->opcode), false);
1522     gen_bswap32x4(xth, xtl, xbh, xbl);
1523     set_cpu_vsr(xT(ctx->opcode), xth, true);
1524     set_cpu_vsr(xT(ctx->opcode), xtl, false);
1526     tcg_temp_free_i64(xth);
1527     tcg_temp_free_i64(xtl);
1528     tcg_temp_free_i64(xbh);
1529     tcg_temp_free_i64(xbl);
1532 #define VSX_LOGICAL(name, vece, tcg_op)                              \
1533 static void glue(gen_, name)(DisasContext *ctx)                      \
1534     {                                                                \
1535         if (unlikely(!ctx->vsx_enabled)) {                           \
1536             gen_exception(ctx, POWERPC_EXCP_VSXU);                   \
1537             return;                                                  \
1538         }                                                            \
1539         tcg_op(vece, vsr_full_offset(xT(ctx->opcode)),               \
1540                vsr_full_offset(xA(ctx->opcode)),                     \
1541                vsr_full_offset(xB(ctx->opcode)), 16, 16);            \
1542     }
1544 VSX_LOGICAL(xxland, MO_64, tcg_gen_gvec_and)
1545 VSX_LOGICAL(xxlandc, MO_64, tcg_gen_gvec_andc)
1546 VSX_LOGICAL(xxlor, MO_64, tcg_gen_gvec_or)
1547 VSX_LOGICAL(xxlxor, MO_64, tcg_gen_gvec_xor)
1548 VSX_LOGICAL(xxlnor, MO_64, tcg_gen_gvec_nor)
1549 VSX_LOGICAL(xxleqv, MO_64, tcg_gen_gvec_eqv)
1550 VSX_LOGICAL(xxlnand, MO_64, tcg_gen_gvec_nand)
1551 VSX_LOGICAL(xxlorc, MO_64, tcg_gen_gvec_orc)
1553 #define VSX_XXMRG(name, high)                               \
1554 static void glue(gen_, name)(DisasContext *ctx)             \
1555     {                                                       \
1556         TCGv_i64 a0, a1, b0, b1, tmp;                       \
1557         if (unlikely(!ctx->vsx_enabled)) {                  \
1558             gen_exception(ctx, POWERPC_EXCP_VSXU);          \
1559             return;                                         \
1560         }                                                   \
1561         a0 = tcg_temp_new_i64();                            \
1562         a1 = tcg_temp_new_i64();                            \
1563         b0 = tcg_temp_new_i64();                            \
1564         b1 = tcg_temp_new_i64();                            \
1565         tmp = tcg_temp_new_i64();                           \
1566         get_cpu_vsr(a0, xA(ctx->opcode), high);             \
1567         get_cpu_vsr(a1, xA(ctx->opcode), high);             \
1568         get_cpu_vsr(b0, xB(ctx->opcode), high);             \
1569         get_cpu_vsr(b1, xB(ctx->opcode), high);             \
1570         tcg_gen_shri_i64(a0, a0, 32);                       \
1571         tcg_gen_shri_i64(b0, b0, 32);                       \
1572         tcg_gen_deposit_i64(tmp, b0, a0, 32, 32);           \
1573         set_cpu_vsr(xT(ctx->opcode), tmp, true);            \
1574         tcg_gen_deposit_i64(tmp, b1, a1, 32, 32);           \
1575         set_cpu_vsr(xT(ctx->opcode), tmp, false);           \
1576         tcg_temp_free_i64(a0);                              \
1577         tcg_temp_free_i64(a1);                              \
1578         tcg_temp_free_i64(b0);                              \
1579         tcg_temp_free_i64(b1);                              \
1580         tcg_temp_free_i64(tmp);                             \
1581     }
1583 VSX_XXMRG(xxmrghw, 1)
1584 VSX_XXMRG(xxmrglw, 0)
1586 static bool trans_XXSEL(DisasContext *ctx, arg_XX4 *a)
1588     REQUIRE_INSNS_FLAGS2(ctx, VSX);
1589     REQUIRE_VSX(ctx);
1591     tcg_gen_gvec_bitsel(MO_64, vsr_full_offset(a->xt), vsr_full_offset(a->xc),
1592                         vsr_full_offset(a->xb), vsr_full_offset(a->xa), 16, 16);
1594     return true;
1597 static bool trans_XXSPLTW(DisasContext *ctx, arg_XX2 *a)
1599     int tofs, bofs;
1601     REQUIRE_VSX(ctx);
1603     tofs = vsr_full_offset(a->xt);
1604     bofs = vsr_full_offset(a->xb);
1605     bofs += a->uim << MO_32;
1606 #ifndef HOST_WORDS_BIG_ENDIAN
1607     bofs ^= 8 | 4;
1608 #endif
1610     tcg_gen_gvec_dup_mem(MO_32, tofs, bofs, 16, 16);
1611     return true;
1614 #define pattern(x) (((x) & 0xff) * (~(uint64_t)0 / 0xff))
1616 static bool trans_XXSPLTIB(DisasContext *ctx, arg_X_imm8 *a)
1618     if (a->xt < 32) {
1619         REQUIRE_VSX(ctx);
1620     } else {
1621         REQUIRE_VECTOR(ctx);
1622     }
1623     tcg_gen_gvec_dup_imm(MO_8, vsr_full_offset(a->xt), 16, 16, a->imm);
1624     return true;
1627 static bool trans_XXSPLTIW(DisasContext *ctx, arg_8RR_D *a)
1629     REQUIRE_INSNS_FLAGS2(ctx, ISA310);
1630     REQUIRE_VSX(ctx);
1632     tcg_gen_gvec_dup_imm(MO_32, vsr_full_offset(a->xt), 16, 16, a->si);
1634     return true;
1637 static bool trans_XXSPLTIDP(DisasContext *ctx, arg_8RR_D *a)
1639     REQUIRE_INSNS_FLAGS2(ctx, ISA310);
1640     REQUIRE_VSX(ctx);
1642     tcg_gen_gvec_dup_imm(MO_64, vsr_full_offset(a->xt), 16, 16,
1643                          helper_todouble(a->si));
1644     return true;
1647 static bool trans_XXSPLTI32DX(DisasContext *ctx, arg_8RR_D_IX *a)
1649     TCGv_i32 imm;
1651     REQUIRE_INSNS_FLAGS2(ctx, ISA310);
1652     REQUIRE_VSX(ctx);
1654     imm = tcg_constant_i32(a->si);
1656     tcg_gen_st_i32(imm, cpu_env,
1657         offsetof(CPUPPCState, vsr[a->xt].VsrW(0 + a->ix)));
1658     tcg_gen_st_i32(imm, cpu_env,
1659         offsetof(CPUPPCState, vsr[a->xt].VsrW(2 + a->ix)));
1661     return true;
1664 static bool trans_LXVKQ(DisasContext *ctx, arg_X_uim5 *a)
1666     static const uint64_t values[32] = {
1667         0, /* Unspecified */
1668         0x3FFF000000000000llu, /* QP +1.0 */
1669         0x4000000000000000llu, /* QP +2.0 */
1670         0x4000800000000000llu, /* QP +3.0 */
1671         0x4001000000000000llu, /* QP +4.0 */
1672         0x4001400000000000llu, /* QP +5.0 */
1673         0x4001800000000000llu, /* QP +6.0 */
1674         0x4001C00000000000llu, /* QP +7.0 */
1675         0x7FFF000000000000llu, /* QP +Inf */
1676         0x7FFF800000000000llu, /* QP dQNaN */
1677         0, /* Unspecified */
1678         0, /* Unspecified */
1679         0, /* Unspecified */
1680         0, /* Unspecified */
1681         0, /* Unspecified */
1682         0, /* Unspecified */
1683         0x8000000000000000llu, /* QP -0.0 */
1684         0xBFFF000000000000llu, /* QP -1.0 */
1685         0xC000000000000000llu, /* QP -2.0 */
1686         0xC000800000000000llu, /* QP -3.0 */
1687         0xC001000000000000llu, /* QP -4.0 */
1688         0xC001400000000000llu, /* QP -5.0 */
1689         0xC001800000000000llu, /* QP -6.0 */
1690         0xC001C00000000000llu, /* QP -7.0 */
1691         0xFFFF000000000000llu, /* QP -Inf */
1692     };
1694     REQUIRE_INSNS_FLAGS2(ctx, ISA310);
1695     REQUIRE_VSX(ctx);
1697     if (values[a->uim]) {
1698         set_cpu_vsr(a->xt, tcg_constant_i64(0x0), false);
1699         set_cpu_vsr(a->xt, tcg_constant_i64(values[a->uim]), true);
1700     } else {
1701         gen_invalid(ctx);
1702     }
1704     return true;
1707 static void gen_xxsldwi(DisasContext *ctx)
1709     TCGv_i64 xth, xtl;
1710     if (unlikely(!ctx->vsx_enabled)) {
1711         gen_exception(ctx, POWERPC_EXCP_VSXU);
1712         return;
1713     }
1714     xth = tcg_temp_new_i64();
1715     xtl = tcg_temp_new_i64();
1717     switch (SHW(ctx->opcode)) {
1718         case 0: {
1719             get_cpu_vsr(xth, xA(ctx->opcode), true);
1720             get_cpu_vsr(xtl, xA(ctx->opcode), false);
1721             break;
1722         }
1723         case 1: {
1724             TCGv_i64 t0 = tcg_temp_new_i64();
1725             get_cpu_vsr(xth, xA(ctx->opcode), true);
1726             tcg_gen_shli_i64(xth, xth, 32);
1727             get_cpu_vsr(t0, xA(ctx->opcode), false);
1728             tcg_gen_shri_i64(t0, t0, 32);
1729             tcg_gen_or_i64(xth, xth, t0);
1730             get_cpu_vsr(xtl, xA(ctx->opcode), false);
1731             tcg_gen_shli_i64(xtl, xtl, 32);
1732             get_cpu_vsr(t0, xB(ctx->opcode), true);
1733             tcg_gen_shri_i64(t0, t0, 32);
1734             tcg_gen_or_i64(xtl, xtl, t0);
1735             tcg_temp_free_i64(t0);
1736             break;
1737         }
1738         case 2: {
1739             get_cpu_vsr(xth, xA(ctx->opcode), false);
1740             get_cpu_vsr(xtl, xB(ctx->opcode), true);
1741             break;
1742         }
1743         case 3: {
1744             TCGv_i64 t0 = tcg_temp_new_i64();
1745             get_cpu_vsr(xth, xA(ctx->opcode), false);
1746             tcg_gen_shli_i64(xth, xth, 32);
1747             get_cpu_vsr(t0, xB(ctx->opcode), true);
1748             tcg_gen_shri_i64(t0, t0, 32);
1749             tcg_gen_or_i64(xth, xth, t0);
1750             get_cpu_vsr(xtl, xB(ctx->opcode), true);
1751             tcg_gen_shli_i64(xtl, xtl, 32);
1752             get_cpu_vsr(t0, xB(ctx->opcode), false);
1753             tcg_gen_shri_i64(t0, t0, 32);
1754             tcg_gen_or_i64(xtl, xtl, t0);
1755             tcg_temp_free_i64(t0);
1756             break;
1757         }
1758     }
1760     set_cpu_vsr(xT(ctx->opcode), xth, true);
1761     set_cpu_vsr(xT(ctx->opcode), xtl, false);
1763     tcg_temp_free_i64(xth);
1764     tcg_temp_free_i64(xtl);
1767 #define VSX_EXTRACT_INSERT(name)                                \
1768 static void gen_##name(DisasContext *ctx)                       \
1769 {                                                               \
1770     TCGv_ptr xt, xb;                                            \
1771     TCGv_i32 t0;                                                \
1772     TCGv_i64 t1;                                                \
1773     uint8_t uimm = UIMM4(ctx->opcode);                          \
1774                                                                 \
1775     if (unlikely(!ctx->vsx_enabled)) {                          \
1776         gen_exception(ctx, POWERPC_EXCP_VSXU);                  \
1777         return;                                                 \
1778     }                                                           \
1779     xt = gen_vsr_ptr(xT(ctx->opcode));                          \
1780     xb = gen_vsr_ptr(xB(ctx->opcode));                          \
1781     t0 = tcg_temp_new_i32();                                    \
1782     t1 = tcg_temp_new_i64();                                    \
1783     /*                                                          \
1784      * uimm > 15 out of bound and for                           \
1785      * uimm > 12 handle as per hardware in helper               \
1786      */                                                         \
1787     if (uimm > 15) {                                            \
1788         tcg_gen_movi_i64(t1, 0);                                \
1789         set_cpu_vsr(xT(ctx->opcode), t1, true);                 \
1790         set_cpu_vsr(xT(ctx->opcode), t1, false);                \
1791         return;                                                 \
1792     }                                                           \
1793     tcg_gen_movi_i32(t0, uimm);                                 \
1794     gen_helper_##name(cpu_env, xt, xb, t0);                     \
1795     tcg_temp_free_ptr(xb);                                      \
1796     tcg_temp_free_ptr(xt);                                      \
1797     tcg_temp_free_i32(t0);                                      \
1798     tcg_temp_free_i64(t1);                                      \
1801 VSX_EXTRACT_INSERT(xxextractuw)
1802 VSX_EXTRACT_INSERT(xxinsertw)
1804 #ifdef TARGET_PPC64
1805 static void gen_xsxexpdp(DisasContext *ctx)
1807     TCGv rt = cpu_gpr[rD(ctx->opcode)];
1808     TCGv_i64 t0;
1809     if (unlikely(!ctx->vsx_enabled)) {
1810         gen_exception(ctx, POWERPC_EXCP_VSXU);
1811         return;
1812     }
1813     t0 = tcg_temp_new_i64();
1814     get_cpu_vsr(t0, xB(ctx->opcode), true);
1815     tcg_gen_extract_i64(rt, t0, 52, 11);
1816     tcg_temp_free_i64(t0);
1819 static void gen_xsxexpqp(DisasContext *ctx)
1821     TCGv_i64 xth;
1822     TCGv_i64 xtl;
1823     TCGv_i64 xbh;
1825     if (unlikely(!ctx->vsx_enabled)) {
1826         gen_exception(ctx, POWERPC_EXCP_VSXU);
1827         return;
1828     }
1829     xth = tcg_temp_new_i64();
1830     xtl = tcg_temp_new_i64();
1831     xbh = tcg_temp_new_i64();
1832     get_cpu_vsr(xbh, rB(ctx->opcode) + 32, true);
1834     tcg_gen_extract_i64(xth, xbh, 48, 15);
1835     set_cpu_vsr(rD(ctx->opcode) + 32, xth, true);
1836     tcg_gen_movi_i64(xtl, 0);
1837     set_cpu_vsr(rD(ctx->opcode) + 32, xtl, false);
1839     tcg_temp_free_i64(xbh);
1840     tcg_temp_free_i64(xth);
1841     tcg_temp_free_i64(xtl);
1844 static void gen_xsiexpdp(DisasContext *ctx)
1846     TCGv_i64 xth;
1847     TCGv ra = cpu_gpr[rA(ctx->opcode)];
1848     TCGv rb = cpu_gpr[rB(ctx->opcode)];
1849     TCGv_i64 t0;
1851     if (unlikely(!ctx->vsx_enabled)) {
1852         gen_exception(ctx, POWERPC_EXCP_VSXU);
1853         return;
1854     }
1855     t0 = tcg_temp_new_i64();
1856     xth = tcg_temp_new_i64();
1857     tcg_gen_andi_i64(xth, ra, 0x800FFFFFFFFFFFFF);
1858     tcg_gen_andi_i64(t0, rb, 0x7FF);
1859     tcg_gen_shli_i64(t0, t0, 52);
1860     tcg_gen_or_i64(xth, xth, t0);
1861     set_cpu_vsr(xT(ctx->opcode), xth, true);
1862     set_cpu_vsr(xT(ctx->opcode), tcg_constant_i64(0), false);
1863     tcg_temp_free_i64(t0);
1864     tcg_temp_free_i64(xth);
1867 static void gen_xsiexpqp(DisasContext *ctx)
1869     TCGv_i64 xth;
1870     TCGv_i64 xtl;
1871     TCGv_i64 xah;
1872     TCGv_i64 xal;
1873     TCGv_i64 xbh;
1874     TCGv_i64 t0;
1876     if (unlikely(!ctx->vsx_enabled)) {
1877         gen_exception(ctx, POWERPC_EXCP_VSXU);
1878         return;
1879     }
1880     xth = tcg_temp_new_i64();
1881     xtl = tcg_temp_new_i64();
1882     xah = tcg_temp_new_i64();
1883     xal = tcg_temp_new_i64();
1884     get_cpu_vsr(xah, rA(ctx->opcode) + 32, true);
1885     get_cpu_vsr(xal, rA(ctx->opcode) + 32, false);
1886     xbh = tcg_temp_new_i64();
1887     get_cpu_vsr(xbh, rB(ctx->opcode) + 32, true);
1888     t0 = tcg_temp_new_i64();
1890     tcg_gen_andi_i64(xth, xah, 0x8000FFFFFFFFFFFF);
1891     tcg_gen_andi_i64(t0, xbh, 0x7FFF);
1892     tcg_gen_shli_i64(t0, t0, 48);
1893     tcg_gen_or_i64(xth, xth, t0);
1894     set_cpu_vsr(rD(ctx->opcode) + 32, xth, true);
1895     tcg_gen_mov_i64(xtl, xal);
1896     set_cpu_vsr(rD(ctx->opcode) + 32, xtl, false);
1898     tcg_temp_free_i64(t0);
1899     tcg_temp_free_i64(xth);
1900     tcg_temp_free_i64(xtl);
1901     tcg_temp_free_i64(xah);
1902     tcg_temp_free_i64(xal);
1903     tcg_temp_free_i64(xbh);
1906 static void gen_xsxsigdp(DisasContext *ctx)
1908     TCGv rt = cpu_gpr[rD(ctx->opcode)];
1909     TCGv_i64 t0, t1, zr, nan, exp;
1911     if (unlikely(!ctx->vsx_enabled)) {
1912         gen_exception(ctx, POWERPC_EXCP_VSXU);
1913         return;
1914     }
1915     exp = tcg_temp_new_i64();
1916     t0 = tcg_temp_new_i64();
1917     t1 = tcg_temp_new_i64();
1918     zr = tcg_const_i64(0);
1919     nan = tcg_const_i64(2047);
1921     get_cpu_vsr(t1, xB(ctx->opcode), true);
1922     tcg_gen_extract_i64(exp, t1, 52, 11);
1923     tcg_gen_movi_i64(t0, 0x0010000000000000);
1924     tcg_gen_movcond_i64(TCG_COND_EQ, t0, exp, zr, zr, t0);
1925     tcg_gen_movcond_i64(TCG_COND_EQ, t0, exp, nan, zr, t0);
1926     get_cpu_vsr(t1, xB(ctx->opcode), true);
1927     tcg_gen_deposit_i64(rt, t0, t1, 0, 52);
1929     tcg_temp_free_i64(t0);
1930     tcg_temp_free_i64(t1);
1931     tcg_temp_free_i64(exp);
1932     tcg_temp_free_i64(zr);
1933     tcg_temp_free_i64(nan);
1936 static void gen_xsxsigqp(DisasContext *ctx)
1938     TCGv_i64 t0, zr, nan, exp;
1939     TCGv_i64 xth;
1940     TCGv_i64 xtl;
1941     TCGv_i64 xbh;
1942     TCGv_i64 xbl;
1944     if (unlikely(!ctx->vsx_enabled)) {
1945         gen_exception(ctx, POWERPC_EXCP_VSXU);
1946         return;
1947     }
1948     xth = tcg_temp_new_i64();
1949     xtl = tcg_temp_new_i64();
1950     xbh = tcg_temp_new_i64();
1951     xbl = tcg_temp_new_i64();
1952     get_cpu_vsr(xbh, rB(ctx->opcode) + 32, true);
1953     get_cpu_vsr(xbl, rB(ctx->opcode) + 32, false);
1954     exp = tcg_temp_new_i64();
1955     t0 = tcg_temp_new_i64();
1956     zr = tcg_const_i64(0);
1957     nan = tcg_const_i64(32767);
1959     tcg_gen_extract_i64(exp, xbh, 48, 15);
1960     tcg_gen_movi_i64(t0, 0x0001000000000000);
1961     tcg_gen_movcond_i64(TCG_COND_EQ, t0, exp, zr, zr, t0);
1962     tcg_gen_movcond_i64(TCG_COND_EQ, t0, exp, nan, zr, t0);
1963     tcg_gen_deposit_i64(xth, t0, xbh, 0, 48);
1964     set_cpu_vsr(rD(ctx->opcode) + 32, xth, true);
1965     tcg_gen_mov_i64(xtl, xbl);
1966     set_cpu_vsr(rD(ctx->opcode) + 32, xtl, false);
1968     tcg_temp_free_i64(t0);
1969     tcg_temp_free_i64(exp);
1970     tcg_temp_free_i64(zr);
1971     tcg_temp_free_i64(nan);
1972     tcg_temp_free_i64(xth);
1973     tcg_temp_free_i64(xtl);
1974     tcg_temp_free_i64(xbh);
1975     tcg_temp_free_i64(xbl);
1977 #endif
1979 static void gen_xviexpsp(DisasContext *ctx)
1981     TCGv_i64 xth;
1982     TCGv_i64 xtl;
1983     TCGv_i64 xah;
1984     TCGv_i64 xal;
1985     TCGv_i64 xbh;
1986     TCGv_i64 xbl;
1987     TCGv_i64 t0;
1989     if (unlikely(!ctx->vsx_enabled)) {
1990         gen_exception(ctx, POWERPC_EXCP_VSXU);
1991         return;
1992     }
1993     xth = tcg_temp_new_i64();
1994     xtl = tcg_temp_new_i64();
1995     xah = tcg_temp_new_i64();
1996     xal = tcg_temp_new_i64();
1997     xbh = tcg_temp_new_i64();
1998     xbl = tcg_temp_new_i64();
1999     get_cpu_vsr(xah, xA(ctx->opcode), true);
2000     get_cpu_vsr(xal, xA(ctx->opcode), false);
2001     get_cpu_vsr(xbh, xB(ctx->opcode), true);
2002     get_cpu_vsr(xbl, xB(ctx->opcode), false);
2003     t0 = tcg_temp_new_i64();
2005     tcg_gen_andi_i64(xth, xah, 0x807FFFFF807FFFFF);
2006     tcg_gen_andi_i64(t0, xbh, 0xFF000000FF);
2007     tcg_gen_shli_i64(t0, t0, 23);
2008     tcg_gen_or_i64(xth, xth, t0);
2009     set_cpu_vsr(xT(ctx->opcode), xth, true);
2010     tcg_gen_andi_i64(xtl, xal, 0x807FFFFF807FFFFF);
2011     tcg_gen_andi_i64(t0, xbl, 0xFF000000FF);
2012     tcg_gen_shli_i64(t0, t0, 23);
2013     tcg_gen_or_i64(xtl, xtl, t0);
2014     set_cpu_vsr(xT(ctx->opcode), xtl, false);
2016     tcg_temp_free_i64(t0);
2017     tcg_temp_free_i64(xth);
2018     tcg_temp_free_i64(xtl);
2019     tcg_temp_free_i64(xah);
2020     tcg_temp_free_i64(xal);
2021     tcg_temp_free_i64(xbh);
2022     tcg_temp_free_i64(xbl);
2025 static void gen_xviexpdp(DisasContext *ctx)
2027     TCGv_i64 xth;
2028     TCGv_i64 xtl;
2029     TCGv_i64 xah;
2030     TCGv_i64 xal;
2031     TCGv_i64 xbh;
2032     TCGv_i64 xbl;
2034     if (unlikely(!ctx->vsx_enabled)) {
2035         gen_exception(ctx, POWERPC_EXCP_VSXU);
2036         return;
2037     }
2038     xth = tcg_temp_new_i64();
2039     xtl = tcg_temp_new_i64();
2040     xah = tcg_temp_new_i64();
2041     xal = tcg_temp_new_i64();
2042     xbh = tcg_temp_new_i64();
2043     xbl = tcg_temp_new_i64();
2044     get_cpu_vsr(xah, xA(ctx->opcode), true);
2045     get_cpu_vsr(xal, xA(ctx->opcode), false);
2046     get_cpu_vsr(xbh, xB(ctx->opcode), true);
2047     get_cpu_vsr(xbl, xB(ctx->opcode), false);
2049     tcg_gen_deposit_i64(xth, xah, xbh, 52, 11);
2050     set_cpu_vsr(xT(ctx->opcode), xth, true);
2052     tcg_gen_deposit_i64(xtl, xal, xbl, 52, 11);
2053     set_cpu_vsr(xT(ctx->opcode), xtl, false);
2055     tcg_temp_free_i64(xth);
2056     tcg_temp_free_i64(xtl);
2057     tcg_temp_free_i64(xah);
2058     tcg_temp_free_i64(xal);
2059     tcg_temp_free_i64(xbh);
2060     tcg_temp_free_i64(xbl);
2063 static void gen_xvxexpsp(DisasContext *ctx)
2065     TCGv_i64 xth;
2066     TCGv_i64 xtl;
2067     TCGv_i64 xbh;
2068     TCGv_i64 xbl;
2070     if (unlikely(!ctx->vsx_enabled)) {
2071         gen_exception(ctx, POWERPC_EXCP_VSXU);
2072         return;
2073     }
2074     xth = tcg_temp_new_i64();
2075     xtl = tcg_temp_new_i64();
2076     xbh = tcg_temp_new_i64();
2077     xbl = tcg_temp_new_i64();
2078     get_cpu_vsr(xbh, xB(ctx->opcode), true);
2079     get_cpu_vsr(xbl, xB(ctx->opcode), false);
2081     tcg_gen_shri_i64(xth, xbh, 23);
2082     tcg_gen_andi_i64(xth, xth, 0xFF000000FF);
2083     set_cpu_vsr(xT(ctx->opcode), xth, true);
2084     tcg_gen_shri_i64(xtl, xbl, 23);
2085     tcg_gen_andi_i64(xtl, xtl, 0xFF000000FF);
2086     set_cpu_vsr(xT(ctx->opcode), xtl, false);
2088     tcg_temp_free_i64(xth);
2089     tcg_temp_free_i64(xtl);
2090     tcg_temp_free_i64(xbh);
2091     tcg_temp_free_i64(xbl);
2094 static void gen_xvxexpdp(DisasContext *ctx)
2096     TCGv_i64 xth;
2097     TCGv_i64 xtl;
2098     TCGv_i64 xbh;
2099     TCGv_i64 xbl;
2101     if (unlikely(!ctx->vsx_enabled)) {
2102         gen_exception(ctx, POWERPC_EXCP_VSXU);
2103         return;
2104     }
2105     xth = tcg_temp_new_i64();
2106     xtl = tcg_temp_new_i64();
2107     xbh = tcg_temp_new_i64();
2108     xbl = tcg_temp_new_i64();
2109     get_cpu_vsr(xbh, xB(ctx->opcode), true);
2110     get_cpu_vsr(xbl, xB(ctx->opcode), false);
2112     tcg_gen_extract_i64(xth, xbh, 52, 11);
2113     set_cpu_vsr(xT(ctx->opcode), xth, true);
2114     tcg_gen_extract_i64(xtl, xbl, 52, 11);
2115     set_cpu_vsr(xT(ctx->opcode), xtl, false);
2117     tcg_temp_free_i64(xth);
2118     tcg_temp_free_i64(xtl);
2119     tcg_temp_free_i64(xbh);
2120     tcg_temp_free_i64(xbl);
2123 GEN_VSX_HELPER_X2(xvxsigsp, 0x00, 0x04, 0, PPC2_ISA300)
2125 static void gen_xvxsigdp(DisasContext *ctx)
2127     TCGv_i64 xth;
2128     TCGv_i64 xtl;
2129     TCGv_i64 xbh;
2130     TCGv_i64 xbl;
2131     TCGv_i64 t0, zr, nan, exp;
2133     if (unlikely(!ctx->vsx_enabled)) {
2134         gen_exception(ctx, POWERPC_EXCP_VSXU);
2135         return;
2136     }
2137     xth = tcg_temp_new_i64();
2138     xtl = tcg_temp_new_i64();
2139     xbh = tcg_temp_new_i64();
2140     xbl = tcg_temp_new_i64();
2141     get_cpu_vsr(xbh, xB(ctx->opcode), true);
2142     get_cpu_vsr(xbl, xB(ctx->opcode), false);
2143     exp = tcg_temp_new_i64();
2144     t0 = tcg_temp_new_i64();
2145     zr = tcg_const_i64(0);
2146     nan = tcg_const_i64(2047);
2148     tcg_gen_extract_i64(exp, xbh, 52, 11);
2149     tcg_gen_movi_i64(t0, 0x0010000000000000);
2150     tcg_gen_movcond_i64(TCG_COND_EQ, t0, exp, zr, zr, t0);
2151     tcg_gen_movcond_i64(TCG_COND_EQ, t0, exp, nan, zr, t0);
2152     tcg_gen_deposit_i64(xth, t0, xbh, 0, 52);
2153     set_cpu_vsr(xT(ctx->opcode), xth, true);
2155     tcg_gen_extract_i64(exp, xbl, 52, 11);
2156     tcg_gen_movi_i64(t0, 0x0010000000000000);
2157     tcg_gen_movcond_i64(TCG_COND_EQ, t0, exp, zr, zr, t0);
2158     tcg_gen_movcond_i64(TCG_COND_EQ, t0, exp, nan, zr, t0);
2159     tcg_gen_deposit_i64(xtl, t0, xbl, 0, 52);
2160     set_cpu_vsr(xT(ctx->opcode), xtl, false);
2162     tcg_temp_free_i64(t0);
2163     tcg_temp_free_i64(exp);
2164     tcg_temp_free_i64(zr);
2165     tcg_temp_free_i64(nan);
2166     tcg_temp_free_i64(xth);
2167     tcg_temp_free_i64(xtl);
2168     tcg_temp_free_i64(xbh);
2169     tcg_temp_free_i64(xbl);
2172 static bool do_lstxv(DisasContext *ctx, int ra, TCGv displ,
2173                      int rt, bool store, bool paired)
2175     TCGv ea;
2176     TCGv_i64 xt;
2177     MemOp mop;
2178     int rt1, rt2;
2180     xt = tcg_temp_new_i64();
2182     mop = DEF_MEMOP(MO_UQ);
2184     gen_set_access_type(ctx, ACCESS_INT);
2185     ea = do_ea_calc(ctx, ra, displ);
2187     if (paired && ctx->le_mode) {
2188         rt1 = rt + 1;
2189         rt2 = rt;
2190     } else {
2191         rt1 = rt;
2192         rt2 = rt + 1;
2193     }
2195     if (store) {
2196         get_cpu_vsr(xt, rt1, !ctx->le_mode);
2197         tcg_gen_qemu_st_i64(xt, ea, ctx->mem_idx, mop);
2198         gen_addr_add(ctx, ea, ea, 8);
2199         get_cpu_vsr(xt, rt1, ctx->le_mode);
2200         tcg_gen_qemu_st_i64(xt, ea, ctx->mem_idx, mop);
2201         if (paired) {
2202             gen_addr_add(ctx, ea, ea, 8);
2203             get_cpu_vsr(xt, rt2, !ctx->le_mode);
2204             tcg_gen_qemu_st_i64(xt, ea, ctx->mem_idx, mop);
2205             gen_addr_add(ctx, ea, ea, 8);
2206             get_cpu_vsr(xt, rt2, ctx->le_mode);
2207             tcg_gen_qemu_st_i64(xt, ea, ctx->mem_idx, mop);
2208         }
2209     } else {
2210         tcg_gen_qemu_ld_i64(xt, ea, ctx->mem_idx, mop);
2211         set_cpu_vsr(rt1, xt, !ctx->le_mode);
2212         gen_addr_add(ctx, ea, ea, 8);
2213         tcg_gen_qemu_ld_i64(xt, ea, ctx->mem_idx, mop);
2214         set_cpu_vsr(rt1, xt, ctx->le_mode);
2215         if (paired) {
2216             gen_addr_add(ctx, ea, ea, 8);
2217             tcg_gen_qemu_ld_i64(xt, ea, ctx->mem_idx, mop);
2218             set_cpu_vsr(rt2, xt, !ctx->le_mode);
2219             gen_addr_add(ctx, ea, ea, 8);
2220             tcg_gen_qemu_ld_i64(xt, ea, ctx->mem_idx, mop);
2221             set_cpu_vsr(rt2, xt, ctx->le_mode);
2222         }
2223     }
2225     tcg_temp_free(ea);
2226     tcg_temp_free_i64(xt);
2227     return true;
2230 static bool do_lstxv_D(DisasContext *ctx, arg_D *a, bool store, bool paired)
2232     if (paired || a->rt >= 32) {
2233         REQUIRE_VSX(ctx);
2234     } else {
2235         REQUIRE_VECTOR(ctx);
2236     }
2238     return do_lstxv(ctx, a->ra, tcg_constant_tl(a->si), a->rt, store, paired);
2241 static bool do_lstxv_PLS_D(DisasContext *ctx, arg_PLS_D *a,
2242                            bool store, bool paired)
2244     arg_D d;
2245     REQUIRE_VSX(ctx);
2247     if (!resolve_PLS_D(ctx, &d, a)) {
2248         return true;
2249     }
2251     return do_lstxv(ctx, d.ra, tcg_constant_tl(d.si), d.rt, store, paired);
2254 static bool do_lstxv_X(DisasContext *ctx, arg_X *a, bool store, bool paired)
2256     if (paired || a->rt >= 32) {
2257         REQUIRE_VSX(ctx);
2258     } else {
2259         REQUIRE_VECTOR(ctx);
2260     }
2262     return do_lstxv(ctx, a->ra, cpu_gpr[a->rb], a->rt, store, paired);
2265 TRANS_FLAGS2(ISA300, STXV, do_lstxv_D, true, false)
2266 TRANS_FLAGS2(ISA300, LXV, do_lstxv_D, false, false)
2267 TRANS_FLAGS2(ISA310, STXVP, do_lstxv_D, true, true)
2268 TRANS_FLAGS2(ISA310, LXVP, do_lstxv_D, false, true)
2269 TRANS_FLAGS2(ISA300, STXVX, do_lstxv_X, true, false)
2270 TRANS_FLAGS2(ISA300, LXVX, do_lstxv_X, false, false)
2271 TRANS_FLAGS2(ISA310, STXVPX, do_lstxv_X, true, true)
2272 TRANS_FLAGS2(ISA310, LXVPX, do_lstxv_X, false, true)
2273 TRANS64_FLAGS2(ISA310, PSTXV, do_lstxv_PLS_D, true, false)
2274 TRANS64_FLAGS2(ISA310, PLXV, do_lstxv_PLS_D, false, false)
2275 TRANS64_FLAGS2(ISA310, PSTXVP, do_lstxv_PLS_D, true, true)
2276 TRANS64_FLAGS2(ISA310, PLXVP, do_lstxv_PLS_D, false, true)
2278 static void gen_xxeval_i64(TCGv_i64 t, TCGv_i64 a, TCGv_i64 b, TCGv_i64 c,
2279                            int64_t imm)
2281     /*
2282      * Instead of processing imm bit-by-bit, we'll skip the computation of
2283      * conjunctions whose corresponding bit is unset.
2284      */
2285     int bit;
2286     TCGv_i64 conj, disj;
2288     conj = tcg_temp_new_i64();
2289     disj = tcg_const_i64(0);
2291     /* Iterate over set bits from the least to the most significant bit */
2292     while (imm) {
2293         /*
2294          * Get the next bit to be processed with ctz64. Invert the result of
2295          * ctz64 to match the indexing used by PowerISA.
2296          */
2297         bit = 7 - ctz64(imm);
2298         if (bit & 0x4) {
2299             tcg_gen_mov_i64(conj, a);
2300         } else {
2301             tcg_gen_not_i64(conj, a);
2302         }
2303         if (bit & 0x2) {
2304             tcg_gen_and_i64(conj, conj, b);
2305         } else {
2306             tcg_gen_andc_i64(conj, conj, b);
2307         }
2308         if (bit & 0x1) {
2309             tcg_gen_and_i64(conj, conj, c);
2310         } else {
2311             tcg_gen_andc_i64(conj, conj, c);
2312         }
2313         tcg_gen_or_i64(disj, disj, conj);
2315         /* Unset the least significant bit that is set */
2316         imm &= imm - 1;
2317     }
2319     tcg_gen_mov_i64(t, disj);
2321     tcg_temp_free_i64(conj);
2322     tcg_temp_free_i64(disj);
2325 static void gen_xxeval_vec(unsigned vece, TCGv_vec t, TCGv_vec a, TCGv_vec b,
2326                            TCGv_vec c, int64_t imm)
2328     /*
2329      * Instead of processing imm bit-by-bit, we'll skip the computation of
2330      * conjunctions whose corresponding bit is unset.
2331      */
2332     int bit;
2333     TCGv_vec disj, conj;
2335     disj = tcg_const_zeros_vec_matching(t);
2336     conj = tcg_temp_new_vec_matching(t);
2338     /* Iterate over set bits from the least to the most significant bit */
2339     while (imm) {
2340         /*
2341          * Get the next bit to be processed with ctz64. Invert the result of
2342          * ctz64 to match the indexing used by PowerISA.
2343          */
2344         bit = 7 - ctz64(imm);
2345         if (bit & 0x4) {
2346             tcg_gen_mov_vec(conj, a);
2347         } else {
2348             tcg_gen_not_vec(vece, conj, a);
2349         }
2350         if (bit & 0x2) {
2351             tcg_gen_and_vec(vece, conj, conj, b);
2352         } else {
2353             tcg_gen_andc_vec(vece, conj, conj, b);
2354         }
2355         if (bit & 0x1) {
2356             tcg_gen_and_vec(vece, conj, conj, c);
2357         } else {
2358             tcg_gen_andc_vec(vece, conj, conj, c);
2359         }
2360         tcg_gen_or_vec(vece, disj, disj, conj);
2362         /* Unset the least significant bit that is set */
2363         imm &= imm - 1;
2364     }
2366     tcg_gen_mov_vec(t, disj);
2368     tcg_temp_free_vec(disj);
2369     tcg_temp_free_vec(conj);
2372 static bool trans_XXEVAL(DisasContext *ctx, arg_8RR_XX4_imm *a)
2374     static const TCGOpcode vecop_list[] = {
2375         INDEX_op_andc_vec, 0
2376     };
2377     static const GVecGen4i op = {
2378         .fniv = gen_xxeval_vec,
2379         .fno = gen_helper_XXEVAL,
2380         .fni8 = gen_xxeval_i64,
2381         .opt_opc = vecop_list,
2382         .vece = MO_64
2383     };
2384     int xt = vsr_full_offset(a->xt), xa = vsr_full_offset(a->xa),
2385         xb = vsr_full_offset(a->xb), xc = vsr_full_offset(a->xc);
2387     REQUIRE_INSNS_FLAGS2(ctx, ISA310);
2388     REQUIRE_VSX(ctx);
2390     /* Equivalent functions that can be implemented with a single gen_gvec */
2391     switch (a->imm) {
2392     case 0b00000000: /* true */
2393         set_cpu_vsr(a->xt, tcg_constant_i64(0), true);
2394         set_cpu_vsr(a->xt, tcg_constant_i64(0), false);
2395         break;
2396     case 0b00000011: /* and(B,A) */
2397         tcg_gen_gvec_and(MO_64, xt, xb, xa, 16, 16);
2398         break;
2399     case 0b00000101: /* and(C,A) */
2400         tcg_gen_gvec_and(MO_64, xt, xc, xa, 16, 16);
2401         break;
2402     case 0b00001111: /* A */
2403         tcg_gen_gvec_mov(MO_64, xt, xa, 16, 16);
2404         break;
2405     case 0b00010001: /* and(C,B) */
2406         tcg_gen_gvec_and(MO_64, xt, xc, xb, 16, 16);
2407         break;
2408     case 0b00011011: /* C?B:A */
2409         tcg_gen_gvec_bitsel(MO_64, xt, xc, xb, xa, 16, 16);
2410         break;
2411     case 0b00011101: /* B?C:A */
2412         tcg_gen_gvec_bitsel(MO_64, xt, xb, xc, xa, 16, 16);
2413         break;
2414     case 0b00100111: /* C?A:B */
2415         tcg_gen_gvec_bitsel(MO_64, xt, xc, xa, xb, 16, 16);
2416         break;
2417     case 0b00110011: /* B */
2418         tcg_gen_gvec_mov(MO_64, xt, xb, 16, 16);
2419         break;
2420     case 0b00110101: /* A?C:B */
2421         tcg_gen_gvec_bitsel(MO_64, xt, xa, xc, xb, 16, 16);
2422         break;
2423     case 0b00111100: /* xor(B,A) */
2424         tcg_gen_gvec_xor(MO_64, xt, xb, xa, 16, 16);
2425         break;
2426     case 0b00111111: /* or(B,A) */
2427         tcg_gen_gvec_or(MO_64, xt, xb, xa, 16, 16);
2428         break;
2429     case 0b01000111: /* B?A:C */
2430         tcg_gen_gvec_bitsel(MO_64, xt, xb, xa, xc, 16, 16);
2431         break;
2432     case 0b01010011: /* A?B:C */
2433         tcg_gen_gvec_bitsel(MO_64, xt, xa, xb, xc, 16, 16);
2434         break;
2435     case 0b01010101: /* C */
2436         tcg_gen_gvec_mov(MO_64, xt, xc, 16, 16);
2437         break;
2438     case 0b01011010: /* xor(C,A) */
2439         tcg_gen_gvec_xor(MO_64, xt, xc, xa, 16, 16);
2440         break;
2441     case 0b01011111: /* or(C,A) */
2442         tcg_gen_gvec_or(MO_64, xt, xc, xa, 16, 16);
2443         break;
2444     case 0b01100110: /* xor(C,B) */
2445         tcg_gen_gvec_xor(MO_64, xt, xc, xb, 16, 16);
2446         break;
2447     case 0b01110111: /* or(C,B) */
2448         tcg_gen_gvec_or(MO_64, xt, xc, xb, 16, 16);
2449         break;
2450     case 0b10001000: /* nor(C,B) */
2451         tcg_gen_gvec_nor(MO_64, xt, xc, xb, 16, 16);
2452         break;
2453     case 0b10011001: /* eqv(C,B) */
2454         tcg_gen_gvec_eqv(MO_64, xt, xc, xb, 16, 16);
2455         break;
2456     case 0b10100000: /* nor(C,A) */
2457         tcg_gen_gvec_nor(MO_64, xt, xc, xa, 16, 16);
2458         break;
2459     case 0b10100101: /* eqv(C,A) */
2460         tcg_gen_gvec_eqv(MO_64, xt, xc, xa, 16, 16);
2461         break;
2462     case 0b10101010: /* not(C) */
2463         tcg_gen_gvec_not(MO_64, xt, xc, 16, 16);
2464         break;
2465     case 0b11000000: /* nor(B,A) */
2466         tcg_gen_gvec_nor(MO_64, xt,  xb, xa, 16, 16);
2467         break;
2468     case 0b11000011: /* eqv(B,A) */
2469         tcg_gen_gvec_eqv(MO_64, xt,  xb, xa, 16, 16);
2470         break;
2471     case 0b11001100: /* not(B) */
2472         tcg_gen_gvec_not(MO_64, xt, xb, 16, 16);
2473         break;
2474     case 0b11101110: /* nand(C,B) */
2475         tcg_gen_gvec_nand(MO_64, xt, xc, xb, 16, 16);
2476         break;
2477     case 0b11110000: /* not(A) */
2478         tcg_gen_gvec_not(MO_64, xt, xa, 16, 16);
2479         break;
2480     case 0b11111010: /* nand(C,A) */
2481         tcg_gen_gvec_nand(MO_64, xt, xc, xa, 16, 16);
2482         break;
2483     case 0b11111100: /* nand(B,A) */
2484         tcg_gen_gvec_nand(MO_64, xt, xb, xa, 16, 16);
2485         break;
2486     case 0b11111111: /* true */
2487         set_cpu_vsr(a->xt, tcg_constant_i64(-1), true);
2488         set_cpu_vsr(a->xt, tcg_constant_i64(-1), false);
2489         break;
2490     default:
2491         /* Fallback to compute all conjunctions/disjunctions */
2492         tcg_gen_gvec_4i(xt, xa, xb, xc, 16, 16, a->imm, &op);
2493     }
2495     return true;
2498 static void gen_xxblendv_vec(unsigned vece, TCGv_vec t, TCGv_vec a, TCGv_vec b,
2499                              TCGv_vec c)
2501     TCGv_vec tmp = tcg_temp_new_vec_matching(c);
2502     tcg_gen_sari_vec(vece, tmp, c, (8 << vece) - 1);
2503     tcg_gen_bitsel_vec(vece, t, tmp, b, a);
2504     tcg_temp_free_vec(tmp);
2507 static bool do_xxblendv(DisasContext *ctx, arg_8RR_XX4 *a, unsigned vece)
2509     static const TCGOpcode vecop_list[] = {
2510         INDEX_op_sari_vec, 0
2511     };
2512     static const GVecGen4 ops[4] = {
2513         {
2514             .fniv = gen_xxblendv_vec,
2515             .fno = gen_helper_XXBLENDVB,
2516             .opt_opc = vecop_list,
2517             .vece = MO_8
2518         },
2519         {
2520             .fniv = gen_xxblendv_vec,
2521             .fno = gen_helper_XXBLENDVH,
2522             .opt_opc = vecop_list,
2523             .vece = MO_16
2524         },
2525         {
2526             .fniv = gen_xxblendv_vec,
2527             .fno = gen_helper_XXBLENDVW,
2528             .opt_opc = vecop_list,
2529             .vece = MO_32
2530         },
2531         {
2532             .fniv = gen_xxblendv_vec,
2533             .fno = gen_helper_XXBLENDVD,
2534             .opt_opc = vecop_list,
2535             .vece = MO_64
2536         }
2537     };
2539     REQUIRE_VSX(ctx);
2541     tcg_gen_gvec_4(vsr_full_offset(a->xt), vsr_full_offset(a->xa),
2542                    vsr_full_offset(a->xb), vsr_full_offset(a->xc),
2543                    16, 16, &ops[vece]);
2545     return true;
2548 TRANS(XXBLENDVB, do_xxblendv, MO_8)
2549 TRANS(XXBLENDVH, do_xxblendv, MO_16)
2550 TRANS(XXBLENDVW, do_xxblendv, MO_32)
2551 TRANS(XXBLENDVD, do_xxblendv, MO_64)
2553 static bool do_xsmaxmincjdp(DisasContext *ctx, arg_XX3 *a,
2554                             void (*helper)(TCGv_ptr, TCGv_ptr, TCGv_ptr, TCGv_ptr))
2556     TCGv_ptr xt, xa, xb;
2558     REQUIRE_INSNS_FLAGS2(ctx, ISA300);
2559     REQUIRE_VSX(ctx);
2561     xt = gen_vsr_ptr(a->xt);
2562     xa = gen_vsr_ptr(a->xa);
2563     xb = gen_vsr_ptr(a->xb);
2565     helper(cpu_env, xt, xa, xb);
2567     tcg_temp_free_ptr(xt);
2568     tcg_temp_free_ptr(xa);
2569     tcg_temp_free_ptr(xb);
2571     return true;
2574 TRANS(XSMAXCDP, do_xsmaxmincjdp, gen_helper_xsmaxcdp)
2575 TRANS(XSMINCDP, do_xsmaxmincjdp, gen_helper_xsmincdp)
2576 TRANS(XSMAXJDP, do_xsmaxmincjdp, gen_helper_xsmaxjdp)
2577 TRANS(XSMINJDP, do_xsmaxmincjdp, gen_helper_xsminjdp)
2579 #undef GEN_XX2FORM
2580 #undef GEN_XX3FORM
2581 #undef GEN_XX2IFORM
2582 #undef GEN_XX3_RC_FORM
2583 #undef GEN_XX3FORM_DM
2584 #undef VSX_LOGICAL