tests/unitary/can_reorder_loop.c.struct

   1 \e[33mORIGINAL SCOP:\e[00m
   2
   3 <OpenScop>
   4
   5 # =============================================== Global
   6 # Language
   7 C
   8
   9 # Context
  10 CONTEXT
  11 0 2 0 0 0 0
  12
  13 # Parameters are not provided
  14 0
  15
  16
  17 # Number of statements
  18 3
  19
  20 # =============================================== Statement 1
  21 # Number of relations describing the statement:
  22 3
  23
  24 # ----------------------------------------------  1.1 Domain
  25 DOMAIN
  26 0 2 0 0 0 0
  27
  28 # ----------------------------------------------  1.2 Scattering
  29 SCATTERING
  30 1 3 1 0 0 0
  31 # e/i| c1 |  1
  32    0   -1    0    ## c1 == 0
  33
  34 # ----------------------------------------------  1.3 Access
  35 WRITE
  36 2 4 2 0 0 0
  37 # e/i| Arr  [1]|  1
  38    0   -1    0    1    ## Arr == a
  39    0    0   -1    0    ## [1] == 0
  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] = 0;
  49 </body>
  50
  51 # =============================================== Statement 2
  52 # Number of relations describing the statement:
  53 3
  54
  55 # ----------------------------------------------  2.1 Domain
  56 DOMAIN
  57 2 3 1 0 0 0
  58 # e/i|  i |  1
  59    1    1   -1    ## i-1 >= 0
  60    1   -1    5    ## -i+5 >= 0
  61
  62 # ----------------------------------------------  2.2 Scattering
  63 SCATTERING
  64 3 6 3 1 0 0
  65 # e/i| c1   c2   c3 |  i |  1
  66    0   -1    0    0    0    1    ## c1 == 1
  67    0    0   -1    0    1    0    ## c2 == i
  68    0    0    0   -1    0    0    ## c3 == 0
  69
  70 # ----------------------------------------------  2.3 Access
  71 WRITE
  72 2 5 2 1 0 0
  73 # e/i| Arr  [1]|  i |  1
  74    0   -1    0    0    1    ## Arr == a
  75    0    0   -1    1    0    ## [1] == i
  76
  77 # ----------------------------------------------  2.4 Statement Extensions
  78 # Number of Statement Extensions
  79 1
  80 <body>
  81 # Number of original iterators
  82 1
  83 # List of original iterators
  84 i
  85 # Statement body expression
  86 a[i] = 0;
  87 </body>
  88
  89 # =============================================== Statement 3
  90 # Number of relations describing the statement:
  91 4
  92
  93 # ----------------------------------------------  3.1 Domain
  94 DOMAIN
  95 2 3 1 0 0 0
  96 # e/i|  i |  1
  97    1    1   -1    ## i-1 >= 0
  98    1   -1    5    ## -i+5 >= 0
  99
 100 # ----------------------------------------------  3.2 Scattering
 101 SCATTERING
 102 3 6 3 1 0 0
 103 # e/i| c1   c2   c3 |  i |  1
 104    0   -1    0    0    0    1    ## c1 == 1
 105    0    0   -1    0    1    0    ## c2 == i
 106    0    0    0   -1    0    1    ## c3 == 1
 107
 108 # ----------------------------------------------  3.3 Access
 109 WRITE
 110 2 5 2 1 0 0
 111 # e/i| Arr  [1]|  i |  1
 112    0   -1    0    0    3    ## Arr == b
 113    0    0   -1    1   -1    ## [1] == i-1
 114
 115 READ
 116 2 5 2 1 0 0
 117 # e/i| Arr  [1]|  i |  1
 118    0   -1    0    0    1    ## Arr == a
 119    0    0   -1    1   -1    ## [1] == i-1
 120
 121 # ----------------------------------------------  3.4 Statement Extensions
 122 # Number of Statement Extensions
 123 1
 124 <body>
 125 # Number of original iterators
 126 1
 127 # List of original iterators
 128 i
 129 # Statement body expression
 130 b[i-1] = a[i-1];
 131 </body>
 132
 133 # =============================================== Extensions
 134 <dependence>
 135 # Number of dependences
 136 2
 137 # Description of dependence 1
 138 # type
 139 RAW #(flow)
 140 # From source statement id
 141 0
 142 # To target statement id
 143 2
 144 # Depth
 145 0
 146 # From source access ref
 147 0
 148 # To target access ref
 149 1
 150 # Dependence domain
 151 UNDEFINED
 152 8 7 2 3 0 0
 153 # e/i| c1   c2 | i1   i2   i3 |  1
 154    1    0    0    1    0    0   -1    ## i1-1 >= 0
 155    1    0    0   -1    0    0    5    ## -i1+5 >= 0
 156    0   -1    0    0    0    0    1    ## c1 == 1
 157    0    0   -1    0    0    0    0    ## c2 == 0
 158    0    0    0    0    1    0   -1    ## i2-1 == 0
 159    0    0    0   -1    0    1    1    ## -i1+i3+1 == 0
 160    0   -1    0    0    1    0    0    ## c1 == i2
 161    0    0   -1    0    0    1    0    ## c2 == i3
 162 # Description of dependence 2
 163 # type
 164 RAW #(flow)
 165 # From source statement id
 166 1
 167 # To target statement id
 168 2
 169 # Depth
 170 1
 171 # From source access ref
 172 0
 173 # To target access ref
 174 1
 175 # Dependence domain
 176 UNDEFINED
 177 11 8 3 3 0 0
 178 # e/i| c1   c2   c3 | i1   i2   i3 |  1
 179    1    1    0    0    0    0    0   -1    ## c1-1 >= 0
 180    1   -1    0    0    0    0    0    5    ## -c1+5 >= 0
 181    1    0    0    0    1    0    0   -1    ## i1-1 >= 0
 182    1    0    0    0   -1    0    0    5    ## -i1+5 >= 0
 183    0    0   -1    0    0    0    0    1    ## c2 == 1
 184    0    1    0   -1    0    0    0    0    ## c1-c3 == 0
 185    0    0    0    0    0    1    0   -1    ## i2-1 == 0
 186    0    0    0    0   -1    0    1    1    ## -i1+i3+1 == 0
 187    0    0   -1    0    0    1    0    0    ## c2 == i2
 188    0    0    0   -1    0    0    1    0    ## c3 == i3
 189    1   -1    0    0    1    0    0    0    ## -c1+i1 >= 0
 190 </dependence>
 191
 192 <scatnames>
 193 b0 i b1
 194 </scatnames>
 195
 196 <arrays>
 197 # Number of arrays
 198 3
 199 # Mapping array-identifiers/array-names
 200 1 a
 201 2 i
 202 3 b
 203 </arrays>
 204
 205 <coordinates>
 206 # File name
 207 ./unitary/can_reorder_loop.c
 208 # Starting line and column
 209 2 0
 210 # Ending line and column
 211 7 0
 212 # Indentation
 213 0
 214 </coordinates>
 215
 216 </OpenScop>
 217
 218
 219 \e[33mDEPENDENCES GRAPH:\e[00m
 220 digraph G {
 221 # Data Dependence Graph
 222   S0 -> S2 [label=" RAW depth 0, ref 0->1 "];
 223   S1 -> S2 [label=" RAW depth 1, ref 0->1 "];
 224 }