X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=testprograms%2Fref-results%2FSTRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg;h=12f77c08da900d87042c82bde0dbe388559913f4;hb=1ec30d95387eb392ba5a1adc7958ebd91383d59c;hp=2a567d744e0df0a64b75b022681421de89bf938c;hpb=3ef164bbb027feb5995dbfbd49797a2798308c23;p=libfirm

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
index 2a567d744..12f77c08d 100644
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-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"
@@ -54,7 +55,40 @@ colorentry 124:  255 240  240
 colorentry 125:  255 250  250
 
 graph: { title: "g279" label: "STRENGTH_RED_EXAMPLE_m4" status:clustered color:white
+info1: "entity STRENGTH_RED_EXAMPLE_m4 (260)
+  type:  STRENGTH_RED_EXAMPLE_meth_tp (16)
+  owner: GlobalType (0)
+  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 &STRENGTH_RED_EXAMPLE_m4
+  volatility:  volatility_non_volatile
+  peculiarity: peculiarity_existent
+  ld_name: no yet set
+  offset:  -1 bits, -1 bytes
+  irg = 279
+
+"
 graph: { title: "n268"  label: "Block 268" status:clustered color:yellow
+ info1: "Block 268
+  mode:    BB
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+     0:    Return 321
+  Private Attributes:
+  backedges:
+  in loop 623 with depth 0
+  block visited: 2
+  dom depth 5
+  tree pre num 4
+  max subtree pre num 4
+  Execution freqency statistics:
+"
 edge: {sourcename: "n268" targetname: "n321" label: "0" class:13 priority:60 color:red}
 node: {title: "n269" label: "End 269"  info1: "End 269
   mode:    X
@@ -67,10 +101,26 @@ node: {title: "n269" label: "End 269"  info1: "End 269
   Private Attributes:
   in loop 607 with depth 0
 "
-color: blue}
+color:blue}
 }
 
 graph: { title: "n318"  label: "Block 318" status:clustered color:yellow
+ info1: "Block 318
+  mode:    BB
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+     0:    Proj 292
+  Private Attributes:
+  backedges:
+  in loop 623 with depth 0
+  block visited: 2
+  dom depth 4
+  tree pre num 3
+  max subtree pre num 4
+  Execution freqency statistics:
+"
 edge: {sourcename: "n318" targetname: "n292" label: "0" class:13 priority:60 color:red}
 node: {title: "n321" label: "Return 321"  info1: "Return 321
   mode:    X
@@ -98,12 +148,29 @@ node: {title: "n321n296" label: "0x4Is 296"  info1: "0x4 296
   in loop 607 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n321" targetname: "n325" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n321" targetname: "n321n296" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n284"  label: "Block 284" status:clustered color:yellow
+ info1: "Block 284
+  mode:    BB
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   2
+  pred nodes:
+     0:    Jmp 283
+     1: be Jmp 312
+  Private Attributes:
+  backedges:  1
+  in loop 624 with depth 1
+  block visited: 2
+  dom depth 3
+  tree pre num 2
+  max subtree pre num 5
+  Execution freqency statistics:
+"
 edge: {sourcename: "n284" targetname: "n283" label: "0" class:13 priority:60 color:red}
 backedge: {sourcename: "n284" targetname: "n312" label: "1" linestyle:dashed class:13 priority:60 color:red}
 node: {title: "n325" label: "PhiM 325"  info1: "Phi 325
@@ -119,7 +186,7 @@ node: {title: "n325" label: "PhiM 325"  info1: "Phi 325
   backedges:
   in loop 610 with depth 1
 "
-color: green}
+color:green}
 edge: {sourcename: "n325" targetname: "n277" label: "0" class:17 priority:10 color:blue}
 edge: {sourcename: "n325" targetname: "n311" label: "1" class:17 priority:10 color:blue}
 node: {title: "n630" label: "PhiIs 630"  info1: "Phi 630
@@ -134,7 +201,7 @@ node: {title: "n630" label: "PhiIs 630"  info1: "Phi 630
   Private Attributes:
   backedges:
 "
-color: green}
+color:green}
 node: {title: "n630n281" label: "0x0Is 281"  info1: "0x0 281
   mode:    Is
   visited: 31
@@ -146,7 +213,7 @@ node: {title: "n630n281" label: "0x0Is 281"  info1: "0x0 281
   in loop 607 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n630" targetname: "n630n281" label: "0" class:16 priority:10}
 edge: {sourcename: "n630" targetname: "n631" label: "1" class:16 priority:10}
 node: {title: "n637" label: "PhiIs 637"  info1: "Phi 637
@@ -161,7 +228,7 @@ node: {title: "n637" label: "PhiIs 637"  info1: "Phi 637
   Private Attributes:
   backedges:
 "
-color: green}
+color:green}
 node: {title: "n637n281" label: "0x0Is 281"  info1: "0x0 281
   mode:    Is
   visited: 31
@@ -173,7 +240,7 @@ node: {title: "n637n281" label: "0x0Is 281"  info1: "0x0 281
   in loop 607 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n637" targetname: "n637n281" label: "0" class:16 priority:10}
 edge: {sourcename: "n637" targetname: "n638" label: "1" class:16 priority:10}
 node: {title: "n292" label: "ProjX false 292"  info1: "Proj 292
@@ -188,7 +255,7 @@ node: {title: "n292" label: "ProjX false 292"  info1: "Proj 292
   proj nr: 0
   in loop 607 with depth 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n292" targetname: "n291" label: "0" class:13 priority:60 color:red}
 node: {title: "n293" label: "ProjX true 293"  info1: "Proj 293
   mode:    X
@@ -202,7 +269,7 @@ node: {title: "n293" label: "ProjX true 293"  info1: "Proj 293
   proj nr: 1
   in loop 609 with depth 2
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n293" targetname: "n291" label: "0" class:13 priority:60 color:red}
 node: {title: "n291" label: "Cond 291"  info1: "Cond 291
   mode:    T
@@ -231,7 +298,7 @@ node: {title: "n288" label: "Projb Le 288"  info1: "Proj 288
   proj nr: 3
   in loop 609 with depth 2
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n288" targetname: "n290" label: "0" class:1  priority:50}
 node: {title: "n290" label: "Cmp 290"  info1: "Cmp 290
   mode:    T
@@ -257,7 +324,7 @@ node: {title: "n290n289" label: "0x9Is 289"  info1: "0x9 289
   in loop 607 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n290" targetname: "n326" label: "0" class:1  priority:50}
 edge: {sourcename: "n290" targetname: "n290n289" label: "1" class:16 priority:10}
 node: {title: "n326" label: "PhiIs 326"  info1: "Phi 326
@@ -273,7 +340,7 @@ node: {title: "n326" label: "PhiIs 326"  info1: "Phi 326
   backedges:
   in loop 608 with depth 1
 "
-color: green}
+color:green}
 node: {title: "n326n281" label: "0x0Is 281"  info1: "0x0 281
   mode:    Is
   visited: 31
@@ -285,12 +352,28 @@ node: {title: "n326n281" label: "0x0Is 281"  info1: "0x0 281
   in loop 607 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n326" targetname: "n326n281" label: "0" class:16 priority:10}
 edge: {sourcename: "n326" targetname: "n299" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n280"  label: "Block 280" status:clustered color:yellow
+ info1: "Block 280
+  mode:    BB
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+     0:    Proj 274
+  Private Attributes:
+  backedges:
+  in loop 623 with depth 0
+  block visited: 2
+  dom depth 2
+  tree pre num 1
+  max subtree pre num 5
+  Execution freqency statistics:
+"
 edge: {sourcename: "n280" targetname: "n274" label: "0" class:13 priority:60 color:red}
 node: {title: "n283" label: "Jmp 283"  info1: "Jmp 283
   mode:    X
@@ -306,6 +389,22 @@ node: {title: "n283" label: "Jmp 283"  info1: "Jmp 283
 }
 
 graph: { title: "n294"  label: "Block 294" status:clustered color:yellow
+ info1: "Block 294
+  mode:    BB
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+     0:    Proj 293
+  Private Attributes:
+  backedges:
+  in loop 624 with depth 1
+  block visited: 2
+  dom depth 4
+  tree pre num 5
+  max subtree pre num 5
+  Execution freqency statistics:
+"
 edge: {sourcename: "n294" targetname: "n293" label: "0" class:13 priority:60 color:red}
 node: {title: "n311" label: "ProjM M 311"  info1: "Proj 311
   mode:    M
@@ -319,7 +418,7 @@ node: {title: "n311" label: "ProjM M 311"  info1: "Proj 311
   proj nr: 0
   in loop 610 with depth 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n311" targetname: "n309" label: "0" class:17 priority:10 color:blue}
 node: {title: "n309" label: "Store 309"  info1: "Store 309
   mode:    T
@@ -352,7 +451,7 @@ node: {title: "n306" label: "ProjM M 306"  info1: "Proj 306
   proj nr: 0
   in loop 610 with depth 1
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n306" targetname: "n304" label: "0" class:17 priority:10 color:blue}
 node: {title: "n304" label: "Store 304"  info1: "Store 304
   mode:    T
@@ -410,7 +509,7 @@ node: {title: "n631n297" label: "0x8Is 297"  info1: "0x8 297
   in loop 607 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n631" targetname: "n631n297" label: "0" class:16 priority:10}
 edge: {sourcename: "n631" targetname: "n630" label: "1" class:16 priority:10}
 node: {title: "n621" label: "AddP 621"  info1: "Add 621
@@ -451,7 +550,7 @@ node: {title: "n621n297" label: "0x8Is 297"  info1: "0x8 297
   in loop 607 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n621" targetname: "n621n282" label: "0" class:16 priority:10}
 edge: {sourcename: "n621" targetname: "n621n297" label: "1" class:16 priority:10}
 node: {title: "n616" label: "AddP 616"  info1: "Add 616
@@ -491,7 +590,7 @@ node: {title: "n638n296" label: "0x4Is 296"  info1: "0x4 296
   in loop 607 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n638" targetname: "n638n296" label: "0" class:16 priority:10}
 edge: {sourcename: "n638" targetname: "n637" label: "1" class:16 priority:10}
 node: {title: "n615" label: "AddP 615"  info1: "Add 615
@@ -532,7 +631,7 @@ node: {title: "n615n296" label: "0x4Is 296"  info1: "0x4 296
   in loop 607 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n615" targetname: "n615n282" label: "0" class:16 priority:10}
 edge: {sourcename: "n615" targetname: "n615n296" label: "1" class:16 priority:10}
 node: {title: "n312" label: "Jmp 312"  info1: "Jmp 312
@@ -570,12 +669,28 @@ node: {title: "n299n295" label: "0x1Is 295"  info1: "0x1 295
   in loop 607 with depth 0
   Const of type type_unknown
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n299" targetname: "n299n295" label: "0" class:16 priority:10}
 edge: {sourcename: "n299" targetname: "n326" label: "1" class:16 priority:10}
 }
 
 graph: { title: "n270"  label: "Block 270" status:clustered color:yellow
+ info1: "Block 270
+  mode:    BB
+  visited: 31
+  irg:     STRENGTH_RED_EXAMPLE_m4
+  arity:   1
+  pred nodes:
+     0:    Proj 274
+  Private Attributes:
+  backedges:
+  in loop 623 with depth 0
+  block visited: 2
+  dom depth 1
+  tree pre num 0
+  max subtree pre num 5
+  Execution freqency statistics:
+"
 edge: {sourcename: "n270" targetname: "n274" label: "0" class:13 priority:60 color:red}
 node: {title: "n277" label: "ProjM 1 277"  info1: "Proj 277
   mode:    M
@@ -589,7 +704,7 @@ node: {title: "n277" label: "ProjM 1 277"  info1: "Proj 277
   proj nr: 1
   in loop 607 with depth 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n277" targetname: "n271" label: "0" class:17 priority:10 color:blue}
 node: {title: "n274" label: "ProjX X_initial_exec 274"  info1: "Proj 274
   mode:    X
@@ -603,7 +718,7 @@ node: {title: "n274" label: "ProjX X_initial_exec 274"  info1: "Proj 274
   proj nr: 0
   in loop 607 with depth 0
 "
-color: yellow}
+color:yellow}
 edge: {sourcename: "n274" targetname: "n271" label: "0" class:13 priority:60 color:red}
 node: {title: "n271" label: "Start 271"  info1: "Start 271
   mode:    T
@@ -617,7 +732,7 @@ node: {title: "n271" label: "Start 271"  info1: "Start 271
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "
-color: blue}
+color:blue}
 }
 
 }