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
|
#!/usr/bin/env python3
# compare float instructions, packed binary32 conversion, and decimal output.
import pathlib
import subprocess
root = pathlib.Path(__file__).resolve().parents[2]
commands = [['bin/zy'], ['bin/zym'], ['node', 'src/js/tinyvm.js']]
sources = [(root / 'tests/programs/float.zc').read_text(), '''fn render(bits, precision, mode) { asm { bits @ precision @ mode @ #1236 } return 0; }
fn convert(bits) { return asm { bits @ #1218 }; }
fn main() {
[4]f32 values;
values[0] = 1.5; values[1] = -2.25; values[2] = 1e-45; values[3] = 1e40;
put_n(values[0] == 1.5); put_c(32); put_n(values[1] == -2.25); put_c(32);
put_n(values[2] > 0.0); put_c(32); put_n(values[3] == 1.0 / 0.0); put_c(10);
render(0.125, 2, 1); put_c(32); render(-0.125, 2, 1); put_c(32);
render(1e30, 6, 1); put_c(32); render(1.7976931348623157e308, 6, 1); put_c(10);
render(0.1, 0, 0); put_c(32); render(1e-5, 0, 0); put_c(32); render(1e16, 0, 0); put_c(10);
render(9.999, 3, 2); put_c(32); render(5e-324, 3, 2); put_c(32); render(0, 3, 2); put_c(10);
let negative_zero = 1 << 63; render(negative_zero, 6, 1); put_c(32); render(negative_zero, 0, 0); put_c(10);
put_n(convert(0.0 / 0.0)); put_c(32); put_n(convert(1.0 / 0.0)); put_c(32); put_n(convert(-1.0 / 0.0)); put_c(10);
return 0;
}
''']
expected_arithmetic = '4.000000 4.500000 3.000000 2.500000 2.500000 0.001500 0.100000 -0.125000 inf -inf nan 1 1 1 0 0 3 -3 3.000000 -2.000000 2\n'
for i, source in enumerate(sources):
reference = None
for command in commands:
result = subprocess.run(command, input=source, text=True, capture_output=True, timeout=30)
assert result.returncode == 0 and result.stdout and 'zc:' not in result.stdout, (command, result.returncode, result.stdout, result.stderr)
if reference is None:
if i == 0:
assert result.stdout == expected_arithmetic, result.stdout
else:
assert result.stdout.startswith('1 1 1 1\n0.13 -0.13 '), result.stdout
assert result.stdout.endswith('0 9223372036854775807 -9223372036854775808\n'), result.stdout
reference = result.stdout
else:
assert result.stdout == reference, (command, i, reference, result.stdout)
print('ok float arithmetic and output fixture ' + str(i + 1) + ': ' + command[0])
# an exponent after a long fractional spelling must reach the parser intact.
literal = '1.' + '0' * 300 + 'e1'
source = f'fn main() {{ put_n(({literal} as word) == 0x4024000000000000); put_c(10); return 0; }}\n'
for command in commands:
result = subprocess.run(command, input=source, text=True, capture_output=True, timeout=15)
assert result.returncode == 0 and result.stdout == '1\n', (command, result.stdout, result.stderr)
print('ok float parsing reads the exponent beyond 127 characters: ' + command[0])
|
