tests/empty_domain.scop

   1 start: 38
   2 end: 114
   3 indent: "\t"
   4 context: '[N] -> {  : N >= 0 and N <= 2147483647 }'
   5 schedule: '{ domain: "[N] -> { S_1[]; S_2[] }", child: { sequence: [ { filter: "[N]
   6   -> {  }" }, { filter: "[N] -> { S_1[]; S_2[] }", child: { set: [ { filter: "{ S_1[]
   7   }" }, { filter: "{ S_2[] }" } ] } } ] } }'
   8 arrays:
   9 - context: '[N] -> {  : N >= 0 }'
  10   extent: '[N] -> { a[i0] : i0 >= 0 and i0 <= -1 + N }'
  11   element_type: int
  12   element_size: 4
  13 - context: '{  :  }'
  14   extent: '[N] -> { i[] }'
  15   element_type: int
  16   element_size: 4
  17 statements:
  18 - line: 9
  19   domain: '[N] -> { S_0[i] : 1 = 0 }'
  20   body:
  21     type: expression
  22     expr:
  23       type: op
  24       operation: =
  25       arguments:
  26       - type: access
  27         index: '[N] -> { S_0[i] -> a[(0 : 1 = 0)] }'
  28         reference: __pet_ref_0
  29         read: 0
  30         write: 1
  31       - type: access
  32         index: '[N] -> { S_0[i] -> [(0 : 1 = 0)] }'
  33         reference: __pet_ref_1
  34         read: 1
  35         write: 0
  36 - line: -1
  37   domain: '[N] -> { S_1[] }'
  38   body:
  39     type: expression
  40     expr:
  41       type: op
  42       operation: kill
  43       arguments:
  44       - type: access
  45         killed: '[N] -> { S_1[] -> i[] }'
  46         index: '[N] -> { S_1[] -> i[] }'
  47         reference: __pet_ref_2
  48         kill: 1
  49 - line: -1
  50   domain: '[N] -> { S_2[] }'
  51   body:
  52     type: expression
  53     expr:
  54       type: op
  55       operation: kill
  56       arguments:
  57       - type: access
  58         killed: '[N] -> { S_2[] -> a[o0] : o0 >= 0 and o0 <= -1 + N }'
  59         index: '[N] -> { S_2[] -> a[] }'
  60         depth: 1
  61         reference: __pet_ref_3
  62         kill: 1