port_sharing: no
orientation: bottom_to_top
classname 1: "intrablock Data"
-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"
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 125: 255 250 250
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: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ 0: Return 253
+ Private Attributes:
+ backedges:
+ in loop 585 with depth 0
+ block visited: 0
+ 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
Private Attributes:
in loop 585 with depth 0
"
-color: blue}
+color:blue}
}
graph: { title: "n250" label: "Block 250" status:clustered color:yellow
+ info1: "Block 250
+ mode: BB
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ 0: Proj 225
+ Private Attributes:
+ backedges:
+ in loop 585 with depth 0
+ block visited: 0
+ 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
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+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: "n218" label: "Block 218" status:clustered color:yellow
+ info1: "Block 218
+ mode: BB
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 2
+ pred nodes:
+ 0: Jmp 217
+ 1: be Jmp 244
+ Private Attributes:
+ backedges: 1
+ in loop 587 with depth 2
+ block visited: 0
+ 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
backedges: 1
in loop 588 with depth 1
"
-color: green}
+color:green}
edge: {sourcename: "n257" targetname: "n211" label: "0" class:17 priority:10 color:blue}
backedge: {sourcename: "n257" targetname: "n242" label: "1" linestyle:dashed class:17 priority:10 color:blue}
node: {title: "n225" label: "ProjX false 225" info1: "Proj 225
proj nr: 0
in loop 585 with depth 0
"
-color: yellow}
+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
proj nr: 1
in loop 587 with depth 2
"
-color: yellow}
+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
proj nr: 4
in loop 587 with depth 2
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n222" targetname: "n223" label: "0" class:1 priority:50}
node: {title: "n223" label: "Cmp 223" info1: "Cmp 223
mode: T
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+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
backedges: 1
in loop 586 with depth 1
"
-color: green}
+color:green}
node: {title: "n258n215" label: "0xAIs 215" info1: "0xA 215
mode: Is
visited: 17
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n258" targetname: "n258n215" label: "0" class:16 priority:10}
backedge: {sourcename: "n258" targetname: "n243" label: "1" linestyle:dashed class:16 priority:10}
}
graph: { title: "n214" label: "Block 214" status:clustered color:yellow
+ info1: "Block 214
+ mode: BB
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ 0: Proj 208
+ Private Attributes:
+ backedges:
+ in loop 585 with depth 0
+ block visited: 0
+ 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
}
graph: { title: "n227" label: "Block 227" status:clustered color:yellow
+ info1: "Block 227
+ mode: BB
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ 0: Proj 226
+ Private Attributes:
+ backedges:
+ in loop 587 with depth 2
+ block visited: 0
+ 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
proj nr: 0
in loop 588 with depth 1
"
-color: yellow}
+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
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n237" targetname: "n237n230" label: "0" class:16 priority:10}
edge: {sourcename: "n237" targetname: "n236" label: "1" class:1 priority:50}
node: {title: "n236" label: "AddP 236" info1: "Add 236
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n236" targetname: "n236n230" 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
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+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
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n232" targetname: "n232n229" label: "0" class:16 priority:10}
edge: {sourcename: "n232" targetname: "n258" label: "1" class:16 priority:10}
node: {title: "n244" label: "Jmp 244" info1: "Jmp 244
in loop 585 with depth 0
Const of type type_unknown
"
-color: yellow}
+color:yellow}
edge: {sourcename: "n243" targetname: "n258" label: "0" class:16 priority:10}
edge: {sourcename: "n243" targetname: "n243n228" label: "1" class:16 priority:10}
}
graph: { title: "n204" label: "Block 204" status:clustered color:yellow
+ info1: "Block 204
+ mode: BB
+ visited: 17
+ irg: STRENGTH_RED_EXAMPLE_m3
+ arity: 1
+ pred nodes:
+ 0: Proj 208
+ Private Attributes:
+ backedges:
+ in loop 585 with depth 0
+ block visited: 0
+ 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
proj nr: 1
in loop 585 with depth 0
"
-color: yellow}
+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
proj nr: 0
in loop 585 with depth 0
"
-color: yellow}
+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
start of method of type STRENGTH_RED_EXAMPLE_meth_tp
param 0 type: int
"
-color: blue}
+color:blue}
}
}