1(module
2  (type (;0;) (func))
3  (type (;1;) (func (param i64)))
4  (func (;0;) (type 0))
5  (func (;1;) (type 0))
6  (func (;2;) (type 0))
7  (func (;3;) (type 0))
8  (func (;4;) (type 1) (param i64)
9    (local f32 f32 f32)
10    loop (result i64)  ;; label = @1
11      global.get 0
12      if  ;; label = @2
13        local.get 1
14        return
15      end
16      block (result i64)  ;; label = @2
17        loop  ;; label = @3
18          block  ;; label = @4
19            global.get 0
20            if  ;; label = @5
21              i32.const 5
22              if (result f32)  ;; label = @6
23                block (result f32)  ;; label = @7
24                  call 0
25                  i32.const 7
26                  if (result f32)  ;; label = @8
27                    local.get 2
28                  else
29                    f32.const 0x1p+0 (;=1;)
30                  end
31                end
32              else
33                f32.const 0x1p+0 (;=1;)
34              end
35              local.tee 1
36              local.set 3
37            end
38          end
39        end
40        i32.const 8
41        br_if 1 (;@1;)
42        i64.const 4
43      end
44    end
45    return)
46  (memory (;0;) 1)
47  (global (;0;) i32 (i32.const 0))
48)
49
50