While I am at that topic: An idea I had earlier: Maybe it is possible that if V8 knows the LLVM->JS translator so well that it can identify such JS code and rev

While I am at that topic: An idea I had earlier: Maybe it is possible that if V8 knows the LLVM->JS translator so well that it can identify such JS code and reverse this translation to get the LLVM back (this is a bit different than a generic JS->LLVM translator). If that is possible, it would also make NaCl obsolete.