From 4d62401b8b067dde355bf907f79e6514a1786357 Mon Sep 17 00:00:00 2001 From: FIRM Projekt Account Date: Wed, 19 Oct 2005 12:00:07 +0000 Subject: [PATCH] Blocks and ir_graphs have now info1 (attributes) and info3 (debug info) fields method entities have calling conventions [r6750] --- .../ARRAY-HEAP_EXAMPLE_main-type.vcg | 2 + .../ref-results/ARRAY-HEAP_EXAMPLE_main.vcg | 53 +++++ .../ARRAY-STACK_EXAMPLE_main-type.vcg | 2 + .../ARRAY-STACK_EXAMPLE_main-wtypes.vcg | 55 +++++ .../ref-results/ARRAY-STACK_EXAMPLE_main.vcg | 53 +++++ testprograms/ref-results/All_graphs.vcg | 216 +++++++++++++++++ testprograms/ref-results/All_types.vcg | 2 + .../ref-results/CALL_STR_EXAMPLE_main.vcg | 53 +++++ .../ref-results/COND_EXAMPLE_main.vcg | 78 ++++++ .../ref-results/CONST_EVAL_EXAMPLE_main.vcg | 53 +++++ testprograms/ref-results/DEAD_BLOCK_main.vcg | 53 +++++ testprograms/ref-results/EMPTY_main.vcg | 53 +++++ .../ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg | 65 +++++ .../ref-results/FLOAT_EXAMPLE_main.vcg | 53 +++++ .../ref-results/GLOBAL_CSE_EXAMPLE_main.vcg | 90 +++++++ .../GLOBAL_VAR_main-pure-wtypes.vcg | 2 + testprograms/ref-results/GLOBAL_VAR_main.vcg | 53 +++++ .../ref-results/IF_ELSE_EXAMPLE_main.vcg | 53 +++++ testprograms/ref-results/IF_EXAMPLE_main.vcg | 78 ++++++ .../ref-results/IRREGULAR_CF_main.vcg | 115 +++++++++ testprograms/ref-results/IRR_LOOP_loop1.vcg | 98 ++++++++ testprograms/ref-results/IRR_LOOP_loop2.vcg | 126 ++++++++++ .../ref-results/MEMORY_EXAMPLE_main.vcg | 78 ++++++ .../OO_INLINE_EXAMPLE_main-wtypes.vcg | 71 ++++++ .../ref-results/OO_INLINE_EXAMPLE_main.vcg | 65 +++++ .../OO_PROGRAM_EXAMPLE_main-ip.vcg | 216 +++++++++++++++++ ...OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg | 6 + .../OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg | 6 + .../OO_PROGRAM_EXAMPLE_main-type.vcg | 6 + .../OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg | 222 ++++++++++++++++++ .../OO_PROGRAM_EXAMPLE_main-wtypes.vcg | 59 +++++ .../ref-results/OO_PROGRAM_EXAMPLE_main.vcg | 53 +++++ .../ref-results/PRIMA_INLINE_c-wtypes.vcg | 69 ++++++ testprograms/ref-results/PRIMA_INLINE_c.vcg | 65 +++++ .../ref-results/PRIMA_INLINE_set_a-wtypes.vcg | 57 +++++ .../ref-results/PRIMA_INLINE_set_a.vcg | 53 +++++ .../ref-results/PRIMA_c-pure-wtypes.vcg | 4 + testprograms/ref-results/PRIMA_c-type.vcg | 4 + testprograms/ref-results/PRIMA_c-wtypes.vcg | 57 +++++ testprograms/ref-results/PRIMA_c.vcg | 53 +++++ .../ref-results/PRIMA_set_a-pure-wtypes.vcg | 4 + testprograms/ref-results/PRIMA_set_a-type.vcg | 4 + .../ref-results/PRIMA_set_a-wtypes.vcg | 57 +++++ testprograms/ref-results/PRIMA_set_a.vcg | 53 +++++ .../ref-results/STRENGTH_RED_EXAMPLE_m1.vcg | 110 +++++++++ ...RENGTH_RED_EXAMPLE_m2-strength_reduced.vcg | 114 +++++++++ .../ref-results/STRENGTH_RED_EXAMPLE_m2.vcg | 96 ++++++++ ...RENGTH_RED_EXAMPLE_m3-strength_reduced.vcg | 114 +++++++++ .../ref-results/STRENGTH_RED_EXAMPLE_m3.vcg | 96 ++++++++ ...RENGTH_RED_EXAMPLE_m4-strength_reduced.vcg | 114 +++++++++ .../ref-results/STRENGTH_RED_EXAMPLE_m4.vcg | 96 ++++++++ ...RENGTH_RED_EXAMPLE_m5-strength_reduced.vcg | 114 +++++++++ .../ref-results/STRENGTH_RED_EXAMPLE_m5.vcg | 96 ++++++++ ...RENGTH_RED_EXAMPLE_m6-strength_reduced.vcg | 114 +++++++++ .../ref-results/STRENGTH_RED_EXAMPLE_m6.vcg | 96 ++++++++ ...RENGTH_RED_EXAMPLE_m7-strength_reduced.vcg | 114 +++++++++ .../ref-results/STRENGTH_RED_EXAMPLE_m7.vcg | 96 ++++++++ .../ref-results/THREE_CFPRED_EXAMPLE_main.vcg | 115 +++++++++ .../ref-results/WHILE_EXAMPLE_main.vcg | 90 +++++++ testprograms/ref-results/class_hierarchy.vcg | 4 + 60 files changed, 4247 insertions(+) diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg index c99a5719d..a1e75779d 100644 --- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg @@ -132,6 +132,7 @@ node: {title: "e17" label: "ent ARRAY-HEAP_EXAMPLE_main" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &ARRAY-HEAP_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -166,6 +167,7 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &ARRAY-HEAP_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg index 5f2630b5c..2e09680fc 100644 --- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg +++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g35" label: "ARRAY-HEAP_EXAMPLE_main" status:clustered color:white +info1: "entity ARRAY-HEAP_EXAMPLE_main (17) + type: ARRAY-HEAP_EXAMPLE_main (15) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &ARRAY-HEAP_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 35 + +" graph: { title: "n24" label: "Block 24" status:clustered color:yellow + info1: "Block 24 + mode: BB + visited: 11 + irg: ARRAY-HEAP_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 49 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n24" targetname: "n49" label: "0" class:13 priority:60 color:red} node: {title: "n51" label: "End 51" info1: "End 51 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n36" label: "Block 36" status:clustered color:yellow + info1: "Block 36 + mode: BB + visited: 11 + irg: ARRAY-HEAP_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 30 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n36" targetname: "n30" label: "0" class:13 priority:60 color:red} node: {title: "n49" label: "Return 49" info1: "Return 49 mode: X @@ -194,6 +235,18 @@ edge: {sourcename: "n39" targetname: "n37" label: "1" class:16 priority:10} } graph: { title: "n26" label: "Block 26" status:clustered color:yellow + info1: "Block 26 + mode: BB + visited: 11 + irg: ARRAY-HEAP_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 30 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n26" targetname: "n30" label: "0" class:13 priority:60 color:red} node: {title: "n33" label: "ProjM 1 33" info1: "Proj 33 mode: M diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg index 41c30cdbb..70cc1ac51 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg @@ -175,6 +175,7 @@ node: {title: "e18" label: "ent ARRAY-STACK_EXAMPLE_main" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &main volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -209,6 +210,7 @@ node: {title: "t15" label: "class ARRAY-STACK_EXAMPLE" info1: "class type ARRAY- allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &main volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg index b4a4df722..5b715a2ad 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g36" label: "ARRAY-STACK_EXAMPLE_main" status:clustered color:white +info1: "entity main (18) + type: main_tp (16) + owner: ARRAY-STACK_EXAMPLE (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: ARRAY-STACK_EXAMPLE_main + offset: -1 bits, -1 bytes + irg = 36 + +" graph: { title: "n25" label: "Block 25" status:clustered color:yellow + info1: "Block 25 + mode: BB + visited: 13 + irg: ARRAY-STACK_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 47 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n25" targetname: "n47" label: "0" class:13 priority:60 color:red} node: {title: "n49" label: "End 49" info1: "End 49 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n37" label: "Block 37" status:clustered color:yellow + info1: "Block 37 + mode: BB + visited: 13 + irg: ARRAY-STACK_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 31 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n37" targetname: "n31" label: "0" class:13 priority:60 color:red} node: {title: "n47" label: "Return 47" info1: "Return 47 mode: X @@ -168,6 +209,18 @@ edge: {sourcename: "n40" targetname: "n32" label: "1" class:16 priority:10} } graph: { title: "n27" label: "Block 27" status:clustered color:yellow + info1: "Block 27 + mode: BB + visited: 13 + irg: ARRAY-STACK_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 31 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n27" targetname: "n31" label: "0" class:13 priority:60 color:red} node: {title: "n34" label: "ProjM 1 34" info1: "Proj 34 mode: M @@ -356,6 +409,7 @@ node: {title: "e18" label: "ent ARRAY-STACK_EXAMPLE_main" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &main volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -390,6 +444,7 @@ node: {title: "t15" label: "class ARRAY-STACK_EXAMPLE" info1: "class type ARRAY- allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &main volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main.vcg index 5569f1534..1853ede84 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g36" label: "ARRAY-STACK_EXAMPLE_main" status:clustered color:white +info1: "entity main (18) + type: main_tp (16) + owner: ARRAY-STACK_EXAMPLE (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: ARRAY-STACK_EXAMPLE_main + offset: -1 bits, -1 bytes + irg = 36 + +" graph: { title: "n25" label: "Block 25" status:clustered color:yellow + info1: "Block 25 + mode: BB + visited: 11 + irg: ARRAY-STACK_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 47 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n25" targetname: "n47" label: "0" class:13 priority:60 color:red} node: {title: "n49" label: "End 49" info1: "End 49 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n37" label: "Block 37" status:clustered color:yellow + info1: "Block 37 + mode: BB + visited: 11 + irg: ARRAY-STACK_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 31 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n37" targetname: "n31" label: "0" class:13 priority:60 color:red} node: {title: "n47" label: "Return 47" info1: "Return 47 mode: X @@ -168,6 +209,18 @@ edge: {sourcename: "n40" targetname: "n32" label: "1" class:16 priority:10} } graph: { title: "n27" label: "Block 27" status:clustered color:yellow + info1: "Block 27 + mode: BB + visited: 11 + irg: ARRAY-STACK_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 31 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n27" targetname: "n31" label: "0" class:13 priority:60 color:red} node: {title: "n34" label: "ProjM 1 34" info1: "Proj 34 mode: M diff --git a/testprograms/ref-results/All_graphs.vcg b/testprograms/ref-results/All_graphs.vcg index 5ad8a0054..bac102f6b 100644 --- a/testprograms/ref-results/All_graphs.vcg +++ b/testprograms/ref-results/All_graphs.vcg @@ -54,7 +54,39 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g39" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white +info1: "entity OO_PROGRAM_EXAMPLE_main (26) + type: OO_PROGRAM_EXAMPLE_main (24) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &OO_PROGRAM_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 39 + +" graph: { title: "n28" label: "Block 28" status:clustered color:yellow + info1: "Block 28 + mode: BB + visited: 52 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 59 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Return 59 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red} node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main 109" info1: "End OO_PROGRAM_EXAMPLE_main 109 mode: X @@ -71,6 +103,21 @@ color: blue} } graph: { title: "n40" label: "Block 40" status:clustered color:yellow + info1: "Block 40 + mode: BB + visited: 52 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Break 198 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 200 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red} node: {title: "n59" label: "Return 59" info1: "Return 59 mode: X @@ -121,6 +168,21 @@ edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10} } graph: { title: "n197" label: "Block 197" status:clustered color:yellow + info1: "Block 197 + mode: BB + visited: 52 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Break 192 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 194 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red} node: {title: "n196" label: "FilterM 0 196" info1: "Filter 196 mode: M @@ -183,6 +245,21 @@ edge: {sourcename: "n199" targetname: "n199n174" label: "0" class:16 priority:10 } graph: { title: "n191" label: "Block 191" status:clustered color:yellow + info1: "Block 191 + mode: BB + visited: 52 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 34 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n47" label: "ProjM M 47" info1: "Proj 47 mode: M @@ -285,6 +362,21 @@ edge: {sourcename: "n193" targetname: "n193n175" label: "0" class:16 priority:10 } graph: { title: "n30" label: "Block 30" status:clustered color:yellow + info1: "Block 30 + mode: BB + visited: 52 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 34 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n37" label: "ProjM 1 37" info1: "Proj 37 mode: M @@ -328,7 +420,39 @@ color: blue} } graph: { title: "g73" label: "PRIMA_set_a" status:clustered color:white +info1: "entity set_a (20) + type: set_a (18) + owner: PRIMA (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &set_a + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_set_a + offset: -1 bits, -1 bytes + irg = 73 + +" graph: { title: "n188" label: "Block 188" status:clustered color:yellow + info1: "Block 188 + mode: BB + visited: 52 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Jmp 187 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Jmp 187 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red} node: {title: "n194" label: "ProjX 0 194" info1: "Proj 194 mode: X @@ -356,6 +480,21 @@ color: blue} } graph: { title: "n74" label: "Block 74" status:clustered color:yellow + info1: "Block 74 + mode: BB + visited: 52 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 68 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red} node: {title: "n81" label: "ProjM M 81" info1: "Proj 81 mode: M @@ -418,6 +557,21 @@ node: {title: "n187" label: "Jmp 187" info1: "Jmp 187 } graph: { title: "n64" label: "Block 64" status:clustered color:yellow + info1: "Block 64 + mode: BB + visited: 52 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 195 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red} node: {title: "n184" label: "FilterM 1 184" info1: "Filter 184 mode: M @@ -509,7 +663,39 @@ color: blue} } graph: { title: "g96" label: "PRIMA_c" status:clustered color:white +info1: "entity c (23) + type: c (21) + owner: PRIMA (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &c + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_c + offset: -1 bits, -1 bytes + irg = 96 + +" graph: { title: "n180" label: "Block 180" status:clustered color:yellow + info1: "Block 180 + mode: BB + visited: 52 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Jmp 179 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Jmp 179 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red} node: {title: "n200" label: "ProjX 0 200" info1: "Proj 200 mode: X @@ -537,6 +723,21 @@ color: blue} } graph: { title: "n97" label: "Block 97" status:clustered color:yellow + info1: "Block 97 + mode: BB + visited: 52 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 91 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red} node: {title: "n104" label: "ProjM M 104" info1: "Proj 104 mode: M @@ -625,6 +826,21 @@ node: {title: "n179" label: "Jmp 179" info1: "Jmp 179 } graph: { title: "n87" label: "Block 87" status:clustered color:yellow + info1: "Block 87 + mode: BB + visited: 52 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 201 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red} node: {title: "n176" label: "FilterM 1 176" info1: "Filter 176 mode: M diff --git a/testprograms/ref-results/All_types.vcg b/testprograms/ref-results/All_types.vcg index b4bf34fd0..b9f48f607 100644 --- a/testprograms/ref-results/All_types.vcg +++ b/testprograms/ref-results/All_types.vcg @@ -90,6 +90,7 @@ node: {title: "t16" label: "class WHILE_EXAMPLE" info1: "class type WHILE_EXAMPL allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &main volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -117,6 +118,7 @@ node: {title: "e18" label: "ent WHILE_EXAMPLE_main" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &main volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg index 0580d4903..7a905ad1d 100644 --- a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg +++ b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g49" label: "CALL_STR_EXAMPLE_main" status:clustered color:white +info1: "entity CALL_STR_EXAMPLE_main (36) + type: CALL_STR_EXAMPLE_main (33) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &CALL_STR_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 49 + +" graph: { title: "n38" label: "Block 38" status:clustered color:yellow + info1: "Block 38 + mode: BB + visited: 9 + irg: CALL_STR_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 57 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n38" targetname: "n57" label: "0" class:13 priority:60 color:red} node: {title: "n59" label: "End 59" info1: "End 59 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n50" label: "Block 50" status:clustered color:yellow + info1: "Block 50 + mode: BB + visited: 9 + irg: CALL_STR_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 44 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n50" targetname: "n44" label: "0" class:13 priority:60 color:red} node: {title: "n57" label: "Return 57" info1: "Return 57 mode: X @@ -118,6 +159,18 @@ edge: {sourcename: "n54" targetname: "n51" label: "2" class:16 priority:10} } graph: { title: "n40" label: "Block 40" status:clustered color:yellow + info1: "Block 40 + mode: BB + visited: 9 + irg: CALL_STR_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 44 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n40" targetname: "n44" label: "0" class:13 priority:60 color:red} node: {title: "n47" label: "ProjM 1 47" info1: "Proj 47 mode: M diff --git a/testprograms/ref-results/COND_EXAMPLE_main.vcg b/testprograms/ref-results/COND_EXAMPLE_main.vcg index 94af4ca6e..7ec404953 100644 --- a/testprograms/ref-results/COND_EXAMPLE_main.vcg +++ b/testprograms/ref-results/COND_EXAMPLE_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g31" label: "COND_EXAMPLE_main" status:clustered color:white +info1: "entity main (18) + type: main (16) + owner: COND_EXAMPLE (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: COND_EXAMPLE_main + offset: -1 bits, -1 bytes + irg = 31 + +" graph: { title: "n20" label: "Block 20" status:clustered color:yellow + info1: "Block 20 + mode: BB + visited: 12 + irg: COND_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 57 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n20" targetname: "n57" label: "0" class:13 priority:60 color:red} node: {title: "n64" label: "End 64" info1: "End 64 mode: X @@ -69,6 +98,19 @@ color: blue} } graph: { title: "n54" label: "Block 54" status:clustered color:yellow + info1: "Block 54 + mode: BB + visited: 12 + irg: COND_EXAMPLE_main + arity: 2 + pred nodes: + 0: Jmp 53 + 1: Proj 49 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n54" targetname: "n53" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n54" targetname: "n49" label: "1" class:13 priority:60 color:red} node: {title: "n57" label: "Return 57" info1: "Return 57 @@ -105,6 +147,18 @@ edge: {sourcename: "n63" targetname: "n33" label: "1" class:16 priority:10} } graph: { title: "n51" label: "Block 51" status:clustered color:yellow + info1: "Block 51 + mode: BB + visited: 12 + irg: COND_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 50 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n51" targetname: "n50" label: "0" class:13 priority:60 color:red} node: {title: "n53" label: "Jmp 53" info1: "Jmp 53 mode: X @@ -119,6 +173,18 @@ node: {title: "n53" label: "Jmp 53" info1: "Jmp 53 } graph: { title: "n32" label: "Block 32" status:clustered color:yellow + info1: "Block 32 + mode: BB + visited: 12 + irg: COND_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n50" label: "ProjX true 50" info1: "Proj 50 mode: X @@ -295,6 +361,18 @@ edge: {sourcename: "n33" targetname: "n30" label: "0" class:16 priority:10} } graph: { title: "n22" label: "Block 22" status:clustered color:yellow + info1: "Block 22 + mode: BB + visited: 12 + irg: COND_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n29" label: "ProjM 1 29" info1: "Proj 29 mode: M diff --git a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg index aad6ac5ee..822a6b555 100644 --- a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg +++ b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g31" label: "CONST_EVAL_EXAMPLE_main" status:clustered color:white +info1: "entity main (18) + type: main (16) + owner: CONST_EVAL_EXAMPLE (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: CONST_EVAL_EXAMPLE_main + offset: -1 bits, -1 bytes + irg = 31 + +" graph: { title: "n20" label: "Block 20" status:clustered color:yellow + info1: "Block 20 + mode: BB + visited: 7 + irg: CONST_EVAL_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 46 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n20" targetname: "n46" label: "0" class:13 priority:60 color:red} node: {title: "n47" label: "End 47" info1: "End 47 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n32" label: "Block 32" status:clustered color:yellow + info1: "Block 32 + mode: BB + visited: 7 + irg: CONST_EVAL_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n46" label: "Return 46" info1: "Return 46 mode: X @@ -92,6 +133,18 @@ edge: {sourcename: "n46" targetname: "n39" label: "2" class:16 priority:10} } graph: { title: "n22" label: "Block 22" status:clustered color:yellow + info1: "Block 22 + mode: BB + visited: 7 + irg: CONST_EVAL_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n29" label: "ProjM 1 29" info1: "Proj 29 mode: M diff --git a/testprograms/ref-results/DEAD_BLOCK_main.vcg b/testprograms/ref-results/DEAD_BLOCK_main.vcg index 98ff0d44e..85c7a1574 100644 --- a/testprograms/ref-results/DEAD_BLOCK_main.vcg +++ b/testprograms/ref-results/DEAD_BLOCK_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g31" label: "DEAD_BLOCK_main" status:clustered color:white +info1: "entity main (18) + type: main (16) + owner: DEAD_BLOCK (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: DEAD_BLOCK_main + offset: -1 bits, -1 bytes + irg = 31 + +" graph: { title: "n20" label: "Block 20" status:clustered color:yellow + info1: "Block 20 + mode: BB + visited: 12 + irg: DEAD_BLOCK_main + arity: 1 + pred nodes: + 0: Return 51 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n20" targetname: "n51" label: "0" class:13 priority:60 color:red} node: {title: "n60" label: "End 60" info1: "End 60 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n32" label: "Block 32" status:clustered color:yellow + info1: "Block 32 + mode: BB + visited: 12 + irg: DEAD_BLOCK_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n51" label: "Return 51" info1: "Return 51 mode: X @@ -89,6 +130,18 @@ edge: {sourcename: "n51" targetname: "n34" label: "1" class:16 priority:10} } graph: { title: "n22" label: "Block 22" status:clustered color:yellow + info1: "Block 22 + mode: BB + visited: 12 + irg: DEAD_BLOCK_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n29" label: "ProjM 1 29" info1: "Proj 29 mode: M diff --git a/testprograms/ref-results/EMPTY_main.vcg b/testprograms/ref-results/EMPTY_main.vcg index 83df9778e..56ce54940 100644 --- a/testprograms/ref-results/EMPTY_main.vcg +++ b/testprograms/ref-results/EMPTY_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g29" label: "EMPTY_main" status:clustered color:white +info1: "entity EMPTY_main (16) + type: EMPTY_main (14) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &EMPTY_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 29 + +" graph: { title: "n18" label: "Block 18" status:clustered color:yellow + info1: "Block 18 + mode: BB + visited: 4 + irg: EMPTY_main + arity: 1 + pred nodes: + 0: Return 32 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n18" targetname: "n32" label: "0" class:13 priority:60 color:red} node: {title: "n19" label: "End 19" info1: "End 19 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n30" label: "Block 30" status:clustered color:yellow + info1: "Block 30 + mode: BB + visited: 4 + irg: EMPTY_main + arity: 1 + pred nodes: + 0: Proj 24 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n30" targetname: "n24" label: "0" class:13 priority:60 color:red} node: {title: "n32" label: "Return 32" info1: "Return 32 mode: X @@ -86,6 +127,18 @@ edge: {sourcename: "n32" targetname: "n27" label: "0" class:17 priority:10 color } graph: { title: "n20" label: "Block 20" status:clustered color:yellow + info1: "Block 20 + mode: BB + visited: 4 + irg: EMPTY_main + arity: 1 + pred nodes: + 0: Proj 24 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n20" targetname: "n24" label: "0" class:13 priority:60 color:red} node: {title: "n27" label: "ProjM 1 27" info1: "Proj 27 mode: M diff --git a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg index 001c4bc2f..20df25953 100644 --- a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg +++ b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg @@ -54,7 +54,37 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g31" label: "ENDLESS_LOOP_EXAMPLE_main" status:clustered color:white +info1: "entity main (18) + type: main_tp (15) + owner: ENDLESS_LOOP_EXAMPLE (16) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: ENDLESS_LOOP_EXAMPLE_main + offset: -1 bits, -1 bytes + irg = 31 + +" graph: { title: "n36" label: "Block 36" status:clustered color:yellow + info1: "Block 36 + mode: BB + visited: 22 + irg: ENDLESS_LOOP_EXAMPLE_main + arity: 2 + pred nodes: + 0: Jmp 35 + 1: Jmp 47 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n36" targetname: "n35" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n36" targetname: "n47" label: "1" class:13 priority:60 color:red} node: {title: "n66" label: "PhiM 66" info1: "Phi 66 @@ -163,6 +193,18 @@ node: {title: "n47" label: "Jmp 47" info1: "Jmp 47 } graph: { title: "n32" label: "Block 32" status:clustered color:yellow + info1: "Block 32 + mode: BB + visited: 22 + irg: ENDLESS_LOOP_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n33" label: "ProjIs Arg 0 33" info1: "Proj 33 mode: Is @@ -190,6 +232,18 @@ node: {title: "n35" label: "Jmp 35" info1: "Jmp 35 } graph: { title: "n22" label: "Block 22" status:clustered color:yellow + info1: "Block 22 + mode: BB + visited: 22 + irg: ENDLESS_LOOP_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n29" label: "ProjM 1 29" info1: "Proj 29 mode: M @@ -269,6 +323,17 @@ color: blue} } graph: { title: "n20" label: "Block 20" status:clustered color:yellow + info1: "Block 20 + mode: BB + visited: 22 + irg: ENDLESS_LOOP_EXAMPLE_main + arity: 0 + pred nodes: + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" node: {title: "n76" label: "End 76" info1: "End 76 mode: X visited: 22 diff --git a/testprograms/ref-results/FLOAT_EXAMPLE_main.vcg b/testprograms/ref-results/FLOAT_EXAMPLE_main.vcg index b772c61e9..12cbed8f2 100644 --- a/testprograms/ref-results/FLOAT_EXAMPLE_main.vcg +++ b/testprograms/ref-results/FLOAT_EXAMPLE_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g30" label: "FLOAT_EXAMPLE_main" status:clustered color:white +info1: "entity FLOAT_EXAMPLE_main (17) + type: FLOAT_EXAMPLE_main (15) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &FLOAT_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 30 + +" graph: { title: "n19" label: "Block 19" status:clustered color:yellow + info1: "Block 19 + mode: BB + visited: 4 + irg: FLOAT_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 34 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n19" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n20" label: "End 20" info1: "End 20 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n31" label: "Block 31" status:clustered color:yellow + info1: "Block 31 + mode: BB + visited: 4 + irg: FLOAT_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n31" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n34" label: "Return 34" info1: "Return 34 mode: X @@ -89,6 +130,18 @@ edge: {sourcename: "n34" targetname: "n32" label: "1" class:16 priority:10} } graph: { title: "n21" label: "Block 21" status:clustered color:yellow + info1: "Block 21 + mode: BB + visited: 4 + irg: FLOAT_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n21" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n28" label: "ProjM 1 28" info1: "Proj 28 mode: M diff --git a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg index 7405d3083..b5620db47 100644 --- a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g30" label: "GLOBAL_CSE_EXAMPLE_main" status:clustered color:white +info1: "entity GLOBAL_CSE_EXAMPLE_main (16) + type: GLOBAL_CSE_EXAMPLE_main (14) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &GLOBAL_CSE_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 30 + +" graph: { title: "n19" label: "Block 19" status:clustered color:yellow + info1: "Block 19 + mode: BB + visited: 11 + irg: GLOBAL_CSE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 64 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n19" targetname: "n64" label: "0" class:13 priority:60 color:red} node: {title: "n20" label: "End 20" info1: "End 20 mode: X @@ -137,6 +166,19 @@ node: {title: "n40" label: "0x3Is 40" info1: "0x3 40 " color: yellow} graph: { title: "n53" label: "Block 53" status:clustered color:yellow + info1: "Block 53 + mode: BB + visited: 11 + irg: GLOBAL_CSE_EXAMPLE_main + arity: 2 + pred nodes: + 0: Jmp 52 + 1: Jmp 44 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n53" targetname: "n52" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n53" targetname: "n44" label: "1" class:13 priority:60 color:red} node: {title: "n64" label: "Return 64" info1: "Return 64 @@ -173,6 +215,18 @@ edge: {sourcename: "n55" targetname: "n42" label: "1" class:16 priority:10} } graph: { title: "n45" label: "Block 45" status:clustered color:yellow + info1: "Block 45 + mode: BB + visited: 11 + irg: GLOBAL_CSE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 37 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n45" targetname: "n37" label: "0" class:13 priority:60 color:red} node: {title: "n52" label: "Jmp 52" info1: "Jmp 52 mode: X @@ -201,6 +255,18 @@ node: {title: "n37" label: "ProjX false 37" info1: "Proj 37 color: yellow} edge: {sourcename: "n37" targetname: "n36" label: "0" class:13 priority:60 color:red} graph: { title: "n39" label: "Block 39" status:clustered color:yellow + info1: "Block 39 + mode: BB + visited: 11 + irg: GLOBAL_CSE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 38 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n39" targetname: "n38" label: "0" class:13 priority:60 color:red} node: {title: "n44" label: "Jmp 44" info1: "Jmp 44 mode: X @@ -298,6 +364,18 @@ node: {title: "n33" label: "0x2Is 33" info1: "0x2 33 " color: yellow} graph: { title: "n31" label: "Block 31" status:clustered color:yellow + info1: "Block 31 + mode: BB + visited: 11 + irg: GLOBAL_CSE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n31" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n36" label: "Cond 36" info1: "Cond 36 mode: T @@ -330,6 +408,18 @@ node: {title: "n25" label: "ProjX X_initial_exec 25" info1: "Proj 25 color: yellow} edge: {sourcename: "n25" targetname: "n22" label: "0" class:13 priority:60 color:red} graph: { title: "n21" label: "Block 21" status:clustered color:yellow + info1: "Block 21 + mode: BB + visited: 11 + irg: GLOBAL_CSE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n21" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n22" label: "Start 22" info1: "Start 22 mode: T diff --git a/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg b/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg index 4119ec66e..d15bb4abc 100644 --- a/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg +++ b/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg @@ -264,6 +264,7 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &GLOBAL_VAR_main volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -304,6 +305,7 @@ node: {title: "e17" label: "ent GLOBAL_VAR_main" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &GLOBAL_VAR_main volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/GLOBAL_VAR_main.vcg b/testprograms/ref-results/GLOBAL_VAR_main.vcg index 364ddd8eb..ae0c03287 100644 --- a/testprograms/ref-results/GLOBAL_VAR_main.vcg +++ b/testprograms/ref-results/GLOBAL_VAR_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g31" label: "GLOBAL_VAR_main" status:clustered color:white +info1: "entity GLOBAL_VAR_main (17) + type: GLOBAL_VAR_main (15) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &GLOBAL_VAR_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 31 + +" graph: { title: "n20" label: "Block 20" status:clustered color:yellow + info1: "Block 20 + mode: BB + visited: 10 + irg: GLOBAL_VAR_main + arity: 1 + pred nodes: + 0: Return 39 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n20" targetname: "n39" label: "0" class:13 priority:60 color:red} node: {title: "n41" label: "End 41" info1: "End 41 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n32" label: "Block 32" status:clustered color:yellow + info1: "Block 32 + mode: BB + visited: 10 + irg: GLOBAL_VAR_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n39" label: "Return 39" info1: "Return 39 mode: X @@ -134,6 +175,18 @@ edge: {sourcename: "n34" targetname: "n28" label: "1" class:16 priority:10} } graph: { title: "n22" label: "Block 22" status:clustered color:yellow + info1: "Block 22 + mode: BB + visited: 10 + irg: GLOBAL_VAR_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n29" label: "ProjM 1 29" info1: "Proj 29 mode: M diff --git a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg index b770618db..75b9ddc78 100644 --- a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g30" label: "IF_ELSE_EXAMPLE_main" status:clustered color:white +info1: "entity IF_ELSE_EXAMPLE_main (17) + type: IF_ELSE_EXAMPLE_main (15) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &IF_ELSE_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 30 + +" graph: { title: "n19" label: "Block 19" status:clustered color:yellow + info1: "Block 19 + mode: BB + visited: 16 + irg: IF_ELSE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 53 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n19" targetname: "n53" label: "0" class:13 priority:60 color:red} node: {title: "n63" label: "End 63" info1: "End 63 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n31" label: "Block 31" status:clustered color:yellow + info1: "Block 31 + mode: BB + visited: 16 + irg: IF_ELSE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n31" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n53" label: "Return 53" info1: "Return 53 mode: X @@ -92,6 +133,18 @@ edge: {sourcename: "n53" targetname: "n34" label: "2" class:16 priority:10} } graph: { title: "n21" label: "Block 21" status:clustered color:yellow + info1: "Block 21 + mode: BB + visited: 16 + irg: IF_ELSE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n21" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n28" label: "ProjM 1 28" info1: "Proj 28 mode: M diff --git a/testprograms/ref-results/IF_EXAMPLE_main.vcg b/testprograms/ref-results/IF_EXAMPLE_main.vcg index 359599e11..0241b2f44 100644 --- a/testprograms/ref-results/IF_EXAMPLE_main.vcg +++ b/testprograms/ref-results/IF_EXAMPLE_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g30" label: "IF_EXAMPLE_main" status:clustered color:white +info1: "entity IF_EXAMPLE_main (16) + type: IF_EXAMPLE_main (14) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &IF_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 30 + +" graph: { title: "n19" label: "Block 19" status:clustered color:yellow + info1: "Block 19 + mode: BB + visited: 8 + irg: IF_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 54 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n19" targetname: "n54" label: "0" class:13 priority:60 color:red} node: {title: "n20" label: "End 20" info1: "End 20 mode: X @@ -69,6 +98,19 @@ color: blue} } graph: { title: "n45" label: "Block 45" status:clustered color:yellow + info1: "Block 45 + mode: BB + visited: 8 + irg: IF_EXAMPLE_main + arity: 2 + pred nodes: + 0: Proj 37 + 1: Jmp 44 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n45" targetname: "n37" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n45" targetname: "n44" label: "1" class:13 priority:60 color:red} node: {title: "n54" label: "Return 54" info1: "Return 54 @@ -105,6 +147,18 @@ edge: {sourcename: "n47" targetname: "n42" label: "1" class:16 priority:10} } graph: { title: "n39" label: "Block 39" status:clustered color:yellow + info1: "Block 39 + mode: BB + visited: 8 + irg: IF_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 38 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n39" targetname: "n38" label: "0" class:13 priority:60 color:red} node: {title: "n42" label: "SubIs 42" info1: "Sub 42 mode: Is @@ -133,6 +187,18 @@ node: {title: "n44" label: "Jmp 44" info1: "Jmp 44 } graph: { title: "n31" label: "Block 31" status:clustered color:yellow + info1: "Block 31 + mode: BB + visited: 8 + irg: IF_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n31" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n37" label: "ProjX false 37" info1: "Proj 37 mode: X @@ -217,6 +283,18 @@ edge: {sourcename: "n32" targetname: "n29" label: "0" class:16 priority:10} } graph: { title: "n21" label: "Block 21" status:clustered color:yellow + info1: "Block 21 + mode: BB + visited: 8 + irg: IF_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n21" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n28" label: "ProjM 1 28" info1: "Proj 28 mode: M diff --git a/testprograms/ref-results/IRREGULAR_CF_main.vcg b/testprograms/ref-results/IRREGULAR_CF_main.vcg index c92c0e728..43bbd53d9 100644 --- a/testprograms/ref-results/IRREGULAR_CF_main.vcg +++ b/testprograms/ref-results/IRREGULAR_CF_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g30" label: "IRREGULAR_CF_main" status:clustered color:white +info1: "entity main (17) + type: main (15) + owner: IRREGULAR_CF (14) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: IRREGULAR_CF_main + offset: -1 bits, -1 bytes + irg = 30 + +" graph: { title: "n19" label: "Block 19" status:clustered color:yellow + info1: "Block 19 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 1 + pred nodes: + 0: Return 54 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n19" targetname: "n54" label: "0" class:13 priority:60 color:red} node: {title: "n66" label: "End 66" info1: "End 66 mode: X @@ -69,6 +98,19 @@ color: blue} } graph: { title: "n52" label: "Block 52" status:clustered color:yellow + info1: "Block 52 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 2 + pred nodes: + 0: Jmp 51 + 1: Jmp 49 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n52" targetname: "n51" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n52" targetname: "n49" label: "1" class:13 priority:60 color:red} node: {title: "n54" label: "Return 54" info1: "Return 54 @@ -87,6 +129,18 @@ edge: {sourcename: "n54" targetname: "n28" label: "0" class:17 priority:10 color } graph: { title: "n50" label: "Block 50" status:clustered color:yellow + info1: "Block 50 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 1 + pred nodes: + 0: Proj 46 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n50" targetname: "n46" label: "0" class:13 priority:60 color:red} node: {title: "n51" label: "Jmp 51" info1: "Jmp 51 mode: X @@ -101,6 +155,19 @@ node: {title: "n51" label: "Jmp 51" info1: "Jmp 51 } graph: { title: "n48" label: "Block 48" status:clustered color:yellow + info1: "Block 48 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 2 + pred nodes: + 0: Proj 47 + 1: Jmp 41 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n48" targetname: "n47" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n48" targetname: "n41" label: "1" class:13 priority:60 color:red} node: {title: "n49" label: "Jmp 49" info1: "Jmp 49 @@ -116,6 +183,18 @@ node: {title: "n49" label: "Jmp 49" info1: "Jmp 49 } graph: { title: "n42" label: "Block 42" status:clustered color:yellow + info1: "Block 42 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 1 + pred nodes: + 0: Proj 38 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n42" targetname: "n38" label: "0" class:13 priority:60 color:red} node: {title: "n46" label: "ProjX false 46" info1: "Proj 46 mode: X @@ -187,6 +266,18 @@ edge: {sourcename: "n43" targetname: "n34" label: "1" class:16 priority:10} } graph: { title: "n40" label: "Block 40" status:clustered color:yellow + info1: "Block 40 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 1 + pred nodes: + 0: Proj 39 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n40" targetname: "n39" label: "0" class:13 priority:60 color:red} node: {title: "n41" label: "Jmp 41" info1: "Jmp 41 mode: X @@ -201,6 +292,18 @@ node: {title: "n41" label: "Jmp 41" info1: "Jmp 41 } graph: { title: "n31" label: "Block 31" status:clustered color:yellow + info1: "Block 31 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n31" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n38" label: "ProjX false 38" info1: "Proj 38 mode: X @@ -272,6 +375,18 @@ edge: {sourcename: "n35" targetname: "n33" label: "1" class:16 priority:10} } graph: { title: "n21" label: "Block 21" status:clustered color:yellow + info1: "Block 21 + mode: BB + visited: 8 + irg: IRREGULAR_CF_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n21" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n28" label: "ProjM 1 28" info1: "Proj 28 mode: M diff --git a/testprograms/ref-results/IRR_LOOP_loop1.vcg b/testprograms/ref-results/IRR_LOOP_loop1.vcg index 8dea20c89..7e919806b 100644 --- a/testprograms/ref-results/IRR_LOOP_loop1.vcg +++ b/testprograms/ref-results/IRR_LOOP_loop1.vcg @@ -54,7 +54,37 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g30" label: "IRR_LOOP_loop1" status:clustered color:white +info1: "entity loop1 (17) + type: METH_TP_NOARG_NORES (15) + owner: IRR_LOOP (14) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &loop1 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: IRR_LOOP_loop1 + offset: -1 bits, -1 bytes + irg = 30 + +" graph: { title: "n19" label: "Block 19" status:clustered color:yellow + info1: "Block 19 + mode: BB + visited: 6 + irg: IRR_LOOP_loop1 + arity: 1 + pred nodes: + 0: Return 55 + Private Attributes: + backedges: + in loop 128 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n19" targetname: "n55" label: "0" class:13 priority:60 color:red} node: {title: "n20" label: "End 20" info1: "End 20 mode: X @@ -72,6 +102,20 @@ color: blue} } graph: { title: "n53" label: "Block 53" status:clustered color:yellow + info1: "Block 53 + mode: BB + visited: 6 + irg: IRR_LOOP_loop1 + arity: 2 + pred nodes: + 0: Proj 51 + 1: Proj 45 + Private Attributes: + backedges: + in loop 128 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n53" targetname: "n51" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n53" targetname: "n45" label: "1" class:13 priority:60 color:red} node: {title: "n55" label: "Return 55" info1: "Return 55 @@ -105,6 +149,20 @@ edge: {sourcename: "n62" targetname: "n60" label: "1" class:17 priority:10 color } graph: { title: "n41" label: "Block 41" status:clustered color:yellow + info1: "Block 41 + mode: BB + visited: 6 + irg: IRR_LOOP_loop1 + arity: 2 + pred nodes: + 0: Proj 40 + 1: be Proj 52 + Private Attributes: + backedges: 1 + in loop 129 with depth 1 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n41" targetname: "n40" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n41" targetname: "n52" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n60" label: "PhiM 60" info1: "Phi 60 @@ -192,6 +250,20 @@ edge: {sourcename: "n42" targetname: "n34" label: "1" class:16 priority:10} } graph: { title: "n47" label: "Block 47" status:clustered color:yellow + info1: "Block 47 + mode: BB + visited: 6 + irg: IRR_LOOP_loop1 + arity: 2 + pred nodes: + 0: Proj 39 + 1: Proj 46 + Private Attributes: + backedges: + in loop 129 with depth 1 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n47" targetname: "n39" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n47" targetname: "n46" label: "1" class:13 priority:60 color:red} node: {title: "n61" label: "PhiM 61" info1: "Phi 61 @@ -279,6 +351,19 @@ edge: {sourcename: "n48" targetname: "n34" label: "1" class:16 priority:10} } graph: { title: "n31" label: "Block 31" status:clustered color:yellow + info1: "Block 31 + mode: BB + visited: 6 + irg: IRR_LOOP_loop1 + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + in loop 128 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n31" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n40" label: "ProjX true 40" info1: "Proj 40 mode: X @@ -350,6 +435,19 @@ edge: {sourcename: "n36" targetname: "n33" label: "1" class:16 priority:10} } graph: { title: "n21" label: "Block 21" status:clustered color:yellow + info1: "Block 21 + mode: BB + visited: 6 + irg: IRR_LOOP_loop1 + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + in loop 128 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n21" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n28" label: "ProjM 1 28" info1: "Proj 28 mode: M diff --git a/testprograms/ref-results/IRR_LOOP_loop2.vcg b/testprograms/ref-results/IRR_LOOP_loop2.vcg index 7f3a1aed3..25b3ff32e 100644 --- a/testprograms/ref-results/IRR_LOOP_loop2.vcg +++ b/testprograms/ref-results/IRR_LOOP_loop2.vcg @@ -54,7 +54,37 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g77" label: "IRR_LOOP_loop2" status:clustered color:white +info1: "entity loop2 (64) + type: METH_TP_NOARG_NORES (15) + owner: IRR_LOOP (14) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &loop2 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: IRR_LOOP_loop2 + offset: -1 bits, -1 bytes + irg = 77 + +" graph: { title: "n66" label: "Block 66" status:clustered color:yellow + info1: "Block 66 + mode: BB + visited: 6 + irg: IRR_LOOP_loop2 + arity: 1 + pred nodes: + 0: Return 116 + Private Attributes: + backedges: + in loop 130 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n66" targetname: "n116" label: "0" class:13 priority:60 color:red} node: {title: "n67" label: "End 67" info1: "End 67 mode: X @@ -73,6 +103,20 @@ color: blue} } graph: { title: "n114" label: "Block 114" status:clustered color:yellow + info1: "Block 114 + mode: BB + visited: 6 + irg: IRR_LOOP_loop2 + arity: 2 + pred nodes: + 0: Proj 100 + 1: Proj 112 + Private Attributes: + backedges: + in loop 130 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n114" targetname: "n100" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n114" targetname: "n112" label: "1" class:13 priority:60 color:red} node: {title: "n116" label: "Return 116" info1: "Return 116 @@ -106,6 +150,20 @@ edge: {sourcename: "n127" targetname: "n124" label: "1" class:17 priority:10 col } graph: { title: "n108" label: "Block 108" status:clustered color:yellow + info1: "Block 108 + mode: BB + visited: 6 + irg: IRR_LOOP_loop2 + arity: 2 + pred nodes: + 0: Proj 88 + 1: be Proj 106 + Private Attributes: + backedges: 1 + in loop 131 with depth 1 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n108" targetname: "n88" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n108" targetname: "n106" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n124" label: "PhiM 124" info1: "Phi 124 @@ -193,6 +251,21 @@ edge: {sourcename: "n109" targetname: "n83" label: "1" class:16 priority:10} } graph: { title: "n102" label: "Block 102" status:clustered color:yellow + info1: "Block 102 + mode: BB + visited: 6 + irg: IRR_LOOP_loop2 + arity: 3 + pred nodes: + 0: Proj 94 + 1: Proj 101 + 2: Proj 113 + Private Attributes: + backedges: + in loop 132 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n102" targetname: "n94" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n102" targetname: "n101" label: "1" class:13 priority:60 color:red} edge: {sourcename: "n102" targetname: "n113" label: "2" class:13 priority:60 color:red} @@ -283,6 +356,20 @@ edge: {sourcename: "n103" targetname: "n82" label: "1" class:16 priority:10} } graph: { title: "n96" label: "Block 96" status:clustered color:yellow + info1: "Block 96 + mode: BB + visited: 6 + irg: IRR_LOOP_loop2 + arity: 2 + pred nodes: + 0: Proj 95 + 1: be Proj 107 + Private Attributes: + backedges: 1 + in loop 132 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n96" targetname: "n95" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n96" targetname: "n107" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n126" label: "PhiM 126" info1: "Phi 126 @@ -370,6 +457,19 @@ edge: {sourcename: "n97" targetname: "n81" label: "1" class:16 priority:10} } graph: { title: "n90" label: "Block 90" status:clustered color:yellow + info1: "Block 90 + mode: BB + visited: 6 + irg: IRR_LOOP_loop2 + arity: 1 + pred nodes: + 0: Proj 89 + Private Attributes: + backedges: + in loop 130 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n90" targetname: "n89" label: "0" class:13 priority:60 color:red} node: {title: "n94" label: "ProjX false 94" info1: "Proj 94 mode: X @@ -441,6 +541,19 @@ edge: {sourcename: "n91" targetname: "n84" label: "1" class:16 priority:10} } graph: { title: "n78" label: "Block 78" status:clustered color:yellow + info1: "Block 78 + mode: BB + visited: 6 + irg: IRR_LOOP_loop2 + arity: 1 + pred nodes: + 0: Proj 72 + Private Attributes: + backedges: + in loop 130 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n78" targetname: "n72" label: "0" class:13 priority:60 color:red} node: {title: "n88" label: "ProjX false 88" info1: "Proj 88 mode: X @@ -512,6 +625,19 @@ edge: {sourcename: "n85" targetname: "n80" label: "1" class:16 priority:10} } graph: { title: "n68" label: "Block 68" status:clustered color:yellow + info1: "Block 68 + mode: BB + visited: 6 + irg: IRR_LOOP_loop2 + arity: 1 + pred nodes: + 0: Proj 72 + Private Attributes: + backedges: + in loop 130 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n68" targetname: "n72" label: "0" class:13 priority:60 color:red} node: {title: "n75" label: "ProjM 1 75" info1: "Proj 75 mode: M diff --git a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg index a54ddffa3..b57491273 100644 --- a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg +++ b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g31" label: "MEMORY_EXAMPLE_main" status:clustered color:white +info1: "entity main (18) + type: main (16) + owner: MEMORY_EXAMPLE (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: MEMORY_EXAMPLE_main + offset: -1 bits, -1 bytes + irg = 31 + +" graph: { title: "n20" label: "Block 20" status:clustered color:yellow + info1: "Block 20 + mode: BB + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 78 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n20" targetname: "n78" label: "0" class:13 priority:60 color:red} node: {title: "n80" label: "End 80" info1: "End 80 mode: X @@ -70,6 +99,18 @@ color: blue} } graph: { title: "n72" label: "Block 72" status:clustered color:yellow + info1: "Block 72 + mode: BB + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 70 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n72" targetname: "n70" label: "0" class:13 priority:60 color:red} node: {title: "n78" label: "Return 78" info1: "Return 78 mode: X @@ -133,6 +174,19 @@ edge: {sourcename: "n74" targetname: "n35" label: "1" class:16 priority:10} } graph: { title: "n48" label: "Block 48" status:clustered color:yellow + info1: "Block 48 + mode: BB + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 2 + pred nodes: + 0: Jmp 46 + 1: Proj 69 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n48" targetname: "n46" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n48" targetname: "n69" label: "1" class:13 priority:60 color:red} node: {title: "n70" label: "ProjX true 70" info1: "Proj 70 @@ -368,6 +422,18 @@ edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color } graph: { title: "n32" label: "Block 32" status:clustered color:yellow + info1: "Block 32 + mode: BB + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n46" label: "Jmp 46" info1: "Jmp 46 mode: X @@ -478,6 +544,18 @@ edge: {sourcename: "n35" targetname: "n28" label: "1" class:16 priority:10} } graph: { title: "n22" label: "Block 22" status:clustered color:yellow + info1: "Block 22 + mode: BB + visited: 18 + irg: MEMORY_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n42" label: "0x1Iu 42" info1: "0x1 42 mode: Iu diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg index 7a6eac73e..8003f23b4 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg @@ -54,7 +54,37 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g39" label: "OO_INLINE_EXAMPLE_main" status:clustered color:white +info1: "entity OO_INLINE_EXAMPLE_main (26) + type: OO_INLINE_EXAMPLE_main (24) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &OO_INLINE_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 39 + +" graph: { title: "n181" label: "Block 181" status:clustered color:yellow + info1: "Block 181 + mode: BB + visited: 26 + irg: OO_INLINE_EXAMPLE_main + arity: 2 + pred nodes: + 0: Jmp 142 + 1: Jmp 182 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n181" targetname: "n142" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n181" targetname: "n182" label: "1" class:13 priority:60 color:red} node: {title: "n180" label: "PhiM 180" info1: "Phi 180 @@ -163,6 +193,18 @@ node: {title: "n182" label: "Jmp 182" info1: "Jmp 182 } graph: { title: "n145" label: "Block 145" status:clustered color:yellow + info1: "Block 145 + mode: BB + visited: 26 + irg: OO_INLINE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n145" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n152" label: "ProjM M 152" info1: "Proj 152 mode: M @@ -279,6 +321,18 @@ node: {title: "n142" label: "Jmp 142" info1: "Jmp 142 } graph: { title: "n30" label: "Block 30" status:clustered color:yellow + info1: "Block 30 + mode: BB + visited: 26 + irg: OO_INLINE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n41" label: "0x2Is 41" info1: "0x2 41 mode: Is @@ -355,6 +409,17 @@ color: blue} } graph: { title: "n28" label: "Block 28" status:clustered color:yellow + info1: "Block 28 + mode: BB + visited: 26 + irg: OO_INLINE_EXAMPLE_main + arity: 0 + pred nodes: + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" node: {title: "n197" label: "End 197" info1: "End 197 mode: X visited: 26 @@ -410,6 +475,7 @@ node: {title: "t15" label: "class PRIMA_INLINE" info1: "class type PRIMA_INLINE allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -424,6 +490,7 @@ node: {title: "t15" label: "class PRIMA_INLINE" info1: "class type PRIMA_INLINE allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -453,6 +520,7 @@ node: {title: "e20" label: "ent PRIMA_INLINE_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -525,6 +593,7 @@ node: {title: "e23" label: "ent PRIMA_INLINE_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -577,6 +646,7 @@ node: {title: "e26" label: "ent OO_INLINE_EXAMPLE_main" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &OO_INLINE_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -611,6 +681,7 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &OO_INLINE_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg index 61e77a9d7..644af81ec 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg @@ -54,7 +54,37 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g39" label: "OO_INLINE_EXAMPLE_main" status:clustered color:white +info1: "entity OO_INLINE_EXAMPLE_main (26) + type: OO_INLINE_EXAMPLE_main (24) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &OO_INLINE_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 39 + +" graph: { title: "n181" label: "Block 181" status:clustered color:yellow + info1: "Block 181 + mode: BB + visited: 25 + irg: OO_INLINE_EXAMPLE_main + arity: 2 + pred nodes: + 0: Jmp 142 + 1: Jmp 182 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n181" targetname: "n142" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n181" targetname: "n182" label: "1" class:13 priority:60 color:red} node: {title: "n180" label: "PhiM 180" info1: "Phi 180 @@ -163,6 +193,18 @@ node: {title: "n182" label: "Jmp 182" info1: "Jmp 182 } graph: { title: "n145" label: "Block 145" status:clustered color:yellow + info1: "Block 145 + mode: BB + visited: 25 + irg: OO_INLINE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n145" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n152" label: "ProjM M 152" info1: "Proj 152 mode: M @@ -279,6 +321,18 @@ node: {title: "n142" label: "Jmp 142" info1: "Jmp 142 } graph: { title: "n30" label: "Block 30" status:clustered color:yellow + info1: "Block 30 + mode: BB + visited: 25 + irg: OO_INLINE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n41" label: "0x2Is 41" info1: "0x2 41 mode: Is @@ -355,6 +409,17 @@ color: blue} } graph: { title: "n28" label: "Block 28" status:clustered color:yellow + info1: "Block 28 + mode: BB + visited: 25 + irg: OO_INLINE_EXAMPLE_main + arity: 0 + pred nodes: + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" node: {title: "n197" label: "End 197" info1: "End 197 mode: X visited: 25 diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg index baddc3aae..517ebc583 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg @@ -54,7 +54,39 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g39" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white +info1: "entity OO_PROGRAM_EXAMPLE_main (26) + type: OO_PROGRAM_EXAMPLE_main (24) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &OO_PROGRAM_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 39 + +" graph: { title: "n28" label: "Block 28" status:clustered color:yellow + info1: "Block 28 + mode: BB + visited: 35 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 59 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Return 59 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red} node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main 109" info1: "End OO_PROGRAM_EXAMPLE_main 109 mode: X @@ -71,6 +103,21 @@ color: blue} } graph: { title: "n40" label: "Block 40" status:clustered color:yellow + info1: "Block 40 + mode: BB + visited: 35 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Break 198 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 200 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red} node: {title: "n59" label: "Return 59" info1: "Return 59 mode: X @@ -121,6 +168,21 @@ edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10} } graph: { title: "n197" label: "Block 197" status:clustered color:yellow + info1: "Block 197 + mode: BB + visited: 35 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Break 192 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 194 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red} node: {title: "n196" label: "FilterM 0 196" info1: "Filter 196 mode: M @@ -183,6 +245,21 @@ edge: {sourcename: "n199" targetname: "n199n174" label: "0" class:16 priority:10 } graph: { title: "n191" label: "Block 191" status:clustered color:yellow + info1: "Block 191 + mode: BB + visited: 35 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 34 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n47" label: "ProjM M 47" info1: "Proj 47 mode: M @@ -285,6 +362,21 @@ edge: {sourcename: "n193" targetname: "n193n175" label: "0" class:16 priority:10 } graph: { title: "n30" label: "Block 30" status:clustered color:yellow + info1: "Block 30 + mode: BB + visited: 35 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 34 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n37" label: "ProjM 1 37" info1: "Proj 37 mode: M @@ -328,7 +420,39 @@ color: blue} } graph: { title: "g73" label: "PRIMA_set_a" status:clustered color:white +info1: "entity set_a (20) + type: set_a (18) + owner: PRIMA (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &set_a + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_set_a + offset: -1 bits, -1 bytes + irg = 73 + +" graph: { title: "n188" label: "Block 188" status:clustered color:yellow + info1: "Block 188 + mode: BB + visited: 35 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Jmp 187 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Jmp 187 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red} node: {title: "n194" label: "ProjX 0 194" info1: "Proj 194 mode: X @@ -356,6 +480,21 @@ color: blue} } graph: { title: "n74" label: "Block 74" status:clustered color:yellow + info1: "Block 74 + mode: BB + visited: 35 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 68 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red} node: {title: "n81" label: "ProjM M 81" info1: "Proj 81 mode: M @@ -418,6 +557,21 @@ node: {title: "n187" label: "Jmp 187" info1: "Jmp 187 } graph: { title: "n64" label: "Block 64" status:clustered color:yellow + info1: "Block 64 + mode: BB + visited: 35 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 195 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red} node: {title: "n184" label: "FilterM 1 184" info1: "Filter 184 mode: M @@ -509,7 +663,39 @@ color: blue} } graph: { title: "g96" label: "PRIMA_c" status:clustered color:white +info1: "entity c (23) + type: c (21) + owner: PRIMA (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &c + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_c + offset: -1 bits, -1 bytes + irg = 96 + +" graph: { title: "n180" label: "Block 180" status:clustered color:yellow + info1: "Block 180 + mode: BB + visited: 35 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Jmp 179 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Jmp 179 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red} node: {title: "n200" label: "ProjX 0 200" info1: "Proj 200 mode: X @@ -537,6 +723,21 @@ color: blue} } graph: { title: "n97" label: "Block 97" status:clustered color:yellow + info1: "Block 97 + mode: BB + visited: 35 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 91 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red} node: {title: "n104" label: "ProjM M 104" info1: "Proj 104 mode: M @@ -625,6 +826,21 @@ node: {title: "n179" label: "Jmp 179" info1: "Jmp 179 } graph: { title: "n87" label: "Block 87" status:clustered color:yellow + info1: "Block 87 + mode: BB + visited: 35 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 201 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red} node: {title: "n176" label: "FilterM 1 176" info1: "Filter 176 mode: M 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 67fb572c8..86c13cb7b 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 @@ -902,6 +902,7 @@ node: {title: "e20" label: "ent PRIMA_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -948,6 +949,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -962,6 +964,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -1018,6 +1021,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -1099,6 +1103,7 @@ node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &OO_PROGRAM_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -1133,6 +1138,7 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &OO_PROGRAM_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent 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 5ac81f168..f91445be4 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg @@ -439,6 +439,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -453,6 +454,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -509,6 +511,7 @@ node: {title: "e20" label: "ent PRIMA_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -559,6 +562,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -592,6 +596,7 @@ node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &OO_PROGRAM_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -626,6 +631,7 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &OO_PROGRAM_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg index 825a80aba..be28fa816 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg @@ -106,6 +106,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -120,6 +121,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -176,6 +178,7 @@ node: {title: "e20" label: "ent PRIMA_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -226,6 +229,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -259,6 +263,7 @@ node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &OO_PROGRAM_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -293,6 +298,7 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &OO_PROGRAM_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent 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 d63879e37..080dc9885 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg @@ -54,7 +54,39 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g39" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white +info1: "entity OO_PROGRAM_EXAMPLE_main (26) + type: OO_PROGRAM_EXAMPLE_main (24) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &OO_PROGRAM_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 39 + +" graph: { title: "n28" label: "Block 28" status:clustered color:yellow + info1: "Block 28 + mode: BB + visited: 45 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 59 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Return 59 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red} node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main 109" info1: "End OO_PROGRAM_EXAMPLE_main 109 mode: X @@ -71,6 +103,21 @@ color: blue} } graph: { title: "n40" label: "Block 40" status:clustered color:yellow + info1: "Block 40 + mode: BB + visited: 45 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Break 198 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 200 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red} node: {title: "n59" label: "Return 59" info1: "Return 59 mode: X @@ -121,6 +168,21 @@ edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10} } graph: { title: "n197" label: "Block 197" status:clustered color:yellow + info1: "Block 197 + mode: BB + visited: 45 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Break 192 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 194 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red} node: {title: "n196" label: "FilterM 0 196" info1: "Filter 196 mode: M @@ -169,6 +231,21 @@ edge: {sourcename: "n199" targetname: "n174" label: "0" class:16 priority:10} } graph: { title: "n191" label: "Block 191" status:clustered color:yellow + info1: "Block 191 + mode: BB + visited: 45 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 34 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n47" label: "ProjM M 47" info1: "Proj 47 mode: M @@ -244,6 +321,21 @@ edge: {sourcename: "n193" targetname: "n175" label: "0" class:16 priority:10} } graph: { title: "n30" label: "Block 30" status:clustered color:yellow + info1: "Block 30 + mode: BB + visited: 45 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 34 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n41" label: "0x2Is 41" info1: "0x2 41 mode: Is @@ -350,7 +442,39 @@ color: blue} } graph: { title: "g73" label: "PRIMA_set_a" status:clustered color:white +info1: "entity set_a (20) + type: set_a (18) + owner: PRIMA (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &set_a + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_set_a + offset: -1 bits, -1 bytes + irg = 73 + +" graph: { title: "n188" label: "Block 188" status:clustered color:yellow + info1: "Block 188 + mode: BB + visited: 45 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Jmp 187 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Jmp 187 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red} node: {title: "n194" label: "ProjX 0 194" info1: "Proj 194 mode: X @@ -378,6 +502,21 @@ color: blue} } graph: { title: "n74" label: "Block 74" status:clustered color:yellow + info1: "Block 74 + mode: BB + visited: 45 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 68 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red} node: {title: "n81" label: "ProjM M 81" info1: "Proj 81 mode: M @@ -440,6 +579,21 @@ node: {title: "n187" label: "Jmp 187" info1: "Jmp 187 } graph: { title: "n64" label: "Block 64" status:clustered color:yellow + info1: "Block 64 + mode: BB + visited: 45 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 195 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red} node: {title: "n184" label: "FilterM 1 184" info1: "Filter 184 mode: M @@ -520,7 +674,39 @@ color: blue} } graph: { title: "g96" label: "PRIMA_c" status:clustered color:white +info1: "entity c (23) + type: c (21) + owner: PRIMA (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &c + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_c + offset: -1 bits, -1 bytes + irg = 96 + +" graph: { title: "n180" label: "Block 180" status:clustered color:yellow + info1: "Block 180 + mode: BB + visited: 45 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Jmp 179 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Jmp 179 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red} node: {title: "n200" label: "ProjX 0 200" info1: "Proj 200 mode: X @@ -548,6 +734,21 @@ color: blue} } graph: { title: "n97" label: "Block 97" status:clustered color:yellow + info1: "Block 97 + mode: BB + visited: 45 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 91 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red} node: {title: "n104" label: "ProjM M 104" info1: "Proj 104 mode: M @@ -636,6 +837,21 @@ node: {title: "n179" label: "Jmp 179" info1: "Jmp 179 } graph: { title: "n87" label: "Block 87" status:clustered color:yellow + info1: "Block 87 + mode: BB + visited: 45 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + inter arity: 1 + inter pred nodes: + 0: Proj 201 + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red} node: {title: "n176" label: "FilterM 1 176" info1: "Filter 176 mode: M @@ -724,6 +940,7 @@ node: {title: "e20" label: "ent PRIMA_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -770,6 +987,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -784,6 +1002,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -840,6 +1059,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -921,6 +1141,7 @@ node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &OO_PROGRAM_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -955,6 +1176,7 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &OO_PROGRAM_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg index 81fb2e57b..ea7ad3a05 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g39" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white +info1: "entity OO_PROGRAM_EXAMPLE_main (26) + type: OO_PROGRAM_EXAMPLE_main (24) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &OO_PROGRAM_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 39 + +" graph: { title: "n28" label: "Block 28" status:clustered color:yellow + info1: "Block 28 + mode: BB + visited: 23 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 59 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red} node: {title: "n109" label: "End 109" info1: "End 109 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n40" label: "Block 40" status:clustered color:yellow + info1: "Block 40 + mode: BB + visited: 23 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n40" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n59" label: "Return 59" info1: "Return 59 mode: X @@ -263,6 +304,18 @@ edge: {sourcename: "n45" targetname: "n43" label: "1" class:16 priority:10} } graph: { title: "n30" label: "Block 30" status:clustered color:yellow + info1: "Block 30 + mode: BB + visited: 23 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n41" label: "0x2Is 41" info1: "0x2 41 mode: Is @@ -393,6 +446,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -407,6 +461,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -463,6 +518,7 @@ node: {title: "e20" label: "ent PRIMA_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -513,6 +569,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -546,6 +603,7 @@ node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &OO_PROGRAM_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -580,6 +638,7 @@ node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &OO_PROGRAM_EXAMPLE_main volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg index 95084f278..125a6d9d8 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g39" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white +info1: "entity OO_PROGRAM_EXAMPLE_main (26) + type: OO_PROGRAM_EXAMPLE_main (24) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &OO_PROGRAM_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 39 + +" graph: { title: "n28" label: "Block 28" status:clustered color:yellow + info1: "Block 28 + mode: BB + visited: 19 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 59 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red} node: {title: "n109" label: "End 109" info1: "End 109 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n40" label: "Block 40" status:clustered color:yellow + info1: "Block 40 + mode: BB + visited: 19 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n40" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n59" label: "Return 59" info1: "Return 59 mode: X @@ -298,6 +339,18 @@ edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10} } graph: { title: "n30" label: "Block 30" status:clustered color:yellow + info1: "Block 30 + mode: BB + visited: 19 + irg: OO_PROGRAM_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 34 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red} node: {title: "n37" label: "ProjM 1 37" info1: "Proj 37 mode: M diff --git a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg index c30c170e6..39907ca52 100644 --- a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg @@ -54,7 +54,37 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g96" label: "PRIMA_INLINE_c" status:clustered color:white +info1: "entity c (23) + type: c (21) + owner: PRIMA_INLINE (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &c + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_INLINE_c + offset: -1 bits, -1 bytes + irg = 96 + +" graph: { title: "n102" label: "Block 102" status:clustered color:yellow + info1: "Block 102 + mode: BB + visited: 26 + irg: PRIMA_INLINE_c + arity: 2 + pred nodes: + 0: Jmp 101 + 1: Jmp 109 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n102" targetname: "n101" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n102" targetname: "n109" label: "1" class:13 priority:60 color:red} node: {title: "n131" label: "PhiM 131" info1: "Phi 131 @@ -163,6 +193,18 @@ node: {title: "n109" label: "Jmp 109" info1: "Jmp 109 } graph: { title: "n97" label: "Block 97" status:clustered color:yellow + info1: "Block 97 + mode: BB + visited: 26 + irg: PRIMA_INLINE_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red} node: {title: "n98" label: "ProjP Arg 0 98" info1: "Proj 98 mode: P @@ -203,6 +245,18 @@ node: {title: "n101" label: "Jmp 101" info1: "Jmp 101 } graph: { title: "n87" label: "Block 87" status:clustered color:yellow + info1: "Block 87 + mode: BB + visited: 26 + irg: PRIMA_INLINE_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n87" targetname: "n91" label: "0" class:13 priority:60 color:red} node: {title: "n94" label: "ProjM 1 94" info1: "Proj 94 mode: M @@ -270,6 +324,17 @@ color: blue} } graph: { title: "n85" label: "Block 85" status:clustered color:yellow + info1: "Block 85 + mode: BB + visited: 26 + irg: PRIMA_INLINE_c + arity: 0 + pred nodes: + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" node: {title: "n246" label: "End 246" info1: "End 246 mode: X visited: 26 @@ -325,6 +390,7 @@ node: {title: "t15" label: "class PRIMA_INLINE" info1: "class type PRIMA_INLINE allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -339,6 +405,7 @@ node: {title: "t15" label: "class PRIMA_INLINE" info1: "class type PRIMA_INLINE allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -368,6 +435,7 @@ node: {title: "e20" label: "ent PRIMA_INLINE_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -440,6 +508,7 @@ node: {title: "e23" label: "ent PRIMA_INLINE_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/PRIMA_INLINE_c.vcg b/testprograms/ref-results/PRIMA_INLINE_c.vcg index db2858bdf..d054876dd 100644 --- a/testprograms/ref-results/PRIMA_INLINE_c.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_c.vcg @@ -54,7 +54,37 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g96" label: "PRIMA_INLINE_c" status:clustered color:white +info1: "entity c (23) + type: c (21) + owner: PRIMA_INLINE (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &c + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_INLINE_c + offset: -1 bits, -1 bytes + irg = 96 + +" graph: { title: "n102" label: "Block 102" status:clustered color:yellow + info1: "Block 102 + mode: BB + visited: 25 + irg: PRIMA_INLINE_c + arity: 2 + pred nodes: + 0: Jmp 101 + 1: Jmp 109 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n102" targetname: "n101" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n102" targetname: "n109" label: "1" class:13 priority:60 color:red} node: {title: "n131" label: "PhiM 131" info1: "Phi 131 @@ -163,6 +193,18 @@ node: {title: "n109" label: "Jmp 109" info1: "Jmp 109 } graph: { title: "n97" label: "Block 97" status:clustered color:yellow + info1: "Block 97 + mode: BB + visited: 25 + irg: PRIMA_INLINE_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red} node: {title: "n98" label: "ProjP Arg 0 98" info1: "Proj 98 mode: P @@ -203,6 +245,18 @@ node: {title: "n101" label: "Jmp 101" info1: "Jmp 101 } graph: { title: "n87" label: "Block 87" status:clustered color:yellow + info1: "Block 87 + mode: BB + visited: 25 + irg: PRIMA_INLINE_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n87" targetname: "n91" label: "0" class:13 priority:60 color:red} node: {title: "n94" label: "ProjM 1 94" info1: "Proj 94 mode: M @@ -270,6 +324,17 @@ color: blue} } graph: { title: "n85" label: "Block 85" status:clustered color:yellow + info1: "Block 85 + mode: BB + visited: 25 + irg: PRIMA_INLINE_c + arity: 0 + pred nodes: + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" node: {title: "n246" label: "End 246" info1: "End 246 mode: X visited: 25 diff --git a/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg b/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg index 18e1cb37b..4b06f6562 100644 --- a/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g73" label: "PRIMA_INLINE_set_a" status:clustered color:white +info1: "entity set_a (20) + type: set_a (18) + owner: PRIMA_INLINE (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &set_a + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_INLINE_set_a + offset: -1 bits, -1 bytes + irg = 73 + +" graph: { title: "n62" label: "Block 62" status:clustered color:yellow + info1: "Block 62 + mode: BB + visited: 20 + irg: PRIMA_INLINE_set_a + arity: 1 + pred nodes: + 0: Return 82 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n62" targetname: "n82" label: "0" class:13 priority:60 color:red} node: {title: "n228" label: "End 228" info1: "End 228 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n74" label: "Block 74" status:clustered color:yellow + info1: "Block 74 + mode: BB + visited: 20 + irg: PRIMA_INLINE_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red} node: {title: "n82" label: "Return 82" info1: "Return 82 mode: X @@ -160,6 +201,18 @@ edge: {sourcename: "n76" targetname: "n72" label: "0" class:16 priority:10} } graph: { title: "n64" label: "Block 64" status:clustered color:yellow + info1: "Block 64 + mode: BB + visited: 20 + irg: PRIMA_INLINE_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n64" targetname: "n68" label: "0" class:13 priority:60 color:red} node: {title: "n71" label: "ProjM 1 71" info1: "Proj 71 mode: M @@ -256,6 +309,7 @@ node: {title: "t15" label: "class PRIMA_INLINE" info1: "class type PRIMA_INLINE allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -270,6 +324,7 @@ node: {title: "t15" label: "class PRIMA_INLINE" info1: "class type PRIMA_INLINE allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -299,6 +354,7 @@ node: {title: "e20" label: "ent PRIMA_INLINE_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -371,6 +427,7 @@ node: {title: "e23" label: "ent PRIMA_INLINE_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/PRIMA_INLINE_set_a.vcg b/testprograms/ref-results/PRIMA_INLINE_set_a.vcg index 7b1f033e1..b0e276a51 100644 --- a/testprograms/ref-results/PRIMA_INLINE_set_a.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_set_a.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g73" label: "PRIMA_INLINE_set_a" status:clustered color:white +info1: "entity set_a (20) + type: set_a (18) + owner: PRIMA_INLINE (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &set_a + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_INLINE_set_a + offset: -1 bits, -1 bytes + irg = 73 + +" graph: { title: "n62" label: "Block 62" status:clustered color:yellow + info1: "Block 62 + mode: BB + visited: 19 + irg: PRIMA_INLINE_set_a + arity: 1 + pred nodes: + 0: Return 82 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n62" targetname: "n82" label: "0" class:13 priority:60 color:red} node: {title: "n228" label: "End 228" info1: "End 228 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n74" label: "Block 74" status:clustered color:yellow + info1: "Block 74 + mode: BB + visited: 19 + irg: PRIMA_INLINE_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red} node: {title: "n82" label: "Return 82" info1: "Return 82 mode: X @@ -160,6 +201,18 @@ edge: {sourcename: "n76" targetname: "n72" label: "0" class:16 priority:10} } graph: { title: "n64" label: "Block 64" status:clustered color:yellow + info1: "Block 64 + mode: BB + visited: 19 + irg: PRIMA_INLINE_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n64" targetname: "n68" label: "0" class:13 priority:60 color:red} node: {title: "n71" label: "ProjM 1 71" info1: "Proj 71 mode: M diff --git a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg index 466abe833..6d05e8719 100644 --- a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg @@ -325,6 +325,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -339,6 +340,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -368,6 +370,7 @@ node: {title: "e20" label: "ent PRIMA_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -440,6 +443,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/PRIMA_c-type.vcg b/testprograms/ref-results/PRIMA_c-type.vcg index 3f44592a2..bfaa33033 100644 --- a/testprograms/ref-results/PRIMA_c-type.vcg +++ b/testprograms/ref-results/PRIMA_c-type.vcg @@ -92,6 +92,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -106,6 +107,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -135,6 +137,7 @@ node: {title: "e20" label: "ent PRIMA_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -207,6 +210,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/PRIMA_c-wtypes.vcg b/testprograms/ref-results/PRIMA_c-wtypes.vcg index 251c76362..fb7ef1582 100644 --- a/testprograms/ref-results/PRIMA_c-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_c-wtypes.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g96" label: "PRIMA_c" status:clustered color:white +info1: "entity c (23) + type: c (21) + owner: PRIMA (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &c + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_c + offset: -1 bits, -1 bytes + irg = 96 + +" graph: { title: "n85" label: "Block 85" status:clustered color:yellow + info1: "Block 85 + mode: BB + visited: 16 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Return 107 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n85" targetname: "n107" label: "0" class:13 priority:60 color:red} node: {title: "n154" label: "End 154" info1: "End 154 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n97" label: "Block 97" status:clustered color:yellow + info1: "Block 97 + mode: BB + visited: 16 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red} node: {title: "n107" label: "Return 107" info1: "Return 107 mode: X @@ -189,6 +230,18 @@ edge: {sourcename: "n99" targetname: "n95" label: "0" class:16 priority:10} } graph: { title: "n87" label: "Block 87" status:clustered color:yellow + info1: "Block 87 + mode: BB + visited: 16 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n87" targetname: "n91" label: "0" class:13 priority:60 color:red} node: {title: "n94" label: "ProjM 1 94" info1: "Proj 94 mode: M @@ -285,6 +338,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -299,6 +353,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -328,6 +383,7 @@ node: {title: "e20" label: "ent PRIMA_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -400,6 +456,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/PRIMA_c.vcg b/testprograms/ref-results/PRIMA_c.vcg index 788883002..dc876e0ff 100644 --- a/testprograms/ref-results/PRIMA_c.vcg +++ b/testprograms/ref-results/PRIMA_c.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g96" label: "PRIMA_c" status:clustered color:white +info1: "entity c (23) + type: c (21) + owner: PRIMA (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &c + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_c + offset: -1 bits, -1 bytes + irg = 96 + +" graph: { title: "n85" label: "Block 85" status:clustered color:yellow + info1: "Block 85 + mode: BB + visited: 12 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Return 107 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n85" targetname: "n107" label: "0" class:13 priority:60 color:red} node: {title: "n154" label: "End 154" info1: "End 154 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n97" label: "Block 97" status:clustered color:yellow + info1: "Block 97 + mode: BB + visited: 12 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red} node: {title: "n107" label: "Return 107" info1: "Return 107 mode: X @@ -189,6 +230,18 @@ edge: {sourcename: "n99" targetname: "n95" label: "0" class:16 priority:10} } graph: { title: "n87" label: "Block 87" status:clustered color:yellow + info1: "Block 87 + mode: BB + visited: 12 + irg: PRIMA_c + arity: 1 + pred nodes: + 0: Proj 91 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n87" targetname: "n91" label: "0" class:13 priority:60 color:red} node: {title: "n94" label: "ProjM 1 94" info1: "Proj 94 mode: M diff --git a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg index 4f55d1e71..70cfcfb52 100644 --- a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg @@ -294,6 +294,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -308,6 +309,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -337,6 +339,7 @@ node: {title: "e20" label: "ent PRIMA_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -409,6 +412,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/PRIMA_set_a-type.vcg b/testprograms/ref-results/PRIMA_set_a-type.vcg index e6266e074..0235f1907 100644 --- a/testprograms/ref-results/PRIMA_set_a-type.vcg +++ b/testprograms/ref-results/PRIMA_set_a-type.vcg @@ -92,6 +92,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -106,6 +107,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -135,6 +137,7 @@ node: {title: "e20" label: "ent PRIMA_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -207,6 +210,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/PRIMA_set_a-wtypes.vcg b/testprograms/ref-results/PRIMA_set_a-wtypes.vcg index 167c9b360..dfdd2c0df 100644 --- a/testprograms/ref-results/PRIMA_set_a-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_set_a-wtypes.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g73" label: "PRIMA_set_a" status:clustered color:white +info1: "entity set_a (20) + type: set_a (18) + owner: PRIMA (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &set_a + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_set_a + offset: -1 bits, -1 bytes + irg = 73 + +" graph: { title: "n62" label: "Block 62" status:clustered color:yellow + info1: "Block 62 + mode: BB + visited: 16 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Return 82 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n62" targetname: "n82" label: "0" class:13 priority:60 color:red} node: {title: "n136" label: "End 136" info1: "End 136 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n74" label: "Block 74" status:clustered color:yellow + info1: "Block 74 + mode: BB + visited: 16 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red} node: {title: "n82" label: "Return 82" info1: "Return 82 mode: X @@ -160,6 +201,18 @@ edge: {sourcename: "n76" targetname: "n72" label: "0" class:16 priority:10} } graph: { title: "n64" label: "Block 64" status:clustered color:yellow + info1: "Block 64 + mode: BB + visited: 16 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n64" targetname: "n68" label: "0" class:13 priority:60 color:red} node: {title: "n71" label: "ProjM 1 71" info1: "Proj 71 mode: M @@ -256,6 +309,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -270,6 +324,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -299,6 +354,7 @@ node: {title: "e20" label: "ent PRIMA_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -371,6 +427,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent diff --git a/testprograms/ref-results/PRIMA_set_a.vcg b/testprograms/ref-results/PRIMA_set_a.vcg index 67767747b..15020c281 100644 --- a/testprograms/ref-results/PRIMA_set_a.vcg +++ b/testprograms/ref-results/PRIMA_set_a.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g73" label: "PRIMA_set_a" status:clustered color:white +info1: "entity set_a (20) + type: set_a (18) + owner: PRIMA (15) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &set_a + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: PRIMA_set_a + offset: -1 bits, -1 bytes + irg = 73 + +" graph: { title: "n62" label: "Block 62" status:clustered color:yellow + info1: "Block 62 + mode: BB + visited: 12 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Return 82 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n62" targetname: "n82" label: "0" class:13 priority:60 color:red} node: {title: "n136" label: "End 136" info1: "End 136 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n74" label: "Block 74" status:clustered color:yellow + info1: "Block 74 + mode: BB + visited: 12 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red} node: {title: "n82" label: "Return 82" info1: "Return 82 mode: X @@ -160,6 +201,18 @@ edge: {sourcename: "n76" targetname: "n72" label: "0" class:16 priority:10} } graph: { title: "n64" label: "Block 64" status:clustered color:yellow + info1: "Block 64 + mode: BB + visited: 12 + irg: PRIMA_set_a + arity: 1 + pred nodes: + 0: Proj 68 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n64" targetname: "n68" label: "0" class:13 priority:60 color:red} node: {title: "n71" label: "ProjM 1 71" info1: "Proj 71 mode: M diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1.vcg index 5254c0cee..94d0b2a06 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1.vcg @@ -54,7 +54,38 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g43" label: "STRENGTH_RED_EXAMPLE_m1" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m1 (18) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m1 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 43 + +" graph: { title: "n93" label: "Block 93" status:clustered color:yellow + info1: "Block 93 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m1 + arity: 2 + pred nodes: + 0: Proj 55 + 1: be Jmp 114 + Private Attributes: + backedges: 1 + in loop 530 with depth 1 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n93" targetname: "n55" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n93" targetname: "n114" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n120" label: "PhiM 120" info1: "Phi 120 @@ -103,6 +134,20 @@ node: {title: "n100" label: "Jmp 100" info1: "Jmp 100 } graph: { title: "n47" label: "Block 47" status:clustered color:yellow + info1: "Block 47 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m1 + arity: 2 + pred nodes: + 0: Jmp 46 + 1: be Jmp 85 + Private Attributes: + backedges: 1 + in loop 528 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n47" targetname: "n46" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n47" targetname: "n85" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n91" label: "PhiM 91" info1: "Phi 91 @@ -236,6 +281,19 @@ backedge: {sourcename: "n92" targetname: "n84" label: "1" linestyle:dashed class } graph: { title: "n44" label: "Block 44" status:clustered color:yellow + info1: "Block 44 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m1 + arity: 1 + pred nodes: + 0: Proj 38 + Private Attributes: + backedges: + in loop 526 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n44" targetname: "n38" label: "0" class:13 priority:60 color:red} node: {title: "n46" label: "Jmp 46" info1: "Jmp 46 mode: X @@ -251,6 +309,19 @@ node: {title: "n46" label: "Jmp 46" info1: "Jmp 46 } graph: { title: "n57" label: "Block 57" status:clustered color:yellow + info1: "Block 57 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m1 + arity: 1 + pred nodes: + 0: Proj 56 + Private Attributes: + backedges: + in loop 528 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n57" targetname: "n56" label: "0" class:13 priority:60 color:red} node: {title: "n83" label: "ProjM M 83" info1: "Proj 83 mode: M @@ -542,6 +613,19 @@ edge: {sourcename: "n84" targetname: "n92" label: "1" class:16 priority:10} } graph: { title: "n103" label: "Block 103" status:clustered color:yellow + info1: "Block 103 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m1 + arity: 1 + pred nodes: + 0: Jmp 100 + Private Attributes: + backedges: + in loop 530 with depth 1 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n103" targetname: "n100" label: "0" class:13 priority:60 color:red} node: {title: "n112" label: "ProjM M 112" info1: "Proj 112 mode: M @@ -686,6 +770,19 @@ node: {title: "n114" label: "Jmp 114" info1: "Jmp 114 } graph: { title: "n32" label: "Block 32" status:clustered color:yellow + info1: "Block 32 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m1 + arity: 1 + pred nodes: + 0: Bad 36 + Private Attributes: + backedges: + in loop 526 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n32" targetname: "n32n36" label: "0" class:13 priority:60 color:red} node: {title: "n33" label: "End 33" info1: "End 33 mode: X @@ -716,6 +813,19 @@ node: {title: "n32n36" label: "Bad 36" info1: "Bad 36 } graph: { title: "n34" label: "Block 34" status:clustered color:yellow + info1: "Block 34 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m1 + arity: 1 + pred nodes: + 0: Proj 38 + Private Attributes: + backedges: + in loop 526 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n34" targetname: "n38" label: "0" class:13 priority:60 color:red} node: {title: "n41" label: "ProjM 1 41" info1: "Proj 41 mode: M 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 f0178e1b6..5505d419f 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg @@ -54,7 +54,40 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g147" label: "STRENGTH_RED_EXAMPLE_m2" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m2 (128) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m2 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 147 + +" graph: { title: "n136" label: "Block 136" status:clustered color:yellow + info1: "Block 136 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m2 + arity: 1 + pred nodes: + 0: Return 187 + Private Attributes: + backedges: + in loop 569 with depth 0 + block visited: 2 + dom depth 5 + tree pre num 4 + max subtree pre num 4 + Execution freqency statistics: +" edge: {sourcename: "n136" targetname: "n187" label: "0" class:13 priority:60 color:red} node: {title: "n137" label: "End 137" info1: "End 137 mode: X @@ -71,6 +104,22 @@ color: blue} } graph: { title: "n184" label: "Block 184" status:clustered color:yellow + info1: "Block 184 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m2 + arity: 1 + pred nodes: + 0: Proj 160 + Private Attributes: + backedges: + in loop 569 with depth 0 + block visited: 2 + dom depth 4 + tree pre num 3 + max subtree pre num 4 + Execution freqency statistics: +" edge: {sourcename: "n184" targetname: "n160" label: "0" class:13 priority:60 color:red} node: {title: "n187" label: "Return 187" info1: "Return 187 mode: X @@ -104,6 +153,23 @@ edge: {sourcename: "n187" targetname: "n187n166" label: "1" class:16 priority:10 } graph: { title: "n152" label: "Block 152" status:clustered color:yellow + info1: "Block 152 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m2 + arity: 2 + pred nodes: + 0: Jmp 151 + 1: be Jmp 178 + Private Attributes: + backedges: 1 + in loop 570 with depth 1 + block visited: 2 + dom depth 3 + tree pre num 2 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n152" targetname: "n151" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n152" targetname: "n178" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n191" label: "PhiM 191" info1: "Phi 191 @@ -291,6 +357,22 @@ edge: {sourcename: "n192" targetname: "n177" label: "1" class:16 priority:10} } graph: { title: "n148" label: "Block 148" status:clustered color:yellow + info1: "Block 148 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m2 + arity: 1 + pred nodes: + 0: Proj 142 + Private Attributes: + backedges: + in loop 569 with depth 0 + block visited: 2 + dom depth 2 + tree pre num 1 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n148" targetname: "n142" label: "0" class:13 priority:60 color:red} node: {title: "n151" label: "Jmp 151" info1: "Jmp 151 mode: X @@ -306,6 +388,22 @@ node: {title: "n151" label: "Jmp 151" info1: "Jmp 151 } graph: { title: "n162" label: "Block 162" status:clustered color:yellow + info1: "Block 162 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m2 + arity: 1 + pred nodes: + 0: Proj 161 + Private Attributes: + backedges: + in loop 570 with depth 1 + block visited: 2 + dom depth 4 + tree pre num 5 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n162" targetname: "n161" label: "0" class:13 priority:60 color:red} node: {title: "n176" label: "ProjM M 176" info1: "Proj 176 mode: M @@ -488,6 +586,22 @@ edge: {sourcename: "n177" targetname: "n192" label: "1" class:16 priority:10} } graph: { title: "n138" label: "Block 138" status:clustered color:yellow + info1: "Block 138 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m2 + arity: 1 + pred nodes: + 0: Proj 142 + Private Attributes: + backedges: + in loop 569 with depth 0 + block visited: 2 + dom depth 1 + tree pre num 0 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n138" targetname: "n142" label: "0" class:13 priority:60 color:red} node: {title: "n145" label: "ProjM 1 145" info1: "Proj 145 mode: M diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2.vcg index f50ede17c..08e4e21b8 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2.vcg @@ -54,7 +54,37 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g147" label: "STRENGTH_RED_EXAMPLE_m2" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m2 (128) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m2 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 147 + +" graph: { title: "n136" label: "Block 136" status:clustered color:yellow + info1: "Block 136 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m2 + arity: 1 + pred nodes: + 0: Return 187 + Private Attributes: + backedges: + in loop 563 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n136" targetname: "n187" label: "0" class:13 priority:60 color:red} node: {title: "n137" label: "End 137" info1: "End 137 mode: X @@ -71,6 +101,19 @@ color: blue} } graph: { title: "n184" label: "Block 184" status:clustered color:yellow + info1: "Block 184 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m2 + arity: 1 + pred nodes: + 0: Proj 160 + Private Attributes: + backedges: + in loop 563 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n184" targetname: "n160" label: "0" class:13 priority:60 color:red} node: {title: "n187" label: "Return 187" info1: "Return 187 mode: X @@ -104,6 +147,20 @@ edge: {sourcename: "n187" targetname: "n187n166" label: "1" class:16 priority:10 } graph: { title: "n152" label: "Block 152" status:clustered color:yellow + info1: "Block 152 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m2 + arity: 2 + pred nodes: + 0: Jmp 151 + 1: be Jmp 178 + Private Attributes: + backedges: 1 + in loop 565 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n152" targetname: "n151" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n152" targetname: "n178" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n191" label: "PhiM 191" info1: "Phi 191 @@ -237,6 +294,19 @@ backedge: {sourcename: "n192" targetname: "n177" label: "1" linestyle:dashed cla } graph: { title: "n148" label: "Block 148" status:clustered color:yellow + info1: "Block 148 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m2 + arity: 1 + pred nodes: + 0: Proj 142 + Private Attributes: + backedges: + in loop 563 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n148" targetname: "n142" label: "0" class:13 priority:60 color:red} node: {title: "n151" label: "Jmp 151" info1: "Jmp 151 mode: X @@ -252,6 +322,19 @@ node: {title: "n151" label: "Jmp 151" info1: "Jmp 151 } graph: { title: "n162" label: "Block 162" status:clustered color:yellow + info1: "Block 162 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m2 + arity: 1 + pred nodes: + 0: Proj 161 + Private Attributes: + backedges: + in loop 565 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n162" targetname: "n161" label: "0" class:13 priority:60 color:red} node: {title: "n176" label: "ProjM M 176" info1: "Proj 176 mode: M @@ -438,6 +521,19 @@ edge: {sourcename: "n177" targetname: "n192" label: "1" class:16 priority:10} } graph: { title: "n138" label: "Block 138" status:clustered color:yellow + info1: "Block 138 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m2 + arity: 1 + pred nodes: + 0: Proj 142 + Private Attributes: + backedges: + in loop 563 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n138" targetname: "n142" label: "0" class:13 priority:60 color:red} node: {title: "n145" label: "ProjM 1 145" info1: "Proj 145 mode: M 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 f89140f18..f1cb7f2d5 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg @@ -54,7 +54,40 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g213" label: "STRENGTH_RED_EXAMPLE_m3" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m3 (194) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m3 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 213 + +" graph: { title: "n202" label: "Block 202" status:clustered color:yellow + info1: "Block 202 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m3 + arity: 1 + pred nodes: + 0: Return 253 + Private Attributes: + backedges: + in loop 598 with depth 0 + block visited: 2 + dom depth 5 + tree pre num 4 + max subtree pre num 4 + Execution freqency statistics: +" edge: {sourcename: "n202" targetname: "n253" label: "0" class:13 priority:60 color:red} node: {title: "n203" label: "End 203" info1: "End 203 mode: X @@ -71,6 +104,22 @@ color: blue} } graph: { title: "n250" label: "Block 250" status:clustered color:yellow + info1: "Block 250 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m3 + arity: 1 + pred nodes: + 0: Proj 225 + Private Attributes: + backedges: + in loop 598 with depth 0 + block visited: 2 + dom depth 4 + tree pre num 3 + max subtree pre num 4 + Execution freqency statistics: +" edge: {sourcename: "n250" targetname: "n225" label: "0" class:13 priority:60 color:red} node: {title: "n253" label: "Return 253" info1: "Return 253 mode: X @@ -104,6 +153,23 @@ edge: {sourcename: "n253" targetname: "n253n229" label: "1" class:16 priority:10 } graph: { title: "n218" label: "Block 218" status:clustered color:yellow + info1: "Block 218 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m3 + arity: 2 + pred nodes: + 0: Jmp 217 + 1: be Jmp 244 + Private Attributes: + backedges: 1 + in loop 599 with depth 1 + block visited: 2 + dom depth 3 + tree pre num 2 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n218" targetname: "n217" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n218" targetname: "n244" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n257" label: "PhiM 257" info1: "Phi 257 @@ -263,6 +329,22 @@ edge: {sourcename: "n258" targetname: "n592" label: "1" class:16 priority:10} } graph: { title: "n214" label: "Block 214" status:clustered color:yellow + info1: "Block 214 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m3 + arity: 1 + pred nodes: + 0: Proj 208 + Private Attributes: + backedges: + in loop 598 with depth 0 + block visited: 2 + dom depth 2 + tree pre num 1 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n214" targetname: "n208" label: "0" class:13 priority:60 color:red} node: {title: "n217" label: "Jmp 217" info1: "Jmp 217 mode: X @@ -278,6 +360,22 @@ node: {title: "n217" label: "Jmp 217" info1: "Jmp 217 } graph: { title: "n227" label: "Block 227" status:clustered color:yellow + info1: "Block 227 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m3 + arity: 1 + pred nodes: + 0: Proj 226 + Private Attributes: + backedges: + in loop 599 with depth 1 + block visited: 2 + dom depth 4 + tree pre num 5 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n227" targetname: "n226" label: "0" class:13 priority:60 color:red} node: {title: "n242" label: "ProjM M 242" info1: "Proj 242 mode: M @@ -498,6 +596,22 @@ edge: {sourcename: "n592" targetname: "n592n591" label: "1" class:16 priority:10 } graph: { title: "n204" label: "Block 204" status:clustered color:yellow + info1: "Block 204 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m3 + arity: 1 + pred nodes: + 0: Proj 208 + Private Attributes: + backedges: + in loop 598 with depth 0 + block visited: 2 + dom depth 1 + tree pre num 0 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n204" targetname: "n208" label: "0" class:13 priority:60 color:red} node: {title: "n211" label: "ProjM 1 211" info1: "Proj 211 mode: M diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3.vcg index 76733c7b6..f9065f958 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3.vcg @@ -54,7 +54,37 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g213" label: "STRENGTH_RED_EXAMPLE_m3" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m3 (194) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m3 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 213 + +" graph: { title: "n202" label: "Block 202" status:clustered color:yellow + info1: "Block 202 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m3 + arity: 1 + pred nodes: + 0: Return 253 + Private Attributes: + backedges: + in loop 585 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n202" targetname: "n253" label: "0" class:13 priority:60 color:red} node: {title: "n203" label: "End 203" info1: "End 203 mode: X @@ -71,6 +101,19 @@ color: blue} } graph: { title: "n250" label: "Block 250" status:clustered color:yellow + info1: "Block 250 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m3 + arity: 1 + pred nodes: + 0: Proj 225 + Private Attributes: + backedges: + in loop 585 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n250" targetname: "n225" label: "0" class:13 priority:60 color:red} node: {title: "n253" label: "Return 253" info1: "Return 253 mode: X @@ -104,6 +147,20 @@ edge: {sourcename: "n253" targetname: "n253n229" label: "1" class:16 priority:10 } graph: { title: "n218" label: "Block 218" status:clustered color:yellow + info1: "Block 218 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m3 + arity: 2 + pred nodes: + 0: Jmp 217 + 1: be Jmp 244 + Private Attributes: + backedges: 1 + in loop 587 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n218" targetname: "n217" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n218" targetname: "n244" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n257" label: "PhiM 257" info1: "Phi 257 @@ -237,6 +294,19 @@ backedge: {sourcename: "n258" targetname: "n243" label: "1" linestyle:dashed cla } graph: { title: "n214" label: "Block 214" status:clustered color:yellow + info1: "Block 214 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m3 + arity: 1 + pred nodes: + 0: Proj 208 + Private Attributes: + backedges: + in loop 585 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n214" targetname: "n208" label: "0" class:13 priority:60 color:red} node: {title: "n217" label: "Jmp 217" info1: "Jmp 217 mode: X @@ -252,6 +322,19 @@ node: {title: "n217" label: "Jmp 217" info1: "Jmp 217 } graph: { title: "n227" label: "Block 227" status:clustered color:yellow + info1: "Block 227 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m3 + arity: 1 + pred nodes: + 0: Proj 226 + Private Attributes: + backedges: + in loop 587 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n227" targetname: "n226" label: "0" class:13 priority:60 color:red} node: {title: "n242" label: "ProjM M 242" info1: "Proj 242 mode: M @@ -480,6 +563,19 @@ edge: {sourcename: "n243" targetname: "n243n228" label: "1" class:16 priority:10 } graph: { title: "n204" label: "Block 204" status:clustered color:yellow + info1: "Block 204 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m3 + arity: 1 + pred nodes: + 0: Proj 208 + Private Attributes: + backedges: + in loop 585 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n204" targetname: "n208" label: "0" class:13 priority:60 color:red} node: {title: "n211" label: "ProjM 1 211" info1: "Proj 211 mode: M diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg index 2a567d744..5ac4c7436 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg @@ -54,7 +54,40 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g279" label: "STRENGTH_RED_EXAMPLE_m4" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m4 (260) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m4 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 279 + +" graph: { title: "n268" label: "Block 268" status:clustered color:yellow + info1: "Block 268 + mode: BB + visited: 31 + irg: STRENGTH_RED_EXAMPLE_m4 + arity: 1 + pred nodes: + 0: Return 321 + Private Attributes: + backedges: + in loop 623 with depth 0 + block visited: 2 + dom depth 5 + tree pre num 4 + max subtree pre num 4 + Execution freqency statistics: +" edge: {sourcename: "n268" targetname: "n321" label: "0" class:13 priority:60 color:red} node: {title: "n269" label: "End 269" info1: "End 269 mode: X @@ -71,6 +104,22 @@ color: blue} } graph: { title: "n318" label: "Block 318" status:clustered color:yellow + info1: "Block 318 + mode: BB + visited: 31 + irg: STRENGTH_RED_EXAMPLE_m4 + arity: 1 + pred nodes: + 0: Proj 292 + Private Attributes: + backedges: + in loop 623 with depth 0 + block visited: 2 + dom depth 4 + tree pre num 3 + max subtree pre num 4 + Execution freqency statistics: +" edge: {sourcename: "n318" targetname: "n292" label: "0" class:13 priority:60 color:red} node: {title: "n321" label: "Return 321" info1: "Return 321 mode: X @@ -104,6 +153,23 @@ edge: {sourcename: "n321" targetname: "n321n296" label: "1" class:16 priority:10 } graph: { title: "n284" label: "Block 284" status:clustered color:yellow + info1: "Block 284 + mode: BB + visited: 31 + irg: STRENGTH_RED_EXAMPLE_m4 + arity: 2 + pred nodes: + 0: Jmp 283 + 1: be Jmp 312 + Private Attributes: + backedges: 1 + in loop 624 with depth 1 + block visited: 2 + dom depth 3 + tree pre num 2 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n284" targetname: "n283" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n284" targetname: "n312" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n325" label: "PhiM 325" info1: "Phi 325 @@ -291,6 +357,22 @@ edge: {sourcename: "n326" targetname: "n299" label: "1" class:16 priority:10} } graph: { title: "n280" label: "Block 280" status:clustered color:yellow + info1: "Block 280 + mode: BB + visited: 31 + irg: STRENGTH_RED_EXAMPLE_m4 + arity: 1 + pred nodes: + 0: Proj 274 + Private Attributes: + backedges: + in loop 623 with depth 0 + block visited: 2 + dom depth 2 + tree pre num 1 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n280" targetname: "n274" label: "0" class:13 priority:60 color:red} node: {title: "n283" label: "Jmp 283" info1: "Jmp 283 mode: X @@ -306,6 +388,22 @@ node: {title: "n283" label: "Jmp 283" info1: "Jmp 283 } graph: { title: "n294" label: "Block 294" status:clustered color:yellow + info1: "Block 294 + mode: BB + visited: 31 + irg: STRENGTH_RED_EXAMPLE_m4 + arity: 1 + pred nodes: + 0: Proj 293 + Private Attributes: + backedges: + in loop 624 with depth 1 + block visited: 2 + dom depth 4 + tree pre num 5 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n294" targetname: "n293" label: "0" class:13 priority:60 color:red} node: {title: "n311" label: "ProjM M 311" info1: "Proj 311 mode: M @@ -576,6 +674,22 @@ edge: {sourcename: "n299" targetname: "n326" label: "1" class:16 priority:10} } graph: { title: "n270" label: "Block 270" status:clustered color:yellow + info1: "Block 270 + mode: BB + visited: 31 + irg: STRENGTH_RED_EXAMPLE_m4 + arity: 1 + pred nodes: + 0: Proj 274 + Private Attributes: + backedges: + in loop 623 with depth 0 + block visited: 2 + dom depth 1 + tree pre num 0 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n270" targetname: "n274" label: "0" class:13 priority:60 color:red} node: {title: "n277" label: "ProjM 1 277" info1: "Proj 277 mode: M diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4.vcg index 0fbb9962d..396672ab4 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4.vcg @@ -54,7 +54,37 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g279" label: "STRENGTH_RED_EXAMPLE_m4" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m4 (260) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m4 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 279 + +" graph: { title: "n268" label: "Block 268" status:clustered color:yellow + info1: "Block 268 + mode: BB + visited: 21 + irg: STRENGTH_RED_EXAMPLE_m4 + arity: 1 + pred nodes: + 0: Return 321 + Private Attributes: + backedges: + in loop 607 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n268" targetname: "n321" label: "0" class:13 priority:60 color:red} node: {title: "n269" label: "End 269" info1: "End 269 mode: X @@ -71,6 +101,19 @@ color: blue} } graph: { title: "n318" label: "Block 318" status:clustered color:yellow + info1: "Block 318 + mode: BB + visited: 21 + irg: STRENGTH_RED_EXAMPLE_m4 + arity: 1 + pred nodes: + 0: Proj 292 + Private Attributes: + backedges: + in loop 607 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n318" targetname: "n292" label: "0" class:13 priority:60 color:red} node: {title: "n321" label: "Return 321" info1: "Return 321 mode: X @@ -104,6 +147,20 @@ edge: {sourcename: "n321" targetname: "n321n296" label: "1" class:16 priority:10 } graph: { title: "n284" label: "Block 284" status:clustered color:yellow + info1: "Block 284 + mode: BB + visited: 21 + irg: STRENGTH_RED_EXAMPLE_m4 + arity: 2 + pred nodes: + 0: Jmp 283 + 1: be Jmp 312 + Private Attributes: + backedges: 1 + in loop 609 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n284" targetname: "n283" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n284" targetname: "n312" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n325" label: "PhiM 325" info1: "Phi 325 @@ -237,6 +294,19 @@ backedge: {sourcename: "n326" targetname: "n299" label: "1" linestyle:dashed cla } graph: { title: "n280" label: "Block 280" status:clustered color:yellow + info1: "Block 280 + mode: BB + visited: 21 + irg: STRENGTH_RED_EXAMPLE_m4 + arity: 1 + pred nodes: + 0: Proj 274 + Private Attributes: + backedges: + in loop 607 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n280" targetname: "n274" label: "0" class:13 priority:60 color:red} node: {title: "n283" label: "Jmp 283" info1: "Jmp 283 mode: X @@ -252,6 +322,19 @@ node: {title: "n283" label: "Jmp 283" info1: "Jmp 283 } graph: { title: "n294" label: "Block 294" status:clustered color:yellow + info1: "Block 294 + mode: BB + visited: 21 + irg: STRENGTH_RED_EXAMPLE_m4 + arity: 1 + pred nodes: + 0: Proj 293 + Private Attributes: + backedges: + in loop 609 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n294" targetname: "n293" label: "0" class:13 priority:60 color:red} node: {title: "n311" label: "ProjM M 311" info1: "Proj 311 mode: M @@ -474,6 +557,19 @@ edge: {sourcename: "n299" targetname: "n326" label: "1" class:16 priority:10} } graph: { title: "n270" label: "Block 270" status:clustered color:yellow + info1: "Block 270 + mode: BB + visited: 21 + irg: STRENGTH_RED_EXAMPLE_m4 + arity: 1 + pred nodes: + 0: Proj 274 + Private Attributes: + backedges: + in loop 607 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n270" targetname: "n274" label: "0" class:13 priority:60 color:red} node: {title: "n277" label: "ProjM 1 277" info1: "Proj 277 mode: M 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 74aaadad8..f3d2b8c5b 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg @@ -54,7 +54,40 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g347" label: "STRENGTH_RED_EXAMPLE_m5" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m5 (328) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m5 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 347 + +" graph: { title: "n336" label: "Block 336" status:clustered color:yellow + info1: "Block 336 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Return 387 + Private Attributes: + backedges: + in loop 656 with depth 0 + block visited: 2 + dom depth 5 + tree pre num 4 + max subtree pre num 4 + Execution freqency statistics: +" edge: {sourcename: "n336" targetname: "n387" label: "0" class:13 priority:60 color:red} node: {title: "n337" label: "End 337" info1: "End 337 mode: X @@ -71,6 +104,22 @@ color: blue} } graph: { title: "n384" label: "Block 384" status:clustered color:yellow + info1: "Block 384 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Proj 359 + Private Attributes: + backedges: + in loop 656 with depth 0 + block visited: 2 + dom depth 4 + tree pre num 3 + max subtree pre num 4 + Execution freqency statistics: +" edge: {sourcename: "n384" targetname: "n359" label: "0" class:13 priority:60 color:red} node: {title: "n387" label: "Return 387" info1: "Return 387 mode: X @@ -104,6 +153,23 @@ edge: {sourcename: "n387" targetname: "n387n363" label: "1" class:16 priority:10 } graph: { title: "n352" label: "Block 352" status:clustered color:yellow + info1: "Block 352 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 2 + pred nodes: + 0: Jmp 351 + 1: be Jmp 378 + Private Attributes: + backedges: 1 + in loop 657 with depth 1 + block visited: 2 + dom depth 3 + tree pre num 2 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n352" targetname: "n351" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n352" targetname: "n378" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n391" label: "PhiM 391" info1: "Phi 391 @@ -236,6 +302,22 @@ edge: {sourcename: "n392" targetname: "n646" label: "1" class:16 priority:10} } graph: { title: "n348" label: "Block 348" status:clustered color:yellow + info1: "Block 348 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Proj 342 + Private Attributes: + backedges: + in loop 656 with depth 0 + block visited: 2 + dom depth 2 + tree pre num 1 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n348" targetname: "n342" label: "0" class:13 priority:60 color:red} node: {title: "n351" label: "Jmp 351" info1: "Jmp 351 mode: X @@ -251,6 +333,22 @@ node: {title: "n351" label: "Jmp 351" info1: "Jmp 351 } graph: { title: "n361" label: "Block 361" status:clustered color:yellow + info1: "Block 361 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Proj 360 + Private Attributes: + backedges: + in loop 657 with depth 1 + block visited: 2 + dom depth 4 + tree pre num 5 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n361" targetname: "n360" label: "0" class:13 priority:60 color:red} node: {title: "n377" label: "ProjM M 377" info1: "Proj 377 mode: M @@ -415,6 +513,22 @@ edge: {sourcename: "n646" targetname: "n646n649" label: "1" class:16 priority:10 } graph: { title: "n338" label: "Block 338" status:clustered color:yellow + info1: "Block 338 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Proj 342 + Private Attributes: + backedges: + in loop 656 with depth 0 + block visited: 2 + dom depth 1 + tree pre num 0 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n338" targetname: "n342" label: "0" class:13 priority:60 color:red} node: {title: "n345" label: "ProjM 1 345" info1: "Proj 345 mode: M diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5.vcg index 629aa1873..bcbd492fe 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5.vcg @@ -54,7 +54,37 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g347" label: "STRENGTH_RED_EXAMPLE_m5" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m5 (328) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m5 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 347 + +" graph: { title: "n336" label: "Block 336" status:clustered color:yellow + info1: "Block 336 + mode: BB + visited: 16 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Return 387 + Private Attributes: + backedges: + in loop 639 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n336" targetname: "n387" label: "0" class:13 priority:60 color:red} node: {title: "n337" label: "End 337" info1: "End 337 mode: X @@ -71,6 +101,19 @@ color: blue} } graph: { title: "n384" label: "Block 384" status:clustered color:yellow + info1: "Block 384 + mode: BB + visited: 16 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Proj 359 + Private Attributes: + backedges: + in loop 639 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n384" targetname: "n359" label: "0" class:13 priority:60 color:red} node: {title: "n387" label: "Return 387" info1: "Return 387 mode: X @@ -104,6 +147,20 @@ edge: {sourcename: "n387" targetname: "n387n363" label: "1" class:16 priority:10 } graph: { title: "n352" label: "Block 352" status:clustered color:yellow + info1: "Block 352 + mode: BB + visited: 16 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 2 + pred nodes: + 0: Jmp 351 + 1: be Jmp 378 + Private Attributes: + backedges: 1 + in loop 641 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n352" targetname: "n351" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n352" targetname: "n378" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n391" label: "PhiM 391" info1: "Phi 391 @@ -237,6 +294,19 @@ backedge: {sourcename: "n392" targetname: "n365" label: "1" linestyle:dashed cla } graph: { title: "n348" label: "Block 348" status:clustered color:yellow + info1: "Block 348 + mode: BB + visited: 16 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Proj 342 + Private Attributes: + backedges: + in loop 639 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n348" targetname: "n342" label: "0" class:13 priority:60 color:red} node: {title: "n351" label: "Jmp 351" info1: "Jmp 351 mode: X @@ -252,6 +322,19 @@ node: {title: "n351" label: "Jmp 351" info1: "Jmp 351 } graph: { title: "n361" label: "Block 361" status:clustered color:yellow + info1: "Block 361 + mode: BB + visited: 16 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Proj 360 + Private Attributes: + backedges: + in loop 641 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n361" targetname: "n360" label: "0" class:13 priority:60 color:red} node: {title: "n377" label: "ProjM M 377" info1: "Proj 377 mode: M @@ -450,6 +533,19 @@ edge: {sourcename: "n365" targetname: "n365n362" label: "1" class:16 priority:10 } graph: { title: "n338" label: "Block 338" status:clustered color:yellow + info1: "Block 338 + mode: BB + visited: 16 + irg: STRENGTH_RED_EXAMPLE_m5 + arity: 1 + pred nodes: + 0: Proj 342 + Private Attributes: + backedges: + in loop 639 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n338" targetname: "n342" label: "0" class:13 priority:60 color:red} node: {title: "n345" label: "ProjM 1 345" info1: "Proj 345 mode: M 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 d9ed1e835..b2f4dffad 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6-strength_reduced.vcg @@ -54,7 +54,40 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g413" label: "STRENGTH_RED_EXAMPLE_m6" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m6 (394) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m6 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 413 + +" graph: { title: "n402" label: "Block 402" status:clustered color:yellow + info1: "Block 402 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Return 454 + Private Attributes: + backedges: + in loop 681 with depth 0 + block visited: 2 + dom depth 5 + tree pre num 4 + max subtree pre num 4 + Execution freqency statistics: +" edge: {sourcename: "n402" targetname: "n454" label: "0" class:13 priority:60 color:red} node: {title: "n403" label: "End 403" info1: "End 403 mode: X @@ -71,6 +104,22 @@ color: blue} } graph: { title: "n451" label: "Block 451" status:clustered color:yellow + info1: "Block 451 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Proj 426 + Private Attributes: + backedges: + in loop 681 with depth 0 + block visited: 2 + dom depth 4 + tree pre num 3 + max subtree pre num 4 + Execution freqency statistics: +" edge: {sourcename: "n451" targetname: "n426" label: "0" class:13 priority:60 color:red} node: {title: "n454" label: "Return 454" info1: "Return 454 mode: X @@ -104,6 +153,23 @@ edge: {sourcename: "n454" targetname: "n454n431" label: "1" class:16 priority:10 } graph: { title: "n418" label: "Block 418" status:clustered color:yellow + info1: "Block 418 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 2 + pred nodes: + 0: Jmp 417 + 1: be Jmp 445 + Private Attributes: + backedges: 1 + in loop 682 with depth 1 + block visited: 2 + dom depth 3 + tree pre num 2 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n418" targetname: "n417" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n418" targetname: "n445" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n458" label: "PhiM 458" info1: "Phi 458 @@ -236,6 +302,22 @@ edge: {sourcename: "n459" targetname: "n671" label: "1" class:16 priority:10} } graph: { title: "n414" label: "Block 414" status:clustered color:yellow + info1: "Block 414 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Proj 408 + Private Attributes: + backedges: + in loop 681 with depth 0 + block visited: 2 + dom depth 2 + tree pre num 1 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n414" targetname: "n408" label: "0" class:13 priority:60 color:red} node: {title: "n417" label: "Jmp 417" info1: "Jmp 417 mode: X @@ -251,6 +333,22 @@ node: {title: "n417" label: "Jmp 417" info1: "Jmp 417 } graph: { title: "n428" label: "Block 428" status:clustered color:yellow + info1: "Block 428 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Proj 427 + Private Attributes: + backedges: + in loop 682 with depth 1 + block visited: 2 + dom depth 4 + tree pre num 5 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n428" targetname: "n427" label: "0" class:13 priority:60 color:red} node: {title: "n444" label: "ProjM M 444" info1: "Proj 444 mode: M @@ -442,6 +540,22 @@ edge: {sourcename: "n671" targetname: "n671n674" label: "1" class:16 priority:10 } graph: { title: "n404" label: "Block 404" status:clustered color:yellow + info1: "Block 404 + mode: BB + visited: 26 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Proj 408 + Private Attributes: + backedges: + in loop 681 with depth 0 + block visited: 2 + dom depth 1 + tree pre num 0 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n404" targetname: "n408" label: "0" class:13 priority:60 color:red} node: {title: "n411" label: "ProjM 1 411" info1: "Proj 411 mode: M diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6.vcg index c05dcfde2..517c3fa08 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m6.vcg @@ -54,7 +54,37 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g413" label: "STRENGTH_RED_EXAMPLE_m6" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m6 (394) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m6 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 413 + +" graph: { title: "n402" label: "Block 402" status:clustered color:yellow + info1: "Block 402 + mode: BB + visited: 16 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Return 454 + Private Attributes: + backedges: + in loop 664 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n402" targetname: "n454" label: "0" class:13 priority:60 color:red} node: {title: "n403" label: "End 403" info1: "End 403 mode: X @@ -71,6 +101,19 @@ color: blue} } graph: { title: "n451" label: "Block 451" status:clustered color:yellow + info1: "Block 451 + mode: BB + visited: 16 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Proj 426 + Private Attributes: + backedges: + in loop 664 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n451" targetname: "n426" label: "0" class:13 priority:60 color:red} node: {title: "n454" label: "Return 454" info1: "Return 454 mode: X @@ -104,6 +147,20 @@ edge: {sourcename: "n454" targetname: "n454n431" label: "1" class:16 priority:10 } graph: { title: "n418" label: "Block 418" status:clustered color:yellow + info1: "Block 418 + mode: BB + visited: 16 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 2 + pred nodes: + 0: Jmp 417 + 1: be Jmp 445 + Private Attributes: + backedges: 1 + in loop 666 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n418" targetname: "n417" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n418" targetname: "n445" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n458" label: "PhiM 458" info1: "Phi 458 @@ -237,6 +294,19 @@ backedge: {sourcename: "n459" targetname: "n433" label: "1" linestyle:dashed cla } graph: { title: "n414" label: "Block 414" status:clustered color:yellow + info1: "Block 414 + mode: BB + visited: 16 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Proj 408 + Private Attributes: + backedges: + in loop 664 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n414" targetname: "n408" label: "0" class:13 priority:60 color:red} node: {title: "n417" label: "Jmp 417" info1: "Jmp 417 mode: X @@ -252,6 +322,19 @@ node: {title: "n417" label: "Jmp 417" info1: "Jmp 417 } graph: { title: "n428" label: "Block 428" status:clustered color:yellow + info1: "Block 428 + mode: BB + visited: 16 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Proj 427 + Private Attributes: + backedges: + in loop 666 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n428" targetname: "n427" label: "0" class:13 priority:60 color:red} node: {title: "n444" label: "ProjM M 444" info1: "Proj 444 mode: M @@ -477,6 +560,19 @@ edge: {sourcename: "n433" targetname: "n433n429" label: "1" class:16 priority:10 } graph: { title: "n404" label: "Block 404" status:clustered color:yellow + info1: "Block 404 + mode: BB + visited: 16 + irg: STRENGTH_RED_EXAMPLE_m6 + arity: 1 + pred nodes: + 0: Proj 408 + Private Attributes: + backedges: + in loop 664 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n404" targetname: "n408" label: "0" class:13 priority:60 color:red} node: {title: "n411" label: "ProjM 1 411" info1: "Proj 411 mode: M 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 c58155c33..1be0ecce2 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg @@ -54,7 +54,40 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g480" label: "STRENGTH_RED_EXAMPLE_m7" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m7 (461) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m7 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 480 + +" graph: { title: "n469" label: "Block 469" status:clustered color:yellow + info1: "Block 469 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m7 + arity: 1 + pred nodes: + 0: Return 520 + Private Attributes: + backedges: + in loop 706 with depth 0 + block visited: 2 + dom depth 5 + tree pre num 4 + max subtree pre num 4 + Execution freqency statistics: +" edge: {sourcename: "n469" targetname: "n520" label: "0" class:13 priority:60 color:red} node: {title: "n470" label: "End 470" info1: "End 470 mode: X @@ -71,6 +104,22 @@ color: blue} } graph: { title: "n517" label: "Block 517" status:clustered color:yellow + info1: "Block 517 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m7 + arity: 1 + pred nodes: + 0: Proj 493 + Private Attributes: + backedges: + in loop 706 with depth 0 + block visited: 2 + dom depth 4 + tree pre num 3 + max subtree pre num 4 + Execution freqency statistics: +" edge: {sourcename: "n517" targetname: "n493" label: "0" class:13 priority:60 color:red} node: {title: "n520" label: "Return 520" info1: "Return 520 mode: X @@ -104,6 +153,23 @@ edge: {sourcename: "n520" targetname: "n520n497" label: "1" class:16 priority:10 } graph: { title: "n486" label: "Block 486" status:clustered color:yellow + info1: "Block 486 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m7 + arity: 2 + pred nodes: + 0: Jmp 485 + 1: be Jmp 511 + Private Attributes: + backedges: 1 + in loop 707 with depth 1 + block visited: 2 + dom depth 3 + tree pre num 2 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n486" targetname: "n485" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n486" targetname: "n511" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n524" label: "PhiM 524" info1: "Phi 524 @@ -263,6 +329,22 @@ edge: {sourcename: "n525" targetname: "n696" label: "1" class:16 priority:10} } graph: { title: "n481" label: "Block 481" status:clustered color:yellow + info1: "Block 481 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m7 + arity: 1 + pred nodes: + 0: Proj 475 + Private Attributes: + backedges: + in loop 706 with depth 0 + block visited: 2 + dom depth 2 + tree pre num 1 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n481" targetname: "n475" label: "0" class:13 priority:60 color:red} node: {title: "n485" label: "Jmp 485" info1: "Jmp 485 mode: X @@ -278,6 +360,22 @@ node: {title: "n485" label: "Jmp 485" info1: "Jmp 485 } graph: { title: "n495" label: "Block 495" status:clustered color:yellow + info1: "Block 495 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m7 + arity: 1 + pred nodes: + 0: Proj 494 + Private Attributes: + backedges: + in loop 707 with depth 1 + block visited: 2 + dom depth 4 + tree pre num 5 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n495" targetname: "n494" label: "0" class:13 priority:60 color:red} node: {title: "n509" label: "ProjM M 509" info1: "Proj 509 mode: M @@ -457,6 +555,22 @@ edge: {sourcename: "n696" targetname: "n696n695" label: "1" class:16 priority:10 } graph: { title: "n471" label: "Block 471" status:clustered color:yellow + info1: "Block 471 + mode: BB + visited: 27 + irg: STRENGTH_RED_EXAMPLE_m7 + arity: 1 + pred nodes: + 0: Proj 475 + Private Attributes: + backedges: + in loop 706 with depth 0 + block visited: 2 + dom depth 1 + tree pre num 0 + max subtree pre num 5 + Execution freqency statistics: +" edge: {sourcename: "n471" targetname: "n475" label: "0" class:13 priority:60 color:red} node: {title: "n478" label: "ProjM 1 478" info1: "Proj 478 mode: M diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7.vcg index f376d31cf..0cfc92d12 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7.vcg @@ -54,7 +54,37 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g480" label: "STRENGTH_RED_EXAMPLE_m7" status:clustered color:white +info1: "entity STRENGTH_RED_EXAMPLE_m7 (461) + type: STRENGTH_RED_EXAMPLE_meth_tp (16) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &STRENGTH_RED_EXAMPLE_m7 + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 480 + +" graph: { title: "n469" label: "Block 469" status:clustered color:yellow + info1: "Block 469 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m7 + arity: 1 + pred nodes: + 0: Return 520 + Private Attributes: + backedges: + in loop 689 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n469" targetname: "n520" label: "0" class:13 priority:60 color:red} node: {title: "n470" label: "End 470" info1: "End 470 mode: X @@ -71,6 +101,19 @@ color: blue} } graph: { title: "n517" label: "Block 517" status:clustered color:yellow + info1: "Block 517 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m7 + arity: 1 + pred nodes: + 0: Proj 493 + Private Attributes: + backedges: + in loop 689 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n517" targetname: "n493" label: "0" class:13 priority:60 color:red} node: {title: "n520" label: "Return 520" info1: "Return 520 mode: X @@ -104,6 +147,20 @@ edge: {sourcename: "n520" targetname: "n520n497" label: "1" class:16 priority:10 } graph: { title: "n486" label: "Block 486" status:clustered color:yellow + info1: "Block 486 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m7 + arity: 2 + pred nodes: + 0: Jmp 485 + 1: be Jmp 511 + Private Attributes: + backedges: 1 + in loop 691 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n486" targetname: "n485" label: "0" class:13 priority:60 color:red} backedge: {sourcename: "n486" targetname: "n511" label: "1" linestyle:dashed class:13 priority:60 color:red} node: {title: "n524" label: "PhiM 524" info1: "Phi 524 @@ -237,6 +294,19 @@ backedge: {sourcename: "n525" targetname: "n510" label: "1" linestyle:dashed cla } graph: { title: "n481" label: "Block 481" status:clustered color:yellow + info1: "Block 481 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m7 + arity: 1 + pred nodes: + 0: Proj 475 + Private Attributes: + backedges: + in loop 689 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n481" targetname: "n475" label: "0" class:13 priority:60 color:red} node: {title: "n485" label: "Jmp 485" info1: "Jmp 485 mode: X @@ -252,6 +322,19 @@ node: {title: "n485" label: "Jmp 485" info1: "Jmp 485 } graph: { title: "n495" label: "Block 495" status:clustered color:yellow + info1: "Block 495 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m7 + arity: 1 + pred nodes: + 0: Proj 494 + Private Attributes: + backedges: + in loop 691 with depth 2 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n495" targetname: "n494" label: "0" class:13 priority:60 color:red} node: {title: "n509" label: "ProjM M 509" info1: "Proj 509 mode: M @@ -465,6 +548,19 @@ edge: {sourcename: "n510" targetname: "n510n496" label: "1" class:16 priority:10 } graph: { title: "n471" label: "Block 471" status:clustered color:yellow + info1: "Block 471 + mode: BB + visited: 17 + irg: STRENGTH_RED_EXAMPLE_m7 + arity: 1 + pred nodes: + 0: Proj 475 + Private Attributes: + backedges: + in loop 689 with depth 0 + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n471" targetname: "n475" label: "0" class:13 priority:60 color:red} node: {title: "n478" label: "ProjM 1 478" info1: "Proj 478 mode: M diff --git a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg index 4803b6449..3f07ae9c1 100644 --- a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg +++ b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g30" label: "THREE_CFPRED_EXAMPLE_main" status:clustered color:white +info1: "entity THREE_CFPRED_EXAMPLE_main (17) + type: THREE_CFPRED_EXAMPLE_main (15) + owner: GlobalType (0) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &THREE_CFPRED_EXAMPLE_main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: no yet set + offset: -1 bits, -1 bytes + irg = 30 + +" graph: { title: "n19" label: "Block 19" status:clustered color:yellow + info1: "Block 19 + mode: BB + visited: 11 + irg: THREE_CFPRED_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 61 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n19" targetname: "n61" label: "0" class:13 priority:60 color:red} node: {title: "n80" label: "End 80" info1: "End 80 mode: X @@ -69,6 +98,20 @@ color: blue} } graph: { title: "n41" label: "Block 41" status:clustered color:yellow + info1: "Block 41 + mode: BB + visited: 11 + irg: THREE_CFPRED_EXAMPLE_main + arity: 3 + pred nodes: + 0: Jmp 44 + 1: Jmp 56 + 2: Jmp 58 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n41" targetname: "n44" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n41" targetname: "n56" label: "1" class:13 priority:60 color:red} edge: {sourcename: "n41" targetname: "n58" label: "2" class:13 priority:60 color:red} @@ -108,6 +151,18 @@ edge: {sourcename: "n79" targetname: "n38" label: "2" class:16 priority:10} } graph: { title: "n42" label: "Block 42" status:clustered color:yellow + info1: "Block 42 + mode: BB + visited: 11 + irg: THREE_CFPRED_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 40 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n42" targetname: "n40" label: "0" class:13 priority:60 color:red} node: {title: "n44" label: "Jmp 44" info1: "Jmp 44 mode: X @@ -122,6 +177,18 @@ node: {title: "n44" label: "Jmp 44" info1: "Jmp 44 } graph: { title: "n55" label: "Block 55" status:clustered color:yellow + info1: "Block 55 + mode: BB + visited: 11 + irg: THREE_CFPRED_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 53 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n55" targetname: "n53" label: "0" class:13 priority:60 color:red} node: {title: "n56" label: "Jmp 56" info1: "Jmp 56 mode: X @@ -136,6 +203,18 @@ node: {title: "n56" label: "Jmp 56" info1: "Jmp 56 } graph: { title: "n57" label: "Block 57" status:clustered color:yellow + info1: "Block 57 + mode: BB + visited: 11 + irg: THREE_CFPRED_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 54 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n57" targetname: "n54" label: "0" class:13 priority:60 color:red} node: {title: "n58" label: "Jmp 58" info1: "Jmp 58 mode: X @@ -150,6 +229,18 @@ node: {title: "n58" label: "Jmp 58" info1: "Jmp 58 } graph: { title: "n45" label: "Block 45" status:clustered color:yellow + info1: "Block 45 + mode: BB + visited: 11 + irg: THREE_CFPRED_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 39 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n45" targetname: "n39" label: "0" class:13 priority:60 color:red} node: {title: "n53" label: "ProjX false 53" info1: "Proj 53 mode: X @@ -221,6 +312,18 @@ edge: {sourcename: "n51" targetname: "n46" label: "1" class:16 priority:10} } graph: { title: "n31" label: "Block 31" status:clustered color:yellow + info1: "Block 31 + mode: BB + visited: 11 + irg: THREE_CFPRED_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n31" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n40" label: "ProjX true 40" info1: "Proj 40 mode: X @@ -305,6 +408,18 @@ edge: {sourcename: "n33" targetname: "n29" label: "0" class:16 priority:10} } graph: { title: "n21" label: "Block 21" status:clustered color:yellow + info1: "Block 21 + mode: BB + visited: 11 + irg: THREE_CFPRED_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 25 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n21" targetname: "n25" label: "0" class:13 priority:60 color:red} node: {title: "n28" label: "ProjM 1 28" info1: "Proj 28 mode: M diff --git a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg index 377ffce69..a36c194c2 100644 --- a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg @@ -54,7 +54,36 @@ colorentry 124: 255 240 240 colorentry 125: 255 250 250 graph: { title: "g31" label: "WHILE_EXAMPLE_main" status:clustered color:white +info1: "entity main (18) + type: main_tp (15) + owner: WHILE_EXAMPLE (16) + Does not overwrite other entities. + Is not overwritten by other entities. + allocation: allocation_static + visibility: visibility_local + variability: variability_constant + calling convention: cdecl + atomic value: SymC &main + volatility: volatility_non_volatile + peculiarity: peculiarity_existent + ld_name: WHILE_EXAMPLE_main + offset: -1 bits, -1 bytes + irg = 31 + +" graph: { title: "n20" label: "Block 20" status:clustered color:yellow + info1: "Block 20 + mode: BB + visited: 18 + irg: WHILE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Return 68 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n20" targetname: "n68" label: "0" class:13 priority:60 color:red} node: {title: "n69" label: "End 69" info1: "End 69 mode: X @@ -69,6 +98,18 @@ color: blue} } graph: { title: "n54" label: "Block 54" status:clustered color:yellow + info1: "Block 54 + mode: BB + visited: 18 + irg: WHILE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 43 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n54" targetname: "n43" label: "0" class:13 priority:60 color:red} node: {title: "n68" label: "Return 68" info1: "Return 68 mode: X @@ -103,6 +144,19 @@ edge: {sourcename: "n59" targetname: "n53" label: "1" class:16 priority:10} } graph: { title: "n36" label: "Block 36" status:clustered color:yellow + info1: "Block 36 + mode: BB + visited: 18 + irg: WHILE_EXAMPLE_main + arity: 2 + pred nodes: + 0: Jmp 35 + 1: Jmp 46 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n36" targetname: "n35" label: "0" class:13 priority:60 color:red} edge: {sourcename: "n36" targetname: "n46" label: "1" class:13 priority:60 color:red} node: {title: "n43" label: "ProjX false 43" info1: "Proj 43 @@ -205,6 +259,18 @@ edge: {sourcename: "n52" targetname: "n53" label: "1" class:1 priority:50} } graph: { title: "n45" label: "Block 45" status:clustered color:yellow + info1: "Block 45 + mode: BB + visited: 18 + irg: WHILE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 44 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n45" targetname: "n44" label: "0" class:13 priority:60 color:red} node: {title: "n46" label: "Jmp 46" info1: "Jmp 46 mode: X @@ -219,6 +285,18 @@ node: {title: "n46" label: "Jmp 46" info1: "Jmp 46 } graph: { title: "n32" label: "Block 32" status:clustered color:yellow + info1: "Block 32 + mode: BB + visited: 18 + irg: WHILE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n35" label: "Jmp 35" info1: "Jmp 35 mode: X @@ -246,6 +324,18 @@ edge: {sourcename: "n33" targetname: "n30" label: "0" class:16 priority:10} } graph: { title: "n22" label: "Block 22" status:clustered color:yellow + info1: "Block 22 + mode: BB + visited: 18 + irg: WHILE_EXAMPLE_main + arity: 1 + pred nodes: + 0: Proj 26 + Private Attributes: + backedges: + block visited: 0 + Execution freqency statistics: +" edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red} node: {title: "n29" label: "ProjM 1 29" info1: "Proj 29 mode: M diff --git a/testprograms/ref-results/class_hierarchy.vcg b/testprograms/ref-results/class_hierarchy.vcg index 95545b7e6..e91d88ee8 100644 --- a/testprograms/ref-results/class_hierarchy.vcg +++ b/testprograms/ref-results/class_hierarchy.vcg @@ -75,6 +75,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -89,6 +90,7 @@ node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15) allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -115,6 +117,7 @@ node: {title: "e20" label: "ent PRIMA_set_a" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &set_a volatility: volatility_non_volatile peculiarity: peculiarity_existent @@ -134,6 +137,7 @@ node: {title: "e23" label: "ent PRIMA_c" color: yellow allocation: allocation_static visibility: visibility_local variability: variability_constant + calling convention: cdecl atomic value: SymC &c volatility: volatility_non_volatile peculiarity: peculiarity_existent -- 2.20.1