(module
 (func "func" (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i64) (result i64)
  (local $var$4 i32)
  (block $label$1
   (local.set $var$3
    (i64.const 2147483647)
   )
   (br_if $label$1
    (local.get $var$4) ;; precompute-propagate will optimize this into 0, then the br_if is nopped
                       ;; in place. if stack ir is not regenerated, that means we have the get
                       ;; on the stack from before, and the br_if is now a nop, which means no one
                       ;; pops the get
   )
  )
  (local.get $var$3)
 )
)