xref: /openbmc/qemu/target/microblaze/translate.c (revision 41ba37c4778e9364348e4ffe448650ae5e4b3563)
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 
37fcf5ef2aSThomas Huth #define SIM_COMPAT 0
38fcf5ef2aSThomas Huth #define DISAS_GNU 1
39fcf5ef2aSThomas Huth #define DISAS_MB 1
40fcf5ef2aSThomas Huth #if DISAS_MB && !SIM_COMPAT
41fcf5ef2aSThomas Huth #  define LOG_DIS(...) qemu_log_mask(CPU_LOG_TB_IN_ASM, ## __VA_ARGS__)
42fcf5ef2aSThomas Huth #else
43fcf5ef2aSThomas Huth #  define LOG_DIS(...) do { } while (0)
44fcf5ef2aSThomas Huth #endif
45fcf5ef2aSThomas Huth 
46fcf5ef2aSThomas Huth #define D(x)
47fcf5ef2aSThomas Huth 
48fcf5ef2aSThomas Huth #define EXTRACT_FIELD(src, start, end) \
49fcf5ef2aSThomas Huth             (((src) >> start) & ((1 << (end - start + 1)) - 1))
50fcf5ef2aSThomas Huth 
5177fc6f5eSLluís Vilanova /* is_jmp field values */
5277fc6f5eSLluís Vilanova #define DISAS_JUMP    DISAS_TARGET_0 /* only pc was modified dynamically */
5377fc6f5eSLluís Vilanova #define DISAS_UPDATE  DISAS_TARGET_1 /* cpu state was modified dynamically */
5477fc6f5eSLluís Vilanova #define DISAS_TB_JUMP DISAS_TARGET_2 /* only pc was modified statically */
5577fc6f5eSLluís Vilanova 
56cfeea807SEdgar E. Iglesias static TCGv_i32 env_debug;
57cfeea807SEdgar E. Iglesias static TCGv_i32 cpu_R[32];
580f96e96bSRichard Henderson static TCGv_i32 cpu_pc;
593e0e16aeSRichard Henderson static TCGv_i32 cpu_msr;
60cfeea807SEdgar E. Iglesias static TCGv_i32 env_imm;
61cfeea807SEdgar E. Iglesias static TCGv_i32 env_btaken;
620f96e96bSRichard Henderson static TCGv_i32 cpu_btarget;
63cfeea807SEdgar E. Iglesias static TCGv_i32 env_iflags;
64403322eaSEdgar E. Iglesias static TCGv env_res_addr;
65cfeea807SEdgar E. Iglesias static TCGv_i32 env_res_val;
66fcf5ef2aSThomas Huth 
67fcf5ef2aSThomas Huth #include "exec/gen-icount.h"
68fcf5ef2aSThomas Huth 
69fcf5ef2aSThomas Huth /* This is the state at translation time.  */
70fcf5ef2aSThomas Huth typedef struct DisasContext {
71fcf5ef2aSThomas Huth     MicroBlazeCPU *cpu;
72cfeea807SEdgar E. Iglesias     uint32_t pc;
73fcf5ef2aSThomas Huth 
74fcf5ef2aSThomas Huth     /* Decoder.  */
75fcf5ef2aSThomas Huth     int type_b;
76fcf5ef2aSThomas Huth     uint32_t ir;
77fcf5ef2aSThomas Huth     uint8_t opcode;
78fcf5ef2aSThomas Huth     uint8_t rd, ra, rb;
79fcf5ef2aSThomas Huth     uint16_t imm;
80fcf5ef2aSThomas Huth 
81fcf5ef2aSThomas Huth     unsigned int cpustate_changed;
82fcf5ef2aSThomas Huth     unsigned int delayed_branch;
83fcf5ef2aSThomas Huth     unsigned int tb_flags, synced_flags; /* tb dependent flags.  */
84fcf5ef2aSThomas Huth     unsigned int clear_imm;
85fcf5ef2aSThomas Huth     int is_jmp;
86fcf5ef2aSThomas Huth 
87fcf5ef2aSThomas Huth #define JMP_NOJMP     0
88fcf5ef2aSThomas Huth #define JMP_DIRECT    1
89fcf5ef2aSThomas Huth #define JMP_DIRECT_CC 2
90fcf5ef2aSThomas Huth #define JMP_INDIRECT  3
91fcf5ef2aSThomas Huth     unsigned int jmp;
92fcf5ef2aSThomas Huth     uint32_t jmp_pc;
93fcf5ef2aSThomas Huth 
94fcf5ef2aSThomas Huth     int abort_at_next_insn;
95fcf5ef2aSThomas Huth     struct TranslationBlock *tb;
96fcf5ef2aSThomas Huth     int singlestep_enabled;
97fcf5ef2aSThomas Huth } DisasContext;
98fcf5ef2aSThomas Huth 
99fcf5ef2aSThomas Huth static const char *regnames[] =
100fcf5ef2aSThomas Huth {
101fcf5ef2aSThomas Huth     "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
102fcf5ef2aSThomas Huth     "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
103fcf5ef2aSThomas Huth     "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",
104fcf5ef2aSThomas Huth     "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",
105fcf5ef2aSThomas Huth };
106fcf5ef2aSThomas Huth 
107fcf5ef2aSThomas Huth static inline void t_sync_flags(DisasContext *dc)
108fcf5ef2aSThomas Huth {
109fcf5ef2aSThomas Huth     /* Synch the tb dependent flags between translator and runtime.  */
110fcf5ef2aSThomas Huth     if (dc->tb_flags != dc->synced_flags) {
111cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(env_iflags, dc->tb_flags);
112fcf5ef2aSThomas Huth         dc->synced_flags = dc->tb_flags;
113fcf5ef2aSThomas Huth     }
114fcf5ef2aSThomas Huth }
115fcf5ef2aSThomas Huth 
116*41ba37c4SRichard Henderson static void gen_raise_exception(DisasContext *dc, uint32_t index)
117fcf5ef2aSThomas Huth {
118fcf5ef2aSThomas Huth     TCGv_i32 tmp = tcg_const_i32(index);
119fcf5ef2aSThomas Huth 
120fcf5ef2aSThomas Huth     gen_helper_raise_exception(cpu_env, tmp);
121fcf5ef2aSThomas Huth     tcg_temp_free_i32(tmp);
122fcf5ef2aSThomas Huth     dc->is_jmp = DISAS_UPDATE;
123fcf5ef2aSThomas Huth }
124fcf5ef2aSThomas Huth 
125*41ba37c4SRichard Henderson static void gen_raise_exception_sync(DisasContext *dc, uint32_t index)
126*41ba37c4SRichard Henderson {
127*41ba37c4SRichard Henderson     t_sync_flags(dc);
128*41ba37c4SRichard Henderson     tcg_gen_movi_i32(cpu_pc, dc->pc);
129*41ba37c4SRichard Henderson     gen_raise_exception(dc, index);
130*41ba37c4SRichard Henderson }
131*41ba37c4SRichard Henderson 
132*41ba37c4SRichard Henderson static void gen_raise_hw_excp(DisasContext *dc, uint32_t esr_ec)
133*41ba37c4SRichard Henderson {
134*41ba37c4SRichard Henderson     TCGv_i32 tmp = tcg_const_i32(esr_ec);
135*41ba37c4SRichard Henderson     tcg_gen_st_i32(tmp, cpu_env, offsetof(CPUMBState, esr));
136*41ba37c4SRichard Henderson     tcg_temp_free_i32(tmp);
137*41ba37c4SRichard Henderson 
138*41ba37c4SRichard Henderson     gen_raise_exception_sync(dc, EXCP_HW_EXCP);
139*41ba37c4SRichard Henderson }
140*41ba37c4SRichard Henderson 
141fcf5ef2aSThomas Huth static inline bool use_goto_tb(DisasContext *dc, target_ulong dest)
142fcf5ef2aSThomas Huth {
143fcf5ef2aSThomas Huth #ifndef CONFIG_USER_ONLY
144fcf5ef2aSThomas Huth     return (dc->tb->pc & TARGET_PAGE_MASK) == (dest & TARGET_PAGE_MASK);
145fcf5ef2aSThomas Huth #else
146fcf5ef2aSThomas Huth     return true;
147fcf5ef2aSThomas Huth #endif
148fcf5ef2aSThomas Huth }
149fcf5ef2aSThomas Huth 
150fcf5ef2aSThomas Huth static void gen_goto_tb(DisasContext *dc, int n, target_ulong dest)
151fcf5ef2aSThomas Huth {
152fcf5ef2aSThomas Huth     if (use_goto_tb(dc, dest)) {
153fcf5ef2aSThomas Huth         tcg_gen_goto_tb(n);
1540f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, dest);
15507ea28b4SRichard Henderson         tcg_gen_exit_tb(dc->tb, n);
156fcf5ef2aSThomas Huth     } else {
1570f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, dest);
15807ea28b4SRichard Henderson         tcg_gen_exit_tb(NULL, 0);
159fcf5ef2aSThomas Huth     }
160fcf5ef2aSThomas Huth }
161fcf5ef2aSThomas Huth 
162cfeea807SEdgar E. Iglesias static void read_carry(DisasContext *dc, TCGv_i32 d)
163fcf5ef2aSThomas Huth {
1643e0e16aeSRichard Henderson     tcg_gen_shri_i32(d, cpu_msr, 31);
165fcf5ef2aSThomas Huth }
166fcf5ef2aSThomas Huth 
167fcf5ef2aSThomas Huth /*
168fcf5ef2aSThomas Huth  * write_carry sets the carry bits in MSR based on bit 0 of v.
169fcf5ef2aSThomas Huth  * v[31:1] are ignored.
170fcf5ef2aSThomas Huth  */
171cfeea807SEdgar E. Iglesias static void write_carry(DisasContext *dc, TCGv_i32 v)
172fcf5ef2aSThomas Huth {
1730a22f8cfSEdgar E. Iglesias     /* Deposit bit 0 into MSR_C and the alias MSR_CC.  */
1743e0e16aeSRichard Henderson     tcg_gen_deposit_i32(cpu_msr, cpu_msr, v, 2, 1);
1753e0e16aeSRichard Henderson     tcg_gen_deposit_i32(cpu_msr, cpu_msr, v, 31, 1);
176fcf5ef2aSThomas Huth }
177fcf5ef2aSThomas Huth 
178fcf5ef2aSThomas Huth static void write_carryi(DisasContext *dc, bool carry)
179fcf5ef2aSThomas Huth {
180cfeea807SEdgar E. Iglesias     TCGv_i32 t0 = tcg_temp_new_i32();
181cfeea807SEdgar E. Iglesias     tcg_gen_movi_i32(t0, carry);
182fcf5ef2aSThomas Huth     write_carry(dc, t0);
183cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
184fcf5ef2aSThomas Huth }
185fcf5ef2aSThomas Huth 
186bdfc1e88SEdgar E. Iglesias /*
1879ba8cd45SEdgar E. Iglesias  * Returns true if the insn an illegal operation.
1889ba8cd45SEdgar E. Iglesias  * If exceptions are enabled, an exception is raised.
1899ba8cd45SEdgar E. Iglesias  */
1909ba8cd45SEdgar E. Iglesias static bool trap_illegal(DisasContext *dc, bool cond)
1919ba8cd45SEdgar E. Iglesias {
1929ba8cd45SEdgar E. Iglesias     if (cond && (dc->tb_flags & MSR_EE_FLAG)
1935143fdf3SEdgar E. Iglesias         && dc->cpu->cfg.illegal_opcode_exception) {
194*41ba37c4SRichard Henderson         gen_raise_hw_excp(dc, ESR_EC_ILLEGAL_OP);
1959ba8cd45SEdgar E. Iglesias     }
1969ba8cd45SEdgar E. Iglesias     return cond;
1979ba8cd45SEdgar E. Iglesias }
1989ba8cd45SEdgar E. Iglesias 
1999ba8cd45SEdgar E. Iglesias /*
200bdfc1e88SEdgar E. Iglesias  * Returns true if the insn is illegal in userspace.
201bdfc1e88SEdgar E. Iglesias  * If exceptions are enabled, an exception is raised.
202bdfc1e88SEdgar E. Iglesias  */
203bdfc1e88SEdgar E. Iglesias static bool trap_userspace(DisasContext *dc, bool cond)
204bdfc1e88SEdgar E. Iglesias {
205bdfc1e88SEdgar E. Iglesias     int mem_index = cpu_mmu_index(&dc->cpu->env, false);
206bdfc1e88SEdgar E. Iglesias     bool cond_user = cond && mem_index == MMU_USER_IDX;
207bdfc1e88SEdgar E. Iglesias 
208bdfc1e88SEdgar E. Iglesias     if (cond_user && (dc->tb_flags & MSR_EE_FLAG)) {
209*41ba37c4SRichard Henderson         gen_raise_hw_excp(dc, ESR_EC_PRIVINSN);
210bdfc1e88SEdgar E. Iglesias     }
211bdfc1e88SEdgar E. Iglesias     return cond_user;
212bdfc1e88SEdgar E. Iglesias }
213bdfc1e88SEdgar E. Iglesias 
214fcf5ef2aSThomas Huth /* True if ALU operand b is a small immediate that may deserve
215fcf5ef2aSThomas Huth    faster treatment.  */
216fcf5ef2aSThomas Huth static inline int dec_alu_op_b_is_small_imm(DisasContext *dc)
217fcf5ef2aSThomas Huth {
218fcf5ef2aSThomas Huth     /* Immediate insn without the imm prefix ?  */
219fcf5ef2aSThomas Huth     return dc->type_b && !(dc->tb_flags & IMM_FLAG);
220fcf5ef2aSThomas Huth }
221fcf5ef2aSThomas Huth 
222cfeea807SEdgar E. Iglesias static inline TCGv_i32 *dec_alu_op_b(DisasContext *dc)
223fcf5ef2aSThomas Huth {
224fcf5ef2aSThomas Huth     if (dc->type_b) {
225fcf5ef2aSThomas Huth         if (dc->tb_flags & IMM_FLAG)
226cfeea807SEdgar E. Iglesias             tcg_gen_ori_i32(env_imm, env_imm, dc->imm);
227fcf5ef2aSThomas Huth         else
228cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(env_imm, (int32_t)((int16_t)dc->imm));
229fcf5ef2aSThomas Huth         return &env_imm;
230fcf5ef2aSThomas Huth     } else
231fcf5ef2aSThomas Huth         return &cpu_R[dc->rb];
232fcf5ef2aSThomas Huth }
233fcf5ef2aSThomas Huth 
234fcf5ef2aSThomas Huth static void dec_add(DisasContext *dc)
235fcf5ef2aSThomas Huth {
236fcf5ef2aSThomas Huth     unsigned int k, c;
237cfeea807SEdgar E. Iglesias     TCGv_i32 cf;
238fcf5ef2aSThomas Huth 
239fcf5ef2aSThomas Huth     k = dc->opcode & 4;
240fcf5ef2aSThomas Huth     c = dc->opcode & 2;
241fcf5ef2aSThomas Huth 
242fcf5ef2aSThomas Huth     LOG_DIS("add%s%s%s r%d r%d r%d\n",
243fcf5ef2aSThomas Huth             dc->type_b ? "i" : "", k ? "k" : "", c ? "c" : "",
244fcf5ef2aSThomas Huth             dc->rd, dc->ra, dc->rb);
245fcf5ef2aSThomas Huth 
246fcf5ef2aSThomas Huth     /* Take care of the easy cases first.  */
247fcf5ef2aSThomas Huth     if (k) {
248fcf5ef2aSThomas Huth         /* k - keep carry, no need to update MSR.  */
249fcf5ef2aSThomas Huth         /* If rd == r0, it's a nop.  */
250fcf5ef2aSThomas Huth         if (dc->rd) {
251cfeea807SEdgar E. Iglesias             tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
252fcf5ef2aSThomas Huth 
253fcf5ef2aSThomas Huth             if (c) {
254fcf5ef2aSThomas Huth                 /* c - Add carry into the result.  */
255cfeea807SEdgar E. Iglesias                 cf = tcg_temp_new_i32();
256fcf5ef2aSThomas Huth 
257fcf5ef2aSThomas Huth                 read_carry(dc, cf);
258cfeea807SEdgar E. Iglesias                 tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf);
259cfeea807SEdgar E. Iglesias                 tcg_temp_free_i32(cf);
260fcf5ef2aSThomas Huth             }
261fcf5ef2aSThomas Huth         }
262fcf5ef2aSThomas Huth         return;
263fcf5ef2aSThomas Huth     }
264fcf5ef2aSThomas Huth 
265fcf5ef2aSThomas Huth     /* From now on, we can assume k is zero.  So we need to update MSR.  */
266fcf5ef2aSThomas Huth     /* Extract carry.  */
267cfeea807SEdgar E. Iglesias     cf = tcg_temp_new_i32();
268fcf5ef2aSThomas Huth     if (c) {
269fcf5ef2aSThomas Huth         read_carry(dc, cf);
270fcf5ef2aSThomas Huth     } else {
271cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cf, 0);
272fcf5ef2aSThomas Huth     }
273fcf5ef2aSThomas Huth 
274fcf5ef2aSThomas Huth     if (dc->rd) {
275cfeea807SEdgar E. Iglesias         TCGv_i32 ncf = tcg_temp_new_i32();
276fcf5ef2aSThomas Huth         gen_helper_carry(ncf, cpu_R[dc->ra], *(dec_alu_op_b(dc)), cf);
277cfeea807SEdgar E. Iglesias         tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
278cfeea807SEdgar E. Iglesias         tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf);
279fcf5ef2aSThomas Huth         write_carry(dc, ncf);
280cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(ncf);
281fcf5ef2aSThomas Huth     } else {
282fcf5ef2aSThomas Huth         gen_helper_carry(cf, cpu_R[dc->ra], *(dec_alu_op_b(dc)), cf);
283fcf5ef2aSThomas Huth         write_carry(dc, cf);
284fcf5ef2aSThomas Huth     }
285cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(cf);
286fcf5ef2aSThomas Huth }
287fcf5ef2aSThomas Huth 
288fcf5ef2aSThomas Huth static void dec_sub(DisasContext *dc)
289fcf5ef2aSThomas Huth {
290fcf5ef2aSThomas Huth     unsigned int u, cmp, k, c;
291cfeea807SEdgar E. Iglesias     TCGv_i32 cf, na;
292fcf5ef2aSThomas Huth 
293fcf5ef2aSThomas Huth     u = dc->imm & 2;
294fcf5ef2aSThomas Huth     k = dc->opcode & 4;
295fcf5ef2aSThomas Huth     c = dc->opcode & 2;
296fcf5ef2aSThomas Huth     cmp = (dc->imm & 1) && (!dc->type_b) && k;
297fcf5ef2aSThomas Huth 
298fcf5ef2aSThomas Huth     if (cmp) {
299fcf5ef2aSThomas Huth         LOG_DIS("cmp%s r%d, r%d ir=%x\n", u ? "u" : "", dc->rd, dc->ra, dc->ir);
300fcf5ef2aSThomas Huth         if (dc->rd) {
301fcf5ef2aSThomas Huth             if (u)
302fcf5ef2aSThomas Huth                 gen_helper_cmpu(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
303fcf5ef2aSThomas Huth             else
304fcf5ef2aSThomas Huth                 gen_helper_cmp(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
305fcf5ef2aSThomas Huth         }
306fcf5ef2aSThomas Huth         return;
307fcf5ef2aSThomas Huth     }
308fcf5ef2aSThomas Huth 
309fcf5ef2aSThomas Huth     LOG_DIS("sub%s%s r%d, r%d r%d\n",
310fcf5ef2aSThomas Huth              k ? "k" : "",  c ? "c" : "", dc->rd, dc->ra, dc->rb);
311fcf5ef2aSThomas Huth 
312fcf5ef2aSThomas Huth     /* Take care of the easy cases first.  */
313fcf5ef2aSThomas Huth     if (k) {
314fcf5ef2aSThomas Huth         /* k - keep carry, no need to update MSR.  */
315fcf5ef2aSThomas Huth         /* If rd == r0, it's a nop.  */
316fcf5ef2aSThomas Huth         if (dc->rd) {
317cfeea807SEdgar E. Iglesias             tcg_gen_sub_i32(cpu_R[dc->rd], *(dec_alu_op_b(dc)), cpu_R[dc->ra]);
318fcf5ef2aSThomas Huth 
319fcf5ef2aSThomas Huth             if (c) {
320fcf5ef2aSThomas Huth                 /* c - Add carry into the result.  */
321cfeea807SEdgar E. Iglesias                 cf = tcg_temp_new_i32();
322fcf5ef2aSThomas Huth 
323fcf5ef2aSThomas Huth                 read_carry(dc, cf);
324cfeea807SEdgar E. Iglesias                 tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf);
325cfeea807SEdgar E. Iglesias                 tcg_temp_free_i32(cf);
326fcf5ef2aSThomas Huth             }
327fcf5ef2aSThomas Huth         }
328fcf5ef2aSThomas Huth         return;
329fcf5ef2aSThomas Huth     }
330fcf5ef2aSThomas Huth 
331fcf5ef2aSThomas Huth     /* From now on, we can assume k is zero.  So we need to update MSR.  */
332fcf5ef2aSThomas Huth     /* Extract carry. And complement a into na.  */
333cfeea807SEdgar E. Iglesias     cf = tcg_temp_new_i32();
334cfeea807SEdgar E. Iglesias     na = tcg_temp_new_i32();
335fcf5ef2aSThomas Huth     if (c) {
336fcf5ef2aSThomas Huth         read_carry(dc, cf);
337fcf5ef2aSThomas Huth     } else {
338cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cf, 1);
339fcf5ef2aSThomas Huth     }
340fcf5ef2aSThomas Huth 
341fcf5ef2aSThomas Huth     /* d = b + ~a + c. carry defaults to 1.  */
342cfeea807SEdgar E. Iglesias     tcg_gen_not_i32(na, cpu_R[dc->ra]);
343fcf5ef2aSThomas Huth 
344fcf5ef2aSThomas Huth     if (dc->rd) {
345cfeea807SEdgar E. Iglesias         TCGv_i32 ncf = tcg_temp_new_i32();
346fcf5ef2aSThomas Huth         gen_helper_carry(ncf, na, *(dec_alu_op_b(dc)), cf);
347cfeea807SEdgar E. Iglesias         tcg_gen_add_i32(cpu_R[dc->rd], na, *(dec_alu_op_b(dc)));
348cfeea807SEdgar E. Iglesias         tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf);
349fcf5ef2aSThomas Huth         write_carry(dc, ncf);
350cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(ncf);
351fcf5ef2aSThomas Huth     } else {
352fcf5ef2aSThomas Huth         gen_helper_carry(cf, na, *(dec_alu_op_b(dc)), cf);
353fcf5ef2aSThomas Huth         write_carry(dc, cf);
354fcf5ef2aSThomas Huth     }
355cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(cf);
356cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(na);
357fcf5ef2aSThomas Huth }
358fcf5ef2aSThomas Huth 
359fcf5ef2aSThomas Huth static void dec_pattern(DisasContext *dc)
360fcf5ef2aSThomas Huth {
361fcf5ef2aSThomas Huth     unsigned int mode;
362fcf5ef2aSThomas Huth 
3639ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_pcmp_instr)) {
3649ba8cd45SEdgar E. Iglesias         return;
365fcf5ef2aSThomas Huth     }
366fcf5ef2aSThomas Huth 
367fcf5ef2aSThomas Huth     mode = dc->opcode & 3;
368fcf5ef2aSThomas Huth     switch (mode) {
369fcf5ef2aSThomas Huth         case 0:
370fcf5ef2aSThomas Huth             /* pcmpbf.  */
371fcf5ef2aSThomas Huth             LOG_DIS("pcmpbf r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
372fcf5ef2aSThomas Huth             if (dc->rd)
373fcf5ef2aSThomas Huth                 gen_helper_pcmpbf(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
374fcf5ef2aSThomas Huth             break;
375fcf5ef2aSThomas Huth         case 2:
376fcf5ef2aSThomas Huth             LOG_DIS("pcmpeq r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
377fcf5ef2aSThomas Huth             if (dc->rd) {
378cfeea807SEdgar E. Iglesias                 tcg_gen_setcond_i32(TCG_COND_EQ, cpu_R[dc->rd],
379fcf5ef2aSThomas Huth                                    cpu_R[dc->ra], cpu_R[dc->rb]);
380fcf5ef2aSThomas Huth             }
381fcf5ef2aSThomas Huth             break;
382fcf5ef2aSThomas Huth         case 3:
383fcf5ef2aSThomas Huth             LOG_DIS("pcmpne r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
384fcf5ef2aSThomas Huth             if (dc->rd) {
385cfeea807SEdgar E. Iglesias                 tcg_gen_setcond_i32(TCG_COND_NE, cpu_R[dc->rd],
386fcf5ef2aSThomas Huth                                    cpu_R[dc->ra], cpu_R[dc->rb]);
387fcf5ef2aSThomas Huth             }
388fcf5ef2aSThomas Huth             break;
389fcf5ef2aSThomas Huth         default:
390fcf5ef2aSThomas Huth             cpu_abort(CPU(dc->cpu),
391fcf5ef2aSThomas Huth                       "unsupported pattern insn opcode=%x\n", dc->opcode);
392fcf5ef2aSThomas Huth             break;
393fcf5ef2aSThomas Huth     }
394fcf5ef2aSThomas Huth }
395fcf5ef2aSThomas Huth 
396fcf5ef2aSThomas Huth static void dec_and(DisasContext *dc)
397fcf5ef2aSThomas Huth {
398fcf5ef2aSThomas Huth     unsigned int not;
399fcf5ef2aSThomas Huth 
400fcf5ef2aSThomas Huth     if (!dc->type_b && (dc->imm & (1 << 10))) {
401fcf5ef2aSThomas Huth         dec_pattern(dc);
402fcf5ef2aSThomas Huth         return;
403fcf5ef2aSThomas Huth     }
404fcf5ef2aSThomas Huth 
405fcf5ef2aSThomas Huth     not = dc->opcode & (1 << 1);
406fcf5ef2aSThomas Huth     LOG_DIS("and%s\n", not ? "n" : "");
407fcf5ef2aSThomas Huth 
408fcf5ef2aSThomas Huth     if (!dc->rd)
409fcf5ef2aSThomas Huth         return;
410fcf5ef2aSThomas Huth 
411fcf5ef2aSThomas Huth     if (not) {
412cfeea807SEdgar E. Iglesias         tcg_gen_andc_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
413fcf5ef2aSThomas Huth     } else
414cfeea807SEdgar E. Iglesias         tcg_gen_and_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
415fcf5ef2aSThomas Huth }
416fcf5ef2aSThomas Huth 
417fcf5ef2aSThomas Huth static void dec_or(DisasContext *dc)
418fcf5ef2aSThomas Huth {
419fcf5ef2aSThomas Huth     if (!dc->type_b && (dc->imm & (1 << 10))) {
420fcf5ef2aSThomas Huth         dec_pattern(dc);
421fcf5ef2aSThomas Huth         return;
422fcf5ef2aSThomas Huth     }
423fcf5ef2aSThomas Huth 
424fcf5ef2aSThomas Huth     LOG_DIS("or r%d r%d r%d imm=%x\n", dc->rd, dc->ra, dc->rb, dc->imm);
425fcf5ef2aSThomas Huth     if (dc->rd)
426cfeea807SEdgar E. Iglesias         tcg_gen_or_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
427fcf5ef2aSThomas Huth }
428fcf5ef2aSThomas Huth 
429fcf5ef2aSThomas Huth static void dec_xor(DisasContext *dc)
430fcf5ef2aSThomas Huth {
431fcf5ef2aSThomas Huth     if (!dc->type_b && (dc->imm & (1 << 10))) {
432fcf5ef2aSThomas Huth         dec_pattern(dc);
433fcf5ef2aSThomas Huth         return;
434fcf5ef2aSThomas Huth     }
435fcf5ef2aSThomas Huth 
436fcf5ef2aSThomas Huth     LOG_DIS("xor r%d\n", dc->rd);
437fcf5ef2aSThomas Huth     if (dc->rd)
438cfeea807SEdgar E. Iglesias         tcg_gen_xor_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
439fcf5ef2aSThomas Huth }
440fcf5ef2aSThomas Huth 
441cfeea807SEdgar E. Iglesias static inline void msr_read(DisasContext *dc, TCGv_i32 d)
442fcf5ef2aSThomas Huth {
4433e0e16aeSRichard Henderson     tcg_gen_mov_i32(d, cpu_msr);
444fcf5ef2aSThomas Huth }
445fcf5ef2aSThomas Huth 
446cfeea807SEdgar E. Iglesias static inline void msr_write(DisasContext *dc, TCGv_i32 v)
447fcf5ef2aSThomas Huth {
448fcf5ef2aSThomas Huth     dc->cpustate_changed = 1;
4493e0e16aeSRichard Henderson     /* PVR bit is not writable, and is never set. */
4503e0e16aeSRichard Henderson     tcg_gen_andi_i32(cpu_msr, v, ~MSR_PVR);
451fcf5ef2aSThomas Huth }
452fcf5ef2aSThomas Huth 
453fcf5ef2aSThomas Huth static void dec_msr(DisasContext *dc)
454fcf5ef2aSThomas Huth {
455fcf5ef2aSThomas Huth     CPUState *cs = CPU(dc->cpu);
456cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
4572023e9a3SEdgar E. Iglesias     unsigned int sr, rn;
458f0f7e7f7SEdgar E. Iglesias     bool to, clrset, extended = false;
459fcf5ef2aSThomas Huth 
4602023e9a3SEdgar E. Iglesias     sr = extract32(dc->imm, 0, 14);
4612023e9a3SEdgar E. Iglesias     to = extract32(dc->imm, 14, 1);
4622023e9a3SEdgar E. Iglesias     clrset = extract32(dc->imm, 15, 1) == 0;
463fcf5ef2aSThomas Huth     dc->type_b = 1;
4642023e9a3SEdgar E. Iglesias     if (to) {
465fcf5ef2aSThomas Huth         dc->cpustate_changed = 1;
466f0f7e7f7SEdgar E. Iglesias     }
467f0f7e7f7SEdgar E. Iglesias 
468f0f7e7f7SEdgar E. Iglesias     /* Extended MSRs are only available if addr_size > 32.  */
469f0f7e7f7SEdgar E. Iglesias     if (dc->cpu->cfg.addr_size > 32) {
470f0f7e7f7SEdgar E. Iglesias         /* The E-bit is encoded differently for To/From MSR.  */
471f0f7e7f7SEdgar E. Iglesias         static const unsigned int e_bit[] = { 19, 24 };
472f0f7e7f7SEdgar E. Iglesias 
473f0f7e7f7SEdgar E. Iglesias         extended = extract32(dc->imm, e_bit[to], 1);
4742023e9a3SEdgar E. Iglesias     }
475fcf5ef2aSThomas Huth 
476fcf5ef2aSThomas Huth     /* msrclr and msrset.  */
4772023e9a3SEdgar E. Iglesias     if (clrset) {
4782023e9a3SEdgar E. Iglesias         bool clr = extract32(dc->ir, 16, 1);
479fcf5ef2aSThomas Huth 
480fcf5ef2aSThomas Huth         LOG_DIS("msr%s r%d imm=%x\n", clr ? "clr" : "set",
481fcf5ef2aSThomas Huth                 dc->rd, dc->imm);
482fcf5ef2aSThomas Huth 
48356837509SEdgar E. Iglesias         if (!dc->cpu->cfg.use_msr_instr) {
484fcf5ef2aSThomas Huth             /* nop??? */
485fcf5ef2aSThomas Huth             return;
486fcf5ef2aSThomas Huth         }
487fcf5ef2aSThomas Huth 
488bdfc1e88SEdgar E. Iglesias         if (trap_userspace(dc, dc->imm != 4 && dc->imm != 0)) {
489fcf5ef2aSThomas Huth             return;
490fcf5ef2aSThomas Huth         }
491fcf5ef2aSThomas Huth 
492fcf5ef2aSThomas Huth         if (dc->rd)
493fcf5ef2aSThomas Huth             msr_read(dc, cpu_R[dc->rd]);
494fcf5ef2aSThomas Huth 
495cfeea807SEdgar E. Iglesias         t0 = tcg_temp_new_i32();
496cfeea807SEdgar E. Iglesias         t1 = tcg_temp_new_i32();
497fcf5ef2aSThomas Huth         msr_read(dc, t0);
498cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(t1, *(dec_alu_op_b(dc)));
499fcf5ef2aSThomas Huth 
500fcf5ef2aSThomas Huth         if (clr) {
501cfeea807SEdgar E. Iglesias             tcg_gen_not_i32(t1, t1);
502cfeea807SEdgar E. Iglesias             tcg_gen_and_i32(t0, t0, t1);
503fcf5ef2aSThomas Huth         } else
504cfeea807SEdgar E. Iglesias             tcg_gen_or_i32(t0, t0, t1);
505fcf5ef2aSThomas Huth         msr_write(dc, t0);
506cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(t0);
507cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(t1);
5080f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, dc->pc + 4);
509fcf5ef2aSThomas Huth         dc->is_jmp = DISAS_UPDATE;
510fcf5ef2aSThomas Huth         return;
511fcf5ef2aSThomas Huth     }
512fcf5ef2aSThomas Huth 
513bdfc1e88SEdgar E. Iglesias     if (trap_userspace(dc, to)) {
514fcf5ef2aSThomas Huth         return;
515fcf5ef2aSThomas Huth     }
516fcf5ef2aSThomas Huth 
517fcf5ef2aSThomas Huth #if !defined(CONFIG_USER_ONLY)
518fcf5ef2aSThomas Huth     /* Catch read/writes to the mmu block.  */
519fcf5ef2aSThomas Huth     if ((sr & ~0xff) == 0x1000) {
520f0f7e7f7SEdgar E. Iglesias         TCGv_i32 tmp_ext = tcg_const_i32(extended);
52105a9a651SEdgar E. Iglesias         TCGv_i32 tmp_sr;
52205a9a651SEdgar E. Iglesias 
523fcf5ef2aSThomas Huth         sr &= 7;
52405a9a651SEdgar E. Iglesias         tmp_sr = tcg_const_i32(sr);
525fcf5ef2aSThomas Huth         LOG_DIS("m%ss sr%d r%d imm=%x\n", to ? "t" : "f", sr, dc->ra, dc->imm);
52605a9a651SEdgar E. Iglesias         if (to) {
527f0f7e7f7SEdgar E. Iglesias             gen_helper_mmu_write(cpu_env, tmp_ext, tmp_sr, cpu_R[dc->ra]);
52805a9a651SEdgar E. Iglesias         } else {
529f0f7e7f7SEdgar E. Iglesias             gen_helper_mmu_read(cpu_R[dc->rd], cpu_env, tmp_ext, tmp_sr);
53005a9a651SEdgar E. Iglesias         }
53105a9a651SEdgar E. Iglesias         tcg_temp_free_i32(tmp_sr);
532f0f7e7f7SEdgar E. Iglesias         tcg_temp_free_i32(tmp_ext);
533fcf5ef2aSThomas Huth         return;
534fcf5ef2aSThomas Huth     }
535fcf5ef2aSThomas Huth #endif
536fcf5ef2aSThomas Huth 
537fcf5ef2aSThomas Huth     if (to) {
538fcf5ef2aSThomas Huth         LOG_DIS("m%ss sr%x r%d imm=%x\n", to ? "t" : "f", sr, dc->ra, dc->imm);
539fcf5ef2aSThomas Huth         switch (sr) {
540aa28e6d4SRichard Henderson             case SR_PC:
541fcf5ef2aSThomas Huth                 break;
542aa28e6d4SRichard Henderson             case SR_MSR:
543fcf5ef2aSThomas Huth                 msr_write(dc, cpu_R[dc->ra]);
544fcf5ef2aSThomas Huth                 break;
545351527b7SEdgar E. Iglesias             case SR_EAR:
546dbdb77c4SRichard Henderson                 {
547dbdb77c4SRichard Henderson                     TCGv_i64 t64 = tcg_temp_new_i64();
548dbdb77c4SRichard Henderson                     tcg_gen_extu_i32_i64(t64, cpu_R[dc->ra]);
549dbdb77c4SRichard Henderson                     tcg_gen_st_i64(t64, cpu_env, offsetof(CPUMBState, ear));
550dbdb77c4SRichard Henderson                     tcg_temp_free_i64(t64);
551dbdb77c4SRichard Henderson                 }
552aa28e6d4SRichard Henderson                 break;
553351527b7SEdgar E. Iglesias             case SR_ESR:
554*41ba37c4SRichard Henderson                 tcg_gen_st_i32(cpu_R[dc->ra],
555*41ba37c4SRichard Henderson                                cpu_env, offsetof(CPUMBState, esr));
556aa28e6d4SRichard Henderson                 break;
557ab6dd380SEdgar E. Iglesias             case SR_FSR:
55886017ccfSRichard Henderson                 tcg_gen_st_i32(cpu_R[dc->ra],
55986017ccfSRichard Henderson                                cpu_env, offsetof(CPUMBState, fsr));
560aa28e6d4SRichard Henderson                 break;
561aa28e6d4SRichard Henderson             case SR_BTR:
562ccf628b7SRichard Henderson                 tcg_gen_st_i32(cpu_R[dc->ra],
563ccf628b7SRichard Henderson                                cpu_env, offsetof(CPUMBState, btr));
564aa28e6d4SRichard Henderson                 break;
565aa28e6d4SRichard Henderson             case SR_EDR:
56639db007eSRichard Henderson                 tcg_gen_st_i32(cpu_R[dc->ra],
56739db007eSRichard Henderson                                cpu_env, offsetof(CPUMBState, edr));
568fcf5ef2aSThomas Huth                 break;
569fcf5ef2aSThomas Huth             case 0x800:
570cfeea807SEdgar E. Iglesias                 tcg_gen_st_i32(cpu_R[dc->ra],
571cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, slr));
572fcf5ef2aSThomas Huth                 break;
573fcf5ef2aSThomas Huth             case 0x802:
574cfeea807SEdgar E. Iglesias                 tcg_gen_st_i32(cpu_R[dc->ra],
575cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, shr));
576fcf5ef2aSThomas Huth                 break;
577fcf5ef2aSThomas Huth             default:
578fcf5ef2aSThomas Huth                 cpu_abort(CPU(dc->cpu), "unknown mts reg %x\n", sr);
579fcf5ef2aSThomas Huth                 break;
580fcf5ef2aSThomas Huth         }
581fcf5ef2aSThomas Huth     } else {
582fcf5ef2aSThomas Huth         LOG_DIS("m%ss r%d sr%x imm=%x\n", to ? "t" : "f", dc->rd, sr, dc->imm);
583fcf5ef2aSThomas Huth 
584fcf5ef2aSThomas Huth         switch (sr) {
585aa28e6d4SRichard Henderson             case SR_PC:
586cfeea807SEdgar E. Iglesias                 tcg_gen_movi_i32(cpu_R[dc->rd], dc->pc);
587fcf5ef2aSThomas Huth                 break;
588aa28e6d4SRichard Henderson             case SR_MSR:
589fcf5ef2aSThomas Huth                 msr_read(dc, cpu_R[dc->rd]);
590fcf5ef2aSThomas Huth                 break;
591351527b7SEdgar E. Iglesias             case SR_EAR:
592dbdb77c4SRichard Henderson                 {
593dbdb77c4SRichard Henderson                     TCGv_i64 t64 = tcg_temp_new_i64();
594dbdb77c4SRichard Henderson                     tcg_gen_ld_i64(t64, cpu_env, offsetof(CPUMBState, ear));
595a1b48e3aSEdgar E. Iglesias                     if (extended) {
596dbdb77c4SRichard Henderson                         tcg_gen_extrh_i64_i32(cpu_R[dc->rd], t64);
597aa28e6d4SRichard Henderson                     } else {
598dbdb77c4SRichard Henderson                         tcg_gen_extrl_i64_i32(cpu_R[dc->rd], t64);
599dbdb77c4SRichard Henderson                     }
600dbdb77c4SRichard Henderson                     tcg_temp_free_i64(t64);
601a1b48e3aSEdgar E. Iglesias                 }
602aa28e6d4SRichard Henderson                 break;
603351527b7SEdgar E. Iglesias             case SR_ESR:
604*41ba37c4SRichard Henderson                 tcg_gen_ld_i32(cpu_R[dc->rd],
605*41ba37c4SRichard Henderson                                cpu_env, offsetof(CPUMBState, esr));
606aa28e6d4SRichard Henderson                 break;
607351527b7SEdgar E. Iglesias             case SR_FSR:
60886017ccfSRichard Henderson                 tcg_gen_ld_i32(cpu_R[dc->rd],
60986017ccfSRichard Henderson                                cpu_env, offsetof(CPUMBState, fsr));
610aa28e6d4SRichard Henderson                 break;
611351527b7SEdgar E. Iglesias             case SR_BTR:
612ccf628b7SRichard Henderson                 tcg_gen_ld_i32(cpu_R[dc->rd],
613ccf628b7SRichard Henderson                                cpu_env, offsetof(CPUMBState, btr));
614aa28e6d4SRichard Henderson                 break;
6157cdae31dSTong Ho             case SR_EDR:
61639db007eSRichard Henderson                 tcg_gen_ld_i32(cpu_R[dc->rd],
61739db007eSRichard Henderson                                cpu_env, offsetof(CPUMBState, edr));
618fcf5ef2aSThomas Huth                 break;
619fcf5ef2aSThomas Huth             case 0x800:
620cfeea807SEdgar E. Iglesias                 tcg_gen_ld_i32(cpu_R[dc->rd],
621cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, slr));
622fcf5ef2aSThomas Huth                 break;
623fcf5ef2aSThomas Huth             case 0x802:
624cfeea807SEdgar E. Iglesias                 tcg_gen_ld_i32(cpu_R[dc->rd],
625cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, shr));
626fcf5ef2aSThomas Huth                 break;
627351527b7SEdgar E. Iglesias             case 0x2000 ... 0x200c:
628fcf5ef2aSThomas Huth                 rn = sr & 0xf;
629cfeea807SEdgar E. Iglesias                 tcg_gen_ld_i32(cpu_R[dc->rd],
630fcf5ef2aSThomas Huth                               cpu_env, offsetof(CPUMBState, pvr.regs[rn]));
631fcf5ef2aSThomas Huth                 break;
632fcf5ef2aSThomas Huth             default:
633fcf5ef2aSThomas Huth                 cpu_abort(cs, "unknown mfs reg %x\n", sr);
634fcf5ef2aSThomas Huth                 break;
635fcf5ef2aSThomas Huth         }
636fcf5ef2aSThomas Huth     }
637fcf5ef2aSThomas Huth 
638fcf5ef2aSThomas Huth     if (dc->rd == 0) {
639cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_R[0], 0);
640fcf5ef2aSThomas Huth     }
641fcf5ef2aSThomas Huth }
642fcf5ef2aSThomas Huth 
643fcf5ef2aSThomas Huth /* Multiplier unit.  */
644fcf5ef2aSThomas Huth static void dec_mul(DisasContext *dc)
645fcf5ef2aSThomas Huth {
646cfeea807SEdgar E. Iglesias     TCGv_i32 tmp;
647fcf5ef2aSThomas Huth     unsigned int subcode;
648fcf5ef2aSThomas Huth 
6499ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_hw_mul)) {
650fcf5ef2aSThomas Huth         return;
651fcf5ef2aSThomas Huth     }
652fcf5ef2aSThomas Huth 
653fcf5ef2aSThomas Huth     subcode = dc->imm & 3;
654fcf5ef2aSThomas Huth 
655fcf5ef2aSThomas Huth     if (dc->type_b) {
656fcf5ef2aSThomas Huth         LOG_DIS("muli r%d r%d %x\n", dc->rd, dc->ra, dc->imm);
657cfeea807SEdgar E. Iglesias         tcg_gen_mul_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
658fcf5ef2aSThomas Huth         return;
659fcf5ef2aSThomas Huth     }
660fcf5ef2aSThomas Huth 
661fcf5ef2aSThomas Huth     /* mulh, mulhsu and mulhu are not available if C_USE_HW_MUL is < 2.  */
6629b964318SEdgar E. Iglesias     if (subcode >= 1 && subcode <= 3 && dc->cpu->cfg.use_hw_mul < 2) {
663fcf5ef2aSThomas Huth         /* nop??? */
664fcf5ef2aSThomas Huth     }
665fcf5ef2aSThomas Huth 
666cfeea807SEdgar E. Iglesias     tmp = tcg_temp_new_i32();
667fcf5ef2aSThomas Huth     switch (subcode) {
668fcf5ef2aSThomas Huth         case 0:
669fcf5ef2aSThomas Huth             LOG_DIS("mul r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
670cfeea807SEdgar E. Iglesias             tcg_gen_mul_i32(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
671fcf5ef2aSThomas Huth             break;
672fcf5ef2aSThomas Huth         case 1:
673fcf5ef2aSThomas Huth             LOG_DIS("mulh r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
674cfeea807SEdgar E. Iglesias             tcg_gen_muls2_i32(tmp, cpu_R[dc->rd],
675cfeea807SEdgar E. Iglesias                               cpu_R[dc->ra], cpu_R[dc->rb]);
676fcf5ef2aSThomas Huth             break;
677fcf5ef2aSThomas Huth         case 2:
678fcf5ef2aSThomas Huth             LOG_DIS("mulhsu r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
679cfeea807SEdgar E. Iglesias             tcg_gen_mulsu2_i32(tmp, cpu_R[dc->rd],
680cfeea807SEdgar E. Iglesias                                cpu_R[dc->ra], cpu_R[dc->rb]);
681fcf5ef2aSThomas Huth             break;
682fcf5ef2aSThomas Huth         case 3:
683fcf5ef2aSThomas Huth             LOG_DIS("mulhu r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
684cfeea807SEdgar E. Iglesias             tcg_gen_mulu2_i32(tmp, cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
685fcf5ef2aSThomas Huth             break;
686fcf5ef2aSThomas Huth         default:
687fcf5ef2aSThomas Huth             cpu_abort(CPU(dc->cpu), "unknown MUL insn %x\n", subcode);
688fcf5ef2aSThomas Huth             break;
689fcf5ef2aSThomas Huth     }
690cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(tmp);
691fcf5ef2aSThomas Huth }
692fcf5ef2aSThomas Huth 
693fcf5ef2aSThomas Huth /* Div unit.  */
694fcf5ef2aSThomas Huth static void dec_div(DisasContext *dc)
695fcf5ef2aSThomas Huth {
696fcf5ef2aSThomas Huth     unsigned int u;
697fcf5ef2aSThomas Huth 
698fcf5ef2aSThomas Huth     u = dc->imm & 2;
699fcf5ef2aSThomas Huth     LOG_DIS("div\n");
700fcf5ef2aSThomas Huth 
7019ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_div)) {
7029ba8cd45SEdgar E. Iglesias         return;
703fcf5ef2aSThomas Huth     }
704fcf5ef2aSThomas Huth 
705fcf5ef2aSThomas Huth     if (u)
706fcf5ef2aSThomas Huth         gen_helper_divu(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)),
707fcf5ef2aSThomas Huth                         cpu_R[dc->ra]);
708fcf5ef2aSThomas Huth     else
709fcf5ef2aSThomas Huth         gen_helper_divs(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)),
710fcf5ef2aSThomas Huth                         cpu_R[dc->ra]);
711fcf5ef2aSThomas Huth     if (!dc->rd)
712cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_R[dc->rd], 0);
713fcf5ef2aSThomas Huth }
714fcf5ef2aSThomas Huth 
715fcf5ef2aSThomas Huth static void dec_barrel(DisasContext *dc)
716fcf5ef2aSThomas Huth {
717cfeea807SEdgar E. Iglesias     TCGv_i32 t0;
718faa48d74SEdgar E. Iglesias     unsigned int imm_w, imm_s;
719d09b2585SEdgar E. Iglesias     bool s, t, e = false, i = false;
720fcf5ef2aSThomas Huth 
7219ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_barrel)) {
722fcf5ef2aSThomas Huth         return;
723fcf5ef2aSThomas Huth     }
724fcf5ef2aSThomas Huth 
725faa48d74SEdgar E. Iglesias     if (dc->type_b) {
726faa48d74SEdgar E. Iglesias         /* Insert and extract are only available in immediate mode.  */
727d09b2585SEdgar E. Iglesias         i = extract32(dc->imm, 15, 1);
728faa48d74SEdgar E. Iglesias         e = extract32(dc->imm, 14, 1);
729faa48d74SEdgar E. Iglesias     }
730e3e84983SEdgar E. Iglesias     s = extract32(dc->imm, 10, 1);
731e3e84983SEdgar E. Iglesias     t = extract32(dc->imm, 9, 1);
732faa48d74SEdgar E. Iglesias     imm_w = extract32(dc->imm, 6, 5);
733faa48d74SEdgar E. Iglesias     imm_s = extract32(dc->imm, 0, 5);
734fcf5ef2aSThomas Huth 
735faa48d74SEdgar E. Iglesias     LOG_DIS("bs%s%s%s r%d r%d r%d\n",
736faa48d74SEdgar E. Iglesias             e ? "e" : "",
737fcf5ef2aSThomas Huth             s ? "l" : "r", t ? "a" : "l", dc->rd, dc->ra, dc->rb);
738fcf5ef2aSThomas Huth 
739faa48d74SEdgar E. Iglesias     if (e) {
740faa48d74SEdgar E. Iglesias         if (imm_w + imm_s > 32 || imm_w == 0) {
741faa48d74SEdgar E. Iglesias             /* These inputs have an undefined behavior.  */
742faa48d74SEdgar E. Iglesias             qemu_log_mask(LOG_GUEST_ERROR, "bsefi: Bad input w=%d s=%d\n",
743faa48d74SEdgar E. Iglesias                           imm_w, imm_s);
744faa48d74SEdgar E. Iglesias         } else {
745faa48d74SEdgar E. Iglesias             tcg_gen_extract_i32(cpu_R[dc->rd], cpu_R[dc->ra], imm_s, imm_w);
746faa48d74SEdgar E. Iglesias         }
747d09b2585SEdgar E. Iglesias     } else if (i) {
748d09b2585SEdgar E. Iglesias         int width = imm_w - imm_s + 1;
749d09b2585SEdgar E. Iglesias 
750d09b2585SEdgar E. Iglesias         if (imm_w < imm_s) {
751d09b2585SEdgar E. Iglesias             /* These inputs have an undefined behavior.  */
752d09b2585SEdgar E. Iglesias             qemu_log_mask(LOG_GUEST_ERROR, "bsifi: Bad input w=%d s=%d\n",
753d09b2585SEdgar E. Iglesias                           imm_w, imm_s);
754d09b2585SEdgar E. Iglesias         } else {
755d09b2585SEdgar E. Iglesias             tcg_gen_deposit_i32(cpu_R[dc->rd], cpu_R[dc->rd], cpu_R[dc->ra],
756d09b2585SEdgar E. Iglesias                                 imm_s, width);
757d09b2585SEdgar E. Iglesias         }
758faa48d74SEdgar E. Iglesias     } else {
759cfeea807SEdgar E. Iglesias         t0 = tcg_temp_new_i32();
760fcf5ef2aSThomas Huth 
761cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(t0, *(dec_alu_op_b(dc)));
762cfeea807SEdgar E. Iglesias         tcg_gen_andi_i32(t0, t0, 31);
763fcf5ef2aSThomas Huth 
7642acf6d53SEdgar E. Iglesias         if (s) {
765cfeea807SEdgar E. Iglesias             tcg_gen_shl_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0);
7662acf6d53SEdgar E. Iglesias         } else {
7672acf6d53SEdgar E. Iglesias             if (t) {
768cfeea807SEdgar E. Iglesias                 tcg_gen_sar_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0);
7692acf6d53SEdgar E. Iglesias             } else {
770cfeea807SEdgar E. Iglesias                 tcg_gen_shr_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0);
771fcf5ef2aSThomas Huth             }
772fcf5ef2aSThomas Huth         }
773cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(t0);
7742acf6d53SEdgar E. Iglesias     }
775faa48d74SEdgar E. Iglesias }
776fcf5ef2aSThomas Huth 
777fcf5ef2aSThomas Huth static void dec_bit(DisasContext *dc)
778fcf5ef2aSThomas Huth {
779fcf5ef2aSThomas Huth     CPUState *cs = CPU(dc->cpu);
780cfeea807SEdgar E. Iglesias     TCGv_i32 t0;
781fcf5ef2aSThomas Huth     unsigned int op;
782fcf5ef2aSThomas Huth 
783fcf5ef2aSThomas Huth     op = dc->ir & ((1 << 9) - 1);
784fcf5ef2aSThomas Huth     switch (op) {
785fcf5ef2aSThomas Huth         case 0x21:
786fcf5ef2aSThomas Huth             /* src.  */
787cfeea807SEdgar E. Iglesias             t0 = tcg_temp_new_i32();
788fcf5ef2aSThomas Huth 
789fcf5ef2aSThomas Huth             LOG_DIS("src r%d r%d\n", dc->rd, dc->ra);
7903e0e16aeSRichard Henderson             tcg_gen_andi_i32(t0, cpu_msr, MSR_CC);
791fcf5ef2aSThomas Huth             write_carry(dc, cpu_R[dc->ra]);
792fcf5ef2aSThomas Huth             if (dc->rd) {
793cfeea807SEdgar E. Iglesias                 tcg_gen_shri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1);
794cfeea807SEdgar E. Iglesias                 tcg_gen_or_i32(cpu_R[dc->rd], cpu_R[dc->rd], t0);
795fcf5ef2aSThomas Huth             }
796cfeea807SEdgar E. Iglesias             tcg_temp_free_i32(t0);
797fcf5ef2aSThomas Huth             break;
798fcf5ef2aSThomas Huth 
799fcf5ef2aSThomas Huth         case 0x1:
800fcf5ef2aSThomas Huth         case 0x41:
801fcf5ef2aSThomas Huth             /* srl.  */
802fcf5ef2aSThomas Huth             LOG_DIS("srl r%d r%d\n", dc->rd, dc->ra);
803fcf5ef2aSThomas Huth 
804fcf5ef2aSThomas Huth             /* Update carry. Note that write carry only looks at the LSB.  */
805fcf5ef2aSThomas Huth             write_carry(dc, cpu_R[dc->ra]);
806fcf5ef2aSThomas Huth             if (dc->rd) {
807fcf5ef2aSThomas Huth                 if (op == 0x41)
808cfeea807SEdgar E. Iglesias                     tcg_gen_shri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1);
809fcf5ef2aSThomas Huth                 else
810cfeea807SEdgar E. Iglesias                     tcg_gen_sari_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1);
811fcf5ef2aSThomas Huth             }
812fcf5ef2aSThomas Huth             break;
813fcf5ef2aSThomas Huth         case 0x60:
814fcf5ef2aSThomas Huth             LOG_DIS("ext8s r%d r%d\n", dc->rd, dc->ra);
815fcf5ef2aSThomas Huth             tcg_gen_ext8s_i32(cpu_R[dc->rd], cpu_R[dc->ra]);
816fcf5ef2aSThomas Huth             break;
817fcf5ef2aSThomas Huth         case 0x61:
818fcf5ef2aSThomas Huth             LOG_DIS("ext16s r%d r%d\n", dc->rd, dc->ra);
819fcf5ef2aSThomas Huth             tcg_gen_ext16s_i32(cpu_R[dc->rd], cpu_R[dc->ra]);
820fcf5ef2aSThomas Huth             break;
821fcf5ef2aSThomas Huth         case 0x64:
822fcf5ef2aSThomas Huth         case 0x66:
823fcf5ef2aSThomas Huth         case 0x74:
824fcf5ef2aSThomas Huth         case 0x76:
825fcf5ef2aSThomas Huth             /* wdc.  */
826fcf5ef2aSThomas Huth             LOG_DIS("wdc r%d\n", dc->ra);
827bdfc1e88SEdgar E. Iglesias             trap_userspace(dc, true);
828fcf5ef2aSThomas Huth             break;
829fcf5ef2aSThomas Huth         case 0x68:
830fcf5ef2aSThomas Huth             /* wic.  */
831fcf5ef2aSThomas Huth             LOG_DIS("wic r%d\n", dc->ra);
832bdfc1e88SEdgar E. Iglesias             trap_userspace(dc, true);
833fcf5ef2aSThomas Huth             break;
834fcf5ef2aSThomas Huth         case 0xe0:
8359ba8cd45SEdgar E. Iglesias             if (trap_illegal(dc, !dc->cpu->cfg.use_pcmp_instr)) {
8369ba8cd45SEdgar E. Iglesias                 return;
837fcf5ef2aSThomas Huth             }
8388fc5239eSEdgar E. Iglesias             if (dc->cpu->cfg.use_pcmp_instr) {
8395318420cSRichard Henderson                 tcg_gen_clzi_i32(cpu_R[dc->rd], cpu_R[dc->ra], 32);
840fcf5ef2aSThomas Huth             }
841fcf5ef2aSThomas Huth             break;
842fcf5ef2aSThomas Huth         case 0x1e0:
843fcf5ef2aSThomas Huth             /* swapb */
844fcf5ef2aSThomas Huth             LOG_DIS("swapb r%d r%d\n", dc->rd, dc->ra);
845fcf5ef2aSThomas Huth             tcg_gen_bswap32_i32(cpu_R[dc->rd], cpu_R[dc->ra]);
846fcf5ef2aSThomas Huth             break;
847fcf5ef2aSThomas Huth         case 0x1e2:
848fcf5ef2aSThomas Huth             /*swaph */
849fcf5ef2aSThomas Huth             LOG_DIS("swaph r%d r%d\n", dc->rd, dc->ra);
850fcf5ef2aSThomas Huth             tcg_gen_rotri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 16);
851fcf5ef2aSThomas Huth             break;
852fcf5ef2aSThomas Huth         default:
853fcf5ef2aSThomas Huth             cpu_abort(cs, "unknown bit oc=%x op=%x rd=%d ra=%d rb=%d\n",
854fcf5ef2aSThomas Huth                       dc->pc, op, dc->rd, dc->ra, dc->rb);
855fcf5ef2aSThomas Huth             break;
856fcf5ef2aSThomas Huth     }
857fcf5ef2aSThomas Huth }
858fcf5ef2aSThomas Huth 
859fcf5ef2aSThomas Huth static inline void sync_jmpstate(DisasContext *dc)
860fcf5ef2aSThomas Huth {
861fcf5ef2aSThomas Huth     if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) {
862fcf5ef2aSThomas Huth         if (dc->jmp == JMP_DIRECT) {
863cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(env_btaken, 1);
864fcf5ef2aSThomas Huth         }
865fcf5ef2aSThomas Huth         dc->jmp = JMP_INDIRECT;
8660f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_btarget, dc->jmp_pc);
867fcf5ef2aSThomas Huth     }
868fcf5ef2aSThomas Huth }
869fcf5ef2aSThomas Huth 
870fcf5ef2aSThomas Huth static void dec_imm(DisasContext *dc)
871fcf5ef2aSThomas Huth {
872fcf5ef2aSThomas Huth     LOG_DIS("imm %x\n", dc->imm << 16);
873cfeea807SEdgar E. Iglesias     tcg_gen_movi_i32(env_imm, (dc->imm << 16));
874fcf5ef2aSThomas Huth     dc->tb_flags |= IMM_FLAG;
875fcf5ef2aSThomas Huth     dc->clear_imm = 0;
876fcf5ef2aSThomas Huth }
877fcf5ef2aSThomas Huth 
878d248e1beSEdgar E. Iglesias static inline void compute_ldst_addr(DisasContext *dc, bool ea, TCGv t)
879fcf5ef2aSThomas Huth {
8800e9033c8SEdgar E. Iglesias     bool extimm = dc->tb_flags & IMM_FLAG;
8810e9033c8SEdgar E. Iglesias     /* Should be set to true if r1 is used by loadstores.  */
8820e9033c8SEdgar E. Iglesias     bool stackprot = false;
883403322eaSEdgar E. Iglesias     TCGv_i32 t32;
884fcf5ef2aSThomas Huth 
885fcf5ef2aSThomas Huth     /* All load/stores use ra.  */
886fcf5ef2aSThomas Huth     if (dc->ra == 1 && dc->cpu->cfg.stackprot) {
8870e9033c8SEdgar E. Iglesias         stackprot = true;
888fcf5ef2aSThomas Huth     }
889fcf5ef2aSThomas Huth 
890fcf5ef2aSThomas Huth     /* Treat the common cases first.  */
891fcf5ef2aSThomas Huth     if (!dc->type_b) {
892d248e1beSEdgar E. Iglesias         if (ea) {
893d248e1beSEdgar E. Iglesias             int addr_size = dc->cpu->cfg.addr_size;
894d248e1beSEdgar E. Iglesias 
895d248e1beSEdgar E. Iglesias             if (addr_size == 32) {
896d248e1beSEdgar E. Iglesias                 tcg_gen_extu_i32_tl(t, cpu_R[dc->rb]);
897d248e1beSEdgar E. Iglesias                 return;
898d248e1beSEdgar E. Iglesias             }
899d248e1beSEdgar E. Iglesias 
900d248e1beSEdgar E. Iglesias             tcg_gen_concat_i32_i64(t, cpu_R[dc->rb], cpu_R[dc->ra]);
901d248e1beSEdgar E. Iglesias             if (addr_size < 64) {
902d248e1beSEdgar E. Iglesias                 /* Mask off out of range bits.  */
903d248e1beSEdgar E. Iglesias                 tcg_gen_andi_i64(t, t, MAKE_64BIT_MASK(0, addr_size));
904d248e1beSEdgar E. Iglesias             }
905d248e1beSEdgar E. Iglesias             return;
906d248e1beSEdgar E. Iglesias         }
907d248e1beSEdgar E. Iglesias 
9080dc4af5cSEdgar E. Iglesias         /* If any of the regs is r0, set t to the value of the other reg.  */
909fcf5ef2aSThomas Huth         if (dc->ra == 0) {
910403322eaSEdgar E. Iglesias             tcg_gen_extu_i32_tl(t, cpu_R[dc->rb]);
9110dc4af5cSEdgar E. Iglesias             return;
912fcf5ef2aSThomas Huth         } else if (dc->rb == 0) {
913403322eaSEdgar E. Iglesias             tcg_gen_extu_i32_tl(t, cpu_R[dc->ra]);
9140dc4af5cSEdgar E. Iglesias             return;
915fcf5ef2aSThomas Huth         }
916fcf5ef2aSThomas Huth 
917fcf5ef2aSThomas Huth         if (dc->rb == 1 && dc->cpu->cfg.stackprot) {
9180e9033c8SEdgar E. Iglesias             stackprot = true;
919fcf5ef2aSThomas Huth         }
920fcf5ef2aSThomas Huth 
921403322eaSEdgar E. Iglesias         t32 = tcg_temp_new_i32();
922403322eaSEdgar E. Iglesias         tcg_gen_add_i32(t32, cpu_R[dc->ra], cpu_R[dc->rb]);
923403322eaSEdgar E. Iglesias         tcg_gen_extu_i32_tl(t, t32);
924403322eaSEdgar E. Iglesias         tcg_temp_free_i32(t32);
925fcf5ef2aSThomas Huth 
926fcf5ef2aSThomas Huth         if (stackprot) {
9270a87e691SEdgar E. Iglesias             gen_helper_stackprot(cpu_env, t);
928fcf5ef2aSThomas Huth         }
9290dc4af5cSEdgar E. Iglesias         return;
930fcf5ef2aSThomas Huth     }
931fcf5ef2aSThomas Huth     /* Immediate.  */
932403322eaSEdgar E. Iglesias     t32 = tcg_temp_new_i32();
933fcf5ef2aSThomas Huth     if (!extimm) {
934f7a66e3aSEdgar E. Iglesias         tcg_gen_addi_i32(t32, cpu_R[dc->ra], (int16_t)dc->imm);
935403322eaSEdgar E. Iglesias     } else {
936403322eaSEdgar E. Iglesias         tcg_gen_add_i32(t32, cpu_R[dc->ra], *(dec_alu_op_b(dc)));
937403322eaSEdgar E. Iglesias     }
938403322eaSEdgar E. Iglesias     tcg_gen_extu_i32_tl(t, t32);
939403322eaSEdgar E. Iglesias     tcg_temp_free_i32(t32);
940fcf5ef2aSThomas Huth 
941fcf5ef2aSThomas Huth     if (stackprot) {
9420a87e691SEdgar E. Iglesias         gen_helper_stackprot(cpu_env, t);
943fcf5ef2aSThomas Huth     }
9440dc4af5cSEdgar E. Iglesias     return;
945fcf5ef2aSThomas Huth }
946fcf5ef2aSThomas Huth 
947fcf5ef2aSThomas Huth static void dec_load(DisasContext *dc)
948fcf5ef2aSThomas Huth {
949403322eaSEdgar E. Iglesias     TCGv_i32 v;
950403322eaSEdgar E. Iglesias     TCGv addr;
9518534063aSEdgar E. Iglesias     unsigned int size;
952d248e1beSEdgar E. Iglesias     bool rev = false, ex = false, ea = false;
953d248e1beSEdgar E. Iglesias     int mem_index = cpu_mmu_index(&dc->cpu->env, false);
95414776ab5STony Nguyen     MemOp mop;
955fcf5ef2aSThomas Huth 
956fcf5ef2aSThomas Huth     mop = dc->opcode & 3;
957fcf5ef2aSThomas Huth     size = 1 << mop;
958fcf5ef2aSThomas Huth     if (!dc->type_b) {
959d248e1beSEdgar E. Iglesias         ea = extract32(dc->ir, 7, 1);
9608534063aSEdgar E. Iglesias         rev = extract32(dc->ir, 9, 1);
9618534063aSEdgar E. Iglesias         ex = extract32(dc->ir, 10, 1);
962fcf5ef2aSThomas Huth     }
963fcf5ef2aSThomas Huth     mop |= MO_TE;
964fcf5ef2aSThomas Huth     if (rev) {
965fcf5ef2aSThomas Huth         mop ^= MO_BSWAP;
966fcf5ef2aSThomas Huth     }
967fcf5ef2aSThomas Huth 
9689ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, size > 4)) {
969fcf5ef2aSThomas Huth         return;
970fcf5ef2aSThomas Huth     }
971fcf5ef2aSThomas Huth 
972d248e1beSEdgar E. Iglesias     if (trap_userspace(dc, ea)) {
973d248e1beSEdgar E. Iglesias         return;
974d248e1beSEdgar E. Iglesias     }
975d248e1beSEdgar E. Iglesias 
976d248e1beSEdgar E. Iglesias     LOG_DIS("l%d%s%s%s%s\n", size, dc->type_b ? "i" : "", rev ? "r" : "",
977d248e1beSEdgar E. Iglesias                                                         ex ? "x" : "",
978d248e1beSEdgar E. Iglesias                                                         ea ? "ea" : "");
979fcf5ef2aSThomas Huth 
980fcf5ef2aSThomas Huth     t_sync_flags(dc);
981403322eaSEdgar E. Iglesias     addr = tcg_temp_new();
982d248e1beSEdgar E. Iglesias     compute_ldst_addr(dc, ea, addr);
983d248e1beSEdgar E. Iglesias     /* Extended addressing bypasses the MMU.  */
984d248e1beSEdgar E. Iglesias     mem_index = ea ? MMU_NOMMU_IDX : mem_index;
985fcf5ef2aSThomas Huth 
986fcf5ef2aSThomas Huth     /*
987fcf5ef2aSThomas Huth      * When doing reverse accesses we need to do two things.
988fcf5ef2aSThomas Huth      *
989fcf5ef2aSThomas Huth      * 1. Reverse the address wrt endianness.
990fcf5ef2aSThomas Huth      * 2. Byteswap the data lanes on the way back into the CPU core.
991fcf5ef2aSThomas Huth      */
992fcf5ef2aSThomas Huth     if (rev && size != 4) {
993fcf5ef2aSThomas Huth         /* Endian reverse the address. t is addr.  */
994fcf5ef2aSThomas Huth         switch (size) {
995fcf5ef2aSThomas Huth             case 1:
996fcf5ef2aSThomas Huth             {
997a6338015SEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 3);
998fcf5ef2aSThomas Huth                 break;
999fcf5ef2aSThomas Huth             }
1000fcf5ef2aSThomas Huth 
1001fcf5ef2aSThomas Huth             case 2:
1002fcf5ef2aSThomas Huth                 /* 00 -> 10
1003fcf5ef2aSThomas Huth                    10 -> 00.  */
1004403322eaSEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 2);
1005fcf5ef2aSThomas Huth                 break;
1006fcf5ef2aSThomas Huth             default:
1007fcf5ef2aSThomas Huth                 cpu_abort(CPU(dc->cpu), "Invalid reverse size\n");
1008fcf5ef2aSThomas Huth                 break;
1009fcf5ef2aSThomas Huth         }
1010fcf5ef2aSThomas Huth     }
1011fcf5ef2aSThomas Huth 
1012fcf5ef2aSThomas Huth     /* lwx does not throw unaligned access errors, so force alignment */
1013fcf5ef2aSThomas Huth     if (ex) {
1014403322eaSEdgar E. Iglesias         tcg_gen_andi_tl(addr, addr, ~3);
1015fcf5ef2aSThomas Huth     }
1016fcf5ef2aSThomas Huth 
1017fcf5ef2aSThomas Huth     /* If we get a fault on a dslot, the jmpstate better be in sync.  */
1018fcf5ef2aSThomas Huth     sync_jmpstate(dc);
1019fcf5ef2aSThomas Huth 
1020fcf5ef2aSThomas Huth     /* Verify alignment if needed.  */
1021fcf5ef2aSThomas Huth     /*
1022fcf5ef2aSThomas Huth      * Microblaze gives MMU faults priority over faults due to
1023fcf5ef2aSThomas Huth      * unaligned addresses. That's why we speculatively do the load
1024fcf5ef2aSThomas Huth      * into v. If the load succeeds, we verify alignment of the
1025fcf5ef2aSThomas Huth      * address and if that succeeds we write into the destination reg.
1026fcf5ef2aSThomas Huth      */
1027cfeea807SEdgar E. Iglesias     v = tcg_temp_new_i32();
1028d248e1beSEdgar E. Iglesias     tcg_gen_qemu_ld_i32(v, addr, mem_index, mop);
1029fcf5ef2aSThomas Huth 
10301507e5f6SEdgar E. Iglesias     if (dc->cpu->cfg.unaligned_exceptions && size > 1) {
1031a6338015SEdgar E. Iglesias         TCGv_i32 t0 = tcg_const_i32(0);
1032a6338015SEdgar E. Iglesias         TCGv_i32 treg = tcg_const_i32(dc->rd);
1033a6338015SEdgar E. Iglesias         TCGv_i32 tsize = tcg_const_i32(size - 1);
1034a6338015SEdgar E. Iglesias 
10350f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, dc->pc);
1036a6338015SEdgar E. Iglesias         gen_helper_memalign(cpu_env, addr, treg, t0, tsize);
1037a6338015SEdgar E. Iglesias 
1038a6338015SEdgar E. Iglesias         tcg_temp_free_i32(t0);
1039a6338015SEdgar E. Iglesias         tcg_temp_free_i32(treg);
1040a6338015SEdgar E. Iglesias         tcg_temp_free_i32(tsize);
1041fcf5ef2aSThomas Huth     }
1042fcf5ef2aSThomas Huth 
1043fcf5ef2aSThomas Huth     if (ex) {
1044403322eaSEdgar E. Iglesias         tcg_gen_mov_tl(env_res_addr, addr);
1045cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(env_res_val, v);
1046fcf5ef2aSThomas Huth     }
1047fcf5ef2aSThomas Huth     if (dc->rd) {
1048cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(cpu_R[dc->rd], v);
1049fcf5ef2aSThomas Huth     }
1050cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(v);
1051fcf5ef2aSThomas Huth 
1052fcf5ef2aSThomas Huth     if (ex) { /* lwx */
1053fcf5ef2aSThomas Huth         /* no support for AXI exclusive so always clear C */
1054fcf5ef2aSThomas Huth         write_carryi(dc, 0);
1055fcf5ef2aSThomas Huth     }
1056fcf5ef2aSThomas Huth 
1057403322eaSEdgar E. Iglesias     tcg_temp_free(addr);
1058fcf5ef2aSThomas Huth }
1059fcf5ef2aSThomas Huth 
1060fcf5ef2aSThomas Huth static void dec_store(DisasContext *dc)
1061fcf5ef2aSThomas Huth {
1062403322eaSEdgar E. Iglesias     TCGv addr;
1063fcf5ef2aSThomas Huth     TCGLabel *swx_skip = NULL;
1064b51b3d43SEdgar E. Iglesias     unsigned int size;
1065d248e1beSEdgar E. Iglesias     bool rev = false, ex = false, ea = false;
1066d248e1beSEdgar E. Iglesias     int mem_index = cpu_mmu_index(&dc->cpu->env, false);
106714776ab5STony Nguyen     MemOp mop;
1068fcf5ef2aSThomas Huth 
1069fcf5ef2aSThomas Huth     mop = dc->opcode & 3;
1070fcf5ef2aSThomas Huth     size = 1 << mop;
1071fcf5ef2aSThomas Huth     if (!dc->type_b) {
1072d248e1beSEdgar E. Iglesias         ea = extract32(dc->ir, 7, 1);
1073b51b3d43SEdgar E. Iglesias         rev = extract32(dc->ir, 9, 1);
1074b51b3d43SEdgar E. Iglesias         ex = extract32(dc->ir, 10, 1);
1075fcf5ef2aSThomas Huth     }
1076fcf5ef2aSThomas Huth     mop |= MO_TE;
1077fcf5ef2aSThomas Huth     if (rev) {
1078fcf5ef2aSThomas Huth         mop ^= MO_BSWAP;
1079fcf5ef2aSThomas Huth     }
1080fcf5ef2aSThomas Huth 
10819ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, size > 4)) {
1082fcf5ef2aSThomas Huth         return;
1083fcf5ef2aSThomas Huth     }
1084fcf5ef2aSThomas Huth 
1085d248e1beSEdgar E. Iglesias     trap_userspace(dc, ea);
1086d248e1beSEdgar E. Iglesias 
1087d248e1beSEdgar E. Iglesias     LOG_DIS("s%d%s%s%s%s\n", size, dc->type_b ? "i" : "", rev ? "r" : "",
1088d248e1beSEdgar E. Iglesias                                                         ex ? "x" : "",
1089d248e1beSEdgar E. Iglesias                                                         ea ? "ea" : "");
1090fcf5ef2aSThomas Huth     t_sync_flags(dc);
1091fcf5ef2aSThomas Huth     /* If we get a fault on a dslot, the jmpstate better be in sync.  */
1092fcf5ef2aSThomas Huth     sync_jmpstate(dc);
10930dc4af5cSEdgar E. Iglesias     /* SWX needs a temp_local.  */
1094403322eaSEdgar E. Iglesias     addr = ex ? tcg_temp_local_new() : tcg_temp_new();
1095d248e1beSEdgar E. Iglesias     compute_ldst_addr(dc, ea, addr);
1096d248e1beSEdgar E. Iglesias     /* Extended addressing bypasses the MMU.  */
1097d248e1beSEdgar E. Iglesias     mem_index = ea ? MMU_NOMMU_IDX : mem_index;
1098fcf5ef2aSThomas Huth 
1099fcf5ef2aSThomas Huth     if (ex) { /* swx */
1100cfeea807SEdgar E. Iglesias         TCGv_i32 tval;
1101fcf5ef2aSThomas Huth 
1102fcf5ef2aSThomas Huth         /* swx does not throw unaligned access errors, so force alignment */
1103403322eaSEdgar E. Iglesias         tcg_gen_andi_tl(addr, addr, ~3);
1104fcf5ef2aSThomas Huth 
1105fcf5ef2aSThomas Huth         write_carryi(dc, 1);
1106fcf5ef2aSThomas Huth         swx_skip = gen_new_label();
1107403322eaSEdgar E. Iglesias         tcg_gen_brcond_tl(TCG_COND_NE, env_res_addr, addr, swx_skip);
1108fcf5ef2aSThomas Huth 
1109071cdc67SEdgar E. Iglesias         /*
1110071cdc67SEdgar E. Iglesias          * Compare the value loaded at lwx with current contents of
1111071cdc67SEdgar E. Iglesias          * the reserved location.
1112071cdc67SEdgar E. Iglesias          */
1113cfeea807SEdgar E. Iglesias         tval = tcg_temp_new_i32();
1114071cdc67SEdgar E. Iglesias 
1115071cdc67SEdgar E. Iglesias         tcg_gen_atomic_cmpxchg_i32(tval, addr, env_res_val,
1116071cdc67SEdgar E. Iglesias                                    cpu_R[dc->rd], mem_index,
1117071cdc67SEdgar E. Iglesias                                    mop);
1118071cdc67SEdgar E. Iglesias 
1119cfeea807SEdgar E. Iglesias         tcg_gen_brcond_i32(TCG_COND_NE, env_res_val, tval, swx_skip);
1120fcf5ef2aSThomas Huth         write_carryi(dc, 0);
1121cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(tval);
1122fcf5ef2aSThomas Huth     }
1123fcf5ef2aSThomas Huth 
1124fcf5ef2aSThomas Huth     if (rev && size != 4) {
1125fcf5ef2aSThomas Huth         /* Endian reverse the address. t is addr.  */
1126fcf5ef2aSThomas Huth         switch (size) {
1127fcf5ef2aSThomas Huth             case 1:
1128fcf5ef2aSThomas Huth             {
1129a6338015SEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 3);
1130fcf5ef2aSThomas Huth                 break;
1131fcf5ef2aSThomas Huth             }
1132fcf5ef2aSThomas Huth 
1133fcf5ef2aSThomas Huth             case 2:
1134fcf5ef2aSThomas Huth                 /* 00 -> 10
1135fcf5ef2aSThomas Huth                    10 -> 00.  */
1136fcf5ef2aSThomas Huth                 /* Force addr into the temp.  */
1137403322eaSEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 2);
1138fcf5ef2aSThomas Huth                 break;
1139fcf5ef2aSThomas Huth             default:
1140fcf5ef2aSThomas Huth                 cpu_abort(CPU(dc->cpu), "Invalid reverse size\n");
1141fcf5ef2aSThomas Huth                 break;
1142fcf5ef2aSThomas Huth         }
1143fcf5ef2aSThomas Huth     }
1144071cdc67SEdgar E. Iglesias 
1145071cdc67SEdgar E. Iglesias     if (!ex) {
1146d248e1beSEdgar E. Iglesias         tcg_gen_qemu_st_i32(cpu_R[dc->rd], addr, mem_index, mop);
1147071cdc67SEdgar E. Iglesias     }
1148fcf5ef2aSThomas Huth 
1149fcf5ef2aSThomas Huth     /* Verify alignment if needed.  */
11501507e5f6SEdgar E. Iglesias     if (dc->cpu->cfg.unaligned_exceptions && size > 1) {
1151a6338015SEdgar E. Iglesias         TCGv_i32 t1 = tcg_const_i32(1);
1152a6338015SEdgar E. Iglesias         TCGv_i32 treg = tcg_const_i32(dc->rd);
1153a6338015SEdgar E. Iglesias         TCGv_i32 tsize = tcg_const_i32(size - 1);
1154a6338015SEdgar E. Iglesias 
11550f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, dc->pc);
1156fcf5ef2aSThomas Huth         /* FIXME: if the alignment is wrong, we should restore the value
1157fcf5ef2aSThomas Huth          *        in memory. One possible way to achieve this is to probe
1158fcf5ef2aSThomas Huth          *        the MMU prior to the memaccess, thay way we could put
1159fcf5ef2aSThomas Huth          *        the alignment checks in between the probe and the mem
1160fcf5ef2aSThomas Huth          *        access.
1161fcf5ef2aSThomas Huth          */
1162a6338015SEdgar E. Iglesias         gen_helper_memalign(cpu_env, addr, treg, t1, tsize);
1163a6338015SEdgar E. Iglesias 
1164a6338015SEdgar E. Iglesias         tcg_temp_free_i32(t1);
1165a6338015SEdgar E. Iglesias         tcg_temp_free_i32(treg);
1166a6338015SEdgar E. Iglesias         tcg_temp_free_i32(tsize);
1167fcf5ef2aSThomas Huth     }
1168fcf5ef2aSThomas Huth 
1169fcf5ef2aSThomas Huth     if (ex) {
1170fcf5ef2aSThomas Huth         gen_set_label(swx_skip);
1171fcf5ef2aSThomas Huth     }
1172fcf5ef2aSThomas Huth 
1173403322eaSEdgar E. Iglesias     tcg_temp_free(addr);
1174fcf5ef2aSThomas Huth }
1175fcf5ef2aSThomas Huth 
1176fcf5ef2aSThomas Huth static inline void eval_cc(DisasContext *dc, unsigned int cc,
11779e6e1828SEdgar E. Iglesias                            TCGv_i32 d, TCGv_i32 a)
1178fcf5ef2aSThomas Huth {
1179d89b86e9SEdgar E. Iglesias     static const int mb_to_tcg_cc[] = {
1180d89b86e9SEdgar E. Iglesias         [CC_EQ] = TCG_COND_EQ,
1181d89b86e9SEdgar E. Iglesias         [CC_NE] = TCG_COND_NE,
1182d89b86e9SEdgar E. Iglesias         [CC_LT] = TCG_COND_LT,
1183d89b86e9SEdgar E. Iglesias         [CC_LE] = TCG_COND_LE,
1184d89b86e9SEdgar E. Iglesias         [CC_GE] = TCG_COND_GE,
1185d89b86e9SEdgar E. Iglesias         [CC_GT] = TCG_COND_GT,
1186d89b86e9SEdgar E. Iglesias     };
1187d89b86e9SEdgar E. Iglesias 
1188fcf5ef2aSThomas Huth     switch (cc) {
1189fcf5ef2aSThomas Huth     case CC_EQ:
1190fcf5ef2aSThomas Huth     case CC_NE:
1191fcf5ef2aSThomas Huth     case CC_LT:
1192fcf5ef2aSThomas Huth     case CC_LE:
1193fcf5ef2aSThomas Huth     case CC_GE:
1194fcf5ef2aSThomas Huth     case CC_GT:
11959e6e1828SEdgar E. Iglesias         tcg_gen_setcondi_i32(mb_to_tcg_cc[cc], d, a, 0);
1196fcf5ef2aSThomas Huth         break;
1197fcf5ef2aSThomas Huth     default:
1198fcf5ef2aSThomas Huth         cpu_abort(CPU(dc->cpu), "Unknown condition code %x.\n", cc);
1199fcf5ef2aSThomas Huth         break;
1200fcf5ef2aSThomas Huth     }
1201fcf5ef2aSThomas Huth }
1202fcf5ef2aSThomas Huth 
12030f96e96bSRichard Henderson static void eval_cond_jmp(DisasContext *dc, TCGv_i32 pc_true, TCGv_i32 pc_false)
1204fcf5ef2aSThomas Huth {
12050f96e96bSRichard Henderson     TCGv_i32 zero = tcg_const_i32(0);
1206e956caf2SEdgar E. Iglesias 
12070f96e96bSRichard Henderson     tcg_gen_movcond_i32(TCG_COND_NE, cpu_pc,
12080f96e96bSRichard Henderson                         env_btaken, zero,
1209e956caf2SEdgar E. Iglesias                         pc_true, pc_false);
1210e956caf2SEdgar E. Iglesias 
12110f96e96bSRichard Henderson     tcg_temp_free_i32(zero);
1212fcf5ef2aSThomas Huth }
1213fcf5ef2aSThomas Huth 
1214f91c60f0SEdgar E. Iglesias static void dec_setup_dslot(DisasContext *dc)
1215f91c60f0SEdgar E. Iglesias {
1216f91c60f0SEdgar E. Iglesias         TCGv_i32 tmp = tcg_const_i32(dc->type_b && (dc->tb_flags & IMM_FLAG));
1217f91c60f0SEdgar E. Iglesias 
1218f91c60f0SEdgar E. Iglesias         dc->delayed_branch = 2;
1219f91c60f0SEdgar E. Iglesias         dc->tb_flags |= D_FLAG;
1220f91c60f0SEdgar E. Iglesias 
1221f91c60f0SEdgar E. Iglesias         tcg_gen_st_i32(tmp, cpu_env, offsetof(CPUMBState, bimm));
1222f91c60f0SEdgar E. Iglesias         tcg_temp_free_i32(tmp);
1223f91c60f0SEdgar E. Iglesias }
1224f91c60f0SEdgar E. Iglesias 
1225fcf5ef2aSThomas Huth static void dec_bcc(DisasContext *dc)
1226fcf5ef2aSThomas Huth {
1227fcf5ef2aSThomas Huth     unsigned int cc;
1228fcf5ef2aSThomas Huth     unsigned int dslot;
1229fcf5ef2aSThomas Huth 
1230fcf5ef2aSThomas Huth     cc = EXTRACT_FIELD(dc->ir, 21, 23);
1231fcf5ef2aSThomas Huth     dslot = dc->ir & (1 << 25);
1232fcf5ef2aSThomas Huth     LOG_DIS("bcc%s r%d %x\n", dslot ? "d" : "", dc->ra, dc->imm);
1233fcf5ef2aSThomas Huth 
1234fcf5ef2aSThomas Huth     dc->delayed_branch = 1;
1235fcf5ef2aSThomas Huth     if (dslot) {
1236f91c60f0SEdgar E. Iglesias         dec_setup_dslot(dc);
1237fcf5ef2aSThomas Huth     }
1238fcf5ef2aSThomas Huth 
1239fcf5ef2aSThomas Huth     if (dec_alu_op_b_is_small_imm(dc)) {
1240fcf5ef2aSThomas Huth         int32_t offset = (int32_t)((int16_t)dc->imm); /* sign-extend.  */
1241fcf5ef2aSThomas Huth 
12420f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_btarget, dc->pc + offset);
1243fcf5ef2aSThomas Huth         dc->jmp = JMP_DIRECT_CC;
1244fcf5ef2aSThomas Huth         dc->jmp_pc = dc->pc + offset;
1245fcf5ef2aSThomas Huth     } else {
1246fcf5ef2aSThomas Huth         dc->jmp = JMP_INDIRECT;
12470f96e96bSRichard Henderson         tcg_gen_addi_i32(cpu_btarget, *dec_alu_op_b(dc), dc->pc);
1248fcf5ef2aSThomas Huth     }
12499e6e1828SEdgar E. Iglesias     eval_cc(dc, cc, env_btaken, cpu_R[dc->ra]);
1250fcf5ef2aSThomas Huth }
1251fcf5ef2aSThomas Huth 
1252fcf5ef2aSThomas Huth static void dec_br(DisasContext *dc)
1253fcf5ef2aSThomas Huth {
1254fcf5ef2aSThomas Huth     unsigned int dslot, link, abs, mbar;
1255fcf5ef2aSThomas Huth 
1256fcf5ef2aSThomas Huth     dslot = dc->ir & (1 << 20);
1257fcf5ef2aSThomas Huth     abs = dc->ir & (1 << 19);
1258fcf5ef2aSThomas Huth     link = dc->ir & (1 << 18);
1259fcf5ef2aSThomas Huth 
1260fcf5ef2aSThomas Huth     /* Memory barrier.  */
1261fcf5ef2aSThomas Huth     mbar = (dc->ir >> 16) & 31;
1262fcf5ef2aSThomas Huth     if (mbar == 2 && dc->imm == 4) {
1263badcbf9dSEdgar E. Iglesias         uint16_t mbar_imm = dc->rd;
1264badcbf9dSEdgar E. Iglesias 
12656f3c458bSEdgar E. Iglesias         LOG_DIS("mbar %d\n", mbar_imm);
12666f3c458bSEdgar E. Iglesias 
12673f172744SEdgar E. Iglesias         /* Data access memory barrier.  */
12683f172744SEdgar E. Iglesias         if ((mbar_imm & 2) == 0) {
12693f172744SEdgar E. Iglesias             tcg_gen_mb(TCG_BAR_SC | TCG_MO_ALL);
12703f172744SEdgar E. Iglesias         }
12713f172744SEdgar E. Iglesias 
1272fcf5ef2aSThomas Huth         /* mbar IMM & 16 decodes to sleep.  */
1273badcbf9dSEdgar E. Iglesias         if (mbar_imm & 16) {
1274*41ba37c4SRichard Henderson             TCGv_i32 tmp_1;
1275fcf5ef2aSThomas Huth 
1276fcf5ef2aSThomas Huth             LOG_DIS("sleep\n");
1277fcf5ef2aSThomas Huth 
1278b4919e7dSEdgar E. Iglesias             if (trap_userspace(dc, true)) {
1279b4919e7dSEdgar E. Iglesias                 /* Sleep is a privileged instruction.  */
1280b4919e7dSEdgar E. Iglesias                 return;
1281b4919e7dSEdgar E. Iglesias             }
1282b4919e7dSEdgar E. Iglesias 
1283fcf5ef2aSThomas Huth             t_sync_flags(dc);
1284*41ba37c4SRichard Henderson 
1285*41ba37c4SRichard Henderson             tmp_1 = tcg_const_i32(1);
1286fcf5ef2aSThomas Huth             tcg_gen_st_i32(tmp_1, cpu_env,
1287fcf5ef2aSThomas Huth                            -offsetof(MicroBlazeCPU, env)
1288fcf5ef2aSThomas Huth                            +offsetof(CPUState, halted));
1289fcf5ef2aSThomas Huth             tcg_temp_free_i32(tmp_1);
1290*41ba37c4SRichard Henderson 
1291*41ba37c4SRichard Henderson             tcg_gen_movi_i32(cpu_pc, dc->pc + 4);
1292*41ba37c4SRichard Henderson 
1293*41ba37c4SRichard Henderson             gen_raise_exception(dc, EXCP_HLT);
1294fcf5ef2aSThomas Huth             return;
1295fcf5ef2aSThomas Huth         }
1296fcf5ef2aSThomas Huth         /* Break the TB.  */
1297fcf5ef2aSThomas Huth         dc->cpustate_changed = 1;
1298fcf5ef2aSThomas Huth         return;
1299fcf5ef2aSThomas Huth     }
1300fcf5ef2aSThomas Huth 
1301fcf5ef2aSThomas Huth     LOG_DIS("br%s%s%s%s imm=%x\n",
1302fcf5ef2aSThomas Huth              abs ? "a" : "", link ? "l" : "",
1303fcf5ef2aSThomas Huth              dc->type_b ? "i" : "", dslot ? "d" : "",
1304fcf5ef2aSThomas Huth              dc->imm);
1305fcf5ef2aSThomas Huth 
1306fcf5ef2aSThomas Huth     dc->delayed_branch = 1;
1307fcf5ef2aSThomas Huth     if (dslot) {
1308f91c60f0SEdgar E. Iglesias         dec_setup_dslot(dc);
1309fcf5ef2aSThomas Huth     }
1310fcf5ef2aSThomas Huth     if (link && dc->rd)
1311cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_R[dc->rd], dc->pc);
1312fcf5ef2aSThomas Huth 
1313fcf5ef2aSThomas Huth     dc->jmp = JMP_INDIRECT;
1314fcf5ef2aSThomas Huth     if (abs) {
1315cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(env_btaken, 1);
13160f96e96bSRichard Henderson         tcg_gen_mov_i32(cpu_btarget, *(dec_alu_op_b(dc)));
1317fcf5ef2aSThomas Huth         if (link && !dslot) {
1318*41ba37c4SRichard Henderson             if (!(dc->tb_flags & IMM_FLAG) &&
1319*41ba37c4SRichard Henderson                 (dc->imm == 8 || dc->imm == 0x18)) {
1320*41ba37c4SRichard Henderson                 gen_raise_exception_sync(dc, EXCP_BREAK);
1321*41ba37c4SRichard Henderson             }
1322fcf5ef2aSThomas Huth             if (dc->imm == 0) {
1323bdfc1e88SEdgar E. Iglesias                 if (trap_userspace(dc, true)) {
1324fcf5ef2aSThomas Huth                     return;
1325fcf5ef2aSThomas Huth                 }
1326*41ba37c4SRichard Henderson                 gen_raise_exception_sync(dc, EXCP_DEBUG);
1327fcf5ef2aSThomas Huth             }
1328fcf5ef2aSThomas Huth         }
1329fcf5ef2aSThomas Huth     } else {
1330fcf5ef2aSThomas Huth         if (dec_alu_op_b_is_small_imm(dc)) {
1331fcf5ef2aSThomas Huth             dc->jmp = JMP_DIRECT;
1332fcf5ef2aSThomas Huth             dc->jmp_pc = dc->pc + (int32_t)((int16_t)dc->imm);
1333fcf5ef2aSThomas Huth         } else {
1334cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(env_btaken, 1);
13350f96e96bSRichard Henderson             tcg_gen_addi_i32(cpu_btarget, *dec_alu_op_b(dc), dc->pc);
1336fcf5ef2aSThomas Huth         }
1337fcf5ef2aSThomas Huth     }
1338fcf5ef2aSThomas Huth }
1339fcf5ef2aSThomas Huth 
1340fcf5ef2aSThomas Huth static inline void do_rti(DisasContext *dc)
1341fcf5ef2aSThomas Huth {
1342cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
1343cfeea807SEdgar E. Iglesias     t0 = tcg_temp_new_i32();
1344cfeea807SEdgar E. Iglesias     t1 = tcg_temp_new_i32();
13453e0e16aeSRichard Henderson     tcg_gen_mov_i32(t1, cpu_msr);
13460a22f8cfSEdgar E. Iglesias     tcg_gen_shri_i32(t0, t1, 1);
13470a22f8cfSEdgar E. Iglesias     tcg_gen_ori_i32(t1, t1, MSR_IE);
1348cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM));
1349fcf5ef2aSThomas Huth 
1350cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM));
1351cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(t1, t1, t0);
1352fcf5ef2aSThomas Huth     msr_write(dc, t1);
1353cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t1);
1354cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
1355fcf5ef2aSThomas Huth     dc->tb_flags &= ~DRTI_FLAG;
1356fcf5ef2aSThomas Huth }
1357fcf5ef2aSThomas Huth 
1358fcf5ef2aSThomas Huth static inline void do_rtb(DisasContext *dc)
1359fcf5ef2aSThomas Huth {
1360cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
1361cfeea807SEdgar E. Iglesias     t0 = tcg_temp_new_i32();
1362cfeea807SEdgar E. Iglesias     t1 = tcg_temp_new_i32();
13633e0e16aeSRichard Henderson     tcg_gen_mov_i32(t1, cpu_msr);
13640a22f8cfSEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~MSR_BIP);
1365cfeea807SEdgar E. Iglesias     tcg_gen_shri_i32(t0, t1, 1);
1366cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM));
1367fcf5ef2aSThomas Huth 
1368cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM));
1369cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(t1, t1, t0);
1370fcf5ef2aSThomas Huth     msr_write(dc, t1);
1371cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t1);
1372cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
1373fcf5ef2aSThomas Huth     dc->tb_flags &= ~DRTB_FLAG;
1374fcf5ef2aSThomas Huth }
1375fcf5ef2aSThomas Huth 
1376fcf5ef2aSThomas Huth static inline void do_rte(DisasContext *dc)
1377fcf5ef2aSThomas Huth {
1378cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
1379cfeea807SEdgar E. Iglesias     t0 = tcg_temp_new_i32();
1380cfeea807SEdgar E. Iglesias     t1 = tcg_temp_new_i32();
1381fcf5ef2aSThomas Huth 
13823e0e16aeSRichard Henderson     tcg_gen_mov_i32(t1, cpu_msr);
13830a22f8cfSEdgar E. Iglesias     tcg_gen_ori_i32(t1, t1, MSR_EE);
1384cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~MSR_EIP);
1385cfeea807SEdgar E. Iglesias     tcg_gen_shri_i32(t0, t1, 1);
1386cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM));
1387fcf5ef2aSThomas Huth 
1388cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM));
1389cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(t1, t1, t0);
1390fcf5ef2aSThomas Huth     msr_write(dc, t1);
1391cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t1);
1392cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
1393fcf5ef2aSThomas Huth     dc->tb_flags &= ~DRTE_FLAG;
1394fcf5ef2aSThomas Huth }
1395fcf5ef2aSThomas Huth 
1396fcf5ef2aSThomas Huth static void dec_rts(DisasContext *dc)
1397fcf5ef2aSThomas Huth {
1398fcf5ef2aSThomas Huth     unsigned int b_bit, i_bit, e_bit;
1399fcf5ef2aSThomas Huth 
1400fcf5ef2aSThomas Huth     i_bit = dc->ir & (1 << 21);
1401fcf5ef2aSThomas Huth     b_bit = dc->ir & (1 << 22);
1402fcf5ef2aSThomas Huth     e_bit = dc->ir & (1 << 23);
1403fcf5ef2aSThomas Huth 
1404bdfc1e88SEdgar E. Iglesias     if (trap_userspace(dc, i_bit || b_bit || e_bit)) {
1405bdfc1e88SEdgar E. Iglesias         return;
1406bdfc1e88SEdgar E. Iglesias     }
1407bdfc1e88SEdgar E. Iglesias 
1408f91c60f0SEdgar E. Iglesias     dec_setup_dslot(dc);
1409fcf5ef2aSThomas Huth 
1410fcf5ef2aSThomas Huth     if (i_bit) {
1411fcf5ef2aSThomas Huth         LOG_DIS("rtid ir=%x\n", dc->ir);
1412fcf5ef2aSThomas Huth         dc->tb_flags |= DRTI_FLAG;
1413fcf5ef2aSThomas Huth     } else if (b_bit) {
1414fcf5ef2aSThomas Huth         LOG_DIS("rtbd ir=%x\n", dc->ir);
1415fcf5ef2aSThomas Huth         dc->tb_flags |= DRTB_FLAG;
1416fcf5ef2aSThomas Huth     } else if (e_bit) {
1417fcf5ef2aSThomas Huth         LOG_DIS("rted ir=%x\n", dc->ir);
1418fcf5ef2aSThomas Huth         dc->tb_flags |= DRTE_FLAG;
1419fcf5ef2aSThomas Huth     } else
1420fcf5ef2aSThomas Huth         LOG_DIS("rts ir=%x\n", dc->ir);
1421fcf5ef2aSThomas Huth 
1422fcf5ef2aSThomas Huth     dc->jmp = JMP_INDIRECT;
1423cfeea807SEdgar E. Iglesias     tcg_gen_movi_i32(env_btaken, 1);
14240f96e96bSRichard Henderson     tcg_gen_add_i32(cpu_btarget, cpu_R[dc->ra], *dec_alu_op_b(dc));
1425fcf5ef2aSThomas Huth }
1426fcf5ef2aSThomas Huth 
1427fcf5ef2aSThomas Huth static int dec_check_fpuv2(DisasContext *dc)
1428fcf5ef2aSThomas Huth {
1429fcf5ef2aSThomas Huth     if ((dc->cpu->cfg.use_fpu != 2) && (dc->tb_flags & MSR_EE_FLAG)) {
1430*41ba37c4SRichard Henderson         gen_raise_hw_excp(dc, ESR_EC_FPU);
1431fcf5ef2aSThomas Huth     }
14322016a6a7SJoe Komlodi     return (dc->cpu->cfg.use_fpu == 2) ? PVR2_USE_FPU2_MASK : 0;
1433fcf5ef2aSThomas Huth }
1434fcf5ef2aSThomas Huth 
1435fcf5ef2aSThomas Huth static void dec_fpu(DisasContext *dc)
1436fcf5ef2aSThomas Huth {
1437fcf5ef2aSThomas Huth     unsigned int fpu_insn;
1438fcf5ef2aSThomas Huth 
14399ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_fpu)) {
1440fcf5ef2aSThomas Huth         return;
1441fcf5ef2aSThomas Huth     }
1442fcf5ef2aSThomas Huth 
1443fcf5ef2aSThomas Huth     fpu_insn = (dc->ir >> 7) & 7;
1444fcf5ef2aSThomas Huth 
1445fcf5ef2aSThomas Huth     switch (fpu_insn) {
1446fcf5ef2aSThomas Huth         case 0:
1447fcf5ef2aSThomas Huth             gen_helper_fadd(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
1448fcf5ef2aSThomas Huth                             cpu_R[dc->rb]);
1449fcf5ef2aSThomas Huth             break;
1450fcf5ef2aSThomas Huth 
1451fcf5ef2aSThomas Huth         case 1:
1452fcf5ef2aSThomas Huth             gen_helper_frsub(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
1453fcf5ef2aSThomas Huth                              cpu_R[dc->rb]);
1454fcf5ef2aSThomas Huth             break;
1455fcf5ef2aSThomas Huth 
1456fcf5ef2aSThomas Huth         case 2:
1457fcf5ef2aSThomas Huth             gen_helper_fmul(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
1458fcf5ef2aSThomas Huth                             cpu_R[dc->rb]);
1459fcf5ef2aSThomas Huth             break;
1460fcf5ef2aSThomas Huth 
1461fcf5ef2aSThomas Huth         case 3:
1462fcf5ef2aSThomas Huth             gen_helper_fdiv(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
1463fcf5ef2aSThomas Huth                             cpu_R[dc->rb]);
1464fcf5ef2aSThomas Huth             break;
1465fcf5ef2aSThomas Huth 
1466fcf5ef2aSThomas Huth         case 4:
1467fcf5ef2aSThomas Huth             switch ((dc->ir >> 4) & 7) {
1468fcf5ef2aSThomas Huth                 case 0:
1469fcf5ef2aSThomas Huth                     gen_helper_fcmp_un(cpu_R[dc->rd], cpu_env,
1470fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1471fcf5ef2aSThomas Huth                     break;
1472fcf5ef2aSThomas Huth                 case 1:
1473fcf5ef2aSThomas Huth                     gen_helper_fcmp_lt(cpu_R[dc->rd], cpu_env,
1474fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1475fcf5ef2aSThomas Huth                     break;
1476fcf5ef2aSThomas Huth                 case 2:
1477fcf5ef2aSThomas Huth                     gen_helper_fcmp_eq(cpu_R[dc->rd], cpu_env,
1478fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1479fcf5ef2aSThomas Huth                     break;
1480fcf5ef2aSThomas Huth                 case 3:
1481fcf5ef2aSThomas Huth                     gen_helper_fcmp_le(cpu_R[dc->rd], cpu_env,
1482fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1483fcf5ef2aSThomas Huth                     break;
1484fcf5ef2aSThomas Huth                 case 4:
1485fcf5ef2aSThomas Huth                     gen_helper_fcmp_gt(cpu_R[dc->rd], cpu_env,
1486fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1487fcf5ef2aSThomas Huth                     break;
1488fcf5ef2aSThomas Huth                 case 5:
1489fcf5ef2aSThomas Huth                     gen_helper_fcmp_ne(cpu_R[dc->rd], cpu_env,
1490fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1491fcf5ef2aSThomas Huth                     break;
1492fcf5ef2aSThomas Huth                 case 6:
1493fcf5ef2aSThomas Huth                     gen_helper_fcmp_ge(cpu_R[dc->rd], cpu_env,
1494fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1495fcf5ef2aSThomas Huth                     break;
1496fcf5ef2aSThomas Huth                 default:
1497fcf5ef2aSThomas Huth                     qemu_log_mask(LOG_UNIMP,
1498fcf5ef2aSThomas Huth                                   "unimplemented fcmp fpu_insn=%x pc=%x"
1499fcf5ef2aSThomas Huth                                   " opc=%x\n",
1500fcf5ef2aSThomas Huth                                   fpu_insn, dc->pc, dc->opcode);
1501fcf5ef2aSThomas Huth                     dc->abort_at_next_insn = 1;
1502fcf5ef2aSThomas Huth                     break;
1503fcf5ef2aSThomas Huth             }
1504fcf5ef2aSThomas Huth             break;
1505fcf5ef2aSThomas Huth 
1506fcf5ef2aSThomas Huth         case 5:
1507fcf5ef2aSThomas Huth             if (!dec_check_fpuv2(dc)) {
1508fcf5ef2aSThomas Huth                 return;
1509fcf5ef2aSThomas Huth             }
1510fcf5ef2aSThomas Huth             gen_helper_flt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]);
1511fcf5ef2aSThomas Huth             break;
1512fcf5ef2aSThomas Huth 
1513fcf5ef2aSThomas Huth         case 6:
1514fcf5ef2aSThomas Huth             if (!dec_check_fpuv2(dc)) {
1515fcf5ef2aSThomas Huth                 return;
1516fcf5ef2aSThomas Huth             }
1517fcf5ef2aSThomas Huth             gen_helper_fint(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]);
1518fcf5ef2aSThomas Huth             break;
1519fcf5ef2aSThomas Huth 
1520fcf5ef2aSThomas Huth         case 7:
1521fcf5ef2aSThomas Huth             if (!dec_check_fpuv2(dc)) {
1522fcf5ef2aSThomas Huth                 return;
1523fcf5ef2aSThomas Huth             }
1524fcf5ef2aSThomas Huth             gen_helper_fsqrt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]);
1525fcf5ef2aSThomas Huth             break;
1526fcf5ef2aSThomas Huth 
1527fcf5ef2aSThomas Huth         default:
1528fcf5ef2aSThomas Huth             qemu_log_mask(LOG_UNIMP, "unimplemented FPU insn fpu_insn=%x pc=%x"
1529fcf5ef2aSThomas Huth                           " opc=%x\n",
1530fcf5ef2aSThomas Huth                           fpu_insn, dc->pc, dc->opcode);
1531fcf5ef2aSThomas Huth             dc->abort_at_next_insn = 1;
1532fcf5ef2aSThomas Huth             break;
1533fcf5ef2aSThomas Huth     }
1534fcf5ef2aSThomas Huth }
1535fcf5ef2aSThomas Huth 
1536fcf5ef2aSThomas Huth static void dec_null(DisasContext *dc)
1537fcf5ef2aSThomas Huth {
15389ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, true)) {
1539fcf5ef2aSThomas Huth         return;
1540fcf5ef2aSThomas Huth     }
1541fcf5ef2aSThomas Huth     qemu_log_mask(LOG_GUEST_ERROR, "unknown insn pc=%x opc=%x\n", dc->pc, dc->opcode);
1542fcf5ef2aSThomas Huth     dc->abort_at_next_insn = 1;
1543fcf5ef2aSThomas Huth }
1544fcf5ef2aSThomas Huth 
1545fcf5ef2aSThomas Huth /* Insns connected to FSL or AXI stream attached devices.  */
1546fcf5ef2aSThomas Huth static void dec_stream(DisasContext *dc)
1547fcf5ef2aSThomas Huth {
1548fcf5ef2aSThomas Huth     TCGv_i32 t_id, t_ctrl;
1549fcf5ef2aSThomas Huth     int ctrl;
1550fcf5ef2aSThomas Huth 
1551fcf5ef2aSThomas Huth     LOG_DIS("%s%s imm=%x\n", dc->rd ? "get" : "put",
1552fcf5ef2aSThomas Huth             dc->type_b ? "" : "d", dc->imm);
1553fcf5ef2aSThomas Huth 
1554bdfc1e88SEdgar E. Iglesias     if (trap_userspace(dc, true)) {
1555fcf5ef2aSThomas Huth         return;
1556fcf5ef2aSThomas Huth     }
1557fcf5ef2aSThomas Huth 
1558cfeea807SEdgar E. Iglesias     t_id = tcg_temp_new_i32();
1559fcf5ef2aSThomas Huth     if (dc->type_b) {
1560cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(t_id, dc->imm & 0xf);
1561fcf5ef2aSThomas Huth         ctrl = dc->imm >> 10;
1562fcf5ef2aSThomas Huth     } else {
1563cfeea807SEdgar E. Iglesias         tcg_gen_andi_i32(t_id, cpu_R[dc->rb], 0xf);
1564fcf5ef2aSThomas Huth         ctrl = dc->imm >> 5;
1565fcf5ef2aSThomas Huth     }
1566fcf5ef2aSThomas Huth 
1567cfeea807SEdgar E. Iglesias     t_ctrl = tcg_const_i32(ctrl);
1568fcf5ef2aSThomas Huth 
1569fcf5ef2aSThomas Huth     if (dc->rd == 0) {
1570fcf5ef2aSThomas Huth         gen_helper_put(t_id, t_ctrl, cpu_R[dc->ra]);
1571fcf5ef2aSThomas Huth     } else {
1572fcf5ef2aSThomas Huth         gen_helper_get(cpu_R[dc->rd], t_id, t_ctrl);
1573fcf5ef2aSThomas Huth     }
1574cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t_id);
1575cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t_ctrl);
1576fcf5ef2aSThomas Huth }
1577fcf5ef2aSThomas Huth 
1578fcf5ef2aSThomas Huth static struct decoder_info {
1579fcf5ef2aSThomas Huth     struct {
1580fcf5ef2aSThomas Huth         uint32_t bits;
1581fcf5ef2aSThomas Huth         uint32_t mask;
1582fcf5ef2aSThomas Huth     };
1583fcf5ef2aSThomas Huth     void (*dec)(DisasContext *dc);
1584fcf5ef2aSThomas Huth } decinfo[] = {
1585fcf5ef2aSThomas Huth     {DEC_ADD, dec_add},
1586fcf5ef2aSThomas Huth     {DEC_SUB, dec_sub},
1587fcf5ef2aSThomas Huth     {DEC_AND, dec_and},
1588fcf5ef2aSThomas Huth     {DEC_XOR, dec_xor},
1589fcf5ef2aSThomas Huth     {DEC_OR, dec_or},
1590fcf5ef2aSThomas Huth     {DEC_BIT, dec_bit},
1591fcf5ef2aSThomas Huth     {DEC_BARREL, dec_barrel},
1592fcf5ef2aSThomas Huth     {DEC_LD, dec_load},
1593fcf5ef2aSThomas Huth     {DEC_ST, dec_store},
1594fcf5ef2aSThomas Huth     {DEC_IMM, dec_imm},
1595fcf5ef2aSThomas Huth     {DEC_BR, dec_br},
1596fcf5ef2aSThomas Huth     {DEC_BCC, dec_bcc},
1597fcf5ef2aSThomas Huth     {DEC_RTS, dec_rts},
1598fcf5ef2aSThomas Huth     {DEC_FPU, dec_fpu},
1599fcf5ef2aSThomas Huth     {DEC_MUL, dec_mul},
1600fcf5ef2aSThomas Huth     {DEC_DIV, dec_div},
1601fcf5ef2aSThomas Huth     {DEC_MSR, dec_msr},
1602fcf5ef2aSThomas Huth     {DEC_STREAM, dec_stream},
1603fcf5ef2aSThomas Huth     {{0, 0}, dec_null}
1604fcf5ef2aSThomas Huth };
1605fcf5ef2aSThomas Huth 
1606fcf5ef2aSThomas Huth static inline void decode(DisasContext *dc, uint32_t ir)
1607fcf5ef2aSThomas Huth {
1608fcf5ef2aSThomas Huth     int i;
1609fcf5ef2aSThomas Huth 
1610fcf5ef2aSThomas Huth     dc->ir = ir;
1611fcf5ef2aSThomas Huth     LOG_DIS("%8.8x\t", dc->ir);
1612fcf5ef2aSThomas Huth 
1613462c2544SEdgar E. Iglesias     if (ir == 0) {
16141ee1bd28SEdgar E. Iglesias         trap_illegal(dc, dc->cpu->cfg.opcode_0_illegal);
1615462c2544SEdgar E. Iglesias         /* Don't decode nop/zero instructions any further.  */
1616462c2544SEdgar E. Iglesias         return;
1617462c2544SEdgar E. Iglesias     }
1618fcf5ef2aSThomas Huth 
1619fcf5ef2aSThomas Huth     /* bit 2 seems to indicate insn type.  */
1620fcf5ef2aSThomas Huth     dc->type_b = ir & (1 << 29);
1621fcf5ef2aSThomas Huth 
1622fcf5ef2aSThomas Huth     dc->opcode = EXTRACT_FIELD(ir, 26, 31);
1623fcf5ef2aSThomas Huth     dc->rd = EXTRACT_FIELD(ir, 21, 25);
1624fcf5ef2aSThomas Huth     dc->ra = EXTRACT_FIELD(ir, 16, 20);
1625fcf5ef2aSThomas Huth     dc->rb = EXTRACT_FIELD(ir, 11, 15);
1626fcf5ef2aSThomas Huth     dc->imm = EXTRACT_FIELD(ir, 0, 15);
1627fcf5ef2aSThomas Huth 
1628fcf5ef2aSThomas Huth     /* Large switch for all insns.  */
1629fcf5ef2aSThomas Huth     for (i = 0; i < ARRAY_SIZE(decinfo); i++) {
1630fcf5ef2aSThomas Huth         if ((dc->opcode & decinfo[i].mask) == decinfo[i].bits) {
1631fcf5ef2aSThomas Huth             decinfo[i].dec(dc);
1632fcf5ef2aSThomas Huth             break;
1633fcf5ef2aSThomas Huth         }
1634fcf5ef2aSThomas Huth     }
1635fcf5ef2aSThomas Huth }
1636fcf5ef2aSThomas Huth 
1637fcf5ef2aSThomas Huth /* generate intermediate code for basic block 'tb'.  */
16388b86d6d2SRichard Henderson void gen_intermediate_code(CPUState *cs, TranslationBlock *tb, int max_insns)
1639fcf5ef2aSThomas Huth {
16409c489ea6SLluís Vilanova     CPUMBState *env = cs->env_ptr;
1641f5c7e93aSRichard Henderson     MicroBlazeCPU *cpu = env_archcpu(env);
1642fcf5ef2aSThomas Huth     uint32_t pc_start;
1643fcf5ef2aSThomas Huth     struct DisasContext ctx;
1644fcf5ef2aSThomas Huth     struct DisasContext *dc = &ctx;
164556371527SEmilio G. Cota     uint32_t page_start, org_flags;
1646cfeea807SEdgar E. Iglesias     uint32_t npc;
1647fcf5ef2aSThomas Huth     int num_insns;
1648fcf5ef2aSThomas Huth 
1649fcf5ef2aSThomas Huth     pc_start = tb->pc;
1650fcf5ef2aSThomas Huth     dc->cpu = cpu;
1651fcf5ef2aSThomas Huth     dc->tb = tb;
1652fcf5ef2aSThomas Huth     org_flags = dc->synced_flags = dc->tb_flags = tb->flags;
1653fcf5ef2aSThomas Huth 
1654fcf5ef2aSThomas Huth     dc->is_jmp = DISAS_NEXT;
1655fcf5ef2aSThomas Huth     dc->jmp = 0;
1656fcf5ef2aSThomas Huth     dc->delayed_branch = !!(dc->tb_flags & D_FLAG);
1657fcf5ef2aSThomas Huth     if (dc->delayed_branch) {
1658fcf5ef2aSThomas Huth         dc->jmp = JMP_INDIRECT;
1659fcf5ef2aSThomas Huth     }
1660fcf5ef2aSThomas Huth     dc->pc = pc_start;
1661fcf5ef2aSThomas Huth     dc->singlestep_enabled = cs->singlestep_enabled;
1662fcf5ef2aSThomas Huth     dc->cpustate_changed = 0;
1663fcf5ef2aSThomas Huth     dc->abort_at_next_insn = 0;
1664fcf5ef2aSThomas Huth 
1665fcf5ef2aSThomas Huth     if (pc_start & 3) {
1666fcf5ef2aSThomas Huth         cpu_abort(cs, "Microblaze: unaligned PC=%x\n", pc_start);
1667fcf5ef2aSThomas Huth     }
1668fcf5ef2aSThomas Huth 
166956371527SEmilio G. Cota     page_start = pc_start & TARGET_PAGE_MASK;
1670fcf5ef2aSThomas Huth     num_insns = 0;
1671fcf5ef2aSThomas Huth 
1672fcf5ef2aSThomas Huth     gen_tb_start(tb);
1673fcf5ef2aSThomas Huth     do
1674fcf5ef2aSThomas Huth     {
1675fcf5ef2aSThomas Huth         tcg_gen_insn_start(dc->pc);
1676fcf5ef2aSThomas Huth         num_insns++;
1677fcf5ef2aSThomas Huth 
1678fcf5ef2aSThomas Huth #if SIM_COMPAT
1679fcf5ef2aSThomas Huth         if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM)) {
16800f96e96bSRichard Henderson             tcg_gen_movi_i32(cpu_pc, dc->pc);
1681fcf5ef2aSThomas Huth             gen_helper_debug();
1682fcf5ef2aSThomas Huth         }
1683fcf5ef2aSThomas Huth #endif
1684fcf5ef2aSThomas Huth 
1685fcf5ef2aSThomas Huth         if (unlikely(cpu_breakpoint_test(cs, dc->pc, BP_ANY))) {
1686*41ba37c4SRichard Henderson             gen_raise_exception_sync(dc, EXCP_DEBUG);
1687fcf5ef2aSThomas Huth             /* The address covered by the breakpoint must be included in
1688fcf5ef2aSThomas Huth                [tb->pc, tb->pc + tb->size) in order to for it to be
1689fcf5ef2aSThomas Huth                properly cleared -- thus we increment the PC here so that
1690fcf5ef2aSThomas Huth                the logic setting tb->size below does the right thing.  */
1691fcf5ef2aSThomas Huth             dc->pc += 4;
1692fcf5ef2aSThomas Huth             break;
1693fcf5ef2aSThomas Huth         }
1694fcf5ef2aSThomas Huth 
1695fcf5ef2aSThomas Huth         /* Pretty disas.  */
1696fcf5ef2aSThomas Huth         LOG_DIS("%8.8x:\t", dc->pc);
1697fcf5ef2aSThomas Huth 
1698c5a49c63SEmilio G. Cota         if (num_insns == max_insns && (tb_cflags(tb) & CF_LAST_IO)) {
1699fcf5ef2aSThomas Huth             gen_io_start();
1700fcf5ef2aSThomas Huth         }
1701fcf5ef2aSThomas Huth 
1702fcf5ef2aSThomas Huth         dc->clear_imm = 1;
1703fcf5ef2aSThomas Huth         decode(dc, cpu_ldl_code(env, dc->pc));
1704fcf5ef2aSThomas Huth         if (dc->clear_imm)
1705fcf5ef2aSThomas Huth             dc->tb_flags &= ~IMM_FLAG;
1706fcf5ef2aSThomas Huth         dc->pc += 4;
1707fcf5ef2aSThomas Huth 
1708fcf5ef2aSThomas Huth         if (dc->delayed_branch) {
1709fcf5ef2aSThomas Huth             dc->delayed_branch--;
1710fcf5ef2aSThomas Huth             if (!dc->delayed_branch) {
1711fcf5ef2aSThomas Huth                 if (dc->tb_flags & DRTI_FLAG)
1712fcf5ef2aSThomas Huth                     do_rti(dc);
1713fcf5ef2aSThomas Huth                  if (dc->tb_flags & DRTB_FLAG)
1714fcf5ef2aSThomas Huth                     do_rtb(dc);
1715fcf5ef2aSThomas Huth                 if (dc->tb_flags & DRTE_FLAG)
1716fcf5ef2aSThomas Huth                     do_rte(dc);
1717fcf5ef2aSThomas Huth                 /* Clear the delay slot flag.  */
1718fcf5ef2aSThomas Huth                 dc->tb_flags &= ~D_FLAG;
1719fcf5ef2aSThomas Huth                 /* If it is a direct jump, try direct chaining.  */
1720fcf5ef2aSThomas Huth                 if (dc->jmp == JMP_INDIRECT) {
17210f96e96bSRichard Henderson                     TCGv_i32 tmp_pc = tcg_const_i32(dc->pc);
17220f96e96bSRichard Henderson                     eval_cond_jmp(dc, cpu_btarget, tmp_pc);
17230f96e96bSRichard Henderson                     tcg_temp_free_i32(tmp_pc);
1724fcf5ef2aSThomas Huth                     dc->is_jmp = DISAS_JUMP;
1725fcf5ef2aSThomas Huth                 } else if (dc->jmp == JMP_DIRECT) {
1726fcf5ef2aSThomas Huth                     t_sync_flags(dc);
1727fcf5ef2aSThomas Huth                     gen_goto_tb(dc, 0, dc->jmp_pc);
1728fcf5ef2aSThomas Huth                     dc->is_jmp = DISAS_TB_JUMP;
1729fcf5ef2aSThomas Huth                 } else if (dc->jmp == JMP_DIRECT_CC) {
1730fcf5ef2aSThomas Huth                     TCGLabel *l1 = gen_new_label();
1731fcf5ef2aSThomas Huth                     t_sync_flags(dc);
1732fcf5ef2aSThomas Huth                     /* Conditional jmp.  */
1733cfeea807SEdgar E. Iglesias                     tcg_gen_brcondi_i32(TCG_COND_NE, env_btaken, 0, l1);
1734fcf5ef2aSThomas Huth                     gen_goto_tb(dc, 1, dc->pc);
1735fcf5ef2aSThomas Huth                     gen_set_label(l1);
1736fcf5ef2aSThomas Huth                     gen_goto_tb(dc, 0, dc->jmp_pc);
1737fcf5ef2aSThomas Huth 
1738fcf5ef2aSThomas Huth                     dc->is_jmp = DISAS_TB_JUMP;
1739fcf5ef2aSThomas Huth                 }
1740fcf5ef2aSThomas Huth                 break;
1741fcf5ef2aSThomas Huth             }
1742fcf5ef2aSThomas Huth         }
1743fcf5ef2aSThomas Huth         if (cs->singlestep_enabled) {
1744fcf5ef2aSThomas Huth             break;
1745fcf5ef2aSThomas Huth         }
1746fcf5ef2aSThomas Huth     } while (!dc->is_jmp && !dc->cpustate_changed
1747fcf5ef2aSThomas Huth              && !tcg_op_buf_full()
1748fcf5ef2aSThomas Huth              && !singlestep
174956371527SEmilio G. Cota              && (dc->pc - page_start < TARGET_PAGE_SIZE)
1750fcf5ef2aSThomas Huth              && num_insns < max_insns);
1751fcf5ef2aSThomas Huth 
1752fcf5ef2aSThomas Huth     npc = dc->pc;
1753fcf5ef2aSThomas Huth     if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) {
1754fcf5ef2aSThomas Huth         if (dc->tb_flags & D_FLAG) {
1755fcf5ef2aSThomas Huth             dc->is_jmp = DISAS_UPDATE;
17560f96e96bSRichard Henderson             tcg_gen_movi_i32(cpu_pc, npc);
1757fcf5ef2aSThomas Huth             sync_jmpstate(dc);
1758fcf5ef2aSThomas Huth         } else
1759fcf5ef2aSThomas Huth             npc = dc->jmp_pc;
1760fcf5ef2aSThomas Huth     }
1761fcf5ef2aSThomas Huth 
1762fcf5ef2aSThomas Huth     /* Force an update if the per-tb cpu state has changed.  */
1763fcf5ef2aSThomas Huth     if (dc->is_jmp == DISAS_NEXT
1764fcf5ef2aSThomas Huth         && (dc->cpustate_changed || org_flags != dc->tb_flags)) {
1765fcf5ef2aSThomas Huth         dc->is_jmp = DISAS_UPDATE;
17660f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, npc);
1767fcf5ef2aSThomas Huth     }
1768fcf5ef2aSThomas Huth     t_sync_flags(dc);
1769fcf5ef2aSThomas Huth 
1770fcf5ef2aSThomas Huth     if (unlikely(cs->singlestep_enabled)) {
1771fcf5ef2aSThomas Huth         TCGv_i32 tmp = tcg_const_i32(EXCP_DEBUG);
1772fcf5ef2aSThomas Huth 
1773fcf5ef2aSThomas Huth         if (dc->is_jmp != DISAS_JUMP) {
17740f96e96bSRichard Henderson             tcg_gen_movi_i32(cpu_pc, npc);
1775fcf5ef2aSThomas Huth         }
1776fcf5ef2aSThomas Huth         gen_helper_raise_exception(cpu_env, tmp);
1777fcf5ef2aSThomas Huth         tcg_temp_free_i32(tmp);
1778fcf5ef2aSThomas Huth     } else {
1779fcf5ef2aSThomas Huth         switch(dc->is_jmp) {
1780fcf5ef2aSThomas Huth             case DISAS_NEXT:
1781fcf5ef2aSThomas Huth                 gen_goto_tb(dc, 1, npc);
1782fcf5ef2aSThomas Huth                 break;
1783fcf5ef2aSThomas Huth             default:
1784fcf5ef2aSThomas Huth             case DISAS_JUMP:
1785fcf5ef2aSThomas Huth             case DISAS_UPDATE:
1786fcf5ef2aSThomas Huth                 /* indicate that the hash table must be used
1787fcf5ef2aSThomas Huth                    to find the next TB */
178807ea28b4SRichard Henderson                 tcg_gen_exit_tb(NULL, 0);
1789fcf5ef2aSThomas Huth                 break;
1790fcf5ef2aSThomas Huth             case DISAS_TB_JUMP:
1791fcf5ef2aSThomas Huth                 /* nothing more to generate */
1792fcf5ef2aSThomas Huth                 break;
1793fcf5ef2aSThomas Huth         }
1794fcf5ef2aSThomas Huth     }
1795fcf5ef2aSThomas Huth     gen_tb_end(tb, num_insns);
1796fcf5ef2aSThomas Huth 
1797fcf5ef2aSThomas Huth     tb->size = dc->pc - pc_start;
1798fcf5ef2aSThomas Huth     tb->icount = num_insns;
1799fcf5ef2aSThomas Huth 
1800fcf5ef2aSThomas Huth #ifdef DEBUG_DISAS
1801fcf5ef2aSThomas Huth #if !SIM_COMPAT
1802fcf5ef2aSThomas Huth     if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM)
1803fcf5ef2aSThomas Huth         && qemu_log_in_addr_range(pc_start)) {
1804fc59d2d8SRobert Foley         FILE *logfile = qemu_log_lock();
1805fcf5ef2aSThomas Huth         qemu_log("--------------\n");
18061d48474dSRichard Henderson         log_target_disas(cs, pc_start, dc->pc - pc_start);
1807fc59d2d8SRobert Foley         qemu_log_unlock(logfile);
1808fcf5ef2aSThomas Huth     }
1809fcf5ef2aSThomas Huth #endif
1810fcf5ef2aSThomas Huth #endif
1811fcf5ef2aSThomas Huth     assert(!dc->abort_at_next_insn);
1812fcf5ef2aSThomas Huth }
1813fcf5ef2aSThomas Huth 
181490c84c56SMarkus Armbruster void mb_cpu_dump_state(CPUState *cs, FILE *f, int flags)
1815fcf5ef2aSThomas Huth {
1816fcf5ef2aSThomas Huth     MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs);
1817fcf5ef2aSThomas Huth     CPUMBState *env = &cpu->env;
1818fcf5ef2aSThomas Huth     int i;
1819fcf5ef2aSThomas Huth 
182090c84c56SMarkus Armbruster     if (!env) {
1821fcf5ef2aSThomas Huth         return;
182290c84c56SMarkus Armbruster     }
1823fcf5ef2aSThomas Huth 
18240f96e96bSRichard Henderson     qemu_fprintf(f, "IN: PC=%x %s\n",
182576e8187dSRichard Henderson                  env->pc, lookup_symbol(env->pc));
18266efd5599SRichard Henderson     qemu_fprintf(f, "rmsr=%x resr=%x rear=%" PRIx64 " "
1827ccf628b7SRichard Henderson                  "debug=%x imm=%x iflags=%x fsr=%x rbtr=%x\n",
182878e9caf2SRichard Henderson                  env->msr, env->esr, env->ear,
18295a8e0136SRichard Henderson                  env->debug, env->imm, env->iflags, env->fsr,
18306fbf78f2SRichard Henderson                  env->btr);
18310f96e96bSRichard Henderson     qemu_fprintf(f, "btaken=%d btarget=%x mode=%s(saved=%s) eip=%d ie=%d\n",
1832fcf5ef2aSThomas Huth                  env->btaken, env->btarget,
18332e5282caSRichard Henderson                  (env->msr & MSR_UM) ? "user" : "kernel",
18342e5282caSRichard Henderson                  (env->msr & MSR_UMS) ? "user" : "kernel",
18352e5282caSRichard Henderson                  (bool)(env->msr & MSR_EIP),
18362e5282caSRichard Henderson                  (bool)(env->msr & MSR_IE));
18372ead1b18SJoe Komlodi     for (i = 0; i < 12; i++) {
18382ead1b18SJoe Komlodi         qemu_fprintf(f, "rpvr%2.2d=%8.8x ", i, env->pvr.regs[i]);
18392ead1b18SJoe Komlodi         if ((i + 1) % 4 == 0) {
18402ead1b18SJoe Komlodi             qemu_fprintf(f, "\n");
18412ead1b18SJoe Komlodi         }
18422ead1b18SJoe Komlodi     }
1843fcf5ef2aSThomas Huth 
18442ead1b18SJoe Komlodi     /* Registers that aren't modeled are reported as 0 */
184539db007eSRichard Henderson     qemu_fprintf(f, "redr=%x rpid=0 rzpr=0 rtlbx=0 rtlbsx=0 "
1846af20a93aSRichard Henderson                     "rtlblo=0 rtlbhi=0\n", env->edr);
18472ead1b18SJoe Komlodi     qemu_fprintf(f, "slr=%x shr=%x\n", env->slr, env->shr);
1848fcf5ef2aSThomas Huth     for (i = 0; i < 32; i++) {
184990c84c56SMarkus Armbruster         qemu_fprintf(f, "r%2.2d=%8.8x ", i, env->regs[i]);
1850fcf5ef2aSThomas Huth         if ((i + 1) % 4 == 0)
185190c84c56SMarkus Armbruster             qemu_fprintf(f, "\n");
1852fcf5ef2aSThomas Huth         }
185390c84c56SMarkus Armbruster     qemu_fprintf(f, "\n\n");
1854fcf5ef2aSThomas Huth }
1855fcf5ef2aSThomas Huth 
1856fcf5ef2aSThomas Huth void mb_tcg_init(void)
1857fcf5ef2aSThomas Huth {
1858fcf5ef2aSThomas Huth     int i;
1859fcf5ef2aSThomas Huth 
1860cfeea807SEdgar E. Iglesias     env_debug = tcg_global_mem_new_i32(cpu_env,
1861fcf5ef2aSThomas Huth                     offsetof(CPUMBState, debug),
1862fcf5ef2aSThomas Huth                     "debug0");
1863cfeea807SEdgar E. Iglesias     env_iflags = tcg_global_mem_new_i32(cpu_env,
1864fcf5ef2aSThomas Huth                     offsetof(CPUMBState, iflags),
1865fcf5ef2aSThomas Huth                     "iflags");
1866cfeea807SEdgar E. Iglesias     env_imm = tcg_global_mem_new_i32(cpu_env,
1867fcf5ef2aSThomas Huth                     offsetof(CPUMBState, imm),
1868fcf5ef2aSThomas Huth                     "imm");
18690f96e96bSRichard Henderson     cpu_btarget = tcg_global_mem_new_i32(cpu_env,
1870fcf5ef2aSThomas Huth                      offsetof(CPUMBState, btarget),
1871fcf5ef2aSThomas Huth                      "btarget");
1872cfeea807SEdgar E. Iglesias     env_btaken = tcg_global_mem_new_i32(cpu_env,
1873fcf5ef2aSThomas Huth                      offsetof(CPUMBState, btaken),
1874fcf5ef2aSThomas Huth                      "btaken");
1875403322eaSEdgar E. Iglesias     env_res_addr = tcg_global_mem_new(cpu_env,
1876fcf5ef2aSThomas Huth                      offsetof(CPUMBState, res_addr),
1877fcf5ef2aSThomas Huth                      "res_addr");
1878cfeea807SEdgar E. Iglesias     env_res_val = tcg_global_mem_new_i32(cpu_env,
1879fcf5ef2aSThomas Huth                      offsetof(CPUMBState, res_val),
1880fcf5ef2aSThomas Huth                      "res_val");
1881fcf5ef2aSThomas Huth     for (i = 0; i < ARRAY_SIZE(cpu_R); i++) {
1882cfeea807SEdgar E. Iglesias         cpu_R[i] = tcg_global_mem_new_i32(cpu_env,
1883fcf5ef2aSThomas Huth                           offsetof(CPUMBState, regs[i]),
1884fcf5ef2aSThomas Huth                           regnames[i]);
1885fcf5ef2aSThomas Huth     }
188676e8187dSRichard Henderson 
1887aa28e6d4SRichard Henderson     cpu_pc =
18880f96e96bSRichard Henderson         tcg_global_mem_new_i32(cpu_env, offsetof(CPUMBState, pc), "rpc");
1889aa28e6d4SRichard Henderson     cpu_msr =
18903e0e16aeSRichard Henderson         tcg_global_mem_new_i32(cpu_env, offsetof(CPUMBState, msr), "rmsr");
1891fcf5ef2aSThomas Huth }
1892fcf5ef2aSThomas Huth 
1893fcf5ef2aSThomas Huth void restore_state_to_opc(CPUMBState *env, TranslationBlock *tb,
1894fcf5ef2aSThomas Huth                           target_ulong *data)
1895fcf5ef2aSThomas Huth {
189676e8187dSRichard Henderson     env->pc = data[0];
1897fcf5ef2aSThomas Huth }
1898