tests/unitary/gemver.c.orig.scop

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