tests/propagate.scop

   1 context: '[N] -> {  : N <= 2147483647 and N >= 0 }'
   2 arrays:
   3 - context: '[N] -> {  : N >= 0 }'
   4   extent: '[N] -> { a[i0, i1] : i1 <= -1 + N and i0 >= 0 and i1 >= 0 }'
   5   element_type: int
   6 - context: '{  :  }'
   7   extent: '[N] -> { ind[] }'
   8   element_type: int
   9 statements:
  10 - line: 9
  11   domain: '[N] -> { S_0[i, j] : i >= 0 and j >= i and j <= -1 + N }'
  12   schedule: '[N] -> { S_0[i, j] -> [0, i, j, 0] }'
  13   body:
  14     type: binary
  15     operation: =
  16     arguments:
  17     - type: access
  18       relation: '[N] -> { S_0[i, j] -> ind[] }'
  19       read: 0
  20       write: 1
  21     - type: ternary
  22       arguments:
  23       - type: access
  24         relation: '[N] -> { S_0[i, j] -> [1] : i >= 1; S_0[0, j] -> [0] }'
  25         read: 1
  26         write: 0
  27       - type: binary
  28         operation: '-'
  29         arguments:
  30         - type: access
  31           relation: '[N] -> { S_0[i, j] -> [i] }'
  32           read: 1
  33           write: 0
  34         - type: access
  35           relation: '[N] -> { S_0[i, j] -> [1] }'
  36           read: 1
  37           write: 0
  38       - type: access
  39         relation: '[N] -> { S_0[i, j] -> [i] }'
  40         read: 1
  41         write: 0
  42 - line: 10
  43   domain: '[N] -> { S_1[i, j] : i >= 0 and j >= i and j <= -1 + N }'
  44   schedule: '[N] -> { S_1[i, j] -> [0, i, j, 1] }'
  45   body:
  46     type: binary
  47     operation: =
  48     arguments:
  49     - type: access
  50       relation: '[N] -> { S_1[i, j] -> a[i, j] }'
  51       read: 0
  52       write: 1
  53     - type: access
  54       relation: '[N] -> { S_1[i, j] -> a[-1 + i, 0] : i >= 1; S_1[0, j] -> a[0, 0]
  55         }'
  56       read: 1
  57       write: 0