blob: d1b2d456046549b820dd8140b9bb62fd7cd4d3b5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
digraph Memory {
rankdir=LR;
node [shape=box];
M [label="Initial memory"];
X [label="Store x = 42"];
Y [label="Loop: Store y"];
L [label="Load x -> 42"];
M -> X -> L [color=blue]; M -> Y [color=green];
X -> MemMerge [color=blue]; Y -> MemMerge [color=green];
MemMerge -> Return; L -> Return;
}
|
