tests/while_inc.scop

   1 start: 31
   2 end: 109
   3 context: '{  :  }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '{ __pet_test_0[t] : t >= 0 }'
   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: '{ T[i0] : i0 >= 0 }'
  13   element_type: int
  14   element_size: 4
  15 - context: '{  :  }'
  16   extent: '{ i[] }'
  17   element_type: int
  18   element_size: 4
  19 statements:
  20 - line: 5
  21   domain: '{ S_0[] }'
  22   schedule: '{ S_0[] -> [0] }'
  23   body:
  24     type: binary
  25     operation: =
  26     arguments:
  27     - type: access
  28       relation: '{ S_0[] -> i[] }'
  29       read: 0
  30       write: 1
  31     - type: access
  32       relation: '{ S_0[] -> [0] }'
  33       read: 1
  34       write: 0
  35 - line: 6
  36   domain: '{ [S_1[t] -> [1]] : t >= 0 }'
  37   schedule: '{ S_1[t] -> [1, t, 0] }'
  38   body:
  39     type: binary
  40     operation: =
  41     arguments:
  42     - type: access
  43       relation: '{ S_1[t] -> __pet_test_0[t] }'
  44       read: 0
  45       write: 1
  46     - type: binary
  47       operation: <
  48       arguments:
  49       - type: access
  50         relation: '{ S_1[t] -> i[] }'
  51         read: 1
  52         write: 0
  53       - type: access
  54         relation: '{ S_1[t] -> [100] }'
  55         read: 1
  56         write: 0
  57   arguments:
  58   - type: access
  59     relation: '{ S_1[t] -> __pet_test_0[o0] : o0 >= 0 and o0 <= -1 + t }'
  60     read: 1
  61     write: 0
  62 - line: 7
  63   domain: '{ [S_2[t] -> [1]] : t >= 0 }'
  64   schedule: '{ S_2[t] -> [1, t, 1, 0] }'
  65   body:
  66     type: binary
  67     operation: =
  68     arguments:
  69     - type: access
  70       relation: '{ [S_2[t] -> [i1]] -> T[i1] : i1 >= 0 }'
  71       read: 0
  72       write: 1
  73       arguments:
  74       - type: access
  75         relation: '{ S_2[t] -> i[] }'
  76         read: 1
  77         write: 0
  78     - type: access
  79       relation: '{ S_2[t] -> i[] }'
  80       read: 1
  81       write: 0
  82   arguments:
  83   - type: access
  84     relation: '{ S_2[t] -> __pet_test_0[o0] : o0 >= 0 and o0 <= t }'
  85     read: 1
  86     write: 0
  87 - line: 8
  88   domain: '{ [S_3[t] -> [1]] : t >= 0 }'
  89   schedule: '{ S_3[t] -> [1, t, 1, 1] }'
  90   body:
  91     type: unary
  92     operation: ++
  93     arguments:
  94     - type: access
  95       relation: '{ S_3[t] -> i[] }'
  96       read: 1
  97       write: 1
  98   arguments:
  99   - type: access
 100     relation: '{ S_3[t] -> __pet_test_0[o0] : o0 >= 0 and o0 <= t }'
 101     read: 1
 102     write: 0