-graph: { title: "n425" label: "Block 425" status:clustered color:yellow
-edge: {sourcename: "n425" targetname: "n424" label: "0" class:13 priority:60 color:red}
-node: {title: "n441" label: "ProjM 0 441" info1: "mode: M
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 1
-"color: yellow}
-edge: {sourcename: "n441" targetname: "n439" label: "0" class:17 priority:10 color:blue}
-node: {title: "n439" label: "Store 439" info1: "mode: T
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 3
-volatility: volatility_non_volatile
-"}
-node: {title: "n439n437" label: "0x13Is 437" info1: "mode: Is
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n439" targetname: "n455" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n439" targetname: "n677" label: "1" class:1 priority:50}
-edge: {sourcename: "n439" targetname: "n439n437" label: "2" class:16 priority:10}
-node: {title: "n677" label: "AddP 677" info1: "mode: P
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 2
-"}
-node: {title: "n677n676" label: "0x8Is 676" info1: "mode: Is
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n677" targetname: "n434" label: "0" class:1 priority:50}
-edge: {sourcename: "n677" targetname: "n677n676" label: "1" class:16 priority:10}
-node: {title: "n434" label: "SubP 434" info1: "mode: P
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 2
-"}
-node: {title: "n434n427" label: "0x5Is 427" info1: "mode: Is
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n434" targetname: "n434n427" label: "0" class:16 priority:10}
-edge: {sourcename: "n434" targetname: "n674" label: "1" class:1 priority:50}
-node: {title: "n674" label: "AddP 674" info1: "mode: P
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 2
-"}
-edge: {sourcename: "n674" targetname: "n456" label: "0" class:16 priority:10}
-edge: {sourcename: "n674" targetname: "n673" label: "1" class:1 priority:50}
-node: {title: "n673" label: "AddP 673" info1: "mode: P
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 2
-"}
-node: {title: "n673n415" label: "SymC &a 415" info1: "mode: P
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 0
-kind: addr_ent
-entity GlobalType.a (399)
+graph: { title: "n428" label: "Block 428" status:clustered color:yellow
+ info1: "Block 428
+ mode: BB
+ visited: 26
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 1
+ pred nodes:
+ 0: Proj 427
+ Private Attributes:
+ backedges:
+ in loop 682 with depth 1
+ block visited: 2
+ dom depth 4
+ tree pre num 5
+ max subtree pre num 5
+ Execution freqency statistics:
+"
+edge: {sourcename: "n428" targetname: "n427" label: "0" class:13 priority:60 color:red}
+node: {title: "n444" label: "ProjM M 444" info1: "Proj 444
+ mode: M
+ visited: 26
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 1
+ pred nodes:
+ -1: Block 428
+ 0: Store 442
+ Private Attributes:
+ proj nr: 0
+ in loop 667 with depth 1
+"
+color:yellow}
+edge: {sourcename: "n444" targetname: "n442" label: "0" class:17 priority:10 color:blue}
+node: {title: "n442" label: "Store 442" info1: "Store 442
+ mode: T
+ visited: 26
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 3
+ pred nodes:
+ -1: Block 428
+ 0: Phi 458
+ 1: Add 680
+ 2: 0x13 440
+ Private Attributes:
+ pinned state: op_pin_state_pinned
+ in loop 667 with depth 1
+ volatility: volatility_non_volatile
+"
+}
+node: {title: "n442n440" label: "0x13Is 440" info1: "0x13 440
+ mode: Is
+ visited: 26
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 404
+ Private Attributes:
+ in loop 664 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n442" targetname: "n458" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n442" targetname: "n680" label: "1" class:1 priority:50}
+edge: {sourcename: "n442" targetname: "n442n440" label: "2" class:16 priority:10}
+node: {title: "n680" label: "AddP 680" info1: "Add 680
+ mode: P
+ visited: 26
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 2
+ pred nodes:
+ -1: Block 428
+ 0: Sub 437
+ 1: 0x8 679
+ Private Attributes:
+"
+}
+node: {title: "n680n679" label: "0x8Is 679" info1: "0x8 679
+ mode: Is
+ visited: 26
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 404
+ Private Attributes:
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n680" targetname: "n437" label: "0" class:1 priority:50}
+edge: {sourcename: "n680" targetname: "n680n679" label: "1" class:16 priority:10}
+node: {title: "n437" label: "SubP 437" info1: "Sub 437
+ mode: P
+ visited: 26
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 2
+ pred nodes:
+ -1: Block 428
+ 0: 0x5 430
+ 1: Add 677
+ Private Attributes:
+ in loop 664 with depth 0
+"
+}
+node: {title: "n437n430" label: "0x5Is 430" info1: "0x5 430
+ mode: Is
+ visited: 26
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 404
+ Private Attributes:
+ in loop 664 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n437" targetname: "n437n430" label: "0" class:16 priority:10}
+edge: {sourcename: "n437" targetname: "n677" label: "1" class:1 priority:50}
+node: {title: "n677" label: "AddP 677" info1: "Add 677
+ mode: P
+ visited: 26
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 2
+ pred nodes:
+ -1: Block 428
+ 0: Phi 459
+ 1: Add 676
+ Private Attributes:
+"
+}
+edge: {sourcename: "n677" targetname: "n459" label: "0" class:16 priority:10}
+edge: {sourcename: "n677" targetname: "n676" label: "1" class:1 priority:50}
+node: {title: "n676" label: "AddP 676" info1: "Add 676
+ mode: P
+ visited: 26
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 2
+ pred nodes:
+ -1: Block 428
+ 0: SymC &a 416
+ 1: 0xFFFFFFFC 674
+ Private Attributes:
+"
+}
+node: {title: "n676n416" label: "SymC &a 416" info1: "SymC &a 416
+ mode: P
+ visited: 26
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 404
+ Private Attributes:
+ in loop 664 with depth 0
+ kind: addr_ent
+ entity: entity GlobalType.a (400)