Quelle  control-flow-phi-inputs.js

// Test the triangle pattern where the phi-input doesn't match the initial input.
//
//       initialBlock
//         /     \
// trueBranch     |
//         \     /
//    phiBlock+falseBranch
//            |
//        testBlock
//
// Also see bug 1768346.

var f = wasmEvalText(`(module
  (func (result i32)
    block (result i32)
      i32.const 0 ;; This must flow into the if below.
      i32.const 1
      br_if 0
      drop
      i32.const 1
    end
    if
      i32.const 100
      return
    end
    i32.const 200
  )
  (export "" (func 0))
)`).exports[""];

assertEq(f(), 200);

var g = wasmEvalText(`(module
  (func (result i32)
    block (result i32)
      i32.const 0 ;; This must flow into the if below.
      i32.const 1
      br_if 0
      drop
      i32.const 1 ;; This must flow into the if below
      i32.const 1
      br_if 0
      drop
      i32.const 1
    end
    if
      i32.const 100
      return
    end
    i32.const 200
  )
  (export "" (func 0))
)`).exports[""];

assertEq(g(), 200);

var h = wasmEvalText(`(module
  (func (param i32) (result i32)
    block (result i32)
      local.get 0 ;; This must flow into the if below.
      local.get 0
      br_if 0
      drop
      i32.const 0 ;; This must flow into the if below
      i32.const 1
      br_if 0
      drop
      i32.const 1
    end
    if
      i32.const 100
      return
    end
    i32.const 200
  )
  (export "" (func 0))
)`).exports[""];

assertEq(h(0), 200);
assertEq(h(1), 100);