1 /* 2 * Tiny Code Interpreter for QEMU 3 * 4 * Copyright (c) 2009, 2011, 2016 Stefan Weil 5 * 6 * This program is free software: you can redistribute it and/or modify 7 * it under the terms of the GNU General Public License as published by 8 * the Free Software Foundation, either version 2 of the License, or 9 * (at your option) any later version. 10 * 11 * This program is distributed in the hope that it will be useful, 12 * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 * GNU General Public License for more details. 15 * 16 * You should have received a copy of the GNU General Public License 17 * along with this program. If not, see <http://www.gnu.org/licenses/>. 18 */ 19 20 #include "qemu/osdep.h" 21 #include "tcg/tcg.h" 22 #include "tcg/helper-info.h" 23 #include "tcg/tcg-ldst.h" 24 #include "disas/dis-asm.h" 25 #include "tcg-has.h" 26 #include <ffi.h> 27 28 29 /* 30 * Enable TCI assertions only when debugging TCG (and without NDEBUG defined). 31 * Without assertions, the interpreter runs much faster. 32 */ 33 #if defined(CONFIG_DEBUG_TCG) 34 # define tci_assert(cond) assert(cond) 35 #else 36 # define tci_assert(cond) ((void)(cond)) 37 #endif 38 39 __thread uintptr_t tci_tb_ptr; 40 41 static void tci_write_reg64(tcg_target_ulong *regs, uint32_t high_index, 42 uint32_t low_index, uint64_t value) 43 { 44 regs[low_index] = (uint32_t)value; 45 regs[high_index] = value >> 32; 46 } 47 48 /* Create a 64 bit value from two 32 bit values. */ 49 static uint64_t tci_uint64(uint32_t high, uint32_t low) 50 { 51 return ((uint64_t)high << 32) + low; 52 } 53 54 /* 55 * Load sets of arguments all at once. The naming convention is: 56 * tci_args_<arguments> 57 * where arguments is a sequence of 58 * 59 * b = immediate (bit position) 60 * c = condition (TCGCond) 61 * i = immediate (uint32_t) 62 * I = immediate (tcg_target_ulong) 63 * l = label or pointer 64 * m = immediate (MemOpIdx) 65 * n = immediate (call return length) 66 * r = register 67 * s = signed ldst offset 68 */ 69 70 static void tci_args_l(uint32_t insn, const void *tb_ptr, void **l0) 71 { 72 int diff = sextract32(insn, 12, 20); 73 *l0 = diff ? (void *)tb_ptr + diff : NULL; 74 } 75 76 static void tci_args_r(uint32_t insn, TCGReg *r0) 77 { 78 *r0 = extract32(insn, 8, 4); 79 } 80 81 static void tci_args_nl(uint32_t insn, const void *tb_ptr, 82 uint8_t *n0, void **l1) 83 { 84 *n0 = extract32(insn, 8, 4); 85 *l1 = sextract32(insn, 12, 20) + (void *)tb_ptr; 86 } 87 88 static void tci_args_rl(uint32_t insn, const void *tb_ptr, 89 TCGReg *r0, void **l1) 90 { 91 *r0 = extract32(insn, 8, 4); 92 *l1 = sextract32(insn, 12, 20) + (void *)tb_ptr; 93 } 94 95 static void tci_args_rr(uint32_t insn, TCGReg *r0, TCGReg *r1) 96 { 97 *r0 = extract32(insn, 8, 4); 98 *r1 = extract32(insn, 12, 4); 99 } 100 101 static void tci_args_ri(uint32_t insn, TCGReg *r0, tcg_target_ulong *i1) 102 { 103 *r0 = extract32(insn, 8, 4); 104 *i1 = sextract32(insn, 12, 20); 105 } 106 107 static void tci_args_rrm(uint32_t insn, TCGReg *r0, 108 TCGReg *r1, MemOpIdx *m2) 109 { 110 *r0 = extract32(insn, 8, 4); 111 *r1 = extract32(insn, 12, 4); 112 *m2 = extract32(insn, 16, 16); 113 } 114 115 static void tci_args_rrr(uint32_t insn, TCGReg *r0, TCGReg *r1, TCGReg *r2) 116 { 117 *r0 = extract32(insn, 8, 4); 118 *r1 = extract32(insn, 12, 4); 119 *r2 = extract32(insn, 16, 4); 120 } 121 122 static void tci_args_rrs(uint32_t insn, TCGReg *r0, TCGReg *r1, int32_t *i2) 123 { 124 *r0 = extract32(insn, 8, 4); 125 *r1 = extract32(insn, 12, 4); 126 *i2 = sextract32(insn, 16, 16); 127 } 128 129 static void tci_args_rrbb(uint32_t insn, TCGReg *r0, TCGReg *r1, 130 uint8_t *i2, uint8_t *i3) 131 { 132 *r0 = extract32(insn, 8, 4); 133 *r1 = extract32(insn, 12, 4); 134 *i2 = extract32(insn, 16, 6); 135 *i3 = extract32(insn, 22, 6); 136 } 137 138 static void tci_args_rrrc(uint32_t insn, 139 TCGReg *r0, TCGReg *r1, TCGReg *r2, TCGCond *c3) 140 { 141 *r0 = extract32(insn, 8, 4); 142 *r1 = extract32(insn, 12, 4); 143 *r2 = extract32(insn, 16, 4); 144 *c3 = extract32(insn, 20, 4); 145 } 146 147 static void tci_args_rrrbb(uint32_t insn, TCGReg *r0, TCGReg *r1, 148 TCGReg *r2, uint8_t *i3, uint8_t *i4) 149 { 150 *r0 = extract32(insn, 8, 4); 151 *r1 = extract32(insn, 12, 4); 152 *r2 = extract32(insn, 16, 4); 153 *i3 = extract32(insn, 20, 6); 154 *i4 = extract32(insn, 26, 6); 155 } 156 157 static void tci_args_rrrr(uint32_t insn, 158 TCGReg *r0, TCGReg *r1, TCGReg *r2, TCGReg *r3) 159 { 160 *r0 = extract32(insn, 8, 4); 161 *r1 = extract32(insn, 12, 4); 162 *r2 = extract32(insn, 16, 4); 163 *r3 = extract32(insn, 20, 4); 164 } 165 166 static void tci_args_rrrrrc(uint32_t insn, TCGReg *r0, TCGReg *r1, 167 TCGReg *r2, TCGReg *r3, TCGReg *r4, TCGCond *c5) 168 { 169 *r0 = extract32(insn, 8, 4); 170 *r1 = extract32(insn, 12, 4); 171 *r2 = extract32(insn, 16, 4); 172 *r3 = extract32(insn, 20, 4); 173 *r4 = extract32(insn, 24, 4); 174 *c5 = extract32(insn, 28, 4); 175 } 176 177 static void tci_args_rrrrrr(uint32_t insn, TCGReg *r0, TCGReg *r1, 178 TCGReg *r2, TCGReg *r3, TCGReg *r4, TCGReg *r5) 179 { 180 *r0 = extract32(insn, 8, 4); 181 *r1 = extract32(insn, 12, 4); 182 *r2 = extract32(insn, 16, 4); 183 *r3 = extract32(insn, 20, 4); 184 *r4 = extract32(insn, 24, 4); 185 *r5 = extract32(insn, 28, 4); 186 } 187 188 static bool tci_compare32(uint32_t u0, uint32_t u1, TCGCond condition) 189 { 190 bool result = false; 191 int32_t i0 = u0; 192 int32_t i1 = u1; 193 switch (condition) { 194 case TCG_COND_EQ: 195 result = (u0 == u1); 196 break; 197 case TCG_COND_NE: 198 result = (u0 != u1); 199 break; 200 case TCG_COND_LT: 201 result = (i0 < i1); 202 break; 203 case TCG_COND_GE: 204 result = (i0 >= i1); 205 break; 206 case TCG_COND_LE: 207 result = (i0 <= i1); 208 break; 209 case TCG_COND_GT: 210 result = (i0 > i1); 211 break; 212 case TCG_COND_LTU: 213 result = (u0 < u1); 214 break; 215 case TCG_COND_GEU: 216 result = (u0 >= u1); 217 break; 218 case TCG_COND_LEU: 219 result = (u0 <= u1); 220 break; 221 case TCG_COND_GTU: 222 result = (u0 > u1); 223 break; 224 case TCG_COND_TSTEQ: 225 result = (u0 & u1) == 0; 226 break; 227 case TCG_COND_TSTNE: 228 result = (u0 & u1) != 0; 229 break; 230 default: 231 g_assert_not_reached(); 232 } 233 return result; 234 } 235 236 static bool tci_compare64(uint64_t u0, uint64_t u1, TCGCond condition) 237 { 238 bool result = false; 239 int64_t i0 = u0; 240 int64_t i1 = u1; 241 switch (condition) { 242 case TCG_COND_EQ: 243 result = (u0 == u1); 244 break; 245 case TCG_COND_NE: 246 result = (u0 != u1); 247 break; 248 case TCG_COND_LT: 249 result = (i0 < i1); 250 break; 251 case TCG_COND_GE: 252 result = (i0 >= i1); 253 break; 254 case TCG_COND_LE: 255 result = (i0 <= i1); 256 break; 257 case TCG_COND_GT: 258 result = (i0 > i1); 259 break; 260 case TCG_COND_LTU: 261 result = (u0 < u1); 262 break; 263 case TCG_COND_GEU: 264 result = (u0 >= u1); 265 break; 266 case TCG_COND_LEU: 267 result = (u0 <= u1); 268 break; 269 case TCG_COND_GTU: 270 result = (u0 > u1); 271 break; 272 case TCG_COND_TSTEQ: 273 result = (u0 & u1) == 0; 274 break; 275 case TCG_COND_TSTNE: 276 result = (u0 & u1) != 0; 277 break; 278 default: 279 g_assert_not_reached(); 280 } 281 return result; 282 } 283 284 static uint64_t tci_qemu_ld(CPUArchState *env, uint64_t taddr, 285 MemOpIdx oi, const void *tb_ptr) 286 { 287 MemOp mop = get_memop(oi); 288 uintptr_t ra = (uintptr_t)tb_ptr; 289 290 switch (mop & MO_SSIZE) { 291 case MO_UB: 292 return helper_ldub_mmu(env, taddr, oi, ra); 293 case MO_SB: 294 return helper_ldsb_mmu(env, taddr, oi, ra); 295 case MO_UW: 296 return helper_lduw_mmu(env, taddr, oi, ra); 297 case MO_SW: 298 return helper_ldsw_mmu(env, taddr, oi, ra); 299 case MO_UL: 300 return helper_ldul_mmu(env, taddr, oi, ra); 301 case MO_SL: 302 return helper_ldsl_mmu(env, taddr, oi, ra); 303 case MO_UQ: 304 return helper_ldq_mmu(env, taddr, oi, ra); 305 default: 306 g_assert_not_reached(); 307 } 308 } 309 310 static void tci_qemu_st(CPUArchState *env, uint64_t taddr, uint64_t val, 311 MemOpIdx oi, const void *tb_ptr) 312 { 313 MemOp mop = get_memop(oi); 314 uintptr_t ra = (uintptr_t)tb_ptr; 315 316 switch (mop & MO_SIZE) { 317 case MO_UB: 318 helper_stb_mmu(env, taddr, val, oi, ra); 319 break; 320 case MO_UW: 321 helper_stw_mmu(env, taddr, val, oi, ra); 322 break; 323 case MO_UL: 324 helper_stl_mmu(env, taddr, val, oi, ra); 325 break; 326 case MO_UQ: 327 helper_stq_mmu(env, taddr, val, oi, ra); 328 break; 329 default: 330 g_assert_not_reached(); 331 } 332 } 333 334 #if TCG_TARGET_REG_BITS == 64 335 # define CASE_32_64(x) \ 336 case glue(glue(INDEX_op_, x), _i64): \ 337 case glue(glue(INDEX_op_, x), _i32): 338 # define CASE_64(x) \ 339 case glue(glue(INDEX_op_, x), _i64): 340 #else 341 # define CASE_32_64(x) \ 342 case glue(glue(INDEX_op_, x), _i32): 343 # define CASE_64(x) 344 #endif 345 346 /* Interpret pseudo code in tb. */ 347 /* 348 * Disable CFI checks. 349 * One possible operation in the pseudo code is a call to binary code. 350 * Therefore, disable CFI checks in the interpreter function 351 */ 352 uintptr_t QEMU_DISABLE_CFI tcg_qemu_tb_exec(CPUArchState *env, 353 const void *v_tb_ptr) 354 { 355 const uint32_t *tb_ptr = v_tb_ptr; 356 tcg_target_ulong regs[TCG_TARGET_NB_REGS]; 357 uint64_t stack[(TCG_STATIC_CALL_ARGS_SIZE + TCG_STATIC_FRAME_SIZE) 358 / sizeof(uint64_t)]; 359 360 regs[TCG_AREG0] = (tcg_target_ulong)env; 361 regs[TCG_REG_CALL_STACK] = (uintptr_t)stack; 362 tci_assert(tb_ptr); 363 364 for (;;) { 365 uint32_t insn; 366 TCGOpcode opc; 367 TCGReg r0, r1, r2, r3, r4, r5; 368 tcg_target_ulong t1; 369 TCGCond condition; 370 uint8_t pos, len; 371 uint32_t tmp32; 372 uint64_t tmp64, taddr; 373 uint64_t T1, T2; 374 MemOpIdx oi; 375 int32_t ofs; 376 void *ptr; 377 378 insn = *tb_ptr++; 379 opc = extract32(insn, 0, 8); 380 381 switch (opc) { 382 case INDEX_op_call: 383 { 384 void *call_slots[MAX_CALL_IARGS]; 385 ffi_cif *cif; 386 void *func; 387 unsigned i, s, n; 388 389 tci_args_nl(insn, tb_ptr, &len, &ptr); 390 func = ((void **)ptr)[0]; 391 cif = ((void **)ptr)[1]; 392 393 n = cif->nargs; 394 for (i = s = 0; i < n; ++i) { 395 ffi_type *t = cif->arg_types[i]; 396 call_slots[i] = &stack[s]; 397 s += DIV_ROUND_UP(t->size, 8); 398 } 399 400 /* Helper functions may need to access the "return address" */ 401 tci_tb_ptr = (uintptr_t)tb_ptr; 402 ffi_call(cif, func, stack, call_slots); 403 } 404 405 switch (len) { 406 case 0: /* void */ 407 break; 408 case 1: /* uint32_t */ 409 /* 410 * The result winds up "left-aligned" in the stack[0] slot. 411 * Note that libffi has an odd special case in that it will 412 * always widen an integral result to ffi_arg. 413 */ 414 if (sizeof(ffi_arg) == 8) { 415 regs[TCG_REG_R0] = (uint32_t)stack[0]; 416 } else { 417 regs[TCG_REG_R0] = *(uint32_t *)stack; 418 } 419 break; 420 case 2: /* uint64_t */ 421 /* 422 * For TCG_TARGET_REG_BITS == 32, the register pair 423 * must stay in host memory order. 424 */ 425 memcpy(®s[TCG_REG_R0], stack, 8); 426 break; 427 case 3: /* Int128 */ 428 memcpy(®s[TCG_REG_R0], stack, 16); 429 break; 430 default: 431 g_assert_not_reached(); 432 } 433 break; 434 435 case INDEX_op_br: 436 tci_args_l(insn, tb_ptr, &ptr); 437 tb_ptr = ptr; 438 continue; 439 case INDEX_op_setcond_i32: 440 tci_args_rrrc(insn, &r0, &r1, &r2, &condition); 441 regs[r0] = tci_compare32(regs[r1], regs[r2], condition); 442 break; 443 case INDEX_op_movcond_i32: 444 tci_args_rrrrrc(insn, &r0, &r1, &r2, &r3, &r4, &condition); 445 tmp32 = tci_compare32(regs[r1], regs[r2], condition); 446 regs[r0] = regs[tmp32 ? r3 : r4]; 447 break; 448 #if TCG_TARGET_REG_BITS == 32 449 case INDEX_op_setcond2_i32: 450 tci_args_rrrrrc(insn, &r0, &r1, &r2, &r3, &r4, &condition); 451 T1 = tci_uint64(regs[r2], regs[r1]); 452 T2 = tci_uint64(regs[r4], regs[r3]); 453 regs[r0] = tci_compare64(T1, T2, condition); 454 break; 455 #elif TCG_TARGET_REG_BITS == 64 456 case INDEX_op_setcond_i64: 457 tci_args_rrrc(insn, &r0, &r1, &r2, &condition); 458 regs[r0] = tci_compare64(regs[r1], regs[r2], condition); 459 break; 460 case INDEX_op_movcond_i64: 461 tci_args_rrrrrc(insn, &r0, &r1, &r2, &r3, &r4, &condition); 462 tmp32 = tci_compare64(regs[r1], regs[r2], condition); 463 regs[r0] = regs[tmp32 ? r3 : r4]; 464 break; 465 #endif 466 case INDEX_op_mov: 467 tci_args_rr(insn, &r0, &r1); 468 regs[r0] = regs[r1]; 469 break; 470 case INDEX_op_tci_movi: 471 tci_args_ri(insn, &r0, &t1); 472 regs[r0] = t1; 473 break; 474 case INDEX_op_tci_movl: 475 tci_args_rl(insn, tb_ptr, &r0, &ptr); 476 regs[r0] = *(tcg_target_ulong *)ptr; 477 break; 478 479 /* Load/store operations (32 bit). */ 480 481 CASE_32_64(ld8u) 482 tci_args_rrs(insn, &r0, &r1, &ofs); 483 ptr = (void *)(regs[r1] + ofs); 484 regs[r0] = *(uint8_t *)ptr; 485 break; 486 CASE_32_64(ld8s) 487 tci_args_rrs(insn, &r0, &r1, &ofs); 488 ptr = (void *)(regs[r1] + ofs); 489 regs[r0] = *(int8_t *)ptr; 490 break; 491 CASE_32_64(ld16u) 492 tci_args_rrs(insn, &r0, &r1, &ofs); 493 ptr = (void *)(regs[r1] + ofs); 494 regs[r0] = *(uint16_t *)ptr; 495 break; 496 CASE_32_64(ld16s) 497 tci_args_rrs(insn, &r0, &r1, &ofs); 498 ptr = (void *)(regs[r1] + ofs); 499 regs[r0] = *(int16_t *)ptr; 500 break; 501 case INDEX_op_ld_i32: 502 CASE_64(ld32u) 503 tci_args_rrs(insn, &r0, &r1, &ofs); 504 ptr = (void *)(regs[r1] + ofs); 505 regs[r0] = *(uint32_t *)ptr; 506 break; 507 CASE_32_64(st8) 508 tci_args_rrs(insn, &r0, &r1, &ofs); 509 ptr = (void *)(regs[r1] + ofs); 510 *(uint8_t *)ptr = regs[r0]; 511 break; 512 CASE_32_64(st16) 513 tci_args_rrs(insn, &r0, &r1, &ofs); 514 ptr = (void *)(regs[r1] + ofs); 515 *(uint16_t *)ptr = regs[r0]; 516 break; 517 case INDEX_op_st_i32: 518 CASE_64(st32) 519 tci_args_rrs(insn, &r0, &r1, &ofs); 520 ptr = (void *)(regs[r1] + ofs); 521 *(uint32_t *)ptr = regs[r0]; 522 break; 523 524 /* Arithmetic operations (mixed 32/64 bit). */ 525 526 case INDEX_op_add: 527 tci_args_rrr(insn, &r0, &r1, &r2); 528 regs[r0] = regs[r1] + regs[r2]; 529 break; 530 CASE_32_64(sub) 531 tci_args_rrr(insn, &r0, &r1, &r2); 532 regs[r0] = regs[r1] - regs[r2]; 533 break; 534 CASE_32_64(mul) 535 tci_args_rrr(insn, &r0, &r1, &r2); 536 regs[r0] = regs[r1] * regs[r2]; 537 break; 538 case INDEX_op_and: 539 tci_args_rrr(insn, &r0, &r1, &r2); 540 regs[r0] = regs[r1] & regs[r2]; 541 break; 542 case INDEX_op_or: 543 tci_args_rrr(insn, &r0, &r1, &r2); 544 regs[r0] = regs[r1] | regs[r2]; 545 break; 546 case INDEX_op_xor: 547 tci_args_rrr(insn, &r0, &r1, &r2); 548 regs[r0] = regs[r1] ^ regs[r2]; 549 break; 550 case INDEX_op_andc: 551 tci_args_rrr(insn, &r0, &r1, &r2); 552 regs[r0] = regs[r1] & ~regs[r2]; 553 break; 554 case INDEX_op_orc: 555 tci_args_rrr(insn, &r0, &r1, &r2); 556 regs[r0] = regs[r1] | ~regs[r2]; 557 break; 558 #if TCG_TARGET_HAS_eqv_i32 || TCG_TARGET_HAS_eqv_i64 559 CASE_32_64(eqv) 560 tci_args_rrr(insn, &r0, &r1, &r2); 561 regs[r0] = ~(regs[r1] ^ regs[r2]); 562 break; 563 #endif 564 #if TCG_TARGET_HAS_nand_i32 || TCG_TARGET_HAS_nand_i64 565 CASE_32_64(nand) 566 tci_args_rrr(insn, &r0, &r1, &r2); 567 regs[r0] = ~(regs[r1] & regs[r2]); 568 break; 569 #endif 570 #if TCG_TARGET_HAS_nor_i32 || TCG_TARGET_HAS_nor_i64 571 CASE_32_64(nor) 572 tci_args_rrr(insn, &r0, &r1, &r2); 573 regs[r0] = ~(regs[r1] | regs[r2]); 574 break; 575 #endif 576 577 /* Arithmetic operations (32 bit). */ 578 579 case INDEX_op_div_i32: 580 tci_args_rrr(insn, &r0, &r1, &r2); 581 regs[r0] = (int32_t)regs[r1] / (int32_t)regs[r2]; 582 break; 583 case INDEX_op_divu_i32: 584 tci_args_rrr(insn, &r0, &r1, &r2); 585 regs[r0] = (uint32_t)regs[r1] / (uint32_t)regs[r2]; 586 break; 587 case INDEX_op_rem_i32: 588 tci_args_rrr(insn, &r0, &r1, &r2); 589 regs[r0] = (int32_t)regs[r1] % (int32_t)regs[r2]; 590 break; 591 case INDEX_op_remu_i32: 592 tci_args_rrr(insn, &r0, &r1, &r2); 593 regs[r0] = (uint32_t)regs[r1] % (uint32_t)regs[r2]; 594 break; 595 #if TCG_TARGET_HAS_clz_i32 596 case INDEX_op_clz_i32: 597 tci_args_rrr(insn, &r0, &r1, &r2); 598 tmp32 = regs[r1]; 599 regs[r0] = tmp32 ? clz32(tmp32) : regs[r2]; 600 break; 601 #endif 602 #if TCG_TARGET_HAS_ctz_i32 603 case INDEX_op_ctz_i32: 604 tci_args_rrr(insn, &r0, &r1, &r2); 605 tmp32 = regs[r1]; 606 regs[r0] = tmp32 ? ctz32(tmp32) : regs[r2]; 607 break; 608 #endif 609 #if TCG_TARGET_HAS_ctpop_i32 610 case INDEX_op_ctpop_i32: 611 tci_args_rr(insn, &r0, &r1); 612 regs[r0] = ctpop32(regs[r1]); 613 break; 614 #endif 615 616 /* Shift/rotate operations (32 bit). */ 617 618 case INDEX_op_shl_i32: 619 tci_args_rrr(insn, &r0, &r1, &r2); 620 regs[r0] = (uint32_t)regs[r1] << (regs[r2] & 31); 621 break; 622 case INDEX_op_shr_i32: 623 tci_args_rrr(insn, &r0, &r1, &r2); 624 regs[r0] = (uint32_t)regs[r1] >> (regs[r2] & 31); 625 break; 626 case INDEX_op_sar_i32: 627 tci_args_rrr(insn, &r0, &r1, &r2); 628 regs[r0] = (int32_t)regs[r1] >> (regs[r2] & 31); 629 break; 630 #if TCG_TARGET_HAS_rot_i32 631 case INDEX_op_rotl_i32: 632 tci_args_rrr(insn, &r0, &r1, &r2); 633 regs[r0] = rol32(regs[r1], regs[r2] & 31); 634 break; 635 case INDEX_op_rotr_i32: 636 tci_args_rrr(insn, &r0, &r1, &r2); 637 regs[r0] = ror32(regs[r1], regs[r2] & 31); 638 break; 639 #endif 640 case INDEX_op_deposit_i32: 641 tci_args_rrrbb(insn, &r0, &r1, &r2, &pos, &len); 642 regs[r0] = deposit32(regs[r1], pos, len, regs[r2]); 643 break; 644 case INDEX_op_extract_i32: 645 tci_args_rrbb(insn, &r0, &r1, &pos, &len); 646 regs[r0] = extract32(regs[r1], pos, len); 647 break; 648 case INDEX_op_sextract_i32: 649 tci_args_rrbb(insn, &r0, &r1, &pos, &len); 650 regs[r0] = sextract32(regs[r1], pos, len); 651 break; 652 case INDEX_op_brcond_i32: 653 tci_args_rl(insn, tb_ptr, &r0, &ptr); 654 if ((uint32_t)regs[r0]) { 655 tb_ptr = ptr; 656 } 657 break; 658 #if TCG_TARGET_REG_BITS == 32 || TCG_TARGET_HAS_add2_i32 659 case INDEX_op_add2_i32: 660 tci_args_rrrrrr(insn, &r0, &r1, &r2, &r3, &r4, &r5); 661 T1 = tci_uint64(regs[r3], regs[r2]); 662 T2 = tci_uint64(regs[r5], regs[r4]); 663 tci_write_reg64(regs, r1, r0, T1 + T2); 664 break; 665 #endif 666 #if TCG_TARGET_REG_BITS == 32 || TCG_TARGET_HAS_sub2_i32 667 case INDEX_op_sub2_i32: 668 tci_args_rrrrrr(insn, &r0, &r1, &r2, &r3, &r4, &r5); 669 T1 = tci_uint64(regs[r3], regs[r2]); 670 T2 = tci_uint64(regs[r5], regs[r4]); 671 tci_write_reg64(regs, r1, r0, T1 - T2); 672 break; 673 #endif 674 #if TCG_TARGET_HAS_mulu2_i32 675 case INDEX_op_mulu2_i32: 676 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 677 tmp64 = (uint64_t)(uint32_t)regs[r2] * (uint32_t)regs[r3]; 678 tci_write_reg64(regs, r1, r0, tmp64); 679 break; 680 #endif 681 #if TCG_TARGET_HAS_muls2_i32 682 case INDEX_op_muls2_i32: 683 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 684 tmp64 = (int64_t)(int32_t)regs[r2] * (int32_t)regs[r3]; 685 tci_write_reg64(regs, r1, r0, tmp64); 686 break; 687 #endif 688 #if TCG_TARGET_HAS_bswap16_i32 || TCG_TARGET_HAS_bswap16_i64 689 CASE_32_64(bswap16) 690 tci_args_rr(insn, &r0, &r1); 691 regs[r0] = bswap16(regs[r1]); 692 break; 693 #endif 694 #if TCG_TARGET_HAS_bswap32_i32 || TCG_TARGET_HAS_bswap32_i64 695 CASE_32_64(bswap32) 696 tci_args_rr(insn, &r0, &r1); 697 regs[r0] = bswap32(regs[r1]); 698 break; 699 #endif 700 #if TCG_TARGET_HAS_not_i32 || TCG_TARGET_HAS_not_i64 701 CASE_32_64(not) 702 tci_args_rr(insn, &r0, &r1); 703 regs[r0] = ~regs[r1]; 704 break; 705 #endif 706 CASE_32_64(neg) 707 tci_args_rr(insn, &r0, &r1); 708 regs[r0] = -regs[r1]; 709 break; 710 #if TCG_TARGET_REG_BITS == 64 711 /* Load/store operations (64 bit). */ 712 713 case INDEX_op_ld32s_i64: 714 tci_args_rrs(insn, &r0, &r1, &ofs); 715 ptr = (void *)(regs[r1] + ofs); 716 regs[r0] = *(int32_t *)ptr; 717 break; 718 case INDEX_op_ld_i64: 719 tci_args_rrs(insn, &r0, &r1, &ofs); 720 ptr = (void *)(regs[r1] + ofs); 721 regs[r0] = *(uint64_t *)ptr; 722 break; 723 case INDEX_op_st_i64: 724 tci_args_rrs(insn, &r0, &r1, &ofs); 725 ptr = (void *)(regs[r1] + ofs); 726 *(uint64_t *)ptr = regs[r0]; 727 break; 728 729 /* Arithmetic operations (64 bit). */ 730 731 case INDEX_op_div_i64: 732 tci_args_rrr(insn, &r0, &r1, &r2); 733 regs[r0] = (int64_t)regs[r1] / (int64_t)regs[r2]; 734 break; 735 case INDEX_op_divu_i64: 736 tci_args_rrr(insn, &r0, &r1, &r2); 737 regs[r0] = (uint64_t)regs[r1] / (uint64_t)regs[r2]; 738 break; 739 case INDEX_op_rem_i64: 740 tci_args_rrr(insn, &r0, &r1, &r2); 741 regs[r0] = (int64_t)regs[r1] % (int64_t)regs[r2]; 742 break; 743 case INDEX_op_remu_i64: 744 tci_args_rrr(insn, &r0, &r1, &r2); 745 regs[r0] = (uint64_t)regs[r1] % (uint64_t)regs[r2]; 746 break; 747 #if TCG_TARGET_HAS_clz_i64 748 case INDEX_op_clz_i64: 749 tci_args_rrr(insn, &r0, &r1, &r2); 750 regs[r0] = regs[r1] ? clz64(regs[r1]) : regs[r2]; 751 break; 752 #endif 753 #if TCG_TARGET_HAS_ctz_i64 754 case INDEX_op_ctz_i64: 755 tci_args_rrr(insn, &r0, &r1, &r2); 756 regs[r0] = regs[r1] ? ctz64(regs[r1]) : regs[r2]; 757 break; 758 #endif 759 #if TCG_TARGET_HAS_ctpop_i64 760 case INDEX_op_ctpop_i64: 761 tci_args_rr(insn, &r0, &r1); 762 regs[r0] = ctpop64(regs[r1]); 763 break; 764 #endif 765 #if TCG_TARGET_HAS_mulu2_i64 766 case INDEX_op_mulu2_i64: 767 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 768 mulu64(®s[r0], ®s[r1], regs[r2], regs[r3]); 769 break; 770 #endif 771 #if TCG_TARGET_HAS_muls2_i64 772 case INDEX_op_muls2_i64: 773 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 774 muls64(®s[r0], ®s[r1], regs[r2], regs[r3]); 775 break; 776 #endif 777 #if TCG_TARGET_HAS_add2_i64 778 case INDEX_op_add2_i64: 779 tci_args_rrrrrr(insn, &r0, &r1, &r2, &r3, &r4, &r5); 780 T1 = regs[r2] + regs[r4]; 781 T2 = regs[r3] + regs[r5] + (T1 < regs[r2]); 782 regs[r0] = T1; 783 regs[r1] = T2; 784 break; 785 #endif 786 #if TCG_TARGET_HAS_add2_i64 787 case INDEX_op_sub2_i64: 788 tci_args_rrrrrr(insn, &r0, &r1, &r2, &r3, &r4, &r5); 789 T1 = regs[r2] - regs[r4]; 790 T2 = regs[r3] - regs[r5] - (regs[r2] < regs[r4]); 791 regs[r0] = T1; 792 regs[r1] = T2; 793 break; 794 #endif 795 796 /* Shift/rotate operations (64 bit). */ 797 798 case INDEX_op_shl_i64: 799 tci_args_rrr(insn, &r0, &r1, &r2); 800 regs[r0] = regs[r1] << (regs[r2] & 63); 801 break; 802 case INDEX_op_shr_i64: 803 tci_args_rrr(insn, &r0, &r1, &r2); 804 regs[r0] = regs[r1] >> (regs[r2] & 63); 805 break; 806 case INDEX_op_sar_i64: 807 tci_args_rrr(insn, &r0, &r1, &r2); 808 regs[r0] = (int64_t)regs[r1] >> (regs[r2] & 63); 809 break; 810 #if TCG_TARGET_HAS_rot_i64 811 case INDEX_op_rotl_i64: 812 tci_args_rrr(insn, &r0, &r1, &r2); 813 regs[r0] = rol64(regs[r1], regs[r2] & 63); 814 break; 815 case INDEX_op_rotr_i64: 816 tci_args_rrr(insn, &r0, &r1, &r2); 817 regs[r0] = ror64(regs[r1], regs[r2] & 63); 818 break; 819 #endif 820 case INDEX_op_deposit_i64: 821 tci_args_rrrbb(insn, &r0, &r1, &r2, &pos, &len); 822 regs[r0] = deposit64(regs[r1], pos, len, regs[r2]); 823 break; 824 case INDEX_op_extract_i64: 825 tci_args_rrbb(insn, &r0, &r1, &pos, &len); 826 regs[r0] = extract64(regs[r1], pos, len); 827 break; 828 case INDEX_op_sextract_i64: 829 tci_args_rrbb(insn, &r0, &r1, &pos, &len); 830 regs[r0] = sextract64(regs[r1], pos, len); 831 break; 832 case INDEX_op_brcond_i64: 833 tci_args_rl(insn, tb_ptr, &r0, &ptr); 834 if (regs[r0]) { 835 tb_ptr = ptr; 836 } 837 break; 838 case INDEX_op_ext_i32_i64: 839 tci_args_rr(insn, &r0, &r1); 840 regs[r0] = (int32_t)regs[r1]; 841 break; 842 case INDEX_op_extu_i32_i64: 843 tci_args_rr(insn, &r0, &r1); 844 regs[r0] = (uint32_t)regs[r1]; 845 break; 846 #if TCG_TARGET_HAS_bswap64_i64 847 case INDEX_op_bswap64_i64: 848 tci_args_rr(insn, &r0, &r1); 849 regs[r0] = bswap64(regs[r1]); 850 break; 851 #endif 852 #endif /* TCG_TARGET_REG_BITS == 64 */ 853 854 /* QEMU specific operations. */ 855 856 case INDEX_op_exit_tb: 857 tci_args_l(insn, tb_ptr, &ptr); 858 return (uintptr_t)ptr; 859 860 case INDEX_op_goto_tb: 861 tci_args_l(insn, tb_ptr, &ptr); 862 tb_ptr = *(void **)ptr; 863 break; 864 865 case INDEX_op_goto_ptr: 866 tci_args_r(insn, &r0); 867 ptr = (void *)regs[r0]; 868 if (!ptr) { 869 return 0; 870 } 871 tb_ptr = ptr; 872 break; 873 874 case INDEX_op_qemu_ld_i32: 875 tci_args_rrm(insn, &r0, &r1, &oi); 876 taddr = regs[r1]; 877 regs[r0] = tci_qemu_ld(env, taddr, oi, tb_ptr); 878 break; 879 880 case INDEX_op_qemu_ld_i64: 881 if (TCG_TARGET_REG_BITS == 64) { 882 tci_args_rrm(insn, &r0, &r1, &oi); 883 taddr = regs[r1]; 884 } else { 885 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 886 taddr = regs[r2]; 887 oi = regs[r3]; 888 } 889 tmp64 = tci_qemu_ld(env, taddr, oi, tb_ptr); 890 if (TCG_TARGET_REG_BITS == 32) { 891 tci_write_reg64(regs, r1, r0, tmp64); 892 } else { 893 regs[r0] = tmp64; 894 } 895 break; 896 897 case INDEX_op_qemu_st_i32: 898 tci_args_rrm(insn, &r0, &r1, &oi); 899 taddr = regs[r1]; 900 tci_qemu_st(env, taddr, regs[r0], oi, tb_ptr); 901 break; 902 903 case INDEX_op_qemu_st_i64: 904 if (TCG_TARGET_REG_BITS == 64) { 905 tci_args_rrm(insn, &r0, &r1, &oi); 906 tmp64 = regs[r0]; 907 taddr = regs[r1]; 908 } else { 909 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 910 tmp64 = tci_uint64(regs[r1], regs[r0]); 911 taddr = regs[r2]; 912 oi = regs[r3]; 913 } 914 tci_qemu_st(env, taddr, tmp64, oi, tb_ptr); 915 break; 916 917 case INDEX_op_mb: 918 /* Ensure ordering for all kinds */ 919 smp_mb(); 920 break; 921 default: 922 g_assert_not_reached(); 923 } 924 } 925 } 926 927 /* 928 * Disassembler that matches the interpreter 929 */ 930 931 static const char *str_r(TCGReg r) 932 { 933 static const char regs[TCG_TARGET_NB_REGS][4] = { 934 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", 935 "r8", "r9", "r10", "r11", "r12", "r13", "env", "sp" 936 }; 937 938 QEMU_BUILD_BUG_ON(TCG_AREG0 != TCG_REG_R14); 939 QEMU_BUILD_BUG_ON(TCG_REG_CALL_STACK != TCG_REG_R15); 940 941 assert((unsigned)r < TCG_TARGET_NB_REGS); 942 return regs[r]; 943 } 944 945 static const char *str_c(TCGCond c) 946 { 947 static const char cond[16][8] = { 948 [TCG_COND_NEVER] = "never", 949 [TCG_COND_ALWAYS] = "always", 950 [TCG_COND_EQ] = "eq", 951 [TCG_COND_NE] = "ne", 952 [TCG_COND_LT] = "lt", 953 [TCG_COND_GE] = "ge", 954 [TCG_COND_LE] = "le", 955 [TCG_COND_GT] = "gt", 956 [TCG_COND_LTU] = "ltu", 957 [TCG_COND_GEU] = "geu", 958 [TCG_COND_LEU] = "leu", 959 [TCG_COND_GTU] = "gtu", 960 [TCG_COND_TSTEQ] = "tsteq", 961 [TCG_COND_TSTNE] = "tstne", 962 }; 963 964 assert((unsigned)c < ARRAY_SIZE(cond)); 965 assert(cond[c][0] != 0); 966 return cond[c]; 967 } 968 969 /* Disassemble TCI bytecode. */ 970 int print_insn_tci(bfd_vma addr, disassemble_info *info) 971 { 972 const uint32_t *tb_ptr = (const void *)(uintptr_t)addr; 973 const TCGOpDef *def; 974 const char *op_name; 975 uint32_t insn; 976 TCGOpcode op; 977 TCGReg r0, r1, r2, r3, r4, r5; 978 tcg_target_ulong i1; 979 int32_t s2; 980 TCGCond c; 981 MemOpIdx oi; 982 uint8_t pos, len; 983 void *ptr; 984 985 /* TCI is always the host, so we don't need to load indirect. */ 986 insn = *tb_ptr++; 987 988 info->fprintf_func(info->stream, "%08x ", insn); 989 990 op = extract32(insn, 0, 8); 991 def = &tcg_op_defs[op]; 992 op_name = def->name; 993 994 switch (op) { 995 case INDEX_op_br: 996 case INDEX_op_exit_tb: 997 case INDEX_op_goto_tb: 998 tci_args_l(insn, tb_ptr, &ptr); 999 info->fprintf_func(info->stream, "%-12s %p", op_name, ptr); 1000 break; 1001 1002 case INDEX_op_goto_ptr: 1003 tci_args_r(insn, &r0); 1004 info->fprintf_func(info->stream, "%-12s %s", op_name, str_r(r0)); 1005 break; 1006 1007 case INDEX_op_call: 1008 tci_args_nl(insn, tb_ptr, &len, &ptr); 1009 info->fprintf_func(info->stream, "%-12s %d, %p", op_name, len, ptr); 1010 break; 1011 1012 case INDEX_op_brcond_i32: 1013 case INDEX_op_brcond_i64: 1014 tci_args_rl(insn, tb_ptr, &r0, &ptr); 1015 info->fprintf_func(info->stream, "%-12s %s, 0, ne, %p", 1016 op_name, str_r(r0), ptr); 1017 break; 1018 1019 case INDEX_op_setcond_i32: 1020 case INDEX_op_setcond_i64: 1021 tci_args_rrrc(insn, &r0, &r1, &r2, &c); 1022 info->fprintf_func(info->stream, "%-12s %s, %s, %s, %s", 1023 op_name, str_r(r0), str_r(r1), str_r(r2), str_c(c)); 1024 break; 1025 1026 case INDEX_op_tci_movi: 1027 tci_args_ri(insn, &r0, &i1); 1028 info->fprintf_func(info->stream, "%-12s %s, 0x%" TCG_PRIlx, 1029 op_name, str_r(r0), i1); 1030 break; 1031 1032 case INDEX_op_tci_movl: 1033 tci_args_rl(insn, tb_ptr, &r0, &ptr); 1034 info->fprintf_func(info->stream, "%-12s %s, %p", 1035 op_name, str_r(r0), ptr); 1036 break; 1037 1038 case INDEX_op_ld8u_i32: 1039 case INDEX_op_ld8u_i64: 1040 case INDEX_op_ld8s_i32: 1041 case INDEX_op_ld8s_i64: 1042 case INDEX_op_ld16u_i32: 1043 case INDEX_op_ld16u_i64: 1044 case INDEX_op_ld16s_i32: 1045 case INDEX_op_ld16s_i64: 1046 case INDEX_op_ld32u_i64: 1047 case INDEX_op_ld32s_i64: 1048 case INDEX_op_ld_i32: 1049 case INDEX_op_ld_i64: 1050 case INDEX_op_st8_i32: 1051 case INDEX_op_st8_i64: 1052 case INDEX_op_st16_i32: 1053 case INDEX_op_st16_i64: 1054 case INDEX_op_st32_i64: 1055 case INDEX_op_st_i32: 1056 case INDEX_op_st_i64: 1057 tci_args_rrs(insn, &r0, &r1, &s2); 1058 info->fprintf_func(info->stream, "%-12s %s, %s, %d", 1059 op_name, str_r(r0), str_r(r1), s2); 1060 break; 1061 1062 case INDEX_op_mov: 1063 case INDEX_op_ext_i32_i64: 1064 case INDEX_op_extu_i32_i64: 1065 case INDEX_op_bswap16_i32: 1066 case INDEX_op_bswap16_i64: 1067 case INDEX_op_bswap32_i32: 1068 case INDEX_op_bswap32_i64: 1069 case INDEX_op_bswap64_i64: 1070 case INDEX_op_not_i32: 1071 case INDEX_op_not_i64: 1072 case INDEX_op_neg_i32: 1073 case INDEX_op_neg_i64: 1074 case INDEX_op_ctpop_i32: 1075 case INDEX_op_ctpop_i64: 1076 tci_args_rr(insn, &r0, &r1); 1077 info->fprintf_func(info->stream, "%-12s %s, %s", 1078 op_name, str_r(r0), str_r(r1)); 1079 break; 1080 1081 case INDEX_op_add: 1082 case INDEX_op_and: 1083 case INDEX_op_andc: 1084 case INDEX_op_or: 1085 case INDEX_op_orc: 1086 case INDEX_op_xor: 1087 case INDEX_op_sub_i32: 1088 case INDEX_op_sub_i64: 1089 case INDEX_op_mul_i32: 1090 case INDEX_op_mul_i64: 1091 case INDEX_op_eqv_i32: 1092 case INDEX_op_eqv_i64: 1093 case INDEX_op_nand_i32: 1094 case INDEX_op_nand_i64: 1095 case INDEX_op_nor_i32: 1096 case INDEX_op_nor_i64: 1097 case INDEX_op_div_i32: 1098 case INDEX_op_div_i64: 1099 case INDEX_op_rem_i32: 1100 case INDEX_op_rem_i64: 1101 case INDEX_op_divu_i32: 1102 case INDEX_op_divu_i64: 1103 case INDEX_op_remu_i32: 1104 case INDEX_op_remu_i64: 1105 case INDEX_op_shl_i32: 1106 case INDEX_op_shl_i64: 1107 case INDEX_op_shr_i32: 1108 case INDEX_op_shr_i64: 1109 case INDEX_op_sar_i32: 1110 case INDEX_op_sar_i64: 1111 case INDEX_op_rotl_i32: 1112 case INDEX_op_rotl_i64: 1113 case INDEX_op_rotr_i32: 1114 case INDEX_op_rotr_i64: 1115 case INDEX_op_clz_i32: 1116 case INDEX_op_clz_i64: 1117 case INDEX_op_ctz_i32: 1118 case INDEX_op_ctz_i64: 1119 tci_args_rrr(insn, &r0, &r1, &r2); 1120 info->fprintf_func(info->stream, "%-12s %s, %s, %s", 1121 op_name, str_r(r0), str_r(r1), str_r(r2)); 1122 break; 1123 1124 case INDEX_op_deposit_i32: 1125 case INDEX_op_deposit_i64: 1126 tci_args_rrrbb(insn, &r0, &r1, &r2, &pos, &len); 1127 info->fprintf_func(info->stream, "%-12s %s, %s, %s, %d, %d", 1128 op_name, str_r(r0), str_r(r1), str_r(r2), pos, len); 1129 break; 1130 1131 case INDEX_op_extract_i32: 1132 case INDEX_op_extract_i64: 1133 case INDEX_op_sextract_i32: 1134 case INDEX_op_sextract_i64: 1135 tci_args_rrbb(insn, &r0, &r1, &pos, &len); 1136 info->fprintf_func(info->stream, "%-12s %s,%s,%d,%d", 1137 op_name, str_r(r0), str_r(r1), pos, len); 1138 break; 1139 1140 case INDEX_op_movcond_i32: 1141 case INDEX_op_movcond_i64: 1142 case INDEX_op_setcond2_i32: 1143 tci_args_rrrrrc(insn, &r0, &r1, &r2, &r3, &r4, &c); 1144 info->fprintf_func(info->stream, "%-12s %s, %s, %s, %s, %s, %s", 1145 op_name, str_r(r0), str_r(r1), str_r(r2), 1146 str_r(r3), str_r(r4), str_c(c)); 1147 break; 1148 1149 case INDEX_op_mulu2_i32: 1150 case INDEX_op_mulu2_i64: 1151 case INDEX_op_muls2_i32: 1152 case INDEX_op_muls2_i64: 1153 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 1154 info->fprintf_func(info->stream, "%-12s %s, %s, %s, %s", 1155 op_name, str_r(r0), str_r(r1), 1156 str_r(r2), str_r(r3)); 1157 break; 1158 1159 case INDEX_op_add2_i32: 1160 case INDEX_op_add2_i64: 1161 case INDEX_op_sub2_i32: 1162 case INDEX_op_sub2_i64: 1163 tci_args_rrrrrr(insn, &r0, &r1, &r2, &r3, &r4, &r5); 1164 info->fprintf_func(info->stream, "%-12s %s, %s, %s, %s, %s, %s", 1165 op_name, str_r(r0), str_r(r1), str_r(r2), 1166 str_r(r3), str_r(r4), str_r(r5)); 1167 break; 1168 1169 case INDEX_op_qemu_ld_i64: 1170 case INDEX_op_qemu_st_i64: 1171 if (TCG_TARGET_REG_BITS == 32) { 1172 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 1173 info->fprintf_func(info->stream, "%-12s %s, %s, %s, %s", 1174 op_name, str_r(r0), str_r(r1), 1175 str_r(r2), str_r(r3)); 1176 break; 1177 } 1178 /* fall through */ 1179 case INDEX_op_qemu_ld_i32: 1180 case INDEX_op_qemu_st_i32: 1181 tci_args_rrm(insn, &r0, &r1, &oi); 1182 info->fprintf_func(info->stream, "%-12s %s, %s, %x", 1183 op_name, str_r(r0), str_r(r1), oi); 1184 break; 1185 1186 case 0: 1187 /* tcg_out_nop_fill uses zeros */ 1188 if (insn == 0) { 1189 info->fprintf_func(info->stream, "align"); 1190 break; 1191 } 1192 /* fall through */ 1193 1194 default: 1195 info->fprintf_func(info->stream, "illegal opcode %d", op); 1196 break; 1197 } 1198 1199 return sizeof(insn); 1200 } 1201