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
|
(module
(type $i32_=>_i32 (func (param i32) (result i32)))
(type $none_=>_none (func))
(type $none_=>_i32 (func (result i32)))
(type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
(type $i64_=>_i32 (func (param i64) (result i32)))
(type $i32_f32_f64_=>_f32 (func (param i32 f32 f64) (result f32)))
(type $i32_f64_f64_=>_f32 (func (param i32 f64 f64) (result f32)))
(import "env" "puts" (func $puts1 (param i32) (result i32)))
(import "env" "invoke_ffd" (func $invoke_ffd (param i32 f32 f64) (result f32)))
(import "env" "invoke_ffd" (func $invoke_ffd2 (param i32 f64 f64) (result f32)))
(import "env" "puts" (func $legalimport$puts2 (param i32 i32) (result i32)))
(memory $0 2)
(data (i32.const 568) "Hello, world\00")
(table $0 1 1 funcref)
(global $global$0 (mut i32) (i32.const 66128))
(global $global$1 i32 (i32.const 66128))
(global $global$2 i32 (i32.const 581))
(export "memory" (memory $0))
(export "__wasm_call_ctors" (func $__wasm_call_ctors))
(export "main" (func $main))
(export "__heap_base" (global $global$1))
(export "__data_end" (global $global$2))
(export "__growWasmMemory" (func $__growWasmMemory))
(func $main (result i32)
(drop
(call $puts1
(i32.const 568)
)
)
(i32.const 0)
)
(func $__wasm_call_ctors
(nop)
)
(func $legalfunc$puts2 (param $0 i64) (result i32)
(call $legalimport$puts2
(i32.wrap_i64
(local.get $0)
)
(i32.wrap_i64
(i64.shr_u
(local.get $0)
(i64.const 32)
)
)
)
)
(func $__growWasmMemory (param $newSize i32) (result i32)
(memory.grow
(local.get $newSize)
)
)
)
(;
--BEGIN METADATA --
{
"staticBump": 13,
"tableSize": 1,
"initializers": [
"__wasm_call_ctors"
],
"declares": [
"puts"
],
"externs": [
],
"exports": [
"__wasm_call_ctors",
"main",
"__growWasmMemory"
],
"namedGlobals": {
"__heap_base" : "66128",
"__data_end" : "581"
},
"invokeFuncs": [
"invoke_ffd"
],
"mainReadsParams": 1,
"features": [
]
}
-- END METADATA --
;)
|
