tests/filter2.scop

   1 start: 37
   2 end: 97
   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: 4
  21   domain: '{ S_0[] }'
  22   schedule: '{ S_0[] -> [0, 0] }'
  23   body:
  24     type: binary
  25     operation: =
  26     arguments:
  27     - type: access
  28       relation: '{ S_0[] -> __pet_test_0[] }'
  29       index: '{ S_0[] -> __pet_test_0[] }'
  30       reference: __pet_ref_0
  31       read: 0
  32       write: 1
  33     - type: access
  34       relation: '{ [S_0[] -> [i0]] -> test[i0] : i0 >= 0 }'
  35       index: '{ [S_0[] -> [i0]] -> test[((i0) : i0 >= 0)] }'
  36       reference: __pet_ref_2
  37       read: 1
  38       write: 0
  39       arguments:
  40       - type: access
  41         relation: '{ S_0[] -> index[] }'
  42         index: '{ S_0[] -> index[] }'
  43         reference: __pet_ref_1
  44         read: 1
  45         write: 0
  46 - line: 5
  47   domain: '{ [S_1[] -> [1]] }'
  48   schedule: '{ S_1[] -> [0, 1] }'
  49   body:
  50     type: binary
  51     operation: =
  52     arguments:
  53     - type: access
  54       relation: '{ S_1[] -> index[] }'
  55       index: '{ S_1[] -> index[] }'
  56       reference: __pet_ref_4
  57       read: 0
  58       write: 1
  59     - type: access
  60       relation: '{ S_1[] -> [5] }'
  61       index: '{ S_1[] -> [(5)] }'
  62       reference: __pet_ref_5
  63       read: 1
  64       write: 0
  65   arguments:
  66   - type: access
  67     relation: '{ S_1[] -> __pet_test_0[] }'
  68     index: '{ S_1[] -> __pet_test_0[] }'
  69     reference: __pet_ref_3
  70     read: 1
  71     write: 0