blob: 4e3fb2328679324bca567da67234e971828d685d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
// 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);
|
