tests/unitary/split_statement3.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 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 5 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    0    ## c5 == 0
  84
  85 # ----------------------------------------------  2.3 Access
  86 WRITE
  87 3 9 3 2 0 2
  88 # e/i| Arr  [1]  [2]|  i    j |  N    M |  1
  89    0   -1    0    0    0    0    0    0    6    ## Arr == b
  90    0    0   -1    0    1    0    0    0    0    ## [1] == i
  91    0    0    0   -1    0    1    0    0    0    ## [2] == j
  92
  93 # ----------------------------------------------  2.4 Statement Extensions
  94 # Number of Statement Extensions
  95 1
  96 <body>
  97 # Number of original iterators
  98 2
  99 # List of original iterators
 100 i j
 101 # Statement body expression
 102 b[i][j] = 0;
 103 </body>
 104
 105 # =============================================== Statement 3
 106 # Number of relations describing the statement:
 107 3
 108
 109 # ----------------------------------------------  3.1 Domain
 110 DOMAIN
 111 6 6 2 0 0 2
 112 # e/i|  i    j |  N    M |  1
 113    1    1    0    0    0    0    ## i >= 0
 114    1   -1    0    1    0    0    ## -i+N >= 0
 115    1    0    0    1    0    0    ## N >= 0
 116    1    0    1    0    0    0    ## j >= 0
 117    1    0   -1    0    1    0    ## -j+M >= 0
 118    1    0    0    0    1    0    ## M >= 0
 119
 120 # ----------------------------------------------  3.2 Scattering
 121 SCATTERING
 122 5 11 5 2 0 2
 123 # e/i| c1   c2   c3   c4   c5 |  i    j |  N    M |  1
 124    0   -1    0    0    0    0    0    0    0    0    0    ## c1 == 0
 125    0    0   -1    0    0    0    1    0    0    0    0    ## c2 == i
 126    0    0    0   -1    0    0    0    0    0    0    1    ## c3 == 1
 127    0    0    0    0   -1    0    0    1    0    0    0    ## c4 == j
 128    0    0    0    0    0   -1    0    0    0    0    1    ## c5 == 1
 129
 130 # ----------------------------------------------  3.3 Access
 131 WRITE
 132 3 9 3 2 0 2
 133 # e/i| Arr  [1]  [2]|  i    j |  N    M |  1
 134    0   -1    0    0    0    0    0    0    7    ## Arr == c
 135    0    0   -1    0    1    0    0    0    0    ## [1] == i
 136    0    0    0   -1    0    1    0    0    0    ## [2] == j
 137
 138 # ----------------------------------------------  3.4 Statement Extensions
 139 # Number of Statement Extensions
 140 1
 141 <body>
 142 # Number of original iterators
 143 2
 144 # List of original iterators
 145 i j
 146 # Statement body expression
 147 c[i][j] = 0;
 148 </body>
 149
 150 # =============================================== Statement 4
 151 # Number of relations describing the statement:
 152 3
 153
 154 # ----------------------------------------------  4.1 Domain
 155 DOMAIN
 156 3 5 1 0 0 2
 157 # e/i|  i |  N    M |  1
 158    1    1    0    0    0    ## i >= 0
 159    1   -1    1    0    0    ## -i+N >= 0
 160    1    0    1    0    0    ## N >= 0
 161
 162 # ----------------------------------------------  4.2 Scattering
 163 SCATTERING
 164 3 8 3 1 0 2
 165 # e/i| c1   c2   c3 |  i |  N    M |  1
 166    0   -1    0    0    0    0    0    0    ## c1 == 0
 167    0    0   -1    0    1    0    0    0    ## c2 == i
 168    0    0    0   -1    0    0    0    2    ## c3 == 2
 169
 170 # ----------------------------------------------  4.3 Access
 171 WRITE
 172 2 7 2 1 0 2
 173 # e/i| Arr  [1]|  i |  N    M |  1
 174    0   -1    0    0    0    0    8    ## Arr == d
 175    0    0   -1    1    0    0    0    ## [1] == i
 176
 177 # ----------------------------------------------  4.4 Statement Extensions
 178 # Number of Statement Extensions
 179 1
 180 <body>
 181 # Number of original iterators
 182 1
 183 # List of original iterators
 184 i
 185 # Statement body expression
 186 d[i] = 0;
 187 </body>
 188
 189 # =============================================== Statement 5
 190 # Number of relations describing the statement:
 191 3
 192
 193 # ----------------------------------------------  5.1 Domain
 194 DOMAIN
 195 3 5 1 0 0 2
 196 # e/i|  i |  N    M |  1
 197    1    1    0    0    0    ## i >= 0
 198    1   -1    1    0    0    ## -i+N >= 0
 199    1    0    1    0    0    ## N >= 0
 200
 201 # ----------------------------------------------  5.2 Scattering
 202 SCATTERING
 203 3 8 3 1 0 2
 204 # e/i| c1   c2   c3 |  i |  N    M |  1
 205    0   -1    0    0    0    0    0    0    ## c1 == 0
 206    0    0   -1    0    1    0    0    0    ## c2 == i
 207    0    0    0   -1    0    0    0    3    ## c3 == 3
 208
 209 # ----------------------------------------------  5.3 Access
 210 WRITE
 211 2 7 2 1 0 2
 212 # e/i| Arr  [1]|  i |  N    M |  1
 213    0   -1    0    0    0    0    9    ## Arr == e
 214    0    0   -1    1    0    0    0    ## [1] == i
 215
 216 # ----------------------------------------------  5.4 Statement Extensions
 217 # Number of Statement Extensions
 218 1
 219 <body>
 220 # Number of original iterators
 221 1
 222 # List of original iterators
 223 i
 224 # Statement body expression
 225 e[i] = 0;
 226 </body>
 227
 228 # =============================================== Statement 6
 229 # Number of relations describing the statement:
 230 3
 231
 232 # ----------------------------------------------  6.1 Domain
 233 DOMAIN
 234 0 4 0 0 0 2
 235
 236 # ----------------------------------------------  6.2 Scattering
 237 SCATTERING
 238 1 5 1 0 0 2
 239 # e/i| c1 |  N    M |  1
 240    0   -1    0    0    1    ## c1 == 1
 241
 242 # ----------------------------------------------  6.3 Access
 243 WRITE
 244 1 5 1 0 0 2
 245 # e/i| Arr|  N    M |  1
 246    0   -1    0    0   10    ## Arr == f
 247
 248 # ----------------------------------------------  6.4 Statement Extensions
 249 # Number of Statement Extensions
 250 1
 251 <body>
 252 # Number of original iterators
 253 0
 254 # Statement body expression
 255 f = 0;
 256 </body>
 257
 258 # =============================================== Extensions
 259 <scatnames>
 260 b0 i b1 j b2
 261 </scatnames>
 262
 263 <arrays>
 264 # Number of arrays
 265 10
 266 # Mapping array-identifiers/array-names
 267 1 i
 268 2 N
 269 3 a
 270 4 j
 271 5 M
 272 6 b
 273 7 c
 274 8 d
 275 9 e
 276 10 f
 277 </arrays>
 278
 279 <coordinates>
 280 # File name
 281 ./unitary/split_statement3.c
 282 # Starting line and column
 283 2 0
 284 # Ending line and column
 285 15 0
 286 # Indentation
 287 0
 288 </coordinates>
 289
 290 </OpenScop>
 291