chapter11 cluster_Nodes Start2 Start $ctrl $mem arg MemMerge MemMerge MemMerge->Start2:p1 1 Region23 Region MemMerge->Region23 0 Phi_224 MemPhi_2 MemMerge->Phi_224 2 Stop3 Stop Return25 Return Stop3->Return25 0 Con_4 #0 new9 new S new9->Start2:p0 0 Con_11 #2 Store12 .f = Store12->Start2:p0 0 Store12->new9 2 Store12->Con_11 3 new13 new S new13->Start2:p0 0 Store14 .f = Store14->Start2:p0 0 Store14->Con_4 3 Store14->Store12 1 Store14->new13 2 Load16 .f Load16->Start2:p0 0 Load16->new9 2 Load16->Store14 1 If17 If True False If17->Start2:p0 0 Con_21 #1 Store22 .f = Store22->Start2:p0 0 Store22->new9 2 Store22->Store14 1 Store22->Con_21 3 Region23->If17:p0 1 Region23->If17:p1 2 Phi_224->Store14 2 Phi_224->Store22 1 Phi_224->Region23 0 Return25->MemMerge 1 Return25->Load16 2 Return25->Region23 0