test/cholesky2.c.polylib

   1 /* Generated from cholesky2.cloog by CLooG v0.14.0 gmp bits in 0.11s. */
   2 /* CLooG asked for 616 KBytes. */
   3 if (M >= 2) {
   4   for (c2=1;c2<=M-1;c2++) {
   5     S1(i = c2) ;
   6     for (c3=c2+1;c3<=M;c3++) {
   7       S4(i = c2,j = c3) ;
   8     }
   9   }
  10   S1(i = M) ;
  11 }
  12 if (M == 1) {
  13   S1(i = 1) ;
  14 }
  15 if (M >= 2) {
  16   S3(i = 1) ;
  17 }
  18 if (M >= 3) {
  19   S6(i = 1,j = 2) ;
  20   for (c2=3;c2<=M;c2++) {
  21     S6(i = 1,j = c2) ;
  22     for (i=2;i<=c2-1;i++) {
  23       S5(j = c2,k = 1) ;
  24     }
  25   }
  26 }
  27 if (M == 2) {
  28   S6(i = 1,j = 2) ;
  29 }
  30 for (c1=3;c1<=3*M-7;c1++) {
  31   if ((c1+2)%3 == 0) {
  32     i = (c1+2)/3 ;
  33     S3 ;
  34   }
  35   if (c1%3 == 0) {
  36     c2 = (c1+3)/3 ;
  37     i = (c1+3)/3 ;
  38     S2(j = c1/3) ;
  39   }
  40   for (c2=ceild(c1+4,3);c2<=floord(c1+6,3);c2++) {
  41     if ((c1+1)%3 == 0) {
  42       i = (c1+1)/3 ;
  43       S6(j = c2) ;
  44     }
  45     if (c1%3 == 0) {
  46       S2(i = c2,j = c1/3) ;
  47     }
  48   }
  49   for (c2=ceild(c1+7,3);c2<=M;c2++) {
  50     if ((c1+1)%3 == 0) {
  51       i = (c1+1)/3 ;
  52       S6(j = c2) ;
  53     }
  54     if (c1%3 == 0) {
  55       S2(i = c2,j = c1/3) ;
  56     }
  57     if ((c1+1)%3 == 0) {
  58       c3 = (c1+1)/3 ;
  59       for (i=ceild(c1+4,3);i<=c2-1;i++) {
  60         k = (c1+1)/3 ;
  61         S5(j = c2) ;
  62       }
  63     }
  64   }
  65 }
  66 for (c1=max(3*M-6,3);c1<=3*M-4;c1++) {
  67   if ((c1+2)%3 == 0) {
  68     i = (c1+2)/3 ;
  69     S3 ;
  70   }
  71   if (c1%3 == 0) {
  72     c2 = (c1+3)/3 ;
  73     i = (c1+3)/3 ;
  74     S2(j = c1/3) ;
  75   }
  76   for (c2=ceild(c1+4,3);c2<=M;c2++) {
  77     if ((c1+1)%3 == 0) {
  78       i = (c1+1)/3 ;
  79       S6(j = c2) ;
  80     }
  81     if (c1%3 == 0) {
  82       S2(i = c2,j = c1/3) ;
  83     }
  84   }
  85 }
  86 if (M >= 2) {
  87   c1 = 3*M-3 ;
  88   j = M-1 ;
  89   S2(i = M) ;
  90 }
  91 if (M >= 1) {
  92   c1 = 3*M-2 ;
  93   S3(i = M) ;
  94 }