blob: 5c739c548a41b14fee964e2addd28822faa8c8e0 (
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
|
(module
(memory $0 1 1)
(export "func_0" (func $func_0))
(export "func_1" (func $func_1))
(func $func_0 (result i64)
(block $label$0 (result i64)
(loop $label$1 (result i64)
(br_if $label$0
(i64.const 1234)
(i32.load16_s offset=22 align=1
(i32.const -1)
)
)
)
)
)
(func $func_1 (result i32)
(i32.load16_s offset=22 align=1
(i32.const -1)
)
)
)
(module
(func "div" (result f32)
(f32.div ;; div by 1 can be removed, leaving this nan
(f32.const -nan:0x23017a) ;; as it is. wasm semantics allow nan bits to
(f32.const 1) ;; change, but the interpreter should not do so,
) ;; so that it does not fail on that opt.
)
(func "mul1" (result f32)
(f32.mul
(f32.const -nan:0x34546d)
(f32.const 1)
)
)
(func "mul2" (result f32)
(f32.mul
(f32.const 1)
(f32.const -nan:0x34546d)
)
)
)
|