tests/continue5.scop

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