tests/break7.scop

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