summaryrefslogtreecommitdiff
path: root/test/escedk.c.ppl
diff options
context:
space:
mode:
Diffstat (limited to 'test/escedk.c.ppl')
-rw-r--r--test/escedk.c.ppl55
1 files changed, 0 insertions, 55 deletions
diff --git a/test/escedk.c.ppl b/test/escedk.c.ppl
deleted file mode 100644
index f65e590..0000000
--- a/test/escedk.c.ppl
+++ /dev/null
@@ -1,55 +0,0 @@
-/* Generated from ./test/escedk.cloog by CLooG v0.14.0 64 bits in 0.01s. */
-/* CLooG asked for 168 KBytes. */
-if ((n <= m) && (n >= max(m+1,2))) {
- S1(i = n) ;
-}
-if ((n <= min(m,1)) && (n >= 0) && (m <= -1)) {
- S1(i = n) ;
-}
-if ((n == 1) && (m >= 1) && (m >= 0)) {
- S2(i = 0) ;
- for (j=0;j<=m;j++) {
- S3(i = 0) ;
- }
-}
-if ((n <= m) && (n >= 2)) {
- for (i=0;i<=min(m,n-1);i++) {
- S2 ;
- }
-}
-if ((n == 1) && (m == 0) && (m >= 0)) {
- S3(i = 0,j = 0) ;
-}
-if ((n <= min(min(1,m),m)) && (n >= 0)) {
- S1(i = n) ;
- S2(i = n) ;
- for (j=0;j<=m;j++) {
- S3(i = n) ;
- }
-}
-if ((n <= min(m,m)) && (n >= 2)) {
- S1(i = n) ;
- S2(i = n) ;
-}
-if ((n == 1) && (m == 0) && (m >= 1)) {
- S1(i = 1) ;
- S3(i = 1,j = 0) ;
-}
-if ((n <= min(1,m)) && (n >= 0)) {
- for (i=n+1;i<=m;i++) {
- S2 ;
- for (j=0;j<=m;j++) {
- S3 ;
- }
- }
-}
-if ((n <= m) && (n >= 2)) {
- for (i=n+1;i<=m;i++) {
- S2 ;
- }
-}
-if ((n == 1) && (m == 0)) {
- for (i=2;i<=m;i++) {
- S3(j = 0) ;
- }
-}