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 100: 0 0 0
colorentry 101: 20 0 0
colorentry 102: 40 0 0
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
-edge: {sourcename: "n268" targetname: "n319" label: "0" class:13 priority:60 color:red}
-node: {title: "n269" label: "End 269" info1: "mode: X
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: blue}
+ 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
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 268
+ 0: Phi 325
+ Private Attributes:
+ in loop 607 with depth 0
+"
+color:blue}
}
-graph: { title: "n316" label: "Block 316" status:clustered color:yellow
-edge: {sourcename: "n316" targetname: "n290" label: "0" class:13 priority:60 color:red}
-node: {title: "n319" label: "Return 319" info1: "mode: X
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-return in method of type STRENGTH_RED_EXAMPLE_meth_tp
- res 0 type: int
-"}
-node: {title: "n319n294" label: "0x4Is 294" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n319" targetname: "n323" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n319" targetname: "n319n294" label: "1" class:16 priority:10}
+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
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 318
+ 0: Phi 325
+ 1: 0x4 296
+ Private Attributes:
+ in loop 607 with depth 0
+ return in method of type STRENGTH_RED_EXAMPLE_meth_tp
+ res 0 type: int
+"
+}
+node: {title: "n321n296" label: "0x4Is 296" info1: "0x4 296
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 270
+ Private Attributes:
+ in loop 607 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n321" targetname: "n325" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n321" targetname: "n321n296" label: "1" class:16 priority:10}
}
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: "n310" label: "1" linestyle:dashed class:13 priority:60 color:red}
-node: {title: "n323" label: "PhiM 323" info1: "mode: M
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2 backedges:
-"color: green}
-edge: {sourcename: "n323" targetname: "n277" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n323" targetname: "n309" label: "1" class:17 priority:10 color:blue}
-node: {title: "n627" label: "PhiIs 627" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2 backedges:
-"color: green}
-node: {title: "n627n281" label: "0x0Is 281" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n627" targetname: "n627n281" label: "0" class:16 priority:10}
-edge: {sourcename: "n627" targetname: "n628" label: "1" class:16 priority:10}
-node: {title: "n634" label: "PhiIs 634" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2 backedges:
-"color: green}
-node: {title: "n634n281" label: "0x0Is 281" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n634" targetname: "n634n281" label: "0" class:16 priority:10}
-edge: {sourcename: "n634" targetname: "n635" label: "1" class:16 priority:10}
-node: {title: "n290" label: "ProjX 0 290" info1: "mode: X
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n290" targetname: "n289" label: "0" class:13 priority:60 color:red}
-node: {title: "n291" label: "ProjX 1 291" info1: "mode: X
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n291" targetname: "n289" label: "0" class:13 priority:60 color:red}
-node: {title: "n289" label: "Cond 289" info1: "mode: T
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"}
-edge: {sourcename: "n289" targetname: "n288" label: "0" class:1 priority:50}
-node: {title: "n288" label: "Projb Gt 288" info1: "mode: b
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n288" targetname: "n287" label: "0" class:1 priority:50}
-node: {title: "n287" label: "Cmp 287" info1: "mode: T
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n287n286" label: "0xAIs 286" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n287" targetname: "n287n286" label: "0" class:16 priority:10}
-edge: {sourcename: "n287" targetname: "n324" label: "1" class:1 priority:50}
-node: {title: "n324" label: "PhiIs 324" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2 backedges:
-"color: green}
-node: {title: "n324n281" label: "0x0Is 281" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n324" targetname: "n324n281" label: "0" class:16 priority:10}
-edge: {sourcename: "n324" targetname: "n297" label: "1" class:16 priority:10}
+backedge: {sourcename: "n284" targetname: "n312" label: "1" linestyle:dashed class:13 priority:60 color:red}
+node: {title: "n325" label: "PhiM 325" info1: "Phi 325
+ mode: M
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 284
+ 0: Proj 277
+ 1: Proj 311
+ Private Attributes:
+ backedges:
+ in loop 610 with depth 1
+"
+color:green}
+edge: {sourcename: "n325" targetname: "n277" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n325" targetname: "n311" label: "1" class:17 priority:10 color:blue}
+node: {title: "n630" label: "PhiIs 630" info1: "Phi 630
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 284
+ 0: 0x0 281
+ 1: Add 631
+ Private Attributes:
+ backedges:
+"
+color:green}
+node: {title: "n630n281" label: "0x0Is 281" info1: "0x0 281
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 270
+ Private Attributes:
+ in loop 607 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n630" targetname: "n630n281" label: "0" class:16 priority:10}
+edge: {sourcename: "n630" targetname: "n631" label: "1" class:16 priority:10}
+node: {title: "n637" label: "PhiIs 637" info1: "Phi 637
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 284
+ 0: 0x0 281
+ 1: Add 638
+ Private Attributes:
+ backedges:
+"
+color:green}
+node: {title: "n637n281" label: "0x0Is 281" info1: "0x0 281
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 270
+ Private Attributes:
+ in loop 607 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n637" targetname: "n637n281" label: "0" class:16 priority:10}
+edge: {sourcename: "n637" targetname: "n638" label: "1" class:16 priority:10}
+node: {title: "n292" label: "ProjX false 292" info1: "Proj 292
+ mode: X
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 284
+ 0: Cond 291
+ Private Attributes:
+ proj nr: 0
+ in loop 607 with depth 0
+"
+color:yellow}
+edge: {sourcename: "n292" targetname: "n291" label: "0" class:13 priority:60 color:red}
+node: {title: "n293" label: "ProjX true 293" info1: "Proj 293
+ mode: X
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 284
+ 0: Cond 291
+ Private Attributes:
+ proj nr: 1
+ in loop 609 with depth 2
+"
+color:yellow}
+edge: {sourcename: "n293" targetname: "n291" label: "0" class:13 priority:60 color:red}
+node: {title: "n291" label: "Cond 291" info1: "Cond 291
+ mode: T
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 284
+ 0: Proj 288
+ Private Attributes:
+ in loop 609 with depth 2
+ condition kind: dense
+ default ProjNr: 0
+"
+}
+edge: {sourcename: "n291" targetname: "n288" label: "0" class:1 priority:50}
+node: {title: "n288" label: "Projb Le 288" info1: "Proj 288
+ mode: b
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 284
+ 0: Cmp 290
+ Private Attributes:
+ proj nr: 3
+ in loop 609 with depth 2
+"
+color:yellow}
+edge: {sourcename: "n288" targetname: "n290" label: "0" class:1 priority:50}
+node: {title: "n290" label: "Cmp 290" info1: "Cmp 290
+ mode: T
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 284
+ 0: Phi 326
+ 1: 0x9 289
+ Private Attributes:
+ in loop 609 with depth 2
+"
+}
+node: {title: "n290n289" label: "0x9Is 289" info1: "0x9 289
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 270
+ Private Attributes:
+ in loop 607 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n290" targetname: "n326" label: "0" class:1 priority:50}
+edge: {sourcename: "n290" targetname: "n290n289" label: "1" class:16 priority:10}
+node: {title: "n326" label: "PhiIs 326" info1: "Phi 326
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 284
+ 0: 0x0 281
+ 1: Add 299
+ Private Attributes:
+ backedges:
+ in loop 608 with depth 1
+"
+color:green}
+node: {title: "n326n281" label: "0x0Is 281" info1: "0x0 281
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 270
+ Private Attributes:
+ in loop 607 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n326" targetname: "n326n281" label: "0" class:16 priority:10}
+edge: {sourcename: "n326" targetname: "n299" label: "1" class:16 priority:10}
}
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: "mode: X
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-"}
+node: {title: "n283" label: "Jmp 283" info1: "Jmp 283
+ mode: X
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 280
+ Private Attributes:
+ in loop 607 with depth 0
+"
+}
}
-graph: { title: "n292" label: "Block 292" status:clustered color:yellow
-edge: {sourcename: "n292" targetname: "n291" label: "0" class:13 priority:60 color:red}
-node: {title: "n309" label: "ProjM 0 309" info1: "mode: M
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n309" targetname: "n307" label: "0" class:17 priority:10 color:blue}
-node: {title: "n307" label: "Store 307" info1: "mode: T
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 3
-volatility: volatility_non_volatile
-"}
-edge: {sourcename: "n307" targetname: "n304" label: "0" class:14 priority:50 color:blue}
-edge: {sourcename: "n307" targetname: "n613" label: "1" class:1 priority:50}
-edge: {sourcename: "n307" targetname: "n297" label: "2" class:1 priority:50}
-node: {title: "n304" label: "ProjM 0 304" info1: "mode: M
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
-edge: {sourcename: "n304" targetname: "n302" label: "0" class:17 priority:10 color:blue}
-node: {title: "n302" label: "Store 302" info1: "mode: T
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 3
-volatility: volatility_non_volatile
-"}
-edge: {sourcename: "n302" targetname: "n323" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n302" targetname: "n619" label: "1" class:1 priority:50}
-edge: {sourcename: "n302" targetname: "n297" label: "2" class:1 priority:50}
-node: {title: "n619" label: "AddP 619" info1: "mode: P
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-edge: {sourcename: "n619" targetname: "n627" label: "0" class:16 priority:10}
-edge: {sourcename: "n619" targetname: "n618" label: "1" class:1 priority:50}
-node: {title: "n628" label: "AddIs 628" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n628n295" label: "0x8Is 295" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n628" targetname: "n628n295" label: "0" class:16 priority:10}
-edge: {sourcename: "n628" targetname: "n627" label: "1" class:16 priority:10}
-node: {title: "n618" label: "AddP 618" info1: "mode: P
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n618n282" label: "SymC &a 282" info1: "mode: P
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-kind addr_ent
-entity GlobalType.a (266)
+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
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 294
+ 0: Store 309
+ Private Attributes:
+ proj nr: 0
+ in loop 610 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: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 3
+ pred nodes:
+ -1: Block 294
+ 0: Proj 306
+ 1: Add 616
+ 2: Add 299
+ Private Attributes:
+ pinned state: op_pin_state_pinned
+ in loop 610 with depth 1
+ volatility: volatility_non_volatile
+"
+}
+edge: {sourcename: "n309" targetname: "n306" label: "0" class:14 priority:50 color:blue}
+edge: {sourcename: "n309" targetname: "n616" label: "1" class:1 priority:50}
+edge: {sourcename: "n309" targetname: "n299" label: "2" class:1 priority:50}
+node: {title: "n306" label: "ProjM M 306" info1: "Proj 306
+ mode: M
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 294
+ 0: Store 304
+ Private Attributes:
+ proj nr: 0
+ in loop 610 with depth 1
+"
+color:yellow}
+edge: {sourcename: "n306" targetname: "n304" label: "0" class:17 priority:10 color:blue}
+node: {title: "n304" label: "Store 304" info1: "Store 304
+ mode: T
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 3
+ pred nodes:
+ -1: Block 294
+ 0: Phi 325
+ 1: Add 622
+ 2: Add 299
+ Private Attributes:
+ pinned state: op_pin_state_pinned
+ in loop 610 with depth 1
+ volatility: volatility_non_volatile
+"
+}
+edge: {sourcename: "n304" targetname: "n325" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n304" targetname: "n622" label: "1" class:1 priority:50}
+edge: {sourcename: "n304" targetname: "n299" label: "2" class:1 priority:50}
+node: {title: "n622" label: "AddP 622" info1: "Add 622
+ mode: P
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 294
+ 0: Phi 630
+ 1: Add 621
+ Private Attributes:
+"
+}
+edge: {sourcename: "n622" targetname: "n630" label: "0" class:16 priority:10}
+edge: {sourcename: "n622" targetname: "n621" label: "1" class:1 priority:50}
+node: {title: "n631" label: "AddIs 631" info1: "Add 631
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 294
+ 0: 0x8 297
+ 1: Phi 630
+ Private Attributes:
+"
+}
+node: {title: "n631n297" label: "0x8Is 297" info1: "0x8 297
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 270
+ Private Attributes:
+ in loop 607 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n631" targetname: "n631n297" label: "0" class:16 priority:10}
+edge: {sourcename: "n631" targetname: "n630" label: "1" class:16 priority:10}
+node: {title: "n621" label: "AddP 621" info1: "Add 621
+ mode: P
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 294
+ 0: SymC &a 282
+ 1: 0x8 297
+ Private Attributes:
+"
+}
+node: {title: "n621n282" label: "SymC &a 282" info1: "SymC &a 282
+ mode: P
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 270
+ Private Attributes:
+ in loop 607 with depth 0
+ kind: addr_ent
+ entity: entity GlobalType.a (266)
-SymConst of type type_unknown
-"}
-node: {title: "n618n295" label: "0x8Is 295" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n618" targetname: "n618n282" label: "0" class:16 priority:10}
-edge: {sourcename: "n618" targetname: "n618n295" label: "1" class:16 priority:10}
-node: {title: "n613" label: "AddP 613" info1: "mode: P
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-edge: {sourcename: "n613" targetname: "n634" label: "0" class:16 priority:10}
-edge: {sourcename: "n613" targetname: "n612" label: "1" class:1 priority:50}
-node: {title: "n635" label: "AddIs 635" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n635n294" label: "0x4Is 294" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n635" targetname: "n635n294" label: "0" class:16 priority:10}
-edge: {sourcename: "n635" targetname: "n634" label: "1" class:16 priority:10}
-node: {title: "n612" label: "AddP 612" info1: "mode: P
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n612n282" label: "SymC &a 282" info1: "mode: P
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-kind addr_ent
-entity GlobalType.a (266)
+ type of value: type_unknown
+"
+}
+node: {title: "n621n297" label: "0x8Is 297" info1: "0x8 297
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 270
+ Private Attributes:
+ in loop 607 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n621" targetname: "n621n282" label: "0" class:16 priority:10}
+edge: {sourcename: "n621" targetname: "n621n297" label: "1" class:16 priority:10}
+node: {title: "n616" label: "AddP 616" info1: "Add 616
+ mode: P
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 294
+ 0: Phi 637
+ 1: Add 615
+ Private Attributes:
+"
+}
+edge: {sourcename: "n616" targetname: "n637" label: "0" class:16 priority:10}
+edge: {sourcename: "n616" targetname: "n615" label: "1" class:1 priority:50}
+node: {title: "n638" label: "AddIs 638" info1: "Add 638
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 294
+ 0: 0x4 296
+ 1: Phi 637
+ Private Attributes:
+"
+}
+node: {title: "n638n296" label: "0x4Is 296" info1: "0x4 296
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 270
+ Private Attributes:
+ in loop 607 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n638" targetname: "n638n296" label: "0" class:16 priority:10}
+edge: {sourcename: "n638" targetname: "n637" label: "1" class:16 priority:10}
+node: {title: "n615" label: "AddP 615" info1: "Add 615
+ mode: P
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 294
+ 0: SymC &a 282
+ 1: 0x4 296
+ Private Attributes:
+"
+}
+node: {title: "n615n282" label: "SymC &a 282" info1: "SymC &a 282
+ mode: P
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 270
+ Private Attributes:
+ in loop 607 with depth 0
+ kind: addr_ent
+ entity: entity GlobalType.a (266)
-SymConst of type type_unknown
-"}
-node: {title: "n612n294" label: "0x4Is 294" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n612" targetname: "n612n282" label: "0" class:16 priority:10}
-edge: {sourcename: "n612" targetname: "n612n294" label: "1" class:16 priority:10}
-node: {title: "n310" label: "Jmp 310" info1: "mode: X
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-"}
-node: {title: "n297" label: "AddIs 297" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 2
-"}
-node: {title: "n297n293" label: "0x1Is 293" info1: "mode: Is
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n297" targetname: "n297n293" label: "0" class:16 priority:10}
-edge: {sourcename: "n297" targetname: "n324" label: "1" class:16 priority:10}
+ type of value: type_unknown
+"
+}
+node: {title: "n615n296" label: "0x4Is 296" info1: "0x4 296
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 270
+ Private Attributes:
+ in loop 607 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n615" targetname: "n615n282" label: "0" class:16 priority:10}
+edge: {sourcename: "n615" targetname: "n615n296" label: "1" class:16 priority:10}
+node: {title: "n312" label: "Jmp 312" info1: "Jmp 312
+ mode: X
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 294
+ Private Attributes:
+ in loop 609 with depth 2
+"
+}
+node: {title: "n299" label: "AddIs 299" info1: "Add 299
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 2
+ pred nodes:
+ -1: Block 294
+ 0: 0x1 295
+ 1: Phi 326
+ Private Attributes:
+ in loop 608 with depth 1
+"
+}
+node: {title: "n299n295" label: "0x1Is 295" info1: "0x1 295
+ mode: Is
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 270
+ Private Attributes:
+ in loop 607 with depth 0
+ Const of type type_unknown
+"
+color:yellow}
+edge: {sourcename: "n299" targetname: "n299n295" label: "0" class:16 priority:10}
+edge: {sourcename: "n299" targetname: "n326" label: "1" class:16 priority:10}
}
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: "mode: M
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
+node: {title: "n277" label: "ProjM 1 277" info1: "Proj 277
+ mode: M
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 270
+ 0: Start 271
+ Private Attributes:
+ proj nr: 1
+ in loop 607 with depth 0
+"
+color:yellow}
edge: {sourcename: "n277" targetname: "n271" label: "0" class:17 priority:10 color:blue}
-node: {title: "n274" label: "ProjX 0 274" info1: "mode: X
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 1
-"color: yellow}
+node: {title: "n274" label: "ProjX X_initial_exec 274" info1: "Proj 274
+ mode: X
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 1
+ pred nodes:
+ -1: Block 270
+ 0: Start 271
+ Private Attributes:
+ proj nr: 0
+ in loop 607 with depth 0
+"
+color:yellow}
edge: {sourcename: "n274" targetname: "n271" label: "0" class:13 priority:60 color:red}
-node: {title: "n271" label: "Start 271" info1: "mode: T
-visited: 32
-irg: STRENGTH_RED_EXAMPLE_m4
-arity: 0
-start of method of type STRENGTH_RED_EXAMPLE_meth_tp
- param 0 type: int
-"color: blue}
+node: {title: "n271" label: "Start 271" info1: "Start 271
+ mode: T
+ visited: 31
+ irg: STRENGTH_RED_EXAMPLE_m4
+ arity: 0
+ pred nodes:
+ -1: Block 270
+ Private Attributes:
+ in loop 607 with depth 0
+ start of method of type STRENGTH_RED_EXAMPLE_meth_tp
+ param 0 type: int
+"
+color:blue}
}
}
projects / libfirm / blobdiff