Memory P MemPhi(x) Left Left P->Left slice x Right Right P->Right slice x Region Region P->Region B BulkMemPhi(All except x) B->Left B->Right B->Region MemMerge MemMerge MemMerge->P x MemMerge->B default