diff options
author | Heejin Ahn <aheejin@gmail.com> | 2023-12-11 17:40:49 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-11 17:40:49 -0800 |
commit | cba8e18a70f76364e6b6ecdbbe4931c11dc58c08 (patch) | |
tree | 990dc6b965c01b61c814057aa273f7cebabedc49 /test/wasm2js | |
parent | 9e07c8266edcc77624748032ae1186953f6242df (diff) | |
download | binaryen-cba8e18a70f76364e6b6ecdbbe4931c11dc58c08.tar.gz binaryen-cba8e18a70f76364e6b6ecdbbe4931c11dc58c08.tar.bz2 binaryen-cba8e18a70f76364e6b6ecdbbe4931c11dc58c08.zip |
[test] Remove / move *.js tests from test/ (#6163)
`wasm2js.asserts.js` and `wasm2js.traps.js` seem to be used in wasm2js
asserts test:
https://github.com/WebAssembly/binaryen/blob/1d615b38dd4152494d2f4d3520c8b1d917624a30/scripts/test/wasm2js.py#L28
https://github.com/WebAssembly/binaryen/blob/1d615b38dd4152494d2f4d3520c8b1d917624a30/scripts/test/wasm2js.py#L126-L127
But other `*.js` tests in `test/` don't seem to be used anywhere. Please
let me know if they are actually being used.
This moves `wasm2js.asserts.js` and `wasm2js.traps.js`, which are only
used in wasmjs tests, to `test/wasm2js/`, and deletes all other `*.js`
tests in `test/`.
Diffstat (limited to 'test/wasm2js')
-rw-r--r-- | test/wasm2js/wasm2js.asserts.js | 76 | ||||
-rw-r--r-- | test/wasm2js/wasm2js.traps.js | 104 |
2 files changed, 180 insertions, 0 deletions
diff --git a/test/wasm2js/wasm2js.asserts.js b/test/wasm2js/wasm2js.asserts.js new file mode 100644 index 000000000..fb6516106 --- /dev/null +++ b/test/wasm2js/wasm2js.asserts.js @@ -0,0 +1,76 @@ + + function f32Equal(a, b) { + var i = new Int32Array(1); + var f = new Float32Array(i.buffer); + f[0] = a; + var ai = f[0]; + f[0] = b; + var bi = f[0]; + + return (isNaN(a) && isNaN(b)) || a == b; + } + + function f64Equal(a, b) { + var i = new Int32Array(2); + var f = new Float64Array(i.buffer); + f[0] = a; + var ai1 = i[0]; + var ai2 = i[1]; + f[0] = b; + var bi1 = i[0]; + var bi2 = i[1]; + + return (isNaN(a) && isNaN(b)) || (ai1 == bi1 && ai2 == bi2); + } + + function i64Equal(actual_lo, actual_hi, expected_lo, expected_hi) { + return (actual_lo | 0) == (expected_lo | 0) && (actual_hi | 0) == (expected_hi | 0); + } + +function asmFunc0(imports) { + var Math_imul = Math.imul; + var Math_fround = Math.fround; + var Math_abs = Math.abs; + var Math_clz32 = Math.clz32; + var Math_min = Math.min; + var Math_max = Math.max; + var Math_floor = Math.floor; + var Math_ceil = Math.ceil; + var Math_trunc = Math.trunc; + var Math_sqrt = Math.sqrt; + function $0() { + + } + + function $1(x, y) { + x = x | 0; + y = y | 0; + return x + y | 0 | 0; + } + + function $2(x, y) { + x = x | 0; + y = y | 0; + return (x | 0) / (y | 0) | 0 | 0; + } + + return { + "empty": $0, + "add": $1, + "div_s": $2 + }; +} + +var retasmFunc0 = asmFunc0({ +}); +function check1() { + retasmFunc0.empty(); + return 1 | 0; +} + +if (!check1()) throw 'assertion failed: ( assert_return ( invoke empty ) )'; +function check2() { + return (retasmFunc0.add(1 | 0, 1 | 0) | 0 | 0) == (2 | 0) | 0; +} + +if (!check2()) throw 'assertion failed: ( assert_return ( invoke add ( i32.const 1 ) ( i32.const 1 ) ) ( i32.const 2 ) )'; diff --git a/test/wasm2js/wasm2js.traps.js b/test/wasm2js/wasm2js.traps.js new file mode 100644 index 000000000..8f87e2423 --- /dev/null +++ b/test/wasm2js/wasm2js.traps.js @@ -0,0 +1,104 @@ + + function f32Equal(a, b) { + var i = new Int32Array(1); + var f = new Float32Array(i.buffer); + f[0] = a; + var ai = f[0]; + f[0] = b; + var bi = f[0]; + + return (isNaN(a) && isNaN(b)) || a == b; + } + + function f64Equal(a, b) { + var i = new Int32Array(2); + var f = new Float64Array(i.buffer); + f[0] = a; + var ai1 = i[0]; + var ai2 = i[1]; + f[0] = b; + var bi1 = i[0]; + var bi2 = i[1]; + + return (isNaN(a) && isNaN(b)) || (ai1 == bi1 && ai2 == bi2); + } + + function i64Equal(actual_lo, actual_hi, expected_lo, expected_hi) { + return (actual_lo | 0) == (expected_lo | 0) && (actual_hi | 0) == (expected_hi | 0); + } + +function asmFunc0(imports) { + var Math_imul = Math.imul; + var Math_fround = Math.fround; + var Math_abs = Math.abs; + var Math_clz32 = Math.clz32; + var Math_min = Math.min; + var Math_max = Math.max; + var Math_floor = Math.floor; + var Math_ceil = Math.ceil; + var Math_trunc = Math.trunc; + var Math_sqrt = Math.sqrt; + function $0() { + + } + + function $1(x, y) { + x = x | 0; + y = y | 0; + return x + y | 0 | 0; + } + + function $2(x, y) { + x = x | 0; + y = y | 0; + return (x | 0) / (y | 0) | 0 | 0; + } + + return { + "empty": $0, + "add": $1, + "div_s": $2 + }; +} + +var retasmFunc0 = asmFunc0({ +}); +function check1() { + retasmFunc0.empty(); + return 1 | 0; +} + +if (!check1()) throw 'assertion failed: ( assert_return ( invoke empty ) )'; +function check2() { + return (retasmFunc0.add(1 | 0, 1 | 0) | 0 | 0) == (2 | 0) | 0; +} + +if (!check2()) throw 'assertion failed: ( assert_return ( invoke add ( i32.const 1 ) ( i32.const 1 ) ) ( i32.const 2 ) )'; +function check3() { + function f() { + return retasmFunc0.div_s(0 | 0, 0 | 0) | 0 | 0; + } + + try { + f(); + } catch (e) { + return e.message.includes("integer divide by zero"); + }; + return 0; +} + +if (!check3()) throw 'assertion failed: ( assert_trap ( invoke div_s ( i32.const 0 ) ( i32.const 0 ) ) integer divide by zero )'; +function check4() { + function f() { + return retasmFunc0.div_s(-2147483648 | 0, -1 | 0) | 0 | 0; + } + + try { + f(); + } catch (e) { + return e.message.includes("integer overflow"); + }; + return 0; +} + +if (!check4()) throw 'assertion failed: ( assert_trap ( invoke div_s ( i32.const 0x80000000 ) ( i32.const -1 ) ) integer overflow )'; |