Commit 1da92db280961b3949712609b8771f582dab1f4a
1 parent
f843e528
Fix branches and TLB matches for 64 bit targets
git-svn-id: svn://svn.savannah.nongnu.org/qemu/trunk@6974 c046a42c-6fe2-441c-8c8c-71466251a162
Showing
1 changed file
with
75 additions
and
13 deletions
tcg/sparc/tcg-target.c
| @@ -117,6 +117,13 @@ static void patch_reloc(uint8_t *code_ptr, int type, | @@ -117,6 +117,13 @@ static void patch_reloc(uint8_t *code_ptr, int type, | ||
| 117 | tcg_abort(); | 117 | tcg_abort(); |
| 118 | *(uint32_t *)code_ptr = ((*(uint32_t *)code_ptr) & ~0x3fffff) | value; | 118 | *(uint32_t *)code_ptr = ((*(uint32_t *)code_ptr) & ~0x3fffff) | value; |
| 119 | break; | 119 | break; |
| 120 | + case R_SPARC_WDISP19: | ||
| 121 | + value -= (long)code_ptr; | ||
| 122 | + value >>= 2; | ||
| 123 | + if (!check_fit_tl(value, 19)) | ||
| 124 | + tcg_abort(); | ||
| 125 | + *(uint32_t *)code_ptr = ((*(uint32_t *)code_ptr) & ~0x7ffff) | value; | ||
| 126 | + break; | ||
| 120 | default: | 127 | default: |
| 121 | tcg_abort(); | 128 | tcg_abort(); |
| 122 | } | 129 | } |
| @@ -185,6 +192,7 @@ static inline int tcg_target_const_match(tcg_target_long val, | @@ -185,6 +192,7 @@ static inline int tcg_target_const_match(tcg_target_long val, | ||
| 185 | #define INSN_ASI(x) ((x) << 5) | 192 | #define INSN_ASI(x) ((x) << 5) |
| 186 | 193 | ||
| 187 | #define INSN_IMM13(x) ((1 << 13) | ((x) & 0x1fff)) | 194 | #define INSN_IMM13(x) ((1 << 13) | ((x) & 0x1fff)) |
| 195 | +#define INSN_OFF19(x) (((x) >> 2) & 0x07ffff) | ||
| 188 | #define INSN_OFF22(x) (((x) >> 2) & 0x3fffff) | 196 | #define INSN_OFF22(x) (((x) >> 2) & 0x3fffff) |
| 189 | 197 | ||
| 190 | #define INSN_COND(x, a) (((x) << 25) | ((a) << 29)) | 198 | #define INSN_COND(x, a) (((x) << 25) | ((a) << 29)) |
| @@ -421,7 +429,7 @@ static inline void tcg_out_nop(TCGContext *s) | @@ -421,7 +429,7 @@ static inline void tcg_out_nop(TCGContext *s) | ||
| 421 | tcg_out_sethi(s, TCG_REG_G0, 0); | 429 | tcg_out_sethi(s, TCG_REG_G0, 0); |
| 422 | } | 430 | } |
| 423 | 431 | ||
| 424 | -static void tcg_out_branch(TCGContext *s, int opc, int label_index) | 432 | +static void tcg_out_branch_i32(TCGContext *s, int opc, int label_index) |
| 425 | { | 433 | { |
| 426 | int32_t val; | 434 | int32_t val; |
| 427 | TCGLabel *l = &s->labels[label_index]; | 435 | TCGLabel *l = &s->labels[label_index]; |
| @@ -436,6 +444,25 @@ static void tcg_out_branch(TCGContext *s, int opc, int label_index) | @@ -436,6 +444,25 @@ static void tcg_out_branch(TCGContext *s, int opc, int label_index) | ||
| 436 | } | 444 | } |
| 437 | } | 445 | } |
| 438 | 446 | ||
| 447 | +#if defined(__sparc_v9__) && !defined(__sparc_v8plus__) | ||
| 448 | +static void tcg_out_branch_i64(TCGContext *s, int opc, int label_index) | ||
| 449 | +{ | ||
| 450 | + int32_t val; | ||
| 451 | + TCGLabel *l = &s->labels[label_index]; | ||
| 452 | + | ||
| 453 | + if (l->has_value) { | ||
| 454 | + val = l->u.value - (tcg_target_long)s->code_ptr; | ||
| 455 | + tcg_out32(s, (INSN_OP(0) | INSN_COND(opc, 0) | INSN_OP2(0x1) | | ||
| 456 | + (0x5 << 19) | | ||
| 457 | + INSN_OFF19(l->u.value - (unsigned long)s->code_ptr))); | ||
| 458 | + } else { | ||
| 459 | + tcg_out_reloc(s, s->code_ptr, R_SPARC_WDISP19, label_index, 0); | ||
| 460 | + tcg_out32(s, (INSN_OP(0) | INSN_COND(opc, 0) | INSN_OP2(0x1) | | ||
| 461 | + (0x5 << 19) | 0)); | ||
| 462 | + } | ||
| 463 | +} | ||
| 464 | +#endif | ||
| 465 | + | ||
| 439 | static const uint8_t tcg_cond_to_bcond[10] = { | 466 | static const uint8_t tcg_cond_to_bcond[10] = { |
| 440 | [TCG_COND_EQ] = COND_E, | 467 | [TCG_COND_EQ] = COND_E, |
| 441 | [TCG_COND_NE] = COND_NE, | 468 | [TCG_COND_NE] = COND_NE, |
| @@ -449,9 +476,9 @@ static const uint8_t tcg_cond_to_bcond[10] = { | @@ -449,9 +476,9 @@ static const uint8_t tcg_cond_to_bcond[10] = { | ||
| 449 | [TCG_COND_GTU] = COND_GU, | 476 | [TCG_COND_GTU] = COND_GU, |
| 450 | }; | 477 | }; |
| 451 | 478 | ||
| 452 | -static void tcg_out_brcond(TCGContext *s, int cond, | ||
| 453 | - TCGArg arg1, TCGArg arg2, int const_arg2, | ||
| 454 | - int label_index) | 479 | +static void tcg_out_brcond_i32(TCGContext *s, int cond, |
| 480 | + TCGArg arg1, TCGArg arg2, int const_arg2, | ||
| 481 | + int label_index) | ||
| 455 | { | 482 | { |
| 456 | if (const_arg2 && arg2 == 0) | 483 | if (const_arg2 && arg2 == 0) |
| 457 | /* orcc %g0, r, %g0 */ | 484 | /* orcc %g0, r, %g0 */ |
| @@ -459,10 +486,26 @@ static void tcg_out_brcond(TCGContext *s, int cond, | @@ -459,10 +486,26 @@ static void tcg_out_brcond(TCGContext *s, int cond, | ||
| 459 | else | 486 | else |
| 460 | /* subcc r1, r2, %g0 */ | 487 | /* subcc r1, r2, %g0 */ |
| 461 | tcg_out_arith(s, TCG_REG_G0, arg1, arg2, ARITH_SUBCC); | 488 | tcg_out_arith(s, TCG_REG_G0, arg1, arg2, ARITH_SUBCC); |
| 462 | - tcg_out_branch(s, tcg_cond_to_bcond[cond], label_index); | 489 | + tcg_out_branch_i32(s, tcg_cond_to_bcond[cond], label_index); |
| 463 | tcg_out_nop(s); | 490 | tcg_out_nop(s); |
| 464 | } | 491 | } |
| 465 | 492 | ||
| 493 | +#if defined(__sparc_v9__) && !defined(__sparc_v8plus__) | ||
| 494 | +static void tcg_out_brcond_i64(TCGContext *s, int cond, | ||
| 495 | + TCGArg arg1, TCGArg arg2, int const_arg2, | ||
| 496 | + int label_index) | ||
| 497 | +{ | ||
| 498 | + if (const_arg2 && arg2 == 0) | ||
| 499 | + /* orcc %g0, r, %g0 */ | ||
| 500 | + tcg_out_arith(s, TCG_REG_G0, TCG_REG_G0, arg1, ARITH_ORCC); | ||
| 501 | + else | ||
| 502 | + /* subcc r1, r2, %g0 */ | ||
| 503 | + tcg_out_arith(s, TCG_REG_G0, arg1, arg2, ARITH_SUBCC); | ||
| 504 | + tcg_out_branch_i64(s, tcg_cond_to_bcond[cond], label_index); | ||
| 505 | + tcg_out_nop(s); | ||
| 506 | +} | ||
| 507 | +#endif | ||
| 508 | + | ||
| 466 | /* Generate global QEMU prologue and epilogue code */ | 509 | /* Generate global QEMU prologue and epilogue code */ |
| 467 | void tcg_target_qemu_prologue(TCGContext *s) | 510 | void tcg_target_qemu_prologue(TCGContext *s) |
| 468 | { | 511 | { |
| @@ -559,7 +602,9 @@ static void tcg_out_qemu_ld(TCGContext *s, const TCGArg *args, | @@ -559,7 +602,9 @@ static void tcg_out_qemu_ld(TCGContext *s, const TCGArg *args, | ||
| 559 | tcg_out_arith(s, TCG_REG_G0, arg0, arg2, ARITH_SUBCC); | 602 | tcg_out_arith(s, TCG_REG_G0, arg0, arg2, ARITH_SUBCC); |
| 560 | 603 | ||
| 561 | /* will become: | 604 | /* will become: |
| 562 | - be label1 */ | 605 | + be label1 |
| 606 | + or | ||
| 607 | + be,pt %xcc label1 */ | ||
| 563 | label1_ptr = (uint32_t *)s->code_ptr; | 608 | label1_ptr = (uint32_t *)s->code_ptr; |
| 564 | tcg_out32(s, 0); | 609 | tcg_out32(s, 0); |
| 565 | 610 | ||
| @@ -627,9 +672,17 @@ static void tcg_out_qemu_ld(TCGContext *s, const TCGArg *args, | @@ -627,9 +672,17 @@ static void tcg_out_qemu_ld(TCGContext *s, const TCGArg *args, | ||
| 627 | tcg_out_nop(s); | 672 | tcg_out_nop(s); |
| 628 | 673 | ||
| 629 | /* label1: */ | 674 | /* label1: */ |
| 675 | +#if TARGET_LONG_BITS == 32 | ||
| 676 | + /* be label1 */ | ||
| 630 | *label1_ptr = (INSN_OP(0) | INSN_COND(COND_E, 0) | INSN_OP2(0x2) | | 677 | *label1_ptr = (INSN_OP(0) | INSN_COND(COND_E, 0) | INSN_OP2(0x2) | |
| 631 | INSN_OFF22((unsigned long)s->code_ptr - | 678 | INSN_OFF22((unsigned long)s->code_ptr - |
| 632 | (unsigned long)label1_ptr)); | 679 | (unsigned long)label1_ptr)); |
| 680 | +#else | ||
| 681 | + /* be,pt %xcc label1 */ | ||
| 682 | + *label1_ptr = (INSN_OP(0) | INSN_COND(COND_E, 0) | INSN_OP2(0x1) | | ||
| 683 | + (0x5 << 19) | INSN_OFF19((unsigned long)s->code_ptr - | ||
| 684 | + (unsigned long)label1_ptr)); | ||
| 685 | +#endif | ||
| 633 | 686 | ||
| 634 | /* ld [arg1 + x], arg1 */ | 687 | /* ld [arg1 + x], arg1 */ |
| 635 | tcg_out_ldst(s, arg1, arg1, offsetof(CPUTLBEntry, addend) - | 688 | tcg_out_ldst(s, arg1, arg1, offsetof(CPUTLBEntry, addend) - |
| @@ -761,7 +814,9 @@ static void tcg_out_qemu_st(TCGContext *s, const TCGArg *args, | @@ -761,7 +814,9 @@ static void tcg_out_qemu_st(TCGContext *s, const TCGArg *args, | ||
| 761 | tcg_out_arith(s, TCG_REG_G0, arg0, arg2, ARITH_SUBCC); | 814 | tcg_out_arith(s, TCG_REG_G0, arg0, arg2, ARITH_SUBCC); |
| 762 | 815 | ||
| 763 | /* will become: | 816 | /* will become: |
| 764 | - be label1 */ | 817 | + be label1 |
| 818 | + or | ||
| 819 | + be,pt %xcc label1 */ | ||
| 765 | label1_ptr = (uint32_t *)s->code_ptr; | 820 | label1_ptr = (uint32_t *)s->code_ptr; |
| 766 | tcg_out32(s, 0); | 821 | tcg_out32(s, 0); |
| 767 | 822 | ||
| @@ -797,10 +852,17 @@ static void tcg_out_qemu_st(TCGContext *s, const TCGArg *args, | @@ -797,10 +852,17 @@ static void tcg_out_qemu_st(TCGContext *s, const TCGArg *args, | ||
| 797 | /* nop (delay slot) */ | 852 | /* nop (delay slot) */ |
| 798 | tcg_out_nop(s); | 853 | tcg_out_nop(s); |
| 799 | 854 | ||
| 800 | - /* label1: */ | 855 | +#if TARGET_LONG_BITS == 32 |
| 856 | + /* be label1 */ | ||
| 801 | *label1_ptr = (INSN_OP(0) | INSN_COND(COND_E, 0) | INSN_OP2(0x2) | | 857 | *label1_ptr = (INSN_OP(0) | INSN_COND(COND_E, 0) | INSN_OP2(0x2) | |
| 802 | INSN_OFF22((unsigned long)s->code_ptr - | 858 | INSN_OFF22((unsigned long)s->code_ptr - |
| 803 | (unsigned long)label1_ptr)); | 859 | (unsigned long)label1_ptr)); |
| 860 | +#else | ||
| 861 | + /* be,pt %xcc label1 */ | ||
| 862 | + *label1_ptr = (INSN_OP(0) | INSN_COND(COND_E, 0) | INSN_OP2(0x1) | | ||
| 863 | + (0x5 << 19) | INSN_OFF19((unsigned long)s->code_ptr - | ||
| 864 | + (unsigned long)label1_ptr)); | ||
| 865 | +#endif | ||
| 804 | 866 | ||
| 805 | /* ld [arg1 + x], arg1 */ | 867 | /* ld [arg1 + x], arg1 */ |
| 806 | tcg_out_ldst(s, arg1, arg1, offsetof(CPUTLBEntry, addend) - | 868 | tcg_out_ldst(s, arg1, arg1, offsetof(CPUTLBEntry, addend) - |
| @@ -917,7 +979,7 @@ static inline void tcg_out_op(TCGContext *s, int opc, const TCGArg *args, | @@ -917,7 +979,7 @@ static inline void tcg_out_op(TCGContext *s, int opc, const TCGArg *args, | ||
| 917 | break; | 979 | break; |
| 918 | case INDEX_op_jmp: | 980 | case INDEX_op_jmp: |
| 919 | case INDEX_op_br: | 981 | case INDEX_op_br: |
| 920 | - tcg_out_branch(s, COND_A, args[0]); | 982 | + tcg_out_branch_i32(s, COND_A, args[0]); |
| 921 | tcg_out_nop(s); | 983 | tcg_out_nop(s); |
| 922 | break; | 984 | break; |
| 923 | case INDEX_op_movi_i32: | 985 | case INDEX_op_movi_i32: |
| @@ -1009,8 +1071,8 @@ static inline void tcg_out_op(TCGContext *s, int opc, const TCGArg *args, | @@ -1009,8 +1071,8 @@ static inline void tcg_out_op(TCGContext *s, int opc, const TCGArg *args, | ||
| 1009 | #endif | 1071 | #endif |
| 1010 | 1072 | ||
| 1011 | case INDEX_op_brcond_i32: | 1073 | case INDEX_op_brcond_i32: |
| 1012 | - tcg_out_brcond(s, args[2], args[0], args[1], const_args[1], | ||
| 1013 | - args[3]); | 1074 | + tcg_out_brcond_i32(s, args[2], args[0], args[1], const_args[1], |
| 1075 | + args[3]); | ||
| 1014 | break; | 1076 | break; |
| 1015 | 1077 | ||
| 1016 | case INDEX_op_qemu_ld8u: | 1078 | case INDEX_op_qemu_ld8u: |
| @@ -1074,8 +1136,8 @@ static inline void tcg_out_op(TCGContext *s, int opc, const TCGArg *args, | @@ -1074,8 +1136,8 @@ static inline void tcg_out_op(TCGContext *s, int opc, const TCGArg *args, | ||
| 1074 | goto gen_arith32; | 1136 | goto gen_arith32; |
| 1075 | 1137 | ||
| 1076 | case INDEX_op_brcond_i64: | 1138 | case INDEX_op_brcond_i64: |
| 1077 | - tcg_out_brcond(s, args[2], args[0], args[1], const_args[1], | ||
| 1078 | - args[3]); | 1139 | + tcg_out_brcond_i64(s, args[2], args[0], args[1], const_args[1], |
| 1140 | + args[3]); | ||
| 1079 | break; | 1141 | break; |
| 1080 | case INDEX_op_qemu_ld64: | 1142 | case INDEX_op_qemu_ld64: |
| 1081 | tcg_out_qemu_ld(s, args, 3); | 1143 | tcg_out_qemu_ld(s, args, 3); |