UNPKG

walt-compiler

Version:

Alternative syntax for WebAssembly text format

414 lines (413 loc) 11.9 kB
<!doctype html> <html lang="en"> <head> <title>Code coverage report for src/core/function-pointer.js</title> <meta charset="utf-8" /> <link rel="stylesheet" href="../../prettify.css" /> <link rel="stylesheet" href="../../base.css" /> <meta name="viewport" content="width=device-width, initial-scale=1"> <style type='text/css'> .coverage-summary .sorter { background-image: url(../../sort-arrow-sprite.png); } </style> </head> <body> <div class='wrapper'> <div class='pad1'> <h1> <a href="../../index.html">All files</a> / <a href="index.html">src/core</a> function-pointer.js </h1> <div class='clearfix'> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Statements</span> <span class='fraction'>37/37</span> </div> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Branches</span> <span class='fraction'>16/16</span> </div> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Functions</span> <span class='fraction'>11/11</span> </div> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Lines</span> <span class='fraction'>37/37</span> </div> </div> </div> <div class='status-line high'></div> <pre><table class="coverage"> <tr><td class="line-count quiet">1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117</td><td class="line-coverage quiet"><span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">23x</span> <span class="cline-any cline-yes">23x</span> <span class="cline-any cline-yes">23x</span> <span class="cline-any cline-yes">23x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-yes">100x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">100x</span> <span class="cline-any cline-yes">4x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">96x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-yes">643x</span> <span class="cline-any cline-yes">643x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">643x</span> <span class="cline-any cline-yes">636x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">7x</span> <span class="cline-any cline-yes">3x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">7x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-yes">172x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">1x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">1x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-yes">260x</span> <span class="cline-any cline-yes">260x</span> <span class="cline-any cline-yes">260x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">260x</span> <span class="cline-any cline-yes">255x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">5x</span> <span class="cline-any cline-yes">5x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">5x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">6x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">5x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span></td><td class="text"><pre class="prettyprint lang-js">/** * Function pointer plugin. * Handles function pointer declaration and indirect calls. * * @flow */ import Syntax from 'walt-syntax'; import { find } from 'walt-parser-tools/scope'; import { extendNode } from '../utils/extend-node'; import { TYPE_INDEX, GLOBAL_INDEX, FUNCTION_INDEX, } from '../semantics/metadata'; import type { SemanticPlugin } from '../flow/types'; &nbsp; export default function functionPointer(): SemanticPlugin { return { semantics() { return { // Handle Table definitions [Syntax.ImmutableDeclaration]: next =&gt; function defineTable(args) { const [decl, context] = args; &nbsp; // Short circuit since memory is a special type of declaration if (!context.locals &amp;&amp; decl.type === 'Table') { return { ...decl, meta: { ...decl.meta, [GLOBAL_INDEX]: -1, }, }; } &nbsp; return next(args); }, [Syntax.Identifier]: next =&gt; function pointer(args) { const [node, context] = args; const { functions, table, scopes } = context; &nbsp; if (find(scopes, node.value) || !functions[node.value]) { return next(args); } &nbsp; if (table[node.value] == null) { table[node.value] = functions[node.value]; } return { ...node, type: 'i32', meta: { [FUNCTION_INDEX]: functions[node.value].meta[FUNCTION_INDEX], }, value: Object.keys(table).indexOf(node.value), Type: Syntax.FunctionPointer, }; }, [Syntax.FunctionResult]: next =&gt; (args, transform) =&gt; { const [node, context] = args; const { types } = context; if (!types[node.type]) { return next(args); } &nbsp; return next([ extendNode( { type: 'i32', meta: { ALIAS: node.type }, params: node.params.map(p =&gt; transform([p, context])), }, node ), context, ]); }, [Syntax.FunctionCall]: next =&gt; function indirectCall(args, transform) { const [call, context] = args; const { scopes, types } = context; const ref = find(scopes, call.value); // Nothing we need transform if (!ref) { return next(args); } &nbsp; const typedef = types[ref.type]; const typeIndex = Object.keys(types).indexOf(ref.type); &nbsp; // We will short all of the other middleware so transform the parameters // here and append an identifier which will be used to get the table // value const params = [ ...call.params.slice(1), { ...ref, Type: Syntax.Identifier }, ].map(p =&gt; transform([p, context])); &nbsp; return { ...call, meta: { ...call.meta, ...ref.meta, [TYPE_INDEX]: typeIndex, }, type: typedef != null ? typedef.type : call.type, params, Type: Syntax.IndirectFunctionCall, }; }, }; }, }; } &nbsp;</pre></td></tr> </table></pre> <div class='push'></div><!-- for sticky footer --> </div><!-- /wrapper --> <div class='footer quiet pad2 space-top1 center small'> Code coverage generated by <a href="https://istanbul.js.org/" target="_blank">istanbul</a> at Sun Dec 23 2018 17:46:36 GMT+0000 (UTC) </div> </div> <script src="../../prettify.js"></script> <script> window.onload = function () { if (typeof prettyPrint === 'function') { prettyPrint(); } }; </script> <script src="../../sorter.js"></script> </body> </html>