def test_various_ops():
from rpython.flowspace.model import SpaceOperation, Constant
X = lltype.Ptr(lltype.GcStruct('X'))
Z = lltype.Ptr(lltype.Struct('Z'))
S = lltype.GcStruct('S', ('x', lltype.Signed), ('y', X), ('z', Z))
v1 = varoftype(lltype.Bool)
v2 = varoftype(lltype.Signed)
f = FinalizerAnalyzer(None)
r = f.analyze(SpaceOperation('cast_int_to_bool', [v2], v1))
assert not r
v1 = varoftype(lltype.Ptr(S))
v2 = varoftype(lltype.Signed)
v3 = varoftype(X)
v4 = varoftype(Z)
assert not f.analyze(
SpaceOperation('bare_setfield', [v1, Constant('x'), v2], None))
assert f.analyze(
SpaceOperation('bare_setfield', [v1, Constant('y'), v3], None))
assert not f.analyze(
SpaceOperation('bare_setfield', [v1, Constant('z'), v4], None))
def test_various_ops():
from rpython.flowspace.model import SpaceOperation, Constant
X = lltype.Ptr(lltype.GcStruct('X'))
Z = lltype.Ptr(lltype.Struct('Z'))
S = lltype.GcStruct('S', ('x', lltype.Signed),
('y', X),
('z', Z))
v1 = varoftype(lltype.Bool)
v2 = varoftype(lltype.Signed)
f = FinalizerAnalyzer(None)
r = f.analyze(SpaceOperation('cast_int_to_bool', [v2],
v1))
assert not r
v1 = varoftype(lltype.Ptr(S))
v2 = varoftype(lltype.Signed)
v3 = varoftype(X)
v4 = varoftype(Z)
assert not f.analyze(SpaceOperation('bare_setfield', [v1, Constant('x'),
v2], None))
assert f.analyze(SpaceOperation('bare_setfield', [v1, Constant('y'),
v3], None))
assert not f.analyze(SpaceOperation('bare_setfield', [v1, Constant('z'),
v4], None))
def test_various_ops():
from rpython.flowspace.model import SpaceOperation, Constant
X = lltype.Ptr(lltype.GcStruct('X'))
Z = lltype.Ptr(lltype.Struct('Z'))
S = lltype.GcStruct('S', ('x', lltype.Signed),
('y', X),
('z', Z))
v1 = varoftype(lltype.Bool)
v2 = varoftype(lltype.Signed)
f = FinalizerAnalyzer(None)
r = f.analyze(SpaceOperation('cast_int_to_bool', [v2],
v1))
assert not r
v1 = varoftype(lltype.Ptr(S))
v2 = varoftype(lltype.Signed)
v3 = varoftype(X)
v4 = varoftype(Z)
assert not f.analyze(SpaceOperation('bare_setfield', [v1, Constant('x'),
v2], None))
assert f.analyze(SpaceOperation('bare_setfield', [v1, Constant('y'),
v3], None))
assert not f.analyze(SpaceOperation('bare_setfield', [v1, Constant('z'),
v4], None))
def test_malloc(self):
S = lltype.GcStruct('S')
def f():
return lltype.malloc(S)
r = self.analyze(f, [])
assert r
def test_raw_free_getfield(self):
S = lltype.Struct('S')
class A(object):
def __init__(self):
self.x = lltype.malloc(S, flavor='raw')
def __del__(self):
if self.x:
lltype.free(self.x, flavor='raw')
self.x = lltype.nullptr(S)
def f():
return A()
r = self.analyze(f, [], A.__del__.im_func)
assert not r
def test_c_call(self):
C = rffi.CArray(lltype.Signed)
c = rffi.llexternal('x', [lltype.Ptr(C)], lltype.Signed)
def g():
p = lltype.malloc(C, 3, flavor='raw')
f(p)
def f(p):
c(rffi.ptradd(p, 0))
lltype.free(p, flavor='raw')
r = self.analyze(g, [], f, backendopt=True)
assert not r
def test_chain(self):
class B(object):
def __init__(self):
self.counter = 1
class A(object):
def __init__(self):
self.x = B()
def __del__(self):
self.x.counter += 1
def f():
A()
r = self.analyze(f, [], A.__del__.im_func)
assert r
def test_must_be_light_finalizer_decorator(self):
S = lltype.GcStruct('S')
@rgc.must_be_light_finalizer
def f():
lltype.malloc(S)
@rgc.must_be_light_finalizer
def g():
pass
self.analyze(g, []) # did not explode
py.test.raises(FinalizerError, self.analyze, f, [])
def test_various_ops():
from rpython.flowspace.model import SpaceOperation, Constant
X = lltype.Ptr(lltype.GcStruct('X'))
Z = lltype.Ptr(lltype.Struct('Z'))
S = lltype.GcStruct('S', ('x', lltype.Signed), ('y', X), ('z', Z))
v1 = varoftype(lltype.Bool)
v2 = varoftype(lltype.Signed)
f = FinalizerAnalyzer(None)
r = f.analyze(SpaceOperation('cast_int_to_bool', [v2], v1))
assert not r
v1 = varoftype(lltype.Ptr(S))
v2 = varoftype(lltype.Signed)
v3 = varoftype(X)
v4 = varoftype(Z)
assert not f.analyze(
SpaceOperation('bare_setfield', [v1, Constant('x'), v2], None))
assert f.analyze(
SpaceOperation('bare_setfield', [v1, Constant('y'), v3], None))
assert not f.analyze(
SpaceOperation('bare_setfield', [v1, Constant('z'), v4], None))
def test_malloc(self):
S = lltype.GcStruct('S')
def f():
return lltype.malloc(S)
r = self.analyze(f, [])
assert r
def test_raw_free_getfield(self):
S = lltype.Struct('S')
class A(object):
def __init__(self):
self.x = lltype.malloc(S, flavor='raw')
def __del__(self):
if self.x:
lltype.free(self.x, flavor='raw')
self.x = lltype.nullptr(S)
def f():
return A()
r = self.analyze(f, [], A.__del__.im_func)
assert not r
def test_c_call(self):
C = rffi.CArray(lltype.Signed)
c = rffi.llexternal('x', [lltype.Ptr(C)], lltype.Signed)
def g():
p = lltype.malloc(C, 3, flavor='raw')
f(p)
def f(p):
c(rffi.ptradd(p, 0))
lltype.free(p, flavor='raw')
r = self.analyze(g, [], f, backendopt=True)
assert not r
def test_chain(self):
class B(object):
def __init__(self):
self.counter = 1
class A(object):
def __init__(self):
self.x = B()
def __del__(self):
self.x.counter += 1
def f():
A()
r = self.analyze(f, [], A.__del__.im_func)
assert r
def test_must_be_light_finalizer_decorator(self):
S = lltype.GcStruct('S')
@rgc.must_be_light_finalizer
def f():
lltype.malloc(S)
@rgc.must_be_light_finalizer
def g():
pass
self.analyze(g, []) # did not explode
py.test.raises(FinalizerError, self.analyze, f, [])
