tests/clan/gemver.c.scop

   1 #
   2 #          <|
   3 #           A
   4 #          /.\
   5 #     <|  [""M#
   6 #      A   | #            Clan McCloog Castle
   7 #     /.\ [""M#           [Generated by Clan 0.7.0]
   8 #    [""M# | #  U"U#U
   9 #     | #  | #  \ .:/
  10 #     | #  | #___| #
  11 #     | "--'     .-"
  12 #   |"-"-"-"-"-#-#-##
  13 #   |     # ## ######
  14 #    \       .::::'/
  15 #     \      ::::'/
  16 #   :8a|    # # ##
  17 #   ::88a      ###
  18 #  ::::888a  8a ##::.
  19 #  ::::::888a88a[]::::
  20 # :::::::::SUNDOGa8a::::. ..
  21 # :::::8::::888:Y8888:::::::::...
  22 #::':::88::::888::Y88a______________________________________________________
  23 #:: ::::88a::::88a:Y88a                                  __---__-- __
  24 #' .: ::Y88a:::::8a:Y88a                            __----_-- -------_-__
  25 #  :' ::::8P::::::::::88aa.                   _ _- --  --_ --- __  --- __--
  26 #.::  :::::::::::::::::::Y88as88a...s88aa.
  27 #
  28 # [File generated by the OpenScop Library 0.8.3]
  29
  30 <OpenScop>
  31
  32 # =============================================== Global
  33 # Language
  34 C
  35
  36 # Context
  37 CONTEXT
  38 0 3 0 0 0 1
  39
  40 # Parameters are provided
  41 1
  42 <strings>
  43 N
  44 </strings>
  45
  46 # Number of statements
  47 4
  48
  49 # =============================================== Statement 1
  50 # Number of relations describing the statement:
  51 8
  52
  53 # ----------------------------------------------  1.1 Domain
  54 DOMAIN
  55 5 5 2 0 0 1
  56 # e/i|  i    j |  N |  1
  57    1    1    0    0    0    ## i >= 0
  58    1   -1    0    1   -1    ## -i+N-1 >= 0
  59    1    0    0    1   -1    ## N-1 >= 0
  60    1    0    1    0    0    ## j >= 0
  61    1    0   -1    1   -1    ## -j+N-1 >= 0
  62
  63 # ----------------------------------------------  1.2 Scattering
  64 SCATTERING
  65 5 10 5 2 0 1
  66 # e/i| c1   c2   c3   c4   c5 |  i    j |  N |  1
  67    0   -1    0    0    0    0    0    0    0    0    ## c1 == 0
  68    0    0   -1    0    0    0    1    0    0    0    ## c2 == i
  69    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
  70    0    0    0    0   -1    0    0    1    0    0    ## c4 == j
  71    0    0    0    0    0   -1    0    0    0    0    ## c5 == 0
  72
  73 # ----------------------------------------------  1.3 Access
  74 WRITE
  75 3 8 3 2 0 1
  76 # e/i| Arr  [1]  [2]|  i    j |  N |  1
  77    0   -1    0    0    0    0    0    4    ## Arr == A
  78    0    0   -1    0    1    0    0    0    ## [1] == i
  79    0    0    0   -1    0    1    0    0    ## [2] == j
  80
  81 READ
  82 3 8 3 2 0 1
  83 # e/i| Arr  [1]  [2]|  i    j |  N |  1
  84    0   -1    0    0    0    0    0    4    ## Arr == A
  85    0    0   -1    0    1    0    0    0    ## [1] == i
  86    0    0    0   -1    0    1    0    0    ## [2] == j
  87
  88 READ
  89 2 7 2 2 0 1
  90 # e/i| Arr  [1]|  i    j |  N |  1
  91    0   -1    0    0    0    0    5    ## Arr == u1
  92    0    0   -1    1    0    0    0    ## [1] == i
  93
  94 READ
  95 2 7 2 2 0 1
  96 # e/i| Arr  [1]|  i    j |  N |  1
  97    0   -1    0    0    0    0    6    ## Arr == v1
  98    0    0   -1    0    1    0    0    ## [1] == j
  99
 100 READ
 101 2 7 2 2 0 1
 102 # e/i| Arr  [1]|  i    j |  N |  1
 103    0   -1    0    0    0    0    7    ## Arr == u2
 104    0    0   -1    1    0    0    0    ## [1] == i
 105
 106 READ
 107 2 7 2 2 0 1
 108 # e/i| Arr  [1]|  i    j |  N |  1
 109    0   -1    0    0    0    0    8    ## Arr == v2
 110    0    0   -1    0    1    0    0    ## [1] == j
 111
 112 # ----------------------------------------------  1.4 Body
 113 # Statement body is provided
 114 1
 115 <body>
 116 # Number of original iterators
 117 2
 118 # List of original iterators
 119 i j
 120 # Statement body expression
 121 A[i][j]=A[i][j]+u1[i]*v1[j]+u2[i]*v2[j];
 122 </body>
 123
 124 # =============================================== Statement 2
 125 # Number of relations describing the statement:
 126 7
 127
 128 # ----------------------------------------------  2.1 Domain
 129 DOMAIN
 130 5 5 2 0 0 1
 131 # e/i|  i    j |  N |  1
 132    1    1    0    0    0    ## i >= 0
 133    1   -1    0    1   -1    ## -i+N-1 >= 0
 134    1    0    0    1   -1    ## N-1 >= 0
 135    1    0    1    0    0    ## j >= 0
 136    1    0   -1    1   -1    ## -j+N-1 >= 0
 137
 138 # ----------------------------------------------  2.2 Scattering
 139 SCATTERING
 140 5 10 5 2 0 1
 141 # e/i| c1   c2   c3   c4   c5 |  i    j |  N |  1
 142    0   -1    0    0    0    0    0    0    0    1    ## c1 == 1
 143    0    0   -1    0    0    0    1    0    0    0    ## c2 == i
 144    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
 145    0    0    0    0   -1    0    0    1    0    0    ## c4 == j
 146    0    0    0    0    0   -1    0    0    0    0    ## c5 == 0
 147
 148 # ----------------------------------------------  2.3 Access
 149 WRITE
 150 2 7 2 2 0 1
 151 # e/i| Arr  [1]|  i    j |  N |  1
 152    0   -1    0    0    0    0    9    ## Arr == x
 153    0    0   -1    1    0    0    0    ## [1] == i
 154
 155 READ
 156 2 7 2 2 0 1
 157 # e/i| Arr  [1]|  i    j |  N |  1
 158    0   -1    0    0    0    0    9    ## Arr == x
 159    0    0   -1    1    0    0    0    ## [1] == i
 160
 161 READ
 162 1 6 1 2 0 1
 163 # e/i| Arr|  i    j |  N |  1
 164    0   -1    0    0    0   10    ## Arr == beta
 165
 166 READ
 167 3 8 3 2 0 1
 168 # e/i| Arr  [1]  [2]|  i    j |  N |  1
 169    0   -1    0    0    0    0    0    4    ## Arr == A
 170    0    0   -1    0    1    0    0    0    ## [1] == i
 171    0    0    0   -1    0    1    0    0    ## [2] == j
 172
 173 READ
 174 2 7 2 2 0 1
 175 # e/i| Arr  [1]|  i    j |  N |  1
 176    0   -1    0    0    0    0   11    ## Arr == y
 177    0    0   -1    0    1    0    0    ## [1] == j
 178
 179 # ----------------------------------------------  2.4 Body
 180 # Statement body is provided
 181 1
 182 <body>
 183 # Number of original iterators
 184 2
 185 # List of original iterators
 186 i j
 187 # Statement body expression
 188 x[i]=x[i]+beta*A[i][j]*y[j];
 189 </body>
 190
 191 # =============================================== Statement 3
 192 # Number of relations describing the statement:
 193 5
 194
 195 # ----------------------------------------------  3.1 Domain
 196 DOMAIN
 197 3 4 1 0 0 1
 198 # e/i|  i |  N |  1
 199    1    1    0    0    ## i >= 0
 200    1   -1    1   -1    ## -i+N-1 >= 0
 201    1    0    1   -1    ## N-1 >= 0
 202
 203 # ----------------------------------------------  3.2 Scattering
 204 SCATTERING
 205 3 7 3 1 0 1
 206 # e/i| c1   c2   c3 |  i |  N |  1
 207    0   -1    0    0    0    0    2    ## c1 == 2
 208    0    0   -1    0    1    0    0    ## c2 == i
 209    0    0    0   -1    0    0    0    ## c3 == 0
 210
 211 # ----------------------------------------------  3.3 Access
 212 WRITE
 213 2 6 2 1 0 1
 214 # e/i| Arr  [1]|  i |  N |  1
 215    0   -1    0    0    0    9    ## Arr == x
 216    0    0   -1    1    0    0    ## [1] == i
 217
 218 READ
 219 2 6 2 1 0 1
 220 # e/i| Arr  [1]|  i |  N |  1
 221    0   -1    0    0    0    9    ## Arr == x
 222    0    0   -1    1    0    0    ## [1] == i
 223
 224 READ
 225 2 6 2 1 0 1
 226 # e/i| Arr  [1]|  i |  N |  1
 227    0   -1    0    0    0   12    ## Arr == z
 228    0    0   -1    1    0    0    ## [1] == i
 229
 230 # ----------------------------------------------  3.4 Body
 231 # Statement body is provided
 232 1
 233 <body>
 234 # Number of original iterators
 235 1
 236 # List of original iterators
 237 i
 238 # Statement body expression
 239 x[i]=x[i]+z[i];
 240 </body>
 241
 242 # =============================================== Statement 4
 243 # Number of relations describing the statement:
 244 7
 245
 246 # ----------------------------------------------  4.1 Domain
 247 DOMAIN
 248 5 5 2 0 0 1
 249 # e/i|  i    j |  N |  1
 250    1    1    0    0    0    ## i >= 0
 251    1   -1    0    1   -1    ## -i+N-1 >= 0
 252    1    0    0    1   -1    ## N-1 >= 0
 253    1    0    1    0    0    ## j >= 0
 254    1    0   -1    1   -1    ## -j+N-1 >= 0
 255
 256 # ----------------------------------------------  4.2 Scattering
 257 SCATTERING
 258 5 10 5 2 0 1
 259 # e/i| c1   c2   c3   c4   c5 |  i    j |  N |  1
 260    0   -1    0    0    0    0    0    0    0    3    ## c1 == 3
 261    0    0   -1    0    0    0    1    0    0    0    ## c2 == i
 262    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
 263    0    0    0    0   -1    0    0    1    0    0    ## c4 == j
 264    0    0    0    0    0   -1    0    0    0    0    ## c5 == 0
 265
 266 # ----------------------------------------------  4.3 Access
 267 WRITE
 268 2 7 2 2 0 1
 269 # e/i| Arr  [1]|  i    j |  N |  1
 270    0   -1    0    0    0    0   13    ## Arr == w
 271    0    0   -1    1    0    0    0    ## [1] == i
 272
 273 READ
 274 2 7 2 2 0 1
 275 # e/i| Arr  [1]|  i    j |  N |  1
 276    0   -1    0    0    0    0   13    ## Arr == w
 277    0    0   -1    1    0    0    0    ## [1] == i
 278
 279 READ
 280 1 6 1 2 0 1
 281 # e/i| Arr|  i    j |  N |  1
 282    0   -1    0    0    0   14    ## Arr == alpha
 283
 284 READ
 285 3 8 3 2 0 1
 286 # e/i| Arr  [1]  [2]|  i    j |  N |  1
 287    0   -1    0    0    0    0    0    4    ## Arr == A
 288    0    0   -1    0    1    0    0    0    ## [1] == i
 289    0    0    0   -1    0    1    0    0    ## [2] == j
 290
 291 READ
 292 2 7 2 2 0 1
 293 # e/i| Arr  [1]|  i    j |  N |  1
 294    0   -1    0    0    0    0    9    ## Arr == x
 295    0    0   -1    0    1    0    0    ## [1] == j
 296
 297 # ----------------------------------------------  4.4 Body
 298 # Statement body is provided
 299 1
 300 <body>
 301 # Number of original iterators
 302 2
 303 # List of original iterators
 304 i j
 305 # Statement body expression
 306 w[i]=w[i]+alpha*A[i][j]*x[j];
 307 </body>
 308
 309 # =============================================== Extensions
 310 <scatnames>
 311 b0 i b1 j b2
 312 </scatnames>
 313
 314 <arrays>
 315 # Number of arrays
 316 14
 317 # Mapping array-identifiers/array-names
 318 1 i
 319 2 N
 320 3 j
 321 4 A
 322 5 u1
 323 6 v1
 324 7 u2
 325 8 v2
 326 9 x
 327 10 beta
 328 11 y
 329 12 z
 330 13 w
 331 14 alpha
 332 </arrays>
 333
 334 <coordinates>
 335 # File name
 336 ./tests/gemver.c
 337 # Starting line
 338 9
 339 # Ending line
 340 25
 341 # Indentation
 342 2
 343 </coordinates>
 344
 345 </OpenScop>
 346