Java Reference
In-Depth Information
for each distinct statement that could execute just before
p
.Intheexample
above, the
if
-
then
-
else
construct results in two statements that could execute
just before the
-function, and it therefore has two parameters. The values
supplied for the parameters are the values of
v
transmitted through each
statement that could execute just before the
φ
φ
-function.
-function with a single parameter serves no purpose. The
parameter can simply pass through without being renamed. The trick in
computing SSA Form is to determine the minimum number of
Clearly, a
φ
-functions
that must be placed so that each use is reached by a unique def. A more
complete example is shown in Figure 10.5.
φ
