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