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