(module
 (type $0 (func (param i64)))
 (func $0 (; 0 ;) (; has Stack IR ;) (type $0) (param $var$0 i64)
  block $label$1
   block $label$2
    loop $label$3
     block $label$4
      unreachable
      unreachable
     end
     unreachable
     tee_local $var$0
     unreachable
     unreachable
    end
    unreachable
    unreachable
    unreachable
   end
   unreachable
   br_if $label$1
   unreachable
  end
 )
)
(module
 (type $0 (func (param i64)))
 (func $0 (; 0 ;) (; has Stack IR ;) (type $0) (param $var$0 i64)
  (block $label$1
   (br_if $label$1
    (block $label$2
     (loop $label$3
      (tee_local $var$0
       (block $label$4
        (unreachable)
       )
      )
     )
     (unreachable)
    )
   )
  )
 )
)