tests/conditional_assignment3.scop

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