Adding missing test cases.

Author: anthonycanino1

lab6/test/Makefile

@@ -1,10 +1,9 @@
-.PRECIOUS: %.ll
+.PRECIOUS: %.ll %.opt.ll
 
-all: simple0.out simple1.out branch0.out branch1.out branch2.out loop0.out input0.out pointer0.out pointer1.out pointer2.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 pointer0.out pointer1.out pointer2.out
 
 %.opt.ll: %.c
 	clang -emit-llvm -S -fno-discard-value-names -Xclang -disable-O0-optnone -c -o $@ $<
-	opt -mem2reg -S $@ -o $*.opt.ll
 
 %.out: %.opt.ll
 	opt -load ../build/DataflowPass.so -DivZero $< -disable-output > $@ 2> $*.err

lab6/test/branch2.c

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

lab6/test/branch3.c

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

lab6/test/branch4.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 = 0;
+  }else if(in == 0){
+	b = 2 - b;
+  }else{
+	b = -2 + b;
+  }
+
+  int out = a / b;
+}

lab6/test/branch5.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;
+}

lab6/test/branch6.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;
+}

lab6/test/loop0.c

@@ -2,8 +2,7 @@ void f() {
   int i;
   int sum = 0;
   for (i = 0; i < 10; i++) {
-    sum += i;
+    sum += 1;
   }
-  int y = sum - 55;
-  int z = i / y;
+  int z = i / sum;
 }

lab6/test/loop1.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;
+}

lab6/test/pointer0.c

@@ -1,8 +1,8 @@
 int f(){
-  int a;
+  int a = 1;
   int *c = &a;
   int *d = &a;
   *c = 0;
   int x = 1 / *d;
-  return 0;
+  return x;
 }

lab6/test/pointer3.c

@@ -0,0 +1,21 @@
+int f(int arg) {
+  int a = 1;
+  int b = 1;
+  int *x;
+	int *y;
+  if (arg) {
+    x = &a;
+		y = &b;
+  } else {
+    x = &b;
+		y = &a;
+  }
+	int *z;
+	if (arg) {
+		z = x;
+	} else {
+		z = y;
+	}
+  int z2 = 1 / *z;
+  return 0;
+}

lab6/test/pointer4.c

@@ -0,0 +1,13 @@
+#include <stdio.h>
+
+int main(){
+	int a = 0;
+	int b = 1;
+	int* p = &a;
+	int* q = &b;
+
+	*p = *q;
+
+	int s = b / *p; //not a div by zero
+	return 0;
+}

lab6/test/pointer5.c

@@ -0,0 +1,17 @@
+#include <stdio.h>
+
+int main(){
+	int in = fgetc(stdin);
+	int a = 0;
+	int b = 1;
+	int* x;
+
+	if(in < 10){
+		x = &a;
+	}else{
+		x = &b;
+	}
+
+	int s = b / *x; //divide by zero possible
+	return 0;
+}

lab6/test/pointer6.c

@@ -0,0 +1,32 @@
+#include <stdio.h>
+
+int main(){
+	int stop = fgetc(stdin);
+
+	if (stop > 4){
+		stop = 2;
+	}	
+
+	int* point = NULL;
+
+	int a = 1;
+	int b = 2;
+	int c = 0;
+	int d = 3;
+
+	if(stop == 0){
+		point = &a;
+	}else if(stop == 1){
+		point = &b;
+	}else if(stop == 2){
+		point = &c;
+	}else{
+		point = &d; 
+	}
+	
+	int* e = &a;
+	int* f = &a;
+
+	int y = *f / *point;
+	return  0;
+}