1 graph: { title: "ir graph of LOOP_UNROLL_EXAMPLE_m6"
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 node: {title: "n401" label: "Start 401" info1: "Start 401
58 irg: LOOP_UNROLL_EXAMPLE_m6
63 in loop 627 with depth 0
64 start of method of type LOOP_UNROLL_EXAMPLE_meth_tp
68 edge: { sourcename: "n401" targetname: "n400" class:2 priority:50 linestyle:dotted}
69 node: {title: "n404" label: "ProjX 0 404" info1: "Proj 404
72 irg: LOOP_UNROLL_EXAMPLE_m6
78 in loop 627 with depth 0
81 edge: {sourcename: "n404" targetname: "n401" label: "0" class:13 priority:60 color:red}
82 edge: { sourcename: "n404" targetname: "n400" class:2 priority:50 linestyle:dotted}
83 node: {title: "n400" label: "Block 400" info1: "Block 400
86 irg: LOOP_UNROLL_EXAMPLE_m6
92 in loop 627 with depth 0
94 dominator info: output not implemented
97 edge: {sourcename: "n400" targetname: "n404" label: "0" class:13 priority:60 color:red}
98 node: {title: "n427" label: "SubIs 427" info1: "Sub 427
101 irg: LOOP_UNROLL_EXAMPLE_m6
108 in loop 628 with depth 1
111 node: {title: "n427n423" label: "0x1Is 423" info1: "0x1 423
114 irg: LOOP_UNROLL_EXAMPLE_m6
119 in loop 627 with depth 0
120 Const of type type_unknown
123 edge: {sourcename: "n427" targetname: "n453" label: "0" class:16 priority:10}
124 edge: {sourcename: "n427" targetname: "n427n423" label: "1" class:16 priority:10}
125 edge: { sourcename: "n427" targetname: "n422" class:2 priority:50 linestyle:dotted}
126 node: {title: "n453" label: "PhiIs 453" info1: "Phi 453
129 irg: LOOP_UNROLL_EXAMPLE_m6
137 in loop 628 with depth 1
140 node: {title: "n453n411" label: "0x0Is 411" info1: "0x0 411
143 irg: LOOP_UNROLL_EXAMPLE_m6
148 in loop 627 with depth 0
149 Const of type type_unknown
152 edge: {sourcename: "n453" targetname: "n453n411" label: "0" class:16 priority:10}
153 backedge: {sourcename: "n453" targetname: "n427" label: "1" linestyle:dashed class:16 priority:10}
154 edge: { sourcename: "n453" targetname: "n414" class:2 priority:50 linestyle:dotted}
155 node: {title: "n417" label: "Cmp 417" info1: "Cmp 417
158 irg: LOOP_UNROLL_EXAMPLE_m6
165 in loop 629 with depth 2
168 node: {title: "n417n416" label: "0xBIs 416" info1: "0xB 416
171 irg: LOOP_UNROLL_EXAMPLE_m6
176 in loop 627 with depth 0
177 Const of type type_unknown
180 edge: {sourcename: "n417" targetname: "n417n416" label: "0" class:16 priority:10}
181 edge: {sourcename: "n417" targetname: "n453" label: "1" class:1 priority:50}
182 edge: { sourcename: "n417" targetname: "n414" class:2 priority:50 linestyle:dotted}
183 node: {title: "n418" label: "Projb Ge 418" info1: "Proj 418
186 irg: LOOP_UNROLL_EXAMPLE_m6
192 in loop 629 with depth 2
195 edge: {sourcename: "n418" targetname: "n417" label: "0" class:1 priority:50}
196 edge: { sourcename: "n418" targetname: "n414" class:2 priority:50 linestyle:dotted}
197 node: {title: "n419" label: "Cond 419" info1: "Cond 419
200 irg: LOOP_UNROLL_EXAMPLE_m6
206 in loop 629 with depth 2
207 condition kind: dense
211 edge: {sourcename: "n419" targetname: "n418" label: "0" class:1 priority:50}
212 edge: { sourcename: "n419" targetname: "n414" class:2 priority:50 linestyle:dotted}
213 node: {title: "n421" label: "ProjX 1 421" info1: "Proj 421
216 irg: LOOP_UNROLL_EXAMPLE_m6
222 in loop 629 with depth 2
225 edge: {sourcename: "n421" targetname: "n419" label: "0" class:13 priority:60 color:red}
226 edge: { sourcename: "n421" targetname: "n414" class:2 priority:50 linestyle:dotted}
227 node: {title: "n422" label: "Block 422" info1: "Block 422
230 irg: LOOP_UNROLL_EXAMPLE_m6
236 in loop 629 with depth 2
238 dominator info: output not implemented
241 edge: {sourcename: "n422" targetname: "n421" label: "0" class:13 priority:60 color:red}
242 node: {title: "n439" label: "Jmp 439" info1: "Jmp 439
245 irg: LOOP_UNROLL_EXAMPLE_m6
250 in loop 629 with depth 2
253 edge: { sourcename: "n439" targetname: "n422" class:2 priority:50 linestyle:dotted}
254 node: {title: "n410" label: "Block 410" info1: "Block 410
257 irg: LOOP_UNROLL_EXAMPLE_m6
263 in loop 627 with depth 0
265 dominator info: output not implemented
268 edge: {sourcename: "n410" targetname: "n404" label: "0" class:13 priority:60 color:red}
269 node: {title: "n413" label: "Jmp 413" info1: "Jmp 413
272 irg: LOOP_UNROLL_EXAMPLE_m6
277 in loop 627 with depth 0
280 edge: { sourcename: "n413" targetname: "n410" class:2 priority:50 linestyle:dotted}
281 node: {title: "n414" label: "Block 414" info1: "Block 414
284 irg: LOOP_UNROLL_EXAMPLE_m6
291 in loop 629 with depth 2
293 dominator info: output not implemented
296 edge: {sourcename: "n414" targetname: "n413" label: "0" class:13 priority:60 color:red}
297 backedge: {sourcename: "n414" targetname: "n439" label: "1" linestyle:dashed class:13 priority:60 color:red}
298 node: {title: "n420" label: "ProjX 0 420" info1: "Proj 420
301 irg: LOOP_UNROLL_EXAMPLE_m6
307 in loop 627 with depth 0
310 edge: {sourcename: "n420" targetname: "n419" label: "0" class:13 priority:60 color:red}
311 edge: { sourcename: "n420" targetname: "n414" class:2 priority:50 linestyle:dotted}
312 node: {title: "n445" label: "Block 445" info1: "Block 445
315 irg: LOOP_UNROLL_EXAMPLE_m6
321 in loop 627 with depth 0
323 dominator info: output not implemented
326 edge: {sourcename: "n445" targetname: "n420" label: "0" class:13 priority:60 color:red}
327 node: {title: "n428" label: "MulIs 428" info1: "Mul 428
330 irg: LOOP_UNROLL_EXAMPLE_m6
337 in loop 627 with depth 0
340 node: {title: "n428n425" label: "0x4Is 425" info1: "0x4 425
343 irg: LOOP_UNROLL_EXAMPLE_m6
348 in loop 627 with depth 0
349 Const of type type_unknown
352 edge: {sourcename: "n428" targetname: "n428n425" label: "0" class:16 priority:10}
353 edge: {sourcename: "n428" targetname: "n427" label: "1" class:1 priority:50}
354 edge: { sourcename: "n428" targetname: "n422" class:2 priority:50 linestyle:dotted}
355 node: {title: "n430" label: "AddP 430" info1: "Add 430
358 irg: LOOP_UNROLL_EXAMPLE_m6
365 in loop 627 with depth 0
368 node: {title: "n430n412" label: "SymC &a 412" info1: "SymC &a 412
371 irg: LOOP_UNROLL_EXAMPLE_m6
376 in loop 627 with depth 0
378 entity: entity GlobalType.a (396)
380 type of value: type_unknown
383 edge: {sourcename: "n430" targetname: "n428" label: "0" class:1 priority:50}
384 edge: {sourcename: "n430" targetname: "n430n412" label: "1" class:16 priority:10}
385 edge: { sourcename: "n430" targetname: "n422" class:2 priority:50 linestyle:dotted}
386 node: {title: "n431" label: "SubP 431" info1: "Sub 431
389 irg: LOOP_UNROLL_EXAMPLE_m6
396 in loop 627 with depth 0
399 node: {title: "n431n424" label: "0x5Is 424" info1: "0x5 424
402 irg: LOOP_UNROLL_EXAMPLE_m6
407 in loop 627 with depth 0
408 Const of type type_unknown
411 edge: {sourcename: "n431" targetname: "n431n424" label: "0" class:16 priority:10}
412 edge: {sourcename: "n431" targetname: "n430" label: "1" class:1 priority:50}
413 edge: { sourcename: "n431" targetname: "n422" class:2 priority:50 linestyle:dotted}
414 node: {title: "n432" label: "AddP 432" info1: "Add 432
417 irg: LOOP_UNROLL_EXAMPLE_m6
424 in loop 627 with depth 0
427 node: {title: "n432n425" label: "0x4Is 425" info1: "0x4 425
430 irg: LOOP_UNROLL_EXAMPLE_m6
435 in loop 627 with depth 0
436 Const of type type_unknown
439 edge: {sourcename: "n432" targetname: "n432n425" label: "0" class:16 priority:10}
440 edge: {sourcename: "n432" targetname: "n431" label: "1" class:1 priority:50}
441 edge: { sourcename: "n432" targetname: "n422" class:2 priority:50 linestyle:dotted}
442 node: {title: "n433" label: "AddP 433" info1: "Add 433
445 irg: LOOP_UNROLL_EXAMPLE_m6
452 in loop 627 with depth 0
455 node: {title: "n433n425" label: "0x4Is 425" info1: "0x4 425
458 irg: LOOP_UNROLL_EXAMPLE_m6
463 in loop 627 with depth 0
464 Const of type type_unknown
467 edge: {sourcename: "n433" targetname: "n433n425" label: "0" class:16 priority:10}
468 edge: {sourcename: "n433" targetname: "n432" label: "1" class:1 priority:50}
469 edge: { sourcename: "n433" targetname: "n422" class:2 priority:50 linestyle:dotted}
470 node: {title: "n436" label: "Store 436" info1: "Store 436
473 irg: LOOP_UNROLL_EXAMPLE_m6
481 pinned state: op_pin_state_pinned
482 in loop 630 with depth 1
483 volatility: volatility_non_volatile
486 node: {title: "n436n434" label: "0x13Is 434" info1: "0x13 434
489 irg: LOOP_UNROLL_EXAMPLE_m6
494 in loop 627 with depth 0
495 Const of type type_unknown
498 edge: {sourcename: "n436" targetname: "n452" label: "0" class:17 priority:10 color:blue}
499 edge: {sourcename: "n436" targetname: "n433" label: "1" class:1 priority:50}
500 edge: {sourcename: "n436" targetname: "n436n434" label: "2" class:16 priority:10}
501 edge: { sourcename: "n436" targetname: "n422" class:2 priority:50 linestyle:dotted}
502 node: {title: "n438" label: "ProjM 0 438" info1: "Proj 438
505 irg: LOOP_UNROLL_EXAMPLE_m6
511 in loop 630 with depth 1
514 edge: {sourcename: "n438" targetname: "n436" label: "0" class:17 priority:10 color:blue}
515 edge: { sourcename: "n438" targetname: "n422" class:2 priority:50 linestyle:dotted}
516 node: {title: "n407" label: "ProjM 1 407" info1: "Proj 407
519 irg: LOOP_UNROLL_EXAMPLE_m6
525 in loop 627 with depth 0
528 edge: {sourcename: "n407" targetname: "n401" label: "0" class:17 priority:10 color:blue}
529 edge: { sourcename: "n407" targetname: "n400" class:2 priority:50 linestyle:dotted}
530 node: {title: "n452" label: "PhiM 452" info1: "Phi 452
533 irg: LOOP_UNROLL_EXAMPLE_m6
541 in loop 630 with depth 1
544 edge: {sourcename: "n452" targetname: "n407" label: "0" class:17 priority:10 color:blue}
545 backedge: {sourcename: "n452" targetname: "n438" label: "1" linestyle:dashed class:17 priority:10 color:blue}
546 edge: { sourcename: "n452" targetname: "n414" class:2 priority:50 linestyle:dotted}
547 node: {title: "n448" label: "Return 448" info1: "Return 448
550 irg: LOOP_UNROLL_EXAMPLE_m6
557 in loop 627 with depth 0
558 return in method of type LOOP_UNROLL_EXAMPLE_meth_tp
562 node: {title: "n448n425" label: "0x4Is 425" info1: "0x4 425
565 irg: LOOP_UNROLL_EXAMPLE_m6
570 in loop 627 with depth 0
571 Const of type type_unknown
574 edge: {sourcename: "n448" targetname: "n452" label: "0" class:17 priority:10 color:blue}
575 edge: {sourcename: "n448" targetname: "n448n425" label: "1" class:16 priority:10}
576 edge: { sourcename: "n448" targetname: "n445" class:2 priority:50 linestyle:dotted}
577 node: {title: "n398" label: "Block 398" info1: "Block 398
580 irg: LOOP_UNROLL_EXAMPLE_m6
586 in loop 627 with depth 0
588 dominator info: output not implemented
591 edge: {sourcename: "n398" targetname: "n448" label: "0" class:13 priority:60 color:red}
592 node: {title: "n399" label: "End 399" info1: "End 399
595 irg: LOOP_UNROLL_EXAMPLE_m6
601 in loop 627 with depth 0
604 edge: { sourcename: "n399" targetname: "n398" class:2 priority:50 linestyle:dotted}