Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 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 | |
| 7 | load("test/mjsunit/wasm/wasm-constants.js"); |
| 8 | |
| 9 | try { |
| 10 | var data = bytes( |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 11 | kWasmFunctionTypeForm, 0, kAstStmt, // signature |
| 12 | kDeclNoLocals, // -- |
| 13 | kExprNop // body |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 14 | ); |
| 15 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 16 | Wasm.verifyFunction(data); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 17 | print("ok"); |
| 18 | } catch (e) { |
| 19 | assertTrue(false); |
| 20 | } |
| 21 | |
| 22 | |
| 23 | var threw = false; |
| 24 | try { |
| 25 | var data = bytes( |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 26 | kWasmFunctionTypeForm, 0, 1, kAstI32, // signature |
| 27 | kDeclNoLocals, // -- |
| 28 | kExprBlock, kExprNop, kExprNop, kExprEnd // body |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 29 | ); |
| 30 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 31 | Wasm.verifyFunction(data); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 32 | print("not ok"); |
| 33 | } catch (e) { |
| 34 | print("ok: " + e); |
| 35 | threw = true; |
| 36 | } |
| 37 | |
| 38 | assertTrue(threw); |