tests/inline4.scop

   1 start: 113
   2 end: 185
   3 indent: "\t"
   4 context: '[m, n] -> {  : 0 <= m <= 2147483647 and -2147483648 <= n <= 2147483647 }'
   5 schedule: '{ domain: "[m, n] -> { S_4[i] : 0 <= i < n; S_2[i] : 0 <= i < n; S_6[i,
   6   i''] : 0 <= i < n and 0 <= i'' < m; S_0[i] : 0 <= i < n; S_3[i] : 0 <= i < n; S_1[i]
   7   : 0 <= i < n; S_5[i] : 0 <= i < n }", child: { schedule: "[n, m] -> L_0[{ S_3[i]
   8   -> [(i)]; S_6[i, i''] -> [(i)]; S_1[i] -> [(i)]; S_5[i] -> [(i)]; S_4[i] -> [(i)];
   9   S_2[i] -> [(i)]; S_0[i] -> [(i)] }]", child: { sequence: [ { filter: "[n, m] ->
  10   { S_0[i] }" }, { filter: "[n, m] -> { S_1[i] }" }, { filter: "[n, m] -> { S_3[i]
  11   }" }, { filter: "[n, m] -> { S_4[i] }" }, { filter: "[n, m] -> { S_6[i, i''] }",
  12   child: { schedule: "[n, m] -> L_1[{ S_6[i, i''] -> [(i'')] }]" } }, { filter: "[n,
  13   m] -> { S_5[i]; S_2[i] }", child: { set: [ { filter: "[n] -> { S_2[i] }" }, { filter:
  14   "[n] -> { S_5[i] }" } ] } } ] } } }'
  15 arrays:
  16 - context: '{  :  }'
  17   extent: '[m, n] -> { n_0[] }'
  18   element_type: int
  19   element_size: 4
  20   declared: 1
  21 - context: '{  :  }'
  22   extent: '[m, n] -> { __pet_arg_0[] }'
  23   element_type: int
  24   element_size: 4
  25   declared: 1
  26 - context: '[m] -> {  : m >= 0 }'
  27   extent: '[m, n] -> { a[i0, i1] : i0 >= 0 and 0 <= i1 < m }'
  28   element_type: int
  29   element_size: 4
  30 statements:
  31 - line: -1
  32   domain: '[m, n] -> { S_0[i] : 0 <= i < n }'
  33   body:
  34     type: expression
  35     expr:
  36       type: op
  37       operation: kill
  38       arguments:
  39       - type: access
  40         killed: '[m, n] -> { S_0[i] -> n_0[] }'
  41         index: '[m, n] -> { S_0[i] -> n_0[] }'
  42         reference: __pet_ref_0
  43         kill: 1
  44 - line: -1
  45   domain: '[m, n] -> { S_1[i] : 0 <= i < n }'
  46   body:
  47     type: expression
  48     expr:
  49       type: op
  50       operation: =
  51       arguments:
  52       - type: access
  53         index: '[m, n] -> { S_1[i] -> n_0[] }'
  54         reference: __pet_ref_1
  55         read: 0
  56         write: 1
  57       - type: access
  58         index: '[m, n] -> { S_1[i] -> [(m)] }'
  59         reference: __pet_ref_2
  60         read: 1
  61         write: 0
  62 - line: -1
  63   domain: '[m, n] -> { S_3[i] : 0 <= i < n }'
  64   body:
  65     type: expression
  66     expr:
  67       type: op
  68       operation: kill
  69       arguments:
  70       - type: access
  71         killed: '[m, n] -> { S_3[i] -> __pet_arg_0[] }'
  72         index: '[m, n] -> { S_3[i] -> __pet_arg_0[] }'
  73         reference: __pet_ref_3
  74         kill: 1
  75 - line: -1
  76   domain: '[m, n] -> { S_4[i] : 0 <= i < n }'
  77   body:
  78     type: expression
  79     expr:
  80       type: op
  81       operation: =
  82       arguments:
  83       - type: access
  84         index: '[m, n] -> { S_4[i] -> __pet_arg_0[] }'
  85         reference: __pet_ref_4
  86         read: 0
  87         write: 1
  88       - type: access
  89         index: '[m, n] -> { S_4[i] -> [(i)] }'
  90         reference: __pet_ref_5
  91         read: 1
  92         write: 0
  93 - line: 4
  94   domain: '[m, n] -> { S_6[i, i''] : 0 <= i < n and 0 <= i'' < m }'
  95   body:
  96     type: expression
  97     expr:
  98       type: op
  99       operation: =
 100       arguments:
 101       - type: access
 102         index: '[m, n] -> { S_6[i, i''] -> a[(i), (i'')] }'
 103         reference: __pet_ref_6
 104         read: 0
 105         write: 1
 106       - type: int
 107         value: 0
 108 - line: -1
 109   domain: '[m, n] -> { S_2[i] : 0 <= i < n }'
 110   body:
 111     type: expression
 112     expr:
 113       type: op
 114       operation: kill
 115       arguments:
 116       - type: access
 117         killed: '[m, n] -> { S_2[i] -> n_0[] }'
 118         index: '[m, n] -> { S_2[i] -> n_0[] }'
 119         reference: __pet_ref_7
 120         kill: 1
 121 - line: -1
 122   domain: '[m, n] -> { S_5[i] : 0 <= i < n }'
 123   body:
 124     type: expression
 125     expr:
 126       type: op
 127       operation: kill
 128       arguments:
 129       - type: access
 130         killed: '[m, n] -> { S_5[i] -> __pet_arg_0[] }'
 131         index: '[m, n] -> { S_5[i] -> __pet_arg_0[] }'
 132         reference: __pet_ref_8
 133         kill: 1