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       reference: __pet_ref_0
  24       read: 0
  25       write: 1
  26     - type: ternary
  27       arguments:
  28       - type: access
  29         relation: '[N] -> { S_0[i, j] -> [1] : i >= 1; S_0[0, j] -> [0] }'
  30         reference: __pet_ref_1
  31         read: 1
  32         write: 0
  33       - type: binary
  34         operation: '-'
  35         arguments:
  36         - type: access
  37           relation: '[N] -> { S_0[i, j] -> [i] }'
  38           reference: __pet_ref_2
  39           read: 1
  40           write: 0
  41         - type: access
  42           relation: '[N] -> { S_0[i, j] -> [1] }'
  43           reference: __pet_ref_3
  44           read: 1
  45           write: 0
  46       - type: access
  47         relation: '[N] -> { S_0[i, j] -> [i] }'
  48         reference: __pet_ref_4
  49         read: 1
  50         write: 0
  51 - line: 10
  52   domain: '[N] -> { S_1[i, j] : j >= i and i >= 0 and j <= -1 + N }'
  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       reference: __pet_ref_5
  61       read: 0
  62       write: 1
  63     - type: access
  64       relation: '[N] -> { S_1[i, j] -> a[-1 + i, 0] : i >= 1; S_1[0, j] -> a[0, 0]
  65         }'
  66       reference: __pet_ref_6
  67       read: 1
  68       write: 0