tests/encapsulate/continue6.scop

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