tests/inf4.scop

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