Memory M Incoming memory A True: Store x A->M B False: Store y B->M P Phi(memory) P->A P->B Region Region P->Region Return Return Return->P