X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fref-results%2FIRR_LOOP_loop1.vcg;h=caeb2d1cddc0a57892bd2ae86cb1da2266bebf6d;hb=1ec30d95387eb392ba5a1adc7958ebd91383d59c;hp=8dea20c8900eec8cd02ade3b9fe5b29939317759;hpb=d6c875a5bfb0c475accbaa5007dfcb56c2b5fa8f;p=libfirm

diff --git a/testprograms/ref-results/IRR_LOOP_loop1.vcg b/testprograms/ref-results/IRR_LOOP_loop1.vcg
index 8dea20c89..caeb2d1cd 100644
--- a/testprograms/ref-results/IRR_LOOP_loop1.vcg
+++ b/testprograms/ref-results/IRR_LOOP_loop1.vcg
@@ -5,13 +5,7 @@ manhattan_edges: yes
 port_sharing: no
 orientation: bottom_to_top
 classname 1:  "intrablock Data"
-classname 16: "interblock Data"
 classname 2:  "Block"
-classname 13: "Control Flow"
-classname 18: "Exception Control Flow for Interval Analysis"
-classname 14: "intrablock Memory"
-classname 17: "interblock Memory"
-classname 15: "Dominators"
 classname 3:  "Entity type"
 classname 4:  "Entity owner"
 classname 5:  "Method Param"
@@ -22,6 +16,13 @@ classname 9:  "Points-to"
 classname 10: "Array Element Type"
 classname 11: "Overwrites"
 classname 12: "Member"
+classname 13: "Control Flow"
+classname 14: "intrablock Memory"
+classname 15: "Dominators"
+classname 16: "interblock Data"
+classname 17: "interblock Memory"
+classname 18: "Exception Control Flow for Interval Analysis"
+classname 19: "Postdominators"
 infoname 1: "Attribute"
 infoname 2: "Verification errors"
 infoname 3: "Debug info"
@@ -54,7 +55,37 @@ colorentry 124:  255 240  240
 colorentry 125:  255 250  250
 
 graph: { title: "g30" label: "IRR_LOOP_loop1" status:clustered color:white
+info1: "entity loop1 (17)
+  type:  METH_TP_NOARG_NORES (15)
+  owner: IRR_LOOP (14)
+  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 &loop1
+  volatility:  volatility_non_volatile
+  peculiarity: peculiarity_existent
+  ld_name: IRR_LOOP_loop1
+  offset:  -1 bits, -1 bytes
+  irg = 30
+
+"
 graph: { title: "n19"  label: "Block 19" status:clustered color:yellow
+ info1: "Block 19
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop1
+  arity:   1
+  pred nodes:
+     0:    Return 55
+  Private Attributes:
+  backedges:
+  in loop 128 with depth 0
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n19" targetname: "n55" label: "0" class:13 priority:60 color:red}
 node: {title: "n20" label: "End 20"  info1: "End 20
   mode:    X
@@ -68,10 +99,24 @@ node: {title: "n20" label: "End 20"  info1: "End 20
      2:    Phi 62
   Private Attributes:
 "
-color: blue}
+color:blue}
 }
 
 graph: { title: "n53"  label: "Block 53" status:clustered color:yellow
+ info1: "Block 53
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop1
+  arity:   2
+  pred nodes:
+     0:    Proj 51
+     1:    Proj 45
+  Private Attributes:
+  backedges:
+  in loop 128 with depth 0
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n53" targetname: "n51" label: "0" class:13 priority:60 color:red}
 edge: {sourcename: "n53" targetname: "n45" label: "1" class:13 priority:60 color:red}
 node: {title: "n55" label: "Return 55"  info1: "Return 55
@@ -99,12 +144,26 @@ node: {title: "n62" label: "PhiM 62"  info1: "Phi 62
   Private Attributes:
   backedges:
 "
-color: green}
+color:green}
 edge: {sourcename: "n62" targetname: "n61" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n62" targetname: "n60" label: "1" class:17 priority:10 color:blue}
 }
 
 graph: { title: "n41"  label: "Block 41" status:clustered color:yellow
+ info1: "Block 41
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop1
+  arity:   2
+  pred nodes:
+     0:    Proj 40
+     1: be Proj 52
+  Private Attributes:
+  backedges:  1
+  in loop 129 with depth 1
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n41" targetname: "n40" label: "0" class:13 priority:60 color:red}
 backedge: {sourcename: "n41" targetname: "n52" label: "1" linestyle:dashed class:13 priority:60 color:red}
 node: {title: "n60" label: "PhiM 60"  info1: "Phi 60
@@ -119,7 +178,7 @@ node: {title: "n60" label: "PhiM 60"  info1: "Phi 60
   Private Attributes:
   backedges:
 "
-color: green}
+color:green}
 edge: {sourcename: "n60" targetname: "n28" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n60" targetname: "n61" label: "1" class:17 priority:10 color:blue}
 node: {title: "n45" label: "ProjX false 45"  info1: "Proj 45
@@ -133,7 +192,7 @@ node: {title: "n45" label: "ProjX false 45"  info1: "Proj 45
   Private Attributes:
   proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n45" targetname: "n44" label: "0" class:13 priority:60 color:red}
 node: {title: "n46" label: "ProjX true 46"  info1: "Proj 46
   mode:    X
@@ -146,7 +205,7 @@ node: {title: "n46" label: "ProjX true 46"  info1: "Proj 46
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n46" targetname: "n44" label: "0" class:13 priority:60 color:red}
 node: {title: "n44" label: "Cond 44"  info1: "Cond 44
   mode:    T
@@ -173,7 +232,7 @@ node: {title: "n43" label: "Projb Eq 43"  info1: "Proj 43
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n43" targetname: "n42" label: "0" class:1  priority:50}
 node: {title: "n42" label: "Cmp 42"  info1: "Cmp 42
   mode:    T
@@ -192,6 +251,20 @@ edge: {sourcename: "n42" targetname: "n34" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n47"  label: "Block 47" status:clustered color:yellow
+ info1: "Block 47
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop1
+  arity:   2
+  pred nodes:
+     0:    Proj 39
+     1:    Proj 46
+  Private Attributes:
+  backedges:
+  in loop 129 with depth 1
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n47" targetname: "n39" label: "0" class:13 priority:60 color:red}
 edge: {sourcename: "n47" targetname: "n46" label: "1" class:13 priority:60 color:red}
 node: {title: "n61" label: "PhiM 61"  info1: "Phi 61
@@ -206,7 +279,7 @@ node: {title: "n61" label: "PhiM 61"  info1: "Phi 61
   Private Attributes:
   backedges:
 "
-color: green}
+color:green}
 edge: {sourcename: "n61" targetname: "n28" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n61" targetname: "n60" label: "1" class:17 priority:10 color:blue}
 node: {title: "n51" label: "ProjX false 51"  info1: "Proj 51
@@ -220,7 +293,7 @@ node: {title: "n51" label: "ProjX false 51"  info1: "Proj 51
   Private Attributes:
   proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n51" targetname: "n50" label: "0" class:13 priority:60 color:red}
 node: {title: "n52" label: "ProjX true 52"  info1: "Proj 52
   mode:    X
@@ -233,7 +306,7 @@ node: {title: "n52" label: "ProjX true 52"  info1: "Proj 52
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n52" targetname: "n50" label: "0" class:13 priority:60 color:red}
 node: {title: "n50" label: "Cond 50"  info1: "Cond 50
   mode:    T
@@ -260,7 +333,7 @@ node: {title: "n49" label: "Projb Eq 49"  info1: "Proj 49
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n49" targetname: "n48" label: "0" class:1  priority:50}
 node: {title: "n48" label: "Cmp 48"  info1: "Cmp 48
   mode:    T
@@ -279,6 +352,19 @@ edge: {sourcename: "n48" targetname: "n34" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n31"  label: "Block 31" status:clustered color:yellow
+ info1: "Block 31
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop1
+  arity:   1
+  pred nodes:
+     0:    Proj 25
+  Private Attributes:
+  backedges:
+  in loop 128 with depth 0
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n31" targetname: "n25" label: "0" class:13 priority:60 color:red}
 node: {title: "n40" label: "ProjX true 40"  info1: "Proj 40
   mode:    X
@@ -291,7 +377,7 @@ node: {title: "n40" label: "ProjX true 40"  info1: "Proj 40
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n40" targetname: "n38" label: "0" class:13 priority:60 color:red}
 node: {title: "n39" label: "ProjX false 39"  info1: "Proj 39
   mode:    X
@@ -304,7 +390,7 @@ node: {title: "n39" label: "ProjX false 39"  info1: "Proj 39
   Private Attributes:
   proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n39" targetname: "n38" label: "0" class:13 priority:60 color:red}
 node: {title: "n38" label: "Cond 38"  info1: "Cond 38
   mode:    T
@@ -331,7 +417,7 @@ node: {title: "n37" label: "Projb Eq 37"  info1: "Proj 37
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n37" targetname: "n36" label: "0" class:1  priority:50}
 node: {title: "n36" label: "Cmp 36"  info1: "Cmp 36
   mode:    T
@@ -350,6 +436,19 @@ edge: {sourcename: "n36" targetname: "n33" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n21"  label: "Block 21" status:clustered color:yellow
+ info1: "Block 21
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop1
+  arity:   1
+  pred nodes:
+     0:    Proj 25
+  Private Attributes:
+  backedges:
+  in loop 128 with depth 0
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n21" targetname: "n25" label: "0" class:13 priority:60 color:red}
 node: {title: "n28" label: "ProjM 1 28"  info1: "Proj 28
   mode:    M
@@ -362,7 +461,7 @@ node: {title: "n28" label: "ProjM 1 28"  info1: "Proj 28
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n28" targetname: "n22" label: "0" class:17 priority:10 color:blue}
 node: {title: "n33" label: "0x1Is 33"  info1: "0x1 33
   mode:    Is
@@ -374,7 +473,7 @@ node: {title: "n33" label: "0x1Is 33"  info1: "0x1 33
   Private Attributes:
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 node: {title: "n32" label: "0x0Is 32"  info1: "0x0 32
   mode:    Is
   visited: 6
@@ -385,7 +484,7 @@ node: {title: "n32" label: "0x0Is 32"  info1: "0x0 32
   Private Attributes:
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 node: {title: "n34" label: "0x2Is 34"  info1: "0x2 34
   mode:    Is
   visited: 6
@@ -396,7 +495,7 @@ node: {title: "n34" label: "0x2Is 34"  info1: "0x2 34
   Private Attributes:
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 node: {title: "n25" label: "ProjX X_initial_exec 25"  info1: "Proj 25
   mode:    X
   visited: 6
@@ -408,7 +507,7 @@ node: {title: "n25" label: "ProjX X_initial_exec 25"  info1: "Proj 25
   Private Attributes:
   proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n25" targetname: "n22" label: "0" class:13 priority:60 color:red}
 node: {title: "n22" label: "Start 22"  info1: "Start 22
   mode:    T
@@ -420,7 +519,7 @@ node: {title: "n22" label: "Start 22"  info1: "Start 22
   Private Attributes:
   start of method of type METH_TP_NOARG_NORES
 "
-color: blue}
+color:blue}
 }
 
 }