On Friday, 21 December 2012 at 20:08:00 UTC, jerro wrote:
Optimized LLVM bytecode look like a good candidate for the
job. Note that I'm not suggesting this as a spec, but as an
example of possible solution.
It's true that it couldn't be automatically decompiled to
something equivalent to the original D source, but it does
contain type information. Its human readable form (llvm
assembly language) is easier to understand than assembly.
Once the optimizer is passed, a lot of it is lost. It is easier
to understand than pure x86 assembly, but it is clearly opaque.
