graph: { title: "g346" label: "STRENGTH_RED_EXAMPLE_m5" status:clustered color:white
graph: { title: "n335" label: "Block 335" status:clustered color:yellow
edge: {sourcename: "n335" targetname: "n385" label: "0" class:13 priority:60 color:red}
-node: {title: "n336" label: "End 336" info1: "End 336
+node: {title: "n336" label: "End 336" info1: "End 336
mode: X
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
-1: Block 335
0: Phi 389
Private Attributes:
+ in loop 636 with depth 0
"
color: blue}
}
graph: { title: "n382" label: "Block 382" status:clustered color:yellow
edge: {sourcename: "n382" targetname: "n357" label: "0" class:13 priority:60 color:red}
-node: {title: "n385" label: "Return 385" info1: "Return 385
+node: {title: "n385" label: "Return 385" info1: "Return 385
mode: X
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
0: Phi 389
1: 0x4 361
Private Attributes:
+ in loop 636 with depth 0
return in method of type STRENGTH_RED_EXAMPLE_meth_tp
res 0 type: int
"
}
-node: {title: "n385n361" label: "0x4Is 361" info1: "0x4 361
+node: {title: "n385n361" label: "0x4Is 361" info1: "0x4 361
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
pred nodes:
-1: Block 337
Private Attributes:
+ in loop 636 with depth 0
Const of type type_unknown
"
color: yellow}
graph: { title: "n351" label: "Block 351" status:clustered color:yellow
edge: {sourcename: "n351" targetname: "n350" label: "0" class:13 priority:60 color:red}
backedge: {sourcename: "n351" targetname: "n376" label: "1" linestyle:dashed class:13 priority:60 color:red}
-node: {title: "n389" label: "PhiM 389" info1: "Phi 389
+node: {title: "n389" label: "PhiM 389" info1: "Phi 389
mode: M
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
1: Proj 375
Private Attributes:
backedges:
+ in loop 639 with depth 1
"
color: green}
edge: {sourcename: "n389" targetname: "n344" label: "0" class:17 priority:10 color:blue}
-1: Block 351
0: Cond 356
Private Attributes:
+ in loop 636 with depth 0
"
color: yellow}
edge: {sourcename: "n357" targetname: "n356" label: "0" class:13 priority:60 color:red}
-1: Block 351
0: Cond 356
Private Attributes:
+ in loop 638 with depth 2
"
color: yellow}
edge: {sourcename: "n358" targetname: "n356" label: "0" class:13 priority:60 color:red}
-node: {title: "n356" label: "Cond 356" info1: "Cond 356
+node: {title: "n356" label: "Cond 356" info1: "Cond 356
mode: T
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
-1: Block 351
0: Proj 355
Private Attributes:
+ in loop 638 with depth 2
condition kind: dense
default ProjNr: 0
"
-1: Block 351
0: Cmp 354
Private Attributes:
+ in loop 638 with depth 2
"
color: yellow}
edge: {sourcename: "n355" targetname: "n354" label: "0" class:1 priority:50}
-node: {title: "n354" label: "Cmp 354" info1: "Cmp 354
+node: {title: "n354" label: "Cmp 354" info1: "Cmp 354
mode: T
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
0: 0x0 353
1: Phi 390
Private Attributes:
+ in loop 638 with depth 2
"
}
-node: {title: "n354n353" label: "0x0Is 353" info1: "0x0 353
+node: {title: "n354n353" label: "0x0Is 353" info1: "0x0 353
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
pred nodes:
-1: Block 337
Private Attributes:
+ in loop 636 with depth 0
Const of type type_unknown
"
color: yellow}
edge: {sourcename: "n354" targetname: "n354n353" label: "0" class:16 priority:10}
edge: {sourcename: "n354" targetname: "n390" label: "1" class:1 priority:50}
-node: {title: "n390" label: "PhiIs 390" info1: "Phi 390
+node: {title: "n390" label: "PhiIs 390" info1: "Phi 390
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
1: Add 643
Private Attributes:
backedges:
+ in loop 637 with depth 1
"
color: green}
-node: {title: "n390n656" label: "0x28Is 656" info1: "0x28 656
+node: {title: "n390n656" label: "0x28Is 656" info1: "0x28 656
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
graph: { title: "n347" label: "Block 347" status:clustered color:yellow
edge: {sourcename: "n347" targetname: "n341" label: "0" class:13 priority:60 color:red}
-node: {title: "n350" label: "Jmp 350" info1: "Jmp 350
+node: {title: "n350" label: "Jmp 350" info1: "Jmp 350
mode: X
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
pred nodes:
-1: Block 347
Private Attributes:
+ in loop 636 with depth 0
"
}
}
-1: Block 359
0: Store 373
Private Attributes:
+ in loop 639 with depth 1
"
color: yellow}
edge: {sourcename: "n375" targetname: "n373" label: "0" class:17 priority:10 color:blue}
-node: {title: "n373" label: "Store 373" info1: "Store 373
+node: {title: "n373" label: "Store 373" info1: "Store 373
mode: T
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
2: 0x13 371
Private Attributes:
pinned state: op_pin_state_pinned
+ in loop 639 with depth 1
volatility: volatility_non_volatile
"
}
-node: {title: "n373n371" label: "0x13Is 371" info1: "0x13 371
+node: {title: "n373n371" label: "0x13Is 371" info1: "0x13 371
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
pred nodes:
-1: Block 337
Private Attributes:
+ in loop 636 with depth 0
Const of type type_unknown
"
color: yellow}
edge: {sourcename: "n373" targetname: "n389" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n373" targetname: "n652" label: "1" class:1 priority:50}
edge: {sourcename: "n373" targetname: "n373n371" label: "2" class:16 priority:10}
-node: {title: "n652" label: "AddP 652" info1: "Add 652
+node: {title: "n652" label: "AddP 652" info1: "Add 652
mode: P
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
Private Attributes:
"
}
-node: {title: "n652n651" label: "0x9Is 651" info1: "0x9 651
+node: {title: "n652n651" label: "0x9Is 651" info1: "0x9 651
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
color: yellow}
edge: {sourcename: "n652" targetname: "n649" label: "0" class:1 priority:50}
edge: {sourcename: "n652" targetname: "n652n651" label: "1" class:16 priority:10}
-node: {title: "n649" label: "AddP 649" info1: "Add 649
+node: {title: "n649" label: "AddP 649" info1: "Add 649
mode: P
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
}
edge: {sourcename: "n649" targetname: "n390" label: "0" class:16 priority:10}
edge: {sourcename: "n649" targetname: "n648" label: "1" class:1 priority:50}
-node: {title: "n648" label: "AddP 648" info1: "Add 648
+node: {title: "n648" label: "AddP 648" info1: "Add 648
mode: P
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
Private Attributes:
"
}
-node: {title: "n648n349" label: "SymC &a 349" info1: "SymC &a 349
+node: {title: "n648n349" label: "SymC &a 349" info1: "SymC &a 349
mode: P
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
pred nodes:
-1: Block 337
Private Attributes:
+ in loop 636 with depth 0
kind: addr_ent
entity: entity GlobalType.a (333)
type of value: type_unknown
"
}
-node: {title: "n648n646" label: "0xFFFFFFFCIs 646" info1: "0xFFFFFFFC 646
+node: {title: "n648n646" label: "0xFFFFFFFCIs 646" info1: "0xFFFFFFFC 646
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
color: yellow}
edge: {sourcename: "n648" targetname: "n648n349" label: "0" class:16 priority:10}
edge: {sourcename: "n648" targetname: "n648n646" label: "1" class:16 priority:10}
-node: {title: "n376" label: "Jmp 376" info1: "Jmp 376
+node: {title: "n376" label: "Jmp 376" info1: "Jmp 376
mode: X
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
pred nodes:
-1: Block 359
Private Attributes:
+ in loop 638 with depth 2
"
}
-node: {title: "n643" label: "AddIs 643" info1: "Add 643
+node: {title: "n643" label: "AddIs 643" info1: "Add 643
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
Private Attributes:
"
}
-node: {title: "n643n646" label: "0xFFFFFFFCIs 646" info1: "0xFFFFFFFC 646
+node: {title: "n643n646" label: "0xFFFFFFFCIs 646" info1: "0xFFFFFFFC 646
mode: Is
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
-1: Block 337
0: Start 338
Private Attributes:
+ in loop 636 with depth 0
"
color: yellow}
edge: {sourcename: "n344" targetname: "n338" label: "0" class:17 priority:10 color:blue}
-1: Block 337
0: Start 338
Private Attributes:
+ in loop 636 with depth 0
"
color: yellow}
edge: {sourcename: "n341" targetname: "n338" label: "0" class:13 priority:60 color:red}
-node: {title: "n338" label: "Start 338" info1: "Start 338
+node: {title: "n338" label: "Start 338" info1: "Start 338
mode: T
visited: 27
irg: STRENGTH_RED_EXAMPLE_m5
pred nodes:
-1: Block 337
Private Attributes:
+ in loop 636 with depth 0
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"