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