Repository navigation
[EH] --translate-to-new-eh "invalid delegate" #6274
Description
iiuc, delegate is allowed to target any type of block.
from the overview of the old EH proposal:
delegatecan also targetcatch-lesstrys or non-tryblock constructs
likeblocks orloops, in which case the delegated exception is assumed to
propagate to the outer scope and will be caught by the next matching
try-catches, or rethrown to the caller if there is no outer try block.
but --translate-to-new-eh complains like [parse exception: exceptionTargetNames not empty - invalid delegate (at 0:48)].
eg.
(module
(tag)
(func (export "main")
block
try
throw 0
delegate 0
end
)
)
Metadata
Metadata
Assignees
Labels
No labels
Activity
aheejin commentedon Feb 5, 2024
This is unrelated to the new
--translate-to-new-eh. Parsing ofdelegatetargeting a block has never been supported in Binaryen. Yes it is allowed in the spec, but because our primary producer that generatesdelegate, LLVM's Wasm backend, does not produce such code, supporting that has not been a priority. And given that we are planning to put more efforts on supporting the new instructions and less on improving support for the old instructions, I'm not sure whether this will be supported in the near future (or more frankly, ever). May I ask which toolchain generated this code, and what's your usage for this?yamt commentedon Feb 6, 2024
ok
i'm just experimenting things. i have no real use cases of this construct.
tlively commentedon Jan 11, 2025
We support parsing
delegatetargeting blocks now.