🛤 Multi-value

[binji]

This is a tracking issue for a post-MVP feature
It will be updated as the issue progresses.

Topic Multi-value
Champion Andreas Rossberg @rossberg
Status in progress
Phase Implementation phase
Linked issues WebAssembly/design#937, WebAssembly/design#667,
Linked repositories github.com/WebAssembly/multi-value)

Details

• Multiple return values for functions:

  • enable unboxing of tuples or structs returned by value
  • efficient compilation of multiple return values

• Multiple results for instructions:

  • enable instructions producing several results (divmod, arithmetics with carry)

• Inputs to blocks:

  • loop labels can have arguments
  • can represent phis on backward edges
  • enable future pick operator to cross block boundary
  • macro definability of instructons with inputs
    • i32.select3 = dup if ... else ... end

[Ms2ger]

WebAssembly/spec@484180b