1 graph: { title: "ir graph of STRENGTH_RED_EXAMPLE_m1"
2 display_edge_labels: no
3 layoutalgorithm: mindepth
6 orientation: bottom_to_top
7 classname 1: "intrablock Data"
9 classname 3: "Entity type"
10 classname 4: "Entity owner"
11 classname 5: "Method Param"
12 classname 6: "Method Res"
15 classname 9: "Points-to"
16 classname 10: "Array Element Type"
17 classname 11: "Overwrites"
18 classname 12: "Member"
19 classname 13: "Control Flow"
20 classname 14: "intrablock Memory"
21 classname 15: "Dominators"
22 classname 16: "interblock Data"
23 classname 17: "interblock Memory"
24 classname 18: "Exception Control Flow for Interval Analysis"
25 classname 19: "Postdominators"
26 infoname 1: "Attribute"
27 infoname 2: "Verification errors"
28 infoname 3: "Debug info"
30 colorentry 101: 20 0 0
31 colorentry 102: 40 0 0
32 colorentry 103: 60 0 0
33 colorentry 104: 80 0 0
34 colorentry 105: 100 0 0
35 colorentry 106: 120 0 0
36 colorentry 107: 140 0 0
37 colorentry 108: 150 0 0
38 colorentry 109: 180 0 0
39 colorentry 110: 200 0 0
40 colorentry 111: 220 0 0
41 colorentry 112: 240 0 0
42 colorentry 113: 255 0 0
43 colorentry 113: 255 20 20
44 colorentry 114: 255 40 40
45 colorentry 115: 255 60 60
46 colorentry 116: 255 80 80
47 colorentry 117: 255 100 100
48 colorentry 118: 255 120 120
49 colorentry 119: 255 140 140
50 colorentry 120: 255 150 150
51 colorentry 121: 255 180 180
52 colorentry 122: 255 200 200
53 colorentry 123: 255 220 220
54 colorentry 124: 255 240 240
55 colorentry 125: 255 250 250
57 graph: { title: "g43" label: "STRENGTH_RED_EXAMPLE_m1" status:clustered color:white
58 info1: "entity STRENGTH_RED_EXAMPLE_m1 (18)
59 type: STRENGTH_RED_EXAMPLE_meth_tp (16)
61 Does not overwrite other entities.
62 Is not overwritten by other entities.
63 allocation: allocation_static
64 visibility: visibility_local
65 variability: variability_constant
66 calling convention: cdecl
67 atomic value: SymC &STRENGTH_RED_EXAMPLE_m1
68 volatility: volatility_non_volatile
69 peculiarity: peculiarity_existent
71 offset: -1 bits, -1 bytes
75 graph: { title: "n93" label: "Block 93" status:clustered color:yellow
79 irg: STRENGTH_RED_EXAMPLE_m1
86 in loop 530 with depth 1
88 Execution freqency statistics:
90 edge: {sourcename: "n93" targetname: "n55" label: "0" class:13 priority:60 color:red}
91 backedge: {sourcename: "n93" targetname: "n114" label: "1" linestyle:dashed class:13 priority:60 color:red}
92 node: {title: "n120" label: "PhiM 120" info1: "Phi 120
95 irg: STRENGTH_RED_EXAMPLE_m1
103 in loop 532 with depth 1
106 edge: {sourcename: "n120" targetname: "n91" label: "0" class:17 priority:10 color:blue}
107 backedge: {sourcename: "n120" targetname: "n112" label: "1" linestyle:dashed class:17 priority:10 color:blue}
108 node: {title: "n119" label: "PhiIs 119" info1: "Phi 119
111 irg: STRENGTH_RED_EXAMPLE_m1
119 in loop 531 with depth 1
122 edge: {sourcename: "n119" targetname: "n92" label: "0" class:16 priority:10}
123 backedge: {sourcename: "n119" targetname: "n113" label: "1" linestyle:dashed class:16 priority:10}
124 node: {title: "n100" label: "Jmp 100" info1: "Jmp 100
127 irg: STRENGTH_RED_EXAMPLE_m1
132 in loop 530 with depth 1
137 graph: { title: "n47" label: "Block 47" status:clustered color:yellow
141 irg: STRENGTH_RED_EXAMPLE_m1
148 in loop 528 with depth 2
150 Execution freqency statistics:
152 edge: {sourcename: "n47" targetname: "n46" label: "0" class:13 priority:60 color:red}
153 backedge: {sourcename: "n47" targetname: "n85" label: "1" linestyle:dashed class:13 priority:60 color:red}
154 node: {title: "n91" label: "PhiM 91" info1: "Phi 91
157 irg: STRENGTH_RED_EXAMPLE_m1
165 in loop 529 with depth 1
168 edge: {sourcename: "n91" targetname: "n41" label: "0" class:17 priority:10 color:blue}
169 backedge: {sourcename: "n91" targetname: "n83" label: "1" linestyle:dashed class:17 priority:10 color:blue}
170 node: {title: "n55" label: "ProjX false 55" info1: "Proj 55
173 irg: STRENGTH_RED_EXAMPLE_m1
180 in loop 526 with depth 0
183 edge: {sourcename: "n55" targetname: "n54" label: "0" class:13 priority:60 color:red}
184 node: {title: "n56" label: "ProjX true 56" info1: "Proj 56
187 irg: STRENGTH_RED_EXAMPLE_m1
194 in loop 528 with depth 2
197 edge: {sourcename: "n56" targetname: "n54" label: "0" class:13 priority:60 color:red}
198 node: {title: "n54" label: "Cond 54" info1: "Cond 54
201 irg: STRENGTH_RED_EXAMPLE_m1
207 in loop 528 with depth 2
208 condition kind: dense
212 edge: {sourcename: "n54" targetname: "n51" label: "0" class:1 priority:50}
213 node: {title: "n51" label: "Projb Le 51" info1: "Proj 51
216 irg: STRENGTH_RED_EXAMPLE_m1
223 in loop 528 with depth 2
226 edge: {sourcename: "n51" targetname: "n53" label: "0" class:1 priority:50}
227 node: {title: "n53" label: "Cmp 53" info1: "Cmp 53
230 irg: STRENGTH_RED_EXAMPLE_m1
237 in loop 528 with depth 2
240 node: {title: "n53n52" label: "0x9Is 52" info1: "0x9 52
243 irg: STRENGTH_RED_EXAMPLE_m1
248 in loop 526 with depth 0
249 Const of type type_unknown
252 edge: {sourcename: "n53" targetname: "n92" label: "0" class:1 priority:50}
253 edge: {sourcename: "n53" targetname: "n53n52" label: "1" class:16 priority:10}
254 node: {title: "n92" label: "PhiIs 92" info1: "Phi 92
257 irg: STRENGTH_RED_EXAMPLE_m1
265 in loop 527 with depth 1
268 node: {title: "n92n45" label: "0x0Is 45" info1: "0x0 45
271 irg: STRENGTH_RED_EXAMPLE_m1
276 in loop 526 with depth 0
277 Const of type type_unknown
280 edge: {sourcename: "n92" targetname: "n92n45" label: "0" class:16 priority:10}
281 backedge: {sourcename: "n92" targetname: "n84" label: "1" linestyle:dashed class:16 priority:10}
284 graph: { title: "n44" label: "Block 44" status:clustered color:yellow
288 irg: STRENGTH_RED_EXAMPLE_m1
294 in loop 526 with depth 0
296 Execution freqency statistics:
298 edge: {sourcename: "n44" targetname: "n38" label: "0" class:13 priority:60 color:red}
299 node: {title: "n46" label: "Jmp 46" info1: "Jmp 46
302 irg: STRENGTH_RED_EXAMPLE_m1
307 in loop 526 with depth 0
312 graph: { title: "n57" label: "Block 57" status:clustered color:yellow
316 irg: STRENGTH_RED_EXAMPLE_m1
322 in loop 528 with depth 2
324 Execution freqency statistics:
326 edge: {sourcename: "n57" targetname: "n56" label: "0" class:13 priority:60 color:red}
327 node: {title: "n83" label: "ProjM M 83" info1: "Proj 83
330 irg: STRENGTH_RED_EXAMPLE_m1
337 in loop 529 with depth 1
340 edge: {sourcename: "n83" targetname: "n81" label: "0" class:17 priority:10 color:blue}
341 node: {title: "n81" label: "Store 81" info1: "Store 81
344 irg: STRENGTH_RED_EXAMPLE_m1
352 pinned state: op_pin_state_pinned
353 in loop 529 with depth 1
354 volatility: volatility_non_volatile
357 node: {title: "n81n80" label: "0xFIs 80" info1: "0xF 80
360 irg: STRENGTH_RED_EXAMPLE_m1
365 in loop 526 with depth 0
366 Const of type type_unknown
369 edge: {sourcename: "n81" targetname: "n76" label: "0" class:14 priority:50 color:blue}
370 edge: {sourcename: "n81" targetname: "n65" label: "1" class:1 priority:50}
371 edge: {sourcename: "n81" targetname: "n81n80" label: "2" class:16 priority:10}
372 node: {title: "n76" label: "ProjM M 76" info1: "Proj 76
375 irg: STRENGTH_RED_EXAMPLE_m1
382 in loop 529 with depth 1
385 edge: {sourcename: "n76" targetname: "n74" label: "0" class:17 priority:10 color:blue}
386 node: {title: "n74" label: "Store 74" info1: "Store 74
389 irg: STRENGTH_RED_EXAMPLE_m1
397 pinned state: op_pin_state_pinned
398 in loop 529 with depth 1
399 volatility: volatility_non_volatile
402 node: {title: "n74n73" label: "0x10Is 73" info1: "0x10 73
405 irg: STRENGTH_RED_EXAMPLE_m1
410 in loop 526 with depth 0
411 Const of type type_unknown
414 edge: {sourcename: "n74" targetname: "n72" label: "0" class:14 priority:50 color:blue}
415 edge: {sourcename: "n74" targetname: "n67" label: "1" class:1 priority:50}
416 edge: {sourcename: "n74" targetname: "n74n73" label: "2" class:16 priority:10}
417 node: {title: "n72" label: "ProjM M 72" info1: "Proj 72
420 irg: STRENGTH_RED_EXAMPLE_m1
427 in loop 529 with depth 1
430 edge: {sourcename: "n72" targetname: "n70" label: "0" class:17 priority:10 color:blue}
431 node: {title: "n70" label: "Store 70" info1: "Store 70
434 irg: STRENGTH_RED_EXAMPLE_m1
442 pinned state: op_pin_state_pinned
443 in loop 529 with depth 1
444 volatility: volatility_non_volatile
447 node: {title: "n70n68" label: "0x13Is 68" info1: "0x13 68
450 irg: STRENGTH_RED_EXAMPLE_m1
455 in loop 526 with depth 0
456 Const of type type_unknown
459 edge: {sourcename: "n70" targetname: "n91" label: "0" class:17 priority:10 color:blue}
460 edge: {sourcename: "n70" targetname: "n65" label: "1" class:1 priority:50}
461 edge: {sourcename: "n70" targetname: "n70n68" label: "2" class:16 priority:10}
462 node: {title: "n67" label: "AddP 67" info1: "Add 67
465 irg: STRENGTH_RED_EXAMPLE_m1
472 in loop 526 with depth 0
475 node: {title: "n67n62" label: "SymC &a2 62" info1: "SymC &a2 62
478 irg: STRENGTH_RED_EXAMPLE_m1
483 in loop 526 with depth 0
485 entity: entity GlobalType.a2 (30)
487 type of value: type_unknown
490 edge: {sourcename: "n67" targetname: "n67n62" label: "0" class:16 priority:10}
491 edge: {sourcename: "n67" targetname: "n66" label: "1" class:1 priority:50}
492 node: {title: "n66" label: "MulIs 66" info1: "Mul 66
495 irg: STRENGTH_RED_EXAMPLE_m1
502 in loop 526 with depth 0
505 node: {title: "n66n60" label: "0xCIs 60" info1: "0xC 60
508 irg: STRENGTH_RED_EXAMPLE_m1
513 in loop 526 with depth 0
514 Const of type type_unknown
517 edge: {sourcename: "n66" targetname: "n66n60" label: "0" class:16 priority:10}
518 edge: {sourcename: "n66" targetname: "n92" label: "1" class:16 priority:10}
519 node: {title: "n65" label: "AddP 65" info1: "Add 65
522 irg: STRENGTH_RED_EXAMPLE_m1
529 in loop 526 with depth 0
532 node: {title: "n65n61" label: "SymC &a 61" info1: "SymC &a 61
535 irg: STRENGTH_RED_EXAMPLE_m1
540 in loop 526 with depth 0
542 entity: entity GlobalType.a (29)
544 type of value: type_unknown
547 edge: {sourcename: "n65" targetname: "n65n61" label: "0" class:16 priority:10}
548 edge: {sourcename: "n65" targetname: "n64" label: "1" class:1 priority:50}
549 node: {title: "n64" label: "MulIs 64" info1: "Mul 64
552 irg: STRENGTH_RED_EXAMPLE_m1
559 in loop 526 with depth 0
562 node: {title: "n64n59" label: "0x4Is 59" info1: "0x4 59
565 irg: STRENGTH_RED_EXAMPLE_m1
570 in loop 526 with depth 0
571 Const of type type_unknown
574 edge: {sourcename: "n64" targetname: "n64n59" label: "0" class:16 priority:10}
575 edge: {sourcename: "n64" targetname: "n92" label: "1" class:16 priority:10}
576 node: {title: "n85" label: "Jmp 85" info1: "Jmp 85
579 irg: STRENGTH_RED_EXAMPLE_m1
584 in loop 528 with depth 2
587 node: {title: "n84" label: "AddIs 84" info1: "Add 84
590 irg: STRENGTH_RED_EXAMPLE_m1
597 in loop 527 with depth 1
600 node: {title: "n84n58" label: "0x1Is 58" info1: "0x1 58
603 irg: STRENGTH_RED_EXAMPLE_m1
608 in loop 526 with depth 0
609 Const of type type_unknown
612 edge: {sourcename: "n84" targetname: "n84n58" label: "0" class:16 priority:10}
613 edge: {sourcename: "n84" targetname: "n92" label: "1" class:16 priority:10}
616 graph: { title: "n103" label: "Block 103" status:clustered color:yellow
620 irg: STRENGTH_RED_EXAMPLE_m1
626 in loop 530 with depth 1
628 Execution freqency statistics:
630 edge: {sourcename: "n103" targetname: "n100" label: "0" class:13 priority:60 color:red}
631 node: {title: "n112" label: "ProjM M 112" info1: "Proj 112
634 irg: STRENGTH_RED_EXAMPLE_m1
641 in loop 532 with depth 1
644 edge: {sourcename: "n112" targetname: "n110" label: "0" class:17 priority:10 color:blue}
645 node: {title: "n110" label: "Store 110" info1: "Store 110
648 irg: STRENGTH_RED_EXAMPLE_m1
656 pinned state: op_pin_state_pinned
657 in loop 532 with depth 1
658 volatility: volatility_non_volatile
661 node: {title: "n110n68" label: "0x13Is 68" info1: "0x13 68
664 irg: STRENGTH_RED_EXAMPLE_m1
669 in loop 526 with depth 0
670 Const of type type_unknown
673 edge: {sourcename: "n110" targetname: "n120" label: "0" class:17 priority:10 color:blue}
674 edge: {sourcename: "n110" targetname: "n107" label: "1" class:1 priority:50}
675 edge: {sourcename: "n110" targetname: "n110n68" label: "2" class:16 priority:10}
676 node: {title: "n107" label: "AddP 107" info1: "Add 107
679 irg: STRENGTH_RED_EXAMPLE_m1
686 in loop 526 with depth 0
689 node: {title: "n107n61" label: "SymC &a 61" info1: "SymC &a 61
692 irg: STRENGTH_RED_EXAMPLE_m1
697 in loop 526 with depth 0
699 entity: entity GlobalType.a (29)
701 type of value: type_unknown
704 edge: {sourcename: "n107" targetname: "n107n61" label: "0" class:16 priority:10}
705 edge: {sourcename: "n107" targetname: "n106" label: "1" class:1 priority:50}
706 node: {title: "n106" label: "MulIs 106" info1: "Mul 106
709 irg: STRENGTH_RED_EXAMPLE_m1
716 in loop 526 with depth 0
719 node: {title: "n106n59" label: "0x4Is 59" info1: "0x4 59
722 irg: STRENGTH_RED_EXAMPLE_m1
727 in loop 526 with depth 0
728 Const of type type_unknown
731 edge: {sourcename: "n106" targetname: "n106n59" label: "0" class:16 priority:10}
732 edge: {sourcename: "n106" targetname: "n119" label: "1" class:16 priority:10}
733 node: {title: "n113" label: "SubIs 113" info1: "Sub 113
736 irg: STRENGTH_RED_EXAMPLE_m1
743 in loop 531 with depth 1
746 node: {title: "n113n58" label: "0x1Is 58" info1: "0x1 58
749 irg: STRENGTH_RED_EXAMPLE_m1
754 in loop 526 with depth 0
755 Const of type type_unknown
758 edge: {sourcename: "n113" targetname: "n119" label: "0" class:16 priority:10}
759 edge: {sourcename: "n113" targetname: "n113n58" label: "1" class:16 priority:10}
760 node: {title: "n114" label: "Jmp 114" info1: "Jmp 114
763 irg: STRENGTH_RED_EXAMPLE_m1
768 in loop 530 with depth 1
773 graph: { title: "n32" label: "Block 32" status:clustered color:yellow
777 irg: STRENGTH_RED_EXAMPLE_m1
783 in loop 526 with depth 0
785 Execution freqency statistics:
787 edge: {sourcename: "n32" targetname: "n32n36" label: "0" class:13 priority:60 color:red}
788 node: {title: "n33" label: "End 33" info1: "End 33
791 irg: STRENGTH_RED_EXAMPLE_m1
799 in loop 526 with depth 0
803 node: {title: "n32n36" label: "Bad 36" info1: "Bad 36
806 irg: STRENGTH_RED_EXAMPLE_m1
811 pinned state: op_pin_state_pinned
812 in loop 526 with depth 0
816 graph: { title: "n34" label: "Block 34" status:clustered color:yellow
820 irg: STRENGTH_RED_EXAMPLE_m1
826 in loop 526 with depth 0
828 Execution freqency statistics:
830 edge: {sourcename: "n34" targetname: "n38" label: "0" class:13 priority:60 color:red}
831 node: {title: "n41" label: "ProjM 1 41" info1: "Proj 41
834 irg: STRENGTH_RED_EXAMPLE_m1
841 in loop 526 with depth 0
844 edge: {sourcename: "n41" targetname: "n35" label: "0" class:17 priority:10 color:blue}
845 node: {title: "n38" label: "ProjX X_initial_exec 38" info1: "Proj 38
848 irg: STRENGTH_RED_EXAMPLE_m1
855 in loop 526 with depth 0
858 edge: {sourcename: "n38" targetname: "n35" label: "0" class:13 priority:60 color:red}
859 node: {title: "n35" label: "Start 35" info1: "Start 35
862 irg: STRENGTH_RED_EXAMPLE_m1
867 in loop 526 with depth 0
868 start of method of type STRENGTH_RED_EXAMPLE_meth_tp