tcg: Add insn_start_words to TCGContext
This will enable replacement of TARGET_INSN_START_WORDS in tcg.c. Split out "tcg/insn-start-words.h" and use it in target/. Reviewed-by: Anton Johansson <anjo@rev.ng> Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
This commit is contained in:
parent
e03291cd9a
commit
747bd69d0f
|
@ -311,7 +311,8 @@ void perf_report_code(uint64_t guest_pc, TranslationBlock *tb,
|
|||
const void *start)
|
||||
{
|
||||
struct debuginfo_query *q;
|
||||
size_t insn;
|
||||
size_t insn, start_words;
|
||||
uint64_t *gen_insn_data;
|
||||
|
||||
if (!perfmap && !jitdump) {
|
||||
return;
|
||||
|
@ -325,9 +326,12 @@ void perf_report_code(uint64_t guest_pc, TranslationBlock *tb,
|
|||
debuginfo_lock();
|
||||
|
||||
/* Query debuginfo for each guest instruction. */
|
||||
gen_insn_data = tcg_ctx->gen_insn_data;
|
||||
start_words = tcg_ctx->insn_start_words;
|
||||
|
||||
for (insn = 0; insn < tb->icount; insn++) {
|
||||
/* FIXME: This replicates the restore_state_to_opc() logic. */
|
||||
q[insn].address = tcg_ctx->gen_insn_data[insn][0];
|
||||
q[insn].address = gen_insn_data[insn * start_words + 0];
|
||||
if (tb_cflags(tb) & CF_PCREL) {
|
||||
q[insn].address |= (guest_pc & TARGET_PAGE_MASK);
|
||||
} else {
|
||||
|
|
|
@ -64,6 +64,7 @@
|
|||
#include "tb-context.h"
|
||||
#include "internal.h"
|
||||
#include "perf.h"
|
||||
#include "tcg/insn-start-words.h"
|
||||
|
||||
TBContext tb_ctx;
|
||||
|
||||
|
@ -127,22 +128,26 @@ static int64_t decode_sleb128(const uint8_t **pp)
|
|||
static int encode_search(TranslationBlock *tb, uint8_t *block)
|
||||
{
|
||||
uint8_t *highwater = tcg_ctx->code_gen_highwater;
|
||||
uint64_t *insn_data = tcg_ctx->gen_insn_data;
|
||||
uint16_t *insn_end_off = tcg_ctx->gen_insn_end_off;
|
||||
uint8_t *p = block;
|
||||
int i, j, n;
|
||||
|
||||
for (i = 0, n = tb->icount; i < n; ++i) {
|
||||
uint64_t prev;
|
||||
uint64_t prev, curr;
|
||||
|
||||
for (j = 0; j < TARGET_INSN_START_WORDS; ++j) {
|
||||
if (i == 0) {
|
||||
prev = (!(tb_cflags(tb) & CF_PCREL) && j == 0 ? tb->pc : 0);
|
||||
} else {
|
||||
prev = tcg_ctx->gen_insn_data[i - 1][j];
|
||||
prev = insn_data[(i - 1) * TARGET_INSN_START_WORDS + j];
|
||||
}
|
||||
p = encode_sleb128(p, tcg_ctx->gen_insn_data[i][j] - prev);
|
||||
curr = insn_data[i * TARGET_INSN_START_WORDS + j];
|
||||
p = encode_sleb128(p, curr - prev);
|
||||
}
|
||||
prev = (i == 0 ? 0 : tcg_ctx->gen_insn_end_off[i - 1]);
|
||||
p = encode_sleb128(p, tcg_ctx->gen_insn_end_off[i] - prev);
|
||||
prev = (i == 0 ? 0 : insn_end_off[i - 1]);
|
||||
curr = insn_end_off[i];
|
||||
p = encode_sleb128(p, curr - prev);
|
||||
|
||||
/* Test for (pending) buffer overflow. The assumption is that any
|
||||
one row beginning below the high water mark cannot overrun
|
||||
|
@ -358,6 +363,7 @@ TranslationBlock *tb_gen_code(CPUState *cpu,
|
|||
tcg_ctx->tlb_fast_offset =
|
||||
(int)offsetof(ArchCPU, neg.tlb.f) - (int)offsetof(ArchCPU, env);
|
||||
#endif
|
||||
tcg_ctx->insn_start_words = TARGET_INSN_START_WORDS;
|
||||
|
||||
tb_overflow:
|
||||
|
||||
|
@ -451,7 +457,7 @@ TranslationBlock *tb_gen_code(CPUState *cpu,
|
|||
fprintf(logfile, "OUT: [size=%d]\n", gen_code_size);
|
||||
fprintf(logfile,
|
||||
" -- guest addr 0x%016" PRIx64 " + tb prologue\n",
|
||||
tcg_ctx->gen_insn_data[insn][0]);
|
||||
tcg_ctx->gen_insn_data[insn * TARGET_INSN_START_WORDS]);
|
||||
chunk_start = tcg_ctx->gen_insn_end_off[insn];
|
||||
disas(logfile, tb->tc.ptr, chunk_start);
|
||||
|
||||
|
@ -464,7 +470,7 @@ TranslationBlock *tb_gen_code(CPUState *cpu,
|
|||
size_t chunk_end = tcg_ctx->gen_insn_end_off[insn];
|
||||
if (chunk_end > chunk_start) {
|
||||
fprintf(logfile, " -- guest addr 0x%016" PRIx64 "\n",
|
||||
tcg_ctx->gen_insn_data[insn][0]);
|
||||
tcg_ctx->gen_insn_data[insn * TARGET_INSN_START_WORDS]);
|
||||
disas(logfile, tb->tc.ptr + chunk_start,
|
||||
chunk_end - chunk_start);
|
||||
chunk_start = chunk_end;
|
||||
|
|
|
@ -0,0 +1,17 @@
|
|||
/* SPDX-License-Identifier: MIT */
|
||||
/*
|
||||
* Define TARGET_INSN_START_WORDS
|
||||
* Copyright (c) 2008 Fabrice Bellard
|
||||
*/
|
||||
|
||||
#ifndef TARGET_INSN_START_WORDS
|
||||
|
||||
#include "cpu.h"
|
||||
|
||||
#ifndef TARGET_INSN_START_EXTRA_WORDS
|
||||
# define TARGET_INSN_START_WORDS 1
|
||||
#else
|
||||
# define TARGET_INSN_START_WORDS (1 + TARGET_INSN_START_EXTRA_WORDS)
|
||||
#endif
|
||||
|
||||
#endif /* TARGET_INSN_START_WORDS */
|
|
@ -22,20 +22,20 @@
|
|||
# error
|
||||
#endif
|
||||
|
||||
#if TARGET_INSN_START_WORDS == 1
|
||||
#ifndef TARGET_INSN_START_EXTRA_WORDS
|
||||
static inline void tcg_gen_insn_start(target_ulong pc)
|
||||
{
|
||||
TCGOp *op = tcg_emit_op(INDEX_op_insn_start, 64 / TCG_TARGET_REG_BITS);
|
||||
tcg_set_insn_start_param(op, 0, pc);
|
||||
}
|
||||
#elif TARGET_INSN_START_WORDS == 2
|
||||
#elif TARGET_INSN_START_EXTRA_WORDS == 1
|
||||
static inline void tcg_gen_insn_start(target_ulong pc, target_ulong a1)
|
||||
{
|
||||
TCGOp *op = tcg_emit_op(INDEX_op_insn_start, 2 * 64 / TCG_TARGET_REG_BITS);
|
||||
tcg_set_insn_start_param(op, 0, pc);
|
||||
tcg_set_insn_start_param(op, 1, a1);
|
||||
}
|
||||
#elif TARGET_INSN_START_WORDS == 3
|
||||
#elif TARGET_INSN_START_EXTRA_WORDS == 2
|
||||
static inline void tcg_gen_insn_start(target_ulong pc, target_ulong a1,
|
||||
target_ulong a2)
|
||||
{
|
||||
|
@ -45,7 +45,7 @@ static inline void tcg_gen_insn_start(target_ulong pc, target_ulong a1,
|
|||
tcg_set_insn_start_param(op, 2, a2);
|
||||
}
|
||||
#else
|
||||
# error "Unhandled number of operands to insn_start"
|
||||
#error Unhandled TARGET_INSN_START_EXTRA_WORDS value
|
||||
#endif
|
||||
|
||||
#if TARGET_LONG_BITS == 32
|
||||
|
|
|
@ -188,9 +188,9 @@ DEF(mulsh_i64, 1, 2, 0, IMPL64 | IMPL(TCG_TARGET_HAS_mulsh_i64))
|
|||
|
||||
#define DATA64_ARGS (TCG_TARGET_REG_BITS == 64 ? 1 : 2)
|
||||
|
||||
/* QEMU specific */
|
||||
DEF(insn_start, 0, 0, DATA64_ARGS * TARGET_INSN_START_WORDS,
|
||||
TCG_OPF_NOT_PRESENT)
|
||||
/* There are tcg_ctx->insn_start_words here, not just one. */
|
||||
DEF(insn_start, 0, 0, DATA64_ARGS, TCG_OPF_NOT_PRESENT)
|
||||
|
||||
DEF(exit_tb, 0, 0, 1, TCG_OPF_BB_EXIT | TCG_OPF_BB_END)
|
||||
DEF(goto_tb, 0, 0, 1, TCG_OPF_BB_EXIT | TCG_OPF_BB_END)
|
||||
DEF(goto_ptr, 0, 1, 0, TCG_OPF_BB_EXIT | TCG_OPF_BB_END)
|
||||
|
|
|
@ -173,12 +173,6 @@ typedef uint64_t TCGRegSet;
|
|||
#define TCG_TARGET_HAS_v256 0
|
||||
#endif
|
||||
|
||||
#ifndef TARGET_INSN_START_EXTRA_WORDS
|
||||
# define TARGET_INSN_START_WORDS 1
|
||||
#else
|
||||
# define TARGET_INSN_START_WORDS (1 + TARGET_INSN_START_EXTRA_WORDS)
|
||||
#endif
|
||||
|
||||
typedef enum TCGOpcode {
|
||||
#define DEF(name, oargs, iargs, cargs, flags) INDEX_op_ ## name,
|
||||
#include "tcg/tcg-opc.h"
|
||||
|
@ -526,6 +520,7 @@ struct TCGContext {
|
|||
uint8_t page_bits;
|
||||
uint8_t tlb_dyn_max_bits;
|
||||
#endif
|
||||
uint8_t insn_start_words;
|
||||
|
||||
TCGRegSet reserved_regs;
|
||||
intptr_t current_frame_offset;
|
||||
|
@ -597,7 +592,7 @@ struct TCGContext {
|
|||
TCGTemp *reg_to_temp[TCG_TARGET_NB_REGS];
|
||||
|
||||
uint16_t gen_insn_end_off[TCG_MAX_INSNS];
|
||||
uint64_t gen_insn_data[TCG_MAX_INSNS][TARGET_INSN_START_WORDS];
|
||||
uint64_t *gen_insn_data;
|
||||
|
||||
/* Exit to translator on overflow. */
|
||||
sigjmp_buf jmp_trans;
|
||||
|
|
|
@ -29,7 +29,7 @@
|
|||
#endif
|
||||
#include "qemu/log.h"
|
||||
#ifdef CONFIG_TCG
|
||||
#include "tcg/tcg.h"
|
||||
#include "tcg/insn-start-words.h"
|
||||
#endif
|
||||
|
||||
void cpu_sync_avx_hflag(CPUX86State *env)
|
||||
|
|
|
@ -26,7 +26,7 @@
|
|||
#ifndef CONFIG_USER_ONLY
|
||||
#include "hw/boards.h"
|
||||
#endif
|
||||
#include "tcg/tcg.h"
|
||||
#include "tcg/insn-start-words.h"
|
||||
|
||||
#define TO_SPR(group, number) (((group) << 11) + (number))
|
||||
|
||||
|
|
16
tcg/tcg.c
16
tcg/tcg.c
|
@ -1501,6 +1501,8 @@ void tcg_func_start(TCGContext *s)
|
|||
tcg_debug_assert(s->tlb_fast_offset < 0);
|
||||
tcg_debug_assert(s->tlb_fast_offset >= MIN_TLB_MASK_TABLE_OFS);
|
||||
#endif
|
||||
|
||||
tcg_debug_assert(s->insn_start_words > 0);
|
||||
}
|
||||
|
||||
static TCGTemp *tcg_temp_alloc(TCGContext *s)
|
||||
|
@ -2445,7 +2447,7 @@ static void tcg_dump_ops(TCGContext *s, FILE *f, bool have_prefs)
|
|||
nb_oargs = 0;
|
||||
col += ne_fprintf(f, "\n ----");
|
||||
|
||||
for (i = 0; i < TARGET_INSN_START_WORDS; ++i) {
|
||||
for (i = 0, k = s->insn_start_words; i < k; ++i) {
|
||||
col += ne_fprintf(f, " %016" PRIx64,
|
||||
tcg_get_insn_start_param(op, i));
|
||||
}
|
||||
|
@ -6024,7 +6026,7 @@ int tcg_gen_code(TCGContext *s, TranslationBlock *tb, uint64_t pc_start)
|
|||
#ifdef CONFIG_PROFILER
|
||||
TCGProfile *prof = &s->prof;
|
||||
#endif
|
||||
int i, num_insns;
|
||||
int i, start_words, num_insns;
|
||||
TCGOp *op;
|
||||
|
||||
#ifdef CONFIG_PROFILER
|
||||
|
@ -6147,6 +6149,10 @@ int tcg_gen_code(TCGContext *s, TranslationBlock *tb, uint64_t pc_start)
|
|||
s->pool_labels = NULL;
|
||||
#endif
|
||||
|
||||
start_words = s->insn_start_words;
|
||||
s->gen_insn_data =
|
||||
tcg_malloc(sizeof(uint64_t) * s->gen_tb->icount * start_words);
|
||||
|
||||
num_insns = -1;
|
||||
QTAILQ_FOREACH(op, &s->ops, link) {
|
||||
TCGOpcode opc = op->opc;
|
||||
|
@ -6172,8 +6178,8 @@ int tcg_gen_code(TCGContext *s, TranslationBlock *tb, uint64_t pc_start)
|
|||
assert(s->gen_insn_end_off[num_insns] == off);
|
||||
}
|
||||
num_insns++;
|
||||
for (i = 0; i < TARGET_INSN_START_WORDS; ++i) {
|
||||
s->gen_insn_data[num_insns][i] =
|
||||
for (i = 0; i < start_words; ++i) {
|
||||
s->gen_insn_data[num_insns * start_words + i] =
|
||||
tcg_get_insn_start_param(op, i);
|
||||
}
|
||||
break;
|
||||
|
@ -6219,7 +6225,7 @@ int tcg_gen_code(TCGContext *s, TranslationBlock *tb, uint64_t pc_start)
|
|||
return -2;
|
||||
}
|
||||
}
|
||||
tcg_debug_assert(num_insns >= 0);
|
||||
tcg_debug_assert(num_insns + 1 == s->gen_tb->icount);
|
||||
s->gen_insn_end_off[num_insns] = tcg_current_code_size(s);
|
||||
|
||||
/* Generate TB finalization at the end of block */
|
||||
|
|
Loading…
Reference in New Issue