tests/autodetect/empty2.scop

   1 start: 31
   2 end: 83
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[]; S_5[i] : 0 <= i <= 9; S_0[]; S_6[i] : 0 <= i <= 9;
   6   S_4[]; S_1[]; S_2[] }", child: { sequence: [ { filter: "{ S_0[] }" }, { filter:
   7   "{ S_2[] }" }, { filter: "{ S_4[] }" }, { filter: "{ S_5[i]; S_6[i] }", child: {
   8   schedule: "L_0[{ S_6[i] -> [(i)]; S_5[i] -> [(i)] }]", child: { sequence: [ { filter:
   9   "{ S_5[i] }" }, { filter: "{ S_6[i] }" } ] } } }, { filter: "{ S_3[]; S_1[] }",
  10   child: { set: [ { filter: "{ S_1[] }" }, { filter: "{ S_3[] }" } ] } } ] } }'
  11 arrays:
  12 - context: '{  :  }'
  13   extent: '{ i[] }'
  14   element_type: int
  15   element_size: 4
  16   declared: 1
  17 - context: '{  :  }'
  18   extent: '{ a[] }'
  19   element_type: int
  20   element_size: 4
  21   declared: 1
  22 statements:
  23 - line: 7
  24   domain: '{ S_0[] }'
  25   body:
  26     type: expression
  27     expr:
  28       type: op
  29       operation: kill
  30       arguments:
  31       - type: access
  32         killed: '{ S_0[] -> i[] }'
  33         index: '{ S_0[] -> i[] }'
  34         reference: __pet_ref_0
  35         kill: 1
  36 - line: 8
  37   domain: '{ S_2[] }'
  38   body:
  39     type: expression
  40     expr:
  41       type: op
  42       operation: kill
  43       arguments:
  44       - type: access
  45         killed: '{ S_2[] -> a[] }'
  46         index: '{ S_2[] -> a[] }'
  47         reference: __pet_ref_1
  48         kill: 1
  49 - line: 10
  50   domain: '{ S_4[] }'
  51   body:
  52     type: expression
  53     expr:
  54       type: op
  55       operation: =
  56       arguments:
  57       - type: access
  58         index: '{ S_4[] -> i[] }'
  59         reference: __pet_ref_2
  60         read: 0
  61         write: 1
  62       - type: int
  63         value: 0
  64 - line: 11
  65   domain: '{ S_5[i] : 0 <= i <= 9 }'
  66   body:
  67     type: expression
  68     expr:
  69       type: op
  70       operation: =
  71       arguments:
  72       - type: access
  73         index: '{ S_5[i] -> a[] }'
  74         reference: __pet_ref_3
  75         read: 0
  76         write: 1
  77       - type: int
  78         value: 5
  79 - line: 10
  80   domain: '{ S_6[i] : 0 <= i <= 9 }'
  81   body:
  82     type: expression
  83     expr:
  84       type: op
  85       operation: =
  86       arguments:
  87       - type: access
  88         index: '{ S_6[i] -> i[] }'
  89         reference: __pet_ref_4
  90         read: 0
  91         write: 1
  92       - type: access
  93         index: '{ S_6[i] -> [(1 + i)] }'
  94         reference: __pet_ref_5
  95         read: 1
  96         write: 0
  97 - line: 7
  98   domain: '{ S_1[] }'
  99   body:
 100     type: expression
 101     expr:
 102       type: op
 103       operation: kill
 104       arguments:
 105       - type: access
 106         killed: '{ S_1[] -> i[] }'
 107         index: '{ S_1[] -> i[] }'
 108         reference: __pet_ref_6
 109         kill: 1
 110 - line: 8
 111   domain: '{ S_3[] }'
 112   body:
 113     type: expression
 114     expr:
 115       type: op
 116       operation: kill
 117       arguments:
 118       - type: access
 119         killed: '{ S_3[] -> a[] }'
 120         index: '{ S_3[] -> a[] }'
 121         reference: __pet_ref_7
 122         kill: 1