Alon Zakai | 71804e2 | 2017-03-07 21:56:35 | [diff] [blame] | 1 | (module |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 2 | (import "env" "memory" (memory $0 256 256)) |
3 | (import "env" "table" (table 0 0 anyfunc)) | ||||
4 | (import "env" "memoryBase" (global $memoryBase i32)) | ||||
5 | (import "env" "tableBase" (global $tableBase i32)) | ||||
Alon Zakai | 623e42a | 2018-01-10 19:34:53 | [diff] [blame] | 6 | (import "env" "tempDoublePtr" (global $tDP$asm2wasm$import i32)) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 7 | (global $tDP (mut i32) (get_global $tDP$asm2wasm$import)) |
8 | (global $M (mut i32) (i32.const 0)) | ||||
9 | (export "floats" (func $legalstub$floats)) | ||||
10 | (export "getTempRet0" (func $ub)) | ||||
11 | (export "neg" (func $legalstub$neg)) | ||||
12 | (export "bitcasts" (func $legalstub$bitcasts)) | ||||
13 | (export "ctzzzz" (func $ctzzzz)) | ||||
Alon Zakai | 1005b12 | 2017-10-21 02:38:31 | [diff] [blame] | 14 | (func $floats (; 0 ;) (param $f f32) (result f32) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 15 | (local $t f32) |
16 | (return | ||||
17 | (f32.add | ||||
18 | (get_local $t) | ||||
19 | (get_local $f) | ||||
20 | ) | ||||
Alon Zakai | 71804e2 | 2017-03-07 21:56:35 | [diff] [blame] | 21 | ) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 22 | ) |
Alon Zakai | 1005b12 | 2017-10-21 02:38:31 | [diff] [blame] | 23 | (func $neg (; 1 ;) (param $k i32) (param $p i32) (result f32) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 24 | (local $n f32) |
25 | (set_local $n | ||||
26 | (f32.neg | ||||
Sam Clegg | 68dc2ed | 2017-06-12 23:50:28 | [diff] [blame] | 27 | (block (result f32) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 28 | (i32.store |
29 | (get_local $k) | ||||
30 | (get_local $p) | ||||
31 | ) | ||||
32 | (f32.load | ||||
33 | (get_local $k) | ||||
34 | ) | ||||
Alon Zakai | 71804e2 | 2017-03-07 21:56:35 | [diff] [blame] | 35 | ) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 36 | ) |
Alon Zakai | 71804e2 | 2017-03-07 21:56:35 | [diff] [blame] | 37 | ) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 38 | (return |
39 | (get_local $n) | ||||
Alon Zakai | 71804e2 | 2017-03-07 21:56:35 | [diff] [blame] | 40 | ) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 41 | ) |
Alon Zakai | 1005b12 | 2017-10-21 02:38:31 | [diff] [blame] | 42 | (func $bitcasts (; 2 ;) (param $i i32) (param $f f32) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 43 | (drop |
44 | (f32.reinterpret/i32 | ||||
45 | (get_local $i) | ||||
46 | ) | ||||
Alon Zakai | 71804e2 | 2017-03-07 21:56:35 | [diff] [blame] | 47 | ) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 48 | (drop |
49 | (f64.promote/f32 | ||||
50 | (f32.reinterpret/i32 | ||||
51 | (get_local $i) | ||||
Alon Zakai | 71804e2 | 2017-03-07 21:56:35 | [diff] [blame] | 52 | ) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 53 | ) |
Alon Zakai | 71804e2 | 2017-03-07 21:56:35 | [diff] [blame] | 54 | ) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 55 | (drop |
56 | (i32.reinterpret/f32 | ||||
57 | (get_local $f) | ||||
58 | ) | ||||
Alon Zakai | 71804e2 | 2017-03-07 21:56:35 | [diff] [blame] | 59 | ) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 60 | ) |
Alon Zakai | 1005b12 | 2017-10-21 02:38:31 | [diff] [blame] | 61 | (func $ctzzzz (; 3 ;) (result i32) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 62 | (return |
63 | (i32.ctz | ||||
64 | (i32.const 4660) | ||||
65 | ) | ||||
Alon Zakai | 71804e2 | 2017-03-07 21:56:35 | [diff] [blame] | 66 | ) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 67 | ) |
Alon Zakai | 1005b12 | 2017-10-21 02:38:31 | [diff] [blame] | 68 | (func $ub (; 4 ;) (result i32) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 69 | (drop |
70 | (call $ub) | ||||
Alon Zakai | 71804e2 | 2017-03-07 21:56:35 | [diff] [blame] | 71 | ) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 72 | (return |
73 | (get_global $M) | ||||
74 | ) | ||||
75 | ) | ||||
Alon Zakai | 1005b12 | 2017-10-21 02:38:31 | [diff] [blame] | 76 | (func $legalstub$floats (; 5 ;) (param $0 f64) (result f64) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 77 | (f64.promote/f32 |
78 | (call $floats | ||||
79 | (f32.demote/f64 | ||||
80 | (get_local $0) | ||||
81 | ) | ||||
82 | ) | ||||
83 | ) | ||||
84 | ) | ||||
Alon Zakai | 1005b12 | 2017-10-21 02:38:31 | [diff] [blame] | 85 | (func $legalstub$neg (; 6 ;) (param $0 i32) (param $1 i32) (result f64) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 86 | (f64.promote/f32 |
87 | (call $neg | ||||
88 | (get_local $0) | ||||
89 | (get_local $1) | ||||
90 | ) | ||||
91 | ) | ||||
92 | ) | ||||
Alon Zakai | 1005b12 | 2017-10-21 02:38:31 | [diff] [blame] | 93 | (func $legalstub$bitcasts (; 7 ;) (param $0 i32) (param $1 f64) |
Alon Zakai | be4be55 | 2017-03-09 21:32:03 | [diff] [blame] | 94 | (call $bitcasts |
95 | (get_local $0) | ||||
96 | (f32.demote/f64 | ||||
97 | (get_local $1) | ||||
98 | ) | ||||
99 | ) | ||||
100 | ) | ||||
Alon Zakai | 71804e2 | 2017-03-07 21:56:35 | [diff] [blame] | 101 | ) |