renamed get_opt_redundant_LoadStore() into get_opt_redundant_loadstore()
[libfirm] / testprograms / ref-results / ARRAY-STACK_EXAMPLE_main-type.vcg
index 6beb993..0cece4a 100644 (file)
@@ -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
@@ -52,8 +53,8 @@ colorentry 123:  255 220  220
 colorentry 124:  255 240  240
 colorentry 125:  255 250  250
 
-node: {title: "e22" label: "ent a_tp_elem_ent" color: yellow
- info1: "entity a_tp_elem_ent (22)
+node: {title: "e21" label: "ent a_tp_elem_ent" color: yellow
+ info1: "entity a_tp_elem_ent (21)
   type:  int (14)
   owner: a_tp (19)
   allocation:  allocation_automatic
@@ -62,36 +63,70 @@ node: {title: "e22" label: "ent a_tp_elem_ent" color: yellow
   volatility:  volatility_non_volatile
   peculiarity: peculiarity_existent
   ld_name: no yet set
-  offset:  -1
+  offset:  -1 bits, -1 bytes
+
+"
+}
+edge: { sourcename: "e21" targetname: "t14"class: 3 label: "type" color: red}
+node: {title: "t19" label: "array a_tp" info1: "array type a_tp (19)
+  array [0 .. 0] of <int (14)>
+  order: <0>
+    entity a_tp_elem_ent (21)
+      type:  int (14)
+      owner: a_tp (19)
+      allocation:  allocation_automatic
+      visibility:  visibility_local
+      variability: variability_uninitialized
+      volatility:  volatility_non_volatile
+      peculiarity: peculiarity_existent
+      ld_name: no yet set
+      offset:  -1 bits, -1 bytes
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+
 
 "
 }
-edge: { sourcename: "e22" targetname: "t14"class: 3 label: "type" color: red}
-node: {title: "t19" label: "array a_tp" info1: "state: layout_undefined
-size: -1b,
-"}
 edge: { sourcename: "t19" targetname: "t14"class: 10 label: "arr elt tp" color:green}
-edge: { sourcename: "t19" targetname: "e22"class: 10 label: "arr ent" color: green}
-edge: { sourcename: "n23" targetname: "t19"label: "upper 0"}
-edge: { sourcename: "n24" targetname: "t19"label: "lower 0"}
-node: {title: "n23" label: "0x9Iu  23"  info1: "mode:    Iu
-visited: 1
-arity: 0
-Const of type type_unknown
-"color: yellow}
-node: {title: "n24" label: "0x0Iu  24"  info1: "mode:    Iu
-visited: 1
-arity: 0
-Const of type type_unknown
-"color: yellow}
-node: {title: "t14" label: "primitive int" info1: "state: layout_fixed,
-mode: Is,
-size: 32b,
-"}
-node: {title: "e39" label: "ent a" color: yellow
- info1: "entity a (39)
+edge: { sourcename: "t19" targetname: "e21"class: 10 label: "arr ent" color: green}
+edge: { sourcename: "n22" targetname: "t19"label: "upper 0"}
+edge: { sourcename: "n23" targetname: "t19"label: "lower 0"}
+node: {title: "n22" label: "0x9Iu 22"  info1: "0x9 22
+  mode:    Iu
+  visited: 1
+  arity:   0
+  pred nodes:
+    -1:    Block 3
+  Private Attributes:
+  Const of type type_unknown
+"
+color:yellow}
+node: {title: "n23" label: "0x0Iu 23"  info1: "0x0 23
+  mode:    Iu
+  visited: 1
+  arity:   0
+  pred nodes:
+    -1:    Block 3
+  Private Attributes:
+  Const of type type_unknown
+"
+color:yellow}
+node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       Is,
+
+
+"
+}
+node: {title: "e38" label: "ent a" color: yellow
+ info1: "entity a (38)
   type:  a_tp (19)
-  owner: mainframe_tp (25)
+  owner: mainframe_tp (24)
   Does not overwrite other entities.
   Is not overwritten by other entities.
   allocation:  allocation_automatic
@@ -100,16 +135,37 @@ node: {title: "e39" label: "ent a" color: yellow
   volatility:  volatility_non_volatile
   peculiarity: peculiarity_existent
   ld_name: no yet set
-  offset:  -1
+  offset:  -1 bits, -1 bytes
 
 "
 }
-edge: { sourcename: "e39" targetname: "t19"class: 3 label: "type" color: red}
-node: {title: "t25" label: "class mainframe_tp" info1: "state: layout_undefined
-size: -1b,
-peculiarity: peculiarity_existent
-" color: green}
-edge: { sourcename: "t25" targetname: "e39"class: 12 label: "member" color:blue}
+edge: { sourcename: "e38" targetname: "t19"class: 3 label: "type" color: red}
+node: {title: "t24" label: "class mainframe_tp" info1: "class type mainframe_tp (24)
+  members:
+    entity a (38)
+      type:  a_tp (19)
+      owner: mainframe_tp (24)
+      Does not overwrite other entities.
+      Is not overwritten 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 bits, -1 bytes
+  supertypes:
+  subtypes:
+  peculiarity: peculiarity_existent
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
+
+
+"
+ color: green}
+edge: { sourcename: "t24" targetname: "e38"class: 12 label: "member" color:blue}
 node: {title: "e18" label: "ent ARRAY-STACK_EXAMPLE_main" color: yellow
  info1: "entity main (18)
   type:  main_tp (16)
@@ -119,36 +175,73 @@ node: {title: "e18" label: "ent ARRAY-STACK_EXAMPLE_main" color: yellow
   allocation:  allocation_static
   visibility:  visibility_local
   variability: variability_constant
+  calling convention: cdecl
   atomic value: SymC &main
   volatility:  volatility_non_volatile
   peculiarity: peculiarity_existent
   ld_name: ARRAY-STACK_EXAMPLE_main
-  offset:  -1
-  irg = 37
+  offset:  -1 bits, -1 bytes
+  irg = 36
 
 "
 }
 edge: { sourcename: "e18" targetname: "t16"class: 3 label: "type" color: red}
 edge: { sourcename: "e18" targetname: "n17"label: "value 0"}
-node: {title: "n17" label: "SymC &main  17"  info1: "mode:    P
-visited: 1
-arity: 0
-kind addr_ent
-entity ARRAY-STACK_EXAMPLE.main (18)
+node: {title: "n17" label: "SymC &main 17"  info1: "SymC &main 17
+  mode:    P
+  visited: 1
+  arity:   0
+  pred nodes:
+    -1:    Block 3
+  Private Attributes:
+  kind:   addr_ent
+  entity: entity ARRAY-STACK_EXAMPLE.main (18)
+
+  type of value: type_unknown
+"
+}
+node: {title: "t15" label: "class ARRAY-STACK_EXAMPLE" info1: "class type ARRAY-STACK_EXAMPLE (15)
+  members:
+    entity main (18)
+      type:  main_tp (16)
+      owner: ARRAY-STACK_EXAMPLE (15)
+      Does not overwrite other entities.
+      Is not overwritten by other entities.
+      allocation:  allocation_static
+      visibility:  visibility_local
+      variability: variability_constant
+      calling convention: cdecl
+      atomic value: SymC &main
+      volatility:  volatility_non_volatile
+      peculiarity: peculiarity_existent
+      ld_name: ARRAY-STACK_EXAMPLE_main
+      offset:  -1 bits, -1 bytes
+      irg = 36
+  supertypes:
+  subtypes:
+  peculiarity: peculiarity_existent
+  visibility: visibility_external_allocated,
+  state:      layout_undefined,
+  size:       -1 Bits,
+  alignment:  32 Bits,
 
-SymConst of type type_unknown
-"}
-node: {title: "t15" label: "class ARRAY-STACK_EXAMPLE" info1: "state: layout_undefined
-size: -1b,
-peculiarity: peculiarity_existent
-" color: green}
+
+"
+ color: green}
 edge: { sourcename: "t15" targetname: "e18"class: 12 label: "member" color:blue}
-node: {title: "t16" label: "method main_tp" info1: "state: layout_fixed,
-mode: P,
-size: 32b,
-variadicity: variadicity_non_variadic
-params: 0
-results: 1
-"}
+node: {title: "t16" label: "method main_tp" info1: "method type main_tp (16)
+  variadicity: variadicity_non_variadic
+  return types: 1
+    int
+  parameter types: 0
+  visibility: visibility_external_allocated,
+  state:      layout_fixed,
+  size:       32 Bits,
+  alignment:  32 Bits,
+  mode:       P,
+
+
+"
+}
 edge: { sourcename: "t16" targetname: "t14"class: 6 label: "res 0" color: green}
 }