graph: { title: "g213" label: "STRENGTH_RED_EXAMPLE_m3" status:clustered color:white
graph: { title: "n202" label: "Block 202" status:clustered color:yellow
edge: {sourcename: "n202" targetname: "n252" label: "0" class:13 priority:60 color:red}
-node: {title: "n203" label: "End 203" info1: "End 203
+node: {title: "n203" label: "End 203" info1: "End 203
mode: X
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
-1: Block 202
0: Phi 256
Private Attributes:
+ in loop 582 with depth 0
"
color: blue}
}
graph: { title: "n249" label: "Block 249" status:clustered color:yellow
edge: {sourcename: "n249" targetname: "n224" label: "0" class:13 priority:60 color:red}
-node: {title: "n252" label: "Return 252" info1: "Return 252
+node: {title: "n252" label: "Return 252" info1: "Return 252
mode: X
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
0: Phi 256
1: 0x4 228
Private Attributes:
+ in loop 582 with depth 0
return in method of type STRENGTH_RED_EXAMPLE_meth_tp
res 0 type: int
"
}
-node: {title: "n252n228" label: "0x4Is 228" info1: "0x4 228
+node: {title: "n252n228" label: "0x4Is 228" info1: "0x4 228
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
graph: { title: "n218" label: "Block 218" status:clustered color:yellow
edge: {sourcename: "n218" targetname: "n217" label: "0" class:13 priority:60 color:red}
backedge: {sourcename: "n218" targetname: "n243" label: "1" linestyle:dashed class:13 priority:60 color:red}
-node: {title: "n256" label: "PhiM 256" info1: "Phi 256
+node: {title: "n256" label: "PhiM 256" info1: "Phi 256
mode: M
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
1: be Proj 241
Private Attributes:
backedges: 1
+ in loop 585 with depth 1
"
color: green}
edge: {sourcename: "n256" targetname: "n211" label: "0" class:17 priority:10 color:blue}
-1: Block 218
0: Cond 223
Private Attributes:
+ in loop 582 with depth 0
"
color: yellow}
edge: {sourcename: "n224" targetname: "n223" label: "0" class:13 priority:60 color:red}
-1: Block 218
0: Cond 223
Private Attributes:
+ in loop 584 with depth 2
"
color: yellow}
edge: {sourcename: "n225" targetname: "n223" label: "0" class:13 priority:60 color:red}
-node: {title: "n223" label: "Cond 223" info1: "Cond 223
+node: {title: "n223" label: "Cond 223" info1: "Cond 223
mode: T
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
-1: Block 218
0: Proj 222
Private Attributes:
+ in loop 584 with depth 2
condition kind: dense
default ProjNr: 0
"
-1: Block 218
0: Cmp 221
Private Attributes:
+ in loop 584 with depth 2
"
color: yellow}
edge: {sourcename: "n222" targetname: "n221" label: "0" class:1 priority:50}
-node: {title: "n221" label: "Cmp 221" info1: "Cmp 221
+node: {title: "n221" label: "Cmp 221" info1: "Cmp 221
mode: T
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
0: 0x0 220
1: Phi 257
Private Attributes:
+ in loop 584 with depth 2
"
}
-node: {title: "n221n220" label: "0x0Is 220" info1: "0x0 220
+node: {title: "n221n220" label: "0x0Is 220" info1: "0x0 220
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
edge: {sourcename: "n221" targetname: "n221n220" label: "0" class:16 priority:10}
edge: {sourcename: "n221" targetname: "n257" label: "1" class:1 priority:50}
-node: {title: "n257" label: "PhiIs 257" info1: "Phi 257
+node: {title: "n257" label: "PhiIs 257" info1: "Phi 257
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
1: be Sub 242
Private Attributes:
backedges: 1
+ in loop 583 with depth 1
"
color: green}
-node: {title: "n257n215" label: "0xAIs 215" info1: "0xA 215
+node: {title: "n257n215" label: "0xAIs 215" info1: "0xA 215
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
graph: { title: "n214" label: "Block 214" status:clustered color:yellow
edge: {sourcename: "n214" targetname: "n208" label: "0" class:13 priority:60 color:red}
-node: {title: "n217" label: "Jmp 217" info1: "Jmp 217
+node: {title: "n217" label: "Jmp 217" info1: "Jmp 217
mode: X
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
pred nodes:
-1: Block 214
Private Attributes:
+ in loop 582 with depth 0
"
}
}
-1: Block 226
0: Store 239
Private Attributes:
+ in loop 585 with depth 1
"
color: yellow}
edge: {sourcename: "n241" targetname: "n239" label: "0" class:17 priority:10 color:blue}
-node: {title: "n239" label: "Store 239" info1: "Store 239
+node: {title: "n239" label: "Store 239" info1: "Store 239
mode: T
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
2: Phi 257
Private Attributes:
pinned state: op_pin_state_pinned
+ in loop 585 with depth 1
volatility: volatility_non_volatile
"
}
edge: {sourcename: "n239" targetname: "n256" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n239" targetname: "n237" label: "1" class:1 priority:50}
edge: {sourcename: "n239" targetname: "n257" label: "2" class:16 priority:10}
-node: {title: "n237" label: "AddP 237" info1: "Add 237
+node: {title: "n237" label: "AddP 237" info1: "Add 237
mode: P
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
0: Add 235
1: Add 236
Private Attributes:
+ in loop 582 with depth 0
"
}
edge: {sourcename: "n237" targetname: "n235" label: "0" class:1 priority:50}
edge: {sourcename: "n237" targetname: "n236" label: "1" class:1 priority:50}
-node: {title: "n236" label: "AddP 236" info1: "Add 236
+node: {title: "n236" label: "AddP 236" info1: "Add 236
mode: P
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
0: 0x8 229
1: Add 235
Private Attributes:
+ in loop 582 with depth 0
"
}
-node: {title: "n236n229" label: "0x8Is 229" info1: "0x8 229
+node: {title: "n236n229" label: "0x8Is 229" info1: "0x8 229
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
edge: {sourcename: "n236" targetname: "n236n229" label: "0" class:16 priority:10}
edge: {sourcename: "n236" targetname: "n235" label: "1" class:1 priority:50}
-node: {title: "n235" label: "AddP 235" info1: "Add 235
+node: {title: "n235" label: "AddP 235" info1: "Add 235
mode: P
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
0: 0x8 229
1: Add 234
Private Attributes:
+ in loop 582 with depth 0
"
}
-node: {title: "n235n229" label: "0x8Is 229" info1: "0x8 229
+node: {title: "n235n229" label: "0x8Is 229" info1: "0x8 229
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
edge: {sourcename: "n235" targetname: "n235n229" label: "0" class:16 priority:10}
edge: {sourcename: "n235" targetname: "n234" label: "1" class:1 priority:50}
-node: {title: "n234" label: "AddP 234" info1: "Add 234
+node: {title: "n234" label: "AddP 234" info1: "Add 234
mode: P
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
0: 0x4 228
1: Add 233
Private Attributes:
+ in loop 582 with depth 0
"
}
-node: {title: "n234n228" label: "0x4Is 228" info1: "0x4 228
+node: {title: "n234n228" label: "0x4Is 228" info1: "0x4 228
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
edge: {sourcename: "n234" targetname: "n234n228" label: "0" class:16 priority:10}
edge: {sourcename: "n234" targetname: "n233" label: "1" class:1 priority:50}
-node: {title: "n233" label: "AddP 233" info1: "Add 233
+node: {title: "n233" label: "AddP 233" info1: "Add 233
mode: P
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
0: Mul 231
1: SymC &a 216
Private Attributes:
+ in loop 582 with depth 0
"
}
-node: {title: "n233n216" label: "SymC &a 216" info1: "SymC &a 216
+node: {title: "n233n216" label: "SymC &a 216" info1: "SymC &a 216
mode: P
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
kind: addr_ent
entity: entity GlobalType.a (200)
}
edge: {sourcename: "n233" targetname: "n231" label: "0" class:1 priority:50}
edge: {sourcename: "n233" targetname: "n233n216" label: "1" class:16 priority:10}
-node: {title: "n231" label: "MulIs 231" info1: "Mul 231
+node: {title: "n231" label: "MulIs 231" info1: "Mul 231
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
0: 0x4 228
1: Phi 257
Private Attributes:
+ in loop 582 with depth 0
"
}
-node: {title: "n231n228" label: "0x4Is 228" info1: "0x4 228
+node: {title: "n231n228" label: "0x4Is 228" info1: "0x4 228
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
edge: {sourcename: "n231" targetname: "n231n228" label: "0" class:16 priority:10}
edge: {sourcename: "n231" targetname: "n257" label: "1" class:16 priority:10}
-node: {title: "n243" label: "Jmp 243" info1: "Jmp 243
+node: {title: "n243" label: "Jmp 243" info1: "Jmp 243
mode: X
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
pred nodes:
-1: Block 226
Private Attributes:
+ in loop 584 with depth 2
"
}
-node: {title: "n242" label: "SubIs 242" info1: "Sub 242
+node: {title: "n242" label: "SubIs 242" info1: "Sub 242
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
0: Phi 257
1: 0x1 227
Private Attributes:
+ in loop 583 with depth 1
"
}
-node: {title: "n242n227" label: "0x1Is 227" info1: "0x1 227
+node: {title: "n242n227" label: "0x1Is 227" info1: "0x1 227
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
Const of type type_unknown
"
color: yellow}
-1: Block 204
0: Start 205
Private Attributes:
+ in loop 582 with depth 0
"
color: yellow}
edge: {sourcename: "n211" targetname: "n205" label: "0" class:17 priority:10 color:blue}
-1: Block 204
0: Start 205
Private Attributes:
+ in loop 582 with depth 0
"
color: yellow}
edge: {sourcename: "n208" targetname: "n205" label: "0" class:13 priority:60 color:red}
-node: {title: "n205" label: "Start 205" info1: "Start 205
+node: {title: "n205" label: "Start 205" info1: "Start 205
mode: T
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
pred nodes:
-1: Block 204
Private Attributes:
+ in loop 582 with depth 0
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"