tests/loop5.scop

   1 start: 34
   2 end: 110
   3 indent: "\t"
   4 context: '[n, m] -> {  : m <= 2147483645 and m >= -2147483648 and n <= 2147483646
   5   and n >= -2147483648 }'
   6 schedule: '{ domain: "[n, m] -> { S_0[i] : n >= -2147483649 and m <= 2147483646 and
   7   i >= n and i <= m }", child: { schedule: "[n, m] -> L_0[{ S_0[i] -> [(i)] }]" }
   8   }'
   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] : i >= n and 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