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