tests/break7.scop

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