Set up a git repoHEADmaster

1 files changed, 29 insertions, 0 deletions

diff --git a/tests/sysy_lvX/pure_function2.sy b/tests/sysy_lvX/pure_function2.sy
new file mode 100644
index 0000000..07bc87f
--- /dev/null
+++ b/tests/sysy_lvX/pure_function2.sy
@@ -0,0 +1,29 @@
+// has side effect
+void f1() {
+  putint(1); putch(10);
+}
+
+int glob;
+
+// no side effect, load glob
+int f2(int x[]) {
+  return x[0] + glob;
+}
+
+int f3(int x[]) {
+  return x[0] + x[1];
+}
+
+int main() {
+  f1();
+  int i = 0;
+  int x[2] = {getint(), getint()};
+  f2(x);
+  while (i < f3(x)) {
+    x[0] = x[0] + 1;
+    x[1] = x[1] * 2;
+    i = i + f2(x);
+  }
+  putint(i); putch(10);
+  return 0;
+}
\ No newline at end of file