1/*
2 * RISC-V translation routines for the RVB Standard Extension.
3 *
4 * Copyright (c) 2020 Kito Cheng, kito.cheng@sifive.com
5 * Copyright (c) 2020 Frank Chang, frank.chang@sifive.com
6 *
7 * This program is free software; you can redistribute it and/or modify it
8 * under the terms and conditions of the GNU General Public License,
9 * version 2 or later, as published by the Free Software Foundation.
10 *
11 * This program is distributed in the hope it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
14 * more details.
15 *
16 * You should have received a copy of the GNU General Public License along with
17 * this program.  If not, see <http://www.gnu.org/licenses/>.
18 */
19
20
21static void gen_clz(TCGv ret, TCGv arg1)
22{
23    tcg_gen_clzi_tl(ret, arg1, TARGET_LONG_BITS);
24}
25
26static bool trans_clz(DisasContext *ctx, arg_clz *a)
27{
28    REQUIRE_EXT(ctx, RVB);
29    return gen_unary(ctx, a, gen_clz);
30}
31
32static void gen_ctz(TCGv ret, TCGv arg1)
33{
34    tcg_gen_ctzi_tl(ret, arg1, TARGET_LONG_BITS);
35}
36
37static bool trans_ctz(DisasContext *ctx, arg_ctz *a)
38{
39    REQUIRE_EXT(ctx, RVB);
40    return gen_unary(ctx, a, gen_ctz);
41}
42
43static bool trans_cpop(DisasContext *ctx, arg_cpop *a)
44{
45    REQUIRE_EXT(ctx, RVB);
46    return gen_unary(ctx, a, tcg_gen_ctpop_tl);
47}
48
49static bool trans_andn(DisasContext *ctx, arg_andn *a)
50{
51    REQUIRE_EXT(ctx, RVB);
52    return gen_arith(ctx, a, EXT_NONE, tcg_gen_andc_tl);
53}
54
55static bool trans_orn(DisasContext *ctx, arg_orn *a)
56{
57    REQUIRE_EXT(ctx, RVB);
58    return gen_arith(ctx, a, EXT_NONE, tcg_gen_orc_tl);
59}
60
61static bool trans_xnor(DisasContext *ctx, arg_xnor *a)
62{
63    REQUIRE_EXT(ctx, RVB);
64    return gen_arith(ctx, a, EXT_NONE, tcg_gen_eqv_tl);
65}
66
67static void gen_pack(TCGv ret, TCGv arg1, TCGv arg2)
68{
69    tcg_gen_deposit_tl(ret, arg1, arg2,
70                       TARGET_LONG_BITS / 2,
71                       TARGET_LONG_BITS / 2);
72}
73
74static bool trans_pack(DisasContext *ctx, arg_pack *a)
75{
76    REQUIRE_EXT(ctx, RVB);
77    return gen_arith(ctx, a, EXT_NONE, gen_pack);
78}
79
80static void gen_packu(TCGv ret, TCGv arg1, TCGv arg2)
81{
82    TCGv t = tcg_temp_new();
83    tcg_gen_shri_tl(t, arg1, TARGET_LONG_BITS / 2);
84    tcg_gen_deposit_tl(ret, arg2, t, 0, TARGET_LONG_BITS / 2);
85    tcg_temp_free(t);
86}
87
88static bool trans_packu(DisasContext *ctx, arg_packu *a)
89{
90    REQUIRE_EXT(ctx, RVB);
91    return gen_arith(ctx, a, EXT_NONE, gen_packu);
92}
93
94static void gen_packh(TCGv ret, TCGv arg1, TCGv arg2)
95{
96    TCGv t = tcg_temp_new();
97    tcg_gen_ext8u_tl(t, arg2);
98    tcg_gen_deposit_tl(ret, arg1, t, 8, TARGET_LONG_BITS - 8);
99    tcg_temp_free(t);
100}
101
102static bool trans_packh(DisasContext *ctx, arg_packh *a)
103{
104    REQUIRE_EXT(ctx, RVB);
105    return gen_arith(ctx, a, EXT_NONE, gen_packh);
106}
107
108static bool trans_min(DisasContext *ctx, arg_min *a)
109{
110    REQUIRE_EXT(ctx, RVB);
111    return gen_arith(ctx, a, EXT_SIGN, tcg_gen_smin_tl);
112}
113
114static bool trans_max(DisasContext *ctx, arg_max *a)
115{
116    REQUIRE_EXT(ctx, RVB);
117    return gen_arith(ctx, a, EXT_SIGN, tcg_gen_smax_tl);
118}
119
120static bool trans_minu(DisasContext *ctx, arg_minu *a)
121{
122    REQUIRE_EXT(ctx, RVB);
123    return gen_arith(ctx, a, EXT_SIGN, tcg_gen_umin_tl);
124}
125
126static bool trans_maxu(DisasContext *ctx, arg_maxu *a)
127{
128    REQUIRE_EXT(ctx, RVB);
129    return gen_arith(ctx, a, EXT_SIGN, tcg_gen_umax_tl);
130}
131
132static bool trans_sext_b(DisasContext *ctx, arg_sext_b *a)
133{
134    REQUIRE_EXT(ctx, RVB);
135    return gen_unary(ctx, a, tcg_gen_ext8s_tl);
136}
137
138static bool trans_sext_h(DisasContext *ctx, arg_sext_h *a)
139{
140    REQUIRE_EXT(ctx, RVB);
141    return gen_unary(ctx, a, tcg_gen_ext16s_tl);
142}
143
144static void gen_sbop_mask(TCGv ret, TCGv shamt)
145{
146    tcg_gen_movi_tl(ret, 1);
147    tcg_gen_shl_tl(ret, ret, shamt);
148}
149
150static void gen_bset(TCGv ret, TCGv arg1, TCGv shamt)
151{
152    TCGv t = tcg_temp_new();
153
154    gen_sbop_mask(t, shamt);
155    tcg_gen_or_tl(ret, arg1, t);
156
157    tcg_temp_free(t);
158}
159
160static bool trans_bset(DisasContext *ctx, arg_bset *a)
161{
162    REQUIRE_EXT(ctx, RVB);
163    return gen_shift(ctx, a, gen_bset);
164}
165
166static bool trans_bseti(DisasContext *ctx, arg_bseti *a)
167{
168    REQUIRE_EXT(ctx, RVB);
169    return gen_shifti(ctx, a, gen_bset);
170}
171
172static void gen_bclr(TCGv ret, TCGv arg1, TCGv shamt)
173{
174    TCGv t = tcg_temp_new();
175
176    gen_sbop_mask(t, shamt);
177    tcg_gen_andc_tl(ret, arg1, t);
178
179    tcg_temp_free(t);
180}
181
182static bool trans_bclr(DisasContext *ctx, arg_bclr *a)
183{
184    REQUIRE_EXT(ctx, RVB);
185    return gen_shift(ctx, a, gen_bclr);
186}
187
188static bool trans_bclri(DisasContext *ctx, arg_bclri *a)
189{
190    REQUIRE_EXT(ctx, RVB);
191    return gen_shifti(ctx, a, gen_bclr);
192}
193
194static void gen_binv(TCGv ret, TCGv arg1, TCGv shamt)
195{
196    TCGv t = tcg_temp_new();
197
198    gen_sbop_mask(t, shamt);
199    tcg_gen_xor_tl(ret, arg1, t);
200
201    tcg_temp_free(t);
202}
203
204static bool trans_binv(DisasContext *ctx, arg_binv *a)
205{
206    REQUIRE_EXT(ctx, RVB);
207    return gen_shift(ctx, a, gen_binv);
208}
209
210static bool trans_binvi(DisasContext *ctx, arg_binvi *a)
211{
212    REQUIRE_EXT(ctx, RVB);
213    return gen_shifti(ctx, a, gen_binv);
214}
215
216static void gen_bext(TCGv ret, TCGv arg1, TCGv shamt)
217{
218    tcg_gen_shr_tl(ret, arg1, shamt);
219    tcg_gen_andi_tl(ret, ret, 1);
220}
221
222static bool trans_bext(DisasContext *ctx, arg_bext *a)
223{
224    REQUIRE_EXT(ctx, RVB);
225    return gen_shift(ctx, a, gen_bext);
226}
227
228static bool trans_bexti(DisasContext *ctx, arg_bexti *a)
229{
230    REQUIRE_EXT(ctx, RVB);
231    return gen_shifti(ctx, a, gen_bext);
232}
233
234static void gen_slo(TCGv ret, TCGv arg1, TCGv arg2)
235{
236    tcg_gen_not_tl(ret, arg1);
237    tcg_gen_shl_tl(ret, ret, arg2);
238    tcg_gen_not_tl(ret, ret);
239}
240
241static bool trans_slo(DisasContext *ctx, arg_slo *a)
242{
243    REQUIRE_EXT(ctx, RVB);
244    return gen_shift(ctx, a, gen_slo);
245}
246
247static bool trans_sloi(DisasContext *ctx, arg_sloi *a)
248{
249    REQUIRE_EXT(ctx, RVB);
250    return gen_shifti(ctx, a, gen_slo);
251}
252
253static void gen_sro(TCGv ret, TCGv arg1, TCGv arg2)
254{
255    tcg_gen_not_tl(ret, arg1);
256    tcg_gen_shr_tl(ret, ret, arg2);
257    tcg_gen_not_tl(ret, ret);
258}
259
260static bool trans_sro(DisasContext *ctx, arg_sro *a)
261{
262    REQUIRE_EXT(ctx, RVB);
263    return gen_shift(ctx, a, gen_sro);
264}
265
266static bool trans_sroi(DisasContext *ctx, arg_sroi *a)
267{
268    REQUIRE_EXT(ctx, RVB);
269    return gen_shifti(ctx, a, gen_sro);
270}
271
272static bool trans_ror(DisasContext *ctx, arg_ror *a)
273{
274    REQUIRE_EXT(ctx, RVB);
275    return gen_shift(ctx, a, tcg_gen_rotr_tl);
276}
277
278static bool trans_rori(DisasContext *ctx, arg_rori *a)
279{
280    REQUIRE_EXT(ctx, RVB);
281    return gen_shifti(ctx, a, tcg_gen_rotr_tl);
282}
283
284static bool trans_rol(DisasContext *ctx, arg_rol *a)
285{
286    REQUIRE_EXT(ctx, RVB);
287    return gen_shift(ctx, a, tcg_gen_rotl_tl);
288}
289
290static bool trans_grev(DisasContext *ctx, arg_grev *a)
291{
292    REQUIRE_EXT(ctx, RVB);
293    return gen_shift(ctx, a, gen_helper_grev);
294}
295
296static bool gen_grevi(DisasContext *ctx, arg_grevi *a)
297{
298    TCGv source1 = tcg_temp_new();
299    TCGv source2;
300
301    gen_get_gpr(ctx, source1, a->rs1);
302
303    if (a->shamt == (TARGET_LONG_BITS - 8)) {
304        /* rev8, byte swaps */
305        tcg_gen_bswap_tl(source1, source1);
306    } else {
307        source2 = tcg_temp_new();
308        tcg_gen_movi_tl(source2, a->shamt);
309        gen_helper_grev(source1, source1, source2);
310        tcg_temp_free(source2);
311    }
312
313    gen_set_gpr(ctx, a->rd, source1);
314    tcg_temp_free(source1);
315    return true;
316}
317
318static bool trans_grevi(DisasContext *ctx, arg_grevi *a)
319{
320    REQUIRE_EXT(ctx, RVB);
321
322    if (a->shamt >= TARGET_LONG_BITS) {
323        return false;
324    }
325
326    return gen_grevi(ctx, a);
327}
328
329static bool trans_gorc(DisasContext *ctx, arg_gorc *a)
330{
331    REQUIRE_EXT(ctx, RVB);
332    return gen_shift(ctx, a, gen_helper_gorc);
333}
334
335static bool trans_gorci(DisasContext *ctx, arg_gorci *a)
336{
337    REQUIRE_EXT(ctx, RVB);
338    return gen_shifti(ctx, a, gen_helper_gorc);
339}
340
341#define GEN_SHADD(SHAMT)                                       \
342static void gen_sh##SHAMT##add(TCGv ret, TCGv arg1, TCGv arg2) \
343{                                                              \
344    TCGv t = tcg_temp_new();                                   \
345                                                               \
346    tcg_gen_shli_tl(t, arg1, SHAMT);                           \
347    tcg_gen_add_tl(ret, t, arg2);                              \
348                                                               \
349    tcg_temp_free(t);                                          \
350}
351
352GEN_SHADD(1)
353GEN_SHADD(2)
354GEN_SHADD(3)
355
356#define GEN_TRANS_SHADD(SHAMT)                                             \
357static bool trans_sh##SHAMT##add(DisasContext *ctx, arg_sh##SHAMT##add *a) \
358{                                                                          \
359    REQUIRE_EXT(ctx, RVB);                                                 \
360    return gen_arith(ctx, a, EXT_NONE, gen_sh##SHAMT##add);                \
361}
362
363GEN_TRANS_SHADD(1)
364GEN_TRANS_SHADD(2)
365GEN_TRANS_SHADD(3)
366
367static void gen_clzw(TCGv ret, TCGv arg1)
368{
369    tcg_gen_ext32u_tl(ret, arg1);
370    tcg_gen_clzi_tl(ret, ret, 64);
371    tcg_gen_subi_tl(ret, ret, 32);
372}
373
374static bool trans_clzw(DisasContext *ctx, arg_clzw *a)
375{
376    REQUIRE_64BIT(ctx);
377    REQUIRE_EXT(ctx, RVB);
378    return gen_unary(ctx, a, gen_clzw);
379}
380
381static void gen_ctzw(TCGv ret, TCGv arg1)
382{
383    tcg_gen_ori_tl(ret, arg1, (target_ulong)MAKE_64BIT_MASK(32, 32));
384    tcg_gen_ctzi_tl(ret, ret, 64);
385}
386
387static bool trans_ctzw(DisasContext *ctx, arg_ctzw *a)
388{
389    REQUIRE_64BIT(ctx);
390    REQUIRE_EXT(ctx, RVB);
391    return gen_unary(ctx, a, gen_ctzw);
392}
393
394static void gen_cpopw(TCGv ret, TCGv arg1)
395{
396    tcg_gen_ext32u_tl(arg1, arg1);
397    tcg_gen_ctpop_tl(ret, arg1);
398}
399
400static bool trans_cpopw(DisasContext *ctx, arg_cpopw *a)
401{
402    REQUIRE_64BIT(ctx);
403    REQUIRE_EXT(ctx, RVB);
404    return gen_unary(ctx, a, gen_cpopw);
405}
406
407static void gen_packw(TCGv ret, TCGv arg1, TCGv arg2)
408{
409    TCGv t = tcg_temp_new();
410    tcg_gen_ext16s_tl(t, arg2);
411    tcg_gen_deposit_tl(ret, arg1, t, 16, 48);
412    tcg_temp_free(t);
413}
414
415static bool trans_packw(DisasContext *ctx, arg_packw *a)
416{
417    REQUIRE_64BIT(ctx);
418    REQUIRE_EXT(ctx, RVB);
419    return gen_arith(ctx, a, EXT_NONE, gen_packw);
420}
421
422static void gen_packuw(TCGv ret, TCGv arg1, TCGv arg2)
423{
424    TCGv t = tcg_temp_new();
425    tcg_gen_shri_tl(t, arg1, 16);
426    tcg_gen_deposit_tl(ret, arg2, t, 0, 16);
427    tcg_gen_ext32s_tl(ret, ret);
428    tcg_temp_free(t);
429}
430
431static bool trans_packuw(DisasContext *ctx, arg_packuw *a)
432{
433    REQUIRE_64BIT(ctx);
434    REQUIRE_EXT(ctx, RVB);
435    return gen_arith(ctx, a, EXT_NONE, gen_packuw);
436}
437
438static bool trans_bsetw(DisasContext *ctx, arg_bsetw *a)
439{
440    REQUIRE_64BIT(ctx);
441    REQUIRE_EXT(ctx, RVB);
442    return gen_shiftw(ctx, a, gen_bset);
443}
444
445static bool trans_bsetiw(DisasContext *ctx, arg_bsetiw *a)
446{
447    REQUIRE_64BIT(ctx);
448    REQUIRE_EXT(ctx, RVB);
449    return gen_shiftiw(ctx, a, gen_bset);
450}
451
452static bool trans_bclrw(DisasContext *ctx, arg_bclrw *a)
453{
454    REQUIRE_64BIT(ctx);
455    REQUIRE_EXT(ctx, RVB);
456    return gen_shiftw(ctx, a, gen_bclr);
457}
458
459static bool trans_bclriw(DisasContext *ctx, arg_bclriw *a)
460{
461    REQUIRE_64BIT(ctx);
462    REQUIRE_EXT(ctx, RVB);
463    return gen_shiftiw(ctx, a, gen_bclr);
464}
465
466static bool trans_binvw(DisasContext *ctx, arg_binvw *a)
467{
468    REQUIRE_64BIT(ctx);
469    REQUIRE_EXT(ctx, RVB);
470    return gen_shiftw(ctx, a, gen_binv);
471}
472
473static bool trans_binviw(DisasContext *ctx, arg_binviw *a)
474{
475    REQUIRE_64BIT(ctx);
476    REQUIRE_EXT(ctx, RVB);
477    return gen_shiftiw(ctx, a, gen_binv);
478}
479
480static bool trans_bextw(DisasContext *ctx, arg_bextw *a)
481{
482    REQUIRE_64BIT(ctx);
483    REQUIRE_EXT(ctx, RVB);
484    return gen_shiftw(ctx, a, gen_bext);
485}
486
487static bool trans_slow(DisasContext *ctx, arg_slow *a)
488{
489    REQUIRE_64BIT(ctx);
490    REQUIRE_EXT(ctx, RVB);
491    return gen_shiftw(ctx, a, gen_slo);
492}
493
494static bool trans_sloiw(DisasContext *ctx, arg_sloiw *a)
495{
496    REQUIRE_64BIT(ctx);
497    REQUIRE_EXT(ctx, RVB);
498    return gen_shiftiw(ctx, a, gen_slo);
499}
500
501static bool trans_srow(DisasContext *ctx, arg_srow *a)
502{
503    REQUIRE_64BIT(ctx);
504    REQUIRE_EXT(ctx, RVB);
505    return gen_shiftw(ctx, a, gen_sro);
506}
507
508static bool trans_sroiw(DisasContext *ctx, arg_sroiw *a)
509{
510    REQUIRE_64BIT(ctx);
511    REQUIRE_EXT(ctx, RVB);
512    return gen_shiftiw(ctx, a, gen_sro);
513}
514
515static void gen_rorw(TCGv ret, TCGv arg1, TCGv arg2)
516{
517    TCGv_i32 t1 = tcg_temp_new_i32();
518    TCGv_i32 t2 = tcg_temp_new_i32();
519
520    /* truncate to 32-bits */
521    tcg_gen_trunc_tl_i32(t1, arg1);
522    tcg_gen_trunc_tl_i32(t2, arg2);
523
524    tcg_gen_rotr_i32(t1, t1, t2);
525
526    /* sign-extend 64-bits */
527    tcg_gen_ext_i32_tl(ret, t1);
528
529    tcg_temp_free_i32(t1);
530    tcg_temp_free_i32(t2);
531}
532
533static bool trans_rorw(DisasContext *ctx, arg_rorw *a)
534{
535    REQUIRE_64BIT(ctx);
536    REQUIRE_EXT(ctx, RVB);
537    return gen_shiftw(ctx, a, gen_rorw);
538}
539
540static bool trans_roriw(DisasContext *ctx, arg_roriw *a)
541{
542    REQUIRE_64BIT(ctx);
543    REQUIRE_EXT(ctx, RVB);
544    return gen_shiftiw(ctx, a, gen_rorw);
545}
546
547static void gen_rolw(TCGv ret, TCGv arg1, TCGv arg2)
548{
549    TCGv_i32 t1 = tcg_temp_new_i32();
550    TCGv_i32 t2 = tcg_temp_new_i32();
551
552    /* truncate to 32-bits */
553    tcg_gen_trunc_tl_i32(t1, arg1);
554    tcg_gen_trunc_tl_i32(t2, arg2);
555
556    tcg_gen_rotl_i32(t1, t1, t2);
557
558    /* sign-extend 64-bits */
559    tcg_gen_ext_i32_tl(ret, t1);
560
561    tcg_temp_free_i32(t1);
562    tcg_temp_free_i32(t2);
563}
564
565static bool trans_rolw(DisasContext *ctx, arg_rolw *a)
566{
567    REQUIRE_64BIT(ctx);
568    REQUIRE_EXT(ctx, RVB);
569    return gen_shiftw(ctx, a, gen_rolw);
570}
571
572static void gen_grevw(TCGv ret, TCGv arg1, TCGv arg2)
573{
574    tcg_gen_ext32u_tl(arg1, arg1);
575    gen_helper_grev(ret, arg1, arg2);
576}
577
578static bool trans_grevw(DisasContext *ctx, arg_grevw *a)
579{
580    REQUIRE_64BIT(ctx);
581    REQUIRE_EXT(ctx, RVB);
582    return gen_shiftw(ctx, a, gen_grevw);
583}
584
585static bool trans_greviw(DisasContext *ctx, arg_greviw *a)
586{
587    REQUIRE_64BIT(ctx);
588    REQUIRE_EXT(ctx, RVB);
589    return gen_shiftiw(ctx, a, gen_grevw);
590}
591
592static void gen_gorcw(TCGv ret, TCGv arg1, TCGv arg2)
593{
594    tcg_gen_ext32u_tl(arg1, arg1);
595    gen_helper_gorcw(ret, arg1, arg2);
596}
597
598static bool trans_gorcw(DisasContext *ctx, arg_gorcw *a)
599{
600    REQUIRE_64BIT(ctx);
601    REQUIRE_EXT(ctx, RVB);
602    return gen_shiftw(ctx, a, gen_gorcw);
603}
604
605static bool trans_gorciw(DisasContext *ctx, arg_gorciw *a)
606{
607    REQUIRE_64BIT(ctx);
608    REQUIRE_EXT(ctx, RVB);
609    return gen_shiftiw(ctx, a, gen_gorcw);
610}
611
612#define GEN_SHADD_UW(SHAMT)                                       \
613static void gen_sh##SHAMT##add_uw(TCGv ret, TCGv arg1, TCGv arg2) \
614{                                                                 \
615    TCGv t = tcg_temp_new();                                      \
616                                                                  \
617    tcg_gen_ext32u_tl(t, arg1);                                   \
618                                                                  \
619    tcg_gen_shli_tl(t, t, SHAMT);                                 \
620    tcg_gen_add_tl(ret, t, arg2);                                 \
621                                                                  \
622    tcg_temp_free(t);                                             \
623}
624
625GEN_SHADD_UW(1)
626GEN_SHADD_UW(2)
627GEN_SHADD_UW(3)
628
629#define GEN_TRANS_SHADD_UW(SHAMT)                             \
630static bool trans_sh##SHAMT##add_uw(DisasContext *ctx,        \
631                                    arg_sh##SHAMT##add_uw *a) \
632{                                                             \
633    REQUIRE_64BIT(ctx);                                       \
634    REQUIRE_EXT(ctx, RVB);                                    \
635    return gen_arith(ctx, a, EXT_NONE, gen_sh##SHAMT##add_uw);  \
636}
637
638GEN_TRANS_SHADD_UW(1)
639GEN_TRANS_SHADD_UW(2)
640GEN_TRANS_SHADD_UW(3)
641
642static void gen_add_uw(TCGv ret, TCGv arg1, TCGv arg2)
643{
644    tcg_gen_ext32u_tl(arg1, arg1);
645    tcg_gen_add_tl(ret, arg1, arg2);
646}
647
648static bool trans_add_uw(DisasContext *ctx, arg_add_uw *a)
649{
650    REQUIRE_64BIT(ctx);
651    REQUIRE_EXT(ctx, RVB);
652    return gen_arith(ctx, a, EXT_NONE, gen_add_uw);
653}
654
655static bool trans_slli_uw(DisasContext *ctx, arg_slli_uw *a)
656{
657    REQUIRE_64BIT(ctx);
658    REQUIRE_EXT(ctx, RVB);
659
660    TCGv source1 = tcg_temp_new();
661    gen_get_gpr(ctx, source1, a->rs1);
662
663    if (a->shamt < 32) {
664        tcg_gen_deposit_z_tl(source1, source1, a->shamt, 32);
665    } else {
666        tcg_gen_shli_tl(source1, source1, a->shamt);
667    }
668
669    gen_set_gpr(ctx, a->rd, source1);
670    tcg_temp_free(source1);
671    return true;
672}
673