tests/break2.scop

   1 start: 33
   2 end: 208
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_0[i, j] : (i <= 9 and i >= 0 and j <= 99 and j >= 0) or
   6   (i <= 99 and i >= 10 and j >= 0 and j <= i); S_1[i, j] : i <= 99 and i >= 10 and
   7   j <= 99 and j >= 0 and j <= -1 + i }", child: { schedule: "L_0[{ S_1[i, j] -> [(i)];
   8   S_0[i, j] -> [(i)] }]", child: { schedule: "L_1[{ S_1[i, j] -> [(j)]; S_0[i, j]
   9   -> [(j)] }]", child: { sequence: [ { filter: "{ S_0[i, j] }" }, { filter: "{ S_1[i,
  10   j] }" } ] } } } }'
  11 arrays:
  12 - context: '{  :  }'
  13   extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
  14   element_type: int
  15   element_size: 4
  16 statements:
  17 - line: 8
  18   domain: '{ S_0[i, j] : (i <= 9 and i >= 0 and j <= 99 and j >= 0) or (i <= 99 and
  19     i >= 10 and j >= 0 and j <= i) }'
  20   body:
  21     type: expression
  22     expr:
  23       type: op
  24       operation: =
  25       arguments:
  26       - type: access
  27         index: '{ S_0[i, j] -> a[(i)] }'
  28         reference: __pet_ref_0
  29         read: 0
  30         write: 1
  31       - type: int
  32         value: 0
  33 - line: 13
  34   domain: '{ S_1[i, j] : i <= 99 and i >= 10 and j <= 99 and j >= 0 and j <= -1 +
  35     i }'
  36   body:
  37     type: expression
  38     expr:
  39       type: op
  40       operation: =
  41       arguments:
  42       - type: access
  43         index: '{ S_1[i, j] -> a[(i)] }'
  44         reference: __pet_ref_1
  45         read: 0
  46         write: 1
  47       - type: op
  48         operation: +
  49         arguments:
  50         - type: access
  51           index: '{ S_1[i, j] -> [(i)] }'
  52           reference: __pet_ref_2
  53           read: 1
  54           write: 0
  55         - type: access
  56           index: '{ S_1[i, j] -> [(j)] }'
  57           reference: __pet_ref_3
  58           read: 1
  59           write: 0