qemu

FORK: QEMU emulator
git clone https://git.neptards.moe/neptards/qemu.git
Log | Files | Refs | Submodules | LICENSE

transform.py (4293B)

      1 # -*- coding: utf-8 -*-
      2 
      3 """
      4 Type-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 
     15 def _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 
     31 def 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 
     65 def _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 
     72 TCG_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 
     83 HOST_2_TCG_COMPAT = {
     84     "uint8_t": "uint32_t",
     85     "uint16_t": "uint32_t",
     86     }
     87 
     88 
     89 ##################################################
     90 # host/tcg -> tcg
     91 
     92 def _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 
     97 HOST_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 
    109 def _tcg_2_helper_def(type_):
    110     if type_ == "TCGv":
    111         return "target_ulong"
    112     else:
    113         return type_
    114 
    115 TCG_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 
    126 def _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 
    129 TCG_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 
    142 def _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 
    147 HOST_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 
    158 def _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 
    163 HOST_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     }