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
|
from rpython.jit.metainterp.history import *
from rpython.rtyper.lltypesystem import lltype, llmemory, rffi
from rpython.rlib.rfloat import NAN, INFINITY
from rpython.jit.codewriter import longlong
from rpython.translator.c.test.test_standalone import StandaloneTests
def test_repr():
S = lltype.GcStruct('S')
T = lltype.GcStruct('T', ('header', S))
t = lltype.malloc(T)
s = lltype.cast_pointer(lltype.Ptr(S), t)
const = ConstPtr(lltype.cast_opaque_ptr(llmemory.GCREF, s))
assert const._getrepr_() == "*T"
def test_repr_ll2ctypes():
ptr = lltype.malloc(rffi.VOIDPP.TO, 10, flavor='raw')
# force it to be a ll2ctypes object
ptr = rffi.cast(rffi.VOIDPP, rffi.cast(rffi.LONG, ptr))
adr = llmemory.cast_ptr_to_adr(ptr)
lltype.free(ptr, flavor='raw')
intval = llmemory.cast_adr_to_int(adr, 'symbolic')
box = BoxInt(intval)
s = box.repr_rpython()
assert s.startswith('12345/') # the arbitrary hash value used by
# make_hashable_int
def test_same_constant():
c1a = ConstInt(0)
c1b = ConstInt(0)
c2a = ConstPtr(lltype.nullptr(llmemory.GCREF.TO))
c2b = ConstPtr(lltype.nullptr(llmemory.GCREF.TO))
c3a = Const._new(0.0)
c3b = Const._new(0.0)
assert c1a.same_constant(c1b)
assert not c1a.same_constant(c2b)
assert not c1a.same_constant(c3b)
assert not c2a.same_constant(c1b)
assert c2a.same_constant(c2b)
assert not c2a.same_constant(c3b)
assert not c3a.same_constant(c1b)
assert not c3a.same_constant(c2b)
assert c3a.same_constant(c3b)
def test_same_constant_float():
c1 = Const._new(12.34)
c2 = Const._new(12.34)
c3 = Const._new(NAN)
c4 = Const._new(NAN)
c5 = Const._new(INFINITY)
c6 = Const._new(INFINITY)
assert c1.same_constant(c2)
assert c3.same_constant(c4)
assert c5.same_constant(c6)
assert not c1.same_constant(c4)
assert not c1.same_constant(c6)
assert not c3.same_constant(c2)
assert not c3.same_constant(c6)
assert not c5.same_constant(c2)
assert not c5.same_constant(c4)
class TestZTranslated(StandaloneTests):
def test_ztranslated_same_constant_float(self):
def fn(args):
n = INFINITY
c1 = ConstFloat(longlong.getfloatstorage(n - INFINITY))
c2 = ConstFloat(longlong.getfloatstorage(n - INFINITY))
c3 = ConstFloat(longlong.getfloatstorage(12.34))
if c1.same_constant(c2):
print "ok!"
return 0
t, cbuilder = self.compile(fn)
data = cbuilder.cmdexec('')
assert "ok!\n" in data
|
