tests/filter3.scop

   1 start: 51
   2 end: 125
   3 context: '{  :  }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '{ __pet_test_0[] }'
   7   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
   8   element_type: int
   9   element_size: 4
  10   uniquely_defined: 1
  11 - context: '{  :  }'
  12   extent: '{ test[i0] : i0 >= 0 }'
  13   element_type: int
  14   element_size: 4
  15 - context: '{  :  }'
  16   extent: '{ index[] }'
  17   element_type: int
  18   element_size: 4
  19 statements:
  20 - line: 6
  21   domain: '{ S_0[] }'
  22   schedule: '{ S_0[] -> [0] }'
  23   body:
  24     type: binary
  25     operation: =
  26     arguments:
  27     - type: access
  28       relation: '{ S_0[] -> index[] }'
  29       read: 0
  30       write: 1
  31     - type: call
  32       name: f
  33 - line: 7
  34   domain: '{ S_1[] }'
  35   schedule: '{ S_1[] -> [1, 0] }'
  36   body:
  37     type: binary
  38     operation: =
  39     arguments:
  40     - type: access
  41       relation: '{ S_1[] -> __pet_test_0[] }'
  42       read: 0
  43       write: 1
  44     - type: access
  45       relation: '{ [S_1[] -> [i0]] -> test[i0] : i0 >= 0 }'
  46       read: 1
  47       write: 0
  48       arguments:
  49       - type: access
  50         relation: '{ S_1[] -> index[] }'
  51         read: 1
  52         write: 0
  53 - line: 8
  54   domain: '{ [S_2[] -> [1]] }'
  55   schedule: '{ S_2[] -> [1, 1] }'
  56   body:
  57     type: binary
  58     operation: =
  59     arguments:
  60     - type: access
  61       relation: '{ S_2[] -> index[] }'
  62       read: 0
  63       write: 1
  64     - type: access
  65       relation: '{ S_2[] -> [5] }'
  66       read: 1
  67       write: 0
  68   arguments:
  69   - type: access
  70     relation: '{ S_2[] -> __pet_test_0[] }'
  71     read: 1
  72     write: 0