14acb54baSEdgar E. Iglesias /* 24acb54baSEdgar E. Iglesias * Xilinx MicroBlaze emulation for qemu: main translation routines. 34acb54baSEdgar E. Iglesias * 44acb54baSEdgar E. Iglesias * Copyright (c) 2009 Edgar E. Iglesias. 5dadc1064SPeter A. G. Crosthwaite * Copyright (c) 2009-2012 PetaLogix Qld Pty Ltd. 64acb54baSEdgar E. Iglesias * 74acb54baSEdgar E. Iglesias * This library is free software; you can redistribute it and/or 84acb54baSEdgar E. Iglesias * modify it under the terms of the GNU Lesser General Public 94acb54baSEdgar E. Iglesias * License as published by the Free Software Foundation; either 104acb54baSEdgar E. Iglesias * version 2 of the License, or (at your option) any later version. 114acb54baSEdgar E. Iglesias * 124acb54baSEdgar E. Iglesias * This library is distributed in the hope that it will be useful, 134acb54baSEdgar E. Iglesias * but WITHOUT ANY WARRANTY; without even the implied warranty of 144acb54baSEdgar E. Iglesias * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 154acb54baSEdgar E. Iglesias * Lesser General Public License for more details. 164acb54baSEdgar E. Iglesias * 174acb54baSEdgar E. Iglesias * You should have received a copy of the GNU Lesser General Public 188167ee88SBlue Swirl * License along with this library; if not, see <http://www.gnu.org/licenses/>. 194acb54baSEdgar E. Iglesias */ 204acb54baSEdgar E. Iglesias 218fd9deceSPeter Maydell #include "qemu/osdep.h" 224acb54baSEdgar E. Iglesias #include "cpu.h" 2376cad711SPaolo Bonzini #include "disas/disas.h" 2463c91552SPaolo Bonzini #include "exec/exec-all.h" 254acb54baSEdgar E. Iglesias #include "tcg-op.h" 262ef6175aSRichard Henderson #include "exec/helper-proto.h" 274acb54baSEdgar E. Iglesias #include "microblaze-decode.h" 28f08b6170SPaolo Bonzini #include "exec/cpu_ldst.h" 292ef6175aSRichard Henderson #include "exec/helper-gen.h" 304acb54baSEdgar E. Iglesias 31a7e30d84SLluís Vilanova #include "trace-tcg.h" 32508127e2SPaolo Bonzini #include "exec/log.h" 33a7e30d84SLluís Vilanova 34a7e30d84SLluís Vilanova 354acb54baSEdgar E. Iglesias #define SIM_COMPAT 0 364acb54baSEdgar E. Iglesias #define DISAS_GNU 1 374acb54baSEdgar E. Iglesias #define DISAS_MB 1 384acb54baSEdgar E. Iglesias #if DISAS_MB && !SIM_COMPAT 394acb54baSEdgar E. Iglesias # define LOG_DIS(...) qemu_log_mask(CPU_LOG_TB_IN_ASM, ## __VA_ARGS__) 404acb54baSEdgar E. Iglesias #else 414acb54baSEdgar E. Iglesias # define LOG_DIS(...) do { } while (0) 424acb54baSEdgar E. Iglesias #endif 434acb54baSEdgar E. Iglesias 444acb54baSEdgar E. Iglesias #define D(x) 454acb54baSEdgar E. Iglesias 464acb54baSEdgar E. Iglesias #define EXTRACT_FIELD(src, start, end) \ 474acb54baSEdgar E. Iglesias (((src) >> start) & ((1 << (end - start + 1)) - 1)) 484acb54baSEdgar E. Iglesias 494acb54baSEdgar E. Iglesias static TCGv env_debug; 501bcea73eSLluís Vilanova static TCGv_env cpu_env; 514acb54baSEdgar E. Iglesias static TCGv cpu_R[32]; 524acb54baSEdgar E. Iglesias static TCGv cpu_SR[18]; 534acb54baSEdgar E. Iglesias static TCGv env_imm; 544acb54baSEdgar E. Iglesias static TCGv env_btaken; 554acb54baSEdgar E. Iglesias static TCGv env_btarget; 564acb54baSEdgar E. Iglesias static TCGv env_iflags; 574a536270SEdgar E. Iglesias static TCGv env_res_addr; 5811a76217SEdgar E. Iglesias static TCGv env_res_val; 594acb54baSEdgar E. Iglesias 60022c62cbSPaolo Bonzini #include "exec/gen-icount.h" 614acb54baSEdgar E. Iglesias 624acb54baSEdgar E. Iglesias /* This is the state at translation time. */ 634acb54baSEdgar E. Iglesias typedef struct DisasContext { 640063ebd6SAndreas Färber MicroBlazeCPU *cpu; 65a5efa644SEdgar E. Iglesias target_ulong pc; 664acb54baSEdgar E. Iglesias 674acb54baSEdgar E. Iglesias /* Decoder. */ 684acb54baSEdgar E. Iglesias int type_b; 694acb54baSEdgar E. Iglesias uint32_t ir; 704acb54baSEdgar E. Iglesias uint8_t opcode; 714acb54baSEdgar E. Iglesias uint8_t rd, ra, rb; 724acb54baSEdgar E. Iglesias uint16_t imm; 734acb54baSEdgar E. Iglesias 744acb54baSEdgar E. Iglesias unsigned int cpustate_changed; 754acb54baSEdgar E. Iglesias unsigned int delayed_branch; 764acb54baSEdgar E. Iglesias unsigned int tb_flags, synced_flags; /* tb dependent flags. */ 774acb54baSEdgar E. Iglesias unsigned int clear_imm; 784acb54baSEdgar E. Iglesias int is_jmp; 794acb54baSEdgar E. Iglesias 804acb54baSEdgar E. Iglesias #define JMP_NOJMP 0 814acb54baSEdgar E. Iglesias #define JMP_DIRECT 1 82844bab60SEdgar E. Iglesias #define JMP_DIRECT_CC 2 83844bab60SEdgar E. Iglesias #define JMP_INDIRECT 3 844acb54baSEdgar E. Iglesias unsigned int jmp; 854acb54baSEdgar E. Iglesias uint32_t jmp_pc; 864acb54baSEdgar E. Iglesias 874acb54baSEdgar E. Iglesias int abort_at_next_insn; 884acb54baSEdgar E. Iglesias int nr_nops; 894acb54baSEdgar E. Iglesias struct TranslationBlock *tb; 904acb54baSEdgar E. Iglesias int singlestep_enabled; 914acb54baSEdgar E. Iglesias } DisasContext; 924acb54baSEdgar E. Iglesias 9338972938SJuan Quintela static const char *regnames[] = 944acb54baSEdgar E. Iglesias { 954acb54baSEdgar E. Iglesias "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", 964acb54baSEdgar E. Iglesias "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15", 974acb54baSEdgar E. Iglesias "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23", 984acb54baSEdgar E. Iglesias "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31", 994acb54baSEdgar E. Iglesias }; 1004acb54baSEdgar E. Iglesias 10138972938SJuan Quintela static const char *special_regnames[] = 1024acb54baSEdgar E. Iglesias { 1034acb54baSEdgar E. Iglesias "rpc", "rmsr", "sr2", "sr3", "sr4", "sr5", "sr6", "sr7", 1044acb54baSEdgar E. Iglesias "sr8", "sr9", "sr10", "sr11", "sr12", "sr13", "sr14", "sr15", 1054acb54baSEdgar E. Iglesias "sr16", "sr17", "sr18" 1064acb54baSEdgar E. Iglesias }; 1074acb54baSEdgar E. Iglesias 1084acb54baSEdgar E. Iglesias static inline void t_sync_flags(DisasContext *dc) 1094acb54baSEdgar E. Iglesias { 1104abf79a4SDong Xu Wang /* Synch the tb dependent flags between translator and runtime. */ 1114acb54baSEdgar E. Iglesias if (dc->tb_flags != dc->synced_flags) { 1124acb54baSEdgar E. Iglesias tcg_gen_movi_tl(env_iflags, dc->tb_flags); 1134acb54baSEdgar E. Iglesias dc->synced_flags = dc->tb_flags; 1144acb54baSEdgar E. Iglesias } 1154acb54baSEdgar E. Iglesias } 1164acb54baSEdgar E. Iglesias 1174acb54baSEdgar E. Iglesias static inline void t_gen_raise_exception(DisasContext *dc, uint32_t index) 1184acb54baSEdgar E. Iglesias { 1194acb54baSEdgar E. Iglesias TCGv_i32 tmp = tcg_const_i32(index); 1204acb54baSEdgar E. Iglesias 1214acb54baSEdgar E. Iglesias t_sync_flags(dc); 1224acb54baSEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_PC], dc->pc); 12364254ebaSBlue Swirl gen_helper_raise_exception(cpu_env, tmp); 1244acb54baSEdgar E. Iglesias tcg_temp_free_i32(tmp); 1254acb54baSEdgar E. Iglesias dc->is_jmp = DISAS_UPDATE; 1264acb54baSEdgar E. Iglesias } 1274acb54baSEdgar E. Iglesias 12890aa39a1SSergey Fedorov static inline bool use_goto_tb(DisasContext *dc, target_ulong dest) 12990aa39a1SSergey Fedorov { 13090aa39a1SSergey Fedorov #ifndef CONFIG_USER_ONLY 13190aa39a1SSergey Fedorov return (dc->tb->pc & TARGET_PAGE_MASK) == (dest & TARGET_PAGE_MASK); 13290aa39a1SSergey Fedorov #else 13390aa39a1SSergey Fedorov return true; 13490aa39a1SSergey Fedorov #endif 13590aa39a1SSergey Fedorov } 13690aa39a1SSergey Fedorov 1374acb54baSEdgar E. Iglesias static void gen_goto_tb(DisasContext *dc, int n, target_ulong dest) 1384acb54baSEdgar E. Iglesias { 13990aa39a1SSergey Fedorov if (use_goto_tb(dc, dest)) { 1404acb54baSEdgar E. Iglesias tcg_gen_goto_tb(n); 1414acb54baSEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_PC], dest); 14290aa39a1SSergey Fedorov tcg_gen_exit_tb((uintptr_t)dc->tb + n); 1434acb54baSEdgar E. Iglesias } else { 1444acb54baSEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_PC], dest); 1454acb54baSEdgar E. Iglesias tcg_gen_exit_tb(0); 1464acb54baSEdgar E. Iglesias } 1474acb54baSEdgar E. Iglesias } 1484acb54baSEdgar E. Iglesias 149ee8b246fSEdgar E. Iglesias static void read_carry(DisasContext *dc, TCGv d) 150ee8b246fSEdgar E. Iglesias { 151ee8b246fSEdgar E. Iglesias tcg_gen_shri_tl(d, cpu_SR[SR_MSR], 31); 152ee8b246fSEdgar E. Iglesias } 153ee8b246fSEdgar E. Iglesias 15404ec7df7SEdgar E. Iglesias /* 15504ec7df7SEdgar E. Iglesias * write_carry sets the carry bits in MSR based on bit 0 of v. 15604ec7df7SEdgar E. Iglesias * v[31:1] are ignored. 15704ec7df7SEdgar E. Iglesias */ 158ee8b246fSEdgar E. Iglesias static void write_carry(DisasContext *dc, TCGv v) 159ee8b246fSEdgar E. Iglesias { 160ee8b246fSEdgar E. Iglesias TCGv t0 = tcg_temp_new(); 161ee8b246fSEdgar E. Iglesias tcg_gen_shli_tl(t0, v, 31); 162ee8b246fSEdgar E. Iglesias tcg_gen_sari_tl(t0, t0, 31); 163ee8b246fSEdgar E. Iglesias tcg_gen_andi_tl(t0, t0, (MSR_C | MSR_CC)); 164ee8b246fSEdgar E. Iglesias tcg_gen_andi_tl(cpu_SR[SR_MSR], cpu_SR[SR_MSR], 165ee8b246fSEdgar E. Iglesias ~(MSR_C | MSR_CC)); 166ee8b246fSEdgar E. Iglesias tcg_gen_or_tl(cpu_SR[SR_MSR], cpu_SR[SR_MSR], t0); 167ee8b246fSEdgar E. Iglesias tcg_temp_free(t0); 168ee8b246fSEdgar E. Iglesias } 169ee8b246fSEdgar E. Iglesias 17065ab5eb4SEdgar E. Iglesias static void write_carryi(DisasContext *dc, bool carry) 1718cc9b43fSPeter A. G. Crosthwaite { 1728cc9b43fSPeter A. G. Crosthwaite TCGv t0 = tcg_temp_new(); 17365ab5eb4SEdgar E. Iglesias tcg_gen_movi_tl(t0, carry); 1748cc9b43fSPeter A. G. Crosthwaite write_carry(dc, t0); 1758cc9b43fSPeter A. G. Crosthwaite tcg_temp_free(t0); 1768cc9b43fSPeter A. G. Crosthwaite } 1778cc9b43fSPeter A. G. Crosthwaite 17861204ce8SEdgar E. Iglesias /* True if ALU operand b is a small immediate that may deserve 17961204ce8SEdgar E. Iglesias faster treatment. */ 18061204ce8SEdgar E. Iglesias static inline int dec_alu_op_b_is_small_imm(DisasContext *dc) 18161204ce8SEdgar E. Iglesias { 18261204ce8SEdgar E. Iglesias /* Immediate insn without the imm prefix ? */ 18361204ce8SEdgar E. Iglesias return dc->type_b && !(dc->tb_flags & IMM_FLAG); 18461204ce8SEdgar E. Iglesias } 18561204ce8SEdgar E. Iglesias 1864acb54baSEdgar E. Iglesias static inline TCGv *dec_alu_op_b(DisasContext *dc) 1874acb54baSEdgar E. Iglesias { 1884acb54baSEdgar E. Iglesias if (dc->type_b) { 1894acb54baSEdgar E. Iglesias if (dc->tb_flags & IMM_FLAG) 1904acb54baSEdgar E. Iglesias tcg_gen_ori_tl(env_imm, env_imm, dc->imm); 1914acb54baSEdgar E. Iglesias else 1924acb54baSEdgar E. Iglesias tcg_gen_movi_tl(env_imm, (int32_t)((int16_t)dc->imm)); 1934acb54baSEdgar E. Iglesias return &env_imm; 1944acb54baSEdgar E. Iglesias } else 1954acb54baSEdgar E. Iglesias return &cpu_R[dc->rb]; 1964acb54baSEdgar E. Iglesias } 1974acb54baSEdgar E. Iglesias 1984acb54baSEdgar E. Iglesias static void dec_add(DisasContext *dc) 1994acb54baSEdgar E. Iglesias { 2004acb54baSEdgar E. Iglesias unsigned int k, c; 20140cbf5b7SEdgar E. Iglesias TCGv cf; 2024acb54baSEdgar E. Iglesias 2034acb54baSEdgar E. Iglesias k = dc->opcode & 4; 2044acb54baSEdgar E. Iglesias c = dc->opcode & 2; 2054acb54baSEdgar E. Iglesias 2064acb54baSEdgar E. Iglesias LOG_DIS("add%s%s%s r%d r%d r%d\n", 2074acb54baSEdgar E. Iglesias dc->type_b ? "i" : "", k ? "k" : "", c ? "c" : "", 2084acb54baSEdgar E. Iglesias dc->rd, dc->ra, dc->rb); 2094acb54baSEdgar E. Iglesias 21040cbf5b7SEdgar E. Iglesias /* Take care of the easy cases first. */ 21140cbf5b7SEdgar E. Iglesias if (k) { 21240cbf5b7SEdgar E. Iglesias /* k - keep carry, no need to update MSR. */ 21340cbf5b7SEdgar E. Iglesias /* If rd == r0, it's a nop. */ 21440cbf5b7SEdgar E. Iglesias if (dc->rd) { 2154acb54baSEdgar E. Iglesias tcg_gen_add_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 21640cbf5b7SEdgar E. Iglesias 21740cbf5b7SEdgar E. Iglesias if (c) { 21840cbf5b7SEdgar E. Iglesias /* c - Add carry into the result. */ 21940cbf5b7SEdgar E. Iglesias cf = tcg_temp_new(); 22040cbf5b7SEdgar E. Iglesias 22140cbf5b7SEdgar E. Iglesias read_carry(dc, cf); 22240cbf5b7SEdgar E. Iglesias tcg_gen_add_tl(cpu_R[dc->rd], cpu_R[dc->rd], cf); 22340cbf5b7SEdgar E. Iglesias tcg_temp_free(cf); 2244acb54baSEdgar E. Iglesias } 2254acb54baSEdgar E. Iglesias } 22640cbf5b7SEdgar E. Iglesias return; 22740cbf5b7SEdgar E. Iglesias } 22840cbf5b7SEdgar E. Iglesias 22940cbf5b7SEdgar E. Iglesias /* From now on, we can assume k is zero. So we need to update MSR. */ 23040cbf5b7SEdgar E. Iglesias /* Extract carry. */ 23140cbf5b7SEdgar E. Iglesias cf = tcg_temp_new(); 23240cbf5b7SEdgar E. Iglesias if (c) { 23340cbf5b7SEdgar E. Iglesias read_carry(dc, cf); 23440cbf5b7SEdgar E. Iglesias } else { 23540cbf5b7SEdgar E. Iglesias tcg_gen_movi_tl(cf, 0); 23640cbf5b7SEdgar E. Iglesias } 23740cbf5b7SEdgar E. Iglesias 23840cbf5b7SEdgar E. Iglesias if (dc->rd) { 23940cbf5b7SEdgar E. Iglesias TCGv ncf = tcg_temp_new(); 2405d0bb823SEdgar E. Iglesias gen_helper_carry(ncf, cpu_R[dc->ra], *(dec_alu_op_b(dc)), cf); 24140cbf5b7SEdgar E. Iglesias tcg_gen_add_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 24240cbf5b7SEdgar E. Iglesias tcg_gen_add_tl(cpu_R[dc->rd], cpu_R[dc->rd], cf); 24340cbf5b7SEdgar E. Iglesias write_carry(dc, ncf); 24440cbf5b7SEdgar E. Iglesias tcg_temp_free(ncf); 24540cbf5b7SEdgar E. Iglesias } else { 2465d0bb823SEdgar E. Iglesias gen_helper_carry(cf, cpu_R[dc->ra], *(dec_alu_op_b(dc)), cf); 24740cbf5b7SEdgar E. Iglesias write_carry(dc, cf); 24840cbf5b7SEdgar E. Iglesias } 24940cbf5b7SEdgar E. Iglesias tcg_temp_free(cf); 25040cbf5b7SEdgar E. Iglesias } 2514acb54baSEdgar E. Iglesias 2524acb54baSEdgar E. Iglesias static void dec_sub(DisasContext *dc) 2534acb54baSEdgar E. Iglesias { 2544acb54baSEdgar E. Iglesias unsigned int u, cmp, k, c; 255e0a42ebcSEdgar E. Iglesias TCGv cf, na; 2564acb54baSEdgar E. Iglesias 2574acb54baSEdgar E. Iglesias u = dc->imm & 2; 2584acb54baSEdgar E. Iglesias k = dc->opcode & 4; 2594acb54baSEdgar E. Iglesias c = dc->opcode & 2; 2604acb54baSEdgar E. Iglesias cmp = (dc->imm & 1) && (!dc->type_b) && k; 2614acb54baSEdgar E. Iglesias 2624acb54baSEdgar E. Iglesias if (cmp) { 2634acb54baSEdgar E. Iglesias LOG_DIS("cmp%s r%d, r%d ir=%x\n", u ? "u" : "", dc->rd, dc->ra, dc->ir); 2644acb54baSEdgar E. Iglesias if (dc->rd) { 2654acb54baSEdgar E. Iglesias if (u) 2664acb54baSEdgar E. Iglesias gen_helper_cmpu(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 2674acb54baSEdgar E. Iglesias else 2684acb54baSEdgar E. Iglesias gen_helper_cmp(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 2694acb54baSEdgar E. Iglesias } 270e0a42ebcSEdgar E. Iglesias return; 271e0a42ebcSEdgar E. Iglesias } 272e0a42ebcSEdgar E. Iglesias 2734acb54baSEdgar E. Iglesias LOG_DIS("sub%s%s r%d, r%d r%d\n", 2744acb54baSEdgar E. Iglesias k ? "k" : "", c ? "c" : "", dc->rd, dc->ra, dc->rb); 2754acb54baSEdgar E. Iglesias 276e0a42ebcSEdgar E. Iglesias /* Take care of the easy cases first. */ 277e0a42ebcSEdgar E. Iglesias if (k) { 278e0a42ebcSEdgar E. Iglesias /* k - keep carry, no need to update MSR. */ 279e0a42ebcSEdgar E. Iglesias /* If rd == r0, it's a nop. */ 280e0a42ebcSEdgar E. Iglesias if (dc->rd) { 2814acb54baSEdgar E. Iglesias tcg_gen_sub_tl(cpu_R[dc->rd], *(dec_alu_op_b(dc)), cpu_R[dc->ra]); 282e0a42ebcSEdgar E. Iglesias 283e0a42ebcSEdgar E. Iglesias if (c) { 284e0a42ebcSEdgar E. Iglesias /* c - Add carry into the result. */ 285e0a42ebcSEdgar E. Iglesias cf = tcg_temp_new(); 286e0a42ebcSEdgar E. Iglesias 287e0a42ebcSEdgar E. Iglesias read_carry(dc, cf); 288e0a42ebcSEdgar E. Iglesias tcg_gen_add_tl(cpu_R[dc->rd], cpu_R[dc->rd], cf); 289e0a42ebcSEdgar E. Iglesias tcg_temp_free(cf); 2904acb54baSEdgar E. Iglesias } 2914acb54baSEdgar E. Iglesias } 292e0a42ebcSEdgar E. Iglesias return; 293e0a42ebcSEdgar E. Iglesias } 294e0a42ebcSEdgar E. Iglesias 295e0a42ebcSEdgar E. Iglesias /* From now on, we can assume k is zero. So we need to update MSR. */ 296e0a42ebcSEdgar E. Iglesias /* Extract carry. And complement a into na. */ 297e0a42ebcSEdgar E. Iglesias cf = tcg_temp_new(); 298e0a42ebcSEdgar E. Iglesias na = tcg_temp_new(); 299e0a42ebcSEdgar E. Iglesias if (c) { 300e0a42ebcSEdgar E. Iglesias read_carry(dc, cf); 301e0a42ebcSEdgar E. Iglesias } else { 302e0a42ebcSEdgar E. Iglesias tcg_gen_movi_tl(cf, 1); 303e0a42ebcSEdgar E. Iglesias } 304e0a42ebcSEdgar E. Iglesias 305e0a42ebcSEdgar E. Iglesias /* d = b + ~a + c. carry defaults to 1. */ 306e0a42ebcSEdgar E. Iglesias tcg_gen_not_tl(na, cpu_R[dc->ra]); 307e0a42ebcSEdgar E. Iglesias 308e0a42ebcSEdgar E. Iglesias if (dc->rd) { 309e0a42ebcSEdgar E. Iglesias TCGv ncf = tcg_temp_new(); 3105d0bb823SEdgar E. Iglesias gen_helper_carry(ncf, na, *(dec_alu_op_b(dc)), cf); 311e0a42ebcSEdgar E. Iglesias tcg_gen_add_tl(cpu_R[dc->rd], na, *(dec_alu_op_b(dc))); 312e0a42ebcSEdgar E. Iglesias tcg_gen_add_tl(cpu_R[dc->rd], cpu_R[dc->rd], cf); 313e0a42ebcSEdgar E. Iglesias write_carry(dc, ncf); 314e0a42ebcSEdgar E. Iglesias tcg_temp_free(ncf); 315e0a42ebcSEdgar E. Iglesias } else { 3165d0bb823SEdgar E. Iglesias gen_helper_carry(cf, na, *(dec_alu_op_b(dc)), cf); 317e0a42ebcSEdgar E. Iglesias write_carry(dc, cf); 318e0a42ebcSEdgar E. Iglesias } 319e0a42ebcSEdgar E. Iglesias tcg_temp_free(cf); 320e0a42ebcSEdgar E. Iglesias tcg_temp_free(na); 321e0a42ebcSEdgar E. Iglesias } 3224acb54baSEdgar E. Iglesias 3234acb54baSEdgar E. Iglesias static void dec_pattern(DisasContext *dc) 3244acb54baSEdgar E. Iglesias { 3254acb54baSEdgar E. Iglesias unsigned int mode; 3264acb54baSEdgar E. Iglesias 3271567a005SEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 3280063ebd6SAndreas Färber && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 3298fc5239eSEdgar E. Iglesias && !dc->cpu->cfg.use_pcmp_instr) { 3301567a005SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 3311567a005SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 3321567a005SEdgar E. Iglesias } 3331567a005SEdgar E. Iglesias 3344acb54baSEdgar E. Iglesias mode = dc->opcode & 3; 3354acb54baSEdgar E. Iglesias switch (mode) { 3364acb54baSEdgar E. Iglesias case 0: 3374acb54baSEdgar E. Iglesias /* pcmpbf. */ 3384acb54baSEdgar E. Iglesias LOG_DIS("pcmpbf r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 3394acb54baSEdgar E. Iglesias if (dc->rd) 3404acb54baSEdgar E. Iglesias gen_helper_pcmpbf(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 3414acb54baSEdgar E. Iglesias break; 3424acb54baSEdgar E. Iglesias case 2: 3434acb54baSEdgar E. Iglesias LOG_DIS("pcmpeq r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 3444acb54baSEdgar E. Iglesias if (dc->rd) { 34586112805SRichard Henderson tcg_gen_setcond_tl(TCG_COND_EQ, cpu_R[dc->rd], 34686112805SRichard Henderson cpu_R[dc->ra], cpu_R[dc->rb]); 3474acb54baSEdgar E. Iglesias } 3484acb54baSEdgar E. Iglesias break; 3494acb54baSEdgar E. Iglesias case 3: 3504acb54baSEdgar E. Iglesias LOG_DIS("pcmpne r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 3514acb54baSEdgar E. Iglesias if (dc->rd) { 35286112805SRichard Henderson tcg_gen_setcond_tl(TCG_COND_NE, cpu_R[dc->rd], 35386112805SRichard Henderson cpu_R[dc->ra], cpu_R[dc->rb]); 3544acb54baSEdgar E. Iglesias } 3554acb54baSEdgar E. Iglesias break; 3564acb54baSEdgar E. Iglesias default: 3570063ebd6SAndreas Färber cpu_abort(CPU(dc->cpu), 3584acb54baSEdgar E. Iglesias "unsupported pattern insn opcode=%x\n", dc->opcode); 3594acb54baSEdgar E. Iglesias break; 3604acb54baSEdgar E. Iglesias } 3614acb54baSEdgar E. Iglesias } 3624acb54baSEdgar E. Iglesias 3634acb54baSEdgar E. Iglesias static void dec_and(DisasContext *dc) 3644acb54baSEdgar E. Iglesias { 3654acb54baSEdgar E. Iglesias unsigned int not; 3664acb54baSEdgar E. Iglesias 3674acb54baSEdgar E. Iglesias if (!dc->type_b && (dc->imm & (1 << 10))) { 3684acb54baSEdgar E. Iglesias dec_pattern(dc); 3694acb54baSEdgar E. Iglesias return; 3704acb54baSEdgar E. Iglesias } 3714acb54baSEdgar E. Iglesias 3724acb54baSEdgar E. Iglesias not = dc->opcode & (1 << 1); 3734acb54baSEdgar E. Iglesias LOG_DIS("and%s\n", not ? "n" : ""); 3744acb54baSEdgar E. Iglesias 3754acb54baSEdgar E. Iglesias if (!dc->rd) 3764acb54baSEdgar E. Iglesias return; 3774acb54baSEdgar E. Iglesias 3784acb54baSEdgar E. Iglesias if (not) { 379a235900eSEdgar E. Iglesias tcg_gen_andc_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 3804acb54baSEdgar E. Iglesias } else 3814acb54baSEdgar E. Iglesias tcg_gen_and_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 3824acb54baSEdgar E. Iglesias } 3834acb54baSEdgar E. Iglesias 3844acb54baSEdgar E. Iglesias static void dec_or(DisasContext *dc) 3854acb54baSEdgar E. Iglesias { 3864acb54baSEdgar E. Iglesias if (!dc->type_b && (dc->imm & (1 << 10))) { 3874acb54baSEdgar E. Iglesias dec_pattern(dc); 3884acb54baSEdgar E. Iglesias return; 3894acb54baSEdgar E. Iglesias } 3904acb54baSEdgar E. Iglesias 3914acb54baSEdgar E. Iglesias LOG_DIS("or r%d r%d r%d imm=%x\n", dc->rd, dc->ra, dc->rb, dc->imm); 3924acb54baSEdgar E. Iglesias if (dc->rd) 3934acb54baSEdgar E. Iglesias tcg_gen_or_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 3944acb54baSEdgar E. Iglesias } 3954acb54baSEdgar E. Iglesias 3964acb54baSEdgar E. Iglesias static void dec_xor(DisasContext *dc) 3974acb54baSEdgar E. Iglesias { 3984acb54baSEdgar E. Iglesias if (!dc->type_b && (dc->imm & (1 << 10))) { 3994acb54baSEdgar E. Iglesias dec_pattern(dc); 4004acb54baSEdgar E. Iglesias return; 4014acb54baSEdgar E. Iglesias } 4024acb54baSEdgar E. Iglesias 4034acb54baSEdgar E. Iglesias LOG_DIS("xor r%d\n", dc->rd); 4044acb54baSEdgar E. Iglesias if (dc->rd) 4054acb54baSEdgar E. Iglesias tcg_gen_xor_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 4064acb54baSEdgar E. Iglesias } 4074acb54baSEdgar E. Iglesias 4084acb54baSEdgar E. Iglesias static inline void msr_read(DisasContext *dc, TCGv d) 4094acb54baSEdgar E. Iglesias { 4104acb54baSEdgar E. Iglesias tcg_gen_mov_tl(d, cpu_SR[SR_MSR]); 4114acb54baSEdgar E. Iglesias } 4124acb54baSEdgar E. Iglesias 4134acb54baSEdgar E. Iglesias static inline void msr_write(DisasContext *dc, TCGv v) 4144acb54baSEdgar E. Iglesias { 41597b833c5SEdgar E. Iglesias TCGv t; 41697b833c5SEdgar E. Iglesias 41797b833c5SEdgar E. Iglesias t = tcg_temp_new(); 4184acb54baSEdgar E. Iglesias dc->cpustate_changed = 1; 41997b833c5SEdgar E. Iglesias /* PVR bit is not writable. */ 4208a84fc6bSEdgar E. Iglesias tcg_gen_andi_tl(t, v, ~MSR_PVR); 4218a84fc6bSEdgar E. Iglesias tcg_gen_andi_tl(cpu_SR[SR_MSR], cpu_SR[SR_MSR], MSR_PVR); 42297b833c5SEdgar E. Iglesias tcg_gen_or_tl(cpu_SR[SR_MSR], cpu_SR[SR_MSR], v); 42397b833c5SEdgar E. Iglesias tcg_temp_free(t); 4244acb54baSEdgar E. Iglesias } 4254acb54baSEdgar E. Iglesias 4264acb54baSEdgar E. Iglesias static void dec_msr(DisasContext *dc) 4274acb54baSEdgar E. Iglesias { 4280063ebd6SAndreas Färber CPUState *cs = CPU(dc->cpu); 4294acb54baSEdgar E. Iglesias TCGv t0, t1; 4304acb54baSEdgar E. Iglesias unsigned int sr, to, rn; 43197ed5ccdSBenjamin Herrenschmidt int mem_index = cpu_mmu_index(&dc->cpu->env, false); 4324acb54baSEdgar E. Iglesias 4334acb54baSEdgar E. Iglesias sr = dc->imm & ((1 << 14) - 1); 4344acb54baSEdgar E. Iglesias to = dc->imm & (1 << 14); 4354acb54baSEdgar E. Iglesias dc->type_b = 1; 4364acb54baSEdgar E. Iglesias if (to) 4374acb54baSEdgar E. Iglesias dc->cpustate_changed = 1; 4384acb54baSEdgar E. Iglesias 4394acb54baSEdgar E. Iglesias /* msrclr and msrset. */ 4404acb54baSEdgar E. Iglesias if (!(dc->imm & (1 << 15))) { 4414acb54baSEdgar E. Iglesias unsigned int clr = dc->ir & (1 << 16); 4424acb54baSEdgar E. Iglesias 4434acb54baSEdgar E. Iglesias LOG_DIS("msr%s r%d imm=%x\n", clr ? "clr" : "set", 4444acb54baSEdgar E. Iglesias dc->rd, dc->imm); 4451567a005SEdgar E. Iglesias 44656837509SEdgar E. Iglesias if (!dc->cpu->cfg.use_msr_instr) { 4471567a005SEdgar E. Iglesias /* nop??? */ 4481567a005SEdgar E. Iglesias return; 4491567a005SEdgar E. Iglesias } 4501567a005SEdgar E. Iglesias 4511567a005SEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 4521567a005SEdgar E. Iglesias && mem_index == MMU_USER_IDX && (dc->imm != 4 && dc->imm != 0)) { 4531567a005SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 4541567a005SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 4551567a005SEdgar E. Iglesias return; 4561567a005SEdgar E. Iglesias } 4571567a005SEdgar E. Iglesias 4584acb54baSEdgar E. Iglesias if (dc->rd) 4594acb54baSEdgar E. Iglesias msr_read(dc, cpu_R[dc->rd]); 4604acb54baSEdgar E. Iglesias 4614acb54baSEdgar E. Iglesias t0 = tcg_temp_new(); 4624acb54baSEdgar E. Iglesias t1 = tcg_temp_new(); 4634acb54baSEdgar E. Iglesias msr_read(dc, t0); 4644acb54baSEdgar E. Iglesias tcg_gen_mov_tl(t1, *(dec_alu_op_b(dc))); 4654acb54baSEdgar E. Iglesias 4664acb54baSEdgar E. Iglesias if (clr) { 4674acb54baSEdgar E. Iglesias tcg_gen_not_tl(t1, t1); 4684acb54baSEdgar E. Iglesias tcg_gen_and_tl(t0, t0, t1); 4694acb54baSEdgar E. Iglesias } else 4704acb54baSEdgar E. Iglesias tcg_gen_or_tl(t0, t0, t1); 4714acb54baSEdgar E. Iglesias msr_write(dc, t0); 4724acb54baSEdgar E. Iglesias tcg_temp_free(t0); 4734acb54baSEdgar E. Iglesias tcg_temp_free(t1); 4744acb54baSEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_PC], dc->pc + 4); 4754acb54baSEdgar E. Iglesias dc->is_jmp = DISAS_UPDATE; 4764acb54baSEdgar E. Iglesias return; 4774acb54baSEdgar E. Iglesias } 4784acb54baSEdgar E. Iglesias 4791567a005SEdgar E. Iglesias if (to) { 4801567a005SEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 4811567a005SEdgar E. Iglesias && mem_index == MMU_USER_IDX) { 4821567a005SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 4831567a005SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 4841567a005SEdgar E. Iglesias return; 4851567a005SEdgar E. Iglesias } 4861567a005SEdgar E. Iglesias } 4871567a005SEdgar E. Iglesias 4884acb54baSEdgar E. Iglesias #if !defined(CONFIG_USER_ONLY) 4894acb54baSEdgar E. Iglesias /* Catch read/writes to the mmu block. */ 4904acb54baSEdgar E. Iglesias if ((sr & ~0xff) == 0x1000) { 4914acb54baSEdgar E. Iglesias sr &= 7; 4924acb54baSEdgar E. Iglesias LOG_DIS("m%ss sr%d r%d imm=%x\n", to ? "t" : "f", sr, dc->ra, dc->imm); 4934acb54baSEdgar E. Iglesias if (to) 49464254ebaSBlue Swirl gen_helper_mmu_write(cpu_env, tcg_const_tl(sr), cpu_R[dc->ra]); 4954acb54baSEdgar E. Iglesias else 49664254ebaSBlue Swirl gen_helper_mmu_read(cpu_R[dc->rd], cpu_env, tcg_const_tl(sr)); 4974acb54baSEdgar E. Iglesias return; 4984acb54baSEdgar E. Iglesias } 4994acb54baSEdgar E. Iglesias #endif 5004acb54baSEdgar E. Iglesias 5014acb54baSEdgar E. Iglesias if (to) { 5024acb54baSEdgar E. Iglesias LOG_DIS("m%ss sr%x r%d imm=%x\n", to ? "t" : "f", sr, dc->ra, dc->imm); 5034acb54baSEdgar E. Iglesias switch (sr) { 5044acb54baSEdgar E. Iglesias case 0: 5054acb54baSEdgar E. Iglesias break; 5064acb54baSEdgar E. Iglesias case 1: 5074acb54baSEdgar E. Iglesias msr_write(dc, cpu_R[dc->ra]); 5084acb54baSEdgar E. Iglesias break; 5094acb54baSEdgar E. Iglesias case 0x3: 5104acb54baSEdgar E. Iglesias tcg_gen_mov_tl(cpu_SR[SR_EAR], cpu_R[dc->ra]); 5114acb54baSEdgar E. Iglesias break; 5124acb54baSEdgar E. Iglesias case 0x5: 5134acb54baSEdgar E. Iglesias tcg_gen_mov_tl(cpu_SR[SR_ESR], cpu_R[dc->ra]); 5144acb54baSEdgar E. Iglesias break; 5154acb54baSEdgar E. Iglesias case 0x7: 51697694c57SEdgar E. Iglesias tcg_gen_andi_tl(cpu_SR[SR_FSR], cpu_R[dc->ra], 31); 5174acb54baSEdgar E. Iglesias break; 5185818dee5SEdgar E. Iglesias case 0x800: 51968cee38aSAndreas Färber tcg_gen_st_tl(cpu_R[dc->ra], cpu_env, offsetof(CPUMBState, slr)); 5205818dee5SEdgar E. Iglesias break; 5215818dee5SEdgar E. Iglesias case 0x802: 52268cee38aSAndreas Färber tcg_gen_st_tl(cpu_R[dc->ra], cpu_env, offsetof(CPUMBState, shr)); 5235818dee5SEdgar E. Iglesias break; 5244acb54baSEdgar E. Iglesias default: 5250063ebd6SAndreas Färber cpu_abort(CPU(dc->cpu), "unknown mts reg %x\n", sr); 5264acb54baSEdgar E. Iglesias break; 5274acb54baSEdgar E. Iglesias } 5284acb54baSEdgar E. Iglesias } else { 5294acb54baSEdgar E. Iglesias LOG_DIS("m%ss r%d sr%x imm=%x\n", to ? "t" : "f", dc->rd, sr, dc->imm); 5304acb54baSEdgar E. Iglesias 5314acb54baSEdgar E. Iglesias switch (sr) { 5324acb54baSEdgar E. Iglesias case 0: 5334acb54baSEdgar E. Iglesias tcg_gen_movi_tl(cpu_R[dc->rd], dc->pc); 5344acb54baSEdgar E. Iglesias break; 5354acb54baSEdgar E. Iglesias case 1: 5364acb54baSEdgar E. Iglesias msr_read(dc, cpu_R[dc->rd]); 5374acb54baSEdgar E. Iglesias break; 5384acb54baSEdgar E. Iglesias case 0x3: 5394acb54baSEdgar E. Iglesias tcg_gen_mov_tl(cpu_R[dc->rd], cpu_SR[SR_EAR]); 5404acb54baSEdgar E. Iglesias break; 5414acb54baSEdgar E. Iglesias case 0x5: 5424acb54baSEdgar E. Iglesias tcg_gen_mov_tl(cpu_R[dc->rd], cpu_SR[SR_ESR]); 5434acb54baSEdgar E. Iglesias break; 5444acb54baSEdgar E. Iglesias case 0x7: 54597694c57SEdgar E. Iglesias tcg_gen_mov_tl(cpu_R[dc->rd], cpu_SR[SR_FSR]); 5464acb54baSEdgar E. Iglesias break; 5474acb54baSEdgar E. Iglesias case 0xb: 5484acb54baSEdgar E. Iglesias tcg_gen_mov_tl(cpu_R[dc->rd], cpu_SR[SR_BTR]); 5494acb54baSEdgar E. Iglesias break; 5505818dee5SEdgar E. Iglesias case 0x800: 55168cee38aSAndreas Färber tcg_gen_ld_tl(cpu_R[dc->rd], cpu_env, offsetof(CPUMBState, slr)); 5525818dee5SEdgar E. Iglesias break; 5535818dee5SEdgar E. Iglesias case 0x802: 55468cee38aSAndreas Färber tcg_gen_ld_tl(cpu_R[dc->rd], cpu_env, offsetof(CPUMBState, shr)); 5555818dee5SEdgar E. Iglesias break; 5564acb54baSEdgar E. Iglesias case 0x2000: 5574acb54baSEdgar E. Iglesias case 0x2001: 5584acb54baSEdgar E. Iglesias case 0x2002: 5594acb54baSEdgar E. Iglesias case 0x2003: 5604acb54baSEdgar E. Iglesias case 0x2004: 5614acb54baSEdgar E. Iglesias case 0x2005: 5624acb54baSEdgar E. Iglesias case 0x2006: 5634acb54baSEdgar E. Iglesias case 0x2007: 5644acb54baSEdgar E. Iglesias case 0x2008: 5654acb54baSEdgar E. Iglesias case 0x2009: 5664acb54baSEdgar E. Iglesias case 0x200a: 5674acb54baSEdgar E. Iglesias case 0x200b: 5684acb54baSEdgar E. Iglesias case 0x200c: 5694acb54baSEdgar E. Iglesias rn = sr & 0xf; 5704acb54baSEdgar E. Iglesias tcg_gen_ld_tl(cpu_R[dc->rd], 57168cee38aSAndreas Färber cpu_env, offsetof(CPUMBState, pvr.regs[rn])); 5724acb54baSEdgar E. Iglesias break; 5734acb54baSEdgar E. Iglesias default: 574a47dddd7SAndreas Färber cpu_abort(cs, "unknown mfs reg %x\n", sr); 5754acb54baSEdgar E. Iglesias break; 5764acb54baSEdgar E. Iglesias } 5774acb54baSEdgar E. Iglesias } 578ee7dbcf8SEdgar E. Iglesias 579ee7dbcf8SEdgar E. Iglesias if (dc->rd == 0) { 580ee7dbcf8SEdgar E. Iglesias tcg_gen_movi_tl(cpu_R[0], 0); 581ee7dbcf8SEdgar E. Iglesias } 5824acb54baSEdgar E. Iglesias } 5834acb54baSEdgar E. Iglesias 5844acb54baSEdgar E. Iglesias /* Multiplier unit. */ 5854acb54baSEdgar E. Iglesias static void dec_mul(DisasContext *dc) 5864acb54baSEdgar E. Iglesias { 58716ece88dSRichard Henderson TCGv tmp; 5884acb54baSEdgar E. Iglesias unsigned int subcode; 5894acb54baSEdgar E. Iglesias 5901567a005SEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 5910063ebd6SAndreas Färber && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 5929b964318SEdgar E. Iglesias && !dc->cpu->cfg.use_hw_mul) { 5931567a005SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 5941567a005SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 5951567a005SEdgar E. Iglesias return; 5961567a005SEdgar E. Iglesias } 5971567a005SEdgar E. Iglesias 5984acb54baSEdgar E. Iglesias subcode = dc->imm & 3; 5994acb54baSEdgar E. Iglesias 6004acb54baSEdgar E. Iglesias if (dc->type_b) { 6014acb54baSEdgar E. Iglesias LOG_DIS("muli r%d r%d %x\n", dc->rd, dc->ra, dc->imm); 60216ece88dSRichard Henderson tcg_gen_mul_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 60316ece88dSRichard Henderson return; 6044acb54baSEdgar E. Iglesias } 6054acb54baSEdgar E. Iglesias 6061567a005SEdgar E. Iglesias /* mulh, mulhsu and mulhu are not available if C_USE_HW_MUL is < 2. */ 6079b964318SEdgar E. Iglesias if (subcode >= 1 && subcode <= 3 && dc->cpu->cfg.use_hw_mul < 2) { 6081567a005SEdgar E. Iglesias /* nop??? */ 6091567a005SEdgar E. Iglesias } 6101567a005SEdgar E. Iglesias 61116ece88dSRichard Henderson tmp = tcg_temp_new(); 6124acb54baSEdgar E. Iglesias switch (subcode) { 6134acb54baSEdgar E. Iglesias case 0: 6144acb54baSEdgar E. Iglesias LOG_DIS("mul r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 61516ece88dSRichard Henderson tcg_gen_mul_tl(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 6164acb54baSEdgar E. Iglesias break; 6174acb54baSEdgar E. Iglesias case 1: 6184acb54baSEdgar E. Iglesias LOG_DIS("mulh r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 61916ece88dSRichard Henderson tcg_gen_muls2_tl(tmp, cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 6204acb54baSEdgar E. Iglesias break; 6214acb54baSEdgar E. Iglesias case 2: 6224acb54baSEdgar E. Iglesias LOG_DIS("mulhsu r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 62316ece88dSRichard Henderson tcg_gen_mulsu2_tl(tmp, cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 6244acb54baSEdgar E. Iglesias break; 6254acb54baSEdgar E. Iglesias case 3: 6264acb54baSEdgar E. Iglesias LOG_DIS("mulhu r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 62716ece88dSRichard Henderson tcg_gen_mulu2_tl(tmp, cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 6284acb54baSEdgar E. Iglesias break; 6294acb54baSEdgar E. Iglesias default: 6300063ebd6SAndreas Färber cpu_abort(CPU(dc->cpu), "unknown MUL insn %x\n", subcode); 6314acb54baSEdgar E. Iglesias break; 6324acb54baSEdgar E. Iglesias } 63316ece88dSRichard Henderson tcg_temp_free(tmp); 6344acb54baSEdgar E. Iglesias } 6354acb54baSEdgar E. Iglesias 6364acb54baSEdgar E. Iglesias /* Div unit. */ 6374acb54baSEdgar E. Iglesias static void dec_div(DisasContext *dc) 6384acb54baSEdgar E. Iglesias { 6394acb54baSEdgar E. Iglesias unsigned int u; 6404acb54baSEdgar E. Iglesias 6414acb54baSEdgar E. Iglesias u = dc->imm & 2; 6424acb54baSEdgar E. Iglesias LOG_DIS("div\n"); 6434acb54baSEdgar E. Iglesias 6440063ebd6SAndreas Färber if ((dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 64547709e4cSEdgar E. Iglesias && !dc->cpu->cfg.use_div) { 6461567a005SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 6471567a005SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 6481567a005SEdgar E. Iglesias } 6491567a005SEdgar E. Iglesias 6504acb54baSEdgar E. Iglesias if (u) 65164254ebaSBlue Swirl gen_helper_divu(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)), 65264254ebaSBlue Swirl cpu_R[dc->ra]); 6534acb54baSEdgar E. Iglesias else 65464254ebaSBlue Swirl gen_helper_divs(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)), 65564254ebaSBlue Swirl cpu_R[dc->ra]); 6564acb54baSEdgar E. Iglesias if (!dc->rd) 6574acb54baSEdgar E. Iglesias tcg_gen_movi_tl(cpu_R[dc->rd], 0); 6584acb54baSEdgar E. Iglesias } 6594acb54baSEdgar E. Iglesias 6604acb54baSEdgar E. Iglesias static void dec_barrel(DisasContext *dc) 6614acb54baSEdgar E. Iglesias { 6624acb54baSEdgar E. Iglesias TCGv t0; 663bc54e71eSEdgar E. Iglesias bool s, t; 6644acb54baSEdgar E. Iglesias 6651567a005SEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 6660063ebd6SAndreas Färber && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 6677faa66aaSEdgar E. Iglesias && !dc->cpu->cfg.use_barrel) { 6681567a005SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 6691567a005SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 6701567a005SEdgar E. Iglesias return; 6711567a005SEdgar E. Iglesias } 6721567a005SEdgar E. Iglesias 673e3e84983SEdgar E. Iglesias s = extract32(dc->imm, 10, 1); 674e3e84983SEdgar E. Iglesias t = extract32(dc->imm, 9, 1); 6754acb54baSEdgar E. Iglesias 6764acb54baSEdgar E. Iglesias LOG_DIS("bs%s%s r%d r%d r%d\n", 6774acb54baSEdgar E. Iglesias s ? "l" : "r", t ? "a" : "l", dc->rd, dc->ra, dc->rb); 6784acb54baSEdgar E. Iglesias 6794acb54baSEdgar E. Iglesias t0 = tcg_temp_new(); 6804acb54baSEdgar E. Iglesias 6814acb54baSEdgar E. Iglesias tcg_gen_mov_tl(t0, *(dec_alu_op_b(dc))); 6824acb54baSEdgar E. Iglesias tcg_gen_andi_tl(t0, t0, 31); 6834acb54baSEdgar E. Iglesias 6842acf6d53SEdgar E. Iglesias if (s) { 6854acb54baSEdgar E. Iglesias tcg_gen_shl_tl(cpu_R[dc->rd], cpu_R[dc->ra], t0); 6862acf6d53SEdgar E. Iglesias } else { 6872acf6d53SEdgar E. Iglesias if (t) { 6884acb54baSEdgar E. Iglesias tcg_gen_sar_tl(cpu_R[dc->rd], cpu_R[dc->ra], t0); 6892acf6d53SEdgar E. Iglesias } else { 6904acb54baSEdgar E. Iglesias tcg_gen_shr_tl(cpu_R[dc->rd], cpu_R[dc->ra], t0); 6914acb54baSEdgar E. Iglesias } 6924acb54baSEdgar E. Iglesias } 693*5c8f44b7SEdgar E. Iglesias tcg_temp_free(t0); 6942acf6d53SEdgar E. Iglesias } 6954acb54baSEdgar E. Iglesias 6964acb54baSEdgar E. Iglesias static void dec_bit(DisasContext *dc) 6974acb54baSEdgar E. Iglesias { 6980063ebd6SAndreas Färber CPUState *cs = CPU(dc->cpu); 69909b9f113SEdgar E. Iglesias TCGv t0; 7004acb54baSEdgar E. Iglesias unsigned int op; 70197ed5ccdSBenjamin Herrenschmidt int mem_index = cpu_mmu_index(&dc->cpu->env, false); 7024acb54baSEdgar E. Iglesias 703ace2e4daSPeter A. G. Crosthwaite op = dc->ir & ((1 << 9) - 1); 7044acb54baSEdgar E. Iglesias switch (op) { 7054acb54baSEdgar E. Iglesias case 0x21: 7064acb54baSEdgar E. Iglesias /* src. */ 7074acb54baSEdgar E. Iglesias t0 = tcg_temp_new(); 7084acb54baSEdgar E. Iglesias 7094acb54baSEdgar E. Iglesias LOG_DIS("src r%d r%d\n", dc->rd, dc->ra); 71009b9f113SEdgar E. Iglesias tcg_gen_andi_tl(t0, cpu_SR[SR_MSR], MSR_CC); 71109b9f113SEdgar E. Iglesias write_carry(dc, cpu_R[dc->ra]); 7124acb54baSEdgar E. Iglesias if (dc->rd) { 7134acb54baSEdgar E. Iglesias tcg_gen_shri_tl(cpu_R[dc->rd], cpu_R[dc->ra], 1); 71409b9f113SEdgar E. Iglesias tcg_gen_or_tl(cpu_R[dc->rd], cpu_R[dc->rd], t0); 7154acb54baSEdgar E. Iglesias } 7164acb54baSEdgar E. Iglesias tcg_temp_free(t0); 7174acb54baSEdgar E. Iglesias break; 7184acb54baSEdgar E. Iglesias 7194acb54baSEdgar E. Iglesias case 0x1: 7204acb54baSEdgar E. Iglesias case 0x41: 7214acb54baSEdgar E. Iglesias /* srl. */ 7224acb54baSEdgar E. Iglesias LOG_DIS("srl r%d r%d\n", dc->rd, dc->ra); 7234acb54baSEdgar E. Iglesias 724bb3cb951SEdgar E. Iglesias /* Update carry. Note that write carry only looks at the LSB. */ 725bb3cb951SEdgar E. Iglesias write_carry(dc, cpu_R[dc->ra]); 7264acb54baSEdgar E. Iglesias if (dc->rd) { 7274acb54baSEdgar E. Iglesias if (op == 0x41) 7284acb54baSEdgar E. Iglesias tcg_gen_shri_tl(cpu_R[dc->rd], cpu_R[dc->ra], 1); 7294acb54baSEdgar E. Iglesias else 7304acb54baSEdgar E. Iglesias tcg_gen_sari_tl(cpu_R[dc->rd], cpu_R[dc->ra], 1); 7314acb54baSEdgar E. Iglesias } 7324acb54baSEdgar E. Iglesias break; 7334acb54baSEdgar E. Iglesias case 0x60: 7344acb54baSEdgar E. Iglesias LOG_DIS("ext8s r%d r%d\n", dc->rd, dc->ra); 7354acb54baSEdgar E. Iglesias tcg_gen_ext8s_i32(cpu_R[dc->rd], cpu_R[dc->ra]); 7364acb54baSEdgar E. Iglesias break; 7374acb54baSEdgar E. Iglesias case 0x61: 7384acb54baSEdgar E. Iglesias LOG_DIS("ext16s r%d r%d\n", dc->rd, dc->ra); 7394acb54baSEdgar E. Iglesias tcg_gen_ext16s_i32(cpu_R[dc->rd], cpu_R[dc->ra]); 7404acb54baSEdgar E. Iglesias break; 7414acb54baSEdgar E. Iglesias case 0x64: 742f062a3c7SEdgar E. Iglesias case 0x66: 743f062a3c7SEdgar E. Iglesias case 0x74: 744f062a3c7SEdgar E. Iglesias case 0x76: 7454acb54baSEdgar E. Iglesias /* wdc. */ 7464acb54baSEdgar E. Iglesias LOG_DIS("wdc r%d\n", dc->ra); 7471567a005SEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 7481567a005SEdgar E. Iglesias && mem_index == MMU_USER_IDX) { 7491567a005SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 7501567a005SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 7511567a005SEdgar E. Iglesias return; 7521567a005SEdgar E. Iglesias } 7534acb54baSEdgar E. Iglesias break; 7544acb54baSEdgar E. Iglesias case 0x68: 7554acb54baSEdgar E. Iglesias /* wic. */ 7564acb54baSEdgar E. Iglesias LOG_DIS("wic r%d\n", dc->ra); 7571567a005SEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 7581567a005SEdgar E. Iglesias && mem_index == MMU_USER_IDX) { 7591567a005SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 7601567a005SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 7611567a005SEdgar E. Iglesias return; 7621567a005SEdgar E. Iglesias } 7634acb54baSEdgar E. Iglesias break; 76448b5e96fSEdgar E. Iglesias case 0xe0: 76548b5e96fSEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 7660063ebd6SAndreas Färber && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 7678fc5239eSEdgar E. Iglesias && !dc->cpu->cfg.use_pcmp_instr) { 76848b5e96fSEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 76948b5e96fSEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 77048b5e96fSEdgar E. Iglesias } 7718fc5239eSEdgar E. Iglesias if (dc->cpu->cfg.use_pcmp_instr) { 7725318420cSRichard Henderson tcg_gen_clzi_i32(cpu_R[dc->rd], cpu_R[dc->ra], 32); 77348b5e96fSEdgar E. Iglesias } 77448b5e96fSEdgar E. Iglesias break; 775ace2e4daSPeter A. G. Crosthwaite case 0x1e0: 776ace2e4daSPeter A. G. Crosthwaite /* swapb */ 777ace2e4daSPeter A. G. Crosthwaite LOG_DIS("swapb r%d r%d\n", dc->rd, dc->ra); 778ace2e4daSPeter A. G. Crosthwaite tcg_gen_bswap32_i32(cpu_R[dc->rd], cpu_R[dc->ra]); 779ace2e4daSPeter A. G. Crosthwaite break; 780b8c6a5d9SPeter Crosthwaite case 0x1e2: 781ace2e4daSPeter A. G. Crosthwaite /*swaph */ 782ace2e4daSPeter A. G. Crosthwaite LOG_DIS("swaph r%d r%d\n", dc->rd, dc->ra); 783ace2e4daSPeter A. G. Crosthwaite tcg_gen_rotri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 16); 784ace2e4daSPeter A. G. Crosthwaite break; 7854acb54baSEdgar E. Iglesias default: 786a47dddd7SAndreas Färber cpu_abort(cs, "unknown bit oc=%x op=%x rd=%d ra=%d rb=%d\n", 7874acb54baSEdgar E. Iglesias dc->pc, op, dc->rd, dc->ra, dc->rb); 7884acb54baSEdgar E. Iglesias break; 7894acb54baSEdgar E. Iglesias } 7904acb54baSEdgar E. Iglesias } 7914acb54baSEdgar E. Iglesias 7924acb54baSEdgar E. Iglesias static inline void sync_jmpstate(DisasContext *dc) 7934acb54baSEdgar E. Iglesias { 794844bab60SEdgar E. Iglesias if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) { 7954acb54baSEdgar E. Iglesias if (dc->jmp == JMP_DIRECT) { 796844bab60SEdgar E. Iglesias tcg_gen_movi_tl(env_btaken, 1); 797844bab60SEdgar E. Iglesias } 7984acb54baSEdgar E. Iglesias dc->jmp = JMP_INDIRECT; 7994acb54baSEdgar E. Iglesias tcg_gen_movi_tl(env_btarget, dc->jmp_pc); 8004acb54baSEdgar E. Iglesias } 8014acb54baSEdgar E. Iglesias } 8024acb54baSEdgar E. Iglesias 8034acb54baSEdgar E. Iglesias static void dec_imm(DisasContext *dc) 8044acb54baSEdgar E. Iglesias { 8054acb54baSEdgar E. Iglesias LOG_DIS("imm %x\n", dc->imm << 16); 8064acb54baSEdgar E. Iglesias tcg_gen_movi_tl(env_imm, (dc->imm << 16)); 8074acb54baSEdgar E. Iglesias dc->tb_flags |= IMM_FLAG; 8084acb54baSEdgar E. Iglesias dc->clear_imm = 0; 8094acb54baSEdgar E. Iglesias } 8104acb54baSEdgar E. Iglesias 8114acb54baSEdgar E. Iglesias static inline TCGv *compute_ldst_addr(DisasContext *dc, TCGv *t) 8124acb54baSEdgar E. Iglesias { 8134acb54baSEdgar E. Iglesias unsigned int extimm = dc->tb_flags & IMM_FLAG; 8145818dee5SEdgar E. Iglesias /* Should be set to one if r1 is used by loadstores. */ 8155818dee5SEdgar E. Iglesias int stackprot = 0; 8165818dee5SEdgar E. Iglesias 8175818dee5SEdgar E. Iglesias /* All load/stores use ra. */ 8189aaaa181SAlistair Francis if (dc->ra == 1 && dc->cpu->cfg.stackprot) { 8195818dee5SEdgar E. Iglesias stackprot = 1; 8205818dee5SEdgar E. Iglesias } 8214acb54baSEdgar E. Iglesias 8229ef55357SEdgar E. Iglesias /* Treat the common cases first. */ 8234acb54baSEdgar E. Iglesias if (!dc->type_b) { 8244b5ef0b5SEdgar E. Iglesias /* If any of the regs is r0, return a ptr to the other. */ 8254b5ef0b5SEdgar E. Iglesias if (dc->ra == 0) { 8264b5ef0b5SEdgar E. Iglesias return &cpu_R[dc->rb]; 8274b5ef0b5SEdgar E. Iglesias } else if (dc->rb == 0) { 8284b5ef0b5SEdgar E. Iglesias return &cpu_R[dc->ra]; 8294b5ef0b5SEdgar E. Iglesias } 8304b5ef0b5SEdgar E. Iglesias 8319aaaa181SAlistair Francis if (dc->rb == 1 && dc->cpu->cfg.stackprot) { 8325818dee5SEdgar E. Iglesias stackprot = 1; 8335818dee5SEdgar E. Iglesias } 8345818dee5SEdgar E. Iglesias 8354acb54baSEdgar E. Iglesias *t = tcg_temp_new(); 8364acb54baSEdgar E. Iglesias tcg_gen_add_tl(*t, cpu_R[dc->ra], cpu_R[dc->rb]); 8375818dee5SEdgar E. Iglesias 8385818dee5SEdgar E. Iglesias if (stackprot) { 83964254ebaSBlue Swirl gen_helper_stackprot(cpu_env, *t); 8405818dee5SEdgar E. Iglesias } 8414acb54baSEdgar E. Iglesias return t; 8424acb54baSEdgar E. Iglesias } 8434acb54baSEdgar E. Iglesias /* Immediate. */ 8444acb54baSEdgar E. Iglesias if (!extimm) { 8454acb54baSEdgar E. Iglesias if (dc->imm == 0) { 8464acb54baSEdgar E. Iglesias return &cpu_R[dc->ra]; 8474acb54baSEdgar E. Iglesias } 8484acb54baSEdgar E. Iglesias *t = tcg_temp_new(); 8494acb54baSEdgar E. Iglesias tcg_gen_movi_tl(*t, (int32_t)((int16_t)dc->imm)); 8504acb54baSEdgar E. Iglesias tcg_gen_add_tl(*t, cpu_R[dc->ra], *t); 8514acb54baSEdgar E. Iglesias } else { 8524acb54baSEdgar E. Iglesias *t = tcg_temp_new(); 8534acb54baSEdgar E. Iglesias tcg_gen_add_tl(*t, cpu_R[dc->ra], *(dec_alu_op_b(dc))); 8544acb54baSEdgar E. Iglesias } 8554acb54baSEdgar E. Iglesias 8565818dee5SEdgar E. Iglesias if (stackprot) { 85764254ebaSBlue Swirl gen_helper_stackprot(cpu_env, *t); 8585818dee5SEdgar E. Iglesias } 8594acb54baSEdgar E. Iglesias return t; 8604acb54baSEdgar E. Iglesias } 8614acb54baSEdgar E. Iglesias 8624acb54baSEdgar E. Iglesias static void dec_load(DisasContext *dc) 8634acb54baSEdgar E. Iglesias { 86447acdd63SRichard Henderson TCGv t, v, *addr; 8658cc9b43fSPeter A. G. Crosthwaite unsigned int size, rev = 0, ex = 0; 86647acdd63SRichard Henderson TCGMemOp mop; 8674acb54baSEdgar E. Iglesias 86847acdd63SRichard Henderson mop = dc->opcode & 3; 86947acdd63SRichard Henderson size = 1 << mop; 8709f8beb66SEdgar E. Iglesias if (!dc->type_b) { 8719f8beb66SEdgar E. Iglesias rev = (dc->ir >> 9) & 1; 8728cc9b43fSPeter A. G. Crosthwaite ex = (dc->ir >> 10) & 1; 8739f8beb66SEdgar E. Iglesias } 87447acdd63SRichard Henderson mop |= MO_TE; 87547acdd63SRichard Henderson if (rev) { 87647acdd63SRichard Henderson mop ^= MO_BSWAP; 87747acdd63SRichard Henderson } 8789f8beb66SEdgar E. Iglesias 8790187688fSEdgar E. Iglesias if (size > 4 && (dc->tb_flags & MSR_EE_FLAG) 8800063ebd6SAndreas Färber && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK)) { 8810187688fSEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 8820187688fSEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 8830187688fSEdgar E. Iglesias return; 8840187688fSEdgar E. Iglesias } 8854acb54baSEdgar E. Iglesias 8868cc9b43fSPeter A. G. Crosthwaite LOG_DIS("l%d%s%s%s\n", size, dc->type_b ? "i" : "", rev ? "r" : "", 8878cc9b43fSPeter A. G. Crosthwaite ex ? "x" : ""); 8889f8beb66SEdgar E. Iglesias 8894acb54baSEdgar E. Iglesias t_sync_flags(dc); 8904acb54baSEdgar E. Iglesias addr = compute_ldst_addr(dc, &t); 8914acb54baSEdgar E. Iglesias 8929f8beb66SEdgar E. Iglesias /* 8939f8beb66SEdgar E. Iglesias * When doing reverse accesses we need to do two things. 8949f8beb66SEdgar E. Iglesias * 8954ff9786cSStefan Weil * 1. Reverse the address wrt endianness. 8969f8beb66SEdgar E. Iglesias * 2. Byteswap the data lanes on the way back into the CPU core. 8979f8beb66SEdgar E. Iglesias */ 8989f8beb66SEdgar E. Iglesias if (rev && size != 4) { 8999f8beb66SEdgar E. Iglesias /* Endian reverse the address. t is addr. */ 9009f8beb66SEdgar E. Iglesias switch (size) { 9019f8beb66SEdgar E. Iglesias case 1: 9029f8beb66SEdgar E. Iglesias { 9039f8beb66SEdgar E. Iglesias /* 00 -> 11 9049f8beb66SEdgar E. Iglesias 01 -> 10 9059f8beb66SEdgar E. Iglesias 10 -> 10 9069f8beb66SEdgar E. Iglesias 11 -> 00 */ 9079f8beb66SEdgar E. Iglesias TCGv low = tcg_temp_new(); 9089f8beb66SEdgar E. Iglesias 9099f8beb66SEdgar E. Iglesias /* Force addr into the temp. */ 9109f8beb66SEdgar E. Iglesias if (addr != &t) { 9119f8beb66SEdgar E. Iglesias t = tcg_temp_new(); 9129f8beb66SEdgar E. Iglesias tcg_gen_mov_tl(t, *addr); 9139f8beb66SEdgar E. Iglesias addr = &t; 9149f8beb66SEdgar E. Iglesias } 9159f8beb66SEdgar E. Iglesias 9169f8beb66SEdgar E. Iglesias tcg_gen_andi_tl(low, t, 3); 9179f8beb66SEdgar E. Iglesias tcg_gen_sub_tl(low, tcg_const_tl(3), low); 9189f8beb66SEdgar E. Iglesias tcg_gen_andi_tl(t, t, ~3); 9199f8beb66SEdgar E. Iglesias tcg_gen_or_tl(t, t, low); 9209f8beb66SEdgar E. Iglesias tcg_gen_mov_tl(env_imm, t); 9219f8beb66SEdgar E. Iglesias tcg_temp_free(low); 9229f8beb66SEdgar E. Iglesias break; 9239f8beb66SEdgar E. Iglesias } 9249f8beb66SEdgar E. Iglesias 9259f8beb66SEdgar E. Iglesias case 2: 9269f8beb66SEdgar E. Iglesias /* 00 -> 10 9279f8beb66SEdgar E. Iglesias 10 -> 00. */ 9289f8beb66SEdgar E. Iglesias /* Force addr into the temp. */ 9299f8beb66SEdgar E. Iglesias if (addr != &t) { 9309f8beb66SEdgar E. Iglesias t = tcg_temp_new(); 9319f8beb66SEdgar E. Iglesias tcg_gen_xori_tl(t, *addr, 2); 9329f8beb66SEdgar E. Iglesias addr = &t; 9339f8beb66SEdgar E. Iglesias } else { 9349f8beb66SEdgar E. Iglesias tcg_gen_xori_tl(t, t, 2); 9359f8beb66SEdgar E. Iglesias } 9369f8beb66SEdgar E. Iglesias break; 9379f8beb66SEdgar E. Iglesias default: 9380063ebd6SAndreas Färber cpu_abort(CPU(dc->cpu), "Invalid reverse size\n"); 9399f8beb66SEdgar E. Iglesias break; 9409f8beb66SEdgar E. Iglesias } 9419f8beb66SEdgar E. Iglesias } 9429f8beb66SEdgar E. Iglesias 9438cc9b43fSPeter A. G. Crosthwaite /* lwx does not throw unaligned access errors, so force alignment */ 9448cc9b43fSPeter A. G. Crosthwaite if (ex) { 9458cc9b43fSPeter A. G. Crosthwaite /* Force addr into the temp. */ 9468cc9b43fSPeter A. G. Crosthwaite if (addr != &t) { 9478cc9b43fSPeter A. G. Crosthwaite t = tcg_temp_new(); 9488cc9b43fSPeter A. G. Crosthwaite tcg_gen_mov_tl(t, *addr); 9498cc9b43fSPeter A. G. Crosthwaite addr = &t; 9508cc9b43fSPeter A. G. Crosthwaite } 9518cc9b43fSPeter A. G. Crosthwaite tcg_gen_andi_tl(t, t, ~3); 9528cc9b43fSPeter A. G. Crosthwaite } 9538cc9b43fSPeter A. G. Crosthwaite 9544acb54baSEdgar E. Iglesias /* If we get a fault on a dslot, the jmpstate better be in sync. */ 9554acb54baSEdgar E. Iglesias sync_jmpstate(dc); 956968a40f6SEdgar E. Iglesias 957968a40f6SEdgar E. Iglesias /* Verify alignment if needed. */ 958a12f6507SEdgar E. Iglesias /* 959a12f6507SEdgar E. Iglesias * Microblaze gives MMU faults priority over faults due to 960a12f6507SEdgar E. Iglesias * unaligned addresses. That's why we speculatively do the load 961a12f6507SEdgar E. Iglesias * into v. If the load succeeds, we verify alignment of the 962a12f6507SEdgar E. Iglesias * address and if that succeeds we write into the destination reg. 963a12f6507SEdgar E. Iglesias */ 96447acdd63SRichard Henderson v = tcg_temp_new(); 96597ed5ccdSBenjamin Herrenschmidt tcg_gen_qemu_ld_tl(v, *addr, cpu_mmu_index(&dc->cpu->env, false), mop); 966a12f6507SEdgar E. Iglesias 9670063ebd6SAndreas Färber if ((dc->cpu->env.pvr.regs[2] & PVR2_UNALIGNED_EXC_MASK) && size > 1) { 968a12f6507SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_PC], dc->pc); 96964254ebaSBlue Swirl gen_helper_memalign(cpu_env, *addr, tcg_const_tl(dc->rd), 9703aa80988SEdgar E. Iglesias tcg_const_tl(0), tcg_const_tl(size - 1)); 97147acdd63SRichard Henderson } 97247acdd63SRichard Henderson 97347acdd63SRichard Henderson if (ex) { 97447acdd63SRichard Henderson tcg_gen_mov_tl(env_res_addr, *addr); 97547acdd63SRichard Henderson tcg_gen_mov_tl(env_res_val, v); 97647acdd63SRichard Henderson } 9779f8beb66SEdgar E. Iglesias if (dc->rd) { 978a12f6507SEdgar E. Iglesias tcg_gen_mov_tl(cpu_R[dc->rd], v); 9799f8beb66SEdgar E. Iglesias } 980a12f6507SEdgar E. Iglesias tcg_temp_free(v); 9814acb54baSEdgar E. Iglesias 9828cc9b43fSPeter A. G. Crosthwaite if (ex) { /* lwx */ 983b6af0975SDaniel P. Berrange /* no support for AXI exclusive so always clear C */ 9848cc9b43fSPeter A. G. Crosthwaite write_carryi(dc, 0); 9858cc9b43fSPeter A. G. Crosthwaite } 9868cc9b43fSPeter A. G. Crosthwaite 9874acb54baSEdgar E. Iglesias if (addr == &t) 9884acb54baSEdgar E. Iglesias tcg_temp_free(t); 9894acb54baSEdgar E. Iglesias } 9904acb54baSEdgar E. Iglesias 9914acb54baSEdgar E. Iglesias static void dec_store(DisasContext *dc) 9924acb54baSEdgar E. Iglesias { 9934a536270SEdgar E. Iglesias TCGv t, *addr, swx_addr; 99442a268c2SRichard Henderson TCGLabel *swx_skip = NULL; 9958cc9b43fSPeter A. G. Crosthwaite unsigned int size, rev = 0, ex = 0; 99647acdd63SRichard Henderson TCGMemOp mop; 9974acb54baSEdgar E. Iglesias 99847acdd63SRichard Henderson mop = dc->opcode & 3; 99947acdd63SRichard Henderson size = 1 << mop; 10009f8beb66SEdgar E. Iglesias if (!dc->type_b) { 10019f8beb66SEdgar E. Iglesias rev = (dc->ir >> 9) & 1; 10028cc9b43fSPeter A. G. Crosthwaite ex = (dc->ir >> 10) & 1; 10039f8beb66SEdgar E. Iglesias } 100447acdd63SRichard Henderson mop |= MO_TE; 100547acdd63SRichard Henderson if (rev) { 100647acdd63SRichard Henderson mop ^= MO_BSWAP; 100747acdd63SRichard Henderson } 10084acb54baSEdgar E. Iglesias 10090187688fSEdgar E. Iglesias if (size > 4 && (dc->tb_flags & MSR_EE_FLAG) 10100063ebd6SAndreas Färber && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK)) { 10110187688fSEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 10120187688fSEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 10130187688fSEdgar E. Iglesias return; 10140187688fSEdgar E. Iglesias } 10150187688fSEdgar E. Iglesias 10168cc9b43fSPeter A. G. Crosthwaite LOG_DIS("s%d%s%s%s\n", size, dc->type_b ? "i" : "", rev ? "r" : "", 10178cc9b43fSPeter A. G. Crosthwaite ex ? "x" : ""); 10184acb54baSEdgar E. Iglesias t_sync_flags(dc); 10194acb54baSEdgar E. Iglesias /* If we get a fault on a dslot, the jmpstate better be in sync. */ 10204acb54baSEdgar E. Iglesias sync_jmpstate(dc); 10214acb54baSEdgar E. Iglesias addr = compute_ldst_addr(dc, &t); 1022968a40f6SEdgar E. Iglesias 10238cc9b43fSPeter A. G. Crosthwaite swx_addr = tcg_temp_local_new(); 1024083dbf48SPeter A. G. Crosthwaite if (ex) { /* swx */ 102511a76217SEdgar E. Iglesias TCGv tval; 10268cc9b43fSPeter A. G. Crosthwaite 10278cc9b43fSPeter A. G. Crosthwaite /* Force addr into the swx_addr. */ 10288cc9b43fSPeter A. G. Crosthwaite tcg_gen_mov_tl(swx_addr, *addr); 10298cc9b43fSPeter A. G. Crosthwaite addr = &swx_addr; 10308cc9b43fSPeter A. G. Crosthwaite /* swx does not throw unaligned access errors, so force alignment */ 10318cc9b43fSPeter A. G. Crosthwaite tcg_gen_andi_tl(swx_addr, swx_addr, ~3); 10328cc9b43fSPeter A. G. Crosthwaite 10338cc9b43fSPeter A. G. Crosthwaite write_carryi(dc, 1); 10348cc9b43fSPeter A. G. Crosthwaite swx_skip = gen_new_label(); 10354a536270SEdgar E. Iglesias tcg_gen_brcond_tl(TCG_COND_NE, env_res_addr, swx_addr, swx_skip); 103611a76217SEdgar E. Iglesias 103711a76217SEdgar E. Iglesias /* Compare the value loaded at lwx with current contents of 103811a76217SEdgar E. Iglesias the reserved location. 103911a76217SEdgar E. Iglesias FIXME: This only works for system emulation where we can expect 104011a76217SEdgar E. Iglesias this compare and the following write to be atomic. For user 104111a76217SEdgar E. Iglesias emulation we need to add atomicity between threads. */ 104211a76217SEdgar E. Iglesias tval = tcg_temp_new(); 104397ed5ccdSBenjamin Herrenschmidt tcg_gen_qemu_ld_tl(tval, swx_addr, cpu_mmu_index(&dc->cpu->env, false), 10440063ebd6SAndreas Färber MO_TEUL); 104511a76217SEdgar E. Iglesias tcg_gen_brcond_tl(TCG_COND_NE, env_res_val, tval, swx_skip); 10468cc9b43fSPeter A. G. Crosthwaite write_carryi(dc, 0); 104711a76217SEdgar E. Iglesias tcg_temp_free(tval); 10488cc9b43fSPeter A. G. Crosthwaite } 10498cc9b43fSPeter A. G. Crosthwaite 10509f8beb66SEdgar E. Iglesias if (rev && size != 4) { 10519f8beb66SEdgar E. Iglesias /* Endian reverse the address. t is addr. */ 10529f8beb66SEdgar E. Iglesias switch (size) { 10539f8beb66SEdgar E. Iglesias case 1: 10549f8beb66SEdgar E. Iglesias { 10559f8beb66SEdgar E. Iglesias /* 00 -> 11 10569f8beb66SEdgar E. Iglesias 01 -> 10 10579f8beb66SEdgar E. Iglesias 10 -> 10 10589f8beb66SEdgar E. Iglesias 11 -> 00 */ 10599f8beb66SEdgar E. Iglesias TCGv low = tcg_temp_new(); 10609f8beb66SEdgar E. Iglesias 10619f8beb66SEdgar E. Iglesias /* Force addr into the temp. */ 10629f8beb66SEdgar E. Iglesias if (addr != &t) { 10639f8beb66SEdgar E. Iglesias t = tcg_temp_new(); 10649f8beb66SEdgar E. Iglesias tcg_gen_mov_tl(t, *addr); 10659f8beb66SEdgar E. Iglesias addr = &t; 10669f8beb66SEdgar E. Iglesias } 10679f8beb66SEdgar E. Iglesias 10689f8beb66SEdgar E. Iglesias tcg_gen_andi_tl(low, t, 3); 10699f8beb66SEdgar E. Iglesias tcg_gen_sub_tl(low, tcg_const_tl(3), low); 10709f8beb66SEdgar E. Iglesias tcg_gen_andi_tl(t, t, ~3); 10719f8beb66SEdgar E. Iglesias tcg_gen_or_tl(t, t, low); 10729f8beb66SEdgar E. Iglesias tcg_gen_mov_tl(env_imm, t); 10739f8beb66SEdgar E. Iglesias tcg_temp_free(low); 10749f8beb66SEdgar E. Iglesias break; 10759f8beb66SEdgar E. Iglesias } 10769f8beb66SEdgar E. Iglesias 10779f8beb66SEdgar E. Iglesias case 2: 10789f8beb66SEdgar E. Iglesias /* 00 -> 10 10799f8beb66SEdgar E. Iglesias 10 -> 00. */ 10809f8beb66SEdgar E. Iglesias /* Force addr into the temp. */ 10819f8beb66SEdgar E. Iglesias if (addr != &t) { 10829f8beb66SEdgar E. Iglesias t = tcg_temp_new(); 10839f8beb66SEdgar E. Iglesias tcg_gen_xori_tl(t, *addr, 2); 10849f8beb66SEdgar E. Iglesias addr = &t; 10859f8beb66SEdgar E. Iglesias } else { 10869f8beb66SEdgar E. Iglesias tcg_gen_xori_tl(t, t, 2); 10879f8beb66SEdgar E. Iglesias } 10889f8beb66SEdgar E. Iglesias break; 10899f8beb66SEdgar E. Iglesias default: 10900063ebd6SAndreas Färber cpu_abort(CPU(dc->cpu), "Invalid reverse size\n"); 10919f8beb66SEdgar E. Iglesias break; 10929f8beb66SEdgar E. Iglesias } 10939f8beb66SEdgar E. Iglesias } 109497ed5ccdSBenjamin Herrenschmidt tcg_gen_qemu_st_tl(cpu_R[dc->rd], *addr, cpu_mmu_index(&dc->cpu->env, false), mop); 1095a12f6507SEdgar E. Iglesias 1096968a40f6SEdgar E. Iglesias /* Verify alignment if needed. */ 10970063ebd6SAndreas Färber if ((dc->cpu->env.pvr.regs[2] & PVR2_UNALIGNED_EXC_MASK) && size > 1) { 1098a12f6507SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_PC], dc->pc); 1099a12f6507SEdgar E. Iglesias /* FIXME: if the alignment is wrong, we should restore the value 11004abf79a4SDong Xu Wang * in memory. One possible way to achieve this is to probe 11019f8beb66SEdgar E. Iglesias * the MMU prior to the memaccess, thay way we could put 11029f8beb66SEdgar E. Iglesias * the alignment checks in between the probe and the mem 11039f8beb66SEdgar E. Iglesias * access. 1104a12f6507SEdgar E. Iglesias */ 110564254ebaSBlue Swirl gen_helper_memalign(cpu_env, *addr, tcg_const_tl(dc->rd), 11063aa80988SEdgar E. Iglesias tcg_const_tl(1), tcg_const_tl(size - 1)); 1107968a40f6SEdgar E. Iglesias } 1108083dbf48SPeter A. G. Crosthwaite 11098cc9b43fSPeter A. G. Crosthwaite if (ex) { 11108cc9b43fSPeter A. G. Crosthwaite gen_set_label(swx_skip); 1111083dbf48SPeter A. G. Crosthwaite } 11128cc9b43fSPeter A. G. Crosthwaite tcg_temp_free(swx_addr); 1113968a40f6SEdgar E. Iglesias 11144acb54baSEdgar E. Iglesias if (addr == &t) 11154acb54baSEdgar E. Iglesias tcg_temp_free(t); 11164acb54baSEdgar E. Iglesias } 11174acb54baSEdgar E. Iglesias 11184acb54baSEdgar E. Iglesias static inline void eval_cc(DisasContext *dc, unsigned int cc, 11194acb54baSEdgar E. Iglesias TCGv d, TCGv a, TCGv b) 11204acb54baSEdgar E. Iglesias { 11214acb54baSEdgar E. Iglesias switch (cc) { 11224acb54baSEdgar E. Iglesias case CC_EQ: 1123b2565c69SEdgar E. Iglesias tcg_gen_setcond_tl(TCG_COND_EQ, d, a, b); 11244acb54baSEdgar E. Iglesias break; 11254acb54baSEdgar E. Iglesias case CC_NE: 1126b2565c69SEdgar E. Iglesias tcg_gen_setcond_tl(TCG_COND_NE, d, a, b); 11274acb54baSEdgar E. Iglesias break; 11284acb54baSEdgar E. Iglesias case CC_LT: 1129b2565c69SEdgar E. Iglesias tcg_gen_setcond_tl(TCG_COND_LT, d, a, b); 11304acb54baSEdgar E. Iglesias break; 11314acb54baSEdgar E. Iglesias case CC_LE: 1132b2565c69SEdgar E. Iglesias tcg_gen_setcond_tl(TCG_COND_LE, d, a, b); 11334acb54baSEdgar E. Iglesias break; 11344acb54baSEdgar E. Iglesias case CC_GE: 1135b2565c69SEdgar E. Iglesias tcg_gen_setcond_tl(TCG_COND_GE, d, a, b); 11364acb54baSEdgar E. Iglesias break; 11374acb54baSEdgar E. Iglesias case CC_GT: 1138b2565c69SEdgar E. Iglesias tcg_gen_setcond_tl(TCG_COND_GT, d, a, b); 11394acb54baSEdgar E. Iglesias break; 11404acb54baSEdgar E. Iglesias default: 11410063ebd6SAndreas Färber cpu_abort(CPU(dc->cpu), "Unknown condition code %x.\n", cc); 11424acb54baSEdgar E. Iglesias break; 11434acb54baSEdgar E. Iglesias } 11444acb54baSEdgar E. Iglesias } 11454acb54baSEdgar E. Iglesias 11464acb54baSEdgar E. Iglesias static void eval_cond_jmp(DisasContext *dc, TCGv pc_true, TCGv pc_false) 11474acb54baSEdgar E. Iglesias { 114842a268c2SRichard Henderson TCGLabel *l1 = gen_new_label(); 11494acb54baSEdgar E. Iglesias /* Conditional jmp. */ 11504acb54baSEdgar E. Iglesias tcg_gen_mov_tl(cpu_SR[SR_PC], pc_false); 11514acb54baSEdgar E. Iglesias tcg_gen_brcondi_tl(TCG_COND_EQ, env_btaken, 0, l1); 11524acb54baSEdgar E. Iglesias tcg_gen_mov_tl(cpu_SR[SR_PC], pc_true); 11534acb54baSEdgar E. Iglesias gen_set_label(l1); 11544acb54baSEdgar E. Iglesias } 11554acb54baSEdgar E. Iglesias 11564acb54baSEdgar E. Iglesias static void dec_bcc(DisasContext *dc) 11574acb54baSEdgar E. Iglesias { 11584acb54baSEdgar E. Iglesias unsigned int cc; 11594acb54baSEdgar E. Iglesias unsigned int dslot; 11604acb54baSEdgar E. Iglesias 11614acb54baSEdgar E. Iglesias cc = EXTRACT_FIELD(dc->ir, 21, 23); 11624acb54baSEdgar E. Iglesias dslot = dc->ir & (1 << 25); 11634acb54baSEdgar E. Iglesias LOG_DIS("bcc%s r%d %x\n", dslot ? "d" : "", dc->ra, dc->imm); 11644acb54baSEdgar E. Iglesias 11654acb54baSEdgar E. Iglesias dc->delayed_branch = 1; 11664acb54baSEdgar E. Iglesias if (dslot) { 11674acb54baSEdgar E. Iglesias dc->delayed_branch = 2; 11684acb54baSEdgar E. Iglesias dc->tb_flags |= D_FLAG; 11694acb54baSEdgar E. Iglesias tcg_gen_st_tl(tcg_const_tl(dc->type_b && (dc->tb_flags & IMM_FLAG)), 117068cee38aSAndreas Färber cpu_env, offsetof(CPUMBState, bimm)); 11714acb54baSEdgar E. Iglesias } 11724acb54baSEdgar E. Iglesias 117361204ce8SEdgar E. Iglesias if (dec_alu_op_b_is_small_imm(dc)) { 117461204ce8SEdgar E. Iglesias int32_t offset = (int32_t)((int16_t)dc->imm); /* sign-extend. */ 117561204ce8SEdgar E. Iglesias 117661204ce8SEdgar E. Iglesias tcg_gen_movi_tl(env_btarget, dc->pc + offset); 1177844bab60SEdgar E. Iglesias dc->jmp = JMP_DIRECT_CC; 117823979dc5SEdgar E. Iglesias dc->jmp_pc = dc->pc + offset; 117961204ce8SEdgar E. Iglesias } else { 118023979dc5SEdgar E. Iglesias dc->jmp = JMP_INDIRECT; 11814acb54baSEdgar E. Iglesias tcg_gen_movi_tl(env_btarget, dc->pc); 11824acb54baSEdgar E. Iglesias tcg_gen_add_tl(env_btarget, env_btarget, *(dec_alu_op_b(dc))); 118361204ce8SEdgar E. Iglesias } 118461204ce8SEdgar E. Iglesias eval_cc(dc, cc, env_btaken, cpu_R[dc->ra], tcg_const_tl(0)); 11854acb54baSEdgar E. Iglesias } 11864acb54baSEdgar E. Iglesias 11874acb54baSEdgar E. Iglesias static void dec_br(DisasContext *dc) 11884acb54baSEdgar E. Iglesias { 11899f6113c7SEdgar E. Iglesias unsigned int dslot, link, abs, mbar; 119097ed5ccdSBenjamin Herrenschmidt int mem_index = cpu_mmu_index(&dc->cpu->env, false); 11914acb54baSEdgar E. Iglesias 11924acb54baSEdgar E. Iglesias dslot = dc->ir & (1 << 20); 11934acb54baSEdgar E. Iglesias abs = dc->ir & (1 << 19); 11944acb54baSEdgar E. Iglesias link = dc->ir & (1 << 18); 11959f6113c7SEdgar E. Iglesias 11969f6113c7SEdgar E. Iglesias /* Memory barrier. */ 11979f6113c7SEdgar E. Iglesias mbar = (dc->ir >> 16) & 31; 11989f6113c7SEdgar E. Iglesias if (mbar == 2 && dc->imm == 4) { 11995d45de97SEdgar E. Iglesias /* mbar IMM & 16 decodes to sleep. */ 12005d45de97SEdgar E. Iglesias if (dc->rd & 16) { 12015d45de97SEdgar E. Iglesias TCGv_i32 tmp_hlt = tcg_const_i32(EXCP_HLT); 12025d45de97SEdgar E. Iglesias TCGv_i32 tmp_1 = tcg_const_i32(1); 12035d45de97SEdgar E. Iglesias 12045d45de97SEdgar E. Iglesias LOG_DIS("sleep\n"); 12055d45de97SEdgar E. Iglesias 12065d45de97SEdgar E. Iglesias t_sync_flags(dc); 12075d45de97SEdgar E. Iglesias tcg_gen_st_i32(tmp_1, cpu_env, 12085d45de97SEdgar E. Iglesias -offsetof(MicroBlazeCPU, env) 12095d45de97SEdgar E. Iglesias +offsetof(CPUState, halted)); 12105d45de97SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_PC], dc->pc + 4); 12115d45de97SEdgar E. Iglesias gen_helper_raise_exception(cpu_env, tmp_hlt); 12125d45de97SEdgar E. Iglesias tcg_temp_free_i32(tmp_hlt); 12135d45de97SEdgar E. Iglesias tcg_temp_free_i32(tmp_1); 12145d45de97SEdgar E. Iglesias return; 12155d45de97SEdgar E. Iglesias } 12169f6113c7SEdgar E. Iglesias LOG_DIS("mbar %d\n", dc->rd); 12179f6113c7SEdgar E. Iglesias /* Break the TB. */ 12189f6113c7SEdgar E. Iglesias dc->cpustate_changed = 1; 12199f6113c7SEdgar E. Iglesias return; 12209f6113c7SEdgar E. Iglesias } 12219f6113c7SEdgar E. Iglesias 12224acb54baSEdgar E. Iglesias LOG_DIS("br%s%s%s%s imm=%x\n", 12234acb54baSEdgar E. Iglesias abs ? "a" : "", link ? "l" : "", 12244acb54baSEdgar E. Iglesias dc->type_b ? "i" : "", dslot ? "d" : "", 12254acb54baSEdgar E. Iglesias dc->imm); 12264acb54baSEdgar E. Iglesias 12274acb54baSEdgar E. Iglesias dc->delayed_branch = 1; 12284acb54baSEdgar E. Iglesias if (dslot) { 12294acb54baSEdgar E. Iglesias dc->delayed_branch = 2; 12304acb54baSEdgar E. Iglesias dc->tb_flags |= D_FLAG; 12314acb54baSEdgar E. Iglesias tcg_gen_st_tl(tcg_const_tl(dc->type_b && (dc->tb_flags & IMM_FLAG)), 123268cee38aSAndreas Färber cpu_env, offsetof(CPUMBState, bimm)); 12334acb54baSEdgar E. Iglesias } 12344acb54baSEdgar E. Iglesias if (link && dc->rd) 12354acb54baSEdgar E. Iglesias tcg_gen_movi_tl(cpu_R[dc->rd], dc->pc); 12364acb54baSEdgar E. Iglesias 12374acb54baSEdgar E. Iglesias dc->jmp = JMP_INDIRECT; 12384acb54baSEdgar E. Iglesias if (abs) { 12394acb54baSEdgar E. Iglesias tcg_gen_movi_tl(env_btaken, 1); 12404acb54baSEdgar E. Iglesias tcg_gen_mov_tl(env_btarget, *(dec_alu_op_b(dc))); 1241ff21f70aSEdgar E. Iglesias if (link && !dslot) { 1242ff21f70aSEdgar E. Iglesias if (!(dc->tb_flags & IMM_FLAG) && (dc->imm == 8 || dc->imm == 0x18)) 12434acb54baSEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_BREAK); 1244ff21f70aSEdgar E. Iglesias if (dc->imm == 0) { 1245ff21f70aSEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) && mem_index == MMU_USER_IDX) { 1246ff21f70aSEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 1247ff21f70aSEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 1248ff21f70aSEdgar E. Iglesias return; 1249ff21f70aSEdgar E. Iglesias } 1250ff21f70aSEdgar E. Iglesias 12514acb54baSEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_DEBUG); 1252ff21f70aSEdgar E. Iglesias } 1253ff21f70aSEdgar E. Iglesias } 12544acb54baSEdgar E. Iglesias } else { 125561204ce8SEdgar E. Iglesias if (dec_alu_op_b_is_small_imm(dc)) { 125661204ce8SEdgar E. Iglesias dc->jmp = JMP_DIRECT; 125761204ce8SEdgar E. Iglesias dc->jmp_pc = dc->pc + (int32_t)((int16_t)dc->imm); 125861204ce8SEdgar E. Iglesias } else { 12594acb54baSEdgar E. Iglesias tcg_gen_movi_tl(env_btaken, 1); 12604acb54baSEdgar E. Iglesias tcg_gen_movi_tl(env_btarget, dc->pc); 12614acb54baSEdgar E. Iglesias tcg_gen_add_tl(env_btarget, env_btarget, *(dec_alu_op_b(dc))); 12624acb54baSEdgar E. Iglesias } 12634acb54baSEdgar E. Iglesias } 12644acb54baSEdgar E. Iglesias } 12654acb54baSEdgar E. Iglesias 12664acb54baSEdgar E. Iglesias static inline void do_rti(DisasContext *dc) 12674acb54baSEdgar E. Iglesias { 12684acb54baSEdgar E. Iglesias TCGv t0, t1; 12694acb54baSEdgar E. Iglesias t0 = tcg_temp_new(); 12704acb54baSEdgar E. Iglesias t1 = tcg_temp_new(); 12714acb54baSEdgar E. Iglesias tcg_gen_shri_tl(t0, cpu_SR[SR_MSR], 1); 12724acb54baSEdgar E. Iglesias tcg_gen_ori_tl(t1, cpu_SR[SR_MSR], MSR_IE); 12734acb54baSEdgar E. Iglesias tcg_gen_andi_tl(t0, t0, (MSR_VM | MSR_UM)); 12744acb54baSEdgar E. Iglesias 12754acb54baSEdgar E. Iglesias tcg_gen_andi_tl(t1, t1, ~(MSR_VM | MSR_UM)); 12764acb54baSEdgar E. Iglesias tcg_gen_or_tl(t1, t1, t0); 12774acb54baSEdgar E. Iglesias msr_write(dc, t1); 12784acb54baSEdgar E. Iglesias tcg_temp_free(t1); 12794acb54baSEdgar E. Iglesias tcg_temp_free(t0); 12804acb54baSEdgar E. Iglesias dc->tb_flags &= ~DRTI_FLAG; 12814acb54baSEdgar E. Iglesias } 12824acb54baSEdgar E. Iglesias 12834acb54baSEdgar E. Iglesias static inline void do_rtb(DisasContext *dc) 12844acb54baSEdgar E. Iglesias { 12854acb54baSEdgar E. Iglesias TCGv t0, t1; 12864acb54baSEdgar E. Iglesias t0 = tcg_temp_new(); 12874acb54baSEdgar E. Iglesias t1 = tcg_temp_new(); 12884acb54baSEdgar E. Iglesias tcg_gen_andi_tl(t1, cpu_SR[SR_MSR], ~MSR_BIP); 12894acb54baSEdgar E. Iglesias tcg_gen_shri_tl(t0, t1, 1); 12904acb54baSEdgar E. Iglesias tcg_gen_andi_tl(t0, t0, (MSR_VM | MSR_UM)); 12914acb54baSEdgar E. Iglesias 12924acb54baSEdgar E. Iglesias tcg_gen_andi_tl(t1, t1, ~(MSR_VM | MSR_UM)); 12934acb54baSEdgar E. Iglesias tcg_gen_or_tl(t1, t1, t0); 12944acb54baSEdgar E. Iglesias msr_write(dc, t1); 12954acb54baSEdgar E. Iglesias tcg_temp_free(t1); 12964acb54baSEdgar E. Iglesias tcg_temp_free(t0); 12974acb54baSEdgar E. Iglesias dc->tb_flags &= ~DRTB_FLAG; 12984acb54baSEdgar E. Iglesias } 12994acb54baSEdgar E. Iglesias 13004acb54baSEdgar E. Iglesias static inline void do_rte(DisasContext *dc) 13014acb54baSEdgar E. Iglesias { 13024acb54baSEdgar E. Iglesias TCGv t0, t1; 13034acb54baSEdgar E. Iglesias t0 = tcg_temp_new(); 13044acb54baSEdgar E. Iglesias t1 = tcg_temp_new(); 13054acb54baSEdgar E. Iglesias 13064acb54baSEdgar E. Iglesias tcg_gen_ori_tl(t1, cpu_SR[SR_MSR], MSR_EE); 13074acb54baSEdgar E. Iglesias tcg_gen_andi_tl(t1, t1, ~MSR_EIP); 13084acb54baSEdgar E. Iglesias tcg_gen_shri_tl(t0, t1, 1); 13094acb54baSEdgar E. Iglesias tcg_gen_andi_tl(t0, t0, (MSR_VM | MSR_UM)); 13104acb54baSEdgar E. Iglesias 13114acb54baSEdgar E. Iglesias tcg_gen_andi_tl(t1, t1, ~(MSR_VM | MSR_UM)); 13124acb54baSEdgar E. Iglesias tcg_gen_or_tl(t1, t1, t0); 13134acb54baSEdgar E. Iglesias msr_write(dc, t1); 13144acb54baSEdgar E. Iglesias tcg_temp_free(t1); 13154acb54baSEdgar E. Iglesias tcg_temp_free(t0); 13164acb54baSEdgar E. Iglesias dc->tb_flags &= ~DRTE_FLAG; 13174acb54baSEdgar E. Iglesias } 13184acb54baSEdgar E. Iglesias 13194acb54baSEdgar E. Iglesias static void dec_rts(DisasContext *dc) 13204acb54baSEdgar E. Iglesias { 13214acb54baSEdgar E. Iglesias unsigned int b_bit, i_bit, e_bit; 132297ed5ccdSBenjamin Herrenschmidt int mem_index = cpu_mmu_index(&dc->cpu->env, false); 13234acb54baSEdgar E. Iglesias 13244acb54baSEdgar E. Iglesias i_bit = dc->ir & (1 << 21); 13254acb54baSEdgar E. Iglesias b_bit = dc->ir & (1 << 22); 13264acb54baSEdgar E. Iglesias e_bit = dc->ir & (1 << 23); 13274acb54baSEdgar E. Iglesias 13284acb54baSEdgar E. Iglesias dc->delayed_branch = 2; 13294acb54baSEdgar E. Iglesias dc->tb_flags |= D_FLAG; 13304acb54baSEdgar E. Iglesias tcg_gen_st_tl(tcg_const_tl(dc->type_b && (dc->tb_flags & IMM_FLAG)), 133168cee38aSAndreas Färber cpu_env, offsetof(CPUMBState, bimm)); 13324acb54baSEdgar E. Iglesias 13334acb54baSEdgar E. Iglesias if (i_bit) { 13344acb54baSEdgar E. Iglesias LOG_DIS("rtid ir=%x\n", dc->ir); 13351567a005SEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 13361567a005SEdgar E. Iglesias && mem_index == MMU_USER_IDX) { 13371567a005SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 13381567a005SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 13391567a005SEdgar E. Iglesias } 13404acb54baSEdgar E. Iglesias dc->tb_flags |= DRTI_FLAG; 13414acb54baSEdgar E. Iglesias } else if (b_bit) { 13424acb54baSEdgar E. Iglesias LOG_DIS("rtbd ir=%x\n", dc->ir); 13431567a005SEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 13441567a005SEdgar E. Iglesias && mem_index == MMU_USER_IDX) { 13451567a005SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 13461567a005SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 13471567a005SEdgar E. Iglesias } 13484acb54baSEdgar E. Iglesias dc->tb_flags |= DRTB_FLAG; 13494acb54baSEdgar E. Iglesias } else if (e_bit) { 13504acb54baSEdgar E. Iglesias LOG_DIS("rted ir=%x\n", dc->ir); 13511567a005SEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 13521567a005SEdgar E. Iglesias && mem_index == MMU_USER_IDX) { 13531567a005SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 13541567a005SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 13551567a005SEdgar E. Iglesias } 13564acb54baSEdgar E. Iglesias dc->tb_flags |= DRTE_FLAG; 13574acb54baSEdgar E. Iglesias } else 13584acb54baSEdgar E. Iglesias LOG_DIS("rts ir=%x\n", dc->ir); 13594acb54baSEdgar E. Iglesias 136023979dc5SEdgar E. Iglesias dc->jmp = JMP_INDIRECT; 13614acb54baSEdgar E. Iglesias tcg_gen_movi_tl(env_btaken, 1); 13624acb54baSEdgar E. Iglesias tcg_gen_add_tl(env_btarget, cpu_R[dc->ra], *(dec_alu_op_b(dc))); 13634acb54baSEdgar E. Iglesias } 13644acb54baSEdgar E. Iglesias 136597694c57SEdgar E. Iglesias static int dec_check_fpuv2(DisasContext *dc) 136697694c57SEdgar E. Iglesias { 1367be67e9abSAlistair Francis if ((dc->cpu->cfg.use_fpu != 2) && (dc->tb_flags & MSR_EE_FLAG)) { 136897694c57SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_FPU); 136997694c57SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 137097694c57SEdgar E. Iglesias } 1371be67e9abSAlistair Francis return (dc->cpu->cfg.use_fpu == 2) ? 0 : PVR2_USE_FPU2_MASK; 137297694c57SEdgar E. Iglesias } 137397694c57SEdgar E. Iglesias 13741567a005SEdgar E. Iglesias static void dec_fpu(DisasContext *dc) 13751567a005SEdgar E. Iglesias { 137697694c57SEdgar E. Iglesias unsigned int fpu_insn; 137797694c57SEdgar E. Iglesias 13781567a005SEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 13790063ebd6SAndreas Färber && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 1380be67e9abSAlistair Francis && (dc->cpu->cfg.use_fpu != 1)) { 138197694c57SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 13821567a005SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 13831567a005SEdgar E. Iglesias return; 13841567a005SEdgar E. Iglesias } 13851567a005SEdgar E. Iglesias 138697694c57SEdgar E. Iglesias fpu_insn = (dc->ir >> 7) & 7; 138797694c57SEdgar E. Iglesias 138897694c57SEdgar E. Iglesias switch (fpu_insn) { 138997694c57SEdgar E. Iglesias case 0: 139064254ebaSBlue Swirl gen_helper_fadd(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 139164254ebaSBlue Swirl cpu_R[dc->rb]); 139297694c57SEdgar E. Iglesias break; 139397694c57SEdgar E. Iglesias 139497694c57SEdgar E. Iglesias case 1: 139564254ebaSBlue Swirl gen_helper_frsub(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 139664254ebaSBlue Swirl cpu_R[dc->rb]); 139797694c57SEdgar E. Iglesias break; 139897694c57SEdgar E. Iglesias 139997694c57SEdgar E. Iglesias case 2: 140064254ebaSBlue Swirl gen_helper_fmul(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 140164254ebaSBlue Swirl cpu_R[dc->rb]); 140297694c57SEdgar E. Iglesias break; 140397694c57SEdgar E. Iglesias 140497694c57SEdgar E. Iglesias case 3: 140564254ebaSBlue Swirl gen_helper_fdiv(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 140664254ebaSBlue Swirl cpu_R[dc->rb]); 140797694c57SEdgar E. Iglesias break; 140897694c57SEdgar E. Iglesias 140997694c57SEdgar E. Iglesias case 4: 141097694c57SEdgar E. Iglesias switch ((dc->ir >> 4) & 7) { 141197694c57SEdgar E. Iglesias case 0: 141264254ebaSBlue Swirl gen_helper_fcmp_un(cpu_R[dc->rd], cpu_env, 141397694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 141497694c57SEdgar E. Iglesias break; 141597694c57SEdgar E. Iglesias case 1: 141664254ebaSBlue Swirl gen_helper_fcmp_lt(cpu_R[dc->rd], cpu_env, 141797694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 141897694c57SEdgar E. Iglesias break; 141997694c57SEdgar E. Iglesias case 2: 142064254ebaSBlue Swirl gen_helper_fcmp_eq(cpu_R[dc->rd], cpu_env, 142197694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 142297694c57SEdgar E. Iglesias break; 142397694c57SEdgar E. Iglesias case 3: 142464254ebaSBlue Swirl gen_helper_fcmp_le(cpu_R[dc->rd], cpu_env, 142597694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 142697694c57SEdgar E. Iglesias break; 142797694c57SEdgar E. Iglesias case 4: 142864254ebaSBlue Swirl gen_helper_fcmp_gt(cpu_R[dc->rd], cpu_env, 142997694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 143097694c57SEdgar E. Iglesias break; 143197694c57SEdgar E. Iglesias case 5: 143264254ebaSBlue Swirl gen_helper_fcmp_ne(cpu_R[dc->rd], cpu_env, 143397694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 143497694c57SEdgar E. Iglesias break; 143597694c57SEdgar E. Iglesias case 6: 143664254ebaSBlue Swirl gen_helper_fcmp_ge(cpu_R[dc->rd], cpu_env, 143797694c57SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 143897694c57SEdgar E. Iglesias break; 143997694c57SEdgar E. Iglesias default: 144071547a3bSBlue Swirl qemu_log_mask(LOG_UNIMP, 144171547a3bSBlue Swirl "unimplemented fcmp fpu_insn=%x pc=%x" 144271547a3bSBlue Swirl " opc=%x\n", 144397694c57SEdgar E. Iglesias fpu_insn, dc->pc, dc->opcode); 14441567a005SEdgar E. Iglesias dc->abort_at_next_insn = 1; 144597694c57SEdgar E. Iglesias break; 144697694c57SEdgar E. Iglesias } 144797694c57SEdgar E. Iglesias break; 144897694c57SEdgar E. Iglesias 144997694c57SEdgar E. Iglesias case 5: 145097694c57SEdgar E. Iglesias if (!dec_check_fpuv2(dc)) { 145197694c57SEdgar E. Iglesias return; 145297694c57SEdgar E. Iglesias } 145364254ebaSBlue Swirl gen_helper_flt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]); 145497694c57SEdgar E. Iglesias break; 145597694c57SEdgar E. Iglesias 145697694c57SEdgar E. Iglesias case 6: 145797694c57SEdgar E. Iglesias if (!dec_check_fpuv2(dc)) { 145897694c57SEdgar E. Iglesias return; 145997694c57SEdgar E. Iglesias } 146064254ebaSBlue Swirl gen_helper_fint(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]); 146197694c57SEdgar E. Iglesias break; 146297694c57SEdgar E. Iglesias 146397694c57SEdgar E. Iglesias case 7: 146497694c57SEdgar E. Iglesias if (!dec_check_fpuv2(dc)) { 146597694c57SEdgar E. Iglesias return; 146697694c57SEdgar E. Iglesias } 146764254ebaSBlue Swirl gen_helper_fsqrt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]); 146897694c57SEdgar E. Iglesias break; 146997694c57SEdgar E. Iglesias 147097694c57SEdgar E. Iglesias default: 147171547a3bSBlue Swirl qemu_log_mask(LOG_UNIMP, "unimplemented FPU insn fpu_insn=%x pc=%x" 147271547a3bSBlue Swirl " opc=%x\n", 147397694c57SEdgar E. Iglesias fpu_insn, dc->pc, dc->opcode); 147497694c57SEdgar E. Iglesias dc->abort_at_next_insn = 1; 147597694c57SEdgar E. Iglesias break; 147697694c57SEdgar E. Iglesias } 14771567a005SEdgar E. Iglesias } 14781567a005SEdgar E. Iglesias 14794acb54baSEdgar E. Iglesias static void dec_null(DisasContext *dc) 14804acb54baSEdgar E. Iglesias { 148102b33596SEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 14820063ebd6SAndreas Färber && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK)) { 148302b33596SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 148402b33596SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 148502b33596SEdgar E. Iglesias return; 148602b33596SEdgar E. Iglesias } 14871d512a65SPaolo Bonzini qemu_log_mask(LOG_GUEST_ERROR, "unknown insn pc=%x opc=%x\n", dc->pc, dc->opcode); 14884acb54baSEdgar E. Iglesias dc->abort_at_next_insn = 1; 14894acb54baSEdgar E. Iglesias } 14904acb54baSEdgar E. Iglesias 14916d76d23eSEdgar E. Iglesias /* Insns connected to FSL or AXI stream attached devices. */ 14926d76d23eSEdgar E. Iglesias static void dec_stream(DisasContext *dc) 14936d76d23eSEdgar E. Iglesias { 149497ed5ccdSBenjamin Herrenschmidt int mem_index = cpu_mmu_index(&dc->cpu->env, false); 14956d76d23eSEdgar E. Iglesias TCGv_i32 t_id, t_ctrl; 14966d76d23eSEdgar E. Iglesias int ctrl; 14976d76d23eSEdgar E. Iglesias 14986d76d23eSEdgar E. Iglesias LOG_DIS("%s%s imm=%x\n", dc->rd ? "get" : "put", 14996d76d23eSEdgar E. Iglesias dc->type_b ? "" : "d", dc->imm); 15006d76d23eSEdgar E. Iglesias 15016d76d23eSEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) && (mem_index == MMU_USER_IDX)) { 15026d76d23eSEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 15036d76d23eSEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 15046d76d23eSEdgar E. Iglesias return; 15056d76d23eSEdgar E. Iglesias } 15066d76d23eSEdgar E. Iglesias 15076d76d23eSEdgar E. Iglesias t_id = tcg_temp_new(); 15086d76d23eSEdgar E. Iglesias if (dc->type_b) { 15096d76d23eSEdgar E. Iglesias tcg_gen_movi_tl(t_id, dc->imm & 0xf); 15106d76d23eSEdgar E. Iglesias ctrl = dc->imm >> 10; 15116d76d23eSEdgar E. Iglesias } else { 15126d76d23eSEdgar E. Iglesias tcg_gen_andi_tl(t_id, cpu_R[dc->rb], 0xf); 15136d76d23eSEdgar E. Iglesias ctrl = dc->imm >> 5; 15146d76d23eSEdgar E. Iglesias } 15156d76d23eSEdgar E. Iglesias 15166d76d23eSEdgar E. Iglesias t_ctrl = tcg_const_tl(ctrl); 15176d76d23eSEdgar E. Iglesias 15186d76d23eSEdgar E. Iglesias if (dc->rd == 0) { 15196d76d23eSEdgar E. Iglesias gen_helper_put(t_id, t_ctrl, cpu_R[dc->ra]); 15206d76d23eSEdgar E. Iglesias } else { 15216d76d23eSEdgar E. Iglesias gen_helper_get(cpu_R[dc->rd], t_id, t_ctrl); 15226d76d23eSEdgar E. Iglesias } 15236d76d23eSEdgar E. Iglesias tcg_temp_free(t_id); 15246d76d23eSEdgar E. Iglesias tcg_temp_free(t_ctrl); 15256d76d23eSEdgar E. Iglesias } 15266d76d23eSEdgar E. Iglesias 15274acb54baSEdgar E. Iglesias static struct decoder_info { 15284acb54baSEdgar E. Iglesias struct { 15294acb54baSEdgar E. Iglesias uint32_t bits; 15304acb54baSEdgar E. Iglesias uint32_t mask; 15314acb54baSEdgar E. Iglesias }; 15324acb54baSEdgar E. Iglesias void (*dec)(DisasContext *dc); 15334acb54baSEdgar E. Iglesias } decinfo[] = { 15344acb54baSEdgar E. Iglesias {DEC_ADD, dec_add}, 15354acb54baSEdgar E. Iglesias {DEC_SUB, dec_sub}, 15364acb54baSEdgar E. Iglesias {DEC_AND, dec_and}, 15374acb54baSEdgar E. Iglesias {DEC_XOR, dec_xor}, 15384acb54baSEdgar E. Iglesias {DEC_OR, dec_or}, 15394acb54baSEdgar E. Iglesias {DEC_BIT, dec_bit}, 15404acb54baSEdgar E. Iglesias {DEC_BARREL, dec_barrel}, 15414acb54baSEdgar E. Iglesias {DEC_LD, dec_load}, 15424acb54baSEdgar E. Iglesias {DEC_ST, dec_store}, 15434acb54baSEdgar E. Iglesias {DEC_IMM, dec_imm}, 15444acb54baSEdgar E. Iglesias {DEC_BR, dec_br}, 15454acb54baSEdgar E. Iglesias {DEC_BCC, dec_bcc}, 15464acb54baSEdgar E. Iglesias {DEC_RTS, dec_rts}, 15471567a005SEdgar E. Iglesias {DEC_FPU, dec_fpu}, 15484acb54baSEdgar E. Iglesias {DEC_MUL, dec_mul}, 15494acb54baSEdgar E. Iglesias {DEC_DIV, dec_div}, 15504acb54baSEdgar E. Iglesias {DEC_MSR, dec_msr}, 15516d76d23eSEdgar E. Iglesias {DEC_STREAM, dec_stream}, 15524acb54baSEdgar E. Iglesias {{0, 0}, dec_null} 15534acb54baSEdgar E. Iglesias }; 15544acb54baSEdgar E. Iglesias 155564254ebaSBlue Swirl static inline void decode(DisasContext *dc, uint32_t ir) 15564acb54baSEdgar E. Iglesias { 15574acb54baSEdgar E. Iglesias int i; 15584acb54baSEdgar E. Iglesias 155964254ebaSBlue Swirl dc->ir = ir; 15604acb54baSEdgar E. Iglesias LOG_DIS("%8.8x\t", dc->ir); 15614acb54baSEdgar E. Iglesias 15624acb54baSEdgar E. Iglesias if (dc->ir) 15634acb54baSEdgar E. Iglesias dc->nr_nops = 0; 15644acb54baSEdgar E. Iglesias else { 15651567a005SEdgar E. Iglesias if ((dc->tb_flags & MSR_EE_FLAG) 15660063ebd6SAndreas Färber && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 15670063ebd6SAndreas Färber && (dc->cpu->env.pvr.regs[2] & PVR2_OPCODE_0x0_ILL_MASK)) { 15681567a005SEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 15691567a005SEdgar E. Iglesias t_gen_raise_exception(dc, EXCP_HW_EXCP); 15701567a005SEdgar E. Iglesias return; 15711567a005SEdgar E. Iglesias } 15721567a005SEdgar E. Iglesias 15734acb54baSEdgar E. Iglesias LOG_DIS("nr_nops=%d\t", dc->nr_nops); 15744acb54baSEdgar E. Iglesias dc->nr_nops++; 1575a47dddd7SAndreas Färber if (dc->nr_nops > 4) { 15760063ebd6SAndreas Färber cpu_abort(CPU(dc->cpu), "fetching nop sequence\n"); 1577a47dddd7SAndreas Färber } 15784acb54baSEdgar E. Iglesias } 15794acb54baSEdgar E. Iglesias /* bit 2 seems to indicate insn type. */ 15804acb54baSEdgar E. Iglesias dc->type_b = ir & (1 << 29); 15814acb54baSEdgar E. Iglesias 15824acb54baSEdgar E. Iglesias dc->opcode = EXTRACT_FIELD(ir, 26, 31); 15834acb54baSEdgar E. Iglesias dc->rd = EXTRACT_FIELD(ir, 21, 25); 15844acb54baSEdgar E. Iglesias dc->ra = EXTRACT_FIELD(ir, 16, 20); 15854acb54baSEdgar E. Iglesias dc->rb = EXTRACT_FIELD(ir, 11, 15); 15864acb54baSEdgar E. Iglesias dc->imm = EXTRACT_FIELD(ir, 0, 15); 15874acb54baSEdgar E. Iglesias 15884acb54baSEdgar E. Iglesias /* Large switch for all insns. */ 15894acb54baSEdgar E. Iglesias for (i = 0; i < ARRAY_SIZE(decinfo); i++) { 15904acb54baSEdgar E. Iglesias if ((dc->opcode & decinfo[i].mask) == decinfo[i].bits) { 15914acb54baSEdgar E. Iglesias decinfo[i].dec(dc); 15924acb54baSEdgar E. Iglesias break; 15934acb54baSEdgar E. Iglesias } 15944acb54baSEdgar E. Iglesias } 15954acb54baSEdgar E. Iglesias } 15964acb54baSEdgar E. Iglesias 15974acb54baSEdgar E. Iglesias /* generate intermediate code for basic block 'tb'. */ 15984e5e1215SRichard Henderson void gen_intermediate_code(CPUMBState *env, struct TranslationBlock *tb) 15994acb54baSEdgar E. Iglesias { 16004e5e1215SRichard Henderson MicroBlazeCPU *cpu = mb_env_get_cpu(env); 1601ed2803daSAndreas Färber CPUState *cs = CPU(cpu); 16024acb54baSEdgar E. Iglesias uint32_t pc_start; 16034acb54baSEdgar E. Iglesias struct DisasContext ctx; 16044acb54baSEdgar E. Iglesias struct DisasContext *dc = &ctx; 16054acb54baSEdgar E. Iglesias uint32_t next_page_start, org_flags; 16064acb54baSEdgar E. Iglesias target_ulong npc; 16074acb54baSEdgar E. Iglesias int num_insns; 16084acb54baSEdgar E. Iglesias int max_insns; 16094acb54baSEdgar E. Iglesias 16104acb54baSEdgar E. Iglesias pc_start = tb->pc; 16110063ebd6SAndreas Färber dc->cpu = cpu; 16124acb54baSEdgar E. Iglesias dc->tb = tb; 16134acb54baSEdgar E. Iglesias org_flags = dc->synced_flags = dc->tb_flags = tb->flags; 16144acb54baSEdgar E. Iglesias 16154acb54baSEdgar E. Iglesias dc->is_jmp = DISAS_NEXT; 16164acb54baSEdgar E. Iglesias dc->jmp = 0; 16174acb54baSEdgar E. Iglesias dc->delayed_branch = !!(dc->tb_flags & D_FLAG); 161823979dc5SEdgar E. Iglesias if (dc->delayed_branch) { 161923979dc5SEdgar E. Iglesias dc->jmp = JMP_INDIRECT; 162023979dc5SEdgar E. Iglesias } 16214acb54baSEdgar E. Iglesias dc->pc = pc_start; 1622ed2803daSAndreas Färber dc->singlestep_enabled = cs->singlestep_enabled; 16234acb54baSEdgar E. Iglesias dc->cpustate_changed = 0; 16244acb54baSEdgar E. Iglesias dc->abort_at_next_insn = 0; 16254acb54baSEdgar E. Iglesias dc->nr_nops = 0; 16264acb54baSEdgar E. Iglesias 1627a47dddd7SAndreas Färber if (pc_start & 3) { 1628a47dddd7SAndreas Färber cpu_abort(cs, "Microblaze: unaligned PC=%x\n", pc_start); 1629a47dddd7SAndreas Färber } 16304acb54baSEdgar E. Iglesias 16314acb54baSEdgar E. Iglesias next_page_start = (pc_start & TARGET_PAGE_MASK) + TARGET_PAGE_SIZE; 16324acb54baSEdgar E. Iglesias num_insns = 0; 16334acb54baSEdgar E. Iglesias max_insns = tb->cflags & CF_COUNT_MASK; 1634190ce7fbSRichard Henderson if (max_insns == 0) { 16354acb54baSEdgar E. Iglesias max_insns = CF_COUNT_MASK; 1636190ce7fbSRichard Henderson } 1637190ce7fbSRichard Henderson if (max_insns > TCG_MAX_INSNS) { 1638190ce7fbSRichard Henderson max_insns = TCG_MAX_INSNS; 1639190ce7fbSRichard Henderson } 16404acb54baSEdgar E. Iglesias 1641cd42d5b2SPaolo Bonzini gen_tb_start(tb); 16424acb54baSEdgar E. Iglesias do 16434acb54baSEdgar E. Iglesias { 1644667b8e29SRichard Henderson tcg_gen_insn_start(dc->pc); 1645959082fcSRichard Henderson num_insns++; 16464acb54baSEdgar E. Iglesias 1647b933066aSRichard Henderson #if SIM_COMPAT 1648b933066aSRichard Henderson if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM)) { 1649b933066aSRichard Henderson tcg_gen_movi_tl(cpu_SR[SR_PC], dc->pc); 1650b933066aSRichard Henderson gen_helper_debug(); 1651b933066aSRichard Henderson } 1652b933066aSRichard Henderson #endif 1653b933066aSRichard Henderson 1654b933066aSRichard Henderson if (unlikely(cpu_breakpoint_test(cs, dc->pc, BP_ANY))) { 1655b933066aSRichard Henderson t_gen_raise_exception(dc, EXCP_DEBUG); 1656b933066aSRichard Henderson dc->is_jmp = DISAS_UPDATE; 1657522a0d4eSRichard Henderson /* The address covered by the breakpoint must be included in 1658522a0d4eSRichard Henderson [tb->pc, tb->pc + tb->size) in order to for it to be 1659522a0d4eSRichard Henderson properly cleared -- thus we increment the PC here so that 1660522a0d4eSRichard Henderson the logic setting tb->size below does the right thing. */ 1661522a0d4eSRichard Henderson dc->pc += 4; 1662b933066aSRichard Henderson break; 1663b933066aSRichard Henderson } 1664b933066aSRichard Henderson 16654acb54baSEdgar E. Iglesias /* Pretty disas. */ 16664acb54baSEdgar E. Iglesias LOG_DIS("%8.8x:\t", dc->pc); 16674acb54baSEdgar E. Iglesias 1668959082fcSRichard Henderson if (num_insns == max_insns && (tb->cflags & CF_LAST_IO)) { 16694acb54baSEdgar E. Iglesias gen_io_start(); 1670959082fcSRichard Henderson } 16714acb54baSEdgar E. Iglesias 16724acb54baSEdgar E. Iglesias dc->clear_imm = 1; 167364254ebaSBlue Swirl decode(dc, cpu_ldl_code(env, dc->pc)); 16744acb54baSEdgar E. Iglesias if (dc->clear_imm) 16754acb54baSEdgar E. Iglesias dc->tb_flags &= ~IMM_FLAG; 16764acb54baSEdgar E. Iglesias dc->pc += 4; 16774acb54baSEdgar E. Iglesias 16784acb54baSEdgar E. Iglesias if (dc->delayed_branch) { 16794acb54baSEdgar E. Iglesias dc->delayed_branch--; 16804acb54baSEdgar E. Iglesias if (!dc->delayed_branch) { 16814acb54baSEdgar E. Iglesias if (dc->tb_flags & DRTI_FLAG) 16824acb54baSEdgar E. Iglesias do_rti(dc); 16834acb54baSEdgar E. Iglesias if (dc->tb_flags & DRTB_FLAG) 16844acb54baSEdgar E. Iglesias do_rtb(dc); 16854acb54baSEdgar E. Iglesias if (dc->tb_flags & DRTE_FLAG) 16864acb54baSEdgar E. Iglesias do_rte(dc); 16874acb54baSEdgar E. Iglesias /* Clear the delay slot flag. */ 16884acb54baSEdgar E. Iglesias dc->tb_flags &= ~D_FLAG; 16894acb54baSEdgar E. Iglesias /* If it is a direct jump, try direct chaining. */ 169023979dc5SEdgar E. Iglesias if (dc->jmp == JMP_INDIRECT) { 16914acb54baSEdgar E. Iglesias eval_cond_jmp(dc, env_btarget, tcg_const_tl(dc->pc)); 16924acb54baSEdgar E. Iglesias dc->is_jmp = DISAS_JUMP; 169323979dc5SEdgar E. Iglesias } else if (dc->jmp == JMP_DIRECT) { 1694844bab60SEdgar E. Iglesias t_sync_flags(dc); 1695844bab60SEdgar E. Iglesias gen_goto_tb(dc, 0, dc->jmp_pc); 1696844bab60SEdgar E. Iglesias dc->is_jmp = DISAS_TB_JUMP; 1697844bab60SEdgar E. Iglesias } else if (dc->jmp == JMP_DIRECT_CC) { 169842a268c2SRichard Henderson TCGLabel *l1 = gen_new_label(); 169923979dc5SEdgar E. Iglesias t_sync_flags(dc); 170023979dc5SEdgar E. Iglesias /* Conditional jmp. */ 170123979dc5SEdgar E. Iglesias tcg_gen_brcondi_tl(TCG_COND_NE, env_btaken, 0, l1); 170223979dc5SEdgar E. Iglesias gen_goto_tb(dc, 1, dc->pc); 170323979dc5SEdgar E. Iglesias gen_set_label(l1); 170423979dc5SEdgar E. Iglesias gen_goto_tb(dc, 0, dc->jmp_pc); 170523979dc5SEdgar E. Iglesias 170623979dc5SEdgar E. Iglesias dc->is_jmp = DISAS_TB_JUMP; 17074acb54baSEdgar E. Iglesias } 17084acb54baSEdgar E. Iglesias break; 17094acb54baSEdgar E. Iglesias } 17104acb54baSEdgar E. Iglesias } 1711ed2803daSAndreas Färber if (cs->singlestep_enabled) { 17124acb54baSEdgar E. Iglesias break; 1713ed2803daSAndreas Färber } 17144acb54baSEdgar E. Iglesias } while (!dc->is_jmp && !dc->cpustate_changed 1715fe700adbSRichard Henderson && !tcg_op_buf_full() 17164acb54baSEdgar E. Iglesias && !singlestep 17174acb54baSEdgar E. Iglesias && (dc->pc < next_page_start) 17184acb54baSEdgar E. Iglesias && num_insns < max_insns); 17194acb54baSEdgar E. Iglesias 17204acb54baSEdgar E. Iglesias npc = dc->pc; 1721844bab60SEdgar E. Iglesias if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) { 17224acb54baSEdgar E. Iglesias if (dc->tb_flags & D_FLAG) { 17234acb54baSEdgar E. Iglesias dc->is_jmp = DISAS_UPDATE; 17244acb54baSEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_PC], npc); 17254acb54baSEdgar E. Iglesias sync_jmpstate(dc); 17264acb54baSEdgar E. Iglesias } else 17274acb54baSEdgar E. Iglesias npc = dc->jmp_pc; 17284acb54baSEdgar E. Iglesias } 17294acb54baSEdgar E. Iglesias 17304acb54baSEdgar E. Iglesias if (tb->cflags & CF_LAST_IO) 17314acb54baSEdgar E. Iglesias gen_io_end(); 17324acb54baSEdgar E. Iglesias /* Force an update if the per-tb cpu state has changed. */ 17334acb54baSEdgar E. Iglesias if (dc->is_jmp == DISAS_NEXT 17344acb54baSEdgar E. Iglesias && (dc->cpustate_changed || org_flags != dc->tb_flags)) { 17354acb54baSEdgar E. Iglesias dc->is_jmp = DISAS_UPDATE; 17364acb54baSEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_PC], npc); 17374acb54baSEdgar E. Iglesias } 17384acb54baSEdgar E. Iglesias t_sync_flags(dc); 17394acb54baSEdgar E. Iglesias 1740ed2803daSAndreas Färber if (unlikely(cs->singlestep_enabled)) { 17416c5f738dSEdgar E. Iglesias TCGv_i32 tmp = tcg_const_i32(EXCP_DEBUG); 17426c5f738dSEdgar E. Iglesias 17436c5f738dSEdgar E. Iglesias if (dc->is_jmp != DISAS_JUMP) { 17444acb54baSEdgar E. Iglesias tcg_gen_movi_tl(cpu_SR[SR_PC], npc); 17456c5f738dSEdgar E. Iglesias } 174664254ebaSBlue Swirl gen_helper_raise_exception(cpu_env, tmp); 17476c5f738dSEdgar E. Iglesias tcg_temp_free_i32(tmp); 17484acb54baSEdgar E. Iglesias } else { 17494acb54baSEdgar E. Iglesias switch(dc->is_jmp) { 17504acb54baSEdgar E. Iglesias case DISAS_NEXT: 17514acb54baSEdgar E. Iglesias gen_goto_tb(dc, 1, npc); 17524acb54baSEdgar E. Iglesias break; 17534acb54baSEdgar E. Iglesias default: 17544acb54baSEdgar E. Iglesias case DISAS_JUMP: 17554acb54baSEdgar E. Iglesias case DISAS_UPDATE: 17564acb54baSEdgar E. Iglesias /* indicate that the hash table must be used 17574acb54baSEdgar E. Iglesias to find the next TB */ 17584acb54baSEdgar E. Iglesias tcg_gen_exit_tb(0); 17594acb54baSEdgar E. Iglesias break; 17604acb54baSEdgar E. Iglesias case DISAS_TB_JUMP: 17614acb54baSEdgar E. Iglesias /* nothing more to generate */ 17624acb54baSEdgar E. Iglesias break; 17634acb54baSEdgar E. Iglesias } 17644acb54baSEdgar E. Iglesias } 1765806f352dSPeter Maydell gen_tb_end(tb, num_insns); 17660a7df5daSRichard Henderson 17674acb54baSEdgar E. Iglesias tb->size = dc->pc - pc_start; 17684acb54baSEdgar E. Iglesias tb->icount = num_insns; 17694acb54baSEdgar E. Iglesias 17704acb54baSEdgar E. Iglesias #ifdef DEBUG_DISAS 17714acb54baSEdgar E. Iglesias #if !SIM_COMPAT 17724910e6e4SRichard Henderson if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM) 17734910e6e4SRichard Henderson && qemu_log_in_addr_range(pc_start)) { 17741ee73216SRichard Henderson qemu_log_lock(); 1775f01a5e7eSRichard Henderson qemu_log("--------------\n"); 17764acb54baSEdgar E. Iglesias #if DISAS_GNU 1777d49190c4SPeter Crosthwaite log_target_disas(cs, pc_start, dc->pc - pc_start, 0); 17784acb54baSEdgar E. Iglesias #endif 1779fe700adbSRichard Henderson qemu_log("\nisize=%d osize=%d\n", 1780fe700adbSRichard Henderson dc->pc - pc_start, tcg_op_buf_count()); 17811ee73216SRichard Henderson qemu_log_unlock(); 17824acb54baSEdgar E. Iglesias } 17834acb54baSEdgar E. Iglesias #endif 17844acb54baSEdgar E. Iglesias #endif 17854acb54baSEdgar E. Iglesias assert(!dc->abort_at_next_insn); 17864acb54baSEdgar E. Iglesias } 17874acb54baSEdgar E. Iglesias 1788878096eeSAndreas Färber void mb_cpu_dump_state(CPUState *cs, FILE *f, fprintf_function cpu_fprintf, 17894acb54baSEdgar E. Iglesias int flags) 17904acb54baSEdgar E. Iglesias { 1791878096eeSAndreas Färber MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs); 1792878096eeSAndreas Färber CPUMBState *env = &cpu->env; 17934acb54baSEdgar E. Iglesias int i; 17944acb54baSEdgar E. Iglesias 17954acb54baSEdgar E. Iglesias if (!env || !f) 17964acb54baSEdgar E. Iglesias return; 17974acb54baSEdgar E. Iglesias 17984acb54baSEdgar E. Iglesias cpu_fprintf(f, "IN: PC=%x %s\n", 17994acb54baSEdgar E. Iglesias env->sregs[SR_PC], lookup_symbol(env->sregs[SR_PC])); 180097694c57SEdgar E. Iglesias cpu_fprintf(f, "rmsr=%x resr=%x rear=%x debug=%x imm=%x iflags=%x fsr=%x\n", 18014c24aa0aSMichal Simek env->sregs[SR_MSR], env->sregs[SR_ESR], env->sregs[SR_EAR], 180297694c57SEdgar E. Iglesias env->debug, env->imm, env->iflags, env->sregs[SR_FSR]); 180317c52a43SEdgar E. Iglesias cpu_fprintf(f, "btaken=%d btarget=%x mode=%s(saved=%s) eip=%d ie=%d\n", 18044acb54baSEdgar E. Iglesias env->btaken, env->btarget, 18054acb54baSEdgar E. Iglesias (env->sregs[SR_MSR] & MSR_UM) ? "user" : "kernel", 180617c52a43SEdgar E. Iglesias (env->sregs[SR_MSR] & MSR_UMS) ? "user" : "kernel", 180717c52a43SEdgar E. Iglesias (env->sregs[SR_MSR] & MSR_EIP), 180817c52a43SEdgar E. Iglesias (env->sregs[SR_MSR] & MSR_IE)); 180917c52a43SEdgar E. Iglesias 18104acb54baSEdgar E. Iglesias for (i = 0; i < 32; i++) { 18114acb54baSEdgar E. Iglesias cpu_fprintf(f, "r%2.2d=%8.8x ", i, env->regs[i]); 18124acb54baSEdgar E. Iglesias if ((i + 1) % 4 == 0) 18134acb54baSEdgar E. Iglesias cpu_fprintf(f, "\n"); 18144acb54baSEdgar E. Iglesias } 18154acb54baSEdgar E. Iglesias cpu_fprintf(f, "\n\n"); 18164acb54baSEdgar E. Iglesias } 18174acb54baSEdgar E. Iglesias 1818b33ab1f7SAndreas Färber MicroBlazeCPU *cpu_mb_init(const char *cpu_model) 18194acb54baSEdgar E. Iglesias { 1820b77f98caSAndreas Färber MicroBlazeCPU *cpu; 18214acb54baSEdgar E. Iglesias 1822b77f98caSAndreas Färber cpu = MICROBLAZE_CPU(object_new(TYPE_MICROBLAZE_CPU)); 18234acb54baSEdgar E. Iglesias 1824746b03b2SAndreas Färber object_property_set_bool(OBJECT(cpu), true, "realized", NULL); 18254acb54baSEdgar E. Iglesias 1826b33ab1f7SAndreas Färber return cpu; 1827b33ab1f7SAndreas Färber } 18284acb54baSEdgar E. Iglesias 1829cd0c24f9SAndreas Färber void mb_tcg_init(void) 1830cd0c24f9SAndreas Färber { 1831cd0c24f9SAndreas Färber int i; 18324acb54baSEdgar E. Iglesias 18334acb54baSEdgar E. Iglesias cpu_env = tcg_global_reg_new_ptr(TCG_AREG0, "env"); 18347c255043SLluís Vilanova tcg_ctx.tcg_env = cpu_env; 18354acb54baSEdgar E. Iglesias 1836e1ccc054SRichard Henderson env_debug = tcg_global_mem_new(cpu_env, 183768cee38aSAndreas Färber offsetof(CPUMBState, debug), 18384acb54baSEdgar E. Iglesias "debug0"); 1839e1ccc054SRichard Henderson env_iflags = tcg_global_mem_new(cpu_env, 184068cee38aSAndreas Färber offsetof(CPUMBState, iflags), 18414acb54baSEdgar E. Iglesias "iflags"); 1842e1ccc054SRichard Henderson env_imm = tcg_global_mem_new(cpu_env, 184368cee38aSAndreas Färber offsetof(CPUMBState, imm), 18444acb54baSEdgar E. Iglesias "imm"); 1845e1ccc054SRichard Henderson env_btarget = tcg_global_mem_new(cpu_env, 184668cee38aSAndreas Färber offsetof(CPUMBState, btarget), 18474acb54baSEdgar E. Iglesias "btarget"); 1848e1ccc054SRichard Henderson env_btaken = tcg_global_mem_new(cpu_env, 184968cee38aSAndreas Färber offsetof(CPUMBState, btaken), 18504acb54baSEdgar E. Iglesias "btaken"); 1851e1ccc054SRichard Henderson env_res_addr = tcg_global_mem_new(cpu_env, 18524a536270SEdgar E. Iglesias offsetof(CPUMBState, res_addr), 18534a536270SEdgar E. Iglesias "res_addr"); 1854e1ccc054SRichard Henderson env_res_val = tcg_global_mem_new(cpu_env, 185511a76217SEdgar E. Iglesias offsetof(CPUMBState, res_val), 185611a76217SEdgar E. Iglesias "res_val"); 18574acb54baSEdgar E. Iglesias for (i = 0; i < ARRAY_SIZE(cpu_R); i++) { 1858e1ccc054SRichard Henderson cpu_R[i] = tcg_global_mem_new(cpu_env, 185968cee38aSAndreas Färber offsetof(CPUMBState, regs[i]), 18604acb54baSEdgar E. Iglesias regnames[i]); 18614acb54baSEdgar E. Iglesias } 18624acb54baSEdgar E. Iglesias for (i = 0; i < ARRAY_SIZE(cpu_SR); i++) { 1863e1ccc054SRichard Henderson cpu_SR[i] = tcg_global_mem_new(cpu_env, 186468cee38aSAndreas Färber offsetof(CPUMBState, sregs[i]), 18654acb54baSEdgar E. Iglesias special_regnames[i]); 18664acb54baSEdgar E. Iglesias } 18674acb54baSEdgar E. Iglesias } 18684acb54baSEdgar E. Iglesias 1869bad729e2SRichard Henderson void restore_state_to_opc(CPUMBState *env, TranslationBlock *tb, 1870bad729e2SRichard Henderson target_ulong *data) 18714acb54baSEdgar E. Iglesias { 1872bad729e2SRichard Henderson env->sregs[SR_PC] = data[0]; 18734acb54baSEdgar E. Iglesias } 1874