summaryrefslogtreecommitdiff
path: root/chapter10a/docs/example2a.gv
blob: 64e774fc4223b61154efb3cc196be786a5b443f6 (plain)
1
2
3
4
5
6
7
8
9
10
digraph Memory {
  rankdir=LR;
  node [shape=box];
  M [label="Incoming memory"];
  A [label="True: Store x"];
  B [label="False: Store y"];
  P [label="Phi(memory)"];
  P -> A -> M [color=blue]; P -> B -> M [color=blue];
  P -> Region [style=dashed]; Return -> P [color=blue];
}