tests/inline12.scop

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