tests/continue4.scop

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