Index: test/mjsunit/wasm/test-import-export-wrapper.js |
diff --git a/test/mjsunit/wasm/test-import-export-wrapper.js b/test/mjsunit/wasm/test-import-export-wrapper.js |
new file mode 100644 |
index 0000000000000000000000000000000000000000..e180611818b3a2f5272f321169e215fa3502800f |
--- /dev/null |
+++ b/test/mjsunit/wasm/test-import-export-wrapper.js |
@@ -0,0 +1,241 @@ |
+// Copyright 2016 the V8 project authors. All rights reserved. |
+// Use of this source code is governed by a BSD-style license that can be |
+// found in the LICENSE file. |
+ |
+// Flags: --expose-wasm --allow-natives-syntax |
+ |
+load("test/mjsunit/wasm/wasm-constants.js"); |
+load("test/mjsunit/wasm/wasm-module-builder.js"); |
+ |
+var expect_elison = 0; |
+var expect_no_elison = 1; |
+// function calls stack: first_export -> first_func -> first_import -> |
+// second_export -> second_import |
+// In this case, first_import and second_export have same signature, |
+// So that wrappers will be removed |
+(function TestWasmWrapperElision() { |
+ var imported = function (a) { |
+ return a; |
+ }; |
+ |
+ var second_module = new WasmModuleBuilder(); |
+ var sig_index = second_module.addType(kSig_i_i); |
+ second_module |
+ .addImportWithModule("import_module_2", "import_name_2", sig_index); |
+ second_module |
+ .addFunction("second_export", sig_index) |
+ .addBody([ |
+ kExprGetLocal, 0, |
+ kExprCallImport, kArity1, 0, |
+ kExprReturn, kArity1 |
+ ]) |
+ .exportFunc(); |
+ |
+ var first_module = new WasmModuleBuilder(); |
+ var sig_index = first_module.addType(kSig_i_i); |
+ first_module |
+ .addImportWithModule("import_module_1", "import_name_1", sig_index); |
+ first_module |
+ .addFunction("first_export", sig_index) |
+ .addBody([ |
+ kExprGetLocal, 0, |
+ kExprCallFunction, kArity1, 1, |
+ kExprReturn, kArity1 |
+ ]) |
+ .exportFunc(); |
+ first_module |
+ .addFunction("first_func", sig_index) |
+ .addBody([ |
+ kExprI32Const, 1, |
+ kExprGetLocal, 0, |
+ kExprI32Add, |
+ kExprCallImport, kArity1, 0, |
+ kExprReturn, kArity1 |
+ ]); |
+ |
+ var f = second_module |
+ .instantiate({import_module_2: {import_name_2: imported}}) |
+ .exports.second_export; |
+ var the_export = first_module |
+ .instantiate({import_module_1: {import_name_1: f}}) |
+ .exports.first_export; |
+ assertEquals(the_export(2), 3); |
+ assertEquals(the_export(-1), 0); |
+ assertEquals(the_export(0), 1); |
+ assertEquals(the_export(5.5), 6); |
+ assertEquals(%CheckWasmWrapperElision(the_export, expect_elison), true); |
+})(); |
+ |
+// function calls stack: first_export -> first_func -> first_import -> |
+// second_export -> second_import |
+// In this case, second_export has less params than first_import, |
+// So that wrappers will not be removed |
+(function TestWasmWrapperNoElisionLessParams() { |
+ var imported = function (a) { |
+ return a; |
+ }; |
+ |
+ var second_module = new WasmModuleBuilder(); |
+ var sig_index_1 = second_module.addType(kSig_i_i); |
+ second_module |
+ .addImportWithModule("import_module_2", "import_name_2", sig_index_1); |
+ second_module |
+ .addFunction("second_export", sig_index_1) |
+ .addBody([ |
+ kExprGetLocal, 0, |
+ kExprCallImport, kArity1, 0, |
+ kExprReturn, kArity1 |
+ ]) |
+ .exportFunc(); |
+ |
+ var first_module = new WasmModuleBuilder(); |
+ var sig_index_2 = first_module.addType(kSig_i_ii); |
+ first_module |
+ .addImportWithModule("import_module_1", "import_name_1", sig_index_2); |
+ first_module |
+ .addFunction("first_export", sig_index_2) |
+ .addBody([ |
+ kExprGetLocal, 0, |
+ kExprGetLocal, 1, |
+ kExprCallFunction, kArity2, 1, |
+ kExprReturn, kArity1 |
+ ]) |
+ .exportFunc(); |
+ first_module |
+ .addFunction("first_func", sig_index_2) |
+ .addBody([ |
+ kExprGetLocal, 0, |
+ kExprGetLocal, 1, |
+ kExprCallImport, kArity2, 0, |
+ kExprReturn, kArity1 |
+ ]); |
+ |
+ var f = second_module |
+ .instantiate({import_module_2: {import_name_2: imported}}) |
+ .exports.second_export; |
+ var the_export = first_module |
+ .instantiate({import_module_1: {import_name_1: f}}) |
+ .exports.first_export; |
+ assertEquals(the_export(4, 5), 4); |
+ assertEquals(the_export(-1, 4), -1); |
+ assertEquals(the_export(0, 2), 0); |
+ assertEquals(the_export(9.9, 4.3), 9); |
+ assertEquals(%CheckWasmWrapperElision(the_export, expect_no_elison), true); |
+})(); |
+ |
+// function calls stack: first_export -> first_func -> first_import -> |
+// second_export -> second_import |
+// In this case, second_export has more params than first_import, |
+// So that wrappers will not be removed |
+(function TestWasmWrapperNoElisionMoreParams() { |
+ var imported = function (a, b, c) { |
+ return a+b+c; |
+ }; |
+ |
+ var second_module = new WasmModuleBuilder(); |
+ var sig_index_3 = second_module.addType(kSig_i_iii); |
+ second_module |
+ .addImportWithModule("import_module_2", "import_name_2", sig_index_3); |
+ second_module |
+ .addFunction("second_export", sig_index_3) |
+ .addBody([ |
+ kExprGetLocal, 0, |
+ kExprGetLocal, 1, |
+ kExprGetLocal, 2, |
+ kExprCallImport, kArity3, 0, |
+ kExprReturn, kArity1 |
+ ]) |
+ .exportFunc(); |
+ |
+ var first_module = new WasmModuleBuilder(); |
+ var sig_index_2 = first_module.addType(kSig_i_ii); |
+ first_module |
+ .addImportWithModule("import_module_1", "import_name_1", sig_index_2); |
+ first_module |
+ .addFunction("first_export", sig_index_2) |
+ .addBody([ |
+ kExprGetLocal, 0, |
+ kExprGetLocal, 1, |
+ kExprCallFunction, kArity2, 1, |
+ kExprReturn, kArity1 |
+ ]) |
+ .exportFunc(); |
+ first_module |
+ .addFunction("first_func", sig_index_2) |
+ .addBody([ |
+ kExprGetLocal, 0, |
+ kExprGetLocal, 1, |
+ kExprCallImport, kArity2, 0, |
+ kExprReturn, kArity1 |
+ ]); |
+ |
+ var f = second_module |
+ .instantiate({import_module_2: {import_name_2: imported}}) |
+ .exports.second_export; |
+ var the_export = first_module |
+ .instantiate({import_module_1: {import_name_1: f}}) |
+ .exports.first_export; |
+ assertEquals(the_export(5, 6), 11); |
+ assertEquals(the_export(-1, -4), -5); |
+ assertEquals(the_export(0, 0), 0); |
+ assertEquals(the_export(1.1, 2.7), 3); |
+ assertEquals(%CheckWasmWrapperElision(the_export, expect_no_elison), true); |
+})(); |
+ |
+// function calls stack: first_export -> first_func -> first_import -> |
+// second_export -> second_import |
+// In this case, second_export has different params type with first_import, |
+// So that wrappers will not be removed |
+(function TestWasmWrapperNoElisionTypeMismatch() { |
+ var imported = function (a, b) { |
+ return a+b; |
+ }; |
+ |
+ var second_module = new WasmModuleBuilder(); |
+ var sig_index_2 = second_module.addType(kSig_d_dd); |
+ second_module |
+ .addImportWithModule("import_module_2", "import_name_2", sig_index_2); |
+ second_module |
+ .addFunction("second_export", sig_index_2) |
+ .addBody([ |
+ kExprGetLocal, 0, |
+ kExprGetLocal, 1, |
+ kExprCallImport, kArity2, 0, |
+ kExprReturn, kArity1 |
+ ]) |
+ .exportFunc(); |
+ |
+ var first_module = new WasmModuleBuilder(); |
+ var sig_index_2 = first_module.addType(kSig_i_ii); |
+ first_module |
+ .addImportWithModule("import_module_1", "import_name_1", sig_index_2); |
+ first_module |
+ .addFunction("first_export", sig_index_2) |
+ .addBody([ |
+ kExprGetLocal, 0, |
+ kExprGetLocal, 1, |
+ kExprCallFunction, kArity2, 1, |
+ kExprReturn, kArity1 |
+ ]) |
+ .exportFunc(); |
+ first_module |
+ .addFunction("first_func", sig_index_2) |
+ .addBody([ |
+ kExprGetLocal, 0, |
+ kExprGetLocal, 1, |
+ kExprCallImport, kArity2, 0, |
+ kExprReturn, kArity1 |
+ ]); |
+ |
+ var f = second_module |
+ .instantiate({import_module_2: {import_name_2: imported}}) |
+ .exports.second_export; |
+ var the_export = first_module |
+ .instantiate({import_module_1: {import_name_1: f}}) |
+ .exports.first_export; |
+ assertEquals(the_export(2.8, 9.1), 11); |
+ assertEquals(the_export(-1.7, -2.5), -3); |
+ assertEquals(the_export(0.0, 0.0), 0); |
+ assertEquals(the_export(2, -2), 0); |
+ assertEquals(%CheckWasmWrapperElision(the_export, expect_no_elison), true); |
+})(); |