From f7114571dae9cd265a57258955e7e883d6a67f09 Mon Sep 17 00:00:00 2001 From: Luke Wagner Date: Thu, 30 Apr 2015 21:48:25 -0500 Subject: Add links to new docs in v1 doc --- V1.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/V1.md b/V1.md index 6f09923..1b65612 100644 --- a/V1.md +++ b/V1.md @@ -5,11 +5,10 @@ Minimum Viable Product, basically on par with [asm.js](http://asmjs.org/) in ter of functionality. This means that there are important features we *know* we want and need, but are post-v.1; these are in a separate [essential post-v.1 features doc](EssentialPostV1Features.md). -This document explains the contents of v.1 at a high-level. There are also separate docs for -low-level and precise descriptions of: - * [binary encoding](TODO.md) - * [text assembly language](TODO.md) - * [opcode semantics](TODO.md) +This document explains the contents of v.1 at a high-level. There are also separate docs with more +precise descriptions of: + * the [AST semantics](AstSemantics.md) + * the [binary encoding](BinaryEncoding.md) ## Module structure * At the top level, a module is ELF-like: a squence of sections which declare their type and byte-length. @@ -38,7 +37,7 @@ low-level and precise descriptions of: [relooping](http://mozakai.blogspot.com/2012/05/reloop-all-blocks.html) algorithm. * The [signature-restricted proper tail-call](https://github.com/WebAssembly/spec/blob/master/EssentialPostV1Features.md#signature-restricted-proper-tail-calls) feature would allow efficient compilation of irreducible control flow. - * For specific details about the nodes of the AST, see the [opcode semantics](TODO.md). + * See the [AST Semantics](AstSemantics.md) for descriptions of individual AST nodes. ## Binary format * This is the format natively decoded by the browser. @@ -55,6 +54,7 @@ low-level and precise descriptions of: decoding the binary format is about 23x faster than parsing the corresponding asm.js source (using [this demo](https://github.com/lukewagner/AngryBotsPacked), comparing *just* parsing in SpiderMonkey (no validation, IR generation) to *just* decoding in the polyfill (no asm.js code generation). +* See the [Binary Encoding](BinaryEncoding.md) for more precise description. ## Text format * The purpose of this format is to support: -- cgit v1.2.3