X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fref-results%2FOO_PROGRAM_EXAMPLE_main-pure.vcg;h=0bdb5c74a5b606907f428231c76d648dece42f78;hb=1ec30d95387eb392ba5a1adc7958ebd91383d59c;hp=246b0717dc73699ee2ed20454122828fec8577c7;hpb=5b0ba7f9064e9ffeb2b2fcf66462a93d05d4ee96;p=libfirm diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg index 246b0717d..0bdb5c74a 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.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,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 @@ -52,7 +54,7 @@ colorentry 123: 255 220 220 colorentry 124: 255 240 240 colorentry 125: 255 250 250 -node: {title: "n30" label: "Block 30" info1: "Block 30 +node: {title: "n30" label: "Block 30" info1: "Block 30 mode: BB visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -61,11 +63,12 @@ node: {title: "n30" label: "Block 30" info1: "Block 30 0: Proj 34 Private Attributes: backedges: - block visited: 0 dominator info: not implemented + block visited: 0 + Execution freqency statistics: " -color: lightyellow} +color:lightyellow} edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red} -node: {title: "n31" label: "Start 31" info1: "Start 31 +node: {title: "n31" label: "Start 31" info1: "Start 31 mode: T visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -75,9 +78,9 @@ node: {title: "n31" label: "Start 31" info1: "Start 31 Private Attributes: start of method of type OO_PROGRAM_EXAMPLE_main " -color: blue} +color:blue} edge: { sourcename: "n31" targetname: "n30" class:2 priority:50 linestyle:dotted} -node: {title: "n34" label: "ProjX 0 34" info1: "Proj 34 +node: {title: "n34" label: "ProjX X_initial_exec 34" info1: "Proj 34 mode: X visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -86,11 +89,12 @@ node: {title: "n34" label: "ProjX 0 34" info1: "Proj 34 -1: Block 30 0: Start 31 Private Attributes: + proj nr: 0 " -color: yellow} +color:yellow} edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red} edge: { sourcename: "n34" targetname: "n30" class:2 priority:50 linestyle:dotted} -node: {title: "n40" label: "Block 40" info1: "Block 40 +node: {title: "n40" label: "Block 40" info1: "Block 40 mode: BB visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -99,9 +103,10 @@ node: {title: "n40" label: "Block 40" info1: "Block 40 0: Proj 34 Private Attributes: backedges: - block visited: 0 dominator info: not implemented + block visited: 0 + Execution freqency statistics: " -color: lightyellow} +color:lightyellow} edge: {sourcename: "n40" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n37" label: "ProjM 1 37" info1: "Proj 37 mode: M @@ -112,11 +117,12 @@ node: {title: "n37" label: "ProjM 1 37" info1: "Proj 37 -1: Block 30 0: Start 31 Private Attributes: + proj nr: 1 " -color: yellow} +color:yellow} edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue} edge: { sourcename: "n37" targetname: "n30" class:2 priority:50 linestyle:dotted} -node: {title: "n45" label: "Alloc 45" info1: "Alloc 45 +node: {title: "n45" label: "Alloc 45" info1: "Alloc 45 mode: T visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -131,7 +137,7 @@ node: {title: "n45" label: "Alloc 45" info1: "Alloc 45 allocating on: the heap " } -node: {title: "n45n43" label: "SymC PRIMA size 43" info1: "SymC PRIMA size 43 +node: {title: "n45n43" label: "SymC PRIMA size 43" info1: "SymC PRIMA size 43 mode: Iu visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -147,7 +153,7 @@ node: {title: "n45n43" label: "SymC PRIMA size 43" info1: "SymC PRIMA size 43 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10} edge: { sourcename: "n45" targetname: "n40" class:2 priority:50 linestyle:dotted} -node: {title: "n48" label: "ProjP 2 48" info1: "Proj 48 +node: {title: "n48" label: "ProjP res 48" info1: "Proj 48 mode: P visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -156,11 +162,12 @@ node: {title: "n48" label: "ProjP 2 48" info1: "Proj 48 -1: Block 40 0: Alloc 45 Private Attributes: + proj nr: 2 " -color: yellow} +color:yellow} edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50} edge: { sourcename: "n48" targetname: "n40" class:2 priority:50 linestyle:dotted} -node: {title: "n47" label: "ProjM 0 47" info1: "Proj 47 +node: {title: "n47" label: "ProjM M 47" info1: "Proj 47 mode: M visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -169,8 +176,9 @@ node: {title: "n47" label: "ProjM 0 47" info1: "Proj 47 -1: Block 40 0: Alloc 45 Private Attributes: + proj nr: 0 " -color: yellow} +color:yellow} edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue} edge: { sourcename: "n47" targetname: "n40" class:2 priority:50 linestyle:dotted} node: {title: "n49" label: "Sel PRIMA_set_a 49" info1: "Sel 49 @@ -183,14 +191,15 @@ node: {title: "n49" label: "Sel PRIMA_set_a 49" info1: "Sel 49 0: Proj 47 1: Proj 48 Private Attributes: - Selecting entity of type set_a - from entity of type PRIMA + Selecting entity set_a (20) + of type set_a + with owner PRIMA. " } edge: {sourcename: "n49" targetname: "n47" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n49" targetname: "n48" label: "1" class:1 priority:50} edge: { sourcename: "n49" targetname: "n40" class:2 priority:50 linestyle:dotted} -node: {title: "n50" label: "Call 50" info1: "Call 50 +node: {title: "n50" label: "Call 50" info1: "Call 50 mode: T visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -208,7 +217,7 @@ node: {title: "n50" label: "Call 50" info1: "Call 50 param 1 type: int " } -node: {title: "n50n41" label: "0x2Is 41" info1: "0x2 41 +node: {title: "n50n41" label: "0x2Is 41" info1: "0x2 41 mode: Is visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -218,13 +227,13 @@ node: {title: "n50n41" label: "0x2Is 41" info1: "0x2 41 Private Attributes: Const of type type_unknown " -color: yellow} +color:yellow} edge: {sourcename: "n50" targetname: "n47" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n50" targetname: "n49" label: "1" class:1 priority:50} edge: {sourcename: "n50" targetname: "n48" label: "2" class:1 priority:50} edge: {sourcename: "n50" targetname: "n50n41" label: "3" class:16 priority:10} edge: { sourcename: "n50" targetname: "n40" class:2 priority:50 linestyle:dotted} -node: {title: "n52" label: "ProjM 0 52" info1: "Proj 52 +node: {title: "n52" label: "ProjM M_regular 52" info1: "Proj 52 mode: M visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -233,8 +242,9 @@ node: {title: "n52" label: "ProjM 0 52" info1: "Proj 52 -1: Block 40 0: Call 50 Private Attributes: + proj nr: 0 " -color: yellow} +color:yellow} edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue} edge: { sourcename: "n52" targetname: "n40" class:2 priority:50 linestyle:dotted} node: {title: "n53" label: "Sel PRIMA_c 53" info1: "Sel 53 @@ -247,14 +257,15 @@ node: {title: "n53" label: "Sel PRIMA_c 53" info1: "Sel 53 0: Proj 52 1: Proj 48 Private Attributes: - Selecting entity of type c - from entity of type PRIMA + Selecting entity c (23) + of type c + with owner PRIMA. " } edge: {sourcename: "n53" targetname: "n52" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n53" targetname: "n48" label: "1" class:1 priority:50} edge: { sourcename: "n53" targetname: "n40" class:2 priority:50 linestyle:dotted} -node: {title: "n54" label: "Call 54" info1: "Call 54 +node: {title: "n54" label: "Call 54" info1: "Call 54 mode: T visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -273,7 +284,7 @@ node: {title: "n54" label: "Call 54" info1: "Call 54 resul 0 type: int " } -node: {title: "n54n42" label: "0x5Is 42" info1: "0x5 42 +node: {title: "n54n42" label: "0x5Is 42" info1: "0x5 42 mode: Is visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -283,13 +294,13 @@ node: {title: "n54n42" label: "0x5Is 42" info1: "0x5 42 Private Attributes: Const of type type_unknown " -color: yellow} +color:yellow} edge: {sourcename: "n54" targetname: "n52" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n54" targetname: "n53" label: "1" class:1 priority:50} edge: {sourcename: "n54" targetname: "n48" label: "2" class:1 priority:50} edge: {sourcename: "n54" targetname: "n54n42" label: "3" class:16 priority:10} edge: { sourcename: "n54" targetname: "n40" class:2 priority:50 linestyle:dotted} -node: {title: "n57" label: "ProjT 2 57" info1: "Proj 57 +node: {title: "n57" label: "ProjT T_result 57" info1: "Proj 57 mode: T visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -298,8 +309,9 @@ node: {title: "n57" label: "ProjT 2 57" info1: "Proj 57 -1: Block 40 0: Call 54 Private Attributes: + proj nr: 2 " -color: yellow} +color:yellow} edge: {sourcename: "n57" targetname: "n54" label: "0" class:1 priority:50} edge: { sourcename: "n57" targetname: "n40" class:2 priority:50 linestyle:dotted} node: {title: "n58" label: "ProjIs 0 58" info1: "Proj 58 @@ -311,11 +323,12 @@ node: {title: "n58" label: "ProjIs 0 58" info1: "Proj 58 -1: Block 40 0: Proj 57 Private Attributes: + proj nr: 0 " -color: yellow} +color:yellow} edge: {sourcename: "n58" targetname: "n57" label: "0" class:1 priority:50} edge: { sourcename: "n58" targetname: "n40" class:2 priority:50 linestyle:dotted} -node: {title: "n56" label: "ProjM 0 56" info1: "Proj 56 +node: {title: "n56" label: "ProjM M_regular 56" info1: "Proj 56 mode: M visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -324,11 +337,12 @@ node: {title: "n56" label: "ProjM 0 56" info1: "Proj 56 -1: Block 40 0: Call 54 Private Attributes: + proj nr: 0 " -color: yellow} +color:yellow} edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue} edge: { sourcename: "n56" targetname: "n40" class:2 priority:50 linestyle:dotted} -node: {title: "n59" label: "Return 59" info1: "Return 59 +node: {title: "n59" label: "Return 59" info1: "Return 59 mode: X visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -345,7 +359,7 @@ node: {title: "n59" label: "Return 59" info1: "Return 59 edge: {sourcename: "n59" targetname: "n56" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n59" targetname: "n58" label: "1" class:1 priority:50} edge: { sourcename: "n59" targetname: "n40" class:2 priority:50 linestyle:dotted} -node: {title: "n28" label: "Block 28" info1: "Block 28 +node: {title: "n28" label: "Block 28" info1: "Block 28 mode: BB visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -354,11 +368,12 @@ node: {title: "n28" label: "Block 28" info1: "Block 28 0: Return 59 Private Attributes: backedges: - block visited: 0 dominator info: not implemented + block visited: 0 + Execution freqency statistics: " -color: lightyellow} +color:lightyellow} edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red} -node: {title: "n109" label: "End 109" info1: "End 109 +node: {title: "n109" label: "End 109" info1: "End 109 mode: X visited: 18 irg: OO_PROGRAM_EXAMPLE_main @@ -367,6 +382,6 @@ node: {title: "n109" label: "End 109" info1: "End 109 -1: Block 28 Private Attributes: " -color: blue} +color:blue} edge: { sourcename: "n109" targetname: "n28" class:2 priority:50 linestyle:dotted} }