1 files changed, 27 insertions, 0 deletions
diff --git a/tests/sysy_lvX/pure_function.sy b/tests/sysy_lvX/pure_function.sy
new file mode 100644
index 0000000..5400193
--- /dev/null
+++ b/tests/sysy_lvX/pure_function.sy
@@ -0,0 +1,27 @@
+// 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)) {
+    i = i + f2(x);
+  }
+  putint(i); putch(10);
+  return 0;
+}
+\ No newline at end of file