From 3e95c3b8f51a87e801198e871b100d1366004bb1 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Tue, 6 Nov 2018 17:10:35 +0300
Subject: [PATCH] Some extra tests

---
 regression/orig/test048.log |  3 +++
 regression/orig/test049.log |  3 +++
 regression/test048.expr     |  9 +++++++++
 regression/test048.input    |  1 +
 regression/test049.expr     | 19 +++++++++++++++++++
 regression/test049.input    |  1 +
 6 files changed, 36 insertions(+)
 create mode 100644 regression/orig/test048.log
 create mode 100644 regression/orig/test049.log
 create mode 100644 regression/test048.expr
 create mode 100644 regression/test048.input
 create mode 100644 regression/test049.expr
 create mode 100644 regression/test049.input

diff --git a/regression/orig/test048.log b/regression/orig/test048.log
new file mode 100644
index 000000000..9536400a4
--- /dev/null
+++ b/regression/orig/test048.log
@@ -0,0 +1,3 @@
+> 7
+7
+28
diff --git a/regression/orig/test049.log b/regression/orig/test049.log
new file mode 100644
index 000000000..20b1d6a07
--- /dev/null
+++ b/regression/orig/test049.log
@@ -0,0 +1,3 @@
+> 55
+310
+310
diff --git a/regression/test048.expr b/regression/test048.expr
new file mode 100644
index 000000000..d84d9bc8b
--- /dev/null
+++ b/regression/test048.expr
@@ -0,0 +1,9 @@
+fun test (n, m) local i, s {
+  write (n);
+  write (m);
+  return n
+}
+
+n := read ();
+y := 1 + (2 + (3 + (4 + (5 + (6 + test (7, 7))))));
+write (y)
\ No newline at end of file
diff --git a/regression/test048.input b/regression/test048.input
new file mode 100644
index 000000000..573541ac9
--- /dev/null
+++ b/regression/test048.input
@@ -0,0 +1 @@
+0
diff --git a/regression/test049.expr b/regression/test049.expr
new file mode 100644
index 000000000..f3e6d32a6
--- /dev/null
+++ b/regression/test049.expr
@@ -0,0 +1,19 @@
+fun test (n, m) local i, s {
+  s := 0;
+  for i := 0, i <= n, i := i + 1 do
+    s := s + i;
+    if s > m then return s fi
+  od;
+  
+  return s
+}
+
+n := read ();
+y := ((((((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))))) + (((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))))) + ((((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))))) + (((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))))))) + (((((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))))) + (((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))))) + ((((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))))) + (((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + test(10, 100)))))))));
+
+t := test(10, 100);
+y2 := ((((((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))))) + (((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))))) + ((((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))))) + (((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))))))) + (((((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))))) + (((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))))) + ((((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))))) + (((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1)))) + ((((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + 1))) + (((1 + 1) + (1 + 1)) + ((1 + 1) + (1 + t))))))));
+
+write (t);
+write (y2);
+write (y)
\ No newline at end of file
diff --git a/regression/test049.input b/regression/test049.input
new file mode 100644
index 000000000..573541ac9
--- /dev/null
+++ b/regression/test049.input
@@ -0,0 +1 @@
+0