classname 16: "interblock Data"
classname 2: "Block"
classname 13: "Control Flow"
+classname 18: "Exception Control Flow for Interval Analysis"
classname 14: "intrablock Memory"
classname 17: "interblock Memory"
classname 15: "Dominators"
colorentry 124: 255 240 240
colorentry 125: 255 250 250
-graph: { title: "g237" label: "STRENGTH_RED_EXAMPLE_m4" status:clustered color:white
-graph: { title: "n227" label: "Block 227" status:clustered color:yellow
-edge: {sourcename: "n227" targetname: "n271" label: "0" class:13 priority:60 color:red}
-node: {title: "n228" label: "End 228" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: blue}
+graph: { title: "g284" label: "STRENGTH_RED_EXAMPLE_m4" status:clustered color:white
+graph: { title: "n273" label: "Block 273" status:clustered color:yellow
+edge: {sourcename: "n273" targetname: "n326" label: "0" class:13 priority:60 color:red}
+node: {title: "n274" label: "End 274" info1: "End 274
+ mode: X
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 273
+ 0: Phi 330
+ Private Attributes:
+ in loop 615 with depth 0
+"
+color: blue}
}
-graph: { title: "n268" label: "Block 268" status:clustered color:yellow
-edge: {sourcename: "n268" targetname: "n248" label: "0" class:13 priority:60 color:red}
-node: {title: "n271" label: "Return 271" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-return in method of type STRENGTH_RED_EXAMPLE_meth_tp
- res 0 type: int
-"}
-node: {title: "n271n252" label: "0x4Is 252" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n271" targetname: "n275" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n271" targetname: "n271n252" label: "1" class:16 priority:10}
+graph: { title: "n323" label: "Block 323" status:clustered color:yellow
+edge: {sourcename: "n323" targetname: "n297" label: "0" class:13 priority:60 color:red}
+node: {title: "n326" label: "Return 326" info1: "Return 326
+ mode: X
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 323
+ 0: Phi 330
+ 1: 0x4 301
+ Private Attributes:
+ in loop 615 with depth 0
+ return in method of type STRENGTH_RED_EXAMPLE_meth_tp
+ res 0 type: int
+"
+}
+node: {title: "n326n301" label: "0x4Is 301" info1: "0x4 301
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 275
+ Private Attributes:
+ in loop 615 with depth 0
+ Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n326" targetname: "n330" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n326" targetname: "n326n301" label: "1" class:16 priority:10}
}
-graph: { title: "n242" label: "Block 242" status:clustered color:yellow
-edge: {sourcename: "n242" targetname: "n241" label: "0" class:13 priority:60 color:red}
-backedge: {sourcename: "n242" targetname: "n262" label: "1" linestyle:dashed class:13 priority:60 color:red}
-node: {title: "n275" label: "PhiM 275" info1: "mode: M
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2 backedges:
-"color: green}
-edge: {sourcename: "n275" targetname: "n235" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n275" targetname: "n261" label: "1" class:17 priority:10 color:blue}
-node: {title: "n401" label: "PhiIs 401" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2 backedges:
-"color: green}
-node: {title: "n401n239" label: "0x0Is 239" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n401" targetname: "n401n239" label: "0" class:16 priority:10}
-edge: {sourcename: "n401" targetname: "n402" label: "1" class:16 priority:10}
-node: {title: "n248" label: "ProjX 0 248" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n248" targetname: "n247" label: "0" class:13 priority:60 color:red}
-node: {title: "n249" label: "ProjX 1 249" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n249" targetname: "n247" label: "0" class:13 priority:60 color:red}
-node: {title: "n247" label: "Cond 247" info1: "mode: T
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"}
-edge: {sourcename: "n247" targetname: "n246" label: "0" class:1 priority:50}
-node: {title: "n246" label: "Projb Gt 246" info1: "mode: b
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n246" targetname: "n245" label: "0" class:1 priority:50}
-node: {title: "n245" label: "CmpT 245" info1: "mode: T
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n245n244" label: "0xAIs 244" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n245" targetname: "n245n244" label: "0" class:16 priority:10}
-edge: {sourcename: "n245" targetname: "n276" label: "1" class:1 priority:50}
-node: {title: "n276" label: "PhiIs 276" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2 backedges:
-"color: green}
-node: {title: "n276n239" label: "0x0Is 239" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n276" targetname: "n276n239" label: "0" class:16 priority:10}
-edge: {sourcename: "n276" targetname: "n254" label: "1" class:16 priority:10}
+graph: { title: "n289" label: "Block 289" status:clustered color:yellow
+edge: {sourcename: "n289" targetname: "n288" label: "0" class:13 priority:60 color:red}
+backedge: {sourcename: "n289" targetname: "n317" label: "1" linestyle:dashed class:13 priority:60 color:red}
+node: {title: "n330" label: "PhiM 330" info1: "Phi 330
+ mode: M
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 289
+ 0: Proj 282
+ 1: Proj 316
+ Private Attributes:
+ backedges:
+ in loop 618 with depth 1
+"
+color: green}
+edge: {sourcename: "n330" targetname: "n282" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n330" targetname: "n316" label: "1" class:17 priority:10 color:blue}
+node: {title: "n638" label: "PhiIs 638" info1: "Phi 638
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 289
+ 0: 0x0 286
+ 1: Add 639
+ Private Attributes:
+ backedges:
+"
+color: green}
+node: {title: "n638n286" label: "0x0Is 286" info1: "0x0 286
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 275
+ Private Attributes:
+ in loop 615 with depth 0
+ Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n638" targetname: "n638n286" label: "0" class:16 priority:10}
+edge: {sourcename: "n638" targetname: "n639" label: "1" class:16 priority:10}
+node: {title: "n645" label: "PhiIs 645" info1: "Phi 645
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 289
+ 0: 0x0 286
+ 1: Add 646
+ Private Attributes:
+ backedges:
+"
+color: green}
+node: {title: "n645n286" label: "0x0Is 286" info1: "0x0 286
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 275
+ Private Attributes:
+ in loop 615 with depth 0
+ Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n645" targetname: "n645n286" label: "0" class:16 priority:10}
+edge: {sourcename: "n645" targetname: "n646" label: "1" class:16 priority:10}
+node: {title: "n297" label: "ProjX 0 297" info1: "Proj 297
+ mode: X
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 289
+ 0: Cond 296
+ Private Attributes:
+ in loop 615 with depth 0
+"
+color: yellow}
+edge: {sourcename: "n297" targetname: "n296" label: "0" class:13 priority:60 color:red}
+node: {title: "n298" label: "ProjX 1 298" info1: "Proj 298
+ mode: X
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 289
+ 0: Cond 296
+ Private Attributes:
+ in loop 617 with depth 2
+"
+color: yellow}
+edge: {sourcename: "n298" targetname: "n296" label: "0" class:13 priority:60 color:red}
+node: {title: "n296" label: "Cond 296" info1: "Cond 296
+ mode: T
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 289
+ 0: Proj 293
+ Private Attributes:
+ in loop 617 with depth 2
+ condition kind: dense
+ default ProjNr: 0
+"
+}
+edge: {sourcename: "n296" targetname: "n293" label: "0" class:1 priority:50}
+node: {title: "n293" label: "Projb Le 293" info1: "Proj 293
+ mode: b
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 289
+ 0: Cmp 295
+ Private Attributes:
+ in loop 617 with depth 2
+"
+color: yellow}
+edge: {sourcename: "n293" targetname: "n295" label: "0" class:1 priority:50}
+node: {title: "n295" label: "Cmp 295" info1: "Cmp 295
+ mode: T
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 289
+ 0: Phi 331
+ 1: 0x9 294
+ Private Attributes:
+ in loop 617 with depth 2
+"
+}
+node: {title: "n295n294" label: "0x9Is 294" info1: "0x9 294
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 275
+ Private Attributes:
+ in loop 615 with depth 0
+ Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n295" targetname: "n331" label: "0" class:1 priority:50}
+edge: {sourcename: "n295" targetname: "n295n294" label: "1" class:16 priority:10}
+node: {title: "n331" label: "PhiIs 331" info1: "Phi 331
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 289
+ 0: 0x0 286
+ 1: Add 304
+ Private Attributes:
+ backedges:
+ in loop 616 with depth 1
+"
+color: green}
+node: {title: "n331n286" label: "0x0Is 286" info1: "0x0 286
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 275
+ Private Attributes:
+ in loop 615 with depth 0
+ Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n331" targetname: "n331n286" label: "0" class:16 priority:10}
+edge: {sourcename: "n331" targetname: "n304" label: "1" class:16 priority:10}
}
-graph: { title: "n238" label: "Block 238" status:clustered color:yellow
-edge: {sourcename: "n238" targetname: "n232" label: "0" class:13 priority:60 color:red}
-node: {title: "n241" label: "Jmp 241" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-"}
+graph: { title: "n285" label: "Block 285" status:clustered color:yellow
+edge: {sourcename: "n285" targetname: "n279" label: "0" class:13 priority:60 color:red}
+node: {title: "n288" label: "Jmp 288" info1: "Jmp 288
+ mode: X
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 285
+ Private Attributes:
+ in loop 615 with depth 0
+"
+}
}
-graph: { title: "n250" label: "Block 250" status:clustered color:yellow
-edge: {sourcename: "n250" targetname: "n249" label: "0" class:13 priority:60 color:red}
-node: {title: "n261" label: "ProjM 0 261" info1: "mode: M
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n261" targetname: "n259" label: "0" class:17 priority:10 color:blue}
-node: {title: "n259" label: "Store 259" info1: "mode: T
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 3
-volatility: volatility_non_volatile
-"}
-edge: {sourcename: "n259" targetname: "n275" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n259" targetname: "n403" label: "1" class:1 priority:50}
-edge: {sourcename: "n259" targetname: "n254" label: "2" class:1 priority:50}
-node: {title: "n403" label: "AddP 403" info1: "mode: P
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n403n240" label: "SymC &a 240" info1: "mode: P
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-kind addr_ent
-entity GlobalType.a (225)
+graph: { title: "n299" label: "Block 299" status:clustered color:yellow
+edge: {sourcename: "n299" targetname: "n298" label: "0" class:13 priority:60 color:red}
+node: {title: "n316" label: "ProjM 0 316" info1: "Proj 316
+ mode: M
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 299
+ 0: Store 314
+ Private Attributes:
+ in loop 618 with depth 1
+"
+color: yellow}
+edge: {sourcename: "n316" targetname: "n314" label: "0" class:17 priority:10 color:blue}
+node: {title: "n314" label: "Store 314" info1: "Store 314
+ mode: T
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 3
+ pred nodes:
+ -1: Block 299
+ 0: Proj 311
+ 1: Add 624
+ 2: Add 304
+ Private Attributes:
+ pinned state: op_pin_state_pinned
+ in loop 618 with depth 1
+ volatility: volatility_non_volatile
+"
+}
+edge: {sourcename: "n314" targetname: "n311" label: "0" class:14 priority:50 color:blue}
+edge: {sourcename: "n314" targetname: "n624" label: "1" class:1 priority:50}
+edge: {sourcename: "n314" targetname: "n304" label: "2" class:1 priority:50}
+node: {title: "n311" label: "ProjM 0 311" info1: "Proj 311
+ mode: M
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 299
+ 0: Store 309
+ Private Attributes:
+ in loop 618 with depth 1
+"
+color: yellow}
+edge: {sourcename: "n311" targetname: "n309" label: "0" class:17 priority:10 color:blue}
+node: {title: "n309" label: "Store 309" info1: "Store 309
+ mode: T
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 3
+ pred nodes:
+ -1: Block 299
+ 0: Phi 330
+ 1: Add 630
+ 2: Add 304
+ Private Attributes:
+ pinned state: op_pin_state_pinned
+ in loop 618 with depth 1
+ volatility: volatility_non_volatile
+"
+}
+edge: {sourcename: "n309" targetname: "n330" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n309" targetname: "n630" label: "1" class:1 priority:50}
+edge: {sourcename: "n309" targetname: "n304" label: "2" class:1 priority:50}
+node: {title: "n630" label: "AddP 630" info1: "Add 630
+ mode: P
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 299
+ 0: Phi 638
+ 1: Add 629
+ Private Attributes:
+"
+}
+edge: {sourcename: "n630" targetname: "n638" label: "0" class:16 priority:10}
+edge: {sourcename: "n630" targetname: "n629" label: "1" class:1 priority:50}
+node: {title: "n639" label: "AddIs 639" info1: "Add 639
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 299
+ 0: 0x8 302
+ 1: Phi 638
+ Private Attributes:
+"
+}
+node: {title: "n639n302" label: "0x8Is 302" info1: "0x8 302
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 275
+ Private Attributes:
+ in loop 615 with depth 0
+ Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n639" targetname: "n639n302" label: "0" class:16 priority:10}
+edge: {sourcename: "n639" targetname: "n638" label: "1" class:16 priority:10}
+node: {title: "n629" label: "AddP 629" info1: "Add 629
+ mode: P
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 299
+ 0: SymC &a 287
+ 1: 0x8 302
+ Private Attributes:
+"
+}
+node: {title: "n629n287" label: "SymC &a 287" info1: "SymC &a 287
+ mode: P
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 275
+ Private Attributes:
+ in loop 615 with depth 0
+ kind: addr_ent
+ entity: entity GlobalType.a (271)
-"}
-edge: {sourcename: "n403" targetname: "n403n240" label: "0" class:16 priority:10}
-edge: {sourcename: "n403" targetname: "n402" label: "1" class:1 priority:50}
-node: {title: "n402" label: "AddIs 402" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n402n252" label: "0x4Is 252" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n402" targetname: "n402n252" label: "0" class:16 priority:10}
-edge: {sourcename: "n402" targetname: "n401" label: "1" class:16 priority:10}
-node: {title: "n262" label: "Jmp 262" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-"}
-node: {title: "n254" label: "AddIs 254" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n254n251" label: "0x1Is 251" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n254" targetname: "n254n251" label: "0" class:16 priority:10}
-edge: {sourcename: "n254" targetname: "n276" label: "1" class:16 priority:10}
+ type of value: type_unknown
+"
+}
+node: {title: "n629n302" label: "0x8Is 302" info1: "0x8 302
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 275
+ Private Attributes:
+ in loop 615 with depth 0
+ Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n629" targetname: "n629n287" label: "0" class:16 priority:10}
+edge: {sourcename: "n629" targetname: "n629n302" label: "1" class:16 priority:10}
+node: {title: "n624" label: "AddP 624" info1: "Add 624
+ mode: P
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 299
+ 0: Phi 645
+ 1: Add 623
+ Private Attributes:
+"
+}
+edge: {sourcename: "n624" targetname: "n645" label: "0" class:16 priority:10}
+edge: {sourcename: "n624" targetname: "n623" label: "1" class:1 priority:50}
+node: {title: "n646" label: "AddIs 646" info1: "Add 646
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 299
+ 0: 0x4 301
+ 1: Phi 645
+ Private Attributes:
+"
+}
+node: {title: "n646n301" label: "0x4Is 301" info1: "0x4 301
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 275
+ Private Attributes:
+ in loop 615 with depth 0
+ Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n646" targetname: "n646n301" label: "0" class:16 priority:10}
+edge: {sourcename: "n646" targetname: "n645" label: "1" class:16 priority:10}
+node: {title: "n623" label: "AddP 623" info1: "Add 623
+ mode: P
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 299
+ 0: SymC &a 287
+ 1: 0x4 301
+ Private Attributes:
+"
+}
+node: {title: "n623n287" label: "SymC &a 287" info1: "SymC &a 287
+ mode: P
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 275
+ Private Attributes:
+ in loop 615 with depth 0
+ kind: addr_ent
+ entity: entity GlobalType.a (271)
+
+ type of value: type_unknown
+"
+}
+node: {title: "n623n301" label: "0x4Is 301" info1: "0x4 301
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 275
+ Private Attributes:
+ in loop 615 with depth 0
+ Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n623" targetname: "n623n287" label: "0" class:16 priority:10}
+edge: {sourcename: "n623" targetname: "n623n301" label: "1" class:16 priority:10}
+node: {title: "n317" label: "Jmp 317" info1: "Jmp 317
+ mode: X
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 299
+ Private Attributes:
+ in loop 617 with depth 2
+"
+}
+node: {title: "n304" label: "AddIs 304" info1: "Add 304
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 299
+ 0: 0x1 300
+ 1: Phi 331
+ Private Attributes:
+ in loop 616 with depth 1
+"
+}
+node: {title: "n304n300" label: "0x1Is 300" info1: "0x1 300
+ mode: Is
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 275
+ Private Attributes:
+ in loop 615 with depth 0
+ Const of type type_unknown
+"
+color: yellow}
+edge: {sourcename: "n304" targetname: "n304n300" label: "0" class:16 priority:10}
+edge: {sourcename: "n304" targetname: "n331" label: "1" class:16 priority:10}
}
-graph: { title: "n229" label: "Block 229" status:clustered color:yellow
-edge: {sourcename: "n229" targetname: "n232" label: "0" class:13 priority:60 color:red}
-node: {title: "n235" label: "ProjM 1 235" info1: "mode: M
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n235" targetname: "n230" label: "0" class:17 priority:10 color:blue}
-node: {title: "n232" label: "ProjX 0 232" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n232" targetname: "n230" label: "0" class:13 priority:60 color:red}
-node: {title: "n230" label: "Start 230" info1: "mode: T
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-start of method of type STRENGTH_RED_EXAMPLE_meth_tp
- param 0 type: int
-"color: blue}
+graph: { title: "n275" label: "Block 275" status:clustered color:yellow
+edge: {sourcename: "n275" targetname: "n279" label: "0" class:13 priority:60 color:red}
+node: {title: "n282" label: "ProjM 1 282" info1: "Proj 282
+ mode: M
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 275
+ 0: Start 276
+ Private Attributes:
+ in loop 615 with depth 0
+"
+color: yellow}
+edge: {sourcename: "n282" targetname: "n276" label: "0" class:17 priority:10 color:blue}
+node: {title: "n279" label: "ProjX 0 279" info1: "Proj 279
+ mode: X
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 275
+ 0: Start 276
+ Private Attributes:
+ in loop 615 with depth 0
+"
+color: yellow}
+edge: {sourcename: "n279" targetname: "n276" label: "0" class:13 priority:60 color:red}
+node: {title: "n276" label: "Start 276" info1: "Start 276
+ mode: T
+ visited: 32
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 275
+ Private Attributes:
+ in loop 615 with depth 0
+ start of method of type STRENGTH_RED_EXAMPLE_meth_tp
+ param 0 type: int
+"
+color: blue}
}
}