projects / libfirm / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
used HASHPTR() now
[libfirm] / testprograms / ref-results / All_graphs.vcg
diff --git a/testprograms/ref-results/All_graphs.vcg b/testprograms/ref-results/All_graphs.vcg
index a4f8bc6..5ad8a00 100644 (file)
--- a/testprograms/ref-results/All_graphs.vcg
+++ b/testprograms/ref-results/All_graphs.vcg
@@ -24,6 +24,7 @@ classname 11: "Overwrites"
 classname 12: "Member"
 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
@@ -55,7 +56,7 @@ colorentry 125:  255 250  250
 graph: { title: "g39" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white
 graph: { title: "n28"  label: "Block 28" status:clustered color:yellow
 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
+node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main 109"  info1: "End OO_PROGRAM_EXAMPLE_main 109
   mode:    X
   visited: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -71,7 +72,7 @@ color: blue}
 
 graph: { title: "n40"  label: "Block 40" status:clustered color:yellow
 edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
-node: {title: "n59" label: "Return  59"  info1: "Return 59
+node: {title: "n59" label: "Return 59"  info1: "Return 59
   mode:    X
   visited: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -94,7 +95,8 @@ node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
     -1:    Block 40
      0:    Call 54
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 104
   backedges:
 "
@@ -109,7 +111,8 @@ node: {title: "n203" label: "FilterIs 0 203"  info1: "Filter 203
     -1:    Block 40
      0:    Proj 57
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Add 106
   backedges:
 "
@@ -128,7 +131,8 @@ node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
     -1:    Block 197
      0:    Call 50
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 81
   backedges:
 "
@@ -143,10 +147,11 @@ node: {title: "n201" label: "ProjX 0 201"  info1: "Proj 201
     -1:    Block 197
      0:    CallBegin c 199
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
-node: {title: "n199" label: "CallBegin c  199"  info1: "CallBegin c 199
+node: {title: "n199" label: "CallBegin c 199"  info1: "CallBegin c 199
   mode:    T
   visited: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -160,7 +165,7 @@ node: {title: "n199" label: "CallBegin c  199"  info1: "CallBegin c 199
     0: PRIMA_c
 "
 }
-node: {title: "n199n174" label: "SymC &c  174"  info1: "SymC &c 174
+node: {title: "n199n174" label: "SymC &c 174"  info1: "SymC &c 174
   mode:    P
   visited: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -179,7 +184,7 @@ edge: {sourcename: "n199" targetname: "n199n174" label: "0" class:16 priority:10
 
 graph: { title: "n191"  label: "Block 191" status:clustered color:yellow
 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
-node: {title: "n47" label: "ProjM 0 47"  info1: "Proj 47
+node: {title: "n47" label: "ProjM M 47"  info1: "Proj 47
   mode:    M
   visited: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -188,10 +193,11 @@ node: {title: "n47" label: "ProjM 0 47"  info1: "Proj 47
     -1:    Block 191
      0:    Alloc 45
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
-node: {title: "n48" label: "ProjP 2 48"  info1: "Proj 48
+node: {title: "n48" label: "ProjP res 48"  info1: "Proj 48
   mode:    P
   visited: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -200,10 +206,11 @@ node: {title: "n48" label: "ProjP 2 48"  info1: "Proj 48
     -1:    Block 191
      0:    Alloc 45
   Private Attributes:
+  proj nr: 2
 "
 color: yellow}
 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
-node: {title: "n45" label: "Alloc  45"  info1: "Alloc 45
+node: {title: "n45" label: "Alloc 45"  info1: "Alloc 45
   mode:    T
   visited: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -218,7 +225,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: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -242,10 +249,11 @@ 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}
 edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
-node: {title: "n193" label: "CallBegin set_a  193"  info1: "CallBegin set_a 193
+node: {title: "n193" label: "CallBegin set_a 193"  info1: "CallBegin set_a 193
   mode:    T
   visited: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -259,7 +267,7 @@ node: {title: "n193" label: "CallBegin set_a  193"  info1: "CallBegin set_a 193
     0: PRIMA_set_a
 "
 }
-node: {title: "n193n175" label: "SymC &set_a  175"  info1: "SymC &set_a 175
+node: {title: "n193n175" label: "SymC &set_a 175"  info1: "SymC &set_a 175
   mode:    P
   visited: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -287,10 +295,11 @@ 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}
 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
-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: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -299,10 +308,11 @@ 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}
 edge: {sourcename: "n34" targetname: "n31" 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
+node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main 31"  info1: "Start OO_PROGRAM_EXAMPLE_main 31
   mode:    T
   visited: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -329,10 +339,11 @@ 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}
 edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
-node: {title: "n189" label: "EndReg PRIMA_set_a  189"  info1: "EndReg PRIMA_set_a 189
+node: {title: "n189" label: "EndReg PRIMA_set_a 189"  info1: "EndReg PRIMA_set_a 189
   mode:    T
   visited: 52
   irg:     PRIMA_set_a
@@ -346,7 +357,7 @@ color: blue}
 
 graph: { title: "n74"  label: "Block 74" status:clustered color:yellow
 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
-node: {title: "n81" label: "ProjM 0 81"  info1: "Proj 81
+node: {title: "n81" label: "ProjM M 81"  info1: "Proj 81
   mode:    M
   visited: 52
   irg:     PRIMA_set_a
@@ -355,10 +366,11 @@ node: {title: "n81" label: "ProjM 0 81"  info1: "Proj 81
     -1:    Block 74
      0:    Store 79
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
-node: {title: "n79" label: "Store  79"  info1: "Store 79
+node: {title: "n79" label: "Store 79"  info1: "Store 79
   mode:    T
   visited: 52
   irg:     PRIMA_set_a
@@ -386,13 +398,14 @@ 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 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}
 edge: {sourcename: "n78" targetname: "n185" label: "1" class:16 priority:10}
-node: {title: "n187" label: "Jmp  187"  info1: "Jmp 187
+node: {title: "n187" label: "Jmp 187"  info1: "Jmp 187
   mode:    X
   visited: 52
   irg:     PRIMA_set_a
@@ -415,7 +428,8 @@ node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
     -1:    Block 64
      0:    Start PRIMA_set_a 65
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 47
   backedges:
 "
@@ -430,7 +444,8 @@ node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
     -1:    Block 64
      0:    Proj 72
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 48
   backedges:
 "
@@ -445,12 +460,13 @@ node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
     -1:    Block 64
      0:    Proj 72
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    0x2 41
   backedges:
 "
 color: yellow}
-node: {title: "n186n41" label: "0x2Is  41"  info1: "0x2 41
+node: {title: "n186n41" label: "0x2Is 41"  info1: "0x2 41
   mode:    Is
   visited: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -462,7 +478,7 @@ node: {title: "n186n41" label: "0x2Is  41"  info1: "0x2 41
 "
 color: yellow}
 edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
-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: 52
   irg:     PRIMA_set_a
@@ -471,10 +487,11 @@ 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}
 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
-node: {title: "n65" label: "Start PRIMA_set_a  65"  info1: "Start PRIMA_set_a 65
+node: {title: "n65" label: "Start PRIMA_set_a 65"  info1: "Start PRIMA_set_a 65
   mode:    T
   visited: 52
   irg:     PRIMA_set_a
@@ -503,10 +520,11 @@ 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}
 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
-node: {title: "n181" label: "EndReg PRIMA_c  181"  info1: "EndReg PRIMA_c 181
+node: {title: "n181" label: "EndReg PRIMA_c 181"  info1: "EndReg PRIMA_c 181
   mode:    T
   visited: 52
   irg:     PRIMA_c
@@ -520,7 +538,7 @@ color: blue}
 
 graph: { title: "n97"  label: "Block 97" status:clustered color:yellow
 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
-node: {title: "n104" label: "ProjM 0 104"  info1: "Proj 104
+node: {title: "n104" label: "ProjM M 104"  info1: "Proj 104
   mode:    M
   visited: 52
   irg:     PRIMA_c
@@ -529,10 +547,11 @@ node: {title: "n104" label: "ProjM 0 104"  info1: "Proj 104
     -1:    Block 97
      0:    Load[Is] 102
   Private Attributes:
+  proj nr: 0
 "
 color: yellow}
 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
-node: {title: "n106" label: "AddIs  106"  info1: "Add 106
+node: {title: "n106" label: "AddIs 106"  info1: "Add 106
   mode:    Is
   visited: 52
   irg:     PRIMA_c
@@ -546,7 +565,7 @@ node: {title: "n106" label: "AddIs  106"  info1: "Add 106
 }
 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1  priority:50}
 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
-node: {title: "n105" label: "ProjIs 2 105"  info1: "Proj 105
+node: {title: "n105" label: "ProjIs res 105"  info1: "Proj 105
   mode:    Is
   visited: 52
   irg:     PRIMA_c
@@ -555,10 +574,11 @@ node: {title: "n105" label: "ProjIs 2 105"  info1: "Proj 105
     -1:    Block 97
      0:    Load[Is] 102
   Private Attributes:
+  proj nr: 2
 "
 color: yellow}
 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1  priority:50}
-node: {title: "n102" label: "Load[Is]  102"  info1: "Load[Is] 102
+node: {title: "n102" label: "Load[Is] 102"  info1: "Load[Is] 102
   mode:    T
   visited: 52
   irg:     PRIMA_c
@@ -585,13 +605,14 @@ 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 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}
 edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
-node: {title: "n179" label: "Jmp  179"  info1: "Jmp 179
+node: {title: "n179" label: "Jmp 179"  info1: "Jmp 179
   mode:    X
   visited: 52
   irg:     PRIMA_c
@@ -614,7 +635,8 @@ node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
     -1:    Block 87
      0:    Start PRIMA_c 88
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Filter 196
   backedges:
 "
@@ -629,7 +651,8 @@ node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
     -1:    Block 87
      0:    Proj 95
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 48
   backedges:
 "
@@ -644,12 +667,13 @@ node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
     -1:    Block 87
      0:    Proj 95
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    0x5 42
   backedges:
 "
 color: yellow}
-node: {title: "n178n42" label: "0x5Is  42"  info1: "0x5 42
+node: {title: "n178n42" label: "0x5Is 42"  info1: "0x5 42
   mode:    Is
   visited: 52
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -661,7 +685,7 @@ node: {title: "n178n42" label: "0x5Is  42"  info1: "0x5 42
 "
 color: yellow}
 edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
-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: 52
   irg:     PRIMA_c
@@ -670,10 +694,11 @@ 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}
 edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
-node: {title: "n88" label: "Start PRIMA_c  88"  info1: "Start PRIMA_c 88
+node: {title: "n88" label: "Start PRIMA_c 88"  info1: "Start PRIMA_c 88
   mode:    T
   visited: 52
   irg:     PRIMA_c
libfirm