X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fref-results%2FIRR_LOOP_loop2.vcg;h=e67d053e271d7fc9bf9f14530b22f7e1083eaf45;hb=be375dcbb1195db1ed6a7ea7e4787456fb1d7b4f;hp=7f3a1aed321cd05bc614f633a2d942d7bbdf7679;hpb=d6c875a5bfb0c475accbaa5007dfcb56c2b5fa8f;p=libfirm

diff --git a/testprograms/ref-results/IRR_LOOP_loop2.vcg b/testprograms/ref-results/IRR_LOOP_loop2.vcg
index 7f3a1aed3..e67d053e2 100644
--- a/testprograms/ref-results/IRR_LOOP_loop2.vcg
+++ b/testprograms/ref-results/IRR_LOOP_loop2.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: "g77" label: "IRR_LOOP_loop2" status:clustered color:white
+info1: "entity loop2 (64)
+  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 &loop2
+  volatility:  volatility_non_volatile
+  peculiarity: peculiarity_existent
+  ld_name: IRR_LOOP_loop2
+  offset:  -1 bits, -1 bytes
+  irg = 77
+
+"
 graph: { title: "n66"  label: "Block 66" status:clustered color:yellow
+ info1: "Block 66
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop2
+  arity:   1
+  pred nodes:
+     0:    Return 116
+  Private Attributes:
+  backedges:
+  in loop 130 with depth 0
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n66" targetname: "n116" label: "0" class:13 priority:60 color:red}
 node: {title: "n67" label: "End 67"  info1: "End 67
   mode:    X
@@ -69,10 +100,24 @@ node: {title: "n67" label: "End 67"  info1: "End 67
      3:    Phi 127
   Private Attributes:
 "
-color: blue}
+color:blue}
 }
 
 graph: { title: "n114"  label: "Block 114" status:clustered color:yellow
+ info1: "Block 114
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop2
+  arity:   2
+  pred nodes:
+     0:    Proj 100
+     1:    Proj 112
+  Private Attributes:
+  backedges:
+  in loop 130 with depth 0
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n114" targetname: "n100" label: "0" class:13 priority:60 color:red}
 edge: {sourcename: "n114" targetname: "n112" label: "1" class:13 priority:60 color:red}
 node: {title: "n116" label: "Return 116"  info1: "Return 116
@@ -100,12 +145,26 @@ node: {title: "n127" label: "PhiM 127"  info1: "Phi 127
   Private Attributes:
   backedges:
 "
-color: green}
+color:green}
 edge: {sourcename: "n127" targetname: "n126" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n127" targetname: "n124" label: "1" class:17 priority:10 color:blue}
 }
 
 graph: { title: "n108"  label: "Block 108" status:clustered color:yellow
+ info1: "Block 108
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop2
+  arity:   2
+  pred nodes:
+     0:    Proj 88
+     1: be Proj 106
+  Private Attributes:
+  backedges:  1
+  in loop 131 with depth 1
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n108" targetname: "n88" label: "0" class:13 priority:60 color:red}
 backedge: {sourcename: "n108" targetname: "n106" label: "1" linestyle:dashed class:13 priority:60 color:red}
 node: {title: "n124" label: "PhiM 124"  info1: "Phi 124
@@ -120,7 +179,7 @@ node: {title: "n124" label: "PhiM 124"  info1: "Phi 124
   Private Attributes:
   backedges:
 "
-color: green}
+color:green}
 edge: {sourcename: "n124" targetname: "n75" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n124" targetname: "n125" label: "1" class:17 priority:10 color:blue}
 node: {title: "n112" label: "ProjX false 112"  info1: "Proj 112
@@ -134,7 +193,7 @@ node: {title: "n112" label: "ProjX false 112"  info1: "Proj 112
   Private Attributes:
   proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n112" targetname: "n111" label: "0" class:13 priority:60 color:red}
 node: {title: "n113" label: "ProjX true 113"  info1: "Proj 113
   mode:    X
@@ -147,7 +206,7 @@ node: {title: "n113" label: "ProjX true 113"  info1: "Proj 113
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n113" targetname: "n111" label: "0" class:13 priority:60 color:red}
 node: {title: "n111" label: "Cond 111"  info1: "Cond 111
   mode:    T
@@ -174,7 +233,7 @@ node: {title: "n110" label: "Projb Eq 110"  info1: "Proj 110
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n110" targetname: "n109" label: "0" class:1  priority:50}
 node: {title: "n109" label: "Cmp 109"  info1: "Cmp 109
   mode:    T
@@ -193,6 +252,21 @@ edge: {sourcename: "n109" targetname: "n83" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n102"  label: "Block 102" status:clustered color:yellow
+ info1: "Block 102
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop2
+  arity:   3
+  pred nodes:
+     0:    Proj 94
+     1:    Proj 101
+     2:    Proj 113
+  Private Attributes:
+  backedges:
+  in loop 132 with depth 2
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n102" targetname: "n94" label: "0" class:13 priority:60 color:red}
 edge: {sourcename: "n102" targetname: "n101" label: "1" class:13 priority:60 color:red}
 edge: {sourcename: "n102" targetname: "n113" label: "2" class:13 priority:60 color:red}
@@ -209,7 +283,7 @@ node: {title: "n125" label: "PhiM 125"  info1: "Phi 125
   Private Attributes:
   backedges:
 "
-color: green}
+color:green}
 edge: {sourcename: "n125" targetname: "n75" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n125" targetname: "n126" label: "1" class:17 priority:10 color:blue}
 edge: {sourcename: "n125" targetname: "n124" label: "2" class:17 priority:10 color:blue}
@@ -224,7 +298,7 @@ node: {title: "n106" label: "ProjX false 106"  info1: "Proj 106
   Private Attributes:
   proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n106" targetname: "n105" label: "0" class:13 priority:60 color:red}
 node: {title: "n107" label: "ProjX true 107"  info1: "Proj 107
   mode:    X
@@ -237,7 +311,7 @@ node: {title: "n107" label: "ProjX true 107"  info1: "Proj 107
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n107" targetname: "n105" label: "0" class:13 priority:60 color:red}
 node: {title: "n105" label: "Cond 105"  info1: "Cond 105
   mode:    T
@@ -264,7 +338,7 @@ node: {title: "n104" label: "Projb Eq 104"  info1: "Proj 104
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n104" targetname: "n103" label: "0" class:1  priority:50}
 node: {title: "n103" label: "Cmp 103"  info1: "Cmp 103
   mode:    T
@@ -283,6 +357,20 @@ edge: {sourcename: "n103" targetname: "n82" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n96"  label: "Block 96" status:clustered color:yellow
+ info1: "Block 96
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop2
+  arity:   2
+  pred nodes:
+     0:    Proj 95
+     1: be Proj 107
+  Private Attributes:
+  backedges:  1
+  in loop 132 with depth 2
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n96" targetname: "n95" label: "0" class:13 priority:60 color:red}
 backedge: {sourcename: "n96" targetname: "n107" label: "1" linestyle:dashed class:13 priority:60 color:red}
 node: {title: "n126" label: "PhiM 126"  info1: "Phi 126
@@ -297,7 +385,7 @@ node: {title: "n126" label: "PhiM 126"  info1: "Phi 126
   Private Attributes:
   backedges:
 "
-color: green}
+color:green}
 edge: {sourcename: "n126" targetname: "n75" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n126" targetname: "n125" label: "1" class:17 priority:10 color:blue}
 node: {title: "n100" label: "ProjX false 100"  info1: "Proj 100
@@ -311,7 +399,7 @@ node: {title: "n100" label: "ProjX false 100"  info1: "Proj 100
   Private Attributes:
   proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n100" targetname: "n99" label: "0" class:13 priority:60 color:red}
 node: {title: "n101" label: "ProjX true 101"  info1: "Proj 101
   mode:    X
@@ -324,7 +412,7 @@ node: {title: "n101" label: "ProjX true 101"  info1: "Proj 101
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n101" targetname: "n99" label: "0" class:13 priority:60 color:red}
 node: {title: "n99" label: "Cond 99"  info1: "Cond 99
   mode:    T
@@ -351,7 +439,7 @@ node: {title: "n98" label: "Projb Eq 98"  info1: "Proj 98
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n98" targetname: "n97" label: "0" class:1  priority:50}
 node: {title: "n97" label: "Cmp 97"  info1: "Cmp 97
   mode:    T
@@ -370,6 +458,19 @@ edge: {sourcename: "n97" targetname: "n81" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n90"  label: "Block 90" status:clustered color:yellow
+ info1: "Block 90
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop2
+  arity:   1
+  pred nodes:
+     0:    Proj 89
+  Private Attributes:
+  backedges:
+  in loop 130 with depth 0
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n90" targetname: "n89" label: "0" class:13 priority:60 color:red}
 node: {title: "n94" label: "ProjX false 94"  info1: "Proj 94
   mode:    X
@@ -382,7 +483,7 @@ node: {title: "n94" label: "ProjX false 94"  info1: "Proj 94
   Private Attributes:
   proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n94" targetname: "n93" label: "0" class:13 priority:60 color:red}
 node: {title: "n95" label: "ProjX true 95"  info1: "Proj 95
   mode:    X
@@ -395,7 +496,7 @@ node: {title: "n95" label: "ProjX true 95"  info1: "Proj 95
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n95" targetname: "n93" label: "0" class:13 priority:60 color:red}
 node: {title: "n93" label: "Cond 93"  info1: "Cond 93
   mode:    T
@@ -422,7 +523,7 @@ node: {title: "n92" label: "Projb Eq 92"  info1: "Proj 92
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n92" targetname: "n91" label: "0" class:1  priority:50}
 node: {title: "n91" label: "Cmp 91"  info1: "Cmp 91
   mode:    T
@@ -441,6 +542,19 @@ edge: {sourcename: "n91" targetname: "n84" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n78"  label: "Block 78" status:clustered color:yellow
+ info1: "Block 78
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop2
+  arity:   1
+  pred nodes:
+     0:    Proj 72
+  Private Attributes:
+  backedges:
+  in loop 130 with depth 0
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n78" targetname: "n72" label: "0" class:13 priority:60 color:red}
 node: {title: "n88" label: "ProjX false 88"  info1: "Proj 88
   mode:    X
@@ -453,7 +567,7 @@ node: {title: "n88" label: "ProjX false 88"  info1: "Proj 88
   Private Attributes:
   proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n88" targetname: "n87" label: "0" class:13 priority:60 color:red}
 node: {title: "n89" label: "ProjX true 89"  info1: "Proj 89
   mode:    X
@@ -466,7 +580,7 @@ node: {title: "n89" label: "ProjX true 89"  info1: "Proj 89
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n89" targetname: "n87" label: "0" class:13 priority:60 color:red}
 node: {title: "n87" label: "Cond 87"  info1: "Cond 87
   mode:    T
@@ -493,7 +607,7 @@ node: {title: "n86" label: "Projb Eq 86"  info1: "Proj 86
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n86" targetname: "n85" label: "0" class:1  priority:50}
 node: {title: "n85" label: "Cmp 85"  info1: "Cmp 85
   mode:    T
@@ -512,6 +626,19 @@ edge: {sourcename: "n85" targetname: "n80" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n68"  label: "Block 68" status:clustered color:yellow
+ info1: "Block 68
+  mode:    BB
+  visited: 6
+  irg:     IRR_LOOP_loop2
+  arity:   1
+  pred nodes:
+     0:    Proj 72
+  Private Attributes:
+  backedges:
+  in loop 130 with depth 0
+  block visited: 0
+  Execution freqency statistics:
+"
 edge: {sourcename: "n68" targetname: "n72" label: "0" class:13 priority:60 color:red}
 node: {title: "n75" label: "ProjM 1 75"  info1: "Proj 75
   mode:    M
@@ -524,7 +651,7 @@ node: {title: "n75" label: "ProjM 1 75"  info1: "Proj 75
   Private Attributes:
   proj nr: 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n75" targetname: "n69" label: "0" class:17 priority:10 color:blue}
 node: {title: "n81" label: "0x2Is 81"  info1: "0x2 81
   mode:    Is
@@ -536,7 +663,7 @@ node: {title: "n81" label: "0x2Is 81"  info1: "0x2 81
   Private Attributes:
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 node: {title: "n84" label: "0x5Is 84"  info1: "0x5 84
   mode:    Is
   visited: 6
@@ -547,7 +674,7 @@ node: {title: "n84" label: "0x5Is 84"  info1: "0x5 84
   Private Attributes:
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 node: {title: "n80" label: "0x1Is 80"  info1: "0x1 80
   mode:    Is
   visited: 6
@@ -558,7 +685,7 @@ node: {title: "n80" label: "0x1Is 80"  info1: "0x1 80
   Private Attributes:
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 node: {title: "n82" label: "0x3Is 82"  info1: "0x3 82
   mode:    Is
   visited: 6
@@ -569,7 +696,7 @@ node: {title: "n82" label: "0x3Is 82"  info1: "0x3 82
   Private Attributes:
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 node: {title: "n79" label: "0x0Is 79"  info1: "0x0 79
   mode:    Is
   visited: 6
@@ -580,7 +707,7 @@ node: {title: "n79" label: "0x0Is 79"  info1: "0x0 79
   Private Attributes:
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 node: {title: "n83" label: "0x4Is 83"  info1: "0x4 83
   mode:    Is
   visited: 6
@@ -591,7 +718,7 @@ node: {title: "n83" label: "0x4Is 83"  info1: "0x4 83
   Private Attributes:
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 node: {title: "n72" label: "ProjX X_initial_exec 72"  info1: "Proj 72
   mode:    X
   visited: 6
@@ -603,7 +730,7 @@ node: {title: "n72" label: "ProjX X_initial_exec 72"  info1: "Proj 72
   Private Attributes:
   proj nr: 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n72" targetname: "n69" label: "0" class:13 priority:60 color:red}
 node: {title: "n69" label: "Start 69"  info1: "Start 69
   mode:    T
@@ -615,7 +742,7 @@ node: {title: "n69" label: "Start 69"  info1: "Start 69
   Private Attributes:
   start of method of type METH_TP_NOARG_NORES
 "
-color: blue}
+color:blue}
 }
 
 }