From 8d8d551df23b5055507c501e3396dcfe3c33af2d Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Thu, 27 Oct 2016 21:01:37 -0400
Subject: new tests for the load optimization

---
 test/ldhoist.ssa | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 test/ldhoist.ssa

(limited to 'test/ldhoist.ssa')

diff --git a/test/ldhoist.ssa b/test/ldhoist.ssa
new file mode 100644
index 0000000..d4b1b64
--- /dev/null
+++ b/test/ldhoist.ssa
@@ -0,0 +1,21 @@
+# loads must not be unsafely hoisted
+
+export
+function w $f(w %n, l %p) {
+@start
+	%r =w copy 0
+@loop
+	%n =w sub %n, 1
+	%c =w csgew %n, 0
+	jnz %c, @loop1, @end
+@loop1
+	%r =w loadw %p
+	jmp @loop
+@end
+	ret %r
+}
+
+# >>> driver
+# extern int f(int, int *);
+# int main() { return f(0, 0); }
+# <<<
-- 
cgit 1.4.1