tests/cuervo.scop

   1 start: 52
   2 end: 176
   3 indent: "\t"
   4 context: '[n, m] -> {  : n <= 2147483647 and m <= 2147483647 - n and m >= -2147483648
   5   and n >= -2147483648 and m <= 2147483647 }'
   6 arrays:
   7 - context: '{  :  }'
   8   extent: '[n, m] -> { A[i0] : i0 >= 0 }'
   9   element_type: int
  10   element_size: 4
  11 - context: '{  :  }'
  12   extent: '[n, m] -> { B[i0] : i0 >= 0 }'
  13   element_type: int
  14   element_size: 4
  15 - context: '{  :  }'
  16   extent: '[n, m] -> { C[i0] : i0 >= 0 }'
  17   element_type: int
  18   element_size: 4
  19 statements:
  20 - line: 6
  21   domain: '[n, m] -> { S_0[i, j] : i >= 0 and j <= m and j >= 0 and i <= n }'
  22   schedule: '[n, m] -> { S_0[i, j] -> [0, i, j] }'
  23   body:
  24     type: op
  25     operation: =
  26     arguments:
  27     - type: access
  28       relation: '[n, m] -> { S_0[i, j] -> C[i + j] }'
  29       index: '[n, m] -> { S_0[i, j] -> C[(i + j)] }'
  30       reference: __pet_ref_0
  31       read: 0
  32       write: 1
  33     - type: op
  34       operation: +
  35       arguments:
  36       - type: access
  37         relation: '[n, m] -> { S_0[i, j] -> C[i + j] }'
  38         index: '[n, m] -> { S_0[i, j] -> C[(i + j)] }'
  39         reference: __pet_ref_1
  40         read: 1
  41         write: 0
  42       - type: op
  43         operation: '*'
  44         arguments:
  45         - type: access
  46           relation: '[n, m] -> { S_0[i, j] -> A[i] }'
  47           index: '[n, m] -> { S_0[i, j] -> A[(i)] }'
  48           reference: __pet_ref_2
  49           read: 1
  50           write: 0
  51         - type: access
  52           relation: '[n, m] -> { S_0[i, j] -> B[j] }'
  53           index: '[n, m] -> { S_0[i, j] -> B[(j)] }'
  54           reference: __pet_ref_3
  55           read: 1
  56           write: 0