tests/continue2.scop

   1 context: '{  :  }'
   2 arrays:
   3 - context: '{  :  }'
   4   extent: '{ __pet_test_1[i] : i >= 0 and i <= 99 }'
   5   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
   6   element_type: int
   7   element_size: 4
   8   uniquely_defined: 1
   9 - context: '{  :  }'
  10   extent: '{ __pet_test_0[i] : i >= 0 and i <= 99 }'
  11   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  12   element_type: int
  13   element_size: 4
  14   uniquely_defined: 1
  15 - context: '{  :  }'
  16   extent: '{ __pet_test_2[i] : i >= 0 and i <= 99 }'
  17   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  18   element_type: int
  19   element_size: 4
  20   uniquely_defined: 1
  21 - context: '{  :  }'
  22   extent: '{ __pet_test_3[i] : i >= 0 and i <= 99 }'
  23   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  24   element_type: int
  25   element_size: 4
  26   uniquely_defined: 1
  27 - context: '{  :  }'
  28   extent: '{ j[] }'
  29   element_type: int
  30   element_size: 4
  31 - context: '{  :  }'
  32   extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
  33   element_type: int
  34   element_size: 4
  35 statements:
  36 - line: 10
  37   domain: '{ S_0[i] : i >= 0 and i <= 59 }'
  38   schedule: '{ S_0[i] -> [0, i, 0, 0, 0, 0] }'
  39   body:
  40     type: binary
  41     operation: =
  42     arguments:
  43     - type: access
  44       relation: '{ S_0[i] -> __pet_test_1[i] }'
  45       read: 0
  46       write: 1
  47     - type: binary
  48       operation: '>'
  49       arguments:
  50       - type: access
  51         relation: '{ S_0[i] -> a[i] }'
  52         read: 1
  53         write: 0
  54       - type: access
  55         relation: '{ S_0[i] -> [5] }'
  56         read: 1
  57         write: 0
  58 - line: 11
  59   domain: '{ [S_1[i] -> [1]] : i >= 0 and i <= 59 }'
  60   schedule: '{ S_1[i] -> [0, i, 0, 0, 0, 1, 0] }'
  61   body:
  62     type: binary
  63     operation: =
  64     arguments:
  65     - type: access
  66       relation: '{ S_1[i] -> j[] }'
  67       read: 0
  68       write: 1
  69     - type: call
  70       name: f
  71   arguments:
  72   - type: access
  73     relation: '{ S_1[i] -> __pet_test_1[i] }'
  74     read: 1
  75     write: 0
  76 - line: 12
  77   domain: '{ [S_2[i] -> [1]] : i >= 0 and i <= 59 }'
  78   schedule: '{ S_2[i] -> [0, i, 0, 0, 0, 1, 1, 0] }'
  79   body:
  80     type: binary
  81     operation: =
  82     arguments:
  83     - type: access
  84       relation: '{ S_2[i] -> __pet_test_0[i] }'
  85       read: 0
  86       write: 1
  87     - type: binary
  88       operation: ==
  89       arguments:
  90       - type: access
  91         relation: '{ S_2[i] -> j[] }'
  92         read: 1
  93         write: 0
  94       - type: access
  95         relation: '{ S_2[i] -> [0] }'
  96         read: 1
  97         write: 0
  98   arguments:
  99   - type: access
 100     relation: '{ S_2[i] -> __pet_test_1[i] }'
 101     read: 1
 102     write: 0
 103 - line: 14
 104   domain: '{ [S_3[i] -> [1, 0]] : i >= 0 and i <= 59 }'
 105   schedule: '{ S_3[i] -> [0, i, 0, 0, 0, 1, 2] }'
 106   body:
 107     type: binary
 108     operation: =
 109     arguments:
 110     - type: access
 111       relation: '{ S_3[i] -> a[i] }'
 112       read: 0
 113       write: 1
 114     - type: access
 115       relation: '{ S_3[i] -> [i] }'
 116       read: 1
 117       write: 0
 118   arguments:
 119   - type: access
 120     relation: '{ S_3[i] -> __pet_test_1[i] }'
 121     read: 1
 122     write: 0
 123   - type: access
 124     relation: '{ S_3[i] -> __pet_test_0[i] }'
 125     read: 1
 126     write: 0
 127 - line: 16
 128   domain: '{ [S_4[i] -> [0]] : i >= 0 and i <= 59 }'
 129   schedule: '{ S_4[i] -> [0, i, 0, 0, 0, 1] }'
 130   body:
 131     type: binary
 132     operation: =
 133     arguments:
 134     - type: access
 135       relation: '{ S_4[i] -> a[i] }'
 136       read: 0
 137       write: 1
 138     - type: access
 139       relation: '{ S_4[i] -> [0] }'
 140       read: 1
 141       write: 0
 142   arguments:
 143   - type: access
 144     relation: '{ S_4[i] -> __pet_test_1[i] }'
 145     read: 1
 146     write: 0
 147 - line: -1
 148   domain: '{ S_5[i] : i >= 0 and i <= 59 }'
 149   schedule: '{ S_5[i] -> [0, i, 0, 0, 0, 2] }'
 150   body:
 151     type: binary
 152     operation: =
 153     arguments:
 154     - type: access
 155       relation: '{ S_5[i] -> __pet_test_2[i] }'
 156       read: 0
 157       write: 1
 158     - type: ternary
 159       arguments:
 160       - type: access
 161         relation: '{ S_5[i] -> __pet_test_1[i] }'
 162         read: 1
 163         write: 0
 164       - type: access
 165         relation: '{ [S_5[i] -> [1]] -> __pet_test_0[i] }'
 166         read: 1
 167         write: 0
 168         arguments:
 169         - type: access
 170           relation: '{ S_5[i] -> __pet_test_1[i] }'
 171           read: 1
 172           write: 0
 173       - type: access
 174         relation: '{ S_5[i] -> [0] }'
 175         read: 1
 176         write: 0
 177 - line: 17
 178   domain: '{ [S_6[i] -> [0]] : i >= 0 and i <= 59 }'
 179   schedule: '{ S_6[i] -> [0, i, 0, 0, 1] }'
 180   body:
 181     type: binary
 182     operation: =
 183     arguments:
 184     - type: access
 185       relation: '{ S_6[i] -> j[] }'
 186       read: 0
 187       write: 1
 188     - type: call
 189       name: f
 190   arguments:
 191   - type: access
 192     relation: '{ S_6[i] -> __pet_test_2[i] }'
 193     read: 1
 194     write: 0
 195 - line: 19
 196   domain: '{ S_7[i] : i >= 60 and i <= 99 }'
 197   schedule: '{ S_7[i] -> [0, i, 0, 0] }'
 198   body:
 199     type: binary
 200     operation: =
 201     arguments:
 202     - type: access
 203       relation: '{ S_7[i] -> a[i] }'
 204       read: 0
 205       write: 1
 206     - type: access
 207       relation: '{ S_7[i] -> [i] }'
 208       read: 1
 209       write: 0
 210 - line: -1
 211   domain: '{ S_8[i] : i >= 0 and i <= 99 }'
 212   schedule: '{ S_8[i] -> [0, i, 0, 1] }'
 213   body:
 214     type: binary
 215     operation: =
 216     arguments:
 217     - type: access
 218       relation: '{ S_8[i] -> __pet_test_3[i] }'
 219       read: 0
 220       write: 1
 221     - type: ternary
 222       arguments:
 223       - type: access
 224         relation: '{ S_8[i] -> [1] : i <= 59; S_8[i] -> [0] : i >= 60 }'
 225         read: 1
 226         write: 0
 227       - type: access
 228         relation: '{ S_8[i] -> __pet_test_2[i] : i <= 59 }'
 229         read: 1
 230         write: 0
 231       - type: access
 232         relation: '{ S_8[i] -> [0] }'
 233         read: 1
 234         write: 0
 235 - line: 20
 236   domain: '{ [S_9[i] -> [0]] : i >= 0 and i <= 99 }'
 237   schedule: '{ S_9[i] -> [0, i, 1] }'
 238   body:
 239     type: binary
 240     operation: =
 241     arguments:
 242     - type: access
 243       relation: '{ S_9[i] -> j[] }'
 244       read: 0
 245       write: 1
 246     - type: call
 247       name: f
 248   arguments:
 249   - type: access
 250     relation: '{ S_9[i] -> __pet_test_3[i] }'
 251     read: 1
 252     write: 0
 253 - line: 21
 254   domain: '{ [S_10[i] -> [0]] : i >= 0 and i <= 99 }'
 255   schedule: '{ S_10[i] -> [0, i, 2] }'
 256   body:
 257     type: binary
 258     operation: =
 259     arguments:
 260     - type: access
 261       relation: '{ S_10[i] -> a[i] }'
 262       read: 0
 263       write: 1
 264     - type: binary
 265       operation: +
 266       arguments:
 267       - type: access
 268         relation: '{ S_10[i] -> a[i] }'
 269         read: 1
 270         write: 0
 271       - type: access
 272         relation: '{ S_10[i] -> [1] }'
 273         read: 1
 274         write: 0
 275   arguments:
 276   - type: access
 277     relation: '{ S_10[i] -> __pet_test_3[i] }'
 278     read: 1
 279     write: 0