From: Götz Lindenmaier Date: Tue, 28 Dec 2004 13:35:53 +0000 (+0000) Subject: changed layout of node info X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=972fff24a9e6cc67ac0f1964cf8f3a40992fc322;p=libfirm changed layout of node info [r4775] --- diff --git a/testprograms/ref-results/All_graphs.vcg b/testprograms/ref-results/All_graphs.vcg index a4f8bc6a5..72ac37857 100644 --- 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 6fb6cbe92..a97c8bc94 100644 --- 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 4d3e4b943..357f49fb1 100644 --- 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 ef737fd4f..532d5e9bd 100644 --- 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 6299ed319..366522633 100644 --- 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 85ddb8235..5498d73da 100644 --- 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 691a32785..44b182995 100644 --- 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 246b0717d..61727d9b1 100644 --- 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 4479cafbc..c845bb88e 100644 --- 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 3b829c5aa..7d536eb68 100644 --- 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 c8859dd64..426ce0cb6 100644 --- 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 8274f9c65..fa06e32cd 100644 --- 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 47261c0e3..d001d9770 100644 --- 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 e60c4af90..d7ebc3c5a 100644 --- 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 d09eb81a5..43fb3164e 100644 --- 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 e771bec95..9538ab599 100644 --- 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 5bbef0ba2..eff7d3ecf 100644 --- 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 7e73e3964..78dd775b2 100644 --- 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 af2d09f36..fb831b3d9 100644 --- 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 72fe4527a..dc092090c 100644 --- 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 40ed719a0..5d3479d87 100644 --- 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 b04d2124d..77eafe57d 100644 --- 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 1934b05a9..188c65a5a 100644 --- 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 9314d669b..2222ab6fd 100644 --- 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 489af728a..d848ef992 100644 --- 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 05826b2ba..c8df9b23e 100644 --- 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 d8a6f9e1e..56f0fc937 100644 --- 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 "