| Generate trace/generated-helpers.h. |
| __author__ = "Lluís Vilanova <vilanova@ac.upc.edu>" |
| __copyright__ = "Copyright 2012-2016, Lluís Vilanova <vilanova@ac.upc.edu>" |
| __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 * |
| def generate(events, backend, group): |
| events = [e for e in events |
| if "disable" not in e.properties] |
| out('/* This file is autogenerated by tracetool, do not edit. */', |
| if "tcg-exec" not in e.properties: |
| # TCG helper proxy declaration |
| fmt = "DEF_HELPER_FLAGS_%(argc)d(%(name)s, %(flags)svoid%(types)s)" |
| e_args = tracetool.vcpu.transform_args("tcg_helper_c", e.original, "header") |
| args = e_args.transform(HOST_2_TCG_COMPAT, HOST_2_TCG, |
| types = ", ".join(args.types()) |
| flags = "TCG_CALL_NO_RWG, " |