cachepc-qemu

Fork of AMDESE/qemu with changes for cachepc side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-qemu
Log | Files | Refs | Submodules | LICENSE | sfeed.txt

transform.py (4293B)

      1# -*- coding: utf-8 -*-
      2
      3"""
      4Type-transformation rules.
      5"""
      6
      7__author__     = "Lluís Vilanova <vilanova@ac.upc.edu>"
      8__copyright__  = "Copyright 2012-2016, Lluís Vilanova <vilanova@ac.upc.edu>"
      9__license__    = "GPL version 2 or (at your option) any later version"
     10
     11__maintainer__ = "Stefan Hajnoczi"
     12__email__      = "stefanha@redhat.com"
     13
     14
     15def _transform_type(type_, trans):
     16    if isinstance(trans, str):
     17        return trans
     18    elif isinstance(trans, dict):
     19        if type_ in trans:
     20            return _transform_type(type_, trans[type_])
     21        elif None in trans:
     22            return _transform_type(type_, trans[None])
     23        else:
     24            return type_
     25    elif callable(trans):
     26        return trans(type_)
     27    else:
     28        raise ValueError("Invalid type transformation rule: %s" % trans)
     29
     30
     31def transform_type(type_, *trans):
     32    """Return a new type transformed according to the given rules.
     33
     34    Applies each of the transformation rules in trans in order.
     35
     36    If an element of trans is a string, return it.
     37
     38    If an element of trans is a function, call it with type_ as its only
     39    argument.
     40
     41    If an element of trans is a dict, search type_ in its keys. If type_ is
     42    a key, use the value as a transformation rule for type_. Otherwise, if
     43    None is a key use the value as a transformation rule for type_.
     44
     45    Otherwise, return type_.
     46
     47    Parameters
     48    ----------
     49    type_ : str
     50        Type to transform.
     51    trans : list of function or dict
     52        Type transformation rules.
     53    """
     54    if len(trans) == 0:
     55        raise ValueError
     56    res = type_
     57    for t in trans:
     58        res = _transform_type(res, t)
     59    return res
     60
     61
     62##################################################
     63# tcg -> host
     64
     65def _tcg_2_host(type_):
     66    if type_ == "TCGv":
     67        # force a fixed-size type (target-independent)
     68        return "uint64_t"
     69    else:
     70        return type_
     71
     72TCG_2_HOST = {
     73    "TCGv_i32": "uint32_t",
     74    "TCGv_i64": "uint64_t",
     75    "TCGv_ptr": "void *",
     76    None: _tcg_2_host,
     77    }
     78
     79
     80##################################################
     81# host -> host compatible with tcg sizes
     82
     83HOST_2_TCG_COMPAT = {
     84    "uint8_t": "uint32_t",
     85    "uint16_t": "uint32_t",
     86    }
     87
     88
     89##################################################
     90# host/tcg -> tcg
     91
     92def _host_2_tcg(type_):
     93    if type_.startswith("TCGv"):
     94        return type_
     95    raise ValueError("Don't know how to translate '%s' into a TCG type\n" % type_)
     96
     97HOST_2_TCG = {
     98    "uint32_t": "TCGv_i32",
     99    "uint64_t": "TCGv_i64",
    100    "void *"  : "TCGv_ptr",
    101    "CPUArchState *": "TCGv_env",
    102    None: _host_2_tcg,
    103    }
    104
    105
    106##################################################
    107# tcg -> tcg helper definition
    108
    109def _tcg_2_helper_def(type_):
    110    if type_ == "TCGv":
    111        return "target_ulong"
    112    else:
    113        return type_
    114
    115TCG_2_TCG_HELPER_DEF = {
    116    "TCGv_i32": "uint32_t",
    117    "TCGv_i64": "uint64_t",
    118    "TCGv_ptr": "void *",
    119    None: _tcg_2_helper_def,
    120    }
    121
    122
    123##################################################
    124# tcg -> tcg helper declaration
    125
    126def _tcg_2_tcg_helper_decl_error(type_):
    127    raise ValueError("Don't know how to translate type '%s' into a TCG helper declaration type\n" % type_)
    128
    129TCG_2_TCG_HELPER_DECL = {
    130    "TCGv"    : "tl",
    131    "TCGv_ptr": "ptr",
    132    "TCGv_i32": "i32",
    133    "TCGv_i64": "i64",
    134    "TCGv_env": "env",
    135    None: _tcg_2_tcg_helper_decl_error,
    136    }
    137
    138
    139##################################################
    140# host/tcg -> tcg temporal constant allocation
    141
    142def _host_2_tcg_tmp_new(type_):
    143    if type_.startswith("TCGv"):
    144        return "tcg_temp_new_nop"
    145    raise ValueError("Don't know how to translate type '%s' into a TCG temporal allocation" % type_)
    146
    147HOST_2_TCG_TMP_NEW = {
    148    "uint32_t": "tcg_const_i32",
    149    "uint64_t": "tcg_const_i64",
    150    "void *"  : "tcg_const_ptr",
    151    None: _host_2_tcg_tmp_new,
    152    }
    153
    154
    155##################################################
    156# host/tcg -> tcg temporal constant deallocation
    157
    158def _host_2_tcg_tmp_free(type_):
    159    if type_.startswith("TCGv"):
    160        return "tcg_temp_free_nop"
    161    raise ValueError("Don't know how to translate type '%s' into a TCG temporal deallocation" % type_)
    162
    163HOST_2_TCG_TMP_FREE = {
    164    "uint32_t": "tcg_temp_free_i32",
    165    "uint64_t": "tcg_temp_free_i64",
    166    "void *"  : "tcg_temp_free_ptr",
    167    None: _host_2_tcg_tmp_free,
    168    }