From: bdemsky <bdemsky>
Date: Fri, 27 Mar 2009 01:32:11 +0000 (+0000)
Subject: DefUse analysis
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=commitdiff_plain;h=9afc17cac32db8203e37c725e8ac720f33b8f780

DefUse analysis
---

diff --git a/Robust/src/Analysis/Loops/UseDef.java b/Robust/src/Analysis/Loops/UseDef.java
new file mode 100644
index 00000000..b72a05a9
--- /dev/null
+++ b/Robust/src/Analysis/Loops/UseDef.java
@@ -0,0 +1,92 @@
+package Analysis.Loops;
+
+import IR.Flat.*;
+import java.util.HashSet;
+import java.util.Hashtable;
+
+public class UseDef{
+  Hashtable<TempFlatPair, Set<FlatNode>> defs;
+  Hashtable<TempFlatPair, Set<FlatNode>> uses;
+
+  public UseDef(FlatMethod fm) {
+    analyze(fm);
+  }
+
+  public void analyze(FlatMethod fm) {
+    Hashtable<FlatNode, Set<TempFlatPair>> tmp=new Hashtable<FlatNode, Set<TempFlatPair>>();
+    HashSet<FlatNode> toanalyze=new HashSet<FlatNode>();
+    toanalyze.addAll(fm.getNodeSet());
+    while(!toanalyze.isEmpty()) {
+      FlatNode fn=toanalyze.iterator().next();
+      TempDescriptor[] fnwrites=fn.writesTemps();
+
+      toanalyze.remove(fn);
+      HashSet<TempFlatPair> s=new HashSet<TempFlatPair>();
+      for(int i=0;i<fn.numPrev();i++) {
+	FlatNode prev=fn.getPrev(i);
+	HashSet<TempFlatPair> prevs=tmp.get(prev);
+	nexttfp:
+	for(Iterator<TempFlatPair> tfit=prevs.iterator();tfit.hasNext();) {
+	  TempFlatPair tfp=tfit.next();
+	  for(int j=0;j<fnwrites.length;j++) {
+	    if (tfp.t==fnwrites[j])
+	      continue nexttfp;
+	  }
+	  s.add(tfp);
+	}
+	for(int j=0;j<fnwrites.length;j++) {
+	  TempFlatPair tfp=new TempFlatPair(fnwrites[j], fn);
+	  s.add(tfp);
+	}
+      }
+      if (!tmp.containsKey(fn)||
+	  !tmp.get(fn).equals(s)) {
+	tmp.put(fn,s);
+	for(int i=0;i<fn.numNext();i++)
+	  toanalyze.put(fn.getNext(i));
+      }
+    }
+    Set<FlatNode> fset=fm.getNodeSet();
+    defs=new Hashtable<TempFlatPair, Set<FlatNode>>();
+    uses=new Hashtable<TempFlatPair, Set<FlatNode>>();
+    for(Iterator<FlatNode> fnit=fset.iterator();fnit.hasNext();) {
+      FlatNode fn=fnit.next();
+      TempDescriptor[] fnreads=fn.readsTemps();
+      Set<TempFlatPair> tfpset=tmp.get(fn);
+      
+      for(int i=0;i<fnreads.length;i++) {
+	TempDescriptor readt=fnreads[i];
+	for(Iterator<TempFlatPair> tfpit=tfpset.iterator();tfpit.hasNext();) {
+	  TempFlatPair tfp=tfpit.next();
+	  if (tfp.t==readt) {
+	    //have use
+	    if (!uses.containsKey(tfp))
+	      uses.put(tfp,new HashSet<FlatNode>());
+	    uses.get(tfp).add(fn);
+	    TempFlatPair readtfp=new TempFlatPair(readt,fn);
+	    if (!defs.containsKey(readtfp))
+	      defs.put(readtfp,new HashSet<FlatNode>());
+	    defs.get(readtfp).add(tfp.f);
+	  }
+	}
+      }
+    }
+  }
+}
+
+class TempFlatPair {
+  FlatNode f;
+  TempDescriptor t;
+  TempFlatPair(TempDescriptor t, FlatNode f) {
+    this.t=t;
+    this.f=f;
+  }
+
+  public int hashCode() {
+    return f.hashCode()^t.hashCode();
+  }
+  public boolean equals(Object o) {
+    TempFlatPair tf=(TempFlatPair)o;
+    return t.equals(tf.t)&&f.equals(tf.f);
+  }
+}
\ No newline at end of file