changes in irdump
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Thu, 13 Nov 2003 13:15:25 +0000 (13:15 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Thu, 13 Nov 2003 13:15:25 +0000 (13:15 +0000)
[r2037]

testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg
testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg
testprograms/ref-results/IRR_LOOP_main-cfg.vcg
testprograms/ref-results/THREE_CFPRED_EXAMPLE_main-cfg.vcg

index 13b6db9..9a55635 100644 (file)
@@ -17,11 +17,11 @@ classname 10: "Array Element Type"
 classname 11: "Overwrites"
 classname 12: "Member"
 
-node: {title: "n59" label: "Block 59" }
+node: {title: "n59" label: "Block n59" }
 edge: { sourcename: "n59" targetname: "n67"}
-node: {title: "n67" label: "Block 67" }
+node: {title: "n67" label: "Block n67" }
 edge: { sourcename: "n67" targetname: "n63"}
-node: {title: "n63" label: "Block 63" }
+node: {title: "n63" label: "Block n63" }
 edge: { sourcename: "n63" targetname: "n63"}
 node: {title: "n62" label: "Bad  62"  info1: "visited: 0
 "}
index 7d681c2..65b1578 100644 (file)
@@ -17,23 +17,23 @@ classname 10: "Array Element Type"
 classname 11: "Overwrites"
 classname 12: "Member"
 
-node: {title: "n65" label: "Block 65" }
+node: {title: "n65" label: "Block n65" }
 edge: { sourcename: "n65" targetname: "n67"}
-node: {title: "n67" label: "Block 67" }
+node: {title: "n67" label: "Block n67" }
 edge: { sourcename: "n67" targetname: "n90"}
 edge: { sourcename: "n67" targetname: "n69"}
-node: {title: "n69" label: "Block 69" }
+node: {title: "n69" label: "Block n69" }
 edge: { sourcename: "n69" targetname: "n83"}
 edge: { sourcename: "n69" targetname: "n71"}
-node: {title: "n71" label: "Block 71" }
+node: {title: "n71" label: "Block n71" }
 edge: { sourcename: "n71" targetname: "n73"}
-node: {title: "n73" label: "Block 73" }
+node: {title: "n73" label: "Block n73" }
 edge: { sourcename: "n73" targetname: "n75"}
-node: {title: "n75" label: "Block 75" }
+node: {title: "n75" label: "Block n75" }
 edge: { sourcename: "n75" targetname: "n75"}
-node: {title: "n83" label: "Block 83" }
+node: {title: "n83" label: "Block n83" }
 edge: { sourcename: "n83" targetname: "n73"}
-node: {title: "n90" label: "Block 90" }
+node: {title: "n90" label: "Block n90" }
 edge: { sourcename: "n90" targetname: "n83"}
 node: {title: "n96" label: "Bad  96"  info1: "visited: 0
 "}
index 58f82c2..e3b8da1 100644 (file)
@@ -17,20 +17,20 @@ classname 10: "Array Element Type"
 classname 11: "Overwrites"
 classname 12: "Member"
 
-node: {title: "n62" label: "Block 62" }
+node: {title: "n62" label: "Block n62" }
 edge: { sourcename: "n62" targetname: "n64"}
-node: {title: "n64" label: "Block 64" }
+node: {title: "n64" label: "Block n64" }
 edge: { sourcename: "n64" targetname: "n68"}
 edge: { sourcename: "n64" targetname: "n66"}
-node: {title: "n66" label: "Block 66" }
+node: {title: "n66" label: "Block n66" }
 edge: { sourcename: "n66" targetname: "n79"}
 edge: { sourcename: "n66" targetname: "n68"}
-node: {title: "n68" label: "Block 68" }
+node: {title: "n68" label: "Block n68" }
 edge: { sourcename: "n68" targetname: "n79"}
 edge: { sourcename: "n68" targetname: "n66"}
-node: {title: "n79" label: "Block 79" }
+node: {title: "n79" label: "Block n79" }
 edge: { sourcename: "n79" targetname: "n74"}
-node: {title: "n74" label: "Block 74" }
+node: {title: "n74" label: "Block n74" }
 edge: { sourcename: "n74" targetname: "n74"}
 node: {title: "n96" label: "Bad  96"  info1: "visited: 0
 "}
index df0c2ca..e9803f0 100644 (file)
@@ -17,23 +17,23 @@ classname 10: "Array Element Type"
 classname 11: "Overwrites"
 classname 12: "Member"
 
-node: {title: "n77" label: "Block 77" }
+node: {title: "n77" label: "Block n77" }
 edge: { sourcename: "n77" targetname: "n79"}
-node: {title: "n79" label: "Block 79" }
+node: {title: "n79" label: "Block n79" }
 edge: { sourcename: "n79" targetname: "n103"}
 edge: { sourcename: "n79" targetname: "n100"}
 edge: { sourcename: "n79" targetname: "n81"}
-node: {title: "n81" label: "Block 81" }
+node: {title: "n81" label: "Block n81" }
 edge: { sourcename: "n81" targetname: "n83"}
-node: {title: "n83" label: "Block 83" }
+node: {title: "n83" label: "Block n83" }
 edge: { sourcename: "n83" targetname: "n85"}
-node: {title: "n85" label: "Block 85" }
+node: {title: "n85" label: "Block n85" }
 edge: { sourcename: "n85" targetname: "n87"}
-node: {title: "n87" label: "Block 87" }
+node: {title: "n87" label: "Block n87" }
 edge: { sourcename: "n87" targetname: "n87"}
-node: {title: "n100" label: "Block 100" }
+node: {title: "n100" label: "Block n100" }
 edge: { sourcename: "n100" targetname: "n83"}
-node: {title: "n103" label: "Block 103" }
+node: {title: "n103" label: "Block n103" }
 edge: { sourcename: "n103" targetname: "n85"}
 node: {title: "n111" label: "Bad  111"  info1: "visited: 0
 "}