graph: { title: "g412" label: "STRENGTH_RED_EXAMPLE_m6" status:clustered color:white
graph: { title: "n401" label: "Block 401" status:clustered color:yellow
edge: {sourcename: "n401" targetname: "n451" label: "0" class:13 priority:60 color:red}
-node: {title: "n402" label: "End 402" info1: "mode: X
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 1
-"color: blue}
+node: {title: "n402" label: "End 402" info1: "End 402
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 1
+ pred nodes:
+ -1: Block 401
+ 0: Phi 455
+ Private Attributes:
+"
+color: blue}
}
graph: { title: "n448" label: "Block 448" status:clustered color:yellow
edge: {sourcename: "n448" targetname: "n423" label: "0" class:13 priority:60 color:red}
-node: {title: "n451" label: "Return 451" info1: "mode: X
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 2
-return in method of type STRENGTH_RED_EXAMPLE_meth_tp
- res 0 type: int
-"}
-node: {title: "n451n428" label: "0x4Is 428" info1: "mode: Is
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n451" label: "Return 451" info1: "Return 451
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 2
+ pred nodes:
+ -1: Block 448
+ 0: Phi 455
+ 1: 0x4 428
+ Private Attributes:
+ return in method of type STRENGTH_RED_EXAMPLE_meth_tp
+ res 0 type: int
+"
+}
+node: {title: "n451n428" label: "0x4Is 428" info1: "0x4 428
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 403
+ Private Attributes:
+ Const of type type_unknown
+"
+color: yellow}
edge: {sourcename: "n451" targetname: "n455" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n451" targetname: "n451n428" label: "1" class:16 priority:10}
}
graph: { title: "n417" label: "Block 417" status:clustered color:yellow
edge: {sourcename: "n417" targetname: "n416" label: "0" class:13 priority:60 color:red}
backedge: {sourcename: "n417" targetname: "n442" label: "1" linestyle:dashed class:13 priority:60 color:red}
-node: {title: "n455" label: "PhiM 455" info1: "mode: M
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 2 backedges:
-"color: green}
+node: {title: "n455" label: "PhiM 455" info1: "Phi 455
+ mode: M
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 2
+ pred nodes:
+ -1: Block 417
+ 0: Proj 410
+ 1: Proj 441
+ Private Attributes:
+ backedges:
+"
+color: green}
edge: {sourcename: "n455" targetname: "n410" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n455" targetname: "n441" label: "1" class:17 priority:10 color:blue}
-node: {title: "n423" label: "ProjX 0 423" info1: "mode: X
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 1
-"color: yellow}
+node: {title: "n423" label: "ProjX 0 423" info1: "Proj 423
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 1
+ pred nodes:
+ -1: Block 417
+ 0: Cond 422
+ Private Attributes:
+"
+color: yellow}
edge: {sourcename: "n423" targetname: "n422" label: "0" class:13 priority:60 color:red}
-node: {title: "n424" label: "ProjX 1 424" info1: "mode: X
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 1
-"color: yellow}
+node: {title: "n424" label: "ProjX 1 424" info1: "Proj 424
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 1
+ pred nodes:
+ -1: Block 417
+ 0: Cond 422
+ Private Attributes:
+"
+color: yellow}
edge: {sourcename: "n424" targetname: "n422" label: "0" class:13 priority:60 color:red}
-node: {title: "n422" label: "Cond 422" info1: "mode: T
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 1
-"}
+node: {title: "n422" label: "Cond 422" info1: "Cond 422
+ mode: T
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 1
+ pred nodes:
+ -1: Block 417
+ 0: Proj 421
+ Private Attributes:
+ condition kind: dense
+ default ProjNr: 0
+"
+}
edge: {sourcename: "n422" targetname: "n421" label: "0" class:1 priority:50}
-node: {title: "n421" label: "Projb Gt 421" info1: "mode: b
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 1
-"color: yellow}
+node: {title: "n421" label: "Projb Gt 421" info1: "Proj 421
+ mode: b
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 1
+ pred nodes:
+ -1: Block 417
+ 0: Cmp 420
+ Private Attributes:
+"
+color: yellow}
edge: {sourcename: "n421" targetname: "n420" label: "0" class:1 priority:50}
-node: {title: "n420" label: "Cmp 420" info1: "mode: T
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 2
-"}
-node: {title: "n420n683" label: "0x28Is 683" info1: "mode: Is
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n420" label: "Cmp 420" info1: "Cmp 420
+ mode: T
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 2
+ pred nodes:
+ -1: Block 417
+ 0: 0x28 683
+ 1: Phi 456
+ Private Attributes:
+"
+}
+node: {title: "n420n683" label: "0x28Is 683" info1: "0x28 683
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 403
+ Private Attributes:
+ Const of type type_unknown
+"
+color: yellow}
edge: {sourcename: "n420" targetname: "n420n683" label: "0" class:16 priority:10}
edge: {sourcename: "n420" targetname: "n456" label: "1" class:1 priority:50}
-node: {title: "n456" label: "PhiIs 456" info1: "mode: Is
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 2 backedges:
-"color: green}
-node: {title: "n456n414" label: "0x0Is 414" info1: "mode: Is
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n456" label: "PhiIs 456" info1: "Phi 456
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 2
+ pred nodes:
+ -1: Block 417
+ 0: 0x0 414
+ 1: Add 668
+ Private Attributes:
+ backedges:
+"
+color: green}
+node: {title: "n456n414" label: "0x0Is 414" info1: "0x0 414
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 403
+ Private Attributes:
+ Const of type type_unknown
+"
+color: yellow}
edge: {sourcename: "n456" targetname: "n456n414" label: "0" class:16 priority:10}
edge: {sourcename: "n456" targetname: "n668" label: "1" class:16 priority:10}
}
graph: { title: "n413" label: "Block 413" status:clustered color:yellow
edge: {sourcename: "n413" targetname: "n407" label: "0" class:13 priority:60 color:red}
-node: {title: "n416" label: "Jmp 416" info1: "mode: X
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 0
-"}
+node: {title: "n416" label: "Jmp 416" info1: "Jmp 416
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 413
+ Private Attributes:
+"
+}
}
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}
+node: {title: "n441" label: "ProjM 0 441" info1: "Proj 441
+ mode: M
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 1
+ pred nodes:
+ -1: Block 425
+ 0: Store 439
+ Private Attributes:
+"
+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}
+node: {title: "n439" label: "Store 439" info1: "Store 439
+ mode: T
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 3
+ pred nodes:
+ -1: Block 425
+ 0: Phi 455
+ 1: Add 677
+ 2: 0x13 437
+ Private Attributes:
+ pinned state: op_pin_state_pinned
+ volatility: volatility_non_volatile
+"
+}
+node: {title: "n439n437" label: "0x13Is 437" info1: "0x13 437
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 403
+ Private Attributes:
+ 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}
+node: {title: "n677" label: "AddP 677" info1: "Add 677
+ mode: P
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 2
+ pred nodes:
+ -1: Block 425
+ 0: Sub 434
+ 1: 0x8 676
+ Private Attributes:
+"
+}
+node: {title: "n677n676" label: "0x8Is 676" info1: "0x8 676
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 403
+ Private Attributes:
+ 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}
+node: {title: "n434" label: "SubP 434" info1: "Sub 434
+ mode: P
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 2
+ pred nodes:
+ -1: Block 425
+ 0: 0x5 427
+ 1: Add 674
+ Private Attributes:
+"
+}
+node: {title: "n434n427" label: "0x5Is 427" info1: "0x5 427
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 403
+ Private Attributes:
+ 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
-"}
+node: {title: "n674" label: "AddP 674" info1: "Add 674
+ mode: P
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 2
+ pred nodes:
+ -1: Block 425
+ 0: Phi 456
+ 1: Add 673
+ Private Attributes:
+"
+}
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)
+node: {title: "n673" label: "AddP 673" info1: "Add 673
+ mode: P
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 2
+ pred nodes:
+ -1: Block 425
+ 0: SymC &a 415
+ 1: 0xFFFFFFFC 671
+ Private Attributes:
+"
+}
+node: {title: "n673n415" label: "SymC &a 415" info1: "SymC &a 415
+ mode: P
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 403
+ Private Attributes:
+ kind: addr_ent
+ entity: entity GlobalType.a (399)
-SymConst of type: type_unknown
-"}
-node: {title: "n673n671" label: "0xFFFFFFFCIs 671" info1: "mode: Is
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 0
-Const of type type_unknown
-"color: yellow}
+ type of value: type_unknown
+"
+}
+node: {title: "n673n671" label: "0xFFFFFFFCIs 671" info1: "0xFFFFFFFC 671
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 403
+ Private Attributes:
+ Const of type type_unknown
+"
+color: yellow}
edge: {sourcename: "n673" targetname: "n673n415" label: "0" class:16 priority:10}
edge: {sourcename: "n673" targetname: "n673n671" label: "1" class:16 priority:10}
-node: {title: "n442" label: "Jmp 442" info1: "mode: X
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 0
-"}
-node: {title: "n668" label: "AddIs 668" info1: "mode: Is
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 2
-"}
-node: {title: "n668n671" label: "0xFFFFFFFCIs 671" info1: "mode: Is
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n442" label: "Jmp 442" info1: "Jmp 442
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 425
+ Private Attributes:
+"
+}
+node: {title: "n668" label: "AddIs 668" info1: "Add 668
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 2
+ pred nodes:
+ -1: Block 425
+ 0: Phi 456
+ 1: 0xFFFFFFFC 671
+ Private Attributes:
+"
+}
+node: {title: "n668n671" label: "0xFFFFFFFCIs 671" info1: "0xFFFFFFFC 671
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 403
+ Private Attributes:
+ Const of type type_unknown
+"
+color: yellow}
edge: {sourcename: "n668" targetname: "n456" label: "0" class:16 priority:10}
edge: {sourcename: "n668" targetname: "n668n671" label: "1" class:16 priority:10}
}
graph: { title: "n403" label: "Block 403" status:clustered color:yellow
edge: {sourcename: "n403" targetname: "n407" label: "0" class:13 priority:60 color:red}
-node: {title: "n410" label: "ProjM 1 410" info1: "mode: M
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 1
-"color: yellow}
+node: {title: "n410" label: "ProjM 1 410" info1: "Proj 410
+ mode: M
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 1
+ pred nodes:
+ -1: Block 403
+ 0: Start 404
+ Private Attributes:
+"
+color: yellow}
edge: {sourcename: "n410" targetname: "n404" label: "0" class:17 priority:10 color:blue}
-node: {title: "n407" label: "ProjX 0 407" info1: "mode: X
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 1
-"color: yellow}
+node: {title: "n407" label: "ProjX 0 407" info1: "Proj 407
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 1
+ pred nodes:
+ -1: Block 403
+ 0: Start 404
+ Private Attributes:
+"
+color: yellow}
edge: {sourcename: "n407" targetname: "n404" label: "0" class:13 priority:60 color:red}
-node: {title: "n404" label: "Start 404" info1: "mode: T
-visited: 27
-irg: STRENGTH_RED_EXAMPLE_m6
-arity: 0
-start of method of type STRENGTH_RED_EXAMPLE_meth_tp
- param 0 type: int
-"color: blue}
+node: {title: "n404" label: "Start 404" info1: "Start 404
+ mode: T
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m6
+ arity: 0
+ pred nodes:
+ -1: Block 403
+ Private Attributes:
+ start of method of type STRENGTH_RED_EXAMPLE_meth_tp
+ param 0 type: int
+"
+color: blue}
}
}