diff options
Diffstat (limited to 'test/passes/remove-unused-module-elements_all-features.wast')
-rw-r--r-- | test/passes/remove-unused-module-elements_all-features.wast | 27 |
1 files changed, 21 insertions, 6 deletions
diff --git a/test/passes/remove-unused-module-elements_all-features.wast b/test/passes/remove-unused-module-elements_all-features.wast index 3d0248848..283e539fd 100644 --- a/test/passes/remove-unused-module-elements_all-features.wast +++ b/test/passes/remove-unused-module-elements_all-features.wast @@ -261,11 +261,26 @@ ) ) ) -(module ;; non-exported events can be removed +(module ;; non-exported and unused events can be removed (type $0 (func (param i32))) - (event $e0 (attr 0) (type $0)) - (event $e1 (attr 0) (param i64)) - (export "e1" (event $e1)) - (import "env" "e" (event $e2 (attr 0) (param i32))) - (func $f (; 0 ;) (type $0)) + (event $e-remove (attr 0) (type $0)) ;; can be removed + (event $e-export (attr 0) (param i64)) ;; cannot be removed (exported) + (event $e-throw (attr 0) (type $0)) ;; cannot be removed (used in throw) + (event $e-bronexn (attr 0) (type $0)) ;; cannot be removed (used in br_on_exn) + (export "e-export" (event $e-export)) + (import "env" "e" (event $e-import (attr 0) (param i32))) + (start $start) + (func $start (local $exn exnref) (; 0 ;) + (throw $e-throw (i32.const 0)) + (catch + (local.set $exn (exnref.pop)) + (drop + (block $l0 (result i32) + (rethrow + (br_on_exn $l0 $e-bronexn (local.get $exn)) + ) + ) + ) + ) + ) ) |