Source

pypy / pypy / jit / metainterp / test / test_typesystem.py

The branch 'autoreds' does not exist.
Full commit
from pypy.jit.metainterp import typesystem
from pypy.rpython.lltypesystem import lltype, llmemory
from pypy.rpython.ootypesystem import ootype


class TypeSystemTests(object):

    def test_ref_dict(self):
        d = self.helper.new_ref_dict()
        ref1 = self.fresh_ref()
        ref2 = self.fresh_ref()
        ref3 = self.fresh_ref()
        d[ref1] = 123
        d[ref2] = 456
        d[ref3] = 789
        ref1b = self.duplicate_ref(ref1)
        ref2b = self.duplicate_ref(ref2)
        ref3b = self.duplicate_ref(ref3)
        assert d[ref1b] == 123
        assert d[ref2b] == 456
        assert d[ref3b] == 789


class TestLLtype(TypeSystemTests):
    helper = typesystem.llhelper

    def fresh_ref(self):
        S = lltype.GcStruct('S')
        s = lltype.malloc(S)
        return lltype.cast_opaque_ptr(llmemory.GCREF, s)

    def duplicate_ref(self, x):
        s = x._obj.container._as_ptr()
        return lltype.cast_opaque_ptr(llmemory.GCREF, s)

    def null_ref(self):
        return lltype.nullptr(llmemory.GCREF.TO)


class TestOOtype(TypeSystemTests):
    helper = typesystem.oohelper

    def fresh_ref(self):
        O = ootype.StaticMethod([], ootype.Signed)
        o = O._example()
        return ootype.cast_to_object(o)

    def duplicate_ref(self, x):
        o = x.obj
        return ootype.cast_to_object(o)

    def null_ref(self):
        return ootype.NULL