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: 16
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: 16
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: 16
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: 16
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 417
- 0: Proj 410
- 1: be Proj 441
+ -1: Block 425
+ 0: Proj 418
+ 1: be Proj 451
Private Attributes:
backedges: 1
+ in loop 675 with depth 1
"
color: green}
-edge: {sourcename: "n455" targetname: "n410" label: "0" class:17 priority:10 color:blue}
-backedge: {sourcename: "n455" targetname: "n441" label: "1" linestyle:dashed 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}
+backedge: {sourcename: "n465" targetname: "n451" label: "1" linestyle:dashed class:17 priority:10 color:blue}
+node: {title: "n433" label: "ProjX 0 433" info1: "Proj 433
mode: X
visited: 16
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: 16
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: 16
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: 16
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: 16
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 417
- 0: 0xA 419
- 1: Phi 456
+ -1: Block 425
+ 0: Phi 466
+ 1: 0x9 430
Private Attributes:
+ in loop 674 with depth 2
"
}
-node: {title: "n420n419" label: "0xAIs 419" info1: "0xA 419
+node: {title: "n431n430" label: "0x9Is 430" info1: "0x9 430
mode: Is
visited: 16
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: "n420" targetname: "n420n419" 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: "n431n430" label: "1" class:16 priority:10}
+node: {title: "n466" label: "PhiIs 466" info1: "Phi 466
mode: Is
visited: 16
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 417
- 0: 0x0 414
- 1: be Sub 430
+ -1: Block 425
+ 0: 0x0 422
+ 1: be Sub 440
Private Attributes:
backedges: 1
+ 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: 16
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}
-backedge: {sourcename: "n456" targetname: "n430" label: "1" linestyle:dashed class:16 priority:10}
+edge: {sourcename: "n466" targetname: "n466n422" label: "0" class:16 priority:10}
+backedge: {sourcename: "n466" targetname: "n440" label: "1" linestyle:dashed 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: 16
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: 16
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: 16
irg: STRENGTH_RED_EXAMPLE_m6
arity: 3
pred nodes:
- -1: Block 425
- 0: Phi 455
- 1: Add 436
- 2: 0x13 437
+ -1: Block 435
+ 0: Phi 465
+ 1: Add 446
+ 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: 16
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: "n436" label: "1" class:1 priority:50}
-edge: {sourcename: "n439" targetname: "n439n437" label: "2" class:16 priority:10}
-node: {title: "n436" label: "AddP 436" info1: "Add 436
+edge: {sourcename: "n449" targetname: "n465" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n449" targetname: "n446" label: "1" class:1 priority:50}
+edge: {sourcename: "n449" targetname: "n449n447" label: "2" class:16 priority:10}
+node: {title: "n446" label: "AddP 446" info1: "Add 446
mode: P
visited: 16
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 425
- 0: 0x4 428
- 1: Add 435
+ -1: Block 435
+ 0: 0x4 438
+ 1: Add 445
Private Attributes:
+ in loop 672 with depth 0
"
}
-node: {title: "n436n428" label: "0x4Is 428" info1: "0x4 428
+node: {title: "n446n438" label: "0x4Is 438" info1: "0x4 438
mode: Is
visited: 16
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: "n436" targetname: "n436n428" label: "0" class:16 priority:10}
-edge: {sourcename: "n436" targetname: "n435" label: "1" class:1 priority:50}
-node: {title: "n435" label: "AddP 435" info1: "Add 435
+edge: {sourcename: "n446" targetname: "n446n438" label: "0" class:16 priority:10}
+edge: {sourcename: "n446" targetname: "n445" label: "1" class:1 priority:50}
+node: {title: "n445" label: "AddP 445" info1: "Add 445
mode: P
visited: 16
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 425
- 0: 0x4 428
- 1: Sub 434
+ -1: Block 435
+ 0: 0x4 438
+ 1: Sub 444
Private Attributes:
+ in loop 672 with depth 0
"
}
-node: {title: "n435n428" label: "0x4Is 428" info1: "0x4 428
+node: {title: "n445n438" label: "0x4Is 438" info1: "0x4 438
mode: Is
visited: 16
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: "n435" targetname: "n435n428" label: "0" class:16 priority:10}
-edge: {sourcename: "n435" targetname: "n434" label: "1" class:1 priority:50}
-node: {title: "n434" label: "SubP 434" info1: "Sub 434
+edge: {sourcename: "n445" targetname: "n445n438" label: "0" class:16 priority:10}
+edge: {sourcename: "n445" targetname: "n444" label: "1" class:1 priority:50}
+node: {title: "n444" label: "SubP 444" info1: "Sub 444
mode: P
visited: 16
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 425
- 0: 0x5 427
- 1: Add 433
+ -1: Block 435
+ 0: 0x5 437
+ 1: Add 443
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: 16
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: "n433" label: "1" class:1 priority:50}
-node: {title: "n433" label: "AddP 433" info1: "Add 433
+edge: {sourcename: "n444" targetname: "n444n437" label: "0" class:16 priority:10}
+edge: {sourcename: "n444" targetname: "n443" label: "1" class:1 priority:50}
+node: {title: "n443" label: "AddP 443" info1: "Add 443
mode: P
visited: 16
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 425
- 0: Mul 431
- 1: SymC &a 415
+ -1: Block 435
+ 0: Mul 441
+ 1: SymC &a 423
Private Attributes:
+ in loop 672 with depth 0
"
}
-node: {title: "n433n415" label: "SymC &a 415" info1: "SymC &a 415
+node: {title: "n443n423" label: "SymC &a 423" info1: "SymC &a 423
mode: P
visited: 16
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
"
}
-edge: {sourcename: "n433" targetname: "n431" label: "0" class:1 priority:50}
-edge: {sourcename: "n433" targetname: "n433n415" label: "1" class:16 priority:10}
-node: {title: "n431" label: "MulIs 431" info1: "Mul 431
+edge: {sourcename: "n443" targetname: "n441" label: "0" class:1 priority:50}
+edge: {sourcename: "n443" targetname: "n443n423" label: "1" class:16 priority:10}
+node: {title: "n441" label: "MulIs 441" info1: "Mul 441
mode: Is
visited: 16
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 425
- 0: 0x4 428
- 1: Sub 430
+ -1: Block 435
+ 0: 0x4 438
+ 1: Sub 440
Private Attributes:
+ in loop 672 with depth 0
"
}
-node: {title: "n431n428" label: "0x4Is 428" info1: "0x4 428
+node: {title: "n441n438" label: "0x4Is 438" info1: "0x4 438
mode: Is
visited: 16
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: "n431" targetname: "n431n428" label: "0" class:16 priority:10}
-edge: {sourcename: "n431" targetname: "n430" label: "1" class:1 priority:50}
-node: {title: "n442" label: "Jmp 442" info1: "Jmp 442
+edge: {sourcename: "n441" targetname: "n441n438" label: "0" class:16 priority:10}
+edge: {sourcename: "n441" targetname: "n440" label: "1" class:1 priority:50}
+node: {title: "n452" label: "Jmp 452" info1: "Jmp 452
mode: X
visited: 16
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: "n430" label: "SubIs 430" info1: "Sub 430
+node: {title: "n440" label: "SubIs 440" info1: "Sub 440
mode: Is
visited: 16
irg: STRENGTH_RED_EXAMPLE_m6
arity: 2
pred nodes:
- -1: Block 425
- 0: Phi 456
- 1: 0x1 426
+ -1: Block 435
+ 0: Phi 466
+ 1: 0x1 436
Private Attributes:
+ in loop 673 with depth 1
"
}
-node: {title: "n430n426" label: "0x1Is 426" info1: "0x1 426
+node: {title: "n440n436" label: "0x1Is 436" info1: "0x1 436
mode: Is
visited: 16
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: "n430" targetname: "n456" label: "0" class:16 priority:10}
-edge: {sourcename: "n430" targetname: "n430n426" label: "1" class:16 priority:10}
+edge: {sourcename: "n440" targetname: "n466" label: "0" class:16 priority:10}
+edge: {sourcename: "n440" targetname: "n440n436" 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: 16
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: 16
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: 16
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
"