From 9e804b703e9941faf2723ebdd1b8232b7ba42c1c Mon Sep 17 00:00:00 2001 From: =?utf8?q?G=C3=B6tz=20Lindenmaier?= Date: Wed, 17 Dec 2003 09:21:57 +0000 Subject: [PATCH] added new features to dumper [r2232] --- .../ARRAY-STACK_EXAMPLE_main-wtypes.vcg | 30 ++-- testprograms/ref-results/All_graphs.vcg | 104 +++++++------- .../ref-results/COND_EXAMPLE_main.vcg | 52 +++---- .../ref-results/CONST_EVAL_EXAMPLE_main.vcg | 14 +- .../ref-results/DEAD_BLOCK_main-cfg.vcg | 2 +- testprograms/ref-results/DEAD_BLOCK_main.vcg | 14 +- .../ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg | 34 ++--- .../GlobalType_OO_PROGRAM_EXAMPLE_main-ip.vcg | 104 +++++++------- ...alType_OO_PROGRAM_EXAMPLE_main-pure-ip.vcg | 120 ++++++++-------- ...OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg | 132 +++++++++--------- ...lobalType_OO_PROGRAM_EXAMPLE_main-type.vcg | 12 +- ...Type_OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg | 116 +++++++-------- ...balType_OO_PROGRAM_EXAMPLE_main-wtypes.vcg | 56 ++++---- .../IF_WHILE_EXAMPLE_main-pure.vcg | 48 +++---- .../ref-results/IRREGULAR_CF_main-cfg.vcg | 2 +- .../ref-results/IRREGULAR_CF_main.vcg | 44 +++--- .../ref-results/IRR_LOOP_main-cfg.vcg | 2 +- testprograms/ref-results/IRR_LOOP_main.vcg | 54 +++---- .../ref-results/MEMORY_EXAMPLE_main.vcg | 70 +++++----- .../OO_INLINE_EXAMPLE_main-wtypes.vcg | 8 +- .../OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg | 12 +- .../OO_PROGRAM_EXAMPLE_main-pure.vcg | 4 +- .../ref-results/OO_PROGRAM_EXAMPLE_main.vcg | 4 +- .../ref-results/PRIMA_INLINE_c-wtypes.vcg | 40 +++--- testprograms/ref-results/PRIMA_INLINE_c.vcg | 32 ++--- .../ref-results/PRIMA_INLINE_set_a-wtypes.vcg | 32 ++--- .../ref-results/PRIMA_INLINE_set_a.vcg | 24 ++-- .../ref-results/PRIMA_c-pure-wtypes.vcg | 40 +++--- testprograms/ref-results/PRIMA_c-pure.vcg | 32 ++--- testprograms/ref-results/PRIMA_c-type.vcg | 8 +- testprograms/ref-results/PRIMA_c-wtypes.vcg | 36 ++--- testprograms/ref-results/PRIMA_c.vcg | 28 ++-- .../ref-results/PRIMA_set_a-pure-wtypes.vcg | 36 ++--- testprograms/ref-results/PRIMA_set_a-pure.vcg | 28 ++-- testprograms/ref-results/PRIMA_set_a-type.vcg | 8 +- .../ref-results/PRIMA_set_a-wtypes.vcg | 32 ++--- testprograms/ref-results/PRIMA_set_a.vcg | 24 ++-- .../ref-results/WHILE_EXAMPLE_main.vcg | 40 +++--- testprograms/ref-results/class_hierarchy.vcg | 8 +- 39 files changed, 753 insertions(+), 733 deletions(-) diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg index 579f83e1e..468402a92 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg @@ -17,38 +17,38 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g33" label: "main" status:clustered color:white +graph: { title: "g33" label: "ARRAY-STACK_EXAMPLE_main" status:clustered color:white graph: { title: "n47" label: "Block 47" status:clustered color:yellow edge: {sourcename: "n47" targetname: "n48" label: "0" color: red} node: {title: "n46" label: "End 46" color: blue info1: "visited: 10 -irg: main +irg: ARRAY-STACK_EXAMPLE_main "} } graph: { title: "n49" label: "Block 49" status:clustered color:yellow edge: {sourcename: "n49" targetname: "n50" label: "0" color: red} node: {title: "n48" label: "Return 48" info1: "visited: 10 -irg: main +irg: ARRAY-STACK_EXAMPLE_main return in method of type main res 0 type: int "} edge: {sourcename: "n48" targetname: "n60" label: "0" color: blue} edge: {sourcename: "n48" targetname: "n53" label: "1" } node: {title: "n60" label: "ProjM 0 60" color: yellow info1: "visited: 10 -irg: main +irg: ARRAY-STACK_EXAMPLE_main "} edge: {sourcename: "n60" targetname: "n54" label: "0" color: blue} node: {title: "n53" label: "ProjIs 2 53" color: yellow info1: "visited: 10 -irg: main +irg: ARRAY-STACK_EXAMPLE_main "} edge: {sourcename: "n53" targetname: "n54" label: "0" } node: {title: "n54" label: "Load 54" info1: "visited: 10 -irg: main +irg: ARRAY-STACK_EXAMPLE_main "} edge: {sourcename: "n54" targetname: "n59" label: "0" color: blue} edge: {sourcename: "n54" targetname: "n55" label: "1" } node: {title: "n55" label: "Sel a_tp_elem_ent 55" info1: "visited: 10 -irg: main +irg: ARRAY-STACK_EXAMPLE_main Selecting entity of type int from entity of type a_tp "} @@ -56,7 +56,7 @@ edge: {sourcename: "n55" targetname: "n59" label: "0" color: blue} edge: {sourcename: "n55" targetname: "n57" label: "1" } edge: {sourcename: "n55" targetname: "n56" label: "2" } node: {title: "n57" label: "Sel a 57" info1: "visited: 10 -irg: main +irg: ARRAY-STACK_EXAMPLE_main Selecting entity of type a_tp from entity of type mainframe_tp "} @@ -67,23 +67,23 @@ edge: {sourcename: "n57" targetname: "n58" label: "1" } graph: { title: "n51" label: "Block 51" status:clustered color:yellow edge: {sourcename: "n51" targetname: "n50" label: "0" color: red} node: {title: "n59" label: "ProjM 1 59" color: yellow info1: "visited: 10 -irg: main +irg: ARRAY-STACK_EXAMPLE_main "} edge: {sourcename: "n59" targetname: "n52" label: "0" color: blue} node: {title: "n58" label: "ProjP 2 58" color: yellow info1: "visited: 10 -irg: main +irg: ARRAY-STACK_EXAMPLE_main "} edge: {sourcename: "n58" targetname: "n52" label: "0" } node: {title: "n56" label: "0x3Iu 56" color: yellow info1: "visited: 10 -irg: main +irg: ARRAY-STACK_EXAMPLE_main Const of type type_unknown "} node: {title: "n50" label: "ProjX 0 50" color: yellow info1: "visited: 10 -irg: main +irg: ARRAY-STACK_EXAMPLE_main "} edge: {sourcename: "n50" targetname: "n52" label: "0" color: red} node: {title: "n52" label: "Start 52" color: blue info1: "visited: 10 -irg: main +irg: ARRAY-STACK_EXAMPLE_main start of method of type main "} } @@ -138,7 +138,7 @@ size: -1B, peculiarity: peculiarity_existent " color: green} edge: { sourcename: "t21" targetname: "e35"class: 12 label: "member" color:blue} -node: {title: "e16" label: "ent main" color: yellow +node: {title: "e16" label: "ent ARRAY-STACK_EXAMPLE_main" color: yellow info1: " id: e16 allocation: allocation_static @@ -146,7 +146,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: main +name: ARRAY-STACK_EXAMPLE_main ld_name: ARRAY-STACK_EXAMPLE_main offset: -1 irg = g33" diff --git a/testprograms/ref-results/All_graphs.vcg b/testprograms/ref-results/All_graphs.vcg index ef2afcfd8..343e4ff9c 100644 --- a/testprograms/ref-results/All_graphs.vcg +++ b/testprograms/ref-results/All_graphs.vcg @@ -17,29 +17,29 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g37" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white +graph: { title: "g37" label: "GlobalType_OO_PROGRAM_EXAMPLE_main" status:clustered color:white graph: { title: "n108" label: "Block 108" status:clustered color:yellow edge: {sourcename: "n108" targetname: "n109" label: "0" color: red} node: {title: "n107" label: "End 107" color: blue info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} } graph: { title: "n110" label: "Block 110" status:clustered color:yellow edge: {sourcename: "n110" targetname: "n198" label: "0" color: red} node: {title: "n109" label: "Return 109" info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n109" targetname: "n200" label: "0" color: blue} edge: {sourcename: "n109" targetname: "n201" label: "1" } node: {title: "n200" label: "FilterM 0 200" color: yellow info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: CallT 116 "} edge: {sourcename: "n200" targetname: "n167" label: "0" color: blue} node: {title: "n201" label: "FilterIs 0 201" color: yellow info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: ProjT 115 "} @@ -49,20 +49,22 @@ edge: {sourcename: "n201" targetname: "n159" label: "0" } graph: { title: "n195" label: "Block 195" status:clustered color:yellow edge: {sourcename: "n195" targetname: "n192" label: "0" color: red} node: {title: "n194" label: "FilterM 0 194" color: yellow info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: CallT 124 "} edge: {sourcename: "n194" targetname: "n141" label: "0" color: blue} node: {title: "n199" label: "ProjX 0 199" color: yellow info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n199" targetname: "n197" label: "0" color: red} node: {title: "n197" label: "CallBegin 197" info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main +possible callees: + 0: PRIMA_c "} node: {title: "n197n172" label: "&(PRIMA_c)P 172" color: yellow info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n197" targetname: "n197n172" label: "0" } @@ -71,31 +73,33 @@ edge: {sourcename: "n197" targetname: "n197n172" label: "0" } graph: { title: "n189" label: "Block 189" status:clustered color:yellow edge: {sourcename: "n189" targetname: "n111" label: "0" color: red} node: {title: "n127" label: "ProjM 0 127" color: yellow info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n127" targetname: "n119" label: "0" color: blue} node: {title: "n118" label: "ProjP 2 118" color: yellow info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n118" targetname: "n119" label: "0" } node: {title: "n119" label: "Alloc 119" info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main allocating entity of type PRIMA "} node: {title: "n119n120" label: "SymC PRIMA size 120" info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n119" targetname: "n121" label: "0" color: blue} edge: {sourcename: "n119" targetname: "n119n120" label: "1" } node: {title: "n193" label: "ProjX 0 193" color: yellow info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n193" targetname: "n191" label: "0" color: red} node: {title: "n191" label: "CallBegin 191" info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main +possible callees: + 0: PRIMA_set_a "} node: {title: "n191n173" label: "&(PRIMA_set_a)P 173" color: yellow info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n191" targetname: "n191n173" label: "0" } @@ -104,87 +108,87 @@ edge: {sourcename: "n191" targetname: "n191n173" label: "0" } graph: { title: "n112" label: "Block 112" status:clustered color:yellow edge: {sourcename: "n112" targetname: "n111" label: "0" color: red} node: {title: "n121" label: "ProjM 1 121" color: yellow info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n121" targetname: "n113" label: "0" color: blue} node: {title: "n111" label: "ProjX 0 111" color: yellow info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n111" targetname: "n113" label: "0" color: red} -node: {title: "n113" label: "Start OO_PROGRAM_EXAMPLE_main 113" color: blue info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +node: {title: "n113" label: "Start GlobalType_OO_PROGRAM_EXAMPLE_main 113" color: blue info1: "visited: 48 +irg: GlobalType_OO_PROGRAM_EXAMPLE_main start of method of type OO_PROGRAM_EXAMPLE_main "} } } -graph: { title: "g71" label: "set_a" status:clustered color:white +graph: { title: "g71" label: "PRIMA_set_a" status:clustered color:white graph: { title: "n186" label: "Block 186" status:clustered color:yellow edge: {sourcename: "n186" targetname: "n185" label: "0" color: red} node: {title: "n192" label: "ProjX 0 192" color: yellow info1: "visited: 48 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n192" targetname: "n187" label: "0" color: red} node: {title: "n187" label: "EndReg 187" color: blue info1: "visited: 48 -irg: set_a +irg: PRIMA_set_a "} } graph: { title: "n137" label: "Block 137" status:clustered color:yellow edge: {sourcename: "n137" targetname: "n138" label: "0" color: red} node: {title: "n141" label: "ProjM 0 141" color: yellow info1: "visited: 48 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n141" targetname: "n142" label: "0" color: blue} node: {title: "n142" label: "Store 142" info1: "visited: 48 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n142" targetname: "n182" label: "0" color: blue} edge: {sourcename: "n142" targetname: "n145" label: "1" } edge: {sourcename: "n142" targetname: "n184" label: "2" } node: {title: "n145" label: "Sel a 145" info1: "visited: 48 -irg: set_a +irg: PRIMA_set_a Selecting entity of type int from entity of type PRIMA "} edge: {sourcename: "n145" targetname: "n182" label: "0" color: blue} edge: {sourcename: "n145" targetname: "n183" label: "1" } node: {title: "n185" label: "Jmp 185" info1: "visited: 48 -irg: set_a +irg: PRIMA_set_a "} } graph: { title: "n139" label: "Block 139" status:clustered color:yellow edge: {sourcename: "n139" targetname: "n193" label: "0" color: red} node: {title: "n182" label: "FilterM 1 182" color: yellow info1: "visited: 48 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: StartT 140 "} edge: {sourcename: "n182" targetname: "n127" label: "0" color: blue} node: {title: "n183" label: "FilterP 0 183" color: yellow info1: "visited: 48 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: ProjT 144 "} edge: {sourcename: "n183" targetname: "n118" label: "0" } node: {title: "n184" label: "FilterIs 1 184" color: yellow info1: "visited: 48 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: ProjT 144 "} node: {title: "n184n125" label: "0x2Is 125" color: yellow info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n184" targetname: "n184n125" label: "0" } node: {title: "n138" label: "ProjX 0 138" color: yellow info1: "visited: 48 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n138" targetname: "n140" label: "0" color: red} -node: {title: "n140" label: "Start set_a 140" color: blue info1: "visited: 48 -irg: set_a +node: {title: "n140" label: "Start PRIMA_set_a 140" color: blue info1: "visited: 48 +irg: PRIMA_set_a start of method of type set_a param 0 type: class_prima_ptr param 1 type: int @@ -193,80 +197,80 @@ start of method of type set_a } -graph: { title: "g94" label: "c" status:clustered color:white +graph: { title: "g94" label: "PRIMA_c" status:clustered color:white graph: { title: "n178" label: "Block 178" status:clustered color:yellow edge: {sourcename: "n178" targetname: "n177" label: "0" color: red} node: {title: "n198" label: "ProjX 0 198" color: yellow info1: "visited: 48 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n198" targetname: "n179" label: "0" color: red} node: {title: "n179" label: "EndReg 179" color: blue info1: "visited: 48 -irg: c +irg: PRIMA_c "} } graph: { title: "n155" label: "Block 155" status:clustered color:yellow edge: {sourcename: "n155" targetname: "n156" label: "0" color: red} node: {title: "n167" label: "ProjM 0 167" color: yellow info1: "visited: 48 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n167" targetname: "n161" label: "0" color: blue} node: {title: "n159" label: "AddIs 159" info1: "visited: 48 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n159" targetname: "n160" label: "0" } edge: {sourcename: "n159" targetname: "n174" label: "1" } node: {title: "n160" label: "ProjIs 2 160" color: yellow info1: "visited: 48 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n160" targetname: "n161" label: "0" } node: {title: "n161" label: "Load 161" info1: "visited: 48 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n161" targetname: "n175" label: "0" color: blue} edge: {sourcename: "n161" targetname: "n162" label: "1" } node: {title: "n162" label: "Sel a 162" info1: "visited: 48 -irg: c +irg: PRIMA_c Selecting entity of type int from entity of type PRIMA "} edge: {sourcename: "n162" targetname: "n175" label: "0" color: blue} edge: {sourcename: "n162" targetname: "n176" label: "1" } node: {title: "n177" label: "Jmp 177" info1: "visited: 48 -irg: c +irg: PRIMA_c "} } graph: { title: "n157" label: "Block 157" status:clustered color:yellow edge: {sourcename: "n157" targetname: "n199" label: "0" color: red} node: {title: "n175" label: "FilterM 1 175" color: yellow info1: "visited: 48 -irg: c +irg: PRIMA_c intra predecessor nodes: StartT 158 "} edge: {sourcename: "n175" targetname: "n194" label: "0" color: blue} node: {title: "n176" label: "FilterP 0 176" color: yellow info1: "visited: 48 -irg: c +irg: PRIMA_c intra predecessor nodes: ProjT 164 "} edge: {sourcename: "n176" targetname: "n118" label: "0" } node: {title: "n174" label: "FilterIs 1 174" color: yellow info1: "visited: 48 -irg: c +irg: PRIMA_c intra predecessor nodes: ProjT 164 "} node: {title: "n174n117" label: "0x5Is 117" color: yellow info1: "visited: 48 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n174" targetname: "n174n117" label: "0" } node: {title: "n156" label: "ProjX 0 156" color: yellow info1: "visited: 48 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n156" targetname: "n158" label: "0" color: red} -node: {title: "n158" label: "Start c 158" color: blue info1: "visited: 48 -irg: c +node: {title: "n158" label: "Start PRIMA_c 158" color: blue info1: "visited: 48 +irg: PRIMA_c start of method of type c param 0 type: class_prima_ptr param 1 type: int diff --git a/testprograms/ref-results/COND_EXAMPLE_main.vcg b/testprograms/ref-results/COND_EXAMPLE_main.vcg index 4887833f6..62096cc97 100644 --- a/testprograms/ref-results/COND_EXAMPLE_main.vcg +++ b/testprograms/ref-results/COND_EXAMPLE_main.vcg @@ -17,11 +17,11 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g29" label: "main" status:clustered color:white +graph: { title: "g29" label: "COND_EXAMPLE_main" status:clustered color:white graph: { title: "n61" label: "Block 61" status:clustered color:yellow edge: {sourcename: "n61" targetname: "n62" label: "0" color: red} node: {title: "n60" label: "End 60" color: blue info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} } @@ -29,14 +29,14 @@ graph: { title: "n63" label: "Block 63" status:clustered color:yellow edge: {sourcename: "n63" targetname: "n84" label: "0" color: red} edge: {sourcename: "n63" targetname: "n64" label: "1" color: red} node: {title: "n62" label: "Return 62" info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main return in method of type main res 0 type: int "} edge: {sourcename: "n62" targetname: "n89" label: "0" color: blue} edge: {sourcename: "n62" targetname: "n87" label: "1" } node: {title: "n87" label: "PhiIs 87" color: green info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n87" targetname: "n88" label: "0" } edge: {sourcename: "n87" targetname: "n78" label: "1" } @@ -45,66 +45,66 @@ edge: {sourcename: "n87" targetname: "n78" label: "1" } graph: { title: "n85" label: "Block 85" status:clustered color:yellow edge: {sourcename: "n85" targetname: "n86" label: "0" color: red} node: {title: "n84" label: "Jmp 84" info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} } graph: { title: "n65" label: "Block 65" status:clustered color:yellow edge: {sourcename: "n65" targetname: "n66" label: "0" color: red} node: {title: "n86" label: "ProjX 1 86" color: yellow info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n86" targetname: "n69" label: "0" color: red} node: {title: "n64" label: "ProjX 0 64" color: yellow info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n64" targetname: "n69" label: "0" color: red} node: {title: "n69" label: "Cond 69" info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n69" targetname: "n70" label: "0" } node: {title: "n70" label: "Projb Ne 70" color: yellow info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n70" targetname: "n71" label: "0" } node: {title: "n71" label: "CmpT 71" info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n71" targetname: "n73" label: "0" } edge: {sourcename: "n71" targetname: "n72" label: "1" } node: {title: "n73" label: "AndIs 73" info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n73" targetname: "n80" label: "0" } edge: {sourcename: "n73" targetname: "n74" label: "1" } node: {title: "n80" label: "ConvIs 80" info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n80" targetname: "n81" label: "0" } node: {title: "n81" label: "Projb Gt 81" color: yellow info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n81" targetname: "n82" label: "0" } node: {title: "n82" label: "CmpT 82" info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n82" targetname: "n78" label: "0" } edge: {sourcename: "n82" targetname: "n83" label: "1" } node: {title: "n74" label: "ConvIs 74" info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n74" targetname: "n75" label: "0" } node: {title: "n75" label: "Projb Lt 75" color: yellow info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n75" targetname: "n76" label: "0" } node: {title: "n76" label: "CmpT 76" info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n76" targetname: "n78" label: "0" } edge: {sourcename: "n76" targetname: "n77" label: "1" } node: {title: "n78" label: "ProjIs 0 78" color: yellow info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n78" targetname: "n79" label: "0" } } @@ -112,35 +112,35 @@ edge: {sourcename: "n78" targetname: "n79" label: "0" } graph: { title: "n67" label: "Block 67" status:clustered color:yellow edge: {sourcename: "n67" targetname: "n66" label: "0" color: red} node: {title: "n89" label: "ProjM 1 89" color: yellow info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n89" targetname: "n68" label: "0" color: blue} node: {title: "n88" label: "0x1Is 88" color: yellow info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main Const of type type_unknown "} node: {title: "n83" label: "0x2Is 83" color: yellow info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main Const of type type_unknown "} node: {title: "n79" label: "ProjT 4 79" color: yellow info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n79" targetname: "n68" label: "0" } node: {title: "n77" label: "0xAIs 77" color: yellow info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main Const of type type_unknown "} node: {title: "n72" label: "0x0Is 72" color: yellow info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main Const of type type_unknown "} node: {title: "n66" label: "ProjX 0 66" color: yellow info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main "} edge: {sourcename: "n66" targetname: "n68" label: "0" color: red} node: {title: "n68" label: "Start 68" color: blue info1: "visited: 9 -irg: main +irg: COND_EXAMPLE_main start of method of type main param 0 type: int "} diff --git a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg index 4a0c58312..65b77319d 100644 --- a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg +++ b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg @@ -17,18 +17,18 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g29" label: "main" status:clustered color:white +graph: { title: "g29" label: "CONST_EVAL_EXAMPLE_main" status:clustered color:white graph: { title: "n46" label: "Block 46" status:clustered color:yellow edge: {sourcename: "n46" targetname: "n47" label: "0" color: red} node: {title: "n45" label: "End 45" color: blue info1: "visited: 4 -irg: main +irg: CONST_EVAL_EXAMPLE_main "} } graph: { title: "n48" label: "Block 48" status:clustered color:yellow edge: {sourcename: "n48" targetname: "n49" label: "0" color: red} node: {title: "n47" label: "Return 47" info1: "visited: 4 -irg: main +irg: CONST_EVAL_EXAMPLE_main return in method of type main res 0 type: int res 1 type: int @@ -41,19 +41,19 @@ edge: {sourcename: "n47" targetname: "n52" label: "2" } graph: { title: "n50" label: "Block 50" status:clustered color:yellow edge: {sourcename: "n50" targetname: "n49" label: "0" color: red} node: {title: "n53" label: "ProjM 1 53" color: yellow info1: "visited: 4 -irg: main +irg: CONST_EVAL_EXAMPLE_main "} edge: {sourcename: "n53" targetname: "n51" label: "0" color: blue} node: {title: "n52" label: "0xCIs 52" color: yellow info1: "visited: 4 -irg: main +irg: CONST_EVAL_EXAMPLE_main Const of type type_unknown "} node: {title: "n49" label: "ProjX 0 49" color: yellow info1: "visited: 4 -irg: main +irg: CONST_EVAL_EXAMPLE_main "} edge: {sourcename: "n49" targetname: "n51" label: "0" color: red} node: {title: "n51" label: "Start 51" color: blue info1: "visited: 4 -irg: main +irg: CONST_EVAL_EXAMPLE_main start of method of type main "} } diff --git a/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg b/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg index a0645690c..db679b4b6 100644 --- a/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg +++ b/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg @@ -24,6 +24,6 @@ edge: { sourcename: "n67" targetname: "n63"} node: {title: "n63" label: "Block n63" } edge: { sourcename: "n63" targetname: "n63"} node: {title: "n62" label: "Bad 62" info1: "visited: 0 -irg: main +irg: DEAD_BLOCK_main "} } diff --git a/testprograms/ref-results/DEAD_BLOCK_main.vcg b/testprograms/ref-results/DEAD_BLOCK_main.vcg index 73fafbfe5..16580e595 100644 --- a/testprograms/ref-results/DEAD_BLOCK_main.vcg +++ b/testprograms/ref-results/DEAD_BLOCK_main.vcg @@ -17,18 +17,18 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g29" label: "main" status:clustered color:white +graph: { title: "g29" label: "DEAD_BLOCK_main" status:clustered color:white graph: { title: "n59" label: "Block 59" status:clustered color:yellow edge: {sourcename: "n59" targetname: "n60" label: "0" color: red} node: {title: "n58" label: "End 58" color: blue info1: "visited: 9 -irg: main +irg: DEAD_BLOCK_main "} } graph: { title: "n67" label: "Block 67" status:clustered color:yellow edge: {sourcename: "n67" targetname: "n64" label: "0" color: red} node: {title: "n60" label: "Return 60" info1: "visited: 9 -irg: main +irg: DEAD_BLOCK_main return in method of type main res 0 type: int "} @@ -39,19 +39,19 @@ edge: {sourcename: "n60" targetname: "n68" label: "1" } graph: { title: "n63" label: "Block 63" status:clustered color:yellow edge: {sourcename: "n63" targetname: "n64" label: "0" color: red} node: {title: "n69" label: "ProjM 1 69" color: yellow info1: "visited: 9 -irg: main +irg: DEAD_BLOCK_main "} edge: {sourcename: "n69" targetname: "n65" label: "0" color: blue} node: {title: "n68" label: "0x2Is 68" color: yellow info1: "visited: 9 -irg: main +irg: DEAD_BLOCK_main Const of type type_unknown "} node: {title: "n64" label: "ProjX 0 64" color: yellow info1: "visited: 9 -irg: main +irg: DEAD_BLOCK_main "} edge: {sourcename: "n64" targetname: "n65" label: "0" color: red} node: {title: "n65" label: "Start 65" color: blue info1: "visited: 9 -irg: main +irg: DEAD_BLOCK_main start of method of type main "} } diff --git a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg index 3536c1a44..943f9d61a 100644 --- a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg +++ b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg @@ -17,82 +17,82 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g29" label: "main" status:clustered color:white +graph: { title: "g29" label: "ENDLESS_LOOP_EXAMPLE_main" status:clustered color:white graph: { title: "n80" label: "Block 80" status:clustered color:yellow edge: {sourcename: "n80" targetname: "n84" label: "0" color: red} edge: {sourcename: "n80" targetname: "n81" label: "1" color: red} node: {title: "n86" label: "PhiM 86" color: green info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main "} edge: {sourcename: "n86" targetname: "n96" label: "0" color: blue} edge: {sourcename: "n86" targetname: "n87" label: "1" color: blue} node: {title: "n87" label: "ProjM 0 87" color: yellow info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main "} edge: {sourcename: "n87" targetname: "n88" label: "0" color: blue} node: {title: "n88" label: "Store 88" info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main "} edge: {sourcename: "n88" targetname: "n86" label: "0" color: blue} edge: {sourcename: "n88" targetname: "n94" label: "1" } edge: {sourcename: "n88" targetname: "n89" label: "2" } node: {title: "n94" label: "Sel VAR_A 94" info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main Selecting entity of type int from entity of type GlobalType "} edge: {sourcename: "n94" targetname: "n86" label: "0" color: blue} edge: {sourcename: "n94" targetname: "n95" label: "1" } node: {title: "n89" label: "PhiIs 89" color: green info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main "} edge: {sourcename: "n89" targetname: "n92" label: "0" } edge: {sourcename: "n89" targetname: "n90" label: "1" } node: {title: "n90" label: "PhiIs 90" color: green info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main "} edge: {sourcename: "n90" targetname: "n91" label: "0" } edge: {sourcename: "n90" targetname: "n89" label: "1" } node: {title: "n81" label: "Jmp 81" info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main "} } graph: { title: "n85" label: "Block 85" status:clustered color:yellow edge: {sourcename: "n85" targetname: "n78" label: "0" color: red} node: {title: "n92" label: "ProjIs 0 92" color: yellow info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main "} edge: {sourcename: "n92" targetname: "n93" label: "0" } node: {title: "n84" label: "Jmp 84" info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main "} } graph: { title: "n77" label: "Block 77" status:clustered color:yellow edge: {sourcename: "n77" targetname: "n78" label: "0" color: red} node: {title: "n96" label: "ProjM 1 96" color: yellow info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main "} edge: {sourcename: "n96" targetname: "n79" label: "0" color: blue} node: {title: "n95" label: "ProjP 3 95" color: yellow info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main "} edge: {sourcename: "n95" targetname: "n79" label: "0" } node: {title: "n93" label: "ProjT 4 93" color: yellow info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main "} edge: {sourcename: "n93" targetname: "n79" label: "0" } node: {title: "n91" label: "0x1Is 91" color: yellow info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main Const of type type_unknown "} node: {title: "n78" label: "ProjX 0 78" color: yellow info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main "} edge: {sourcename: "n78" targetname: "n79" label: "0" color: red} node: {title: "n79" label: "Start 79" color: blue info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main start of method of type main_tp param 0 type: int "} @@ -100,7 +100,7 @@ start of method of type main_tp graph: { title: "n75" label: "Block 75" status:clustered color:yellow node: {title: "n74" label: "End 74" color: blue info1: "visited: 19 -irg: main +irg: ENDLESS_LOOP_EXAMPLE_main "} edge: {sourcename: "n74" targetname: "n80" label: "0" color: red} edge: {sourcename: "n74" targetname: "n86" label: "1" } diff --git a/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-ip.vcg b/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-ip.vcg index 332a27fa5..0a7b093c9 100644 --- a/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-ip.vcg +++ b/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-ip.vcg @@ -17,29 +17,29 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g37" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white +graph: { title: "g37" label: "GlobalType_OO_PROGRAM_EXAMPLE_main" status:clustered color:white graph: { title: "n108" label: "Block 108" status:clustered color:yellow edge: {sourcename: "n108" targetname: "n109" label: "0" color: red} node: {title: "n107" label: "End 107" color: blue info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} } graph: { title: "n110" label: "Block 110" status:clustered color:yellow edge: {sourcename: "n110" targetname: "n198" label: "0" color: red} node: {title: "n109" label: "Return 109" info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n109" targetname: "n200" label: "0" color: blue} edge: {sourcename: "n109" targetname: "n201" label: "1" } node: {title: "n200" label: "FilterM 0 200" color: yellow info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: CallT 116 "} edge: {sourcename: "n200" targetname: "n167" label: "0" color: blue} node: {title: "n201" label: "FilterIs 0 201" color: yellow info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: ProjT 115 "} @@ -49,20 +49,22 @@ edge: {sourcename: "n201" targetname: "n159" label: "0" } graph: { title: "n195" label: "Block 195" status:clustered color:yellow edge: {sourcename: "n195" targetname: "n192" label: "0" color: red} node: {title: "n194" label: "FilterM 0 194" color: yellow info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: CallT 124 "} edge: {sourcename: "n194" targetname: "n141" label: "0" color: blue} node: {title: "n199" label: "ProjX 0 199" color: yellow info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n199" targetname: "n197" label: "0" color: red} node: {title: "n197" label: "CallBegin 197" info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main +possible callees: + 0: PRIMA_c "} node: {title: "n197n172" label: "&(PRIMA_c)P 172" color: yellow info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n197" targetname: "n197n172" label: "0" } @@ -71,31 +73,33 @@ edge: {sourcename: "n197" targetname: "n197n172" label: "0" } graph: { title: "n189" label: "Block 189" status:clustered color:yellow edge: {sourcename: "n189" targetname: "n111" label: "0" color: red} node: {title: "n127" label: "ProjM 0 127" color: yellow info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n127" targetname: "n119" label: "0" color: blue} node: {title: "n118" label: "ProjP 2 118" color: yellow info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n118" targetname: "n119" label: "0" } node: {title: "n119" label: "Alloc 119" info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main allocating entity of type PRIMA "} node: {title: "n119n120" label: "SymC PRIMA size 120" info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n119" targetname: "n121" label: "0" color: blue} edge: {sourcename: "n119" targetname: "n119n120" label: "1" } node: {title: "n193" label: "ProjX 0 193" color: yellow info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n193" targetname: "n191" label: "0" color: red} node: {title: "n191" label: "CallBegin 191" info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main +possible callees: + 0: PRIMA_set_a "} node: {title: "n191n173" label: "&(PRIMA_set_a)P 173" color: yellow info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n191" targetname: "n191n173" label: "0" } @@ -104,87 +108,87 @@ edge: {sourcename: "n191" targetname: "n191n173" label: "0" } graph: { title: "n112" label: "Block 112" status:clustered color:yellow edge: {sourcename: "n112" targetname: "n111" label: "0" color: red} node: {title: "n121" label: "ProjM 1 121" color: yellow info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n121" targetname: "n113" label: "0" color: blue} node: {title: "n111" label: "ProjX 0 111" color: yellow info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n111" targetname: "n113" label: "0" color: red} -node: {title: "n113" label: "Start OO_PROGRAM_EXAMPLE_main 113" color: blue info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +node: {title: "n113" label: "Start GlobalType_OO_PROGRAM_EXAMPLE_main 113" color: blue info1: "visited: 31 +irg: GlobalType_OO_PROGRAM_EXAMPLE_main start of method of type OO_PROGRAM_EXAMPLE_main "} } } -graph: { title: "g71" label: "set_a" status:clustered color:white +graph: { title: "g71" label: "PRIMA_set_a" status:clustered color:white graph: { title: "n186" label: "Block 186" status:clustered color:yellow edge: {sourcename: "n186" targetname: "n185" label: "0" color: red} node: {title: "n192" label: "ProjX 0 192" color: yellow info1: "visited: 31 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n192" targetname: "n187" label: "0" color: red} node: {title: "n187" label: "EndReg 187" color: blue info1: "visited: 31 -irg: set_a +irg: PRIMA_set_a "} } graph: { title: "n137" label: "Block 137" status:clustered color:yellow edge: {sourcename: "n137" targetname: "n138" label: "0" color: red} node: {title: "n141" label: "ProjM 0 141" color: yellow info1: "visited: 31 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n141" targetname: "n142" label: "0" color: blue} node: {title: "n142" label: "Store 142" info1: "visited: 31 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n142" targetname: "n182" label: "0" color: blue} edge: {sourcename: "n142" targetname: "n145" label: "1" } edge: {sourcename: "n142" targetname: "n184" label: "2" } node: {title: "n145" label: "Sel a 145" info1: "visited: 31 -irg: set_a +irg: PRIMA_set_a Selecting entity of type int from entity of type PRIMA "} edge: {sourcename: "n145" targetname: "n182" label: "0" color: blue} edge: {sourcename: "n145" targetname: "n183" label: "1" } node: {title: "n185" label: "Jmp 185" info1: "visited: 31 -irg: set_a +irg: PRIMA_set_a "} } graph: { title: "n139" label: "Block 139" status:clustered color:yellow edge: {sourcename: "n139" targetname: "n193" label: "0" color: red} node: {title: "n182" label: "FilterM 1 182" color: yellow info1: "visited: 31 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: StartT 140 "} edge: {sourcename: "n182" targetname: "n127" label: "0" color: blue} node: {title: "n183" label: "FilterP 0 183" color: yellow info1: "visited: 31 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: ProjT 144 "} edge: {sourcename: "n183" targetname: "n118" label: "0" } node: {title: "n184" label: "FilterIs 1 184" color: yellow info1: "visited: 31 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: ProjT 144 "} node: {title: "n184n125" label: "0x2Is 125" color: yellow info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n184" targetname: "n184n125" label: "0" } node: {title: "n138" label: "ProjX 0 138" color: yellow info1: "visited: 31 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n138" targetname: "n140" label: "0" color: red} -node: {title: "n140" label: "Start set_a 140" color: blue info1: "visited: 31 -irg: set_a +node: {title: "n140" label: "Start PRIMA_set_a 140" color: blue info1: "visited: 31 +irg: PRIMA_set_a start of method of type set_a param 0 type: class_prima_ptr param 1 type: int @@ -193,80 +197,80 @@ start of method of type set_a } -graph: { title: "g94" label: "c" status:clustered color:white +graph: { title: "g94" label: "PRIMA_c" status:clustered color:white graph: { title: "n178" label: "Block 178" status:clustered color:yellow edge: {sourcename: "n178" targetname: "n177" label: "0" color: red} node: {title: "n198" label: "ProjX 0 198" color: yellow info1: "visited: 31 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n198" targetname: "n179" label: "0" color: red} node: {title: "n179" label: "EndReg 179" color: blue info1: "visited: 31 -irg: c +irg: PRIMA_c "} } graph: { title: "n155" label: "Block 155" status:clustered color:yellow edge: {sourcename: "n155" targetname: "n156" label: "0" color: red} node: {title: "n167" label: "ProjM 0 167" color: yellow info1: "visited: 31 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n167" targetname: "n161" label: "0" color: blue} node: {title: "n159" label: "AddIs 159" info1: "visited: 31 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n159" targetname: "n160" label: "0" } edge: {sourcename: "n159" targetname: "n174" label: "1" } node: {title: "n160" label: "ProjIs 2 160" color: yellow info1: "visited: 31 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n160" targetname: "n161" label: "0" } node: {title: "n161" label: "Load 161" info1: "visited: 31 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n161" targetname: "n175" label: "0" color: blue} edge: {sourcename: "n161" targetname: "n162" label: "1" } node: {title: "n162" label: "Sel a 162" info1: "visited: 31 -irg: c +irg: PRIMA_c Selecting entity of type int from entity of type PRIMA "} edge: {sourcename: "n162" targetname: "n175" label: "0" color: blue} edge: {sourcename: "n162" targetname: "n176" label: "1" } node: {title: "n177" label: "Jmp 177" info1: "visited: 31 -irg: c +irg: PRIMA_c "} } graph: { title: "n157" label: "Block 157" status:clustered color:yellow edge: {sourcename: "n157" targetname: "n199" label: "0" color: red} node: {title: "n175" label: "FilterM 1 175" color: yellow info1: "visited: 31 -irg: c +irg: PRIMA_c intra predecessor nodes: StartT 158 "} edge: {sourcename: "n175" targetname: "n194" label: "0" color: blue} node: {title: "n176" label: "FilterP 0 176" color: yellow info1: "visited: 31 -irg: c +irg: PRIMA_c intra predecessor nodes: ProjT 164 "} edge: {sourcename: "n176" targetname: "n118" label: "0" } node: {title: "n174" label: "FilterIs 1 174" color: yellow info1: "visited: 31 -irg: c +irg: PRIMA_c intra predecessor nodes: ProjT 164 "} node: {title: "n174n117" label: "0x5Is 117" color: yellow info1: "visited: 31 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n174" targetname: "n174n117" label: "0" } node: {title: "n156" label: "ProjX 0 156" color: yellow info1: "visited: 31 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n156" targetname: "n158" label: "0" color: red} -node: {title: "n158" label: "Start c 158" color: blue info1: "visited: 31 -irg: c +node: {title: "n158" label: "Start PRIMA_c 158" color: blue info1: "visited: 31 +irg: PRIMA_c start of method of type c param 0 type: class_prima_ptr param 1 type: int diff --git a/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-pure-ip.vcg b/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-pure-ip.vcg index 831f62402..ade797885 100644 --- a/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-pure-ip.vcg +++ b/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-pure-ip.vcg @@ -18,203 +18,207 @@ classname 11: "Overwrites" classname 12: "Member" node: {title: "n112" label: "Block 112" color: lightyellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n112" targetname: "n111" label: "0" color: red} -node: {title: "n113" label: "Start OO_PROGRAM_EXAMPLE_main 113" color: blue info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +node: {title: "n113" label: "Start GlobalType_OO_PROGRAM_EXAMPLE_main 113" color: blue info1: "visited: 29 +irg: GlobalType_OO_PROGRAM_EXAMPLE_main start of method of type OO_PROGRAM_EXAMPLE_main "} edge: { sourcename: "n113" targetname: "n112" class: 2 priority: 2 linestyle: dotted} node: {title: "n111" label: "ProjX 0 111" color: yellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n111" targetname: "n113" label: "0" color: red} edge: { sourcename: "n111" targetname: "n112" class: 2 priority: 2 linestyle: dotted} node: {title: "n189" label: "Block 189" color: lightyellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n189" targetname: "n111" label: "0" color: red} node: {title: "n191" label: "CallBegin 191" info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main +possible callees: + 0: PRIMA_set_a "} node: {title: "n191n173" label: "&(PRIMA_set_a)P 173" color: yellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n191" targetname: "n191n173" label: "0" } edge: { sourcename: "n191" targetname: "n189" class: 2 priority: 2 linestyle: dotted} node: {title: "n193" label: "ProjX 0 193" color: yellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n193" targetname: "n191" label: "0" color: red} edge: { sourcename: "n193" targetname: "n189" class: 2 priority: 2 linestyle: dotted} node: {title: "n139" label: "Block 139" color: lightyellow info1: "visited: 29 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n139" targetname: "n193" label: "0" color: red} -node: {title: "n140" label: "Start set_a 140" color: blue info1: "visited: 29 -irg: set_a +node: {title: "n140" label: "Start PRIMA_set_a 140" color: blue info1: "visited: 29 +irg: PRIMA_set_a start of method of type set_a param 0 type: class_prima_ptr param 1 type: int "} edge: { sourcename: "n140" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n138" label: "ProjX 0 138" color: yellow info1: "visited: 29 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n138" targetname: "n140" label: "0" color: red} edge: { sourcename: "n138" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n137" label: "Block 137" color: lightyellow info1: "visited: 29 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n137" targetname: "n138" label: "0" color: red} node: {title: "n185" label: "Jmp 185" info1: "visited: 29 -irg: set_a +irg: PRIMA_set_a "} edge: { sourcename: "n185" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n186" label: "Block 186" color: lightyellow info1: "visited: 29 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n186" targetname: "n185" label: "0" color: red} node: {title: "n187" label: "EndReg 187" color: blue info1: "visited: 29 -irg: set_a +irg: PRIMA_set_a "} edge: { sourcename: "n187" targetname: "n186" class: 2 priority: 2 linestyle: dotted} node: {title: "n192" label: "ProjX 0 192" color: yellow info1: "visited: 29 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n192" targetname: "n187" label: "0" color: red} edge: { sourcename: "n192" targetname: "n186" class: 2 priority: 2 linestyle: dotted} node: {title: "n195" label: "Block 195" color: lightyellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n195" targetname: "n192" label: "0" color: red} node: {title: "n197" label: "CallBegin 197" info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main +possible callees: + 0: PRIMA_c "} node: {title: "n197n172" label: "&(PRIMA_c)P 172" color: yellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n197" targetname: "n197n172" label: "0" } edge: { sourcename: "n197" targetname: "n195" class: 2 priority: 2 linestyle: dotted} node: {title: "n199" label: "ProjX 0 199" color: yellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n199" targetname: "n197" label: "0" color: red} edge: { sourcename: "n199" targetname: "n195" class: 2 priority: 2 linestyle: dotted} node: {title: "n157" label: "Block 157" color: lightyellow info1: "visited: 29 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n157" targetname: "n199" label: "0" color: red} -node: {title: "n158" label: "Start c 158" color: blue info1: "visited: 29 -irg: c +node: {title: "n158" label: "Start PRIMA_c 158" color: blue info1: "visited: 29 +irg: PRIMA_c start of method of type c param 0 type: class_prima_ptr param 1 type: int "} edge: { sourcename: "n158" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n156" label: "ProjX 0 156" color: yellow info1: "visited: 29 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n156" targetname: "n158" label: "0" color: red} edge: { sourcename: "n156" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n155" label: "Block 155" color: lightyellow info1: "visited: 29 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n155" targetname: "n156" label: "0" color: red} node: {title: "n177" label: "Jmp 177" info1: "visited: 29 -irg: c +irg: PRIMA_c "} edge: { sourcename: "n177" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n178" label: "Block 178" color: lightyellow info1: "visited: 29 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n178" targetname: "n177" label: "0" color: red} node: {title: "n179" label: "EndReg 179" color: blue info1: "visited: 29 -irg: c +irg: PRIMA_c "} edge: { sourcename: "n179" targetname: "n178" class: 2 priority: 2 linestyle: dotted} node: {title: "n198" label: "ProjX 0 198" color: yellow info1: "visited: 29 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n198" targetname: "n179" label: "0" color: red} edge: { sourcename: "n198" targetname: "n178" class: 2 priority: 2 linestyle: dotted} node: {title: "n110" label: "Block 110" color: lightyellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n110" targetname: "n198" label: "0" color: red} node: {title: "n174" label: "FilterIs 1 174" color: yellow info1: "visited: 29 -irg: c +irg: PRIMA_c intra predecessor nodes: ProjT 164 "} node: {title: "n174n117" label: "0x5Is 117" color: yellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n174" targetname: "n174n117" label: "0" } edge: { sourcename: "n174" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n121" label: "ProjM 1 121" color: yellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n121" targetname: "n113" label: "0" color: blue} edge: { sourcename: "n121" targetname: "n112" class: 2 priority: 2 linestyle: dotted} node: {title: "n119" label: "Alloc 119" info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main allocating entity of type PRIMA "} node: {title: "n119n120" label: "SymC PRIMA size 120" info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n119" targetname: "n121" label: "0" color: blue} edge: {sourcename: "n119" targetname: "n119n120" label: "1" } edge: { sourcename: "n119" targetname: "n189" class: 2 priority: 2 linestyle: dotted} node: {title: "n118" label: "ProjP 2 118" color: yellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n118" targetname: "n119" label: "0" } edge: { sourcename: "n118" targetname: "n189" class: 2 priority: 2 linestyle: dotted} node: {title: "n176" label: "FilterP 0 176" color: yellow info1: "visited: 29 -irg: c +irg: PRIMA_c intra predecessor nodes: ProjT 164 "} edge: {sourcename: "n176" targetname: "n118" label: "0" } edge: { sourcename: "n176" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n184" label: "FilterIs 1 184" color: yellow info1: "visited: 29 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: ProjT 144 "} node: {title: "n184n125" label: "0x2Is 125" color: yellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n184" targetname: "n184n125" label: "0" } edge: { sourcename: "n184" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n183" label: "FilterP 0 183" color: yellow info1: "visited: 29 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: ProjT 144 "} edge: {sourcename: "n183" targetname: "n118" label: "0" } edge: { sourcename: "n183" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n127" label: "ProjM 0 127" color: yellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n127" targetname: "n119" label: "0" color: blue} edge: { sourcename: "n127" targetname: "n189" class: 2 priority: 2 linestyle: dotted} node: {title: "n182" label: "FilterM 1 182" color: yellow info1: "visited: 29 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: StartT 140 "} edge: {sourcename: "n182" targetname: "n127" label: "0" color: blue} edge: { sourcename: "n182" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n145" label: "Sel a 145" info1: "visited: 29 -irg: set_a +irg: PRIMA_set_a Selecting entity of type int from entity of type PRIMA "} @@ -222,33 +226,33 @@ edge: {sourcename: "n145" targetname: "n182" label: "0" color: blue} edge: {sourcename: "n145" targetname: "n183" label: "1" } edge: { sourcename: "n145" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n142" label: "Store 142" info1: "visited: 29 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n142" targetname: "n182" label: "0" color: blue} edge: {sourcename: "n142" targetname: "n145" label: "1" } edge: {sourcename: "n142" targetname: "n184" label: "2" } edge: { sourcename: "n142" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n141" label: "ProjM 0 141" color: yellow info1: "visited: 29 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n141" targetname: "n142" label: "0" color: blue} edge: { sourcename: "n141" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n194" label: "FilterM 0 194" color: yellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: CallT 124 "} edge: {sourcename: "n194" targetname: "n141" label: "0" color: blue} edge: { sourcename: "n194" targetname: "n195" class: 2 priority: 2 linestyle: dotted} node: {title: "n175" label: "FilterM 1 175" color: yellow info1: "visited: 29 -irg: c +irg: PRIMA_c intra predecessor nodes: StartT 158 "} edge: {sourcename: "n175" targetname: "n194" label: "0" color: blue} edge: { sourcename: "n175" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n162" label: "Sel a 162" info1: "visited: 29 -irg: c +irg: PRIMA_c Selecting entity of type int from entity of type PRIMA "} @@ -256,53 +260,53 @@ edge: {sourcename: "n162" targetname: "n175" label: "0" color: blue} edge: {sourcename: "n162" targetname: "n176" label: "1" } edge: { sourcename: "n162" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n161" label: "Load 161" info1: "visited: 29 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n161" targetname: "n175" label: "0" color: blue} edge: {sourcename: "n161" targetname: "n162" label: "1" } edge: { sourcename: "n161" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n160" label: "ProjIs 2 160" color: yellow info1: "visited: 29 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n160" targetname: "n161" label: "0" } edge: { sourcename: "n160" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n159" label: "AddIs 159" info1: "visited: 29 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n159" targetname: "n160" label: "0" } edge: {sourcename: "n159" targetname: "n174" label: "1" } edge: { sourcename: "n159" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n201" label: "FilterIs 0 201" color: yellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: ProjT 115 "} edge: {sourcename: "n201" targetname: "n159" label: "0" } edge: { sourcename: "n201" targetname: "n110" class: 2 priority: 2 linestyle: dotted} node: {title: "n167" label: "ProjM 0 167" color: yellow info1: "visited: 29 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n167" targetname: "n161" label: "0" color: blue} edge: { sourcename: "n167" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n200" label: "FilterM 0 200" color: yellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: CallT 116 "} edge: {sourcename: "n200" targetname: "n167" label: "0" color: blue} edge: { sourcename: "n200" targetname: "n110" class: 2 priority: 2 linestyle: dotted} node: {title: "n109" label: "Return 109" info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n109" targetname: "n200" label: "0" color: blue} edge: {sourcename: "n109" targetname: "n201" label: "1" } edge: { sourcename: "n109" targetname: "n110" class: 2 priority: 2 linestyle: dotted} node: {title: "n108" label: "Block 108" color: lightyellow info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n108" targetname: "n109" label: "0" color: red} node: {title: "n107" label: "End 107" color: blue info1: "visited: 29 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: { sourcename: "n107" targetname: "n108" class: 2 priority: 2 linestyle: dotted} } diff --git a/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg b/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg index cc9836a1a..cd756ef92 100644 --- a/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg +++ b/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg @@ -18,203 +18,207 @@ classname 11: "Overwrites" classname 12: "Member" node: {title: "n112" label: "Block 112" color: lightyellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n112" targetname: "n111" label: "0" color: red} -node: {title: "n113" label: "Start OO_PROGRAM_EXAMPLE_main 113" color: blue info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +node: {title: "n113" label: "Start GlobalType_OO_PROGRAM_EXAMPLE_main 113" color: blue info1: "visited: 33 +irg: GlobalType_OO_PROGRAM_EXAMPLE_main start of method of type OO_PROGRAM_EXAMPLE_main "} edge: { sourcename: "n113" targetname: "n112" class: 2 priority: 2 linestyle: dotted} node: {title: "n111" label: "ProjX 0 111" color: yellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n111" targetname: "n113" label: "0" color: red} edge: { sourcename: "n111" targetname: "n112" class: 2 priority: 2 linestyle: dotted} node: {title: "n189" label: "Block 189" color: lightyellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n189" targetname: "n111" label: "0" color: red} node: {title: "n191" label: "CallBegin 191" info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main +possible callees: + 0: PRIMA_set_a "} node: {title: "n191n173" label: "&(PRIMA_set_a)P 173" color: yellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n191" targetname: "n191n173" label: "0" } edge: { sourcename: "n191" targetname: "n189" class: 2 priority: 2 linestyle: dotted} node: {title: "n193" label: "ProjX 0 193" color: yellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n193" targetname: "n191" label: "0" color: red} edge: { sourcename: "n193" targetname: "n189" class: 2 priority: 2 linestyle: dotted} node: {title: "n139" label: "Block 139" color: lightyellow info1: "visited: 33 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n139" targetname: "n193" label: "0" color: red} -node: {title: "n140" label: "Start set_a 140" color: blue info1: "visited: 33 -irg: set_a +node: {title: "n140" label: "Start PRIMA_set_a 140" color: blue info1: "visited: 33 +irg: PRIMA_set_a start of method of type set_a param 0 type: class_prima_ptr param 1 type: int "} edge: { sourcename: "n140" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n138" label: "ProjX 0 138" color: yellow info1: "visited: 33 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n138" targetname: "n140" label: "0" color: red} edge: { sourcename: "n138" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n137" label: "Block 137" color: lightyellow info1: "visited: 33 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n137" targetname: "n138" label: "0" color: red} node: {title: "n185" label: "Jmp 185" info1: "visited: 33 -irg: set_a +irg: PRIMA_set_a "} edge: { sourcename: "n185" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n186" label: "Block 186" color: lightyellow info1: "visited: 33 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n186" targetname: "n185" label: "0" color: red} node: {title: "n187" label: "EndReg 187" color: blue info1: "visited: 33 -irg: set_a +irg: PRIMA_set_a "} edge: { sourcename: "n187" targetname: "n186" class: 2 priority: 2 linestyle: dotted} node: {title: "n192" label: "ProjX 0 192" color: yellow info1: "visited: 33 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n192" targetname: "n187" label: "0" color: red} edge: { sourcename: "n192" targetname: "n186" class: 2 priority: 2 linestyle: dotted} node: {title: "n195" label: "Block 195" color: lightyellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n195" targetname: "n192" label: "0" color: red} node: {title: "n197" label: "CallBegin 197" info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main +possible callees: + 0: PRIMA_c "} node: {title: "n197n172" label: "&(PRIMA_c)P 172" color: yellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n197" targetname: "n197n172" label: "0" } edge: { sourcename: "n197" targetname: "n195" class: 2 priority: 2 linestyle: dotted} node: {title: "n199" label: "ProjX 0 199" color: yellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n199" targetname: "n197" label: "0" color: red} edge: { sourcename: "n199" targetname: "n195" class: 2 priority: 2 linestyle: dotted} node: {title: "n157" label: "Block 157" color: lightyellow info1: "visited: 33 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n157" targetname: "n199" label: "0" color: red} -node: {title: "n158" label: "Start c 158" color: blue info1: "visited: 33 -irg: c +node: {title: "n158" label: "Start PRIMA_c 158" color: blue info1: "visited: 33 +irg: PRIMA_c start of method of type c param 0 type: class_prima_ptr param 1 type: int "} edge: { sourcename: "n158" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n156" label: "ProjX 0 156" color: yellow info1: "visited: 33 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n156" targetname: "n158" label: "0" color: red} edge: { sourcename: "n156" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n155" label: "Block 155" color: lightyellow info1: "visited: 33 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n155" targetname: "n156" label: "0" color: red} node: {title: "n177" label: "Jmp 177" info1: "visited: 33 -irg: c +irg: PRIMA_c "} edge: { sourcename: "n177" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n178" label: "Block 178" color: lightyellow info1: "visited: 33 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n178" targetname: "n177" label: "0" color: red} node: {title: "n179" label: "EndReg 179" color: blue info1: "visited: 33 -irg: c +irg: PRIMA_c "} edge: { sourcename: "n179" targetname: "n178" class: 2 priority: 2 linestyle: dotted} node: {title: "n198" label: "ProjX 0 198" color: yellow info1: "visited: 33 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n198" targetname: "n179" label: "0" color: red} edge: { sourcename: "n198" targetname: "n178" class: 2 priority: 2 linestyle: dotted} node: {title: "n110" label: "Block 110" color: lightyellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n110" targetname: "n198" label: "0" color: red} node: {title: "n174" label: "FilterIs 1 174" color: yellow info1: "visited: 33 -irg: c +irg: PRIMA_c intra predecessor nodes: ProjT 164 "} node: {title: "n174n117" label: "0x5Is 117" color: yellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n174" targetname: "n174n117" label: "0" } edge: { sourcename: "n174" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n121" label: "ProjM 1 121" color: yellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n121" targetname: "n113" label: "0" color: blue} edge: { sourcename: "n121" targetname: "n112" class: 2 priority: 2 linestyle: dotted} node: {title: "n119" label: "Alloc 119" info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main allocating entity of type PRIMA "} node: {title: "n119n120" label: "SymC PRIMA size 120" info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n119" targetname: "n121" label: "0" color: blue} edge: {sourcename: "n119" targetname: "n119n120" label: "1" } edge: { sourcename: "n119" targetname: "n189" class: 2 priority: 2 linestyle: dotted} node: {title: "n118" label: "ProjP 2 118" color: yellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n118" targetname: "n119" label: "0" } edge: { sourcename: "n118" targetname: "n189" class: 2 priority: 2 linestyle: dotted} node: {title: "n176" label: "FilterP 0 176" color: yellow info1: "visited: 33 -irg: c +irg: PRIMA_c intra predecessor nodes: ProjT 164 "} edge: {sourcename: "n176" targetname: "n118" label: "0" } edge: { sourcename: "n176" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n184" label: "FilterIs 1 184" color: yellow info1: "visited: 33 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: ProjT 144 "} node: {title: "n184n125" label: "0x2Is 125" color: yellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n184" targetname: "n184n125" label: "0" } edge: { sourcename: "n184" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n183" label: "FilterP 0 183" color: yellow info1: "visited: 33 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: ProjT 144 "} edge: {sourcename: "n183" targetname: "n118" label: "0" } edge: { sourcename: "n183" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n127" label: "ProjM 0 127" color: yellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n127" targetname: "n119" label: "0" color: blue} edge: { sourcename: "n127" targetname: "n189" class: 2 priority: 2 linestyle: dotted} node: {title: "n182" label: "FilterM 1 182" color: yellow info1: "visited: 33 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: StartT 140 "} edge: {sourcename: "n182" targetname: "n127" label: "0" color: blue} edge: { sourcename: "n182" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n145" label: "Sel a 145" info1: "visited: 33 -irg: set_a +irg: PRIMA_set_a Selecting entity of type int from entity of type PRIMA "} @@ -222,33 +226,33 @@ edge: {sourcename: "n145" targetname: "n182" label: "0" color: blue} edge: {sourcename: "n145" targetname: "n183" label: "1" } edge: { sourcename: "n145" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n142" label: "Store 142" info1: "visited: 33 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n142" targetname: "n182" label: "0" color: blue} edge: {sourcename: "n142" targetname: "n145" label: "1" } edge: {sourcename: "n142" targetname: "n184" label: "2" } edge: { sourcename: "n142" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n141" label: "ProjM 0 141" color: yellow info1: "visited: 33 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n141" targetname: "n142" label: "0" color: blue} edge: { sourcename: "n141" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n194" label: "FilterM 0 194" color: yellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: CallT 124 "} edge: {sourcename: "n194" targetname: "n141" label: "0" color: blue} edge: { sourcename: "n194" targetname: "n195" class: 2 priority: 2 linestyle: dotted} node: {title: "n175" label: "FilterM 1 175" color: yellow info1: "visited: 33 -irg: c +irg: PRIMA_c intra predecessor nodes: StartT 158 "} edge: {sourcename: "n175" targetname: "n194" label: "0" color: blue} edge: { sourcename: "n175" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n162" label: "Sel a 162" info1: "visited: 33 -irg: c +irg: PRIMA_c Selecting entity of type int from entity of type PRIMA "} @@ -256,53 +260,53 @@ edge: {sourcename: "n162" targetname: "n175" label: "0" color: blue} edge: {sourcename: "n162" targetname: "n176" label: "1" } edge: { sourcename: "n162" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n161" label: "Load 161" info1: "visited: 33 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n161" targetname: "n175" label: "0" color: blue} edge: {sourcename: "n161" targetname: "n162" label: "1" } edge: { sourcename: "n161" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n160" label: "ProjIs 2 160" color: yellow info1: "visited: 33 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n160" targetname: "n161" label: "0" } edge: { sourcename: "n160" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n159" label: "AddIs 159" info1: "visited: 33 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n159" targetname: "n160" label: "0" } edge: {sourcename: "n159" targetname: "n174" label: "1" } edge: { sourcename: "n159" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n201" label: "FilterIs 0 201" color: yellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: ProjT 115 "} edge: {sourcename: "n201" targetname: "n159" label: "0" } edge: { sourcename: "n201" targetname: "n110" class: 2 priority: 2 linestyle: dotted} node: {title: "n167" label: "ProjM 0 167" color: yellow info1: "visited: 33 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n167" targetname: "n161" label: "0" color: blue} edge: { sourcename: "n167" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n200" label: "FilterM 0 200" color: yellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: CallT 116 "} edge: {sourcename: "n200" targetname: "n167" label: "0" color: blue} edge: { sourcename: "n200" targetname: "n110" class: 2 priority: 2 linestyle: dotted} node: {title: "n109" label: "Return 109" info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n109" targetname: "n200" label: "0" color: blue} edge: {sourcename: "n109" targetname: "n201" label: "1" } edge: { sourcename: "n109" targetname: "n110" class: 2 priority: 2 linestyle: dotted} node: {title: "n108" label: "Block 108" color: lightyellow info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n108" targetname: "n109" label: "0" color: red} node: {title: "n107" label: "End 107" color: blue info1: "visited: 33 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: { sourcename: "n107" targetname: "n108" class: 2 priority: 2 linestyle: dotted} node: {title: "e15" label: "ent a" color: yellow @@ -325,7 +329,7 @@ peculiarity: peculiarity_existent edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e21"class: 12 label: "member" color:blue} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -333,7 +337,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_set_a ld_name: PRIMA_set_a offset: -1 irg = g71" @@ -358,7 +362,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -366,7 +370,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_c ld_name: PRIMA_c offset: -1 irg = g94" @@ -383,7 +387,7 @@ size: 4B, edge: { sourcename: "t19" targetname: "t14"class: 5 label: "param 0" color: green} edge: { sourcename: "t19" targetname: "t12"class: 5 label: "param 1" color: green} edge: { sourcename: "t19" targetname: "t12"class: 6 label: "res 0" color: green} -node: {title: "e24" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow +node: {title: "e24" label: "ent GlobalType_OO_PROGRAM_EXAMPLE_main" color: yellow info1: " id: e24 allocation: allocation_static @@ -391,7 +395,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: OO_PROGRAM_EXAMPLE_main +name: GlobalType_OO_PROGRAM_EXAMPLE_main ld_name: GlobalType_OO_PROGRAM_EXAMPLE_main offset: -1 irg = g37" diff --git a/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-type.vcg b/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-type.vcg index 014e20961..420c1031d 100644 --- a/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-type.vcg @@ -53,7 +53,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -61,7 +61,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_set_a ld_name: PRIMA_set_a offset: -1 irg = g71" @@ -77,7 +77,7 @@ size: 4B, "} edge: { sourcename: "t16" targetname: "t14"class: 5 label: "param 0" color: green} edge: { sourcename: "t16" targetname: "t12"class: 5 label: "param 1" color: green} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -85,7 +85,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_c ld_name: PRIMA_c offset: -1 irg = g94" @@ -95,7 +95,7 @@ edge: { sourcename: "e21" targetname: "n20"label: "value 0"} node: {title: "n20" label: "&(PRIMA_c)P 20" color: yellow info1: "visited: 7 Const of type type_unknown "} -node: {title: "e24" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow +node: {title: "e24" label: "ent GlobalType_OO_PROGRAM_EXAMPLE_main" color: yellow info1: " id: e24 allocation: allocation_static @@ -103,7 +103,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: OO_PROGRAM_EXAMPLE_main +name: GlobalType_OO_PROGRAM_EXAMPLE_main ld_name: GlobalType_OO_PROGRAM_EXAMPLE_main offset: -1 irg = g37" diff --git a/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg b/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg index 75f331572..6240d7ed8 100644 --- a/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg +++ b/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg @@ -17,29 +17,29 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g37" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white +graph: { title: "g37" label: "GlobalType_OO_PROGRAM_EXAMPLE_main" status:clustered color:white graph: { title: "n108" label: "Block 108" status:clustered color:yellow edge: {sourcename: "n108" targetname: "n109" label: "0" color: red} node: {title: "n107" label: "End 107" color: blue info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} } graph: { title: "n110" label: "Block 110" status:clustered color:yellow edge: {sourcename: "n110" targetname: "n198" label: "0" color: red} node: {title: "n109" label: "Return 109" info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n109" targetname: "n200" label: "0" color: blue} edge: {sourcename: "n109" targetname: "n201" label: "1" } node: {title: "n200" label: "FilterM 0 200" color: yellow info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: CallT 116 "} edge: {sourcename: "n200" targetname: "n167" label: "0" color: blue} node: {title: "n201" label: "FilterIs 0 201" color: yellow info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: ProjT 115 "} @@ -49,20 +49,22 @@ edge: {sourcename: "n201" targetname: "n159" label: "0" } graph: { title: "n195" label: "Block 195" status:clustered color:yellow edge: {sourcename: "n195" targetname: "n192" label: "0" color: red} node: {title: "n194" label: "FilterM 0 194" color: yellow info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main intra predecessor nodes: CallT 124 "} edge: {sourcename: "n194" targetname: "n141" label: "0" color: blue} node: {title: "n199" label: "ProjX 0 199" color: yellow info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n199" targetname: "n197" label: "0" color: red} node: {title: "n197" label: "CallBegin 197" info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main +possible callees: + 0: PRIMA_c "} node: {title: "n197n172" label: "&(PRIMA_c)P 172" color: yellow info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n197" targetname: "n197n172" label: "0" } @@ -71,31 +73,33 @@ edge: {sourcename: "n197" targetname: "n197n172" label: "0" } graph: { title: "n189" label: "Block 189" status:clustered color:yellow edge: {sourcename: "n189" targetname: "n111" label: "0" color: red} node: {title: "n127" label: "ProjM 0 127" color: yellow info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n127" targetname: "n119" label: "0" color: blue} node: {title: "n118" label: "ProjP 2 118" color: yellow info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n118" targetname: "n119" label: "0" } node: {title: "n119" label: "Alloc 119" info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main allocating entity of type PRIMA "} node: {title: "n119n120" label: "SymC PRIMA size 120" info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n119" targetname: "n121" label: "0" color: blue} edge: {sourcename: "n119" targetname: "n119n120" label: "1" } node: {title: "n193" label: "ProjX 0 193" color: yellow info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n193" targetname: "n191" label: "0" color: red} node: {title: "n191" label: "CallBegin 191" info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main +possible callees: + 0: PRIMA_set_a "} node: {title: "n191n173" label: "&(PRIMA_set_a)P 173" color: yellow info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n191" targetname: "n191n173" label: "0" } @@ -104,87 +108,87 @@ edge: {sourcename: "n191" targetname: "n191n173" label: "0" } graph: { title: "n112" label: "Block 112" status:clustered color:yellow edge: {sourcename: "n112" targetname: "n111" label: "0" color: red} node: {title: "n121" label: "ProjM 1 121" color: yellow info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n121" targetname: "n113" label: "0" color: blue} node: {title: "n111" label: "ProjX 0 111" color: yellow info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n111" targetname: "n113" label: "0" color: red} -node: {title: "n113" label: "Start OO_PROGRAM_EXAMPLE_main 113" color: blue info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +node: {title: "n113" label: "Start GlobalType_OO_PROGRAM_EXAMPLE_main 113" color: blue info1: "visited: 41 +irg: GlobalType_OO_PROGRAM_EXAMPLE_main start of method of type OO_PROGRAM_EXAMPLE_main "} } } -graph: { title: "g71" label: "set_a" status:clustered color:white +graph: { title: "g71" label: "PRIMA_set_a" status:clustered color:white graph: { title: "n186" label: "Block 186" status:clustered color:yellow edge: {sourcename: "n186" targetname: "n185" label: "0" color: red} node: {title: "n192" label: "ProjX 0 192" color: yellow info1: "visited: 41 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n192" targetname: "n187" label: "0" color: red} node: {title: "n187" label: "EndReg 187" color: blue info1: "visited: 41 -irg: set_a +irg: PRIMA_set_a "} } graph: { title: "n137" label: "Block 137" status:clustered color:yellow edge: {sourcename: "n137" targetname: "n138" label: "0" color: red} node: {title: "n141" label: "ProjM 0 141" color: yellow info1: "visited: 41 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n141" targetname: "n142" label: "0" color: blue} node: {title: "n142" label: "Store 142" info1: "visited: 41 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n142" targetname: "n182" label: "0" color: blue} edge: {sourcename: "n142" targetname: "n145" label: "1" } edge: {sourcename: "n142" targetname: "n184" label: "2" } node: {title: "n145" label: "Sel a 145" info1: "visited: 41 -irg: set_a +irg: PRIMA_set_a Selecting entity of type int from entity of type PRIMA "} edge: {sourcename: "n145" targetname: "n182" label: "0" color: blue} edge: {sourcename: "n145" targetname: "n183" label: "1" } node: {title: "n185" label: "Jmp 185" info1: "visited: 41 -irg: set_a +irg: PRIMA_set_a "} } graph: { title: "n139" label: "Block 139" status:clustered color:yellow edge: {sourcename: "n139" targetname: "n193" label: "0" color: red} node: {title: "n182" label: "FilterM 1 182" color: yellow info1: "visited: 41 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: StartT 140 "} edge: {sourcename: "n182" targetname: "n127" label: "0" color: blue} node: {title: "n183" label: "FilterP 0 183" color: yellow info1: "visited: 41 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: ProjT 144 "} edge: {sourcename: "n183" targetname: "n118" label: "0" } node: {title: "n184" label: "FilterIs 1 184" color: yellow info1: "visited: 41 -irg: set_a +irg: PRIMA_set_a intra predecessor nodes: ProjT 144 "} node: {title: "n184n125" label: "0x2Is 125" color: yellow info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n184" targetname: "n184n125" label: "0" } node: {title: "n138" label: "ProjX 0 138" color: yellow info1: "visited: 41 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n138" targetname: "n140" label: "0" color: red} -node: {title: "n140" label: "Start set_a 140" color: blue info1: "visited: 41 -irg: set_a +node: {title: "n140" label: "Start PRIMA_set_a 140" color: blue info1: "visited: 41 +irg: PRIMA_set_a start of method of type set_a param 0 type: class_prima_ptr param 1 type: int @@ -193,80 +197,80 @@ start of method of type set_a } -graph: { title: "g94" label: "c" status:clustered color:white +graph: { title: "g94" label: "PRIMA_c" status:clustered color:white graph: { title: "n178" label: "Block 178" status:clustered color:yellow edge: {sourcename: "n178" targetname: "n177" label: "0" color: red} node: {title: "n198" label: "ProjX 0 198" color: yellow info1: "visited: 41 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n198" targetname: "n179" label: "0" color: red} node: {title: "n179" label: "EndReg 179" color: blue info1: "visited: 41 -irg: c +irg: PRIMA_c "} } graph: { title: "n155" label: "Block 155" status:clustered color:yellow edge: {sourcename: "n155" targetname: "n156" label: "0" color: red} node: {title: "n167" label: "ProjM 0 167" color: yellow info1: "visited: 41 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n167" targetname: "n161" label: "0" color: blue} node: {title: "n159" label: "AddIs 159" info1: "visited: 41 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n159" targetname: "n160" label: "0" } edge: {sourcename: "n159" targetname: "n174" label: "1" } node: {title: "n160" label: "ProjIs 2 160" color: yellow info1: "visited: 41 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n160" targetname: "n161" label: "0" } node: {title: "n161" label: "Load 161" info1: "visited: 41 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n161" targetname: "n175" label: "0" color: blue} edge: {sourcename: "n161" targetname: "n162" label: "1" } node: {title: "n162" label: "Sel a 162" info1: "visited: 41 -irg: c +irg: PRIMA_c Selecting entity of type int from entity of type PRIMA "} edge: {sourcename: "n162" targetname: "n175" label: "0" color: blue} edge: {sourcename: "n162" targetname: "n176" label: "1" } node: {title: "n177" label: "Jmp 177" info1: "visited: 41 -irg: c +irg: PRIMA_c "} } graph: { title: "n157" label: "Block 157" status:clustered color:yellow edge: {sourcename: "n157" targetname: "n199" label: "0" color: red} node: {title: "n175" label: "FilterM 1 175" color: yellow info1: "visited: 41 -irg: c +irg: PRIMA_c intra predecessor nodes: StartT 158 "} edge: {sourcename: "n175" targetname: "n194" label: "0" color: blue} node: {title: "n176" label: "FilterP 0 176" color: yellow info1: "visited: 41 -irg: c +irg: PRIMA_c intra predecessor nodes: ProjT 164 "} edge: {sourcename: "n176" targetname: "n118" label: "0" } node: {title: "n174" label: "FilterIs 1 174" color: yellow info1: "visited: 41 -irg: c +irg: PRIMA_c intra predecessor nodes: ProjT 164 "} node: {title: "n174n117" label: "0x5Is 117" color: yellow info1: "visited: 41 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n174" targetname: "n174n117" label: "0" } node: {title: "n156" label: "ProjX 0 156" color: yellow info1: "visited: 41 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n156" targetname: "n158" label: "0" color: red} -node: {title: "n158" label: "Start c 158" color: blue info1: "visited: 41 -irg: c +node: {title: "n158" label: "Start PRIMA_c 158" color: blue info1: "visited: 41 +irg: PRIMA_c start of method of type c param 0 type: class_prima_ptr param 1 type: int @@ -295,7 +299,7 @@ peculiarity: peculiarity_existent edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e21"class: 12 label: "member" color:blue} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -303,7 +307,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_set_a ld_name: PRIMA_set_a offset: -1 irg = g71" @@ -328,7 +332,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -336,7 +340,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_c ld_name: PRIMA_c offset: -1 irg = g94" @@ -353,7 +357,7 @@ size: 4B, edge: { sourcename: "t19" targetname: "t14"class: 5 label: "param 0" color: green} edge: { sourcename: "t19" targetname: "t12"class: 5 label: "param 1" color: green} edge: { sourcename: "t19" targetname: "t12"class: 6 label: "res 0" color: green} -node: {title: "e24" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow +node: {title: "e24" label: "ent GlobalType_OO_PROGRAM_EXAMPLE_main" color: yellow info1: " id: e24 allocation: allocation_static @@ -361,7 +365,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: OO_PROGRAM_EXAMPLE_main +name: GlobalType_OO_PROGRAM_EXAMPLE_main ld_name: GlobalType_OO_PROGRAM_EXAMPLE_main offset: -1 irg = g37" diff --git a/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-wtypes.vcg index f24f97877..2fd56d475 100644 --- a/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/GlobalType_OO_PROGRAM_EXAMPLE_main-wtypes.vcg @@ -17,96 +17,96 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g37" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white +graph: { title: "g37" label: "GlobalType_OO_PROGRAM_EXAMPLE_main" status:clustered color:white graph: { title: "n108" label: "Block 108" status:clustered color:yellow edge: {sourcename: "n108" targetname: "n109" label: "0" color: red} node: {title: "n107" label: "End 107" color: blue info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} } graph: { title: "n110" label: "Block 110" status:clustered color:yellow edge: {sourcename: "n110" targetname: "n111" label: "0" color: red} node: {title: "n109" label: "Return 109" info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main return in method of type OO_PROGRAM_EXAMPLE_main res 0 type: int "} edge: {sourcename: "n109" targetname: "n128" label: "0" color: blue} edge: {sourcename: "n109" targetname: "n114" label: "1" } node: {title: "n128" label: "ProjM 0 128" color: yellow info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n128" targetname: "n116" label: "0" color: blue} node: {title: "n114" label: "ProjIs 0 114" color: yellow info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n114" targetname: "n115" label: "0" } node: {title: "n115" label: "ProjT 2 115" color: yellow info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n115" targetname: "n116" label: "0" } node: {title: "n116" label: "Call 116" info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main calling method of type c param 0 type: class_prima_ptr param 1 type: int resul 0 type: int "} node: {title: "n116n117" label: "0x5Is 117" color: yellow info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n116" targetname: "n123" label: "0" color: blue} edge: {sourcename: "n116" targetname: "n122" label: "1" } edge: {sourcename: "n116" targetname: "n118" label: "2" } edge: {sourcename: "n116" targetname: "n116n117" label: "3" } -node: {title: "n122" label: "Sel c 122" info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +node: {title: "n122" label: "Sel PRIMA_c 122" info1: "visited: 20 +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Selecting entity of type c from entity of type PRIMA "} edge: {sourcename: "n122" targetname: "n123" label: "0" color: blue} edge: {sourcename: "n122" targetname: "n118" label: "1" } node: {title: "n123" label: "ProjM 0 123" color: yellow info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n123" targetname: "n124" label: "0" color: blue} node: {title: "n124" label: "Call 124" info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main calling method of type set_a param 0 type: class_prima_ptr param 1 type: int "} node: {title: "n124n125" label: "0x2Is 125" color: yellow info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Const of type type_unknown "} edge: {sourcename: "n124" targetname: "n127" label: "0" color: blue} edge: {sourcename: "n124" targetname: "n126" label: "1" } edge: {sourcename: "n124" targetname: "n118" label: "2" } edge: {sourcename: "n124" targetname: "n124n125" label: "3" } -node: {title: "n126" label: "Sel set_a 126" info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +node: {title: "n126" label: "Sel PRIMA_set_a 126" info1: "visited: 20 +irg: GlobalType_OO_PROGRAM_EXAMPLE_main Selecting entity of type set_a from entity of type PRIMA "} edge: {sourcename: "n126" targetname: "n127" label: "0" color: blue} edge: {sourcename: "n126" targetname: "n118" label: "1" } node: {title: "n127" label: "ProjM 0 127" color: yellow info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n127" targetname: "n119" label: "0" color: blue} node: {title: "n118" label: "ProjP 2 118" color: yellow info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n118" targetname: "n119" label: "0" } node: {title: "n119" label: "Alloc 119" info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main allocating entity of type PRIMA "} node: {title: "n119n120" label: "SymC PRIMA size 120" info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n119" targetname: "n121" label: "0" color: blue} edge: {sourcename: "n119" targetname: "n119n120" label: "1" } @@ -115,15 +115,15 @@ edge: {sourcename: "n119" targetname: "n119n120" label: "1" } graph: { title: "n112" label: "Block 112" status:clustered color:yellow edge: {sourcename: "n112" targetname: "n111" label: "0" color: red} node: {title: "n121" label: "ProjM 1 121" color: yellow info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n121" targetname: "n113" label: "0" color: blue} node: {title: "n111" label: "ProjX 0 111" color: yellow info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n111" targetname: "n113" label: "0" color: red} node: {title: "n113" label: "Start 113" color: blue info1: "visited: 20 -irg: OO_PROGRAM_EXAMPLE_main +irg: GlobalType_OO_PROGRAM_EXAMPLE_main start of method of type OO_PROGRAM_EXAMPLE_main "} } @@ -166,7 +166,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -174,7 +174,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_set_a ld_name: PRIMA_set_a offset: -1 irg = g71" @@ -190,7 +190,7 @@ size: 4B, "} edge: { sourcename: "t16" targetname: "t14"class: 5 label: "param 0" color: green} edge: { sourcename: "t16" targetname: "t12"class: 5 label: "param 1" color: green} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -198,7 +198,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_c ld_name: PRIMA_c offset: -1 irg = g94" @@ -208,7 +208,7 @@ edge: { sourcename: "e21" targetname: "n20"label: "value 0"} node: {title: "n20" label: "&(PRIMA_c)P 20" color: yellow info1: "visited: 4 Const of type type_unknown "} -node: {title: "e24" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow +node: {title: "e24" label: "ent GlobalType_OO_PROGRAM_EXAMPLE_main" color: yellow info1: " id: e24 allocation: allocation_static @@ -216,7 +216,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: OO_PROGRAM_EXAMPLE_main +name: GlobalType_OO_PROGRAM_EXAMPLE_main ld_name: GlobalType_OO_PROGRAM_EXAMPLE_main offset: -1 irg = g37" diff --git a/testprograms/ref-results/IF_WHILE_EXAMPLE_main-pure.vcg b/testprograms/ref-results/IF_WHILE_EXAMPLE_main-pure.vcg index 376c10741..200c71ba1 100644 --- a/testprograms/ref-results/IF_WHILE_EXAMPLE_main-pure.vcg +++ b/testprograms/ref-results/IF_WHILE_EXAMPLE_main-pure.vcg @@ -18,110 +18,110 @@ classname 11: "Overwrites" classname 12: "Member" node: {title: "n90" label: "Start 90" color: blue info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main start of method of type main "} edge: { sourcename: "n90" targetname: "n88" class: 2 priority: 2 linestyle: dotted} node: {title: "n89" label: "ProjX 0 89" color: yellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n89" targetname: "n90" label: "0" color: red} edge: { sourcename: "n89" targetname: "n88" class: 2 priority: 2 linestyle: dotted} node: {title: "n88" label: "Block 88" color: lightyellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n88" targetname: "n89" label: "0" color: red} node: {title: "n87" label: "0x0Iu 87" color: yellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main Const of type type_unknown "} edge: { sourcename: "n87" targetname: "n88" class: 2 priority: 2 linestyle: dotted} node: {title: "n86" label: "CmpT 86" info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n86" targetname: "n87" label: "0" } edge: {sourcename: "n86" targetname: "n87" label: "1" } edge: { sourcename: "n86" targetname: "n80" class: 2 priority: 2 linestyle: dotted} node: {title: "n85" label: "Projb Eq 85" color: yellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n85" targetname: "n86" label: "0" } edge: { sourcename: "n85" targetname: "n80" class: 2 priority: 2 linestyle: dotted} node: {title: "n84" label: "Cond 84" info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n84" targetname: "n85" label: "0" } edge: { sourcename: "n84" targetname: "n80" class: 2 priority: 2 linestyle: dotted} node: {title: "n83" label: "ProjX 1 83" color: yellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n83" targetname: "n84" label: "0" color: red} edge: { sourcename: "n83" targetname: "n80" class: 2 priority: 2 linestyle: dotted} node: {title: "n82" label: "Block 82" color: lightyellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n82" targetname: "n83" label: "0" color: red} node: {title: "n81" label: "Jmp 81" info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: { sourcename: "n81" targetname: "n82" class: 2 priority: 2 linestyle: dotted} node: {title: "n92" label: "Block 92" color: lightyellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n92" targetname: "n89" label: "0" color: red} node: {title: "n91" label: "Jmp 91" info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: { sourcename: "n91" targetname: "n92" class: 2 priority: 2 linestyle: dotted} node: {title: "n80" label: "Block 80" color: lightyellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n80" targetname: "n91" label: "0" color: red} edge: {sourcename: "n80" targetname: "n81" label: "1" color: red} node: {title: "n79" label: "ProjX 0 79" color: yellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n79" targetname: "n84" label: "0" color: red} edge: { sourcename: "n79" targetname: "n80" class: 2 priority: 2 linestyle: dotted} node: {title: "n78" label: "Block 78" color: lightyellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n78" targetname: "n79" label: "0" color: red} node: {title: "n96" label: "0x0Iu 96" color: yellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main Const of type type_unknown "} edge: { sourcename: "n96" targetname: "n88" class: 2 priority: 2 linestyle: dotted} node: {title: "n95" label: "PhiIu 95" color: green info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n95" targetname: "n96" label: "0" } edge: {sourcename: "n95" targetname: "n94" label: "1" } edge: { sourcename: "n95" targetname: "n80" class: 2 priority: 2 linestyle: dotted} node: {title: "n97" label: "0x1Iu 97" color: yellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main Const of type type_unknown "} edge: { sourcename: "n97" targetname: "n88" class: 2 priority: 2 linestyle: dotted} node: {title: "n94" label: "PhiIu 94" color: green info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n94" targetname: "n97" label: "0" } edge: {sourcename: "n94" targetname: "n95" label: "1" } edge: { sourcename: "n94" targetname: "n80" class: 2 priority: 2 linestyle: dotted} node: {title: "n93" label: "SubIu 93" info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n93" targetname: "n95" label: "0" } edge: {sourcename: "n93" targetname: "n94" label: "1" } edge: { sourcename: "n93" targetname: "n78" class: 2 priority: 2 linestyle: dotted} node: {title: "n98" label: "ProjM 1 98" color: yellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n98" targetname: "n90" label: "0" color: blue} edge: { sourcename: "n98" targetname: "n88" class: 2 priority: 2 linestyle: dotted} node: {title: "n77" label: "Return 77" info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main return in method of type main res 0 type: int "} @@ -129,11 +129,11 @@ edge: {sourcename: "n77" targetname: "n98" label: "0" color: blue} edge: {sourcename: "n77" targetname: "n93" label: "1" } edge: { sourcename: "n77" targetname: "n78" class: 2 priority: 2 linestyle: dotted} node: {title: "n76" label: "Block 76" color: lightyellow info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: {sourcename: "n76" targetname: "n77" label: "0" color: red} node: {title: "n75" label: "End 75" color: blue info1: "visited: 14 -irg: main +irg: IF_WHILE_EXAMPLE_main "} edge: { sourcename: "n75" targetname: "n76" class: 2 priority: 2 linestyle: dotted} edge: {sourcename: "n90" targetname: "n89" color: red linestyle: dashed} diff --git a/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg b/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg index e9370dc37..087c00436 100644 --- a/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg +++ b/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg @@ -36,6 +36,6 @@ edge: { sourcename: "n83" targetname: "n73"} node: {title: "n90" label: "Block n90" } edge: { sourcename: "n90" targetname: "n83"} node: {title: "n96" label: "Bad 96" info1: "visited: 0 -irg: main +irg: IRREGULAR_CF_main "} } diff --git a/testprograms/ref-results/IRREGULAR_CF_main.vcg b/testprograms/ref-results/IRREGULAR_CF_main.vcg index 67db9090d..bf0ea0041 100644 --- a/testprograms/ref-results/IRREGULAR_CF_main.vcg +++ b/testprograms/ref-results/IRREGULAR_CF_main.vcg @@ -17,11 +17,11 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g28" label: "main" status:clustered color:white +graph: { title: "g28" label: "IRREGULAR_CF_main" status:clustered color:white graph: { title: "n65" label: "Block 65" status:clustered color:yellow edge: {sourcename: "n65" targetname: "n66" label: "0" color: red} node: {title: "n64" label: "End 64" color: blue info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} } @@ -29,7 +29,7 @@ graph: { title: "n67" label: "Block 67" status:clustered color:yellow edge: {sourcename: "n67" targetname: "n89" label: "0" color: red} edge: {sourcename: "n67" targetname: "n68" label: "1" color: red} node: {title: "n66" label: "Return 66" info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main return in method of type main "} edge: {sourcename: "n66" targetname: "n92" label: "0" color: blue} @@ -38,7 +38,7 @@ edge: {sourcename: "n66" targetname: "n92" label: "0" color: blue} graph: { title: "n90" label: "Block 90" status:clustered color:yellow edge: {sourcename: "n90" targetname: "n91" label: "0" color: red} node: {title: "n89" label: "Jmp 89" info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} } @@ -46,30 +46,30 @@ graph: { title: "n69" label: "Block 69" status:clustered color:yellow edge: {sourcename: "n69" targetname: "n82" label: "0" color: red} edge: {sourcename: "n69" targetname: "n70" label: "1" color: red} node: {title: "n68" label: "Jmp 68" info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} } graph: { title: "n83" label: "Block 83" status:clustered color:yellow edge: {sourcename: "n83" targetname: "n84" label: "0" color: red} node: {title: "n91" label: "ProjX 0 91" color: yellow info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} edge: {sourcename: "n91" targetname: "n85" label: "0" color: red} node: {title: "n82" label: "ProjX 1 82" color: yellow info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} edge: {sourcename: "n82" targetname: "n85" label: "0" color: red} node: {title: "n85" label: "Cond 85" info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} edge: {sourcename: "n85" targetname: "n86" label: "0" } node: {title: "n86" label: "Projb Eq 86" color: yellow info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} edge: {sourcename: "n86" targetname: "n87" label: "0" } node: {title: "n87" label: "CmpT 87" info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} edge: {sourcename: "n87" targetname: "n81" label: "0" } edge: {sourcename: "n87" targetname: "n88" label: "1" } @@ -78,30 +78,30 @@ edge: {sourcename: "n87" targetname: "n88" label: "1" } graph: { title: "n71" label: "Block 71" status:clustered color:yellow edge: {sourcename: "n71" targetname: "n72" label: "0" color: red} node: {title: "n70" label: "Jmp 70" info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} } graph: { title: "n73" label: "Block 73" status:clustered color:yellow edge: {sourcename: "n73" targetname: "n74" label: "0" color: red} node: {title: "n84" label: "ProjX 0 84" color: yellow info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} edge: {sourcename: "n84" targetname: "n77" label: "0" color: red} node: {title: "n72" label: "ProjX 1 72" color: yellow info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} edge: {sourcename: "n72" targetname: "n77" label: "0" color: red} node: {title: "n77" label: "Cond 77" info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} edge: {sourcename: "n77" targetname: "n78" label: "0" } node: {title: "n78" label: "Projb Eq 78" color: yellow info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} edge: {sourcename: "n78" targetname: "n79" label: "0" } node: {title: "n79" label: "CmpT 79" info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} edge: {sourcename: "n79" targetname: "n81" label: "0" } edge: {sourcename: "n79" targetname: "n80" label: "1" } @@ -110,27 +110,27 @@ edge: {sourcename: "n79" targetname: "n80" label: "1" } graph: { title: "n75" label: "Block 75" status:clustered color:yellow edge: {sourcename: "n75" targetname: "n74" label: "0" color: red} node: {title: "n92" label: "ProjM 1 92" color: yellow info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} edge: {sourcename: "n92" targetname: "n76" label: "0" color: blue} node: {title: "n88" label: "0x2Is 88" color: yellow info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main Const of type type_unknown "} node: {title: "n81" label: "0x0Is 81" color: yellow info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main Const of type type_unknown "} node: {title: "n80" label: "0x1Is 80" color: yellow info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main Const of type type_unknown "} node: {title: "n74" label: "ProjX 0 74" color: yellow info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main "} edge: {sourcename: "n74" targetname: "n76" label: "0" color: red} node: {title: "n76" label: "Start 76" color: blue info1: "visited: 5 -irg: main +irg: IRREGULAR_CF_main start of method of type main "} } diff --git a/testprograms/ref-results/IRR_LOOP_main-cfg.vcg b/testprograms/ref-results/IRR_LOOP_main-cfg.vcg index 337d11c84..f1f090e5e 100644 --- a/testprograms/ref-results/IRR_LOOP_main-cfg.vcg +++ b/testprograms/ref-results/IRR_LOOP_main-cfg.vcg @@ -33,6 +33,6 @@ edge: { sourcename: "n79" targetname: "n74"} node: {title: "n74" label: "Block n74" } edge: { sourcename: "n74" targetname: "n74"} node: {title: "n96" label: "Bad 96" info1: "visited: 0 -irg: main +irg: IRR_LOOP_main "} } diff --git a/testprograms/ref-results/IRR_LOOP_main.vcg b/testprograms/ref-results/IRR_LOOP_main.vcg index 5e09647f0..585222e19 100644 --- a/testprograms/ref-results/IRR_LOOP_main.vcg +++ b/testprograms/ref-results/IRR_LOOP_main.vcg @@ -17,11 +17,11 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g28" label: "main" status:clustered color:white +graph: { title: "g28" label: "IRR_LOOP_main" status:clustered color:white graph: { title: "n62" label: "Block 62" status:clustered color:yellow edge: {sourcename: "n62" targetname: "n63" label: "0" color: red} node: {title: "n61" label: "End 61" color: blue info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} } @@ -29,12 +29,12 @@ graph: { title: "n64" label: "Block 64" status:clustered color:yellow edge: {sourcename: "n64" targetname: "n88" label: "0" color: red} edge: {sourcename: "n64" targetname: "n65" label: "1" color: red} node: {title: "n63" label: "Return 63" info1: "visited: 5 -irg: main +irg: IRR_LOOP_main return in method of type main "} edge: {sourcename: "n63" targetname: "n89" label: "0" color: blue} node: {title: "n89" label: "PhiM 89" color: green info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n89" targetname: "n91" label: "0" color: blue} edge: {sourcename: "n89" targetname: "n90" label: "1" color: blue} @@ -44,28 +44,28 @@ graph: { title: "n66" label: "Block 66" status:clustered color:yellow edge: {sourcename: "n66" targetname: "n87" label: "0" color: red} edge: {sourcename: "n66" targetname: "n67" label: "1" color: red} node: {title: "n90" label: "PhiM 90" color: green info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n90" targetname: "n92" label: "0" color: blue} edge: {sourcename: "n90" targetname: "n91" label: "1" color: blue} node: {title: "n65" label: "ProjX 0 65" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n65" targetname: "n70" label: "0" color: red} node: {title: "n69" label: "ProjX 1 69" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n69" targetname: "n70" label: "0" color: red} node: {title: "n70" label: "Cond 70" info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n70" targetname: "n71" label: "0" } node: {title: "n71" label: "Projb Eq 71" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n71" targetname: "n72" label: "0" } node: {title: "n72" label: "CmpT 72" info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n72" targetname: "n77" label: "0" } edge: {sourcename: "n72" targetname: "n73" label: "1" } @@ -75,28 +75,28 @@ graph: { title: "n68" label: "Block 68" status:clustered color:yellow edge: {sourcename: "n68" targetname: "n78" label: "0" color: red} edge: {sourcename: "n68" targetname: "n69" label: "1" color: red} node: {title: "n91" label: "PhiM 91" color: green info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n91" targetname: "n92" label: "0" color: blue} edge: {sourcename: "n91" targetname: "n90" label: "1" color: blue} node: {title: "n88" label: "ProjX 0 88" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n88" targetname: "n84" label: "0" color: red} node: {title: "n67" label: "ProjX 1 67" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n67" targetname: "n84" label: "0" color: red} node: {title: "n84" label: "Cond 84" info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n84" targetname: "n85" label: "0" } node: {title: "n85" label: "Projb Eq 85" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n85" targetname: "n86" label: "0" } node: {title: "n86" label: "CmpT 86" info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n86" targetname: "n77" label: "0" } edge: {sourcename: "n86" targetname: "n73" label: "1" } @@ -105,23 +105,23 @@ edge: {sourcename: "n86" targetname: "n73" label: "1" } graph: { title: "n79" label: "Block 79" status:clustered color:yellow edge: {sourcename: "n79" targetname: "n75" label: "0" color: red} node: {title: "n87" label: "ProjX 1 87" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n87" targetname: "n80" label: "0" color: red} node: {title: "n78" label: "ProjX 0 78" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n78" targetname: "n80" label: "0" color: red} node: {title: "n80" label: "Cond 80" info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n80" targetname: "n81" label: "0" } node: {title: "n81" label: "Projb Eq 81" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n81" targetname: "n82" label: "0" } node: {title: "n82" label: "CmpT 82" info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n82" targetname: "n77" label: "0" } edge: {sourcename: "n82" targetname: "n83" label: "1" } @@ -130,27 +130,27 @@ edge: {sourcename: "n82" targetname: "n83" label: "1" } graph: { title: "n74" label: "Block 74" status:clustered color:yellow edge: {sourcename: "n74" targetname: "n75" label: "0" color: red} node: {title: "n92" label: "ProjM 1 92" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n92" targetname: "n76" label: "0" color: blue} node: {title: "n83" label: "0x1Is 83" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main Const of type type_unknown "} node: {title: "n77" label: "0x0Is 77" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main Const of type type_unknown "} node: {title: "n73" label: "0x2Is 73" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main Const of type type_unknown "} node: {title: "n75" label: "ProjX 0 75" color: yellow info1: "visited: 5 -irg: main +irg: IRR_LOOP_main "} edge: {sourcename: "n75" targetname: "n76" label: "0" color: red} node: {title: "n76" label: "Start 76" color: blue info1: "visited: 5 -irg: main +irg: IRR_LOOP_main start of method of type main "} } diff --git a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg index 22655544b..f84ec9256 100644 --- a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg +++ b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg @@ -17,33 +17,33 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g29" label: "main" status:clustered color:white +graph: { title: "g29" label: "MEMORY_EXAMPLE_main" status:clustered color:white graph: { title: "n78" label: "Block 78" status:clustered color:yellow edge: {sourcename: "n78" targetname: "n79" label: "0" color: red} node: {title: "n77" label: "End 77" color: blue info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} } graph: { title: "n80" label: "Block 80" status:clustered color:yellow edge: {sourcename: "n80" targetname: "n81" label: "0" color: red} node: {title: "n79" label: "Return 79" info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main return in method of type main res 0 type: int "} edge: {sourcename: "n79" targetname: "n115" label: "0" color: blue} edge: {sourcename: "n79" targetname: "n113" label: "1" } node: {title: "n115" label: "ProjM 0 115" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n115" targetname: "n114" label: "0" color: blue} node: {title: "n113" label: "ProjIu 2 113" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n113" targetname: "n114" label: "0" } node: {title: "n114" label: "Load 114" info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n114" targetname: "n97" label: "0" color: blue} edge: {sourcename: "n114" targetname: "n89" label: "1" } @@ -53,75 +53,75 @@ graph: { title: "n82" label: "Block 82" status:clustered color:yellow edge: {sourcename: "n82" targetname: "n112" label: "0" color: red} edge: {sourcename: "n82" targetname: "n83" label: "1" color: red} node: {title: "n81" label: "ProjX 1 81" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n81" targetname: "n84" label: "0" color: red} node: {title: "n83" label: "ProjX 0 83" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n83" targetname: "n84" label: "0" color: red} node: {title: "n84" label: "Cond 84" info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n84" targetname: "n85" label: "0" } node: {title: "n85" label: "Projb Gt 85" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n85" targetname: "n86" label: "0" } node: {title: "n86" label: "CmpT 86" info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n86" targetname: "n111" label: "0" } edge: {sourcename: "n86" targetname: "n87" label: "1" } node: {title: "n87" label: "ProjIu 2 87" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n87" targetname: "n88" label: "0" } node: {title: "n88" label: "Load 88" info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n88" targetname: "n96" label: "0" color: blue} edge: {sourcename: "n88" targetname: "n89" label: "1" } node: {title: "n96" label: "PhiM 96" color: green info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n96" targetname: "n106" label: "0" color: blue} edge: {sourcename: "n96" targetname: "n97" label: "1" color: blue} node: {title: "n97" label: "ProjM 0 97" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n97" targetname: "n98" label: "0" color: blue} node: {title: "n98" label: "Store 98" info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n98" targetname: "n100" label: "0" color: blue} edge: {sourcename: "n98" targetname: "n99" label: "1" } edge: {sourcename: "n98" targetname: "n87" label: "2" } node: {title: "n100" label: "ProjM 0 100" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n100" targetname: "n101" label: "0" color: blue} node: {title: "n101" label: "Store 101" info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n101" targetname: "n105" label: "0" color: blue} edge: {sourcename: "n101" targetname: "n89" label: "1" } edge: {sourcename: "n101" targetname: "n102" label: "2" } node: {title: "n105" label: "ProjM 0 105" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n105" targetname: "n103" label: "0" color: blue} node: {title: "n102" label: "ProjIu 2 102" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n102" targetname: "n103" label: "0" } node: {title: "n103" label: "Load 103" info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n103" targetname: "n104" label: "0" color: blue} edge: {sourcename: "n103" targetname: "n99" label: "1" } node: {title: "n104" label: "ProjM 0 104" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n104" targetname: "n88" label: "0" color: blue} } @@ -129,37 +129,37 @@ edge: {sourcename: "n104" targetname: "n88" label: "0" color: blue} graph: { title: "n90" label: "Block 90" status:clustered color:yellow edge: {sourcename: "n90" targetname: "n91" label: "0" color: red} node: {title: "n112" label: "Jmp 112" info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} node: {title: "n106" label: "ProjM 0 106" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n106" targetname: "n107" label: "0" color: blue} node: {title: "n107" label: "Store 107" info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n107" targetname: "n109" label: "0" color: blue} edge: {sourcename: "n107" targetname: "n99" label: "1" } edge: {sourcename: "n107" targetname: "n108" label: "2" } node: {title: "n109" label: "ProjM 0 109" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n109" targetname: "n110" label: "0" color: blue} node: {title: "n110" label: "Store 110" info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n110" targetname: "n95" label: "0" color: blue} edge: {sourcename: "n110" targetname: "n89" label: "1" } edge: {sourcename: "n110" targetname: "n111" label: "2" } node: {title: "n99" label: "Sel VAR_B 99" info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main Selecting entity of type int from entity of type GlobalType "} edge: {sourcename: "n99" targetname: "n95" label: "0" color: blue} edge: {sourcename: "n99" targetname: "n94" label: "1" } node: {title: "n89" label: "Sel VAR_A 89" info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main Selecting entity of type int from entity of type GlobalType "} @@ -170,27 +170,27 @@ edge: {sourcename: "n89" targetname: "n94" label: "1" } graph: { title: "n92" label: "Block 92" status:clustered color:yellow edge: {sourcename: "n92" targetname: "n91" label: "0" color: red} node: {title: "n111" label: "0x0Iu 111" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main Const of type type_unknown "} node: {title: "n108" label: "0x1Iu 108" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main Const of type type_unknown "} node: {title: "n95" label: "ProjM 1 95" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n95" targetname: "n93" label: "0" color: blue} node: {title: "n94" label: "ProjP 3 94" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n94" targetname: "n93" label: "0" } node: {title: "n91" label: "ProjX 0 91" color: yellow info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main "} edge: {sourcename: "n91" targetname: "n93" label: "0" color: red} node: {title: "n93" label: "Start 93" color: blue info1: "visited: 15 -irg: main +irg: MEMORY_EXAMPLE_main start of method of type main "} } diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg index 13737063a..ac466b965 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg @@ -151,7 +151,7 @@ peculiarity: peculiarity_existent edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e21"class: 12 label: "member" color:blue} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_INLINE_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -159,7 +159,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_INLINE_set_a ld_name: PRIMA_INLINE_set_a offset: -1 irg = g71" @@ -184,7 +184,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_INLINE_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -192,7 +192,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_INLINE_c ld_name: PRIMA_INLINE_c offset: -1 irg = g94" 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 823ab96d5..8612e40c9 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg @@ -60,7 +60,7 @@ irg: OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n127" targetname: "n119" label: "0" color: blue} edge: { sourcename: "n127" targetname: "n110" class: 2 priority: 2 linestyle: dotted} -node: {title: "n126" label: "Sel set_a 126" info1: "visited: 17 +node: {title: "n126" label: "Sel PRIMA_set_a 126" info1: "visited: 17 irg: OO_PROGRAM_EXAMPLE_main Selecting entity of type set_a from entity of type PRIMA @@ -88,7 +88,7 @@ irg: OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n123" targetname: "n124" label: "0" color: blue} edge: { sourcename: "n123" targetname: "n110" class: 2 priority: 2 linestyle: dotted} -node: {title: "n122" label: "Sel c 122" info1: "visited: 17 +node: {title: "n122" label: "Sel PRIMA_c 122" info1: "visited: 17 irg: OO_PROGRAM_EXAMPLE_main Selecting entity of type c from entity of type PRIMA @@ -179,7 +179,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -187,7 +187,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_set_a ld_name: PRIMA_set_a offset: -1 irg = g71" @@ -203,7 +203,7 @@ size: 4B, "} edge: { sourcename: "t16" targetname: "t14"class: 5 label: "param 0" color: green} edge: { sourcename: "t16" targetname: "t12"class: 5 label: "param 1" color: green} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -211,7 +211,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_c ld_name: PRIMA_c offset: -1 irg = g94" diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg index 4d6b89491..9f643fdc5 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg @@ -60,7 +60,7 @@ irg: OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n127" targetname: "n119" label: "0" color: blue} edge: { sourcename: "n127" targetname: "n110" class: 2 priority: 2 linestyle: dotted} -node: {title: "n126" label: "Sel set_a 126" info1: "visited: 15 +node: {title: "n126" label: "Sel PRIMA_set_a 126" info1: "visited: 15 irg: OO_PROGRAM_EXAMPLE_main Selecting entity of type set_a from entity of type PRIMA @@ -88,7 +88,7 @@ irg: OO_PROGRAM_EXAMPLE_main "} edge: {sourcename: "n123" targetname: "n124" label: "0" color: blue} edge: { sourcename: "n123" targetname: "n110" class: 2 priority: 2 linestyle: dotted} -node: {title: "n122" label: "Sel c 122" info1: "visited: 15 +node: {title: "n122" label: "Sel PRIMA_c 122" info1: "visited: 15 irg: OO_PROGRAM_EXAMPLE_main Selecting entity of type c from entity of type PRIMA diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg index 72190a600..92fe49427 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg @@ -61,7 +61,7 @@ edge: {sourcename: "n116" targetname: "n123" label: "0" color: blue} edge: {sourcename: "n116" targetname: "n122" label: "1" } edge: {sourcename: "n116" targetname: "n118" label: "2" } edge: {sourcename: "n116" targetname: "n116n117" label: "3" } -node: {title: "n122" label: "Sel c 122" info1: "visited: 16 +node: {title: "n122" label: "Sel PRIMA_c 122" info1: "visited: 16 irg: OO_PROGRAM_EXAMPLE_main Selecting entity of type c from entity of type PRIMA @@ -86,7 +86,7 @@ edge: {sourcename: "n124" targetname: "n127" label: "0" color: blue} edge: {sourcename: "n124" targetname: "n126" label: "1" } edge: {sourcename: "n124" targetname: "n118" label: "2" } edge: {sourcename: "n124" targetname: "n124n125" label: "3" } -node: {title: "n126" label: "Sel set_a 126" info1: "visited: 16 +node: {title: "n126" label: "Sel PRIMA_set_a 126" info1: "visited: 16 irg: OO_PROGRAM_EXAMPLE_main Selecting entity of type set_a from entity of type PRIMA diff --git a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg index 6e6a7fa65..73e5bd1f1 100644 --- a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg @@ -17,78 +17,78 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g94" label: "c" status:clustered color:white +graph: { title: "g94" label: "PRIMA_INLINE_c" status:clustered color:white graph: { title: "n248" label: "Block 248" status:clustered color:yellow edge: {sourcename: "n248" targetname: "n250" label: "0" color: red} edge: {sourcename: "n248" targetname: "n249" label: "1" color: red} node: {title: "n252" label: "PhiM 252" color: green info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n252" targetname: "n261" label: "0" color: blue} edge: {sourcename: "n252" targetname: "n253" label: "1" color: blue} node: {title: "n253" label: "Store 253" info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n253" targetname: "n252" label: "0" color: blue} edge: {sourcename: "n253" targetname: "n259" label: "1" } edge: {sourcename: "n253" targetname: "n254" label: "2" } node: {title: "n259" label: "Sel a 259" info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c Selecting entity of type int from entity of type PRIMA_INLINE "} edge: {sourcename: "n259" targetname: "n252" label: "0" color: blue} edge: {sourcename: "n259" targetname: "n260" label: "1" } node: {title: "n254" label: "PhiIs 254" color: green info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n254" targetname: "n257" label: "0" } edge: {sourcename: "n254" targetname: "n255" label: "1" } node: {title: "n255" label: "PhiIs 255" color: green info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n255" targetname: "n256" label: "0" } edge: {sourcename: "n255" targetname: "n254" label: "1" } node: {title: "n249" label: "Jmp 249" info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c "} } graph: { title: "n251" label: "Block 251" status:clustered color:yellow edge: {sourcename: "n251" targetname: "n246" label: "0" color: red} node: {title: "n260" label: "ProjP 0 260" color: yellow info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n260" targetname: "n258" label: "0" } node: {title: "n257" label: "ProjIs 1 257" color: yellow info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n257" targetname: "n258" label: "0" } node: {title: "n250" label: "Jmp 250" info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c "} } graph: { title: "n245" label: "Block 245" status:clustered color:yellow edge: {sourcename: "n245" targetname: "n246" label: "0" color: red} node: {title: "n261" label: "ProjM 1 261" color: yellow info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n261" targetname: "n247" label: "0" color: blue} node: {title: "n258" label: "ProjT 4 258" color: yellow info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n258" targetname: "n247" label: "0" } node: {title: "n256" label: "0x0Is 256" color: yellow info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c Const of type type_unknown "} node: {title: "n246" label: "ProjX 0 246" color: yellow info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n246" targetname: "n247" label: "0" color: red} node: {title: "n247" label: "Start 247" color: blue info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c start of method of type c param 0 type: class_prima_ptr param 1 type: int @@ -97,7 +97,7 @@ start of method of type c graph: { title: "n243" label: "Block 243" status:clustered color:yellow node: {title: "n242" label: "End 242" color: blue info1: "visited: 22 -irg: c +irg: PRIMA_INLINE_c "} } @@ -123,7 +123,7 @@ peculiarity: peculiarity_existent edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e21"class: 12 label: "member" color:blue} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_INLINE_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -131,7 +131,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_INLINE_set_a ld_name: PRIMA_INLINE_set_a offset: -1 irg = g71" @@ -156,7 +156,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_INLINE_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -164,7 +164,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_INLINE_c ld_name: PRIMA_INLINE_c offset: -1 irg = g94" diff --git a/testprograms/ref-results/PRIMA_INLINE_c.vcg b/testprograms/ref-results/PRIMA_INLINE_c.vcg index cd685a319..8b2b1f98c 100644 --- a/testprograms/ref-results/PRIMA_INLINE_c.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_c.vcg @@ -17,78 +17,78 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g94" label: "c" status:clustered color:white +graph: { title: "g94" label: "PRIMA_INLINE_c" status:clustered color:white graph: { title: "n248" label: "Block 248" status:clustered color:yellow edge: {sourcename: "n248" targetname: "n250" label: "0" color: red} edge: {sourcename: "n248" targetname: "n249" label: "1" color: red} node: {title: "n252" label: "PhiM 252" color: green info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n252" targetname: "n261" label: "0" color: blue} edge: {sourcename: "n252" targetname: "n253" label: "1" color: blue} node: {title: "n253" label: "Store 253" info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n253" targetname: "n252" label: "0" color: blue} edge: {sourcename: "n253" targetname: "n259" label: "1" } edge: {sourcename: "n253" targetname: "n254" label: "2" } node: {title: "n259" label: "Sel a 259" info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c Selecting entity of type int from entity of type PRIMA_INLINE "} edge: {sourcename: "n259" targetname: "n252" label: "0" color: blue} edge: {sourcename: "n259" targetname: "n260" label: "1" } node: {title: "n254" label: "PhiIs 254" color: green info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n254" targetname: "n257" label: "0" } edge: {sourcename: "n254" targetname: "n255" label: "1" } node: {title: "n255" label: "PhiIs 255" color: green info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n255" targetname: "n256" label: "0" } edge: {sourcename: "n255" targetname: "n254" label: "1" } node: {title: "n249" label: "Jmp 249" info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c "} } graph: { title: "n251" label: "Block 251" status:clustered color:yellow edge: {sourcename: "n251" targetname: "n246" label: "0" color: red} node: {title: "n260" label: "ProjP 0 260" color: yellow info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n260" targetname: "n258" label: "0" } node: {title: "n257" label: "ProjIs 1 257" color: yellow info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n257" targetname: "n258" label: "0" } node: {title: "n250" label: "Jmp 250" info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c "} } graph: { title: "n245" label: "Block 245" status:clustered color:yellow edge: {sourcename: "n245" targetname: "n246" label: "0" color: red} node: {title: "n261" label: "ProjM 1 261" color: yellow info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n261" targetname: "n247" label: "0" color: blue} node: {title: "n258" label: "ProjT 4 258" color: yellow info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n258" targetname: "n247" label: "0" } node: {title: "n256" label: "0x0Is 256" color: yellow info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c Const of type type_unknown "} node: {title: "n246" label: "ProjX 0 246" color: yellow info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c "} edge: {sourcename: "n246" targetname: "n247" label: "0" color: red} node: {title: "n247" label: "Start 247" color: blue info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c start of method of type c param 0 type: class_prima_ptr param 1 type: int @@ -97,7 +97,7 @@ start of method of type c graph: { title: "n243" label: "Block 243" status:clustered color:yellow node: {title: "n242" label: "End 242" color: blue info1: "visited: 21 -irg: c +irg: PRIMA_INLINE_c "} } diff --git a/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg b/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg index f35ab2b89..8e6a32909 100644 --- a/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg @@ -17,44 +17,44 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g71" label: "set_a" status:clustered color:white +graph: { title: "g71" label: "PRIMA_INLINE_set_a" status:clustered color:white graph: { title: "n225" label: "Block 225" status:clustered color:yellow edge: {sourcename: "n225" targetname: "n226" label: "0" color: red} node: {title: "n224" label: "End 224" color: blue info1: "visited: 17 -irg: set_a +irg: PRIMA_INLINE_set_a "} } graph: { title: "n227" label: "Block 227" status:clustered color:yellow edge: {sourcename: "n227" targetname: "n228" label: "0" color: red} node: {title: "n226" label: "Return 226" info1: "visited: 17 -irg: set_a +irg: PRIMA_INLINE_set_a return in method of type set_a "} edge: {sourcename: "n226" targetname: "n231" label: "0" color: blue} node: {title: "n231" label: "ProjM 0 231" color: yellow info1: "visited: 17 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n231" targetname: "n232" label: "0" color: blue} node: {title: "n232" label: "Store 232" info1: "visited: 17 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n232" targetname: "n237" label: "0" color: blue} edge: {sourcename: "n232" targetname: "n235" label: "1" } edge: {sourcename: "n232" targetname: "n233" label: "2" } node: {title: "n235" label: "Sel a 235" info1: "visited: 17 -irg: set_a +irg: PRIMA_INLINE_set_a Selecting entity of type int from entity of type PRIMA_INLINE "} edge: {sourcename: "n235" targetname: "n237" label: "0" color: blue} edge: {sourcename: "n235" targetname: "n236" label: "1" } node: {title: "n236" label: "ProjP 0 236" color: yellow info1: "visited: 17 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n236" targetname: "n234" label: "0" } node: {title: "n233" label: "ProjIs 1 233" color: yellow info1: "visited: 17 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n233" targetname: "n234" label: "0" } } @@ -62,19 +62,19 @@ edge: {sourcename: "n233" targetname: "n234" label: "0" } graph: { title: "n229" label: "Block 229" status:clustered color:yellow edge: {sourcename: "n229" targetname: "n228" label: "0" color: red} node: {title: "n237" label: "ProjM 1 237" color: yellow info1: "visited: 17 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n237" targetname: "n230" label: "0" color: blue} node: {title: "n234" label: "ProjT 4 234" color: yellow info1: "visited: 17 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n234" targetname: "n230" label: "0" } node: {title: "n228" label: "ProjX 0 228" color: yellow info1: "visited: 17 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n228" targetname: "n230" label: "0" color: red} node: {title: "n230" label: "Start 230" color: blue info1: "visited: 17 -irg: set_a +irg: PRIMA_INLINE_set_a start of method of type set_a param 0 type: class_prima_ptr param 1 type: int @@ -103,7 +103,7 @@ peculiarity: peculiarity_existent edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e21"class: 12 label: "member" color:blue} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_INLINE_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -111,7 +111,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_INLINE_set_a ld_name: PRIMA_INLINE_set_a offset: -1 irg = g71" @@ -136,7 +136,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_INLINE_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -144,7 +144,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_INLINE_c ld_name: PRIMA_INLINE_c offset: -1 irg = g94" diff --git a/testprograms/ref-results/PRIMA_INLINE_set_a.vcg b/testprograms/ref-results/PRIMA_INLINE_set_a.vcg index fde9b1cc9..497e12b69 100644 --- a/testprograms/ref-results/PRIMA_INLINE_set_a.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_set_a.vcg @@ -17,44 +17,44 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g71" label: "set_a" status:clustered color:white +graph: { title: "g71" label: "PRIMA_INLINE_set_a" status:clustered color:white graph: { title: "n225" label: "Block 225" status:clustered color:yellow edge: {sourcename: "n225" targetname: "n226" label: "0" color: red} node: {title: "n224" label: "End 224" color: blue info1: "visited: 16 -irg: set_a +irg: PRIMA_INLINE_set_a "} } graph: { title: "n227" label: "Block 227" status:clustered color:yellow edge: {sourcename: "n227" targetname: "n228" label: "0" color: red} node: {title: "n226" label: "Return 226" info1: "visited: 16 -irg: set_a +irg: PRIMA_INLINE_set_a return in method of type set_a "} edge: {sourcename: "n226" targetname: "n231" label: "0" color: blue} node: {title: "n231" label: "ProjM 0 231" color: yellow info1: "visited: 16 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n231" targetname: "n232" label: "0" color: blue} node: {title: "n232" label: "Store 232" info1: "visited: 16 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n232" targetname: "n237" label: "0" color: blue} edge: {sourcename: "n232" targetname: "n235" label: "1" } edge: {sourcename: "n232" targetname: "n233" label: "2" } node: {title: "n235" label: "Sel a 235" info1: "visited: 16 -irg: set_a +irg: PRIMA_INLINE_set_a Selecting entity of type int from entity of type PRIMA_INLINE "} edge: {sourcename: "n235" targetname: "n237" label: "0" color: blue} edge: {sourcename: "n235" targetname: "n236" label: "1" } node: {title: "n236" label: "ProjP 0 236" color: yellow info1: "visited: 16 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n236" targetname: "n234" label: "0" } node: {title: "n233" label: "ProjIs 1 233" color: yellow info1: "visited: 16 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n233" targetname: "n234" label: "0" } } @@ -62,19 +62,19 @@ edge: {sourcename: "n233" targetname: "n234" label: "0" } graph: { title: "n229" label: "Block 229" status:clustered color:yellow edge: {sourcename: "n229" targetname: "n228" label: "0" color: red} node: {title: "n237" label: "ProjM 1 237" color: yellow info1: "visited: 16 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n237" targetname: "n230" label: "0" color: blue} node: {title: "n234" label: "ProjT 4 234" color: yellow info1: "visited: 16 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n234" targetname: "n230" label: "0" } node: {title: "n228" label: "ProjX 0 228" color: yellow info1: "visited: 16 -irg: set_a +irg: PRIMA_INLINE_set_a "} edge: {sourcename: "n228" targetname: "n230" label: "0" color: red} node: {title: "n230" label: "Start 230" color: blue info1: "visited: 16 -irg: set_a +irg: PRIMA_INLINE_set_a start of method of type set_a param 0 type: class_prima_ptr param 1 type: int diff --git a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg index b993392b5..6565fb57a 100644 --- a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg @@ -18,42 +18,42 @@ classname 11: "Overwrites" classname 12: "Member" node: {title: "n157" label: "Block 157" color: lightyellow info1: "visited: 10 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n157" targetname: "n156" label: "0" color: red} node: {title: "n158" label: "Start 158" color: blue info1: "visited: 10 -irg: c +irg: PRIMA_c start of method of type c param 0 type: class_prima_ptr param 1 type: int "} edge: { sourcename: "n158" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n156" label: "ProjX 0 156" color: yellow info1: "visited: 10 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n156" targetname: "n158" label: "0" color: red} edge: { sourcename: "n156" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n155" label: "Block 155" color: lightyellow info1: "visited: 10 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n155" targetname: "n156" label: "0" color: red} node: {title: "n164" label: "ProjT 4 164" color: yellow info1: "visited: 10 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n164" targetname: "n158" label: "0" } edge: { sourcename: "n164" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n163" label: "ProjP 0 163" color: yellow info1: "visited: 10 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n163" targetname: "n164" label: "0" } edge: { sourcename: "n163" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n165" label: "ProjM 1 165" color: yellow info1: "visited: 10 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n165" targetname: "n158" label: "0" color: blue} edge: { sourcename: "n165" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n162" label: "Sel a 162" info1: "visited: 10 -irg: c +irg: PRIMA_c Selecting entity of type int from entity of type PRIMA "} @@ -61,34 +61,34 @@ edge: {sourcename: "n162" targetname: "n165" label: "0" color: blue} edge: {sourcename: "n162" targetname: "n163" label: "1" } edge: { sourcename: "n162" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n161" label: "Load 161" info1: "visited: 10 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n161" targetname: "n165" label: "0" color: blue} edge: {sourcename: "n161" targetname: "n162" label: "1" } edge: { sourcename: "n161" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n160" label: "ProjIs 2 160" color: yellow info1: "visited: 10 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n160" targetname: "n161" label: "0" } edge: { sourcename: "n160" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n166" label: "ProjIs 1 166" color: yellow info1: "visited: 10 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n166" targetname: "n164" label: "0" } edge: { sourcename: "n166" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n159" label: "AddIs 159" info1: "visited: 10 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n159" targetname: "n166" label: "0" } edge: {sourcename: "n159" targetname: "n160" label: "1" } edge: { sourcename: "n159" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n167" label: "ProjM 0 167" color: yellow info1: "visited: 10 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n167" targetname: "n161" label: "0" color: blue} edge: { sourcename: "n167" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n154" label: "Return 154" info1: "visited: 10 -irg: c +irg: PRIMA_c return in method of type c res 0 type: int "} @@ -96,11 +96,11 @@ edge: {sourcename: "n154" targetname: "n167" label: "0" color: blue} edge: {sourcename: "n154" targetname: "n159" label: "1" } edge: { sourcename: "n154" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n153" label: "Block 153" color: lightyellow info1: "visited: 10 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n153" targetname: "n154" label: "0" color: red} node: {title: "n152" label: "End 152" color: blue info1: "visited: 10 -irg: c +irg: PRIMA_c "} edge: { sourcename: "n152" targetname: "n153" class: 2 priority: 2 linestyle: dotted} node: {title: "e15" label: "ent a" color: yellow @@ -123,7 +123,7 @@ peculiarity: peculiarity_existent edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e21"class: 12 label: "member" color:blue} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -131,7 +131,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_set_a ld_name: PRIMA_set_a offset: -1 irg = g71" @@ -156,7 +156,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -164,7 +164,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_c ld_name: PRIMA_c offset: -1 irg = g94" diff --git a/testprograms/ref-results/PRIMA_c-pure.vcg b/testprograms/ref-results/PRIMA_c-pure.vcg index 7fc5e2be1..0e121869c 100644 --- a/testprograms/ref-results/PRIMA_c-pure.vcg +++ b/testprograms/ref-results/PRIMA_c-pure.vcg @@ -18,42 +18,42 @@ classname 11: "Overwrites" classname 12: "Member" node: {title: "n157" label: "Block 157" color: lightyellow info1: "visited: 8 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n157" targetname: "n156" label: "0" color: red} node: {title: "n158" label: "Start 158" color: blue info1: "visited: 8 -irg: c +irg: PRIMA_c start of method of type c param 0 type: class_prima_ptr param 1 type: int "} edge: { sourcename: "n158" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n156" label: "ProjX 0 156" color: yellow info1: "visited: 8 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n156" targetname: "n158" label: "0" color: red} edge: { sourcename: "n156" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n155" label: "Block 155" color: lightyellow info1: "visited: 8 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n155" targetname: "n156" label: "0" color: red} node: {title: "n164" label: "ProjT 4 164" color: yellow info1: "visited: 8 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n164" targetname: "n158" label: "0" } edge: { sourcename: "n164" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n163" label: "ProjP 0 163" color: yellow info1: "visited: 8 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n163" targetname: "n164" label: "0" } edge: { sourcename: "n163" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n165" label: "ProjM 1 165" color: yellow info1: "visited: 8 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n165" targetname: "n158" label: "0" color: blue} edge: { sourcename: "n165" targetname: "n157" class: 2 priority: 2 linestyle: dotted} node: {title: "n162" label: "Sel a 162" info1: "visited: 8 -irg: c +irg: PRIMA_c Selecting entity of type int from entity of type PRIMA "} @@ -61,34 +61,34 @@ edge: {sourcename: "n162" targetname: "n165" label: "0" color: blue} edge: {sourcename: "n162" targetname: "n163" label: "1" } edge: { sourcename: "n162" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n161" label: "Load 161" info1: "visited: 8 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n161" targetname: "n165" label: "0" color: blue} edge: {sourcename: "n161" targetname: "n162" label: "1" } edge: { sourcename: "n161" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n160" label: "ProjIs 2 160" color: yellow info1: "visited: 8 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n160" targetname: "n161" label: "0" } edge: { sourcename: "n160" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n166" label: "ProjIs 1 166" color: yellow info1: "visited: 8 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n166" targetname: "n164" label: "0" } edge: { sourcename: "n166" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n159" label: "AddIs 159" info1: "visited: 8 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n159" targetname: "n166" label: "0" } edge: {sourcename: "n159" targetname: "n160" label: "1" } edge: { sourcename: "n159" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n167" label: "ProjM 0 167" color: yellow info1: "visited: 8 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n167" targetname: "n161" label: "0" color: blue} edge: { sourcename: "n167" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n154" label: "Return 154" info1: "visited: 8 -irg: c +irg: PRIMA_c return in method of type c res 0 type: int "} @@ -96,11 +96,11 @@ edge: {sourcename: "n154" targetname: "n167" label: "0" color: blue} edge: {sourcename: "n154" targetname: "n159" label: "1" } edge: { sourcename: "n154" targetname: "n155" class: 2 priority: 2 linestyle: dotted} node: {title: "n153" label: "Block 153" color: lightyellow info1: "visited: 8 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n153" targetname: "n154" label: "0" color: red} node: {title: "n152" label: "End 152" color: blue info1: "visited: 8 -irg: c +irg: PRIMA_c "} edge: { sourcename: "n152" targetname: "n153" class: 2 priority: 2 linestyle: dotted} } diff --git a/testprograms/ref-results/PRIMA_c-type.vcg b/testprograms/ref-results/PRIMA_c-type.vcg index 5801340e5..6eaff2b4d 100644 --- a/testprograms/ref-results/PRIMA_c-type.vcg +++ b/testprograms/ref-results/PRIMA_c-type.vcg @@ -37,7 +37,7 @@ peculiarity: peculiarity_existent edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e21"class: 12 label: "member" color:blue} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -45,7 +45,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_set_a ld_name: PRIMA_set_a offset: -1 irg = g71" @@ -70,7 +70,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -78,7 +78,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_c ld_name: PRIMA_c offset: -1 irg = g94" diff --git a/testprograms/ref-results/PRIMA_c-wtypes.vcg b/testprograms/ref-results/PRIMA_c-wtypes.vcg index 1855c9b1f..10c5c826d 100644 --- a/testprograms/ref-results/PRIMA_c-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_c-wtypes.vcg @@ -17,54 +17,54 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g94" label: "c" status:clustered color:white +graph: { title: "g94" label: "PRIMA_c" status:clustered color:white graph: { title: "n153" label: "Block 153" status:clustered color:yellow edge: {sourcename: "n153" targetname: "n154" label: "0" color: red} node: {title: "n152" label: "End 152" color: blue info1: "visited: 13 -irg: c +irg: PRIMA_c "} } graph: { title: "n155" label: "Block 155" status:clustered color:yellow edge: {sourcename: "n155" targetname: "n156" label: "0" color: red} node: {title: "n154" label: "Return 154" info1: "visited: 13 -irg: c +irg: PRIMA_c return in method of type c res 0 type: int "} edge: {sourcename: "n154" targetname: "n167" label: "0" color: blue} edge: {sourcename: "n154" targetname: "n159" label: "1" } node: {title: "n167" label: "ProjM 0 167" color: yellow info1: "visited: 13 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n167" targetname: "n161" label: "0" color: blue} node: {title: "n159" label: "AddIs 159" info1: "visited: 13 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n159" targetname: "n166" label: "0" } edge: {sourcename: "n159" targetname: "n160" label: "1" } node: {title: "n166" label: "ProjIs 1 166" color: yellow info1: "visited: 13 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n166" targetname: "n164" label: "0" } node: {title: "n160" label: "ProjIs 2 160" color: yellow info1: "visited: 13 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n160" targetname: "n161" label: "0" } node: {title: "n161" label: "Load 161" info1: "visited: 13 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n161" targetname: "n165" label: "0" color: blue} edge: {sourcename: "n161" targetname: "n162" label: "1" } node: {title: "n162" label: "Sel a 162" info1: "visited: 13 -irg: c +irg: PRIMA_c Selecting entity of type int from entity of type PRIMA "} edge: {sourcename: "n162" targetname: "n165" label: "0" color: blue} edge: {sourcename: "n162" targetname: "n163" label: "1" } node: {title: "n163" label: "ProjP 0 163" color: yellow info1: "visited: 13 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n163" targetname: "n164" label: "0" } } @@ -72,19 +72,19 @@ edge: {sourcename: "n163" targetname: "n164" label: "0" } graph: { title: "n157" label: "Block 157" status:clustered color:yellow edge: {sourcename: "n157" targetname: "n156" label: "0" color: red} node: {title: "n165" label: "ProjM 1 165" color: yellow info1: "visited: 13 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n165" targetname: "n158" label: "0" color: blue} node: {title: "n164" label: "ProjT 4 164" color: yellow info1: "visited: 13 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n164" targetname: "n158" label: "0" } node: {title: "n156" label: "ProjX 0 156" color: yellow info1: "visited: 13 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n156" targetname: "n158" label: "0" color: red} node: {title: "n158" label: "Start 158" color: blue info1: "visited: 13 -irg: c +irg: PRIMA_c start of method of type c param 0 type: class_prima_ptr param 1 type: int @@ -113,7 +113,7 @@ peculiarity: peculiarity_existent edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e21"class: 12 label: "member" color:blue} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -121,7 +121,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_set_a ld_name: PRIMA_set_a offset: -1 irg = g71" @@ -146,7 +146,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -154,7 +154,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_c ld_name: PRIMA_c offset: -1 irg = g94" diff --git a/testprograms/ref-results/PRIMA_c.vcg b/testprograms/ref-results/PRIMA_c.vcg index c2b64a211..2ffc49165 100644 --- a/testprograms/ref-results/PRIMA_c.vcg +++ b/testprograms/ref-results/PRIMA_c.vcg @@ -17,54 +17,54 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g94" label: "c" status:clustered color:white +graph: { title: "g94" label: "PRIMA_c" status:clustered color:white graph: { title: "n153" label: "Block 153" status:clustered color:yellow edge: {sourcename: "n153" targetname: "n154" label: "0" color: red} node: {title: "n152" label: "End 152" color: blue info1: "visited: 9 -irg: c +irg: PRIMA_c "} } graph: { title: "n155" label: "Block 155" status:clustered color:yellow edge: {sourcename: "n155" targetname: "n156" label: "0" color: red} node: {title: "n154" label: "Return 154" info1: "visited: 9 -irg: c +irg: PRIMA_c return in method of type c res 0 type: int "} edge: {sourcename: "n154" targetname: "n167" label: "0" color: blue} edge: {sourcename: "n154" targetname: "n159" label: "1" } node: {title: "n167" label: "ProjM 0 167" color: yellow info1: "visited: 9 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n167" targetname: "n161" label: "0" color: blue} node: {title: "n159" label: "AddIs 159" info1: "visited: 9 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n159" targetname: "n166" label: "0" } edge: {sourcename: "n159" targetname: "n160" label: "1" } node: {title: "n166" label: "ProjIs 1 166" color: yellow info1: "visited: 9 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n166" targetname: "n164" label: "0" } node: {title: "n160" label: "ProjIs 2 160" color: yellow info1: "visited: 9 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n160" targetname: "n161" label: "0" } node: {title: "n161" label: "Load 161" info1: "visited: 9 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n161" targetname: "n165" label: "0" color: blue} edge: {sourcename: "n161" targetname: "n162" label: "1" } node: {title: "n162" label: "Sel a 162" info1: "visited: 9 -irg: c +irg: PRIMA_c Selecting entity of type int from entity of type PRIMA "} edge: {sourcename: "n162" targetname: "n165" label: "0" color: blue} edge: {sourcename: "n162" targetname: "n163" label: "1" } node: {title: "n163" label: "ProjP 0 163" color: yellow info1: "visited: 9 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n163" targetname: "n164" label: "0" } } @@ -72,19 +72,19 @@ edge: {sourcename: "n163" targetname: "n164" label: "0" } graph: { title: "n157" label: "Block 157" status:clustered color:yellow edge: {sourcename: "n157" targetname: "n156" label: "0" color: red} node: {title: "n165" label: "ProjM 1 165" color: yellow info1: "visited: 9 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n165" targetname: "n158" label: "0" color: blue} node: {title: "n164" label: "ProjT 4 164" color: yellow info1: "visited: 9 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n164" targetname: "n158" label: "0" } node: {title: "n156" label: "ProjX 0 156" color: yellow info1: "visited: 9 -irg: c +irg: PRIMA_c "} edge: {sourcename: "n156" targetname: "n158" label: "0" color: red} node: {title: "n158" label: "Start 158" color: blue info1: "visited: 9 -irg: c +irg: PRIMA_c start of method of type c param 0 type: class_prima_ptr param 1 type: int diff --git a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg index 807eb0404..ed09ce07f 100644 --- a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg @@ -18,47 +18,47 @@ classname 11: "Overwrites" classname 12: "Member" node: {title: "n139" label: "Block 139" color: lightyellow info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n139" targetname: "n138" label: "0" color: red} node: {title: "n140" label: "Start 140" color: blue info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a start of method of type set_a param 0 type: class_prima_ptr param 1 type: int "} edge: { sourcename: "n140" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n138" label: "ProjX 0 138" color: yellow info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n138" targetname: "n140" label: "0" color: red} edge: { sourcename: "n138" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n137" label: "Block 137" color: lightyellow info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n137" targetname: "n138" label: "0" color: red} node: {title: "n144" label: "ProjT 4 144" color: yellow info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n144" targetname: "n140" label: "0" } edge: { sourcename: "n144" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n143" label: "ProjIs 1 143" color: yellow info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n143" targetname: "n144" label: "0" } edge: { sourcename: "n143" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n146" label: "ProjP 0 146" color: yellow info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n146" targetname: "n144" label: "0" } edge: { sourcename: "n146" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n147" label: "ProjM 1 147" color: yellow info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n147" targetname: "n140" label: "0" color: blue} edge: { sourcename: "n147" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n145" label: "Sel a 145" info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a Selecting entity of type int from entity of type PRIMA "} @@ -66,29 +66,29 @@ edge: {sourcename: "n145" targetname: "n147" label: "0" color: blue} edge: {sourcename: "n145" targetname: "n146" label: "1" } edge: { sourcename: "n145" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n142" label: "Store 142" info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n142" targetname: "n147" label: "0" color: blue} edge: {sourcename: "n142" targetname: "n145" label: "1" } edge: {sourcename: "n142" targetname: "n143" label: "2" } edge: { sourcename: "n142" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n141" label: "ProjM 0 141" color: yellow info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n141" targetname: "n142" label: "0" color: blue} edge: { sourcename: "n141" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n136" label: "Return 136" info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a return in method of type set_a "} edge: {sourcename: "n136" targetname: "n141" label: "0" color: blue} edge: { sourcename: "n136" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n135" label: "Block 135" color: lightyellow info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n135" targetname: "n136" label: "0" color: red} node: {title: "n134" label: "End 134" color: blue info1: "visited: 10 -irg: set_a +irg: PRIMA_set_a "} edge: { sourcename: "n134" targetname: "n135" class: 2 priority: 2 linestyle: dotted} node: {title: "e15" label: "ent a" color: yellow @@ -111,7 +111,7 @@ peculiarity: peculiarity_existent edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e21"class: 12 label: "member" color:blue} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -119,7 +119,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_set_a ld_name: PRIMA_set_a offset: -1 irg = g71" @@ -144,7 +144,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -152,7 +152,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_c ld_name: PRIMA_c offset: -1 irg = g94" diff --git a/testprograms/ref-results/PRIMA_set_a-pure.vcg b/testprograms/ref-results/PRIMA_set_a-pure.vcg index 2a21f236e..94b149301 100644 --- a/testprograms/ref-results/PRIMA_set_a-pure.vcg +++ b/testprograms/ref-results/PRIMA_set_a-pure.vcg @@ -18,47 +18,47 @@ classname 11: "Overwrites" classname 12: "Member" node: {title: "n139" label: "Block 139" color: lightyellow info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n139" targetname: "n138" label: "0" color: red} node: {title: "n140" label: "Start 140" color: blue info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a start of method of type set_a param 0 type: class_prima_ptr param 1 type: int "} edge: { sourcename: "n140" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n138" label: "ProjX 0 138" color: yellow info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n138" targetname: "n140" label: "0" color: red} edge: { sourcename: "n138" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n137" label: "Block 137" color: lightyellow info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n137" targetname: "n138" label: "0" color: red} node: {title: "n144" label: "ProjT 4 144" color: yellow info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n144" targetname: "n140" label: "0" } edge: { sourcename: "n144" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n143" label: "ProjIs 1 143" color: yellow info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n143" targetname: "n144" label: "0" } edge: { sourcename: "n143" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n146" label: "ProjP 0 146" color: yellow info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n146" targetname: "n144" label: "0" } edge: { sourcename: "n146" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n147" label: "ProjM 1 147" color: yellow info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n147" targetname: "n140" label: "0" color: blue} edge: { sourcename: "n147" targetname: "n139" class: 2 priority: 2 linestyle: dotted} node: {title: "n145" label: "Sel a 145" info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a Selecting entity of type int from entity of type PRIMA "} @@ -66,29 +66,29 @@ edge: {sourcename: "n145" targetname: "n147" label: "0" color: blue} edge: {sourcename: "n145" targetname: "n146" label: "1" } edge: { sourcename: "n145" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n142" label: "Store 142" info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n142" targetname: "n147" label: "0" color: blue} edge: {sourcename: "n142" targetname: "n145" label: "1" } edge: {sourcename: "n142" targetname: "n143" label: "2" } edge: { sourcename: "n142" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n141" label: "ProjM 0 141" color: yellow info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n141" targetname: "n142" label: "0" color: blue} edge: { sourcename: "n141" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n136" label: "Return 136" info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a return in method of type set_a "} edge: {sourcename: "n136" targetname: "n141" label: "0" color: blue} edge: { sourcename: "n136" targetname: "n137" class: 2 priority: 2 linestyle: dotted} node: {title: "n135" label: "Block 135" color: lightyellow info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n135" targetname: "n136" label: "0" color: red} node: {title: "n134" label: "End 134" color: blue info1: "visited: 8 -irg: set_a +irg: PRIMA_set_a "} edge: { sourcename: "n134" targetname: "n135" class: 2 priority: 2 linestyle: dotted} } diff --git a/testprograms/ref-results/PRIMA_set_a-type.vcg b/testprograms/ref-results/PRIMA_set_a-type.vcg index 1ba36b4a0..b8b21f89d 100644 --- a/testprograms/ref-results/PRIMA_set_a-type.vcg +++ b/testprograms/ref-results/PRIMA_set_a-type.vcg @@ -37,7 +37,7 @@ peculiarity: peculiarity_existent edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e21"class: 12 label: "member" color:blue} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -45,7 +45,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_set_a ld_name: PRIMA_set_a offset: -1 irg = g71" @@ -70,7 +70,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -78,7 +78,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_c ld_name: PRIMA_c offset: -1 irg = g94" diff --git a/testprograms/ref-results/PRIMA_set_a-wtypes.vcg b/testprograms/ref-results/PRIMA_set_a-wtypes.vcg index 9f7a9fbfb..ebf97c965 100644 --- a/testprograms/ref-results/PRIMA_set_a-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_set_a-wtypes.vcg @@ -17,44 +17,44 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g71" label: "set_a" status:clustered color:white +graph: { title: "g71" label: "PRIMA_set_a" status:clustered color:white graph: { title: "n135" label: "Block 135" status:clustered color:yellow edge: {sourcename: "n135" targetname: "n136" label: "0" color: red} node: {title: "n134" label: "End 134" color: blue info1: "visited: 13 -irg: set_a +irg: PRIMA_set_a "} } graph: { title: "n137" label: "Block 137" status:clustered color:yellow edge: {sourcename: "n137" targetname: "n138" label: "0" color: red} node: {title: "n136" label: "Return 136" info1: "visited: 13 -irg: set_a +irg: PRIMA_set_a return in method of type set_a "} edge: {sourcename: "n136" targetname: "n141" label: "0" color: blue} node: {title: "n141" label: "ProjM 0 141" color: yellow info1: "visited: 13 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n141" targetname: "n142" label: "0" color: blue} node: {title: "n142" label: "Store 142" info1: "visited: 13 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n142" targetname: "n147" label: "0" color: blue} edge: {sourcename: "n142" targetname: "n145" label: "1" } edge: {sourcename: "n142" targetname: "n143" label: "2" } node: {title: "n145" label: "Sel a 145" info1: "visited: 13 -irg: set_a +irg: PRIMA_set_a Selecting entity of type int from entity of type PRIMA "} edge: {sourcename: "n145" targetname: "n147" label: "0" color: blue} edge: {sourcename: "n145" targetname: "n146" label: "1" } node: {title: "n146" label: "ProjP 0 146" color: yellow info1: "visited: 13 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n146" targetname: "n144" label: "0" } node: {title: "n143" label: "ProjIs 1 143" color: yellow info1: "visited: 13 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n143" targetname: "n144" label: "0" } } @@ -62,19 +62,19 @@ edge: {sourcename: "n143" targetname: "n144" label: "0" } graph: { title: "n139" label: "Block 139" status:clustered color:yellow edge: {sourcename: "n139" targetname: "n138" label: "0" color: red} node: {title: "n147" label: "ProjM 1 147" color: yellow info1: "visited: 13 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n147" targetname: "n140" label: "0" color: blue} node: {title: "n144" label: "ProjT 4 144" color: yellow info1: "visited: 13 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n144" targetname: "n140" label: "0" } node: {title: "n138" label: "ProjX 0 138" color: yellow info1: "visited: 13 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n138" targetname: "n140" label: "0" color: red} node: {title: "n140" label: "Start 140" color: blue info1: "visited: 13 -irg: set_a +irg: PRIMA_set_a start of method of type set_a param 0 type: class_prima_ptr param 1 type: int @@ -103,7 +103,7 @@ peculiarity: peculiarity_existent edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue} edge: { sourcename: "t13" targetname: "e21"class: 12 label: "member" color:blue} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -111,7 +111,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_set_a ld_name: PRIMA_set_a offset: -1 irg = g71" @@ -136,7 +136,7 @@ node: {title: "t12" label: "primitive int" info1: "state: layout_fixed, mode: Is, size: 4B, "} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -144,7 +144,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_c ld_name: PRIMA_c offset: -1 irg = g94" diff --git a/testprograms/ref-results/PRIMA_set_a.vcg b/testprograms/ref-results/PRIMA_set_a.vcg index 50be0509e..a2582c89c 100644 --- a/testprograms/ref-results/PRIMA_set_a.vcg +++ b/testprograms/ref-results/PRIMA_set_a.vcg @@ -17,44 +17,44 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g71" label: "set_a" status:clustered color:white +graph: { title: "g71" label: "PRIMA_set_a" status:clustered color:white graph: { title: "n135" label: "Block 135" status:clustered color:yellow edge: {sourcename: "n135" targetname: "n136" label: "0" color: red} node: {title: "n134" label: "End 134" color: blue info1: "visited: 9 -irg: set_a +irg: PRIMA_set_a "} } graph: { title: "n137" label: "Block 137" status:clustered color:yellow edge: {sourcename: "n137" targetname: "n138" label: "0" color: red} node: {title: "n136" label: "Return 136" info1: "visited: 9 -irg: set_a +irg: PRIMA_set_a return in method of type set_a "} edge: {sourcename: "n136" targetname: "n141" label: "0" color: blue} node: {title: "n141" label: "ProjM 0 141" color: yellow info1: "visited: 9 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n141" targetname: "n142" label: "0" color: blue} node: {title: "n142" label: "Store 142" info1: "visited: 9 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n142" targetname: "n147" label: "0" color: blue} edge: {sourcename: "n142" targetname: "n145" label: "1" } edge: {sourcename: "n142" targetname: "n143" label: "2" } node: {title: "n145" label: "Sel a 145" info1: "visited: 9 -irg: set_a +irg: PRIMA_set_a Selecting entity of type int from entity of type PRIMA "} edge: {sourcename: "n145" targetname: "n147" label: "0" color: blue} edge: {sourcename: "n145" targetname: "n146" label: "1" } node: {title: "n146" label: "ProjP 0 146" color: yellow info1: "visited: 9 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n146" targetname: "n144" label: "0" } node: {title: "n143" label: "ProjIs 1 143" color: yellow info1: "visited: 9 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n143" targetname: "n144" label: "0" } } @@ -62,19 +62,19 @@ edge: {sourcename: "n143" targetname: "n144" label: "0" } graph: { title: "n139" label: "Block 139" status:clustered color:yellow edge: {sourcename: "n139" targetname: "n138" label: "0" color: red} node: {title: "n147" label: "ProjM 1 147" color: yellow info1: "visited: 9 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n147" targetname: "n140" label: "0" color: blue} node: {title: "n144" label: "ProjT 4 144" color: yellow info1: "visited: 9 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n144" targetname: "n140" label: "0" } node: {title: "n138" label: "ProjX 0 138" color: yellow info1: "visited: 9 -irg: set_a +irg: PRIMA_set_a "} edge: {sourcename: "n138" targetname: "n140" label: "0" color: red} node: {title: "n140" label: "Start 140" color: blue info1: "visited: 9 -irg: set_a +irg: PRIMA_set_a start of method of type set_a param 0 type: class_prima_ptr param 1 type: int diff --git a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg index 031d8b231..98fc1eb57 100644 --- a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg @@ -17,25 +17,25 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -graph: { title: "g29" label: "main" status:clustered color:white +graph: { title: "g29" label: "WHILE_EXAMPLE_main" status:clustered color:white graph: { title: "n67" label: "Block 67" status:clustered color:yellow edge: {sourcename: "n67" targetname: "n68" label: "0" color: red} node: {title: "n66" label: "End 66" color: blue info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} } graph: { title: "n69" label: "Block 69" status:clustered color:yellow edge: {sourcename: "n69" targetname: "n70" label: "0" color: red} node: {title: "n68" label: "Return 68" info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main return in method of type main_tp res 0 type: int "} edge: {sourcename: "n68" targetname: "n90" label: "0" color: blue} edge: {sourcename: "n68" targetname: "n89" label: "1" } node: {title: "n89" label: "SubIs 89" info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} edge: {sourcename: "n89" targetname: "n79" label: "0" } edge: {sourcename: "n89" targetname: "n78" label: "1" } @@ -45,33 +45,33 @@ graph: { title: "n71" label: "Block 71" status:clustered color:yellow edge: {sourcename: "n71" targetname: "n88" label: "0" color: red} edge: {sourcename: "n71" targetname: "n72" label: "1" color: red} node: {title: "n70" label: "ProjX 0 70" color: yellow info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} edge: {sourcename: "n70" targetname: "n75" label: "0" color: red} node: {title: "n74" label: "ProjX 1 74" color: yellow info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} edge: {sourcename: "n74" targetname: "n75" label: "0" color: red} node: {title: "n75" label: "Cond 75" info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} edge: {sourcename: "n75" targetname: "n76" label: "0" } node: {title: "n76" label: "Projb Eq 76" color: yellow info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} edge: {sourcename: "n76" targetname: "n77" label: "0" } node: {title: "n77" label: "CmpT 77" info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} edge: {sourcename: "n77" targetname: "n87" label: "0" } edge: {sourcename: "n77" targetname: "n78" label: "1" } node: {title: "n78" label: "PhiIs 78" color: green info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} edge: {sourcename: "n78" targetname: "n86" label: "0" } edge: {sourcename: "n78" targetname: "n79" label: "1" } node: {title: "n79" label: "PhiIs 79" color: green info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} edge: {sourcename: "n79" targetname: "n80" label: "0" } edge: {sourcename: "n79" targetname: "n78" label: "1" } @@ -80,17 +80,17 @@ edge: {sourcename: "n79" targetname: "n78" label: "1" } graph: { title: "n73" label: "Block 73" status:clustered color:yellow edge: {sourcename: "n73" targetname: "n74" label: "0" color: red} node: {title: "n72" label: "Jmp 72" info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} } graph: { title: "n81" label: "Block 81" status:clustered color:yellow edge: {sourcename: "n81" targetname: "n82" label: "0" color: red} node: {title: "n88" label: "Jmp 88" info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} node: {title: "n80" label: "ProjIs 0 80" color: yellow info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} edge: {sourcename: "n80" targetname: "n85" label: "0" } } @@ -98,27 +98,27 @@ edge: {sourcename: "n80" targetname: "n85" label: "0" } graph: { title: "n83" label: "Block 83" status:clustered color:yellow edge: {sourcename: "n83" targetname: "n82" label: "0" color: red} node: {title: "n90" label: "ProjM 1 90" color: yellow info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} edge: {sourcename: "n90" targetname: "n84" label: "0" color: blue} node: {title: "n87" label: "0x0Is 87" color: yellow info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main Const of type type_unknown "} node: {title: "n86" label: "0x1Is 86" color: yellow info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main Const of type type_unknown "} node: {title: "n85" label: "ProjT 4 85" color: yellow info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} edge: {sourcename: "n85" targetname: "n84" label: "0" } node: {title: "n82" label: "ProjX 0 82" color: yellow info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main "} edge: {sourcename: "n82" targetname: "n84" label: "0" color: red} node: {title: "n84" label: "Start 84" color: blue info1: "visited: 15 -irg: main +irg: WHILE_EXAMPLE_main start of method of type main_tp param 0 type: int "} diff --git a/testprograms/ref-results/class_hierarchy.vcg b/testprograms/ref-results/class_hierarchy.vcg index a5d48594d..d411e3731 100644 --- a/testprograms/ref-results/class_hierarchy.vcg +++ b/testprograms/ref-results/class_hierarchy.vcg @@ -34,7 +34,7 @@ ld_name: no yet set offset: -1" } edge: { sourcename: "t13" targetname: "e15"class: 12 label: "member" color:blue} -node: {title: "e18" label: "ent set_a" color: yellow +node: {title: "e18" label: "ent PRIMA_set_a" color: yellow info1: " id: e18 allocation: allocation_static @@ -42,13 +42,13 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: set_a +name: PRIMA_set_a ld_name: PRIMA_set_a offset: -1 irg = g71" } edge: { sourcename: "t13" targetname: "e18"class: 12 label: "member" color:blue} -node: {title: "e21" label: "ent c" color: yellow +node: {title: "e21" label: "ent PRIMA_c" color: yellow info1: " id: e21 allocation: allocation_static @@ -56,7 +56,7 @@ visibility: visibility_local variability: variability_constant volatility: volatility_non_volatile peculiarity: peculiarity_existent -name: c +name: PRIMA_c ld_name: PRIMA_c offset: -1 irg = g94" -- 2.20.1