tests/propagate.scop

   1 start: 66
   2 end: 204
   3 indent: "\t"
   4 context: '[N] -> {  : N <= 2147483647 and N >= 0 }'
   5 schedule: '{ domain: "[N] -> { S_4[]; S_1[i, j] : i >= 0 and j >= i and j <= -1 +
   6   N; S_0[i, j] : i >= 0 and j >= i and j <= -1 + N; S_3[]; S_2[] }", child: { sequence:
   7   [ { filter: "[N] -> { S_1[i, j]; S_0[i, j] }", child: { schedule: "[N] -> L_0[{
   8   S_1[i, j] -> [(i)]; S_0[i, j] -> [(i)] }]", child: { schedule: "[N] -> L_1[{ S_1[i,
   9   j] -> [(j)]; S_0[i, j] -> [(j)] }]", child: { sequence: [ { filter: "[N] -> { S_0[i,
  10   j] }" }, { filter: "[N] -> { S_1[i, j] }" } ] } } } }, { filter: "[N] -> { S_4[];
  11   S_3[]; S_2[] }", child: { set: [ { filter: "{ S_2[] }" }, { filter: "{ S_3[] }"
  12   }, { filter: "{ S_4[] }" } ] } } ] } }'
  13 arrays:
  14 - context: '[N] -> {  : N >= 0 }'
  15   extent: '[N] -> { a[i0, i1] : i0 >= 0 and i1 >= 0 and i1 <= -1 + N }'
  16   element_type: int
  17   element_size: 4
  18 - context: '{  :  }'
  19   extent: '[N] -> { i[] }'
  20   element_type: int
  21   element_size: 4
  22 - context: '{  :  }'
  23   extent: '[N] -> { ind[] }'
  24   element_type: int
  25   element_size: 4
  26 - context: '{  :  }'
  27   extent: '[N] -> { j[] }'
  28   element_type: int
  29   element_size: 4
  30 statements:
  31 - line: 9
  32   domain: '[N] -> { S_0[i, j] : i >= 0 and j >= i and j <= -1 + N }'
  33   body:
  34     type: expression
  35     expr:
  36       type: op
  37       operation: =
  38       arguments:
  39       - type: access
  40         index: '[N] -> { S_0[i, j] -> ind[] }'
  41         reference: __pet_ref_0
  42         read: 0
  43         write: 1
  44       - type: op
  45         operation: '?:'
  46         arguments:
  47         - type: op
  48           operation: '>'
  49           arguments:
  50           - type: access
  51             index: '[N] -> { S_0[i, j] -> [(i)] }'
  52             reference: __pet_ref_1
  53             read: 1
  54             write: 0
  55           - type: int
  56             value: 0
  57         - type: op
  58           operation: '-'
  59           arguments:
  60           - type: access
  61             index: '[N] -> { S_0[i, j] -> [(i)] }'
  62             reference: __pet_ref_2
  63             read: 1
  64             write: 0
  65           - type: int
  66             value: 1
  67         - type: access
  68           index: '[N] -> { S_0[i, j] -> [(i)] }'
  69           reference: __pet_ref_3
  70           read: 1
  71           write: 0
  72 - line: 10
  73   domain: '[N] -> { S_1[i, j] : i >= 0 and j >= i and j <= -1 + N }'
  74   body:
  75     type: expression
  76     expr:
  77       type: op
  78       operation: =
  79       arguments:
  80       - type: access
  81         index: '[N] -> { S_1[i, j] -> a[(i), (j)] }'
  82         reference: __pet_ref_4
  83         read: 0
  84         write: 1
  85       - type: access
  86         index: '[N] -> { S_1[i, j] -> a[((-1 + i) : i >= 1; (0) : i = 0), (0)] }'
  87         reference: __pet_ref_5
  88         read: 1
  89         write: 0
  90 - line: -1
  91   domain: '[N] -> { S_2[] }'
  92   body:
  93     type: expression
  94     expr:
  95       type: op
  96       operation: kill
  97       arguments:
  98       - type: access
  99         killed: '[N] -> { S_2[] -> i[] }'
 100         index: '[N] -> { S_2[] -> i[] }'
 101         reference: __pet_ref_6
 102         kill: 1
 103 - line: -1
 104   domain: '[N] -> { S_3[] }'
 105   body:
 106     type: expression
 107     expr:
 108       type: op
 109       operation: kill
 110       arguments:
 111       - type: access
 112         killed: '[N] -> { S_3[] -> j[] }'
 113         index: '[N] -> { S_3[] -> j[] }'
 114         reference: __pet_ref_7
 115         kill: 1
 116 - line: -1
 117   domain: '[N] -> { S_4[] }'
 118   body:
 119     type: expression
 120     expr:
 121       type: op
 122       operation: kill
 123       arguments:
 124       - type: access
 125         killed: '[N] -> { S_4[] -> ind[] }'
 126         index: '[N] -> { S_4[] -> ind[] }'
 127         reference: __pet_ref_8
 128         kill: 1