tests/continue4.scop

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