From 372c92e7c1901dd7bdd1d2fd48bff205c31dca2d Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Mon, 19 Sep 2016 11:52:51 -0600
Subject: remove omegacalc as subproject
---
omegalib/examples/old_test/lift2.oc-rt | 190 ---------------------------------
1 file changed, 190 deletions(-)
delete mode 100644 omegalib/examples/old_test/lift2.oc-rt
(limited to 'omegalib/examples/old_test/lift2.oc-rt')
diff --git a/omegalib/examples/old_test/lift2.oc-rt b/omegalib/examples/old_test/lift2.oc-rt
deleted file mode 100644
index 41e1fa8..0000000
--- a/omegalib/examples/old_test/lift2.oc-rt
+++ /dev/null
@@ -1,190 +0,0 @@
->>> I1 := { [i,j,k,l,m] : 5 <= i <= 60 && 1 <= j,k,l,m <= 100 };
->>> I2 := { [i,j,k,l,m] : 1 <= i,j,k,l,m <= 100 };
->>>
->>> codegen 0 I1,I2;
-for(t1 = 1; t1 <= 100; t1++) {
- for(t2 = 1; t2 <= 100; t2++) {
- for(t3 = 1; t3 <= 100; t3++) {
- for(t4 = 1; t4 <= 100; t4++) {
- for(t5 = 1; t5 <= 100; t5++) {
- s2(t1,t2,t3,t4,t5);
- if (t1 >= 5 && t1 <= 60) {
- s1(t1,t2,t3,t4,t5);
- }
- }
- }
- }
- }
-}
-
->>>
->>> #default
->>> codegen 1 I1,I2;
-for(t1 = 1; t1 <= 100; t1++) {
- for(t2 = 1; t2 <= 100; t2++) {
- for(t3 = 1; t3 <= 100; t3++) {
- for(t4 = 1; t4 <= 100; t4++) {
- if (t1 <= 4) {
- for(t5 = 1; t5 <= 100; t5++) {
- s2(t1,t2,t3,t4,t5);
- }
- }
- if (t1 >= 5 && t1 <= 60) {
- for(t5 = 1; t5 <= 100; t5++) {
- s1(t1,t2,t3,t4,t5);
- s2(t1,t2,t3,t4,t5);
- }
- }
- if (t1 >= 61) {
- for(t5 = 1; t5 <= 100; t5++) {
- s2(t1,t2,t3,t4,t5);
- }
- }
- }
- }
- }
-}
-
->>>
->>> codegen 2 I1,I2;
-for(t1 = 1; t1 <= 100; t1++) {
- for(t2 = 1; t2 <= 100; t2++) {
- for(t3 = 1; t3 <= 100; t3++) {
- if (t1 <= 4) {
- for(t4 = 1; t4 <= 100; t4++) {
- for(t5 = 1; t5 <= 100; t5++) {
- s2(t1,t2,t3,t4,t5);
- }
- }
- }
- if (t1 >= 5 && t1 <= 60) {
- for(t4 = 1; t4 <= 100; t4++) {
- for(t5 = 1; t5 <= 100; t5++) {
- s1(t1,t2,t3,t4,t5);
- s2(t1,t2,t3,t4,t5);
- }
- }
- }
- if (t1 >= 61) {
- for(t4 = 1; t4 <= 100; t4++) {
- for(t5 = 1; t5 <= 100; t5++) {
- s2(t1,t2,t3,t4,t5);
- }
- }
- }
- }
- }
-}
-
->>>
->>> codegen 3 I1,I2;
-for(t1 = 1; t1 <= 100; t1++) {
- for(t2 = 1; t2 <= 100; t2++) {
- if (t1 <= 4) {
- for(t3 = 1; t3 <= 100; t3++) {
- for(t4 = 1; t4 <= 100; t4++) {
- for(t5 = 1; t5 <= 100; t5++) {
- s2(t1,t2,t3,t4,t5);
- }
- }
- }
- }
- if (t1 >= 5 && t1 <= 60) {
- for(t3 = 1; t3 <= 100; t3++) {
- for(t4 = 1; t4 <= 100; t4++) {
- for(t5 = 1; t5 <= 100; t5++) {
- s1(t1,t2,t3,t4,t5);
- s2(t1,t2,t3,t4,t5);
- }
- }
- }
- }
- if (t1 >= 61) {
- for(t3 = 1; t3 <= 100; t3++) {
- for(t4 = 1; t4 <= 100; t4++) {
- for(t5 = 1; t5 <= 100; t5++) {
- s2(t1,t2,t3,t4,t5);
- }
- }
- }
- }
- }
-}
-
->>>
->>> codegen 4 I1,I2;
-for(t1 = 1; t1 <= 100; t1++) {
- if (t1 <= 4) {
- for(t2 = 1; t2 <= 100; t2++) {
- for(t3 = 1; t3 <= 100; t3++) {
- for(t4 = 1; t4 <= 100; t4++) {
- for(t5 = 1; t5 <= 100; t5++) {
- s2(t1,t2,t3,t4,t5);
- }
- }
- }
- }
- }
- if (t1 >= 5 && t1 <= 60) {
- for(t2 = 1; t2 <= 100; t2++) {
- for(t3 = 1; t3 <= 100; t3++) {
- for(t4 = 1; t4 <= 100; t4++) {
- for(t5 = 1; t5 <= 100; t5++) {
- s1(t1,t2,t3,t4,t5);
- s2(t1,t2,t3,t4,t5);
- }
- }
- }
- }
- }
- if (t1 >= 61) {
- for(t2 = 1; t2 <= 100; t2++) {
- for(t3 = 1; t3 <= 100; t3++) {
- for(t4 = 1; t4 <= 100; t4++) {
- for(t5 = 1; t5 <= 100; t5++) {
- s2(t1,t2,t3,t4,t5);
- }
- }
- }
- }
- }
-}
-
->>>
->>> codegen 5 I1,I2;
-for(t1 = 1; t1 <= 4; t1++) {
- for(t2 = 1; t2 <= 100; t2++) {
- for(t3 = 1; t3 <= 100; t3++) {
- for(t4 = 1; t4 <= 100; t4++) {
- for(t5 = 1; t5 <= 100; t5++) {
- s2(t1,t2,t3,t4,t5);
- }
- }
- }
- }
-}
-for(t1 = 5; t1 <= 60; t1++) {
- for(t2 = 1; t2 <= 100; t2++) {
- for(t3 = 1; t3 <= 100; t3++) {
- for(t4 = 1; t4 <= 100; t4++) {
- for(t5 = 1; t5 <= 100; t5++) {
- s1(t1,t2,t3,t4,t5);
- s2(t1,t2,t3,t4,t5);
- }
- }
- }
- }
-}
-for(t1 = 61; t1 <= 100; t1++) {
- for(t2 = 1; t2 <= 100; t2++) {
- for(t3 = 1; t3 <= 100; t3++) {
- for(t4 = 1; t4 <= 100; t4++) {
- for(t5 = 1; t5 <= 100; t5++) {
- s2(t1,t2,t3,t4,t5);
- }
- }
- }
- }
-}
-
-
--
cgit v1.2.3-70-g09d2