X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fref-results%2FPRIMA_set_a-type.vcg;h=8c896864a6917213c5c4309f5c0c37d96d6d3eac;hb=de553080ddf4ca36f5384bfaac8cdd53192f05d5;hp=d51e20fcc8a361276c5547c5e52ce31ac58efb66;hpb=7aeec4c055edf774dd87b2d00db3f72f08228356;p=libfirm

diff --git a/testprograms/ref-results/PRIMA_set_a-type.vcg b/testprograms/ref-results/PRIMA_set_a-type.vcg
index d51e20fcc..8c896864a 100644
--- a/testprograms/ref-results/PRIMA_set_a-type.vcg
+++ b/testprograms/ref-results/PRIMA_set_a-type.vcg
@@ -1,100 +1,164 @@
 graph: { title: "ir graph of PRIMA_set_a"
-display_edge_labels: yes
+display_edge_labels: no
 layoutalgorithm: mindepth
 manhattan_edges: yes
 port_sharing: no
 orientation: bottom_to_top
-classname 1: "Data"
-classname 2: "Block"
-classname 3: "Entity type"
-classname 4: "Entity owner"
-classname 5: "Method Param"
-classname 6: "Method Res"
-classname 7: "Super"
-classname 8: "Union"
-classname 9: "Points-to"
+classname 1:  "intrablock Data"
+classname 16: "interblock Data"
+classname 2:  "Block"
+classname 13: "Control Flow"
+classname 14: "intrablock Memory"
+classname 17: "interblock Memory"
+classname 15: "Dominators"
+classname 3:  "Entity type"
+classname 4:  "Entity owner"
+classname 5:  "Method Param"
+classname 6:  "Method Res"
+classname 7:  "Super"
+classname 8:  "Union"
+classname 9:  "Points-to"
 classname 10: "Array Element Type"
 classname 11: "Overwrites"
 classname 12: "Member"
+infoname 1: "Attribute"
+infoname 2: "Verification errors"
+colorentry 100:    0   0    0
+colorentry 101:   20   0    0
+colorentry 102:   40   0    0
+colorentry 103:   60   0    0
+colorentry 104:   80   0    0
+colorentry 105:  100   0    0
+colorentry 106:  120   0    0
+colorentry 107:  140   0    0
+colorentry 108:  150   0    0
+colorentry 109:  180   0    0
+colorentry 110:  200   0    0
+colorentry 111:  220   0    0
+colorentry 112:  240   0    0
+colorentry 113:  255   0    0
+colorentry 113:  255  20   20
+colorentry 114:  255  40   40
+colorentry 115:  255  60   60
+colorentry 116:  255  80   80
+colorentry 117:  255 100  100
+colorentry 118:  255 120  120
+colorentry 119:  255 140  140
+colorentry 120:  255 150  150
+colorentry 121:  255 180  180
+colorentry 122:  255 200  200
+colorentry 123:  255 220  220
+colorentry 124:  255 240  240
+colorentry 125:  255 250  250
 
-node: {title: "e15" label: "ent a" color: yellow
- info1: "
-id: e15
-allocation:  allocation_automatic
-visibility:  visibility_local
-variability: variability_uninitialized
-volatility:  volatility_non_volatile
-peculiarity: peculiarity_existent
-name:    a
-ld_name: no yet set
-offset:  -1"
+node: {title: "e14" label: "ent a" color: yellow
+ info1: "entity a (14)
+  type:  int (11)
+  owner: PRIMA (12)
+  Does not overwrite other entities.
+  Is not overwriten by other entities.
+  allocation:  allocation_automatic
+  visibility:  visibility_local
+  variability: variability_uninitialized
+  volatility:  volatility_non_volatile
+  peculiarity: peculiarity_existent
+  ld_name: no yet set
+  offset:  -1
+
+"
 }
-edge: { sourcename: "e15" targetname: "t12"class: 3 label: "type" color: red}
-node: {title: "t13" label: "class PRIMA" info1: "state: layout_undefined
-size: -1B,
-" color: green}
-edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue}
-edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue}
-edge: { sourcename: "t13" targetname: "e21"class: 12 label: "member" color:blue}
-node: {title: "e18" label: "ent set_a" color: yellow
- info1: "
-id: e18
-allocation:  allocation_static
-visibility:  visibility_local
-variability: variability_constant
-volatility:  volatility_non_volatile
+edge: { sourcename: "e14" targetname: "t11"class: 3 label: "type" color: red}
+node: {title: "t12" label: "class PRIMA" info1: "state: layout_undefined
+size: -1b,
 peculiarity: peculiarity_existent
-name:    set_a
-ld_name: PRIMA_set_a
-offset:  -1
-irg = g71"
+" color: green}
+edge: { sourcename: "t12" targetname: "e14"class: 12 label: "member" color:blue}
+edge: { sourcename: "t12" targetname: "e17"class: 12 label: "member" color:blue}
+edge: { sourcename: "t12" targetname: "e20"class: 12 label: "member" color:blue}
+node: {title: "e17" label: "ent PRIMA_set_a" color: yellow
+ info1: "entity set_a (17)
+  type:  set_a (15)
+  owner: PRIMA (12)
+  Does not overwrite other entities.
+  Is not overwriten by other entities.
+  allocation:  allocation_static
+  visibility:  visibility_local
+  variability: variability_constant
+  atomic value: SymC &set_a
+  volatility:  volatility_non_volatile
+  peculiarity: peculiarity_existent
+  ld_name: PRIMA_set_a
+  offset:  -1
+  irg = 68
+
+"
 }
-edge: { sourcename: "e18" targetname: "t16"class: 3 label: "type" color: red}
-edge: { sourcename: "e18" targetname: "n17"label: "value 0"}
-node: {title: "n17" label: "&(PRIMA_set_a)P  17" color: yellow info1: "visited: 8
-Const of type type_unknown
+edge: { sourcename: "e17" targetname: "t15"class: 3 label: "type" color: red}
+edge: { sourcename: "e17" targetname: "n16"label: "value 0"}
+node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
+visited: 8
+arity: 0
+kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
-node: {title: "t16" label: "method set_a" info1: "state: layout_fixed,
+node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
-size: 4B,
+size: 32b,
+variadicity: variadicity_non_variadic
+params: 2
+results: 0
 "}
-edge: { sourcename: "t16" targetname: "t14"class: 5 label: "param 0" color: green}
-edge: { sourcename: "t16" targetname: "t12"class: 5 label: "param 1" color: green}
-node: {title: "t14" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
+edge: { sourcename: "t15" targetname: "t13"class: 5 label: "param 0" color: green}
+edge: { sourcename: "t15" targetname: "t11"class: 5 label: "param 1" color: green}
+node: {title: "t13" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
 mode: P,
-size: 4B,
+size: 32b,
 "}
-edge: { sourcename: "t14" targetname: "t13"class: 9 label: "points to" color:green}
-node: {title: "t12" label: "primitive int" info1: "state: layout_fixed,
+edge: { sourcename: "t13" targetname: "t12"class: 9 label: "points to" color:green}
+node: {title: "t11" label: "primitive int" info1: "state: layout_fixed,
 mode: Is,
-size: 4B,
+size: 32b,
 "}
-node: {title: "e21" label: "ent c" color: yellow
- info1: "
-id: e21
-allocation:  allocation_static
-visibility:  visibility_local
-variability: variability_constant
-volatility:  volatility_non_volatile
-peculiarity: peculiarity_existent
-name:    c
-ld_name: PRIMA_c
-offset:  -1
-irg = g94"
+node: {title: "e20" label: "ent PRIMA_c" color: yellow
+ info1: "entity c (20)
+  type:  c (18)
+  owner: PRIMA (12)
+  Does not overwrite other entities.
+  Is not overwriten by other entities.
+  allocation:  allocation_static
+  visibility:  visibility_local
+  variability: variability_constant
+  atomic value: SymC &c
+  volatility:  volatility_non_volatile
+  peculiarity: peculiarity_existent
+  ld_name: PRIMA_c
+  offset:  -1
+  irg = 90
+
+"
 }
-edge: { sourcename: "e21" targetname: "t19"class: 3 label: "type" color: red}
-edge: { sourcename: "e21" targetname: "n20"label: "value 0"}
-node: {title: "n20" label: "&(PRIMA_c)P  20" color: yellow info1: "visited: 8
-Const of type type_unknown
+edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
+edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
+node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
+visited: 8
+arity: 0
+kind addr_ent
+entity PRIMA.c (20)
+
 "}
-node: {title: "t19" label: "method c" info1: "state: layout_fixed,
+node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 mode: P,
-size: 4B,
+size: 32b,
+variadicity: variadicity_non_variadic
+params: 2
+results: 1
 "}
-edge: { sourcename: "t19" targetname: "t14"class: 5 label: "param 0" color: green}
-edge: { sourcename: "t19" targetname: "t12"class: 5 label: "param 1" color: green}
-edge: { sourcename: "t19" targetname: "t12"class: 6 label: "res 0" color: green}
-node: {title: "t59" label: "class set_aframe_tp" info1: "state: layout_undefined
-size: -1B,
+edge: { sourcename: "t18" targetname: "t13"class: 5 label: "param 0" color: green}
+edge: { sourcename: "t18" targetname: "t11"class: 5 label: "param 1" color: green}
+edge: { sourcename: "t18" targetname: "t11"class: 6 label: "res 0" color: green}
+node: {title: "t57" label: "class set_aframe_tp" info1: "state: layout_undefined
+size: -1b,
+peculiarity: peculiarity_existent
 " color: green}
 }