1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
# XXX This is completely outdated file, kept here only for bootstrapping
# reasons. If you touch it, try removing it
import py
import os
from rpython.translator.tool.cbuild import ExternalCompilationInfo
from rpython.tool.udir import udir
from rpython.rlib import rarithmetic
from rpython.rtyper.lltypesystem import lltype
from rpython.tool.gcc_cache import build_executable_cache
def ask_gcc(question, add_source="", ignore_errors=False):
from rpython.translator.platform import platform
includes = ['stdlib.h', 'stdio.h', 'sys/types.h']
if platform.name != 'msvc':
includes += ['inttypes.h', 'stddef.h']
include_string = "\n".join(["#include <%s>" % i for i in includes])
c_source = py.code.Source('''
// includes
%s
%s
// checking code
int main(void)
{
%s
return (0);
}
''' % (include_string, add_source, str(question)))
c_file = udir.join("gcctest.c")
c_file.write(str(c_source) + '\n')
eci = ExternalCompilationInfo()
return build_executable_cache([c_file], eci, ignore_errors=ignore_errors)
def sizeof_c_type(c_typename, **kwds):
return sizeof_c_types([c_typename], **kwds)[0]
def sizeof_c_types(typenames_c, **kwds):
lines = ['printf("sizeof %s=%%ld\\n", (long)sizeof(%s));' % (c_typename,
c_typename)
for c_typename in typenames_c]
question = '\n\t'.join(lines)
answer = ask_gcc(question, **kwds)
lines = answer.splitlines()
assert len(lines) == len(typenames_c)
result = []
for line, c_typename in zip(lines, typenames_c):
answer = line.split('=')
assert answer[0] == "sizeof " + c_typename
result.append(int(answer[1]))
return result
def signof_c_type(c_typename, **kwds):
question = 'printf("sign %s=%%d\\n", ((%s) -1) <= (%s)0);' % (c_typename,
c_typename,
c_typename)
answer = ask_gcc(question, **kwds).strip()
if answer == 'sign %s=0' % (c_typename,):
return False
if answer == 'sign %s=1' % (c_typename,):
return True
raise ValueError(answer)
class Platform:
def __init__(self):
self.types = {}
self.numbertype_to_rclass = {}
def inttype(self, name, c_name, signed, **kwds):
try:
return self.types[name]
except KeyError:
size = sizeof_c_type(c_name, **kwds)
return self._make_type(name, signed, size)
def _make_type(self, name, signed, size):
inttype = rarithmetic.build_int('r_' + name, signed, size*8)
tp = lltype.build_number(name, inttype)
self.numbertype_to_rclass[tp] = inttype
self.types[name] = tp
return tp
def populate_inttypes(self, list, **kwds):
"""'list' is a list of (name, c_name, signed)."""
missing = []
names_c = []
for name, c_name, signed in list:
if name not in self.types:
missing.append((name, signed))
names_c.append(c_name)
if names_c:
sizes = sizeof_c_types(names_c, **kwds)
assert len(sizes) == len(missing)
for (name, signed), size in zip(missing, sizes):
self._make_type(name, signed, size)
platform = Platform()
|
