source/projects/shoggoth/src/python/ichor/bootstrap.py

"""Shogoth bootstrap code.

Some utterly trivial functions and types that allow me to begin testing the VM.
Hopefully no "real" interpreter ever uses this code, since it's obviously replaceable.
"""

from ichor import isa
from ichor.state import Module, Variant


BOOTSTRAP = Module()

BOOL = BOOTSTRAP.define_type(
    ";bool;true(),false()",
)

TRUE = Variant(BOOL, "true", ())
FALSE = Variant(BOOL, "false", ())

NOT1 = BOOTSTRAP.define_function(
    f";not;{BOOL};{BOOL}",
    [
        # a: Bool
        isa.IDENTIFIERC("bool"),
        isa.TYPEREF(),  # <typeref bool> a
        isa.DUP(),
        isa.IDENTIFIERC("true"),
        isa.ARMREF(), # <variantref true:bool> <typeref bool> a
        isa.DUP(),
        isa.SLOT(0),
        isa.ROT(2),
        isa.ATEST(11),

        isa.ARM(0),
        isa.RETURN(),

        isa.DROP(1),
        isa.IDENTIFIERC("false"),
        isa.ARMREF(),
        isa.ARM(0),
        isa.RETURN(),
    ],
)

OR2 = BOOTSTRAP.define_function(
    f";or;{BOOL},{BOOL};{BOOL}",
    [
        isa.BREAK(),
    ],
)

OR3 = BOOTSTRAP.define_function(
    f";or;{BOOL},{BOOL},{BOOL};{BOOL}",
    [
        isa.BREAK(),
    ]
)

AND2 = BOOTSTRAP.define_function(
    f";and;{BOOL},{BOOL};{BOOL}",
    [
        isa.BREAK(),
    ],
)

AND3 = BOOTSTRAP.define_function(
    f";and;{BOOL},{BOOL},{BOOL};{BOOL}",
    [
        isa.BREAK(),
    ],
)

XOR2 = BOOTSTRAP.define_function(
    f";xor;{BOOL},{BOOL};{BOOL}",
    [
        isa.BREAK(),
    ],
)

XOR3 = BOOTSTRAP.define_function(
    f";xor;{BOOL},{BOOL},{BOOL};{BOOL}",
    [
        # A^B|B^C
        isa.BREAK(),
    ]
)