diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/passes/remove-unused-names_vacuum.txt | 8 | ||||
| -rw-r--r-- | test/passes/remove-unused-names_vacuum.wast | 11 |
2 files changed, 19 insertions, 0 deletions
diff --git a/test/passes/remove-unused-names_vacuum.txt b/test/passes/remove-unused-names_vacuum.txt new file mode 100644 index 000000000..3819fcbec --- /dev/null +++ b/test/passes/remove-unused-names_vacuum.txt @@ -0,0 +1,8 @@ +(module + (memory $0 0) + (type $0 (func (result i32))) + (func $return-i32-but-body-is-unreachable3 (type $0) (result i32) + (local $label i32) + (unreachable) + ) +) diff --git a/test/passes/remove-unused-names_vacuum.wast b/test/passes/remove-unused-names_vacuum.wast new file mode 100644 index 000000000..04b08c332 --- /dev/null +++ b/test/passes/remove-unused-names_vacuum.wast @@ -0,0 +1,11 @@ +(module + (func $return-i32-but-body-is-unreachable3 (result i32) + (local $label i32) + (block ;; without a name here, vaccum had a too-eager bug + (loop $while-in$1 + (br $while-in$1) + ) + ) + ) +) + |