tests/quasi_affine.scop

   1 start: 84
   2 end: 218
   3 context: '[N, in] -> {  : N <= 2147483647 and N >= 0 and in <= 2147483647 and in >=
   4   -2147483648 }'
   5 arrays:
   6 - context: '[N] -> {  : N >= 0 }'
   7   extent: '[N, in] -> { A[i0] : i0 <= -1 + N and i0 >= 0 }'
   8   element_type: int
   9   element_size: 4
  10 - context: '{  :  }'
  11   extent: '[N, in] -> { out[] }'
  12   element_type: int
  13   element_size: 4
  14 statements:
  15 - line: 14
  16   domain: '[N, in] -> { S_0[] }'
  17   schedule: '[N] -> { S_0[] -> [0, 0] }'
  18   body:
  19     type: op
  20     operation: =
  21     arguments:
  22     - type: access
  23       relation: '[N, in] -> { S_0[] -> A[0] }'
  24       index: '[N, in] -> { S_0[] -> A[(0)] }'
  25       reference: __pet_ref_0
  26       read: 0
  27       write: 1
  28     - type: access
  29       relation: '[N, in] -> { S_0[] -> [in] }'
  30       index: '[N, in] -> { S_0[] -> [(in)] }'
  31       reference: __pet_ref_1
  32       read: 1
  33       write: 0
  34 - line: 16
  35   domain: '[N, in] -> { S_1[i] : i <= N and i >= 1 }'
  36   schedule: '[N] -> { S_1[i] -> [0, 1, i, 0] }'
  37   body:
  38     type: op
  39     operation: =
  40     arguments:
  41     - type: access
  42       relation: '[N, in] -> { S_1[i] -> A[i] }'
  43       index: '[N, in] -> { S_1[i] -> A[(i)] }'
  44       reference: __pet_ref_2
  45       read: 0
  46       write: 1
  47     - type: call
  48       name: f
  49       arguments:
  50       - type: call
  51         name: g
  52         arguments:
  53         - type: access
  54           relation: '[N, in] -> { S_1[i] -> A[o0] : 2o0 >= -1 + i and 2o0 <= i }'
  55           index: '[N, in] -> { S_1[i] -> A[(floor((i)/2))] }'
  56           reference: __pet_ref_3
  57           read: 1
  58           write: 0
  59 - line: 18
  60   domain: '[N, in] -> { S_2[] }'
  61   schedule: '[N] -> { S_2[] -> [0, 2] }'
  62   body:
  63     type: op
  64     operation: =
  65     arguments:
  66     - type: access
  67       relation: '[N, in] -> { S_2[] -> out[] }'
  68       index: '[N, in] -> { S_2[] -> out[] }'
  69       reference: __pet_ref_4
  70       read: 0
  71       write: 1
  72     - type: call
  73       name: g
  74       arguments:
  75       - type: access
  76         relation: '[N, in] -> { S_2[] -> A[N] }'
  77         index: '[N, in] -> { S_2[] -> A[(N)] }'
  78         reference: __pet_ref_5
  79         read: 1
  80         write: 0