From: bdemsky <bdemsky>
Date: Fri, 27 Mar 2009 00:26:40 +0000 (+0000)
Subject: hack loop optimizations
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1220a6644e80369b6bfd5b4c3d3b59d69b2f2980;p=IRC.git

hack loop optimizations
---

diff --git a/Robust/src/Analysis/Locality/LocalityAnalysis.java b/Robust/src/Analysis/Locality/LocalityAnalysis.java
index e4279892..c1811e5b 100644
--- a/Robust/src/Analysis/Locality/LocalityAnalysis.java
+++ b/Robust/src/Analysis/Locality/LocalityAnalysis.java
@@ -576,11 +576,6 @@ public class LocalityAnalysis {
     currtable.put(fon.getDest(), srcvalue);
   }
 
-  void processOffsetNode(FlatOffsetNode fon, Hashtable<TempDescriptor, Integer> currtable) {
-    /* Just propagate value */
-    currtable.put(fon.getDst(), LOCAL);
-  }
-
   void processCastNode(FlatCastNode fcn, Hashtable<TempDescriptor, Integer> currtable) {
     currtable.put(fcn.getDst(), currtable.get(fcn.getSrc()));
   }
@@ -593,6 +588,10 @@ public class LocalityAnalysis {
       currtable.put(fln.getDst(), LOCAL);
   }
 
+  void processOffsetNode(FlatOffsetNode fln, Hashtable<TempDescriptor, Integer> currtable) {
+    currtable.put(fln.getDst(), LOCAL);
+  }
+
   void processReturnNode(LocalityBinding lb, FlatReturnNode frn, Hashtable<TempDescriptor, Integer> currtable) {
     if(frn.getReturnTemp()!=null) {
       Integer returntype=currtable.get(frn.getReturnTemp());
diff --git a/Robust/src/Analysis/Loops/DomTree.java b/Robust/src/Analysis/Loops/DomTree.java
new file mode 100644
index 00000000..aef079de
--- /dev/null
+++ b/Robust/src/Analysis/Loops/DomTree.java
@@ -0,0 +1,100 @@
+package Analysis.Loops;
+import java.util.Set;
+import java.util.HashSet;
+import java.util.Hashtable;
+import java.util.Vector;
+import java.util.Stack;
+import IR.Flat.FlatNode;
+
+public class DomTree {
+  Hashtable<FlatNode, FlatNode> domtable;
+  Vector<FlatNode> vec;
+  Hashtable<FlatNode,Integer> vecindex;
+  Hashtable<FlatNode, Set<FlatNode>> childtree;
+
+  public DomTree(FlatMethod fm) {
+    analyze(fm);
+  }
+
+  public FlatNode idom(FlatNode fn) {
+    return domtable.get(fn);
+  }
+
+  public Set<FlatNode> children(FlatNode fn) {
+    return childtree(fn);
+  }
+
+  public void analyze(FlatMethod fm) {
+    DFS(fm);
+    domtable=new Hashtable<FlatNode, FlatNode>();
+    domtable.put(fm,fm);
+    HashSet<FlatNode> set=new HashSet<FlatNode> ();
+    set.add(fm);
+    childtree.put(fm,set);
+
+    boolean changed=true;
+    while(changed) {
+      changed=false;
+      for(int i=vec.size()-2;i>=0;i--) {
+	FlatNode fn=vec.elementAt(i);
+	FlatNode dom=null;
+	for(int j=0;j<fn.numPrev();j++) {
+	  FlatNode ndom=domtable.get(fn.getPrev(i));
+	  dom=intersect(dom,ndom);
+	}
+	if (!domtable.containsKey(fn)||
+	    !domtable.get(fn).equals(ndom)) {
+	  domtree.put(fn,dom);
+	  if (!childtree.containsKey(dom))
+	    childtree.put(dom, new HashSet<FlatNode>());
+	  childtree.get(dom).add(fn);
+	  changed=true;
+	}
+      }
+    }
+  }
+
+  public FlatNode intersect(FlatNode fa, FlatNode fb) {
+    int ifa=vecindex.get(fa).intValue();
+    int ifb=vecindex.get(fb).intValue();
+    while(ifa!=ifb) {
+      while (ifa<ifb) {
+	fa=domtable.get(fa);
+	ifa=vecindex.get(fa).intValue();
+      }
+      while (ifb<ifa) {
+	fb=domtable.get(fb);
+	ifb=vecindex.get(fb).intValue();
+      }
+    }
+    return fa;
+  }
+
+
+  public void DFS(FlatMethod fm) {
+    vec=new Vector<FlatNode>();
+    vecindex=new Hashtable<FlatNode,Integer>();
+    HashSet visited=new HashSet();
+    Stack<FlatNode> stack=new Stack<FlatNode>();
+    stack.push(fm);
+    visited.add(next);
+    mainloop:
+    while(!stack.isEmpty()) {
+      FlatNode fn=stack.peek();
+      for(int i=0;i<fn.numNext();i++) {
+	FlatNode next=fn.getNext(i);
+	if (!visited.contains(next)) {
+	  visited.add(next);
+	  stack.push(next);
+	  continue mainloop;
+	}
+      }
+      //We're done with this item, return
+      vecindex.put(fn, new Integer(vec.size()));
+      vec.add(fn);
+      stack.pop();
+    }
+  }
+
+
+}
\ No newline at end of file