1fcf5ef2aSThomas Huth /* 2fcf5ef2aSThomas Huth * Xilinx MicroBlaze emulation for qemu: main translation routines. 3fcf5ef2aSThomas Huth * 4fcf5ef2aSThomas Huth * Copyright (c) 2009 Edgar E. Iglesias. 5fcf5ef2aSThomas Huth * Copyright (c) 2009-2012 PetaLogix Qld Pty Ltd. 6fcf5ef2aSThomas Huth * 7fcf5ef2aSThomas Huth * This library is free software; you can redistribute it and/or 8fcf5ef2aSThomas Huth * modify it under the terms of the GNU Lesser General Public 9fcf5ef2aSThomas Huth * License as published by the Free Software Foundation; either 10fcf5ef2aSThomas Huth * version 2 of the License, or (at your option) any later version. 11fcf5ef2aSThomas Huth * 12fcf5ef2aSThomas Huth * This library is distributed in the hope that it will be useful, 13fcf5ef2aSThomas Huth * but WITHOUT ANY WARRANTY; without even the implied warranty of 14fcf5ef2aSThomas Huth * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 15fcf5ef2aSThomas Huth * Lesser General Public License for more details. 16fcf5ef2aSThomas Huth * 17fcf5ef2aSThomas Huth * You should have received a copy of the GNU Lesser General Public 18fcf5ef2aSThomas Huth * License along with this library; if not, see <http://www.gnu.org/licenses/>. 19fcf5ef2aSThomas Huth */ 20fcf5ef2aSThomas Huth 21fcf5ef2aSThomas Huth #include "qemu/osdep.h" 22fcf5ef2aSThomas Huth #include "cpu.h" 23fcf5ef2aSThomas Huth #include "disas/disas.h" 24fcf5ef2aSThomas Huth #include "exec/exec-all.h" 25dcb32f1dSPhilippe Mathieu-Daudé #include "tcg/tcg-op.h" 26fcf5ef2aSThomas Huth #include "exec/helper-proto.h" 27fcf5ef2aSThomas Huth #include "microblaze-decode.h" 28fcf5ef2aSThomas Huth #include "exec/cpu_ldst.h" 29fcf5ef2aSThomas Huth #include "exec/helper-gen.h" 3077fc6f5eSLluís Vilanova #include "exec/translator.h" 3190c84c56SMarkus Armbruster #include "qemu/qemu-print.h" 32fcf5ef2aSThomas Huth 33fcf5ef2aSThomas Huth #include "trace-tcg.h" 34fcf5ef2aSThomas Huth #include "exec/log.h" 35fcf5ef2aSThomas Huth 36fcf5ef2aSThomas Huth #define EXTRACT_FIELD(src, start, end) \ 37fcf5ef2aSThomas Huth (((src) >> start) & ((1 << (end - start + 1)) - 1)) 38fcf5ef2aSThomas Huth 3977fc6f5eSLluís Vilanova /* is_jmp field values */ 4077fc6f5eSLluís Vilanova #define DISAS_JUMP DISAS_TARGET_0 /* only pc was modified dynamically */ 4177fc6f5eSLluís Vilanova #define DISAS_UPDATE DISAS_TARGET_1 /* cpu state was modified dynamically */ 4277fc6f5eSLluís Vilanova 43cfeea807SEdgar E. Iglesias static TCGv_i32 cpu_R[32]; 440f96e96bSRichard Henderson static TCGv_i32 cpu_pc; 453e0e16aeSRichard Henderson static TCGv_i32 cpu_msr; 461074c0fbSRichard Henderson static TCGv_i32 cpu_msr_c; 479b158558SRichard Henderson static TCGv_i32 cpu_imm; 489b158558SRichard Henderson static TCGv_i32 cpu_btaken; 490f96e96bSRichard Henderson static TCGv_i32 cpu_btarget; 509b158558SRichard Henderson static TCGv_i32 cpu_iflags; 519b158558SRichard Henderson static TCGv cpu_res_addr; 529b158558SRichard Henderson static TCGv_i32 cpu_res_val; 53fcf5ef2aSThomas Huth 54fcf5ef2aSThomas Huth #include "exec/gen-icount.h" 55fcf5ef2aSThomas Huth 56fcf5ef2aSThomas Huth /* This is the state at translation time. */ 57fcf5ef2aSThomas Huth typedef struct DisasContext { 58d4705ae0SRichard Henderson DisasContextBase base; 59fcf5ef2aSThomas Huth MicroBlazeCPU *cpu; 60fcf5ef2aSThomas Huth 6120800179SRichard Henderson TCGv_i32 r0; 6220800179SRichard Henderson bool r0_set; 6320800179SRichard Henderson 64fcf5ef2aSThomas Huth /* Decoder. */ 65fcf5ef2aSThomas Huth int type_b; 66fcf5ef2aSThomas Huth uint32_t ir; 67d7ecb757SRichard Henderson uint32_t ext_imm; 68fcf5ef2aSThomas Huth uint8_t opcode; 69fcf5ef2aSThomas Huth uint8_t rd, ra, rb; 70fcf5ef2aSThomas Huth uint16_t imm; 71fcf5ef2aSThomas Huth 72fcf5ef2aSThomas Huth unsigned int cpustate_changed; 73fcf5ef2aSThomas Huth unsigned int delayed_branch; 74fcf5ef2aSThomas Huth unsigned int tb_flags, synced_flags; /* tb dependent flags. */ 75fcf5ef2aSThomas Huth unsigned int clear_imm; 76fcf5ef2aSThomas Huth 77fcf5ef2aSThomas Huth #define JMP_NOJMP 0 78fcf5ef2aSThomas Huth #define JMP_DIRECT 1 79fcf5ef2aSThomas Huth #define JMP_DIRECT_CC 2 80fcf5ef2aSThomas Huth #define JMP_INDIRECT 3 81fcf5ef2aSThomas Huth unsigned int jmp; 82fcf5ef2aSThomas Huth uint32_t jmp_pc; 83fcf5ef2aSThomas Huth 84fcf5ef2aSThomas Huth int abort_at_next_insn; 85fcf5ef2aSThomas Huth } DisasContext; 86fcf5ef2aSThomas Huth 8720800179SRichard Henderson static int typeb_imm(DisasContext *dc, int x) 8820800179SRichard Henderson { 8920800179SRichard Henderson if (dc->tb_flags & IMM_FLAG) { 9020800179SRichard Henderson return deposit32(dc->ext_imm, 0, 16, x); 9120800179SRichard Henderson } 9220800179SRichard Henderson return x; 9320800179SRichard Henderson } 9420800179SRichard Henderson 9544d1432bSRichard Henderson /* Include the auto-generated decoder. */ 9644d1432bSRichard Henderson #include "decode-insns.c.inc" 9744d1432bSRichard Henderson 98fcf5ef2aSThomas Huth static inline void t_sync_flags(DisasContext *dc) 99fcf5ef2aSThomas Huth { 100fcf5ef2aSThomas Huth /* Synch the tb dependent flags between translator and runtime. */ 101fcf5ef2aSThomas Huth if (dc->tb_flags != dc->synced_flags) { 1029b158558SRichard Henderson tcg_gen_movi_i32(cpu_iflags, dc->tb_flags); 103fcf5ef2aSThomas Huth dc->synced_flags = dc->tb_flags; 104fcf5ef2aSThomas Huth } 105fcf5ef2aSThomas Huth } 106fcf5ef2aSThomas Huth 10741ba37c4SRichard Henderson static void gen_raise_exception(DisasContext *dc, uint32_t index) 108fcf5ef2aSThomas Huth { 109fcf5ef2aSThomas Huth TCGv_i32 tmp = tcg_const_i32(index); 110fcf5ef2aSThomas Huth 111fcf5ef2aSThomas Huth gen_helper_raise_exception(cpu_env, tmp); 112fcf5ef2aSThomas Huth tcg_temp_free_i32(tmp); 113d4705ae0SRichard Henderson dc->base.is_jmp = DISAS_NORETURN; 114fcf5ef2aSThomas Huth } 115fcf5ef2aSThomas Huth 11641ba37c4SRichard Henderson static void gen_raise_exception_sync(DisasContext *dc, uint32_t index) 11741ba37c4SRichard Henderson { 11841ba37c4SRichard Henderson t_sync_flags(dc); 119d4705ae0SRichard Henderson tcg_gen_movi_i32(cpu_pc, dc->base.pc_next); 12041ba37c4SRichard Henderson gen_raise_exception(dc, index); 12141ba37c4SRichard Henderson } 12241ba37c4SRichard Henderson 12341ba37c4SRichard Henderson static void gen_raise_hw_excp(DisasContext *dc, uint32_t esr_ec) 12441ba37c4SRichard Henderson { 12541ba37c4SRichard Henderson TCGv_i32 tmp = tcg_const_i32(esr_ec); 12641ba37c4SRichard Henderson tcg_gen_st_i32(tmp, cpu_env, offsetof(CPUMBState, esr)); 12741ba37c4SRichard Henderson tcg_temp_free_i32(tmp); 12841ba37c4SRichard Henderson 12941ba37c4SRichard Henderson gen_raise_exception_sync(dc, EXCP_HW_EXCP); 13041ba37c4SRichard Henderson } 13141ba37c4SRichard Henderson 132fcf5ef2aSThomas Huth static inline bool use_goto_tb(DisasContext *dc, target_ulong dest) 133fcf5ef2aSThomas Huth { 134fcf5ef2aSThomas Huth #ifndef CONFIG_USER_ONLY 135d4705ae0SRichard Henderson return (dc->base.pc_first & TARGET_PAGE_MASK) == (dest & TARGET_PAGE_MASK); 136fcf5ef2aSThomas Huth #else 137fcf5ef2aSThomas Huth return true; 138fcf5ef2aSThomas Huth #endif 139fcf5ef2aSThomas Huth } 140fcf5ef2aSThomas Huth 141fcf5ef2aSThomas Huth static void gen_goto_tb(DisasContext *dc, int n, target_ulong dest) 142fcf5ef2aSThomas Huth { 143d4705ae0SRichard Henderson if (dc->base.singlestep_enabled) { 1440b46fa08SRichard Henderson TCGv_i32 tmp = tcg_const_i32(EXCP_DEBUG); 1450b46fa08SRichard Henderson tcg_gen_movi_i32(cpu_pc, dest); 1460b46fa08SRichard Henderson gen_helper_raise_exception(cpu_env, tmp); 1470b46fa08SRichard Henderson tcg_temp_free_i32(tmp); 1480b46fa08SRichard Henderson } else if (use_goto_tb(dc, dest)) { 149fcf5ef2aSThomas Huth tcg_gen_goto_tb(n); 1500f96e96bSRichard Henderson tcg_gen_movi_i32(cpu_pc, dest); 151d4705ae0SRichard Henderson tcg_gen_exit_tb(dc->base.tb, n); 152fcf5ef2aSThomas Huth } else { 1530f96e96bSRichard Henderson tcg_gen_movi_i32(cpu_pc, dest); 15407ea28b4SRichard Henderson tcg_gen_exit_tb(NULL, 0); 155fcf5ef2aSThomas Huth } 156d4705ae0SRichard Henderson dc->base.is_jmp = DISAS_NORETURN; 157fcf5ef2aSThomas Huth } 158fcf5ef2aSThomas Huth 159bdfc1e88SEdgar E. Iglesias /* 1609ba8cd45SEdgar E. Iglesias * Returns true if the insn an illegal operation. 1619ba8cd45SEdgar E. Iglesias * If exceptions are enabled, an exception is raised. 1629ba8cd45SEdgar E. Iglesias */ 1639ba8cd45SEdgar E. Iglesias static bool trap_illegal(DisasContext *dc, bool cond) 1649ba8cd45SEdgar E. Iglesias { 1659ba8cd45SEdgar E. Iglesias if (cond && (dc->tb_flags & MSR_EE_FLAG) 1665143fdf3SEdgar E. Iglesias && dc->cpu->cfg.illegal_opcode_exception) { 16741ba37c4SRichard Henderson gen_raise_hw_excp(dc, ESR_EC_ILLEGAL_OP); 1689ba8cd45SEdgar E. Iglesias } 1699ba8cd45SEdgar E. Iglesias return cond; 1709ba8cd45SEdgar E. Iglesias } 1719ba8cd45SEdgar E. Iglesias 1729ba8cd45SEdgar E. Iglesias /* 173bdfc1e88SEdgar E. Iglesias * Returns true if the insn is illegal in userspace. 174bdfc1e88SEdgar E. Iglesias * If exceptions are enabled, an exception is raised. 175bdfc1e88SEdgar E. Iglesias */ 176bdfc1e88SEdgar E. Iglesias static bool trap_userspace(DisasContext *dc, bool cond) 177bdfc1e88SEdgar E. Iglesias { 178bdfc1e88SEdgar E. Iglesias int mem_index = cpu_mmu_index(&dc->cpu->env, false); 179bdfc1e88SEdgar E. Iglesias bool cond_user = cond && mem_index == MMU_USER_IDX; 180bdfc1e88SEdgar E. Iglesias 181bdfc1e88SEdgar E. Iglesias if (cond_user && (dc->tb_flags & MSR_EE_FLAG)) { 18241ba37c4SRichard Henderson gen_raise_hw_excp(dc, ESR_EC_PRIVINSN); 183bdfc1e88SEdgar E. Iglesias } 184bdfc1e88SEdgar E. Iglesias return cond_user; 185bdfc1e88SEdgar E. Iglesias } 186bdfc1e88SEdgar E. Iglesias 187d7ecb757SRichard Henderson static int32_t dec_alu_typeb_imm(DisasContext *dc) 188fcf5ef2aSThomas Huth { 189d7ecb757SRichard Henderson tcg_debug_assert(dc->type_b); 19020800179SRichard Henderson return typeb_imm(dc, (int16_t)dc->imm); 191fcf5ef2aSThomas Huth } 192fcf5ef2aSThomas Huth 193cfeea807SEdgar E. Iglesias static inline TCGv_i32 *dec_alu_op_b(DisasContext *dc) 194fcf5ef2aSThomas Huth { 195fcf5ef2aSThomas Huth if (dc->type_b) { 196d7ecb757SRichard Henderson tcg_gen_movi_i32(cpu_imm, dec_alu_typeb_imm(dc)); 1979b158558SRichard Henderson return &cpu_imm; 198d7ecb757SRichard Henderson } 199fcf5ef2aSThomas Huth return &cpu_R[dc->rb]; 200fcf5ef2aSThomas Huth } 201fcf5ef2aSThomas Huth 20220800179SRichard Henderson static TCGv_i32 reg_for_read(DisasContext *dc, int reg) 203fcf5ef2aSThomas Huth { 20420800179SRichard Henderson if (likely(reg != 0)) { 20520800179SRichard Henderson return cpu_R[reg]; 206fcf5ef2aSThomas Huth } 20720800179SRichard Henderson if (!dc->r0_set) { 20820800179SRichard Henderson if (dc->r0 == NULL) { 20920800179SRichard Henderson dc->r0 = tcg_temp_new_i32(); 210fcf5ef2aSThomas Huth } 21120800179SRichard Henderson tcg_gen_movi_i32(dc->r0, 0); 21220800179SRichard Henderson dc->r0_set = true; 21320800179SRichard Henderson } 21420800179SRichard Henderson return dc->r0; 215fcf5ef2aSThomas Huth } 216fcf5ef2aSThomas Huth 21720800179SRichard Henderson static TCGv_i32 reg_for_write(DisasContext *dc, int reg) 21820800179SRichard Henderson { 21920800179SRichard Henderson if (likely(reg != 0)) { 22020800179SRichard Henderson return cpu_R[reg]; 22120800179SRichard Henderson } 22220800179SRichard Henderson if (dc->r0 == NULL) { 22320800179SRichard Henderson dc->r0 = tcg_temp_new_i32(); 22420800179SRichard Henderson } 22520800179SRichard Henderson return dc->r0; 226fcf5ef2aSThomas Huth } 227fcf5ef2aSThomas Huth 22820800179SRichard Henderson static bool do_typea(DisasContext *dc, arg_typea *arg, bool side_effects, 22920800179SRichard Henderson void (*fn)(TCGv_i32, TCGv_i32, TCGv_i32)) 23020800179SRichard Henderson { 23120800179SRichard Henderson TCGv_i32 rd, ra, rb; 23220800179SRichard Henderson 23320800179SRichard Henderson if (arg->rd == 0 && !side_effects) { 23420800179SRichard Henderson return true; 235fcf5ef2aSThomas Huth } 23620800179SRichard Henderson 23720800179SRichard Henderson rd = reg_for_write(dc, arg->rd); 23820800179SRichard Henderson ra = reg_for_read(dc, arg->ra); 23920800179SRichard Henderson rb = reg_for_read(dc, arg->rb); 24020800179SRichard Henderson fn(rd, ra, rb); 24120800179SRichard Henderson return true; 24220800179SRichard Henderson } 24320800179SRichard Henderson 24420800179SRichard Henderson static bool do_typeb_imm(DisasContext *dc, arg_typeb *arg, bool side_effects, 24520800179SRichard Henderson void (*fni)(TCGv_i32, TCGv_i32, int32_t)) 24620800179SRichard Henderson { 24720800179SRichard Henderson TCGv_i32 rd, ra; 24820800179SRichard Henderson 24920800179SRichard Henderson if (arg->rd == 0 && !side_effects) { 25020800179SRichard Henderson return true; 25120800179SRichard Henderson } 25220800179SRichard Henderson 25320800179SRichard Henderson rd = reg_for_write(dc, arg->rd); 25420800179SRichard Henderson ra = reg_for_read(dc, arg->ra); 25520800179SRichard Henderson fni(rd, ra, arg->imm); 25620800179SRichard Henderson return true; 25720800179SRichard Henderson } 25820800179SRichard Henderson 25920800179SRichard Henderson static bool do_typeb_val(DisasContext *dc, arg_typeb *arg, bool side_effects, 26020800179SRichard Henderson void (*fn)(TCGv_i32, TCGv_i32, TCGv_i32)) 26120800179SRichard Henderson { 26220800179SRichard Henderson TCGv_i32 rd, ra, imm; 26320800179SRichard Henderson 26420800179SRichard Henderson if (arg->rd == 0 && !side_effects) { 26520800179SRichard Henderson return true; 26620800179SRichard Henderson } 26720800179SRichard Henderson 26820800179SRichard Henderson rd = reg_for_write(dc, arg->rd); 26920800179SRichard Henderson ra = reg_for_read(dc, arg->ra); 27020800179SRichard Henderson imm = tcg_const_i32(arg->imm); 27120800179SRichard Henderson 27220800179SRichard Henderson fn(rd, ra, imm); 27320800179SRichard Henderson 27420800179SRichard Henderson tcg_temp_free_i32(imm); 27520800179SRichard Henderson return true; 27620800179SRichard Henderson } 27720800179SRichard Henderson 27820800179SRichard Henderson #define DO_TYPEA(NAME, SE, FN) \ 27920800179SRichard Henderson static bool trans_##NAME(DisasContext *dc, arg_typea *a) \ 28020800179SRichard Henderson { return do_typea(dc, a, SE, FN); } 28120800179SRichard Henderson 28220800179SRichard Henderson #define DO_TYPEBI(NAME, SE, FNI) \ 28320800179SRichard Henderson static bool trans_##NAME(DisasContext *dc, arg_typeb *a) \ 28420800179SRichard Henderson { return do_typeb_imm(dc, a, SE, FNI); } 28520800179SRichard Henderson 28620800179SRichard Henderson #define DO_TYPEBV(NAME, SE, FN) \ 28720800179SRichard Henderson static bool trans_##NAME(DisasContext *dc, arg_typeb *a) \ 28820800179SRichard Henderson { return do_typeb_val(dc, a, SE, FN); } 28920800179SRichard Henderson 29020800179SRichard Henderson /* No input carry, but output carry. */ 29120800179SRichard Henderson static void gen_add(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb) 29220800179SRichard Henderson { 29320800179SRichard Henderson TCGv_i32 zero = tcg_const_i32(0); 29420800179SRichard Henderson 29520800179SRichard Henderson tcg_gen_add2_i32(out, cpu_msr_c, ina, zero, inb, zero); 29620800179SRichard Henderson 29720800179SRichard Henderson tcg_temp_free_i32(zero); 29820800179SRichard Henderson } 29920800179SRichard Henderson 30020800179SRichard Henderson /* Input and output carry. */ 30120800179SRichard Henderson static void gen_addc(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb) 30220800179SRichard Henderson { 30320800179SRichard Henderson TCGv_i32 zero = tcg_const_i32(0); 30420800179SRichard Henderson TCGv_i32 tmp = tcg_temp_new_i32(); 30520800179SRichard Henderson 30620800179SRichard Henderson tcg_gen_add2_i32(tmp, cpu_msr_c, ina, zero, cpu_msr_c, zero); 30720800179SRichard Henderson tcg_gen_add2_i32(out, cpu_msr_c, tmp, cpu_msr_c, inb, zero); 30820800179SRichard Henderson 30920800179SRichard Henderson tcg_temp_free_i32(tmp); 31020800179SRichard Henderson tcg_temp_free_i32(zero); 31120800179SRichard Henderson } 31220800179SRichard Henderson 31320800179SRichard Henderson /* Input carry, but no output carry. */ 31420800179SRichard Henderson static void gen_addkc(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb) 31520800179SRichard Henderson { 31620800179SRichard Henderson tcg_gen_add_i32(out, ina, inb); 31720800179SRichard Henderson tcg_gen_add_i32(out, out, cpu_msr_c); 31820800179SRichard Henderson } 31920800179SRichard Henderson 32020800179SRichard Henderson DO_TYPEA(add, true, gen_add) 32120800179SRichard Henderson DO_TYPEA(addc, true, gen_addc) 32220800179SRichard Henderson DO_TYPEA(addk, false, tcg_gen_add_i32) 32320800179SRichard Henderson DO_TYPEA(addkc, true, gen_addkc) 32420800179SRichard Henderson 32520800179SRichard Henderson DO_TYPEBV(addi, true, gen_add) 32620800179SRichard Henderson DO_TYPEBV(addic, true, gen_addc) 32720800179SRichard Henderson DO_TYPEBI(addik, false, tcg_gen_addi_i32) 32820800179SRichard Henderson DO_TYPEBV(addikc, true, gen_addkc) 32920800179SRichard Henderson 330*58b48b63SRichard Henderson static void gen_cmp(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb) 331*58b48b63SRichard Henderson { 332*58b48b63SRichard Henderson TCGv_i32 lt = tcg_temp_new_i32(); 333*58b48b63SRichard Henderson 334*58b48b63SRichard Henderson tcg_gen_setcond_i32(TCG_COND_LT, lt, inb, ina); 335*58b48b63SRichard Henderson tcg_gen_sub_i32(out, inb, ina); 336*58b48b63SRichard Henderson tcg_gen_deposit_i32(out, out, lt, 31, 1); 337*58b48b63SRichard Henderson tcg_temp_free_i32(lt); 338*58b48b63SRichard Henderson } 339*58b48b63SRichard Henderson 340*58b48b63SRichard Henderson static void gen_cmpu(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb) 341*58b48b63SRichard Henderson { 342*58b48b63SRichard Henderson TCGv_i32 lt = tcg_temp_new_i32(); 343*58b48b63SRichard Henderson 344*58b48b63SRichard Henderson tcg_gen_setcond_i32(TCG_COND_LTU, lt, inb, ina); 345*58b48b63SRichard Henderson tcg_gen_sub_i32(out, inb, ina); 346*58b48b63SRichard Henderson tcg_gen_deposit_i32(out, out, lt, 31, 1); 347*58b48b63SRichard Henderson tcg_temp_free_i32(lt); 348*58b48b63SRichard Henderson } 349*58b48b63SRichard Henderson 350*58b48b63SRichard Henderson DO_TYPEA(cmp, false, gen_cmp) 351*58b48b63SRichard Henderson DO_TYPEA(cmpu, false, gen_cmpu) 352a2b0b90eSRichard Henderson 353a2b0b90eSRichard Henderson /* No input carry, but output carry. */ 354a2b0b90eSRichard Henderson static void gen_rsub(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb) 355a2b0b90eSRichard Henderson { 356a2b0b90eSRichard Henderson tcg_gen_setcond_i32(TCG_COND_GEU, cpu_msr_c, inb, ina); 357a2b0b90eSRichard Henderson tcg_gen_sub_i32(out, inb, ina); 358a2b0b90eSRichard Henderson } 359a2b0b90eSRichard Henderson 360a2b0b90eSRichard Henderson /* Input and output carry. */ 361a2b0b90eSRichard Henderson static void gen_rsubc(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb) 362a2b0b90eSRichard Henderson { 363a2b0b90eSRichard Henderson TCGv_i32 zero = tcg_const_i32(0); 364a2b0b90eSRichard Henderson TCGv_i32 tmp = tcg_temp_new_i32(); 365a2b0b90eSRichard Henderson 366a2b0b90eSRichard Henderson tcg_gen_not_i32(tmp, ina); 367a2b0b90eSRichard Henderson tcg_gen_add2_i32(tmp, cpu_msr_c, tmp, zero, cpu_msr_c, zero); 368a2b0b90eSRichard Henderson tcg_gen_add2_i32(out, cpu_msr_c, tmp, cpu_msr_c, inb, zero); 369a2b0b90eSRichard Henderson 370a2b0b90eSRichard Henderson tcg_temp_free_i32(zero); 371a2b0b90eSRichard Henderson tcg_temp_free_i32(tmp); 372a2b0b90eSRichard Henderson } 373a2b0b90eSRichard Henderson 374a2b0b90eSRichard Henderson /* No input or output carry. */ 375a2b0b90eSRichard Henderson static void gen_rsubk(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb) 376a2b0b90eSRichard Henderson { 377a2b0b90eSRichard Henderson tcg_gen_sub_i32(out, inb, ina); 378a2b0b90eSRichard Henderson } 379a2b0b90eSRichard Henderson 380a2b0b90eSRichard Henderson /* Input carry, no output carry. */ 381a2b0b90eSRichard Henderson static void gen_rsubkc(TCGv_i32 out, TCGv_i32 ina, TCGv_i32 inb) 382a2b0b90eSRichard Henderson { 383a2b0b90eSRichard Henderson TCGv_i32 nota = tcg_temp_new_i32(); 384a2b0b90eSRichard Henderson 385a2b0b90eSRichard Henderson tcg_gen_not_i32(nota, ina); 386a2b0b90eSRichard Henderson tcg_gen_add_i32(out, inb, nota); 387a2b0b90eSRichard Henderson tcg_gen_add_i32(out, out, cpu_msr_c); 388a2b0b90eSRichard Henderson 389a2b0b90eSRichard Henderson tcg_temp_free_i32(nota); 390a2b0b90eSRichard Henderson } 391a2b0b90eSRichard Henderson 392a2b0b90eSRichard Henderson DO_TYPEA(rsub, true, gen_rsub) 393a2b0b90eSRichard Henderson DO_TYPEA(rsubc, true, gen_rsubc) 394a2b0b90eSRichard Henderson DO_TYPEA(rsubk, false, gen_rsubk) 395a2b0b90eSRichard Henderson DO_TYPEA(rsubkc, true, gen_rsubkc) 396a2b0b90eSRichard Henderson 397a2b0b90eSRichard Henderson DO_TYPEBV(rsubi, true, gen_rsub) 398a2b0b90eSRichard Henderson DO_TYPEBV(rsubic, true, gen_rsubc) 399a2b0b90eSRichard Henderson DO_TYPEBV(rsubik, false, gen_rsubk) 400a2b0b90eSRichard Henderson DO_TYPEBV(rsubikc, true, gen_rsubkc) 401a2b0b90eSRichard Henderson 40220800179SRichard Henderson static bool trans_zero(DisasContext *dc, arg_zero *arg) 40320800179SRichard Henderson { 40420800179SRichard Henderson /* If opcode_0_illegal, trap. */ 40520800179SRichard Henderson if (dc->cpu->cfg.opcode_0_illegal) { 40620800179SRichard Henderson trap_illegal(dc, true); 40720800179SRichard Henderson return true; 40820800179SRichard Henderson } 40920800179SRichard Henderson /* 41020800179SRichard Henderson * Otherwise, this is "add r0, r0, r0". 41120800179SRichard Henderson * Continue to trans_add so that MSR[C] gets cleared. 41220800179SRichard Henderson */ 41320800179SRichard Henderson return false; 414fcf5ef2aSThomas Huth } 415fcf5ef2aSThomas Huth 416fcf5ef2aSThomas Huth static void dec_pattern(DisasContext *dc) 417fcf5ef2aSThomas Huth { 418fcf5ef2aSThomas Huth unsigned int mode; 419fcf5ef2aSThomas Huth 4209ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, !dc->cpu->cfg.use_pcmp_instr)) { 4219ba8cd45SEdgar E. Iglesias return; 422fcf5ef2aSThomas Huth } 423fcf5ef2aSThomas Huth 424fcf5ef2aSThomas Huth mode = dc->opcode & 3; 425fcf5ef2aSThomas Huth switch (mode) { 426fcf5ef2aSThomas Huth case 0: 427fcf5ef2aSThomas Huth /* pcmpbf. */ 428fcf5ef2aSThomas Huth if (dc->rd) 429fcf5ef2aSThomas Huth gen_helper_pcmpbf(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 430fcf5ef2aSThomas Huth break; 431fcf5ef2aSThomas Huth case 2: 432fcf5ef2aSThomas Huth if (dc->rd) { 433cfeea807SEdgar E. Iglesias tcg_gen_setcond_i32(TCG_COND_EQ, cpu_R[dc->rd], 434fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 435fcf5ef2aSThomas Huth } 436fcf5ef2aSThomas Huth break; 437fcf5ef2aSThomas Huth case 3: 438fcf5ef2aSThomas Huth if (dc->rd) { 439cfeea807SEdgar E. Iglesias tcg_gen_setcond_i32(TCG_COND_NE, cpu_R[dc->rd], 440fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 441fcf5ef2aSThomas Huth } 442fcf5ef2aSThomas Huth break; 443fcf5ef2aSThomas Huth default: 444fcf5ef2aSThomas Huth cpu_abort(CPU(dc->cpu), 445fcf5ef2aSThomas Huth "unsupported pattern insn opcode=%x\n", dc->opcode); 446fcf5ef2aSThomas Huth break; 447fcf5ef2aSThomas Huth } 448fcf5ef2aSThomas Huth } 449fcf5ef2aSThomas Huth 450fcf5ef2aSThomas Huth static void dec_and(DisasContext *dc) 451fcf5ef2aSThomas Huth { 452fcf5ef2aSThomas Huth unsigned int not; 453fcf5ef2aSThomas Huth 454fcf5ef2aSThomas Huth if (!dc->type_b && (dc->imm & (1 << 10))) { 455fcf5ef2aSThomas Huth dec_pattern(dc); 456fcf5ef2aSThomas Huth return; 457fcf5ef2aSThomas Huth } 458fcf5ef2aSThomas Huth 459fcf5ef2aSThomas Huth not = dc->opcode & (1 << 1); 460fcf5ef2aSThomas Huth 461fcf5ef2aSThomas Huth if (!dc->rd) 462fcf5ef2aSThomas Huth return; 463fcf5ef2aSThomas Huth 464fcf5ef2aSThomas Huth if (not) { 465cfeea807SEdgar E. Iglesias tcg_gen_andc_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 466fcf5ef2aSThomas Huth } else 467cfeea807SEdgar E. Iglesias tcg_gen_and_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 468fcf5ef2aSThomas Huth } 469fcf5ef2aSThomas Huth 470fcf5ef2aSThomas Huth static void dec_or(DisasContext *dc) 471fcf5ef2aSThomas Huth { 472fcf5ef2aSThomas Huth if (!dc->type_b && (dc->imm & (1 << 10))) { 473fcf5ef2aSThomas Huth dec_pattern(dc); 474fcf5ef2aSThomas Huth return; 475fcf5ef2aSThomas Huth } 476fcf5ef2aSThomas Huth 477fcf5ef2aSThomas Huth if (dc->rd) 478cfeea807SEdgar E. Iglesias tcg_gen_or_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 479fcf5ef2aSThomas Huth } 480fcf5ef2aSThomas Huth 481fcf5ef2aSThomas Huth static void dec_xor(DisasContext *dc) 482fcf5ef2aSThomas Huth { 483fcf5ef2aSThomas Huth if (!dc->type_b && (dc->imm & (1 << 10))) { 484fcf5ef2aSThomas Huth dec_pattern(dc); 485fcf5ef2aSThomas Huth return; 486fcf5ef2aSThomas Huth } 487fcf5ef2aSThomas Huth 488fcf5ef2aSThomas Huth if (dc->rd) 489cfeea807SEdgar E. Iglesias tcg_gen_xor_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 490fcf5ef2aSThomas Huth } 491fcf5ef2aSThomas Huth 4921074c0fbSRichard Henderson static void msr_read(DisasContext *dc, TCGv_i32 d) 493fcf5ef2aSThomas Huth { 4941074c0fbSRichard Henderson TCGv_i32 t; 4951074c0fbSRichard Henderson 4961074c0fbSRichard Henderson /* Replicate the cpu_msr_c boolean into the proper bit and the copy. */ 4971074c0fbSRichard Henderson t = tcg_temp_new_i32(); 4981074c0fbSRichard Henderson tcg_gen_muli_i32(t, cpu_msr_c, MSR_C | MSR_CC); 4991074c0fbSRichard Henderson tcg_gen_or_i32(d, cpu_msr, t); 5001074c0fbSRichard Henderson tcg_temp_free_i32(t); 501fcf5ef2aSThomas Huth } 502fcf5ef2aSThomas Huth 5031074c0fbSRichard Henderson static void msr_write(DisasContext *dc, TCGv_i32 v) 504fcf5ef2aSThomas Huth { 505fcf5ef2aSThomas Huth dc->cpustate_changed = 1; 5061074c0fbSRichard Henderson 5071074c0fbSRichard Henderson /* Install MSR_C. */ 5081074c0fbSRichard Henderson tcg_gen_extract_i32(cpu_msr_c, v, 2, 1); 5091074c0fbSRichard Henderson 5101074c0fbSRichard Henderson /* Clear MSR_C and MSR_CC; MSR_PVR is not writable, and is always clear. */ 5111074c0fbSRichard Henderson tcg_gen_andi_i32(cpu_msr, v, ~(MSR_C | MSR_CC | MSR_PVR)); 512fcf5ef2aSThomas Huth } 513fcf5ef2aSThomas Huth 514fcf5ef2aSThomas Huth static void dec_msr(DisasContext *dc) 515fcf5ef2aSThomas Huth { 516fcf5ef2aSThomas Huth CPUState *cs = CPU(dc->cpu); 517cfeea807SEdgar E. Iglesias TCGv_i32 t0, t1; 5182023e9a3SEdgar E. Iglesias unsigned int sr, rn; 519f0f7e7f7SEdgar E. Iglesias bool to, clrset, extended = false; 520fcf5ef2aSThomas Huth 5212023e9a3SEdgar E. Iglesias sr = extract32(dc->imm, 0, 14); 5222023e9a3SEdgar E. Iglesias to = extract32(dc->imm, 14, 1); 5232023e9a3SEdgar E. Iglesias clrset = extract32(dc->imm, 15, 1) == 0; 524fcf5ef2aSThomas Huth dc->type_b = 1; 5252023e9a3SEdgar E. Iglesias if (to) { 526fcf5ef2aSThomas Huth dc->cpustate_changed = 1; 527f0f7e7f7SEdgar E. Iglesias } 528f0f7e7f7SEdgar E. Iglesias 529f0f7e7f7SEdgar E. Iglesias /* Extended MSRs are only available if addr_size > 32. */ 530f0f7e7f7SEdgar E. Iglesias if (dc->cpu->cfg.addr_size > 32) { 531f0f7e7f7SEdgar E. Iglesias /* The E-bit is encoded differently for To/From MSR. */ 532f0f7e7f7SEdgar E. Iglesias static const unsigned int e_bit[] = { 19, 24 }; 533f0f7e7f7SEdgar E. Iglesias 534f0f7e7f7SEdgar E. Iglesias extended = extract32(dc->imm, e_bit[to], 1); 5352023e9a3SEdgar E. Iglesias } 536fcf5ef2aSThomas Huth 537fcf5ef2aSThomas Huth /* msrclr and msrset. */ 5382023e9a3SEdgar E. Iglesias if (clrset) { 5392023e9a3SEdgar E. Iglesias bool clr = extract32(dc->ir, 16, 1); 540fcf5ef2aSThomas Huth 54156837509SEdgar E. Iglesias if (!dc->cpu->cfg.use_msr_instr) { 542fcf5ef2aSThomas Huth /* nop??? */ 543fcf5ef2aSThomas Huth return; 544fcf5ef2aSThomas Huth } 545fcf5ef2aSThomas Huth 546bdfc1e88SEdgar E. Iglesias if (trap_userspace(dc, dc->imm != 4 && dc->imm != 0)) { 547fcf5ef2aSThomas Huth return; 548fcf5ef2aSThomas Huth } 549fcf5ef2aSThomas Huth 550fcf5ef2aSThomas Huth if (dc->rd) 551fcf5ef2aSThomas Huth msr_read(dc, cpu_R[dc->rd]); 552fcf5ef2aSThomas Huth 553cfeea807SEdgar E. Iglesias t0 = tcg_temp_new_i32(); 554cfeea807SEdgar E. Iglesias t1 = tcg_temp_new_i32(); 555fcf5ef2aSThomas Huth msr_read(dc, t0); 556cfeea807SEdgar E. Iglesias tcg_gen_mov_i32(t1, *(dec_alu_op_b(dc))); 557fcf5ef2aSThomas Huth 558fcf5ef2aSThomas Huth if (clr) { 559cfeea807SEdgar E. Iglesias tcg_gen_not_i32(t1, t1); 560cfeea807SEdgar E. Iglesias tcg_gen_and_i32(t0, t0, t1); 561fcf5ef2aSThomas Huth } else 562cfeea807SEdgar E. Iglesias tcg_gen_or_i32(t0, t0, t1); 563fcf5ef2aSThomas Huth msr_write(dc, t0); 564cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t0); 565cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t1); 566d4705ae0SRichard Henderson tcg_gen_movi_i32(cpu_pc, dc->base.pc_next + 4); 567d4705ae0SRichard Henderson dc->base.is_jmp = DISAS_UPDATE; 568fcf5ef2aSThomas Huth return; 569fcf5ef2aSThomas Huth } 570fcf5ef2aSThomas Huth 571bdfc1e88SEdgar E. Iglesias if (trap_userspace(dc, to)) { 572fcf5ef2aSThomas Huth return; 573fcf5ef2aSThomas Huth } 574fcf5ef2aSThomas Huth 575fcf5ef2aSThomas Huth #if !defined(CONFIG_USER_ONLY) 576fcf5ef2aSThomas Huth /* Catch read/writes to the mmu block. */ 577fcf5ef2aSThomas Huth if ((sr & ~0xff) == 0x1000) { 578f0f7e7f7SEdgar E. Iglesias TCGv_i32 tmp_ext = tcg_const_i32(extended); 57905a9a651SEdgar E. Iglesias TCGv_i32 tmp_sr; 58005a9a651SEdgar E. Iglesias 581fcf5ef2aSThomas Huth sr &= 7; 58205a9a651SEdgar E. Iglesias tmp_sr = tcg_const_i32(sr); 58305a9a651SEdgar E. Iglesias if (to) { 584f0f7e7f7SEdgar E. Iglesias gen_helper_mmu_write(cpu_env, tmp_ext, tmp_sr, cpu_R[dc->ra]); 58505a9a651SEdgar E. Iglesias } else { 586f0f7e7f7SEdgar E. Iglesias gen_helper_mmu_read(cpu_R[dc->rd], cpu_env, tmp_ext, tmp_sr); 58705a9a651SEdgar E. Iglesias } 58805a9a651SEdgar E. Iglesias tcg_temp_free_i32(tmp_sr); 589f0f7e7f7SEdgar E. Iglesias tcg_temp_free_i32(tmp_ext); 590fcf5ef2aSThomas Huth return; 591fcf5ef2aSThomas Huth } 592fcf5ef2aSThomas Huth #endif 593fcf5ef2aSThomas Huth 594fcf5ef2aSThomas Huth if (to) { 595fcf5ef2aSThomas Huth switch (sr) { 596aa28e6d4SRichard Henderson case SR_PC: 597fcf5ef2aSThomas Huth break; 598aa28e6d4SRichard Henderson case SR_MSR: 599fcf5ef2aSThomas Huth msr_write(dc, cpu_R[dc->ra]); 600fcf5ef2aSThomas Huth break; 601351527b7SEdgar E. Iglesias case SR_EAR: 602dbdb77c4SRichard Henderson { 603dbdb77c4SRichard Henderson TCGv_i64 t64 = tcg_temp_new_i64(); 604dbdb77c4SRichard Henderson tcg_gen_extu_i32_i64(t64, cpu_R[dc->ra]); 605dbdb77c4SRichard Henderson tcg_gen_st_i64(t64, cpu_env, offsetof(CPUMBState, ear)); 606dbdb77c4SRichard Henderson tcg_temp_free_i64(t64); 607dbdb77c4SRichard Henderson } 608aa28e6d4SRichard Henderson break; 609351527b7SEdgar E. Iglesias case SR_ESR: 61041ba37c4SRichard Henderson tcg_gen_st_i32(cpu_R[dc->ra], 61141ba37c4SRichard Henderson cpu_env, offsetof(CPUMBState, esr)); 612aa28e6d4SRichard Henderson break; 613ab6dd380SEdgar E. Iglesias case SR_FSR: 61486017ccfSRichard Henderson tcg_gen_st_i32(cpu_R[dc->ra], 61586017ccfSRichard Henderson cpu_env, offsetof(CPUMBState, fsr)); 616aa28e6d4SRichard Henderson break; 617aa28e6d4SRichard Henderson case SR_BTR: 618ccf628b7SRichard Henderson tcg_gen_st_i32(cpu_R[dc->ra], 619ccf628b7SRichard Henderson cpu_env, offsetof(CPUMBState, btr)); 620aa28e6d4SRichard Henderson break; 621aa28e6d4SRichard Henderson case SR_EDR: 62239db007eSRichard Henderson tcg_gen_st_i32(cpu_R[dc->ra], 62339db007eSRichard Henderson cpu_env, offsetof(CPUMBState, edr)); 624fcf5ef2aSThomas Huth break; 625fcf5ef2aSThomas Huth case 0x800: 626cfeea807SEdgar E. Iglesias tcg_gen_st_i32(cpu_R[dc->ra], 627cfeea807SEdgar E. Iglesias cpu_env, offsetof(CPUMBState, slr)); 628fcf5ef2aSThomas Huth break; 629fcf5ef2aSThomas Huth case 0x802: 630cfeea807SEdgar E. Iglesias tcg_gen_st_i32(cpu_R[dc->ra], 631cfeea807SEdgar E. Iglesias cpu_env, offsetof(CPUMBState, shr)); 632fcf5ef2aSThomas Huth break; 633fcf5ef2aSThomas Huth default: 634fcf5ef2aSThomas Huth cpu_abort(CPU(dc->cpu), "unknown mts reg %x\n", sr); 635fcf5ef2aSThomas Huth break; 636fcf5ef2aSThomas Huth } 637fcf5ef2aSThomas Huth } else { 638fcf5ef2aSThomas Huth switch (sr) { 639aa28e6d4SRichard Henderson case SR_PC: 640d4705ae0SRichard Henderson tcg_gen_movi_i32(cpu_R[dc->rd], dc->base.pc_next); 641fcf5ef2aSThomas Huth break; 642aa28e6d4SRichard Henderson case SR_MSR: 643fcf5ef2aSThomas Huth msr_read(dc, cpu_R[dc->rd]); 644fcf5ef2aSThomas Huth break; 645351527b7SEdgar E. Iglesias case SR_EAR: 646dbdb77c4SRichard Henderson { 647dbdb77c4SRichard Henderson TCGv_i64 t64 = tcg_temp_new_i64(); 648dbdb77c4SRichard Henderson tcg_gen_ld_i64(t64, cpu_env, offsetof(CPUMBState, ear)); 649a1b48e3aSEdgar E. Iglesias if (extended) { 650dbdb77c4SRichard Henderson tcg_gen_extrh_i64_i32(cpu_R[dc->rd], t64); 651aa28e6d4SRichard Henderson } else { 652dbdb77c4SRichard Henderson tcg_gen_extrl_i64_i32(cpu_R[dc->rd], t64); 653dbdb77c4SRichard Henderson } 654dbdb77c4SRichard Henderson tcg_temp_free_i64(t64); 655a1b48e3aSEdgar E. Iglesias } 656aa28e6d4SRichard Henderson break; 657351527b7SEdgar E. Iglesias case SR_ESR: 65841ba37c4SRichard Henderson tcg_gen_ld_i32(cpu_R[dc->rd], 65941ba37c4SRichard Henderson cpu_env, offsetof(CPUMBState, esr)); 660aa28e6d4SRichard Henderson break; 661351527b7SEdgar E. Iglesias case SR_FSR: 66286017ccfSRichard Henderson tcg_gen_ld_i32(cpu_R[dc->rd], 66386017ccfSRichard Henderson cpu_env, offsetof(CPUMBState, fsr)); 664aa28e6d4SRichard Henderson break; 665351527b7SEdgar E. Iglesias case SR_BTR: 666ccf628b7SRichard Henderson tcg_gen_ld_i32(cpu_R[dc->rd], 667ccf628b7SRichard Henderson cpu_env, offsetof(CPUMBState, btr)); 668aa28e6d4SRichard Henderson break; 6697cdae31dSTong Ho case SR_EDR: 67039db007eSRichard Henderson tcg_gen_ld_i32(cpu_R[dc->rd], 67139db007eSRichard Henderson cpu_env, offsetof(CPUMBState, edr)); 672fcf5ef2aSThomas Huth break; 673fcf5ef2aSThomas Huth case 0x800: 674cfeea807SEdgar E. Iglesias tcg_gen_ld_i32(cpu_R[dc->rd], 675cfeea807SEdgar E. Iglesias cpu_env, offsetof(CPUMBState, slr)); 676fcf5ef2aSThomas Huth break; 677fcf5ef2aSThomas Huth case 0x802: 678cfeea807SEdgar E. Iglesias tcg_gen_ld_i32(cpu_R[dc->rd], 679cfeea807SEdgar E. Iglesias cpu_env, offsetof(CPUMBState, shr)); 680fcf5ef2aSThomas Huth break; 681351527b7SEdgar E. Iglesias case 0x2000 ... 0x200c: 682fcf5ef2aSThomas Huth rn = sr & 0xf; 683cfeea807SEdgar E. Iglesias tcg_gen_ld_i32(cpu_R[dc->rd], 684fcf5ef2aSThomas Huth cpu_env, offsetof(CPUMBState, pvr.regs[rn])); 685fcf5ef2aSThomas Huth break; 686fcf5ef2aSThomas Huth default: 687fcf5ef2aSThomas Huth cpu_abort(cs, "unknown mfs reg %x\n", sr); 688fcf5ef2aSThomas Huth break; 689fcf5ef2aSThomas Huth } 690fcf5ef2aSThomas Huth } 691fcf5ef2aSThomas Huth 692fcf5ef2aSThomas Huth if (dc->rd == 0) { 693cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(cpu_R[0], 0); 694fcf5ef2aSThomas Huth } 695fcf5ef2aSThomas Huth } 696fcf5ef2aSThomas Huth 697fcf5ef2aSThomas Huth /* Multiplier unit. */ 698fcf5ef2aSThomas Huth static void dec_mul(DisasContext *dc) 699fcf5ef2aSThomas Huth { 700cfeea807SEdgar E. Iglesias TCGv_i32 tmp; 701fcf5ef2aSThomas Huth unsigned int subcode; 702fcf5ef2aSThomas Huth 7039ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, !dc->cpu->cfg.use_hw_mul)) { 704fcf5ef2aSThomas Huth return; 705fcf5ef2aSThomas Huth } 706fcf5ef2aSThomas Huth 707fcf5ef2aSThomas Huth subcode = dc->imm & 3; 708fcf5ef2aSThomas Huth 709fcf5ef2aSThomas Huth if (dc->type_b) { 710cfeea807SEdgar E. Iglesias tcg_gen_mul_i32(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 711fcf5ef2aSThomas Huth return; 712fcf5ef2aSThomas Huth } 713fcf5ef2aSThomas Huth 714fcf5ef2aSThomas Huth /* mulh, mulhsu and mulhu are not available if C_USE_HW_MUL is < 2. */ 7159b964318SEdgar E. Iglesias if (subcode >= 1 && subcode <= 3 && dc->cpu->cfg.use_hw_mul < 2) { 716fcf5ef2aSThomas Huth /* nop??? */ 717fcf5ef2aSThomas Huth } 718fcf5ef2aSThomas Huth 719cfeea807SEdgar E. Iglesias tmp = tcg_temp_new_i32(); 720fcf5ef2aSThomas Huth switch (subcode) { 721fcf5ef2aSThomas Huth case 0: 722cfeea807SEdgar E. Iglesias tcg_gen_mul_i32(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 723fcf5ef2aSThomas Huth break; 724fcf5ef2aSThomas Huth case 1: 725cfeea807SEdgar E. Iglesias tcg_gen_muls2_i32(tmp, cpu_R[dc->rd], 726cfeea807SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 727fcf5ef2aSThomas Huth break; 728fcf5ef2aSThomas Huth case 2: 729cfeea807SEdgar E. Iglesias tcg_gen_mulsu2_i32(tmp, cpu_R[dc->rd], 730cfeea807SEdgar E. Iglesias cpu_R[dc->ra], cpu_R[dc->rb]); 731fcf5ef2aSThomas Huth break; 732fcf5ef2aSThomas Huth case 3: 733cfeea807SEdgar E. Iglesias tcg_gen_mulu2_i32(tmp, cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 734fcf5ef2aSThomas Huth break; 735fcf5ef2aSThomas Huth default: 736fcf5ef2aSThomas Huth cpu_abort(CPU(dc->cpu), "unknown MUL insn %x\n", subcode); 737fcf5ef2aSThomas Huth break; 738fcf5ef2aSThomas Huth } 739cfeea807SEdgar E. Iglesias tcg_temp_free_i32(tmp); 740fcf5ef2aSThomas Huth } 741fcf5ef2aSThomas Huth 742fcf5ef2aSThomas Huth /* Div unit. */ 743fcf5ef2aSThomas Huth static void dec_div(DisasContext *dc) 744fcf5ef2aSThomas Huth { 745fcf5ef2aSThomas Huth unsigned int u; 746fcf5ef2aSThomas Huth 747fcf5ef2aSThomas Huth u = dc->imm & 2; 748fcf5ef2aSThomas Huth 7499ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, !dc->cpu->cfg.use_div)) { 7509ba8cd45SEdgar E. Iglesias return; 751fcf5ef2aSThomas Huth } 752fcf5ef2aSThomas Huth 753fcf5ef2aSThomas Huth if (u) 754fcf5ef2aSThomas Huth gen_helper_divu(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)), 755fcf5ef2aSThomas Huth cpu_R[dc->ra]); 756fcf5ef2aSThomas Huth else 757fcf5ef2aSThomas Huth gen_helper_divs(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)), 758fcf5ef2aSThomas Huth cpu_R[dc->ra]); 759fcf5ef2aSThomas Huth if (!dc->rd) 760cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(cpu_R[dc->rd], 0); 761fcf5ef2aSThomas Huth } 762fcf5ef2aSThomas Huth 763fcf5ef2aSThomas Huth static void dec_barrel(DisasContext *dc) 764fcf5ef2aSThomas Huth { 765cfeea807SEdgar E. Iglesias TCGv_i32 t0; 766faa48d74SEdgar E. Iglesias unsigned int imm_w, imm_s; 767d09b2585SEdgar E. Iglesias bool s, t, e = false, i = false; 768fcf5ef2aSThomas Huth 7699ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, !dc->cpu->cfg.use_barrel)) { 770fcf5ef2aSThomas Huth return; 771fcf5ef2aSThomas Huth } 772fcf5ef2aSThomas Huth 773faa48d74SEdgar E. Iglesias if (dc->type_b) { 774faa48d74SEdgar E. Iglesias /* Insert and extract are only available in immediate mode. */ 775d09b2585SEdgar E. Iglesias i = extract32(dc->imm, 15, 1); 776faa48d74SEdgar E. Iglesias e = extract32(dc->imm, 14, 1); 777faa48d74SEdgar E. Iglesias } 778e3e84983SEdgar E. Iglesias s = extract32(dc->imm, 10, 1); 779e3e84983SEdgar E. Iglesias t = extract32(dc->imm, 9, 1); 780faa48d74SEdgar E. Iglesias imm_w = extract32(dc->imm, 6, 5); 781faa48d74SEdgar E. Iglesias imm_s = extract32(dc->imm, 0, 5); 782fcf5ef2aSThomas Huth 783faa48d74SEdgar E. Iglesias if (e) { 784faa48d74SEdgar E. Iglesias if (imm_w + imm_s > 32 || imm_w == 0) { 785faa48d74SEdgar E. Iglesias /* These inputs have an undefined behavior. */ 786faa48d74SEdgar E. Iglesias qemu_log_mask(LOG_GUEST_ERROR, "bsefi: Bad input w=%d s=%d\n", 787faa48d74SEdgar E. Iglesias imm_w, imm_s); 788faa48d74SEdgar E. Iglesias } else { 789faa48d74SEdgar E. Iglesias tcg_gen_extract_i32(cpu_R[dc->rd], cpu_R[dc->ra], imm_s, imm_w); 790faa48d74SEdgar E. Iglesias } 791d09b2585SEdgar E. Iglesias } else if (i) { 792d09b2585SEdgar E. Iglesias int width = imm_w - imm_s + 1; 793d09b2585SEdgar E. Iglesias 794d09b2585SEdgar E. Iglesias if (imm_w < imm_s) { 795d09b2585SEdgar E. Iglesias /* These inputs have an undefined behavior. */ 796d09b2585SEdgar E. Iglesias qemu_log_mask(LOG_GUEST_ERROR, "bsifi: Bad input w=%d s=%d\n", 797d09b2585SEdgar E. Iglesias imm_w, imm_s); 798d09b2585SEdgar E. Iglesias } else { 799d09b2585SEdgar E. Iglesias tcg_gen_deposit_i32(cpu_R[dc->rd], cpu_R[dc->rd], cpu_R[dc->ra], 800d09b2585SEdgar E. Iglesias imm_s, width); 801d09b2585SEdgar E. Iglesias } 802faa48d74SEdgar E. Iglesias } else { 803cfeea807SEdgar E. Iglesias t0 = tcg_temp_new_i32(); 804fcf5ef2aSThomas Huth 805cfeea807SEdgar E. Iglesias tcg_gen_mov_i32(t0, *(dec_alu_op_b(dc))); 806cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t0, t0, 31); 807fcf5ef2aSThomas Huth 8082acf6d53SEdgar E. Iglesias if (s) { 809cfeea807SEdgar E. Iglesias tcg_gen_shl_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0); 8102acf6d53SEdgar E. Iglesias } else { 8112acf6d53SEdgar E. Iglesias if (t) { 812cfeea807SEdgar E. Iglesias tcg_gen_sar_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0); 8132acf6d53SEdgar E. Iglesias } else { 814cfeea807SEdgar E. Iglesias tcg_gen_shr_i32(cpu_R[dc->rd], cpu_R[dc->ra], t0); 815fcf5ef2aSThomas Huth } 816fcf5ef2aSThomas Huth } 817cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t0); 8182acf6d53SEdgar E. Iglesias } 819faa48d74SEdgar E. Iglesias } 820fcf5ef2aSThomas Huth 821fcf5ef2aSThomas Huth static void dec_bit(DisasContext *dc) 822fcf5ef2aSThomas Huth { 823fcf5ef2aSThomas Huth CPUState *cs = CPU(dc->cpu); 824cfeea807SEdgar E. Iglesias TCGv_i32 t0; 825fcf5ef2aSThomas Huth unsigned int op; 826fcf5ef2aSThomas Huth 827fcf5ef2aSThomas Huth op = dc->ir & ((1 << 9) - 1); 828fcf5ef2aSThomas Huth switch (op) { 829fcf5ef2aSThomas Huth case 0x21: 830fcf5ef2aSThomas Huth /* src. */ 831cfeea807SEdgar E. Iglesias t0 = tcg_temp_new_i32(); 832fcf5ef2aSThomas Huth 8331074c0fbSRichard Henderson tcg_gen_shli_i32(t0, cpu_msr_c, 31); 8341074c0fbSRichard Henderson tcg_gen_andi_i32(cpu_msr_c, cpu_R[dc->ra], 1); 835fcf5ef2aSThomas Huth if (dc->rd) { 836cfeea807SEdgar E. Iglesias tcg_gen_shri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1); 837cfeea807SEdgar E. Iglesias tcg_gen_or_i32(cpu_R[dc->rd], cpu_R[dc->rd], t0); 838fcf5ef2aSThomas Huth } 839cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t0); 840fcf5ef2aSThomas Huth break; 841fcf5ef2aSThomas Huth 842fcf5ef2aSThomas Huth case 0x1: 843fcf5ef2aSThomas Huth case 0x41: 844fcf5ef2aSThomas Huth /* srl. */ 8451074c0fbSRichard Henderson tcg_gen_andi_i32(cpu_msr_c, cpu_R[dc->ra], 1); 846fcf5ef2aSThomas Huth if (dc->rd) { 847fcf5ef2aSThomas Huth if (op == 0x41) 848cfeea807SEdgar E. Iglesias tcg_gen_shri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1); 849fcf5ef2aSThomas Huth else 850cfeea807SEdgar E. Iglesias tcg_gen_sari_i32(cpu_R[dc->rd], cpu_R[dc->ra], 1); 851fcf5ef2aSThomas Huth } 852fcf5ef2aSThomas Huth break; 853fcf5ef2aSThomas Huth case 0x60: 854fcf5ef2aSThomas Huth tcg_gen_ext8s_i32(cpu_R[dc->rd], cpu_R[dc->ra]); 855fcf5ef2aSThomas Huth break; 856fcf5ef2aSThomas Huth case 0x61: 857fcf5ef2aSThomas Huth tcg_gen_ext16s_i32(cpu_R[dc->rd], cpu_R[dc->ra]); 858fcf5ef2aSThomas Huth break; 859fcf5ef2aSThomas Huth case 0x64: 860fcf5ef2aSThomas Huth case 0x66: 861fcf5ef2aSThomas Huth case 0x74: 862fcf5ef2aSThomas Huth case 0x76: 863fcf5ef2aSThomas Huth /* wdc. */ 864bdfc1e88SEdgar E. Iglesias trap_userspace(dc, true); 865fcf5ef2aSThomas Huth break; 866fcf5ef2aSThomas Huth case 0x68: 867fcf5ef2aSThomas Huth /* wic. */ 868bdfc1e88SEdgar E. Iglesias trap_userspace(dc, true); 869fcf5ef2aSThomas Huth break; 870fcf5ef2aSThomas Huth case 0xe0: 8719ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, !dc->cpu->cfg.use_pcmp_instr)) { 8729ba8cd45SEdgar E. Iglesias return; 873fcf5ef2aSThomas Huth } 8748fc5239eSEdgar E. Iglesias if (dc->cpu->cfg.use_pcmp_instr) { 8755318420cSRichard Henderson tcg_gen_clzi_i32(cpu_R[dc->rd], cpu_R[dc->ra], 32); 876fcf5ef2aSThomas Huth } 877fcf5ef2aSThomas Huth break; 878fcf5ef2aSThomas Huth case 0x1e0: 879fcf5ef2aSThomas Huth /* swapb */ 880fcf5ef2aSThomas Huth tcg_gen_bswap32_i32(cpu_R[dc->rd], cpu_R[dc->ra]); 881fcf5ef2aSThomas Huth break; 882fcf5ef2aSThomas Huth case 0x1e2: 883fcf5ef2aSThomas Huth /*swaph */ 884fcf5ef2aSThomas Huth tcg_gen_rotri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 16); 885fcf5ef2aSThomas Huth break; 886fcf5ef2aSThomas Huth default: 887fcf5ef2aSThomas Huth cpu_abort(cs, "unknown bit oc=%x op=%x rd=%d ra=%d rb=%d\n", 888d4705ae0SRichard Henderson (uint32_t)dc->base.pc_next, op, dc->rd, dc->ra, dc->rb); 889fcf5ef2aSThomas Huth break; 890fcf5ef2aSThomas Huth } 891fcf5ef2aSThomas Huth } 892fcf5ef2aSThomas Huth 893fcf5ef2aSThomas Huth static inline void sync_jmpstate(DisasContext *dc) 894fcf5ef2aSThomas Huth { 895fcf5ef2aSThomas Huth if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) { 896fcf5ef2aSThomas Huth if (dc->jmp == JMP_DIRECT) { 8979b158558SRichard Henderson tcg_gen_movi_i32(cpu_btaken, 1); 898fcf5ef2aSThomas Huth } 899fcf5ef2aSThomas Huth dc->jmp = JMP_INDIRECT; 9000f96e96bSRichard Henderson tcg_gen_movi_i32(cpu_btarget, dc->jmp_pc); 901fcf5ef2aSThomas Huth } 902fcf5ef2aSThomas Huth } 903fcf5ef2aSThomas Huth 904fcf5ef2aSThomas Huth static void dec_imm(DisasContext *dc) 905fcf5ef2aSThomas Huth { 906d7ecb757SRichard Henderson dc->ext_imm = dc->imm << 16; 907d7ecb757SRichard Henderson tcg_gen_movi_i32(cpu_imm, dc->ext_imm); 908fcf5ef2aSThomas Huth dc->tb_flags |= IMM_FLAG; 909fcf5ef2aSThomas Huth dc->clear_imm = 0; 910fcf5ef2aSThomas Huth } 911fcf5ef2aSThomas Huth 912d248e1beSEdgar E. Iglesias static inline void compute_ldst_addr(DisasContext *dc, bool ea, TCGv t) 913fcf5ef2aSThomas Huth { 9140e9033c8SEdgar E. Iglesias /* Should be set to true if r1 is used by loadstores. */ 9150e9033c8SEdgar E. Iglesias bool stackprot = false; 916403322eaSEdgar E. Iglesias TCGv_i32 t32; 917fcf5ef2aSThomas Huth 918fcf5ef2aSThomas Huth /* All load/stores use ra. */ 919fcf5ef2aSThomas Huth if (dc->ra == 1 && dc->cpu->cfg.stackprot) { 9200e9033c8SEdgar E. Iglesias stackprot = true; 921fcf5ef2aSThomas Huth } 922fcf5ef2aSThomas Huth 923fcf5ef2aSThomas Huth /* Treat the common cases first. */ 924fcf5ef2aSThomas Huth if (!dc->type_b) { 925d248e1beSEdgar E. Iglesias if (ea) { 926d248e1beSEdgar E. Iglesias int addr_size = dc->cpu->cfg.addr_size; 927d248e1beSEdgar E. Iglesias 928d248e1beSEdgar E. Iglesias if (addr_size == 32) { 929d248e1beSEdgar E. Iglesias tcg_gen_extu_i32_tl(t, cpu_R[dc->rb]); 930d248e1beSEdgar E. Iglesias return; 931d248e1beSEdgar E. Iglesias } 932d248e1beSEdgar E. Iglesias 933d248e1beSEdgar E. Iglesias tcg_gen_concat_i32_i64(t, cpu_R[dc->rb], cpu_R[dc->ra]); 934d248e1beSEdgar E. Iglesias if (addr_size < 64) { 935d248e1beSEdgar E. Iglesias /* Mask off out of range bits. */ 936d248e1beSEdgar E. Iglesias tcg_gen_andi_i64(t, t, MAKE_64BIT_MASK(0, addr_size)); 937d248e1beSEdgar E. Iglesias } 938d248e1beSEdgar E. Iglesias return; 939d248e1beSEdgar E. Iglesias } 940d248e1beSEdgar E. Iglesias 9410dc4af5cSEdgar E. Iglesias /* If any of the regs is r0, set t to the value of the other reg. */ 942fcf5ef2aSThomas Huth if (dc->ra == 0) { 943403322eaSEdgar E. Iglesias tcg_gen_extu_i32_tl(t, cpu_R[dc->rb]); 9440dc4af5cSEdgar E. Iglesias return; 945fcf5ef2aSThomas Huth } else if (dc->rb == 0) { 946403322eaSEdgar E. Iglesias tcg_gen_extu_i32_tl(t, cpu_R[dc->ra]); 9470dc4af5cSEdgar E. Iglesias return; 948fcf5ef2aSThomas Huth } 949fcf5ef2aSThomas Huth 950fcf5ef2aSThomas Huth if (dc->rb == 1 && dc->cpu->cfg.stackprot) { 9510e9033c8SEdgar E. Iglesias stackprot = true; 952fcf5ef2aSThomas Huth } 953fcf5ef2aSThomas Huth 954403322eaSEdgar E. Iglesias t32 = tcg_temp_new_i32(); 955403322eaSEdgar E. Iglesias tcg_gen_add_i32(t32, cpu_R[dc->ra], cpu_R[dc->rb]); 956403322eaSEdgar E. Iglesias tcg_gen_extu_i32_tl(t, t32); 957403322eaSEdgar E. Iglesias tcg_temp_free_i32(t32); 958fcf5ef2aSThomas Huth 959fcf5ef2aSThomas Huth if (stackprot) { 9600a87e691SEdgar E. Iglesias gen_helper_stackprot(cpu_env, t); 961fcf5ef2aSThomas Huth } 9620dc4af5cSEdgar E. Iglesias return; 963fcf5ef2aSThomas Huth } 964fcf5ef2aSThomas Huth /* Immediate. */ 965403322eaSEdgar E. Iglesias t32 = tcg_temp_new_i32(); 966d7ecb757SRichard Henderson tcg_gen_addi_i32(t32, cpu_R[dc->ra], dec_alu_typeb_imm(dc)); 967403322eaSEdgar E. Iglesias tcg_gen_extu_i32_tl(t, t32); 968403322eaSEdgar E. Iglesias tcg_temp_free_i32(t32); 969fcf5ef2aSThomas Huth 970fcf5ef2aSThomas Huth if (stackprot) { 9710a87e691SEdgar E. Iglesias gen_helper_stackprot(cpu_env, t); 972fcf5ef2aSThomas Huth } 9730dc4af5cSEdgar E. Iglesias return; 974fcf5ef2aSThomas Huth } 975fcf5ef2aSThomas Huth 976fcf5ef2aSThomas Huth static void dec_load(DisasContext *dc) 977fcf5ef2aSThomas Huth { 978403322eaSEdgar E. Iglesias TCGv_i32 v; 979403322eaSEdgar E. Iglesias TCGv addr; 9808534063aSEdgar E. Iglesias unsigned int size; 981d248e1beSEdgar E. Iglesias bool rev = false, ex = false, ea = false; 982d248e1beSEdgar E. Iglesias int mem_index = cpu_mmu_index(&dc->cpu->env, false); 98314776ab5STony Nguyen MemOp mop; 984fcf5ef2aSThomas Huth 985fcf5ef2aSThomas Huth mop = dc->opcode & 3; 986fcf5ef2aSThomas Huth size = 1 << mop; 987fcf5ef2aSThomas Huth if (!dc->type_b) { 988d248e1beSEdgar E. Iglesias ea = extract32(dc->ir, 7, 1); 9898534063aSEdgar E. Iglesias rev = extract32(dc->ir, 9, 1); 9908534063aSEdgar E. Iglesias ex = extract32(dc->ir, 10, 1); 991fcf5ef2aSThomas Huth } 992fcf5ef2aSThomas Huth mop |= MO_TE; 993fcf5ef2aSThomas Huth if (rev) { 994fcf5ef2aSThomas Huth mop ^= MO_BSWAP; 995fcf5ef2aSThomas Huth } 996fcf5ef2aSThomas Huth 9979ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, size > 4)) { 998fcf5ef2aSThomas Huth return; 999fcf5ef2aSThomas Huth } 1000fcf5ef2aSThomas Huth 1001d248e1beSEdgar E. Iglesias if (trap_userspace(dc, ea)) { 1002d248e1beSEdgar E. Iglesias return; 1003d248e1beSEdgar E. Iglesias } 1004d248e1beSEdgar E. Iglesias 1005fcf5ef2aSThomas Huth t_sync_flags(dc); 1006403322eaSEdgar E. Iglesias addr = tcg_temp_new(); 1007d248e1beSEdgar E. Iglesias compute_ldst_addr(dc, ea, addr); 1008d248e1beSEdgar E. Iglesias /* Extended addressing bypasses the MMU. */ 1009d248e1beSEdgar E. Iglesias mem_index = ea ? MMU_NOMMU_IDX : mem_index; 1010fcf5ef2aSThomas Huth 1011fcf5ef2aSThomas Huth /* 1012fcf5ef2aSThomas Huth * When doing reverse accesses we need to do two things. 1013fcf5ef2aSThomas Huth * 1014fcf5ef2aSThomas Huth * 1. Reverse the address wrt endianness. 1015fcf5ef2aSThomas Huth * 2. Byteswap the data lanes on the way back into the CPU core. 1016fcf5ef2aSThomas Huth */ 1017fcf5ef2aSThomas Huth if (rev && size != 4) { 1018fcf5ef2aSThomas Huth /* Endian reverse the address. t is addr. */ 1019fcf5ef2aSThomas Huth switch (size) { 1020fcf5ef2aSThomas Huth case 1: 1021fcf5ef2aSThomas Huth { 1022a6338015SEdgar E. Iglesias tcg_gen_xori_tl(addr, addr, 3); 1023fcf5ef2aSThomas Huth break; 1024fcf5ef2aSThomas Huth } 1025fcf5ef2aSThomas Huth 1026fcf5ef2aSThomas Huth case 2: 1027fcf5ef2aSThomas Huth /* 00 -> 10 1028fcf5ef2aSThomas Huth 10 -> 00. */ 1029403322eaSEdgar E. Iglesias tcg_gen_xori_tl(addr, addr, 2); 1030fcf5ef2aSThomas Huth break; 1031fcf5ef2aSThomas Huth default: 1032fcf5ef2aSThomas Huth cpu_abort(CPU(dc->cpu), "Invalid reverse size\n"); 1033fcf5ef2aSThomas Huth break; 1034fcf5ef2aSThomas Huth } 1035fcf5ef2aSThomas Huth } 1036fcf5ef2aSThomas Huth 1037fcf5ef2aSThomas Huth /* lwx does not throw unaligned access errors, so force alignment */ 1038fcf5ef2aSThomas Huth if (ex) { 1039403322eaSEdgar E. Iglesias tcg_gen_andi_tl(addr, addr, ~3); 1040fcf5ef2aSThomas Huth } 1041fcf5ef2aSThomas Huth 1042fcf5ef2aSThomas Huth /* If we get a fault on a dslot, the jmpstate better be in sync. */ 1043fcf5ef2aSThomas Huth sync_jmpstate(dc); 1044fcf5ef2aSThomas Huth 1045fcf5ef2aSThomas Huth /* Verify alignment if needed. */ 1046fcf5ef2aSThomas Huth /* 1047fcf5ef2aSThomas Huth * Microblaze gives MMU faults priority over faults due to 1048fcf5ef2aSThomas Huth * unaligned addresses. That's why we speculatively do the load 1049fcf5ef2aSThomas Huth * into v. If the load succeeds, we verify alignment of the 1050fcf5ef2aSThomas Huth * address and if that succeeds we write into the destination reg. 1051fcf5ef2aSThomas Huth */ 1052cfeea807SEdgar E. Iglesias v = tcg_temp_new_i32(); 1053d248e1beSEdgar E. Iglesias tcg_gen_qemu_ld_i32(v, addr, mem_index, mop); 1054fcf5ef2aSThomas Huth 10551507e5f6SEdgar E. Iglesias if (dc->cpu->cfg.unaligned_exceptions && size > 1) { 1056a6338015SEdgar E. Iglesias TCGv_i32 t0 = tcg_const_i32(0); 1057a6338015SEdgar E. Iglesias TCGv_i32 treg = tcg_const_i32(dc->rd); 1058a6338015SEdgar E. Iglesias TCGv_i32 tsize = tcg_const_i32(size - 1); 1059a6338015SEdgar E. Iglesias 1060d4705ae0SRichard Henderson tcg_gen_movi_i32(cpu_pc, dc->base.pc_next); 1061a6338015SEdgar E. Iglesias gen_helper_memalign(cpu_env, addr, treg, t0, tsize); 1062a6338015SEdgar E. Iglesias 1063a6338015SEdgar E. Iglesias tcg_temp_free_i32(t0); 1064a6338015SEdgar E. Iglesias tcg_temp_free_i32(treg); 1065a6338015SEdgar E. Iglesias tcg_temp_free_i32(tsize); 1066fcf5ef2aSThomas Huth } 1067fcf5ef2aSThomas Huth 1068fcf5ef2aSThomas Huth if (ex) { 10699b158558SRichard Henderson tcg_gen_mov_tl(cpu_res_addr, addr); 10709b158558SRichard Henderson tcg_gen_mov_i32(cpu_res_val, v); 1071fcf5ef2aSThomas Huth } 1072fcf5ef2aSThomas Huth if (dc->rd) { 1073cfeea807SEdgar E. Iglesias tcg_gen_mov_i32(cpu_R[dc->rd], v); 1074fcf5ef2aSThomas Huth } 1075cfeea807SEdgar E. Iglesias tcg_temp_free_i32(v); 1076fcf5ef2aSThomas Huth 1077fcf5ef2aSThomas Huth if (ex) { /* lwx */ 1078fcf5ef2aSThomas Huth /* no support for AXI exclusive so always clear C */ 10791074c0fbSRichard Henderson tcg_gen_movi_i32(cpu_msr_c, 0); 1080fcf5ef2aSThomas Huth } 1081fcf5ef2aSThomas Huth 1082403322eaSEdgar E. Iglesias tcg_temp_free(addr); 1083fcf5ef2aSThomas Huth } 1084fcf5ef2aSThomas Huth 1085fcf5ef2aSThomas Huth static void dec_store(DisasContext *dc) 1086fcf5ef2aSThomas Huth { 1087403322eaSEdgar E. Iglesias TCGv addr; 1088fcf5ef2aSThomas Huth TCGLabel *swx_skip = NULL; 1089b51b3d43SEdgar E. Iglesias unsigned int size; 1090d248e1beSEdgar E. Iglesias bool rev = false, ex = false, ea = false; 1091d248e1beSEdgar E. Iglesias int mem_index = cpu_mmu_index(&dc->cpu->env, false); 109214776ab5STony Nguyen MemOp mop; 1093fcf5ef2aSThomas Huth 1094fcf5ef2aSThomas Huth mop = dc->opcode & 3; 1095fcf5ef2aSThomas Huth size = 1 << mop; 1096fcf5ef2aSThomas Huth if (!dc->type_b) { 1097d248e1beSEdgar E. Iglesias ea = extract32(dc->ir, 7, 1); 1098b51b3d43SEdgar E. Iglesias rev = extract32(dc->ir, 9, 1); 1099b51b3d43SEdgar E. Iglesias ex = extract32(dc->ir, 10, 1); 1100fcf5ef2aSThomas Huth } 1101fcf5ef2aSThomas Huth mop |= MO_TE; 1102fcf5ef2aSThomas Huth if (rev) { 1103fcf5ef2aSThomas Huth mop ^= MO_BSWAP; 1104fcf5ef2aSThomas Huth } 1105fcf5ef2aSThomas Huth 11069ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, size > 4)) { 1107fcf5ef2aSThomas Huth return; 1108fcf5ef2aSThomas Huth } 1109fcf5ef2aSThomas Huth 1110d248e1beSEdgar E. Iglesias trap_userspace(dc, ea); 1111d248e1beSEdgar E. Iglesias 1112fcf5ef2aSThomas Huth t_sync_flags(dc); 1113fcf5ef2aSThomas Huth /* If we get a fault on a dslot, the jmpstate better be in sync. */ 1114fcf5ef2aSThomas Huth sync_jmpstate(dc); 11150dc4af5cSEdgar E. Iglesias /* SWX needs a temp_local. */ 1116403322eaSEdgar E. Iglesias addr = ex ? tcg_temp_local_new() : tcg_temp_new(); 1117d248e1beSEdgar E. Iglesias compute_ldst_addr(dc, ea, addr); 1118d248e1beSEdgar E. Iglesias /* Extended addressing bypasses the MMU. */ 1119d248e1beSEdgar E. Iglesias mem_index = ea ? MMU_NOMMU_IDX : mem_index; 1120fcf5ef2aSThomas Huth 1121fcf5ef2aSThomas Huth if (ex) { /* swx */ 1122cfeea807SEdgar E. Iglesias TCGv_i32 tval; 1123fcf5ef2aSThomas Huth 1124fcf5ef2aSThomas Huth /* swx does not throw unaligned access errors, so force alignment */ 1125403322eaSEdgar E. Iglesias tcg_gen_andi_tl(addr, addr, ~3); 1126fcf5ef2aSThomas Huth 11271074c0fbSRichard Henderson tcg_gen_movi_i32(cpu_msr_c, 1); 1128fcf5ef2aSThomas Huth swx_skip = gen_new_label(); 11299b158558SRichard Henderson tcg_gen_brcond_tl(TCG_COND_NE, cpu_res_addr, addr, swx_skip); 1130fcf5ef2aSThomas Huth 1131071cdc67SEdgar E. Iglesias /* 1132071cdc67SEdgar E. Iglesias * Compare the value loaded at lwx with current contents of 1133071cdc67SEdgar E. Iglesias * the reserved location. 1134071cdc67SEdgar E. Iglesias */ 1135cfeea807SEdgar E. Iglesias tval = tcg_temp_new_i32(); 1136071cdc67SEdgar E. Iglesias 11379b158558SRichard Henderson tcg_gen_atomic_cmpxchg_i32(tval, addr, cpu_res_val, 1138071cdc67SEdgar E. Iglesias cpu_R[dc->rd], mem_index, 1139071cdc67SEdgar E. Iglesias mop); 1140071cdc67SEdgar E. Iglesias 11419b158558SRichard Henderson tcg_gen_brcond_i32(TCG_COND_NE, cpu_res_val, tval, swx_skip); 11421074c0fbSRichard Henderson tcg_gen_movi_i32(cpu_msr_c, 0); 1143cfeea807SEdgar E. Iglesias tcg_temp_free_i32(tval); 1144fcf5ef2aSThomas Huth } 1145fcf5ef2aSThomas Huth 1146fcf5ef2aSThomas Huth if (rev && size != 4) { 1147fcf5ef2aSThomas Huth /* Endian reverse the address. t is addr. */ 1148fcf5ef2aSThomas Huth switch (size) { 1149fcf5ef2aSThomas Huth case 1: 1150fcf5ef2aSThomas Huth { 1151a6338015SEdgar E. Iglesias tcg_gen_xori_tl(addr, addr, 3); 1152fcf5ef2aSThomas Huth break; 1153fcf5ef2aSThomas Huth } 1154fcf5ef2aSThomas Huth 1155fcf5ef2aSThomas Huth case 2: 1156fcf5ef2aSThomas Huth /* 00 -> 10 1157fcf5ef2aSThomas Huth 10 -> 00. */ 1158fcf5ef2aSThomas Huth /* Force addr into the temp. */ 1159403322eaSEdgar E. Iglesias tcg_gen_xori_tl(addr, addr, 2); 1160fcf5ef2aSThomas Huth break; 1161fcf5ef2aSThomas Huth default: 1162fcf5ef2aSThomas Huth cpu_abort(CPU(dc->cpu), "Invalid reverse size\n"); 1163fcf5ef2aSThomas Huth break; 1164fcf5ef2aSThomas Huth } 1165fcf5ef2aSThomas Huth } 1166071cdc67SEdgar E. Iglesias 1167071cdc67SEdgar E. Iglesias if (!ex) { 1168d248e1beSEdgar E. Iglesias tcg_gen_qemu_st_i32(cpu_R[dc->rd], addr, mem_index, mop); 1169071cdc67SEdgar E. Iglesias } 1170fcf5ef2aSThomas Huth 1171fcf5ef2aSThomas Huth /* Verify alignment if needed. */ 11721507e5f6SEdgar E. Iglesias if (dc->cpu->cfg.unaligned_exceptions && size > 1) { 1173a6338015SEdgar E. Iglesias TCGv_i32 t1 = tcg_const_i32(1); 1174a6338015SEdgar E. Iglesias TCGv_i32 treg = tcg_const_i32(dc->rd); 1175a6338015SEdgar E. Iglesias TCGv_i32 tsize = tcg_const_i32(size - 1); 1176a6338015SEdgar E. Iglesias 1177d4705ae0SRichard Henderson tcg_gen_movi_i32(cpu_pc, dc->base.pc_next); 1178fcf5ef2aSThomas Huth /* FIXME: if the alignment is wrong, we should restore the value 1179fcf5ef2aSThomas Huth * in memory. One possible way to achieve this is to probe 1180fcf5ef2aSThomas Huth * the MMU prior to the memaccess, thay way we could put 1181fcf5ef2aSThomas Huth * the alignment checks in between the probe and the mem 1182fcf5ef2aSThomas Huth * access. 1183fcf5ef2aSThomas Huth */ 1184a6338015SEdgar E. Iglesias gen_helper_memalign(cpu_env, addr, treg, t1, tsize); 1185a6338015SEdgar E. Iglesias 1186a6338015SEdgar E. Iglesias tcg_temp_free_i32(t1); 1187a6338015SEdgar E. Iglesias tcg_temp_free_i32(treg); 1188a6338015SEdgar E. Iglesias tcg_temp_free_i32(tsize); 1189fcf5ef2aSThomas Huth } 1190fcf5ef2aSThomas Huth 1191fcf5ef2aSThomas Huth if (ex) { 1192fcf5ef2aSThomas Huth gen_set_label(swx_skip); 1193fcf5ef2aSThomas Huth } 1194fcf5ef2aSThomas Huth 1195403322eaSEdgar E. Iglesias tcg_temp_free(addr); 1196fcf5ef2aSThomas Huth } 1197fcf5ef2aSThomas Huth 1198fcf5ef2aSThomas Huth static inline void eval_cc(DisasContext *dc, unsigned int cc, 11999e6e1828SEdgar E. Iglesias TCGv_i32 d, TCGv_i32 a) 1200fcf5ef2aSThomas Huth { 1201d89b86e9SEdgar E. Iglesias static const int mb_to_tcg_cc[] = { 1202d89b86e9SEdgar E. Iglesias [CC_EQ] = TCG_COND_EQ, 1203d89b86e9SEdgar E. Iglesias [CC_NE] = TCG_COND_NE, 1204d89b86e9SEdgar E. Iglesias [CC_LT] = TCG_COND_LT, 1205d89b86e9SEdgar E. Iglesias [CC_LE] = TCG_COND_LE, 1206d89b86e9SEdgar E. Iglesias [CC_GE] = TCG_COND_GE, 1207d89b86e9SEdgar E. Iglesias [CC_GT] = TCG_COND_GT, 1208d89b86e9SEdgar E. Iglesias }; 1209d89b86e9SEdgar E. Iglesias 1210fcf5ef2aSThomas Huth switch (cc) { 1211fcf5ef2aSThomas Huth case CC_EQ: 1212fcf5ef2aSThomas Huth case CC_NE: 1213fcf5ef2aSThomas Huth case CC_LT: 1214fcf5ef2aSThomas Huth case CC_LE: 1215fcf5ef2aSThomas Huth case CC_GE: 1216fcf5ef2aSThomas Huth case CC_GT: 12179e6e1828SEdgar E. Iglesias tcg_gen_setcondi_i32(mb_to_tcg_cc[cc], d, a, 0); 1218fcf5ef2aSThomas Huth break; 1219fcf5ef2aSThomas Huth default: 1220fcf5ef2aSThomas Huth cpu_abort(CPU(dc->cpu), "Unknown condition code %x.\n", cc); 1221fcf5ef2aSThomas Huth break; 1222fcf5ef2aSThomas Huth } 1223fcf5ef2aSThomas Huth } 1224fcf5ef2aSThomas Huth 12250f96e96bSRichard Henderson static void eval_cond_jmp(DisasContext *dc, TCGv_i32 pc_true, TCGv_i32 pc_false) 1226fcf5ef2aSThomas Huth { 12270f96e96bSRichard Henderson TCGv_i32 zero = tcg_const_i32(0); 1228e956caf2SEdgar E. Iglesias 12290f96e96bSRichard Henderson tcg_gen_movcond_i32(TCG_COND_NE, cpu_pc, 12309b158558SRichard Henderson cpu_btaken, zero, 1231e956caf2SEdgar E. Iglesias pc_true, pc_false); 1232e956caf2SEdgar E. Iglesias 12330f96e96bSRichard Henderson tcg_temp_free_i32(zero); 1234fcf5ef2aSThomas Huth } 1235fcf5ef2aSThomas Huth 1236f91c60f0SEdgar E. Iglesias static void dec_setup_dslot(DisasContext *dc) 1237f91c60f0SEdgar E. Iglesias { 1238f91c60f0SEdgar E. Iglesias TCGv_i32 tmp = tcg_const_i32(dc->type_b && (dc->tb_flags & IMM_FLAG)); 1239f91c60f0SEdgar E. Iglesias 1240f91c60f0SEdgar E. Iglesias dc->delayed_branch = 2; 1241f91c60f0SEdgar E. Iglesias dc->tb_flags |= D_FLAG; 1242f91c60f0SEdgar E. Iglesias 1243f91c60f0SEdgar E. Iglesias tcg_gen_st_i32(tmp, cpu_env, offsetof(CPUMBState, bimm)); 1244f91c60f0SEdgar E. Iglesias tcg_temp_free_i32(tmp); 1245f91c60f0SEdgar E. Iglesias } 1246f91c60f0SEdgar E. Iglesias 1247fcf5ef2aSThomas Huth static void dec_bcc(DisasContext *dc) 1248fcf5ef2aSThomas Huth { 1249fcf5ef2aSThomas Huth unsigned int cc; 1250fcf5ef2aSThomas Huth unsigned int dslot; 1251fcf5ef2aSThomas Huth 1252fcf5ef2aSThomas Huth cc = EXTRACT_FIELD(dc->ir, 21, 23); 1253fcf5ef2aSThomas Huth dslot = dc->ir & (1 << 25); 1254fcf5ef2aSThomas Huth 1255fcf5ef2aSThomas Huth dc->delayed_branch = 1; 1256fcf5ef2aSThomas Huth if (dslot) { 1257f91c60f0SEdgar E. Iglesias dec_setup_dslot(dc); 1258fcf5ef2aSThomas Huth } 1259fcf5ef2aSThomas Huth 1260d7ecb757SRichard Henderson if (dc->type_b) { 1261fcf5ef2aSThomas Huth dc->jmp = JMP_DIRECT_CC; 1262d7ecb757SRichard Henderson dc->jmp_pc = dc->base.pc_next + dec_alu_typeb_imm(dc); 1263d7ecb757SRichard Henderson tcg_gen_movi_i32(cpu_btarget, dc->jmp_pc); 1264fcf5ef2aSThomas Huth } else { 1265fcf5ef2aSThomas Huth dc->jmp = JMP_INDIRECT; 1266d7ecb757SRichard Henderson tcg_gen_addi_i32(cpu_btarget, cpu_R[dc->rb], dc->base.pc_next); 1267fcf5ef2aSThomas Huth } 12689b158558SRichard Henderson eval_cc(dc, cc, cpu_btaken, cpu_R[dc->ra]); 1269fcf5ef2aSThomas Huth } 1270fcf5ef2aSThomas Huth 1271fcf5ef2aSThomas Huth static void dec_br(DisasContext *dc) 1272fcf5ef2aSThomas Huth { 1273fcf5ef2aSThomas Huth unsigned int dslot, link, abs, mbar; 1274fcf5ef2aSThomas Huth 1275fcf5ef2aSThomas Huth dslot = dc->ir & (1 << 20); 1276fcf5ef2aSThomas Huth abs = dc->ir & (1 << 19); 1277fcf5ef2aSThomas Huth link = dc->ir & (1 << 18); 1278fcf5ef2aSThomas Huth 1279fcf5ef2aSThomas Huth /* Memory barrier. */ 1280fcf5ef2aSThomas Huth mbar = (dc->ir >> 16) & 31; 1281fcf5ef2aSThomas Huth if (mbar == 2 && dc->imm == 4) { 1282badcbf9dSEdgar E. Iglesias uint16_t mbar_imm = dc->rd; 1283badcbf9dSEdgar E. Iglesias 12843f172744SEdgar E. Iglesias /* Data access memory barrier. */ 12853f172744SEdgar E. Iglesias if ((mbar_imm & 2) == 0) { 12863f172744SEdgar E. Iglesias tcg_gen_mb(TCG_BAR_SC | TCG_MO_ALL); 12873f172744SEdgar E. Iglesias } 12883f172744SEdgar E. Iglesias 1289fcf5ef2aSThomas Huth /* mbar IMM & 16 decodes to sleep. */ 1290badcbf9dSEdgar E. Iglesias if (mbar_imm & 16) { 129141ba37c4SRichard Henderson TCGv_i32 tmp_1; 1292fcf5ef2aSThomas Huth 1293b4919e7dSEdgar E. Iglesias if (trap_userspace(dc, true)) { 1294b4919e7dSEdgar E. Iglesias /* Sleep is a privileged instruction. */ 1295b4919e7dSEdgar E. Iglesias return; 1296b4919e7dSEdgar E. Iglesias } 1297b4919e7dSEdgar E. Iglesias 1298fcf5ef2aSThomas Huth t_sync_flags(dc); 129941ba37c4SRichard Henderson 130041ba37c4SRichard Henderson tmp_1 = tcg_const_i32(1); 1301fcf5ef2aSThomas Huth tcg_gen_st_i32(tmp_1, cpu_env, 1302fcf5ef2aSThomas Huth -offsetof(MicroBlazeCPU, env) 1303fcf5ef2aSThomas Huth +offsetof(CPUState, halted)); 1304fcf5ef2aSThomas Huth tcg_temp_free_i32(tmp_1); 130541ba37c4SRichard Henderson 1306d4705ae0SRichard Henderson tcg_gen_movi_i32(cpu_pc, dc->base.pc_next + 4); 130741ba37c4SRichard Henderson 130841ba37c4SRichard Henderson gen_raise_exception(dc, EXCP_HLT); 1309fcf5ef2aSThomas Huth return; 1310fcf5ef2aSThomas Huth } 1311fcf5ef2aSThomas Huth /* Break the TB. */ 1312fcf5ef2aSThomas Huth dc->cpustate_changed = 1; 1313fcf5ef2aSThomas Huth return; 1314fcf5ef2aSThomas Huth } 1315fcf5ef2aSThomas Huth 1316d7ecb757SRichard Henderson if (abs && link && !dslot) { 1317d7ecb757SRichard Henderson if (dc->type_b) { 1318d7ecb757SRichard Henderson /* BRKI */ 1319d7ecb757SRichard Henderson uint32_t imm = dec_alu_typeb_imm(dc); 1320d7ecb757SRichard Henderson if (trap_userspace(dc, imm != 8 && imm != 0x18)) { 1321d7ecb757SRichard Henderson return; 1322d7ecb757SRichard Henderson } 1323d7ecb757SRichard Henderson } else { 1324d7ecb757SRichard Henderson /* BRK */ 1325d7ecb757SRichard Henderson if (trap_userspace(dc, true)) { 1326d7ecb757SRichard Henderson return; 1327d7ecb757SRichard Henderson } 1328d7ecb757SRichard Henderson } 1329d7ecb757SRichard Henderson } 1330d7ecb757SRichard Henderson 1331fcf5ef2aSThomas Huth dc->delayed_branch = 1; 1332fcf5ef2aSThomas Huth if (dslot) { 1333f91c60f0SEdgar E. Iglesias dec_setup_dslot(dc); 1334fcf5ef2aSThomas Huth } 1335d7ecb757SRichard Henderson if (link && dc->rd) { 1336d4705ae0SRichard Henderson tcg_gen_movi_i32(cpu_R[dc->rd], dc->base.pc_next); 1337d7ecb757SRichard Henderson } 1338fcf5ef2aSThomas Huth 1339fcf5ef2aSThomas Huth if (abs) { 1340d7ecb757SRichard Henderson if (dc->type_b) { 1341d7ecb757SRichard Henderson uint32_t dest = dec_alu_typeb_imm(dc); 1342d7ecb757SRichard Henderson 1343d7ecb757SRichard Henderson dc->jmp = JMP_DIRECT; 1344d7ecb757SRichard Henderson dc->jmp_pc = dest; 1345d7ecb757SRichard Henderson tcg_gen_movi_i32(cpu_btarget, dest); 1346fcf5ef2aSThomas Huth if (link && !dslot) { 1347d7ecb757SRichard Henderson switch (dest) { 1348d7ecb757SRichard Henderson case 8: 1349d7ecb757SRichard Henderson case 0x18: 1350d7ecb757SRichard Henderson gen_raise_exception_sync(dc, EXCP_BREAK); 1351d7ecb757SRichard Henderson break; 1352d7ecb757SRichard Henderson case 0: 1353d7ecb757SRichard Henderson gen_raise_exception_sync(dc, EXCP_DEBUG); 1354d7ecb757SRichard Henderson break; 1355d7ecb757SRichard Henderson } 1356d7ecb757SRichard Henderson } 1357d7ecb757SRichard Henderson } else { 1358d7ecb757SRichard Henderson dc->jmp = JMP_INDIRECT; 1359d7ecb757SRichard Henderson tcg_gen_mov_i32(cpu_btarget, cpu_R[dc->rb]); 1360d7ecb757SRichard Henderson if (link && !dslot) { 136141ba37c4SRichard Henderson gen_raise_exception_sync(dc, EXCP_BREAK); 136241ba37c4SRichard Henderson } 1363fcf5ef2aSThomas Huth } 1364d7ecb757SRichard Henderson } else if (dc->type_b) { 1365fcf5ef2aSThomas Huth dc->jmp = JMP_DIRECT; 1366d7ecb757SRichard Henderson dc->jmp_pc = dc->base.pc_next + dec_alu_typeb_imm(dc); 1367d7ecb757SRichard Henderson tcg_gen_movi_i32(cpu_btarget, dc->jmp_pc); 1368fcf5ef2aSThomas Huth } else { 1369d7ecb757SRichard Henderson dc->jmp = JMP_INDIRECT; 1370d7ecb757SRichard Henderson tcg_gen_addi_i32(cpu_btarget, cpu_R[dc->rb], dc->base.pc_next); 1371d7ecb757SRichard Henderson } 13729b158558SRichard Henderson tcg_gen_movi_i32(cpu_btaken, 1); 1373fcf5ef2aSThomas Huth } 1374fcf5ef2aSThomas Huth 1375fcf5ef2aSThomas Huth static inline void do_rti(DisasContext *dc) 1376fcf5ef2aSThomas Huth { 1377cfeea807SEdgar E. Iglesias TCGv_i32 t0, t1; 1378cfeea807SEdgar E. Iglesias t0 = tcg_temp_new_i32(); 1379cfeea807SEdgar E. Iglesias t1 = tcg_temp_new_i32(); 13803e0e16aeSRichard Henderson tcg_gen_mov_i32(t1, cpu_msr); 13810a22f8cfSEdgar E. Iglesias tcg_gen_shri_i32(t0, t1, 1); 13820a22f8cfSEdgar E. Iglesias tcg_gen_ori_i32(t1, t1, MSR_IE); 1383cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM)); 1384fcf5ef2aSThomas Huth 1385cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM)); 1386cfeea807SEdgar E. Iglesias tcg_gen_or_i32(t1, t1, t0); 1387fcf5ef2aSThomas Huth msr_write(dc, t1); 1388cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t1); 1389cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t0); 1390fcf5ef2aSThomas Huth dc->tb_flags &= ~DRTI_FLAG; 1391fcf5ef2aSThomas Huth } 1392fcf5ef2aSThomas Huth 1393fcf5ef2aSThomas Huth static inline void do_rtb(DisasContext *dc) 1394fcf5ef2aSThomas Huth { 1395cfeea807SEdgar E. Iglesias TCGv_i32 t0, t1; 1396cfeea807SEdgar E. Iglesias t0 = tcg_temp_new_i32(); 1397cfeea807SEdgar E. Iglesias t1 = tcg_temp_new_i32(); 13983e0e16aeSRichard Henderson tcg_gen_mov_i32(t1, cpu_msr); 13990a22f8cfSEdgar E. Iglesias tcg_gen_andi_i32(t1, t1, ~MSR_BIP); 1400cfeea807SEdgar E. Iglesias tcg_gen_shri_i32(t0, t1, 1); 1401cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM)); 1402fcf5ef2aSThomas Huth 1403cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM)); 1404cfeea807SEdgar E. Iglesias tcg_gen_or_i32(t1, t1, t0); 1405fcf5ef2aSThomas Huth msr_write(dc, t1); 1406cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t1); 1407cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t0); 1408fcf5ef2aSThomas Huth dc->tb_flags &= ~DRTB_FLAG; 1409fcf5ef2aSThomas Huth } 1410fcf5ef2aSThomas Huth 1411fcf5ef2aSThomas Huth static inline void do_rte(DisasContext *dc) 1412fcf5ef2aSThomas Huth { 1413cfeea807SEdgar E. Iglesias TCGv_i32 t0, t1; 1414cfeea807SEdgar E. Iglesias t0 = tcg_temp_new_i32(); 1415cfeea807SEdgar E. Iglesias t1 = tcg_temp_new_i32(); 1416fcf5ef2aSThomas Huth 14173e0e16aeSRichard Henderson tcg_gen_mov_i32(t1, cpu_msr); 14180a22f8cfSEdgar E. Iglesias tcg_gen_ori_i32(t1, t1, MSR_EE); 1419cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t1, t1, ~MSR_EIP); 1420cfeea807SEdgar E. Iglesias tcg_gen_shri_i32(t0, t1, 1); 1421cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t0, t0, (MSR_VM | MSR_UM)); 1422fcf5ef2aSThomas Huth 1423cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t1, t1, ~(MSR_VM | MSR_UM)); 1424cfeea807SEdgar E. Iglesias tcg_gen_or_i32(t1, t1, t0); 1425fcf5ef2aSThomas Huth msr_write(dc, t1); 1426cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t1); 1427cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t0); 1428fcf5ef2aSThomas Huth dc->tb_flags &= ~DRTE_FLAG; 1429fcf5ef2aSThomas Huth } 1430fcf5ef2aSThomas Huth 1431fcf5ef2aSThomas Huth static void dec_rts(DisasContext *dc) 1432fcf5ef2aSThomas Huth { 1433fcf5ef2aSThomas Huth unsigned int b_bit, i_bit, e_bit; 1434fcf5ef2aSThomas Huth 1435fcf5ef2aSThomas Huth i_bit = dc->ir & (1 << 21); 1436fcf5ef2aSThomas Huth b_bit = dc->ir & (1 << 22); 1437fcf5ef2aSThomas Huth e_bit = dc->ir & (1 << 23); 1438fcf5ef2aSThomas Huth 1439bdfc1e88SEdgar E. Iglesias if (trap_userspace(dc, i_bit || b_bit || e_bit)) { 1440bdfc1e88SEdgar E. Iglesias return; 1441bdfc1e88SEdgar E. Iglesias } 1442bdfc1e88SEdgar E. Iglesias 1443f91c60f0SEdgar E. Iglesias dec_setup_dslot(dc); 1444fcf5ef2aSThomas Huth 1445fcf5ef2aSThomas Huth if (i_bit) { 1446fcf5ef2aSThomas Huth dc->tb_flags |= DRTI_FLAG; 1447fcf5ef2aSThomas Huth } else if (b_bit) { 1448fcf5ef2aSThomas Huth dc->tb_flags |= DRTB_FLAG; 1449fcf5ef2aSThomas Huth } else if (e_bit) { 1450fcf5ef2aSThomas Huth dc->tb_flags |= DRTE_FLAG; 145111105d67SRichard Henderson } 1452fcf5ef2aSThomas Huth 1453fcf5ef2aSThomas Huth dc->jmp = JMP_INDIRECT; 14549b158558SRichard Henderson tcg_gen_movi_i32(cpu_btaken, 1); 14550f96e96bSRichard Henderson tcg_gen_add_i32(cpu_btarget, cpu_R[dc->ra], *dec_alu_op_b(dc)); 1456fcf5ef2aSThomas Huth } 1457fcf5ef2aSThomas Huth 1458fcf5ef2aSThomas Huth static int dec_check_fpuv2(DisasContext *dc) 1459fcf5ef2aSThomas Huth { 1460fcf5ef2aSThomas Huth if ((dc->cpu->cfg.use_fpu != 2) && (dc->tb_flags & MSR_EE_FLAG)) { 146141ba37c4SRichard Henderson gen_raise_hw_excp(dc, ESR_EC_FPU); 1462fcf5ef2aSThomas Huth } 14632016a6a7SJoe Komlodi return (dc->cpu->cfg.use_fpu == 2) ? PVR2_USE_FPU2_MASK : 0; 1464fcf5ef2aSThomas Huth } 1465fcf5ef2aSThomas Huth 1466fcf5ef2aSThomas Huth static void dec_fpu(DisasContext *dc) 1467fcf5ef2aSThomas Huth { 1468fcf5ef2aSThomas Huth unsigned int fpu_insn; 1469fcf5ef2aSThomas Huth 14709ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, !dc->cpu->cfg.use_fpu)) { 1471fcf5ef2aSThomas Huth return; 1472fcf5ef2aSThomas Huth } 1473fcf5ef2aSThomas Huth 1474fcf5ef2aSThomas Huth fpu_insn = (dc->ir >> 7) & 7; 1475fcf5ef2aSThomas Huth 1476fcf5ef2aSThomas Huth switch (fpu_insn) { 1477fcf5ef2aSThomas Huth case 0: 1478fcf5ef2aSThomas Huth gen_helper_fadd(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 1479fcf5ef2aSThomas Huth cpu_R[dc->rb]); 1480fcf5ef2aSThomas Huth break; 1481fcf5ef2aSThomas Huth 1482fcf5ef2aSThomas Huth case 1: 1483fcf5ef2aSThomas Huth gen_helper_frsub(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 1484fcf5ef2aSThomas Huth cpu_R[dc->rb]); 1485fcf5ef2aSThomas Huth break; 1486fcf5ef2aSThomas Huth 1487fcf5ef2aSThomas Huth case 2: 1488fcf5ef2aSThomas Huth gen_helper_fmul(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 1489fcf5ef2aSThomas Huth cpu_R[dc->rb]); 1490fcf5ef2aSThomas Huth break; 1491fcf5ef2aSThomas Huth 1492fcf5ef2aSThomas Huth case 3: 1493fcf5ef2aSThomas Huth gen_helper_fdiv(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 1494fcf5ef2aSThomas Huth cpu_R[dc->rb]); 1495fcf5ef2aSThomas Huth break; 1496fcf5ef2aSThomas Huth 1497fcf5ef2aSThomas Huth case 4: 1498fcf5ef2aSThomas Huth switch ((dc->ir >> 4) & 7) { 1499fcf5ef2aSThomas Huth case 0: 1500fcf5ef2aSThomas Huth gen_helper_fcmp_un(cpu_R[dc->rd], cpu_env, 1501fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1502fcf5ef2aSThomas Huth break; 1503fcf5ef2aSThomas Huth case 1: 1504fcf5ef2aSThomas Huth gen_helper_fcmp_lt(cpu_R[dc->rd], cpu_env, 1505fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1506fcf5ef2aSThomas Huth break; 1507fcf5ef2aSThomas Huth case 2: 1508fcf5ef2aSThomas Huth gen_helper_fcmp_eq(cpu_R[dc->rd], cpu_env, 1509fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1510fcf5ef2aSThomas Huth break; 1511fcf5ef2aSThomas Huth case 3: 1512fcf5ef2aSThomas Huth gen_helper_fcmp_le(cpu_R[dc->rd], cpu_env, 1513fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1514fcf5ef2aSThomas Huth break; 1515fcf5ef2aSThomas Huth case 4: 1516fcf5ef2aSThomas Huth gen_helper_fcmp_gt(cpu_R[dc->rd], cpu_env, 1517fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1518fcf5ef2aSThomas Huth break; 1519fcf5ef2aSThomas Huth case 5: 1520fcf5ef2aSThomas Huth gen_helper_fcmp_ne(cpu_R[dc->rd], cpu_env, 1521fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1522fcf5ef2aSThomas Huth break; 1523fcf5ef2aSThomas Huth case 6: 1524fcf5ef2aSThomas Huth gen_helper_fcmp_ge(cpu_R[dc->rd], cpu_env, 1525fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1526fcf5ef2aSThomas Huth break; 1527fcf5ef2aSThomas Huth default: 1528fcf5ef2aSThomas Huth qemu_log_mask(LOG_UNIMP, 1529fcf5ef2aSThomas Huth "unimplemented fcmp fpu_insn=%x pc=%x" 1530fcf5ef2aSThomas Huth " opc=%x\n", 1531d4705ae0SRichard Henderson fpu_insn, (uint32_t)dc->base.pc_next, 1532d4705ae0SRichard Henderson dc->opcode); 1533fcf5ef2aSThomas Huth dc->abort_at_next_insn = 1; 1534fcf5ef2aSThomas Huth break; 1535fcf5ef2aSThomas Huth } 1536fcf5ef2aSThomas Huth break; 1537fcf5ef2aSThomas Huth 1538fcf5ef2aSThomas Huth case 5: 1539fcf5ef2aSThomas Huth if (!dec_check_fpuv2(dc)) { 1540fcf5ef2aSThomas Huth return; 1541fcf5ef2aSThomas Huth } 1542fcf5ef2aSThomas Huth gen_helper_flt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]); 1543fcf5ef2aSThomas Huth break; 1544fcf5ef2aSThomas Huth 1545fcf5ef2aSThomas Huth case 6: 1546fcf5ef2aSThomas Huth if (!dec_check_fpuv2(dc)) { 1547fcf5ef2aSThomas Huth return; 1548fcf5ef2aSThomas Huth } 1549fcf5ef2aSThomas Huth gen_helper_fint(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]); 1550fcf5ef2aSThomas Huth break; 1551fcf5ef2aSThomas Huth 1552fcf5ef2aSThomas Huth case 7: 1553fcf5ef2aSThomas Huth if (!dec_check_fpuv2(dc)) { 1554fcf5ef2aSThomas Huth return; 1555fcf5ef2aSThomas Huth } 1556fcf5ef2aSThomas Huth gen_helper_fsqrt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]); 1557fcf5ef2aSThomas Huth break; 1558fcf5ef2aSThomas Huth 1559fcf5ef2aSThomas Huth default: 1560fcf5ef2aSThomas Huth qemu_log_mask(LOG_UNIMP, "unimplemented FPU insn fpu_insn=%x pc=%x" 1561fcf5ef2aSThomas Huth " opc=%x\n", 1562d4705ae0SRichard Henderson fpu_insn, (uint32_t)dc->base.pc_next, dc->opcode); 1563fcf5ef2aSThomas Huth dc->abort_at_next_insn = 1; 1564fcf5ef2aSThomas Huth break; 1565fcf5ef2aSThomas Huth } 1566fcf5ef2aSThomas Huth } 1567fcf5ef2aSThomas Huth 1568fcf5ef2aSThomas Huth static void dec_null(DisasContext *dc) 1569fcf5ef2aSThomas Huth { 15709ba8cd45SEdgar E. Iglesias if (trap_illegal(dc, true)) { 1571fcf5ef2aSThomas Huth return; 1572fcf5ef2aSThomas Huth } 1573d4705ae0SRichard Henderson qemu_log_mask(LOG_GUEST_ERROR, "unknown insn pc=%x opc=%x\n", 1574d4705ae0SRichard Henderson (uint32_t)dc->base.pc_next, dc->opcode); 1575fcf5ef2aSThomas Huth dc->abort_at_next_insn = 1; 1576fcf5ef2aSThomas Huth } 1577fcf5ef2aSThomas Huth 1578fcf5ef2aSThomas Huth /* Insns connected to FSL or AXI stream attached devices. */ 1579fcf5ef2aSThomas Huth static void dec_stream(DisasContext *dc) 1580fcf5ef2aSThomas Huth { 1581fcf5ef2aSThomas Huth TCGv_i32 t_id, t_ctrl; 1582fcf5ef2aSThomas Huth int ctrl; 1583fcf5ef2aSThomas Huth 1584bdfc1e88SEdgar E. Iglesias if (trap_userspace(dc, true)) { 1585fcf5ef2aSThomas Huth return; 1586fcf5ef2aSThomas Huth } 1587fcf5ef2aSThomas Huth 1588cfeea807SEdgar E. Iglesias t_id = tcg_temp_new_i32(); 1589fcf5ef2aSThomas Huth if (dc->type_b) { 1590cfeea807SEdgar E. Iglesias tcg_gen_movi_i32(t_id, dc->imm & 0xf); 1591fcf5ef2aSThomas Huth ctrl = dc->imm >> 10; 1592fcf5ef2aSThomas Huth } else { 1593cfeea807SEdgar E. Iglesias tcg_gen_andi_i32(t_id, cpu_R[dc->rb], 0xf); 1594fcf5ef2aSThomas Huth ctrl = dc->imm >> 5; 1595fcf5ef2aSThomas Huth } 1596fcf5ef2aSThomas Huth 1597cfeea807SEdgar E. Iglesias t_ctrl = tcg_const_i32(ctrl); 1598fcf5ef2aSThomas Huth 1599fcf5ef2aSThomas Huth if (dc->rd == 0) { 1600fcf5ef2aSThomas Huth gen_helper_put(t_id, t_ctrl, cpu_R[dc->ra]); 1601fcf5ef2aSThomas Huth } else { 1602fcf5ef2aSThomas Huth gen_helper_get(cpu_R[dc->rd], t_id, t_ctrl); 1603fcf5ef2aSThomas Huth } 1604cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t_id); 1605cfeea807SEdgar E. Iglesias tcg_temp_free_i32(t_ctrl); 1606fcf5ef2aSThomas Huth } 1607fcf5ef2aSThomas Huth 1608fcf5ef2aSThomas Huth static struct decoder_info { 1609fcf5ef2aSThomas Huth struct { 1610fcf5ef2aSThomas Huth uint32_t bits; 1611fcf5ef2aSThomas Huth uint32_t mask; 1612fcf5ef2aSThomas Huth }; 1613fcf5ef2aSThomas Huth void (*dec)(DisasContext *dc); 1614fcf5ef2aSThomas Huth } decinfo[] = { 1615fcf5ef2aSThomas Huth {DEC_AND, dec_and}, 1616fcf5ef2aSThomas Huth {DEC_XOR, dec_xor}, 1617fcf5ef2aSThomas Huth {DEC_OR, dec_or}, 1618fcf5ef2aSThomas Huth {DEC_BIT, dec_bit}, 1619fcf5ef2aSThomas Huth {DEC_BARREL, dec_barrel}, 1620fcf5ef2aSThomas Huth {DEC_LD, dec_load}, 1621fcf5ef2aSThomas Huth {DEC_ST, dec_store}, 1622fcf5ef2aSThomas Huth {DEC_IMM, dec_imm}, 1623fcf5ef2aSThomas Huth {DEC_BR, dec_br}, 1624fcf5ef2aSThomas Huth {DEC_BCC, dec_bcc}, 1625fcf5ef2aSThomas Huth {DEC_RTS, dec_rts}, 1626fcf5ef2aSThomas Huth {DEC_FPU, dec_fpu}, 1627fcf5ef2aSThomas Huth {DEC_MUL, dec_mul}, 1628fcf5ef2aSThomas Huth {DEC_DIV, dec_div}, 1629fcf5ef2aSThomas Huth {DEC_MSR, dec_msr}, 1630fcf5ef2aSThomas Huth {DEC_STREAM, dec_stream}, 1631fcf5ef2aSThomas Huth {{0, 0}, dec_null} 1632fcf5ef2aSThomas Huth }; 1633fcf5ef2aSThomas Huth 163444d1432bSRichard Henderson static void old_decode(DisasContext *dc, uint32_t ir) 1635fcf5ef2aSThomas Huth { 1636fcf5ef2aSThomas Huth int i; 1637fcf5ef2aSThomas Huth 1638fcf5ef2aSThomas Huth dc->ir = ir; 1639fcf5ef2aSThomas Huth 1640fcf5ef2aSThomas Huth /* bit 2 seems to indicate insn type. */ 1641fcf5ef2aSThomas Huth dc->type_b = ir & (1 << 29); 1642fcf5ef2aSThomas Huth 1643fcf5ef2aSThomas Huth dc->opcode = EXTRACT_FIELD(ir, 26, 31); 1644fcf5ef2aSThomas Huth dc->rd = EXTRACT_FIELD(ir, 21, 25); 1645fcf5ef2aSThomas Huth dc->ra = EXTRACT_FIELD(ir, 16, 20); 1646fcf5ef2aSThomas Huth dc->rb = EXTRACT_FIELD(ir, 11, 15); 1647fcf5ef2aSThomas Huth dc->imm = EXTRACT_FIELD(ir, 0, 15); 1648fcf5ef2aSThomas Huth 1649fcf5ef2aSThomas Huth /* Large switch for all insns. */ 1650fcf5ef2aSThomas Huth for (i = 0; i < ARRAY_SIZE(decinfo); i++) { 1651fcf5ef2aSThomas Huth if ((dc->opcode & decinfo[i].mask) == decinfo[i].bits) { 1652fcf5ef2aSThomas Huth decinfo[i].dec(dc); 1653fcf5ef2aSThomas Huth break; 1654fcf5ef2aSThomas Huth } 1655fcf5ef2aSThomas Huth } 1656fcf5ef2aSThomas Huth } 1657fcf5ef2aSThomas Huth 1658372122e3SRichard Henderson static void mb_tr_init_disas_context(DisasContextBase *dcb, CPUState *cs) 1659fcf5ef2aSThomas Huth { 1660372122e3SRichard Henderson DisasContext *dc = container_of(dcb, DisasContext, base); 1661372122e3SRichard Henderson MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs); 1662372122e3SRichard Henderson int bound; 1663fcf5ef2aSThomas Huth 1664fcf5ef2aSThomas Huth dc->cpu = cpu; 1665372122e3SRichard Henderson dc->synced_flags = dc->tb_flags = dc->base.tb->flags; 1666fcf5ef2aSThomas Huth dc->delayed_branch = !!(dc->tb_flags & D_FLAG); 1667372122e3SRichard Henderson dc->jmp = dc->delayed_branch ? JMP_INDIRECT : JMP_NOJMP; 1668fcf5ef2aSThomas Huth dc->cpustate_changed = 0; 1669fcf5ef2aSThomas Huth dc->abort_at_next_insn = 0; 1670d7ecb757SRichard Henderson dc->ext_imm = dc->base.tb->cs_base; 167120800179SRichard Henderson dc->r0 = NULL; 167220800179SRichard Henderson dc->r0_set = false; 1673fcf5ef2aSThomas Huth 1674372122e3SRichard Henderson bound = -(dc->base.pc_first | TARGET_PAGE_MASK) / 4; 1675372122e3SRichard Henderson dc->base.max_insns = MIN(dc->base.max_insns, bound); 1676fcf5ef2aSThomas Huth } 1677fcf5ef2aSThomas Huth 1678372122e3SRichard Henderson static void mb_tr_tb_start(DisasContextBase *dcb, CPUState *cs) 1679fcf5ef2aSThomas Huth { 1680fcf5ef2aSThomas Huth } 1681fcf5ef2aSThomas Huth 1682372122e3SRichard Henderson static void mb_tr_insn_start(DisasContextBase *dcb, CPUState *cs) 1683372122e3SRichard Henderson { 1684372122e3SRichard Henderson tcg_gen_insn_start(dcb->pc_next); 1685372122e3SRichard Henderson } 1686fcf5ef2aSThomas Huth 1687372122e3SRichard Henderson static bool mb_tr_breakpoint_check(DisasContextBase *dcb, CPUState *cs, 1688372122e3SRichard Henderson const CPUBreakpoint *bp) 1689372122e3SRichard Henderson { 1690372122e3SRichard Henderson DisasContext *dc = container_of(dcb, DisasContext, base); 1691372122e3SRichard Henderson 1692372122e3SRichard Henderson gen_raise_exception_sync(dc, EXCP_DEBUG); 1693372122e3SRichard Henderson 1694372122e3SRichard Henderson /* 1695372122e3SRichard Henderson * The address covered by the breakpoint must be included in 1696372122e3SRichard Henderson * [tb->pc, tb->pc + tb->size) in order to for it to be 1697372122e3SRichard Henderson * properly cleared -- thus we increment the PC here so that 1698372122e3SRichard Henderson * the logic setting tb->size below does the right thing. 1699372122e3SRichard Henderson */ 1700372122e3SRichard Henderson dc->base.pc_next += 4; 1701372122e3SRichard Henderson return true; 1702372122e3SRichard Henderson } 1703372122e3SRichard Henderson 1704372122e3SRichard Henderson static void mb_tr_translate_insn(DisasContextBase *dcb, CPUState *cs) 1705372122e3SRichard Henderson { 1706372122e3SRichard Henderson DisasContext *dc = container_of(dcb, DisasContext, base); 1707372122e3SRichard Henderson CPUMBState *env = cs->env_ptr; 170844d1432bSRichard Henderson uint32_t ir; 1709372122e3SRichard Henderson 1710372122e3SRichard Henderson /* TODO: This should raise an exception, not terminate qemu. */ 1711372122e3SRichard Henderson if (dc->base.pc_next & 3) { 1712372122e3SRichard Henderson cpu_abort(cs, "Microblaze: unaligned PC=%x\n", 1713372122e3SRichard Henderson (uint32_t)dc->base.pc_next); 1714fcf5ef2aSThomas Huth } 1715fcf5ef2aSThomas Huth 1716fcf5ef2aSThomas Huth dc->clear_imm = 1; 171744d1432bSRichard Henderson ir = cpu_ldl_code(env, dc->base.pc_next); 171844d1432bSRichard Henderson if (!decode(dc, ir)) { 171944d1432bSRichard Henderson old_decode(dc, ir); 172044d1432bSRichard Henderson } 172120800179SRichard Henderson 172220800179SRichard Henderson if (dc->r0) { 172320800179SRichard Henderson tcg_temp_free_i32(dc->r0); 172420800179SRichard Henderson dc->r0 = NULL; 172520800179SRichard Henderson dc->r0_set = false; 172620800179SRichard Henderson } 172720800179SRichard Henderson 1728d7ecb757SRichard Henderson if (dc->clear_imm && (dc->tb_flags & IMM_FLAG)) { 1729fcf5ef2aSThomas Huth dc->tb_flags &= ~IMM_FLAG; 1730d7ecb757SRichard Henderson tcg_gen_discard_i32(cpu_imm); 1731372122e3SRichard Henderson } 1732d4705ae0SRichard Henderson dc->base.pc_next += 4; 1733fcf5ef2aSThomas Huth 1734372122e3SRichard Henderson if (dc->delayed_branch && --dc->delayed_branch == 0) { 1735372122e3SRichard Henderson if (dc->tb_flags & DRTI_FLAG) { 1736fcf5ef2aSThomas Huth do_rti(dc); 1737372122e3SRichard Henderson } 1738372122e3SRichard Henderson if (dc->tb_flags & DRTB_FLAG) { 1739fcf5ef2aSThomas Huth do_rtb(dc); 1740372122e3SRichard Henderson } 1741372122e3SRichard Henderson if (dc->tb_flags & DRTE_FLAG) { 1742fcf5ef2aSThomas Huth do_rte(dc); 1743372122e3SRichard Henderson } 1744fcf5ef2aSThomas Huth /* Clear the delay slot flag. */ 1745fcf5ef2aSThomas Huth dc->tb_flags &= ~D_FLAG; 1746372122e3SRichard Henderson dc->base.is_jmp = DISAS_JUMP; 1747372122e3SRichard Henderson } 1748372122e3SRichard Henderson 1749372122e3SRichard Henderson /* Force an exit if the per-tb cpu state has changed. */ 1750372122e3SRichard Henderson if (dc->base.is_jmp == DISAS_NEXT && dc->cpustate_changed) { 1751372122e3SRichard Henderson dc->base.is_jmp = DISAS_UPDATE; 1752372122e3SRichard Henderson tcg_gen_movi_i32(cpu_pc, dc->base.pc_next); 1753372122e3SRichard Henderson } 1754372122e3SRichard Henderson } 1755372122e3SRichard Henderson 1756372122e3SRichard Henderson static void mb_tr_tb_stop(DisasContextBase *dcb, CPUState *cs) 1757372122e3SRichard Henderson { 1758372122e3SRichard Henderson DisasContext *dc = container_of(dcb, DisasContext, base); 1759372122e3SRichard Henderson 1760372122e3SRichard Henderson assert(!dc->abort_at_next_insn); 1761372122e3SRichard Henderson 1762372122e3SRichard Henderson if (dc->base.is_jmp == DISAS_NORETURN) { 1763372122e3SRichard Henderson /* We have already exited the TB. */ 1764372122e3SRichard Henderson return; 1765372122e3SRichard Henderson } 1766372122e3SRichard Henderson 1767372122e3SRichard Henderson t_sync_flags(dc); 1768372122e3SRichard Henderson if (dc->tb_flags & D_FLAG) { 1769372122e3SRichard Henderson sync_jmpstate(dc); 1770372122e3SRichard Henderson dc->jmp = JMP_NOJMP; 1771372122e3SRichard Henderson } 1772372122e3SRichard Henderson 1773372122e3SRichard Henderson switch (dc->base.is_jmp) { 1774372122e3SRichard Henderson case DISAS_TOO_MANY: 1775372122e3SRichard Henderson assert(dc->jmp == JMP_NOJMP); 1776372122e3SRichard Henderson gen_goto_tb(dc, 0, dc->base.pc_next); 1777372122e3SRichard Henderson return; 1778372122e3SRichard Henderson 1779372122e3SRichard Henderson case DISAS_UPDATE: 1780372122e3SRichard Henderson assert(dc->jmp == JMP_NOJMP); 1781372122e3SRichard Henderson if (unlikely(cs->singlestep_enabled)) { 1782372122e3SRichard Henderson gen_raise_exception(dc, EXCP_DEBUG); 1783372122e3SRichard Henderson } else { 1784372122e3SRichard Henderson tcg_gen_exit_tb(NULL, 0); 1785372122e3SRichard Henderson } 1786372122e3SRichard Henderson return; 1787372122e3SRichard Henderson 1788372122e3SRichard Henderson case DISAS_JUMP: 1789372122e3SRichard Henderson switch (dc->jmp) { 1790372122e3SRichard Henderson case JMP_INDIRECT: 1791372122e3SRichard Henderson { 1792d4705ae0SRichard Henderson TCGv_i32 tmp_pc = tcg_const_i32(dc->base.pc_next); 17930f96e96bSRichard Henderson eval_cond_jmp(dc, cpu_btarget, tmp_pc); 17940f96e96bSRichard Henderson tcg_temp_free_i32(tmp_pc); 1795372122e3SRichard Henderson 1796372122e3SRichard Henderson if (unlikely(cs->singlestep_enabled)) { 1797372122e3SRichard Henderson gen_raise_exception(dc, EXCP_DEBUG); 1798372122e3SRichard Henderson } else { 1799372122e3SRichard Henderson tcg_gen_exit_tb(NULL, 0); 1800372122e3SRichard Henderson } 1801372122e3SRichard Henderson } 1802372122e3SRichard Henderson return; 1803372122e3SRichard Henderson 1804372122e3SRichard Henderson case JMP_DIRECT_CC: 1805372122e3SRichard Henderson { 1806fcf5ef2aSThomas Huth TCGLabel *l1 = gen_new_label(); 18079b158558SRichard Henderson tcg_gen_brcondi_i32(TCG_COND_NE, cpu_btaken, 0, l1); 1808d4705ae0SRichard Henderson gen_goto_tb(dc, 1, dc->base.pc_next); 1809fcf5ef2aSThomas Huth gen_set_label(l1); 1810372122e3SRichard Henderson } 1811372122e3SRichard Henderson /* fall through */ 1812372122e3SRichard Henderson 1813372122e3SRichard Henderson case JMP_DIRECT: 1814fcf5ef2aSThomas Huth gen_goto_tb(dc, 0, dc->jmp_pc); 1815372122e3SRichard Henderson return; 1816fcf5ef2aSThomas Huth } 1817372122e3SRichard Henderson /* fall through */ 1818fcf5ef2aSThomas Huth 1819a2b80dbdSRichard Henderson default: 1820a2b80dbdSRichard Henderson g_assert_not_reached(); 1821fcf5ef2aSThomas Huth } 1822fcf5ef2aSThomas Huth } 1823fcf5ef2aSThomas Huth 1824372122e3SRichard Henderson static void mb_tr_disas_log(const DisasContextBase *dcb, CPUState *cs) 1825372122e3SRichard Henderson { 1826372122e3SRichard Henderson qemu_log("IN: %s\n", lookup_symbol(dcb->pc_first)); 1827372122e3SRichard Henderson log_target_disas(cs, dcb->pc_first, dcb->tb->size); 1828fcf5ef2aSThomas Huth } 1829372122e3SRichard Henderson 1830372122e3SRichard Henderson static const TranslatorOps mb_tr_ops = { 1831372122e3SRichard Henderson .init_disas_context = mb_tr_init_disas_context, 1832372122e3SRichard Henderson .tb_start = mb_tr_tb_start, 1833372122e3SRichard Henderson .insn_start = mb_tr_insn_start, 1834372122e3SRichard Henderson .breakpoint_check = mb_tr_breakpoint_check, 1835372122e3SRichard Henderson .translate_insn = mb_tr_translate_insn, 1836372122e3SRichard Henderson .tb_stop = mb_tr_tb_stop, 1837372122e3SRichard Henderson .disas_log = mb_tr_disas_log, 1838372122e3SRichard Henderson }; 1839372122e3SRichard Henderson 1840372122e3SRichard Henderson void gen_intermediate_code(CPUState *cpu, TranslationBlock *tb, int max_insns) 1841372122e3SRichard Henderson { 1842372122e3SRichard Henderson DisasContext dc; 1843372122e3SRichard Henderson translator_loop(&mb_tr_ops, &dc.base, cpu, tb, max_insns); 1844fcf5ef2aSThomas Huth } 1845fcf5ef2aSThomas Huth 184690c84c56SMarkus Armbruster void mb_cpu_dump_state(CPUState *cs, FILE *f, int flags) 1847fcf5ef2aSThomas Huth { 1848fcf5ef2aSThomas Huth MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs); 1849fcf5ef2aSThomas Huth CPUMBState *env = &cpu->env; 1850fcf5ef2aSThomas Huth int i; 1851fcf5ef2aSThomas Huth 185290c84c56SMarkus Armbruster if (!env) { 1853fcf5ef2aSThomas Huth return; 185490c84c56SMarkus Armbruster } 1855fcf5ef2aSThomas Huth 18560f96e96bSRichard Henderson qemu_fprintf(f, "IN: PC=%x %s\n", 185776e8187dSRichard Henderson env->pc, lookup_symbol(env->pc)); 18586efd5599SRichard Henderson qemu_fprintf(f, "rmsr=%x resr=%x rear=%" PRIx64 " " 1859eb2022b7SRichard Henderson "imm=%x iflags=%x fsr=%x rbtr=%x\n", 186078e9caf2SRichard Henderson env->msr, env->esr, env->ear, 1861eb2022b7SRichard Henderson env->imm, env->iflags, env->fsr, env->btr); 18620f96e96bSRichard Henderson qemu_fprintf(f, "btaken=%d btarget=%x mode=%s(saved=%s) eip=%d ie=%d\n", 1863fcf5ef2aSThomas Huth env->btaken, env->btarget, 18642e5282caSRichard Henderson (env->msr & MSR_UM) ? "user" : "kernel", 18652e5282caSRichard Henderson (env->msr & MSR_UMS) ? "user" : "kernel", 18662e5282caSRichard Henderson (bool)(env->msr & MSR_EIP), 18672e5282caSRichard Henderson (bool)(env->msr & MSR_IE)); 18682ead1b18SJoe Komlodi for (i = 0; i < 12; i++) { 18692ead1b18SJoe Komlodi qemu_fprintf(f, "rpvr%2.2d=%8.8x ", i, env->pvr.regs[i]); 18702ead1b18SJoe Komlodi if ((i + 1) % 4 == 0) { 18712ead1b18SJoe Komlodi qemu_fprintf(f, "\n"); 18722ead1b18SJoe Komlodi } 18732ead1b18SJoe Komlodi } 1874fcf5ef2aSThomas Huth 18752ead1b18SJoe Komlodi /* Registers that aren't modeled are reported as 0 */ 187639db007eSRichard Henderson qemu_fprintf(f, "redr=%x rpid=0 rzpr=0 rtlbx=0 rtlbsx=0 " 1877af20a93aSRichard Henderson "rtlblo=0 rtlbhi=0\n", env->edr); 18782ead1b18SJoe Komlodi qemu_fprintf(f, "slr=%x shr=%x\n", env->slr, env->shr); 1879fcf5ef2aSThomas Huth for (i = 0; i < 32; i++) { 188090c84c56SMarkus Armbruster qemu_fprintf(f, "r%2.2d=%8.8x ", i, env->regs[i]); 1881fcf5ef2aSThomas Huth if ((i + 1) % 4 == 0) 188290c84c56SMarkus Armbruster qemu_fprintf(f, "\n"); 1883fcf5ef2aSThomas Huth } 188490c84c56SMarkus Armbruster qemu_fprintf(f, "\n\n"); 1885fcf5ef2aSThomas Huth } 1886fcf5ef2aSThomas Huth 1887fcf5ef2aSThomas Huth void mb_tcg_init(void) 1888fcf5ef2aSThomas Huth { 1889480d29a8SRichard Henderson #define R(X) { &cpu_R[X], offsetof(CPUMBState, regs[X]), "r" #X } 1890480d29a8SRichard Henderson #define SP(X) { &cpu_##X, offsetof(CPUMBState, X), #X } 1891fcf5ef2aSThomas Huth 1892480d29a8SRichard Henderson static const struct { 1893480d29a8SRichard Henderson TCGv_i32 *var; int ofs; char name[8]; 1894480d29a8SRichard Henderson } i32s[] = { 1895480d29a8SRichard Henderson R(0), R(1), R(2), R(3), R(4), R(5), R(6), R(7), 1896480d29a8SRichard Henderson R(8), R(9), R(10), R(11), R(12), R(13), R(14), R(15), 1897480d29a8SRichard Henderson R(16), R(17), R(18), R(19), R(20), R(21), R(22), R(23), 1898480d29a8SRichard Henderson R(24), R(25), R(26), R(27), R(28), R(29), R(30), R(31), 1899480d29a8SRichard Henderson 1900480d29a8SRichard Henderson SP(pc), 1901480d29a8SRichard Henderson SP(msr), 19021074c0fbSRichard Henderson SP(msr_c), 1903480d29a8SRichard Henderson SP(imm), 1904480d29a8SRichard Henderson SP(iflags), 1905480d29a8SRichard Henderson SP(btaken), 1906480d29a8SRichard Henderson SP(btarget), 1907480d29a8SRichard Henderson SP(res_val), 1908480d29a8SRichard Henderson }; 1909480d29a8SRichard Henderson 1910480d29a8SRichard Henderson #undef R 1911480d29a8SRichard Henderson #undef SP 1912480d29a8SRichard Henderson 1913480d29a8SRichard Henderson for (int i = 0; i < ARRAY_SIZE(i32s); ++i) { 1914480d29a8SRichard Henderson *i32s[i].var = 1915480d29a8SRichard Henderson tcg_global_mem_new_i32(cpu_env, i32s[i].ofs, i32s[i].name); 1916fcf5ef2aSThomas Huth } 191776e8187dSRichard Henderson 1918480d29a8SRichard Henderson cpu_res_addr = 1919480d29a8SRichard Henderson tcg_global_mem_new(cpu_env, offsetof(CPUMBState, res_addr), "res_addr"); 1920fcf5ef2aSThomas Huth } 1921fcf5ef2aSThomas Huth 1922fcf5ef2aSThomas Huth void restore_state_to_opc(CPUMBState *env, TranslationBlock *tb, 1923fcf5ef2aSThomas Huth target_ulong *data) 1924fcf5ef2aSThomas Huth { 192576e8187dSRichard Henderson env->pc = data[0]; 1926fcf5ef2aSThomas Huth } 1927