0xd34d10cc / nox-rs Goto Github PK

See https://github.com/wasmerio/wasmer & https://github.com/bytecodealliance/wasmtime

Procedures were implemented in #12 & #13
The next step is to add return statement and call expression to implement functions.

Extend Memory interface to make it possible to use with JIT

See https://docs.rs/iced-x86/1.8.0/iced_x86/#create-and-encode-instructions

Required for #26

Statement/SM functions were implemented in #14. The next step is compile them to amd64 machine code.

There is a problem in #15, following program:

fun lol() { return 42 } // function
fun kek() {}            // procedure

lol();
write(kek())

Fails to execute in Statements language (call to procedure kek in expression), but runs successfully in SM (writes 42 to output). Fix: add returns_value flag to Function and check that every Call in Expr .

https://github.com/0xd34d10cc/nox/blob/55c6f4a5b52e355d454943e894ed5085a24e8d49/src/typecheck.rs#L57-L59

Invariant to maintain: stack of StackMachine should be empty after execution of program.

To allow code reuse for JIT & AOT compilers

1. If-elif-else
2. while
3. repeat until
4. for (based on while)

See https://github.com/CensoredUsername/dynasm-rs

See https://crates.io/crates/object
Depends on #33 #35

The size of these files makes compilation very slow. This is especially painful for typical use-case like re-running a single test after code changes.

See https://github.com/fflorent/nom_locate
Also, there is https://crates.io/crates/nom-tracable for debugging

https://github.com/0xd34d10cc/nox/blob/55c6f4a5b52e355d454943e894ed5085a24e8d49/src/jit.rs#L327-L341

This code will cause CPU exception if rhs is zero

Current checks for "attempt to reference uninitialized value" are not exhaustive. For example, this program passed all checks:

fun kek(b) {
    if b == 0 then
        x := 42
    fi
}

kek(1337);
write(x)

To make such programs determenistic we have to always initialize global and local variables with some constant value.