nicolas
/
copapy
mirror of https://github.com/Nonannet/copapy.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Compare commits

base: nicolas:7131483a22d8a057f6bc73d95b3a0a4b43025e07
Branches Tags
nicolas:main
nicolas:feature_arm_thumb
nicolas:dev
nicolas:v0.0.5
nicolas:v0.0.4
nicolas:v0.0.3-beta
nicolas:v0.0.3
nicolas:v0.0.2-beta
nicolas:v0.0.1
nicolas:v0.0.1-beta
nicolas:v0.0.0-beta
..
compare: nicolas:d394b2d24936842a67c913f2bcc6c9af74003b74
Branches Tags
nicolas:feature_arm_thumb
nicolas:dev
nicolas:main
nicolas:v0.0.5
nicolas:v0.0.4
nicolas:v0.0.3-beta
nicolas:v0.0.3
nicolas:v0.0.2-beta
nicolas:v0.0.1
nicolas:v0.0.1-beta
nicolas:v0.0.0-beta

No commits in common. "7131483a22d8a057f6bc73d95b3a0a4b43025e07" and "d394b2d24936842a67c913f2bcc6c9af74003b74" have entirely different histories.
7131483a22 ... d394b2d249

4 changed files with 145 additions and 284 deletions
Show Stats Expand all files Collapse all files

8
.github/workflows/ci.yml vendored
View File

@ -104,7 +104,7 @@ jobs:
- name: Compile coparun - name: Compile coparun
run: | run: |
mkdir -p build/runner mkdir -p build/runner
gcc -O3 -static -DENABLE_BASIC_LOGGING -o build/runner/coparun src/coparun/runmem.c src/coparun/coparun.c src/coparun/mem_man.c gcc -O3 -DENABLE_BASIC_LOGGING -o build/runner/coparun src/coparun/runmem.c src/coparun/coparun.c src/coparun/mem_man.c
- name: Generate debug asm files - name: Generate debug asm files
if: strategy.job-index == 0 if: strategy.job-index == 0
@ -153,7 +153,7 @@ jobs:
docker run --rm -v $PWD:/app -w /app --platform linux/arm64 ghcr.io/nonannet/arm64_test:1 \ docker run --rm -v $PWD:/app -w /app --platform linux/arm64 ghcr.io/nonannet/arm64_test:1 \
bash -lc "pip install . && \ bash -lc "pip install . && \
mkdir -p build/runner && \ mkdir -p build/runner && \
gcc -O3 -static -DENABLE_LOGGING -o build/runner/coparun src/coparun/runmem.c \ gcc -O3 -DENABLE_LOGGING -o build/runner/coparun src/coparun/runmem.c \
src/coparun/coparun.c src/coparun/mem_man.c && \ src/coparun/coparun.c src/coparun/mem_man.c && \
pytest && \ pytest && \
bash tools/create_asm.sh" bash tools/create_asm.sh"
@ -182,7 +182,7 @@ jobs:
docker run --rm -v $PWD:/app -w /app --platform linux/arm/v6 ghcr.io/nonannet/armv6_test:1 \ docker run --rm -v $PWD:/app -w /app --platform linux/arm/v6 ghcr.io/nonannet/armv6_test:1 \
bash -lc "pip install . && \ bash -lc "pip install . && \
mkdir -p build/runner && \ mkdir -p build/runner && \
gcc -O3 -static -DENABLE_LOGGING -o build/runner/coparun src/coparun/runmem.c \ gcc -O3 -DENABLE_LOGGING -o build/runner/coparun src/coparun/runmem.c \
src/coparun/coparun.c src/coparun/mem_man.c && \ src/coparun/coparun.c src/coparun/mem_man.c && \
pytest && \ pytest && \
bash tools/create_asm.sh" bash tools/create_asm.sh"
@ -211,7 +211,7 @@ jobs:
docker run --rm -v $PWD:/app -w /app --platform linux/arm/v7 ghcr.io/nonannet/armv7_test:1 \ docker run --rm -v $PWD:/app -w /app --platform linux/arm/v7 ghcr.io/nonannet/armv7_test:1 \
bash -lc "pip install . && \ bash -lc "pip install . && \
mkdir -p build/runner && \ mkdir -p build/runner && \
gcc -O3 -static -DENABLE_LOGGING -o build/runner/coparun src/coparun/runmem.c \ gcc -O3 -DENABLE_LOGGING -o build/runner/coparun src/coparun/runmem.c \
src/coparun/coparun.c src/coparun/mem_man.c && \ src/coparun/coparun.c src/coparun/mem_man.c && \
pytest && \ pytest && \
bash tools/create_asm.sh" bash tools/create_asm.sh"

63
tests/test_compile_armv7.py
View File

@ -1,45 +1,32 @@
import os from copapy import NumLike
from copapy.backend import Store, compile_to_dag, add_read_value_remote
import subprocess import subprocess
from copapy import _binwrite
import copapy.backend as backend
import copapy as cp
import os
import warnings import warnings
import pytest import pytest
import copapy as cp if os.name == 'nt':
import copapy.backend as backend
from copapy import NumLike, _binwrite
from copapy.backend import Store, add_read_value_remote, compile_to_dag
if os.name == "nt":
# On Windows wsl and qemu-user is required: # On Windows wsl and qemu-user is required:
# sudo apt install qemu-user # sudo apt install qemu-user
qemu_command = ["wsl", "qemu-arm"] qemu_command = ['wsl', 'qemu-arm']
else: else:
qemu_command = ["qemu-arm"] qemu_command = ['qemu-arm']
def run_command(command: list[str]) -> str: def run_command(command: list[str]) -> str:
result = subprocess.run( result = subprocess.run(command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, encoding='utf8', check=False)
command, assert result.returncode != 11, f"SIGSEGV (segmentation fault)\n -Error occurred: {result.stderr}\n -Output: {result.stdout}"
stdout=subprocess.PIPE, assert result.returncode == 0, f"\n -Error occurred: {result.stderr}\n -Output: {result.stdout}"
stderr=subprocess.PIPE,
encoding="utf8",
check=False,
)
assert result.returncode != 11, (
f"SIGSEGV (segmentation fault)\n -Error occurred: {result.stderr}\n -Output: {result.stdout}"
)
assert result.returncode == 0, (
f"\n -Error occurred: {result.stderr}\n -Output: {result.stdout}"
)
return result.stdout return result.stdout
def check_for_qemu() -> bool: def check_for_qemu() -> bool:
command = qemu_command + ["--version"] command = qemu_command + ['--version']
try: try:
result = subprocess.run( result = subprocess.run(command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, check=False)
command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, check=False
)
except Exception: except Exception:
return False return False
return result.returncode == 0 return result.returncode == 0
@ -67,7 +54,7 @@ def test_compile():
out = [Store(r) for r in ret] out = [Store(r) for r in ret]
sdb = backend.stencil_db_from_package("armv7") sdb = backend.stencil_db_from_package('armv7')
il, variables = compile_to_dag(out, sdb) il, variables = compile_to_dag(out, sdb)
# run program command # run program command
@ -83,26 +70,20 @@ def test_compile():
#print('* Data to runner:') #print('* Data to runner:')
#il.print() #il.print()
il.to_file("build/runner/test-armv7.copapy") il.to_file('build/runner/test-armv7.copapy')
if not check_for_qemu(): if not check_for_qemu():
warnings.warn("qemu-armv7 not found, test skipped!", UserWarning) warnings.warn("qemu-armv7 not found, aarch64 test skipped!", UserWarning)
elif "wsl" in qemu_command: elif not os.path.isfile('build/runner/coparun-armv7'):
warnings.warn("qemu-armv7 seams not work on wsl1, test skipped!", UserWarning)
elif not os.path.isfile("build/runner/coparun-armv7"):
warnings.warn("armv7 runner not found, aarch64 test skipped!", UserWarning) warnings.warn("armv7 runner not found, aarch64 test skipped!", UserWarning)
else: else:
command = [ command = ['build/runner/coparun-armv7', 'build/runner/test-armv7.copapy', 'build/runner/test-armv7.copapy.bin']
"build/runner/coparun-armv7",
"build/runner/test-armv7.copapy",
"build/runner/test-armv7.copapy.bin",
]
result = run_command(qemu_command + command) result = run_command(qemu_command + command)
print("* Output from runner:\n--") print('* Output from runner:\n--')
print(result) print(result)
print("--") print('--')
assert "Return value: 1" in result assert 'Return value: 1' in result
# Compare to x86_64 reference results # Compare to x86_64 reference results
assert " size=4 data=24 00 00 00" in result assert " size=4 data=24 00 00 00" in result

136
tests/test_ops_armv6.py
View File

@ -1,22 +1,21 @@
from copapy import NumLike, iif, value
from copapy.backend import Store, compile_to_dag, add_read_value_remote
import subprocess
from copapy import _binwrite
import copapy.backend as backend
import os import os
import warnings
import re import re
import struct import struct
import subprocess
import warnings
import pytest import pytest
import copapy as cp import copapy as cp
import copapy.backend as backend
from copapy import NumLike, _binwrite, iif, value
from copapy.backend import Store, add_read_value_remote, compile_to_dag
if os.name == "nt": if os.name == 'nt':
# On Windows wsl and qemu-user is required: # On Windows wsl and qemu-user is required:
# sudo apt install qemu-user # sudo apt install qemu-user
qemu_command = ["wsl", "qemu-arm"] qemu_command = ['wsl', 'qemu-arm']
else: else:
qemu_command = ["qemu-arm"] qemu_command = ['qemu-arm']
def parse_results(log_text: str) -> dict[int, bytes]: def parse_results(log_text: str) -> dict[int, bytes]:
@ -25,7 +24,7 @@ def parse_results(log_text: str) -> dict[int, bytes]:
var_dict: dict[int, bytes] = {} var_dict: dict[int, bytes] = {}
for match in matches: for match in matches:
value_str: list[str] = match.group(3).strip().split(" ") value_str: list[str] = match.group(3).strip().split(' ')
#print('--', value_str) #print('--', value_str)
value = bytes(int(v, base=16) for v in value_str) value = bytes(int(v, base=16) for v in value_str)
if len(value) <= 8: if len(value) <= 8:
@ -35,49 +34,26 @@ def parse_results(log_text: str) -> dict[int, bytes]:
def run_command(command: list[str]) -> str: def run_command(command: list[str]) -> str:
result = subprocess.run( result = subprocess.run(command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, encoding='utf8', check=False)
command, assert result.returncode != 11, f"SIGSEGV (segmentation fault)\n -Error occurred: {result.stderr}\n -Output: {result.stdout}"
stdout=subprocess.PIPE, assert result.returncode == 0, f"\n -Error occurred: {result.stderr}\n -Output: {result.stdout}"
stderr=subprocess.PIPE,
encoding="utf8",
check=False,
)
assert result.returncode != 11, (
f"SIGSEGV (segmentation fault)\n -Error occurred: {result.stderr}\n -Output: {result.stdout}"
)
assert result.returncode == 0, (
f"\n -Error occurred: {result.stderr}\n -Output: {result.stdout}"
)
return result.stdout return result.stdout
def check_for_qemu() -> bool: def check_for_qemu() -> bool:
command = qemu_command + ["--version"] command = qemu_command + ['--version']
try: try:
result = subprocess.run( result = subprocess.run(command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, check=False)
command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, check=False
)
except Exception: except Exception:
return False return False
return result.returncode == 0 return result.returncode == 0
def function1(c1: NumLike) -> list[NumLike]: def function1(c1: NumLike) -> list[NumLike]:
return [ return [c1 / 4, c1 / -4, c1 // 4, c1 // -4, (c1 * -1) // 4,
c1 / 4, c1 * 4, c1 * -4,
c1 / -4, c1 + 4, c1 - 4,
c1 // 4, c1 > 2, c1 > 100, c1 < 4, c1 < 100]
c1 // -4,
(c1 * -1) // 4,
c1 * 4,
c1 * -4,
c1 + 4,
c1 - 4,
c1 > 2,
c1 > 100,
c1 < 4,
c1 < 100,
]
def function2(c1: NumLike) -> list[NumLike]: def function2(c1: NumLike) -> list[NumLike]:
@ -101,13 +77,11 @@ def function6(c1: NumLike) -> list[NumLike]:
def iiftests(c1: NumLike) -> list[NumLike]: def iiftests(c1: NumLike) -> list[NumLike]:
return [ return [iif(c1 > 5, 8, 9),
iif(c1 > 5, 8, 9),
iif(c1 < 5, 8.5, 9.5), iif(c1 < 5, 8.5, 9.5),
iif(1 > 5, 3.3, 8.8) + c1, iif(1 > 5, 3.3, 8.8) + c1,
iif(1 < 5, c1 * 3.3, 8.8), iif(1 < 5, c1 * 3.3, 8.8),
iif(c1 < 5, c1 * 3.3, 8.8), iif(c1 < 5, c1 * 3.3, 8.8)]
]
@pytest.mark.runner @pytest.mark.runner
@ -116,39 +90,15 @@ def test_compile():
c_f = value(1.111) c_f = value(1.111)
c_b = value(True) c_b = value(True)
ret_test = ( ret_test = function1(c_i) + function1(c_f) + function2(c_i) + function2(c_f) + function3(c_i) + function4(c_i) + function5(c_b) + [value(9) % 2] + iiftests(c_i) + iiftests(c_f) + [cp.asin(c_i/10)]
function1(c_i) ret_ref = function1(9) + function1(1.111) + function2(9) + function2(1.111) + function3(9) + function4(9) + function5(True) + [9 % 2] + iiftests(9) + iiftests(1.111) + [cp.asin(9/10)]
+ function1(c_f)
+ function2(c_i)
+ function2(c_f)
+ function3(c_i)
+ function4(c_i)
+ function5(c_b)
+ [value(9) % 2]
+ iiftests(c_i)
+ iiftests(c_f)
+ [cp.asin(c_i / 10)]
)
ret_ref = (
function1(9)
+ function1(1.111)
+ function2(9)
+ function2(1.111)
+ function3(9)
+ function4(9)
+ function5(True)
+ [9 % 2]
+ iiftests(9)
+ iiftests(1.111)
+ [cp.asin(9 / 10)]
)
#ret_test = (c_i * 100 // 5, c_f * 10 // 5) #ret_test = (c_i * 100 // 5, c_f * 10 // 5)
#ret_ref = (9 * 100 // 5, 1.111 * 10 // 5) #ret_ref = (9 * 100 // 5, 1.111 * 10 // 5)
out = [Store(r) for r in ret_test] out = [Store(r) for r in ret_test]
sdb = backend.stencil_db_from_package("armv6") sdb = backend.stencil_db_from_package('armv6')
dw, variables = compile_to_dag(out, sdb) dw, variables = compile_to_dag(out, sdb)
#dw.write_com(_binwrite.Command.READ_DATA) #dw.write_com(_binwrite.Command.READ_DATA)
@ -172,23 +122,16 @@ def test_compile():
#print('* Data to runner:') #print('* Data to runner:')
#dw.print() #dw.print()
dw.to_file("build/runner/test-armv6.copapy") dw.to_file('build/runner/test-armv6.copapy')
if not check_for_qemu(): if not check_for_qemu():
warnings.warn("qemu-armv6 not found, armv6 test skipped!", UserWarning) warnings.warn("qemu-armv6 not found, armv6 test skipped!", UserWarning)
return return
if "wsl" in qemu_command: if not os.path.isfile('build/runner/coparun-armv6'):
warnings.warn("qemu-armv6 seams not work on wsl1, test skipped!", UserWarning)
return
if not os.path.isfile("build/runner/coparun-armv6"):
warnings.warn("armv6 runner not found, armv6 test skipped!", UserWarning) warnings.warn("armv6 runner not found, armv6 test skipped!", UserWarning)
return return
command = ( command = qemu_command + ['build/runner/coparun-armv6', 'build/runner/test-armv6.copapy'] + ['build/runner/test-armv6.copapy.bin']
qemu_command
+ ["build/runner/coparun-armv6", "build/runner/test-armv6.copapy"]
+ ["build/runner/test-armv6.copapy.bin"]
)
#try: #try:
result = run_command(command) result = run_command(command)
#except FileNotFoundError: #except FileNotFoundError:
@ -199,7 +142,7 @@ def test_compile():
#print(result) #print(result)
#print('--') #print('--')
assert "Return value: 1" in result assert 'Return value: 1' in result
result_data = parse_results(result) result_data = parse_results(result)
@ -207,25 +150,22 @@ def test_compile():
assert isinstance(test, value) assert isinstance(test, value)
address = variables[test.net][0] address = variables[test.net][0]
data = result_data[address] data = result_data[address]
if test.dtype == "int": if test.dtype == 'int':
val = int.from_bytes(data, sdb.byteorder, signed=True) val = int.from_bytes(data, sdb.byteorder, signed=True)
elif test.dtype == "bool": elif test.dtype == 'bool':
val = bool.from_bytes(data, sdb.byteorder) val = bool.from_bytes(data, sdb.byteorder)
elif test.dtype == "float": elif test.dtype == 'float':
en = {"little": "<", "big": ">"}[sdb.byteorder] en = {'little': '<', 'big': '>'}[sdb.byteorder]
val = struct.unpack(en + "f", data)[0] val = struct.unpack(en + 'f', data)[0]
assert isinstance(val, float) assert isinstance(val, float)
else: else:
raise Exception(f"Unknown type: {test.dtype}") raise Exception(f"Unknown type: {test.dtype}")
print("+", val, ref, test.dtype, f" addr={address}") print('+', val, ref, test.dtype, f" addr={address}")
for t in (int, float, bool): for t in (int, float, bool):
assert isinstance(val, t) == isinstance(ref, t), ( assert isinstance(val, t) == isinstance(ref, t), f"Result type does not match for {val} and {ref}"
f"Result type does not match for {val} and {ref}" assert val == pytest.approx(ref, 1e-5), f"Result does not match: {val} and reference: {ref}" # pyright: ignore[reportUnknownMemberType]
)
assert val == pytest.approx(ref, 1e-5), (
f"Result does not match: {val} and reference: {ref}"
) # pyright: ignore[reportUnknownMemberType]
if __name__ == "__main__": if __name__ == "__main__":
test_compile() #test_compile()
test_slow_31bit_int_list_hash()

140
tests/test_ops_armv7.py
View File

@ -1,22 +1,21 @@
from copapy import NumLike, iif, value
from copapy.backend import Store, compile_to_dag, add_read_value_remote
import subprocess
from copapy import _binwrite
import copapy.backend as backend
import os import os
import warnings
import re import re
import struct import struct
import subprocess
import warnings
import pytest import pytest
import copapy as cp import copapy as cp
import copapy.backend as backend
from copapy import NumLike, _binwrite, iif, value
from copapy.backend import Store, add_read_value_remote, compile_to_dag
if os.name == "nt": if os.name == 'nt':
# On Windows wsl and qemu-user is required: # On Windows wsl and qemu-user is required:
# sudo apt install qemu-user # sudo apt install qemu-user
qemu_command = ["wsl", "qemu-arm"] qemu_command = ['wsl', 'qemu-arm']
else: else:
qemu_command = ["qemu-arm"] qemu_command = ['qemu-arm']
def parse_results(log_text: str) -> dict[int, bytes]: def parse_results(log_text: str) -> dict[int, bytes]:
@ -25,7 +24,7 @@ def parse_results(log_text: str) -> dict[int, bytes]:
var_dict: dict[int, bytes] = {} var_dict: dict[int, bytes] = {}
for match in matches: for match in matches:
value_str: list[str] = match.group(3).strip().split(" ") value_str: list[str] = match.group(3).strip().split(' ')
#print('--', value_str) #print('--', value_str)
value = bytes(int(v, base=16) for v in value_str) value = bytes(int(v, base=16) for v in value_str)
if len(value) <= 8: if len(value) <= 8:
@ -35,49 +34,26 @@ def parse_results(log_text: str) -> dict[int, bytes]:
def run_command(command: list[str]) -> str: def run_command(command: list[str]) -> str:
result = subprocess.run( result = subprocess.run(command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, encoding='utf8', check=False)
command, assert result.returncode != 11, f"SIGSEGV (segmentation fault)\n -Error occurred: {result.stderr}\n -Output: {result.stdout}"
stdout=subprocess.PIPE, assert result.returncode == 0, f"\n -Error occurred: {result.stderr}\n -Output: {result.stdout}"
stderr=subprocess.PIPE,
encoding="utf8",
check=False,
)
assert result.returncode != 11, (
f"SIGSEGV (segmentation fault)\n -Error occurred: {result.stderr}\n -Output: {result.stdout}"
)
assert result.returncode == 0, (
f"\n -Error occurred: {result.stderr}\n -Output: {result.stdout}"
)
return result.stdout return result.stdout
def check_for_qemu() -> bool: def check_for_qemu() -> bool:
command = qemu_command + ["--version"] command = qemu_command + ['--version']
try: try:
result = subprocess.run( result = subprocess.run(command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, check=False)
command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, check=False
)
except Exception: except Exception:
return False return False
return result.returncode == 0 return result.returncode == 0
def function1(c1: NumLike) -> list[NumLike]: def function1(c1: NumLike) -> list[NumLike]:
return [ return [c1 / 4, c1 / -4, c1 // 4, c1 // -4, (c1 * -1) // 4,
c1 / 4, c1 * 4, c1 * -4,
c1 / -4, c1 + 4, c1 - 4,
c1 // 4, c1 > 2, c1 > 100, c1 < 4, c1 < 100]
c1 // -4,
(c1 * -1) // 4,
c1 * 4,
c1 * -4,
c1 + 4,
c1 - 4,
c1 > 2,
c1 > 100,
c1 < 4,
c1 < 100,
]
def function2(c1: NumLike) -> list[NumLike]: def function2(c1: NumLike) -> list[NumLike]:
@ -101,13 +77,11 @@ def function6(c1: NumLike) -> list[NumLike]:
def iiftests(c1: NumLike) -> list[NumLike]: def iiftests(c1: NumLike) -> list[NumLike]:
return [ return [iif(c1 > 5, 8, 9),
iif(c1 > 5, 8, 9),
iif(c1 < 5, 8.5, 9.5), iif(c1 < 5, 8.5, 9.5),
iif(1 > 5, 3.3, 8.8) + c1, iif(1 > 5, 3.3, 8.8) + c1,
iif(1 < 5, c1 * 3.3, 8.8), iif(1 < 5, c1 * 3.3, 8.8),
iif(c1 < 5, c1 * 3.3, 8.8), iif(c1 < 5, c1 * 3.3, 8.8)]
]
@pytest.mark.runner @pytest.mark.runner
@ -116,39 +90,15 @@ def test_compile():
c_f = value(1.111) c_f = value(1.111)
c_b = value(True) c_b = value(True)
ret_test = ( ret_test = function1(c_i) + function1(c_f) + function2(c_i) + function2(c_f) + function3(c_i) + function4(c_i) + function5(c_b) + [value(9) % 2] + iiftests(c_i) + iiftests(c_f) + [cp.asin(c_i/10)]
function1(c_i) ret_ref = function1(9) + function1(1.111) + function2(9) + function2(1.111) + function3(9) + function4(9) + function5(True) + [9 % 2] + iiftests(9) + iiftests(1.111) + [cp.asin(9/10)]
+ function1(c_f)
+ function2(c_i)
+ function2(c_f)
+ function3(c_i)
+ function4(c_i)
+ function5(c_b)
+ [value(9) % 2]
+ iiftests(c_i)
+ iiftests(c_f)
+ [cp.asin(c_i / 10)]
)
ret_ref = (
function1(9)
+ function1(1.111)
+ function2(9)
+ function2(1.111)
+ function3(9)
+ function4(9)
+ function5(True)
+ [9 % 2]
+ iiftests(9)
+ iiftests(1.111)
+ [cp.asin(9 / 10)]
)
#ret_test = (c_i * 100 // 5, c_f * 10 // 5) #ret_test = (c_i * 100 // 5, c_f * 10 // 5)
#ret_ref = (9 * 100 // 5, 1.111 * 10 // 5) #ret_ref = (9 * 100 // 5, 1.111 * 10 // 5)
out = [Store(r) for r in ret_test] out = [Store(r) for r in ret_test]
sdb = backend.stencil_db_from_package("armv7") sdb = backend.stencil_db_from_package('armv7')
dw, variables = compile_to_dag(out, sdb) dw, variables = compile_to_dag(out, sdb)
#dw.write_com(_binwrite.Command.READ_DATA) #dw.write_com(_binwrite.Command.READ_DATA)
@ -172,34 +122,27 @@ def test_compile():
#print('* Data to runner:') #print('* Data to runner:')
#dw.print() #dw.print()
dw.to_file("build/runner/test-armv7.copapy") dw.to_file('build/runner/test-armv7.copapy')
if not check_for_qemu(): if not check_for_qemu():
warnings.warn("qemu-armv7 not found, armv7 test skipped!", UserWarning) warnings.warn("qemu-armv7 not found, armv7 test skipped!", UserWarning)
return return
if "wsl" in qemu_command: if not os.path.isfile('build/runner/coparun-armv7'):
warnings.warn("qemu-armv7 seams not work on wsl1, test skipped!", UserWarning)
return
if not os.path.isfile("build/runner/coparun-armv7"):
warnings.warn("armv7 runner not found, armv7 test skipped!", UserWarning) warnings.warn("armv7 runner not found, armv7 test skipped!", UserWarning)
return return
command = ( command = qemu_command + ['build/runner/coparun-armv7', 'build/runner/test-armv7.copapy'] + ['build/runner/test-armv7.copapy.bin']
qemu_command
+ ["build/runner/coparun-armv7", "build/runner/test-armv7.copapy"]
+ ["build/runner/test-armv7.copapy.bin"]
)
#try: #try:
result = run_command(command) result = run_command(command)
#except FileNotFoundError: #except FileNotFoundError:
# warnings.warn(f"Test skipped, executable not found.", UserWarning) # warnings.warn(f"Test skipped, executable not found.", UserWarning)
# return # return
print("* Output from runner:\n--") print('* Output from runner:\n--')
print(result) print(result)
print("--") print('--')
assert "Return value: 1" in result assert 'Return value: 1' in result
result_data = parse_results(result) result_data = parse_results(result)
@ -207,25 +150,22 @@ def test_compile():
assert isinstance(test, value) assert isinstance(test, value)
address = variables[test.net][0] address = variables[test.net][0]
data = result_data[address] data = result_data[address]
if test.dtype == "int": if test.dtype == 'int':
val = int.from_bytes(data, sdb.byteorder, signed=True) val = int.from_bytes(data, sdb.byteorder, signed=True)
elif test.dtype == "bool": elif test.dtype == 'bool':
val = bool.from_bytes(data, sdb.byteorder) val = bool.from_bytes(data, sdb.byteorder)
elif test.dtype == "float": elif test.dtype == 'float':
en = {"little": "<", "big": ">"}[sdb.byteorder] en = {'little': '<', 'big': '>'}[sdb.byteorder]
val = struct.unpack(en + "f", data)[0] val = struct.unpack(en + 'f', data)[0]
assert isinstance(val, float) assert isinstance(val, float)
else: else:
raise Exception(f"Unknown type: {test.dtype}") raise Exception(f"Unknown type: {test.dtype}")
print("+", val, ref, test.dtype, f" addr={address}") print('+', val, ref, test.dtype, f" addr={address}")
for t in (int, float, bool): for t in (int, float, bool):
assert isinstance(val, t) == isinstance(ref, t), ( assert isinstance(val, t) == isinstance(ref, t), f"Result type does not match for {val} and {ref}"
f"Result type does not match for {val} and {ref}" assert val == pytest.approx(ref, 1e-5), f"Result does not match: {val} and reference: {ref}" # pyright: ignore[reportUnknownMemberType]
)
assert val == pytest.approx(ref, 1e-5), (
f"Result does not match: {val} and reference: {ref}"
) # pyright: ignore[reportUnknownMemberType]
if __name__ == "__main__": if __name__ == "__main__":
test_compile() #test_example()
test_slow_31bit_int_list_hash()