projects / libfirm / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
First implementation of lowering for calls with compound return values
[libfirm] / testprograms / ref-results / OO_PROGRAM_EXAMPLE_main-pure-ip.vcg
diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg
index 39e6390..dd06535 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.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
@@ -65,9 +67,9 @@ node: {title: "n30" label: "Block 30"  info1: "Block 30
      0:    Proj 34
   backedges:
   block visited: 0
-  dominator info: output not implemented
+  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 OO_PROGRAM_EXAMPLE_main 31"  info1: "Start OO_PROGRAM_EXAMPLE_main 31
   mode:    T
@@ -79,9 +81,9 @@ node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main 31"  info1: "Start OO_
   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: 33
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -90,8 +92,9 @@ node: {title: "n34" label: "ProjX 0 34"  info1: "Proj 34
     -1:    Block 30
      0:    Start OO_PROGRAM_EXAMPLE_main 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: "n191" label: "Block 191"  info1: "Block 191
@@ -107,9 +110,9 @@ node: {title: "n191" label: "Block 191"  info1: "Block 191
      0:    Proj 34
   backedges:
   block visited: 0
-  dominator info: output not implemented
+  Execution freqency statistics:
 "
-color: lightyellow}
+color:lightyellow}
 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
 node: {title: "n193" label: "CallBegin set_a 193"  info1: "CallBegin set_a 193
   mode:    T
@@ -150,8 +153,9 @@ node: {title: "n195" label: "ProjX 0 195"  info1: "Proj 195
     -1:    Block 191
      0:    CallBegin set_a 193
   Private Attributes:
+  proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
 edge: { sourcename: "n195" targetname: "n191" class:2  priority:50 linestyle:dotted}
 node: {title: "n64" label: "Block 64"  info1: "Block 64
@@ -167,9 +171,9 @@ node: {title: "n64" label: "Block 64"  info1: "Block 64
      0:    Proj 195
   backedges:
   block visited: 0
-  dominator info: output not implemented
+  Execution freqency statistics:
 "
-color: lightyellow}
+color:lightyellow}
 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
 node: {title: "n65" label: "Start PRIMA_set_a 65"  info1: "Start PRIMA_set_a 65
   mode:    T
@@ -183,9 +187,9 @@ node: {title: "n65" label: "Start PRIMA_set_a 65"  info1: "Start PRIMA_set_a 65
     param 0 type: class_prima_ptr
     param 1 type: int
 "
-color: blue}
+color:blue}
 edge: { sourcename: "n65" targetname: "n64" class:2  priority:50 linestyle:dotted}
-node: {title: "n68" label: "ProjX 0 68"  info1: "Proj 68
+node: {title: "n68" label: "ProjX X_initial_exec 68"  info1: "Proj 68
   mode:    X
   visited: 33
   irg:     PRIMA_set_a
@@ -194,8 +198,9 @@ node: {title: "n68" label: "ProjX 0 68"  info1: "Proj 68
     -1:    Block 64
      0:    Start PRIMA_set_a 65
   Private Attributes:
+  proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
 edge: { sourcename: "n68" targetname: "n64" class:2  priority:50 linestyle:dotted}
 node: {title: "n74" label: "Block 74"  info1: "Block 74
@@ -211,9 +216,9 @@ node: {title: "n74" label: "Block 74"  info1: "Block 74
      0:    Proj 68
   backedges:
   block visited: 0
-  dominator info: output not implemented
+  Execution freqency statistics:
 "
-color: lightyellow}
+color:lightyellow}
 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
 node: {title: "n187" label: "Jmp 187"  info1: "Jmp 187
   mode:    X
@@ -239,9 +244,9 @@ node: {title: "n188" label: "Block 188"  info1: "Block 188
      0:    Jmp 187
   backedges:
   block visited: 0
-  dominator info: output not implemented
+  Execution freqency statistics:
 "
-color: lightyellow}
+color:lightyellow}
 edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
 node: {title: "n189" label: "EndReg PRIMA_set_a 189"  info1: "EndReg PRIMA_set_a 189
   mode:    T
@@ -252,7 +257,7 @@ node: {title: "n189" label: "EndReg PRIMA_set_a 189"  info1: "EndReg PRIMA_set_a
     -1:    Block 188
   Private Attributes:
 "
-color: blue}
+color:blue}
 edge: { sourcename: "n189" targetname: "n188" class:2  priority:50 linestyle:dotted}
 node: {title: "n194" label: "ProjX 0 194"  info1: "Proj 194
   mode:    X
@@ -263,8 +268,9 @@ node: {title: "n194" label: "ProjX 0 194"  info1: "Proj 194
     -1:    Block 188
      0:    EndReg PRIMA_set_a 189
   Private Attributes:
+  proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
 edge: { sourcename: "n194" targetname: "n188" class:2  priority:50 linestyle:dotted}
 node: {title: "n197" label: "Block 197"  info1: "Block 197
@@ -280,9 +286,9 @@ node: {title: "n197" label: "Block 197"  info1: "Block 197
      0:    Proj 194
   backedges:
   block visited: 0
-  dominator info: output not implemented
+  Execution freqency statistics:
 "
-color: lightyellow}
+color:lightyellow}
 edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red}
 node: {title: "n199" label: "CallBegin c 199"  info1: "CallBegin c 199
   mode:    T
@@ -323,8 +329,9 @@ node: {title: "n201" label: "ProjX 0 201"  info1: "Proj 201
     -1:    Block 197
      0:    CallBegin c 199
   Private Attributes:
+  proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
 edge: { sourcename: "n201" targetname: "n197" class:2  priority:50 linestyle:dotted}
 node: {title: "n87" label: "Block 87"  info1: "Block 87
@@ -340,9 +347,9 @@ node: {title: "n87" label: "Block 87"  info1: "Block 87
      0:    Proj 201
   backedges:
   block visited: 0
-  dominator info: output not implemented
+  Execution freqency statistics:
 "
-color: lightyellow}
+color:lightyellow}
 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
 node: {title: "n88" label: "Start PRIMA_c 88"  info1: "Start PRIMA_c 88
   mode:    T
@@ -356,9 +363,9 @@ node: {title: "n88" label: "Start PRIMA_c 88"  info1: "Start PRIMA_c 88
     param 0 type: class_prima_ptr
     param 1 type: int
 "
-color: blue}
+color:blue}
 edge: { sourcename: "n88" targetname: "n87" class:2  priority:50 linestyle:dotted}
-node: {title: "n91" label: "ProjX 0 91"  info1: "Proj 91
+node: {title: "n91" label: "ProjX X_initial_exec 91"  info1: "Proj 91
   mode:    X
   visited: 33
   irg:     PRIMA_c
@@ -367,8 +374,9 @@ node: {title: "n91" label: "ProjX 0 91"  info1: "Proj 91
     -1:    Block 87
      0:    Start PRIMA_c 88
   Private Attributes:
+  proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
 edge: { sourcename: "n91" targetname: "n87" class:2  priority:50 linestyle:dotted}
 node: {title: "n97" label: "Block 97"  info1: "Block 97
@@ -384,9 +392,9 @@ node: {title: "n97" label: "Block 97"  info1: "Block 97
      0:    Proj 91
   backedges:
   block visited: 0
-  dominator info: output not implemented
+  Execution freqency statistics:
 "
-color: lightyellow}
+color:lightyellow}
 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
 node: {title: "n179" label: "Jmp 179"  info1: "Jmp 179
   mode:    X
@@ -412,9 +420,9 @@ node: {title: "n180" label: "Block 180"  info1: "Block 180
      0:    Jmp 179
   backedges:
   block visited: 0
-  dominator info: output not implemented
+  Execution freqency statistics:
 "
-color: lightyellow}
+color:lightyellow}
 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
 node: {title: "n181" label: "EndReg PRIMA_c 181"  info1: "EndReg PRIMA_c 181
   mode:    T
@@ -425,7 +433,7 @@ node: {title: "n181" label: "EndReg PRIMA_c 181"  info1: "EndReg PRIMA_c 181
     -1:    Block 180
   Private Attributes:
 "
-color: blue}
+color:blue}
 edge: { sourcename: "n181" targetname: "n180" class:2  priority:50 linestyle:dotted}
 node: {title: "n200" label: "ProjX 0 200"  info1: "Proj 200
   mode:    X
@@ -436,8 +444,9 @@ node: {title: "n200" label: "ProjX 0 200"  info1: "Proj 200
     -1:    Block 180
      0:    EndReg PRIMA_c 181
   Private Attributes:
+  proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
 edge: { sourcename: "n200" targetname: "n180" class:2  priority:50 linestyle:dotted}
 node: {title: "n40" label: "Block 40"  info1: "Block 40
@@ -453,9 +462,9 @@ node: {title: "n40" label: "Block 40"  info1: "Block 40
      0:    Proj 200
   backedges:
   block visited: 0
-  dominator info: output not implemented
+  Execution freqency statistics:
 "
-color: lightyellow}
+color:lightyellow}
 edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
 node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
   mode:    Is
@@ -471,7 +480,7 @@ node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
      0:    0x5 42
   backedges:
 "
-color: yellow}
+color:yellow}
 node: {title: "n178n42" label: "0x5Is 42"  info1: "0x5 42
   mode:    Is
   visited: 33
@@ -482,7 +491,7 @@ node: {title: "n178n42" label: "0x5Is 42"  info1: "0x5 42
   Private Attributes:
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
 edge: { sourcename: "n178" targetname: "n87" class:2  priority:50 linestyle:dotted}
 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
@@ -494,8 +503,9 @@ node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
     -1:    Block 30
      0:    Start OO_PROGRAM_EXAMPLE_main 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
@@ -529,7 +539,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: "n191" 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: 33
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -538,8 +548,9 @@ node: {title: "n48" label: "ProjP 2 48"  info1: "Proj 48
     -1:    Block 191
      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: "n191" class:2  priority:50 linestyle:dotted}
 node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
@@ -556,7 +567,7 @@ node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
      0:    Proj 48
   backedges:
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
 edge: { sourcename: "n177" targetname: "n87" class:2  priority:50 linestyle:dotted}
 node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
@@ -573,7 +584,7 @@ node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
      0:    0x2 41
   backedges:
 "
-color: yellow}
+color:yellow}
 node: {title: "n186n41" label: "0x2Is 41"  info1: "0x2 41
   mode:    Is
   visited: 33
@@ -584,7 +595,7 @@ node: {title: "n186n41" label: "0x2Is 41"  info1: "0x2 41
   Private Attributes:
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
 edge: { sourcename: "n186" targetname: "n64" class:2  priority:50 linestyle:dotted}
 node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
@@ -601,10 +612,10 @@ node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
      0:    Proj 48
   backedges:
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
 edge: { sourcename: "n185" targetname: "n64" 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: 33
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -613,8 +624,9 @@ node: {title: "n47" label: "ProjM 0 47"  info1: "Proj 47
     -1:    Block 191
      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: "n191" class:2  priority:50 linestyle:dotted}
 node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
@@ -631,7 +643,7 @@ node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
      0:    Proj 47
   backedges:
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
 edge: { sourcename: "n184" targetname: "n64" class:2  priority:50 linestyle:dotted}
 node: {title: "n78" label: "Sel a 78"  info1: "Sel 78
@@ -644,9 +656,9 @@ node: {title: "n78" label: "Sel a 78"  info1: "Sel 78
      0:    Filter 184
      1:    Filter 185
   Private Attributes:
-  Selecting entity of type int
-    from entity a (17)
-    of type PRIMA
+  Selecting entity a (17)
+    of type    int
+    with owner PRIMA.
 "
 }
 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
@@ -671,7 +683,7 @@ edge: {sourcename: "n79" targetname: "n184" label: "0" class:17 priority:10 colo
 edge: {sourcename: "n79" targetname: "n78" label: "1" class:1  priority:50}
 edge: {sourcename: "n79" targetname: "n186" label: "2" class:16 priority:10}
 edge: { sourcename: "n79" targetname: "n74" class:2  priority:50 linestyle:dotted}
-node: {title: "n81" label: "ProjM 0 81"  info1: "Proj 81
+node: {title: "n81" label: "ProjM M 81"  info1: "Proj 81
   mode:    M
   visited: 33
   irg:     PRIMA_set_a
@@ -680,8 +692,9 @@ node: {title: "n81" label: "ProjM 0 81"  info1: "Proj 81
     -1:    Block 74
      0:    Store 79
   Private Attributes:
+  proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
 edge: { sourcename: "n81" targetname: "n74" class:2  priority:50 linestyle:dotted}
 node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
@@ -698,7 +711,7 @@ node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
      0:    Proj 81
   backedges:
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
 edge: { sourcename: "n196" targetname: "n197" class:2  priority:50 linestyle:dotted}
 node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
@@ -715,7 +728,7 @@ node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
      0:    Filter 196
   backedges:
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
 edge: { sourcename: "n176" targetname: "n87" class:2  priority:50 linestyle:dotted}
 node: {title: "n101" label: "Sel a 101"  info1: "Sel 101
@@ -728,9 +741,9 @@ node: {title: "n101" label: "Sel a 101"  info1: "Sel 101
      0:    Filter 176
      1:    Filter 177
   Private Attributes:
-  Selecting entity of type int
-    from entity a (17)
-    of type PRIMA
+  Selecting entity a (17)
+    of type    int
+    with owner PRIMA.
 "
 }
 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
@@ -754,7 +767,7 @@ node: {title: "n102" label: "Load[Is] 102"  info1: "Load[Is] 102
 edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n102" targetname: "n101" label: "1" class:1  priority:50}
 edge: { sourcename: "n102" targetname: "n97" class:2  priority:50 linestyle:dotted}
-node: {title: "n105" label: "ProjIs 2 105"  info1: "Proj 105
+node: {title: "n105" label: "ProjIs res 105"  info1: "Proj 105
   mode:    Is
   visited: 33
   irg:     PRIMA_c
@@ -763,8 +776,9 @@ node: {title: "n105" label: "ProjIs 2 105"  info1: "Proj 105
     -1:    Block 97
      0:    Load[Is] 102
   Private Attributes:
+  proj nr: 2
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1  priority:50}
 edge: { sourcename: "n105" targetname: "n97" class:2  priority:50 linestyle:dotted}
 node: {title: "n106" label: "AddIs 106"  info1: "Add 106
@@ -796,10 +810,10 @@ node: {title: "n203" label: "FilterIs 0 203"  info1: "Filter 203
      0:    Add 106
   backedges:
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
 edge: { sourcename: "n203" targetname: "n40" class:2  priority:50 linestyle:dotted}
-node: {title: "n104" label: "ProjM 0 104"  info1: "Proj 104
+node: {title: "n104" label: "ProjM M 104"  info1: "Proj 104
   mode:    M
   visited: 33
   irg:     PRIMA_c
@@ -808,8 +822,9 @@ node: {title: "n104" label: "ProjM 0 104"  info1: "Proj 104
     -1:    Block 97
      0:    Load[Is] 102
   Private Attributes:
+  proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
 edge: { sourcename: "n104" targetname: "n97" class:2  priority:50 linestyle:dotted}
 node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
@@ -826,7 +841,7 @@ node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
      0:    Proj 104
   backedges:
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
 edge: { sourcename: "n202" targetname: "n40" class:2  priority:50 linestyle:dotted}
 node: {title: "n59" label: "Return 59"  info1: "Return 59
@@ -857,9 +872,9 @@ node: {title: "n28" label: "Block 28"  info1: "Block 28
      0:    Return 59
   backedges:
   block visited: 0
-  dominator info: output not implemented
+  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 OO_PROGRAM_EXAMPLE_main 109"  info1: "End OO_PROGRAM_EXAMPLE_main 109
   mode:    X
@@ -872,6 +887,6 @@ node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main 109"  info1: "End OO_PR
      1:    Block 197
   Private Attributes:
 "
-color: blue}
+color:blue}
 edge: { sourcename: "n109" targetname: "n28" class:2  priority:50 linestyle:dotted}
 }
libfirm