diff options
author | Alon Zakai <alonzakai@gmail.com> | 2016-10-11 17:16:43 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2016-10-11 17:16:43 -0700 |
commit | 0f42a9d1d43dcffc76cd816725f278ed8cf28702 (patch) | |
tree | 1355152a3fbc698a0a2cd224c99e415f08ba4a83 /src/js | |
parent | 859686c79388b5c34022a8bf8d7794480c9ad2bd (diff) | |
download | binaryen-0f42a9d1d43dcffc76cd816725f278ed8cf28702.tar.gz binaryen-0f42a9d1d43dcffc76cd816725f278ed8cf28702.tar.bz2 binaryen-0f42a9d1d43dcffc76cd816725f278ed8cf28702.zip |
handle memory growth with native wasm support: the result of grow_memory tells us if it succeeded, and then the new buffer can be found on the Memory object
Diffstat (limited to 'src/js')
-rw-r--r-- | src/js/wasm.js-post.js | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/src/js/wasm.js-post.js b/src/js/wasm.js-post.js index f093ff64d..a4bc35f97 100644 --- a/src/js/wasm.js-post.js +++ b/src/js/wasm.js-post.js @@ -269,8 +269,18 @@ function integrateWasmJS(Module) { Module['reallocBuffer'] = function(size) { size = Math.ceil(size / wasmPageSize) * wasmPageSize; // round up to wasm page size var old = Module['buffer']; - exports['__growWasmMemory'](size / wasmPageSize); // tiny wasm method that just does grow_memory - return Module['buffer'] !== old ? Module['buffer'] : null; // if it was reallocated, it changed + var result = exports['__growWasmMemory'](size / wasmPageSize); // tiny wasm method that just does grow_memory + if (Module["usingWasm"]) { + if (result !== (-1 | 0)) { + // success in native wasm memory growth, get the buffer from the memory + return Module['buffer'] = Module['wasmMemory'].buffer; + } else { + return null; + } + } else { + // in interpreter, we replace Module.buffer if we allocate + return Module['buffer'] !== old ? Module['buffer'] : null; // if it was reallocated, it changed + } }; // Provide an "asm.js function" for the application, called to "link" the asm.js module. We instantiate |