tests/independent2.scop

   1 start: 41
   2 end: 180
   3 indent: "\t"
   4 context: '[n] -> {  : 0 <= n <= 1073741824 }'
   5 schedule: '{ domain: "[n] -> { S_0[i, j] : 0 <= i < n and 0 <= j < n }", child: {
   6   schedule: "[n] -> L_0[{ S_0[i, j] -> [(i)] }]", child: { schedule: "[n] -> L_1[{
   7   S_0[i, j] -> [(j)] }]" } } }'
   8 arrays:
   9 - context: '{  :  }'
  10   extent: '[n] -> { A[i0] : i0 >= 0 }'
  11   element_type: int
  12   element_size: 4
  13 - context: '[n] -> {  : n >= 0 }'
  14   extent: '[n] -> { B[i0, i1] : i0 >= 0 and 0 <= i1 < n }'
  15   element_type: int
  16   element_size: 4
  17 statements:
  18 - line: 7
  19   domain: '[n] -> { S_0[i, j] : 0 <= i < n and 0 <= j < n }'
  20   body:
  21     type: expression
  22     expr:
  23       type: op
  24       operation: =
  25       arguments:
  26       - type: access
  27         index: '[n] -> { [S_0[i, j] -> [i2]] -> B[((i2) : i2 >= 0), (j)] }'
  28         reference: __pet_ref_1
  29         read: 0
  30         write: 1
  31         arguments:
  32         - type: access
  33           index: '[n] -> { S_0[i, j] -> A[(i)] }'
  34           reference: __pet_ref_0
  35           read: 1
  36           write: 0
  37       - type: access
  38         index: '[n] -> { S_0[i, j] -> [(i + j)] }'
  39         reference: __pet_ref_2
  40         read: 1
  41         write: 0
  42 independences:
  43 - filter: '[n] -> { S_0[i, j] -> S_0[i'', j''] : i'' > i }'
  44   local: '{  }'