test/passes/flatten_rereloop.txt

(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)
 )
)