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