2013-10-11 17:28:32 +00:00
|
|
|
import sys, os
|
|
|
|
import types
|
|
|
|
|
|
|
|
from . import model, ffiplatform
|
|
|
|
|
|
|
|
|
|
|
|
class VGenericEngine(object):
|
|
|
|
_class_key = 'g'
|
|
|
|
_gen_python_module = False
|
|
|
|
|
|
|
|
def __init__(self, verifier):
|
|
|
|
self.verifier = verifier
|
|
|
|
self.ffi = verifier.ffi
|
|
|
|
self.export_symbols = []
|
|
|
|
self._struct_pending_verification = {}
|
|
|
|
|
|
|
|
def patch_extension_kwds(self, kwds):
|
|
|
|
# add 'export_symbols' to the dictionary. Note that we add the
|
|
|
|
# list before filling it. When we fill it, it will thus also show
|
|
|
|
# up in kwds['export_symbols'].
|
|
|
|
kwds.setdefault('export_symbols', self.export_symbols)
|
|
|
|
|
|
|
|
def find_module(self, module_name, path, so_suffixes):
|
|
|
|
for so_suffix in so_suffixes:
|
|
|
|
basename = module_name + so_suffix
|
|
|
|
if path is None:
|
|
|
|
path = sys.path
|
|
|
|
for dirname in path:
|
|
|
|
filename = os.path.join(dirname, basename)
|
|
|
|
if os.path.isfile(filename):
|
|
|
|
return filename
|
|
|
|
|
|
|
|
def collect_types(self):
|
|
|
|
pass # not needed in the generic engine
|
|
|
|
|
|
|
|
def _prnt(self, what=''):
|
|
|
|
self._f.write(what + '\n')
|
|
|
|
|
|
|
|
def write_source_to_f(self):
|
|
|
|
prnt = self._prnt
|
|
|
|
# first paste some standard set of lines that are mostly '#include'
|
|
|
|
prnt(cffimod_header)
|
|
|
|
# then paste the C source given by the user, verbatim.
|
|
|
|
prnt(self.verifier.preamble)
|
|
|
|
#
|
|
|
|
# call generate_gen_xxx_decl(), for every xxx found from
|
|
|
|
# ffi._parser._declarations. This generates all the functions.
|
|
|
|
self._generate('decl')
|
|
|
|
#
|
|
|
|
# on Windows, distutils insists on putting init_cffi_xyz in
|
|
|
|
# 'export_symbols', so instead of fighting it, just give up and
|
|
|
|
# give it one
|
|
|
|
if sys.platform == 'win32':
|
|
|
|
if sys.version_info >= (3,):
|
|
|
|
prefix = 'PyInit_'
|
|
|
|
else:
|
|
|
|
prefix = 'init'
|
|
|
|
modname = self.verifier.get_module_name()
|
|
|
|
prnt("void %s%s(void) { }\n" % (prefix, modname))
|
|
|
|
|
2015-11-25 01:25:01 +00:00
|
|
|
def load_library(self, flags=0):
|
2013-10-11 17:28:32 +00:00
|
|
|
# import it with the CFFI backend
|
|
|
|
backend = self.ffi._backend
|
|
|
|
# needs to make a path that contains '/', on Posix
|
|
|
|
filename = os.path.join(os.curdir, self.verifier.modulefilename)
|
2015-11-25 01:25:01 +00:00
|
|
|
module = backend.load_library(filename, flags)
|
2013-10-11 17:28:32 +00:00
|
|
|
#
|
|
|
|
# call loading_gen_struct() to get the struct layout inferred by
|
|
|
|
# the C compiler
|
|
|
|
self._load(module, 'loading')
|
|
|
|
|
|
|
|
# build the FFILibrary class and instance, this is a module subclass
|
|
|
|
# because modules are expected to have usually-constant-attributes and
|
|
|
|
# in PyPy this means the JIT is able to treat attributes as constant,
|
|
|
|
# which we want.
|
|
|
|
class FFILibrary(types.ModuleType):
|
|
|
|
_cffi_generic_module = module
|
|
|
|
_cffi_ffi = self.ffi
|
|
|
|
_cffi_dir = []
|
|
|
|
def __dir__(self):
|
|
|
|
return FFILibrary._cffi_dir
|
|
|
|
library = FFILibrary("")
|
|
|
|
#
|
|
|
|
# finally, call the loaded_gen_xxx() functions. This will set
|
|
|
|
# up the 'library' object.
|
|
|
|
self._load(module, 'loaded', library=library)
|
|
|
|
return library
|
|
|
|
|
|
|
|
def _get_declarations(self):
|
2015-11-25 01:25:01 +00:00
|
|
|
lst = [(key, tp) for (key, (tp, qual)) in
|
|
|
|
self.ffi._parser._declarations.items()]
|
|
|
|
lst.sort()
|
|
|
|
return lst
|
2013-10-11 17:28:32 +00:00
|
|
|
|
|
|
|
def _generate(self, step_name):
|
|
|
|
for name, tp in self._get_declarations():
|
|
|
|
kind, realname = name.split(' ', 1)
|
|
|
|
try:
|
|
|
|
method = getattr(self, '_generate_gen_%s_%s' % (kind,
|
|
|
|
step_name))
|
|
|
|
except AttributeError:
|
|
|
|
raise ffiplatform.VerificationError(
|
|
|
|
"not implemented in verify(): %r" % name)
|
|
|
|
try:
|
|
|
|
method(tp, realname)
|
|
|
|
except Exception as e:
|
|
|
|
model.attach_exception_info(e, name)
|
|
|
|
raise
|
|
|
|
|
|
|
|
def _load(self, module, step_name, **kwds):
|
|
|
|
for name, tp in self._get_declarations():
|
|
|
|
kind, realname = name.split(' ', 1)
|
|
|
|
method = getattr(self, '_%s_gen_%s' % (step_name, kind))
|
|
|
|
try:
|
|
|
|
method(tp, realname, module, **kwds)
|
|
|
|
except Exception as e:
|
|
|
|
model.attach_exception_info(e, name)
|
|
|
|
raise
|
|
|
|
|
|
|
|
def _generate_nothing(self, tp, name):
|
|
|
|
pass
|
|
|
|
|
|
|
|
def _loaded_noop(self, tp, name, module, **kwds):
|
|
|
|
pass
|
|
|
|
|
|
|
|
# ----------
|
|
|
|
# typedefs: generates no code so far
|
|
|
|
|
|
|
|
_generate_gen_typedef_decl = _generate_nothing
|
|
|
|
_loading_gen_typedef = _loaded_noop
|
|
|
|
_loaded_gen_typedef = _loaded_noop
|
|
|
|
|
|
|
|
# ----------
|
|
|
|
# function declarations
|
|
|
|
|
|
|
|
def _generate_gen_function_decl(self, tp, name):
|
|
|
|
assert isinstance(tp, model.FunctionPtrType)
|
|
|
|
if tp.ellipsis:
|
|
|
|
# cannot support vararg functions better than this: check for its
|
|
|
|
# exact type (including the fixed arguments), and build it as a
|
|
|
|
# constant function pointer (no _cffi_f_%s wrapper)
|
|
|
|
self._generate_gen_const(False, name, tp)
|
|
|
|
return
|
|
|
|
prnt = self._prnt
|
|
|
|
numargs = len(tp.args)
|
|
|
|
argnames = []
|
|
|
|
for i, type in enumerate(tp.args):
|
|
|
|
indirection = ''
|
|
|
|
if isinstance(type, model.StructOrUnion):
|
|
|
|
indirection = '*'
|
|
|
|
argnames.append('%sx%d' % (indirection, i))
|
|
|
|
context = 'argument of %s' % name
|
|
|
|
arglist = [type.get_c_name(' %s' % arg, context)
|
|
|
|
for type, arg in zip(tp.args, argnames)]
|
2015-11-25 01:25:01 +00:00
|
|
|
tpresult = tp.result
|
|
|
|
if isinstance(tpresult, model.StructOrUnion):
|
|
|
|
arglist.insert(0, tpresult.get_c_name(' *r', context))
|
|
|
|
tpresult = model.void_type
|
2013-10-11 17:28:32 +00:00
|
|
|
arglist = ', '.join(arglist) or 'void'
|
|
|
|
wrappername = '_cffi_f_%s' % name
|
|
|
|
self.export_symbols.append(wrappername)
|
2015-11-25 01:25:01 +00:00
|
|
|
if tp.abi:
|
|
|
|
abi = tp.abi + ' '
|
|
|
|
else:
|
|
|
|
abi = ''
|
|
|
|
funcdecl = ' %s%s(%s)' % (abi, wrappername, arglist)
|
2013-10-11 17:28:32 +00:00
|
|
|
context = 'result of %s' % name
|
2015-11-25 01:25:01 +00:00
|
|
|
prnt(tpresult.get_c_name(funcdecl, context))
|
2013-10-11 17:28:32 +00:00
|
|
|
prnt('{')
|
|
|
|
#
|
2015-11-25 01:25:01 +00:00
|
|
|
if isinstance(tp.result, model.StructOrUnion):
|
|
|
|
result_code = '*r = '
|
|
|
|
elif not isinstance(tp.result, model.VoidType):
|
2013-10-11 17:28:32 +00:00
|
|
|
result_code = 'return '
|
|
|
|
else:
|
|
|
|
result_code = ''
|
|
|
|
prnt(' %s%s(%s);' % (result_code, name, ', '.join(argnames)))
|
|
|
|
prnt('}')
|
|
|
|
prnt()
|
|
|
|
|
|
|
|
_loading_gen_function = _loaded_noop
|
|
|
|
|
|
|
|
def _loaded_gen_function(self, tp, name, module, library):
|
|
|
|
assert isinstance(tp, model.FunctionPtrType)
|
|
|
|
if tp.ellipsis:
|
|
|
|
newfunction = self._load_constant(False, tp, name, module)
|
|
|
|
else:
|
|
|
|
indirections = []
|
|
|
|
base_tp = tp
|
2015-11-25 01:25:01 +00:00
|
|
|
if (any(isinstance(typ, model.StructOrUnion) for typ in tp.args)
|
|
|
|
or isinstance(tp.result, model.StructOrUnion)):
|
2013-10-11 17:28:32 +00:00
|
|
|
indirect_args = []
|
|
|
|
for i, typ in enumerate(tp.args):
|
|
|
|
if isinstance(typ, model.StructOrUnion):
|
|
|
|
typ = model.PointerType(typ)
|
|
|
|
indirections.append((i, typ))
|
|
|
|
indirect_args.append(typ)
|
2015-11-25 01:25:01 +00:00
|
|
|
indirect_result = tp.result
|
|
|
|
if isinstance(indirect_result, model.StructOrUnion):
|
|
|
|
if indirect_result.fldtypes is None:
|
|
|
|
raise TypeError("'%s' is used as result type, "
|
|
|
|
"but is opaque" % (
|
|
|
|
indirect_result._get_c_name(),))
|
|
|
|
indirect_result = model.PointerType(indirect_result)
|
|
|
|
indirect_args.insert(0, indirect_result)
|
|
|
|
indirections.insert(0, ("result", indirect_result))
|
|
|
|
indirect_result = model.void_type
|
2013-10-11 17:28:32 +00:00
|
|
|
tp = model.FunctionPtrType(tuple(indirect_args),
|
2015-11-25 01:25:01 +00:00
|
|
|
indirect_result, tp.ellipsis)
|
2013-10-11 17:28:32 +00:00
|
|
|
BFunc = self.ffi._get_cached_btype(tp)
|
|
|
|
wrappername = '_cffi_f_%s' % name
|
|
|
|
newfunction = module.load_function(BFunc, wrappername)
|
|
|
|
for i, typ in indirections:
|
|
|
|
newfunction = self._make_struct_wrapper(newfunction, i, typ,
|
|
|
|
base_tp)
|
|
|
|
setattr(library, name, newfunction)
|
|
|
|
type(library)._cffi_dir.append(name)
|
|
|
|
|
|
|
|
def _make_struct_wrapper(self, oldfunc, i, tp, base_tp):
|
|
|
|
backend = self.ffi._backend
|
|
|
|
BType = self.ffi._get_cached_btype(tp)
|
2015-11-25 01:25:01 +00:00
|
|
|
if i == "result":
|
|
|
|
ffi = self.ffi
|
|
|
|
def newfunc(*args):
|
|
|
|
res = ffi.new(BType)
|
|
|
|
oldfunc(res, *args)
|
|
|
|
return res[0]
|
|
|
|
else:
|
|
|
|
def newfunc(*args):
|
|
|
|
args = args[:i] + (backend.newp(BType, args[i]),) + args[i+1:]
|
|
|
|
return oldfunc(*args)
|
2013-10-11 17:28:32 +00:00
|
|
|
newfunc._cffi_base_type = base_tp
|
|
|
|
return newfunc
|
|
|
|
|
|
|
|
# ----------
|
|
|
|
# named structs
|
|
|
|
|
|
|
|
def _generate_gen_struct_decl(self, tp, name):
|
|
|
|
assert name == tp.name
|
|
|
|
self._generate_struct_or_union_decl(tp, 'struct', name)
|
|
|
|
|
|
|
|
def _loading_gen_struct(self, tp, name, module):
|
|
|
|
self._loading_struct_or_union(tp, 'struct', name, module)
|
|
|
|
|
|
|
|
def _loaded_gen_struct(self, tp, name, module, **kwds):
|
|
|
|
self._loaded_struct_or_union(tp)
|
|
|
|
|
|
|
|
def _generate_gen_union_decl(self, tp, name):
|
|
|
|
assert name == tp.name
|
|
|
|
self._generate_struct_or_union_decl(tp, 'union', name)
|
|
|
|
|
|
|
|
def _loading_gen_union(self, tp, name, module):
|
|
|
|
self._loading_struct_or_union(tp, 'union', name, module)
|
|
|
|
|
|
|
|
def _loaded_gen_union(self, tp, name, module, **kwds):
|
|
|
|
self._loaded_struct_or_union(tp)
|
|
|
|
|
|
|
|
def _generate_struct_or_union_decl(self, tp, prefix, name):
|
|
|
|
if tp.fldnames is None:
|
|
|
|
return # nothing to do with opaque structs
|
|
|
|
checkfuncname = '_cffi_check_%s_%s' % (prefix, name)
|
|
|
|
layoutfuncname = '_cffi_layout_%s_%s' % (prefix, name)
|
|
|
|
cname = ('%s %s' % (prefix, name)).strip()
|
|
|
|
#
|
|
|
|
prnt = self._prnt
|
|
|
|
prnt('static void %s(%s *p)' % (checkfuncname, cname))
|
|
|
|
prnt('{')
|
|
|
|
prnt(' /* only to generate compile-time warnings or errors */')
|
2015-11-25 01:25:01 +00:00
|
|
|
prnt(' (void)p;')
|
|
|
|
for fname, ftype, fbitsize, fqual in tp.enumfields():
|
2013-10-11 17:28:32 +00:00
|
|
|
if (isinstance(ftype, model.PrimitiveType)
|
|
|
|
and ftype.is_integer_type()) or fbitsize >= 0:
|
|
|
|
# accept all integers, but complain on float or double
|
|
|
|
prnt(' (void)((p->%s) << 1);' % fname)
|
|
|
|
else:
|
|
|
|
# only accept exactly the type declared.
|
|
|
|
try:
|
|
|
|
prnt(' { %s = &p->%s; (void)tmp; }' % (
|
2015-11-25 01:25:01 +00:00
|
|
|
ftype.get_c_name('*tmp', 'field %r'%fname, quals=fqual),
|
|
|
|
fname))
|
2013-10-11 17:28:32 +00:00
|
|
|
except ffiplatform.VerificationError as e:
|
|
|
|
prnt(' /* %s */' % str(e)) # cannot verify it, ignore
|
|
|
|
prnt('}')
|
|
|
|
self.export_symbols.append(layoutfuncname)
|
2014-09-05 16:01:36 +00:00
|
|
|
prnt('intptr_t %s(intptr_t i)' % (layoutfuncname,))
|
2013-10-11 17:28:32 +00:00
|
|
|
prnt('{')
|
|
|
|
prnt(' struct _cffi_aligncheck { char x; %s y; };' % cname)
|
2014-09-05 16:01:36 +00:00
|
|
|
prnt(' static intptr_t nums[] = {')
|
2013-10-11 17:28:32 +00:00
|
|
|
prnt(' sizeof(%s),' % cname)
|
|
|
|
prnt(' offsetof(struct _cffi_aligncheck, y),')
|
2015-11-25 01:25:01 +00:00
|
|
|
for fname, ftype, fbitsize, fqual in tp.enumfields():
|
2013-10-11 17:28:32 +00:00
|
|
|
if fbitsize >= 0:
|
|
|
|
continue # xxx ignore fbitsize for now
|
|
|
|
prnt(' offsetof(%s, %s),' % (cname, fname))
|
|
|
|
if isinstance(ftype, model.ArrayType) and ftype.length is None:
|
|
|
|
prnt(' 0, /* %s */' % ftype._get_c_name())
|
|
|
|
else:
|
|
|
|
prnt(' sizeof(((%s *)0)->%s),' % (cname, fname))
|
|
|
|
prnt(' -1')
|
|
|
|
prnt(' };')
|
|
|
|
prnt(' return nums[i];')
|
|
|
|
prnt(' /* the next line is not executed, but compiled */')
|
|
|
|
prnt(' %s(0);' % (checkfuncname,))
|
|
|
|
prnt('}')
|
|
|
|
prnt()
|
|
|
|
|
|
|
|
def _loading_struct_or_union(self, tp, prefix, name, module):
|
|
|
|
if tp.fldnames is None:
|
|
|
|
return # nothing to do with opaque structs
|
|
|
|
layoutfuncname = '_cffi_layout_%s_%s' % (prefix, name)
|
|
|
|
#
|
2014-09-05 16:01:36 +00:00
|
|
|
BFunc = self.ffi._typeof_locked("intptr_t(*)(intptr_t)")[0]
|
2013-10-11 17:28:32 +00:00
|
|
|
function = module.load_function(BFunc, layoutfuncname)
|
|
|
|
layout = []
|
|
|
|
num = 0
|
|
|
|
while True:
|
|
|
|
x = function(num)
|
|
|
|
if x < 0: break
|
|
|
|
layout.append(x)
|
|
|
|
num += 1
|
|
|
|
if isinstance(tp, model.StructOrUnion) and tp.partial:
|
|
|
|
# use the function()'s sizes and offsets to guide the
|
|
|
|
# layout of the struct
|
|
|
|
totalsize = layout[0]
|
|
|
|
totalalignment = layout[1]
|
|
|
|
fieldofs = layout[2::2]
|
|
|
|
fieldsize = layout[3::2]
|
|
|
|
tp.force_flatten()
|
|
|
|
assert len(fieldofs) == len(fieldsize) == len(tp.fldnames)
|
|
|
|
tp.fixedlayout = fieldofs, fieldsize, totalsize, totalalignment
|
|
|
|
else:
|
|
|
|
cname = ('%s %s' % (prefix, name)).strip()
|
|
|
|
self._struct_pending_verification[tp] = layout, cname
|
|
|
|
|
|
|
|
def _loaded_struct_or_union(self, tp):
|
|
|
|
if tp.fldnames is None:
|
|
|
|
return # nothing to do with opaque structs
|
|
|
|
self.ffi._get_cached_btype(tp) # force 'fixedlayout' to be considered
|
|
|
|
|
|
|
|
if tp in self._struct_pending_verification:
|
|
|
|
# check that the layout sizes and offsets match the real ones
|
|
|
|
def check(realvalue, expectedvalue, msg):
|
|
|
|
if realvalue != expectedvalue:
|
|
|
|
raise ffiplatform.VerificationError(
|
|
|
|
"%s (we have %d, but C compiler says %d)"
|
|
|
|
% (msg, expectedvalue, realvalue))
|
|
|
|
ffi = self.ffi
|
|
|
|
BStruct = ffi._get_cached_btype(tp)
|
|
|
|
layout, cname = self._struct_pending_verification.pop(tp)
|
|
|
|
check(layout[0], ffi.sizeof(BStruct), "wrong total size")
|
|
|
|
check(layout[1], ffi.alignof(BStruct), "wrong total alignment")
|
|
|
|
i = 2
|
2015-11-25 01:25:01 +00:00
|
|
|
for fname, ftype, fbitsize, fqual in tp.enumfields():
|
2013-10-11 17:28:32 +00:00
|
|
|
if fbitsize >= 0:
|
|
|
|
continue # xxx ignore fbitsize for now
|
|
|
|
check(layout[i], ffi.offsetof(BStruct, fname),
|
|
|
|
"wrong offset for field %r" % (fname,))
|
|
|
|
if layout[i+1] != 0:
|
|
|
|
BField = ffi._get_cached_btype(ftype)
|
|
|
|
check(layout[i+1], ffi.sizeof(BField),
|
|
|
|
"wrong size for field %r" % (fname,))
|
|
|
|
i += 2
|
|
|
|
assert i == len(layout)
|
|
|
|
|
|
|
|
# ----------
|
|
|
|
# 'anonymous' declarations. These are produced for anonymous structs
|
|
|
|
# or unions; the 'name' is obtained by a typedef.
|
|
|
|
|
|
|
|
def _generate_gen_anonymous_decl(self, tp, name):
|
|
|
|
if isinstance(tp, model.EnumType):
|
|
|
|
self._generate_gen_enum_decl(tp, name, '')
|
|
|
|
else:
|
|
|
|
self._generate_struct_or_union_decl(tp, '', name)
|
|
|
|
|
|
|
|
def _loading_gen_anonymous(self, tp, name, module):
|
|
|
|
if isinstance(tp, model.EnumType):
|
|
|
|
self._loading_gen_enum(tp, name, module, '')
|
|
|
|
else:
|
|
|
|
self._loading_struct_or_union(tp, '', name, module)
|
|
|
|
|
|
|
|
def _loaded_gen_anonymous(self, tp, name, module, **kwds):
|
|
|
|
if isinstance(tp, model.EnumType):
|
|
|
|
self._loaded_gen_enum(tp, name, module, **kwds)
|
|
|
|
else:
|
|
|
|
self._loaded_struct_or_union(tp)
|
|
|
|
|
|
|
|
# ----------
|
|
|
|
# constants, likely declared with '#define'
|
|
|
|
|
2015-11-25 01:25:01 +00:00
|
|
|
def _generate_gen_const(self, is_int, name, tp=None, category='const',
|
|
|
|
check_value=None):
|
2013-10-11 17:28:32 +00:00
|
|
|
prnt = self._prnt
|
|
|
|
funcname = '_cffi_%s_%s' % (category, name)
|
|
|
|
self.export_symbols.append(funcname)
|
2015-11-25 01:25:01 +00:00
|
|
|
if check_value is not None:
|
|
|
|
assert is_int
|
|
|
|
assert category == 'const'
|
|
|
|
prnt('int %s(char *out_error)' % funcname)
|
|
|
|
prnt('{')
|
|
|
|
self._check_int_constant_value(name, check_value)
|
|
|
|
prnt(' return 0;')
|
|
|
|
prnt('}')
|
|
|
|
elif is_int:
|
2013-10-11 17:28:32 +00:00
|
|
|
assert category == 'const'
|
|
|
|
prnt('int %s(long long *out_value)' % funcname)
|
|
|
|
prnt('{')
|
|
|
|
prnt(' *out_value = (long long)(%s);' % (name,))
|
|
|
|
prnt(' return (%s) <= 0;' % (name,))
|
|
|
|
prnt('}')
|
|
|
|
else:
|
|
|
|
assert tp is not None
|
2015-11-25 01:25:01 +00:00
|
|
|
assert check_value is None
|
2013-10-11 17:28:32 +00:00
|
|
|
if category == 'var':
|
|
|
|
ampersand = '&'
|
|
|
|
else:
|
|
|
|
ampersand = ''
|
2015-11-25 01:25:01 +00:00
|
|
|
extra = ''
|
|
|
|
if category == 'const' and isinstance(tp, model.StructOrUnion):
|
|
|
|
extra = 'const *'
|
|
|
|
ampersand = '&'
|
|
|
|
prnt(tp.get_c_name(' %s%s(void)' % (extra, funcname), name))
|
|
|
|
prnt('{')
|
2013-10-11 17:28:32 +00:00
|
|
|
prnt(' return (%s%s);' % (ampersand, name))
|
|
|
|
prnt('}')
|
|
|
|
prnt()
|
|
|
|
|
|
|
|
def _generate_gen_constant_decl(self, tp, name):
|
|
|
|
is_int = isinstance(tp, model.PrimitiveType) and tp.is_integer_type()
|
|
|
|
self._generate_gen_const(is_int, name, tp)
|
|
|
|
|
|
|
|
_loading_gen_constant = _loaded_noop
|
|
|
|
|
2015-11-25 01:25:01 +00:00
|
|
|
def _load_constant(self, is_int, tp, name, module, check_value=None):
|
2013-10-11 17:28:32 +00:00
|
|
|
funcname = '_cffi_const_%s' % name
|
2015-11-25 01:25:01 +00:00
|
|
|
if check_value is not None:
|
|
|
|
assert is_int
|
|
|
|
self._load_known_int_constant(module, funcname)
|
|
|
|
value = check_value
|
|
|
|
elif is_int:
|
2013-10-11 17:28:32 +00:00
|
|
|
BType = self.ffi._typeof_locked("long long*")[0]
|
|
|
|
BFunc = self.ffi._typeof_locked("int(*)(long long*)")[0]
|
|
|
|
function = module.load_function(BFunc, funcname)
|
|
|
|
p = self.ffi.new(BType)
|
|
|
|
negative = function(p)
|
|
|
|
value = int(p[0])
|
|
|
|
if value < 0 and not negative:
|
|
|
|
BLongLong = self.ffi._typeof_locked("long long")[0]
|
|
|
|
value += (1 << (8*self.ffi.sizeof(BLongLong)))
|
|
|
|
else:
|
2015-11-25 01:25:01 +00:00
|
|
|
assert check_value is None
|
|
|
|
fntypeextra = '(*)(void)'
|
|
|
|
if isinstance(tp, model.StructOrUnion):
|
|
|
|
fntypeextra = '*' + fntypeextra
|
|
|
|
BFunc = self.ffi._typeof_locked(tp.get_c_name(fntypeextra, name))[0]
|
2013-10-11 17:28:32 +00:00
|
|
|
function = module.load_function(BFunc, funcname)
|
|
|
|
value = function()
|
2015-11-25 01:25:01 +00:00
|
|
|
if isinstance(tp, model.StructOrUnion):
|
|
|
|
value = value[0]
|
2013-10-11 17:28:32 +00:00
|
|
|
return value
|
|
|
|
|
|
|
|
def _loaded_gen_constant(self, tp, name, module, library):
|
|
|
|
is_int = isinstance(tp, model.PrimitiveType) and tp.is_integer_type()
|
|
|
|
value = self._load_constant(is_int, tp, name, module)
|
|
|
|
setattr(library, name, value)
|
|
|
|
type(library)._cffi_dir.append(name)
|
|
|
|
|
|
|
|
# ----------
|
|
|
|
# enums
|
|
|
|
|
2015-11-25 01:25:01 +00:00
|
|
|
def _check_int_constant_value(self, name, value):
|
|
|
|
prnt = self._prnt
|
|
|
|
if value <= 0:
|
|
|
|
prnt(' if ((%s) > 0 || (long)(%s) != %dL) {' % (
|
|
|
|
name, name, value))
|
|
|
|
else:
|
|
|
|
prnt(' if ((%s) <= 0 || (unsigned long)(%s) != %dUL) {' % (
|
|
|
|
name, name, value))
|
|
|
|
prnt(' char buf[64];')
|
|
|
|
prnt(' if ((%s) <= 0)' % name)
|
|
|
|
prnt(' sprintf(buf, "%%ld", (long)(%s));' % name)
|
|
|
|
prnt(' else')
|
|
|
|
prnt(' sprintf(buf, "%%lu", (unsigned long)(%s));' %
|
|
|
|
name)
|
|
|
|
prnt(' sprintf(out_error, "%s has the real value %s, not %s",')
|
|
|
|
prnt(' "%s", buf, "%d");' % (name[:100], value))
|
|
|
|
prnt(' return -1;')
|
|
|
|
prnt(' }')
|
|
|
|
|
|
|
|
def _load_known_int_constant(self, module, funcname):
|
|
|
|
BType = self.ffi._typeof_locked("char[]")[0]
|
|
|
|
BFunc = self.ffi._typeof_locked("int(*)(char*)")[0]
|
|
|
|
function = module.load_function(BFunc, funcname)
|
|
|
|
p = self.ffi.new(BType, 256)
|
|
|
|
if function(p) < 0:
|
|
|
|
error = self.ffi.string(p)
|
|
|
|
if sys.version_info >= (3,):
|
|
|
|
error = str(error, 'utf-8')
|
|
|
|
raise ffiplatform.VerificationError(error)
|
|
|
|
|
2014-09-05 16:01:36 +00:00
|
|
|
def _enum_funcname(self, prefix, name):
|
|
|
|
# "$enum_$1" => "___D_enum____D_1"
|
|
|
|
name = name.replace('$', '___D_')
|
|
|
|
return '_cffi_e_%s_%s' % (prefix, name)
|
|
|
|
|
2013-10-11 17:28:32 +00:00
|
|
|
def _generate_gen_enum_decl(self, tp, name, prefix='enum'):
|
|
|
|
if tp.partial:
|
|
|
|
for enumerator in tp.enumerators:
|
|
|
|
self._generate_gen_const(True, enumerator)
|
|
|
|
return
|
|
|
|
#
|
2014-09-05 16:01:36 +00:00
|
|
|
funcname = self._enum_funcname(prefix, name)
|
2013-10-11 17:28:32 +00:00
|
|
|
self.export_symbols.append(funcname)
|
|
|
|
prnt = self._prnt
|
|
|
|
prnt('int %s(char *out_error)' % funcname)
|
|
|
|
prnt('{')
|
|
|
|
for enumerator, enumvalue in zip(tp.enumerators, tp.enumvalues):
|
2015-11-25 01:25:01 +00:00
|
|
|
self._check_int_constant_value(enumerator, enumvalue)
|
2013-10-11 17:28:32 +00:00
|
|
|
prnt(' return 0;')
|
|
|
|
prnt('}')
|
|
|
|
prnt()
|
|
|
|
|
|
|
|
def _loading_gen_enum(self, tp, name, module, prefix='enum'):
|
|
|
|
if tp.partial:
|
|
|
|
enumvalues = [self._load_constant(True, tp, enumerator, module)
|
|
|
|
for enumerator in tp.enumerators]
|
|
|
|
tp.enumvalues = tuple(enumvalues)
|
|
|
|
tp.partial_resolved = True
|
|
|
|
else:
|
2014-09-05 16:01:36 +00:00
|
|
|
funcname = self._enum_funcname(prefix, name)
|
2015-11-25 01:25:01 +00:00
|
|
|
self._load_known_int_constant(module, funcname)
|
2013-10-11 17:28:32 +00:00
|
|
|
|
|
|
|
def _loaded_gen_enum(self, tp, name, module, library):
|
|
|
|
for enumerator, enumvalue in zip(tp.enumerators, tp.enumvalues):
|
|
|
|
setattr(library, enumerator, enumvalue)
|
|
|
|
type(library)._cffi_dir.append(enumerator)
|
|
|
|
|
|
|
|
# ----------
|
|
|
|
# macros: for now only for integers
|
|
|
|
|
|
|
|
def _generate_gen_macro_decl(self, tp, name):
|
2015-11-25 01:25:01 +00:00
|
|
|
if tp == '...':
|
|
|
|
check_value = None
|
|
|
|
else:
|
|
|
|
check_value = tp # an integer
|
|
|
|
self._generate_gen_const(True, name, check_value=check_value)
|
2013-10-11 17:28:32 +00:00
|
|
|
|
|
|
|
_loading_gen_macro = _loaded_noop
|
|
|
|
|
|
|
|
def _loaded_gen_macro(self, tp, name, module, library):
|
2015-11-25 01:25:01 +00:00
|
|
|
if tp == '...':
|
|
|
|
check_value = None
|
|
|
|
else:
|
|
|
|
check_value = tp # an integer
|
|
|
|
value = self._load_constant(True, tp, name, module,
|
|
|
|
check_value=check_value)
|
2013-10-11 17:28:32 +00:00
|
|
|
setattr(library, name, value)
|
|
|
|
type(library)._cffi_dir.append(name)
|
|
|
|
|
|
|
|
# ----------
|
|
|
|
# global variables
|
|
|
|
|
|
|
|
def _generate_gen_variable_decl(self, tp, name):
|
|
|
|
if isinstance(tp, model.ArrayType):
|
|
|
|
if tp.length == '...':
|
|
|
|
prnt = self._prnt
|
|
|
|
funcname = '_cffi_sizeof_%s' % (name,)
|
|
|
|
self.export_symbols.append(funcname)
|
|
|
|
prnt("size_t %s(void)" % funcname)
|
|
|
|
prnt("{")
|
|
|
|
prnt(" return sizeof(%s);" % (name,))
|
|
|
|
prnt("}")
|
|
|
|
tp_ptr = model.PointerType(tp.item)
|
|
|
|
self._generate_gen_const(False, name, tp_ptr)
|
|
|
|
else:
|
|
|
|
tp_ptr = model.PointerType(tp)
|
|
|
|
self._generate_gen_const(False, name, tp_ptr, category='var')
|
|
|
|
|
|
|
|
_loading_gen_variable = _loaded_noop
|
|
|
|
|
|
|
|
def _loaded_gen_variable(self, tp, name, module, library):
|
|
|
|
if isinstance(tp, model.ArrayType): # int a[5] is "constant" in the
|
|
|
|
# sense that "a=..." is forbidden
|
|
|
|
if tp.length == '...':
|
|
|
|
funcname = '_cffi_sizeof_%s' % (name,)
|
|
|
|
BFunc = self.ffi._typeof_locked('size_t(*)(void)')[0]
|
|
|
|
function = module.load_function(BFunc, funcname)
|
|
|
|
size = function()
|
|
|
|
BItemType = self.ffi._get_cached_btype(tp.item)
|
|
|
|
length, rest = divmod(size, self.ffi.sizeof(BItemType))
|
|
|
|
if rest != 0:
|
|
|
|
raise ffiplatform.VerificationError(
|
|
|
|
"bad size: %r does not seem to be an array of %s" %
|
|
|
|
(name, tp.item))
|
|
|
|
tp = tp.resolve_length(length)
|
|
|
|
tp_ptr = model.PointerType(tp.item)
|
|
|
|
value = self._load_constant(False, tp_ptr, name, module)
|
|
|
|
# 'value' is a <cdata 'type *'> which we have to replace with
|
|
|
|
# a <cdata 'type[N]'> if the N is actually known
|
|
|
|
if tp.length is not None:
|
|
|
|
BArray = self.ffi._get_cached_btype(tp)
|
|
|
|
value = self.ffi.cast(BArray, value)
|
|
|
|
setattr(library, name, value)
|
|
|
|
type(library)._cffi_dir.append(name)
|
|
|
|
return
|
|
|
|
# remove ptr=<cdata 'int *'> from the library instance, and replace
|
|
|
|
# it by a property on the class, which reads/writes into ptr[0].
|
|
|
|
funcname = '_cffi_var_%s' % name
|
|
|
|
BFunc = self.ffi._typeof_locked(tp.get_c_name('*(*)(void)', name))[0]
|
|
|
|
function = module.load_function(BFunc, funcname)
|
|
|
|
ptr = function()
|
|
|
|
def getter(library):
|
|
|
|
return ptr[0]
|
|
|
|
def setter(library, value):
|
|
|
|
ptr[0] = value
|
|
|
|
setattr(type(library), name, property(getter, setter))
|
|
|
|
type(library)._cffi_dir.append(name)
|
|
|
|
|
|
|
|
cffimod_header = r'''
|
|
|
|
#include <stdio.h>
|
|
|
|
#include <stddef.h>
|
|
|
|
#include <stdarg.h>
|
|
|
|
#include <errno.h>
|
|
|
|
#include <sys/types.h> /* XXX for ssize_t on some platforms */
|
|
|
|
|
2014-09-05 16:01:36 +00:00
|
|
|
/* this block of #ifs should be kept exactly identical between
|
|
|
|
c/_cffi_backend.c, cffi/vengine_cpy.py, cffi/vengine_gen.py */
|
|
|
|
#if defined(_MSC_VER)
|
|
|
|
# include <malloc.h> /* for alloca() */
|
|
|
|
# if _MSC_VER < 1600 /* MSVC < 2010 */
|
|
|
|
typedef __int8 int8_t;
|
|
|
|
typedef __int16 int16_t;
|
|
|
|
typedef __int32 int32_t;
|
|
|
|
typedef __int64 int64_t;
|
|
|
|
typedef unsigned __int8 uint8_t;
|
|
|
|
typedef unsigned __int16 uint16_t;
|
|
|
|
typedef unsigned __int32 uint32_t;
|
|
|
|
typedef unsigned __int64 uint64_t;
|
2015-11-25 01:25:01 +00:00
|
|
|
typedef __int8 int_least8_t;
|
|
|
|
typedef __int16 int_least16_t;
|
|
|
|
typedef __int32 int_least32_t;
|
|
|
|
typedef __int64 int_least64_t;
|
|
|
|
typedef unsigned __int8 uint_least8_t;
|
|
|
|
typedef unsigned __int16 uint_least16_t;
|
|
|
|
typedef unsigned __int32 uint_least32_t;
|
|
|
|
typedef unsigned __int64 uint_least64_t;
|
|
|
|
typedef __int8 int_fast8_t;
|
|
|
|
typedef __int16 int_fast16_t;
|
|
|
|
typedef __int32 int_fast32_t;
|
|
|
|
typedef __int64 int_fast64_t;
|
|
|
|
typedef unsigned __int8 uint_fast8_t;
|
|
|
|
typedef unsigned __int16 uint_fast16_t;
|
|
|
|
typedef unsigned __int32 uint_fast32_t;
|
|
|
|
typedef unsigned __int64 uint_fast64_t;
|
|
|
|
typedef __int64 intmax_t;
|
|
|
|
typedef unsigned __int64 uintmax_t;
|
2014-09-05 16:01:36 +00:00
|
|
|
# else
|
2013-10-11 17:28:32 +00:00
|
|
|
# include <stdint.h>
|
2014-09-05 16:01:36 +00:00
|
|
|
# endif
|
|
|
|
# if _MSC_VER < 1800 /* MSVC < 2013 */
|
|
|
|
typedef unsigned char _Bool;
|
|
|
|
# endif
|
|
|
|
#else
|
|
|
|
# include <stdint.h>
|
|
|
|
# if (defined (__SVR4) && defined (__sun)) || defined(_AIX)
|
|
|
|
# include <alloca.h>
|
|
|
|
# endif
|
2013-10-11 17:28:32 +00:00
|
|
|
#endif
|
|
|
|
'''
|