From: jjenista <jjenista>
Date: Thu, 18 Sep 2008 21:18:55 +0000 (+0000)
Subject: exhaustive arity improves for benchmarks with ad=1
X-Git-Tag: buildscript^7~98
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=66c844899ec8f2d7fa1ca28bee8f814a4c231b34;p=IRC.git

exhaustive arity improves for benchmarks with ad=1
---

diff --git a/Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java b/Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java
index 6d7e3b5f..f3da5e80 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java
@@ -41,7 +41,7 @@ public class AllocationSite {
 
 
   public AllocationSite(int allocationDepth, TypeDescriptor type) {
-    assert allocationDepth >= 2;
+    assert allocationDepth >= 1;
 
     this.allocationDepth = allocationDepth;
     this.type            = type;
diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index e87ce0d3..4084da96 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
@@ -1011,7 +1011,7 @@ public class OwnershipGraph {
       Iterator<ReferenceEdge> edgeItr = argLabel_i.iteratorToReferencees();
       while( edgeItr.hasNext() ) {
 	ReferenceEdge edge = edgeItr.next();
-	D_i = D_i.union(edge.getBeta() );
+	D_i = D_i.union(edge.getBeta());
       }
 
       D_i = D_i.exhaustiveArityCombinations();
diff --git a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
index 71be34fb..3c1fa840 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
@@ -46,6 +46,11 @@ public class ReachabilitySet extends Canonical {
     return possibleReachabilities.iterator();
   }
 
+  
+  public int size() {
+    return possibleReachabilities.size();
+  }
+
 
   public boolean contains(TokenTupleSet tts) {
     assert tts != null;
@@ -256,7 +261,8 @@ public class ReachabilitySet extends Canonical {
     int numDimensions = this.possibleReachabilities.size();
 
     if( numDimensions > 10 ) {
-      System.out.println( "exhaustiveArityCombinations numDimensions = "+numDimensions );
+      System.out.println( "    exhaustiveArityCombinations numDimensions = "+numDimensions );
+      System.out.println( this );
     }
 
     // add an extra digit to detect termination
@@ -291,15 +297,15 @@ public class ReachabilitySet extends Canonical {
 
 
 	if( i == 11 ) {
-	  System.out.print( "x " );
+	  System.out.print( "x" );
 	}
 
 	if( i == 15 ) {
-	  System.out.print( "@ " );
+	  System.out.print( "@" );
 	}
 
 	if( i == 17 ) {
-	  System.out.print( "# " );
+	  System.out.print( "#" );
 	}
 
 	if( digits[i] > maxArity ) {
@@ -313,6 +319,10 @@ public class ReachabilitySet extends Canonical {
       }
     }
 
+    if( numDimensions > 10 ) {
+      System.out.println( "" );
+    }
+
     return rsOut.makeCanonical();
   }
 
diff --git a/Robust/src/Benchmarks/Ownership/makefile b/Robust/src/Benchmarks/Ownership/makefile
index 36de4131..ef4eedfd 100644
--- a/Robust/src/Benchmarks/Ownership/makefile
+++ b/Robust/src/Benchmarks/Ownership/makefile
@@ -1,12 +1,16 @@
 BUILDSCRIPT=~/research/Robust/src/buildscript
-BSFLAGS= -recover -ownership -ownaliasfile aliases.txt -enable-assertions #-flatirtasks
+BSFLAGS= -recover -ownership -ownaliasfile aliases.txt -enable-assertions #-flatirtasks -ownwritedots final
+AD1= -ownallocdepth 1
 AD3= -ownallocdepth 3
 AD5= -ownallocdepth 5
 AD9= -ownallocdepth 9
 
-all: ad3
+all: ad1
 
 
+ad1:
+	$(BUILDSCRIPT) $(BSFLAGS) $(AD1) *.java
+
 ad3:
 	$(BUILDSCRIPT) $(BSFLAGS) $(AD3) *.java