tests/unitary/skew_statement1.c.orig.scop

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