xref: /qemu/target/microblaze/translate.c (revision ab6dd3808d52b96347a4595f9da77c46df1a5e1d)
14acb54baSEdgar E. Iglesias /*
24acb54baSEdgar E. Iglesias  *  Xilinx MicroBlaze emulation for qemu: main translation routines.
34acb54baSEdgar E. Iglesias  *
44acb54baSEdgar E. Iglesias  *  Copyright (c) 2009 Edgar E. Iglesias.
5dadc1064SPeter A. G. Crosthwaite  *  Copyright (c) 2009-2012 PetaLogix Qld Pty Ltd.
64acb54baSEdgar E. Iglesias  *
74acb54baSEdgar E. Iglesias  * This library is free software; you can redistribute it and/or
84acb54baSEdgar E. Iglesias  * modify it under the terms of the GNU Lesser General Public
94acb54baSEdgar E. Iglesias  * License as published by the Free Software Foundation; either
104acb54baSEdgar E. Iglesias  * version 2 of the License, or (at your option) any later version.
114acb54baSEdgar E. Iglesias  *
124acb54baSEdgar E. Iglesias  * This library is distributed in the hope that it will be useful,
134acb54baSEdgar E. Iglesias  * but WITHOUT ANY WARRANTY; without even the implied warranty of
144acb54baSEdgar E. Iglesias  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
154acb54baSEdgar E. Iglesias  * Lesser General Public License for more details.
164acb54baSEdgar E. Iglesias  *
174acb54baSEdgar E. Iglesias  * You should have received a copy of the GNU Lesser General Public
188167ee88SBlue Swirl  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
194acb54baSEdgar E. Iglesias  */
204acb54baSEdgar E. Iglesias 
218fd9deceSPeter Maydell #include "qemu/osdep.h"
224acb54baSEdgar E. Iglesias #include "cpu.h"
2376cad711SPaolo Bonzini #include "disas/disas.h"
2463c91552SPaolo Bonzini #include "exec/exec-all.h"
254acb54baSEdgar E. Iglesias #include "tcg-op.h"
262ef6175aSRichard Henderson #include "exec/helper-proto.h"
274acb54baSEdgar E. Iglesias #include "microblaze-decode.h"
28f08b6170SPaolo Bonzini #include "exec/cpu_ldst.h"
292ef6175aSRichard Henderson #include "exec/helper-gen.h"
3077fc6f5eSLluís Vilanova #include "exec/translator.h"
314acb54baSEdgar E. Iglesias 
32a7e30d84SLluís Vilanova #include "trace-tcg.h"
33508127e2SPaolo Bonzini #include "exec/log.h"
34a7e30d84SLluís Vilanova 
35a7e30d84SLluís Vilanova 
364acb54baSEdgar E. Iglesias #define SIM_COMPAT 0
374acb54baSEdgar E. Iglesias #define DISAS_GNU 1
384acb54baSEdgar E. Iglesias #define DISAS_MB 1
394acb54baSEdgar E. Iglesias #if DISAS_MB && !SIM_COMPAT
404acb54baSEdgar E. Iglesias #  define LOG_DIS(...) qemu_log_mask(CPU_LOG_TB_IN_ASM, ## __VA_ARGS__)
414acb54baSEdgar E. Iglesias #else
424acb54baSEdgar E. Iglesias #  define LOG_DIS(...) do { } while (0)
434acb54baSEdgar E. Iglesias #endif
444acb54baSEdgar E. Iglesias 
454acb54baSEdgar E. Iglesias #define D(x)
464acb54baSEdgar E. Iglesias 
474acb54baSEdgar E. Iglesias #define EXTRACT_FIELD(src, start, end) \
484acb54baSEdgar E. Iglesias             (((src) >> start) & ((1 << (end - start + 1)) - 1))
494acb54baSEdgar E. Iglesias 
5077fc6f5eSLluís Vilanova /* is_jmp field values */
5177fc6f5eSLluís Vilanova #define DISAS_JUMP    DISAS_TARGET_0 /* only pc was modified dynamically */
5277fc6f5eSLluís Vilanova #define DISAS_UPDATE  DISAS_TARGET_1 /* cpu state was modified dynamically */
5377fc6f5eSLluís Vilanova #define DISAS_TB_JUMP DISAS_TARGET_2 /* only pc was modified statically */
5477fc6f5eSLluís Vilanova 
55cfeea807SEdgar E. Iglesias static TCGv_i32 env_debug;
56cfeea807SEdgar E. Iglesias static TCGv_i32 cpu_R[32];
57cfeea807SEdgar E. Iglesias static TCGv_i32 cpu_SR[14];
58cfeea807SEdgar E. Iglesias static TCGv_i32 env_imm;
59cfeea807SEdgar E. Iglesias static TCGv_i32 env_btaken;
60cfeea807SEdgar E. Iglesias static TCGv_i32 env_btarget;
61cfeea807SEdgar E. Iglesias static TCGv_i32 env_iflags;
62403322eaSEdgar E. Iglesias static TCGv env_res_addr;
63cfeea807SEdgar E. Iglesias static TCGv_i32 env_res_val;
644acb54baSEdgar E. Iglesias 
65022c62cbSPaolo Bonzini #include "exec/gen-icount.h"
664acb54baSEdgar E. Iglesias 
674acb54baSEdgar E. Iglesias /* This is the state at translation time.  */
684acb54baSEdgar E. Iglesias typedef struct DisasContext {
690063ebd6SAndreas Färber     MicroBlazeCPU *cpu;
70cfeea807SEdgar E. Iglesias     uint32_t pc;
714acb54baSEdgar E. Iglesias 
724acb54baSEdgar E. Iglesias     /* Decoder.  */
734acb54baSEdgar E. Iglesias     int type_b;
744acb54baSEdgar E. Iglesias     uint32_t ir;
754acb54baSEdgar E. Iglesias     uint8_t opcode;
764acb54baSEdgar E. Iglesias     uint8_t rd, ra, rb;
774acb54baSEdgar E. Iglesias     uint16_t imm;
784acb54baSEdgar E. Iglesias 
794acb54baSEdgar E. Iglesias     unsigned int cpustate_changed;
804acb54baSEdgar E. Iglesias     unsigned int delayed_branch;
814acb54baSEdgar E. Iglesias     unsigned int tb_flags, synced_flags; /* tb dependent flags.  */
824acb54baSEdgar E. Iglesias     unsigned int clear_imm;
834acb54baSEdgar E. Iglesias     int is_jmp;
844acb54baSEdgar E. Iglesias 
854acb54baSEdgar E. Iglesias #define JMP_NOJMP     0
864acb54baSEdgar E. Iglesias #define JMP_DIRECT    1
87844bab60SEdgar E. Iglesias #define JMP_DIRECT_CC 2
88844bab60SEdgar E. Iglesias #define JMP_INDIRECT  3
894acb54baSEdgar E. Iglesias     unsigned int jmp;
904acb54baSEdgar E. Iglesias     uint32_t jmp_pc;
914acb54baSEdgar E. Iglesias 
924acb54baSEdgar E. Iglesias     int abort_at_next_insn;
934acb54baSEdgar E. Iglesias     int nr_nops;
944acb54baSEdgar E. Iglesias     struct TranslationBlock *tb;
954acb54baSEdgar E. Iglesias     int singlestep_enabled;
964acb54baSEdgar E. Iglesias } DisasContext;
974acb54baSEdgar E. Iglesias 
9838972938SJuan Quintela static const char *regnames[] =
994acb54baSEdgar E. Iglesias {
1004acb54baSEdgar E. Iglesias     "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
1014acb54baSEdgar E. Iglesias     "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15",
1024acb54baSEdgar E. Iglesias     "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",
1034acb54baSEdgar E. Iglesias     "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",
1044acb54baSEdgar E. Iglesias };
1054acb54baSEdgar E. Iglesias 
10638972938SJuan Quintela static const char *special_regnames[] =
1074acb54baSEdgar E. Iglesias {
1080031eef2SEdgar E. Iglesias     "rpc", "rmsr", "sr2", "rear", "sr4", "resr", "sr6", "rfsr",
1090031eef2SEdgar E. Iglesias     "sr8", "sr9", "sr10", "rbtr", "sr12", "redr"
1104acb54baSEdgar E. Iglesias };
1114acb54baSEdgar E. Iglesias 
1124acb54baSEdgar E. Iglesias static inline void t_sync_flags(DisasContext *dc)
1134acb54baSEdgar E. Iglesias {
1144abf79a4SDong Xu Wang     /* Synch the tb dependent flags between translator and runtime.  */
1154acb54baSEdgar E. Iglesias     if (dc->tb_flags != dc->synced_flags) {
116cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(env_iflags, dc->tb_flags);
1174acb54baSEdgar E. Iglesias         dc->synced_flags = dc->tb_flags;
1184acb54baSEdgar E. Iglesias     }
1194acb54baSEdgar E. Iglesias }
1204acb54baSEdgar E. Iglesias 
1214acb54baSEdgar E. Iglesias static inline void t_gen_raise_exception(DisasContext *dc, uint32_t index)
1224acb54baSEdgar E. Iglesias {
1234acb54baSEdgar E. Iglesias     TCGv_i32 tmp = tcg_const_i32(index);
1244acb54baSEdgar E. Iglesias 
1254acb54baSEdgar E. Iglesias     t_sync_flags(dc);
126cfeea807SEdgar E. Iglesias     tcg_gen_movi_i32(cpu_SR[SR_PC], dc->pc);
12764254ebaSBlue Swirl     gen_helper_raise_exception(cpu_env, tmp);
1284acb54baSEdgar E. Iglesias     tcg_temp_free_i32(tmp);
1294acb54baSEdgar E. Iglesias     dc->is_jmp = DISAS_UPDATE;
1304acb54baSEdgar E. Iglesias }
1314acb54baSEdgar E. Iglesias 
13290aa39a1SSergey Fedorov static inline bool use_goto_tb(DisasContext *dc, target_ulong dest)
13390aa39a1SSergey Fedorov {
13490aa39a1SSergey Fedorov #ifndef CONFIG_USER_ONLY
13590aa39a1SSergey Fedorov     return (dc->tb->pc & TARGET_PAGE_MASK) == (dest & TARGET_PAGE_MASK);
13690aa39a1SSergey Fedorov #else
13790aa39a1SSergey Fedorov     return true;
13890aa39a1SSergey Fedorov #endif
13990aa39a1SSergey Fedorov }
14090aa39a1SSergey Fedorov 
1414acb54baSEdgar E. Iglesias static void gen_goto_tb(DisasContext *dc, int n, target_ulong dest)
1424acb54baSEdgar E. Iglesias {
14390aa39a1SSergey Fedorov     if (use_goto_tb(dc, dest)) {
1444acb54baSEdgar E. Iglesias         tcg_gen_goto_tb(n);
145cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_SR[SR_PC], dest);
14690aa39a1SSergey Fedorov         tcg_gen_exit_tb((uintptr_t)dc->tb + n);
1474acb54baSEdgar E. Iglesias     } else {
148cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_SR[SR_PC], dest);
1494acb54baSEdgar E. Iglesias         tcg_gen_exit_tb(0);
1504acb54baSEdgar E. Iglesias     }
1514acb54baSEdgar E. Iglesias }
1524acb54baSEdgar E. Iglesias 
153cfeea807SEdgar E. Iglesias static void read_carry(DisasContext *dc, TCGv_i32 d)
154ee8b246fSEdgar E. Iglesias {
155cfeea807SEdgar E. Iglesias     tcg_gen_shri_i32(d, cpu_SR[SR_MSR], 31);
156ee8b246fSEdgar E. Iglesias }
157ee8b246fSEdgar E. Iglesias 
15804ec7df7SEdgar E. Iglesias /*
15904ec7df7SEdgar E. Iglesias  * write_carry sets the carry bits in MSR based on bit 0 of v.
16004ec7df7SEdgar E. Iglesias  * v[31:1] are ignored.
16104ec7df7SEdgar E. Iglesias  */
162cfeea807SEdgar E. Iglesias static void write_carry(DisasContext *dc, TCGv_i32 v)
163ee8b246fSEdgar E. Iglesias {
164cfeea807SEdgar E. Iglesias     TCGv_i32 t0 = tcg_temp_new_i32();
165cfeea807SEdgar E. Iglesias     tcg_gen_shli_i32(t0, v, 31);
166cfeea807SEdgar E. Iglesias     tcg_gen_sari_i32(t0, t0, 31);
167cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t0, t0, (MSR_C | MSR_CC));
168cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(cpu_SR[SR_MSR], cpu_SR[SR_MSR],
169ee8b246fSEdgar E. Iglesias                     ~(MSR_C | MSR_CC));
170cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(cpu_SR[SR_MSR], cpu_SR[SR_MSR], t0);
171cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
172ee8b246fSEdgar E. Iglesias }
173ee8b246fSEdgar E. Iglesias 
17465ab5eb4SEdgar E. Iglesias static void write_carryi(DisasContext *dc, bool carry)
1758cc9b43fSPeter A. G. Crosthwaite {
176cfeea807SEdgar E. Iglesias     TCGv_i32 t0 = tcg_temp_new_i32();
177cfeea807SEdgar E. Iglesias     tcg_gen_movi_i32(t0, carry);
1788cc9b43fSPeter A. G. Crosthwaite     write_carry(dc, t0);
179cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
1808cc9b43fSPeter A. G. Crosthwaite }
1818cc9b43fSPeter A. G. Crosthwaite 
182bdfc1e88SEdgar E. Iglesias /*
1839ba8cd45SEdgar E. Iglesias  * Returns true if the insn an illegal operation.
1849ba8cd45SEdgar E. Iglesias  * If exceptions are enabled, an exception is raised.
1859ba8cd45SEdgar E. Iglesias  */
1869ba8cd45SEdgar E. Iglesias static bool trap_illegal(DisasContext *dc, bool cond)
1879ba8cd45SEdgar E. Iglesias {
1889ba8cd45SEdgar E. Iglesias     if (cond && (dc->tb_flags & MSR_EE_FLAG)
1899ba8cd45SEdgar E. Iglesias         && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK)) {
1909ba8cd45SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP);
1919ba8cd45SEdgar E. Iglesias         t_gen_raise_exception(dc, EXCP_HW_EXCP);
1929ba8cd45SEdgar E. Iglesias     }
1939ba8cd45SEdgar E. Iglesias     return cond;
1949ba8cd45SEdgar E. Iglesias }
1959ba8cd45SEdgar E. Iglesias 
1969ba8cd45SEdgar E. Iglesias /*
197bdfc1e88SEdgar E. Iglesias  * Returns true if the insn is illegal in userspace.
198bdfc1e88SEdgar E. Iglesias  * If exceptions are enabled, an exception is raised.
199bdfc1e88SEdgar E. Iglesias  */
200bdfc1e88SEdgar E. Iglesias static bool trap_userspace(DisasContext *dc, bool cond)
201bdfc1e88SEdgar E. Iglesias {
202bdfc1e88SEdgar E. Iglesias     int mem_index = cpu_mmu_index(&dc->cpu->env, false);
203bdfc1e88SEdgar E. Iglesias     bool cond_user = cond && mem_index == MMU_USER_IDX;
204bdfc1e88SEdgar E. Iglesias 
205bdfc1e88SEdgar E. Iglesias     if (cond_user && (dc->tb_flags & MSR_EE_FLAG)) {
206bdfc1e88SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_SR[SR_ESR], ESR_EC_PRIVINSN);
207bdfc1e88SEdgar E. Iglesias         t_gen_raise_exception(dc, EXCP_HW_EXCP);
208bdfc1e88SEdgar E. Iglesias     }
209bdfc1e88SEdgar E. Iglesias     return cond_user;
210bdfc1e88SEdgar E. Iglesias }
211bdfc1e88SEdgar E. Iglesias 
21261204ce8SEdgar E. Iglesias /* True if ALU operand b is a small immediate that may deserve
21361204ce8SEdgar E. Iglesias    faster treatment.  */
21461204ce8SEdgar E. Iglesias static inline int dec_alu_op_b_is_small_imm(DisasContext *dc)
21561204ce8SEdgar E. Iglesias {
21661204ce8SEdgar E. Iglesias     /* Immediate insn without the imm prefix ?  */
21761204ce8SEdgar E. Iglesias     return dc->type_b && !(dc->tb_flags & IMM_FLAG);
21861204ce8SEdgar E. Iglesias }
21961204ce8SEdgar E. Iglesias 
220cfeea807SEdgar E. Iglesias static inline TCGv_i32 *dec_alu_op_b(DisasContext *dc)
2214acb54baSEdgar E. Iglesias {
2224acb54baSEdgar E. Iglesias     if (dc->type_b) {
2234acb54baSEdgar E. Iglesias         if (dc->tb_flags & IMM_FLAG)
224cfeea807SEdgar E. Iglesias             tcg_gen_ori_i32(env_imm, env_imm, dc->imm);
2254acb54baSEdgar E. Iglesias         else
226cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(env_imm, (int32_t)((int16_t)dc->imm));
2274acb54baSEdgar E. Iglesias         return &env_imm;
2284acb54baSEdgar E. Iglesias     } else
2294acb54baSEdgar E. Iglesias         return &cpu_R[dc->rb];
2304acb54baSEdgar E. Iglesias }
2314acb54baSEdgar E. Iglesias 
2324acb54baSEdgar E. Iglesias static void dec_add(DisasContext *dc)
2334acb54baSEdgar E. Iglesias {
2344acb54baSEdgar E. Iglesias     unsigned int k, c;
235cfeea807SEdgar E. Iglesias     TCGv_i32 cf;
2364acb54baSEdgar E. Iglesias 
2374acb54baSEdgar E. Iglesias     k = dc->opcode & 4;
2384acb54baSEdgar E. Iglesias     c = dc->opcode & 2;
2394acb54baSEdgar E. Iglesias 
2404acb54baSEdgar E. Iglesias     LOG_DIS("add%s%s%s r%d r%d r%d\n",
2414acb54baSEdgar E. Iglesias             dc->type_b ? "i" : "", k ? "k" : "", c ? "c" : "",
2424acb54baSEdgar E. Iglesias             dc->rd, dc->ra, dc->rb);
2434acb54baSEdgar E. Iglesias 
24440cbf5b7SEdgar E. Iglesias     /* Take care of the easy cases first.  */
24540cbf5b7SEdgar E. Iglesias     if (k) {
24640cbf5b7SEdgar E. Iglesias         /* k - keep carry, no need to update MSR.  */
24740cbf5b7SEdgar E. Iglesias         /* If rd == r0, it's a nop.  */
24840cbf5b7SEdgar E. Iglesias         if (dc->rd) {
249cfeea807SEdgar E. Iglesias             tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
25040cbf5b7SEdgar E. Iglesias 
25140cbf5b7SEdgar E. Iglesias             if (c) {
25240cbf5b7SEdgar E. Iglesias                 /* c - Add carry into the result.  */
253cfeea807SEdgar E. Iglesias                 cf = tcg_temp_new_i32();
25440cbf5b7SEdgar E. Iglesias 
25540cbf5b7SEdgar E. Iglesias                 read_carry(dc, cf);
256cfeea807SEdgar E. Iglesias                 tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf);
257cfeea807SEdgar E. Iglesias                 tcg_temp_free_i32(cf);
2584acb54baSEdgar E. Iglesias             }
2594acb54baSEdgar E. Iglesias         }
26040cbf5b7SEdgar E. Iglesias         return;
26140cbf5b7SEdgar E. Iglesias     }
26240cbf5b7SEdgar E. Iglesias 
26340cbf5b7SEdgar E. Iglesias     /* From now on, we can assume k is zero.  So we need to update MSR.  */
26440cbf5b7SEdgar E. Iglesias     /* Extract carry.  */
265cfeea807SEdgar E. Iglesias     cf = tcg_temp_new_i32();
26640cbf5b7SEdgar E. Iglesias     if (c) {
26740cbf5b7SEdgar E. Iglesias         read_carry(dc, cf);
26840cbf5b7SEdgar E. Iglesias     } else {
269cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cf, 0);
27040cbf5b7SEdgar E. Iglesias     }
27140cbf5b7SEdgar E. Iglesias 
27240cbf5b7SEdgar E. Iglesias     if (dc->rd) {
273cfeea807SEdgar E. Iglesias         TCGv_i32 ncf = tcg_temp_new_i32();
2745d0bb823SEdgar E. Iglesias         gen_helper_carry(ncf, cpu_R[dc->ra], *(dec_alu_op_b(dc)), cf);
275cfeea807SEdgar E. Iglesias         tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
276cfeea807SEdgar E. Iglesias         tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf);
27740cbf5b7SEdgar E. Iglesias         write_carry(dc, ncf);
278cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(ncf);
27940cbf5b7SEdgar E. Iglesias     } else {
2805d0bb823SEdgar E. Iglesias         gen_helper_carry(cf, cpu_R[dc->ra], *(dec_alu_op_b(dc)), cf);
28140cbf5b7SEdgar E. Iglesias         write_carry(dc, cf);
28240cbf5b7SEdgar E. Iglesias     }
283cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(cf);
28440cbf5b7SEdgar E. Iglesias }
2854acb54baSEdgar E. Iglesias 
2864acb54baSEdgar E. Iglesias static void dec_sub(DisasContext *dc)
2874acb54baSEdgar E. Iglesias {
2884acb54baSEdgar E. Iglesias     unsigned int u, cmp, k, c;
289cfeea807SEdgar E. Iglesias     TCGv_i32 cf, na;
2904acb54baSEdgar E. Iglesias 
2914acb54baSEdgar E. Iglesias     u = dc->imm & 2;
2924acb54baSEdgar E. Iglesias     k = dc->opcode & 4;
2934acb54baSEdgar E. Iglesias     c = dc->opcode & 2;
2944acb54baSEdgar E. Iglesias     cmp = (dc->imm & 1) && (!dc->type_b) && k;
2954acb54baSEdgar E. Iglesias 
2964acb54baSEdgar E. Iglesias     if (cmp) {
2974acb54baSEdgar E. Iglesias         LOG_DIS("cmp%s r%d, r%d ir=%x\n", u ? "u" : "", dc->rd, dc->ra, dc->ir);
2984acb54baSEdgar E. Iglesias         if (dc->rd) {
2994acb54baSEdgar E. Iglesias             if (u)
3004acb54baSEdgar E. Iglesias                 gen_helper_cmpu(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
3014acb54baSEdgar E. Iglesias             else
3024acb54baSEdgar E. Iglesias                 gen_helper_cmp(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
3034acb54baSEdgar E. Iglesias         }
304e0a42ebcSEdgar E. Iglesias         return;
305e0a42ebcSEdgar E. Iglesias     }
306e0a42ebcSEdgar E. Iglesias 
3074acb54baSEdgar E. Iglesias     LOG_DIS("sub%s%s r%d, r%d r%d\n",
3084acb54baSEdgar E. Iglesias              k ? "k" : "",  c ? "c" : "", dc->rd, dc->ra, dc->rb);
3094acb54baSEdgar E. Iglesias 
310e0a42ebcSEdgar E. Iglesias     /* Take care of the easy cases first.  */
311e0a42ebcSEdgar E. Iglesias     if (k) {
312e0a42ebcSEdgar E. Iglesias         /* k - keep carry, no need to update MSR.  */
313e0a42ebcSEdgar E. Iglesias         /* If rd == r0, it's a nop.  */
314e0a42ebcSEdgar E. Iglesias         if (dc->rd) {
315cfeea807SEdgar E. Iglesias             tcg_gen_sub_i32(cpu_R[dc->rd], *(dec_alu_op_b(dc)), cpu_R[dc->ra]);
316e0a42ebcSEdgar E. Iglesias 
317e0a42ebcSEdgar E. Iglesias             if (c) {
318e0a42ebcSEdgar E. Iglesias                 /* c - Add carry into the result.  */
319cfeea807SEdgar E. Iglesias                 cf = tcg_temp_new_i32();
320e0a42ebcSEdgar E. Iglesias 
321e0a42ebcSEdgar E. Iglesias                 read_carry(dc, cf);
322cfeea807SEdgar E. Iglesias                 tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf);
323cfeea807SEdgar E. Iglesias                 tcg_temp_free_i32(cf);
3244acb54baSEdgar E. Iglesias             }
3254acb54baSEdgar E. Iglesias         }
326e0a42ebcSEdgar E. Iglesias         return;
327e0a42ebcSEdgar E. Iglesias     }
328e0a42ebcSEdgar E. Iglesias 
329e0a42ebcSEdgar E. Iglesias     /* From now on, we can assume k is zero.  So we need to update MSR.  */
330e0a42ebcSEdgar E. Iglesias     /* Extract carry. And complement a into na.  */
331cfeea807SEdgar E. Iglesias     cf = tcg_temp_new_i32();
332cfeea807SEdgar E. Iglesias     na = tcg_temp_new_i32();
333e0a42ebcSEdgar E. Iglesias     if (c) {
334e0a42ebcSEdgar E. Iglesias         read_carry(dc, cf);
335e0a42ebcSEdgar E. Iglesias     } else {
336cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cf, 1);
337e0a42ebcSEdgar E. Iglesias     }
338e0a42ebcSEdgar E. Iglesias 
339e0a42ebcSEdgar E. Iglesias     /* d = b + ~a + c. carry defaults to 1.  */
340cfeea807SEdgar E. Iglesias     tcg_gen_not_i32(na, cpu_R[dc->ra]);
341e0a42ebcSEdgar E. Iglesias 
342e0a42ebcSEdgar E. Iglesias     if (dc->rd) {
343cfeea807SEdgar E. Iglesias         TCGv_i32 ncf = tcg_temp_new_i32();
3445d0bb823SEdgar E. Iglesias         gen_helper_carry(ncf, na, *(dec_alu_op_b(dc)), cf);
345cfeea807SEdgar E. Iglesias         tcg_gen_add_i32(cpu_R[dc->rd], na, *(dec_alu_op_b(dc)));
346cfeea807SEdgar E. Iglesias         tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf);
347e0a42ebcSEdgar E. Iglesias         write_carry(dc, ncf);
348cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(ncf);
349e0a42ebcSEdgar E. Iglesias     } else {
3505d0bb823SEdgar E. Iglesias         gen_helper_carry(cf, na, *(dec_alu_op_b(dc)), cf);
351e0a42ebcSEdgar E. Iglesias         write_carry(dc, cf);
352e0a42ebcSEdgar E. Iglesias     }
353cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(cf);
354cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(na);
355e0a42ebcSEdgar E. Iglesias }
3564acb54baSEdgar E. Iglesias 
3574acb54baSEdgar E. Iglesias static void dec_pattern(DisasContext *dc)
3584acb54baSEdgar E. Iglesias {
3594acb54baSEdgar E. Iglesias     unsigned int mode;
3604acb54baSEdgar E. Iglesias 
3619ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_pcmp_instr)) {
3629ba8cd45SEdgar E. Iglesias         return;
3631567a005SEdgar E. Iglesias     }
3641567a005SEdgar E. Iglesias 
3654acb54baSEdgar E. Iglesias     mode = dc->opcode & 3;
3664acb54baSEdgar E. Iglesias     switch (mode) {
3674acb54baSEdgar E. Iglesias         case 0:
3684acb54baSEdgar E. Iglesias             /* pcmpbf.  */
3694acb54baSEdgar E. Iglesias             LOG_DIS("pcmpbf r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
3704acb54baSEdgar E. Iglesias             if (dc->rd)
3714acb54baSEdgar E. Iglesias                 gen_helper_pcmpbf(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
3724acb54baSEdgar E. Iglesias             break;
3734acb54baSEdgar E. Iglesias         case 2:
3744acb54baSEdgar E. Iglesias             LOG_DIS("pcmpeq r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
3754acb54baSEdgar E. Iglesias             if (dc->rd) {
376cfeea807SEdgar E. Iglesias                 tcg_gen_setcond_i32(TCG_COND_EQ, cpu_R[dc->rd],
37786112805SRichard Henderson                                    cpu_R[dc->ra], cpu_R[dc->rb]);
3784acb54baSEdgar E. Iglesias             }
3794acb54baSEdgar E. Iglesias             break;
3804acb54baSEdgar E. Iglesias         case 3:
3814acb54baSEdgar E. Iglesias             LOG_DIS("pcmpne r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
3824acb54baSEdgar E. Iglesias             if (dc->rd) {
383cfeea807SEdgar E. Iglesias                 tcg_gen_setcond_i32(TCG_COND_NE, cpu_R[dc->rd],
38486112805SRichard Henderson                                    cpu_R[dc->ra], cpu_R[dc->rb]);
3854acb54baSEdgar E. Iglesias             }
3864acb54baSEdgar E. Iglesias             break;
3874acb54baSEdgar E. Iglesias         default:
3880063ebd6SAndreas Färber             cpu_abort(CPU(dc->cpu),
3894acb54baSEdgar E. Iglesias                       "unsupported pattern insn opcode=%x\n", dc->opcode);
3904acb54baSEdgar E. Iglesias             break;
3914acb54baSEdgar E. Iglesias     }
3924acb54baSEdgar E. Iglesias }
3934acb54baSEdgar E. Iglesias 
3944acb54baSEdgar E. Iglesias static void dec_and(DisasContext *dc)
3954acb54baSEdgar E. Iglesias {
3964acb54baSEdgar E. Iglesias     unsigned int not;
3974acb54baSEdgar E. Iglesias 
3984acb54baSEdgar E. Iglesias     if (!dc->type_b && (dc->imm & (1 << 10))) {
3994acb54baSEdgar E. Iglesias         dec_pattern(dc);
4004acb54baSEdgar E. Iglesias         return;
4014acb54baSEdgar E. Iglesias     }
4024acb54baSEdgar E. Iglesias 
4034acb54baSEdgar E. Iglesias     not = dc->opcode & (1 << 1);
4044acb54baSEdgar E. Iglesias     LOG_DIS("and%s\n", not ? "n" : "");
4054acb54baSEdgar E. Iglesias 
4064acb54baSEdgar E. Iglesias     if (!dc->rd)
4074acb54baSEdgar E. Iglesias         return;
4084acb54baSEdgar E. Iglesias 
4094acb54baSEdgar E. Iglesias     if (not) {
410cfeea807SEdgar E. Iglesias         tcg_gen_andc_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
4114acb54baSEdgar E. Iglesias     } else
412cfeea807SEdgar E. Iglesias         tcg_gen_and_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
4134acb54baSEdgar E. Iglesias }
4144acb54baSEdgar E. Iglesias 
4154acb54baSEdgar E. Iglesias static void dec_or(DisasContext *dc)
4164acb54baSEdgar E. Iglesias {
4174acb54baSEdgar E. Iglesias     if (!dc->type_b && (dc->imm & (1 << 10))) {
4184acb54baSEdgar E. Iglesias         dec_pattern(dc);
4194acb54baSEdgar E. Iglesias         return;
4204acb54baSEdgar E. Iglesias     }
4214acb54baSEdgar E. Iglesias 
4224acb54baSEdgar E. Iglesias     LOG_DIS("or r%d r%d r%d imm=%x\n", dc->rd, dc->ra, dc->rb, dc->imm);
4234acb54baSEdgar E. Iglesias     if (dc->rd)
424cfeea807SEdgar E. Iglesias         tcg_gen_or_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
4254acb54baSEdgar E. Iglesias }
4264acb54baSEdgar E. Iglesias 
4274acb54baSEdgar E. Iglesias static void dec_xor(DisasContext *dc)
4284acb54baSEdgar E. Iglesias {
4294acb54baSEdgar E. Iglesias     if (!dc->type_b && (dc->imm & (1 << 10))) {
4304acb54baSEdgar E. Iglesias         dec_pattern(dc);
4314acb54baSEdgar E. Iglesias         return;
4324acb54baSEdgar E. Iglesias     }
4334acb54baSEdgar E. Iglesias 
4344acb54baSEdgar E. Iglesias     LOG_DIS("xor r%d\n", dc->rd);
4354acb54baSEdgar E. Iglesias     if (dc->rd)
436cfeea807SEdgar E. Iglesias         tcg_gen_xor_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
4374acb54baSEdgar E. Iglesias }
4384acb54baSEdgar E. Iglesias 
439cfeea807SEdgar E. Iglesias static inline void msr_read(DisasContext *dc, TCGv_i32 d)
4404acb54baSEdgar E. Iglesias {
441cfeea807SEdgar E. Iglesias     tcg_gen_mov_i32(d, cpu_SR[SR_MSR]);
4424acb54baSEdgar E. Iglesias }
4434acb54baSEdgar E. Iglesias 
444cfeea807SEdgar E. Iglesias static inline void msr_write(DisasContext *dc, TCGv_i32 v)
4454acb54baSEdgar E. Iglesias {
446cfeea807SEdgar E. Iglesias     TCGv_i32 t;
44797b833c5SEdgar E. Iglesias 
448cfeea807SEdgar E. Iglesias     t = tcg_temp_new_i32();
4494acb54baSEdgar E. Iglesias     dc->cpustate_changed = 1;
45097b833c5SEdgar E. Iglesias     /* PVR bit is not writable.  */
451cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t, v, ~MSR_PVR);
452cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(cpu_SR[SR_MSR], cpu_SR[SR_MSR], MSR_PVR);
453cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(cpu_SR[SR_MSR], cpu_SR[SR_MSR], t);
45497b833c5SEdgar E. Iglesias     tcg_temp_free(t);
4554acb54baSEdgar E. Iglesias }
4564acb54baSEdgar E. Iglesias 
4574acb54baSEdgar E. Iglesias static void dec_msr(DisasContext *dc)
4584acb54baSEdgar E. Iglesias {
4590063ebd6SAndreas Färber     CPUState *cs = CPU(dc->cpu);
460cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
4612023e9a3SEdgar E. Iglesias     unsigned int sr, rn;
4622023e9a3SEdgar E. Iglesias     bool to, clrset;
4634acb54baSEdgar E. Iglesias 
4642023e9a3SEdgar E. Iglesias     sr = extract32(dc->imm, 0, 14);
4652023e9a3SEdgar E. Iglesias     to = extract32(dc->imm, 14, 1);
4662023e9a3SEdgar E. Iglesias     clrset = extract32(dc->imm, 15, 1) == 0;
4674acb54baSEdgar E. Iglesias     dc->type_b = 1;
4682023e9a3SEdgar E. Iglesias     if (to) {
4694acb54baSEdgar E. Iglesias         dc->cpustate_changed = 1;
4702023e9a3SEdgar E. Iglesias     }
4714acb54baSEdgar E. Iglesias 
4724acb54baSEdgar E. Iglesias     /* msrclr and msrset.  */
4732023e9a3SEdgar E. Iglesias     if (clrset) {
4742023e9a3SEdgar E. Iglesias         bool clr = extract32(dc->ir, 16, 1);
4754acb54baSEdgar E. Iglesias 
4764acb54baSEdgar E. Iglesias         LOG_DIS("msr%s r%d imm=%x\n", clr ? "clr" : "set",
4774acb54baSEdgar E. Iglesias                 dc->rd, dc->imm);
4781567a005SEdgar E. Iglesias 
47956837509SEdgar E. Iglesias         if (!dc->cpu->cfg.use_msr_instr) {
4801567a005SEdgar E. Iglesias             /* nop??? */
4811567a005SEdgar E. Iglesias             return;
4821567a005SEdgar E. Iglesias         }
4831567a005SEdgar E. Iglesias 
484bdfc1e88SEdgar E. Iglesias         if (trap_userspace(dc, dc->imm != 4 && dc->imm != 0)) {
4851567a005SEdgar E. Iglesias             return;
4861567a005SEdgar E. Iglesias         }
4871567a005SEdgar E. Iglesias 
4884acb54baSEdgar E. Iglesias         if (dc->rd)
4894acb54baSEdgar E. Iglesias             msr_read(dc, cpu_R[dc->rd]);
4904acb54baSEdgar E. Iglesias 
491cfeea807SEdgar E. Iglesias         t0 = tcg_temp_new_i32();
492cfeea807SEdgar E. Iglesias         t1 = tcg_temp_new_i32();
4934acb54baSEdgar E. Iglesias         msr_read(dc, t0);
494cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(t1, *(dec_alu_op_b(dc)));
4954acb54baSEdgar E. Iglesias 
4964acb54baSEdgar E. Iglesias         if (clr) {
497cfeea807SEdgar E. Iglesias             tcg_gen_not_i32(t1, t1);
498cfeea807SEdgar E. Iglesias             tcg_gen_and_i32(t0, t0, t1);
4994acb54baSEdgar E. Iglesias         } else
500cfeea807SEdgar E. Iglesias             tcg_gen_or_i32(t0, t0, t1);
5014acb54baSEdgar E. Iglesias         msr_write(dc, t0);
502cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(t0);
503cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(t1);
504cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_SR[SR_PC], dc->pc + 4);
5054acb54baSEdgar E. Iglesias         dc->is_jmp = DISAS_UPDATE;
5064acb54baSEdgar E. Iglesias         return;
5074acb54baSEdgar E. Iglesias     }
5084acb54baSEdgar E. Iglesias 
509bdfc1e88SEdgar E. Iglesias     if (trap_userspace(dc, to)) {
5101567a005SEdgar E. Iglesias         return;
5111567a005SEdgar E. Iglesias     }
5121567a005SEdgar E. Iglesias 
5134acb54baSEdgar E. Iglesias #if !defined(CONFIG_USER_ONLY)
5144acb54baSEdgar E. Iglesias     /* Catch read/writes to the mmu block.  */
5154acb54baSEdgar E. Iglesias     if ((sr & ~0xff) == 0x1000) {
5164acb54baSEdgar E. Iglesias         sr &= 7;
5174acb54baSEdgar E. Iglesias         LOG_DIS("m%ss sr%d r%d imm=%x\n", to ? "t" : "f", sr, dc->ra, dc->imm);
5184acb54baSEdgar E. Iglesias         if (to)
519cfeea807SEdgar E. Iglesias             gen_helper_mmu_write(cpu_env, tcg_const_i32(sr), cpu_R[dc->ra]);
5204acb54baSEdgar E. Iglesias         else
521cfeea807SEdgar E. Iglesias             gen_helper_mmu_read(cpu_R[dc->rd], cpu_env, tcg_const_i32(sr));
5224acb54baSEdgar E. Iglesias         return;
5234acb54baSEdgar E. Iglesias     }
5244acb54baSEdgar E. Iglesias #endif
5254acb54baSEdgar E. Iglesias 
5264acb54baSEdgar E. Iglesias     if (to) {
5274acb54baSEdgar E. Iglesias         LOG_DIS("m%ss sr%x r%d imm=%x\n", to ? "t" : "f", sr, dc->ra, dc->imm);
5284acb54baSEdgar E. Iglesias         switch (sr) {
5294acb54baSEdgar E. Iglesias             case 0:
5304acb54baSEdgar E. Iglesias                 break;
5314acb54baSEdgar E. Iglesias             case 1:
5324acb54baSEdgar E. Iglesias                 msr_write(dc, cpu_R[dc->ra]);
5334acb54baSEdgar E. Iglesias                 break;
534351527b7SEdgar E. Iglesias             case SR_EAR:
535351527b7SEdgar E. Iglesias             case SR_ESR:
536*ab6dd380SEdgar E. Iglesias             case SR_FSR:
537351527b7SEdgar E. Iglesias                 tcg_gen_mov_i32(cpu_SR[sr], cpu_R[dc->ra]);
5384acb54baSEdgar E. Iglesias                 break;
5395818dee5SEdgar E. Iglesias             case 0x800:
540cfeea807SEdgar E. Iglesias                 tcg_gen_st_i32(cpu_R[dc->ra],
541cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, slr));
5425818dee5SEdgar E. Iglesias                 break;
5435818dee5SEdgar E. Iglesias             case 0x802:
544cfeea807SEdgar E. Iglesias                 tcg_gen_st_i32(cpu_R[dc->ra],
545cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, shr));
5465818dee5SEdgar E. Iglesias                 break;
5474acb54baSEdgar E. Iglesias             default:
5480063ebd6SAndreas Färber                 cpu_abort(CPU(dc->cpu), "unknown mts reg %x\n", sr);
5494acb54baSEdgar E. Iglesias                 break;
5504acb54baSEdgar E. Iglesias         }
5514acb54baSEdgar E. Iglesias     } else {
5524acb54baSEdgar E. Iglesias         LOG_DIS("m%ss r%d sr%x imm=%x\n", to ? "t" : "f", dc->rd, sr, dc->imm);
5534acb54baSEdgar E. Iglesias 
5544acb54baSEdgar E. Iglesias         switch (sr) {
5554acb54baSEdgar E. Iglesias             case 0:
556cfeea807SEdgar E. Iglesias                 tcg_gen_movi_i32(cpu_R[dc->rd], dc->pc);
5574acb54baSEdgar E. Iglesias                 break;
5584acb54baSEdgar E. Iglesias             case 1:
5594acb54baSEdgar E. Iglesias                 msr_read(dc, cpu_R[dc->rd]);
5604acb54baSEdgar E. Iglesias                 break;
561351527b7SEdgar E. Iglesias             case SR_EAR:
562351527b7SEdgar E. Iglesias             case SR_ESR:
563351527b7SEdgar E. Iglesias             case SR_FSR:
564351527b7SEdgar E. Iglesias             case SR_BTR:
565351527b7SEdgar E. Iglesias                 tcg_gen_mov_i32(cpu_R[dc->rd], cpu_SR[sr]);
5664acb54baSEdgar E. Iglesias                 break;
5675818dee5SEdgar E. Iglesias             case 0x800:
568cfeea807SEdgar E. Iglesias                 tcg_gen_ld_i32(cpu_R[dc->rd],
569cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, slr));
5705818dee5SEdgar E. Iglesias                 break;
5715818dee5SEdgar E. Iglesias             case 0x802:
572cfeea807SEdgar E. Iglesias                 tcg_gen_ld_i32(cpu_R[dc->rd],
573cfeea807SEdgar E. Iglesias                                cpu_env, offsetof(CPUMBState, shr));
5745818dee5SEdgar E. Iglesias                 break;
575351527b7SEdgar E. Iglesias             case 0x2000 ... 0x200c:
5764acb54baSEdgar E. Iglesias                 rn = sr & 0xf;
577cfeea807SEdgar E. Iglesias                 tcg_gen_ld_i32(cpu_R[dc->rd],
57868cee38aSAndreas Färber                               cpu_env, offsetof(CPUMBState, pvr.regs[rn]));
5794acb54baSEdgar E. Iglesias                 break;
5804acb54baSEdgar E. Iglesias             default:
581a47dddd7SAndreas Färber                 cpu_abort(cs, "unknown mfs reg %x\n", sr);
5824acb54baSEdgar E. Iglesias                 break;
5834acb54baSEdgar E. Iglesias         }
5844acb54baSEdgar E. Iglesias     }
585ee7dbcf8SEdgar E. Iglesias 
586ee7dbcf8SEdgar E. Iglesias     if (dc->rd == 0) {
587cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_R[0], 0);
588ee7dbcf8SEdgar E. Iglesias     }
5894acb54baSEdgar E. Iglesias }
5904acb54baSEdgar E. Iglesias 
5914acb54baSEdgar E. Iglesias /* Multiplier unit.  */
5924acb54baSEdgar E. Iglesias static void dec_mul(DisasContext *dc)
5934acb54baSEdgar E. Iglesias {
594cfeea807SEdgar E. Iglesias     TCGv_i32 tmp;
5954acb54baSEdgar E. Iglesias     unsigned int subcode;
5964acb54baSEdgar E. Iglesias 
5979ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_hw_mul)) {
5981567a005SEdgar E. Iglesias         return;
5991567a005SEdgar E. Iglesias     }
6001567a005SEdgar E. Iglesias 
6014acb54baSEdgar E. Iglesias     subcode = dc->imm & 3;
6024acb54baSEdgar E. Iglesias 
6034acb54baSEdgar E. Iglesias     if (dc->type_b) {
6044acb54baSEdgar E. Iglesias         LOG_DIS("muli r%d r%d %x\n", dc->rd, dc->ra, dc->imm);
605cfeea807SEdgar E. Iglesias         tcg_gen_mul_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc)));
60616ece88dSRichard Henderson         return;
6074acb54baSEdgar E. Iglesias     }
6084acb54baSEdgar E. Iglesias 
6091567a005SEdgar E. Iglesias     /* mulh, mulhsu and mulhu are not available if C_USE_HW_MUL is < 2.  */
6109b964318SEdgar E. Iglesias     if (subcode >= 1 && subcode <= 3 && dc->cpu->cfg.use_hw_mul < 2) {
6111567a005SEdgar E. Iglesias         /* nop??? */
6121567a005SEdgar E. Iglesias     }
6131567a005SEdgar E. Iglesias 
614cfeea807SEdgar E. Iglesias     tmp = tcg_temp_new_i32();
6154acb54baSEdgar E. Iglesias     switch (subcode) {
6164acb54baSEdgar E. Iglesias         case 0:
6174acb54baSEdgar E. Iglesias             LOG_DIS("mul r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
618cfeea807SEdgar E. Iglesias             tcg_gen_mul_i32(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
6194acb54baSEdgar E. Iglesias             break;
6204acb54baSEdgar E. Iglesias         case 1:
6214acb54baSEdgar E. Iglesias             LOG_DIS("mulh r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
622cfeea807SEdgar E. Iglesias             tcg_gen_muls2_i32(tmp, cpu_R[dc->rd],
623cfeea807SEdgar E. Iglesias                               cpu_R[dc->ra], cpu_R[dc->rb]);
6244acb54baSEdgar E. Iglesias             break;
6254acb54baSEdgar E. Iglesias         case 2:
6264acb54baSEdgar E. Iglesias             LOG_DIS("mulhsu r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
627cfeea807SEdgar E. Iglesias             tcg_gen_mulsu2_i32(tmp, cpu_R[dc->rd],
628cfeea807SEdgar E. Iglesias                                cpu_R[dc->ra], cpu_R[dc->rb]);
6294acb54baSEdgar E. Iglesias             break;
6304acb54baSEdgar E. Iglesias         case 3:
6314acb54baSEdgar E. Iglesias             LOG_DIS("mulhu r%d r%d r%d\n", dc->rd, dc->ra, dc->rb);
632cfeea807SEdgar E. Iglesias             tcg_gen_mulu2_i32(tmp, cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]);
6334acb54baSEdgar E. Iglesias             break;
6344acb54baSEdgar E. Iglesias         default:
6350063ebd6SAndreas Färber             cpu_abort(CPU(dc->cpu), "unknown MUL insn %x\n", subcode);
6364acb54baSEdgar E. Iglesias             break;
6374acb54baSEdgar E. Iglesias     }
638cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(tmp);
6394acb54baSEdgar E. Iglesias }
6404acb54baSEdgar E. Iglesias 
6414acb54baSEdgar E. Iglesias /* Div unit.  */
6424acb54baSEdgar E. Iglesias static void dec_div(DisasContext *dc)
6434acb54baSEdgar E. Iglesias {
6444acb54baSEdgar E. Iglesias     unsigned int u;
6454acb54baSEdgar E. Iglesias 
6464acb54baSEdgar E. Iglesias     u = dc->imm & 2;
6474acb54baSEdgar E. Iglesias     LOG_DIS("div\n");
6484acb54baSEdgar E. Iglesias 
6499ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_div)) {
6509ba8cd45SEdgar E. Iglesias         return;
6511567a005SEdgar E. Iglesias     }
6521567a005SEdgar E. Iglesias 
6534acb54baSEdgar E. Iglesias     if (u)
65464254ebaSBlue Swirl         gen_helper_divu(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)),
65564254ebaSBlue Swirl                         cpu_R[dc->ra]);
6564acb54baSEdgar E. Iglesias     else
65764254ebaSBlue Swirl         gen_helper_divs(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)),
65864254ebaSBlue Swirl                         cpu_R[dc->ra]);
6594acb54baSEdgar E. Iglesias     if (!dc->rd)
660cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_R[dc->rd], 0);
6614acb54baSEdgar E. Iglesias }
6624acb54baSEdgar E. Iglesias 
6634acb54baSEdgar E. Iglesias static void dec_barrel(DisasContext *dc)
6644acb54baSEdgar E. Iglesias {
665cfeea807SEdgar E. Iglesias     TCGv_i32 t0;
666faa48d74SEdgar E. Iglesias     unsigned int imm_w, imm_s;
667d09b2585SEdgar E. Iglesias     bool s, t, e = false, i = false;
6684acb54baSEdgar E. Iglesias 
6699ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_barrel)) {
6701567a005SEdgar E. Iglesias         return;
6711567a005SEdgar E. Iglesias     }
6721567a005SEdgar E. Iglesias 
673faa48d74SEdgar E. Iglesias     if (dc->type_b) {
674faa48d74SEdgar E. Iglesias         /* Insert and extract are only available in immediate mode.  */
675d09b2585SEdgar E. Iglesias         i = extract32(dc->imm, 15, 1);
676faa48d74SEdgar E. Iglesias         e = extract32(dc->imm, 14, 1);
677faa48d74SEdgar E. Iglesias     }
678e3e84983SEdgar E. Iglesias     s = extract32(dc->imm, 10, 1);
679e3e84983SEdgar E. Iglesias     t = extract32(dc->imm, 9, 1);
680faa48d74SEdgar E. Iglesias     imm_w = extract32(dc->imm, 6, 5);
681faa48d74SEdgar E. Iglesias     imm_s = extract32(dc->imm, 0, 5);
6824acb54baSEdgar E. Iglesias 
683faa48d74SEdgar E. Iglesias     LOG_DIS("bs%s%s%s r%d r%d r%d\n",
684faa48d74SEdgar E. Iglesias             e ? "e" : "",
6854acb54baSEdgar E. Iglesias             s ? "l" : "r", t ? "a" : "l", dc->rd, dc->ra, dc->rb);
6864acb54baSEdgar E. Iglesias 
687faa48d74SEdgar E. Iglesias     if (e) {
688faa48d74SEdgar E. Iglesias         if (imm_w + imm_s > 32 || imm_w == 0) {
689faa48d74SEdgar E. Iglesias             /* These inputs have an undefined behavior.  */
690faa48d74SEdgar E. Iglesias             qemu_log_mask(LOG_GUEST_ERROR, "bsefi: Bad input w=%d s=%d\n",
691faa48d74SEdgar E. Iglesias                           imm_w, imm_s);
692faa48d74SEdgar E. Iglesias         } else {
693faa48d74SEdgar E. Iglesias             tcg_gen_extract_i32(cpu_R[dc->rd], cpu_R[dc->ra], imm_s, imm_w);
694faa48d74SEdgar E. Iglesias         }
695d09b2585SEdgar E. Iglesias     } else if (i) {
696d09b2585SEdgar E. Iglesias         int width = imm_w - imm_s + 1;
697d09b2585SEdgar E. Iglesias 
698d09b2585SEdgar E. Iglesias         if (imm_w < imm_s) {
699d09b2585SEdgar E. Iglesias             /* These inputs have an undefined behavior.  */
700d09b2585SEdgar E. Iglesias             qemu_log_mask(LOG_GUEST_ERROR, "bsifi: Bad input w=%d s=%d\n",
701d09b2585SEdgar E. Iglesias                           imm_w, imm_s);
702d09b2585SEdgar E. Iglesias         } else {
703d09b2585SEdgar E. Iglesias             tcg_gen_deposit_i32(cpu_R[dc->rd], cpu_R[dc->rd], cpu_R[dc->ra],
704d09b2585SEdgar E. Iglesias                                 imm_s, width);
705d09b2585SEdgar E. Iglesias         }
706faa48d74SEdgar E. Iglesias     } else {
707cfeea807SEdgar E. Iglesias         t0 = tcg_temp_new_i32();
7084acb54baSEdgar E. Iglesias 
709cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(t0, *(dec_alu_op_b(dc)));
710cfeea807SEdgar E. Iglesias         tcg_gen_andi_i32(t0, t0, 31);
7114acb54baSEdgar E. Iglesias 
7122acf6d53SEdgar E. Iglesias         if (s) {
713cfeea807SEdgar E. Iglesias             tcg_gen_shl_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0);
7142acf6d53SEdgar E. Iglesias         } else {
7152acf6d53SEdgar E. Iglesias             if (t) {
716cfeea807SEdgar E. Iglesias                 tcg_gen_sar_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0);
7172acf6d53SEdgar E. Iglesias             } else {
718cfeea807SEdgar E. Iglesias                 tcg_gen_shr_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0);
7194acb54baSEdgar E. Iglesias             }
7204acb54baSEdgar E. Iglesias         }
721cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(t0);
7222acf6d53SEdgar E. Iglesias     }
723faa48d74SEdgar E. Iglesias }
7244acb54baSEdgar E. Iglesias 
7254acb54baSEdgar E. Iglesias static void dec_bit(DisasContext *dc)
7264acb54baSEdgar E. Iglesias {
7270063ebd6SAndreas Färber     CPUState *cs = CPU(dc->cpu);
728cfeea807SEdgar E. Iglesias     TCGv_i32 t0;
7294acb54baSEdgar E. Iglesias     unsigned int op;
7304acb54baSEdgar E. Iglesias 
731ace2e4daSPeter A. G. Crosthwaite     op = dc->ir & ((1 << 9) - 1);
7324acb54baSEdgar E. Iglesias     switch (op) {
7334acb54baSEdgar E. Iglesias         case 0x21:
7344acb54baSEdgar E. Iglesias             /* src.  */
735cfeea807SEdgar E. Iglesias             t0 = tcg_temp_new_i32();
7364acb54baSEdgar E. Iglesias 
7374acb54baSEdgar E. Iglesias             LOG_DIS("src r%d r%d\n", dc->rd, dc->ra);
738cfeea807SEdgar E. Iglesias             tcg_gen_andi_i32(t0, cpu_SR[SR_MSR], MSR_CC);
73909b9f113SEdgar E. Iglesias             write_carry(dc, cpu_R[dc->ra]);
7404acb54baSEdgar E. Iglesias             if (dc->rd) {
741cfeea807SEdgar E. Iglesias                 tcg_gen_shri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1);
742cfeea807SEdgar E. Iglesias                 tcg_gen_or_i32(cpu_R[dc->rd], cpu_R[dc->rd], t0);
7434acb54baSEdgar E. Iglesias             }
744cfeea807SEdgar E. Iglesias             tcg_temp_free_i32(t0);
7454acb54baSEdgar E. Iglesias             break;
7464acb54baSEdgar E. Iglesias 
7474acb54baSEdgar E. Iglesias         case 0x1:
7484acb54baSEdgar E. Iglesias         case 0x41:
7494acb54baSEdgar E. Iglesias             /* srl.  */
7504acb54baSEdgar E. Iglesias             LOG_DIS("srl r%d r%d\n", dc->rd, dc->ra);
7514acb54baSEdgar E. Iglesias 
752bb3cb951SEdgar E. Iglesias             /* Update carry. Note that write carry only looks at the LSB.  */
753bb3cb951SEdgar E. Iglesias             write_carry(dc, cpu_R[dc->ra]);
7544acb54baSEdgar E. Iglesias             if (dc->rd) {
7554acb54baSEdgar E. Iglesias                 if (op == 0x41)
756cfeea807SEdgar E. Iglesias                     tcg_gen_shri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1);
7574acb54baSEdgar E. Iglesias                 else
758cfeea807SEdgar E. Iglesias                     tcg_gen_sari_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1);
7594acb54baSEdgar E. Iglesias             }
7604acb54baSEdgar E. Iglesias             break;
7614acb54baSEdgar E. Iglesias         case 0x60:
7624acb54baSEdgar E. Iglesias             LOG_DIS("ext8s r%d r%d\n", dc->rd, dc->ra);
7634acb54baSEdgar E. Iglesias             tcg_gen_ext8s_i32(cpu_R[dc->rd], cpu_R[dc->ra]);
7644acb54baSEdgar E. Iglesias             break;
7654acb54baSEdgar E. Iglesias         case 0x61:
7664acb54baSEdgar E. Iglesias             LOG_DIS("ext16s r%d r%d\n", dc->rd, dc->ra);
7674acb54baSEdgar E. Iglesias             tcg_gen_ext16s_i32(cpu_R[dc->rd], cpu_R[dc->ra]);
7684acb54baSEdgar E. Iglesias             break;
7694acb54baSEdgar E. Iglesias         case 0x64:
770f062a3c7SEdgar E. Iglesias         case 0x66:
771f062a3c7SEdgar E. Iglesias         case 0x74:
772f062a3c7SEdgar E. Iglesias         case 0x76:
7734acb54baSEdgar E. Iglesias             /* wdc.  */
7744acb54baSEdgar E. Iglesias             LOG_DIS("wdc r%d\n", dc->ra);
775bdfc1e88SEdgar E. Iglesias             trap_userspace(dc, true);
7764acb54baSEdgar E. Iglesias             break;
7774acb54baSEdgar E. Iglesias         case 0x68:
7784acb54baSEdgar E. Iglesias             /* wic.  */
7794acb54baSEdgar E. Iglesias             LOG_DIS("wic r%d\n", dc->ra);
780bdfc1e88SEdgar E. Iglesias             trap_userspace(dc, true);
7814acb54baSEdgar E. Iglesias             break;
78248b5e96fSEdgar E. Iglesias         case 0xe0:
7839ba8cd45SEdgar E. Iglesias             if (trap_illegal(dc, !dc->cpu->cfg.use_pcmp_instr)) {
7849ba8cd45SEdgar E. Iglesias                 return;
78548b5e96fSEdgar E. Iglesias             }
7868fc5239eSEdgar E. Iglesias             if (dc->cpu->cfg.use_pcmp_instr) {
7875318420cSRichard Henderson                 tcg_gen_clzi_i32(cpu_R[dc->rd], cpu_R[dc->ra], 32);
78848b5e96fSEdgar E. Iglesias             }
78948b5e96fSEdgar E. Iglesias             break;
790ace2e4daSPeter A. G. Crosthwaite         case 0x1e0:
791ace2e4daSPeter A. G. Crosthwaite             /* swapb */
792ace2e4daSPeter A. G. Crosthwaite             LOG_DIS("swapb r%d r%d\n", dc->rd, dc->ra);
793ace2e4daSPeter A. G. Crosthwaite             tcg_gen_bswap32_i32(cpu_R[dc->rd], cpu_R[dc->ra]);
794ace2e4daSPeter A. G. Crosthwaite             break;
795b8c6a5d9SPeter Crosthwaite         case 0x1e2:
796ace2e4daSPeter A. G. Crosthwaite             /*swaph */
797ace2e4daSPeter A. G. Crosthwaite             LOG_DIS("swaph r%d r%d\n", dc->rd, dc->ra);
798ace2e4daSPeter A. G. Crosthwaite             tcg_gen_rotri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 16);
799ace2e4daSPeter A. G. Crosthwaite             break;
8004acb54baSEdgar E. Iglesias         default:
801a47dddd7SAndreas Färber             cpu_abort(cs, "unknown bit oc=%x op=%x rd=%d ra=%d rb=%d\n",
8024acb54baSEdgar E. Iglesias                       dc->pc, op, dc->rd, dc->ra, dc->rb);
8034acb54baSEdgar E. Iglesias             break;
8044acb54baSEdgar E. Iglesias     }
8054acb54baSEdgar E. Iglesias }
8064acb54baSEdgar E. Iglesias 
8074acb54baSEdgar E. Iglesias static inline void sync_jmpstate(DisasContext *dc)
8084acb54baSEdgar E. Iglesias {
809844bab60SEdgar E. Iglesias     if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) {
8104acb54baSEdgar E. Iglesias         if (dc->jmp == JMP_DIRECT) {
811cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(env_btaken, 1);
812844bab60SEdgar E. Iglesias         }
8134acb54baSEdgar E. Iglesias         dc->jmp = JMP_INDIRECT;
814cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(env_btarget, dc->jmp_pc);
8154acb54baSEdgar E. Iglesias     }
8164acb54baSEdgar E. Iglesias }
8174acb54baSEdgar E. Iglesias 
8184acb54baSEdgar E. Iglesias static void dec_imm(DisasContext *dc)
8194acb54baSEdgar E. Iglesias {
8204acb54baSEdgar E. Iglesias     LOG_DIS("imm %x\n", dc->imm << 16);
821cfeea807SEdgar E. Iglesias     tcg_gen_movi_i32(env_imm, (dc->imm << 16));
8224acb54baSEdgar E. Iglesias     dc->tb_flags |= IMM_FLAG;
8234acb54baSEdgar E. Iglesias     dc->clear_imm = 0;
8244acb54baSEdgar E. Iglesias }
8254acb54baSEdgar E. Iglesias 
826403322eaSEdgar E. Iglesias static inline void compute_ldst_addr(DisasContext *dc, TCGv t)
8274acb54baSEdgar E. Iglesias {
8280e9033c8SEdgar E. Iglesias     bool extimm = dc->tb_flags & IMM_FLAG;
8290e9033c8SEdgar E. Iglesias     /* Should be set to true if r1 is used by loadstores.  */
8300e9033c8SEdgar E. Iglesias     bool stackprot = false;
831403322eaSEdgar E. Iglesias     TCGv_i32 t32;
8325818dee5SEdgar E. Iglesias 
8335818dee5SEdgar E. Iglesias     /* All load/stores use ra.  */
8349aaaa181SAlistair Francis     if (dc->ra == 1 && dc->cpu->cfg.stackprot) {
8350e9033c8SEdgar E. Iglesias         stackprot = true;
8365818dee5SEdgar E. Iglesias     }
8374acb54baSEdgar E. Iglesias 
8389ef55357SEdgar E. Iglesias     /* Treat the common cases first.  */
8394acb54baSEdgar E. Iglesias     if (!dc->type_b) {
8400dc4af5cSEdgar E. Iglesias         /* If any of the regs is r0, set t to the value of the other reg.  */
8414b5ef0b5SEdgar E. Iglesias         if (dc->ra == 0) {
842403322eaSEdgar E. Iglesias             tcg_gen_extu_i32_tl(t, cpu_R[dc->rb]);
8430dc4af5cSEdgar E. Iglesias             return;
8444b5ef0b5SEdgar E. Iglesias         } else if (dc->rb == 0) {
845403322eaSEdgar E. Iglesias             tcg_gen_extu_i32_tl(t, cpu_R[dc->ra]);
8460dc4af5cSEdgar E. Iglesias             return;
8474b5ef0b5SEdgar E. Iglesias         }
8484b5ef0b5SEdgar E. Iglesias 
8499aaaa181SAlistair Francis         if (dc->rb == 1 && dc->cpu->cfg.stackprot) {
8500e9033c8SEdgar E. Iglesias             stackprot = true;
8515818dee5SEdgar E. Iglesias         }
8525818dee5SEdgar E. Iglesias 
853403322eaSEdgar E. Iglesias         t32 = tcg_temp_new_i32();
854403322eaSEdgar E. Iglesias         tcg_gen_add_i32(t32, cpu_R[dc->ra], cpu_R[dc->rb]);
855403322eaSEdgar E. Iglesias         tcg_gen_extu_i32_tl(t, t32);
856403322eaSEdgar E. Iglesias         tcg_temp_free_i32(t32);
8575818dee5SEdgar E. Iglesias 
8585818dee5SEdgar E. Iglesias         if (stackprot) {
8590a87e691SEdgar E. Iglesias             gen_helper_stackprot(cpu_env, t);
8605818dee5SEdgar E. Iglesias         }
8610dc4af5cSEdgar E. Iglesias         return;
8624acb54baSEdgar E. Iglesias     }
8634acb54baSEdgar E. Iglesias     /* Immediate.  */
864403322eaSEdgar E. Iglesias     t32 = tcg_temp_new_i32();
8654acb54baSEdgar E. Iglesias     if (!extimm) {
8664acb54baSEdgar E. Iglesias         if (dc->imm == 0) {
867403322eaSEdgar E. Iglesias             tcg_gen_mov_i32(t32, cpu_R[dc->ra]);
8684acb54baSEdgar E. Iglesias         } else {
869403322eaSEdgar E. Iglesias             tcg_gen_movi_i32(t32, (int32_t)((int16_t)dc->imm));
870403322eaSEdgar E. Iglesias             tcg_gen_add_i32(t32, cpu_R[dc->ra], t32);
8714acb54baSEdgar E. Iglesias         }
872403322eaSEdgar E. Iglesias     } else {
873403322eaSEdgar E. Iglesias         tcg_gen_add_i32(t32, cpu_R[dc->ra], *(dec_alu_op_b(dc)));
874403322eaSEdgar E. Iglesias     }
875403322eaSEdgar E. Iglesias     tcg_gen_extu_i32_tl(t, t32);
876403322eaSEdgar E. Iglesias     tcg_temp_free_i32(t32);
8774acb54baSEdgar E. Iglesias 
8785818dee5SEdgar E. Iglesias     if (stackprot) {
8790a87e691SEdgar E. Iglesias         gen_helper_stackprot(cpu_env, t);
8805818dee5SEdgar E. Iglesias     }
8810dc4af5cSEdgar E. Iglesias     return;
8824acb54baSEdgar E. Iglesias }
8834acb54baSEdgar E. Iglesias 
8844acb54baSEdgar E. Iglesias static void dec_load(DisasContext *dc)
8854acb54baSEdgar E. Iglesias {
886403322eaSEdgar E. Iglesias     TCGv_i32 v;
887403322eaSEdgar E. Iglesias     TCGv addr;
8888534063aSEdgar E. Iglesias     unsigned int size;
8898534063aSEdgar E. Iglesias     bool rev = false, ex = false;
89047acdd63SRichard Henderson     TCGMemOp mop;
8914acb54baSEdgar E. Iglesias 
89247acdd63SRichard Henderson     mop = dc->opcode & 3;
89347acdd63SRichard Henderson     size = 1 << mop;
8949f8beb66SEdgar E. Iglesias     if (!dc->type_b) {
8958534063aSEdgar E. Iglesias         rev = extract32(dc->ir, 9, 1);
8968534063aSEdgar E. Iglesias         ex = extract32(dc->ir, 10, 1);
8979f8beb66SEdgar E. Iglesias     }
89847acdd63SRichard Henderson     mop |= MO_TE;
89947acdd63SRichard Henderson     if (rev) {
90047acdd63SRichard Henderson         mop ^= MO_BSWAP;
90147acdd63SRichard Henderson     }
9029f8beb66SEdgar E. Iglesias 
9039ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, size > 4)) {
9040187688fSEdgar E. Iglesias         return;
9050187688fSEdgar E. Iglesias     }
9064acb54baSEdgar E. Iglesias 
9078cc9b43fSPeter A. G. Crosthwaite     LOG_DIS("l%d%s%s%s\n", size, dc->type_b ? "i" : "", rev ? "r" : "",
9088cc9b43fSPeter A. G. Crosthwaite                                                         ex ? "x" : "");
9099f8beb66SEdgar E. Iglesias 
9104acb54baSEdgar E. Iglesias     t_sync_flags(dc);
911403322eaSEdgar E. Iglesias     addr = tcg_temp_new();
9120a87e691SEdgar E. Iglesias     compute_ldst_addr(dc, addr);
9134acb54baSEdgar E. Iglesias 
9149f8beb66SEdgar E. Iglesias     /*
9159f8beb66SEdgar E. Iglesias      * When doing reverse accesses we need to do two things.
9169f8beb66SEdgar E. Iglesias      *
9174ff9786cSStefan Weil      * 1. Reverse the address wrt endianness.
9189f8beb66SEdgar E. Iglesias      * 2. Byteswap the data lanes on the way back into the CPU core.
9199f8beb66SEdgar E. Iglesias      */
9209f8beb66SEdgar E. Iglesias     if (rev && size != 4) {
9219f8beb66SEdgar E. Iglesias         /* Endian reverse the address. t is addr.  */
9229f8beb66SEdgar E. Iglesias         switch (size) {
9239f8beb66SEdgar E. Iglesias             case 1:
9249f8beb66SEdgar E. Iglesias             {
9259f8beb66SEdgar E. Iglesias                 /* 00 -> 11
9269f8beb66SEdgar E. Iglesias                    01 -> 10
9279f8beb66SEdgar E. Iglesias                    10 -> 10
9289f8beb66SEdgar E. Iglesias                    11 -> 00 */
929403322eaSEdgar E. Iglesias                 TCGv low = tcg_temp_new();
9309f8beb66SEdgar E. Iglesias 
931403322eaSEdgar E. Iglesias                 tcg_gen_andi_tl(low, addr, 3);
932403322eaSEdgar E. Iglesias                 tcg_gen_sub_tl(low, tcg_const_tl(3), low);
933403322eaSEdgar E. Iglesias                 tcg_gen_andi_tl(addr, addr, ~3);
934403322eaSEdgar E. Iglesias                 tcg_gen_or_tl(addr, addr, low);
935403322eaSEdgar E. Iglesias                 tcg_temp_free(low);
9369f8beb66SEdgar E. Iglesias                 break;
9379f8beb66SEdgar E. Iglesias             }
9389f8beb66SEdgar E. Iglesias 
9399f8beb66SEdgar E. Iglesias             case 2:
9409f8beb66SEdgar E. Iglesias                 /* 00 -> 10
9419f8beb66SEdgar E. Iglesias                    10 -> 00.  */
942403322eaSEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 2);
9439f8beb66SEdgar E. Iglesias                 break;
9449f8beb66SEdgar E. Iglesias             default:
9450063ebd6SAndreas Färber                 cpu_abort(CPU(dc->cpu), "Invalid reverse size\n");
9469f8beb66SEdgar E. Iglesias                 break;
9479f8beb66SEdgar E. Iglesias         }
9489f8beb66SEdgar E. Iglesias     }
9499f8beb66SEdgar E. Iglesias 
9508cc9b43fSPeter A. G. Crosthwaite     /* lwx does not throw unaligned access errors, so force alignment */
9518cc9b43fSPeter A. G. Crosthwaite     if (ex) {
952403322eaSEdgar E. Iglesias         tcg_gen_andi_tl(addr, addr, ~3);
9538cc9b43fSPeter A. G. Crosthwaite     }
9548cc9b43fSPeter A. G. Crosthwaite 
9554acb54baSEdgar E. Iglesias     /* If we get a fault on a dslot, the jmpstate better be in sync.  */
9564acb54baSEdgar E. Iglesias     sync_jmpstate(dc);
957968a40f6SEdgar E. Iglesias 
958968a40f6SEdgar E. Iglesias     /* Verify alignment if needed.  */
959a12f6507SEdgar E. Iglesias     /*
960a12f6507SEdgar E. Iglesias      * Microblaze gives MMU faults priority over faults due to
961a12f6507SEdgar E. Iglesias      * unaligned addresses. That's why we speculatively do the load
962a12f6507SEdgar E. Iglesias      * into v. If the load succeeds, we verify alignment of the
963a12f6507SEdgar E. Iglesias      * address and if that succeeds we write into the destination reg.
964a12f6507SEdgar E. Iglesias      */
965cfeea807SEdgar E. Iglesias     v = tcg_temp_new_i32();
9660dc4af5cSEdgar E. Iglesias     tcg_gen_qemu_ld_i32(v, addr, cpu_mmu_index(&dc->cpu->env, false), mop);
967a12f6507SEdgar E. Iglesias 
9680063ebd6SAndreas Färber     if ((dc->cpu->env.pvr.regs[2] & PVR2_UNALIGNED_EXC_MASK) && size > 1) {
969cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_SR[SR_PC], dc->pc);
9700dc4af5cSEdgar E. Iglesias         gen_helper_memalign(cpu_env, addr, tcg_const_i32(dc->rd),
971cfeea807SEdgar E. Iglesias                             tcg_const_i32(0), tcg_const_i32(size - 1));
97247acdd63SRichard Henderson     }
97347acdd63SRichard Henderson 
97447acdd63SRichard Henderson     if (ex) {
975403322eaSEdgar E. Iglesias         tcg_gen_mov_tl(env_res_addr, addr);
976cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(env_res_val, v);
97747acdd63SRichard Henderson     }
9789f8beb66SEdgar E. Iglesias     if (dc->rd) {
979cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(cpu_R[dc->rd], v);
9809f8beb66SEdgar E. Iglesias     }
981cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(v);
9824acb54baSEdgar E. Iglesias 
9838cc9b43fSPeter A. G. Crosthwaite     if (ex) { /* lwx */
984b6af0975SDaniel P. Berrange         /* no support for AXI exclusive so always clear C */
9858cc9b43fSPeter A. G. Crosthwaite         write_carryi(dc, 0);
9868cc9b43fSPeter A. G. Crosthwaite     }
9878cc9b43fSPeter A. G. Crosthwaite 
988403322eaSEdgar E. Iglesias     tcg_temp_free(addr);
9894acb54baSEdgar E. Iglesias }
9904acb54baSEdgar E. Iglesias 
9914acb54baSEdgar E. Iglesias static void dec_store(DisasContext *dc)
9924acb54baSEdgar E. Iglesias {
993403322eaSEdgar E. Iglesias     TCGv addr;
99442a268c2SRichard Henderson     TCGLabel *swx_skip = NULL;
995b51b3d43SEdgar E. Iglesias     unsigned int size;
996b51b3d43SEdgar E. Iglesias     bool rev = false, ex = false;
99747acdd63SRichard Henderson     TCGMemOp mop;
9984acb54baSEdgar E. Iglesias 
99947acdd63SRichard Henderson     mop = dc->opcode & 3;
100047acdd63SRichard Henderson     size = 1 << mop;
10019f8beb66SEdgar E. Iglesias     if (!dc->type_b) {
1002b51b3d43SEdgar E. Iglesias         rev = extract32(dc->ir, 9, 1);
1003b51b3d43SEdgar E. Iglesias         ex = extract32(dc->ir, 10, 1);
10049f8beb66SEdgar E. Iglesias     }
100547acdd63SRichard Henderson     mop |= MO_TE;
100647acdd63SRichard Henderson     if (rev) {
100747acdd63SRichard Henderson         mop ^= MO_BSWAP;
100847acdd63SRichard Henderson     }
10094acb54baSEdgar E. Iglesias 
10109ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, size > 4)) {
10110187688fSEdgar E. Iglesias         return;
10120187688fSEdgar E. Iglesias     }
10130187688fSEdgar E. Iglesias 
10148cc9b43fSPeter A. G. Crosthwaite     LOG_DIS("s%d%s%s%s\n", size, dc->type_b ? "i" : "", rev ? "r" : "",
10158cc9b43fSPeter A. G. Crosthwaite                                                         ex ? "x" : "");
10164acb54baSEdgar E. Iglesias     t_sync_flags(dc);
10174acb54baSEdgar E. Iglesias     /* If we get a fault on a dslot, the jmpstate better be in sync.  */
10184acb54baSEdgar E. Iglesias     sync_jmpstate(dc);
10190dc4af5cSEdgar E. Iglesias     /* SWX needs a temp_local.  */
1020403322eaSEdgar E. Iglesias     addr = ex ? tcg_temp_local_new() : tcg_temp_new();
10210a87e691SEdgar E. Iglesias     compute_ldst_addr(dc, addr);
1022968a40f6SEdgar E. Iglesias 
1023083dbf48SPeter A. G. Crosthwaite     if (ex) { /* swx */
1024cfeea807SEdgar E. Iglesias         TCGv_i32 tval;
10258cc9b43fSPeter A. G. Crosthwaite 
10268cc9b43fSPeter A. G. Crosthwaite         /* swx does not throw unaligned access errors, so force alignment */
1027403322eaSEdgar E. Iglesias         tcg_gen_andi_tl(addr, addr, ~3);
10288cc9b43fSPeter A. G. Crosthwaite 
10298cc9b43fSPeter A. G. Crosthwaite         write_carryi(dc, 1);
10308cc9b43fSPeter A. G. Crosthwaite         swx_skip = gen_new_label();
1031403322eaSEdgar E. Iglesias         tcg_gen_brcond_tl(TCG_COND_NE, env_res_addr, addr, swx_skip);
103211a76217SEdgar E. Iglesias 
103311a76217SEdgar E. Iglesias         /* Compare the value loaded at lwx with current contents of
103411a76217SEdgar E. Iglesias            the reserved location.
103511a76217SEdgar E. Iglesias            FIXME: This only works for system emulation where we can expect
103611a76217SEdgar E. Iglesias            this compare and the following write to be atomic. For user
103711a76217SEdgar E. Iglesias            emulation we need to add atomicity between threads.  */
1038cfeea807SEdgar E. Iglesias         tval = tcg_temp_new_i32();
10390dc4af5cSEdgar E. Iglesias         tcg_gen_qemu_ld_i32(tval, addr, cpu_mmu_index(&dc->cpu->env, false),
10400063ebd6SAndreas Färber                             MO_TEUL);
1041cfeea807SEdgar E. Iglesias         tcg_gen_brcond_i32(TCG_COND_NE, env_res_val, tval, swx_skip);
10428cc9b43fSPeter A. G. Crosthwaite         write_carryi(dc, 0);
1043cfeea807SEdgar E. Iglesias         tcg_temp_free_i32(tval);
10448cc9b43fSPeter A. G. Crosthwaite     }
10458cc9b43fSPeter A. G. Crosthwaite 
10469f8beb66SEdgar E. Iglesias     if (rev && size != 4) {
10479f8beb66SEdgar E. Iglesias         /* Endian reverse the address. t is addr.  */
10489f8beb66SEdgar E. Iglesias         switch (size) {
10499f8beb66SEdgar E. Iglesias             case 1:
10509f8beb66SEdgar E. Iglesias             {
10519f8beb66SEdgar E. Iglesias                 /* 00 -> 11
10529f8beb66SEdgar E. Iglesias                    01 -> 10
10539f8beb66SEdgar E. Iglesias                    10 -> 10
10549f8beb66SEdgar E. Iglesias                    11 -> 00 */
1055403322eaSEdgar E. Iglesias                 TCGv low = tcg_temp_new();
10569f8beb66SEdgar E. Iglesias 
1057403322eaSEdgar E. Iglesias                 tcg_gen_andi_tl(low, addr, 3);
1058403322eaSEdgar E. Iglesias                 tcg_gen_sub_tl(low, tcg_const_tl(3), low);
1059403322eaSEdgar E. Iglesias                 tcg_gen_andi_tl(addr, addr, ~3);
1060403322eaSEdgar E. Iglesias                 tcg_gen_or_tl(addr, addr, low);
1061403322eaSEdgar E. Iglesias                 tcg_temp_free(low);
10629f8beb66SEdgar E. Iglesias                 break;
10639f8beb66SEdgar E. Iglesias             }
10649f8beb66SEdgar E. Iglesias 
10659f8beb66SEdgar E. Iglesias             case 2:
10669f8beb66SEdgar E. Iglesias                 /* 00 -> 10
10679f8beb66SEdgar E. Iglesias                    10 -> 00.  */
10689f8beb66SEdgar E. Iglesias                 /* Force addr into the temp.  */
1069403322eaSEdgar E. Iglesias                 tcg_gen_xori_tl(addr, addr, 2);
10709f8beb66SEdgar E. Iglesias                 break;
10719f8beb66SEdgar E. Iglesias             default:
10720063ebd6SAndreas Färber                 cpu_abort(CPU(dc->cpu), "Invalid reverse size\n");
10739f8beb66SEdgar E. Iglesias                 break;
10749f8beb66SEdgar E. Iglesias         }
10759f8beb66SEdgar E. Iglesias     }
10760dc4af5cSEdgar E. Iglesias     tcg_gen_qemu_st_i32(cpu_R[dc->rd], addr,
1077cfeea807SEdgar E. Iglesias                         cpu_mmu_index(&dc->cpu->env, false), mop);
1078a12f6507SEdgar E. Iglesias 
1079968a40f6SEdgar E. Iglesias     /* Verify alignment if needed.  */
10800063ebd6SAndreas Färber     if ((dc->cpu->env.pvr.regs[2] & PVR2_UNALIGNED_EXC_MASK) && size > 1) {
1081cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_SR[SR_PC], dc->pc);
1082a12f6507SEdgar E. Iglesias         /* FIXME: if the alignment is wrong, we should restore the value
10834abf79a4SDong Xu Wang          *        in memory. One possible way to achieve this is to probe
10849f8beb66SEdgar E. Iglesias          *        the MMU prior to the memaccess, thay way we could put
10859f8beb66SEdgar E. Iglesias          *        the alignment checks in between the probe and the mem
10869f8beb66SEdgar E. Iglesias          *        access.
1087a12f6507SEdgar E. Iglesias          */
10880dc4af5cSEdgar E. Iglesias         gen_helper_memalign(cpu_env, addr, tcg_const_i32(dc->rd),
1089cfeea807SEdgar E. Iglesias                             tcg_const_i32(1), tcg_const_i32(size - 1));
1090968a40f6SEdgar E. Iglesias     }
1091083dbf48SPeter A. G. Crosthwaite 
10928cc9b43fSPeter A. G. Crosthwaite     if (ex) {
10938cc9b43fSPeter A. G. Crosthwaite         gen_set_label(swx_skip);
1094083dbf48SPeter A. G. Crosthwaite     }
1095968a40f6SEdgar E. Iglesias 
1096403322eaSEdgar E. Iglesias     tcg_temp_free(addr);
10974acb54baSEdgar E. Iglesias }
10984acb54baSEdgar E. Iglesias 
10994acb54baSEdgar E. Iglesias static inline void eval_cc(DisasContext *dc, unsigned int cc,
1100cfeea807SEdgar E. Iglesias                            TCGv_i32 d, TCGv_i32 a, TCGv_i32 b)
11014acb54baSEdgar E. Iglesias {
11024acb54baSEdgar E. Iglesias     switch (cc) {
11034acb54baSEdgar E. Iglesias         case CC_EQ:
1104cfeea807SEdgar E. Iglesias             tcg_gen_setcond_i32(TCG_COND_EQ, d, a, b);
11054acb54baSEdgar E. Iglesias             break;
11064acb54baSEdgar E. Iglesias         case CC_NE:
1107cfeea807SEdgar E. Iglesias             tcg_gen_setcond_i32(TCG_COND_NE, d, a, b);
11084acb54baSEdgar E. Iglesias             break;
11094acb54baSEdgar E. Iglesias         case CC_LT:
1110cfeea807SEdgar E. Iglesias             tcg_gen_setcond_i32(TCG_COND_LT, d, a, b);
11114acb54baSEdgar E. Iglesias             break;
11124acb54baSEdgar E. Iglesias         case CC_LE:
1113cfeea807SEdgar E. Iglesias             tcg_gen_setcond_i32(TCG_COND_LE, d, a, b);
11144acb54baSEdgar E. Iglesias             break;
11154acb54baSEdgar E. Iglesias         case CC_GE:
1116cfeea807SEdgar E. Iglesias             tcg_gen_setcond_i32(TCG_COND_GE, d, a, b);
11174acb54baSEdgar E. Iglesias             break;
11184acb54baSEdgar E. Iglesias         case CC_GT:
1119cfeea807SEdgar E. Iglesias             tcg_gen_setcond_i32(TCG_COND_GT, d, a, b);
11204acb54baSEdgar E. Iglesias             break;
11214acb54baSEdgar E. Iglesias         default:
11220063ebd6SAndreas Färber             cpu_abort(CPU(dc->cpu), "Unknown condition code %x.\n", cc);
11234acb54baSEdgar E. Iglesias             break;
11244acb54baSEdgar E. Iglesias     }
11254acb54baSEdgar E. Iglesias }
11264acb54baSEdgar E. Iglesias 
1127cfeea807SEdgar E. Iglesias static void eval_cond_jmp(DisasContext *dc, TCGv_i32 pc_true, TCGv_i32 pc_false)
11284acb54baSEdgar E. Iglesias {
112942a268c2SRichard Henderson     TCGLabel *l1 = gen_new_label();
11304acb54baSEdgar E. Iglesias     /* Conditional jmp.  */
1131cfeea807SEdgar E. Iglesias     tcg_gen_mov_i32(cpu_SR[SR_PC], pc_false);
1132cfeea807SEdgar E. Iglesias     tcg_gen_brcondi_i32(TCG_COND_EQ, env_btaken, 0, l1);
1133cfeea807SEdgar E. Iglesias     tcg_gen_mov_i32(cpu_SR[SR_PC], pc_true);
11344acb54baSEdgar E. Iglesias     gen_set_label(l1);
11354acb54baSEdgar E. Iglesias }
11364acb54baSEdgar E. Iglesias 
11374acb54baSEdgar E. Iglesias static void dec_bcc(DisasContext *dc)
11384acb54baSEdgar E. Iglesias {
11394acb54baSEdgar E. Iglesias     unsigned int cc;
11404acb54baSEdgar E. Iglesias     unsigned int dslot;
11414acb54baSEdgar E. Iglesias 
11424acb54baSEdgar E. Iglesias     cc = EXTRACT_FIELD(dc->ir, 21, 23);
11434acb54baSEdgar E. Iglesias     dslot = dc->ir & (1 << 25);
11444acb54baSEdgar E. Iglesias     LOG_DIS("bcc%s r%d %x\n", dslot ? "d" : "", dc->ra, dc->imm);
11454acb54baSEdgar E. Iglesias 
11464acb54baSEdgar E. Iglesias     dc->delayed_branch = 1;
11474acb54baSEdgar E. Iglesias     if (dslot) {
11484acb54baSEdgar E. Iglesias         dc->delayed_branch = 2;
11494acb54baSEdgar E. Iglesias         dc->tb_flags |= D_FLAG;
1150cfeea807SEdgar E. Iglesias         tcg_gen_st_i32(tcg_const_i32(dc->type_b && (dc->tb_flags & IMM_FLAG)),
115168cee38aSAndreas Färber                       cpu_env, offsetof(CPUMBState, bimm));
11524acb54baSEdgar E. Iglesias     }
11534acb54baSEdgar E. Iglesias 
115461204ce8SEdgar E. Iglesias     if (dec_alu_op_b_is_small_imm(dc)) {
115561204ce8SEdgar E. Iglesias         int32_t offset = (int32_t)((int16_t)dc->imm); /* sign-extend.  */
115661204ce8SEdgar E. Iglesias 
1157cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(env_btarget, dc->pc + offset);
1158844bab60SEdgar E. Iglesias         dc->jmp = JMP_DIRECT_CC;
115923979dc5SEdgar E. Iglesias         dc->jmp_pc = dc->pc + offset;
116061204ce8SEdgar E. Iglesias     } else {
116123979dc5SEdgar E. Iglesias         dc->jmp = JMP_INDIRECT;
1162cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(env_btarget, dc->pc);
1163cfeea807SEdgar E. Iglesias         tcg_gen_add_i32(env_btarget, env_btarget, *(dec_alu_op_b(dc)));
116461204ce8SEdgar E. Iglesias     }
1165cfeea807SEdgar E. Iglesias     eval_cc(dc, cc, env_btaken, cpu_R[dc->ra], tcg_const_i32(0));
11664acb54baSEdgar E. Iglesias }
11674acb54baSEdgar E. Iglesias 
11684acb54baSEdgar E. Iglesias static void dec_br(DisasContext *dc)
11694acb54baSEdgar E. Iglesias {
11709f6113c7SEdgar E. Iglesias     unsigned int dslot, link, abs, mbar;
11714acb54baSEdgar E. Iglesias 
11724acb54baSEdgar E. Iglesias     dslot = dc->ir & (1 << 20);
11734acb54baSEdgar E. Iglesias     abs = dc->ir & (1 << 19);
11744acb54baSEdgar E. Iglesias     link = dc->ir & (1 << 18);
11759f6113c7SEdgar E. Iglesias 
11769f6113c7SEdgar E. Iglesias     /* Memory barrier.  */
11779f6113c7SEdgar E. Iglesias     mbar = (dc->ir >> 16) & 31;
11789f6113c7SEdgar E. Iglesias     if (mbar == 2 && dc->imm == 4) {
11795d45de97SEdgar E. Iglesias         /* mbar IMM & 16 decodes to sleep.  */
11805d45de97SEdgar E. Iglesias         if (dc->rd & 16) {
11815d45de97SEdgar E. Iglesias             TCGv_i32 tmp_hlt = tcg_const_i32(EXCP_HLT);
11825d45de97SEdgar E. Iglesias             TCGv_i32 tmp_1 = tcg_const_i32(1);
11835d45de97SEdgar E. Iglesias 
11845d45de97SEdgar E. Iglesias             LOG_DIS("sleep\n");
11855d45de97SEdgar E. Iglesias 
11865d45de97SEdgar E. Iglesias             t_sync_flags(dc);
11875d45de97SEdgar E. Iglesias             tcg_gen_st_i32(tmp_1, cpu_env,
11885d45de97SEdgar E. Iglesias                            -offsetof(MicroBlazeCPU, env)
11895d45de97SEdgar E. Iglesias                            +offsetof(CPUState, halted));
1190cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(cpu_SR[SR_PC], dc->pc + 4);
11915d45de97SEdgar E. Iglesias             gen_helper_raise_exception(cpu_env, tmp_hlt);
11925d45de97SEdgar E. Iglesias             tcg_temp_free_i32(tmp_hlt);
11935d45de97SEdgar E. Iglesias             tcg_temp_free_i32(tmp_1);
11945d45de97SEdgar E. Iglesias             return;
11955d45de97SEdgar E. Iglesias         }
11969f6113c7SEdgar E. Iglesias         LOG_DIS("mbar %d\n", dc->rd);
11979f6113c7SEdgar E. Iglesias         /* Break the TB.  */
11989f6113c7SEdgar E. Iglesias         dc->cpustate_changed = 1;
11999f6113c7SEdgar E. Iglesias         return;
12009f6113c7SEdgar E. Iglesias     }
12019f6113c7SEdgar E. Iglesias 
12024acb54baSEdgar E. Iglesias     LOG_DIS("br%s%s%s%s imm=%x\n",
12034acb54baSEdgar E. Iglesias              abs ? "a" : "", link ? "l" : "",
12044acb54baSEdgar E. Iglesias              dc->type_b ? "i" : "", dslot ? "d" : "",
12054acb54baSEdgar E. Iglesias              dc->imm);
12064acb54baSEdgar E. Iglesias 
12074acb54baSEdgar E. Iglesias     dc->delayed_branch = 1;
12084acb54baSEdgar E. Iglesias     if (dslot) {
12094acb54baSEdgar E. Iglesias         dc->delayed_branch = 2;
12104acb54baSEdgar E. Iglesias         dc->tb_flags |= D_FLAG;
1211cfeea807SEdgar E. Iglesias         tcg_gen_st_i32(tcg_const_i32(dc->type_b && (dc->tb_flags & IMM_FLAG)),
121268cee38aSAndreas Färber                       cpu_env, offsetof(CPUMBState, bimm));
12134acb54baSEdgar E. Iglesias     }
12144acb54baSEdgar E. Iglesias     if (link && dc->rd)
1215cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_R[dc->rd], dc->pc);
12164acb54baSEdgar E. Iglesias 
12174acb54baSEdgar E. Iglesias     dc->jmp = JMP_INDIRECT;
12184acb54baSEdgar E. Iglesias     if (abs) {
1219cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(env_btaken, 1);
1220cfeea807SEdgar E. Iglesias         tcg_gen_mov_i32(env_btarget, *(dec_alu_op_b(dc)));
1221ff21f70aSEdgar E. Iglesias         if (link && !dslot) {
1222ff21f70aSEdgar E. Iglesias             if (!(dc->tb_flags & IMM_FLAG) && (dc->imm == 8 || dc->imm == 0x18))
12234acb54baSEdgar E. Iglesias                 t_gen_raise_exception(dc, EXCP_BREAK);
1224ff21f70aSEdgar E. Iglesias             if (dc->imm == 0) {
1225bdfc1e88SEdgar E. Iglesias                 if (trap_userspace(dc, true)) {
1226ff21f70aSEdgar E. Iglesias                     return;
1227ff21f70aSEdgar E. Iglesias                 }
1228ff21f70aSEdgar E. Iglesias 
12294acb54baSEdgar E. Iglesias                 t_gen_raise_exception(dc, EXCP_DEBUG);
1230ff21f70aSEdgar E. Iglesias             }
1231ff21f70aSEdgar E. Iglesias         }
12324acb54baSEdgar E. Iglesias     } else {
123361204ce8SEdgar E. Iglesias         if (dec_alu_op_b_is_small_imm(dc)) {
123461204ce8SEdgar E. Iglesias             dc->jmp = JMP_DIRECT;
123561204ce8SEdgar E. Iglesias             dc->jmp_pc = dc->pc + (int32_t)((int16_t)dc->imm);
123661204ce8SEdgar E. Iglesias         } else {
1237cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(env_btaken, 1);
1238cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(env_btarget, dc->pc);
1239cfeea807SEdgar E. Iglesias             tcg_gen_add_i32(env_btarget, env_btarget, *(dec_alu_op_b(dc)));
12404acb54baSEdgar E. Iglesias         }
12414acb54baSEdgar E. Iglesias     }
12424acb54baSEdgar E. Iglesias }
12434acb54baSEdgar E. Iglesias 
12444acb54baSEdgar E. Iglesias static inline void do_rti(DisasContext *dc)
12454acb54baSEdgar E. Iglesias {
1246cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
1247cfeea807SEdgar E. Iglesias     t0 = tcg_temp_new_i32();
1248cfeea807SEdgar E. Iglesias     t1 = tcg_temp_new_i32();
1249cfeea807SEdgar E. Iglesias     tcg_gen_shri_i32(t0, cpu_SR[SR_MSR], 1);
1250cfeea807SEdgar E. Iglesias     tcg_gen_ori_i32(t1, cpu_SR[SR_MSR], MSR_IE);
1251cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM));
12524acb54baSEdgar E. Iglesias 
1253cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM));
1254cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(t1, t1, t0);
12554acb54baSEdgar E. Iglesias     msr_write(dc, t1);
1256cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t1);
1257cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
12584acb54baSEdgar E. Iglesias     dc->tb_flags &= ~DRTI_FLAG;
12594acb54baSEdgar E. Iglesias }
12604acb54baSEdgar E. Iglesias 
12614acb54baSEdgar E. Iglesias static inline void do_rtb(DisasContext *dc)
12624acb54baSEdgar E. Iglesias {
1263cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
1264cfeea807SEdgar E. Iglesias     t0 = tcg_temp_new_i32();
1265cfeea807SEdgar E. Iglesias     t1 = tcg_temp_new_i32();
1266cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, cpu_SR[SR_MSR], ~MSR_BIP);
1267cfeea807SEdgar E. Iglesias     tcg_gen_shri_i32(t0, t1, 1);
1268cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM));
12694acb54baSEdgar E. Iglesias 
1270cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM));
1271cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(t1, t1, t0);
12724acb54baSEdgar E. Iglesias     msr_write(dc, t1);
1273cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t1);
1274cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
12754acb54baSEdgar E. Iglesias     dc->tb_flags &= ~DRTB_FLAG;
12764acb54baSEdgar E. Iglesias }
12774acb54baSEdgar E. Iglesias 
12784acb54baSEdgar E. Iglesias static inline void do_rte(DisasContext *dc)
12794acb54baSEdgar E. Iglesias {
1280cfeea807SEdgar E. Iglesias     TCGv_i32 t0, t1;
1281cfeea807SEdgar E. Iglesias     t0 = tcg_temp_new_i32();
1282cfeea807SEdgar E. Iglesias     t1 = tcg_temp_new_i32();
12834acb54baSEdgar E. Iglesias 
1284cfeea807SEdgar E. Iglesias     tcg_gen_ori_i32(t1, cpu_SR[SR_MSR], MSR_EE);
1285cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~MSR_EIP);
1286cfeea807SEdgar E. Iglesias     tcg_gen_shri_i32(t0, t1, 1);
1287cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM));
12884acb54baSEdgar E. Iglesias 
1289cfeea807SEdgar E. Iglesias     tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM));
1290cfeea807SEdgar E. Iglesias     tcg_gen_or_i32(t1, t1, t0);
12914acb54baSEdgar E. Iglesias     msr_write(dc, t1);
1292cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t1);
1293cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t0);
12944acb54baSEdgar E. Iglesias     dc->tb_flags &= ~DRTE_FLAG;
12954acb54baSEdgar E. Iglesias }
12964acb54baSEdgar E. Iglesias 
12974acb54baSEdgar E. Iglesias static void dec_rts(DisasContext *dc)
12984acb54baSEdgar E. Iglesias {
12994acb54baSEdgar E. Iglesias     unsigned int b_bit, i_bit, e_bit;
13004acb54baSEdgar E. Iglesias 
13014acb54baSEdgar E. Iglesias     i_bit = dc->ir & (1 << 21);
13024acb54baSEdgar E. Iglesias     b_bit = dc->ir & (1 << 22);
13034acb54baSEdgar E. Iglesias     e_bit = dc->ir & (1 << 23);
13044acb54baSEdgar E. Iglesias 
1305bdfc1e88SEdgar E. Iglesias     if (trap_userspace(dc, i_bit || b_bit || e_bit)) {
1306bdfc1e88SEdgar E. Iglesias         return;
1307bdfc1e88SEdgar E. Iglesias     }
1308bdfc1e88SEdgar E. Iglesias 
13094acb54baSEdgar E. Iglesias     dc->delayed_branch = 2;
13104acb54baSEdgar E. Iglesias     dc->tb_flags |= D_FLAG;
1311cfeea807SEdgar E. Iglesias     tcg_gen_st_i32(tcg_const_i32(dc->type_b && (dc->tb_flags & IMM_FLAG)),
131268cee38aSAndreas Färber                   cpu_env, offsetof(CPUMBState, bimm));
13134acb54baSEdgar E. Iglesias 
13144acb54baSEdgar E. Iglesias     if (i_bit) {
13154acb54baSEdgar E. Iglesias         LOG_DIS("rtid ir=%x\n", dc->ir);
13164acb54baSEdgar E. Iglesias         dc->tb_flags |= DRTI_FLAG;
13174acb54baSEdgar E. Iglesias     } else if (b_bit) {
13184acb54baSEdgar E. Iglesias         LOG_DIS("rtbd ir=%x\n", dc->ir);
13194acb54baSEdgar E. Iglesias         dc->tb_flags |= DRTB_FLAG;
13204acb54baSEdgar E. Iglesias     } else if (e_bit) {
13214acb54baSEdgar E. Iglesias         LOG_DIS("rted ir=%x\n", dc->ir);
13224acb54baSEdgar E. Iglesias         dc->tb_flags |= DRTE_FLAG;
13234acb54baSEdgar E. Iglesias     } else
13244acb54baSEdgar E. Iglesias         LOG_DIS("rts ir=%x\n", dc->ir);
13254acb54baSEdgar E. Iglesias 
132623979dc5SEdgar E. Iglesias     dc->jmp = JMP_INDIRECT;
1327cfeea807SEdgar E. Iglesias     tcg_gen_movi_i32(env_btaken, 1);
1328cfeea807SEdgar E. Iglesias     tcg_gen_add_i32(env_btarget, cpu_R[dc->ra], *(dec_alu_op_b(dc)));
13294acb54baSEdgar E. Iglesias }
13304acb54baSEdgar E. Iglesias 
133197694c57SEdgar E. Iglesias static int dec_check_fpuv2(DisasContext *dc)
133297694c57SEdgar E. Iglesias {
1333be67e9abSAlistair Francis     if ((dc->cpu->cfg.use_fpu != 2) && (dc->tb_flags & MSR_EE_FLAG)) {
1334cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_SR[SR_ESR], ESR_EC_FPU);
133597694c57SEdgar E. Iglesias         t_gen_raise_exception(dc, EXCP_HW_EXCP);
133697694c57SEdgar E. Iglesias     }
1337be67e9abSAlistair Francis     return (dc->cpu->cfg.use_fpu == 2) ? 0 : PVR2_USE_FPU2_MASK;
133897694c57SEdgar E. Iglesias }
133997694c57SEdgar E. Iglesias 
13401567a005SEdgar E. Iglesias static void dec_fpu(DisasContext *dc)
13411567a005SEdgar E. Iglesias {
134297694c57SEdgar E. Iglesias     unsigned int fpu_insn;
134397694c57SEdgar E. Iglesias 
13449ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, !dc->cpu->cfg.use_fpu)) {
13451567a005SEdgar E. Iglesias         return;
13461567a005SEdgar E. Iglesias     }
13471567a005SEdgar E. Iglesias 
134897694c57SEdgar E. Iglesias     fpu_insn = (dc->ir >> 7) & 7;
134997694c57SEdgar E. Iglesias 
135097694c57SEdgar E. Iglesias     switch (fpu_insn) {
135197694c57SEdgar E. Iglesias         case 0:
135264254ebaSBlue Swirl             gen_helper_fadd(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
135364254ebaSBlue Swirl                             cpu_R[dc->rb]);
135497694c57SEdgar E. Iglesias             break;
135597694c57SEdgar E. Iglesias 
135697694c57SEdgar E. Iglesias         case 1:
135764254ebaSBlue Swirl             gen_helper_frsub(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
135864254ebaSBlue Swirl                              cpu_R[dc->rb]);
135997694c57SEdgar E. Iglesias             break;
136097694c57SEdgar E. Iglesias 
136197694c57SEdgar E. Iglesias         case 2:
136264254ebaSBlue Swirl             gen_helper_fmul(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
136364254ebaSBlue Swirl                             cpu_R[dc->rb]);
136497694c57SEdgar E. Iglesias             break;
136597694c57SEdgar E. Iglesias 
136697694c57SEdgar E. Iglesias         case 3:
136764254ebaSBlue Swirl             gen_helper_fdiv(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra],
136864254ebaSBlue Swirl                             cpu_R[dc->rb]);
136997694c57SEdgar E. Iglesias             break;
137097694c57SEdgar E. Iglesias 
137197694c57SEdgar E. Iglesias         case 4:
137297694c57SEdgar E. Iglesias             switch ((dc->ir >> 4) & 7) {
137397694c57SEdgar E. Iglesias                 case 0:
137464254ebaSBlue Swirl                     gen_helper_fcmp_un(cpu_R[dc->rd], cpu_env,
137597694c57SEdgar E. Iglesias                                        cpu_R[dc->ra], cpu_R[dc->rb]);
137697694c57SEdgar E. Iglesias                     break;
137797694c57SEdgar E. Iglesias                 case 1:
137864254ebaSBlue Swirl                     gen_helper_fcmp_lt(cpu_R[dc->rd], cpu_env,
137997694c57SEdgar E. Iglesias                                        cpu_R[dc->ra], cpu_R[dc->rb]);
138097694c57SEdgar E. Iglesias                     break;
138197694c57SEdgar E. Iglesias                 case 2:
138264254ebaSBlue Swirl                     gen_helper_fcmp_eq(cpu_R[dc->rd], cpu_env,
138397694c57SEdgar E. Iglesias                                        cpu_R[dc->ra], cpu_R[dc->rb]);
138497694c57SEdgar E. Iglesias                     break;
138597694c57SEdgar E. Iglesias                 case 3:
138664254ebaSBlue Swirl                     gen_helper_fcmp_le(cpu_R[dc->rd], cpu_env,
138797694c57SEdgar E. Iglesias                                        cpu_R[dc->ra], cpu_R[dc->rb]);
138897694c57SEdgar E. Iglesias                     break;
138997694c57SEdgar E. Iglesias                 case 4:
139064254ebaSBlue Swirl                     gen_helper_fcmp_gt(cpu_R[dc->rd], cpu_env,
139197694c57SEdgar E. Iglesias                                        cpu_R[dc->ra], cpu_R[dc->rb]);
139297694c57SEdgar E. Iglesias                     break;
139397694c57SEdgar E. Iglesias                 case 5:
139464254ebaSBlue Swirl                     gen_helper_fcmp_ne(cpu_R[dc->rd], cpu_env,
139597694c57SEdgar E. Iglesias                                        cpu_R[dc->ra], cpu_R[dc->rb]);
139697694c57SEdgar E. Iglesias                     break;
139797694c57SEdgar E. Iglesias                 case 6:
139864254ebaSBlue Swirl                     gen_helper_fcmp_ge(cpu_R[dc->rd], cpu_env,
139997694c57SEdgar E. Iglesias                                        cpu_R[dc->ra], cpu_R[dc->rb]);
140097694c57SEdgar E. Iglesias                     break;
140197694c57SEdgar E. Iglesias                 default:
140271547a3bSBlue Swirl                     qemu_log_mask(LOG_UNIMP,
140371547a3bSBlue Swirl                                   "unimplemented fcmp fpu_insn=%x pc=%x"
140471547a3bSBlue Swirl                                   " opc=%x\n",
140597694c57SEdgar E. Iglesias                                   fpu_insn, dc->pc, dc->opcode);
14061567a005SEdgar E. Iglesias                     dc->abort_at_next_insn = 1;
140797694c57SEdgar E. Iglesias                     break;
140897694c57SEdgar E. Iglesias             }
140997694c57SEdgar E. Iglesias             break;
141097694c57SEdgar E. Iglesias 
141197694c57SEdgar E. Iglesias         case 5:
141297694c57SEdgar E. Iglesias             if (!dec_check_fpuv2(dc)) {
141397694c57SEdgar E. Iglesias                 return;
141497694c57SEdgar E. Iglesias             }
141564254ebaSBlue Swirl             gen_helper_flt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]);
141697694c57SEdgar E. Iglesias             break;
141797694c57SEdgar E. Iglesias 
141897694c57SEdgar E. Iglesias         case 6:
141997694c57SEdgar E. Iglesias             if (!dec_check_fpuv2(dc)) {
142097694c57SEdgar E. Iglesias                 return;
142197694c57SEdgar E. Iglesias             }
142264254ebaSBlue Swirl             gen_helper_fint(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]);
142397694c57SEdgar E. Iglesias             break;
142497694c57SEdgar E. Iglesias 
142597694c57SEdgar E. Iglesias         case 7:
142697694c57SEdgar E. Iglesias             if (!dec_check_fpuv2(dc)) {
142797694c57SEdgar E. Iglesias                 return;
142897694c57SEdgar E. Iglesias             }
142964254ebaSBlue Swirl             gen_helper_fsqrt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]);
143097694c57SEdgar E. Iglesias             break;
143197694c57SEdgar E. Iglesias 
143297694c57SEdgar E. Iglesias         default:
143371547a3bSBlue Swirl             qemu_log_mask(LOG_UNIMP, "unimplemented FPU insn fpu_insn=%x pc=%x"
143471547a3bSBlue Swirl                           " opc=%x\n",
143597694c57SEdgar E. Iglesias                           fpu_insn, dc->pc, dc->opcode);
143697694c57SEdgar E. Iglesias             dc->abort_at_next_insn = 1;
143797694c57SEdgar E. Iglesias             break;
143897694c57SEdgar E. Iglesias     }
14391567a005SEdgar E. Iglesias }
14401567a005SEdgar E. Iglesias 
14414acb54baSEdgar E. Iglesias static void dec_null(DisasContext *dc)
14424acb54baSEdgar E. Iglesias {
14439ba8cd45SEdgar E. Iglesias     if (trap_illegal(dc, true)) {
144402b33596SEdgar E. Iglesias         return;
144502b33596SEdgar E. Iglesias     }
14461d512a65SPaolo Bonzini     qemu_log_mask(LOG_GUEST_ERROR, "unknown insn pc=%x opc=%x\n", dc->pc, dc->opcode);
14474acb54baSEdgar E. Iglesias     dc->abort_at_next_insn = 1;
14484acb54baSEdgar E. Iglesias }
14494acb54baSEdgar E. Iglesias 
14506d76d23eSEdgar E. Iglesias /* Insns connected to FSL or AXI stream attached devices.  */
14516d76d23eSEdgar E. Iglesias static void dec_stream(DisasContext *dc)
14526d76d23eSEdgar E. Iglesias {
14536d76d23eSEdgar E. Iglesias     TCGv_i32 t_id, t_ctrl;
14546d76d23eSEdgar E. Iglesias     int ctrl;
14556d76d23eSEdgar E. Iglesias 
14566d76d23eSEdgar E. Iglesias     LOG_DIS("%s%s imm=%x\n", dc->rd ? "get" : "put",
14576d76d23eSEdgar E. Iglesias             dc->type_b ? "" : "d", dc->imm);
14586d76d23eSEdgar E. Iglesias 
1459bdfc1e88SEdgar E. Iglesias     if (trap_userspace(dc, true)) {
14606d76d23eSEdgar E. Iglesias         return;
14616d76d23eSEdgar E. Iglesias     }
14626d76d23eSEdgar E. Iglesias 
1463cfeea807SEdgar E. Iglesias     t_id = tcg_temp_new_i32();
14646d76d23eSEdgar E. Iglesias     if (dc->type_b) {
1465cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(t_id, dc->imm & 0xf);
14666d76d23eSEdgar E. Iglesias         ctrl = dc->imm >> 10;
14676d76d23eSEdgar E. Iglesias     } else {
1468cfeea807SEdgar E. Iglesias         tcg_gen_andi_i32(t_id, cpu_R[dc->rb], 0xf);
14696d76d23eSEdgar E. Iglesias         ctrl = dc->imm >> 5;
14706d76d23eSEdgar E. Iglesias     }
14716d76d23eSEdgar E. Iglesias 
1472cfeea807SEdgar E. Iglesias     t_ctrl = tcg_const_i32(ctrl);
14736d76d23eSEdgar E. Iglesias 
14746d76d23eSEdgar E. Iglesias     if (dc->rd == 0) {
14756d76d23eSEdgar E. Iglesias         gen_helper_put(t_id, t_ctrl, cpu_R[dc->ra]);
14766d76d23eSEdgar E. Iglesias     } else {
14776d76d23eSEdgar E. Iglesias         gen_helper_get(cpu_R[dc->rd], t_id, t_ctrl);
14786d76d23eSEdgar E. Iglesias     }
1479cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t_id);
1480cfeea807SEdgar E. Iglesias     tcg_temp_free_i32(t_ctrl);
14816d76d23eSEdgar E. Iglesias }
14826d76d23eSEdgar E. Iglesias 
14834acb54baSEdgar E. Iglesias static struct decoder_info {
14844acb54baSEdgar E. Iglesias     struct {
14854acb54baSEdgar E. Iglesias         uint32_t bits;
14864acb54baSEdgar E. Iglesias         uint32_t mask;
14874acb54baSEdgar E. Iglesias     };
14884acb54baSEdgar E. Iglesias     void (*dec)(DisasContext *dc);
14894acb54baSEdgar E. Iglesias } decinfo[] = {
14904acb54baSEdgar E. Iglesias     {DEC_ADD, dec_add},
14914acb54baSEdgar E. Iglesias     {DEC_SUB, dec_sub},
14924acb54baSEdgar E. Iglesias     {DEC_AND, dec_and},
14934acb54baSEdgar E. Iglesias     {DEC_XOR, dec_xor},
14944acb54baSEdgar E. Iglesias     {DEC_OR, dec_or},
14954acb54baSEdgar E. Iglesias     {DEC_BIT, dec_bit},
14964acb54baSEdgar E. Iglesias     {DEC_BARREL, dec_barrel},
14974acb54baSEdgar E. Iglesias     {DEC_LD, dec_load},
14984acb54baSEdgar E. Iglesias     {DEC_ST, dec_store},
14994acb54baSEdgar E. Iglesias     {DEC_IMM, dec_imm},
15004acb54baSEdgar E. Iglesias     {DEC_BR, dec_br},
15014acb54baSEdgar E. Iglesias     {DEC_BCC, dec_bcc},
15024acb54baSEdgar E. Iglesias     {DEC_RTS, dec_rts},
15031567a005SEdgar E. Iglesias     {DEC_FPU, dec_fpu},
15044acb54baSEdgar E. Iglesias     {DEC_MUL, dec_mul},
15054acb54baSEdgar E. Iglesias     {DEC_DIV, dec_div},
15064acb54baSEdgar E. Iglesias     {DEC_MSR, dec_msr},
15076d76d23eSEdgar E. Iglesias     {DEC_STREAM, dec_stream},
15084acb54baSEdgar E. Iglesias     {{0, 0}, dec_null}
15094acb54baSEdgar E. Iglesias };
15104acb54baSEdgar E. Iglesias 
151164254ebaSBlue Swirl static inline void decode(DisasContext *dc, uint32_t ir)
15124acb54baSEdgar E. Iglesias {
15134acb54baSEdgar E. Iglesias     int i;
15144acb54baSEdgar E. Iglesias 
151564254ebaSBlue Swirl     dc->ir = ir;
15164acb54baSEdgar E. Iglesias     LOG_DIS("%8.8x\t", dc->ir);
15174acb54baSEdgar E. Iglesias 
15184acb54baSEdgar E. Iglesias     if (dc->ir)
15194acb54baSEdgar E. Iglesias         dc->nr_nops = 0;
15204acb54baSEdgar E. Iglesias     else {
15219ba8cd45SEdgar E. Iglesias         trap_illegal(dc, dc->cpu->env.pvr.regs[2] & PVR2_OPCODE_0x0_ILL_MASK);
15221567a005SEdgar E. Iglesias 
15234acb54baSEdgar E. Iglesias         LOG_DIS("nr_nops=%d\t", dc->nr_nops);
15244acb54baSEdgar E. Iglesias         dc->nr_nops++;
1525a47dddd7SAndreas Färber         if (dc->nr_nops > 4) {
15260063ebd6SAndreas Färber             cpu_abort(CPU(dc->cpu), "fetching nop sequence\n");
1527a47dddd7SAndreas Färber         }
15284acb54baSEdgar E. Iglesias     }
15294acb54baSEdgar E. Iglesias     /* bit 2 seems to indicate insn type.  */
15304acb54baSEdgar E. Iglesias     dc->type_b = ir & (1 << 29);
15314acb54baSEdgar E. Iglesias 
15324acb54baSEdgar E. Iglesias     dc->opcode = EXTRACT_FIELD(ir, 26, 31);
15334acb54baSEdgar E. Iglesias     dc->rd = EXTRACT_FIELD(ir, 21, 25);
15344acb54baSEdgar E. Iglesias     dc->ra = EXTRACT_FIELD(ir, 16, 20);
15354acb54baSEdgar E. Iglesias     dc->rb = EXTRACT_FIELD(ir, 11, 15);
15364acb54baSEdgar E. Iglesias     dc->imm = EXTRACT_FIELD(ir, 0, 15);
15374acb54baSEdgar E. Iglesias 
15384acb54baSEdgar E. Iglesias     /* Large switch for all insns.  */
15394acb54baSEdgar E. Iglesias     for (i = 0; i < ARRAY_SIZE(decinfo); i++) {
15404acb54baSEdgar E. Iglesias         if ((dc->opcode & decinfo[i].mask) == decinfo[i].bits) {
15414acb54baSEdgar E. Iglesias             decinfo[i].dec(dc);
15424acb54baSEdgar E. Iglesias             break;
15434acb54baSEdgar E. Iglesias         }
15444acb54baSEdgar E. Iglesias     }
15454acb54baSEdgar E. Iglesias }
15464acb54baSEdgar E. Iglesias 
15474acb54baSEdgar E. Iglesias /* generate intermediate code for basic block 'tb'.  */
15489c489ea6SLluís Vilanova void gen_intermediate_code(CPUState *cs, struct TranslationBlock *tb)
15494acb54baSEdgar E. Iglesias {
15509c489ea6SLluís Vilanova     CPUMBState *env = cs->env_ptr;
15514e5e1215SRichard Henderson     MicroBlazeCPU *cpu = mb_env_get_cpu(env);
15524acb54baSEdgar E. Iglesias     uint32_t pc_start;
15534acb54baSEdgar E. Iglesias     struct DisasContext ctx;
15544acb54baSEdgar E. Iglesias     struct DisasContext *dc = &ctx;
155556371527SEmilio G. Cota     uint32_t page_start, org_flags;
1556cfeea807SEdgar E. Iglesias     uint32_t npc;
15574acb54baSEdgar E. Iglesias     int num_insns;
15584acb54baSEdgar E. Iglesias     int max_insns;
15594acb54baSEdgar E. Iglesias 
15604acb54baSEdgar E. Iglesias     pc_start = tb->pc;
15610063ebd6SAndreas Färber     dc->cpu = cpu;
15624acb54baSEdgar E. Iglesias     dc->tb = tb;
15634acb54baSEdgar E. Iglesias     org_flags = dc->synced_flags = dc->tb_flags = tb->flags;
15644acb54baSEdgar E. Iglesias 
15654acb54baSEdgar E. Iglesias     dc->is_jmp = DISAS_NEXT;
15664acb54baSEdgar E. Iglesias     dc->jmp = 0;
15674acb54baSEdgar E. Iglesias     dc->delayed_branch = !!(dc->tb_flags & D_FLAG);
156823979dc5SEdgar E. Iglesias     if (dc->delayed_branch) {
156923979dc5SEdgar E. Iglesias         dc->jmp = JMP_INDIRECT;
157023979dc5SEdgar E. Iglesias     }
15714acb54baSEdgar E. Iglesias     dc->pc = pc_start;
1572ed2803daSAndreas Färber     dc->singlestep_enabled = cs->singlestep_enabled;
15734acb54baSEdgar E. Iglesias     dc->cpustate_changed = 0;
15744acb54baSEdgar E. Iglesias     dc->abort_at_next_insn = 0;
15754acb54baSEdgar E. Iglesias     dc->nr_nops = 0;
15764acb54baSEdgar E. Iglesias 
1577a47dddd7SAndreas Färber     if (pc_start & 3) {
1578a47dddd7SAndreas Färber         cpu_abort(cs, "Microblaze: unaligned PC=%x\n", pc_start);
1579a47dddd7SAndreas Färber     }
15804acb54baSEdgar E. Iglesias 
158156371527SEmilio G. Cota     page_start = pc_start & TARGET_PAGE_MASK;
15824acb54baSEdgar E. Iglesias     num_insns = 0;
1583c5a49c63SEmilio G. Cota     max_insns = tb_cflags(tb) & CF_COUNT_MASK;
1584190ce7fbSRichard Henderson     if (max_insns == 0) {
15854acb54baSEdgar E. Iglesias         max_insns = CF_COUNT_MASK;
1586190ce7fbSRichard Henderson     }
1587190ce7fbSRichard Henderson     if (max_insns > TCG_MAX_INSNS) {
1588190ce7fbSRichard Henderson         max_insns = TCG_MAX_INSNS;
1589190ce7fbSRichard Henderson     }
15904acb54baSEdgar E. Iglesias 
1591cd42d5b2SPaolo Bonzini     gen_tb_start(tb);
15924acb54baSEdgar E. Iglesias     do
15934acb54baSEdgar E. Iglesias     {
1594667b8e29SRichard Henderson         tcg_gen_insn_start(dc->pc);
1595959082fcSRichard Henderson         num_insns++;
15964acb54baSEdgar E. Iglesias 
1597b933066aSRichard Henderson #if SIM_COMPAT
1598b933066aSRichard Henderson         if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM)) {
1599cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(cpu_SR[SR_PC], dc->pc);
1600b933066aSRichard Henderson             gen_helper_debug();
1601b933066aSRichard Henderson         }
1602b933066aSRichard Henderson #endif
1603b933066aSRichard Henderson 
1604b933066aSRichard Henderson         if (unlikely(cpu_breakpoint_test(cs, dc->pc, BP_ANY))) {
1605b933066aSRichard Henderson             t_gen_raise_exception(dc, EXCP_DEBUG);
1606b933066aSRichard Henderson             dc->is_jmp = DISAS_UPDATE;
1607522a0d4eSRichard Henderson             /* The address covered by the breakpoint must be included in
1608522a0d4eSRichard Henderson                [tb->pc, tb->pc + tb->size) in order to for it to be
1609522a0d4eSRichard Henderson                properly cleared -- thus we increment the PC here so that
1610522a0d4eSRichard Henderson                the logic setting tb->size below does the right thing.  */
1611522a0d4eSRichard Henderson             dc->pc += 4;
1612b933066aSRichard Henderson             break;
1613b933066aSRichard Henderson         }
1614b933066aSRichard Henderson 
16154acb54baSEdgar E. Iglesias         /* Pretty disas.  */
16164acb54baSEdgar E. Iglesias         LOG_DIS("%8.8x:\t", dc->pc);
16174acb54baSEdgar E. Iglesias 
1618c5a49c63SEmilio G. Cota         if (num_insns == max_insns && (tb_cflags(tb) & CF_LAST_IO)) {
16194acb54baSEdgar E. Iglesias             gen_io_start();
1620959082fcSRichard Henderson         }
16214acb54baSEdgar E. Iglesias 
16224acb54baSEdgar E. Iglesias         dc->clear_imm = 1;
162364254ebaSBlue Swirl         decode(dc, cpu_ldl_code(env, dc->pc));
16244acb54baSEdgar E. Iglesias         if (dc->clear_imm)
16254acb54baSEdgar E. Iglesias             dc->tb_flags &= ~IMM_FLAG;
16264acb54baSEdgar E. Iglesias         dc->pc += 4;
16274acb54baSEdgar E. Iglesias 
16284acb54baSEdgar E. Iglesias         if (dc->delayed_branch) {
16294acb54baSEdgar E. Iglesias             dc->delayed_branch--;
16304acb54baSEdgar E. Iglesias             if (!dc->delayed_branch) {
16314acb54baSEdgar E. Iglesias                 if (dc->tb_flags & DRTI_FLAG)
16324acb54baSEdgar E. Iglesias                     do_rti(dc);
16334acb54baSEdgar E. Iglesias                  if (dc->tb_flags & DRTB_FLAG)
16344acb54baSEdgar E. Iglesias                     do_rtb(dc);
16354acb54baSEdgar E. Iglesias                 if (dc->tb_flags & DRTE_FLAG)
16364acb54baSEdgar E. Iglesias                     do_rte(dc);
16374acb54baSEdgar E. Iglesias                 /* Clear the delay slot flag.  */
16384acb54baSEdgar E. Iglesias                 dc->tb_flags &= ~D_FLAG;
16394acb54baSEdgar E. Iglesias                 /* If it is a direct jump, try direct chaining.  */
164023979dc5SEdgar E. Iglesias                 if (dc->jmp == JMP_INDIRECT) {
1641cfeea807SEdgar E. Iglesias                     eval_cond_jmp(dc, env_btarget, tcg_const_i32(dc->pc));
16424acb54baSEdgar E. Iglesias                     dc->is_jmp = DISAS_JUMP;
164323979dc5SEdgar E. Iglesias                 } else if (dc->jmp == JMP_DIRECT) {
1644844bab60SEdgar E. Iglesias                     t_sync_flags(dc);
1645844bab60SEdgar E. Iglesias                     gen_goto_tb(dc, 0, dc->jmp_pc);
1646844bab60SEdgar E. Iglesias                     dc->is_jmp = DISAS_TB_JUMP;
1647844bab60SEdgar E. Iglesias                 } else if (dc->jmp == JMP_DIRECT_CC) {
164842a268c2SRichard Henderson                     TCGLabel *l1 = gen_new_label();
164923979dc5SEdgar E. Iglesias                     t_sync_flags(dc);
165023979dc5SEdgar E. Iglesias                     /* Conditional jmp.  */
1651cfeea807SEdgar E. Iglesias                     tcg_gen_brcondi_i32(TCG_COND_NE, env_btaken, 0, l1);
165223979dc5SEdgar E. Iglesias                     gen_goto_tb(dc, 1, dc->pc);
165323979dc5SEdgar E. Iglesias                     gen_set_label(l1);
165423979dc5SEdgar E. Iglesias                     gen_goto_tb(dc, 0, dc->jmp_pc);
165523979dc5SEdgar E. Iglesias 
165623979dc5SEdgar E. Iglesias                     dc->is_jmp = DISAS_TB_JUMP;
16574acb54baSEdgar E. Iglesias                 }
16584acb54baSEdgar E. Iglesias                 break;
16594acb54baSEdgar E. Iglesias             }
16604acb54baSEdgar E. Iglesias         }
1661ed2803daSAndreas Färber         if (cs->singlestep_enabled) {
16624acb54baSEdgar E. Iglesias             break;
1663ed2803daSAndreas Färber         }
16644acb54baSEdgar E. Iglesias     } while (!dc->is_jmp && !dc->cpustate_changed
1665fe700adbSRichard Henderson              && !tcg_op_buf_full()
16664acb54baSEdgar E. Iglesias              && !singlestep
166756371527SEmilio G. Cota              && (dc->pc - page_start < TARGET_PAGE_SIZE)
16684acb54baSEdgar E. Iglesias              && num_insns < max_insns);
16694acb54baSEdgar E. Iglesias 
16704acb54baSEdgar E. Iglesias     npc = dc->pc;
1671844bab60SEdgar E. Iglesias     if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) {
16724acb54baSEdgar E. Iglesias         if (dc->tb_flags & D_FLAG) {
16734acb54baSEdgar E. Iglesias             dc->is_jmp = DISAS_UPDATE;
1674cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(cpu_SR[SR_PC], npc);
16754acb54baSEdgar E. Iglesias             sync_jmpstate(dc);
16764acb54baSEdgar E. Iglesias         } else
16774acb54baSEdgar E. Iglesias             npc = dc->jmp_pc;
16784acb54baSEdgar E. Iglesias     }
16794acb54baSEdgar E. Iglesias 
1680c5a49c63SEmilio G. Cota     if (tb_cflags(tb) & CF_LAST_IO)
16814acb54baSEdgar E. Iglesias         gen_io_end();
16824acb54baSEdgar E. Iglesias     /* Force an update if the per-tb cpu state has changed.  */
16834acb54baSEdgar E. Iglesias     if (dc->is_jmp == DISAS_NEXT
16844acb54baSEdgar E. Iglesias         && (dc->cpustate_changed || org_flags != dc->tb_flags)) {
16854acb54baSEdgar E. Iglesias         dc->is_jmp = DISAS_UPDATE;
1686cfeea807SEdgar E. Iglesias         tcg_gen_movi_i32(cpu_SR[SR_PC], npc);
16874acb54baSEdgar E. Iglesias     }
16884acb54baSEdgar E. Iglesias     t_sync_flags(dc);
16894acb54baSEdgar E. Iglesias 
1690ed2803daSAndreas Färber     if (unlikely(cs->singlestep_enabled)) {
16916c5f738dSEdgar E. Iglesias         TCGv_i32 tmp = tcg_const_i32(EXCP_DEBUG);
16926c5f738dSEdgar E. Iglesias 
16936c5f738dSEdgar E. Iglesias         if (dc->is_jmp != DISAS_JUMP) {
1694cfeea807SEdgar E. Iglesias             tcg_gen_movi_i32(cpu_SR[SR_PC], npc);
16956c5f738dSEdgar E. Iglesias         }
169664254ebaSBlue Swirl         gen_helper_raise_exception(cpu_env, tmp);
16976c5f738dSEdgar E. Iglesias         tcg_temp_free_i32(tmp);
16984acb54baSEdgar E. Iglesias     } else {
16994acb54baSEdgar E. Iglesias         switch(dc->is_jmp) {
17004acb54baSEdgar E. Iglesias             case DISAS_NEXT:
17014acb54baSEdgar E. Iglesias                 gen_goto_tb(dc, 1, npc);
17024acb54baSEdgar E. Iglesias                 break;
17034acb54baSEdgar E. Iglesias             default:
17044acb54baSEdgar E. Iglesias             case DISAS_JUMP:
17054acb54baSEdgar E. Iglesias             case DISAS_UPDATE:
17064acb54baSEdgar E. Iglesias                 /* indicate that the hash table must be used
17074acb54baSEdgar E. Iglesias                    to find the next TB */
17084acb54baSEdgar E. Iglesias                 tcg_gen_exit_tb(0);
17094acb54baSEdgar E. Iglesias                 break;
17104acb54baSEdgar E. Iglesias             case DISAS_TB_JUMP:
17114acb54baSEdgar E. Iglesias                 /* nothing more to generate */
17124acb54baSEdgar E. Iglesias                 break;
17134acb54baSEdgar E. Iglesias         }
17144acb54baSEdgar E. Iglesias     }
1715806f352dSPeter Maydell     gen_tb_end(tb, num_insns);
17160a7df5daSRichard Henderson 
17174acb54baSEdgar E. Iglesias     tb->size = dc->pc - pc_start;
17184acb54baSEdgar E. Iglesias     tb->icount = num_insns;
17194acb54baSEdgar E. Iglesias 
17204acb54baSEdgar E. Iglesias #ifdef DEBUG_DISAS
17214acb54baSEdgar E. Iglesias #if !SIM_COMPAT
17224910e6e4SRichard Henderson     if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM)
17234910e6e4SRichard Henderson         && qemu_log_in_addr_range(pc_start)) {
17241ee73216SRichard Henderson         qemu_log_lock();
1725f01a5e7eSRichard Henderson         qemu_log("--------------\n");
17261d48474dSRichard Henderson         log_target_disas(cs, pc_start, dc->pc - pc_start);
17271ee73216SRichard Henderson         qemu_log_unlock();
17284acb54baSEdgar E. Iglesias     }
17294acb54baSEdgar E. Iglesias #endif
17304acb54baSEdgar E. Iglesias #endif
17314acb54baSEdgar E. Iglesias     assert(!dc->abort_at_next_insn);
17324acb54baSEdgar E. Iglesias }
17334acb54baSEdgar E. Iglesias 
1734878096eeSAndreas Färber void mb_cpu_dump_state(CPUState *cs, FILE *f, fprintf_function cpu_fprintf,
17354acb54baSEdgar E. Iglesias                        int flags)
17364acb54baSEdgar E. Iglesias {
1737878096eeSAndreas Färber     MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs);
1738878096eeSAndreas Färber     CPUMBState *env = &cpu->env;
17394acb54baSEdgar E. Iglesias     int i;
17404acb54baSEdgar E. Iglesias 
17414acb54baSEdgar E. Iglesias     if (!env || !f)
17424acb54baSEdgar E. Iglesias         return;
17434acb54baSEdgar E. Iglesias 
17444acb54baSEdgar E. Iglesias     cpu_fprintf(f, "IN: PC=%x %s\n",
17454acb54baSEdgar E. Iglesias                 env->sregs[SR_PC], lookup_symbol(env->sregs[SR_PC]));
174697694c57SEdgar E. Iglesias     cpu_fprintf(f, "rmsr=%x resr=%x rear=%x debug=%x imm=%x iflags=%x fsr=%x\n",
17474c24aa0aSMichal Simek              env->sregs[SR_MSR], env->sregs[SR_ESR], env->sregs[SR_EAR],
174897694c57SEdgar E. Iglesias              env->debug, env->imm, env->iflags, env->sregs[SR_FSR]);
174917c52a43SEdgar E. Iglesias     cpu_fprintf(f, "btaken=%d btarget=%x mode=%s(saved=%s) eip=%d ie=%d\n",
17504acb54baSEdgar E. Iglesias              env->btaken, env->btarget,
17514acb54baSEdgar E. Iglesias              (env->sregs[SR_MSR] & MSR_UM) ? "user" : "kernel",
175217c52a43SEdgar E. Iglesias              (env->sregs[SR_MSR] & MSR_UMS) ? "user" : "kernel",
175317c52a43SEdgar E. Iglesias              (env->sregs[SR_MSR] & MSR_EIP),
175417c52a43SEdgar E. Iglesias              (env->sregs[SR_MSR] & MSR_IE));
175517c52a43SEdgar E. Iglesias 
17564acb54baSEdgar E. Iglesias     for (i = 0; i < 32; i++) {
17574acb54baSEdgar E. Iglesias         cpu_fprintf(f, "r%2.2d=%8.8x ", i, env->regs[i]);
17584acb54baSEdgar E. Iglesias         if ((i + 1) % 4 == 0)
17594acb54baSEdgar E. Iglesias             cpu_fprintf(f, "\n");
17604acb54baSEdgar E. Iglesias         }
17614acb54baSEdgar E. Iglesias     cpu_fprintf(f, "\n\n");
17624acb54baSEdgar E. Iglesias }
17634acb54baSEdgar E. Iglesias 
1764cd0c24f9SAndreas Färber void mb_tcg_init(void)
1765cd0c24f9SAndreas Färber {
1766cd0c24f9SAndreas Färber     int i;
17674acb54baSEdgar E. Iglesias 
1768cfeea807SEdgar E. Iglesias     env_debug = tcg_global_mem_new_i32(cpu_env,
176968cee38aSAndreas Färber                     offsetof(CPUMBState, debug),
17704acb54baSEdgar E. Iglesias                     "debug0");
1771cfeea807SEdgar E. Iglesias     env_iflags = tcg_global_mem_new_i32(cpu_env,
177268cee38aSAndreas Färber                     offsetof(CPUMBState, iflags),
17734acb54baSEdgar E. Iglesias                     "iflags");
1774cfeea807SEdgar E. Iglesias     env_imm = tcg_global_mem_new_i32(cpu_env,
177568cee38aSAndreas Färber                     offsetof(CPUMBState, imm),
17764acb54baSEdgar E. Iglesias                     "imm");
1777cfeea807SEdgar E. Iglesias     env_btarget = tcg_global_mem_new_i32(cpu_env,
177868cee38aSAndreas Färber                      offsetof(CPUMBState, btarget),
17794acb54baSEdgar E. Iglesias                      "btarget");
1780cfeea807SEdgar E. Iglesias     env_btaken = tcg_global_mem_new_i32(cpu_env,
178168cee38aSAndreas Färber                      offsetof(CPUMBState, btaken),
17824acb54baSEdgar E. Iglesias                      "btaken");
1783403322eaSEdgar E. Iglesias     env_res_addr = tcg_global_mem_new(cpu_env,
17844a536270SEdgar E. Iglesias                      offsetof(CPUMBState, res_addr),
17854a536270SEdgar E. Iglesias                      "res_addr");
1786cfeea807SEdgar E. Iglesias     env_res_val = tcg_global_mem_new_i32(cpu_env,
178711a76217SEdgar E. Iglesias                      offsetof(CPUMBState, res_val),
178811a76217SEdgar E. Iglesias                      "res_val");
17894acb54baSEdgar E. Iglesias     for (i = 0; i < ARRAY_SIZE(cpu_R); i++) {
1790cfeea807SEdgar E. Iglesias         cpu_R[i] = tcg_global_mem_new_i32(cpu_env,
179168cee38aSAndreas Färber                           offsetof(CPUMBState, regs[i]),
17924acb54baSEdgar E. Iglesias                           regnames[i]);
17934acb54baSEdgar E. Iglesias     }
17944acb54baSEdgar E. Iglesias     for (i = 0; i < ARRAY_SIZE(cpu_SR); i++) {
1795cfeea807SEdgar E. Iglesias         cpu_SR[i] = tcg_global_mem_new_i32(cpu_env,
179668cee38aSAndreas Färber                           offsetof(CPUMBState, sregs[i]),
17974acb54baSEdgar E. Iglesias                           special_regnames[i]);
17984acb54baSEdgar E. Iglesias     }
17994acb54baSEdgar E. Iglesias }
18004acb54baSEdgar E. Iglesias 
1801bad729e2SRichard Henderson void restore_state_to_opc(CPUMBState *env, TranslationBlock *tb,
1802bad729e2SRichard Henderson                           target_ulong *data)
18034acb54baSEdgar E. Iglesias {
1804bad729e2SRichard Henderson     env->sregs[SR_PC] = data[0];
18054acb54baSEdgar E. Iglesias }
1806