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
|
(module
(type $i (func (result i32)))
(memory $0 256 256)
(table 481 481 funcref)
(table 354 354 i31ref)
(elem (i32.const 0) $f0 $f0 $f1 $f2 $f0 $f3 $f0)
(elem (table 1) (i32.const 0) i31ref
(item (ref.i31 (i32.const 0))) (item (ref.i31 (i32.const 42))) (item (ref.i31 (i32.const 99))))
(data (i32.const 0) "p\0bflkj")
(data (i32.const 10960) "1234hello")
(export "f1" (func $f1))
(export "f2" (func $f2))
(export "f4" (func $f4))
(export "f5" (func $f5))
(func $f0 (result i32)
(i32.const 1234)
)
(func $f1
(i32.store (i32.const 1000) (i32.const 65530)) ;; dead store
)
(func $f2 (result i32)
(i32.store (i32.const 0) (i32.const 65530))
(i32.load (i32.const 0)) ;; load the written stuff
)
(func $f3 (result i32)
(i32.load (i32.const 10964)) ;; load the 'hell'
)
(func $f4 (result i32)
(i32.add
(call_indirect (type $i) (i32.const 3))
(call_indirect (type $i) (i32.const 0))
)
)
(func $f5 (result i32)
(i32.add
(i31.get_s (table.get 1 (i32.const 0)))
(i31.get_u (table.get 1 (i32.const 1)))
)
)
)
|
