If you want to have a high performance JIT compiler that can export to C and statically recompile and optimize like crazy, look into
LLVM. It originated on Linux and works well on both PowerPC and Intel Macintoshes. There is also a Windows version but not so polished as the Linux version.