Added benchmarks for clang-fe

Author: aadityanaik

clang-fe/benchmarks-copy/c/1.c

@@ -0,0 +1,18 @@
+int main() {
+  // variable declarations
+  int x;
+  int y;
+  // pre-conditions
+  (x = 1);
+  (y = 0);
+  // loop body
+  while ((y < 100000)) {
+    {
+    (x  = (x + y));
+    (y  = (y + 1));
+    }
+
+  }
+  // post-condition
+assert( (x >= y) );
+}

clang-fe/benchmarks-copy/c/10.c

@@ -0,0 +1,22 @@
+int main() {
+  // variable declarations
+  int x;
+  int y;
+  // pre-conditions
+  assume((x >= 0));
+  assume((x <= 2));
+  assume((y <= 2));
+  assume((y >= 0));
+  // loop body
+  while (unknown()) {
+    {
+    (x  = (x + 2));
+    (y  = (y + 2));
+    }
+
+  }
+  // post-condition
+if ( (y == 0) )
+assert( (x != 4) );
+
+}

clang-fe/benchmarks-copy/c/100.c

@@ -0,0 +1,20 @@
+int main() {
+  // variable declarations
+  int n;
+  int x;
+  int y;
+  // pre-conditions
+  assume((n >= 0));
+  (x = n);
+  (y = 0);
+  // loop body
+  while ((x > 0)) {
+    {
+    (y  = (y + 1));
+    (x  = (x - 1));
+    }
+
+  }
+  // post-condition
+assert( (y == n) );
+}

clang-fe/benchmarks-copy/c/101.c

@@ -0,0 +1,18 @@
+int main() {
+  // variable declarations
+  int n;
+  int x;
+  // pre-conditions
+  (x = 0);
+  // loop body
+  while ((x < n)) {
+    {
+    (x  = (x + 1));
+    }
+
+  }
+  // post-condition
+if ( (x != n) )
+assert( (n < 0) );
+
+}

clang-fe/benchmarks-copy/c/102.c

@@ -0,0 +1,18 @@
+int main() {
+  // variable declarations
+  int n;
+  int x;
+  // pre-conditions
+  (x = 0);
+  // loop body
+  while ((x < n)) {
+    {
+    (x  = (x + 1));
+    }
+
+  }
+  // post-condition
+if ( (n >= 0) )
+assert( (x == n) );
+
+}

clang-fe/benchmarks-copy/c/103.c

@@ -0,0 +1,15 @@
+int main() {
+  // variable declarations
+  int x;
+  // pre-conditions
+  (x = 0);
+  // loop body
+  while ((x < 100)) {
+    {
+    (x  = (x + 1));
+    }
+
+  }
+  // post-condition
+assert( (x == 100) );
+}

clang-fe/benchmarks-copy/c/104.c

@@ -0,0 +1,21 @@
+int main() {
+  // variable declarations
+  int n;
+  int v1;
+  int v2;
+  int v3;
+  int x;
+  // pre-conditions
+  (x = 0);
+  // loop body
+  while ((x < n)) {
+    {
+    (x  = (x + 1));
+    }
+
+  }
+  // post-condition
+if ( (x != n) )
+assert( (n < 0) );
+
+}

clang-fe/benchmarks-copy/c/105.c

@@ -0,0 +1,21 @@
+int main() {
+  // variable declarations
+  int n;
+  int v1;
+  int v2;
+  int v3;
+  int x;
+  // pre-conditions
+  (x = 0);
+  // loop body
+  while ((x < n)) {
+    {
+    (x  = (x + 1));
+    }
+
+  }
+  // post-condition
+if ( (n >= 0) )
+assert( (x == n) );
+
+}

clang-fe/benchmarks-copy/c/106.c

@@ -0,0 +1,17 @@
+
+int main() {
+    int a,m,j,k;
+
+    assume(a <= m);
+    assume(j < 1);
+    k = 0;
+
+    while ( k < 1) {
+        if(m < a) {
+            m = a;
+        }
+        k = k + 1;
+    }
+
+    assert( a >= m);
+}

clang-fe/benchmarks-copy/c/107.c

@@ -0,0 +1,17 @@
+
+
+int main() {
+    int a,m,j,k;
+
+    j = 0;
+    k = 0;
+
+    while ( k < 1) {
+        if(m < a) {
+            m = a;
+        }
+        k = k + 1;
+    }
+
+    assert( a <= m);
+}

clang-fe/benchmarks-copy/c/108.c

@@ -0,0 +1,17 @@
+
+int main() {
+    int a,c,m,j,k;
+
+    assume(a <= m);
+    j = 0;
+    k = 0;
+
+    while ( k < c) {
+        if(m < a) {
+            m = a;
+        }
+        k = k + 1;
+    }
+
+    assert( a <=  m);
+}

clang-fe/benchmarks-copy/c/109.c

@@ -0,0 +1,18 @@
+
+int main() {
+    int a,c,m,j,k;
+
+    j = 0;
+    k = 0;
+
+    while ( k < c) {
+        if(m < a) {
+            m = a;
+        }
+        k = k + 1;
+    }
+
+    if( c > 0 ) {
+        assert( a <=  m);
+    }
+}

clang-fe/benchmarks-copy/c/11.c

@@ -0,0 +1,25 @@
+int main() {
+  // variable declarations
+  int x;
+  int y;
+  int z1;
+  int z2;
+  int z3;
+  // pre-conditions
+  assume((x >= 0));
+  assume((x <= 10));
+  assume((y <= 10));
+  assume((y >= 0));
+  // loop body
+  while (unknown()) {
+    {
+    (x  = (x + 10));
+    (y  = (y + 10));
+    }
+
+  }
+  // post-condition
+if ( (x == 20) )
+assert( (y != 0) );
+
+}

clang-fe/benchmarks-copy/c/110.c

@@ -0,0 +1,21 @@
+int main() {
+  // variable declarations
+  int i;
+  int n;
+  int sn;
+  // pre-conditions
+  (sn = 0);
+  (i = 1);
+  // loop body
+  while ((i <= n)) {
+    {
+    (i  = (i + 1));
+    (sn  = (sn + 1));
+    }
+
+  }
+  // post-condition
+if ( (sn != n) )
+assert( (sn == 0) );
+
+}

clang-fe/benchmarks-copy/c/111.c

@@ -0,0 +1,21 @@
+int main() {
+  // variable declarations
+  int i;
+  int n;
+  int sn;
+  // pre-conditions
+  (sn = 0);
+  (i = 1);
+  // loop body
+  while ((i <= n)) {
+    {
+    (i  = (i + 1));
+    (sn  = (sn + 1));
+    }
+
+  }
+  // post-condition
+if ( (sn != 0) )
+assert( (sn == n) );
+
+}

clang-fe/benchmarks-copy/c/112.c

@@ -0,0 +1,24 @@
+int main() {
+  // variable declarations
+  int i;
+  int n;
+  int sn;
+  int v1;
+  int v2;
+  int v3;
+  // pre-conditions
+  (sn = 0);
+  (i = 1);
+  // loop body
+  while ((i <= n)) {
+    {
+    (i  = (i + 1));
+    (sn  = (sn + 1));
+    }
+
+  }
+  // post-condition
+if ( (sn != n) )
+assert( (sn == 0) );
+
+}

clang-fe/benchmarks-copy/c/113.c

@@ -0,0 +1,24 @@
+int main() {
+  // variable declarations
+  int i;
+  int n;
+  int sn;
+  int v1;
+  int v2;
+  int v3;
+  // pre-conditions
+  (sn = 0);
+  (i = 1);
+  // loop body
+  while ((i <= n)) {
+    {
+    (i  = (i + 1));
+    (sn  = (sn + 1));
+    }
+
+  }
+  // post-condition
+if ( (sn != 0) )
+assert( (sn == n) );
+
+}

clang-fe/benchmarks-copy/c/114.c

@@ -0,0 +1,20 @@
+int main() {
+  // variable declarations
+  int sn;
+  int x;
+  // pre-conditions
+  (sn = 0);
+  (x = 0);
+  // loop body
+  while (unknown()) {
+    {
+    (x  = (x + 1));
+    (sn  = (sn + 1));
+    }
+
+  }
+  // post-condition
+if ( (sn != x) )
+assert( (sn == -1) );
+
+}

clang-fe/benchmarks-copy/c/115.c

@@ -0,0 +1,20 @@
+int main() {
+  // variable declarations
+  int sn;
+  int x;
+  // pre-conditions
+  (sn = 0);
+  (x = 0);
+  // loop body
+  while (unknown()) {
+    {
+    (x  = (x + 1));
+    (sn  = (sn + 1));
+    }
+
+  }
+  // post-condition
+if ( (sn != -1) )
+assert( (sn == x) );
+
+}