codeb ifs and whiles

diff --git a/codeb/intelli_08.0 b/codeb/intelli_08.0
new file mode 100644 (file)
index 0000000..c11c52b
--- /dev/null
+++ b/codeb/intelli_08.0
@@ -0,0 +1,6 @@
+method m()
+  if this < 10 then
+    return 3;
+  end;
+  return 0;
+end;

diff --git a/codeb/intelli_08.call b/codeb/intelli_08.call
new file mode 100644 (file)
index 0000000..5d374dc
--- /dev/null
+++ b/codeb/intelli_08.call
@@ -0,0 +1,3 @@
+extern long long m(long long this);
+
+RET(m(9) == 3 && m(10) == 0);
\ No newline at end of file

diff --git a/codeb/intelli_08.instr b/codeb/intelli_08.instr
new file mode 100644 (file)
index 0000000..8e2afd3
--- /dev/null
+++ b/codeb/intelli_08.instr
@@ -0,0 +1 @@
+17
\ No newline at end of file

diff --git a/codeb/intelli_09.0 b/codeb/intelli_09.0
new file mode 100644 (file)
index 0000000..e911c52
--- /dev/null
+++ b/codeb/intelli_09.0
@@ -0,0 +1,11 @@
+method m(a)
+       var u := 10;
+       if this < 50 then
+               if 10 < a then
+                       return a - 10;
+               end;
+               var x := 20;
+               u := u - (x * -1);
+       end;
+       return u;
+end;

diff --git a/codeb/intelli_09.call b/codeb/intelli_09.call
new file mode 100644 (file)
index 0000000..372469e
--- /dev/null
+++ b/codeb/intelli_09.call
@@ -0,0 +1,3 @@
+extern long long m(long long this, long long a);
+
+RET(m(51, 0) == 10 && m(-3, 5) == 30 && m(35, 18) == 8);
\ No newline at end of file

diff --git a/codeb/intelli_09.instr b/codeb/intelli_09.instr
new file mode 100644 (file)
index 0000000..2e66562
--- /dev/null
+++ b/codeb/intelli_09.instr
@@ -0,0 +1 @@
+49
\ No newline at end of file

diff --git a/codeb/intelli_10.0 b/codeb/intelli_10.0
new file mode 100644 (file)
index 0000000..812d872
--- /dev/null
+++ b/codeb/intelli_10.0
@@ -0,0 +1,14 @@
+method m(a)
+       var u := 10;
+       if this < 50 then
+               if 10 < a then
+                       return a - 10;
+               end;
+               var x:= 20;
+               if this < 0 then
+                       x := x or 64;
+               end;
+               u := u * x;
+       end;
+       return u;
+end;

diff --git a/codeb/intelli_10.call b/codeb/intelli_10.call
new file mode 100644 (file)
index 0000000..39c3e6d
--- /dev/null
+++ b/codeb/intelli_10.call
@@ -0,0 +1,3 @@
+extern long long m(long long this, long long a);
+
+RET(m(60, 0) == 10 && m(0, 10) == 200 && m(35, 18) == 8 && m(-10, 0) == 840);
\ No newline at end of file

diff --git a/codeb/intelli_10.instr b/codeb/intelli_10.instr
new file mode 100644 (file)
index 0000000..9d1ce53
--- /dev/null
+++ b/codeb/intelli_10.instr
@@ -0,0 +1 @@
+82
\ No newline at end of file

diff --git a/codeb/intelli_11.0 b/codeb/intelli_11.0
new file mode 100644 (file)
index 0000000..2927030
--- /dev/null
+++ b/codeb/intelli_11.0
@@ -0,0 +1,8 @@
+method m()
+       if 5 < 10 then
+               return 10;
+       else
+               return 5;
+       end;
+end;
+

diff --git a/codeb/intelli_11.call b/codeb/intelli_11.call
new file mode 100644 (file)
index 0000000..3a71fea
--- /dev/null
+++ b/codeb/intelli_11.call
@@ -0,0 +1,3 @@
+extern long long m(long long this);
+
+RET(m(0xCCACC) == 10);
\ No newline at end of file

diff --git a/codeb/intelli_11.instr b/codeb/intelli_11.instr
new file mode 100644 (file)
index 0000000..d8263ee
--- /dev/null
+++ b/codeb/intelli_11.instr
@@ -0,0 +1 @@
+2
\ No newline at end of file

diff --git a/codeb/intelli_12.0 b/codeb/intelli_12.0
new file mode 100644 (file)
index 0000000..a33d8fc
--- /dev/null
+++ b/codeb/intelli_12.0
@@ -0,0 +1,29 @@
+method m()
+       if this < -100 then
+               return -4711;
+       else
+               if (-10 < this) then
+                       if (this < -5) then
+                               if (this = -6) then
+                                       return 1;
+                               else
+                                       return 2;
+                               end;
+                       else
+                               if this = -4 then
+                                       return 3;
+                               end;
+                       if this = -3 then
+                               return 6;
+                       end;
+                               if this = -2 then
+                                       return 7;
+                               end;
+                       end;
+               else
+                       return 4;
+               end;
+       end;
+       return 5;
+end;
+

diff --git a/codeb/intelli_12.call b/codeb/intelli_12.call
new file mode 100644 (file)
index 0000000..1f1c37a
--- /dev/null
+++ b/codeb/intelli_12.call
@@ -0,0 +1,5 @@
+extern long long m(long long this);
+
+RET(m(-2) == 7 && m(-1) == 5);
+
+//RET(m(-200) == -4711 && m(-6) == 1 && m(-7) == 2 && m(-4) == 3 && m(-11) == 4 && m(-3) == 6 && m(-2) == 7 && m(-1) == 5);

diff --git a/codeb/intelli_12.instr b/codeb/intelli_12.instr
new file mode 100644 (file)
index 0000000..eb13855
--- /dev/null
+++ b/codeb/intelli_12.instr
@@ -0,0 +1 @@
+79
\ No newline at end of file

diff --git a/codeb/intelli_13.0 b/codeb/intelli_13.0
new file mode 100644 (file)
index 0000000..a5183d4
--- /dev/null
+++ b/codeb/intelli_13.0
@@ -0,0 +1,8 @@
+method m()
+       var x := 10;
+       while 0 < x do
+               x := x-1;
+       end;
+       return x;
+end;
+

diff --git a/codeb/intelli_13.call b/codeb/intelli_13.call
new file mode 100644 (file)
index 0000000..bb251ad
--- /dev/null
+++ b/codeb/intelli_13.call
@@ -0,0 +1,3 @@
+extern long long m(long long this);
+
+RET(m(0xBABE) == 0);
\ No newline at end of file

diff --git a/codeb/intelli_13.instr b/codeb/intelli_13.instr
new file mode 100644 (file)
index 0000000..97e3504
--- /dev/null
+++ b/codeb/intelli_13.instr
@@ -0,0 +1 @@
+110
\ No newline at end of file