tests/inline6.scop

   1 start: 142
   2 end: 244
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_3[i] : 0 <= i <= 9; S_5[i] : 0 <= i <= 9; S_6[i] : 0 <=
   6   i <= 9; S_9[i] : 0 <= i <= 9; S_8[i] : 0 <= i <= 9; S_14[i] : 0 <= i <= 9; S_13[i]
   7   : 0 <= i <= 9; S_2[i] : 0 <= i <= 9; S_15[]; S_7[i] : 0 <= i <= 9; S_4[i] : 0 <=
   8   i <= 9; S_11[i] : 0 <= i <= 9; S_12[i] : 0 <= i <= 9; S_10[i] : 0 <= i <= 9; S_0[i]
   9   : 0 <= i <= 9; S_1[i] : 0 <= i <= 9 }", child: { sequence: [ { filter: "{ S_3[i];
  10   S_5[i]; S_6[i]; S_9[i]; S_8[i]; S_14[i]; S_13[i]; S_2[i]; S_7[i]; S_4[i]; S_11[i];
  11   S_12[i]; S_10[i]; S_0[i]; S_1[i] }", child: { schedule: "L_0[{ S_3[i] -> [(i)];
  12   S_5[i] -> [(i)]; S_6[i] -> [(i)]; S_9[i] -> [(i)]; S_8[i] -> [(i)]; S_14[i] -> [(i)];
  13   S_13[i] -> [(i)]; S_2[i] -> [(i)]; S_7[i] -> [(i)]; S_4[i] -> [(i)]; S_11[i] ->
  14   [(i)]; S_12[i] -> [(i)]; S_10[i] -> [(i)]; S_0[i] -> [(i)]; S_1[i] -> [(i)] }]",
  15   child: { sequence: [ { filter: "{ S_0[i] }" }, { filter: "{ S_1[i] }" }, { filter:
  16   "{ S_2[i] }" }, { filter: "{ S_4[i] }" }, { filter: "{ S_5[i] }" }, { filter: "{
  17   S_7[i] }" }, { filter: "{ S_6[i] }" }, { filter: "{ S_3[i] }" }, { filter: "{ S_8[i]
  18   }" }, { filter: "{ S_9[i] }" }, { filter: "{ S_11[i] }" }, { filter: "{ S_12[i]
  19   }" }, { filter: "{ S_14[i] }" }, { filter: "{ S_13[i] }" }, { filter: "{ S_10[i]
  20   }" } ] } } }, { filter: "{ S_15[] }" } ] } }'
  21 arrays:
  22 - context: '{  :  }'
  23   extent: '{ __pet_arg_0[] }'
  24   element_type: int
  25   element_size: 4
  26   declared: 1
  27 - context: '{  :  }'
  28   extent: '{ t[] }'
  29   element_type: int
  30   element_size: 4
  31   declared: 1
  32 - context: '{  :  }'
  33   extent: '{ __pet_arg_1[] }'
  34   element_type: int
  35   element_size: 4
  36   declared: 1
  37 - context: '{  :  }'
  38   extent: '{ t_0[] }'
  39   element_type: int
  40   element_size: 4
  41   declared: 1
  42 - context: '{  :  }'
  43   extent: '{ a[i0] : 0 <= i0 <= 9 }'
  44   element_type: int
  45   element_size: 4
  46 - context: '{  :  }'
  47   extent: '{ i[] }'
  48   element_type: int
  49   element_size: 4
  50 statements:
  51 - line: 20
  52   domain: '{ S_0[i] : 0 <= i <= 9 }'
  53   body:
  54     type: expression
  55     expr:
  56       type: op
  57       operation: =
  58       arguments:
  59       - type: access
  60         index: '{ S_0[i] -> a[(i)] }'
  61         reference: __pet_ref_0
  62         read: 0
  63         write: 1
  64       - type: int
  65         value: 0
  66 - line: -1
  67   domain: '{ S_1[i] : 0 <= i <= 9 }'
  68   body:
  69     type: expression
  70     expr:
  71       type: op
  72       operation: kill
  73       arguments:
  74       - type: access
  75         killed: '{ S_1[i] -> __pet_arg_0[] }'
  76         index: '{ S_1[i] -> __pet_arg_0[] }'
  77         reference: __pet_ref_1
  78         kill: 1
  79 - line: -1
  80   domain: '{ S_2[i] : 0 <= i <= 9 }'
  81   body:
  82     type: expression
  83     expr:
  84       type: op
  85       operation: =
  86       arguments:
  87       - type: access
  88         index: '{ S_2[i] -> __pet_arg_0[] }'
  89         reference: __pet_ref_2
  90         read: 0
  91         write: 1
  92       - type: access
  93         index: '{ S_2[i] -> [(i)] }'
  94         reference: __pet_ref_3
  95         read: 1
  96         write: 0
  97 - line: 3
  98   domain: '{ S_4[i] : 0 <= i <= 9 }'
  99   body:
 100     type: expression
 101     expr:
 102       type: op
 103       operation: kill
 104       arguments:
 105       - type: access
 106         killed: '{ S_4[i] -> t[] }'
 107         index: '{ S_4[i] -> t[] }'
 108         reference: __pet_ref_4
 109         kill: 1
 110 - line: 3
 111   domain: '{ S_5[i] : 0 <= i <= 9 }'
 112   body:
 113     type: expression
 114     expr:
 115       type: op
 116       operation: =
 117       arguments:
 118       - type: access
 119         index: '{ S_5[i] -> t[] }'
 120         reference: __pet_ref_5
 121         read: 0
 122         write: 1
 123       - type: int
 124         value: 2
 125 - line: 4
 126   domain: '{ S_7[i] : 0 <= i <= 9 }'
 127   body:
 128     type: expression
 129     expr:
 130       type: op
 131       operation: +=
 132       arguments:
 133       - type: access
 134         index: '{ S_7[i] -> a[(i)] }'
 135         reference: __pet_ref_6
 136         read: 1
 137         write: 1
 138       - type: access
 139         index: '{ S_7[i] -> [(2)] }'
 140         reference: __pet_ref_7
 141         read: 1
 142         write: 0
 143 - line: 3
 144   domain: '{ S_6[i] : 0 <= i <= 9 }'
 145   body:
 146     type: expression
 147     expr:
 148       type: op
 149       operation: kill
 150       arguments:
 151       - type: access
 152         killed: '{ S_6[i] -> t[] }'
 153         index: '{ S_6[i] -> t[] }'
 154         reference: __pet_ref_8
 155         kill: 1
 156 - line: -1
 157   domain: '{ S_3[i] : 0 <= i <= 9 }'
 158   body:
 159     type: expression
 160     expr:
 161       type: op
 162       operation: kill
 163       arguments:
 164       - type: access
 165         killed: '{ S_3[i] -> __pet_arg_0[] }'
 166         index: '{ S_3[i] -> __pet_arg_0[] }'
 167         reference: __pet_ref_9
 168         kill: 1
 169 - line: -1
 170   domain: '{ S_8[i] : 0 <= i <= 9 }'
 171   body:
 172     type: expression
 173     expr:
 174       type: op
 175       operation: kill
 176       arguments:
 177       - type: access
 178         killed: '{ S_8[i] -> __pet_arg_1[] }'
 179         index: '{ S_8[i] -> __pet_arg_1[] }'
 180         reference: __pet_ref_10
 181         kill: 1
 182 - line: -1
 183   domain: '{ S_9[i] : 0 <= i <= 9 }'
 184   body:
 185     type: expression
 186     expr:
 187       type: op
 188       operation: =
 189       arguments:
 190       - type: access
 191         index: '{ S_9[i] -> __pet_arg_1[] }'
 192         reference: __pet_ref_11
 193         read: 0
 194         write: 1
 195       - type: access
 196         index: '{ S_9[i] -> [(i)] }'
 197         reference: __pet_ref_12
 198         read: 1
 199         write: 0
 200 - line: 9
 201   domain: '{ S_11[i] : 0 <= i <= 9 }'
 202   body:
 203     type: expression
 204     expr:
 205       type: op
 206       operation: kill
 207       arguments:
 208       - type: access
 209         killed: '{ S_11[i] -> t_0[] }'
 210         index: '{ S_11[i] -> t_0[] }'
 211         reference: __pet_ref_13
 212         kill: 1
 213 - line: 9
 214   domain: '{ S_12[i] : 0 <= i <= 9 }'
 215   body:
 216     type: expression
 217     expr:
 218       type: op
 219       operation: =
 220       arguments:
 221       - type: access
 222         index: '{ S_12[i] -> t_0[] }'
 223         reference: __pet_ref_14
 224         read: 0
 225         write: 1
 226       - type: int
 227         value: 3
 228 - line: 10
 229   domain: '{ S_14[i] : 0 <= i <= 9 }'
 230   body:
 231     type: expression
 232     expr:
 233       type: op
 234       operation: +=
 235       arguments:
 236       - type: access
 237         index: '{ S_14[i] -> a[(i)] }'
 238         reference: __pet_ref_15
 239         read: 1
 240         write: 1
 241       - type: access
 242         index: '{ S_14[i] -> [(3)] }'
 243         reference: __pet_ref_16
 244         read: 1
 245         write: 0
 246 - line: 9
 247   domain: '{ S_13[i] : 0 <= i <= 9 }'
 248   body:
 249     type: expression
 250     expr:
 251       type: op
 252       operation: kill
 253       arguments:
 254       - type: access
 255         killed: '{ S_13[i] -> t_0[] }'
 256         index: '{ S_13[i] -> t_0[] }'
 257         reference: __pet_ref_17
 258         kill: 1
 259 - line: -1
 260   domain: '{ S_10[i] : 0 <= i <= 9 }'
 261   body:
 262     type: expression
 263     expr:
 264       type: op
 265       operation: kill
 266       arguments:
 267       - type: access
 268         killed: '{ S_10[i] -> __pet_arg_1[] }'
 269         index: '{ S_10[i] -> __pet_arg_1[] }'
 270         reference: __pet_ref_18
 271         kill: 1
 272 - line: -1
 273   domain: '{ S_15[] }'
 274   body:
 275     type: expression
 276     expr:
 277       type: op
 278       operation: kill
 279       arguments:
 280       - type: access
 281         killed: '{ S_15[] -> i[] }'
 282         index: '{ S_15[] -> i[] }'
 283         reference: __pet_ref_19
 284         kill: 1