Skip to content

Commit 8943d98

Browse files
ChrisCumminsChrisCummins
committed
Documentation: Add a render of the type representation.
github.com//issues/82 Signed-off-by: format 2020.06.15 <github.com/ChrisCummins/format>
1 parent 3a36a46 commit 8943d98

File tree

2 files changed

+126
-0
lines changed

2 files changed

+126
-0
lines changed

‎programl/Documentation/assets/llvm2graph-5-types.dot

+126
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,126 @@
1+
digraph main {
2+
margin=0;
3+
4+
graph [
5+
fontsize=100,
6+
nodesep=0.2,
7+
ranksep=0.2,
8+
];
9+
node [
10+
fontname=Inconsolata,
11+
fontsize=25,
12+
penwidth=2,
13+
margin=0,
14+
];
15+
edge [
16+
fontname=Inconsolata,
17+
fontsize=22,
18+
arrowsize=.8,
19+
penwidth=1,
20+
]
21+
22+
// === Nodes ===
23+
external [shape=box, style=filled, fillcolor="#C0DAFF", color="#C0DAFF", fontcolor="#345393" label="[external]", width=2];
24+
25+
// Types:
26+
i32 [shape=diamond, margin=0, style=filled, fillcolor="#CCCCCC", width=1, color="#CCCCCC", fontcolor="#222222", label="i32"];
27+
28+
// Constants:
29+
const_0 [shape=octagon, margin=0, style=filled, fillcolor="#F4CCCC", width=1, color="#F4CCCC", fontcolor="#990000", label="val"]; // 0
30+
const_1 [shape=octagon, margin=0, style=filled, fillcolor="#F4CCCC", width=1, color="#F4CCCC", fontcolor="#990000", label="val"]; // 1
31+
const_minus_1 [shape=octagon, margin=0, style=filled, fillcolor="#F4CCCC", width=1, color="#F4CCCC", fontcolor="#990000", label="val"]; // -1
32+
const_minus_2 [shape=octagon, margin=0, style=filled, fillcolor="#F4CCCC", width=1, color="#F4CCCC", fontcolor="#990000", label="val"]; // -2
33+
34+
// Instructions:
35+
inst_switch [shape=box, style=filled, fillcolor="#C0DAFF", color="#C0DAFF", fontcolor="#345393", width=2, label="switch"];
36+
inst_br [shape=box, style=filled, fillcolor="#C0DAFF", color="#C0DAFF", fontcolor="#345393", width=1, label="br"];
37+
phi [shape=box, style=filled, fillcolor="#C0DAFF", color="#C0DAFF", fontcolor="#345393", width=1, label="phi"];
38+
inst_add_minus_1 [shape=box, style=filled, fillcolor="#C0DAFF", color="#C0DAFF", fontcolor="#345393", width=1, label="add"];
39+
call_1 [shape=box, style=filled, fillcolor="#C0DAFF", color="#C0DAFF", fontcolor="#345393", width=1, label="call"];
40+
inst_add_minus_2 [shape=box, style=filled, fillcolor="#C0DAFF", color="#C0DAFF", fontcolor="#345393", width=1, label="add"];
41+
call_2 [shape=box, style=filled, fillcolor="#C0DAFF", color="#C0DAFF", fontcolor="#345393", width=1, label="call"];
42+
add_3 [shape=box, style=filled, fillcolor="#C0DAFF", color="#C0DAFF", fontcolor="#345393", width=1, label="add"];
43+
ret_2 [shape=box, style=filled, fillcolor="#C0DAFF", color="#C0DAFF", fontcolor="#345393", width=1, label="ret"];
44+
ret_1 [shape=box, style=filled, fillcolor="#C0DAFF", color="#C0DAFF", fontcolor="#345393", width=1, label="ret"];
45+
46+
// Variables:
47+
arg_0 [shape=ellipse, style=filled, fillcolor="#E99C9C", color="#E99C9C", width=1, fontcolor="#990000", label="var"]; // %0
48+
var_4 [shape=ellipse, style=filled, fillcolor="#E99C9C", color="#E99C9C", width=1, fontcolor="#990000", label="var"]; // %4
49+
var_5 [shape=ellipse, style=filled, fillcolor="#E99C9C", color="#E99C9C", width=1, fontcolor="#990000", label="var"]; // %5
50+
var_6 [shape=ellipse, style=filled, fillcolor="#E99C9C", color="#E99C9C", width=1, fontcolor="#990000", label="var"]; // %6
51+
var_7 [shape=ellipse, style=filled, fillcolor="#E99C9C", color="#E99C9C", width=1, fontcolor="#990000", label="var"]; // %7
52+
var_8 [shape=ellipse, style=filled, fillcolor="#E99C9C", color="#E99C9C", width=1, fontcolor="#990000", label="var"]; // %8
53+
var_10 [shape=ellipse, style=filled, fillcolor="#E99C9C", color="#E99C9C", width=1, fontcolor="#990000", label="var"]; // %10
54+
55+
56+
// === Edges ===
57+
58+
// Control edges:
59+
inst_switch -> inst_add_minus_1 [color="#345393", weight=10, labelfontcolor="#345393", minlen=2];
60+
inst_switch -> phi [color="#345393", weight=10, labelfontcolor="#345393", minlen=2];
61+
inst_switch -> inst_br [color="#345393", weight=10, labelfontcolor="#345393", minlen=2];
62+
inst_br -> phi [color="#345393", weight=10];
63+
inst_add_minus_1 -> call_1 [color="#345393", weight=10];
64+
call_1 -> inst_add_minus_2 [color="#345393", weight=10];
65+
inst_add_minus_2 -> call_2 [color="#345393", weight=10];
66+
call_2 -> add_3 [color="#345393", weight=10];
67+
add_3 -> ret_2 [color="#345393", weight=10];
68+
phi -> ret_1 [color="#345393", weight=10];
69+
70+
// Data edges:
71+
inst_add_minus_1 -> var_4 [color="#EA9999", labelfontcolor="#990000", weight=0];
72+
call_1 -> var_5 [color="#EA9999", labelfontcolor="#990000", weight=0];
73+
var_4 -> call_1 [color="#EA9999", labelfontcolor="#990000", weight=0];
74+
inst_add_minus_2 -> var_6 [color="#EA9999", labelfontcolor="#990000", weight=0];
75+
call_2 -> var_7 [color="#EA9999", labelfontcolor="#990000", weight=0];
76+
var_6 -> call_2 [color="#EA9999", labelfontcolor="#990000", weight=0];
77+
add_3 -> var_8 [color="#EA9999", labelfontcolor="#990000", weight=0];
78+
var_7 -> add_3 [color="#EA9999", labelfontcolor="#990000", weight=0];
79+
var_5 -> add_3 [color="#EA9999", labelfontcolor="#990000", weight=0];
80+
var_8 -> ret_2 [color="#EA9999", labelfontcolor="#990000", weight=0];
81+
phi -> var_10 [color="#EA9999", labelfontcolor="#990000", weight=0];
82+
var_10 -> ret_1 [color="#EA9999", labelfontcolor="#990000", weight=0];
83+
arg_0 -> inst_switch [color="#EA9999", labelfontcolor="#990000", weight=0];
84+
arg_0 -> inst_add_minus_1 [color="#EA9999", labelfontcolor="#990000", weight=0];
85+
arg_0 -> inst_add_minus_2 [color="#EA9999", labelfontcolor="#990000", weight=0];
86+
arg_0 -> phi [color="#EA9999", labelfontcolor="#990000", weight=0];
87+
88+
// Data edges (constants):
89+
90+
const_0 -> inst_switch [color="#EA9999", labelfontcolor="#990000"];
91+
const_1 -> inst_switch [color="#EA9999", labelfontcolor="#990000"];
92+
const_1 -> phi [color="#EA9999", labelfontcolor="#990000"];
93+
const_minus_1 -> inst_add_minus_1 [color="#EA9999", labelfontcolor="#990000"];
94+
const_minus_2 -> inst_add_minus_2 [color="#EA9999", labelfontcolor="#990000"];
95+
96+
// Call edges
97+
external -> inst_switch [color="#5dba83", weight=0];
98+
ret_2 -> external [color="#5dba83", weight=0];
99+
ret_1 -> external [color="#5dba83", weight=0];
100+
ret_1 -> call_2 [color="#5dba83", weight=0];
101+
ret_1 -> call_1 [color="#5dba83", weight=0];
102+
call_1 -> inst_switch [color="#5dba83", weight=0];
103+
call_2 -> inst_switch [color="#5dba83", weight=0];
104+
ret_2 -> call_2 [color="#5dba83", weight=0];
105+
ret_2 -> call_1 [color="#5dba83", weight=0];
106+
107+
// Type edges
108+
i32 -> const_0 [color="#AAAAAA", penwidth=3, weight=1];
109+
i32 -> const_1 [color="#AAAAAA", penwidth=3, weight=1];
110+
i32 -> const_minus_1 [color="#AAAAAA", penwidth=3, weight=1];
111+
i32 -> const_minus_2 [color="#AAAAAA", penwidth=3, weight=1];
112+
i32 -> arg_0 [color="#AAAAAA", penwidth=3, weight=1];
113+
i32 -> var_4 [color="#AAAAAA", penwidth=3, weight=1];
114+
i32 -> var_5 [color="#AAAAAA", penwidth=3, weight=1];
115+
i32 -> var_6 [color="#AAAAAA", penwidth=3, weight=1];
116+
i32 -> var_7 [color="#AAAAAA", penwidth=3, weight=1];
117+
i32 -> var_8 [color="#AAAAAA", penwidth=3, weight=1];
118+
i32 -> var_10 [color="#AAAAAA", penwidth=3, weight=1];
119+
120+
rankdir = TB;
121+
{rank = same; inst_add_minus_1; phi; inst_br;}
122+
{rank = same; ret_1; call_1;}
123+
{rank = same; call_2, var_5, var_6;}
124+
{rank = same; add_3, var_7;}
125+
{rank = same; ret_2, var_8;}
126+
}

‎programl/Documentation/assets/llvm2graph-5-types.png

154 KB
Loading

0 commit comments

Comments
 (0)