tests/inline6.scop

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