tests/propagate.scop

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