tests/cuervo.scop

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