1 graph: { title: "ir graph of LOOP_UNROLL_EXAMPLE_m3"
2 display_edge_labels: no
3 layoutalgorithm: mindepth
6 orientation: bottom_to_top
7 classname 1: "intrablock Data"
8 classname 16: "interblock Data"
10 classname 13: "Control Flow"
11 classname 18: "Exception Control Flow for Interval Analysis"
12 classname 14: "intrablock Memory"
13 classname 17: "interblock Memory"
14 classname 15: "Dominators"
15 classname 3: "Entity type"
16 classname 4: "Entity owner"
17 classname 5: "Method Param"
18 classname 6: "Method Res"
21 classname 9: "Points-to"
22 classname 10: "Array Element Type"
23 classname 11: "Overwrites"
24 classname 12: "Member"
25 infoname 1: "Attribute"
26 infoname 2: "Verification errors"
28 colorentry 101: 20 0 0
29 colorentry 102: 40 0 0
30 colorentry 103: 60 0 0
31 colorentry 104: 80 0 0
32 colorentry 105: 100 0 0
33 colorentry 106: 120 0 0
34 colorentry 107: 140 0 0
35 colorentry 108: 150 0 0
36 colorentry 109: 180 0 0
37 colorentry 110: 200 0 0
38 colorentry 111: 220 0 0
39 colorentry 112: 240 0 0
40 colorentry 113: 255 0 0
41 colorentry 113: 255 20 20
42 colorentry 114: 255 40 40
43 colorentry 115: 255 60 60
44 colorentry 116: 255 80 80
45 colorentry 117: 255 100 100
46 colorentry 118: 255 120 120
47 colorentry 119: 255 140 140
48 colorentry 120: 255 150 150
49 colorentry 121: 255 180 180
50 colorentry 122: 255 200 200
51 colorentry 123: 255 220 220
52 colorentry 124: 255 240 240
53 colorentry 125: 255 250 250
55 graph: { title: "g210" label: "LOOP_UNROLL_EXAMPLE_m3" status:clustered color:white
56 graph: { title: "n199" label: "Block 199" status:clustered color:yellow
57 edge: {sourcename: "n199" targetname: "n249" label: "0" class:13 priority:60 color:red}
58 node: {title: "n200" label: "End 200" info1: "End 200
61 irg: LOOP_UNROLL_EXAMPLE_m3
67 in loop 556 with depth 0
72 graph: { title: "n246" label: "Block 246" status:clustered color:yellow
73 edge: {sourcename: "n246" targetname: "n221" label: "0" class:13 priority:60 color:red}
74 node: {title: "n249" label: "Return 249" info1: "Return 249
77 irg: LOOP_UNROLL_EXAMPLE_m3
84 in loop 556 with depth 0
85 return in method of type LOOP_UNROLL_EXAMPLE_meth_tp
89 node: {title: "n249n225" label: "0x4Is 225" info1: "0x4 225
92 irg: LOOP_UNROLL_EXAMPLE_m3
97 in loop 556 with depth 0
98 Const of type type_unknown
101 edge: {sourcename: "n249" targetname: "n253" label: "0" class:17 priority:10 color:blue}
102 edge: {sourcename: "n249" targetname: "n249n225" label: "1" class:16 priority:10}
105 graph: { title: "n215" label: "Block 215" status:clustered color:yellow
106 edge: {sourcename: "n215" targetname: "n214" label: "0" class:13 priority:60 color:red}
107 backedge: {sourcename: "n215" targetname: "n571" label: "1" linestyle:dashed class:13 priority:60 color:red}
108 node: {title: "n253" label: "PhiM 253" info1: "Phi 253
111 irg: LOOP_UNROLL_EXAMPLE_m3
119 in loop 559 with depth 1
122 edge: {sourcename: "n253" targetname: "n208" label: "0" class:17 priority:10 color:blue}
123 edge: {sourcename: "n253" targetname: "n569" label: "1" class:17 priority:10 color:blue}
124 node: {title: "n221" label: "ProjX 0 221" info1: "Proj 221
127 irg: LOOP_UNROLL_EXAMPLE_m3
133 in loop 556 with depth 0
136 edge: {sourcename: "n221" targetname: "n220" label: "0" class:13 priority:60 color:red}
137 node: {title: "n222" label: "ProjX 1 222" info1: "Proj 222
140 irg: LOOP_UNROLL_EXAMPLE_m3
146 in loop 558 with depth 2
149 edge: {sourcename: "n222" targetname: "n220" label: "0" class:13 priority:60 color:red}
150 node: {title: "n220" label: "Cond 220" info1: "Cond 220
153 irg: LOOP_UNROLL_EXAMPLE_m3
159 in loop 558 with depth 2
160 condition kind: dense
164 edge: {sourcename: "n220" targetname: "n219" label: "0" class:1 priority:50}
165 node: {title: "n219" label: "Projb Lt 219" info1: "Proj 219
168 irg: LOOP_UNROLL_EXAMPLE_m3
174 in loop 558 with depth 2
177 edge: {sourcename: "n219" targetname: "n218" label: "0" class:1 priority:50}
178 node: {title: "n218" label: "Cmp 218" info1: "Cmp 218
181 irg: LOOP_UNROLL_EXAMPLE_m3
188 in loop 558 with depth 2
191 node: {title: "n218n217" label: "0x0Is 217" info1: "0x0 217
194 irg: LOOP_UNROLL_EXAMPLE_m3
199 in loop 556 with depth 0
200 Const of type type_unknown
203 edge: {sourcename: "n218" targetname: "n218n217" label: "0" class:16 priority:10}
204 edge: {sourcename: "n218" targetname: "n254" label: "1" class:1 priority:50}
205 node: {title: "n254" label: "PhiIs 254" info1: "Phi 254
208 irg: LOOP_UNROLL_EXAMPLE_m3
216 in loop 557 with depth 1
219 node: {title: "n254n212" label: "0xAIs 212" info1: "0xA 212
222 irg: LOOP_UNROLL_EXAMPLE_m3
227 in loop 556 with depth 0
228 Const of type type_unknown
231 edge: {sourcename: "n254" targetname: "n254n212" label: "0" class:16 priority:10}
232 edge: {sourcename: "n254" targetname: "n570" label: "1" class:16 priority:10}
235 graph: { title: "n211" label: "Block 211" status:clustered color:yellow
236 edge: {sourcename: "n211" targetname: "n205" label: "0" class:13 priority:60 color:red}
237 node: {title: "n214" label: "Jmp 214" info1: "Jmp 214
240 irg: LOOP_UNROLL_EXAMPLE_m3
245 in loop 556 with depth 0
250 graph: { title: "n572" label: "Block 572" status:clustered color:yellow
251 edge: {sourcename: "n572" targetname: "n240" label: "0" class:13 priority:60 color:red}
252 node: {title: "n569" label: "ProjM 0 569" info1: "Proj 569
255 irg: LOOP_UNROLL_EXAMPLE_m3
263 edge: {sourcename: "n569" targetname: "n568" label: "0" class:17 priority:10 color:blue}
264 node: {title: "n568" label: "Store 568" info1: "Store 568
267 irg: LOOP_UNROLL_EXAMPLE_m3
275 pinned state: op_pin_state_pinned
276 volatility: volatility_non_volatile
279 edge: {sourcename: "n568" targetname: "n238" label: "0" class:17 priority:10 color:blue}
280 edge: {sourcename: "n568" targetname: "n567" label: "1" class:1 priority:50}
281 edge: {sourcename: "n568" targetname: "n239" label: "2" class:16 priority:10}
282 node: {title: "n567" label: "AddP 567" info1: "Add 567
285 irg: LOOP_UNROLL_EXAMPLE_m3
294 edge: {sourcename: "n567" targetname: "n565" label: "0" class:1 priority:50}
295 edge: {sourcename: "n567" targetname: "n566" label: "1" class:1 priority:50}
296 node: {title: "n566" label: "AddP 566" info1: "Add 566
299 irg: LOOP_UNROLL_EXAMPLE_m3
308 node: {title: "n566n226" label: "0x8Is 226" info1: "0x8 226
311 irg: LOOP_UNROLL_EXAMPLE_m3
316 in loop 556 with depth 0
317 Const of type type_unknown
320 edge: {sourcename: "n566" targetname: "n566n226" label: "0" class:16 priority:10}
321 edge: {sourcename: "n566" targetname: "n565" label: "1" class:1 priority:50}
322 node: {title: "n565" label: "AddP 565" info1: "Add 565
325 irg: LOOP_UNROLL_EXAMPLE_m3
334 node: {title: "n565n226" label: "0x8Is 226" info1: "0x8 226
337 irg: LOOP_UNROLL_EXAMPLE_m3
342 in loop 556 with depth 0
343 Const of type type_unknown
346 edge: {sourcename: "n565" targetname: "n565n226" label: "0" class:16 priority:10}
347 edge: {sourcename: "n565" targetname: "n564" label: "1" class:1 priority:50}
348 node: {title: "n564" label: "AddP 564" info1: "Add 564
351 irg: LOOP_UNROLL_EXAMPLE_m3
360 node: {title: "n564n225" label: "0x4Is 225" info1: "0x4 225
363 irg: LOOP_UNROLL_EXAMPLE_m3
368 in loop 556 with depth 0
369 Const of type type_unknown
372 edge: {sourcename: "n564" targetname: "n564n225" label: "0" class:16 priority:10}
373 edge: {sourcename: "n564" targetname: "n563" label: "1" class:1 priority:50}
374 node: {title: "n563" label: "AddP 563" info1: "Add 563
377 irg: LOOP_UNROLL_EXAMPLE_m3
386 node: {title: "n563n213" label: "SymC &a 213" info1: "SymC &a 213
389 irg: LOOP_UNROLL_EXAMPLE_m3
394 in loop 556 with depth 0
396 entity: entity GlobalType.a (197)
398 type of value: type_unknown
401 edge: {sourcename: "n563" targetname: "n562" label: "0" class:1 priority:50}
402 edge: {sourcename: "n563" targetname: "n563n213" label: "1" class:16 priority:10}
403 node: {title: "n562" label: "MulIs 562" info1: "Mul 562
406 irg: LOOP_UNROLL_EXAMPLE_m3
415 node: {title: "n562n225" label: "0x4Is 225" info1: "0x4 225
418 irg: LOOP_UNROLL_EXAMPLE_m3
423 in loop 556 with depth 0
424 Const of type type_unknown
427 edge: {sourcename: "n562" targetname: "n562n225" label: "0" class:16 priority:10}
428 edge: {sourcename: "n562" targetname: "n239" label: "1" class:16 priority:10}
429 node: {title: "n571" label: "Jmp 571" info1: "Jmp 571
432 irg: LOOP_UNROLL_EXAMPLE_m3
439 node: {title: "n570" label: "SubIs 570" info1: "Sub 570
442 irg: LOOP_UNROLL_EXAMPLE_m3
451 node: {title: "n570n224" label: "0x1Is 224" info1: "0x1 224
454 irg: LOOP_UNROLL_EXAMPLE_m3
459 in loop 556 with depth 0
460 Const of type type_unknown
463 edge: {sourcename: "n570" targetname: "n239" label: "0" class:16 priority:10}
464 edge: {sourcename: "n570" targetname: "n570n224" label: "1" class:16 priority:10}
467 graph: { title: "n223" label: "Block 223" status:clustered color:yellow
468 edge: {sourcename: "n223" targetname: "n222" label: "0" class:13 priority:60 color:red}
469 node: {title: "n238" label: "ProjM 0 238" info1: "Proj 238
472 irg: LOOP_UNROLL_EXAMPLE_m3
478 in loop 559 with depth 1
481 edge: {sourcename: "n238" targetname: "n236" label: "0" class:17 priority:10 color:blue}
482 node: {title: "n236" label: "Store 236" info1: "Store 236
485 irg: LOOP_UNROLL_EXAMPLE_m3
493 pinned state: op_pin_state_pinned
494 in loop 559 with depth 1
495 volatility: volatility_non_volatile
498 edge: {sourcename: "n236" targetname: "n253" label: "0" class:17 priority:10 color:blue}
499 edge: {sourcename: "n236" targetname: "n234" label: "1" class:1 priority:50}
500 edge: {sourcename: "n236" targetname: "n254" label: "2" class:16 priority:10}
501 node: {title: "n234" label: "AddP 234" info1: "Add 234
504 irg: LOOP_UNROLL_EXAMPLE_m3
511 in loop 556 with depth 0
514 edge: {sourcename: "n234" targetname: "n232" label: "0" class:1 priority:50}
515 edge: {sourcename: "n234" targetname: "n233" label: "1" class:1 priority:50}
516 node: {title: "n233" label: "AddP 233" info1: "Add 233
519 irg: LOOP_UNROLL_EXAMPLE_m3
526 in loop 556 with depth 0
529 node: {title: "n233n226" label: "0x8Is 226" info1: "0x8 226
532 irg: LOOP_UNROLL_EXAMPLE_m3
537 in loop 556 with depth 0
538 Const of type type_unknown
541 edge: {sourcename: "n233" targetname: "n233n226" label: "0" class:16 priority:10}
542 edge: {sourcename: "n233" targetname: "n232" label: "1" class:1 priority:50}
543 node: {title: "n232" label: "AddP 232" info1: "Add 232
546 irg: LOOP_UNROLL_EXAMPLE_m3
553 in loop 556 with depth 0
556 node: {title: "n232n226" label: "0x8Is 226" info1: "0x8 226
559 irg: LOOP_UNROLL_EXAMPLE_m3
564 in loop 556 with depth 0
565 Const of type type_unknown
568 edge: {sourcename: "n232" targetname: "n232n226" label: "0" class:16 priority:10}
569 edge: {sourcename: "n232" targetname: "n231" label: "1" class:1 priority:50}
570 node: {title: "n231" label: "AddP 231" info1: "Add 231
573 irg: LOOP_UNROLL_EXAMPLE_m3
580 in loop 556 with depth 0
583 node: {title: "n231n225" label: "0x4Is 225" info1: "0x4 225
586 irg: LOOP_UNROLL_EXAMPLE_m3
591 in loop 556 with depth 0
592 Const of type type_unknown
595 edge: {sourcename: "n231" targetname: "n231n225" label: "0" class:16 priority:10}
596 edge: {sourcename: "n231" targetname: "n230" label: "1" class:1 priority:50}
597 node: {title: "n230" label: "AddP 230" info1: "Add 230
600 irg: LOOP_UNROLL_EXAMPLE_m3
607 in loop 556 with depth 0
610 node: {title: "n230n213" label: "SymC &a 213" info1: "SymC &a 213
613 irg: LOOP_UNROLL_EXAMPLE_m3
618 in loop 556 with depth 0
620 entity: entity GlobalType.a (197)
622 type of value: type_unknown
625 edge: {sourcename: "n230" targetname: "n228" label: "0" class:1 priority:50}
626 edge: {sourcename: "n230" targetname: "n230n213" label: "1" class:16 priority:10}
627 node: {title: "n228" label: "MulIs 228" info1: "Mul 228
630 irg: LOOP_UNROLL_EXAMPLE_m3
637 in loop 556 with depth 0
640 node: {title: "n228n225" label: "0x4Is 225" info1: "0x4 225
643 irg: LOOP_UNROLL_EXAMPLE_m3
648 in loop 556 with depth 0
649 Const of type type_unknown
652 edge: {sourcename: "n228" targetname: "n228n225" label: "0" class:16 priority:10}
653 edge: {sourcename: "n228" targetname: "n254" label: "1" class:16 priority:10}
654 node: {title: "n240" label: "Jmp 240" info1: "Jmp 240
657 irg: LOOP_UNROLL_EXAMPLE_m3
662 in loop 558 with depth 2
665 node: {title: "n239" label: "SubIs 239" info1: "Sub 239
668 irg: LOOP_UNROLL_EXAMPLE_m3
675 in loop 557 with depth 1
678 node: {title: "n239n224" label: "0x1Is 224" info1: "0x1 224
681 irg: LOOP_UNROLL_EXAMPLE_m3
686 in loop 556 with depth 0
687 Const of type type_unknown
690 edge: {sourcename: "n239" targetname: "n254" label: "0" class:16 priority:10}
691 edge: {sourcename: "n239" targetname: "n239n224" label: "1" class:16 priority:10}
694 graph: { title: "n201" label: "Block 201" status:clustered color:yellow
695 edge: {sourcename: "n201" targetname: "n205" label: "0" class:13 priority:60 color:red}
696 node: {title: "n208" label: "ProjM 1 208" info1: "Proj 208
699 irg: LOOP_UNROLL_EXAMPLE_m3
705 in loop 556 with depth 0
708 edge: {sourcename: "n208" targetname: "n202" label: "0" class:17 priority:10 color:blue}
709 node: {title: "n205" label: "ProjX 0 205" info1: "Proj 205
712 irg: LOOP_UNROLL_EXAMPLE_m3
718 in loop 556 with depth 0
721 edge: {sourcename: "n205" targetname: "n202" label: "0" class:13 priority:60 color:red}
722 node: {title: "n202" label: "Start 202" info1: "Start 202
725 irg: LOOP_UNROLL_EXAMPLE_m3
730 in loop 556 with depth 0
731 start of method of type LOOP_UNROLL_EXAMPLE_meth_tp