tests/inline5.scop

   1 start: 113
   2 end: 193
   3 indent: "\t"
   4 context: '[m, n] -> {  : m >= 0 and n <= 2147483647 and n >= -2147483648 and m <=
   5   2147483647 }'
   6 schedule: '{ domain: "[m, n] -> { S_4[i] : i >= 0 and i <= -1 + n; S_2[i] : i >= 0
   7   and i <= -1 + n; S_9[i, i''] : i'' <= -3 + m and i >= 0 and i <= -1 + n and i''
   8   >= 0; S_7[i] : i >= 0 and i <= -1 + n; S_6[i] : i >= 0 and i <= -1 + n; S_0[i] :
   9   i >= 0 and i <= -1 + n; S_3[i] : i >= 0 and i <= -1 + n; S_1[i] : i >= 0 and i <=
  10   -1 + n; S_8[i] : i >= 0 and i <= -1 + n; S_5[i] : i >= 0 and i <= -1 + n }", child:
  11   { schedule: "[n, m] -> L_0[{ S_3[i] -> [(i)]; S_9[i, i''] -> [(i)]; S_1[i] -> [(i)];
  12   S_5[i] -> [(i)]; S_4[i] -> [(i)]; S_2[i] -> [(i)]; S_8[i] -> [(i)]; S_6[i] -> [(i)];
  13   S_7[i] -> [(i)]; S_0[i] -> [(i)] }]", child: { sequence: [ { filter: "[n, m] ->
  14   { S_0[i] }" }, { filter: "[n, m] -> { S_1[i] }" }, { filter: "[n, m] -> { S_3[i]
  15   }" }, { filter: "[n, m] -> { S_4[i] }" }, { filter: "[n, m] -> { S_6[i] }" }, {
  16   filter: "[n, m] -> { S_7[i] }" }, { filter: "[n, m] -> { S_9[i, i''] }", child:
  17   { schedule: "[n, m] -> L_1[{ S_9[i, i''] -> [(i'')] }]" } }, { filter: "[n, m] ->
  18   { S_5[i]; S_2[i]; S_8[i] }", child: { set: [ { filter: "[n] -> { S_2[i] }" }, {
  19   filter: "[n] -> { S_5[i] }" }, { filter: "[n] -> { S_8[i] }" } ] } } ] } } }'
  20 arrays:
  21 - context: '{  :  }'
  22   extent: '[m, n] -> { n_0[] }'
  23   element_type: int
  24   element_size: 4
  25   declared: 1
  26 - context: '{  :  }'
  27   extent: '[m, n] -> { __pet_arg_0[] }'
  28   element_type: int
  29   element_size: 4
  30   declared: 1
  31 - context: '{  :  }'
  32   extent: '[m, n] -> { __pet_arg_1[] }'
  33   element_type: int
  34   element_size: 4
  35   declared: 1
  36 - context: '[m] -> {  : m >= 0 }'
  37   extent: '[m, n] -> { a[i0, i1] : i0 >= 0 and i1 >= 0 and i1 <= -1 + m }'
  38   element_type: int
  39   element_size: 4
  40 statements:
  41 - line: -1
  42   domain: '[m, n] -> { S_0[i] : i >= 0 and i <= -1 + n }'
  43   body:
  44     type: expression
  45     expr:
  46       type: op
  47       operation: kill
  48       arguments:
  49       - type: access
  50         killed: '[m, n] -> { S_0[i] -> n_0[] }'
  51         index: '[m, n] -> { S_0[i] -> n_0[] }'
  52         reference: __pet_ref_0
  53         kill: 1
  54 - line: -1
  55   domain: '[m, n] -> { S_1[i] : i >= 0 and i <= -1 + n }'
  56   body:
  57     type: expression
  58     expr:
  59       type: op
  60       operation: =
  61       arguments:
  62       - type: access
  63         index: '[m, n] -> { S_1[i] -> n_0[] }'
  64         reference: __pet_ref_1
  65         read: 0
  66         write: 1
  67       - type: op
  68         operation: '-'
  69         arguments:
  70         - type: access
  71           index: '[m, n] -> { S_1[i] -> [(m)] }'
  72           reference: __pet_ref_2
  73           read: 1
  74           write: 0
  75         - type: int
  76           value: 2
  77 - line: -1
  78   domain: '[m, n] -> { S_3[i] : i >= 0 and i <= -1 + n }'
  79   body:
  80     type: expression
  81     expr:
  82       type: op
  83       operation: kill
  84       arguments:
  85       - type: access
  86         killed: '[m, n] -> { S_3[i] -> __pet_arg_0[] }'
  87         index: '[m, n] -> { S_3[i] -> __pet_arg_0[] }'
  88         reference: __pet_ref_3
  89         kill: 1
  90 - line: -1
  91   domain: '[m, n] -> { S_4[i] : i >= 0 and i <= -1 + n }'
  92   body:
  93     type: expression
  94     expr:
  95       type: op
  96       operation: =
  97       arguments:
  98       - type: access
  99         index: '[m, n] -> { S_4[i] -> __pet_arg_0[] }'
 100         reference: __pet_ref_4
 101         read: 0
 102         write: 1
 103       - type: access
 104         index: '[m, n] -> { S_4[i] -> [(i)] }'
 105         reference: __pet_ref_5
 106         read: 1
 107         write: 0
 108 - line: -1
 109   domain: '[m, n] -> { S_6[i] : i >= 0 and i <= -1 + n }'
 110   body:
 111     type: expression
 112     expr:
 113       type: op
 114       operation: kill
 115       arguments:
 116       - type: access
 117         killed: '[m, n] -> { S_6[i] -> __pet_arg_1[] }'
 118         index: '[m, n] -> { S_6[i] -> __pet_arg_1[] }'
 119         reference: __pet_ref_6
 120         kill: 1
 121 - line: -1
 122   domain: '[m, n] -> { S_7[i] : i >= 0 and i <= -1 + n }'
 123   body:
 124     type: expression
 125     expr:
 126       type: op
 127       operation: =
 128       arguments:
 129       - type: access
 130         index: '[m, n] -> { S_7[i] -> __pet_arg_1[] }'
 131         reference: __pet_ref_7
 132         read: 0
 133         write: 1
 134       - type: int
 135         value: 1
 136 - line: 4
 137   domain: '[m, n] -> { S_9[i, i''] : i'' <= -3 + m and i >= 0 and i <= -1 + n and
 138     i'' >= 0 }'
 139   body:
 140     type: expression
 141     expr:
 142       type: op
 143       operation: =
 144       arguments:
 145       - type: access
 146         index: '[m, n] -> { S_9[i, i''] -> a[(i), (1 + i'')] }'
 147         reference: __pet_ref_8
 148         read: 0
 149         write: 1
 150       - type: int
 151         value: 0
 152 - line: -1
 153   domain: '[m, n] -> { S_2[i] : i >= 0 and i <= -1 + n }'
 154   body:
 155     type: expression
 156     expr:
 157       type: op
 158       operation: kill
 159       arguments:
 160       - type: access
 161         killed: '[m, n] -> { S_2[i] -> n_0[] }'
 162         index: '[m, n] -> { S_2[i] -> n_0[] }'
 163         reference: __pet_ref_9
 164         kill: 1
 165 - line: -1
 166   domain: '[m, n] -> { S_5[i] : i >= 0 and i <= -1 + n }'
 167   body:
 168     type: expression
 169     expr:
 170       type: op
 171       operation: kill
 172       arguments:
 173       - type: access
 174         killed: '[m, n] -> { S_5[i] -> __pet_arg_0[] }'
 175         index: '[m, n] -> { S_5[i] -> __pet_arg_0[] }'
 176         reference: __pet_ref_10
 177         kill: 1
 178 - line: -1
 179   domain: '[m, n] -> { S_8[i] : i >= 0 and i <= -1 + n }'
 180   body:
 181     type: expression
 182     expr:
 183       type: op
 184       operation: kill
 185       arguments:
 186       - type: access
 187         killed: '[m, n] -> { S_8[i] -> __pet_arg_1[] }'
 188         index: '[m, n] -> { S_8[i] -> __pet_arg_1[] }'
 189         reference: __pet_ref_11
 190         kill: 1