jit/backend/aarch64/test/test_runner.py::TestARM64::()::test_call_release_gil_variable_function_and_arguments
self = <rpython.jit.backend.aarch64.test.test_runner.TestARM64 object at 0x000000015375cc28>
def test_call_release_gil_variable_function_and_arguments(self):
from rpython.translator.tool.cbuild import ExternalCompilationInfo
from rpython.rlib.libffi import types
from rpython.rlib.rarithmetic import r_uint, r_longlong, r_ulonglong
from rpython.rlib.rarithmetic import r_singlefloat
from rpython.translator.c import primitive
def same_as_for_box(b):
if b.type == 'i':
return rop.SAME_AS_I
elif b.type == 'f':
return rop.SAME_AS_F
else:
assert False
cpu = self.cpu
rnd = random.Random(525)
seed = py.test.config.option.randomseed
print("random seed %d" % seed)
ALL_TYPES = [
(types.unsigned, lltype.Unsigned),
(types.signed, lltype.Signed),
(types.uint8, rffi.UCHAR),
(types.sint8, rffi.SIGNEDCHAR),
(types.uint16, rffi.USHORT),
(types.sint16, rffi.SHORT),
(types.uint32, rffi.UINT),
(types.sint32, rffi.INT),
]
if IS_32_BIT and cpu.supports_longlong:
ALL_TYPES += [
(types.uint64, lltype.UnsignedLongLong),
(types.sint64, lltype.SignedLongLong),
] * 2
if cpu.supports_floats:
ALL_TYPES += [
(types.double, rffi.DOUBLE),
] * 4
if cpu.supports_singlefloats:
ALL_TYPES += [
(types.float, rffi.FLOAT),
] * 4
NB_TESTS = 100
c_source = []
all_tests = []
def prepare_c_source():
"""Pick a random choice of argument types and length,
and build a C function with these arguments. The C
function will simply copy them all into static global
variables. There are then additional functions to fetch
them, one per argument, with a signature 'void(ARG *)'.
"""
POSSIBLE_TYPES = [rnd.choice(ALL_TYPES)
for i in range(random.randrange(2, 5))]
load_factor = rnd.random()
keepalive_factor = rnd.random()
#
ffitypes = []
ARGTYPES = []
for i in range(rnd.randrange(4, 20)):
ffitype, TP = rnd.choice(POSSIBLE_TYPES)
ffitypes.append(ffitype)
ARGTYPES.append(TP)
fn_name = 'vartest%d' % k
all_tests.append((ARGTYPES, ffitypes, fn_name))
#
fn_args = []
for i, ARG in enumerate(ARGTYPES):
arg_decl = primitive.cdecl(primitive.PrimitiveType[ARG],
'x%d' % i)
fn_args.append(arg_decl)
var_name = 'argcopy_%s_x%d' % (fn_name, i)
var_decl = primitive.cdecl(primitive.PrimitiveType[ARG],
var_name)
c_source.append('static %s;' % var_decl)
getter_name = '%s_get%d' % (fn_name, i)
c_source.append('RPY_EXPORTED void %s(%s) { *p = %s; }' % (
getter_name,
primitive.cdecl(primitive.PrimitiveType[ARG], '*p'),
var_name))
c_source.append('#include <stdio.h>')
c_source.append('')
c_source.append('static void real%s(%s)' % (
fn_name, ', '.join(fn_args)))
c_source.append('{')
for i in range(len(ARGTYPES)):
if ARGTYPES[i] is lltype.Float:
c_source.append(' fprintf(stderr, "x%d = %%f\\n", x%d);' % (i, i))
elif ARGTYPES[i] is lltype.Signed:
c_source.append(' fprintf(stderr, "x%d = %%ld\\n", x%d);' % (i, i))
elif ARGTYPES[i] is rffi.UINT:
c_source.append(' fprintf(stderr, "x%d = %%u\\n", x%d);' % (i, i))
for i in range(len(ARGTYPES)):
c_source.append(' argcopy_%s_x%d = x%d;' % (fn_name, i, i))
c_source.append('}')
c_source.append('RPY_EXPORTED void *%s(void)' % fn_name)
c_source.append('{')
c_source.append(' return (void *)&real%s;' % fn_name)
c_source.append('}')
c_source.append('')
for k in range(NB_TESTS):
prepare_c_source()
eci = ExternalCompilationInfo(
separate_module_sources=['\n'.join(c_source)])
for k in range(NB_TESTS):
ARGTYPES, ffitypes, fn_name = all_tests[k]
func_getter_ptr = rffi.llexternal(fn_name, [], lltype.Signed,
compilation_info=eci, _nowrapper=True)
load_factor = rnd.random()
keepalive_factor = rnd.random()
#
func_raw = func_getter_ptr()
calldescr = cpu._calldescr_dynamic_for_tests(ffitypes, types.void)
faildescr = BasicFailDescr(1)
#
argboxes = [InputArgInt()] # for the function to call
codes = ['X']
for ffitype in ffitypes:
kind = types.getkind(ffitype)
codes.append(kind)
if kind in 'uis':
b1 = InputArgInt()
elif kind in 'fUI':
b1 = InputArgFloat()
else:
assert 0, kind
argboxes.append(b1)
codes = ''.join(codes) # useful for pdb
print()
print(codes)
#
argvalues = [func_raw]
for TP in ARGTYPES:
r = (rnd.random() - 0.5) * 999999999999.9
r = rffi.cast(TP, r)
argvalues.append(r)
#
argvalues_normal = argvalues[:1]
for ffitype, r in zip(ffitypes, argvalues[1:]):
kind = types.getkind(ffitype)
if kind in 'ui':
r = rffi.cast(lltype.Signed, r)
elif kind in 's':
r, = struct.unpack("i", struct.pack("f", float(r)))
elif kind in 'f':
r = longlong.getfloatstorage(r)
elif kind in 'UI': # 32-bit only
r = rffi.cast(lltype.SignedLongLong, r)
else:
assert 0
argvalues_normal.append(r)
#
ops = []
loadcodes = []
insideboxes = []
for b1 in argboxes:
load = rnd.random() < load_factor
loadcodes.append(' ^'[load])
if load:
b2 = ResOperation(same_as_for_box(b1), [b1])
ops.insert(rnd.randrange(0, len(ops)+1), b2)
b1 = b2
insideboxes.append(b1)
loadcodes = ''.join(loadcodes)
print(loadcodes)
ops += [
ResOperation(rop.CALL_RELEASE_GIL_N,
[ConstInt(0)] + insideboxes,
descr=calldescr),
ResOperation(rop.GUARD_NOT_FORCED, [], descr=faildescr),
ResOperation(rop.FINISH, [], descr=BasicFinalDescr(0))
]
ops[-2].setfailargs([])
# keep alive a random subset of the insideboxes
for b1 in insideboxes:
if rnd.random() < keepalive_factor:
ops.insert(-1, ResOperation(same_as_for_box(b1), [b1]))
looptoken = JitCellToken()
self.cpu.compile_loop(argboxes, ops, looptoken)
#
deadframe = self.cpu.execute_token(looptoken, *argvalues_normal)
fail = self.cpu.get_latest_descr(deadframe)
assert fail.identifier == 0
expected = argvalues[1:]
got = []
for i, ARG in enumerate(ARGTYPES):
PARG = rffi.CArrayPtr(ARG)
getter_name = '%s_get%d' % (fn_name, i)
getter_ptr = rffi.llexternal(getter_name, [PARG], lltype.Void,
compilation_info=eci,
_nowrapper=True)
my_arg = lltype.malloc(PARG.TO, 1, zero=True, flavor='raw')
getter_ptr(my_arg)
got.append(my_arg[0])
lltype.free(my_arg, flavor='raw')
different_values = ['x%d: got %r, expected %r' % (i, a, b)
for i, (a, b) in enumerate(zip(got, expected))
if a != b]
assert got == expected, '\n'.join(
> ['bad args, signature %r' % codes[1:]] + different_values)
E AssertionError: bad args, signature 'uuuuuuuuuuuuuuu'
E x10: got 0L, expected 1486362579L
E x11: got 1486362579L, expected 2107877044L
E x12: got 2107877044L, expected 18446743900071374399L
E x13: got 2455481919L, expected 4102427656L
E x14: got 4294967255L, expected 2579480848L
jit/backend/test/runner_test.py:3125: AssertionError
---------- Captured stderr setup ----------
[c583f2fba6c8380] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @7003600000 +0 A02300F9A12700F9A22B00F9A32F00F9A43300F9A53700F9A63B00F9A73F00F9A84300F9A94700F9AA4B00F9AB4F00F9AC5300F9AD5700F9B35B00F9B45F00F9E0031DAAF35344A9FE77C5A8C0035FD6
[c583f2fba7b9500] jit-backend-dump}
[c583f2fbaa7b200] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @7003600060 +0 A02300F9A12700F9A22B00F9A32F00F9A43300F9A53700F9A63B00F9A73F00F9A84300F9A94700F9AA4B00F9AB4F00F9AC5300F9AD5700F9B35B00F9B45F00F905C795D20545A0F20500CCF2A40040F9060080D2A60000F905C695D20545A0F20500CCF2A60000F9A41700F9E0031DAAF35344A9FE77C5A8C0035FD6
[c583f2fbabed380] jit-backend-dump}
[c583f2fbb373400] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @70036000f0 +0 A02300F9A12700F9A22B00F9A32F00F9A43300F9A53700F9A63B00F9A73F00F9A84300F9A94700F9AA4B00F9AB4F00F9AC5300F9AD5700F9B35B00F9B45F00F9A06300FDA16700FDA26B00FDA36F00FDA47300FDA57700FDA67B00FDA77F00FDE00740A9FE0300F9A00F00F9E0031DAA10C795D21045A0F21000CCF2100240F9B01700F910C695D21045A0F21000CCF2130240F910C795D21045A0F21000CCF2110080D2110200F910C695D21045A0F21000CCF2110200F9106299D2109DA0F23000C0F21000E0F200023FD6FD0300AA10C795D21045A0F21000CCF2B11740F9110200F9110080D2B11700F910C695D21045A0F21000CCF2130200F9100080D2B00F00F9A02340F9A12740F9A22B40F9A32F40F9A43340F9A53740F9A63B40F9A73F40F9A84340F9A94740F9AA4B40F9AB4F40F9AC5340F9AD5740F9B35B40F9B45F40F9A06340FDA16740FDA26B40FDA36F40FDA47340FDA57740FDA67B40FDA77F40FDFE0340F9FF430091C0035FD6
[c583f2fbb75ef00] jit-backend-dump}
[c583f2fbb9b0b00] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @7003600270 +0 A02300F9A12700F9A22B00F9A32F00F9A43300F9A53700F9A63B00F9A73F00F9A84300F9A94700F9AA4B00F9AB4F00F9AC5300F9AD5700F9B35B00F9B45F00F9A06300FDA16700FDA26B00FDA36F00FDA47300FDA57700FDA67B00FDA77F00FDE0031DAAF35344A9FE77C5A8C0035FD6
[c583f2fbbaf6a00] jit-backend-dump}
[c583f2fbbe27800] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @70036002f0 +0 A02300F9A12700F9A22B00F9A32F00F9A43300F9A53700F9A63B00F9A73F00F9A84300F9A94700F9AA4B00F9AB4F00F9AC5300F9AD5700F9B35B00F9B45F00F9A06300FDA16700FDA26B00FDA36F00FDA47300FDA57700FDA67B00FDA77F00FD05C795D20545A0F20500CCF2A40040F9060080D2A60000F905C695D20545A0F20500CCF2A60000F9A41700F9E0031DAAF35344A9FE77C5A8C0035FD6
[c583f2fbbfd9b00] jit-backend-dump}
[c583f2fbc16b500] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @70036003a0 +0 10C795D21045A0F21000CCF2000240F9110080D2110200F910C695D21045A0F21000CCF2110200F9A01700F9000080D2A00700F9E0031DAAF35344A9FE77C5A8C0035FD6
[c583f2fbc232480] jit-backend-dump}
[c583f2fbc609500] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @70036003f0 +0 A02300F9A12700F9A22B00F9A32F00F9A43300F9A53700F9A63B00F9A73F00F9A84300F9A94700F9AA4B00F9AB4F00F9AC5300F9AD5700F9B35B00F9B45F00F9A06300FDA16700FDA26B00FDA36F00FDA47300FDA57700FDA67B00FDA77F00FDFF4300D1F00700F9FE0300F920023FD6F10300AAA02340F9A12740F9A22B40F9A32F40F9A43340F9A53740F9A63B40F9A73F40F9A84340F9A94740F9AA4B40F9AB4F40F9AC5340F9AD5740F9B35B40F9B45F40F9F00340F9FF43009100025FD6
[c583f2fbc818880] jit-backend-dump}
[c583f2fbcbaab80] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @70036004c0 +0 A02300F9A12700F9A22B00F9A32F00F9A43300F9A53700F9A63B00F9A73F00F9A84300F9A94700F9AA4B00F9AB4F00F9AC5300F9AD5700F9A06300FDA16700FDA26B00FDA36F00FDA47300FDA57700FDA67B00FDA77F00FDFF4300D1F00700F9FE0300F920023FD6F10300AAA02340F9A12740F9A22B40F9A32F40F9A43340F9A53740F9A63B40F9A73F40F9A84340F9A94740F9AA4B40F9AB4F40F9AC5340F9AD5740F9F00340F9FF43009100025FD6
[c583f2fbcd9b700] jit-backend-dump}
[c583f2fbd20a300] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @7003600580 +0 A02300F9A12700F9A22B00F9A32F00F9A43300F9A53700F9A63B00F9A73F00F9A84300F9A94700F9AA4B00F9AB4F00F9AC5300F9AD5700F9B35B00F9B45F00F9A06300FDA16700FDA26B00FDA36F00FDA47300FDA57700FDA67B00FDA77F00FDFF4300D1F00700F9FE0300F920023FD6F10300AAA02340F9A12740F9A22B40F9A32F40F9A43340F9A53740F9A63B40F9A73F40F9A84340F9A94740F9AA4B40F9AB4F40F9AC5340F9AD5740F9B35B40F9B45F40F9A06340FDA16740FDA26B40FDA36F40FDA47340FDA57740FDA67B40FDA77F40FDF00340F9FF43009100025FD6
[c583f2fbd476880] jit-backend-dump}
[c583f2fbd89f400] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @7003600670 +0 A02300F9A12700F9A22B00F9A32F00F9A43300F9A53700F9A63B00F9A73F00F9A84300F9A94700F9AA4B00F9AB4F00F9AC5300F9AD5700F9A06300FDA16700FDA26B00FDA36F00FDA47300FDA57700FDA67B00FDA77F00FDFF4300D1F00700F9FE0300F920023FD6F10300AAA02340F9A12740F9A22B40F9A32F40F9A43340F9A53740F9A63B40F9A73F40F9A84340F9A94740F9AA4B40F9AB4F40F9AC5340F9AD5740F9A06340FDA16740FDA26B40FDA36F40FDA47340FDA57740FDA67B40FDA77F40FDF00340F9FF43009100025FD6
[c583f2fbdadf680] jit-backend-dump}
---------- Captured stdout call ----------
random seed 2402
Xffffffffffffff
^^ ^^^^^^^^^^^^
Xuuuuuuuuuuuuuuu
^ ^ ^ ^
---------- Captured stderr call ----------
[c583f2fcac5d100] {jit-mem-looptoken-alloc
allocating Loop # -1
[c583f2fcac68500] jit-mem-looptoken-alloc}
[c583f2fcb7a6d00] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @7003600780 +0 00000000000000000000000000000000FE77BBA9F35304A9E10F00F9FD0300AA00A89AD22040A0F20000CCF2010040F921040091010000F9A0BB40FDA18F40FDA2AB40FDA39340FDA4A740FDA58740FDA6A340FDA79F40FDA08700FDA0AF40FDA08F00FDA09B40FDA09300FDA0B740FDA09B00FDA0B340FDA18340F9A08300FDA09740FDF0FBFF58B00B00F9FFC300D1E40300FDE20700FDB08F40F9F00B00F9B08340F9F00F00F9B09B40F9F01300F9B08740F9F01700F9F10301AA2240601E0440601EA040601EA18B40FDA59340FDFF4300D1E60300FDE640601EE70340FDFF430091E80311AA10EB80D2106CA0F2100EC0F2B00F00F9113990D2D19EA0F23100C0F2330240F93FFE9FC8BD07009100013FD6FFC300910F3990D2CF9EA0F22F00C0F2E17D5FC8610000B5F3FD03C8A3FFFF35BF3B03D5C10000B4101298D2109DA0F23000C0F21000E0F200023FD6BD0700D1100080D2B00F00F9B00740F91F0200F1000020D410F5FF58B00700F9BF0F00F9E0031DAAF35344A9FE77C5A8C0035FD6000020D4D0F3FF58B00700F910ED80D2106CA0F2100EC0F2B00F00F9100C80D2106CA0F2100EC0F21000E0F200023FD6
[c583f2fcbc62480] jit-backend-dump}
[c583f2fcbcfb500] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @70036008e4 +0 21010054
[c583f2fcbd1a380] jit-backend-dump}
[c583f2fcc1e3300] {jit-backend-addr
Loop -1 () has address 0x70036007a0 to 0x7003600908 (bootstrap 0x7003600790)
gc table: 0x7003600780
function: 0x7003600790
resops: 0x70036007a0
failures: 0x7003600908
end: 0x7003600934
[c583f2fcc1f6f80] jit-backend-addr}
x0 = 255095593636.746094
x1 = 346275499035.519348
x2 = 26520759535.553120
x3 = 280004110407.008789
x4 = 53333506647.978310
x5 = -410629553682.429626
x6 = 259521500657.229828
x7 = 472119434352.025940
x8 = 401828204905.356995
x9 = -157341753964.371582
x10 = -253113409267.482513
x11 = -154592132915.146027
x12 = 373064270021.502136
x13 = -498182871379.384705
[c583f2fe0a5e400] {jit-mem-looptoken-alloc
allocating Loop # -1
[c583f2fe0a69000] jit-mem-looptoken-alloc}
[c583f2fe13da000] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @7003600970 +0 00000000000000000000000000000000FE77BBA9F35304A9E10F00F9FD0300AA006490D22040A0F20000CCF2010040F921040091010000F9A18740F9A0AF40F9A2BF40F9A38F40F9D0FDFF58B00B00F9FF0301D1B0A740F9F00300F9B0AB40F9F00700F9E00B00F9B0B340F9F00F00F9B0B740F9F01300F9B0BB40F9F01700F9E21B00F9B18340F9E00301AAA18B40F9E20303AAA39340F9A49740F9A59B40F9A69F40F9A7A340F9E80311AA102A81D2106CA0F2100EC0F2B00F00F9113990D2D19EA0F23100C0F2330240F93FFE9FC8BD07009100013FD6FF0301910F3990D2CF9EA0F22F00C0F2E17D5FC8610000B5F3FD03C8A3FFFF35BF3B03D5C10000B4101298D2109DA0F23000C0F21000E0F200023FD6BD0700D1100080D2B00F00F9B00740F91F0200F1000020D4F0F6FF58B00700F9BF0F00F9E0031DAAF35344A9FE77C5A8C0035FD6000020D4B0F5FF58B00700F9102C81D2106CA0F2100EC0F2B00F00F9100C80D2106CA0F2100EC0F21000E0F200023FD6
[c583f2fe17e8f00] jit-backend-dump}
[c583f2fe187f700] {jit-backend-dump
BACKEND arm
SYS_EXECUTABLE ??
CODE_DUMP @7003600a98 +0 21010054
[c583f2fe18a1c00] jit-backend-dump}
[c583f2fe1cbc480] {jit-backend-addr
Loop -1 () has address 0x7003600990 to 0x7003600abc (bootstrap 0x7003600980)
gc table: 0x7003600970
function: 0x7003600980
resops: 0x7003600990
failures: 0x7003600abc
end: 0x7003600ae8
[c583f2fe1ccf700] jit-backend-addr}
x0 = 438913376
x1 = 1114158000
x6 = 804698521
x9 = 3488677206
x10 = 0
x11 = 1486362579
x13 = 2455481919
x14 = 4294967255
builder: rpython-macos-arm64 build #260
test: jit/backend/aarch64/test/test_runner/py/TestARM64/()/test_call_release_gil_variable_function_and_arguments