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