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 --expose-gc --allow-natives-syntax |
| 6 | |
| 7 | load("test/mjsunit/wasm/wasm-constants.js"); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 8 | load("test/mjsunit/wasm/wasm-module-builder.js"); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 9 | |
| 10 | function assertTraps(code, msg) { |
| 11 | var threwException = true; |
| 12 | try { |
| 13 | if (typeof code === 'function') { |
| 14 | code(); |
| 15 | } else { |
| 16 | eval(code); |
| 17 | } |
| 18 | threwException = false; |
| 19 | } catch (e) { |
| 20 | if (typeof type_opt === 'function') { |
| 21 | assertInstanceof(e, type_opt); |
| 22 | } |
| 23 | if (arguments.length >= 3) { |
| 24 | assertEquals(e.type, cause_opt); |
| 25 | } |
| 26 | // Success. |
| 27 | return; |
| 28 | } |
| 29 | throw new MjsUnitAssertionError("Did not throw exception"); |
| 30 | } |
| 31 | |
| 32 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 33 | function makeBinop(opcode) { |
| 34 | var builder = new WasmModuleBuilder(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 35 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 36 | builder.addFunction("main", [kAstI32, kAstI32, kAstI32]) |
| 37 | .addBody([opcode, kExprGetLocal, 0, kExprGetLocal, 1]) |
| 38 | .exportFunc(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 39 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 40 | return builder.instantiate().exports.main; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 41 | } |
| 42 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 43 | var divs = makeBinop(kExprI32DivS); |
| 44 | var divu = makeBinop(kExprI32DivU); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 45 | |
| 46 | assertEquals( 33, divs( 333, 10)); |
| 47 | assertEquals(-33, divs(-336, 10)); |
| 48 | |
| 49 | assertEquals( 44, divu( 445, 10)); |
| 50 | assertEquals(429496685, divu(-446, 10)); |
| 51 | |
| 52 | assertTraps(kTrapDivByZero, "divs(100, 0);"); |
| 53 | assertTraps(kTrapDivByZero, "divs(-1009, 0);"); |
| 54 | |
| 55 | assertTraps(kTrapDivByZero, "divu(200, 0);"); |
| 56 | assertTraps(kTrapDivByZero, "divu(-2009, 0);"); |
| 57 | |
| 58 | assertTraps(kTrapDivUnrepresentable, "divs(0x80000000, -1)"); |
| 59 | assertEquals(0, divu(0x80000000, -1)); |
| 60 | |
| 61 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame^] | 62 | var rems = makeBinop(kExprI32RemS); |
| 63 | var remu = makeBinop(kExprI32RemU); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 64 | |
| 65 | assertEquals( 3, rems( 333, 10)); |
| 66 | assertEquals(-6, rems(-336, 10)); |
| 67 | |
| 68 | assertEquals( 5, remu( 445, 10)); |
| 69 | assertEquals( 3, remu(-443, 10)); |
| 70 | |
| 71 | assertTraps(kTrapRemByZero, "rems(100, 0);"); |
| 72 | assertTraps(kTrapRemByZero, "rems(-1009, 0);"); |
| 73 | |
| 74 | assertTraps(kTrapRemByZero, "remu(200, 0);"); |
| 75 | assertTraps(kTrapRemByZero, "remu(-2009, 0);"); |
| 76 | |
| 77 | assertEquals(-2147483648, remu(0x80000000, -1)); |
| 78 | assertEquals(0, rems(0x80000000, -1)); |