From 75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5 Mon Sep 17 00:00:00 2001 From: Tuowen Zhao Date: Sat, 17 Sep 2016 03:22:53 +0000 Subject: cmake build --- omega/examples/old_test/lift2.oc-rt | 190 ------------------------------------ 1 file changed, 190 deletions(-) delete mode 100644 omega/examples/old_test/lift2.oc-rt (limited to 'omega/examples/old_test/lift2.oc-rt') diff --git a/omega/examples/old_test/lift2.oc-rt b/omega/examples/old_test/lift2.oc-rt deleted file mode 100644 index 41e1fa8..0000000 --- a/omega/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