[wasm] Binary 0xD: update encoding of opcodes, types, and add immediates.

test/mjsunit/wasm/indirect-calls.js

 // Copyright 2015 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
 
 load("test/mjsunit/wasm/wasm-constants.js");
 load("test/mjsunit/wasm/wasm-module-builder.js");
 
 var module = (function () {
   var builder = new WasmModuleBuilder();
 
   var sig_index = builder.addType(kSig_i_ii);
   builder.addImport("add", sig_index);
   builder.addFunction("add", sig_index)
     .addBody([
       kExprGetLocal, 0, kExprGetLocal, 1, kExprCallFunction, 0
     ]);
   builder.addFunction("sub", sig_index)
     .addBody([
       kExprGetLocal, 0,             // --
       kExprGetLocal, 1,             // --
       kExprI32Sub,                  // --
     ]);
   builder.addFunction("main", kSig_i_iii)
     .addBody([
       kExprGetLocal, 1,
       kExprGetLocal, 2,
       kExprGetLocal, 0,
-      kExprCallIndirect, sig_index
+      kExprCallIndirect, kTableZero, sig_index
     ])
     .exportFunc()
   builder.appendToTable([1, 2, 3]);
 
   return builder.instantiate({add: function(a, b) { return a + b | 0; }});
 })();
 
 // Check the module exists.
 assertFalse(module === undefined);
 assertFalse(module === null);
@@ skipping 23 matching lines @@
   var popcnt = builder.addFunction("popcnt", sig_i_i)
     .addBody([
       kExprGetLocal, 0,  // --
       kExprI32Popcnt     // --
     ]);
   var main = builder.addFunction("main", kSig_i_iii)
     .addBody([
       kExprGetLocal, 1,
       kExprGetLocal, 2,
       kExprGetLocal, 0,
-      kExprCallIndirect, sig_i_ii
+      kExprCallIndirect, kTableZero, sig_i_ii
     ])
     .exportFunc()
   builder.appendToTable([mul.index, add.index, popcnt.index, main.index]);
 
   return builder.instantiate({mul: function(a, b) { return a * b | 0; }});
 })();
 
 assertEquals(-6, module.exports.main(0, -2, 3));
 assertEquals(99, module.exports.main(1, 22, 77));
 assertTraps(kTrapFuncSigMismatch, "module.exports.main(2, 12, 33)");
@@ skipping 20 matching lines @@
     .addBody([
       kExprGetLocal, 0,  // --
       kExprGetLocal, 1,  // --
       kExprI32Sub        // --
     ]);
   builder.addFunction("main", kSig_i_ii)
     .addBody([
       kExprI32Const, 33,  // --
       kExprGetLocal, 0,   // --
       kExprGetLocal, 1,   // --
-      kExprCallIndirect, 0])  // --
+      kExprCallIndirect, kTableZero, 0])  // --
     .exportAs("main");
 
   builder.appendToTable([mul.index, add.index, sub.index]);
 
   return builder.instantiate();
 })();
 
 assertEquals(33, module.exports.main(1, 0));
 assertEquals(66, module.exports.main(2, 0));
 assertEquals(34, module.exports.main(1, 1));
@@ skipping 23 matching lines @@
         .addBody([
           kExprGetLocal, 0,  // --
           kExprGetLocal, 1,  // --
           kExprI32Sub        // --
         ]);
     builder.addFunction("main", kSig_i_ii)
       .addBody([
         kExprI32Const, 33,  // --
         kExprGetLocal, 0,   // --
         kExprGetLocal, 1,   // --
-        kExprCallIndirect, 0])  // --
+        kExprCallIndirect, kTableZero, 0])  // --
       .exportAs("main");
 
     builder.setFunctionTableLength(length);
     builder.addFunctionTableInit(base, false, [add.index, sub.index, mul.index]);
 
     return builder.instantiate();
   }
 
   for (var i = 0; i < 5; i++) {
     print(" base = " + i);
@@ skipping 33 matching lines @@
       .addBody([
         kExprGetLocal, 0,  // --
         kExprGetLocal, 1,  // --
         kExprI32Sub        // --
       ]);
   builder.addFunction("main", kSig_i_ii)
     .addBody([
       kExprI32Const, 33,  // --
       kExprGetLocal, 0,   // --
       kExprGetLocal, 1,   // --
-      kExprCallIndirect, 0])  // --
+      kExprCallIndirect, kTableZero, 0])  // --
     .exportAs("main");
 
   builder.setFunctionTableLength(10);
   var g = builder.addImportedGlobal("base", undefined, kAstI32);
   builder.addFunctionTableInit(g, true, [mul.index, add.index, sub.index]);
 
   var module = new WebAssembly.Module(builder.toBuffer());
 
   for (var i = 0; i < 5; i++) {
     print(" base = " + i);
     var instance = new WebAssembly.Instance(module, {base: i});
     main = instance.exports.main;
     for (var j = 0; j < i; j++) {
       assertTraps(kTrapFuncSigMismatch, "main(12, " + j + ")");
     }
     assertEquals(33, main(1, i + 0));
     assertEquals(66, main(2, i + 0));
     assertEquals(34, main(1, i + 1));
     assertEquals(35, main(2, i + 1));
     assertEquals(32, main(1, i + 2));
     assertEquals(31, main(2, i + 2));
     assertTraps(kTrapFuncInvalid, "main(12, 10)");
   }
 })();