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       read: 0
  36       write: 1
  37     - type: call
  38       name: f
  39 - line: 10
  40   domain: '{ S_1[i] : i >= 0 and i <= 99 }'
  41   schedule: '{ S_1[i] -> [0, i, 1, 0] }'
  42   body:
  43     type: binary
  44     operation: =
  45     arguments:
  46     - type: access
  47       relation: '{ S_1[i] -> __pet_test_0[i] }'
  48       read: 0
  49       write: 1
  50     - type: binary
  51       operation: ==
  52       arguments:
  53       - type: access
  54         relation: '{ S_1[i] -> j[] }'
  55         read: 1
  56         write: 0
  57       - type: access
  58         relation: '{ S_1[i] -> [0] }'
  59         read: 1
  60         write: 0
  61 - line: 12
  62   domain: '{ [S_2[i] -> [0]] : i >= 0 and i <= 99 }'
  63   schedule: '{ S_2[i] -> [0, i, 2] }'
  64   body:
  65     type: binary
  66     operation: =
  67     arguments:
  68     - type: access
  69       relation: '{ S_2[i] -> a[i] }'
  70       read: 0
  71       write: 1
  72     - type: access
  73       relation: '{ S_2[i] -> [i] }'
  74       read: 1
  75       write: 0
  76   arguments:
  77   - type: access
  78     relation: '{ S_2[i] -> __pet_test_0[i] }'
  79     read: 1
  80     write: 0
  81 - line: 13
  82   domain: '{ [S_3[i] -> [0]] : i >= 0 and i <= 99 }'
  83   schedule: '{ S_3[i] -> [0, i, 3] }'
  84   body:
  85     type: binary
  86     operation: =
  87     arguments:
  88     - type: access
  89       relation: '{ S_3[i] -> j[] }'
  90       read: 0
  91       write: 1
  92     - type: call
  93       name: f
  94   arguments:
  95   - type: access
  96     relation: '{ S_3[i] -> __pet_test_0[i] }'
  97     read: 1
  98     write: 0
  99 - line: -1
 100   domain: '{ S_4[i] : i >= 0 and i <= 99 }'
 101   schedule: '{ S_4[i] -> [0, i, 4, 1] }'
 102   body:
 103     type: binary
 104     operation: =
 105     arguments:
 106     - type: access
 107       relation: '{ S_4[i] -> __pet_test_1[i] }'
 108       read: 0
 109       write: 1
 110     - type: ternary
 111       arguments:
 112       - type: access
 113         relation: '{ S_4[i] -> __pet_test_0[i] }'
 114         read: 1
 115         write: 0
 116       - type: access
 117         relation: '{ S_4[i] -> [1] }'
 118         read: 1
 119         write: 0
 120       - type: access
 121         relation: '{ [S_4[i] -> [0]] -> [0] : i >= 58 or i <= 56; [S_4[57] -> [0]]
 122           -> [1] }'
 123         read: 1
 124         write: 0
 125         arguments:
 126         - type: access
 127           relation: '{ S_4[i] -> __pet_test_0[i] }'
 128           read: 1
 129           write: 0
 130 - line: 16
 131   domain: '{ [S_5[i] -> [0]] : i >= 0 and i <= 99 }'
 132   schedule: '{ S_5[i] -> [0, i, 5] }'
 133   body:
 134     type: binary
 135     operation: =
 136     arguments:
 137     - type: access
 138       relation: '{ S_5[i] -> a[i] }'
 139       read: 0
 140       write: 1
 141     - type: binary
 142       operation: +
 143       arguments:
 144       - type: access
 145         relation: '{ S_5[i] -> a[i] }'
 146         read: 1
 147         write: 0
 148       - type: access
 149         relation: '{ S_5[i] -> [1] }'
 150         read: 1
 151         write: 0
 152   arguments:
 153   - type: access
 154     relation: '{ S_5[i] -> __pet_test_1[i] }'
 155     read: 1
 156     write: 0