bug fixes and refactoring to have more smooth integration of loopOptimize and loopTer...

diff --git a/Robust/src/Analysis/Loops/LoopOptimize.java b/Robust/src/Analysis/Loops/LoopOptimize.java
index 5b111ca3b7feb46a91012d927be562a0fe31ab51..8a096572a5d22874e51a9fa2881cf7232e2fe74d 100644 (file)
--- a/Robust/src/Analysis/Loops/LoopOptimize.java
+++ b/Robust/src/Analysis/Loops/LoopOptimize.java
@@ -20,6 +20,7 @@ public class LoopOptimize {
   private GlobalFieldType gft;
   private TypeUtil typeutil;
   private Map<FlatMethod, LoopInvariant> fm2loopinv;
+  private LoopTerminate lt;
   
   private Hashtable<FlatNode, FlatNode> ntoomap;
   private Hashtable<FlatNode, FlatNode> clonemap;
@@ -30,12 +31,14 @@ public class LoopOptimize {
     this.typeutil = typeutil;
     fm2loopinv = new HashMap<FlatMethod, LoopInvariant>();
   }
-
-  public void optimize(FlatMethod fm) {
+  
+  public void analyze(FlatMethod fm){
     loopinv = new LoopInvariant(typeutil, gft);
     loopinv.analyze(fm);
     fm2loopinv.put(fm, loopinv);
-    
+  }
+  
+  public void optimize(FlatMethod fm) {
     ntoomap=new Hashtable<FlatNode, FlatNode>();
     map=new Hashtable<FlatNode, FlatNode>();
     clonemap=new Hashtable<FlatNode, FlatNode>();

diff --git a/Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java b/Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
index ec404bd9e818678ac1bd68d1cd9edb5a31ed73bf..d99f44f4ee978c9c21fde04bfea999c5f1cb909c 100644 (file)
--- a/Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
+++ b/Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
@@ -77,8 +77,10 @@ public class DefinitelyWrittenCheck {
   }
 
   public void definitelyWrittenCheck() {
-    methodReadOverWriteAnalysis();
-    writtenAnalyis();
+    if (!ssjava.getAnnotationRequireSet().isEmpty()) {
+      methodReadOverWriteAnalysis();
+      writtenAnalyis();
+    }
   }
 
   private void writtenAnalyis() {

diff --git a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
index f5357f353ce486df2e9718523e1117539f989994..ac27f7c3b74d97f1980c3cf9711463babfec63c6 100644 (file)
--- a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
+++ b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
@@ -277,6 +277,11 @@ public class SSJavaAnalysis {
     return annotationRequireSet;
   }
 
+  public void doLoopTerminationCheck(LoopOptimize lo, FlatMethod fm) {
+    LoopTerminate lt = new LoopTerminate();
+    lt.terminateAnalysis(fm, lo.getLoopInvariant(fm));
+  }
+
   public void doLoopTerminationCheck(LoopOptimize lo) {
     LoopTerminate lt = new LoopTerminate();
     for (Iterator iterator = annotationRequireSet.iterator(); iterator.hasNext();) {

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index c2bc4eb0cc620542210a1461621817b87c86b722..d48ad48b9335162894b498f6761eafdaff167eae 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -508,8 +508,15 @@ public class Main {
             continue;
           cp.optimize(fm);
           dc.optimize(fm);
-          if (!state.NOLOOP)
+          if (!state.NOLOOP){            
+            lo.analyze(fm);
+            if(state.SSJAVA){
+              ssjava.doLoopTerminationCheck(lo,fm);
+            }
             lo.optimize(fm);
+          }
+            
+          
           cp.optimize(fm);
           dc.optimize(fm);
           lcse.doAnalysis(fm);
@@ -522,9 +529,6 @@ public class Main {
       }
       State.logEvent("Done Optimizing");
       
-      if(state.SSJAVA) {
-        ssjava.doLoopTerminationCheck(lo);
-      }
     }
 
     if (state.FLATIRGRAPH) {