Beispiel #1
0
def test_direct_invalid():
    x1 = X()
    vref = virtual_ref(x1)
    assert vref._state == 'non-forced'
    virtual_ref_finish(vref, x1)
    assert vref._state == 'invalid'
    py.test.raises(InvalidVirtualRef, "vref()")
Beispiel #2
0
 def f(n):
     while n > 0:
         myjitdriver.can_enter_jit(n=n)
         myjitdriver.jit_merge_point(n=n)
         xy = XY()
         xy.next1 = lltype.malloc(A, 0)
         xy.next2 = lltype.malloc(A, 0)
         xy.next3 = lltype.malloc(A, 0)
         xy.next4 = lltype.malloc(A, 0)
         xy.next5 = lltype.malloc(A, 0)
         xy.n = n
         exctx.topframeref = vref = virtual_ref(xy)
         if n % 6 == 0:
             xy.next1 = lltype.nullptr(A)
             xy.next2 = lltype.nullptr(A)
             xy.next3 = lltype.nullptr(A)
             externalfn(n)
         n -= 1
         exctx.topframeref = vref_None
         xy.next1 = lltype.nullptr(A)
         xy.next2 = lltype.nullptr(A)
         xy.next3 = lltype.nullptr(A)
         xy.next4 = lltype.nullptr(A)
         xy.next5 = lltype.nullptr(A)
         virtual_ref_finish(vref, xy)
     return exctx.m
Beispiel #3
0
 def f(n):
     while n > 0:
         myjitdriver.can_enter_jit(n=n)
         myjitdriver.jit_merge_point(n=n)
         xy = XY()
         xy.next1 = lltype.malloc(A, 0)
         xy.next2 = lltype.malloc(A, 0)
         xy.next3 = lltype.malloc(A, 0)
         xy.next4 = lltype.malloc(A, 0)
         xy.next5 = lltype.malloc(A, 0)
         xy.n = n
         exctx.topframeref = vref = virtual_ref(xy)
         if n % 6 == 0:
             xy.next1 = lltype.nullptr(A)
             xy.next2 = lltype.nullptr(A)
             xy.next3 = lltype.nullptr(A)
             externalfn(n)
         n -= 1
         exctx.topframeref = vref_None
         xy.next1 = lltype.nullptr(A)
         xy.next2 = lltype.nullptr(A)
         xy.next3 = lltype.nullptr(A)
         xy.next4 = lltype.nullptr(A)
         xy.next5 = lltype.nullptr(A)
         virtual_ref_finish(vref, xy)
     return exctx.m
Beispiel #4
0
 def leave(self, frame, got_exception):
     frame_vref = self.topframeref
     self.topframeref = frame.backref
     if frame.escaped or got_exception:
         back = frame.backref()
         if back is not None:
             back.escaped = True
         frame_vref()
     jit.virtual_ref_finish(frame_vref, frame)
Beispiel #5
0
def test_direct_forced():
    x1 = X()
    vref = virtual_ref(x1)
    assert vref._state == 'non-forced'
    assert vref() is x1
    assert vref._state == 'forced'
    virtual_ref_finish(vref, x1)
    assert vref._state == 'forced'
    assert vref() is x1
Beispiel #6
0
 def f(n):
     res1 = -42
     while n > 0:
         myjitdriver.jit_merge_point(n=n, res1=res1)
         x = X()
         vref = virtual_ref(x)
         res1 = residual(vref)
         virtual_ref_finish(vref, x)
         n -= 1
     return res1
Beispiel #7
0
 def f(n):
     res1 = -42
     while n > 0:
         myjitdriver.jit_merge_point(n=n, res1=res1)
         x = X()
         vref = virtual_ref(x)
         res1 = residual(vref)
         virtual_ref_finish(vref, x)
         n -= 1
     return res1
Beispiel #8
0
    def leave(self, frame):
        try:
            if self.profilefunc:
                self._trace(frame, 'leaveframe', self.space.w_None)
        finally:
            self.topframeref = frame.f_backref
            self.framestackdepth -= 1
            jit.virtual_ref_finish(frame)

        if self.w_tracefunc is not None and not frame.hide():
            self.space.frame_trace_action.fire()
Beispiel #9
0
 def f(n):
     while n > 0:
         myjitdriver.can_enter_jit(n=n)
         myjitdriver.jit_merge_point(n=n)
         xy = XY()
         xy.n = n
         exctx.topframeref = virtual_ref(xy)
         exctx.later = exctx.topframeref
         n -= 1
         exctx.topframeref = vref_None
         virtual_ref_finish(xy)
     return g()
Beispiel #10
0
 def fn(n):
     res = False
     while n > 0:
         myjitdriver.can_enter_jit(n=n)
         myjitdriver.jit_merge_point(n=n)
         xy = XY()
         xy.n = n
         vref = virtual_ref(xy)
         virtual_ref_finish(vref, xy)
         vref() # raises InvalidVirtualRef when jitted
         n -= 1
     return res
Beispiel #11
0
 def fn(n):
     res = False
     while n > 0:
         myjitdriver.can_enter_jit(n=n)
         myjitdriver.jit_merge_point(n=n)
         xy = XY()
         xy.n = n
         vref = virtual_ref(xy)
         virtual_ref_finish(vref, xy)
         vref()  # raises InvalidVirtualRef when jitted
         n -= 1
     return res
Beispiel #12
0
def test_direct_forced():
    x1 = X()
    vref = virtual_ref(x1)
    assert vref._state == 'non-forced'
    assert vref.virtual is True
    assert vref() is x1
    assert vref._state == 'forced'
    assert vref.virtual is False
    virtual_ref_finish(vref, x1)
    assert vref._state == 'forced'
    assert vref.virtual is False
    assert vref() is x1
Beispiel #13
0
 def f(n):
     while n > 0:
         myjitdriver.can_enter_jit(n=n)
         myjitdriver.jit_merge_point(n=n)
         xy = XY()
         xy.n = n
         exctx.topframeref = vref = virtual_ref(xy)
         xy.next1 = lltype.malloc(A, 0)
         n = exctx.topframeref().n - 1
         xy.next1 = lltype.nullptr(A)
         exctx.topframeref = vref_None
         virtual_ref_finish(vref, xy)
     return 1
Beispiel #14
0
 def fn(n):
     res = 0
     while n > 0:
         myjitdriver.can_enter_jit(n=n, res=res)
         myjitdriver.jit_merge_point(n=n, res=res)
         xy = XY()
         xy.n = n
         vref = virtual_ref(xy)
         force_it(vref, n)
         virtual_ref_finish(vref, xy)
         res += force_it(vref, n) # doesn't raise, because it was already forced
         n -= 1
     return res
Beispiel #15
0
 def f(n):
     while n > 0:
         myjitdriver.can_enter_jit(n=n)
         myjitdriver.jit_merge_point(n=n)
         xy = XY()
         xy.n = n
         exctx.topframeref = vref = virtual_ref(xy)
         xy.next1 = lltype.malloc(A, 0)
         n = exctx.topframeref().n - 1
         xy.next1 = lltype.nullptr(A)
         exctx.topframeref = vref_None
         virtual_ref_finish(vref, xy)
     return 1
Beispiel #16
0
 def fn(n):
     res = 0
     while n > 0:
         myjitdriver.can_enter_jit(n=n, res=res)
         myjitdriver.jit_merge_point(n=n, res=res)
         xy = XY()
         xy.n = n
         vref = virtual_ref(xy)
         force_it(vref, n)
         virtual_ref_finish(vref, xy)
         res += force_it(
             vref, n)  # doesn't raise, because it was already forced
         n -= 1
     return res
Beispiel #17
0
 def f(frame, n, reclevel):
     while n > 0:
         myjitdriver.can_enter_jit(n=n, frame=frame, rec=reclevel)
         myjitdriver.jit_merge_point(n=n, frame=frame, rec=reclevel)
         if reclevel == 0:
             return n
         xy = XY()
         exctx.topframeref = vref = virtual_ref(xy)
         m = f(xy, n, reclevel - 1)
         assert m == n
         n -= 1
         exctx.topframeref = vref_None
         virtual_ref_finish(vref, xy)
     return 2
Beispiel #18
0
 def f(frame, n, reclevel):
     while n > 0:
         myjitdriver.can_enter_jit(n=n, frame=frame, rec=reclevel)
         myjitdriver.jit_merge_point(n=n, frame=frame, rec=reclevel)
         if reclevel == 0:
             return n
         xy = XY()
         exctx.topframeref = vref = virtual_ref(xy)
         m = f(xy, n, reclevel-1)
         assert m == n
         n -= 1
         exctx.topframeref = vref_None
         virtual_ref_finish(vref, xy)
     return 2
Beispiel #19
0
 def f(n):
     while n > 0:
         myjitdriver.jit_merge_point(n=n)
         xy = XY()
         xy.n = n
         vr = virtual_ref(xy)
         # force the virtualref to be allocated
         exctx.vr = vr
         # force xy to be allocated
         escapexy(xy)
         # clean up
         exctx.vr = vref_None
         virtual_ref_finish(vr, xy)
         n -= 1
     return 1
Beispiel #20
0
 def f(n):
     while n > 0:
         myjitdriver.jit_merge_point(n=n)
         xy = XY()
         xy.n = n
         vr = virtual_ref(xy)
         # force the virtualref to be allocated
         exctx.vr = vr
         # force xy to be allocated
         escapexy(xy)
         # clean up
         exctx.vr = vref_None
         virtual_ref_finish(vr, xy)
         n -= 1
     return 1
Beispiel #21
0
 def f(n):
     while n > 0:
         myjitdriver.can_enter_jit(n=n)
         myjitdriver.jit_merge_point(n=n)
         xy = XY()
         xy.next1 = lltype.malloc(A, 0)
         xy.next2 = lltype.malloc(A, 0)
         xy.next3 = lltype.malloc(A, 0)
         exctx.topframeref = virtual_ref(xy)
         n -= externalfn(n)
         exctx.topframeref = vref_None
         xy.next1 = lltype.nullptr(A)
         xy.next2 = lltype.nullptr(A)
         xy.next3 = lltype.nullptr(A)
         virtual_ref_finish(xy)
Beispiel #22
0
 def f(n):
     while n > 0:
         jitdriver.can_enter_jit(n=n)
         jitdriver.jit_merge_point(n=n)
         x = X()
         x.n = n
         exctx.topframeref = vref = virtual_ref(x)
         # here, 'x' should be virtual
         exctx.topframeref = vref_None
         virtual_ref_finish(vref, x)
         # 'x' and 'vref' can randomly escape after the call to
         # finish().
         g(vref)
         n -= 1
     return 1
Beispiel #23
0
 def f(n):
     while n > 0:
         jitdriver.can_enter_jit(n=n)
         jitdriver.jit_merge_point(n=n)
         x = X()
         x.n = n
         exctx.topframeref = vref = virtual_ref(x)
         # here, 'x' should be virtual
         exctx.topframeref = vref_None
         virtual_ref_finish(vref, x)
         # 'x' and 'vref' can randomly escape after the call to
         # finish().
         g(vref)
         n -= 1
     return 1
Beispiel #24
0
 def f(frame, n, reclevel):
     while n > 0:
         myjitdriver.can_enter_jit(n=n, frame=frame, rec=reclevel)
         myjitdriver.jit_merge_point(n=n, frame=frame, rec=reclevel)
         frame.n += 1
         xy = XY()
         xy.n = n
         exctx.topframeref = vref = virtual_ref(xy)
         if reclevel > 0:
             m = f(xy, frame.n, reclevel-1)
             assert xy.n == m
             n -= 1
         else:
             n -= 2
         exctx.topframeref = vref_None
         virtual_ref_finish(vref, xy)
     return frame.n
Beispiel #25
0
 def f(frame, n, reclevel):
     while n > 0:
         myjitdriver.can_enter_jit(n=n, frame=frame, rec=reclevel)
         myjitdriver.jit_merge_point(n=n, frame=frame, rec=reclevel)
         frame.n += 1
         xy = XY()
         xy.n = n
         exctx.topframeref = vref = virtual_ref(xy)
         if reclevel > 0:
             m = f(xy, frame.n, reclevel - 1)
             assert xy.n == m
             n -= 1
         else:
             n -= 2
         exctx.topframeref = vref_None
         virtual_ref_finish(vref, xy)
     return frame.n
Beispiel #26
0
    def leave(self, frame, w_exitvalue, got_exception):
        try:
            if self.profilefunc:
                self._trace(frame, 'leaveframe', w_exitvalue)
        finally:
            frame_vref = self.topframeref
            self.topframeref = frame.f_backref
            if frame.escaped or got_exception:
                # if this frame escaped to applevel, we must ensure that also
                # f_back does
                f_back = frame.f_backref()
                if f_back:
                    f_back.mark_as_escaped()
                # force the frame (from the JIT point of view), so that it can
                # be accessed also later
                frame_vref()
            jit.virtual_ref_finish(frame_vref, frame)

        if self.w_tracefunc is not None and not frame.hide():
            self.space.frame_trace_action.fire()
Beispiel #27
0
    def leave(self, frame, w_exitvalue, got_exception):
        try:
            if self.profilefunc:
                self._trace(frame, 'leaveframe', w_exitvalue)
        finally:
            frame_vref = self.topframeref
            self.topframeref = frame.f_backref
            if frame.escaped or got_exception:
                # if this frame escaped to applevel, we must ensure that also
                # f_back does
                f_back = frame.f_backref()
                if f_back:
                    f_back.mark_as_escaped()
                # force the frame (from the JIT point of view), so that it can
                # be accessed also later
                frame_vref()
            jit.virtual_ref_finish(frame_vref, frame)

        if self.w_tracefunc is not None and not frame.hide():
            self.space.frame_trace_action.fire()
Beispiel #28
0
 def f():
     x = X()
     exctx.topframeref = vref = virtual_ref(x)
     exctx.topframeref = vref_None
     virtual_ref_finish(vref, x)
     return 1
Beispiel #29
0
 def f():
     x1 = X()
     vref = virtual_ref(x1)
     x2 = vref()
     virtual_ref_finish(vref, x1)
     return x2
Beispiel #30
0
 def f():
     x = X()
     exctx.topframeref = vref = virtual_ref(x)
     exctx.topframeref = vref_None
     virtual_ref_finish(vref, x)
     return 1
Beispiel #31
0
 def f(n, x, x0, x1, x2, x3, x4, x5, x6, x7, l, s):
     a = A()
     glob.v = vref = virtual_ref(a)
     virtual_ref_finish(vref, a)
     n -= 1
     return n, x, x0, x1, x2, x3, x4, x5, x6, x7, l, s
Beispiel #32
0
 def leave():
     exctx.topframeref = vref_None
     virtual_ref_finish(exctx._frame)
Beispiel #33
0
 def f(n, x, x0, x1, x2, x3, x4, x5, x6, x7, l, s):
     a = A()
     glob.v = virtual_ref(a)
     virtual_ref_finish(a)
     n -= 1
     return n, x, x0, x1, x2, x3, x4, x5, x6, x7, l, s
Beispiel #34
0
 def fn():
     x = X()
     vref = virtual_ref(x)
     x1 = vref()  # jit_force_virtual
     virtual_ref_finish(vref, x)
Beispiel #35
0
 def fn():
     x = X()
     vref = virtual_ref(x)
     x1 = vref()                  # jit_force_virtual
     virtual_ref_finish(vref, x)
Beispiel #36
0
 def leave():
     vref = exctx.topframeref
     exctx.topframeref = vref_None
     virtual_ref_finish(vref, exctx._frame)
Beispiel #37
0
 def leave():
     vref = exctx.topframeref
     exctx.topframeref = vref_None
     virtual_ref_finish(vref, exctx._frame)
Beispiel #38
0
def test_direct_2():
    x1 = X()
    vref = virtual_ref(x1)
    virtual_ref_finish(x1)
    assert vref() is x1