summaryrefslogtreecommitdiff
path: root/test/passes/remove-unused-module-elements_all-features.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/remove-unused-module-elements_all-features.wast')
-rw-r--r--test/passes/remove-unused-module-elements_all-features.wast27
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))
+ )
+ )
+ )
+ )
+ )
)