diff options
Diffstat (limited to 'doc/g2.gv')
| -rw-r--r-- | doc/g2.gv | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/g2.gv b/doc/g2.gv new file mode 100644 index 0000000..76f9340 --- /dev/null +++ b/doc/g2.gv @@ -0,0 +1,10 @@ +digraph G { + a [shape = box, fontname = "monospace", label = "a = x_0\nif (a == 0) goto _L1"]; + b [shape = box, fontname = "monospace", label = "x_1 = 1"]; + c [shape = box, fontname = "monospace", label = "x_2 = 2"]; + d [shape = box, fontname = "monospace", label = "x_3 = phi(x_1, x_2)\ny_0 = x_3 + 1"]; + a -> b; + a -> c; + b -> d; + c -> d; +} |