RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-25 06:57:44 +00:00
Code Issues Activity Actions

Meta: Generate bigints for i64 values in LibWasm test suite files

Browse source
This commit is contained in:
Ali Mohammad Pur 2021-08-30 16:20:53 +04:30 • committed by Andreas Kling
parent 99199b9bfd
commit e93c740df5
1 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
Meta/generate-libwasm-spec-test.py
View file

@ -245,7 +245,10 @@ def genarg(spec):
return str(struct.unpack('>i', struct.pack('>Q', int(x, 16))[4:])[0]) return str(struct.unpack('>i', struct.pack('>Q', int(x, 16))[4:])[0])
# cast back to i64 to get the correct sign # cast back to i64 to get the correct sign
return str(struct.unpack('>q', struct.pack('>Q', int(x, 16)))[0]) return str(struct.unpack('>q', struct.pack('>Q', int(x, 16)))[0]) + 'n'
if spec['type'] == 'i64':
# Make a bigint instead, since `double' cannot fit all i64 values.
return x + 'n'
return x return x
if x == 'nan': if x == 'nan':
@ -304,8 +307,8 @@ def genresult(ident, entry):
if entry['kind'] == 'return': if entry['kind'] == 'return':
return ( return (
f'let {ident}_result = {expectation};\n ' + f'let {ident}_result = {expectation};\n ' +
(f'expect({ident}_result).toBe({genarg(entry["result"])})\n ' if entry["result"] is not None else '') (f'expect({ident}_result).toBe({genarg(entry["result"])})\n ' if entry["result"] is not None else '')
) )
if entry['kind'] == 'trap': if entry['kind'] == 'trap':