tests/filter2.scop

   1 start: 37
   2 end: 97
   3 indent: "\t"
   4 context: '{  :  }'
   5 arrays:
   6 - context: '{  :  }'
   7   extent: '{ __pet_test_0[] }'
   8   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
   9   element_type: int
  10   element_size: 4
  11   uniquely_defined: 1
  12 - context: '{  :  }'
  13   extent: '{ index[] }'
  14   element_type: int
  15   element_size: 4
  16 - context: '{  :  }'
  17   extent: '{ test[i0] : i0 >= 0 }'
  18   element_type: int
  19   element_size: 4
  20 statements:
  21 - line: 4
  22   domain: '{ S_0[] }'
  23   schedule: '{ S_0[] -> [0, 0] }'
  24   body:
  25     type: expression
  26     expr:
  27       type: op
  28       operation: =
  29       arguments:
  30       - type: access
  31         index: '{ S_0[] -> __pet_test_0[] }'
  32         reference: __pet_ref_0
  33         read: 0
  34         write: 1
  35       - type: access
  36         index: '{ [S_0[] -> [i0]] -> test[((i0) : i0 >= 0)] }'
  37         reference: __pet_ref_2
  38         read: 1
  39         write: 0
  40         arguments:
  41         - type: access
  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: expression
  51     expr:
  52       type: op
  53       operation: =
  54       arguments:
  55       - type: access
  56         index: '{ S_1[] -> index[] }'
  57         reference: __pet_ref_4
  58         read: 0
  59         write: 1
  60       - type: int
  61         value: 5
  62   arguments:
  63   - type: access
  64     index: '{ S_1[] -> __pet_test_0[] }'
  65     reference: __pet_ref_3
  66     read: 1
  67     write: 0