tests/filter3.scop

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