tests/clan/matmul_dummy.scop

   1 #
   2 #          <|
   3 #           A
   4 #          /.\
   5 #     <|  [""M#
   6 #      A   | #            Clan McCloog Castle
   7 #     /.\ [""M#           [Generated by Clan 0.7.1]
   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.4]
  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 5
  48
  49 # =============================================== Statement 1
  50 # Number of relations describing the statement:
  51 3
  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 1 6 1 2 0 1
  76 # e/i| Arr|  i    j |  N |  1
  77    0   -1    0    0    0    4    ## Arr == e
  78
  79 # ----------------------------------------------  1.4 Body
  80 # Statement body is provided
  81 1
  82 <body>
  83 # Number of original iterators
  84 2
  85 # List of original iterators
  86 i j
  87 # Statement body expression
  88 e=0.0;
  89 </body>
  90
  91 # =============================================== Statement 2
  92 # Number of relations describing the statement:
  93 3
  94
  95 # ----------------------------------------------  2.1 Domain
  96 DOMAIN
  97 5 5 2 0 0 1
  98 # e/i|  i    j |  N |  1
  99    1    1    0    0    0    ## i >= 0
 100    1   -1    0    1   -1    ## -i+N-1 >= 0
 101    1    0    0    1   -1    ## N-1 >= 0
 102    1    0    1    0    0    ## j >= 0
 103    1    0   -1    1   -1    ## -j+N-1 >= 0
 104
 105 # ----------------------------------------------  2.2 Scattering
 106 SCATTERING
 107 5 10 5 2 0 1
 108 # e/i| c1   c2   c3   c4   c5 |  i    j |  N |  1
 109    0   -1    0    0    0    0    0    0    0    0    ## c1 == 0
 110    0    0   -1    0    0    0    1    0    0    0    ## c2 == i
 111    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
 112    0    0    0    0   -1    0    0    1    0    0    ## c4 == j
 113    0    0    0    0    0   -1    0    0    0    1    ## c5 == 1
 114
 115 # ----------------------------------------------  2.3 Access
 116 WRITE
 117 2 7 2 2 0 1
 118 # e/i| Arr  [1]|  i    j |  N |  1
 119    0   -1    0    0    0    0    5    ## Arr == d
 120    0    0   -1    0    0    0    0    ## [1] == 0
 121
 122 # ----------------------------------------------  2.4 Body
 123 # Statement body is provided
 124 1
 125 <body>
 126 # Number of original iterators
 127 2
 128 # List of original iterators
 129 i j
 130 # Statement body expression
 131 d[0]=0.0;
 132 </body>
 133
 134 # =============================================== Statement 3
 135 # Number of relations describing the statement:
 136 3
 137
 138 # ----------------------------------------------  3.1 Domain
 139 DOMAIN
 140 5 5 2 0 0 1
 141 # e/i|  i    j |  N |  1
 142    1    1    0    0    0    ## i >= 0
 143    1   -1    0    1   -1    ## -i+N-1 >= 0
 144    1    0    0    1   -1    ## N-1 >= 0
 145    1    0    1    0    0    ## j >= 0
 146    1    0   -1    1   -1    ## -j+N-1 >= 0
 147
 148 # ----------------------------------------------  3.2 Scattering
 149 SCATTERING
 150 5 10 5 2 0 1
 151 # e/i| c1   c2   c3   c4   c5 |  i    j |  N |  1
 152    0   -1    0    0    0    0    0    0    0    0    ## c1 == 0
 153    0    0   -1    0    0    0    1    0    0    0    ## c2 == i
 154    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
 155    0    0    0    0   -1    0    0    1    0    0    ## c4 == j
 156    0    0    0    0    0   -1    0    0    0    2    ## c5 == 2
 157
 158 # ----------------------------------------------  3.3 Access
 159 WRITE
 160 3 8 3 2 0 1
 161 # e/i| Arr  [1]  [2]|  i    j |  N |  1
 162    0   -1    0    0    0    0    0    6    ## Arr == c
 163    0    0   -1    0    1    0    0    0    ## [1] == i
 164    0    0    0   -1    0    1    0    0    ## [2] == j
 165
 166 # ----------------------------------------------  3.4 Body
 167 # Statement body is provided
 168 1
 169 <body>
 170 # Number of original iterators
 171 2
 172 # List of original iterators
 173 i j
 174 # Statement body expression
 175 c[i][j]=0.0;
 176 </body>
 177
 178 # =============================================== Statement 4
 179 # Number of relations describing the statement:
 180 6
 181
 182 # ----------------------------------------------  4.1 Domain
 183 DOMAIN
 184 7 6 3 0 0 1
 185 # e/i|  i    j    k |  N |  1
 186    1    1    0    0    0    0    ## i >= 0
 187    1   -1    0    0    1   -1    ## -i+N-1 >= 0
 188    1    0    0    0    1   -1    ## N-1 >= 0
 189    1    0    1    0    0    0    ## j >= 0
 190    1    0   -1    0    1   -1    ## -j+N-1 >= 0
 191    1    0    0    1    0    0    ## k >= 0
 192    1    0    0   -1    1   -1    ## -k+N-1 >= 0
 193
 194 # ----------------------------------------------  4.2 Scattering
 195 SCATTERING
 196 7 13 7 3 0 1
 197 # e/i| c1   c2   c3   c4   c5   c6   c7 |  i    j    k |  N |  1
 198    0   -1    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
 199    0    0   -1    0    0    0    0    0    1    0    0    0    0    ## c2 == i
 200    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c3 == 0
 201    0    0    0    0   -1    0    0    0    0    1    0    0    0    ## c4 == j
 202    0    0    0    0    0   -1    0    0    0    0    0    0    3    ## c5 == 3
 203    0    0    0    0    0    0   -1    0    0    0    1    0    0    ## c6 == k
 204    0    0    0    0    0    0    0   -1    0    0    0    0    0    ## c7 == 0
 205
 206 # ----------------------------------------------  4.3 Access
 207 WRITE
 208 3 9 3 3 0 1
 209 # e/i| Arr  [1]  [2]|  i    j    k |  N |  1
 210    0   -1    0    0    0    0    0    0    6    ## Arr == c
 211    0    0   -1    0    1    0    0    0    0    ## [1] == i
 212    0    0    0   -1    0    1    0    0    0    ## [2] == j
 213
 214 READ
 215 3 9 3 3 0 1
 216 # e/i| Arr  [1]  [2]|  i    j    k |  N |  1
 217    0   -1    0    0    0    0    0    0    6    ## Arr == c
 218    0    0   -1    0    1    0    0    0    0    ## [1] == i
 219    0    0    0   -1    0    1    0    0    0    ## [2] == j
 220
 221 READ
 222 3 9 3 3 0 1
 223 # e/i| Arr  [1]  [2]|  i    j    k |  N |  1
 224    0   -1    0    0    0    0    0    0    8    ## Arr == a
 225    0    0   -1    0    1    0    0    0    0    ## [1] == i
 226    0    0    0   -1    0    0    1    0    0    ## [2] == k
 227
 228 READ
 229 3 9 3 3 0 1
 230 # e/i| Arr  [1]  [2]|  i    j    k |  N |  1
 231    0   -1    0    0    0    0    0    0    9    ## Arr == b
 232    0    0   -1    0    0    0    1    0    0    ## [1] == k
 233    0    0    0   -1    0    1    0    0    0    ## [2] == j
 234
 235 # ----------------------------------------------  4.4 Body
 236 # Statement body is provided
 237 1
 238 <body>
 239 # Number of original iterators
 240 3
 241 # List of original iterators
 242 i j k
 243 # Statement body expression
 244 c[i][j]=c[i][j]+a[i][k]*b[k][j];
 245 </body>
 246
 247 # =============================================== Statement 5
 248 # Number of relations describing the statement:
 249 3
 250
 251 # ----------------------------------------------  5.1 Domain
 252 DOMAIN
 253 5 5 2 0 0 1
 254 # e/i|  i    j |  N |  1
 255    1    1    0    0    0    ## i >= 0
 256    1   -1    0    1   -1    ## -i+N-1 >= 0
 257    1    0    0    1   -1    ## N-1 >= 0
 258    1    0    1    0    0    ## j >= 0
 259    1    0   -1    1   -1    ## -j+N-1 >= 0
 260
 261 # ----------------------------------------------  5.2 Scattering
 262 SCATTERING
 263 5 10 5 2 0 1
 264 # e/i| c1   c2   c3   c4   c5 |  i    j |  N |  1
 265    0   -1    0    0    0    0    0    0    0    0    ## c1 == 0
 266    0    0   -1    0    0    0    1    0    0    0    ## c2 == i
 267    0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
 268    0    0    0    0   -1    0    0    1    0    0    ## c4 == j
 269    0    0    0    0    0   -1    0    0    0    4    ## c5 == 4
 270
 271 # ----------------------------------------------  5.3 Access
 272 WRITE
 273 2 7 2 2 0 1
 274 # e/i| Arr  [1]|  i    j |  N |  1
 275    0   -1    0    0    0    0    5    ## Arr == d
 276    0    0   -1    0    1    0    0    ## [1] == j
 277
 278 # ----------------------------------------------  5.4 Body
 279 # Statement body is provided
 280 1
 281 <body>
 282 # Number of original iterators
 283 2
 284 # List of original iterators
 285 i j
 286 # Statement body expression
 287 d[j]=2.5;
 288 </body>
 289
 290 # =============================================== Extensions
 291 <scatnames>
 292 b0 i b1 j b2 k b3
 293 </scatnames>
 294
 295 <arrays>
 296 # Number of arrays
 297 9
 298 # Mapping array-identifiers/array-names
 299 1 i
 300 2 N
 301 3 j
 302 4 e
 303 5 d
 304 6 c
 305 7 k
 306 8 a
 307 9 b
 308 </arrays>
 309
 310 <coordinates>
 311 # File name
 312 tests/c_files/matmul_dummy.c
 313 # Starting line
 314 22
 315 # Ending line
 316 33
 317 # Indentation
 318 2
 319 </coordinates>
 320
 321 </OpenScop>
 322