X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fref-results%2FSTRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg;h=9b0c15d2ff4ba50de5bbbd3631849915e7913789;hb=8c542527c90bb4085a51aaaeb8c397aa0f19e365;hp=3aa96224c0a4d4c9d64c6150eac829b25eb83512;hpb=b656265a2dcc445f60c7dde9e2ad3cb9293acae1;p=libfirm diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg index 3aa96224c..9b0c15d2f 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg @@ -5,12 +5,7 @@ manhattan_edges: yes 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" @@ -21,8 +16,16 @@ classname 9: "Points-to" 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 @@ -51,192 +54,607 @@ colorentry 123: 255 220 220 colorentry 124: 255 240 240 colorentry 125: 255 250 250 -graph: { title: "g183" label: "STRENGTH_RED_EXAMPLE_m3" status:clustered color:white -graph: { title: "n173" label: "Block 173" status:clustered color:yellow -edge: {sourcename: "n173" targetname: "n219" label: "0" class:13 priority:60 color:red} -node: {title: "n174" label: "End 174" 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: "n216" label: "Block 216" status:clustered color:yellow -edge: {sourcename: "n216" targetname: "n194" label: "0" class:13 priority:60 color:red} -node: {title: "n219" label: "Return 219" 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: "n219n198" label: "0x4Is 198" info1: "mode: Is -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 0 -Const of type type_unknown -"color: yellow} -edge: {sourcename: "n219" targetname: "n223" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n219" targetname: "n219n198" 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: "n188" label: "Block 188" status:clustered color:yellow -edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red} -backedge: {sourcename: "n188" targetname: "n210" label: "1" linestyle:dashed class:13 priority:60 color:red} -node: {title: "n223" label: "PhiM 223" info1: "mode: M -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 2 backedges: -"color: green} -edge: {sourcename: "n223" targetname: "n181" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n223" targetname: "n208" label: "1" class:17 priority:10 color:blue} -node: {title: "n194" label: "ProjX 0 194" info1: "mode: X -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 1 -"color: yellow} -edge: {sourcename: "n194" targetname: "n193" label: "0" class:13 priority:60 color:red} -node: {title: "n195" label: "ProjX 1 195" info1: "mode: X -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 1 -"color: yellow} -edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red} -node: {title: "n193" label: "Cond 193" info1: "mode: T -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 1 -"} -edge: {sourcename: "n193" targetname: "n192" label: "0" class:1 priority:50} -node: {title: "n192" label: "Projb Lt 192" info1: "mode: b -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 1 -"color: yellow} -edge: {sourcename: "n192" targetname: "n191" label: "0" class:1 priority:50} -node: {title: "n191" label: "Cmp 191" info1: "mode: T -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 2 -"} -node: {title: "n191n190" label: "0x0Is 190" info1: "mode: Is -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 0 -Const of type type_unknown -"color: yellow} -edge: {sourcename: "n191" targetname: "n191n190" label: "0" class:16 priority:10} -edge: {sourcename: "n191" targetname: "n224" label: "1" class:1 priority:50} -node: {title: "n224" label: "PhiIs 224" info1: "mode: Is -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 2 backedges: -"color: green} -node: {title: "n224n185" label: "0xAIs 185" info1: "mode: Is -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 0 -Const of type type_unknown -"color: yellow} -edge: {sourcename: "n224" targetname: "n224n185" label: "0" class:16 priority:10} -edge: {sourcename: "n224" targetname: "n209" 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: "n184" label: "Block 184" status:clustered color:yellow -edge: {sourcename: "n184" targetname: "n178" label: "0" class:13 priority:60 color:red} -node: {title: "n187" label: "Jmp 187" 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: "n196" label: "Block 196" status:clustered color:yellow -edge: {sourcename: "n196" targetname: "n195" label: "0" class:13 priority:60 color:red} -node: {title: "n208" label: "ProjM 0 208" info1: "mode: M -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 1 -"color: yellow} -edge: {sourcename: "n208" targetname: "n206" label: "0" class:17 priority:10 color:blue} -node: {title: "n206" label: "Store 206" info1: "mode: T -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 3 -volatility: volatility_non_volatile -"} -edge: {sourcename: "n206" targetname: "n223" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n206" targetname: "n204" label: "1" class:1 priority:50} -edge: {sourcename: "n206" targetname: "n224" label: "2" class:16 priority:10} -node: {title: "n204" label: "AddP 204" info1: "mode: P -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 2 -"} -node: {title: "n204n186" label: "SymC &a 186" info1: "mode: P -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 0 -kind addr_ent -entity GlobalType.a (171) +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: "n204" targetname: "n202" label: "0" class:1 priority:50} -edge: {sourcename: "n204" targetname: "n204n186" label: "1" class:16 priority:10} -node: {title: "n202" label: "ShlIs 202" info1: "mode: Is -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 2 -"} -node: {title: "n202n201" label: "0x2Iu 201" info1: "mode: Iu -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 0 -Const of type type_unknown -"color: yellow} -edge: {sourcename: "n202" targetname: "n224" label: "0" class:16 priority:10} -edge: {sourcename: "n202" targetname: "n202n201" label: "1" class:16 priority:10} -node: {title: "n210" label: "Jmp 210" info1: "mode: X -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 0 -"} -node: {title: "n209" label: "SubIs 209" info1: "mode: Is -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 2 -"} -node: {title: "n209n197" label: "0x1Is 197" info1: "mode: Is -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 0 -Const of type type_unknown -"color: yellow} -edge: {sourcename: "n209" targetname: "n224" label: "0" class:16 priority:10} -edge: {sourcename: "n209" targetname: "n209n197" 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: "n175" label: "Block 175" status:clustered color:yellow -edge: {sourcename: "n175" targetname: "n178" label: "0" class:13 priority:60 color:red} -node: {title: "n181" label: "ProjM 1 181" info1: "mode: M -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 1 -"color: yellow} -edge: {sourcename: "n181" targetname: "n176" label: "0" class:17 priority:10 color:blue} -node: {title: "n178" label: "ProjX 0 178" info1: "mode: X -visited: 25 -irg: STRENGTH_RED_EXAMPLE_m3 -arity: 1 -"color: yellow} -edge: {sourcename: "n178" targetname: "n176" label: "0" class:13 priority:60 color:red} -node: {title: "n176" label: "Start 176" 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} } }