tests/continue4.scop

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