TCC is a small, fast, optimizing C compiler, linker, and loader. And the cool thing for dynamic language implementations...
With libtcc, you can use TCC as a backend for dynamic code generation.
This is very interesting. About 8 times faster than GCC. Why spend time on a virtual machine instruction set?
TCC can also automatically generate memory and bound checks while allowing all C pointers operations.