tests/inf3.scop

   1 start: 31
   2 end: 104
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_0[]; S_2[t] : t >= 0; S_1[t] : t >= 0 }", child: { sequence:
   6   [ { filter: "{ S_0[] }" }, { filter: "{ S_2[t]; S_1[t] }", child: { schedule: "L_0[{
   7   S_1[t] -> [(t)]; S_2[t] -> [(t)] }]", child: { sequence: [ { filter: "{ S_1[t] }"
   8   }, { filter: "{ S_2[t] }" } ] } } } ] } }'
   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   schedule: '{ S_0[] -> [0] }'
  22   body:
  23     type: expression
  24     expr:
  25       type: op
  26       operation: =
  27       arguments:
  28       - type: access
  29         index: '{ S_0[] -> i[] }'
  30         reference: __pet_ref_0
  31         read: 0
  32         write: 1
  33       - type: int
  34         value: 5
  35 - line: 7
  36   domain: '{ S_1[t] : t >= 0 }'
  37   schedule: '{ S_1[t] -> [1, t, 0] }'
  38   body:
  39     type: expression
  40     expr:
  41       type: op
  42       operation: =
  43       arguments:
  44       - type: access
  45         index: '{ [S_1[t] -> [i1]] -> A[((i1) : i1 >= 0)] }'
  46         reference: __pet_ref_2
  47         read: 0
  48         write: 1
  49         arguments:
  50         - type: access
  51           index: '{ S_1[t] -> i[] }'
  52           reference: __pet_ref_1
  53           read: 1
  54           write: 0
  55       - type: int
  56         value: 6
  57 - line: 8
  58   domain: '{ S_2[t] : t >= 0 }'
  59   schedule: '{ S_2[t] -> [1, t, 1] }'
  60   body:
  61     type: expression
  62     expr:
  63       type: op
  64       operation: =
  65       arguments:
  66       - type: access
  67         index: '{ S_2[t] -> i[] }'
  68         reference: __pet_ref_3
  69         read: 0
  70         write: 1
  71       - type: int
  72         value: 7