• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1// Copyright 2015 the V8 project authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5// Flags: --expose-wasm
6
7load("test/mjsunit/wasm/wasm-constants.js");
8
9try {
10  var data = bytes(
11      0,       kAstStmt,  // signature
12      3,       0,         // local int32 count
13      4,       0,         // local int64 count
14      5,       0,         // local float32 count
15      6,       0,         // local float64 count
16      kExprNop            // body
17  );
18
19  _WASMEXP_.verifyFunction(data);
20  print("ok");
21} catch (e) {
22  assertTrue(false);
23}
24
25
26var threw = false;
27try {
28  var data = bytes(
29      0,       kAstI32,   // signature
30      2,       0,         // local int32 count
31      3,       0,         // local int64 count
32      4,       0,         // local float32 count
33      5,       0,         // local float64 count
34      kExprBlock, 2, kExprNop, kExprNop  // body
35  );
36
37  _WASMEXP_.verifyFunction(data);
38  print("not ok");
39} catch (e) {
40  print("ok: " + e);
41  threw = true;
42}
43
44assertTrue(threw);
45