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 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78
|
(module
(type $none_=>_none (func))
(type $i32_=>_none (func (param i32)))
(type $externref_=>_none (func (param externref)))
(type $exnref_=>_exnref (func (param exnref) (result exnref)))
(event $event$0 (attr 0) (param i32))
(event $event$1 (attr 0) (param externref))
(func $0 (param $0 exnref) (result exnref)
(local.get $0)
)
(func $1
(nop)
)
(func $2
(nop)
)
(func $3
(local $0 exnref)
(try
(do
(throw $event$0
(i32.const 0)
)
)
(catch
(local.set $0
(pop exnref)
)
(drop
(block $label$3 (result i32)
(rethrow
(br_on_exn $label$3 $event$0
(local.get $0)
)
)
)
)
)
)
(block $label$4
(try
(do
(br $label$4)
)
(catch
(drop
(pop exnref)
)
(br $label$4)
)
)
)
(try
(do
(nop)
)
(catch
(drop
(pop exnref)
)
)
)
(try
(do
(call $1)
(call $2)
)
(catch
(drop
(pop exnref)
)
(call $1)
(call $2)
)
)
)
)
|