make_cffi.py
199 lines
| 6.0 KiB
| text/x-python
|
PythonLexer
Gregory Szorc
|
r30435 | # Copyright (c) 2016-present, Gregory Szorc | ||
# All rights reserved. | ||||
# | ||||
# This software may be modified and distributed under the terms | ||||
# of the BSD license. See the LICENSE file for details. | ||||
from __future__ import absolute_import | ||||
import cffi | ||||
Gregory Szorc
|
r30822 | import distutils.ccompiler | ||
Gregory Szorc
|
r30435 | import os | ||
Gregory Szorc
|
r30895 | import re | ||
Gregory Szorc
|
r30822 | import subprocess | ||
import tempfile | ||||
Gregory Szorc
|
r30435 | |||
HERE = os.path.abspath(os.path.dirname(__file__)) | ||||
SOURCES = ['zstd/%s' % p for p in ( | ||||
Gregory Szorc
|
r40157 | 'common/debug.c', | ||
Gregory Szorc
|
r30435 | 'common/entropy_common.c', | ||
'common/error_private.c', | ||||
'common/fse_decompress.c', | ||||
Gregory Szorc
|
r30895 | 'common/pool.c', | ||
'common/threading.c', | ||||
Gregory Szorc
|
r30435 | 'common/xxhash.c', | ||
'common/zstd_common.c', | ||||
'compress/fse_compress.c', | ||||
Gregory Szorc
|
r40157 | 'compress/hist.c', | ||
Gregory Szorc
|
r30435 | 'compress/huf_compress.c', | ||
'compress/zstd_compress.c', | ||||
Gregory Szorc
|
r37513 | 'compress/zstd_double_fast.c', | ||
'compress/zstd_fast.c', | ||||
'compress/zstd_lazy.c', | ||||
'compress/zstd_ldm.c', | ||||
'compress/zstd_opt.c', | ||||
Gregory Szorc
|
r31796 | 'compress/zstdmt_compress.c', | ||
Gregory Szorc
|
r30435 | 'decompress/huf_decompress.c', | ||
'decompress/zstd_decompress.c', | ||||
Gregory Szorc
|
r30895 | 'dictBuilder/cover.c', | ||
Gregory Szorc
|
r40157 | 'dictBuilder/fastcover.c', | ||
Gregory Szorc
|
r30435 | 'dictBuilder/divsufsort.c', | ||
'dictBuilder/zdict.c', | ||||
)] | ||||
Gregory Szorc
|
r31796 | # Headers whose preprocessed output will be fed into cdef(). | ||
Gregory Szorc
|
r30895 | HEADERS = [os.path.join(HERE, 'zstd', *p) for p in ( | ||
('zstd.h',), | ||||
('dictBuilder', 'zdict.h'), | ||||
)] | ||||
Gregory Szorc
|
r30435 | INCLUDE_DIRS = [os.path.join(HERE, d) for d in ( | ||
'zstd', | ||||
'zstd/common', | ||||
'zstd/compress', | ||||
'zstd/decompress', | ||||
'zstd/dictBuilder', | ||||
)] | ||||
Gregory Szorc
|
r30822 | # cffi can't parse some of the primitives in zstd.h. So we invoke the | ||
# preprocessor and feed its output into cffi. | ||||
compiler = distutils.ccompiler.new_compiler() | ||||
# Needed for MSVC. | ||||
if hasattr(compiler, 'initialize'): | ||||
compiler.initialize() | ||||
# Distutils doesn't set compiler.preprocessor, so invoke the preprocessor | ||||
# manually. | ||||
if compiler.compiler_type == 'unix': | ||||
args = list(compiler.executables['compiler']) | ||||
args.extend([ | ||||
'-E', | ||||
'-DZSTD_STATIC_LINKING_ONLY', | ||||
Gregory Szorc
|
r30895 | '-DZDICT_STATIC_LINKING_ONLY', | ||
Gregory Szorc
|
r30822 | ]) | ||
elif compiler.compiler_type == 'msvc': | ||||
args = [compiler.cc] | ||||
args.extend([ | ||||
'/EP', | ||||
'/DZSTD_STATIC_LINKING_ONLY', | ||||
Gregory Szorc
|
r30895 | '/DZDICT_STATIC_LINKING_ONLY', | ||
Gregory Szorc
|
r30822 | ]) | ||
else: | ||||
raise Exception('unsupported compiler type: %s' % compiler.compiler_type) | ||||
Gregory Szorc
|
r30895 | def preprocess(path): | ||
with open(path, 'rb') as fh: | ||||
Gregory Szorc
|
r31796 | lines = [] | ||
Gregory Szorc
|
r37513 | it = iter(fh) | ||
for l in it: | ||||
Gregory Szorc
|
r31796 | # zstd.h includes <stddef.h>, which is also included by cffi's | ||
# boilerplate. This can lead to duplicate declarations. So we strip | ||||
# this include from the preprocessor invocation. | ||||
# | ||||
# The same things happens for including zstd.h, so give it the same | ||||
# treatment. | ||||
# | ||||
# We define ZSTD_STATIC_LINKING_ONLY, which is redundant with the inline | ||||
# #define in zstdmt_compress.h and results in a compiler warning. So drop | ||||
# the inline #define. | ||||
if l.startswith((b'#include <stddef.h>', | ||||
b'#include "zstd.h"', | ||||
b'#define ZSTD_STATIC_LINKING_ONLY')): | ||||
continue | ||||
# ZSTDLIB_API may not be defined if we dropped zstd.h. It isn't | ||||
# important so just filter it out. | ||||
if l.startswith(b'ZSTDLIB_API'): | ||||
l = l[len(b'ZSTDLIB_API '):] | ||||
lines.append(l) | ||||
Gregory Szorc
|
r30822 | |||
Gregory Szorc
|
r30895 | fd, input_file = tempfile.mkstemp(suffix='.h') | ||
os.write(fd, b''.join(lines)) | ||||
os.close(fd) | ||||
Gregory Szorc
|
r30822 | |||
Gregory Szorc
|
r30895 | try: | ||
process = subprocess.Popen(args + [input_file], stdout=subprocess.PIPE) | ||||
output = process.communicate()[0] | ||||
ret = process.poll() | ||||
if ret: | ||||
raise Exception('preprocessor exited with error') | ||||
Gregory Szorc
|
r30822 | |||
Gregory Szorc
|
r30895 | return output | ||
finally: | ||||
os.unlink(input_file) | ||||
Gregory Szorc
|
r30822 | |||
Gregory Szorc
|
r30895 | |||
def normalize_output(output): | ||||
Gregory Szorc
|
r30822 | lines = [] | ||
for line in output.splitlines(): | ||||
# CFFI's parser doesn't like __attribute__ on UNIX compilers. | ||||
if line.startswith(b'__attribute__ ((visibility ("default"))) '): | ||||
line = line[len(b'__attribute__ ((visibility ("default"))) '):] | ||||
Gregory Szorc
|
r30895 | if line.startswith(b'__attribute__((deprecated('): | ||
continue | ||||
elif b'__declspec(deprecated(' in line: | ||||
continue | ||||
Gregory Szorc
|
r30822 | lines.append(line) | ||
return b'\n'.join(lines) | ||||
Gregory Szorc
|
r30435 | |||
Gregory Szorc
|
r30895 | |||
Gregory Szorc
|
r30435 | ffi = cffi.FFI() | ||
Gregory Szorc
|
r37513 | # zstd.h uses a possible undefined MIN(). Define it until | ||
# https://github.com/facebook/zstd/issues/976 is fixed. | ||||
Gregory Szorc
|
r31796 | # *_DISABLE_DEPRECATE_WARNINGS prevents the compiler from emitting a warning | ||
# when cffi uses the function. Since we statically link against zstd, even | ||||
# if we use the deprecated functions it shouldn't be a huge problem. | ||||
Gregory Szorc
|
r30435 | ffi.set_source('_zstd_cffi', ''' | ||
Gregory Szorc
|
r37513 | #define MIN(a,b) ((a)<(b) ? (a) : (b)) | ||
Gregory Szorc
|
r30435 | #define ZSTD_STATIC_LINKING_ONLY | ||
Gregory Szorc
|
r37513 | #include <zstd.h> | ||
Gregory Szorc
|
r30895 | #define ZDICT_STATIC_LINKING_ONLY | ||
Gregory Szorc
|
r31796 | #define ZDICT_DISABLE_DEPRECATE_WARNINGS | ||
Gregory Szorc
|
r37513 | #include <zdict.h> | ||
''', sources=SOURCES, | ||||
include_dirs=INCLUDE_DIRS, | ||||
extra_compile_args=['-DZSTD_MULTITHREAD']) | ||||
Gregory Szorc
|
r30435 | |||
Gregory Szorc
|
r30895 | DEFINE = re.compile(b'^\\#define ([a-zA-Z0-9_]+) ') | ||
sources = [] | ||||
Gregory Szorc
|
r31796 | # Feed normalized preprocessor output for headers into the cdef parser. | ||
Gregory Szorc
|
r30895 | for header in HEADERS: | ||
preprocessed = preprocess(header) | ||||
sources.append(normalize_output(preprocessed)) | ||||
Gregory Szorc
|
r31796 | # #define's are effectively erased as part of going through preprocessor. | ||
# So perform a manual pass to re-add those to the cdef source. | ||||
Gregory Szorc
|
r30895 | with open(header, 'rb') as fh: | ||
for line in fh: | ||||
line = line.strip() | ||||
m = DEFINE.match(line) | ||||
if not m: | ||||
continue | ||||
Gregory Szorc
|
r31796 | if m.group(1) == b'ZSTD_STATIC_LINKING_ONLY': | ||
continue | ||||
Gregory Szorc
|
r30895 | # The parser doesn't like some constants with complex values. | ||
if m.group(1) in (b'ZSTD_LIB_VERSION', b'ZSTD_VERSION_STRING'): | ||||
continue | ||||
Gregory Szorc
|
r31796 | # The ... is magic syntax by the cdef parser to resolve the | ||
# value at compile time. | ||||
Gregory Szorc
|
r30895 | sources.append(m.group(0) + b' ...') | ||
Gregory Szorc
|
r31796 | cdeflines = b'\n'.join(sources).splitlines() | ||
cdeflines = [l for l in cdeflines if l.strip()] | ||||
ffi.cdef(b'\n'.join(cdeflines).decode('latin1')) | ||||
Gregory Szorc
|
r30435 | |||
if __name__ == '__main__': | ||||
ffi.compile() | ||||