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" 25dcb32f1dSPhilippe Mathieu-Daudé #include "tcg/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" 3190c84c56SMarkus Armbruster #include "qemu/qemu-print.h" 324acb54baSEdgar E. Iglesias 33a7e30d84SLluís Vilanova #include "trace-tcg.h" 34508127e2SPaolo Bonzini #include "exec/log.h" 35a7e30d84SLluís Vilanova 36a7e30d84SLluís Vilanova 374acb54baSEdgar E. Iglesias #define SIM_COMPAT 0 384acb54baSEdgar E. Iglesias #define DISAS_GNU 1 394acb54baSEdgar E. Iglesias #define DISAS_MB 1 404acb54baSEdgar E. Iglesias #if DISAS_MB && !SIM_COMPAT 414acb54baSEdgar E. Iglesias # define LOG_DIS(...) qemu_log_mask(CPU_LOG_TB_IN_ASM, ## __VA_ARGS__) 424acb54baSEdgar E. Iglesias #else 434acb54baSEdgar E. Iglesias # define LOG_DIS(...) do { } while (0) 444acb54baSEdgar E. Iglesias #endif 454acb54baSEdgar E. Iglesias 464acb54baSEdgar E. Iglesias #define D(x) 474acb54baSEdgar E. Iglesias 484acb54baSEdgar E. Iglesias #define EXTRACT_FIELD(src, start, end) \ 494acb54baSEdgar E. Iglesias (((src) >> start) & ((1 << (end - start + 1)) - 1)) 504acb54baSEdgar E. Iglesias 5177fc6f5eSLluís Vilanova /* is_jmp field values */ 5277fc6f5eSLluís Vilanova #define DISAS_JUMP DISAS_TARGET_0 /* only pc was modified dynamically */ 5377fc6f5eSLluís Vilanova #define DISAS_UPDATE DISAS_TARGET_1 /* cpu state was modified dynamically */ 5477fc6f5eSLluís Vilanova #define DISAS_TB_JUMP DISAS_TARGET_2 /* only pc was modified statically */ 5577fc6f5eSLluís Vilanova 56cfeea807SEdgar E. Iglesias static TCGv_i32 cpu_R[32]; 570f96e96bSRichard Henderson static TCGv_i32 cpu_pc; 583e0e16aeSRichard Henderson static TCGv_i32 cpu_msr; 59cfeea807SEdgar E. Iglesias static TCGv_i32 env_imm; 60cfeea807SEdgar E. Iglesias static TCGv_i32 env_btaken; 610f96e96bSRichard Henderson static TCGv_i32 cpu_btarget; 62cfeea807SEdgar E. Iglesias static TCGv_i32 env_iflags; 63403322eaSEdgar E. Iglesias static TCGv env_res_addr; 64cfeea807SEdgar E. Iglesias static TCGv_i32 env_res_val; 654acb54baSEdgar E. Iglesias 66022c62cbSPaolo Bonzini #include "exec/gen-icount.h" 674acb54baSEdgar E. Iglesias 684acb54baSEdgar E. Iglesias /* This is the state at translation time. */ 694acb54baSEdgar E. Iglesias typedef struct DisasContext { 700063ebd6SAndreas Färber MicroBlazeCPU *cpu; 71cfeea807SEdgar E. Iglesias uint32_t pc; 724acb54baSEdgar E. Iglesias 734acb54baSEdgar E. Iglesias /* Decoder. */ 744acb54baSEdgar E. Iglesias int type_b; 754acb54baSEdgar E. Iglesias uint32_t ir; 764acb54baSEdgar E. Iglesias uint8_t opcode; 774acb54baSEdgar E. Iglesias uint8_t rd, ra, rb; 784acb54baSEdgar E. Iglesias uint16_t imm; 794acb54baSEdgar E. Iglesias 804acb54baSEdgar E. Iglesias unsigned int cpustate_changed; 814acb54baSEdgar E. Iglesias unsigned int delayed_branch; 824acb54baSEdgar E. Iglesias unsigned int tb_flags, synced_flags; /* tb dependent flags. */ 834acb54baSEdgar E. Iglesias unsigned int clear_imm; 844acb54baSEdgar E. Iglesias int is_jmp; 854acb54baSEdgar E. Iglesias 864acb54baSEdgar E. Iglesias #define JMP_NOJMP 0 874acb54baSEdgar E. Iglesias #define JMP_DIRECT 1 88844bab60SEdgar E. Iglesias #define JMP_DIRECT_CC 2 89844bab60SEdgar E. Iglesias #define JMP_INDIRECT 3 904acb54baSEdgar E. Iglesias unsigned int jmp; 914acb54baSEdgar E. Iglesias uint32_t jmp_pc; 924acb54baSEdgar E. Iglesias 934acb54baSEdgar E. Iglesias int abort_at_next_insn; 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 1064acb54baSEdgar E. Iglesias static inline void t_sync_flags(DisasContext *dc) 1074acb54baSEdgar E. Iglesias { 1084abf79a4SDong Xu Wang /* Synch the tb dependent flags between translator and runtime. */ 1094acb54baSEdgar E. Iglesias if (dc->tb_flags != dc->synced_flags) { 110cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(env_iflags, dc->tb_flags); 1114acb54baSEdgar E. Iglesias dc->synced_flags = dc->tb_flags; 1124acb54baSEdgar E. Iglesias } 1134acb54baSEdgar E. Iglesias } 1144acb54baSEdgar E. Iglesias 11541ba37c4SRichard Henderson static void gen_raise_exception(DisasContext *dc, uint32_t index) 1164acb54baSEdgar E. Iglesias { 1174acb54baSEdgar E. Iglesias TCGv_i32 tmp = tcg_const_i32(index); 1184acb54baSEdgar E. Iglesias 11964254ebaSBlue Swirl gen_helper_raise_exception(cpu_env, tmp); 1204acb54baSEdgar E. Iglesias tcg_temp_free_i32(tmp); 1214acb54baSEdgar E. Iglesias dc->is_jmp = DISAS_UPDATE; 1224acb54baSEdgar E. Iglesias } 1234acb54baSEdgar E. Iglesias 12441ba37c4SRichard Henderson static void gen_raise_exception_sync(DisasContext *dc, uint32_t index) 12541ba37c4SRichard Henderson { 12641ba37c4SRichard Henderson t_sync_flags(dc); 12741ba37c4SRichard Henderson tcg_gen_movi_i32(cpu_pc, dc->pc); 12841ba37c4SRichard Henderson gen_raise_exception(dc, index); 12941ba37c4SRichard Henderson } 13041ba37c4SRichard Henderson 13141ba37c4SRichard Henderson static void gen_raise_hw_excp(DisasContext *dc, uint32_t esr_ec) 13241ba37c4SRichard Henderson { 13341ba37c4SRichard Henderson TCGv_i32 tmp = tcg_const_i32(esr_ec); 13441ba37c4SRichard Henderson tcg_gen_st_i32(tmp, cpu_env, offsetof(CPUMBState, esr)); 13541ba37c4SRichard Henderson tcg_temp_free_i32(tmp); 13641ba37c4SRichard Henderson 13741ba37c4SRichard Henderson gen_raise_exception_sync(dc, EXCP_HW_EXCP); 13841ba37c4SRichard Henderson } 13941ba37c4SRichard Henderson 14090aa39a1SSergey Fedorov static inline bool use_goto_tb(DisasContext *dc, target_ulong dest) 14190aa39a1SSergey Fedorov { 14290aa39a1SSergey Fedorov #ifndef CONFIG_USER_ONLY 14390aa39a1SSergey Fedorov return (dc->tb->pc & TARGET_PAGE_MASK) == (dest & TARGET_PAGE_MASK); 14490aa39a1SSergey Fedorov #else 14590aa39a1SSergey Fedorov return true; 14690aa39a1SSergey Fedorov #endif 14790aa39a1SSergey Fedorov } 14890aa39a1SSergey Fedorov 1494acb54baSEdgar E. Iglesias static void gen_goto_tb(DisasContext *dc, int n, target_ulong dest) 1504acb54baSEdgar E. Iglesias { 15190aa39a1SSergey Fedorov if (use_goto_tb(dc, dest)) { 1524acb54baSEdgar E. Iglesias tcg_gen_goto_tb(n); 1530f96e96bSRichard Henderson tcg_gen_movi_i32(cpu_pc, dest); 15407ea28b4SRichard Henderson tcg_gen_exit_tb(dc->tb, n); 1554acb54baSEdgar E. Iglesias } else { 1560f96e96bSRichard Henderson tcg_gen_movi_i32(cpu_pc, dest); 15707ea28b4SRichard Henderson tcg_gen_exit_tb(NULL, 0); 1584acb54baSEdgar E. Iglesias } 1594acb54baSEdgar E. Iglesias } 1604acb54baSEdgar E. Iglesias 161cfeea807SEdgar E. Iglesias static void read_carry(DisasContext *dc, TCGv_i32 d) 162ee8b246fSEdgar E. Iglesias { 1633e0e16aeSRichard Henderson tcg_gen_shri_i32(d, cpu_msr, 31); 164ee8b246fSEdgar E. Iglesias } 165ee8b246fSEdgar E. Iglesias 16604ec7df7SEdgar E. Iglesias /* 16704ec7df7SEdgar E. Iglesias * write_carry sets the carry bits in MSR based on bit 0 of v. 16804ec7df7SEdgar E. Iglesias * v[31:1] are ignored. 16904ec7df7SEdgar E. Iglesias */ 170cfeea807SEdgar E. Iglesias static void write_carry(DisasContext *dc, TCGv_i32 v) 171ee8b246fSEdgar E. Iglesias { 1720a22f8cfSEdgar E. Iglesias /* Deposit bit 0 into MSR_C and the alias MSR_CC. */ 1733e0e16aeSRichard Henderson tcg_gen_deposit_i32(cpu_msr, cpu_msr, v, 2, 1); 1743e0e16aeSRichard Henderson tcg_gen_deposit_i32(cpu_msr, cpu_msr, v, 31, 1); 175ee8b246fSEdgar E. Iglesias } 176ee8b246fSEdgar E. Iglesias 17765ab5eb4SEdgar E. Iglesias static void write_carryi(DisasContext *dc, bool carry) 1788cc9b43fSPeter A. G. Crosthwaite { 179cfeea807SEdgar E. Iglesias TCGv_i32 t0 = tcg_temp_new_i32(); 180cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(t0, carry); 1818cc9b43fSPeter A. G. Crosthwaite write_carry(dc, t0); 182cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t0); 1838cc9b43fSPeter A. G. Crosthwaite } 1848cc9b43fSPeter A. G. Crosthwaite 185bdfc1e88SEdgar E. Iglesias /* 1869ba8cd45SEdgar E. Iglesias * Returns true if the insn an illegal operation. 1879ba8cd45SEdgar E. Iglesias * If exceptions are enabled, an exception is raised. 1889ba8cd45SEdgar E. Iglesias */ 1899ba8cd45SEdgar E. Iglesias static bool trap_illegal(DisasContext *dc, bool cond) 1909ba8cd45SEdgar E. Iglesias { 1919ba8cd45SEdgar E. Iglesias if (cond && (dc->tb_flags & MSR_EE_FLAG) 1925143fdf3SEdgar E. Iglesias && dc->cpu->cfg.illegal_opcode_exception) { 19341ba37c4SRichard Henderson gen_raise_hw_excp(dc, ESR_EC_ILLEGAL_OP); 1949ba8cd45SEdgar E. Iglesias } 1959ba8cd45SEdgar E. Iglesias return cond; 1969ba8cd45SEdgar E. Iglesias } 1979ba8cd45SEdgar E. Iglesias 1989ba8cd45SEdgar E. Iglesias /* 199bdfc1e88SEdgar E. Iglesias * Returns true if the insn is illegal in userspace. 200bdfc1e88SEdgar E. Iglesias * If exceptions are enabled, an exception is raised. 201bdfc1e88SEdgar E. Iglesias */ 202bdfc1e88SEdgar E. Iglesias static bool trap_userspace(DisasContext *dc, bool cond) 203bdfc1e88SEdgar E. Iglesias { 204bdfc1e88SEdgar E. Iglesias int mem_index = cpu_mmu_index(&dc->cpu->env, false); 205bdfc1e88SEdgar E. Iglesias bool cond_user = cond && mem_index == MMU_USER_IDX; 206bdfc1e88SEdgar E. Iglesias 207bdfc1e88SEdgar E. Iglesias if (cond_user && (dc->tb_flags & MSR_EE_FLAG)) { 20841ba37c4SRichard Henderson gen_raise_hw_excp(dc, ESR_EC_PRIVINSN); 209bdfc1e88SEdgar E. Iglesias } 210bdfc1e88SEdgar E. Iglesias return cond_user; 211bdfc1e88SEdgar E. Iglesias } 212bdfc1e88SEdgar E. Iglesias 21361204ce8SEdgar E. Iglesias /* True if ALU operand b is a small immediate that may deserve 21461204ce8SEdgar E. Iglesias faster treatment. */ 21561204ce8SEdgar E. Iglesias static inline int dec_alu_op_b_is_small_imm(DisasContext *dc) 21661204ce8SEdgar E. Iglesias { 21761204ce8SEdgar E. Iglesias /* Immediate insn without the imm prefix ? */ 21861204ce8SEdgar E. Iglesias return dc->type_b && !(dc->tb_flags & IMM_FLAG); 21961204ce8SEdgar E. Iglesias } 22061204ce8SEdgar E. Iglesias 221cfeea807SEdgar E. Iglesias static inline TCGv_i32 *dec_alu_op_b(DisasContext *dc) 2224acb54baSEdgar E. Iglesias { 2234acb54baSEdgar E. Iglesias if (dc->type_b) { 2244acb54baSEdgar E. Iglesias if (dc->tb_flags & IMM_FLAG) 225cfeea807SEdgar E. Iglesias tcg_gen_ori_i32(env_imm, env_imm, dc->imm); 2264acb54baSEdgar E. Iglesias else 227cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(env_imm, (int32_t)((int16_t)dc->imm)); 2284acb54baSEdgar E. Iglesias return &env_imm; 2294acb54baSEdgar E. Iglesias } else 2304acb54baSEdgar E. Iglesias return &cpu_R[dc->rb]; 2314acb54baSEdgar E. Iglesias } 2324acb54baSEdgar E. Iglesias 2334acb54baSEdgar E. Iglesias static void dec_add(DisasContext *dc) 2344acb54baSEdgar E. Iglesias { 2354acb54baSEdgar E. Iglesias unsigned int k, c; 236cfeea807SEdgar E. Iglesias TCGv_i32 cf; 2374acb54baSEdgar E. Iglesias 2384acb54baSEdgar E. Iglesias k = dc->opcode & 4; 2394acb54baSEdgar E. Iglesias c = dc->opcode & 2; 2404acb54baSEdgar E. Iglesias 2414acb54baSEdgar E. Iglesias LOG_DIS("add%s%s%s r%d r%d r%d\n", 2424acb54baSEdgar E. Iglesias dc->type_b ? "i" : "", k ? "k" : "", c ? "c" : "", 2434acb54baSEdgar E. Iglesias dc->rd, dc->ra, dc->rb); 2444acb54baSEdgar E. Iglesias 24540cbf5b7SEdgar E. Iglesias /* Take care of the easy cases first. */ 24640cbf5b7SEdgar E. Iglesias if (k) { 24740cbf5b7SEdgar E. Iglesias /* k - keep carry, no need to update MSR. */ 24840cbf5b7SEdgar E. Iglesias /* If rd == r0, it's a nop. */ 24940cbf5b7SEdgar E. Iglesias if (dc->rd) { 250cfeea807SEdgar E. Iglesias tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 25140cbf5b7SEdgar E. Iglesias 25240cbf5b7SEdgar E. Iglesias if (c) { 25340cbf5b7SEdgar E. Iglesias /* c - Add carry into the result. */ 254cfeea807SEdgar E. Iglesias cf = tcg_temp_new_i32(); 25540cbf5b7SEdgar E. Iglesias 25640cbf5b7SEdgar E. Iglesias read_carry(dc, cf); 257cfeea807SEdgar E. Iglesias tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf); 258cfeea807SEdgar E. Iglesias tcg_temp_free_i32(cf); 2594acb54baSEdgar E. Iglesias } 2604acb54baSEdgar E. Iglesias } 26140cbf5b7SEdgar E. Iglesias return; 26240cbf5b7SEdgar E. Iglesias } 26340cbf5b7SEdgar E. Iglesias 26440cbf5b7SEdgar E. Iglesias /* From now on, we can assume k is zero. So we need to update MSR. */ 26540cbf5b7SEdgar E. Iglesias /* Extract carry. */ 266cfeea807SEdgar E. Iglesias cf = tcg_temp_new_i32(); 26740cbf5b7SEdgar E. Iglesias if (c) { 26840cbf5b7SEdgar E. Iglesias read_carry(dc, cf); 26940cbf5b7SEdgar E. Iglesias } else { 270cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(cf, 0); 27140cbf5b7SEdgar E. Iglesias } 27240cbf5b7SEdgar E. Iglesias 27340cbf5b7SEdgar E. Iglesias if (dc->rd) { 274cfeea807SEdgar E. Iglesias TCGv_i32 ncf = tcg_temp_new_i32(); 2755d0bb823SEdgar E. Iglesias gen_helper_carry(ncf, cpu_R[dc->ra], *(dec_alu_op_b(dc)), cf); 276cfeea807SEdgar E. Iglesias tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 277cfeea807SEdgar E. Iglesias tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf); 27840cbf5b7SEdgar E. Iglesias write_carry(dc, ncf); 279cfeea807SEdgar E. Iglesias tcg_temp_free_i32(ncf); 28040cbf5b7SEdgar E. Iglesias } else { 2815d0bb823SEdgar E. Iglesias gen_helper_carry(cf, cpu_R[dc->ra], *(dec_alu_op_b(dc)), cf); 28240cbf5b7SEdgar E. Iglesias write_carry(dc, cf); 28340cbf5b7SEdgar E. Iglesias } 284cfeea807SEdgar E. Iglesias tcg_temp_free_i32(cf); 28540cbf5b7SEdgar E. Iglesias } 2864acb54baSEdgar E. Iglesias 2874acb54baSEdgar E. Iglesias static void dec_sub(DisasContext *dc) 2884acb54baSEdgar E. Iglesias { 2894acb54baSEdgar E. Iglesias unsigned int u, cmp, k, c; 290cfeea807SEdgar E. Iglesias TCGv_i32 cf, na; 2914acb54baSEdgar E. Iglesias 2924acb54baSEdgar E. Iglesias u = dc->imm & 2; 2934acb54baSEdgar E. Iglesias k = dc->opcode & 4; 2944acb54baSEdgar E. Iglesias c = dc->opcode & 2; 2954acb54baSEdgar E. Iglesias cmp = (dc->imm & 1) && (!dc->type_b) && k; 2964acb54baSEdgar E. Iglesias 2974acb54baSEdgar E. Iglesias if (cmp) { 2984acb54baSEdgar E. Iglesias LOG_DIS("cmp%s r%d, r%d ir=%x\n", u ? "u" : "", dc->rd, dc->ra, dc->ir); 2994acb54baSEdgar E. Iglesias if (dc->rd) { 3004acb54baSEdgar E. Iglesias if (u) 3014acb54baSEdgar E. Iglesias gen_helper_cmpu(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 3024acb54baSEdgar E. Iglesias else 3034acb54baSEdgar E. Iglesias gen_helper_cmp(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 3044acb54baSEdgar E. Iglesias } 305e0a42ebcSEdgar E. Iglesias return; 306e0a42ebcSEdgar E. Iglesias } 307e0a42ebcSEdgar E. Iglesias 3084acb54baSEdgar E. Iglesias LOG_DIS("sub%s%s r%d, r%d r%d\n", 3094acb54baSEdgar E. Iglesias k ? "k" : "", c ? "c" : "", dc->rd, dc->ra, dc->rb); 3104acb54baSEdgar E. Iglesias 311e0a42ebcSEdgar E. Iglesias /* Take care of the easy cases first. */ 312e0a42ebcSEdgar E. Iglesias if (k) { 313e0a42ebcSEdgar E. Iglesias /* k - keep carry, no need to update MSR. */ 314e0a42ebcSEdgar E. Iglesias /* If rd == r0, it's a nop. */ 315e0a42ebcSEdgar E. Iglesias if (dc->rd) { 316cfeea807SEdgar E. Iglesias tcg_gen_sub_i32(cpu_R[dc->rd], *(dec_alu_op_b(dc)), cpu_R[dc->ra]); 317e0a42ebcSEdgar E. Iglesias 318e0a42ebcSEdgar E. Iglesias if (c) { 319e0a42ebcSEdgar E. Iglesias /* c - Add carry into the result. */ 320cfeea807SEdgar E. Iglesias cf = tcg_temp_new_i32(); 321e0a42ebcSEdgar E. Iglesias 322e0a42ebcSEdgar E. Iglesias read_carry(dc, cf); 323cfeea807SEdgar E. Iglesias tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf); 324cfeea807SEdgar E. Iglesias tcg_temp_free_i32(cf); 3254acb54baSEdgar E. Iglesias } 3264acb54baSEdgar E. Iglesias } 327e0a42ebcSEdgar E. Iglesias return; 328e0a42ebcSEdgar E. Iglesias } 329e0a42ebcSEdgar E. Iglesias 330e0a42ebcSEdgar E. Iglesias /* From now on, we can assume k is zero. So we need to update MSR. */ 331e0a42ebcSEdgar E. Iglesias /* Extract carry. And complement a into na. */ 332cfeea807SEdgar E. Iglesias cf = tcg_temp_new_i32(); 333cfeea807SEdgar E. Iglesias na = tcg_temp_new_i32(); 334e0a42ebcSEdgar E. Iglesias if (c) { 335e0a42ebcSEdgar E. Iglesias read_carry(dc, cf); 336e0a42ebcSEdgar E. Iglesias } else { 337cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(cf, 1); 338e0a42ebcSEdgar E. Iglesias } 339e0a42ebcSEdgar E. Iglesias 340e0a42ebcSEdgar E. Iglesias /* d = b + ~a + c. carry defaults to 1. */ 341cfeea807SEdgar E. Iglesias tcg_gen_not_i32(na, cpu_R[dc->ra]); 342e0a42ebcSEdgar E. Iglesias 343e0a42ebcSEdgar E. Iglesias if (dc->rd) { 344cfeea807SEdgar E. Iglesias TCGv_i32 ncf = tcg_temp_new_i32(); 3455d0bb823SEdgar E. Iglesias gen_helper_carry(ncf, na, *(dec_alu_op_b(dc)), cf); 346cfeea807SEdgar E. Iglesias tcg_gen_add_i32(cpu_R[dc->rd], na, *(dec_alu_op_b(dc))); 347cfeea807SEdgar E. Iglesias tcg_gen_add_i32(cpu_R[dc->rd], cpu_R[dc->rd], cf); 348e0a42ebcSEdgar E. Iglesias write_carry(dc, ncf); 349cfeea807SEdgar E. Iglesias tcg_temp_free_i32(ncf); 350e0a42ebcSEdgar E. Iglesias } else { 3515d0bb823SEdgar E. Iglesias gen_helper_carry(cf, na, *(dec_alu_op_b(dc)), cf); 352e0a42ebcSEdgar E. Iglesias write_carry(dc, cf); 353e0a42ebcSEdgar E. Iglesias } 354cfeea807SEdgar E. Iglesias tcg_temp_free_i32(cf); 355cfeea807SEdgar E. Iglesias tcg_temp_free_i32(na); 356e0a42ebcSEdgar E. Iglesias } 3574acb54baSEdgar E. Iglesias 3584acb54baSEdgar E. Iglesias static void dec_pattern(DisasContext *dc) 3594acb54baSEdgar E. Iglesias { 3604acb54baSEdgar E. Iglesias unsigned int mode; 3614acb54baSEdgar E. Iglesias 3629ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, !dc->cpu->cfg.use_pcmp_instr)) { 3639ba8cd45SEdgar E. Iglesias return; 3641567a005SEdgar E. Iglesias } 3651567a005SEdgar E. Iglesias 3664acb54baSEdgar E. Iglesias mode = dc->opcode & 3; 3674acb54baSEdgar E. Iglesias switch (mode) { 3684acb54baSEdgar E. Iglesias case 0: 3694acb54baSEdgar E. Iglesias /* pcmpbf. */ 3704acb54baSEdgar E. Iglesias LOG_DIS("pcmpbf r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 3714acb54baSEdgar E. Iglesias if (dc->rd) 3724acb54baSEdgar E. Iglesias gen_helper_pcmpbf(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 3734acb54baSEdgar E. Iglesias break; 3744acb54baSEdgar E. Iglesias case 2: 3754acb54baSEdgar E. Iglesias LOG_DIS("pcmpeq r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 3764acb54baSEdgar E. Iglesias if (dc->rd) { 377cfeea807SEdgar E. Iglesias tcg_gen_setcond_i32(TCG_COND_EQ, cpu_R[dc->rd], 37886112805SRichard Henderson cpu_R[dc->ra], cpu_R[dc->rb]); 3794acb54baSEdgar E. Iglesias } 3804acb54baSEdgar E. Iglesias break; 3814acb54baSEdgar E. Iglesias case 3: 3824acb54baSEdgar E. Iglesias LOG_DIS("pcmpne r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 3834acb54baSEdgar E. Iglesias if (dc->rd) { 384cfeea807SEdgar E. Iglesias tcg_gen_setcond_i32(TCG_COND_NE, cpu_R[dc->rd], 38586112805SRichard Henderson cpu_R[dc->ra], cpu_R[dc->rb]); 3864acb54baSEdgar E. Iglesias } 3874acb54baSEdgar E. Iglesias break; 3884acb54baSEdgar E. Iglesias default: 3890063ebd6SAndreas Färber cpu_abort(CPU(dc->cpu), 3904acb54baSEdgar E. Iglesias "unsupported pattern insn opcode=%x\n", dc->opcode); 3914acb54baSEdgar E. Iglesias break; 3924acb54baSEdgar E. Iglesias } 3934acb54baSEdgar E. Iglesias } 3944acb54baSEdgar E. Iglesias 3954acb54baSEdgar E. Iglesias static void dec_and(DisasContext *dc) 3964acb54baSEdgar E. Iglesias { 3974acb54baSEdgar E. Iglesias unsigned int not; 3984acb54baSEdgar E. Iglesias 3994acb54baSEdgar E. Iglesias if (!dc->type_b && (dc->imm & (1 << 10))) { 4004acb54baSEdgar E. Iglesias dec_pattern(dc); 4014acb54baSEdgar E. Iglesias return; 4024acb54baSEdgar E. Iglesias } 4034acb54baSEdgar E. Iglesias 4044acb54baSEdgar E. Iglesias not = dc->opcode & (1 << 1); 4054acb54baSEdgar E. Iglesias LOG_DIS("and%s\n", not ? "n" : ""); 4064acb54baSEdgar E. Iglesias 4074acb54baSEdgar E. Iglesias if (!dc->rd) 4084acb54baSEdgar E. Iglesias return; 4094acb54baSEdgar E. Iglesias 4104acb54baSEdgar E. Iglesias if (not) { 411cfeea807SEdgar E. Iglesias tcg_gen_andc_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 4124acb54baSEdgar E. Iglesias } else 413cfeea807SEdgar E. Iglesias tcg_gen_and_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 4144acb54baSEdgar E. Iglesias } 4154acb54baSEdgar E. Iglesias 4164acb54baSEdgar E. Iglesias static void dec_or(DisasContext *dc) 4174acb54baSEdgar E. Iglesias { 4184acb54baSEdgar E. Iglesias if (!dc->type_b && (dc->imm & (1 << 10))) { 4194acb54baSEdgar E. Iglesias dec_pattern(dc); 4204acb54baSEdgar E. Iglesias return; 4214acb54baSEdgar E. Iglesias } 4224acb54baSEdgar E. Iglesias 4234acb54baSEdgar E. Iglesias LOG_DIS("or r%d r%d r%d imm=%x\n", dc->rd, dc->ra, dc->rb, dc->imm); 4244acb54baSEdgar E. Iglesias if (dc->rd) 425cfeea807SEdgar E. Iglesias tcg_gen_or_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 4264acb54baSEdgar E. Iglesias } 4274acb54baSEdgar E. Iglesias 4284acb54baSEdgar E. Iglesias static void dec_xor(DisasContext *dc) 4294acb54baSEdgar E. Iglesias { 4304acb54baSEdgar E. Iglesias if (!dc->type_b && (dc->imm & (1 << 10))) { 4314acb54baSEdgar E. Iglesias dec_pattern(dc); 4324acb54baSEdgar E. Iglesias return; 4334acb54baSEdgar E. Iglesias } 4344acb54baSEdgar E. Iglesias 4354acb54baSEdgar E. Iglesias LOG_DIS("xor r%d\n", dc->rd); 4364acb54baSEdgar E. Iglesias if (dc->rd) 437cfeea807SEdgar E. Iglesias tcg_gen_xor_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 4384acb54baSEdgar E. Iglesias } 4394acb54baSEdgar E. Iglesias 440cfeea807SEdgar E. Iglesias static inline void msr_read(DisasContext *dc, TCGv_i32 d) 4414acb54baSEdgar E. Iglesias { 4423e0e16aeSRichard Henderson tcg_gen_mov_i32(d, cpu_msr); 4434acb54baSEdgar E. Iglesias } 4444acb54baSEdgar E. Iglesias 445cfeea807SEdgar E. Iglesias static inline void msr_write(DisasContext *dc, TCGv_i32 v) 4464acb54baSEdgar E. Iglesias { 4474acb54baSEdgar E. Iglesias dc->cpustate_changed = 1; 4483e0e16aeSRichard Henderson /* PVR bit is not writable, and is never set. */ 4493e0e16aeSRichard Henderson tcg_gen_andi_i32(cpu_msr, v, ~MSR_PVR); 4504acb54baSEdgar E. Iglesias } 4514acb54baSEdgar E. Iglesias 4524acb54baSEdgar E. Iglesias static void dec_msr(DisasContext *dc) 4534acb54baSEdgar E. Iglesias { 4540063ebd6SAndreas Färber CPUState *cs = CPU(dc->cpu); 455cfeea807SEdgar E. Iglesias TCGv_i32 t0, t1; 4562023e9a3SEdgar E. Iglesias unsigned int sr, rn; 457f0f7e7f7SEdgar E. Iglesias bool to, clrset, extended = false; 4584acb54baSEdgar E. Iglesias 4592023e9a3SEdgar E. Iglesias sr = extract32(dc->imm, 0, 14); 4602023e9a3SEdgar E. Iglesias to = extract32(dc->imm, 14, 1); 4612023e9a3SEdgar E. Iglesias clrset = extract32(dc->imm, 15, 1) == 0; 4624acb54baSEdgar E. Iglesias dc->type_b = 1; 4632023e9a3SEdgar E. Iglesias if (to) { 4644acb54baSEdgar E. Iglesias dc->cpustate_changed = 1; 465f0f7e7f7SEdgar E. Iglesias } 466f0f7e7f7SEdgar E. Iglesias 467f0f7e7f7SEdgar E. Iglesias /* Extended MSRs are only available if addr_size > 32. */ 468f0f7e7f7SEdgar E. Iglesias if (dc->cpu->cfg.addr_size > 32) { 469f0f7e7f7SEdgar E. Iglesias /* The E-bit is encoded differently for To/From MSR. */ 470f0f7e7f7SEdgar E. Iglesias static const unsigned int e_bit[] = { 19, 24 }; 471f0f7e7f7SEdgar E. Iglesias 472f0f7e7f7SEdgar E. Iglesias extended = extract32(dc->imm, e_bit[to], 1); 4732023e9a3SEdgar E. Iglesias } 4744acb54baSEdgar E. Iglesias 4754acb54baSEdgar E. Iglesias /* msrclr and msrset. */ 4762023e9a3SEdgar E. Iglesias if (clrset) { 4772023e9a3SEdgar E. Iglesias bool clr = extract32(dc->ir, 16, 1); 4784acb54baSEdgar E. Iglesias 4794acb54baSEdgar E. Iglesias LOG_DIS("msr%s r%d imm=%x\n", clr ? "clr" : "set", 4804acb54baSEdgar E. Iglesias dc->rd, dc->imm); 4811567a005SEdgar E. Iglesias 48256837509SEdgar E. Iglesias if (!dc->cpu->cfg.use_msr_instr) { 4831567a005SEdgar E. Iglesias /* nop??? */ 4841567a005SEdgar E. Iglesias return; 4851567a005SEdgar E. Iglesias } 4861567a005SEdgar E. Iglesias 487bdfc1e88SEdgar E. Iglesias if (trap_userspace(dc, dc->imm != 4 && dc->imm != 0)) { 4881567a005SEdgar E. Iglesias return; 4891567a005SEdgar E. Iglesias } 4901567a005SEdgar E. Iglesias 4914acb54baSEdgar E. Iglesias if (dc->rd) 4924acb54baSEdgar E. Iglesias msr_read(dc, cpu_R[dc->rd]); 4934acb54baSEdgar E. Iglesias 494cfeea807SEdgar E. Iglesias t0 = tcg_temp_new_i32(); 495cfeea807SEdgar E. Iglesias t1 = tcg_temp_new_i32(); 4964acb54baSEdgar E. Iglesias msr_read(dc, t0); 497cfeea807SEdgar E. Iglesias tcg_gen_mov_i32(t1, *(dec_alu_op_b(dc))); 4984acb54baSEdgar E. Iglesias 4994acb54baSEdgar E. Iglesias if (clr) { 500cfeea807SEdgar E. Iglesias tcg_gen_not_i32(t1, t1); 501cfeea807SEdgar E. Iglesias tcg_gen_and_i32(t0, t0, t1); 5024acb54baSEdgar E. Iglesias } else 503cfeea807SEdgar E. Iglesias tcg_gen_or_i32(t0, t0, t1); 5044acb54baSEdgar E. Iglesias msr_write(dc, t0); 505cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t0); 506cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t1); 5070f96e96bSRichard Henderson tcg_gen_movi_i32(cpu_pc, dc->pc + 4); 5084acb54baSEdgar E. Iglesias dc->is_jmp = DISAS_UPDATE; 5094acb54baSEdgar E. Iglesias return; 5104acb54baSEdgar E. Iglesias } 5114acb54baSEdgar E. Iglesias 512bdfc1e88SEdgar E. Iglesias if (trap_userspace(dc, to)) { 5131567a005SEdgar E. Iglesias return; 5141567a005SEdgar E. Iglesias } 5151567a005SEdgar E. Iglesias 5164acb54baSEdgar E. Iglesias #if !defined(CONFIG_USER_ONLY) 5174acb54baSEdgar E. Iglesias /* Catch read/writes to the mmu block. */ 5184acb54baSEdgar E. Iglesias if ((sr & ~0xff) == 0x1000) { 519f0f7e7f7SEdgar E. Iglesias TCGv_i32 tmp_ext = tcg_const_i32(extended); 52005a9a651SEdgar E. Iglesias TCGv_i32 tmp_sr; 52105a9a651SEdgar E. Iglesias 5224acb54baSEdgar E. Iglesias sr &= 7; 52305a9a651SEdgar E. Iglesias tmp_sr = tcg_const_i32(sr); 5244acb54baSEdgar E. Iglesias LOG_DIS("m%ss sr%d r%d imm=%x\n", to ? "t" : "f", sr, dc->ra, dc->imm); 52505a9a651SEdgar E. Iglesias if (to) { 526f0f7e7f7SEdgar E. Iglesias gen_helper_mmu_write(cpu_env, tmp_ext, tmp_sr, cpu_R[dc->ra]); 52705a9a651SEdgar E. Iglesias } else { 528f0f7e7f7SEdgar E. Iglesias gen_helper_mmu_read(cpu_R[dc->rd], cpu_env, tmp_ext, tmp_sr); 52905a9a651SEdgar E. Iglesias } 53005a9a651SEdgar E. Iglesias tcg_temp_free_i32(tmp_sr); 531f0f7e7f7SEdgar E. Iglesias tcg_temp_free_i32(tmp_ext); 5324acb54baSEdgar E. Iglesias return; 5334acb54baSEdgar E. Iglesias } 5344acb54baSEdgar E. Iglesias #endif 5354acb54baSEdgar E. Iglesias 5364acb54baSEdgar E. Iglesias if (to) { 5374acb54baSEdgar E. Iglesias LOG_DIS("m%ss sr%x r%d imm=%x\n", to ? "t" : "f", sr, dc->ra, dc->imm); 5384acb54baSEdgar E. Iglesias switch (sr) { 539aa28e6d4SRichard Henderson case SR_PC: 5404acb54baSEdgar E. Iglesias break; 541aa28e6d4SRichard Henderson case SR_MSR: 5424acb54baSEdgar E. Iglesias msr_write(dc, cpu_R[dc->ra]); 5434acb54baSEdgar E. Iglesias break; 544351527b7SEdgar E. Iglesias case SR_EAR: 545dbdb77c4SRichard Henderson { 546dbdb77c4SRichard Henderson TCGv_i64 t64 = tcg_temp_new_i64(); 547dbdb77c4SRichard Henderson tcg_gen_extu_i32_i64(t64, cpu_R[dc->ra]); 548dbdb77c4SRichard Henderson tcg_gen_st_i64(t64, cpu_env, offsetof(CPUMBState, ear)); 549dbdb77c4SRichard Henderson tcg_temp_free_i64(t64); 550dbdb77c4SRichard Henderson } 551aa28e6d4SRichard Henderson break; 552351527b7SEdgar E. Iglesias case SR_ESR: 55341ba37c4SRichard Henderson tcg_gen_st_i32(cpu_R[dc->ra], 55441ba37c4SRichard Henderson cpu_env, offsetof(CPUMBState, esr)); 555aa28e6d4SRichard Henderson break; 556ab6dd380SEdgar E. Iglesias case SR_FSR: 55786017ccfSRichard Henderson tcg_gen_st_i32(cpu_R[dc->ra], 55886017ccfSRichard Henderson cpu_env, offsetof(CPUMBState, fsr)); 559aa28e6d4SRichard Henderson break; 560aa28e6d4SRichard Henderson case SR_BTR: 561ccf628b7SRichard Henderson tcg_gen_st_i32(cpu_R[dc->ra], 562ccf628b7SRichard Henderson cpu_env, offsetof(CPUMBState, btr)); 563aa28e6d4SRichard Henderson break; 564aa28e6d4SRichard Henderson case SR_EDR: 56539db007eSRichard Henderson tcg_gen_st_i32(cpu_R[dc->ra], 56639db007eSRichard Henderson cpu_env, offsetof(CPUMBState, edr)); 5674acb54baSEdgar E. Iglesias break; 5685818dee5SEdgar E. Iglesias case 0x800: 569cfeea807SEdgar E. Iglesias tcg_gen_st_i32(cpu_R[dc->ra], 570cfeea807SEdgar E. Iglesias cpu_env, offsetof(CPUMBState, slr)); 5715818dee5SEdgar E. Iglesias break; 5725818dee5SEdgar E. Iglesias case 0x802: 573cfeea807SEdgar E. Iglesias tcg_gen_st_i32(cpu_R[dc->ra], 574cfeea807SEdgar E. Iglesias cpu_env, offsetof(CPUMBState, shr)); 5755818dee5SEdgar E. Iglesias break; 5764acb54baSEdgar E. Iglesias default: 5770063ebd6SAndreas Färber cpu_abort(CPU(dc->cpu), "unknown mts reg %x\n", sr); 5784acb54baSEdgar E. Iglesias break; 5794acb54baSEdgar E. Iglesias } 5804acb54baSEdgar E. Iglesias } else { 5814acb54baSEdgar E. Iglesias LOG_DIS("m%ss r%d sr%x imm=%x\n", to ? "t" : "f", dc->rd, sr, dc->imm); 5824acb54baSEdgar E. Iglesias 5834acb54baSEdgar E. Iglesias switch (sr) { 584aa28e6d4SRichard Henderson case SR_PC: 585cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(cpu_R[dc->rd], dc->pc); 5864acb54baSEdgar E. Iglesias break; 587aa28e6d4SRichard Henderson case SR_MSR: 5884acb54baSEdgar E. Iglesias msr_read(dc, cpu_R[dc->rd]); 5894acb54baSEdgar E. Iglesias break; 590351527b7SEdgar E. Iglesias case SR_EAR: 591dbdb77c4SRichard Henderson { 592dbdb77c4SRichard Henderson TCGv_i64 t64 = tcg_temp_new_i64(); 593dbdb77c4SRichard Henderson tcg_gen_ld_i64(t64, cpu_env, offsetof(CPUMBState, ear)); 594a1b48e3aSEdgar E. Iglesias if (extended) { 595dbdb77c4SRichard Henderson tcg_gen_extrh_i64_i32(cpu_R[dc->rd], t64); 596aa28e6d4SRichard Henderson } else { 597dbdb77c4SRichard Henderson tcg_gen_extrl_i64_i32(cpu_R[dc->rd], t64); 598dbdb77c4SRichard Henderson } 599dbdb77c4SRichard Henderson tcg_temp_free_i64(t64); 600a1b48e3aSEdgar E. Iglesias } 601aa28e6d4SRichard Henderson break; 602351527b7SEdgar E. Iglesias case SR_ESR: 60341ba37c4SRichard Henderson tcg_gen_ld_i32(cpu_R[dc->rd], 60441ba37c4SRichard Henderson cpu_env, offsetof(CPUMBState, esr)); 605aa28e6d4SRichard Henderson break; 606351527b7SEdgar E. Iglesias case SR_FSR: 60786017ccfSRichard Henderson tcg_gen_ld_i32(cpu_R[dc->rd], 60886017ccfSRichard Henderson cpu_env, offsetof(CPUMBState, fsr)); 609aa28e6d4SRichard Henderson break; 610351527b7SEdgar E. Iglesias case SR_BTR: 611ccf628b7SRichard Henderson tcg_gen_ld_i32(cpu_R[dc->rd], 612ccf628b7SRichard Henderson cpu_env, offsetof(CPUMBState, btr)); 613aa28e6d4SRichard Henderson break; 6147cdae31dSTong Ho case SR_EDR: 61539db007eSRichard Henderson tcg_gen_ld_i32(cpu_R[dc->rd], 61639db007eSRichard Henderson cpu_env, offsetof(CPUMBState, edr)); 6174acb54baSEdgar E. Iglesias break; 6185818dee5SEdgar E. Iglesias case 0x800: 619cfeea807SEdgar E. Iglesias tcg_gen_ld_i32(cpu_R[dc->rd], 620cfeea807SEdgar E. Iglesias cpu_env, offsetof(CPUMBState, slr)); 6215818dee5SEdgar E. Iglesias break; 6225818dee5SEdgar E. Iglesias case 0x802: 623cfeea807SEdgar E. Iglesias tcg_gen_ld_i32(cpu_R[dc->rd], 624cfeea807SEdgar E. Iglesias cpu_env, offsetof(CPUMBState, shr)); 6255818dee5SEdgar E. Iglesias break; 626351527b7SEdgar E. Iglesias case 0x2000 ... 0x200c: 6274acb54baSEdgar E. Iglesias rn = sr & 0xf; 628cfeea807SEdgar E. Iglesias tcg_gen_ld_i32(cpu_R[dc->rd], 62968cee38aSAndreas Färber cpu_env, offsetof(CPUMBState, pvr.regs[rn])); 6304acb54baSEdgar E. Iglesias break; 6314acb54baSEdgar E. Iglesias default: 632a47dddd7SAndreas Färber cpu_abort(cs, "unknown mfs reg %x\n", sr); 6334acb54baSEdgar E. Iglesias break; 6344acb54baSEdgar E. Iglesias } 6354acb54baSEdgar E. Iglesias } 636ee7dbcf8SEdgar E. Iglesias 637ee7dbcf8SEdgar E. Iglesias if (dc->rd == 0) { 638cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(cpu_R[0], 0); 639ee7dbcf8SEdgar E. Iglesias } 6404acb54baSEdgar E. Iglesias } 6414acb54baSEdgar E. Iglesias 6424acb54baSEdgar E. Iglesias /* Multiplier unit. */ 6434acb54baSEdgar E. Iglesias static void dec_mul(DisasContext *dc) 6444acb54baSEdgar E. Iglesias { 645cfeea807SEdgar E. Iglesias TCGv_i32 tmp; 6464acb54baSEdgar E. Iglesias unsigned int subcode; 6474acb54baSEdgar E. Iglesias 6489ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, !dc->cpu->cfg.use_hw_mul)) { 6491567a005SEdgar E. Iglesias return; 6501567a005SEdgar E. Iglesias } 6511567a005SEdgar E. Iglesias 6524acb54baSEdgar E. Iglesias subcode = dc->imm & 3; 6534acb54baSEdgar E. Iglesias 6544acb54baSEdgar E. Iglesias if (dc->type_b) { 6554acb54baSEdgar E. Iglesias LOG_DIS("muli r%d r%d %x\n", dc->rd, dc->ra, dc->imm); 656cfeea807SEdgar E. Iglesias tcg_gen_mul_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 65716ece88dSRichard Henderson return; 6584acb54baSEdgar E. Iglesias } 6594acb54baSEdgar E. Iglesias 6601567a005SEdgar E. Iglesias /* mulh, mulhsu and mulhu are not available if C_USE_HW_MUL is < 2. */ 6619b964318SEdgar E. Iglesias if (subcode >= 1 && subcode <= 3 && dc->cpu->cfg.use_hw_mul < 2) { 6621567a005SEdgar E. Iglesias /* nop??? */ 6631567a005SEdgar E. Iglesias } 6641567a005SEdgar E. Iglesias 665cfeea807SEdgar E. Iglesias tmp = tcg_temp_new_i32(); 6664acb54baSEdgar E. Iglesias switch (subcode) { 6674acb54baSEdgar E. Iglesias case 0: 6684acb54baSEdgar E. Iglesias LOG_DIS("mul r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 669cfeea807SEdgar E. Iglesias tcg_gen_mul_i32(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 6704acb54baSEdgar E. Iglesias break; 6714acb54baSEdgar E. Iglesias case 1: 6724acb54baSEdgar E. Iglesias LOG_DIS("mulh r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 673cfeea807SEdgar E. Iglesias tcg_gen_muls2_i32(tmp, cpu_R[dc->rd], 674cfeea807SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 6754acb54baSEdgar E. Iglesias break; 6764acb54baSEdgar E. Iglesias case 2: 6774acb54baSEdgar E. Iglesias LOG_DIS("mulhsu r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 678cfeea807SEdgar E. Iglesias tcg_gen_mulsu2_i32(tmp, cpu_R[dc->rd], 679cfeea807SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 6804acb54baSEdgar E. Iglesias break; 6814acb54baSEdgar E. Iglesias case 3: 6824acb54baSEdgar E. Iglesias LOG_DIS("mulhu r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 683cfeea807SEdgar E. Iglesias tcg_gen_mulu2_i32(tmp, cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 6844acb54baSEdgar E. Iglesias break; 6854acb54baSEdgar E. Iglesias default: 6860063ebd6SAndreas Färber cpu_abort(CPU(dc->cpu), "unknown MUL insn %x\n", subcode); 6874acb54baSEdgar E. Iglesias break; 6884acb54baSEdgar E. Iglesias } 689cfeea807SEdgar E. Iglesias tcg_temp_free_i32(tmp); 6904acb54baSEdgar E. Iglesias } 6914acb54baSEdgar E. Iglesias 6924acb54baSEdgar E. Iglesias /* Div unit. */ 6934acb54baSEdgar E. Iglesias static void dec_div(DisasContext *dc) 6944acb54baSEdgar E. Iglesias { 6954acb54baSEdgar E. Iglesias unsigned int u; 6964acb54baSEdgar E. Iglesias 6974acb54baSEdgar E. Iglesias u = dc->imm & 2; 6984acb54baSEdgar E. Iglesias LOG_DIS("div\n"); 6994acb54baSEdgar E. Iglesias 7009ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, !dc->cpu->cfg.use_div)) { 7019ba8cd45SEdgar E. Iglesias return; 7021567a005SEdgar E. Iglesias } 7031567a005SEdgar E. Iglesias 7044acb54baSEdgar E. Iglesias if (u) 70564254ebaSBlue Swirl gen_helper_divu(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)), 70664254ebaSBlue Swirl cpu_R[dc->ra]); 7074acb54baSEdgar E. Iglesias else 70864254ebaSBlue Swirl gen_helper_divs(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)), 70964254ebaSBlue Swirl cpu_R[dc->ra]); 7104acb54baSEdgar E. Iglesias if (!dc->rd) 711cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(cpu_R[dc->rd], 0); 7124acb54baSEdgar E. Iglesias } 7134acb54baSEdgar E. Iglesias 7144acb54baSEdgar E. Iglesias static void dec_barrel(DisasContext *dc) 7154acb54baSEdgar E. Iglesias { 716cfeea807SEdgar E. Iglesias TCGv_i32 t0; 717faa48d74SEdgar E. Iglesias unsigned int imm_w, imm_s; 718d09b2585SEdgar E. Iglesias bool s, t, e = false, i = false; 7194acb54baSEdgar E. Iglesias 7209ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, !dc->cpu->cfg.use_barrel)) { 7211567a005SEdgar E. Iglesias return; 7221567a005SEdgar E. Iglesias } 7231567a005SEdgar E. Iglesias 724faa48d74SEdgar E. Iglesias if (dc->type_b) { 725faa48d74SEdgar E. Iglesias /* Insert and extract are only available in immediate mode. */ 726d09b2585SEdgar E. Iglesias i = extract32(dc->imm, 15, 1); 727faa48d74SEdgar E. Iglesias e = extract32(dc->imm, 14, 1); 728faa48d74SEdgar E. Iglesias } 729e3e84983SEdgar E. Iglesias s = extract32(dc->imm, 10, 1); 730e3e84983SEdgar E. Iglesias t = extract32(dc->imm, 9, 1); 731faa48d74SEdgar E. Iglesias imm_w = extract32(dc->imm, 6, 5); 732faa48d74SEdgar E. Iglesias imm_s = extract32(dc->imm, 0, 5); 7334acb54baSEdgar E. Iglesias 734faa48d74SEdgar E. Iglesias LOG_DIS("bs%s%s%s r%d r%d r%d\n", 735faa48d74SEdgar E. Iglesias e ? "e" : "", 7364acb54baSEdgar E. Iglesias s ? "l" : "r", t ? "a" : "l", dc->rd, dc->ra, dc->rb); 7374acb54baSEdgar E. Iglesias 738faa48d74SEdgar E. Iglesias if (e) { 739faa48d74SEdgar E. Iglesias if (imm_w + imm_s > 32 || imm_w == 0) { 740faa48d74SEdgar E. Iglesias /* These inputs have an undefined behavior. */ 741faa48d74SEdgar E. Iglesias qemu_log_mask(LOG_GUEST_ERROR, "bsefi: Bad input w=%d s=%d\n", 742faa48d74SEdgar E. Iglesias imm_w, imm_s); 743faa48d74SEdgar E. Iglesias } else { 744faa48d74SEdgar E. Iglesias tcg_gen_extract_i32(cpu_R[dc->rd], cpu_R[dc->ra], imm_s, imm_w); 745faa48d74SEdgar E. Iglesias } 746d09b2585SEdgar E. Iglesias } else if (i) { 747d09b2585SEdgar E. Iglesias int width = imm_w - imm_s + 1; 748d09b2585SEdgar E. Iglesias 749d09b2585SEdgar E. Iglesias if (imm_w < imm_s) { 750d09b2585SEdgar E. Iglesias /* These inputs have an undefined behavior. */ 751d09b2585SEdgar E. Iglesias qemu_log_mask(LOG_GUEST_ERROR, "bsifi: Bad input w=%d s=%d\n", 752d09b2585SEdgar E. Iglesias imm_w, imm_s); 753d09b2585SEdgar E. Iglesias } else { 754d09b2585SEdgar E. Iglesias tcg_gen_deposit_i32(cpu_R[dc->rd], cpu_R[dc->rd], cpu_R[dc->ra], 755d09b2585SEdgar E. Iglesias imm_s, width); 756d09b2585SEdgar E. Iglesias } 757faa48d74SEdgar E. Iglesias } else { 758cfeea807SEdgar E. Iglesias t0 = tcg_temp_new_i32(); 7594acb54baSEdgar E. Iglesias 760cfeea807SEdgar E. Iglesias tcg_gen_mov_i32(t0, *(dec_alu_op_b(dc))); 761cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t0, t0, 31); 7624acb54baSEdgar E. Iglesias 7632acf6d53SEdgar E. Iglesias if (s) { 764cfeea807SEdgar E. Iglesias tcg_gen_shl_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0); 7652acf6d53SEdgar E. Iglesias } else { 7662acf6d53SEdgar E. Iglesias if (t) { 767cfeea807SEdgar E. Iglesias tcg_gen_sar_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0); 7682acf6d53SEdgar E. Iglesias } else { 769cfeea807SEdgar E. Iglesias tcg_gen_shr_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0); 7704acb54baSEdgar E. Iglesias } 7714acb54baSEdgar E. Iglesias } 772cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t0); 7732acf6d53SEdgar E. Iglesias } 774faa48d74SEdgar E. Iglesias } 7754acb54baSEdgar E. Iglesias 7764acb54baSEdgar E. Iglesias static void dec_bit(DisasContext *dc) 7774acb54baSEdgar E. Iglesias { 7780063ebd6SAndreas Färber CPUState *cs = CPU(dc->cpu); 779cfeea807SEdgar E. Iglesias TCGv_i32 t0; 7804acb54baSEdgar E. Iglesias unsigned int op; 7814acb54baSEdgar E. Iglesias 782ace2e4daSPeter A. G. Crosthwaite op = dc->ir & ((1 << 9) - 1); 7834acb54baSEdgar E. Iglesias switch (op) { 7844acb54baSEdgar E. Iglesias case 0x21: 7854acb54baSEdgar E. Iglesias /* src. */ 786cfeea807SEdgar E. Iglesias t0 = tcg_temp_new_i32(); 7874acb54baSEdgar E. Iglesias 7884acb54baSEdgar E. Iglesias LOG_DIS("src r%d r%d\n", dc->rd, dc->ra); 7893e0e16aeSRichard Henderson tcg_gen_andi_i32(t0, cpu_msr, MSR_CC); 79009b9f113SEdgar E. Iglesias write_carry(dc, cpu_R[dc->ra]); 7914acb54baSEdgar E. Iglesias if (dc->rd) { 792cfeea807SEdgar E. Iglesias tcg_gen_shri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1); 793cfeea807SEdgar E. Iglesias tcg_gen_or_i32(cpu_R[dc->rd], cpu_R[dc->rd], t0); 7944acb54baSEdgar E. Iglesias } 795cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t0); 7964acb54baSEdgar E. Iglesias break; 7974acb54baSEdgar E. Iglesias 7984acb54baSEdgar E. Iglesias case 0x1: 7994acb54baSEdgar E. Iglesias case 0x41: 8004acb54baSEdgar E. Iglesias /* srl. */ 8014acb54baSEdgar E. Iglesias LOG_DIS("srl r%d r%d\n", dc->rd, dc->ra); 8024acb54baSEdgar E. Iglesias 803bb3cb951SEdgar E. Iglesias /* Update carry. Note that write carry only looks at the LSB. */ 804bb3cb951SEdgar E. Iglesias write_carry(dc, cpu_R[dc->ra]); 8054acb54baSEdgar E. Iglesias if (dc->rd) { 8064acb54baSEdgar E. Iglesias if (op == 0x41) 807cfeea807SEdgar E. Iglesias tcg_gen_shri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1); 8084acb54baSEdgar E. Iglesias else 809cfeea807SEdgar E. Iglesias tcg_gen_sari_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1); 8104acb54baSEdgar E. Iglesias } 8114acb54baSEdgar E. Iglesias break; 8124acb54baSEdgar E. Iglesias case 0x60: 8134acb54baSEdgar E. Iglesias LOG_DIS("ext8s r%d r%d\n", dc->rd, dc->ra); 8144acb54baSEdgar E. Iglesias tcg_gen_ext8s_i32(cpu_R[dc->rd], cpu_R[dc->ra]); 8154acb54baSEdgar E. Iglesias break; 8164acb54baSEdgar E. Iglesias case 0x61: 8174acb54baSEdgar E. Iglesias LOG_DIS("ext16s r%d r%d\n", dc->rd, dc->ra); 8184acb54baSEdgar E. Iglesias tcg_gen_ext16s_i32(cpu_R[dc->rd], cpu_R[dc->ra]); 8194acb54baSEdgar E. Iglesias break; 8204acb54baSEdgar E. Iglesias case 0x64: 821f062a3c7SEdgar E. Iglesias case 0x66: 822f062a3c7SEdgar E. Iglesias case 0x74: 823f062a3c7SEdgar E. Iglesias case 0x76: 8244acb54baSEdgar E. Iglesias /* wdc. */ 8254acb54baSEdgar E. Iglesias LOG_DIS("wdc r%d\n", dc->ra); 826bdfc1e88SEdgar E. Iglesias trap_userspace(dc, true); 8274acb54baSEdgar E. Iglesias break; 8284acb54baSEdgar E. Iglesias case 0x68: 8294acb54baSEdgar E. Iglesias /* wic. */ 8304acb54baSEdgar E. Iglesias LOG_DIS("wic r%d\n", dc->ra); 831bdfc1e88SEdgar E. Iglesias trap_userspace(dc, true); 8324acb54baSEdgar E. Iglesias break; 83348b5e96fSEdgar E. Iglesias case 0xe0: 8349ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, !dc->cpu->cfg.use_pcmp_instr)) { 8359ba8cd45SEdgar E. Iglesias return; 83648b5e96fSEdgar E. Iglesias } 8378fc5239eSEdgar E. Iglesias if (dc->cpu->cfg.use_pcmp_instr) { 8385318420cSRichard Henderson tcg_gen_clzi_i32(cpu_R[dc->rd], cpu_R[dc->ra], 32); 83948b5e96fSEdgar E. Iglesias } 84048b5e96fSEdgar E. Iglesias break; 841ace2e4daSPeter A. G. Crosthwaite case 0x1e0: 842ace2e4daSPeter A. G. Crosthwaite /* swapb */ 843ace2e4daSPeter A. G. Crosthwaite LOG_DIS("swapb r%d r%d\n", dc->rd, dc->ra); 844ace2e4daSPeter A. G. Crosthwaite tcg_gen_bswap32_i32(cpu_R[dc->rd], cpu_R[dc->ra]); 845ace2e4daSPeter A. G. Crosthwaite break; 846b8c6a5d9SPeter Crosthwaite case 0x1e2: 847ace2e4daSPeter A. G. Crosthwaite /*swaph */ 848ace2e4daSPeter A. G. Crosthwaite LOG_DIS("swaph r%d r%d\n", dc->rd, dc->ra); 849ace2e4daSPeter A. G. Crosthwaite tcg_gen_rotri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 16); 850ace2e4daSPeter A. G. Crosthwaite break; 8514acb54baSEdgar E. Iglesias default: 852a47dddd7SAndreas Färber cpu_abort(cs, "unknown bit oc=%x op=%x rd=%d ra=%d rb=%d\n", 8534acb54baSEdgar E. Iglesias dc->pc, op, dc->rd, dc->ra, dc->rb); 8544acb54baSEdgar E. Iglesias break; 8554acb54baSEdgar E. Iglesias } 8564acb54baSEdgar E. Iglesias } 8574acb54baSEdgar E. Iglesias 8584acb54baSEdgar E. Iglesias static inline void sync_jmpstate(DisasContext *dc) 8594acb54baSEdgar E. Iglesias { 860844bab60SEdgar E. Iglesias if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) { 8614acb54baSEdgar E. Iglesias if (dc->jmp == JMP_DIRECT) { 862cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(env_btaken, 1); 863844bab60SEdgar E. Iglesias } 8644acb54baSEdgar E. Iglesias dc->jmp = JMP_INDIRECT; 8650f96e96bSRichard Henderson tcg_gen_movi_i32(cpu_btarget, dc->jmp_pc); 8664acb54baSEdgar E. Iglesias } 8674acb54baSEdgar E. Iglesias } 8684acb54baSEdgar E. Iglesias 8694acb54baSEdgar E. Iglesias static void dec_imm(DisasContext *dc) 8704acb54baSEdgar E. Iglesias { 8714acb54baSEdgar E. Iglesias LOG_DIS("imm %x\n", dc->imm << 16); 872cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(env_imm, (dc->imm << 16)); 8734acb54baSEdgar E. Iglesias dc->tb_flags |= IMM_FLAG; 8744acb54baSEdgar E. Iglesias dc->clear_imm = 0; 8754acb54baSEdgar E. Iglesias } 8764acb54baSEdgar E. Iglesias 877d248e1beSEdgar E. Iglesias static inline void compute_ldst_addr(DisasContext *dc, bool ea, TCGv t) 8784acb54baSEdgar E. Iglesias { 8790e9033c8SEdgar E. Iglesias bool extimm = dc->tb_flags & IMM_FLAG; 8800e9033c8SEdgar E. Iglesias /* Should be set to true if r1 is used by loadstores. */ 8810e9033c8SEdgar E. Iglesias bool stackprot = false; 882403322eaSEdgar E. Iglesias TCGv_i32 t32; 8835818dee5SEdgar E. Iglesias 8845818dee5SEdgar E. Iglesias /* All load/stores use ra. */ 8859aaaa181SAlistair Francis if (dc->ra == 1 && dc->cpu->cfg.stackprot) { 8860e9033c8SEdgar E. Iglesias stackprot = true; 8875818dee5SEdgar E. Iglesias } 8884acb54baSEdgar E. Iglesias 8899ef55357SEdgar E. Iglesias /* Treat the common cases first. */ 8904acb54baSEdgar E. Iglesias if (!dc->type_b) { 891d248e1beSEdgar E. Iglesias if (ea) { 892d248e1beSEdgar E. Iglesias int addr_size = dc->cpu->cfg.addr_size; 893d248e1beSEdgar E. Iglesias 894d248e1beSEdgar E. Iglesias if (addr_size == 32) { 895d248e1beSEdgar E. Iglesias tcg_gen_extu_i32_tl(t, cpu_R[dc->rb]); 896d248e1beSEdgar E. Iglesias return; 897d248e1beSEdgar E. Iglesias } 898d248e1beSEdgar E. Iglesias 899d248e1beSEdgar E. Iglesias tcg_gen_concat_i32_i64(t, cpu_R[dc->rb], cpu_R[dc->ra]); 900d248e1beSEdgar E. Iglesias if (addr_size < 64) { 901d248e1beSEdgar E. Iglesias /* Mask off out of range bits. */ 902d248e1beSEdgar E. Iglesias tcg_gen_andi_i64(t, t, MAKE_64BIT_MASK(0, addr_size)); 903d248e1beSEdgar E. Iglesias } 904d248e1beSEdgar E. Iglesias return; 905d248e1beSEdgar E. Iglesias } 906d248e1beSEdgar E. Iglesias 9070dc4af5cSEdgar E. Iglesias /* If any of the regs is r0, set t to the value of the other reg. */ 9084b5ef0b5SEdgar E. Iglesias if (dc->ra == 0) { 909403322eaSEdgar E. Iglesias tcg_gen_extu_i32_tl(t, cpu_R[dc->rb]); 9100dc4af5cSEdgar E. Iglesias return; 9114b5ef0b5SEdgar E. Iglesias } else if (dc->rb == 0) { 912403322eaSEdgar E. Iglesias tcg_gen_extu_i32_tl(t, cpu_R[dc->ra]); 9130dc4af5cSEdgar E. Iglesias return; 9144b5ef0b5SEdgar E. Iglesias } 9154b5ef0b5SEdgar E. Iglesias 9169aaaa181SAlistair Francis if (dc->rb == 1 && dc->cpu->cfg.stackprot) { 9170e9033c8SEdgar E. Iglesias stackprot = true; 9185818dee5SEdgar E. Iglesias } 9195818dee5SEdgar E. Iglesias 920403322eaSEdgar E. Iglesias t32 = tcg_temp_new_i32(); 921403322eaSEdgar E. Iglesias tcg_gen_add_i32(t32, cpu_R[dc->ra], cpu_R[dc->rb]); 922403322eaSEdgar E. Iglesias tcg_gen_extu_i32_tl(t, t32); 923403322eaSEdgar E. Iglesias tcg_temp_free_i32(t32); 9245818dee5SEdgar E. Iglesias 9255818dee5SEdgar E. Iglesias if (stackprot) { 9260a87e691SEdgar E. Iglesias gen_helper_stackprot(cpu_env, t); 9275818dee5SEdgar E. Iglesias } 9280dc4af5cSEdgar E. Iglesias return; 9294acb54baSEdgar E. Iglesias } 9304acb54baSEdgar E. Iglesias /* Immediate. */ 931403322eaSEdgar E. Iglesias t32 = tcg_temp_new_i32(); 9324acb54baSEdgar E. Iglesias if (!extimm) { 933f7a66e3aSEdgar E. Iglesias tcg_gen_addi_i32(t32, cpu_R[dc->ra], (int16_t)dc->imm); 934403322eaSEdgar E. Iglesias } else { 935403322eaSEdgar E. Iglesias tcg_gen_add_i32(t32, cpu_R[dc->ra], *(dec_alu_op_b(dc))); 936403322eaSEdgar E. Iglesias } 937403322eaSEdgar E. Iglesias tcg_gen_extu_i32_tl(t, t32); 938403322eaSEdgar E. Iglesias tcg_temp_free_i32(t32); 9394acb54baSEdgar E. Iglesias 9405818dee5SEdgar E. Iglesias if (stackprot) { 9410a87e691SEdgar E. Iglesias gen_helper_stackprot(cpu_env, t); 9425818dee5SEdgar E. Iglesias } 9430dc4af5cSEdgar E. Iglesias return; 9444acb54baSEdgar E. Iglesias } 9454acb54baSEdgar E. Iglesias 9464acb54baSEdgar E. Iglesias static void dec_load(DisasContext *dc) 9474acb54baSEdgar E. Iglesias { 948403322eaSEdgar E. Iglesias TCGv_i32 v; 949403322eaSEdgar E. Iglesias TCGv addr; 9508534063aSEdgar E. Iglesias unsigned int size; 951d248e1beSEdgar E. Iglesias bool rev = false, ex = false, ea = false; 952d248e1beSEdgar E. Iglesias int mem_index = cpu_mmu_index(&dc->cpu->env, false); 95314776ab5STony Nguyen MemOp mop; 9544acb54baSEdgar E. Iglesias 95547acdd63SRichard Henderson mop = dc->opcode & 3; 95647acdd63SRichard Henderson size = 1 << mop; 9579f8beb66SEdgar E. Iglesias if (!dc->type_b) { 958d248e1beSEdgar E. Iglesias ea = extract32(dc->ir, 7, 1); 9598534063aSEdgar E. Iglesias rev = extract32(dc->ir, 9, 1); 9608534063aSEdgar E. Iglesias ex = extract32(dc->ir, 10, 1); 9619f8beb66SEdgar E. Iglesias } 96247acdd63SRichard Henderson mop |= MO_TE; 96347acdd63SRichard Henderson if (rev) { 96447acdd63SRichard Henderson mop ^= MO_BSWAP; 96547acdd63SRichard Henderson } 9669f8beb66SEdgar E. Iglesias 9679ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, size > 4)) { 9680187688fSEdgar E. Iglesias return; 9690187688fSEdgar E. Iglesias } 9704acb54baSEdgar E. Iglesias 971d248e1beSEdgar E. Iglesias if (trap_userspace(dc, ea)) { 972d248e1beSEdgar E. Iglesias return; 973d248e1beSEdgar E. Iglesias } 974d248e1beSEdgar E. Iglesias 975d248e1beSEdgar E. Iglesias LOG_DIS("l%d%s%s%s%s\n", size, dc->type_b ? "i" : "", rev ? "r" : "", 976d248e1beSEdgar E. Iglesias ex ? "x" : "", 977d248e1beSEdgar E. Iglesias ea ? "ea" : ""); 9789f8beb66SEdgar E. Iglesias 9794acb54baSEdgar E. Iglesias t_sync_flags(dc); 980403322eaSEdgar E. Iglesias addr = tcg_temp_new(); 981d248e1beSEdgar E. Iglesias compute_ldst_addr(dc, ea, addr); 982d248e1beSEdgar E. Iglesias /* Extended addressing bypasses the MMU. */ 983d248e1beSEdgar E. Iglesias mem_index = ea ? MMU_NOMMU_IDX : mem_index; 9844acb54baSEdgar E. Iglesias 9859f8beb66SEdgar E. Iglesias /* 9869f8beb66SEdgar E. Iglesias * When doing reverse accesses we need to do two things. 9879f8beb66SEdgar E. Iglesias * 9884ff9786cSStefan Weil * 1. Reverse the address wrt endianness. 9899f8beb66SEdgar E. Iglesias * 2. Byteswap the data lanes on the way back into the CPU core. 9909f8beb66SEdgar E. Iglesias */ 9919f8beb66SEdgar E. Iglesias if (rev && size != 4) { 9929f8beb66SEdgar E. Iglesias /* Endian reverse the address. t is addr. */ 9939f8beb66SEdgar E. Iglesias switch (size) { 9949f8beb66SEdgar E. Iglesias case 1: 9959f8beb66SEdgar E. Iglesias { 996a6338015SEdgar E. Iglesias tcg_gen_xori_tl(addr, addr, 3); 9979f8beb66SEdgar E. Iglesias break; 9989f8beb66SEdgar E. Iglesias } 9999f8beb66SEdgar E. Iglesias 10009f8beb66SEdgar E. Iglesias case 2: 10019f8beb66SEdgar E. Iglesias /* 00 -> 10 10029f8beb66SEdgar E. Iglesias 10 -> 00. */ 1003403322eaSEdgar E. Iglesias tcg_gen_xori_tl(addr, addr, 2); 10049f8beb66SEdgar E. Iglesias break; 10059f8beb66SEdgar E. Iglesias default: 10060063ebd6SAndreas Färber cpu_abort(CPU(dc->cpu), "Invalid reverse size\n"); 10079f8beb66SEdgar E. Iglesias break; 10089f8beb66SEdgar E. Iglesias } 10099f8beb66SEdgar E. Iglesias } 10109f8beb66SEdgar E. Iglesias 10118cc9b43fSPeter A. G. Crosthwaite /* lwx does not throw unaligned access errors, so force alignment */ 10128cc9b43fSPeter A. G. Crosthwaite if (ex) { 1013403322eaSEdgar E. Iglesias tcg_gen_andi_tl(addr, addr, ~3); 10148cc9b43fSPeter A. G. Crosthwaite } 10158cc9b43fSPeter A. G. Crosthwaite 10164acb54baSEdgar E. Iglesias /* If we get a fault on a dslot, the jmpstate better be in sync. */ 10174acb54baSEdgar E. Iglesias sync_jmpstate(dc); 1018968a40f6SEdgar E. Iglesias 1019968a40f6SEdgar E. Iglesias /* Verify alignment if needed. */ 1020a12f6507SEdgar E. Iglesias /* 1021a12f6507SEdgar E. Iglesias * Microblaze gives MMU faults priority over faults due to 1022a12f6507SEdgar E. Iglesias * unaligned addresses. That's why we speculatively do the load 1023a12f6507SEdgar E. Iglesias * into v. If the load succeeds, we verify alignment of the 1024a12f6507SEdgar E. Iglesias * address and if that succeeds we write into the destination reg. 1025a12f6507SEdgar E. Iglesias */ 1026cfeea807SEdgar E. Iglesias v = tcg_temp_new_i32(); 1027d248e1beSEdgar E. Iglesias tcg_gen_qemu_ld_i32(v, addr, mem_index, mop); 1028a12f6507SEdgar E. Iglesias 10291507e5f6SEdgar E. Iglesias if (dc->cpu->cfg.unaligned_exceptions && size > 1) { 1030a6338015SEdgar E. Iglesias TCGv_i32 t0 = tcg_const_i32(0); 1031a6338015SEdgar E. Iglesias TCGv_i32 treg = tcg_const_i32(dc->rd); 1032a6338015SEdgar E. Iglesias TCGv_i32 tsize = tcg_const_i32(size - 1); 1033a6338015SEdgar E. Iglesias 10340f96e96bSRichard Henderson tcg_gen_movi_i32(cpu_pc, dc->pc); 1035a6338015SEdgar E. Iglesias gen_helper_memalign(cpu_env, addr, treg, t0, tsize); 1036a6338015SEdgar E. Iglesias 1037a6338015SEdgar E. Iglesias tcg_temp_free_i32(t0); 1038a6338015SEdgar E. Iglesias tcg_temp_free_i32(treg); 1039a6338015SEdgar E. Iglesias tcg_temp_free_i32(tsize); 104047acdd63SRichard Henderson } 104147acdd63SRichard Henderson 104247acdd63SRichard Henderson if (ex) { 1043403322eaSEdgar E. Iglesias tcg_gen_mov_tl(env_res_addr, addr); 1044cfeea807SEdgar E. Iglesias tcg_gen_mov_i32(env_res_val, v); 104547acdd63SRichard Henderson } 10469f8beb66SEdgar E. Iglesias if (dc->rd) { 1047cfeea807SEdgar E. Iglesias tcg_gen_mov_i32(cpu_R[dc->rd], v); 10489f8beb66SEdgar E. Iglesias } 1049cfeea807SEdgar E. Iglesias tcg_temp_free_i32(v); 10504acb54baSEdgar E. Iglesias 10518cc9b43fSPeter A. G. Crosthwaite if (ex) { /* lwx */ 1052b6af0975SDaniel P. Berrange /* no support for AXI exclusive so always clear C */ 10538cc9b43fSPeter A. G. Crosthwaite write_carryi(dc, 0); 10548cc9b43fSPeter A. G. Crosthwaite } 10558cc9b43fSPeter A. G. Crosthwaite 1056403322eaSEdgar E. Iglesias tcg_temp_free(addr); 10574acb54baSEdgar E. Iglesias } 10584acb54baSEdgar E. Iglesias 10594acb54baSEdgar E. Iglesias static void dec_store(DisasContext *dc) 10604acb54baSEdgar E. Iglesias { 1061403322eaSEdgar E. Iglesias TCGv addr; 106242a268c2SRichard Henderson TCGLabel *swx_skip = NULL; 1063b51b3d43SEdgar E. Iglesias unsigned int size; 1064d248e1beSEdgar E. Iglesias bool rev = false, ex = false, ea = false; 1065d248e1beSEdgar E. Iglesias int mem_index = cpu_mmu_index(&dc->cpu->env, false); 106614776ab5STony Nguyen MemOp mop; 10674acb54baSEdgar E. Iglesias 106847acdd63SRichard Henderson mop = dc->opcode & 3; 106947acdd63SRichard Henderson size = 1 << mop; 10709f8beb66SEdgar E. Iglesias if (!dc->type_b) { 1071d248e1beSEdgar E. Iglesias ea = extract32(dc->ir, 7, 1); 1072b51b3d43SEdgar E. Iglesias rev = extract32(dc->ir, 9, 1); 1073b51b3d43SEdgar E. Iglesias ex = extract32(dc->ir, 10, 1); 10749f8beb66SEdgar E. Iglesias } 107547acdd63SRichard Henderson mop |= MO_TE; 107647acdd63SRichard Henderson if (rev) { 107747acdd63SRichard Henderson mop ^= MO_BSWAP; 107847acdd63SRichard Henderson } 10794acb54baSEdgar E. Iglesias 10809ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, size > 4)) { 10810187688fSEdgar E. Iglesias return; 10820187688fSEdgar E. Iglesias } 10830187688fSEdgar E. Iglesias 1084d248e1beSEdgar E. Iglesias trap_userspace(dc, ea); 1085d248e1beSEdgar E. Iglesias 1086d248e1beSEdgar E. Iglesias LOG_DIS("s%d%s%s%s%s\n", size, dc->type_b ? "i" : "", rev ? "r" : "", 1087d248e1beSEdgar E. Iglesias ex ? "x" : "", 1088d248e1beSEdgar E. Iglesias ea ? "ea" : ""); 10894acb54baSEdgar E. Iglesias t_sync_flags(dc); 10904acb54baSEdgar E. Iglesias /* If we get a fault on a dslot, the jmpstate better be in sync. */ 10914acb54baSEdgar E. Iglesias sync_jmpstate(dc); 10920dc4af5cSEdgar E. Iglesias /* SWX needs a temp_local. */ 1093403322eaSEdgar E. Iglesias addr = ex ? tcg_temp_local_new() : tcg_temp_new(); 1094d248e1beSEdgar E. Iglesias compute_ldst_addr(dc, ea, addr); 1095d248e1beSEdgar E. Iglesias /* Extended addressing bypasses the MMU. */ 1096d248e1beSEdgar E. Iglesias mem_index = ea ? MMU_NOMMU_IDX : mem_index; 1097968a40f6SEdgar E. Iglesias 1098083dbf48SPeter A. G. Crosthwaite if (ex) { /* swx */ 1099cfeea807SEdgar E. Iglesias TCGv_i32 tval; 11008cc9b43fSPeter A. G. Crosthwaite 11018cc9b43fSPeter A. G. Crosthwaite /* swx does not throw unaligned access errors, so force alignment */ 1102403322eaSEdgar E. Iglesias tcg_gen_andi_tl(addr, addr, ~3); 11038cc9b43fSPeter A. G. Crosthwaite 11048cc9b43fSPeter A. G. Crosthwaite write_carryi(dc, 1); 11058cc9b43fSPeter A. G. Crosthwaite swx_skip = gen_new_label(); 1106403322eaSEdgar E. Iglesias tcg_gen_brcond_tl(TCG_COND_NE, env_res_addr, addr, swx_skip); 110711a76217SEdgar E. Iglesias 1108071cdc67SEdgar E. Iglesias /* 1109071cdc67SEdgar E. Iglesias * Compare the value loaded at lwx with current contents of 1110071cdc67SEdgar E. Iglesias * the reserved location. 1111071cdc67SEdgar E. Iglesias */ 1112cfeea807SEdgar E. Iglesias tval = tcg_temp_new_i32(); 1113071cdc67SEdgar E. Iglesias 1114071cdc67SEdgar E. Iglesias tcg_gen_atomic_cmpxchg_i32(tval, addr, env_res_val, 1115071cdc67SEdgar E. Iglesias cpu_R[dc->rd], mem_index, 1116071cdc67SEdgar E. Iglesias mop); 1117071cdc67SEdgar E. Iglesias 1118cfeea807SEdgar E. Iglesias tcg_gen_brcond_i32(TCG_COND_NE, env_res_val, tval, swx_skip); 11198cc9b43fSPeter A. G. Crosthwaite write_carryi(dc, 0); 1120cfeea807SEdgar E. Iglesias tcg_temp_free_i32(tval); 11218cc9b43fSPeter A. G. Crosthwaite } 11228cc9b43fSPeter A. G. Crosthwaite 11239f8beb66SEdgar E. Iglesias if (rev && size != 4) { 11249f8beb66SEdgar E. Iglesias /* Endian reverse the address. t is addr. */ 11259f8beb66SEdgar E. Iglesias switch (size) { 11269f8beb66SEdgar E. Iglesias case 1: 11279f8beb66SEdgar E. Iglesias { 1128a6338015SEdgar E. Iglesias tcg_gen_xori_tl(addr, addr, 3); 11299f8beb66SEdgar E. Iglesias break; 11309f8beb66SEdgar E. Iglesias } 11319f8beb66SEdgar E. Iglesias 11329f8beb66SEdgar E. Iglesias case 2: 11339f8beb66SEdgar E. Iglesias /* 00 -> 10 11349f8beb66SEdgar E. Iglesias 10 -> 00. */ 11359f8beb66SEdgar E. Iglesias /* Force addr into the temp. */ 1136403322eaSEdgar E. Iglesias tcg_gen_xori_tl(addr, addr, 2); 11379f8beb66SEdgar E. Iglesias break; 11389f8beb66SEdgar E. Iglesias default: 11390063ebd6SAndreas Färber cpu_abort(CPU(dc->cpu), "Invalid reverse size\n"); 11409f8beb66SEdgar E. Iglesias break; 11419f8beb66SEdgar E. Iglesias } 11429f8beb66SEdgar E. Iglesias } 1143071cdc67SEdgar E. Iglesias 1144071cdc67SEdgar E. Iglesias if (!ex) { 1145d248e1beSEdgar E. Iglesias tcg_gen_qemu_st_i32(cpu_R[dc->rd], addr, mem_index, mop); 1146071cdc67SEdgar E. Iglesias } 1147a12f6507SEdgar E. Iglesias 1148968a40f6SEdgar E. Iglesias /* Verify alignment if needed. */ 11491507e5f6SEdgar E. Iglesias if (dc->cpu->cfg.unaligned_exceptions && size > 1) { 1150a6338015SEdgar E. Iglesias TCGv_i32 t1 = tcg_const_i32(1); 1151a6338015SEdgar E. Iglesias TCGv_i32 treg = tcg_const_i32(dc->rd); 1152a6338015SEdgar E. Iglesias TCGv_i32 tsize = tcg_const_i32(size - 1); 1153a6338015SEdgar E. Iglesias 11540f96e96bSRichard Henderson tcg_gen_movi_i32(cpu_pc, dc->pc); 1155a12f6507SEdgar E. Iglesias /* FIXME: if the alignment is wrong, we should restore the value 11564abf79a4SDong Xu Wang * in memory. One possible way to achieve this is to probe 11579f8beb66SEdgar E. Iglesias * the MMU prior to the memaccess, thay way we could put 11589f8beb66SEdgar E. Iglesias * the alignment checks in between the probe and the mem 11599f8beb66SEdgar E. Iglesias * access. 1160a12f6507SEdgar E. Iglesias */ 1161a6338015SEdgar E. Iglesias gen_helper_memalign(cpu_env, addr, treg, t1, tsize); 1162a6338015SEdgar E. Iglesias 1163a6338015SEdgar E. Iglesias tcg_temp_free_i32(t1); 1164a6338015SEdgar E. Iglesias tcg_temp_free_i32(treg); 1165a6338015SEdgar E. Iglesias tcg_temp_free_i32(tsize); 1166968a40f6SEdgar E. Iglesias } 1167083dbf48SPeter A. G. Crosthwaite 11688cc9b43fSPeter A. G. Crosthwaite if (ex) { 11698cc9b43fSPeter A. G. Crosthwaite gen_set_label(swx_skip); 1170083dbf48SPeter A. G. Crosthwaite } 1171968a40f6SEdgar E. Iglesias 1172403322eaSEdgar E. Iglesias tcg_temp_free(addr); 11734acb54baSEdgar E. Iglesias } 11744acb54baSEdgar E. Iglesias 11754acb54baSEdgar E. Iglesias static inline void eval_cc(DisasContext *dc, unsigned int cc, 11769e6e1828SEdgar E. Iglesias TCGv_i32 d, TCGv_i32 a) 11774acb54baSEdgar E. Iglesias { 1178d89b86e9SEdgar E. Iglesias static const int mb_to_tcg_cc[] = { 1179d89b86e9SEdgar E. Iglesias [CC_EQ] = TCG_COND_EQ, 1180d89b86e9SEdgar E. Iglesias [CC_NE] = TCG_COND_NE, 1181d89b86e9SEdgar E. Iglesias [CC_LT] = TCG_COND_LT, 1182d89b86e9SEdgar E. Iglesias [CC_LE] = TCG_COND_LE, 1183d89b86e9SEdgar E. Iglesias [CC_GE] = TCG_COND_GE, 1184d89b86e9SEdgar E. Iglesias [CC_GT] = TCG_COND_GT, 1185d89b86e9SEdgar E. Iglesias }; 1186d89b86e9SEdgar E. Iglesias 11874acb54baSEdgar E. Iglesias switch (cc) { 11884acb54baSEdgar E. Iglesias case CC_EQ: 11894acb54baSEdgar E. Iglesias case CC_NE: 11904acb54baSEdgar E. Iglesias case CC_LT: 11914acb54baSEdgar E. Iglesias case CC_LE: 11924acb54baSEdgar E. Iglesias case CC_GE: 11934acb54baSEdgar E. Iglesias case CC_GT: 11949e6e1828SEdgar E. Iglesias tcg_gen_setcondi_i32(mb_to_tcg_cc[cc], d, a, 0); 11954acb54baSEdgar E. Iglesias break; 11964acb54baSEdgar E. Iglesias default: 11970063ebd6SAndreas Färber cpu_abort(CPU(dc->cpu), "Unknown condition code %x.\n", cc); 11984acb54baSEdgar E. Iglesias break; 11994acb54baSEdgar E. Iglesias } 12004acb54baSEdgar E. Iglesias } 12014acb54baSEdgar E. Iglesias 12020f96e96bSRichard Henderson static void eval_cond_jmp(DisasContext *dc, TCGv_i32 pc_true, TCGv_i32 pc_false) 12034acb54baSEdgar E. Iglesias { 12040f96e96bSRichard Henderson TCGv_i32 zero = tcg_const_i32(0); 1205e956caf2SEdgar E. Iglesias 12060f96e96bSRichard Henderson tcg_gen_movcond_i32(TCG_COND_NE, cpu_pc, 12070f96e96bSRichard Henderson env_btaken, zero, 1208e956caf2SEdgar E. Iglesias pc_true, pc_false); 1209e956caf2SEdgar E. Iglesias 12100f96e96bSRichard Henderson tcg_temp_free_i32(zero); 12114acb54baSEdgar E. Iglesias } 12124acb54baSEdgar E. Iglesias 1213f91c60f0SEdgar E. Iglesias static void dec_setup_dslot(DisasContext *dc) 1214f91c60f0SEdgar E. Iglesias { 1215f91c60f0SEdgar E. Iglesias TCGv_i32 tmp = tcg_const_i32(dc->type_b && (dc->tb_flags & IMM_FLAG)); 1216f91c60f0SEdgar E. Iglesias 1217f91c60f0SEdgar E. Iglesias dc->delayed_branch = 2; 1218f91c60f0SEdgar E. Iglesias dc->tb_flags |= D_FLAG; 1219f91c60f0SEdgar E. Iglesias 1220f91c60f0SEdgar E. Iglesias tcg_gen_st_i32(tmp, cpu_env, offsetof(CPUMBState, bimm)); 1221f91c60f0SEdgar E. Iglesias tcg_temp_free_i32(tmp); 1222f91c60f0SEdgar E. Iglesias } 1223f91c60f0SEdgar E. Iglesias 12244acb54baSEdgar E. Iglesias static void dec_bcc(DisasContext *dc) 12254acb54baSEdgar E. Iglesias { 12264acb54baSEdgar E. Iglesias unsigned int cc; 12274acb54baSEdgar E. Iglesias unsigned int dslot; 12284acb54baSEdgar E. Iglesias 12294acb54baSEdgar E. Iglesias cc = EXTRACT_FIELD(dc->ir, 21, 23); 12304acb54baSEdgar E. Iglesias dslot = dc->ir & (1 << 25); 12314acb54baSEdgar E. Iglesias LOG_DIS("bcc%s r%d %x\n", dslot ? "d" : "", dc->ra, dc->imm); 12324acb54baSEdgar E. Iglesias 12334acb54baSEdgar E. Iglesias dc->delayed_branch = 1; 12344acb54baSEdgar E. Iglesias if (dslot) { 1235f91c60f0SEdgar E. Iglesias dec_setup_dslot(dc); 12364acb54baSEdgar E. Iglesias } 12374acb54baSEdgar E. Iglesias 123861204ce8SEdgar E. Iglesias if (dec_alu_op_b_is_small_imm(dc)) { 123961204ce8SEdgar E. Iglesias int32_t offset = (int32_t)((int16_t)dc->imm); /* sign-extend. */ 124061204ce8SEdgar E. Iglesias 12410f96e96bSRichard Henderson tcg_gen_movi_i32(cpu_btarget, dc->pc + offset); 1242844bab60SEdgar E. Iglesias dc->jmp = JMP_DIRECT_CC; 124323979dc5SEdgar E. Iglesias dc->jmp_pc = dc->pc + offset; 124461204ce8SEdgar E. Iglesias } else { 124523979dc5SEdgar E. Iglesias dc->jmp = JMP_INDIRECT; 12460f96e96bSRichard Henderson tcg_gen_addi_i32(cpu_btarget, *dec_alu_op_b(dc), dc->pc); 124761204ce8SEdgar E. Iglesias } 12489e6e1828SEdgar E. Iglesias eval_cc(dc, cc, env_btaken, cpu_R[dc->ra]); 12494acb54baSEdgar E. Iglesias } 12504acb54baSEdgar E. Iglesias 12514acb54baSEdgar E. Iglesias static void dec_br(DisasContext *dc) 12524acb54baSEdgar E. Iglesias { 12539f6113c7SEdgar E. Iglesias unsigned int dslot, link, abs, mbar; 12544acb54baSEdgar E. Iglesias 12554acb54baSEdgar E. Iglesias dslot = dc->ir & (1 << 20); 12564acb54baSEdgar E. Iglesias abs = dc->ir & (1 << 19); 12574acb54baSEdgar E. Iglesias link = dc->ir & (1 << 18); 12589f6113c7SEdgar E. Iglesias 12599f6113c7SEdgar E. Iglesias /* Memory barrier. */ 12609f6113c7SEdgar E. Iglesias mbar = (dc->ir >> 16) & 31; 12619f6113c7SEdgar E. Iglesias if (mbar == 2 && dc->imm == 4) { 1262badcbf9dSEdgar E. Iglesias uint16_t mbar_imm = dc->rd; 1263badcbf9dSEdgar E. Iglesias 12646f3c458bSEdgar E. Iglesias LOG_DIS("mbar %d\n", mbar_imm); 12656f3c458bSEdgar E. Iglesias 12663f172744SEdgar E. Iglesias /* Data access memory barrier. */ 12673f172744SEdgar E. Iglesias if ((mbar_imm & 2) == 0) { 12683f172744SEdgar E. Iglesias tcg_gen_mb(TCG_BAR_SC | TCG_MO_ALL); 12693f172744SEdgar E. Iglesias } 12703f172744SEdgar E. Iglesias 12715d45de97SEdgar E. Iglesias /* mbar IMM & 16 decodes to sleep. */ 1272badcbf9dSEdgar E. Iglesias if (mbar_imm & 16) { 127341ba37c4SRichard Henderson TCGv_i32 tmp_1; 12745d45de97SEdgar E. Iglesias 12755d45de97SEdgar E. Iglesias LOG_DIS("sleep\n"); 12765d45de97SEdgar E. Iglesias 1277b4919e7dSEdgar E. Iglesias if (trap_userspace(dc, true)) { 1278b4919e7dSEdgar E. Iglesias /* Sleep is a privileged instruction. */ 1279b4919e7dSEdgar E. Iglesias return; 1280b4919e7dSEdgar E. Iglesias } 1281b4919e7dSEdgar E. Iglesias 12825d45de97SEdgar E. Iglesias t_sync_flags(dc); 128341ba37c4SRichard Henderson 128441ba37c4SRichard Henderson tmp_1 = tcg_const_i32(1); 12855d45de97SEdgar E. Iglesias tcg_gen_st_i32(tmp_1, cpu_env, 12865d45de97SEdgar E. Iglesias -offsetof(MicroBlazeCPU, env) 12875d45de97SEdgar E. Iglesias +offsetof(CPUState, halted)); 12885d45de97SEdgar E. Iglesias tcg_temp_free_i32(tmp_1); 128941ba37c4SRichard Henderson 129041ba37c4SRichard Henderson tcg_gen_movi_i32(cpu_pc, dc->pc + 4); 129141ba37c4SRichard Henderson 129241ba37c4SRichard Henderson gen_raise_exception(dc, EXCP_HLT); 12935d45de97SEdgar E. Iglesias return; 12945d45de97SEdgar E. Iglesias } 12959f6113c7SEdgar E. Iglesias /* Break the TB. */ 12969f6113c7SEdgar E. Iglesias dc->cpustate_changed = 1; 12979f6113c7SEdgar E. Iglesias return; 12989f6113c7SEdgar E. Iglesias } 12999f6113c7SEdgar E. Iglesias 13004acb54baSEdgar E. Iglesias LOG_DIS("br%s%s%s%s imm=%x\n", 13014acb54baSEdgar E. Iglesias abs ? "a" : "", link ? "l" : "", 13024acb54baSEdgar E. Iglesias dc->type_b ? "i" : "", dslot ? "d" : "", 13034acb54baSEdgar E. Iglesias dc->imm); 13044acb54baSEdgar E. Iglesias 13054acb54baSEdgar E. Iglesias dc->delayed_branch = 1; 13064acb54baSEdgar E. Iglesias if (dslot) { 1307f91c60f0SEdgar E. Iglesias dec_setup_dslot(dc); 13084acb54baSEdgar E. Iglesias } 13094acb54baSEdgar E. Iglesias if (link && dc->rd) 1310cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(cpu_R[dc->rd], dc->pc); 13114acb54baSEdgar E. Iglesias 13124acb54baSEdgar E. Iglesias dc->jmp = JMP_INDIRECT; 13134acb54baSEdgar E. Iglesias if (abs) { 1314cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(env_btaken, 1); 13150f96e96bSRichard Henderson tcg_gen_mov_i32(cpu_btarget, *(dec_alu_op_b(dc))); 1316ff21f70aSEdgar E. Iglesias if (link && !dslot) { 131741ba37c4SRichard Henderson if (!(dc->tb_flags & IMM_FLAG) && 131841ba37c4SRichard Henderson (dc->imm == 8 || dc->imm == 0x18)) { 131941ba37c4SRichard Henderson gen_raise_exception_sync(dc, EXCP_BREAK); 132041ba37c4SRichard Henderson } 1321ff21f70aSEdgar E. Iglesias if (dc->imm == 0) { 1322bdfc1e88SEdgar E. Iglesias if (trap_userspace(dc, true)) { 1323ff21f70aSEdgar E. Iglesias return; 1324ff21f70aSEdgar E. Iglesias } 132541ba37c4SRichard Henderson gen_raise_exception_sync(dc, EXCP_DEBUG); 1326ff21f70aSEdgar E. Iglesias } 1327ff21f70aSEdgar E. Iglesias } 13284acb54baSEdgar E. Iglesias } else { 132961204ce8SEdgar E. Iglesias if (dec_alu_op_b_is_small_imm(dc)) { 133061204ce8SEdgar E. Iglesias dc->jmp = JMP_DIRECT; 133161204ce8SEdgar E. Iglesias dc->jmp_pc = dc->pc + (int32_t)((int16_t)dc->imm); 133261204ce8SEdgar E. Iglesias } else { 1333cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(env_btaken, 1); 13340f96e96bSRichard Henderson tcg_gen_addi_i32(cpu_btarget, *dec_alu_op_b(dc), dc->pc); 13354acb54baSEdgar E. Iglesias } 13364acb54baSEdgar E. Iglesias } 13374acb54baSEdgar E. Iglesias } 13384acb54baSEdgar E. Iglesias 13394acb54baSEdgar E. Iglesias static inline void do_rti(DisasContext *dc) 13404acb54baSEdgar E. Iglesias { 1341cfeea807SEdgar E. Iglesias TCGv_i32 t0, t1; 1342cfeea807SEdgar E. Iglesias t0 = tcg_temp_new_i32(); 1343cfeea807SEdgar E. Iglesias t1 = tcg_temp_new_i32(); 13443e0e16aeSRichard Henderson tcg_gen_mov_i32(t1, cpu_msr); 13450a22f8cfSEdgar E. Iglesias tcg_gen_shri_i32(t0, t1, 1); 13460a22f8cfSEdgar E. Iglesias tcg_gen_ori_i32(t1, t1, MSR_IE); 1347cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM)); 13484acb54baSEdgar E. Iglesias 1349cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM)); 1350cfeea807SEdgar E. Iglesias tcg_gen_or_i32(t1, t1, t0); 13514acb54baSEdgar E. Iglesias msr_write(dc, t1); 1352cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t1); 1353cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t0); 13544acb54baSEdgar E. Iglesias dc->tb_flags &= ~DRTI_FLAG; 13554acb54baSEdgar E. Iglesias } 13564acb54baSEdgar E. Iglesias 13574acb54baSEdgar E. Iglesias static inline void do_rtb(DisasContext *dc) 13584acb54baSEdgar E. Iglesias { 1359cfeea807SEdgar E. Iglesias TCGv_i32 t0, t1; 1360cfeea807SEdgar E. Iglesias t0 = tcg_temp_new_i32(); 1361cfeea807SEdgar E. Iglesias t1 = tcg_temp_new_i32(); 13623e0e16aeSRichard Henderson tcg_gen_mov_i32(t1, cpu_msr); 13630a22f8cfSEdgar E. Iglesias tcg_gen_andi_i32(t1, t1, ~MSR_BIP); 1364cfeea807SEdgar E. Iglesias tcg_gen_shri_i32(t0, t1, 1); 1365cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM)); 13664acb54baSEdgar E. Iglesias 1367cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM)); 1368cfeea807SEdgar E. Iglesias tcg_gen_or_i32(t1, t1, t0); 13694acb54baSEdgar E. Iglesias msr_write(dc, t1); 1370cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t1); 1371cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t0); 13724acb54baSEdgar E. Iglesias dc->tb_flags &= ~DRTB_FLAG; 13734acb54baSEdgar E. Iglesias } 13744acb54baSEdgar E. Iglesias 13754acb54baSEdgar E. Iglesias static inline void do_rte(DisasContext *dc) 13764acb54baSEdgar E. Iglesias { 1377cfeea807SEdgar E. Iglesias TCGv_i32 t0, t1; 1378cfeea807SEdgar E. Iglesias t0 = tcg_temp_new_i32(); 1379cfeea807SEdgar E. Iglesias t1 = tcg_temp_new_i32(); 13804acb54baSEdgar E. Iglesias 13813e0e16aeSRichard Henderson tcg_gen_mov_i32(t1, cpu_msr); 13820a22f8cfSEdgar E. Iglesias tcg_gen_ori_i32(t1, t1, MSR_EE); 1383cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t1, t1, ~MSR_EIP); 1384cfeea807SEdgar E. Iglesias tcg_gen_shri_i32(t0, t1, 1); 1385cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM)); 13864acb54baSEdgar E. Iglesias 1387cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM)); 1388cfeea807SEdgar E. Iglesias tcg_gen_or_i32(t1, t1, t0); 13894acb54baSEdgar E. Iglesias msr_write(dc, t1); 1390cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t1); 1391cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t0); 13924acb54baSEdgar E. Iglesias dc->tb_flags &= ~DRTE_FLAG; 13934acb54baSEdgar E. Iglesias } 13944acb54baSEdgar E. Iglesias 13954acb54baSEdgar E. Iglesias static void dec_rts(DisasContext *dc) 13964acb54baSEdgar E. Iglesias { 13974acb54baSEdgar E. Iglesias unsigned int b_bit, i_bit, e_bit; 13984acb54baSEdgar E. Iglesias 13994acb54baSEdgar E. Iglesias i_bit = dc->ir & (1 << 21); 14004acb54baSEdgar E. Iglesias b_bit = dc->ir & (1 << 22); 14014acb54baSEdgar E. Iglesias e_bit = dc->ir & (1 << 23); 14024acb54baSEdgar E. Iglesias 1403bdfc1e88SEdgar E. Iglesias if (trap_userspace(dc, i_bit || b_bit || e_bit)) { 1404bdfc1e88SEdgar E. Iglesias return; 1405bdfc1e88SEdgar E. Iglesias } 1406bdfc1e88SEdgar E. Iglesias 1407f91c60f0SEdgar E. Iglesias dec_setup_dslot(dc); 14084acb54baSEdgar E. Iglesias 14094acb54baSEdgar E. Iglesias if (i_bit) { 14104acb54baSEdgar E. Iglesias LOG_DIS("rtid ir=%x\n", dc->ir); 14114acb54baSEdgar E. Iglesias dc->tb_flags |= DRTI_FLAG; 14124acb54baSEdgar E. Iglesias } else if (b_bit) { 14134acb54baSEdgar E. Iglesias LOG_DIS("rtbd ir=%x\n", dc->ir); 14144acb54baSEdgar E. Iglesias dc->tb_flags |= DRTB_FLAG; 14154acb54baSEdgar E. Iglesias } else if (e_bit) { 14164acb54baSEdgar E. Iglesias LOG_DIS("rted ir=%x\n", dc->ir); 14174acb54baSEdgar E. Iglesias dc->tb_flags |= DRTE_FLAG; 14184acb54baSEdgar E. Iglesias } else 14194acb54baSEdgar E. Iglesias LOG_DIS("rts ir=%x\n", dc->ir); 14204acb54baSEdgar E. Iglesias 142123979dc5SEdgar E. Iglesias dc->jmp = JMP_INDIRECT; 1422cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(env_btaken, 1); 14230f96e96bSRichard Henderson tcg_gen_add_i32(cpu_btarget, cpu_R[dc->ra], *dec_alu_op_b(dc)); 14244acb54baSEdgar E. Iglesias } 14254acb54baSEdgar E. Iglesias 142697694c57SEdgar E. Iglesias static int dec_check_fpuv2(DisasContext *dc) 142797694c57SEdgar E. Iglesias { 1428be67e9abSAlistair Francis if ((dc->cpu->cfg.use_fpu != 2) && (dc->tb_flags & MSR_EE_FLAG)) { 142941ba37c4SRichard Henderson gen_raise_hw_excp(dc, ESR_EC_FPU); 143097694c57SEdgar E. Iglesias } 14312016a6a7SJoe Komlodi return (dc->cpu->cfg.use_fpu == 2) ? PVR2_USE_FPU2_MASK : 0; 143297694c57SEdgar E. Iglesias } 143397694c57SEdgar E. Iglesias 14341567a005SEdgar E. Iglesias static void dec_fpu(DisasContext *dc) 14351567a005SEdgar E. Iglesias { 143697694c57SEdgar E. Iglesias unsigned int fpu_insn; 143797694c57SEdgar E. Iglesias 14389ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, !dc->cpu->cfg.use_fpu)) { 14391567a005SEdgar E. Iglesias return; 14401567a005SEdgar E. Iglesias } 14411567a005SEdgar E. Iglesias 144297694c57SEdgar E. Iglesias fpu_insn = (dc->ir >> 7) & 7; 144397694c57SEdgar E. Iglesias 144497694c57SEdgar E. Iglesias switch (fpu_insn) { 144597694c57SEdgar E. Iglesias case 0: 144664254ebaSBlue Swirl gen_helper_fadd(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 144764254ebaSBlue Swirl cpu_R[dc->rb]); 144897694c57SEdgar E. Iglesias break; 144997694c57SEdgar E. Iglesias 145097694c57SEdgar E. Iglesias case 1: 145164254ebaSBlue Swirl gen_helper_frsub(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 145264254ebaSBlue Swirl cpu_R[dc->rb]); 145397694c57SEdgar E. Iglesias break; 145497694c57SEdgar E. Iglesias 145597694c57SEdgar E. Iglesias case 2: 145664254ebaSBlue Swirl gen_helper_fmul(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 145764254ebaSBlue Swirl cpu_R[dc->rb]); 145897694c57SEdgar E. Iglesias break; 145997694c57SEdgar E. Iglesias 146097694c57SEdgar E. Iglesias case 3: 146164254ebaSBlue Swirl gen_helper_fdiv(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 146264254ebaSBlue Swirl cpu_R[dc->rb]); 146397694c57SEdgar E. Iglesias break; 146497694c57SEdgar E. Iglesias 146597694c57SEdgar E. Iglesias case 4: 146697694c57SEdgar E. Iglesias switch ((dc->ir >> 4) & 7) { 146797694c57SEdgar E. Iglesias case 0: 146864254ebaSBlue Swirl gen_helper_fcmp_un(cpu_R[dc->rd], cpu_env, 146997694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 147097694c57SEdgar E. Iglesias break; 147197694c57SEdgar E. Iglesias case 1: 147264254ebaSBlue Swirl gen_helper_fcmp_lt(cpu_R[dc->rd], cpu_env, 147397694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 147497694c57SEdgar E. Iglesias break; 147597694c57SEdgar E. Iglesias case 2: 147664254ebaSBlue Swirl gen_helper_fcmp_eq(cpu_R[dc->rd], cpu_env, 147797694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 147897694c57SEdgar E. Iglesias break; 147997694c57SEdgar E. Iglesias case 3: 148064254ebaSBlue Swirl gen_helper_fcmp_le(cpu_R[dc->rd], cpu_env, 148197694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 148297694c57SEdgar E. Iglesias break; 148397694c57SEdgar E. Iglesias case 4: 148464254ebaSBlue Swirl gen_helper_fcmp_gt(cpu_R[dc->rd], cpu_env, 148597694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 148697694c57SEdgar E. Iglesias break; 148797694c57SEdgar E. Iglesias case 5: 148864254ebaSBlue Swirl gen_helper_fcmp_ne(cpu_R[dc->rd], cpu_env, 148997694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 149097694c57SEdgar E. Iglesias break; 149197694c57SEdgar E. Iglesias case 6: 149264254ebaSBlue Swirl gen_helper_fcmp_ge(cpu_R[dc->rd], cpu_env, 149397694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 149497694c57SEdgar E. Iglesias break; 149597694c57SEdgar E. Iglesias default: 149671547a3bSBlue Swirl qemu_log_mask(LOG_UNIMP, 149771547a3bSBlue Swirl "unimplemented fcmp fpu_insn=%x pc=%x" 149871547a3bSBlue Swirl " opc=%x\n", 149997694c57SEdgar E. Iglesias fpu_insn, dc->pc, dc->opcode); 15001567a005SEdgar E. Iglesias dc->abort_at_next_insn = 1; 150197694c57SEdgar E. Iglesias break; 150297694c57SEdgar E. Iglesias } 150397694c57SEdgar E. Iglesias break; 150497694c57SEdgar E. Iglesias 150597694c57SEdgar E. Iglesias case 5: 150697694c57SEdgar E. Iglesias if (!dec_check_fpuv2(dc)) { 150797694c57SEdgar E. Iglesias return; 150897694c57SEdgar E. Iglesias } 150964254ebaSBlue Swirl gen_helper_flt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]); 151097694c57SEdgar E. Iglesias break; 151197694c57SEdgar E. Iglesias 151297694c57SEdgar E. Iglesias case 6: 151397694c57SEdgar E. Iglesias if (!dec_check_fpuv2(dc)) { 151497694c57SEdgar E. Iglesias return; 151597694c57SEdgar E. Iglesias } 151664254ebaSBlue Swirl gen_helper_fint(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]); 151797694c57SEdgar E. Iglesias break; 151897694c57SEdgar E. Iglesias 151997694c57SEdgar E. Iglesias case 7: 152097694c57SEdgar E. Iglesias if (!dec_check_fpuv2(dc)) { 152197694c57SEdgar E. Iglesias return; 152297694c57SEdgar E. Iglesias } 152364254ebaSBlue Swirl gen_helper_fsqrt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]); 152497694c57SEdgar E. Iglesias break; 152597694c57SEdgar E. Iglesias 152697694c57SEdgar E. Iglesias default: 152771547a3bSBlue Swirl qemu_log_mask(LOG_UNIMP, "unimplemented FPU insn fpu_insn=%x pc=%x" 152871547a3bSBlue Swirl " opc=%x\n", 152997694c57SEdgar E. Iglesias fpu_insn, dc->pc, dc->opcode); 153097694c57SEdgar E. Iglesias dc->abort_at_next_insn = 1; 153197694c57SEdgar E. Iglesias break; 153297694c57SEdgar E. Iglesias } 15331567a005SEdgar E. Iglesias } 15341567a005SEdgar E. Iglesias 15354acb54baSEdgar E. Iglesias static void dec_null(DisasContext *dc) 15364acb54baSEdgar E. Iglesias { 15379ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, true)) { 153802b33596SEdgar E. Iglesias return; 153902b33596SEdgar E. Iglesias } 15401d512a65SPaolo Bonzini qemu_log_mask(LOG_GUEST_ERROR, "unknown insn pc=%x opc=%x\n", dc->pc, dc->opcode); 15414acb54baSEdgar E. Iglesias dc->abort_at_next_insn = 1; 15424acb54baSEdgar E. Iglesias } 15434acb54baSEdgar E. Iglesias 15446d76d23eSEdgar E. Iglesias /* Insns connected to FSL or AXI stream attached devices. */ 15456d76d23eSEdgar E. Iglesias static void dec_stream(DisasContext *dc) 15466d76d23eSEdgar E. Iglesias { 15476d76d23eSEdgar E. Iglesias TCGv_i32 t_id, t_ctrl; 15486d76d23eSEdgar E. Iglesias int ctrl; 15496d76d23eSEdgar E. Iglesias 15506d76d23eSEdgar E. Iglesias LOG_DIS("%s%s imm=%x\n", dc->rd ? "get" : "put", 15516d76d23eSEdgar E. Iglesias dc->type_b ? "" : "d", dc->imm); 15526d76d23eSEdgar E. Iglesias 1553bdfc1e88SEdgar E. Iglesias if (trap_userspace(dc, true)) { 15546d76d23eSEdgar E. Iglesias return; 15556d76d23eSEdgar E. Iglesias } 15566d76d23eSEdgar E. Iglesias 1557cfeea807SEdgar E. Iglesias t_id = tcg_temp_new_i32(); 15586d76d23eSEdgar E. Iglesias if (dc->type_b) { 1559cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(t_id, dc->imm & 0xf); 15606d76d23eSEdgar E. Iglesias ctrl = dc->imm >> 10; 15616d76d23eSEdgar E. Iglesias } else { 1562cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t_id, cpu_R[dc->rb], 0xf); 15636d76d23eSEdgar E. Iglesias ctrl = dc->imm >> 5; 15646d76d23eSEdgar E. Iglesias } 15656d76d23eSEdgar E. Iglesias 1566cfeea807SEdgar E. Iglesias t_ctrl = tcg_const_i32(ctrl); 15676d76d23eSEdgar E. Iglesias 15686d76d23eSEdgar E. Iglesias if (dc->rd == 0) { 15696d76d23eSEdgar E. Iglesias gen_helper_put(t_id, t_ctrl, cpu_R[dc->ra]); 15706d76d23eSEdgar E. Iglesias } else { 15716d76d23eSEdgar E. Iglesias gen_helper_get(cpu_R[dc->rd], t_id, t_ctrl); 15726d76d23eSEdgar E. Iglesias } 1573cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t_id); 1574cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t_ctrl); 15756d76d23eSEdgar E. Iglesias } 15766d76d23eSEdgar E. Iglesias 15774acb54baSEdgar E. Iglesias static struct decoder_info { 15784acb54baSEdgar E. Iglesias struct { 15794acb54baSEdgar E. Iglesias uint32_t bits; 15804acb54baSEdgar E. Iglesias uint32_t mask; 15814acb54baSEdgar E. Iglesias }; 15824acb54baSEdgar E. Iglesias void (*dec)(DisasContext *dc); 15834acb54baSEdgar E. Iglesias } decinfo[] = { 15844acb54baSEdgar E. Iglesias {DEC_ADD, dec_add}, 15854acb54baSEdgar E. Iglesias {DEC_SUB, dec_sub}, 15864acb54baSEdgar E. Iglesias {DEC_AND, dec_and}, 15874acb54baSEdgar E. Iglesias {DEC_XOR, dec_xor}, 15884acb54baSEdgar E. Iglesias {DEC_OR, dec_or}, 15894acb54baSEdgar E. Iglesias {DEC_BIT, dec_bit}, 15904acb54baSEdgar E. Iglesias {DEC_BARREL, dec_barrel}, 15914acb54baSEdgar E. Iglesias {DEC_LD, dec_load}, 15924acb54baSEdgar E. Iglesias {DEC_ST, dec_store}, 15934acb54baSEdgar E. Iglesias {DEC_IMM, dec_imm}, 15944acb54baSEdgar E. Iglesias {DEC_BR, dec_br}, 15954acb54baSEdgar E. Iglesias {DEC_BCC, dec_bcc}, 15964acb54baSEdgar E. Iglesias {DEC_RTS, dec_rts}, 15971567a005SEdgar E. Iglesias {DEC_FPU, dec_fpu}, 15984acb54baSEdgar E. Iglesias {DEC_MUL, dec_mul}, 15994acb54baSEdgar E. Iglesias {DEC_DIV, dec_div}, 16004acb54baSEdgar E. Iglesias {DEC_MSR, dec_msr}, 16016d76d23eSEdgar E. Iglesias {DEC_STREAM, dec_stream}, 16024acb54baSEdgar E. Iglesias {{0, 0}, dec_null} 16034acb54baSEdgar E. Iglesias }; 16044acb54baSEdgar E. Iglesias 160564254ebaSBlue Swirl static inline void decode(DisasContext *dc, uint32_t ir) 16064acb54baSEdgar E. Iglesias { 16074acb54baSEdgar E. Iglesias int i; 16084acb54baSEdgar E. Iglesias 160964254ebaSBlue Swirl dc->ir = ir; 16104acb54baSEdgar E. Iglesias LOG_DIS("%8.8x\t", dc->ir); 16114acb54baSEdgar E. Iglesias 1612462c2544SEdgar E. Iglesias if (ir == 0) { 16131ee1bd28SEdgar E. Iglesias trap_illegal(dc, dc->cpu->cfg.opcode_0_illegal); 1614462c2544SEdgar E. Iglesias /* Don't decode nop/zero instructions any further. */ 1615462c2544SEdgar E. Iglesias return; 1616462c2544SEdgar E. Iglesias } 16171567a005SEdgar E. Iglesias 16184acb54baSEdgar E. Iglesias /* bit 2 seems to indicate insn type. */ 16194acb54baSEdgar E. Iglesias dc->type_b = ir & (1 << 29); 16204acb54baSEdgar E. Iglesias 16214acb54baSEdgar E. Iglesias dc->opcode = EXTRACT_FIELD(ir, 26, 31); 16224acb54baSEdgar E. Iglesias dc->rd = EXTRACT_FIELD(ir, 21, 25); 16234acb54baSEdgar E. Iglesias dc->ra = EXTRACT_FIELD(ir, 16, 20); 16244acb54baSEdgar E. Iglesias dc->rb = EXTRACT_FIELD(ir, 11, 15); 16254acb54baSEdgar E. Iglesias dc->imm = EXTRACT_FIELD(ir, 0, 15); 16264acb54baSEdgar E. Iglesias 16274acb54baSEdgar E. Iglesias /* Large switch for all insns. */ 16284acb54baSEdgar E. Iglesias for (i = 0; i < ARRAY_SIZE(decinfo); i++) { 16294acb54baSEdgar E. Iglesias if ((dc->opcode & decinfo[i].mask) == decinfo[i].bits) { 16304acb54baSEdgar E. Iglesias decinfo[i].dec(dc); 16314acb54baSEdgar E. Iglesias break; 16324acb54baSEdgar E. Iglesias } 16334acb54baSEdgar E. Iglesias } 16344acb54baSEdgar E. Iglesias } 16354acb54baSEdgar E. Iglesias 16364acb54baSEdgar E. Iglesias /* generate intermediate code for basic block 'tb'. */ 16378b86d6d2SRichard Henderson void gen_intermediate_code(CPUState *cs, TranslationBlock *tb, int max_insns) 16384acb54baSEdgar E. Iglesias { 16399c489ea6SLluís Vilanova CPUMBState *env = cs->env_ptr; 1640f5c7e93aSRichard Henderson MicroBlazeCPU *cpu = env_archcpu(env); 16414acb54baSEdgar E. Iglesias uint32_t pc_start; 16424acb54baSEdgar E. Iglesias struct DisasContext ctx; 16434acb54baSEdgar E. Iglesias struct DisasContext *dc = &ctx; 164456371527SEmilio G. Cota uint32_t page_start, org_flags; 1645cfeea807SEdgar E. Iglesias uint32_t npc; 16464acb54baSEdgar E. Iglesias int num_insns; 16474acb54baSEdgar E. Iglesias 16484acb54baSEdgar E. Iglesias pc_start = tb->pc; 16490063ebd6SAndreas Färber dc->cpu = cpu; 16504acb54baSEdgar E. Iglesias dc->tb = tb; 16514acb54baSEdgar E. Iglesias org_flags = dc->synced_flags = dc->tb_flags = tb->flags; 16524acb54baSEdgar E. Iglesias 16534acb54baSEdgar E. Iglesias dc->is_jmp = DISAS_NEXT; 16544acb54baSEdgar E. Iglesias dc->jmp = 0; 16554acb54baSEdgar E. Iglesias dc->delayed_branch = !!(dc->tb_flags & D_FLAG); 165623979dc5SEdgar E. Iglesias if (dc->delayed_branch) { 165723979dc5SEdgar E. Iglesias dc->jmp = JMP_INDIRECT; 165823979dc5SEdgar E. Iglesias } 16594acb54baSEdgar E. Iglesias dc->pc = pc_start; 1660ed2803daSAndreas Färber dc->singlestep_enabled = cs->singlestep_enabled; 16614acb54baSEdgar E. Iglesias dc->cpustate_changed = 0; 16624acb54baSEdgar E. Iglesias dc->abort_at_next_insn = 0; 16634acb54baSEdgar E. Iglesias 1664a47dddd7SAndreas Färber if (pc_start & 3) { 1665a47dddd7SAndreas Färber cpu_abort(cs, "Microblaze: unaligned PC=%x\n", pc_start); 1666a47dddd7SAndreas Färber } 16674acb54baSEdgar E. Iglesias 166856371527SEmilio G. Cota page_start = pc_start & TARGET_PAGE_MASK; 16694acb54baSEdgar E. Iglesias num_insns = 0; 16704acb54baSEdgar E. Iglesias 1671cd42d5b2SPaolo Bonzini gen_tb_start(tb); 16724acb54baSEdgar E. Iglesias do 16734acb54baSEdgar E. Iglesias { 1674667b8e29SRichard Henderson tcg_gen_insn_start(dc->pc); 1675959082fcSRichard Henderson num_insns++; 16764acb54baSEdgar E. Iglesias 1677b933066aSRichard Henderson if (unlikely(cpu_breakpoint_test(cs, dc->pc, BP_ANY))) { 167841ba37c4SRichard Henderson gen_raise_exception_sync(dc, EXCP_DEBUG); 1679522a0d4eSRichard Henderson /* The address covered by the breakpoint must be included in 1680522a0d4eSRichard Henderson [tb->pc, tb->pc + tb->size) in order to for it to be 1681522a0d4eSRichard Henderson properly cleared -- thus we increment the PC here so that 1682522a0d4eSRichard Henderson the logic setting tb->size below does the right thing. */ 1683522a0d4eSRichard Henderson dc->pc += 4; 1684b933066aSRichard Henderson break; 1685b933066aSRichard Henderson } 1686b933066aSRichard Henderson 16874acb54baSEdgar E. Iglesias /* Pretty disas. */ 16884acb54baSEdgar E. Iglesias LOG_DIS("%8.8x:\t", dc->pc); 16894acb54baSEdgar E. Iglesias 1690c5a49c63SEmilio G. Cota if (num_insns == max_insns && (tb_cflags(tb) & CF_LAST_IO)) { 16914acb54baSEdgar E. Iglesias gen_io_start(); 1692959082fcSRichard Henderson } 16934acb54baSEdgar E. Iglesias 16944acb54baSEdgar E. Iglesias dc->clear_imm = 1; 169564254ebaSBlue Swirl decode(dc, cpu_ldl_code(env, dc->pc)); 16964acb54baSEdgar E. Iglesias if (dc->clear_imm) 16974acb54baSEdgar E. Iglesias dc->tb_flags &= ~IMM_FLAG; 16984acb54baSEdgar E. Iglesias dc->pc += 4; 16994acb54baSEdgar E. Iglesias 17004acb54baSEdgar E. Iglesias if (dc->delayed_branch) { 17014acb54baSEdgar E. Iglesias dc->delayed_branch--; 17024acb54baSEdgar E. Iglesias if (!dc->delayed_branch) { 17034acb54baSEdgar E. Iglesias if (dc->tb_flags & DRTI_FLAG) 17044acb54baSEdgar E. Iglesias do_rti(dc); 17054acb54baSEdgar E. Iglesias if (dc->tb_flags & DRTB_FLAG) 17064acb54baSEdgar E. Iglesias do_rtb(dc); 17074acb54baSEdgar E. Iglesias if (dc->tb_flags & DRTE_FLAG) 17084acb54baSEdgar E. Iglesias do_rte(dc); 17094acb54baSEdgar E. Iglesias /* Clear the delay slot flag. */ 17104acb54baSEdgar E. Iglesias dc->tb_flags &= ~D_FLAG; 17114acb54baSEdgar E. Iglesias /* If it is a direct jump, try direct chaining. */ 171223979dc5SEdgar E. Iglesias if (dc->jmp == JMP_INDIRECT) { 17130f96e96bSRichard Henderson TCGv_i32 tmp_pc = tcg_const_i32(dc->pc); 17140f96e96bSRichard Henderson eval_cond_jmp(dc, cpu_btarget, tmp_pc); 17150f96e96bSRichard Henderson tcg_temp_free_i32(tmp_pc); 17164acb54baSEdgar E. Iglesias dc->is_jmp = DISAS_JUMP; 171723979dc5SEdgar E. Iglesias } else if (dc->jmp == JMP_DIRECT) { 1718844bab60SEdgar E. Iglesias t_sync_flags(dc); 1719844bab60SEdgar E. Iglesias gen_goto_tb(dc, 0, dc->jmp_pc); 1720844bab60SEdgar E. Iglesias dc->is_jmp = DISAS_TB_JUMP; 1721844bab60SEdgar E. Iglesias } else if (dc->jmp == JMP_DIRECT_CC) { 172242a268c2SRichard Henderson TCGLabel *l1 = gen_new_label(); 172323979dc5SEdgar E. Iglesias t_sync_flags(dc); 172423979dc5SEdgar E. Iglesias /* Conditional jmp. */ 1725cfeea807SEdgar E. Iglesias tcg_gen_brcondi_i32(TCG_COND_NE, env_btaken, 0, l1); 172623979dc5SEdgar E. Iglesias gen_goto_tb(dc, 1, dc->pc); 172723979dc5SEdgar E. Iglesias gen_set_label(l1); 172823979dc5SEdgar E. Iglesias gen_goto_tb(dc, 0, dc->jmp_pc); 172923979dc5SEdgar E. Iglesias 173023979dc5SEdgar E. Iglesias dc->is_jmp = DISAS_TB_JUMP; 17314acb54baSEdgar E. Iglesias } 17324acb54baSEdgar E. Iglesias break; 17334acb54baSEdgar E. Iglesias } 17344acb54baSEdgar E. Iglesias } 1735ed2803daSAndreas Färber if (cs->singlestep_enabled) { 17364acb54baSEdgar E. Iglesias break; 1737ed2803daSAndreas Färber } 17384acb54baSEdgar E. Iglesias } while (!dc->is_jmp && !dc->cpustate_changed 1739fe700adbSRichard Henderson && !tcg_op_buf_full() 17404acb54baSEdgar E. Iglesias && !singlestep 174156371527SEmilio G. Cota && (dc->pc - page_start < TARGET_PAGE_SIZE) 17424acb54baSEdgar E. Iglesias && num_insns < max_insns); 17434acb54baSEdgar E. Iglesias 17444acb54baSEdgar E. Iglesias npc = dc->pc; 1745844bab60SEdgar E. Iglesias if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) { 17464acb54baSEdgar E. Iglesias if (dc->tb_flags & D_FLAG) { 17474acb54baSEdgar E. Iglesias dc->is_jmp = DISAS_UPDATE; 17480f96e96bSRichard Henderson tcg_gen_movi_i32(cpu_pc, npc); 17494acb54baSEdgar E. Iglesias sync_jmpstate(dc); 17504acb54baSEdgar E. Iglesias } else 17514acb54baSEdgar E. Iglesias npc = dc->jmp_pc; 17524acb54baSEdgar E. Iglesias } 17534acb54baSEdgar E. Iglesias 17544acb54baSEdgar E. Iglesias /* Force an update if the per-tb cpu state has changed. */ 17554acb54baSEdgar E. Iglesias if (dc->is_jmp == DISAS_NEXT 17564acb54baSEdgar E. Iglesias && (dc->cpustate_changed || org_flags != dc->tb_flags)) { 17574acb54baSEdgar E. Iglesias dc->is_jmp = DISAS_UPDATE; 17580f96e96bSRichard Henderson tcg_gen_movi_i32(cpu_pc, npc); 17594acb54baSEdgar E. Iglesias } 17604acb54baSEdgar E. Iglesias t_sync_flags(dc); 17614acb54baSEdgar E. Iglesias 1762ed2803daSAndreas Färber if (unlikely(cs->singlestep_enabled)) { 17636c5f738dSEdgar E. Iglesias TCGv_i32 tmp = tcg_const_i32(EXCP_DEBUG); 17646c5f738dSEdgar E. Iglesias 17656c5f738dSEdgar E. Iglesias if (dc->is_jmp != DISAS_JUMP) { 17660f96e96bSRichard Henderson tcg_gen_movi_i32(cpu_pc, npc); 17676c5f738dSEdgar E. Iglesias } 176864254ebaSBlue Swirl gen_helper_raise_exception(cpu_env, tmp); 17696c5f738dSEdgar E. Iglesias tcg_temp_free_i32(tmp); 17704acb54baSEdgar E. Iglesias } else { 17714acb54baSEdgar E. Iglesias switch(dc->is_jmp) { 17724acb54baSEdgar E. Iglesias case DISAS_NEXT: 17734acb54baSEdgar E. Iglesias gen_goto_tb(dc, 1, npc); 17744acb54baSEdgar E. Iglesias break; 17754acb54baSEdgar E. Iglesias default: 17764acb54baSEdgar E. Iglesias case DISAS_JUMP: 17774acb54baSEdgar E. Iglesias case DISAS_UPDATE: 17784acb54baSEdgar E. Iglesias /* indicate that the hash table must be used 17794acb54baSEdgar E. Iglesias to find the next TB */ 178007ea28b4SRichard Henderson tcg_gen_exit_tb(NULL, 0); 17814acb54baSEdgar E. Iglesias break; 17824acb54baSEdgar E. Iglesias case DISAS_TB_JUMP: 17834acb54baSEdgar E. Iglesias /* nothing more to generate */ 17844acb54baSEdgar E. Iglesias break; 17854acb54baSEdgar E. Iglesias } 17864acb54baSEdgar E. Iglesias } 1787806f352dSPeter Maydell gen_tb_end(tb, num_insns); 17880a7df5daSRichard Henderson 17894acb54baSEdgar E. Iglesias tb->size = dc->pc - pc_start; 17904acb54baSEdgar E. Iglesias tb->icount = num_insns; 17914acb54baSEdgar E. Iglesias 17924acb54baSEdgar E. Iglesias #ifdef DEBUG_DISAS 17934acb54baSEdgar E. Iglesias #if !SIM_COMPAT 17944910e6e4SRichard Henderson if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM) 17954910e6e4SRichard Henderson && qemu_log_in_addr_range(pc_start)) { 1796fc59d2d8SRobert Foley FILE *logfile = qemu_log_lock(); 1797f01a5e7eSRichard Henderson qemu_log("--------------\n"); 17981d48474dSRichard Henderson log_target_disas(cs, pc_start, dc->pc - pc_start); 1799fc59d2d8SRobert Foley qemu_log_unlock(logfile); 18004acb54baSEdgar E. Iglesias } 18014acb54baSEdgar E. Iglesias #endif 18024acb54baSEdgar E. Iglesias #endif 18034acb54baSEdgar E. Iglesias assert(!dc->abort_at_next_insn); 18044acb54baSEdgar E. Iglesias } 18054acb54baSEdgar E. Iglesias 180690c84c56SMarkus Armbruster void mb_cpu_dump_state(CPUState *cs, FILE *f, int flags) 18074acb54baSEdgar E. Iglesias { 1808878096eeSAndreas Färber MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs); 1809878096eeSAndreas Färber CPUMBState *env = &cpu->env; 18104acb54baSEdgar E. Iglesias int i; 18114acb54baSEdgar E. Iglesias 181290c84c56SMarkus Armbruster if (!env) { 18134acb54baSEdgar E. Iglesias return; 181490c84c56SMarkus Armbruster } 18154acb54baSEdgar E. Iglesias 18160f96e96bSRichard Henderson qemu_fprintf(f, "IN: PC=%x %s\n", 181776e8187dSRichard Henderson env->pc, lookup_symbol(env->pc)); 18186efd5599SRichard Henderson qemu_fprintf(f, "rmsr=%x resr=%x rear=%" PRIx64 " " 1819*eb2022b7SRichard Henderson "imm=%x iflags=%x fsr=%x rbtr=%x\n", 182078e9caf2SRichard Henderson env->msr, env->esr, env->ear, 1821*eb2022b7SRichard Henderson env->imm, env->iflags, env->fsr, env->btr); 18220f96e96bSRichard Henderson qemu_fprintf(f, "btaken=%d btarget=%x mode=%s(saved=%s) eip=%d ie=%d\n", 18234acb54baSEdgar E. Iglesias env->btaken, env->btarget, 18242e5282caSRichard Henderson (env->msr & MSR_UM) ? "user" : "kernel", 18252e5282caSRichard Henderson (env->msr & MSR_UMS) ? "user" : "kernel", 18262e5282caSRichard Henderson (bool)(env->msr & MSR_EIP), 18272e5282caSRichard Henderson (bool)(env->msr & MSR_IE)); 18282ead1b18SJoe Komlodi for (i = 0; i < 12; i++) { 18292ead1b18SJoe Komlodi qemu_fprintf(f, "rpvr%2.2d=%8.8x ", i, env->pvr.regs[i]); 18302ead1b18SJoe Komlodi if ((i + 1) % 4 == 0) { 18312ead1b18SJoe Komlodi qemu_fprintf(f, "\n"); 18322ead1b18SJoe Komlodi } 18332ead1b18SJoe Komlodi } 183417c52a43SEdgar E. Iglesias 18352ead1b18SJoe Komlodi /* Registers that aren't modeled are reported as 0 */ 183639db007eSRichard Henderson qemu_fprintf(f, "redr=%x rpid=0 rzpr=0 rtlbx=0 rtlbsx=0 " 1837af20a93aSRichard Henderson "rtlblo=0 rtlbhi=0\n", env->edr); 18382ead1b18SJoe Komlodi qemu_fprintf(f, "slr=%x shr=%x\n", env->slr, env->shr); 18394acb54baSEdgar E. Iglesias for (i = 0; i < 32; i++) { 184090c84c56SMarkus Armbruster qemu_fprintf(f, "r%2.2d=%8.8x ", i, env->regs[i]); 18414acb54baSEdgar E. Iglesias if ((i + 1) % 4 == 0) 184290c84c56SMarkus Armbruster qemu_fprintf(f, "\n"); 18434acb54baSEdgar E. Iglesias } 184490c84c56SMarkus Armbruster qemu_fprintf(f, "\n\n"); 18454acb54baSEdgar E. Iglesias } 18464acb54baSEdgar E. Iglesias 1847cd0c24f9SAndreas Färber void mb_tcg_init(void) 1848cd0c24f9SAndreas Färber { 1849cd0c24f9SAndreas Färber int i; 18504acb54baSEdgar E. Iglesias 1851cfeea807SEdgar E. Iglesias env_iflags = tcg_global_mem_new_i32(cpu_env, 185268cee38aSAndreas Färber offsetof(CPUMBState, iflags), 18534acb54baSEdgar E. Iglesias "iflags"); 1854cfeea807SEdgar E. Iglesias env_imm = tcg_global_mem_new_i32(cpu_env, 185568cee38aSAndreas Färber offsetof(CPUMBState, imm), 18564acb54baSEdgar E. Iglesias "imm"); 18570f96e96bSRichard Henderson cpu_btarget = tcg_global_mem_new_i32(cpu_env, 185868cee38aSAndreas Färber offsetof(CPUMBState, btarget), 18594acb54baSEdgar E. Iglesias "btarget"); 1860cfeea807SEdgar E. Iglesias env_btaken = tcg_global_mem_new_i32(cpu_env, 186168cee38aSAndreas Färber offsetof(CPUMBState, btaken), 18624acb54baSEdgar E. Iglesias "btaken"); 1863403322eaSEdgar E. Iglesias env_res_addr = tcg_global_mem_new(cpu_env, 18644a536270SEdgar E. Iglesias offsetof(CPUMBState, res_addr), 18654a536270SEdgar E. Iglesias "res_addr"); 1866cfeea807SEdgar E. Iglesias env_res_val = tcg_global_mem_new_i32(cpu_env, 186711a76217SEdgar E. Iglesias offsetof(CPUMBState, res_val), 186811a76217SEdgar E. Iglesias "res_val"); 18694acb54baSEdgar E. Iglesias for (i = 0; i < ARRAY_SIZE(cpu_R); i++) { 1870cfeea807SEdgar E. Iglesias cpu_R[i] = tcg_global_mem_new_i32(cpu_env, 187168cee38aSAndreas Färber offsetof(CPUMBState, regs[i]), 18724acb54baSEdgar E. Iglesias regnames[i]); 18734acb54baSEdgar E. Iglesias } 187476e8187dSRichard Henderson 1875aa28e6d4SRichard Henderson cpu_pc = 18760f96e96bSRichard Henderson tcg_global_mem_new_i32(cpu_env, offsetof(CPUMBState, pc), "rpc"); 1877aa28e6d4SRichard Henderson cpu_msr = 18783e0e16aeSRichard Henderson tcg_global_mem_new_i32(cpu_env, offsetof(CPUMBState, msr), "rmsr"); 18794acb54baSEdgar E. Iglesias } 18804acb54baSEdgar E. Iglesias 1881bad729e2SRichard Henderson void restore_state_to_opc(CPUMBState *env, TranslationBlock *tb, 1882bad729e2SRichard Henderson target_ulong *data) 18834acb54baSEdgar E. Iglesias { 188476e8187dSRichard Henderson env->pc = data[0]; 18854acb54baSEdgar E. Iglesias } 1886