test/passes/souperify.wast

(module
  ;; This tests if we can create dataflow graph correctly in the presence of
  ;; loops.
  (func $if-loop-test (local $0 i32)
    (if
      (i32.const 0)
      (then
        (loop $label$0
          (local.set $0
            (i32.sub
              (i32.const 0)
              (i32.const 0)
            )
          )
        )
      )
    )
  )
)