fix bugs

diff --git a/Robust/src/Analysis/Locality/LocalityAnalysis.java b/Robust/src/Analysis/Locality/LocalityAnalysis.java
index 8a4907b0d57bae77739a27417b1fa650097873c6..1a7f5ce1e41af729d655b2ea00ae9c73137361d6 100644 (file)
--- a/Robust/src/Analysis/Locality/LocalityAnalysis.java
+++ b/Robust/src/Analysis/Locality/LocalityAnalysis.java
@@ -572,7 +572,7 @@ public class LocalityAnalysis {
            toprocess.remove(fn);
 
            List<TempDescriptor> reads=Arrays.asList(fn.readsTemps());
-           List<TempDescriptor> writes=Arrays.asList(fn.readsTemps());
+           List<TempDescriptor> writes=Arrays.asList(fn.writesTemps());
 
            HashSet<TempDescriptor> tempset=new HashSet<TempDescriptor>();
            for(int i=0;i<fn.numNext();i++) {
@@ -583,7 +583,7 @@ public class LocalityAnalysis {
            tempset.removeAll(writes);
            tempset.addAll(reads);
            if (!nodetotemps.containsKey(fn)||
-               nodetotemps.get(fn).equals(tempset)) {
+               !nodetotemps.get(fn).equals(tempset)) {
                nodetotemps.put(fn, tempset);
                for(int i=0;i<fn.numPrev();i++)
                    toprocess.add(fn.getPrev(i));
@@ -615,13 +615,10 @@ public class LocalityAnalysis {
        Hashtable<FlatNode, Hashtable<TempDescriptor, Integer>> temptab=getNodeTempInfo(lb);
        MethodDescriptor md=lb.getMethod();
        FlatMethod fm=state.getMethodFlat(md);
-
        Hashtable<FlatNode, Set<TempDescriptor>> nodetotemps=computeLiveTemps(fm);
        Hashtable<FlatAtomicEnterNode, Set<TempDescriptor>> nodetosavetemps=new Hashtable<FlatAtomicEnterNode, Set<TempDescriptor>>();
        tempstosave.put(lb, nodetosavetemps);
-
        Hashtable<FlatNode, FlatAtomicEnterNode> nodemap=new Hashtable<FlatNode, FlatAtomicEnterNode>();
-       
        HashSet<FlatNode> toprocess=new HashSet<FlatNode>();
        HashSet<FlatNode> discovered=new HashSet<FlatNode>();
        toprocess.add(fm);