Memory P Phi(memory) S Loop-body Store P->S Return Return P->Return S->P Entry Entry Entry->P Loop Loop Loop->P