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