tests/for_while_inc.scop

   1 start: 83
   2 end: 234
   3 context: '[n] -> {  : n <= 2147483647 and n >= -2147483648 }'
   4 arrays:
   5 - context: '{  :  }'
   6   extent: '[n] -> { __pet_test_0[x1, x2] : exists (e0 = [(-1 + x2)/2]: 2e0 = -1 +
   7     x2 and x1 <= -1 + n and x1 >= 0 and x2 >= 9) }'
   8   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
   9   element_type: int
  10   element_size: 4
  11   uniquely_defined: 1
  12 - context: '{  :  }'
  13   extent: '[n] -> { s[] }'
  14   element_type: int
  15   element_size: 4
  16 statements:
  17 - line: 12
  18   domain: '[n] -> { S1[x1] : x1 <= -1 + n and x1 >= 0 }'
  19   schedule: '[n] -> { S1[x1] -> [0, x1, 0] }'
  20   body:
  21     type: binary
  22     operation: =
  23     arguments:
  24     - type: access
  25       relation: '[n] -> { S1[x1] -> s[] }'
  26       read: 0
  27       write: 1
  28     - type: call
  29       name: f
  30 - line: 13
  31   domain: '[n] -> { [S_1[x1, x2] -> [1]] : exists (e0 = [(-1 + x2)/2]: 2e0 = -1 +
  32     x2 and x1 <= -1 + n and x1 >= 0 and x2 >= 9) }'
  33   schedule: '[n] -> { S_1[x1, x2] -> [0, x1, 1, x2, 0] }'
  34   body:
  35     type: binary
  36     operation: =
  37     arguments:
  38     - type: access
  39       relation: '[n] -> { S_1[x1, x2] -> __pet_test_0[x1, x2] }'
  40       read: 0
  41       write: 1
  42     - type: call
  43       name: P
  44       arguments:
  45       - type: access
  46         relation: '[n] -> { S_1[x1, x2] -> [x1] }'
  47         read: 1
  48         write: 0
  49       - type: access
  50         relation: '[n] -> { S_1[x1, x2] -> [x2] }'
  51         read: 1
  52         write: 0
  53   arguments:
  54   - type: access
  55     relation: '[n] -> { S_1[x1, x2] -> __pet_test_0[x1, o1] : exists (e0 = [(-1 +
  56       o1)/2]: 2e0 = -1 + o1 and o1 >= 9 and o1 <= -2 + x2) }'
  57     read: 1
  58     write: 0
  59 - line: 14
  60   domain: '[n] -> { [S2[x1, x2] -> [1]] : exists (e0 = [(-1 + x2)/2]: 2e0 = -1 + x2
  61     and x1 <= -1 + n and x1 >= 0 and x2 >= 9) }'
  62   schedule: '[n] -> { S2[x1, x2] -> [0, x1, 1, x2, 1, 0] }'
  63   body:
  64     type: binary
  65     operation: =
  66     arguments:
  67     - type: access
  68       relation: '[n] -> { S2[x1, x2] -> s[] }'
  69       read: 0
  70       write: 1
  71     - type: call
  72       name: g
  73       arguments:
  74       - type: access
  75         relation: '[n] -> { S2[x1, x2] -> s[] }'
  76         read: 1
  77         write: 0
  78   arguments:
  79   - type: access
  80     relation: '[n] -> { S2[x1, x2] -> __pet_test_0[x1, o1] : exists (e0 = [(-1 + o1)/2]:
  81       2e0 = -1 + o1 and o1 >= 9 and o1 <= x2) }'
  82     read: 1
  83     write: 0
  84 - line: 16
  85   domain: '[n] -> { R[x1] : x1 <= -1 + n and x1 >= 0 }'
  86   schedule: '[n] -> { R[x1] -> [0, x1, 2] }'
  87   body:
  88     type: call
  89     name: h
  90     arguments:
  91     - type: access
  92       relation: '[n] -> { R[x1] -> s[] }'
  93       read: 1
  94       write: 0