chapter10a/docs/example2b.gv


1
2
3
4
5
6
7
8

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];
}