Title: [204546] trunk/Websites/webkit.org
- Revision
- 204546
- Author
- [email protected]
- Date
- 2016-08-16 19:01:03 -0700 (Tue, 16 Aug 2016)
Log Message
[JSC] Update the documentation of B3's Return opcode
https://bugs.webkit.org/show_bug.cgi?id=160912
Patch by Benjamin Poulain <[email protected]> on 2016-08-16
Reviewed by Filip Pizlo.
* docs/b3/intermediate-representation.html:
Modified Paths
Diff
Modified: trunk/Websites/webkit.org/ChangeLog (204545 => 204546)
--- trunk/Websites/webkit.org/ChangeLog 2016-08-17 01:55:14 UTC (rev 204545)
+++ trunk/Websites/webkit.org/ChangeLog 2016-08-17 02:01:03 UTC (rev 204546)
@@ -1,3 +1,12 @@
+2016-08-16 Benjamin Poulain <[email protected]>
+
+ [JSC] Update the documentation of B3's Return opcode
+ https://bugs.webkit.org/show_bug.cgi?id=160912
+
+ Reviewed by Filip Pizlo.
+
+ * docs/b3/intermediate-representation.html:
+
2016-08-04 Daniel Bates <[email protected]>
Add some files for a Content Security Policy blog post
Modified: trunk/Websites/webkit.org/docs/b3/intermediate-representation.html (204545 => 204546)
--- trunk/Websites/webkit.org/docs/b3/intermediate-representation.html 2016-08-17 01:55:14 UTC (rev 204545)
+++ trunk/Websites/webkit.org/docs/b3/intermediate-representation.html 2016-08-17 02:01:03 UTC (rev 204546)
@@ -595,9 +595,16 @@
leads to only a small amount of cloned code in practice.</p>
</dd>
- <dt>Void Return(T)</dt>
- <dd>Works for any type except Void. Returns the given value and terminates the procedure.
- Must appear at the end of the basic block. The block must have zero successors.</dd>
+ <dt>Void Return(T <i>(optional)</i>)</dt>
+ <dd>
+ <p>
+ Returns the control flow to the caller and terminates the procedure.
+ Must appear at the end of the basic block. The block must have zero successors.
+ </p>
+ <p>
+ If the node has a child, its value is returned. The type of the child can be any type except Void.
+ </p>
+ </dd>
<dt>Void Oops()</dt>
<dd>Indicates unreachable code. This may be implemented as either a trap or as a bare
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
