tests/unitary/iss_loop3.c.clay.scop

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