jit/backend/x86/test/test_zrpy_gc_boehm.py::test_compile_boehm
def compile_boehm_test():
myjitdriver = JitDriver(greens = [], reds = ['n', 'x'])
@dont_look_inside
def see(lst, n):
assert len(lst) == 3
assert lst[0] == n+10
assert lst[1] == n+20
assert lst[2] == n+30
def main(n, x):
while n > 0:
myjitdriver.can_enter_jit(n=n, x=x)
myjitdriver.jit_merge_point(n=n, x=x)
y = X()
y.foo = x.foo
n -= y.foo
see([n+10, n+20, n+30], n)
> res = compile_and_run(get_entry(get_g(main)), "boehm", jit=True)
jit/backend/llsupport/test/zrpy_gc_boehm_test.py:50:
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
jit/backend/llsupport/test/zrpy_gc_boehm_test.py:20: in compile_and_run
cbuilder = compile(f, gc, **kwds)
jit/backend/llsupport/test/zrpy_gc_test.py:105: in compile
apply_jit(t)
jit/metainterp/warmspot.py:74: in apply_jit
warmrunnerdesc.finish()
jit/metainterp/warmspot.py:298: in finish
self.annhelper.finish()
rtyper/annlowlevel.py:219: in finish
self.finish_rtype()
rtyper/annlowlevel.py:254: in finish_rtype
perform_normalizations(rtyper.annotator)
rtyper/normalizecalls.py:408: in perform_normalizations
normalize_call_familes(annotator)
rtyper/normalizecalls.py:19: in normalize_call_familes
normalize_calltable(annotator, callfamily)
rtyper/normalizecalls.py:33: in normalize_calltable
raise_call_table_too_complex_error(callfamily, annotator)
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
callfamily = <rpython.annotator.description.CallFamily object at 0x00007fd3e891afa8>
annotator = <rpython.annotator.annrpython.RPythonAnnotator object at 0x00007fd3f6d16678>
def raise_call_table_too_complex_error(callfamily, annotator):
msg = []
items = callfamily.calltables.items()
for i, (shape1, table1) in enumerate(items):
for shape2, table2 in items[i + 1:]:
if shape1 == shape2:
continue
row1 = table1[0]
row2 = table2[0]
problematic_function_graphs = set(row1.values()).union(set(row2.values()))
pfg = [str(graph) for graph in problematic_function_graphs]
pfg.sort()
msg.append("the following functions:")
msg.append(" %s" % ("\n ".join(pfg), ))
msg.append("are called with inconsistent numbers of arguments")
msg.append("(and/or the argument names are different, which is"
" not supported in this case)")
if shape1[0] != shape2[0]:
msg.append("sometimes with %s arguments, sometimes with %s" % (shape1[0], shape2[0]))
else:
pass # XXX better message in this case
callers = []
msg.append("the callers of these functions are:")
for tag, (caller, callee) in annotator.translator.callgraph.iteritems():
if callee not in problematic_function_graphs:
continue
if str(caller) in callers:
continue
callers.append(str(caller))
callers.sort()
for caller in callers:
msg.append(" %s" % (caller, ))
> raise TyperError("\n".join(msg))
E TyperError: the following functions:
E (rpython.jit.metainterp.optimizeopt.info:120)NonNullPtrInfo.make_guards
E (rpython.jit.metainterp.optimizeopt.info:336)InstancePtrInfo.make_guards
E (rpython.jit.metainterp.optimizeopt.info:360)StructPtrInfo.make_guards
E (rpython.jit.metainterp.optimizeopt.info:379)AbstractRawPtrInfo.make_guards
E (rpython.jit.metainterp.optimizeopt.info:632)ArrayPtrInfo.make_guards
E (rpython.jit.metainterp.optimizeopt.info:716)ConstPtrInfo.make_guards
E (rpython.jit.metainterp.optimizeopt.info:83)PtrInfo.make_guards
E (rpython.jit.metainterp.optimizeopt.info:862)FloatConstInfo.make_guards
E (rpython.jit.metainterp.optimizeopt.intutils:1264)IntBound.make_guards
E (rpython.jit.metainterp.optimizeopt.vstring:121)StrPtrInfo.make_guards
E are called with inconsistent numbers of arguments
E (and/or the argument names are different, which is not supported in this case)
E the callers of these functions are:
E (rpython.jit.metainterp.optimizeopt.info:336)InstancePtrInfo.make_guards
E (rpython.jit.metainterp.optimizeopt.info:632)ArrayPtrInfo.make_guards
E (rpython.jit.metainterp.optimizeopt.shortpreamble:382)AbstractShortPreambleBuilder.use_box
E (rpython.jit.metainterp.optimizeopt.virtualstate:483)NotVirtualStateInfoInt._generate_guards_unkown
E (rpython.jit.metainterp.optimizeopt.vstring:121)StrPtrInfo.make_guards
rtyper/normalizecalls.py:76: TyperError
---------- Captured stderr call ----------
[rtyper] specializing: 100 / 449 blocks (22%)
[rtyper] specializing: 200 / 508 blocks (39%)
[rtyper] specializing: 300 / 512 blocks (58%)
[rtyper] specializing: 400 / 512 blocks (78%)
[rtyper] specializing: 500 / 512 blocks (97%)
[rtyper] -=- specialized 512 blocks -=-
[rtyper] -=- specialized 4 more blocks -=-
[rtyper] -=- specialized 66 more blocks -=-
[rtyper] -=- specialized 4 more blocks -=-
[rtyper] -=- specialized 2 more blocks -=-
[rtyper] -=- specialized 7 more blocks -=-
[rtyper] specializing: 600 / 601 blocks (99%)
[rtyper] -=- specialized 6 more blocks -=-
[rtyper] -=- specialized 17 more blocks -=-
[rtyper] -=- specialized 2 more blocks -=-
[backendopt:inlining] phase with threshold factor: 32.4
[backendopt:inlining] heuristic: rpython.translator.backendopt.inline.inlining_heuristic
[backendopt:inlining] inlined 5 callsites.
[backendopt:malloc] starting malloc removal
[backendopt:malloc] removed 1 simple mallocs in total
[backendopt:mergeifblocks] starting to merge if blocks
[rtyper] -=- specialized 3 more blocks -=-
[jitcodewriter:info] making JitCodes...
[jitcodewriter:info] There are 1 JitCode instances.
[jitcodewriter:info] There are 3 -live- ops. Size of liveness is 5 bytes
[jitcodewriter] compute_bitstrings:
[jitcodewriter] 2 effectinfos:
[jitcodewriter] 1 descrs for arrays
[jitcodewriter] 0 descrs for fields
[jitcodewriter] 0 descrs for interiorfields
[jitcodewriter] -> 2 bitstrings, mean length 0.5, max length 1
(somefailed=True in jit/backend/x86/test/test_zrpy_gc_boehm.py)
builder: rpython-macos-x86-64 build #814*
test: jit/backend/x86/test/test_zrpy_gc_boehm.py::test_compile_boehm