2014-05-30 16:12:13 +04:00
|
|
|
#!/usr/bin/env python
|
|
|
|
# -*- coding: utf-8 -*-
|
|
|
|
|
|
|
|
"""
|
|
|
|
Generate .h file for TCG code generation.
|
|
|
|
"""
|
|
|
|
|
|
|
|
__author__ = "Lluís Vilanova <vilanova@ac.upc.edu>"
|
2016-02-25 19:43:10 +03:00
|
|
|
__copyright__ = "Copyright 2012-2016, Lluís Vilanova <vilanova@ac.upc.edu>"
|
2014-05-30 16:12:13 +04:00
|
|
|
__license__ = "GPL version 2 or (at your option) any later version"
|
|
|
|
|
|
|
|
__maintainer__ = "Stefan Hajnoczi"
|
|
|
|
__email__ = "stefanha@linux.vnet.ibm.com"
|
|
|
|
|
|
|
|
|
2016-02-25 19:43:38 +03:00
|
|
|
from tracetool import out, Arguments
|
|
|
|
import tracetool.vcpu
|
|
|
|
|
|
|
|
|
|
|
|
def vcpu_transform_args(args):
|
|
|
|
assert len(args) == 1
|
|
|
|
return Arguments([
|
|
|
|
args,
|
|
|
|
# NOTE: this name must be kept in sync with the one in "tcg_h"
|
|
|
|
# NOTE: Current helper code uses TCGv_env (CPUArchState*)
|
|
|
|
("TCGv_env", "__tcg_" + args.names()[0]),
|
|
|
|
])
|
2014-05-30 16:12:13 +04:00
|
|
|
|
|
|
|
|
|
|
|
def generate(events, backend):
|
|
|
|
out('/* This file is autogenerated by tracetool, do not edit. */',
|
|
|
|
'/* You must include this file after the inclusion of helper.h */',
|
|
|
|
'',
|
|
|
|
'#ifndef TRACE__GENERATED_TCG_TRACERS_H',
|
|
|
|
'#define TRACE__GENERATED_TCG_TRACERS_H',
|
|
|
|
'',
|
|
|
|
'#include "trace.h"',
|
|
|
|
'#include "exec/helper-proto.h"',
|
|
|
|
'',
|
|
|
|
)
|
|
|
|
|
|
|
|
for e in events:
|
|
|
|
# just keep one of them
|
|
|
|
if "tcg-trans" not in e.properties:
|
|
|
|
continue
|
|
|
|
|
|
|
|
out('static inline void %(name_tcg)s(%(args)s)',
|
|
|
|
'{',
|
2016-02-25 19:43:38 +03:00
|
|
|
name_tcg=e.original.api(e.QEMU_TRACE_TCG),
|
|
|
|
args=tracetool.vcpu.transform_args("tcg_h", e.original))
|
2014-05-30 16:12:13 +04:00
|
|
|
|
|
|
|
if "disable" not in e.properties:
|
2016-02-25 19:43:38 +03:00
|
|
|
args_trans = e.original.event_trans.args
|
|
|
|
args_exec = tracetool.vcpu.transform_args(
|
|
|
|
"tcg_helper_c", e.original.event_exec, "wrapper")
|
2014-05-30 16:12:13 +04:00
|
|
|
out(' %(name_trans)s(%(argnames_trans)s);',
|
|
|
|
' gen_helper_%(name_exec)s(%(argnames_exec)s);',
|
2016-02-25 19:43:38 +03:00
|
|
|
name_trans=e.original.event_trans.api(e.QEMU_TRACE),
|
|
|
|
name_exec=e.original.event_exec.api(e.QEMU_TRACE),
|
|
|
|
argnames_trans=", ".join(args_trans.names()),
|
|
|
|
argnames_exec=", ".join(args_exec.names()))
|
2014-05-30 16:12:13 +04:00
|
|
|
|
|
|
|
out('}')
|
|
|
|
|
|
|
|
out('',
|
|
|
|
'#endif /* TRACE__GENERATED_TCG_TRACERS_H */')
|