changed layout of node info

[r4775]

diff --git a/testprograms/ref-results/All_graphs.vcg b/testprograms/ref-results/All_graphs.vcg
index a4f8bc6..72ac378 100644 (file)
--- a/testprograms/ref-results/All_graphs.vcg
+++ b/testprograms/ref-results/All_graphs.vcg
@@ -94,7 +94,8 @@ node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
     -1:    Block 40
      0:    Call 54
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 104
   backedges:
 "
@@ -109,7 +110,8 @@ node: {title: "n203" label: "FilterIs 0 203"  info1: "Filter 203
     -1:    Block 40
      0:    Proj 57
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Add 106
   backedges:
 "
@@ -128,7 +130,8 @@ node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
     -1:    Block 197
      0:    Call 50
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 81
   backedges:
 "
@@ -415,7 +418,8 @@ node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
     -1:    Block 64
      0:    Start PRIMA_set_a 65
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 47
   backedges:
 "
@@ -430,7 +434,8 @@ node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
     -1:    Block 64
      0:    Proj 72
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 48
   backedges:
 "
@@ -445,7 +450,8 @@ node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
     -1:    Block 64
      0:    Proj 72
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    0x2 41
   backedges:
 "
@@ -614,7 +620,8 @@ node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
     -1:    Block 87
      0:    Start PRIMA_c 88
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Filter 196
   backedges:
 "
@@ -629,7 +636,8 @@ node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
     -1:    Block 87
      0:    Proj 95
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 48
   backedges:
 "
@@ -644,7 +652,8 @@ node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
     -1:    Block 87
      0:    Proj 95
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    0x5 42
   backedges:
 "

diff --git a/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg b/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg
index 6fb6cbe..a97c8bc 100644 (file)
--- a/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg
+++ b/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg
@@ -61,7 +61,8 @@ node: {title: "n22" label: "Block  22"  info1: "Block 22
      0:    Proj 26
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red}
@@ -99,7 +100,8 @@ node: {title: "n32" label: "Block  32"  info1: "Block 32
      0:    Proj 26
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red}
@@ -213,7 +215,8 @@ node: {title: "n20" label: "Block  20"  info1: "Block 20
      0:    Return 39
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n20" targetname: "n39" label: "0" class:13 priority:60 color:red}

diff --git a/testprograms/ref-results/IF_WHILE_EXAMPLE_main-pure.vcg b/testprograms/ref-results/IF_WHILE_EXAMPLE_main-pure.vcg
index 4d3e4b9..357f49f 100644 (file)
--- a/testprograms/ref-results/IF_WHILE_EXAMPLE_main-pure.vcg
+++ b/testprograms/ref-results/IF_WHILE_EXAMPLE_main-pure.vcg
@@ -86,7 +86,8 @@ node: {title: "n22" label: "Block  22"  info1: "Block 22
      0:    Proj 26
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red}
@@ -167,7 +168,8 @@ node: {title: "n46" label: "Block  46"  info1: "Block 46
      0:    Proj 45
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n46" targetname: "n45" label: "0" class:13 priority:60 color:red}
@@ -191,7 +193,8 @@ node: {title: "n32" label: "Block  32"  info1: "Block 32
      0:    Proj 26
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red}
@@ -216,7 +219,8 @@ node: {title: "n38" label: "Block  38"  info1: "Block 38
      1:    Jmp 47
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n38" targetname: "n35" label: "0" class:13 priority:60 color:red}
@@ -243,7 +247,8 @@ node: {title: "n60" label: "Block  60"  info1: "Block 60
      0:    Proj 44
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n60" targetname: "n44" label: "0" class:13 priority:60 color:red}
@@ -357,7 +362,8 @@ node: {title: "n20" label: "Block  20"  info1: "Block 20
      0:    Return 76
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n20" targetname: "n76" label: "0" class:13 priority:60 color:red}

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg
index ef737fd..532d5e9 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg
@@ -94,7 +94,8 @@ node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
     -1:    Block 40
      0:    Call 54
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 104
   backedges:
 "
@@ -109,7 +110,8 @@ node: {title: "n203" label: "FilterIs 0 203"  info1: "Filter 203
     -1:    Block 40
      0:    Proj 57
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Add 106
   backedges:
 "
@@ -128,7 +130,8 @@ node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
     -1:    Block 197
      0:    Call 50
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 81
   backedges:
 "
@@ -415,7 +418,8 @@ node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
     -1:    Block 64
      0:    Start PRIMA_set_a 65
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 47
   backedges:
 "
@@ -430,7 +434,8 @@ node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
     -1:    Block 64
      0:    Proj 72
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 48
   backedges:
 "
@@ -445,7 +450,8 @@ node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
     -1:    Block 64
      0:    Proj 72
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    0x2 41
   backedges:
 "
@@ -614,7 +620,8 @@ node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
     -1:    Block 87
      0:    Start PRIMA_c 88
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Filter 196
   backedges:
 "
@@ -629,7 +636,8 @@ node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
     -1:    Block 87
      0:    Proj 95
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 48
   backedges:
 "
@@ -644,7 +652,8 @@ node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
     -1:    Block 87
      0:    Proj 95
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    0x5 42
   backedges:
 "

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg
index 6299ed3..3665226 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg
@@ -60,10 +60,12 @@ node: {title: "n30" label: "Block  30"  info1: "Block 30
   pred nodes:
      0:    Proj 34
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 34
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
@@ -100,10 +102,12 @@ node: {title: "n191" label: "Block  191"  info1: "Block 191
   pred nodes:
      0:    Proj 34
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 34
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
@@ -158,10 +162,12 @@ node: {title: "n64" label: "Block  64"  info1: "Block 64
   pred nodes:
      0:    Proj 68
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 195
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
@@ -200,10 +206,12 @@ node: {title: "n74" label: "Block  74"  info1: "Block 74
   pred nodes:
      0:    Proj 68
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 68
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
@@ -226,10 +234,12 @@ node: {title: "n188" label: "Block  188"  info1: "Block 188
   pred nodes:
      0:    Jmp 187
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Jmp 187
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
@@ -265,10 +275,12 @@ node: {title: "n197" label: "Block  197"  info1: "Block 197
   pred nodes:
      0:    Break 192
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 194
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red}
@@ -323,10 +335,12 @@ node: {title: "n87" label: "Block  87"  info1: "Block 87
   pred nodes:
      0:    Proj 91
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 201
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
@@ -365,10 +379,12 @@ node: {title: "n97" label: "Block  97"  info1: "Block 97
   pred nodes:
      0:    Proj 91
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 91
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
@@ -391,10 +407,12 @@ node: {title: "n180" label: "Block  180"  info1: "Block 180
   pred nodes:
      0:    Jmp 179
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Jmp 179
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
@@ -430,10 +448,12 @@ node: {title: "n40" label: "Block  40"  info1: "Block 40
   pred nodes:
      0:    Break 198
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 200
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
@@ -446,7 +466,8 @@ node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
     -1:    Block 87
      0:    Proj 95
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    0x5 42
   backedges:
 "
@@ -530,7 +551,8 @@ node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
     -1:    Block 87
      0:    Proj 95
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 48
   backedges:
 "
@@ -546,7 +568,8 @@ node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
     -1:    Block 64
      0:    Proj 72
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    0x2 41
   backedges:
 "
@@ -573,7 +596,8 @@ node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
     -1:    Block 64
      0:    Proj 72
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 48
   backedges:
 "
@@ -602,7 +626,8 @@ node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
     -1:    Block 64
      0:    Start PRIMA_set_a 65
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 47
   backedges:
 "
@@ -667,7 +692,8 @@ node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
     -1:    Block 197
      0:    Call 50
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 81
   backedges:
 "
@@ -683,7 +709,8 @@ node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
     -1:    Block 87
      0:    Start PRIMA_c 88
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Filter 196
   backedges:
 "
@@ -762,7 +789,8 @@ node: {title: "n203" label: "FilterIs 0 203"  info1: "Filter 203
     -1:    Block 40
      0:    Proj 57
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Add 106
   backedges:
 "
@@ -791,7 +819,8 @@ node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
     -1:    Block 40
      0:    Call 54
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 104
   backedges:
 "
@@ -821,10 +850,12 @@ node: {title: "n28" label: "Block  28"  info1: "Block 28
   pred nodes:
      0:    Return 59
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Return 59
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg
index 85ddb82..5498d73 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg
@@ -60,10 +60,12 @@ node: {title: "n30" label: "Block  30"  info1: "Block 30
   pred nodes:
      0:    Proj 34
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 34
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
@@ -100,10 +102,12 @@ node: {title: "n191" label: "Block  191"  info1: "Block 191
   pred nodes:
      0:    Proj 34
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 34
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
@@ -158,10 +162,12 @@ node: {title: "n64" label: "Block  64"  info1: "Block 64
   pred nodes:
      0:    Proj 68
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 195
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
@@ -200,10 +206,12 @@ node: {title: "n74" label: "Block  74"  info1: "Block 74
   pred nodes:
      0:    Proj 68
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 68
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
@@ -226,10 +234,12 @@ node: {title: "n188" label: "Block  188"  info1: "Block 188
   pred nodes:
      0:    Jmp 187
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Jmp 187
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
@@ -265,10 +275,12 @@ node: {title: "n197" label: "Block  197"  info1: "Block 197
   pred nodes:
      0:    Break 192
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 194
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red}
@@ -323,10 +335,12 @@ node: {title: "n87" label: "Block  87"  info1: "Block 87
   pred nodes:
      0:    Proj 91
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 201
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
@@ -365,10 +379,12 @@ node: {title: "n97" label: "Block  97"  info1: "Block 97
   pred nodes:
      0:    Proj 91
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 91
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
@@ -391,10 +407,12 @@ node: {title: "n180" label: "Block  180"  info1: "Block 180
   pred nodes:
      0:    Jmp 179
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Jmp 179
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
@@ -430,10 +448,12 @@ node: {title: "n40" label: "Block  40"  info1: "Block 40
   pred nodes:
      0:    Break 198
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 200
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
@@ -446,7 +466,8 @@ node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
     -1:    Block 87
      0:    Proj 95
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    0x5 42
   backedges:
 "
@@ -530,7 +551,8 @@ node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
     -1:    Block 87
      0:    Proj 95
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 48
   backedges:
 "
@@ -546,7 +568,8 @@ node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
     -1:    Block 64
      0:    Proj 72
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    0x2 41
   backedges:
 "
@@ -573,7 +596,8 @@ node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
     -1:    Block 64
      0:    Proj 72
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 48
   backedges:
 "
@@ -602,7 +626,8 @@ node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
     -1:    Block 64
      0:    Start PRIMA_set_a 65
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 47
   backedges:
 "
@@ -667,7 +692,8 @@ node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
     -1:    Block 197
      0:    Call 50
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 81
   backedges:
 "
@@ -683,7 +709,8 @@ node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
     -1:    Block 87
      0:    Start PRIMA_c 88
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Filter 196
   backedges:
 "
@@ -762,7 +789,8 @@ node: {title: "n203" label: "FilterIs 0 203"  info1: "Filter 203
     -1:    Block 40
      0:    Proj 57
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Add 106
   backedges:
 "
@@ -791,7 +819,8 @@ node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
     -1:    Block 40
      0:    Call 54
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 104
   backedges:
 "
@@ -821,10 +850,12 @@ node: {title: "n28" label: "Block  28"  info1: "Block 28
   pred nodes:
      0:    Return 59
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Return 59
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg
index 691a327..44b1829 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg
@@ -61,7 +61,8 @@ node: {title: "n30" label: "Block  30"  info1: "Block 30
      0:    Proj 34
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
@@ -99,7 +100,8 @@ node: {title: "n40" label: "Block  40"  info1: "Block 40
      0:    Proj 34
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n40" targetname: "n34" label: "0" class:13 priority:60 color:red}
@@ -354,7 +356,8 @@ node: {title: "n28" label: "Block  28"  info1: "Block 28
      0:    Return 59
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg
index 246b071..61727d9 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg
@@ -61,7 +61,8 @@ node: {title: "n30" label: "Block  30"  info1: "Block 30
      0:    Proj 34
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
@@ -99,7 +100,8 @@ node: {title: "n40" label: "Block  40"  info1: "Block 40
      0:    Proj 34
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n40" targetname: "n34" label: "0" class:13 priority:60 color:red}
@@ -354,7 +356,8 @@ node: {title: "n28" label: "Block  28"  info1: "Block 28
      0:    Return 59
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg
index 4479caf..c845bb8 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg
@@ -94,7 +94,8 @@ node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
     -1:    Block 40
      0:    Call 54
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 104
   backedges:
 "
@@ -109,7 +110,8 @@ node: {title: "n203" label: "FilterIs 0 203"  info1: "Filter 203
     -1:    Block 40
      0:    Proj 57
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Add 106
   backedges:
 "
@@ -128,7 +130,8 @@ node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
     -1:    Block 197
      0:    Call 50
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 81
   backedges:
 "
@@ -415,7 +418,8 @@ node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
     -1:    Block 64
      0:    Start PRIMA_set_a 65
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 47
   backedges:
 "
@@ -430,7 +434,8 @@ node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
     -1:    Block 64
      0:    Proj 72
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 48
   backedges:
 "
@@ -445,7 +450,8 @@ node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
     -1:    Block 64
      0:    Proj 72
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    0x2 41
   backedges:
 "
@@ -614,7 +620,8 @@ node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
     -1:    Block 87
      0:    Start PRIMA_c 88
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Filter 196
   backedges:
 "
@@ -629,7 +636,8 @@ node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
     -1:    Block 87
      0:    Proj 95
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    Proj 48
   backedges:
 "
@@ -644,7 +652,8 @@ node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
     -1:    Block 87
      0:    Proj 95
   Private Attributes:
-  inter arity: 1  inter pred nodes:
+  inter arity: 1
+  inter pred nodes:
      0:    0x5 42
   backedges:
 "

diff --git a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg
index 3b829c5..7d536eb 100644 (file)
--- a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg
+++ b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg
@@ -61,7 +61,8 @@ node: {title: "n87" label: "Block  87"  info1: "Block 87
      0:    Proj 91
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n87" targetname: "n91" label: "0" class:13 priority:60 color:red}
@@ -101,7 +102,8 @@ node: {title: "n97" label: "Block  97"  info1: "Block 97
      0:    Proj 91
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
@@ -259,7 +261,8 @@ node: {title: "n85" label: "Block  85"  info1: "Block 85
      0:    Return 107
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n85" targetname: "n107" label: "0" class:13 priority:60 color:red}

diff --git a/testprograms/ref-results/PRIMA_c-pure.vcg b/testprograms/ref-results/PRIMA_c-pure.vcg
index c8859dd..426ce0c 100644 (file)
--- a/testprograms/ref-results/PRIMA_c-pure.vcg
+++ b/testprograms/ref-results/PRIMA_c-pure.vcg
@@ -61,7 +61,8 @@ node: {title: "n87" label: "Block  87"  info1: "Block 87
      0:    Proj 91
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n87" targetname: "n91" label: "0" class:13 priority:60 color:red}
@@ -101,7 +102,8 @@ node: {title: "n97" label: "Block  97"  info1: "Block 97
      0:    Proj 91
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
@@ -259,7 +261,8 @@ node: {title: "n85" label: "Block  85"  info1: "Block 85
      0:    Return 107
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n85" targetname: "n107" label: "0" class:13 priority:60 color:red}

diff --git a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg
index 8274f9c..fa06e32 100644 (file)
--- a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg
+++ b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg
@@ -61,7 +61,8 @@ node: {title: "n64" label: "Block  64"  info1: "Block 64
      0:    Proj 68
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n64" targetname: "n68" label: "0" class:13 priority:60 color:red}
@@ -101,7 +102,8 @@ node: {title: "n74" label: "Block  74"  info1: "Block 74
      0:    Proj 68
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
@@ -229,7 +231,8 @@ node: {title: "n62" label: "Block  62"  info1: "Block 62
      0:    Return 82
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n62" targetname: "n82" label: "0" class:13 priority:60 color:red}

diff --git a/testprograms/ref-results/PRIMA_set_a-pure.vcg b/testprograms/ref-results/PRIMA_set_a-pure.vcg
index 47261c0..d001d97 100644 (file)
--- a/testprograms/ref-results/PRIMA_set_a-pure.vcg
+++ b/testprograms/ref-results/PRIMA_set_a-pure.vcg
@@ -61,7 +61,8 @@ node: {title: "n64" label: "Block  64"  info1: "Block 64
      0:    Proj 68
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n64" targetname: "n68" label: "0" class:13 priority:60 color:red}
@@ -101,7 +102,8 @@ node: {title: "n74" label: "Block  74"  info1: "Block 74
      0:    Proj 68
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
@@ -229,7 +231,8 @@ node: {title: "n62" label: "Block  62"  info1: "Block 62
      0:    Return 82
   Private Attributes:
   backedges:
-  block visited: 0  dominator info: not implemented
+  block visited: 0
+  dominator info: output not implemented
 "
 color: lightyellow}
 edge: {sourcename: "n62" targetname: "n82" label: "0" class:13 priority:60 color:red}

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 e60c4af..d7ebc3c 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg
@@ -67,6 +67,7 @@ node: {title: "n120" label: "PhiM  120"  info1: "Phi 120
      1:    Proj 112
   Private Attributes:
   backedges:
+  in loop 529 with depth 1
 "
 color: green}
 edge: {sourcename: "n120" targetname: "n91" label: "0" class:17 priority:10 color:blue}
@@ -106,6 +107,7 @@ node: {title: "n555n59" label: "0x4Is  59"  info1: "0x4 59
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -119,6 +121,7 @@ node: {title: "n100" label: "Jmp  100"  info1: "Jmp 100
   pred nodes:
     -1:    Block 93
   Private Attributes:
+  in loop 527 with depth 1
 "
 }
 }
@@ -137,6 +140,7 @@ node: {title: "n91" label: "PhiM  91"  info1: "Phi 91
      1:    Proj 83
   Private Attributes:
   backedges:
+  in loop 526 with depth 1
 "
 color: green}
 edge: {sourcename: "n91" targetname: "n43" label: "0" class:17 priority:10 color:blue}
@@ -162,6 +166,7 @@ node: {title: "n550n62" label: "SymC &a2  62"  info1: "SymC &a2 62
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a2 (32)
 
@@ -191,6 +196,7 @@ node: {title: "n542n61" label: "SymC &a  61"  info1: "SymC &a 61
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (31)
 
@@ -219,6 +225,7 @@ node: {title: "n559n61" label: "SymC &a  61"  info1: "SymC &a 61
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (31)
 
@@ -236,6 +243,7 @@ node: {title: "n55" label: "ProjX 0 55"  info1: "Proj 55
     -1:    Block 49
      0:    Cond 54
   Private Attributes:
+  in loop 523 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n55" targetname: "n54" label: "0" class:13 priority:60 color:red}
@@ -248,6 +256,7 @@ node: {title: "n56" label: "ProjX 1 56"  info1: "Proj 56
     -1:    Block 49
      0:    Cond 54
   Private Attributes:
+  in loop 525 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n56" targetname: "n54" label: "0" class:13 priority:60 color:red}
@@ -260,6 +269,7 @@ node: {title: "n54" label: "Cond  54"  info1: "Cond 54
     -1:    Block 49
      0:    Proj 53
   Private Attributes:
+  in loop 525 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -274,6 +284,7 @@ node: {title: "n53" label: "Projb Gt 53"  info1: "Proj 53
     -1:    Block 49
      0:    Cmp 52
   Private Attributes:
+  in loop 525 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n53" targetname: "n52" label: "0" class:1  priority:50}
@@ -287,6 +298,7 @@ node: {title: "n52" label: "Cmp  52"  info1: "Cmp 52
      0:    0xA 51
      1:    Phi 92
   Private Attributes:
+  in loop 525 with depth 2
 "
 }
 node: {title: "n52n51" label: "0xAIs  51"  info1: "0xA 51
@@ -297,6 +309,7 @@ node: {title: "n52n51" label: "0xAIs  51"  info1: "0xA 51
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -313,6 +326,7 @@ node: {title: "n92" label: "PhiIs  92"  info1: "Phi 92
      1:    Add 84
   Private Attributes:
   backedges:
+  in loop 524 with depth 1
 "
 color: green}
 node: {title: "n92n47" label: "0x0Is  47"  info1: "0x0 47
@@ -323,6 +337,7 @@ node: {title: "n92n47" label: "0x0Is  47"  info1: "0x0 47
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -340,6 +355,7 @@ node: {title: "n48" label: "Jmp  48"  info1: "Jmp 48
   pred nodes:
     -1:    Block 46
   Private Attributes:
+  in loop 523 with depth 0
 "
 }
 }
@@ -355,6 +371,7 @@ node: {title: "n83" label: "ProjM 0 83"  info1: "Proj 83
     -1:    Block 57
      0:    Store 81
   Private Attributes:
+  in loop 526 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n83" targetname: "n81" label: "0" class:17 priority:10 color:blue}
@@ -370,6 +387,7 @@ node: {title: "n81" label: "Store  81"  info1: "Store 81
      2:    0xF 80
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 526 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -381,6 +399,7 @@ node: {title: "n81n80" label: "0xFIs  80"  info1: "0xF 80
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -396,6 +415,7 @@ node: {title: "n76" label: "ProjM 0 76"  info1: "Proj 76
     -1:    Block 57
      0:    Store 74
   Private Attributes:
+  in loop 526 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n76" targetname: "n74" label: "0" class:17 priority:10 color:blue}
@@ -411,6 +431,7 @@ node: {title: "n74" label: "Store  74"  info1: "Store 74
      2:    0x10 73
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 526 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -422,6 +443,7 @@ node: {title: "n74n73" label: "0x10Is  73"  info1: "0x10 73
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -437,6 +459,7 @@ node: {title: "n72" label: "ProjM 0 72"  info1: "Proj 72
     -1:    Block 57
      0:    Store 70
   Private Attributes:
+  in loop 526 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n72" targetname: "n70" label: "0" class:17 priority:10 color:blue}
@@ -452,6 +475,7 @@ node: {title: "n70" label: "Store  70"  info1: "Store 70
      2:    0x13 68
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 526 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -463,6 +487,7 @@ node: {title: "n70n68" label: "0x13Is  68"  info1: "0x13 68
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -489,6 +514,7 @@ node: {title: "n551n60" label: "0xCIs  60"  info1: "0xC 60
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -514,6 +540,7 @@ node: {title: "n543n59" label: "0x4Is  59"  info1: "0x4 59
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -527,6 +554,7 @@ node: {title: "n85" label: "Jmp  85"  info1: "Jmp 85
   pred nodes:
     -1:    Block 57
   Private Attributes:
+  in loop 525 with depth 2
 "
 }
 node: {title: "n84" label: "AddIs  84"  info1: "Add 84
@@ -539,6 +567,7 @@ node: {title: "n84" label: "AddIs  84"  info1: "Add 84
      0:    0x1 58
      1:    Phi 92
   Private Attributes:
+  in loop 524 with depth 1
 "
 }
 node: {title: "n84n58" label: "0x1Is  58"  info1: "0x1 58
@@ -549,6 +578,7 @@ node: {title: "n84n58" label: "0x1Is  58"  info1: "0x1 58
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -567,6 +597,7 @@ node: {title: "n112" label: "ProjM 0 112"  info1: "Proj 112
     -1:    Block 103
      0:    Store 110
   Private Attributes:
+  in loop 529 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n112" targetname: "n110" label: "0" class:17 priority:10 color:blue}
@@ -582,6 +613,7 @@ node: {title: "n110" label: "Store  110"  info1: "Store 110
      2:    0x13 68
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 529 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -593,6 +625,7 @@ node: {title: "n110n68" label: "0x13Is  68"  info1: "0x13 68
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -632,6 +665,7 @@ node: {title: "n114" label: "Jmp  114"  info1: "Jmp 114
   pred nodes:
     -1:    Block 103
   Private Attributes:
+  in loop 527 with depth 1
 "
 }
 }
@@ -649,6 +683,7 @@ node: {title: "n35" label: "End  35"  info1: "End 35
      1:    Block 93
      2:    Phi 120
   Private Attributes:
+  in loop 523 with depth 0
 "
 color: blue}
 }
@@ -661,6 +696,7 @@ node: {title: "n34n38" label: "Bad  38"  info1: "Bad 38
     -1:    Block 36
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 523 with depth 0
 "
 }
 
@@ -675,6 +711,7 @@ node: {title: "n43" label: "ProjM 1 43"  info1: "Proj 43
     -1:    Block 36
      0:    Start 37
   Private Attributes:
+  in loop 523 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n43" targetname: "n37" label: "0" class:17 priority:10 color:blue}
@@ -687,6 +724,7 @@ node: {title: "n40" label: "ProjX 0 40"  info1: "Proj 40
     -1:    Block 36
      0:    Start 37
   Private Attributes:
+  in loop 523 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n40" targetname: "n37" label: "0" class:13 priority:60 color:red}
@@ -698,6 +736,7 @@ node: {title: "n37" label: "Start  37"  info1: "Start 37
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1.vcg
index d09eb81..43fb316 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1.vcg
@@ -67,6 +67,7 @@ node: {title: "n120" label: "PhiM  120"  info1: "Phi 120
      1: be Proj 112
   Private Attributes:
   backedges:  1
+  in loop 529 with depth 1
 "
 color: green}
 edge: {sourcename: "n120" targetname: "n91" label: "0" class:17 priority:10 color:blue}
@@ -82,6 +83,7 @@ node: {title: "n119" label: "PhiIs  119"  info1: "Phi 119
      1: be Sub 113
   Private Attributes:
   backedges:  1
+  in loop 528 with depth 1
 "
 color: green}
 edge: {sourcename: "n119" targetname: "n92" label: "0" class:16 priority:10}
@@ -94,6 +96,7 @@ node: {title: "n100" label: "Jmp  100"  info1: "Jmp 100
   pred nodes:
     -1:    Block 93
   Private Attributes:
+  in loop 527 with depth 1
 "
 }
 }
@@ -112,6 +115,7 @@ node: {title: "n91" label: "PhiM  91"  info1: "Phi 91
      1: be Proj 83
   Private Attributes:
   backedges:  1
+  in loop 526 with depth 1
 "
 color: green}
 edge: {sourcename: "n91" targetname: "n43" label: "0" class:17 priority:10 color:blue}
@@ -125,6 +129,7 @@ node: {title: "n55" label: "ProjX 0 55"  info1: "Proj 55
     -1:    Block 49
      0:    Cond 54
   Private Attributes:
+  in loop 523 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n55" targetname: "n54" label: "0" class:13 priority:60 color:red}
@@ -137,6 +142,7 @@ node: {title: "n56" label: "ProjX 1 56"  info1: "Proj 56
     -1:    Block 49
      0:    Cond 54
   Private Attributes:
+  in loop 525 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n56" targetname: "n54" label: "0" class:13 priority:60 color:red}
@@ -149,6 +155,7 @@ node: {title: "n54" label: "Cond  54"  info1: "Cond 54
     -1:    Block 49
      0:    Proj 53
   Private Attributes:
+  in loop 525 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -163,6 +170,7 @@ node: {title: "n53" label: "Projb Gt 53"  info1: "Proj 53
     -1:    Block 49
      0:    Cmp 52
   Private Attributes:
+  in loop 525 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n53" targetname: "n52" label: "0" class:1  priority:50}
@@ -176,6 +184,7 @@ node: {title: "n52" label: "Cmp  52"  info1: "Cmp 52
      0:    0xA 51
      1:    Phi 92
   Private Attributes:
+  in loop 525 with depth 2
 "
 }
 node: {title: "n52n51" label: "0xAIs  51"  info1: "0xA 51
@@ -186,6 +195,7 @@ node: {title: "n52n51" label: "0xAIs  51"  info1: "0xA 51
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -202,6 +212,7 @@ node: {title: "n92" label: "PhiIs  92"  info1: "Phi 92
      1: be Add 84
   Private Attributes:
   backedges:  1
+  in loop 524 with depth 1
 "
 color: green}
 node: {title: "n92n47" label: "0x0Is  47"  info1: "0x0 47
@@ -212,6 +223,7 @@ node: {title: "n92n47" label: "0x0Is  47"  info1: "0x0 47
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -229,6 +241,7 @@ node: {title: "n48" label: "Jmp  48"  info1: "Jmp 48
   pred nodes:
     -1:    Block 46
   Private Attributes:
+  in loop 523 with depth 0
 "
 }
 }
@@ -244,6 +257,7 @@ node: {title: "n83" label: "ProjM 0 83"  info1: "Proj 83
     -1:    Block 57
      0:    Store 81
   Private Attributes:
+  in loop 526 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n83" targetname: "n81" label: "0" class:17 priority:10 color:blue}
@@ -259,6 +273,7 @@ node: {title: "n81" label: "Store  81"  info1: "Store 81
      2:    0xF 80
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 526 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -270,6 +285,7 @@ node: {title: "n81n80" label: "0xFIs  80"  info1: "0xF 80
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -285,6 +301,7 @@ node: {title: "n76" label: "ProjM 0 76"  info1: "Proj 76
     -1:    Block 57
      0:    Store 74
   Private Attributes:
+  in loop 526 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n76" targetname: "n74" label: "0" class:17 priority:10 color:blue}
@@ -300,6 +317,7 @@ node: {title: "n74" label: "Store  74"  info1: "Store 74
      2:    0x10 73
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 526 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -311,6 +329,7 @@ node: {title: "n74n73" label: "0x10Is  73"  info1: "0x10 73
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -326,6 +345,7 @@ node: {title: "n72" label: "ProjM 0 72"  info1: "Proj 72
     -1:    Block 57
      0:    Store 70
   Private Attributes:
+  in loop 526 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n72" targetname: "n70" label: "0" class:17 priority:10 color:blue}
@@ -341,6 +361,7 @@ node: {title: "n70" label: "Store  70"  info1: "Store 70
      2:    0x13 68
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 526 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -352,6 +373,7 @@ node: {title: "n70n68" label: "0x13Is  68"  info1: "0x13 68
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -368,6 +390,7 @@ node: {title: "n67" label: "AddP  67"  info1: "Add 67
      0:    SymC &a2 62
      1:    Mul 66
   Private Attributes:
+  in loop 523 with depth 0
 "
 }
 node: {title: "n67n62" label: "SymC &a2  62"  info1: "SymC &a2 62
@@ -378,6 +401,7 @@ node: {title: "n67n62" label: "SymC &a2  62"  info1: "SymC &a2 62
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a2 (32)
 
@@ -396,6 +420,7 @@ node: {title: "n66" label: "MulIs  66"  info1: "Mul 66
      0:    0xC 60
      1:    Phi 92
   Private Attributes:
+  in loop 523 with depth 0
 "
 }
 node: {title: "n66n60" label: "0xCIs  60"  info1: "0xC 60
@@ -406,6 +431,7 @@ node: {title: "n66n60" label: "0xCIs  60"  info1: "0xC 60
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -421,6 +447,7 @@ node: {title: "n65" label: "AddP  65"  info1: "Add 65
      0:    SymC &a 61
      1:    Mul 64
   Private Attributes:
+  in loop 523 with depth 0
 "
 }
 node: {title: "n65n61" label: "SymC &a  61"  info1: "SymC &a 61
@@ -431,6 +458,7 @@ node: {title: "n65n61" label: "SymC &a  61"  info1: "SymC &a 61
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (31)
 
@@ -449,6 +477,7 @@ node: {title: "n64" label: "MulIs  64"  info1: "Mul 64
      0:    0x4 59
      1:    Phi 92
   Private Attributes:
+  in loop 523 with depth 0
 "
 }
 node: {title: "n64n59" label: "0x4Is  59"  info1: "0x4 59
@@ -459,6 +488,7 @@ node: {title: "n64n59" label: "0x4Is  59"  info1: "0x4 59
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -472,6 +502,7 @@ node: {title: "n85" label: "Jmp  85"  info1: "Jmp 85
   pred nodes:
     -1:    Block 57
   Private Attributes:
+  in loop 525 with depth 2
 "
 }
 node: {title: "n84" label: "AddIs  84"  info1: "Add 84
@@ -484,6 +515,7 @@ node: {title: "n84" label: "AddIs  84"  info1: "Add 84
      0:    0x1 58
      1:    Phi 92
   Private Attributes:
+  in loop 524 with depth 1
 "
 }
 node: {title: "n84n58" label: "0x1Is  58"  info1: "0x1 58
@@ -494,6 +526,7 @@ node: {title: "n84n58" label: "0x1Is  58"  info1: "0x1 58
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -512,6 +545,7 @@ node: {title: "n112" label: "ProjM 0 112"  info1: "Proj 112
     -1:    Block 103
      0:    Store 110
   Private Attributes:
+  in loop 529 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n112" targetname: "n110" label: "0" class:17 priority:10 color:blue}
@@ -527,6 +561,7 @@ node: {title: "n110" label: "Store  110"  info1: "Store 110
      2:    0x13 68
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 529 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -538,6 +573,7 @@ node: {title: "n110n68" label: "0x13Is  68"  info1: "0x13 68
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -554,6 +590,7 @@ node: {title: "n107" label: "AddP  107"  info1: "Add 107
      0:    SymC &a 61
      1:    Mul 106
   Private Attributes:
+  in loop 523 with depth 0
 "
 }
 node: {title: "n107n61" label: "SymC &a  61"  info1: "SymC &a 61
@@ -564,6 +601,7 @@ node: {title: "n107n61" label: "SymC &a  61"  info1: "SymC &a 61
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (31)
 
@@ -582,6 +620,7 @@ node: {title: "n106" label: "MulIs  106"  info1: "Mul 106
      0:    0x4 59
      1:    Phi 119
   Private Attributes:
+  in loop 523 with depth 0
 "
 }
 node: {title: "n106n59" label: "0x4Is  59"  info1: "0x4 59
@@ -592,6 +631,7 @@ node: {title: "n106n59" label: "0x4Is  59"  info1: "0x4 59
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -607,6 +647,7 @@ node: {title: "n113" label: "SubIs  113"  info1: "Sub 113
      0:    Phi 119
      1:    0x1 58
   Private Attributes:
+  in loop 528 with depth 1
 "
 }
 node: {title: "n113n58" label: "0x1Is  58"  info1: "0x1 58
@@ -617,6 +658,7 @@ node: {title: "n113n58" label: "0x1Is  58"  info1: "0x1 58
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -630,6 +672,7 @@ node: {title: "n114" label: "Jmp  114"  info1: "Jmp 114
   pred nodes:
     -1:    Block 103
   Private Attributes:
+  in loop 527 with depth 1
 "
 }
 }
@@ -647,6 +690,7 @@ node: {title: "n35" label: "End  35"  info1: "End 35
      1:    Block 93
      2:    Phi 120
   Private Attributes:
+  in loop 523 with depth 0
 "
 color: blue}
 }
@@ -659,6 +703,7 @@ node: {title: "n34n38" label: "Bad  38"  info1: "Bad 38
     -1:    Block 36
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 523 with depth 0
 "
 }
 
@@ -673,6 +718,7 @@ node: {title: "n43" label: "ProjM 1 43"  info1: "Proj 43
     -1:    Block 36
      0:    Start 37
   Private Attributes:
+  in loop 523 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n43" targetname: "n37" label: "0" class:17 priority:10 color:blue}
@@ -685,6 +731,7 @@ node: {title: "n40" label: "ProjX 0 40"  info1: "Proj 40
     -1:    Block 36
      0:    Start 37
   Private Attributes:
+  in loop 523 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n40" targetname: "n37" label: "0" class:13 priority:60 color:red}
@@ -696,6 +743,7 @@ node: {title: "n37" label: "Start  37"  info1: "Start 37
   pred nodes:
     -1:    Block 36
   Private Attributes:
+  in loop 523 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "

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 e771bec..9538ab5 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg
@@ -64,6 +64,7 @@ node: {title: "n138" label: "End  138"  info1: "End 138
     -1:    Block 137
      0:    Phi 190
   Private Attributes:
+  in loop 560 with depth 0
 "
 color: blue}
 }
@@ -80,6 +81,7 @@ node: {title: "n186" label: "Return  186"  info1: "Return 186
      0:    Phi 190
      1:    0x4 165
   Private Attributes:
+  in loop 560 with depth 0
   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
     res 0 type: int
 "
@@ -92,6 +94,7 @@ node: {title: "n186n165" label: "0x4Is  165"  info1: "0x4 165
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -113,6 +116,7 @@ node: {title: "n190" label: "PhiM  190"  info1: "Phi 190
      1:    Proj 175
   Private Attributes:
   backedges:
+  in loop 563 with depth 1
 "
 color: green}
 edge: {sourcename: "n190" targetname: "n146" label: "0" class:17 priority:10 color:blue}
@@ -138,6 +142,7 @@ node: {title: "n573n150" label: "0x0Is  150"  info1: "0x0 150
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -164,6 +169,7 @@ node: {title: "n580n150" label: "0x0Is  150"  info1: "0x0 150
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -178,6 +184,7 @@ node: {title: "n159" label: "ProjX 0 159"  info1: "Proj 159
     -1:    Block 153
      0:    Cond 158
   Private Attributes:
+  in loop 560 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n159" targetname: "n158" label: "0" class:13 priority:60 color:red}
@@ -190,6 +197,7 @@ node: {title: "n160" label: "ProjX 1 160"  info1: "Proj 160
     -1:    Block 153
      0:    Cond 158
   Private Attributes:
+  in loop 562 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n160" targetname: "n158" label: "0" class:13 priority:60 color:red}
@@ -202,6 +210,7 @@ node: {title: "n158" label: "Cond  158"  info1: "Cond 158
     -1:    Block 153
      0:    Proj 157
   Private Attributes:
+  in loop 562 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -216,6 +225,7 @@ node: {title: "n157" label: "Projb Gt 157"  info1: "Proj 157
     -1:    Block 153
      0:    Cmp 156
   Private Attributes:
+  in loop 562 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n157" targetname: "n156" label: "0" class:1  priority:50}
@@ -229,6 +239,7 @@ node: {title: "n156" label: "Cmp  156"  info1: "Cmp 156
      0:    0xA 155
      1:    Phi 191
   Private Attributes:
+  in loop 562 with depth 2
 "
 }
 node: {title: "n156n155" label: "0xAIs  155"  info1: "0xA 155
@@ -239,6 +250,7 @@ node: {title: "n156n155" label: "0xAIs  155"  info1: "0xA 155
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -255,6 +267,7 @@ node: {title: "n191" label: "PhiIs  191"  info1: "Phi 191
      1:    Add 176
   Private Attributes:
   backedges:
+  in loop 561 with depth 1
 "
 color: green}
 node: {title: "n191n150" label: "0x0Is  150"  info1: "0x0 150
@@ -265,6 +278,7 @@ node: {title: "n191n150" label: "0x0Is  150"  info1: "0x0 150
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -282,6 +296,7 @@ node: {title: "n152" label: "Jmp  152"  info1: "Jmp 152
   pred nodes:
     -1:    Block 149
   Private Attributes:
+  in loop 560 with depth 0
 "
 }
 }
@@ -297,6 +312,7 @@ node: {title: "n175" label: "ProjM 0 175"  info1: "Proj 175
     -1:    Block 161
      0:    Store 173
   Private Attributes:
+  in loop 563 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n175" targetname: "n173" label: "0" class:17 priority:10 color:blue}
@@ -312,6 +328,7 @@ node: {title: "n173" label: "Store  173"  info1: "Store 173
      2:    Phi 580
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 563 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -352,6 +369,7 @@ node: {title: "n574n165" label: "0x4Is  165"  info1: "0x4 165
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -377,6 +395,7 @@ node: {title: "n564n151" label: "SymC &a  151"  info1: "SymC &a 151
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (135)
 
@@ -391,6 +410,7 @@ node: {title: "n564n163" label: "0xDIs  163"  info1: "0xD 163
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -416,6 +436,7 @@ node: {title: "n581n162" label: "0xFIs  162"  info1: "0xF 162
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -429,6 +450,7 @@ node: {title: "n177" label: "Jmp  177"  info1: "Jmp 177
   pred nodes:
     -1:    Block 161
   Private Attributes:
+  in loop 562 with depth 2
 "
 }
 node: {title: "n176" label: "AddIs  176"  info1: "Add 176
@@ -441,6 +463,7 @@ node: {title: "n176" label: "AddIs  176"  info1: "Add 176
      0:    0x1 164
      1:    Phi 191
   Private Attributes:
+  in loop 561 with depth 1
 "
 }
 node: {title: "n176n164" label: "0x1Is  164"  info1: "0x1 164
@@ -451,6 +474,7 @@ node: {title: "n176n164" label: "0x1Is  164"  info1: "0x1 164
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -469,6 +493,7 @@ node: {title: "n146" label: "ProjM 1 146"  info1: "Proj 146
     -1:    Block 139
      0:    Start 140
   Private Attributes:
+  in loop 560 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n146" targetname: "n140" label: "0" class:17 priority:10 color:blue}
@@ -481,6 +506,7 @@ node: {title: "n143" label: "ProjX 0 143"  info1: "Proj 143
     -1:    Block 139
      0:    Start 140
   Private Attributes:
+  in loop 560 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n143" targetname: "n140" label: "0" class:13 priority:60 color:red}
@@ -492,6 +518,7 @@ node: {title: "n140" label: "Start  140"  info1: "Start 140
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2.vcg
index 5bbef0b..eff7d3e 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2.vcg
@@ -64,6 +64,7 @@ node: {title: "n138" label: "End  138"  info1: "End 138
     -1:    Block 137
      0:    Phi 190
   Private Attributes:
+  in loop 560 with depth 0
 "
 color: blue}
 }
@@ -80,6 +81,7 @@ node: {title: "n186" label: "Return  186"  info1: "Return 186
      0:    Phi 190
      1:    0x4 165
   Private Attributes:
+  in loop 560 with depth 0
   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
     res 0 type: int
 "
@@ -92,6 +94,7 @@ node: {title: "n186n165" label: "0x4Is  165"  info1: "0x4 165
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -113,6 +116,7 @@ node: {title: "n190" label: "PhiM  190"  info1: "Phi 190
      1: be Proj 175
   Private Attributes:
   backedges:  1
+  in loop 563 with depth 1
 "
 color: green}
 edge: {sourcename: "n190" targetname: "n146" label: "0" class:17 priority:10 color:blue}
@@ -126,6 +130,7 @@ node: {title: "n159" label: "ProjX 0 159"  info1: "Proj 159
     -1:    Block 153
      0:    Cond 158
   Private Attributes:
+  in loop 560 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n159" targetname: "n158" label: "0" class:13 priority:60 color:red}
@@ -138,6 +143,7 @@ node: {title: "n160" label: "ProjX 1 160"  info1: "Proj 160
     -1:    Block 153
      0:    Cond 158
   Private Attributes:
+  in loop 562 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n160" targetname: "n158" label: "0" class:13 priority:60 color:red}
@@ -150,6 +156,7 @@ node: {title: "n158" label: "Cond  158"  info1: "Cond 158
     -1:    Block 153
      0:    Proj 157
   Private Attributes:
+  in loop 562 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -164,6 +171,7 @@ node: {title: "n157" label: "Projb Gt 157"  info1: "Proj 157
     -1:    Block 153
      0:    Cmp 156
   Private Attributes:
+  in loop 562 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n157" targetname: "n156" label: "0" class:1  priority:50}
@@ -177,6 +185,7 @@ node: {title: "n156" label: "Cmp  156"  info1: "Cmp 156
      0:    0xA 155
      1:    Phi 191
   Private Attributes:
+  in loop 562 with depth 2
 "
 }
 node: {title: "n156n155" label: "0xAIs  155"  info1: "0xA 155
@@ -187,6 +196,7 @@ node: {title: "n156n155" label: "0xAIs  155"  info1: "0xA 155
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -203,6 +213,7 @@ node: {title: "n191" label: "PhiIs  191"  info1: "Phi 191
      1: be Add 176
   Private Attributes:
   backedges:  1
+  in loop 561 with depth 1
 "
 color: green}
 node: {title: "n191n150" label: "0x0Is  150"  info1: "0x0 150
@@ -213,6 +224,7 @@ node: {title: "n191n150" label: "0x0Is  150"  info1: "0x0 150
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -230,6 +242,7 @@ node: {title: "n152" label: "Jmp  152"  info1: "Jmp 152
   pred nodes:
     -1:    Block 149
   Private Attributes:
+  in loop 560 with depth 0
 "
 }
 }
@@ -245,6 +258,7 @@ node: {title: "n175" label: "ProjM 0 175"  info1: "Proj 175
     -1:    Block 161
      0:    Store 173
   Private Attributes:
+  in loop 563 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n175" targetname: "n173" label: "0" class:17 priority:10 color:blue}
@@ -260,6 +274,7 @@ node: {title: "n173" label: "Store  173"  info1: "Store 173
      2:    Mul 167
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 563 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -276,6 +291,7 @@ node: {title: "n171" label: "AddP  171"  info1: "Add 171
      0:    0xD 163
      1:    Add 170
   Private Attributes:
+  in loop 560 with depth 0
 "
 }
 node: {title: "n171n163" label: "0xDIs  163"  info1: "0xD 163
@@ -286,6 +302,7 @@ node: {title: "n171n163" label: "0xDIs  163"  info1: "0xD 163
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -301,6 +318,7 @@ node: {title: "n170" label: "AddP  170"  info1: "Add 170
      0:    Mul 168
      1:    SymC &a 151
   Private Attributes:
+  in loop 560 with depth 0
 "
 }
 node: {title: "n170n151" label: "SymC &a  151"  info1: "SymC &a 151
@@ -311,6 +329,7 @@ node: {title: "n170n151" label: "SymC &a  151"  info1: "SymC &a 151
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (135)
 
@@ -329,6 +348,7 @@ node: {title: "n168" label: "MulIs  168"  info1: "Mul 168
      0:    0x4 165
      1:    Phi 191
   Private Attributes:
+  in loop 560 with depth 0
 "
 }
 node: {title: "n168n165" label: "0x4Is  165"  info1: "0x4 165
@@ -339,6 +359,7 @@ node: {title: "n168n165" label: "0x4Is  165"  info1: "0x4 165
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -354,6 +375,7 @@ node: {title: "n167" label: "MulIs  167"  info1: "Mul 167
      0:    0xF 162
      1:    Phi 191
   Private Attributes:
+  in loop 560 with depth 0
 "
 }
 node: {title: "n167n162" label: "0xFIs  162"  info1: "0xF 162
@@ -364,6 +386,7 @@ node: {title: "n167n162" label: "0xFIs  162"  info1: "0xF 162
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -377,6 +400,7 @@ node: {title: "n177" label: "Jmp  177"  info1: "Jmp 177
   pred nodes:
     -1:    Block 161
   Private Attributes:
+  in loop 562 with depth 2
 "
 }
 node: {title: "n176" label: "AddIs  176"  info1: "Add 176
@@ -389,6 +413,7 @@ node: {title: "n176" label: "AddIs  176"  info1: "Add 176
      0:    0x1 164
      1:    Phi 191
   Private Attributes:
+  in loop 561 with depth 1
 "
 }
 node: {title: "n176n164" label: "0x1Is  164"  info1: "0x1 164
@@ -399,6 +424,7 @@ node: {title: "n176n164" label: "0x1Is  164"  info1: "0x1 164
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -417,6 +443,7 @@ node: {title: "n146" label: "ProjM 1 146"  info1: "Proj 146
     -1:    Block 139
      0:    Start 140
   Private Attributes:
+  in loop 560 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n146" targetname: "n140" label: "0" class:17 priority:10 color:blue}
@@ -429,6 +456,7 @@ node: {title: "n143" label: "ProjX 0 143"  info1: "Proj 143
     -1:    Block 139
      0:    Start 140
   Private Attributes:
+  in loop 560 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n143" targetname: "n140" label: "0" class:13 priority:60 color:red}
@@ -440,6 +468,7 @@ node: {title: "n140" label: "Start  140"  info1: "Start 140
   pred nodes:
     -1:    Block 139
   Private Attributes:
+  in loop 560 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "

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 7e73e39..78dd775 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg
@@ -64,6 +64,7 @@ node: {title: "n203" label: "End  203"  info1: "End 203
     -1:    Block 202
      0:    Phi 256
   Private Attributes:
+  in loop 582 with depth 0
 "
 color: blue}
 }
@@ -80,6 +81,7 @@ node: {title: "n252" label: "Return  252"  info1: "Return 252
      0:    Phi 256
      1:    0x4 228
   Private Attributes:
+  in loop 582 with depth 0
   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
     res 0 type: int
 "
@@ -92,6 +94,7 @@ node: {title: "n252n228" label: "0x4Is  228"  info1: "0x4 228
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -113,6 +116,7 @@ node: {title: "n256" label: "PhiM  256"  info1: "Phi 256
      1:    Proj 241
   Private Attributes:
   backedges:
+  in loop 585 with depth 1
 "
 color: green}
 edge: {sourcename: "n256" targetname: "n211" label: "0" class:17 priority:10 color:blue}
@@ -152,6 +156,7 @@ node: {title: "n224" label: "ProjX 0 224"  info1: "Proj 224
     -1:    Block 218
      0:    Cond 223
   Private Attributes:
+  in loop 582 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n224" targetname: "n223" label: "0" class:13 priority:60 color:red}
@@ -164,6 +169,7 @@ node: {title: "n225" label: "ProjX 1 225"  info1: "Proj 225
     -1:    Block 218
      0:    Cond 223
   Private Attributes:
+  in loop 584 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n225" targetname: "n223" label: "0" class:13 priority:60 color:red}
@@ -176,6 +182,7 @@ node: {title: "n223" label: "Cond  223"  info1: "Cond 223
     -1:    Block 218
      0:    Proj 222
   Private Attributes:
+  in loop 584 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -190,6 +197,7 @@ node: {title: "n222" label: "Projb Lt 222"  info1: "Proj 222
     -1:    Block 218
      0:    Cmp 221
   Private Attributes:
+  in loop 584 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n222" targetname: "n221" label: "0" class:1  priority:50}
@@ -203,6 +211,7 @@ node: {title: "n221" label: "Cmp  221"  info1: "Cmp 221
      0:    0x0 220
      1:    Phi 257
   Private Attributes:
+  in loop 584 with depth 2
 "
 }
 node: {title: "n221n220" label: "0x0Is  220"  info1: "0x0 220
@@ -213,6 +222,7 @@ node: {title: "n221n220" label: "0x0Is  220"  info1: "0x0 220
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -229,6 +239,7 @@ node: {title: "n257" label: "PhiIs  257"  info1: "Phi 257
      1:    Add 589
   Private Attributes:
   backedges:
+  in loop 583 with depth 1
 "
 color: green}
 node: {title: "n257n215" label: "0xAIs  215"  info1: "0xA 215
@@ -239,6 +250,7 @@ node: {title: "n257n215" label: "0xAIs  215"  info1: "0xA 215
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -256,6 +268,7 @@ node: {title: "n217" label: "Jmp  217"  info1: "Jmp 217
   pred nodes:
     -1:    Block 214
   Private Attributes:
+  in loop 582 with depth 0
 "
 }
 }
@@ -271,6 +284,7 @@ node: {title: "n241" label: "ProjM 0 241"  info1: "Proj 241
     -1:    Block 226
      0:    Store 239
   Private Attributes:
+  in loop 585 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n241" targetname: "n239" label: "0" class:17 priority:10 color:blue}
@@ -286,6 +300,7 @@ node: {title: "n239" label: "Store  239"  info1: "Store 239
      2:    Phi 257
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 585 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -302,6 +317,7 @@ node: {title: "n237" label: "AddP  237"  info1: "Add 237
      0:    Add 235
      1:    Add 594
   Private Attributes:
+  in loop 582 with depth 0
 "
 }
 edge: {sourcename: "n237" targetname: "n235" label: "0" class:1  priority:50}
@@ -316,6 +332,7 @@ node: {title: "n235" label: "AddP  235"  info1: "Add 235
      0:    0x8 229
      1:    Add 591
   Private Attributes:
+  in loop 582 with depth 0
 "
 }
 node: {title: "n235n229" label: "0x8Is  229"  info1: "0x8 229
@@ -326,6 +343,7 @@ node: {title: "n235n229" label: "0x8Is  229"  info1: "0x8 229
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -415,6 +433,7 @@ node: {title: "n590n216" label: "SymC &a  216"  info1: "SymC &a 216
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (200)
 
@@ -429,6 +448,7 @@ node: {title: "n590n228" label: "0x4Is  228"  info1: "0x4 228
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -442,6 +462,7 @@ node: {title: "n243" label: "Jmp  243"  info1: "Jmp 243
   pred nodes:
     -1:    Block 226
   Private Attributes:
+  in loop 584 with depth 2
 "
 }
 node: {title: "n589" label: "AddIs  589"  info1: "Add 589
@@ -482,6 +503,7 @@ node: {title: "n211" label: "ProjM 1 211"  info1: "Proj 211
     -1:    Block 204
      0:    Start 205
   Private Attributes:
+  in loop 582 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n211" targetname: "n205" label: "0" class:17 priority:10 color:blue}
@@ -494,6 +516,7 @@ node: {title: "n208" label: "ProjX 0 208"  info1: "Proj 208
     -1:    Block 204
      0:    Start 205
   Private Attributes:
+  in loop 582 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n208" targetname: "n205" label: "0" class:13 priority:60 color:red}
@@ -505,6 +528,7 @@ node: {title: "n205" label: "Start  205"  info1: "Start 205
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3.vcg
index af2d09f..fb831b3 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3.vcg
@@ -64,6 +64,7 @@ node: {title: "n203" label: "End  203"  info1: "End 203
     -1:    Block 202
      0:    Phi 256
   Private Attributes:
+  in loop 582 with depth 0
 "
 color: blue}
 }
@@ -80,6 +81,7 @@ node: {title: "n252" label: "Return  252"  info1: "Return 252
      0:    Phi 256
      1:    0x4 228
   Private Attributes:
+  in loop 582 with depth 0
   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
     res 0 type: int
 "
@@ -92,6 +94,7 @@ node: {title: "n252n228" label: "0x4Is  228"  info1: "0x4 228
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -113,6 +116,7 @@ node: {title: "n256" label: "PhiM  256"  info1: "Phi 256
      1: be Proj 241
   Private Attributes:
   backedges:  1
+  in loop 585 with depth 1
 "
 color: green}
 edge: {sourcename: "n256" targetname: "n211" label: "0" class:17 priority:10 color:blue}
@@ -126,6 +130,7 @@ node: {title: "n224" label: "ProjX 0 224"  info1: "Proj 224
     -1:    Block 218
      0:    Cond 223
   Private Attributes:
+  in loop 582 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n224" targetname: "n223" label: "0" class:13 priority:60 color:red}
@@ -138,6 +143,7 @@ node: {title: "n225" label: "ProjX 1 225"  info1: "Proj 225
     -1:    Block 218
      0:    Cond 223
   Private Attributes:
+  in loop 584 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n225" targetname: "n223" label: "0" class:13 priority:60 color:red}
@@ -150,6 +156,7 @@ node: {title: "n223" label: "Cond  223"  info1: "Cond 223
     -1:    Block 218
      0:    Proj 222
   Private Attributes:
+  in loop 584 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -164,6 +171,7 @@ node: {title: "n222" label: "Projb Lt 222"  info1: "Proj 222
     -1:    Block 218
      0:    Cmp 221
   Private Attributes:
+  in loop 584 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n222" targetname: "n221" label: "0" class:1  priority:50}
@@ -177,6 +185,7 @@ node: {title: "n221" label: "Cmp  221"  info1: "Cmp 221
      0:    0x0 220
      1:    Phi 257
   Private Attributes:
+  in loop 584 with depth 2
 "
 }
 node: {title: "n221n220" label: "0x0Is  220"  info1: "0x0 220
@@ -187,6 +196,7 @@ node: {title: "n221n220" label: "0x0Is  220"  info1: "0x0 220
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -203,6 +213,7 @@ node: {title: "n257" label: "PhiIs  257"  info1: "Phi 257
      1: be Sub 242
   Private Attributes:
   backedges:  1
+  in loop 583 with depth 1
 "
 color: green}
 node: {title: "n257n215" label: "0xAIs  215"  info1: "0xA 215
@@ -213,6 +224,7 @@ node: {title: "n257n215" label: "0xAIs  215"  info1: "0xA 215
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -230,6 +242,7 @@ node: {title: "n217" label: "Jmp  217"  info1: "Jmp 217
   pred nodes:
     -1:    Block 214
   Private Attributes:
+  in loop 582 with depth 0
 "
 }
 }
@@ -245,6 +258,7 @@ node: {title: "n241" label: "ProjM 0 241"  info1: "Proj 241
     -1:    Block 226
      0:    Store 239
   Private Attributes:
+  in loop 585 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n241" targetname: "n239" label: "0" class:17 priority:10 color:blue}
@@ -260,6 +274,7 @@ node: {title: "n239" label: "Store  239"  info1: "Store 239
      2:    Phi 257
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 585 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -276,6 +291,7 @@ node: {title: "n237" label: "AddP  237"  info1: "Add 237
      0:    Add 235
      1:    Add 236
   Private Attributes:
+  in loop 582 with depth 0
 "
 }
 edge: {sourcename: "n237" targetname: "n235" label: "0" class:1  priority:50}
@@ -290,6 +306,7 @@ node: {title: "n236" label: "AddP  236"  info1: "Add 236
      0:    0x8 229
      1:    Add 235
   Private Attributes:
+  in loop 582 with depth 0
 "
 }
 node: {title: "n236n229" label: "0x8Is  229"  info1: "0x8 229
@@ -300,6 +317,7 @@ node: {title: "n236n229" label: "0x8Is  229"  info1: "0x8 229
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -315,6 +333,7 @@ node: {title: "n235" label: "AddP  235"  info1: "Add 235
      0:    0x8 229
      1:    Add 234
   Private Attributes:
+  in loop 582 with depth 0
 "
 }
 node: {title: "n235n229" label: "0x8Is  229"  info1: "0x8 229
@@ -325,6 +344,7 @@ node: {title: "n235n229" label: "0x8Is  229"  info1: "0x8 229
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -340,6 +360,7 @@ node: {title: "n234" label: "AddP  234"  info1: "Add 234
      0:    0x4 228
      1:    Add 233
   Private Attributes:
+  in loop 582 with depth 0
 "
 }
 node: {title: "n234n228" label: "0x4Is  228"  info1: "0x4 228
@@ -350,6 +371,7 @@ node: {title: "n234n228" label: "0x4Is  228"  info1: "0x4 228
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -365,6 +387,7 @@ node: {title: "n233" label: "AddP  233"  info1: "Add 233
      0:    Mul 231
      1:    SymC &a 216
   Private Attributes:
+  in loop 582 with depth 0
 "
 }
 node: {title: "n233n216" label: "SymC &a  216"  info1: "SymC &a 216
@@ -375,6 +398,7 @@ node: {title: "n233n216" label: "SymC &a  216"  info1: "SymC &a 216
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (200)
 
@@ -393,6 +417,7 @@ node: {title: "n231" label: "MulIs  231"  info1: "Mul 231
      0:    0x4 228
      1:    Phi 257
   Private Attributes:
+  in loop 582 with depth 0
 "
 }
 node: {title: "n231n228" label: "0x4Is  228"  info1: "0x4 228
@@ -403,6 +428,7 @@ node: {title: "n231n228" label: "0x4Is  228"  info1: "0x4 228
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -416,6 +442,7 @@ node: {title: "n243" label: "Jmp  243"  info1: "Jmp 243
   pred nodes:
     -1:    Block 226
   Private Attributes:
+  in loop 584 with depth 2
 "
 }
 node: {title: "n242" label: "SubIs  242"  info1: "Sub 242
@@ -428,6 +455,7 @@ node: {title: "n242" label: "SubIs  242"  info1: "Sub 242
      0:    Phi 257
      1:    0x1 227
   Private Attributes:
+  in loop 583 with depth 1
 "
 }
 node: {title: "n242n227" label: "0x1Is  227"  info1: "0x1 227
@@ -438,6 +466,7 @@ node: {title: "n242n227" label: "0x1Is  227"  info1: "0x1 227
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -456,6 +485,7 @@ node: {title: "n211" label: "ProjM 1 211"  info1: "Proj 211
     -1:    Block 204
      0:    Start 205
   Private Attributes:
+  in loop 582 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n211" targetname: "n205" label: "0" class:17 priority:10 color:blue}
@@ -468,6 +498,7 @@ node: {title: "n208" label: "ProjX 0 208"  info1: "Proj 208
     -1:    Block 204
      0:    Start 205
   Private Attributes:
+  in loop 582 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n208" targetname: "n205" label: "0" class:13 priority:60 color:red}
@@ -479,6 +510,7 @@ node: {title: "n205" label: "Start  205"  info1: "Start 205
   pred nodes:
     -1:    Block 204
   Private Attributes:
+  in loop 582 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "

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 72fe452..dc09209 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
@@ -64,6 +64,7 @@ node: {title: "n269" label: "End  269"  info1: "End 269
     -1:    Block 268
      0:    Phi 323
   Private Attributes:
+  in loop 604 with depth 0
 "
 color: blue}
 }
@@ -80,6 +81,7 @@ node: {title: "n319" label: "Return  319"  info1: "Return 319
      0:    Phi 323
      1:    0x4 294
   Private Attributes:
+  in loop 604 with depth 0
   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
     res 0 type: int
 "
@@ -92,6 +94,7 @@ node: {title: "n319n294" label: "0x4Is  294"  info1: "0x4 294
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -113,6 +116,7 @@ node: {title: "n323" label: "PhiM  323"  info1: "Phi 323
      1:    Proj 309
   Private Attributes:
   backedges:
+  in loop 607 with depth 1
 "
 color: green}
 edge: {sourcename: "n323" targetname: "n277" label: "0" class:17 priority:10 color:blue}
@@ -138,6 +142,7 @@ node: {title: "n627n281" label: "0x0Is  281"  info1: "0x0 281
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -164,6 +169,7 @@ node: {title: "n634n281" label: "0x0Is  281"  info1: "0x0 281
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -178,6 +184,7 @@ node: {title: "n290" label: "ProjX 0 290"  info1: "Proj 290
     -1:    Block 284
      0:    Cond 289
   Private Attributes:
+  in loop 604 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n290" targetname: "n289" label: "0" class:13 priority:60 color:red}
@@ -190,6 +197,7 @@ node: {title: "n291" label: "ProjX 1 291"  info1: "Proj 291
     -1:    Block 284
      0:    Cond 289
   Private Attributes:
+  in loop 606 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n291" targetname: "n289" label: "0" class:13 priority:60 color:red}
@@ -202,6 +210,7 @@ node: {title: "n289" label: "Cond  289"  info1: "Cond 289
     -1:    Block 284
      0:    Proj 288
   Private Attributes:
+  in loop 606 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -216,6 +225,7 @@ node: {title: "n288" label: "Projb Gt 288"  info1: "Proj 288
     -1:    Block 284
      0:    Cmp 287
   Private Attributes:
+  in loop 606 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n288" targetname: "n287" label: "0" class:1  priority:50}
@@ -229,6 +239,7 @@ node: {title: "n287" label: "Cmp  287"  info1: "Cmp 287
      0:    0xA 286
      1:    Phi 324
   Private Attributes:
+  in loop 606 with depth 2
 "
 }
 node: {title: "n287n286" label: "0xAIs  286"  info1: "0xA 286
@@ -239,6 +250,7 @@ node: {title: "n287n286" label: "0xAIs  286"  info1: "0xA 286
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -255,6 +267,7 @@ node: {title: "n324" label: "PhiIs  324"  info1: "Phi 324
      1:    Add 297
   Private Attributes:
   backedges:
+  in loop 605 with depth 1
 "
 color: green}
 node: {title: "n324n281" label: "0x0Is  281"  info1: "0x0 281
@@ -265,6 +278,7 @@ node: {title: "n324n281" label: "0x0Is  281"  info1: "0x0 281
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -282,6 +296,7 @@ node: {title: "n283" label: "Jmp  283"  info1: "Jmp 283
   pred nodes:
     -1:    Block 280
   Private Attributes:
+  in loop 604 with depth 0
 "
 }
 }
@@ -297,6 +312,7 @@ node: {title: "n309" label: "ProjM 0 309"  info1: "Proj 309
     -1:    Block 292
      0:    Store 307
   Private Attributes:
+  in loop 607 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n309" targetname: "n307" label: "0" class:17 priority:10 color:blue}
@@ -312,6 +328,7 @@ node: {title: "n307" label: "Store  307"  info1: "Store 307
      2:    Add 297
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 607 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -327,6 +344,7 @@ node: {title: "n304" label: "ProjM 0 304"  info1: "Proj 304
     -1:    Block 292
      0:    Store 302
   Private Attributes:
+  in loop 607 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n304" targetname: "n302" label: "0" class:17 priority:10 color:blue}
@@ -342,6 +360,7 @@ node: {title: "n302" label: "Store  302"  info1: "Store 302
      2:    Add 297
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 607 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -382,6 +401,7 @@ node: {title: "n628n295" label: "0x8Is  295"  info1: "0x8 295
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -407,6 +427,7 @@ node: {title: "n618n282" label: "SymC &a  282"  info1: "SymC &a 282
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (266)
 
@@ -421,6 +442,7 @@ node: {title: "n618n295" label: "0x8Is  295"  info1: "0x8 295
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -460,6 +482,7 @@ node: {title: "n635n294" label: "0x4Is  294"  info1: "0x4 294
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -485,6 +508,7 @@ node: {title: "n612n282" label: "SymC &a  282"  info1: "SymC &a 282
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (266)
 
@@ -499,6 +523,7 @@ node: {title: "n612n294" label: "0x4Is  294"  info1: "0x4 294
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -512,6 +537,7 @@ node: {title: "n310" label: "Jmp  310"  info1: "Jmp 310
   pred nodes:
     -1:    Block 292
   Private Attributes:
+  in loop 606 with depth 2
 "
 }
 node: {title: "n297" label: "AddIs  297"  info1: "Add 297
@@ -524,6 +550,7 @@ node: {title: "n297" label: "AddIs  297"  info1: "Add 297
      0:    0x1 293
      1:    Phi 324
   Private Attributes:
+  in loop 605 with depth 1
 "
 }
 node: {title: "n297n293" label: "0x1Is  293"  info1: "0x1 293
@@ -534,6 +561,7 @@ node: {title: "n297n293" label: "0x1Is  293"  info1: "0x1 293
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -552,6 +580,7 @@ node: {title: "n277" label: "ProjM 1 277"  info1: "Proj 277
     -1:    Block 270
      0:    Start 271
   Private Attributes:
+  in loop 604 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n277" targetname: "n271" label: "0" class:17 priority:10 color:blue}
@@ -564,6 +593,7 @@ node: {title: "n274" label: "ProjX 0 274"  info1: "Proj 274
     -1:    Block 270
      0:    Start 271
   Private Attributes:
+  in loop 604 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n274" targetname: "n271" label: "0" class:13 priority:60 color:red}
@@ -575,6 +605,7 @@ node: {title: "n271" label: "Start  271"  info1: "Start 271
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4.vcg
index 40ed719..5d3479d 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4.vcg
@@ -64,6 +64,7 @@ node: {title: "n269" label: "End  269"  info1: "End 269
     -1:    Block 268
      0:    Phi 323
   Private Attributes:
+  in loop 604 with depth 0
 "
 color: blue}
 }
@@ -80,6 +81,7 @@ node: {title: "n319" label: "Return  319"  info1: "Return 319
      0:    Phi 323
      1:    0x4 294
   Private Attributes:
+  in loop 604 with depth 0
   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
     res 0 type: int
 "
@@ -92,6 +94,7 @@ node: {title: "n319n294" label: "0x4Is  294"  info1: "0x4 294
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -113,6 +116,7 @@ node: {title: "n323" label: "PhiM  323"  info1: "Phi 323
      1: be Proj 309
   Private Attributes:
   backedges:  1
+  in loop 607 with depth 1
 "
 color: green}
 edge: {sourcename: "n323" targetname: "n277" label: "0" class:17 priority:10 color:blue}
@@ -126,6 +130,7 @@ node: {title: "n290" label: "ProjX 0 290"  info1: "Proj 290
     -1:    Block 284
      0:    Cond 289
   Private Attributes:
+  in loop 604 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n290" targetname: "n289" label: "0" class:13 priority:60 color:red}
@@ -138,6 +143,7 @@ node: {title: "n291" label: "ProjX 1 291"  info1: "Proj 291
     -1:    Block 284
      0:    Cond 289
   Private Attributes:
+  in loop 606 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n291" targetname: "n289" label: "0" class:13 priority:60 color:red}
@@ -150,6 +156,7 @@ node: {title: "n289" label: "Cond  289"  info1: "Cond 289
     -1:    Block 284
      0:    Proj 288
   Private Attributes:
+  in loop 606 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -164,6 +171,7 @@ node: {title: "n288" label: "Projb Gt 288"  info1: "Proj 288
     -1:    Block 284
      0:    Cmp 287
   Private Attributes:
+  in loop 606 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n288" targetname: "n287" label: "0" class:1  priority:50}
@@ -177,6 +185,7 @@ node: {title: "n287" label: "Cmp  287"  info1: "Cmp 287
      0:    0xA 286
      1:    Phi 324
   Private Attributes:
+  in loop 606 with depth 2
 "
 }
 node: {title: "n287n286" label: "0xAIs  286"  info1: "0xA 286
@@ -187,6 +196,7 @@ node: {title: "n287n286" label: "0xAIs  286"  info1: "0xA 286
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -203,6 +213,7 @@ node: {title: "n324" label: "PhiIs  324"  info1: "Phi 324
      1: be Add 297
   Private Attributes:
   backedges:  1
+  in loop 605 with depth 1
 "
 color: green}
 node: {title: "n324n281" label: "0x0Is  281"  info1: "0x0 281
@@ -213,6 +224,7 @@ node: {title: "n324n281" label: "0x0Is  281"  info1: "0x0 281
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -230,6 +242,7 @@ node: {title: "n283" label: "Jmp  283"  info1: "Jmp 283
   pred nodes:
     -1:    Block 280
   Private Attributes:
+  in loop 604 with depth 0
 "
 }
 }
@@ -245,6 +258,7 @@ node: {title: "n309" label: "ProjM 0 309"  info1: "Proj 309
     -1:    Block 292
      0:    Store 307
   Private Attributes:
+  in loop 607 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n309" targetname: "n307" label: "0" class:17 priority:10 color:blue}
@@ -260,6 +274,7 @@ node: {title: "n307" label: "Store  307"  info1: "Store 307
      2:    Add 297
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 607 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -275,6 +290,7 @@ node: {title: "n304" label: "ProjM 0 304"  info1: "Proj 304
     -1:    Block 292
      0:    Store 302
   Private Attributes:
+  in loop 607 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n304" targetname: "n302" label: "0" class:17 priority:10 color:blue}
@@ -290,6 +306,7 @@ node: {title: "n302" label: "Store  302"  info1: "Store 302
      2:    Add 297
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 607 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -306,6 +323,7 @@ node: {title: "n300" label: "AddP  300"  info1: "Add 300
      0:    Mul 298
      1:    SymC &a 282
   Private Attributes:
+  in loop 604 with depth 0
 "
 }
 node: {title: "n300n282" label: "SymC &a  282"  info1: "SymC &a 282
@@ -316,6 +334,7 @@ node: {title: "n300n282" label: "SymC &a  282"  info1: "SymC &a 282
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (266)
 
@@ -334,6 +353,7 @@ node: {title: "n298" label: "MulIs  298"  info1: "Mul 298
      0:    0x8 295
      1:    Add 297
   Private Attributes:
+  in loop 604 with depth 0
 "
 }
 node: {title: "n298n295" label: "0x8Is  295"  info1: "0x8 295
@@ -344,6 +364,7 @@ node: {title: "n298n295" label: "0x8Is  295"  info1: "0x8 295
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -359,6 +380,7 @@ node: {title: "n306" label: "AddP  306"  info1: "Add 306
      0:    SymC &a 282
      1:    Mul 305
   Private Attributes:
+  in loop 604 with depth 0
 "
 }
 node: {title: "n306n282" label: "SymC &a  282"  info1: "SymC &a 282
@@ -369,6 +391,7 @@ node: {title: "n306n282" label: "SymC &a  282"  info1: "SymC &a 282
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (266)
 
@@ -387,6 +410,7 @@ node: {title: "n305" label: "MulIs  305"  info1: "Mul 305
      0:    0x4 294
      1:    Add 297
   Private Attributes:
+  in loop 604 with depth 0
 "
 }
 node: {title: "n305n294" label: "0x4Is  294"  info1: "0x4 294
@@ -397,6 +421,7 @@ node: {title: "n305n294" label: "0x4Is  294"  info1: "0x4 294
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -410,6 +435,7 @@ node: {title: "n310" label: "Jmp  310"  info1: "Jmp 310
   pred nodes:
     -1:    Block 292
   Private Attributes:
+  in loop 606 with depth 2
 "
 }
 node: {title: "n297" label: "AddIs  297"  info1: "Add 297
@@ -422,6 +448,7 @@ node: {title: "n297" label: "AddIs  297"  info1: "Add 297
      0:    0x1 293
      1:    Phi 324
   Private Attributes:
+  in loop 605 with depth 1
 "
 }
 node: {title: "n297n293" label: "0x1Is  293"  info1: "0x1 293
@@ -432,6 +459,7 @@ node: {title: "n297n293" label: "0x1Is  293"  info1: "0x1 293
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -450,6 +478,7 @@ node: {title: "n277" label: "ProjM 1 277"  info1: "Proj 277
     -1:    Block 270
      0:    Start 271
   Private Attributes:
+  in loop 604 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n277" targetname: "n271" label: "0" class:17 priority:10 color:blue}
@@ -462,6 +491,7 @@ node: {title: "n274" label: "ProjX 0 274"  info1: "Proj 274
     -1:    Block 270
      0:    Start 271
   Private Attributes:
+  in loop 604 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n274" targetname: "n271" label: "0" class:13 priority:60 color:red}
@@ -473,6 +503,7 @@ node: {title: "n271" label: "Start  271"  info1: "Start 271
   pred nodes:
     -1:    Block 270
   Private Attributes:
+  in loop 604 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "

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 b04d212..77eafe5 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg
@@ -64,6 +64,7 @@ node: {title: "n336" label: "End  336"  info1: "End 336
     -1:    Block 335
      0:    Phi 389
   Private Attributes:
+  in loop 636 with depth 0
 "
 color: blue}
 }
@@ -80,6 +81,7 @@ node: {title: "n385" label: "Return  385"  info1: "Return 385
      0:    Phi 389
      1:    0x4 361
   Private Attributes:
+  in loop 636 with depth 0
   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
     res 0 type: int
 "
@@ -92,6 +94,7 @@ node: {title: "n385n361" label: "0x4Is  361"  info1: "0x4 361
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -113,6 +116,7 @@ node: {title: "n389" label: "PhiM  389"  info1: "Phi 389
      1:    Proj 375
   Private Attributes:
   backedges:
+  in loop 639 with depth 1
 "
 color: green}
 edge: {sourcename: "n389" targetname: "n344" label: "0" class:17 priority:10 color:blue}
@@ -126,6 +130,7 @@ node: {title: "n357" label: "ProjX 0 357"  info1: "Proj 357
     -1:    Block 351
      0:    Cond 356
   Private Attributes:
+  in loop 636 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n357" targetname: "n356" label: "0" class:13 priority:60 color:red}
@@ -138,6 +143,7 @@ node: {title: "n358" label: "ProjX 1 358"  info1: "Proj 358
     -1:    Block 351
      0:    Cond 356
   Private Attributes:
+  in loop 638 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n358" targetname: "n356" label: "0" class:13 priority:60 color:red}
@@ -150,6 +156,7 @@ node: {title: "n356" label: "Cond  356"  info1: "Cond 356
     -1:    Block 351
      0:    Proj 355
   Private Attributes:
+  in loop 638 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -164,6 +171,7 @@ node: {title: "n355" label: "Projb Lt 355"  info1: "Proj 355
     -1:    Block 351
      0:    Cmp 354
   Private Attributes:
+  in loop 638 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n355" targetname: "n354" label: "0" class:1  priority:50}
@@ -177,6 +185,7 @@ node: {title: "n354" label: "Cmp  354"  info1: "Cmp 354
      0:    0x0 353
      1:    Phi 390
   Private Attributes:
+  in loop 638 with depth 2
 "
 }
 node: {title: "n354n353" label: "0x0Is  353"  info1: "0x0 353
@@ -187,6 +196,7 @@ node: {title: "n354n353" label: "0x0Is  353"  info1: "0x0 353
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -203,6 +213,7 @@ node: {title: "n390" label: "PhiIs  390"  info1: "Phi 390
      1:    Add 643
   Private Attributes:
   backedges:
+  in loop 637 with depth 1
 "
 color: green}
 node: {title: "n390n656" label: "0x28Is  656"  info1: "0x28 656
@@ -230,6 +241,7 @@ node: {title: "n350" label: "Jmp  350"  info1: "Jmp 350
   pred nodes:
     -1:    Block 347
   Private Attributes:
+  in loop 636 with depth 0
 "
 }
 }
@@ -245,6 +257,7 @@ node: {title: "n375" label: "ProjM 0 375"  info1: "Proj 375
     -1:    Block 359
      0:    Store 373
   Private Attributes:
+  in loop 639 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n375" targetname: "n373" label: "0" class:17 priority:10 color:blue}
@@ -260,6 +273,7 @@ node: {title: "n373" label: "Store  373"  info1: "Store 373
      2:    0x13 371
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 639 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -271,6 +285,7 @@ node: {title: "n373n371" label: "0x13Is  371"  info1: "0x13 371
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -336,6 +351,7 @@ node: {title: "n648n349" label: "SymC &a  349"  info1: "SymC &a 349
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (333)
 
@@ -363,6 +379,7 @@ node: {title: "n376" label: "Jmp  376"  info1: "Jmp 376
   pred nodes:
     -1:    Block 359
   Private Attributes:
+  in loop 638 with depth 2
 "
 }
 node: {title: "n643" label: "AddIs  643"  info1: "Add 643
@@ -403,6 +420,7 @@ node: {title: "n344" label: "ProjM 1 344"  info1: "Proj 344
     -1:    Block 337
      0:    Start 338
   Private Attributes:
+  in loop 636 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n344" targetname: "n338" label: "0" class:17 priority:10 color:blue}
@@ -415,6 +433,7 @@ node: {title: "n341" label: "ProjX 0 341"  info1: "Proj 341
     -1:    Block 337
      0:    Start 338
   Private Attributes:
+  in loop 636 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n341" targetname: "n338" label: "0" class:13 priority:60 color:red}
@@ -426,6 +445,7 @@ node: {title: "n338" label: "Start  338"  info1: "Start 338
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5.vcg
index 1934b05..188c65a 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5.vcg
@@ -64,6 +64,7 @@ node: {title: "n336" label: "End  336"  info1: "End 336
     -1:    Block 335
      0:    Phi 389
   Private Attributes:
+  in loop 636 with depth 0
 "
 color: blue}
 }
@@ -80,6 +81,7 @@ node: {title: "n385" label: "Return  385"  info1: "Return 385
      0:    Phi 389
      1:    0x4 361
   Private Attributes:
+  in loop 636 with depth 0
   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
     res 0 type: int
 "
@@ -92,6 +94,7 @@ node: {title: "n385n361" label: "0x4Is  361"  info1: "0x4 361
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -113,6 +116,7 @@ node: {title: "n389" label: "PhiM  389"  info1: "Phi 389
      1: be Proj 375
   Private Attributes:
   backedges:  1
+  in loop 639 with depth 1
 "
 color: green}
 edge: {sourcename: "n389" targetname: "n344" label: "0" class:17 priority:10 color:blue}
@@ -126,6 +130,7 @@ node: {title: "n357" label: "ProjX 0 357"  info1: "Proj 357
     -1:    Block 351
      0:    Cond 356
   Private Attributes:
+  in loop 636 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n357" targetname: "n356" label: "0" class:13 priority:60 color:red}
@@ -138,6 +143,7 @@ node: {title: "n358" label: "ProjX 1 358"  info1: "Proj 358
     -1:    Block 351
      0:    Cond 356
   Private Attributes:
+  in loop 638 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n358" targetname: "n356" label: "0" class:13 priority:60 color:red}
@@ -150,6 +156,7 @@ node: {title: "n356" label: "Cond  356"  info1: "Cond 356
     -1:    Block 351
      0:    Proj 355
   Private Attributes:
+  in loop 638 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -164,6 +171,7 @@ node: {title: "n355" label: "Projb Lt 355"  info1: "Proj 355
     -1:    Block 351
      0:    Cmp 354
   Private Attributes:
+  in loop 638 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n355" targetname: "n354" label: "0" class:1  priority:50}
@@ -177,6 +185,7 @@ node: {title: "n354" label: "Cmp  354"  info1: "Cmp 354
      0:    0x0 353
      1:    Phi 390
   Private Attributes:
+  in loop 638 with depth 2
 "
 }
 node: {title: "n354n353" label: "0x0Is  353"  info1: "0x0 353
@@ -187,6 +196,7 @@ node: {title: "n354n353" label: "0x0Is  353"  info1: "0x0 353
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -203,6 +213,7 @@ node: {title: "n390" label: "PhiIs  390"  info1: "Phi 390
      1: be Sub 363
   Private Attributes:
   backedges:  1
+  in loop 637 with depth 1
 "
 color: green}
 node: {title: "n390n348" label: "0xAIs  348"  info1: "0xA 348
@@ -213,6 +224,7 @@ node: {title: "n390n348" label: "0xAIs  348"  info1: "0xA 348
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -230,6 +242,7 @@ node: {title: "n350" label: "Jmp  350"  info1: "Jmp 350
   pred nodes:
     -1:    Block 347
   Private Attributes:
+  in loop 636 with depth 0
 "
 }
 }
@@ -245,6 +258,7 @@ node: {title: "n375" label: "ProjM 0 375"  info1: "Proj 375
     -1:    Block 359
      0:    Store 373
   Private Attributes:
+  in loop 639 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n375" targetname: "n373" label: "0" class:17 priority:10 color:blue}
@@ -260,6 +274,7 @@ node: {title: "n373" label: "Store  373"  info1: "Store 373
      2:    0x13 371
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 639 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -271,6 +286,7 @@ node: {title: "n373n371" label: "0x13Is  371"  info1: "0x13 371
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -287,6 +303,7 @@ node: {title: "n370" label: "AddP  370"  info1: "Add 370
      0:    0x5 365
      1:    Add 369
   Private Attributes:
+  in loop 636 with depth 0
 "
 }
 node: {title: "n370n365" label: "0x5Is  365"  info1: "0x5 365
@@ -297,6 +314,7 @@ node: {title: "n370n365" label: "0x5Is  365"  info1: "0x5 365
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -312,6 +330,7 @@ node: {title: "n369" label: "AddP  369"  info1: "Add 369
      0:    0x4 361
      1:    Add 368
   Private Attributes:
+  in loop 636 with depth 0
 "
 }
 node: {title: "n369n361" label: "0x4Is  361"  info1: "0x4 361
@@ -322,6 +341,7 @@ node: {title: "n369n361" label: "0x4Is  361"  info1: "0x4 361
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -337,6 +357,7 @@ node: {title: "n368" label: "AddP  368"  info1: "Add 368
      0:    Mul 366
      1:    SymC &a 349
   Private Attributes:
+  in loop 636 with depth 0
 "
 }
 node: {title: "n368n349" label: "SymC &a  349"  info1: "SymC &a 349
@@ -347,6 +368,7 @@ node: {title: "n368n349" label: "SymC &a  349"  info1: "SymC &a 349
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (333)
 
@@ -365,6 +387,7 @@ node: {title: "n366" label: "MulIs  366"  info1: "Mul 366
      0:    0x4 361
      1:    Sub 363
   Private Attributes:
+  in loop 636 with depth 0
 "
 }
 node: {title: "n366n361" label: "0x4Is  361"  info1: "0x4 361
@@ -375,6 +398,7 @@ node: {title: "n366n361" label: "0x4Is  361"  info1: "0x4 361
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -388,6 +412,7 @@ node: {title: "n376" label: "Jmp  376"  info1: "Jmp 376
   pred nodes:
     -1:    Block 359
   Private Attributes:
+  in loop 638 with depth 2
 "
 }
 node: {title: "n363" label: "SubIs  363"  info1: "Sub 363
@@ -400,6 +425,7 @@ node: {title: "n363" label: "SubIs  363"  info1: "Sub 363
      0:    Phi 390
      1:    0x1 360
   Private Attributes:
+  in loop 637 with depth 1
 "
 }
 node: {title: "n363n360" label: "0x1Is  360"  info1: "0x1 360
@@ -410,6 +436,7 @@ node: {title: "n363n360" label: "0x1Is  360"  info1: "0x1 360
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -428,6 +455,7 @@ node: {title: "n344" label: "ProjM 1 344"  info1: "Proj 344
     -1:    Block 337
      0:    Start 338
   Private Attributes:
+  in loop 636 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n344" targetname: "n338" label: "0" class:17 priority:10 color:blue}
@@ -440,6 +468,7 @@ node: {title: "n341" label: "ProjX 0 341"  info1: "Proj 341
     -1:    Block 337
      0:    Start 338
   Private Attributes:
+  in loop 636 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n341" targetname: "n338" label: "0" class:13 priority:60 color:red}
@@ -451,6 +480,7 @@ node: {title: "n338" label: "Start  338"  info1: "Start 338
   pred nodes:
     -1:    Block 337
   Private Attributes:
+  in loop 636 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "

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 9314d66..2222ab6 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg
@@ -64,6 +64,7 @@ node: {title: "n402" label: "End  402"  info1: "End 402
     -1:    Block 401
      0:    Phi 455
   Private Attributes:
+  in loop 661 with depth 0
 "
 color: blue}
 }
@@ -80,6 +81,7 @@ node: {title: "n451" label: "Return  451"  info1: "Return 451
      0:    Phi 455
      1:    0x4 428
   Private Attributes:
+  in loop 661 with depth 0
   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
     res 0 type: int
 "
@@ -92,6 +94,7 @@ node: {title: "n451n428" label: "0x4Is  428"  info1: "0x4 428
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -113,6 +116,7 @@ node: {title: "n455" label: "PhiM  455"  info1: "Phi 455
      1:    Proj 441
   Private Attributes:
   backedges:
+  in loop 664 with depth 1
 "
 color: green}
 edge: {sourcename: "n455" targetname: "n410" label: "0" class:17 priority:10 color:blue}
@@ -126,6 +130,7 @@ node: {title: "n423" label: "ProjX 0 423"  info1: "Proj 423
     -1:    Block 417
      0:    Cond 422
   Private Attributes:
+  in loop 661 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n423" targetname: "n422" label: "0" class:13 priority:60 color:red}
@@ -138,6 +143,7 @@ node: {title: "n424" label: "ProjX 1 424"  info1: "Proj 424
     -1:    Block 417
      0:    Cond 422
   Private Attributes:
+  in loop 663 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n424" targetname: "n422" label: "0" class:13 priority:60 color:red}
@@ -150,6 +156,7 @@ node: {title: "n422" label: "Cond  422"  info1: "Cond 422
     -1:    Block 417
      0:    Proj 421
   Private Attributes:
+  in loop 663 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -164,6 +171,7 @@ node: {title: "n421" label: "Projb Gt 421"  info1: "Proj 421
     -1:    Block 417
      0:    Cmp 420
   Private Attributes:
+  in loop 663 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n421" targetname: "n420" label: "0" class:1  priority:50}
@@ -177,6 +185,7 @@ node: {title: "n420" label: "Cmp  420"  info1: "Cmp 420
      0:    0x28 683
      1:    Phi 456
   Private Attributes:
+  in loop 663 with depth 2
 "
 }
 node: {title: "n420n683" label: "0x28Is  683"  info1: "0x28 683
@@ -203,6 +212,7 @@ node: {title: "n456" label: "PhiIs  456"  info1: "Phi 456
      1:    Add 668
   Private Attributes:
   backedges:
+  in loop 662 with depth 1
 "
 color: green}
 node: {title: "n456n414" label: "0x0Is  414"  info1: "0x0 414
@@ -213,6 +223,7 @@ node: {title: "n456n414" label: "0x0Is  414"  info1: "0x0 414
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -230,6 +241,7 @@ node: {title: "n416" label: "Jmp  416"  info1: "Jmp 416
   pred nodes:
     -1:    Block 413
   Private Attributes:
+  in loop 661 with depth 0
 "
 }
 }
@@ -245,6 +257,7 @@ node: {title: "n441" label: "ProjM 0 441"  info1: "Proj 441
     -1:    Block 425
      0:    Store 439
   Private Attributes:
+  in loop 664 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n441" targetname: "n439" label: "0" class:17 priority:10 color:blue}
@@ -260,6 +273,7 @@ node: {title: "n439" label: "Store  439"  info1: "Store 439
      2:    0x13 437
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 664 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -271,6 +285,7 @@ node: {title: "n439n437" label: "0x13Is  437"  info1: "0x13 437
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -312,6 +327,7 @@ node: {title: "n434" label: "SubP  434"  info1: "Sub 434
      0:    0x5 427
      1:    Add 674
   Private Attributes:
+  in loop 661 with depth 0
 "
 }
 node: {title: "n434n427" label: "0x5Is  427"  info1: "0x5 427
@@ -322,6 +338,7 @@ node: {title: "n434n427" label: "0x5Is  427"  info1: "0x5 427
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -361,6 +378,7 @@ node: {title: "n673n415" label: "SymC &a  415"  info1: "SymC &a 415
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (399)
 
@@ -388,6 +406,7 @@ node: {title: "n442" label: "Jmp  442"  info1: "Jmp 442
   pred nodes:
     -1:    Block 425
   Private Attributes:
+  in loop 663 with depth 2
 "
 }
 node: {title: "n668" label: "AddIs  668"  info1: "Add 668
@@ -428,6 +447,7 @@ node: {title: "n410" label: "ProjM 1 410"  info1: "Proj 410
     -1:    Block 403
      0:    Start 404
   Private Attributes:
+  in loop 661 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n410" targetname: "n404" label: "0" class:17 priority:10 color:blue}
@@ -440,6 +460,7 @@ node: {title: "n407" label: "ProjX 0 407"  info1: "Proj 407
     -1:    Block 403
      0:    Start 404
   Private Attributes:
+  in loop 661 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n407" targetname: "n404" label: "0" class:13 priority:60 color:red}
@@ -451,6 +472,7 @@ node: {title: "n404" label: "Start  404"  info1: "Start 404
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6.vcg
index 489af72..d848ef9 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6.vcg
@@ -64,6 +64,7 @@ node: {title: "n402" label: "End  402"  info1: "End 402
     -1:    Block 401
      0:    Phi 455
   Private Attributes:
+  in loop 661 with depth 0
 "
 color: blue}
 }
@@ -80,6 +81,7 @@ node: {title: "n451" label: "Return  451"  info1: "Return 451
      0:    Phi 455
      1:    0x4 428
   Private Attributes:
+  in loop 661 with depth 0
   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
     res 0 type: int
 "
@@ -92,6 +94,7 @@ node: {title: "n451n428" label: "0x4Is  428"  info1: "0x4 428
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -113,6 +116,7 @@ node: {title: "n455" label: "PhiM  455"  info1: "Phi 455
      1: be Proj 441
   Private Attributes:
   backedges:  1
+  in loop 664 with depth 1
 "
 color: green}
 edge: {sourcename: "n455" targetname: "n410" label: "0" class:17 priority:10 color:blue}
@@ -126,6 +130,7 @@ node: {title: "n423" label: "ProjX 0 423"  info1: "Proj 423
     -1:    Block 417
      0:    Cond 422
   Private Attributes:
+  in loop 661 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n423" targetname: "n422" label: "0" class:13 priority:60 color:red}
@@ -138,6 +143,7 @@ node: {title: "n424" label: "ProjX 1 424"  info1: "Proj 424
     -1:    Block 417
      0:    Cond 422
   Private Attributes:
+  in loop 663 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n424" targetname: "n422" label: "0" class:13 priority:60 color:red}
@@ -150,6 +156,7 @@ node: {title: "n422" label: "Cond  422"  info1: "Cond 422
     -1:    Block 417
      0:    Proj 421
   Private Attributes:
+  in loop 663 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -164,6 +171,7 @@ node: {title: "n421" label: "Projb Gt 421"  info1: "Proj 421
     -1:    Block 417
      0:    Cmp 420
   Private Attributes:
+  in loop 663 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n421" targetname: "n420" label: "0" class:1  priority:50}
@@ -177,6 +185,7 @@ node: {title: "n420" label: "Cmp  420"  info1: "Cmp 420
      0:    0xA 419
      1:    Phi 456
   Private Attributes:
+  in loop 663 with depth 2
 "
 }
 node: {title: "n420n419" label: "0xAIs  419"  info1: "0xA 419
@@ -187,6 +196,7 @@ node: {title: "n420n419" label: "0xAIs  419"  info1: "0xA 419
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -203,6 +213,7 @@ node: {title: "n456" label: "PhiIs  456"  info1: "Phi 456
      1: be Sub 430
   Private Attributes:
   backedges:  1
+  in loop 662 with depth 1
 "
 color: green}
 node: {title: "n456n414" label: "0x0Is  414"  info1: "0x0 414
@@ -213,6 +224,7 @@ node: {title: "n456n414" label: "0x0Is  414"  info1: "0x0 414
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -230,6 +242,7 @@ node: {title: "n416" label: "Jmp  416"  info1: "Jmp 416
   pred nodes:
     -1:    Block 413
   Private Attributes:
+  in loop 661 with depth 0
 "
 }
 }
@@ -245,6 +258,7 @@ node: {title: "n441" label: "ProjM 0 441"  info1: "Proj 441
     -1:    Block 425
      0:    Store 439
   Private Attributes:
+  in loop 664 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n441" targetname: "n439" label: "0" class:17 priority:10 color:blue}
@@ -260,6 +274,7 @@ node: {title: "n439" label: "Store  439"  info1: "Store 439
      2:    0x13 437
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 664 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -271,6 +286,7 @@ node: {title: "n439n437" label: "0x13Is  437"  info1: "0x13 437
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -287,6 +303,7 @@ node: {title: "n436" label: "AddP  436"  info1: "Add 436
      0:    0x4 428
      1:    Add 435
   Private Attributes:
+  in loop 661 with depth 0
 "
 }
 node: {title: "n436n428" label: "0x4Is  428"  info1: "0x4 428
@@ -297,6 +314,7 @@ node: {title: "n436n428" label: "0x4Is  428"  info1: "0x4 428
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -312,6 +330,7 @@ node: {title: "n435" label: "AddP  435"  info1: "Add 435
      0:    0x4 428
      1:    Sub 434
   Private Attributes:
+  in loop 661 with depth 0
 "
 }
 node: {title: "n435n428" label: "0x4Is  428"  info1: "0x4 428
@@ -322,6 +341,7 @@ node: {title: "n435n428" label: "0x4Is  428"  info1: "0x4 428
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -337,6 +357,7 @@ node: {title: "n434" label: "SubP  434"  info1: "Sub 434
      0:    0x5 427
      1:    Add 433
   Private Attributes:
+  in loop 661 with depth 0
 "
 }
 node: {title: "n434n427" label: "0x5Is  427"  info1: "0x5 427
@@ -347,6 +368,7 @@ node: {title: "n434n427" label: "0x5Is  427"  info1: "0x5 427
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -362,6 +384,7 @@ node: {title: "n433" label: "AddP  433"  info1: "Add 433
      0:    Mul 431
      1:    SymC &a 415
   Private Attributes:
+  in loop 661 with depth 0
 "
 }
 node: {title: "n433n415" label: "SymC &a  415"  info1: "SymC &a 415
@@ -372,6 +395,7 @@ node: {title: "n433n415" label: "SymC &a  415"  info1: "SymC &a 415
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (399)
 
@@ -390,6 +414,7 @@ node: {title: "n431" label: "MulIs  431"  info1: "Mul 431
      0:    0x4 428
      1:    Sub 430
   Private Attributes:
+  in loop 661 with depth 0
 "
 }
 node: {title: "n431n428" label: "0x4Is  428"  info1: "0x4 428
@@ -400,6 +425,7 @@ node: {title: "n431n428" label: "0x4Is  428"  info1: "0x4 428
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -413,6 +439,7 @@ node: {title: "n442" label: "Jmp  442"  info1: "Jmp 442
   pred nodes:
     -1:    Block 425
   Private Attributes:
+  in loop 663 with depth 2
 "
 }
 node: {title: "n430" label: "SubIs  430"  info1: "Sub 430
@@ -425,6 +452,7 @@ node: {title: "n430" label: "SubIs  430"  info1: "Sub 430
      0:    Phi 456
      1:    0x1 426
   Private Attributes:
+  in loop 662 with depth 1
 "
 }
 node: {title: "n430n426" label: "0x1Is  426"  info1: "0x1 426
@@ -435,6 +463,7 @@ node: {title: "n430n426" label: "0x1Is  426"  info1: "0x1 426
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -453,6 +482,7 @@ node: {title: "n410" label: "ProjM 1 410"  info1: "Proj 410
     -1:    Block 403
      0:    Start 404
   Private Attributes:
+  in loop 661 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n410" targetname: "n404" label: "0" class:17 priority:10 color:blue}
@@ -465,6 +495,7 @@ node: {title: "n407" label: "ProjX 0 407"  info1: "Proj 407
     -1:    Block 403
      0:    Start 404
   Private Attributes:
+  in loop 661 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n407" targetname: "n404" label: "0" class:13 priority:60 color:red}
@@ -476,6 +507,7 @@ node: {title: "n404" label: "Start  404"  info1: "Start 404
   pred nodes:
     -1:    Block 403
   Private Attributes:
+  in loop 661 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "

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 05826b2..c8df9b2 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg
@@ -64,6 +64,7 @@ node: {title: "n468" label: "End  468"  info1: "End 468
     -1:    Block 467
      0:    Phi 521
   Private Attributes:
+  in loop 686 with depth 0
 "
 color: blue}
 }
@@ -80,6 +81,7 @@ node: {title: "n517" label: "Return  517"  info1: "Return 517
      0:    Phi 521
      1:    0x4 494
   Private Attributes:
+  in loop 686 with depth 0
   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
     res 0 type: int
 "
@@ -92,6 +94,7 @@ node: {title: "n517n494" label: "0x4Is  494"  info1: "0x4 494
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -113,6 +116,7 @@ node: {title: "n521" label: "PhiM  521"  info1: "Phi 521
      1:    Proj 506
   Private Attributes:
   backedges:
+  in loop 689 with depth 1
 "
 color: green}
 edge: {sourcename: "n521" targetname: "n476" label: "0" class:17 priority:10 color:blue}
@@ -152,6 +156,7 @@ node: {title: "n490" label: "ProjX 0 490"  info1: "Proj 490
     -1:    Block 484
      0:    Cond 489
   Private Attributes:
+  in loop 686 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n490" targetname: "n489" label: "0" class:13 priority:60 color:red}
@@ -164,6 +169,7 @@ node: {title: "n491" label: "ProjX 1 491"  info1: "Proj 491
     -1:    Block 484
      0:    Cond 489
   Private Attributes:
+  in loop 688 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n491" targetname: "n489" label: "0" class:13 priority:60 color:red}
@@ -176,6 +182,7 @@ node: {title: "n489" label: "Cond  489"  info1: "Cond 489
     -1:    Block 484
      0:    Proj 488
   Private Attributes:
+  in loop 688 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -190,6 +197,7 @@ node: {title: "n488" label: "Projb Lt 488"  info1: "Proj 488
     -1:    Block 484
      0:    Cmp 487
   Private Attributes:
+  in loop 688 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n488" targetname: "n487" label: "0" class:1  priority:50}
@@ -203,6 +211,7 @@ node: {title: "n487" label: "Cmp  487"  info1: "Cmp 487
      0:    0x0 486
      1:    Phi 522
   Private Attributes:
+  in loop 688 with depth 2
 "
 }
 node: {title: "n487n486" label: "0x0Is  486"  info1: "0x0 486
@@ -213,6 +222,7 @@ node: {title: "n487n486" label: "0x0Is  486"  info1: "0x0 486
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -229,6 +239,7 @@ node: {title: "n522" label: "PhiIs  522"  info1: "Phi 522
      1:    Add 693
   Private Attributes:
   backedges:
+  in loop 687 with depth 1
 "
 color: green}
 node: {title: "n522n481" label: "0xAIs  481"  info1: "0xA 481
@@ -239,6 +250,7 @@ node: {title: "n522n481" label: "0xAIs  481"  info1: "0xA 481
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -256,6 +268,7 @@ node: {title: "n483" label: "Jmp  483"  info1: "Jmp 483
   pred nodes:
     -1:    Block 479
   Private Attributes:
+  in loop 686 with depth 0
 "
 }
 }
@@ -271,6 +284,7 @@ node: {title: "n506" label: "ProjM 0 506"  info1: "Proj 506
     -1:    Block 492
      0:    Store 504
   Private Attributes:
+  in loop 689 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n506" targetname: "n504" label: "0" class:17 priority:10 color:blue}
@@ -286,6 +300,7 @@ node: {title: "n504" label: "Store  504"  info1: "Store 504
      2:    Add 502
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 689 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -351,6 +366,7 @@ node: {title: "n701n482" label: "SymC &a  482"  info1: "SymC &a 482
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (465)
 
@@ -380,6 +396,7 @@ node: {title: "n502" label: "AddIs  502"  info1: "Add 502
      0:    0x13 495
      1:    Phi 522
   Private Attributes:
+  in loop 686 with depth 0
 "
 }
 node: {title: "n502n495" label: "0x13Is  495"  info1: "0x13 495
@@ -390,6 +407,7 @@ node: {title: "n502n495" label: "0x13Is  495"  info1: "0x13 495
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -403,6 +421,7 @@ node: {title: "n508" label: "Jmp  508"  info1: "Jmp 508
   pred nodes:
     -1:    Block 492
   Private Attributes:
+  in loop 688 with depth 2
 "
 }
 node: {title: "n693" label: "AddIs  693"  info1: "Add 693
@@ -443,6 +462,7 @@ node: {title: "n476" label: "ProjM 1 476"  info1: "Proj 476
     -1:    Block 469
      0:    Start 470
   Private Attributes:
+  in loop 686 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n476" targetname: "n470" label: "0" class:17 priority:10 color:blue}
@@ -455,6 +475,7 @@ node: {title: "n473" label: "ProjX 0 473"  info1: "Proj 473
     -1:    Block 469
      0:    Start 470
   Private Attributes:
+  in loop 686 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n473" targetname: "n470" label: "0" class:13 priority:60 color:red}
@@ -466,6 +487,7 @@ node: {title: "n470" label: "Start  470"  info1: "Start 470
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "

diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7.vcg
index d8a6f9e..56f0fc9 100644 (file)
--- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7.vcg
+++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7.vcg
@@ -64,6 +64,7 @@ node: {title: "n468" label: "End  468"  info1: "End 468
     -1:    Block 467
      0:    Phi 521
   Private Attributes:
+  in loop 686 with depth 0
 "
 color: blue}
 }
@@ -80,6 +81,7 @@ node: {title: "n517" label: "Return  517"  info1: "Return 517
      0:    Phi 521
      1:    0x4 494
   Private Attributes:
+  in loop 686 with depth 0
   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
     res 0 type: int
 "
@@ -92,6 +94,7 @@ node: {title: "n517n494" label: "0x4Is  494"  info1: "0x4 494
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -113,6 +116,7 @@ node: {title: "n521" label: "PhiM  521"  info1: "Phi 521
      1: be Proj 506
   Private Attributes:
   backedges:  1
+  in loop 689 with depth 1
 "
 color: green}
 edge: {sourcename: "n521" targetname: "n476" label: "0" class:17 priority:10 color:blue}
@@ -126,6 +130,7 @@ node: {title: "n490" label: "ProjX 0 490"  info1: "Proj 490
     -1:    Block 484
      0:    Cond 489
   Private Attributes:
+  in loop 686 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n490" targetname: "n489" label: "0" class:13 priority:60 color:red}
@@ -138,6 +143,7 @@ node: {title: "n491" label: "ProjX 1 491"  info1: "Proj 491
     -1:    Block 484
      0:    Cond 489
   Private Attributes:
+  in loop 688 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n491" targetname: "n489" label: "0" class:13 priority:60 color:red}
@@ -150,6 +156,7 @@ node: {title: "n489" label: "Cond  489"  info1: "Cond 489
     -1:    Block 484
      0:    Proj 488
   Private Attributes:
+  in loop 688 with depth 2
   condition kind: dense
   default ProjNr: 0
 "
@@ -164,6 +171,7 @@ node: {title: "n488" label: "Projb Lt 488"  info1: "Proj 488
     -1:    Block 484
      0:    Cmp 487
   Private Attributes:
+  in loop 688 with depth 2
 "
 color: yellow}
 edge: {sourcename: "n488" targetname: "n487" label: "0" class:1  priority:50}
@@ -177,6 +185,7 @@ node: {title: "n487" label: "Cmp  487"  info1: "Cmp 487
      0:    0x0 486
      1:    Phi 522
   Private Attributes:
+  in loop 688 with depth 2
 "
 }
 node: {title: "n487n486" label: "0x0Is  486"  info1: "0x0 486
@@ -187,6 +196,7 @@ node: {title: "n487n486" label: "0x0Is  486"  info1: "0x0 486
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -203,6 +213,7 @@ node: {title: "n522" label: "PhiIs  522"  info1: "Phi 522
      1: be Sub 507
   Private Attributes:
   backedges:  1
+  in loop 687 with depth 1
 "
 color: green}
 node: {title: "n522n481" label: "0xAIs  481"  info1: "0xA 481
@@ -213,6 +224,7 @@ node: {title: "n522n481" label: "0xAIs  481"  info1: "0xA 481
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -230,6 +242,7 @@ node: {title: "n483" label: "Jmp  483"  info1: "Jmp 483
   pred nodes:
     -1:    Block 479
   Private Attributes:
+  in loop 686 with depth 0
 "
 }
 }
@@ -245,6 +258,7 @@ node: {title: "n506" label: "ProjM 0 506"  info1: "Proj 506
     -1:    Block 492
      0:    Store 504
   Private Attributes:
+  in loop 689 with depth 1
 "
 color: yellow}
 edge: {sourcename: "n506" targetname: "n504" label: "0" class:17 priority:10 color:blue}
@@ -260,6 +274,7 @@ node: {title: "n504" label: "Store  504"  info1: "Store 504
      2:    Add 502
   Private Attributes:
   pinned state: op_pin_state_pinned
+  in loop 689 with depth 1
   volatility: volatility_non_volatile
 "
 }
@@ -276,6 +291,7 @@ node: {title: "n501" label: "AddP  501"  info1: "Add 501
      0:    Mul 499
      1:    SymC &a 482
   Private Attributes:
+  in loop 686 with depth 0
 "
 }
 node: {title: "n501n482" label: "SymC &a  482"  info1: "SymC &a 482
@@ -286,6 +302,7 @@ node: {title: "n501n482" label: "SymC &a  482"  info1: "SymC &a 482
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   kind:   addr_ent
   entity: entity GlobalType.a (465)
 
@@ -304,6 +321,7 @@ node: {title: "n499" label: "MulIs  499"  info1: "Mul 499
      0:    0x4 494
      1:    Add 498
   Private Attributes:
+  in loop 686 with depth 0
 "
 }
 node: {title: "n499n494" label: "0x4Is  494"  info1: "0x4 494
@@ -314,6 +332,7 @@ node: {title: "n499n494" label: "0x4Is  494"  info1: "0x4 494
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -329,6 +348,7 @@ node: {title: "n498" label: "AddIs  498"  info1: "Add 498
      0:    0x13 495
      1:    Add 497
   Private Attributes:
+  in loop 686 with depth 0
 "
 }
 node: {title: "n498n495" label: "0x13Is  495"  info1: "0x13 495
@@ -339,6 +359,7 @@ node: {title: "n498n495" label: "0x13Is  495"  info1: "0x13 495
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -354,6 +375,7 @@ node: {title: "n497" label: "AddIs  497"  info1: "Add 497
      0:    0x4 494
      1:    Phi 522
   Private Attributes:
+  in loop 686 with depth 0
 "
 }
 node: {title: "n497n494" label: "0x4Is  494"  info1: "0x4 494
@@ -364,6 +386,7 @@ node: {title: "n497n494" label: "0x4Is  494"  info1: "0x4 494
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -379,6 +402,7 @@ node: {title: "n502" label: "AddIs  502"  info1: "Add 502
      0:    0x13 495
      1:    Phi 522
   Private Attributes:
+  in loop 686 with depth 0
 "
 }
 node: {title: "n502n495" label: "0x13Is  495"  info1: "0x13 495
@@ -389,6 +413,7 @@ node: {title: "n502n495" label: "0x13Is  495"  info1: "0x13 495
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -402,6 +427,7 @@ node: {title: "n508" label: "Jmp  508"  info1: "Jmp 508
   pred nodes:
     -1:    Block 492
   Private Attributes:
+  in loop 688 with depth 2
 "
 }
 node: {title: "n507" label: "SubIs  507"  info1: "Sub 507
@@ -414,6 +440,7 @@ node: {title: "n507" label: "SubIs  507"  info1: "Sub 507
      0:    Phi 522
      1:    0x1 493
   Private Attributes:
+  in loop 687 with depth 1
 "
 }
 node: {title: "n507n493" label: "0x1Is  493"  info1: "0x1 493
@@ -424,6 +451,7 @@ node: {title: "n507n493" label: "0x1Is  493"  info1: "0x1 493
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   Const of type type_unknown
 "
 color: yellow}
@@ -442,6 +470,7 @@ node: {title: "n476" label: "ProjM 1 476"  info1: "Proj 476
     -1:    Block 469
      0:    Start 470
   Private Attributes:
+  in loop 686 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n476" targetname: "n470" label: "0" class:17 priority:10 color:blue}
@@ -454,6 +483,7 @@ node: {title: "n473" label: "ProjX 0 473"  info1: "Proj 473
     -1:    Block 469
      0:    Start 470
   Private Attributes:
+  in loop 686 with depth 0
 "
 color: yellow}
 edge: {sourcename: "n473" targetname: "n470" label: "0" class:13 priority:60 color:red}
@@ -465,6 +495,7 @@ node: {title: "n470" label: "Start  470"  info1: "Start 470
   pred nodes:
     -1:    Block 469
   Private Attributes:
+  in loop 686 with depth 0
   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
     param 0 type: int
 "