Stream: git-wasmtime

Topic: wasmtime / issue #5756 Move default blocks into jump tables

Wasmtime GitHub notifications bot (Feb 09 2023 at 22:57):

bjorn3 commented on issue #5756:

I think it is less clear what the default case is for the br_table with this change. Maybe a JumpTableData could be formatted as default_block, [block1, block2] such that the effective syntax of br_table is preserved?

Wasmtime GitHub notifications bot (Feb 09 2023 at 22:58):

bjorn3 edited a comment on issue #5756:

I think it is less clear what the default case is for the br_table with this change. Maybe a JumpTableData could be formatted as default_block, [block1, block2] such that the effective syntax of br_table is preserved?

edit: nevermind you are already doing that. I thought you hadn't updated the tests yet. my bad.

Last updated: Oct 23 2024 at 20:03 UTC