blob: a89103e8ada5154a17a9080725235f458e4eaff9 (
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
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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
(module
(memory 1 2)
(import "env" "import" (func $import))
(import "env" "import2" (func $import2 (result i32)))
(import "env" "import3" (func $import3 (param i32)))
(func $calls-import
(call $import)
)
(func $calls-import2 (result i32)
(local $temp i32)
(local.set $temp (call $import2))
(return (local.get $temp))
)
(func $calls-import2-drop
(drop (call $import2))
)
(func $calls-nothing
(drop (i32.eqz (i32.const 17)))
)
(func $many-locals (param $x i32) (result i32)
(local $y i32)
(loop $l
(local.set $x
(i32.add (local.get $y) (i32.const 1))
)
(local.set $y
(i32.div_s (local.get $x) (i32.const 3))
)
(br_if $l (local.get $y))
)
(call $import)
(return (local.get $y))
)
(func $calls-import2-if (param $x i32)
(if (local.get $x)
(call $import)
)
)
(func $calls-import2-if-else (param $x i32)
(if (local.get $x)
(call $import3 (i32.const 1))
(call $import3 (i32.const 2))
)
)
(func $calls-import2-if-else-oneside (param $x i32) (result i32)
(if (local.get $x)
(return (i32.const 1))
(call $import3 (i32.const 2))
)
(return (i32.const 3))
)
(func $calls-import2-if-else-oneside2 (param $x i32) (result i32)
(if (local.get $x)
(call $import3 (i32.const 1))
(return (i32.const 2))
)
(return (i32.const 3))
)
(func $calls-loop (param $x i32)
(loop $l
(call $import3 (i32.const 1))
(local.set $x
(i32.add (local.get $x) (i32.const 1))
)
(br_if $l
(local.get $x)
)
)
)
(func $calls-loop2
(loop $l
(br_if $l
(call $import2)
)
)
)
(func $calls-mix
(call $boring)
(call $import)
(call $boring)
(call $import)
)
(func $boring)
(func $calls-mix-deep
(call $boring-deep)
(call $import-deep)
(call $boring)
(call $import)
)
(func $boring-deep
(call $boring)
)
(func $import-deep
(call $import)
)
)
|
