summaryrefslogtreecommitdiff
path: root/test/passes/flatten_rereloop.txt
blob: efab836c84979618d771cf8d0dcf9c79da0ceb56 (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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
(module
 (type $0 (func (result f64)))
 (func $0 (; 0 ;) (type $0) (result f64)
  (local $0 f64)
  (local $1 f64)
  (local $2 i32)
  (block $block$2$break
   (block
   )
   (if
    (i32.const 0)
    (br $block$2$break)
    (block
     (block
      (nop)
      (set_local $0
       (f64.const -nan:0xfffffd63e4e5a)
      )
      (set_local $1
       (get_local $0)
      )
      (return
       (get_local $1)
      )
     )
    )
   )
  )
  (block
   (block $block$3$break
    (block
    )
    (block
     (br $block$3$break)
    )
   )
   (block
    (block
     (unreachable)
    )
   )
  )
 )
)
(module
 (type $0 (func (result i32)))
 (func $0 (; 0 ;) (type $0) (result i32)
  (local $0 i32)
  (local $1 i32)
  (local $2 i32)
  (block
   (block
   )
   (block $switch$1$leave
    (block $switch$1$default
     (block $switch$1$case$5
      (block $switch$1$case$4
       (br_table $switch$1$case$5 $switch$1$case$4 $switch$1$default
        (i32.const 0)
       )
      )
      (block
       (block
        (block
         (nop)
         (unreachable)
        )
       )
      )
     )
     (block
      (block
       (block
        (nop)
        (unreachable)
       )
      )
     )
    )
    (block
     (block
      (block
       (nop)
      )
      (block $switch$6$leave
       (block $switch$6$default
        (block $switch$6$case$3
         (br_table $switch$6$case$3 $switch$6$default
          (i32.const 1)
         )
        )
        (block
         (block
          (block
           (nop)
           (unreachable)
          )
         )
        )
       )
       (block
        (block
         (block
          (nop)
          (set_local $0
           (i32.const 2)
          )
          (set_local $1
           (get_local $0)
          )
          (return
           (get_local $1)
          )
         )
        )
       )
      )
     )
    )
    (br $switch$1$leave)
   )
  )
  (unreachable)
 )
)