chapter10 cluster_Nodes Start2 Start $ctrl arg $2 $3 Stop3 Stop Return27 Return Stop3->Return27 0 new8 new Vector2D new8->Start2:p0 0 Con_9 #0 Store11 .y = Store11->Start2:p3 1 Store11->new8 2 Store11->Con_9 3 Con_12 #1 Store13 .x = Store13->Start2:p2 1 Store13->new8 2 Store13->Con_12 3 If14 If True False If14->Start2:p0 0 Con_18 #2 Store19 .y = Store19->new8 2 Store19->Store11 1 Store19->Con_18 3 Con_22 #3 Store23 .y = Store23->new8 2 Store23->Store11 1 Store23->Con_22 3 Region24 Region Region24->If14:p0 1 Region24->If14:p1 2 Phi_326 φ_$3 Phi_326->Store19 1 Phi_326->Store23 2 Phi_326->Region24 0 Return27->new8 1 Return27->Store13 2 Return27->Region24 0 Return27->Phi_326 3