- improved doxygen comments about edges_activate() and the dep API

[libfirm] / testprograms / ref-results / STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg
index c1707bd..b5fa5be 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.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"
@@ -104,7 +105,7 @@ node: {title: "n120" label: "PhiM 120"  info1: "Phi 120
   backedges:
   in loop 532 with depth 1
 "
-color: green}
+color:green}
 edge: {sourcename: "n120" targetname: "n91" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n120" targetname: "n112" label: "1" class:17 priority:10 color:blue}
 node: {title: "n560" label: "PhiP 560"  info1: "Phi 560
@@ -119,7 +120,7 @@ node: {title: "n560" label: "PhiP 560"  info1: "Phi 560
   Private Attributes:
   backedges:
 "
-color: green}
+color:green}
 edge: {sourcename: "n560" targetname: "n562" label: "0" class:16 priority:10}
 edge: {sourcename: "n560" targetname: "n561" label: "1" class:16 priority:10}
 node: {title: "n100" label: "Jmp 100"  info1: "Jmp 100
@@ -168,7 +169,7 @@ node: {title: "n91" label: "PhiM 91"  info1: "Phi 91
   backedges:
   in loop 529 with depth 1
 "
-color: green}
+color:green}
 edge: {sourcename: "n91" targetname: "n41" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n91" targetname: "n83" label: "1" class:17 priority:10 color:blue}
 node: {title: "n553" label: "PhiP 553"  info1: "Phi 553
@@ -183,7 +184,7 @@ node: {title: "n553" label: "PhiP 553"  info1: "Phi 553
   Private Attributes:
   backedges:
 "
-color: green}
+color:green}
 node: {title: "n553n62" label: "SymC &a2 62"  info1: "SymC &a2 62
   mode:    P
   visited: 36
@@ -213,7 +214,7 @@ node: {title: "n545" label: "PhiP 545"  info1: "Phi 545
   Private Attributes:
   backedges:
 "
-color: green}
+color:green}
 node: {title: "n545n61" label: "SymC &a 61"  info1: "SymC &a 61
   mode:    P
   visited: 36
@@ -283,7 +284,7 @@ node: {title: "n558n59" label: "0x4Is 59"  info1: "0x4 59
   in loop 526 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n558" targetname: "n558n59" label: "0" class:16 priority:10}
 edge: {sourcename: "n558" targetname: "n92" label: "1" class:1  priority:50}
 node: {title: "n55" label: "ProjX false 55"  info1: "Proj 55
@@ -298,7 +299,7 @@ node: {title: "n55" label: "ProjX false 55"  info1: "Proj 55
   proj nr: 0
   in loop 526 with depth 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n55" targetname: "n54" label: "0" class:13 priority:60 color:red}
 node: {title: "n56" label: "ProjX true 56"  info1: "Proj 56
   mode:    X
@@ -312,7 +313,7 @@ node: {title: "n56" label: "ProjX true 56"  info1: "Proj 56
   proj nr: 1
   in loop 528 with depth 2
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n56" targetname: "n54" label: "0" class:13 priority:60 color:red}
 node: {title: "n54" label: "Cond 54"  info1: "Cond 54
   mode:    T
@@ -341,7 +342,7 @@ node: {title: "n51" label: "Projb Le 51"  info1: "Proj 51
   proj nr: 3
   in loop 528 with depth 2
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n51" targetname: "n53" label: "0" class:1  priority:50}
 node: {title: "n53" label: "Cmp 53"  info1: "Cmp 53
   mode:    T
@@ -367,7 +368,7 @@ node: {title: "n53n52" label: "0x9Is 52"  info1: "0x9 52
   in loop 526 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n53" targetname: "n92" label: "0" class:1  priority:50}
 edge: {sourcename: "n53" targetname: "n53n52" label: "1" class:16 priority:10}
 node: {title: "n92" label: "PhiIs 92"  info1: "Phi 92
@@ -383,7 +384,7 @@ node: {title: "n92" label: "PhiIs 92"  info1: "Phi 92
   backedges:
   in loop 527 with depth 1
 "
-color: green}
+color:green}
 node: {title: "n92n45" label: "0x0Is 45"  info1: "0x0 45
   mode:    Is
   visited: 36
@@ -395,7 +396,7 @@ node: {title: "n92n45" label: "0x0Is 45"  info1: "0x0 45
   in loop 526 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n92" targetname: "n92n45" label: "0" class:16 priority:10}
 edge: {sourcename: "n92" targetname: "n84" label: "1" class:16 priority:10}
 }
@@ -461,7 +462,7 @@ node: {title: "n83" label: "ProjM M 83"  info1: "Proj 83
   proj nr: 0
   in loop 529 with depth 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n83" targetname: "n81" label: "0" class:17 priority:10 color:blue}
 node: {title: "n81" label: "Store 81"  info1: "Store 81
   mode:    T
@@ -490,7 +491,7 @@ node: {title: "n81n80" label: "0xFIs 80"  info1: "0xF 80
   in loop 526 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n81" targetname: "n76" label: "0" class:14 priority:50 color:blue}
 edge: {sourcename: "n81" targetname: "n545" label: "1" class:16 priority:10}
 edge: {sourcename: "n81" targetname: "n81n80" label: "2" class:16 priority:10}
@@ -506,7 +507,7 @@ node: {title: "n76" label: "ProjM M 76"  info1: "Proj 76
   proj nr: 0
   in loop 529 with depth 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n76" targetname: "n74" label: "0" class:17 priority:10 color:blue}
 node: {title: "n74" label: "Store 74"  info1: "Store 74
   mode:    T
@@ -535,7 +536,7 @@ node: {title: "n74n73" label: "0x10Is 73"  info1: "0x10 73
   in loop 526 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n74" targetname: "n72" label: "0" class:14 priority:50 color:blue}
 edge: {sourcename: "n74" targetname: "n553" label: "1" class:16 priority:10}
 edge: {sourcename: "n74" targetname: "n74n73" label: "2" class:16 priority:10}
@@ -551,7 +552,7 @@ node: {title: "n72" label: "ProjM M 72"  info1: "Proj 72
   proj nr: 0
   in loop 529 with depth 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n72" targetname: "n70" label: "0" class:17 priority:10 color:blue}
 node: {title: "n70" label: "Store 70"  info1: "Store 70
   mode:    T
@@ -580,7 +581,7 @@ node: {title: "n70n68" label: "0x13Is 68"  info1: "0x13 68
   in loop 526 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n70" targetname: "n91" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n70" targetname: "n545" label: "1" class:16 priority:10}
 edge: {sourcename: "n70" targetname: "n70n68" label: "2" class:16 priority:10}
@@ -607,7 +608,7 @@ node: {title: "n554n60" label: "0xCIs 60"  info1: "0xC 60
   in loop 526 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n554" targetname: "n554n60" label: "0" class:16 priority:10}
 edge: {sourcename: "n554" targetname: "n553" label: "1" class:16 priority:10}
 node: {title: "n546" label: "AddP 546"  info1: "Add 546
@@ -633,7 +634,7 @@ node: {title: "n546n59" label: "0x4Is 59"  info1: "0x4 59
   in loop 526 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n546" targetname: "n546n59" label: "0" class:16 priority:10}
 edge: {sourcename: "n546" targetname: "n545" label: "1" class:16 priority:10}
 node: {title: "n85" label: "Jmp 85"  info1: "Jmp 85
@@ -671,7 +672,7 @@ node: {title: "n84n58" label: "0x1Is 58"  info1: "0x1 58
   in loop 526 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n84" targetname: "n84n58" label: "0" class:16 priority:10}
 edge: {sourcename: "n84" targetname: "n92" label: "1" class:16 priority:10}
 }
@@ -706,7 +707,7 @@ node: {title: "n112" label: "ProjM M 112"  info1: "Proj 112
   proj nr: 0
   in loop 532 with depth 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n112" targetname: "n110" label: "0" class:17 priority:10 color:blue}
 node: {title: "n110" label: "Store 110"  info1: "Store 110
   mode:    T
@@ -735,7 +736,7 @@ node: {title: "n110n68" label: "0x13Is 68"  info1: "0x13 68
   in loop 526 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n110" targetname: "n120" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n110" targetname: "n560" label: "1" class:16 priority:10}
 edge: {sourcename: "n110" targetname: "n110n68" label: "2" class:16 priority:10}
@@ -761,7 +762,7 @@ node: {title: "n561n557" label: "0xFFFFFFFCIs 557"  info1: "0xFFFFFFFC 557
   Private Attributes:
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n561" targetname: "n561n557" label: "0" class:16 priority:10}
 edge: {sourcename: "n561" targetname: "n560" label: "1" class:16 priority:10}
 node: {title: "n114" label: "Jmp 114"  info1: "Jmp 114
@@ -808,7 +809,7 @@ node: {title: "n33" label: "End 33"  info1: "End 33
   Private Attributes:
   in loop 526 with depth 0
 "
-color: blue}
+color:blue}
 }
 node: {title: "n32n36" label: "Bad 36"  info1: "Bad 36
   mode:    T
@@ -853,7 +854,7 @@ node: {title: "n41" label: "ProjM 1 41"  info1: "Proj 41
   proj nr: 1
   in loop 526 with depth 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n41" targetname: "n35" label: "0" class:17 priority:10 color:blue}
 node: {title: "n38" label: "ProjX X_initial_exec 38"  info1: "Proj 38
   mode:    X
@@ -867,7 +868,7 @@ node: {title: "n38" label: "ProjX X_initial_exec 38"  info1: "Proj 38
   proj nr: 0
   in loop 526 with depth 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n38" targetname: "n35" label: "0" class:13 priority:60 color:red}
 node: {title: "n35" label: "Start 35"  info1: "Start 35
   mode:    T
@@ -881,7 +882,7 @@ node: {title: "n35" label: "Start 35"  info1: "Start 35
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "
-color: blue}
+color:blue}
 }
 
 }