blob: 2194ae8fe63aa139ef41c99b109cde6870ac5ed3 (
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"];
L -> X -> M [color=blue]; Y -> M [color=green];
MemMerge -> X [color=blue]; MemMerge -> Y [color=green];
Return -> MemMerge; Return -> L;
}
|
