MyAOT: An experimental AOT(-ish) compiler (Linux/riscv ELF -> Linux/x86_64 ELF, Darwin/arm64 Mach-O, WASM, ...)

MyAOT is an experimental AOT(-ish) compiler that translates a Linux/riscv ELF binary to:

• Linux ELF (x86_64, aarch64, and other little-endian architectures)
• Darwin Mach-O (x86_64, arm64)
• WASM

Status

Only trivial programs work.

• No support for shared objects
• No support for memory protection
• No support for threading
• Incomplete support for "A", "F", "D", and "C" instructions
• Lots of syscalls are still unimplemented
• Generated code is not optimized

Usage

For Linux, Darwin, etc:

$ file examples/hello-s/hello-riscv32
examples/hello-s/hello-riscv32: ELF 32-bit LSB executable, UCB RISC-V, soft-float ABI, version 1 (SYSV), statically linked, stripped

$ go install ./cmd/myaot

$ myaot compile ./examples/hello-s/hello-riscv32
INFO[0000] Compiling ./examples/hello-s/hello-riscv32 --> a.out.c
INFO[0000] Compiling a.out.c --> a.out
INFO[0000] Removing a.out.c
INFO[0000] Done: a.out

$ file a.out
a.out: ELF 64-bit LSB pie executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=2d7a7211b6b8be795a2a9837bd39a8e1130df642, for GNU/Linux 3.2.0, not stripped

$ ./a.out
Hello World!

For WASM:

$ myaot compile -o a.out.c ./examples/hello-s/hello-riscv32
INFO[0000] Compiling ./examples/hello-s/hello-riscv32 --> a.out.c
INFO[0000] Done: a.out.c

$ emcc -o a.wasm a.out.c

$ file a.wasm
a.wasm: WebAssembly (wasm) binary module version 0x1 (MVP)

$ emcc -o a.html -sWASM -sALLOW_MEMORY_GROWTH a.out.c

$ emrun a.html