Java Reference
In-Depth Information
Node
IN
Y
Soln
(
Y
)
Marker
94
Marker
95
Y
u
w
x
y uwxy
1
3
4
No change
4
4
4
4
14
3
4
4
4
4
5
5
5
5
5
5
5
13
5
5
5
5
5
6
5
6
5
6
∧
13
=
13
=
6
∧
13
=
6
∧
13
=
7
∧
5
5
3
7
5
7
3
14
3
7
∧
14
=
14
=
7
∧
14
=
8
∧
5
∧
=
3
5
3
8
5
8
3
8
∧
11
=
11
=
8
∧
11
=
11
=
9
∧
5
∧
3
533
9
5
9
3
9
3
9
10
173
10
∧
9
=
10
1
9
5
10
7
9
3
10
3
9
3
11
∧
=⊥
∧
=⊥
∧
=
3
⊥⊥⊥
3
11
⊥
11
⊥
11
⊥
11
3
12
⊥⊥⊥
3
1
∧
12
⊥ =⊥
1
∧
12
⊥ =⊥
1
∧
12
⊥ =⊥
1
∧
12
3
2
=
3
⊥⊥⊥
3
1
3
No change
3
∧
12
⊥ =⊥
3
∧
12
⊥ =⊥
3
∧
12
⊥ =⊥
3
∧
12
3 =
4
3
⊥⊥⊥
3
4
3
4
⊥
4
⊥
4
⊥
14
⊥⊥⊥
3
4
3
4
⊥
4
⊥
4
⊥
5
⊥
5
⊥
3
5
5
5
3
5
⊥
5
⊥
13
⊥
5
⊥
3
5
5
5
3
5
⊥
5
⊥
6
⊥
5
⊥
3
6
5
13
5
6
3
13
3
6
⊥ ∧
13
⊥ =⊥
6
⊥ ∧
13
⊥ =⊥
7
∧
=
5
∧
=
3
⊥
5
⊥
3
7
⊥
∧
14
⊥
=⊥
7
5
14
⊥
=⊥
7
⊥
∧
14
⊥
=⊥
7
3
14
3
8
∧
∧
=
3
⊥⊥⊥
3
8
⊥
∧
11
⊥
=⊥
8
⊥
∧
11
⊥
=⊥
8
⊥
∧
11
⊥
=⊥
8
3
11
=
9
∧
3
⊥
533
9
⊥
9
5
9
3
9
3
10
⊥
173
11
12
2
No change
⊥⊥⊥
3
Figure 14.61: Evaluation of constant propagation for Figure 14.60.
