From 612d41c3b5fa0813f773ae0ccaec9647370b6641 Mon Sep 17 00:00:00 2001 From: Martin Perner Date: Fri, 4 Jun 2010 15:45:40 +0200 Subject: [PATCH] New Testcase + Instr count updates --- codeb/abgabe_be.instr | 2 +- codeb/abgabe_bf.instr | 2 +- codeb/abgabe_bg.instr | 2 +- codeb/abgabe_bj.instr | 2 +- codeb/codea_abgabe_ao.instr | 2 +- codeb/georg_asma_01.instr | 2 +- codeb/georg_asma_02.instr | 2 +- codeb/georg_asma_03.instr | 2 +- codeb/georg_asma_04.instr | 2 +- codeb/georg_asmb_01.instr | 2 +- codeb/georg_fib_001.instr | 2 +- codeb/georg_fib_021.instr | 2 +- codeb/georg_fib_022.instr | 2 +- codeb/georg_fib_023.instr | 2 +- codeb/georg_fib_024.instr | 2 +- codeb/georg_fib_025.instr | 2 +- codeb/georg_fib_026.instr | 2 +- codeb/georg_fib_027.instr | 2 +- codeb/georg_fib_028.instr | 2 +- codeb/georg_fib_044.instr | 2 +- codeb/intelli_02.instr | 2 +- codeb/intelli_03.instr | 2 +- codeb/intelli_13.instr | 2 +- codeb/intelli_14.instr | 2 +- codeb/intelli_15.instr | 2 +- codeb/skinner33_00.instr | 2 +- codeb/skinner33_05.0 | 11 +++++++++++ codeb/skinner33_05.call | 2 ++ codeb/skinner33_05.instr | 1 + 29 files changed, 40 insertions(+), 26 deletions(-) create mode 100644 codeb/skinner33_05.0 create mode 100644 codeb/skinner33_05.call create mode 100644 codeb/skinner33_05.instr diff --git a/codeb/abgabe_be.instr b/codeb/abgabe_be.instr index 8f92bfd..64bb6b7 100644 --- 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 95f9650..d81cc07 100644 --- 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 7facc89..f5c8955 100644 --- 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 2bd5a0a..209e3ef 100644 --- 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 1e8b314..b8626c4 100644 --- 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 ba30067..d3824c2 100644 --- 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 67bf40f..3860ed9 100644 --- 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 98da127..7f05eed 100644 --- 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 9be0dc9..0d38910 100644 --- 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 137b833..761fcd3 100644 --- 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 305aa98..3bc92d4 100644 --- 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 864d565..0f11735 100644 --- 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 10b0c0d..86a0307 100644 --- 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 a1e0432..eb08bc0 100644 --- 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 4438e30..7b47338 100644 --- 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 c48f9e0..5381652 100644 --- 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 c48f9e0..5381652 100644 --- 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 4dab36b..4438e30 100644 --- 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 4dab36b..4438e30 100644 --- 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 d1e85f8..95de1ee 100644 --- 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 f599e28..ec63514 100644 --- 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 8351c19..48082f7 100644 --- 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 c739b42..a787364 100644 --- 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 b1e7d26..f6b91e0 100644 --- 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 7fe4e49..dde92dd 100644 --- 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 dd47563..ea70ce0 100644 --- 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 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