New Testcase + Instr count updates

diff --git a/codeb/abgabe_be.instr b/codeb/abgabe_be.instr
index 8f92bfdd49766b1907d4aec8d3b0f9ed6129d0e6..64bb6b746dceaf12b0ba8c08f310b0426babde44 100644 (file)
--- a/codeb/abgabe_be.instr
+++ b/codeb/abgabe_be.instr
@@ -1 +1 @@
-35
+30

diff --git a/codeb/abgabe_bf.instr b/codeb/abgabe_bf.instr
index 95f9650f0151d7c0d3aecf40355d88effbd5b7a7..d81cc0710eb6cf9efd5b920a8453e1e07157b6cd 100644 (file)
--- a/codeb/abgabe_bf.instr
+++ b/codeb/abgabe_bf.instr
@@ -1 +1 @@
-49
+42

diff --git a/codeb/abgabe_bg.instr b/codeb/abgabe_bg.instr
index 7facc89938bbc5635e3d36ffa56b4c85e9b07db8..f5c89552bd3e62bfce023a230e90d141f7a46b2f 100644 (file)
--- a/codeb/abgabe_bg.instr
+++ b/codeb/abgabe_bg.instr
@@ -1 +1 @@
-36
+32

diff --git a/codeb/abgabe_bj.instr b/codeb/abgabe_bj.instr
index 2bd5a0a98a36cc08ada88b804d3be047e6aa5b8a..209e3ef4b6247ce746048d5711befda46206d235 100644 (file)
--- a/codeb/abgabe_bj.instr
+++ b/codeb/abgabe_bj.instr
@@ -1 +1 @@
-22
+20

diff --git a/codeb/codea_abgabe_ao.instr b/codeb/codea_abgabe_ao.instr
index 1e8b314962144c26d5e0e50fd29d2ca327864913..b8626c4cff2849624fb67f87cd0ad72b163671ad 100644 (file)
--- a/codeb/codea_abgabe_ao.instr
+++ b/codeb/codea_abgabe_ao.instr
@@ -1 +1 @@
-6
+4

diff --git a/codeb/georg_asma_01.instr b/codeb/georg_asma_01.instr
index ba3006739b90fb386f12623c6c49ea89d212ad0e..d3824c2972160c3ca81e03083ae4d1f4a3342a48 100644 (file)
--- a/codeb/georg_asma_01.instr
+++ b/codeb/georg_asma_01.instr
@@ -1 +1 @@
-372
+324

diff --git a/codeb/georg_asma_02.instr b/codeb/georg_asma_02.instr
index 67bf40fe17851559c9a47fd6d9c69f20df8e2c71..3860ed91376f06ad11e5c076fb2128725894bd21 100644 (file)
--- a/codeb/georg_asma_02.instr
+++ b/codeb/georg_asma_02.instr
@@ -1 +1 @@
-371
+323

diff --git a/codeb/georg_asma_03.instr b/codeb/georg_asma_03.instr
index 98da127e3c80bd39010cc3666c7c9148c049c70c..7f05eede23a03229008ee16a4b734bd4fb277bfb 100644 (file)
--- a/codeb/georg_asma_03.instr
+++ b/codeb/georg_asma_03.instr
@@ -1 +1 @@
-260
+244

diff --git a/codeb/georg_asma_04.instr b/codeb/georg_asma_04.instr
index 9be0dc9a9e6f4d2dedc39a0148a071fd5e2e455d..0d389107a348aa189d7b862d7834120e53f2e3a5 100644 (file)
--- a/codeb/georg_asma_04.instr
+++ b/codeb/georg_asma_04.instr
@@ -1 +1 @@
-228
+212

diff --git a/codeb/georg_asmb_01.instr b/codeb/georg_asmb_01.instr
index 137b8338f2f5f7cd68c1b58d9b4241d78ecb5a74..761fcd3ac2102706b66c0443712c3c4af9f42d9d 100644 (file)
--- a/codeb/georg_asmb_01.instr
+++ b/codeb/georg_asmb_01.instr
@@ -1 +1 @@
-530
+499

diff --git a/codeb/georg_fib_001.instr b/codeb/georg_fib_001.instr
index 305aa985702a5d9dee861080db95f95d82d43a8c..3bc92d44ac9d8a185fa33dec183c593d71d79372 100644 (file)
--- a/codeb/georg_fib_001.instr
+++ b/codeb/georg_fib_001.instr
@@ -1 +1 @@
-273
+201

diff --git a/codeb/georg_fib_021.instr b/codeb/georg_fib_021.instr
index 864d5650ed9d29e2ce17b6914cc733e27432409b..0f11735ff87032009232b8fcba70c8e355c61a37 100644 (file)
--- a/codeb/georg_fib_021.instr
+++ b/codeb/georg_fib_021.instr
@@ -1 +1 @@
-268
+196

diff --git a/codeb/georg_fib_022.instr b/codeb/georg_fib_022.instr
index 10b0c0dbc88781b180c5100d48bf19c4bbe4c4b4..86a0307199419a10492c4e4a044feb9f6580c607 100644 (file)
--- a/codeb/georg_fib_022.instr
+++ b/codeb/georg_fib_022.instr
@@ -1 +1 @@
-264
+192

diff --git a/codeb/georg_fib_023.instr b/codeb/georg_fib_023.instr
index a1e0432c9a7d553d7b06d64216b464bc80b234bc..eb08bc0b0bc3abec5c48e80643fc18fb4ced16a0 100644 (file)
--- a/codeb/georg_fib_023.instr
+++ b/codeb/georg_fib_023.instr
@@ -1 +1 @@
-312
+240

diff --git a/codeb/georg_fib_024.instr b/codeb/georg_fib_024.instr
index 4438e30535f75b1ce957e894012d90d8c03ec1b7..7b473380d9333e5af894cf6ef1b1d5d4c0c0beff 100644 (file)
--- a/codeb/georg_fib_024.instr
+++ b/codeb/georg_fib_024.instr
@@ -1 +1 @@
-293
+221

diff --git a/codeb/georg_fib_025.instr b/codeb/georg_fib_025.instr
index c48f9e045258746be228297abdb2ab587e5db7c3..538165229c7218b9aff6eb21037b85dd3b77612b 100644 (file)
--- a/codeb/georg_fib_025.instr
+++ b/codeb/georg_fib_025.instr
@@ -1 +1 @@
-269
+197

diff --git a/codeb/georg_fib_026.instr b/codeb/georg_fib_026.instr
index c48f9e045258746be228297abdb2ab587e5db7c3..538165229c7218b9aff6eb21037b85dd3b77612b 100644 (file)
--- a/codeb/georg_fib_026.instr
+++ b/codeb/georg_fib_026.instr
@@ -1 +1 @@
-269
+197

diff --git a/codeb/georg_fib_027.instr b/codeb/georg_fib_027.instr
index 4dab36bb4d7994e99ad0b5bdc0b74a6032cbd4dd..4438e30535f75b1ce957e894012d90d8c03ec1b7 100644 (file)
--- a/codeb/georg_fib_027.instr
+++ b/codeb/georg_fib_027.instr
@@ -1 +1 @@
-317
+293

diff --git a/codeb/georg_fib_028.instr b/codeb/georg_fib_028.instr
index 4dab36bb4d7994e99ad0b5bdc0b74a6032cbd4dd..4438e30535f75b1ce957e894012d90d8c03ec1b7 100644 (file)
--- a/codeb/georg_fib_028.instr
+++ b/codeb/georg_fib_028.instr
@@ -1 +1 @@
-317
+293

diff --git a/codeb/georg_fib_044.instr b/codeb/georg_fib_044.instr
index d1e85f890cb9acbf9ad9058c566de04974f9f406..95de1eedbcd3823b898e2638db9157a37c00f5e5 100644 (file)
--- a/codeb/georg_fib_044.instr
+++ b/codeb/georg_fib_044.instr
@@ -1 +1 @@
-326
+297

diff --git a/codeb/intelli_02.instr b/codeb/intelli_02.instr
index f599e28b8ab0d8c9c57a486c89c4a5132dcbd3b2..ec635144f60048986bc560c5576355344005e6e7 100644 (file)
--- a/codeb/intelli_02.instr
+++ b/codeb/intelli_02.instr
@@ -1 +1 @@
-10
+9

diff --git a/codeb/intelli_03.instr b/codeb/intelli_03.instr
index 8351c19397f4fcd5238d10034fa7fa384f14d580..48082f72f087ce7e6fa75b9c41d7387daecd447b 100644 (file)
--- a/codeb/intelli_03.instr
+++ b/codeb/intelli_03.instr
@@ -1 +1 @@
-14
+12

diff --git a/codeb/intelli_13.instr b/codeb/intelli_13.instr
index c739b42c4d2ce23786c5350641d0adbf5fa7d6b2..a7873645902455c63d166fdcaa4b2fe565f6de7d 100644 (file)
--- a/codeb/intelli_13.instr
+++ b/codeb/intelli_13.instr
@@ -1 +1 @@
-44
+34

diff --git a/codeb/intelli_14.instr b/codeb/intelli_14.instr
index b1e7d265fcc1d93320d7446fa1755892417f1f90..f6b91e0e1f8dddaac700b51aa7a66f29fc135a02 100644 (file)
--- a/codeb/intelli_14.instr
+++ b/codeb/intelli_14.instr
@@ -1 +1 @@
-61
+56

diff --git a/codeb/intelli_15.instr b/codeb/intelli_15.instr
index 7fe4e495fed81a962c91dde803eb5bbe3aa14261..dde92ddc1a594acd912b467305f36d9f26da45f3 100644 (file)
--- a/codeb/intelli_15.instr
+++ b/codeb/intelli_15.instr
@@ -1 +1 @@
-91
+82

diff --git a/codeb/skinner33_00.instr b/codeb/skinner33_00.instr
index dd475631baeff3ce652b97d921c1cc43c917b9e2..ea70ce013438b2e42d5297cf39110708d9cfe033 100644 (file)
--- a/codeb/skinner33_00.instr
+++ b/codeb/skinner33_00.instr
@@ -1 +1 @@
-76
+72

diff --git a/codeb/skinner33_05.0 b/codeb/skinner33_05.0
new file mode 100644 (file)
index 0000000..f97f4fb
--- /dev/null
+++ b/codeb/skinner33_05.0
@@ -0,0 +1,11 @@
+method fib()
+  var n:=0;
+  var a:=0;
+  var b:=1;
+  while n<this do
+    n:=n--1;
+       b:=b-(0-a);
+    a:=b-a;
+  end;
+  return a;
+end;

diff --git a/codeb/skinner33_05.call b/codeb/skinner33_05.call
new file mode 100644 (file)
index 0000000..aaf92c7
--- /dev/null
+++ b/codeb/skinner33_05.call
@@ -0,0 +1,2 @@
+extern long fib(long);
+RET(3==fib(4));

diff --git a/codeb/skinner33_05.instr b/codeb/skinner33_05.instr
new file mode 100644 (file)
index 0000000..64bb6b7
--- /dev/null
+++ b/codeb/skinner33_05.instr
@@ -0,0 +1 @@
+30