X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fref-results%2FSTRENGTH_RED_EXAMPLE_m3.vcg;h=c480940efb459e7469eba38411cc72d54da9291d;hb=1ec30d95387eb392ba5a1adc7958ebd91383d59c;hp=76733c7b65e04f2ec3e318c064f692cc3a6eab3f;hpb=3ef164bbb027feb5995dbfbd49797a2798308c23;p=libfirm diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3.vcg index 76733c7b6..c480940ef 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3.vcg @@ -5,13 +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 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" @@ -22,6 +16,13 @@ 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" @@ -54,7 +55,37 @@ colorentry 124: 255 240 240 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 @@ -67,10 +98,23 @@ node: {title: "n203" label: "End 203" info1: "End 203 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 @@ -98,12 +142,26 @@ node: {title: "n253n229" label: "0x4Is 229" info1: "0x4 229 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 @@ -119,7 +177,7 @@ 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 @@ -134,7 +192,7 @@ 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 @@ -148,7 +206,7 @@ node: {title: "n226" label: "ProjX true 226" info1: "Proj 226 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 @@ -177,7 +235,7 @@ node: {title: "n222" label: "Projb Gt 222" info1: "Proj 222 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 @@ -203,7 +261,7 @@ node: {title: "n223n220" label: "0x0Is 220" info1: "0x0 220 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 @@ -219,7 +277,7 @@ 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 @@ -231,12 +289,25 @@ node: {title: "n258n215" label: "0xAIs 215" info1: "0xA 215 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 @@ -252,6 +323,19 @@ node: {title: "n217" label: "Jmp 217" info1: "Jmp 217 } 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 @@ -265,7 +349,7 @@ node: {title: "n242" label: "ProjM M 242" info1: "Proj 242 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 @@ -325,7 +409,7 @@ node: {title: "n237n230" label: "0x8Is 230" info1: "0x8 230 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 @@ -352,7 +436,7 @@ node: {title: "n236n230" label: "0x8Is 230" info1: "0x8 230 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 @@ -379,7 +463,7 @@ node: {title: "n235n229" label: "0x4Is 229" info1: "0x4 229 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 @@ -436,7 +520,7 @@ node: {title: "n232n229" label: "0x4Is 229" info1: "0x4 229 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 @@ -474,12 +558,25 @@ node: {title: "n243n228" label: "0x1Is 228" info1: "0x1 228 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 @@ -493,7 +590,7 @@ node: {title: "n211" label: "ProjM 1 211" info1: "Proj 211 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 @@ -507,7 +604,7 @@ node: {title: "n208" label: "ProjX X_initial_exec 208" info1: "Proj 208 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 @@ -521,7 +618,7 @@ node: {title: "n205" label: "Start 205" info1: "Start 205 start of method of type STRENGTH_RED_EXAMPLE_meth_tp param 0 type: int " -color: blue} +color:blue} } }