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: expression
  25     expr:
  26       type: op
  27       operation: =
  28       arguments:
  29       - type: access
  30         index: '[n, m] -> { S_0[i, j] -> C[(i + j)] }'
  31         reference: __pet_ref_0
  32         read: 0
  33         write: 1
  34       - type: op
  35         operation: +
  36         arguments:
  37         - type: access
  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             index: '[n, m] -> { S_0[i, j] -> A[(i)] }'
  47             reference: __pet_ref_2
  48             read: 1
  49             write: 0
  50           - type: access
  51             index: '[n, m] -> { S_0[i, j] -> B[(j)] }'
  52             reference: __pet_ref_3
  53             read: 1
  54             write: 0