worklist version

[repair.git] / Repair / RepairCompiler / MCC / IR / RelationQuantifier.java

diff --git a/Repair/RepairCompiler/MCC/IR/RelationQuantifier.java b/Repair/RepairCompiler/MCC/IR/RelationQuantifier.java
index d30e862a60d1260fd443fe905cf9975fff2443cb..7281d2e4086ea7c6bc0a320874c48f4f0d61c897 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/RelationQuantifier.java
+++ b/Repair/RepairCompiler/MCC/IR/RelationQuantifier.java
@@ -36,4 +36,21 @@ public class RelationQuantifier extends Quantifier {
         writer.outputline(x.getType().getSafeSymbol() + " " + x.getSafeSymbol() + " = (" + x.getType().getSafeSymbol() + ") " + x.getSafeSymbol() + "_iterator->key();");
     }
 
         writer.outputline(x.getType().getSafeSymbol() + " " + x.getSafeSymbol() + " = (" + x.getType().getSafeSymbol() + ") " + x.getSafeSymbol() + "_iterator->key();");
     }
 

+    public int generate_worklistload(CodeWriter writer, int offset) {        
+        String varx = x.getSafeSymbol();
+        String vary = y.getSafeSymbol();
+        writer.outputline("int " + varx + " = wi->word" + offset + "; // r1"); 
+        writer.outputline("int " + vary + " = wi->word" + (offset + 1) + "; //r2"); 
+        return offset + 2;       
+    }
+
+    public int generate_workliststore(CodeWriter writer, int offset) {        
+        String varx = x.getSafeSymbol();
+        String vary = y.getSafeSymbol();
+        writer.outputline("wi->word" + offset + " = " + varx + "; // r1");
+        writer.outputline("wi->word" + (offset+1) + " = " + vary + "; // r2");
+        return offset + 2;       
+    }
+
+

 }
 }