test/parse/expr/if-multi-named.txt


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

;;; TOOL: wat2wasm
;;; ARGS: --enable-multi-value
(type $v_v (func))
(type $v_ii (func (param i32 i32)))
(type $ii_v (func (result i32 i32)))
(type $ff_ff (func (param f32 f32) (result f32 f32)))

(func
  i32.const 0
  if (type $v_v)
  end)

(func
  i32.const 0
  i32.const 1
  i32.const 2
  if (type $v_ii)
    drop
    drop
  else
    drop
    drop
  end)

(func
  i32.const 0
  if (type $ii_v)
    i32.const 1
    i32.const 2
  else
    i32.const 3
    i32.const 4
  end
  drop
  drop)

(func
  f32.const 1
  f32.const 2
  i32.const 0
  if (type $ff_ff)
  end
  drop
  drop)