tests/inline9.scop

   1 start: 298
   2 end: 380
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[i] : 0 <= i <= 9; S_5[i] : 0 <= i <= 9; S_0[]; S_6[i]
   6   : 0 <= i <= 9; S_8[i, i''] : 0 <= i <= 9 and 0 <= i'' <= 19; S_2[i] : 0 <= i <=
   7   9; S_7[i] : 0 <= i <= 9; S_4[i] : 0 <= i <= 9; S_1[] }", child: { sequence: [ {
   8   filter: "{ S_0[] }" }, { filter: "{ S_1[] }" }, { filter: "{ S_3[i]; S_5[i]; S_6[i];
   9   S_8[i, i'']; S_2[i]; S_7[i]; S_4[i] }", child: { schedule: "L_0[{ S_8[i, i''] ->
  10   [(i)]; S_6[i] -> [(i)]; S_3[i] -> [(i)]; S_4[i] -> [(i)]; S_5[i] -> [(i)]; S_2[i]
  11   -> [(i)]; S_7[i] -> [(i)] }]", child: { sequence: [ { filter: "{ S_2[i] }" }, {
  12   filter: "{ S_3[i] }" }, { filter: "{ S_5[i] }" }, { filter: "{ S_6[i] }" }, { filter:
  13   "{ S_8[i, i''] }", child: { schedule: "L_1[{ S_8[i, i''] -> [(i'')] }]" } }, { filter:
  14   "{ S_7[i] }" }, { filter: "{ S_4[i] }" } ] } } } ] } }'
  15 types:
  16 - name: s
  17   definition: "struct s {\n    int a[30][40];\n    int b[50];\n}"
  18 arrays:
  19 - context: '{  :  }'
  20   extent: '{ a[] }'
  21   element_type: int
  22   element_size: 4
  23   declared: 1
  24   exposed: 1
  25 - context: '{  :  }'
  26   extent: '{ __pet_arg_0[] }'
  27   element_type: int
  28   element_size: 4
  29   declared: 1
  30 - context: '{  :  }'
  31   extent: '{ a_0[] }'
  32   element_type: int
  33   element_size: 4
  34   declared: 1
  35 - context: '{  :  }'
  36   extent: '{ s[i0, i1] : 0 <= i0 <= 9 and 0 <= i1 <= 19 }'
  37   element_type: struct s
  38   element_size: 5000
  39   element_is_record: 1
  40 - context: '{  :  }'
  41   extent: '{ s_a[s[i0, i1] -> a[i2, i3]] : 0 <= i0 <= 9 and 0 <= i1 <= 19 and 0 <=
  42     i2 <= 29 and 0 <= i3 <= 39 }'
  43   element_type: int
  44   element_size: 4
  45 - context: '{  :  }'
  46   extent: '{ s_b[s[i0, i1] -> b[i2]] : 0 <= i0 <= 9 and 0 <= i1 <= 19 and 0 <= i2
  47     <= 49 }'
  48   element_type: int
  49   element_size: 4
  50 statements:
  51 - line: 26
  52   domain: '{ S_0[] }'
  53   body:
  54     type: expression
  55     expr:
  56       type: op
  57       operation: kill
  58       arguments:
  59       - type: access
  60         killed: '{ S_0[] -> a[] }'
  61         index: '{ S_0[] -> a[] }'
  62         reference: __pet_ref_0
  63         kill: 1
  64 - line: 26
  65   domain: '{ S_1[] }'
  66   body:
  67     type: expression
  68     expr:
  69       type: op
  70       operation: =
  71       arguments:
  72       - type: access
  73         index: '{ S_1[] -> a[] }'
  74         reference: __pet_ref_1
  75         read: 0
  76         write: 1
  77       - type: int
  78         value: 1
  79 - line: -1
  80   domain: '{ S_2[i] : 0 <= i <= 9 }'
  81   body:
  82     type: expression
  83     expr:
  84       type: op
  85       operation: kill
  86       arguments:
  87       - type: access
  88         killed: '{ S_2[i] -> __pet_arg_0[] }'
  89         index: '{ S_2[i] -> __pet_arg_0[] }'
  90         reference: __pet_ref_2
  91         kill: 1
  92 - line: -1
  93   domain: '{ S_3[i] : 0 <= i <= 9 }'
  94   body:
  95     type: expression
  96     expr:
  97       type: op
  98       operation: =
  99       arguments:
 100       - type: access
 101         index: '{ S_3[i] -> __pet_arg_0[] }'
 102         reference: __pet_ref_3
 103         read: 0
 104         write: 1
 105       - type: access
 106         index: '{ S_3[i] -> [(i)] }'
 107         reference: __pet_ref_4
 108         read: 1
 109         write: 0
 110 - line: 16
 111   domain: '{ S_5[i] : 0 <= i <= 9 }'
 112   body:
 113     type: expression
 114     expr:
 115       type: op
 116       operation: kill
 117       arguments:
 118       - type: access
 119         killed: '{ S_5[i] -> a_0[] }'
 120         index: '{ S_5[i] -> a_0[] }'
 121         reference: __pet_ref_5
 122         kill: 1
 123 - line: 16
 124   domain: '{ S_6[i] : 0 <= i <= 9 }'
 125   body:
 126     type: expression
 127     expr:
 128       type: op
 129       operation: =
 130       arguments:
 131       - type: access
 132         index: '{ S_6[i] -> a_0[] }'
 133         reference: __pet_ref_6
 134         read: 0
 135         write: 1
 136       - type: int
 137         value: 0
 138 - line: 18
 139   domain: '{ S_8[i, i''] : 0 <= i <= 9 and 0 <= i'' <= 19 }'
 140   body:
 141     type: expression
 142     expr:
 143       type: call
 144       name: g
 145       arguments:
 146       - type: op
 147         operation: '&'
 148         arguments:
 149         - type: access
 150           may_write: '{ S_8[i, i''] -> s_a[s[i, i''] -> a[o2, o3]] : 10 <= o2 <= 19
 151             and 20 <= o3 <= 29; S_8[i, i''] -> s_b[s[i, i''] -> b[5]] }'
 152           must_write: '{ S_8[i, i''] -> s_a[s[i, i''] -> a[o2, o3]] : 10 <= o2 <=
 153             19 and 20 <= o3 <= 29; S_8[i, i''] -> s_b[s[i, i''] -> b[5]] }'
 154           index: '{ S_8[i, i''] -> s[(i), (i'')] }'
 155           reference: __pet_ref_7
 156           read: 0
 157           write: 1
 158 - line: 16
 159   domain: '{ S_7[i] : 0 <= i <= 9 }'
 160   body:
 161     type: expression
 162     expr:
 163       type: op
 164       operation: kill
 165       arguments:
 166       - type: access
 167         killed: '{ S_7[i] -> a_0[] }'
 168         index: '{ S_7[i] -> a_0[] }'
 169         reference: __pet_ref_8
 170         kill: 1
 171 - line: -1
 172   domain: '{ S_4[i] : 0 <= i <= 9 }'
 173   body:
 174     type: expression
 175     expr:
 176       type: op
 177       operation: kill
 178       arguments:
 179       - type: access
 180         killed: '{ S_4[i] -> __pet_arg_0[] }'
 181         index: '{ S_4[i] -> __pet_arg_0[] }'
 182         reference: __pet_ref_9
 183         kill: 1