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       index: '{ S_0[] -> index[] }'
  30       reference: __pet_ref_0
  31       read: 0
  32       write: 1
  33     - type: call
  34       name: f
  35 - line: 7
  36   domain: '{ S_1[] }'
  37   schedule: '{ S_1[] -> [1, 0] }'
  38   body:
  39     type: binary
  40     operation: =
  41     arguments:
  42     - type: access
  43       relation: '{ S_1[] -> __pet_test_0[] }'
  44       index: '{ S_1[] -> __pet_test_0[] }'
  45       reference: __pet_ref_1
  46       read: 0
  47       write: 1
  48     - type: access
  49       relation: '{ [S_1[] -> [i0]] -> test[i0] : i0 >= 0 }'
  50       index: '{ [S_1[] -> [i0]] -> test[((i0) : i0 >= 0)] }'
  51       reference: __pet_ref_3
  52       read: 1
  53       write: 0
  54       arguments:
  55       - type: access
  56         relation: '{ S_1[] -> index[] }'
  57         index: '{ S_1[] -> index[] }'
  58         reference: __pet_ref_2
  59         read: 1
  60         write: 0
  61 - line: 8
  62   domain: '{ [S_2[] -> [1]] }'
  63   schedule: '{ S_2[] -> [1, 1] }'
  64   body:
  65     type: binary
  66     operation: =
  67     arguments:
  68     - type: access
  69       relation: '{ S_2[] -> index[] }'
  70       index: '{ S_2[] -> index[] }'
  71       reference: __pet_ref_5
  72       read: 0
  73       write: 1
  74     - type: access
  75       relation: '{ S_2[] -> [5] }'
  76       index: '{ S_2[] -> [(5)] }'
  77       reference: __pet_ref_6
  78       read: 1
  79       write: 0
  80   arguments:
  81   - type: access
  82     relation: '{ S_2[] -> __pet_test_0[] }'
  83     index: '{ S_2[] -> __pet_test_0[] }'
  84     reference: __pet_ref_4
  85     read: 1
  86     write: 0