tests/loop5.scop

   1 start: 34
   2 end: 110
   3 indent: "\t"
   4 context: '[n, m] -> {  : -2147483648 <= n <= 2147483646 and -2147483648 <= m <= 2147483645
   5   }'
   6 schedule: '{ domain: "[n, m] -> { S_1[]; S_0[i] : n <= i <= m }", child: { sequence:
   7   [ { filter: "[n, m] -> { S_0[i] }", child: { schedule: "[n, m] -> L_0[{ S_0[i] ->
   8   [(i)] }]" } }, { filter: "[n, m] -> { S_1[] }" } ] } }'
   9 arrays:
  10 - context: '{  :  }'
  11   extent: '[n, m] -> { a[] }'
  12   element_type: int
  13   element_size: 4
  14 statements:
  15 - line: 7
  16   domain: '[n, m] -> { S_0[i] : n <= i <= m }'
  17   body:
  18     type: expression
  19     expr:
  20       type: op
  21       operation: =
  22       arguments:
  23       - type: access
  24         index: '[n, m] -> { S_0[i] -> a[] }'
  25         reference: __pet_ref_0
  26         read: 0
  27         write: 1
  28       - type: int
  29         value: 5
  30 - line: -1
  31   domain: '[n, m] -> { S_1[] }'
  32   body:
  33     type: expression
  34     expr:
  35       type: op
  36       operation: kill
  37       arguments:
  38       - type: access
  39         killed: '[n, m] -> { S_1[] -> a[] }'
  40         index: '[n, m] -> { S_1[] -> a[] }'
  41         reference: __pet_ref_1
  42         kill: 1