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" 25fcf5ef2aSThomas Huth #include "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" 31fcf5ef2aSThomas Huth 32fcf5ef2aSThomas Huth #include "trace-tcg.h" 33fcf5ef2aSThomas Huth #include "exec/log.h" 34fcf5ef2aSThomas Huth 35fcf5ef2aSThomas Huth 36fcf5ef2aSThomas Huth #define SIM_COMPAT 0 37fcf5ef2aSThomas Huth #define DISAS_GNU 1 38fcf5ef2aSThomas Huth #define DISAS_MB 1 39fcf5ef2aSThomas Huth #if DISAS_MB && !SIM_COMPAT 40fcf5ef2aSThomas Huth # define LOG_DIS(...) qemu_log_mask(CPU_LOG_TB_IN_ASM, ## __VA_ARGS__) 41fcf5ef2aSThomas Huth #else 42fcf5ef2aSThomas Huth # define LOG_DIS(...) do { } while (0) 43fcf5ef2aSThomas Huth #endif 44fcf5ef2aSThomas Huth 45fcf5ef2aSThomas Huth #define D(x) 46fcf5ef2aSThomas Huth 47fcf5ef2aSThomas Huth #define EXTRACT_FIELD(src, start, end) \ 48fcf5ef2aSThomas Huth (((src) >> start) & ((1 << (end - start + 1)) - 1)) 49fcf5ef2aSThomas Huth 5077fc6f5eSLluís Vilanova /* is_jmp field values */ 5177fc6f5eSLluís Vilanova #define DISAS_JUMP DISAS_TARGET_0 /* only pc was modified dynamically */ 5277fc6f5eSLluís Vilanova #define DISAS_UPDATE DISAS_TARGET_1 /* cpu state was modified dynamically */ 5377fc6f5eSLluís Vilanova #define DISAS_TB_JUMP DISAS_TARGET_2 /* only pc was modified statically */ 5477fc6f5eSLluís Vilanova 55fcf5ef2aSThomas Huth static TCGv env_debug; 56fcf5ef2aSThomas Huth static TCGv_env cpu_env; 57fcf5ef2aSThomas Huth static TCGv cpu_R[32]; 58fcf5ef2aSThomas Huth static TCGv cpu_SR[18]; 59fcf5ef2aSThomas Huth static TCGv env_imm; 60fcf5ef2aSThomas Huth static TCGv env_btaken; 61fcf5ef2aSThomas Huth static TCGv env_btarget; 62fcf5ef2aSThomas Huth static TCGv env_iflags; 63fcf5ef2aSThomas Huth static TCGv env_res_addr; 64fcf5ef2aSThomas Huth static TCGv env_res_val; 65fcf5ef2aSThomas Huth 66fcf5ef2aSThomas Huth #include "exec/gen-icount.h" 67fcf5ef2aSThomas Huth 68fcf5ef2aSThomas Huth /* This is the state at translation time. */ 69fcf5ef2aSThomas Huth typedef struct DisasContext { 70fcf5ef2aSThomas Huth MicroBlazeCPU *cpu; 71fcf5ef2aSThomas Huth target_ulong pc; 72fcf5ef2aSThomas Huth 73fcf5ef2aSThomas Huth /* Decoder. */ 74fcf5ef2aSThomas Huth int type_b; 75fcf5ef2aSThomas Huth uint32_t ir; 76fcf5ef2aSThomas Huth uint8_t opcode; 77fcf5ef2aSThomas Huth uint8_t rd, ra, rb; 78fcf5ef2aSThomas Huth uint16_t imm; 79fcf5ef2aSThomas Huth 80fcf5ef2aSThomas Huth unsigned int cpustate_changed; 81fcf5ef2aSThomas Huth unsigned int delayed_branch; 82fcf5ef2aSThomas Huth unsigned int tb_flags, synced_flags; /* tb dependent flags. */ 83fcf5ef2aSThomas Huth unsigned int clear_imm; 84fcf5ef2aSThomas Huth int is_jmp; 85fcf5ef2aSThomas Huth 86fcf5ef2aSThomas Huth #define JMP_NOJMP 0 87fcf5ef2aSThomas Huth #define JMP_DIRECT 1 88fcf5ef2aSThomas Huth #define JMP_DIRECT_CC 2 89fcf5ef2aSThomas Huth #define JMP_INDIRECT 3 90fcf5ef2aSThomas Huth unsigned int jmp; 91fcf5ef2aSThomas Huth uint32_t jmp_pc; 92fcf5ef2aSThomas Huth 93fcf5ef2aSThomas Huth int abort_at_next_insn; 94fcf5ef2aSThomas Huth int nr_nops; 95fcf5ef2aSThomas Huth struct TranslationBlock *tb; 96fcf5ef2aSThomas Huth int singlestep_enabled; 97fcf5ef2aSThomas Huth } DisasContext; 98fcf5ef2aSThomas Huth 99fcf5ef2aSThomas Huth static const char *regnames[] = 100fcf5ef2aSThomas Huth { 101fcf5ef2aSThomas Huth "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", 102fcf5ef2aSThomas Huth "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15", 103fcf5ef2aSThomas Huth "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23", 104fcf5ef2aSThomas Huth "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31", 105fcf5ef2aSThomas Huth }; 106fcf5ef2aSThomas Huth 107fcf5ef2aSThomas Huth static const char *special_regnames[] = 108fcf5ef2aSThomas Huth { 109fcf5ef2aSThomas Huth "rpc", "rmsr", "sr2", "sr3", "sr4", "sr5", "sr6", "sr7", 110fcf5ef2aSThomas Huth "sr8", "sr9", "sr10", "sr11", "sr12", "sr13", "sr14", "sr15", 111fcf5ef2aSThomas Huth "sr16", "sr17", "sr18" 112fcf5ef2aSThomas Huth }; 113fcf5ef2aSThomas Huth 114fcf5ef2aSThomas Huth static inline void t_sync_flags(DisasContext *dc) 115fcf5ef2aSThomas Huth { 116fcf5ef2aSThomas Huth /* Synch the tb dependent flags between translator and runtime. */ 117fcf5ef2aSThomas Huth if (dc->tb_flags != dc->synced_flags) { 118fcf5ef2aSThomas Huth tcg_gen_movi_tl(env_iflags, dc->tb_flags); 119fcf5ef2aSThomas Huth dc->synced_flags = dc->tb_flags; 120fcf5ef2aSThomas Huth } 121fcf5ef2aSThomas Huth } 122fcf5ef2aSThomas Huth 123fcf5ef2aSThomas Huth static inline void t_gen_raise_exception(DisasContext *dc, uint32_t index) 124fcf5ef2aSThomas Huth { 125fcf5ef2aSThomas Huth TCGv_i32 tmp = tcg_const_i32(index); 126fcf5ef2aSThomas Huth 127fcf5ef2aSThomas Huth t_sync_flags(dc); 128fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_PC], dc->pc); 129fcf5ef2aSThomas Huth gen_helper_raise_exception(cpu_env, tmp); 130fcf5ef2aSThomas Huth tcg_temp_free_i32(tmp); 131fcf5ef2aSThomas Huth dc->is_jmp = DISAS_UPDATE; 132fcf5ef2aSThomas Huth } 133fcf5ef2aSThomas Huth 134fcf5ef2aSThomas Huth static inline bool use_goto_tb(DisasContext *dc, target_ulong dest) 135fcf5ef2aSThomas Huth { 136fcf5ef2aSThomas Huth #ifndef CONFIG_USER_ONLY 137fcf5ef2aSThomas Huth return (dc->tb->pc & TARGET_PAGE_MASK) == (dest & TARGET_PAGE_MASK); 138fcf5ef2aSThomas Huth #else 139fcf5ef2aSThomas Huth return true; 140fcf5ef2aSThomas Huth #endif 141fcf5ef2aSThomas Huth } 142fcf5ef2aSThomas Huth 143fcf5ef2aSThomas Huth static void gen_goto_tb(DisasContext *dc, int n, target_ulong dest) 144fcf5ef2aSThomas Huth { 145fcf5ef2aSThomas Huth if (use_goto_tb(dc, dest)) { 146fcf5ef2aSThomas Huth tcg_gen_goto_tb(n); 147fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_PC], dest); 148fcf5ef2aSThomas Huth tcg_gen_exit_tb((uintptr_t)dc->tb + n); 149fcf5ef2aSThomas Huth } else { 150fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_PC], dest); 151fcf5ef2aSThomas Huth tcg_gen_exit_tb(0); 152fcf5ef2aSThomas Huth } 153fcf5ef2aSThomas Huth } 154fcf5ef2aSThomas Huth 155fcf5ef2aSThomas Huth static void read_carry(DisasContext *dc, TCGv d) 156fcf5ef2aSThomas Huth { 157fcf5ef2aSThomas Huth tcg_gen_shri_tl(d, cpu_SR[SR_MSR], 31); 158fcf5ef2aSThomas Huth } 159fcf5ef2aSThomas Huth 160fcf5ef2aSThomas Huth /* 161fcf5ef2aSThomas Huth * write_carry sets the carry bits in MSR based on bit 0 of v. 162fcf5ef2aSThomas Huth * v[31:1] are ignored. 163fcf5ef2aSThomas Huth */ 164fcf5ef2aSThomas Huth static void write_carry(DisasContext *dc, TCGv v) 165fcf5ef2aSThomas Huth { 166fcf5ef2aSThomas Huth TCGv t0 = tcg_temp_new(); 167fcf5ef2aSThomas Huth tcg_gen_shli_tl(t0, v, 31); 168fcf5ef2aSThomas Huth tcg_gen_sari_tl(t0, t0, 31); 169fcf5ef2aSThomas Huth tcg_gen_andi_tl(t0, t0, (MSR_C | MSR_CC)); 170fcf5ef2aSThomas Huth tcg_gen_andi_tl(cpu_SR[SR_MSR], cpu_SR[SR_MSR], 171fcf5ef2aSThomas Huth ~(MSR_C | MSR_CC)); 172fcf5ef2aSThomas Huth tcg_gen_or_tl(cpu_SR[SR_MSR], cpu_SR[SR_MSR], t0); 173fcf5ef2aSThomas Huth tcg_temp_free(t0); 174fcf5ef2aSThomas Huth } 175fcf5ef2aSThomas Huth 176fcf5ef2aSThomas Huth static void write_carryi(DisasContext *dc, bool carry) 177fcf5ef2aSThomas Huth { 178fcf5ef2aSThomas Huth TCGv t0 = tcg_temp_new(); 179fcf5ef2aSThomas Huth tcg_gen_movi_tl(t0, carry); 180fcf5ef2aSThomas Huth write_carry(dc, t0); 181fcf5ef2aSThomas Huth tcg_temp_free(t0); 182fcf5ef2aSThomas Huth } 183fcf5ef2aSThomas Huth 184fcf5ef2aSThomas Huth /* True if ALU operand b is a small immediate that may deserve 185fcf5ef2aSThomas Huth faster treatment. */ 186fcf5ef2aSThomas Huth static inline int dec_alu_op_b_is_small_imm(DisasContext *dc) 187fcf5ef2aSThomas Huth { 188fcf5ef2aSThomas Huth /* Immediate insn without the imm prefix ? */ 189fcf5ef2aSThomas Huth return dc->type_b && !(dc->tb_flags & IMM_FLAG); 190fcf5ef2aSThomas Huth } 191fcf5ef2aSThomas Huth 192fcf5ef2aSThomas Huth static inline TCGv *dec_alu_op_b(DisasContext *dc) 193fcf5ef2aSThomas Huth { 194fcf5ef2aSThomas Huth if (dc->type_b) { 195fcf5ef2aSThomas Huth if (dc->tb_flags & IMM_FLAG) 196fcf5ef2aSThomas Huth tcg_gen_ori_tl(env_imm, env_imm, dc->imm); 197fcf5ef2aSThomas Huth else 198fcf5ef2aSThomas Huth tcg_gen_movi_tl(env_imm, (int32_t)((int16_t)dc->imm)); 199fcf5ef2aSThomas Huth return &env_imm; 200fcf5ef2aSThomas Huth } else 201fcf5ef2aSThomas Huth return &cpu_R[dc->rb]; 202fcf5ef2aSThomas Huth } 203fcf5ef2aSThomas Huth 204fcf5ef2aSThomas Huth static void dec_add(DisasContext *dc) 205fcf5ef2aSThomas Huth { 206fcf5ef2aSThomas Huth unsigned int k, c; 207fcf5ef2aSThomas Huth TCGv cf; 208fcf5ef2aSThomas Huth 209fcf5ef2aSThomas Huth k = dc->opcode & 4; 210fcf5ef2aSThomas Huth c = dc->opcode & 2; 211fcf5ef2aSThomas Huth 212fcf5ef2aSThomas Huth LOG_DIS("add%s%s%s r%d r%d r%d\n", 213fcf5ef2aSThomas Huth dc->type_b ? "i" : "", k ? "k" : "", c ? "c" : "", 214fcf5ef2aSThomas Huth dc->rd, dc->ra, dc->rb); 215fcf5ef2aSThomas Huth 216fcf5ef2aSThomas Huth /* Take care of the easy cases first. */ 217fcf5ef2aSThomas Huth if (k) { 218fcf5ef2aSThomas Huth /* k - keep carry, no need to update MSR. */ 219fcf5ef2aSThomas Huth /* If rd == r0, it's a nop. */ 220fcf5ef2aSThomas Huth if (dc->rd) { 221fcf5ef2aSThomas Huth tcg_gen_add_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 222fcf5ef2aSThomas Huth 223fcf5ef2aSThomas Huth if (c) { 224fcf5ef2aSThomas Huth /* c - Add carry into the result. */ 225fcf5ef2aSThomas Huth cf = tcg_temp_new(); 226fcf5ef2aSThomas Huth 227fcf5ef2aSThomas Huth read_carry(dc, cf); 228fcf5ef2aSThomas Huth tcg_gen_add_tl(cpu_R[dc->rd], cpu_R[dc->rd], cf); 229fcf5ef2aSThomas Huth tcg_temp_free(cf); 230fcf5ef2aSThomas Huth } 231fcf5ef2aSThomas Huth } 232fcf5ef2aSThomas Huth return; 233fcf5ef2aSThomas Huth } 234fcf5ef2aSThomas Huth 235fcf5ef2aSThomas Huth /* From now on, we can assume k is zero. So we need to update MSR. */ 236fcf5ef2aSThomas Huth /* Extract carry. */ 237fcf5ef2aSThomas Huth cf = tcg_temp_new(); 238fcf5ef2aSThomas Huth if (c) { 239fcf5ef2aSThomas Huth read_carry(dc, cf); 240fcf5ef2aSThomas Huth } else { 241fcf5ef2aSThomas Huth tcg_gen_movi_tl(cf, 0); 242fcf5ef2aSThomas Huth } 243fcf5ef2aSThomas Huth 244fcf5ef2aSThomas Huth if (dc->rd) { 245fcf5ef2aSThomas Huth TCGv ncf = tcg_temp_new(); 246fcf5ef2aSThomas Huth gen_helper_carry(ncf, cpu_R[dc->ra], *(dec_alu_op_b(dc)), cf); 247fcf5ef2aSThomas Huth tcg_gen_add_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 248fcf5ef2aSThomas Huth tcg_gen_add_tl(cpu_R[dc->rd], cpu_R[dc->rd], cf); 249fcf5ef2aSThomas Huth write_carry(dc, ncf); 250fcf5ef2aSThomas Huth tcg_temp_free(ncf); 251fcf5ef2aSThomas Huth } else { 252fcf5ef2aSThomas Huth gen_helper_carry(cf, cpu_R[dc->ra], *(dec_alu_op_b(dc)), cf); 253fcf5ef2aSThomas Huth write_carry(dc, cf); 254fcf5ef2aSThomas Huth } 255fcf5ef2aSThomas Huth tcg_temp_free(cf); 256fcf5ef2aSThomas Huth } 257fcf5ef2aSThomas Huth 258fcf5ef2aSThomas Huth static void dec_sub(DisasContext *dc) 259fcf5ef2aSThomas Huth { 260fcf5ef2aSThomas Huth unsigned int u, cmp, k, c; 261fcf5ef2aSThomas Huth TCGv cf, na; 262fcf5ef2aSThomas Huth 263fcf5ef2aSThomas Huth u = dc->imm & 2; 264fcf5ef2aSThomas Huth k = dc->opcode & 4; 265fcf5ef2aSThomas Huth c = dc->opcode & 2; 266fcf5ef2aSThomas Huth cmp = (dc->imm & 1) && (!dc->type_b) && k; 267fcf5ef2aSThomas Huth 268fcf5ef2aSThomas Huth if (cmp) { 269fcf5ef2aSThomas Huth LOG_DIS("cmp%s r%d, r%d ir=%x\n", u ? "u" : "", dc->rd, dc->ra, dc->ir); 270fcf5ef2aSThomas Huth if (dc->rd) { 271fcf5ef2aSThomas Huth if (u) 272fcf5ef2aSThomas Huth gen_helper_cmpu(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 273fcf5ef2aSThomas Huth else 274fcf5ef2aSThomas Huth gen_helper_cmp(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 275fcf5ef2aSThomas Huth } 276fcf5ef2aSThomas Huth return; 277fcf5ef2aSThomas Huth } 278fcf5ef2aSThomas Huth 279fcf5ef2aSThomas Huth LOG_DIS("sub%s%s r%d, r%d r%d\n", 280fcf5ef2aSThomas Huth k ? "k" : "", c ? "c" : "", dc->rd, dc->ra, dc->rb); 281fcf5ef2aSThomas Huth 282fcf5ef2aSThomas Huth /* Take care of the easy cases first. */ 283fcf5ef2aSThomas Huth if (k) { 284fcf5ef2aSThomas Huth /* k - keep carry, no need to update MSR. */ 285fcf5ef2aSThomas Huth /* If rd == r0, it's a nop. */ 286fcf5ef2aSThomas Huth if (dc->rd) { 287fcf5ef2aSThomas Huth tcg_gen_sub_tl(cpu_R[dc->rd], *(dec_alu_op_b(dc)), cpu_R[dc->ra]); 288fcf5ef2aSThomas Huth 289fcf5ef2aSThomas Huth if (c) { 290fcf5ef2aSThomas Huth /* c - Add carry into the result. */ 291fcf5ef2aSThomas Huth cf = tcg_temp_new(); 292fcf5ef2aSThomas Huth 293fcf5ef2aSThomas Huth read_carry(dc, cf); 294fcf5ef2aSThomas Huth tcg_gen_add_tl(cpu_R[dc->rd], cpu_R[dc->rd], cf); 295fcf5ef2aSThomas Huth tcg_temp_free(cf); 296fcf5ef2aSThomas Huth } 297fcf5ef2aSThomas Huth } 298fcf5ef2aSThomas Huth return; 299fcf5ef2aSThomas Huth } 300fcf5ef2aSThomas Huth 301fcf5ef2aSThomas Huth /* From now on, we can assume k is zero. So we need to update MSR. */ 302fcf5ef2aSThomas Huth /* Extract carry. And complement a into na. */ 303fcf5ef2aSThomas Huth cf = tcg_temp_new(); 304fcf5ef2aSThomas Huth na = tcg_temp_new(); 305fcf5ef2aSThomas Huth if (c) { 306fcf5ef2aSThomas Huth read_carry(dc, cf); 307fcf5ef2aSThomas Huth } else { 308fcf5ef2aSThomas Huth tcg_gen_movi_tl(cf, 1); 309fcf5ef2aSThomas Huth } 310fcf5ef2aSThomas Huth 311fcf5ef2aSThomas Huth /* d = b + ~a + c. carry defaults to 1. */ 312fcf5ef2aSThomas Huth tcg_gen_not_tl(na, cpu_R[dc->ra]); 313fcf5ef2aSThomas Huth 314fcf5ef2aSThomas Huth if (dc->rd) { 315fcf5ef2aSThomas Huth TCGv ncf = tcg_temp_new(); 316fcf5ef2aSThomas Huth gen_helper_carry(ncf, na, *(dec_alu_op_b(dc)), cf); 317fcf5ef2aSThomas Huth tcg_gen_add_tl(cpu_R[dc->rd], na, *(dec_alu_op_b(dc))); 318fcf5ef2aSThomas Huth tcg_gen_add_tl(cpu_R[dc->rd], cpu_R[dc->rd], cf); 319fcf5ef2aSThomas Huth write_carry(dc, ncf); 320fcf5ef2aSThomas Huth tcg_temp_free(ncf); 321fcf5ef2aSThomas Huth } else { 322fcf5ef2aSThomas Huth gen_helper_carry(cf, na, *(dec_alu_op_b(dc)), cf); 323fcf5ef2aSThomas Huth write_carry(dc, cf); 324fcf5ef2aSThomas Huth } 325fcf5ef2aSThomas Huth tcg_temp_free(cf); 326fcf5ef2aSThomas Huth tcg_temp_free(na); 327fcf5ef2aSThomas Huth } 328fcf5ef2aSThomas Huth 329fcf5ef2aSThomas Huth static void dec_pattern(DisasContext *dc) 330fcf5ef2aSThomas Huth { 331fcf5ef2aSThomas Huth unsigned int mode; 332fcf5ef2aSThomas Huth 333fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 334fcf5ef2aSThomas Huth && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 3358fc5239eSEdgar E. Iglesias && !dc->cpu->cfg.use_pcmp_instr) { 336fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 337fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 338fcf5ef2aSThomas Huth } 339fcf5ef2aSThomas Huth 340fcf5ef2aSThomas Huth mode = dc->opcode & 3; 341fcf5ef2aSThomas Huth switch (mode) { 342fcf5ef2aSThomas Huth case 0: 343fcf5ef2aSThomas Huth /* pcmpbf. */ 344fcf5ef2aSThomas Huth LOG_DIS("pcmpbf r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 345fcf5ef2aSThomas Huth if (dc->rd) 346fcf5ef2aSThomas Huth gen_helper_pcmpbf(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 347fcf5ef2aSThomas Huth break; 348fcf5ef2aSThomas Huth case 2: 349fcf5ef2aSThomas Huth LOG_DIS("pcmpeq r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 350fcf5ef2aSThomas Huth if (dc->rd) { 351fcf5ef2aSThomas Huth tcg_gen_setcond_tl(TCG_COND_EQ, cpu_R[dc->rd], 352fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 353fcf5ef2aSThomas Huth } 354fcf5ef2aSThomas Huth break; 355fcf5ef2aSThomas Huth case 3: 356fcf5ef2aSThomas Huth LOG_DIS("pcmpne r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 357fcf5ef2aSThomas Huth if (dc->rd) { 358fcf5ef2aSThomas Huth tcg_gen_setcond_tl(TCG_COND_NE, cpu_R[dc->rd], 359fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 360fcf5ef2aSThomas Huth } 361fcf5ef2aSThomas Huth break; 362fcf5ef2aSThomas Huth default: 363fcf5ef2aSThomas Huth cpu_abort(CPU(dc->cpu), 364fcf5ef2aSThomas Huth "unsupported pattern insn opcode=%x\n", dc->opcode); 365fcf5ef2aSThomas Huth break; 366fcf5ef2aSThomas Huth } 367fcf5ef2aSThomas Huth } 368fcf5ef2aSThomas Huth 369fcf5ef2aSThomas Huth static void dec_and(DisasContext *dc) 370fcf5ef2aSThomas Huth { 371fcf5ef2aSThomas Huth unsigned int not; 372fcf5ef2aSThomas Huth 373fcf5ef2aSThomas Huth if (!dc->type_b && (dc->imm & (1 << 10))) { 374fcf5ef2aSThomas Huth dec_pattern(dc); 375fcf5ef2aSThomas Huth return; 376fcf5ef2aSThomas Huth } 377fcf5ef2aSThomas Huth 378fcf5ef2aSThomas Huth not = dc->opcode & (1 << 1); 379fcf5ef2aSThomas Huth LOG_DIS("and%s\n", not ? "n" : ""); 380fcf5ef2aSThomas Huth 381fcf5ef2aSThomas Huth if (!dc->rd) 382fcf5ef2aSThomas Huth return; 383fcf5ef2aSThomas Huth 384fcf5ef2aSThomas Huth if (not) { 385fcf5ef2aSThomas Huth tcg_gen_andc_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 386fcf5ef2aSThomas Huth } else 387fcf5ef2aSThomas Huth tcg_gen_and_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 388fcf5ef2aSThomas Huth } 389fcf5ef2aSThomas Huth 390fcf5ef2aSThomas Huth static void dec_or(DisasContext *dc) 391fcf5ef2aSThomas Huth { 392fcf5ef2aSThomas Huth if (!dc->type_b && (dc->imm & (1 << 10))) { 393fcf5ef2aSThomas Huth dec_pattern(dc); 394fcf5ef2aSThomas Huth return; 395fcf5ef2aSThomas Huth } 396fcf5ef2aSThomas Huth 397fcf5ef2aSThomas Huth LOG_DIS("or r%d r%d r%d imm=%x\n", dc->rd, dc->ra, dc->rb, dc->imm); 398fcf5ef2aSThomas Huth if (dc->rd) 399fcf5ef2aSThomas Huth tcg_gen_or_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 400fcf5ef2aSThomas Huth } 401fcf5ef2aSThomas Huth 402fcf5ef2aSThomas Huth static void dec_xor(DisasContext *dc) 403fcf5ef2aSThomas Huth { 404fcf5ef2aSThomas Huth if (!dc->type_b && (dc->imm & (1 << 10))) { 405fcf5ef2aSThomas Huth dec_pattern(dc); 406fcf5ef2aSThomas Huth return; 407fcf5ef2aSThomas Huth } 408fcf5ef2aSThomas Huth 409fcf5ef2aSThomas Huth LOG_DIS("xor r%d\n", dc->rd); 410fcf5ef2aSThomas Huth if (dc->rd) 411fcf5ef2aSThomas Huth tcg_gen_xor_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 412fcf5ef2aSThomas Huth } 413fcf5ef2aSThomas Huth 414fcf5ef2aSThomas Huth static inline void msr_read(DisasContext *dc, TCGv d) 415fcf5ef2aSThomas Huth { 416fcf5ef2aSThomas Huth tcg_gen_mov_tl(d, cpu_SR[SR_MSR]); 417fcf5ef2aSThomas Huth } 418fcf5ef2aSThomas Huth 419fcf5ef2aSThomas Huth static inline void msr_write(DisasContext *dc, TCGv v) 420fcf5ef2aSThomas Huth { 421fcf5ef2aSThomas Huth TCGv t; 422fcf5ef2aSThomas Huth 423fcf5ef2aSThomas Huth t = tcg_temp_new(); 424fcf5ef2aSThomas Huth dc->cpustate_changed = 1; 425fcf5ef2aSThomas Huth /* PVR bit is not writable. */ 426fcf5ef2aSThomas Huth tcg_gen_andi_tl(t, v, ~MSR_PVR); 427fcf5ef2aSThomas Huth tcg_gen_andi_tl(cpu_SR[SR_MSR], cpu_SR[SR_MSR], MSR_PVR); 428fcf5ef2aSThomas Huth tcg_gen_or_tl(cpu_SR[SR_MSR], cpu_SR[SR_MSR], v); 429fcf5ef2aSThomas Huth tcg_temp_free(t); 430fcf5ef2aSThomas Huth } 431fcf5ef2aSThomas Huth 432fcf5ef2aSThomas Huth static void dec_msr(DisasContext *dc) 433fcf5ef2aSThomas Huth { 434fcf5ef2aSThomas Huth CPUState *cs = CPU(dc->cpu); 435fcf5ef2aSThomas Huth TCGv t0, t1; 436fcf5ef2aSThomas Huth unsigned int sr, to, rn; 437fcf5ef2aSThomas Huth int mem_index = cpu_mmu_index(&dc->cpu->env, false); 438fcf5ef2aSThomas Huth 439fcf5ef2aSThomas Huth sr = dc->imm & ((1 << 14) - 1); 440fcf5ef2aSThomas Huth to = dc->imm & (1 << 14); 441fcf5ef2aSThomas Huth dc->type_b = 1; 442fcf5ef2aSThomas Huth if (to) 443fcf5ef2aSThomas Huth dc->cpustate_changed = 1; 444fcf5ef2aSThomas Huth 445fcf5ef2aSThomas Huth /* msrclr and msrset. */ 446fcf5ef2aSThomas Huth if (!(dc->imm & (1 << 15))) { 447fcf5ef2aSThomas Huth unsigned int clr = dc->ir & (1 << 16); 448fcf5ef2aSThomas Huth 449fcf5ef2aSThomas Huth LOG_DIS("msr%s r%d imm=%x\n", clr ? "clr" : "set", 450fcf5ef2aSThomas Huth dc->rd, dc->imm); 451fcf5ef2aSThomas Huth 45256837509SEdgar E. Iglesias if (!dc->cpu->cfg.use_msr_instr) { 453fcf5ef2aSThomas Huth /* nop??? */ 454fcf5ef2aSThomas Huth return; 455fcf5ef2aSThomas Huth } 456fcf5ef2aSThomas Huth 457fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 458fcf5ef2aSThomas Huth && mem_index == MMU_USER_IDX && (dc->imm != 4 && dc->imm != 0)) { 459fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 460fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 461fcf5ef2aSThomas Huth return; 462fcf5ef2aSThomas Huth } 463fcf5ef2aSThomas Huth 464fcf5ef2aSThomas Huth if (dc->rd) 465fcf5ef2aSThomas Huth msr_read(dc, cpu_R[dc->rd]); 466fcf5ef2aSThomas Huth 467fcf5ef2aSThomas Huth t0 = tcg_temp_new(); 468fcf5ef2aSThomas Huth t1 = tcg_temp_new(); 469fcf5ef2aSThomas Huth msr_read(dc, t0); 470fcf5ef2aSThomas Huth tcg_gen_mov_tl(t1, *(dec_alu_op_b(dc))); 471fcf5ef2aSThomas Huth 472fcf5ef2aSThomas Huth if (clr) { 473fcf5ef2aSThomas Huth tcg_gen_not_tl(t1, t1); 474fcf5ef2aSThomas Huth tcg_gen_and_tl(t0, t0, t1); 475fcf5ef2aSThomas Huth } else 476fcf5ef2aSThomas Huth tcg_gen_or_tl(t0, t0, t1); 477fcf5ef2aSThomas Huth msr_write(dc, t0); 478fcf5ef2aSThomas Huth tcg_temp_free(t0); 479fcf5ef2aSThomas Huth tcg_temp_free(t1); 480fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_PC], dc->pc + 4); 481fcf5ef2aSThomas Huth dc->is_jmp = DISAS_UPDATE; 482fcf5ef2aSThomas Huth return; 483fcf5ef2aSThomas Huth } 484fcf5ef2aSThomas Huth 485fcf5ef2aSThomas Huth if (to) { 486fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 487fcf5ef2aSThomas Huth && mem_index == MMU_USER_IDX) { 488fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 489fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 490fcf5ef2aSThomas Huth return; 491fcf5ef2aSThomas Huth } 492fcf5ef2aSThomas Huth } 493fcf5ef2aSThomas Huth 494fcf5ef2aSThomas Huth #if !defined(CONFIG_USER_ONLY) 495fcf5ef2aSThomas Huth /* Catch read/writes to the mmu block. */ 496fcf5ef2aSThomas Huth if ((sr & ~0xff) == 0x1000) { 497fcf5ef2aSThomas Huth sr &= 7; 498fcf5ef2aSThomas Huth LOG_DIS("m%ss sr%d r%d imm=%x\n", to ? "t" : "f", sr, dc->ra, dc->imm); 499fcf5ef2aSThomas Huth if (to) 500fcf5ef2aSThomas Huth gen_helper_mmu_write(cpu_env, tcg_const_tl(sr), cpu_R[dc->ra]); 501fcf5ef2aSThomas Huth else 502fcf5ef2aSThomas Huth gen_helper_mmu_read(cpu_R[dc->rd], cpu_env, tcg_const_tl(sr)); 503fcf5ef2aSThomas Huth return; 504fcf5ef2aSThomas Huth } 505fcf5ef2aSThomas Huth #endif 506fcf5ef2aSThomas Huth 507fcf5ef2aSThomas Huth if (to) { 508fcf5ef2aSThomas Huth LOG_DIS("m%ss sr%x r%d imm=%x\n", to ? "t" : "f", sr, dc->ra, dc->imm); 509fcf5ef2aSThomas Huth switch (sr) { 510fcf5ef2aSThomas Huth case 0: 511fcf5ef2aSThomas Huth break; 512fcf5ef2aSThomas Huth case 1: 513fcf5ef2aSThomas Huth msr_write(dc, cpu_R[dc->ra]); 514fcf5ef2aSThomas Huth break; 515fcf5ef2aSThomas Huth case 0x3: 516fcf5ef2aSThomas Huth tcg_gen_mov_tl(cpu_SR[SR_EAR], cpu_R[dc->ra]); 517fcf5ef2aSThomas Huth break; 518fcf5ef2aSThomas Huth case 0x5: 519fcf5ef2aSThomas Huth tcg_gen_mov_tl(cpu_SR[SR_ESR], cpu_R[dc->ra]); 520fcf5ef2aSThomas Huth break; 521fcf5ef2aSThomas Huth case 0x7: 522fcf5ef2aSThomas Huth tcg_gen_andi_tl(cpu_SR[SR_FSR], cpu_R[dc->ra], 31); 523fcf5ef2aSThomas Huth break; 524fcf5ef2aSThomas Huth case 0x800: 525fcf5ef2aSThomas Huth tcg_gen_st_tl(cpu_R[dc->ra], cpu_env, offsetof(CPUMBState, slr)); 526fcf5ef2aSThomas Huth break; 527fcf5ef2aSThomas Huth case 0x802: 528fcf5ef2aSThomas Huth tcg_gen_st_tl(cpu_R[dc->ra], cpu_env, offsetof(CPUMBState, shr)); 529fcf5ef2aSThomas Huth break; 530fcf5ef2aSThomas Huth default: 531fcf5ef2aSThomas Huth cpu_abort(CPU(dc->cpu), "unknown mts reg %x\n", sr); 532fcf5ef2aSThomas Huth break; 533fcf5ef2aSThomas Huth } 534fcf5ef2aSThomas Huth } else { 535fcf5ef2aSThomas Huth LOG_DIS("m%ss r%d sr%x imm=%x\n", to ? "t" : "f", dc->rd, sr, dc->imm); 536fcf5ef2aSThomas Huth 537fcf5ef2aSThomas Huth switch (sr) { 538fcf5ef2aSThomas Huth case 0: 539fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_R[dc->rd], dc->pc); 540fcf5ef2aSThomas Huth break; 541fcf5ef2aSThomas Huth case 1: 542fcf5ef2aSThomas Huth msr_read(dc, cpu_R[dc->rd]); 543fcf5ef2aSThomas Huth break; 544fcf5ef2aSThomas Huth case 0x3: 545fcf5ef2aSThomas Huth tcg_gen_mov_tl(cpu_R[dc->rd], cpu_SR[SR_EAR]); 546fcf5ef2aSThomas Huth break; 547fcf5ef2aSThomas Huth case 0x5: 548fcf5ef2aSThomas Huth tcg_gen_mov_tl(cpu_R[dc->rd], cpu_SR[SR_ESR]); 549fcf5ef2aSThomas Huth break; 550fcf5ef2aSThomas Huth case 0x7: 551fcf5ef2aSThomas Huth tcg_gen_mov_tl(cpu_R[dc->rd], cpu_SR[SR_FSR]); 552fcf5ef2aSThomas Huth break; 553fcf5ef2aSThomas Huth case 0xb: 554fcf5ef2aSThomas Huth tcg_gen_mov_tl(cpu_R[dc->rd], cpu_SR[SR_BTR]); 555fcf5ef2aSThomas Huth break; 556fcf5ef2aSThomas Huth case 0x800: 557fcf5ef2aSThomas Huth tcg_gen_ld_tl(cpu_R[dc->rd], cpu_env, offsetof(CPUMBState, slr)); 558fcf5ef2aSThomas Huth break; 559fcf5ef2aSThomas Huth case 0x802: 560fcf5ef2aSThomas Huth tcg_gen_ld_tl(cpu_R[dc->rd], cpu_env, offsetof(CPUMBState, shr)); 561fcf5ef2aSThomas Huth break; 562fcf5ef2aSThomas Huth case 0x2000: 563fcf5ef2aSThomas Huth case 0x2001: 564fcf5ef2aSThomas Huth case 0x2002: 565fcf5ef2aSThomas Huth case 0x2003: 566fcf5ef2aSThomas Huth case 0x2004: 567fcf5ef2aSThomas Huth case 0x2005: 568fcf5ef2aSThomas Huth case 0x2006: 569fcf5ef2aSThomas Huth case 0x2007: 570fcf5ef2aSThomas Huth case 0x2008: 571fcf5ef2aSThomas Huth case 0x2009: 572fcf5ef2aSThomas Huth case 0x200a: 573fcf5ef2aSThomas Huth case 0x200b: 574fcf5ef2aSThomas Huth case 0x200c: 575fcf5ef2aSThomas Huth rn = sr & 0xf; 576fcf5ef2aSThomas Huth tcg_gen_ld_tl(cpu_R[dc->rd], 577fcf5ef2aSThomas Huth cpu_env, offsetof(CPUMBState, pvr.regs[rn])); 578fcf5ef2aSThomas Huth break; 579fcf5ef2aSThomas Huth default: 580fcf5ef2aSThomas Huth cpu_abort(cs, "unknown mfs reg %x\n", sr); 581fcf5ef2aSThomas Huth break; 582fcf5ef2aSThomas Huth } 583fcf5ef2aSThomas Huth } 584fcf5ef2aSThomas Huth 585fcf5ef2aSThomas Huth if (dc->rd == 0) { 586fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_R[0], 0); 587fcf5ef2aSThomas Huth } 588fcf5ef2aSThomas Huth } 589fcf5ef2aSThomas Huth 590fcf5ef2aSThomas Huth /* Multiplier unit. */ 591fcf5ef2aSThomas Huth static void dec_mul(DisasContext *dc) 592fcf5ef2aSThomas Huth { 593fcf5ef2aSThomas Huth TCGv tmp; 594fcf5ef2aSThomas Huth unsigned int subcode; 595fcf5ef2aSThomas Huth 596fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 597fcf5ef2aSThomas Huth && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 5989b964318SEdgar E. Iglesias && !dc->cpu->cfg.use_hw_mul) { 599fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 600fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 601fcf5ef2aSThomas Huth return; 602fcf5ef2aSThomas Huth } 603fcf5ef2aSThomas Huth 604fcf5ef2aSThomas Huth subcode = dc->imm & 3; 605fcf5ef2aSThomas Huth 606fcf5ef2aSThomas Huth if (dc->type_b) { 607fcf5ef2aSThomas Huth LOG_DIS("muli r%d r%d %x\n", dc->rd, dc->ra, dc->imm); 608fcf5ef2aSThomas Huth tcg_gen_mul_tl(cpu_R[dc->rd], cpu_R[dc->ra], *(dec_alu_op_b(dc))); 609fcf5ef2aSThomas Huth return; 610fcf5ef2aSThomas Huth } 611fcf5ef2aSThomas Huth 612fcf5ef2aSThomas Huth /* mulh, mulhsu and mulhu are not available if C_USE_HW_MUL is < 2. */ 6139b964318SEdgar E. Iglesias if (subcode >= 1 && subcode <= 3 && dc->cpu->cfg.use_hw_mul < 2) { 614fcf5ef2aSThomas Huth /* nop??? */ 615fcf5ef2aSThomas Huth } 616fcf5ef2aSThomas Huth 617fcf5ef2aSThomas Huth tmp = tcg_temp_new(); 618fcf5ef2aSThomas Huth switch (subcode) { 619fcf5ef2aSThomas Huth case 0: 620fcf5ef2aSThomas Huth LOG_DIS("mul r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 621fcf5ef2aSThomas Huth tcg_gen_mul_tl(cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 622fcf5ef2aSThomas Huth break; 623fcf5ef2aSThomas Huth case 1: 624fcf5ef2aSThomas Huth LOG_DIS("mulh r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 625fcf5ef2aSThomas Huth tcg_gen_muls2_tl(tmp, cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 626fcf5ef2aSThomas Huth break; 627fcf5ef2aSThomas Huth case 2: 628fcf5ef2aSThomas Huth LOG_DIS("mulhsu r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 629fcf5ef2aSThomas Huth tcg_gen_mulsu2_tl(tmp, cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 630fcf5ef2aSThomas Huth break; 631fcf5ef2aSThomas Huth case 3: 632fcf5ef2aSThomas Huth LOG_DIS("mulhu r%d r%d r%d\n", dc->rd, dc->ra, dc->rb); 633fcf5ef2aSThomas Huth tcg_gen_mulu2_tl(tmp, cpu_R[dc->rd], cpu_R[dc->ra], cpu_R[dc->rb]); 634fcf5ef2aSThomas Huth break; 635fcf5ef2aSThomas Huth default: 636fcf5ef2aSThomas Huth cpu_abort(CPU(dc->cpu), "unknown MUL insn %x\n", subcode); 637fcf5ef2aSThomas Huth break; 638fcf5ef2aSThomas Huth } 639fcf5ef2aSThomas Huth tcg_temp_free(tmp); 640fcf5ef2aSThomas Huth } 641fcf5ef2aSThomas Huth 642fcf5ef2aSThomas Huth /* Div unit. */ 643fcf5ef2aSThomas Huth static void dec_div(DisasContext *dc) 644fcf5ef2aSThomas Huth { 645fcf5ef2aSThomas Huth unsigned int u; 646fcf5ef2aSThomas Huth 647fcf5ef2aSThomas Huth u = dc->imm & 2; 648fcf5ef2aSThomas Huth LOG_DIS("div\n"); 649fcf5ef2aSThomas Huth 650fcf5ef2aSThomas Huth if ((dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 65147709e4cSEdgar E. Iglesias && !dc->cpu->cfg.use_div) { 652fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 653fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 654fcf5ef2aSThomas Huth } 655fcf5ef2aSThomas Huth 656fcf5ef2aSThomas Huth if (u) 657fcf5ef2aSThomas Huth gen_helper_divu(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)), 658fcf5ef2aSThomas Huth cpu_R[dc->ra]); 659fcf5ef2aSThomas Huth else 660fcf5ef2aSThomas Huth gen_helper_divs(cpu_R[dc->rd], cpu_env, *(dec_alu_op_b(dc)), 661fcf5ef2aSThomas Huth cpu_R[dc->ra]); 662fcf5ef2aSThomas Huth if (!dc->rd) 663fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_R[dc->rd], 0); 664fcf5ef2aSThomas Huth } 665fcf5ef2aSThomas Huth 666fcf5ef2aSThomas Huth static void dec_barrel(DisasContext *dc) 667fcf5ef2aSThomas Huth { 668fcf5ef2aSThomas Huth TCGv t0; 669faa48d74SEdgar E. Iglesias unsigned int imm_w, imm_s; 670d09b2585SEdgar E. Iglesias bool s, t, e = false, i = false; 671fcf5ef2aSThomas Huth 672fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 673fcf5ef2aSThomas Huth && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 6747faa66aaSEdgar E. Iglesias && !dc->cpu->cfg.use_barrel) { 675fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 676fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 677fcf5ef2aSThomas Huth return; 678fcf5ef2aSThomas Huth } 679fcf5ef2aSThomas Huth 680faa48d74SEdgar E. Iglesias if (dc->type_b) { 681faa48d74SEdgar E. Iglesias /* Insert and extract are only available in immediate mode. */ 682d09b2585SEdgar E. Iglesias i = extract32(dc->imm, 15, 1); 683faa48d74SEdgar E. Iglesias e = extract32(dc->imm, 14, 1); 684faa48d74SEdgar E. Iglesias } 685e3e84983SEdgar E. Iglesias s = extract32(dc->imm, 10, 1); 686e3e84983SEdgar E. Iglesias t = extract32(dc->imm, 9, 1); 687faa48d74SEdgar E. Iglesias imm_w = extract32(dc->imm, 6, 5); 688faa48d74SEdgar E. Iglesias imm_s = extract32(dc->imm, 0, 5); 689fcf5ef2aSThomas Huth 690faa48d74SEdgar E. Iglesias LOG_DIS("bs%s%s%s r%d r%d r%d\n", 691faa48d74SEdgar E. Iglesias e ? "e" : "", 692fcf5ef2aSThomas Huth s ? "l" : "r", t ? "a" : "l", dc->rd, dc->ra, dc->rb); 693fcf5ef2aSThomas Huth 694faa48d74SEdgar E. Iglesias if (e) { 695faa48d74SEdgar E. Iglesias if (imm_w + imm_s > 32 || imm_w == 0) { 696faa48d74SEdgar E. Iglesias /* These inputs have an undefined behavior. */ 697faa48d74SEdgar E. Iglesias qemu_log_mask(LOG_GUEST_ERROR, "bsefi: Bad input w=%d s=%d\n", 698faa48d74SEdgar E. Iglesias imm_w, imm_s); 699faa48d74SEdgar E. Iglesias } else { 700faa48d74SEdgar E. Iglesias tcg_gen_extract_i32(cpu_R[dc->rd], cpu_R[dc->ra], imm_s, imm_w); 701faa48d74SEdgar E. Iglesias } 702d09b2585SEdgar E. Iglesias } else if (i) { 703d09b2585SEdgar E. Iglesias int width = imm_w - imm_s + 1; 704d09b2585SEdgar E. Iglesias 705d09b2585SEdgar E. Iglesias if (imm_w < imm_s) { 706d09b2585SEdgar E. Iglesias /* These inputs have an undefined behavior. */ 707d09b2585SEdgar E. Iglesias qemu_log_mask(LOG_GUEST_ERROR, "bsifi: Bad input w=%d s=%d\n", 708d09b2585SEdgar E. Iglesias imm_w, imm_s); 709d09b2585SEdgar E. Iglesias } else { 710d09b2585SEdgar E. Iglesias tcg_gen_deposit_i32(cpu_R[dc->rd], cpu_R[dc->rd], cpu_R[dc->ra], 711d09b2585SEdgar E. Iglesias imm_s, width); 712d09b2585SEdgar E. Iglesias } 713faa48d74SEdgar E. Iglesias } else { 714fcf5ef2aSThomas Huth t0 = tcg_temp_new(); 715fcf5ef2aSThomas Huth 716fcf5ef2aSThomas Huth tcg_gen_mov_tl(t0, *(dec_alu_op_b(dc))); 717fcf5ef2aSThomas Huth tcg_gen_andi_tl(t0, t0, 31); 718fcf5ef2aSThomas Huth 7192acf6d53SEdgar E. Iglesias if (s) { 720fcf5ef2aSThomas Huth tcg_gen_shl_tl(cpu_R[dc->rd], cpu_R[dc->ra], t0); 7212acf6d53SEdgar E. Iglesias } else { 7222acf6d53SEdgar E. Iglesias if (t) { 723fcf5ef2aSThomas Huth tcg_gen_sar_tl(cpu_R[dc->rd], cpu_R[dc->ra], t0); 7242acf6d53SEdgar E. Iglesias } else { 725fcf5ef2aSThomas Huth tcg_gen_shr_tl(cpu_R[dc->rd], cpu_R[dc->ra], t0); 726fcf5ef2aSThomas Huth } 727fcf5ef2aSThomas Huth } 7285c8f44b7SEdgar E. Iglesias tcg_temp_free(t0); 7292acf6d53SEdgar E. Iglesias } 730faa48d74SEdgar E. Iglesias } 731fcf5ef2aSThomas Huth 732fcf5ef2aSThomas Huth static void dec_bit(DisasContext *dc) 733fcf5ef2aSThomas Huth { 734fcf5ef2aSThomas Huth CPUState *cs = CPU(dc->cpu); 735fcf5ef2aSThomas Huth TCGv t0; 736fcf5ef2aSThomas Huth unsigned int op; 737fcf5ef2aSThomas Huth int mem_index = cpu_mmu_index(&dc->cpu->env, false); 738fcf5ef2aSThomas Huth 739fcf5ef2aSThomas Huth op = dc->ir & ((1 << 9) - 1); 740fcf5ef2aSThomas Huth switch (op) { 741fcf5ef2aSThomas Huth case 0x21: 742fcf5ef2aSThomas Huth /* src. */ 743fcf5ef2aSThomas Huth t0 = tcg_temp_new(); 744fcf5ef2aSThomas Huth 745fcf5ef2aSThomas Huth LOG_DIS("src r%d r%d\n", dc->rd, dc->ra); 746fcf5ef2aSThomas Huth tcg_gen_andi_tl(t0, cpu_SR[SR_MSR], MSR_CC); 747fcf5ef2aSThomas Huth write_carry(dc, cpu_R[dc->ra]); 748fcf5ef2aSThomas Huth if (dc->rd) { 749fcf5ef2aSThomas Huth tcg_gen_shri_tl(cpu_R[dc->rd], cpu_R[dc->ra], 1); 750fcf5ef2aSThomas Huth tcg_gen_or_tl(cpu_R[dc->rd], cpu_R[dc->rd], t0); 751fcf5ef2aSThomas Huth } 752fcf5ef2aSThomas Huth tcg_temp_free(t0); 753fcf5ef2aSThomas Huth break; 754fcf5ef2aSThomas Huth 755fcf5ef2aSThomas Huth case 0x1: 756fcf5ef2aSThomas Huth case 0x41: 757fcf5ef2aSThomas Huth /* srl. */ 758fcf5ef2aSThomas Huth LOG_DIS("srl r%d r%d\n", dc->rd, dc->ra); 759fcf5ef2aSThomas Huth 760fcf5ef2aSThomas Huth /* Update carry. Note that write carry only looks at the LSB. */ 761fcf5ef2aSThomas Huth write_carry(dc, cpu_R[dc->ra]); 762fcf5ef2aSThomas Huth if (dc->rd) { 763fcf5ef2aSThomas Huth if (op == 0x41) 764fcf5ef2aSThomas Huth tcg_gen_shri_tl(cpu_R[dc->rd], cpu_R[dc->ra], 1); 765fcf5ef2aSThomas Huth else 766fcf5ef2aSThomas Huth tcg_gen_sari_tl(cpu_R[dc->rd], cpu_R[dc->ra], 1); 767fcf5ef2aSThomas Huth } 768fcf5ef2aSThomas Huth break; 769fcf5ef2aSThomas Huth case 0x60: 770fcf5ef2aSThomas Huth LOG_DIS("ext8s r%d r%d\n", dc->rd, dc->ra); 771fcf5ef2aSThomas Huth tcg_gen_ext8s_i32(cpu_R[dc->rd], cpu_R[dc->ra]); 772fcf5ef2aSThomas Huth break; 773fcf5ef2aSThomas Huth case 0x61: 774fcf5ef2aSThomas Huth LOG_DIS("ext16s r%d r%d\n", dc->rd, dc->ra); 775fcf5ef2aSThomas Huth tcg_gen_ext16s_i32(cpu_R[dc->rd], cpu_R[dc->ra]); 776fcf5ef2aSThomas Huth break; 777fcf5ef2aSThomas Huth case 0x64: 778fcf5ef2aSThomas Huth case 0x66: 779fcf5ef2aSThomas Huth case 0x74: 780fcf5ef2aSThomas Huth case 0x76: 781fcf5ef2aSThomas Huth /* wdc. */ 782fcf5ef2aSThomas Huth LOG_DIS("wdc r%d\n", dc->ra); 783fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 784fcf5ef2aSThomas Huth && mem_index == MMU_USER_IDX) { 785fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 786fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 787fcf5ef2aSThomas Huth return; 788fcf5ef2aSThomas Huth } 789fcf5ef2aSThomas Huth break; 790fcf5ef2aSThomas Huth case 0x68: 791fcf5ef2aSThomas Huth /* wic. */ 792fcf5ef2aSThomas Huth LOG_DIS("wic r%d\n", dc->ra); 793fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 794fcf5ef2aSThomas Huth && mem_index == MMU_USER_IDX) { 795fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 796fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 797fcf5ef2aSThomas Huth return; 798fcf5ef2aSThomas Huth } 799fcf5ef2aSThomas Huth break; 800fcf5ef2aSThomas Huth case 0xe0: 801fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 802fcf5ef2aSThomas Huth && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 8038fc5239eSEdgar E. Iglesias && !dc->cpu->cfg.use_pcmp_instr) { 804fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 805fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 806fcf5ef2aSThomas Huth } 8078fc5239eSEdgar E. Iglesias if (dc->cpu->cfg.use_pcmp_instr) { 8085318420cSRichard Henderson tcg_gen_clzi_i32(cpu_R[dc->rd], cpu_R[dc->ra], 32); 809fcf5ef2aSThomas Huth } 810fcf5ef2aSThomas Huth break; 811fcf5ef2aSThomas Huth case 0x1e0: 812fcf5ef2aSThomas Huth /* swapb */ 813fcf5ef2aSThomas Huth LOG_DIS("swapb r%d r%d\n", dc->rd, dc->ra); 814fcf5ef2aSThomas Huth tcg_gen_bswap32_i32(cpu_R[dc->rd], cpu_R[dc->ra]); 815fcf5ef2aSThomas Huth break; 816fcf5ef2aSThomas Huth case 0x1e2: 817fcf5ef2aSThomas Huth /*swaph */ 818fcf5ef2aSThomas Huth LOG_DIS("swaph r%d r%d\n", dc->rd, dc->ra); 819fcf5ef2aSThomas Huth tcg_gen_rotri_i32(cpu_R[dc->rd], cpu_R[dc->ra], 16); 820fcf5ef2aSThomas Huth break; 821fcf5ef2aSThomas Huth default: 822fcf5ef2aSThomas Huth cpu_abort(cs, "unknown bit oc=%x op=%x rd=%d ra=%d rb=%d\n", 823fcf5ef2aSThomas Huth dc->pc, op, dc->rd, dc->ra, dc->rb); 824fcf5ef2aSThomas Huth break; 825fcf5ef2aSThomas Huth } 826fcf5ef2aSThomas Huth } 827fcf5ef2aSThomas Huth 828fcf5ef2aSThomas Huth static inline void sync_jmpstate(DisasContext *dc) 829fcf5ef2aSThomas Huth { 830fcf5ef2aSThomas Huth if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) { 831fcf5ef2aSThomas Huth if (dc->jmp == JMP_DIRECT) { 832fcf5ef2aSThomas Huth tcg_gen_movi_tl(env_btaken, 1); 833fcf5ef2aSThomas Huth } 834fcf5ef2aSThomas Huth dc->jmp = JMP_INDIRECT; 835fcf5ef2aSThomas Huth tcg_gen_movi_tl(env_btarget, dc->jmp_pc); 836fcf5ef2aSThomas Huth } 837fcf5ef2aSThomas Huth } 838fcf5ef2aSThomas Huth 839fcf5ef2aSThomas Huth static void dec_imm(DisasContext *dc) 840fcf5ef2aSThomas Huth { 841fcf5ef2aSThomas Huth LOG_DIS("imm %x\n", dc->imm << 16); 842fcf5ef2aSThomas Huth tcg_gen_movi_tl(env_imm, (dc->imm << 16)); 843fcf5ef2aSThomas Huth dc->tb_flags |= IMM_FLAG; 844fcf5ef2aSThomas Huth dc->clear_imm = 0; 845fcf5ef2aSThomas Huth } 846fcf5ef2aSThomas Huth 847fcf5ef2aSThomas Huth static inline TCGv *compute_ldst_addr(DisasContext *dc, TCGv *t) 848fcf5ef2aSThomas Huth { 849fcf5ef2aSThomas Huth unsigned int extimm = dc->tb_flags & IMM_FLAG; 850fcf5ef2aSThomas Huth /* Should be set to one if r1 is used by loadstores. */ 851fcf5ef2aSThomas Huth int stackprot = 0; 852fcf5ef2aSThomas Huth 853fcf5ef2aSThomas Huth /* All load/stores use ra. */ 854fcf5ef2aSThomas Huth if (dc->ra == 1 && dc->cpu->cfg.stackprot) { 855fcf5ef2aSThomas Huth stackprot = 1; 856fcf5ef2aSThomas Huth } 857fcf5ef2aSThomas Huth 858fcf5ef2aSThomas Huth /* Treat the common cases first. */ 859fcf5ef2aSThomas Huth if (!dc->type_b) { 860fcf5ef2aSThomas Huth /* If any of the regs is r0, return a ptr to the other. */ 861fcf5ef2aSThomas Huth if (dc->ra == 0) { 862fcf5ef2aSThomas Huth return &cpu_R[dc->rb]; 863fcf5ef2aSThomas Huth } else if (dc->rb == 0) { 864fcf5ef2aSThomas Huth return &cpu_R[dc->ra]; 865fcf5ef2aSThomas Huth } 866fcf5ef2aSThomas Huth 867fcf5ef2aSThomas Huth if (dc->rb == 1 && dc->cpu->cfg.stackprot) { 868fcf5ef2aSThomas Huth stackprot = 1; 869fcf5ef2aSThomas Huth } 870fcf5ef2aSThomas Huth 871fcf5ef2aSThomas Huth *t = tcg_temp_new(); 872fcf5ef2aSThomas Huth tcg_gen_add_tl(*t, cpu_R[dc->ra], cpu_R[dc->rb]); 873fcf5ef2aSThomas Huth 874fcf5ef2aSThomas Huth if (stackprot) { 875fcf5ef2aSThomas Huth gen_helper_stackprot(cpu_env, *t); 876fcf5ef2aSThomas Huth } 877fcf5ef2aSThomas Huth return t; 878fcf5ef2aSThomas Huth } 879fcf5ef2aSThomas Huth /* Immediate. */ 880fcf5ef2aSThomas Huth if (!extimm) { 881fcf5ef2aSThomas Huth if (dc->imm == 0) { 882fcf5ef2aSThomas Huth return &cpu_R[dc->ra]; 883fcf5ef2aSThomas Huth } 884fcf5ef2aSThomas Huth *t = tcg_temp_new(); 885fcf5ef2aSThomas Huth tcg_gen_movi_tl(*t, (int32_t)((int16_t)dc->imm)); 886fcf5ef2aSThomas Huth tcg_gen_add_tl(*t, cpu_R[dc->ra], *t); 887fcf5ef2aSThomas Huth } else { 888fcf5ef2aSThomas Huth *t = tcg_temp_new(); 889fcf5ef2aSThomas Huth tcg_gen_add_tl(*t, cpu_R[dc->ra], *(dec_alu_op_b(dc))); 890fcf5ef2aSThomas Huth } 891fcf5ef2aSThomas Huth 892fcf5ef2aSThomas Huth if (stackprot) { 893fcf5ef2aSThomas Huth gen_helper_stackprot(cpu_env, *t); 894fcf5ef2aSThomas Huth } 895fcf5ef2aSThomas Huth return t; 896fcf5ef2aSThomas Huth } 897fcf5ef2aSThomas Huth 898fcf5ef2aSThomas Huth static void dec_load(DisasContext *dc) 899fcf5ef2aSThomas Huth { 900fcf5ef2aSThomas Huth TCGv t, v, *addr; 901fcf5ef2aSThomas Huth unsigned int size, rev = 0, ex = 0; 902fcf5ef2aSThomas Huth TCGMemOp mop; 903fcf5ef2aSThomas Huth 904fcf5ef2aSThomas Huth mop = dc->opcode & 3; 905fcf5ef2aSThomas Huth size = 1 << mop; 906fcf5ef2aSThomas Huth if (!dc->type_b) { 907fcf5ef2aSThomas Huth rev = (dc->ir >> 9) & 1; 908fcf5ef2aSThomas Huth ex = (dc->ir >> 10) & 1; 909fcf5ef2aSThomas Huth } 910fcf5ef2aSThomas Huth mop |= MO_TE; 911fcf5ef2aSThomas Huth if (rev) { 912fcf5ef2aSThomas Huth mop ^= MO_BSWAP; 913fcf5ef2aSThomas Huth } 914fcf5ef2aSThomas Huth 915fcf5ef2aSThomas Huth if (size > 4 && (dc->tb_flags & MSR_EE_FLAG) 916fcf5ef2aSThomas Huth && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK)) { 917fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 918fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 919fcf5ef2aSThomas Huth return; 920fcf5ef2aSThomas Huth } 921fcf5ef2aSThomas Huth 922fcf5ef2aSThomas Huth LOG_DIS("l%d%s%s%s\n", size, dc->type_b ? "i" : "", rev ? "r" : "", 923fcf5ef2aSThomas Huth ex ? "x" : ""); 924fcf5ef2aSThomas Huth 925fcf5ef2aSThomas Huth t_sync_flags(dc); 926fcf5ef2aSThomas Huth addr = compute_ldst_addr(dc, &t); 927fcf5ef2aSThomas Huth 928fcf5ef2aSThomas Huth /* 929fcf5ef2aSThomas Huth * When doing reverse accesses we need to do two things. 930fcf5ef2aSThomas Huth * 931fcf5ef2aSThomas Huth * 1. Reverse the address wrt endianness. 932fcf5ef2aSThomas Huth * 2. Byteswap the data lanes on the way back into the CPU core. 933fcf5ef2aSThomas Huth */ 934fcf5ef2aSThomas Huth if (rev && size != 4) { 935fcf5ef2aSThomas Huth /* Endian reverse the address. t is addr. */ 936fcf5ef2aSThomas Huth switch (size) { 937fcf5ef2aSThomas Huth case 1: 938fcf5ef2aSThomas Huth { 939fcf5ef2aSThomas Huth /* 00 -> 11 940fcf5ef2aSThomas Huth 01 -> 10 941fcf5ef2aSThomas Huth 10 -> 10 942fcf5ef2aSThomas Huth 11 -> 00 */ 943fcf5ef2aSThomas Huth TCGv low = tcg_temp_new(); 944fcf5ef2aSThomas Huth 945fcf5ef2aSThomas Huth /* Force addr into the temp. */ 946fcf5ef2aSThomas Huth if (addr != &t) { 947fcf5ef2aSThomas Huth t = tcg_temp_new(); 948fcf5ef2aSThomas Huth tcg_gen_mov_tl(t, *addr); 949fcf5ef2aSThomas Huth addr = &t; 950fcf5ef2aSThomas Huth } 951fcf5ef2aSThomas Huth 952fcf5ef2aSThomas Huth tcg_gen_andi_tl(low, t, 3); 953fcf5ef2aSThomas Huth tcg_gen_sub_tl(low, tcg_const_tl(3), low); 954fcf5ef2aSThomas Huth tcg_gen_andi_tl(t, t, ~3); 955fcf5ef2aSThomas Huth tcg_gen_or_tl(t, t, low); 956fcf5ef2aSThomas Huth tcg_gen_mov_tl(env_imm, t); 957fcf5ef2aSThomas Huth tcg_temp_free(low); 958fcf5ef2aSThomas Huth break; 959fcf5ef2aSThomas Huth } 960fcf5ef2aSThomas Huth 961fcf5ef2aSThomas Huth case 2: 962fcf5ef2aSThomas Huth /* 00 -> 10 963fcf5ef2aSThomas Huth 10 -> 00. */ 964fcf5ef2aSThomas Huth /* Force addr into the temp. */ 965fcf5ef2aSThomas Huth if (addr != &t) { 966fcf5ef2aSThomas Huth t = tcg_temp_new(); 967fcf5ef2aSThomas Huth tcg_gen_xori_tl(t, *addr, 2); 968fcf5ef2aSThomas Huth addr = &t; 969fcf5ef2aSThomas Huth } else { 970fcf5ef2aSThomas Huth tcg_gen_xori_tl(t, t, 2); 971fcf5ef2aSThomas Huth } 972fcf5ef2aSThomas Huth break; 973fcf5ef2aSThomas Huth default: 974fcf5ef2aSThomas Huth cpu_abort(CPU(dc->cpu), "Invalid reverse size\n"); 975fcf5ef2aSThomas Huth break; 976fcf5ef2aSThomas Huth } 977fcf5ef2aSThomas Huth } 978fcf5ef2aSThomas Huth 979fcf5ef2aSThomas Huth /* lwx does not throw unaligned access errors, so force alignment */ 980fcf5ef2aSThomas Huth if (ex) { 981fcf5ef2aSThomas Huth /* Force addr into the temp. */ 982fcf5ef2aSThomas Huth if (addr != &t) { 983fcf5ef2aSThomas Huth t = tcg_temp_new(); 984fcf5ef2aSThomas Huth tcg_gen_mov_tl(t, *addr); 985fcf5ef2aSThomas Huth addr = &t; 986fcf5ef2aSThomas Huth } 987fcf5ef2aSThomas Huth tcg_gen_andi_tl(t, t, ~3); 988fcf5ef2aSThomas Huth } 989fcf5ef2aSThomas Huth 990fcf5ef2aSThomas Huth /* If we get a fault on a dslot, the jmpstate better be in sync. */ 991fcf5ef2aSThomas Huth sync_jmpstate(dc); 992fcf5ef2aSThomas Huth 993fcf5ef2aSThomas Huth /* Verify alignment if needed. */ 994fcf5ef2aSThomas Huth /* 995fcf5ef2aSThomas Huth * Microblaze gives MMU faults priority over faults due to 996fcf5ef2aSThomas Huth * unaligned addresses. That's why we speculatively do the load 997fcf5ef2aSThomas Huth * into v. If the load succeeds, we verify alignment of the 998fcf5ef2aSThomas Huth * address and if that succeeds we write into the destination reg. 999fcf5ef2aSThomas Huth */ 1000fcf5ef2aSThomas Huth v = tcg_temp_new(); 1001fcf5ef2aSThomas Huth tcg_gen_qemu_ld_tl(v, *addr, cpu_mmu_index(&dc->cpu->env, false), mop); 1002fcf5ef2aSThomas Huth 1003fcf5ef2aSThomas Huth if ((dc->cpu->env.pvr.regs[2] & PVR2_UNALIGNED_EXC_MASK) && size > 1) { 1004fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_PC], dc->pc); 1005fcf5ef2aSThomas Huth gen_helper_memalign(cpu_env, *addr, tcg_const_tl(dc->rd), 1006fcf5ef2aSThomas Huth tcg_const_tl(0), tcg_const_tl(size - 1)); 1007fcf5ef2aSThomas Huth } 1008fcf5ef2aSThomas Huth 1009fcf5ef2aSThomas Huth if (ex) { 1010fcf5ef2aSThomas Huth tcg_gen_mov_tl(env_res_addr, *addr); 1011fcf5ef2aSThomas Huth tcg_gen_mov_tl(env_res_val, v); 1012fcf5ef2aSThomas Huth } 1013fcf5ef2aSThomas Huth if (dc->rd) { 1014fcf5ef2aSThomas Huth tcg_gen_mov_tl(cpu_R[dc->rd], v); 1015fcf5ef2aSThomas Huth } 1016fcf5ef2aSThomas Huth tcg_temp_free(v); 1017fcf5ef2aSThomas Huth 1018fcf5ef2aSThomas Huth if (ex) { /* lwx */ 1019fcf5ef2aSThomas Huth /* no support for AXI exclusive so always clear C */ 1020fcf5ef2aSThomas Huth write_carryi(dc, 0); 1021fcf5ef2aSThomas Huth } 1022fcf5ef2aSThomas Huth 1023fcf5ef2aSThomas Huth if (addr == &t) 1024fcf5ef2aSThomas Huth tcg_temp_free(t); 1025fcf5ef2aSThomas Huth } 1026fcf5ef2aSThomas Huth 1027fcf5ef2aSThomas Huth static void dec_store(DisasContext *dc) 1028fcf5ef2aSThomas Huth { 1029fcf5ef2aSThomas Huth TCGv t, *addr, swx_addr; 1030fcf5ef2aSThomas Huth TCGLabel *swx_skip = NULL; 1031fcf5ef2aSThomas Huth unsigned int size, rev = 0, ex = 0; 1032fcf5ef2aSThomas Huth TCGMemOp mop; 1033fcf5ef2aSThomas Huth 1034fcf5ef2aSThomas Huth mop = dc->opcode & 3; 1035fcf5ef2aSThomas Huth size = 1 << mop; 1036fcf5ef2aSThomas Huth if (!dc->type_b) { 1037fcf5ef2aSThomas Huth rev = (dc->ir >> 9) & 1; 1038fcf5ef2aSThomas Huth ex = (dc->ir >> 10) & 1; 1039fcf5ef2aSThomas Huth } 1040fcf5ef2aSThomas Huth mop |= MO_TE; 1041fcf5ef2aSThomas Huth if (rev) { 1042fcf5ef2aSThomas Huth mop ^= MO_BSWAP; 1043fcf5ef2aSThomas Huth } 1044fcf5ef2aSThomas Huth 1045fcf5ef2aSThomas Huth if (size > 4 && (dc->tb_flags & MSR_EE_FLAG) 1046fcf5ef2aSThomas Huth && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK)) { 1047fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 1048fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 1049fcf5ef2aSThomas Huth return; 1050fcf5ef2aSThomas Huth } 1051fcf5ef2aSThomas Huth 1052fcf5ef2aSThomas Huth LOG_DIS("s%d%s%s%s\n", size, dc->type_b ? "i" : "", rev ? "r" : "", 1053fcf5ef2aSThomas Huth ex ? "x" : ""); 1054fcf5ef2aSThomas Huth t_sync_flags(dc); 1055fcf5ef2aSThomas Huth /* If we get a fault on a dslot, the jmpstate better be in sync. */ 1056fcf5ef2aSThomas Huth sync_jmpstate(dc); 1057fcf5ef2aSThomas Huth addr = compute_ldst_addr(dc, &t); 1058fcf5ef2aSThomas Huth 1059fcf5ef2aSThomas Huth swx_addr = tcg_temp_local_new(); 1060fcf5ef2aSThomas Huth if (ex) { /* swx */ 1061fcf5ef2aSThomas Huth TCGv tval; 1062fcf5ef2aSThomas Huth 1063fcf5ef2aSThomas Huth /* Force addr into the swx_addr. */ 1064fcf5ef2aSThomas Huth tcg_gen_mov_tl(swx_addr, *addr); 1065fcf5ef2aSThomas Huth addr = &swx_addr; 1066fcf5ef2aSThomas Huth /* swx does not throw unaligned access errors, so force alignment */ 1067fcf5ef2aSThomas Huth tcg_gen_andi_tl(swx_addr, swx_addr, ~3); 1068fcf5ef2aSThomas Huth 1069fcf5ef2aSThomas Huth write_carryi(dc, 1); 1070fcf5ef2aSThomas Huth swx_skip = gen_new_label(); 1071fcf5ef2aSThomas Huth tcg_gen_brcond_tl(TCG_COND_NE, env_res_addr, swx_addr, swx_skip); 1072fcf5ef2aSThomas Huth 1073fcf5ef2aSThomas Huth /* Compare the value loaded at lwx with current contents of 1074fcf5ef2aSThomas Huth the reserved location. 1075fcf5ef2aSThomas Huth FIXME: This only works for system emulation where we can expect 1076fcf5ef2aSThomas Huth this compare and the following write to be atomic. For user 1077fcf5ef2aSThomas Huth emulation we need to add atomicity between threads. */ 1078fcf5ef2aSThomas Huth tval = tcg_temp_new(); 1079fcf5ef2aSThomas Huth tcg_gen_qemu_ld_tl(tval, swx_addr, cpu_mmu_index(&dc->cpu->env, false), 1080fcf5ef2aSThomas Huth MO_TEUL); 1081fcf5ef2aSThomas Huth tcg_gen_brcond_tl(TCG_COND_NE, env_res_val, tval, swx_skip); 1082fcf5ef2aSThomas Huth write_carryi(dc, 0); 1083fcf5ef2aSThomas Huth tcg_temp_free(tval); 1084fcf5ef2aSThomas Huth } 1085fcf5ef2aSThomas Huth 1086fcf5ef2aSThomas Huth if (rev && size != 4) { 1087fcf5ef2aSThomas Huth /* Endian reverse the address. t is addr. */ 1088fcf5ef2aSThomas Huth switch (size) { 1089fcf5ef2aSThomas Huth case 1: 1090fcf5ef2aSThomas Huth { 1091fcf5ef2aSThomas Huth /* 00 -> 11 1092fcf5ef2aSThomas Huth 01 -> 10 1093fcf5ef2aSThomas Huth 10 -> 10 1094fcf5ef2aSThomas Huth 11 -> 00 */ 1095fcf5ef2aSThomas Huth TCGv low = tcg_temp_new(); 1096fcf5ef2aSThomas Huth 1097fcf5ef2aSThomas Huth /* Force addr into the temp. */ 1098fcf5ef2aSThomas Huth if (addr != &t) { 1099fcf5ef2aSThomas Huth t = tcg_temp_new(); 1100fcf5ef2aSThomas Huth tcg_gen_mov_tl(t, *addr); 1101fcf5ef2aSThomas Huth addr = &t; 1102fcf5ef2aSThomas Huth } 1103fcf5ef2aSThomas Huth 1104fcf5ef2aSThomas Huth tcg_gen_andi_tl(low, t, 3); 1105fcf5ef2aSThomas Huth tcg_gen_sub_tl(low, tcg_const_tl(3), low); 1106fcf5ef2aSThomas Huth tcg_gen_andi_tl(t, t, ~3); 1107fcf5ef2aSThomas Huth tcg_gen_or_tl(t, t, low); 1108fcf5ef2aSThomas Huth tcg_gen_mov_tl(env_imm, t); 1109fcf5ef2aSThomas Huth tcg_temp_free(low); 1110fcf5ef2aSThomas Huth break; 1111fcf5ef2aSThomas Huth } 1112fcf5ef2aSThomas Huth 1113fcf5ef2aSThomas Huth case 2: 1114fcf5ef2aSThomas Huth /* 00 -> 10 1115fcf5ef2aSThomas Huth 10 -> 00. */ 1116fcf5ef2aSThomas Huth /* Force addr into the temp. */ 1117fcf5ef2aSThomas Huth if (addr != &t) { 1118fcf5ef2aSThomas Huth t = tcg_temp_new(); 1119fcf5ef2aSThomas Huth tcg_gen_xori_tl(t, *addr, 2); 1120fcf5ef2aSThomas Huth addr = &t; 1121fcf5ef2aSThomas Huth } else { 1122fcf5ef2aSThomas Huth tcg_gen_xori_tl(t, t, 2); 1123fcf5ef2aSThomas Huth } 1124fcf5ef2aSThomas Huth break; 1125fcf5ef2aSThomas Huth default: 1126fcf5ef2aSThomas Huth cpu_abort(CPU(dc->cpu), "Invalid reverse size\n"); 1127fcf5ef2aSThomas Huth break; 1128fcf5ef2aSThomas Huth } 1129fcf5ef2aSThomas Huth } 1130fcf5ef2aSThomas Huth tcg_gen_qemu_st_tl(cpu_R[dc->rd], *addr, cpu_mmu_index(&dc->cpu->env, false), mop); 1131fcf5ef2aSThomas Huth 1132fcf5ef2aSThomas Huth /* Verify alignment if needed. */ 1133fcf5ef2aSThomas Huth if ((dc->cpu->env.pvr.regs[2] & PVR2_UNALIGNED_EXC_MASK) && size > 1) { 1134fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_PC], dc->pc); 1135fcf5ef2aSThomas Huth /* FIXME: if the alignment is wrong, we should restore the value 1136fcf5ef2aSThomas Huth * in memory. One possible way to achieve this is to probe 1137fcf5ef2aSThomas Huth * the MMU prior to the memaccess, thay way we could put 1138fcf5ef2aSThomas Huth * the alignment checks in between the probe and the mem 1139fcf5ef2aSThomas Huth * access. 1140fcf5ef2aSThomas Huth */ 1141fcf5ef2aSThomas Huth gen_helper_memalign(cpu_env, *addr, tcg_const_tl(dc->rd), 1142fcf5ef2aSThomas Huth tcg_const_tl(1), tcg_const_tl(size - 1)); 1143fcf5ef2aSThomas Huth } 1144fcf5ef2aSThomas Huth 1145fcf5ef2aSThomas Huth if (ex) { 1146fcf5ef2aSThomas Huth gen_set_label(swx_skip); 1147fcf5ef2aSThomas Huth } 1148fcf5ef2aSThomas Huth tcg_temp_free(swx_addr); 1149fcf5ef2aSThomas Huth 1150fcf5ef2aSThomas Huth if (addr == &t) 1151fcf5ef2aSThomas Huth tcg_temp_free(t); 1152fcf5ef2aSThomas Huth } 1153fcf5ef2aSThomas Huth 1154fcf5ef2aSThomas Huth static inline void eval_cc(DisasContext *dc, unsigned int cc, 1155fcf5ef2aSThomas Huth TCGv d, TCGv a, TCGv b) 1156fcf5ef2aSThomas Huth { 1157fcf5ef2aSThomas Huth switch (cc) { 1158fcf5ef2aSThomas Huth case CC_EQ: 1159fcf5ef2aSThomas Huth tcg_gen_setcond_tl(TCG_COND_EQ, d, a, b); 1160fcf5ef2aSThomas Huth break; 1161fcf5ef2aSThomas Huth case CC_NE: 1162fcf5ef2aSThomas Huth tcg_gen_setcond_tl(TCG_COND_NE, d, a, b); 1163fcf5ef2aSThomas Huth break; 1164fcf5ef2aSThomas Huth case CC_LT: 1165fcf5ef2aSThomas Huth tcg_gen_setcond_tl(TCG_COND_LT, d, a, b); 1166fcf5ef2aSThomas Huth break; 1167fcf5ef2aSThomas Huth case CC_LE: 1168fcf5ef2aSThomas Huth tcg_gen_setcond_tl(TCG_COND_LE, d, a, b); 1169fcf5ef2aSThomas Huth break; 1170fcf5ef2aSThomas Huth case CC_GE: 1171fcf5ef2aSThomas Huth tcg_gen_setcond_tl(TCG_COND_GE, d, a, b); 1172fcf5ef2aSThomas Huth break; 1173fcf5ef2aSThomas Huth case CC_GT: 1174fcf5ef2aSThomas Huth tcg_gen_setcond_tl(TCG_COND_GT, d, a, b); 1175fcf5ef2aSThomas Huth break; 1176fcf5ef2aSThomas Huth default: 1177fcf5ef2aSThomas Huth cpu_abort(CPU(dc->cpu), "Unknown condition code %x.\n", cc); 1178fcf5ef2aSThomas Huth break; 1179fcf5ef2aSThomas Huth } 1180fcf5ef2aSThomas Huth } 1181fcf5ef2aSThomas Huth 1182fcf5ef2aSThomas Huth static void eval_cond_jmp(DisasContext *dc, TCGv pc_true, TCGv pc_false) 1183fcf5ef2aSThomas Huth { 1184fcf5ef2aSThomas Huth TCGLabel *l1 = gen_new_label(); 1185fcf5ef2aSThomas Huth /* Conditional jmp. */ 1186fcf5ef2aSThomas Huth tcg_gen_mov_tl(cpu_SR[SR_PC], pc_false); 1187fcf5ef2aSThomas Huth tcg_gen_brcondi_tl(TCG_COND_EQ, env_btaken, 0, l1); 1188fcf5ef2aSThomas Huth tcg_gen_mov_tl(cpu_SR[SR_PC], pc_true); 1189fcf5ef2aSThomas Huth gen_set_label(l1); 1190fcf5ef2aSThomas Huth } 1191fcf5ef2aSThomas Huth 1192fcf5ef2aSThomas Huth static void dec_bcc(DisasContext *dc) 1193fcf5ef2aSThomas Huth { 1194fcf5ef2aSThomas Huth unsigned int cc; 1195fcf5ef2aSThomas Huth unsigned int dslot; 1196fcf5ef2aSThomas Huth 1197fcf5ef2aSThomas Huth cc = EXTRACT_FIELD(dc->ir, 21, 23); 1198fcf5ef2aSThomas Huth dslot = dc->ir & (1 << 25); 1199fcf5ef2aSThomas Huth LOG_DIS("bcc%s r%d %x\n", dslot ? "d" : "", dc->ra, dc->imm); 1200fcf5ef2aSThomas Huth 1201fcf5ef2aSThomas Huth dc->delayed_branch = 1; 1202fcf5ef2aSThomas Huth if (dslot) { 1203fcf5ef2aSThomas Huth dc->delayed_branch = 2; 1204fcf5ef2aSThomas Huth dc->tb_flags |= D_FLAG; 1205fcf5ef2aSThomas Huth tcg_gen_st_tl(tcg_const_tl(dc->type_b && (dc->tb_flags & IMM_FLAG)), 1206fcf5ef2aSThomas Huth cpu_env, offsetof(CPUMBState, bimm)); 1207fcf5ef2aSThomas Huth } 1208fcf5ef2aSThomas Huth 1209fcf5ef2aSThomas Huth if (dec_alu_op_b_is_small_imm(dc)) { 1210fcf5ef2aSThomas Huth int32_t offset = (int32_t)((int16_t)dc->imm); /* sign-extend. */ 1211fcf5ef2aSThomas Huth 1212fcf5ef2aSThomas Huth tcg_gen_movi_tl(env_btarget, dc->pc + offset); 1213fcf5ef2aSThomas Huth dc->jmp = JMP_DIRECT_CC; 1214fcf5ef2aSThomas Huth dc->jmp_pc = dc->pc + offset; 1215fcf5ef2aSThomas Huth } else { 1216fcf5ef2aSThomas Huth dc->jmp = JMP_INDIRECT; 1217fcf5ef2aSThomas Huth tcg_gen_movi_tl(env_btarget, dc->pc); 1218fcf5ef2aSThomas Huth tcg_gen_add_tl(env_btarget, env_btarget, *(dec_alu_op_b(dc))); 1219fcf5ef2aSThomas Huth } 1220fcf5ef2aSThomas Huth eval_cc(dc, cc, env_btaken, cpu_R[dc->ra], tcg_const_tl(0)); 1221fcf5ef2aSThomas Huth } 1222fcf5ef2aSThomas Huth 1223fcf5ef2aSThomas Huth static void dec_br(DisasContext *dc) 1224fcf5ef2aSThomas Huth { 1225fcf5ef2aSThomas Huth unsigned int dslot, link, abs, mbar; 1226fcf5ef2aSThomas Huth int mem_index = cpu_mmu_index(&dc->cpu->env, false); 1227fcf5ef2aSThomas Huth 1228fcf5ef2aSThomas Huth dslot = dc->ir & (1 << 20); 1229fcf5ef2aSThomas Huth abs = dc->ir & (1 << 19); 1230fcf5ef2aSThomas Huth link = dc->ir & (1 << 18); 1231fcf5ef2aSThomas Huth 1232fcf5ef2aSThomas Huth /* Memory barrier. */ 1233fcf5ef2aSThomas Huth mbar = (dc->ir >> 16) & 31; 1234fcf5ef2aSThomas Huth if (mbar == 2 && dc->imm == 4) { 1235fcf5ef2aSThomas Huth /* mbar IMM & 16 decodes to sleep. */ 1236fcf5ef2aSThomas Huth if (dc->rd & 16) { 1237fcf5ef2aSThomas Huth TCGv_i32 tmp_hlt = tcg_const_i32(EXCP_HLT); 1238fcf5ef2aSThomas Huth TCGv_i32 tmp_1 = tcg_const_i32(1); 1239fcf5ef2aSThomas Huth 1240fcf5ef2aSThomas Huth LOG_DIS("sleep\n"); 1241fcf5ef2aSThomas Huth 1242fcf5ef2aSThomas Huth t_sync_flags(dc); 1243fcf5ef2aSThomas Huth tcg_gen_st_i32(tmp_1, cpu_env, 1244fcf5ef2aSThomas Huth -offsetof(MicroBlazeCPU, env) 1245fcf5ef2aSThomas Huth +offsetof(CPUState, halted)); 1246fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_PC], dc->pc + 4); 1247fcf5ef2aSThomas Huth gen_helper_raise_exception(cpu_env, tmp_hlt); 1248fcf5ef2aSThomas Huth tcg_temp_free_i32(tmp_hlt); 1249fcf5ef2aSThomas Huth tcg_temp_free_i32(tmp_1); 1250fcf5ef2aSThomas Huth return; 1251fcf5ef2aSThomas Huth } 1252fcf5ef2aSThomas Huth LOG_DIS("mbar %d\n", dc->rd); 1253fcf5ef2aSThomas Huth /* Break the TB. */ 1254fcf5ef2aSThomas Huth dc->cpustate_changed = 1; 1255fcf5ef2aSThomas Huth return; 1256fcf5ef2aSThomas Huth } 1257fcf5ef2aSThomas Huth 1258fcf5ef2aSThomas Huth LOG_DIS("br%s%s%s%s imm=%x\n", 1259fcf5ef2aSThomas Huth abs ? "a" : "", link ? "l" : "", 1260fcf5ef2aSThomas Huth dc->type_b ? "i" : "", dslot ? "d" : "", 1261fcf5ef2aSThomas Huth dc->imm); 1262fcf5ef2aSThomas Huth 1263fcf5ef2aSThomas Huth dc->delayed_branch = 1; 1264fcf5ef2aSThomas Huth if (dslot) { 1265fcf5ef2aSThomas Huth dc->delayed_branch = 2; 1266fcf5ef2aSThomas Huth dc->tb_flags |= D_FLAG; 1267fcf5ef2aSThomas Huth tcg_gen_st_tl(tcg_const_tl(dc->type_b && (dc->tb_flags & IMM_FLAG)), 1268fcf5ef2aSThomas Huth cpu_env, offsetof(CPUMBState, bimm)); 1269fcf5ef2aSThomas Huth } 1270fcf5ef2aSThomas Huth if (link && dc->rd) 1271fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_R[dc->rd], dc->pc); 1272fcf5ef2aSThomas Huth 1273fcf5ef2aSThomas Huth dc->jmp = JMP_INDIRECT; 1274fcf5ef2aSThomas Huth if (abs) { 1275fcf5ef2aSThomas Huth tcg_gen_movi_tl(env_btaken, 1); 1276fcf5ef2aSThomas Huth tcg_gen_mov_tl(env_btarget, *(dec_alu_op_b(dc))); 1277fcf5ef2aSThomas Huth if (link && !dslot) { 1278fcf5ef2aSThomas Huth if (!(dc->tb_flags & IMM_FLAG) && (dc->imm == 8 || dc->imm == 0x18)) 1279fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_BREAK); 1280fcf5ef2aSThomas Huth if (dc->imm == 0) { 1281fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) && mem_index == MMU_USER_IDX) { 1282fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 1283fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 1284fcf5ef2aSThomas Huth return; 1285fcf5ef2aSThomas Huth } 1286fcf5ef2aSThomas Huth 1287fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_DEBUG); 1288fcf5ef2aSThomas Huth } 1289fcf5ef2aSThomas Huth } 1290fcf5ef2aSThomas Huth } else { 1291fcf5ef2aSThomas Huth if (dec_alu_op_b_is_small_imm(dc)) { 1292fcf5ef2aSThomas Huth dc->jmp = JMP_DIRECT; 1293fcf5ef2aSThomas Huth dc->jmp_pc = dc->pc + (int32_t)((int16_t)dc->imm); 1294fcf5ef2aSThomas Huth } else { 1295fcf5ef2aSThomas Huth tcg_gen_movi_tl(env_btaken, 1); 1296fcf5ef2aSThomas Huth tcg_gen_movi_tl(env_btarget, dc->pc); 1297fcf5ef2aSThomas Huth tcg_gen_add_tl(env_btarget, env_btarget, *(dec_alu_op_b(dc))); 1298fcf5ef2aSThomas Huth } 1299fcf5ef2aSThomas Huth } 1300fcf5ef2aSThomas Huth } 1301fcf5ef2aSThomas Huth 1302fcf5ef2aSThomas Huth static inline void do_rti(DisasContext *dc) 1303fcf5ef2aSThomas Huth { 1304fcf5ef2aSThomas Huth TCGv t0, t1; 1305fcf5ef2aSThomas Huth t0 = tcg_temp_new(); 1306fcf5ef2aSThomas Huth t1 = tcg_temp_new(); 1307fcf5ef2aSThomas Huth tcg_gen_shri_tl(t0, cpu_SR[SR_MSR], 1); 1308fcf5ef2aSThomas Huth tcg_gen_ori_tl(t1, cpu_SR[SR_MSR], MSR_IE); 1309fcf5ef2aSThomas Huth tcg_gen_andi_tl(t0, t0, (MSR_VM | MSR_UM)); 1310fcf5ef2aSThomas Huth 1311fcf5ef2aSThomas Huth tcg_gen_andi_tl(t1, t1, ~(MSR_VM | MSR_UM)); 1312fcf5ef2aSThomas Huth tcg_gen_or_tl(t1, t1, t0); 1313fcf5ef2aSThomas Huth msr_write(dc, t1); 1314fcf5ef2aSThomas Huth tcg_temp_free(t1); 1315fcf5ef2aSThomas Huth tcg_temp_free(t0); 1316fcf5ef2aSThomas Huth dc->tb_flags &= ~DRTI_FLAG; 1317fcf5ef2aSThomas Huth } 1318fcf5ef2aSThomas Huth 1319fcf5ef2aSThomas Huth static inline void do_rtb(DisasContext *dc) 1320fcf5ef2aSThomas Huth { 1321fcf5ef2aSThomas Huth TCGv t0, t1; 1322fcf5ef2aSThomas Huth t0 = tcg_temp_new(); 1323fcf5ef2aSThomas Huth t1 = tcg_temp_new(); 1324fcf5ef2aSThomas Huth tcg_gen_andi_tl(t1, cpu_SR[SR_MSR], ~MSR_BIP); 1325fcf5ef2aSThomas Huth tcg_gen_shri_tl(t0, t1, 1); 1326fcf5ef2aSThomas Huth tcg_gen_andi_tl(t0, t0, (MSR_VM | MSR_UM)); 1327fcf5ef2aSThomas Huth 1328fcf5ef2aSThomas Huth tcg_gen_andi_tl(t1, t1, ~(MSR_VM | MSR_UM)); 1329fcf5ef2aSThomas Huth tcg_gen_or_tl(t1, t1, t0); 1330fcf5ef2aSThomas Huth msr_write(dc, t1); 1331fcf5ef2aSThomas Huth tcg_temp_free(t1); 1332fcf5ef2aSThomas Huth tcg_temp_free(t0); 1333fcf5ef2aSThomas Huth dc->tb_flags &= ~DRTB_FLAG; 1334fcf5ef2aSThomas Huth } 1335fcf5ef2aSThomas Huth 1336fcf5ef2aSThomas Huth static inline void do_rte(DisasContext *dc) 1337fcf5ef2aSThomas Huth { 1338fcf5ef2aSThomas Huth TCGv t0, t1; 1339fcf5ef2aSThomas Huth t0 = tcg_temp_new(); 1340fcf5ef2aSThomas Huth t1 = tcg_temp_new(); 1341fcf5ef2aSThomas Huth 1342fcf5ef2aSThomas Huth tcg_gen_ori_tl(t1, cpu_SR[SR_MSR], MSR_EE); 1343fcf5ef2aSThomas Huth tcg_gen_andi_tl(t1, t1, ~MSR_EIP); 1344fcf5ef2aSThomas Huth tcg_gen_shri_tl(t0, t1, 1); 1345fcf5ef2aSThomas Huth tcg_gen_andi_tl(t0, t0, (MSR_VM | MSR_UM)); 1346fcf5ef2aSThomas Huth 1347fcf5ef2aSThomas Huth tcg_gen_andi_tl(t1, t1, ~(MSR_VM | MSR_UM)); 1348fcf5ef2aSThomas Huth tcg_gen_or_tl(t1, t1, t0); 1349fcf5ef2aSThomas Huth msr_write(dc, t1); 1350fcf5ef2aSThomas Huth tcg_temp_free(t1); 1351fcf5ef2aSThomas Huth tcg_temp_free(t0); 1352fcf5ef2aSThomas Huth dc->tb_flags &= ~DRTE_FLAG; 1353fcf5ef2aSThomas Huth } 1354fcf5ef2aSThomas Huth 1355fcf5ef2aSThomas Huth static void dec_rts(DisasContext *dc) 1356fcf5ef2aSThomas Huth { 1357fcf5ef2aSThomas Huth unsigned int b_bit, i_bit, e_bit; 1358fcf5ef2aSThomas Huth int mem_index = cpu_mmu_index(&dc->cpu->env, false); 1359fcf5ef2aSThomas Huth 1360fcf5ef2aSThomas Huth i_bit = dc->ir & (1 << 21); 1361fcf5ef2aSThomas Huth b_bit = dc->ir & (1 << 22); 1362fcf5ef2aSThomas Huth e_bit = dc->ir & (1 << 23); 1363fcf5ef2aSThomas Huth 1364fcf5ef2aSThomas Huth dc->delayed_branch = 2; 1365fcf5ef2aSThomas Huth dc->tb_flags |= D_FLAG; 1366fcf5ef2aSThomas Huth tcg_gen_st_tl(tcg_const_tl(dc->type_b && (dc->tb_flags & IMM_FLAG)), 1367fcf5ef2aSThomas Huth cpu_env, offsetof(CPUMBState, bimm)); 1368fcf5ef2aSThomas Huth 1369fcf5ef2aSThomas Huth if (i_bit) { 1370fcf5ef2aSThomas Huth LOG_DIS("rtid ir=%x\n", dc->ir); 1371fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 1372fcf5ef2aSThomas Huth && mem_index == MMU_USER_IDX) { 1373fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 1374fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 1375fcf5ef2aSThomas Huth } 1376fcf5ef2aSThomas Huth dc->tb_flags |= DRTI_FLAG; 1377fcf5ef2aSThomas Huth } else if (b_bit) { 1378fcf5ef2aSThomas Huth LOG_DIS("rtbd ir=%x\n", dc->ir); 1379fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 1380fcf5ef2aSThomas Huth && mem_index == MMU_USER_IDX) { 1381fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 1382fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 1383fcf5ef2aSThomas Huth } 1384fcf5ef2aSThomas Huth dc->tb_flags |= DRTB_FLAG; 1385fcf5ef2aSThomas Huth } else if (e_bit) { 1386fcf5ef2aSThomas Huth LOG_DIS("rted ir=%x\n", dc->ir); 1387fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 1388fcf5ef2aSThomas Huth && mem_index == MMU_USER_IDX) { 1389fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 1390fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 1391fcf5ef2aSThomas Huth } 1392fcf5ef2aSThomas Huth dc->tb_flags |= DRTE_FLAG; 1393fcf5ef2aSThomas Huth } else 1394fcf5ef2aSThomas Huth LOG_DIS("rts ir=%x\n", dc->ir); 1395fcf5ef2aSThomas Huth 1396fcf5ef2aSThomas Huth dc->jmp = JMP_INDIRECT; 1397fcf5ef2aSThomas Huth tcg_gen_movi_tl(env_btaken, 1); 1398fcf5ef2aSThomas Huth tcg_gen_add_tl(env_btarget, cpu_R[dc->ra], *(dec_alu_op_b(dc))); 1399fcf5ef2aSThomas Huth } 1400fcf5ef2aSThomas Huth 1401fcf5ef2aSThomas Huth static int dec_check_fpuv2(DisasContext *dc) 1402fcf5ef2aSThomas Huth { 1403fcf5ef2aSThomas Huth if ((dc->cpu->cfg.use_fpu != 2) && (dc->tb_flags & MSR_EE_FLAG)) { 1404fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_FPU); 1405fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 1406fcf5ef2aSThomas Huth } 1407fcf5ef2aSThomas Huth return (dc->cpu->cfg.use_fpu == 2) ? 0 : PVR2_USE_FPU2_MASK; 1408fcf5ef2aSThomas Huth } 1409fcf5ef2aSThomas Huth 1410fcf5ef2aSThomas Huth static void dec_fpu(DisasContext *dc) 1411fcf5ef2aSThomas Huth { 1412fcf5ef2aSThomas Huth unsigned int fpu_insn; 1413fcf5ef2aSThomas Huth 1414fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 1415fcf5ef2aSThomas Huth && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 1416fcf5ef2aSThomas Huth && (dc->cpu->cfg.use_fpu != 1)) { 1417fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 1418fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 1419fcf5ef2aSThomas Huth return; 1420fcf5ef2aSThomas Huth } 1421fcf5ef2aSThomas Huth 1422fcf5ef2aSThomas Huth fpu_insn = (dc->ir >> 7) & 7; 1423fcf5ef2aSThomas Huth 1424fcf5ef2aSThomas Huth switch (fpu_insn) { 1425fcf5ef2aSThomas Huth case 0: 1426fcf5ef2aSThomas Huth gen_helper_fadd(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 1427fcf5ef2aSThomas Huth cpu_R[dc->rb]); 1428fcf5ef2aSThomas Huth break; 1429fcf5ef2aSThomas Huth 1430fcf5ef2aSThomas Huth case 1: 1431fcf5ef2aSThomas Huth gen_helper_frsub(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 1432fcf5ef2aSThomas Huth cpu_R[dc->rb]); 1433fcf5ef2aSThomas Huth break; 1434fcf5ef2aSThomas Huth 1435fcf5ef2aSThomas Huth case 2: 1436fcf5ef2aSThomas Huth gen_helper_fmul(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 1437fcf5ef2aSThomas Huth cpu_R[dc->rb]); 1438fcf5ef2aSThomas Huth break; 1439fcf5ef2aSThomas Huth 1440fcf5ef2aSThomas Huth case 3: 1441fcf5ef2aSThomas Huth gen_helper_fdiv(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra], 1442fcf5ef2aSThomas Huth cpu_R[dc->rb]); 1443fcf5ef2aSThomas Huth break; 1444fcf5ef2aSThomas Huth 1445fcf5ef2aSThomas Huth case 4: 1446fcf5ef2aSThomas Huth switch ((dc->ir >> 4) & 7) { 1447fcf5ef2aSThomas Huth case 0: 1448fcf5ef2aSThomas Huth gen_helper_fcmp_un(cpu_R[dc->rd], cpu_env, 1449fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1450fcf5ef2aSThomas Huth break; 1451fcf5ef2aSThomas Huth case 1: 1452fcf5ef2aSThomas Huth gen_helper_fcmp_lt(cpu_R[dc->rd], cpu_env, 1453fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1454fcf5ef2aSThomas Huth break; 1455fcf5ef2aSThomas Huth case 2: 1456fcf5ef2aSThomas Huth gen_helper_fcmp_eq(cpu_R[dc->rd], cpu_env, 1457fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1458fcf5ef2aSThomas Huth break; 1459fcf5ef2aSThomas Huth case 3: 1460fcf5ef2aSThomas Huth gen_helper_fcmp_le(cpu_R[dc->rd], cpu_env, 1461fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1462fcf5ef2aSThomas Huth break; 1463fcf5ef2aSThomas Huth case 4: 1464fcf5ef2aSThomas Huth gen_helper_fcmp_gt(cpu_R[dc->rd], cpu_env, 1465fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1466fcf5ef2aSThomas Huth break; 1467fcf5ef2aSThomas Huth case 5: 1468fcf5ef2aSThomas Huth gen_helper_fcmp_ne(cpu_R[dc->rd], cpu_env, 1469fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1470fcf5ef2aSThomas Huth break; 1471fcf5ef2aSThomas Huth case 6: 1472fcf5ef2aSThomas Huth gen_helper_fcmp_ge(cpu_R[dc->rd], cpu_env, 1473fcf5ef2aSThomas Huth cpu_R[dc->ra], cpu_R[dc->rb]); 1474fcf5ef2aSThomas Huth break; 1475fcf5ef2aSThomas Huth default: 1476fcf5ef2aSThomas Huth qemu_log_mask(LOG_UNIMP, 1477fcf5ef2aSThomas Huth "unimplemented fcmp fpu_insn=%x pc=%x" 1478fcf5ef2aSThomas Huth " opc=%x\n", 1479fcf5ef2aSThomas Huth fpu_insn, dc->pc, dc->opcode); 1480fcf5ef2aSThomas Huth dc->abort_at_next_insn = 1; 1481fcf5ef2aSThomas Huth break; 1482fcf5ef2aSThomas Huth } 1483fcf5ef2aSThomas Huth break; 1484fcf5ef2aSThomas Huth 1485fcf5ef2aSThomas Huth case 5: 1486fcf5ef2aSThomas Huth if (!dec_check_fpuv2(dc)) { 1487fcf5ef2aSThomas Huth return; 1488fcf5ef2aSThomas Huth } 1489fcf5ef2aSThomas Huth gen_helper_flt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]); 1490fcf5ef2aSThomas Huth break; 1491fcf5ef2aSThomas Huth 1492fcf5ef2aSThomas Huth case 6: 1493fcf5ef2aSThomas Huth if (!dec_check_fpuv2(dc)) { 1494fcf5ef2aSThomas Huth return; 1495fcf5ef2aSThomas Huth } 1496fcf5ef2aSThomas Huth gen_helper_fint(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]); 1497fcf5ef2aSThomas Huth break; 1498fcf5ef2aSThomas Huth 1499fcf5ef2aSThomas Huth case 7: 1500fcf5ef2aSThomas Huth if (!dec_check_fpuv2(dc)) { 1501fcf5ef2aSThomas Huth return; 1502fcf5ef2aSThomas Huth } 1503fcf5ef2aSThomas Huth gen_helper_fsqrt(cpu_R[dc->rd], cpu_env, cpu_R[dc->ra]); 1504fcf5ef2aSThomas Huth break; 1505fcf5ef2aSThomas Huth 1506fcf5ef2aSThomas Huth default: 1507fcf5ef2aSThomas Huth qemu_log_mask(LOG_UNIMP, "unimplemented FPU insn fpu_insn=%x pc=%x" 1508fcf5ef2aSThomas Huth " opc=%x\n", 1509fcf5ef2aSThomas Huth fpu_insn, dc->pc, dc->opcode); 1510fcf5ef2aSThomas Huth dc->abort_at_next_insn = 1; 1511fcf5ef2aSThomas Huth break; 1512fcf5ef2aSThomas Huth } 1513fcf5ef2aSThomas Huth } 1514fcf5ef2aSThomas Huth 1515fcf5ef2aSThomas Huth static void dec_null(DisasContext *dc) 1516fcf5ef2aSThomas Huth { 1517fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 1518fcf5ef2aSThomas Huth && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK)) { 1519fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 1520fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 1521fcf5ef2aSThomas Huth return; 1522fcf5ef2aSThomas Huth } 1523fcf5ef2aSThomas Huth qemu_log_mask(LOG_GUEST_ERROR, "unknown insn pc=%x opc=%x\n", dc->pc, dc->opcode); 1524fcf5ef2aSThomas Huth dc->abort_at_next_insn = 1; 1525fcf5ef2aSThomas Huth } 1526fcf5ef2aSThomas Huth 1527fcf5ef2aSThomas Huth /* Insns connected to FSL or AXI stream attached devices. */ 1528fcf5ef2aSThomas Huth static void dec_stream(DisasContext *dc) 1529fcf5ef2aSThomas Huth { 1530fcf5ef2aSThomas Huth int mem_index = cpu_mmu_index(&dc->cpu->env, false); 1531fcf5ef2aSThomas Huth TCGv_i32 t_id, t_ctrl; 1532fcf5ef2aSThomas Huth int ctrl; 1533fcf5ef2aSThomas Huth 1534fcf5ef2aSThomas Huth LOG_DIS("%s%s imm=%x\n", dc->rd ? "get" : "put", 1535fcf5ef2aSThomas Huth dc->type_b ? "" : "d", dc->imm); 1536fcf5ef2aSThomas Huth 1537fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) && (mem_index == MMU_USER_IDX)) { 1538fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_PRIVINSN); 1539fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 1540fcf5ef2aSThomas Huth return; 1541fcf5ef2aSThomas Huth } 1542fcf5ef2aSThomas Huth 1543fcf5ef2aSThomas Huth t_id = tcg_temp_new(); 1544fcf5ef2aSThomas Huth if (dc->type_b) { 1545fcf5ef2aSThomas Huth tcg_gen_movi_tl(t_id, dc->imm & 0xf); 1546fcf5ef2aSThomas Huth ctrl = dc->imm >> 10; 1547fcf5ef2aSThomas Huth } else { 1548fcf5ef2aSThomas Huth tcg_gen_andi_tl(t_id, cpu_R[dc->rb], 0xf); 1549fcf5ef2aSThomas Huth ctrl = dc->imm >> 5; 1550fcf5ef2aSThomas Huth } 1551fcf5ef2aSThomas Huth 1552fcf5ef2aSThomas Huth t_ctrl = tcg_const_tl(ctrl); 1553fcf5ef2aSThomas Huth 1554fcf5ef2aSThomas Huth if (dc->rd == 0) { 1555fcf5ef2aSThomas Huth gen_helper_put(t_id, t_ctrl, cpu_R[dc->ra]); 1556fcf5ef2aSThomas Huth } else { 1557fcf5ef2aSThomas Huth gen_helper_get(cpu_R[dc->rd], t_id, t_ctrl); 1558fcf5ef2aSThomas Huth } 1559fcf5ef2aSThomas Huth tcg_temp_free(t_id); 1560fcf5ef2aSThomas Huth tcg_temp_free(t_ctrl); 1561fcf5ef2aSThomas Huth } 1562fcf5ef2aSThomas Huth 1563fcf5ef2aSThomas Huth static struct decoder_info { 1564fcf5ef2aSThomas Huth struct { 1565fcf5ef2aSThomas Huth uint32_t bits; 1566fcf5ef2aSThomas Huth uint32_t mask; 1567fcf5ef2aSThomas Huth }; 1568fcf5ef2aSThomas Huth void (*dec)(DisasContext *dc); 1569fcf5ef2aSThomas Huth } decinfo[] = { 1570fcf5ef2aSThomas Huth {DEC_ADD, dec_add}, 1571fcf5ef2aSThomas Huth {DEC_SUB, dec_sub}, 1572fcf5ef2aSThomas Huth {DEC_AND, dec_and}, 1573fcf5ef2aSThomas Huth {DEC_XOR, dec_xor}, 1574fcf5ef2aSThomas Huth {DEC_OR, dec_or}, 1575fcf5ef2aSThomas Huth {DEC_BIT, dec_bit}, 1576fcf5ef2aSThomas Huth {DEC_BARREL, dec_barrel}, 1577fcf5ef2aSThomas Huth {DEC_LD, dec_load}, 1578fcf5ef2aSThomas Huth {DEC_ST, dec_store}, 1579fcf5ef2aSThomas Huth {DEC_IMM, dec_imm}, 1580fcf5ef2aSThomas Huth {DEC_BR, dec_br}, 1581fcf5ef2aSThomas Huth {DEC_BCC, dec_bcc}, 1582fcf5ef2aSThomas Huth {DEC_RTS, dec_rts}, 1583fcf5ef2aSThomas Huth {DEC_FPU, dec_fpu}, 1584fcf5ef2aSThomas Huth {DEC_MUL, dec_mul}, 1585fcf5ef2aSThomas Huth {DEC_DIV, dec_div}, 1586fcf5ef2aSThomas Huth {DEC_MSR, dec_msr}, 1587fcf5ef2aSThomas Huth {DEC_STREAM, dec_stream}, 1588fcf5ef2aSThomas Huth {{0, 0}, dec_null} 1589fcf5ef2aSThomas Huth }; 1590fcf5ef2aSThomas Huth 1591fcf5ef2aSThomas Huth static inline void decode(DisasContext *dc, uint32_t ir) 1592fcf5ef2aSThomas Huth { 1593fcf5ef2aSThomas Huth int i; 1594fcf5ef2aSThomas Huth 1595fcf5ef2aSThomas Huth dc->ir = ir; 1596fcf5ef2aSThomas Huth LOG_DIS("%8.8x\t", dc->ir); 1597fcf5ef2aSThomas Huth 1598fcf5ef2aSThomas Huth if (dc->ir) 1599fcf5ef2aSThomas Huth dc->nr_nops = 0; 1600fcf5ef2aSThomas Huth else { 1601fcf5ef2aSThomas Huth if ((dc->tb_flags & MSR_EE_FLAG) 1602fcf5ef2aSThomas Huth && (dc->cpu->env.pvr.regs[2] & PVR2_ILL_OPCODE_EXC_MASK) 1603fcf5ef2aSThomas Huth && (dc->cpu->env.pvr.regs[2] & PVR2_OPCODE_0x0_ILL_MASK)) { 1604fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_ESR], ESR_EC_ILLEGAL_OP); 1605fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_HW_EXCP); 1606fcf5ef2aSThomas Huth return; 1607fcf5ef2aSThomas Huth } 1608fcf5ef2aSThomas Huth 1609fcf5ef2aSThomas Huth LOG_DIS("nr_nops=%d\t", dc->nr_nops); 1610fcf5ef2aSThomas Huth dc->nr_nops++; 1611fcf5ef2aSThomas Huth if (dc->nr_nops > 4) { 1612fcf5ef2aSThomas Huth cpu_abort(CPU(dc->cpu), "fetching nop sequence\n"); 1613fcf5ef2aSThomas Huth } 1614fcf5ef2aSThomas Huth } 1615fcf5ef2aSThomas Huth /* bit 2 seems to indicate insn type. */ 1616fcf5ef2aSThomas Huth dc->type_b = ir & (1 << 29); 1617fcf5ef2aSThomas Huth 1618fcf5ef2aSThomas Huth dc->opcode = EXTRACT_FIELD(ir, 26, 31); 1619fcf5ef2aSThomas Huth dc->rd = EXTRACT_FIELD(ir, 21, 25); 1620fcf5ef2aSThomas Huth dc->ra = EXTRACT_FIELD(ir, 16, 20); 1621fcf5ef2aSThomas Huth dc->rb = EXTRACT_FIELD(ir, 11, 15); 1622fcf5ef2aSThomas Huth dc->imm = EXTRACT_FIELD(ir, 0, 15); 1623fcf5ef2aSThomas Huth 1624fcf5ef2aSThomas Huth /* Large switch for all insns. */ 1625fcf5ef2aSThomas Huth for (i = 0; i < ARRAY_SIZE(decinfo); i++) { 1626fcf5ef2aSThomas Huth if ((dc->opcode & decinfo[i].mask) == decinfo[i].bits) { 1627fcf5ef2aSThomas Huth decinfo[i].dec(dc); 1628fcf5ef2aSThomas Huth break; 1629fcf5ef2aSThomas Huth } 1630fcf5ef2aSThomas Huth } 1631fcf5ef2aSThomas Huth } 1632fcf5ef2aSThomas Huth 1633fcf5ef2aSThomas Huth /* generate intermediate code for basic block 'tb'. */ 16349c489ea6SLluís Vilanova void gen_intermediate_code(CPUState *cs, struct TranslationBlock *tb) 1635fcf5ef2aSThomas Huth { 16369c489ea6SLluís Vilanova CPUMBState *env = cs->env_ptr; 1637fcf5ef2aSThomas Huth MicroBlazeCPU *cpu = mb_env_get_cpu(env); 1638fcf5ef2aSThomas Huth uint32_t pc_start; 1639fcf5ef2aSThomas Huth struct DisasContext ctx; 1640fcf5ef2aSThomas Huth struct DisasContext *dc = &ctx; 1641fcf5ef2aSThomas Huth uint32_t next_page_start, org_flags; 1642fcf5ef2aSThomas Huth target_ulong npc; 1643fcf5ef2aSThomas Huth int num_insns; 1644fcf5ef2aSThomas Huth int max_insns; 1645fcf5ef2aSThomas Huth 1646fcf5ef2aSThomas Huth pc_start = tb->pc; 1647fcf5ef2aSThomas Huth dc->cpu = cpu; 1648fcf5ef2aSThomas Huth dc->tb = tb; 1649fcf5ef2aSThomas Huth org_flags = dc->synced_flags = dc->tb_flags = tb->flags; 1650fcf5ef2aSThomas Huth 1651fcf5ef2aSThomas Huth dc->is_jmp = DISAS_NEXT; 1652fcf5ef2aSThomas Huth dc->jmp = 0; 1653fcf5ef2aSThomas Huth dc->delayed_branch = !!(dc->tb_flags & D_FLAG); 1654fcf5ef2aSThomas Huth if (dc->delayed_branch) { 1655fcf5ef2aSThomas Huth dc->jmp = JMP_INDIRECT; 1656fcf5ef2aSThomas Huth } 1657fcf5ef2aSThomas Huth dc->pc = pc_start; 1658fcf5ef2aSThomas Huth dc->singlestep_enabled = cs->singlestep_enabled; 1659fcf5ef2aSThomas Huth dc->cpustate_changed = 0; 1660fcf5ef2aSThomas Huth dc->abort_at_next_insn = 0; 1661fcf5ef2aSThomas Huth dc->nr_nops = 0; 1662fcf5ef2aSThomas Huth 1663fcf5ef2aSThomas Huth if (pc_start & 3) { 1664fcf5ef2aSThomas Huth cpu_abort(cs, "Microblaze: unaligned PC=%x\n", pc_start); 1665fcf5ef2aSThomas Huth } 1666fcf5ef2aSThomas Huth 1667fcf5ef2aSThomas Huth next_page_start = (pc_start & TARGET_PAGE_MASK) + TARGET_PAGE_SIZE; 1668fcf5ef2aSThomas Huth num_insns = 0; 1669*c5a49c63SEmilio G. Cota max_insns = tb_cflags(tb) & CF_COUNT_MASK; 1670fcf5ef2aSThomas Huth if (max_insns == 0) { 1671fcf5ef2aSThomas Huth max_insns = CF_COUNT_MASK; 1672fcf5ef2aSThomas Huth } 1673fcf5ef2aSThomas Huth if (max_insns > TCG_MAX_INSNS) { 1674fcf5ef2aSThomas Huth max_insns = TCG_MAX_INSNS; 1675fcf5ef2aSThomas Huth } 1676fcf5ef2aSThomas Huth 1677fcf5ef2aSThomas Huth gen_tb_start(tb); 1678fcf5ef2aSThomas Huth do 1679fcf5ef2aSThomas Huth { 1680fcf5ef2aSThomas Huth tcg_gen_insn_start(dc->pc); 1681fcf5ef2aSThomas Huth num_insns++; 1682fcf5ef2aSThomas Huth 1683fcf5ef2aSThomas Huth #if SIM_COMPAT 1684fcf5ef2aSThomas Huth if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM)) { 1685fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_PC], dc->pc); 1686fcf5ef2aSThomas Huth gen_helper_debug(); 1687fcf5ef2aSThomas Huth } 1688fcf5ef2aSThomas Huth #endif 1689fcf5ef2aSThomas Huth 1690fcf5ef2aSThomas Huth if (unlikely(cpu_breakpoint_test(cs, dc->pc, BP_ANY))) { 1691fcf5ef2aSThomas Huth t_gen_raise_exception(dc, EXCP_DEBUG); 1692fcf5ef2aSThomas Huth dc->is_jmp = DISAS_UPDATE; 1693fcf5ef2aSThomas Huth /* The address covered by the breakpoint must be included in 1694fcf5ef2aSThomas Huth [tb->pc, tb->pc + tb->size) in order to for it to be 1695fcf5ef2aSThomas Huth properly cleared -- thus we increment the PC here so that 1696fcf5ef2aSThomas Huth the logic setting tb->size below does the right thing. */ 1697fcf5ef2aSThomas Huth dc->pc += 4; 1698fcf5ef2aSThomas Huth break; 1699fcf5ef2aSThomas Huth } 1700fcf5ef2aSThomas Huth 1701fcf5ef2aSThomas Huth /* Pretty disas. */ 1702fcf5ef2aSThomas Huth LOG_DIS("%8.8x:\t", dc->pc); 1703fcf5ef2aSThomas Huth 1704*c5a49c63SEmilio G. Cota if (num_insns == max_insns && (tb_cflags(tb) & CF_LAST_IO)) { 1705fcf5ef2aSThomas Huth gen_io_start(); 1706fcf5ef2aSThomas Huth } 1707fcf5ef2aSThomas Huth 1708fcf5ef2aSThomas Huth dc->clear_imm = 1; 1709fcf5ef2aSThomas Huth decode(dc, cpu_ldl_code(env, dc->pc)); 1710fcf5ef2aSThomas Huth if (dc->clear_imm) 1711fcf5ef2aSThomas Huth dc->tb_flags &= ~IMM_FLAG; 1712fcf5ef2aSThomas Huth dc->pc += 4; 1713fcf5ef2aSThomas Huth 1714fcf5ef2aSThomas Huth if (dc->delayed_branch) { 1715fcf5ef2aSThomas Huth dc->delayed_branch--; 1716fcf5ef2aSThomas Huth if (!dc->delayed_branch) { 1717fcf5ef2aSThomas Huth if (dc->tb_flags & DRTI_FLAG) 1718fcf5ef2aSThomas Huth do_rti(dc); 1719fcf5ef2aSThomas Huth if (dc->tb_flags & DRTB_FLAG) 1720fcf5ef2aSThomas Huth do_rtb(dc); 1721fcf5ef2aSThomas Huth if (dc->tb_flags & DRTE_FLAG) 1722fcf5ef2aSThomas Huth do_rte(dc); 1723fcf5ef2aSThomas Huth /* Clear the delay slot flag. */ 1724fcf5ef2aSThomas Huth dc->tb_flags &= ~D_FLAG; 1725fcf5ef2aSThomas Huth /* If it is a direct jump, try direct chaining. */ 1726fcf5ef2aSThomas Huth if (dc->jmp == JMP_INDIRECT) { 1727fcf5ef2aSThomas Huth eval_cond_jmp(dc, env_btarget, tcg_const_tl(dc->pc)); 1728fcf5ef2aSThomas Huth dc->is_jmp = DISAS_JUMP; 1729fcf5ef2aSThomas Huth } else if (dc->jmp == JMP_DIRECT) { 1730fcf5ef2aSThomas Huth t_sync_flags(dc); 1731fcf5ef2aSThomas Huth gen_goto_tb(dc, 0, dc->jmp_pc); 1732fcf5ef2aSThomas Huth dc->is_jmp = DISAS_TB_JUMP; 1733fcf5ef2aSThomas Huth } else if (dc->jmp == JMP_DIRECT_CC) { 1734fcf5ef2aSThomas Huth TCGLabel *l1 = gen_new_label(); 1735fcf5ef2aSThomas Huth t_sync_flags(dc); 1736fcf5ef2aSThomas Huth /* Conditional jmp. */ 1737fcf5ef2aSThomas Huth tcg_gen_brcondi_tl(TCG_COND_NE, env_btaken, 0, l1); 1738fcf5ef2aSThomas Huth gen_goto_tb(dc, 1, dc->pc); 1739fcf5ef2aSThomas Huth gen_set_label(l1); 1740fcf5ef2aSThomas Huth gen_goto_tb(dc, 0, dc->jmp_pc); 1741fcf5ef2aSThomas Huth 1742fcf5ef2aSThomas Huth dc->is_jmp = DISAS_TB_JUMP; 1743fcf5ef2aSThomas Huth } 1744fcf5ef2aSThomas Huth break; 1745fcf5ef2aSThomas Huth } 1746fcf5ef2aSThomas Huth } 1747fcf5ef2aSThomas Huth if (cs->singlestep_enabled) { 1748fcf5ef2aSThomas Huth break; 1749fcf5ef2aSThomas Huth } 1750fcf5ef2aSThomas Huth } while (!dc->is_jmp && !dc->cpustate_changed 1751fcf5ef2aSThomas Huth && !tcg_op_buf_full() 1752fcf5ef2aSThomas Huth && !singlestep 1753fcf5ef2aSThomas Huth && (dc->pc < next_page_start) 1754fcf5ef2aSThomas Huth && num_insns < max_insns); 1755fcf5ef2aSThomas Huth 1756fcf5ef2aSThomas Huth npc = dc->pc; 1757fcf5ef2aSThomas Huth if (dc->jmp == JMP_DIRECT || dc->jmp == JMP_DIRECT_CC) { 1758fcf5ef2aSThomas Huth if (dc->tb_flags & D_FLAG) { 1759fcf5ef2aSThomas Huth dc->is_jmp = DISAS_UPDATE; 1760fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_PC], npc); 1761fcf5ef2aSThomas Huth sync_jmpstate(dc); 1762fcf5ef2aSThomas Huth } else 1763fcf5ef2aSThomas Huth npc = dc->jmp_pc; 1764fcf5ef2aSThomas Huth } 1765fcf5ef2aSThomas Huth 1766*c5a49c63SEmilio G. Cota if (tb_cflags(tb) & CF_LAST_IO) 1767fcf5ef2aSThomas Huth gen_io_end(); 1768fcf5ef2aSThomas Huth /* Force an update if the per-tb cpu state has changed. */ 1769fcf5ef2aSThomas Huth if (dc->is_jmp == DISAS_NEXT 1770fcf5ef2aSThomas Huth && (dc->cpustate_changed || org_flags != dc->tb_flags)) { 1771fcf5ef2aSThomas Huth dc->is_jmp = DISAS_UPDATE; 1772fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_PC], npc); 1773fcf5ef2aSThomas Huth } 1774fcf5ef2aSThomas Huth t_sync_flags(dc); 1775fcf5ef2aSThomas Huth 1776fcf5ef2aSThomas Huth if (unlikely(cs->singlestep_enabled)) { 1777fcf5ef2aSThomas Huth TCGv_i32 tmp = tcg_const_i32(EXCP_DEBUG); 1778fcf5ef2aSThomas Huth 1779fcf5ef2aSThomas Huth if (dc->is_jmp != DISAS_JUMP) { 1780fcf5ef2aSThomas Huth tcg_gen_movi_tl(cpu_SR[SR_PC], npc); 1781fcf5ef2aSThomas Huth } 1782fcf5ef2aSThomas Huth gen_helper_raise_exception(cpu_env, tmp); 1783fcf5ef2aSThomas Huth tcg_temp_free_i32(tmp); 1784fcf5ef2aSThomas Huth } else { 1785fcf5ef2aSThomas Huth switch(dc->is_jmp) { 1786fcf5ef2aSThomas Huth case DISAS_NEXT: 1787fcf5ef2aSThomas Huth gen_goto_tb(dc, 1, npc); 1788fcf5ef2aSThomas Huth break; 1789fcf5ef2aSThomas Huth default: 1790fcf5ef2aSThomas Huth case DISAS_JUMP: 1791fcf5ef2aSThomas Huth case DISAS_UPDATE: 1792fcf5ef2aSThomas Huth /* indicate that the hash table must be used 1793fcf5ef2aSThomas Huth to find the next TB */ 1794fcf5ef2aSThomas Huth tcg_gen_exit_tb(0); 1795fcf5ef2aSThomas Huth break; 1796fcf5ef2aSThomas Huth case DISAS_TB_JUMP: 1797fcf5ef2aSThomas Huth /* nothing more to generate */ 1798fcf5ef2aSThomas Huth break; 1799fcf5ef2aSThomas Huth } 1800fcf5ef2aSThomas Huth } 1801fcf5ef2aSThomas Huth gen_tb_end(tb, num_insns); 1802fcf5ef2aSThomas Huth 1803fcf5ef2aSThomas Huth tb->size = dc->pc - pc_start; 1804fcf5ef2aSThomas Huth tb->icount = num_insns; 1805fcf5ef2aSThomas Huth 1806fcf5ef2aSThomas Huth #ifdef DEBUG_DISAS 1807fcf5ef2aSThomas Huth #if !SIM_COMPAT 1808fcf5ef2aSThomas Huth if (qemu_loglevel_mask(CPU_LOG_TB_IN_ASM) 1809fcf5ef2aSThomas Huth && qemu_log_in_addr_range(pc_start)) { 1810fcf5ef2aSThomas Huth qemu_log_lock(); 1811fcf5ef2aSThomas Huth qemu_log("--------------\n"); 1812fcf5ef2aSThomas Huth #if DISAS_GNU 1813fcf5ef2aSThomas Huth log_target_disas(cs, pc_start, dc->pc - pc_start, 0); 1814fcf5ef2aSThomas Huth #endif 1815fcf5ef2aSThomas Huth qemu_log("\nisize=%d osize=%d\n", 1816fcf5ef2aSThomas Huth dc->pc - pc_start, tcg_op_buf_count()); 1817fcf5ef2aSThomas Huth qemu_log_unlock(); 1818fcf5ef2aSThomas Huth } 1819fcf5ef2aSThomas Huth #endif 1820fcf5ef2aSThomas Huth #endif 1821fcf5ef2aSThomas Huth assert(!dc->abort_at_next_insn); 1822fcf5ef2aSThomas Huth } 1823fcf5ef2aSThomas Huth 1824fcf5ef2aSThomas Huth void mb_cpu_dump_state(CPUState *cs, FILE *f, fprintf_function cpu_fprintf, 1825fcf5ef2aSThomas Huth int flags) 1826fcf5ef2aSThomas Huth { 1827fcf5ef2aSThomas Huth MicroBlazeCPU *cpu = MICROBLAZE_CPU(cs); 1828fcf5ef2aSThomas Huth CPUMBState *env = &cpu->env; 1829fcf5ef2aSThomas Huth int i; 1830fcf5ef2aSThomas Huth 1831fcf5ef2aSThomas Huth if (!env || !f) 1832fcf5ef2aSThomas Huth return; 1833fcf5ef2aSThomas Huth 1834fcf5ef2aSThomas Huth cpu_fprintf(f, "IN: PC=%x %s\n", 1835fcf5ef2aSThomas Huth env->sregs[SR_PC], lookup_symbol(env->sregs[SR_PC])); 1836fcf5ef2aSThomas Huth cpu_fprintf(f, "rmsr=%x resr=%x rear=%x debug=%x imm=%x iflags=%x fsr=%x\n", 1837fcf5ef2aSThomas Huth env->sregs[SR_MSR], env->sregs[SR_ESR], env->sregs[SR_EAR], 1838fcf5ef2aSThomas Huth env->debug, env->imm, env->iflags, env->sregs[SR_FSR]); 1839fcf5ef2aSThomas Huth cpu_fprintf(f, "btaken=%d btarget=%x mode=%s(saved=%s) eip=%d ie=%d\n", 1840fcf5ef2aSThomas Huth env->btaken, env->btarget, 1841fcf5ef2aSThomas Huth (env->sregs[SR_MSR] & MSR_UM) ? "user" : "kernel", 1842fcf5ef2aSThomas Huth (env->sregs[SR_MSR] & MSR_UMS) ? "user" : "kernel", 1843fcf5ef2aSThomas Huth (env->sregs[SR_MSR] & MSR_EIP), 1844fcf5ef2aSThomas Huth (env->sregs[SR_MSR] & MSR_IE)); 1845fcf5ef2aSThomas Huth 1846fcf5ef2aSThomas Huth for (i = 0; i < 32; i++) { 1847fcf5ef2aSThomas Huth cpu_fprintf(f, "r%2.2d=%8.8x ", i, env->regs[i]); 1848fcf5ef2aSThomas Huth if ((i + 1) % 4 == 0) 1849fcf5ef2aSThomas Huth cpu_fprintf(f, "\n"); 1850fcf5ef2aSThomas Huth } 1851fcf5ef2aSThomas Huth cpu_fprintf(f, "\n\n"); 1852fcf5ef2aSThomas Huth } 1853fcf5ef2aSThomas Huth 1854fcf5ef2aSThomas Huth void mb_tcg_init(void) 1855fcf5ef2aSThomas Huth { 1856fcf5ef2aSThomas Huth int i; 1857fcf5ef2aSThomas Huth 1858fcf5ef2aSThomas Huth cpu_env = tcg_global_reg_new_ptr(TCG_AREG0, "env"); 1859fcf5ef2aSThomas Huth tcg_ctx.tcg_env = cpu_env; 1860fcf5ef2aSThomas Huth 1861fcf5ef2aSThomas Huth env_debug = tcg_global_mem_new(cpu_env, 1862fcf5ef2aSThomas Huth offsetof(CPUMBState, debug), 1863fcf5ef2aSThomas Huth "debug0"); 1864fcf5ef2aSThomas Huth env_iflags = tcg_global_mem_new(cpu_env, 1865fcf5ef2aSThomas Huth offsetof(CPUMBState, iflags), 1866fcf5ef2aSThomas Huth "iflags"); 1867fcf5ef2aSThomas Huth env_imm = tcg_global_mem_new(cpu_env, 1868fcf5ef2aSThomas Huth offsetof(CPUMBState, imm), 1869fcf5ef2aSThomas Huth "imm"); 1870fcf5ef2aSThomas Huth env_btarget = tcg_global_mem_new(cpu_env, 1871fcf5ef2aSThomas Huth offsetof(CPUMBState, btarget), 1872fcf5ef2aSThomas Huth "btarget"); 1873fcf5ef2aSThomas Huth env_btaken = tcg_global_mem_new(cpu_env, 1874fcf5ef2aSThomas Huth offsetof(CPUMBState, btaken), 1875fcf5ef2aSThomas Huth "btaken"); 1876fcf5ef2aSThomas Huth env_res_addr = tcg_global_mem_new(cpu_env, 1877fcf5ef2aSThomas Huth offsetof(CPUMBState, res_addr), 1878fcf5ef2aSThomas Huth "res_addr"); 1879fcf5ef2aSThomas Huth env_res_val = tcg_global_mem_new(cpu_env, 1880fcf5ef2aSThomas Huth offsetof(CPUMBState, res_val), 1881fcf5ef2aSThomas Huth "res_val"); 1882fcf5ef2aSThomas Huth for (i = 0; i < ARRAY_SIZE(cpu_R); i++) { 1883fcf5ef2aSThomas Huth cpu_R[i] = tcg_global_mem_new(cpu_env, 1884fcf5ef2aSThomas Huth offsetof(CPUMBState, regs[i]), 1885fcf5ef2aSThomas Huth regnames[i]); 1886fcf5ef2aSThomas Huth } 1887fcf5ef2aSThomas Huth for (i = 0; i < ARRAY_SIZE(cpu_SR); i++) { 1888fcf5ef2aSThomas Huth cpu_SR[i] = tcg_global_mem_new(cpu_env, 1889fcf5ef2aSThomas Huth offsetof(CPUMBState, sregs[i]), 1890fcf5ef2aSThomas Huth special_regnames[i]); 1891fcf5ef2aSThomas Huth } 1892fcf5ef2aSThomas Huth } 1893fcf5ef2aSThomas Huth 1894fcf5ef2aSThomas Huth void restore_state_to_opc(CPUMBState *env, TranslationBlock *tb, 1895fcf5ef2aSThomas Huth target_ulong *data) 1896fcf5ef2aSThomas Huth { 1897fcf5ef2aSThomas Huth env->sregs[SR_PC] = data[0]; 1898fcf5ef2aSThomas Huth } 1899