vm backend stable

Author: liamHowatt

.gitignore

@@ -1,4 +1,3 @@
-a.out
+compile-exe
+execute-exe
 *.bin
-execute
-compile

Makefile

@@ -0,0 +1,13 @@
+all: compile-exe execute-exe
+
+compile-exe: compile.c compile-exe.c num.c vm_backend.c
+	gcc -Wall -fsanitize=address -g compile.c compile-exe.c num.c vm_backend.c -o compile-exe
+
+execute-exe: execute.c execute-exe.c num.c vm_engine.c
+	gcc -m32 -Wall -fsanitize=address -g execute.c execute-exe.c num.c vm_engine.c -o execute-exe
+
+test-simple: all
+	find forth_programs/simple -maxdepth 1 -type f | xargs -I{} ./compile-and-run.sh {}
+
+clean:
+	rm -f compile-exe execute-exe *.bin

README.md

@@ -0,0 +1,13 @@
+`gcc-multilib` needs to be installed to compile `execute-exe` as 32 bit.
+
+```sh
+make
+make test-simple
+```
+
+How to run `life.fs` and the hash_xors
+
+```sh
+./compile-and-run.sh forth_programs/life/life.fs < forth_programs/life/starting_board.txt
+./compile-and-run.sh forth_programs/hash_xor/hash_xor.fs < forth_programs/hash_xor/hash_input.txt
+```

compile-and-run.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+
+BASENAME=$(basename $1 .fs)
+BINNAME="${BASENAME}.bin"
+echo $1
+./compile-exe vm $1 $BINNAME
+./execute-exe vm $BINNAME
+echo

compile-exe.c

@@ -0,0 +1,52 @@
+#include <fcntl.h>
+#include <unistd.h>
+#include "mcp_forth.h"
+
+int main(int argc, char ** argv)
+{
+    assert(argc == 4);
+
+    const mcp_forth_backend_t * backend;
+    if(0 == strcmp("vm", argv[1])) {
+        backend = &compact_bytecode_vm_backend;
+    } else {
+        assert(0);
+    }
+
+    int fd;
+    int res;
+
+    fd = open(argv[2], O_RDONLY);
+    assert(fd != -1);
+    int source_len = lseek(fd, 0, SEEK_END);
+    assert(source_len != -1);
+    res = lseek(fd, 0, SEEK_SET);
+    assert(res != -1);
+
+    char * source = malloc(source_len);
+    assert(source);
+
+    res = read(fd, source, source_len);
+    assert(res == source_len);
+
+    res = close(fd);
+    assert(res != -1);
+
+    uint8_t * bin;
+    int error_near = -1;
+    int bin_len = mcp_forth_compile(source, source_len, &bin, backend, &error_near);
+    free(source);
+    if(bin_len < 0) {
+        printf("error %d near %d\n", bin_len, error_near);
+        return 1;
+    }
+
+    fd = open(argv[3], O_WRONLY | O_CREAT | O_TRUNC, 0664);
+    assert(fd != -1);
+    res = write(fd, bin, bin_len);
+    assert(res == bin_len);
+    free(bin);
+
+    res = close(fd);
+    assert(res != -1);
+}