From 78bbc8a139de273348fa628a28604d1e99f538df Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Fri, 1 Jul 2011 18:48:51 +0000
Subject: [PATCH] bug fixes and refactoring to have more smooth integration of
 loopOptimize and loopTerminate

---
 Robust/src/Analysis/Loops/LoopOptimize.java          |  9 ++++++---
 .../src/Analysis/SSJava/DefinitelyWrittenCheck.java  |  6 ++++--
 Robust/src/Analysis/SSJava/SSJavaAnalysis.java       |  5 +++++
 Robust/src/Main/Main.java                            | 12 ++++++++----
 4 files changed, 23 insertions(+), 9 deletions(-)

diff --git a/Robust/src/Analysis/Loops/LoopOptimize.java b/Robust/src/Analysis/Loops/LoopOptimize.java
index 5b111ca3..8a096572 100644
--- 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 ec404bd9..d99f44f4 100644
--- 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 f5357f35..ac27f7c3 100644
--- 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 c2bc4eb0..d48ad48b 100644
--- 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) {
-- 
2.34.1