tests/unitary/skew_statement1.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 5
  20
  21 # =============================================== Statement 1
  22 # Number of relations describing the statement:
  23 3
  24
  25 # ----------------------------------------------  1.1 Domain
  26 DOMAIN
  27 0 4 0 0 0 2
  28
  29 # ----------------------------------------------  1.2 Scattering
  30 SCATTERING
  31 1 5 1 0 0 2
  32 # e/i| c1 |  N    M |  1
  33    0   -1    0    0    0    ## c1 == 0
  34
  35 # ----------------------------------------------  1.3 Access
  36 WRITE
  37 1 5 1 0 0 2
  38 # e/i| Arr|  N    M |  1
  39    0   -1    0    0    1    ## Arr == z
  40
  41 # ----------------------------------------------  1.4 Statement Extensions
  42 # Number of Statement Extensions
  43 1
  44 <body>
  45 # Number of original iterators
  46 0
  47 # Statement body expression
  48 z = 0;
  49 </body>
  50
  51 # =============================================== Statement 2
  52 # Number of relations describing the statement:
  53 3
  54
  55 # ----------------------------------------------  2.1 Domain
  56 DOMAIN
  57 3 5 1 0 0 2
  58 # e/i|  i |  N    M |  1
  59    1    1    0    0    0    ## i >= 0
  60    1   -1    1    0    0    ## -i+N >= 0
  61    1    0    1    0    0    ## N >= 0
  62
  63 # ----------------------------------------------  2.2 Scattering
  64 SCATTERING
  65 3 8 3 1 0 2
  66 # e/i| c1   c2   c3 |  i |  N    M |  1
  67    0   -1    0    0    0    0    0    1    ## c1 == 1
  68    0    0   -1    0    1    0    0    0    ## c2 == i
  69    0    0    0   -1    0    0    0    0    ## c3 == 0
  70
  71 # ----------------------------------------------  2.3 Access
  72 WRITE
  73 2 7 2 1 0 2
  74 # e/i| Arr  [1]|  i |  N    M |  1
  75    0   -1    0    0    0    0    4    ## Arr == y
  76    0    0   -1    1    0    0    0    ## [1] == i
  77
  78 # ----------------------------------------------  2.4 Statement Extensions
  79 # Number of Statement Extensions
  80 1
  81 <body>
  82 # Number of original iterators
  83 1
  84 # List of original iterators
  85 i
  86 # Statement body expression
  87 y[i] = 0;
  88 </body>
  89
  90 # =============================================== Statement 3
  91 # Number of relations describing the statement:
  92 3
  93
  94 # ----------------------------------------------  3.1 Domain
  95 DOMAIN
  96 6 6 2 0 0 2
  97 # e/i|  i    j |  N    M |  1
  98    1    1    0    0    0    0    ## i >= 0
  99    1   -1    0    1    0    0    ## -i+N >= 0
 100    1    0    0    1    0    0    ## N >= 0
 101    1    0    1    0    0    0    ## j >= 0
 102    1    0   -1    0    1    0    ## -j+M >= 0
 103    1    0    0    0    1    0    ## M >= 0
 104
 105 # ----------------------------------------------  3.2 Scattering
 106 SCATTERING
 107 5 11 5 2 0 2
 108 # e/i| c1   c2   c3   c4   c5 |  i    j |  N    M |  1
 109    0   -1    0    0    0    0    0    0    0    0    1    ## c1 == 1
 110    0    0   -1    0    0    0    1    0    0    0    0    ## c2 == i
 111    0    0    0   -1    0    0    0    0    0    0    1    ## c3 == 1
 112    0    0    0    0   -1    0    0    1    0    0    0    ## c4 == j
 113    0    0    0    0    0   -1    0    0    0    0    0    ## c5 == 0
 114
 115 # ----------------------------------------------  3.3 Access
 116 WRITE
 117 3 9 3 2 0 2
 118 # e/i| Arr  [1]  [2]|  i    j |  N    M |  1
 119    0   -1    0    0    0    0    0    0    7    ## Arr == a
 120    0    0   -1    0    1    0    0    0    0    ## [1] == i
 121    0    0    0   -1    0    1    0    0    0    ## [2] == j
 122
 123 # ----------------------------------------------  3.4 Statement Extensions
 124 # Number of Statement Extensions
 125 1
 126 <body>
 127 # Number of original iterators
 128 2
 129 # List of original iterators
 130 i j
 131 # Statement body expression
 132 a[i][j] = 0;
 133 </body>
 134
 135 # =============================================== Statement 4
 136 # Number of relations describing the statement:
 137 3
 138
 139 # ----------------------------------------------  4.1 Domain
 140 DOMAIN
 141 6 6 2 0 0 2
 142 # e/i|  i    j |  N    M |  1
 143    1    1    0    0    0    0    ## i >= 0
 144    1   -1    0    1    0    0    ## -i+N >= 0
 145    1    0    0    1    0    0    ## N >= 0
 146    1    0    1    0    0    0    ## j >= 0
 147    1    0   -1    0    1    0    ## -j+M >= 0
 148    1    0    0    0    1    0    ## M >= 0
 149
 150 # ----------------------------------------------  4.2 Scattering
 151 SCATTERING
 152 5 11 5 2 0 2
 153 # e/i| c1   c2   c3   c4   c5 |  i    j |  N    M |  1
 154    0   -1    0    0    0    0    0    0    0    0    1    ## c1 == 1
 155    0    0   -2    0    0    0    1    0    0    0    0    ## -2*c2+i == 0
 156    0    0    0   -1    0    0    0    0    0    0    1    ## c3 == 1
 157    0    0    0    0   -1    0    0    1    0    0    0    ## c4 == j
 158    0    0    0    0    0   -1    0    0    0    0    1    ## c5 == 1
 159
 160 # ----------------------------------------------  4.3 Access
 161 WRITE
 162 3 9 3 2 0 2
 163 # e/i| Arr  [1]  [2]|  i    j |  N    M |  1
 164    0   -1    0    0    0    0    0    0    8    ## Arr == b
 165    0    0   -1    0    1    0    0    0    0    ## [1] == i
 166    0    0    0   -1    0    1    0    0    0    ## [2] == j
 167
 168 # ----------------------------------------------  4.4 Statement Extensions
 169 # Number of Statement Extensions
 170 1
 171 <body>
 172 # Number of original iterators
 173 2
 174 # List of original iterators
 175 i j
 176 # Statement body expression
 177 b[i][j] = 0;
 178 </body>
 179
 180 # =============================================== Statement 5
 181 # Number of relations describing the statement:
 182 3
 183
 184 # ----------------------------------------------  5.1 Domain
 185 DOMAIN
 186 6 6 2 0 0 2
 187 # e/i|  i    j |  N    M |  1
 188    1    1    0    0    0    0    ## i >= 0
 189    1   -1    0    1    0    0    ## -i+N >= 0
 190    1    0    0    1    0    0    ## N >= 0
 191    1    0    1    0    0    0    ## j >= 0
 192    1    0   -1    0    1    0    ## -j+M >= 0
 193    1    0    0    0    1    0    ## M >= 0
 194
 195 # ----------------------------------------------  5.2 Scattering
 196 SCATTERING
 197 5 11 5 2 0 2
 198 # e/i| c1   c2   c3   c4   c5 |  i    j |  N    M |  1
 199    0   -1    0    0    0    0    0    0    0    0    1    ## c1 == 1
 200    0    0   -1    0    0    0    1    0    0    0    0    ## c2 == i
 201    0    0    0   -1    0    0    0    0    0    0    1    ## c3 == 1
 202    0    0    0    0   -1    0    0    1    0    0    0    ## c4 == j
 203    0    0    0    0    0   -1    0    0    0    0    2    ## c5 == 2
 204
 205 # ----------------------------------------------  5.3 Access
 206 WRITE
 207 3 9 3 2 0 2
 208 # e/i| Arr  [1]  [2]|  i    j |  N    M |  1
 209    0   -1    0    0    0    0    0    0    9    ## Arr == c
 210    0    0   -1    0    1    0    0    0    0    ## [1] == i
 211    0    0    0   -1    0    1    0    0    0    ## [2] == j
 212
 213 # ----------------------------------------------  5.4 Statement Extensions
 214 # Number of Statement Extensions
 215 1
 216 <body>
 217 # Number of original iterators
 218 2
 219 # List of original iterators
 220 i j
 221 # Statement body expression
 222 c[i][j] = 0;
 223 </body>
 224
 225 # =============================================== Extensions
 226 <scatnames>
 227 b0 i b1 j b2
 228 </scatnames>
 229
 230 <arrays>
 231 # Number of arrays
 232 9
 233 # Mapping array-identifiers/array-names
 234 1 z
 235 2 i
 236 3 N
 237 4 y
 238 5 j
 239 6 M
 240 7 a
 241 8 b
 242 9 c
 243 </arrays>
 244
 245 <coordinates>
 246 # File name
 247 ./unitary/skew_statement1.c
 248 # Starting line and column
 249 2 0
 250 # Ending line and column
 251 14 0
 252 # Indentation
 253 0
 254 </coordinates>
 255
 256 </OpenScop>
 257