tests/data_dependent2.scop

   1 start: 59
   2 end: 206
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[i] : 0 <= i <= 9; S_10[]; S_0[]; S_11[]; S_6[i, j] : 0
   6   <= i <= 9 and 0 <= j <= 9; S_2[i] : 0 <= i <= 9; S_8[]; S_7[i] : 0 <= i <= 9; S_9[];
   7   S_4[i, j] : 0 <= i <= 9 and 0 <= j <= 9; S_5[i, j] : 0 <= i <= 9 and 0 <= j <= 9;
   8   S_1[] }", child: { sequence: [ { filter: "{ S_0[] }" }, { filter: "{ S_1[] }" },
   9   { filter: "{ S_3[i]; S_6[i, j]; S_2[i]; S_7[i]; S_4[i, j]; S_5[i, j] }", child:
  10   { schedule: "L_0[{ S_4[i, j] -> [(i)]; S_3[i] -> [(i)]; S_6[i, j] -> [(i)]; S_2[i]
  11   -> [(i)]; S_5[i, j] -> [(i)]; S_7[i] -> [(i)] }]", child: { sequence: [ { filter:
  12   "{ S_2[i] }" }, { filter: "{ S_3[i] }" }, { filter: "{ S_6[i, j]; S_5[i, j]; S_4[i,
  13   j] }", child: { schedule: "L_1[{ S_5[i, j] -> [(j)]; S_4[i, j] -> [(j)]; S_6[i,
  14   j] -> [(j)] }]", child: { sequence: [ { filter: "{ S_4[i, j] }" }, { filter: "{
  15   S_5[i, j] }" }, { filter: "{ S_6[i, j] }" } ] } } }, { filter: "{ S_7[i] }" } ]
  16   } } }, { filter: "{ S_10[]; S_11[]; S_8[]; S_9[] }", child: { set: [ { filter: "{
  17   S_8[] }" }, { filter: "{ S_9[] }" }, { filter: "{ S_10[] }" }, { filter: "{ S_11[]
  18   }" } ] } } ] } }'
  19 arrays:
  20 - context: '{  :  }'
  21   extent: '{ __pet_test_0[i] : 0 <= i <= 9 }'
  22   value_bounds: '{ [i0] : 0 <= i0 <= 1 }'
  23   element_type: int
  24   element_size: 4
  25   uniquely_defined: 1
  26 - context: '{  :  }'
  27   extent: '{ N[] }'
  28   element_type: int
  29   element_size: 4
  30 - context: '{  :  }'
  31   extent: '{ a[i0] : 0 <= i0 <= 9 }'
  32   element_type: int
  33   element_size: 4
  34 - context: '{  :  }'
  35   extent: '{ i[] }'
  36   element_type: int
  37   element_size: 4
  38 - context: '{  :  }'
  39   extent: '{ j[] }'
  40   element_type: int
  41   element_size: 4
  42 statements:
  43 - line: 10
  44   domain: '{ S_0[] }'
  45   body:
  46     type: expression
  47     expr:
  48       type: op
  49       operation: =
  50       arguments:
  51       - type: access
  52         index: '{ S_0[] -> N[] }'
  53         reference: __pet_ref_0
  54         read: 0
  55         write: 1
  56       - type: int
  57         value: 5
  58 - line: 11
  59   domain: '{ S_1[] }'
  60   body:
  61     type: expression
  62     expr:
  63       type: op
  64       operation: =
  65       arguments:
  66       - type: access
  67         index: '{ S_1[] -> i[] }'
  68         reference: __pet_ref_1
  69         read: 0
  70         write: 1
  71       - type: int
  72         value: 0
  73 - line: 12
  74   domain: '{ S_2[i] : 0 <= i <= 9 }'
  75   body:
  76     type: expression
  77     expr:
  78       type: op
  79       operation: =
  80       arguments:
  81       - type: access
  82         index: '{ S_2[i] -> __pet_test_0[(i)] }'
  83         reference: __pet_ref_2
  84         read: 0
  85         write: 1
  86       - type: op
  87         operation: <=
  88         arguments:
  89         - type: access
  90           index: '{ S_2[i] -> N[] }'
  91           reference: __pet_ref_3
  92           read: 1
  93           write: 0
  94         - type: int
  95           value: 4
  96 - line: 13
  97   domain: '{ [S_3[i] -> [__pet_test_0 = 1]] : 0 <= i <= 9 }'
  98   body:
  99     type: expression
 100     expr:
 101       type: op
 102       operation: =
 103       arguments:
 104       - type: access
 105         index: '{ S_3[i] -> j[] }'
 106         reference: __pet_ref_5
 107         read: 0
 108         write: 1
 109       - type: int
 110         value: 0
 111   arguments:
 112   - type: access
 113     index: '{ S_3[i] -> __pet_test_0[(i)] }'
 114     reference: __pet_ref_4
 115     read: 1
 116     write: 0
 117 - line: 14
 118   domain: '{ [S_4[i, j] -> [__pet_test_0 = 1]] : 0 <= i <= 9 and 0 <= j <= 9 }'
 119   body:
 120     type: expression
 121     expr:
 122       type: op
 123       operation: =
 124       arguments:
 125       - type: access
 126         index: '{ S_4[i, j] -> a[(j)] }'
 127         reference: __pet_ref_7
 128         read: 0
 129         write: 1
 130       - type: op
 131         operation: +
 132         arguments:
 133         - type: access
 134           index: '{ S_4[i, j] -> [(5 + j)] }'
 135           reference: __pet_ref_8
 136           read: 1
 137           write: 0
 138         - type: access
 139           index: '{ S_4[i, j] -> N[] }'
 140           reference: __pet_ref_9
 141           read: 1
 142           write: 0
 143   arguments:
 144   - type: access
 145     index: '{ S_4[i, j] -> __pet_test_0[(i)] }'
 146     reference: __pet_ref_6
 147     read: 1
 148     write: 0
 149 - line: 15
 150   domain: '{ [S_5[i, j] -> [__pet_test_0 = 1]] : 0 <= i <= 9 and 0 <= j <= 9 }'
 151   body:
 152     type: expression
 153     expr:
 154       type: op
 155       operation: =
 156       arguments:
 157       - type: access
 158         index: '{ S_5[i, j] -> N[] }'
 159         reference: __pet_ref_11
 160         read: 0
 161         write: 1
 162       - type: call
 163         name: f
 164   arguments:
 165   - type: access
 166     index: '{ S_5[i, j] -> __pet_test_0[(i)] }'
 167     reference: __pet_ref_10
 168     read: 1
 169     write: 0
 170 - line: 13
 171   domain: '{ [S_6[i, j] -> [__pet_test_0 = 1]] : 0 <= i <= 9 and 0 <= j <= 9 }'
 172   body:
 173     type: expression
 174     expr:
 175       type: op
 176       operation: =
 177       arguments:
 178       - type: access
 179         index: '{ S_6[i, j] -> j[] }'
 180         reference: __pet_ref_13
 181         read: 0
 182         write: 1
 183       - type: access
 184         index: '{ S_6[i, j] -> [(1 + j)] }'
 185         reference: __pet_ref_14
 186         read: 1
 187         write: 0
 188   arguments:
 189   - type: access
 190     index: '{ S_6[i, j] -> __pet_test_0[(i)] }'
 191     reference: __pet_ref_12
 192     read: 1
 193     write: 0
 194 - line: 11
 195   domain: '{ S_7[i] : 0 <= i <= 9 }'
 196   body:
 197     type: expression
 198     expr:
 199       type: op
 200       operation: =
 201       arguments:
 202       - type: access
 203         index: '{ S_7[i] -> i[] }'
 204         reference: __pet_ref_15
 205         read: 0
 206         write: 1
 207       - type: access
 208         index: '{ S_7[i] -> [(1 + i)] }'
 209         reference: __pet_ref_16
 210         read: 1
 211         write: 0
 212 - line: -1
 213   domain: '{ S_8[] }'
 214   body:
 215     type: expression
 216     expr:
 217       type: op
 218       operation: kill
 219       arguments:
 220       - type: access
 221         killed: '{ S_8[] -> i[] }'
 222         index: '{ S_8[] -> i[] }'
 223         reference: __pet_ref_17
 224         kill: 1
 225 - line: -1
 226   domain: '{ S_9[] }'
 227   body:
 228     type: expression
 229     expr:
 230       type: op
 231       operation: kill
 232       arguments:
 233       - type: access
 234         killed: '{ S_9[] -> j[] }'
 235         index: '{ S_9[] -> j[] }'
 236         reference: __pet_ref_18
 237         kill: 1
 238 - line: -1
 239   domain: '{ S_10[] }'
 240   body:
 241     type: expression
 242     expr:
 243       type: op
 244       operation: kill
 245       arguments:
 246       - type: access
 247         killed: '{ S_10[] -> a[o0] : 0 <= o0 <= 9 }'
 248         index: '{ S_10[] -> a[] }'
 249         depth: 1
 250         reference: __pet_ref_19
 251         kill: 1
 252 - line: -1
 253   domain: '{ S_11[] }'
 254   body:
 255     type: expression
 256     expr:
 257       type: op
 258       operation: kill
 259       arguments:
 260       - type: access
 261         killed: '{ S_11[] -> N[] }'
 262         index: '{ S_11[] -> N[] }'
 263         reference: __pet_ref_20
 264         kill: 1