xref: /openbmc/qemu/target/openrisc/translate.c (revision 40f23e4e)
1 /*
2  * OpenRISC translation
3  *
4  * Copyright (c) 2011-2012 Jia Liu <proljc@gmail.com>
5  *                         Feng Gao <gf91597@gmail.com>
6  *
7  * This library is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU Lesser General Public
9  * License as published by the Free Software Foundation; either
10  * version 2.1 of the License, or (at your option) any later version.
11  *
12  * This library is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15  * Lesser General Public License for more details.
16  *
17  * You should have received a copy of the GNU Lesser General Public
18  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
19  */
20 
21 #include "qemu/osdep.h"
22 #include "cpu.h"
23 #include "exec/exec-all.h"
24 #include "disas/disas.h"
25 #include "tcg/tcg-op.h"
26 #include "qemu/log.h"
27 #include "qemu/bitops.h"
28 #include "qemu/qemu-print.h"
29 #include "exec/cpu_ldst.h"
30 #include "exec/translator.h"
31 
32 #include "exec/helper-proto.h"
33 #include "exec/helper-gen.h"
34 #include "exec/gen-icount.h"
35 
36 #include "trace-tcg.h"
37 #include "exec/log.h"
38 
39 /* is_jmp field values */
40 #define DISAS_EXIT    DISAS_TARGET_0  /* force exit to main loop */
41 #define DISAS_JUMP    DISAS_TARGET_1  /* exit via jmp_pc/jmp_pc_imm */
42 
43 typedef struct DisasContext {
44     DisasContextBase base;
45     uint32_t mem_idx;
46     uint32_t tb_flags;
47     uint32_t delayed_branch;
48     uint32_t cpucfgr;
49     uint32_t avr;
50 
51     /* If not -1, jmp_pc contains this value and so is a direct jump.  */
52     target_ulong jmp_pc_imm;
53 
54     /* The temporary corresponding to register 0 for this compilation.  */
55     TCGv R0;
56 } DisasContext;
57 
58 static inline bool is_user(DisasContext *dc)
59 {
60 #ifdef CONFIG_USER_ONLY
61     return true;
62 #else
63     return !(dc->tb_flags & TB_FLAGS_SM);
64 #endif
65 }
66 
67 /* Include the auto-generated decoder.  */
68 #include "decode-insns.c.inc"
69 
70 static TCGv cpu_sr;
71 static TCGv cpu_regs[32];
72 static TCGv cpu_pc;
73 static TCGv jmp_pc;            /* l.jr/l.jalr temp pc */
74 static TCGv cpu_ppc;
75 static TCGv cpu_sr_f;           /* bf/bnf, F flag taken */
76 static TCGv cpu_sr_cy;          /* carry (unsigned overflow) */
77 static TCGv cpu_sr_ov;          /* signed overflow */
78 static TCGv cpu_lock_addr;
79 static TCGv cpu_lock_value;
80 static TCGv_i32 fpcsr;
81 static TCGv_i64 cpu_mac;        /* MACHI:MACLO */
82 static TCGv_i32 cpu_dflag;
83 
84 void openrisc_translate_init(void)
85 {
86     static const char * const regnames[] = {
87         "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
88         "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
89         "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",
90         "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",
91     };
92     int i;
93 
94     cpu_sr = tcg_global_mem_new(cpu_env,
95                                 offsetof(CPUOpenRISCState, sr), "sr");
96     cpu_dflag = tcg_global_mem_new_i32(cpu_env,
97                                        offsetof(CPUOpenRISCState, dflag),
98                                        "dflag");
99     cpu_pc = tcg_global_mem_new(cpu_env,
100                                 offsetof(CPUOpenRISCState, pc), "pc");
101     cpu_ppc = tcg_global_mem_new(cpu_env,
102                                  offsetof(CPUOpenRISCState, ppc), "ppc");
103     jmp_pc = tcg_global_mem_new(cpu_env,
104                                 offsetof(CPUOpenRISCState, jmp_pc), "jmp_pc");
105     cpu_sr_f = tcg_global_mem_new(cpu_env,
106                                   offsetof(CPUOpenRISCState, sr_f), "sr_f");
107     cpu_sr_cy = tcg_global_mem_new(cpu_env,
108                                    offsetof(CPUOpenRISCState, sr_cy), "sr_cy");
109     cpu_sr_ov = tcg_global_mem_new(cpu_env,
110                                    offsetof(CPUOpenRISCState, sr_ov), "sr_ov");
111     cpu_lock_addr = tcg_global_mem_new(cpu_env,
112                                        offsetof(CPUOpenRISCState, lock_addr),
113                                        "lock_addr");
114     cpu_lock_value = tcg_global_mem_new(cpu_env,
115                                         offsetof(CPUOpenRISCState, lock_value),
116                                         "lock_value");
117     fpcsr = tcg_global_mem_new_i32(cpu_env,
118                                    offsetof(CPUOpenRISCState, fpcsr),
119                                    "fpcsr");
120     cpu_mac = tcg_global_mem_new_i64(cpu_env,
121                                      offsetof(CPUOpenRISCState, mac),
122                                      "mac");
123     for (i = 0; i < 32; i++) {
124         cpu_regs[i] = tcg_global_mem_new(cpu_env,
125                                          offsetof(CPUOpenRISCState,
126                                                   shadow_gpr[0][i]),
127                                          regnames[i]);
128     }
129 }
130 
131 static void gen_exception(DisasContext *dc, unsigned int excp)
132 {
133     TCGv_i32 tmp = tcg_const_i32(excp);
134     gen_helper_exception(cpu_env, tmp);
135     tcg_temp_free_i32(tmp);
136 }
137 
138 static void gen_illegal_exception(DisasContext *dc)
139 {
140     tcg_gen_movi_tl(cpu_pc, dc->base.pc_next);
141     gen_exception(dc, EXCP_ILLEGAL);
142     dc->base.is_jmp = DISAS_NORETURN;
143 }
144 
145 static bool check_v1_3(DisasContext *dc)
146 {
147     return dc->avr >= 0x01030000;
148 }
149 
150 static bool check_of32s(DisasContext *dc)
151 {
152     return dc->cpucfgr & CPUCFGR_OF32S;
153 }
154 
155 static bool check_of64a32s(DisasContext *dc)
156 {
157     return dc->cpucfgr & CPUCFGR_OF64A32S;
158 }
159 
160 static TCGv cpu_R(DisasContext *dc, int reg)
161 {
162     if (reg == 0) {
163         return dc->R0;
164     } else {
165         return cpu_regs[reg];
166     }
167 }
168 
169 /*
170  * We're about to write to REG.  On the off-chance that the user is
171  * writing to R0, re-instate the architectural register.
172  */
173 static void check_r0_write(DisasContext *dc, int reg)
174 {
175     if (unlikely(reg == 0)) {
176         dc->R0 = cpu_regs[0];
177     }
178 }
179 
180 static void gen_ove_cy(DisasContext *dc)
181 {
182     if (dc->tb_flags & SR_OVE) {
183         gen_helper_ove_cy(cpu_env);
184     }
185 }
186 
187 static void gen_ove_ov(DisasContext *dc)
188 {
189     if (dc->tb_flags & SR_OVE) {
190         gen_helper_ove_ov(cpu_env);
191     }
192 }
193 
194 static void gen_ove_cyov(DisasContext *dc)
195 {
196     if (dc->tb_flags & SR_OVE) {
197         gen_helper_ove_cyov(cpu_env);
198     }
199 }
200 
201 static void gen_add(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb)
202 {
203     TCGv t0 = tcg_const_tl(0);
204     TCGv res = tcg_temp_new();
205 
206     tcg_gen_add2_tl(res, cpu_sr_cy, srca, t0, srcb, t0);
207     tcg_gen_xor_tl(cpu_sr_ov, srca, srcb);
208     tcg_gen_xor_tl(t0, res, srcb);
209     tcg_gen_andc_tl(cpu_sr_ov, t0, cpu_sr_ov);
210     tcg_temp_free(t0);
211 
212     tcg_gen_mov_tl(dest, res);
213     tcg_temp_free(res);
214 
215     gen_ove_cyov(dc);
216 }
217 
218 static void gen_addc(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb)
219 {
220     TCGv t0 = tcg_const_tl(0);
221     TCGv res = tcg_temp_new();
222 
223     tcg_gen_add2_tl(res, cpu_sr_cy, srca, t0, cpu_sr_cy, t0);
224     tcg_gen_add2_tl(res, cpu_sr_cy, res, cpu_sr_cy, srcb, t0);
225     tcg_gen_xor_tl(cpu_sr_ov, srca, srcb);
226     tcg_gen_xor_tl(t0, res, srcb);
227     tcg_gen_andc_tl(cpu_sr_ov, t0, cpu_sr_ov);
228     tcg_temp_free(t0);
229 
230     tcg_gen_mov_tl(dest, res);
231     tcg_temp_free(res);
232 
233     gen_ove_cyov(dc);
234 }
235 
236 static void gen_sub(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb)
237 {
238     TCGv res = tcg_temp_new();
239 
240     tcg_gen_sub_tl(res, srca, srcb);
241     tcg_gen_xor_tl(cpu_sr_cy, srca, srcb);
242     tcg_gen_xor_tl(cpu_sr_ov, res, srcb);
243     tcg_gen_and_tl(cpu_sr_ov, cpu_sr_ov, cpu_sr_cy);
244     tcg_gen_setcond_tl(TCG_COND_LTU, cpu_sr_cy, srca, srcb);
245 
246     tcg_gen_mov_tl(dest, res);
247     tcg_temp_free(res);
248 
249     gen_ove_cyov(dc);
250 }
251 
252 static void gen_mul(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb)
253 {
254     TCGv t0 = tcg_temp_new();
255 
256     tcg_gen_muls2_tl(dest, cpu_sr_ov, srca, srcb);
257     tcg_gen_sari_tl(t0, dest, TARGET_LONG_BITS - 1);
258     tcg_gen_setcond_tl(TCG_COND_NE, cpu_sr_ov, cpu_sr_ov, t0);
259     tcg_temp_free(t0);
260 
261     tcg_gen_neg_tl(cpu_sr_ov, cpu_sr_ov);
262     gen_ove_ov(dc);
263 }
264 
265 static void gen_mulu(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb)
266 {
267     tcg_gen_muls2_tl(dest, cpu_sr_cy, srca, srcb);
268     tcg_gen_setcondi_tl(TCG_COND_NE, cpu_sr_cy, cpu_sr_cy, 0);
269 
270     gen_ove_cy(dc);
271 }
272 
273 static void gen_div(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb)
274 {
275     TCGv t0 = tcg_temp_new();
276 
277     tcg_gen_setcondi_tl(TCG_COND_EQ, cpu_sr_ov, srcb, 0);
278     /* The result of divide-by-zero is undefined.
279        Supress the host-side exception by dividing by 1.  */
280     tcg_gen_or_tl(t0, srcb, cpu_sr_ov);
281     tcg_gen_div_tl(dest, srca, t0);
282     tcg_temp_free(t0);
283 
284     tcg_gen_neg_tl(cpu_sr_ov, cpu_sr_ov);
285     gen_ove_ov(dc);
286 }
287 
288 static void gen_divu(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb)
289 {
290     TCGv t0 = tcg_temp_new();
291 
292     tcg_gen_setcondi_tl(TCG_COND_EQ, cpu_sr_cy, srcb, 0);
293     /* The result of divide-by-zero is undefined.
294        Supress the host-side exception by dividing by 1.  */
295     tcg_gen_or_tl(t0, srcb, cpu_sr_cy);
296     tcg_gen_divu_tl(dest, srca, t0);
297     tcg_temp_free(t0);
298 
299     gen_ove_cy(dc);
300 }
301 
302 static void gen_muld(DisasContext *dc, TCGv srca, TCGv srcb)
303 {
304     TCGv_i64 t1 = tcg_temp_new_i64();
305     TCGv_i64 t2 = tcg_temp_new_i64();
306 
307     tcg_gen_ext_tl_i64(t1, srca);
308     tcg_gen_ext_tl_i64(t2, srcb);
309     if (TARGET_LONG_BITS == 32) {
310         tcg_gen_mul_i64(cpu_mac, t1, t2);
311         tcg_gen_movi_tl(cpu_sr_ov, 0);
312     } else {
313         TCGv_i64 high = tcg_temp_new_i64();
314 
315         tcg_gen_muls2_i64(cpu_mac, high, t1, t2);
316         tcg_gen_sari_i64(t1, cpu_mac, 63);
317         tcg_gen_setcond_i64(TCG_COND_NE, t1, t1, high);
318         tcg_temp_free_i64(high);
319         tcg_gen_trunc_i64_tl(cpu_sr_ov, t1);
320         tcg_gen_neg_tl(cpu_sr_ov, cpu_sr_ov);
321 
322         gen_ove_ov(dc);
323     }
324     tcg_temp_free_i64(t1);
325     tcg_temp_free_i64(t2);
326 }
327 
328 static void gen_muldu(DisasContext *dc, TCGv srca, TCGv srcb)
329 {
330     TCGv_i64 t1 = tcg_temp_new_i64();
331     TCGv_i64 t2 = tcg_temp_new_i64();
332 
333     tcg_gen_extu_tl_i64(t1, srca);
334     tcg_gen_extu_tl_i64(t2, srcb);
335     if (TARGET_LONG_BITS == 32) {
336         tcg_gen_mul_i64(cpu_mac, t1, t2);
337         tcg_gen_movi_tl(cpu_sr_cy, 0);
338     } else {
339         TCGv_i64 high = tcg_temp_new_i64();
340 
341         tcg_gen_mulu2_i64(cpu_mac, high, t1, t2);
342         tcg_gen_setcondi_i64(TCG_COND_NE, high, high, 0);
343         tcg_gen_trunc_i64_tl(cpu_sr_cy, high);
344         tcg_temp_free_i64(high);
345 
346         gen_ove_cy(dc);
347     }
348     tcg_temp_free_i64(t1);
349     tcg_temp_free_i64(t2);
350 }
351 
352 static void gen_mac(DisasContext *dc, TCGv srca, TCGv srcb)
353 {
354     TCGv_i64 t1 = tcg_temp_new_i64();
355     TCGv_i64 t2 = tcg_temp_new_i64();
356 
357     tcg_gen_ext_tl_i64(t1, srca);
358     tcg_gen_ext_tl_i64(t2, srcb);
359     tcg_gen_mul_i64(t1, t1, t2);
360 
361     /* Note that overflow is only computed during addition stage.  */
362     tcg_gen_xor_i64(t2, cpu_mac, t1);
363     tcg_gen_add_i64(cpu_mac, cpu_mac, t1);
364     tcg_gen_xor_i64(t1, t1, cpu_mac);
365     tcg_gen_andc_i64(t1, t1, t2);
366     tcg_temp_free_i64(t2);
367 
368 #if TARGET_LONG_BITS == 32
369     tcg_gen_extrh_i64_i32(cpu_sr_ov, t1);
370 #else
371     tcg_gen_mov_i64(cpu_sr_ov, t1);
372 #endif
373     tcg_temp_free_i64(t1);
374 
375     gen_ove_ov(dc);
376 }
377 
378 static void gen_macu(DisasContext *dc, TCGv srca, TCGv srcb)
379 {
380     TCGv_i64 t1 = tcg_temp_new_i64();
381     TCGv_i64 t2 = tcg_temp_new_i64();
382 
383     tcg_gen_extu_tl_i64(t1, srca);
384     tcg_gen_extu_tl_i64(t2, srcb);
385     tcg_gen_mul_i64(t1, t1, t2);
386     tcg_temp_free_i64(t2);
387 
388     /* Note that overflow is only computed during addition stage.  */
389     tcg_gen_add_i64(cpu_mac, cpu_mac, t1);
390     tcg_gen_setcond_i64(TCG_COND_LTU, t1, cpu_mac, t1);
391     tcg_gen_trunc_i64_tl(cpu_sr_cy, t1);
392     tcg_temp_free_i64(t1);
393 
394     gen_ove_cy(dc);
395 }
396 
397 static void gen_msb(DisasContext *dc, TCGv srca, TCGv srcb)
398 {
399     TCGv_i64 t1 = tcg_temp_new_i64();
400     TCGv_i64 t2 = tcg_temp_new_i64();
401 
402     tcg_gen_ext_tl_i64(t1, srca);
403     tcg_gen_ext_tl_i64(t2, srcb);
404     tcg_gen_mul_i64(t1, t1, t2);
405 
406     /* Note that overflow is only computed during subtraction stage.  */
407     tcg_gen_xor_i64(t2, cpu_mac, t1);
408     tcg_gen_sub_i64(cpu_mac, cpu_mac, t1);
409     tcg_gen_xor_i64(t1, t1, cpu_mac);
410     tcg_gen_and_i64(t1, t1, t2);
411     tcg_temp_free_i64(t2);
412 
413 #if TARGET_LONG_BITS == 32
414     tcg_gen_extrh_i64_i32(cpu_sr_ov, t1);
415 #else
416     tcg_gen_mov_i64(cpu_sr_ov, t1);
417 #endif
418     tcg_temp_free_i64(t1);
419 
420     gen_ove_ov(dc);
421 }
422 
423 static void gen_msbu(DisasContext *dc, TCGv srca, TCGv srcb)
424 {
425     TCGv_i64 t1 = tcg_temp_new_i64();
426     TCGv_i64 t2 = tcg_temp_new_i64();
427 
428     tcg_gen_extu_tl_i64(t1, srca);
429     tcg_gen_extu_tl_i64(t2, srcb);
430     tcg_gen_mul_i64(t1, t1, t2);
431 
432     /* Note that overflow is only computed during subtraction stage.  */
433     tcg_gen_setcond_i64(TCG_COND_LTU, t2, cpu_mac, t1);
434     tcg_gen_sub_i64(cpu_mac, cpu_mac, t1);
435     tcg_gen_trunc_i64_tl(cpu_sr_cy, t2);
436     tcg_temp_free_i64(t2);
437     tcg_temp_free_i64(t1);
438 
439     gen_ove_cy(dc);
440 }
441 
442 static bool trans_l_add(DisasContext *dc, arg_dab *a)
443 {
444     check_r0_write(dc, a->d);
445     gen_add(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
446     return true;
447 }
448 
449 static bool trans_l_addc(DisasContext *dc, arg_dab *a)
450 {
451     check_r0_write(dc, a->d);
452     gen_addc(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
453     return true;
454 }
455 
456 static bool trans_l_sub(DisasContext *dc, arg_dab *a)
457 {
458     check_r0_write(dc, a->d);
459     gen_sub(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
460     return true;
461 }
462 
463 static bool trans_l_and(DisasContext *dc, arg_dab *a)
464 {
465     check_r0_write(dc, a->d);
466     tcg_gen_and_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
467     return true;
468 }
469 
470 static bool trans_l_or(DisasContext *dc, arg_dab *a)
471 {
472     check_r0_write(dc, a->d);
473     tcg_gen_or_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
474     return true;
475 }
476 
477 static bool trans_l_xor(DisasContext *dc, arg_dab *a)
478 {
479     check_r0_write(dc, a->d);
480     tcg_gen_xor_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
481     return true;
482 }
483 
484 static bool trans_l_sll(DisasContext *dc, arg_dab *a)
485 {
486     check_r0_write(dc, a->d);
487     tcg_gen_shl_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
488     return true;
489 }
490 
491 static bool trans_l_srl(DisasContext *dc, arg_dab *a)
492 {
493     check_r0_write(dc, a->d);
494     tcg_gen_shr_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
495     return true;
496 }
497 
498 static bool trans_l_sra(DisasContext *dc, arg_dab *a)
499 {
500     check_r0_write(dc, a->d);
501     tcg_gen_sar_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
502     return true;
503 }
504 
505 static bool trans_l_ror(DisasContext *dc, arg_dab *a)
506 {
507     check_r0_write(dc, a->d);
508     tcg_gen_rotr_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
509     return true;
510 }
511 
512 static bool trans_l_exths(DisasContext *dc, arg_da *a)
513 {
514     check_r0_write(dc, a->d);
515     tcg_gen_ext16s_tl(cpu_R(dc, a->d), cpu_R(dc, a->a));
516     return true;
517 }
518 
519 static bool trans_l_extbs(DisasContext *dc, arg_da *a)
520 {
521     check_r0_write(dc, a->d);
522     tcg_gen_ext8s_tl(cpu_R(dc, a->d), cpu_R(dc, a->a));
523     return true;
524 }
525 
526 static bool trans_l_exthz(DisasContext *dc, arg_da *a)
527 {
528     check_r0_write(dc, a->d);
529     tcg_gen_ext16u_tl(cpu_R(dc, a->d), cpu_R(dc, a->a));
530     return true;
531 }
532 
533 static bool trans_l_extbz(DisasContext *dc, arg_da *a)
534 {
535     check_r0_write(dc, a->d);
536     tcg_gen_ext8u_tl(cpu_R(dc, a->d), cpu_R(dc, a->a));
537     return true;
538 }
539 
540 static bool trans_l_cmov(DisasContext *dc, arg_dab *a)
541 {
542     TCGv zero;
543 
544     check_r0_write(dc, a->d);
545     zero = tcg_const_tl(0);
546     tcg_gen_movcond_tl(TCG_COND_NE, cpu_R(dc, a->d), cpu_sr_f, zero,
547                        cpu_R(dc, a->a), cpu_R(dc, a->b));
548     tcg_temp_free(zero);
549     return true;
550 }
551 
552 static bool trans_l_ff1(DisasContext *dc, arg_da *a)
553 {
554     check_r0_write(dc, a->d);
555     tcg_gen_ctzi_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), -1);
556     tcg_gen_addi_tl(cpu_R(dc, a->d), cpu_R(dc, a->d), 1);
557     return true;
558 }
559 
560 static bool trans_l_fl1(DisasContext *dc, arg_da *a)
561 {
562     check_r0_write(dc, a->d);
563     tcg_gen_clzi_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), TARGET_LONG_BITS);
564     tcg_gen_subfi_tl(cpu_R(dc, a->d), TARGET_LONG_BITS, cpu_R(dc, a->d));
565     return true;
566 }
567 
568 static bool trans_l_mul(DisasContext *dc, arg_dab *a)
569 {
570     check_r0_write(dc, a->d);
571     gen_mul(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
572     return true;
573 }
574 
575 static bool trans_l_mulu(DisasContext *dc, arg_dab *a)
576 {
577     check_r0_write(dc, a->d);
578     gen_mulu(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
579     return true;
580 }
581 
582 static bool trans_l_div(DisasContext *dc, arg_dab *a)
583 {
584     check_r0_write(dc, a->d);
585     gen_div(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
586     return true;
587 }
588 
589 static bool trans_l_divu(DisasContext *dc, arg_dab *a)
590 {
591     check_r0_write(dc, a->d);
592     gen_divu(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b));
593     return true;
594 }
595 
596 static bool trans_l_muld(DisasContext *dc, arg_ab *a)
597 {
598     gen_muld(dc, cpu_R(dc, a->a), cpu_R(dc, a->b));
599     return true;
600 }
601 
602 static bool trans_l_muldu(DisasContext *dc, arg_ab *a)
603 {
604     gen_muldu(dc, cpu_R(dc, a->a), cpu_R(dc, a->b));
605     return true;
606 }
607 
608 static bool trans_l_j(DisasContext *dc, arg_l_j *a)
609 {
610     target_ulong tmp_pc = dc->base.pc_next + a->n * 4;
611 
612     tcg_gen_movi_tl(jmp_pc, tmp_pc);
613     dc->jmp_pc_imm = tmp_pc;
614     dc->delayed_branch = 2;
615     return true;
616 }
617 
618 static bool trans_l_jal(DisasContext *dc, arg_l_jal *a)
619 {
620     target_ulong tmp_pc = dc->base.pc_next + a->n * 4;
621     target_ulong ret_pc = dc->base.pc_next + 8;
622 
623     tcg_gen_movi_tl(cpu_regs[9], ret_pc);
624     /* Optimize jal being used to load the PC for PIC.  */
625     if (tmp_pc != ret_pc) {
626         tcg_gen_movi_tl(jmp_pc, tmp_pc);
627         dc->jmp_pc_imm = tmp_pc;
628         dc->delayed_branch = 2;
629     }
630     return true;
631 }
632 
633 static void do_bf(DisasContext *dc, arg_l_bf *a, TCGCond cond)
634 {
635     target_ulong tmp_pc = dc->base.pc_next + a->n * 4;
636     TCGv t_next = tcg_const_tl(dc->base.pc_next + 8);
637     TCGv t_true = tcg_const_tl(tmp_pc);
638     TCGv t_zero = tcg_const_tl(0);
639 
640     tcg_gen_movcond_tl(cond, jmp_pc, cpu_sr_f, t_zero, t_true, t_next);
641 
642     tcg_temp_free(t_next);
643     tcg_temp_free(t_true);
644     tcg_temp_free(t_zero);
645     dc->delayed_branch = 2;
646 }
647 
648 static bool trans_l_bf(DisasContext *dc, arg_l_bf *a)
649 {
650     do_bf(dc, a, TCG_COND_NE);
651     return true;
652 }
653 
654 static bool trans_l_bnf(DisasContext *dc, arg_l_bf *a)
655 {
656     do_bf(dc, a, TCG_COND_EQ);
657     return true;
658 }
659 
660 static bool trans_l_jr(DisasContext *dc, arg_l_jr *a)
661 {
662     tcg_gen_mov_tl(jmp_pc, cpu_R(dc, a->b));
663     dc->delayed_branch = 2;
664     return true;
665 }
666 
667 static bool trans_l_jalr(DisasContext *dc, arg_l_jalr *a)
668 {
669     tcg_gen_mov_tl(jmp_pc, cpu_R(dc, a->b));
670     tcg_gen_movi_tl(cpu_regs[9], dc->base.pc_next + 8);
671     dc->delayed_branch = 2;
672     return true;
673 }
674 
675 static bool trans_l_lwa(DisasContext *dc, arg_load *a)
676 {
677     TCGv ea;
678 
679     check_r0_write(dc, a->d);
680     ea = tcg_temp_new();
681     tcg_gen_addi_tl(ea, cpu_R(dc, a->a), a->i);
682     tcg_gen_qemu_ld_tl(cpu_R(dc, a->d), ea, dc->mem_idx, MO_TEUL);
683     tcg_gen_mov_tl(cpu_lock_addr, ea);
684     tcg_gen_mov_tl(cpu_lock_value, cpu_R(dc, a->d));
685     tcg_temp_free(ea);
686     return true;
687 }
688 
689 static void do_load(DisasContext *dc, arg_load *a, MemOp mop)
690 {
691     TCGv ea;
692 
693     check_r0_write(dc, a->d);
694     ea = tcg_temp_new();
695     tcg_gen_addi_tl(ea, cpu_R(dc, a->a), a->i);
696     tcg_gen_qemu_ld_tl(cpu_R(dc, a->d), ea, dc->mem_idx, mop);
697     tcg_temp_free(ea);
698 }
699 
700 static bool trans_l_lwz(DisasContext *dc, arg_load *a)
701 {
702     do_load(dc, a, MO_TEUL);
703     return true;
704 }
705 
706 static bool trans_l_lws(DisasContext *dc, arg_load *a)
707 {
708     do_load(dc, a, MO_TESL);
709     return true;
710 }
711 
712 static bool trans_l_lbz(DisasContext *dc, arg_load *a)
713 {
714     do_load(dc, a, MO_UB);
715     return true;
716 }
717 
718 static bool trans_l_lbs(DisasContext *dc, arg_load *a)
719 {
720     do_load(dc, a, MO_SB);
721     return true;
722 }
723 
724 static bool trans_l_lhz(DisasContext *dc, arg_load *a)
725 {
726     do_load(dc, a, MO_TEUW);
727     return true;
728 }
729 
730 static bool trans_l_lhs(DisasContext *dc, arg_load *a)
731 {
732     do_load(dc, a, MO_TESW);
733     return true;
734 }
735 
736 static bool trans_l_swa(DisasContext *dc, arg_store *a)
737 {
738     TCGv ea, val;
739     TCGLabel *lab_fail, *lab_done;
740 
741     ea = tcg_temp_new();
742     tcg_gen_addi_tl(ea, cpu_R(dc, a->a), a->i);
743 
744     /* For TB_FLAGS_R0_0, the branch below invalidates the temporary assigned
745        to cpu_regs[0].  Since l.swa is quite often immediately followed by a
746        branch, don't bother reallocating; finish the TB using the "real" R0.
747        This also takes care of RB input across the branch.  */
748     dc->R0 = cpu_regs[0];
749 
750     lab_fail = gen_new_label();
751     lab_done = gen_new_label();
752     tcg_gen_brcond_tl(TCG_COND_NE, ea, cpu_lock_addr, lab_fail);
753     tcg_temp_free(ea);
754 
755     val = tcg_temp_new();
756     tcg_gen_atomic_cmpxchg_tl(val, cpu_lock_addr, cpu_lock_value,
757                               cpu_regs[a->b], dc->mem_idx, MO_TEUL);
758     tcg_gen_setcond_tl(TCG_COND_EQ, cpu_sr_f, val, cpu_lock_value);
759     tcg_temp_free(val);
760 
761     tcg_gen_br(lab_done);
762 
763     gen_set_label(lab_fail);
764     tcg_gen_movi_tl(cpu_sr_f, 0);
765 
766     gen_set_label(lab_done);
767     tcg_gen_movi_tl(cpu_lock_addr, -1);
768     return true;
769 }
770 
771 static void do_store(DisasContext *dc, arg_store *a, MemOp mop)
772 {
773     TCGv t0 = tcg_temp_new();
774     tcg_gen_addi_tl(t0, cpu_R(dc, a->a), a->i);
775     tcg_gen_qemu_st_tl(cpu_R(dc, a->b), t0, dc->mem_idx, mop);
776     tcg_temp_free(t0);
777 }
778 
779 static bool trans_l_sw(DisasContext *dc, arg_store *a)
780 {
781     do_store(dc, a, MO_TEUL);
782     return true;
783 }
784 
785 static bool trans_l_sb(DisasContext *dc, arg_store *a)
786 {
787     do_store(dc, a, MO_UB);
788     return true;
789 }
790 
791 static bool trans_l_sh(DisasContext *dc, arg_store *a)
792 {
793     do_store(dc, a, MO_TEUW);
794     return true;
795 }
796 
797 static bool trans_l_nop(DisasContext *dc, arg_l_nop *a)
798 {
799     return true;
800 }
801 
802 static bool trans_l_adrp(DisasContext *dc, arg_l_adrp *a)
803 {
804     if (!check_v1_3(dc)) {
805         return false;
806     }
807     check_r0_write(dc, a->d);
808 
809     tcg_gen_movi_i32(cpu_R(dc, a->d),
810                      (dc->base.pc_next & TARGET_PAGE_MASK) +
811                      ((target_long)a->i << TARGET_PAGE_BITS));
812     return true;
813 }
814 
815 static bool trans_l_addi(DisasContext *dc, arg_rri *a)
816 {
817     TCGv t0;
818 
819     check_r0_write(dc, a->d);
820     t0 = tcg_const_tl(a->i);
821     gen_add(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), t0);
822     tcg_temp_free(t0);
823     return true;
824 }
825 
826 static bool trans_l_addic(DisasContext *dc, arg_rri *a)
827 {
828     TCGv t0;
829 
830     check_r0_write(dc, a->d);
831     t0 = tcg_const_tl(a->i);
832     gen_addc(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), t0);
833     tcg_temp_free(t0);
834     return true;
835 }
836 
837 static bool trans_l_muli(DisasContext *dc, arg_rri *a)
838 {
839     TCGv t0;
840 
841     check_r0_write(dc, a->d);
842     t0 = tcg_const_tl(a->i);
843     gen_mul(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), t0);
844     tcg_temp_free(t0);
845     return true;
846 }
847 
848 static bool trans_l_maci(DisasContext *dc, arg_l_maci *a)
849 {
850     TCGv t0;
851 
852     t0 = tcg_const_tl(a->i);
853     gen_mac(dc, cpu_R(dc, a->a), t0);
854     tcg_temp_free(t0);
855     return true;
856 }
857 
858 static bool trans_l_andi(DisasContext *dc, arg_rrk *a)
859 {
860     check_r0_write(dc, a->d);
861     tcg_gen_andi_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), a->k);
862     return true;
863 }
864 
865 static bool trans_l_ori(DisasContext *dc, arg_rrk *a)
866 {
867     check_r0_write(dc, a->d);
868     tcg_gen_ori_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), a->k);
869     return true;
870 }
871 
872 static bool trans_l_xori(DisasContext *dc, arg_rri *a)
873 {
874     check_r0_write(dc, a->d);
875     tcg_gen_xori_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), a->i);
876     return true;
877 }
878 
879 static bool trans_l_mfspr(DisasContext *dc, arg_l_mfspr *a)
880 {
881     check_r0_write(dc, a->d);
882 
883     if (is_user(dc)) {
884         gen_illegal_exception(dc);
885     } else {
886         TCGv spr = tcg_temp_new();
887 
888         if (tb_cflags(dc->base.tb) & CF_USE_ICOUNT) {
889             gen_io_start();
890             if (dc->delayed_branch) {
891                 tcg_gen_mov_tl(cpu_pc, jmp_pc);
892                 tcg_gen_discard_tl(jmp_pc);
893             } else {
894                 tcg_gen_movi_tl(cpu_pc, dc->base.pc_next + 4);
895             }
896             dc->base.is_jmp = DISAS_EXIT;
897         }
898 
899         tcg_gen_ori_tl(spr, cpu_R(dc, a->a), a->k);
900         gen_helper_mfspr(cpu_R(dc, a->d), cpu_env, cpu_R(dc, a->d), spr);
901         tcg_temp_free(spr);
902     }
903     return true;
904 }
905 
906 static bool trans_l_mtspr(DisasContext *dc, arg_l_mtspr *a)
907 {
908     if (is_user(dc)) {
909         gen_illegal_exception(dc);
910     } else {
911         TCGv spr;
912 
913         if (tb_cflags(dc->base.tb) & CF_USE_ICOUNT) {
914             gen_io_start();
915         }
916         /* For SR, we will need to exit the TB to recognize the new
917          * exception state.  For NPC, in theory this counts as a branch
918          * (although the SPR only exists for use by an ICE).  Save all
919          * of the cpu state first, allowing it to be overwritten.
920          */
921         if (dc->delayed_branch) {
922             tcg_gen_mov_tl(cpu_pc, jmp_pc);
923             tcg_gen_discard_tl(jmp_pc);
924         } else {
925             tcg_gen_movi_tl(cpu_pc, dc->base.pc_next + 4);
926         }
927         dc->base.is_jmp = DISAS_EXIT;
928 
929         spr = tcg_temp_new();
930         tcg_gen_ori_tl(spr, cpu_R(dc, a->a), a->k);
931         gen_helper_mtspr(cpu_env, spr, cpu_R(dc, a->b));
932         tcg_temp_free(spr);
933     }
934     return true;
935 }
936 
937 static bool trans_l_mac(DisasContext *dc, arg_ab *a)
938 {
939     gen_mac(dc, cpu_R(dc, a->a), cpu_R(dc, a->b));
940     return true;
941 }
942 
943 static bool trans_l_msb(DisasContext *dc, arg_ab *a)
944 {
945     gen_msb(dc, cpu_R(dc, a->a), cpu_R(dc, a->b));
946     return true;
947 }
948 
949 static bool trans_l_macu(DisasContext *dc, arg_ab *a)
950 {
951     gen_macu(dc, cpu_R(dc, a->a), cpu_R(dc, a->b));
952     return true;
953 }
954 
955 static bool trans_l_msbu(DisasContext *dc, arg_ab *a)
956 {
957     gen_msbu(dc, cpu_R(dc, a->a), cpu_R(dc, a->b));
958     return true;
959 }
960 
961 static bool trans_l_slli(DisasContext *dc, arg_dal *a)
962 {
963     check_r0_write(dc, a->d);
964     tcg_gen_shli_tl(cpu_R(dc, a->d), cpu_R(dc, a->a),
965                     a->l & (TARGET_LONG_BITS - 1));
966     return true;
967 }
968 
969 static bool trans_l_srli(DisasContext *dc, arg_dal *a)
970 {
971     check_r0_write(dc, a->d);
972     tcg_gen_shri_tl(cpu_R(dc, a->d), cpu_R(dc, a->a),
973                     a->l & (TARGET_LONG_BITS - 1));
974     return true;
975 }
976 
977 static bool trans_l_srai(DisasContext *dc, arg_dal *a)
978 {
979     check_r0_write(dc, a->d);
980     tcg_gen_sari_tl(cpu_R(dc, a->d), cpu_R(dc, a->a),
981                     a->l & (TARGET_LONG_BITS - 1));
982     return true;
983 }
984 
985 static bool trans_l_rori(DisasContext *dc, arg_dal *a)
986 {
987     check_r0_write(dc, a->d);
988     tcg_gen_rotri_tl(cpu_R(dc, a->d), cpu_R(dc, a->a),
989                      a->l & (TARGET_LONG_BITS - 1));
990     return true;
991 }
992 
993 static bool trans_l_movhi(DisasContext *dc, arg_l_movhi *a)
994 {
995     check_r0_write(dc, a->d);
996     tcg_gen_movi_tl(cpu_R(dc, a->d), a->k << 16);
997     return true;
998 }
999 
1000 static bool trans_l_macrc(DisasContext *dc, arg_l_macrc *a)
1001 {
1002     check_r0_write(dc, a->d);
1003     tcg_gen_trunc_i64_tl(cpu_R(dc, a->d), cpu_mac);
1004     tcg_gen_movi_i64(cpu_mac, 0);
1005     return true;
1006 }
1007 
1008 static bool trans_l_sfeq(DisasContext *dc, arg_ab *a)
1009 {
1010     tcg_gen_setcond_tl(TCG_COND_EQ, cpu_sr_f,
1011                        cpu_R(dc, a->a), cpu_R(dc, a->b));
1012     return true;
1013 }
1014 
1015 static bool trans_l_sfne(DisasContext *dc, arg_ab *a)
1016 {
1017     tcg_gen_setcond_tl(TCG_COND_NE, cpu_sr_f,
1018                        cpu_R(dc, a->a), cpu_R(dc, a->b));
1019     return true;
1020 }
1021 
1022 static bool trans_l_sfgtu(DisasContext *dc, arg_ab *a)
1023 {
1024     tcg_gen_setcond_tl(TCG_COND_GTU, cpu_sr_f,
1025                        cpu_R(dc, a->a), cpu_R(dc, a->b));
1026     return true;
1027 }
1028 
1029 static bool trans_l_sfgeu(DisasContext *dc, arg_ab *a)
1030 {
1031     tcg_gen_setcond_tl(TCG_COND_GEU, cpu_sr_f,
1032                        cpu_R(dc, a->a), cpu_R(dc, a->b));
1033     return true;
1034 }
1035 
1036 static bool trans_l_sfltu(DisasContext *dc, arg_ab *a)
1037 {
1038     tcg_gen_setcond_tl(TCG_COND_LTU, cpu_sr_f,
1039                        cpu_R(dc, a->a), cpu_R(dc, a->b));
1040     return true;
1041 }
1042 
1043 static bool trans_l_sfleu(DisasContext *dc, arg_ab *a)
1044 {
1045     tcg_gen_setcond_tl(TCG_COND_LEU, cpu_sr_f,
1046                        cpu_R(dc, a->a), cpu_R(dc, a->b));
1047     return true;
1048 }
1049 
1050 static bool trans_l_sfgts(DisasContext *dc, arg_ab *a)
1051 {
1052     tcg_gen_setcond_tl(TCG_COND_GT, cpu_sr_f,
1053                        cpu_R(dc, a->a), cpu_R(dc, a->b));
1054     return true;
1055 }
1056 
1057 static bool trans_l_sfges(DisasContext *dc, arg_ab *a)
1058 {
1059     tcg_gen_setcond_tl(TCG_COND_GE, cpu_sr_f,
1060                        cpu_R(dc, a->a), cpu_R(dc, a->b));
1061     return true;
1062 }
1063 
1064 static bool trans_l_sflts(DisasContext *dc, arg_ab *a)
1065 {
1066     tcg_gen_setcond_tl(TCG_COND_LT, cpu_sr_f,
1067                        cpu_R(dc, a->a), cpu_R(dc, a->b));
1068     return true;
1069 }
1070 
1071 static bool trans_l_sfles(DisasContext *dc, arg_ab *a)
1072 {
1073     tcg_gen_setcond_tl(TCG_COND_LE,
1074                        cpu_sr_f, cpu_R(dc, a->a), cpu_R(dc, a->b));
1075     return true;
1076 }
1077 
1078 static bool trans_l_sfeqi(DisasContext *dc, arg_ai *a)
1079 {
1080     tcg_gen_setcondi_tl(TCG_COND_EQ, cpu_sr_f, cpu_R(dc, a->a), a->i);
1081     return true;
1082 }
1083 
1084 static bool trans_l_sfnei(DisasContext *dc, arg_ai *a)
1085 {
1086     tcg_gen_setcondi_tl(TCG_COND_NE, cpu_sr_f, cpu_R(dc, a->a), a->i);
1087     return true;
1088 }
1089 
1090 static bool trans_l_sfgtui(DisasContext *dc, arg_ai *a)
1091 {
1092     tcg_gen_setcondi_tl(TCG_COND_GTU, cpu_sr_f, cpu_R(dc, a->a), a->i);
1093     return true;
1094 }
1095 
1096 static bool trans_l_sfgeui(DisasContext *dc, arg_ai *a)
1097 {
1098     tcg_gen_setcondi_tl(TCG_COND_GEU, cpu_sr_f, cpu_R(dc, a->a), a->i);
1099     return true;
1100 }
1101 
1102 static bool trans_l_sfltui(DisasContext *dc, arg_ai *a)
1103 {
1104     tcg_gen_setcondi_tl(TCG_COND_LTU, cpu_sr_f, cpu_R(dc, a->a), a->i);
1105     return true;
1106 }
1107 
1108 static bool trans_l_sfleui(DisasContext *dc, arg_ai *a)
1109 {
1110     tcg_gen_setcondi_tl(TCG_COND_LEU, cpu_sr_f, cpu_R(dc, a->a), a->i);
1111     return true;
1112 }
1113 
1114 static bool trans_l_sfgtsi(DisasContext *dc, arg_ai *a)
1115 {
1116     tcg_gen_setcondi_tl(TCG_COND_GT, cpu_sr_f, cpu_R(dc, a->a), a->i);
1117     return true;
1118 }
1119 
1120 static bool trans_l_sfgesi(DisasContext *dc, arg_ai *a)
1121 {
1122     tcg_gen_setcondi_tl(TCG_COND_GE, cpu_sr_f, cpu_R(dc, a->a), a->i);
1123     return true;
1124 }
1125 
1126 static bool trans_l_sfltsi(DisasContext *dc, arg_ai *a)
1127 {
1128     tcg_gen_setcondi_tl(TCG_COND_LT, cpu_sr_f, cpu_R(dc, a->a), a->i);
1129     return true;
1130 }
1131 
1132 static bool trans_l_sflesi(DisasContext *dc, arg_ai *a)
1133 {
1134     tcg_gen_setcondi_tl(TCG_COND_LE, cpu_sr_f, cpu_R(dc, a->a), a->i);
1135     return true;
1136 }
1137 
1138 static bool trans_l_sys(DisasContext *dc, arg_l_sys *a)
1139 {
1140     tcg_gen_movi_tl(cpu_pc, dc->base.pc_next);
1141     gen_exception(dc, EXCP_SYSCALL);
1142     dc->base.is_jmp = DISAS_NORETURN;
1143     return true;
1144 }
1145 
1146 static bool trans_l_trap(DisasContext *dc, arg_l_trap *a)
1147 {
1148     tcg_gen_movi_tl(cpu_pc, dc->base.pc_next);
1149     gen_exception(dc, EXCP_TRAP);
1150     dc->base.is_jmp = DISAS_NORETURN;
1151     return true;
1152 }
1153 
1154 static bool trans_l_msync(DisasContext *dc, arg_l_msync *a)
1155 {
1156     tcg_gen_mb(TCG_MO_ALL);
1157     return true;
1158 }
1159 
1160 static bool trans_l_psync(DisasContext *dc, arg_l_psync *a)
1161 {
1162     return true;
1163 }
1164 
1165 static bool trans_l_csync(DisasContext *dc, arg_l_csync *a)
1166 {
1167     return true;
1168 }
1169 
1170 static bool trans_l_rfe(DisasContext *dc, arg_l_rfe *a)
1171 {
1172     if (is_user(dc)) {
1173         gen_illegal_exception(dc);
1174     } else {
1175         gen_helper_rfe(cpu_env);
1176         dc->base.is_jmp = DISAS_EXIT;
1177     }
1178     return true;
1179 }
1180 
1181 static bool do_fp2(DisasContext *dc, arg_da *a,
1182                    void (*fn)(TCGv, TCGv_env, TCGv))
1183 {
1184     if (!check_of32s(dc)) {
1185         return false;
1186     }
1187     check_r0_write(dc, a->d);
1188     fn(cpu_R(dc, a->d), cpu_env, cpu_R(dc, a->a));
1189     gen_helper_update_fpcsr(cpu_env);
1190     return true;
1191 }
1192 
1193 static bool do_fp3(DisasContext *dc, arg_dab *a,
1194                    void (*fn)(TCGv, TCGv_env, TCGv, TCGv))
1195 {
1196     if (!check_of32s(dc)) {
1197         return false;
1198     }
1199     check_r0_write(dc, a->d);
1200     fn(cpu_R(dc, a->d), cpu_env, cpu_R(dc, a->a), cpu_R(dc, a->b));
1201     gen_helper_update_fpcsr(cpu_env);
1202     return true;
1203 }
1204 
1205 static bool do_fpcmp(DisasContext *dc, arg_ab *a,
1206                      void (*fn)(TCGv, TCGv_env, TCGv, TCGv),
1207                      bool inv, bool swap)
1208 {
1209     if (!check_of32s(dc)) {
1210         return false;
1211     }
1212     if (swap) {
1213         fn(cpu_sr_f, cpu_env, cpu_R(dc, a->b), cpu_R(dc, a->a));
1214     } else {
1215         fn(cpu_sr_f, cpu_env, cpu_R(dc, a->a), cpu_R(dc, a->b));
1216     }
1217     if (inv) {
1218         tcg_gen_xori_tl(cpu_sr_f, cpu_sr_f, 1);
1219     }
1220     gen_helper_update_fpcsr(cpu_env);
1221     return true;
1222 }
1223 
1224 static bool trans_lf_add_s(DisasContext *dc, arg_dab *a)
1225 {
1226     return do_fp3(dc, a, gen_helper_float_add_s);
1227 }
1228 
1229 static bool trans_lf_sub_s(DisasContext *dc, arg_dab *a)
1230 {
1231     return do_fp3(dc, a, gen_helper_float_sub_s);
1232 }
1233 
1234 static bool trans_lf_mul_s(DisasContext *dc, arg_dab *a)
1235 {
1236     return do_fp3(dc, a, gen_helper_float_mul_s);
1237 }
1238 
1239 static bool trans_lf_div_s(DisasContext *dc, arg_dab *a)
1240 {
1241     return do_fp3(dc, a, gen_helper_float_div_s);
1242 }
1243 
1244 static bool trans_lf_rem_s(DisasContext *dc, arg_dab *a)
1245 {
1246     return do_fp3(dc, a, gen_helper_float_rem_s);
1247     return true;
1248 }
1249 
1250 static bool trans_lf_itof_s(DisasContext *dc, arg_da *a)
1251 {
1252     return do_fp2(dc, a, gen_helper_itofs);
1253 }
1254 
1255 static bool trans_lf_ftoi_s(DisasContext *dc, arg_da *a)
1256 {
1257     return do_fp2(dc, a, gen_helper_ftois);
1258 }
1259 
1260 static bool trans_lf_madd_s(DisasContext *dc, arg_dab *a)
1261 {
1262     if (!check_of32s(dc)) {
1263         return false;
1264     }
1265     check_r0_write(dc, a->d);
1266     gen_helper_float_madd_s(cpu_R(dc, a->d), cpu_env, cpu_R(dc, a->d),
1267                             cpu_R(dc, a->a), cpu_R(dc, a->b));
1268     gen_helper_update_fpcsr(cpu_env);
1269     return true;
1270 }
1271 
1272 static bool trans_lf_sfeq_s(DisasContext *dc, arg_ab *a)
1273 {
1274     return do_fpcmp(dc, a, gen_helper_float_eq_s, false, false);
1275 }
1276 
1277 static bool trans_lf_sfne_s(DisasContext *dc, arg_ab *a)
1278 {
1279     return do_fpcmp(dc, a, gen_helper_float_eq_s, true, false);
1280 }
1281 
1282 static bool trans_lf_sfgt_s(DisasContext *dc, arg_ab *a)
1283 {
1284     return do_fpcmp(dc, a, gen_helper_float_lt_s, false, true);
1285 }
1286 
1287 static bool trans_lf_sfge_s(DisasContext *dc, arg_ab *a)
1288 {
1289     return do_fpcmp(dc, a, gen_helper_float_le_s, false, true);
1290 }
1291 
1292 static bool trans_lf_sflt_s(DisasContext *dc, arg_ab *a)
1293 {
1294     return do_fpcmp(dc, a, gen_helper_float_lt_s, false, false);
1295 }
1296 
1297 static bool trans_lf_sfle_s(DisasContext *dc, arg_ab *a)
1298 {
1299     return do_fpcmp(dc, a, gen_helper_float_le_s, false, false);
1300 }
1301 
1302 static bool trans_lf_sfueq_s(DisasContext *dc, arg_ab *a)
1303 {
1304     if (!check_v1_3(dc)) {
1305         return false;
1306     }
1307     return do_fpcmp(dc, a, gen_helper_float_ueq_s, false, false);
1308 }
1309 
1310 static bool trans_lf_sfult_s(DisasContext *dc, arg_ab *a)
1311 {
1312     if (!check_v1_3(dc)) {
1313         return false;
1314     }
1315     return do_fpcmp(dc, a, gen_helper_float_ult_s, false, false);
1316 }
1317 
1318 static bool trans_lf_sfugt_s(DisasContext *dc, arg_ab *a)
1319 {
1320     if (!check_v1_3(dc)) {
1321         return false;
1322     }
1323     return do_fpcmp(dc, a, gen_helper_float_ult_s, false, true);
1324 }
1325 
1326 static bool trans_lf_sfule_s(DisasContext *dc, arg_ab *a)
1327 {
1328     if (!check_v1_3(dc)) {
1329         return false;
1330     }
1331     return do_fpcmp(dc, a, gen_helper_float_ule_s, false, false);
1332 }
1333 
1334 static bool trans_lf_sfuge_s(DisasContext *dc, arg_ab *a)
1335 {
1336     if (!check_v1_3(dc)) {
1337         return false;
1338     }
1339     return do_fpcmp(dc, a, gen_helper_float_ule_s, false, true);
1340 }
1341 
1342 static bool trans_lf_sfun_s(DisasContext *dc, arg_ab *a)
1343 {
1344     if (!check_v1_3(dc)) {
1345         return false;
1346     }
1347     return do_fpcmp(dc, a, gen_helper_float_un_s, false, false);
1348 }
1349 
1350 static bool check_pair(DisasContext *dc, int r, int p)
1351 {
1352     return r + 1 + p < 32;
1353 }
1354 
1355 static void load_pair(DisasContext *dc, TCGv_i64 t, int r, int p)
1356 {
1357     tcg_gen_concat_i32_i64(t, cpu_R(dc, r + 1 + p), cpu_R(dc, r));
1358 }
1359 
1360 static void save_pair(DisasContext *dc, TCGv_i64 t, int r, int p)
1361 {
1362     tcg_gen_extr_i64_i32(cpu_R(dc, r + 1 + p), cpu_R(dc, r), t);
1363 }
1364 
1365 static bool do_dp3(DisasContext *dc, arg_dab_pair *a,
1366                    void (*fn)(TCGv_i64, TCGv_env, TCGv_i64, TCGv_i64))
1367 {
1368     TCGv_i64 t0, t1;
1369 
1370     if (!check_of64a32s(dc) ||
1371         !check_pair(dc, a->a, a->ap) ||
1372         !check_pair(dc, a->b, a->bp) ||
1373         !check_pair(dc, a->d, a->dp)) {
1374         return false;
1375     }
1376     check_r0_write(dc, a->d);
1377 
1378     t0 = tcg_temp_new_i64();
1379     t1 = tcg_temp_new_i64();
1380     load_pair(dc, t0, a->a, a->ap);
1381     load_pair(dc, t1, a->b, a->bp);
1382     fn(t0, cpu_env, t0, t1);
1383     save_pair(dc, t0, a->d, a->dp);
1384     tcg_temp_free_i64(t0);
1385     tcg_temp_free_i64(t1);
1386 
1387     gen_helper_update_fpcsr(cpu_env);
1388     return true;
1389 }
1390 
1391 static bool do_dp2(DisasContext *dc, arg_da_pair *a,
1392                    void (*fn)(TCGv_i64, TCGv_env, TCGv_i64))
1393 {
1394     TCGv_i64 t0;
1395 
1396     if (!check_of64a32s(dc) ||
1397         !check_pair(dc, a->a, a->ap) ||
1398         !check_pair(dc, a->d, a->dp)) {
1399         return false;
1400     }
1401     check_r0_write(dc, a->d);
1402 
1403     t0 = tcg_temp_new_i64();
1404     load_pair(dc, t0, a->a, a->ap);
1405     fn(t0, cpu_env, t0);
1406     save_pair(dc, t0, a->d, a->dp);
1407     tcg_temp_free_i64(t0);
1408 
1409     gen_helper_update_fpcsr(cpu_env);
1410     return true;
1411 }
1412 
1413 static bool do_dpcmp(DisasContext *dc, arg_ab_pair *a,
1414                      void (*fn)(TCGv, TCGv_env, TCGv_i64, TCGv_i64),
1415                      bool inv, bool swap)
1416 {
1417     TCGv_i64 t0, t1;
1418 
1419     if (!check_of64a32s(dc) ||
1420         !check_pair(dc, a->a, a->ap) ||
1421         !check_pair(dc, a->b, a->bp)) {
1422         return false;
1423     }
1424 
1425     t0 = tcg_temp_new_i64();
1426     t1 = tcg_temp_new_i64();
1427     load_pair(dc, t0, a->a, a->ap);
1428     load_pair(dc, t1, a->b, a->bp);
1429     if (swap) {
1430         fn(cpu_sr_f, cpu_env, t1, t0);
1431     } else {
1432         fn(cpu_sr_f, cpu_env, t0, t1);
1433     }
1434     tcg_temp_free_i64(t0);
1435     tcg_temp_free_i64(t1);
1436 
1437     if (inv) {
1438         tcg_gen_xori_tl(cpu_sr_f, cpu_sr_f, 1);
1439     }
1440     gen_helper_update_fpcsr(cpu_env);
1441     return true;
1442 }
1443 
1444 static bool trans_lf_add_d(DisasContext *dc, arg_dab_pair *a)
1445 {
1446     return do_dp3(dc, a, gen_helper_float_add_d);
1447 }
1448 
1449 static bool trans_lf_sub_d(DisasContext *dc, arg_dab_pair *a)
1450 {
1451     return do_dp3(dc, a, gen_helper_float_sub_d);
1452 }
1453 
1454 static bool trans_lf_mul_d(DisasContext *dc, arg_dab_pair *a)
1455 {
1456     return do_dp3(dc, a, gen_helper_float_mul_d);
1457 }
1458 
1459 static bool trans_lf_div_d(DisasContext *dc, arg_dab_pair *a)
1460 {
1461     return do_dp3(dc, a, gen_helper_float_div_d);
1462 }
1463 
1464 static bool trans_lf_rem_d(DisasContext *dc, arg_dab_pair *a)
1465 {
1466     return do_dp3(dc, a, gen_helper_float_rem_d);
1467 }
1468 
1469 static bool trans_lf_itof_d(DisasContext *dc, arg_da_pair *a)
1470 {
1471     return do_dp2(dc, a, gen_helper_itofd);
1472 }
1473 
1474 static bool trans_lf_ftoi_d(DisasContext *dc, arg_da_pair *a)
1475 {
1476     return do_dp2(dc, a, gen_helper_ftoid);
1477 }
1478 
1479 static bool trans_lf_stod_d(DisasContext *dc, arg_lf_stod_d *a)
1480 {
1481     TCGv_i64 t0;
1482 
1483     if (!check_of64a32s(dc) ||
1484         !check_pair(dc, a->d, a->dp)) {
1485         return false;
1486     }
1487     check_r0_write(dc, a->d);
1488 
1489     t0 = tcg_temp_new_i64();
1490     gen_helper_stod(t0, cpu_env, cpu_R(dc, a->a));
1491     save_pair(dc, t0, a->d, a->dp);
1492     tcg_temp_free_i64(t0);
1493 
1494     gen_helper_update_fpcsr(cpu_env);
1495     return true;
1496 }
1497 
1498 static bool trans_lf_dtos_d(DisasContext *dc, arg_lf_dtos_d *a)
1499 {
1500     TCGv_i64 t0;
1501 
1502     if (!check_of64a32s(dc) ||
1503         !check_pair(dc, a->a, a->ap)) {
1504         return false;
1505     }
1506     check_r0_write(dc, a->d);
1507 
1508     t0 = tcg_temp_new_i64();
1509     load_pair(dc, t0, a->a, a->ap);
1510     gen_helper_dtos(cpu_R(dc, a->d), cpu_env, t0);
1511     tcg_temp_free_i64(t0);
1512 
1513     gen_helper_update_fpcsr(cpu_env);
1514     return true;
1515 }
1516 
1517 static bool trans_lf_madd_d(DisasContext *dc, arg_dab_pair *a)
1518 {
1519     TCGv_i64 t0, t1, t2;
1520 
1521     if (!check_of64a32s(dc) ||
1522         !check_pair(dc, a->a, a->ap) ||
1523         !check_pair(dc, a->b, a->bp) ||
1524         !check_pair(dc, a->d, a->dp)) {
1525         return false;
1526     }
1527     check_r0_write(dc, a->d);
1528 
1529     t0 = tcg_temp_new_i64();
1530     t1 = tcg_temp_new_i64();
1531     t2 = tcg_temp_new_i64();
1532     load_pair(dc, t0, a->d, a->dp);
1533     load_pair(dc, t1, a->a, a->ap);
1534     load_pair(dc, t2, a->b, a->bp);
1535     gen_helper_float_madd_d(t0, cpu_env, t0, t1, t2);
1536     save_pair(dc, t0, a->d, a->dp);
1537     tcg_temp_free_i64(t0);
1538     tcg_temp_free_i64(t1);
1539     tcg_temp_free_i64(t2);
1540 
1541     gen_helper_update_fpcsr(cpu_env);
1542     return true;
1543 }
1544 
1545 static bool trans_lf_sfeq_d(DisasContext *dc, arg_ab_pair *a)
1546 {
1547     return do_dpcmp(dc, a, gen_helper_float_eq_d, false, false);
1548 }
1549 
1550 static bool trans_lf_sfne_d(DisasContext *dc, arg_ab_pair *a)
1551 {
1552     return do_dpcmp(dc, a, gen_helper_float_eq_d, true, false);
1553 }
1554 
1555 static bool trans_lf_sfgt_d(DisasContext *dc, arg_ab_pair *a)
1556 {
1557     return do_dpcmp(dc, a, gen_helper_float_lt_d, false, true);
1558 }
1559 
1560 static bool trans_lf_sfge_d(DisasContext *dc, arg_ab_pair *a)
1561 {
1562     return do_dpcmp(dc, a, gen_helper_float_le_d, false, true);
1563 }
1564 
1565 static bool trans_lf_sflt_d(DisasContext *dc, arg_ab_pair *a)
1566 {
1567     return do_dpcmp(dc, a, gen_helper_float_lt_d, false, false);
1568 }
1569 
1570 static bool trans_lf_sfle_d(DisasContext *dc, arg_ab_pair *a)
1571 {
1572     return do_dpcmp(dc, a, gen_helper_float_le_d, false, false);
1573 }
1574 
1575 static bool trans_lf_sfueq_d(DisasContext *dc, arg_ab_pair *a)
1576 {
1577     return do_dpcmp(dc, a, gen_helper_float_ueq_d, false, false);
1578 }
1579 
1580 static bool trans_lf_sfule_d(DisasContext *dc, arg_ab_pair *a)
1581 {
1582     return do_dpcmp(dc, a, gen_helper_float_ule_d, false, false);
1583 }
1584 
1585 static bool trans_lf_sfuge_d(DisasContext *dc, arg_ab_pair *a)
1586 {
1587     return do_dpcmp(dc, a, gen_helper_float_ule_d, false, true);
1588 }
1589 
1590 static bool trans_lf_sfult_d(DisasContext *dc, arg_ab_pair *a)
1591 {
1592     return do_dpcmp(dc, a, gen_helper_float_ult_d, false, false);
1593 }
1594 
1595 static bool trans_lf_sfugt_d(DisasContext *dc, arg_ab_pair *a)
1596 {
1597     return do_dpcmp(dc, a, gen_helper_float_ult_d, false, true);
1598 }
1599 
1600 static bool trans_lf_sfun_d(DisasContext *dc, arg_ab_pair *a)
1601 {
1602     return do_dpcmp(dc, a, gen_helper_float_un_d, false, false);
1603 }
1604 
1605 static void openrisc_tr_init_disas_context(DisasContextBase *dcb, CPUState *cs)
1606 {
1607     DisasContext *dc = container_of(dcb, DisasContext, base);
1608     CPUOpenRISCState *env = cs->env_ptr;
1609     int bound;
1610 
1611     dc->mem_idx = cpu_mmu_index(env, false);
1612     dc->tb_flags = dc->base.tb->flags;
1613     dc->delayed_branch = (dc->tb_flags & TB_FLAGS_DFLAG) != 0;
1614     dc->cpucfgr = env->cpucfgr;
1615     dc->avr = env->avr;
1616     dc->jmp_pc_imm = -1;
1617 
1618     bound = -(dc->base.pc_first | TARGET_PAGE_MASK) / 4;
1619     dc->base.max_insns = MIN(dc->base.max_insns, bound);
1620 }
1621 
1622 static void openrisc_tr_tb_start(DisasContextBase *db, CPUState *cs)
1623 {
1624     DisasContext *dc = container_of(db, DisasContext, base);
1625 
1626     /* Allow the TCG optimizer to see that R0 == 0,
1627        when it's true, which is the common case.  */
1628     if (dc->tb_flags & TB_FLAGS_R0_0) {
1629         dc->R0 = tcg_const_tl(0);
1630     } else {
1631         dc->R0 = cpu_regs[0];
1632     }
1633 }
1634 
1635 static void openrisc_tr_insn_start(DisasContextBase *dcbase, CPUState *cs)
1636 {
1637     DisasContext *dc = container_of(dcbase, DisasContext, base);
1638 
1639     tcg_gen_insn_start(dc->base.pc_next, (dc->delayed_branch ? 1 : 0)
1640                        | (dc->base.num_insns > 1 ? 2 : 0));
1641 }
1642 
1643 static bool openrisc_tr_breakpoint_check(DisasContextBase *dcbase, CPUState *cs,
1644                                          const CPUBreakpoint *bp)
1645 {
1646     DisasContext *dc = container_of(dcbase, DisasContext, base);
1647 
1648     tcg_gen_movi_tl(cpu_pc, dc->base.pc_next);
1649     gen_exception(dc, EXCP_DEBUG);
1650     dc->base.is_jmp = DISAS_NORETURN;
1651     /* The address covered by the breakpoint must be included in
1652        [tb->pc, tb->pc + tb->size) in order to for it to be
1653        properly cleared -- thus we increment the PC here so that
1654        the logic setting tb->size below does the right thing.  */
1655     dc->base.pc_next += 4;
1656     return true;
1657 }
1658 
1659 static void openrisc_tr_translate_insn(DisasContextBase *dcbase, CPUState *cs)
1660 {
1661     DisasContext *dc = container_of(dcbase, DisasContext, base);
1662     OpenRISCCPU *cpu = OPENRISC_CPU(cs);
1663     uint32_t insn = translator_ldl(&cpu->env, dc->base.pc_next);
1664 
1665     if (!decode(dc, insn)) {
1666         gen_illegal_exception(dc);
1667     }
1668     dc->base.pc_next += 4;
1669 
1670     /* When exiting the delay slot normally, exit via jmp_pc.
1671      * For DISAS_NORETURN, we have raised an exception and already exited.
1672      * For DISAS_EXIT, we found l.rfe in a delay slot.  There's nothing
1673      * in the manual saying this is illegal, but it surely it should.
1674      * At least or1ksim overrides pcnext and ignores the branch.
1675      */
1676     if (dc->delayed_branch
1677         && --dc->delayed_branch == 0
1678         && dc->base.is_jmp == DISAS_NEXT) {
1679         dc->base.is_jmp = DISAS_JUMP;
1680     }
1681 }
1682 
1683 static void openrisc_tr_tb_stop(DisasContextBase *dcbase, CPUState *cs)
1684 {
1685     DisasContext *dc = container_of(dcbase, DisasContext, base);
1686     target_ulong jmp_dest;
1687 
1688     /* If we have already exited the TB, nothing following has effect.  */
1689     if (dc->base.is_jmp == DISAS_NORETURN) {
1690         return;
1691     }
1692 
1693     /* Adjust the delayed branch state for the next TB.  */
1694     if ((dc->tb_flags & TB_FLAGS_DFLAG ? 1 : 0) != (dc->delayed_branch != 0)) {
1695         tcg_gen_movi_i32(cpu_dflag, dc->delayed_branch != 0);
1696     }
1697 
1698     /* For DISAS_TOO_MANY, jump to the next insn.  */
1699     jmp_dest = dc->base.pc_next;
1700     tcg_gen_movi_tl(cpu_ppc, jmp_dest - 4);
1701 
1702     switch (dc->base.is_jmp) {
1703     case DISAS_JUMP:
1704         jmp_dest = dc->jmp_pc_imm;
1705         if (jmp_dest == -1) {
1706             /* The jump destination is indirect/computed; use jmp_pc.  */
1707             tcg_gen_mov_tl(cpu_pc, jmp_pc);
1708             tcg_gen_discard_tl(jmp_pc);
1709             if (unlikely(dc->base.singlestep_enabled)) {
1710                 gen_exception(dc, EXCP_DEBUG);
1711             } else {
1712                 tcg_gen_lookup_and_goto_ptr();
1713             }
1714             break;
1715         }
1716         /* The jump destination is direct; use jmp_pc_imm.
1717            However, we will have stored into jmp_pc as well;
1718            we know now that it wasn't needed.  */
1719         tcg_gen_discard_tl(jmp_pc);
1720         /* fallthru */
1721 
1722     case DISAS_TOO_MANY:
1723         if (unlikely(dc->base.singlestep_enabled)) {
1724             tcg_gen_movi_tl(cpu_pc, jmp_dest);
1725             gen_exception(dc, EXCP_DEBUG);
1726         } else if ((dc->base.pc_first ^ jmp_dest) & TARGET_PAGE_MASK) {
1727             tcg_gen_movi_tl(cpu_pc, jmp_dest);
1728             tcg_gen_lookup_and_goto_ptr();
1729         } else {
1730             tcg_gen_goto_tb(0);
1731             tcg_gen_movi_tl(cpu_pc, jmp_dest);
1732             tcg_gen_exit_tb(dc->base.tb, 0);
1733         }
1734         break;
1735 
1736     case DISAS_EXIT:
1737         if (unlikely(dc->base.singlestep_enabled)) {
1738             gen_exception(dc, EXCP_DEBUG);
1739         } else {
1740             tcg_gen_exit_tb(NULL, 0);
1741         }
1742         break;
1743     default:
1744         g_assert_not_reached();
1745     }
1746 }
1747 
1748 static void openrisc_tr_disas_log(const DisasContextBase *dcbase, CPUState *cs)
1749 {
1750     DisasContext *s = container_of(dcbase, DisasContext, base);
1751 
1752     qemu_log("IN: %s\n", lookup_symbol(s->base.pc_first));
1753     log_target_disas(cs, s->base.pc_first, s->base.tb->size);
1754 }
1755 
1756 static const TranslatorOps openrisc_tr_ops = {
1757     .init_disas_context = openrisc_tr_init_disas_context,
1758     .tb_start           = openrisc_tr_tb_start,
1759     .insn_start         = openrisc_tr_insn_start,
1760     .breakpoint_check   = openrisc_tr_breakpoint_check,
1761     .translate_insn     = openrisc_tr_translate_insn,
1762     .tb_stop            = openrisc_tr_tb_stop,
1763     .disas_log          = openrisc_tr_disas_log,
1764 };
1765 
1766 void gen_intermediate_code(CPUState *cs, TranslationBlock *tb, int max_insns)
1767 {
1768     DisasContext ctx;
1769 
1770     translator_loop(&openrisc_tr_ops, &ctx.base, cs, tb, max_insns);
1771 }
1772 
1773 void openrisc_cpu_dump_state(CPUState *cs, FILE *f, int flags)
1774 {
1775     OpenRISCCPU *cpu = OPENRISC_CPU(cs);
1776     CPUOpenRISCState *env = &cpu->env;
1777     int i;
1778 
1779     qemu_fprintf(f, "PC=%08x\n", env->pc);
1780     for (i = 0; i < 32; ++i) {
1781         qemu_fprintf(f, "R%02d=%08x%c", i, cpu_get_gpr(env, i),
1782                      (i % 4) == 3 ? '\n' : ' ');
1783     }
1784 }
1785 
1786 void restore_state_to_opc(CPUOpenRISCState *env, TranslationBlock *tb,
1787                           target_ulong *data)
1788 {
1789     env->pc = data[0];
1790     env->dflag = data[1] & 1;
1791     if (data[1] & 2) {
1792         env->ppc = env->pc - 4;
1793     }
1794 }
1795