diff options
author | Alon Zakai <alonzakai@gmail.com> | 2019-01-23 16:15:38 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-23 16:15:38 -0800 |
commit | 119525ea6078c9af697de0038407ab541f3d4c12 (patch) | |
tree | 16aa2f609ab96975ceb8862e3ece7baaa05f5828 /test | |
parent | e63c4a7d04c145dafaf4b09de5f9f5de69cee8ef (diff) | |
download | binaryen-119525ea6078c9af697de0038407ab541f3d4c12.tar.gz binaryen-119525ea6078c9af697de0038407ab541f3d4c12.tar.bz2 binaryen-119525ea6078c9af697de0038407ab541f3d4c12.zip |
Validate unique local names, and use validation in wasm2js. Fixes #1885 (#1886)
* Also fixes some bugs in wasm2js tests that did not validate.
* Rename FeatureOptions => ToolOptions, as they now contain all the basic stuff each tool needs for commandline options (validation yes or no, and which features if so).
Diffstat (limited to 'test')
-rw-r--r-- | test/passes/optimize-instructions.txt | 2 | ||||
-rw-r--r-- | test/passes/optimize-instructions.wast | 2 | ||||
-rw-r--r-- | test/wasm2js/grow-memory-tricky.wast | 4 | ||||
-rw-r--r-- | test/wasm2js/i64-select.wast | 2 |
4 files changed, 5 insertions, 5 deletions
diff --git a/test/passes/optimize-instructions.txt b/test/passes/optimize-instructions.txt index c16409cd4..67f0516fb 100644 --- a/test/passes/optimize-instructions.txt +++ b/test/passes/optimize-instructions.txt @@ -1241,7 +1241,7 @@ (local.get $0) ) ) - (func $almost-sign-ext (; 12 ;) (type $5) (param $0 i32) (param $0 i32) + (func $almost-sign-ext (; 12 ;) (type $6) (param $0 i32) (drop (i32.shr_s (i32.shl diff --git a/test/passes/optimize-instructions.wast b/test/passes/optimize-instructions.wast index 57cf7900c..fa683ca78 100644 --- a/test/passes/optimize-instructions.wast +++ b/test/passes/optimize-instructions.wast @@ -1377,7 +1377,7 @@ ) ) ) - (func $almost-sign-ext (param $0 i32) (param $0 i32) + (func $almost-sign-ext (param $0 i32) (drop (i32.shr_s (i32.shl diff --git a/test/wasm2js/grow-memory-tricky.wast b/test/wasm2js/grow-memory-tricky.wast index 7e249e502..8513eb2af 100644 --- a/test/wasm2js/grow-memory-tricky.wast +++ b/test/wasm2js/grow-memory-tricky.wast @@ -7,14 +7,14 @@ (export "f2" (func $1)) (func $0 (result i32) - (block + (block (result i32) (i32.store (i32.const 0) (grow_memory (i32.const 1))) (i32.load (i32.const 0)) ) ) (func $1 (result i32) - (block + (block (result i32) (i32.store (i32.const 0) (call $grow)) (i32.load (i32.const 0)) ) diff --git a/test/wasm2js/i64-select.wast b/test/wasm2js/i64-select.wast index 4e637d3fe..e5f3a6bab 100644 --- a/test/wasm2js/i64-select.wast +++ b/test/wasm2js/i64-select.wast @@ -2,7 +2,7 @@ (module (func $p (param $i i32) (result i32) (local.get $i)) - (func (param i32) (result i64) + (func (param i32) (result i32) (return (select (call $p (i32.const -1)) |