arch ops initialized
[libfirm] / testprograms / ref-results / OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg
index fbabc63..9e21e18 100644 (file)
@@ -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: 20
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -61,11 +61,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
+  dominator info: output not implemented
 "
 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: 20
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -90,7 +91,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: "n40" label: "Block  40"  info1: "Block 40
+node: {title: "n40" label: "Block 40"  info1: "Block 40
   mode:    BB
   visited: 20
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -99,7 +100,8 @@ 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
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n40" targetname: "n34" label: "0" class:13 priority:60 color:red}
@@ -116,7 +118,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: 20
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -131,7 +133,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: 20
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -184,13 +186,14 @@ node: {title: "n49" label: "Sel PRIMA_set_a 49"  info1: "Sel 49
      1:    Proj 48
   Private Attributes:
   Selecting entity of type set_a
-    from entity of type PRIMA
+    from entity set_a (20)
+    of type 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: 20
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -208,7 +211,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: 20
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -248,13 +251,14 @@ node: {title: "n53" label: "Sel PRIMA_c 53"  info1: "Sel 53
      1:    Proj 48
   Private Attributes:
   Selecting entity of type c
-    from entity of type PRIMA
+    from entity c (23)
+    of type 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: 20
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -273,7 +277,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: 20
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -328,7 +332,7 @@ node: {title: "n56" label: "ProjM 0 56"  info1: "Proj 56
 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: 20
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -345,7 +349,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: 20
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -354,11 +358,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
+  dominator info: output not implemented
 "
 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: 20
   irg:     OO_PROGRAM_EXAMPLE_main
@@ -432,12 +437,12 @@ 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: 1
   arity:   0
   pred nodes:
-    -1:    Block 1
+    -1:    Block 3
   Private Attributes:
   kind:   addr_ent
   entity: entity PRIMA.set_a (20)
@@ -474,12 +479,12 @@ 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: 1
   arity:   0
   pred nodes:
-    -1:    Block 1
+    -1:    Block 3
   Private Attributes:
   kind:   addr_ent
   entity: entity PRIMA.c (23)
@@ -507,12 +512,12 @@ 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: 1
   arity:   0
   pred nodes:
-    -1:    Block 1
+    -1:    Block 3
   Private Attributes:
   kind:   addr_ent
   entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26)