Java Reference
In-Depth Information
i
1
←
1
i
←
1
j
1
←
1
j
←
1
k
1
←
1
k
←
1
l
1
←
1
repeat
i
2
l
←
1
repeat
←φ
(
i
3
,
i
1
)
j
2
←φ
(
j
4
,
j
1
)
k
2
←φ
(
k
5
,
k
1
)
l
2
←φ
(
l
9
,
l
1
)
if
p
then
j
3
if
p
then
j
←
i
if
q
then
←
i
2
if
q
then
l
3
←
2
l
←
2
else
l
4
←
3
else
l
←
3
l
5
←φ
(
l
3
,
l
4
)
k
←
k
+
1
k
3
←
k
2
+
1
else
k
←
k
+
2
else
k
4
←
k
2
+
2
j
4
←φ
(
j
3
,
j
2
)
k
5
←φ
(
k
3
,
k
4
)
l
6
←φ
(
l
2
,
l
5
)
call
print
(
i
2
,
j
4
,
k
5
,
l
6
)
call
print
(
i
,
j
,
k
,
l
)
repeat
l
7
repeat
←φ
(
l
9
,
l
6
)
if
r
then
l
8
if
r
then
l
←
l
+
←
l
7
+
4
4
l
9
←φ
(
l
8
,
l
7
)
until
s
i
←
i
+
until
s
i
3
6
←
i
2
+
6
until
t
until
t
(a)
(b)
Figure 10.5: SSA Form example taken from [CFR
+
91]. Program (b)
shows the SSA Form for program (a).