1 graph: { title: "ir graph of THREE_CFPRED_EXAMPLE_main"
2 display_edge_labels: yes
3 layoutalgorithm: mindepth
6 orientation: bottom_to_top
9 classname 3: "Entity type"classname 4: "Entity owner"classname 5: "Method Param"classname 6: "Method Res"classname 7: "Super"classname 8: "Union"classname 9: "Points-to"classname 10: "Array Element Type"classname 11: "Overwrites"classname 12: "Member"
10 graph: { title: "61" label: "61" status:clustered color:yellow
11 edge: {sourcename: "61" targetname: "62" label: "0" color: red}
12 node: {title: "60" label: "End 60" color: blue}
15 graph: { title: "63" label: "63" status:clustered color:yellow
16 edge: {sourcename: "63" targetname: "86" label: "0" color: red}
17 edge: {sourcename: "63" targetname: "83" label: "1" color: red}
18 edge: {sourcename: "63" targetname: "64" label: "2" color: red}
19 node: {title: "62" label: "Return 62" }
20 edge: {sourcename: "62" targetname: "92" label: "0" color: blue}
21 edge: {sourcename: "62" targetname: "89" label: "1" }
22 node: {title: "89" label: "PhiI 89" color: green}
23 edge: {sourcename: "89" targetname: "91" label: "0" }
24 edge: {sourcename: "89" targetname: "90" label: "1" }
25 edge: {sourcename: "89" targetname: "90" label: "2" }
28 graph: { title: "65" label: "65" status:clustered color:yellow
29 edge: {sourcename: "65" targetname: "66" label: "0" color: red}
30 node: {title: "64" label: "Jmp 64" }
33 graph: { title: "67" label: "67" status:clustered color:yellow
34 edge: {sourcename: "67" targetname: "68" label: "0" color: red}
35 node: {title: "66" label: "ProjX 1 66" color: yellow}
36 edge: {sourcename: "66" targetname: "79" label: "0" color: red}
37 node: {title: "79" label: "Cond 79" }
38 edge: {sourcename: "79" targetname: "80" label: "0" }
39 node: {title: "80" label: "Projb Eq 80" color: yellow}
40 edge: {sourcename: "80" targetname: "81" label: "0" }
41 node: {title: "81" label: "CmpT 81" }
42 edge: {sourcename: "81" targetname: "82" label: "0" }
43 edge: {sourcename: "81" targetname: "76" label: "1" }
44 node: {title: "85" label: "ProjX 0 85" color: yellow}
45 edge: {sourcename: "85" targetname: "79" label: "0" color: red}
48 graph: { title: "69" label: "69" status:clustered color:yellow
49 edge: {sourcename: "69" targetname: "70" label: "0" color: red}
50 node: {title: "68" label: "ProjX 0 68" color: yellow}
51 edge: {sourcename: "68" targetname: "73" label: "0" color: red}
52 node: {title: "73" label: "Cond 73" }
53 edge: {sourcename: "73" targetname: "74" label: "0" }
54 node: {title: "74" label: "Projb Eq 74" color: yellow}
55 edge: {sourcename: "74" targetname: "75" label: "0" }
56 node: {title: "75" label: "CmpT 75" }
57 edge: {sourcename: "75" targetname: "78" label: "0" }
58 edge: {sourcename: "75" targetname: "76" label: "1" }
59 node: {title: "76" label: "ProjI 0 76" color: yellow}
60 edge: {sourcename: "76" targetname: "77" label: "0" }
61 node: {title: "88" label: "ProjX 1 88" color: yellow}
62 edge: {sourcename: "88" targetname: "73" label: "0" color: red}
65 graph: { title: "71" label: "71" status:clustered color:yellow
66 edge: {sourcename: "71" targetname: "70" label: "0" color: red}
67 node: {title: "70" label: "ProjX 0 70" color: yellow}
68 edge: {sourcename: "70" targetname: "72" label: "0" color: red}
69 node: {title: "72" label: "Start 72" color: blue}
70 node: {title: "77" label: "ProjT 4 77" color: yellow}
71 edge: {sourcename: "77" targetname: "72" label: "0" }
72 node: {title: "78" label: "1I 78" color: yellow}
73 node: {title: "82" label: "3I 82" color: yellow}
74 node: {title: "90" label: "6I 90" color: yellow}
75 node: {title: "91" label: "5I 91" color: yellow}
76 node: {title: "92" label: "ProjM 1 92" color: yellow}
77 edge: {sourcename: "92" targetname: "72" label: "0" color: blue}
80 graph: { title: "84" label: "84" status:clustered color:yellow
81 edge: {sourcename: "84" targetname: "85" label: "0" color: red}
82 node: {title: "83" label: "Jmp 83" }
85 graph: { title: "87" label: "87" status:clustered color:yellow
86 edge: {sourcename: "87" targetname: "88" label: "0" color: red}
87 node: {title: "86" label: "Jmp 86" }
90 node: {title: "95" label: "Bad 95" }