tests/transformations/must_fail/no_scalren.c.orig.scop

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