tests/break5.scop

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