Andreas Rossberg
Andreas Rossberg
@Kardax, a typed `call_indirect` essentially is just an indirect jump-to-subroutine.
@Kardax, it's 1 read + 1 jump as opposed to ~3 reads + 1 compare + 1 branch + 1 jump.
FWIW, this has been discussed extensively in the initial design discussions for Wasm (for which we don't have records, unfortunately), including the suggestions to introduce specialised instructions for low-index locals....
Yes, but a CPU is more or less an interpreter in hardware, so close enough. Compilation otoh leads to very different and sometimes contrary design decisions, like the use of...
@Ms2ger, is this old PR still relevant? If so, who could review it?
It sounds like you are canonicalising wrt type indices. But type indices are meaningless in any program that consists of more than one module. Type canonicalisation must happen globally, across...
The Instantiation section actually has a note addressing this: > [...] Similarly, module allocation and the evaluation of global and table initializers as well as element segments are mutually recursive...
@tlively, the room for possible future extensions is a bit broader than that. For example, in all places where we use s33 as part of a larger type expression, we...
You are proposing a form of abstract data type, which generally is a valuable feature for general-purpose programming languages. However, in the context of Wasm, it raises a few questions:...
Re 1: Okay, I see, but it is not obvious to me that would work and benefit security in sufficient generality to be worthwhile. Not saying it isn't, but that...