tests/conditional_assignment3.scop

   1 start: 31
   2 end: 94
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[]; 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[] }" } ] } }, { filter: "{ S_3[] }" } ] } }'
   8 arrays:
   9 - context: '{  :  }'
  10   extent: '{ __pet_test_0[] }'
  11   value_bounds: '{ [i0] : 0 <= 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   body:
  23     type: expression
  24     expr:
  25       type: op
  26       operation: =
  27       arguments:
  28       - type: access
  29         index: '{ S_0[] -> __pet_test_0[] }'
  30         reference: __pet_ref_0
  31         read: 0
  32         write: 1
  33       - type: call
  34         name: f
  35 - line: 8
  36   domain: '{ [S_1[] -> [__pet_test_0 = 1]] }'
  37   body:
  38     type: expression
  39     expr:
  40       type: op
  41       operation: =
  42       arguments:
  43       - type: access
  44         index: '{ S_1[] -> t[] }'
  45         reference: __pet_ref_2
  46         read: 0
  47         write: 1
  48       - type: int
  49         value: 0
  50   arguments:
  51   - type: access
  52     index: '{ S_1[] -> __pet_test_0[] }'
  53     reference: __pet_ref_1
  54     read: 1
  55     write: 0
  56 - line: 10
  57   domain: '{ [S_2[] -> [__pet_test_0 = 0]] }'
  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
  77 - line: -1
  78   domain: '{ S_3[] }'
  79   body:
  80     type: expression
  81     expr:
  82       type: op
  83       operation: kill
  84       arguments:
  85       - type: access
  86         killed: '{ S_3[] -> t[] }'
  87         index: '{ S_3[] -> t[] }'
  88         reference: __pet_ref_5
  89         kill: 1