Lab 5 edits.

Author: anthonycanino1

lab5/include/DivZeroAnalysis.h

@@ -13,6 +13,10 @@ struct DivZeroAnalysis : public DataflowAnalysis {
 
   void doAnalysis(Function &F) override;
 
+  void flowIn(Instruction *I, Memory *In);
+
+  void flowOut(Instruction *I, Memory *In, Memory *NOut,  SetVector <Instruction *> &);
+
   bool check(Instruction *I) override;
 
   std::string getAnalysisName() override { return "DivZero"; }

lab5/include/Domain.h

@@ -1,6 +1,10 @@
 #ifndef DOMAIN_H
 #define DOMAIN_H
 
+#include "llvm/Support/raw_ostream.h"
+
+using namespace llvm;
+
 namespace dataflow {
 
 //===----------------------------------------------------------------------===//
@@ -11,8 +15,23 @@ namespace dataflow {
  * Implement your abstract domain.
  */
 class Domain {
-  /* Add your code here */
+public:
+  enum Element { Uninit, NonZero, Zero, MaybeZero };
+  Domain();
+  Domain(Element V);
+  Element Value;
+
+  static Domain *add(Domain *E1, Domain *E2);
+  static Domain *sub(Domain *E1, Domain *E2);
+  static Domain *mul(Domain *E1, Domain *E2);
+  static Domain *div(Domain *E1, Domain *E2);
+  static Domain *join(Domain *E1, Domain *E2);
+  static bool order(Domain E1, Domain E2);
+  void print(raw_ostream &O);
 };
+
+raw_ostream &operator<<(raw_ostream &O, Domain V);
+
 } // namespace dataflow
 
 #endif // DOMAIN_H

lab5/include/RefDomain.h

@@ -8,16 +8,46 @@ namespace dataflow {
 
 /**
  * Implement your data-flow analysis.
- * 1. Define "transfer" that computes the semantics of each instruction.
- * 2. Define "doAnalysis" that stores your results in "InMap" and "OutMap".
- * 3. Define "check" that checks if a given instruction is erroneous or not.
+ * 1. Define "join" that joins the memory state of two flows.
+ * 2. Define "order" which states if two memory sets are ordered
+ * 3. Define "flowIn" that joins the memory set of all incomming flows
+ * 4. Define "transfer" that computes the semantics of each instruction.
+ * 5. Define "flowOut" that flows the memory set to all outgoing flows
+ * 6. Define "doAnalysis" that stores your results in "InMap" and "OutMap".
+ * 7. Define "check" that checks if a given instruction is erroneous or not.
  */
 
+
+void join(Memory *Result, Memory *M1, Memory *M2) {
+  /* Add your code here */
+}
+
+bool order(Memory *M1, Memory *M2) {
+  /* Add your code here */
+}
+
+
+void DivZeroAnalysis::flowIn(Instruction *I, Memory *In) {
+  /* Add your code here */
+}
+
 void DivZeroAnalysis::transfer(Instruction *I, const Memory *In, Memory *NOut) {
   /* Add your code here */
 }
 
-void DivZeroAnalysis::doAnalysis(Function &F) { /* Add your code here */ }
+void DivZeroAnalysis::flowOut(Instruction *I, Memory *Pre, Memory *Post,  SetVector <Instruction *> &WorkSet) {
+  /* Add your code here */
+}
+
+void DivZeroAnalysis::doAnalysis(Function &F) { 
+  SetVector<Instruction *> WorkSet;
+  for (inst_iterator I = inst_begin(F), E = inst_end(F); I != E; ++I) {
+    WorkSet.insert(&(*I));
+  }
+
+  /* Add your code here */ 
+
+}
 
 bool DivZeroAnalysis::check(Instruction *I) {
   /* Add your code here */

lab5/reference/libRefDomain.so

@@ -1,11 +1,12 @@
-.PRECIOUS: %.ll
+.PRECIOUS: %.ll %.opt.ll
 
-all: simple0.out simple1.out branch0.out branch1.out branch2.out loop0.out input0.out
+all: simple0.out simple1.out branch0.out branch1.out branch2.out branch3.out branch4.out branch5.out branch6.out loop0.out loop1.out input0.out
 
-%.ll: %.c
-	clang -emit-llvm -S -fno-discard-value-names -c -o $@ $<
+%.opt.ll: %.c
+	clang -emit-llvm -S -fno-discard-value-names -Xclang -disable-O0-optnone -c -o $@ $<
+	opt -mem2reg -S $@ -o $*.opt.ll
 
-%.out: %.ll
+%.out: %.opt.ll
 	opt -load ../build/DataflowPass.so -DivZero $< -disable-output > $@ 2> $*.err
 
 clean:

lab5/src/DivZeroAnalysis.cpp

@@ -0,0 +1,10 @@
+#include <stdio.h>
+
+void f() {
+  int x = fgetc(stdin);
+  int y = 2;
+  if (x > 10) {
+    y = 0;
+  }
+  int z = x / y; // divide-by-zero after branch
+}

lab5/test/Makefile

@@ -0,0 +1,17 @@
+#include <stdio.h>
+
+void f() {
+  int in = fgetc(stdin);
+  unsigned int a = 10;
+  unsigned int b = 2;
+
+  if(in > 0){
+	b = 0;
+  }else if(in == 0){
+	b = 2 - b;
+  }else{
+	b = -2 + b;
+  }
+
+  int out = a / b;
+}

lab5/test/branch3.c

@@ -0,0 +1,17 @@
+#include <stdio.h>
+
+void f() {
+  int in = fgetc(stdin);
+  unsigned int a = 10;
+  unsigned int b = 2;
+
+  if(in > 0){
+	b = in + b; 
+  }else if(in == 0){
+	b = 0;
+  }else{
+	b = in - b;
+  }
+
+  int out = a / b;
+}

lab5/test/branch4.c

@@ -0,0 +1,17 @@
+#include <stdio.h>
+
+void f() {
+  int in = fgetc(stdin);
+  int a = 10;
+  int b = 2;
+
+  if(in > 0){
+	b = 100 + b; 
+  }else if(in == 0){
+	b = 1;
+  }else{
+	b = a + b;
+  }
+
+  int out = a / b;
+}

lab5/test/branch5.c

@@ -0,0 +1,9 @@
+void f() {
+  int i;
+  int sum = 0;
+  while(sum < 50){
+    sum += i;
+  }
+  int y = sum - 55;
+  int z = i / y;
+}