tests/autodetect/empty2.scop

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