Note: The explanation below is currently being implemented. It is still unclear if it will work as intended (or if I will actually finish it).

uxnjit uses meta-tracing to automatically generate a tracing JIT from the uxn.c interpreter. It uses the metajit.cpp meta-tracing framework. To allow for meta-tracing, uxnjit uses a modified version of uxn.c that includes the required annotations. This version of uxn.c is lowered to LLVM IR using clang. The resulting LLVM IR is then lowered to metajit.cpp's JITIR.

One major challenge in just-in-time compiling UXN is the fact that UXN's memory model allows for self-modifying code. To handle this, uxnjit marks all memory locations which are assumed as constant in traces and invalidates traces when those memory locations are modified.

Apache License, Version 2.0

uxn.c and uxn.h are from the uxn Project, see the license headers for more information.