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
|
(module
(import "env" "atexit" (func $fimport$0 (param i32 i32) (result i32)))
(import "env" "__cxa_atexit" (func $fimport$1 (param i32 i32) (result i32)))
(import "env" "_atexit" (func $fimport$2 (param i32 i32) (result i32)))
(import "env" "___cxa_atexit" (func $fimport$3 (param i32 i32) (result i32)))
(import "env" "other" (func $fimport$4 (param i32 i32) (result i32)))
(func $caller
(drop (call $fimport$0 (i32.const 0) (i32.const 1)))
(drop (call $fimport$1 (i32.const 0) (i32.const 1)))
(drop (call $fimport$2 (i32.const 0) (i32.const 1)))
(drop (call $fimport$3 (i32.const 0) (i32.const 1)))
(drop (call $fimport$4 (i32.const 0) (i32.const 1)))
(drop (call $fimport$0 (unreachable) (i32.const 1)))
)
(func $side-effects (result i32)
(local $x i32)
(drop (call $fimport$0
(local.tee $x (i32.const 1))
(i32.const 2)
))
(drop (call $fimport$0
(i32.const 3)
(local.tee $x (i32.const 4))
))
(drop (call $fimport$0
(local.tee $x (i32.const 5))
(local.tee $x (i32.const 6))
))
(drop (call $fimport$0
(unreachable)
(local.tee $x (i32.const 7))
))
(drop (call $fimport$0
(local.tee $x (i32.const 8))
(unreachable)
))
(drop (call $fimport$0
(unreachable)
(i32.const 9)
))
(drop (call $fimport$0
(i32.const 10)
(unreachable)
))
(local.get $x)
)
)
|
