test/reports/sylvain_girbal_24-02-2004.txt

   1 Salut,
   2
   3 J'essaye d'utiliser CLooG pour générer le code d'une boucle strip-minée.
   4
   5 Le code de départ (avant stripmine) est
   6
   7 for(i=0;i<=999;i++
   8 { S1(i);
   9 }
  10
  11 et est correctement généré par cloog.
  12
  13 Apres un strip mine de p, j'esperais arriver a qqch du genre
  14
  15 for(i=0;i<=999;i+=p)
  16 { for(j=i;j<min(i+p,999);j++)
  17   { S1(i)
  18   }
  19 }
  20
  21 Mais j'obtiens un assez laid
  22
  23 for(i=-9;i<=999;i++)
  24 { for(j=max(0,i);j<=min(i+p,999);j++)
  25   { if(i%p == 0)
  26     { S1(i)
  27     }
  28   }
  29 }
  30
  31 avec le cacul d'un modulo dans la boucle interne qui detruit toutes les
  32 perfs.
  33
  34 Y a t'il moyen d'améliorer les choses avec une des options de cloog, ou en
  35 changeant qqch dans mon fichier d'entree ?
  36 Albert m'a dit qu'il y avait qqch pour les strides.
  37
  38 Pour info, j'utilise
  39 Piplib 1.3.2
  40 ClooG 0.12.1
  41
  42 Merci d'avance,
  43 Sylvain.
  44
  45 et le fichier d'entree pour cloog est:
  46
  47 c # language is C
  48 # ---------- CONTEXT ----------
  49 1 # Context (no constraints on parameters)
  50 1    2     # 1 lines, 2 columns
  51 0    0
  52
  53 0 # Automatically find parameter names
  54
  55 # ---------- STATEMENTS ----------
  56 5 # Number of statements
  57
  58 1 # Statement has a non resticted domain
  59 1    2
  60 1    0
  61 0    0    0
  62
  63 1 # Statement has a non resticted domain
  64 1    2
  65 1    0
  66 0    0    0
  67
  68 1 # Statement has 1 domain STATEMENT QUI ME PAUSE PB
  69 6    5
  70 #    i    j    p    1
  71 1    0    1    0    0    # 0 <= j <= 999
  72 1    0    -1   0    999
  73 1    -1   1    0    0    # j <= i <= j + 9
  74 1    1    -1   0    9
  75 1    -1   0    10   0    #  i = 10 * p
  76 1    1    0    -10  0
  77 0    0    0
  78
  79 1 # Statement has a non resticted domain
  80 1    2
  81 1    0
  82 0    0    0
  83
  84 1 # Statement has a non resticted domain
  85 1    2
  86 1    0
  87 0    0    0
  88
  89 0 # Automatically find iterator names.
  90
  91 # ---------- SCATTERING FUNCTIONS ----------
  92 5 # Number of scattering functions
  93
  94 5    7
  95 #    p0   p1   p2   p3   p4
  96 0    1    0    0    0    0                   0     # Beta 0
  97 0    0    1    0    0    0                   0     # Alpha & Gamma 1
  98 0    0    0    1    0    0                   0     # Beta 1
  99 0    0    0    0    1    0                   0     # Alpha & Gamma 2
 100 0    0    0    0    0    1                   0     # Beta 2
 101
 102 5    7
 103 #    p0   p1   p2   p3   p4
 104 0    1    0    0    0    0                   -1    # Beta 0
 105 0    0    1    0    0    0                   0     # Alpha & Gamma 1
 106 0    0    0    1    0    0                   0     # Beta 1
 107 0    0    0    0    1    0                   0     # Alpha & Gamma 2
 108 0    0    0    0    0    1                   0     # Beta 2
 109
 110 5    10
 111 #    p0   p1   p2   p3   p4
 112 0    1    0    0    0    0         0    0           0     -2    # Beta 0
 113 0    0    1    0    0    0         -1   0           0      0     # Alpha & Gamma 1
 114 0    0    0    1    0    0         0    0           0      0     # Beta 1
 115 0    0    0    0    1    0         0    -1          0      0     # Alpha & Gamma 2
 116 0    0    0    0    0    1         0    0           0      0     # Beta 2
 117
 118 5    7
 119 #    p0   p1   p2   p3   p4
 120 0    1    0    0    0    0                   -3    # Beta 0
 121 0    0    1    0    0    0                   0     # Alpha & Gamma 1
 122 0    0    0    1    0    0                   0     # Beta 1
 123 0    0    0    0    1    0                   0     # Alpha & Gamma 2
 124 0    0    0    0    0    1                   0     # Beta 2
 125
 126 5    7
 127 #    p0   p1   p2   p3   p4
 128 0    1    0    0    0    0                   -4    # Beta 0
 129 0    0    1    0    0    0                   0     # Alpha & Gamma 1
 130 0    0    0    1    0    0                   0     # Beta 1
 131 0    0    0    0    1    0                   0     # Alpha & Gamma 2
 132 0    0    0    0    0    1                   0     # Beta 2
 133
 134 1 # Set the scattering parameter names.
 135 p0 p1 p2 p3 p4