port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
-classname 16: "interblock Data"
classname 2: "Block"
-classname 13: "Control Flow"
-classname 14: "intrablock Memory"
-classname 17: "interblock Memory"
-classname 15: "Dominators"
classname 3: "Entity type"
classname 4: "Entity owner"
classname 5: "Method Param"
classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
+classname 13: "Control Flow"
+classname 14: "intrablock Memory"
+classname 15: "Dominators"
+classname 16: "interblock Data"
+classname 17: "interblock Memory"
+classname 18: "Exception Control Flow for Interval Analysis"
+classname 19: "Postdominators"
infoname 1: "Attribute"
infoname 2: "Verification errors"
+infoname 3: "Debug info"
colorentry 100: 0 0 0
colorentry 101: 20 0 0
colorentry 102: 40 0 0
colorentry 124: 255 240 240
colorentry 125: 255 250 250
-graph: { title: "g177" label: "STRENGTH_RED_EXAMPLE_m3" status:clustered color:white
-graph: { title: "n167" label: "Block 167" status:clustered color:yellow
-edge: {sourcename: "n167" targetname: "n211" label: "0" class:13 priority:60 color:red}
-node: {title: "n168" label: "End 168" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: blue}
+graph: { title: "g213" label: "STRENGTH_RED_EXAMPLE_m3" status:clustered color:white
+info1: "entity STRENGTH_RED_EXAMPLE_m3 (194)
+ type: STRENGTH_RED_EXAMPLE_meth_tp (16)
+ owner: GlobalType (0)
+ Does not overwrite other entities.
+ Is not overwritten by other entities.
+ allocation: allocation_static
+ visibility: visibility_local
+ variability: variability_constant
+ calling convention: cdecl
+ atomic value: SymC &STRENGTH_RED_EXAMPLE_m3
+ volatility: volatility_non_volatile
+ peculiarity: peculiarity_existent
+ ld_name: no yet set
+ offset: -1 bits, -1 bytes
+ irg = 213
+
+"
+graph: { title: "n202" label: "Block 202" status:clustered color:yellow
+ info1: "Block 202
+ mode: BB
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ 0: Return 253
+ Private Attributes:
+ backedges:
+ in loop 598 with depth 0
+ block visited: 2
+ dom depth 5
+ tree pre num 4
+ max subtree pre num 4
+ Execution freqency statistics:
+"
+edge: {sourcename: "n202" targetname: "n253" label: "0" class:13 priority:60 color:red}
+node: {title: "n203" label: "End 203" info1: "End 203
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -1: Block 202
+ 0: Phi 257
+ Private Attributes:
+ in loop 585 with depth 0
+"
+color:blue}
}
-graph: { title: "n208" label: "Block 208" status:clustered color:yellow
-edge: {sourcename: "n208" targetname: "n188" label: "0" class:13 priority:60 color:red}
-node: {title: "n211" label: "Return 211" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-return in method of type STRENGTH_RED_EXAMPLE_meth_tp
- res 0 type: int
-"}
-node: {title: "n211n192" label: "0x4Is 192" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n211" targetname: "n215" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n211" targetname: "n211n192" label: "1" class:16 priority:10}
+graph: { title: "n250" label: "Block 250" status:clustered color:yellow
+ info1: "Block 250
+ mode: BB
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ 0: Proj 225
+ Private Attributes:
+ backedges:
+ in loop 598 with depth 0
+ block visited: 2
+ dom depth 4
+ tree pre num 3
+ max subtree pre num 4
+ Execution freqency statistics:
+"
+edge: {sourcename: "n250" targetname: "n225" label: "0" class:13 priority:60 color:red}
+node: {title: "n253" label: "Return 253" info1: "Return 253
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 250
+ 0: Phi 257
+ 1: 0x4 229
+ Private Attributes:
+ in loop 585 with depth 0
+ return in method of type STRENGTH_RED_EXAMPLE_meth_tp
+ res 0 type: int
+"
+}
+node: {title: "n253n229" label: "0x4Is 229" info1: "0x4 229
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ in loop 585 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n253" targetname: "n257" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n253" targetname: "n253n229" label: "1" class:16 priority:10}
}
-graph: { title: "n182" label: "Block 182" status:clustered color:yellow
-edge: {sourcename: "n182" targetname: "n181" label: "0" class:13 priority:60 color:red}
-backedge: {sourcename: "n182" targetname: "n202" label: "1" linestyle:dashed class:13 priority:60 color:red}
-node: {title: "n215" label: "PhiM 215" info1: "mode: M
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2 backedges:
-"color: green}
-edge: {sourcename: "n215" targetname: "n175" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n215" targetname: "n200" label: "1" class:17 priority:10 color:blue}
-node: {title: "n388" label: "PhiIs 388" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2 backedges:
-"color: green}
-node: {title: "n388n386" label: "0x28Is 386" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n388" targetname: "n388n386" label: "0" class:16 priority:10}
-edge: {sourcename: "n388" targetname: "n389" label: "1" class:16 priority:10}
-node: {title: "n188" label: "ProjX 0 188" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
-edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
-node: {title: "n189" label: "ProjX 1 189" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
-edge: {sourcename: "n189" targetname: "n187" label: "0" class:13 priority:60 color:red}
-node: {title: "n187" label: "Cond 187" info1: "mode: T
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"}
-edge: {sourcename: "n187" targetname: "n186" label: "0" class:1 priority:50}
-node: {title: "n186" label: "Projb Lt 186" info1: "mode: b
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
-edge: {sourcename: "n186" targetname: "n185" label: "0" class:1 priority:50}
-node: {title: "n185" label: "CmpT 185" info1: "mode: T
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n185n184" label: "0x0Is 184" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n185" targetname: "n185n184" label: "0" class:16 priority:10}
-edge: {sourcename: "n185" targetname: "n216" label: "1" class:1 priority:50}
-node: {title: "n216" label: "PhiIs 216" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2 backedges:
-"color: green}
-node: {title: "n216n179" label: "0xAIs 179" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n216" targetname: "n216n179" label: "0" class:16 priority:10}
-edge: {sourcename: "n216" targetname: "n201" label: "1" class:16 priority:10}
+graph: { title: "n218" label: "Block 218" status:clustered color:yellow
+ info1: "Block 218
+ mode: BB
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ 0: Jmp 217
+ 1: be Jmp 244
+ Private Attributes:
+ backedges: 1
+ in loop 599 with depth 1
+ block visited: 2
+ dom depth 3
+ tree pre num 2
+ max subtree pre num 5
+ Execution freqency statistics:
+"
+edge: {sourcename: "n218" targetname: "n217" label: "0" class:13 priority:60 color:red}
+backedge: {sourcename: "n218" targetname: "n244" label: "1" linestyle:dashed class:13 priority:60 color:red}
+node: {title: "n257" label: "PhiM 257" info1: "Phi 257
+ mode: M
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 218
+ 0: Proj 211
+ 1: Proj 242
+ Private Attributes:
+ backedges:
+ in loop 588 with depth 1
+"
+color:green}
+edge: {sourcename: "n257" targetname: "n211" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n257" targetname: "n242" label: "1" class:17 priority:10 color:blue}
+node: {title: "n605" label: "PhiIs 605" info1: "Phi 605
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 218
+ 0: 0x28 603
+ 1: Add 606
+ Private Attributes:
+ backedges:
+"
+color:green}
+node: {title: "n605n603" label: "0x28Is 603" info1: "0x28 603
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n605" targetname: "n605n603" label: "0" class:16 priority:10}
+edge: {sourcename: "n605" targetname: "n606" label: "1" class:16 priority:10}
+node: {title: "n225" label: "ProjX false 225" info1: "Proj 225
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -1: Block 218
+ 0: Cond 224
+ Private Attributes:
+ proj nr: 0
+ in loop 585 with depth 0
+"
+color:yellow}
+edge: {sourcename: "n225" targetname: "n224" label: "0" class:13 priority:60 color:red}
+node: {title: "n226" label: "ProjX true 226" info1: "Proj 226
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -1: Block 218
+ 0: Cond 224
+ Private Attributes:
+ proj nr: 1
+ in loop 587 with depth 2
+"
+color:yellow}
+edge: {sourcename: "n226" targetname: "n224" label: "0" class:13 priority:60 color:red}
+node: {title: "n224" label: "Cond 224" info1: "Cond 224
+ mode: T
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -1: Block 218
+ 0: Proj 222
+ Private Attributes:
+ in loop 587 with depth 2
+ condition kind: dense
+ default ProjNr: 0
+"
+}
+edge: {sourcename: "n224" targetname: "n222" label: "0" class:1 priority:50}
+node: {title: "n222" label: "Projb Gt 222" info1: "Proj 222
+ mode: b
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -1: Block 218
+ 0: Cmp 223
+ Private Attributes:
+ proj nr: 4
+ in loop 587 with depth 2
+"
+color:yellow}
+edge: {sourcename: "n222" targetname: "n223" label: "0" class:1 priority:50}
+node: {title: "n223" label: "Cmp 223" info1: "Cmp 223
+ mode: T
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 218
+ 0: Phi 258
+ 1: 0x0 220
+ Private Attributes:
+ in loop 587 with depth 2
+"
+}
+node: {title: "n223n220" label: "0x0Is 220" info1: "0x0 220
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ in loop 585 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n223" targetname: "n258" label: "0" class:1 priority:50}
+edge: {sourcename: "n223" targetname: "n223n220" label: "1" class:16 priority:10}
+node: {title: "n258" label: "PhiIs 258" info1: "Phi 258
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 218
+ 0: 0xA 215
+ 1: Add 592
+ Private Attributes:
+ backedges:
+ in loop 586 with depth 1
+"
+color:green}
+node: {title: "n258n215" label: "0xAIs 215" info1: "0xA 215
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ in loop 585 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n258" targetname: "n258n215" label: "0" class:16 priority:10}
+edge: {sourcename: "n258" targetname: "n592" label: "1" class:16 priority:10}
}
-graph: { title: "n178" label: "Block 178" status:clustered color:yellow
-edge: {sourcename: "n178" targetname: "n172" label: "0" class:13 priority:60 color:red}
-node: {title: "n181" label: "Jmp 181" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-"}
+graph: { title: "n214" label: "Block 214" status:clustered color:yellow
+ info1: "Block 214
+ mode: BB
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ 0: Proj 208
+ Private Attributes:
+ backedges:
+ in loop 598 with depth 0
+ block visited: 2
+ dom depth 2
+ tree pre num 1
+ max subtree pre num 5
+ Execution freqency statistics:
+"
+edge: {sourcename: "n214" targetname: "n208" label: "0" class:13 priority:60 color:red}
+node: {title: "n217" label: "Jmp 217" info1: "Jmp 217
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 214
+ Private Attributes:
+ in loop 585 with depth 0
+"
+}
}
-graph: { title: "n190" label: "Block 190" status:clustered color:yellow
-edge: {sourcename: "n190" targetname: "n189" label: "0" class:13 priority:60 color:red}
-node: {title: "n200" label: "ProjM 0 200" info1: "mode: M
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
-edge: {sourcename: "n200" targetname: "n198" label: "0" class:17 priority:10 color:blue}
-node: {title: "n198" label: "Store 198" info1: "mode: T
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 3
-volatility: volatility_non_volatile
-"}
-edge: {sourcename: "n198" targetname: "n215" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n198" targetname: "n196" label: "1" class:1 priority:50}
-edge: {sourcename: "n198" targetname: "n216" label: "2" class:16 priority:10}
-node: {title: "n196" label: "AddP 196" info1: "mode: P
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n196n180" label: "SymC &a 180" info1: "mode: P
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-kind addr_ent
-entity GlobalType.a (165)
+graph: { title: "n227" label: "Block 227" status:clustered color:yellow
+ info1: "Block 227
+ mode: BB
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ 0: Proj 226
+ Private Attributes:
+ backedges:
+ in loop 599 with depth 1
+ block visited: 2
+ dom depth 4
+ tree pre num 5
+ max subtree pre num 5
+ Execution freqency statistics:
+"
+edge: {sourcename: "n227" targetname: "n226" label: "0" class:13 priority:60 color:red}
+node: {title: "n242" label: "ProjM M 242" info1: "Proj 242
+ mode: M
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -1: Block 227
+ 0: Store 240
+ Private Attributes:
+ proj nr: 0
+ in loop 588 with depth 1
+"
+color:yellow}
+edge: {sourcename: "n242" targetname: "n240" label: "0" class:17 priority:10 color:blue}
+node: {title: "n240" label: "Store 240" info1: "Store 240
+ mode: T
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 3
+ pred nodes:
+ -1: Block 227
+ 0: Phi 257
+ 1: Add 238
+ 2: Phi 258
+ Private Attributes:
+ pinned state: op_pin_state_pinned
+ in loop 588 with depth 1
+ volatility: volatility_non_volatile
+"
+}
+edge: {sourcename: "n240" targetname: "n257" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n240" targetname: "n238" label: "1" class:1 priority:50}
+edge: {sourcename: "n240" targetname: "n258" label: "2" class:16 priority:10}
+node: {title: "n238" label: "AddP 238" info1: "Add 238
+ mode: P
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 227
+ 0: Add 236
+ 1: Add 597
+ Private Attributes:
+ in loop 585 with depth 0
+"
+}
+edge: {sourcename: "n238" targetname: "n236" label: "0" class:1 priority:50}
+edge: {sourcename: "n238" targetname: "n597" label: "1" class:1 priority:50}
+node: {title: "n236" label: "AddP 236" info1: "Add 236
+ mode: P
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 227
+ 0: 0x8 230
+ 1: Add 594
+ Private Attributes:
+ in loop 585 with depth 0
+"
+}
+node: {title: "n236n230" label: "0x8Is 230" info1: "0x8 230
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ in loop 585 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n236" targetname: "n236n230" label: "0" class:16 priority:10}
+edge: {sourcename: "n236" targetname: "n594" label: "1" class:1 priority:50}
+node: {title: "n597" label: "AddP 597" info1: "Add 597
+ mode: P
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 227
+ 0: Add 594
+ 1: 0x10 596
+ Private Attributes:
+"
+}
+node: {title: "n597n596" label: "0x10Is 596" info1: "0x10 596
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n597" targetname: "n594" label: "0" class:1 priority:50}
+edge: {sourcename: "n597" targetname: "n597n596" label: "1" class:16 priority:10}
+node: {title: "n594" label: "AddP 594" info1: "Add 594
+ mode: P
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 227
+ 0: Phi 605
+ 1: Add 593
+ Private Attributes:
+"
+}
+edge: {sourcename: "n594" targetname: "n605" label: "0" class:16 priority:10}
+edge: {sourcename: "n594" targetname: "n593" label: "1" class:1 priority:50}
+node: {title: "n606" label: "AddIs 606" info1: "Add 606
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 227
+ 0: 0xFFFFFFFC 601
+ 1: Phi 605
+ Private Attributes:
+"
+}
+node: {title: "n606n601" label: "0xFFFFFFFCIs 601" info1: "0xFFFFFFFC 601
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n606" targetname: "n606n601" label: "0" class:16 priority:10}
+edge: {sourcename: "n606" targetname: "n605" label: "1" class:16 priority:10}
+node: {title: "n593" label: "AddP 593" info1: "Add 593
+ mode: P
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 227
+ 0: SymC &a 216
+ 1: 0x4 229
+ Private Attributes:
+"
+}
+node: {title: "n593n216" label: "SymC &a 216" info1: "SymC &a 216
+ mode: P
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ in loop 585 with depth 0
+ kind: addr_ent
+ entity: entity GlobalType.a (200)
-"}
-edge: {sourcename: "n196" targetname: "n388" label: "0" class:16 priority:10}
-edge: {sourcename: "n196" targetname: "n196n180" label: "1" class:16 priority:10}
-node: {title: "n389" label: "SubIs 389" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n389n192" label: "0x4Is 192" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n389" targetname: "n388" label: "0" class:16 priority:10}
-edge: {sourcename: "n389" targetname: "n389n192" label: "1" class:16 priority:10}
-node: {title: "n202" label: "Jmp 202" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-"}
-node: {title: "n201" label: "SubIs 201" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 2
-"}
-node: {title: "n201n191" label: "0x1Is 191" info1: "mode: Is
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n201" targetname: "n216" label: "0" class:16 priority:10}
-edge: {sourcename: "n201" targetname: "n201n191" label: "1" class:16 priority:10}
+ type of value: type_unknown
+"
+}
+node: {title: "n593n229" label: "0x4Is 229" info1: "0x4 229
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ in loop 585 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n593" targetname: "n593n216" label: "0" class:16 priority:10}
+edge: {sourcename: "n593" targetname: "n593n229" label: "1" class:16 priority:10}
+node: {title: "n244" label: "Jmp 244" info1: "Jmp 244
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 227
+ Private Attributes:
+ in loop 587 with depth 2
+"
+}
+node: {title: "n592" label: "AddIs 592" info1: "Add 592
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ -1: Block 227
+ 0: Phi 258
+ 1: 0xFFFFFFFF 591
+ Private Attributes:
+"
+}
+node: {title: "n592n591" label: "0xFFFFFFFFIs 591" info1: "0xFFFFFFFF 591
+ mode: Is
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n592" targetname: "n258" label: "0" class:16 priority:10}
+edge: {sourcename: "n592" targetname: "n592n591" label: "1" class:16 priority:10}
}
-graph: { title: "n169" label: "Block 169" status:clustered color:yellow
-edge: {sourcename: "n169" targetname: "n172" label: "0" class:13 priority:60 color:red}
-node: {title: "n175" label: "ProjM 1 175" info1: "mode: M
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
-edge: {sourcename: "n175" targetname: "n170" label: "0" class:17 priority:10 color:blue}
-node: {title: "n172" label: "ProjX 0 172" info1: "mode: X
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 1
-"color: yellow}
-edge: {sourcename: "n172" targetname: "n170" label: "0" class:13 priority:60 color:red}
-node: {title: "n170" label: "Start 170" info1: "mode: T
-visited: 25
-irg: STRENGTH_RED_EXAMPLE_m3
-arity: 0
-start of method of type STRENGTH_RED_EXAMPLE_meth_tp
- param 0 type: int
-"color: blue}
+graph: { title: "n204" label: "Block 204" status:clustered color:yellow
+ info1: "Block 204
+ mode: BB
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ 0: Proj 208
+ Private Attributes:
+ backedges:
+ in loop 598 with depth 0
+ block visited: 2
+ dom depth 1
+ tree pre num 0
+ max subtree pre num 5
+ Execution freqency statistics:
+"
+edge: {sourcename: "n204" targetname: "n208" label: "0" class:13 priority:60 color:red}
+node: {title: "n211" label: "ProjM 1 211" info1: "Proj 211
+ mode: M
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -1: Block 204
+ 0: Start 205
+ Private Attributes:
+ proj nr: 1
+ in loop 585 with depth 0
+"
+color:yellow}
+edge: {sourcename: "n211" targetname: "n205" label: "0" class:17 priority:10 color:blue}
+node: {title: "n208" label: "ProjX X_initial_exec 208" info1: "Proj 208
+ mode: X
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ -1: Block 204
+ 0: Start 205
+ Private Attributes:
+ proj nr: 0
+ in loop 585 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
+ mode: T
+ visited: 27
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 0
+ pred nodes:
+ -1: Block 204
+ Private Attributes:
+ in loop 585 with depth 0
+ start of method of type STRENGTH_RED_EXAMPLE_meth_tp
+ param 0 type: int
+"
+color:blue}
}
}