tests/inline6.scop

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