UNPKG

walt-compiler

Version:

Alternative syntax for WebAssembly text format

411 lines (410 loc) 11.6 kB
<!doctype html> <html lang="en"> <head> <title>Code coverage report for src/core/array.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> array.js </h1> <div class='clearfix'> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Statements</span> <span class='fraction'>47/47</span> </div> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Branches</span> <span class='fraction'>18/18</span> </div> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Functions</span> <span class='fraction'>13/13</span> </div> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Lines</span> <span class='fraction'>46/46</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</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-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-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-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-yes">180x</span> <span class="cline-any cline-yes">209x</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">209x</span> <span class="cline-any cline-yes">199x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">10x</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">10x</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">40x</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">40x</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">40x</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">40x</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">40x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">40x</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-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-yes">636x</span> <span class="cline-any cline-yes">636x</span> <span class="cline-any cline-yes">636x</span> <span class="cline-any cline-yes">550x</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">86x</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-yes">100x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">100x</span> <span class="cline-any cline-yes">77x</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-neutral">&nbsp;</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-yes">23x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-yes">17x</span> <span class="cline-any cline-yes">17x</span> <span class="cline-any cline-yes">17x</span> <span class="cline-any cline-yes">17x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">17x</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-yes">16x</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-neutral">&nbsp;</span></td><td class="text"><pre class="prettyprint lang-js">/** * Array Plugin * * @flow */ import Syntax from 'walt-syntax'; import invariant from 'invariant'; import { find } from 'walt-parser-tools/scope'; import { extendNode } from '../utils/extend-node'; import withContext from '../utils/transform-with-context'; import pick from '../utils/pick'; import type { SemanticPlugin } from '../flow/types'; &nbsp; const shifts = { i32: 2, f32: 2, i64: 3, f64: 3 }; const NATIVE_ARRAY_TYPE = 'i32'; &nbsp; function semantics({ stmt }) { const declaration = next =&gt; args =&gt; { const [node, context] = args; &nbsp; // For every declaration of array types we will strip the declaration type // to a core type (i32) and attach the original type reference as metadata if (!String(node.type).endsWith('[]')) { return next(args); } &nbsp; const decl = extendNode( { type: NATIVE_ARRAY_TYPE, meta: { TYPE_ARRAY: node.type.slice(0, -2) }, }, node ); return next([decl, context]); }; &nbsp; function arrayOffset(base, offset) { const shift = shifts[base.meta.TYPE_ARRAY] || 2; &nbsp; // if (shift == null) { // return null; // } &nbsp; return offset.Type !== Syntax.Constant || Number(offset.value) ? stmt`(${base} + (${offset} &lt;&lt; ${shift}));` : stmt`(${base});`; } &nbsp; function sanityCheck(subscript) { return !(subscript.type == null || subscript.index == null); } &nbsp; function produceSubscript([base, offset]) { let type = base.meta.TYPE_ARRAY; // if (context.userTypes[type]) { // type = 'i32'; // } const index = arrayOffset(base, offset); &nbsp; return { type, index, TYPE_ARRAY: base.meta.TYPE_ARRAY }; } &nbsp; return { [Syntax.Declaration]: declaration, [Syntax.ImmutableDeclaration]: declaration, [Syntax.Identifier]: next =&gt; args =&gt; { const [node, context] = args; const ref = find(context.scopes, node.value); if (!(ref &amp;&amp; ref.meta.TYPE_ARRAY)) { return next(args); } &nbsp; // Before moving on to the core parser all identifiers need to have // concrete basic types return next([extendNode(pick(['type', 'meta'], ref), node), context]); }, [Syntax.Assignment]: next =&gt; (args, t) =&gt; { const [node, context] = args; const [lhs, rhs] = node.params; &nbsp; if (lhs.Type !== Syntax.ArraySubscript) { return next(args); } &nbsp; const transform = withContext(t, context); const subscript = produceSubscript(lhs.params.map(transform)); const { type, index } = subscript; &nbsp; invariant( sanityCheck(subscript), `PANIC - Cannot assign to subscript of ${lhs.value}` ); &nbsp; return transform(stmt`${type}.store(${index}, ${rhs});`); }, [Syntax.ArraySubscript]: next =&gt; (args, t) =&gt; { const [node, context] = args; const transform = withContext(t, context); const subscript = produceSubscript(node.params.map(transform)); const { type, index, TYPE_ARRAY } = subscript; &nbsp; if (!sanityCheck(subscript)) { return next(args); } &nbsp; return extendNode( { meta: { TYPE_ARRAY } }, transform(stmt`${type}.load(${index});`) ); }, }; } export default function arrayPlugin(): SemanticPlugin { return { semantics }; } &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>