From 8b75532f747ea86f0afcbc3525e8db0726d29b33 Mon Sep 17 00:00:00 2001 From: Beyhan Date: Fri, 24 Sep 2004 13:10:00 +0000 Subject: [PATCH] flag volatility added [r3936] --- testprograms/oo_program_example.c | 2 +- testprograms/recursions.c | 2 +- .../ref-results/ARRAY-HEAP_EXAMPLE_main.vcg | 3 ++- .../ARRAY-STACK_EXAMPLE_main-wtypes.vcg | 3 ++- .../ref-results/ARRAY-STACK_EXAMPLE_main.vcg | 3 ++- testprograms/ref-results/All_graphs.vcg | 4 ++- .../ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg | 1 + .../ref-results/GLOBAL_CSE_EXAMPLE_main.vcg | 26 +++++++++---------- .../GLOBAL_VAR_main-pure-wtypes.vcg | 1 + testprograms/ref-results/GLOBAL_VAR_main.vcg | 1 + .../ref-results/MEMORY_EXAMPLE_main.vcg | 13 +++++++--- .../OO_INLINE_EXAMPLE_main-wtypes.vcg | 2 ++ .../ref-results/OO_INLINE_EXAMPLE_main.vcg | 2 ++ .../OO_PROGRAM_EXAMPLE_main-ip.vcg | 4 ++- .../OO_PROGRAM_EXAMPLE_main-pure-ip.vcg | 4 ++- ...OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg | 4 ++- .../OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg | 4 ++- .../ref-results/PRIMA_INLINE_c-wtypes.vcg | 1 + testprograms/ref-results/PRIMA_INLINE_c.vcg | 1 + .../ref-results/PRIMA_INLINE_set_a-wtypes.vcg | 1 + .../ref-results/PRIMA_INLINE_set_a.vcg | 1 + .../ref-results/PRIMA_c-pure-wtypes.vcg | 3 ++- testprograms/ref-results/PRIMA_c-pure.vcg | 3 ++- testprograms/ref-results/PRIMA_c-wtypes.vcg | 3 ++- testprograms/ref-results/PRIMA_c.vcg | 3 ++- .../ref-results/PRIMA_set_a-pure-wtypes.vcg | 1 + testprograms/ref-results/PRIMA_set_a-pure.vcg | 1 + .../ref-results/PRIMA_set_a-wtypes.vcg | 1 + testprograms/ref-results/PRIMA_set_a.vcg | 1 + 29 files changed, 69 insertions(+), 30 deletions(-) diff --git a/testprograms/oo_program_example.c b/testprograms/oo_program_example.c index ee93a7e9a..a2c893056 100644 --- a/testprograms/oo_program_example.c +++ b/testprograms/oo_program_example.c @@ -262,7 +262,7 @@ main(void) entity **free_methods; int arr_len; - cgana(&arr_len, &free_methods, 0); + cgana(&arr_len, &free_methods); cg_construct(arr_len, free_methods); interprocedural_view = 1; diff --git a/testprograms/recursions.c b/testprograms/recursions.c index bda4cda7e..a6d5add0b 100644 --- a/testprograms/recursions.c +++ b/testprograms/recursions.c @@ -172,7 +172,7 @@ main(void) entity **free_methods; int arr_len; - cgana(&arr_len, &free_methods, 0); + cgana(&arr_len, &free_methods); compute_callgraph(); find_callgraph_recursions(); //dump_callgraph(""); /* Order of edges depends on set.c, which is not deterministic. */ diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg index 9d2ef1b8f..75f220462 100644 --- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg +++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg @@ -84,10 +84,11 @@ irg: ARRAY-HEAP_EXAMPLE_main arity: 1 "color: yellow} edge: {sourcename: "n45" targetname: "n42" label: "0" class:1 priority:50} -node: {title: "n42" label: "Load 42" info1: "mode: T +node: {title: "n42" label: "Load[Is] 42" info1: "mode: T visited: 11 irg: ARRAY-HEAP_EXAMPLE_main arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n42" targetname: "n38" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n42" targetname: "n41" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg index a19528387..0d27adbe6 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg @@ -84,10 +84,11 @@ irg: ARRAY-STACK_EXAMPLE_main arity: 1 "color: yellow} edge: {sourcename: "n43" targetname: "n40" label: "0" class:1 priority:50} -node: {title: "n40" label: "Load 40" info1: "mode: T +node: {title: "n40" label: "Load[Is] 40" info1: "mode: T visited: 13 irg: ARRAY-STACK_EXAMPLE_main arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n40" targetname: "n31" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n40" targetname: "n39" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main.vcg index 3e6459543..116f14c35 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main.vcg @@ -84,10 +84,11 @@ irg: ARRAY-STACK_EXAMPLE_main arity: 1 "color: yellow} edge: {sourcename: "n43" targetname: "n40" label: "0" class:1 priority:50} -node: {title: "n40" label: "Load 40" info1: "mode: T +node: {title: "n40" label: "Load[Is] 40" info1: "mode: T visited: 11 irg: ARRAY-STACK_EXAMPLE_main arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n40" targetname: "n31" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n40" targetname: "n39" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/All_graphs.vcg b/testprograms/ref-results/All_graphs.vcg index 906c5c52b..17e3e7b8d 100644 --- a/testprograms/ref-results/All_graphs.vcg +++ b/testprograms/ref-results/All_graphs.vcg @@ -222,6 +222,7 @@ node: {title: "n74" label: "Store 74" info1: "mode: T visited: 51 irg: PRIMA_set_a arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n74" targetname: "n175" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n74" targetname: "n73" label: "1" class:1 priority:50} @@ -329,10 +330,11 @@ irg: PRIMA_c arity: 1 "color: yellow} edge: {sourcename: "n99" targetname: "n96" label: "0" class:1 priority:50} -node: {title: "n96" label: "Load 96" info1: "mode: T +node: {title: "n96" label: "Load[Is] 96" info1: "mode: T visited: 51 irg: PRIMA_c arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n96" targetname: "n168" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n96" targetname: "n95" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg index 9240aed57..8a0e97bea 100644 --- a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg +++ b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg @@ -72,6 +72,7 @@ node: {title: "n49" label: "Store 49" info1: "mode: T visited: 22 irg: ENDLESS_LOOP_EXAMPLE_main arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n49" targetname: "n62" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n49" targetname: "n48" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg index 41e0ef168..0bb246e93 100644 --- a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg @@ -64,14 +64,14 @@ arity: 0 node: {title: "n24" label: "ProjM 1 24" info1: "mode: M visited: 15 irg: GLOBAL_CSE_EXAMPLE_main -node was pinned in Block 24 +node was pinned in Block 18 arity: 1 "color: yellow} edge: {sourcename: "n24" targetname: "n19" label: "0" class:17 priority:10 color:blue} node: {title: "n46" label: "AddIs 46" info1: "mode: Is visited: 15 irg: GLOBAL_CSE_EXAMPLE_main -node was pinned in Block 46 +node was pinned in Block 41 arity: 2 "} edge: {sourcename: "n46" targetname: "n38" label: "0" class:16 priority:10} @@ -79,14 +79,14 @@ edge: {sourcename: "n46" targetname: "n45" label: "1" class:16 priority:10} node: {title: "n45" label: "0x5Is 45" info1: "mode: Is visited: 15 irg: GLOBAL_CSE_EXAMPLE_main -node was pinned in Block 45 +node was pinned in Block 18 arity: 0 Const of type type_unknown "color: yellow} node: {title: "n38" label: "SubIs 38" info1: "mode: Is visited: 15 irg: GLOBAL_CSE_EXAMPLE_main -node was pinned in Block 38 +node was pinned in Block 35 arity: 2 "} edge: {sourcename: "n38" targetname: "n28" label: "0" class:16 priority:10} @@ -94,7 +94,7 @@ edge: {sourcename: "n38" targetname: "n36" label: "1" class:16 priority:10} node: {title: "n36" label: "0x3Is 36" info1: "mode: Is visited: 15 irg: GLOBAL_CSE_EXAMPLE_main -node was pinned in Block 36 +node was pinned in Block 18 arity: 0 Const of type type_unknown "color: yellow} @@ -131,7 +131,7 @@ arity: 0 node: {title: "n33" label: "ProjX 0 33" info1: "mode: X visited: 15 irg: GLOBAL_CSE_EXAMPLE_main -node was pinned in Block 33 +node was pinned in Block 27 arity: 1 "color: yellow} edge: {sourcename: "n33" targetname: "n32" label: "0" class:13 priority:60 color:red} @@ -147,21 +147,21 @@ arity: 0 node: {title: "n34" label: "ProjX 1 34" info1: "mode: X visited: 15 irg: GLOBAL_CSE_EXAMPLE_main -node was pinned in Block 34 +node was pinned in Block 27 arity: 1 "color: yellow} edge: {sourcename: "n34" targetname: "n32" label: "0" class:13 priority:60 color:red} node: {title: "n31" label: "Projb Eq 31" info1: "mode: b visited: 15 irg: GLOBAL_CSE_EXAMPLE_main -node was pinned in Block 31 +node was pinned in Block 27 arity: 1 "color: yellow} edge: {sourcename: "n31" targetname: "n30" label: "0" class:1 priority:50} node: {title: "n30" label: "CmpT 30" info1: "mode: T visited: 15 irg: GLOBAL_CSE_EXAMPLE_main -node was pinned in Block 30 +node was pinned in Block 27 arity: 2 "} edge: {sourcename: "n30" targetname: "n28" label: "0" class:1 priority:50} @@ -169,21 +169,21 @@ edge: {sourcename: "n30" targetname: "n29" label: "1" class:16 priority:10} node: {title: "n28" label: "ProjIs 0 28" info1: "mode: Is visited: 15 irg: GLOBAL_CSE_EXAMPLE_main -node was pinned in Block 28 +node was pinned in Block 27 arity: 1 "color: yellow} edge: {sourcename: "n28" targetname: "n25" label: "0" class:16 priority:10} node: {title: "n25" label: "ProjT 4 25" info1: "mode: T visited: 15 irg: GLOBAL_CSE_EXAMPLE_main -node was pinned in Block 25 +node was pinned in Block 18 arity: 1 "color: yellow} edge: {sourcename: "n25" targetname: "n19" label: "0" class:1 priority:50} node: {title: "n29" label: "0x2Is 29" info1: "mode: Is visited: 15 irg: GLOBAL_CSE_EXAMPLE_main -node was pinned in Block 29 +node was pinned in Block 18 arity: 0 Const of type type_unknown "color: yellow} @@ -200,7 +200,7 @@ edge: {sourcename: "n32" targetname: "n31" label: "0" class:1 priority:50} node: {title: "n21" label: "ProjX 0 21" info1: "mode: X visited: 15 irg: GLOBAL_CSE_EXAMPLE_main -node was pinned in Block 21 +node was pinned in Block 18 arity: 1 "color: yellow} edge: {sourcename: "n21" targetname: "n19" label: "0" class:13 priority:60 color:red} diff --git a/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg b/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg index 3eb26d9fc..b93d1bf0b 100644 --- a/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg +++ b/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg @@ -112,6 +112,7 @@ node: {title: "n32" label: "Store 32" info1: "mode: T visited: 11 irg: GLOBAL_VAR_main arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n32" targetname: "n25" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n32" targetname: "n30" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/GLOBAL_VAR_main.vcg b/testprograms/ref-results/GLOBAL_VAR_main.vcg index e90a6f87d..7b890df8e 100644 --- a/testprograms/ref-results/GLOBAL_VAR_main.vcg +++ b/testprograms/ref-results/GLOBAL_VAR_main.vcg @@ -80,6 +80,7 @@ node: {title: "n32" label: "Store 32" info1: "mode: T visited: 10 irg: GLOBAL_VAR_main arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n32" targetname: "n25" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n32" targetname: "n30" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg index 0e6c18385..583e9f8bd 100644 --- a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg +++ b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg @@ -84,10 +84,11 @@ irg: MEMORY_EXAMPLE_main arity: 1 "color: yellow} edge: {sourcename: "n71" targetname: "n69" label: "0" class:1 priority:50} -node: {title: "n69" label: "Load 69" info1: "mode: T +node: {title: "n69" label: "Load[Iu] 69" info1: "mode: T visited: 18 irg: MEMORY_EXAMPLE_main arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n69" targetname: "n59" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n69" targetname: "n31" label: "1" class:16 priority:10} @@ -133,10 +134,11 @@ irg: MEMORY_EXAMPLE_main arity: 1 "color: yellow} edge: {sourcename: "n49" targetname: "n46" label: "0" class:1 priority:50} -node: {title: "n46" label: "Load 46" info1: "mode: T +node: {title: "n46" label: "Load[Iu] 46" info1: "mode: T visited: 18 irg: MEMORY_EXAMPLE_main arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n46" targetname: "n66" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n46" targetname: "n31" label: "1" class:16 priority:10} @@ -157,6 +159,7 @@ node: {title: "n57" label: "Store 57" info1: "mode: T visited: 18 irg: MEMORY_EXAMPLE_main arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n57" targetname: "n56" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n57" targetname: "n33" label: "1" class:16 priority:10} @@ -171,6 +174,7 @@ node: {title: "n54" label: "Store 54" info1: "mode: T visited: 18 irg: MEMORY_EXAMPLE_main arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n54" targetname: "n52" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n54" targetname: "n31" label: "1" class:16 priority:10} @@ -187,10 +191,11 @@ irg: MEMORY_EXAMPLE_main arity: 1 "color: yellow} edge: {sourcename: "n53" targetname: "n50" label: "0" class:1 priority:50} -node: {title: "n50" label: "Load 50" info1: "mode: T +node: {title: "n50" label: "Load[Iu] 50" info1: "mode: T visited: 18 irg: MEMORY_EXAMPLE_main arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n50" targetname: "n48" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n50" targetname: "n33" label: "1" class:16 priority:10} @@ -219,6 +224,7 @@ node: {title: "n39" label: "Store 39" info1: "mode: T visited: 18 irg: MEMORY_EXAMPLE_main arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n39" targetname: "n37" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n39" targetname: "n33" label: "1" class:1 priority:50} @@ -233,6 +239,7 @@ node: {title: "n35" label: "Store 35" info1: "mode: T visited: 18 irg: MEMORY_EXAMPLE_main arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n35" targetname: "n25" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n35" targetname: "n31" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg index 1a41405b8..fdb073d2d 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg @@ -66,6 +66,7 @@ node: {title: "n179" label: "Store 179" info1: "mode: T visited: 26 irg: OO_INLINE_EXAMPLE_main arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n179" targetname: "n173" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n179" targetname: "n183" label: "1" class:1 priority:50} @@ -112,6 +113,7 @@ node: {title: "n146" label: "Store 146" info1: "mode: T visited: 26 irg: OO_INLINE_EXAMPLE_main arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n146" targetname: "n43" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n146" targetname: "n149" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg index a949be09f..edb331bf3 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg @@ -66,6 +66,7 @@ node: {title: "n179" label: "Store 179" info1: "mode: T visited: 25 irg: OO_INLINE_EXAMPLE_main arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n179" targetname: "n173" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n179" targetname: "n183" label: "1" class:1 priority:50} @@ -112,6 +113,7 @@ node: {title: "n146" label: "Store 146" info1: "mode: T visited: 25 irg: OO_INLINE_EXAMPLE_main arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n146" targetname: "n43" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n146" targetname: "n149" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg index a5ec32b7d..4f00aa904 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg @@ -222,6 +222,7 @@ node: {title: "n74" label: "Store 74" info1: "mode: T visited: 34 irg: PRIMA_set_a arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n74" targetname: "n175" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n74" targetname: "n73" label: "1" class:1 priority:50} @@ -329,10 +330,11 @@ irg: PRIMA_c arity: 1 "color: yellow} edge: {sourcename: "n99" targetname: "n96" label: "0" class:1 priority:50} -node: {title: "n96" label: "Load 96" info1: "mode: T +node: {title: "n96" label: "Load[Is] 96" info1: "mode: T visited: 34 irg: PRIMA_c arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n96" targetname: "n168" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n96" targetname: "n95" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg index 721fa95a6..d3f0ba6de 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg @@ -346,6 +346,7 @@ node: {title: "n74" label: "Store 74" info1: "mode: T visited: 32 irg: PRIMA_set_a arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n74" targetname: "n175" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n74" targetname: "n73" label: "1" class:1 priority:50} @@ -386,10 +387,11 @@ Selecting entity of type int edge: {sourcename: "n95" targetname: "n168" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n95" targetname: "n169" label: "1" class:16 priority:10} edge: { sourcename: "n95" targetname: "n91" class:2 priority:50 linestyle:dotted} -node: {title: "n96" label: "Load 96" info1: "mode: T +node: {title: "n96" label: "Load[Is] 96" info1: "mode: T visited: 32 irg: PRIMA_c arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n96" targetname: "n168" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n96" targetname: "n95" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg index 8d07c1aaf..423ac7d04 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg @@ -346,6 +346,7 @@ node: {title: "n74" label: "Store 74" info1: "mode: T visited: 36 irg: PRIMA_set_a arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n74" targetname: "n175" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n74" targetname: "n73" label: "1" class:1 priority:50} @@ -386,10 +387,11 @@ Selecting entity of type int edge: {sourcename: "n95" targetname: "n168" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n95" targetname: "n169" label: "1" class:16 priority:10} edge: { sourcename: "n95" targetname: "n91" class:2 priority:50 linestyle:dotted} -node: {title: "n96" label: "Load 96" info1: "mode: T +node: {title: "n96" label: "Load[Is] 96" info1: "mode: T visited: 36 irg: PRIMA_c arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n96" targetname: "n168" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n96" targetname: "n95" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg index deb5bfc31..1349d1491 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg @@ -222,6 +222,7 @@ node: {title: "n74" label: "Store 74" info1: "mode: T visited: 44 irg: PRIMA_set_a arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n74" targetname: "n175" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n74" targetname: "n73" label: "1" class:1 priority:50} @@ -329,10 +330,11 @@ irg: PRIMA_c arity: 1 "color: yellow} edge: {sourcename: "n99" targetname: "n96" label: "0" class:1 priority:50} -node: {title: "n96" label: "Load 96" info1: "mode: T +node: {title: "n96" label: "Load[Is] 96" info1: "mode: T visited: 44 irg: PRIMA_c arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n96" targetname: "n168" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n96" targetname: "n95" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg index d50d2c4e1..d78fe4527 100644 --- a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg @@ -66,6 +66,7 @@ node: {title: "n111" label: "Store 111" info1: "mode: T visited: 26 irg: PRIMA_INLINE_c arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n111" targetname: "n124" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n111" targetname: "n110" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/PRIMA_INLINE_c.vcg b/testprograms/ref-results/PRIMA_INLINE_c.vcg index 55bae55ab..cee33a4cf 100644 --- a/testprograms/ref-results/PRIMA_INLINE_c.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_c.vcg @@ -66,6 +66,7 @@ node: {title: "n111" label: "Store 111" info1: "mode: T visited: 25 irg: PRIMA_INLINE_c arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n111" targetname: "n124" label: "0" class:14 priority:50 color:blue} edge: {sourcename: "n111" targetname: "n110" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg b/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg index 4db39acf6..931fe66c6 100644 --- a/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg @@ -80,6 +80,7 @@ node: {title: "n74" label: "Store 74" info1: "mode: T visited: 20 irg: PRIMA_INLINE_set_a arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n74" targetname: "n66" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n74" targetname: "n73" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/PRIMA_INLINE_set_a.vcg b/testprograms/ref-results/PRIMA_INLINE_set_a.vcg index 7a20d3267..246159b79 100644 --- a/testprograms/ref-results/PRIMA_INLINE_set_a.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_set_a.vcg @@ -80,6 +80,7 @@ node: {title: "n74" label: "Store 74" info1: "mode: T visited: 19 irg: PRIMA_INLINE_set_a arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n74" targetname: "n66" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n74" targetname: "n73" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg index 2457c3a8d..c6f9267a6 100644 --- a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg @@ -110,10 +110,11 @@ Selecting entity of type int edge: {sourcename: "n95" targetname: "n88" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n95" targetname: "n92" label: "1" class:1 priority:50} edge: { sourcename: "n95" targetname: "n91" class:2 priority:50 linestyle:dotted} -node: {title: "n96" label: "Load 96" info1: "mode: T +node: {title: "n96" label: "Load[Is] 96" info1: "mode: T visited: 13 irg: PRIMA_c arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n96" targetname: "n88" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n96" targetname: "n95" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/PRIMA_c-pure.vcg b/testprograms/ref-results/PRIMA_c-pure.vcg index 512ad4be2..a617f6b5a 100644 --- a/testprograms/ref-results/PRIMA_c-pure.vcg +++ b/testprograms/ref-results/PRIMA_c-pure.vcg @@ -110,10 +110,11 @@ Selecting entity of type int edge: {sourcename: "n95" targetname: "n88" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n95" targetname: "n92" label: "1" class:1 priority:50} edge: { sourcename: "n95" targetname: "n91" class:2 priority:50 linestyle:dotted} -node: {title: "n96" label: "Load 96" info1: "mode: T +node: {title: "n96" label: "Load[Is] 96" info1: "mode: T visited: 11 irg: PRIMA_c arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n96" targetname: "n88" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n96" targetname: "n95" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/PRIMA_c-wtypes.vcg b/testprograms/ref-results/PRIMA_c-wtypes.vcg index d82a999ff..a3dd4bbab 100644 --- a/testprograms/ref-results/PRIMA_c-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_c-wtypes.vcg @@ -97,10 +97,11 @@ irg: PRIMA_c arity: 1 "color: yellow} edge: {sourcename: "n99" targetname: "n96" label: "0" class:1 priority:50} -node: {title: "n96" label: "Load 96" info1: "mode: T +node: {title: "n96" label: "Load[Is] 96" info1: "mode: T visited: 16 irg: PRIMA_c arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n96" targetname: "n88" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n96" targetname: "n95" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/PRIMA_c.vcg b/testprograms/ref-results/PRIMA_c.vcg index 8c63dc891..ee8181421 100644 --- a/testprograms/ref-results/PRIMA_c.vcg +++ b/testprograms/ref-results/PRIMA_c.vcg @@ -97,10 +97,11 @@ irg: PRIMA_c arity: 1 "color: yellow} edge: {sourcename: "n99" targetname: "n96" label: "0" class:1 priority:50} -node: {title: "n96" label: "Load 96" info1: "mode: T +node: {title: "n96" label: "Load[Is] 96" info1: "mode: T visited: 12 irg: PRIMA_c arity: 2 +volatility: volatility_non_volatile "} edge: {sourcename: "n96" targetname: "n88" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n96" targetname: "n95" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg index c881646ae..cb01e1342 100644 --- a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg @@ -121,6 +121,7 @@ node: {title: "n74" label: "Store 74" info1: "mode: T visited: 13 irg: PRIMA_set_a arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n74" targetname: "n66" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n74" targetname: "n73" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/PRIMA_set_a-pure.vcg b/testprograms/ref-results/PRIMA_set_a-pure.vcg index 3f6b51ef9..47db472ea 100644 --- a/testprograms/ref-results/PRIMA_set_a-pure.vcg +++ b/testprograms/ref-results/PRIMA_set_a-pure.vcg @@ -121,6 +121,7 @@ node: {title: "n74" label: "Store 74" info1: "mode: T visited: 11 irg: PRIMA_set_a arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n74" targetname: "n66" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n74" targetname: "n73" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/PRIMA_set_a-wtypes.vcg b/testprograms/ref-results/PRIMA_set_a-wtypes.vcg index 66d730ccc..cf5fef6a8 100644 --- a/testprograms/ref-results/PRIMA_set_a-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_set_a-wtypes.vcg @@ -80,6 +80,7 @@ node: {title: "n74" label: "Store 74" info1: "mode: T visited: 16 irg: PRIMA_set_a arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n74" targetname: "n66" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n74" targetname: "n73" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/PRIMA_set_a.vcg b/testprograms/ref-results/PRIMA_set_a.vcg index 998acde70..bde7b2c43 100644 --- a/testprograms/ref-results/PRIMA_set_a.vcg +++ b/testprograms/ref-results/PRIMA_set_a.vcg @@ -80,6 +80,7 @@ node: {title: "n74" label: "Store 74" info1: "mode: T visited: 12 irg: PRIMA_set_a arity: 3 +volatility: volatility_non_volatile "} edge: {sourcename: "n74" targetname: "n66" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n74" targetname: "n73" label: "1" class:1 priority:50} -- 2.20.1