sunfishcode closed issue #2712:
In WebAssembly, a
brinstruction with a depth equal the the current control-flow stack depth is equivalent to areturn. However, in the current fuel implementation, these are handled differently:
returnconsumes 0 fuel, while abrto the control-flow stack depth consumes 1.returnupdates the fuel usage field inVMInterrupts, while abr,br_if, orbr_tableto the control-flow stack depth does not, even though they also exit the function
sunfishcode commented on issue #2712:
Closing, as I don't think there's anything that needs doing here.
Last updated: Dec 06 2025 at 06:05 UTC