trap-location.js 2.75 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13
// 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-module-builder.js");

// Collect the Callsite objects instead of just a string:
Error.prepareStackTrace = function(error, frames) {
  return frames;
};

14 15
function testTrapLocations(instance, expected_stack_length) {
  function testWasmTrap(value, reason, position) {
16
    let function_name = arguments.callee.name;
17 18 19 20 21
    try {
      instance.exports.main(value);
      fail('expected wasm exception');
    } catch (e) {
      assertEquals(kTrapMsgs[reason], e.message, 'trap reason');
22 23 24 25
      // Check that the trapping function is the one which was called from this
      // function.
      assertTrue(
          e.stack[1].toString().startsWith(function_name), 'stack depth');
26 27 28 29
      assertEquals(0, e.stack[0].getLineNumber(), 'wasmFunctionIndex');
      assertEquals(position, e.stack[0].getPosition(), 'position');
    }
  }
30

31 32 33 34 35 36
  // The actual tests:
  testWasmTrap(0, kTrapDivByZero, 14);
  testWasmTrap(1, kTrapMemOutOfBounds, 15);
  testWasmTrap(2, kTrapUnreachable, 28);
  testWasmTrap(3, kTrapFuncInvalid, 32);
}
37

38 39
var builder = new WasmModuleBuilder();
builder.addMemory(0, 1, false);
rossberg's avatar
rossberg committed
40
var sig_index = builder.addType(kSig_i_v)
41 42 43 44 45 46 47 48 49 50 51 52 53 54 55

// 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", kSig_i_i)
  .addBody([
      // offset 1
56
        kExprBlock, kWasmI32,
57
            kExprLocalGet, 0,
58 59
            kExprI32Const, 2,
          kExprI32LtU,
60
        kExprIf, kWasmStmt,
61
        // offset 9
62
              kExprI32Const, 0x7e /* -2 */,
63
              kExprLocalGet, 0,
64
            kExprI32DivU,
65
          // offset 15
66
          kExprI32LoadMem, 0, 0,
67
          kExprBr, 1,
68
        kExprEnd,
69
        // offset 21
70
            kExprLocalGet, 0,
71 72
            kExprI32Const, 2,
          kExprI32Eq,
73
        kExprIf, kWasmStmt,
74 75
          kExprUnreachable,
        kExprEnd,
76
        // offset 30
77
        kExprLocalGet, 0,
78
        kExprCallIndirect, sig_index, kTableZero,
79 80 81
      kExprEnd,
  ])
  .exportAs("main");
82
builder.appendToTable([0]);
83

84
let buffer = builder.toBuffer();
85

86
// Test async compilation and instantiation.
87
assertPromiseResult(WebAssembly.instantiate(buffer), pair => {
88
  testTrapLocations(pair.instance, 5);
89
});
90

91 92
// Test sync compilation and instantiation.
testTrapLocations(builder.instantiate(), 4);