[Question] Multi-value Return using Tuple about binaryen HOT 3 OPEN

Q1-Q3: Yes. Types are handles to types, so you can pass them around like that.

Q4: BinaryenFunctionAddVar adds a variable. I don't think we have a method to modify an existing one atm.

from binaryen.

Hi,

Thanks for your reply.

I call the BinaryenModuleValidate() to validate the generated module which uses the tuple feature. It reports error like:
unexpected false: Tuples are not allowed unless multivalue is enabled, on
Fatal: DWARF + multivalue is not yet complet
How should I fix this error?

from binaryen.

The first is fixed by enabling multivalue, see BinaryenModuleSetFeatures().

For the second, you can either remove DWARF with --strip-dwarf as part of the wasm-opt invocation, or you can use a newer Binaryen as we did actually fix that recently (last few weeks - not in a release yet, but in main).

from binaryen.