tests/encapsulate/continue6.scop

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