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         relation: '[n, m] -> { S_0[i, j] -> C[i + j] }'
  31         index: '[n, m] -> { S_0[i, j] -> C[(i + j)] }'
  32         reference: __pet_ref_0
  33         read: 0
  34         write: 1
  35       - type: op
  36         operation: +
  37         arguments:
  38         - type: access
  39           relation: '[n, m] -> { S_0[i, j] -> C[i + j] }'
  40           index: '[n, m] -> { S_0[i, j] -> C[(i + j)] }'
  41           reference: __pet_ref_1
  42           read: 1
  43           write: 0
  44         - type: op
  45           operation: '*'
  46           arguments:
  47           - type: access
  48             relation: '[n, m] -> { S_0[i, j] -> A[i] }'
  49             index: '[n, m] -> { S_0[i, j] -> A[(i)] }'
  50             reference: __pet_ref_2
  51             read: 1
  52             write: 0
  53           - type: access
  54             relation: '[n, m] -> { S_0[i, j] -> B[j] }'
  55             index: '[n, m] -> { S_0[i, j] -> B[(j)] }'
  56             reference: __pet_ref_3
  57             read: 1
  58             write: 0