summaryrefslogtreecommitdiff
path: root/docs/chapter10a/example2b.gv
blob: 3f3309e575ff0e7035c68f0183b1cc60675cbb61 (plain)
1
2
3
4
5
6
7
8
9
10
11
digraph Memory {
  rankdir=RL;
  node [shape=box];
  P [label="Phi(memory)"];
  S [label="Loop-body Store"];
  P -> Entry [color=blue];
  P -> S [color=blue,constraint=false]; // Backedge must not place Store before Phi.
  S -> P [color=blue];
  P -> Loop [style=dashed]; Return -> P [color=blue];
  Return -> S [style=invis]; // Layout only: Phi, Store, Return from left to right.
}