blob: ec5afbdc5d7daacf892c5aea57290c0bf3c32c3f (
plain)
1
2
3
4
5
6
7
8
9
10
|
digraph Memory {
rankdir=RL;
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];
}
|
