tests/break5.scop

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