tests/propagate.scop

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