source/projects/shoggoth/test/ichor/test_bootstrap.py

186 lines
4.3 KiB
Python
Raw Normal View History

2022-04-15 06:31:58 +00:00
#!/usr/bin/env python3
2022-05-31 15:41:10 +00:00
from .fixtures import * # noqa
2022-08-09 15:39:33 +00:00
from ichor import isa
from ichor.bootstrap import (
2022-08-19 06:43:42 +00:00
AND2,
AND3,
FALSE,
NOT1,
OR2,
2022-08-17 06:11:01 +00:00
OR3,
TRUE,
)
2022-06-01 05:17:32 +00:00
import pytest
2022-04-15 06:31:58 +00:00
2022-05-31 15:41:10 +00:00
@pytest.mark.parametrize("stack,ret", [
2022-06-28 04:35:21 +00:00
[[TRUE], [FALSE]],
[[FALSE], [TRUE]],
2022-04-15 06:31:58 +00:00
])
def test_not(vm, stack, ret):
assert vm.run([
2022-07-16 01:33:32 +00:00
isa.IDENTIFIERC(NOT1),
isa.FUNREF(),
isa.CALLF(1),
2022-08-09 15:39:33 +00:00
isa.RETURN()
], stack = stack) == ret
2022-04-15 06:31:58 +00:00
@pytest.mark.parametrize("stack,ret", [
[[FALSE, FALSE], [FALSE]],
[[TRUE, FALSE], [TRUE]],
[[FALSE, TRUE], [TRUE]],
[[TRUE, TRUE], [TRUE]],
])
2022-08-17 06:11:01 +00:00
def test_or2(vm, stack, ret):
assert vm.run([
isa.IDENTIFIERC(OR2),
isa.FUNREF(),
isa.CALLF(2),
isa.RETURN()
], stack = stack) == ret
2022-06-28 04:35:21 +00:00
2022-08-17 06:11:01 +00:00
@pytest.mark.parametrize("stack,ret", [
[[FALSE, FALSE, FALSE], [FALSE]],
[[TRUE, FALSE, FALSE], [TRUE]],
[[FALSE, TRUE, FALSE], [TRUE]],
[[FALSE, FALSE, TRUE], [TRUE]],
[[TRUE, TRUE, FALSE], [TRUE]],
[[TRUE, FALSE, TRUE], [TRUE]],
[[FALSE, TRUE, TRUE], [TRUE]],
[[TRUE, TRUE, TRUE], [TRUE]],
])
def test_or3(vm, stack, ret):
assert vm.run([
isa.IDENTIFIERC(OR3),
isa.FUNREF(),
isa.CALLF(3),
isa.RETURN()
], stack = stack) == ret
2022-06-28 04:35:21 +00:00
2022-08-17 06:18:08 +00:00
@pytest.mark.parametrize("stack,ret", [
[[FALSE, FALSE], [FALSE]],
[[TRUE, FALSE], [FALSE]],
[[FALSE, TRUE], [FALSE]],
[[TRUE, TRUE], [TRUE]],
])
def test_and2(vm, stack, ret):
assert vm.run([
isa.IDENTIFIERC(AND2),
isa.FUNREF(),
isa.CALLF(2),
isa.RETURN()
], stack = stack) == ret
@pytest.mark.parametrize("stack,ret", [
[[FALSE, FALSE, FALSE], [FALSE]],
[[TRUE, FALSE, FALSE], [FALSE]],
[[FALSE, TRUE, FALSE], [FALSE]],
[[TRUE, TRUE, FALSE], [FALSE]],
[[TRUE, TRUE, TRUE], [TRUE]],
])
def test_and3(vm, stack, ret):
assert vm.run([
isa.IDENTIFIERC(AND3),
isa.FUNREF(),
isa.CALLF(3),
isa.RETURN()
], stack = stack) == ret
2022-06-28 04:35:21 +00:00
# @pytest.mark.parametrize("stack,ret", [
# [[False, False], [False]],
# [[True, False], [True]],
# [[False, True], [True]],
# [[True, True], [False]],
# ])
# def test_xor2(vm, stack, ret):
# assert vm.run([
2022-07-16 01:33:32 +00:00
# isa.IDENTIFIERC(XOR2),
# isa.FUNREF(),
# isa.CALLF(2),
# isa.RETURN(1)
2022-06-28 04:35:21 +00:00
# ], stack = stack) == ret
# @pytest.mark.parametrize("stack,ret", [
# [[False, False, False], [False]],
# [[True, False, False], [True]],
# [[False, True, False], [True]],
# [[True, True, False], [True]],
# [[True, True, True], [False]],
# [[False, True, True], [True]],
# [[False, False, True], [True]],
# ])
# def test_xor3(vm, stack, ret):
# assert vm.run([
2022-07-16 01:33:32 +00:00
# isa.IDENTIFIERC(XOR3),
# isa.FUNREF(),
# isa.CALLF(3),
# isa.RETURN(1)
2022-06-28 04:35:21 +00:00
# ], stack = stack) == ret
# @pytest.mark.parametrize("stack,ret", [
# [[], [FunctionRef.parse(NOT1)]]
# ])
# def test_funref(vm, stack, ret):
# assert vm.run([
2022-07-16 01:33:32 +00:00
# isa.IDENTIFIERC(NOT1),
# isa.FUNREF(),
# isa.RETURN(1)
2022-06-28 04:35:21 +00:00
# ], stack = stack) == ret
# @pytest.mark.parametrize("stack,ret", [
# [[False], [True]]
# ])
# def test_callf(vm, stack, ret):
# assert vm.run([
2022-07-16 01:33:32 +00:00
# isa.IDENTIFIERC(NOT1),
# isa.FUNREF(),
# isa.CALLF(1),
# isa.RETURN(1)
2022-06-28 04:35:21 +00:00
# ], stack = stack) == ret
# @pytest.mark.parametrize("stack,ret", [
# [[False, False], [False]],
# [[True, False], [True]],
# [[False, True], [True]],
# [[True, True], [False]],
# ])
# def test_callc(vm, stack, ret):
# assert vm.run([
2022-07-16 01:33:32 +00:00
# isa.IDENTIFIERC(XOR2),
# isa.FUNREF(),
# isa.CLOSUREF(1),
# isa.CALLC(1),
# isa.RETURN(1),
2022-06-28 04:35:21 +00:00
# ], stack = stack) == ret
# @pytest.mark.parametrize("stack,ret", [
# [[False, False, False], [False]],
# [[True, False, False], [True]],
# [[False, True, False], [True]],
# [[True, True, False], [True]],
# [[True, True, True], [False]],
# [[False, True, True], [True]],
# [[False, False, True], [True]],
# ])
# def test_closurec(vm, stack, ret):
# assert vm.run([
2022-07-16 01:33:32 +00:00
# isa.IDENTIFIERC(XOR3),
# isa.FUNREF(),
# isa.CLOSUREF(1),
# isa.CLOSUREC(1),
# isa.CALLC(1),
# isa.RETURN(1),
2022-06-28 04:35:21 +00:00
# ], stack = stack) == ret