In theory yes, but LLVM isn't the answer. LLVM knows nothing about the semantics...

ootachi on Oct 2, 2011 | parent | context | favorite | on: Emscripten, an LLVM-to-JavaScript compiler

In theory yes, but LLVM isn't the answer. LLVM knows nothing about the semantics of the language you're compiling on that level. What you're talking about is eliminating boxing and type guards, which require a higher-level optimization framework than what LLVM provides.