chapter10a/docs/example2c.gv


1
2
3
4
5
6
7
8
9

digraph Memory {
  rankdir=RL;
  node [shape=box];
  M [label="Prior memory"];
  L [label="Load p.x"];
  S [label="Store p.x"];
  L -> M [color=blue]; S -> M [color=blue];
  S -> L [style=dashed,label="execute load first"];
}