From 45eebdbd2a8fdb6de87e414fb5d9c2c716266136 Mon Sep 17 00:00:00 2001 From: =?utf8?q?G=C3=B6tz=20Lindenmaier?= Date: Wed, 26 Mar 2003 12:36:44 +0000 Subject: [PATCH] new reference with new tarval module [r989] --- .../ARRAY-HEAP_EXAMPLE_main-type.vcg | 2 +- .../ref-results/ARRAY-HEAP_EXAMPLE_main.vcg | 6 +++--- .../ARRAY-STACK_EXAMPLE_main-all.vcg | 6 +++--- testprograms/ref-results/All_types.vcg | 2 +- .../ref-results/CALL_STR_EXAMPLE_main.vcg | Bin 1803 -> 1807 bytes .../ref-results/COND_EXAMPLE_main.vcg | 18 +++++++++--------- .../ref-results/CONST_EVAL_EXAMPLE_main.vcg | 2 +- testprograms/ref-results/DEAD_BLOCK_main.vcg | 2 +- .../ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg | Bin 2771 -> 2789 bytes .../ref-results/GLOBAL_CSE_EXAMPLE_main.vcg | 14 +++++++------- .../ref-results/GLOBAL_VAR_main-all.vcg | 4 ++-- testprograms/ref-results/GLOBAL_VAR_main.vcg | 2 +- .../ref-results/IF_ELSE_EXAMPLE_main.vcg | 4 ++-- testprograms/ref-results/IF_EXAMPLE_main.vcg | 10 +++++----- .../ref-results/IF_WHILE_EXAMPLE_main.vcg | 12 ++++++------ .../ref-results/IRREGULAR_CF_main.vcg | 6 +++--- testprograms/ref-results/IRR_LOOP_main.vcg | 6 +++--- .../ref-results/MEMORY_EXAMPLE_main.vcg | Bin 5353 -> 5383 bytes .../OO_INLINE_EXAMPLE_main-all.vcg | 12 ++++++------ .../ref-results/OO_INLINE_EXAMPLE_main.vcg | 10 +++++----- .../OO_PROGRAM_EXAMPLE_main-all.vcg | 8 ++++---- .../ref-results/OO_PROGRAM_EXAMPLE_main.vcg | 6 +++--- testprograms/ref-results/PRIMA_c-all.vcg | 10 +++++----- testprograms/ref-results/PRIMA_set_a-all.vcg | 4 ++-- .../ref-results/THREE_CFPRED_EXAMPLE_main.vcg | 12 ++++++------ .../ref-results/WHILE_EXAMPLE_main.vcg | 12 ++++++------ testprograms/ref-results/c.vcg | 8 ++++---- testprograms/ref-results/main-type.vcg | 2 +- testprograms/ref-results/main.vcg | 4 ++-- testprograms/ref-results/set_a.vcg | 2 +- 30 files changed, 93 insertions(+), 93 deletions(-) diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg index 7a85861f1..7c0bb90ab 100644 --- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg @@ -25,7 +25,7 @@ size: -1B, edge: { sourcename:"t19" targetname: "t1" class: 10 label: "arr elt tp" color:green} edge: { sourcename:"t19" targetname: "e20" class: 10 label: "arr ent" color: green} node: {title: "t1" label: "primitive int"info1: "state: layout_fixed, -mode: I, +mode: Is, size: 4B, "} node: {title: "e4"label: "ent ARRAY-HEAP_EXAMPLE_main" color: yellow diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg index 2cd28e0b2..e7152efef 100644 --- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg +++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg @@ -17,7 +17,7 @@ edge: {sourcename: "n40" targetname: "n41" label: "0" color: red} node: {title: "n39" label: "Return 39" } edge: {sourcename: "n39" targetname: "n53" label: "0" color: blue} edge: {sourcename: "n39" targetname: "n44" label: "1" } -node: {title: "n44" label: "ProjI 2 44" color: yellow} +node: {title: "n44" label: "ProjIs 2 44" color: yellow} edge: {sourcename: "n44" targetname: "n45" label: "0" } node: {title: "n45" label: "Load 45" } edge: {sourcename: "n45" targetname: "n52" label: "0" color: blue} @@ -42,8 +42,8 @@ edge: {sourcename: "n42" targetname: "n41" label: "0" color: red} node: {title: "n41" label: "ProjX 0 41" color: yellow} edge: {sourcename: "n41" targetname: "n43" label: "0" color: red} node: {title: "n43" label: "Start 43" color: blue} -node: {title: "n47" label: "3I 47" color: yellow} -node: {title: "n50" label: "40I 50" color: yellow} +node: {title: "n47" label: "0x00000003Iu 47" color: yellow} +node: {title: "n50" label: "0x00000140Iu 50" color: yellow} node: {title: "n51" label: "ProjM 1 51" color: yellow} edge: {sourcename: "n51" targetname: "n43" label: "0" color: blue} } diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg index 0289720c2..e5e7d1436 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg @@ -17,7 +17,7 @@ edge: {sourcename: "n38" targetname: "n39" label: "0" color: red} node: {title: "n37" label: "Return 37" } edge: {sourcename: "n37" targetname: "n49" label: "0" color: blue} edge: {sourcename: "n37" targetname: "n42" label: "1" } -node: {title: "n42" label: "ProjI 2 42" color: yellow} +node: {title: "n42" label: "ProjIs 2 42" color: yellow} edge: {sourcename: "n42" targetname: "n43" label: "0" } node: {title: "n43" label: "Load 43" } edge: {sourcename: "n43" targetname: "n48" label: "0" color: blue} @@ -38,7 +38,7 @@ edge: {sourcename: "n40" targetname: "n39" label: "0" color: red} node: {title: "n39" label: "ProjX 0 39" color: yellow} edge: {sourcename: "n39" targetname: "n41" label: "0" color: red} node: {title: "n41" label: "Start 41" color: blue} -node: {title: "n45" label: "3I 45" color: yellow} +node: {title: "n45" label: "0x00000003Iu 45" color: yellow} node: {title: "n47" label: "ProjP 2 47" color: yellow} edge: {sourcename: "n47" targetname: "n41" label: "0" } node: {title: "n48" label: "ProjM 1 48" color: yellow} @@ -64,7 +64,7 @@ size: -1B, edge: { sourcename:"t20" targetname: "t1" class: 10 label: "arr elt tp" color:green} edge: { sourcename:"t20" targetname: "e21" class: 10 label: "arr ent" color: green} node: {title: "t1" label: "primitive int"info1: "state: layout_fixed, -mode: I, +mode: Is, size: 4B, "} node: {title: "e24"label: "ent a" color: yellow diff --git a/testprograms/ref-results/All_types.vcg b/testprograms/ref-results/All_types.vcg index b3845d345..ad8e99c3c 100644 --- a/testprograms/ref-results/All_types.vcg +++ b/testprograms/ref-results/All_types.vcg @@ -18,7 +18,7 @@ classname 11: "Overwrites" classname 12: "Member" node: {title: "t1" label: "primitive int"info1: "state: layout_fixed, -mode: I, +mode: Is, size: 4B, "} node: {title: "t2" label: "class PRIMA"info1: "state: layout_undefined diff --git a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg index 1e498f12b679c84d61b5dac04b306e809da3d42e..68f181465a108ae487a093fa89eeb3cb41e954d5 100644 GIT binary patch delta 45 rcmeC?>*w3R%fzTK*^pU$vI^5e2y62lrf8_(W*m|Q%QSgDo7iL(rbQrn^IfJGu)yX3Rwl;D!EAc~C!Dw$b!rt%q)clj>ZD_MDV2_@l&MT4J_u=H z8W)=BObQ>?Qfpa6TH?b77y-0}%s|;gACBe9QM1i2ySyxm6oZ3&KWq znr15D`egCiLbFo|1TeXRd(~E$+pxFx*4V(<=Y-h7kADn24j=Qn@Lhw4N$>|1oSP2( zBZoBsebUWI!!%n0kmZ<>D9*(h(kQHp+q-VNwz%Kf+^~deltA7)%kLvMhx}TUC>NZ1 zKTwrfGF0;C5@tZQW9@?&&&`N&-5Fiy{EU5oX6#B!#gSV~Ki3OgyNUTc(8lZR>?Vbusg*?g&RHZ)Dq%|NXlB5RuAoagu%4)ZOee^k&w|0Dbb DGmd+e delta 728 zcmZWnO=}ZT6eTZ{m*iQ}eDqC2wB$K7DfpRmChtwUtKuSJA$}l&m3E}TM$<&X2u0~H zaG`M4)vXJm1;L&83k1QxQ1`Cg=$%NKU^a7@d+#~#-gECy`9mI`#4?_vR4;hk>8&Y8 zd$^n|FN^+Qr?aMBh25}6==8PgoYvgv?_gg`u zU#0o0I7#Q3@1mHhWXPn`#cDm?6@I5$A~Nj(k+g|Oj9`;p#M@+6YJb|ZU>MRp__&o; zx%wngk7lXkig4sqSCQyFa_pJm?82o<=)DzteG>kTHhQUxOgbCb!8 zylR`*bNI3VRsG@7fEuvbir<+Ts$sH_A0xx$heA)-7y=X&EQ}``h$u~dBg`#eP+0}*|y#VfsEvEng delta 122 zcmZqIda1dAn`yEkv-o6XriEbo4%6q&7nrv*f;gM!v%X|vQ7}?4pS+%1ee)I$Ulvv% z&%$i-1|V0D_YdRbhl1jpo%o%YCp&VAPo5*>%Nn4dU~V>9P(*REfbhP_=Y@@!3_U0F TiWsqaDkxZjB$Or>h)f3nWlto+ diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg index 6a58dec48..528dafeca 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg @@ -22,10 +22,10 @@ node: {title: "n194" label: "Store 194" } edge: {sourcename: "n194" targetname: "n193" label: "0" color: blue} edge: {sourcename: "n194" targetname: "n199" label: "1" } edge: {sourcename: "n194" targetname: "n195" label: "2" } -node: {title: "n195" label: "PhiI 195" color: green} +node: {title: "n195" label: "PhiIs 195" color: green} edge: {sourcename: "n195" targetname: "n198" label: "0" } edge: {sourcename: "n195" targetname: "n196" label: "1" } -node: {title: "n196" label: "PhiI 196" color: green} +node: {title: "n196" label: "PhiIs 196" color: green} edge: {sourcename: "n196" targetname: "n197" label: "0" } edge: {sourcename: "n196" targetname: "n195" label: "1" } node: {title: "n199" label: "Sel a 199" } @@ -36,7 +36,7 @@ edge: {sourcename: "n199" targetname: "n200" label: "1" } graph: { title: "n192" label: "192" status:clustered color:yellow edge: {sourcename: "n192" targetname: "n187" label: "0" color: red} node: {title: "n191" label: "Jmp 191" } -node: {title: "n197" label: "0I 197" color: yellow} +node: {title: "n197" label: "0x00000000Is 197" color: yellow} node: {title: "n200" label: "ProjP 2 200" color: yellow} edge: {sourcename: "n200" targetname: "n201" label: "0" } node: {title: "n201" label: "Alloc 201" } @@ -61,10 +61,10 @@ edge: {sourcename: "n186" targetname: "n187" label: "0" color: red} node: {title: "n187" label: "ProjX 0 187" color: yellow} edge: {sourcename: "n187" targetname: "n188" label: "0" color: red} node: {title: "n188" label: "Start 188" color: blue} -node: {title: "n198" label: "5I 198" color: yellow} +node: {title: "n198" label: "0x00000005Is 198" color: yellow} node: {title: "n203" label: "ProjM 1 203" color: yellow} edge: {sourcename: "n203" targetname: "n188" label: "0" color: blue} -node: {title: "n206" label: "2I 206" color: yellow} +node: {title: "n206" label: "0x00000002Is 206" color: yellow} } node: {title: "n185" label: "Bad 185" } @@ -113,7 +113,7 @@ size: 4B, "} edge: { sourcename:"t3" targetname: "t2" class: 9 label: "points to" color:green} node: {title: "t1" label: "primitive int"info1: "state: layout_fixed, -mode: I, +mode: Is, size: 4B, "} node: {title: "e10"label: "ent c" color: yellow diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg index 2106b5970..b414bb868 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg @@ -22,10 +22,10 @@ node: {title: "n194" label: "Store 194" } edge: {sourcename: "n194" targetname: "n193" label: "0" color: blue} edge: {sourcename: "n194" targetname: "n199" label: "1" } edge: {sourcename: "n194" targetname: "n195" label: "2" } -node: {title: "n195" label: "PhiI 195" color: green} +node: {title: "n195" label: "PhiIs 195" color: green} edge: {sourcename: "n195" targetname: "n198" label: "0" } edge: {sourcename: "n195" targetname: "n196" label: "1" } -node: {title: "n196" label: "PhiI 196" color: green} +node: {title: "n196" label: "PhiIs 196" color: green} edge: {sourcename: "n196" targetname: "n197" label: "0" } edge: {sourcename: "n196" targetname: "n195" label: "1" } node: {title: "n199" label: "Sel a 199" } @@ -36,7 +36,7 @@ edge: {sourcename: "n199" targetname: "n200" label: "1" } graph: { title: "n192" label: "192" status:clustered color:yellow edge: {sourcename: "n192" targetname: "n187" label: "0" color: red} node: {title: "n191" label: "Jmp 191" } -node: {title: "n197" label: "0I 197" color: yellow} +node: {title: "n197" label: "0x00000000Is 197" color: yellow} node: {title: "n200" label: "ProjP 2 200" color: yellow} edge: {sourcename: "n200" targetname: "n201" label: "0" } node: {title: "n201" label: "Alloc 201" } @@ -61,10 +61,10 @@ edge: {sourcename: "n186" targetname: "n187" label: "0" color: red} node: {title: "n187" label: "ProjX 0 187" color: yellow} edge: {sourcename: "n187" targetname: "n188" label: "0" color: red} node: {title: "n188" label: "Start 188" color: blue} -node: {title: "n198" label: "5I 198" color: yellow} +node: {title: "n198" label: "0x00000005Is 198" color: yellow} node: {title: "n203" label: "ProjM 1 203" color: yellow} edge: {sourcename: "n203" targetname: "n188" label: "0" color: blue} -node: {title: "n206" label: "2I 206" color: yellow} +node: {title: "n206" label: "0x00000002Is 206" color: yellow} } node: {title: "n185" label: "Bad 185" } diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg index d120eeb88..fe5bc62ef 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg @@ -17,7 +17,7 @@ edge: {sourcename: "n99" targetname: "n100" label: "0" color: red} node: {title: "n98" label: "Return 98" } edge: {sourcename: "n98" targetname: "n117" label: "0" color: blue} edge: {sourcename: "n98" targetname: "n103" label: "1" } -node: {title: "n103" label: "ProjI 0 103" color: yellow} +node: {title: "n103" label: "ProjIs 0 103" color: yellow} edge: {sourcename: "n103" targetname: "n104" label: "0" } node: {title: "n104" label: "ProjT 2 104" color: yellow} edge: {sourcename: "n104" targetname: "n105" label: "0" } @@ -56,10 +56,10 @@ edge: {sourcename: "n101" targetname: "n100" label: "0" color: red} node: {title: "n100" label: "ProjX 0 100" color: yellow} edge: {sourcename: "n100" targetname: "n102" label: "0" color: red} node: {title: "n102" label: "Start 102" color: blue} -node: {title: "n106" label: "5I 106" color: yellow} +node: {title: "n106" label: "0x00000005Is 106" color: yellow} node: {title: "n110" label: "ProjM 1 110" color: yellow} edge: {sourcename: "n110" targetname: "n102" label: "0" color: blue} -node: {title: "n114" label: "2I 114" color: yellow} +node: {title: "n114" label: "0x00000002Is 114" color: yellow} } node: {title: "n121" label: "Bad 121" } @@ -94,7 +94,7 @@ offset: -1" } edge: { sourcename:"e4" targetname: "t1" class: 3 label: "type" color: red} node: {title: "t1" label: "primitive int"info1: "state: layout_fixed, -mode: I, +mode: Is, size: 4B, "} node: {title: "e7"label: "ent set_a" color: yellow diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg index 769086ce3..8b143adaa 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg @@ -17,7 +17,7 @@ edge: {sourcename: "n99" targetname: "n100" label: "0" color: red} node: {title: "n98" label: "Return 98" } edge: {sourcename: "n98" targetname: "n117" label: "0" color: blue} edge: {sourcename: "n98" targetname: "n103" label: "1" } -node: {title: "n103" label: "ProjI 0 103" color: yellow} +node: {title: "n103" label: "ProjIs 0 103" color: yellow} edge: {sourcename: "n103" targetname: "n104" label: "0" } node: {title: "n104" label: "ProjT 2 104" color: yellow} edge: {sourcename: "n104" targetname: "n105" label: "0" } @@ -56,10 +56,10 @@ edge: {sourcename: "n101" targetname: "n100" label: "0" color: red} node: {title: "n100" label: "ProjX 0 100" color: yellow} edge: {sourcename: "n100" targetname: "n102" label: "0" color: red} node: {title: "n102" label: "Start 102" color: blue} -node: {title: "n106" label: "5I 106" color: yellow} +node: {title: "n106" label: "0x00000005Is 106" color: yellow} node: {title: "n110" label: "ProjM 1 110" color: yellow} edge: {sourcename: "n110" targetname: "n102" label: "0" color: blue} -node: {title: "n114" label: "2I 114" color: yellow} +node: {title: "n114" label: "0x00000002Is 114" color: yellow} } node: {title: "n121" label: "Bad 121" } diff --git a/testprograms/ref-results/PRIMA_c-all.vcg b/testprograms/ref-results/PRIMA_c-all.vcg index cb6fe840f..66cf8de32 100644 --- a/testprograms/ref-results/PRIMA_c-all.vcg +++ b/testprograms/ref-results/PRIMA_c-all.vcg @@ -22,10 +22,10 @@ node: {title: "n242" label: "Store 242" } edge: {sourcename: "n242" targetname: "n241" label: "0" color: blue} edge: {sourcename: "n242" targetname: "n248" label: "1" } edge: {sourcename: "n242" targetname: "n243" label: "2" } -node: {title: "n243" label: "PhiI 243" color: green} +node: {title: "n243" label: "PhiIs 243" color: green} edge: {sourcename: "n243" targetname: "n246" label: "0" } edge: {sourcename: "n243" targetname: "n244" label: "1" } -node: {title: "n244" label: "PhiI 244" color: green} +node: {title: "n244" label: "PhiIs 244" color: green} edge: {sourcename: "n244" targetname: "n245" label: "0" } edge: {sourcename: "n244" targetname: "n243" label: "1" } node: {title: "n248" label: "Sel a 248" } @@ -36,7 +36,7 @@ edge: {sourcename: "n248" targetname: "n249" label: "1" } graph: { title: "n240" label: "240" status:clustered color:yellow edge: {sourcename: "n240" targetname: "n235" label: "0" color: red} node: {title: "n239" label: "Jmp 239" } -node: {title: "n246" label: "ProjI 1 246" color: yellow} +node: {title: "n246" label: "ProjIs 1 246" color: yellow} edge: {sourcename: "n246" targetname: "n247" label: "0" } node: {title: "n249" label: "ProjP 0 249" color: yellow} edge: {sourcename: "n249" targetname: "n247" label: "0" } @@ -47,7 +47,7 @@ edge: {sourcename: "n234" targetname: "n235" label: "0" color: red} node: {title: "n235" label: "ProjX 0 235" color: yellow} edge: {sourcename: "n235" targetname: "n236" label: "0" color: red} node: {title: "n236" label: "Start 236" color: blue} -node: {title: "n245" label: "0I 245" color: yellow} +node: {title: "n245" label: "0x00000000Is 245" color: yellow} node: {title: "n247" label: "ProjT 4 247" color: yellow} edge: {sourcename: "n247" targetname: "n236" label: "0" } node: {title: "n250" label: "ProjM 1 250" color: yellow} @@ -100,7 +100,7 @@ size: 4B, "} edge: { sourcename:"t3" targetname: "t2" class: 9 label: "points to" color:green} node: {title: "t1" label: "primitive int"info1: "state: layout_fixed, -mode: I, +mode: Is, size: 4B, "} node: {title: "e10"label: "ent c" color: yellow diff --git a/testprograms/ref-results/PRIMA_set_a-all.vcg b/testprograms/ref-results/PRIMA_set_a-all.vcg index 6dd4b05f3..4f1cfacce 100644 --- a/testprograms/ref-results/PRIMA_set_a-all.vcg +++ b/testprograms/ref-results/PRIMA_set_a-all.vcg @@ -22,7 +22,7 @@ node: {title: "n221" label: "Store 221" } edge: {sourcename: "n221" targetname: "n226" label: "0" color: blue} edge: {sourcename: "n221" targetname: "n224" label: "1" } edge: {sourcename: "n221" targetname: "n222" label: "2" } -node: {title: "n222" label: "ProjI 1 222" color: yellow} +node: {title: "n222" label: "ProjIs 1 222" color: yellow} edge: {sourcename: "n222" targetname: "n223" label: "0" } node: {title: "n224" label: "Sel a 224" } edge: {sourcename: "n224" targetname: "n226" label: "0" color: blue} @@ -88,7 +88,7 @@ size: 4B, "} edge: { sourcename:"t3" targetname: "t2" class: 9 label: "points to" color:green} node: {title: "t1" label: "primitive int"info1: "state: layout_fixed, -mode: I, +mode: Is, size: 4B, "} node: {title: "e10"label: "ent c" color: yellow diff --git a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg index dda16a97a..dcf4fe06d 100644 --- a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg +++ b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg @@ -19,7 +19,7 @@ edge: {sourcename: "n68" targetname: "n69" label: "2" color: red} node: {title: "n67" label: "Return 67" } edge: {sourcename: "n67" targetname: "n97" label: "0" color: blue} edge: {sourcename: "n67" targetname: "n94" label: "1" } -node: {title: "n94" label: "PhiI 94" color: green} +node: {title: "n94" label: "PhiIs 94" color: green} edge: {sourcename: "n94" targetname: "n96" label: "0" } edge: {sourcename: "n94" targetname: "n95" label: "1" } edge: {sourcename: "n94" targetname: "n95" label: "2" } @@ -56,7 +56,7 @@ edge: {sourcename: "n79" targetname: "n80" label: "0" } node: {title: "n80" label: "CmpT 80" } edge: {sourcename: "n80" targetname: "n83" label: "0" } edge: {sourcename: "n80" targetname: "n81" label: "1" } -node: {title: "n81" label: "ProjI 0 81" color: yellow} +node: {title: "n81" label: "ProjIs 0 81" color: yellow} edge: {sourcename: "n81" targetname: "n82" label: "0" } node: {title: "n93" label: "ProjX 1 93" color: yellow} edge: {sourcename: "n93" targetname: "n78" label: "0" color: red} @@ -69,10 +69,10 @@ edge: {sourcename: "n75" targetname: "n77" label: "0" color: red} node: {title: "n77" label: "Start 77" color: blue} node: {title: "n82" label: "ProjT 4 82" color: yellow} edge: {sourcename: "n82" targetname: "n77" label: "0" } -node: {title: "n83" label: "1I 83" color: yellow} -node: {title: "n87" label: "3I 87" color: yellow} -node: {title: "n95" label: "6I 95" color: yellow} -node: {title: "n96" label: "5I 96" color: yellow} +node: {title: "n83" label: "0x00000001Is 83" color: yellow} +node: {title: "n87" label: "0x00000003Is 87" color: yellow} +node: {title: "n95" label: "0x00000006Is 95" color: yellow} +node: {title: "n96" label: "0x00000005Is 96" color: yellow} node: {title: "n97" label: "ProjM 1 97" color: yellow} edge: {sourcename: "n97" targetname: "n77" label: "0" color: blue} } diff --git a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg index bea0ef4ca..49eb782c2 100644 --- a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg @@ -17,7 +17,7 @@ edge: {sourcename: "n58" targetname: "n59" label: "0" color: red} node: {title: "n57" label: "Return 57" } edge: {sourcename: "n57" targetname: "n79" label: "0" color: blue} edge: {sourcename: "n57" targetname: "n78" label: "1" } -node: {title: "n78" label: "SubI 78" } +node: {title: "n78" label: "SubIs 78" } edge: {sourcename: "n78" targetname: "n68" label: "0" } edge: {sourcename: "n78" targetname: "n67" label: "1" } } @@ -36,10 +36,10 @@ edge: {sourcename: "n65" targetname: "n66" label: "0" } node: {title: "n66" label: "CmpT 66" } edge: {sourcename: "n66" targetname: "n76" label: "0" } edge: {sourcename: "n66" targetname: "n67" label: "1" } -node: {title: "n67" label: "PhiI 67" color: green} +node: {title: "n67" label: "PhiIs 67" color: green} edge: {sourcename: "n67" targetname: "n75" label: "0" } edge: {sourcename: "n67" targetname: "n68" label: "1" } -node: {title: "n68" label: "PhiI 68" color: green} +node: {title: "n68" label: "PhiIs 68" color: green} edge: {sourcename: "n68" targetname: "n69" label: "0" } edge: {sourcename: "n68" targetname: "n67" label: "1" } } @@ -51,7 +51,7 @@ node: {title: "n61" label: "Jmp 61" } graph: { title: "n70" label: "70" status:clustered color:yellow edge: {sourcename: "n70" targetname: "n71" label: "0" color: red} -node: {title: "n69" label: "ProjI 0 69" color: yellow} +node: {title: "n69" label: "ProjIs 0 69" color: yellow} edge: {sourcename: "n69" targetname: "n74" label: "0" } node: {title: "n77" label: "Jmp 77" } } @@ -63,8 +63,8 @@ edge: {sourcename: "n71" targetname: "n73" label: "0" color: red} node: {title: "n73" label: "Start 73" color: blue} node: {title: "n74" label: "ProjT 4 74" color: yellow} edge: {sourcename: "n74" targetname: "n73" label: "0" } -node: {title: "n75" label: "1I 75" color: yellow} -node: {title: "n76" label: "0I 76" color: yellow} +node: {title: "n75" label: "0x00000001Is 75" color: yellow} +node: {title: "n76" label: "0x00000000Is 76" color: yellow} node: {title: "n79" label: "ProjM 1 79" color: yellow} edge: {sourcename: "n79" targetname: "n73" label: "0" color: blue} } diff --git a/testprograms/ref-results/c.vcg b/testprograms/ref-results/c.vcg index 90ad967a3..17c53c41e 100644 --- a/testprograms/ref-results/c.vcg +++ b/testprograms/ref-results/c.vcg @@ -22,10 +22,10 @@ node: {title: "n242" label: "Store 242" } edge: {sourcename: "n242" targetname: "n241" label: "0" color: blue} edge: {sourcename: "n242" targetname: "n248" label: "1" } edge: {sourcename: "n242" targetname: "n243" label: "2" } -node: {title: "n243" label: "PhiI 243" color: green} +node: {title: "n243" label: "PhiIs 243" color: green} edge: {sourcename: "n243" targetname: "n246" label: "0" } edge: {sourcename: "n243" targetname: "n244" label: "1" } -node: {title: "n244" label: "PhiI 244" color: green} +node: {title: "n244" label: "PhiIs 244" color: green} edge: {sourcename: "n244" targetname: "n245" label: "0" } edge: {sourcename: "n244" targetname: "n243" label: "1" } node: {title: "n248" label: "Sel a 248" } @@ -36,7 +36,7 @@ edge: {sourcename: "n248" targetname: "n249" label: "1" } graph: { title: "n240" label: "240" status:clustered color:yellow edge: {sourcename: "n240" targetname: "n235" label: "0" color: red} node: {title: "n239" label: "Jmp 239" } -node: {title: "n246" label: "ProjI 1 246" color: yellow} +node: {title: "n246" label: "ProjIs 1 246" color: yellow} edge: {sourcename: "n246" targetname: "n247" label: "0" } node: {title: "n249" label: "ProjP 0 249" color: yellow} edge: {sourcename: "n249" targetname: "n247" label: "0" } @@ -47,7 +47,7 @@ edge: {sourcename: "n234" targetname: "n235" label: "0" color: red} node: {title: "n235" label: "ProjX 0 235" color: yellow} edge: {sourcename: "n235" targetname: "n236" label: "0" color: red} node: {title: "n236" label: "Start 236" color: blue} -node: {title: "n245" label: "0I 245" color: yellow} +node: {title: "n245" label: "0x00000000Is 245" color: yellow} node: {title: "n247" label: "ProjT 4 247" color: yellow} edge: {sourcename: "n247" targetname: "n236" label: "0" } node: {title: "n250" label: "ProjM 1 250" color: yellow} diff --git a/testprograms/ref-results/main-type.vcg b/testprograms/ref-results/main-type.vcg index ff716b10f..dadea68c5 100644 --- a/testprograms/ref-results/main-type.vcg +++ b/testprograms/ref-results/main-type.vcg @@ -25,7 +25,7 @@ size: -1B, edge: { sourcename:"t20" targetname: "t1" class: 10 label: "arr elt tp" color:green} edge: { sourcename:"t20" targetname: "e21" class: 10 label: "arr ent" color: green} node: {title: "t1" label: "primitive int"info1: "state: layout_fixed, -mode: I, +mode: Is, size: 4B, "} node: {title: "e24"label: "ent a" color: yellow diff --git a/testprograms/ref-results/main.vcg b/testprograms/ref-results/main.vcg index a673446cf..67c1b0673 100644 --- a/testprograms/ref-results/main.vcg +++ b/testprograms/ref-results/main.vcg @@ -17,7 +17,7 @@ edge: {sourcename: "n38" targetname: "n39" label: "0" color: red} node: {title: "n37" label: "Return 37" } edge: {sourcename: "n37" targetname: "n49" label: "0" color: blue} edge: {sourcename: "n37" targetname: "n42" label: "1" } -node: {title: "n42" label: "ProjI 2 42" color: yellow} +node: {title: "n42" label: "ProjIs 2 42" color: yellow} edge: {sourcename: "n42" targetname: "n43" label: "0" } node: {title: "n43" label: "Load 43" } edge: {sourcename: "n43" targetname: "n48" label: "0" color: blue} @@ -38,7 +38,7 @@ edge: {sourcename: "n40" targetname: "n39" label: "0" color: red} node: {title: "n39" label: "ProjX 0 39" color: yellow} edge: {sourcename: "n39" targetname: "n41" label: "0" color: red} node: {title: "n41" label: "Start 41" color: blue} -node: {title: "n45" label: "3I 45" color: yellow} +node: {title: "n45" label: "0x00000003Iu 45" color: yellow} node: {title: "n47" label: "ProjP 2 47" color: yellow} edge: {sourcename: "n47" targetname: "n41" label: "0" } node: {title: "n48" label: "ProjM 1 48" color: yellow} diff --git a/testprograms/ref-results/set_a.vcg b/testprograms/ref-results/set_a.vcg index 8ec831a87..e65d34d96 100644 --- a/testprograms/ref-results/set_a.vcg +++ b/testprograms/ref-results/set_a.vcg @@ -22,7 +22,7 @@ node: {title: "n221" label: "Store 221" } edge: {sourcename: "n221" targetname: "n226" label: "0" color: blue} edge: {sourcename: "n221" targetname: "n224" label: "1" } edge: {sourcename: "n221" targetname: "n222" label: "2" } -node: {title: "n222" label: "ProjI 1 222" color: yellow} +node: {title: "n222" label: "ProjIs 1 222" color: yellow} edge: {sourcename: "n222" targetname: "n223" label: "0" } node: {title: "n224" label: "Sel a 224" } edge: {sourcename: "n224" targetname: "n226" label: "0" color: blue} -- 2.20.1