tests/unitary/peel_remove_condition.c.clay.scop

   1
   2 <OpenScop>
   3
   4 # =============================================== Global
   5 # Language
   6 C
   7
   8 # Context
   9 CONTEXT
  10 0 3 0 0 0 1
  11
  12 # Parameters are provided
  13 1
  14 <strings>
  15 N
  16 </strings>
  17
  18 # Number of statements
  19 4
  20
  21 # =============================================== Statement 1
  22 # Number of relations describing the statement:
  23 3
  24
  25 # ----------------------------------------------  1.1 Domain
  26 DOMAIN
  27 3 4 1 0 0 1
  28 # e/i|  i |  N |  1
  29    1    1    0    0    ## i >= 0
  30    1   -1    1    0    ## -i+N >= 0
  31    1    0    1    0    ## N >= 0
  32
  33 # ----------------------------------------------  1.2 Scattering
  34 SCATTERING
  35 4 7 3 1 0 1
  36 # e/i| c1   c2   c3 |  i |  N |  1
  37    0   -1    0    0    0    0    1    ## c1 == 1
  38    0    0   -1    0    1    0    0    ## c2 == i
  39    0    0    0   -1    0    0    0    ## c3 == 0
  40    1    0    1    0    0    0  -15    ## c2-15 >= 0
  41
  42 # ----------------------------------------------  1.3 Access
  43 WRITE
  44 2 6 2 1 0 1
  45 # e/i| Arr  [1]|  i |  N |  1
  46    0   -1    0    0    0    3    ## Arr == a
  47    0    0   -1    1    0    0    ## [1] == i
  48
  49 # ----------------------------------------------  1.4 Statement Extensions
  50 # Number of Statement Extensions
  51 1
  52 <body>
  53 # Number of original iterators
  54 1
  55 # List of original iterators
  56 i
  57 # Statement body expression
  58 a[i] = 0;
  59 </body>
  60
  61 # =============================================== Statement 2
  62 # Number of relations describing the statement:
  63 3
  64
  65 # ----------------------------------------------  2.1 Domain
  66 DOMAIN
  67 3 4 1 0 0 1
  68 # e/i|  i |  N |  1
  69    1    1    0    0    ## i >= 0
  70    1   -1    1    0    ## -i+N >= 0
  71    1    0    1    0    ## N >= 0
  72
  73 # ----------------------------------------------  2.2 Scattering
  74 SCATTERING
  75 4 7 3 1 0 1
  76 # e/i| c1   c2   c3 |  i |  N |  1
  77    0   -1    0    0    0    0    0    ## c1 == 0
  78    0    0   -1    0    1    0    0    ## c2 == i
  79    0    0    0   -1    0    0    0    ## c3 == 0
  80    1    0   -1    0    0    0   14    ## -c2+14 >= 0
  81
  82 # ----------------------------------------------  2.3 Access
  83 WRITE
  84 2 6 2 1 0 1
  85 # e/i| Arr  [1]|  i |  N |  1
  86    0   -1    0    0    0    3    ## Arr == a
  87    0    0   -1    1    0    0    ## [1] == i
  88
  89 # ----------------------------------------------  2.4 Statement Extensions
  90 # Number of Statement Extensions
  91 1
  92 <body>
  93 # Number of original iterators
  94 1
  95 # List of original iterators
  96 i
  97 # Statement body expression
  98 a[i] = 0;
  99 </body>
 100
 101 # =============================================== Statement 3
 102 # Number of relations describing the statement:
 103 3
 104
 105 # ----------------------------------------------  3.1 Domain
 106 DOMAIN
 107 4 4 1 0 0 1
 108 # e/i|  i |  N |  1
 109    1    1    0    0    ## i >= 0
 110    1   -1    1    0    ## -i+N >= 0
 111    1    0    1    0    ## N >= 0
 112    1    1    0  -15    ## i-15 >= 0
 113
 114 # ----------------------------------------------  3.2 Scattering
 115 SCATTERING
 116 4 7 3 1 0 1
 117 # e/i| c1   c2   c3 |  i |  N |  1
 118    0   -1    0    0    0    0    1    ## c1 == 1
 119    0    0   -1    0    1    0    0    ## c2 == i
 120    0    0    0   -1    0    0    1    ## c3 == 1
 121    1    0    1    0    0    0  -15    ## c2-15 >= 0
 122
 123 # ----------------------------------------------  3.3 Access
 124 WRITE
 125 2 6 2 1 0 1
 126 # e/i| Arr  [1]|  i |  N |  1
 127    0   -1    0    0    0    4    ## Arr == b
 128    0    0   -1    1    0    0    ## [1] == i
 129
 130 # ----------------------------------------------  3.4 Statement Extensions
 131 # Number of Statement Extensions
 132 1
 133 <body>
 134 # Number of original iterators
 135 1
 136 # List of original iterators
 137 i
 138 # Statement body expression
 139 b[i] = 0;
 140 </body>
 141
 142 # =============================================== Statement 4
 143 # Number of relations describing the statement:
 144 3
 145
 146 # ----------------------------------------------  4.1 Domain
 147 DOMAIN
 148 4 4 1 0 0 1
 149 # e/i|  i |  N |  1
 150    1    1    0    0    ## i >= 0
 151    1   -1    1    0    ## -i+N >= 0
 152    1    0    1    0    ## N >= 0
 153    1    1    0  -15    ## i-15 >= 0
 154
 155 # ----------------------------------------------  4.2 Scattering
 156 SCATTERING
 157 4 7 3 1 0 1
 158 # e/i| c1   c2   c3 |  i |  N |  1
 159    0   -1    0    0    0    0    0    ## c1 == 0
 160    0    0   -1    0    1    0    0    ## c2 == i
 161    0    0    0   -1    0    0    1    ## c3 == 1
 162    1    0   -1    0    0    0   14    ## -c2+14 >= 0
 163
 164 # ----------------------------------------------  4.3 Access
 165 WRITE
 166 2 6 2 1 0 1
 167 # e/i| Arr  [1]|  i |  N |  1
 168    0   -1    0    0    0    4    ## Arr == b
 169    0    0   -1    1    0    0    ## [1] == i
 170
 171 # ----------------------------------------------  4.4 Statement Extensions
 172 # Number of Statement Extensions
 173 1
 174 <body>
 175 # Number of original iterators
 176 1
 177 # List of original iterators
 178 i
 179 # Statement body expression
 180 b[i] = 0;
 181 </body>
 182
 183 # =============================================== Extensions
 184 <scatnames>
 185 b0 i b1
 186 </scatnames>
 187
 188 <arrays>
 189 # Number of arrays
 190 4
 191 # Mapping array-identifiers/array-names
 192 1 i
 193 2 N
 194 3 a
 195 4 b
 196 </arrays>
 197
 198 <coordinates>
 199 # File name
 200 ./unitary/peel_remove_condition.c
 201 # Starting line and column
 202 2 0
 203 # Ending line and column
 204 12 0
 205 # Indentation
 206 0
 207 </coordinates>
 208
 209 </OpenScop>
 210