tests/for_while.scop

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