Visit count is one less yet

[r5904]

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 15c634c..8fc73f3 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg
@@ -58,7 +58,7 @@ edge: {sourcename: "n95" targetname: "n57" label: "0" class:13 priority:60 color
 backedge: {sourcename: "n95" targetname: "n116" label: "1" linestyle:dashed class:13 priority:60 color:red}
 node: {title: "n122" label: "PhiM 122"  info1: "Phi 122
   mode:    M
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   2
   pred nodes:
@@ -74,7 +74,7 @@ edge: {sourcename: "n122" targetname: "n93" label: "0" class:17 priority:10 colo
 edge: {sourcename: "n122" targetname: "n114" label: "1" class:17 priority:10 color:blue}
 node: {title: "n568" label: "PhiP 568"  info1: "Phi 568
   mode:    P
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   2
   pred nodes:
@@ -89,7 +89,7 @@ edge: {sourcename: "n568" targetname: "n570" label: "0" class:16 priority:10}
 edge: {sourcename: "n568" targetname: "n569" label: "1" class:16 priority:10}
 node: {title: "n566" label: "MulIs 566"  info1: "Mul 566
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   2
   pred nodes:
@@ -101,7 +101,7 @@ node: {title: "n566" label: "MulIs 566"  info1: "Mul 566
 }
 node: {title: "n566n61" label: "0x4Is 61"  info1: "0x4 61
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -115,7 +115,7 @@ edge: {sourcename: "n566" targetname: "n566n61" label: "0" class:16 priority:10}
 edge: {sourcename: "n566" targetname: "n94" label: "1" class:16 priority:10}
 node: {title: "n102" label: "Jmp 102"  info1: "Jmp 102
   mode:    X
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -131,7 +131,7 @@ edge: {sourcename: "n49" targetname: "n48" label: "0" class:13 priority:60 color
 backedge: {sourcename: "n49" targetname: "n87" label: "1" linestyle:dashed class:13 priority:60 color:red}
 node: {title: "n93" label: "PhiM 93"  info1: "Phi 93
   mode:    M
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   2
   pred nodes:
@@ -147,7 +147,7 @@ edge: {sourcename: "n93" targetname: "n43" label: "0" class:17 priority:10 color
 edge: {sourcename: "n93" targetname: "n85" label: "1" class:17 priority:10 color:blue}
 node: {title: "n561" label: "PhiP 561"  info1: "Phi 561
   mode:    P
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   2
   pred nodes:
@@ -160,7 +160,7 @@ node: {title: "n561" label: "PhiP 561"  info1: "Phi 561
 color: green}
 node: {title: "n561n64" label: "SymC &a2 64"  info1: "SymC &a2 64
   mode:    P
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -177,7 +177,7 @@ edge: {sourcename: "n561" targetname: "n561n64" label: "0" class:16 priority:10}
 edge: {sourcename: "n561" targetname: "n562" label: "1" class:16 priority:10}
 node: {title: "n553" label: "PhiP 553"  info1: "Phi 553
   mode:    P
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   2
   pred nodes:
@@ -190,7 +190,7 @@ node: {title: "n553" label: "PhiP 553"  info1: "Phi 553
 color: green}
 node: {title: "n553n63" label: "SymC &a 63"  info1: "SymC &a 63
   mode:    P
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -207,7 +207,7 @@ edge: {sourcename: "n553" targetname: "n553n63" label: "0" class:16 priority:10}
 edge: {sourcename: "n553" targetname: "n554" label: "1" class:16 priority:10}
 node: {title: "n570" label: "AddP 570"  info1: "Add 570
   mode:    P
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   2
   pred nodes:
@@ -219,7 +219,7 @@ node: {title: "n570" label: "AddP 570"  info1: "Add 570
 }
 node: {title: "n570n63" label: "SymC &a 63"  info1: "SymC &a 63
   mode:    P
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -236,7 +236,7 @@ edge: {sourcename: "n570" targetname: "n570n63" label: "0" class:16 priority:10}
 edge: {sourcename: "n570" targetname: "n566" label: "1" class:16 priority:10}
 node: {title: "n57" label: "ProjX 0 57"  info1: "Proj 57
   mode:    X
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   1
   pred nodes:
@@ -249,7 +249,7 @@ color: yellow}
 edge: {sourcename: "n57" targetname: "n56" label: "0" class:13 priority:60 color:red}
 node: {title: "n58" label: "ProjX 1 58"  info1: "Proj 58
   mode:    X
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   1
   pred nodes:
@@ -262,7 +262,7 @@ color: yellow}
 edge: {sourcename: "n58" targetname: "n56" label: "0" class:13 priority:60 color:red}
 node: {title: "n56" label: "Cond 56"  info1: "Cond 56
   mode:    T
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   1
   pred nodes:
@@ -277,7 +277,7 @@ node: {title: "n56" label: "Cond 56"  info1: "Cond 56
 edge: {sourcename: "n56" targetname: "n53" label: "0" class:1  priority:50}
 node: {title: "n53" label: "Projb Le 53"  info1: "Proj 53
   mode:    b
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   1
   pred nodes:
@@ -290,7 +290,7 @@ color: yellow}
 edge: {sourcename: "n53" targetname: "n55" label: "0" class:1  priority:50}
 node: {title: "n55" label: "Cmp 55"  info1: "Cmp 55
   mode:    T
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   2
   pred nodes:
@@ -303,7 +303,7 @@ node: {title: "n55" label: "Cmp 55"  info1: "Cmp 55
 }
 node: {title: "n55n54" label: "0x9Is 54"  info1: "0x9 54
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -317,7 +317,7 @@ edge: {sourcename: "n55" targetname: "n94" label: "0" class:1  priority:50}
 edge: {sourcename: "n55" targetname: "n55n54" label: "1" class:16 priority:10}
 node: {title: "n94" label: "PhiIs 94"  info1: "Phi 94
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   2
   pred nodes:
@@ -331,7 +331,7 @@ node: {title: "n94" label: "PhiIs 94"  info1: "Phi 94
 color: green}
 node: {title: "n94n47" label: "0x0Is 47"  info1: "0x0 47
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -349,7 +349,7 @@ graph: { title: "n46"  label: "Block 46" status:clustered color:yellow
 edge: {sourcename: "n46" targetname: "n40" label: "0" class:13 priority:60 color:red}
 node: {title: "n48" label: "Jmp 48"  info1: "Jmp 48
   mode:    X
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -364,7 +364,7 @@ graph: { title: "n59"  label: "Block 59" status:clustered color:yellow
 edge: {sourcename: "n59" targetname: "n58" label: "0" class:13 priority:60 color:red}
 node: {title: "n85" label: "ProjM 0 85"  info1: "Proj 85
   mode:    M
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   1
   pred nodes:
@@ -377,7 +377,7 @@ color: yellow}
 edge: {sourcename: "n85" targetname: "n83" label: "0" class:17 priority:10 color:blue}
 node: {title: "n83" label: "Store 83"  info1: "Store 83
   mode:    T
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   3
   pred nodes:
@@ -393,7 +393,7 @@ node: {title: "n83" label: "Store 83"  info1: "Store 83
 }
 node: {title: "n83n82" label: "0xFIs 82"  info1: "0xF 82
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -408,7 +408,7 @@ edge: {sourcename: "n83" targetname: "n553" label: "1" class:16 priority:10}
 edge: {sourcename: "n83" targetname: "n83n82" label: "2" class:16 priority:10}
 node: {title: "n78" label: "ProjM 0 78"  info1: "Proj 78
   mode:    M
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   1
   pred nodes:
@@ -421,7 +421,7 @@ color: yellow}
 edge: {sourcename: "n78" targetname: "n76" label: "0" class:17 priority:10 color:blue}
 node: {title: "n76" label: "Store 76"  info1: "Store 76
   mode:    T
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   3
   pred nodes:
@@ -437,7 +437,7 @@ node: {title: "n76" label: "Store 76"  info1: "Store 76
 }
 node: {title: "n76n75" label: "0x10Is 75"  info1: "0x10 75
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -452,7 +452,7 @@ edge: {sourcename: "n76" targetname: "n561" label: "1" class:16 priority:10}
 edge: {sourcename: "n76" targetname: "n76n75" label: "2" class:16 priority:10}
 node: {title: "n74" label: "ProjM 0 74"  info1: "Proj 74
   mode:    M
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   1
   pred nodes:
@@ -465,7 +465,7 @@ color: yellow}
 edge: {sourcename: "n74" targetname: "n72" label: "0" class:17 priority:10 color:blue}
 node: {title: "n72" label: "Store 72"  info1: "Store 72
   mode:    T
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   3
   pred nodes:
@@ -481,7 +481,7 @@ node: {title: "n72" label: "Store 72"  info1: "Store 72
 }
 node: {title: "n72n70" label: "0x13Is 70"  info1: "0x13 70
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -496,7 +496,7 @@ edge: {sourcename: "n72" targetname: "n553" label: "1" class:16 priority:10}
 edge: {sourcename: "n72" targetname: "n72n70" label: "2" class:16 priority:10}
 node: {title: "n562" label: "AddP 562"  info1: "Add 562
   mode:    P
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   2
   pred nodes:
@@ -508,7 +508,7 @@ node: {title: "n562" label: "AddP 562"  info1: "Add 562
 }
 node: {title: "n562n62" label: "0xCIs 62"  info1: "0xC 62
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -522,7 +522,7 @@ edge: {sourcename: "n562" targetname: "n562n62" label: "0" class:16 priority:10}
 edge: {sourcename: "n562" targetname: "n561" label: "1" class:16 priority:10}
 node: {title: "n554" label: "AddP 554"  info1: "Add 554
   mode:    P
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   2
   pred nodes:
@@ -534,7 +534,7 @@ node: {title: "n554" label: "AddP 554"  info1: "Add 554
 }
 node: {title: "n554n61" label: "0x4Is 61"  info1: "0x4 61
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -548,7 +548,7 @@ edge: {sourcename: "n554" targetname: "n554n61" label: "0" class:16 priority:10}
 edge: {sourcename: "n554" targetname: "n553" label: "1" class:16 priority:10}
 node: {title: "n87" label: "Jmp 87"  info1: "Jmp 87
   mode:    X
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -559,7 +559,7 @@ node: {title: "n87" label: "Jmp 87"  info1: "Jmp 87
 }
 node: {title: "n86" label: "AddIs 86"  info1: "Add 86
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   2
   pred nodes:
@@ -572,7 +572,7 @@ node: {title: "n86" label: "AddIs 86"  info1: "Add 86
 }
 node: {title: "n86n60" label: "0x1Is 60"  info1: "0x1 60
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -590,7 +590,7 @@ graph: { title: "n105"  label: "Block 105" status:clustered color:yellow
 edge: {sourcename: "n105" targetname: "n102" label: "0" class:13 priority:60 color:red}
 node: {title: "n114" label: "ProjM 0 114"  info1: "Proj 114
   mode:    M
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   1
   pred nodes:
@@ -603,7 +603,7 @@ color: yellow}
 edge: {sourcename: "n114" targetname: "n112" label: "0" class:17 priority:10 color:blue}
 node: {title: "n112" label: "Store 112"  info1: "Store 112
   mode:    T
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   3
   pred nodes:
@@ -619,7 +619,7 @@ node: {title: "n112" label: "Store 112"  info1: "Store 112
 }
 node: {title: "n112n70" label: "0x13Is 70"  info1: "0x13 70
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -634,7 +634,7 @@ edge: {sourcename: "n112" targetname: "n568" label: "1" class:16 priority:10}
 edge: {sourcename: "n112" targetname: "n112n70" label: "2" class:16 priority:10}
 node: {title: "n569" label: "AddP 569"  info1: "Add 569
   mode:    P
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   2
   pred nodes:
@@ -646,7 +646,7 @@ node: {title: "n569" label: "AddP 569"  info1: "Add 569
 }
 node: {title: "n569n565" label: "0xFFFFFFFCIs 565"  info1: "0xFFFFFFFC 565
   mode:    Is
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -659,7 +659,7 @@ edge: {sourcename: "n569" targetname: "n569n565" label: "0" class:16 priority:10
 edge: {sourcename: "n569" targetname: "n568" label: "1" class:16 priority:10}
 node: {title: "n116" label: "Jmp 116"  info1: "Jmp 116
   mode:    X
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -674,7 +674,7 @@ graph: { title: "n34"  label: "Block 34" status:clustered color:yellow
 edge: {sourcename: "n34" targetname: "n34n38" label: "0" class:13 priority:60 color:red}
 node: {title: "n35" label: "End 35"  info1: "End 35
   mode:    X
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   3
   pred nodes:
@@ -689,7 +689,7 @@ color: blue}
 }
 node: {title: "n34n38" label: "Bad 38"  info1: "Bad 38
   mode:    T
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:
@@ -704,7 +704,7 @@ graph: { title: "n36"  label: "Block 36" status:clustered color:yellow
 edge: {sourcename: "n36" targetname: "n40" label: "0" class:13 priority:60 color:red}
 node: {title: "n43" label: "ProjM 1 43"  info1: "Proj 43
   mode:    M
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   1
   pred nodes:
@@ -717,7 +717,7 @@ color: yellow}
 edge: {sourcename: "n43" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 node: {title: "n40" label: "ProjX 0 40"  info1: "Proj 40
   mode:    X
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   1
   pred nodes:
@@ -730,7 +730,7 @@ color: yellow}
 edge: {sourcename: "n40" targetname: "n37" label: "0" class:13 priority:60 color:red}
 node: {title: "n37" label: "Start 37"  info1: "Start 37
   mode:    T
-  visited: 37
+  visited: 36
   irg:     STRENGTH_RED_EXAMPLE_m1
   arity:   0
   pred nodes:

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg
index 6c71d9b..9791a49 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg
@@ -57,7 +57,7 @@ graph: { title: "n139"  label: "Block 139" status:clustered color:yellow
 edge: {sourcename: "n139" targetname: "n190" label: "0" class:13 priority:60 color:red}
 node: {title: "n140" label: "End 140"  info1: "End 140
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   1
   pred nodes:
@@ -73,7 +73,7 @@ graph: { title: "n187"  label: "Block 187" status:clustered color:yellow
 edge: {sourcename: "n187" targetname: "n163" label: "0" class:13 priority:60 color:red}
 node: {title: "n190" label: "Return 190"  info1: "Return 190
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   2
   pred nodes:
@@ -88,7 +88,7 @@ node: {title: "n190" label: "Return 190"  info1: "Return 190
 }
 node: {title: "n190n169" label: "0x4Is 169"  info1: "0x4 169
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   0
   pred nodes:
@@ -107,7 +107,7 @@ edge: {sourcename: "n155" targetname: "n154" label: "0" class:13 priority:60 col
 backedge: {sourcename: "n155" targetname: "n181" label: "1" linestyle:dashed class:13 priority:60 color:red}
 node: {title: "n194" label: "PhiM 194"  info1: "Phi 194
   mode:    M
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   2
   pred nodes:
@@ -123,7 +123,7 @@ edge: {sourcename: "n194" targetname: "n148" label: "0" class:17 priority:10 col
 edge: {sourcename: "n194" targetname: "n179" label: "1" class:17 priority:10 color:blue}
 node: {title: "n584" label: "PhiIs 584"  info1: "Phi 584
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   2
   pred nodes:
@@ -136,7 +136,7 @@ node: {title: "n584" label: "PhiIs 584"  info1: "Phi 584
 color: green}
 node: {title: "n584n152" label: "0x0Is 152"  info1: "0x0 152
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   0
   pred nodes:
@@ -150,7 +150,7 @@ edge: {sourcename: "n584" targetname: "n584n152" label: "0" class:16 priority:10
 edge: {sourcename: "n584" targetname: "n585" label: "1" class:16 priority:10}
 node: {title: "n591" label: "PhiIs 591"  info1: "Phi 591
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   2
   pred nodes:
@@ -163,7 +163,7 @@ node: {title: "n591" label: "PhiIs 591"  info1: "Phi 591
 color: green}
 node: {title: "n591n152" label: "0x0Is 152"  info1: "0x0 152
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   0
   pred nodes:
@@ -177,7 +177,7 @@ edge: {sourcename: "n591" targetname: "n591n152" label: "0" class:16 priority:10
 edge: {sourcename: "n591" targetname: "n592" label: "1" class:16 priority:10}
 node: {title: "n163" label: "ProjX 0 163"  info1: "Proj 163
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   1
   pred nodes:
@@ -190,7 +190,7 @@ color: yellow}
 edge: {sourcename: "n163" targetname: "n162" label: "0" class:13 priority:60 color:red}
 node: {title: "n164" label: "ProjX 1 164"  info1: "Proj 164
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   1
   pred nodes:
@@ -203,7 +203,7 @@ color: yellow}
 edge: {sourcename: "n164" targetname: "n162" label: "0" class:13 priority:60 color:red}
 node: {title: "n162" label: "Cond 162"  info1: "Cond 162
   mode:    T
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   1
   pred nodes:
@@ -218,7 +218,7 @@ node: {title: "n162" label: "Cond 162"  info1: "Cond 162
 edge: {sourcename: "n162" targetname: "n159" label: "0" class:1  priority:50}
 node: {title: "n159" label: "Projb Le 159"  info1: "Proj 159
   mode:    b
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   1
   pred nodes:
@@ -231,7 +231,7 @@ color: yellow}
 edge: {sourcename: "n159" targetname: "n161" label: "0" class:1  priority:50}
 node: {title: "n161" label: "Cmp 161"  info1: "Cmp 161
   mode:    T
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   2
   pred nodes:
@@ -244,7 +244,7 @@ node: {title: "n161" label: "Cmp 161"  info1: "Cmp 161
 }
 node: {title: "n161n160" label: "0x9Is 160"  info1: "0x9 160
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   0
   pred nodes:
@@ -258,7 +258,7 @@ edge: {sourcename: "n161" targetname: "n195" label: "0" class:1  priority:50}
 edge: {sourcename: "n161" targetname: "n161n160" label: "1" class:16 priority:10}
 node: {title: "n195" label: "PhiIs 195"  info1: "Phi 195
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   2
   pred nodes:
@@ -272,7 +272,7 @@ node: {title: "n195" label: "PhiIs 195"  info1: "Phi 195
 color: green}
 node: {title: "n195n152" label: "0x0Is 152"  info1: "0x0 152
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   0
   pred nodes:
@@ -290,7 +290,7 @@ graph: { title: "n151"  label: "Block 151" status:clustered color:yellow
 edge: {sourcename: "n151" targetname: "n145" label: "0" class:13 priority:60 color:red}
 node: {title: "n154" label: "Jmp 154"  info1: "Jmp 154
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   0
   pred nodes:
@@ -305,7 +305,7 @@ graph: { title: "n165"  label: "Block 165" status:clustered color:yellow
 edge: {sourcename: "n165" targetname: "n164" label: "0" class:13 priority:60 color:red}
 node: {title: "n179" label: "ProjM 0 179"  info1: "Proj 179
   mode:    M
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   1
   pred nodes:
@@ -318,7 +318,7 @@ color: yellow}
 edge: {sourcename: "n179" targetname: "n177" label: "0" class:17 priority:10 color:blue}
 node: {title: "n177" label: "Store 177"  info1: "Store 177
   mode:    T
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   3
   pred nodes:
@@ -337,7 +337,7 @@ edge: {sourcename: "n177" targetname: "n576" label: "1" class:1  priority:50}
 edge: {sourcename: "n177" targetname: "n591" label: "2" class:16 priority:10}
 node: {title: "n576" label: "AddP 576"  info1: "Add 576
   mode:    P
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   2
   pred nodes:
@@ -351,7 +351,7 @@ edge: {sourcename: "n576" targetname: "n584" label: "0" class:16 priority:10}
 edge: {sourcename: "n576" targetname: "n575" label: "1" class:1  priority:50}
 node: {title: "n585" label: "AddIs 585"  info1: "Add 585
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   2
   pred nodes:
@@ -363,7 +363,7 @@ node: {title: "n585" label: "AddIs 585"  info1: "Add 585
 }
 node: {title: "n585n169" label: "0x4Is 169"  info1: "0x4 169
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   0
   pred nodes:
@@ -377,7 +377,7 @@ edge: {sourcename: "n585" targetname: "n585n169" label: "0" class:16 priority:10
 edge: {sourcename: "n585" targetname: "n584" label: "1" class:16 priority:10}
 node: {title: "n575" label: "AddP 575"  info1: "Add 575
   mode:    P
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   2
   pred nodes:
@@ -389,7 +389,7 @@ node: {title: "n575" label: "AddP 575"  info1: "Add 575
 }
 node: {title: "n575n153" label: "SymC &a 153"  info1: "SymC &a 153
   mode:    P
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   0
   pred nodes:
@@ -404,7 +404,7 @@ node: {title: "n575n153" label: "SymC &a 153"  info1: "SymC &a 153
 }
 node: {title: "n575n167" label: "0xDIs 167"  info1: "0xD 167
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   0
   pred nodes:
@@ -418,7 +418,7 @@ edge: {sourcename: "n575" targetname: "n575n153" label: "0" class:16 priority:10
 edge: {sourcename: "n575" targetname: "n575n167" label: "1" class:16 priority:10}
 node: {title: "n592" label: "AddIs 592"  info1: "Add 592
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   2
   pred nodes:
@@ -430,7 +430,7 @@ node: {title: "n592" label: "AddIs 592"  info1: "Add 592
 }
 node: {title: "n592n166" label: "0xFIs 166"  info1: "0xF 166
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   0
   pred nodes:
@@ -444,7 +444,7 @@ edge: {sourcename: "n592" targetname: "n592n166" label: "0" class:16 priority:10
 edge: {sourcename: "n592" targetname: "n591" label: "1" class:16 priority:10}
 node: {title: "n181" label: "Jmp 181"  info1: "Jmp 181
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   0
   pred nodes:
@@ -455,7 +455,7 @@ node: {title: "n181" label: "Jmp 181"  info1: "Jmp 181
 }
 node: {title: "n180" label: "AddIs 180"  info1: "Add 180
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   2
   pred nodes:
@@ -468,7 +468,7 @@ node: {title: "n180" label: "AddIs 180"  info1: "Add 180
 }
 node: {title: "n180n168" label: "0x1Is 168"  info1: "0x1 168
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   0
   pred nodes:
@@ -486,7 +486,7 @@ graph: { title: "n141"  label: "Block 141" status:clustered color:yellow
 edge: {sourcename: "n141" targetname: "n145" label: "0" class:13 priority:60 color:red}
 node: {title: "n148" label: "ProjM 1 148"  info1: "Proj 148
   mode:    M
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   1
   pred nodes:
@@ -499,7 +499,7 @@ color: yellow}
 edge: {sourcename: "n148" targetname: "n142" label: "0" class:17 priority:10 color:blue}
 node: {title: "n145" label: "ProjX 0 145"  info1: "Proj 145
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   1
   pred nodes:
@@ -512,7 +512,7 @@ color: yellow}
 edge: {sourcename: "n145" targetname: "n142" label: "0" class:13 priority:60 color:red}
 node: {title: "n142" label: "Start 142"  info1: "Start 142
   mode:    T
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m2
   arity:   0
   pred nodes:

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg
index 1d726f6..6c3b30b 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg
@@ -57,7 +57,7 @@ graph: { title: "n206"  label: "Block 206" status:clustered color:yellow
 edge: {sourcename: "n206" targetname: "n257" label: "0" class:13 priority:60 color:red}
 node: {title: "n207" label: "End 207"  info1: "End 207
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   1
   pred nodes:
@@ -73,7 +73,7 @@ graph: { title: "n254"  label: "Block 254" status:clustered color:yellow
 edge: {sourcename: "n254" targetname: "n229" label: "0" class:13 priority:60 color:red}
 node: {title: "n257" label: "Return 257"  info1: "Return 257
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   2
   pred nodes:
@@ -88,7 +88,7 @@ node: {title: "n257" label: "Return 257"  info1: "Return 257
 }
 node: {title: "n257n233" label: "0x4Is 233"  info1: "0x4 233
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   0
   pred nodes:
@@ -107,7 +107,7 @@ edge: {sourcename: "n222" targetname: "n221" label: "0" class:13 priority:60 col
 backedge: {sourcename: "n222" targetname: "n248" label: "1" linestyle:dashed class:13 priority:60 color:red}
 node: {title: "n261" label: "PhiM 261"  info1: "Phi 261
   mode:    M
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   2
   pred nodes:
@@ -123,7 +123,7 @@ edge: {sourcename: "n261" targetname: "n215" label: "0" class:17 priority:10 col
 edge: {sourcename: "n261" targetname: "n246" label: "1" class:17 priority:10 color:blue}
 node: {title: "n613" label: "PhiIs 613"  info1: "Phi 613
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   2
   pred nodes:
@@ -136,7 +136,7 @@ node: {title: "n613" label: "PhiIs 613"  info1: "Phi 613
 color: green}
 node: {title: "n613n611" label: "0x28Is 611"  info1: "0x28 611
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   0
   pred nodes:
@@ -149,7 +149,7 @@ edge: {sourcename: "n613" targetname: "n613n611" label: "0" class:16 priority:10
 edge: {sourcename: "n613" targetname: "n614" label: "1" class:16 priority:10}
 node: {title: "n229" label: "ProjX 0 229"  info1: "Proj 229
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   1
   pred nodes:
@@ -162,7 +162,7 @@ color: yellow}
 edge: {sourcename: "n229" targetname: "n228" label: "0" class:13 priority:60 color:red}
 node: {title: "n230" label: "ProjX 1 230"  info1: "Proj 230
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   1
   pred nodes:
@@ -175,7 +175,7 @@ color: yellow}
 edge: {sourcename: "n230" targetname: "n228" label: "0" class:13 priority:60 color:red}
 node: {title: "n228" label: "Cond 228"  info1: "Cond 228
   mode:    T
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   1
   pred nodes:
@@ -190,7 +190,7 @@ node: {title: "n228" label: "Cond 228"  info1: "Cond 228
 edge: {sourcename: "n228" targetname: "n226" label: "0" class:1  priority:50}
 node: {title: "n226" label: "Projb Gt 226"  info1: "Proj 226
   mode:    b
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   1
   pred nodes:
@@ -203,7 +203,7 @@ color: yellow}
 edge: {sourcename: "n226" targetname: "n227" label: "0" class:1  priority:50}
 node: {title: "n227" label: "Cmp 227"  info1: "Cmp 227
   mode:    T
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   2
   pred nodes:
@@ -216,7 +216,7 @@ node: {title: "n227" label: "Cmp 227"  info1: "Cmp 227
 }
 node: {title: "n227n224" label: "0x0Is 224"  info1: "0x0 224
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   0
   pred nodes:
@@ -230,7 +230,7 @@ edge: {sourcename: "n227" targetname: "n262" label: "0" class:1  priority:50}
 edge: {sourcename: "n227" targetname: "n227n224" label: "1" class:16 priority:10}
 node: {title: "n262" label: "PhiIs 262"  info1: "Phi 262
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   2
   pred nodes:
@@ -244,7 +244,7 @@ node: {title: "n262" label: "PhiIs 262"  info1: "Phi 262
 color: green}
 node: {title: "n262n219" label: "0xAIs 219"  info1: "0xA 219
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   0
   pred nodes:
@@ -262,7 +262,7 @@ graph: { title: "n218"  label: "Block 218" status:clustered color:yellow
 edge: {sourcename: "n218" targetname: "n212" label: "0" class:13 priority:60 color:red}
 node: {title: "n221" label: "Jmp 221"  info1: "Jmp 221
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   0
   pred nodes:
@@ -277,7 +277,7 @@ graph: { title: "n231"  label: "Block 231" status:clustered color:yellow
 edge: {sourcename: "n231" targetname: "n230" label: "0" class:13 priority:60 color:red}
 node: {title: "n246" label: "ProjM 0 246"  info1: "Proj 246
   mode:    M
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   1
   pred nodes:
@@ -290,7 +290,7 @@ color: yellow}
 edge: {sourcename: "n246" targetname: "n244" label: "0" class:17 priority:10 color:blue}
 node: {title: "n244" label: "Store 244"  info1: "Store 244
   mode:    T
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   3
   pred nodes:
@@ -309,7 +309,7 @@ edge: {sourcename: "n244" targetname: "n242" label: "1" class:1  priority:50}
 edge: {sourcename: "n244" targetname: "n262" label: "2" class:16 priority:10}
 node: {title: "n242" label: "AddP 242"  info1: "Add 242
   mode:    P
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   2
   pred nodes:
@@ -324,7 +324,7 @@ edge: {sourcename: "n242" targetname: "n240" label: "0" class:1  priority:50}
 edge: {sourcename: "n242" targetname: "n605" label: "1" class:1  priority:50}
 node: {title: "n240" label: "AddP 240"  info1: "Add 240
   mode:    P
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   2
   pred nodes:
@@ -337,7 +337,7 @@ node: {title: "n240" label: "AddP 240"  info1: "Add 240
 }
 node: {title: "n240n234" label: "0x8Is 234"  info1: "0x8 234
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   0
   pred nodes:
@@ -351,7 +351,7 @@ edge: {sourcename: "n240" targetname: "n240n234" label: "0" class:16 priority:10
 edge: {sourcename: "n240" targetname: "n602" label: "1" class:1  priority:50}
 node: {title: "n605" label: "AddP 605"  info1: "Add 605
   mode:    P
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   2
   pred nodes:
@@ -363,7 +363,7 @@ node: {title: "n605" label: "AddP 605"  info1: "Add 605
 }
 node: {title: "n605n604" label: "0x10Is 604"  info1: "0x10 604
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   0
   pred nodes:
@@ -376,7 +376,7 @@ edge: {sourcename: "n605" targetname: "n602" label: "0" class:1  priority:50}
 edge: {sourcename: "n605" targetname: "n605n604" label: "1" class:16 priority:10}
 node: {title: "n602" label: "AddP 602"  info1: "Add 602
   mode:    P
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   2
   pred nodes:
@@ -390,7 +390,7 @@ edge: {sourcename: "n602" targetname: "n613" label: "0" class:16 priority:10}
 edge: {sourcename: "n602" targetname: "n601" label: "1" class:1  priority:50}
 node: {title: "n614" label: "AddIs 614"  info1: "Add 614
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   2
   pred nodes:
@@ -402,7 +402,7 @@ node: {title: "n614" label: "AddIs 614"  info1: "Add 614
 }
 node: {title: "n614n609" label: "0xFFFFFFFCIs 609"  info1: "0xFFFFFFFC 609
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   0
   pred nodes:
@@ -415,7 +415,7 @@ edge: {sourcename: "n614" targetname: "n614n609" label: "0" class:16 priority:10
 edge: {sourcename: "n614" targetname: "n613" label: "1" class:16 priority:10}
 node: {title: "n601" label: "AddP 601"  info1: "Add 601
   mode:    P
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   2
   pred nodes:
@@ -427,7 +427,7 @@ node: {title: "n601" label: "AddP 601"  info1: "Add 601
 }
 node: {title: "n601n220" label: "SymC &a 220"  info1: "SymC &a 220
   mode:    P
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   0
   pred nodes:
@@ -442,7 +442,7 @@ node: {title: "n601n220" label: "SymC &a 220"  info1: "SymC &a 220
 }
 node: {title: "n601n233" label: "0x4Is 233"  info1: "0x4 233
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   0
   pred nodes:
@@ -456,7 +456,7 @@ edge: {sourcename: "n601" targetname: "n601n220" label: "0" class:16 priority:10
 edge: {sourcename: "n601" targetname: "n601n233" label: "1" class:16 priority:10}
 node: {title: "n248" label: "Jmp 248"  info1: "Jmp 248
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   0
   pred nodes:
@@ -467,7 +467,7 @@ node: {title: "n248" label: "Jmp 248"  info1: "Jmp 248
 }
 node: {title: "n600" label: "AddIs 600"  info1: "Add 600
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   2
   pred nodes:
@@ -479,7 +479,7 @@ node: {title: "n600" label: "AddIs 600"  info1: "Add 600
 }
 node: {title: "n600n599" label: "0xFFFFFFFFIs 599"  info1: "0xFFFFFFFF 599
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   0
   pred nodes:
@@ -496,7 +496,7 @@ graph: { title: "n208"  label: "Block 208" status:clustered color:yellow
 edge: {sourcename: "n208" targetname: "n212" label: "0" class:13 priority:60 color:red}
 node: {title: "n215" label: "ProjM 1 215"  info1: "Proj 215
   mode:    M
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   1
   pred nodes:
@@ -509,7 +509,7 @@ color: yellow}
 edge: {sourcename: "n215" targetname: "n209" label: "0" class:17 priority:10 color:blue}
 node: {title: "n212" label: "ProjX 0 212"  info1: "Proj 212
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   1
   pred nodes:
@@ -522,7 +522,7 @@ color: yellow}
 edge: {sourcename: "n212" targetname: "n209" label: "0" class:13 priority:60 color:red}
 node: {title: "n209" label: "Start 209"  info1: "Start 209
   mode:    T
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m3
   arity:   0
   pred nodes:

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 389b2f2..1b1dc52 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
@@ -57,7 +57,7 @@ graph: { title: "n273"  label: "Block 273" status:clustered color:yellow
 edge: {sourcename: "n273" targetname: "n326" label: "0" class:13 priority:60 color:red}
 node: {title: "n274" label: "End 274"  info1: "End 274
   mode:    X
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
@@ -73,7 +73,7 @@ graph: { title: "n323"  label: "Block 323" status:clustered color:yellow
 edge: {sourcename: "n323" targetname: "n297" label: "0" class:13 priority:60 color:red}
 node: {title: "n326" label: "Return 326"  info1: "Return 326
   mode:    X
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
@@ -88,7 +88,7 @@ node: {title: "n326" label: "Return 326"  info1: "Return 326
 }
 node: {title: "n326n301" label: "0x4Is 301"  info1: "0x4 301
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -107,7 +107,7 @@ edge: {sourcename: "n289" targetname: "n288" label: "0" class:13 priority:60 col
 backedge: {sourcename: "n289" targetname: "n317" label: "1" linestyle:dashed class:13 priority:60 color:red}
 node: {title: "n330" label: "PhiM 330"  info1: "Phi 330
   mode:    M
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
@@ -123,7 +123,7 @@ edge: {sourcename: "n330" targetname: "n282" label: "0" class:17 priority:10 col
 edge: {sourcename: "n330" targetname: "n316" label: "1" class:17 priority:10 color:blue}
 node: {title: "n638" label: "PhiIs 638"  info1: "Phi 638
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
@@ -136,7 +136,7 @@ node: {title: "n638" label: "PhiIs 638"  info1: "Phi 638
 color: green}
 node: {title: "n638n286" label: "0x0Is 286"  info1: "0x0 286
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -150,7 +150,7 @@ edge: {sourcename: "n638" targetname: "n638n286" label: "0" class:16 priority:10
 edge: {sourcename: "n638" targetname: "n639" label: "1" class:16 priority:10}
 node: {title: "n645" label: "PhiIs 645"  info1: "Phi 645
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
@@ -163,7 +163,7 @@ node: {title: "n645" label: "PhiIs 645"  info1: "Phi 645
 color: green}
 node: {title: "n645n286" label: "0x0Is 286"  info1: "0x0 286
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -177,7 +177,7 @@ edge: {sourcename: "n645" targetname: "n645n286" label: "0" class:16 priority:10
 edge: {sourcename: "n645" targetname: "n646" label: "1" class:16 priority:10}
 node: {title: "n297" label: "ProjX 0 297"  info1: "Proj 297
   mode:    X
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
@@ -190,7 +190,7 @@ color: yellow}
 edge: {sourcename: "n297" targetname: "n296" label: "0" class:13 priority:60 color:red}
 node: {title: "n298" label: "ProjX 1 298"  info1: "Proj 298
   mode:    X
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
@@ -203,7 +203,7 @@ color: yellow}
 edge: {sourcename: "n298" targetname: "n296" label: "0" class:13 priority:60 color:red}
 node: {title: "n296" label: "Cond 296"  info1: "Cond 296
   mode:    T
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
@@ -218,7 +218,7 @@ node: {title: "n296" label: "Cond 296"  info1: "Cond 296
 edge: {sourcename: "n296" targetname: "n293" label: "0" class:1  priority:50}
 node: {title: "n293" label: "Projb Le 293"  info1: "Proj 293
   mode:    b
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
@@ -231,7 +231,7 @@ color: yellow}
 edge: {sourcename: "n293" targetname: "n295" label: "0" class:1  priority:50}
 node: {title: "n295" label: "Cmp 295"  info1: "Cmp 295
   mode:    T
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
@@ -244,7 +244,7 @@ node: {title: "n295" label: "Cmp 295"  info1: "Cmp 295
 }
 node: {title: "n295n294" label: "0x9Is 294"  info1: "0x9 294
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -258,7 +258,7 @@ edge: {sourcename: "n295" targetname: "n331" label: "0" class:1  priority:50}
 edge: {sourcename: "n295" targetname: "n295n294" label: "1" class:16 priority:10}
 node: {title: "n331" label: "PhiIs 331"  info1: "Phi 331
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
@@ -272,7 +272,7 @@ node: {title: "n331" label: "PhiIs 331"  info1: "Phi 331
 color: green}
 node: {title: "n331n286" label: "0x0Is 286"  info1: "0x0 286
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -290,7 +290,7 @@ graph: { title: "n285"  label: "Block 285" status:clustered color:yellow
 edge: {sourcename: "n285" targetname: "n279" label: "0" class:13 priority:60 color:red}
 node: {title: "n288" label: "Jmp 288"  info1: "Jmp 288
   mode:    X
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -305,7 +305,7 @@ graph: { title: "n299"  label: "Block 299" status:clustered color:yellow
 edge: {sourcename: "n299" targetname: "n298" label: "0" class:13 priority:60 color:red}
 node: {title: "n316" label: "ProjM 0 316"  info1: "Proj 316
   mode:    M
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
@@ -318,7 +318,7 @@ color: yellow}
 edge: {sourcename: "n316" targetname: "n314" label: "0" class:17 priority:10 color:blue}
 node: {title: "n314" label: "Store 314"  info1: "Store 314
   mode:    T
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   3
   pred nodes:
@@ -337,7 +337,7 @@ edge: {sourcename: "n314" targetname: "n624" label: "1" class:1  priority:50}
 edge: {sourcename: "n314" targetname: "n304" label: "2" class:1  priority:50}
 node: {title: "n311" label: "ProjM 0 311"  info1: "Proj 311
   mode:    M
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
@@ -350,7 +350,7 @@ 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
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   3
   pred nodes:
@@ -369,7 +369,7 @@ edge: {sourcename: "n309" targetname: "n630" label: "1" class:1  priority:50}
 edge: {sourcename: "n309" targetname: "n304" label: "2" class:1  priority:50}
 node: {title: "n630" label: "AddP 630"  info1: "Add 630
   mode:    P
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
@@ -383,7 +383,7 @@ edge: {sourcename: "n630" targetname: "n638" label: "0" class:16 priority:10}
 edge: {sourcename: "n630" targetname: "n629" label: "1" class:1  priority:50}
 node: {title: "n639" label: "AddIs 639"  info1: "Add 639
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
@@ -395,7 +395,7 @@ node: {title: "n639" label: "AddIs 639"  info1: "Add 639
 }
 node: {title: "n639n302" label: "0x8Is 302"  info1: "0x8 302
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -409,7 +409,7 @@ edge: {sourcename: "n639" targetname: "n639n302" label: "0" class:16 priority:10
 edge: {sourcename: "n639" targetname: "n638" label: "1" class:16 priority:10}
 node: {title: "n629" label: "AddP 629"  info1: "Add 629
   mode:    P
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
@@ -421,7 +421,7 @@ node: {title: "n629" label: "AddP 629"  info1: "Add 629
 }
 node: {title: "n629n287" label: "SymC &a 287"  info1: "SymC &a 287
   mode:    P
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -436,7 +436,7 @@ node: {title: "n629n287" label: "SymC &a 287"  info1: "SymC &a 287
 }
 node: {title: "n629n302" label: "0x8Is 302"  info1: "0x8 302
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -450,7 +450,7 @@ edge: {sourcename: "n629" targetname: "n629n287" label: "0" class:16 priority:10
 edge: {sourcename: "n629" targetname: "n629n302" label: "1" class:16 priority:10}
 node: {title: "n624" label: "AddP 624"  info1: "Add 624
   mode:    P
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
@@ -464,7 +464,7 @@ edge: {sourcename: "n624" targetname: "n645" label: "0" class:16 priority:10}
 edge: {sourcename: "n624" targetname: "n623" label: "1" class:1  priority:50}
 node: {title: "n646" label: "AddIs 646"  info1: "Add 646
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
@@ -476,7 +476,7 @@ node: {title: "n646" label: "AddIs 646"  info1: "Add 646
 }
 node: {title: "n646n301" label: "0x4Is 301"  info1: "0x4 301
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -490,7 +490,7 @@ edge: {sourcename: "n646" targetname: "n646n301" label: "0" class:16 priority:10
 edge: {sourcename: "n646" targetname: "n645" label: "1" class:16 priority:10}
 node: {title: "n623" label: "AddP 623"  info1: "Add 623
   mode:    P
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
@@ -502,7 +502,7 @@ node: {title: "n623" label: "AddP 623"  info1: "Add 623
 }
 node: {title: "n623n287" label: "SymC &a 287"  info1: "SymC &a 287
   mode:    P
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -517,7 +517,7 @@ node: {title: "n623n287" label: "SymC &a 287"  info1: "SymC &a 287
 }
 node: {title: "n623n301" label: "0x4Is 301"  info1: "0x4 301
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -531,7 +531,7 @@ edge: {sourcename: "n623" targetname: "n623n287" label: "0" class:16 priority:10
 edge: {sourcename: "n623" targetname: "n623n301" label: "1" class:16 priority:10}
 node: {title: "n317" label: "Jmp 317"  info1: "Jmp 317
   mode:    X
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -542,7 +542,7 @@ node: {title: "n317" label: "Jmp 317"  info1: "Jmp 317
 }
 node: {title: "n304" label: "AddIs 304"  info1: "Add 304
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   2
   pred nodes:
@@ -555,7 +555,7 @@ node: {title: "n304" label: "AddIs 304"  info1: "Add 304
 }
 node: {title: "n304n300" label: "0x1Is 300"  info1: "0x1 300
   mode:    Is
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:
@@ -573,7 +573,7 @@ graph: { title: "n275"  label: "Block 275" status:clustered color:yellow
 edge: {sourcename: "n275" targetname: "n279" label: "0" class:13 priority:60 color:red}
 node: {title: "n282" label: "ProjM 1 282"  info1: "Proj 282
   mode:    M
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
@@ -586,7 +586,7 @@ color: yellow}
 edge: {sourcename: "n282" targetname: "n276" label: "0" class:17 priority:10 color:blue}
 node: {title: "n279" label: "ProjX 0 279"  info1: "Proj 279
   mode:    X
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   1
   pred nodes:
@@ -599,7 +599,7 @@ color: yellow}
 edge: {sourcename: "n279" targetname: "n276" label: "0" class:13 priority:60 color:red}
 node: {title: "n276" label: "Start 276"  info1: "Start 276
   mode:    T
-  visited: 32
+  visited: 31
   irg:     STRENGTH_RED_EXAMPLE_m4
   arity:   0
   pred nodes:

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
index 411c133..6bc392b 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
@@ -57,7 +57,7 @@ graph: { title: "n342"  label: "Block 342" status:clustered color:yellow
 edge: {sourcename: "n342" targetname: "n393" label: "0" class:13 priority:60 color:red}
 node: {title: "n343" label: "End 343"  info1: "End 343
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   1
   pred nodes:
@@ -73,7 +73,7 @@ graph: { title: "n390"  label: "Block 390" status:clustered color:yellow
 edge: {sourcename: "n390" targetname: "n365" label: "0" class:13 priority:60 color:red}
 node: {title: "n393" label: "Return 393"  info1: "Return 393
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   2
   pred nodes:
@@ -88,7 +88,7 @@ node: {title: "n393" label: "Return 393"  info1: "Return 393
 }
 node: {title: "n393n369" label: "0x4Is 369"  info1: "0x4 369
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   0
   pred nodes:
@@ -107,7 +107,7 @@ edge: {sourcename: "n358" targetname: "n357" label: "0" class:13 priority:60 col
 backedge: {sourcename: "n358" targetname: "n384" label: "1" linestyle:dashed class:13 priority:60 color:red}
 node: {title: "n397" label: "PhiM 397"  info1: "Phi 397
   mode:    M
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   2
   pred nodes:
@@ -123,7 +123,7 @@ edge: {sourcename: "n397" targetname: "n351" label: "0" class:17 priority:10 col
 edge: {sourcename: "n397" targetname: "n383" label: "1" class:17 priority:10 color:blue}
 node: {title: "n365" label: "ProjX 0 365"  info1: "Proj 365
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   1
   pred nodes:
@@ -136,7 +136,7 @@ color: yellow}
 edge: {sourcename: "n365" targetname: "n364" label: "0" class:13 priority:60 color:red}
 node: {title: "n366" label: "ProjX 1 366"  info1: "Proj 366
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   1
   pred nodes:
@@ -149,7 +149,7 @@ color: yellow}
 edge: {sourcename: "n366" targetname: "n364" label: "0" class:13 priority:60 color:red}
 node: {title: "n364" label: "Cond 364"  info1: "Cond 364
   mode:    T
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   1
   pred nodes:
@@ -164,7 +164,7 @@ node: {title: "n364" label: "Cond 364"  info1: "Cond 364
 edge: {sourcename: "n364" targetname: "n362" label: "0" class:1  priority:50}
 node: {title: "n362" label: "Projb Gt 362"  info1: "Proj 362
   mode:    b
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   1
   pred nodes:
@@ -177,7 +177,7 @@ color: yellow}
 edge: {sourcename: "n362" targetname: "n363" label: "0" class:1  priority:50}
 node: {title: "n363" label: "Cmp 363"  info1: "Cmp 363
   mode:    T
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   2
   pred nodes:
@@ -190,7 +190,7 @@ node: {title: "n363" label: "Cmp 363"  info1: "Cmp 363
 }
 node: {title: "n363n360" label: "0x0Is 360"  info1: "0x0 360
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   0
   pred nodes:
@@ -204,7 +204,7 @@ edge: {sourcename: "n363" targetname: "n398" label: "0" class:1  priority:50}
 edge: {sourcename: "n363" targetname: "n363n360" label: "1" class:16 priority:10}
 node: {title: "n398" label: "PhiIs 398"  info1: "Phi 398
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   2
   pred nodes:
@@ -218,7 +218,7 @@ node: {title: "n398" label: "PhiIs 398"  info1: "Phi 398
 color: green}
 node: {title: "n398n667" label: "0x28Is 667"  info1: "0x28 667
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   0
   pred nodes:
@@ -235,7 +235,7 @@ graph: { title: "n354"  label: "Block 354" status:clustered color:yellow
 edge: {sourcename: "n354" targetname: "n348" label: "0" class:13 priority:60 color:red}
 node: {title: "n357" label: "Jmp 357"  info1: "Jmp 357
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   0
   pred nodes:
@@ -250,7 +250,7 @@ graph: { title: "n367"  label: "Block 367" status:clustered color:yellow
 edge: {sourcename: "n367" targetname: "n366" label: "0" class:13 priority:60 color:red}
 node: {title: "n383" label: "ProjM 0 383"  info1: "Proj 383
   mode:    M
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   1
   pred nodes:
@@ -263,7 +263,7 @@ color: yellow}
 edge: {sourcename: "n383" targetname: "n381" label: "0" class:17 priority:10 color:blue}
 node: {title: "n381" label: "Store 381"  info1: "Store 381
   mode:    T
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   3
   pred nodes:
@@ -279,7 +279,7 @@ node: {title: "n381" label: "Store 381"  info1: "Store 381
 }
 node: {title: "n381n379" label: "0x13Is 379"  info1: "0x13 379
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   0
   pred nodes:
@@ -294,7 +294,7 @@ edge: {sourcename: "n381" targetname: "n663" label: "1" class:1  priority:50}
 edge: {sourcename: "n381" targetname: "n381n379" label: "2" class:16 priority:10}
 node: {title: "n663" label: "AddP 663"  info1: "Add 663
   mode:    P
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   2
   pred nodes:
@@ -306,7 +306,7 @@ node: {title: "n663" label: "AddP 663"  info1: "Add 663
 }
 node: {title: "n663n662" label: "0x9Is 662"  info1: "0x9 662
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   0
   pred nodes:
@@ -319,7 +319,7 @@ edge: {sourcename: "n663" targetname: "n660" label: "0" class:1  priority:50}
 edge: {sourcename: "n663" targetname: "n663n662" label: "1" class:16 priority:10}
 node: {title: "n660" label: "AddP 660"  info1: "Add 660
   mode:    P
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   2
   pred nodes:
@@ -333,7 +333,7 @@ edge: {sourcename: "n660" targetname: "n398" label: "0" class:16 priority:10}
 edge: {sourcename: "n660" targetname: "n659" label: "1" class:1  priority:50}
 node: {title: "n659" label: "AddP 659"  info1: "Add 659
   mode:    P
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   2
   pred nodes:
@@ -345,7 +345,7 @@ node: {title: "n659" label: "AddP 659"  info1: "Add 659
 }
 node: {title: "n659n356" label: "SymC &a 356"  info1: "SymC &a 356
   mode:    P
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   0
   pred nodes:
@@ -360,7 +360,7 @@ node: {title: "n659n356" label: "SymC &a 356"  info1: "SymC &a 356
 }
 node: {title: "n659n657" label: "0xFFFFFFFCIs 657"  info1: "0xFFFFFFFC 657
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   0
   pred nodes:
@@ -373,7 +373,7 @@ edge: {sourcename: "n659" targetname: "n659n356" label: "0" class:16 priority:10
 edge: {sourcename: "n659" targetname: "n659n657" label: "1" class:16 priority:10}
 node: {title: "n384" label: "Jmp 384"  info1: "Jmp 384
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   0
   pred nodes:
@@ -384,7 +384,7 @@ node: {title: "n384" label: "Jmp 384"  info1: "Jmp 384
 }
 node: {title: "n654" label: "AddIs 654"  info1: "Add 654
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   2
   pred nodes:
@@ -396,7 +396,7 @@ node: {title: "n654" label: "AddIs 654"  info1: "Add 654
 }
 node: {title: "n654n657" label: "0xFFFFFFFCIs 657"  info1: "0xFFFFFFFC 657
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   0
   pred nodes:
@@ -413,7 +413,7 @@ graph: { title: "n344"  label: "Block 344" status:clustered color:yellow
 edge: {sourcename: "n344" targetname: "n348" label: "0" class:13 priority:60 color:red}
 node: {title: "n351" label: "ProjM 1 351"  info1: "Proj 351
   mode:    M
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   1
   pred nodes:
@@ -426,7 +426,7 @@ color: yellow}
 edge: {sourcename: "n351" targetname: "n345" label: "0" class:17 priority:10 color:blue}
 node: {title: "n348" label: "ProjX 0 348"  info1: "Proj 348
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   1
   pred nodes:
@@ -439,7 +439,7 @@ color: yellow}
 edge: {sourcename: "n348" targetname: "n345" label: "0" class:13 priority:60 color:red}
 node: {title: "n345" label: "Start 345"  info1: "Start 345
   mode:    T
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m5
   arity:   0
   pred nodes:

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg
index 6ef61f6..9fb4d9e 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg
@@ -57,7 +57,7 @@ graph: { title: "n409"  label: "Block 409" status:clustered color:yellow
 edge: {sourcename: "n409" targetname: "n461" label: "0" class:13 priority:60 color:red}
 node: {title: "n410" label: "End 410"  info1: "End 410
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   1
   pred nodes:
@@ -73,7 +73,7 @@ graph: { title: "n458"  label: "Block 458" status:clustered color:yellow
 edge: {sourcename: "n458" targetname: "n433" label: "0" class:13 priority:60 color:red}
 node: {title: "n461" label: "Return 461"  info1: "Return 461
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   2
   pred nodes:
@@ -88,7 +88,7 @@ node: {title: "n461" label: "Return 461"  info1: "Return 461
 }
 node: {title: "n461n438" label: "0x4Is 438"  info1: "0x4 438
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   0
   pred nodes:
@@ -107,7 +107,7 @@ edge: {sourcename: "n425" targetname: "n424" label: "0" class:13 priority:60 col
 backedge: {sourcename: "n425" targetname: "n452" label: "1" linestyle:dashed class:13 priority:60 color:red}
 node: {title: "n465" label: "PhiM 465"  info1: "Phi 465
   mode:    M
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   2
   pred nodes:
@@ -123,7 +123,7 @@ edge: {sourcename: "n465" targetname: "n418" label: "0" class:17 priority:10 col
 edge: {sourcename: "n465" targetname: "n451" label: "1" class:17 priority:10 color:blue}
 node: {title: "n433" label: "ProjX 0 433"  info1: "Proj 433
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   1
   pred nodes:
@@ -136,7 +136,7 @@ color: yellow}
 edge: {sourcename: "n433" targetname: "n432" label: "0" class:13 priority:60 color:red}
 node: {title: "n434" label: "ProjX 1 434"  info1: "Proj 434
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   1
   pred nodes:
@@ -149,7 +149,7 @@ color: yellow}
 edge: {sourcename: "n434" targetname: "n432" label: "0" class:13 priority:60 color:red}
 node: {title: "n432" label: "Cond 432"  info1: "Cond 432
   mode:    T
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   1
   pred nodes:
@@ -164,7 +164,7 @@ node: {title: "n432" label: "Cond 432"  info1: "Cond 432
 edge: {sourcename: "n432" targetname: "n429" label: "0" class:1  priority:50}
 node: {title: "n429" label: "Projb Le 429"  info1: "Proj 429
   mode:    b
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   1
   pred nodes:
@@ -177,7 +177,7 @@ color: yellow}
 edge: {sourcename: "n429" targetname: "n431" label: "0" class:1  priority:50}
 node: {title: "n431" label: "Cmp 431"  info1: "Cmp 431
   mode:    T
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   2
   pred nodes:
@@ -190,7 +190,7 @@ node: {title: "n431" label: "Cmp 431"  info1: "Cmp 431
 }
 node: {title: "n431n694" label: "0x24Is 694"  info1: "0x24 694
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   0
   pred nodes:
@@ -203,7 +203,7 @@ edge: {sourcename: "n431" targetname: "n466" label: "0" class:1  priority:50}
 edge: {sourcename: "n431" targetname: "n431n694" label: "1" class:16 priority:10}
 node: {title: "n466" label: "PhiIs 466"  info1: "Phi 466
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   2
   pred nodes:
@@ -217,7 +217,7 @@ node: {title: "n466" label: "PhiIs 466"  info1: "Phi 466
 color: green}
 node: {title: "n466n422" label: "0x0Is 422"  info1: "0x0 422
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   0
   pred nodes:
@@ -235,7 +235,7 @@ graph: { title: "n421"  label: "Block 421" status:clustered color:yellow
 edge: {sourcename: "n421" targetname: "n415" label: "0" class:13 priority:60 color:red}
 node: {title: "n424" label: "Jmp 424"  info1: "Jmp 424
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   0
   pred nodes:
@@ -250,7 +250,7 @@ graph: { title: "n435"  label: "Block 435" status:clustered color:yellow
 edge: {sourcename: "n435" targetname: "n434" label: "0" class:13 priority:60 color:red}
 node: {title: "n451" label: "ProjM 0 451"  info1: "Proj 451
   mode:    M
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   1
   pred nodes:
@@ -263,7 +263,7 @@ color: yellow}
 edge: {sourcename: "n451" targetname: "n449" label: "0" class:17 priority:10 color:blue}
 node: {title: "n449" label: "Store 449"  info1: "Store 449
   mode:    T
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   3
   pred nodes:
@@ -279,7 +279,7 @@ node: {title: "n449" label: "Store 449"  info1: "Store 449
 }
 node: {title: "n449n447" label: "0x13Is 447"  info1: "0x13 447
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   0
   pred nodes:
@@ -294,7 +294,7 @@ edge: {sourcename: "n449" targetname: "n688" label: "1" class:1  priority:50}
 edge: {sourcename: "n449" targetname: "n449n447" label: "2" class:16 priority:10}
 node: {title: "n688" label: "AddP 688"  info1: "Add 688
   mode:    P
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   2
   pred nodes:
@@ -306,7 +306,7 @@ node: {title: "n688" label: "AddP 688"  info1: "Add 688
 }
 node: {title: "n688n687" label: "0x8Is 687"  info1: "0x8 687
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   0
   pred nodes:
@@ -319,7 +319,7 @@ edge: {sourcename: "n688" targetname: "n444" label: "0" class:1  priority:50}
 edge: {sourcename: "n688" targetname: "n688n687" label: "1" class:16 priority:10}
 node: {title: "n444" label: "SubP 444"  info1: "Sub 444
   mode:    P
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   2
   pred nodes:
@@ -332,7 +332,7 @@ node: {title: "n444" label: "SubP 444"  info1: "Sub 444
 }
 node: {title: "n444n437" label: "0x5Is 437"  info1: "0x5 437
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   0
   pred nodes:
@@ -346,7 +346,7 @@ edge: {sourcename: "n444" targetname: "n444n437" label: "0" class:16 priority:10
 edge: {sourcename: "n444" targetname: "n685" label: "1" class:1  priority:50}
 node: {title: "n685" label: "AddP 685"  info1: "Add 685
   mode:    P
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   2
   pred nodes:
@@ -360,7 +360,7 @@ edge: {sourcename: "n685" targetname: "n466" label: "0" class:16 priority:10}
 edge: {sourcename: "n685" targetname: "n684" label: "1" class:1  priority:50}
 node: {title: "n684" label: "AddP 684"  info1: "Add 684
   mode:    P
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   2
   pred nodes:
@@ -372,7 +372,7 @@ node: {title: "n684" label: "AddP 684"  info1: "Add 684
 }
 node: {title: "n684n423" label: "SymC &a 423"  info1: "SymC &a 423
   mode:    P
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   0
   pred nodes:
@@ -387,7 +387,7 @@ node: {title: "n684n423" label: "SymC &a 423"  info1: "SymC &a 423
 }
 node: {title: "n684n682" label: "0xFFFFFFFCIs 682"  info1: "0xFFFFFFFC 682
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   0
   pred nodes:
@@ -400,7 +400,7 @@ edge: {sourcename: "n684" targetname: "n684n423" label: "0" class:16 priority:10
 edge: {sourcename: "n684" targetname: "n684n682" label: "1" class:16 priority:10}
 node: {title: "n452" label: "Jmp 452"  info1: "Jmp 452
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   0
   pred nodes:
@@ -411,7 +411,7 @@ node: {title: "n452" label: "Jmp 452"  info1: "Jmp 452
 }
 node: {title: "n679" label: "AddIs 679"  info1: "Add 679
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   2
   pred nodes:
@@ -423,7 +423,7 @@ node: {title: "n679" label: "AddIs 679"  info1: "Add 679
 }
 node: {title: "n679n682" label: "0xFFFFFFFCIs 682"  info1: "0xFFFFFFFC 682
   mode:    Is
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   0
   pred nodes:
@@ -440,7 +440,7 @@ graph: { title: "n411"  label: "Block 411" status:clustered color:yellow
 edge: {sourcename: "n411" targetname: "n415" label: "0" class:13 priority:60 color:red}
 node: {title: "n418" label: "ProjM 1 418"  info1: "Proj 418
   mode:    M
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   1
   pred nodes:
@@ -453,7 +453,7 @@ color: yellow}
 edge: {sourcename: "n418" targetname: "n412" label: "0" class:17 priority:10 color:blue}
 node: {title: "n415" label: "ProjX 0 415"  info1: "Proj 415
   mode:    X
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   1
   pred nodes:
@@ -466,7 +466,7 @@ color: yellow}
 edge: {sourcename: "n415" targetname: "n412" label: "0" class:13 priority:60 color:red}
 node: {title: "n412" label: "Start 412"  info1: "Start 412
   mode:    T
-  visited: 27
+  visited: 26
   irg:     STRENGTH_RED_EXAMPLE_m6
   arity:   0
   pred nodes:

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg
index c170f94..214fdf5 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg
@@ -57,7 +57,7 @@ graph: { title: "n477"  label: "Block 477" status:clustered color:yellow
 edge: {sourcename: "n477" targetname: "n528" label: "0" class:13 priority:60 color:red}
 node: {title: "n478" label: "End 478"  info1: "End 478
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   1
   pred nodes:
@@ -73,7 +73,7 @@ graph: { title: "n525"  label: "Block 525" status:clustered color:yellow
 edge: {sourcename: "n525" targetname: "n501" label: "0" class:13 priority:60 color:red}
 node: {title: "n528" label: "Return 528"  info1: "Return 528
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   2
   pred nodes:
@@ -88,7 +88,7 @@ node: {title: "n528" label: "Return 528"  info1: "Return 528
 }
 node: {title: "n528n505" label: "0x4Is 505"  info1: "0x4 505
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   0
   pred nodes:
@@ -107,7 +107,7 @@ edge: {sourcename: "n494" targetname: "n493" label: "0" class:13 priority:60 col
 backedge: {sourcename: "n494" targetname: "n519" label: "1" linestyle:dashed class:13 priority:60 color:red}
 node: {title: "n532" label: "PhiM 532"  info1: "Phi 532
   mode:    M
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   2
   pred nodes:
@@ -123,7 +123,7 @@ edge: {sourcename: "n532" targetname: "n486" label: "0" class:17 priority:10 col
 edge: {sourcename: "n532" targetname: "n517" label: "1" class:17 priority:10 color:blue}
 node: {title: "n721" label: "PhiIs 721"  info1: "Phi 721
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   2
   pred nodes:
@@ -136,7 +136,7 @@ node: {title: "n721" label: "PhiIs 721"  info1: "Phi 721
 color: green}
 node: {title: "n721n719" label: "0x28Is 719"  info1: "0x28 719
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   0
   pred nodes:
@@ -149,7 +149,7 @@ edge: {sourcename: "n721" targetname: "n721n719" label: "0" class:16 priority:10
 edge: {sourcename: "n721" targetname: "n722" label: "1" class:16 priority:10}
 node: {title: "n501" label: "ProjX 0 501"  info1: "Proj 501
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   1
   pred nodes:
@@ -162,7 +162,7 @@ color: yellow}
 edge: {sourcename: "n501" targetname: "n500" label: "0" class:13 priority:60 color:red}
 node: {title: "n502" label: "ProjX 1 502"  info1: "Proj 502
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   1
   pred nodes:
@@ -175,7 +175,7 @@ color: yellow}
 edge: {sourcename: "n502" targetname: "n500" label: "0" class:13 priority:60 color:red}
 node: {title: "n500" label: "Cond 500"  info1: "Cond 500
   mode:    T
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   1
   pred nodes:
@@ -190,7 +190,7 @@ node: {title: "n500" label: "Cond 500"  info1: "Cond 500
 edge: {sourcename: "n500" targetname: "n498" label: "0" class:1  priority:50}
 node: {title: "n498" label: "Projb Gt 498"  info1: "Proj 498
   mode:    b
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   1
   pred nodes:
@@ -203,7 +203,7 @@ color: yellow}
 edge: {sourcename: "n498" targetname: "n499" label: "0" class:1  priority:50}
 node: {title: "n499" label: "Cmp 499"  info1: "Cmp 499
   mode:    T
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   2
   pred nodes:
@@ -216,7 +216,7 @@ node: {title: "n499" label: "Cmp 499"  info1: "Cmp 499
 }
 node: {title: "n499n496" label: "0x0Is 496"  info1: "0x0 496
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   0
   pred nodes:
@@ -230,7 +230,7 @@ edge: {sourcename: "n499" targetname: "n533" label: "0" class:1  priority:50}
 edge: {sourcename: "n499" targetname: "n499n496" label: "1" class:16 priority:10}
 node: {title: "n533" label: "PhiIs 533"  info1: "Phi 533
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   2
   pred nodes:
@@ -244,7 +244,7 @@ node: {title: "n533" label: "PhiIs 533"  info1: "Phi 533
 color: green}
 node: {title: "n533n491" label: "0xAIs 491"  info1: "0xA 491
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   0
   pred nodes:
@@ -262,7 +262,7 @@ graph: { title: "n489"  label: "Block 489" status:clustered color:yellow
 edge: {sourcename: "n489" targetname: "n483" label: "0" class:13 priority:60 color:red}
 node: {title: "n493" label: "Jmp 493"  info1: "Jmp 493
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   0
   pred nodes:
@@ -277,7 +277,7 @@ graph: { title: "n503"  label: "Block 503" status:clustered color:yellow
 edge: {sourcename: "n503" targetname: "n502" label: "0" class:13 priority:60 color:red}
 node: {title: "n517" label: "ProjM 0 517"  info1: "Proj 517
   mode:    M
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   1
   pred nodes:
@@ -290,7 +290,7 @@ color: yellow}
 edge: {sourcename: "n517" targetname: "n515" label: "0" class:17 priority:10 color:blue}
 node: {title: "n515" label: "Store 515"  info1: "Store 515
   mode:    T
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   3
   pred nodes:
@@ -309,7 +309,7 @@ edge: {sourcename: "n515" targetname: "n713" label: "1" class:1  priority:50}
 edge: {sourcename: "n515" targetname: "n513" label: "2" class:1  priority:50}
 node: {title: "n713" label: "AddP 713"  info1: "Add 713
   mode:    P
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   2
   pred nodes:
@@ -323,7 +323,7 @@ edge: {sourcename: "n713" targetname: "n721" label: "0" class:16 priority:10}
 edge: {sourcename: "n713" targetname: "n712" label: "1" class:1  priority:50}
 node: {title: "n722" label: "AddIs 722"  info1: "Add 722
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   2
   pred nodes:
@@ -335,7 +335,7 @@ node: {title: "n722" label: "AddIs 722"  info1: "Add 722
 }
 node: {title: "n722n717" label: "0xFFFFFFFCIs 717"  info1: "0xFFFFFFFC 717
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   0
   pred nodes:
@@ -348,7 +348,7 @@ edge: {sourcename: "n722" targetname: "n722n717" label: "0" class:16 priority:10
 edge: {sourcename: "n722" targetname: "n721" label: "1" class:16 priority:10}
 node: {title: "n712" label: "AddP 712"  info1: "Add 712
   mode:    P
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   2
   pred nodes:
@@ -360,7 +360,7 @@ node: {title: "n712" label: "AddP 712"  info1: "Add 712
 }
 node: {title: "n712n492" label: "SymC &a 492"  info1: "SymC &a 492
   mode:    P
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   0
   pred nodes:
@@ -375,7 +375,7 @@ node: {title: "n712n492" label: "SymC &a 492"  info1: "SymC &a 492
 }
 node: {title: "n712n710" label: "0x5CIs 710"  info1: "0x5C 710
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   0
   pred nodes:
@@ -388,7 +388,7 @@ edge: {sourcename: "n712" targetname: "n712n492" label: "0" class:16 priority:10
 edge: {sourcename: "n712" targetname: "n712n710" label: "1" class:16 priority:10}
 node: {title: "n513" label: "AddIs 513"  info1: "Add 513
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   2
   pred nodes:
@@ -401,7 +401,7 @@ node: {title: "n513" label: "AddIs 513"  info1: "Add 513
 }
 node: {title: "n513n506" label: "0x13Is 506"  info1: "0x13 506
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   0
   pred nodes:
@@ -415,7 +415,7 @@ edge: {sourcename: "n513" targetname: "n513n506" label: "0" class:16 priority:10
 edge: {sourcename: "n513" targetname: "n533" label: "1" class:16 priority:10}
 node: {title: "n519" label: "Jmp 519"  info1: "Jmp 519
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   0
   pred nodes:
@@ -426,7 +426,7 @@ node: {title: "n519" label: "Jmp 519"  info1: "Jmp 519
 }
 node: {title: "n704" label: "AddIs 704"  info1: "Add 704
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   2
   pred nodes:
@@ -438,7 +438,7 @@ node: {title: "n704" label: "AddIs 704"  info1: "Add 704
 }
 node: {title: "n704n703" label: "0xFFFFFFFFIs 703"  info1: "0xFFFFFFFF 703
   mode:    Is
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   0
   pred nodes:
@@ -455,7 +455,7 @@ graph: { title: "n479"  label: "Block 479" status:clustered color:yellow
 edge: {sourcename: "n479" targetname: "n483" label: "0" class:13 priority:60 color:red}
 node: {title: "n486" label: "ProjM 1 486"  info1: "Proj 486
   mode:    M
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   1
   pred nodes:
@@ -468,7 +468,7 @@ color: yellow}
 edge: {sourcename: "n486" targetname: "n480" label: "0" class:17 priority:10 color:blue}
 node: {title: "n483" label: "ProjX 0 483"  info1: "Proj 483
   mode:    X
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   1
   pred nodes:
@@ -481,7 +481,7 @@ color: yellow}
 edge: {sourcename: "n483" targetname: "n480" label: "0" class:13 priority:60 color:red}
 node: {title: "n480" label: "Start 480"  info1: "Start 480
   mode:    T
-  visited: 28
+  visited: 27
   irg:     STRENGTH_RED_EXAMPLE_m7
   arity:   0
   pred nodes: