diff options
Diffstat (limited to 'scripts/wasm2js.js')
-rw-r--r-- | scripts/wasm2js.js | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/wasm2js.js b/scripts/wasm2js.js index edd7eeeb9..1d09c193a 100644 --- a/scripts/wasm2js.js +++ b/scripts/wasm2js.js @@ -130,6 +130,14 @@ var asmLibraryArg = { console.log('get_f64 ' + [loc, index, value]); return value; }, + get_anyref: function(loc, index, value) { + console.log('get_anyref ' + [loc, index, value]); + return value; + }, + get_exnref: function(loc, index, value) { + console.log('get_exnref ' + [loc, index, value]); + return value; + }, set_i32: function(loc, index, value) { console.log('set_i32 ' + [loc, index, value]); return value; @@ -147,6 +155,14 @@ var asmLibraryArg = { console.log('set_f64 ' + [loc, index, value]); return value; }, + set_anyref: function(loc, index, value) { + console.log('set_anyref ' + [loc, index, value]); + return value; + }, + set_exnref: function(loc, index, value) { + console.log('set_exnref ' + [loc, index, value]); + return value; + }, load_ptr: function(loc, bytes, offset, ptr) { console.log('load_ptr ' + [loc, bytes, offset, ptr]); return ptr; |