UNPKG

walt-compiler

Version:

Alternative syntax for WebAssembly text format

864 lines (863 loc) 24.5 kB
<!doctype html> <html lang="en"> <head> <title>Code coverage report for src/generator/index.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/generator</a> index.js </h1> <div class='clearfix'> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Statements</span> <span class='fraction'>106/106</span> </div> <div class='fl pad1y space-right2'> <span class="strong">96.88% </span> <span class="quiet">Branches</span> <span class='fraction'>31/32</span> </div> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Functions</span> <span class='fraction'>21/21</span> </div> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Lines</span> <span class='fraction'>104/104</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 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267</td><td class="line-coverage quiet"><span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-yes">21x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">21x</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-yes">21x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">21x</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">159x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">159x</span> <span class="cline-any cline-yes">159x</span> <span class="cline-any cline-yes">159x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">159x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">159x</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">104x</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">159x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">158x</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">76x</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> <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">76x</span> <span class="cline-any cline-yes">76x</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-yes">76x</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">76x</span> <span class="cline-any cline-yes">8x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">76x</span> <span class="cline-any cline-yes">159x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">159x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">241x</span> <span class="cline-any cline-yes">35x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">241x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">241x</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">76x</span> <span class="cline-any cline-yes">4x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">76x</span> <span class="cline-any cline-yes">76x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">78x</span> <span class="cline-any cline-yes">50x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">50x</span> <span class="cline-any cline-yes">27x</span> <span class="cline-any cline-yes">27x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">50x</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">50x</span> <span class="cline-any cline-yes">50x</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">22x</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-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-yes">3x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">87x</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">2x</span> <span class="cline-any cline-yes">2x</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">76x</span> <span class="cline-any cline-yes">50x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">128x</span> <span class="cline-any cline-yes">128x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">12x</span> <span class="cline-any cline-yes">12x</span> <span class="cline-any cline-yes">12x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">9x</span> <span class="cline-any cline-yes">9x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">3x</span> <span class="cline-any cline-yes">3x</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">131x</span> <span class="cline-any cline-yes">131x</span> <span class="cline-any cline-yes">27x</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">22x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">159x</span> <span class="cline-any cline-yes">159x</span> <span class="cline-any cline-yes">159x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">106x</span> <span class="cline-any cline-yes">106x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">53x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">159x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">4x</span> <span class="cline-any cline-yes">4x</span> <span class="cline-any cline-yes">4x</span> <span class="cline-any cline-yes">4x</span> <span class="cline-any cline-yes">3x</span> <span class="cline-any cline-yes">3x</span> <span class="cline-any cline-neutral">&nbsp;</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-yes">159x</span> <span class="cline-any cline-yes">159x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">159x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">159x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">158x</span> <span class="cline-any cline-yes">2x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">158x</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-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</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-neutral">&nbsp;</span> <span class="cline-any cline-yes">50x</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">21x</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-yes">76x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">75x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">75x</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">// @flow import invariant from 'invariant'; import Syntax from 'walt-syntax'; import walkNode from 'walt-parser-tools/walk-node'; import { mapNode } from 'walt-parser-tools/map-node'; import mapSyntax from './map-syntax'; import mergeBlock from './merge-block'; import generateElement from './element'; import generateExport from './export'; import generateMemory from './memory'; import generateTable from './table'; import generateInitializer from '../generator/initializer'; import generateImport from './import'; import generateType from './type'; import generateData from './generate-data'; import { generateValueType } from './utils'; import { generateImplicitFunctionType } from './type'; import { GLOBAL_INDEX, FUNCTION_INDEX, FUNCTION_METADATA, TYPE_INDEX, AST_METADATA, } from '../semantics/metadata'; &nbsp; import type { NodeType, GeneratorOptions } from '../flow/types'; import type { ProgramType, IntermediateOpcodeType, IntermediateVariableType, } from './flow/types'; const DATA_SECTION_HEADER_SIZE = 4; &nbsp; export const generateCode = ( func: NodeType ): { code: IntermediateOpcodeType[], locals: IntermediateVariableType[] } =&gt; { // eslint-disable-next-line const [argsNode, resultNode, ...body] = func.params; &nbsp; const metadata = func.meta[FUNCTION_METADATA]; invariant(body, 'Cannot generate code for function without body'); invariant(metadata, 'Cannot generate code for function without metadata'); &nbsp; const { locals, argumentsCount } = metadata; &nbsp; const block = { code: [], // On this Episode of ECMAScript Spec: Object own keys traversal! // Sometimes it pays to know the spec. Keys are traversed in the order // they are added to the object. This includes Object.keys. Because the AST is traversed // depth-first we can guarantee that arguments will also be added first // to the locals object. We can depend on the spec providing the keys, // such that we can slice away the number of arguments and get DECLARED locals _only_. locals: Object.keys(locals) .slice(argumentsCount) .map(key =&gt; generateValueType(locals[key])), debug: `Function ${func.value}`, }; &nbsp; block.code = body.map(mapSyntax(block)).reduce(mergeBlock, []); &nbsp; return block; }; &nbsp; function generator(ast: NodeType, config: GeneratorOptions): ProgramType { const program: ProgramType = { Version: config.version, Types: [], Start: [], Element: [], Code: [], Exports: [], Imports: [], Globals: [], Functions: [], Memory: [], Table: [], Artifacts: [], Data: [], Name: { module: config.filename, functions: [], locals: [], }, }; &nbsp; let { statics } = ast.meta[AST_METADATA]; if (config.linker != null) { statics = { ...config.linker.statics, ...statics, }; } const { map: staticsMap, data } = generateData( statics, DATA_SECTION_HEADER_SIZE ); if (Object.keys(statics).length &gt; 0) { program.Data = data; } &nbsp; const findTypeIndex = (functionNode: NodeType): number =&gt; { const search = generateImplicitFunctionType(functionNode); &nbsp; return program.Types.findIndex(t =&gt; { const paramsMatch = t.params.length === search.params.length &amp;&amp; t.params.reduce((a, v, i) =&gt; a &amp;&amp; v === search.params[i], true); &nbsp; const resultMatch = t.result === search.result; &nbsp; return paramsMatch &amp;&amp; resultMatch; }); }; &nbsp; const findTableIndex = functionIndex =&gt; program.Element.findIndex(n =&gt; n.functionIndex === functionIndex); &nbsp; const typeMap = {}; const astWithTypes = mapNode({ [Syntax.Typedef]: (node, _ignore) =&gt; { let typeIndex = program.Types.findIndex(({ id }) =&gt; id === node.value); let typeNode = program.Types[typeIndex]; &nbsp; if (typeNode == null) { typeIndex = program.Types.length; program.Types.push(generateType(node)); } &nbsp; typeNode = { ...node, meta: { ...node.meta, [TYPE_INDEX]: typeIndex }, }; typeMap[node.value] = { typeIndex, typeNode }; return typeNode; }, })( mapNode({ [Syntax.Import]: (node, _) =&gt; node, [Syntax.StringLiteral]: (node, _ignore) =&gt; { const { value } = node; &nbsp; // Don't replace any statics which are not mapped. For example table // definitions have StringLiterals, but these literals do not get converted. if (staticsMap[value] == null) { return node; } &nbsp; return { ...node, value: String(staticsMap[value]), Type: Syntax.Constant, }; }, [Syntax.StaticValueList]: node =&gt; { const { value } = node; return { ...node, value: String(staticsMap[value]), Type: Syntax.Constant, }; }, })(ast) ); &nbsp; const nodeMap = { [Syntax.Typedef]: (_, __) =&gt; _, [Syntax.Export]: node =&gt; { const [nodeToExport] = node.params; program.Exports.push(generateExport(nodeToExport)); }, [Syntax.ImmutableDeclaration]: node =&gt; { const globalMeta = node.meta[GLOBAL_INDEX]; <span class="missing-if-branch" title="else path not taken" >E</span>if (globalMeta != null) { switch (node.type) { case 'Memory': program.Memory.push(generateMemory(node)); break; case 'Table': program.Table.push(generateTable(node)); break; } } }, [Syntax.Declaration]: node =&gt; { const globalMeta = node.meta[GLOBAL_INDEX]; if (globalMeta != null) { program.Globals.push(generateInitializer(node)); } }, [Syntax.Import]: node =&gt; { program.Imports.push(...generateImport(node)); }, [Syntax.FunctionDeclaration]: node =&gt; { const typeIndex = (() =&gt; { const index = findTypeIndex(node); if (index === -1) { // attach to a type index program.Types.push(generateImplicitFunctionType(node)); return program.Types.length - 1; } &nbsp; return index; })(); &nbsp; const patched = mapNode({ FunctionPointer(pointer) { const metaFunctionIndex = pointer.meta[FUNCTION_INDEX]; const functionIndex = metaFunctionIndex; let tableIndex = findTableIndex(functionIndex); if (tableIndex &lt; 0) { tableIndex = program.Element.length; program.Element.push(generateElement(functionIndex)); } return pointer; }, })(node); &nbsp; // Quick fix for shifting around function indices. These don't necessarily // get written in the order they appear in the source code. const index = node.meta[FUNCTION_INDEX]; invariant(index != null, 'Function index must be set'); &nbsp; program.Functions[index] = typeIndex; // We will need to filter out the empty slots later program.Code[index] = generateCode(patched); &nbsp; if (patched.value === 'start') { program.Start.push(index); } &nbsp; if (config.encodeNames) { program.Name.functions.push({ index, name: node.value, }); const functionMetadata = node.meta[FUNCTION_METADATA]; if ( functionMetadata != null &amp;&amp; Object.keys(functionMetadata.locals).length ) { program.Name.locals[index] = { index, locals: Object.entries(functionMetadata.locals).map( ([name, local]: [string, any]) =&gt; { return { name, index: Number(local.meta['local/index']), }; } ), }; } } }, }; &nbsp; walkNode(nodeMap)(astWithTypes); &nbsp; // Unlike function indexes we need function bodies to be exact program.Code = program.Code.filter(Boolean); &nbsp; return program; } &nbsp; export default generator; &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>