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