tests/conditional_assignment3.scop

   1 start: 31
   2 end: 94
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_0[]; S_2[]; S_1[] }", child: { sequence: [ { filter: "{
   6   S_0[] }" }, { filter: "{ S_2[]; S_1[] }", child: { set: [ { filter: "{ S_1[] }"
   7   }, { filter: "{ S_2[] }" } ] } } ] } }'
   8 arrays:
   9 - context: '{  :  }'
  10   extent: '{ __pet_test_0[] }'
  11   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  12   element_type: int
  13   element_size: 4
  14   uniquely_defined: 1
  15 - context: '{  :  }'
  16   extent: '{ t[] }'
  17   element_type: int
  18   element_size: 4
  19 statements:
  20 - line: 7
  21   domain: '{ S_0[] }'
  22   schedule: '{ S_0[] -> [0, 0] }'
  23   body:
  24     type: expression
  25     expr:
  26       type: op
  27       operation: =
  28       arguments:
  29       - type: access
  30         index: '{ S_0[] -> __pet_test_0[] }'
  31         reference: __pet_ref_0
  32         read: 0
  33         write: 1
  34       - type: call
  35         name: f
  36 - line: 8
  37   domain: '{ [S_1[] -> [1]] }'
  38   schedule: '{ S_1[] -> [0, 1] }'
  39   body:
  40     type: expression
  41     expr:
  42       type: op
  43       operation: =
  44       arguments:
  45       - type: access
  46         index: '{ S_1[] -> t[] }'
  47         reference: __pet_ref_2
  48         read: 0
  49         write: 1
  50       - type: int
  51         value: 0
  52   arguments:
  53   - type: access
  54     index: '{ S_1[] -> __pet_test_0[] }'
  55     reference: __pet_ref_1
  56     read: 1
  57     write: 0
  58 - line: 10
  59   domain: '{ [S_2[] -> [0]] }'
  60   schedule: '{ S_2[] -> [0, 1] }'
  61   body:
  62     type: expression
  63     expr:
  64       type: op
  65       operation: =
  66       arguments:
  67       - type: access
  68         index: '{ S_2[] -> t[] }'
  69         reference: __pet_ref_4
  70         read: 0
  71         write: 1
  72       - type: int
  73         value: 1
  74   arguments:
  75   - type: access
  76     index: '{ S_2[] -> __pet_test_0[] }'
  77     reference: __pet_ref_3
  78     read: 1
  79     write: 0