colorentry 124: 255 240 240
colorentry 125: 255 250 250
-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
+graph: { title: "g217" label: "STRENGTH_RED_EXAMPLE_m3" status:clustered color:white
+graph: { title: "n206" label: "Block 206" status:clustered color:yellow
+edge: {sourcename: "n206" targetname: "n257" label: "0" class:13 priority:60 color:red}
+node: {title: "n207" label: "End 207" info1: "End 207
mode: X
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
- -1: Block 202
- 0: Phi 256
+ -1: Block 206
+ 0: Phi 261
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 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
+graph: { title: "n254" label: "Block 254" status:clustered color:yellow
+edge: {sourcename: "n254" targetname: "n229" label: "0" class:13 priority:60 color:red}
+node: {title: "n257" label: "Return 257" info1: "Return 257
mode: X
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
- -1: Block 249
- 0: Phi 256
- 1: 0x4 228
+ -1: Block 254
+ 0: Phi 261
+ 1: 0x4 233
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 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: "n257n233" label: "0x4Is 233" info1: "0x4 233
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
- -1: Block 204
+ -1: Block 208
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 with depth 0
Const of type type_unknown
"
color: yellow}
-edge: {sourcename: "n252" targetname: "n256" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n252" targetname: "n252n228" label: "1" class:16 priority:10}
+edge: {sourcename: "n257" targetname: "n261" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n257" targetname: "n257n233" label: "1" class:16 priority:10}
}
-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
+graph: { title: "n222" label: "Block 222" status:clustered color:yellow
+edge: {sourcename: "n222" targetname: "n221" label: "0" class:13 priority:60 color:red}
+backedge: {sourcename: "n222" targetname: "n248" label: "1" linestyle:dashed class:13 priority:60 color:red}
+node: {title: "n261" label: "PhiM 261" info1: "Phi 261
mode: M
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
- -1: Block 218
- 0: Proj 211
- 1: be Proj 241
+ -1: Block 222
+ 0: Proj 215
+ 1: be Proj 246
Private Attributes:
backedges: 1
- in loop 585 with depth 1
+ in loop 596 with depth 1
"
color: green}
-edge: {sourcename: "n256" targetname: "n211" label: "0" class:17 priority:10 color:blue}
-backedge: {sourcename: "n256" targetname: "n241" label: "1" linestyle:dashed class:17 priority:10 color:blue}
-node: {title: "n224" label: "ProjX 0 224" info1: "Proj 224
+edge: {sourcename: "n261" targetname: "n215" label: "0" class:17 priority:10 color:blue}
+backedge: {sourcename: "n261" targetname: "n246" label: "1" linestyle:dashed class:17 priority:10 color:blue}
+node: {title: "n229" label: "ProjX 0 229" info1: "Proj 229
mode: X
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
- -1: Block 218
- 0: Cond 223
+ -1: Block 222
+ 0: Cond 228
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 with depth 0
"
color: yellow}
-edge: {sourcename: "n224" targetname: "n223" label: "0" class:13 priority:60 color:red}
-node: {title: "n225" label: "ProjX 1 225" info1: "Proj 225
+edge: {sourcename: "n229" targetname: "n228" label: "0" class:13 priority:60 color:red}
+node: {title: "n230" label: "ProjX 1 230" info1: "Proj 230
mode: X
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
- -1: Block 218
- 0: Cond 223
+ -1: Block 222
+ 0: Cond 228
Private Attributes:
- in loop 584 with depth 2
+ in loop 595 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
+edge: {sourcename: "n230" targetname: "n228" label: "0" class:13 priority:60 color:red}
+node: {title: "n228" label: "Cond 228" info1: "Cond 228
mode: T
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
- -1: Block 218
- 0: Proj 222
+ -1: Block 222
+ 0: Proj 226
Private Attributes:
- in loop 584 with depth 2
+ in loop 595 with depth 2
condition kind: dense
default ProjNr: 0
"
}
-edge: {sourcename: "n223" targetname: "n222" label: "0" class:1 priority:50}
-node: {title: "n222" label: "Projb Lt 222" info1: "Proj 222
+edge: {sourcename: "n228" targetname: "n226" label: "0" class:1 priority:50}
+node: {title: "n226" label: "Projb Gt 226" info1: "Proj 226
mode: b
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
- -1: Block 218
- 0: Cmp 221
+ -1: Block 222
+ 0: Cmp 227
Private Attributes:
- in loop 584 with depth 2
+ in loop 595 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
+edge: {sourcename: "n226" targetname: "n227" label: "0" class:1 priority:50}
+node: {title: "n227" label: "Cmp 227" info1: "Cmp 227
mode: T
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
- -1: Block 218
- 0: 0x0 220
- 1: Phi 257
+ -1: Block 222
+ 0: Phi 262
+ 1: 0x0 224
Private Attributes:
- in loop 584 with depth 2
+ in loop 595 with depth 2
"
}
-node: {title: "n221n220" label: "0x0Is 220" info1: "0x0 220
+node: {title: "n227n224" label: "0x0Is 224" info1: "0x0 224
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
- -1: Block 204
+ -1: Block 208
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 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
+edge: {sourcename: "n227" targetname: "n262" label: "0" class:1 priority:50}
+edge: {sourcename: "n227" targetname: "n227n224" label: "1" class:16 priority:10}
+node: {title: "n262" label: "PhiIs 262" info1: "Phi 262
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
- -1: Block 218
- 0: 0xA 215
- 1: be Sub 242
+ -1: Block 222
+ 0: 0xA 219
+ 1: be Sub 247
Private Attributes:
backedges: 1
- in loop 583 with depth 1
+ in loop 594 with depth 1
"
color: green}
-node: {title: "n257n215" label: "0xAIs 215" info1: "0xA 215
+node: {title: "n262n219" label: "0xAIs 219" info1: "0xA 219
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
- -1: Block 204
+ -1: Block 208
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 with depth 0
Const of type type_unknown
"
color: yellow}
-edge: {sourcename: "n257" targetname: "n257n215" label: "0" class:16 priority:10}
-backedge: {sourcename: "n257" targetname: "n242" label: "1" linestyle:dashed class:16 priority:10}
+edge: {sourcename: "n262" targetname: "n262n219" label: "0" class:16 priority:10}
+backedge: {sourcename: "n262" targetname: "n247" label: "1" linestyle:dashed class:16 priority:10}
}
-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
+graph: { title: "n218" label: "Block 218" status:clustered color:yellow
+edge: {sourcename: "n218" targetname: "n212" label: "0" class:13 priority:60 color:red}
+node: {title: "n221" label: "Jmp 221" info1: "Jmp 221
mode: X
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
- -1: Block 214
+ -1: Block 218
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 with depth 0
"
}
}
-graph: { title: "n226" label: "Block 226" status:clustered color:yellow
-edge: {sourcename: "n226" targetname: "n225" label: "0" class:13 priority:60 color:red}
-node: {title: "n241" label: "ProjM 0 241" info1: "Proj 241
+graph: { title: "n231" label: "Block 231" status:clustered color:yellow
+edge: {sourcename: "n231" targetname: "n230" label: "0" class:13 priority:60 color:red}
+node: {title: "n246" label: "ProjM 0 246" info1: "Proj 246
mode: M
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
- -1: Block 226
- 0: Store 239
+ -1: Block 231
+ 0: Store 244
Private Attributes:
- in loop 585 with depth 1
+ in loop 596 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
+edge: {sourcename: "n246" targetname: "n244" label: "0" class:17 priority:10 color:blue}
+node: {title: "n244" label: "Store 244" info1: "Store 244
mode: T
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 3
pred nodes:
- -1: Block 226
- 0: Phi 256
- 1: Add 237
- 2: Phi 257
+ -1: Block 231
+ 0: Phi 261
+ 1: Add 242
+ 2: Phi 262
Private Attributes:
pinned state: op_pin_state_pinned
- in loop 585 with depth 1
+ in loop 596 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
+edge: {sourcename: "n244" targetname: "n261" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n244" targetname: "n242" label: "1" class:1 priority:50}
+edge: {sourcename: "n244" targetname: "n262" label: "2" class:16 priority:10}
+node: {title: "n242" label: "AddP 242" info1: "Add 242
mode: P
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
- -1: Block 226
- 0: Add 235
- 1: Add 236
+ -1: Block 231
+ 0: Add 240
+ 1: Add 241
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 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
+edge: {sourcename: "n242" targetname: "n240" label: "0" class:1 priority:50}
+edge: {sourcename: "n242" targetname: "n241" label: "1" class:1 priority:50}
+node: {title: "n241" label: "AddP 241" info1: "Add 241
mode: P
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
- -1: Block 226
- 0: 0x8 229
- 1: Add 235
+ -1: Block 231
+ 0: 0x8 234
+ 1: Add 240
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 with depth 0
"
}
-node: {title: "n236n229" label: "0x8Is 229" info1: "0x8 229
+node: {title: "n241n234" label: "0x8Is 234" info1: "0x8 234
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
- -1: Block 204
+ -1: Block 208
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 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
+edge: {sourcename: "n241" targetname: "n241n234" label: "0" class:16 priority:10}
+edge: {sourcename: "n241" targetname: "n240" label: "1" class:1 priority:50}
+node: {title: "n240" label: "AddP 240" info1: "Add 240
mode: P
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
- -1: Block 226
- 0: 0x8 229
- 1: Add 234
+ -1: Block 231
+ 0: 0x8 234
+ 1: Add 239
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 with depth 0
"
}
-node: {title: "n235n229" label: "0x8Is 229" info1: "0x8 229
+node: {title: "n240n234" label: "0x8Is 234" info1: "0x8 234
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
- -1: Block 204
+ -1: Block 208
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 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
+edge: {sourcename: "n240" targetname: "n240n234" label: "0" class:16 priority:10}
+edge: {sourcename: "n240" targetname: "n239" label: "1" class:1 priority:50}
+node: {title: "n239" label: "AddP 239" info1: "Add 239
mode: P
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
- -1: Block 226
- 0: 0x4 228
- 1: Add 233
+ -1: Block 231
+ 0: 0x4 233
+ 1: Add 238
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 with depth 0
"
}
-node: {title: "n234n228" label: "0x4Is 228" info1: "0x4 228
+node: {title: "n239n233" label: "0x4Is 233" info1: "0x4 233
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
- -1: Block 204
+ -1: Block 208
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 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
+edge: {sourcename: "n239" targetname: "n239n233" label: "0" class:16 priority:10}
+edge: {sourcename: "n239" targetname: "n238" label: "1" class:1 priority:50}
+node: {title: "n238" label: "AddP 238" info1: "Add 238
mode: P
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
- -1: Block 226
- 0: Mul 231
- 1: SymC &a 216
+ -1: Block 231
+ 0: Mul 236
+ 1: SymC &a 220
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 with depth 0
"
}
-node: {title: "n233n216" label: "SymC &a 216" info1: "SymC &a 216
+node: {title: "n238n220" label: "SymC &a 220" info1: "SymC &a 220
mode: P
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
- -1: Block 204
+ -1: Block 208
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 with depth 0
kind: addr_ent
- entity: entity GlobalType.a (200)
+ entity: entity GlobalType.a (204)
type of value: type_unknown
"
}
-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
+edge: {sourcename: "n238" targetname: "n236" label: "0" class:1 priority:50}
+edge: {sourcename: "n238" targetname: "n238n220" label: "1" class:16 priority:10}
+node: {title: "n236" label: "MulIs 236" info1: "Mul 236
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
- -1: Block 226
- 0: 0x4 228
- 1: Phi 257
+ -1: Block 231
+ 0: 0x4 233
+ 1: Phi 262
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 with depth 0
"
}
-node: {title: "n231n228" label: "0x4Is 228" info1: "0x4 228
+node: {title: "n236n233" label: "0x4Is 233" info1: "0x4 233
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
- -1: Block 204
+ -1: Block 208
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 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
+edge: {sourcename: "n236" targetname: "n236n233" label: "0" class:16 priority:10}
+edge: {sourcename: "n236" targetname: "n262" label: "1" class:16 priority:10}
+node: {title: "n248" label: "Jmp 248" info1: "Jmp 248
mode: X
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
- -1: Block 226
+ -1: Block 231
Private Attributes:
- in loop 584 with depth 2
+ in loop 595 with depth 2
"
}
-node: {title: "n242" label: "SubIs 242" info1: "Sub 242
+node: {title: "n247" label: "SubIs 247" info1: "Sub 247
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 2
pred nodes:
- -1: Block 226
- 0: Phi 257
- 1: 0x1 227
+ -1: Block 231
+ 0: Phi 262
+ 1: 0x1 232
Private Attributes:
- in loop 583 with depth 1
+ in loop 594 with depth 1
"
}
-node: {title: "n242n227" label: "0x1Is 227" info1: "0x1 227
+node: {title: "n247n232" label: "0x1Is 232" info1: "0x1 232
mode: Is
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
- -1: Block 204
+ -1: Block 208
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 with depth 0
Const of type type_unknown
"
color: yellow}
-edge: {sourcename: "n242" targetname: "n257" label: "0" class:16 priority:10}
-edge: {sourcename: "n242" targetname: "n242n227" label: "1" class:16 priority:10}
+edge: {sourcename: "n247" targetname: "n262" label: "0" class:16 priority:10}
+edge: {sourcename: "n247" targetname: "n247n232" label: "1" class:16 priority:10}
}
-graph: { title: "n204" label: "Block 204" status:clustered color:yellow
-edge: {sourcename: "n204" targetname: "n208" label: "0" class:13 priority:60 color:red}
-node: {title: "n211" label: "ProjM 1 211" info1: "Proj 211
+graph: { title: "n208" label: "Block 208" status:clustered color:yellow
+edge: {sourcename: "n208" targetname: "n212" label: "0" class:13 priority:60 color:red}
+node: {title: "n215" label: "ProjM 1 215" info1: "Proj 215
mode: M
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
- -1: Block 204
- 0: Start 205
+ -1: Block 208
+ 0: Start 209
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 with depth 0
"
color: yellow}
-edge: {sourcename: "n211" targetname: "n205" label: "0" class:17 priority:10 color:blue}
-node: {title: "n208" label: "ProjX 0 208" info1: "Proj 208
+edge: {sourcename: "n215" targetname: "n209" label: "0" class:17 priority:10 color:blue}
+node: {title: "n212" label: "ProjX 0 212" info1: "Proj 212
mode: X
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 1
pred nodes:
- -1: Block 204
- 0: Start 205
+ -1: Block 208
+ 0: Start 209
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 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
+edge: {sourcename: "n212" targetname: "n209" label: "0" class:13 priority:60 color:red}
+node: {title: "n209" label: "Start 209" info1: "Start 209
mode: T
visited: 17
irg: STRENGTH_RED_EXAMPLE_m3
arity: 0
pred nodes:
- -1: Block 204
+ -1: Block 208
Private Attributes:
- in loop 582 with depth 0
+ in loop 593 with depth 0
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"