Source code
Revision control
Copy as Markdown
Other Tools
// Test the triangle pattern where the phi-input doesn't match the initial input.
//
// initialBlock
// / \
// trueBranch |
// \ /
// phiBlock+falseBranch
// |
// testBlock
//
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);