|
from .error import VerificationError |
|
|
|
class CffiOp(object): |
|
def __init__(self, op, arg): |
|
self.op = op |
|
self.arg = arg |
|
|
|
def as_c_expr(self): |
|
if self.op is None: |
|
assert isinstance(self.arg, str) |
|
return '(_cffi_opcode_t)(%s)' % (self.arg,) |
|
classname = CLASS_NAME[self.op] |
|
return '_CFFI_OP(_CFFI_OP_%s, %s)' % (classname, self.arg) |
|
|
|
def as_python_bytes(self): |
|
if self.op is None and self.arg.isdigit(): |
|
value = int(self.arg) |
|
if value >= 2**31: |
|
raise OverflowError("cannot emit %r: limited to 2**31-1" |
|
% (self.arg,)) |
|
return format_four_bytes(value) |
|
if isinstance(self.arg, str): |
|
raise VerificationError("cannot emit to Python: %r" % (self.arg,)) |
|
return format_four_bytes((self.arg << 8) | self.op) |
|
|
|
def __str__(self): |
|
classname = CLASS_NAME.get(self.op, self.op) |
|
return '(%s %s)' % (classname, self.arg) |
|
|
|
def format_four_bytes(num): |
|
return '\\x%02X\\x%02X\\x%02X\\x%02X' % ( |
|
(num >> 24) & 0xFF, |
|
(num >> 16) & 0xFF, |
|
(num >> 8) & 0xFF, |
|
(num ) & 0xFF) |
|
|
|
OP_PRIMITIVE = 1 |
|
OP_POINTER = 3 |
|
OP_ARRAY = 5 |
|
OP_OPEN_ARRAY = 7 |
|
OP_STRUCT_UNION = 9 |
|
OP_ENUM = 11 |
|
OP_FUNCTION = 13 |
|
OP_FUNCTION_END = 15 |
|
OP_NOOP = 17 |
|
OP_BITFIELD = 19 |
|
OP_TYPENAME = 21 |
|
OP_CPYTHON_BLTN_V = 23 |
|
OP_CPYTHON_BLTN_N = 25 |
|
OP_CPYTHON_BLTN_O = 27 |
|
OP_CONSTANT = 29 |
|
OP_CONSTANT_INT = 31 |
|
OP_GLOBAL_VAR = 33 |
|
OP_DLOPEN_FUNC = 35 |
|
OP_DLOPEN_CONST = 37 |
|
OP_GLOBAL_VAR_F = 39 |
|
OP_EXTERN_PYTHON = 41 |
|
|
|
PRIM_VOID = 0 |
|
PRIM_BOOL = 1 |
|
PRIM_CHAR = 2 |
|
PRIM_SCHAR = 3 |
|
PRIM_UCHAR = 4 |
|
PRIM_SHORT = 5 |
|
PRIM_USHORT = 6 |
|
PRIM_INT = 7 |
|
PRIM_UINT = 8 |
|
PRIM_LONG = 9 |
|
PRIM_ULONG = 10 |
|
PRIM_LONGLONG = 11 |
|
PRIM_ULONGLONG = 12 |
|
PRIM_FLOAT = 13 |
|
PRIM_DOUBLE = 14 |
|
PRIM_LONGDOUBLE = 15 |
|
|
|
PRIM_WCHAR = 16 |
|
PRIM_INT8 = 17 |
|
PRIM_UINT8 = 18 |
|
PRIM_INT16 = 19 |
|
PRIM_UINT16 = 20 |
|
PRIM_INT32 = 21 |
|
PRIM_UINT32 = 22 |
|
PRIM_INT64 = 23 |
|
PRIM_UINT64 = 24 |
|
PRIM_INTPTR = 25 |
|
PRIM_UINTPTR = 26 |
|
PRIM_PTRDIFF = 27 |
|
PRIM_SIZE = 28 |
|
PRIM_SSIZE = 29 |
|
PRIM_INT_LEAST8 = 30 |
|
PRIM_UINT_LEAST8 = 31 |
|
PRIM_INT_LEAST16 = 32 |
|
PRIM_UINT_LEAST16 = 33 |
|
PRIM_INT_LEAST32 = 34 |
|
PRIM_UINT_LEAST32 = 35 |
|
PRIM_INT_LEAST64 = 36 |
|
PRIM_UINT_LEAST64 = 37 |
|
PRIM_INT_FAST8 = 38 |
|
PRIM_UINT_FAST8 = 39 |
|
PRIM_INT_FAST16 = 40 |
|
PRIM_UINT_FAST16 = 41 |
|
PRIM_INT_FAST32 = 42 |
|
PRIM_UINT_FAST32 = 43 |
|
PRIM_INT_FAST64 = 44 |
|
PRIM_UINT_FAST64 = 45 |
|
PRIM_INTMAX = 46 |
|
PRIM_UINTMAX = 47 |
|
PRIM_FLOATCOMPLEX = 48 |
|
PRIM_DOUBLECOMPLEX = 49 |
|
PRIM_CHAR16 = 50 |
|
PRIM_CHAR32 = 51 |
|
|
|
_NUM_PRIM = 52 |
|
_UNKNOWN_PRIM = -1 |
|
_UNKNOWN_FLOAT_PRIM = -2 |
|
_UNKNOWN_LONG_DOUBLE = -3 |
|
|
|
_IO_FILE_STRUCT = -1 |
|
|
|
PRIMITIVE_TO_INDEX = { |
|
'char': PRIM_CHAR, |
|
'short': PRIM_SHORT, |
|
'int': PRIM_INT, |
|
'long': PRIM_LONG, |
|
'long long': PRIM_LONGLONG, |
|
'signed char': PRIM_SCHAR, |
|
'unsigned char': PRIM_UCHAR, |
|
'unsigned short': PRIM_USHORT, |
|
'unsigned int': PRIM_UINT, |
|
'unsigned long': PRIM_ULONG, |
|
'unsigned long long': PRIM_ULONGLONG, |
|
'float': PRIM_FLOAT, |
|
'double': PRIM_DOUBLE, |
|
'long double': PRIM_LONGDOUBLE, |
|
'float _Complex': PRIM_FLOATCOMPLEX, |
|
'double _Complex': PRIM_DOUBLECOMPLEX, |
|
'_Bool': PRIM_BOOL, |
|
'wchar_t': PRIM_WCHAR, |
|
'char16_t': PRIM_CHAR16, |
|
'char32_t': PRIM_CHAR32, |
|
'int8_t': PRIM_INT8, |
|
'uint8_t': PRIM_UINT8, |
|
'int16_t': PRIM_INT16, |
|
'uint16_t': PRIM_UINT16, |
|
'int32_t': PRIM_INT32, |
|
'uint32_t': PRIM_UINT32, |
|
'int64_t': PRIM_INT64, |
|
'uint64_t': PRIM_UINT64, |
|
'intptr_t': PRIM_INTPTR, |
|
'uintptr_t': PRIM_UINTPTR, |
|
'ptrdiff_t': PRIM_PTRDIFF, |
|
'size_t': PRIM_SIZE, |
|
'ssize_t': PRIM_SSIZE, |
|
'int_least8_t': PRIM_INT_LEAST8, |
|
'uint_least8_t': PRIM_UINT_LEAST8, |
|
'int_least16_t': PRIM_INT_LEAST16, |
|
'uint_least16_t': PRIM_UINT_LEAST16, |
|
'int_least32_t': PRIM_INT_LEAST32, |
|
'uint_least32_t': PRIM_UINT_LEAST32, |
|
'int_least64_t': PRIM_INT_LEAST64, |
|
'uint_least64_t': PRIM_UINT_LEAST64, |
|
'int_fast8_t': PRIM_INT_FAST8, |
|
'uint_fast8_t': PRIM_UINT_FAST8, |
|
'int_fast16_t': PRIM_INT_FAST16, |
|
'uint_fast16_t': PRIM_UINT_FAST16, |
|
'int_fast32_t': PRIM_INT_FAST32, |
|
'uint_fast32_t': PRIM_UINT_FAST32, |
|
'int_fast64_t': PRIM_INT_FAST64, |
|
'uint_fast64_t': PRIM_UINT_FAST64, |
|
'intmax_t': PRIM_INTMAX, |
|
'uintmax_t': PRIM_UINTMAX, |
|
} |
|
|
|
F_UNION = 0x01 |
|
F_CHECK_FIELDS = 0x02 |
|
F_PACKED = 0x04 |
|
F_EXTERNAL = 0x08 |
|
F_OPAQUE = 0x10 |
|
|
|
G_FLAGS = dict([('_CFFI_' + _key, globals()[_key]) |
|
for _key in ['F_UNION', 'F_CHECK_FIELDS', 'F_PACKED', |
|
'F_EXTERNAL', 'F_OPAQUE']]) |
|
|
|
CLASS_NAME = {} |
|
for _name, _value in list(globals().items()): |
|
if _name.startswith('OP_') and isinstance(_value, int): |
|
CLASS_NAME[_value] = _name[3:] |
|
|