summaryrefslogtreecommitdiff
path: root/test/typecheck/br-multi.txt
blob: f3cbfa58f8edca3937ae8f082636e51465534f02 (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
;;; TOOL: wat2wasm
(module
  ;; block
  (func
    block (result i32 i64)
      i32.const 1
      i64.const 2
      br 0
    end
    return)

  ;; loop
  (func
    loop (result i32 i64)
      br 0
    end
    return)

  ;; loop w/ param
  (func
    i32.const 1
    loop (param i32)
      drop         ;; drop loop param
      i32.const 2  ;; push loop param for br
      br 0
    end)

  ;; if
  (func
    i32.const 1
    if (result i32 i64)
      i32.const 1
      i64.const 2
      br 0
    else
      i32.const 3
      i64.const 4
      br 0
    end
    return)
)