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: "mode: X
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: blue}
+node: {title: "n203" label: "End 203" info1: "End 203
+ mode: X
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -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: "mode: X
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-return in method of type STRENGTH_RED_EXAMPLE_meth_tp
- res 0 type: int
-"}
-node: {title: "n252n228" label: "0x4Is 228" info1: "mode: Is
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n252" label: "Return 252" info1: "Return 252
+ mode: X
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 249
+ 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
+ mode: Is
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ in loop 582 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}
}
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: "mode: M
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2 backedges: 1
-"color: green}
+node: {title: "n256" label: "PhiM 256" info1: "Phi 256
+ mode: M
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 218
+ 0: Proj 211
+ 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}
backedge: {sourcename: "n256" targetname: "n241" label: "1" linestyle:dashed class:17 priority:10 color:blue}
-node: {title: "n224" label: "ProjX 0 224" info1: "mode: X
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
+node: {title: "n224" label: "ProjX 0 224" info1: "Proj 224
+ mode: X
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -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}
-node: {title: "n225" label: "ProjX 1 225" info1: "mode: X
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
+node: {title: "n225" label: "ProjX 1 225" info1: "Proj 225
+ mode: X
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -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: "mode: T
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"}
+node: {title: "n223" label: "Cond 223" info1: "Cond 223
+ mode: T
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -1: Block 218
+ 0: Proj 222
+ Private Attributes:
+ in loop 584 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: "mode: b
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
+node: {title: "n222" label: "Projb Lt 222" info1: "Proj 222
+ mode: b
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -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: "mode: T
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n221n220" label: "0x0Is 220" info1: "mode: Is
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n221" label: "Cmp 221" info1: "Cmp 221
+ mode: T
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 218
+ 0: 0x0 220
+ 1: Phi 257
+ Private Attributes:
+ in loop 584 with depth 2
+"
+}
+node: {title: "n221n220" label: "0x0Is 220" info1: "0x0 220
+ mode: Is
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ 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: "mode: Is
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2 backedges: 1
-"color: green}
-node: {title: "n257n215" label: "0xAIs 215" info1: "mode: Is
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n257" label: "PhiIs 257" info1: "Phi 257
+ mode: Is
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 218
+ 0: 0xA 215
+ 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
+ mode: Is
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ in loop 582 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}
}
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: "mode: X
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-"}
+node: {title: "n217" label: "Jmp 217" info1: "Jmp 217
+ mode: X
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 214
+ Private Attributes:
+ in loop 582 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: "mode: M
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
+node: {title: "n241" label: "ProjM 0 241" info1: "Proj 241
+ mode: M
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -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: "mode: T
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 3
-volatility: volatility_non_volatile
-"}
+node: {title: "n239" label: "Store 239" info1: "Store 239
+ 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
+ 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: "mode: P
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
+node: {title: "n237" label: "AddP 237" info1: "Add 237
+ mode: P
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 226
+ 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: "mode: P
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n236n229" label: "0x8Is 229" info1: "mode: Is
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n236" label: "AddP 236" info1: "Add 236
+ mode: P
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 226
+ 0: 0x8 229
+ 1: Add 235
+ Private Attributes:
+ in loop 582 with depth 0
+"
+}
+node: {title: "n236n229" label: "0x8Is 229" info1: "0x8 229
+ mode: Is
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ 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: "mode: P
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n235n229" label: "0x8Is 229" info1: "mode: Is
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n235" label: "AddP 235" info1: "Add 235
+ mode: P
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 226
+ 0: 0x8 229
+ 1: Add 234
+ Private Attributes:
+ in loop 582 with depth 0
+"
+}
+node: {title: "n235n229" label: "0x8Is 229" info1: "0x8 229
+ mode: Is
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ 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: "mode: P
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n234n228" label: "0x4Is 228" info1: "mode: Is
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n234" label: "AddP 234" info1: "Add 234
+ mode: P
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 226
+ 0: 0x4 228
+ 1: Add 233
+ Private Attributes:
+ in loop 582 with depth 0
+"
+}
+node: {title: "n234n228" label: "0x4Is 228" info1: "0x4 228
+ mode: Is
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ 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: "mode: P
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n233n216" label: "SymC &a 216" info1: "mode: P
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-kind addr_ent
-entity GlobalType.a (200)
+node: {title: "n233" label: "AddP 233" info1: "Add 233
+ mode: P
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 226
+ 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
+ mode: P
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ in loop 582 with depth 0
+ kind: addr_ent
+ entity: entity GlobalType.a (200)
-SymConst of type type_unknown
-"}
+ 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: "mode: Is
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n231n228" label: "0x4Is 228" info1: "mode: Is
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n231" label: "MulIs 231" info1: "Mul 231
+ mode: Is
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 226
+ 0: 0x4 228
+ 1: Phi 257
+ Private Attributes:
+ in loop 582 with depth 0
+"
+}
+node: {title: "n231n228" label: "0x4Is 228" info1: "0x4 228
+ mode: Is
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ 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: "mode: X
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-"}
-node: {title: "n242" label: "SubIs 242" info1: "mode: Is
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n242n227" label: "0x1Is 227" info1: "mode: Is
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
+node: {title: "n243" label: "Jmp 243" info1: "Jmp 243
+ mode: X
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 226
+ Private Attributes:
+ in loop 584 with depth 2
+"
+}
+node: {title: "n242" label: "SubIs 242" info1: "Sub 242
+ mode: Is
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 226
+ 0: Phi 257
+ 1: 0x1 227
+ Private Attributes:
+ in loop 583 with depth 1
+"
+}
+node: {title: "n242n227" label: "0x1Is 227" info1: "0x1 227
+ mode: Is
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ in loop 582 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}
}
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: "mode: M
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
+node: {title: "n211" label: "ProjM 1 211" info1: "Proj 211
+ mode: M
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -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}
-node: {title: "n208" label: "ProjX 0 208" info1: "mode: X
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
+node: {title: "n208" label: "ProjX 0 208" info1: "Proj 208
+ mode: X
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -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: "mode: T
-visited: 17
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-start of method of type STRENGTH_RED_EXAMPLE_meth_tp
- param 0 type: int
-"color: blue}
+node: {title: "n205" label: "Start 205" info1: "Start 205
+ mode: T
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ 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
+"
+color: blue}
}
}