xref: /qemu/accel/tcg/plugin-gen.c (revision 04e006ab36a8565b92d4e21dd346367fbade7d74)
138b47b19SEmilio G. Cota /*
238b47b19SEmilio G. Cota  * plugin-gen.c - TCG-related bits of plugin infrastructure
338b47b19SEmilio G. Cota  *
438b47b19SEmilio G. Cota  * Copyright (C) 2018, Emilio G. Cota <cota@braap.org>
538b47b19SEmilio G. Cota  * License: GNU GPL, version 2 or later.
638b47b19SEmilio G. Cota  *   See the COPYING file in the top-level directory.
738b47b19SEmilio G. Cota  *
838b47b19SEmilio G. Cota  * We support instrumentation at an instruction granularity. That is,
938b47b19SEmilio G. Cota  * if a plugin wants to instrument the memory accesses performed by a
1038b47b19SEmilio G. Cota  * particular instruction, it can just do that instead of instrumenting
1138b47b19SEmilio G. Cota  * all memory accesses. Thus, in order to do this we first have to
1238b47b19SEmilio G. Cota  * translate a TB, so that plugins can decide what/where to instrument.
1338b47b19SEmilio G. Cota  *
1438b47b19SEmilio G. Cota  * Injecting the desired instrumentation could be done with a second
1538b47b19SEmilio G. Cota  * translation pass that combined the instrumentation requests, but that
1638b47b19SEmilio G. Cota  * would be ugly and inefficient since we would decode the guest code twice.
17917d7f8dSRichard Henderson  * Instead, during TB translation we add "plugin_cb" marker opcodes
18917d7f8dSRichard Henderson  * for all possible instrumentation events, and then once we collect the
19917d7f8dSRichard Henderson  * instrumentation requests from plugins, we generate code for those markers
20917d7f8dSRichard Henderson  * or remove them if they have no requests.
2138b47b19SEmilio G. Cota  */
2238b47b19SEmilio G. Cota #include "qemu/osdep.h"
23c0061471SAlex Bennée #include "qemu/plugin.h"
24b384c734SRichard Henderson #include "qemu/log.h"
25cac9b0fdSRichard Henderson #include "cpu.h"
2638b47b19SEmilio G. Cota #include "tcg/tcg.h"
2747f7313dSRichard Henderson #include "tcg/tcg-temp-internal.h"
2838b47b19SEmilio G. Cota #include "tcg/tcg-op.h"
2938b47b19SEmilio G. Cota #include "exec/exec-all.h"
3038b47b19SEmilio G. Cota #include "exec/plugin-gen.h"
3138b47b19SEmilio G. Cota #include "exec/translator.h"
3238b47b19SEmilio G. Cota 
3338b47b19SEmilio G. Cota enum plugin_gen_from {
3438b47b19SEmilio G. Cota     PLUGIN_GEN_FROM_TB,
3538b47b19SEmilio G. Cota     PLUGIN_GEN_FROM_INSN,
3638b47b19SEmilio G. Cota     PLUGIN_GEN_AFTER_INSN,
3774bb8accSRichard Henderson     PLUGIN_GEN_AFTER_TB,
3838b47b19SEmilio G. Cota };
3938b47b19SEmilio G. Cota 
4038b47b19SEmilio G. Cota /* called before finishing a TB with exit_tb, goto_tb or goto_ptr */
4138b47b19SEmilio G. Cota void plugin_gen_disable_mem_helpers(void)
4238b47b19SEmilio G. Cota {
4374bb8accSRichard Henderson     if (tcg_ctx->plugin_insn) {
4474bb8accSRichard Henderson         tcg_gen_plugin_cb(PLUGIN_GEN_AFTER_TB);
4538b47b19SEmilio G. Cota     }
4638b47b19SEmilio G. Cota }
4738b47b19SEmilio G. Cota 
48ac977170SRichard Henderson static void gen_enable_mem_helper(struct qemu_plugin_tb *ptb,
49ac977170SRichard Henderson                                   struct qemu_plugin_insn *insn)
5038b47b19SEmilio G. Cota {
51ac977170SRichard Henderson     GArray *arr;
52db409c01SRichard Henderson     size_t len;
53ac977170SRichard Henderson 
54ac977170SRichard Henderson     /*
55ac977170SRichard Henderson      * Tracking memory accesses performed from helpers requires extra work.
56ac977170SRichard Henderson      * If an instruction is emulated with helpers, we do two things:
57ac977170SRichard Henderson      * (1) copy the CB descriptors, and keep track of it so that they can be
5880f034c5SPhilippe Mathieu-Daudé      * freed later on, and (2) point CPUState.neg.plugin_mem_cbs to the
59ac977170SRichard Henderson      * descriptors, so that we can read them at run-time
60ac977170SRichard Henderson      * (i.e. when the helper executes).
61ac977170SRichard Henderson      * This run-time access is performed from qemu_plugin_vcpu_mem_cb.
62ac977170SRichard Henderson      *
63ac977170SRichard Henderson      * Note that plugin_gen_disable_mem_helpers undoes (2). Since it
64ac977170SRichard Henderson      * is possible that the code we generate after the instruction is
65ac977170SRichard Henderson      * dead, we also add checks before generating tb_exit etc.
66ac977170SRichard Henderson      */
67ac977170SRichard Henderson     if (!insn->calls_helpers) {
68ac977170SRichard Henderson         return;
69ac977170SRichard Henderson     }
70ac977170SRichard Henderson 
71db409c01SRichard Henderson     if (!insn->mem_cbs || !insn->mem_cbs->len) {
72ac977170SRichard Henderson         insn->mem_helper = false;
73ac977170SRichard Henderson         return;
74ac977170SRichard Henderson     }
75ac977170SRichard Henderson     insn->mem_helper = true;
76ac977170SRichard Henderson     ptb->mem_helper = true;
77ac977170SRichard Henderson 
78db409c01SRichard Henderson     /*
79db409c01SRichard Henderson      * TODO: It seems like we should be able to use ref/unref
80db409c01SRichard Henderson      * to avoid needing to actually copy this array.
81db409c01SRichard Henderson      * Alternately, perhaps we could allocate new memory adjacent
82db409c01SRichard Henderson      * to the TranslationBlock itself, so that we do not have to
83db409c01SRichard Henderson      * actively manage the lifetime after this.
84db409c01SRichard Henderson      */
85db409c01SRichard Henderson     len = insn->mem_cbs->len;
86ac977170SRichard Henderson     arr = g_array_sized_new(false, false,
87db409c01SRichard Henderson                             sizeof(struct qemu_plugin_dyn_cb), len);
8894ae227eSPierrick Bouvier     g_array_append_vals(arr, insn->mem_cbs->data, len);
89ac977170SRichard Henderson     qemu_plugin_add_dyn_cb_arr(arr);
90ac977170SRichard Henderson 
91ac977170SRichard Henderson     tcg_gen_st_ptr(tcg_constant_ptr((intptr_t)arr), tcg_env,
9280f034c5SPhilippe Mathieu-Daudé                    offsetof(CPUState, neg.plugin_mem_cbs) -
93ac977170SRichard Henderson                    offsetof(ArchCPU, env));
9438b47b19SEmilio G. Cota }
9538b47b19SEmilio G. Cota 
9674bb8accSRichard Henderson static void gen_disable_mem_helper(void)
9738b47b19SEmilio G. Cota {
98a0948bb7SRichard Henderson     tcg_gen_st_ptr(tcg_constant_ptr(0), tcg_env,
9980f034c5SPhilippe Mathieu-Daudé                    offsetof(CPUState, neg.plugin_mem_cbs) -
100a0948bb7SRichard Henderson                    offsetof(ArchCPU, env));
101a0948bb7SRichard Henderson }
10238b47b19SEmilio G. Cota 
103b95b78dcSPierrick Bouvier static TCGv_i32 gen_cpu_index(void)
10421a3f62fSRichard Henderson {
10521a3f62fSRichard Henderson     TCGv_i32 cpu_index = tcg_temp_ebb_new_i32();
10621a3f62fSRichard Henderson     tcg_gen_ld_i32(cpu_index, tcg_env,
10721a3f62fSRichard Henderson                    -offsetof(ArchCPU, env) + offsetof(CPUState, cpu_index));
108b95b78dcSPierrick Bouvier     return cpu_index;
109b95b78dcSPierrick Bouvier }
110b95b78dcSPierrick Bouvier 
111b95b78dcSPierrick Bouvier static void gen_udata_cb(struct qemu_plugin_regular_cb *cb)
112b95b78dcSPierrick Bouvier {
113b95b78dcSPierrick Bouvier     TCGv_i32 cpu_index = gen_cpu_index();
114f86fd4d8SPierrick Bouvier     tcg_gen_call2(cb->f.vcpu_udata, cb->info, NULL,
11521a3f62fSRichard Henderson                   tcgv_i32_temp(cpu_index),
11621a3f62fSRichard Henderson                   tcgv_ptr_temp(tcg_constant_ptr(cb->userp)));
11721a3f62fSRichard Henderson     tcg_temp_free_i32(cpu_index);
11821a3f62fSRichard Henderson }
11921a3f62fSRichard Henderson 
120299c82b8SPierrick Bouvier static TCGv_ptr gen_plugin_u64_ptr(qemu_plugin_u64 entry)
12121a3f62fSRichard Henderson {
12221a3f62fSRichard Henderson     TCGv_ptr ptr = tcg_temp_ebb_new_ptr();
12321a3f62fSRichard Henderson 
124299c82b8SPierrick Bouvier     GArray *arr = entry.score->data;
125299c82b8SPierrick Bouvier     char *base_ptr = arr->data + entry.offset;
126299c82b8SPierrick Bouvier     size_t entry_size = g_array_get_element_size(arr);
127299c82b8SPierrick Bouvier 
128b95b78dcSPierrick Bouvier     TCGv_i32 cpu_index = gen_cpu_index();
129299c82b8SPierrick Bouvier     tcg_gen_muli_i32(cpu_index, cpu_index, entry_size);
13021a3f62fSRichard Henderson     tcg_gen_ext_i32_ptr(ptr, cpu_index);
13121a3f62fSRichard Henderson     tcg_temp_free_i32(cpu_index);
132299c82b8SPierrick Bouvier     tcg_gen_addi_ptr(ptr, ptr, (intptr_t) base_ptr);
13321a3f62fSRichard Henderson 
134299c82b8SPierrick Bouvier     return ptr;
135299c82b8SPierrick Bouvier }
136299c82b8SPierrick Bouvier 
1377de77d37SPierrick Bouvier static TCGCond plugin_cond_to_tcgcond(enum qemu_plugin_cond cond)
1387de77d37SPierrick Bouvier {
1397de77d37SPierrick Bouvier     switch (cond) {
1407de77d37SPierrick Bouvier     case QEMU_PLUGIN_COND_EQ:
1417de77d37SPierrick Bouvier         return TCG_COND_EQ;
1427de77d37SPierrick Bouvier     case QEMU_PLUGIN_COND_NE:
1437de77d37SPierrick Bouvier         return TCG_COND_NE;
1447de77d37SPierrick Bouvier     case QEMU_PLUGIN_COND_LT:
1457de77d37SPierrick Bouvier         return TCG_COND_LTU;
1467de77d37SPierrick Bouvier     case QEMU_PLUGIN_COND_LE:
1477de77d37SPierrick Bouvier         return TCG_COND_LEU;
1487de77d37SPierrick Bouvier     case QEMU_PLUGIN_COND_GT:
1497de77d37SPierrick Bouvier         return TCG_COND_GTU;
1507de77d37SPierrick Bouvier     case QEMU_PLUGIN_COND_GE:
1517de77d37SPierrick Bouvier         return TCG_COND_GEU;
1527de77d37SPierrick Bouvier     default:
1537de77d37SPierrick Bouvier         /* ALWAYS and NEVER conditions should never reach */
1547de77d37SPierrick Bouvier         g_assert_not_reached();
1557de77d37SPierrick Bouvier     }
1567de77d37SPierrick Bouvier }
1577de77d37SPierrick Bouvier 
158f86fd4d8SPierrick Bouvier static void gen_udata_cond_cb(struct qemu_plugin_conditional_cb *cb)
1597de77d37SPierrick Bouvier {
160f86fd4d8SPierrick Bouvier     TCGv_ptr ptr = gen_plugin_u64_ptr(cb->entry);
1617de77d37SPierrick Bouvier     TCGv_i64 val = tcg_temp_ebb_new_i64();
1627de77d37SPierrick Bouvier     TCGLabel *after_cb = gen_new_label();
1637de77d37SPierrick Bouvier 
1647de77d37SPierrick Bouvier     /* Condition should be negated, as calling the cb is the "else" path */
165f86fd4d8SPierrick Bouvier     TCGCond cond = tcg_invert_cond(plugin_cond_to_tcgcond(cb->cond));
1667de77d37SPierrick Bouvier 
1677de77d37SPierrick Bouvier     tcg_gen_ld_i64(val, ptr, 0);
168f86fd4d8SPierrick Bouvier     tcg_gen_brcondi_i64(cond, val, cb->imm, after_cb);
169b95b78dcSPierrick Bouvier     TCGv_i32 cpu_index = gen_cpu_index();
170f86fd4d8SPierrick Bouvier     tcg_gen_call2(cb->f.vcpu_udata, cb->info, NULL,
1717de77d37SPierrick Bouvier                   tcgv_i32_temp(cpu_index),
1727de77d37SPierrick Bouvier                   tcgv_ptr_temp(tcg_constant_ptr(cb->userp)));
173b95b78dcSPierrick Bouvier     tcg_temp_free_i32(cpu_index);
1747de77d37SPierrick Bouvier     gen_set_label(after_cb);
1757de77d37SPierrick Bouvier 
1767de77d37SPierrick Bouvier     tcg_temp_free_i64(val);
1777de77d37SPierrick Bouvier     tcg_temp_free_ptr(ptr);
1787de77d37SPierrick Bouvier }
1797de77d37SPierrick Bouvier 
180f86fd4d8SPierrick Bouvier static void gen_inline_add_u64_cb(struct qemu_plugin_inline_cb *cb)
181299c82b8SPierrick Bouvier {
182f86fd4d8SPierrick Bouvier     TCGv_ptr ptr = gen_plugin_u64_ptr(cb->entry);
183299c82b8SPierrick Bouvier     TCGv_i64 val = tcg_temp_ebb_new_i64();
184299c82b8SPierrick Bouvier 
185299c82b8SPierrick Bouvier     tcg_gen_ld_i64(val, ptr, 0);
186f86fd4d8SPierrick Bouvier     tcg_gen_addi_i64(val, val, cb->imm);
187299c82b8SPierrick Bouvier     tcg_gen_st_i64(val, ptr, 0);
18821a3f62fSRichard Henderson 
18921a3f62fSRichard Henderson     tcg_temp_free_i64(val);
19021a3f62fSRichard Henderson     tcg_temp_free_ptr(ptr);
19121a3f62fSRichard Henderson }
19221a3f62fSRichard Henderson 
193f86fd4d8SPierrick Bouvier static void gen_inline_store_u64_cb(struct qemu_plugin_inline_cb *cb)
19436a1d8e7SPierrick Bouvier {
195f86fd4d8SPierrick Bouvier     TCGv_ptr ptr = gen_plugin_u64_ptr(cb->entry);
196f86fd4d8SPierrick Bouvier     TCGv_i64 val = tcg_constant_i64(cb->imm);
19736a1d8e7SPierrick Bouvier 
19836a1d8e7SPierrick Bouvier     tcg_gen_st_i64(val, ptr, 0);
19936a1d8e7SPierrick Bouvier 
20036a1d8e7SPierrick Bouvier     tcg_temp_free_ptr(ptr);
20136a1d8e7SPierrick Bouvier }
20236a1d8e7SPierrick Bouvier 
203f86fd4d8SPierrick Bouvier static void gen_mem_cb(struct qemu_plugin_regular_cb *cb,
2048a2927f2SRichard Henderson                        qemu_plugin_meminfo_t meminfo, TCGv_i64 addr)
2058a2927f2SRichard Henderson {
206b95b78dcSPierrick Bouvier     TCGv_i32 cpu_index = gen_cpu_index();
207f86fd4d8SPierrick Bouvier     tcg_gen_call4(cb->f.vcpu_mem, cb->info, NULL,
2088a2927f2SRichard Henderson                   tcgv_i32_temp(cpu_index),
2098a2927f2SRichard Henderson                   tcgv_i32_temp(tcg_constant_i32(meminfo)),
2108a2927f2SRichard Henderson                   tcgv_i64_temp(addr),
2118a2927f2SRichard Henderson                   tcgv_ptr_temp(tcg_constant_ptr(cb->userp)));
2128a2927f2SRichard Henderson     tcg_temp_free_i32(cpu_index);
2138a2927f2SRichard Henderson }
2148a2927f2SRichard Henderson 
2157e53aa21SRichard Henderson static void inject_cb(struct qemu_plugin_dyn_cb *cb)
2167e53aa21SRichard Henderson 
2177e53aa21SRichard Henderson {
2187e53aa21SRichard Henderson     switch (cb->type) {
2197e53aa21SRichard Henderson     case PLUGIN_CB_REGULAR:
220f86fd4d8SPierrick Bouvier         gen_udata_cb(&cb->regular);
2217e53aa21SRichard Henderson         break;
2227de77d37SPierrick Bouvier     case PLUGIN_CB_COND:
223f86fd4d8SPierrick Bouvier         gen_udata_cond_cb(&cb->cond);
2247de77d37SPierrick Bouvier         break;
22521032784SPierrick Bouvier     case PLUGIN_CB_INLINE_ADD_U64:
226f86fd4d8SPierrick Bouvier         gen_inline_add_u64_cb(&cb->inline_insn);
2277e53aa21SRichard Henderson         break;
22836a1d8e7SPierrick Bouvier     case PLUGIN_CB_INLINE_STORE_U64:
229f86fd4d8SPierrick Bouvier         gen_inline_store_u64_cb(&cb->inline_insn);
23036a1d8e7SPierrick Bouvier         break;
2317e53aa21SRichard Henderson     default:
2327e53aa21SRichard Henderson         g_assert_not_reached();
2337e53aa21SRichard Henderson     }
2347e53aa21SRichard Henderson }
2357e53aa21SRichard Henderson 
2367e53aa21SRichard Henderson static void inject_mem_cb(struct qemu_plugin_dyn_cb *cb,
2377e53aa21SRichard Henderson                           enum qemu_plugin_mem_rw rw,
2387e53aa21SRichard Henderson                           qemu_plugin_meminfo_t meminfo, TCGv_i64 addr)
2397e53aa21SRichard Henderson {
2407e53aa21SRichard Henderson     switch (cb->type) {
2417e53aa21SRichard Henderson     case PLUGIN_CB_MEM_REGULAR:
242ca7d7f42SPierrick Bouvier         if (rw & cb->regular.rw) {
243f86fd4d8SPierrick Bouvier             gen_mem_cb(&cb->regular, meminfo, addr);
244f86fd4d8SPierrick Bouvier         }
245f86fd4d8SPierrick Bouvier         break;
246f86fd4d8SPierrick Bouvier     case PLUGIN_CB_INLINE_ADD_U64:
247f86fd4d8SPierrick Bouvier     case PLUGIN_CB_INLINE_STORE_U64:
248ca7d7f42SPierrick Bouvier         if (rw & cb->inline_insn.rw) {
249f86fd4d8SPierrick Bouvier             inject_cb(cb);
250f86fd4d8SPierrick Bouvier         }
2517e53aa21SRichard Henderson         break;
2527e53aa21SRichard Henderson     default:
253f86fd4d8SPierrick Bouvier         g_assert_not_reached();
2547e53aa21SRichard Henderson     }
2557e53aa21SRichard Henderson }
2567e53aa21SRichard Henderson 
2573fd62e73SEmilio Cota static void plugin_gen_inject(struct qemu_plugin_tb *plugin_tb)
25838b47b19SEmilio G. Cota {
259a0948bb7SRichard Henderson     TCGOp *op, *next;
260453d50ceSAlex Bennée     int insn_idx = -1;
26138b47b19SEmilio G. Cota 
262b384c734SRichard Henderson     if (unlikely(qemu_loglevel_mask(LOG_TB_OP_PLUGIN)
263e763953aSRichard Henderson                  && qemu_log_in_addr_range(tcg_ctx->plugin_db->pc_first))) {
264b384c734SRichard Henderson         FILE *logfile = qemu_log_trylock();
265b384c734SRichard Henderson         if (logfile) {
266b384c734SRichard Henderson             fprintf(logfile, "OP before plugin injection:\n");
267b384c734SRichard Henderson             tcg_dump_ops(tcg_ctx, logfile, false);
268b384c734SRichard Henderson             fprintf(logfile, "\n");
269b384c734SRichard Henderson             qemu_log_unlock(logfile);
270b384c734SRichard Henderson         }
271b384c734SRichard Henderson     }
272453d50ceSAlex Bennée 
273a0948bb7SRichard Henderson     /*
274a0948bb7SRichard Henderson      * While injecting code, we cannot afford to reuse any ebb temps
275a0948bb7SRichard Henderson      * that might be live within the existing opcode stream.
276a0948bb7SRichard Henderson      * The simplest solution is to release them all and create new.
277a0948bb7SRichard Henderson      */
278*04e006abSRichard Henderson     tcg_temp_ebb_reset_freed(tcg_ctx);
279a0948bb7SRichard Henderson 
280a0948bb7SRichard Henderson     QTAILQ_FOREACH_SAFE(op, &tcg_ctx->ops, link, next) {
281453d50ceSAlex Bennée         switch (op->opc) {
282453d50ceSAlex Bennée         case INDEX_op_insn_start:
283453d50ceSAlex Bennée             insn_idx++;
284453d50ceSAlex Bennée             break;
285a0948bb7SRichard Henderson 
286a0948bb7SRichard Henderson         case INDEX_op_plugin_cb:
287a0948bb7SRichard Henderson         {
288a0948bb7SRichard Henderson             enum plugin_gen_from from = op->args[0];
289a0948bb7SRichard Henderson             struct qemu_plugin_insn *insn = NULL;
29021a3f62fSRichard Henderson             const GArray *cbs;
29121a3f62fSRichard Henderson             int i, n;
292a0948bb7SRichard Henderson 
293a0948bb7SRichard Henderson             if (insn_idx >= 0) {
294a0948bb7SRichard Henderson                 insn = g_ptr_array_index(plugin_tb->insns, insn_idx);
295a0948bb7SRichard Henderson             }
296a0948bb7SRichard Henderson 
297a0948bb7SRichard Henderson             tcg_ctx->emit_before_op = op;
298a0948bb7SRichard Henderson 
299a0948bb7SRichard Henderson             switch (from) {
30074bb8accSRichard Henderson             case PLUGIN_GEN_AFTER_TB:
30174bb8accSRichard Henderson                 if (plugin_tb->mem_helper) {
30274bb8accSRichard Henderson                     gen_disable_mem_helper();
30374bb8accSRichard Henderson                 }
30474bb8accSRichard Henderson                 break;
30574bb8accSRichard Henderson 
306a0948bb7SRichard Henderson             case PLUGIN_GEN_AFTER_INSN:
307a0948bb7SRichard Henderson                 assert(insn != NULL);
30874bb8accSRichard Henderson                 if (insn->mem_helper) {
30974bb8accSRichard Henderson                     gen_disable_mem_helper();
31074bb8accSRichard Henderson                 }
311a0948bb7SRichard Henderson                 break;
31221a3f62fSRichard Henderson 
31321a3f62fSRichard Henderson             case PLUGIN_GEN_FROM_TB:
31421a3f62fSRichard Henderson                 assert(insn == NULL);
31521a3f62fSRichard Henderson 
316db409c01SRichard Henderson                 cbs = plugin_tb->cbs;
31721a3f62fSRichard Henderson                 for (i = 0, n = (cbs ? cbs->len : 0); i < n; i++) {
3187e53aa21SRichard Henderson                     inject_cb(
3197e53aa21SRichard Henderson                         &g_array_index(cbs, struct qemu_plugin_dyn_cb, i));
32021a3f62fSRichard Henderson                 }
32121a3f62fSRichard Henderson                 break;
32221a3f62fSRichard Henderson 
323ac977170SRichard Henderson             case PLUGIN_GEN_FROM_INSN:
324ac977170SRichard Henderson                 assert(insn != NULL);
325ac977170SRichard Henderson 
326ac977170SRichard Henderson                 gen_enable_mem_helper(plugin_tb, insn);
327ac977170SRichard Henderson 
328db409c01SRichard Henderson                 cbs = insn->insn_cbs;
329ac977170SRichard Henderson                 for (i = 0, n = (cbs ? cbs->len : 0); i < n; i++) {
3307e53aa21SRichard Henderson                     inject_cb(
3317e53aa21SRichard Henderson                         &g_array_index(cbs, struct qemu_plugin_dyn_cb, i));
332ac977170SRichard Henderson                 }
333ac977170SRichard Henderson                 break;
334ac977170SRichard Henderson 
335a0948bb7SRichard Henderson             default:
336a0948bb7SRichard Henderson                 g_assert_not_reached();
337a0948bb7SRichard Henderson             }
338a0948bb7SRichard Henderson 
339a0948bb7SRichard Henderson             tcg_ctx->emit_before_op = NULL;
340a0948bb7SRichard Henderson             tcg_op_remove(tcg_ctx, op);
341a0948bb7SRichard Henderson             break;
342a0948bb7SRichard Henderson         }
343a0948bb7SRichard Henderson 
3448a2927f2SRichard Henderson         case INDEX_op_plugin_mem_cb:
345453d50ceSAlex Bennée         {
3468a2927f2SRichard Henderson             TCGv_i64 addr = temp_tcgv_i64(arg_temp(op->args[0]));
3478a2927f2SRichard Henderson             qemu_plugin_meminfo_t meminfo = op->args[1];
3487e53aa21SRichard Henderson             enum qemu_plugin_mem_rw rw =
3497e53aa21SRichard Henderson                 (qemu_plugin_mem_is_store(meminfo)
3507e53aa21SRichard Henderson                  ? QEMU_PLUGIN_MEM_W : QEMU_PLUGIN_MEM_R);
3518a2927f2SRichard Henderson             struct qemu_plugin_insn *insn;
3528a2927f2SRichard Henderson             const GArray *cbs;
3537e53aa21SRichard Henderson             int i, n;
35438b47b19SEmilio G. Cota 
3558a2927f2SRichard Henderson             assert(insn_idx >= 0);
3568a2927f2SRichard Henderson             insn = g_ptr_array_index(plugin_tb->insns, insn_idx);
357453d50ceSAlex Bennée 
3588a2927f2SRichard Henderson             tcg_ctx->emit_before_op = op;
3598a2927f2SRichard Henderson 
360db409c01SRichard Henderson             cbs = insn->mem_cbs;
3618a2927f2SRichard Henderson             for (i = 0, n = (cbs ? cbs->len : 0); i < n; i++) {
3627e53aa21SRichard Henderson                 inject_mem_cb(&g_array_index(cbs, struct qemu_plugin_dyn_cb, i),
3637e53aa21SRichard Henderson                               rw, meminfo, addr);
3648a2927f2SRichard Henderson             }
3658a2927f2SRichard Henderson 
3668a2927f2SRichard Henderson             tcg_ctx->emit_before_op = NULL;
3678a2927f2SRichard Henderson             tcg_op_remove(tcg_ctx, op);
368453d50ceSAlex Bennée             break;
369453d50ceSAlex Bennée         }
3708a2927f2SRichard Henderson 
371453d50ceSAlex Bennée         default:
372453d50ceSAlex Bennée             /* plugins don't care about any other ops */
373453d50ceSAlex Bennée             break;
374453d50ceSAlex Bennée         }
37538b47b19SEmilio G. Cota     }
37638b47b19SEmilio G. Cota }
37738b47b19SEmilio G. Cota 
378e5013259SRichard Henderson bool plugin_gen_tb_start(CPUState *cpu, const DisasContextBase *db)
37938b47b19SEmilio G. Cota {
38034e5e1ddSRichard Henderson     struct qemu_plugin_tb *ptb;
38138b47b19SEmilio G. Cota 
38234e5e1ddSRichard Henderson     if (!test_bit(QEMU_PLUGIN_EV_VCPU_TB_TRANS,
38334e5e1ddSRichard Henderson                   cpu->plugin_state->event_mask)) {
38434e5e1ddSRichard Henderson         return false;
38538b47b19SEmilio G. Cota     }
3866f15c076SAlex Bennée 
387bf4bb074SRichard Henderson     tcg_ctx->plugin_db = db;
3886f15c076SAlex Bennée     tcg_ctx->plugin_insn = NULL;
38934e5e1ddSRichard Henderson     ptb = tcg_ctx->plugin_tb;
3906f15c076SAlex Bennée 
39134e5e1ddSRichard Henderson     if (ptb) {
39234e5e1ddSRichard Henderson         /* Reset callbacks */
39334e5e1ddSRichard Henderson         if (ptb->cbs) {
39434e5e1ddSRichard Henderson             g_array_set_size(ptb->cbs, 0);
39534e5e1ddSRichard Henderson         }
39634e5e1ddSRichard Henderson         ptb->n = 0;
39734e5e1ddSRichard Henderson         ptb->mem_helper = false;
39834e5e1ddSRichard Henderson     } else {
39934e5e1ddSRichard Henderson         ptb = g_new0(struct qemu_plugin_tb, 1);
40034e5e1ddSRichard Henderson         tcg_ctx->plugin_tb = ptb;
40134e5e1ddSRichard Henderson         ptb->insns = g_ptr_array_new();
40234e5e1ddSRichard Henderson     }
40334e5e1ddSRichard Henderson 
40434e5e1ddSRichard Henderson     tcg_gen_plugin_cb(PLUGIN_GEN_FROM_TB);
40534e5e1ddSRichard Henderson     return true;
40638b47b19SEmilio G. Cota }
40738b47b19SEmilio G. Cota 
40838b47b19SEmilio G. Cota void plugin_gen_insn_start(CPUState *cpu, const DisasContextBase *db)
40938b47b19SEmilio G. Cota {
41038b47b19SEmilio G. Cota     struct qemu_plugin_tb *ptb = tcg_ctx->plugin_tb;
4115e379b08SRichard Henderson     struct qemu_plugin_insn *insn;
4125e379b08SRichard Henderson     size_t n = db->num_insns;
4135e379b08SRichard Henderson     vaddr pc;
41438b47b19SEmilio G. Cota 
4155e379b08SRichard Henderson     assert(n >= 1);
4165e379b08SRichard Henderson     ptb->n = n;
4175e379b08SRichard Henderson     if (n <= ptb->insns->len) {
4185e379b08SRichard Henderson         insn = g_ptr_array_index(ptb->insns, n - 1);
4195e379b08SRichard Henderson     } else {
4205e379b08SRichard Henderson         assert(n - 1 == ptb->insns->len);
4215e379b08SRichard Henderson         insn = g_new0(struct qemu_plugin_insn, 1);
4225e379b08SRichard Henderson         g_ptr_array_add(ptb->insns, insn);
4235e379b08SRichard Henderson     }
4245e379b08SRichard Henderson 
4255e379b08SRichard Henderson     tcg_ctx->plugin_insn = insn;
4265e379b08SRichard Henderson     insn->calls_helpers = false;
4275e379b08SRichard Henderson     insn->mem_helper = false;
4285e379b08SRichard Henderson     if (insn->insn_cbs) {
4295e379b08SRichard Henderson         g_array_set_size(insn->insn_cbs, 0);
4305e379b08SRichard Henderson     }
4315e379b08SRichard Henderson     if (insn->mem_cbs) {
4325e379b08SRichard Henderson         g_array_set_size(insn->mem_cbs, 0);
4335e379b08SRichard Henderson     }
4345e379b08SRichard Henderson 
4355e379b08SRichard Henderson     pc = db->pc_next;
4365e379b08SRichard Henderson     insn->vaddr = pc;
43738b47b19SEmilio G. Cota 
4385c48b011SRichard Henderson     tcg_gen_plugin_cb(PLUGIN_GEN_FROM_INSN);
43938b47b19SEmilio G. Cota }
44038b47b19SEmilio G. Cota 
44138b47b19SEmilio G. Cota void plugin_gen_insn_end(void)
44238b47b19SEmilio G. Cota {
44336bc99bcSRichard Henderson     const DisasContextBase *db = tcg_ctx->plugin_db;
44436bc99bcSRichard Henderson     struct qemu_plugin_insn *pinsn = tcg_ctx->plugin_insn;
44536bc99bcSRichard Henderson 
44636bc99bcSRichard Henderson     pinsn->len = db->fake_insn ? db->record_len : db->pc_next - pinsn->vaddr;
44736bc99bcSRichard Henderson 
4485c48b011SRichard Henderson     tcg_gen_plugin_cb(PLUGIN_GEN_AFTER_INSN);
44938b47b19SEmilio G. Cota }
45038b47b19SEmilio G. Cota 
4516f15c076SAlex Bennée /*
4526f15c076SAlex Bennée  * There are cases where we never get to finalise a translation - for
4536f15c076SAlex Bennée  * example a page fault during translation. As a result we shouldn't
4546f15c076SAlex Bennée  * do any clean-up here and make sure things are reset in
4556f15c076SAlex Bennée  * plugin_gen_tb_start.
4566f15c076SAlex Bennée  */
457a392277dSMatt Borgerson void plugin_gen_tb_end(CPUState *cpu, size_t num_insns)
45838b47b19SEmilio G. Cota {
45938b47b19SEmilio G. Cota     struct qemu_plugin_tb *ptb = tcg_ctx->plugin_tb;
46038b47b19SEmilio G. Cota 
461a392277dSMatt Borgerson     /* translator may have removed instructions, update final count */
462a392277dSMatt Borgerson     g_assert(num_insns <= ptb->n);
463a392277dSMatt Borgerson     ptb->n = num_insns;
464a392277dSMatt Borgerson 
46538b47b19SEmilio G. Cota     /* collect instrumentation requests */
46638b47b19SEmilio G. Cota     qemu_plugin_tb_trans_cb(cpu, ptb);
46738b47b19SEmilio G. Cota 
46838b47b19SEmilio G. Cota     /* inject the instrumentation at the appropriate places */
46938b47b19SEmilio G. Cota     plugin_gen_inject(ptb);
470b56f7dd2SPierrick Bouvier 
471b56f7dd2SPierrick Bouvier     /* reset plugin translation state (plugin_tb is reused between blocks) */
472b56f7dd2SPierrick Bouvier     tcg_ctx->plugin_db = NULL;
473b56f7dd2SPierrick Bouvier     tcg_ctx->plugin_insn = NULL;
47438b47b19SEmilio G. Cota }
475