xref: /openbmc/qemu/target/microblaze/translate.c (revision cb0a0a4c8686792068860f339eddd695e1a485a1)
1fcf5ef2aSThomas Huth /*
2fcf5ef2aSThomas Huth  *  Xilinx MicroBlaze emulation for qemu: main translation routines.
3fcf5ef2aSThomas Huth  *
4fcf5ef2aSThomas Huth  *  Copyright (c) 2009 Edgar E. Iglesias.
5fcf5ef2aSThomas Huth  *  Copyright (c) 2009-2012 PetaLogix Qld Pty Ltd.
6fcf5ef2aSThomas Huth  *
7fcf5ef2aSThomas Huth  * This library is free software; you can redistribute it and/or
8fcf5ef2aSThomas Huth  * modify it under the terms of the GNU Lesser General Public
9fcf5ef2aSThomas Huth  * License as published by the Free Software Foundation; either
10fcf5ef2aSThomas Huth  * version 2 of the License, or (at your option) any later version.
11fcf5ef2aSThomas Huth  *
12fcf5ef2aSThomas Huth  * This library is distributed in the hope that it will be useful,
13fcf5ef2aSThomas Huth  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14fcf5ef2aSThomas Huth  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15fcf5ef2aSThomas Huth  * Lesser General Public License for more details.
16fcf5ef2aSThomas Huth  *
17fcf5ef2aSThomas Huth  * You should have received a copy of the GNU Lesser General Public
18fcf5ef2aSThomas Huth  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
19fcf5ef2aSThomas Huth  */
20fcf5ef2aSThomas Huth 
21fcf5ef2aSThomas Huth #include "qemu/osdep.h"
22fcf5ef2aSThomas Huth #include "cpu.h"
23fcf5ef2aSThomas Huth #include "disas/disas.h"
24fcf5ef2aSThomas Huth #include "exec/exec-all.h"
25dcb32f1dSPhilippe Mathieu-Daudé #include "tcg/tcg-op.h"
26fcf5ef2aSThomas Huth #include "exec/helper-proto.h"
27fcf5ef2aSThomas Huth #include "microblaze-decode.h"
28fcf5ef2aSThomas Huth #include "exec/cpu_ldst.h"
29fcf5ef2aSThomas Huth #include "exec/helper-gen.h"
3077fc6f5eSLluís Vilanova #include "exec/translator.h"
3190c84c56SMarkus Armbruster #include "qemu/qemu-print.h"
32fcf5ef2aSThomas Huth 
33fcf5ef2aSThomas Huth #include "trace-tcg.h"
34fcf5ef2aSThomas Huth #include "exec/log.h"
35fcf5ef2aSThomas Huth 
36fcf5ef2aSThomas Huth #define EXTRACT_FIELD(src, start, end) \
37fcf5ef2aSThomas Huth             (((src) >> start) & ((1 << (end - start + 1)) - 1))
38fcf5ef2aSThomas Huth 
3977fc6f5eSLluís Vilanova /* is_jmp field values */
4077fc6f5eSLluís Vilanova #define DISAS_JUMP    DISAS_TARGET_0 /* only pc was modified dynamically */
4177fc6f5eSLluís Vilanova #define DISAS_UPDATE  DISAS_TARGET_1 /* cpu state was modified dynamically */
4277fc6f5eSLluís Vilanova 
43cfeea807SEdgar E. Iglesias static TCGv_i32 cpu_R[32];
440f96e96bSRichard Henderson static TCGv_i32 cpu_pc;
453e0e16aeSRichard Henderson static TCGv_i32 cpu_msr;
461074c0fbSRichard Henderson static TCGv_i32 cpu_msr_c;
479b158558SRichard Henderson static TCGv_i32 cpu_imm;
489b158558SRichard Henderson static TCGv_i32 cpu_btaken;
490f96e96bSRichard Henderson static TCGv_i32 cpu_btarget;
509b158558SRichard Henderson static TCGv_i32 cpu_iflags;
519b158558SRichard Henderson static TCGv cpu_res_addr;
529b158558SRichard Henderson static TCGv_i32 cpu_res_val;
53fcf5ef2aSThomas Huth 
54fcf5ef2aSThomas Huth #include "exec/gen-icount.h"
55fcf5ef2aSThomas Huth 
56fcf5ef2aSThomas Huth /* This is the state at translation time.  */
57fcf5ef2aSThomas Huth typedef struct DisasContext {
58d4705ae0SRichard Henderson     DisasContextBase base;
59fcf5ef2aSThomas Huth     MicroBlazeCPU *cpu;
60fcf5ef2aSThomas Huth 
6120800179SRichard Henderson     TCGv_i32 r0;
6220800179SRichard Henderson     bool r0_set;
6320800179SRichard Henderson 
64fcf5ef2aSThomas Huth     /* Decoder.  */
65fcf5ef2aSThomas Huth     int type_b;
66fcf5ef2aSThomas Huth     uint32_t ir;
67d7ecb757SRichard Henderson     uint32_t ext_imm;
68fcf5ef2aSThomas Huth     uint8_t opcode;
69fcf5ef2aSThomas Huth     uint8_t rd, ra, rb;
70fcf5ef2aSThomas Huth     uint16_t imm;
71fcf5ef2aSThomas Huth 
72fcf5ef2aSThomas Huth     unsigned int cpustate_changed;
73fcf5ef2aSThomas Huth     unsigned int delayed_branch;
74fcf5ef2aSThomas Huth     unsigned int tb_flags, synced_flags; /* tb dependent flags.  */
75fcf5ef2aSThomas Huth     unsigned int clear_imm;
76fcf5ef2aSThomas Huth 
77fcf5ef2aSThomas Huth #define JMP_NOJMP     0
78fcf5ef2aSThomas Huth #define JMP_DIRECT    1
79fcf5ef2aSThomas Huth #define JMP_DIRECT_CC 2
80fcf5ef2aSThomas Huth #define JMP_INDIRECT  3
81fcf5ef2aSThomas Huth     unsigned int jmp;
82fcf5ef2aSThomas Huth     uint32_t jmp_pc;
83fcf5ef2aSThomas Huth 
84fcf5ef2aSThomas Huth     int abort_at_next_insn;
85fcf5ef2aSThomas Huth } DisasContext;
86fcf5ef2aSThomas Huth 
8720800179SRichard Henderson static int typeb_imm(DisasContext *dc, int x)
8820800179SRichard Henderson {
8920800179SRichard Henderson     if (dc->tb_flags & IMM_FLAG) {
9020800179SRichard Henderson         return deposit32(dc->ext_imm, 0, 16, x);
9120800179SRichard Henderson     }
9220800179SRichard Henderson     return x;
9320800179SRichard Henderson }
9420800179SRichard Henderson 
9544d1432bSRichard Henderson /* Include the auto-generated decoder.  */
9644d1432bSRichard Henderson #include "decode-insns.c.inc"
9744d1432bSRichard Henderson 
98fcf5ef2aSThomas Huth static inline void t_sync_flags(DisasContext *dc)
99fcf5ef2aSThomas Huth {
100fcf5ef2aSThomas Huth     /* Synch the tb dependent flags between translator and runtime.  */
101fcf5ef2aSThomas Huth     if (dc->tb_flags != dc->synced_flags) {
1029b158558SRichard Henderson         tcg_gen_movi_i32(cpu_iflags, dc->tb_flags);
103fcf5ef2aSThomas Huth         dc->synced_flags = dc->tb_flags;
104fcf5ef2aSThomas Huth     }
105fcf5ef2aSThomas Huth }
106fcf5ef2aSThomas Huth 
10741ba37c4SRichard Henderson static void gen_raise_exception(DisasContext *dc, uint32_t index)
108fcf5ef2aSThomas Huth {
109fcf5ef2aSThomas Huth     TCGv_i32 tmp = tcg_const_i32(index);
110fcf5ef2aSThomas Huth 
111fcf5ef2aSThomas Huth     gen_helper_raise_exception(cpu_env, tmp);
112fcf5ef2aSThomas Huth     tcg_temp_free_i32(tmp);
113d4705ae0SRichard Henderson     dc->base.is_jmp = DISAS_NORETURN;
114fcf5ef2aSThomas Huth }
115fcf5ef2aSThomas Huth 
11641ba37c4SRichard Henderson static void gen_raise_exception_sync(DisasContext *dc, uint32_t index)
11741ba37c4SRichard Henderson {
11841ba37c4SRichard Henderson     t_sync_flags(dc);
119d4705ae0SRichard Henderson     tcg_gen_movi_i32(cpu_pc, dc->base.pc_next);
12041ba37c4SRichard Henderson     gen_raise_exception(dc, index);
12141ba37c4SRichard Henderson }
12241ba37c4SRichard Henderson 
12341ba37c4SRichard Henderson static void gen_raise_hw_excp(DisasContext *dc, uint32_t esr_ec)
12441ba37c4SRichard Henderson {
12541ba37c4SRichard Henderson     TCGv_i32 tmp = tcg_const_i32(esr_ec);
12641ba37c4SRichard Henderson     tcg_gen_st_i32(tmp, cpu_env, offsetof(CPUMBState, esr));
12741ba37c4SRichard Henderson     tcg_temp_free_i32(tmp);
12841ba37c4SRichard Henderson 
12941ba37c4SRichard Henderson     gen_raise_exception_sync(dc, EXCP_HW_EXCP);
13041ba37c4SRichard Henderson }
13141ba37c4SRichard Henderson 
132fcf5ef2aSThomas Huth static inline bool use_goto_tb(DisasContext *dc, target_ulong dest)
133fcf5ef2aSThomas Huth {
134fcf5ef2aSThomas Huth #ifndef CONFIG_USER_ONLY
135d4705ae0SRichard Henderson     return (dc->base.pc_first & TARGET_PAGE_MASK) == (dest & TARGET_PAGE_MASK);
136fcf5ef2aSThomas Huth #else
137fcf5ef2aSThomas Huth     return true;
138fcf5ef2aSThomas Huth #endif
139fcf5ef2aSThomas Huth }
140fcf5ef2aSThomas Huth 
141fcf5ef2aSThomas Huth static void gen_goto_tb(DisasContext *dc, int n, target_ulong dest)
142fcf5ef2aSThomas Huth {
143d4705ae0SRichard Henderson     if (dc->base.singlestep_enabled) {
1440b46fa08SRichard Henderson         TCGv_i32 tmp = tcg_const_i32(EXCP_DEBUG);
1450b46fa08SRichard Henderson         tcg_gen_movi_i32(cpu_pc, dest);
1460b46fa08SRichard Henderson         gen_helper_raise_exception(cpu_env, tmp);
1470b46fa08SRichard Henderson         tcg_temp_free_i32(tmp);
1480b46fa08SRichard Henderson     } else if (use_goto_tb(dc, dest)) {
149fcf5ef2aSThomas Huth         tcg_gen_goto_tb(n);
1500f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, dest);
151d4705ae0SRichard Henderson         tcg_gen_exit_tb(dc->base.tb, n);
152fcf5ef2aSThomas Huth     } else {
1530f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, dest);
15407ea28b4SRichard Henderson         tcg_gen_exit_tb(NULL, 0);
155fcf5ef2aSThomas Huth     }
156d4705ae0SRichard Henderson     dc->base.is_jmp = DISAS_NORETURN;
157fcf5ef2aSThomas Huth }
158fcf5ef2aSThomas Huth 
159bdfc1e88SEdgar E. Iglesias /*
1609ba8cd45SEdgar E. Iglesias  * Returns true if the insn an illegal operation.
1619ba8cd45SEdgar E. Iglesias  * If exceptions are enabled, an exception is raised.
1629ba8cd45SEdgar E. Iglesias  */
1639ba8cd45SEdgar E. Iglesias static bool trap_illegal(DisasContext *dc, bool cond)
1649ba8cd45SEdgar E. Iglesias {
1659ba8cd45SEdgar E. Iglesias     if (cond && (dc->tb_flags & MSR_EE_FLAG)
1665143fdf3SEdgar E. Iglesias         && dc->cpu->cfg.illegal_opcode_exception) {
16741ba37c4SRichard Henderson         gen_raise_hw_excp(dc, ESR_EC_ILLEGAL_OP);
1689ba8cd45SEdgar E. Iglesias     }
1699ba8cd45SEdgar E. Iglesias     return cond;
1709ba8cd45SEdgar E. Iglesias }
1719ba8cd45SEdgar E. Iglesias 
1729ba8cd45SEdgar E. Iglesias /*
173bdfc1e88SEdgar E. Iglesias  * Returns true if the insn is illegal in userspace.
174bdfc1e88SEdgar E. Iglesias  * If exceptions are enabled, an exception is raised.
175bdfc1e88SEdgar E. Iglesias  */
176bdfc1e88SEdgar E. Iglesias static bool trap_userspace(DisasContext *dc, bool cond)
177bdfc1e88SEdgar E. Iglesias {
178bdfc1e88SEdgar E. Iglesias     int mem_index = cpu_mmu_index(&dc->cpu->env, false);
179bdfc1e88SEdgar E. Iglesias     bool cond_user = cond && mem_index == MMU_USER_IDX;
180bdfc1e88SEdgar E. Iglesias 
181bdfc1e88SEdgar E. Iglesias     if (cond_user && (dc->tb_flags & MSR_EE_FLAG)) {
18241ba37c4SRichard Henderson         gen_raise_hw_excp(dc, ESR_EC_PRIVINSN);
183bdfc1e88SEdgar E. Iglesias     }
184bdfc1e88SEdgar E. Iglesias     return cond_user;
185bdfc1e88SEdgar E. Iglesias }
186bdfc1e88SEdgar E. Iglesias 
187d7ecb757SRichard Henderson static int32_t dec_alu_typeb_imm(DisasContext *dc)
188fcf5ef2aSThomas Huth {
189d7ecb757SRichard Henderson     tcg_debug_assert(dc->type_b);
19020800179SRichard Henderson     return typeb_imm(dc, (int16_t)dc->imm);
191fcf5ef2aSThomas Huth }
192fcf5ef2aSThomas Huth 
193cfeea807SEdgar E. Iglesias static inline TCGv_i32 *dec_alu_op_b(DisasContext *dc)
194fcf5ef2aSThomas Huth {
195fcf5ef2aSThomas Huth     if (dc->type_b) {
196d7ecb757SRichard Henderson         tcg_gen_movi_i32(cpu_imm, dec_alu_typeb_imm(dc));
1979b158558SRichard Henderson         return &cpu_imm;
198d7ecb757SRichard Henderson     }
199fcf5ef2aSThomas Huth     return &cpu_R[dc->rb];
200fcf5ef2aSThomas Huth }
201fcf5ef2aSThomas Huth 
20220800179SRichard Henderson static TCGv_i32 reg_for_read(DisasContext *dc, int reg)
203fcf5ef2aSThomas Huth {
20420800179SRichard Henderson     if (likely(reg != 0)) {
20520800179SRichard Henderson         return cpu_R[reg];
206fcf5ef2aSThomas Huth     }
20720800179SRichard Henderson     if (!dc->r0_set) {
20820800179SRichard Henderson         if (dc->r0 == NULL) {
20920800179SRichard Henderson             dc->r0 = tcg_temp_new_i32();
210fcf5ef2aSThomas Huth         }
21120800179SRichard Henderson         tcg_gen_movi_i32(dc->r0, 0);
21220800179SRichard Henderson         dc->r0_set = true;
21320800179SRichard Henderson     }
21420800179SRichard Henderson     return dc->r0;
215fcf5ef2aSThomas Huth }
216fcf5ef2aSThomas Huth 
21720800179SRichard Henderson static TCGv_i32 reg_for_write(DisasContext *dc, int reg)
21820800179SRichard Henderson {
21920800179SRichard Henderson     if (likely(reg != 0)) {
22020800179SRichard Henderson         return cpu_R[reg];
22120800179SRichard Henderson     }
22220800179SRichard Henderson     if (dc->r0 == NULL) {
22320800179SRichard Henderson         dc->r0 = tcg_temp_new_i32();
22420800179SRichard Henderson     }
22520800179SRichard Henderson     return dc->r0;
226fcf5ef2aSThomas Huth }
227fcf5ef2aSThomas Huth 
22820800179SRichard Henderson static bool do_typea(DisasContext *dc, arg_typea *arg, bool side_effects,
22920800179SRichard Henderson                      void (*fn)(TCGv_i32, TCGv_i32, TCGv_i32))
23020800179SRichard Henderson {
23120800179SRichard Henderson     TCGv_i32 rd, ra, rb;
23220800179SRichard Henderson 
23320800179SRichard Henderson     if (arg->rd == 0 && !side_effects) {
23420800179SRichard Henderson         return true;
235fcf5ef2aSThomas Huth     }
23620800179SRichard Henderson 
23720800179SRichard Henderson     rd = reg_for_write(dc, arg->rd);
23820800179SRichard Henderson     ra = reg_for_read(dc, arg->ra);
23920800179SRichard Henderson     rb = reg_for_read(dc, arg->rb);
24020800179SRichard Henderson     fn(rd, ra, rb);
24120800179SRichard Henderson     return true;
24220800179SRichard Henderson }
24320800179SRichard Henderson 
24420800179SRichard Henderson static bool do_typeb_imm(DisasContext *dc, arg_typeb *arg, bool side_effects,
24520800179SRichard Henderson                          void (*fni)(TCGv_i32, TCGv_i32, int32_t))
24620800179SRichard Henderson {
24720800179SRichard Henderson     TCGv_i32 rd, ra;
24820800179SRichard Henderson 
24920800179SRichard Henderson     if (arg->rd == 0 && !side_effects) {
25020800179SRichard Henderson         return true;
25120800179SRichard Henderson     }
25220800179SRichard Henderson 
25320800179SRichard Henderson     rd = reg_for_write(dc, arg->rd);
25420800179SRichard Henderson     ra = reg_for_read(dc, arg->ra);
25520800179SRichard Henderson     fni(rd, ra, arg->imm);
25620800179SRichard Henderson     return true;
25720800179SRichard Henderson }
25820800179SRichard Henderson 
25920800179SRichard Henderson static bool do_typeb_val(DisasContext *dc, arg_typeb *arg, bool side_effects,
26020800179SRichard Henderson                          void (*fn)(TCGv_i32, TCGv_i32, TCGv_i32))
26120800179SRichard Henderson {
26220800179SRichard Henderson     TCGv_i32 rd, ra, imm;
26320800179SRichard Henderson 
26420800179SRichard Henderson     if (arg->rd == 0 && !side_effects) {
26520800179SRichard Henderson         return true;
26620800179SRichard Henderson     }
26720800179SRichard Henderson 
26820800179SRichard Henderson     rd = reg_for_write(dc, arg->rd);
26920800179SRichard Henderson     ra = reg_for_read(dc, arg->ra);
27020800179SRichard Henderson     imm = tcg_const_i32(arg->imm);
27120800179SRichard Henderson 
27220800179SRichard Henderson     fn(rd, ra, imm);
27320800179SRichard Henderson 
27420800179SRichard Henderson     tcg_temp_free_i32(imm);
27520800179SRichard Henderson     return true;
27620800179SRichard Henderson }
27720800179SRichard Henderson 
27820800179SRichard Henderson #define DO_TYPEA(NAME, SE, FN) \
27920800179SRichard Henderson     static bool trans_##NAME(DisasContext *dc, arg_typea *a) \
28020800179SRichard Henderson     { return do_typea(dc, a, SE, FN); }
28120800179SRichard Henderson 
282607f5767SRichard Henderson #define DO_TYPEA_CFG(NAME, CFG, SE, FN) \
283607f5767SRichard Henderson     static bool trans_##NAME(DisasContext *dc, arg_typea *a) \
284607f5767SRichard Henderson     { return dc->cpu->cfg.CFG && do_typea(dc, a, SE, FN); }
285607f5767SRichard Henderson 
28620800179SRichard Henderson #define DO_TYPEBI(NAME, SE, FNI) \
28720800179SRichard Henderson     static bool trans_##NAME(DisasContext *dc, arg_typeb *a) \
28820800179SRichard Henderson     { return do_typeb_imm(dc, a, SE, FNI); }
28920800179SRichard Henderson 
29020800179SRichard Henderson #define DO_TYPEBV(NAME, SE, FN) \
29120800179SRichard Henderson     static bool trans_##NAME(DisasContext *dc, arg_typeb *a) \
29220800179SRichard Henderson     { return do_typeb_val(dc, a, SE, FN); }
29320800179SRichard Henderson 
29420800179SRichard Henderson /* No input carry, but output carry. */
29520800179SRichard Henderson static void gen_add(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb)
29620800179SRichard Henderson {
29720800179SRichard Henderson     TCGv_i32 zero = tcg_const_i32(0);
29820800179SRichard Henderson 
29920800179SRichard Henderson     tcg_gen_add2_i32(out, cpu_msr_c, ina, zero, inb, zero);
30020800179SRichard Henderson 
30120800179SRichard Henderson     tcg_temp_free_i32(zero);
30220800179SRichard Henderson }
30320800179SRichard Henderson 
30420800179SRichard Henderson /* Input and output carry. */
30520800179SRichard Henderson static void gen_addc(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb)
30620800179SRichard Henderson {
30720800179SRichard Henderson     TCGv_i32 zero = tcg_const_i32(0);
30820800179SRichard Henderson     TCGv_i32 tmp = tcg_temp_new_i32();
30920800179SRichard Henderson 
31020800179SRichard Henderson     tcg_gen_add2_i32(tmp, cpu_msr_c, ina, zero, cpu_msr_c, zero);
31120800179SRichard Henderson     tcg_gen_add2_i32(out, cpu_msr_c, tmp, cpu_msr_c, inb, zero);
31220800179SRichard Henderson 
31320800179SRichard Henderson     tcg_temp_free_i32(tmp);
31420800179SRichard Henderson     tcg_temp_free_i32(zero);
31520800179SRichard Henderson }
31620800179SRichard Henderson 
31720800179SRichard Henderson /* Input carry, but no output carry. */
31820800179SRichard Henderson static void gen_addkc(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb)
31920800179SRichard Henderson {
32020800179SRichard Henderson     tcg_gen_add_i32(out, ina, inb);
32120800179SRichard Henderson     tcg_gen_add_i32(out, out, cpu_msr_c);
32220800179SRichard Henderson }
32320800179SRichard Henderson 
32420800179SRichard Henderson DO_TYPEA(add, true, gen_add)
32520800179SRichard Henderson DO_TYPEA(addc, true, gen_addc)
32620800179SRichard Henderson DO_TYPEA(addk, false, tcg_gen_add_i32)
32720800179SRichard Henderson DO_TYPEA(addkc, true, gen_addkc)
32820800179SRichard Henderson 
32920800179SRichard Henderson DO_TYPEBV(addi, true, gen_add)
33020800179SRichard Henderson DO_TYPEBV(addic, true, gen_addc)
33120800179SRichard Henderson DO_TYPEBI(addik, false, tcg_gen_addi_i32)
33220800179SRichard Henderson DO_TYPEBV(addikc, true, gen_addkc)
33320800179SRichard Henderson 
334*cb0a0a4cSRichard Henderson static void gen_andni(TCGv_i32 out, TCGv_i32 ina, int32_t imm)
335*cb0a0a4cSRichard Henderson {
336*cb0a0a4cSRichard Henderson     tcg_gen_andi_i32(out, ina, ~imm);
337*cb0a0a4cSRichard Henderson }
338*cb0a0a4cSRichard Henderson 
339*cb0a0a4cSRichard Henderson DO_TYPEA(and, false, tcg_gen_and_i32)
340*cb0a0a4cSRichard Henderson DO_TYPEBI(andi, false, tcg_gen_andi_i32)
341*cb0a0a4cSRichard Henderson DO_TYPEA(andn, false, tcg_gen_andc_i32)
342*cb0a0a4cSRichard Henderson DO_TYPEBI(andni, false, gen_andni)
343*cb0a0a4cSRichard Henderson 
34458b48b63SRichard Henderson static void gen_cmp(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb)
34558b48b63SRichard Henderson {
34658b48b63SRichard Henderson     TCGv_i32 lt = tcg_temp_new_i32();
34758b48b63SRichard Henderson 
34858b48b63SRichard Henderson     tcg_gen_setcond_i32(TCG_COND_LT, lt, inb, ina);
34958b48b63SRichard Henderson     tcg_gen_sub_i32(out, inb, ina);
35058b48b63SRichard Henderson     tcg_gen_deposit_i32(out, out, lt, 31, 1);
35158b48b63SRichard Henderson     tcg_temp_free_i32(lt);
35258b48b63SRichard Henderson }
35358b48b63SRichard Henderson 
35458b48b63SRichard Henderson static void gen_cmpu(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb)
35558b48b63SRichard Henderson {
35658b48b63SRichard Henderson     TCGv_i32 lt = tcg_temp_new_i32();
35758b48b63SRichard Henderson 
35858b48b63SRichard Henderson     tcg_gen_setcond_i32(TCG_COND_LTU, lt, inb, ina);
35958b48b63SRichard Henderson     tcg_gen_sub_i32(out, inb, ina);
36058b48b63SRichard Henderson     tcg_gen_deposit_i32(out, out, lt, 31, 1);
36158b48b63SRichard Henderson     tcg_temp_free_i32(lt);
36258b48b63SRichard Henderson }
36358b48b63SRichard Henderson 
36458b48b63SRichard Henderson DO_TYPEA(cmp, false, gen_cmp)
36558b48b63SRichard Henderson DO_TYPEA(cmpu, false, gen_cmpu)
366a2b0b90eSRichard Henderson 
367*cb0a0a4cSRichard Henderson DO_TYPEA(or, false, tcg_gen_or_i32)
368*cb0a0a4cSRichard Henderson DO_TYPEBI(ori, false, tcg_gen_ori_i32)
369*cb0a0a4cSRichard Henderson 
370607f5767SRichard Henderson static void gen_pcmpeq(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb)
371607f5767SRichard Henderson {
372607f5767SRichard Henderson     tcg_gen_setcond_i32(TCG_COND_EQ, out, ina, inb);
373607f5767SRichard Henderson }
374607f5767SRichard Henderson 
375607f5767SRichard Henderson static void gen_pcmpne(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb)
376607f5767SRichard Henderson {
377607f5767SRichard Henderson     tcg_gen_setcond_i32(TCG_COND_NE, out, ina, inb);
378607f5767SRichard Henderson }
379607f5767SRichard Henderson 
380607f5767SRichard Henderson DO_TYPEA_CFG(pcmpbf, use_pcmp_instr, false, gen_helper_pcmpbf)
381607f5767SRichard Henderson DO_TYPEA_CFG(pcmpeq, use_pcmp_instr, false, gen_pcmpeq)
382607f5767SRichard Henderson DO_TYPEA_CFG(pcmpne, use_pcmp_instr, false, gen_pcmpne)
383607f5767SRichard Henderson 
384a2b0b90eSRichard Henderson /* No input carry, but output carry. */
385a2b0b90eSRichard Henderson static void gen_rsub(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb)
386a2b0b90eSRichard Henderson {
387a2b0b90eSRichard Henderson     tcg_gen_setcond_i32(TCG_COND_GEU, cpu_msr_c, inb, ina);
388a2b0b90eSRichard Henderson     tcg_gen_sub_i32(out, inb, ina);
389a2b0b90eSRichard Henderson }
390a2b0b90eSRichard Henderson 
391a2b0b90eSRichard Henderson /* Input and output carry. */
392a2b0b90eSRichard Henderson static void gen_rsubc(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb)
393a2b0b90eSRichard Henderson {
394a2b0b90eSRichard Henderson     TCGv_i32 zero = tcg_const_i32(0);
395a2b0b90eSRichard Henderson     TCGv_i32 tmp = tcg_temp_new_i32();
396a2b0b90eSRichard Henderson 
397a2b0b90eSRichard Henderson     tcg_gen_not_i32(tmp, ina);
398a2b0b90eSRichard Henderson     tcg_gen_add2_i32(tmp, cpu_msr_c, tmp, zero, cpu_msr_c, zero);
399a2b0b90eSRichard Henderson     tcg_gen_add2_i32(out, cpu_msr_c, tmp, cpu_msr_c, inb, zero);
400a2b0b90eSRichard Henderson 
401a2b0b90eSRichard Henderson     tcg_temp_free_i32(zero);
402a2b0b90eSRichard Henderson     tcg_temp_free_i32(tmp);
403a2b0b90eSRichard Henderson }
404a2b0b90eSRichard Henderson 
405a2b0b90eSRichard Henderson /* No input or output carry. */
406a2b0b90eSRichard Henderson static void gen_rsubk(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb)
407a2b0b90eSRichard Henderson {
408a2b0b90eSRichard Henderson     tcg_gen_sub_i32(out, inb, ina);
409a2b0b90eSRichard Henderson }
410a2b0b90eSRichard Henderson 
411a2b0b90eSRichard Henderson /* Input carry, no output carry. */
412a2b0b90eSRichard Henderson static void gen_rsubkc(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb)
413a2b0b90eSRichard Henderson {
414a2b0b90eSRichard Henderson     TCGv_i32 nota = tcg_temp_new_i32();
415a2b0b90eSRichard Henderson 
416a2b0b90eSRichard Henderson     tcg_gen_not_i32(nota, ina);
417a2b0b90eSRichard Henderson     tcg_gen_add_i32(out, inb, nota);
418a2b0b90eSRichard Henderson     tcg_gen_add_i32(out, out, cpu_msr_c);
419a2b0b90eSRichard Henderson 
420a2b0b90eSRichard Henderson     tcg_temp_free_i32(nota);
421a2b0b90eSRichard Henderson }
422a2b0b90eSRichard Henderson 
423a2b0b90eSRichard Henderson DO_TYPEA(rsub, true, gen_rsub)
424a2b0b90eSRichard Henderson DO_TYPEA(rsubc, true, gen_rsubc)
425a2b0b90eSRichard Henderson DO_TYPEA(rsubk, false, gen_rsubk)
426a2b0b90eSRichard Henderson DO_TYPEA(rsubkc, true, gen_rsubkc)
427a2b0b90eSRichard Henderson 
428a2b0b90eSRichard Henderson DO_TYPEBV(rsubi, true, gen_rsub)
429a2b0b90eSRichard Henderson DO_TYPEBV(rsubic, true, gen_rsubc)
430a2b0b90eSRichard Henderson DO_TYPEBV(rsubik, false, gen_rsubk)
431a2b0b90eSRichard Henderson DO_TYPEBV(rsubikc, true, gen_rsubkc)
432a2b0b90eSRichard Henderson 
433*cb0a0a4cSRichard Henderson DO_TYPEA(xor, false, tcg_gen_xor_i32)
434*cb0a0a4cSRichard Henderson DO_TYPEBI(xori, false, tcg_gen_xori_i32)
435*cb0a0a4cSRichard Henderson 
43620800179SRichard Henderson static bool trans_zero(DisasContext *dc, arg_zero *arg)
43720800179SRichard Henderson {
43820800179SRichard Henderson     /* If opcode_0_illegal, trap.  */
43920800179SRichard Henderson     if (dc->cpu->cfg.opcode_0_illegal) {
44020800179SRichard Henderson         trap_illegal(dc, true);
44120800179SRichard Henderson         return true;
44220800179SRichard Henderson     }
44320800179SRichard Henderson     /*
44420800179SRichard Henderson      * Otherwise, this is "add r0, r0, r0".
44520800179SRichard Henderson      * Continue to trans_add so that MSR[C] gets cleared.
44620800179SRichard Henderson      */
44720800179SRichard Henderson     return false;
448fcf5ef2aSThomas Huth }
449fcf5ef2aSThomas Huth 
4501074c0fbSRichard Henderson static void msr_read(DisasContext *dc, TCGv_i32 d)
451fcf5ef2aSThomas Huth {
4521074c0fbSRichard Henderson     TCGv_i32 t;
4531074c0fbSRichard Henderson 
4541074c0fbSRichard Henderson     /* Replicate the cpu_msr_c boolean into the proper bit and the copy. */
4551074c0fbSRichard Henderson     t = tcg_temp_new_i32();
4561074c0fbSRichard Henderson     tcg_gen_muli_i32(t, cpu_msr_c, MSR_C | MSR_CC);
4571074c0fbSRichard Henderson     tcg_gen_or_i32(d, cpu_msr, t);
4581074c0fbSRichard Henderson     tcg_temp_free_i32(t);
459fcf5ef2aSThomas Huth }
460fcf5ef2aSThomas Huth 
4611074c0fbSRichard Henderson static void msr_write(DisasContext *dc, TCGv_i32 v)
462fcf5ef2aSThomas Huth {
463fcf5ef2aSThomas Huth     dc->cpustate_changed = 1;
4641074c0fbSRichard Henderson 
4651074c0fbSRichard Henderson     /* Install MSR_C.  */
4661074c0fbSRichard Henderson     tcg_gen_extract_i32(cpu_msr_c, v, 2, 1);
4671074c0fbSRichard Henderson 
4681074c0fbSRichard Henderson     /* Clear MSR_C and MSR_CC; MSR_PVR is not writable, and is always clear. */
4691074c0fbSRichard Henderson     tcg_gen_andi_i32(cpu_msr, v, ~(MSR_C | MSR_CC | MSR_PVR));
470fcf5ef2aSThomas Huth }
471fcf5ef2aSThomas Huth 
472fcf5ef2aSThomas Huth static void dec_msr(DisasContext *dc)
473fcf5ef2aSThomas Huth {
474fcf5ef2aSThomas Huth     CPUState *cs = CPU(dc->cpu);
475cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
4762023e9a3SEdgar E. Iglesias     unsigned int sr, rn;
477f0f7e7f7SEdgar E. Iglesias     bool to, clrset, extended = false;
478fcf5ef2aSThomas Huth 
4792023e9a3SEdgar E. Iglesias     sr = extract32(dc->imm, 0, 14);
4802023e9a3SEdgar E. Iglesias     to = extract32(dc->imm, 14, 1);
4812023e9a3SEdgar E. Iglesias     clrset = extract32(dc->imm, 15, 1) == 0;
482fcf5ef2aSThomas Huth     dc->type_b = 1;
4832023e9a3SEdgar E. Iglesias     if (to) {
484fcf5ef2aSThomas Huth         dc->cpustate_changed = 1;
485f0f7e7f7SEdgar E. Iglesias     }
486f0f7e7f7SEdgar E. Iglesias 
487f0f7e7f7SEdgar E. Iglesias     /* Extended MSRs are only available if addr_size > 32.  */
488f0f7e7f7SEdgar E. Iglesias     if (dc->cpu->cfg.addr_size > 32) {
489f0f7e7f7SEdgar E. Iglesias         /* The E-bit is encoded differently for To/From MSR.  */
490f0f7e7f7SEdgar E. Iglesias         static const unsigned int e_bit[] = { 19, 24 };
491f0f7e7f7SEdgar E. Iglesias 
492f0f7e7f7SEdgar E. Iglesias         extended = extract32(dc->imm, e_bit[to], 1);
4932023e9a3SEdgar E. Iglesias     }
494fcf5ef2aSThomas Huth 
495fcf5ef2aSThomas Huth     /* msrclr and msrset.  */
4962023e9a3SEdgar E. Iglesias     if (clrset) {
4972023e9a3SEdgar E. Iglesias         bool clr = extract32(dc->ir, 16, 1);
498fcf5ef2aSThomas Huth 
49956837509SEdgar E. Iglesias         if (!dc->cpu->cfg.use_msr_instr) {
500fcf5ef2aSThomas Huth             /* nop??? */
501fcf5ef2aSThomas Huth             return;
502fcf5ef2aSThomas Huth         }
503fcf5ef2aSThomas Huth 
504bdfc1e88SEdgar E. Iglesias         if (trap_userspace(dc, dc->imm != 4 && dc->imm != 0)) {
505fcf5ef2aSThomas Huth             return;
506fcf5ef2aSThomas Huth         }
507fcf5ef2aSThomas Huth 
508fcf5ef2aSThomas Huth         if (dc->rd)
509fcf5ef2aSThomas Huth             msr_read(dc, cpu_R[dc->rd]);
510fcf5ef2aSThomas Huth 
511cfeea807SEdgar E. Iglesias         t0 = tcg_temp_new_i32();
512cfeea807SEdgar E. Iglesias         t1 = tcg_temp_new_i32();
513fcf5ef2aSThomas Huth         msr_read(dc, t0);
514cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(t1, *(dec_alu_op_b(dc)));
515fcf5ef2aSThomas Huth 
516fcf5ef2aSThomas Huth         if (clr) {
517cfeea807SEdgar E. Iglesias             tcg_gen_not_i32(t1, t1);
518cfeea807SEdgar E. Iglesias             tcg_gen_and_i32(t0, t0, t1);
519fcf5ef2aSThomas Huth         } else
520cfeea807SEdgar E. Iglesias             tcg_gen_or_i32(t0, t0, t1);
521fcf5ef2aSThomas Huth         msr_write(dc, t0);
522cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(t0);
523cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(t1);
524d4705ae0SRichard Henderson         tcg_gen_movi_i32(cpu_pc, dc->base.pc_next + 4);
525d4705ae0SRichard Henderson         dc->base.is_jmp = DISAS_UPDATE;
526fcf5ef2aSThomas Huth         return;
527fcf5ef2aSThomas Huth     }
528fcf5ef2aSThomas Huth 
529bdfc1e88SEdgar E. Iglesias     if (trap_userspace(dc, to)) {
530fcf5ef2aSThomas Huth         return;
531fcf5ef2aSThomas Huth     }
532fcf5ef2aSThomas Huth 
533fcf5ef2aSThomas Huth #if !defined(CONFIG_USER_ONLY)
534fcf5ef2aSThomas Huth     /* Catch read/writes to the mmu block.  */
535fcf5ef2aSThomas Huth     if ((sr & ~0xff) == 0x1000) {
536f0f7e7f7SEdgar E. Iglesias         TCGv_i32 tmp_ext = tcg_const_i32(extended);
53705a9a651SEdgar E. Iglesias         TCGv_i32 tmp_sr;
53805a9a651SEdgar E. Iglesias 
539fcf5ef2aSThomas Huth         sr &= 7;
54005a9a651SEdgar E. Iglesias         tmp_sr = tcg_const_i32(sr);
54105a9a651SEdgar E. Iglesias         if (to) {
542f0f7e7f7SEdgar E. Iglesias             gen_helper_mmu_write(cpu_env, tmp_ext, tmp_sr, cpu_R[dc->ra]);
54305a9a651SEdgar E. Iglesias         } else {
544f0f7e7f7SEdgar E. Iglesias             gen_helper_mmu_read(cpu_R[dc->rd], cpu_env, tmp_ext, tmp_sr);
54505a9a651SEdgar E. Iglesias         }
54605a9a651SEdgar E. Iglesias         tcg_temp_free_i32(tmp_sr);
547f0f7e7f7SEdgar E. Iglesias         tcg_temp_free_i32(tmp_ext);
548fcf5ef2aSThomas Huth         return;
549fcf5ef2aSThomas Huth     }
550fcf5ef2aSThomas Huth #endif
551fcf5ef2aSThomas Huth 
552fcf5ef2aSThomas Huth     if (to) {
553fcf5ef2aSThomas Huth         switch (sr) {
554aa28e6d4SRichard Henderson             case SR_PC:
555fcf5ef2aSThomas Huth                 break;
556aa28e6d4SRichard Henderson             case SR_MSR:
557fcf5ef2aSThomas Huth                 msr_write(dc, cpu_R[dc->ra]);
558fcf5ef2aSThomas Huth                 break;
559351527b7SEdgar E. Iglesias             case SR_EAR:
560dbdb77c4SRichard Henderson                 {
561dbdb77c4SRichard Henderson                     TCGv_i64 t64 = tcg_temp_new_i64();
562dbdb77c4SRichard Henderson                     tcg_gen_extu_i32_i64(t64, cpu_R[dc->ra]);
563dbdb77c4SRichard Henderson                     tcg_gen_st_i64(t64, cpu_env, offsetof(CPUMBState, ear));
564dbdb77c4SRichard Henderson                     tcg_temp_free_i64(t64);
565dbdb77c4SRichard Henderson                 }
566aa28e6d4SRichard Henderson                 break;
567351527b7SEdgar E. Iglesias             case SR_ESR:
56841ba37c4SRichard Henderson                 tcg_gen_st_i32(cpu_R[dc->ra],
56941ba37c4SRichard Henderson                                cpu_env, offsetof(CPUMBState, esr));
570aa28e6d4SRichard Henderson                 break;
571ab6dd380SEdgar E. Iglesias             case SR_FSR:
57286017ccfSRichard Henderson                 tcg_gen_st_i32(cpu_R[dc->ra],
57386017ccfSRichard Henderson                                cpu_env, offsetof(CPUMBState, fsr));
574aa28e6d4SRichard Henderson                 break;
575aa28e6d4SRichard Henderson             case SR_BTR:
576ccf628b7SRichard Henderson                 tcg_gen_st_i32(cpu_R[dc->ra],
577ccf628b7SRichard Henderson                                cpu_env, offsetof(CPUMBState, btr));
578aa28e6d4SRichard Henderson                 break;
579aa28e6d4SRichard Henderson             case SR_EDR:
58039db007eSRichard Henderson                 tcg_gen_st_i32(cpu_R[dc->ra],
58139db007eSRichard Henderson                                cpu_env, offsetof(CPUMBState, edr));
582fcf5ef2aSThomas Huth                 break;
583fcf5ef2aSThomas Huth             case 0x800:
584cfeea807SEdgar E. Iglesias                 tcg_gen_st_i32(cpu_R[dc->ra],
585cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, slr));
586fcf5ef2aSThomas Huth                 break;
587fcf5ef2aSThomas Huth             case 0x802:
588cfeea807SEdgar E. Iglesias                 tcg_gen_st_i32(cpu_R[dc->ra],
589cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, shr));
590fcf5ef2aSThomas Huth                 break;
591fcf5ef2aSThomas Huth             default:
592fcf5ef2aSThomas Huth                 cpu_abort(CPU(dc->cpu), "unknown mts reg %x\n", sr);
593fcf5ef2aSThomas Huth                 break;
594fcf5ef2aSThomas Huth         }
595fcf5ef2aSThomas Huth     } else {
596fcf5ef2aSThomas Huth         switch (sr) {
597aa28e6d4SRichard Henderson             case SR_PC:
598d4705ae0SRichard Henderson                 tcg_gen_movi_i32(cpu_R[dc->rd], dc->base.pc_next);
599fcf5ef2aSThomas Huth                 break;
600aa28e6d4SRichard Henderson             case SR_MSR:
601fcf5ef2aSThomas Huth                 msr_read(dc, cpu_R[dc->rd]);
602fcf5ef2aSThomas Huth                 break;
603351527b7SEdgar E. Iglesias             case SR_EAR:
604dbdb77c4SRichard Henderson                 {
605dbdb77c4SRichard Henderson                     TCGv_i64 t64 = tcg_temp_new_i64();
606dbdb77c4SRichard Henderson                     tcg_gen_ld_i64(t64, cpu_env, offsetof(CPUMBState, ear));
607a1b48e3aSEdgar E. Iglesias                     if (extended) {
608dbdb77c4SRichard Henderson                         tcg_gen_extrh_i64_i32(cpu_R[dc->rd], t64);
609aa28e6d4SRichard Henderson                     } else {
610dbdb77c4SRichard Henderson                         tcg_gen_extrl_i64_i32(cpu_R[dc->rd], t64);
611dbdb77c4SRichard Henderson                     }
612dbdb77c4SRichard Henderson                     tcg_temp_free_i64(t64);
613a1b48e3aSEdgar E. Iglesias                 }
614aa28e6d4SRichard Henderson                 break;
615351527b7SEdgar E. Iglesias             case SR_ESR:
61641ba37c4SRichard Henderson                 tcg_gen_ld_i32(cpu_R[dc->rd],
61741ba37c4SRichard Henderson                                cpu_env, offsetof(CPUMBState, esr));
618aa28e6d4SRichard Henderson                 break;
619351527b7SEdgar E. Iglesias             case SR_FSR:
62086017ccfSRichard Henderson                 tcg_gen_ld_i32(cpu_R[dc->rd],
62186017ccfSRichard Henderson                                cpu_env, offsetof(CPUMBState, fsr));
622aa28e6d4SRichard Henderson                 break;
623351527b7SEdgar E. Iglesias             case SR_BTR:
624ccf628b7SRichard Henderson                 tcg_gen_ld_i32(cpu_R[dc->rd],
625ccf628b7SRichard Henderson                                cpu_env, offsetof(CPUMBState, btr));
626aa28e6d4SRichard Henderson                 break;
6277cdae31dSTong Ho             case SR_EDR:
62839db007eSRichard Henderson                 tcg_gen_ld_i32(cpu_R[dc->rd],
62939db007eSRichard Henderson                                cpu_env, offsetof(CPUMBState, edr));
630fcf5ef2aSThomas Huth                 break;
631fcf5ef2aSThomas Huth             case 0x800:
632cfeea807SEdgar E. Iglesias                 tcg_gen_ld_i32(cpu_R[dc->rd],
633cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, slr));
634fcf5ef2aSThomas Huth                 break;
635fcf5ef2aSThomas Huth             case 0x802:
636cfeea807SEdgar E. Iglesias                 tcg_gen_ld_i32(cpu_R[dc->rd],
637cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, shr));
638fcf5ef2aSThomas Huth                 break;
639351527b7SEdgar E. Iglesias             case 0x2000 ... 0x200c:
640fcf5ef2aSThomas Huth                 rn = sr & 0xf;
641cfeea807SEdgar E. Iglesias                 tcg_gen_ld_i32(cpu_R[dc->rd],
642fcf5ef2aSThomas Huth                               cpu_env, offsetof(CPUMBState, pvr.regs[rn]));
643fcf5ef2aSThomas Huth                 break;
644fcf5ef2aSThomas Huth             default:
645fcf5ef2aSThomas Huth                 cpu_abort(cs, "unknown mfs reg %x\n", sr);
646fcf5ef2aSThomas Huth                 break;
647fcf5ef2aSThomas Huth         }
648fcf5ef2aSThomas Huth     }
649fcf5ef2aSThomas Huth 
650fcf5ef2aSThomas Huth     if (dc->rd == 0) {
651cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_R[0], 0);
652fcf5ef2aSThomas Huth     }
653fcf5ef2aSThomas Huth }
654fcf5ef2aSThomas Huth 
655fcf5ef2aSThomas Huth /* Multiplier unit.  */
656fcf5ef2aSThomas Huth static void dec_mul(DisasContext *dc)
657fcf5ef2aSThomas Huth {
658cfeea807SEdgar E. Iglesias     TCGv_i32 tmp;
659fcf5ef2aSThomas Huth     unsigned int subcode;
660fcf5ef2aSThomas Huth 
6619ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_hw_mul)) {
662fcf5ef2aSThomas Huth         return;
663fcf5ef2aSThomas Huth     }
664fcf5ef2aSThomas Huth 
665fcf5ef2aSThomas Huth     subcode = dc->imm & 3;
666fcf5ef2aSThomas Huth 
667fcf5ef2aSThomas Huth     if (dc->type_b) {
668cfeea807SEdgar E. Iglesias         tcg_gen_mul_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
669fcf5ef2aSThomas Huth         return;
670fcf5ef2aSThomas Huth     }
671fcf5ef2aSThomas Huth 
672fcf5ef2aSThomas Huth     /* mulh, mulhsu and mulhu are not available if C_USE_HW_MUL is < 2.  */
6739b964318SEdgar E. Iglesias     if (subcode >= 1 && subcode <= 3 && dc->cpu->cfg.use_hw_mul < 2) {
674fcf5ef2aSThomas Huth         /* nop??? */
675fcf5ef2aSThomas Huth     }
676fcf5ef2aSThomas Huth 
677cfeea807SEdgar E. Iglesias     tmp = tcg_temp_new_i32();
678fcf5ef2aSThomas Huth     switch (subcode) {
679fcf5ef2aSThomas Huth         case 0:
680cfeea807SEdgar E. Iglesias             tcg_gen_mul_i32(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
681fcf5ef2aSThomas Huth             break;
682fcf5ef2aSThomas Huth         case 1:
683cfeea807SEdgar E. Iglesias             tcg_gen_muls2_i32(tmp, cpu_R[dc->rd],
684cfeea807SEdgar E. Iglesias                               cpu_R[dc->ra], cpu_R[dc->rb]);
685fcf5ef2aSThomas Huth             break;
686fcf5ef2aSThomas Huth         case 2:
687cfeea807SEdgar E. Iglesias             tcg_gen_mulsu2_i32(tmp, cpu_R[dc->rd],
688cfeea807SEdgar E. Iglesias                                cpu_R[dc->ra], cpu_R[dc->rb]);
689fcf5ef2aSThomas Huth             break;
690fcf5ef2aSThomas Huth         case 3:
691cfeea807SEdgar E. Iglesias             tcg_gen_mulu2_i32(tmp, cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
692fcf5ef2aSThomas Huth             break;
693fcf5ef2aSThomas Huth         default:
694fcf5ef2aSThomas Huth             cpu_abort(CPU(dc->cpu), "unknown MUL insn %x\n", subcode);
695fcf5ef2aSThomas Huth             break;
696fcf5ef2aSThomas Huth     }
697cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(tmp);
698fcf5ef2aSThomas Huth }
699fcf5ef2aSThomas Huth 
700fcf5ef2aSThomas Huth /* Div unit.  */
701fcf5ef2aSThomas Huth static void dec_div(DisasContext *dc)
702fcf5ef2aSThomas Huth {
703fcf5ef2aSThomas Huth     unsigned int u;
704fcf5ef2aSThomas Huth 
705fcf5ef2aSThomas Huth     u = dc->imm & 2;
706fcf5ef2aSThomas Huth 
7079ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_div)) {
7089ba8cd45SEdgar E. Iglesias         return;
709fcf5ef2aSThomas Huth     }
710fcf5ef2aSThomas Huth 
711fcf5ef2aSThomas Huth     if (u)
712fcf5ef2aSThomas Huth         gen_helper_divu(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)),
713fcf5ef2aSThomas Huth                         cpu_R[dc->ra]);
714fcf5ef2aSThomas Huth     else
715fcf5ef2aSThomas Huth         gen_helper_divs(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)),
716fcf5ef2aSThomas Huth                         cpu_R[dc->ra]);
717fcf5ef2aSThomas Huth     if (!dc->rd)
718cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_R[dc->rd], 0);
719fcf5ef2aSThomas Huth }
720fcf5ef2aSThomas Huth 
721fcf5ef2aSThomas Huth static void dec_barrel(DisasContext *dc)
722fcf5ef2aSThomas Huth {
723cfeea807SEdgar E. Iglesias     TCGv_i32 t0;
724faa48d74SEdgar E. Iglesias     unsigned int imm_w, imm_s;
725d09b2585SEdgar E. Iglesias     bool s, t, e = false, i = false;
726fcf5ef2aSThomas Huth 
7279ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_barrel)) {
728fcf5ef2aSThomas Huth         return;
729fcf5ef2aSThomas Huth     }
730fcf5ef2aSThomas Huth 
731faa48d74SEdgar E. Iglesias     if (dc->type_b) {
732faa48d74SEdgar E. Iglesias         /* Insert and extract are only available in immediate mode.  */
733d09b2585SEdgar E. Iglesias         i = extract32(dc->imm, 15, 1);
734faa48d74SEdgar E. Iglesias         e = extract32(dc->imm, 14, 1);
735faa48d74SEdgar E. Iglesias     }
736e3e84983SEdgar E. Iglesias     s = extract32(dc->imm, 10, 1);
737e3e84983SEdgar E. Iglesias     t = extract32(dc->imm, 9, 1);
738faa48d74SEdgar E. Iglesias     imm_w = extract32(dc->imm, 6, 5);
739faa48d74SEdgar E. Iglesias     imm_s = extract32(dc->imm, 0, 5);
740fcf5ef2aSThomas Huth 
741faa48d74SEdgar E. Iglesias     if (e) {
742faa48d74SEdgar E. Iglesias         if (imm_w + imm_s > 32 || imm_w == 0) {
743faa48d74SEdgar E. Iglesias             /* These inputs have an undefined behavior.  */
744faa48d74SEdgar E. Iglesias             qemu_log_mask(LOG_GUEST_ERROR, "bsefi: Bad input w=%d s=%d\n",
745faa48d74SEdgar E. Iglesias                           imm_w, imm_s);
746faa48d74SEdgar E. Iglesias         } else {
747faa48d74SEdgar E. Iglesias             tcg_gen_extract_i32(cpu_R[dc->rd], cpu_R[dc->ra], imm_s, imm_w);
748faa48d74SEdgar E. Iglesias         }
749d09b2585SEdgar E. Iglesias     } else if (i) {
750d09b2585SEdgar E. Iglesias         int width = imm_w - imm_s + 1;
751d09b2585SEdgar E. Iglesias 
752d09b2585SEdgar E. Iglesias         if (imm_w < imm_s) {
753d09b2585SEdgar E. Iglesias             /* These inputs have an undefined behavior.  */
754d09b2585SEdgar E. Iglesias             qemu_log_mask(LOG_GUEST_ERROR, "bsifi: Bad input w=%d s=%d\n",
755d09b2585SEdgar E. Iglesias                           imm_w, imm_s);
756d09b2585SEdgar E. Iglesias         } else {
757d09b2585SEdgar E. Iglesias             tcg_gen_deposit_i32(cpu_R[dc->rd], cpu_R[dc->rd], cpu_R[dc->ra],
758d09b2585SEdgar E. Iglesias                                 imm_s, width);
759d09b2585SEdgar E. Iglesias         }
760faa48d74SEdgar E. Iglesias     } else {
761cfeea807SEdgar E. Iglesias         t0 = tcg_temp_new_i32();
762fcf5ef2aSThomas Huth 
763cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(t0, *(dec_alu_op_b(dc)));
764cfeea807SEdgar E. Iglesias         tcg_gen_andi_i32(t0, t0, 31);
765fcf5ef2aSThomas Huth 
7662acf6d53SEdgar E. Iglesias         if (s) {
767cfeea807SEdgar E. Iglesias             tcg_gen_shl_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0);
7682acf6d53SEdgar E. Iglesias         } else {
7692acf6d53SEdgar E. Iglesias             if (t) {
770cfeea807SEdgar E. Iglesias                 tcg_gen_sar_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0);
7712acf6d53SEdgar E. Iglesias             } else {
772cfeea807SEdgar E. Iglesias                 tcg_gen_shr_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0);
773fcf5ef2aSThomas Huth             }
774fcf5ef2aSThomas Huth         }
775cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(t0);
7762acf6d53SEdgar E. Iglesias     }
777faa48d74SEdgar E. Iglesias }
778fcf5ef2aSThomas Huth 
779fcf5ef2aSThomas Huth static void dec_bit(DisasContext *dc)
780fcf5ef2aSThomas Huth {
781fcf5ef2aSThomas Huth     CPUState *cs = CPU(dc->cpu);
782cfeea807SEdgar E. Iglesias     TCGv_i32 t0;
783fcf5ef2aSThomas Huth     unsigned int op;
784fcf5ef2aSThomas Huth 
785fcf5ef2aSThomas Huth     op = dc->ir & ((1 << 9) - 1);
786fcf5ef2aSThomas Huth     switch (op) {
787fcf5ef2aSThomas Huth         case 0x21:
788fcf5ef2aSThomas Huth             /* src.  */
789cfeea807SEdgar E. Iglesias             t0 = tcg_temp_new_i32();
790fcf5ef2aSThomas Huth 
7911074c0fbSRichard Henderson             tcg_gen_shli_i32(t0, cpu_msr_c, 31);
7921074c0fbSRichard Henderson             tcg_gen_andi_i32(cpu_msr_c, cpu_R[dc->ra], 1);
793fcf5ef2aSThomas Huth             if (dc->rd) {
794cfeea807SEdgar E. Iglesias                 tcg_gen_shri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1);
795cfeea807SEdgar E. Iglesias                 tcg_gen_or_i32(cpu_R[dc->rd], cpu_R[dc->rd], t0);
796fcf5ef2aSThomas Huth             }
797cfeea807SEdgar E. Iglesias             tcg_temp_free_i32(t0);
798fcf5ef2aSThomas Huth             break;
799fcf5ef2aSThomas Huth 
800fcf5ef2aSThomas Huth         case 0x1:
801fcf5ef2aSThomas Huth         case 0x41:
802fcf5ef2aSThomas Huth             /* srl.  */
8031074c0fbSRichard Henderson             tcg_gen_andi_i32(cpu_msr_c, cpu_R[dc->ra], 1);
804fcf5ef2aSThomas Huth             if (dc->rd) {
805fcf5ef2aSThomas Huth                 if (op == 0x41)
806cfeea807SEdgar E. Iglesias                     tcg_gen_shri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1);
807fcf5ef2aSThomas Huth                 else
808cfeea807SEdgar E. Iglesias                     tcg_gen_sari_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1);
809fcf5ef2aSThomas Huth             }
810fcf5ef2aSThomas Huth             break;
811fcf5ef2aSThomas Huth         case 0x60:
812fcf5ef2aSThomas Huth             tcg_gen_ext8s_i32(cpu_R[dc->rd], cpu_R[dc->ra]);
813fcf5ef2aSThomas Huth             break;
814fcf5ef2aSThomas Huth         case 0x61:
815fcf5ef2aSThomas Huth             tcg_gen_ext16s_i32(cpu_R[dc->rd], cpu_R[dc->ra]);
816fcf5ef2aSThomas Huth             break;
817fcf5ef2aSThomas Huth         case 0x64:
818fcf5ef2aSThomas Huth         case 0x66:
819fcf5ef2aSThomas Huth         case 0x74:
820fcf5ef2aSThomas Huth         case 0x76:
821fcf5ef2aSThomas Huth             /* wdc.  */
822bdfc1e88SEdgar E. Iglesias             trap_userspace(dc, true);
823fcf5ef2aSThomas Huth             break;
824fcf5ef2aSThomas Huth         case 0x68:
825fcf5ef2aSThomas Huth             /* wic.  */
826bdfc1e88SEdgar E. Iglesias             trap_userspace(dc, true);
827fcf5ef2aSThomas Huth             break;
828fcf5ef2aSThomas Huth         case 0xe0:
8299ba8cd45SEdgar E. Iglesias             if (trap_illegal(dc, !dc->cpu->cfg.use_pcmp_instr)) {
8309ba8cd45SEdgar E. Iglesias                 return;
831fcf5ef2aSThomas Huth             }
8328fc5239eSEdgar E. Iglesias             if (dc->cpu->cfg.use_pcmp_instr) {
8335318420cSRichard Henderson                 tcg_gen_clzi_i32(cpu_R[dc->rd], cpu_R[dc->ra], 32);
834fcf5ef2aSThomas Huth             }
835fcf5ef2aSThomas Huth             break;
836fcf5ef2aSThomas Huth         case 0x1e0:
837fcf5ef2aSThomas Huth             /* swapb */
838fcf5ef2aSThomas Huth             tcg_gen_bswap32_i32(cpu_R[dc->rd], cpu_R[dc->ra]);
839fcf5ef2aSThomas Huth             break;
840fcf5ef2aSThomas Huth         case 0x1e2:
841fcf5ef2aSThomas Huth             /*swaph */
842fcf5ef2aSThomas Huth             tcg_gen_rotri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 16);
843fcf5ef2aSThomas Huth             break;
844fcf5ef2aSThomas Huth         default:
845fcf5ef2aSThomas Huth             cpu_abort(cs, "unknown bit oc=%x op=%x rd=%d ra=%d rb=%d\n",
846d4705ae0SRichard Henderson                       (uint32_t)dc->base.pc_next, op, dc->rd, dc->ra, dc->rb);
847fcf5ef2aSThomas Huth             break;
848fcf5ef2aSThomas Huth     }
849fcf5ef2aSThomas Huth }
850fcf5ef2aSThomas Huth 
851fcf5ef2aSThomas Huth static inline void sync_jmpstate(DisasContext *dc)
852fcf5ef2aSThomas Huth {
853fcf5ef2aSThomas Huth     if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) {
854fcf5ef2aSThomas Huth         if (dc->jmp == JMP_DIRECT) {
8559b158558SRichard Henderson             tcg_gen_movi_i32(cpu_btaken, 1);
856fcf5ef2aSThomas Huth         }
857fcf5ef2aSThomas Huth         dc->jmp = JMP_INDIRECT;
8580f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_btarget, dc->jmp_pc);
859fcf5ef2aSThomas Huth     }
860fcf5ef2aSThomas Huth }
861fcf5ef2aSThomas Huth 
862fcf5ef2aSThomas Huth static void dec_imm(DisasContext *dc)
863fcf5ef2aSThomas Huth {
864d7ecb757SRichard Henderson     dc->ext_imm = dc->imm << 16;
865d7ecb757SRichard Henderson     tcg_gen_movi_i32(cpu_imm, dc->ext_imm);
866fcf5ef2aSThomas Huth     dc->tb_flags |= IMM_FLAG;
867fcf5ef2aSThomas Huth     dc->clear_imm = 0;
868fcf5ef2aSThomas Huth }
869fcf5ef2aSThomas Huth 
870d248e1beSEdgar E. Iglesias static inline void compute_ldst_addr(DisasContext *dc, bool ea, TCGv t)
871fcf5ef2aSThomas Huth {
8720e9033c8SEdgar E. Iglesias     /* Should be set to true if r1 is used by loadstores.  */
8730e9033c8SEdgar E. Iglesias     bool stackprot = false;
874403322eaSEdgar E. Iglesias     TCGv_i32 t32;
875fcf5ef2aSThomas Huth 
876fcf5ef2aSThomas Huth     /* All load/stores use ra.  */
877fcf5ef2aSThomas Huth     if (dc->ra == 1 && dc->cpu->cfg.stackprot) {
8780e9033c8SEdgar E. Iglesias         stackprot = true;
879fcf5ef2aSThomas Huth     }
880fcf5ef2aSThomas Huth 
881fcf5ef2aSThomas Huth     /* Treat the common cases first.  */
882fcf5ef2aSThomas Huth     if (!dc->type_b) {
883d248e1beSEdgar E. Iglesias         if (ea) {
884d248e1beSEdgar E. Iglesias             int addr_size = dc->cpu->cfg.addr_size;
885d248e1beSEdgar E. Iglesias 
886d248e1beSEdgar E. Iglesias             if (addr_size == 32) {
887d248e1beSEdgar E. Iglesias                 tcg_gen_extu_i32_tl(t, cpu_R[dc->rb]);
888d248e1beSEdgar E. Iglesias                 return;
889d248e1beSEdgar E. Iglesias             }
890d248e1beSEdgar E. Iglesias 
891d248e1beSEdgar E. Iglesias             tcg_gen_concat_i32_i64(t, cpu_R[dc->rb], cpu_R[dc->ra]);
892d248e1beSEdgar E. Iglesias             if (addr_size < 64) {
893d248e1beSEdgar E. Iglesias                 /* Mask off out of range bits.  */
894d248e1beSEdgar E. Iglesias                 tcg_gen_andi_i64(t, t, MAKE_64BIT_MASK(0, addr_size));
895d248e1beSEdgar E. Iglesias             }
896d248e1beSEdgar E. Iglesias             return;
897d248e1beSEdgar E. Iglesias         }
898d248e1beSEdgar E. Iglesias 
8990dc4af5cSEdgar E. Iglesias         /* If any of the regs is r0, set t to the value of the other reg.  */
900fcf5ef2aSThomas Huth         if (dc->ra == 0) {
901403322eaSEdgar E. Iglesias             tcg_gen_extu_i32_tl(t, cpu_R[dc->rb]);
9020dc4af5cSEdgar E. Iglesias             return;
903fcf5ef2aSThomas Huth         } else if (dc->rb == 0) {
904403322eaSEdgar E. Iglesias             tcg_gen_extu_i32_tl(t, cpu_R[dc->ra]);
9050dc4af5cSEdgar E. Iglesias             return;
906fcf5ef2aSThomas Huth         }
907fcf5ef2aSThomas Huth 
908fcf5ef2aSThomas Huth         if (dc->rb == 1 && dc->cpu->cfg.stackprot) {
9090e9033c8SEdgar E. Iglesias             stackprot = true;
910fcf5ef2aSThomas Huth         }
911fcf5ef2aSThomas Huth 
912403322eaSEdgar E. Iglesias         t32 = tcg_temp_new_i32();
913403322eaSEdgar E. Iglesias         tcg_gen_add_i32(t32, cpu_R[dc->ra], cpu_R[dc->rb]);
914403322eaSEdgar E. Iglesias         tcg_gen_extu_i32_tl(t, t32);
915403322eaSEdgar E. Iglesias         tcg_temp_free_i32(t32);
916fcf5ef2aSThomas Huth 
917fcf5ef2aSThomas Huth         if (stackprot) {
9180a87e691SEdgar E. Iglesias             gen_helper_stackprot(cpu_env, t);
919fcf5ef2aSThomas Huth         }
9200dc4af5cSEdgar E. Iglesias         return;
921fcf5ef2aSThomas Huth     }
922fcf5ef2aSThomas Huth     /* Immediate.  */
923403322eaSEdgar E. Iglesias     t32 = tcg_temp_new_i32();
924d7ecb757SRichard Henderson     tcg_gen_addi_i32(t32, cpu_R[dc->ra], dec_alu_typeb_imm(dc));
925403322eaSEdgar E. Iglesias     tcg_gen_extu_i32_tl(t, t32);
926403322eaSEdgar E. Iglesias     tcg_temp_free_i32(t32);
927fcf5ef2aSThomas Huth 
928fcf5ef2aSThomas Huth     if (stackprot) {
9290a87e691SEdgar E. Iglesias         gen_helper_stackprot(cpu_env, t);
930fcf5ef2aSThomas Huth     }
9310dc4af5cSEdgar E. Iglesias     return;
932fcf5ef2aSThomas Huth }
933fcf5ef2aSThomas Huth 
934fcf5ef2aSThomas Huth static void dec_load(DisasContext *dc)
935fcf5ef2aSThomas Huth {
936403322eaSEdgar E. Iglesias     TCGv_i32 v;
937403322eaSEdgar E. Iglesias     TCGv addr;
9388534063aSEdgar E. Iglesias     unsigned int size;
939d248e1beSEdgar E. Iglesias     bool rev = false, ex = false, ea = false;
940d248e1beSEdgar E. Iglesias     int mem_index = cpu_mmu_index(&dc->cpu->env, false);
94114776ab5STony Nguyen     MemOp mop;
942fcf5ef2aSThomas Huth 
943fcf5ef2aSThomas Huth     mop = dc->opcode & 3;
944fcf5ef2aSThomas Huth     size = 1 << mop;
945fcf5ef2aSThomas Huth     if (!dc->type_b) {
946d248e1beSEdgar E. Iglesias         ea = extract32(dc->ir, 7, 1);
9478534063aSEdgar E. Iglesias         rev = extract32(dc->ir, 9, 1);
9488534063aSEdgar E. Iglesias         ex = extract32(dc->ir, 10, 1);
949fcf5ef2aSThomas Huth     }
950fcf5ef2aSThomas Huth     mop |= MO_TE;
951fcf5ef2aSThomas Huth     if (rev) {
952fcf5ef2aSThomas Huth         mop ^= MO_BSWAP;
953fcf5ef2aSThomas Huth     }
954fcf5ef2aSThomas Huth 
9559ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, size > 4)) {
956fcf5ef2aSThomas Huth         return;
957fcf5ef2aSThomas Huth     }
958fcf5ef2aSThomas Huth 
959d248e1beSEdgar E. Iglesias     if (trap_userspace(dc, ea)) {
960d248e1beSEdgar E. Iglesias         return;
961d248e1beSEdgar E. Iglesias     }
962d248e1beSEdgar E. Iglesias 
963fcf5ef2aSThomas Huth     t_sync_flags(dc);
964403322eaSEdgar E. Iglesias     addr = tcg_temp_new();
965d248e1beSEdgar E. Iglesias     compute_ldst_addr(dc, ea, addr);
966d248e1beSEdgar E. Iglesias     /* Extended addressing bypasses the MMU.  */
967d248e1beSEdgar E. Iglesias     mem_index = ea ? MMU_NOMMU_IDX : mem_index;
968fcf5ef2aSThomas Huth 
969fcf5ef2aSThomas Huth     /*
970fcf5ef2aSThomas Huth      * When doing reverse accesses we need to do two things.
971fcf5ef2aSThomas Huth      *
972fcf5ef2aSThomas Huth      * 1. Reverse the address wrt endianness.
973fcf5ef2aSThomas Huth      * 2. Byteswap the data lanes on the way back into the CPU core.
974fcf5ef2aSThomas Huth      */
975fcf5ef2aSThomas Huth     if (rev && size != 4) {
976fcf5ef2aSThomas Huth         /* Endian reverse the address. t is addr.  */
977fcf5ef2aSThomas Huth         switch (size) {
978fcf5ef2aSThomas Huth             case 1:
979fcf5ef2aSThomas Huth             {
980a6338015SEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 3);
981fcf5ef2aSThomas Huth                 break;
982fcf5ef2aSThomas Huth             }
983fcf5ef2aSThomas Huth 
984fcf5ef2aSThomas Huth             case 2:
985fcf5ef2aSThomas Huth                 /* 00 -> 10
986fcf5ef2aSThomas Huth                    10 -> 00.  */
987403322eaSEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 2);
988fcf5ef2aSThomas Huth                 break;
989fcf5ef2aSThomas Huth             default:
990fcf5ef2aSThomas Huth                 cpu_abort(CPU(dc->cpu), "Invalid reverse size\n");
991fcf5ef2aSThomas Huth                 break;
992fcf5ef2aSThomas Huth         }
993fcf5ef2aSThomas Huth     }
994fcf5ef2aSThomas Huth 
995fcf5ef2aSThomas Huth     /* lwx does not throw unaligned access errors, so force alignment */
996fcf5ef2aSThomas Huth     if (ex) {
997403322eaSEdgar E. Iglesias         tcg_gen_andi_tl(addr, addr, ~3);
998fcf5ef2aSThomas Huth     }
999fcf5ef2aSThomas Huth 
1000fcf5ef2aSThomas Huth     /* If we get a fault on a dslot, the jmpstate better be in sync.  */
1001fcf5ef2aSThomas Huth     sync_jmpstate(dc);
1002fcf5ef2aSThomas Huth 
1003fcf5ef2aSThomas Huth     /* Verify alignment if needed.  */
1004fcf5ef2aSThomas Huth     /*
1005fcf5ef2aSThomas Huth      * Microblaze gives MMU faults priority over faults due to
1006fcf5ef2aSThomas Huth      * unaligned addresses. That's why we speculatively do the load
1007fcf5ef2aSThomas Huth      * into v. If the load succeeds, we verify alignment of the
1008fcf5ef2aSThomas Huth      * address and if that succeeds we write into the destination reg.
1009fcf5ef2aSThomas Huth      */
1010cfeea807SEdgar E. Iglesias     v = tcg_temp_new_i32();
1011d248e1beSEdgar E. Iglesias     tcg_gen_qemu_ld_i32(v, addr, mem_index, mop);
1012fcf5ef2aSThomas Huth 
10131507e5f6SEdgar E. Iglesias     if (dc->cpu->cfg.unaligned_exceptions && size > 1) {
1014a6338015SEdgar E. Iglesias         TCGv_i32 t0 = tcg_const_i32(0);
1015a6338015SEdgar E. Iglesias         TCGv_i32 treg = tcg_const_i32(dc->rd);
1016a6338015SEdgar E. Iglesias         TCGv_i32 tsize = tcg_const_i32(size - 1);
1017a6338015SEdgar E. Iglesias 
1018d4705ae0SRichard Henderson         tcg_gen_movi_i32(cpu_pc, dc->base.pc_next);
1019a6338015SEdgar E. Iglesias         gen_helper_memalign(cpu_env, addr, treg, t0, tsize);
1020a6338015SEdgar E. Iglesias 
1021a6338015SEdgar E. Iglesias         tcg_temp_free_i32(t0);
1022a6338015SEdgar E. Iglesias         tcg_temp_free_i32(treg);
1023a6338015SEdgar E. Iglesias         tcg_temp_free_i32(tsize);
1024fcf5ef2aSThomas Huth     }
1025fcf5ef2aSThomas Huth 
1026fcf5ef2aSThomas Huth     if (ex) {
10279b158558SRichard Henderson         tcg_gen_mov_tl(cpu_res_addr, addr);
10289b158558SRichard Henderson         tcg_gen_mov_i32(cpu_res_val, v);
1029fcf5ef2aSThomas Huth     }
1030fcf5ef2aSThomas Huth     if (dc->rd) {
1031cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(cpu_R[dc->rd], v);
1032fcf5ef2aSThomas Huth     }
1033cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(v);
1034fcf5ef2aSThomas Huth 
1035fcf5ef2aSThomas Huth     if (ex) { /* lwx */
1036fcf5ef2aSThomas Huth         /* no support for AXI exclusive so always clear C */
10371074c0fbSRichard Henderson         tcg_gen_movi_i32(cpu_msr_c, 0);
1038fcf5ef2aSThomas Huth     }
1039fcf5ef2aSThomas Huth 
1040403322eaSEdgar E. Iglesias     tcg_temp_free(addr);
1041fcf5ef2aSThomas Huth }
1042fcf5ef2aSThomas Huth 
1043fcf5ef2aSThomas Huth static void dec_store(DisasContext *dc)
1044fcf5ef2aSThomas Huth {
1045403322eaSEdgar E. Iglesias     TCGv addr;
1046fcf5ef2aSThomas Huth     TCGLabel *swx_skip = NULL;
1047b51b3d43SEdgar E. Iglesias     unsigned int size;
1048d248e1beSEdgar E. Iglesias     bool rev = false, ex = false, ea = false;
1049d248e1beSEdgar E. Iglesias     int mem_index = cpu_mmu_index(&dc->cpu->env, false);
105014776ab5STony Nguyen     MemOp mop;
1051fcf5ef2aSThomas Huth 
1052fcf5ef2aSThomas Huth     mop = dc->opcode & 3;
1053fcf5ef2aSThomas Huth     size = 1 << mop;
1054fcf5ef2aSThomas Huth     if (!dc->type_b) {
1055d248e1beSEdgar E. Iglesias         ea = extract32(dc->ir, 7, 1);
1056b51b3d43SEdgar E. Iglesias         rev = extract32(dc->ir, 9, 1);
1057b51b3d43SEdgar E. Iglesias         ex = extract32(dc->ir, 10, 1);
1058fcf5ef2aSThomas Huth     }
1059fcf5ef2aSThomas Huth     mop |= MO_TE;
1060fcf5ef2aSThomas Huth     if (rev) {
1061fcf5ef2aSThomas Huth         mop ^= MO_BSWAP;
1062fcf5ef2aSThomas Huth     }
1063fcf5ef2aSThomas Huth 
10649ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, size > 4)) {
1065fcf5ef2aSThomas Huth         return;
1066fcf5ef2aSThomas Huth     }
1067fcf5ef2aSThomas Huth 
1068d248e1beSEdgar E. Iglesias     trap_userspace(dc, ea);
1069d248e1beSEdgar E. Iglesias 
1070fcf5ef2aSThomas Huth     t_sync_flags(dc);
1071fcf5ef2aSThomas Huth     /* If we get a fault on a dslot, the jmpstate better be in sync.  */
1072fcf5ef2aSThomas Huth     sync_jmpstate(dc);
10730dc4af5cSEdgar E. Iglesias     /* SWX needs a temp_local.  */
1074403322eaSEdgar E. Iglesias     addr = ex ? tcg_temp_local_new() : tcg_temp_new();
1075d248e1beSEdgar E. Iglesias     compute_ldst_addr(dc, ea, addr);
1076d248e1beSEdgar E. Iglesias     /* Extended addressing bypasses the MMU.  */
1077d248e1beSEdgar E. Iglesias     mem_index = ea ? MMU_NOMMU_IDX : mem_index;
1078fcf5ef2aSThomas Huth 
1079fcf5ef2aSThomas Huth     if (ex) { /* swx */
1080cfeea807SEdgar E. Iglesias         TCGv_i32 tval;
1081fcf5ef2aSThomas Huth 
1082fcf5ef2aSThomas Huth         /* swx does not throw unaligned access errors, so force alignment */
1083403322eaSEdgar E. Iglesias         tcg_gen_andi_tl(addr, addr, ~3);
1084fcf5ef2aSThomas Huth 
10851074c0fbSRichard Henderson         tcg_gen_movi_i32(cpu_msr_c, 1);
1086fcf5ef2aSThomas Huth         swx_skip = gen_new_label();
10879b158558SRichard Henderson         tcg_gen_brcond_tl(TCG_COND_NE, cpu_res_addr, addr, swx_skip);
1088fcf5ef2aSThomas Huth 
1089071cdc67SEdgar E. Iglesias         /*
1090071cdc67SEdgar E. Iglesias          * Compare the value loaded at lwx with current contents of
1091071cdc67SEdgar E. Iglesias          * the reserved location.
1092071cdc67SEdgar E. Iglesias          */
1093cfeea807SEdgar E. Iglesias         tval = tcg_temp_new_i32();
1094071cdc67SEdgar E. Iglesias 
10959b158558SRichard Henderson         tcg_gen_atomic_cmpxchg_i32(tval, addr, cpu_res_val,
1096071cdc67SEdgar E. Iglesias                                    cpu_R[dc->rd], mem_index,
1097071cdc67SEdgar E. Iglesias                                    mop);
1098071cdc67SEdgar E. Iglesias 
10999b158558SRichard Henderson         tcg_gen_brcond_i32(TCG_COND_NE, cpu_res_val, tval, swx_skip);
11001074c0fbSRichard Henderson         tcg_gen_movi_i32(cpu_msr_c, 0);
1101cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(tval);
1102fcf5ef2aSThomas Huth     }
1103fcf5ef2aSThomas Huth 
1104fcf5ef2aSThomas Huth     if (rev && size != 4) {
1105fcf5ef2aSThomas Huth         /* Endian reverse the address. t is addr.  */
1106fcf5ef2aSThomas Huth         switch (size) {
1107fcf5ef2aSThomas Huth             case 1:
1108fcf5ef2aSThomas Huth             {
1109a6338015SEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 3);
1110fcf5ef2aSThomas Huth                 break;
1111fcf5ef2aSThomas Huth             }
1112fcf5ef2aSThomas Huth 
1113fcf5ef2aSThomas Huth             case 2:
1114fcf5ef2aSThomas Huth                 /* 00 -> 10
1115fcf5ef2aSThomas Huth                    10 -> 00.  */
1116fcf5ef2aSThomas Huth                 /* Force addr into the temp.  */
1117403322eaSEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 2);
1118fcf5ef2aSThomas Huth                 break;
1119fcf5ef2aSThomas Huth             default:
1120fcf5ef2aSThomas Huth                 cpu_abort(CPU(dc->cpu), "Invalid reverse size\n");
1121fcf5ef2aSThomas Huth                 break;
1122fcf5ef2aSThomas Huth         }
1123fcf5ef2aSThomas Huth     }
1124071cdc67SEdgar E. Iglesias 
1125071cdc67SEdgar E. Iglesias     if (!ex) {
1126d248e1beSEdgar E. Iglesias         tcg_gen_qemu_st_i32(cpu_R[dc->rd], addr, mem_index, mop);
1127071cdc67SEdgar E. Iglesias     }
1128fcf5ef2aSThomas Huth 
1129fcf5ef2aSThomas Huth     /* Verify alignment if needed.  */
11301507e5f6SEdgar E. Iglesias     if (dc->cpu->cfg.unaligned_exceptions && size > 1) {
1131a6338015SEdgar E. Iglesias         TCGv_i32 t1 = tcg_const_i32(1);
1132a6338015SEdgar E. Iglesias         TCGv_i32 treg = tcg_const_i32(dc->rd);
1133a6338015SEdgar E. Iglesias         TCGv_i32 tsize = tcg_const_i32(size - 1);
1134a6338015SEdgar E. Iglesias 
1135d4705ae0SRichard Henderson         tcg_gen_movi_i32(cpu_pc, dc->base.pc_next);
1136fcf5ef2aSThomas Huth         /* FIXME: if the alignment is wrong, we should restore the value
1137fcf5ef2aSThomas Huth          *        in memory. One possible way to achieve this is to probe
1138fcf5ef2aSThomas Huth          *        the MMU prior to the memaccess, thay way we could put
1139fcf5ef2aSThomas Huth          *        the alignment checks in between the probe and the mem
1140fcf5ef2aSThomas Huth          *        access.
1141fcf5ef2aSThomas Huth          */
1142a6338015SEdgar E. Iglesias         gen_helper_memalign(cpu_env, addr, treg, t1, tsize);
1143a6338015SEdgar E. Iglesias 
1144a6338015SEdgar E. Iglesias         tcg_temp_free_i32(t1);
1145a6338015SEdgar E. Iglesias         tcg_temp_free_i32(treg);
1146a6338015SEdgar E. Iglesias         tcg_temp_free_i32(tsize);
1147fcf5ef2aSThomas Huth     }
1148fcf5ef2aSThomas Huth 
1149fcf5ef2aSThomas Huth     if (ex) {
1150fcf5ef2aSThomas Huth         gen_set_label(swx_skip);
1151fcf5ef2aSThomas Huth     }
1152fcf5ef2aSThomas Huth 
1153403322eaSEdgar E. Iglesias     tcg_temp_free(addr);
1154fcf5ef2aSThomas Huth }
1155fcf5ef2aSThomas Huth 
1156fcf5ef2aSThomas Huth static inline void eval_cc(DisasContext *dc, unsigned int cc,
11579e6e1828SEdgar E. Iglesias                            TCGv_i32 d, TCGv_i32 a)
1158fcf5ef2aSThomas Huth {
1159d89b86e9SEdgar E. Iglesias     static const int mb_to_tcg_cc[] = {
1160d89b86e9SEdgar E. Iglesias         [CC_EQ] = TCG_COND_EQ,
1161d89b86e9SEdgar E. Iglesias         [CC_NE] = TCG_COND_NE,
1162d89b86e9SEdgar E. Iglesias         [CC_LT] = TCG_COND_LT,
1163d89b86e9SEdgar E. Iglesias         [CC_LE] = TCG_COND_LE,
1164d89b86e9SEdgar E. Iglesias         [CC_GE] = TCG_COND_GE,
1165d89b86e9SEdgar E. Iglesias         [CC_GT] = TCG_COND_GT,
1166d89b86e9SEdgar E. Iglesias     };
1167d89b86e9SEdgar E. Iglesias 
1168fcf5ef2aSThomas Huth     switch (cc) {
1169fcf5ef2aSThomas Huth     case CC_EQ:
1170fcf5ef2aSThomas Huth     case CC_NE:
1171fcf5ef2aSThomas Huth     case CC_LT:
1172fcf5ef2aSThomas Huth     case CC_LE:
1173fcf5ef2aSThomas Huth     case CC_GE:
1174fcf5ef2aSThomas Huth     case CC_GT:
11759e6e1828SEdgar E. Iglesias         tcg_gen_setcondi_i32(mb_to_tcg_cc[cc], d, a, 0);
1176fcf5ef2aSThomas Huth         break;
1177fcf5ef2aSThomas Huth     default:
1178fcf5ef2aSThomas Huth         cpu_abort(CPU(dc->cpu), "Unknown condition code %x.\n", cc);
1179fcf5ef2aSThomas Huth         break;
1180fcf5ef2aSThomas Huth     }
1181fcf5ef2aSThomas Huth }
1182fcf5ef2aSThomas Huth 
11830f96e96bSRichard Henderson static void eval_cond_jmp(DisasContext *dc, TCGv_i32 pc_true, TCGv_i32 pc_false)
1184fcf5ef2aSThomas Huth {
11850f96e96bSRichard Henderson     TCGv_i32 zero = tcg_const_i32(0);
1186e956caf2SEdgar E. Iglesias 
11870f96e96bSRichard Henderson     tcg_gen_movcond_i32(TCG_COND_NE, cpu_pc,
11889b158558SRichard Henderson                         cpu_btaken, zero,
1189e956caf2SEdgar E. Iglesias                         pc_true, pc_false);
1190e956caf2SEdgar E. Iglesias 
11910f96e96bSRichard Henderson     tcg_temp_free_i32(zero);
1192fcf5ef2aSThomas Huth }
1193fcf5ef2aSThomas Huth 
1194f91c60f0SEdgar E. Iglesias static void dec_setup_dslot(DisasContext *dc)
1195f91c60f0SEdgar E. Iglesias {
1196f91c60f0SEdgar E. Iglesias         TCGv_i32 tmp = tcg_const_i32(dc->type_b && (dc->tb_flags & IMM_FLAG));
1197f91c60f0SEdgar E. Iglesias 
1198f91c60f0SEdgar E. Iglesias         dc->delayed_branch = 2;
1199f91c60f0SEdgar E. Iglesias         dc->tb_flags |= D_FLAG;
1200f91c60f0SEdgar E. Iglesias 
1201f91c60f0SEdgar E. Iglesias         tcg_gen_st_i32(tmp, cpu_env, offsetof(CPUMBState, bimm));
1202f91c60f0SEdgar E. Iglesias         tcg_temp_free_i32(tmp);
1203f91c60f0SEdgar E. Iglesias }
1204f91c60f0SEdgar E. Iglesias 
1205fcf5ef2aSThomas Huth static void dec_bcc(DisasContext *dc)
1206fcf5ef2aSThomas Huth {
1207fcf5ef2aSThomas Huth     unsigned int cc;
1208fcf5ef2aSThomas Huth     unsigned int dslot;
1209fcf5ef2aSThomas Huth 
1210fcf5ef2aSThomas Huth     cc = EXTRACT_FIELD(dc->ir, 21, 23);
1211fcf5ef2aSThomas Huth     dslot = dc->ir & (1 << 25);
1212fcf5ef2aSThomas Huth 
1213fcf5ef2aSThomas Huth     dc->delayed_branch = 1;
1214fcf5ef2aSThomas Huth     if (dslot) {
1215f91c60f0SEdgar E. Iglesias         dec_setup_dslot(dc);
1216fcf5ef2aSThomas Huth     }
1217fcf5ef2aSThomas Huth 
1218d7ecb757SRichard Henderson     if (dc->type_b) {
1219fcf5ef2aSThomas Huth         dc->jmp = JMP_DIRECT_CC;
1220d7ecb757SRichard Henderson         dc->jmp_pc = dc->base.pc_next + dec_alu_typeb_imm(dc);
1221d7ecb757SRichard Henderson         tcg_gen_movi_i32(cpu_btarget, dc->jmp_pc);
1222fcf5ef2aSThomas Huth     } else {
1223fcf5ef2aSThomas Huth         dc->jmp = JMP_INDIRECT;
1224d7ecb757SRichard Henderson         tcg_gen_addi_i32(cpu_btarget, cpu_R[dc->rb], dc->base.pc_next);
1225fcf5ef2aSThomas Huth     }
12269b158558SRichard Henderson     eval_cc(dc, cc, cpu_btaken, cpu_R[dc->ra]);
1227fcf5ef2aSThomas Huth }
1228fcf5ef2aSThomas Huth 
1229fcf5ef2aSThomas Huth static void dec_br(DisasContext *dc)
1230fcf5ef2aSThomas Huth {
1231fcf5ef2aSThomas Huth     unsigned int dslot, link, abs, mbar;
1232fcf5ef2aSThomas Huth 
1233fcf5ef2aSThomas Huth     dslot = dc->ir & (1 << 20);
1234fcf5ef2aSThomas Huth     abs = dc->ir & (1 << 19);
1235fcf5ef2aSThomas Huth     link = dc->ir & (1 << 18);
1236fcf5ef2aSThomas Huth 
1237fcf5ef2aSThomas Huth     /* Memory barrier.  */
1238fcf5ef2aSThomas Huth     mbar = (dc->ir >> 16) & 31;
1239fcf5ef2aSThomas Huth     if (mbar == 2 && dc->imm == 4) {
1240badcbf9dSEdgar E. Iglesias         uint16_t mbar_imm = dc->rd;
1241badcbf9dSEdgar E. Iglesias 
12423f172744SEdgar E. Iglesias         /* Data access memory barrier.  */
12433f172744SEdgar E. Iglesias         if ((mbar_imm & 2) == 0) {
12443f172744SEdgar E. Iglesias             tcg_gen_mb(TCG_BAR_SC | TCG_MO_ALL);
12453f172744SEdgar E. Iglesias         }
12463f172744SEdgar E. Iglesias 
1247fcf5ef2aSThomas Huth         /* mbar IMM & 16 decodes to sleep.  */
1248badcbf9dSEdgar E. Iglesias         if (mbar_imm & 16) {
124941ba37c4SRichard Henderson             TCGv_i32 tmp_1;
1250fcf5ef2aSThomas Huth 
1251b4919e7dSEdgar E. Iglesias             if (trap_userspace(dc, true)) {
1252b4919e7dSEdgar E. Iglesias                 /* Sleep is a privileged instruction.  */
1253b4919e7dSEdgar E. Iglesias                 return;
1254b4919e7dSEdgar E. Iglesias             }
1255b4919e7dSEdgar E. Iglesias 
1256fcf5ef2aSThomas Huth             t_sync_flags(dc);
125741ba37c4SRichard Henderson 
125841ba37c4SRichard Henderson             tmp_1 = tcg_const_i32(1);
1259fcf5ef2aSThomas Huth             tcg_gen_st_i32(tmp_1, cpu_env,
1260fcf5ef2aSThomas Huth                            -offsetof(MicroBlazeCPU, env)
1261fcf5ef2aSThomas Huth                            +offsetof(CPUState, halted));
1262fcf5ef2aSThomas Huth             tcg_temp_free_i32(tmp_1);
126341ba37c4SRichard Henderson 
1264d4705ae0SRichard Henderson             tcg_gen_movi_i32(cpu_pc, dc->base.pc_next + 4);
126541ba37c4SRichard Henderson 
126641ba37c4SRichard Henderson             gen_raise_exception(dc, EXCP_HLT);
1267fcf5ef2aSThomas Huth             return;
1268fcf5ef2aSThomas Huth         }
1269fcf5ef2aSThomas Huth         /* Break the TB.  */
1270fcf5ef2aSThomas Huth         dc->cpustate_changed = 1;
1271fcf5ef2aSThomas Huth         return;
1272fcf5ef2aSThomas Huth     }
1273fcf5ef2aSThomas Huth 
1274d7ecb757SRichard Henderson     if (abs && link && !dslot) {
1275d7ecb757SRichard Henderson         if (dc->type_b) {
1276d7ecb757SRichard Henderson             /* BRKI */
1277d7ecb757SRichard Henderson             uint32_t imm = dec_alu_typeb_imm(dc);
1278d7ecb757SRichard Henderson             if (trap_userspace(dc, imm != 8 && imm != 0x18)) {
1279d7ecb757SRichard Henderson                 return;
1280d7ecb757SRichard Henderson             }
1281d7ecb757SRichard Henderson         } else {
1282d7ecb757SRichard Henderson             /* BRK */
1283d7ecb757SRichard Henderson             if (trap_userspace(dc, true)) {
1284d7ecb757SRichard Henderson                 return;
1285d7ecb757SRichard Henderson             }
1286d7ecb757SRichard Henderson         }
1287d7ecb757SRichard Henderson     }
1288d7ecb757SRichard Henderson 
1289fcf5ef2aSThomas Huth     dc->delayed_branch = 1;
1290fcf5ef2aSThomas Huth     if (dslot) {
1291f91c60f0SEdgar E. Iglesias         dec_setup_dslot(dc);
1292fcf5ef2aSThomas Huth     }
1293d7ecb757SRichard Henderson     if (link && dc->rd) {
1294d4705ae0SRichard Henderson         tcg_gen_movi_i32(cpu_R[dc->rd], dc->base.pc_next);
1295d7ecb757SRichard Henderson     }
1296fcf5ef2aSThomas Huth 
1297fcf5ef2aSThomas Huth     if (abs) {
1298d7ecb757SRichard Henderson         if (dc->type_b) {
1299d7ecb757SRichard Henderson             uint32_t dest = dec_alu_typeb_imm(dc);
1300d7ecb757SRichard Henderson 
1301d7ecb757SRichard Henderson             dc->jmp = JMP_DIRECT;
1302d7ecb757SRichard Henderson             dc->jmp_pc = dest;
1303d7ecb757SRichard Henderson             tcg_gen_movi_i32(cpu_btarget, dest);
1304fcf5ef2aSThomas Huth             if (link && !dslot) {
1305d7ecb757SRichard Henderson                 switch (dest) {
1306d7ecb757SRichard Henderson                 case 8:
1307d7ecb757SRichard Henderson                 case 0x18:
1308d7ecb757SRichard Henderson                     gen_raise_exception_sync(dc, EXCP_BREAK);
1309d7ecb757SRichard Henderson                     break;
1310d7ecb757SRichard Henderson                 case 0:
1311d7ecb757SRichard Henderson                     gen_raise_exception_sync(dc, EXCP_DEBUG);
1312d7ecb757SRichard Henderson                     break;
1313d7ecb757SRichard Henderson                 }
1314d7ecb757SRichard Henderson             }
1315d7ecb757SRichard Henderson         } else {
1316d7ecb757SRichard Henderson             dc->jmp = JMP_INDIRECT;
1317d7ecb757SRichard Henderson             tcg_gen_mov_i32(cpu_btarget, cpu_R[dc->rb]);
1318d7ecb757SRichard Henderson             if (link && !dslot) {
131941ba37c4SRichard Henderson                 gen_raise_exception_sync(dc, EXCP_BREAK);
132041ba37c4SRichard Henderson             }
1321fcf5ef2aSThomas Huth         }
1322d7ecb757SRichard Henderson     } else if (dc->type_b) {
1323fcf5ef2aSThomas Huth         dc->jmp = JMP_DIRECT;
1324d7ecb757SRichard Henderson         dc->jmp_pc = dc->base.pc_next + dec_alu_typeb_imm(dc);
1325d7ecb757SRichard Henderson         tcg_gen_movi_i32(cpu_btarget, dc->jmp_pc);
1326fcf5ef2aSThomas Huth     } else {
1327d7ecb757SRichard Henderson         dc->jmp = JMP_INDIRECT;
1328d7ecb757SRichard Henderson         tcg_gen_addi_i32(cpu_btarget, cpu_R[dc->rb], dc->base.pc_next);
1329d7ecb757SRichard Henderson     }
13309b158558SRichard Henderson     tcg_gen_movi_i32(cpu_btaken, 1);
1331fcf5ef2aSThomas Huth }
1332fcf5ef2aSThomas Huth 
1333fcf5ef2aSThomas Huth static inline void do_rti(DisasContext *dc)
1334fcf5ef2aSThomas Huth {
1335cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
1336cfeea807SEdgar E. Iglesias     t0 = tcg_temp_new_i32();
1337cfeea807SEdgar E. Iglesias     t1 = tcg_temp_new_i32();
13383e0e16aeSRichard Henderson     tcg_gen_mov_i32(t1, cpu_msr);
13390a22f8cfSEdgar E. Iglesias     tcg_gen_shri_i32(t0, t1, 1);
13400a22f8cfSEdgar E. Iglesias     tcg_gen_ori_i32(t1, t1, MSR_IE);
1341cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM));
1342fcf5ef2aSThomas Huth 
1343cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM));
1344cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(t1, t1, t0);
1345fcf5ef2aSThomas Huth     msr_write(dc, t1);
1346cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t1);
1347cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
1348fcf5ef2aSThomas Huth     dc->tb_flags &= ~DRTI_FLAG;
1349fcf5ef2aSThomas Huth }
1350fcf5ef2aSThomas Huth 
1351fcf5ef2aSThomas Huth static inline void do_rtb(DisasContext *dc)
1352fcf5ef2aSThomas Huth {
1353cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
1354cfeea807SEdgar E. Iglesias     t0 = tcg_temp_new_i32();
1355cfeea807SEdgar E. Iglesias     t1 = tcg_temp_new_i32();
13563e0e16aeSRichard Henderson     tcg_gen_mov_i32(t1, cpu_msr);
13570a22f8cfSEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~MSR_BIP);
1358cfeea807SEdgar E. Iglesias     tcg_gen_shri_i32(t0, t1, 1);
1359cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM));
1360fcf5ef2aSThomas Huth 
1361cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM));
1362cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(t1, t1, t0);
1363fcf5ef2aSThomas Huth     msr_write(dc, t1);
1364cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t1);
1365cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
1366fcf5ef2aSThomas Huth     dc->tb_flags &= ~DRTB_FLAG;
1367fcf5ef2aSThomas Huth }
1368fcf5ef2aSThomas Huth 
1369fcf5ef2aSThomas Huth static inline void do_rte(DisasContext *dc)
1370fcf5ef2aSThomas Huth {
1371cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
1372cfeea807SEdgar E. Iglesias     t0 = tcg_temp_new_i32();
1373cfeea807SEdgar E. Iglesias     t1 = tcg_temp_new_i32();
1374fcf5ef2aSThomas Huth 
13753e0e16aeSRichard Henderson     tcg_gen_mov_i32(t1, cpu_msr);
13760a22f8cfSEdgar E. Iglesias     tcg_gen_ori_i32(t1, t1, MSR_EE);
1377cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~MSR_EIP);
1378cfeea807SEdgar E. Iglesias     tcg_gen_shri_i32(t0, t1, 1);
1379cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM));
1380fcf5ef2aSThomas Huth 
1381cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM));
1382cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(t1, t1, t0);
1383fcf5ef2aSThomas Huth     msr_write(dc, t1);
1384cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t1);
1385cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
1386fcf5ef2aSThomas Huth     dc->tb_flags &= ~DRTE_FLAG;
1387fcf5ef2aSThomas Huth }
1388fcf5ef2aSThomas Huth 
1389fcf5ef2aSThomas Huth static void dec_rts(DisasContext *dc)
1390fcf5ef2aSThomas Huth {
1391fcf5ef2aSThomas Huth     unsigned int b_bit, i_bit, e_bit;
1392fcf5ef2aSThomas Huth 
1393fcf5ef2aSThomas Huth     i_bit = dc->ir & (1 << 21);
1394fcf5ef2aSThomas Huth     b_bit = dc->ir & (1 << 22);
1395fcf5ef2aSThomas Huth     e_bit = dc->ir & (1 << 23);
1396fcf5ef2aSThomas Huth 
1397bdfc1e88SEdgar E. Iglesias     if (trap_userspace(dc, i_bit || b_bit || e_bit)) {
1398bdfc1e88SEdgar E. Iglesias         return;
1399bdfc1e88SEdgar E. Iglesias     }
1400bdfc1e88SEdgar E. Iglesias 
1401f91c60f0SEdgar E. Iglesias     dec_setup_dslot(dc);
1402fcf5ef2aSThomas Huth 
1403fcf5ef2aSThomas Huth     if (i_bit) {
1404fcf5ef2aSThomas Huth         dc->tb_flags |= DRTI_FLAG;
1405fcf5ef2aSThomas Huth     } else if (b_bit) {
1406fcf5ef2aSThomas Huth         dc->tb_flags |= DRTB_FLAG;
1407fcf5ef2aSThomas Huth     } else if (e_bit) {
1408fcf5ef2aSThomas Huth         dc->tb_flags |= DRTE_FLAG;
140911105d67SRichard Henderson     }
1410fcf5ef2aSThomas Huth 
1411fcf5ef2aSThomas Huth     dc->jmp = JMP_INDIRECT;
14129b158558SRichard Henderson     tcg_gen_movi_i32(cpu_btaken, 1);
14130f96e96bSRichard Henderson     tcg_gen_add_i32(cpu_btarget, cpu_R[dc->ra], *dec_alu_op_b(dc));
1414fcf5ef2aSThomas Huth }
1415fcf5ef2aSThomas Huth 
1416fcf5ef2aSThomas Huth static int dec_check_fpuv2(DisasContext *dc)
1417fcf5ef2aSThomas Huth {
1418fcf5ef2aSThomas Huth     if ((dc->cpu->cfg.use_fpu != 2) && (dc->tb_flags & MSR_EE_FLAG)) {
141941ba37c4SRichard Henderson         gen_raise_hw_excp(dc, ESR_EC_FPU);
1420fcf5ef2aSThomas Huth     }
14212016a6a7SJoe Komlodi     return (dc->cpu->cfg.use_fpu == 2) ? PVR2_USE_FPU2_MASK : 0;
1422fcf5ef2aSThomas Huth }
1423fcf5ef2aSThomas Huth 
1424fcf5ef2aSThomas Huth static void dec_fpu(DisasContext *dc)
1425fcf5ef2aSThomas Huth {
1426fcf5ef2aSThomas Huth     unsigned int fpu_insn;
1427fcf5ef2aSThomas Huth 
14289ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_fpu)) {
1429fcf5ef2aSThomas Huth         return;
1430fcf5ef2aSThomas Huth     }
1431fcf5ef2aSThomas Huth 
1432fcf5ef2aSThomas Huth     fpu_insn = (dc->ir >> 7) & 7;
1433fcf5ef2aSThomas Huth 
1434fcf5ef2aSThomas Huth     switch (fpu_insn) {
1435fcf5ef2aSThomas Huth         case 0:
1436fcf5ef2aSThomas Huth             gen_helper_fadd(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
1437fcf5ef2aSThomas Huth                             cpu_R[dc->rb]);
1438fcf5ef2aSThomas Huth             break;
1439fcf5ef2aSThomas Huth 
1440fcf5ef2aSThomas Huth         case 1:
1441fcf5ef2aSThomas Huth             gen_helper_frsub(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
1442fcf5ef2aSThomas Huth                              cpu_R[dc->rb]);
1443fcf5ef2aSThomas Huth             break;
1444fcf5ef2aSThomas Huth 
1445fcf5ef2aSThomas Huth         case 2:
1446fcf5ef2aSThomas Huth             gen_helper_fmul(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
1447fcf5ef2aSThomas Huth                             cpu_R[dc->rb]);
1448fcf5ef2aSThomas Huth             break;
1449fcf5ef2aSThomas Huth 
1450fcf5ef2aSThomas Huth         case 3:
1451fcf5ef2aSThomas Huth             gen_helper_fdiv(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
1452fcf5ef2aSThomas Huth                             cpu_R[dc->rb]);
1453fcf5ef2aSThomas Huth             break;
1454fcf5ef2aSThomas Huth 
1455fcf5ef2aSThomas Huth         case 4:
1456fcf5ef2aSThomas Huth             switch ((dc->ir >> 4) & 7) {
1457fcf5ef2aSThomas Huth                 case 0:
1458fcf5ef2aSThomas Huth                     gen_helper_fcmp_un(cpu_R[dc->rd], cpu_env,
1459fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1460fcf5ef2aSThomas Huth                     break;
1461fcf5ef2aSThomas Huth                 case 1:
1462fcf5ef2aSThomas Huth                     gen_helper_fcmp_lt(cpu_R[dc->rd], cpu_env,
1463fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1464fcf5ef2aSThomas Huth                     break;
1465fcf5ef2aSThomas Huth                 case 2:
1466fcf5ef2aSThomas Huth                     gen_helper_fcmp_eq(cpu_R[dc->rd], cpu_env,
1467fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1468fcf5ef2aSThomas Huth                     break;
1469fcf5ef2aSThomas Huth                 case 3:
1470fcf5ef2aSThomas Huth                     gen_helper_fcmp_le(cpu_R[dc->rd], cpu_env,
1471fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1472fcf5ef2aSThomas Huth                     break;
1473fcf5ef2aSThomas Huth                 case 4:
1474fcf5ef2aSThomas Huth                     gen_helper_fcmp_gt(cpu_R[dc->rd], cpu_env,
1475fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1476fcf5ef2aSThomas Huth                     break;
1477fcf5ef2aSThomas Huth                 case 5:
1478fcf5ef2aSThomas Huth                     gen_helper_fcmp_ne(cpu_R[dc->rd], cpu_env,
1479fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1480fcf5ef2aSThomas Huth                     break;
1481fcf5ef2aSThomas Huth                 case 6:
1482fcf5ef2aSThomas Huth                     gen_helper_fcmp_ge(cpu_R[dc->rd], cpu_env,
1483fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1484fcf5ef2aSThomas Huth                     break;
1485fcf5ef2aSThomas Huth                 default:
1486fcf5ef2aSThomas Huth                     qemu_log_mask(LOG_UNIMP,
1487fcf5ef2aSThomas Huth                                   "unimplemented fcmp fpu_insn=%x pc=%x"
1488fcf5ef2aSThomas Huth                                   " opc=%x\n",
1489d4705ae0SRichard Henderson                                   fpu_insn, (uint32_t)dc->base.pc_next,
1490d4705ae0SRichard Henderson                                   dc->opcode);
1491fcf5ef2aSThomas Huth                     dc->abort_at_next_insn = 1;
1492fcf5ef2aSThomas Huth                     break;
1493fcf5ef2aSThomas Huth             }
1494fcf5ef2aSThomas Huth             break;
1495fcf5ef2aSThomas Huth 
1496fcf5ef2aSThomas Huth         case 5:
1497fcf5ef2aSThomas Huth             if (!dec_check_fpuv2(dc)) {
1498fcf5ef2aSThomas Huth                 return;
1499fcf5ef2aSThomas Huth             }
1500fcf5ef2aSThomas Huth             gen_helper_flt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]);
1501fcf5ef2aSThomas Huth             break;
1502fcf5ef2aSThomas Huth 
1503fcf5ef2aSThomas Huth         case 6:
1504fcf5ef2aSThomas Huth             if (!dec_check_fpuv2(dc)) {
1505fcf5ef2aSThomas Huth                 return;
1506fcf5ef2aSThomas Huth             }
1507fcf5ef2aSThomas Huth             gen_helper_fint(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]);
1508fcf5ef2aSThomas Huth             break;
1509fcf5ef2aSThomas Huth 
1510fcf5ef2aSThomas Huth         case 7:
1511fcf5ef2aSThomas Huth             if (!dec_check_fpuv2(dc)) {
1512fcf5ef2aSThomas Huth                 return;
1513fcf5ef2aSThomas Huth             }
1514fcf5ef2aSThomas Huth             gen_helper_fsqrt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]);
1515fcf5ef2aSThomas Huth             break;
1516fcf5ef2aSThomas Huth 
1517fcf5ef2aSThomas Huth         default:
1518fcf5ef2aSThomas Huth             qemu_log_mask(LOG_UNIMP, "unimplemented FPU insn fpu_insn=%x pc=%x"
1519fcf5ef2aSThomas Huth                           " opc=%x\n",
1520d4705ae0SRichard Henderson                           fpu_insn, (uint32_t)dc->base.pc_next, dc->opcode);
1521fcf5ef2aSThomas Huth             dc->abort_at_next_insn = 1;
1522fcf5ef2aSThomas Huth             break;
1523fcf5ef2aSThomas Huth     }
1524fcf5ef2aSThomas Huth }
1525fcf5ef2aSThomas Huth 
1526fcf5ef2aSThomas Huth static void dec_null(DisasContext *dc)
1527fcf5ef2aSThomas Huth {
15289ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, true)) {
1529fcf5ef2aSThomas Huth         return;
1530fcf5ef2aSThomas Huth     }
1531d4705ae0SRichard Henderson     qemu_log_mask(LOG_GUEST_ERROR, "unknown insn pc=%x opc=%x\n",
1532d4705ae0SRichard Henderson                   (uint32_t)dc->base.pc_next, dc->opcode);
1533fcf5ef2aSThomas Huth     dc->abort_at_next_insn = 1;
1534fcf5ef2aSThomas Huth }
1535fcf5ef2aSThomas Huth 
1536fcf5ef2aSThomas Huth /* Insns connected to FSL or AXI stream attached devices.  */
1537fcf5ef2aSThomas Huth static void dec_stream(DisasContext *dc)
1538fcf5ef2aSThomas Huth {
1539fcf5ef2aSThomas Huth     TCGv_i32 t_id, t_ctrl;
1540fcf5ef2aSThomas Huth     int ctrl;
1541fcf5ef2aSThomas Huth 
1542bdfc1e88SEdgar E. Iglesias     if (trap_userspace(dc, true)) {
1543fcf5ef2aSThomas Huth         return;
1544fcf5ef2aSThomas Huth     }
1545fcf5ef2aSThomas Huth 
1546cfeea807SEdgar E. Iglesias     t_id = tcg_temp_new_i32();
1547fcf5ef2aSThomas Huth     if (dc->type_b) {
1548cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(t_id, dc->imm & 0xf);
1549fcf5ef2aSThomas Huth         ctrl = dc->imm >> 10;
1550fcf5ef2aSThomas Huth     } else {
1551cfeea807SEdgar E. Iglesias         tcg_gen_andi_i32(t_id, cpu_R[dc->rb], 0xf);
1552fcf5ef2aSThomas Huth         ctrl = dc->imm >> 5;
1553fcf5ef2aSThomas Huth     }
1554fcf5ef2aSThomas Huth 
1555cfeea807SEdgar E. Iglesias     t_ctrl = tcg_const_i32(ctrl);
1556fcf5ef2aSThomas Huth 
1557fcf5ef2aSThomas Huth     if (dc->rd == 0) {
1558fcf5ef2aSThomas Huth         gen_helper_put(t_id, t_ctrl, cpu_R[dc->ra]);
1559fcf5ef2aSThomas Huth     } else {
1560fcf5ef2aSThomas Huth         gen_helper_get(cpu_R[dc->rd], t_id, t_ctrl);
1561fcf5ef2aSThomas Huth     }
1562cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t_id);
1563cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t_ctrl);
1564fcf5ef2aSThomas Huth }
1565fcf5ef2aSThomas Huth 
1566fcf5ef2aSThomas Huth static struct decoder_info {
1567fcf5ef2aSThomas Huth     struct {
1568fcf5ef2aSThomas Huth         uint32_t bits;
1569fcf5ef2aSThomas Huth         uint32_t mask;
1570fcf5ef2aSThomas Huth     };
1571fcf5ef2aSThomas Huth     void (*dec)(DisasContext *dc);
1572fcf5ef2aSThomas Huth } decinfo[] = {
1573fcf5ef2aSThomas Huth     {DEC_BIT, dec_bit},
1574fcf5ef2aSThomas Huth     {DEC_BARREL, dec_barrel},
1575fcf5ef2aSThomas Huth     {DEC_LD, dec_load},
1576fcf5ef2aSThomas Huth     {DEC_ST, dec_store},
1577fcf5ef2aSThomas Huth     {DEC_IMM, dec_imm},
1578fcf5ef2aSThomas Huth     {DEC_BR, dec_br},
1579fcf5ef2aSThomas Huth     {DEC_BCC, dec_bcc},
1580fcf5ef2aSThomas Huth     {DEC_RTS, dec_rts},
1581fcf5ef2aSThomas Huth     {DEC_FPU, dec_fpu},
1582fcf5ef2aSThomas Huth     {DEC_MUL, dec_mul},
1583fcf5ef2aSThomas Huth     {DEC_DIV, dec_div},
1584fcf5ef2aSThomas Huth     {DEC_MSR, dec_msr},
1585fcf5ef2aSThomas Huth     {DEC_STREAM, dec_stream},
1586fcf5ef2aSThomas Huth     {{0, 0}, dec_null}
1587fcf5ef2aSThomas Huth };
1588fcf5ef2aSThomas Huth 
158944d1432bSRichard Henderson static void old_decode(DisasContext *dc, uint32_t ir)
1590fcf5ef2aSThomas Huth {
1591fcf5ef2aSThomas Huth     int i;
1592fcf5ef2aSThomas Huth 
1593fcf5ef2aSThomas Huth     dc->ir = ir;
1594fcf5ef2aSThomas Huth 
1595fcf5ef2aSThomas Huth     /* bit 2 seems to indicate insn type.  */
1596fcf5ef2aSThomas Huth     dc->type_b = ir & (1 << 29);
1597fcf5ef2aSThomas Huth 
1598fcf5ef2aSThomas Huth     dc->opcode = EXTRACT_FIELD(ir, 26, 31);
1599fcf5ef2aSThomas Huth     dc->rd = EXTRACT_FIELD(ir, 21, 25);
1600fcf5ef2aSThomas Huth     dc->ra = EXTRACT_FIELD(ir, 16, 20);
1601fcf5ef2aSThomas Huth     dc->rb = EXTRACT_FIELD(ir, 11, 15);
1602fcf5ef2aSThomas Huth     dc->imm = EXTRACT_FIELD(ir, 0, 15);
1603fcf5ef2aSThomas Huth 
1604fcf5ef2aSThomas Huth     /* Large switch for all insns.  */
1605fcf5ef2aSThomas Huth     for (i = 0; i < ARRAY_SIZE(decinfo); i++) {
1606fcf5ef2aSThomas Huth         if ((dc->opcode & decinfo[i].mask) == decinfo[i].bits) {
1607fcf5ef2aSThomas Huth             decinfo[i].dec(dc);
1608fcf5ef2aSThomas Huth             break;
1609fcf5ef2aSThomas Huth         }
1610fcf5ef2aSThomas Huth     }
1611fcf5ef2aSThomas Huth }
1612fcf5ef2aSThomas Huth 
1613372122e3SRichard Henderson static void mb_tr_init_disas_context(DisasContextBase *dcb, CPUState *cs)
1614fcf5ef2aSThomas Huth {
1615372122e3SRichard Henderson     DisasContext *dc = container_of(dcb, DisasContext, base);
1616372122e3SRichard Henderson     MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs);
1617372122e3SRichard Henderson     int bound;
1618fcf5ef2aSThomas Huth 
1619fcf5ef2aSThomas Huth     dc->cpu = cpu;
1620372122e3SRichard Henderson     dc->synced_flags = dc->tb_flags = dc->base.tb->flags;
1621fcf5ef2aSThomas Huth     dc->delayed_branch = !!(dc->tb_flags & D_FLAG);
1622372122e3SRichard Henderson     dc->jmp = dc->delayed_branch ? JMP_INDIRECT : JMP_NOJMP;
1623fcf5ef2aSThomas Huth     dc->cpustate_changed = 0;
1624fcf5ef2aSThomas Huth     dc->abort_at_next_insn = 0;
1625d7ecb757SRichard Henderson     dc->ext_imm = dc->base.tb->cs_base;
162620800179SRichard Henderson     dc->r0 = NULL;
162720800179SRichard Henderson     dc->r0_set = false;
1628fcf5ef2aSThomas Huth 
1629372122e3SRichard Henderson     bound = -(dc->base.pc_first | TARGET_PAGE_MASK) / 4;
1630372122e3SRichard Henderson     dc->base.max_insns = MIN(dc->base.max_insns, bound);
1631fcf5ef2aSThomas Huth }
1632fcf5ef2aSThomas Huth 
1633372122e3SRichard Henderson static void mb_tr_tb_start(DisasContextBase *dcb, CPUState *cs)
1634fcf5ef2aSThomas Huth {
1635fcf5ef2aSThomas Huth }
1636fcf5ef2aSThomas Huth 
1637372122e3SRichard Henderson static void mb_tr_insn_start(DisasContextBase *dcb, CPUState *cs)
1638372122e3SRichard Henderson {
1639372122e3SRichard Henderson     tcg_gen_insn_start(dcb->pc_next);
1640372122e3SRichard Henderson }
1641fcf5ef2aSThomas Huth 
1642372122e3SRichard Henderson static bool mb_tr_breakpoint_check(DisasContextBase *dcb, CPUState *cs,
1643372122e3SRichard Henderson                                    const CPUBreakpoint *bp)
1644372122e3SRichard Henderson {
1645372122e3SRichard Henderson     DisasContext *dc = container_of(dcb, DisasContext, base);
1646372122e3SRichard Henderson 
1647372122e3SRichard Henderson     gen_raise_exception_sync(dc, EXCP_DEBUG);
1648372122e3SRichard Henderson 
1649372122e3SRichard Henderson     /*
1650372122e3SRichard Henderson      * The address covered by the breakpoint must be included in
1651372122e3SRichard Henderson      * [tb->pc, tb->pc + tb->size) in order to for it to be
1652372122e3SRichard Henderson      * properly cleared -- thus we increment the PC here so that
1653372122e3SRichard Henderson      * the logic setting tb->size below does the right thing.
1654372122e3SRichard Henderson      */
1655372122e3SRichard Henderson     dc->base.pc_next += 4;
1656372122e3SRichard Henderson     return true;
1657372122e3SRichard Henderson }
1658372122e3SRichard Henderson 
1659372122e3SRichard Henderson static void mb_tr_translate_insn(DisasContextBase *dcb, CPUState *cs)
1660372122e3SRichard Henderson {
1661372122e3SRichard Henderson     DisasContext *dc = container_of(dcb, DisasContext, base);
1662372122e3SRichard Henderson     CPUMBState *env = cs->env_ptr;
166344d1432bSRichard Henderson     uint32_t ir;
1664372122e3SRichard Henderson 
1665372122e3SRichard Henderson     /* TODO: This should raise an exception, not terminate qemu. */
1666372122e3SRichard Henderson     if (dc->base.pc_next & 3) {
1667372122e3SRichard Henderson         cpu_abort(cs, "Microblaze: unaligned PC=%x\n",
1668372122e3SRichard Henderson                   (uint32_t)dc->base.pc_next);
1669fcf5ef2aSThomas Huth     }
1670fcf5ef2aSThomas Huth 
1671fcf5ef2aSThomas Huth     dc->clear_imm = 1;
167244d1432bSRichard Henderson     ir = cpu_ldl_code(env, dc->base.pc_next);
167344d1432bSRichard Henderson     if (!decode(dc, ir)) {
167444d1432bSRichard Henderson         old_decode(dc, ir);
167544d1432bSRichard Henderson     }
167620800179SRichard Henderson 
167720800179SRichard Henderson     if (dc->r0) {
167820800179SRichard Henderson         tcg_temp_free_i32(dc->r0);
167920800179SRichard Henderson         dc->r0 = NULL;
168020800179SRichard Henderson         dc->r0_set = false;
168120800179SRichard Henderson     }
168220800179SRichard Henderson 
1683d7ecb757SRichard Henderson     if (dc->clear_imm && (dc->tb_flags & IMM_FLAG)) {
1684fcf5ef2aSThomas Huth         dc->tb_flags &= ~IMM_FLAG;
1685d7ecb757SRichard Henderson         tcg_gen_discard_i32(cpu_imm);
1686372122e3SRichard Henderson     }
1687d4705ae0SRichard Henderson     dc->base.pc_next += 4;
1688fcf5ef2aSThomas Huth 
1689372122e3SRichard Henderson     if (dc->delayed_branch && --dc->delayed_branch == 0) {
1690372122e3SRichard Henderson         if (dc->tb_flags & DRTI_FLAG) {
1691fcf5ef2aSThomas Huth             do_rti(dc);
1692372122e3SRichard Henderson         }
1693372122e3SRichard Henderson         if (dc->tb_flags & DRTB_FLAG) {
1694fcf5ef2aSThomas Huth             do_rtb(dc);
1695372122e3SRichard Henderson         }
1696372122e3SRichard Henderson         if (dc->tb_flags & DRTE_FLAG) {
1697fcf5ef2aSThomas Huth             do_rte(dc);
1698372122e3SRichard Henderson         }
1699fcf5ef2aSThomas Huth         /* Clear the delay slot flag.  */
1700fcf5ef2aSThomas Huth         dc->tb_flags &= ~D_FLAG;
1701372122e3SRichard Henderson         dc->base.is_jmp = DISAS_JUMP;
1702372122e3SRichard Henderson     }
1703372122e3SRichard Henderson 
1704372122e3SRichard Henderson     /* Force an exit if the per-tb cpu state has changed.  */
1705372122e3SRichard Henderson     if (dc->base.is_jmp == DISAS_NEXT && dc->cpustate_changed) {
1706372122e3SRichard Henderson         dc->base.is_jmp = DISAS_UPDATE;
1707372122e3SRichard Henderson         tcg_gen_movi_i32(cpu_pc, dc->base.pc_next);
1708372122e3SRichard Henderson     }
1709372122e3SRichard Henderson }
1710372122e3SRichard Henderson 
1711372122e3SRichard Henderson static void mb_tr_tb_stop(DisasContextBase *dcb, CPUState *cs)
1712372122e3SRichard Henderson {
1713372122e3SRichard Henderson     DisasContext *dc = container_of(dcb, DisasContext, base);
1714372122e3SRichard Henderson 
1715372122e3SRichard Henderson     assert(!dc->abort_at_next_insn);
1716372122e3SRichard Henderson 
1717372122e3SRichard Henderson     if (dc->base.is_jmp == DISAS_NORETURN) {
1718372122e3SRichard Henderson         /* We have already exited the TB. */
1719372122e3SRichard Henderson         return;
1720372122e3SRichard Henderson     }
1721372122e3SRichard Henderson 
1722372122e3SRichard Henderson     t_sync_flags(dc);
1723372122e3SRichard Henderson     if (dc->tb_flags & D_FLAG) {
1724372122e3SRichard Henderson         sync_jmpstate(dc);
1725372122e3SRichard Henderson         dc->jmp = JMP_NOJMP;
1726372122e3SRichard Henderson     }
1727372122e3SRichard Henderson 
1728372122e3SRichard Henderson     switch (dc->base.is_jmp) {
1729372122e3SRichard Henderson     case DISAS_TOO_MANY:
1730372122e3SRichard Henderson         assert(dc->jmp == JMP_NOJMP);
1731372122e3SRichard Henderson         gen_goto_tb(dc, 0, dc->base.pc_next);
1732372122e3SRichard Henderson         return;
1733372122e3SRichard Henderson 
1734372122e3SRichard Henderson     case DISAS_UPDATE:
1735372122e3SRichard Henderson         assert(dc->jmp == JMP_NOJMP);
1736372122e3SRichard Henderson         if (unlikely(cs->singlestep_enabled)) {
1737372122e3SRichard Henderson             gen_raise_exception(dc, EXCP_DEBUG);
1738372122e3SRichard Henderson         } else {
1739372122e3SRichard Henderson             tcg_gen_exit_tb(NULL, 0);
1740372122e3SRichard Henderson         }
1741372122e3SRichard Henderson         return;
1742372122e3SRichard Henderson 
1743372122e3SRichard Henderson     case DISAS_JUMP:
1744372122e3SRichard Henderson         switch (dc->jmp) {
1745372122e3SRichard Henderson         case JMP_INDIRECT:
1746372122e3SRichard Henderson             {
1747d4705ae0SRichard Henderson                 TCGv_i32 tmp_pc = tcg_const_i32(dc->base.pc_next);
17480f96e96bSRichard Henderson                 eval_cond_jmp(dc, cpu_btarget, tmp_pc);
17490f96e96bSRichard Henderson                 tcg_temp_free_i32(tmp_pc);
1750372122e3SRichard Henderson 
1751372122e3SRichard Henderson                 if (unlikely(cs->singlestep_enabled)) {
1752372122e3SRichard Henderson                     gen_raise_exception(dc, EXCP_DEBUG);
1753372122e3SRichard Henderson                 } else {
1754372122e3SRichard Henderson                     tcg_gen_exit_tb(NULL, 0);
1755372122e3SRichard Henderson                 }
1756372122e3SRichard Henderson             }
1757372122e3SRichard Henderson             return;
1758372122e3SRichard Henderson 
1759372122e3SRichard Henderson         case JMP_DIRECT_CC:
1760372122e3SRichard Henderson             {
1761fcf5ef2aSThomas Huth                 TCGLabel *l1 = gen_new_label();
17629b158558SRichard Henderson                 tcg_gen_brcondi_i32(TCG_COND_NE, cpu_btaken, 0, l1);
1763d4705ae0SRichard Henderson                 gen_goto_tb(dc, 1, dc->base.pc_next);
1764fcf5ef2aSThomas Huth                 gen_set_label(l1);
1765372122e3SRichard Henderson             }
1766372122e3SRichard Henderson             /* fall through */
1767372122e3SRichard Henderson 
1768372122e3SRichard Henderson         case JMP_DIRECT:
1769fcf5ef2aSThomas Huth             gen_goto_tb(dc, 0, dc->jmp_pc);
1770372122e3SRichard Henderson             return;
1771fcf5ef2aSThomas Huth         }
1772372122e3SRichard Henderson         /* fall through */
1773fcf5ef2aSThomas Huth 
1774a2b80dbdSRichard Henderson     default:
1775a2b80dbdSRichard Henderson         g_assert_not_reached();
1776fcf5ef2aSThomas Huth     }
1777fcf5ef2aSThomas Huth }
1778fcf5ef2aSThomas Huth 
1779372122e3SRichard Henderson static void mb_tr_disas_log(const DisasContextBase *dcb, CPUState *cs)
1780372122e3SRichard Henderson {
1781372122e3SRichard Henderson     qemu_log("IN: %s\n", lookup_symbol(dcb->pc_first));
1782372122e3SRichard Henderson     log_target_disas(cs, dcb->pc_first, dcb->tb->size);
1783fcf5ef2aSThomas Huth }
1784372122e3SRichard Henderson 
1785372122e3SRichard Henderson static const TranslatorOps mb_tr_ops = {
1786372122e3SRichard Henderson     .init_disas_context = mb_tr_init_disas_context,
1787372122e3SRichard Henderson     .tb_start           = mb_tr_tb_start,
1788372122e3SRichard Henderson     .insn_start         = mb_tr_insn_start,
1789372122e3SRichard Henderson     .breakpoint_check   = mb_tr_breakpoint_check,
1790372122e3SRichard Henderson     .translate_insn     = mb_tr_translate_insn,
1791372122e3SRichard Henderson     .tb_stop            = mb_tr_tb_stop,
1792372122e3SRichard Henderson     .disas_log          = mb_tr_disas_log,
1793372122e3SRichard Henderson };
1794372122e3SRichard Henderson 
1795372122e3SRichard Henderson void gen_intermediate_code(CPUState *cpu, TranslationBlock *tb, int max_insns)
1796372122e3SRichard Henderson {
1797372122e3SRichard Henderson     DisasContext dc;
1798372122e3SRichard Henderson     translator_loop(&mb_tr_ops, &dc.base, cpu, tb, max_insns);
1799fcf5ef2aSThomas Huth }
1800fcf5ef2aSThomas Huth 
180190c84c56SMarkus Armbruster void mb_cpu_dump_state(CPUState *cs, FILE *f, int flags)
1802fcf5ef2aSThomas Huth {
1803fcf5ef2aSThomas Huth     MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs);
1804fcf5ef2aSThomas Huth     CPUMBState *env = &cpu->env;
1805fcf5ef2aSThomas Huth     int i;
1806fcf5ef2aSThomas Huth 
180790c84c56SMarkus Armbruster     if (!env) {
1808fcf5ef2aSThomas Huth         return;
180990c84c56SMarkus Armbruster     }
1810fcf5ef2aSThomas Huth 
18110f96e96bSRichard Henderson     qemu_fprintf(f, "IN: PC=%x %s\n",
181276e8187dSRichard Henderson                  env->pc, lookup_symbol(env->pc));
18136efd5599SRichard Henderson     qemu_fprintf(f, "rmsr=%x resr=%x rear=%" PRIx64 " "
1814eb2022b7SRichard Henderson                  "imm=%x iflags=%x fsr=%x rbtr=%x\n",
181578e9caf2SRichard Henderson                  env->msr, env->esr, env->ear,
1816eb2022b7SRichard Henderson                  env->imm, env->iflags, env->fsr, env->btr);
18170f96e96bSRichard Henderson     qemu_fprintf(f, "btaken=%d btarget=%x mode=%s(saved=%s) eip=%d ie=%d\n",
1818fcf5ef2aSThomas Huth                  env->btaken, env->btarget,
18192e5282caSRichard Henderson                  (env->msr & MSR_UM) ? "user" : "kernel",
18202e5282caSRichard Henderson                  (env->msr & MSR_UMS) ? "user" : "kernel",
18212e5282caSRichard Henderson                  (bool)(env->msr & MSR_EIP),
18222e5282caSRichard Henderson                  (bool)(env->msr & MSR_IE));
18232ead1b18SJoe Komlodi     for (i = 0; i < 12; i++) {
18242ead1b18SJoe Komlodi         qemu_fprintf(f, "rpvr%2.2d=%8.8x ", i, env->pvr.regs[i]);
18252ead1b18SJoe Komlodi         if ((i + 1) % 4 == 0) {
18262ead1b18SJoe Komlodi             qemu_fprintf(f, "\n");
18272ead1b18SJoe Komlodi         }
18282ead1b18SJoe Komlodi     }
1829fcf5ef2aSThomas Huth 
18302ead1b18SJoe Komlodi     /* Registers that aren't modeled are reported as 0 */
183139db007eSRichard Henderson     qemu_fprintf(f, "redr=%x rpid=0 rzpr=0 rtlbx=0 rtlbsx=0 "
1832af20a93aSRichard Henderson                     "rtlblo=0 rtlbhi=0\n", env->edr);
18332ead1b18SJoe Komlodi     qemu_fprintf(f, "slr=%x shr=%x\n", env->slr, env->shr);
1834fcf5ef2aSThomas Huth     for (i = 0; i < 32; i++) {
183590c84c56SMarkus Armbruster         qemu_fprintf(f, "r%2.2d=%8.8x ", i, env->regs[i]);
1836fcf5ef2aSThomas Huth         if ((i + 1) % 4 == 0)
183790c84c56SMarkus Armbruster             qemu_fprintf(f, "\n");
1838fcf5ef2aSThomas Huth         }
183990c84c56SMarkus Armbruster     qemu_fprintf(f, "\n\n");
1840fcf5ef2aSThomas Huth }
1841fcf5ef2aSThomas Huth 
1842fcf5ef2aSThomas Huth void mb_tcg_init(void)
1843fcf5ef2aSThomas Huth {
1844480d29a8SRichard Henderson #define R(X)  { &cpu_R[X], offsetof(CPUMBState, regs[X]), "r" #X }
1845480d29a8SRichard Henderson #define SP(X) { &cpu_##X, offsetof(CPUMBState, X), #X }
1846fcf5ef2aSThomas Huth 
1847480d29a8SRichard Henderson     static const struct {
1848480d29a8SRichard Henderson         TCGv_i32 *var; int ofs; char name[8];
1849480d29a8SRichard Henderson     } i32s[] = {
1850480d29a8SRichard Henderson         R(0),  R(1),  R(2),  R(3),  R(4),  R(5),  R(6),  R(7),
1851480d29a8SRichard Henderson         R(8),  R(9),  R(10), R(11), R(12), R(13), R(14), R(15),
1852480d29a8SRichard Henderson         R(16), R(17), R(18), R(19), R(20), R(21), R(22), R(23),
1853480d29a8SRichard Henderson         R(24), R(25), R(26), R(27), R(28), R(29), R(30), R(31),
1854480d29a8SRichard Henderson 
1855480d29a8SRichard Henderson         SP(pc),
1856480d29a8SRichard Henderson         SP(msr),
18571074c0fbSRichard Henderson         SP(msr_c),
1858480d29a8SRichard Henderson         SP(imm),
1859480d29a8SRichard Henderson         SP(iflags),
1860480d29a8SRichard Henderson         SP(btaken),
1861480d29a8SRichard Henderson         SP(btarget),
1862480d29a8SRichard Henderson         SP(res_val),
1863480d29a8SRichard Henderson     };
1864480d29a8SRichard Henderson 
1865480d29a8SRichard Henderson #undef R
1866480d29a8SRichard Henderson #undef SP
1867480d29a8SRichard Henderson 
1868480d29a8SRichard Henderson     for (int i = 0; i < ARRAY_SIZE(i32s); ++i) {
1869480d29a8SRichard Henderson         *i32s[i].var =
1870480d29a8SRichard Henderson           tcg_global_mem_new_i32(cpu_env, i32s[i].ofs, i32s[i].name);
1871fcf5ef2aSThomas Huth     }
187276e8187dSRichard Henderson 
1873480d29a8SRichard Henderson     cpu_res_addr =
1874480d29a8SRichard Henderson         tcg_global_mem_new(cpu_env, offsetof(CPUMBState, res_addr), "res_addr");
1875fcf5ef2aSThomas Huth }
1876fcf5ef2aSThomas Huth 
1877fcf5ef2aSThomas Huth void restore_state_to_opc(CPUMBState *env, TranslationBlock *tb,
1878fcf5ef2aSThomas Huth                           target_ulong *data)
1879fcf5ef2aSThomas Huth {
188076e8187dSRichard Henderson     env->pc = data[0];
1881fcf5ef2aSThomas Huth }
1882