tests/if1.scop

   1 start: 22
   2 end: 73
   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: '{ a[] }'
  13   element_type: int
  14   element_size: 4
  15 statements:
  16 - line: 6
  17   domain: '{ S_0[] }'
  18   schedule: '{ S_0[] -> [0, 0] }'
  19   body:
  20     type: op
  21     operation: =
  22     arguments:
  23     - type: access
  24       relation: '{ S_0[] -> __pet_test_0[] }'
  25       index: '{ S_0[] -> __pet_test_0[] }'
  26       reference: __pet_ref_0
  27       read: 0
  28       write: 1
  29     - type: op
  30       operation: <<
  31       arguments:
  32       - type: int
  33         value: 1
  34       - type: int
  35         value: 0
  36 - line: 7
  37   domain: '{ [S_1[] -> [1]] }'
  38   schedule: '{ S_1[] -> [0, 1] }'
  39   body:
  40     type: op
  41     operation: =
  42     arguments:
  43     - type: access
  44       relation: '{ S_1[] -> a[] }'
  45       index: '{ S_1[] -> a[] }'
  46       reference: __pet_ref_2
  47       read: 0
  48       write: 1
  49     - type: int
  50       value: 1
  51   arguments:
  52   - type: access
  53     relation: '{ S_1[] -> __pet_test_0[] }'
  54     index: '{ S_1[] -> __pet_test_0[] }'
  55     reference: __pet_ref_1
  56     read: 1
  57     write: 0