[Webkit-unassigned] [Bug 148934] Implement control flow statements in WebAssembly

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=148934

--- Comment #5 from Sukolsak Sakshuwong <sukolsak at gmail.com> ---
Thanks!

(In reply to comment #4)
> Comment on attachment 260742 [details]
> Patch
> 
> View in context:
> https://bugs.webkit.org/attachment.cgi?id=260742&action=review
> 
> r=me
> 
> > Source/JavaScriptCore/wasm/WASMFunctionCompiler.h:407
> > +    void endLabel()
> > +    {
> > +        linkTarget(m_breakLabelTargets.last());
> > +
> > +        m_breakLabelTargets.removeLast();
> > +        m_continueLabelTargets.removeLast();
> > +    }
> 
> Is it guaranteed that WASM can't have arbitrary gotos? (An arbitrary goto
> would make the push/pop model of labels invalid.)

goto is not part of the MVP, but it is under consideration for a future version. <https://github.com/WebAssembly/design/blob/master/FutureFeatures.md#more-expressive-control-flow> The WASM format that we are using doesn't have goto.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-unassigned/attachments/20150908/402ebdbc/attachment.html>