blob: 13fd75e0e92dd300e1f7d12491aeebc4828584a7 (
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)"];
M -> A -> P [color=blue]; M -> B -> P [color=blue];
Region -> P [style=dashed]; P -> Return [color=blue];
}
|
