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