forked from WebAssembly/binaryen
-
Notifications
You must be signed in to change notification settings - Fork 0
/
inlining-optimizing.wast
103 lines (103 loc) · 1.8 KB
/
inlining-optimizing.wast
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
98
99
100
101
102
103
(module
(table 1 1 anyfunc)
(elem (i32.const 0) $tabled)
(func $user (export "user")
(local $x i32)
(local $y f64)
(call $exported)
(call $tabled)
(call $multi)
(call $multi)
(call $ok)
(drop (call $int))
(drop (call $double))
(set_local $x (call $int2))
(set_local $y (call $double2))
(call $with-local)
(call $with-local2)
(drop (call $return))
(call $multipass)
(call $param (f32.const 12.34) (i64.const 890005350012))
)
(func $exported (export "exported")
(nop)
)
(func $recursive
(call $recursive)
)
(func $tabled
(nop)
)
(func $cycle1
(call $cycle2)
)
(func $cycle2
(call $cycle1)
)
(func $multi
(nop)
)
(func $ok
(drop (i32.const 1))
)
(func $int (result i32)
(i32.const 2)
)
(func $double (result f64)
(f64.const 3.14159)
)
(func $int2 (result i32)
(i32.const 112)
)
(func $double2 (result f64)
(f64.const 113.14159)
)
(func $with-local
(local $x f32)
(set_local $x (f32.const 2.141828))
)
(func $with-local2
(local $y i64)
(set_local $y (i64.const 4))
)
(func $return (result i32)
(return (i32.const 5))
)
(func $multipass
(call $multipass2)
)
(func $multipass2
(drop (i32.const 6))
)
(func $param (param $x f32) (param $y i64)
(local $z f32)
(drop (get_local $x))
(drop (get_local $y))
(drop (get_local $z))
)
)
(module
(func $main (result i32)
(call $func_51)
(i32.const 0)
)
(func $func_51
(unreachable) ;; void function but having unreachable body, when inlined, type must be fixed
)
)
(module
(memory $0 (shared 1 1))
(func $0 (result i32)
(i32.atomic.store16
(i32.const 0)
(i32.const 0)
)
(i32.const 1)
)
(func $1 (result i64)
(drop
(call $0)
)
(i64.const 0)
)
)