tests/inf3.scop

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