1 /* 2 * OpenRISC translation 3 * 4 * Copyright (c) 2011-2012 Jia Liu <proljc@gmail.com> 5 * Feng Gao <gf91597@gmail.com> 6 * 7 * This library is free software; you can redistribute it and/or 8 * modify it under the terms of the GNU Lesser General Public 9 * License as published by the Free Software Foundation; either 10 * version 2.1 of the License, or (at your option) any later version. 11 * 12 * This library is distributed in the hope that it will be useful, 13 * but WITHOUT ANY WARRANTY; without even the implied warranty of 14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 15 * Lesser General Public License for more details. 16 * 17 * You should have received a copy of the GNU Lesser General Public 18 * License along with this library; if not, see <http://www.gnu.org/licenses/>. 19 */ 20 21 #include "qemu/osdep.h" 22 #include "cpu.h" 23 #include "exec/exec-all.h" 24 #include "disas/disas.h" 25 #include "tcg/tcg-op.h" 26 #include "qemu/log.h" 27 #include "qemu/bitops.h" 28 #include "qemu/qemu-print.h" 29 #include "exec/cpu_ldst.h" 30 #include "exec/translator.h" 31 32 #include "exec/helper-proto.h" 33 #include "exec/helper-gen.h" 34 #include "exec/gen-icount.h" 35 36 #include "exec/log.h" 37 38 /* is_jmp field values */ 39 #define DISAS_EXIT DISAS_TARGET_0 /* force exit to main loop */ 40 #define DISAS_JUMP DISAS_TARGET_1 /* exit via jmp_pc/jmp_pc_imm */ 41 42 typedef struct DisasContext { 43 DisasContextBase base; 44 uint32_t mem_idx; 45 uint32_t tb_flags; 46 uint32_t delayed_branch; 47 uint32_t cpucfgr; 48 uint32_t avr; 49 50 /* If not -1, jmp_pc contains this value and so is a direct jump. */ 51 target_ulong jmp_pc_imm; 52 53 /* The temporary corresponding to register 0 for this compilation. */ 54 TCGv R0; 55 /* The constant zero. */ 56 TCGv zero; 57 } DisasContext; 58 59 static inline bool is_user(DisasContext *dc) 60 { 61 #ifdef CONFIG_USER_ONLY 62 return true; 63 #else 64 return !(dc->tb_flags & TB_FLAGS_SM); 65 #endif 66 } 67 68 /* Include the auto-generated decoder. */ 69 #include "decode-insns.c.inc" 70 71 static TCGv cpu_sr; 72 static TCGv cpu_regs[32]; 73 static TCGv cpu_pc; 74 static TCGv jmp_pc; /* l.jr/l.jalr temp pc */ 75 static TCGv cpu_ppc; 76 static TCGv cpu_sr_f; /* bf/bnf, F flag taken */ 77 static TCGv cpu_sr_cy; /* carry (unsigned overflow) */ 78 static TCGv cpu_sr_ov; /* signed overflow */ 79 static TCGv cpu_lock_addr; 80 static TCGv cpu_lock_value; 81 static TCGv_i32 fpcsr; 82 static TCGv_i64 cpu_mac; /* MACHI:MACLO */ 83 static TCGv_i32 cpu_dflag; 84 85 void openrisc_translate_init(void) 86 { 87 static const char * const regnames[] = { 88 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", 89 "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15", 90 "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23", 91 "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31", 92 }; 93 int i; 94 95 cpu_sr = tcg_global_mem_new(cpu_env, 96 offsetof(CPUOpenRISCState, sr), "sr"); 97 cpu_dflag = tcg_global_mem_new_i32(cpu_env, 98 offsetof(CPUOpenRISCState, dflag), 99 "dflag"); 100 cpu_pc = tcg_global_mem_new(cpu_env, 101 offsetof(CPUOpenRISCState, pc), "pc"); 102 cpu_ppc = tcg_global_mem_new(cpu_env, 103 offsetof(CPUOpenRISCState, ppc), "ppc"); 104 jmp_pc = tcg_global_mem_new(cpu_env, 105 offsetof(CPUOpenRISCState, jmp_pc), "jmp_pc"); 106 cpu_sr_f = tcg_global_mem_new(cpu_env, 107 offsetof(CPUOpenRISCState, sr_f), "sr_f"); 108 cpu_sr_cy = tcg_global_mem_new(cpu_env, 109 offsetof(CPUOpenRISCState, sr_cy), "sr_cy"); 110 cpu_sr_ov = tcg_global_mem_new(cpu_env, 111 offsetof(CPUOpenRISCState, sr_ov), "sr_ov"); 112 cpu_lock_addr = tcg_global_mem_new(cpu_env, 113 offsetof(CPUOpenRISCState, lock_addr), 114 "lock_addr"); 115 cpu_lock_value = tcg_global_mem_new(cpu_env, 116 offsetof(CPUOpenRISCState, lock_value), 117 "lock_value"); 118 fpcsr = tcg_global_mem_new_i32(cpu_env, 119 offsetof(CPUOpenRISCState, fpcsr), 120 "fpcsr"); 121 cpu_mac = tcg_global_mem_new_i64(cpu_env, 122 offsetof(CPUOpenRISCState, mac), 123 "mac"); 124 for (i = 0; i < 32; i++) { 125 cpu_regs[i] = tcg_global_mem_new(cpu_env, 126 offsetof(CPUOpenRISCState, 127 shadow_gpr[0][i]), 128 regnames[i]); 129 } 130 } 131 132 static void gen_exception(DisasContext *dc, unsigned int excp) 133 { 134 gen_helper_exception(cpu_env, tcg_constant_i32(excp)); 135 } 136 137 static void gen_illegal_exception(DisasContext *dc) 138 { 139 tcg_gen_movi_tl(cpu_pc, dc->base.pc_next); 140 gen_exception(dc, EXCP_ILLEGAL); 141 dc->base.is_jmp = DISAS_NORETURN; 142 } 143 144 static bool check_v1_3(DisasContext *dc) 145 { 146 return dc->avr >= 0x01030000; 147 } 148 149 static bool check_of32s(DisasContext *dc) 150 { 151 return dc->cpucfgr & CPUCFGR_OF32S; 152 } 153 154 static bool check_of64a32s(DisasContext *dc) 155 { 156 return dc->cpucfgr & CPUCFGR_OF64A32S; 157 } 158 159 static TCGv cpu_R(DisasContext *dc, int reg) 160 { 161 if (reg == 0) { 162 return dc->R0; 163 } else { 164 return cpu_regs[reg]; 165 } 166 } 167 168 /* 169 * We're about to write to REG. On the off-chance that the user is 170 * writing to R0, re-instate the architectural register. 171 */ 172 static void check_r0_write(DisasContext *dc, int reg) 173 { 174 if (unlikely(reg == 0)) { 175 dc->R0 = cpu_regs[0]; 176 } 177 } 178 179 static void gen_ove_cy(DisasContext *dc) 180 { 181 if (dc->tb_flags & SR_OVE) { 182 gen_helper_ove_cy(cpu_env); 183 } 184 } 185 186 static void gen_ove_ov(DisasContext *dc) 187 { 188 if (dc->tb_flags & SR_OVE) { 189 gen_helper_ove_ov(cpu_env); 190 } 191 } 192 193 static void gen_ove_cyov(DisasContext *dc) 194 { 195 if (dc->tb_flags & SR_OVE) { 196 gen_helper_ove_cyov(cpu_env); 197 } 198 } 199 200 static void gen_add(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb) 201 { 202 TCGv t0 = tcg_temp_new(); 203 TCGv res = tcg_temp_new(); 204 205 tcg_gen_add2_tl(res, cpu_sr_cy, srca, dc->zero, srcb, dc->zero); 206 tcg_gen_xor_tl(cpu_sr_ov, srca, srcb); 207 tcg_gen_xor_tl(t0, res, srcb); 208 tcg_gen_andc_tl(cpu_sr_ov, t0, cpu_sr_ov); 209 210 tcg_gen_mov_tl(dest, res); 211 212 gen_ove_cyov(dc); 213 } 214 215 static void gen_addc(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb) 216 { 217 TCGv t0 = tcg_temp_new(); 218 TCGv res = tcg_temp_new(); 219 220 tcg_gen_add2_tl(res, cpu_sr_cy, srca, dc->zero, cpu_sr_cy, dc->zero); 221 tcg_gen_add2_tl(res, cpu_sr_cy, res, cpu_sr_cy, srcb, dc->zero); 222 tcg_gen_xor_tl(cpu_sr_ov, srca, srcb); 223 tcg_gen_xor_tl(t0, res, srcb); 224 tcg_gen_andc_tl(cpu_sr_ov, t0, cpu_sr_ov); 225 226 tcg_gen_mov_tl(dest, res); 227 228 gen_ove_cyov(dc); 229 } 230 231 static void gen_sub(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb) 232 { 233 TCGv res = tcg_temp_new(); 234 235 tcg_gen_sub_tl(res, srca, srcb); 236 tcg_gen_xor_tl(cpu_sr_cy, srca, srcb); 237 tcg_gen_xor_tl(cpu_sr_ov, res, srcb); 238 tcg_gen_and_tl(cpu_sr_ov, cpu_sr_ov, cpu_sr_cy); 239 tcg_gen_setcond_tl(TCG_COND_LTU, cpu_sr_cy, srca, srcb); 240 241 tcg_gen_mov_tl(dest, res); 242 243 gen_ove_cyov(dc); 244 } 245 246 static void gen_mul(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb) 247 { 248 TCGv t0 = tcg_temp_new(); 249 250 tcg_gen_muls2_tl(dest, cpu_sr_ov, srca, srcb); 251 tcg_gen_sari_tl(t0, dest, TARGET_LONG_BITS - 1); 252 tcg_gen_setcond_tl(TCG_COND_NE, cpu_sr_ov, cpu_sr_ov, t0); 253 254 tcg_gen_neg_tl(cpu_sr_ov, cpu_sr_ov); 255 gen_ove_ov(dc); 256 } 257 258 static void gen_mulu(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb) 259 { 260 tcg_gen_muls2_tl(dest, cpu_sr_cy, srca, srcb); 261 tcg_gen_setcondi_tl(TCG_COND_NE, cpu_sr_cy, cpu_sr_cy, 0); 262 263 gen_ove_cy(dc); 264 } 265 266 static void gen_div(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb) 267 { 268 TCGv t0 = tcg_temp_new(); 269 270 tcg_gen_setcondi_tl(TCG_COND_EQ, cpu_sr_ov, srcb, 0); 271 /* The result of divide-by-zero is undefined. 272 Supress the host-side exception by dividing by 1. */ 273 tcg_gen_or_tl(t0, srcb, cpu_sr_ov); 274 tcg_gen_div_tl(dest, srca, t0); 275 276 tcg_gen_neg_tl(cpu_sr_ov, cpu_sr_ov); 277 gen_ove_ov(dc); 278 } 279 280 static void gen_divu(DisasContext *dc, TCGv dest, TCGv srca, TCGv srcb) 281 { 282 TCGv t0 = tcg_temp_new(); 283 284 tcg_gen_setcondi_tl(TCG_COND_EQ, cpu_sr_cy, srcb, 0); 285 /* The result of divide-by-zero is undefined. 286 Supress the host-side exception by dividing by 1. */ 287 tcg_gen_or_tl(t0, srcb, cpu_sr_cy); 288 tcg_gen_divu_tl(dest, srca, t0); 289 290 gen_ove_cy(dc); 291 } 292 293 static void gen_muld(DisasContext *dc, TCGv srca, TCGv srcb) 294 { 295 TCGv_i64 t1 = tcg_temp_new_i64(); 296 TCGv_i64 t2 = tcg_temp_new_i64(); 297 298 tcg_gen_ext_tl_i64(t1, srca); 299 tcg_gen_ext_tl_i64(t2, srcb); 300 if (TARGET_LONG_BITS == 32) { 301 tcg_gen_mul_i64(cpu_mac, t1, t2); 302 tcg_gen_movi_tl(cpu_sr_ov, 0); 303 } else { 304 TCGv_i64 high = tcg_temp_new_i64(); 305 306 tcg_gen_muls2_i64(cpu_mac, high, t1, t2); 307 tcg_gen_sari_i64(t1, cpu_mac, 63); 308 tcg_gen_setcond_i64(TCG_COND_NE, t1, t1, high); 309 tcg_gen_trunc_i64_tl(cpu_sr_ov, t1); 310 tcg_gen_neg_tl(cpu_sr_ov, cpu_sr_ov); 311 312 gen_ove_ov(dc); 313 } 314 } 315 316 static void gen_muldu(DisasContext *dc, TCGv srca, TCGv srcb) 317 { 318 TCGv_i64 t1 = tcg_temp_new_i64(); 319 TCGv_i64 t2 = tcg_temp_new_i64(); 320 321 tcg_gen_extu_tl_i64(t1, srca); 322 tcg_gen_extu_tl_i64(t2, srcb); 323 if (TARGET_LONG_BITS == 32) { 324 tcg_gen_mul_i64(cpu_mac, t1, t2); 325 tcg_gen_movi_tl(cpu_sr_cy, 0); 326 } else { 327 TCGv_i64 high = tcg_temp_new_i64(); 328 329 tcg_gen_mulu2_i64(cpu_mac, high, t1, t2); 330 tcg_gen_setcondi_i64(TCG_COND_NE, high, high, 0); 331 tcg_gen_trunc_i64_tl(cpu_sr_cy, high); 332 333 gen_ove_cy(dc); 334 } 335 } 336 337 static void gen_mac(DisasContext *dc, TCGv srca, TCGv srcb) 338 { 339 TCGv_i64 t1 = tcg_temp_new_i64(); 340 TCGv_i64 t2 = tcg_temp_new_i64(); 341 342 tcg_gen_ext_tl_i64(t1, srca); 343 tcg_gen_ext_tl_i64(t2, srcb); 344 tcg_gen_mul_i64(t1, t1, t2); 345 346 /* Note that overflow is only computed during addition stage. */ 347 tcg_gen_xor_i64(t2, cpu_mac, t1); 348 tcg_gen_add_i64(cpu_mac, cpu_mac, t1); 349 tcg_gen_xor_i64(t1, t1, cpu_mac); 350 tcg_gen_andc_i64(t1, t1, t2); 351 352 #if TARGET_LONG_BITS == 32 353 tcg_gen_extrh_i64_i32(cpu_sr_ov, t1); 354 #else 355 tcg_gen_mov_i64(cpu_sr_ov, t1); 356 #endif 357 358 gen_ove_ov(dc); 359 } 360 361 static void gen_macu(DisasContext *dc, TCGv srca, TCGv srcb) 362 { 363 TCGv_i64 t1 = tcg_temp_new_i64(); 364 TCGv_i64 t2 = tcg_temp_new_i64(); 365 366 tcg_gen_extu_tl_i64(t1, srca); 367 tcg_gen_extu_tl_i64(t2, srcb); 368 tcg_gen_mul_i64(t1, t1, t2); 369 370 /* Note that overflow is only computed during addition stage. */ 371 tcg_gen_add_i64(cpu_mac, cpu_mac, t1); 372 tcg_gen_setcond_i64(TCG_COND_LTU, t1, cpu_mac, t1); 373 tcg_gen_trunc_i64_tl(cpu_sr_cy, t1); 374 375 gen_ove_cy(dc); 376 } 377 378 static void gen_msb(DisasContext *dc, TCGv srca, TCGv srcb) 379 { 380 TCGv_i64 t1 = tcg_temp_new_i64(); 381 TCGv_i64 t2 = tcg_temp_new_i64(); 382 383 tcg_gen_ext_tl_i64(t1, srca); 384 tcg_gen_ext_tl_i64(t2, srcb); 385 tcg_gen_mul_i64(t1, t1, t2); 386 387 /* Note that overflow is only computed during subtraction stage. */ 388 tcg_gen_xor_i64(t2, cpu_mac, t1); 389 tcg_gen_sub_i64(cpu_mac, cpu_mac, t1); 390 tcg_gen_xor_i64(t1, t1, cpu_mac); 391 tcg_gen_and_i64(t1, t1, t2); 392 393 #if TARGET_LONG_BITS == 32 394 tcg_gen_extrh_i64_i32(cpu_sr_ov, t1); 395 #else 396 tcg_gen_mov_i64(cpu_sr_ov, t1); 397 #endif 398 399 gen_ove_ov(dc); 400 } 401 402 static void gen_msbu(DisasContext *dc, TCGv srca, TCGv srcb) 403 { 404 TCGv_i64 t1 = tcg_temp_new_i64(); 405 TCGv_i64 t2 = tcg_temp_new_i64(); 406 407 tcg_gen_extu_tl_i64(t1, srca); 408 tcg_gen_extu_tl_i64(t2, srcb); 409 tcg_gen_mul_i64(t1, t1, t2); 410 411 /* Note that overflow is only computed during subtraction stage. */ 412 tcg_gen_setcond_i64(TCG_COND_LTU, t2, cpu_mac, t1); 413 tcg_gen_sub_i64(cpu_mac, cpu_mac, t1); 414 tcg_gen_trunc_i64_tl(cpu_sr_cy, t2); 415 416 gen_ove_cy(dc); 417 } 418 419 static bool trans_l_add(DisasContext *dc, arg_dab *a) 420 { 421 check_r0_write(dc, a->d); 422 gen_add(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 423 return true; 424 } 425 426 static bool trans_l_addc(DisasContext *dc, arg_dab *a) 427 { 428 check_r0_write(dc, a->d); 429 gen_addc(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 430 return true; 431 } 432 433 static bool trans_l_sub(DisasContext *dc, arg_dab *a) 434 { 435 check_r0_write(dc, a->d); 436 gen_sub(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 437 return true; 438 } 439 440 static bool trans_l_and(DisasContext *dc, arg_dab *a) 441 { 442 check_r0_write(dc, a->d); 443 tcg_gen_and_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 444 return true; 445 } 446 447 static bool trans_l_or(DisasContext *dc, arg_dab *a) 448 { 449 check_r0_write(dc, a->d); 450 tcg_gen_or_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 451 return true; 452 } 453 454 static bool trans_l_xor(DisasContext *dc, arg_dab *a) 455 { 456 check_r0_write(dc, a->d); 457 tcg_gen_xor_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 458 return true; 459 } 460 461 static bool trans_l_sll(DisasContext *dc, arg_dab *a) 462 { 463 check_r0_write(dc, a->d); 464 tcg_gen_shl_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 465 return true; 466 } 467 468 static bool trans_l_srl(DisasContext *dc, arg_dab *a) 469 { 470 check_r0_write(dc, a->d); 471 tcg_gen_shr_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 472 return true; 473 } 474 475 static bool trans_l_sra(DisasContext *dc, arg_dab *a) 476 { 477 check_r0_write(dc, a->d); 478 tcg_gen_sar_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 479 return true; 480 } 481 482 static bool trans_l_ror(DisasContext *dc, arg_dab *a) 483 { 484 check_r0_write(dc, a->d); 485 tcg_gen_rotr_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 486 return true; 487 } 488 489 static bool trans_l_exths(DisasContext *dc, arg_da *a) 490 { 491 check_r0_write(dc, a->d); 492 tcg_gen_ext16s_tl(cpu_R(dc, a->d), cpu_R(dc, a->a)); 493 return true; 494 } 495 496 static bool trans_l_extbs(DisasContext *dc, arg_da *a) 497 { 498 check_r0_write(dc, a->d); 499 tcg_gen_ext8s_tl(cpu_R(dc, a->d), cpu_R(dc, a->a)); 500 return true; 501 } 502 503 static bool trans_l_exthz(DisasContext *dc, arg_da *a) 504 { 505 check_r0_write(dc, a->d); 506 tcg_gen_ext16u_tl(cpu_R(dc, a->d), cpu_R(dc, a->a)); 507 return true; 508 } 509 510 static bool trans_l_extbz(DisasContext *dc, arg_da *a) 511 { 512 check_r0_write(dc, a->d); 513 tcg_gen_ext8u_tl(cpu_R(dc, a->d), cpu_R(dc, a->a)); 514 return true; 515 } 516 517 static bool trans_l_cmov(DisasContext *dc, arg_dab *a) 518 { 519 check_r0_write(dc, a->d); 520 tcg_gen_movcond_tl(TCG_COND_NE, cpu_R(dc, a->d), cpu_sr_f, dc->zero, 521 cpu_R(dc, a->a), cpu_R(dc, a->b)); 522 return true; 523 } 524 525 static bool trans_l_ff1(DisasContext *dc, arg_da *a) 526 { 527 check_r0_write(dc, a->d); 528 tcg_gen_ctzi_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), -1); 529 tcg_gen_addi_tl(cpu_R(dc, a->d), cpu_R(dc, a->d), 1); 530 return true; 531 } 532 533 static bool trans_l_fl1(DisasContext *dc, arg_da *a) 534 { 535 check_r0_write(dc, a->d); 536 tcg_gen_clzi_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), TARGET_LONG_BITS); 537 tcg_gen_subfi_tl(cpu_R(dc, a->d), TARGET_LONG_BITS, cpu_R(dc, a->d)); 538 return true; 539 } 540 541 static bool trans_l_mul(DisasContext *dc, arg_dab *a) 542 { 543 check_r0_write(dc, a->d); 544 gen_mul(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 545 return true; 546 } 547 548 static bool trans_l_mulu(DisasContext *dc, arg_dab *a) 549 { 550 check_r0_write(dc, a->d); 551 gen_mulu(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 552 return true; 553 } 554 555 static bool trans_l_div(DisasContext *dc, arg_dab *a) 556 { 557 check_r0_write(dc, a->d); 558 gen_div(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 559 return true; 560 } 561 562 static bool trans_l_divu(DisasContext *dc, arg_dab *a) 563 { 564 check_r0_write(dc, a->d); 565 gen_divu(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), cpu_R(dc, a->b)); 566 return true; 567 } 568 569 static bool trans_l_muld(DisasContext *dc, arg_ab *a) 570 { 571 gen_muld(dc, cpu_R(dc, a->a), cpu_R(dc, a->b)); 572 return true; 573 } 574 575 static bool trans_l_muldu(DisasContext *dc, arg_ab *a) 576 { 577 gen_muldu(dc, cpu_R(dc, a->a), cpu_R(dc, a->b)); 578 return true; 579 } 580 581 static bool trans_l_j(DisasContext *dc, arg_l_j *a) 582 { 583 target_ulong tmp_pc = dc->base.pc_next + a->n * 4; 584 585 tcg_gen_movi_tl(jmp_pc, tmp_pc); 586 dc->jmp_pc_imm = tmp_pc; 587 dc->delayed_branch = 2; 588 return true; 589 } 590 591 static bool trans_l_jal(DisasContext *dc, arg_l_jal *a) 592 { 593 target_ulong tmp_pc = dc->base.pc_next + a->n * 4; 594 target_ulong ret_pc = dc->base.pc_next + 8; 595 596 tcg_gen_movi_tl(cpu_regs[9], ret_pc); 597 /* Optimize jal being used to load the PC for PIC. */ 598 if (tmp_pc != ret_pc) { 599 tcg_gen_movi_tl(jmp_pc, tmp_pc); 600 dc->jmp_pc_imm = tmp_pc; 601 dc->delayed_branch = 2; 602 } 603 return true; 604 } 605 606 static void do_bf(DisasContext *dc, arg_l_bf *a, TCGCond cond) 607 { 608 target_ulong tmp_pc = dc->base.pc_next + a->n * 4; 609 TCGv t_next = tcg_constant_tl(dc->base.pc_next + 8); 610 TCGv t_true = tcg_constant_tl(tmp_pc); 611 612 tcg_gen_movcond_tl(cond, jmp_pc, cpu_sr_f, dc->zero, t_true, t_next); 613 dc->delayed_branch = 2; 614 } 615 616 static bool trans_l_bf(DisasContext *dc, arg_l_bf *a) 617 { 618 do_bf(dc, a, TCG_COND_NE); 619 return true; 620 } 621 622 static bool trans_l_bnf(DisasContext *dc, arg_l_bf *a) 623 { 624 do_bf(dc, a, TCG_COND_EQ); 625 return true; 626 } 627 628 static bool trans_l_jr(DisasContext *dc, arg_l_jr *a) 629 { 630 tcg_gen_mov_tl(jmp_pc, cpu_R(dc, a->b)); 631 dc->delayed_branch = 2; 632 return true; 633 } 634 635 static bool trans_l_jalr(DisasContext *dc, arg_l_jalr *a) 636 { 637 tcg_gen_mov_tl(jmp_pc, cpu_R(dc, a->b)); 638 tcg_gen_movi_tl(cpu_regs[9], dc->base.pc_next + 8); 639 dc->delayed_branch = 2; 640 return true; 641 } 642 643 static bool trans_l_lwa(DisasContext *dc, arg_load *a) 644 { 645 TCGv ea; 646 647 check_r0_write(dc, a->d); 648 ea = tcg_temp_new(); 649 tcg_gen_addi_tl(ea, cpu_R(dc, a->a), a->i); 650 tcg_gen_qemu_ld_tl(cpu_R(dc, a->d), ea, dc->mem_idx, MO_TEUL); 651 tcg_gen_mov_tl(cpu_lock_addr, ea); 652 tcg_gen_mov_tl(cpu_lock_value, cpu_R(dc, a->d)); 653 return true; 654 } 655 656 static void do_load(DisasContext *dc, arg_load *a, MemOp mop) 657 { 658 TCGv ea; 659 660 check_r0_write(dc, a->d); 661 ea = tcg_temp_new(); 662 tcg_gen_addi_tl(ea, cpu_R(dc, a->a), a->i); 663 tcg_gen_qemu_ld_tl(cpu_R(dc, a->d), ea, dc->mem_idx, mop); 664 } 665 666 static bool trans_l_lwz(DisasContext *dc, arg_load *a) 667 { 668 do_load(dc, a, MO_TEUL); 669 return true; 670 } 671 672 static bool trans_l_lws(DisasContext *dc, arg_load *a) 673 { 674 do_load(dc, a, MO_TESL); 675 return true; 676 } 677 678 static bool trans_l_lbz(DisasContext *dc, arg_load *a) 679 { 680 do_load(dc, a, MO_UB); 681 return true; 682 } 683 684 static bool trans_l_lbs(DisasContext *dc, arg_load *a) 685 { 686 do_load(dc, a, MO_SB); 687 return true; 688 } 689 690 static bool trans_l_lhz(DisasContext *dc, arg_load *a) 691 { 692 do_load(dc, a, MO_TEUW); 693 return true; 694 } 695 696 static bool trans_l_lhs(DisasContext *dc, arg_load *a) 697 { 698 do_load(dc, a, MO_TESW); 699 return true; 700 } 701 702 static bool trans_l_swa(DisasContext *dc, arg_store *a) 703 { 704 TCGv ea, val; 705 TCGLabel *lab_fail, *lab_done; 706 707 ea = tcg_temp_new(); 708 tcg_gen_addi_tl(ea, cpu_R(dc, a->a), a->i); 709 710 lab_fail = gen_new_label(); 711 lab_done = gen_new_label(); 712 tcg_gen_brcond_tl(TCG_COND_NE, ea, cpu_lock_addr, lab_fail); 713 714 val = tcg_temp_new(); 715 tcg_gen_atomic_cmpxchg_tl(val, cpu_lock_addr, cpu_lock_value, 716 cpu_R(dc, a->b), dc->mem_idx, MO_TEUL); 717 tcg_gen_setcond_tl(TCG_COND_EQ, cpu_sr_f, val, cpu_lock_value); 718 719 tcg_gen_br(lab_done); 720 721 gen_set_label(lab_fail); 722 tcg_gen_movi_tl(cpu_sr_f, 0); 723 724 gen_set_label(lab_done); 725 tcg_gen_movi_tl(cpu_lock_addr, -1); 726 return true; 727 } 728 729 static void do_store(DisasContext *dc, arg_store *a, MemOp mop) 730 { 731 TCGv t0 = tcg_temp_new(); 732 tcg_gen_addi_tl(t0, cpu_R(dc, a->a), a->i); 733 tcg_gen_qemu_st_tl(cpu_R(dc, a->b), t0, dc->mem_idx, mop); 734 } 735 736 static bool trans_l_sw(DisasContext *dc, arg_store *a) 737 { 738 do_store(dc, a, MO_TEUL); 739 return true; 740 } 741 742 static bool trans_l_sb(DisasContext *dc, arg_store *a) 743 { 744 do_store(dc, a, MO_UB); 745 return true; 746 } 747 748 static bool trans_l_sh(DisasContext *dc, arg_store *a) 749 { 750 do_store(dc, a, MO_TEUW); 751 return true; 752 } 753 754 static bool trans_l_nop(DisasContext *dc, arg_l_nop *a) 755 { 756 return true; 757 } 758 759 static bool trans_l_adrp(DisasContext *dc, arg_l_adrp *a) 760 { 761 if (!check_v1_3(dc)) { 762 return false; 763 } 764 check_r0_write(dc, a->d); 765 766 tcg_gen_movi_i32(cpu_R(dc, a->d), 767 (dc->base.pc_next & TARGET_PAGE_MASK) + 768 ((target_long)a->i << TARGET_PAGE_BITS)); 769 return true; 770 } 771 772 static bool trans_l_addi(DisasContext *dc, arg_rri *a) 773 { 774 check_r0_write(dc, a->d); 775 gen_add(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), tcg_constant_tl(a->i)); 776 return true; 777 } 778 779 static bool trans_l_addic(DisasContext *dc, arg_rri *a) 780 { 781 check_r0_write(dc, a->d); 782 gen_addc(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), tcg_constant_tl(a->i)); 783 return true; 784 } 785 786 static bool trans_l_muli(DisasContext *dc, arg_rri *a) 787 { 788 check_r0_write(dc, a->d); 789 gen_mul(dc, cpu_R(dc, a->d), cpu_R(dc, a->a), tcg_constant_tl(a->i)); 790 return true; 791 } 792 793 static bool trans_l_maci(DisasContext *dc, arg_l_maci *a) 794 { 795 gen_mac(dc, cpu_R(dc, a->a), tcg_constant_tl(a->i)); 796 return true; 797 } 798 799 static bool trans_l_andi(DisasContext *dc, arg_rrk *a) 800 { 801 check_r0_write(dc, a->d); 802 tcg_gen_andi_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), a->k); 803 return true; 804 } 805 806 static bool trans_l_ori(DisasContext *dc, arg_rrk *a) 807 { 808 check_r0_write(dc, a->d); 809 tcg_gen_ori_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), a->k); 810 return true; 811 } 812 813 static bool trans_l_xori(DisasContext *dc, arg_rri *a) 814 { 815 check_r0_write(dc, a->d); 816 tcg_gen_xori_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), a->i); 817 return true; 818 } 819 820 static bool trans_l_mfspr(DisasContext *dc, arg_l_mfspr *a) 821 { 822 check_r0_write(dc, a->d); 823 824 if (is_user(dc)) { 825 gen_illegal_exception(dc); 826 } else { 827 TCGv spr = tcg_temp_new(); 828 829 if (tb_cflags(dc->base.tb) & CF_USE_ICOUNT) { 830 gen_io_start(); 831 if (dc->delayed_branch) { 832 tcg_gen_mov_tl(cpu_pc, jmp_pc); 833 tcg_gen_discard_tl(jmp_pc); 834 } else { 835 tcg_gen_movi_tl(cpu_pc, dc->base.pc_next + 4); 836 } 837 dc->base.is_jmp = DISAS_EXIT; 838 } 839 840 tcg_gen_ori_tl(spr, cpu_R(dc, a->a), a->k); 841 gen_helper_mfspr(cpu_R(dc, a->d), cpu_env, cpu_R(dc, a->d), spr); 842 } 843 return true; 844 } 845 846 static bool trans_l_mtspr(DisasContext *dc, arg_l_mtspr *a) 847 { 848 if (is_user(dc)) { 849 gen_illegal_exception(dc); 850 } else { 851 TCGv spr; 852 853 if (tb_cflags(dc->base.tb) & CF_USE_ICOUNT) { 854 gen_io_start(); 855 } 856 /* For SR, we will need to exit the TB to recognize the new 857 * exception state. For NPC, in theory this counts as a branch 858 * (although the SPR only exists for use by an ICE). Save all 859 * of the cpu state first, allowing it to be overwritten. 860 */ 861 if (dc->delayed_branch) { 862 tcg_gen_mov_tl(cpu_pc, jmp_pc); 863 tcg_gen_discard_tl(jmp_pc); 864 } else { 865 tcg_gen_movi_tl(cpu_pc, dc->base.pc_next + 4); 866 } 867 dc->base.is_jmp = DISAS_EXIT; 868 869 spr = tcg_temp_new(); 870 tcg_gen_ori_tl(spr, cpu_R(dc, a->a), a->k); 871 gen_helper_mtspr(cpu_env, spr, cpu_R(dc, a->b)); 872 } 873 return true; 874 } 875 876 static bool trans_l_mac(DisasContext *dc, arg_ab *a) 877 { 878 gen_mac(dc, cpu_R(dc, a->a), cpu_R(dc, a->b)); 879 return true; 880 } 881 882 static bool trans_l_msb(DisasContext *dc, arg_ab *a) 883 { 884 gen_msb(dc, cpu_R(dc, a->a), cpu_R(dc, a->b)); 885 return true; 886 } 887 888 static bool trans_l_macu(DisasContext *dc, arg_ab *a) 889 { 890 gen_macu(dc, cpu_R(dc, a->a), cpu_R(dc, a->b)); 891 return true; 892 } 893 894 static bool trans_l_msbu(DisasContext *dc, arg_ab *a) 895 { 896 gen_msbu(dc, cpu_R(dc, a->a), cpu_R(dc, a->b)); 897 return true; 898 } 899 900 static bool trans_l_slli(DisasContext *dc, arg_dal *a) 901 { 902 check_r0_write(dc, a->d); 903 tcg_gen_shli_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), 904 a->l & (TARGET_LONG_BITS - 1)); 905 return true; 906 } 907 908 static bool trans_l_srli(DisasContext *dc, arg_dal *a) 909 { 910 check_r0_write(dc, a->d); 911 tcg_gen_shri_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), 912 a->l & (TARGET_LONG_BITS - 1)); 913 return true; 914 } 915 916 static bool trans_l_srai(DisasContext *dc, arg_dal *a) 917 { 918 check_r0_write(dc, a->d); 919 tcg_gen_sari_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), 920 a->l & (TARGET_LONG_BITS - 1)); 921 return true; 922 } 923 924 static bool trans_l_rori(DisasContext *dc, arg_dal *a) 925 { 926 check_r0_write(dc, a->d); 927 tcg_gen_rotri_tl(cpu_R(dc, a->d), cpu_R(dc, a->a), 928 a->l & (TARGET_LONG_BITS - 1)); 929 return true; 930 } 931 932 static bool trans_l_movhi(DisasContext *dc, arg_l_movhi *a) 933 { 934 check_r0_write(dc, a->d); 935 tcg_gen_movi_tl(cpu_R(dc, a->d), a->k << 16); 936 return true; 937 } 938 939 static bool trans_l_macrc(DisasContext *dc, arg_l_macrc *a) 940 { 941 check_r0_write(dc, a->d); 942 tcg_gen_trunc_i64_tl(cpu_R(dc, a->d), cpu_mac); 943 tcg_gen_movi_i64(cpu_mac, 0); 944 return true; 945 } 946 947 static bool trans_l_sfeq(DisasContext *dc, arg_ab *a) 948 { 949 tcg_gen_setcond_tl(TCG_COND_EQ, cpu_sr_f, 950 cpu_R(dc, a->a), cpu_R(dc, a->b)); 951 return true; 952 } 953 954 static bool trans_l_sfne(DisasContext *dc, arg_ab *a) 955 { 956 tcg_gen_setcond_tl(TCG_COND_NE, cpu_sr_f, 957 cpu_R(dc, a->a), cpu_R(dc, a->b)); 958 return true; 959 } 960 961 static bool trans_l_sfgtu(DisasContext *dc, arg_ab *a) 962 { 963 tcg_gen_setcond_tl(TCG_COND_GTU, cpu_sr_f, 964 cpu_R(dc, a->a), cpu_R(dc, a->b)); 965 return true; 966 } 967 968 static bool trans_l_sfgeu(DisasContext *dc, arg_ab *a) 969 { 970 tcg_gen_setcond_tl(TCG_COND_GEU, cpu_sr_f, 971 cpu_R(dc, a->a), cpu_R(dc, a->b)); 972 return true; 973 } 974 975 static bool trans_l_sfltu(DisasContext *dc, arg_ab *a) 976 { 977 tcg_gen_setcond_tl(TCG_COND_LTU, cpu_sr_f, 978 cpu_R(dc, a->a), cpu_R(dc, a->b)); 979 return true; 980 } 981 982 static bool trans_l_sfleu(DisasContext *dc, arg_ab *a) 983 { 984 tcg_gen_setcond_tl(TCG_COND_LEU, cpu_sr_f, 985 cpu_R(dc, a->a), cpu_R(dc, a->b)); 986 return true; 987 } 988 989 static bool trans_l_sfgts(DisasContext *dc, arg_ab *a) 990 { 991 tcg_gen_setcond_tl(TCG_COND_GT, cpu_sr_f, 992 cpu_R(dc, a->a), cpu_R(dc, a->b)); 993 return true; 994 } 995 996 static bool trans_l_sfges(DisasContext *dc, arg_ab *a) 997 { 998 tcg_gen_setcond_tl(TCG_COND_GE, cpu_sr_f, 999 cpu_R(dc, a->a), cpu_R(dc, a->b)); 1000 return true; 1001 } 1002 1003 static bool trans_l_sflts(DisasContext *dc, arg_ab *a) 1004 { 1005 tcg_gen_setcond_tl(TCG_COND_LT, cpu_sr_f, 1006 cpu_R(dc, a->a), cpu_R(dc, a->b)); 1007 return true; 1008 } 1009 1010 static bool trans_l_sfles(DisasContext *dc, arg_ab *a) 1011 { 1012 tcg_gen_setcond_tl(TCG_COND_LE, 1013 cpu_sr_f, cpu_R(dc, a->a), cpu_R(dc, a->b)); 1014 return true; 1015 } 1016 1017 static bool trans_l_sfeqi(DisasContext *dc, arg_ai *a) 1018 { 1019 tcg_gen_setcondi_tl(TCG_COND_EQ, cpu_sr_f, cpu_R(dc, a->a), a->i); 1020 return true; 1021 } 1022 1023 static bool trans_l_sfnei(DisasContext *dc, arg_ai *a) 1024 { 1025 tcg_gen_setcondi_tl(TCG_COND_NE, cpu_sr_f, cpu_R(dc, a->a), a->i); 1026 return true; 1027 } 1028 1029 static bool trans_l_sfgtui(DisasContext *dc, arg_ai *a) 1030 { 1031 tcg_gen_setcondi_tl(TCG_COND_GTU, cpu_sr_f, cpu_R(dc, a->a), a->i); 1032 return true; 1033 } 1034 1035 static bool trans_l_sfgeui(DisasContext *dc, arg_ai *a) 1036 { 1037 tcg_gen_setcondi_tl(TCG_COND_GEU, cpu_sr_f, cpu_R(dc, a->a), a->i); 1038 return true; 1039 } 1040 1041 static bool trans_l_sfltui(DisasContext *dc, arg_ai *a) 1042 { 1043 tcg_gen_setcondi_tl(TCG_COND_LTU, cpu_sr_f, cpu_R(dc, a->a), a->i); 1044 return true; 1045 } 1046 1047 static bool trans_l_sfleui(DisasContext *dc, arg_ai *a) 1048 { 1049 tcg_gen_setcondi_tl(TCG_COND_LEU, cpu_sr_f, cpu_R(dc, a->a), a->i); 1050 return true; 1051 } 1052 1053 static bool trans_l_sfgtsi(DisasContext *dc, arg_ai *a) 1054 { 1055 tcg_gen_setcondi_tl(TCG_COND_GT, cpu_sr_f, cpu_R(dc, a->a), a->i); 1056 return true; 1057 } 1058 1059 static bool trans_l_sfgesi(DisasContext *dc, arg_ai *a) 1060 { 1061 tcg_gen_setcondi_tl(TCG_COND_GE, cpu_sr_f, cpu_R(dc, a->a), a->i); 1062 return true; 1063 } 1064 1065 static bool trans_l_sfltsi(DisasContext *dc, arg_ai *a) 1066 { 1067 tcg_gen_setcondi_tl(TCG_COND_LT, cpu_sr_f, cpu_R(dc, a->a), a->i); 1068 return true; 1069 } 1070 1071 static bool trans_l_sflesi(DisasContext *dc, arg_ai *a) 1072 { 1073 tcg_gen_setcondi_tl(TCG_COND_LE, cpu_sr_f, cpu_R(dc, a->a), a->i); 1074 return true; 1075 } 1076 1077 static bool trans_l_sys(DisasContext *dc, arg_l_sys *a) 1078 { 1079 tcg_gen_movi_tl(cpu_pc, dc->base.pc_next); 1080 gen_exception(dc, EXCP_SYSCALL); 1081 dc->base.is_jmp = DISAS_NORETURN; 1082 return true; 1083 } 1084 1085 static bool trans_l_trap(DisasContext *dc, arg_l_trap *a) 1086 { 1087 tcg_gen_movi_tl(cpu_pc, dc->base.pc_next); 1088 gen_exception(dc, EXCP_TRAP); 1089 dc->base.is_jmp = DISAS_NORETURN; 1090 return true; 1091 } 1092 1093 static bool trans_l_msync(DisasContext *dc, arg_l_msync *a) 1094 { 1095 tcg_gen_mb(TCG_MO_ALL); 1096 return true; 1097 } 1098 1099 static bool trans_l_psync(DisasContext *dc, arg_l_psync *a) 1100 { 1101 return true; 1102 } 1103 1104 static bool trans_l_csync(DisasContext *dc, arg_l_csync *a) 1105 { 1106 return true; 1107 } 1108 1109 static bool trans_l_rfe(DisasContext *dc, arg_l_rfe *a) 1110 { 1111 if (is_user(dc)) { 1112 gen_illegal_exception(dc); 1113 } else { 1114 gen_helper_rfe(cpu_env); 1115 dc->base.is_jmp = DISAS_EXIT; 1116 } 1117 return true; 1118 } 1119 1120 static bool do_fp2(DisasContext *dc, arg_da *a, 1121 void (*fn)(TCGv, TCGv_env, TCGv)) 1122 { 1123 if (!check_of32s(dc)) { 1124 return false; 1125 } 1126 check_r0_write(dc, a->d); 1127 fn(cpu_R(dc, a->d), cpu_env, cpu_R(dc, a->a)); 1128 gen_helper_update_fpcsr(cpu_env); 1129 return true; 1130 } 1131 1132 static bool do_fp3(DisasContext *dc, arg_dab *a, 1133 void (*fn)(TCGv, TCGv_env, TCGv, TCGv)) 1134 { 1135 if (!check_of32s(dc)) { 1136 return false; 1137 } 1138 check_r0_write(dc, a->d); 1139 fn(cpu_R(dc, a->d), cpu_env, cpu_R(dc, a->a), cpu_R(dc, a->b)); 1140 gen_helper_update_fpcsr(cpu_env); 1141 return true; 1142 } 1143 1144 static bool do_fpcmp(DisasContext *dc, arg_ab *a, 1145 void (*fn)(TCGv, TCGv_env, TCGv, TCGv), 1146 bool inv, bool swap) 1147 { 1148 if (!check_of32s(dc)) { 1149 return false; 1150 } 1151 if (swap) { 1152 fn(cpu_sr_f, cpu_env, cpu_R(dc, a->b), cpu_R(dc, a->a)); 1153 } else { 1154 fn(cpu_sr_f, cpu_env, cpu_R(dc, a->a), cpu_R(dc, a->b)); 1155 } 1156 if (inv) { 1157 tcg_gen_xori_tl(cpu_sr_f, cpu_sr_f, 1); 1158 } 1159 gen_helper_update_fpcsr(cpu_env); 1160 return true; 1161 } 1162 1163 static bool trans_lf_add_s(DisasContext *dc, arg_dab *a) 1164 { 1165 return do_fp3(dc, a, gen_helper_float_add_s); 1166 } 1167 1168 static bool trans_lf_sub_s(DisasContext *dc, arg_dab *a) 1169 { 1170 return do_fp3(dc, a, gen_helper_float_sub_s); 1171 } 1172 1173 static bool trans_lf_mul_s(DisasContext *dc, arg_dab *a) 1174 { 1175 return do_fp3(dc, a, gen_helper_float_mul_s); 1176 } 1177 1178 static bool trans_lf_div_s(DisasContext *dc, arg_dab *a) 1179 { 1180 return do_fp3(dc, a, gen_helper_float_div_s); 1181 } 1182 1183 static bool trans_lf_rem_s(DisasContext *dc, arg_dab *a) 1184 { 1185 return do_fp3(dc, a, gen_helper_float_rem_s); 1186 return true; 1187 } 1188 1189 static bool trans_lf_itof_s(DisasContext *dc, arg_da *a) 1190 { 1191 return do_fp2(dc, a, gen_helper_itofs); 1192 } 1193 1194 static bool trans_lf_ftoi_s(DisasContext *dc, arg_da *a) 1195 { 1196 return do_fp2(dc, a, gen_helper_ftois); 1197 } 1198 1199 static bool trans_lf_madd_s(DisasContext *dc, arg_dab *a) 1200 { 1201 if (!check_of32s(dc)) { 1202 return false; 1203 } 1204 check_r0_write(dc, a->d); 1205 gen_helper_float_madd_s(cpu_R(dc, a->d), cpu_env, cpu_R(dc, a->d), 1206 cpu_R(dc, a->a), cpu_R(dc, a->b)); 1207 gen_helper_update_fpcsr(cpu_env); 1208 return true; 1209 } 1210 1211 static bool trans_lf_sfeq_s(DisasContext *dc, arg_ab *a) 1212 { 1213 return do_fpcmp(dc, a, gen_helper_float_eq_s, false, false); 1214 } 1215 1216 static bool trans_lf_sfne_s(DisasContext *dc, arg_ab *a) 1217 { 1218 return do_fpcmp(dc, a, gen_helper_float_eq_s, true, false); 1219 } 1220 1221 static bool trans_lf_sfgt_s(DisasContext *dc, arg_ab *a) 1222 { 1223 return do_fpcmp(dc, a, gen_helper_float_lt_s, false, true); 1224 } 1225 1226 static bool trans_lf_sfge_s(DisasContext *dc, arg_ab *a) 1227 { 1228 return do_fpcmp(dc, a, gen_helper_float_le_s, false, true); 1229 } 1230 1231 static bool trans_lf_sflt_s(DisasContext *dc, arg_ab *a) 1232 { 1233 return do_fpcmp(dc, a, gen_helper_float_lt_s, false, false); 1234 } 1235 1236 static bool trans_lf_sfle_s(DisasContext *dc, arg_ab *a) 1237 { 1238 return do_fpcmp(dc, a, gen_helper_float_le_s, false, false); 1239 } 1240 1241 static bool trans_lf_sfueq_s(DisasContext *dc, arg_ab *a) 1242 { 1243 if (!check_v1_3(dc)) { 1244 return false; 1245 } 1246 return do_fpcmp(dc, a, gen_helper_float_ueq_s, false, false); 1247 } 1248 1249 static bool trans_lf_sfult_s(DisasContext *dc, arg_ab *a) 1250 { 1251 if (!check_v1_3(dc)) { 1252 return false; 1253 } 1254 return do_fpcmp(dc, a, gen_helper_float_ult_s, false, false); 1255 } 1256 1257 static bool trans_lf_sfugt_s(DisasContext *dc, arg_ab *a) 1258 { 1259 if (!check_v1_3(dc)) { 1260 return false; 1261 } 1262 return do_fpcmp(dc, a, gen_helper_float_ult_s, false, true); 1263 } 1264 1265 static bool trans_lf_sfule_s(DisasContext *dc, arg_ab *a) 1266 { 1267 if (!check_v1_3(dc)) { 1268 return false; 1269 } 1270 return do_fpcmp(dc, a, gen_helper_float_ule_s, false, false); 1271 } 1272 1273 static bool trans_lf_sfuge_s(DisasContext *dc, arg_ab *a) 1274 { 1275 if (!check_v1_3(dc)) { 1276 return false; 1277 } 1278 return do_fpcmp(dc, a, gen_helper_float_ule_s, false, true); 1279 } 1280 1281 static bool trans_lf_sfun_s(DisasContext *dc, arg_ab *a) 1282 { 1283 if (!check_v1_3(dc)) { 1284 return false; 1285 } 1286 return do_fpcmp(dc, a, gen_helper_float_un_s, false, false); 1287 } 1288 1289 static bool check_pair(DisasContext *dc, int r, int p) 1290 { 1291 return r + 1 + p < 32; 1292 } 1293 1294 static void load_pair(DisasContext *dc, TCGv_i64 t, int r, int p) 1295 { 1296 tcg_gen_concat_i32_i64(t, cpu_R(dc, r + 1 + p), cpu_R(dc, r)); 1297 } 1298 1299 static void save_pair(DisasContext *dc, TCGv_i64 t, int r, int p) 1300 { 1301 tcg_gen_extr_i64_i32(cpu_R(dc, r + 1 + p), cpu_R(dc, r), t); 1302 } 1303 1304 static bool do_dp3(DisasContext *dc, arg_dab_pair *a, 1305 void (*fn)(TCGv_i64, TCGv_env, TCGv_i64, TCGv_i64)) 1306 { 1307 TCGv_i64 t0, t1; 1308 1309 if (!check_of64a32s(dc) || 1310 !check_pair(dc, a->a, a->ap) || 1311 !check_pair(dc, a->b, a->bp) || 1312 !check_pair(dc, a->d, a->dp)) { 1313 return false; 1314 } 1315 check_r0_write(dc, a->d); 1316 1317 t0 = tcg_temp_new_i64(); 1318 t1 = tcg_temp_new_i64(); 1319 load_pair(dc, t0, a->a, a->ap); 1320 load_pair(dc, t1, a->b, a->bp); 1321 fn(t0, cpu_env, t0, t1); 1322 save_pair(dc, t0, a->d, a->dp); 1323 1324 gen_helper_update_fpcsr(cpu_env); 1325 return true; 1326 } 1327 1328 static bool do_dp2(DisasContext *dc, arg_da_pair *a, 1329 void (*fn)(TCGv_i64, TCGv_env, TCGv_i64)) 1330 { 1331 TCGv_i64 t0; 1332 1333 if (!check_of64a32s(dc) || 1334 !check_pair(dc, a->a, a->ap) || 1335 !check_pair(dc, a->d, a->dp)) { 1336 return false; 1337 } 1338 check_r0_write(dc, a->d); 1339 1340 t0 = tcg_temp_new_i64(); 1341 load_pair(dc, t0, a->a, a->ap); 1342 fn(t0, cpu_env, t0); 1343 save_pair(dc, t0, a->d, a->dp); 1344 1345 gen_helper_update_fpcsr(cpu_env); 1346 return true; 1347 } 1348 1349 static bool do_dpcmp(DisasContext *dc, arg_ab_pair *a, 1350 void (*fn)(TCGv, TCGv_env, TCGv_i64, TCGv_i64), 1351 bool inv, bool swap) 1352 { 1353 TCGv_i64 t0, t1; 1354 1355 if (!check_of64a32s(dc) || 1356 !check_pair(dc, a->a, a->ap) || 1357 !check_pair(dc, a->b, a->bp)) { 1358 return false; 1359 } 1360 1361 t0 = tcg_temp_new_i64(); 1362 t1 = tcg_temp_new_i64(); 1363 load_pair(dc, t0, a->a, a->ap); 1364 load_pair(dc, t1, a->b, a->bp); 1365 if (swap) { 1366 fn(cpu_sr_f, cpu_env, t1, t0); 1367 } else { 1368 fn(cpu_sr_f, cpu_env, t0, t1); 1369 } 1370 1371 if (inv) { 1372 tcg_gen_xori_tl(cpu_sr_f, cpu_sr_f, 1); 1373 } 1374 gen_helper_update_fpcsr(cpu_env); 1375 return true; 1376 } 1377 1378 static bool trans_lf_add_d(DisasContext *dc, arg_dab_pair *a) 1379 { 1380 return do_dp3(dc, a, gen_helper_float_add_d); 1381 } 1382 1383 static bool trans_lf_sub_d(DisasContext *dc, arg_dab_pair *a) 1384 { 1385 return do_dp3(dc, a, gen_helper_float_sub_d); 1386 } 1387 1388 static bool trans_lf_mul_d(DisasContext *dc, arg_dab_pair *a) 1389 { 1390 return do_dp3(dc, a, gen_helper_float_mul_d); 1391 } 1392 1393 static bool trans_lf_div_d(DisasContext *dc, arg_dab_pair *a) 1394 { 1395 return do_dp3(dc, a, gen_helper_float_div_d); 1396 } 1397 1398 static bool trans_lf_rem_d(DisasContext *dc, arg_dab_pair *a) 1399 { 1400 return do_dp3(dc, a, gen_helper_float_rem_d); 1401 } 1402 1403 static bool trans_lf_itof_d(DisasContext *dc, arg_da_pair *a) 1404 { 1405 return do_dp2(dc, a, gen_helper_itofd); 1406 } 1407 1408 static bool trans_lf_ftoi_d(DisasContext *dc, arg_da_pair *a) 1409 { 1410 return do_dp2(dc, a, gen_helper_ftoid); 1411 } 1412 1413 static bool trans_lf_stod_d(DisasContext *dc, arg_lf_stod_d *a) 1414 { 1415 TCGv_i64 t0; 1416 1417 if (!check_of64a32s(dc) || 1418 !check_pair(dc, a->d, a->dp)) { 1419 return false; 1420 } 1421 check_r0_write(dc, a->d); 1422 1423 t0 = tcg_temp_new_i64(); 1424 gen_helper_stod(t0, cpu_env, cpu_R(dc, a->a)); 1425 save_pair(dc, t0, a->d, a->dp); 1426 1427 gen_helper_update_fpcsr(cpu_env); 1428 return true; 1429 } 1430 1431 static bool trans_lf_dtos_d(DisasContext *dc, arg_lf_dtos_d *a) 1432 { 1433 TCGv_i64 t0; 1434 1435 if (!check_of64a32s(dc) || 1436 !check_pair(dc, a->a, a->ap)) { 1437 return false; 1438 } 1439 check_r0_write(dc, a->d); 1440 1441 t0 = tcg_temp_new_i64(); 1442 load_pair(dc, t0, a->a, a->ap); 1443 gen_helper_dtos(cpu_R(dc, a->d), cpu_env, t0); 1444 1445 gen_helper_update_fpcsr(cpu_env); 1446 return true; 1447 } 1448 1449 static bool trans_lf_madd_d(DisasContext *dc, arg_dab_pair *a) 1450 { 1451 TCGv_i64 t0, t1, t2; 1452 1453 if (!check_of64a32s(dc) || 1454 !check_pair(dc, a->a, a->ap) || 1455 !check_pair(dc, a->b, a->bp) || 1456 !check_pair(dc, a->d, a->dp)) { 1457 return false; 1458 } 1459 check_r0_write(dc, a->d); 1460 1461 t0 = tcg_temp_new_i64(); 1462 t1 = tcg_temp_new_i64(); 1463 t2 = tcg_temp_new_i64(); 1464 load_pair(dc, t0, a->d, a->dp); 1465 load_pair(dc, t1, a->a, a->ap); 1466 load_pair(dc, t2, a->b, a->bp); 1467 gen_helper_float_madd_d(t0, cpu_env, t0, t1, t2); 1468 save_pair(dc, t0, a->d, a->dp); 1469 1470 gen_helper_update_fpcsr(cpu_env); 1471 return true; 1472 } 1473 1474 static bool trans_lf_sfeq_d(DisasContext *dc, arg_ab_pair *a) 1475 { 1476 return do_dpcmp(dc, a, gen_helper_float_eq_d, false, false); 1477 } 1478 1479 static bool trans_lf_sfne_d(DisasContext *dc, arg_ab_pair *a) 1480 { 1481 return do_dpcmp(dc, a, gen_helper_float_eq_d, true, false); 1482 } 1483 1484 static bool trans_lf_sfgt_d(DisasContext *dc, arg_ab_pair *a) 1485 { 1486 return do_dpcmp(dc, a, gen_helper_float_lt_d, false, true); 1487 } 1488 1489 static bool trans_lf_sfge_d(DisasContext *dc, arg_ab_pair *a) 1490 { 1491 return do_dpcmp(dc, a, gen_helper_float_le_d, false, true); 1492 } 1493 1494 static bool trans_lf_sflt_d(DisasContext *dc, arg_ab_pair *a) 1495 { 1496 return do_dpcmp(dc, a, gen_helper_float_lt_d, false, false); 1497 } 1498 1499 static bool trans_lf_sfle_d(DisasContext *dc, arg_ab_pair *a) 1500 { 1501 return do_dpcmp(dc, a, gen_helper_float_le_d, false, false); 1502 } 1503 1504 static bool trans_lf_sfueq_d(DisasContext *dc, arg_ab_pair *a) 1505 { 1506 return do_dpcmp(dc, a, gen_helper_float_ueq_d, false, false); 1507 } 1508 1509 static bool trans_lf_sfule_d(DisasContext *dc, arg_ab_pair *a) 1510 { 1511 return do_dpcmp(dc, a, gen_helper_float_ule_d, false, false); 1512 } 1513 1514 static bool trans_lf_sfuge_d(DisasContext *dc, arg_ab_pair *a) 1515 { 1516 return do_dpcmp(dc, a, gen_helper_float_ule_d, false, true); 1517 } 1518 1519 static bool trans_lf_sfult_d(DisasContext *dc, arg_ab_pair *a) 1520 { 1521 return do_dpcmp(dc, a, gen_helper_float_ult_d, false, false); 1522 } 1523 1524 static bool trans_lf_sfugt_d(DisasContext *dc, arg_ab_pair *a) 1525 { 1526 return do_dpcmp(dc, a, gen_helper_float_ult_d, false, true); 1527 } 1528 1529 static bool trans_lf_sfun_d(DisasContext *dc, arg_ab_pair *a) 1530 { 1531 return do_dpcmp(dc, a, gen_helper_float_un_d, false, false); 1532 } 1533 1534 static void openrisc_tr_init_disas_context(DisasContextBase *dcb, CPUState *cs) 1535 { 1536 DisasContext *dc = container_of(dcb, DisasContext, base); 1537 CPUOpenRISCState *env = cs->env_ptr; 1538 int bound; 1539 1540 dc->mem_idx = cpu_mmu_index(env, false); 1541 dc->tb_flags = dc->base.tb->flags; 1542 dc->delayed_branch = (dc->tb_flags & TB_FLAGS_DFLAG) != 0; 1543 dc->cpucfgr = env->cpucfgr; 1544 dc->avr = env->avr; 1545 dc->jmp_pc_imm = -1; 1546 1547 bound = -(dc->base.pc_first | TARGET_PAGE_MASK) / 4; 1548 dc->base.max_insns = MIN(dc->base.max_insns, bound); 1549 } 1550 1551 static void openrisc_tr_tb_start(DisasContextBase *db, CPUState *cs) 1552 { 1553 DisasContext *dc = container_of(db, DisasContext, base); 1554 1555 /* Allow the TCG optimizer to see that R0 == 0, 1556 when it's true, which is the common case. */ 1557 dc->zero = tcg_constant_tl(0); 1558 if (dc->tb_flags & TB_FLAGS_R0_0) { 1559 dc->R0 = dc->zero; 1560 } else { 1561 dc->R0 = cpu_regs[0]; 1562 } 1563 } 1564 1565 static void openrisc_tr_insn_start(DisasContextBase *dcbase, CPUState *cs) 1566 { 1567 DisasContext *dc = container_of(dcbase, DisasContext, base); 1568 1569 tcg_gen_insn_start(dc->base.pc_next, (dc->delayed_branch ? 1 : 0) 1570 | (dc->base.num_insns > 1 ? 2 : 0)); 1571 } 1572 1573 static void openrisc_tr_translate_insn(DisasContextBase *dcbase, CPUState *cs) 1574 { 1575 DisasContext *dc = container_of(dcbase, DisasContext, base); 1576 OpenRISCCPU *cpu = OPENRISC_CPU(cs); 1577 uint32_t insn = translator_ldl(&cpu->env, &dc->base, dc->base.pc_next); 1578 1579 if (!decode(dc, insn)) { 1580 gen_illegal_exception(dc); 1581 } 1582 dc->base.pc_next += 4; 1583 1584 /* When exiting the delay slot normally, exit via jmp_pc. 1585 * For DISAS_NORETURN, we have raised an exception and already exited. 1586 * For DISAS_EXIT, we found l.rfe in a delay slot. There's nothing 1587 * in the manual saying this is illegal, but it surely it should. 1588 * At least or1ksim overrides pcnext and ignores the branch. 1589 */ 1590 if (dc->delayed_branch 1591 && --dc->delayed_branch == 0 1592 && dc->base.is_jmp == DISAS_NEXT) { 1593 dc->base.is_jmp = DISAS_JUMP; 1594 } 1595 } 1596 1597 static void openrisc_tr_tb_stop(DisasContextBase *dcbase, CPUState *cs) 1598 { 1599 DisasContext *dc = container_of(dcbase, DisasContext, base); 1600 target_ulong jmp_dest; 1601 1602 /* If we have already exited the TB, nothing following has effect. */ 1603 if (dc->base.is_jmp == DISAS_NORETURN) { 1604 return; 1605 } 1606 1607 /* Adjust the delayed branch state for the next TB. */ 1608 if ((dc->tb_flags & TB_FLAGS_DFLAG ? 1 : 0) != (dc->delayed_branch != 0)) { 1609 tcg_gen_movi_i32(cpu_dflag, dc->delayed_branch != 0); 1610 } 1611 1612 /* For DISAS_TOO_MANY, jump to the next insn. */ 1613 jmp_dest = dc->base.pc_next; 1614 tcg_gen_movi_tl(cpu_ppc, jmp_dest - 4); 1615 1616 switch (dc->base.is_jmp) { 1617 case DISAS_JUMP: 1618 jmp_dest = dc->jmp_pc_imm; 1619 if (jmp_dest == -1) { 1620 /* The jump destination is indirect/computed; use jmp_pc. */ 1621 tcg_gen_mov_tl(cpu_pc, jmp_pc); 1622 tcg_gen_discard_tl(jmp_pc); 1623 tcg_gen_lookup_and_goto_ptr(); 1624 break; 1625 } 1626 /* The jump destination is direct; use jmp_pc_imm. 1627 However, we will have stored into jmp_pc as well; 1628 we know now that it wasn't needed. */ 1629 tcg_gen_discard_tl(jmp_pc); 1630 /* fallthru */ 1631 1632 case DISAS_TOO_MANY: 1633 if (translator_use_goto_tb(&dc->base, jmp_dest)) { 1634 tcg_gen_goto_tb(0); 1635 tcg_gen_movi_tl(cpu_pc, jmp_dest); 1636 tcg_gen_exit_tb(dc->base.tb, 0); 1637 break; 1638 } 1639 tcg_gen_movi_tl(cpu_pc, jmp_dest); 1640 tcg_gen_lookup_and_goto_ptr(); 1641 break; 1642 1643 case DISAS_EXIT: 1644 tcg_gen_exit_tb(NULL, 0); 1645 break; 1646 default: 1647 g_assert_not_reached(); 1648 } 1649 } 1650 1651 static void openrisc_tr_disas_log(const DisasContextBase *dcbase, 1652 CPUState *cs, FILE *logfile) 1653 { 1654 DisasContext *s = container_of(dcbase, DisasContext, base); 1655 1656 fprintf(logfile, "IN: %s\n", lookup_symbol(s->base.pc_first)); 1657 target_disas(logfile, cs, s->base.pc_first, s->base.tb->size); 1658 } 1659 1660 static const TranslatorOps openrisc_tr_ops = { 1661 .init_disas_context = openrisc_tr_init_disas_context, 1662 .tb_start = openrisc_tr_tb_start, 1663 .insn_start = openrisc_tr_insn_start, 1664 .translate_insn = openrisc_tr_translate_insn, 1665 .tb_stop = openrisc_tr_tb_stop, 1666 .disas_log = openrisc_tr_disas_log, 1667 }; 1668 1669 void gen_intermediate_code(CPUState *cs, TranslationBlock *tb, int *max_insns, 1670 target_ulong pc, void *host_pc) 1671 { 1672 DisasContext ctx; 1673 1674 translator_loop(cs, tb, max_insns, pc, host_pc, 1675 &openrisc_tr_ops, &ctx.base); 1676 } 1677 1678 void openrisc_cpu_dump_state(CPUState *cs, FILE *f, int flags) 1679 { 1680 OpenRISCCPU *cpu = OPENRISC_CPU(cs); 1681 CPUOpenRISCState *env = &cpu->env; 1682 int i; 1683 1684 qemu_fprintf(f, "PC=%08x\n", env->pc); 1685 for (i = 0; i < 32; ++i) { 1686 qemu_fprintf(f, "R%02d=%08x%c", i, cpu_get_gpr(env, i), 1687 (i % 4) == 3 ? '\n' : ' '); 1688 } 1689 } 1690