test/passes/untee.txt

(module
 (type $FUNCSIG$v (func))
 (func $tee (; 0 ;) (type $FUNCSIG$v)
  (local $x i32)
  (local $y f64)
  (drop
   (block (result i32)
    (local.set $x
     (i32.const 1)
    )
    (local.get $x)
   )
  )
  (drop
   (block (result f64)
    (local.set $y
     (f64.const 2)
    )
    (local.get $y)
   )
  )
  (local.set $x
   (block (result i32)
    (local.set $x
     (i32.const 3)
    )
    (local.get $x)
   )
  )
  (local.set $x
   (block (result i32)
    (local.set $x
     (block (result i32)
      (local.set $x
       (i32.const 3)
      )
      (local.get $x)
     )
    )
    (local.get $x)
   )
  )
  (drop
   (unreachable)
  )
 )
)