2014-05-30 16:11:50 +04:00
|
|
|
#!/usr/bin/env python
|
|
|
|
# -*- coding: utf-8 -*-
|
|
|
|
|
|
|
|
"""
|
|
|
|
Generate trace/generated-helpers.h.
|
|
|
|
"""
|
|
|
|
|
|
|
|
__author__ = "Lluís Vilanova <vilanova@ac.upc.edu>"
|
2016-02-25 19:43:38 +03:00
|
|
|
__copyright__ = "Copyright 2012-2016, Lluís Vilanova <vilanova@ac.upc.edu>"
|
2014-05-30 16:11:50 +04:00
|
|
|
__license__ = "GPL version 2 or (at your option) any later version"
|
|
|
|
|
|
|
|
__maintainer__ = "Stefan Hajnoczi"
|
|
|
|
__email__ = "stefanha@linux.vnet.ibm.com"
|
|
|
|
|
|
|
|
|
|
|
|
from tracetool import out
|
|
|
|
from tracetool.transform import *
|
2016-02-25 19:43:38 +03:00
|
|
|
import tracetool.vcpu
|
2014-05-30 16:11:50 +04:00
|
|
|
|
|
|
|
|
2016-10-04 16:35:59 +03:00
|
|
|
def generate(events, backend, group):
|
2014-05-30 16:11:50 +04:00
|
|
|
events = [e for e in events
|
|
|
|
if "disable" not in e.properties]
|
|
|
|
|
|
|
|
out('/* This file is autogenerated by tracetool, do not edit. */',
|
|
|
|
'',
|
|
|
|
)
|
|
|
|
|
|
|
|
for e in events:
|
|
|
|
if "tcg-exec" not in e.properties:
|
|
|
|
continue
|
|
|
|
|
|
|
|
# TCG helper proxy declaration
|
|
|
|
fmt = "DEF_HELPER_FLAGS_%(argc)d(%(name)s, %(flags)svoid%(types)s)"
|
2016-02-25 19:43:38 +03:00
|
|
|
e_args = tracetool.vcpu.transform_args("tcg_helper_c", e.original, "header")
|
2014-05-30 16:11:50 +04:00
|
|
|
args = e_args.transform(HOST_2_TCG_COMPAT, HOST_2_TCG,
|
|
|
|
TCG_2_TCG_HELPER_DECL)
|
|
|
|
types = ", ".join(args.types())
|
|
|
|
if types != "":
|
|
|
|
types = ", " + types
|
|
|
|
|
|
|
|
flags = "TCG_CALL_NO_RWG, "
|
|
|
|
|
|
|
|
out(fmt,
|
|
|
|
flags=flags,
|
|
|
|
argc=len(args),
|
|
|
|
name=e.api() + "_proxy",
|
|
|
|
types=types,
|
|
|
|
)
|