Stream: git-wasmtime

Topic: wasmtime / issue #2712 Inconsistent fuel accounting betwe...

Wasmtime GitHub notifications bot (Dec 12 2024 at 19:59):

sunfishcode closed issue #2712:

In WebAssembly, a br instruction with a depth equal the the current control-flow stack depth is equivalent to a return. However, in the current fuel implementation, these are handled differently:

• return consumes 0 fuel, while a br to the control-flow stack depth consumes 1.
• return updates the fuel usage field in VMInterrupts, while a br, br_if, or br_table to the control-flow stack depth does not, even though they also exit the function

Wasmtime GitHub notifications bot (Dec 12 2024 at 19:59):

sunfishcode commented on issue #2712:

Closing, as I don't think there's anything that needs doing here.

Last updated: Dec 23 2024 at 12:05 UTC