aboutsummaryrefslogtreecommitdiff
path: root/AstSemantics.md
diff options
context:
space:
mode:
authorJF Bastien <github@jfbastien.com>2015-06-12 17:46:20 +0200
committerJF Bastien <github@jfbastien.com>2015-06-12 17:46:20 +0200
commit4cb469bdd1eaaaf0ee6c54b69e10da48823fccc1 (patch)
tree4665344a6000b6df9f3f5784f19cf050f3cad220 /AstSemantics.md
parent5cac0f67e2704c84e55e76c76ba96c3e09173892 (diff)
parente47c672a80a2e159e1b01779f33062894e62d85b (diff)
downloadnanowasm-design-4cb469bdd1eaaaf0ee6c54b69e10da48823fccc1.tar.gz
Merge pull request #153 from WebAssembly/postmvp
Short document name bikeshed.
Diffstat (limited to 'AstSemantics.md')
-rw-r--r--AstSemantics.md6
1 files changed, 3 insertions, 3 deletions
diff --git a/AstSemantics.md b/AstSemantics.md
index 05d2092..f295559 100644
--- a/AstSemantics.md
+++ b/AstSemantics.md
@@ -130,7 +130,7 @@ which leads to the following advantages:
splitting, which can reduce throughput overhead, at the cost of increasing
code size (potentially very significantly in pathological cases).
* The
- [signature-restricted proper tail-call](EssentialPostMVPFeatures.md#signature-restricted-proper-tail-calls)
+ [signature-restricted proper tail-call](PostMVP.md#signature-restricted-proper-tail-calls)
feature would allow efficient compilation of arbitrary irreducible control
flow.
@@ -158,12 +158,12 @@ to easily be folded into the hardware load instruction *and* for groups of loads
with the same base and different offsets to easily share a single bounds check.
In the MVP, the indices are 32-bit unsigned integers. With
-[64-bit integers](EssentialPostMVPFeatures.md#64-bit-integers) and
+[64-bit integers](PostMVP.md#64-bit-integers) and
[>4GiB heaps](FutureFeatures.md#heaps-bigger-than-4gib), these nodes would also
accept 64-bit unsigned integers.
In the MVP, heaps are not shared between threads. When
-[threads](EssentialPostMVPFeatures.md#threads) are added as a feature, the basic
+[threads](PostMVP.md#threads) are added as a feature, the basic
`LoadHeap`/`StoreHeap` nodes will have the most relaxed semantics specified in
the memory model and new heap-access nodes will be added with atomic and
ordering guarantees.