On 12/21/2012 3:52 AM, Rainer Schuetze wrote:
I think you don't need to care. The CPU can execute it as well without type information. If the data layout of the interpreter values is the same as for the interpreted architecture, all you need to know is the calling convention and the types of the arguments to the function to be executed and the return type.
CPU instructions are as unportable as you can get. All type information is lost, as well as all information as to where the values for things come from. Hence, such a format has dependencies on every module and switch it was compiled with, dependencies that cannot be accounted for if they change.
It cannot be inlined, no inferences can be made as to purity, and it's hard to see how CTFE could determine if a particular path through that code is supported or not by the CTFE.
In fact, it is useless as a means of importing module information - you might as well just link to that object code at link time.
