colorentry 125: 255 250 250
graph: { title: "g279" label: "STRENGTH_RED_EXAMPLE_m4" status:clustered color:white
+info1: "entity STRENGTH_RED_EXAMPLE_m4 (260)
+ 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_m4
+ volatility: volatility_non_volatile
+ peculiarity: peculiarity_existent
+ ld_name: no yet set
+ offset: -1 bits, -1 bytes
+ irg = 279
+
+"
graph: { title: "n268" label: "Block 268" status:clustered color:yellow
+ info1: "Block 268
+ mode: BB
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ 0: Return 321
+ Private Attributes:
+ backedges:
+ in loop 623 with depth 0
+ block visited: 2
+ dom depth 5
+ tree pre num 4
+ max subtree pre num 4
+ Execution freqency statistics:
+"
edge: {sourcename: "n268" targetname: "n321" label: "0" class:13 priority:60 color:red}
node: {title: "n269" label: "End 269" info1: "End 269
mode: X
}
graph: { title: "n318" label: "Block 318" status:clustered color:yellow
+ info1: "Block 318
+ mode: BB
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ 0: Proj 292
+ Private Attributes:
+ backedges:
+ in loop 623 with depth 0
+ block visited: 2
+ dom depth 4
+ tree pre num 3
+ max subtree pre num 4
+ Execution freqency statistics:
+"
edge: {sourcename: "n318" targetname: "n292" label: "0" class:13 priority:60 color:red}
node: {title: "n321" label: "Return 321" info1: "Return 321
mode: X
}
graph: { title: "n284" label: "Block 284" status:clustered color:yellow
+ info1: "Block 284
+ mode: BB
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ 0: Jmp 283
+ 1: be Jmp 312
+ Private Attributes:
+ backedges: 1
+ in loop 624 with depth 1
+ block visited: 2
+ dom depth 3
+ tree pre num 2
+ max subtree pre num 5
+ Execution freqency statistics:
+"
edge: {sourcename: "n284" targetname: "n283" label: "0" class:13 priority:60 color:red}
backedge: {sourcename: "n284" targetname: "n312" label: "1" linestyle:dashed class:13 priority:60 color:red}
node: {title: "n325" label: "PhiM 325" info1: "Phi 325
}
graph: { title: "n280" label: "Block 280" status:clustered color:yellow
+ info1: "Block 280
+ mode: BB
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ 0: Proj 274
+ Private Attributes:
+ backedges:
+ in loop 623 with depth 0
+ block visited: 2
+ dom depth 2
+ tree pre num 1
+ max subtree pre num 5
+ Execution freqency statistics:
+"
edge: {sourcename: "n280" targetname: "n274" label: "0" class:13 priority:60 color:red}
node: {title: "n283" label: "Jmp 283" info1: "Jmp 283
mode: X
}
graph: { title: "n294" label: "Block 294" status:clustered color:yellow
+ info1: "Block 294
+ mode: BB
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ 0: Proj 293
+ Private Attributes:
+ backedges:
+ in loop 624 with depth 1
+ block visited: 2
+ dom depth 4
+ tree pre num 5
+ max subtree pre num 5
+ Execution freqency statistics:
+"
edge: {sourcename: "n294" targetname: "n293" label: "0" class:13 priority:60 color:red}
node: {title: "n311" label: "ProjM M 311" info1: "Proj 311
mode: M
}
graph: { title: "n270" label: "Block 270" status:clustered color:yellow
+ info1: "Block 270
+ mode: BB
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ 0: Proj 274
+ Private Attributes:
+ backedges:
+ in loop 623 with depth 0
+ block visited: 2
+ dom depth 1
+ tree pre num 0
+ max subtree pre num 5
+ Execution freqency statistics:
+"
edge: {sourcename: "n270" targetname: "n274" label: "0" class:13 priority:60 color:red}
node: {title: "n277" label: "ProjM 1 277" info1: "Proj 277
mode: M