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 INDEX_op_sub: 531 tci_args_rrr(insn, &r0, &r1, &r2); 532 regs[r0] = regs[r1] - regs[r2]; 533 break; 534 case INDEX_op_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 case INDEX_op_eqv: 559 tci_args_rrr(insn, &r0, &r1, &r2); 560 regs[r0] = ~(regs[r1] ^ regs[r2]); 561 break; 562 case INDEX_op_nand: 563 tci_args_rrr(insn, &r0, &r1, &r2); 564 regs[r0] = ~(regs[r1] & regs[r2]); 565 break; 566 case INDEX_op_nor: 567 tci_args_rrr(insn, &r0, &r1, &r2); 568 regs[r0] = ~(regs[r1] | regs[r2]); 569 break; 570 case INDEX_op_neg: 571 tci_args_rr(insn, &r0, &r1); 572 regs[r0] = -regs[r1]; 573 break; 574 case INDEX_op_not: 575 tci_args_rr(insn, &r0, &r1); 576 regs[r0] = ~regs[r1]; 577 break; 578 579 /* Arithmetic operations (32 bit). */ 580 581 case INDEX_op_tci_divs32: 582 tci_args_rrr(insn, &r0, &r1, &r2); 583 regs[r0] = (int32_t)regs[r1] / (int32_t)regs[r2]; 584 break; 585 case INDEX_op_tci_divu32: 586 tci_args_rrr(insn, &r0, &r1, &r2); 587 regs[r0] = (uint32_t)regs[r1] / (uint32_t)regs[r2]; 588 break; 589 case INDEX_op_tci_rems32: 590 tci_args_rrr(insn, &r0, &r1, &r2); 591 regs[r0] = (int32_t)regs[r1] % (int32_t)regs[r2]; 592 break; 593 case INDEX_op_tci_remu32: 594 tci_args_rrr(insn, &r0, &r1, &r2); 595 regs[r0] = (uint32_t)regs[r1] % (uint32_t)regs[r2]; 596 break; 597 case INDEX_op_tci_clz32: 598 tci_args_rrr(insn, &r0, &r1, &r2); 599 tmp32 = regs[r1]; 600 regs[r0] = tmp32 ? clz32(tmp32) : regs[r2]; 601 break; 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. */ 617 618 case INDEX_op_shl: 619 tci_args_rrr(insn, &r0, &r1, &r2); 620 regs[r0] = regs[r1] << (regs[r2] % TCG_TARGET_REG_BITS); 621 break; 622 case INDEX_op_shr: 623 tci_args_rrr(insn, &r0, &r1, &r2); 624 regs[r0] = regs[r1] >> (regs[r2] % TCG_TARGET_REG_BITS); 625 break; 626 case INDEX_op_sar: 627 tci_args_rrr(insn, &r0, &r1, &r2); 628 regs[r0] = ((tcg_target_long)regs[r1] 629 >> (regs[r2] % TCG_TARGET_REG_BITS)); 630 break; 631 case INDEX_op_tci_rotl32: 632 tci_args_rrr(insn, &r0, &r1, &r2); 633 regs[r0] = rol32(regs[r1], regs[r2] & 31); 634 break; 635 case INDEX_op_tci_rotr32: 636 tci_args_rrr(insn, &r0, &r1, &r2); 637 regs[r0] = ror32(regs[r1], regs[r2] & 31); 638 break; 639 case INDEX_op_deposit_i32: 640 tci_args_rrrbb(insn, &r0, &r1, &r2, &pos, &len); 641 regs[r0] = deposit32(regs[r1], pos, len, regs[r2]); 642 break; 643 case INDEX_op_extract_i32: 644 tci_args_rrbb(insn, &r0, &r1, &pos, &len); 645 regs[r0] = extract32(regs[r1], pos, len); 646 break; 647 case INDEX_op_sextract_i32: 648 tci_args_rrbb(insn, &r0, &r1, &pos, &len); 649 regs[r0] = sextract32(regs[r1], pos, len); 650 break; 651 case INDEX_op_brcond_i32: 652 tci_args_rl(insn, tb_ptr, &r0, &ptr); 653 if ((uint32_t)regs[r0]) { 654 tb_ptr = ptr; 655 } 656 break; 657 #if TCG_TARGET_REG_BITS == 32 || TCG_TARGET_HAS_add2_i32 658 case INDEX_op_add2_i32: 659 tci_args_rrrrrr(insn, &r0, &r1, &r2, &r3, &r4, &r5); 660 T1 = tci_uint64(regs[r3], regs[r2]); 661 T2 = tci_uint64(regs[r5], regs[r4]); 662 tci_write_reg64(regs, r1, r0, T1 + T2); 663 break; 664 #endif 665 #if TCG_TARGET_REG_BITS == 32 || TCG_TARGET_HAS_sub2_i32 666 case INDEX_op_sub2_i32: 667 tci_args_rrrrrr(insn, &r0, &r1, &r2, &r3, &r4, &r5); 668 T1 = tci_uint64(regs[r3], regs[r2]); 669 T2 = tci_uint64(regs[r5], regs[r4]); 670 tci_write_reg64(regs, r1, r0, T1 - T2); 671 break; 672 #endif 673 #if TCG_TARGET_HAS_mulu2_i32 674 case INDEX_op_mulu2_i32: 675 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 676 tmp64 = (uint64_t)(uint32_t)regs[r2] * (uint32_t)regs[r3]; 677 tci_write_reg64(regs, r1, r0, tmp64); 678 break; 679 #endif 680 #if TCG_TARGET_HAS_muls2_i32 681 case INDEX_op_muls2_i32: 682 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 683 tmp64 = (int64_t)(int32_t)regs[r2] * (int32_t)regs[r3]; 684 tci_write_reg64(regs, r1, r0, tmp64); 685 break; 686 #endif 687 #if TCG_TARGET_HAS_bswap16_i32 || TCG_TARGET_HAS_bswap16_i64 688 CASE_32_64(bswap16) 689 tci_args_rr(insn, &r0, &r1); 690 regs[r0] = bswap16(regs[r1]); 691 break; 692 #endif 693 #if TCG_TARGET_HAS_bswap32_i32 || TCG_TARGET_HAS_bswap32_i64 694 CASE_32_64(bswap32) 695 tci_args_rr(insn, &r0, &r1); 696 regs[r0] = bswap32(regs[r1]); 697 break; 698 #endif 699 #if TCG_TARGET_REG_BITS == 64 700 /* Load/store operations (64 bit). */ 701 702 case INDEX_op_ld32s_i64: 703 tci_args_rrs(insn, &r0, &r1, &ofs); 704 ptr = (void *)(regs[r1] + ofs); 705 regs[r0] = *(int32_t *)ptr; 706 break; 707 case INDEX_op_ld_i64: 708 tci_args_rrs(insn, &r0, &r1, &ofs); 709 ptr = (void *)(regs[r1] + ofs); 710 regs[r0] = *(uint64_t *)ptr; 711 break; 712 case INDEX_op_st_i64: 713 tci_args_rrs(insn, &r0, &r1, &ofs); 714 ptr = (void *)(regs[r1] + ofs); 715 *(uint64_t *)ptr = regs[r0]; 716 break; 717 718 /* Arithmetic operations (64 bit). */ 719 720 case INDEX_op_divs: 721 tci_args_rrr(insn, &r0, &r1, &r2); 722 regs[r0] = (int64_t)regs[r1] / (int64_t)regs[r2]; 723 break; 724 case INDEX_op_divu: 725 tci_args_rrr(insn, &r0, &r1, &r2); 726 regs[r0] = (uint64_t)regs[r1] / (uint64_t)regs[r2]; 727 break; 728 case INDEX_op_rems: 729 tci_args_rrr(insn, &r0, &r1, &r2); 730 regs[r0] = (int64_t)regs[r1] % (int64_t)regs[r2]; 731 break; 732 case INDEX_op_remu: 733 tci_args_rrr(insn, &r0, &r1, &r2); 734 regs[r0] = (uint64_t)regs[r1] % (uint64_t)regs[r2]; 735 break; 736 case INDEX_op_clz: 737 tci_args_rrr(insn, &r0, &r1, &r2); 738 regs[r0] = regs[r1] ? clz64(regs[r1]) : regs[r2]; 739 break; 740 #if TCG_TARGET_HAS_ctz_i64 741 case INDEX_op_ctz_i64: 742 tci_args_rrr(insn, &r0, &r1, &r2); 743 regs[r0] = regs[r1] ? ctz64(regs[r1]) : regs[r2]; 744 break; 745 #endif 746 #if TCG_TARGET_HAS_ctpop_i64 747 case INDEX_op_ctpop_i64: 748 tci_args_rr(insn, &r0, &r1); 749 regs[r0] = ctpop64(regs[r1]); 750 break; 751 #endif 752 #if TCG_TARGET_HAS_mulu2_i64 753 case INDEX_op_mulu2_i64: 754 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 755 mulu64(®s[r0], ®s[r1], regs[r2], regs[r3]); 756 break; 757 #endif 758 #if TCG_TARGET_HAS_muls2_i64 759 case INDEX_op_muls2_i64: 760 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 761 muls64(®s[r0], ®s[r1], regs[r2], regs[r3]); 762 break; 763 #endif 764 #if TCG_TARGET_HAS_add2_i64 765 case INDEX_op_add2_i64: 766 tci_args_rrrrrr(insn, &r0, &r1, &r2, &r3, &r4, &r5); 767 T1 = regs[r2] + regs[r4]; 768 T2 = regs[r3] + regs[r5] + (T1 < regs[r2]); 769 regs[r0] = T1; 770 regs[r1] = T2; 771 break; 772 #endif 773 #if TCG_TARGET_HAS_add2_i64 774 case INDEX_op_sub2_i64: 775 tci_args_rrrrrr(insn, &r0, &r1, &r2, &r3, &r4, &r5); 776 T1 = regs[r2] - regs[r4]; 777 T2 = regs[r3] - regs[r5] - (regs[r2] < regs[r4]); 778 regs[r0] = T1; 779 regs[r1] = T2; 780 break; 781 #endif 782 783 /* Shift/rotate operations (64 bit). */ 784 785 case INDEX_op_rotl: 786 tci_args_rrr(insn, &r0, &r1, &r2); 787 regs[r0] = rol64(regs[r1], regs[r2] & 63); 788 break; 789 case INDEX_op_rotr: 790 tci_args_rrr(insn, &r0, &r1, &r2); 791 regs[r0] = ror64(regs[r1], regs[r2] & 63); 792 break; 793 case INDEX_op_deposit_i64: 794 tci_args_rrrbb(insn, &r0, &r1, &r2, &pos, &len); 795 regs[r0] = deposit64(regs[r1], pos, len, regs[r2]); 796 break; 797 case INDEX_op_extract_i64: 798 tci_args_rrbb(insn, &r0, &r1, &pos, &len); 799 regs[r0] = extract64(regs[r1], pos, len); 800 break; 801 case INDEX_op_sextract_i64: 802 tci_args_rrbb(insn, &r0, &r1, &pos, &len); 803 regs[r0] = sextract64(regs[r1], pos, len); 804 break; 805 case INDEX_op_brcond_i64: 806 tci_args_rl(insn, tb_ptr, &r0, &ptr); 807 if (regs[r0]) { 808 tb_ptr = ptr; 809 } 810 break; 811 case INDEX_op_ext_i32_i64: 812 tci_args_rr(insn, &r0, &r1); 813 regs[r0] = (int32_t)regs[r1]; 814 break; 815 case INDEX_op_extu_i32_i64: 816 tci_args_rr(insn, &r0, &r1); 817 regs[r0] = (uint32_t)regs[r1]; 818 break; 819 #if TCG_TARGET_HAS_bswap64_i64 820 case INDEX_op_bswap64_i64: 821 tci_args_rr(insn, &r0, &r1); 822 regs[r0] = bswap64(regs[r1]); 823 break; 824 #endif 825 #endif /* TCG_TARGET_REG_BITS == 64 */ 826 827 /* QEMU specific operations. */ 828 829 case INDEX_op_exit_tb: 830 tci_args_l(insn, tb_ptr, &ptr); 831 return (uintptr_t)ptr; 832 833 case INDEX_op_goto_tb: 834 tci_args_l(insn, tb_ptr, &ptr); 835 tb_ptr = *(void **)ptr; 836 break; 837 838 case INDEX_op_goto_ptr: 839 tci_args_r(insn, &r0); 840 ptr = (void *)regs[r0]; 841 if (!ptr) { 842 return 0; 843 } 844 tb_ptr = ptr; 845 break; 846 847 case INDEX_op_qemu_ld_i32: 848 tci_args_rrm(insn, &r0, &r1, &oi); 849 taddr = regs[r1]; 850 regs[r0] = tci_qemu_ld(env, taddr, oi, tb_ptr); 851 break; 852 853 case INDEX_op_qemu_ld_i64: 854 if (TCG_TARGET_REG_BITS == 64) { 855 tci_args_rrm(insn, &r0, &r1, &oi); 856 taddr = regs[r1]; 857 } else { 858 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 859 taddr = regs[r2]; 860 oi = regs[r3]; 861 } 862 tmp64 = tci_qemu_ld(env, taddr, oi, tb_ptr); 863 if (TCG_TARGET_REG_BITS == 32) { 864 tci_write_reg64(regs, r1, r0, tmp64); 865 } else { 866 regs[r0] = tmp64; 867 } 868 break; 869 870 case INDEX_op_qemu_st_i32: 871 tci_args_rrm(insn, &r0, &r1, &oi); 872 taddr = regs[r1]; 873 tci_qemu_st(env, taddr, regs[r0], oi, tb_ptr); 874 break; 875 876 case INDEX_op_qemu_st_i64: 877 if (TCG_TARGET_REG_BITS == 64) { 878 tci_args_rrm(insn, &r0, &r1, &oi); 879 tmp64 = regs[r0]; 880 taddr = regs[r1]; 881 } else { 882 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 883 tmp64 = tci_uint64(regs[r1], regs[r0]); 884 taddr = regs[r2]; 885 oi = regs[r3]; 886 } 887 tci_qemu_st(env, taddr, tmp64, oi, tb_ptr); 888 break; 889 890 case INDEX_op_mb: 891 /* Ensure ordering for all kinds */ 892 smp_mb(); 893 break; 894 default: 895 g_assert_not_reached(); 896 } 897 } 898 } 899 900 /* 901 * Disassembler that matches the interpreter 902 */ 903 904 static const char *str_r(TCGReg r) 905 { 906 static const char regs[TCG_TARGET_NB_REGS][4] = { 907 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", 908 "r8", "r9", "r10", "r11", "r12", "r13", "env", "sp" 909 }; 910 911 QEMU_BUILD_BUG_ON(TCG_AREG0 != TCG_REG_R14); 912 QEMU_BUILD_BUG_ON(TCG_REG_CALL_STACK != TCG_REG_R15); 913 914 assert((unsigned)r < TCG_TARGET_NB_REGS); 915 return regs[r]; 916 } 917 918 static const char *str_c(TCGCond c) 919 { 920 static const char cond[16][8] = { 921 [TCG_COND_NEVER] = "never", 922 [TCG_COND_ALWAYS] = "always", 923 [TCG_COND_EQ] = "eq", 924 [TCG_COND_NE] = "ne", 925 [TCG_COND_LT] = "lt", 926 [TCG_COND_GE] = "ge", 927 [TCG_COND_LE] = "le", 928 [TCG_COND_GT] = "gt", 929 [TCG_COND_LTU] = "ltu", 930 [TCG_COND_GEU] = "geu", 931 [TCG_COND_LEU] = "leu", 932 [TCG_COND_GTU] = "gtu", 933 [TCG_COND_TSTEQ] = "tsteq", 934 [TCG_COND_TSTNE] = "tstne", 935 }; 936 937 assert((unsigned)c < ARRAY_SIZE(cond)); 938 assert(cond[c][0] != 0); 939 return cond[c]; 940 } 941 942 /* Disassemble TCI bytecode. */ 943 int print_insn_tci(bfd_vma addr, disassemble_info *info) 944 { 945 const uint32_t *tb_ptr = (const void *)(uintptr_t)addr; 946 const TCGOpDef *def; 947 const char *op_name; 948 uint32_t insn; 949 TCGOpcode op; 950 TCGReg r0, r1, r2, r3, r4, r5; 951 tcg_target_ulong i1; 952 int32_t s2; 953 TCGCond c; 954 MemOpIdx oi; 955 uint8_t pos, len; 956 void *ptr; 957 958 /* TCI is always the host, so we don't need to load indirect. */ 959 insn = *tb_ptr++; 960 961 info->fprintf_func(info->stream, "%08x ", insn); 962 963 op = extract32(insn, 0, 8); 964 def = &tcg_op_defs[op]; 965 op_name = def->name; 966 967 switch (op) { 968 case INDEX_op_br: 969 case INDEX_op_exit_tb: 970 case INDEX_op_goto_tb: 971 tci_args_l(insn, tb_ptr, &ptr); 972 info->fprintf_func(info->stream, "%-12s %p", op_name, ptr); 973 break; 974 975 case INDEX_op_goto_ptr: 976 tci_args_r(insn, &r0); 977 info->fprintf_func(info->stream, "%-12s %s", op_name, str_r(r0)); 978 break; 979 980 case INDEX_op_call: 981 tci_args_nl(insn, tb_ptr, &len, &ptr); 982 info->fprintf_func(info->stream, "%-12s %d, %p", op_name, len, ptr); 983 break; 984 985 case INDEX_op_brcond_i32: 986 case INDEX_op_brcond_i64: 987 tci_args_rl(insn, tb_ptr, &r0, &ptr); 988 info->fprintf_func(info->stream, "%-12s %s, 0, ne, %p", 989 op_name, str_r(r0), ptr); 990 break; 991 992 case INDEX_op_setcond_i32: 993 case INDEX_op_setcond_i64: 994 tci_args_rrrc(insn, &r0, &r1, &r2, &c); 995 info->fprintf_func(info->stream, "%-12s %s, %s, %s, %s", 996 op_name, str_r(r0), str_r(r1), str_r(r2), str_c(c)); 997 break; 998 999 case INDEX_op_tci_movi: 1000 tci_args_ri(insn, &r0, &i1); 1001 info->fprintf_func(info->stream, "%-12s %s, 0x%" TCG_PRIlx, 1002 op_name, str_r(r0), i1); 1003 break; 1004 1005 case INDEX_op_tci_movl: 1006 tci_args_rl(insn, tb_ptr, &r0, &ptr); 1007 info->fprintf_func(info->stream, "%-12s %s, %p", 1008 op_name, str_r(r0), ptr); 1009 break; 1010 1011 case INDEX_op_ld8u_i32: 1012 case INDEX_op_ld8u_i64: 1013 case INDEX_op_ld8s_i32: 1014 case INDEX_op_ld8s_i64: 1015 case INDEX_op_ld16u_i32: 1016 case INDEX_op_ld16u_i64: 1017 case INDEX_op_ld16s_i32: 1018 case INDEX_op_ld16s_i64: 1019 case INDEX_op_ld32u_i64: 1020 case INDEX_op_ld32s_i64: 1021 case INDEX_op_ld_i32: 1022 case INDEX_op_ld_i64: 1023 case INDEX_op_st8_i32: 1024 case INDEX_op_st8_i64: 1025 case INDEX_op_st16_i32: 1026 case INDEX_op_st16_i64: 1027 case INDEX_op_st32_i64: 1028 case INDEX_op_st_i32: 1029 case INDEX_op_st_i64: 1030 tci_args_rrs(insn, &r0, &r1, &s2); 1031 info->fprintf_func(info->stream, "%-12s %s, %s, %d", 1032 op_name, str_r(r0), str_r(r1), s2); 1033 break; 1034 1035 case INDEX_op_mov: 1036 case INDEX_op_neg: 1037 case INDEX_op_not: 1038 case INDEX_op_ext_i32_i64: 1039 case INDEX_op_extu_i32_i64: 1040 case INDEX_op_bswap16_i32: 1041 case INDEX_op_bswap16_i64: 1042 case INDEX_op_bswap32_i32: 1043 case INDEX_op_bswap32_i64: 1044 case INDEX_op_bswap64_i64: 1045 case INDEX_op_ctpop_i32: 1046 case INDEX_op_ctpop_i64: 1047 tci_args_rr(insn, &r0, &r1); 1048 info->fprintf_func(info->stream, "%-12s %s, %s", 1049 op_name, str_r(r0), str_r(r1)); 1050 break; 1051 1052 case INDEX_op_add: 1053 case INDEX_op_and: 1054 case INDEX_op_andc: 1055 case INDEX_op_clz: 1056 case INDEX_op_divs: 1057 case INDEX_op_divu: 1058 case INDEX_op_eqv: 1059 case INDEX_op_mul: 1060 case INDEX_op_nand: 1061 case INDEX_op_nor: 1062 case INDEX_op_or: 1063 case INDEX_op_orc: 1064 case INDEX_op_rems: 1065 case INDEX_op_remu: 1066 case INDEX_op_rotl: 1067 case INDEX_op_rotr: 1068 case INDEX_op_sar: 1069 case INDEX_op_shl: 1070 case INDEX_op_shr: 1071 case INDEX_op_sub: 1072 case INDEX_op_xor: 1073 case INDEX_op_ctz_i32: 1074 case INDEX_op_ctz_i64: 1075 case INDEX_op_tci_clz32: 1076 case INDEX_op_tci_divs32: 1077 case INDEX_op_tci_divu32: 1078 case INDEX_op_tci_rems32: 1079 case INDEX_op_tci_remu32: 1080 case INDEX_op_tci_rotl32: 1081 case INDEX_op_tci_rotr32: 1082 tci_args_rrr(insn, &r0, &r1, &r2); 1083 info->fprintf_func(info->stream, "%-12s %s, %s, %s", 1084 op_name, str_r(r0), str_r(r1), str_r(r2)); 1085 break; 1086 1087 case INDEX_op_deposit_i32: 1088 case INDEX_op_deposit_i64: 1089 tci_args_rrrbb(insn, &r0, &r1, &r2, &pos, &len); 1090 info->fprintf_func(info->stream, "%-12s %s, %s, %s, %d, %d", 1091 op_name, str_r(r0), str_r(r1), str_r(r2), pos, len); 1092 break; 1093 1094 case INDEX_op_extract_i32: 1095 case INDEX_op_extract_i64: 1096 case INDEX_op_sextract_i32: 1097 case INDEX_op_sextract_i64: 1098 tci_args_rrbb(insn, &r0, &r1, &pos, &len); 1099 info->fprintf_func(info->stream, "%-12s %s,%s,%d,%d", 1100 op_name, str_r(r0), str_r(r1), pos, len); 1101 break; 1102 1103 case INDEX_op_movcond_i32: 1104 case INDEX_op_movcond_i64: 1105 case INDEX_op_setcond2_i32: 1106 tci_args_rrrrrc(insn, &r0, &r1, &r2, &r3, &r4, &c); 1107 info->fprintf_func(info->stream, "%-12s %s, %s, %s, %s, %s, %s", 1108 op_name, str_r(r0), str_r(r1), str_r(r2), 1109 str_r(r3), str_r(r4), str_c(c)); 1110 break; 1111 1112 case INDEX_op_mulu2_i32: 1113 case INDEX_op_mulu2_i64: 1114 case INDEX_op_muls2_i32: 1115 case INDEX_op_muls2_i64: 1116 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 1117 info->fprintf_func(info->stream, "%-12s %s, %s, %s, %s", 1118 op_name, str_r(r0), str_r(r1), 1119 str_r(r2), str_r(r3)); 1120 break; 1121 1122 case INDEX_op_add2_i32: 1123 case INDEX_op_add2_i64: 1124 case INDEX_op_sub2_i32: 1125 case INDEX_op_sub2_i64: 1126 tci_args_rrrrrr(insn, &r0, &r1, &r2, &r3, &r4, &r5); 1127 info->fprintf_func(info->stream, "%-12s %s, %s, %s, %s, %s, %s", 1128 op_name, str_r(r0), str_r(r1), str_r(r2), 1129 str_r(r3), str_r(r4), str_r(r5)); 1130 break; 1131 1132 case INDEX_op_qemu_ld_i64: 1133 case INDEX_op_qemu_st_i64: 1134 if (TCG_TARGET_REG_BITS == 32) { 1135 tci_args_rrrr(insn, &r0, &r1, &r2, &r3); 1136 info->fprintf_func(info->stream, "%-12s %s, %s, %s, %s", 1137 op_name, str_r(r0), str_r(r1), 1138 str_r(r2), str_r(r3)); 1139 break; 1140 } 1141 /* fall through */ 1142 case INDEX_op_qemu_ld_i32: 1143 case INDEX_op_qemu_st_i32: 1144 tci_args_rrm(insn, &r0, &r1, &oi); 1145 info->fprintf_func(info->stream, "%-12s %s, %s, %x", 1146 op_name, str_r(r0), str_r(r1), oi); 1147 break; 1148 1149 case 0: 1150 /* tcg_out_nop_fill uses zeros */ 1151 if (insn == 0) { 1152 info->fprintf_func(info->stream, "align"); 1153 break; 1154 } 1155 /* fall through */ 1156 1157 default: 1158 info->fprintf_func(info->stream, "illegal opcode %d", op); 1159 break; 1160 } 1161 1162 return sizeof(insn); 1163 } 1164