summaryrefslogtreecommitdiff
path: root/test-chill/test_unroll_extra.py
diff options
context:
space:
mode:
Diffstat (limited to 'test-chill/test_unroll_extra.py')
-rw-r--r--test-chill/test_unroll_extra.py12
1 files changed, 12 insertions, 0 deletions
diff --git a/test-chill/test_unroll_extra.py b/test-chill/test_unroll_extra.py
new file mode 100644
index 0000000..929313c
--- /dev/null
+++ b/test-chill/test_unroll_extra.py
@@ -0,0 +1,12 @@
+from chill import *
+
+source('mm.c')
+procedure('mm')
+#format: rose
+loop(0)
+
+known('ambn > 0')
+known('an > 0')
+known('bm > 0')
+unroll_extra(1, 2, 4)
+print_code()