arch ops initialized

[libfirm] / testprograms / ref-results / OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg
index 5498d73..37bac57 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg
@@ -52,7 +52,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: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -69,7 +69,7 @@ node: {title: "n30" label: "Block  30"  info1: "Block 30
 "
 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
+node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main 31"  info1: "Start OO_PROGRAM_EXAMPLE_main 31
   mode:    T
   visited: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -94,7 +94,7 @@ node: {title: "n34" label: "ProjX 0 34"  info1: "Proj 34
 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
+node: {title: "n191" label: "Block 191"  info1: "Block 191
   mode:    BB
   visited: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -111,7 +111,7 @@ node: {title: "n191" label: "Block  191"  info1: "Block 191
 "
 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
+node: {title: "n193" label: "CallBegin set_a 193"  info1: "CallBegin set_a 193
   mode:    T
   visited: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -125,7 +125,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: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -154,7 +154,7 @@ node: {title: "n195" label: "ProjX 0 195"  info1: "Proj 195
 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
+node: {title: "n64" label: "Block 64"  info1: "Block 64
   mode:    BB
   visited: 37
   irg:     PRIMA_set_a
@@ -171,7 +171,7 @@ node: {title: "n64" label: "Block  64"  info1: "Block 64
 "
 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
+node: {title: "n65" label: "Start PRIMA_set_a 65"  info1: "Start PRIMA_set_a 65
   mode:    T
   visited: 37
   irg:     PRIMA_set_a
@@ -198,7 +198,7 @@ node: {title: "n68" label: "ProjX 0 68"  info1: "Proj 68
 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
+node: {title: "n74" label: "Block 74"  info1: "Block 74
   mode:    BB
   visited: 37
   irg:     PRIMA_set_a
@@ -215,7 +215,7 @@ node: {title: "n74" label: "Block  74"  info1: "Block 74
 "
 color: lightyellow}
 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
-node: {title: "n187" label: "Jmp  187"  info1: "Jmp 187
+node: {title: "n187" label: "Jmp 187"  info1: "Jmp 187
   mode:    X
   visited: 37
   irg:     PRIMA_set_a
@@ -226,7 +226,7 @@ node: {title: "n187" label: "Jmp  187"  info1: "Jmp 187
 "
 }
 edge: { sourcename: "n187" targetname: "n74" class:2  priority:50 linestyle:dotted}
-node: {title: "n188" label: "Block  188"  info1: "Block 188
+node: {title: "n188" label: "Block 188"  info1: "Block 188
   mode:    BB
   visited: 37
   irg:     PRIMA_set_a
@@ -243,7 +243,7 @@ node: {title: "n188" label: "Block  188"  info1: "Block 188
 "
 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
+node: {title: "n189" label: "EndReg PRIMA_set_a 189"  info1: "EndReg PRIMA_set_a 189
   mode:    T
   visited: 37
   irg:     PRIMA_set_a
@@ -267,7 +267,7 @@ node: {title: "n194" label: "ProjX 0 194"  info1: "Proj 194
 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
+node: {title: "n197" label: "Block 197"  info1: "Block 197
   mode:    BB
   visited: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -284,7 +284,7 @@ node: {title: "n197" label: "Block  197"  info1: "Block 197
 "
 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
+node: {title: "n199" label: "CallBegin c 199"  info1: "CallBegin c 199
   mode:    T
   visited: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -298,7 +298,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: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -327,7 +327,7 @@ node: {title: "n201" label: "ProjX 0 201"  info1: "Proj 201
 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
+node: {title: "n87" label: "Block 87"  info1: "Block 87
   mode:    BB
   visited: 37
   irg:     PRIMA_c
@@ -344,7 +344,7 @@ node: {title: "n87" label: "Block  87"  info1: "Block 87
 "
 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
+node: {title: "n88" label: "Start PRIMA_c 88"  info1: "Start PRIMA_c 88
   mode:    T
   visited: 37
   irg:     PRIMA_c
@@ -371,7 +371,7 @@ node: {title: "n91" label: "ProjX 0 91"  info1: "Proj 91
 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
+node: {title: "n97" label: "Block 97"  info1: "Block 97
   mode:    BB
   visited: 37
   irg:     PRIMA_c
@@ -388,7 +388,7 @@ node: {title: "n97" label: "Block  97"  info1: "Block 97
 "
 color: lightyellow}
 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
-node: {title: "n179" label: "Jmp  179"  info1: "Jmp 179
+node: {title: "n179" label: "Jmp 179"  info1: "Jmp 179
   mode:    X
   visited: 37
   irg:     PRIMA_c
@@ -399,7 +399,7 @@ node: {title: "n179" label: "Jmp  179"  info1: "Jmp 179
 "
 }
 edge: { sourcename: "n179" targetname: "n97" class:2  priority:50 linestyle:dotted}
-node: {title: "n180" label: "Block  180"  info1: "Block 180
+node: {title: "n180" label: "Block 180"  info1: "Block 180
   mode:    BB
   visited: 37
   irg:     PRIMA_c
@@ -416,7 +416,7 @@ node: {title: "n180" label: "Block  180"  info1: "Block 180
 "
 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
+node: {title: "n181" label: "EndReg PRIMA_c 181"  info1: "EndReg PRIMA_c 181
   mode:    T
   visited: 37
   irg:     PRIMA_c
@@ -440,7 +440,7 @@ node: {title: "n200" label: "ProjX 0 200"  info1: "Proj 200
 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
+node: {title: "n40" label: "Block 40"  info1: "Block 40
   mode:    BB
   visited: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -472,7 +472,7 @@ node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
   backedges:
 "
 color: yellow}
-node: {title: "n178n42" label: "0x5Is  42"  info1: "0x5 42
+node: {title: "n178n42" label: "0x5Is 42"  info1: "0x5 42
   mode:    Is
   visited: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -498,7 +498,7 @@ node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
 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: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -513,7 +513,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: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -574,7 +574,7 @@ node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
   backedges:
 "
 color: yellow}
-node: {title: "n186n41" label: "0x2Is  41"  info1: "0x2 41
+node: {title: "n186n41" label: "0x2Is 41"  info1: "0x2 41
   mode:    Is
   visited: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -645,13 +645,14 @@ node: {title: "n78" label: "Sel a 78"  info1: "Sel 78
      1:    Filter 185
   Private Attributes:
   Selecting entity of type int
-    from entity of type PRIMA
+    from entity a (17)
+    of type 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}
 edge: { sourcename: "n78" targetname: "n74" class:2  priority:50 linestyle:dotted}
-node: {title: "n79" label: "Store  79"  info1: "Store 79
+node: {title: "n79" label: "Store 79"  info1: "Store 79
   mode:    T
   visited: 37
   irg:     PRIMA_set_a
@@ -728,13 +729,14 @@ node: {title: "n101" label: "Sel a 101"  info1: "Sel 101
      1:    Filter 177
   Private Attributes:
   Selecting entity of type int
-    from entity of type PRIMA
+    from entity a (17)
+    of type 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}
 edge: { sourcename: "n101" targetname: "n97" class:2  priority:50 linestyle:dotted}
-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: 37
   irg:     PRIMA_c
@@ -765,7 +767,7 @@ node: {title: "n105" label: "ProjIs 2 105"  info1: "Proj 105
 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
+node: {title: "n106" label: "AddIs 106"  info1: "Add 106
   mode:    Is
   visited: 37
   irg:     PRIMA_c
@@ -827,7 +829,7 @@ node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
 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
+node: {title: "n59" label: "Return 59"  info1: "Return 59
   mode:    X
   visited: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -842,7 +844,7 @@ node: {title: "n59" label: "Return  59"  info1: "Return 59
 edge: {sourcename: "n59" targetname: "n202" label: "0" class:14 priority:50 color:blue}
 edge: {sourcename: "n59" targetname: "n203" 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: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -859,7 +861,7 @@ node: {title: "n28" label: "Block  28"  info1: "Block 28
 "
 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
+node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main 109"  info1: "End OO_PROGRAM_EXAMPLE_main 109
   mode:    X
   visited: 37
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -916,7 +918,7 @@ node: {title: "e20" label: "ent PRIMA_set_a" color: yellow
 }
 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
-node: {title: "n19" label: "SymC &set_a  19"  info1: "SymC &set_a 19
+node: {title: "n19" label: "SymC &set_a 19"  info1: "SymC &set_a 19
   mode:    P
   visited: 40
   arity:   0
@@ -967,7 +969,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow
 }
 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
-node: {title: "n22" label: "SymC &c  22"  info1: "SymC &c 22
+node: {title: "n22" label: "SymC &c 22"  info1: "SymC &c 22
   mode:    P
   visited: 41
   arity:   0
@@ -1010,7 +1012,7 @@ node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
 }
 edge: { sourcename: "e26" targetname: "t24"class: 3 label: "type" color: red}
 edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
-node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main  25"  info1: "SymC &OO_PROGRAM_EXAMPLE_main 25
+node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25"  info1: "SymC &OO_PROGRAM_EXAMPLE_main 25
   mode:    P
   visited: 42
   arity:   0