I may be wrong, but I think that this is theoretically possible using LLVM. If you just translate the source into LLVM IR without any optimisation, then all of

I may be wrong, but I think that this is theoretically possible using LLVM. If you just translate the source into LLVM IR without any optimisation, then all of that can be left until runtime if necessary, which is pretty neat. Though I'm not sure if languages impose restrictions on the IR that may hinder this, I know that GHC had to implement its own calling convention for LLVM to make it run efficiently. There's also the fact that you need all of the program to be translated into the IR; using GHC as an example again, this is a problem because the runtime system is written in C. I shall have to do more reading about AS/400 I think, sounds interesting, especially the easy CISC -> RISC transition.