blob: cd052dbfbb4c9c70ff37ad22995a36645232da3a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
;; RUN: wasm-opt %s --remove-unused-module-elements -all -S -o - | filecheck %s
;; Non-exported and unused tags can be removed
(module
(type $0 (func (param i32)))
(import "env" "e" (tag $e-import (param i32)))
;; CHECK-NOT: (tag $e-remove
;; CHECK: (tag $e-export
;; CHECK: (tag $e-throw
;; CHECK: (tag $e-catch
(tag $e-remove (type $0)) ;; can be removed
(tag $e-export (param i64)) ;; cannot be removed (exported)
(tag $e-throw (type $0)) ;; cannot be removed (used in throw)
(tag $e-catch (type $0)) ;; cannot be removed (used in catch)
(export "e-export" (tag $e-export))
(start $start)
(func $start
(try
(do
(throw $e-throw (i32.const 0))
)
(catch $e-catch
(drop (pop i32))
)
)
)
)
|
