tests/unitary/fuse_diff_domain.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 == a
  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 a = 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    1    ## Arr == a
  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 a[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 3 5 1 0 0 2
  97 # e/i|  i |  N    M |  1
  98    1    1    0    0    0    ## i >= 0
  99    1   -1    0    1    0    ## -i+M >= 0
 100    1    0    0    1    0    ## M >= 0
 101
 102 # ----------------------------------------------  3.2 Scattering
 103 SCATTERING
 104 3 8 3 1 0 2
 105 # e/i| c1   c2   c3 |  i |  N    M |  1
 106    0   -1    0    0    0    0    0    1    ## c1 == 1
 107    0    0   -1    0    1    0    0    0    ## c2 == i
 108    0    0    0   -1    0    0    0    1    ## c3 == 1
 109
 110 # ----------------------------------------------  3.3 Access
 111 WRITE
 112 2 7 2 1 0 2
 113 # e/i| Arr  [1]|  i |  N    M |  1
 114    0   -1    0    0    0    0    5    ## Arr == t
 115    0    0   -1    1    0    0    0    ## [1] == i
 116
 117 # ----------------------------------------------  3.4 Statement Extensions
 118 # Number of Statement Extensions
 119 1
 120 <body>
 121 # Number of original iterators
 122 1
 123 # List of original iterators
 124 i
 125 # Statement body expression
 126 t[i] = 0;
 127 </body>
 128
 129 # =============================================== Statement 4
 130 # Number of relations describing the statement:
 131 3
 132
 133 # ----------------------------------------------  4.1 Domain
 134 DOMAIN
 135 3 5 1 0 0 2
 136 # e/i|  i |  N    M |  1
 137    1    1    0    0    0    ## i >= 0
 138    1   -1    0    1    0    ## -i+M >= 0
 139    1    0    0    1    0    ## M >= 0
 140
 141 # ----------------------------------------------  4.2 Scattering
 142 SCATTERING
 143 3 8 3 1 0 2
 144 # e/i| c1   c2   c3 |  i |  N    M |  1
 145    0   -1    0    0    0    0    0    1    ## c1 == 1
 146    0    0   -1    0    1    0    0    0    ## c2 == i
 147    0    0    0   -1    0    0    0    2    ## c3 == 2
 148
 149 # ----------------------------------------------  4.3 Access
 150 WRITE
 151 2 7 2 1 0 2
 152 # e/i| Arr  [1]|  i |  N    M |  1
 153    0   -1    0    0    0    0    6    ## Arr == s
 154    0    0   -1    1    0    0    0    ## [1] == i
 155
 156 # ----------------------------------------------  4.4 Statement Extensions
 157 # Number of Statement Extensions
 158 1
 159 <body>
 160 # Number of original iterators
 161 1
 162 # List of original iterators
 163 i
 164 # Statement body expression
 165 s[i] = 0;
 166 </body>
 167
 168 # =============================================== Statement 5
 169 # Number of relations describing the statement:
 170 3
 171
 172 # ----------------------------------------------  5.1 Domain
 173 DOMAIN
 174 0 4 0 0 0 2
 175
 176 # ----------------------------------------------  5.2 Scattering
 177 SCATTERING
 178 1 5 1 0 0 2
 179 # e/i| c1 |  N    M |  1
 180    0   -1    0    0    2    ## c1 == 2
 181
 182 # ----------------------------------------------  5.3 Access
 183 WRITE
 184 1 5 1 0 0 2
 185 # e/i| Arr|  N    M |  1
 186    0   -1    0    0    7    ## Arr == f
 187
 188 # ----------------------------------------------  5.4 Statement Extensions
 189 # Number of Statement Extensions
 190 1
 191 <body>
 192 # Number of original iterators
 193 0
 194 # Statement body expression
 195 f = 0;
 196 </body>
 197
 198 # =============================================== Extensions
 199 <scatnames>
 200 b0 i b1
 201 </scatnames>
 202
 203 <arrays>
 204 # Number of arrays
 205 7
 206 # Mapping array-identifiers/array-names
 207 1 a
 208 2 i
 209 3 N
 210 4 M
 211 5 t
 212 6 s
 213 7 f
 214 </arrays>
 215
 216 <coordinates>
 217 # File name
 218 ./unitary/fuse_diff_domain.c
 219 # Starting line and column
 220 2 0
 221 # Ending line and column
 222 14 0
 223 # Indentation
 224 0
 225 </coordinates>
 226
 227 </OpenScop>
 228