test/passes/dae-optimizing.txt

(module
 (type $0 (func (param f32) (result f32)))
 (type $1 (func (param f64 f32 f32 f64 f32 i64 f64) (result i32)))
 (type $2 (func (param f64 f32 f32 f64 f32 i32 i32 f64) (result i32)))
 (global $global$0 (mut i32) (i32.const 10))
 (func $0 (; 0 ;) (result i32)
  (local $0 i32)
  (local $1 i32)
  (drop
   (if (result f32)
    (local.tee $0
     (i32.const 33554432)
    )
    (loop $label$2 (result f32)
     (if
      (global.get $global$0)
      (return
       (local.get $0)
      )
     )
     (local.set $0
      (local.get $1)
     )
     (local.set $1
      (i32.const 0)
     )
     (br_if $label$2
      (local.get $0)
     )
     (f32.const 1)
    )
    (call $1)
   )
  )
  (i32.const -11)
 )
 (func $1 (; 1 ;) (result f32)
  (f32.const 0)
 )
 (func $2 (; 2 ;) (type $2) (param $0 f64) (param $1 f32) (param $2 f32) (param $3 f64) (param $4 f32) (param $5 i32) (param $6 i32) (param $7 f64) (result i32)
  (call $0)
 )
)