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
|
from rpython.memory.gctransform.boehm import BoehmGCTransformer
from rpython.memory.gctransform.test.test_transform import rtype_and_transform, getops
from rpython.memory.gctransform.test.test_refcounting import make_deallocator
from rpython.rtyper.lltypesystem import lltype
from rpython.translator.translator import graphof
from rpython.translator.c.gc import BoehmGcPolicy
from rpython.memory.gctransform.test.test_transform import LLInterpedTranformerTests
class TestLLInterpedBoehm(LLInterpedTranformerTests):
gcpolicy = BoehmGcPolicy
def make_boehm_finalizer(TYPE):
return make_deallocator(TYPE, attr="finalizer_funcptr_for_type",
cls=BoehmGCTransformer)
def test_boehm_simple():
class C:
pass
def f():
c = C()
c.x = 1
return c.x
t, transformer = rtype_and_transform(
f, [], BoehmGCTransformer, check=False)
ops = getops(graphof(t, f))
assert len(ops.get('direct_call', [])) <= 1
gcs = [k for k in ops if k.startswith('gc')]
assert len(gcs) == 0
def test_boehm_finalizer_simple():
S = lltype.GcStruct("S", ('x', lltype.Signed))
f, t = make_boehm_finalizer(S)
assert f is None
def test_boehm_finalizer___del__():
S = lltype.GcStruct("S", ('x', lltype.Signed), rtti=True)
def f(s):
s.x = 1
def type_info_S(p):
return lltype.getRuntimeTypeInfo(S)
qp = lltype.functionptr(lltype.FuncType([lltype.Ptr(S)],
lltype.Ptr(lltype.RuntimeTypeInfo)),
"type_info_S",
_callable=type_info_S)
dp = lltype.functionptr(lltype.FuncType([lltype.Ptr(S)],
lltype.Void),
"destructor_funcptr",
_callable=f)
lltype.attachRuntimeTypeInfo(S, qp, destrptr=dp)
f, t = make_boehm_finalizer(S)
assert f is not None
|
