blob: b68aef64f3876e48bd942a2324bc969e1a85b271 (
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
|
(module
(func $yes (param $x i64) (result f32)
(f32.convert_i64_u (local.get $x))
)
(func $no (param $x i32) (result f32)
(f32.convert_i32_u (local.get $x))
)
(func $yes-unreach (result f32)
(f32.convert_i64_u (unreachable))
)
(func $no-unreach (result f32)
(f32.convert_i32_u (unreachable))
)
)
(module
(type $none_=>_none (func))
(type $i64_=>_i32 (func (param $foo i64) (result i32)))
(table $0 2 2 funcref)
(elem (i32.const 1) $return-f32)
(func $return-f32 (result f32)
(f32.const 3.14159)
)
(func $bad-indirect-call
(call_indirect (type $none_=>_none) ;; note how it's the wrong type
(i32.const 1)
)
)
(func $bad-indirect-call-2 (result i32)
(call_indirect (type $i64_=>_i32) ;; note how it's the wrong type
(i64.const 1234)
(i32.const 1)
)
)
)
|
