xref: /openbmc/qemu/target/microblaze/translate.c (revision 86017ccfbd2b39371bd47dd7d2bed69ee184c3e5)
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;
60aa28e6d4SRichard Henderson static TCGv_i64 cpu_ear;
616efd5599SRichard Henderson static TCGv_i32 cpu_esr;
62aa28e6d4SRichard Henderson static TCGv_i64 cpu_btr;
63aa28e6d4SRichard Henderson static TCGv_i64 cpu_edr;
64cfeea807SEdgar E. Iglesias static TCGv_i32 env_imm;
65cfeea807SEdgar E. Iglesias static TCGv_i32 env_btaken;
660f96e96bSRichard Henderson static TCGv_i32 cpu_btarget;
67cfeea807SEdgar E. Iglesias static TCGv_i32 env_iflags;
68403322eaSEdgar E. Iglesias static TCGv env_res_addr;
69cfeea807SEdgar E. Iglesias static TCGv_i32 env_res_val;
70fcf5ef2aSThomas Huth 
71fcf5ef2aSThomas Huth #include "exec/gen-icount.h"
72fcf5ef2aSThomas Huth 
73fcf5ef2aSThomas Huth /* This is the state at translation time.  */
74fcf5ef2aSThomas Huth typedef struct DisasContext {
75fcf5ef2aSThomas Huth     MicroBlazeCPU *cpu;
76cfeea807SEdgar E. Iglesias     uint32_t pc;
77fcf5ef2aSThomas Huth 
78fcf5ef2aSThomas Huth     /* Decoder.  */
79fcf5ef2aSThomas Huth     int type_b;
80fcf5ef2aSThomas Huth     uint32_t ir;
81fcf5ef2aSThomas Huth     uint8_t opcode;
82fcf5ef2aSThomas Huth     uint8_t rd, ra, rb;
83fcf5ef2aSThomas Huth     uint16_t imm;
84fcf5ef2aSThomas Huth 
85fcf5ef2aSThomas Huth     unsigned int cpustate_changed;
86fcf5ef2aSThomas Huth     unsigned int delayed_branch;
87fcf5ef2aSThomas Huth     unsigned int tb_flags, synced_flags; /* tb dependent flags.  */
88fcf5ef2aSThomas Huth     unsigned int clear_imm;
89fcf5ef2aSThomas Huth     int is_jmp;
90fcf5ef2aSThomas Huth 
91fcf5ef2aSThomas Huth #define JMP_NOJMP     0
92fcf5ef2aSThomas Huth #define JMP_DIRECT    1
93fcf5ef2aSThomas Huth #define JMP_DIRECT_CC 2
94fcf5ef2aSThomas Huth #define JMP_INDIRECT  3
95fcf5ef2aSThomas Huth     unsigned int jmp;
96fcf5ef2aSThomas Huth     uint32_t jmp_pc;
97fcf5ef2aSThomas Huth 
98fcf5ef2aSThomas Huth     int abort_at_next_insn;
99fcf5ef2aSThomas Huth     struct TranslationBlock *tb;
100fcf5ef2aSThomas Huth     int singlestep_enabled;
101fcf5ef2aSThomas Huth } DisasContext;
102fcf5ef2aSThomas Huth 
103fcf5ef2aSThomas Huth static const char *regnames[] =
104fcf5ef2aSThomas Huth {
105fcf5ef2aSThomas Huth     "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
106fcf5ef2aSThomas Huth     "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
107fcf5ef2aSThomas Huth     "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",
108fcf5ef2aSThomas Huth     "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",
109fcf5ef2aSThomas Huth };
110fcf5ef2aSThomas Huth 
111fcf5ef2aSThomas Huth static inline void t_sync_flags(DisasContext *dc)
112fcf5ef2aSThomas Huth {
113fcf5ef2aSThomas Huth     /* Synch the tb dependent flags between translator and runtime.  */
114fcf5ef2aSThomas Huth     if (dc->tb_flags != dc->synced_flags) {
115cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(env_iflags, dc->tb_flags);
116fcf5ef2aSThomas Huth         dc->synced_flags = dc->tb_flags;
117fcf5ef2aSThomas Huth     }
118fcf5ef2aSThomas Huth }
119fcf5ef2aSThomas Huth 
120fcf5ef2aSThomas Huth static inline void t_gen_raise_exception(DisasContext *dc, uint32_t index)
121fcf5ef2aSThomas Huth {
122fcf5ef2aSThomas Huth     TCGv_i32 tmp = tcg_const_i32(index);
123fcf5ef2aSThomas Huth 
124fcf5ef2aSThomas Huth     t_sync_flags(dc);
1250f96e96bSRichard Henderson     tcg_gen_movi_i32(cpu_pc, dc->pc);
126fcf5ef2aSThomas Huth     gen_helper_raise_exception(cpu_env, tmp);
127fcf5ef2aSThomas Huth     tcg_temp_free_i32(tmp);
128fcf5ef2aSThomas Huth     dc->is_jmp = DISAS_UPDATE;
129fcf5ef2aSThomas Huth }
130fcf5ef2aSThomas Huth 
131fcf5ef2aSThomas Huth static inline bool use_goto_tb(DisasContext *dc, target_ulong dest)
132fcf5ef2aSThomas Huth {
133fcf5ef2aSThomas Huth #ifndef CONFIG_USER_ONLY
134fcf5ef2aSThomas Huth     return (dc->tb->pc & TARGET_PAGE_MASK) == (dest & TARGET_PAGE_MASK);
135fcf5ef2aSThomas Huth #else
136fcf5ef2aSThomas Huth     return true;
137fcf5ef2aSThomas Huth #endif
138fcf5ef2aSThomas Huth }
139fcf5ef2aSThomas Huth 
140fcf5ef2aSThomas Huth static void gen_goto_tb(DisasContext *dc, int n, target_ulong dest)
141fcf5ef2aSThomas Huth {
142fcf5ef2aSThomas Huth     if (use_goto_tb(dc, dest)) {
143fcf5ef2aSThomas Huth         tcg_gen_goto_tb(n);
1440f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, dest);
14507ea28b4SRichard Henderson         tcg_gen_exit_tb(dc->tb, n);
146fcf5ef2aSThomas Huth     } else {
1470f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, dest);
14807ea28b4SRichard Henderson         tcg_gen_exit_tb(NULL, 0);
149fcf5ef2aSThomas Huth     }
150fcf5ef2aSThomas Huth }
151fcf5ef2aSThomas Huth 
152cfeea807SEdgar E. Iglesias static void read_carry(DisasContext *dc, TCGv_i32 d)
153fcf5ef2aSThomas Huth {
1543e0e16aeSRichard Henderson     tcg_gen_shri_i32(d, cpu_msr, 31);
155fcf5ef2aSThomas Huth }
156fcf5ef2aSThomas Huth 
157fcf5ef2aSThomas Huth /*
158fcf5ef2aSThomas Huth  * write_carry sets the carry bits in MSR based on bit 0 of v.
159fcf5ef2aSThomas Huth  * v[31:1] are ignored.
160fcf5ef2aSThomas Huth  */
161cfeea807SEdgar E. Iglesias static void write_carry(DisasContext *dc, TCGv_i32 v)
162fcf5ef2aSThomas Huth {
1630a22f8cfSEdgar E. Iglesias     /* Deposit bit 0 into MSR_C and the alias MSR_CC.  */
1643e0e16aeSRichard Henderson     tcg_gen_deposit_i32(cpu_msr, cpu_msr, v, 2, 1);
1653e0e16aeSRichard Henderson     tcg_gen_deposit_i32(cpu_msr, cpu_msr, v, 31, 1);
166fcf5ef2aSThomas Huth }
167fcf5ef2aSThomas Huth 
168fcf5ef2aSThomas Huth static void write_carryi(DisasContext *dc, bool carry)
169fcf5ef2aSThomas Huth {
170cfeea807SEdgar E. Iglesias     TCGv_i32 t0 = tcg_temp_new_i32();
171cfeea807SEdgar E. Iglesias     tcg_gen_movi_i32(t0, carry);
172fcf5ef2aSThomas Huth     write_carry(dc, t0);
173cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
174fcf5ef2aSThomas Huth }
175fcf5ef2aSThomas Huth 
176bdfc1e88SEdgar E. Iglesias /*
1779ba8cd45SEdgar E. Iglesias  * Returns true if the insn an illegal operation.
1789ba8cd45SEdgar E. Iglesias  * If exceptions are enabled, an exception is raised.
1799ba8cd45SEdgar E. Iglesias  */
1809ba8cd45SEdgar E. Iglesias static bool trap_illegal(DisasContext *dc, bool cond)
1819ba8cd45SEdgar E. Iglesias {
1829ba8cd45SEdgar E. Iglesias     if (cond && (dc->tb_flags & MSR_EE_FLAG)
1835143fdf3SEdgar E. Iglesias         && dc->cpu->cfg.illegal_opcode_exception) {
1846efd5599SRichard Henderson         tcg_gen_movi_i32(cpu_esr, ESR_EC_ILLEGAL_OP);
1859ba8cd45SEdgar E. Iglesias         t_gen_raise_exception(dc, EXCP_HW_EXCP);
1869ba8cd45SEdgar E. Iglesias     }
1879ba8cd45SEdgar E. Iglesias     return cond;
1889ba8cd45SEdgar E. Iglesias }
1899ba8cd45SEdgar E. Iglesias 
1909ba8cd45SEdgar E. Iglesias /*
191bdfc1e88SEdgar E. Iglesias  * Returns true if the insn is illegal in userspace.
192bdfc1e88SEdgar E. Iglesias  * If exceptions are enabled, an exception is raised.
193bdfc1e88SEdgar E. Iglesias  */
194bdfc1e88SEdgar E. Iglesias static bool trap_userspace(DisasContext *dc, bool cond)
195bdfc1e88SEdgar E. Iglesias {
196bdfc1e88SEdgar E. Iglesias     int mem_index = cpu_mmu_index(&dc->cpu->env, false);
197bdfc1e88SEdgar E. Iglesias     bool cond_user = cond && mem_index == MMU_USER_IDX;
198bdfc1e88SEdgar E. Iglesias 
199bdfc1e88SEdgar E. Iglesias     if (cond_user && (dc->tb_flags & MSR_EE_FLAG)) {
2006efd5599SRichard Henderson         tcg_gen_movi_i32(cpu_esr, ESR_EC_PRIVINSN);
201bdfc1e88SEdgar E. Iglesias         t_gen_raise_exception(dc, EXCP_HW_EXCP);
202bdfc1e88SEdgar E. Iglesias     }
203bdfc1e88SEdgar E. Iglesias     return cond_user;
204bdfc1e88SEdgar E. Iglesias }
205bdfc1e88SEdgar E. Iglesias 
206fcf5ef2aSThomas Huth /* True if ALU operand b is a small immediate that may deserve
207fcf5ef2aSThomas Huth    faster treatment.  */
208fcf5ef2aSThomas Huth static inline int dec_alu_op_b_is_small_imm(DisasContext *dc)
209fcf5ef2aSThomas Huth {
210fcf5ef2aSThomas Huth     /* Immediate insn without the imm prefix ?  */
211fcf5ef2aSThomas Huth     return dc->type_b && !(dc->tb_flags & IMM_FLAG);
212fcf5ef2aSThomas Huth }
213fcf5ef2aSThomas Huth 
214cfeea807SEdgar E. Iglesias static inline TCGv_i32 *dec_alu_op_b(DisasContext *dc)
215fcf5ef2aSThomas Huth {
216fcf5ef2aSThomas Huth     if (dc->type_b) {
217fcf5ef2aSThomas Huth         if (dc->tb_flags & IMM_FLAG)
218cfeea807SEdgar E. Iglesias             tcg_gen_ori_i32(env_imm, env_imm, dc->imm);
219fcf5ef2aSThomas Huth         else
220cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(env_imm, (int32_t)((int16_t)dc->imm));
221fcf5ef2aSThomas Huth         return &env_imm;
222fcf5ef2aSThomas Huth     } else
223fcf5ef2aSThomas Huth         return &cpu_R[dc->rb];
224fcf5ef2aSThomas Huth }
225fcf5ef2aSThomas Huth 
226fcf5ef2aSThomas Huth static void dec_add(DisasContext *dc)
227fcf5ef2aSThomas Huth {
228fcf5ef2aSThomas Huth     unsigned int k, c;
229cfeea807SEdgar E. Iglesias     TCGv_i32 cf;
230fcf5ef2aSThomas Huth 
231fcf5ef2aSThomas Huth     k = dc->opcode & 4;
232fcf5ef2aSThomas Huth     c = dc->opcode & 2;
233fcf5ef2aSThomas Huth 
234fcf5ef2aSThomas Huth     LOG_DIS("add%s%s%s r%d r%d r%d\n",
235fcf5ef2aSThomas Huth             dc->type_b ? "i" : "", k ? "k" : "", c ? "c" : "",
236fcf5ef2aSThomas Huth             dc->rd, dc->ra, dc->rb);
237fcf5ef2aSThomas Huth 
238fcf5ef2aSThomas Huth     /* Take care of the easy cases first.  */
239fcf5ef2aSThomas Huth     if (k) {
240fcf5ef2aSThomas Huth         /* k - keep carry, no need to update MSR.  */
241fcf5ef2aSThomas Huth         /* If rd == r0, it's a nop.  */
242fcf5ef2aSThomas Huth         if (dc->rd) {
243cfeea807SEdgar E. Iglesias             tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
244fcf5ef2aSThomas Huth 
245fcf5ef2aSThomas Huth             if (c) {
246fcf5ef2aSThomas Huth                 /* c - Add carry into the result.  */
247cfeea807SEdgar E. Iglesias                 cf = tcg_temp_new_i32();
248fcf5ef2aSThomas Huth 
249fcf5ef2aSThomas Huth                 read_carry(dc, cf);
250cfeea807SEdgar E. Iglesias                 tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf);
251cfeea807SEdgar E. Iglesias                 tcg_temp_free_i32(cf);
252fcf5ef2aSThomas Huth             }
253fcf5ef2aSThomas Huth         }
254fcf5ef2aSThomas Huth         return;
255fcf5ef2aSThomas Huth     }
256fcf5ef2aSThomas Huth 
257fcf5ef2aSThomas Huth     /* From now on, we can assume k is zero.  So we need to update MSR.  */
258fcf5ef2aSThomas Huth     /* Extract carry.  */
259cfeea807SEdgar E. Iglesias     cf = tcg_temp_new_i32();
260fcf5ef2aSThomas Huth     if (c) {
261fcf5ef2aSThomas Huth         read_carry(dc, cf);
262fcf5ef2aSThomas Huth     } else {
263cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cf, 0);
264fcf5ef2aSThomas Huth     }
265fcf5ef2aSThomas Huth 
266fcf5ef2aSThomas Huth     if (dc->rd) {
267cfeea807SEdgar E. Iglesias         TCGv_i32 ncf = tcg_temp_new_i32();
268fcf5ef2aSThomas Huth         gen_helper_carry(ncf, cpu_R[dc->ra], *(dec_alu_op_b(dc)), cf);
269cfeea807SEdgar E. Iglesias         tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
270cfeea807SEdgar E. Iglesias         tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf);
271fcf5ef2aSThomas Huth         write_carry(dc, ncf);
272cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(ncf);
273fcf5ef2aSThomas Huth     } else {
274fcf5ef2aSThomas Huth         gen_helper_carry(cf, cpu_R[dc->ra], *(dec_alu_op_b(dc)), cf);
275fcf5ef2aSThomas Huth         write_carry(dc, cf);
276fcf5ef2aSThomas Huth     }
277cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(cf);
278fcf5ef2aSThomas Huth }
279fcf5ef2aSThomas Huth 
280fcf5ef2aSThomas Huth static void dec_sub(DisasContext *dc)
281fcf5ef2aSThomas Huth {
282fcf5ef2aSThomas Huth     unsigned int u, cmp, k, c;
283cfeea807SEdgar E. Iglesias     TCGv_i32 cf, na;
284fcf5ef2aSThomas Huth 
285fcf5ef2aSThomas Huth     u = dc->imm & 2;
286fcf5ef2aSThomas Huth     k = dc->opcode & 4;
287fcf5ef2aSThomas Huth     c = dc->opcode & 2;
288fcf5ef2aSThomas Huth     cmp = (dc->imm & 1) && (!dc->type_b) && k;
289fcf5ef2aSThomas Huth 
290fcf5ef2aSThomas Huth     if (cmp) {
291fcf5ef2aSThomas Huth         LOG_DIS("cmp%s r%d, r%d ir=%x\n", u ? "u" : "", dc->rd, dc->ra, dc->ir);
292fcf5ef2aSThomas Huth         if (dc->rd) {
293fcf5ef2aSThomas Huth             if (u)
294fcf5ef2aSThomas Huth                 gen_helper_cmpu(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
295fcf5ef2aSThomas Huth             else
296fcf5ef2aSThomas Huth                 gen_helper_cmp(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
297fcf5ef2aSThomas Huth         }
298fcf5ef2aSThomas Huth         return;
299fcf5ef2aSThomas Huth     }
300fcf5ef2aSThomas Huth 
301fcf5ef2aSThomas Huth     LOG_DIS("sub%s%s r%d, r%d r%d\n",
302fcf5ef2aSThomas Huth              k ? "k" : "",  c ? "c" : "", dc->rd, dc->ra, dc->rb);
303fcf5ef2aSThomas Huth 
304fcf5ef2aSThomas Huth     /* Take care of the easy cases first.  */
305fcf5ef2aSThomas Huth     if (k) {
306fcf5ef2aSThomas Huth         /* k - keep carry, no need to update MSR.  */
307fcf5ef2aSThomas Huth         /* If rd == r0, it's a nop.  */
308fcf5ef2aSThomas Huth         if (dc->rd) {
309cfeea807SEdgar E. Iglesias             tcg_gen_sub_i32(cpu_R[dc->rd], *(dec_alu_op_b(dc)), cpu_R[dc->ra]);
310fcf5ef2aSThomas Huth 
311fcf5ef2aSThomas Huth             if (c) {
312fcf5ef2aSThomas Huth                 /* c - Add carry into the result.  */
313cfeea807SEdgar E. Iglesias                 cf = tcg_temp_new_i32();
314fcf5ef2aSThomas Huth 
315fcf5ef2aSThomas Huth                 read_carry(dc, cf);
316cfeea807SEdgar E. Iglesias                 tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf);
317cfeea807SEdgar E. Iglesias                 tcg_temp_free_i32(cf);
318fcf5ef2aSThomas Huth             }
319fcf5ef2aSThomas Huth         }
320fcf5ef2aSThomas Huth         return;
321fcf5ef2aSThomas Huth     }
322fcf5ef2aSThomas Huth 
323fcf5ef2aSThomas Huth     /* From now on, we can assume k is zero.  So we need to update MSR.  */
324fcf5ef2aSThomas Huth     /* Extract carry. And complement a into na.  */
325cfeea807SEdgar E. Iglesias     cf = tcg_temp_new_i32();
326cfeea807SEdgar E. Iglesias     na = tcg_temp_new_i32();
327fcf5ef2aSThomas Huth     if (c) {
328fcf5ef2aSThomas Huth         read_carry(dc, cf);
329fcf5ef2aSThomas Huth     } else {
330cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cf, 1);
331fcf5ef2aSThomas Huth     }
332fcf5ef2aSThomas Huth 
333fcf5ef2aSThomas Huth     /* d = b + ~a + c. carry defaults to 1.  */
334cfeea807SEdgar E. Iglesias     tcg_gen_not_i32(na, cpu_R[dc->ra]);
335fcf5ef2aSThomas Huth 
336fcf5ef2aSThomas Huth     if (dc->rd) {
337cfeea807SEdgar E. Iglesias         TCGv_i32 ncf = tcg_temp_new_i32();
338fcf5ef2aSThomas Huth         gen_helper_carry(ncf, na, *(dec_alu_op_b(dc)), cf);
339cfeea807SEdgar E. Iglesias         tcg_gen_add_i32(cpu_R[dc->rd], na, *(dec_alu_op_b(dc)));
340cfeea807SEdgar E. Iglesias         tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf);
341fcf5ef2aSThomas Huth         write_carry(dc, ncf);
342cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(ncf);
343fcf5ef2aSThomas Huth     } else {
344fcf5ef2aSThomas Huth         gen_helper_carry(cf, na, *(dec_alu_op_b(dc)), cf);
345fcf5ef2aSThomas Huth         write_carry(dc, cf);
346fcf5ef2aSThomas Huth     }
347cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(cf);
348cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(na);
349fcf5ef2aSThomas Huth }
350fcf5ef2aSThomas Huth 
351fcf5ef2aSThomas Huth static void dec_pattern(DisasContext *dc)
352fcf5ef2aSThomas Huth {
353fcf5ef2aSThomas Huth     unsigned int mode;
354fcf5ef2aSThomas Huth 
3559ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_pcmp_instr)) {
3569ba8cd45SEdgar E. Iglesias         return;
357fcf5ef2aSThomas Huth     }
358fcf5ef2aSThomas Huth 
359fcf5ef2aSThomas Huth     mode = dc->opcode & 3;
360fcf5ef2aSThomas Huth     switch (mode) {
361fcf5ef2aSThomas Huth         case 0:
362fcf5ef2aSThomas Huth             /* pcmpbf.  */
363fcf5ef2aSThomas Huth             LOG_DIS("pcmpbf r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
364fcf5ef2aSThomas Huth             if (dc->rd)
365fcf5ef2aSThomas Huth                 gen_helper_pcmpbf(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
366fcf5ef2aSThomas Huth             break;
367fcf5ef2aSThomas Huth         case 2:
368fcf5ef2aSThomas Huth             LOG_DIS("pcmpeq r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
369fcf5ef2aSThomas Huth             if (dc->rd) {
370cfeea807SEdgar E. Iglesias                 tcg_gen_setcond_i32(TCG_COND_EQ, cpu_R[dc->rd],
371fcf5ef2aSThomas Huth                                    cpu_R[dc->ra], cpu_R[dc->rb]);
372fcf5ef2aSThomas Huth             }
373fcf5ef2aSThomas Huth             break;
374fcf5ef2aSThomas Huth         case 3:
375fcf5ef2aSThomas Huth             LOG_DIS("pcmpne r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
376fcf5ef2aSThomas Huth             if (dc->rd) {
377cfeea807SEdgar E. Iglesias                 tcg_gen_setcond_i32(TCG_COND_NE, cpu_R[dc->rd],
378fcf5ef2aSThomas Huth                                    cpu_R[dc->ra], cpu_R[dc->rb]);
379fcf5ef2aSThomas Huth             }
380fcf5ef2aSThomas Huth             break;
381fcf5ef2aSThomas Huth         default:
382fcf5ef2aSThomas Huth             cpu_abort(CPU(dc->cpu),
383fcf5ef2aSThomas Huth                       "unsupported pattern insn opcode=%x\n", dc->opcode);
384fcf5ef2aSThomas Huth             break;
385fcf5ef2aSThomas Huth     }
386fcf5ef2aSThomas Huth }
387fcf5ef2aSThomas Huth 
388fcf5ef2aSThomas Huth static void dec_and(DisasContext *dc)
389fcf5ef2aSThomas Huth {
390fcf5ef2aSThomas Huth     unsigned int not;
391fcf5ef2aSThomas Huth 
392fcf5ef2aSThomas Huth     if (!dc->type_b && (dc->imm & (1 << 10))) {
393fcf5ef2aSThomas Huth         dec_pattern(dc);
394fcf5ef2aSThomas Huth         return;
395fcf5ef2aSThomas Huth     }
396fcf5ef2aSThomas Huth 
397fcf5ef2aSThomas Huth     not = dc->opcode & (1 << 1);
398fcf5ef2aSThomas Huth     LOG_DIS("and%s\n", not ? "n" : "");
399fcf5ef2aSThomas Huth 
400fcf5ef2aSThomas Huth     if (!dc->rd)
401fcf5ef2aSThomas Huth         return;
402fcf5ef2aSThomas Huth 
403fcf5ef2aSThomas Huth     if (not) {
404cfeea807SEdgar E. Iglesias         tcg_gen_andc_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
405fcf5ef2aSThomas Huth     } else
406cfeea807SEdgar E. Iglesias         tcg_gen_and_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
407fcf5ef2aSThomas Huth }
408fcf5ef2aSThomas Huth 
409fcf5ef2aSThomas Huth static void dec_or(DisasContext *dc)
410fcf5ef2aSThomas Huth {
411fcf5ef2aSThomas Huth     if (!dc->type_b && (dc->imm & (1 << 10))) {
412fcf5ef2aSThomas Huth         dec_pattern(dc);
413fcf5ef2aSThomas Huth         return;
414fcf5ef2aSThomas Huth     }
415fcf5ef2aSThomas Huth 
416fcf5ef2aSThomas Huth     LOG_DIS("or r%d r%d r%d imm=%x\n", dc->rd, dc->ra, dc->rb, dc->imm);
417fcf5ef2aSThomas Huth     if (dc->rd)
418cfeea807SEdgar E. Iglesias         tcg_gen_or_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
419fcf5ef2aSThomas Huth }
420fcf5ef2aSThomas Huth 
421fcf5ef2aSThomas Huth static void dec_xor(DisasContext *dc)
422fcf5ef2aSThomas Huth {
423fcf5ef2aSThomas Huth     if (!dc->type_b && (dc->imm & (1 << 10))) {
424fcf5ef2aSThomas Huth         dec_pattern(dc);
425fcf5ef2aSThomas Huth         return;
426fcf5ef2aSThomas Huth     }
427fcf5ef2aSThomas Huth 
428fcf5ef2aSThomas Huth     LOG_DIS("xor r%d\n", dc->rd);
429fcf5ef2aSThomas Huth     if (dc->rd)
430cfeea807SEdgar E. Iglesias         tcg_gen_xor_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
431fcf5ef2aSThomas Huth }
432fcf5ef2aSThomas Huth 
433cfeea807SEdgar E. Iglesias static inline void msr_read(DisasContext *dc, TCGv_i32 d)
434fcf5ef2aSThomas Huth {
4353e0e16aeSRichard Henderson     tcg_gen_mov_i32(d, cpu_msr);
436fcf5ef2aSThomas Huth }
437fcf5ef2aSThomas Huth 
438cfeea807SEdgar E. Iglesias static inline void msr_write(DisasContext *dc, TCGv_i32 v)
439fcf5ef2aSThomas Huth {
440fcf5ef2aSThomas Huth     dc->cpustate_changed = 1;
4413e0e16aeSRichard Henderson     /* PVR bit is not writable, and is never set. */
4423e0e16aeSRichard Henderson     tcg_gen_andi_i32(cpu_msr, v, ~MSR_PVR);
443fcf5ef2aSThomas Huth }
444fcf5ef2aSThomas Huth 
445fcf5ef2aSThomas Huth static void dec_msr(DisasContext *dc)
446fcf5ef2aSThomas Huth {
447fcf5ef2aSThomas Huth     CPUState *cs = CPU(dc->cpu);
448cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
4492023e9a3SEdgar E. Iglesias     unsigned int sr, rn;
450f0f7e7f7SEdgar E. Iglesias     bool to, clrset, extended = false;
451fcf5ef2aSThomas Huth 
4522023e9a3SEdgar E. Iglesias     sr = extract32(dc->imm, 0, 14);
4532023e9a3SEdgar E. Iglesias     to = extract32(dc->imm, 14, 1);
4542023e9a3SEdgar E. Iglesias     clrset = extract32(dc->imm, 15, 1) == 0;
455fcf5ef2aSThomas Huth     dc->type_b = 1;
4562023e9a3SEdgar E. Iglesias     if (to) {
457fcf5ef2aSThomas Huth         dc->cpustate_changed = 1;
458f0f7e7f7SEdgar E. Iglesias     }
459f0f7e7f7SEdgar E. Iglesias 
460f0f7e7f7SEdgar E. Iglesias     /* Extended MSRs are only available if addr_size > 32.  */
461f0f7e7f7SEdgar E. Iglesias     if (dc->cpu->cfg.addr_size > 32) {
462f0f7e7f7SEdgar E. Iglesias         /* The E-bit is encoded differently for To/From MSR.  */
463f0f7e7f7SEdgar E. Iglesias         static const unsigned int e_bit[] = { 19, 24 };
464f0f7e7f7SEdgar E. Iglesias 
465f0f7e7f7SEdgar E. Iglesias         extended = extract32(dc->imm, e_bit[to], 1);
4662023e9a3SEdgar E. Iglesias     }
467fcf5ef2aSThomas Huth 
468fcf5ef2aSThomas Huth     /* msrclr and msrset.  */
4692023e9a3SEdgar E. Iglesias     if (clrset) {
4702023e9a3SEdgar E. Iglesias         bool clr = extract32(dc->ir, 16, 1);
471fcf5ef2aSThomas Huth 
472fcf5ef2aSThomas Huth         LOG_DIS("msr%s r%d imm=%x\n", clr ? "clr" : "set",
473fcf5ef2aSThomas Huth                 dc->rd, dc->imm);
474fcf5ef2aSThomas Huth 
47556837509SEdgar E. Iglesias         if (!dc->cpu->cfg.use_msr_instr) {
476fcf5ef2aSThomas Huth             /* nop??? */
477fcf5ef2aSThomas Huth             return;
478fcf5ef2aSThomas Huth         }
479fcf5ef2aSThomas Huth 
480bdfc1e88SEdgar E. Iglesias         if (trap_userspace(dc, dc->imm != 4 && dc->imm != 0)) {
481fcf5ef2aSThomas Huth             return;
482fcf5ef2aSThomas Huth         }
483fcf5ef2aSThomas Huth 
484fcf5ef2aSThomas Huth         if (dc->rd)
485fcf5ef2aSThomas Huth             msr_read(dc, cpu_R[dc->rd]);
486fcf5ef2aSThomas Huth 
487cfeea807SEdgar E. Iglesias         t0 = tcg_temp_new_i32();
488cfeea807SEdgar E. Iglesias         t1 = tcg_temp_new_i32();
489fcf5ef2aSThomas Huth         msr_read(dc, t0);
490cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(t1, *(dec_alu_op_b(dc)));
491fcf5ef2aSThomas Huth 
492fcf5ef2aSThomas Huth         if (clr) {
493cfeea807SEdgar E. Iglesias             tcg_gen_not_i32(t1, t1);
494cfeea807SEdgar E. Iglesias             tcg_gen_and_i32(t0, t0, t1);
495fcf5ef2aSThomas Huth         } else
496cfeea807SEdgar E. Iglesias             tcg_gen_or_i32(t0, t0, t1);
497fcf5ef2aSThomas Huth         msr_write(dc, t0);
498cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(t0);
499cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(t1);
5000f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, dc->pc + 4);
501fcf5ef2aSThomas Huth         dc->is_jmp = DISAS_UPDATE;
502fcf5ef2aSThomas Huth         return;
503fcf5ef2aSThomas Huth     }
504fcf5ef2aSThomas Huth 
505bdfc1e88SEdgar E. Iglesias     if (trap_userspace(dc, to)) {
506fcf5ef2aSThomas Huth         return;
507fcf5ef2aSThomas Huth     }
508fcf5ef2aSThomas Huth 
509fcf5ef2aSThomas Huth #if !defined(CONFIG_USER_ONLY)
510fcf5ef2aSThomas Huth     /* Catch read/writes to the mmu block.  */
511fcf5ef2aSThomas Huth     if ((sr & ~0xff) == 0x1000) {
512f0f7e7f7SEdgar E. Iglesias         TCGv_i32 tmp_ext = tcg_const_i32(extended);
51305a9a651SEdgar E. Iglesias         TCGv_i32 tmp_sr;
51405a9a651SEdgar E. Iglesias 
515fcf5ef2aSThomas Huth         sr &= 7;
51605a9a651SEdgar E. Iglesias         tmp_sr = tcg_const_i32(sr);
517fcf5ef2aSThomas Huth         LOG_DIS("m%ss sr%d r%d imm=%x\n", to ? "t" : "f", sr, dc->ra, dc->imm);
51805a9a651SEdgar E. Iglesias         if (to) {
519f0f7e7f7SEdgar E. Iglesias             gen_helper_mmu_write(cpu_env, tmp_ext, tmp_sr, cpu_R[dc->ra]);
52005a9a651SEdgar E. Iglesias         } else {
521f0f7e7f7SEdgar E. Iglesias             gen_helper_mmu_read(cpu_R[dc->rd], cpu_env, tmp_ext, tmp_sr);
52205a9a651SEdgar E. Iglesias         }
52305a9a651SEdgar E. Iglesias         tcg_temp_free_i32(tmp_sr);
524f0f7e7f7SEdgar E. Iglesias         tcg_temp_free_i32(tmp_ext);
525fcf5ef2aSThomas Huth         return;
526fcf5ef2aSThomas Huth     }
527fcf5ef2aSThomas Huth #endif
528fcf5ef2aSThomas Huth 
529fcf5ef2aSThomas Huth     if (to) {
530fcf5ef2aSThomas Huth         LOG_DIS("m%ss sr%x r%d imm=%x\n", to ? "t" : "f", sr, dc->ra, dc->imm);
531fcf5ef2aSThomas Huth         switch (sr) {
532aa28e6d4SRichard Henderson             case SR_PC:
533fcf5ef2aSThomas Huth                 break;
534aa28e6d4SRichard Henderson             case SR_MSR:
535fcf5ef2aSThomas Huth                 msr_write(dc, cpu_R[dc->ra]);
536fcf5ef2aSThomas Huth                 break;
537351527b7SEdgar E. Iglesias             case SR_EAR:
538aa28e6d4SRichard Henderson                 tcg_gen_extu_i32_i64(cpu_ear, cpu_R[dc->ra]);
539aa28e6d4SRichard Henderson                 break;
540351527b7SEdgar E. Iglesias             case SR_ESR:
5416efd5599SRichard Henderson                 tcg_gen_mov_i32(cpu_esr, cpu_R[dc->ra]);
542aa28e6d4SRichard Henderson                 break;
543ab6dd380SEdgar E. Iglesias             case SR_FSR:
544*86017ccfSRichard Henderson                 tcg_gen_st_i32(cpu_R[dc->ra],
545*86017ccfSRichard Henderson                                cpu_env, offsetof(CPUMBState, fsr));
546aa28e6d4SRichard Henderson                 break;
547aa28e6d4SRichard Henderson             case SR_BTR:
548aa28e6d4SRichard Henderson                 tcg_gen_extu_i32_i64(cpu_btr, cpu_R[dc->ra]);
549aa28e6d4SRichard Henderson                 break;
550aa28e6d4SRichard Henderson             case SR_EDR:
551aa28e6d4SRichard Henderson                 tcg_gen_extu_i32_i64(cpu_edr, cpu_R[dc->ra]);
552fcf5ef2aSThomas Huth                 break;
553fcf5ef2aSThomas Huth             case 0x800:
554cfeea807SEdgar E. Iglesias                 tcg_gen_st_i32(cpu_R[dc->ra],
555cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, slr));
556fcf5ef2aSThomas Huth                 break;
557fcf5ef2aSThomas Huth             case 0x802:
558cfeea807SEdgar E. Iglesias                 tcg_gen_st_i32(cpu_R[dc->ra],
559cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, shr));
560fcf5ef2aSThomas Huth                 break;
561fcf5ef2aSThomas Huth             default:
562fcf5ef2aSThomas Huth                 cpu_abort(CPU(dc->cpu), "unknown mts reg %x\n", sr);
563fcf5ef2aSThomas Huth                 break;
564fcf5ef2aSThomas Huth         }
565fcf5ef2aSThomas Huth     } else {
566fcf5ef2aSThomas Huth         LOG_DIS("m%ss r%d sr%x imm=%x\n", to ? "t" : "f", dc->rd, sr, dc->imm);
567fcf5ef2aSThomas Huth 
568fcf5ef2aSThomas Huth         switch (sr) {
569aa28e6d4SRichard Henderson             case SR_PC:
570cfeea807SEdgar E. Iglesias                 tcg_gen_movi_i32(cpu_R[dc->rd], dc->pc);
571fcf5ef2aSThomas Huth                 break;
572aa28e6d4SRichard Henderson             case SR_MSR:
573fcf5ef2aSThomas Huth                 msr_read(dc, cpu_R[dc->rd]);
574fcf5ef2aSThomas Huth                 break;
575351527b7SEdgar E. Iglesias             case SR_EAR:
576a1b48e3aSEdgar E. Iglesias                 if (extended) {
577aa28e6d4SRichard Henderson                     tcg_gen_extrh_i64_i32(cpu_R[dc->rd], cpu_ear);
578aa28e6d4SRichard Henderson                 } else {
579aa28e6d4SRichard Henderson                     tcg_gen_extrl_i64_i32(cpu_R[dc->rd], cpu_ear);
580a1b48e3aSEdgar E. Iglesias                 }
581aa28e6d4SRichard Henderson                 break;
582351527b7SEdgar E. Iglesias             case SR_ESR:
5836efd5599SRichard Henderson                 tcg_gen_mov_i32(cpu_R[dc->rd], cpu_esr);
584aa28e6d4SRichard Henderson                 break;
585351527b7SEdgar E. Iglesias             case SR_FSR:
586*86017ccfSRichard Henderson                 tcg_gen_ld_i32(cpu_R[dc->rd],
587*86017ccfSRichard Henderson                                cpu_env, offsetof(CPUMBState, fsr));
588aa28e6d4SRichard Henderson                 break;
589351527b7SEdgar E. Iglesias             case SR_BTR:
590aa28e6d4SRichard Henderson                 tcg_gen_extrl_i64_i32(cpu_R[dc->rd], cpu_btr);
591aa28e6d4SRichard Henderson                 break;
5927cdae31dSTong Ho             case SR_EDR:
593aa28e6d4SRichard Henderson                 tcg_gen_extrl_i64_i32(cpu_R[dc->rd], cpu_edr);
594fcf5ef2aSThomas Huth                 break;
595fcf5ef2aSThomas Huth             case 0x800:
596cfeea807SEdgar E. Iglesias                 tcg_gen_ld_i32(cpu_R[dc->rd],
597cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, slr));
598fcf5ef2aSThomas Huth                 break;
599fcf5ef2aSThomas Huth             case 0x802:
600cfeea807SEdgar E. Iglesias                 tcg_gen_ld_i32(cpu_R[dc->rd],
601cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, shr));
602fcf5ef2aSThomas Huth                 break;
603351527b7SEdgar E. Iglesias             case 0x2000 ... 0x200c:
604fcf5ef2aSThomas Huth                 rn = sr & 0xf;
605cfeea807SEdgar E. Iglesias                 tcg_gen_ld_i32(cpu_R[dc->rd],
606fcf5ef2aSThomas Huth                               cpu_env, offsetof(CPUMBState, pvr.regs[rn]));
607fcf5ef2aSThomas Huth                 break;
608fcf5ef2aSThomas Huth             default:
609fcf5ef2aSThomas Huth                 cpu_abort(cs, "unknown mfs reg %x\n", sr);
610fcf5ef2aSThomas Huth                 break;
611fcf5ef2aSThomas Huth         }
612fcf5ef2aSThomas Huth     }
613fcf5ef2aSThomas Huth 
614fcf5ef2aSThomas Huth     if (dc->rd == 0) {
615cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_R[0], 0);
616fcf5ef2aSThomas Huth     }
617fcf5ef2aSThomas Huth }
618fcf5ef2aSThomas Huth 
619fcf5ef2aSThomas Huth /* Multiplier unit.  */
620fcf5ef2aSThomas Huth static void dec_mul(DisasContext *dc)
621fcf5ef2aSThomas Huth {
622cfeea807SEdgar E. Iglesias     TCGv_i32 tmp;
623fcf5ef2aSThomas Huth     unsigned int subcode;
624fcf5ef2aSThomas Huth 
6259ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_hw_mul)) {
626fcf5ef2aSThomas Huth         return;
627fcf5ef2aSThomas Huth     }
628fcf5ef2aSThomas Huth 
629fcf5ef2aSThomas Huth     subcode = dc->imm & 3;
630fcf5ef2aSThomas Huth 
631fcf5ef2aSThomas Huth     if (dc->type_b) {
632fcf5ef2aSThomas Huth         LOG_DIS("muli r%d r%d %x\n", dc->rd, dc->ra, dc->imm);
633cfeea807SEdgar E. Iglesias         tcg_gen_mul_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
634fcf5ef2aSThomas Huth         return;
635fcf5ef2aSThomas Huth     }
636fcf5ef2aSThomas Huth 
637fcf5ef2aSThomas Huth     /* mulh, mulhsu and mulhu are not available if C_USE_HW_MUL is < 2.  */
6389b964318SEdgar E. Iglesias     if (subcode >= 1 && subcode <= 3 && dc->cpu->cfg.use_hw_mul < 2) {
639fcf5ef2aSThomas Huth         /* nop??? */
640fcf5ef2aSThomas Huth     }
641fcf5ef2aSThomas Huth 
642cfeea807SEdgar E. Iglesias     tmp = tcg_temp_new_i32();
643fcf5ef2aSThomas Huth     switch (subcode) {
644fcf5ef2aSThomas Huth         case 0:
645fcf5ef2aSThomas Huth             LOG_DIS("mul r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
646cfeea807SEdgar E. Iglesias             tcg_gen_mul_i32(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
647fcf5ef2aSThomas Huth             break;
648fcf5ef2aSThomas Huth         case 1:
649fcf5ef2aSThomas Huth             LOG_DIS("mulh r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
650cfeea807SEdgar E. Iglesias             tcg_gen_muls2_i32(tmp, cpu_R[dc->rd],
651cfeea807SEdgar E. Iglesias                               cpu_R[dc->ra], cpu_R[dc->rb]);
652fcf5ef2aSThomas Huth             break;
653fcf5ef2aSThomas Huth         case 2:
654fcf5ef2aSThomas Huth             LOG_DIS("mulhsu r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
655cfeea807SEdgar E. Iglesias             tcg_gen_mulsu2_i32(tmp, cpu_R[dc->rd],
656cfeea807SEdgar E. Iglesias                                cpu_R[dc->ra], cpu_R[dc->rb]);
657fcf5ef2aSThomas Huth             break;
658fcf5ef2aSThomas Huth         case 3:
659fcf5ef2aSThomas Huth             LOG_DIS("mulhu r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
660cfeea807SEdgar E. Iglesias             tcg_gen_mulu2_i32(tmp, cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
661fcf5ef2aSThomas Huth             break;
662fcf5ef2aSThomas Huth         default:
663fcf5ef2aSThomas Huth             cpu_abort(CPU(dc->cpu), "unknown MUL insn %x\n", subcode);
664fcf5ef2aSThomas Huth             break;
665fcf5ef2aSThomas Huth     }
666cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(tmp);
667fcf5ef2aSThomas Huth }
668fcf5ef2aSThomas Huth 
669fcf5ef2aSThomas Huth /* Div unit.  */
670fcf5ef2aSThomas Huth static void dec_div(DisasContext *dc)
671fcf5ef2aSThomas Huth {
672fcf5ef2aSThomas Huth     unsigned int u;
673fcf5ef2aSThomas Huth 
674fcf5ef2aSThomas Huth     u = dc->imm & 2;
675fcf5ef2aSThomas Huth     LOG_DIS("div\n");
676fcf5ef2aSThomas Huth 
6779ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_div)) {
6789ba8cd45SEdgar E. Iglesias         return;
679fcf5ef2aSThomas Huth     }
680fcf5ef2aSThomas Huth 
681fcf5ef2aSThomas Huth     if (u)
682fcf5ef2aSThomas Huth         gen_helper_divu(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)),
683fcf5ef2aSThomas Huth                         cpu_R[dc->ra]);
684fcf5ef2aSThomas Huth     else
685fcf5ef2aSThomas Huth         gen_helper_divs(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)),
686fcf5ef2aSThomas Huth                         cpu_R[dc->ra]);
687fcf5ef2aSThomas Huth     if (!dc->rd)
688cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_R[dc->rd], 0);
689fcf5ef2aSThomas Huth }
690fcf5ef2aSThomas Huth 
691fcf5ef2aSThomas Huth static void dec_barrel(DisasContext *dc)
692fcf5ef2aSThomas Huth {
693cfeea807SEdgar E. Iglesias     TCGv_i32 t0;
694faa48d74SEdgar E. Iglesias     unsigned int imm_w, imm_s;
695d09b2585SEdgar E. Iglesias     bool s, t, e = false, i = false;
696fcf5ef2aSThomas Huth 
6979ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_barrel)) {
698fcf5ef2aSThomas Huth         return;
699fcf5ef2aSThomas Huth     }
700fcf5ef2aSThomas Huth 
701faa48d74SEdgar E. Iglesias     if (dc->type_b) {
702faa48d74SEdgar E. Iglesias         /* Insert and extract are only available in immediate mode.  */
703d09b2585SEdgar E. Iglesias         i = extract32(dc->imm, 15, 1);
704faa48d74SEdgar E. Iglesias         e = extract32(dc->imm, 14, 1);
705faa48d74SEdgar E. Iglesias     }
706e3e84983SEdgar E. Iglesias     s = extract32(dc->imm, 10, 1);
707e3e84983SEdgar E. Iglesias     t = extract32(dc->imm, 9, 1);
708faa48d74SEdgar E. Iglesias     imm_w = extract32(dc->imm, 6, 5);
709faa48d74SEdgar E. Iglesias     imm_s = extract32(dc->imm, 0, 5);
710fcf5ef2aSThomas Huth 
711faa48d74SEdgar E. Iglesias     LOG_DIS("bs%s%s%s r%d r%d r%d\n",
712faa48d74SEdgar E. Iglesias             e ? "e" : "",
713fcf5ef2aSThomas Huth             s ? "l" : "r", t ? "a" : "l", dc->rd, dc->ra, dc->rb);
714fcf5ef2aSThomas Huth 
715faa48d74SEdgar E. Iglesias     if (e) {
716faa48d74SEdgar E. Iglesias         if (imm_w + imm_s > 32 || imm_w == 0) {
717faa48d74SEdgar E. Iglesias             /* These inputs have an undefined behavior.  */
718faa48d74SEdgar E. Iglesias             qemu_log_mask(LOG_GUEST_ERROR, "bsefi: Bad input w=%d s=%d\n",
719faa48d74SEdgar E. Iglesias                           imm_w, imm_s);
720faa48d74SEdgar E. Iglesias         } else {
721faa48d74SEdgar E. Iglesias             tcg_gen_extract_i32(cpu_R[dc->rd], cpu_R[dc->ra], imm_s, imm_w);
722faa48d74SEdgar E. Iglesias         }
723d09b2585SEdgar E. Iglesias     } else if (i) {
724d09b2585SEdgar E. Iglesias         int width = imm_w - imm_s + 1;
725d09b2585SEdgar E. Iglesias 
726d09b2585SEdgar E. Iglesias         if (imm_w < imm_s) {
727d09b2585SEdgar E. Iglesias             /* These inputs have an undefined behavior.  */
728d09b2585SEdgar E. Iglesias             qemu_log_mask(LOG_GUEST_ERROR, "bsifi: Bad input w=%d s=%d\n",
729d09b2585SEdgar E. Iglesias                           imm_w, imm_s);
730d09b2585SEdgar E. Iglesias         } else {
731d09b2585SEdgar E. Iglesias             tcg_gen_deposit_i32(cpu_R[dc->rd], cpu_R[dc->rd], cpu_R[dc->ra],
732d09b2585SEdgar E. Iglesias                                 imm_s, width);
733d09b2585SEdgar E. Iglesias         }
734faa48d74SEdgar E. Iglesias     } else {
735cfeea807SEdgar E. Iglesias         t0 = tcg_temp_new_i32();
736fcf5ef2aSThomas Huth 
737cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(t0, *(dec_alu_op_b(dc)));
738cfeea807SEdgar E. Iglesias         tcg_gen_andi_i32(t0, t0, 31);
739fcf5ef2aSThomas Huth 
7402acf6d53SEdgar E. Iglesias         if (s) {
741cfeea807SEdgar E. Iglesias             tcg_gen_shl_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0);
7422acf6d53SEdgar E. Iglesias         } else {
7432acf6d53SEdgar E. Iglesias             if (t) {
744cfeea807SEdgar E. Iglesias                 tcg_gen_sar_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0);
7452acf6d53SEdgar E. Iglesias             } else {
746cfeea807SEdgar E. Iglesias                 tcg_gen_shr_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0);
747fcf5ef2aSThomas Huth             }
748fcf5ef2aSThomas Huth         }
749cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(t0);
7502acf6d53SEdgar E. Iglesias     }
751faa48d74SEdgar E. Iglesias }
752fcf5ef2aSThomas Huth 
753fcf5ef2aSThomas Huth static void dec_bit(DisasContext *dc)
754fcf5ef2aSThomas Huth {
755fcf5ef2aSThomas Huth     CPUState *cs = CPU(dc->cpu);
756cfeea807SEdgar E. Iglesias     TCGv_i32 t0;
757fcf5ef2aSThomas Huth     unsigned int op;
758fcf5ef2aSThomas Huth 
759fcf5ef2aSThomas Huth     op = dc->ir & ((1 << 9) - 1);
760fcf5ef2aSThomas Huth     switch (op) {
761fcf5ef2aSThomas Huth         case 0x21:
762fcf5ef2aSThomas Huth             /* src.  */
763cfeea807SEdgar E. Iglesias             t0 = tcg_temp_new_i32();
764fcf5ef2aSThomas Huth 
765fcf5ef2aSThomas Huth             LOG_DIS("src r%d r%d\n", dc->rd, dc->ra);
7663e0e16aeSRichard Henderson             tcg_gen_andi_i32(t0, cpu_msr, MSR_CC);
767fcf5ef2aSThomas Huth             write_carry(dc, cpu_R[dc->ra]);
768fcf5ef2aSThomas Huth             if (dc->rd) {
769cfeea807SEdgar E. Iglesias                 tcg_gen_shri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1);
770cfeea807SEdgar E. Iglesias                 tcg_gen_or_i32(cpu_R[dc->rd], cpu_R[dc->rd], t0);
771fcf5ef2aSThomas Huth             }
772cfeea807SEdgar E. Iglesias             tcg_temp_free_i32(t0);
773fcf5ef2aSThomas Huth             break;
774fcf5ef2aSThomas Huth 
775fcf5ef2aSThomas Huth         case 0x1:
776fcf5ef2aSThomas Huth         case 0x41:
777fcf5ef2aSThomas Huth             /* srl.  */
778fcf5ef2aSThomas Huth             LOG_DIS("srl r%d r%d\n", dc->rd, dc->ra);
779fcf5ef2aSThomas Huth 
780fcf5ef2aSThomas Huth             /* Update carry. Note that write carry only looks at the LSB.  */
781fcf5ef2aSThomas Huth             write_carry(dc, cpu_R[dc->ra]);
782fcf5ef2aSThomas Huth             if (dc->rd) {
783fcf5ef2aSThomas Huth                 if (op == 0x41)
784cfeea807SEdgar E. Iglesias                     tcg_gen_shri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1);
785fcf5ef2aSThomas Huth                 else
786cfeea807SEdgar E. Iglesias                     tcg_gen_sari_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1);
787fcf5ef2aSThomas Huth             }
788fcf5ef2aSThomas Huth             break;
789fcf5ef2aSThomas Huth         case 0x60:
790fcf5ef2aSThomas Huth             LOG_DIS("ext8s r%d r%d\n", dc->rd, dc->ra);
791fcf5ef2aSThomas Huth             tcg_gen_ext8s_i32(cpu_R[dc->rd], cpu_R[dc->ra]);
792fcf5ef2aSThomas Huth             break;
793fcf5ef2aSThomas Huth         case 0x61:
794fcf5ef2aSThomas Huth             LOG_DIS("ext16s r%d r%d\n", dc->rd, dc->ra);
795fcf5ef2aSThomas Huth             tcg_gen_ext16s_i32(cpu_R[dc->rd], cpu_R[dc->ra]);
796fcf5ef2aSThomas Huth             break;
797fcf5ef2aSThomas Huth         case 0x64:
798fcf5ef2aSThomas Huth         case 0x66:
799fcf5ef2aSThomas Huth         case 0x74:
800fcf5ef2aSThomas Huth         case 0x76:
801fcf5ef2aSThomas Huth             /* wdc.  */
802fcf5ef2aSThomas Huth             LOG_DIS("wdc r%d\n", dc->ra);
803bdfc1e88SEdgar E. Iglesias             trap_userspace(dc, true);
804fcf5ef2aSThomas Huth             break;
805fcf5ef2aSThomas Huth         case 0x68:
806fcf5ef2aSThomas Huth             /* wic.  */
807fcf5ef2aSThomas Huth             LOG_DIS("wic r%d\n", dc->ra);
808bdfc1e88SEdgar E. Iglesias             trap_userspace(dc, true);
809fcf5ef2aSThomas Huth             break;
810fcf5ef2aSThomas Huth         case 0xe0:
8119ba8cd45SEdgar E. Iglesias             if (trap_illegal(dc, !dc->cpu->cfg.use_pcmp_instr)) {
8129ba8cd45SEdgar E. Iglesias                 return;
813fcf5ef2aSThomas Huth             }
8148fc5239eSEdgar E. Iglesias             if (dc->cpu->cfg.use_pcmp_instr) {
8155318420cSRichard Henderson                 tcg_gen_clzi_i32(cpu_R[dc->rd], cpu_R[dc->ra], 32);
816fcf5ef2aSThomas Huth             }
817fcf5ef2aSThomas Huth             break;
818fcf5ef2aSThomas Huth         case 0x1e0:
819fcf5ef2aSThomas Huth             /* swapb */
820fcf5ef2aSThomas Huth             LOG_DIS("swapb r%d r%d\n", dc->rd, dc->ra);
821fcf5ef2aSThomas Huth             tcg_gen_bswap32_i32(cpu_R[dc->rd], cpu_R[dc->ra]);
822fcf5ef2aSThomas Huth             break;
823fcf5ef2aSThomas Huth         case 0x1e2:
824fcf5ef2aSThomas Huth             /*swaph */
825fcf5ef2aSThomas Huth             LOG_DIS("swaph r%d r%d\n", dc->rd, dc->ra);
826fcf5ef2aSThomas Huth             tcg_gen_rotri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 16);
827fcf5ef2aSThomas Huth             break;
828fcf5ef2aSThomas Huth         default:
829fcf5ef2aSThomas Huth             cpu_abort(cs, "unknown bit oc=%x op=%x rd=%d ra=%d rb=%d\n",
830fcf5ef2aSThomas Huth                       dc->pc, op, dc->rd, dc->ra, dc->rb);
831fcf5ef2aSThomas Huth             break;
832fcf5ef2aSThomas Huth     }
833fcf5ef2aSThomas Huth }
834fcf5ef2aSThomas Huth 
835fcf5ef2aSThomas Huth static inline void sync_jmpstate(DisasContext *dc)
836fcf5ef2aSThomas Huth {
837fcf5ef2aSThomas Huth     if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) {
838fcf5ef2aSThomas Huth         if (dc->jmp == JMP_DIRECT) {
839cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(env_btaken, 1);
840fcf5ef2aSThomas Huth         }
841fcf5ef2aSThomas Huth         dc->jmp = JMP_INDIRECT;
8420f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_btarget, dc->jmp_pc);
843fcf5ef2aSThomas Huth     }
844fcf5ef2aSThomas Huth }
845fcf5ef2aSThomas Huth 
846fcf5ef2aSThomas Huth static void dec_imm(DisasContext *dc)
847fcf5ef2aSThomas Huth {
848fcf5ef2aSThomas Huth     LOG_DIS("imm %x\n", dc->imm << 16);
849cfeea807SEdgar E. Iglesias     tcg_gen_movi_i32(env_imm, (dc->imm << 16));
850fcf5ef2aSThomas Huth     dc->tb_flags |= IMM_FLAG;
851fcf5ef2aSThomas Huth     dc->clear_imm = 0;
852fcf5ef2aSThomas Huth }
853fcf5ef2aSThomas Huth 
854d248e1beSEdgar E. Iglesias static inline void compute_ldst_addr(DisasContext *dc, bool ea, TCGv t)
855fcf5ef2aSThomas Huth {
8560e9033c8SEdgar E. Iglesias     bool extimm = dc->tb_flags & IMM_FLAG;
8570e9033c8SEdgar E. Iglesias     /* Should be set to true if r1 is used by loadstores.  */
8580e9033c8SEdgar E. Iglesias     bool stackprot = false;
859403322eaSEdgar E. Iglesias     TCGv_i32 t32;
860fcf5ef2aSThomas Huth 
861fcf5ef2aSThomas Huth     /* All load/stores use ra.  */
862fcf5ef2aSThomas Huth     if (dc->ra == 1 && dc->cpu->cfg.stackprot) {
8630e9033c8SEdgar E. Iglesias         stackprot = true;
864fcf5ef2aSThomas Huth     }
865fcf5ef2aSThomas Huth 
866fcf5ef2aSThomas Huth     /* Treat the common cases first.  */
867fcf5ef2aSThomas Huth     if (!dc->type_b) {
868d248e1beSEdgar E. Iglesias         if (ea) {
869d248e1beSEdgar E. Iglesias             int addr_size = dc->cpu->cfg.addr_size;
870d248e1beSEdgar E. Iglesias 
871d248e1beSEdgar E. Iglesias             if (addr_size == 32) {
872d248e1beSEdgar E. Iglesias                 tcg_gen_extu_i32_tl(t, cpu_R[dc->rb]);
873d248e1beSEdgar E. Iglesias                 return;
874d248e1beSEdgar E. Iglesias             }
875d248e1beSEdgar E. Iglesias 
876d248e1beSEdgar E. Iglesias             tcg_gen_concat_i32_i64(t, cpu_R[dc->rb], cpu_R[dc->ra]);
877d248e1beSEdgar E. Iglesias             if (addr_size < 64) {
878d248e1beSEdgar E. Iglesias                 /* Mask off out of range bits.  */
879d248e1beSEdgar E. Iglesias                 tcg_gen_andi_i64(t, t, MAKE_64BIT_MASK(0, addr_size));
880d248e1beSEdgar E. Iglesias             }
881d248e1beSEdgar E. Iglesias             return;
882d248e1beSEdgar E. Iglesias         }
883d248e1beSEdgar E. Iglesias 
8840dc4af5cSEdgar E. Iglesias         /* If any of the regs is r0, set t to the value of the other reg.  */
885fcf5ef2aSThomas Huth         if (dc->ra == 0) {
886403322eaSEdgar E. Iglesias             tcg_gen_extu_i32_tl(t, cpu_R[dc->rb]);
8870dc4af5cSEdgar E. Iglesias             return;
888fcf5ef2aSThomas Huth         } else if (dc->rb == 0) {
889403322eaSEdgar E. Iglesias             tcg_gen_extu_i32_tl(t, cpu_R[dc->ra]);
8900dc4af5cSEdgar E. Iglesias             return;
891fcf5ef2aSThomas Huth         }
892fcf5ef2aSThomas Huth 
893fcf5ef2aSThomas Huth         if (dc->rb == 1 && dc->cpu->cfg.stackprot) {
8940e9033c8SEdgar E. Iglesias             stackprot = true;
895fcf5ef2aSThomas Huth         }
896fcf5ef2aSThomas Huth 
897403322eaSEdgar E. Iglesias         t32 = tcg_temp_new_i32();
898403322eaSEdgar E. Iglesias         tcg_gen_add_i32(t32, cpu_R[dc->ra], cpu_R[dc->rb]);
899403322eaSEdgar E. Iglesias         tcg_gen_extu_i32_tl(t, t32);
900403322eaSEdgar E. Iglesias         tcg_temp_free_i32(t32);
901fcf5ef2aSThomas Huth 
902fcf5ef2aSThomas Huth         if (stackprot) {
9030a87e691SEdgar E. Iglesias             gen_helper_stackprot(cpu_env, t);
904fcf5ef2aSThomas Huth         }
9050dc4af5cSEdgar E. Iglesias         return;
906fcf5ef2aSThomas Huth     }
907fcf5ef2aSThomas Huth     /* Immediate.  */
908403322eaSEdgar E. Iglesias     t32 = tcg_temp_new_i32();
909fcf5ef2aSThomas Huth     if (!extimm) {
910f7a66e3aSEdgar E. Iglesias         tcg_gen_addi_i32(t32, cpu_R[dc->ra], (int16_t)dc->imm);
911403322eaSEdgar E. Iglesias     } else {
912403322eaSEdgar E. Iglesias         tcg_gen_add_i32(t32, cpu_R[dc->ra], *(dec_alu_op_b(dc)));
913403322eaSEdgar E. Iglesias     }
914403322eaSEdgar E. Iglesias     tcg_gen_extu_i32_tl(t, t32);
915403322eaSEdgar E. Iglesias     tcg_temp_free_i32(t32);
916fcf5ef2aSThomas Huth 
917fcf5ef2aSThomas Huth     if (stackprot) {
9180a87e691SEdgar E. Iglesias         gen_helper_stackprot(cpu_env, t);
919fcf5ef2aSThomas Huth     }
9200dc4af5cSEdgar E. Iglesias     return;
921fcf5ef2aSThomas Huth }
922fcf5ef2aSThomas Huth 
923fcf5ef2aSThomas Huth static void dec_load(DisasContext *dc)
924fcf5ef2aSThomas Huth {
925403322eaSEdgar E. Iglesias     TCGv_i32 v;
926403322eaSEdgar E. Iglesias     TCGv addr;
9278534063aSEdgar E. Iglesias     unsigned int size;
928d248e1beSEdgar E. Iglesias     bool rev = false, ex = false, ea = false;
929d248e1beSEdgar E. Iglesias     int mem_index = cpu_mmu_index(&dc->cpu->env, false);
93014776ab5STony Nguyen     MemOp mop;
931fcf5ef2aSThomas Huth 
932fcf5ef2aSThomas Huth     mop = dc->opcode & 3;
933fcf5ef2aSThomas Huth     size = 1 << mop;
934fcf5ef2aSThomas Huth     if (!dc->type_b) {
935d248e1beSEdgar E. Iglesias         ea = extract32(dc->ir, 7, 1);
9368534063aSEdgar E. Iglesias         rev = extract32(dc->ir, 9, 1);
9378534063aSEdgar E. Iglesias         ex = extract32(dc->ir, 10, 1);
938fcf5ef2aSThomas Huth     }
939fcf5ef2aSThomas Huth     mop |= MO_TE;
940fcf5ef2aSThomas Huth     if (rev) {
941fcf5ef2aSThomas Huth         mop ^= MO_BSWAP;
942fcf5ef2aSThomas Huth     }
943fcf5ef2aSThomas Huth 
9449ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, size > 4)) {
945fcf5ef2aSThomas Huth         return;
946fcf5ef2aSThomas Huth     }
947fcf5ef2aSThomas Huth 
948d248e1beSEdgar E. Iglesias     if (trap_userspace(dc, ea)) {
949d248e1beSEdgar E. Iglesias         return;
950d248e1beSEdgar E. Iglesias     }
951d248e1beSEdgar E. Iglesias 
952d248e1beSEdgar E. Iglesias     LOG_DIS("l%d%s%s%s%s\n", size, dc->type_b ? "i" : "", rev ? "r" : "",
953d248e1beSEdgar E. Iglesias                                                         ex ? "x" : "",
954d248e1beSEdgar E. Iglesias                                                         ea ? "ea" : "");
955fcf5ef2aSThomas Huth 
956fcf5ef2aSThomas Huth     t_sync_flags(dc);
957403322eaSEdgar E. Iglesias     addr = tcg_temp_new();
958d248e1beSEdgar E. Iglesias     compute_ldst_addr(dc, ea, addr);
959d248e1beSEdgar E. Iglesias     /* Extended addressing bypasses the MMU.  */
960d248e1beSEdgar E. Iglesias     mem_index = ea ? MMU_NOMMU_IDX : mem_index;
961fcf5ef2aSThomas Huth 
962fcf5ef2aSThomas Huth     /*
963fcf5ef2aSThomas Huth      * When doing reverse accesses we need to do two things.
964fcf5ef2aSThomas Huth      *
965fcf5ef2aSThomas Huth      * 1. Reverse the address wrt endianness.
966fcf5ef2aSThomas Huth      * 2. Byteswap the data lanes on the way back into the CPU core.
967fcf5ef2aSThomas Huth      */
968fcf5ef2aSThomas Huth     if (rev && size != 4) {
969fcf5ef2aSThomas Huth         /* Endian reverse the address. t is addr.  */
970fcf5ef2aSThomas Huth         switch (size) {
971fcf5ef2aSThomas Huth             case 1:
972fcf5ef2aSThomas Huth             {
973a6338015SEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 3);
974fcf5ef2aSThomas Huth                 break;
975fcf5ef2aSThomas Huth             }
976fcf5ef2aSThomas Huth 
977fcf5ef2aSThomas Huth             case 2:
978fcf5ef2aSThomas Huth                 /* 00 -> 10
979fcf5ef2aSThomas Huth                    10 -> 00.  */
980403322eaSEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 2);
981fcf5ef2aSThomas Huth                 break;
982fcf5ef2aSThomas Huth             default:
983fcf5ef2aSThomas Huth                 cpu_abort(CPU(dc->cpu), "Invalid reverse size\n");
984fcf5ef2aSThomas Huth                 break;
985fcf5ef2aSThomas Huth         }
986fcf5ef2aSThomas Huth     }
987fcf5ef2aSThomas Huth 
988fcf5ef2aSThomas Huth     /* lwx does not throw unaligned access errors, so force alignment */
989fcf5ef2aSThomas Huth     if (ex) {
990403322eaSEdgar E. Iglesias         tcg_gen_andi_tl(addr, addr, ~3);
991fcf5ef2aSThomas Huth     }
992fcf5ef2aSThomas Huth 
993fcf5ef2aSThomas Huth     /* If we get a fault on a dslot, the jmpstate better be in sync.  */
994fcf5ef2aSThomas Huth     sync_jmpstate(dc);
995fcf5ef2aSThomas Huth 
996fcf5ef2aSThomas Huth     /* Verify alignment if needed.  */
997fcf5ef2aSThomas Huth     /*
998fcf5ef2aSThomas Huth      * Microblaze gives MMU faults priority over faults due to
999fcf5ef2aSThomas Huth      * unaligned addresses. That's why we speculatively do the load
1000fcf5ef2aSThomas Huth      * into v. If the load succeeds, we verify alignment of the
1001fcf5ef2aSThomas Huth      * address and if that succeeds we write into the destination reg.
1002fcf5ef2aSThomas Huth      */
1003cfeea807SEdgar E. Iglesias     v = tcg_temp_new_i32();
1004d248e1beSEdgar E. Iglesias     tcg_gen_qemu_ld_i32(v, addr, mem_index, mop);
1005fcf5ef2aSThomas Huth 
10061507e5f6SEdgar E. Iglesias     if (dc->cpu->cfg.unaligned_exceptions && size > 1) {
1007a6338015SEdgar E. Iglesias         TCGv_i32 t0 = tcg_const_i32(0);
1008a6338015SEdgar E. Iglesias         TCGv_i32 treg = tcg_const_i32(dc->rd);
1009a6338015SEdgar E. Iglesias         TCGv_i32 tsize = tcg_const_i32(size - 1);
1010a6338015SEdgar E. Iglesias 
10110f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, dc->pc);
1012a6338015SEdgar E. Iglesias         gen_helper_memalign(cpu_env, addr, treg, t0, tsize);
1013a6338015SEdgar E. Iglesias 
1014a6338015SEdgar E. Iglesias         tcg_temp_free_i32(t0);
1015a6338015SEdgar E. Iglesias         tcg_temp_free_i32(treg);
1016a6338015SEdgar E. Iglesias         tcg_temp_free_i32(tsize);
1017fcf5ef2aSThomas Huth     }
1018fcf5ef2aSThomas Huth 
1019fcf5ef2aSThomas Huth     if (ex) {
1020403322eaSEdgar E. Iglesias         tcg_gen_mov_tl(env_res_addr, addr);
1021cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(env_res_val, v);
1022fcf5ef2aSThomas Huth     }
1023fcf5ef2aSThomas Huth     if (dc->rd) {
1024cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(cpu_R[dc->rd], v);
1025fcf5ef2aSThomas Huth     }
1026cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(v);
1027fcf5ef2aSThomas Huth 
1028fcf5ef2aSThomas Huth     if (ex) { /* lwx */
1029fcf5ef2aSThomas Huth         /* no support for AXI exclusive so always clear C */
1030fcf5ef2aSThomas Huth         write_carryi(dc, 0);
1031fcf5ef2aSThomas Huth     }
1032fcf5ef2aSThomas Huth 
1033403322eaSEdgar E. Iglesias     tcg_temp_free(addr);
1034fcf5ef2aSThomas Huth }
1035fcf5ef2aSThomas Huth 
1036fcf5ef2aSThomas Huth static void dec_store(DisasContext *dc)
1037fcf5ef2aSThomas Huth {
1038403322eaSEdgar E. Iglesias     TCGv addr;
1039fcf5ef2aSThomas Huth     TCGLabel *swx_skip = NULL;
1040b51b3d43SEdgar E. Iglesias     unsigned int size;
1041d248e1beSEdgar E. Iglesias     bool rev = false, ex = false, ea = false;
1042d248e1beSEdgar E. Iglesias     int mem_index = cpu_mmu_index(&dc->cpu->env, false);
104314776ab5STony Nguyen     MemOp mop;
1044fcf5ef2aSThomas Huth 
1045fcf5ef2aSThomas Huth     mop = dc->opcode & 3;
1046fcf5ef2aSThomas Huth     size = 1 << mop;
1047fcf5ef2aSThomas Huth     if (!dc->type_b) {
1048d248e1beSEdgar E. Iglesias         ea = extract32(dc->ir, 7, 1);
1049b51b3d43SEdgar E. Iglesias         rev = extract32(dc->ir, 9, 1);
1050b51b3d43SEdgar E. Iglesias         ex = extract32(dc->ir, 10, 1);
1051fcf5ef2aSThomas Huth     }
1052fcf5ef2aSThomas Huth     mop |= MO_TE;
1053fcf5ef2aSThomas Huth     if (rev) {
1054fcf5ef2aSThomas Huth         mop ^= MO_BSWAP;
1055fcf5ef2aSThomas Huth     }
1056fcf5ef2aSThomas Huth 
10579ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, size > 4)) {
1058fcf5ef2aSThomas Huth         return;
1059fcf5ef2aSThomas Huth     }
1060fcf5ef2aSThomas Huth 
1061d248e1beSEdgar E. Iglesias     trap_userspace(dc, ea);
1062d248e1beSEdgar E. Iglesias 
1063d248e1beSEdgar E. Iglesias     LOG_DIS("s%d%s%s%s%s\n", size, dc->type_b ? "i" : "", rev ? "r" : "",
1064d248e1beSEdgar E. Iglesias                                                         ex ? "x" : "",
1065d248e1beSEdgar E. Iglesias                                                         ea ? "ea" : "");
1066fcf5ef2aSThomas Huth     t_sync_flags(dc);
1067fcf5ef2aSThomas Huth     /* If we get a fault on a dslot, the jmpstate better be in sync.  */
1068fcf5ef2aSThomas Huth     sync_jmpstate(dc);
10690dc4af5cSEdgar E. Iglesias     /* SWX needs a temp_local.  */
1070403322eaSEdgar E. Iglesias     addr = ex ? tcg_temp_local_new() : tcg_temp_new();
1071d248e1beSEdgar E. Iglesias     compute_ldst_addr(dc, ea, addr);
1072d248e1beSEdgar E. Iglesias     /* Extended addressing bypasses the MMU.  */
1073d248e1beSEdgar E. Iglesias     mem_index = ea ? MMU_NOMMU_IDX : mem_index;
1074fcf5ef2aSThomas Huth 
1075fcf5ef2aSThomas Huth     if (ex) { /* swx */
1076cfeea807SEdgar E. Iglesias         TCGv_i32 tval;
1077fcf5ef2aSThomas Huth 
1078fcf5ef2aSThomas Huth         /* swx does not throw unaligned access errors, so force alignment */
1079403322eaSEdgar E. Iglesias         tcg_gen_andi_tl(addr, addr, ~3);
1080fcf5ef2aSThomas Huth 
1081fcf5ef2aSThomas Huth         write_carryi(dc, 1);
1082fcf5ef2aSThomas Huth         swx_skip = gen_new_label();
1083403322eaSEdgar E. Iglesias         tcg_gen_brcond_tl(TCG_COND_NE, env_res_addr, addr, swx_skip);
1084fcf5ef2aSThomas Huth 
1085071cdc67SEdgar E. Iglesias         /*
1086071cdc67SEdgar E. Iglesias          * Compare the value loaded at lwx with current contents of
1087071cdc67SEdgar E. Iglesias          * the reserved location.
1088071cdc67SEdgar E. Iglesias          */
1089cfeea807SEdgar E. Iglesias         tval = tcg_temp_new_i32();
1090071cdc67SEdgar E. Iglesias 
1091071cdc67SEdgar E. Iglesias         tcg_gen_atomic_cmpxchg_i32(tval, addr, env_res_val,
1092071cdc67SEdgar E. Iglesias                                    cpu_R[dc->rd], mem_index,
1093071cdc67SEdgar E. Iglesias                                    mop);
1094071cdc67SEdgar E. Iglesias 
1095cfeea807SEdgar E. Iglesias         tcg_gen_brcond_i32(TCG_COND_NE, env_res_val, tval, swx_skip);
1096fcf5ef2aSThomas Huth         write_carryi(dc, 0);
1097cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(tval);
1098fcf5ef2aSThomas Huth     }
1099fcf5ef2aSThomas Huth 
1100fcf5ef2aSThomas Huth     if (rev && size != 4) {
1101fcf5ef2aSThomas Huth         /* Endian reverse the address. t is addr.  */
1102fcf5ef2aSThomas Huth         switch (size) {
1103fcf5ef2aSThomas Huth             case 1:
1104fcf5ef2aSThomas Huth             {
1105a6338015SEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 3);
1106fcf5ef2aSThomas Huth                 break;
1107fcf5ef2aSThomas Huth             }
1108fcf5ef2aSThomas Huth 
1109fcf5ef2aSThomas Huth             case 2:
1110fcf5ef2aSThomas Huth                 /* 00 -> 10
1111fcf5ef2aSThomas Huth                    10 -> 00.  */
1112fcf5ef2aSThomas Huth                 /* Force addr into the temp.  */
1113403322eaSEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 2);
1114fcf5ef2aSThomas Huth                 break;
1115fcf5ef2aSThomas Huth             default:
1116fcf5ef2aSThomas Huth                 cpu_abort(CPU(dc->cpu), "Invalid reverse size\n");
1117fcf5ef2aSThomas Huth                 break;
1118fcf5ef2aSThomas Huth         }
1119fcf5ef2aSThomas Huth     }
1120071cdc67SEdgar E. Iglesias 
1121071cdc67SEdgar E. Iglesias     if (!ex) {
1122d248e1beSEdgar E. Iglesias         tcg_gen_qemu_st_i32(cpu_R[dc->rd], addr, mem_index, mop);
1123071cdc67SEdgar E. Iglesias     }
1124fcf5ef2aSThomas Huth 
1125fcf5ef2aSThomas Huth     /* Verify alignment if needed.  */
11261507e5f6SEdgar E. Iglesias     if (dc->cpu->cfg.unaligned_exceptions && size > 1) {
1127a6338015SEdgar E. Iglesias         TCGv_i32 t1 = tcg_const_i32(1);
1128a6338015SEdgar E. Iglesias         TCGv_i32 treg = tcg_const_i32(dc->rd);
1129a6338015SEdgar E. Iglesias         TCGv_i32 tsize = tcg_const_i32(size - 1);
1130a6338015SEdgar E. Iglesias 
11310f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, dc->pc);
1132fcf5ef2aSThomas Huth         /* FIXME: if the alignment is wrong, we should restore the value
1133fcf5ef2aSThomas Huth          *        in memory. One possible way to achieve this is to probe
1134fcf5ef2aSThomas Huth          *        the MMU prior to the memaccess, thay way we could put
1135fcf5ef2aSThomas Huth          *        the alignment checks in between the probe and the mem
1136fcf5ef2aSThomas Huth          *        access.
1137fcf5ef2aSThomas Huth          */
1138a6338015SEdgar E. Iglesias         gen_helper_memalign(cpu_env, addr, treg, t1, tsize);
1139a6338015SEdgar E. Iglesias 
1140a6338015SEdgar E. Iglesias         tcg_temp_free_i32(t1);
1141a6338015SEdgar E. Iglesias         tcg_temp_free_i32(treg);
1142a6338015SEdgar E. Iglesias         tcg_temp_free_i32(tsize);
1143fcf5ef2aSThomas Huth     }
1144fcf5ef2aSThomas Huth 
1145fcf5ef2aSThomas Huth     if (ex) {
1146fcf5ef2aSThomas Huth         gen_set_label(swx_skip);
1147fcf5ef2aSThomas Huth     }
1148fcf5ef2aSThomas Huth 
1149403322eaSEdgar E. Iglesias     tcg_temp_free(addr);
1150fcf5ef2aSThomas Huth }
1151fcf5ef2aSThomas Huth 
1152fcf5ef2aSThomas Huth static inline void eval_cc(DisasContext *dc, unsigned int cc,
11539e6e1828SEdgar E. Iglesias                            TCGv_i32 d, TCGv_i32 a)
1154fcf5ef2aSThomas Huth {
1155d89b86e9SEdgar E. Iglesias     static const int mb_to_tcg_cc[] = {
1156d89b86e9SEdgar E. Iglesias         [CC_EQ] = TCG_COND_EQ,
1157d89b86e9SEdgar E. Iglesias         [CC_NE] = TCG_COND_NE,
1158d89b86e9SEdgar E. Iglesias         [CC_LT] = TCG_COND_LT,
1159d89b86e9SEdgar E. Iglesias         [CC_LE] = TCG_COND_LE,
1160d89b86e9SEdgar E. Iglesias         [CC_GE] = TCG_COND_GE,
1161d89b86e9SEdgar E. Iglesias         [CC_GT] = TCG_COND_GT,
1162d89b86e9SEdgar E. Iglesias     };
1163d89b86e9SEdgar E. Iglesias 
1164fcf5ef2aSThomas Huth     switch (cc) {
1165fcf5ef2aSThomas Huth     case CC_EQ:
1166fcf5ef2aSThomas Huth     case CC_NE:
1167fcf5ef2aSThomas Huth     case CC_LT:
1168fcf5ef2aSThomas Huth     case CC_LE:
1169fcf5ef2aSThomas Huth     case CC_GE:
1170fcf5ef2aSThomas Huth     case CC_GT:
11719e6e1828SEdgar E. Iglesias         tcg_gen_setcondi_i32(mb_to_tcg_cc[cc], d, a, 0);
1172fcf5ef2aSThomas Huth         break;
1173fcf5ef2aSThomas Huth     default:
1174fcf5ef2aSThomas Huth         cpu_abort(CPU(dc->cpu), "Unknown condition code %x.\n", cc);
1175fcf5ef2aSThomas Huth         break;
1176fcf5ef2aSThomas Huth     }
1177fcf5ef2aSThomas Huth }
1178fcf5ef2aSThomas Huth 
11790f96e96bSRichard Henderson static void eval_cond_jmp(DisasContext *dc, TCGv_i32 pc_true, TCGv_i32 pc_false)
1180fcf5ef2aSThomas Huth {
11810f96e96bSRichard Henderson     TCGv_i32 zero = tcg_const_i32(0);
1182e956caf2SEdgar E. Iglesias 
11830f96e96bSRichard Henderson     tcg_gen_movcond_i32(TCG_COND_NE, cpu_pc,
11840f96e96bSRichard Henderson                         env_btaken, zero,
1185e956caf2SEdgar E. Iglesias                         pc_true, pc_false);
1186e956caf2SEdgar E. Iglesias 
11870f96e96bSRichard Henderson     tcg_temp_free_i32(zero);
1188fcf5ef2aSThomas Huth }
1189fcf5ef2aSThomas Huth 
1190f91c60f0SEdgar E. Iglesias static void dec_setup_dslot(DisasContext *dc)
1191f91c60f0SEdgar E. Iglesias {
1192f91c60f0SEdgar E. Iglesias         TCGv_i32 tmp = tcg_const_i32(dc->type_b && (dc->tb_flags & IMM_FLAG));
1193f91c60f0SEdgar E. Iglesias 
1194f91c60f0SEdgar E. Iglesias         dc->delayed_branch = 2;
1195f91c60f0SEdgar E. Iglesias         dc->tb_flags |= D_FLAG;
1196f91c60f0SEdgar E. Iglesias 
1197f91c60f0SEdgar E. Iglesias         tcg_gen_st_i32(tmp, cpu_env, offsetof(CPUMBState, bimm));
1198f91c60f0SEdgar E. Iglesias         tcg_temp_free_i32(tmp);
1199f91c60f0SEdgar E. Iglesias }
1200f91c60f0SEdgar E. Iglesias 
1201fcf5ef2aSThomas Huth static void dec_bcc(DisasContext *dc)
1202fcf5ef2aSThomas Huth {
1203fcf5ef2aSThomas Huth     unsigned int cc;
1204fcf5ef2aSThomas Huth     unsigned int dslot;
1205fcf5ef2aSThomas Huth 
1206fcf5ef2aSThomas Huth     cc = EXTRACT_FIELD(dc->ir, 21, 23);
1207fcf5ef2aSThomas Huth     dslot = dc->ir & (1 << 25);
1208fcf5ef2aSThomas Huth     LOG_DIS("bcc%s r%d %x\n", dslot ? "d" : "", dc->ra, dc->imm);
1209fcf5ef2aSThomas Huth 
1210fcf5ef2aSThomas Huth     dc->delayed_branch = 1;
1211fcf5ef2aSThomas Huth     if (dslot) {
1212f91c60f0SEdgar E. Iglesias         dec_setup_dslot(dc);
1213fcf5ef2aSThomas Huth     }
1214fcf5ef2aSThomas Huth 
1215fcf5ef2aSThomas Huth     if (dec_alu_op_b_is_small_imm(dc)) {
1216fcf5ef2aSThomas Huth         int32_t offset = (int32_t)((int16_t)dc->imm); /* sign-extend.  */
1217fcf5ef2aSThomas Huth 
12180f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_btarget, dc->pc + offset);
1219fcf5ef2aSThomas Huth         dc->jmp = JMP_DIRECT_CC;
1220fcf5ef2aSThomas Huth         dc->jmp_pc = dc->pc + offset;
1221fcf5ef2aSThomas Huth     } else {
1222fcf5ef2aSThomas Huth         dc->jmp = JMP_INDIRECT;
12230f96e96bSRichard Henderson         tcg_gen_addi_i32(cpu_btarget, *dec_alu_op_b(dc), dc->pc);
1224fcf5ef2aSThomas Huth     }
12259e6e1828SEdgar E. Iglesias     eval_cc(dc, cc, env_btaken, cpu_R[dc->ra]);
1226fcf5ef2aSThomas Huth }
1227fcf5ef2aSThomas Huth 
1228fcf5ef2aSThomas Huth static void dec_br(DisasContext *dc)
1229fcf5ef2aSThomas Huth {
1230fcf5ef2aSThomas Huth     unsigned int dslot, link, abs, mbar;
1231fcf5ef2aSThomas Huth 
1232fcf5ef2aSThomas Huth     dslot = dc->ir & (1 << 20);
1233fcf5ef2aSThomas Huth     abs = dc->ir & (1 << 19);
1234fcf5ef2aSThomas Huth     link = dc->ir & (1 << 18);
1235fcf5ef2aSThomas Huth 
1236fcf5ef2aSThomas Huth     /* Memory barrier.  */
1237fcf5ef2aSThomas Huth     mbar = (dc->ir >> 16) & 31;
1238fcf5ef2aSThomas Huth     if (mbar == 2 && dc->imm == 4) {
1239badcbf9dSEdgar E. Iglesias         uint16_t mbar_imm = dc->rd;
1240badcbf9dSEdgar E. Iglesias 
12416f3c458bSEdgar E. Iglesias         LOG_DIS("mbar %d\n", mbar_imm);
12426f3c458bSEdgar E. Iglesias 
12433f172744SEdgar E. Iglesias         /* Data access memory barrier.  */
12443f172744SEdgar E. Iglesias         if ((mbar_imm & 2) == 0) {
12453f172744SEdgar E. Iglesias             tcg_gen_mb(TCG_BAR_SC | TCG_MO_ALL);
12463f172744SEdgar E. Iglesias         }
12473f172744SEdgar E. Iglesias 
1248fcf5ef2aSThomas Huth         /* mbar IMM & 16 decodes to sleep.  */
1249badcbf9dSEdgar E. Iglesias         if (mbar_imm & 16) {
1250fcf5ef2aSThomas Huth             TCGv_i32 tmp_hlt = tcg_const_i32(EXCP_HLT);
1251fcf5ef2aSThomas Huth             TCGv_i32 tmp_1 = tcg_const_i32(1);
1252fcf5ef2aSThomas Huth 
1253fcf5ef2aSThomas Huth             LOG_DIS("sleep\n");
1254fcf5ef2aSThomas Huth 
1255b4919e7dSEdgar E. Iglesias             if (trap_userspace(dc, true)) {
1256b4919e7dSEdgar E. Iglesias                 /* Sleep is a privileged instruction.  */
1257b4919e7dSEdgar E. Iglesias                 return;
1258b4919e7dSEdgar E. Iglesias             }
1259b4919e7dSEdgar E. Iglesias 
1260fcf5ef2aSThomas Huth             t_sync_flags(dc);
1261fcf5ef2aSThomas Huth             tcg_gen_st_i32(tmp_1, cpu_env,
1262fcf5ef2aSThomas Huth                            -offsetof(MicroBlazeCPU, env)
1263fcf5ef2aSThomas Huth                            +offsetof(CPUState, halted));
12640f96e96bSRichard Henderson             tcg_gen_movi_i32(cpu_pc, dc->pc + 4);
1265fcf5ef2aSThomas Huth             gen_helper_raise_exception(cpu_env, tmp_hlt);
1266fcf5ef2aSThomas Huth             tcg_temp_free_i32(tmp_hlt);
1267fcf5ef2aSThomas Huth             tcg_temp_free_i32(tmp_1);
1268fcf5ef2aSThomas Huth             return;
1269fcf5ef2aSThomas Huth         }
1270fcf5ef2aSThomas Huth         /* Break the TB.  */
1271fcf5ef2aSThomas Huth         dc->cpustate_changed = 1;
1272fcf5ef2aSThomas Huth         return;
1273fcf5ef2aSThomas Huth     }
1274fcf5ef2aSThomas Huth 
1275fcf5ef2aSThomas Huth     LOG_DIS("br%s%s%s%s imm=%x\n",
1276fcf5ef2aSThomas Huth              abs ? "a" : "", link ? "l" : "",
1277fcf5ef2aSThomas Huth              dc->type_b ? "i" : "", dslot ? "d" : "",
1278fcf5ef2aSThomas Huth              dc->imm);
1279fcf5ef2aSThomas Huth 
1280fcf5ef2aSThomas Huth     dc->delayed_branch = 1;
1281fcf5ef2aSThomas Huth     if (dslot) {
1282f91c60f0SEdgar E. Iglesias         dec_setup_dslot(dc);
1283fcf5ef2aSThomas Huth     }
1284fcf5ef2aSThomas Huth     if (link && dc->rd)
1285cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_R[dc->rd], dc->pc);
1286fcf5ef2aSThomas Huth 
1287fcf5ef2aSThomas Huth     dc->jmp = JMP_INDIRECT;
1288fcf5ef2aSThomas Huth     if (abs) {
1289cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(env_btaken, 1);
12900f96e96bSRichard Henderson         tcg_gen_mov_i32(cpu_btarget, *(dec_alu_op_b(dc)));
1291fcf5ef2aSThomas Huth         if (link && !dslot) {
1292fcf5ef2aSThomas Huth             if (!(dc->tb_flags & IMM_FLAG) && (dc->imm == 8 || dc->imm == 0x18))
1293fcf5ef2aSThomas Huth                 t_gen_raise_exception(dc, EXCP_BREAK);
1294fcf5ef2aSThomas Huth             if (dc->imm == 0) {
1295bdfc1e88SEdgar E. Iglesias                 if (trap_userspace(dc, true)) {
1296fcf5ef2aSThomas Huth                     return;
1297fcf5ef2aSThomas Huth                 }
1298fcf5ef2aSThomas Huth 
1299fcf5ef2aSThomas Huth                 t_gen_raise_exception(dc, EXCP_DEBUG);
1300fcf5ef2aSThomas Huth             }
1301fcf5ef2aSThomas Huth         }
1302fcf5ef2aSThomas Huth     } else {
1303fcf5ef2aSThomas Huth         if (dec_alu_op_b_is_small_imm(dc)) {
1304fcf5ef2aSThomas Huth             dc->jmp = JMP_DIRECT;
1305fcf5ef2aSThomas Huth             dc->jmp_pc = dc->pc + (int32_t)((int16_t)dc->imm);
1306fcf5ef2aSThomas Huth         } else {
1307cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(env_btaken, 1);
13080f96e96bSRichard Henderson             tcg_gen_addi_i32(cpu_btarget, *dec_alu_op_b(dc), dc->pc);
1309fcf5ef2aSThomas Huth         }
1310fcf5ef2aSThomas Huth     }
1311fcf5ef2aSThomas Huth }
1312fcf5ef2aSThomas Huth 
1313fcf5ef2aSThomas Huth static inline void do_rti(DisasContext *dc)
1314fcf5ef2aSThomas Huth {
1315cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
1316cfeea807SEdgar E. Iglesias     t0 = tcg_temp_new_i32();
1317cfeea807SEdgar E. Iglesias     t1 = tcg_temp_new_i32();
13183e0e16aeSRichard Henderson     tcg_gen_mov_i32(t1, cpu_msr);
13190a22f8cfSEdgar E. Iglesias     tcg_gen_shri_i32(t0, t1, 1);
13200a22f8cfSEdgar E. Iglesias     tcg_gen_ori_i32(t1, t1, MSR_IE);
1321cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM));
1322fcf5ef2aSThomas Huth 
1323cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM));
1324cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(t1, t1, t0);
1325fcf5ef2aSThomas Huth     msr_write(dc, t1);
1326cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t1);
1327cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
1328fcf5ef2aSThomas Huth     dc->tb_flags &= ~DRTI_FLAG;
1329fcf5ef2aSThomas Huth }
1330fcf5ef2aSThomas Huth 
1331fcf5ef2aSThomas Huth static inline void do_rtb(DisasContext *dc)
1332fcf5ef2aSThomas Huth {
1333cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
1334cfeea807SEdgar E. Iglesias     t0 = tcg_temp_new_i32();
1335cfeea807SEdgar E. Iglesias     t1 = tcg_temp_new_i32();
13363e0e16aeSRichard Henderson     tcg_gen_mov_i32(t1, cpu_msr);
13370a22f8cfSEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~MSR_BIP);
1338cfeea807SEdgar E. Iglesias     tcg_gen_shri_i32(t0, t1, 1);
1339cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM));
1340fcf5ef2aSThomas Huth 
1341cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM));
1342cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(t1, t1, t0);
1343fcf5ef2aSThomas Huth     msr_write(dc, t1);
1344cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t1);
1345cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
1346fcf5ef2aSThomas Huth     dc->tb_flags &= ~DRTB_FLAG;
1347fcf5ef2aSThomas Huth }
1348fcf5ef2aSThomas Huth 
1349fcf5ef2aSThomas Huth static inline void do_rte(DisasContext *dc)
1350fcf5ef2aSThomas Huth {
1351cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
1352cfeea807SEdgar E. Iglesias     t0 = tcg_temp_new_i32();
1353cfeea807SEdgar E. Iglesias     t1 = tcg_temp_new_i32();
1354fcf5ef2aSThomas Huth 
13553e0e16aeSRichard Henderson     tcg_gen_mov_i32(t1, cpu_msr);
13560a22f8cfSEdgar E. Iglesias     tcg_gen_ori_i32(t1, t1, MSR_EE);
1357cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~MSR_EIP);
1358cfeea807SEdgar E. Iglesias     tcg_gen_shri_i32(t0, t1, 1);
1359cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM));
1360fcf5ef2aSThomas Huth 
1361cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM));
1362cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(t1, t1, t0);
1363fcf5ef2aSThomas Huth     msr_write(dc, t1);
1364cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t1);
1365cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
1366fcf5ef2aSThomas Huth     dc->tb_flags &= ~DRTE_FLAG;
1367fcf5ef2aSThomas Huth }
1368fcf5ef2aSThomas Huth 
1369fcf5ef2aSThomas Huth static void dec_rts(DisasContext *dc)
1370fcf5ef2aSThomas Huth {
1371fcf5ef2aSThomas Huth     unsigned int b_bit, i_bit, e_bit;
1372fcf5ef2aSThomas Huth 
1373fcf5ef2aSThomas Huth     i_bit = dc->ir & (1 << 21);
1374fcf5ef2aSThomas Huth     b_bit = dc->ir & (1 << 22);
1375fcf5ef2aSThomas Huth     e_bit = dc->ir & (1 << 23);
1376fcf5ef2aSThomas Huth 
1377bdfc1e88SEdgar E. Iglesias     if (trap_userspace(dc, i_bit || b_bit || e_bit)) {
1378bdfc1e88SEdgar E. Iglesias         return;
1379bdfc1e88SEdgar E. Iglesias     }
1380bdfc1e88SEdgar E. Iglesias 
1381f91c60f0SEdgar E. Iglesias     dec_setup_dslot(dc);
1382fcf5ef2aSThomas Huth 
1383fcf5ef2aSThomas Huth     if (i_bit) {
1384fcf5ef2aSThomas Huth         LOG_DIS("rtid ir=%x\n", dc->ir);
1385fcf5ef2aSThomas Huth         dc->tb_flags |= DRTI_FLAG;
1386fcf5ef2aSThomas Huth     } else if (b_bit) {
1387fcf5ef2aSThomas Huth         LOG_DIS("rtbd ir=%x\n", dc->ir);
1388fcf5ef2aSThomas Huth         dc->tb_flags |= DRTB_FLAG;
1389fcf5ef2aSThomas Huth     } else if (e_bit) {
1390fcf5ef2aSThomas Huth         LOG_DIS("rted ir=%x\n", dc->ir);
1391fcf5ef2aSThomas Huth         dc->tb_flags |= DRTE_FLAG;
1392fcf5ef2aSThomas Huth     } else
1393fcf5ef2aSThomas Huth         LOG_DIS("rts ir=%x\n", dc->ir);
1394fcf5ef2aSThomas Huth 
1395fcf5ef2aSThomas Huth     dc->jmp = JMP_INDIRECT;
1396cfeea807SEdgar E. Iglesias     tcg_gen_movi_i32(env_btaken, 1);
13970f96e96bSRichard Henderson     tcg_gen_add_i32(cpu_btarget, cpu_R[dc->ra], *dec_alu_op_b(dc));
1398fcf5ef2aSThomas Huth }
1399fcf5ef2aSThomas Huth 
1400fcf5ef2aSThomas Huth static int dec_check_fpuv2(DisasContext *dc)
1401fcf5ef2aSThomas Huth {
1402fcf5ef2aSThomas Huth     if ((dc->cpu->cfg.use_fpu != 2) && (dc->tb_flags & MSR_EE_FLAG)) {
14036efd5599SRichard Henderson         tcg_gen_movi_i32(cpu_esr, ESR_EC_FPU);
1404fcf5ef2aSThomas Huth         t_gen_raise_exception(dc, EXCP_HW_EXCP);
1405fcf5ef2aSThomas Huth     }
14062016a6a7SJoe Komlodi     return (dc->cpu->cfg.use_fpu == 2) ? PVR2_USE_FPU2_MASK : 0;
1407fcf5ef2aSThomas Huth }
1408fcf5ef2aSThomas Huth 
1409fcf5ef2aSThomas Huth static void dec_fpu(DisasContext *dc)
1410fcf5ef2aSThomas Huth {
1411fcf5ef2aSThomas Huth     unsigned int fpu_insn;
1412fcf5ef2aSThomas Huth 
14139ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_fpu)) {
1414fcf5ef2aSThomas Huth         return;
1415fcf5ef2aSThomas Huth     }
1416fcf5ef2aSThomas Huth 
1417fcf5ef2aSThomas Huth     fpu_insn = (dc->ir >> 7) & 7;
1418fcf5ef2aSThomas Huth 
1419fcf5ef2aSThomas Huth     switch (fpu_insn) {
1420fcf5ef2aSThomas Huth         case 0:
1421fcf5ef2aSThomas Huth             gen_helper_fadd(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
1422fcf5ef2aSThomas Huth                             cpu_R[dc->rb]);
1423fcf5ef2aSThomas Huth             break;
1424fcf5ef2aSThomas Huth 
1425fcf5ef2aSThomas Huth         case 1:
1426fcf5ef2aSThomas Huth             gen_helper_frsub(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
1427fcf5ef2aSThomas Huth                              cpu_R[dc->rb]);
1428fcf5ef2aSThomas Huth             break;
1429fcf5ef2aSThomas Huth 
1430fcf5ef2aSThomas Huth         case 2:
1431fcf5ef2aSThomas Huth             gen_helper_fmul(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
1432fcf5ef2aSThomas Huth                             cpu_R[dc->rb]);
1433fcf5ef2aSThomas Huth             break;
1434fcf5ef2aSThomas Huth 
1435fcf5ef2aSThomas Huth         case 3:
1436fcf5ef2aSThomas Huth             gen_helper_fdiv(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
1437fcf5ef2aSThomas Huth                             cpu_R[dc->rb]);
1438fcf5ef2aSThomas Huth             break;
1439fcf5ef2aSThomas Huth 
1440fcf5ef2aSThomas Huth         case 4:
1441fcf5ef2aSThomas Huth             switch ((dc->ir >> 4) & 7) {
1442fcf5ef2aSThomas Huth                 case 0:
1443fcf5ef2aSThomas Huth                     gen_helper_fcmp_un(cpu_R[dc->rd], cpu_env,
1444fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1445fcf5ef2aSThomas Huth                     break;
1446fcf5ef2aSThomas Huth                 case 1:
1447fcf5ef2aSThomas Huth                     gen_helper_fcmp_lt(cpu_R[dc->rd], cpu_env,
1448fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1449fcf5ef2aSThomas Huth                     break;
1450fcf5ef2aSThomas Huth                 case 2:
1451fcf5ef2aSThomas Huth                     gen_helper_fcmp_eq(cpu_R[dc->rd], cpu_env,
1452fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1453fcf5ef2aSThomas Huth                     break;
1454fcf5ef2aSThomas Huth                 case 3:
1455fcf5ef2aSThomas Huth                     gen_helper_fcmp_le(cpu_R[dc->rd], cpu_env,
1456fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1457fcf5ef2aSThomas Huth                     break;
1458fcf5ef2aSThomas Huth                 case 4:
1459fcf5ef2aSThomas Huth                     gen_helper_fcmp_gt(cpu_R[dc->rd], cpu_env,
1460fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1461fcf5ef2aSThomas Huth                     break;
1462fcf5ef2aSThomas Huth                 case 5:
1463fcf5ef2aSThomas Huth                     gen_helper_fcmp_ne(cpu_R[dc->rd], cpu_env,
1464fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1465fcf5ef2aSThomas Huth                     break;
1466fcf5ef2aSThomas Huth                 case 6:
1467fcf5ef2aSThomas Huth                     gen_helper_fcmp_ge(cpu_R[dc->rd], cpu_env,
1468fcf5ef2aSThomas Huth                                        cpu_R[dc->ra], cpu_R[dc->rb]);
1469fcf5ef2aSThomas Huth                     break;
1470fcf5ef2aSThomas Huth                 default:
1471fcf5ef2aSThomas Huth                     qemu_log_mask(LOG_UNIMP,
1472fcf5ef2aSThomas Huth                                   "unimplemented fcmp fpu_insn=%x pc=%x"
1473fcf5ef2aSThomas Huth                                   " opc=%x\n",
1474fcf5ef2aSThomas Huth                                   fpu_insn, dc->pc, dc->opcode);
1475fcf5ef2aSThomas Huth                     dc->abort_at_next_insn = 1;
1476fcf5ef2aSThomas Huth                     break;
1477fcf5ef2aSThomas Huth             }
1478fcf5ef2aSThomas Huth             break;
1479fcf5ef2aSThomas Huth 
1480fcf5ef2aSThomas Huth         case 5:
1481fcf5ef2aSThomas Huth             if (!dec_check_fpuv2(dc)) {
1482fcf5ef2aSThomas Huth                 return;
1483fcf5ef2aSThomas Huth             }
1484fcf5ef2aSThomas Huth             gen_helper_flt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]);
1485fcf5ef2aSThomas Huth             break;
1486fcf5ef2aSThomas Huth 
1487fcf5ef2aSThomas Huth         case 6:
1488fcf5ef2aSThomas Huth             if (!dec_check_fpuv2(dc)) {
1489fcf5ef2aSThomas Huth                 return;
1490fcf5ef2aSThomas Huth             }
1491fcf5ef2aSThomas Huth             gen_helper_fint(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]);
1492fcf5ef2aSThomas Huth             break;
1493fcf5ef2aSThomas Huth 
1494fcf5ef2aSThomas Huth         case 7:
1495fcf5ef2aSThomas Huth             if (!dec_check_fpuv2(dc)) {
1496fcf5ef2aSThomas Huth                 return;
1497fcf5ef2aSThomas Huth             }
1498fcf5ef2aSThomas Huth             gen_helper_fsqrt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]);
1499fcf5ef2aSThomas Huth             break;
1500fcf5ef2aSThomas Huth 
1501fcf5ef2aSThomas Huth         default:
1502fcf5ef2aSThomas Huth             qemu_log_mask(LOG_UNIMP, "unimplemented FPU insn fpu_insn=%x pc=%x"
1503fcf5ef2aSThomas Huth                           " opc=%x\n",
1504fcf5ef2aSThomas Huth                           fpu_insn, dc->pc, dc->opcode);
1505fcf5ef2aSThomas Huth             dc->abort_at_next_insn = 1;
1506fcf5ef2aSThomas Huth             break;
1507fcf5ef2aSThomas Huth     }
1508fcf5ef2aSThomas Huth }
1509fcf5ef2aSThomas Huth 
1510fcf5ef2aSThomas Huth static void dec_null(DisasContext *dc)
1511fcf5ef2aSThomas Huth {
15129ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, true)) {
1513fcf5ef2aSThomas Huth         return;
1514fcf5ef2aSThomas Huth     }
1515fcf5ef2aSThomas Huth     qemu_log_mask(LOG_GUEST_ERROR, "unknown insn pc=%x opc=%x\n", dc->pc, dc->opcode);
1516fcf5ef2aSThomas Huth     dc->abort_at_next_insn = 1;
1517fcf5ef2aSThomas Huth }
1518fcf5ef2aSThomas Huth 
1519fcf5ef2aSThomas Huth /* Insns connected to FSL or AXI stream attached devices.  */
1520fcf5ef2aSThomas Huth static void dec_stream(DisasContext *dc)
1521fcf5ef2aSThomas Huth {
1522fcf5ef2aSThomas Huth     TCGv_i32 t_id, t_ctrl;
1523fcf5ef2aSThomas Huth     int ctrl;
1524fcf5ef2aSThomas Huth 
1525fcf5ef2aSThomas Huth     LOG_DIS("%s%s imm=%x\n", dc->rd ? "get" : "put",
1526fcf5ef2aSThomas Huth             dc->type_b ? "" : "d", dc->imm);
1527fcf5ef2aSThomas Huth 
1528bdfc1e88SEdgar E. Iglesias     if (trap_userspace(dc, true)) {
1529fcf5ef2aSThomas Huth         return;
1530fcf5ef2aSThomas Huth     }
1531fcf5ef2aSThomas Huth 
1532cfeea807SEdgar E. Iglesias     t_id = tcg_temp_new_i32();
1533fcf5ef2aSThomas Huth     if (dc->type_b) {
1534cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(t_id, dc->imm & 0xf);
1535fcf5ef2aSThomas Huth         ctrl = dc->imm >> 10;
1536fcf5ef2aSThomas Huth     } else {
1537cfeea807SEdgar E. Iglesias         tcg_gen_andi_i32(t_id, cpu_R[dc->rb], 0xf);
1538fcf5ef2aSThomas Huth         ctrl = dc->imm >> 5;
1539fcf5ef2aSThomas Huth     }
1540fcf5ef2aSThomas Huth 
1541cfeea807SEdgar E. Iglesias     t_ctrl = tcg_const_i32(ctrl);
1542fcf5ef2aSThomas Huth 
1543fcf5ef2aSThomas Huth     if (dc->rd == 0) {
1544fcf5ef2aSThomas Huth         gen_helper_put(t_id, t_ctrl, cpu_R[dc->ra]);
1545fcf5ef2aSThomas Huth     } else {
1546fcf5ef2aSThomas Huth         gen_helper_get(cpu_R[dc->rd], t_id, t_ctrl);
1547fcf5ef2aSThomas Huth     }
1548cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t_id);
1549cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t_ctrl);
1550fcf5ef2aSThomas Huth }
1551fcf5ef2aSThomas Huth 
1552fcf5ef2aSThomas Huth static struct decoder_info {
1553fcf5ef2aSThomas Huth     struct {
1554fcf5ef2aSThomas Huth         uint32_t bits;
1555fcf5ef2aSThomas Huth         uint32_t mask;
1556fcf5ef2aSThomas Huth     };
1557fcf5ef2aSThomas Huth     void (*dec)(DisasContext *dc);
1558fcf5ef2aSThomas Huth } decinfo[] = {
1559fcf5ef2aSThomas Huth     {DEC_ADD, dec_add},
1560fcf5ef2aSThomas Huth     {DEC_SUB, dec_sub},
1561fcf5ef2aSThomas Huth     {DEC_AND, dec_and},
1562fcf5ef2aSThomas Huth     {DEC_XOR, dec_xor},
1563fcf5ef2aSThomas Huth     {DEC_OR, dec_or},
1564fcf5ef2aSThomas Huth     {DEC_BIT, dec_bit},
1565fcf5ef2aSThomas Huth     {DEC_BARREL, dec_barrel},
1566fcf5ef2aSThomas Huth     {DEC_LD, dec_load},
1567fcf5ef2aSThomas Huth     {DEC_ST, dec_store},
1568fcf5ef2aSThomas Huth     {DEC_IMM, dec_imm},
1569fcf5ef2aSThomas Huth     {DEC_BR, dec_br},
1570fcf5ef2aSThomas Huth     {DEC_BCC, dec_bcc},
1571fcf5ef2aSThomas Huth     {DEC_RTS, dec_rts},
1572fcf5ef2aSThomas Huth     {DEC_FPU, dec_fpu},
1573fcf5ef2aSThomas Huth     {DEC_MUL, dec_mul},
1574fcf5ef2aSThomas Huth     {DEC_DIV, dec_div},
1575fcf5ef2aSThomas Huth     {DEC_MSR, dec_msr},
1576fcf5ef2aSThomas Huth     {DEC_STREAM, dec_stream},
1577fcf5ef2aSThomas Huth     {{0, 0}, dec_null}
1578fcf5ef2aSThomas Huth };
1579fcf5ef2aSThomas Huth 
1580fcf5ef2aSThomas Huth static inline void decode(DisasContext *dc, uint32_t ir)
1581fcf5ef2aSThomas Huth {
1582fcf5ef2aSThomas Huth     int i;
1583fcf5ef2aSThomas Huth 
1584fcf5ef2aSThomas Huth     dc->ir = ir;
1585fcf5ef2aSThomas Huth     LOG_DIS("%8.8x\t", dc->ir);
1586fcf5ef2aSThomas Huth 
1587462c2544SEdgar E. Iglesias     if (ir == 0) {
15881ee1bd28SEdgar E. Iglesias         trap_illegal(dc, dc->cpu->cfg.opcode_0_illegal);
1589462c2544SEdgar E. Iglesias         /* Don't decode nop/zero instructions any further.  */
1590462c2544SEdgar E. Iglesias         return;
1591462c2544SEdgar E. Iglesias     }
1592fcf5ef2aSThomas Huth 
1593fcf5ef2aSThomas Huth     /* bit 2 seems to indicate insn type.  */
1594fcf5ef2aSThomas Huth     dc->type_b = ir & (1 << 29);
1595fcf5ef2aSThomas Huth 
1596fcf5ef2aSThomas Huth     dc->opcode = EXTRACT_FIELD(ir, 26, 31);
1597fcf5ef2aSThomas Huth     dc->rd = EXTRACT_FIELD(ir, 21, 25);
1598fcf5ef2aSThomas Huth     dc->ra = EXTRACT_FIELD(ir, 16, 20);
1599fcf5ef2aSThomas Huth     dc->rb = EXTRACT_FIELD(ir, 11, 15);
1600fcf5ef2aSThomas Huth     dc->imm = EXTRACT_FIELD(ir, 0, 15);
1601fcf5ef2aSThomas Huth 
1602fcf5ef2aSThomas Huth     /* Large switch for all insns.  */
1603fcf5ef2aSThomas Huth     for (i = 0; i < ARRAY_SIZE(decinfo); i++) {
1604fcf5ef2aSThomas Huth         if ((dc->opcode & decinfo[i].mask) == decinfo[i].bits) {
1605fcf5ef2aSThomas Huth             decinfo[i].dec(dc);
1606fcf5ef2aSThomas Huth             break;
1607fcf5ef2aSThomas Huth         }
1608fcf5ef2aSThomas Huth     }
1609fcf5ef2aSThomas Huth }
1610fcf5ef2aSThomas Huth 
1611fcf5ef2aSThomas Huth /* generate intermediate code for basic block 'tb'.  */
16128b86d6d2SRichard Henderson void gen_intermediate_code(CPUState *cs, TranslationBlock *tb, int max_insns)
1613fcf5ef2aSThomas Huth {
16149c489ea6SLluís Vilanova     CPUMBState *env = cs->env_ptr;
1615f5c7e93aSRichard Henderson     MicroBlazeCPU *cpu = env_archcpu(env);
1616fcf5ef2aSThomas Huth     uint32_t pc_start;
1617fcf5ef2aSThomas Huth     struct DisasContext ctx;
1618fcf5ef2aSThomas Huth     struct DisasContext *dc = &ctx;
161956371527SEmilio G. Cota     uint32_t page_start, org_flags;
1620cfeea807SEdgar E. Iglesias     uint32_t npc;
1621fcf5ef2aSThomas Huth     int num_insns;
1622fcf5ef2aSThomas Huth 
1623fcf5ef2aSThomas Huth     pc_start = tb->pc;
1624fcf5ef2aSThomas Huth     dc->cpu = cpu;
1625fcf5ef2aSThomas Huth     dc->tb = tb;
1626fcf5ef2aSThomas Huth     org_flags = dc->synced_flags = dc->tb_flags = tb->flags;
1627fcf5ef2aSThomas Huth 
1628fcf5ef2aSThomas Huth     dc->is_jmp = DISAS_NEXT;
1629fcf5ef2aSThomas Huth     dc->jmp = 0;
1630fcf5ef2aSThomas Huth     dc->delayed_branch = !!(dc->tb_flags & D_FLAG);
1631fcf5ef2aSThomas Huth     if (dc->delayed_branch) {
1632fcf5ef2aSThomas Huth         dc->jmp = JMP_INDIRECT;
1633fcf5ef2aSThomas Huth     }
1634fcf5ef2aSThomas Huth     dc->pc = pc_start;
1635fcf5ef2aSThomas Huth     dc->singlestep_enabled = cs->singlestep_enabled;
1636fcf5ef2aSThomas Huth     dc->cpustate_changed = 0;
1637fcf5ef2aSThomas Huth     dc->abort_at_next_insn = 0;
1638fcf5ef2aSThomas Huth 
1639fcf5ef2aSThomas Huth     if (pc_start & 3) {
1640fcf5ef2aSThomas Huth         cpu_abort(cs, "Microblaze: unaligned PC=%x\n", pc_start);
1641fcf5ef2aSThomas Huth     }
1642fcf5ef2aSThomas Huth 
164356371527SEmilio G. Cota     page_start = pc_start & TARGET_PAGE_MASK;
1644fcf5ef2aSThomas Huth     num_insns = 0;
1645fcf5ef2aSThomas Huth 
1646fcf5ef2aSThomas Huth     gen_tb_start(tb);
1647fcf5ef2aSThomas Huth     do
1648fcf5ef2aSThomas Huth     {
1649fcf5ef2aSThomas Huth         tcg_gen_insn_start(dc->pc);
1650fcf5ef2aSThomas Huth         num_insns++;
1651fcf5ef2aSThomas Huth 
1652fcf5ef2aSThomas Huth #if SIM_COMPAT
1653fcf5ef2aSThomas Huth         if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM)) {
16540f96e96bSRichard Henderson             tcg_gen_movi_i32(cpu_pc, dc->pc);
1655fcf5ef2aSThomas Huth             gen_helper_debug();
1656fcf5ef2aSThomas Huth         }
1657fcf5ef2aSThomas Huth #endif
1658fcf5ef2aSThomas Huth 
1659fcf5ef2aSThomas Huth         if (unlikely(cpu_breakpoint_test(cs, dc->pc, BP_ANY))) {
1660fcf5ef2aSThomas Huth             t_gen_raise_exception(dc, EXCP_DEBUG);
1661fcf5ef2aSThomas Huth             dc->is_jmp = DISAS_UPDATE;
1662fcf5ef2aSThomas Huth             /* The address covered by the breakpoint must be included in
1663fcf5ef2aSThomas Huth                [tb->pc, tb->pc + tb->size) in order to for it to be
1664fcf5ef2aSThomas Huth                properly cleared -- thus we increment the PC here so that
1665fcf5ef2aSThomas Huth                the logic setting tb->size below does the right thing.  */
1666fcf5ef2aSThomas Huth             dc->pc += 4;
1667fcf5ef2aSThomas Huth             break;
1668fcf5ef2aSThomas Huth         }
1669fcf5ef2aSThomas Huth 
1670fcf5ef2aSThomas Huth         /* Pretty disas.  */
1671fcf5ef2aSThomas Huth         LOG_DIS("%8.8x:\t", dc->pc);
1672fcf5ef2aSThomas Huth 
1673c5a49c63SEmilio G. Cota         if (num_insns == max_insns && (tb_cflags(tb) & CF_LAST_IO)) {
1674fcf5ef2aSThomas Huth             gen_io_start();
1675fcf5ef2aSThomas Huth         }
1676fcf5ef2aSThomas Huth 
1677fcf5ef2aSThomas Huth         dc->clear_imm = 1;
1678fcf5ef2aSThomas Huth         decode(dc, cpu_ldl_code(env, dc->pc));
1679fcf5ef2aSThomas Huth         if (dc->clear_imm)
1680fcf5ef2aSThomas Huth             dc->tb_flags &= ~IMM_FLAG;
1681fcf5ef2aSThomas Huth         dc->pc += 4;
1682fcf5ef2aSThomas Huth 
1683fcf5ef2aSThomas Huth         if (dc->delayed_branch) {
1684fcf5ef2aSThomas Huth             dc->delayed_branch--;
1685fcf5ef2aSThomas Huth             if (!dc->delayed_branch) {
1686fcf5ef2aSThomas Huth                 if (dc->tb_flags & DRTI_FLAG)
1687fcf5ef2aSThomas Huth                     do_rti(dc);
1688fcf5ef2aSThomas Huth                  if (dc->tb_flags & DRTB_FLAG)
1689fcf5ef2aSThomas Huth                     do_rtb(dc);
1690fcf5ef2aSThomas Huth                 if (dc->tb_flags & DRTE_FLAG)
1691fcf5ef2aSThomas Huth                     do_rte(dc);
1692fcf5ef2aSThomas Huth                 /* Clear the delay slot flag.  */
1693fcf5ef2aSThomas Huth                 dc->tb_flags &= ~D_FLAG;
1694fcf5ef2aSThomas Huth                 /* If it is a direct jump, try direct chaining.  */
1695fcf5ef2aSThomas Huth                 if (dc->jmp == JMP_INDIRECT) {
16960f96e96bSRichard Henderson                     TCGv_i32 tmp_pc = tcg_const_i32(dc->pc);
16970f96e96bSRichard Henderson                     eval_cond_jmp(dc, cpu_btarget, tmp_pc);
16980f96e96bSRichard Henderson                     tcg_temp_free_i32(tmp_pc);
1699fcf5ef2aSThomas Huth                     dc->is_jmp = DISAS_JUMP;
1700fcf5ef2aSThomas Huth                 } else if (dc->jmp == JMP_DIRECT) {
1701fcf5ef2aSThomas Huth                     t_sync_flags(dc);
1702fcf5ef2aSThomas Huth                     gen_goto_tb(dc, 0, dc->jmp_pc);
1703fcf5ef2aSThomas Huth                     dc->is_jmp = DISAS_TB_JUMP;
1704fcf5ef2aSThomas Huth                 } else if (dc->jmp == JMP_DIRECT_CC) {
1705fcf5ef2aSThomas Huth                     TCGLabel *l1 = gen_new_label();
1706fcf5ef2aSThomas Huth                     t_sync_flags(dc);
1707fcf5ef2aSThomas Huth                     /* Conditional jmp.  */
1708cfeea807SEdgar E. Iglesias                     tcg_gen_brcondi_i32(TCG_COND_NE, env_btaken, 0, l1);
1709fcf5ef2aSThomas Huth                     gen_goto_tb(dc, 1, dc->pc);
1710fcf5ef2aSThomas Huth                     gen_set_label(l1);
1711fcf5ef2aSThomas Huth                     gen_goto_tb(dc, 0, dc->jmp_pc);
1712fcf5ef2aSThomas Huth 
1713fcf5ef2aSThomas Huth                     dc->is_jmp = DISAS_TB_JUMP;
1714fcf5ef2aSThomas Huth                 }
1715fcf5ef2aSThomas Huth                 break;
1716fcf5ef2aSThomas Huth             }
1717fcf5ef2aSThomas Huth         }
1718fcf5ef2aSThomas Huth         if (cs->singlestep_enabled) {
1719fcf5ef2aSThomas Huth             break;
1720fcf5ef2aSThomas Huth         }
1721fcf5ef2aSThomas Huth     } while (!dc->is_jmp && !dc->cpustate_changed
1722fcf5ef2aSThomas Huth              && !tcg_op_buf_full()
1723fcf5ef2aSThomas Huth              && !singlestep
172456371527SEmilio G. Cota              && (dc->pc - page_start < TARGET_PAGE_SIZE)
1725fcf5ef2aSThomas Huth              && num_insns < max_insns);
1726fcf5ef2aSThomas Huth 
1727fcf5ef2aSThomas Huth     npc = dc->pc;
1728fcf5ef2aSThomas Huth     if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) {
1729fcf5ef2aSThomas Huth         if (dc->tb_flags & D_FLAG) {
1730fcf5ef2aSThomas Huth             dc->is_jmp = DISAS_UPDATE;
17310f96e96bSRichard Henderson             tcg_gen_movi_i32(cpu_pc, npc);
1732fcf5ef2aSThomas Huth             sync_jmpstate(dc);
1733fcf5ef2aSThomas Huth         } else
1734fcf5ef2aSThomas Huth             npc = dc->jmp_pc;
1735fcf5ef2aSThomas Huth     }
1736fcf5ef2aSThomas Huth 
1737fcf5ef2aSThomas Huth     /* Force an update if the per-tb cpu state has changed.  */
1738fcf5ef2aSThomas Huth     if (dc->is_jmp == DISAS_NEXT
1739fcf5ef2aSThomas Huth         && (dc->cpustate_changed || org_flags != dc->tb_flags)) {
1740fcf5ef2aSThomas Huth         dc->is_jmp = DISAS_UPDATE;
17410f96e96bSRichard Henderson         tcg_gen_movi_i32(cpu_pc, npc);
1742fcf5ef2aSThomas Huth     }
1743fcf5ef2aSThomas Huth     t_sync_flags(dc);
1744fcf5ef2aSThomas Huth 
1745fcf5ef2aSThomas Huth     if (unlikely(cs->singlestep_enabled)) {
1746fcf5ef2aSThomas Huth         TCGv_i32 tmp = tcg_const_i32(EXCP_DEBUG);
1747fcf5ef2aSThomas Huth 
1748fcf5ef2aSThomas Huth         if (dc->is_jmp != DISAS_JUMP) {
17490f96e96bSRichard Henderson             tcg_gen_movi_i32(cpu_pc, npc);
1750fcf5ef2aSThomas Huth         }
1751fcf5ef2aSThomas Huth         gen_helper_raise_exception(cpu_env, tmp);
1752fcf5ef2aSThomas Huth         tcg_temp_free_i32(tmp);
1753fcf5ef2aSThomas Huth     } else {
1754fcf5ef2aSThomas Huth         switch(dc->is_jmp) {
1755fcf5ef2aSThomas Huth             case DISAS_NEXT:
1756fcf5ef2aSThomas Huth                 gen_goto_tb(dc, 1, npc);
1757fcf5ef2aSThomas Huth                 break;
1758fcf5ef2aSThomas Huth             default:
1759fcf5ef2aSThomas Huth             case DISAS_JUMP:
1760fcf5ef2aSThomas Huth             case DISAS_UPDATE:
1761fcf5ef2aSThomas Huth                 /* indicate that the hash table must be used
1762fcf5ef2aSThomas Huth                    to find the next TB */
176307ea28b4SRichard Henderson                 tcg_gen_exit_tb(NULL, 0);
1764fcf5ef2aSThomas Huth                 break;
1765fcf5ef2aSThomas Huth             case DISAS_TB_JUMP:
1766fcf5ef2aSThomas Huth                 /* nothing more to generate */
1767fcf5ef2aSThomas Huth                 break;
1768fcf5ef2aSThomas Huth         }
1769fcf5ef2aSThomas Huth     }
1770fcf5ef2aSThomas Huth     gen_tb_end(tb, num_insns);
1771fcf5ef2aSThomas Huth 
1772fcf5ef2aSThomas Huth     tb->size = dc->pc - pc_start;
1773fcf5ef2aSThomas Huth     tb->icount = num_insns;
1774fcf5ef2aSThomas Huth 
1775fcf5ef2aSThomas Huth #ifdef DEBUG_DISAS
1776fcf5ef2aSThomas Huth #if !SIM_COMPAT
1777fcf5ef2aSThomas Huth     if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM)
1778fcf5ef2aSThomas Huth         && qemu_log_in_addr_range(pc_start)) {
1779fc59d2d8SRobert Foley         FILE *logfile = qemu_log_lock();
1780fcf5ef2aSThomas Huth         qemu_log("--------------\n");
17811d48474dSRichard Henderson         log_target_disas(cs, pc_start, dc->pc - pc_start);
1782fc59d2d8SRobert Foley         qemu_log_unlock(logfile);
1783fcf5ef2aSThomas Huth     }
1784fcf5ef2aSThomas Huth #endif
1785fcf5ef2aSThomas Huth #endif
1786fcf5ef2aSThomas Huth     assert(!dc->abort_at_next_insn);
1787fcf5ef2aSThomas Huth }
1788fcf5ef2aSThomas Huth 
178990c84c56SMarkus Armbruster void mb_cpu_dump_state(CPUState *cs, FILE *f, int flags)
1790fcf5ef2aSThomas Huth {
1791fcf5ef2aSThomas Huth     MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs);
1792fcf5ef2aSThomas Huth     CPUMBState *env = &cpu->env;
1793fcf5ef2aSThomas Huth     int i;
1794fcf5ef2aSThomas Huth 
179590c84c56SMarkus Armbruster     if (!env) {
1796fcf5ef2aSThomas Huth         return;
179790c84c56SMarkus Armbruster     }
1798fcf5ef2aSThomas Huth 
17990f96e96bSRichard Henderson     qemu_fprintf(f, "IN: PC=%x %s\n",
180076e8187dSRichard Henderson                  env->pc, lookup_symbol(env->pc));
18016efd5599SRichard Henderson     qemu_fprintf(f, "rmsr=%x resr=%x rear=%" PRIx64 " "
1802*86017ccfSRichard Henderson                  "debug=%x imm=%x iflags=%x fsr=%x "
18032ead1b18SJoe Komlodi                  "rbtr=%" PRIx64 "\n",
180478e9caf2SRichard Henderson                  env->msr, env->esr, env->ear,
18055a8e0136SRichard Henderson                  env->debug, env->imm, env->iflags, env->fsr,
18066fbf78f2SRichard Henderson                  env->btr);
18070f96e96bSRichard Henderson     qemu_fprintf(f, "btaken=%d btarget=%x mode=%s(saved=%s) eip=%d ie=%d\n",
1808fcf5ef2aSThomas Huth                  env->btaken, env->btarget,
18092e5282caSRichard Henderson                  (env->msr & MSR_UM) ? "user" : "kernel",
18102e5282caSRichard Henderson                  (env->msr & MSR_UMS) ? "user" : "kernel",
18112e5282caSRichard Henderson                  (bool)(env->msr & MSR_EIP),
18122e5282caSRichard Henderson                  (bool)(env->msr & MSR_IE));
18132ead1b18SJoe Komlodi     for (i = 0; i < 12; i++) {
18142ead1b18SJoe Komlodi         qemu_fprintf(f, "rpvr%2.2d=%8.8x ", i, env->pvr.regs[i]);
18152ead1b18SJoe Komlodi         if ((i + 1) % 4 == 0) {
18162ead1b18SJoe Komlodi             qemu_fprintf(f, "\n");
18172ead1b18SJoe Komlodi         }
18182ead1b18SJoe Komlodi     }
1819fcf5ef2aSThomas Huth 
18202ead1b18SJoe Komlodi     /* Registers that aren't modeled are reported as 0 */
18212ead1b18SJoe Komlodi     qemu_fprintf(f, "redr=%" PRIx64 " rpid=0 rzpr=0 rtlbx=0 rtlbsx=0 "
1822af20a93aSRichard Henderson                     "rtlblo=0 rtlbhi=0\n", env->edr);
18232ead1b18SJoe Komlodi     qemu_fprintf(f, "slr=%x shr=%x\n", env->slr, env->shr);
1824fcf5ef2aSThomas Huth     for (i = 0; i < 32; i++) {
182590c84c56SMarkus Armbruster         qemu_fprintf(f, "r%2.2d=%8.8x ", i, env->regs[i]);
1826fcf5ef2aSThomas Huth         if ((i + 1) % 4 == 0)
182790c84c56SMarkus Armbruster             qemu_fprintf(f, "\n");
1828fcf5ef2aSThomas Huth         }
182990c84c56SMarkus Armbruster     qemu_fprintf(f, "\n\n");
1830fcf5ef2aSThomas Huth }
1831fcf5ef2aSThomas Huth 
1832fcf5ef2aSThomas Huth void mb_tcg_init(void)
1833fcf5ef2aSThomas Huth {
1834fcf5ef2aSThomas Huth     int i;
1835fcf5ef2aSThomas Huth 
1836cfeea807SEdgar E. Iglesias     env_debug = tcg_global_mem_new_i32(cpu_env,
1837fcf5ef2aSThomas Huth                     offsetof(CPUMBState, debug),
1838fcf5ef2aSThomas Huth                     "debug0");
1839cfeea807SEdgar E. Iglesias     env_iflags = tcg_global_mem_new_i32(cpu_env,
1840fcf5ef2aSThomas Huth                     offsetof(CPUMBState, iflags),
1841fcf5ef2aSThomas Huth                     "iflags");
1842cfeea807SEdgar E. Iglesias     env_imm = tcg_global_mem_new_i32(cpu_env,
1843fcf5ef2aSThomas Huth                     offsetof(CPUMBState, imm),
1844fcf5ef2aSThomas Huth                     "imm");
18450f96e96bSRichard Henderson     cpu_btarget = tcg_global_mem_new_i32(cpu_env,
1846fcf5ef2aSThomas Huth                      offsetof(CPUMBState, btarget),
1847fcf5ef2aSThomas Huth                      "btarget");
1848cfeea807SEdgar E. Iglesias     env_btaken = tcg_global_mem_new_i32(cpu_env,
1849fcf5ef2aSThomas Huth                      offsetof(CPUMBState, btaken),
1850fcf5ef2aSThomas Huth                      "btaken");
1851403322eaSEdgar E. Iglesias     env_res_addr = tcg_global_mem_new(cpu_env,
1852fcf5ef2aSThomas Huth                      offsetof(CPUMBState, res_addr),
1853fcf5ef2aSThomas Huth                      "res_addr");
1854cfeea807SEdgar E. Iglesias     env_res_val = tcg_global_mem_new_i32(cpu_env,
1855fcf5ef2aSThomas Huth                      offsetof(CPUMBState, res_val),
1856fcf5ef2aSThomas Huth                      "res_val");
1857fcf5ef2aSThomas Huth     for (i = 0; i < ARRAY_SIZE(cpu_R); i++) {
1858cfeea807SEdgar E. Iglesias         cpu_R[i] = tcg_global_mem_new_i32(cpu_env,
1859fcf5ef2aSThomas Huth                           offsetof(CPUMBState, regs[i]),
1860fcf5ef2aSThomas Huth                           regnames[i]);
1861fcf5ef2aSThomas Huth     }
186276e8187dSRichard Henderson 
1863aa28e6d4SRichard Henderson     cpu_pc =
18640f96e96bSRichard Henderson         tcg_global_mem_new_i32(cpu_env, offsetof(CPUMBState, pc), "rpc");
1865aa28e6d4SRichard Henderson     cpu_msr =
18663e0e16aeSRichard Henderson         tcg_global_mem_new_i32(cpu_env, offsetof(CPUMBState, msr), "rmsr");
1867aa28e6d4SRichard Henderson     cpu_ear =
1868b2e80a3cSRichard Henderson         tcg_global_mem_new_i64(cpu_env, offsetof(CPUMBState, ear), "rear");
1869aa28e6d4SRichard Henderson     cpu_esr =
18706efd5599SRichard Henderson         tcg_global_mem_new_i32(cpu_env, offsetof(CPUMBState, esr), "resr");
1871aa28e6d4SRichard Henderson     cpu_btr =
18726fbf78f2SRichard Henderson         tcg_global_mem_new_i64(cpu_env, offsetof(CPUMBState, btr), "rbtr");
1873aa28e6d4SRichard Henderson     cpu_edr =
1874af20a93aSRichard Henderson         tcg_global_mem_new_i64(cpu_env, offsetof(CPUMBState, edr), "redr");
1875fcf5ef2aSThomas Huth }
1876fcf5ef2aSThomas Huth 
1877fcf5ef2aSThomas Huth void restore_state_to_opc(CPUMBState *env, TranslationBlock *tb,
1878fcf5ef2aSThomas Huth                           target_ulong *data)
1879fcf5ef2aSThomas Huth {
188076e8187dSRichard Henderson     env->pc = data[0];
1881fcf5ef2aSThomas Huth }
1882