From: bdemsky <bdemsky>
Date: Sat, 18 Apr 2009 01:17:08 +0000 (+0000)
Subject: integrate typeanalysis
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=64d33653ccf78eacfad07d9225aaf32bd9c2e87d;p=IRC.git

integrate typeanalysis
---

diff --git a/Robust/src/Analysis/Locality/DiscoverConflicts.java b/Robust/src/Analysis/Locality/DiscoverConflicts.java
index 4db34352..9f35c7cc 100644
--- a/Robust/src/Analysis/Locality/DiscoverConflicts.java
+++ b/Robust/src/Analysis/Locality/DiscoverConflicts.java
@@ -20,12 +20,14 @@ public class DiscoverConflicts {
   Hashtable<LocalityBinding, Set<FlatNode>> treadmap;
   Hashtable<LocalityBinding, Set<TempFlatPair>> transreadmap;
   Hashtable<LocalityBinding, Set<FlatNode>> srcmap;
-    
-  public DiscoverConflicts(LocalityAnalysis locality, State state) {
+  TypeAnalysis typeanalysis;
+  
+  public DiscoverConflicts(LocalityAnalysis locality, State state, TypeAnalysis typeanalysis) {
     this.locality=locality;
     this.fields=new HashSet<FieldDescriptor>();
     this.arrays=new HashSet<TypeDescriptor>();
     this.state=state;
+    this.typeanalysis=typeanalysis;
     transreadmap=new Hashtable<LocalityBinding, Set<TempFlatPair>>();
     treadmap=new Hashtable<LocalityBinding, Set<FlatNode>>();
     srcmap=new Hashtable<LocalityBinding, Set<FlatNode>>();
@@ -56,7 +58,12 @@ public class DiscoverConflicts {
   }
 
   public void expandTypes() {
-    //FIX ARRAY...compute super/sub sets of each so we can do simple membership test
+    Set<TypeDescriptor> expandedarrays=new HashSet<TypeDescriptor>();
+    for(Iterator<TypeDescriptor> it=arrays.iterator();it.hasNext();) {
+      TypeDescriptor td=it.next();
+      expandedarrays.addAll(typeanalysis.expand(td));
+    }
+    arrays=expandedarrays;
   }
 
   Hashtable<TempDescriptor, Set<TempFlatPair>> doMerge(FlatNode fn, Hashtable<FlatNode, Hashtable<TempDescriptor, Set<TempFlatPair>>> tmptofnset) {
diff --git a/Robust/src/Analysis/Locality/TypeAnalysis.java b/Robust/src/Analysis/Locality/TypeAnalysis.java
index beba8203..e90b860f 100644
--- a/Robust/src/Analysis/Locality/TypeAnalysis.java
+++ b/Robust/src/Analysis/Locality/TypeAnalysis.java
@@ -92,6 +92,10 @@ public class TypeAnalysis {
     return namemap.get(td);
   }
 
+  public boolean couldAlias(TypeDescriptor td1, TypeDescriptor td2) {
+    return namemap.get(td1).contains(td2);
+  }
+
   public void addMapping(TypeDescriptor src, TypeDescriptor dst) {
     if (!map.containsKey(src))
       map.put(src, new HashSet<TypeDescriptor>());
@@ -145,9 +149,9 @@ public class TypeAnalysis {
 	if (fc.getReturnTemp()!=null) {
 	  addMapping(fc.getMethod().getReturnType(), fc.getReturnTemp().getType());
 	}
+	MethodDescriptor callmd=fc.getMethod();
 	if (fc.getThis()!=null) {
 	  //complicated...need to deal with virtual dispatch here
-	  MethodDescriptor callmd=fc.getMethod();
 	  Set methods=cg.getMethods(callmd);
 	  for(Iterator mdit=methods.iterator();mdit.hasNext();) {
 	    MethodDescriptor md2=(MethodDescriptor)mdit.next();
@@ -162,7 +166,7 @@ public class TypeAnalysis {
 	}
 	for(int i=0;i<fc.numArgs();i++) {
 	  TempDescriptor arg=fc.getArg(i);
-	  TypeDescriptor ptype=md.getParamType(i);
+	  TypeDescriptor ptype=callmd.getParamType(i);
 	  addMapping(arg.getType(), ptype);
 	}
 	break;
diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index fcba393d..2c91f122 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -21,6 +21,7 @@ import Analysis.Locality.DiscoverConflicts;
 import Analysis.CallGraph.CallGraph;
 import Analysis.Prefetch.*;
 import Analysis.Loops.WriteBarrier;
+import Analysis.Locality.TypeAnalysis;
 
 public class BuildCode {
   State state;
@@ -86,7 +87,8 @@ public class BuildCode {
       this.wb=new WriteBarrier(locality, st);
     }
     if (state.SINGLETM&&state.DCOPTS) {
-      this.dc=new DiscoverConflicts(locality, st);
+      TypeAnalysis typeanalysis=new TypeAnalysis(locality, st, typeutil,callgraph);
+      this.dc=new DiscoverConflicts(locality, st, typeanalysis);
       dc.doAnalysis();
     }