From: FIRM Projekt Account Date: Mon, 30 May 2005 08:30:22 +0000 (+0000) Subject: Visit count is one less yet X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=de88ae8b92079e68a49b87916daad3bdbcfd2c44;p=libfirm 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 15c634c7c..8fc73f380 100644 --- 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 6c71d9b9b..9791a49b1 100644 --- 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 1d726f686..6c3b30b18 100644 --- 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 389b2f2e7..1b1dc52fb 100644 --- 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 411c1330e..6bc392ba7 100644 --- 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 6ef61f6cb..9fb4d9e0b 100644 --- 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 c170f9454..214fdf591 100644 --- 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: