colorentry 124: 255 240 240
colorentry 125: 255 250 250
-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
+graph: { title: "g420" label: "STRENGTH_RED_EXAMPLE_m6" status:clustered color:white
+graph: { title: "n409" label: "Block 409" status:clustered color:yellow
+edge: {sourcename: "n409" targetname: "n461" label: "0" class:13 priority:60 color:red}
+node: {title: "n410" label: "End 410" info1: "End 410
mode: X
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
- -1: Block 401
- 0: Phi 455
+ -1: Block 409
+ 0: Phi 465
Private Attributes:
+ in loop 672 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
+graph: { title: "n458" label: "Block 458" status:clustered color:yellow
+edge: {sourcename: "n458" targetname: "n433" label: "0" class:13 priority:60 color:red}
+node: {title: "n461" label: "Return 461" info1: "Return 461
mode: X
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 448
- 0: Phi 455
- 1: 0x4 428
+ -1: Block 458
+ 0: Phi 465
+ 1: 0x4 438
Private Attributes:
+ in loop 672 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: "n461n438" label: "0x4Is 438" info1: "0x4 438
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
- -1: Block 403
+ -1: Block 411
Private Attributes:
+ in loop 672 with depth 0
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}
+edge: {sourcename: "n461" targetname: "n465" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n461" targetname: "n461n438" 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: "Phi 455
+graph: { title: "n425" label: "Block 425" status:clustered color:yellow
+edge: {sourcename: "n425" targetname: "n424" label: "0" class:13 priority:60 color:red}
+backedge: {sourcename: "n425" targetname: "n452" label: "1" linestyle:dashed class:13 priority:60 color:red}
+node: {title: "n465" label: "PhiM 465" info1: "Phi 465
mode: M
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 417
- 0: Proj 410
- 1: Proj 441
+ -1: Block 425
+ 0: Proj 418
+ 1: Proj 451
Private Attributes:
backedges:
+ in loop 675 with depth 1
"
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: "Proj 423
+edge: {sourcename: "n465" targetname: "n418" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n465" targetname: "n451" label: "1" class:17 priority:10 color:blue}
+node: {title: "n433" label: "ProjX 0 433" info1: "Proj 433
mode: X
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
- -1: Block 417
- 0: Cond 422
+ -1: Block 425
+ 0: Cond 432
Private Attributes:
+ in loop 672 with depth 0
"
color: yellow}
-edge: {sourcename: "n423" targetname: "n422" label: "0" class:13 priority:60 color:red}
-node: {title: "n424" label: "ProjX 1 424" info1: "Proj 424
+edge: {sourcename: "n433" targetname: "n432" label: "0" class:13 priority:60 color:red}
+node: {title: "n434" label: "ProjX 1 434" info1: "Proj 434
mode: X
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
- -1: Block 417
- 0: Cond 422
+ -1: Block 425
+ 0: Cond 432
Private Attributes:
+ in loop 674 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
+edge: {sourcename: "n434" targetname: "n432" label: "0" class:13 priority:60 color:red}
+node: {title: "n432" label: "Cond 432" info1: "Cond 432
mode: T
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
- -1: Block 417
- 0: Proj 421
+ -1: Block 425
+ 0: Proj 429
Private Attributes:
+ in loop 674 with depth 2
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: "Proj 421
+edge: {sourcename: "n432" targetname: "n429" label: "0" class:1 priority:50}
+node: {title: "n429" label: "Projb Le 429" info1: "Proj 429
mode: b
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
- -1: Block 417
- 0: Cmp 420
+ -1: Block 425
+ 0: Cmp 431
Private Attributes:
+ in loop 674 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
+edge: {sourcename: "n429" targetname: "n431" label: "0" class:1 priority:50}
+node: {title: "n431" label: "Cmp 431" info1: "Cmp 431
mode: T
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 417
- 0: 0x28 683
- 1: Phi 456
+ -1: Block 425
+ 0: Phi 466
+ 1: 0x24 694
Private Attributes:
+ in loop 674 with depth 2
"
}
-node: {title: "n420n683" label: "0x28Is 683" info1: "0x28 683
+node: {title: "n431n694" label: "0x24Is 694" info1: "0x24 694
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
- -1: Block 403
+ -1: Block 411
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: "Phi 456
+edge: {sourcename: "n431" targetname: "n466" label: "0" class:1 priority:50}
+edge: {sourcename: "n431" targetname: "n431n694" label: "1" class:16 priority:10}
+node: {title: "n466" label: "PhiIs 466" info1: "Phi 466
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 417
- 0: 0x0 414
- 1: Add 668
+ -1: Block 425
+ 0: 0x0 422
+ 1: Add 679
Private Attributes:
backedges:
+ in loop 673 with depth 1
"
color: green}
-node: {title: "n456n414" label: "0x0Is 414" info1: "0x0 414
+node: {title: "n466n422" label: "0x0Is 422" info1: "0x0 422
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
- -1: Block 403
+ -1: Block 411
Private Attributes:
+ in loop 672 with depth 0
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}
+edge: {sourcename: "n466" targetname: "n466n422" label: "0" class:16 priority:10}
+edge: {sourcename: "n466" targetname: "n679" 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: "Jmp 416
+graph: { title: "n421" label: "Block 421" status:clustered color:yellow
+edge: {sourcename: "n421" targetname: "n415" label: "0" class:13 priority:60 color:red}
+node: {title: "n424" label: "Jmp 424" info1: "Jmp 424
mode: X
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
- -1: Block 413
+ -1: Block 421
Private Attributes:
+ in loop 672 with depth 0
"
}
}
-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: "Proj 441
+graph: { title: "n435" label: "Block 435" status:clustered color:yellow
+edge: {sourcename: "n435" targetname: "n434" label: "0" class:13 priority:60 color:red}
+node: {title: "n451" label: "ProjM 0 451" info1: "Proj 451
mode: M
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
- -1: Block 425
- 0: Store 439
+ -1: Block 435
+ 0: Store 449
Private Attributes:
+ in loop 675 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
+edge: {sourcename: "n451" targetname: "n449" label: "0" class:17 priority:10 color:blue}
+node: {title: "n449" label: "Store 449" info1: "Store 449
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
+ -1: Block 435
+ 0: Phi 465
+ 1: Add 688
+ 2: 0x13 447
Private Attributes:
pinned state: op_pin_state_pinned
+ in loop 675 with depth 1
volatility: volatility_non_volatile
"
}
-node: {title: "n439n437" label: "0x13Is 437" info1: "0x13 437
+node: {title: "n449n447" label: "0x13Is 447" info1: "0x13 447
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
- -1: Block 403
+ -1: Block 411
Private Attributes:
+ in loop 672 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
+edge: {sourcename: "n449" targetname: "n465" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n449" targetname: "n688" label: "1" class:1 priority:50}
+edge: {sourcename: "n449" targetname: "n449n447" label: "2" class:16 priority:10}
+node: {title: "n688" label: "AddP 688" info1: "Add 688
mode: P
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 425
- 0: Sub 434
- 1: 0x8 676
+ -1: Block 435
+ 0: Sub 444
+ 1: 0x8 687
Private Attributes:
"
}
-node: {title: "n677n676" label: "0x8Is 676" info1: "0x8 676
+node: {title: "n688n687" label: "0x8Is 687" info1: "0x8 687
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
- -1: Block 403
+ -1: Block 411
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: "Sub 434
+edge: {sourcename: "n688" targetname: "n444" label: "0" class:1 priority:50}
+edge: {sourcename: "n688" targetname: "n688n687" label: "1" class:16 priority:10}
+node: {title: "n444" label: "SubP 444" info1: "Sub 444
mode: P
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 425
- 0: 0x5 427
- 1: Add 674
+ -1: Block 435
+ 0: 0x5 437
+ 1: Add 685
Private Attributes:
+ in loop 672 with depth 0
"
}
-node: {title: "n434n427" label: "0x5Is 427" info1: "0x5 427
+node: {title: "n444n437" label: "0x5Is 437" info1: "0x5 437
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
- -1: Block 403
+ -1: Block 411
Private Attributes:
+ in loop 672 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
+edge: {sourcename: "n444" targetname: "n444n437" label: "0" class:16 priority:10}
+edge: {sourcename: "n444" targetname: "n685" label: "1" class:1 priority:50}
+node: {title: "n685" label: "AddP 685" info1: "Add 685
mode: P
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 425
- 0: Phi 456
- 1: Add 673
+ -1: Block 435
+ 0: Phi 466
+ 1: Add 684
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: "Add 673
+edge: {sourcename: "n685" targetname: "n466" label: "0" class:16 priority:10}
+edge: {sourcename: "n685" targetname: "n684" label: "1" class:1 priority:50}
+node: {title: "n684" label: "AddP 684" info1: "Add 684
mode: P
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 425
- 0: SymC &a 415
- 1: 0xFFFFFFFC 671
+ -1: Block 435
+ 0: SymC &a 423
+ 1: 0xFFFFFFFC 682
Private Attributes:
"
}
-node: {title: "n673n415" label: "SymC &a 415" info1: "SymC &a 415
+node: {title: "n684n423" label: "SymC &a 423" info1: "SymC &a 423
mode: P
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
- -1: Block 403
+ -1: Block 411
Private Attributes:
+ in loop 672 with depth 0
kind: addr_ent
- entity: entity GlobalType.a (399)
+ entity: entity GlobalType.a (407)
type of value: type_unknown
"
}
-node: {title: "n673n671" label: "0xFFFFFFFCIs 671" info1: "0xFFFFFFFC 671
+node: {title: "n684n682" label: "0xFFFFFFFCIs 682" info1: "0xFFFFFFFC 682
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
- -1: Block 403
+ -1: Block 411
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: "Jmp 442
+edge: {sourcename: "n684" targetname: "n684n423" label: "0" class:16 priority:10}
+edge: {sourcename: "n684" targetname: "n684n682" label: "1" class:16 priority:10}
+node: {title: "n452" label: "Jmp 452" info1: "Jmp 452
mode: X
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
- -1: Block 425
+ -1: Block 435
Private Attributes:
+ in loop 674 with depth 2
"
}
-node: {title: "n668" label: "AddIs 668" info1: "Add 668
+node: {title: "n679" label: "AddIs 679" info1: "Add 679
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 425
- 0: Phi 456
- 1: 0xFFFFFFFC 671
+ -1: Block 435
+ 0: Phi 466
+ 1: 0xFFFFFFFC 682
Private Attributes:
"
}
-node: {title: "n668n671" label: "0xFFFFFFFCIs 671" info1: "0xFFFFFFFC 671
+node: {title: "n679n682" label: "0xFFFFFFFCIs 682" info1: "0xFFFFFFFC 682
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
- -1: Block 403
+ -1: Block 411
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}
+edge: {sourcename: "n679" targetname: "n466" label: "0" class:16 priority:10}
+edge: {sourcename: "n679" targetname: "n679n682" 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: "Proj 410
+graph: { title: "n411" label: "Block 411" status:clustered color:yellow
+edge: {sourcename: "n411" targetname: "n415" label: "0" class:13 priority:60 color:red}
+node: {title: "n418" label: "ProjM 1 418" info1: "Proj 418
mode: M
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
- -1: Block 403
- 0: Start 404
+ -1: Block 411
+ 0: Start 412
Private Attributes:
+ in loop 672 with depth 0
"
color: yellow}
-edge: {sourcename: "n410" targetname: "n404" label: "0" class:17 priority:10 color:blue}
-node: {title: "n407" label: "ProjX 0 407" info1: "Proj 407
+edge: {sourcename: "n418" targetname: "n412" label: "0" class:17 priority:10 color:blue}
+node: {title: "n415" label: "ProjX 0 415" info1: "Proj 415
mode: X
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 1
pred nodes:
- -1: Block 403
- 0: Start 404
+ -1: Block 411
+ 0: Start 412
Private Attributes:
+ in loop 672 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
+edge: {sourcename: "n415" targetname: "n412" label: "0" class:13 priority:60 color:red}
+node: {title: "n412" label: "Start 412" info1: "Start 412
mode: T
visited: 27
irg: STRENGTH_RED_EXAMPLE_m6
arity: 0
pred nodes:
- -1: Block 403
+ -1: Block 411
Private Attributes:
+ in loop 672 with depth 0
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"