tests/unitary/block_inside.c.orig.scop

   1 [Clan] Info: parsing file #1 (./unitary/block_inside.c)
   2 #
   3 #          <|
   4 #           A
   5 #          /.\
   6 #     <|  [""M#
   7 #      A   | #            Clan McCloog Castle
   8 #     /.\ [""M#           [Generated by Clan 0.7.1]
   9 #    [""M# | #  U"U#U
  10 #     | #  | #  \ .:/
  11 #     | #  | #___| #
  12 #     | "--'     .-"
  13 #   |"-"-"-"-"-#-#-##
  14 #   |     # ## ######
  15 #    \       .::::'/
  16 #     \      ::::'/
  17 #   :8a|    # # ##
  18 #   ::88a      ###
  19 #  ::::888a  8a ##::.
  20 #  ::::::888a88a[]::::
  21 # :::::::::SUNDOGa8a::::. ..
  22 # :::::8::::888:Y8888:::::::::...
  23 #::':::88::::888::Y88a______________________________________________________
  24 #:: ::::88a::::88a:Y88a                                  __---__-- __
  25 #' .: ::Y88a:::::8a:Y88a                            __----_-- -------_-__
  26 #  :' ::::8P::::::::::88aa.                   _ _- --  --_ --- __  --- __--
  27 #.::  :::::::::::::::::::Y88as88a...s88aa.
  28 #
  29 # [File generated by the OpenScop Library 0.8.4]
  30
  31 <OpenScop>
  32
  33 # =============================================== Global
  34 # Language
  35 C
  36
  37 # Context
  38 CONTEXT
  39 0 3 0 0 0 1
  40
  41 # Parameters are provided
  42 1
  43 <strings>
  44 N
  45 </strings>
  46
  47 # Number of statements
  48 6
  49
  50 # =============================================== Statement 1
  51 # Number of relations describing the statement:
  52 4
  53
  54 # ----------------------------------------------  1.1 Domain
  55 DOMAIN
  56 3 4 1 0 0 1
  57 # e/i|  i |  N |  1
  58    1    1    0    0    ## i >= 0
  59    1   -1    1    0    ## -i+N >= 0
  60    1    0    1    0    ## N >= 0
  61
  62 # ----------------------------------------------  1.2 Scattering
  63 SCATTERING
  64 3 7 3 1 0 1
  65 # e/i| c1   c2   c3 |  i |  N |  1
  66    0   -1    0    0    0    0    0    ## c1 == 0
  67    0    0   -1    0    1    0    0    ## c2 == i
  68    0    0    0   -1    0    0    0    ## c3 == 0
  69
  70 # ----------------------------------------------  1.3 Access
  71 READ
  72 2 6 2 1 0 1
  73 # e/i| Arr  [1]|  i |  N |  1
  74    0   -1    0    0    0    3    ## Arr == a
  75    0    0   -1    1    0    0    ## [1] == i
  76
  77 WRITE
  78 2 6 2 1 0 1
  79 # e/i| Arr  [1]|  i |  N |  1
  80    0   -1    0    0    0    3    ## Arr == a
  81    0    0   -1    1    0    0    ## [1] == i
  82
  83 # ----------------------------------------------  1.4 Statement Extensions
  84 # Number of Statement Extensions
  85 2
  86 <body>
  87 # Number of original iterators
  88 1
  89 # List of original iterators
  90 i
  91 # Statement body expression
  92 a[i]++;
  93 </body>
  94
  95 <extbody>
  96 # Number of accesses
  97 2
  98 # Access coordinates (start/length)
  99 -1 -1
 100 0 4
 101 # Number of original iterators
 102 1
 103 # List of original iterators
 104 i
 105 # Statement body expression
 106 a[i]++;
 107 </extbody>
 108
 109 # =============================================== Statement 2
 110 # Number of relations describing the statement:
 111 4
 112
 113 # ----------------------------------------------  2.1 Domain
 114 DOMAIN
 115 3 4 1 0 0 1
 116 # e/i|  i |  N |  1
 117    1    1    0    0    ## i >= 0
 118    1   -1    1    0    ## -i+N >= 0
 119    1    0    1    0    ## N >= 0
 120
 121 # ----------------------------------------------  2.2 Scattering
 122 SCATTERING
 123 3 7 3 1 0 1
 124 # e/i| c1   c2   c3 |  i |  N |  1
 125    0   -1    0    0    0    0    1    ## c1 == 1
 126    0    0   -1    0    1    0    0    ## c2 == i
 127    0    0    0   -1    0    0    0    ## c3 == 0
 128
 129 # ----------------------------------------------  2.3 Access
 130 READ
 131 2 6 2 1 0 1
 132 # e/i| Arr  [1]|  i |  N |  1
 133    0   -1    0    0    0    4    ## Arr == b
 134    0    0   -1    1    0    0    ## [1] == i
 135
 136 WRITE
 137 2 6 2 1 0 1
 138 # e/i| Arr  [1]|  i |  N |  1
 139    0   -1    0    0    0    4    ## Arr == b
 140    0    0   -1    1    0    0    ## [1] == i
 141
 142 # ----------------------------------------------  2.4 Statement Extensions
 143 # Number of Statement Extensions
 144 2
 145 <body>
 146 # Number of original iterators
 147 1
 148 # List of original iterators
 149 i
 150 # Statement body expression
 151 b[i]++;
 152 </body>
 153
 154 <extbody>
 155 # Number of accesses
 156 2
 157 # Access coordinates (start/length)
 158 -1 -1
 159 0 4
 160 # Number of original iterators
 161 1
 162 # List of original iterators
 163 i
 164 # Statement body expression
 165 b[i]++;
 166 </extbody>
 167
 168 # =============================================== Statement 3
 169 # Number of relations describing the statement:
 170 4
 171
 172 # ----------------------------------------------  3.1 Domain
 173 DOMAIN
 174 3 4 1 0 0 1
 175 # e/i|  i |  N |  1
 176    1    1    0    0    ## i >= 0
 177    1   -1    1    0    ## -i+N >= 0
 178    1    0    1    0    ## N >= 0
 179
 180 # ----------------------------------------------  3.2 Scattering
 181 SCATTERING
 182 3 7 3 1 0 1
 183 # e/i| c1   c2   c3 |  i |  N |  1
 184    0   -1    0    0    0    0    2    ## c1 == 2
 185    0    0   -1    0    1    0    0    ## c2 == i
 186    0    0    0   -1    0    0    0    ## c3 == 0
 187
 188 # ----------------------------------------------  3.3 Access
 189 READ
 190 2 6 2 1 0 1
 191 # e/i| Arr  [1]|  i |  N |  1
 192    0   -1    0    0    0    5    ## Arr == c
 193    0    0   -1    1    0    0    ## [1] == i
 194
 195 WRITE
 196 2 6 2 1 0 1
 197 # e/i| Arr  [1]|  i |  N |  1
 198    0   -1    0    0    0    5    ## Arr == c
 199    0    0   -1    1    0    0    ## [1] == i
 200
 201 # ----------------------------------------------  3.4 Statement Extensions
 202 # Number of Statement Extensions
 203 2
 204 <body>
 205 # Number of original iterators
 206 1
 207 # List of original iterators
 208 i
 209 # Statement body expression
 210 c[i]++;
 211 </body>
 212
 213 <extbody>
 214 # Number of accesses
 215 2
 216 # Access coordinates (start/length)
 217 -1 -1
 218 0 4
 219 # Number of original iterators
 220 1
 221 # List of original iterators
 222 i
 223 # Statement body expression
 224 c[i]++;
 225 </extbody>
 226
 227 # =============================================== Statement 4
 228 # Number of relations describing the statement:
 229 4
 230
 231 # ----------------------------------------------  4.1 Domain
 232 DOMAIN
 233 3 4 1 0 0 1
 234 # e/i|  i |  N |  1
 235    1    1    0    0    ## i >= 0
 236    1   -1    1    0    ## -i+N >= 0
 237    1    0    1    0    ## N >= 0
 238
 239 # ----------------------------------------------  4.2 Scattering
 240 SCATTERING
 241 3 7 3 1 0 1
 242 # e/i| c1   c2   c3 |  i |  N |  1
 243    0   -1    0    0    0    0    3    ## c1 == 3
 244    0    0   -1    0    1    0    0    ## c2 == i
 245    0    0    0   -1    0    0    0    ## c3 == 0
 246
 247 # ----------------------------------------------  4.3 Access
 248 READ
 249 2 6 2 1 0 1
 250 # e/i| Arr  [1]|  i |  N |  1
 251    0   -1    0    0    0    6    ## Arr == d
 252    0    0   -1    1    0    0    ## [1] == i
 253
 254 WRITE
 255 2 6 2 1 0 1
 256 # e/i| Arr  [1]|  i |  N |  1
 257    0   -1    0    0    0    6    ## Arr == d
 258    0    0   -1    1    0    0    ## [1] == i
 259
 260 # ----------------------------------------------  4.4 Statement Extensions
 261 # Number of Statement Extensions
 262 2
 263 <body>
 264 # Number of original iterators
 265 1
 266 # List of original iterators
 267 i
 268 # Statement body expression
 269 d[i]++;
 270 </body>
 271
 272 <extbody>
 273 # Number of accesses
 274 2
 275 # Access coordinates (start/length)
 276 -1 -1
 277 0 4
 278 # Number of original iterators
 279 1
 280 # List of original iterators
 281 i
 282 # Statement body expression
 283 d[i]++;
 284 </extbody>
 285
 286 # =============================================== Statement 5
 287 # Number of relations describing the statement:
 288 4
 289
 290 # ----------------------------------------------  5.1 Domain
 291 DOMAIN
 292 3 4 1 0 0 1
 293 # e/i|  i |  N |  1
 294    1    1    0    0    ## i >= 0
 295    1   -1    1    0    ## -i+N >= 0
 296    1    0    1    0    ## N >= 0
 297
 298 # ----------------------------------------------  5.2 Scattering
 299 SCATTERING
 300 3 7 3 1 0 1
 301 # e/i| c1   c2   c3 |  i |  N |  1
 302    0   -1    0    0    0    0    4    ## c1 == 4
 303    0    0   -1    0    1    0    0    ## c2 == i
 304    0    0    0   -1    0    0    0    ## c3 == 0
 305
 306 # ----------------------------------------------  5.3 Access
 307 READ
 308 2 6 2 1 0 1
 309 # e/i| Arr  [1]|  i |  N |  1
 310    0   -1    0    0    0    7    ## Arr == e
 311    0    0   -1    1    0    0    ## [1] == i
 312
 313 WRITE
 314 2 6 2 1 0 1
 315 # e/i| Arr  [1]|  i |  N |  1
 316    0   -1    0    0    0    7    ## Arr == e
 317    0    0   -1    1    0    0    ## [1] == i
 318
 319 # ----------------------------------------------  5.4 Statement Extensions
 320 # Number of Statement Extensions
 321 2
 322 <body>
 323 # Number of original iterators
 324 1
 325 # List of original iterators
 326 i
 327 # Statement body expression
 328 e[i]++;
 329 </body>
 330
 331 <extbody>
 332 # Number of accesses
 333 2
 334 # Access coordinates (start/length)
 335 -1 -1
 336 0 4
 337 # Number of original iterators
 338 1
 339 # List of original iterators
 340 i
 341 # Statement body expression
 342 e[i]++;
 343 </extbody>
 344
 345 # =============================================== Statement 6
 346 # Number of relations describing the statement:
 347 4
 348
 349 # ----------------------------------------------  6.1 Domain
 350 DOMAIN
 351 3 4 1 0 0 1
 352 # e/i|  i |  N |  1
 353    1    1    0    0    ## i >= 0
 354    1   -1    1    0    ## -i+N >= 0
 355    1    0    1    0    ## N >= 0
 356
 357 # ----------------------------------------------  6.2 Scattering
 358 SCATTERING
 359 3 7 3 1 0 1
 360 # e/i| c1   c2   c3 |  i |  N |  1
 361    0   -1    0    0    0    0    5    ## c1 == 5
 362    0    0   -1    0    1    0    0    ## c2 == i
 363    0    0    0   -1    0    0    0    ## c3 == 0
 364
 365 # ----------------------------------------------  6.3 Access
 366 READ
 367 2 6 2 1 0 1
 368 # e/i| Arr  [1]|  i |  N |  1
 369    0   -1    0    0    0    8    ## Arr == f
 370    0    0   -1    1    0    0    ## [1] == i
 371
 372 WRITE
 373 2 6 2 1 0 1
 374 # e/i| Arr  [1]|  i |  N |  1
 375    0   -1    0    0    0    8    ## Arr == f
 376    0    0   -1    1    0    0    ## [1] == i
 377
 378 # ----------------------------------------------  6.4 Statement Extensions
 379 # Number of Statement Extensions
 380 2
 381 <body>
 382 # Number of original iterators
 383 1
 384 # List of original iterators
 385 i
 386 # Statement body expression
 387 f[i]++;
 388 </body>
 389
 390 <extbody>
 391 # Number of accesses
 392 2
 393 # Access coordinates (start/length)
 394 -1 -1
 395 0 4
 396 # Number of original iterators
 397 1
 398 # List of original iterators
 399 i
 400 # Statement body expression
 401 f[i]++;
 402 </extbody>
 403
 404 # =============================================== Extensions
 405 <scatnames>
 406 b0 i b1
 407 </scatnames>
 408
 409 <arrays>
 410 # Number of arrays
 411 8
 412 # Mapping array-identifiers/array-names
 413 1 i
 414 2 N
 415 3 a
 416 4 b
 417 5 c
 418 6 d
 419 7 e
 420 8 f
 421 </arrays>
 422
 423 <coordinates>
 424 # File name
 425 ./unitary/block_inside.c
 426 # Starting line and column
 427 2 0
 428 # Ending line and column
 429 22 0
 430 # Indentation
 431 0
 432 </coordinates>
 433
 434 <clay>
 435    block([2,0], [4,0]);
 436  </clay>
 437
 438 </OpenScop>
 439