[wasm] Patch trapping position into stack trace

test/mjsunit/wasm/trap-location.js

+// 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
+
+load("test/mjsunit/wasm/wasm-constants.js");
+load("test/mjsunit/wasm/wasm-module-builder.js");
+
+// Collect the Callsite objects instead of just a string:
+Error.prepareStackTrace = function(error, frames) {
+  return frames;
+};
+
+var builder = new WasmModuleBuilder();
+
+var sig_index = builder.addSignature([kAstI32])
+
+// Build a function to resemble this code:
+//   if (idx < 2) {
+//     return load(-2 / idx);
+//   } else if (idx == 2) {
+//     unreachable;
+//   } else {
+//     return call_indirect(idx);
+//   }
+// There are four different traps which are triggered by different input values:
+// (0) division by zero; (1) mem oob; (2) unreachable; (3) invalid call target
+// Each of them also has a different location where it traps.
+builder.addFunction("main", [kAstI32, kAstI32])
+  .addBody([
+      // offset 1
+      kExprBlock, 3,
+        // offset 3
+        kExprIf, kExprI32LtU, kExprGetLocal, 0, kExprI32Const, 2,
+          // offset 9
+          kExprBlock, 2,
+            // offset 11
+            kExprI32LoadMem, 0, 0,
+              // offset 14
+              kExprI32DivU,
+                kExprI32Const, 0x7e /* -2 */,
+                kExprGetLocal, 0,
+            kExprBr, 1, kExprI32Const, 0,
+        // offset 23
+        kExprIf, kExprI32Eq, kExprGetLocal, 0, kExprI32Const, 2,
+          // offset 29
+          kExprUnreachable,
+        // offset 30
+        kExprCallIndirect, sig_index, kExprGetLocal, 0,
+  ])
+  .exportAs("main");
+
+var module = builder.instantiate();
+
+function testWasmTrap(value, reason, position) {
+  try {
+    module.exports.main(value);
+    fail("expected wasm exception");
+  } catch (e) {
+    assertEquals(kTrapMsgs[reason], e.message, "trap reason");
+    assertEquals(3, e.stack.length, "number of frames");
+    assertTrue(e.stack[0].isWasm(), "isWasm");
+    assertEquals(0, e.stack[0].getWasmFunctionIndex(), "wasmFunctionIndex");
+    assertEquals(position, e.stack[0].getPosition(), "position");
+    for (i = 1; i < 3; ++i)
+      assertFalse(e.stack[i].isWasm(), "isWasm");
+  }
+}
+
+// The actual tests:
+testWasmTrap(0, kTrapDivByZero,      14);
+testWasmTrap(1, kTrapMemOutOfBounds, 11);
+testWasmTrap(2, kTrapUnreachable,    29);
+testWasmTrap(3, kTrapFuncInvalid,    30);