digraph Memory {
  rankdir=LR;
  node [shape=box];
  P [label="Phi(memory)"];
  S [label="Loop-body Store"];
  P -> Entry [color=blue]; P -> S -> P [color=blue];
  P -> Loop [style=dashed]; Return -> P [color=blue];
}